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