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