:- expects_dialect(pfc).
:- cls.
:- mpred_notrace_exec.
:- statistics(cputime,X),assert(load_time(X)).

(adj(X,Y)==>tc(X,Y)).
(tc(X,Y),tc(Y,Z))==> tc(X,Z).


:- maplist(mpred_ain,
[
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,801),
adj(801,802),
adj(802,803),
adj(803,804),
adj(804,805),
adj(805,806),
adj(806,807),
adj(807,808),
adj(808,809),
adj(809,810),
adj(810,811),
adj(811,812),
adj(812,813),
adj(813,814),
adj(814,815),
adj(815,816),
adj(816,817),
adj(817,818),
adj(818,819),
adj(819,820),
adj(820,821),
adj(821,822),
adj(822,823),
adj(823,824),
adj(824,825),
adj(825,826),
adj(826,827),
adj(827,828),
adj(828,829),
adj(829,830),
adj(830,831),
adj(831,832),
adj(832,833),
adj(833,834),
adj(834,835),
adj(835,836),
adj(836,837),
adj(837,838),
adj(838,839),
adj(839,840),
adj(840,841),
adj(841,842),
adj(842,843),
adj(843,844),
adj(844,845),
adj(845,846),
adj(846,847),
adj(847,848),
adj(848,849),
adj(849,850),
adj(850,851),
adj(851,852),
adj(852,853),
adj(853,854),
adj(854,855),
adj(855,856),
adj(856,857),
adj(857,858),
adj(858,859),
adj(859,860),
adj(860,861),
adj(861,862),
adj(862,863),
adj(863,864),
adj(864,865),
adj(865,866),
adj(866,867),
adj(867,868),
adj(868,869),
adj(869,870),
adj(870,871),
adj(871,872),
adj(872,873),
adj(873,874),
adj(874,875),
adj(875,876),
adj(876,877),
adj(877,878),
adj(878,879),
adj(879,880),
adj(880,881),
adj(881,882),
adj(882,883),
adj(883,884),
adj(884,885),
adj(885,886),
adj(886,887),
adj(887,888),
adj(888,889),
adj(889,890),
adj(890,891),
adj(891,892),
adj(892,893),
adj(893,894),
adj(894,895),
adj(895,896),
adj(896,897),
adj(897,898),
adj(898,899),
adj(899,900),
adj(900,901),
adj(901,902),
adj(902,903),
adj(903,904),
adj(904,905),
adj(905,906),
adj(906,907),
adj(907,908),
adj(908,909),
adj(909,910),
adj(910,911),
adj(911,912),
adj(912,913),
adj(913,914),
adj(914,915),
adj(915,916),
adj(916,917),
adj(917,918),
adj(918,919),
adj(919,920),
adj(920,921),
adj(921,922),
adj(922,923),
adj(923,924),
adj(924,925),
adj(925,926),
adj(926,927),
adj(927,928),
adj(928,929),
adj(929,930),
adj(930,931),
adj(931,932),
adj(932,933),
adj(933,934),
adj(934,935),
adj(935,936),
adj(936,937),
adj(937,938),
adj(938,939),
adj(939,940),
adj(940,941),
adj(941,942),
adj(942,943),
adj(943,944),
adj(944,945),
adj(945,946),
adj(946,947),
adj(947,948),
adj(948,949),
adj(949,950),
adj(950,951),
adj(951,952),
adj(952,953),
adj(953,954),
adj(954,955),
adj(955,956),
adj(956,957),
adj(957,958),
adj(958,959),
adj(959,960),
adj(960,961),
adj(961,962),
adj(962,963),
adj(963,964),
adj(964,965),
adj(965,966),
adj(966,967),
adj(967,968),
adj(968,969),
adj(969,970),
adj(970,971),
adj(971,972),
adj(972,973),
adj(973,974),
adj(974,975),
adj(975,976),
adj(976,977),
adj(977,978),
adj(978,979),
adj(979,980),
adj(980,981),
adj(981,982),
adj(982,983),
adj(983,984),
adj(984,985),
adj(985,986),
adj(986,987),
adj(987,988),
adj(988,989),
adj(989,990),
adj(990,991),
adj(991,992),
adj(992,993),
adj(993,994),
adj(994,995),
adj(995,996),
adj(996,997),
adj(997,998),
adj(998,999),
adj(999,1000),
adj(1000,1)]).

:- statistics(cputime,X),retract(load_time(LT)), Time is X-LT,
   write(time_was(Time)).





% ISSUE: https://github.com/logicmoo/logicmoo_workspace/issues/412 
% EDIT: https://github.com/logicmoo/logicmoo_workspace/edit/master/packs_sys/pfc/t/sanity_base/nldm1000.pfc 
% JENKINS: https://jenkins.logicmoo.org/job/logicmoo_workspace/lastBuild/testReport/logicmoo.pfc.test.sanity_base/NLDM1000/logicmoo_pfc_test_sanity_base_NLDM1000_JUnit/ 
% ISSUE_SEARCH: https://github.com/logicmoo/logicmoo_workspace/issues?q=is%3Aissue+label%3ANLDM1000