win(0) :- not win(41),move(0_41).
move(0_41).
win(0) :- not win(20),move(0_20).
move(0_20).
win(0) :- not win(14),move(0_14).
move(0_14).
s :- win(0).
win(1) :- not win(10),move(1_10).
move(1_10).
win(1) :- not win(30),move(1_30).
move(1_30).
win(1) :- not win(40),move(1_40).
move(1_40).
win(1) :- not win(36),move(1_36).
move(1_36).
s :- win(1).
win(2) :- not win(10),move(2_10).
move(2_10).
win(2) :- not win(34),move(2_34).
move(2_34).
win(2) :- not win(47),move(2_47).
move(2_47).
win(2) :- not win(43),move(2_43).
move(2_43).
s :- win(2).
win(3) :- not win(27),move(3_27).
move(3_27).
win(3) :- not win(12),move(3_12).
move(3_12).
win(3) :- not win(49),move(3_49).
move(3_49).
s :- win(3).
win(4) :- not win(47),move(4_47).
move(4_47).
win(4) :- not win(27),move(4_27).
move(4_27).
win(4) :- not win(45),move(4_45).
move(4_45).
win(4) :- not win(18),move(4_18).
move(4_18).
win(4) :- not win(5),move(4_5).
move(4_5).
win(4) :- not win(16),move(4_16).
move(4_16).
s :- win(4).
win(5) :- not win(13),move(5_13).
move(5_13).
win(5) :- not win(48),move(5_48).
move(5_48).
win(5) :- not win(32),move(5_32).
move(5_32).
win(5) :- not win(29),move(5_29).
move(5_29).
s :- win(5).
win(6) :- not win(43),move(6_43).
move(6_43).
win(6) :- not win(20),move(6_20).
move(6_20).
win(6) :- not win(2),move(6_2).
move(6_2).
s :- win(6).
win(7) :- not win(36),move(7_36).
move(7_36).
win(7) :- not win(5),move(7_5).
move(7_5).
win(7) :- not win(9),move(7_9).
move(7_9).
win(7) :- not win(0),move(7_0).
move(7_0).
s :- win(7).
win(8) :- not win(17),move(8_17).
move(8_17).
win(8) :- not win(11),move(8_11).
move(8_11).
win(8) :- not win(46),move(8_46).
move(8_46).
win(8) :- not win(40),move(8_40).
move(8_40).
s :- win(8).
win(9) :- not win(34),move(9_34).
move(9_34).
win(9) :- not win(38),move(9_38).
move(9_38).
win(9) :- not win(48),move(9_48).
move(9_48).
win(9) :- not win(46),move(9_46).
move(9_46).
win(9) :- not win(22),move(9_22).
move(9_22).
win(9) :- not win(10),move(9_10).
move(9_10).
s :- win(9).
win(10) :- not win(36),move(10_36).
move(10_36).
s :- win(10).
win(11) :- not win(2),move(11_2).
move(11_2).
win(11) :- not win(22),move(11_22).
move(11_22).
win(11) :- not win(48),move(11_48).
move(11_48).
win(11) :- not win(9),move(11_9).
move(11_9).
s :- win(11).
win(12) :- not win(47),move(12_47).
move(12_47).
win(12) :- not win(21),move(12_21).
move(12_21).
win(12) :- not win(31),move(12_31).
move(12_31).
win(12) :- not win(13),move(12_13).
move(12_13).
win(12) :- not win(27),move(12_27).
move(12_27).
win(12) :- not win(32),move(12_32).
move(12_32).
win(12) :- not win(28),move(12_28).
move(12_28).
s :- win(12).
win(13) :- not win(46),move(13_46).
move(13_46).
win(13) :- not win(21),move(13_21).
move(13_21).
win(13) :- not win(25),move(13_25).
move(13_25).
win(13) :- not win(9),move(13_9).
move(13_9).
win(13) :- not win(5),move(13_5).
move(13_5).
win(13) :- not win(3),move(13_3).
move(13_3).
s :- win(13).
win(14) :- not win(32),move(14_32).
move(14_32).
win(14) :- not win(16),move(14_16).
move(14_16).
s :- win(14).
win(15) :- not win(31),move(15_31).
move(15_31).
win(15) :- not win(41),move(15_41).
move(15_41).
win(15) :- not win(27),move(15_27).
move(15_27).
s :- win(15).
win(16) :- not win(45),move(16_45).
move(16_45).
win(16) :- not win(39),move(16_39).
move(16_39).
win(16) :- not win(1),move(16_1).
move(16_1).
s :- win(16).
win(17) :- not win(2),move(17_2).
move(17_2).
win(17) :- not win(10),move(17_10).
move(17_10).
win(17) :- not win(8),move(17_8).
move(17_8).
s :- win(17).
win(18) :- not win(22),move(18_22).
move(18_22).
win(18) :- not win(40),move(18_40).
move(18_40).
win(18) :- not win(5),move(18_5).
move(18_5).
s :- win(18).
win(19) :- not win(40),move(19_40).
move(19_40).
s :- win(19).
win(20) :- not win(23),move(20_23).
move(20_23).
win(20) :- not win(28),move(20_28).
move(20_28).
win(20) :- not win(12),move(20_12).
move(20_12).
win(20) :- not win(13),move(20_13).
move(20_13).
s :- win(20).
win(21) :- not win(19),move(21_19).
move(21_19).
win(21) :- not win(16),move(21_16).
move(21_16).
win(21) :- not win(35),move(21_35).
move(21_35).
win(21) :- not win(37),move(21_37).
move(21_37).
win(21) :- not win(30),move(21_30).
move(21_30).
s :- win(21).
win(22) :- not win(1),move(22_1).
move(22_1).
win(22) :- not win(30),move(22_30).
move(22_30).
win(22) :- not win(11),move(22_11).
move(22_11).
win(22) :- not win(48),move(22_48).
move(22_48).
win(22) :- not win(3),move(22_3).
move(22_3).
s :- win(22).
win(23) :- not win(9),move(23_9).
move(23_9).
win(23) :- not win(26),move(23_26).
move(23_26).
win(23) :- not win(48),move(23_48).
move(23_48).
s :- win(23).
win(24) :- not win(32),move(24_32).
move(24_32).
win(24) :- not win(23),move(24_23).
move(24_23).
win(24) :- not win(16),move(24_16).
move(24_16).
win(24) :- not win(8),move(24_8).
move(24_8).
win(24) :- not win(15),move(24_15).
move(24_15).
win(24) :- not win(30),move(24_30).
move(24_30).
win(24) :- not win(19),move(24_19).
move(24_19).
s :- win(24).
win(25) :- not win(35),move(25_35).
move(25_35).
win(25) :- not win(33),move(25_33).
move(25_33).
win(25) :- not win(4),move(25_4).
move(25_4).
win(25) :- not win(45),move(25_45).
move(25_45).
s :- win(25).
win(26) :- not win(17),move(26_17).
move(26_17).
win(26) :- not win(4),move(26_4).
move(26_4).
win(26) :- not win(15),move(26_15).
move(26_15).
win(26) :- not win(0),move(26_0).
move(26_0).
win(26) :- not win(31),move(26_31).
move(26_31).
win(26) :- not win(1),move(26_1).
move(26_1).
s :- win(26).
win(27) :- not win(15),move(27_15).
move(27_15).
win(27) :- not win(49),move(27_49).
move(27_49).
win(27) :- not win(33),move(27_33).
move(27_33).
s :- win(27).
win(28) :- not win(49),move(28_49).
move(28_49).
win(28) :- not win(36),move(28_36).
move(28_36).
win(28) :- not win(0),move(28_0).
move(28_0).
win(28) :- not win(34),move(28_34).
move(28_34).
win(28) :- not win(4),move(28_4).
move(28_4).
win(28) :- not win(33),move(28_33).
move(28_33).
s :- win(28).
win(29) :- not win(1),move(29_1).
move(29_1).
win(29) :- not win(0),move(29_0).
move(29_0).
win(29) :- not win(34),move(29_34).
move(29_34).
s :- win(29).
win(30) :- not win(32),move(30_32).
move(30_32).
win(30) :- not win(37),move(30_37).
move(30_37).
s :- win(30).
win(31) :- not win(14),move(31_14).
move(31_14).
win(31) :- not win(49),move(31_49).
move(31_49).
s :- win(31).
win(32) :- not win(2),move(32_2).
move(32_2).
win(32) :- not win(23),move(32_23).
move(32_23).
win(32) :- not win(14),move(32_14).
move(32_14).
win(32) :- not win(47),move(32_47).
move(32_47).
s :- win(32).
win(33) :- not win(48),move(33_48).
move(33_48).
win(33) :- not win(2),move(33_2).
move(33_2).
win(33) :- not win(42),move(33_42).
move(33_42).
win(33) :- not win(6),move(33_6).
move(33_6).
s :- win(33).
win(34) :- not win(44),move(34_44).
move(34_44).
win(34) :- not win(21),move(34_21).
move(34_21).
win(34) :- not win(49),move(34_49).
move(34_49).
win(34) :- not win(11),move(34_11).
move(34_11).
s :- win(34).
win(35) :- not win(4),move(35_4).
move(35_4).
win(35) :- not win(21),move(35_21).
move(35_21).
win(35) :- not win(20),move(35_20).
move(35_20).
win(35) :- not win(25),move(35_25).
move(35_25).
win(35) :- not win(28),move(35_28).
move(35_28).
s :- win(35).
win(36) :- not win(37),move(36_37).
move(36_37).
win(36) :- not win(9),move(36_9).
move(36_9).
win(36) :- not win(15),move(36_15).
move(36_15).
win(36) :- not win(12),move(36_12).
move(36_12).
s :- win(36).
win(37) :- not win(18),move(37_18).
move(37_18).
win(37) :- not win(39),move(37_39).
move(37_39).
win(37) :- not win(29),move(37_29).
move(37_29).
win(37) :- not win(35),move(37_35).
move(37_35).
win(37) :- not win(4),move(37_4).
move(37_4).
win(37) :- not win(45),move(37_45).
move(37_45).
s :- win(37).
win(38) :- not win(43),move(38_43).
move(38_43).
win(38) :- not win(13),move(38_13).
move(38_13).
s :- win(38).
win(39) :- not win(25),move(39_25).
move(39_25).
win(39) :- not win(4),move(39_4).
move(39_4).
win(39) :- not win(34),move(39_34).
move(39_34).
win(39) :- not win(48),move(39_48).
move(39_48).
win(39) :- not win(43),move(39_43).
move(39_43).
s :- win(39).
win(40) :- not win(14),move(40_14).
move(40_14).
win(40) :- not win(3),move(40_3).
move(40_3).
win(40) :- not win(23),move(40_23).
move(40_23).
win(40) :- not win(42),move(40_42).
move(40_42).
win(40) :- not win(8),move(40_8).
move(40_8).
win(40) :- not win(1),move(40_1).
move(40_1).
s :- win(40).
win(41) :- not win(23),move(41_23).
move(41_23).
win(41) :- not win(7),move(41_7).
move(41_7).
win(41) :- not win(48),move(41_48).
move(41_48).
s :- win(41).
win(42) :- not win(22),move(42_22).
move(42_22).
win(42) :- not win(6),move(42_6).
move(42_6).
win(42) :- not win(35),move(42_35).
move(42_35).
s :- win(42).
win(43) :- not win(8),move(43_8).
move(43_8).
win(43) :- not win(9),move(43_9).
move(43_9).
win(43) :- not win(12),move(43_12).
move(43_12).
s :- win(43).
win(44) :- not win(37),move(44_37).
move(44_37).
win(44) :- not win(48),move(44_48).
move(44_48).
s :- win(44).
win(45) :- not win(13),move(45_13).
move(45_13).
win(45) :- not win(33),move(45_33).
move(45_33).
win(45) :- not win(12),move(45_12).
move(45_12).
win(45) :- not win(14),move(45_14).
move(45_14).
s :- win(45).
win(46) :- not win(24),move(46_24).
move(46_24).
win(46) :- not win(33),move(46_33).
move(46_33).
win(46) :- not win(34),move(46_34).
move(46_34).
win(46) :- not win(31),move(46_31).
move(46_31).
win(46) :- not win(30),move(46_30).
move(46_30).
win(46) :- not win(26),move(46_26).
move(46_26).
win(46) :- not win(40),move(46_40).
move(46_40).
s :- win(46).
win(47) :- not win(0),move(47_0).
move(47_0).
win(47) :- not win(25),move(47_25).
move(47_25).
win(47) :- not win(45),move(47_45).
move(47_45).
win(47) :- not win(12),move(47_12).
move(47_12).
s :- win(47).
win(48) :- not win(5),move(48_5).
move(48_5).
win(48) :- not win(16),move(48_16).
move(48_16).
win(48) :- not win(9),move(48_9).
move(48_9).
win(48) :- not win(29),move(48_29).
move(48_29).
win(48) :- not win(28),move(48_28).
move(48_28).
win(48) :- not win(44),move(48_44).
move(48_44).
s :- win(48).
win(49) :- not win(17),move(49_17).
move(49_17).
win(49) :- not win(31),move(49_31).
move(49_31).
win(49) :- not win(8),move(49_8).
move(49_8).
win(49) :- not win(46),move(49_46).
move(49_46).
s :- win(49).
