% :- use_module(library(tabling)).


:- table(tc/2).

tc(X,Y):- adj(X,Y).
tc(X,Z):- tc(X,Y), tc(Y,Z).

adj(1,2).
adj(2,3).
adj(3,4).
adj(4,5).
adj(5,6).
adj(6,7).
adj(7,8).
adj(8,9).
adj(9,10).
adj(10,11).
adj(11,12).
adj(12,13).
adj(13,14).
adj(14,15).
adj(15,16).
adj(16,17).
adj(17,18).
adj(18,19).
adj(19,20).
adj(20,21).
adj(21,22).
adj(22,23).
adj(23,24).
adj(24,25).
adj(25,26).
adj(26,27).
adj(27,28).
adj(28,29).
adj(29,30).
adj(30,31).
adj(31,32).
adj(32,33).
adj(33,34).
adj(34,35).
adj(35,36).
adj(36,37).
adj(37,38).
adj(38,39).
adj(39,40).
adj(40,41).
adj(41,42).
adj(42,43).
adj(43,44).
adj(44,45).
adj(45,46).
adj(46,47).
adj(47,48).
adj(48,49).
adj(49,50).
adj(50,51).
adj(51,52).
adj(52,53).
adj(53,54).
adj(54,55).
adj(55,56).
adj(56,57).
adj(57,58).
adj(58,59).
adj(59,60).
adj(60,61).
adj(61,62).
adj(62,63).
adj(63,64).
adj(64,65).
adj(65,66).
adj(66,67).
adj(67,68).
adj(68,69).
adj(69,70).
adj(70,71).
adj(71,72).
adj(72,73).
adj(73,74).
adj(74,75).
adj(75,76).
adj(76,77).
adj(77,78).
adj(78,79).
adj(79,80).
adj(80,81).
adj(81,82).
adj(82,83).
adj(83,84).
adj(84,85).
adj(85,86).
adj(86,87).
adj(87,88).
adj(88,89).
adj(89,90).
adj(90,91).
adj(91,92).
adj(92,93).
adj(93,94).
adj(94,95).
adj(95,96).
adj(96,97).
adj(97,98).
adj(98,99).
adj(99,100).
adj(100,101).
adj(101,102).
adj(102,103).
adj(103,104).
adj(104,105).
adj(105,106).
adj(106,107).
adj(107,108).
adj(108,109).
adj(109,110).
adj(110,111).
adj(111,112).
adj(112,113).
adj(113,114).
adj(114,115).
adj(115,116).
adj(116,117).
adj(117,118).
adj(118,119).
adj(119,120).
adj(120,121).
adj(121,122).
adj(122,123).
adj(123,124).
adj(124,125).
adj(125,126).
adj(126,127).
adj(127,128).
adj(128,129).
adj(129,130).
adj(130,131).
adj(131,132).
adj(132,133).
adj(133,134).
adj(134,135).
adj(135,136).
adj(136,137).
adj(137,138).
adj(138,139).
adj(139,140).
adj(140,141).
adj(141,142).
adj(142,143).
adj(143,144).
adj(144,145).
adj(145,146).
adj(146,147).
adj(147,148).
adj(148,149).
adj(149,150).
adj(150,151).
adj(151,152).
adj(152,153).
adj(153,154).
adj(154,155).
adj(155,156).
adj(156,157).
adj(157,158).
adj(158,159).
adj(159,160).
adj(160,161).
adj(161,162).
adj(162,163).
adj(163,164).
adj(164,165).
adj(165,166).
adj(166,167).
adj(167,168).
adj(168,169).
adj(169,170).
adj(170,171).
adj(171,172).
adj(172,173).
adj(173,174).
adj(174,175).
adj(175,176).
adj(176,177).
adj(177,178).
adj(178,179).
adj(179,180).
adj(180,181).
adj(181,182).
adj(182,183).
adj(183,184).
adj(184,185).
adj(185,186).
adj(186,187).
adj(187,188).
adj(188,189).
adj(189,190).
adj(190,191).
adj(191,192).
adj(192,193).
adj(193,194).
adj(194,195).
adj(195,196).
adj(196,197).
adj(197,198).
adj(198,199).
adj(199,200).
adj(200,201).
adj(201,202).
adj(202,203).
adj(203,204).
adj(204,205).
adj(205,206).
adj(206,207).
adj(207,208).
adj(208,209).
adj(209,210).
adj(210,211).
adj(211,212).
adj(212,213).
adj(213,214).
adj(214,215).
adj(215,216).
adj(216,217).
adj(217,218).
adj(218,219).
adj(219,220).
adj(220,221).
adj(221,222).
adj(222,223).
adj(223,224).
adj(224,225).
adj(225,226).
adj(226,227).
adj(227,228).
adj(228,229).
adj(229,230).
adj(230,231).
adj(231,232).
adj(232,233).
adj(233,234).
adj(234,235).
adj(235,236).
adj(236,237).
adj(237,238).
adj(238,239).
adj(239,240).
adj(240,241).
adj(241,242).
adj(242,243).
adj(243,244).
adj(244,245).
adj(245,246).
adj(246,247).
adj(247,248).
adj(248,249).
adj(249,250).
adj(250,251).
adj(251,252).
adj(252,253).
adj(253,254).
adj(254,255).
adj(255,256).
adj(256,257).
adj(257,258).
adj(258,259).
adj(259,260).
adj(260,261).
adj(261,262).
adj(262,263).
adj(263,264).
adj(264,265).
adj(265,266).
adj(266,267).
adj(267,268).
adj(268,269).
adj(269,270).
adj(270,271).
adj(271,272).
adj(272,273).
adj(273,274).
adj(274,275).
adj(275,276).
adj(276,277).
adj(277,278).
adj(278,279).
adj(279,280).
adj(280,281).
adj(281,282).
adj(282,283).
adj(283,284).
adj(284,285).
adj(285,286).
adj(286,287).
adj(287,288).
adj(288,289).
adj(289,290).
adj(290,291).
adj(291,292).
adj(292,293).
adj(293,294).
adj(294,295).
adj(295,296).
adj(296,297).
adj(297,298).
adj(298,299).
adj(299,300).
adj(300,301).
adj(301,302).
adj(302,303).
adj(303,304).
adj(304,305).
adj(305,306).
adj(306,307).
adj(307,308).
adj(308,309).
adj(309,310).
adj(310,311).
adj(311,312).
adj(312,313).
adj(313,314).
adj(314,315).
adj(315,316).
adj(316,317).
adj(317,318).
adj(318,319).
adj(319,320).
adj(320,321).
adj(321,322).
adj(322,323).
adj(323,324).
adj(324,325).
adj(325,326).
adj(326,327).
adj(327,328).
adj(328,329).
adj(329,330).
adj(330,331).
adj(331,332).
adj(332,333).
adj(333,334).
adj(334,335).
adj(335,336).
adj(336,337).
adj(337,338).
adj(338,339).
adj(339,340).
adj(340,341).
adj(341,342).
adj(342,343).
adj(343,344).
adj(344,345).
adj(345,346).
adj(346,347).
adj(347,348).
adj(348,349).
adj(349,350).
adj(350,351).
adj(351,352).
adj(352,353).
adj(353,354).
adj(354,355).
adj(355,356).
adj(356,357).
adj(357,358).
adj(358,359).
adj(359,360).
adj(360,361).
adj(361,362).
adj(362,363).
adj(363,364).
adj(364,365).
adj(365,366).
adj(366,367).
adj(367,368).
adj(368,369).
adj(369,370).
adj(370,371).
adj(371,372).
adj(372,373).
adj(373,374).
adj(374,375).
adj(375,376).
adj(376,377).
adj(377,378).
adj(378,379).
adj(379,380).
adj(380,381).
adj(381,382).
adj(382,383).
adj(383,384).
adj(384,385).
adj(385,386).
adj(386,387).
adj(387,388).
adj(388,389).
adj(389,390).
adj(390,391).
adj(391,392).
adj(392,393).
adj(393,394).
adj(394,395).
adj(395,396).
adj(396,397).
adj(397,398).
adj(398,399).
adj(399,400).
adj(400,401).
adj(401,402).
adj(402,403).
adj(403,404).
adj(404,405).
adj(405,406).
adj(406,407).
adj(407,408).
adj(408,409).
adj(409,410).
adj(410,411).
adj(411,412).
adj(412,413).
adj(413,414).
adj(414,415).
adj(415,416).
adj(416,417).
adj(417,418).
adj(418,419).
adj(419,420).
adj(420,421).
adj(421,422).
adj(422,423).
adj(423,424).
adj(424,425).
adj(425,426).
adj(426,427).
adj(427,428).
adj(428,429).
adj(429,430).
adj(430,431).
adj(431,432).
adj(432,433).
adj(433,434).
adj(434,435).
adj(435,436).
adj(436,437).
adj(437,438).
adj(438,439).
adj(439,440).
adj(440,441).
adj(441,442).
adj(442,443).
adj(443,444).
adj(444,445).
adj(445,446).
adj(446,447).
adj(447,448).
adj(448,449).
adj(449,450).
adj(450,451).
adj(451,452).
adj(452,453).
adj(453,454).
adj(454,455).
adj(455,456).
adj(456,457).
adj(457,458).
adj(458,459).
adj(459,460).
adj(460,461).
adj(461,462).
adj(462,463).
adj(463,464).
adj(464,465).
adj(465,466).
adj(466,467).
adj(467,468).
adj(468,469).
adj(469,470).
adj(470,471).
adj(471,472).
adj(472,473).
adj(473,474).
adj(474,475).
adj(475,476).
adj(476,477).
adj(477,478).
adj(478,479).
adj(479,480).
adj(480,481).
adj(481,482).
adj(482,483).
adj(483,484).
adj(484,485).
adj(485,486).
adj(486,487).
adj(487,488).
adj(488,489).
adj(489,490).
adj(490,491).
adj(491,492).
adj(492,493).
adj(493,494).
adj(494,495).
adj(495,496).
adj(496,497).
adj(497,498).
adj(498,499).
adj(499,500).
adj(500,501).
adj(501,502).
adj(502,503).
adj(503,504).
adj(504,505).
adj(505,506).
adj(506,507).
adj(507,508).
adj(508,509).
adj(509,510).
adj(510,511).
adj(511,512).
adj(512,513).
adj(513,514).
adj(514,515).
adj(515,516).
adj(516,517).
adj(517,518).
adj(518,519).
adj(519,520).
adj(520,521).
adj(521,522).
adj(522,523).
adj(523,524).
adj(524,525).
adj(525,526).
adj(526,527).
adj(527,528).
adj(528,529).
adj(529,530).
adj(530,531).
adj(531,532).
adj(532,533).
adj(533,534).
adj(534,535).
adj(535,536).
adj(536,537).
adj(537,538).
adj(538,539).
adj(539,540).
adj(540,541).
adj(541,542).
adj(542,543).
adj(543,544).
adj(544,545).
adj(545,546).
adj(546,547).
adj(547,548).
adj(548,549).
adj(549,550).
adj(550,551).
adj(551,552).
adj(552,553).
adj(553,554).
adj(554,555).
adj(555,556).
adj(556,557).
adj(557,558).
adj(558,559).
adj(559,560).
adj(560,561).
adj(561,562).
adj(562,563).
adj(563,564).
adj(564,565).
adj(565,566).
adj(566,567).
adj(567,568).
adj(568,569).
adj(569,570).
adj(570,571).
adj(571,572).
adj(572,573).
adj(573,574).
adj(574,575).
adj(575,576).
adj(576,577).
adj(577,578).
adj(578,579).
adj(579,580).
adj(580,581).
adj(581,582).
adj(582,583).
adj(583,584).
adj(584,585).
adj(585,586).
adj(586,587).
adj(587,588).
adj(588,589).
adj(589,590).
adj(590,591).
adj(591,592).
adj(592,593).
adj(593,594).
adj(594,595).
adj(595,596).
adj(596,597).
adj(597,598).
adj(598,599).
adj(599,600).
adj(600,601).
adj(601,602).
adj(602,603).
adj(603,604).
adj(604,605).
adj(605,606).
adj(606,607).
adj(607,608).
adj(608,609).
adj(609,610).
adj(610,611).
adj(611,612).
adj(612,613).
adj(613,614).
adj(614,615).
adj(615,616).
adj(616,617).
adj(617,618).
adj(618,619).
adj(619,620).
adj(620,621).
adj(621,622).
adj(622,623).
adj(623,624).
adj(624,625).
adj(625,626).
adj(626,627).
adj(627,628).
adj(628,629).
adj(629,630).
adj(630,631).
adj(631,632).
adj(632,633).
adj(633,634).
adj(634,635).
adj(635,636).
adj(636,637).
adj(637,638).
adj(638,639).
adj(639,640).
adj(640,641).
adj(641,642).
adj(642,643).
adj(643,644).
adj(644,645).
adj(645,646).
adj(646,647).
adj(647,648).
adj(648,649).
adj(649,650).
adj(650,651).
adj(651,652).
adj(652,653).
adj(653,654).
adj(654,655).
adj(655,656).
adj(656,657).
adj(657,658).
adj(658,659).
adj(659,660).
adj(660,661).
adj(661,662).
adj(662,663).
adj(663,664).
adj(664,665).
adj(665,666).
adj(666,667).
adj(667,668).
adj(668,669).
adj(669,670).
adj(670,671).
adj(671,672).
adj(672,673).
adj(673,674).
adj(674,675).
adj(675,676).
adj(676,677).
adj(677,678).
adj(678,679).
adj(679,680).
adj(680,681).
adj(681,682).
adj(682,683).
adj(683,684).
adj(684,685).
adj(685,686).
adj(686,687).
adj(687,688).
adj(688,689).
adj(689,690).
adj(690,691).
adj(691,692).
adj(692,693).
adj(693,694).
adj(694,695).
adj(695,696).
adj(696,697).
adj(697,698).
adj(698,699).
adj(699,700).
adj(700,701).
adj(701,702).
adj(702,703).
adj(703,704).
adj(704,705).
adj(705,706).
adj(706,707).
adj(707,708).
adj(708,709).
adj(709,710).
adj(710,711).
adj(711,712).
adj(712,713).
adj(713,714).
adj(714,715).
adj(715,716).
adj(716,717).
adj(717,718).
adj(718,719).
adj(719,720).
adj(720,721).
adj(721,722).
adj(722,723).
adj(723,724).
adj(724,725).
adj(725,726).
adj(726,727).
adj(727,728).
adj(728,729).
adj(729,730).
adj(730,731).
adj(731,732).
adj(732,733).
adj(733,734).
adj(734,735).
adj(735,736).
adj(736,737).
adj(737,738).
adj(738,739).
adj(739,740).
adj(740,741).
adj(741,742).
adj(742,743).
adj(743,744).
adj(744,745).
adj(745,746).
adj(746,747).
adj(747,748).
adj(748,749).
adj(749,750).
adj(750,751).
adj(751,752).
adj(752,753).
adj(753,754).
adj(754,755).
adj(755,756).
adj(756,757).
adj(757,758).
adj(758,759).
adj(759,760).
adj(760,761).
adj(761,762).
adj(762,763).
adj(763,764).
adj(764,765).
adj(765,766).
adj(766,767).
adj(767,768).
adj(768,769).
adj(769,770).
adj(770,771).
adj(771,772).
adj(772,773).
adj(773,774).
adj(774,775).
adj(775,776).
adj(776,777).
adj(777,778).
adj(778,779).
adj(779,780).
adj(780,781).
adj(781,782).
adj(782,783).
adj(783,784).
adj(784,785).
adj(785,786).
adj(786,787).
adj(787,788).
adj(788,789).
adj(789,790).
adj(790,791).
adj(791,792).
adj(792,793).
adj(793,794).
adj(794,795).
adj(795,796).
adj(796,797).
adj(797,798).
adj(798,799).
adj(799,800).
adj(800,1).


%:- statistics(cputime,X),assert(load_time(X)).
:- time(findall(_,tc(_X,_Y),_)).
%:- statistics(cputime,X),retract(load_time(LT)), Time is X-LT,write(time_was(Time)).






% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/411 
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/nldm1280.P 
% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/NLDM1280/logicmoo_pfc_test_sanity_base_NLDM1280_JUnit/ 
% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ANLDM1280