node(X) :- edge(X,Y).
node(Y) :- edge(X,Y).

reached(X) :- first(X).
reached(Y) :- edge(X,Y), in(X,Y), reached(X).
reached(Y) :- edge(Y,X), in(Y,X), reached(X).

% in reliability, the last node will be reached
:- last(X), not reached(X).

#show in/3.
%#show in/2.

edge(1, 2).
{ in(1, 101, 1); in(101, 102, 1); in(102,2, 1) } :- edge(1, 2).
in(1, 2) :- in(1, 101, 1), in(101, 102, 1), in(102,2, 1).
edge(1, 3).
{ in(1, 103, 1); in(103, 104, 1); in(104,3, 1) } :- edge(1, 3).
in(1, 3) :- in(1, 103, 1), in(103, 104, 1), in(104,3, 1).
edge(4, 5).
{ in(4, 105, 1); in(105, 106, 1); in(106,5, 1) } :- edge(4, 5).
in(4, 5) :- in(4, 105, 1), in(105, 106, 1), in(106,5, 1).
edge(4, 6).
{ in(4, 107, 1); in(107, 108, 1); in(108,6, 1) } :- edge(4, 6).
in(4, 6) :- in(4, 107, 1), in(107, 108, 1), in(108,6, 1).
edge(7, 8).
{ in(7, 109, 1); in(109, 110, 1); in(110,8, 1) } :- edge(7, 8).
in(7, 8) :- in(7, 109, 1), in(109, 110, 1), in(110,8, 1).
edge(7, 9).
{ in(7, 111, 1); in(111, 112, 1); in(112,9, 1) } :- edge(7, 9).
in(7, 9) :- in(7, 111, 1), in(111, 112, 1), in(112,9, 1).
edge(8, 10).
{ in(8, 113, 1); in(113, 114, 1); in(114,10, 1) } :- edge(8, 10).
in(8, 10) :- in(8, 113, 1), in(113, 114, 1), in(114,10, 1).
edge(8, 11).
{ in(8, 115, 1); in(115, 116, 1); in(116,11, 1) } :- edge(8, 11).
in(8, 11) :- in(8, 115, 1), in(115, 116, 1), in(116,11, 1).
edge(8, 12).
{ in(8, 117, 1); in(117, 118, 1); in(118,12, 1) } :- edge(8, 12).
in(8, 12) :- in(8, 117, 1), in(117, 118, 1), in(118,12, 1).
edge(8, 3).
{ in(8, 119, 1); in(119, 120, 1); in(120,3, 1) } :- edge(8, 3).
in(8, 3) :- in(8, 119, 1), in(119, 120, 1), in(120,3, 1).
edge(8, 13).
{ in(8, 121, 1); in(121, 122, 1); in(122,13, 1) } :- edge(8, 13).
in(8, 13) :- in(8, 121, 1), in(121, 122, 1), in(122,13, 1).
edge(14, 15).
{ in(14, 123, 1); in(123, 124, 1); in(124,15, 1) } :- edge(14, 15).
in(14, 15) :- in(14, 123, 1), in(123, 124, 1), in(124,15, 1).
edge(14, 10).
{ in(14, 125, 1); in(125, 126, 1); in(126,10, 1) } :- edge(14, 10).
in(14, 10) :- in(14, 125, 1), in(125, 126, 1), in(126,10, 1).
edge(14, 12).
{ in(14, 127, 1); in(127, 128, 1); in(128,12, 1) } :- edge(14, 12).
in(14, 12) :- in(14, 127, 1), in(127, 128, 1), in(128,12, 1).
edge(14, 16).
{ in(14, 129, 1); in(129, 130, 1); in(130,16, 1) } :- edge(14, 16).
in(14, 16) :- in(14, 129, 1), in(129, 130, 1), in(130,16, 1).
edge(14, 17).
{ in(14, 131, 1); in(131, 132, 1); in(132,17, 1) } :- edge(14, 17).
in(14, 17) :- in(14, 131, 1), in(131, 132, 1), in(132,17, 1).
edge(14, 3).
{ in(14, 133, 1); in(133, 134, 1); in(134,3, 1) } :- edge(14, 3).
in(14, 3) :- in(14, 133, 1), in(133, 134, 1), in(134,3, 1).
edge(18, 19).
{ in(18, 135, 1); in(135, 136, 1); in(136,19, 1) } :- edge(18, 19).
in(18, 19) :- in(18, 135, 1), in(135, 136, 1), in(136,19, 1).
edge(18, 20).
{ in(18, 137, 1); in(137, 138, 1); in(138,20, 1) } :- edge(18, 20).
in(18, 20) :- in(18, 137, 1), in(137, 138, 1), in(138,20, 1).
edge(18, 21).
{ in(18, 139, 1); in(139, 140, 1); in(140,21, 1) } :- edge(18, 21).
in(18, 21) :- in(18, 139, 1), in(139, 140, 1), in(140,21, 1).
edge(18, 22).
{ in(18, 141, 1); in(141, 142, 1); in(142,22, 1) } :- edge(18, 22).
in(18, 22) :- in(18, 141, 1), in(141, 142, 1), in(142,22, 1).
edge(18, 23).
{ in(18, 143, 1); in(143, 144, 1); in(144,23, 1) } :- edge(18, 23).
in(18, 23) :- in(18, 143, 1), in(143, 144, 1), in(144,23, 1).
edge(18, 24).
{ in(18, 145, 1); in(145, 146, 1); in(146,24, 1) } :- edge(18, 24).
in(18, 24) :- in(18, 145, 1), in(145, 146, 1), in(146,24, 1).
edge(25, 26).
{ in(25, 147, 1); in(147, 148, 1); in(148,26, 1) } :- edge(25, 26).
in(25, 26) :- in(25, 147, 1), in(147, 148, 1), in(148,26, 1).
edge(27, 28).
{ in(27, 149, 1); in(149, 150, 1); in(150,28, 1) } :- edge(27, 28).
in(27, 28) :- in(27, 149, 1), in(149, 150, 1), in(150,28, 1).
edge(27, 29).
{ in(27, 151, 1); in(151, 152, 1); in(152,29, 1) } :- edge(27, 29).
in(27, 29) :- in(27, 151, 1), in(151, 152, 1), in(152,29, 1).
edge(17, 30).
{ in(17, 153, 1); in(153, 154, 1); in(154,30, 1) } :- edge(17, 30).
in(17, 30) :- in(17, 153, 1), in(153, 154, 1), in(154,30, 1).
edge(17, 31).
{ in(17, 155, 1); in(155, 156, 1); in(156,31, 1) } :- edge(17, 31).
in(17, 31) :- in(17, 155, 1), in(155, 156, 1), in(156,31, 1).
edge(17, 32).
{ in(17, 157, 1); in(157, 158, 1); in(158,32, 1) } :- edge(17, 32).
in(17, 32) :- in(17, 157, 1), in(157, 158, 1), in(158,32, 1).
edge(5, 6).
{ in(5, 159, 1); in(159, 160, 1); in(160,6, 1) } :- edge(5, 6).
in(5, 6) :- in(5, 159, 1), in(159, 160, 1), in(160,6, 1).
edge(33, 34).
{ in(33, 161, 1); in(161, 162, 1); in(162,34, 1) } :- edge(33, 34).
in(33, 34) :- in(33, 161, 1), in(161, 162, 1), in(162,34, 1).
edge(33, 35).
{ in(33, 163, 1); in(163, 164, 1); in(164,35, 1) } :- edge(33, 35).
in(33, 35) :- in(33, 163, 1), in(163, 164, 1), in(164,35, 1).
edge(33, 36).
{ in(33, 165, 1); in(165, 166, 1); in(166,36, 1) } :- edge(33, 36).
in(33, 36) :- in(33, 165, 1), in(165, 166, 1), in(166,36, 1).
edge(37, 38).
{ in(37, 167, 1); in(167, 168, 1); in(168,38, 1) } :- edge(37, 38).
in(37, 38) :- in(37, 167, 1), in(167, 168, 1), in(168,38, 1).
edge(2, 39).
{ in(2, 169, 1); in(169, 170, 1); in(170,39, 1) } :- edge(2, 39).
in(2, 39) :- in(2, 169, 1), in(169, 170, 1), in(170,39, 1).
edge(2, 40).
{ in(2, 171, 1); in(171, 172, 1); in(172,40, 1) } :- edge(2, 40).
in(2, 40) :- in(2, 171, 1), in(171, 172, 1), in(172,40, 1).
edge(2, 3).
{ in(2, 173, 1); in(173, 174, 1); in(174,3, 1) } :- edge(2, 3).
in(2, 3) :- in(2, 173, 1), in(173, 174, 1), in(174,3, 1).
edge(2, 41).
{ in(2, 175, 1); in(175, 176, 1); in(176,41, 1) } :- edge(2, 41).
in(2, 41) :- in(2, 175, 1), in(175, 176, 1), in(176,41, 1).
edge(26, 42).
{ in(26, 177, 1); in(177, 178, 1); in(178,42, 1) } :- edge(26, 42).
in(26, 42) :- in(26, 177, 1), in(177, 178, 1), in(178,42, 1).
edge(26, 6).
{ in(26, 179, 1); in(179, 180, 1); in(180,6, 1) } :- edge(26, 6).
in(26, 6) :- in(26, 179, 1), in(179, 180, 1), in(180,6, 1).
edge(26, 43).
{ in(26, 181, 1); in(181, 182, 1); in(182,43, 1) } :- edge(26, 43).
in(26, 43) :- in(26, 181, 1), in(181, 182, 1), in(182,43, 1).
edge(26, 44).
{ in(26, 183, 1); in(183, 184, 1); in(184,44, 1) } :- edge(26, 44).
in(26, 44) :- in(26, 183, 1), in(183, 184, 1), in(184,44, 1).
edge(32, 30).
{ in(32, 185, 1); in(185, 186, 1); in(186,30, 1) } :- edge(32, 30).
in(32, 30) :- in(32, 185, 1), in(185, 186, 1), in(186,30, 1).
edge(32, 31).
{ in(32, 187, 1); in(187, 188, 1); in(188,31, 1) } :- edge(32, 31).
in(32, 31) :- in(32, 187, 1), in(187, 188, 1), in(188,31, 1).
edge(3, 10).
{ in(3, 189, 1); in(189, 190, 1); in(190,10, 1) } :- edge(3, 10).
in(3, 10) :- in(3, 189, 1), in(189, 190, 1), in(190,10, 1).
edge(3, 45).
{ in(3, 191, 1); in(191, 192, 1); in(192,45, 1) } :- edge(3, 45).
in(3, 45) :- in(3, 191, 1), in(191, 192, 1), in(192,45, 1).
edge(46, 42).
{ in(46, 193, 1); in(193, 194, 1); in(194,42, 1) } :- edge(46, 42).
in(46, 42) :- in(46, 193, 1), in(193, 194, 1), in(194,42, 1).
edge(30, 47).
{ in(30, 195, 1); in(195, 196, 1); in(196,47, 1) } :- edge(30, 47).
in(30, 47) :- in(30, 195, 1), in(195, 196, 1), in(196,47, 1).
edge(48, 49).
{ in(48, 197, 1); in(197, 198, 1); in(198,49, 1) } :- edge(48, 49).
in(48, 49) :- in(48, 197, 1), in(197, 198, 1), in(198,49, 1).
edge(48, 50).
{ in(48, 199, 1); in(199, 200, 1); in(200,50, 1) } :- edge(48, 50).
in(48, 50) :- in(48, 199, 1), in(199, 200, 1), in(200,50, 1).
edge(51, 52).
{ in(51, 201, 1); in(201, 202, 1); in(202,52, 1) } :- edge(51, 52).
in(51, 52) :- in(51, 201, 1), in(201, 202, 1), in(202,52, 1).
edge(51, 53).
{ in(51, 203, 1); in(203, 204, 1); in(204,53, 1) } :- edge(51, 53).
in(51, 53) :- in(51, 203, 1), in(203, 204, 1), in(204,53, 1).
edge(52, 16).
{ in(52, 205, 1); in(205, 206, 1); in(206,16, 1) } :- edge(52, 16).
in(52, 16) :- in(52, 205, 1), in(205, 206, 1), in(206,16, 1).
edge(52, 53).
{ in(52, 207, 1); in(207, 208, 1); in(208,53, 1) } :- edge(52, 53).
in(52, 53) :- in(52, 207, 1), in(207, 208, 1), in(208,53, 1).
edge(19, 15).
{ in(19, 209, 1); in(209, 210, 1); in(210,15, 1) } :- edge(19, 15).
in(19, 15) :- in(19, 209, 1), in(209, 210, 1), in(210,15, 1).
edge(54, 55).
{ in(54, 211, 1); in(211, 212, 1); in(212,55, 1) } :- edge(54, 55).
in(54, 55) :- in(54, 211, 1), in(211, 212, 1), in(212,55, 1).
edge(54, 56).
{ in(54, 213, 1); in(213, 214, 1); in(214,56, 1) } :- edge(54, 56).
in(54, 56) :- in(54, 213, 1), in(213, 214, 1), in(214,56, 1).
edge(54, 29).
{ in(54, 215, 1); in(215, 216, 1); in(216,29, 1) } :- edge(54, 29).
in(54, 29) :- in(54, 215, 1), in(215, 216, 1), in(216,29, 1).
edge(57, 58).
{ in(57, 217, 1); in(217, 218, 1); in(218,58, 1) } :- edge(57, 58).
in(57, 58) :- in(57, 217, 1), in(217, 218, 1), in(218,58, 1).
edge(31, 59).
{ in(31, 219, 1); in(219, 220, 1); in(220,59, 1) } :- edge(31, 59).
in(31, 59) :- in(31, 219, 1), in(219, 220, 1), in(220,59, 1).
edge(31, 60).
{ in(31, 221, 1); in(221, 222, 1); in(222,60, 1) } :- edge(31, 60).
in(31, 60) :- in(31, 221, 1), in(221, 222, 1), in(222,60, 1).
edge(10, 61).
{ in(10, 223, 1); in(223, 224, 1); in(224,61, 1) } :- edge(10, 61).
in(10, 61) :- in(10, 223, 1), in(223, 224, 1), in(224,61, 1).
edge(62, 34).
{ in(62, 225, 1); in(225, 226, 1); in(226,34, 1) } :- edge(62, 34).
in(62, 34) :- in(62, 225, 1), in(225, 226, 1), in(226,34, 1).
edge(62, 63).
{ in(62, 227, 1); in(227, 228, 1); in(228,63, 1) } :- edge(62, 63).
in(62, 63) :- in(62, 227, 1), in(227, 228, 1), in(228,63, 1).
edge(44, 43).
{ in(44, 229, 1); in(229, 230, 1); in(230,43, 1) } :- edge(44, 43).
in(44, 43) :- in(44, 229, 1), in(229, 230, 1), in(230,43, 1).
edge(44, 64).
{ in(44, 231, 1); in(231, 232, 1); in(232,64, 1) } :- edge(44, 64).
in(44, 64) :- in(44, 231, 1), in(231, 232, 1), in(232,64, 1).
edge(55, 65).
{ in(55, 233, 1); in(233, 234, 1); in(234,65, 1) } :- edge(55, 65).
in(55, 65) :- in(55, 233, 1), in(233, 234, 1), in(234,65, 1).
edge(66, 67).
{ in(66, 235, 1); in(235, 236, 1); in(236,67, 1) } :- edge(66, 67).
in(66, 67) :- in(66, 235, 1), in(235, 236, 1), in(236,67, 1).
edge(66, 50).
{ in(66, 237, 1); in(237, 238, 1); in(238,50, 1) } :- edge(66, 50).
in(66, 50) :- in(66, 237, 1), in(237, 238, 1), in(238,50, 1).
edge(15, 68).
{ in(15, 239, 1); in(239, 240, 1); in(240,68, 1) } :- edge(15, 68).
in(15, 68) :- in(15, 239, 1), in(239, 240, 1), in(240,68, 1).
edge(15, 69).
{ in(15, 241, 1); in(241, 242, 1); in(242,69, 1) } :- edge(15, 69).
in(15, 69) :- in(15, 241, 1), in(241, 242, 1), in(242,69, 1).
edge(15, 16).
{ in(15, 243, 1); in(243, 244, 1); in(244,16, 1) } :- edge(15, 16).
in(15, 16) :- in(15, 243, 1), in(243, 244, 1), in(244,16, 1).
edge(15, 70).
{ in(15, 245, 1); in(245, 246, 1); in(246,70, 1) } :- edge(15, 70).
in(15, 70) :- in(15, 245, 1), in(245, 246, 1), in(246,70, 1).
edge(11, 12).
{ in(11, 247, 1); in(247, 248, 1); in(248,12, 1) } :- edge(11, 12).
in(11, 12) :- in(11, 247, 1), in(247, 248, 1), in(248,12, 1).
edge(71, 65).
{ in(71, 249, 1); in(249, 250, 1); in(250,65, 1) } :- edge(71, 65).
in(71, 65) :- in(71, 249, 1), in(249, 250, 1), in(250,65, 1).
edge(9, 72).
{ in(9, 251, 1); in(251, 252, 1); in(252,72, 1) } :- edge(9, 72).
in(9, 72) :- in(9, 251, 1), in(251, 252, 1), in(252,72, 1).
edge(73, 74).
{ in(73, 253, 1); in(253, 254, 1); in(254,74, 1) } :- edge(73, 74).
in(73, 74) :- in(73, 253, 1), in(253, 254, 1), in(254,74, 1).
edge(75, 42).
{ in(75, 255, 1); in(255, 256, 1); in(256,42, 1) } :- edge(75, 42).
in(75, 42) :- in(75, 255, 1), in(255, 256, 1), in(256,42, 1).
edge(68, 47).
{ in(68, 257, 1); in(257, 258, 1); in(258,47, 1) } :- edge(68, 47).
in(68, 47) :- in(68, 257, 1), in(257, 258, 1), in(258,47, 1).
edge(68, 16).
{ in(68, 259, 1); in(259, 260, 1); in(260,16, 1) } :- edge(68, 16).
in(68, 16) :- in(68, 259, 1), in(259, 260, 1), in(260,16, 1).
edge(68, 76).
{ in(68, 261, 1); in(261, 262, 1); in(262,76, 1) } :- edge(68, 76).
in(68, 76) :- in(68, 261, 1), in(261, 262, 1), in(262,76, 1).
edge(77, 78).
{ in(77, 263, 1); in(263, 264, 1); in(264,78, 1) } :- edge(77, 78).
in(77, 78) :- in(77, 263, 1), in(263, 264, 1), in(264,78, 1).
edge(77, 79).
{ in(77, 265, 1); in(265, 266, 1); in(266,79, 1) } :- edge(77, 79).
in(77, 79) :- in(77, 265, 1), in(265, 266, 1), in(266,79, 1).
edge(77, 80).
{ in(77, 267, 1); in(267, 268, 1); in(268,80, 1) } :- edge(77, 80).
in(77, 80) :- in(77, 267, 1), in(267, 268, 1), in(268,80, 1).
edge(81, 74).
{ in(81, 269, 1); in(269, 270, 1); in(270,74, 1) } :- edge(81, 74).
in(81, 74) :- in(81, 269, 1), in(269, 270, 1), in(270,74, 1).
edge(81, 82).
{ in(81, 271, 1); in(271, 272, 1); in(272,82, 1) } :- edge(81, 82).
in(81, 82) :- in(81, 271, 1), in(271, 272, 1), in(272,82, 1).
edge(81, 83).
{ in(81, 273, 1); in(273, 274, 1); in(274,83, 1) } :- edge(81, 83).
in(81, 83) :- in(81, 273, 1), in(273, 274, 1), in(274,83, 1).
edge(81, 84).
{ in(81, 275, 1); in(275, 276, 1); in(276,84, 1) } :- edge(81, 84).
in(81, 84) :- in(81, 275, 1), in(275, 276, 1), in(276,84, 1).
edge(81, 80).
{ in(81, 277, 1); in(277, 278, 1); in(278,80, 1) } :- edge(81, 80).
in(81, 80) :- in(81, 277, 1), in(277, 278, 1), in(278,80, 1).
edge(85, 38).
{ in(85, 279, 1); in(279, 280, 1); in(280,38, 1) } :- edge(85, 38).
in(85, 38) :- in(85, 279, 1), in(279, 280, 1), in(280,38, 1).
edge(85, 86).
{ in(85, 281, 1); in(281, 282, 1); in(282,86, 1) } :- edge(85, 86).
in(85, 86) :- in(85, 281, 1), in(281, 282, 1), in(282,86, 1).
edge(69, 47).
{ in(69, 283, 1); in(283, 284, 1); in(284,47, 1) } :- edge(69, 47).
in(69, 47) :- in(69, 283, 1), in(283, 284, 1), in(284,47, 1).
edge(83, 74).
{ in(83, 285, 1); in(285, 286, 1); in(286,74, 1) } :- edge(83, 74).
in(83, 74) :- in(83, 285, 1), in(285, 286, 1), in(286,74, 1).
edge(34, 87).
{ in(34, 287, 1); in(287, 288, 1); in(288,87, 1) } :- edge(34, 87).
in(34, 87) :- in(34, 287, 1), in(287, 288, 1), in(288,87, 1).
edge(34, 88).
{ in(34, 289, 1); in(289, 290, 1); in(290,88, 1) } :- edge(34, 88).
in(34, 88) :- in(34, 289, 1), in(289, 290, 1), in(290,88, 1).
edge(34, 67).
{ in(34, 291, 1); in(291, 292, 1); in(292,67, 1) } :- edge(34, 67).
in(34, 67) :- in(34, 291, 1), in(291, 292, 1), in(292,67, 1).
edge(34, 12).
{ in(34, 293, 1); in(293, 294, 1); in(294,12, 1) } :- edge(34, 12).
in(34, 12) :- in(34, 293, 1), in(293, 294, 1), in(294,12, 1).
edge(89, 45).
{ in(89, 295, 1); in(295, 296, 1); in(296,45, 1) } :- edge(89, 45).
in(89, 45) :- in(89, 295, 1), in(295, 296, 1), in(296,45, 1).
edge(49, 88).
{ in(49, 297, 1); in(297, 298, 1); in(298,88, 1) } :- edge(49, 88).
in(49, 88) :- in(49, 297, 1), in(297, 298, 1), in(298,88, 1).
edge(16, 12).
{ in(16, 299, 1); in(299, 300, 1); in(300,12, 1) } :- edge(16, 12).
in(16, 12) :- in(16, 299, 1), in(299, 300, 1), in(300,12, 1).
edge(16, 86).
{ in(16, 301, 1); in(301, 302, 1); in(302,86, 1) } :- edge(16, 86).
in(16, 86) :- in(16, 301, 1), in(301, 302, 1), in(302,86, 1).
edge(80, 90).
{ in(80, 303, 1); in(303, 304, 1); in(304,90, 1) } :- edge(80, 90).
in(80, 90) :- in(80, 303, 1), in(303, 304, 1), in(304,90, 1).
edge(42, 86).
{ in(42, 305, 1); in(305, 306, 1); in(306,86, 1) } :- edge(42, 86).
in(42, 86) :- in(42, 305, 1), in(305, 306, 1), in(306,86, 1).
edge(42, 91).
{ in(42, 307, 1); in(307, 308, 1); in(308,91, 1) } :- edge(42, 91).
in(42, 91) :- in(42, 307, 1), in(307, 308, 1), in(308,91, 1).
edge(42, 43).
{ in(42, 309, 1); in(309, 310, 1); in(310,43, 1) } :- edge(42, 43).
in(42, 43) :- in(42, 309, 1), in(309, 310, 1), in(310,43, 1).
edge(92, 86).
{ in(92, 311, 1); in(311, 312, 1); in(312,86, 1) } :- edge(92, 86).
in(92, 86) :- in(92, 311, 1), in(311, 312, 1), in(312,86, 1).
edge(93, 90).
{ in(93, 313, 1); in(313, 314, 1); in(314,90, 1) } :- edge(93, 90).
in(93, 90) :- in(93, 313, 1), in(313, 314, 1), in(314,90, 1).
edge(36, 88).
{ in(36, 315, 1); in(315, 316, 1); in(316,88, 1) } :- edge(36, 88).
in(36, 88) :- in(36, 315, 1), in(315, 316, 1), in(316,88, 1).
edge(94, 12).
{ in(94, 317, 1); in(317, 318, 1); in(318,12, 1) } :- edge(94, 12).
in(94, 12) :- in(94, 317, 1), in(317, 318, 1), in(318,12, 1).
edge(95, 74).
{ in(95, 319, 1); in(319, 320, 1); in(320,74, 1) } :- edge(95, 74).
in(95, 74) :- in(95, 319, 1), in(319, 320, 1), in(320,74, 1).
edge(56, 29).
{ in(56, 321, 1); in(321, 322, 1); in(322,29, 1) } :- edge(56, 29).
in(56, 29) :- in(56, 321, 1), in(321, 322, 1), in(322,29, 1).
edge(96, 6).
{ in(96, 323, 1); in(323, 324, 1); in(324,6, 1) } :- edge(96, 6).
in(96, 6) :- in(96, 323, 1), in(323, 324, 1), in(324,6, 1).
edge(24, 21).
{ in(24, 325, 1); in(325, 326, 1); in(326,21, 1) } :- edge(24, 21).
in(24, 21) :- in(24, 325, 1), in(325, 326, 1), in(326,21, 1).
edge(29, 12).
{ in(29, 327, 1); in(327, 328, 1); in(328,12, 1) } :- edge(29, 12).
in(29, 12) :- in(29, 327, 1), in(327, 328, 1), in(328,12, 1).
edge(86, 74).
{ in(86, 329, 1); in(329, 330, 1); in(330,74, 1) } :- edge(86, 74).
in(86, 74) :- in(86, 329, 1), in(329, 330, 1), in(330,74, 1).
edge(86, 97).
{ in(86, 331, 1); in(331, 332, 1); in(332,97, 1) } :- edge(86, 97).
in(86, 97) :- in(86, 331, 1), in(331, 332, 1), in(332,97, 1).
edge(98, 88).
{ in(98, 333, 1); in(333, 334, 1); in(334,88, 1) } :- edge(98, 88).
in(98, 88) :- in(98, 333, 1), in(333, 334, 1), in(334,88, 1).
edge(88, 67).
{ in(88, 335, 1); in(335, 336, 1); in(336,67, 1) } :- edge(88, 67).
in(88, 67) :- in(88, 335, 1), in(335, 336, 1), in(336,67, 1).
edge(88, 12).
{ in(88, 337, 1); in(337, 338, 1); in(338,12, 1) } :- edge(88, 12).
in(88, 12) :- in(88, 337, 1), in(337, 338, 1), in(338,12, 1).
edge(88, 99).
{ in(88, 339, 1); in(339, 340, 1); in(340,99, 1) } :- edge(88, 99).
in(88, 99) :- in(88, 339, 1), in(339, 340, 1), in(340,99, 1).
edge(88, 58).
{ in(88, 341, 1); in(341, 342, 1); in(342,58, 1) } :- edge(88, 58).
in(88, 58) :- in(88, 341, 1), in(341, 342, 1), in(342,58, 1).
edge(88, 50).
{ in(88, 343, 1); in(343, 344, 1); in(344,50, 1) } :- edge(88, 50).
in(88, 50) :- in(88, 343, 1), in(343, 344, 1), in(344,50, 1).
edge(88, 100).
{ in(88, 345, 1); in(345, 346, 1); in(346,100, 1) } :- edge(88, 100).
in(88, 100) :- in(88, 345, 1), in(345, 346, 1), in(346,100, 1).
edge(65, 67).
{ in(65, 347, 1); in(347, 348, 1); in(348,67, 1) } :- edge(65, 67).
in(65, 67) :- in(65, 347, 1), in(347, 348, 1), in(348,67, 1).
edge(79, 78).
{ in(79, 349, 1); in(349, 350, 1); in(350,78, 1) } :- edge(79, 78).
in(79, 78) :- in(79, 349, 1), in(349, 350, 1), in(350,78, 1).
last(100).
first(1).