win(0) :- not win(48),move(0_48).
move(0_48).
win(0) :- not win(26),move(0_26).
move(0_26).
s :- win(0).
win(1) :- not win(13),move(1_13).
move(1_13).
win(1) :- not win(24),move(1_24).
move(1_24).
win(1) :- not win(11),move(1_11).
move(1_11).
win(1) :- not win(50),move(1_50).
move(1_50).
win(1) :- not win(69),move(1_69).
move(1_69).
s :- win(1).
win(2) :- not win(45),move(2_45).
move(2_45).
win(2) :- not win(5),move(2_5).
move(2_5).
s :- win(2).
win(3) :- not win(10),move(3_10).
move(3_10).
win(3) :- not win(17),move(3_17).
move(3_17).
s :- win(3).
win(4) :- not win(24),move(4_24).
move(4_24).
win(4) :- not win(16),move(4_16).
move(4_16).
win(4) :- not win(8),move(4_8).
move(4_8).
s :- win(4).
win(5) :- not win(38),move(5_38).
move(5_38).
win(5) :- not win(64),move(5_64).
move(5_64).
win(5) :- not win(37),move(5_37).
move(5_37).
s :- win(5).
win(6) :- not win(36),move(6_36).
move(6_36).
s :- win(6).
win(7) :- not win(0),move(7_0).
move(7_0).
s :- win(7).
win(8) :- not win(27),move(8_27).
move(8_27).
win(8) :- not win(36),move(8_36).
move(8_36).
win(8) :- not win(67),move(8_67).
move(8_67).
win(8) :- not win(11),move(8_11).
move(8_11).
s :- win(8).
win(9) :- not win(17),move(9_17).
move(9_17).
s :- win(9).
win(10) :- not win(27),move(10_27).
move(10_27).
win(10) :- not win(17),move(10_17).
move(10_17).
win(10) :- not win(29),move(10_29).
move(10_29).
win(10) :- not win(2),move(10_2).
move(10_2).
win(10) :- not win(63),move(10_63).
move(10_63).
s :- win(10).
win(11) :- not win(12),move(11_12).
move(11_12).
s :- win(11).
win(12) :- not win(13),move(12_13).
move(12_13).
win(12) :- not win(42),move(12_42).
move(12_42).
s :- win(12).
win(13) :- not win(32),move(13_32).
move(13_32).
win(13) :- not win(63),move(13_63).
move(13_63).
win(13) :- not win(35),move(13_35).
move(13_35).
win(13) :- not win(28),move(13_28).
move(13_28).
win(13) :- not win(3),move(13_3).
move(13_3).
s :- win(13).
win(14) :- not win(50),move(14_50).
move(14_50).
win(14) :- not win(8),move(14_8).
move(14_8).
win(14) :- not win(63),move(14_63).
move(14_63).
win(14) :- not win(13),move(14_13).
move(14_13).
s :- win(14).
win(15) :- not win(55),move(15_55).
move(15_55).
win(15) :- not win(63),move(15_63).
move(15_63).
win(15) :- not win(39),move(15_39).
move(15_39).
s :- win(15).
s :- win(16).
win(17) :- not win(58),move(17_58).
move(17_58).
win(17) :- not win(55),move(17_55).
move(17_55).
win(17) :- not win(32),move(17_32).
move(17_32).
s :- win(17).
win(18) :- not win(43),move(18_43).
move(18_43).
win(18) :- not win(8),move(18_8).
move(18_8).
win(18) :- not win(6),move(18_6).
move(18_6).
win(18) :- not win(17),move(18_17).
move(18_17).
s :- win(18).
win(19) :- not win(23),move(19_23).
move(19_23).
win(19) :- not win(53),move(19_53).
move(19_53).
win(19) :- not win(49),move(19_49).
move(19_49).
win(19) :- not win(5),move(19_5).
move(19_5).
s :- win(19).
win(20) :- not win(46),move(20_46).
move(20_46).
win(20) :- not win(40),move(20_40).
move(20_40).
win(20) :- not win(4),move(20_4).
move(20_4).
s :- win(20).
win(21) :- not win(54),move(21_54).
move(21_54).
s :- win(21).
s :- win(22).
win(23) :- not win(26),move(23_26).
move(23_26).
s :- win(23).
win(24) :- not win(63),move(24_63).
move(24_63).
win(24) :- not win(37),move(24_37).
move(24_37).
s :- win(24).
win(25) :- not win(34),move(25_34).
move(25_34).
win(25) :- not win(61),move(25_61).
move(25_61).
win(25) :- not win(0),move(25_0).
move(25_0).
s :- win(25).
win(26) :- not win(65),move(26_65).
move(26_65).
win(26) :- not win(55),move(26_55).
move(26_55).
win(26) :- not win(20),move(26_20).
move(26_20).
win(26) :- not win(28),move(26_28).
move(26_28).
win(26) :- not win(42),move(26_42).
move(26_42).
win(26) :- not win(67),move(26_67).
move(26_67).
s :- win(26).
win(27) :- not win(68),move(27_68).
move(27_68).
win(27) :- not win(19),move(27_19).
move(27_19).
win(27) :- not win(52),move(27_52).
move(27_52).
s :- win(27).
win(28) :- not win(16),move(28_16).
move(28_16).
win(28) :- not win(8),move(28_8).
move(28_8).
win(28) :- not win(39),move(28_39).
move(28_39).
win(28) :- not win(19),move(28_19).
move(28_19).
win(28) :- not win(27),move(28_27).
move(28_27).
win(28) :- not win(47),move(28_47).
move(28_47).
s :- win(28).
win(29) :- not win(5),move(29_5).
move(29_5).
win(29) :- not win(27),move(29_27).
move(29_27).
s :- win(29).
win(30) :- not win(8),move(30_8).
move(30_8).
win(30) :- not win(44),move(30_44).
move(30_44).
s :- win(30).
win(31) :- not win(64),move(31_64).
move(31_64).
win(31) :- not win(15),move(31_15).
move(31_15).
win(31) :- not win(59),move(31_59).
move(31_59).
win(31) :- not win(17),move(31_17).
move(31_17).
win(31) :- not win(6),move(31_6).
move(31_6).
s :- win(31).
win(32) :- not win(18),move(32_18).
move(32_18).
win(32) :- not win(26),move(32_26).
move(32_26).
win(32) :- not win(63),move(32_63).
move(32_63).
s :- win(32).
win(33) :- not win(59),move(33_59).
move(33_59).
s :- win(33).
win(34) :- not win(67),move(34_67).
move(34_67).
win(34) :- not win(1),move(34_1).
move(34_1).
s :- win(34).
win(35) :- not win(13),move(35_13).
move(35_13).
win(35) :- not win(38),move(35_38).
move(35_38).
s :- win(35).
win(36) :- not win(23),move(36_23).
move(36_23).
win(36) :- not win(14),move(36_14).
move(36_14).
win(36) :- not win(5),move(36_5).
move(36_5).
s :- win(36).
win(37) :- not win(42),move(37_42).
move(37_42).
win(37) :- not win(36),move(37_36).
move(37_36).
win(37) :- not win(10),move(37_10).
move(37_10).
s :- win(37).
win(38) :- not win(33),move(38_33).
move(38_33).
win(38) :- not win(68),move(38_68).
move(38_68).
win(38) :- not win(48),move(38_48).
move(38_48).
win(38) :- not win(58),move(38_58).
move(38_58).
s :- win(38).
win(39) :- not win(57),move(39_57).
move(39_57).
win(39) :- not win(55),move(39_55).
move(39_55).
win(39) :- not win(13),move(39_13).
move(39_13).
win(39) :- not win(59),move(39_59).
move(39_59).
win(39) :- not win(44),move(39_44).
move(39_44).
s :- win(39).
win(40) :- not win(65),move(40_65).
move(40_65).
win(40) :- not win(8),move(40_8).
move(40_8).
win(40) :- not win(23),move(40_23).
move(40_23).
s :- win(40).
win(41) :- not win(38),move(41_38).
move(41_38).
s :- win(41).
win(42) :- not win(26),move(42_26).
move(42_26).
s :- win(42).
win(43) :- not win(30),move(43_30).
move(43_30).
win(43) :- not win(1),move(43_1).
move(43_1).
s :- win(43).
win(44) :- not win(34),move(44_34).
move(44_34).
win(44) :- not win(63),move(44_63).
move(44_63).
s :- win(44).
win(45) :- not win(49),move(45_49).
move(45_49).
win(45) :- not win(13),move(45_13).
move(45_13).
win(45) :- not win(51),move(45_51).
move(45_51).
win(45) :- not win(36),move(45_36).
move(45_36).
win(45) :- not win(52),move(45_52).
move(45_52).
s :- win(45).
win(46) :- not win(27),move(46_27).
move(46_27).
s :- win(46).
win(47) :- not win(51),move(47_51).
move(47_51).
win(47) :- not win(46),move(47_46).
move(47_46).
win(47) :- not win(50),move(47_50).
move(47_50).
win(47) :- not win(3),move(47_3).
move(47_3).
win(47) :- not win(0),move(47_0).
move(47_0).
win(47) :- not win(59),move(47_59).
move(47_59).
win(47) :- not win(65),move(47_65).
move(47_65).
win(47) :- not win(44),move(47_44).
move(47_44).
s :- win(47).
win(48) :- not win(14),move(48_14).
move(48_14).
win(48) :- not win(55),move(48_55).
move(48_55).
win(48) :- not win(39),move(48_39).
move(48_39).
win(48) :- not win(0),move(48_0).
move(48_0).
win(48) :- not win(16),move(48_16).
move(48_16).
s :- win(48).
win(49) :- not win(51),move(49_51).
move(49_51).
win(49) :- not win(39),move(49_39).
move(49_39).
win(49) :- not win(14),move(49_14).
move(49_14).
win(49) :- not win(62),move(49_62).
move(49_62).
s :- win(49).
win(50) :- not win(5),move(50_5).
move(50_5).
win(50) :- not win(42),move(50_42).
move(50_42).
win(50) :- not win(11),move(50_11).
move(50_11).
s :- win(50).
win(51) :- not win(28),move(51_28).
move(51_28).
win(51) :- not win(14),move(51_14).
move(51_14).
win(51) :- not win(34),move(51_34).
move(51_34).
s :- win(51).
win(52) :- not win(27),move(52_27).
move(52_27).
win(52) :- not win(19),move(52_19).
move(52_19).
win(52) :- not win(8),move(52_8).
move(52_8).
s :- win(52).
win(53) :- not win(47),move(53_47).
move(53_47).
s :- win(53).
win(54) :- not win(65),move(54_65).
move(54_65).
s :- win(54).
win(55) :- not win(23),move(55_23).
move(55_23).
win(55) :- not win(36),move(55_36).
move(55_36).
win(55) :- not win(21),move(55_21).
move(55_21).
win(55) :- not win(50),move(55_50).
move(55_50).
s :- win(55).
win(56) :- not win(14),move(56_14).
move(56_14).
win(56) :- not win(64),move(56_64).
move(56_64).
s :- win(56).
win(57) :- not win(55),move(57_55).
move(57_55).
win(57) :- not win(16),move(57_16).
move(57_16).
s :- win(57).
win(58) :- not win(48),move(58_48).
move(58_48).
win(58) :- not win(11),move(58_11).
move(58_11).
s :- win(58).
win(59) :- not win(34),move(59_34).
move(59_34).
win(59) :- not win(32),move(59_32).
move(59_32).
win(59) :- not win(30),move(59_30).
move(59_30).
win(59) :- not win(0),move(59_0).
move(59_0).
win(59) :- not win(62),move(59_62).
move(59_62).
win(59) :- not win(66),move(59_66).
move(59_66).
s :- win(59).
win(60) :- not win(19),move(60_19).
move(60_19).
win(60) :- not win(38),move(60_38).
move(60_38).
s :- win(60).
win(61) :- not win(18),move(61_18).
move(61_18).
win(61) :- not win(54),move(61_54).
move(61_54).
win(61) :- not win(1),move(61_1).
move(61_1).
win(61) :- not win(21),move(61_21).
move(61_21).
win(61) :- not win(20),move(61_20).
move(61_20).
s :- win(61).
win(62) :- not win(43),move(62_43).
move(62_43).
win(62) :- not win(55),move(62_55).
move(62_55).
win(62) :- not win(53),move(62_53).
move(62_53).
win(62) :- not win(12),move(62_12).
move(62_12).
win(62) :- not win(24),move(62_24).
move(62_24).
s :- win(62).
win(63) :- not win(45),move(63_45).
move(63_45).
win(63) :- not win(1),move(63_1).
move(63_1).
win(63) :- not win(49),move(63_49).
move(63_49).
s :- win(63).
win(64) :- not win(32),move(64_32).
move(64_32).
win(64) :- not win(47),move(64_47).
move(64_47).
s :- win(64).
win(65) :- not win(45),move(65_45).
move(65_45).
win(65) :- not win(28),move(65_28).
move(65_28).
win(65) :- not win(61),move(65_61).
move(65_61).
s :- win(65).
win(66) :- not win(23),move(66_23).
move(66_23).
s :- win(66).
win(67) :- not win(55),move(67_55).
move(67_55).
s :- win(67).
win(68) :- not win(26),move(68_26).
move(68_26).
win(68) :- not win(37),move(68_37).
move(68_37).
win(68) :- not win(57),move(68_57).
move(68_57).
win(68) :- not win(54),move(68_54).
move(68_54).
win(68) :- not win(25),move(68_25).
move(68_25).
s :- win(68).
win(69) :- not win(40),move(69_40).
move(69_40).
win(69) :- not win(52),move(69_52).
move(69_52).
s :- win(69).
