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