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