lemma(1, [], ap([], []):rdf:type(:N0, :ind)).
lemma(2, [], ap([], [1]):rdf:type(:N1, :ind)).
lemma(3, [], ap([], [1]):rdf:type(:I1, :ind)).
lemma(4, [], ap([], [1]):rdf:type(:J1, :ind)).
lemma(5, [], ap([], [2]):rdf:type(:N2, :ind)).
lemma(6, [], ap([], [2]):rdf:type(:I2, :ind)).
lemma(7, [], ap([], [2]):rdf:type(:J2, :ind)).
lemma(8, [], ap([], [5]):rdf:type(:N3, :ind)).
lemma(9, [], ap([], [5]):rdf:type(:I3, :ind)).
lemma(10, [], ap([], [5]):rdf:type(:J3, :ind)).
lemma(11, [], ap([], [8]):rdf:type(:N4, :ind)).
lemma(12, [], ap([], [8]):rdf:type(:I4, :ind)).
lemma(13, [], ap([], [8]):rdf:type(:J4, :ind)).
lemma(14, [], ap([], [11]):rdf:type(:N5, :ind)).
lemma(15, [], ap([], [11]):rdf:type(:I5, :ind)).
lemma(16, [], ap([], [11]):rdf:type(:J5, :ind)).
lemma(17, [], ap([], [14]):rdf:type(:N6, :ind)).
lemma(18, [], ap([], [14]):rdf:type(:I6, :ind)).
lemma(19, [], ap([], [14]):rdf:type(:J6, :ind)).
lemma(20, [], ap([], [17]):rdf:type(:N7, :ind)).
lemma(21, [], ap([], [17]):rdf:type(:I7, :ind)).
lemma(22, [], ap([], [17]):rdf:type(:J7, :ind)).
lemma(23, [], ap([], [20]):rdf:type(:N8, :ind)).
lemma(24, [], ap([], [20]):rdf:type(:I8, :ind)).
lemma(25, [], ap([], [20]):rdf:type(:J8, :ind)).
lemma(26, [], ap([], [23]):rdf:type(:N9, :ind)).
lemma(27, [], ap([], [23]):rdf:type(:I9, :ind)).
lemma(28, [], ap([], [23]):rdf:type(:J9, :ind)).
lemma(29, [], ap([], [26]):rdf:type(:N10, :ind)).
lemma(30, [], ap([], [26]):rdf:type(:I10, :ind)).
lemma(31, [], ap([], [26]):rdf:type(:J10, :ind)).
lemma(32, [], ap([], [29]):rdf:type(:N11, :ind)).
lemma(33, [], ap([], [29]):rdf:type(:I11, :ind)).
lemma(34, [], ap([], [29]):rdf:type(:J11, :ind)).
lemma(35, [], ap([], [32]):rdf:type(:N12, :ind)).
lemma(36, [], ap([], [32]):rdf:type(:I12, :ind)).
lemma(37, [], ap([], [32]):rdf:type(:J12, :ind)).
lemma(38, [], ap([], [35]):rdf:type(:N13, :ind)).
lemma(39, [], ap([], [35]):rdf:type(:I13, :ind)).
lemma(40, [], ap([], [35]):rdf:type(:J13, :ind)).
lemma(41, [], ap([], [38]):rdf:type(:N14, :ind)).
lemma(42, [], ap([], [38]):rdf:type(:I14, :ind)).
lemma(43, [], ap([], [38]):rdf:type(:J14, :ind)).
lemma(44, [], ap([], [41]):rdf:type(:N15, :ind)).
lemma(45, [], ap([], [41]):rdf:type(:I15, :ind)).
lemma(46, [], ap([], [41]):rdf:type(:J15, :ind)).
lemma(47, [], ap([], [44]):rdf:type(:N16, :ind)).
lemma(48, [], ap([], [44]):rdf:type(:I16, :ind)).
lemma(49, [], ap([], [44]):rdf:type(:J16, :ind)).
lemma(50, [], ap([], [47]):rdf:type(:N17, :ind)).
lemma(51, [], ap([], [47]):rdf:type(:I17, :ind)).
lemma(52, [], ap([], [47]):rdf:type(:J17, :ind)).
lemma(53, [], ap([], [50]):rdf:type(:N18, :ind)).
lemma(54, [], ap([], [50]):rdf:type(:I18, :ind)).
lemma(55, [], ap([], [50]):rdf:type(:J18, :ind)).
lemma(56, [], ap([], [53]):rdf:type(:N19, :ind)).
lemma(57, [], ap([], [53]):rdf:type(:I19, :ind)).
lemma(58, [], ap([], [53]):rdf:type(:J19, :ind)).
lemma(59, [], ap([], [56]):rdf:type(:N20, :ind)).
lemma(60, [], ap([], [56]):rdf:type(:I20, :ind)).
lemma(61, [], ap([], [56]):rdf:type(:J20, :ind)).
lemma(62, [], ap([], [59]):rdf:type(:N21, :ind)).
lemma(63, [], ap([], [59]):rdf:type(:I21, :ind)).
lemma(64, [], ap([], [59]):rdf:type(:J21, :ind)).
lemma(65, [], ap([], [62]):rdf:type(:N22, :ind)).
lemma(66, [], ap([], [62]):rdf:type(:I22, :ind)).
lemma(67, [], ap([], [62]):rdf:type(:J22, :ind)).
lemma(68, [], ap([], [65]):rdf:type(:N23, :ind)).
lemma(69, [], ap([], [65]):rdf:type(:I23, :ind)).
lemma(70, [], ap([], [65]):rdf:type(:J23, :ind)).
lemma(71, [], ap([], [68]):rdf:type(:N24, :ind)).
lemma(72, [], ap([], [68]):rdf:type(:I24, :ind)).
lemma(73, [], ap([], [68]):rdf:type(:J24, :ind)).
lemma(74, [], ap([], [71]):rdf:type(:N25, :ind)).
lemma(75, [], ap([], [71]):rdf:type(:I25, :ind)).
lemma(76, [], ap([], [71]):rdf:type(:J25, :ind)).
lemma(77, [], ap([], [74]):rdf:type(:N26, :ind)).
lemma(78, [], ap([], [74]):rdf:type(:I26, :ind)).
lemma(79, [], ap([], [74]):rdf:type(:J26, :ind)).
lemma(80, [], ap([], [77]):rdf:type(:N27, :ind)).
lemma(81, [], ap([], [77]):rdf:type(:I27, :ind)).
lemma(82, [], ap([], [77]):rdf:type(:J27, :ind)).
lemma(83, [], ap([], [80]):rdf:type(:N28, :ind)).
lemma(84, [], ap([], [80]):rdf:type(:I28, :ind)).
lemma(85, [], ap([], [80]):rdf:type(:J28, :ind)).
lemma(86, [], ap([], [83]):rdf:type(:N29, :ind)).
lemma(87, [], ap([], [83]):rdf:type(:I29, :ind)).
lemma(88, [], ap([], [83]):rdf:type(:J29, :ind)).
lemma(89, [], ap([], [86]):rdf:type(:N30, :ind)).
lemma(90, [], ap([], [86]):rdf:type(:I30, :ind)).
lemma(91, [], ap([], [86]):rdf:type(:J30, :ind)).
lemma(92, [], ap([], [89]):rdf:type(:N31, :ind)).
lemma(93, [], ap([], [89]):rdf:type(:I31, :ind)).
lemma(94, [], ap([], [89]):rdf:type(:J31, :ind)).
lemma(95, [], ap([], [92]):rdf:type(:N32, :ind)).
lemma(96, [], ap([], [92]):rdf:type(:I32, :ind)).
lemma(97, [], ap([], [92]):rdf:type(:J32, :ind)).
lemma(98, [], ap([], [95]):rdf:type(:N33, :ind)).
lemma(99, [], ap([], [95]):rdf:type(:I33, :ind)).
lemma(100, [], ap([], [95]):rdf:type(:J33, :ind)).
lemma(101, [], ap([], [98]):rdf:type(:N34, :ind)).
lemma(102, [], ap([], [98]):rdf:type(:I34, :ind)).
lemma(103, [], ap([], [98]):rdf:type(:J34, :ind)).
lemma(104, [], ap([], [101]):rdf:type(:N35, :ind)).
lemma(105, [], ap([], [101]):rdf:type(:I35, :ind)).
lemma(106, [], ap([], [101]):rdf:type(:J35, :ind)).
lemma(107, [], ap([], [104]):rdf:type(:N36, :ind)).
lemma(108, [], ap([], [104]):rdf:type(:I36, :ind)).
lemma(109, [], ap([], [104]):rdf:type(:J36, :ind)).
lemma(110, [], ap([], [107]):rdf:type(:N37, :ind)).
lemma(111, [], ap([], [107]):rdf:type(:I37, :ind)).
lemma(112, [], ap([], [107]):rdf:type(:J37, :ind)).
lemma(113, [], ap([], [110]):rdf:type(:N38, :ind)).
lemma(114, [], ap([], [110]):rdf:type(:I38, :ind)).
lemma(115, [], ap([], [110]):rdf:type(:J38, :ind)).
lemma(116, [], ap([], [113]):rdf:type(:N39, :ind)).
lemma(117, [], ap([], [113]):rdf:type(:I39, :ind)).
lemma(118, [], ap([], [113]):rdf:type(:J39, :ind)).
lemma(119, [], ap([], [116]):rdf:type(:N40, :ind)).
lemma(120, [], ap([], [116]):rdf:type(:I40, :ind)).
lemma(121, [], ap([], [116]):rdf:type(:J40, :ind)).
lemma(122, [], ap([], [119]):rdf:type(:N41, :ind)).
lemma(123, [], ap([], [119]):rdf:type(:I41, :ind)).
lemma(124, [], ap([], [119]):rdf:type(:J41, :ind)).
lemma(125, [], ap([], [122]):rdf:type(:N42, :ind)).
lemma(126, [], ap([], [122]):rdf:type(:I42, :ind)).
lemma(127, [], ap([], [122]):rdf:type(:J42, :ind)).
lemma(128, [], ap([], [125]):rdf:type(:N43, :ind)).
lemma(129, [], ap([], [125]):rdf:type(:I43, :ind)).
lemma(130, [], ap([], [125]):rdf:type(:J43, :ind)).
lemma(131, [], ap([], [128]):rdf:type(:N44, :ind)).
lemma(132, [], ap([], [128]):rdf:type(:I44, :ind)).
lemma(133, [], ap([], [128]):rdf:type(:J44, :ind)).
lemma(134, [], ap([], [131]):rdf:type(:N45, :ind)).
lemma(135, [], ap([], [131]):rdf:type(:I45, :ind)).
lemma(136, [], ap([], [131]):rdf:type(:J45, :ind)).
lemma(137, [], ap([], [134]):rdf:type(:N46, :ind)).
lemma(138, [], ap([], [134]):rdf:type(:I46, :ind)).
lemma(139, [], ap([], [134]):rdf:type(:J46, :ind)).
lemma(140, [], ap([], [137]):rdf:type(:N47, :ind)).
lemma(141, [], ap([], [137]):rdf:type(:I47, :ind)).
lemma(142, [], ap([], [137]):rdf:type(:J47, :ind)).
lemma(143, [], ap([], [140]):rdf:type(:N48, :ind)).
lemma(144, [], ap([], [140]):rdf:type(:I48, :ind)).
lemma(145, [], ap([], [140]):rdf:type(:J48, :ind)).
lemma(146, [], ap([], [143]):rdf:type(:N49, :ind)).
lemma(147, [], ap([], [143]):rdf:type(:I49, :ind)).
lemma(148, [], ap([], [143]):rdf:type(:J49, :ind)).
lemma(149, [], ap([], [146]):rdf:type(:N50, :ind)).
lemma(150, [], ap([], [146]):rdf:type(:I50, :ind)).
lemma(151, [], ap([], [146]):rdf:type(:J50, :ind)).
lemma(152, [], ap([], [149]):rdf:type(:N51, :ind)).
lemma(153, [], ap([], [149]):rdf:type(:I51, :ind)).
lemma(154, [], ap([], [149]):rdf:type(:J51, :ind)).
lemma(155, [], ap([], [152]):rdf:type(:N52, :ind)).
lemma(156, [], ap([], [152]):rdf:type(:I52, :ind)).
lemma(157, [], ap([], [152]):rdf:type(:J52, :ind)).
lemma(158, [], ap([], [155]):rdf:type(:N53, :ind)).
lemma(159, [], ap([], [155]):rdf:type(:I53, :ind)).
lemma(160, [], ap([], [155]):rdf:type(:J53, :ind)).
lemma(161, [], ap([], [158]):rdf:type(:N54, :ind)).
lemma(162, [], ap([], [158]):rdf:type(:I54, :ind)).
lemma(163, [], ap([], [158]):rdf:type(:J54, :ind)).
lemma(164, [], ap([], [161]):rdf:type(:N55, :ind)).
lemma(165, [], ap([], [161]):rdf:type(:I55, :ind)).
lemma(166, [], ap([], [161]):rdf:type(:J55, :ind)).
lemma(167, [], ap([], [164]):rdf:type(:N56, :ind)).
lemma(168, [], ap([], [164]):rdf:type(:I56, :ind)).
lemma(169, [], ap([], [164]):rdf:type(:J56, :ind)).
lemma(170, [], ap([], [167]):rdf:type(:N57, :ind)).
lemma(171, [], ap([], [167]):rdf:type(:I57, :ind)).
lemma(172, [], ap([], [167]):rdf:type(:J57, :ind)).
lemma(173, [], ap([], [170]):rdf:type(:N58, :ind)).
lemma(174, [], ap([], [170]):rdf:type(:I58, :ind)).
lemma(175, [], ap([], [170]):rdf:type(:J58, :ind)).
lemma(176, [], ap([], [173]):rdf:type(:N59, :ind)).
lemma(177, [], ap([], [173]):rdf:type(:I59, :ind)).
lemma(178, [], ap([], [173]):rdf:type(:J59, :ind)).
lemma(179, [], ap([], [176]):rdf:type(:N60, :ind)).
lemma(180, [], ap([], [176]):rdf:type(:I60, :ind)).
lemma(181, [], ap([], [176]):rdf:type(:J60, :ind)).
lemma(182, [], ap([], [179]):rdf:type(:N61, :ind)).
lemma(183, [], ap([], [179]):rdf:type(:I61, :ind)).
lemma(184, [], ap([], [179]):rdf:type(:J61, :ind)).
lemma(185, [], ap([], [182]):rdf:type(:N62, :ind)).
lemma(186, [], ap([], [182]):rdf:type(:I62, :ind)).
lemma(187, [], ap([], [182]):rdf:type(:J62, :ind)).
lemma(188, [], ap([], [185]):rdf:type(:N63, :ind)).
lemma(189, [], ap([], [185]):rdf:type(:I63, :ind)).
lemma(190, [], ap([], [185]):rdf:type(:J63, :ind)).
lemma(191, [], ap([], [188]):rdf:type(:N64, :ind)).
lemma(192, [], ap([], [188]):rdf:type(:I64, :ind)).
lemma(193, [], ap([], [188]):rdf:type(:J64, :ind)).
lemma(194, [], ap([], [191]):rdf:type(:N65, :ind)).
lemma(195, [], ap([], [191]):rdf:type(:I65, :ind)).
lemma(196, [], ap([], [191]):rdf:type(:J65, :ind)).
lemma(197, [], ap([], [194]):rdf:type(:N66, :ind)).
lemma(198, [], ap([], [194]):rdf:type(:I66, :ind)).
lemma(199, [], ap([], [194]):rdf:type(:J66, :ind)).
lemma(200, [], ap([], [197]):rdf:type(:N67, :ind)).
lemma(201, [], ap([], [197]):rdf:type(:I67, :ind)).
lemma(202, [], ap([], [197]):rdf:type(:J67, :ind)).
lemma(203, [], ap([], [200]):rdf:type(:N68, :ind)).
lemma(204, [], ap([], [200]):rdf:type(:I68, :ind)).
lemma(205, [], ap([], [200]):rdf:type(:J68, :ind)).
lemma(206, [], ap([], [203]):rdf:type(:N69, :ind)).
lemma(207, [], ap([], [203]):rdf:type(:I69, :ind)).
lemma(208, [], ap([], [203]):rdf:type(:J69, :ind)).
lemma(209, [], ap([], [206]):rdf:type(:N70, :ind)).
lemma(210, [], ap([], [206]):rdf:type(:I70, :ind)).
lemma(211, [], ap([], [206]):rdf:type(:J70, :ind)).
lemma(212, [], ap([], [209]):rdf:type(:N71, :ind)).
lemma(213, [], ap([], [209]):rdf:type(:I71, :ind)).
lemma(214, [], ap([], [209]):rdf:type(:J71, :ind)).
lemma(215, [], ap([], [212]):rdf:type(:N72, :ind)).
lemma(216, [], ap([], [212]):rdf:type(:I72, :ind)).
lemma(217, [], ap([], [212]):rdf:type(:J72, :ind)).
lemma(218, [], ap([], [215]):rdf:type(:N73, :ind)).
lemma(219, [], ap([], [215]):rdf:type(:I73, :ind)).
lemma(220, [], ap([], [215]):rdf:type(:J73, :ind)).
lemma(221, [], ap([], [218]):rdf:type(:N74, :ind)).
lemma(222, [], ap([], [218]):rdf:type(:I74, :ind)).
lemma(223, [], ap([], [218]):rdf:type(:J74, :ind)).
lemma(224, [], ap([], [221]):rdf:type(:N75, :ind)).
lemma(225, [], ap([], [221]):rdf:type(:I75, :ind)).
lemma(226, [], ap([], [221]):rdf:type(:J75, :ind)).
lemma(227, [], ap([], [224]):rdf:type(:N76, :ind)).
lemma(228, [], ap([], [224]):rdf:type(:I76, :ind)).
lemma(229, [], ap([], [224]):rdf:type(:J76, :ind)).
lemma(230, [], ap([], [227]):rdf:type(:N77, :ind)).
lemma(231, [], ap([], [227]):rdf:type(:I77, :ind)).
lemma(232, [], ap([], [227]):rdf:type(:J77, :ind)).
lemma(233, [], ap([], [230]):rdf:type(:N78, :ind)).
lemma(234, [], ap([], [230]):rdf:type(:I78, :ind)).
lemma(235, [], ap([], [230]):rdf:type(:J78, :ind)).
lemma(236, [], ap([], [233]):rdf:type(:N79, :ind)).
lemma(237, [], ap([], [233]):rdf:type(:I79, :ind)).
lemma(238, [], ap([], [233]):rdf:type(:J79, :ind)).
lemma(239, [], ap([], [236]):rdf:type(:N80, :ind)).
lemma(240, [], ap([], [236]):rdf:type(:I80, :ind)).
lemma(241, [], ap([], [236]):rdf:type(:J80, :ind)).
lemma(242, [], ap([], [239]):rdf:type(:N81, :ind)).
lemma(243, [], ap([], [239]):rdf:type(:I81, :ind)).
lemma(244, [], ap([], [239]):rdf:type(:J81, :ind)).
lemma(245, [], ap([], [242]):rdf:type(:N82, :ind)).
lemma(246, [], ap([], [242]):rdf:type(:I82, :ind)).
lemma(247, [], ap([], [242]):rdf:type(:J82, :ind)).
lemma(248, [], ap([], [245]):rdf:type(:N83, :ind)).
lemma(249, [], ap([], [245]):rdf:type(:I83, :ind)).
lemma(250, [], ap([], [245]):rdf:type(:J83, :ind)).
lemma(251, [], ap([], [248]):rdf:type(:N84, :ind)).
lemma(252, [], ap([], [248]):rdf:type(:I84, :ind)).
lemma(253, [], ap([], [248]):rdf:type(:J84, :ind)).
lemma(254, [], ap([], [251]):rdf:type(:N85, :ind)).
lemma(255, [], ap([], [251]):rdf:type(:I85, :ind)).
lemma(256, [], ap([], [251]):rdf:type(:J85, :ind)).
lemma(257, [], ap([], [254]):rdf:type(:N86, :ind)).
lemma(258, [], ap([], [254]):rdf:type(:I86, :ind)).
lemma(259, [], ap([], [254]):rdf:type(:J86, :ind)).
lemma(260, [], ap([], [257]):rdf:type(:N87, :ind)).
lemma(261, [], ap([], [257]):rdf:type(:I87, :ind)).
lemma(262, [], ap([], [257]):rdf:type(:J87, :ind)).
lemma(263, [], ap([], [260]):rdf:type(:N88, :ind)).
lemma(264, [], ap([], [260]):rdf:type(:I88, :ind)).
lemma(265, [], ap([], [260]):rdf:type(:J88, :ind)).
lemma(266, [], ap([], [263]):rdf:type(:N89, :ind)).
lemma(267, [], ap([], [263]):rdf:type(:I89, :ind)).
lemma(268, [], ap([], [263]):rdf:type(:J89, :ind)).
lemma(269, [], ap([], [266]):rdf:type(:N90, :ind)).
lemma(270, [], ap([], [266]):rdf:type(:I90, :ind)).
lemma(271, [], ap([], [266]):rdf:type(:J90, :ind)).
lemma(272, [], ap([], [269]):rdf:type(:N91, :ind)).
lemma(273, [], ap([], [269]):rdf:type(:I91, :ind)).
lemma(274, [], ap([], [269]):rdf:type(:J91, :ind)).
lemma(275, [], ap([], [272]):rdf:type(:N92, :ind)).
lemma(276, [], ap([], [272]):rdf:type(:I92, :ind)).
lemma(277, [], ap([], [272]):rdf:type(:J92, :ind)).
lemma(278, [], ap([], [275]):rdf:type(:N93, :ind)).
lemma(279, [], ap([], [275]):rdf:type(:I93, :ind)).
lemma(280, [], ap([], [275]):rdf:type(:J93, :ind)).
lemma(281, [], ap([], [278]):rdf:type(:N94, :ind)).
lemma(282, [], ap([], [278]):rdf:type(:I94, :ind)).
lemma(283, [], ap([], [278]):rdf:type(:J94, :ind)).
lemma(284, [], ap([], [281]):rdf:type(:N95, :ind)).
lemma(285, [], ap([], [281]):rdf:type(:I95, :ind)).
lemma(286, [], ap([], [281]):rdf:type(:J95, :ind)).
lemma(287, [], ap([], [284]):rdf:type(:N96, :ind)).
lemma(288, [], ap([], [284]):rdf:type(:I96, :ind)).
lemma(289, [], ap([], [284]):rdf:type(:J96, :ind)).
lemma(290, [], ap([], [287]):rdf:type(:N97, :ind)).
lemma(291, [], ap([], [287]):rdf:type(:I97, :ind)).
lemma(292, [], ap([], [287]):rdf:type(:J97, :ind)).
lemma(293, [], ap([], [290]):rdf:type(:N98, :ind)).
lemma(294, [], ap([], [290]):rdf:type(:I98, :ind)).
lemma(295, [], ap([], [290]):rdf:type(:J98, :ind)).
lemma(296, [], ap([], [293]):rdf:type(:N99, :ind)).
lemma(297, [], ap([], [293]):rdf:type(:I99, :ind)).
lemma(298, [], ap([], [293]):rdf:type(:J99, :ind)).
lemma(299, [], ap([], [296]):rdf:type(:N100, :ind)).
lemma(300, [], ap([], [296]):rdf:type(:I100, :ind)).
lemma(301, [], ap([], [296]):rdf:type(:J100, :ind)).
lemma(302, [], ap([], [299]):rdf:type(:N101, :ind)).
lemma(303, [], ap([], [299]):rdf:type(:I101, :ind)).
lemma(304, [], ap([], [299]):rdf:type(:J101, :ind)).
lemma(305, [], ap([], [302]):rdf:type(:N102, :ind)).
lemma(306, [], ap([], [302]):rdf:type(:I102, :ind)).
lemma(307, [], ap([], [302]):rdf:type(:J102, :ind)).
lemma(308, [], ap([], [305]):rdf:type(:N103, :ind)).
lemma(309, [], ap([], [305]):rdf:type(:I103, :ind)).
lemma(310, [], ap([], [305]):rdf:type(:J103, :ind)).
lemma(311, [], ap([], [308]):rdf:type(:N104, :ind)).
lemma(312, [], ap([], [308]):rdf:type(:I104, :ind)).
lemma(313, [], ap([], [308]):rdf:type(:J104, :ind)).
lemma(314, [], ap([], [311]):rdf:type(:N105, :ind)).
lemma(315, [], ap([], [311]):rdf:type(:I105, :ind)).
lemma(316, [], ap([], [311]):rdf:type(:J105, :ind)).
lemma(317, [], ap([], [314]):rdf:type(:N106, :ind)).
lemma(318, [], ap([], [314]):rdf:type(:I106, :ind)).
lemma(319, [], ap([], [314]):rdf:type(:J106, :ind)).
lemma(320, [], ap([], [317]):rdf:type(:N107, :ind)).
lemma(321, [], ap([], [317]):rdf:type(:I107, :ind)).
lemma(322, [], ap([], [317]):rdf:type(:J107, :ind)).
lemma(323, [], ap([], [320]):rdf:type(:N108, :ind)).
lemma(324, [], ap([], [320]):rdf:type(:I108, :ind)).
lemma(325, [], ap([], [320]):rdf:type(:J108, :ind)).
lemma(326, [], ap([], [323]):rdf:type(:N109, :ind)).
lemma(327, [], ap([], [323]):rdf:type(:I109, :ind)).
lemma(328, [], ap([], [323]):rdf:type(:J109, :ind)).
lemma(329, [], ap([], [326]):rdf:type(:N110, :ind)).
lemma(330, [], ap([], [326]):rdf:type(:I110, :ind)).
lemma(331, [], ap([], [326]):rdf:type(:J110, :ind)).
lemma(332, [], ap([], [329]):rdf:type(:N111, :ind)).
lemma(333, [], ap([], [329]):rdf:type(:I111, :ind)).
lemma(334, [], ap([], [329]):rdf:type(:J111, :ind)).
lemma(335, [], ap([], [332]):rdf:type(:N112, :ind)).
lemma(336, [], ap([], [332]):rdf:type(:I112, :ind)).
lemma(337, [], ap([], [332]):rdf:type(:J112, :ind)).
lemma(338, [], ap([], [335]):rdf:type(:N113, :ind)).
lemma(339, [], ap([], [335]):rdf:type(:I113, :ind)).
lemma(340, [], ap([], [335]):rdf:type(:J113, :ind)).
lemma(341, [], ap([], [338]):rdf:type(:N114, :ind)).
lemma(342, [], ap([], [338]):rdf:type(:I114, :ind)).
lemma(343, [], ap([], [338]):rdf:type(:J114, :ind)).
lemma(344, [], ap([], [341]):rdf:type(:N115, :ind)).
lemma(345, [], ap([], [341]):rdf:type(:I115, :ind)).
lemma(346, [], ap([], [341]):rdf:type(:J115, :ind)).
lemma(347, [], ap([], [344]):rdf:type(:N116, :ind)).
lemma(348, [], ap([], [344]):rdf:type(:I116, :ind)).
lemma(349, [], ap([], [344]):rdf:type(:J116, :ind)).
lemma(350, [], ap([], [347]):rdf:type(:N117, :ind)).
lemma(351, [], ap([], [347]):rdf:type(:I117, :ind)).
lemma(352, [], ap([], [347]):rdf:type(:J117, :ind)).
lemma(353, [], ap([], [350]):rdf:type(:N118, :ind)).
lemma(354, [], ap([], [350]):rdf:type(:I118, :ind)).
lemma(355, [], ap([], [350]):rdf:type(:J118, :ind)).
lemma(356, [], ap([], [353]):rdf:type(:N119, :ind)).
lemma(357, [], ap([], [353]):rdf:type(:I119, :ind)).
lemma(358, [], ap([], [353]):rdf:type(:J119, :ind)).
lemma(359, [], ap([], [356]):rdf:type(:N120, :ind)).
lemma(360, [], ap([], [356]):rdf:type(:I120, :ind)).
lemma(361, [], ap([], [356]):rdf:type(:J120, :ind)).
lemma(362, [], ap([], [359]):rdf:type(:N121, :ind)).
lemma(363, [], ap([], [359]):rdf:type(:I121, :ind)).
lemma(364, [], ap([], [359]):rdf:type(:J121, :ind)).
lemma(365, [], ap([], [362]):rdf:type(:N122, :ind)).
lemma(366, [], ap([], [362]):rdf:type(:I122, :ind)).
lemma(367, [], ap([], [362]):rdf:type(:J122, :ind)).
lemma(368, [], ap([], [365]):rdf:type(:N123, :ind)).
lemma(369, [], ap([], [365]):rdf:type(:I123, :ind)).
lemma(370, [], ap([], [365]):rdf:type(:J123, :ind)).
lemma(371, [], ap([], [368]):rdf:type(:N124, :ind)).
lemma(372, [], ap([], [368]):rdf:type(:I124, :ind)).
lemma(373, [], ap([], [368]):rdf:type(:J124, :ind)).
lemma(374, [], ap([], [371]):rdf:type(:N125, :ind)).
lemma(375, [], ap([], [371]):rdf:type(:I125, :ind)).
lemma(376, [], ap([], [371]):rdf:type(:J125, :ind)).
lemma(377, [], ap([], [374]):rdf:type(:N126, :ind)).
lemma(378, [], ap([], [374]):rdf:type(:I126, :ind)).
lemma(379, [], ap([], [374]):rdf:type(:J126, :ind)).
lemma(380, [], ap([], [377]):rdf:type(:N127, :ind)).
lemma(381, [], ap([], [377]):rdf:type(:I127, :ind)).
lemma(382, [], ap([], [377]):rdf:type(:J127, :ind)).
lemma(383, [], ap([], [380]):rdf:type(:N128, :ind)).
lemma(384, [], ap([], [380]):rdf:type(:I128, :ind)).
lemma(385, [], ap([], [380]):rdf:type(:J128, :ind)).
lemma(386, [], ap([], [383]):rdf:type(:N129, :ind)).
lemma(387, [], ap([], [383]):rdf:type(:I129, :ind)).
lemma(388, [], ap([], [383]):rdf:type(:J129, :ind)).
lemma(389, [], ap([], [386]):rdf:type(:N130, :ind)).
lemma(390, [], ap([], [386]):rdf:type(:I130, :ind)).
lemma(391, [], ap([], [386]):rdf:type(:J130, :ind)).
lemma(392, [], ap([], [389]):rdf:type(:N131, :ind)).
lemma(393, [], ap([], [389]):rdf:type(:I131, :ind)).
lemma(394, [], ap([], [389]):rdf:type(:J131, :ind)).
lemma(395, [], ap([], [392]):rdf:type(:N132, :ind)).
lemma(396, [], ap([], [392]):rdf:type(:I132, :ind)).
lemma(397, [], ap([], [392]):rdf:type(:J132, :ind)).
lemma(398, [], ap([], [395]):rdf:type(:N133, :ind)).
lemma(399, [], ap([], [395]):rdf:type(:I133, :ind)).
lemma(400, [], ap([], [395]):rdf:type(:J133, :ind)).
lemma(401, [], ap([], [398]):rdf:type(:N134, :ind)).
lemma(402, [], ap([], [398]):rdf:type(:I134, :ind)).
lemma(403, [], ap([], [398]):rdf:type(:J134, :ind)).
lemma(404, [], ap([], [401]):rdf:type(:N135, :ind)).
lemma(405, [], ap([], [401]):rdf:type(:I135, :ind)).
lemma(406, [], ap([], [401]):rdf:type(:J135, :ind)).
lemma(407, [], ap([], [404]):rdf:type(:N136, :ind)).
lemma(408, [], ap([], [404]):rdf:type(:I136, :ind)).
lemma(409, [], ap([], [404]):rdf:type(:J136, :ind)).
lemma(410, [], ap([], [407]):rdf:type(:N137, :ind)).
lemma(411, [], ap([], [407]):rdf:type(:I137, :ind)).
lemma(412, [], ap([], [407]):rdf:type(:J137, :ind)).
lemma(413, [], ap([], [410]):rdf:type(:N138, :ind)).
lemma(414, [], ap([], [410]):rdf:type(:I138, :ind)).
lemma(415, [], ap([], [410]):rdf:type(:J138, :ind)).
lemma(416, [], ap([], [413]):rdf:type(:N139, :ind)).
lemma(417, [], ap([], [413]):rdf:type(:I139, :ind)).
lemma(418, [], ap([], [413]):rdf:type(:J139, :ind)).
lemma(419, [], ap([], [416]):rdf:type(:N140, :ind)).
lemma(420, [], ap([], [416]):rdf:type(:I140, :ind)).
lemma(421, [], ap([], [416]):rdf:type(:J140, :ind)).
lemma(422, [], ap([], [419]):rdf:type(:N141, :ind)).
lemma(423, [], ap([], [419]):rdf:type(:I141, :ind)).
lemma(424, [], ap([], [419]):rdf:type(:J141, :ind)).
lemma(425, [], ap([], [422]):rdf:type(:N142, :ind)).
lemma(426, [], ap([], [422]):rdf:type(:I142, :ind)).
lemma(427, [], ap([], [422]):rdf:type(:J142, :ind)).
lemma(428, [], ap([], [425]):rdf:type(:N143, :ind)).
lemma(429, [], ap([], [425]):rdf:type(:I143, :ind)).
lemma(430, [], ap([], [425]):rdf:type(:J143, :ind)).
lemma(431, [], ap([], [428]):rdf:type(:N144, :ind)).
lemma(432, [], ap([], [428]):rdf:type(:I144, :ind)).
lemma(433, [], ap([], [428]):rdf:type(:J144, :ind)).
lemma(434, [], ap([], [431]):rdf:type(:N145, :ind)).
lemma(435, [], ap([], [431]):rdf:type(:I145, :ind)).
lemma(436, [], ap([], [431]):rdf:type(:J145, :ind)).
lemma(437, [], ap([], [434]):rdf:type(:N146, :ind)).
lemma(438, [], ap([], [434]):rdf:type(:I146, :ind)).
lemma(439, [], ap([], [434]):rdf:type(:J146, :ind)).
lemma(440, [], ap([], [437]):rdf:type(:N147, :ind)).
lemma(441, [], ap([], [437]):rdf:type(:I147, :ind)).
lemma(442, [], ap([], [437]):rdf:type(:J147, :ind)).
lemma(443, [], ap([], [440]):rdf:type(:N148, :ind)).
lemma(444, [], ap([], [440]):rdf:type(:I148, :ind)).
lemma(445, [], ap([], [440]):rdf:type(:J148, :ind)).
lemma(446, [], ap([], [443]):rdf:type(:N149, :ind)).
lemma(447, [], ap([], [443]):rdf:type(:I149, :ind)).
lemma(448, [], ap([], [443]):rdf:type(:J149, :ind)).
lemma(449, [], ap([], [446]):rdf:type(:N150, :ind)).
lemma(450, [], ap([], [446]):rdf:type(:I150, :ind)).
lemma(451, [], ap([], [446]):rdf:type(:J150, :ind)).
lemma(452, [], ap([], [449]):rdf:type(:N151, :ind)).
lemma(453, [], ap([], [449]):rdf:type(:I151, :ind)).
lemma(454, [], ap([], [449]):rdf:type(:J151, :ind)).
lemma(455, [], ap([], [452]):rdf:type(:N152, :ind)).
lemma(456, [], ap([], [452]):rdf:type(:I152, :ind)).
lemma(457, [], ap([], [452]):rdf:type(:J152, :ind)).
lemma(458, [], ap([], [455]):rdf:type(:N153, :ind)).
lemma(459, [], ap([], [455]):rdf:type(:I153, :ind)).
lemma(460, [], ap([], [455]):rdf:type(:J153, :ind)).
lemma(461, [], ap([], [458]):rdf:type(:N154, :ind)).
lemma(462, [], ap([], [458]):rdf:type(:I154, :ind)).
lemma(463, [], ap([], [458]):rdf:type(:J154, :ind)).
lemma(464, [], ap([], [461]):rdf:type(:N155, :ind)).
lemma(465, [], ap([], [461]):rdf:type(:I155, :ind)).
lemma(466, [], ap([], [461]):rdf:type(:J155, :ind)).
lemma(467, [], ap([], [464]):rdf:type(:N156, :ind)).
lemma(468, [], ap([], [464]):rdf:type(:I156, :ind)).
lemma(469, [], ap([], [464]):rdf:type(:J156, :ind)).
lemma(470, [], ap([], [467]):rdf:type(:N157, :ind)).
lemma(471, [], ap([], [467]):rdf:type(:I157, :ind)).
lemma(472, [], ap([], [467]):rdf:type(:J157, :ind)).
lemma(473, [], ap([], [470]):rdf:type(:N158, :ind)).
lemma(474, [], ap([], [470]):rdf:type(:I158, :ind)).
lemma(475, [], ap([], [470]):rdf:type(:J158, :ind)).
lemma(476, [], ap([], [473]):rdf:type(:N159, :ind)).
lemma(477, [], ap([], [473]):rdf:type(:I159, :ind)).
lemma(478, [], ap([], [473]):rdf:type(:J159, :ind)).
lemma(479, [], ap([], [476]):rdf:type(:N160, :ind)).
lemma(480, [], ap([], [476]):rdf:type(:I160, :ind)).
lemma(481, [], ap([], [476]):rdf:type(:J160, :ind)).
lemma(482, [], ap([], [479]):rdf:type(:N161, :ind)).
lemma(483, [], ap([], [479]):rdf:type(:I161, :ind)).
lemma(484, [], ap([], [479]):rdf:type(:J161, :ind)).
lemma(485, [], ap([], [482]):rdf:type(:N162, :ind)).
lemma(486, [], ap([], [482]):rdf:type(:I162, :ind)).
lemma(487, [], ap([], [482]):rdf:type(:J162, :ind)).
lemma(488, [], ap([], [485]):rdf:type(:N163, :ind)).
lemma(489, [], ap([], [485]):rdf:type(:I163, :ind)).
lemma(490, [], ap([], [485]):rdf:type(:J163, :ind)).
lemma(491, [], ap([], [488]):rdf:type(:N164, :ind)).
lemma(492, [], ap([], [488]):rdf:type(:I164, :ind)).
lemma(493, [], ap([], [488]):rdf:type(:J164, :ind)).
lemma(494, [], ap([], [491]):rdf:type(:N165, :ind)).
lemma(495, [], ap([], [491]):rdf:type(:I165, :ind)).
lemma(496, [], ap([], [491]):rdf:type(:J165, :ind)).
lemma(497, [], ap([], [494]):rdf:type(:N166, :ind)).
lemma(498, [], ap([], [494]):rdf:type(:I166, :ind)).
lemma(499, [], ap([], [494]):rdf:type(:J166, :ind)).
lemma(500, [], ap([], [497]):rdf:type(:N167, :ind)).
lemma(501, [], ap([], [497]):rdf:type(:I167, :ind)).
lemma(502, [], ap([], [497]):rdf:type(:J167, :ind)).
lemma(503, [], ap([], [500]):rdf:type(:N168, :ind)).
lemma(504, [], ap([], [500]):rdf:type(:I168, :ind)).
lemma(505, [], ap([], [500]):rdf:type(:J168, :ind)).
lemma(506, [], ap([], [503]):rdf:type(:N169, :ind)).
lemma(507, [], ap([], [503]):rdf:type(:I169, :ind)).
lemma(508, [], ap([], [503]):rdf:type(:J169, :ind)).
lemma(509, [], ap([], [506]):rdf:type(:N170, :ind)).
lemma(510, [], ap([], [506]):rdf:type(:I170, :ind)).
lemma(511, [], ap([], [506]):rdf:type(:J170, :ind)).
lemma(512, [], ap([], [509]):rdf:type(:N171, :ind)).
lemma(513, [], ap([], [509]):rdf:type(:I171, :ind)).
lemma(514, [], ap([], [509]):rdf:type(:J171, :ind)).
lemma(515, [], ap([], [512]):rdf:type(:N172, :ind)).
lemma(516, [], ap([], [512]):rdf:type(:I172, :ind)).
lemma(517, [], ap([], [512]):rdf:type(:J172, :ind)).
lemma(518, [], ap([], [515]):rdf:type(:N173, :ind)).
lemma(519, [], ap([], [515]):rdf:type(:I173, :ind)).
lemma(520, [], ap([], [515]):rdf:type(:J173, :ind)).
lemma(521, [], ap([], [518]):rdf:type(:N174, :ind)).
lemma(522, [], ap([], [518]):rdf:type(:I174, :ind)).
lemma(523, [], ap([], [518]):rdf:type(:J174, :ind)).
lemma(524, [], ap([], [521]):rdf:type(:N175, :ind)).
lemma(525, [], ap([], [521]):rdf:type(:I175, :ind)).
lemma(526, [], ap([], [521]):rdf:type(:J175, :ind)).
lemma(527, [], ap([], [524]):rdf:type(:N176, :ind)).
lemma(528, [], ap([], [524]):rdf:type(:I176, :ind)).
lemma(529, [], ap([], [524]):rdf:type(:J176, :ind)).
lemma(530, [], ap([], [527]):rdf:type(:N177, :ind)).
lemma(531, [], ap([], [527]):rdf:type(:I177, :ind)).
lemma(532, [], ap([], [527]):rdf:type(:J177, :ind)).
lemma(533, [], ap([], [530]):rdf:type(:N178, :ind)).
lemma(534, [], ap([], [530]):rdf:type(:I178, :ind)).
lemma(535, [], ap([], [530]):rdf:type(:J178, :ind)).
lemma(536, [], ap([], [533]):rdf:type(:N179, :ind)).
lemma(537, [], ap([], [533]):rdf:type(:I179, :ind)).
lemma(538, [], ap([], [533]):rdf:type(:J179, :ind)).
lemma(539, [], ap([], [536]):rdf:type(:N180, :ind)).
lemma(540, [], ap([], [536]):rdf:type(:I180, :ind)).
lemma(541, [], ap([], [536]):rdf:type(:J180, :ind)).
lemma(542, [], ap([], [539]):rdf:type(:N181, :ind)).
lemma(543, [], ap([], [539]):rdf:type(:I181, :ind)).
lemma(544, [], ap([], [539]):rdf:type(:J181, :ind)).
lemma(545, [], ap([], [542]):rdf:type(:N182, :ind)).
lemma(546, [], ap([], [542]):rdf:type(:I182, :ind)).
lemma(547, [], ap([], [542]):rdf:type(:J182, :ind)).
lemma(548, [], ap([], [545]):rdf:type(:N183, :ind)).
lemma(549, [], ap([], [545]):rdf:type(:I183, :ind)).
lemma(550, [], ap([], [545]):rdf:type(:J183, :ind)).
lemma(551, [], ap([], [548]):rdf:type(:N184, :ind)).
lemma(552, [], ap([], [548]):rdf:type(:I184, :ind)).
lemma(553, [], ap([], [548]):rdf:type(:J184, :ind)).
lemma(554, [], ap([], [551]):rdf:type(:N185, :ind)).
lemma(555, [], ap([], [551]):rdf:type(:I185, :ind)).
lemma(556, [], ap([], [551]):rdf:type(:J185, :ind)).
lemma(557, [], ap([], [554]):rdf:type(:N186, :ind)).
lemma(558, [], ap([], [554]):rdf:type(:I186, :ind)).
lemma(559, [], ap([], [554]):rdf:type(:J186, :ind)).
lemma(560, [], ap([], [557]):rdf:type(:N187, :ind)).
lemma(561, [], ap([], [557]):rdf:type(:I187, :ind)).
lemma(562, [], ap([], [557]):rdf:type(:J187, :ind)).
lemma(563, [], ap([], [560]):rdf:type(:N188, :ind)).
lemma(564, [], ap([], [560]):rdf:type(:I188, :ind)).
lemma(565, [], ap([], [560]):rdf:type(:J188, :ind)).
lemma(566, [], ap([], [563]):rdf:type(:N189, :ind)).
lemma(567, [], ap([], [563]):rdf:type(:I189, :ind)).
lemma(568, [], ap([], [563]):rdf:type(:J189, :ind)).
lemma(569, [], ap([], [566]):rdf:type(:N190, :ind)).
lemma(570, [], ap([], [566]):rdf:type(:I190, :ind)).
lemma(571, [], ap([], [566]):rdf:type(:J190, :ind)).
lemma(572, [], ap([], [569]):rdf:type(:N191, :ind)).
lemma(573, [], ap([], [569]):rdf:type(:I191, :ind)).
lemma(574, [], ap([], [569]):rdf:type(:J191, :ind)).
lemma(575, [], ap([], [572]):rdf:type(:N192, :ind)).
lemma(576, [], ap([], [572]):rdf:type(:I192, :ind)).
lemma(577, [], ap([], [572]):rdf:type(:J192, :ind)).
lemma(578, [], ap([], [575]):rdf:type(:N193, :ind)).
lemma(579, [], ap([], [575]):rdf:type(:I193, :ind)).
lemma(580, [], ap([], [575]):rdf:type(:J193, :ind)).
lemma(581, [], ap([], [578]):rdf:type(:N194, :ind)).
lemma(582, [], ap([], [578]):rdf:type(:I194, :ind)).
lemma(583, [], ap([], [578]):rdf:type(:J194, :ind)).
lemma(584, [], ap([], [581]):rdf:type(:N195, :ind)).
lemma(585, [], ap([], [581]):rdf:type(:I195, :ind)).
lemma(586, [], ap([], [581]):rdf:type(:J195, :ind)).
lemma(587, [], ap([], [584]):rdf:type(:N196, :ind)).
lemma(588, [], ap([], [584]):rdf:type(:I196, :ind)).
lemma(589, [], ap([], [584]):rdf:type(:J196, :ind)).
lemma(590, [], ap([], [587]):rdf:type(:N197, :ind)).
lemma(591, [], ap([], [587]):rdf:type(:I197, :ind)).
lemma(592, [], ap([], [587]):rdf:type(:J197, :ind)).
lemma(593, [], ap([], [590]):rdf:type(:N198, :ind)).
lemma(594, [], ap([], [590]):rdf:type(:I198, :ind)).
lemma(595, [], ap([], [590]):rdf:type(:J198, :ind)).
lemma(596, [], ap([], [593]):rdf:type(:N199, :ind)).
lemma(597, [], ap([], [593]):rdf:type(:I199, :ind)).
lemma(598, [], ap([], [593]):rdf:type(:J199, :ind)).
lemma(599, [], ap([], [596]):rdf:type(:N200, :ind)).
lemma(600, [], ap([], [596]):rdf:type(:I200, :ind)).
lemma(601, [], ap([], [596]):rdf:type(:J200, :ind)).
lemma(602, [], ap([], [599]):rdf:type(:N201, :ind)).
lemma(603, [], ap([], [599]):rdf:type(:I201, :ind)).
lemma(604, [], ap([], [599]):rdf:type(:J201, :ind)).
lemma(605, [], ap([], [602]):rdf:type(:N202, :ind)).
lemma(606, [], ap([], [602]):rdf:type(:I202, :ind)).
lemma(607, [], ap([], [602]):rdf:type(:J202, :ind)).
lemma(608, [], ap([], [605]):rdf:type(:N203, :ind)).
lemma(609, [], ap([], [605]):rdf:type(:I203, :ind)).
lemma(610, [], ap([], [605]):rdf:type(:J203, :ind)).
lemma(611, [], ap([], [608]):rdf:type(:N204, :ind)).
lemma(612, [], ap([], [608]):rdf:type(:I204, :ind)).
lemma(613, [], ap([], [608]):rdf:type(:J204, :ind)).
lemma(614, [], ap([], [611]):rdf:type(:N205, :ind)).
lemma(615, [], ap([], [611]):rdf:type(:I205, :ind)).
lemma(616, [], ap([], [611]):rdf:type(:J205, :ind)).
lemma(617, [], ap([], [614]):rdf:type(:N206, :ind)).
lemma(618, [], ap([], [614]):rdf:type(:I206, :ind)).
lemma(619, [], ap([], [614]):rdf:type(:J206, :ind)).
lemma(620, [], ap([], [617]):rdf:type(:N207, :ind)).
lemma(621, [], ap([], [617]):rdf:type(:I207, :ind)).
lemma(622, [], ap([], [617]):rdf:type(:J207, :ind)).
lemma(623, [], ap([], [620]):rdf:type(:N208, :ind)).
lemma(624, [], ap([], [620]):rdf:type(:I208, :ind)).
lemma(625, [], ap([], [620]):rdf:type(:J208, :ind)).
lemma(626, [], ap([], [623]):rdf:type(:N209, :ind)).
lemma(627, [], ap([], [623]):rdf:type(:I209, :ind)).
lemma(628, [], ap([], [623]):rdf:type(:J209, :ind)).
lemma(629, [], ap([], [626]):rdf:type(:N210, :ind)).
lemma(630, [], ap([], [626]):rdf:type(:I210, :ind)).
lemma(631, [], ap([], [626]):rdf:type(:J210, :ind)).
lemma(632, [], ap([], [629]):rdf:type(:N211, :ind)).
lemma(633, [], ap([], [629]):rdf:type(:I211, :ind)).
lemma(634, [], ap([], [629]):rdf:type(:J211, :ind)).
lemma(635, [], ap([], [632]):rdf:type(:N212, :ind)).
lemma(636, [], ap([], [632]):rdf:type(:I212, :ind)).
lemma(637, [], ap([], [632]):rdf:type(:J212, :ind)).
lemma(638, [], ap([], [635]):rdf:type(:N213, :ind)).
lemma(639, [], ap([], [635]):rdf:type(:I213, :ind)).
lemma(640, [], ap([], [635]):rdf:type(:J213, :ind)).
lemma(641, [], ap([], [638]):rdf:type(:N214, :ind)).
lemma(642, [], ap([], [638]):rdf:type(:I214, :ind)).
lemma(643, [], ap([], [638]):rdf:type(:J214, :ind)).
lemma(644, [], ap([], [641]):rdf:type(:N215, :ind)).
lemma(645, [], ap([], [641]):rdf:type(:I215, :ind)).
lemma(646, [], ap([], [641]):rdf:type(:J215, :ind)).
lemma(647, [], ap([], [644]):rdf:type(:N216, :ind)).
lemma(648, [], ap([], [644]):rdf:type(:I216, :ind)).
lemma(649, [], ap([], [644]):rdf:type(:J216, :ind)).
lemma(650, [], ap([], [647]):rdf:type(:N217, :ind)).
lemma(651, [], ap([], [647]):rdf:type(:I217, :ind)).
lemma(652, [], ap([], [647]):rdf:type(:J217, :ind)).
lemma(653, [], ap([], [650]):rdf:type(:N218, :ind)).
lemma(654, [], ap([], [650]):rdf:type(:I218, :ind)).
lemma(655, [], ap([], [650]):rdf:type(:J218, :ind)).
lemma(656, [], ap([], [653]):rdf:type(:N219, :ind)).
lemma(657, [], ap([], [653]):rdf:type(:I219, :ind)).
lemma(658, [], ap([], [653]):rdf:type(:J219, :ind)).
lemma(659, [], ap([], [656]):rdf:type(:N220, :ind)).
lemma(660, [], ap([], [656]):rdf:type(:I220, :ind)).
lemma(661, [], ap([], [656]):rdf:type(:J220, :ind)).
lemma(662, [], ap([], [659]):rdf:type(:N221, :ind)).
lemma(663, [], ap([], [659]):rdf:type(:I221, :ind)).
lemma(664, [], ap([], [659]):rdf:type(:J221, :ind)).
lemma(665, [], ap([], [662]):rdf:type(:N222, :ind)).
lemma(666, [], ap([], [662]):rdf:type(:I222, :ind)).
lemma(667, [], ap([], [662]):rdf:type(:J222, :ind)).
lemma(668, [], ap([], [665]):rdf:type(:N223, :ind)).
lemma(669, [], ap([], [665]):rdf:type(:I223, :ind)).
lemma(670, [], ap([], [665]):rdf:type(:J223, :ind)).
lemma(671, [], ap([], [668]):rdf:type(:N224, :ind)).
lemma(672, [], ap([], [668]):rdf:type(:I224, :ind)).
lemma(673, [], ap([], [668]):rdf:type(:J224, :ind)).
lemma(674, [], ap([], [671]):rdf:type(:N225, :ind)).
lemma(675, [], ap([], [671]):rdf:type(:I225, :ind)).
lemma(676, [], ap([], [671]):rdf:type(:J225, :ind)).
lemma(677, [], ap([], [674]):rdf:type(:N226, :ind)).
lemma(678, [], ap([], [674]):rdf:type(:I226, :ind)).
lemma(679, [], ap([], [674]):rdf:type(:J226, :ind)).
lemma(680, [], ap([], [677]):rdf:type(:N227, :ind)).
lemma(681, [], ap([], [677]):rdf:type(:I227, :ind)).
lemma(682, [], ap([], [677]):rdf:type(:J227, :ind)).
lemma(683, [], ap([], [680]):rdf:type(:N228, :ind)).
lemma(684, [], ap([], [680]):rdf:type(:I228, :ind)).
lemma(685, [], ap([], [680]):rdf:type(:J228, :ind)).
lemma(686, [], ap([], [683]):rdf:type(:N229, :ind)).
lemma(687, [], ap([], [683]):rdf:type(:I229, :ind)).
lemma(688, [], ap([], [683]):rdf:type(:J229, :ind)).
lemma(689, [], ap([], [686]):rdf:type(:N230, :ind)).
lemma(690, [], ap([], [686]):rdf:type(:I230, :ind)).
lemma(691, [], ap([], [686]):rdf:type(:J230, :ind)).
lemma(692, [], ap([], [689]):rdf:type(:N231, :ind)).
lemma(693, [], ap([], [689]):rdf:type(:I231, :ind)).
lemma(694, [], ap([], [689]):rdf:type(:J231, :ind)).
lemma(695, [], ap([], [692]):rdf:type(:N232, :ind)).
lemma(696, [], ap([], [692]):rdf:type(:I232, :ind)).
lemma(697, [], ap([], [692]):rdf:type(:J232, :ind)).
lemma(698, [], ap([], [695]):rdf:type(:N233, :ind)).
lemma(699, [], ap([], [695]):rdf:type(:I233, :ind)).
lemma(700, [], ap([], [695]):rdf:type(:J233, :ind)).
lemma(701, [], ap([], [698]):rdf:type(:N234, :ind)).
lemma(702, [], ap([], [698]):rdf:type(:I234, :ind)).
lemma(703, [], ap([], [698]):rdf:type(:J234, :ind)).
lemma(704, [], ap([], [701]):rdf:type(:N235, :ind)).
lemma(705, [], ap([], [701]):rdf:type(:I235, :ind)).
lemma(706, [], ap([], [701]):rdf:type(:J235, :ind)).
lemma(707, [], ap([], [704]):rdf:type(:N236, :ind)).
lemma(708, [], ap([], [704]):rdf:type(:I236, :ind)).
lemma(709, [], ap([], [704]):rdf:type(:J236, :ind)).
lemma(710, [], ap([], [707]):rdf:type(:N237, :ind)).
lemma(711, [], ap([], [707]):rdf:type(:I237, :ind)).
lemma(712, [], ap([], [707]):rdf:type(:J237, :ind)).
lemma(713, [], ap([], [710]):rdf:type(:N238, :ind)).
lemma(714, [], ap([], [710]):rdf:type(:I238, :ind)).
lemma(715, [], ap([], [710]):rdf:type(:J238, :ind)).
lemma(716, [], ap([], [713]):rdf:type(:N239, :ind)).
lemma(717, [], ap([], [713]):rdf:type(:I239, :ind)).
lemma(718, [], ap([], [713]):rdf:type(:J239, :ind)).
lemma(719, [], ap([], [716]):rdf:type(:N240, :ind)).
lemma(720, [], ap([], [716]):rdf:type(:I240, :ind)).
lemma(721, [], ap([], [716]):rdf:type(:J240, :ind)).
lemma(722, [], ap([], [719]):rdf:type(:N241, :ind)).
lemma(723, [], ap([], [719]):rdf:type(:I241, :ind)).
lemma(724, [], ap([], [719]):rdf:type(:J241, :ind)).
lemma(725, [], ap([], [722]):rdf:type(:N242, :ind)).
lemma(726, [], ap([], [722]):rdf:type(:I242, :ind)).
lemma(727, [], ap([], [722]):rdf:type(:J242, :ind)).
lemma(728, [], ap([], [725]):rdf:type(:N243, :ind)).
lemma(729, [], ap([], [725]):rdf:type(:I243, :ind)).
lemma(730, [], ap([], [725]):rdf:type(:J243, :ind)).
lemma(731, [], ap([], [728]):rdf:type(:N244, :ind)).
lemma(732, [], ap([], [728]):rdf:type(:I244, :ind)).
lemma(733, [], ap([], [728]):rdf:type(:J244, :ind)).
lemma(734, [], ap([], [731]):rdf:type(:N245, :ind)).
lemma(735, [], ap([], [731]):rdf:type(:I245, :ind)).
lemma(736, [], ap([], [731]):rdf:type(:J245, :ind)).
lemma(737, [], ap([], [734]):rdf:type(:N246, :ind)).
lemma(738, [], ap([], [734]):rdf:type(:I246, :ind)).
lemma(739, [], ap([], [734]):rdf:type(:J246, :ind)).
lemma(740, [], ap([], [737]):rdf:type(:N247, :ind)).
lemma(741, [], ap([], [737]):rdf:type(:I247, :ind)).
lemma(742, [], ap([], [737]):rdf:type(:J247, :ind)).
lemma(743, [], ap([], [740]):rdf:type(:N248, :ind)).
lemma(744, [], ap([], [740]):rdf:type(:I248, :ind)).
lemma(745, [], ap([], [740]):rdf:type(:J248, :ind)).
lemma(746, [], ap([], [743]):rdf:type(:N249, :ind)).
lemma(747, [], ap([], [743]):rdf:type(:I249, :ind)).
lemma(748, [], ap([], [743]):rdf:type(:J249, :ind)).
lemma(749, [], ap([], [746]):rdf:type(:N250, :ind)).
lemma(750, [], ap([], [746]):rdf:type(:I250, :ind)).
lemma(751, [], ap([], [746]):rdf:type(:J250, :ind)).
lemma(752, [], ap([], [749]):rdf:type(:N251, :ind)).
lemma(753, [], ap([], [749]):rdf:type(:I251, :ind)).
lemma(754, [], ap([], [749]):rdf:type(:J251, :ind)).
lemma(755, [], ap([], [752]):rdf:type(:N252, :ind)).
lemma(756, [], ap([], [752]):rdf:type(:I252, :ind)).
lemma(757, [], ap([], [752]):rdf:type(:J252, :ind)).
lemma(758, [], ap([], [755]):rdf:type(:N253, :ind)).
lemma(759, [], ap([], [755]):rdf:type(:I253, :ind)).
lemma(760, [], ap([], [755]):rdf:type(:J253, :ind)).
lemma(761, [], ap([], [758]):rdf:type(:N254, :ind)).
lemma(762, [], ap([], [758]):rdf:type(:I254, :ind)).
lemma(763, [], ap([], [758]):rdf:type(:J254, :ind)).
lemma(764, [], ap([], [761]):rdf:type(:N255, :ind)).
lemma(765, [], ap([], [761]):rdf:type(:I255, :ind)).
lemma(766, [], ap([], [761]):rdf:type(:J255, :ind)).
lemma(767, [], ap([], [764]):rdf:type(:N256, :ind)).
lemma(768, [], ap([], [764]):rdf:type(:I256, :ind)).
lemma(769, [], ap([], [764]):rdf:type(:J256, :ind)).
lemma(770, [], ap([], [767]):rdf:type(:N257, :ind)).
lemma(771, [], ap([], [767]):rdf:type(:I257, :ind)).
lemma(772, [], ap([], [767]):rdf:type(:J257, :ind)).
lemma(773, [], ap([], [770]):rdf:type(:N258, :ind)).
lemma(774, [], ap([], [770]):rdf:type(:I258, :ind)).
lemma(775, [], ap([], [770]):rdf:type(:J258, :ind)).
lemma(776, [], ap([], [773]):rdf:type(:N259, :ind)).
lemma(777, [], ap([], [773]):rdf:type(:I259, :ind)).
lemma(778, [], ap([], [773]):rdf:type(:J259, :ind)).
lemma(779, [], ap([], [776]):rdf:type(:N260, :ind)).
lemma(780, [], ap([], [776]):rdf:type(:I260, :ind)).
lemma(781, [], ap([], [776]):rdf:type(:J260, :ind)).
lemma(782, [], ap([], [779]):rdf:type(:N261, :ind)).
lemma(783, [], ap([], [779]):rdf:type(:I261, :ind)).
lemma(784, [], ap([], [779]):rdf:type(:J261, :ind)).
lemma(785, [], ap([], [782]):rdf:type(:N262, :ind)).
lemma(786, [], ap([], [782]):rdf:type(:I262, :ind)).
lemma(787, [], ap([], [782]):rdf:type(:J262, :ind)).
lemma(788, [], ap([], [785]):rdf:type(:N263, :ind)).
lemma(789, [], ap([], [785]):rdf:type(:I263, :ind)).
lemma(790, [], ap([], [785]):rdf:type(:J263, :ind)).
lemma(791, [], ap([], [788]):rdf:type(:N264, :ind)).
lemma(792, [], ap([], [788]):rdf:type(:I264, :ind)).
lemma(793, [], ap([], [788]):rdf:type(:J264, :ind)).
lemma(794, [], ap([], [791]):rdf:type(:N265, :ind)).
lemma(795, [], ap([], [791]):rdf:type(:I265, :ind)).
lemma(796, [], ap([], [791]):rdf:type(:J265, :ind)).
lemma(797, [], ap([], [794]):rdf:type(:N266, :ind)).
lemma(798, [], ap([], [794]):rdf:type(:I266, :ind)).
lemma(799, [], ap([], [794]):rdf:type(:J266, :ind)).
lemma(800, [], ap([], [797]):rdf:type(:N267, :ind)).
lemma(801, [], ap([], [797]):rdf:type(:I267, :ind)).
lemma(802, [], ap([], [797]):rdf:type(:J267, :ind)).
lemma(803, [], ap([], [800]):rdf:type(:N268, :ind)).
lemma(804, [], ap([], [800]):rdf:type(:I268, :ind)).
lemma(805, [], ap([], [800]):rdf:type(:J268, :ind)).
lemma(806, [], ap([], [803]):rdf:type(:N269, :ind)).
lemma(807, [], ap([], [803]):rdf:type(:I269, :ind)).
lemma(808, [], ap([], [803]):rdf:type(:J269, :ind)).
lemma(809, [], ap([], [806]):rdf:type(:N270, :ind)).
lemma(810, [], ap([], [806]):rdf:type(:I270, :ind)).
lemma(811, [], ap([], [806]):rdf:type(:J270, :ind)).
lemma(812, [], ap([], [809]):rdf:type(:N271, :ind)).
lemma(813, [], ap([], [809]):rdf:type(:I271, :ind)).
lemma(814, [], ap([], [809]):rdf:type(:J271, :ind)).
lemma(815, [], ap([], [812]):rdf:type(:N272, :ind)).
lemma(816, [], ap([], [812]):rdf:type(:I272, :ind)).
lemma(817, [], ap([], [812]):rdf:type(:J272, :ind)).
lemma(818, [], ap([], [815]):rdf:type(:N273, :ind)).
lemma(819, [], ap([], [815]):rdf:type(:I273, :ind)).
lemma(820, [], ap([], [815]):rdf:type(:J273, :ind)).
lemma(821, [], ap([], [818]):rdf:type(:N274, :ind)).
lemma(822, [], ap([], [818]):rdf:type(:I274, :ind)).
lemma(823, [], ap([], [818]):rdf:type(:J274, :ind)).
lemma(824, [], ap([], [821]):rdf:type(:N275, :ind)).
lemma(825, [], ap([], [821]):rdf:type(:I275, :ind)).
lemma(826, [], ap([], [821]):rdf:type(:J275, :ind)).
lemma(827, [], ap([], [824]):rdf:type(:N276, :ind)).
lemma(828, [], ap([], [824]):rdf:type(:I276, :ind)).
lemma(829, [], ap([], [824]):rdf:type(:J276, :ind)).
lemma(830, [], ap([], [827]):rdf:type(:N277, :ind)).
lemma(831, [], ap([], [827]):rdf:type(:I277, :ind)).
lemma(832, [], ap([], [827]):rdf:type(:J277, :ind)).
lemma(833, [], ap([], [830]):rdf:type(:N278, :ind)).
lemma(834, [], ap([], [830]):rdf:type(:I278, :ind)).
lemma(835, [], ap([], [830]):rdf:type(:J278, :ind)).
lemma(836, [], ap([], [833]):rdf:type(:N279, :ind)).
lemma(837, [], ap([], [833]):rdf:type(:I279, :ind)).
lemma(838, [], ap([], [833]):rdf:type(:J279, :ind)).
lemma(839, [], ap([], [836]):rdf:type(:N280, :ind)).
lemma(840, [], ap([], [836]):rdf:type(:I280, :ind)).
lemma(841, [], ap([], [836]):rdf:type(:J280, :ind)).
lemma(842, [], ap([], [839]):rdf:type(:N281, :ind)).
lemma(843, [], ap([], [839]):rdf:type(:I281, :ind)).
lemma(844, [], ap([], [839]):rdf:type(:J281, :ind)).
lemma(845, [], ap([], [842]):rdf:type(:N282, :ind)).
lemma(846, [], ap([], [842]):rdf:type(:I282, :ind)).
lemma(847, [], ap([], [842]):rdf:type(:J282, :ind)).
lemma(848, [], ap([], [845]):rdf:type(:N283, :ind)).
lemma(849, [], ap([], [845]):rdf:type(:I283, :ind)).
lemma(850, [], ap([], [845]):rdf:type(:J283, :ind)).
lemma(851, [], ap([], [848]):rdf:type(:N284, :ind)).
lemma(852, [], ap([], [848]):rdf:type(:I284, :ind)).
lemma(853, [], ap([], [848]):rdf:type(:J284, :ind)).
lemma(854, [], ap([], [851]):rdf:type(:N285, :ind)).
lemma(855, [], ap([], [851]):rdf:type(:I285, :ind)).
lemma(856, [], ap([], [851]):rdf:type(:J285, :ind)).
lemma(857, [], ap([], [854]):rdf:type(:N286, :ind)).
lemma(858, [], ap([], [854]):rdf:type(:I286, :ind)).
lemma(859, [], ap([], [854]):rdf:type(:J286, :ind)).
lemma(860, [], ap([], [857]):rdf:type(:N287, :ind)).
lemma(861, [], ap([], [857]):rdf:type(:I287, :ind)).
lemma(862, [], ap([], [857]):rdf:type(:J287, :ind)).
lemma(863, [], ap([], [860]):rdf:type(:N288, :ind)).
lemma(864, [], ap([], [860]):rdf:type(:I288, :ind)).
lemma(865, [], ap([], [860]):rdf:type(:J288, :ind)).
lemma(866, [], ap([], [863]):rdf:type(:N289, :ind)).
lemma(867, [], ap([], [863]):rdf:type(:I289, :ind)).
lemma(868, [], ap([], [863]):rdf:type(:J289, :ind)).
lemma(869, [], ap([], [866]):rdf:type(:N290, :ind)).
lemma(870, [], ap([], [866]):rdf:type(:I290, :ind)).
lemma(871, [], ap([], [866]):rdf:type(:J290, :ind)).
lemma(872, [], ap([], [869]):rdf:type(:N291, :ind)).
lemma(873, [], ap([], [869]):rdf:type(:I291, :ind)).
lemma(874, [], ap([], [869]):rdf:type(:J291, :ind)).
lemma(875, [], ap([], [872]):rdf:type(:N292, :ind)).
lemma(876, [], ap([], [872]):rdf:type(:I292, :ind)).
lemma(877, [], ap([], [872]):rdf:type(:J292, :ind)).
lemma(878, [], ap([], [875]):rdf:type(:N293, :ind)).
lemma(879, [], ap([], [875]):rdf:type(:I293, :ind)).
lemma(880, [], ap([], [875]):rdf:type(:J293, :ind)).
lemma(881, [], ap([], [878]):rdf:type(:N294, :ind)).
lemma(882, [], ap([], [878]):rdf:type(:I294, :ind)).
lemma(883, [], ap([], [878]):rdf:type(:J294, :ind)).
lemma(884, [], ap([], [881]):rdf:type(:N295, :ind)).
lemma(885, [], ap([], [881]):rdf:type(:I295, :ind)).
lemma(886, [], ap([], [881]):rdf:type(:J295, :ind)).
lemma(887, [], ap([], [884]):rdf:type(:N296, :ind)).
lemma(888, [], ap([], [884]):rdf:type(:I296, :ind)).
lemma(889, [], ap([], [884]):rdf:type(:J296, :ind)).
lemma(890, [], ap([], [887]):rdf:type(:N297, :ind)).
lemma(891, [], ap([], [887]):rdf:type(:I297, :ind)).
lemma(892, [], ap([], [887]):rdf:type(:J297, :ind)).
lemma(893, [], ap([], [890]):rdf:type(:N298, :ind)).
lemma(894, [], ap([], [890]):rdf:type(:I298, :ind)).
lemma(895, [], ap([], [890]):rdf:type(:J298, :ind)).
lemma(896, [], ap([], [893]):rdf:type(:N299, :ind)).
lemma(897, [], ap([], [893]):rdf:type(:I299, :ind)).
lemma(898, [], ap([], [893]):rdf:type(:J299, :ind)).
lemma(899, [], ap([], [896]):rdf:type(:N300, :ind)).
lemma(900, [], ap([], [896]):rdf:type(:I300, :ind)).
lemma(901, [], ap([], [896]):rdf:type(:J300, :ind)).
lemma(902, [], ap([], [899]):rdf:type(:N301, :ind)).
lemma(903, [], ap([], [899]):rdf:type(:I301, :ind)).
lemma(904, [], ap([], [899]):rdf:type(:J301, :ind)).
lemma(905, [], ap([], [902]):rdf:type(:N302, :ind)).
lemma(906, [], ap([], [902]):rdf:type(:I302, :ind)).
lemma(907, [], ap([], [902]):rdf:type(:J302, :ind)).
lemma(908, [], ap([], [905]):rdf:type(:N303, :ind)).
lemma(909, [], ap([], [905]):rdf:type(:I303, :ind)).
lemma(910, [], ap([], [905]):rdf:type(:J303, :ind)).
lemma(911, [], ap([], [908]):rdf:type(:N304, :ind)).
lemma(912, [], ap([], [908]):rdf:type(:I304, :ind)).
lemma(913, [], ap([], [908]):rdf:type(:J304, :ind)).
lemma(914, [], ap([], [911]):rdf:type(:N305, :ind)).
lemma(915, [], ap([], [911]):rdf:type(:I305, :ind)).
lemma(916, [], ap([], [911]):rdf:type(:J305, :ind)).
lemma(917, [], ap([], [914]):rdf:type(:N306, :ind)).
lemma(918, [], ap([], [914]):rdf:type(:I306, :ind)).
lemma(919, [], ap([], [914]):rdf:type(:J306, :ind)).
lemma(920, [], ap([], [917]):rdf:type(:N307, :ind)).
lemma(921, [], ap([], [917]):rdf:type(:I307, :ind)).
lemma(922, [], ap([], [917]):rdf:type(:J307, :ind)).
lemma(923, [], ap([], [920]):rdf:type(:N308, :ind)).
lemma(924, [], ap([], [920]):rdf:type(:I308, :ind)).
lemma(925, [], ap([], [920]):rdf:type(:J308, :ind)).
lemma(926, [], ap([], [923]):rdf:type(:N309, :ind)).
lemma(927, [], ap([], [923]):rdf:type(:I309, :ind)).
lemma(928, [], ap([], [923]):rdf:type(:J309, :ind)).
lemma(929, [], ap([], [926]):rdf:type(:N310, :ind)).
lemma(930, [], ap([], [926]):rdf:type(:I310, :ind)).
lemma(931, [], ap([], [926]):rdf:type(:J310, :ind)).
lemma(932, [], ap([], [929]):rdf:type(:N311, :ind)).
lemma(933, [], ap([], [929]):rdf:type(:I311, :ind)).
lemma(934, [], ap([], [929]):rdf:type(:J311, :ind)).
lemma(935, [], ap([], [932]):rdf:type(:N312, :ind)).
lemma(936, [], ap([], [932]):rdf:type(:I312, :ind)).
lemma(937, [], ap([], [932]):rdf:type(:J312, :ind)).
lemma(938, [], ap([], [935]):rdf:type(:N313, :ind)).
lemma(939, [], ap([], [935]):rdf:type(:I313, :ind)).
lemma(940, [], ap([], [935]):rdf:type(:J313, :ind)).
lemma(941, [], ap([], [938]):rdf:type(:N314, :ind)).
lemma(942, [], ap([], [938]):rdf:type(:I314, :ind)).
lemma(943, [], ap([], [938]):rdf:type(:J314, :ind)).
lemma(944, [], ap([], [941]):rdf:type(:N315, :ind)).
lemma(945, [], ap([], [941]):rdf:type(:I315, :ind)).
lemma(946, [], ap([], [941]):rdf:type(:J315, :ind)).
lemma(947, [], ap([], [944]):rdf:type(:N316, :ind)).
lemma(948, [], ap([], [944]):rdf:type(:I316, :ind)).
lemma(949, [], ap([], [944]):rdf:type(:J316, :ind)).
lemma(950, [], ap([], [947]):rdf:type(:N317, :ind)).
lemma(951, [], ap([], [947]):rdf:type(:I317, :ind)).
lemma(952, [], ap([], [947]):rdf:type(:J317, :ind)).
lemma(953, [], ap([], [950]):rdf:type(:N318, :ind)).
lemma(954, [], ap([], [950]):rdf:type(:I318, :ind)).
lemma(955, [], ap([], [950]):rdf:type(:J318, :ind)).
lemma(956, [], ap([], [953]):rdf:type(:N319, :ind)).
lemma(957, [], ap([], [953]):rdf:type(:I319, :ind)).
lemma(958, [], ap([], [953]):rdf:type(:J319, :ind)).
lemma(959, [], ap([], [956]):rdf:type(:N320, :ind)).
lemma(960, [], ap([], [956]):rdf:type(:I320, :ind)).
lemma(961, [], ap([], [956]):rdf:type(:J320, :ind)).
lemma(962, [], ap([], [959]):rdf:type(:N321, :ind)).
lemma(963, [], ap([], [959]):rdf:type(:I321, :ind)).
lemma(964, [], ap([], [959]):rdf:type(:J321, :ind)).
lemma(965, [], ap([], [962]):rdf:type(:N322, :ind)).
lemma(966, [], ap([], [962]):rdf:type(:I322, :ind)).
lemma(967, [], ap([], [962]):rdf:type(:J322, :ind)).
lemma(968, [], ap([], [965]):rdf:type(:N323, :ind)).
lemma(969, [], ap([], [965]):rdf:type(:I323, :ind)).
lemma(970, [], ap([], [965]):rdf:type(:J323, :ind)).
lemma(971, [], ap([], [968]):rdf:type(:N324, :ind)).
lemma(972, [], ap([], [968]):rdf:type(:I324, :ind)).
lemma(973, [], ap([], [968]):rdf:type(:J324, :ind)).
lemma(974, [], ap([], [971]):rdf:type(:N325, :ind)).
lemma(975, [], ap([], [971]):rdf:type(:I325, :ind)).
lemma(976, [], ap([], [971]):rdf:type(:J325, :ind)).
lemma(977, [], ap([], [974]):rdf:type(:N326, :ind)).
lemma(978, [], ap([], [974]):rdf:type(:I326, :ind)).
lemma(979, [], ap([], [974]):rdf:type(:J326, :ind)).
lemma(980, [], ap([], [977]):rdf:type(:N327, :ind)).
lemma(981, [], ap([], [977]):rdf:type(:I327, :ind)).
lemma(982, [], ap([], [977]):rdf:type(:J327, :ind)).
lemma(983, [], ap([], [980]):rdf:type(:N328, :ind)).
lemma(984, [], ap([], [980]):rdf:type(:I328, :ind)).
lemma(985, [], ap([], [980]):rdf:type(:J328, :ind)).
lemma(986, [], ap([], [983]):rdf:type(:N329, :ind)).
lemma(987, [], ap([], [983]):rdf:type(:I329, :ind)).
lemma(988, [], ap([], [983]):rdf:type(:J329, :ind)).
lemma(989, [], ap([], [986]):rdf:type(:N330, :ind)).
lemma(990, [], ap([], [986]):rdf:type(:I330, :ind)).
lemma(991, [], ap([], [986]):rdf:type(:J330, :ind)).
lemma(992, [], ap([], [989]):rdf:type(:N331, :ind)).
lemma(993, [], ap([], [989]):rdf:type(:I331, :ind)).
lemma(994, [], ap([], [989]):rdf:type(:J331, :ind)).
lemma(995, [], ap([], [992]):rdf:type(:N332, :ind)).
lemma(996, [], ap([], [992]):rdf:type(:I332, :ind)).
lemma(997, [], ap([], [992]):rdf:type(:J332, :ind)).
lemma(998, [], ap([], [995]):rdf:type(:N333, :ind)).
lemma(999, [], ap([], [995]):rdf:type(:I333, :ind)).
lemma(1000, [], ap([], [995]):rdf:type(:J333, :ind)).
lemma(1001, [], ap([], [998]):rdf:type(:N334, :ind)).
lemma(1002, [], ap([], [998]):rdf:type(:I334, :ind)).
lemma(1003, [], ap([], [998]):rdf:type(:J334, :ind)).
lemma(1004, [], ap([], [1001]):rdf:type(:N335, :ind)).
lemma(1005, [], ap([], [1001]):rdf:type(:I335, :ind)).
lemma(1006, [], ap([], [1001]):rdf:type(:J335, :ind)).
lemma(1007, [], ap([], [1004]):rdf:type(:N336, :ind)).
lemma(1008, [], ap([], [1004]):rdf:type(:I336, :ind)).
lemma(1009, [], ap([], [1004]):rdf:type(:J336, :ind)).
lemma(1010, [], ap([], [1007]):rdf:type(:N337, :ind)).
lemma(1011, [], ap([], [1007]):rdf:type(:I337, :ind)).
lemma(1012, [], ap([], [1007]):rdf:type(:J337, :ind)).
lemma(1013, [], ap([], [1010]):rdf:type(:N338, :ind)).
lemma(1014, [], ap([], [1010]):rdf:type(:I338, :ind)).
lemma(1015, [], ap([], [1010]):rdf:type(:J338, :ind)).
lemma(1016, [], ap([], [1013]):rdf:type(:N339, :ind)).
lemma(1017, [], ap([], [1013]):rdf:type(:I339, :ind)).
lemma(1018, [], ap([], [1013]):rdf:type(:J339, :ind)).
lemma(1019, [], ap([], [1016]):rdf:type(:N340, :ind)).
lemma(1020, [], ap([], [1016]):rdf:type(:I340, :ind)).
lemma(1021, [], ap([], [1016]):rdf:type(:J340, :ind)).
lemma(1022, [], ap([], [1019]):rdf:type(:N341, :ind)).
lemma(1023, [], ap([], [1019]):rdf:type(:I341, :ind)).
lemma(1024, [], ap([], [1019]):rdf:type(:J341, :ind)).
lemma(1025, [], ap([], [1022]):rdf:type(:N342, :ind)).
lemma(1026, [], ap([], [1022]):rdf:type(:I342, :ind)).
lemma(1027, [], ap([], [1022]):rdf:type(:J342, :ind)).
lemma(1028, [], ap([], [1025]):rdf:type(:N343, :ind)).
lemma(1029, [], ap([], [1025]):rdf:type(:I343, :ind)).
lemma(1030, [], ap([], [1025]):rdf:type(:J343, :ind)).
lemma(1031, [], ap([], [1028]):rdf:type(:N344, :ind)).
lemma(1032, [], ap([], [1028]):rdf:type(:I344, :ind)).
lemma(1033, [], ap([], [1028]):rdf:type(:J344, :ind)).
lemma(1034, [], ap([], [1031]):rdf:type(:N345, :ind)).
lemma(1035, [], ap([], [1031]):rdf:type(:I345, :ind)).
lemma(1036, [], ap([], [1031]):rdf:type(:J345, :ind)).
lemma(1037, [], ap([], [1034]):rdf:type(:N346, :ind)).
lemma(1038, [], ap([], [1034]):rdf:type(:I346, :ind)).
lemma(1039, [], ap([], [1034]):rdf:type(:J346, :ind)).
lemma(1040, [], ap([], [1037]):rdf:type(:N347, :ind)).
lemma(1041, [], ap([], [1037]):rdf:type(:I347, :ind)).
lemma(1042, [], ap([], [1037]):rdf:type(:J347, :ind)).
lemma(1043, [], ap([], [1040]):rdf:type(:N348, :ind)).
lemma(1044, [], ap([], [1040]):rdf:type(:I348, :ind)).
lemma(1045, [], ap([], [1040]):rdf:type(:J348, :ind)).
lemma(1046, [], ap([], [1043]):rdf:type(:N349, :ind)).
lemma(1047, [], ap([], [1043]):rdf:type(:I349, :ind)).
lemma(1048, [], ap([], [1043]):rdf:type(:J349, :ind)).
lemma(1049, [], ap([], [1046]):rdf:type(:N350, :ind)).
lemma(1050, [], ap([], [1046]):rdf:type(:I350, :ind)).
lemma(1051, [], ap([], [1046]):rdf:type(:J350, :ind)).
lemma(1052, [], ap([], [1049]):rdf:type(:N351, :ind)).
lemma(1053, [], ap([], [1049]):rdf:type(:I351, :ind)).
lemma(1054, [], ap([], [1049]):rdf:type(:J351, :ind)).
lemma(1055, [], ap([], [1052]):rdf:type(:N352, :ind)).
lemma(1056, [], ap([], [1052]):rdf:type(:I352, :ind)).
lemma(1057, [], ap([], [1052]):rdf:type(:J352, :ind)).
lemma(1058, [], ap([], [1055]):rdf:type(:N353, :ind)).
lemma(1059, [], ap([], [1055]):rdf:type(:I353, :ind)).
lemma(1060, [], ap([], [1055]):rdf:type(:J353, :ind)).
lemma(1061, [], ap([], [1058]):rdf:type(:N354, :ind)).
lemma(1062, [], ap([], [1058]):rdf:type(:I354, :ind)).
lemma(1063, [], ap([], [1058]):rdf:type(:J354, :ind)).
lemma(1064, [], ap([], [1061]):rdf:type(:N355, :ind)).
lemma(1065, [], ap([], [1061]):rdf:type(:I355, :ind)).
lemma(1066, [], ap([], [1061]):rdf:type(:J355, :ind)).
lemma(1067, [], ap([], [1064]):rdf:type(:N356, :ind)).
lemma(1068, [], ap([], [1064]):rdf:type(:I356, :ind)).
lemma(1069, [], ap([], [1064]):rdf:type(:J356, :ind)).
lemma(1070, [], ap([], [1067]):rdf:type(:N357, :ind)).
lemma(1071, [], ap([], [1067]):rdf:type(:I357, :ind)).
lemma(1072, [], ap([], [1067]):rdf:type(:J357, :ind)).
lemma(1073, [], ap([], [1070]):rdf:type(:N358, :ind)).
lemma(1074, [], ap([], [1070]):rdf:type(:I358, :ind)).
lemma(1075, [], ap([], [1070]):rdf:type(:J358, :ind)).
lemma(1076, [], ap([], [1073]):rdf:type(:N359, :ind)).
lemma(1077, [], ap([], [1073]):rdf:type(:I359, :ind)).
lemma(1078, [], ap([], [1073]):rdf:type(:J359, :ind)).
lemma(1079, [], ap([], [1076]):rdf:type(:N360, :ind)).
lemma(1080, [], ap([], [1076]):rdf:type(:I360, :ind)).
lemma(1081, [], ap([], [1076]):rdf:type(:J360, :ind)).
lemma(1082, [], ap([], [1079]):rdf:type(:N361, :ind)).
lemma(1083, [], ap([], [1079]):rdf:type(:I361, :ind)).
lemma(1084, [], ap([], [1079]):rdf:type(:J361, :ind)).
lemma(1085, [], ap([], [1082]):rdf:type(:N362, :ind)).
lemma(1086, [], ap([], [1082]):rdf:type(:I362, :ind)).
lemma(1087, [], ap([], [1082]):rdf:type(:J362, :ind)).
lemma(1088, [], ap([], [1085]):rdf:type(:N363, :ind)).
lemma(1089, [], ap([], [1085]):rdf:type(:I363, :ind)).
lemma(1090, [], ap([], [1085]):rdf:type(:J363, :ind)).
lemma(1091, [], ap([], [1088]):rdf:type(:N364, :ind)).
lemma(1092, [], ap([], [1088]):rdf:type(:I364, :ind)).
lemma(1093, [], ap([], [1088]):rdf:type(:J364, :ind)).
lemma(1094, [], ap([], [1091]):rdf:type(:N365, :ind)).
lemma(1095, [], ap([], [1091]):rdf:type(:I365, :ind)).
lemma(1096, [], ap([], [1091]):rdf:type(:J365, :ind)).
lemma(1097, [], ap([], [1094]):rdf:type(:N366, :ind)).
lemma(1098, [], ap([], [1094]):rdf:type(:I366, :ind)).
lemma(1099, [], ap([], [1094]):rdf:type(:J366, :ind)).
lemma(1100, [], ap([], [1097]):rdf:type(:N367, :ind)).
lemma(1101, [], ap([], [1097]):rdf:type(:I367, :ind)).
lemma(1102, [], ap([], [1097]):rdf:type(:J367, :ind)).
lemma(1103, [], ap([], [1100]):rdf:type(:N368, :ind)).
lemma(1104, [], ap([], [1100]):rdf:type(:I368, :ind)).
lemma(1105, [], ap([], [1100]):rdf:type(:J368, :ind)).
lemma(1106, [], ap([], [1103]):rdf:type(:N369, :ind)).
lemma(1107, [], ap([], [1103]):rdf:type(:I369, :ind)).
lemma(1108, [], ap([], [1103]):rdf:type(:J369, :ind)).
lemma(1109, [], ap([], [1106]):rdf:type(:N370, :ind)).
lemma(1110, [], ap([], [1106]):rdf:type(:I370, :ind)).
lemma(1111, [], ap([], [1106]):rdf:type(:J370, :ind)).
lemma(1112, [], ap([], [1109]):rdf:type(:N371, :ind)).
lemma(1113, [], ap([], [1109]):rdf:type(:I371, :ind)).
lemma(1114, [], ap([], [1109]):rdf:type(:J371, :ind)).
lemma(1115, [], ap([], [1112]):rdf:type(:N372, :ind)).
lemma(1116, [], ap([], [1112]):rdf:type(:I372, :ind)).
lemma(1117, [], ap([], [1112]):rdf:type(:J372, :ind)).
lemma(1118, [], ap([], [1115]):rdf:type(:N373, :ind)).
lemma(1119, [], ap([], [1115]):rdf:type(:I373, :ind)).
lemma(1120, [], ap([], [1115]):rdf:type(:J373, :ind)).
lemma(1121, [], ap([], [1118]):rdf:type(:N374, :ind)).
lemma(1122, [], ap([], [1118]):rdf:type(:I374, :ind)).
lemma(1123, [], ap([], [1118]):rdf:type(:J374, :ind)).
lemma(1124, [], ap([], [1121]):rdf:type(:N375, :ind)).
lemma(1125, [], ap([], [1121]):rdf:type(:I375, :ind)).
lemma(1126, [], ap([], [1121]):rdf:type(:J375, :ind)).
lemma(1127, [], ap([], [1124]):rdf:type(:N376, :ind)).
lemma(1128, [], ap([], [1124]):rdf:type(:I376, :ind)).
lemma(1129, [], ap([], [1124]):rdf:type(:J376, :ind)).
lemma(1130, [], ap([], [1127]):rdf:type(:N377, :ind)).
lemma(1131, [], ap([], [1127]):rdf:type(:I377, :ind)).
lemma(1132, [], ap([], [1127]):rdf:type(:J377, :ind)).
lemma(1133, [], ap([], [1130]):rdf:type(:N378, :ind)).
lemma(1134, [], ap([], [1130]):rdf:type(:I378, :ind)).
lemma(1135, [], ap([], [1130]):rdf:type(:J378, :ind)).
lemma(1136, [], ap([], [1133]):rdf:type(:N379, :ind)).
lemma(1137, [], ap([], [1133]):rdf:type(:I379, :ind)).
lemma(1138, [], ap([], [1133]):rdf:type(:J379, :ind)).
lemma(1139, [], ap([], [1136]):rdf:type(:N380, :ind)).
lemma(1140, [], ap([], [1136]):rdf:type(:I380, :ind)).
lemma(1141, [], ap([], [1136]):rdf:type(:J380, :ind)).
lemma(1142, [], ap([], [1139]):rdf:type(:N381, :ind)).
lemma(1143, [], ap([], [1139]):rdf:type(:I381, :ind)).
lemma(1144, [], ap([], [1139]):rdf:type(:J381, :ind)).
lemma(1145, [], ap([], [1142]):rdf:type(:N382, :ind)).
lemma(1146, [], ap([], [1142]):rdf:type(:I382, :ind)).
lemma(1147, [], ap([], [1142]):rdf:type(:J382, :ind)).
lemma(1148, [], ap([], [1145]):rdf:type(:N383, :ind)).
lemma(1149, [], ap([], [1145]):rdf:type(:I383, :ind)).
lemma(1150, [], ap([], [1145]):rdf:type(:J383, :ind)).
lemma(1151, [], ap([], [1148]):rdf:type(:N384, :ind)).
lemma(1152, [], ap([], [1148]):rdf:type(:I384, :ind)).
lemma(1153, [], ap([], [1148]):rdf:type(:J384, :ind)).
lemma(1154, [], ap([], [1151]):rdf:type(:N385, :ind)).
lemma(1155, [], ap([], [1151]):rdf:type(:I385, :ind)).
lemma(1156, [], ap([], [1151]):rdf:type(:J385, :ind)).
lemma(1157, [], ap([], [1154]):rdf:type(:N386, :ind)).
lemma(1158, [], ap([], [1154]):rdf:type(:I386, :ind)).
lemma(1159, [], ap([], [1154]):rdf:type(:J386, :ind)).
lemma(1160, [], ap([], [1157]):rdf:type(:N387, :ind)).
lemma(1161, [], ap([], [1157]):rdf:type(:I387, :ind)).
lemma(1162, [], ap([], [1157]):rdf:type(:J387, :ind)).
lemma(1163, [], ap([], [1160]):rdf:type(:N388, :ind)).
lemma(1164, [], ap([], [1160]):rdf:type(:I388, :ind)).
lemma(1165, [], ap([], [1160]):rdf:type(:J388, :ind)).
lemma(1166, [], ap([], [1163]):rdf:type(:N389, :ind)).
lemma(1167, [], ap([], [1163]):rdf:type(:I389, :ind)).
lemma(1168, [], ap([], [1163]):rdf:type(:J389, :ind)).
lemma(1169, [], ap([], [1166]):rdf:type(:N390, :ind)).
lemma(1170, [], ap([], [1166]):rdf:type(:I390, :ind)).
lemma(1171, [], ap([], [1166]):rdf:type(:J390, :ind)).
lemma(1172, [], ap([], [1169]):rdf:type(:N391, :ind)).
lemma(1173, [], ap([], [1169]):rdf:type(:I391, :ind)).
lemma(1174, [], ap([], [1169]):rdf:type(:J391, :ind)).
lemma(1175, [], ap([], [1172]):rdf:type(:N392, :ind)).
lemma(1176, [], ap([], [1172]):rdf:type(:I392, :ind)).
lemma(1177, [], ap([], [1172]):rdf:type(:J392, :ind)).
lemma(1178, [], ap([], [1175]):rdf:type(:N393, :ind)).
lemma(1179, [], ap([], [1175]):rdf:type(:I393, :ind)).
lemma(1180, [], ap([], [1175]):rdf:type(:J393, :ind)).
lemma(1181, [], ap([], [1178]):rdf:type(:N394, :ind)).
lemma(1182, [], ap([], [1178]):rdf:type(:I394, :ind)).
lemma(1183, [], ap([], [1178]):rdf:type(:J394, :ind)).
lemma(1184, [], ap([], [1181]):rdf:type(:N395, :ind)).
lemma(1185, [], ap([], [1181]):rdf:type(:I395, :ind)).
lemma(1186, [], ap([], [1181]):rdf:type(:J395, :ind)).
lemma(1187, [], ap([], [1184]):rdf:type(:N396, :ind)).
lemma(1188, [], ap([], [1184]):rdf:type(:I396, :ind)).
lemma(1189, [], ap([], [1184]):rdf:type(:J396, :ind)).
lemma(1190, [], ap([], [1187]):rdf:type(:N397, :ind)).
lemma(1191, [], ap([], [1187]):rdf:type(:I397, :ind)).
lemma(1192, [], ap([], [1187]):rdf:type(:J397, :ind)).
lemma(1193, [], ap([], [1190]):rdf:type(:N398, :ind)).
lemma(1194, [], ap([], [1190]):rdf:type(:I398, :ind)).
lemma(1195, [], ap([], [1190]):rdf:type(:J398, :ind)).
lemma(1196, [], ap([], [1193]):rdf:type(:N399, :ind)).
lemma(1197, [], ap([], [1193]):rdf:type(:I399, :ind)).
lemma(1198, [], ap([], [1193]):rdf:type(:J399, :ind)).
lemma(1199, [], ap([], [1196]):rdf:type(:N400, :ind)).
lemma(1200, [], ap([], [1196]):rdf:type(:I400, :ind)).
lemma(1201, [], ap([], [1196]):rdf:type(:J400, :ind)).
lemma(1202, [], ap([], [1199]):rdf:type(:N401, :ind)).
lemma(1203, [], ap([], [1199]):rdf:type(:I401, :ind)).
lemma(1204, [], ap([], [1199]):rdf:type(:J401, :ind)).
lemma(1205, [], ap([], [1202]):rdf:type(:N402, :ind)).
lemma(1206, [], ap([], [1202]):rdf:type(:I402, :ind)).
lemma(1207, [], ap([], [1202]):rdf:type(:J402, :ind)).
lemma(1208, [], ap([], [1205]):rdf:type(:N403, :ind)).
lemma(1209, [], ap([], [1205]):rdf:type(:I403, :ind)).
lemma(1210, [], ap([], [1205]):rdf:type(:J403, :ind)).
lemma(1211, [], ap([], [1208]):rdf:type(:N404, :ind)).
lemma(1212, [], ap([], [1208]):rdf:type(:I404, :ind)).
lemma(1213, [], ap([], [1208]):rdf:type(:J404, :ind)).
lemma(1214, [], ap([], [1211]):rdf:type(:N405, :ind)).
lemma(1215, [], ap([], [1211]):rdf:type(:I405, :ind)).
lemma(1216, [], ap([], [1211]):rdf:type(:J405, :ind)).
lemma(1217, [], ap([], [1214]):rdf:type(:N406, :ind)).
lemma(1218, [], ap([], [1214]):rdf:type(:I406, :ind)).
lemma(1219, [], ap([], [1214]):rdf:type(:J406, :ind)).
lemma(1220, [], ap([], [1217]):rdf:type(:N407, :ind)).
lemma(1221, [], ap([], [1217]):rdf:type(:I407, :ind)).
lemma(1222, [], ap([], [1217]):rdf:type(:J407, :ind)).
lemma(1223, [], ap([], [1220]):rdf:type(:N408, :ind)).
lemma(1224, [], ap([], [1220]):rdf:type(:I408, :ind)).
lemma(1225, [], ap([], [1220]):rdf:type(:J408, :ind)).
lemma(1226, [], ap([], [1223]):rdf:type(:N409, :ind)).
lemma(1227, [], ap([], [1223]):rdf:type(:I409, :ind)).
lemma(1228, [], ap([], [1223]):rdf:type(:J409, :ind)).
lemma(1229, [], ap([], [1226]):rdf:type(:N410, :ind)).
lemma(1230, [], ap([], [1226]):rdf:type(:I410, :ind)).
lemma(1231, [], ap([], [1226]):rdf:type(:J410, :ind)).
lemma(1232, [], ap([], [1229]):rdf:type(:N411, :ind)).
lemma(1233, [], ap([], [1229]):rdf:type(:I411, :ind)).
lemma(1234, [], ap([], [1229]):rdf:type(:J411, :ind)).
lemma(1235, [], ap([], [1232]):rdf:type(:N412, :ind)).
lemma(1236, [], ap([], [1232]):rdf:type(:I412, :ind)).
lemma(1237, [], ap([], [1232]):rdf:type(:J412, :ind)).
lemma(1238, [], ap([], [1235]):rdf:type(:N413, :ind)).
lemma(1239, [], ap([], [1235]):rdf:type(:I413, :ind)).
lemma(1240, [], ap([], [1235]):rdf:type(:J413, :ind)).
lemma(1241, [], ap([], [1238]):rdf:type(:N414, :ind)).
lemma(1242, [], ap([], [1238]):rdf:type(:I414, :ind)).
lemma(1243, [], ap([], [1238]):rdf:type(:J414, :ind)).
lemma(1244, [], ap([], [1241]):rdf:type(:N415, :ind)).
lemma(1245, [], ap([], [1241]):rdf:type(:I415, :ind)).
lemma(1246, [], ap([], [1241]):rdf:type(:J415, :ind)).
lemma(1247, [], ap([], [1244]):rdf:type(:N416, :ind)).
lemma(1248, [], ap([], [1244]):rdf:type(:I416, :ind)).
lemma(1249, [], ap([], [1244]):rdf:type(:J416, :ind)).
lemma(1250, [], ap([], [1247]):rdf:type(:N417, :ind)).
lemma(1251, [], ap([], [1247]):rdf:type(:I417, :ind)).
lemma(1252, [], ap([], [1247]):rdf:type(:J417, :ind)).
lemma(1253, [], ap([], [1250]):rdf:type(:N418, :ind)).
lemma(1254, [], ap([], [1250]):rdf:type(:I418, :ind)).
lemma(1255, [], ap([], [1250]):rdf:type(:J418, :ind)).
lemma(1256, [], ap([], [1253]):rdf:type(:N419, :ind)).
lemma(1257, [], ap([], [1253]):rdf:type(:I419, :ind)).
lemma(1258, [], ap([], [1253]):rdf:type(:J419, :ind)).
lemma(1259, [], ap([], [1256]):rdf:type(:N420, :ind)).
lemma(1260, [], ap([], [1256]):rdf:type(:I420, :ind)).
lemma(1261, [], ap([], [1256]):rdf:type(:J420, :ind)).
lemma(1262, [], ap([], [1259]):rdf:type(:N421, :ind)).
lemma(1263, [], ap([], [1259]):rdf:type(:I421, :ind)).
lemma(1264, [], ap([], [1259]):rdf:type(:J421, :ind)).
lemma(1265, [], ap([], [1262]):rdf:type(:N422, :ind)).
lemma(1266, [], ap([], [1262]):rdf:type(:I422, :ind)).
lemma(1267, [], ap([], [1262]):rdf:type(:J422, :ind)).
lemma(1268, [], ap([], [1265]):rdf:type(:N423, :ind)).
lemma(1269, [], ap([], [1265]):rdf:type(:I423, :ind)).
lemma(1270, [], ap([], [1265]):rdf:type(:J423, :ind)).
lemma(1271, [], ap([], [1268]):rdf:type(:N424, :ind)).
lemma(1272, [], ap([], [1268]):rdf:type(:I424, :ind)).
lemma(1273, [], ap([], [1268]):rdf:type(:J424, :ind)).
lemma(1274, [], ap([], [1271]):rdf:type(:N425, :ind)).
lemma(1275, [], ap([], [1271]):rdf:type(:I425, :ind)).
lemma(1276, [], ap([], [1271]):rdf:type(:J425, :ind)).
lemma(1277, [], ap([], [1274]):rdf:type(:N426, :ind)).
lemma(1278, [], ap([], [1274]):rdf:type(:I426, :ind)).
lemma(1279, [], ap([], [1274]):rdf:type(:J426, :ind)).
lemma(1280, [], ap([], [1277]):rdf:type(:N427, :ind)).
lemma(1281, [], ap([], [1277]):rdf:type(:I427, :ind)).
lemma(1282, [], ap([], [1277]):rdf:type(:J427, :ind)).
lemma(1283, [], ap([], [1280]):rdf:type(:N428, :ind)).
lemma(1284, [], ap([], [1280]):rdf:type(:I428, :ind)).
lemma(1285, [], ap([], [1280]):rdf:type(:J428, :ind)).
lemma(1286, [], ap([], [1283]):rdf:type(:N429, :ind)).
lemma(1287, [], ap([], [1283]):rdf:type(:I429, :ind)).
lemma(1288, [], ap([], [1283]):rdf:type(:J429, :ind)).
lemma(1289, [], ap([], [1286]):rdf:type(:N430, :ind)).
lemma(1290, [], ap([], [1286]):rdf:type(:I430, :ind)).
lemma(1291, [], ap([], [1286]):rdf:type(:J430, :ind)).
lemma(1292, [], ap([], [1289]):rdf:type(:N431, :ind)).
lemma(1293, [], ap([], [1289]):rdf:type(:I431, :ind)).
lemma(1294, [], ap([], [1289]):rdf:type(:J431, :ind)).
lemma(1295, [], ap([], [1292]):rdf:type(:N432, :ind)).
lemma(1296, [], ap([], [1292]):rdf:type(:I432, :ind)).
lemma(1297, [], ap([], [1292]):rdf:type(:J432, :ind)).
lemma(1298, [], ap([], [1295]):rdf:type(:N433, :ind)).
lemma(1299, [], ap([], [1295]):rdf:type(:I433, :ind)).
lemma(1300, [], ap([], [1295]):rdf:type(:J433, :ind)).
lemma(1301, [], ap([], [1298]):rdf:type(:N434, :ind)).
lemma(1302, [], ap([], [1298]):rdf:type(:I434, :ind)).
lemma(1303, [], ap([], [1298]):rdf:type(:J434, :ind)).
lemma(1304, [], ap([], [1301]):rdf:type(:N435, :ind)).
lemma(1305, [], ap([], [1301]):rdf:type(:I435, :ind)).
lemma(1306, [], ap([], [1301]):rdf:type(:J435, :ind)).
lemma(1307, [], ap([], [1304]):rdf:type(:N436, :ind)).
lemma(1308, [], ap([], [1304]):rdf:type(:I436, :ind)).
lemma(1309, [], ap([], [1304]):rdf:type(:J436, :ind)).
lemma(1310, [], ap([], [1307]):rdf:type(:N437, :ind)).
lemma(1311, [], ap([], [1307]):rdf:type(:I437, :ind)).
lemma(1312, [], ap([], [1307]):rdf:type(:J437, :ind)).
lemma(1313, [], ap([], [1310]):rdf:type(:N438, :ind)).
lemma(1314, [], ap([], [1310]):rdf:type(:I438, :ind)).
lemma(1315, [], ap([], [1310]):rdf:type(:J438, :ind)).
lemma(1316, [], ap([], [1313]):rdf:type(:N439, :ind)).
lemma(1317, [], ap([], [1313]):rdf:type(:I439, :ind)).
lemma(1318, [], ap([], [1313]):rdf:type(:J439, :ind)).
lemma(1319, [], ap([], [1316]):rdf:type(:N440, :ind)).
lemma(1320, [], ap([], [1316]):rdf:type(:I440, :ind)).
lemma(1321, [], ap([], [1316]):rdf:type(:J440, :ind)).
lemma(1322, [], ap([], [1319]):rdf:type(:N441, :ind)).
lemma(1323, [], ap([], [1319]):rdf:type(:I441, :ind)).
lemma(1324, [], ap([], [1319]):rdf:type(:J441, :ind)).
lemma(1325, [], ap([], [1322]):rdf:type(:N442, :ind)).
lemma(1326, [], ap([], [1322]):rdf:type(:I442, :ind)).
lemma(1327, [], ap([], [1322]):rdf:type(:J442, :ind)).
lemma(1328, [], ap([], [1325]):rdf:type(:N443, :ind)).
lemma(1329, [], ap([], [1325]):rdf:type(:I443, :ind)).
lemma(1330, [], ap([], [1325]):rdf:type(:J443, :ind)).
lemma(1331, [], ap([], [1328]):rdf:type(:N444, :ind)).
lemma(1332, [], ap([], [1328]):rdf:type(:I444, :ind)).
lemma(1333, [], ap([], [1328]):rdf:type(:J444, :ind)).
lemma(1334, [], ap([], [1331]):rdf:type(:N445, :ind)).
lemma(1335, [], ap([], [1331]):rdf:type(:I445, :ind)).
lemma(1336, [], ap([], [1331]):rdf:type(:J445, :ind)).
lemma(1337, [], ap([], [1334]):rdf:type(:N446, :ind)).
lemma(1338, [], ap([], [1334]):rdf:type(:I446, :ind)).
lemma(1339, [], ap([], [1334]):rdf:type(:J446, :ind)).
lemma(1340, [], ap([], [1337]):rdf:type(:N447, :ind)).
lemma(1341, [], ap([], [1337]):rdf:type(:I447, :ind)).
lemma(1342, [], ap([], [1337]):rdf:type(:J447, :ind)).
lemma(1343, [], ap([], [1340]):rdf:type(:N448, :ind)).
lemma(1344, [], ap([], [1340]):rdf:type(:I448, :ind)).
lemma(1345, [], ap([], [1340]):rdf:type(:J448, :ind)).
lemma(1346, [], ap([], [1343]):rdf:type(:N449, :ind)).
lemma(1347, [], ap([], [1343]):rdf:type(:I449, :ind)).
lemma(1348, [], ap([], [1343]):rdf:type(:J449, :ind)).
lemma(1349, [], ap([], [1346]):rdf:type(:N450, :ind)).
lemma(1350, [], ap([], [1346]):rdf:type(:I450, :ind)).
lemma(1351, [], ap([], [1346]):rdf:type(:J450, :ind)).
lemma(1352, [], ap([], [1349]):rdf:type(:N451, :ind)).
lemma(1353, [], ap([], [1349]):rdf:type(:I451, :ind)).
lemma(1354, [], ap([], [1349]):rdf:type(:J451, :ind)).
lemma(1355, [], ap([], [1352]):rdf:type(:N452, :ind)).
lemma(1356, [], ap([], [1352]):rdf:type(:I452, :ind)).
lemma(1357, [], ap([], [1352]):rdf:type(:J452, :ind)).
lemma(1358, [], ap([], [1355]):rdf:type(:N453, :ind)).
lemma(1359, [], ap([], [1355]):rdf:type(:I453, :ind)).
lemma(1360, [], ap([], [1355]):rdf:type(:J453, :ind)).
lemma(1361, [], ap([], [1358]):rdf:type(:N454, :ind)).
lemma(1362, [], ap([], [1358]):rdf:type(:I454, :ind)).
lemma(1363, [], ap([], [1358]):rdf:type(:J454, :ind)).
lemma(1364, [], ap([], [1361]):rdf:type(:N455, :ind)).
lemma(1365, [], ap([], [1361]):rdf:type(:I455, :ind)).
lemma(1366, [], ap([], [1361]):rdf:type(:J455, :ind)).
lemma(1367, [], ap([], [1364]):rdf:type(:N456, :ind)).
lemma(1368, [], ap([], [1364]):rdf:type(:I456, :ind)).
lemma(1369, [], ap([], [1364]):rdf:type(:J456, :ind)).
lemma(1370, [], ap([], [1367]):rdf:type(:N457, :ind)).
lemma(1371, [], ap([], [1367]):rdf:type(:I457, :ind)).
lemma(1372, [], ap([], [1367]):rdf:type(:J457, :ind)).
lemma(1373, [], ap([], [1370]):rdf:type(:N458, :ind)).
lemma(1374, [], ap([], [1370]):rdf:type(:I458, :ind)).
lemma(1375, [], ap([], [1370]):rdf:type(:J458, :ind)).
lemma(1376, [], ap([], [1373]):rdf:type(:N459, :ind)).
lemma(1377, [], ap([], [1373]):rdf:type(:I459, :ind)).
lemma(1378, [], ap([], [1373]):rdf:type(:J459, :ind)).
lemma(1379, [], ap([], [1376]):rdf:type(:N460, :ind)).
lemma(1380, [], ap([], [1376]):rdf:type(:I460, :ind)).
lemma(1381, [], ap([], [1376]):rdf:type(:J460, :ind)).
lemma(1382, [], ap([], [1379]):rdf:type(:N461, :ind)).
lemma(1383, [], ap([], [1379]):rdf:type(:I461, :ind)).
lemma(1384, [], ap([], [1379]):rdf:type(:J461, :ind)).
lemma(1385, [], ap([], [1382]):rdf:type(:N462, :ind)).
lemma(1386, [], ap([], [1382]):rdf:type(:I462, :ind)).
lemma(1387, [], ap([], [1382]):rdf:type(:J462, :ind)).
lemma(1388, [], ap([], [1385]):rdf:type(:N463, :ind)).
lemma(1389, [], ap([], [1385]):rdf:type(:I463, :ind)).
lemma(1390, [], ap([], [1385]):rdf:type(:J463, :ind)).
lemma(1391, [], ap([], [1388]):rdf:type(:N464, :ind)).
lemma(1392, [], ap([], [1388]):rdf:type(:I464, :ind)).
lemma(1393, [], ap([], [1388]):rdf:type(:J464, :ind)).
lemma(1394, [], ap([], [1391]):rdf:type(:N465, :ind)).
lemma(1395, [], ap([], [1391]):rdf:type(:I465, :ind)).
lemma(1396, [], ap([], [1391]):rdf:type(:J465, :ind)).
lemma(1397, [], ap([], [1394]):rdf:type(:N466, :ind)).
lemma(1398, [], ap([], [1394]):rdf:type(:I466, :ind)).
lemma(1399, [], ap([], [1394]):rdf:type(:J466, :ind)).
lemma(1400, [], ap([], [1397]):rdf:type(:N467, :ind)).
lemma(1401, [], ap([], [1397]):rdf:type(:I467, :ind)).
lemma(1402, [], ap([], [1397]):rdf:type(:J467, :ind)).
lemma(1403, [], ap([], [1400]):rdf:type(:N468, :ind)).
lemma(1404, [], ap([], [1400]):rdf:type(:I468, :ind)).
lemma(1405, [], ap([], [1400]):rdf:type(:J468, :ind)).
lemma(1406, [], ap([], [1403]):rdf:type(:N469, :ind)).
lemma(1407, [], ap([], [1403]):rdf:type(:I469, :ind)).
lemma(1408, [], ap([], [1403]):rdf:type(:J469, :ind)).
lemma(1409, [], ap([], [1406]):rdf:type(:N470, :ind)).
lemma(1410, [], ap([], [1406]):rdf:type(:I470, :ind)).
lemma(1411, [], ap([], [1406]):rdf:type(:J470, :ind)).
lemma(1412, [], ap([], [1409]):rdf:type(:N471, :ind)).
lemma(1413, [], ap([], [1409]):rdf:type(:I471, :ind)).
lemma(1414, [], ap([], [1409]):rdf:type(:J471, :ind)).
lemma(1415, [], ap([], [1412]):rdf:type(:N472, :ind)).
lemma(1416, [], ap([], [1412]):rdf:type(:I472, :ind)).
lemma(1417, [], ap([], [1412]):rdf:type(:J472, :ind)).
lemma(1418, [], ap([], [1415]):rdf:type(:N473, :ind)).
lemma(1419, [], ap([], [1415]):rdf:type(:I473, :ind)).
lemma(1420, [], ap([], [1415]):rdf:type(:J473, :ind)).
lemma(1421, [], ap([], [1418]):rdf:type(:N474, :ind)).
lemma(1422, [], ap([], [1418]):rdf:type(:I474, :ind)).
lemma(1423, [], ap([], [1418]):rdf:type(:J474, :ind)).
lemma(1424, [], ap([], [1421]):rdf:type(:N475, :ind)).
lemma(1425, [], ap([], [1421]):rdf:type(:I475, :ind)).
lemma(1426, [], ap([], [1421]):rdf:type(:J475, :ind)).
lemma(1427, [], ap([], [1424]):rdf:type(:N476, :ind)).
lemma(1428, [], ap([], [1424]):rdf:type(:I476, :ind)).
lemma(1429, [], ap([], [1424]):rdf:type(:J476, :ind)).
lemma(1430, [], ap([], [1427]):rdf:type(:N477, :ind)).
lemma(1431, [], ap([], [1427]):rdf:type(:I477, :ind)).
lemma(1432, [], ap([], [1427]):rdf:type(:J477, :ind)).
lemma(1433, [], ap([], [1430]):rdf:type(:N478, :ind)).
lemma(1434, [], ap([], [1430]):rdf:type(:I478, :ind)).
lemma(1435, [], ap([], [1430]):rdf:type(:J478, :ind)).
lemma(1436, [], ap([], [1433]):rdf:type(:N479, :ind)).
lemma(1437, [], ap([], [1433]):rdf:type(:I479, :ind)).
lemma(1438, [], ap([], [1433]):rdf:type(:J479, :ind)).
lemma(1439, [], ap([], [1436]):rdf:type(:N480, :ind)).
lemma(1440, [], ap([], [1436]):rdf:type(:I480, :ind)).
lemma(1441, [], ap([], [1436]):rdf:type(:J480, :ind)).
lemma(1442, [], ap([], [1439]):rdf:type(:N481, :ind)).
lemma(1443, [], ap([], [1439]):rdf:type(:I481, :ind)).
lemma(1444, [], ap([], [1439]):rdf:type(:J481, :ind)).
lemma(1445, [], ap([], [1442]):rdf:type(:N482, :ind)).
lemma(1446, [], ap([], [1442]):rdf:type(:I482, :ind)).
lemma(1447, [], ap([], [1442]):rdf:type(:J482, :ind)).
lemma(1448, [], ap([], [1445]):rdf:type(:N483, :ind)).
lemma(1449, [], ap([], [1445]):rdf:type(:I483, :ind)).
lemma(1450, [], ap([], [1445]):rdf:type(:J483, :ind)).
lemma(1451, [], ap([], [1448]):rdf:type(:N484, :ind)).
lemma(1452, [], ap([], [1448]):rdf:type(:I484, :ind)).
lemma(1453, [], ap([], [1448]):rdf:type(:J484, :ind)).
lemma(1454, [], ap([], [1451]):rdf:type(:N485, :ind)).
lemma(1455, [], ap([], [1451]):rdf:type(:I485, :ind)).
lemma(1456, [], ap([], [1451]):rdf:type(:J485, :ind)).
lemma(1457, [], ap([], [1454]):rdf:type(:N486, :ind)).
lemma(1458, [], ap([], [1454]):rdf:type(:I486, :ind)).
lemma(1459, [], ap([], [1454]):rdf:type(:J486, :ind)).
lemma(1460, [], ap([], [1457]):rdf:type(:N487, :ind)).
lemma(1461, [], ap([], [1457]):rdf:type(:I487, :ind)).
lemma(1462, [], ap([], [1457]):rdf:type(:J487, :ind)).
lemma(1463, [], ap([], [1460]):rdf:type(:N488, :ind)).
lemma(1464, [], ap([], [1460]):rdf:type(:I488, :ind)).
lemma(1465, [], ap([], [1460]):rdf:type(:J488, :ind)).
lemma(1466, [], ap([], [1463]):rdf:type(:N489, :ind)).
lemma(1467, [], ap([], [1463]):rdf:type(:I489, :ind)).
lemma(1468, [], ap([], [1463]):rdf:type(:J489, :ind)).
lemma(1469, [], ap([], [1466]):rdf:type(:N490, :ind)).
lemma(1470, [], ap([], [1466]):rdf:type(:I490, :ind)).
lemma(1471, [], ap([], [1466]):rdf:type(:J490, :ind)).
lemma(1472, [], ap([], [1469]):rdf:type(:N491, :ind)).
lemma(1473, [], ap([], [1469]):rdf:type(:I491, :ind)).
lemma(1474, [], ap([], [1469]):rdf:type(:J491, :ind)).
lemma(1475, [], ap([], [1472]):rdf:type(:N492, :ind)).
lemma(1476, [], ap([], [1472]):rdf:type(:I492, :ind)).
lemma(1477, [], ap([], [1472]):rdf:type(:J492, :ind)).
lemma(1478, [], ap([], [1475]):rdf:type(:N493, :ind)).
lemma(1479, [], ap([], [1475]):rdf:type(:I493, :ind)).
lemma(1480, [], ap([], [1475]):rdf:type(:J493, :ind)).
lemma(1481, [], ap([], [1478]):rdf:type(:N494, :ind)).
lemma(1482, [], ap([], [1478]):rdf:type(:I494, :ind)).
lemma(1483, [], ap([], [1478]):rdf:type(:J494, :ind)).
lemma(1484, [], ap([], [1481]):rdf:type(:N495, :ind)).
lemma(1485, [], ap([], [1481]):rdf:type(:I495, :ind)).
lemma(1486, [], ap([], [1481]):rdf:type(:J495, :ind)).
lemma(1487, [], ap([], [1484]):rdf:type(:N496, :ind)).
lemma(1488, [], ap([], [1484]):rdf:type(:I496, :ind)).
lemma(1489, [], ap([], [1484]):rdf:type(:J496, :ind)).
lemma(1490, [], ap([], [1487]):rdf:type(:N497, :ind)).
lemma(1491, [], ap([], [1487]):rdf:type(:I497, :ind)).
lemma(1492, [], ap([], [1487]):rdf:type(:J497, :ind)).
lemma(1493, [], ap([], [1490]):rdf:type(:N498, :ind)).
lemma(1494, [], ap([], [1490]):rdf:type(:I498, :ind)).
lemma(1495, [], ap([], [1490]):rdf:type(:J498, :ind)).
lemma(1496, [], ap([], [1493]):rdf:type(:N499, :ind)).
lemma(1497, [], ap([], [1493]):rdf:type(:I499, :ind)).
lemma(1498, [], ap([], [1493]):rdf:type(:J499, :ind)).
lemma(1499, [], ap([], [1496]):rdf:type(:N500, :ind)).
lemma(1500, [], ap([], [1496]):rdf:type(:I500, :ind)).
lemma(1501, [], ap([], [1496]):rdf:type(:J500, :ind)).
lemma(1502, [], ap([], [1499]):rdf:type(:N501, :ind)).
lemma(1503, [], ap([], [1499]):rdf:type(:I501, :ind)).
lemma(1504, [], ap([], [1499]):rdf:type(:J501, :ind)).
lemma(1505, [], ap([], [1502]):rdf:type(:N502, :ind)).
lemma(1506, [], ap([], [1502]):rdf:type(:I502, :ind)).
lemma(1507, [], ap([], [1502]):rdf:type(:J502, :ind)).
lemma(1508, [], ap([], [1505]):rdf:type(:N503, :ind)).
lemma(1509, [], ap([], [1505]):rdf:type(:I503, :ind)).
lemma(1510, [], ap([], [1505]):rdf:type(:J503, :ind)).
lemma(1511, [], ap([], [1508]):rdf:type(:N504, :ind)).
lemma(1512, [], ap([], [1508]):rdf:type(:I504, :ind)).
lemma(1513, [], ap([], [1508]):rdf:type(:J504, :ind)).
lemma(1514, [], ap([], [1511]):rdf:type(:N505, :ind)).
lemma(1515, [], ap([], [1511]):rdf:type(:I505, :ind)).
lemma(1516, [], ap([], [1511]):rdf:type(:J505, :ind)).
lemma(1517, [], ap([], [1514]):rdf:type(:N506, :ind)).
lemma(1518, [], ap([], [1514]):rdf:type(:I506, :ind)).
lemma(1519, [], ap([], [1514]):rdf:type(:J506, :ind)).
lemma(1520, [], ap([], [1517]):rdf:type(:N507, :ind)).
lemma(1521, [], ap([], [1517]):rdf:type(:I507, :ind)).
lemma(1522, [], ap([], [1517]):rdf:type(:J507, :ind)).
lemma(1523, [], ap([], [1520]):rdf:type(:N508, :ind)).
lemma(1524, [], ap([], [1520]):rdf:type(:I508, :ind)).
lemma(1525, [], ap([], [1520]):rdf:type(:J508, :ind)).
lemma(1526, [], ap([], [1523]):rdf:type(:N509, :ind)).
lemma(1527, [], ap([], [1523]):rdf:type(:I509, :ind)).
lemma(1528, [], ap([], [1523]):rdf:type(:J509, :ind)).
lemma(1529, [], ap([], [1526]):rdf:type(:N510, :ind)).
lemma(1530, [], ap([], [1526]):rdf:type(:I510, :ind)).
lemma(1531, [], ap([], [1526]):rdf:type(:J510, :ind)).
lemma(1532, [], ap([], [1529]):rdf:type(:N511, :ind)).
lemma(1533, [], ap([], [1529]):rdf:type(:I511, :ind)).
lemma(1534, [], ap([], [1529]):rdf:type(:J511, :ind)).
lemma(1535, [], ap([], [1532]):rdf:type(:N512, :ind)).
lemma(1536, [], ap([], [1532]):rdf:type(:I512, :ind)).
lemma(1537, [], ap([], [1532]):rdf:type(:J512, :ind)).
lemma(1538, [], ap([], [1535]):rdf:type(:N513, :ind)).
lemma(1539, [], ap([], [1535]):rdf:type(:I513, :ind)).
lemma(1540, [], ap([], [1535]):rdf:type(:J513, :ind)).
lemma(1541, [], ap([], [1538]):rdf:type(:N514, :ind)).
lemma(1542, [], ap([], [1538]):rdf:type(:I514, :ind)).
lemma(1543, [], ap([], [1538]):rdf:type(:J514, :ind)).
lemma(1544, [], ap([], [1541]):rdf:type(:N515, :ind)).
lemma(1545, [], ap([], [1541]):rdf:type(:I515, :ind)).
lemma(1546, [], ap([], [1541]):rdf:type(:J515, :ind)).
lemma(1547, [], ap([], [1544]):rdf:type(:N516, :ind)).
lemma(1548, [], ap([], [1544]):rdf:type(:I516, :ind)).
lemma(1549, [], ap([], [1544]):rdf:type(:J516, :ind)).
lemma(1550, [], ap([], [1547]):rdf:type(:N517, :ind)).
lemma(1551, [], ap([], [1547]):rdf:type(:I517, :ind)).
lemma(1552, [], ap([], [1547]):rdf:type(:J517, :ind)).
lemma(1553, [], ap([], [1550]):rdf:type(:N518, :ind)).
lemma(1554, [], ap([], [1550]):rdf:type(:I518, :ind)).
lemma(1555, [], ap([], [1550]):rdf:type(:J518, :ind)).
lemma(1556, [], ap([], [1553]):rdf:type(:N519, :ind)).
lemma(1557, [], ap([], [1553]):rdf:type(:I519, :ind)).
lemma(1558, [], ap([], [1553]):rdf:type(:J519, :ind)).
lemma(1559, [], ap([], [1556]):rdf:type(:N520, :ind)).
lemma(1560, [], ap([], [1556]):rdf:type(:I520, :ind)).
lemma(1561, [], ap([], [1556]):rdf:type(:J520, :ind)).
lemma(1562, [], ap([], [1559]):rdf:type(:N521, :ind)).
lemma(1563, [], ap([], [1559]):rdf:type(:I521, :ind)).
lemma(1564, [], ap([], [1559]):rdf:type(:J521, :ind)).
lemma(1565, [], ap([], [1562]):rdf:type(:N522, :ind)).
lemma(1566, [], ap([], [1562]):rdf:type(:I522, :ind)).
lemma(1567, [], ap([], [1562]):rdf:type(:J522, :ind)).
lemma(1568, [], ap([], [1565]):rdf:type(:N523, :ind)).
lemma(1569, [], ap([], [1565]):rdf:type(:I523, :ind)).
lemma(1570, [], ap([], [1565]):rdf:type(:J523, :ind)).
lemma(1571, [], ap([], [1568]):rdf:type(:N524, :ind)).
lemma(1572, [], ap([], [1568]):rdf:type(:I524, :ind)).
lemma(1573, [], ap([], [1568]):rdf:type(:J524, :ind)).
lemma(1574, [], ap([], [1571]):rdf:type(:N525, :ind)).
lemma(1575, [], ap([], [1571]):rdf:type(:I525, :ind)).
lemma(1576, [], ap([], [1571]):rdf:type(:J525, :ind)).
lemma(1577, [], ap([], [1574]):rdf:type(:N526, :ind)).
lemma(1578, [], ap([], [1574]):rdf:type(:I526, :ind)).
lemma(1579, [], ap([], [1574]):rdf:type(:J526, :ind)).
lemma(1580, [], ap([], [1577]):rdf:type(:N527, :ind)).
lemma(1581, [], ap([], [1577]):rdf:type(:I527, :ind)).
lemma(1582, [], ap([], [1577]):rdf:type(:J527, :ind)).
lemma(1583, [], ap([], [1580]):rdf:type(:N528, :ind)).
lemma(1584, [], ap([], [1580]):rdf:type(:I528, :ind)).
lemma(1585, [], ap([], [1580]):rdf:type(:J528, :ind)).
lemma(1586, [], ap([], [1583]):rdf:type(:N529, :ind)).
lemma(1587, [], ap([], [1583]):rdf:type(:I529, :ind)).
lemma(1588, [], ap([], [1583]):rdf:type(:J529, :ind)).
lemma(1589, [], ap([], [1586]):rdf:type(:N530, :ind)).
lemma(1590, [], ap([], [1586]):rdf:type(:I530, :ind)).
lemma(1591, [], ap([], [1586]):rdf:type(:J530, :ind)).
lemma(1592, [], ap([], [1589]):rdf:type(:N531, :ind)).
lemma(1593, [], ap([], [1589]):rdf:type(:I531, :ind)).
lemma(1594, [], ap([], [1589]):rdf:type(:J531, :ind)).
lemma(1595, [], ap([], [1592]):rdf:type(:N532, :ind)).
lemma(1596, [], ap([], [1592]):rdf:type(:I532, :ind)).
lemma(1597, [], ap([], [1592]):rdf:type(:J532, :ind)).
lemma(1598, [], ap([], [1595]):rdf:type(:N533, :ind)).
lemma(1599, [], ap([], [1595]):rdf:type(:I533, :ind)).
lemma(1600, [], ap([], [1595]):rdf:type(:J533, :ind)).
lemma(1601, [], ap([], [1598]):rdf:type(:N534, :ind)).
lemma(1602, [], ap([], [1598]):rdf:type(:I534, :ind)).
lemma(1603, [], ap([], [1598]):rdf:type(:J534, :ind)).
lemma(1604, [], ap([], [1601]):rdf:type(:N535, :ind)).
lemma(1605, [], ap([], [1601]):rdf:type(:I535, :ind)).
lemma(1606, [], ap([], [1601]):rdf:type(:J535, :ind)).
lemma(1607, [], ap([], [1604]):rdf:type(:N536, :ind)).
lemma(1608, [], ap([], [1604]):rdf:type(:I536, :ind)).
lemma(1609, [], ap([], [1604]):rdf:type(:J536, :ind)).
lemma(1610, [], ap([], [1607]):rdf:type(:N537, :ind)).
lemma(1611, [], ap([], [1607]):rdf:type(:I537, :ind)).
lemma(1612, [], ap([], [1607]):rdf:type(:J537, :ind)).
lemma(1613, [], ap([], [1610]):rdf:type(:N538, :ind)).
lemma(1614, [], ap([], [1610]):rdf:type(:I538, :ind)).
lemma(1615, [], ap([], [1610]):rdf:type(:J538, :ind)).
lemma(1616, [], ap([], [1613]):rdf:type(:N539, :ind)).
lemma(1617, [], ap([], [1613]):rdf:type(:I539, :ind)).
lemma(1618, [], ap([], [1613]):rdf:type(:J539, :ind)).
lemma(1619, [], ap([], [1616]):rdf:type(:N540, :ind)).
lemma(1620, [], ap([], [1616]):rdf:type(:I540, :ind)).
lemma(1621, [], ap([], [1616]):rdf:type(:J540, :ind)).
lemma(1622, [], ap([], [1619]):rdf:type(:N541, :ind)).
lemma(1623, [], ap([], [1619]):rdf:type(:I541, :ind)).
lemma(1624, [], ap([], [1619]):rdf:type(:J541, :ind)).
lemma(1625, [], ap([], [1622]):rdf:type(:N542, :ind)).
lemma(1626, [], ap([], [1622]):rdf:type(:I542, :ind)).
lemma(1627, [], ap([], [1622]):rdf:type(:J542, :ind)).
lemma(1628, [], ap([], [1625]):rdf:type(:N543, :ind)).
lemma(1629, [], ap([], [1625]):rdf:type(:I543, :ind)).
lemma(1630, [], ap([], [1625]):rdf:type(:J543, :ind)).
lemma(1631, [], ap([], [1628]):rdf:type(:N544, :ind)).
lemma(1632, [], ap([], [1628]):rdf:type(:I544, :ind)).
lemma(1633, [], ap([], [1628]):rdf:type(:J544, :ind)).
lemma(1634, [], ap([], [1631]):rdf:type(:N545, :ind)).
lemma(1635, [], ap([], [1631]):rdf:type(:I545, :ind)).
lemma(1636, [], ap([], [1631]):rdf:type(:J545, :ind)).
lemma(1637, [], ap([], [1634]):rdf:type(:N546, :ind)).
lemma(1638, [], ap([], [1634]):rdf:type(:I546, :ind)).
lemma(1639, [], ap([], [1634]):rdf:type(:J546, :ind)).
lemma(1640, [], ap([], [1637]):rdf:type(:N547, :ind)).
lemma(1641, [], ap([], [1637]):rdf:type(:I547, :ind)).
lemma(1642, [], ap([], [1637]):rdf:type(:J547, :ind)).
lemma(1643, [], ap([], [1640]):rdf:type(:N548, :ind)).
lemma(1644, [], ap([], [1640]):rdf:type(:I548, :ind)).
lemma(1645, [], ap([], [1640]):rdf:type(:J548, :ind)).
lemma(1646, [], ap([], [1643]):rdf:type(:N549, :ind)).
lemma(1647, [], ap([], [1643]):rdf:type(:I549, :ind)).
lemma(1648, [], ap([], [1643]):rdf:type(:J549, :ind)).
lemma(1649, [], ap([], [1646]):rdf:type(:N550, :ind)).
lemma(1650, [], ap([], [1646]):rdf:type(:I550, :ind)).
lemma(1651, [], ap([], [1646]):rdf:type(:J550, :ind)).
lemma(1652, [], ap([], [1649]):rdf:type(:N551, :ind)).
lemma(1653, [], ap([], [1649]):rdf:type(:I551, :ind)).
lemma(1654, [], ap([], [1649]):rdf:type(:J551, :ind)).
lemma(1655, [], ap([], [1652]):rdf:type(:N552, :ind)).
lemma(1656, [], ap([], [1652]):rdf:type(:I552, :ind)).
lemma(1657, [], ap([], [1652]):rdf:type(:J552, :ind)).
lemma(1658, [], ap([], [1655]):rdf:type(:N553, :ind)).
lemma(1659, [], ap([], [1655]):rdf:type(:I553, :ind)).
lemma(1660, [], ap([], [1655]):rdf:type(:J553, :ind)).
lemma(1661, [], ap([], [1658]):rdf:type(:N554, :ind)).
lemma(1662, [], ap([], [1658]):rdf:type(:I554, :ind)).
lemma(1663, [], ap([], [1658]):rdf:type(:J554, :ind)).
lemma(1664, [], ap([], [1661]):rdf:type(:N555, :ind)).
lemma(1665, [], ap([], [1661]):rdf:type(:I555, :ind)).
lemma(1666, [], ap([], [1661]):rdf:type(:J555, :ind)).
lemma(1667, [], ap([], [1664]):rdf:type(:N556, :ind)).
lemma(1668, [], ap([], [1664]):rdf:type(:I556, :ind)).
lemma(1669, [], ap([], [1664]):rdf:type(:J556, :ind)).
lemma(1670, [], ap([], [1667]):rdf:type(:N557, :ind)).
lemma(1671, [], ap([], [1667]):rdf:type(:I557, :ind)).
lemma(1672, [], ap([], [1667]):rdf:type(:J557, :ind)).
lemma(1673, [], ap([], [1670]):rdf:type(:N558, :ind)).
lemma(1674, [], ap([], [1670]):rdf:type(:I558, :ind)).
lemma(1675, [], ap([], [1670]):rdf:type(:J558, :ind)).
lemma(1676, [], ap([], [1673]):rdf:type(:N559, :ind)).
lemma(1677, [], ap([], [1673]):rdf:type(:I559, :ind)).
lemma(1678, [], ap([], [1673]):rdf:type(:J559, :ind)).
lemma(1679, [], ap([], [1676]):rdf:type(:N560, :ind)).
lemma(1680, [], ap([], [1676]):rdf:type(:I560, :ind)).
lemma(1681, [], ap([], [1676]):rdf:type(:J560, :ind)).
lemma(1682, [], ap([], [1679]):rdf:type(:N561, :ind)).
lemma(1683, [], ap([], [1679]):rdf:type(:I561, :ind)).
lemma(1684, [], ap([], [1679]):rdf:type(:J561, :ind)).
lemma(1685, [], ap([], [1682]):rdf:type(:N562, :ind)).
lemma(1686, [], ap([], [1682]):rdf:type(:I562, :ind)).
lemma(1687, [], ap([], [1682]):rdf:type(:J562, :ind)).
lemma(1688, [], ap([], [1685]):rdf:type(:N563, :ind)).
lemma(1689, [], ap([], [1685]):rdf:type(:I563, :ind)).
lemma(1690, [], ap([], [1685]):rdf:type(:J563, :ind)).
lemma(1691, [], ap([], [1688]):rdf:type(:N564, :ind)).
lemma(1692, [], ap([], [1688]):rdf:type(:I564, :ind)).
lemma(1693, [], ap([], [1688]):rdf:type(:J564, :ind)).
lemma(1694, [], ap([], [1691]):rdf:type(:N565, :ind)).
lemma(1695, [], ap([], [1691]):rdf:type(:I565, :ind)).
lemma(1696, [], ap([], [1691]):rdf:type(:J565, :ind)).
lemma(1697, [], ap([], [1694]):rdf:type(:N566, :ind)).
lemma(1698, [], ap([], [1694]):rdf:type(:I566, :ind)).
lemma(1699, [], ap([], [1694]):rdf:type(:J566, :ind)).
lemma(1700, [], ap([], [1697]):rdf:type(:N567, :ind)).
lemma(1701, [], ap([], [1697]):rdf:type(:I567, :ind)).
lemma(1702, [], ap([], [1697]):rdf:type(:J567, :ind)).
lemma(1703, [], ap([], [1700]):rdf:type(:N568, :ind)).
lemma(1704, [], ap([], [1700]):rdf:type(:I568, :ind)).
lemma(1705, [], ap([], [1700]):rdf:type(:J568, :ind)).
lemma(1706, [], ap([], [1703]):rdf:type(:N569, :ind)).
lemma(1707, [], ap([], [1703]):rdf:type(:I569, :ind)).
lemma(1708, [], ap([], [1703]):rdf:type(:J569, :ind)).
lemma(1709, [], ap([], [1706]):rdf:type(:N570, :ind)).
lemma(1710, [], ap([], [1706]):rdf:type(:I570, :ind)).
lemma(1711, [], ap([], [1706]):rdf:type(:J570, :ind)).
lemma(1712, [], ap([], [1709]):rdf:type(:N571, :ind)).
lemma(1713, [], ap([], [1709]):rdf:type(:I571, :ind)).
lemma(1714, [], ap([], [1709]):rdf:type(:J571, :ind)).
lemma(1715, [], ap([], [1712]):rdf:type(:N572, :ind)).
lemma(1716, [], ap([], [1712]):rdf:type(:I572, :ind)).
lemma(1717, [], ap([], [1712]):rdf:type(:J572, :ind)).
lemma(1718, [], ap([], [1715]):rdf:type(:N573, :ind)).
lemma(1719, [], ap([], [1715]):rdf:type(:I573, :ind)).
lemma(1720, [], ap([], [1715]):rdf:type(:J573, :ind)).
lemma(1721, [], ap([], [1718]):rdf:type(:N574, :ind)).
lemma(1722, [], ap([], [1718]):rdf:type(:I574, :ind)).
lemma(1723, [], ap([], [1718]):rdf:type(:J574, :ind)).
lemma(1724, [], ap([], [1721]):rdf:type(:N575, :ind)).
lemma(1725, [], ap([], [1721]):rdf:type(:I575, :ind)).
lemma(1726, [], ap([], [1721]):rdf:type(:J575, :ind)).
lemma(1727, [], ap([], [1724]):rdf:type(:N576, :ind)).
lemma(1728, [], ap([], [1724]):rdf:type(:I576, :ind)).
lemma(1729, [], ap([], [1724]):rdf:type(:J576, :ind)).
lemma(1730, [], ap([], [1727]):rdf:type(:N577, :ind)).
lemma(1731, [], ap([], [1727]):rdf:type(:I577, :ind)).
lemma(1732, [], ap([], [1727]):rdf:type(:J577, :ind)).
lemma(1733, [], ap([], [1730]):rdf:type(:N578, :ind)).
lemma(1734, [], ap([], [1730]):rdf:type(:I578, :ind)).
lemma(1735, [], ap([], [1730]):rdf:type(:J578, :ind)).
lemma(1736, [], ap([], [1733]):rdf:type(:N579, :ind)).
lemma(1737, [], ap([], [1733]):rdf:type(:I579, :ind)).
lemma(1738, [], ap([], [1733]):rdf:type(:J579, :ind)).
lemma(1739, [], ap([], [1736]):rdf:type(:N580, :ind)).
lemma(1740, [], ap([], [1736]):rdf:type(:I580, :ind)).
lemma(1741, [], ap([], [1736]):rdf:type(:J580, :ind)).
lemma(1742, [], ap([], [1739]):rdf:type(:N581, :ind)).
lemma(1743, [], ap([], [1739]):rdf:type(:I581, :ind)).
lemma(1744, [], ap([], [1739]):rdf:type(:J581, :ind)).
lemma(1745, [], ap([], [1742]):rdf:type(:N582, :ind)).
lemma(1746, [], ap([], [1742]):rdf:type(:I582, :ind)).
lemma(1747, [], ap([], [1742]):rdf:type(:J582, :ind)).
lemma(1748, [], ap([], [1745]):rdf:type(:N583, :ind)).
lemma(1749, [], ap([], [1745]):rdf:type(:I583, :ind)).
lemma(1750, [], ap([], [1745]):rdf:type(:J583, :ind)).
lemma(1751, [], ap([], [1748]):rdf:type(:N584, :ind)).
lemma(1752, [], ap([], [1748]):rdf:type(:I584, :ind)).
lemma(1753, [], ap([], [1748]):rdf:type(:J584, :ind)).
lemma(1754, [], ap([], [1751]):rdf:type(:N585, :ind)).
lemma(1755, [], ap([], [1751]):rdf:type(:I585, :ind)).
lemma(1756, [], ap([], [1751]):rdf:type(:J585, :ind)).
lemma(1757, [], ap([], [1754]):rdf:type(:N586, :ind)).
lemma(1758, [], ap([], [1754]):rdf:type(:I586, :ind)).
lemma(1759, [], ap([], [1754]):rdf:type(:J586, :ind)).
lemma(1760, [], ap([], [1757]):rdf:type(:N587, :ind)).
lemma(1761, [], ap([], [1757]):rdf:type(:I587, :ind)).
lemma(1762, [], ap([], [1757]):rdf:type(:J587, :ind)).
lemma(1763, [], ap([], [1760]):rdf:type(:N588, :ind)).
lemma(1764, [], ap([], [1760]):rdf:type(:I588, :ind)).
lemma(1765, [], ap([], [1760]):rdf:type(:J588, :ind)).
lemma(1766, [], ap([], [1763]):rdf:type(:N589, :ind)).
lemma(1767, [], ap([], [1763]):rdf:type(:I589, :ind)).
lemma(1768, [], ap([], [1763]):rdf:type(:J589, :ind)).
lemma(1769, [], ap([], [1766]):rdf:type(:N590, :ind)).
lemma(1770, [], ap([], [1766]):rdf:type(:I590, :ind)).
lemma(1771, [], ap([], [1766]):rdf:type(:J590, :ind)).
lemma(1772, [], ap([], [1769]):rdf:type(:N591, :ind)).
lemma(1773, [], ap([], [1769]):rdf:type(:I591, :ind)).
lemma(1774, [], ap([], [1769]):rdf:type(:J591, :ind)).
lemma(1775, [], ap([], [1772]):rdf:type(:N592, :ind)).
lemma(1776, [], ap([], [1772]):rdf:type(:I592, :ind)).
lemma(1777, [], ap([], [1772]):rdf:type(:J592, :ind)).
lemma(1778, [], ap([], [1775]):rdf:type(:N593, :ind)).
lemma(1779, [], ap([], [1775]):rdf:type(:I593, :ind)).
lemma(1780, [], ap([], [1775]):rdf:type(:J593, :ind)).
lemma(1781, [], ap([], [1778]):rdf:type(:N594, :ind)).
lemma(1782, [], ap([], [1778]):rdf:type(:I594, :ind)).
lemma(1783, [], ap([], [1778]):rdf:type(:J594, :ind)).
lemma(1784, [], ap([], [1781]):rdf:type(:N595, :ind)).
lemma(1785, [], ap([], [1781]):rdf:type(:I595, :ind)).
lemma(1786, [], ap([], [1781]):rdf:type(:J595, :ind)).
lemma(1787, [], ap([], [1784]):rdf:type(:N596, :ind)).
lemma(1788, [], ap([], [1784]):rdf:type(:I596, :ind)).
lemma(1789, [], ap([], [1784]):rdf:type(:J596, :ind)).
lemma(1790, [], ap([], [1787]):rdf:type(:N597, :ind)).
lemma(1791, [], ap([], [1787]):rdf:type(:I597, :ind)).
lemma(1792, [], ap([], [1787]):rdf:type(:J597, :ind)).
lemma(1793, [], ap([], [1790]):rdf:type(:N598, :ind)).
lemma(1794, [], ap([], [1790]):rdf:type(:I598, :ind)).
lemma(1795, [], ap([], [1790]):rdf:type(:J598, :ind)).
lemma(1796, [], ap([], [1793]):rdf:type(:N599, :ind)).
lemma(1797, [], ap([], [1793]):rdf:type(:I599, :ind)).
lemma(1798, [], ap([], [1793]):rdf:type(:J599, :ind)).
lemma(1799, [], ap([], [1796]):rdf:type(:N600, :ind)).
lemma(1800, [], ap([], [1796]):rdf:type(:I600, :ind)).
lemma(1801, [], ap([], [1796]):rdf:type(:J600, :ind)).
lemma(1802, [], ap([], [1799]):rdf:type(:N601, :ind)).
lemma(1803, [], ap([], [1799]):rdf:type(:I601, :ind)).
lemma(1804, [], ap([], [1799]):rdf:type(:J601, :ind)).
lemma(1805, [], ap([], [1802]):rdf:type(:N602, :ind)).
lemma(1806, [], ap([], [1802]):rdf:type(:I602, :ind)).
lemma(1807, [], ap([], [1802]):rdf:type(:J602, :ind)).
lemma(1808, [], ap([], [1805]):rdf:type(:N603, :ind)).
lemma(1809, [], ap([], [1805]):rdf:type(:I603, :ind)).
lemma(1810, [], ap([], [1805]):rdf:type(:J603, :ind)).
lemma(1811, [], ap([], [1808]):rdf:type(:N604, :ind)).
lemma(1812, [], ap([], [1808]):rdf:type(:I604, :ind)).
lemma(1813, [], ap([], [1808]):rdf:type(:J604, :ind)).
lemma(1814, [], ap([], [1811]):rdf:type(:N605, :ind)).
lemma(1815, [], ap([], [1811]):rdf:type(:I605, :ind)).
lemma(1816, [], ap([], [1811]):rdf:type(:J605, :ind)).
lemma(1817, [], ap([], [1814]):rdf:type(:N606, :ind)).
lemma(1818, [], ap([], [1814]):rdf:type(:I606, :ind)).
lemma(1819, [], ap([], [1814]):rdf:type(:J606, :ind)).
lemma(1820, [], ap([], [1817]):rdf:type(:N607, :ind)).
lemma(1821, [], ap([], [1817]):rdf:type(:I607, :ind)).
lemma(1822, [], ap([], [1817]):rdf:type(:J607, :ind)).
lemma(1823, [], ap([], [1820]):rdf:type(:N608, :ind)).
lemma(1824, [], ap([], [1820]):rdf:type(:I608, :ind)).
lemma(1825, [], ap([], [1820]):rdf:type(:J608, :ind)).
lemma(1826, [], ap([], [1823]):rdf:type(:N609, :ind)).
lemma(1827, [], ap([], [1823]):rdf:type(:I609, :ind)).
lemma(1828, [], ap([], [1823]):rdf:type(:J609, :ind)).
lemma(1829, [], ap([], [1826]):rdf:type(:N610, :ind)).
lemma(1830, [], ap([], [1826]):rdf:type(:I610, :ind)).
lemma(1831, [], ap([], [1826]):rdf:type(:J610, :ind)).
lemma(1832, [], ap([], [1829]):rdf:type(:N611, :ind)).
lemma(1833, [], ap([], [1829]):rdf:type(:I611, :ind)).
lemma(1834, [], ap([], [1829]):rdf:type(:J611, :ind)).
lemma(1835, [], ap([], [1832]):rdf:type(:N612, :ind)).
lemma(1836, [], ap([], [1832]):rdf:type(:I612, :ind)).
lemma(1837, [], ap([], [1832]):rdf:type(:J612, :ind)).
lemma(1838, [], ap([], [1835]):rdf:type(:N613, :ind)).
lemma(1839, [], ap([], [1835]):rdf:type(:I613, :ind)).
lemma(1840, [], ap([], [1835]):rdf:type(:J613, :ind)).
lemma(1841, [], ap([], [1838]):rdf:type(:N614, :ind)).
lemma(1842, [], ap([], [1838]):rdf:type(:I614, :ind)).
lemma(1843, [], ap([], [1838]):rdf:type(:J614, :ind)).
lemma(1844, [], ap([], [1841]):rdf:type(:N615, :ind)).
lemma(1845, [], ap([], [1841]):rdf:type(:I615, :ind)).
lemma(1846, [], ap([], [1841]):rdf:type(:J615, :ind)).
lemma(1847, [], ap([], [1844]):rdf:type(:N616, :ind)).
lemma(1848, [], ap([], [1844]):rdf:type(:I616, :ind)).
lemma(1849, [], ap([], [1844]):rdf:type(:J616, :ind)).
lemma(1850, [], ap([], [1847]):rdf:type(:N617, :ind)).
lemma(1851, [], ap([], [1847]):rdf:type(:I617, :ind)).
lemma(1852, [], ap([], [1847]):rdf:type(:J617, :ind)).
lemma(1853, [], ap([], [1850]):rdf:type(:N618, :ind)).
lemma(1854, [], ap([], [1850]):rdf:type(:I618, :ind)).
lemma(1855, [], ap([], [1850]):rdf:type(:J618, :ind)).
lemma(1856, [], ap([], [1853]):rdf:type(:N619, :ind)).
lemma(1857, [], ap([], [1853]):rdf:type(:I619, :ind)).
lemma(1858, [], ap([], [1853]):rdf:type(:J619, :ind)).
lemma(1859, [], ap([], [1856]):rdf:type(:N620, :ind)).
lemma(1860, [], ap([], [1856]):rdf:type(:I620, :ind)).
lemma(1861, [], ap([], [1856]):rdf:type(:J620, :ind)).
lemma(1862, [], ap([], [1859]):rdf:type(:N621, :ind)).
lemma(1863, [], ap([], [1859]):rdf:type(:I621, :ind)).
lemma(1864, [], ap([], [1859]):rdf:type(:J621, :ind)).
lemma(1865, [], ap([], [1862]):rdf:type(:N622, :ind)).
lemma(1866, [], ap([], [1862]):rdf:type(:I622, :ind)).
lemma(1867, [], ap([], [1862]):rdf:type(:J622, :ind)).
lemma(1868, [], ap([], [1865]):rdf:type(:N623, :ind)).
lemma(1869, [], ap([], [1865]):rdf:type(:I623, :ind)).
lemma(1870, [], ap([], [1865]):rdf:type(:J623, :ind)).
lemma(1871, [], ap([], [1868]):rdf:type(:N624, :ind)).
lemma(1872, [], ap([], [1868]):rdf:type(:I624, :ind)).
lemma(1873, [], ap([], [1868]):rdf:type(:J624, :ind)).
lemma(1874, [], ap([], [1871]):rdf:type(:N625, :ind)).
lemma(1875, [], ap([], [1871]):rdf:type(:I625, :ind)).
lemma(1876, [], ap([], [1871]):rdf:type(:J625, :ind)).
lemma(1877, [], ap([], [1874]):rdf:type(:N626, :ind)).
lemma(1878, [], ap([], [1874]):rdf:type(:I626, :ind)).
lemma(1879, [], ap([], [1874]):rdf:type(:J626, :ind)).
lemma(1880, [], ap([], [1877]):rdf:type(:N627, :ind)).
lemma(1881, [], ap([], [1877]):rdf:type(:I627, :ind)).
lemma(1882, [], ap([], [1877]):rdf:type(:J627, :ind)).
lemma(1883, [], ap([], [1880]):rdf:type(:N628, :ind)).
lemma(1884, [], ap([], [1880]):rdf:type(:I628, :ind)).
lemma(1885, [], ap([], [1880]):rdf:type(:J628, :ind)).
lemma(1886, [], ap([], [1883]):rdf:type(:N629, :ind)).
lemma(1887, [], ap([], [1883]):rdf:type(:I629, :ind)).
lemma(1888, [], ap([], [1883]):rdf:type(:J629, :ind)).
lemma(1889, [], ap([], [1886]):rdf:type(:N630, :ind)).
lemma(1890, [], ap([], [1886]):rdf:type(:I630, :ind)).
lemma(1891, [], ap([], [1886]):rdf:type(:J630, :ind)).
lemma(1892, [], ap([], [1889]):rdf:type(:N631, :ind)).
lemma(1893, [], ap([], [1889]):rdf:type(:I631, :ind)).
lemma(1894, [], ap([], [1889]):rdf:type(:J631, :ind)).
lemma(1895, [], ap([], [1892]):rdf:type(:N632, :ind)).
lemma(1896, [], ap([], [1892]):rdf:type(:I632, :ind)).
lemma(1897, [], ap([], [1892]):rdf:type(:J632, :ind)).
lemma(1898, [], ap([], [1895]):rdf:type(:N633, :ind)).
lemma(1899, [], ap([], [1895]):rdf:type(:I633, :ind)).
lemma(1900, [], ap([], [1895]):rdf:type(:J633, :ind)).
lemma(1901, [], ap([], [1898]):rdf:type(:N634, :ind)).
lemma(1902, [], ap([], [1898]):rdf:type(:I634, :ind)).
lemma(1903, [], ap([], [1898]):rdf:type(:J634, :ind)).
lemma(1904, [], ap([], [1901]):rdf:type(:N635, :ind)).
lemma(1905, [], ap([], [1901]):rdf:type(:I635, :ind)).
lemma(1906, [], ap([], [1901]):rdf:type(:J635, :ind)).
lemma(1907, [], ap([], [1904]):rdf:type(:N636, :ind)).
lemma(1908, [], ap([], [1904]):rdf:type(:I636, :ind)).
lemma(1909, [], ap([], [1904]):rdf:type(:J636, :ind)).
lemma(1910, [], ap([], [1907]):rdf:type(:N637, :ind)).
lemma(1911, [], ap([], [1907]):rdf:type(:I637, :ind)).
lemma(1912, [], ap([], [1907]):rdf:type(:J637, :ind)).
lemma(1913, [], ap([], [1910]):rdf:type(:N638, :ind)).
lemma(1914, [], ap([], [1910]):rdf:type(:I638, :ind)).
lemma(1915, [], ap([], [1910]):rdf:type(:J638, :ind)).
lemma(1916, [], ap([], [1913]):rdf:type(:N639, :ind)).
lemma(1917, [], ap([], [1913]):rdf:type(:I639, :ind)).
lemma(1918, [], ap([], [1913]):rdf:type(:J639, :ind)).
lemma(1919, [], ap([], [1916]):rdf:type(:N640, :ind)).
lemma(1920, [], ap([], [1916]):rdf:type(:I640, :ind)).
lemma(1921, [], ap([], [1916]):rdf:type(:J640, :ind)).
lemma(1922, [], ap([], [1919]):rdf:type(:N641, :ind)).
lemma(1923, [], ap([], [1919]):rdf:type(:I641, :ind)).
lemma(1924, [], ap([], [1919]):rdf:type(:J641, :ind)).
lemma(1925, [], ap([], [1922]):rdf:type(:N642, :ind)).
lemma(1926, [], ap([], [1922]):rdf:type(:I642, :ind)).
lemma(1927, [], ap([], [1922]):rdf:type(:J642, :ind)).
lemma(1928, [], ap([], [1925]):rdf:type(:N643, :ind)).
lemma(1929, [], ap([], [1925]):rdf:type(:I643, :ind)).
lemma(1930, [], ap([], [1925]):rdf:type(:J643, :ind)).
lemma(1931, [], ap([], [1928]):rdf:type(:N644, :ind)).
lemma(1932, [], ap([], [1928]):rdf:type(:I644, :ind)).
lemma(1933, [], ap([], [1928]):rdf:type(:J644, :ind)).
lemma(1934, [], ap([], [1931]):rdf:type(:N645, :ind)).
lemma(1935, [], ap([], [1931]):rdf:type(:I645, :ind)).
lemma(1936, [], ap([], [1931]):rdf:type(:J645, :ind)).
lemma(1937, [], ap([], [1934]):rdf:type(:N646, :ind)).
lemma(1938, [], ap([], [1934]):rdf:type(:I646, :ind)).
lemma(1939, [], ap([], [1934]):rdf:type(:J646, :ind)).
lemma(1940, [], ap([], [1937]):rdf:type(:N647, :ind)).
lemma(1941, [], ap([], [1937]):rdf:type(:I647, :ind)).
lemma(1942, [], ap([], [1937]):rdf:type(:J647, :ind)).
lemma(1943, [], ap([], [1940]):rdf:type(:N648, :ind)).
lemma(1944, [], ap([], [1940]):rdf:type(:I648, :ind)).
lemma(1945, [], ap([], [1940]):rdf:type(:J648, :ind)).
lemma(1946, [], ap([], [1943]):rdf:type(:N649, :ind)).
lemma(1947, [], ap([], [1943]):rdf:type(:I649, :ind)).
lemma(1948, [], ap([], [1943]):rdf:type(:J649, :ind)).
lemma(1949, [], ap([], [1946]):rdf:type(:N650, :ind)).
lemma(1950, [], ap([], [1946]):rdf:type(:I650, :ind)).
lemma(1951, [], ap([], [1946]):rdf:type(:J650, :ind)).
lemma(1952, [], ap([], [1949]):rdf:type(:N651, :ind)).
lemma(1953, [], ap([], [1949]):rdf:type(:I651, :ind)).
lemma(1954, [], ap([], [1949]):rdf:type(:J651, :ind)).
lemma(1955, [], ap([], [1952]):rdf:type(:N652, :ind)).
lemma(1956, [], ap([], [1952]):rdf:type(:I652, :ind)).
lemma(1957, [], ap([], [1952]):rdf:type(:J652, :ind)).
lemma(1958, [], ap([], [1955]):rdf:type(:N653, :ind)).
lemma(1959, [], ap([], [1955]):rdf:type(:I653, :ind)).
lemma(1960, [], ap([], [1955]):rdf:type(:J653, :ind)).
lemma(1961, [], ap([], [1958]):rdf:type(:N654, :ind)).
lemma(1962, [], ap([], [1958]):rdf:type(:I654, :ind)).
lemma(1963, [], ap([], [1958]):rdf:type(:J654, :ind)).
lemma(1964, [], ap([], [1961]):rdf:type(:N655, :ind)).
lemma(1965, [], ap([], [1961]):rdf:type(:I655, :ind)).
lemma(1966, [], ap([], [1961]):rdf:type(:J655, :ind)).
lemma(1967, [], ap([], [1964]):rdf:type(:N656, :ind)).
lemma(1968, [], ap([], [1964]):rdf:type(:I656, :ind)).
lemma(1969, [], ap([], [1964]):rdf:type(:J656, :ind)).
lemma(1970, [], ap([], [1967]):rdf:type(:N657, :ind)).
lemma(1971, [], ap([], [1967]):rdf:type(:I657, :ind)).
lemma(1972, [], ap([], [1967]):rdf:type(:J657, :ind)).
lemma(1973, [], ap([], [1970]):rdf:type(:N658, :ind)).
lemma(1974, [], ap([], [1970]):rdf:type(:I658, :ind)).
lemma(1975, [], ap([], [1970]):rdf:type(:J658, :ind)).
lemma(1976, [], ap([], [1973]):rdf:type(:N659, :ind)).
lemma(1977, [], ap([], [1973]):rdf:type(:I659, :ind)).
lemma(1978, [], ap([], [1973]):rdf:type(:J659, :ind)).
lemma(1979, [], ap([], [1976]):rdf:type(:N660, :ind)).
lemma(1980, [], ap([], [1976]):rdf:type(:I660, :ind)).
lemma(1981, [], ap([], [1976]):rdf:type(:J660, :ind)).
lemma(1982, [], ap([], [1979]):rdf:type(:N661, :ind)).
lemma(1983, [], ap([], [1979]):rdf:type(:I661, :ind)).
lemma(1984, [], ap([], [1979]):rdf:type(:J661, :ind)).
lemma(1985, [], ap([], [1982]):rdf:type(:N662, :ind)).
lemma(1986, [], ap([], [1982]):rdf:type(:I662, :ind)).
lemma(1987, [], ap([], [1982]):rdf:type(:J662, :ind)).
lemma(1988, [], ap([], [1985]):rdf:type(:N663, :ind)).
lemma(1989, [], ap([], [1985]):rdf:type(:I663, :ind)).
lemma(1990, [], ap([], [1985]):rdf:type(:J663, :ind)).
lemma(1991, [], ap([], [1988]):rdf:type(:N664, :ind)).
lemma(1992, [], ap([], [1988]):rdf:type(:I664, :ind)).
lemma(1993, [], ap([], [1988]):rdf:type(:J664, :ind)).
lemma(1994, [], ap([], [1991]):rdf:type(:N665, :ind)).
lemma(1995, [], ap([], [1991]):rdf:type(:I665, :ind)).
lemma(1996, [], ap([], [1991]):rdf:type(:J665, :ind)).
lemma(1997, [], ap([], [1994]):rdf:type(:N666, :ind)).
lemma(1998, [], ap([], [1994]):rdf:type(:I666, :ind)).
lemma(1999, [], ap([], [1994]):rdf:type(:J666, :ind)).
lemma(2000, [], ap([], [1997]):rdf:type(:N667, :ind)).
lemma(2001, [], ap([], [1997]):rdf:type(:I667, :ind)).
lemma(2002, [], ap([], [1997]):rdf:type(:J667, :ind)).
lemma(2003, [], ap([], [2000]):rdf:type(:N668, :ind)).
lemma(2004, [], ap([], [2000]):rdf:type(:I668, :ind)).
lemma(2005, [], ap([], [2000]):rdf:type(:J668, :ind)).
lemma(2006, [], ap([], [2003]):rdf:type(:N669, :ind)).
lemma(2007, [], ap([], [2003]):rdf:type(:I669, :ind)).
lemma(2008, [], ap([], [2003]):rdf:type(:J669, :ind)).
lemma(2009, [], ap([], [2006]):rdf:type(:N670, :ind)).
lemma(2010, [], ap([], [2006]):rdf:type(:I670, :ind)).
lemma(2011, [], ap([], [2006]):rdf:type(:J670, :ind)).
lemma(2012, [], ap([], [2009]):rdf:type(:N671, :ind)).
lemma(2013, [], ap([], [2009]):rdf:type(:I671, :ind)).
lemma(2014, [], ap([], [2009]):rdf:type(:J671, :ind)).
lemma(2015, [], ap([], [2012]):rdf:type(:N672, :ind)).
lemma(2016, [], ap([], [2012]):rdf:type(:I672, :ind)).
lemma(2017, [], ap([], [2012]):rdf:type(:J672, :ind)).
lemma(2018, [], ap([], [2015]):rdf:type(:N673, :ind)).
lemma(2019, [], ap([], [2015]):rdf:type(:I673, :ind)).
lemma(2020, [], ap([], [2015]):rdf:type(:J673, :ind)).
lemma(2021, [], ap([], [2018]):rdf:type(:N674, :ind)).
lemma(2022, [], ap([], [2018]):rdf:type(:I674, :ind)).
lemma(2023, [], ap([], [2018]):rdf:type(:J674, :ind)).
lemma(2024, [], ap([], [2021]):rdf:type(:N675, :ind)).
lemma(2025, [], ap([], [2021]):rdf:type(:I675, :ind)).
lemma(2026, [], ap([], [2021]):rdf:type(:J675, :ind)).
lemma(2027, [], ap([], [2024]):rdf:type(:N676, :ind)).
lemma(2028, [], ap([], [2024]):rdf:type(:I676, :ind)).
lemma(2029, [], ap([], [2024]):rdf:type(:J676, :ind)).
lemma(2030, [], ap([], [2027]):rdf:type(:N677, :ind)).
lemma(2031, [], ap([], [2027]):rdf:type(:I677, :ind)).
lemma(2032, [], ap([], [2027]):rdf:type(:J677, :ind)).
lemma(2033, [], ap([], [2030]):rdf:type(:N678, :ind)).
lemma(2034, [], ap([], [2030]):rdf:type(:I678, :ind)).
lemma(2035, [], ap([], [2030]):rdf:type(:J678, :ind)).
lemma(2036, [], ap([], [2033]):rdf:type(:N679, :ind)).
lemma(2037, [], ap([], [2033]):rdf:type(:I679, :ind)).
lemma(2038, [], ap([], [2033]):rdf:type(:J679, :ind)).
lemma(2039, [], ap([], [2036]):rdf:type(:N680, :ind)).
lemma(2040, [], ap([], [2036]):rdf:type(:I680, :ind)).
lemma(2041, [], ap([], [2036]):rdf:type(:J680, :ind)).
lemma(2042, [], ap([], [2039]):rdf:type(:N681, :ind)).
lemma(2043, [], ap([], [2039]):rdf:type(:I681, :ind)).
lemma(2044, [], ap([], [2039]):rdf:type(:J681, :ind)).
lemma(2045, [], ap([], [2042]):rdf:type(:N682, :ind)).
lemma(2046, [], ap([], [2042]):rdf:type(:I682, :ind)).
lemma(2047, [], ap([], [2042]):rdf:type(:J682, :ind)).
lemma(2048, [], ap([], [2045]):rdf:type(:N683, :ind)).
lemma(2049, [], ap([], [2045]):rdf:type(:I683, :ind)).
lemma(2050, [], ap([], [2045]):rdf:type(:J683, :ind)).
lemma(2051, [], ap([], [2048]):rdf:type(:N684, :ind)).
lemma(2052, [], ap([], [2048]):rdf:type(:I684, :ind)).
lemma(2053, [], ap([], [2048]):rdf:type(:J684, :ind)).
lemma(2054, [], ap([], [2051]):rdf:type(:N685, :ind)).
lemma(2055, [], ap([], [2051]):rdf:type(:I685, :ind)).
lemma(2056, [], ap([], [2051]):rdf:type(:J685, :ind)).
lemma(2057, [], ap([], [2054]):rdf:type(:N686, :ind)).
lemma(2058, [], ap([], [2054]):rdf:type(:I686, :ind)).
lemma(2059, [], ap([], [2054]):rdf:type(:J686, :ind)).
lemma(2060, [], ap([], [2057]):rdf:type(:N687, :ind)).
lemma(2061, [], ap([], [2057]):rdf:type(:I687, :ind)).
lemma(2062, [], ap([], [2057]):rdf:type(:J687, :ind)).
lemma(2063, [], ap([], [2060]):rdf:type(:N688, :ind)).
lemma(2064, [], ap([], [2060]):rdf:type(:I688, :ind)).
lemma(2065, [], ap([], [2060]):rdf:type(:J688, :ind)).
lemma(2066, [], ap([], [2063]):rdf:type(:N689, :ind)).
lemma(2067, [], ap([], [2063]):rdf:type(:I689, :ind)).
lemma(2068, [], ap([], [2063]):rdf:type(:J689, :ind)).
lemma(2069, [], ap([], [2066]):rdf:type(:N690, :ind)).
lemma(2070, [], ap([], [2066]):rdf:type(:I690, :ind)).
lemma(2071, [], ap([], [2066]):rdf:type(:J690, :ind)).
lemma(2072, [], ap([], [2069]):rdf:type(:N691, :ind)).
lemma(2073, [], ap([], [2069]):rdf:type(:I691, :ind)).
lemma(2074, [], ap([], [2069]):rdf:type(:J691, :ind)).
lemma(2075, [], ap([], [2072]):rdf:type(:N692, :ind)).
lemma(2076, [], ap([], [2072]):rdf:type(:I692, :ind)).
lemma(2077, [], ap([], [2072]):rdf:type(:J692, :ind)).
lemma(2078, [], ap([], [2075]):rdf:type(:N693, :ind)).
lemma(2079, [], ap([], [2075]):rdf:type(:I693, :ind)).
lemma(2080, [], ap([], [2075]):rdf:type(:J693, :ind)).
lemma(2081, [], ap([], [2078]):rdf:type(:N694, :ind)).
lemma(2082, [], ap([], [2078]):rdf:type(:I694, :ind)).
lemma(2083, [], ap([], [2078]):rdf:type(:J694, :ind)).
lemma(2084, [], ap([], [2081]):rdf:type(:N695, :ind)).
lemma(2085, [], ap([], [2081]):rdf:type(:I695, :ind)).
lemma(2086, [], ap([], [2081]):rdf:type(:J695, :ind)).
lemma(2087, [], ap([], [2084]):rdf:type(:N696, :ind)).
lemma(2088, [], ap([], [2084]):rdf:type(:I696, :ind)).
lemma(2089, [], ap([], [2084]):rdf:type(:J696, :ind)).
lemma(2090, [], ap([], [2087]):rdf:type(:N697, :ind)).
lemma(2091, [], ap([], [2087]):rdf:type(:I697, :ind)).
lemma(2092, [], ap([], [2087]):rdf:type(:J697, :ind)).
lemma(2093, [], ap([], [2090]):rdf:type(:N698, :ind)).
lemma(2094, [], ap([], [2090]):rdf:type(:I698, :ind)).
lemma(2095, [], ap([], [2090]):rdf:type(:J698, :ind)).
lemma(2096, [], ap([], [2093]):rdf:type(:N699, :ind)).
lemma(2097, [], ap([], [2093]):rdf:type(:I699, :ind)).
lemma(2098, [], ap([], [2093]):rdf:type(:J699, :ind)).
lemma(2099, [], ap([], [2096]):rdf:type(:N700, :ind)).
lemma(2100, [], ap([], [2096]):rdf:type(:I700, :ind)).
lemma(2101, [], ap([], [2096]):rdf:type(:J700, :ind)).
lemma(2102, [], ap([], [2099]):rdf:type(:N701, :ind)).
lemma(2103, [], ap([], [2099]):rdf:type(:I701, :ind)).
lemma(2104, [], ap([], [2099]):rdf:type(:J701, :ind)).
lemma(2105, [], ap([], [2102]):rdf:type(:N702, :ind)).
lemma(2106, [], ap([], [2102]):rdf:type(:I702, :ind)).
lemma(2107, [], ap([], [2102]):rdf:type(:J702, :ind)).
lemma(2108, [], ap([], [2105]):rdf:type(:N703, :ind)).
lemma(2109, [], ap([], [2105]):rdf:type(:I703, :ind)).
lemma(2110, [], ap([], [2105]):rdf:type(:J703, :ind)).
lemma(2111, [], ap([], [2108]):rdf:type(:N704, :ind)).
lemma(2112, [], ap([], [2108]):rdf:type(:I704, :ind)).
lemma(2113, [], ap([], [2108]):rdf:type(:J704, :ind)).
lemma(2114, [], ap([], [2111]):rdf:type(:N705, :ind)).
lemma(2115, [], ap([], [2111]):rdf:type(:I705, :ind)).
lemma(2116, [], ap([], [2111]):rdf:type(:J705, :ind)).
lemma(2117, [], ap([], [2114]):rdf:type(:N706, :ind)).
lemma(2118, [], ap([], [2114]):rdf:type(:I706, :ind)).
lemma(2119, [], ap([], [2114]):rdf:type(:J706, :ind)).
lemma(2120, [], ap([], [2117]):rdf:type(:N707, :ind)).
lemma(2121, [], ap([], [2117]):rdf:type(:I707, :ind)).
lemma(2122, [], ap([], [2117]):rdf:type(:J707, :ind)).
lemma(2123, [], ap([], [2120]):rdf:type(:N708, :ind)).
lemma(2124, [], ap([], [2120]):rdf:type(:I708, :ind)).
lemma(2125, [], ap([], [2120]):rdf:type(:J708, :ind)).
lemma(2126, [], ap([], [2123]):rdf:type(:N709, :ind)).
lemma(2127, [], ap([], [2123]):rdf:type(:I709, :ind)).
lemma(2128, [], ap([], [2123]):rdf:type(:J709, :ind)).
lemma(2129, [], ap([], [2126]):rdf:type(:N710, :ind)).
lemma(2130, [], ap([], [2126]):rdf:type(:I710, :ind)).
lemma(2131, [], ap([], [2126]):rdf:type(:J710, :ind)).
lemma(2132, [], ap([], [2129]):rdf:type(:N711, :ind)).
lemma(2133, [], ap([], [2129]):rdf:type(:I711, :ind)).
lemma(2134, [], ap([], [2129]):rdf:type(:J711, :ind)).
lemma(2135, [], ap([], [2132]):rdf:type(:N712, :ind)).
lemma(2136, [], ap([], [2132]):rdf:type(:I712, :ind)).
lemma(2137, [], ap([], [2132]):rdf:type(:J712, :ind)).
lemma(2138, [], ap([], [2135]):rdf:type(:N713, :ind)).
lemma(2139, [], ap([], [2135]):rdf:type(:I713, :ind)).
lemma(2140, [], ap([], [2135]):rdf:type(:J713, :ind)).
lemma(2141, [], ap([], [2138]):rdf:type(:N714, :ind)).
lemma(2142, [], ap([], [2138]):rdf:type(:I714, :ind)).
lemma(2143, [], ap([], [2138]):rdf:type(:J714, :ind)).
lemma(2144, [], ap([], [2141]):rdf:type(:N715, :ind)).
lemma(2145, [], ap([], [2141]):rdf:type(:I715, :ind)).
lemma(2146, [], ap([], [2141]):rdf:type(:J715, :ind)).
lemma(2147, [], ap([], [2144]):rdf:type(:N716, :ind)).
lemma(2148, [], ap([], [2144]):rdf:type(:I716, :ind)).
lemma(2149, [], ap([], [2144]):rdf:type(:J716, :ind)).
lemma(2150, [], ap([], [2147]):rdf:type(:N717, :ind)).
lemma(2151, [], ap([], [2147]):rdf:type(:I717, :ind)).
lemma(2152, [], ap([], [2147]):rdf:type(:J717, :ind)).
lemma(2153, [], ap([], [2150]):rdf:type(:N718, :ind)).
lemma(2154, [], ap([], [2150]):rdf:type(:I718, :ind)).
lemma(2155, [], ap([], [2150]):rdf:type(:J718, :ind)).
lemma(2156, [], ap([], [2153]):rdf:type(:N719, :ind)).
lemma(2157, [], ap([], [2153]):rdf:type(:I719, :ind)).
lemma(2158, [], ap([], [2153]):rdf:type(:J719, :ind)).
lemma(2159, [], ap([], [2156]):rdf:type(:N720, :ind)).
lemma(2160, [], ap([], [2156]):rdf:type(:I720, :ind)).
lemma(2161, [], ap([], [2156]):rdf:type(:J720, :ind)).
lemma(2162, [], ap([], [2159]):rdf:type(:N721, :ind)).
lemma(2163, [], ap([], [2159]):rdf:type(:I721, :ind)).
lemma(2164, [], ap([], [2159]):rdf:type(:J721, :ind)).
lemma(2165, [], ap([], [2162]):rdf:type(:N722, :ind)).
lemma(2166, [], ap([], [2162]):rdf:type(:I722, :ind)).
lemma(2167, [], ap([], [2162]):rdf:type(:J722, :ind)).
lemma(2168, [], ap([], [2165]):rdf:type(:N723, :ind)).
lemma(2169, [], ap([], [2165]):rdf:type(:I723, :ind)).
lemma(2170, [], ap([], [2165]):rdf:type(:J723, :ind)).
lemma(2171, [], ap([], [2168]):rdf:type(:N724, :ind)).
lemma(2172, [], ap([], [2168]):rdf:type(:I724, :ind)).
lemma(2173, [], ap([], [2168]):rdf:type(:J724, :ind)).
lemma(2174, [], ap([], [2171]):rdf:type(:N725, :ind)).
lemma(2175, [], ap([], [2171]):rdf:type(:I725, :ind)).
lemma(2176, [], ap([], [2171]):rdf:type(:J725, :ind)).
lemma(2177, [], ap([], [2174]):rdf:type(:N726, :ind)).
lemma(2178, [], ap([], [2174]):rdf:type(:I726, :ind)).
lemma(2179, [], ap([], [2174]):rdf:type(:J726, :ind)).
lemma(2180, [], ap([], [2177]):rdf:type(:N727, :ind)).
lemma(2181, [], ap([], [2177]):rdf:type(:I727, :ind)).
lemma(2182, [], ap([], [2177]):rdf:type(:J727, :ind)).
lemma(2183, [], ap([], [2180]):rdf:type(:N728, :ind)).
lemma(2184, [], ap([], [2180]):rdf:type(:I728, :ind)).
lemma(2185, [], ap([], [2180]):rdf:type(:J728, :ind)).
lemma(2186, [], ap([], [2183]):rdf:type(:N729, :ind)).
lemma(2187, [], ap([], [2183]):rdf:type(:I729, :ind)).
lemma(2188, [], ap([], [2183]):rdf:type(:J729, :ind)).
lemma(2189, [], ap([], [2186]):rdf:type(:N730, :ind)).
lemma(2190, [], ap([], [2186]):rdf:type(:I730, :ind)).
lemma(2191, [], ap([], [2186]):rdf:type(:J730, :ind)).
lemma(2192, [], ap([], [2189]):rdf:type(:N731, :ind)).
lemma(2193, [], ap([], [2189]):rdf:type(:I731, :ind)).
lemma(2194, [], ap([], [2189]):rdf:type(:J731, :ind)).
lemma(2195, [], ap([], [2192]):rdf:type(:N732, :ind)).
lemma(2196, [], ap([], [2192]):rdf:type(:I732, :ind)).
lemma(2197, [], ap([], [2192]):rdf:type(:J732, :ind)).
lemma(2198, [], ap([], [2195]):rdf:type(:N733, :ind)).
lemma(2199, [], ap([], [2195]):rdf:type(:I733, :ind)).
lemma(2200, [], ap([], [2195]):rdf:type(:J733, :ind)).
lemma(2201, [], ap([], [2198]):rdf:type(:N734, :ind)).
lemma(2202, [], ap([], [2198]):rdf:type(:I734, :ind)).
lemma(2203, [], ap([], [2198]):rdf:type(:J734, :ind)).
lemma(2204, [], ap([], [2201]):rdf:type(:N735, :ind)).
lemma(2205, [], ap([], [2201]):rdf:type(:I735, :ind)).
lemma(2206, [], ap([], [2201]):rdf:type(:J735, :ind)).
lemma(2207, [], ap([], [2204]):rdf:type(:N736, :ind)).
lemma(2208, [], ap([], [2204]):rdf:type(:I736, :ind)).
lemma(2209, [], ap([], [2204]):rdf:type(:J736, :ind)).
lemma(2210, [], ap([], [2207]):rdf:type(:N737, :ind)).
lemma(2211, [], ap([], [2207]):rdf:type(:I737, :ind)).
lemma(2212, [], ap([], [2207]):rdf:type(:J737, :ind)).
lemma(2213, [], ap([], [2210]):rdf:type(:N738, :ind)).
lemma(2214, [], ap([], [2210]):rdf:type(:I738, :ind)).
lemma(2215, [], ap([], [2210]):rdf:type(:J738, :ind)).
lemma(2216, [], ap([], [2213]):rdf:type(:N739, :ind)).
lemma(2217, [], ap([], [2213]):rdf:type(:I739, :ind)).
lemma(2218, [], ap([], [2213]):rdf:type(:J739, :ind)).
lemma(2219, [], ap([], [2216]):rdf:type(:N740, :ind)).
lemma(2220, [], ap([], [2216]):rdf:type(:I740, :ind)).
lemma(2221, [], ap([], [2216]):rdf:type(:J740, :ind)).
lemma(2222, [], ap([], [2219]):rdf:type(:N741, :ind)).
lemma(2223, [], ap([], [2219]):rdf:type(:I741, :ind)).
lemma(2224, [], ap([], [2219]):rdf:type(:J741, :ind)).
lemma(2225, [], ap([], [2222]):rdf:type(:N742, :ind)).
lemma(2226, [], ap([], [2222]):rdf:type(:I742, :ind)).
lemma(2227, [], ap([], [2222]):rdf:type(:J742, :ind)).
lemma(2228, [], ap([], [2225]):rdf:type(:N743, :ind)).
lemma(2229, [], ap([], [2225]):rdf:type(:I743, :ind)).
lemma(2230, [], ap([], [2225]):rdf:type(:J743, :ind)).
lemma(2231, [], ap([], [2228]):rdf:type(:N744, :ind)).
lemma(2232, [], ap([], [2228]):rdf:type(:I744, :ind)).
lemma(2233, [], ap([], [2228]):rdf:type(:J744, :ind)).
lemma(2234, [], ap([], [2231]):rdf:type(:N745, :ind)).
lemma(2235, [], ap([], [2231]):rdf:type(:I745, :ind)).
lemma(2236, [], ap([], [2231]):rdf:type(:J745, :ind)).
lemma(2237, [], ap([], [2234]):rdf:type(:N746, :ind)).
lemma(2238, [], ap([], [2234]):rdf:type(:I746, :ind)).
lemma(2239, [], ap([], [2234]):rdf:type(:J746, :ind)).
lemma(2240, [], ap([], [2237]):rdf:type(:N747, :ind)).
lemma(2241, [], ap([], [2237]):rdf:type(:I747, :ind)).
lemma(2242, [], ap([], [2237]):rdf:type(:J747, :ind)).
lemma(2243, [], ap([], [2240]):rdf:type(:N748, :ind)).
lemma(2244, [], ap([], [2240]):rdf:type(:I748, :ind)).
lemma(2245, [], ap([], [2240]):rdf:type(:J748, :ind)).
lemma(2246, [], ap([], [2243]):rdf:type(:N749, :ind)).
lemma(2247, [], ap([], [2243]):rdf:type(:I749, :ind)).
lemma(2248, [], ap([], [2243]):rdf:type(:J749, :ind)).
lemma(2249, [], ap([], [2246]):rdf:type(:N750, :ind)).
lemma(2250, [], ap([], [2246]):rdf:type(:I750, :ind)).
lemma(2251, [], ap([], [2246]):rdf:type(:J750, :ind)).
lemma(2252, [], ap([], [2249]):rdf:type(:N751, :ind)).
lemma(2253, [], ap([], [2249]):rdf:type(:I751, :ind)).
lemma(2254, [], ap([], [2249]):rdf:type(:J751, :ind)).
lemma(2255, [], ap([], [2252]):rdf:type(:N752, :ind)).
lemma(2256, [], ap([], [2252]):rdf:type(:I752, :ind)).
lemma(2257, [], ap([], [2252]):rdf:type(:J752, :ind)).
lemma(2258, [], ap([], [2255]):rdf:type(:N753, :ind)).
lemma(2259, [], ap([], [2255]):rdf:type(:I753, :ind)).
lemma(2260, [], ap([], [2255]):rdf:type(:J753, :ind)).
lemma(2261, [], ap([], [2258]):rdf:type(:N754, :ind)).
lemma(2262, [], ap([], [2258]):rdf:type(:I754, :ind)).
lemma(2263, [], ap([], [2258]):rdf:type(:J754, :ind)).
lemma(2264, [], ap([], [2261]):rdf:type(:N755, :ind)).
lemma(2265, [], ap([], [2261]):rdf:type(:I755, :ind)).
lemma(2266, [], ap([], [2261]):rdf:type(:J755, :ind)).
lemma(2267, [], ap([], [2264]):rdf:type(:N756, :ind)).
lemma(2268, [], ap([], [2264]):rdf:type(:I756, :ind)).
lemma(2269, [], ap([], [2264]):rdf:type(:J756, :ind)).
lemma(2270, [], ap([], [2267]):rdf:type(:N757, :ind)).
lemma(2271, [], ap([], [2267]):rdf:type(:I757, :ind)).
lemma(2272, [], ap([], [2267]):rdf:type(:J757, :ind)).
lemma(2273, [], ap([], [2270]):rdf:type(:N758, :ind)).
lemma(2274, [], ap([], [2270]):rdf:type(:I758, :ind)).
lemma(2275, [], ap([], [2270]):rdf:type(:J758, :ind)).
lemma(2276, [], ap([], [2273]):rdf:type(:N759, :ind)).
lemma(2277, [], ap([], [2273]):rdf:type(:I759, :ind)).
lemma(2278, [], ap([], [2273]):rdf:type(:J759, :ind)).
lemma(2279, [], ap([], [2276]):rdf:type(:N760, :ind)).
lemma(2280, [], ap([], [2276]):rdf:type(:I760, :ind)).
lemma(2281, [], ap([], [2276]):rdf:type(:J760, :ind)).
lemma(2282, [], ap([], [2279]):rdf:type(:N761, :ind)).
lemma(2283, [], ap([], [2279]):rdf:type(:I761, :ind)).
lemma(2284, [], ap([], [2279]):rdf:type(:J761, :ind)).
lemma(2285, [], ap([], [2282]):rdf:type(:N762, :ind)).
lemma(2286, [], ap([], [2282]):rdf:type(:I762, :ind)).
lemma(2287, [], ap([], [2282]):rdf:type(:J762, :ind)).
lemma(2288, [], ap([], [2285]):rdf:type(:N763, :ind)).
lemma(2289, [], ap([], [2285]):rdf:type(:I763, :ind)).
lemma(2290, [], ap([], [2285]):rdf:type(:J763, :ind)).
lemma(2291, [], ap([], [2288]):rdf:type(:N764, :ind)).
lemma(2292, [], ap([], [2288]):rdf:type(:I764, :ind)).
lemma(2293, [], ap([], [2288]):rdf:type(:J764, :ind)).
lemma(2294, [], ap([], [2291]):rdf:type(:N765, :ind)).
lemma(2295, [], ap([], [2291]):rdf:type(:I765, :ind)).
lemma(2296, [], ap([], [2291]):rdf:type(:J765, :ind)).
lemma(2297, [], ap([], [2294]):rdf:type(:N766, :ind)).
lemma(2298, [], ap([], [2294]):rdf:type(:I766, :ind)).
lemma(2299, [], ap([], [2294]):rdf:type(:J766, :ind)).
lemma(2300, [], ap([], [2297]):rdf:type(:N767, :ind)).
lemma(2301, [], ap([], [2297]):rdf:type(:I767, :ind)).
lemma(2302, [], ap([], [2297]):rdf:type(:J767, :ind)).
lemma(2303, [], ap([], [2300]):rdf:type(:N768, :ind)).
lemma(2304, [], ap([], [2300]):rdf:type(:I768, :ind)).
lemma(2305, [], ap([], [2300]):rdf:type(:J768, :ind)).
lemma(2306, [], ap([], [2303]):rdf:type(:N769, :ind)).
lemma(2307, [], ap([], [2303]):rdf:type(:I769, :ind)).
lemma(2308, [], ap([], [2303]):rdf:type(:J769, :ind)).
lemma(2309, [], ap([], [2306]):rdf:type(:N770, :ind)).
lemma(2310, [], ap([], [2306]):rdf:type(:I770, :ind)).
lemma(2311, [], ap([], [2306]):rdf:type(:J770, :ind)).
lemma(2312, [], ap([], [2309]):rdf:type(:N771, :ind)).
lemma(2313, [], ap([], [2309]):rdf:type(:I771, :ind)).
lemma(2314, [], ap([], [2309]):rdf:type(:J771, :ind)).
lemma(2315, [], ap([], [2312]):rdf:type(:N772, :ind)).
lemma(2316, [], ap([], [2312]):rdf:type(:I772, :ind)).
lemma(2317, [], ap([], [2312]):rdf:type(:J772, :ind)).
lemma(2318, [], ap([], [2315]):rdf:type(:N773, :ind)).
lemma(2319, [], ap([], [2315]):rdf:type(:I773, :ind)).
lemma(2320, [], ap([], [2315]):rdf:type(:J773, :ind)).
lemma(2321, [], ap([], [2318]):rdf:type(:N774, :ind)).
lemma(2322, [], ap([], [2318]):rdf:type(:I774, :ind)).
lemma(2323, [], ap([], [2318]):rdf:type(:J774, :ind)).
lemma(2324, [], ap([], [2321]):rdf:type(:N775, :ind)).
lemma(2325, [], ap([], [2321]):rdf:type(:I775, :ind)).
lemma(2326, [], ap([], [2321]):rdf:type(:J775, :ind)).
lemma(2327, [], ap([], [2324]):rdf:type(:N776, :ind)).
lemma(2328, [], ap([], [2324]):rdf:type(:I776, :ind)).
lemma(2329, [], ap([], [2324]):rdf:type(:J776, :ind)).
lemma(2330, [], ap([], [2327]):rdf:type(:N777, :ind)).
lemma(2331, [], ap([], [2327]):rdf:type(:I777, :ind)).
lemma(2332, [], ap([], [2327]):rdf:type(:J777, :ind)).
lemma(2333, [], ap([], [2330]):rdf:type(:N778, :ind)).
lemma(2334, [], ap([], [2330]):rdf:type(:I778, :ind)).
lemma(2335, [], ap([], [2330]):rdf:type(:J778, :ind)).
lemma(2336, [], ap([], [2333]):rdf:type(:N779, :ind)).
lemma(2337, [], ap([], [2333]):rdf:type(:I779, :ind)).
lemma(2338, [], ap([], [2333]):rdf:type(:J779, :ind)).
lemma(2339, [], ap([], [2336]):rdf:type(:N780, :ind)).
lemma(2340, [], ap([], [2336]):rdf:type(:I780, :ind)).
lemma(2341, [], ap([], [2336]):rdf:type(:J780, :ind)).
lemma(2342, [], ap([], [2339]):rdf:type(:N781, :ind)).
lemma(2343, [], ap([], [2339]):rdf:type(:I781, :ind)).
lemma(2344, [], ap([], [2339]):rdf:type(:J781, :ind)).
lemma(2345, [], ap([], [2342]):rdf:type(:N782, :ind)).
lemma(2346, [], ap([], [2342]):rdf:type(:I782, :ind)).
lemma(2347, [], ap([], [2342]):rdf:type(:J782, :ind)).
lemma(2348, [], ap([], [2345]):rdf:type(:N783, :ind)).
lemma(2349, [], ap([], [2345]):rdf:type(:I783, :ind)).
lemma(2350, [], ap([], [2345]):rdf:type(:J783, :ind)).
lemma(2351, [], ap([], [2348]):rdf:type(:N784, :ind)).
lemma(2352, [], ap([], [2348]):rdf:type(:I784, :ind)).
lemma(2353, [], ap([], [2348]):rdf:type(:J784, :ind)).
lemma(2354, [], ap([], [2351]):rdf:type(:N785, :ind)).
lemma(2355, [], ap([], [2351]):rdf:type(:I785, :ind)).
lemma(2356, [], ap([], [2351]):rdf:type(:J785, :ind)).
lemma(2357, [], ap([], [2354]):rdf:type(:N786, :ind)).
lemma(2358, [], ap([], [2354]):rdf:type(:I786, :ind)).
lemma(2359, [], ap([], [2354]):rdf:type(:J786, :ind)).
lemma(2360, [], ap([], [2357]):rdf:type(:N787, :ind)).
lemma(2361, [], ap([], [2357]):rdf:type(:I787, :ind)).
lemma(2362, [], ap([], [2357]):rdf:type(:J787, :ind)).
lemma(2363, [], ap([], [2360]):rdf:type(:N788, :ind)).
lemma(2364, [], ap([], [2360]):rdf:type(:I788, :ind)).
lemma(2365, [], ap([], [2360]):rdf:type(:J788, :ind)).
lemma(2366, [], ap([], [2363]):rdf:type(:N789, :ind)).
lemma(2367, [], ap([], [2363]):rdf:type(:I789, :ind)).
lemma(2368, [], ap([], [2363]):rdf:type(:J789, :ind)).
lemma(2369, [], ap([], [2366]):rdf:type(:N790, :ind)).
lemma(2370, [], ap([], [2366]):rdf:type(:I790, :ind)).
lemma(2371, [], ap([], [2366]):rdf:type(:J790, :ind)).
lemma(2372, [], ap([], [2369]):rdf:type(:N791, :ind)).
lemma(2373, [], ap([], [2369]):rdf:type(:I791, :ind)).
lemma(2374, [], ap([], [2369]):rdf:type(:J791, :ind)).
lemma(2375, [], ap([], [2372]):rdf:type(:N792, :ind)).
lemma(2376, [], ap([], [2372]):rdf:type(:I792, :ind)).
lemma(2377, [], ap([], [2372]):rdf:type(:J792, :ind)).
lemma(2378, [], ap([], [2375]):rdf:type(:N793, :ind)).
lemma(2379, [], ap([], [2375]):rdf:type(:I793, :ind)).
lemma(2380, [], ap([], [2375]):rdf:type(:J793, :ind)).
lemma(2381, [], ap([], [2378]):rdf:type(:N794, :ind)).
lemma(2382, [], ap([], [2378]):rdf:type(:I794, :ind)).
lemma(2383, [], ap([], [2378]):rdf:type(:J794, :ind)).
lemma(2384, [], ap([], [2381]):rdf:type(:N795, :ind)).
lemma(2385, [], ap([], [2381]):rdf:type(:I795, :ind)).
lemma(2386, [], ap([], [2381]):rdf:type(:J795, :ind)).
lemma(2387, [], ap([], [2384]):rdf:type(:N796, :ind)).
lemma(2388, [], ap([], [2384]):rdf:type(:I796, :ind)).
lemma(2389, [], ap([], [2384]):rdf:type(:J796, :ind)).
lemma(2390, [], ap([], [2387]):rdf:type(:N797, :ind)).
lemma(2391, [], ap([], [2387]):rdf:type(:I797, :ind)).
lemma(2392, [], ap([], [2387]):rdf:type(:J797, :ind)).
lemma(2393, [], ap([], [2390]):rdf:type(:N798, :ind)).
lemma(2394, [], ap([], [2390]):rdf:type(:I798, :ind)).
lemma(2395, [], ap([], [2390]):rdf:type(:J798, :ind)).
lemma(2396, [], ap([], [2393]):rdf:type(:N799, :ind)).
lemma(2397, [], ap([], [2393]):rdf:type(:I799, :ind)).
lemma(2398, [], ap([], [2393]):rdf:type(:J799, :ind)).
lemma(2399, [], ap([], [2396]):rdf:type(:N800, :ind)).
lemma(2400, [], ap([], [2396]):rdf:type(:I800, :ind)).
lemma(2401, [], ap([], [2396]):rdf:type(:J800, :ind)).
lemma(2402, [], ap([], [2399]):rdf:type(:N801, :ind)).
lemma(2403, [], ap([], [2399]):rdf:type(:I801, :ind)).
lemma(2404, [], ap([], [2399]):rdf:type(:J801, :ind)).
lemma(2405, [], ap([], [2402]):rdf:type(:N802, :ind)).
lemma(2406, [], ap([], [2402]):rdf:type(:I802, :ind)).
lemma(2407, [], ap([], [2402]):rdf:type(:J802, :ind)).
lemma(2408, [], ap([], [2405]):rdf:type(:N803, :ind)).
lemma(2409, [], ap([], [2405]):rdf:type(:I803, :ind)).
lemma(2410, [], ap([], [2405]):rdf:type(:J803, :ind)).
lemma(2411, [], ap([], [2408]):rdf:type(:N804, :ind)).
lemma(2412, [], ap([], [2408]):rdf:type(:I804, :ind)).
lemma(2413, [], ap([], [2408]):rdf:type(:J804, :ind)).
lemma(2414, [], ap([], [2411]):rdf:type(:N805, :ind)).
lemma(2415, [], ap([], [2411]):rdf:type(:I805, :ind)).
lemma(2416, [], ap([], [2411]):rdf:type(:J805, :ind)).
lemma(2417, [], ap([], [2414]):rdf:type(:N806, :ind)).
lemma(2418, [], ap([], [2414]):rdf:type(:I806, :ind)).
lemma(2419, [], ap([], [2414]):rdf:type(:J806, :ind)).
lemma(2420, [], ap([], [2417]):rdf:type(:N807, :ind)).
lemma(2421, [], ap([], [2417]):rdf:type(:I807, :ind)).
lemma(2422, [], ap([], [2417]):rdf:type(:J807, :ind)).
lemma(2423, [], ap([], [2420]):rdf:type(:N808, :ind)).
lemma(2424, [], ap([], [2420]):rdf:type(:I808, :ind)).
lemma(2425, [], ap([], [2420]):rdf:type(:J808, :ind)).
lemma(2426, [], ap([], [2423]):rdf:type(:N809, :ind)).
lemma(2427, [], ap([], [2423]):rdf:type(:I809, :ind)).
lemma(2428, [], ap([], [2423]):rdf:type(:J809, :ind)).
lemma(2429, [], ap([], [2426]):rdf:type(:N810, :ind)).
lemma(2430, [], ap([], [2426]):rdf:type(:I810, :ind)).
lemma(2431, [], ap([], [2426]):rdf:type(:J810, :ind)).
lemma(2432, [], ap([], [2429]):rdf:type(:N811, :ind)).
lemma(2433, [], ap([], [2429]):rdf:type(:I811, :ind)).
lemma(2434, [], ap([], [2429]):rdf:type(:J811, :ind)).
lemma(2435, [], ap([], [2432]):rdf:type(:N812, :ind)).
lemma(2436, [], ap([], [2432]):rdf:type(:I812, :ind)).
lemma(2437, [], ap([], [2432]):rdf:type(:J812, :ind)).
lemma(2438, [], ap([], [2435]):rdf:type(:N813, :ind)).
lemma(2439, [], ap([], [2435]):rdf:type(:I813, :ind)).
lemma(2440, [], ap([], [2435]):rdf:type(:J813, :ind)).
lemma(2441, [], ap([], [2438]):rdf:type(:N814, :ind)).
lemma(2442, [], ap([], [2438]):rdf:type(:I814, :ind)).
lemma(2443, [], ap([], [2438]):rdf:type(:J814, :ind)).
lemma(2444, [], ap([], [2441]):rdf:type(:N815, :ind)).
lemma(2445, [], ap([], [2441]):rdf:type(:I815, :ind)).
lemma(2446, [], ap([], [2441]):rdf:type(:J815, :ind)).
lemma(2447, [], ap([], [2444]):rdf:type(:N816, :ind)).
lemma(2448, [], ap([], [2444]):rdf:type(:I816, :ind)).
lemma(2449, [], ap([], [2444]):rdf:type(:J816, :ind)).
lemma(2450, [], ap([], [2447]):rdf:type(:N817, :ind)).
lemma(2451, [], ap([], [2447]):rdf:type(:I817, :ind)).
lemma(2452, [], ap([], [2447]):rdf:type(:J817, :ind)).
lemma(2453, [], ap([], [2450]):rdf:type(:N818, :ind)).
lemma(2454, [], ap([], [2450]):rdf:type(:I818, :ind)).
lemma(2455, [], ap([], [2450]):rdf:type(:J818, :ind)).
lemma(2456, [], ap([], [2453]):rdf:type(:N819, :ind)).
lemma(2457, [], ap([], [2453]):rdf:type(:I819, :ind)).
lemma(2458, [], ap([], [2453]):rdf:type(:J819, :ind)).
lemma(2459, [], ap([], [2456]):rdf:type(:N820, :ind)).
lemma(2460, [], ap([], [2456]):rdf:type(:I820, :ind)).
lemma(2461, [], ap([], [2456]):rdf:type(:J820, :ind)).
lemma(2462, [], ap([], [2459]):rdf:type(:N821, :ind)).
lemma(2463, [], ap([], [2459]):rdf:type(:I821, :ind)).
lemma(2464, [], ap([], [2459]):rdf:type(:J821, :ind)).
lemma(2465, [], ap([], [2462]):rdf:type(:N822, :ind)).
lemma(2466, [], ap([], [2462]):rdf:type(:I822, :ind)).
lemma(2467, [], ap([], [2462]):rdf:type(:J822, :ind)).
lemma(2468, [], ap([], [2465]):rdf:type(:N823, :ind)).
lemma(2469, [], ap([], [2465]):rdf:type(:I823, :ind)).
lemma(2470, [], ap([], [2465]):rdf:type(:J823, :ind)).
lemma(2471, [], ap([], [2468]):rdf:type(:N824, :ind)).
lemma(2472, [], ap([], [2468]):rdf:type(:I824, :ind)).
lemma(2473, [], ap([], [2468]):rdf:type(:J824, :ind)).
lemma(2474, [], ap([], [2471]):rdf:type(:N825, :ind)).
lemma(2475, [], ap([], [2471]):rdf:type(:I825, :ind)).
lemma(2476, [], ap([], [2471]):rdf:type(:J825, :ind)).
lemma(2477, [], ap([], [2474]):rdf:type(:N826, :ind)).
lemma(2478, [], ap([], [2474]):rdf:type(:I826, :ind)).
lemma(2479, [], ap([], [2474]):rdf:type(:J826, :ind)).
lemma(2480, [], ap([], [2477]):rdf:type(:N827, :ind)).
lemma(2481, [], ap([], [2477]):rdf:type(:I827, :ind)).
lemma(2482, [], ap([], [2477]):rdf:type(:J827, :ind)).
lemma(2483, [], ap([], [2480]):rdf:type(:N828, :ind)).
lemma(2484, [], ap([], [2480]):rdf:type(:I828, :ind)).
lemma(2485, [], ap([], [2480]):rdf:type(:J828, :ind)).
lemma(2486, [], ap([], [2483]):rdf:type(:N829, :ind)).
lemma(2487, [], ap([], [2483]):rdf:type(:I829, :ind)).
lemma(2488, [], ap([], [2483]):rdf:type(:J829, :ind)).
lemma(2489, [], ap([], [2486]):rdf:type(:N830, :ind)).
lemma(2490, [], ap([], [2486]):rdf:type(:I830, :ind)).
lemma(2491, [], ap([], [2486]):rdf:type(:J830, :ind)).
lemma(2492, [], ap([], [2489]):rdf:type(:N831, :ind)).
lemma(2493, [], ap([], [2489]):rdf:type(:I831, :ind)).
lemma(2494, [], ap([], [2489]):rdf:type(:J831, :ind)).
lemma(2495, [], ap([], [2492]):rdf:type(:N832, :ind)).
lemma(2496, [], ap([], [2492]):rdf:type(:I832, :ind)).
lemma(2497, [], ap([], [2492]):rdf:type(:J832, :ind)).
lemma(2498, [], ap([], [2495]):rdf:type(:N833, :ind)).
lemma(2499, [], ap([], [2495]):rdf:type(:I833, :ind)).
lemma(2500, [], ap([], [2495]):rdf:type(:J833, :ind)).
lemma(2501, [], ap([], [2498]):rdf:type(:N834, :ind)).
lemma(2502, [], ap([], [2498]):rdf:type(:I834, :ind)).
lemma(2503, [], ap([], [2498]):rdf:type(:J834, :ind)).
lemma(2504, [], ap([], [2501]):rdf:type(:N835, :ind)).
lemma(2505, [], ap([], [2501]):rdf:type(:I835, :ind)).
lemma(2506, [], ap([], [2501]):rdf:type(:J835, :ind)).
lemma(2507, [], ap([], [2504]):rdf:type(:N836, :ind)).
lemma(2508, [], ap([], [2504]):rdf:type(:I836, :ind)).
lemma(2509, [], ap([], [2504]):rdf:type(:J836, :ind)).
lemma(2510, [], ap([], [2507]):rdf:type(:N837, :ind)).
lemma(2511, [], ap([], [2507]):rdf:type(:I837, :ind)).
lemma(2512, [], ap([], [2507]):rdf:type(:J837, :ind)).
lemma(2513, [], ap([], [2510]):rdf:type(:N838, :ind)).
lemma(2514, [], ap([], [2510]):rdf:type(:I838, :ind)).
lemma(2515, [], ap([], [2510]):rdf:type(:J838, :ind)).
lemma(2516, [], ap([], [2513]):rdf:type(:N839, :ind)).
lemma(2517, [], ap([], [2513]):rdf:type(:I839, :ind)).
lemma(2518, [], ap([], [2513]):rdf:type(:J839, :ind)).
lemma(2519, [], ap([], [2516]):rdf:type(:N840, :ind)).
lemma(2520, [], ap([], [2516]):rdf:type(:I840, :ind)).
lemma(2521, [], ap([], [2516]):rdf:type(:J840, :ind)).
lemma(2522, [], ap([], [2519]):rdf:type(:N841, :ind)).
lemma(2523, [], ap([], [2519]):rdf:type(:I841, :ind)).
lemma(2524, [], ap([], [2519]):rdf:type(:J841, :ind)).
lemma(2525, [], ap([], [2522]):rdf:type(:N842, :ind)).
lemma(2526, [], ap([], [2522]):rdf:type(:I842, :ind)).
lemma(2527, [], ap([], [2522]):rdf:type(:J842, :ind)).
lemma(2528, [], ap([], [2525]):rdf:type(:N843, :ind)).
lemma(2529, [], ap([], [2525]):rdf:type(:I843, :ind)).
lemma(2530, [], ap([], [2525]):rdf:type(:J843, :ind)).
lemma(2531, [], ap([], [2528]):rdf:type(:N844, :ind)).
lemma(2532, [], ap([], [2528]):rdf:type(:I844, :ind)).
lemma(2533, [], ap([], [2528]):rdf:type(:J844, :ind)).
lemma(2534, [], ap([], [2531]):rdf:type(:N845, :ind)).
lemma(2535, [], ap([], [2531]):rdf:type(:I845, :ind)).
lemma(2536, [], ap([], [2531]):rdf:type(:J845, :ind)).
lemma(2537, [], ap([], [2534]):rdf:type(:N846, :ind)).
lemma(2538, [], ap([], [2534]):rdf:type(:I846, :ind)).
lemma(2539, [], ap([], [2534]):rdf:type(:J846, :ind)).
lemma(2540, [], ap([], [2537]):rdf:type(:N847, :ind)).
lemma(2541, [], ap([], [2537]):rdf:type(:I847, :ind)).
lemma(2542, [], ap([], [2537]):rdf:type(:J847, :ind)).
lemma(2543, [], ap([], [2540]):rdf:type(:N848, :ind)).
lemma(2544, [], ap([], [2540]):rdf:type(:I848, :ind)).
lemma(2545, [], ap([], [2540]):rdf:type(:J848, :ind)).
lemma(2546, [], ap([], [2543]):rdf:type(:N849, :ind)).
lemma(2547, [], ap([], [2543]):rdf:type(:I849, :ind)).
lemma(2548, [], ap([], [2543]):rdf:type(:J849, :ind)).
lemma(2549, [], ap([], [2546]):rdf:type(:N850, :ind)).
lemma(2550, [], ap([], [2546]):rdf:type(:I850, :ind)).
lemma(2551, [], ap([], [2546]):rdf:type(:J850, :ind)).
lemma(2552, [], ap([], [2549]):rdf:type(:N851, :ind)).
lemma(2553, [], ap([], [2549]):rdf:type(:I851, :ind)).
lemma(2554, [], ap([], [2549]):rdf:type(:J851, :ind)).
lemma(2555, [], ap([], [2552]):rdf:type(:N852, :ind)).
lemma(2556, [], ap([], [2552]):rdf:type(:I852, :ind)).
lemma(2557, [], ap([], [2552]):rdf:type(:J852, :ind)).
lemma(2558, [], ap([], [2555]):rdf:type(:N853, :ind)).
lemma(2559, [], ap([], [2555]):rdf:type(:I853, :ind)).
lemma(2560, [], ap([], [2555]):rdf:type(:J853, :ind)).
lemma(2561, [], ap([], [2558]):rdf:type(:N854, :ind)).
lemma(2562, [], ap([], [2558]):rdf:type(:I854, :ind)).
lemma(2563, [], ap([], [2558]):rdf:type(:J854, :ind)).
lemma(2564, [], ap([], [2561]):rdf:type(:N855, :ind)).
lemma(2565, [], ap([], [2561]):rdf:type(:I855, :ind)).
lemma(2566, [], ap([], [2561]):rdf:type(:J855, :ind)).
lemma(2567, [], ap([], [2564]):rdf:type(:N856, :ind)).
lemma(2568, [], ap([], [2564]):rdf:type(:I856, :ind)).
lemma(2569, [], ap([], [2564]):rdf:type(:J856, :ind)).
lemma(2570, [], ap([], [2567]):rdf:type(:N857, :ind)).
lemma(2571, [], ap([], [2567]):rdf:type(:I857, :ind)).
lemma(2572, [], ap([], [2567]):rdf:type(:J857, :ind)).
lemma(2573, [], ap([], [2570]):rdf:type(:N858, :ind)).
lemma(2574, [], ap([], [2570]):rdf:type(:I858, :ind)).
lemma(2575, [], ap([], [2570]):rdf:type(:J858, :ind)).
lemma(2576, [], ap([], [2573]):rdf:type(:N859, :ind)).
lemma(2577, [], ap([], [2573]):rdf:type(:I859, :ind)).
lemma(2578, [], ap([], [2573]):rdf:type(:J859, :ind)).
lemma(2579, [], ap([], [2576]):rdf:type(:N860, :ind)).
lemma(2580, [], ap([], [2576]):rdf:type(:I860, :ind)).
lemma(2581, [], ap([], [2576]):rdf:type(:J860, :ind)).
lemma(2582, [], ap([], [2579]):rdf:type(:N861, :ind)).
lemma(2583, [], ap([], [2579]):rdf:type(:I861, :ind)).
lemma(2584, [], ap([], [2579]):rdf:type(:J861, :ind)).
lemma(2585, [], ap([], [2582]):rdf:type(:N862, :ind)).
lemma(2586, [], ap([], [2582]):rdf:type(:I862, :ind)).
lemma(2587, [], ap([], [2582]):rdf:type(:J862, :ind)).
lemma(2588, [], ap([], [2585]):rdf:type(:N863, :ind)).
lemma(2589, [], ap([], [2585]):rdf:type(:I863, :ind)).
lemma(2590, [], ap([], [2585]):rdf:type(:J863, :ind)).
lemma(2591, [], ap([], [2588]):rdf:type(:N864, :ind)).
lemma(2592, [], ap([], [2588]):rdf:type(:I864, :ind)).
lemma(2593, [], ap([], [2588]):rdf:type(:J864, :ind)).
lemma(2594, [], ap([], [2591]):rdf:type(:N865, :ind)).
lemma(2595, [], ap([], [2591]):rdf:type(:I865, :ind)).
lemma(2596, [], ap([], [2591]):rdf:type(:J865, :ind)).
lemma(2597, [], ap([], [2594]):rdf:type(:N866, :ind)).
lemma(2598, [], ap([], [2594]):rdf:type(:I866, :ind)).
lemma(2599, [], ap([], [2594]):rdf:type(:J866, :ind)).
lemma(2600, [], ap([], [2597]):rdf:type(:N867, :ind)).
lemma(2601, [], ap([], [2597]):rdf:type(:I867, :ind)).
lemma(2602, [], ap([], [2597]):rdf:type(:J867, :ind)).
lemma(2603, [], ap([], [2600]):rdf:type(:N868, :ind)).
lemma(2604, [], ap([], [2600]):rdf:type(:I868, :ind)).
lemma(2605, [], ap([], [2600]):rdf:type(:J868, :ind)).
lemma(2606, [], ap([], [2603]):rdf:type(:N869, :ind)).
lemma(2607, [], ap([], [2603]):rdf:type(:I869, :ind)).
lemma(2608, [], ap([], [2603]):rdf:type(:J869, :ind)).
lemma(2609, [], ap([], [2606]):rdf:type(:N870, :ind)).
lemma(2610, [], ap([], [2606]):rdf:type(:I870, :ind)).
lemma(2611, [], ap([], [2606]):rdf:type(:J870, :ind)).
lemma(2612, [], ap([], [2609]):rdf:type(:N871, :ind)).
lemma(2613, [], ap([], [2609]):rdf:type(:I871, :ind)).
lemma(2614, [], ap([], [2609]):rdf:type(:J871, :ind)).
lemma(2615, [], ap([], [2612]):rdf:type(:N872, :ind)).
lemma(2616, [], ap([], [2612]):rdf:type(:I872, :ind)).
lemma(2617, [], ap([], [2612]):rdf:type(:J872, :ind)).
lemma(2618, [], ap([], [2615]):rdf:type(:N873, :ind)).
lemma(2619, [], ap([], [2615]):rdf:type(:I873, :ind)).
lemma(2620, [], ap([], [2615]):rdf:type(:J873, :ind)).
lemma(2621, [], ap([], [2618]):rdf:type(:N874, :ind)).
lemma(2622, [], ap([], [2618]):rdf:type(:I874, :ind)).
lemma(2623, [], ap([], [2618]):rdf:type(:J874, :ind)).
lemma(2624, [], ap([], [2621]):rdf:type(:N875, :ind)).
lemma(2625, [], ap([], [2621]):rdf:type(:I875, :ind)).
lemma(2626, [], ap([], [2621]):rdf:type(:J875, :ind)).
lemma(2627, [], ap([], [2624]):rdf:type(:N876, :ind)).
lemma(2628, [], ap([], [2624]):rdf:type(:I876, :ind)).
lemma(2629, [], ap([], [2624]):rdf:type(:J876, :ind)).
lemma(2630, [], ap([], [2627]):rdf:type(:N877, :ind)).
lemma(2631, [], ap([], [2627]):rdf:type(:I877, :ind)).
lemma(2632, [], ap([], [2627]):rdf:type(:J877, :ind)).
lemma(2633, [], ap([], [2630]):rdf:type(:N878, :ind)).
lemma(2634, [], ap([], [2630]):rdf:type(:I878, :ind)).
lemma(2635, [], ap([], [2630]):rdf:type(:J878, :ind)).
lemma(2636, [], ap([], [2633]):rdf:type(:N879, :ind)).
lemma(2637, [], ap([], [2633]):rdf:type(:I879, :ind)).
lemma(2638, [], ap([], [2633]):rdf:type(:J879, :ind)).
lemma(2639, [], ap([], [2636]):rdf:type(:N880, :ind)).
lemma(2640, [], ap([], [2636]):rdf:type(:I880, :ind)).
lemma(2641, [], ap([], [2636]):rdf:type(:J880, :ind)).
lemma(2642, [], ap([], [2639]):rdf:type(:N881, :ind)).
lemma(2643, [], ap([], [2639]):rdf:type(:I881, :ind)).
lemma(2644, [], ap([], [2639]):rdf:type(:J881, :ind)).
lemma(2645, [], ap([], [2642]):rdf:type(:N882, :ind)).
lemma(2646, [], ap([], [2642]):rdf:type(:I882, :ind)).
lemma(2647, [], ap([], [2642]):rdf:type(:J882, :ind)).
lemma(2648, [], ap([], [2645]):rdf:type(:N883, :ind)).
lemma(2649, [], ap([], [2645]):rdf:type(:I883, :ind)).
lemma(2650, [], ap([], [2645]):rdf:type(:J883, :ind)).
lemma(2651, [], ap([], [2648]):rdf:type(:N884, :ind)).
lemma(2652, [], ap([], [2648]):rdf:type(:I884, :ind)).
lemma(2653, [], ap([], [2648]):rdf:type(:J884, :ind)).
lemma(2654, [], ap([], [2651]):rdf:type(:N885, :ind)).
lemma(2655, [], ap([], [2651]):rdf:type(:I885, :ind)).
lemma(2656, [], ap([], [2651]):rdf:type(:J885, :ind)).
lemma(2657, [], ap([], [2654]):rdf:type(:N886, :ind)).
lemma(2658, [], ap([], [2654]):rdf:type(:I886, :ind)).
lemma(2659, [], ap([], [2654]):rdf:type(:J886, :ind)).
lemma(2660, [], ap([], [2657]):rdf:type(:N887, :ind)).
lemma(2661, [], ap([], [2657]):rdf:type(:I887, :ind)).
lemma(2662, [], ap([], [2657]):rdf:type(:J887, :ind)).
lemma(2663, [], ap([], [2660]):rdf:type(:N888, :ind)).
lemma(2664, [], ap([], [2660]):rdf:type(:I888, :ind)).
lemma(2665, [], ap([], [2660]):rdf:type(:J888, :ind)).
lemma(2666, [], ap([], [2663]):rdf:type(:N889, :ind)).
lemma(2667, [], ap([], [2663]):rdf:type(:I889, :ind)).
lemma(2668, [], ap([], [2663]):rdf:type(:J889, :ind)).
lemma(2669, [], ap([], [2666]):rdf:type(:N890, :ind)).
lemma(2670, [], ap([], [2666]):rdf:type(:I890, :ind)).
lemma(2671, [], ap([], [2666]):rdf:type(:J890, :ind)).
lemma(2672, [], ap([], [2669]):rdf:type(:N891, :ind)).
lemma(2673, [], ap([], [2669]):rdf:type(:I891, :ind)).
lemma(2674, [], ap([], [2669]):rdf:type(:J891, :ind)).
lemma(2675, [], ap([], [2672]):rdf:type(:N892, :ind)).
lemma(2676, [], ap([], [2672]):rdf:type(:I892, :ind)).
lemma(2677, [], ap([], [2672]):rdf:type(:J892, :ind)).
lemma(2678, [], ap([], [2675]):rdf:type(:N893, :ind)).
lemma(2679, [], ap([], [2675]):rdf:type(:I893, :ind)).
lemma(2680, [], ap([], [2675]):rdf:type(:J893, :ind)).
lemma(2681, [], ap([], [2678]):rdf:type(:N894, :ind)).
lemma(2682, [], ap([], [2678]):rdf:type(:I894, :ind)).
lemma(2683, [], ap([], [2678]):rdf:type(:J894, :ind)).
lemma(2684, [], ap([], [2681]):rdf:type(:N895, :ind)).
lemma(2685, [], ap([], [2681]):rdf:type(:I895, :ind)).
lemma(2686, [], ap([], [2681]):rdf:type(:J895, :ind)).
lemma(2687, [], ap([], [2684]):rdf:type(:N896, :ind)).
lemma(2688, [], ap([], [2684]):rdf:type(:I896, :ind)).
lemma(2689, [], ap([], [2684]):rdf:type(:J896, :ind)).
lemma(2690, [], ap([], [2687]):rdf:type(:N897, :ind)).
lemma(2691, [], ap([], [2687]):rdf:type(:I897, :ind)).
lemma(2692, [], ap([], [2687]):rdf:type(:J897, :ind)).
lemma(2693, [], ap([], [2690]):rdf:type(:N898, :ind)).
lemma(2694, [], ap([], [2690]):rdf:type(:I898, :ind)).
lemma(2695, [], ap([], [2690]):rdf:type(:J898, :ind)).
lemma(2696, [], ap([], [2693]):rdf:type(:N899, :ind)).
lemma(2697, [], ap([], [2693]):rdf:type(:I899, :ind)).
lemma(2698, [], ap([], [2693]):rdf:type(:J899, :ind)).
lemma(2699, [], ap([], [2696]):rdf:type(:N900, :ind)).
lemma(2700, [], ap([], [2696]):rdf:type(:I900, :ind)).
lemma(2701, [], ap([], [2696]):rdf:type(:J900, :ind)).
lemma(2702, [], ap([], [2699]):rdf:type(:N901, :ind)).
lemma(2703, [], ap([], [2699]):rdf:type(:I901, :ind)).
lemma(2704, [], ap([], [2699]):rdf:type(:J901, :ind)).
lemma(2705, [], ap([], [2702]):rdf:type(:N902, :ind)).
lemma(2706, [], ap([], [2702]):rdf:type(:I902, :ind)).
lemma(2707, [], ap([], [2702]):rdf:type(:J902, :ind)).
lemma(2708, [], ap([], [2705]):rdf:type(:N903, :ind)).
lemma(2709, [], ap([], [2705]):rdf:type(:I903, :ind)).
lemma(2710, [], ap([], [2705]):rdf:type(:J903, :ind)).
lemma(2711, [], ap([], [2708]):rdf:type(:N904, :ind)).
lemma(2712, [], ap([], [2708]):rdf:type(:I904, :ind)).
lemma(2713, [], ap([], [2708]):rdf:type(:J904, :ind)).
lemma(2714, [], ap([], [2711]):rdf:type(:N905, :ind)).
lemma(2715, [], ap([], [2711]):rdf:type(:I905, :ind)).
lemma(2716, [], ap([], [2711]):rdf:type(:J905, :ind)).
lemma(2717, [], ap([], [2714]):rdf:type(:N906, :ind)).
lemma(2718, [], ap([], [2714]):rdf:type(:I906, :ind)).
lemma(2719, [], ap([], [2714]):rdf:type(:J906, :ind)).
lemma(2720, [], ap([], [2717]):rdf:type(:N907, :ind)).
lemma(2721, [], ap([], [2717]):rdf:type(:I907, :ind)).
lemma(2722, [], ap([], [2717]):rdf:type(:J907, :ind)).
lemma(2723, [], ap([], [2720]):rdf:type(:N908, :ind)).
lemma(2724, [], ap([], [2720]):rdf:type(:I908, :ind)).
lemma(2725, [], ap([], [2720]):rdf:type(:J908, :ind)).
lemma(2726, [], ap([], [2723]):rdf:type(:N909, :ind)).
lemma(2727, [], ap([], [2723]):rdf:type(:I909, :ind)).
lemma(2728, [], ap([], [2723]):rdf:type(:J909, :ind)).
lemma(2729, [], ap([], [2726]):rdf:type(:N910, :ind)).
lemma(2730, [], ap([], [2726]):rdf:type(:I910, :ind)).
lemma(2731, [], ap([], [2726]):rdf:type(:J910, :ind)).
lemma(2732, [], ap([], [2729]):rdf:type(:N911, :ind)).
lemma(2733, [], ap([], [2729]):rdf:type(:I911, :ind)).
lemma(2734, [], ap([], [2729]):rdf:type(:J911, :ind)).
lemma(2735, [], ap([], [2732]):rdf:type(:N912, :ind)).
lemma(2736, [], ap([], [2732]):rdf:type(:I912, :ind)).
lemma(2737, [], ap([], [2732]):rdf:type(:J912, :ind)).
lemma(2738, [], ap([], [2735]):rdf:type(:N913, :ind)).
lemma(2739, [], ap([], [2735]):rdf:type(:I913, :ind)).
lemma(2740, [], ap([], [2735]):rdf:type(:J913, :ind)).
lemma(2741, [], ap([], [2738]):rdf:type(:N914, :ind)).
lemma(2742, [], ap([], [2738]):rdf:type(:I914, :ind)).
lemma(2743, [], ap([], [2738]):rdf:type(:J914, :ind)).
lemma(2744, [], ap([], [2741]):rdf:type(:N915, :ind)).
lemma(2745, [], ap([], [2741]):rdf:type(:I915, :ind)).
lemma(2746, [], ap([], [2741]):rdf:type(:J915, :ind)).
lemma(2747, [], ap([], [2744]):rdf:type(:N916, :ind)).
lemma(2748, [], ap([], [2744]):rdf:type(:I916, :ind)).
lemma(2749, [], ap([], [2744]):rdf:type(:J916, :ind)).
lemma(2750, [], ap([], [2747]):rdf:type(:N917, :ind)).
lemma(2751, [], ap([], [2747]):rdf:type(:I917, :ind)).
lemma(2752, [], ap([], [2747]):rdf:type(:J917, :ind)).
lemma(2753, [], ap([], [2750]):rdf:type(:N918, :ind)).
lemma(2754, [], ap([], [2750]):rdf:type(:I918, :ind)).
lemma(2755, [], ap([], [2750]):rdf:type(:J918, :ind)).
lemma(2756, [], ap([], [2753]):rdf:type(:N919, :ind)).
lemma(2757, [], ap([], [2753]):rdf:type(:I919, :ind)).
lemma(2758, [], ap([], [2753]):rdf:type(:J919, :ind)).
lemma(2759, [], ap([], [2756]):rdf:type(:N920, :ind)).
lemma(2760, [], ap([], [2756]):rdf:type(:I920, :ind)).
lemma(2761, [], ap([], [2756]):rdf:type(:J920, :ind)).
lemma(2762, [], ap([], [2759]):rdf:type(:N921, :ind)).
lemma(2763, [], ap([], [2759]):rdf:type(:I921, :ind)).
lemma(2764, [], ap([], [2759]):rdf:type(:J921, :ind)).
lemma(2765, [], ap([], [2762]):rdf:type(:N922, :ind)).
lemma(2766, [], ap([], [2762]):rdf:type(:I922, :ind)).
lemma(2767, [], ap([], [2762]):rdf:type(:J922, :ind)).
lemma(2768, [], ap([], [2765]):rdf:type(:N923, :ind)).
lemma(2769, [], ap([], [2765]):rdf:type(:I923, :ind)).
lemma(2770, [], ap([], [2765]):rdf:type(:J923, :ind)).
lemma(2771, [], ap([], [2768]):rdf:type(:N924, :ind)).
lemma(2772, [], ap([], [2768]):rdf:type(:I924, :ind)).
lemma(2773, [], ap([], [2768]):rdf:type(:J924, :ind)).
lemma(2774, [], ap([], [2771]):rdf:type(:N925, :ind)).
lemma(2775, [], ap([], [2771]):rdf:type(:I925, :ind)).
lemma(2776, [], ap([], [2771]):rdf:type(:J925, :ind)).
lemma(2777, [], ap([], [2774]):rdf:type(:N926, :ind)).
lemma(2778, [], ap([], [2774]):rdf:type(:I926, :ind)).
lemma(2779, [], ap([], [2774]):rdf:type(:J926, :ind)).
lemma(2780, [], ap([], [2777]):rdf:type(:N927, :ind)).
lemma(2781, [], ap([], [2777]):rdf:type(:I927, :ind)).
lemma(2782, [], ap([], [2777]):rdf:type(:J927, :ind)).
lemma(2783, [], ap([], [2780]):rdf:type(:N928, :ind)).
lemma(2784, [], ap([], [2780]):rdf:type(:I928, :ind)).
lemma(2785, [], ap([], [2780]):rdf:type(:J928, :ind)).
lemma(2786, [], ap([], [2783]):rdf:type(:N929, :ind)).
lemma(2787, [], ap([], [2783]):rdf:type(:I929, :ind)).
lemma(2788, [], ap([], [2783]):rdf:type(:J929, :ind)).
lemma(2789, [], ap([], [2786]):rdf:type(:N930, :ind)).
lemma(2790, [], ap([], [2786]):rdf:type(:I930, :ind)).
lemma(2791, [], ap([], [2786]):rdf:type(:J930, :ind)).
lemma(2792, [], ap([], [2789]):rdf:type(:N931, :ind)).
lemma(2793, [], ap([], [2789]):rdf:type(:I931, :ind)).
lemma(2794, [], ap([], [2789]):rdf:type(:J931, :ind)).
lemma(2795, [], ap([], [2792]):rdf:type(:N932, :ind)).
lemma(2796, [], ap([], [2792]):rdf:type(:I932, :ind)).
lemma(2797, [], ap([], [2792]):rdf:type(:J932, :ind)).
lemma(2798, [], ap([], [2795]):rdf:type(:N933, :ind)).
lemma(2799, [], ap([], [2795]):rdf:type(:I933, :ind)).
lemma(2800, [], ap([], [2795]):rdf:type(:J933, :ind)).
lemma(2801, [], ap([], [2798]):rdf:type(:N934, :ind)).
lemma(2802, [], ap([], [2798]):rdf:type(:I934, :ind)).
lemma(2803, [], ap([], [2798]):rdf:type(:J934, :ind)).
lemma(2804, [], ap([], [2801]):rdf:type(:N935, :ind)).
lemma(2805, [], ap([], [2801]):rdf:type(:I935, :ind)).
lemma(2806, [], ap([], [2801]):rdf:type(:J935, :ind)).
lemma(2807, [], ap([], [2804]):rdf:type(:N936, :ind)).
lemma(2808, [], ap([], [2804]):rdf:type(:I936, :ind)).
lemma(2809, [], ap([], [2804]):rdf:type(:J936, :ind)).
lemma(2810, [], ap([], [2807]):rdf:type(:N937, :ind)).
lemma(2811, [], ap([], [2807]):rdf:type(:I937, :ind)).
lemma(2812, [], ap([], [2807]):rdf:type(:J937, :ind)).
lemma(2813, [], ap([], [2810]):rdf:type(:N938, :ind)).
lemma(2814, [], ap([], [2810]):rdf:type(:I938, :ind)).
lemma(2815, [], ap([], [2810]):rdf:type(:J938, :ind)).
lemma(2816, [], ap([], [2813]):rdf:type(:N939, :ind)).
lemma(2817, [], ap([], [2813]):rdf:type(:I939, :ind)).
lemma(2818, [], ap([], [2813]):rdf:type(:J939, :ind)).
lemma(2819, [], ap([], [2816]):rdf:type(:N940, :ind)).
lemma(2820, [], ap([], [2816]):rdf:type(:I940, :ind)).
lemma(2821, [], ap([], [2816]):rdf:type(:J940, :ind)).
lemma(2822, [], ap([], [2819]):rdf:type(:N941, :ind)).
lemma(2823, [], ap([], [2819]):rdf:type(:I941, :ind)).
lemma(2824, [], ap([], [2819]):rdf:type(:J941, :ind)).
lemma(2825, [], ap([], [2822]):rdf:type(:N942, :ind)).
lemma(2826, [], ap([], [2822]):rdf:type(:I942, :ind)).
lemma(2827, [], ap([], [2822]):rdf:type(:J942, :ind)).
lemma(2828, [], ap([], [2825]):rdf:type(:N943, :ind)).
lemma(2829, [], ap([], [2825]):rdf:type(:I943, :ind)).
lemma(2830, [], ap([], [2825]):rdf:type(:J943, :ind)).
lemma(2831, [], ap([], [2828]):rdf:type(:N944, :ind)).
lemma(2832, [], ap([], [2828]):rdf:type(:I944, :ind)).
lemma(2833, [], ap([], [2828]):rdf:type(:J944, :ind)).
lemma(2834, [], ap([], [2831]):rdf:type(:N945, :ind)).
lemma(2835, [], ap([], [2831]):rdf:type(:I945, :ind)).
lemma(2836, [], ap([], [2831]):rdf:type(:J945, :ind)).
lemma(2837, [], ap([], [2834]):rdf:type(:N946, :ind)).
lemma(2838, [], ap([], [2834]):rdf:type(:I946, :ind)).
lemma(2839, [], ap([], [2834]):rdf:type(:J946, :ind)).
lemma(2840, [], ap([], [2837]):rdf:type(:N947, :ind)).
lemma(2841, [], ap([], [2837]):rdf:type(:I947, :ind)).
lemma(2842, [], ap([], [2837]):rdf:type(:J947, :ind)).
lemma(2843, [], ap([], [2840]):rdf:type(:N948, :ind)).
lemma(2844, [], ap([], [2840]):rdf:type(:I948, :ind)).
lemma(2845, [], ap([], [2840]):rdf:type(:J948, :ind)).
lemma(2846, [], ap([], [2843]):rdf:type(:N949, :ind)).
lemma(2847, [], ap([], [2843]):rdf:type(:I949, :ind)).
lemma(2848, [], ap([], [2843]):rdf:type(:J949, :ind)).
lemma(2849, [], ap([], [2846]):rdf:type(:N950, :ind)).
lemma(2850, [], ap([], [2846]):rdf:type(:I950, :ind)).
lemma(2851, [], ap([], [2846]):rdf:type(:J950, :ind)).
lemma(2852, [], ap([], [2849]):rdf:type(:N951, :ind)).
lemma(2853, [], ap([], [2849]):rdf:type(:I951, :ind)).
lemma(2854, [], ap([], [2849]):rdf:type(:J951, :ind)).
lemma(2855, [], ap([], [2852]):rdf:type(:N952, :ind)).
lemma(2856, [], ap([], [2852]):rdf:type(:I952, :ind)).
lemma(2857, [], ap([], [2852]):rdf:type(:J952, :ind)).
lemma(2858, [], ap([], [2855]):rdf:type(:N953, :ind)).
lemma(2859, [], ap([], [2855]):rdf:type(:I953, :ind)).
lemma(2860, [], ap([], [2855]):rdf:type(:J953, :ind)).
lemma(2861, [], ap([], [2858]):rdf:type(:N954, :ind)).
lemma(2862, [], ap([], [2858]):rdf:type(:I954, :ind)).
lemma(2863, [], ap([], [2858]):rdf:type(:J954, :ind)).
lemma(2864, [], ap([], [2861]):rdf:type(:N955, :ind)).
lemma(2865, [], ap([], [2861]):rdf:type(:I955, :ind)).
lemma(2866, [], ap([], [2861]):rdf:type(:J955, :ind)).
lemma(2867, [], ap([], [2864]):rdf:type(:N956, :ind)).
lemma(2868, [], ap([], [2864]):rdf:type(:I956, :ind)).
lemma(2869, [], ap([], [2864]):rdf:type(:J956, :ind)).
lemma(2870, [], ap([], [2867]):rdf:type(:N957, :ind)).
lemma(2871, [], ap([], [2867]):rdf:type(:I957, :ind)).
lemma(2872, [], ap([], [2867]):rdf:type(:J957, :ind)).
lemma(2873, [], ap([], [2870]):rdf:type(:N958, :ind)).
lemma(2874, [], ap([], [2870]):rdf:type(:I958, :ind)).
lemma(2875, [], ap([], [2870]):rdf:type(:J958, :ind)).
lemma(2876, [], ap([], [2873]):rdf:type(:N959, :ind)).
lemma(2877, [], ap([], [2873]):rdf:type(:I959, :ind)).
lemma(2878, [], ap([], [2873]):rdf:type(:J959, :ind)).
lemma(2879, [], ap([], [2876]):rdf:type(:N960, :ind)).
lemma(2880, [], ap([], [2876]):rdf:type(:I960, :ind)).
lemma(2881, [], ap([], [2876]):rdf:type(:J960, :ind)).
lemma(2882, [], ap([], [2879]):rdf:type(:N961, :ind)).
lemma(2883, [], ap([], [2879]):rdf:type(:I961, :ind)).
lemma(2884, [], ap([], [2879]):rdf:type(:J961, :ind)).
lemma(2885, [], ap([], [2882]):rdf:type(:N962, :ind)).
lemma(2886, [], ap([], [2882]):rdf:type(:I962, :ind)).
lemma(2887, [], ap([], [2882]):rdf:type(:J962, :ind)).
lemma(2888, [], ap([], [2885]):rdf:type(:N963, :ind)).
lemma(2889, [], ap([], [2885]):rdf:type(:I963, :ind)).
lemma(2890, [], ap([], [2885]):rdf:type(:J963, :ind)).
lemma(2891, [], ap([], [2888]):rdf:type(:N964, :ind)).
lemma(2892, [], ap([], [2888]):rdf:type(:I964, :ind)).
lemma(2893, [], ap([], [2888]):rdf:type(:J964, :ind)).
lemma(2894, [], ap([], [2891]):rdf:type(:N965, :ind)).
lemma(2895, [], ap([], [2891]):rdf:type(:I965, :ind)).
lemma(2896, [], ap([], [2891]):rdf:type(:J965, :ind)).
lemma(2897, [], ap([], [2894]):rdf:type(:N966, :ind)).
lemma(2898, [], ap([], [2894]):rdf:type(:I966, :ind)).
lemma(2899, [], ap([], [2894]):rdf:type(:J966, :ind)).
lemma(2900, [], ap([], [2897]):rdf:type(:N967, :ind)).
lemma(2901, [], ap([], [2897]):rdf:type(:I967, :ind)).
lemma(2902, [], ap([], [2897]):rdf:type(:J967, :ind)).
lemma(2903, [], ap([], [2900]):rdf:type(:N968, :ind)).
lemma(2904, [], ap([], [2900]):rdf:type(:I968, :ind)).
lemma(2905, [], ap([], [2900]):rdf:type(:J968, :ind)).
lemma(2906, [], ap([], [2903]):rdf:type(:N969, :ind)).
lemma(2907, [], ap([], [2903]):rdf:type(:I969, :ind)).
lemma(2908, [], ap([], [2903]):rdf:type(:J969, :ind)).
lemma(2909, [], ap([], [2906]):rdf:type(:N970, :ind)).
lemma(2910, [], ap([], [2906]):rdf:type(:I970, :ind)).
lemma(2911, [], ap([], [2906]):rdf:type(:J970, :ind)).
lemma(2912, [], ap([], [2909]):rdf:type(:N971, :ind)).
lemma(2913, [], ap([], [2909]):rdf:type(:I971, :ind)).
lemma(2914, [], ap([], [2909]):rdf:type(:J971, :ind)).
lemma(2915, [], ap([], [2912]):rdf:type(:N972, :ind)).
lemma(2916, [], ap([], [2912]):rdf:type(:I972, :ind)).
lemma(2917, [], ap([], [2912]):rdf:type(:J972, :ind)).
lemma(2918, [], ap([], [2915]):rdf:type(:N973, :ind)).
lemma(2919, [], ap([], [2915]):rdf:type(:I973, :ind)).
lemma(2920, [], ap([], [2915]):rdf:type(:J973, :ind)).
lemma(2921, [], ap([], [2918]):rdf:type(:N974, :ind)).
lemma(2922, [], ap([], [2918]):rdf:type(:I974, :ind)).
lemma(2923, [], ap([], [2918]):rdf:type(:J974, :ind)).
lemma(2924, [], ap([], [2921]):rdf:type(:N975, :ind)).
lemma(2925, [], ap([], [2921]):rdf:type(:I975, :ind)).
lemma(2926, [], ap([], [2921]):rdf:type(:J975, :ind)).
lemma(2927, [], ap([], [2924]):rdf:type(:N976, :ind)).
lemma(2928, [], ap([], [2924]):rdf:type(:I976, :ind)).
lemma(2929, [], ap([], [2924]):rdf:type(:J976, :ind)).
lemma(2930, [], ap([], [2927]):rdf:type(:N977, :ind)).
lemma(2931, [], ap([], [2927]):rdf:type(:I977, :ind)).
lemma(2932, [], ap([], [2927]):rdf:type(:J977, :ind)).
lemma(2933, [], ap([], [2930]):rdf:type(:N978, :ind)).
lemma(2934, [], ap([], [2930]):rdf:type(:I978, :ind)).
lemma(2935, [], ap([], [2930]):rdf:type(:J978, :ind)).
lemma(2936, [], ap([], [2933]):rdf:type(:N979, :ind)).
lemma(2937, [], ap([], [2933]):rdf:type(:I979, :ind)).
lemma(2938, [], ap([], [2933]):rdf:type(:J979, :ind)).
lemma(2939, [], ap([], [2936]):rdf:type(:N980, :ind)).
lemma(2940, [], ap([], [2936]):rdf:type(:I980, :ind)).
lemma(2941, [], ap([], [2936]):rdf:type(:J980, :ind)).
lemma(2942, [], ap([], [2939]):rdf:type(:N981, :ind)).
lemma(2943, [], ap([], [2939]):rdf:type(:I981, :ind)).
lemma(2944, [], ap([], [2939]):rdf:type(:J981, :ind)).
lemma(2945, [], ap([], [2942]):rdf:type(:N982, :ind)).
lemma(2946, [], ap([], [2942]):rdf:type(:I982, :ind)).
lemma(2947, [], ap([], [2942]):rdf:type(:J982, :ind)).
lemma(2948, [], ap([], [2945]):rdf:type(:N983, :ind)).
lemma(2949, [], ap([], [2945]):rdf:type(:I983, :ind)).
lemma(2950, [], ap([], [2945]):rdf:type(:J983, :ind)).
lemma(2951, [], ap([], [2948]):rdf:type(:N984, :ind)).
lemma(2952, [], ap([], [2948]):rdf:type(:I984, :ind)).
lemma(2953, [], ap([], [2948]):rdf:type(:J984, :ind)).
lemma(2954, [], ap([], [2951]):rdf:type(:N985, :ind)).
lemma(2955, [], ap([], [2951]):rdf:type(:I985, :ind)).
lemma(2956, [], ap([], [2951]):rdf:type(:J985, :ind)).
lemma(2957, [], ap([], [2954]):rdf:type(:N986, :ind)).
lemma(2958, [], ap([], [2954]):rdf:type(:I986, :ind)).
lemma(2959, [], ap([], [2954]):rdf:type(:J986, :ind)).
lemma(2960, [], ap([], [2957]):rdf:type(:N987, :ind)).
lemma(2961, [], ap([], [2957]):rdf:type(:I987, :ind)).
lemma(2962, [], ap([], [2957]):rdf:type(:J987, :ind)).
lemma(2963, [], ap([], [2960]):rdf:type(:N988, :ind)).
lemma(2964, [], ap([], [2960]):rdf:type(:I988, :ind)).
lemma(2965, [], ap([], [2960]):rdf:type(:J988, :ind)).
lemma(2966, [], ap([], [2963]):rdf:type(:N989, :ind)).
lemma(2967, [], ap([], [2963]):rdf:type(:I989, :ind)).
lemma(2968, [], ap([], [2963]):rdf:type(:J989, :ind)).
lemma(2969, [], ap([], [2966]):rdf:type(:N990, :ind)).
lemma(2970, [], ap([], [2966]):rdf:type(:I990, :ind)).
lemma(2971, [], ap([], [2966]):rdf:type(:J990, :ind)).
lemma(2972, [], ap([], [2969]):rdf:type(:N991, :ind)).
lemma(2973, [], ap([], [2969]):rdf:type(:I991, :ind)).
lemma(2974, [], ap([], [2969]):rdf:type(:J991, :ind)).
lemma(2975, [], ap([], [2972]):rdf:type(:N992, :ind)).
lemma(2976, [], ap([], [2972]):rdf:type(:I992, :ind)).
lemma(2977, [], ap([], [2972]):rdf:type(:J992, :ind)).
lemma(2978, [], ap([], [2975]):rdf:type(:N993, :ind)).
lemma(2979, [], ap([], [2975]):rdf:type(:I993, :ind)).
lemma(2980, [], ap([], [2975]):rdf:type(:J993, :ind)).
lemma(2981, [], ap([], [2978]):rdf:type(:N994, :ind)).
lemma(2982, [], ap([], [2978]):rdf:type(:I994, :ind)).
lemma(2983, [], ap([], [2978]):rdf:type(:J994, :ind)).
lemma(2984, [], ap([], [2981]):rdf:type(:N995, :ind)).
lemma(2985, [], ap([], [2981]):rdf:type(:I995, :ind)).
lemma(2986, [], ap([], [2981]):rdf:type(:J995, :ind)).
lemma(2987, [], ap([], [2984]):rdf:type(:N996, :ind)).
lemma(2988, [], ap([], [2984]):rdf:type(:I996, :ind)).
lemma(2989, [], ap([], [2984]):rdf:type(:J996, :ind)).
lemma(2990, [], ap([], [2987]):rdf:type(:N997, :ind)).
lemma(2991, [], ap([], [2987]):rdf:type(:I997, :ind)).
lemma(2992, [], ap([], [2987]):rdf:type(:J997, :ind)).
lemma(2993, [], ap([], [2990]):rdf:type(:N998, :ind)).
lemma(2994, [], ap([], [2990]):rdf:type(:I998, :ind)).
lemma(2995, [], ap([], [2990]):rdf:type(:J998, :ind)).
lemma(2996, [], ap([], [2993]):rdf:type(:N999, :ind)).
lemma(2997, [], ap([], [2993]):rdf:type(:I999, :ind)).
lemma(2998, [], ap([], [2993]):rdf:type(:J999, :ind)).
lemma(2999, [], ap([], [2996]):rdf:type(:N1000, :ind)).
lemma(3000, [], ap([], [2996]):rdf:type(:I1000, :ind)).
lemma(3001, [], ap([], [2996]):rdf:type(:J1000, :ind)).
lemma(3002, [], ap([], [2999]):rdf:type(:A2, :ind)).
lemma(3003, [], ap([], [3002]):goal).
[1, 2, 5, 8, 11, 14, 17, 20, 23, 26, 29, 32, 35, 38, 41, 44, 47, 50, 53, 56, 59, 62, 65, 68, 71, 74, 77, 80, 83, 86, 89, 92, 95, 98, 101, 104, 107, 110, 113, 116, 119, 122, 125, 128, 131, 134, 137, 140, 143, 146, 149, 152, 155, 158, 161, 164, 167, 170, 173, 176, 179, 182, 185, 188, 191, 194, 197, 200, 203, 206, 209, 212, 215, 218, 221, 224, 227, 230, 233, 236, 239, 242, 245, 248, 251, 254, 257, 260, 263, 266, 269, 272, 275, 278, 281, 284, 287, 290, 293, 296, 299, 302, 305, 308, 311, 314, 317, 320, 323, 326, 329, 332, 335, 338, 341, 344, 347, 350, 353, 356, 359, 362, 365, 368, 371, 374, 377, 380, 383, 386, 389, 392, 395, 398, 401, 404, 407, 410, 413, 416, 419, 422, 425, 428, 431, 434, 437, 440, 443, 446, 449, 452, 455, 458, 461, 464, 467, 470, 473, 476, 479, 482, 485, 488, 491, 494, 497, 500, 503, 506, 509, 512, 515, 518, 521, 524, 527, 530, 533, 536, 539, 542, 545, 548, 551, 554, 557, 560, 563, 566, 569, 572, 575, 578, 581, 584, 587, 590, 593, 596, 599, 602, 605, 608, 611, 614, 617, 620, 623, 626, 629, 632, 635, 638, 641, 644, 647, 650, 653, 656, 659, 662, 665, 668, 671, 674, 677, 680, 683, 686, 689, 692, 695, 698, 701, 704, 707, 710, 713, 716, 719, 722, 725, 728, 731, 734, 737, 740, 743, 746, 749, 752, 755, 758, 761, 764, 767, 770, 773, 776, 779, 782, 785, 788, 791, 794, 797, 800, 803, 806, 809, 812, 815, 818, 821, 824, 827, 830, 833, 836, 839, 842, 845, 848, 851, 854, 857, 860, 863, 866, 869, 872, 875, 878, 881, 884, 887, 890, 893, 896, 899, 902, 905, 908, 911, 914, 917, 920, 923, 926, 929, 932, 935, 938, 941, 944, 947, 950, 953, 956, 959, 962, 965, 968, 971, 974, 977, 980, 983, 986, 989, 992, 995, 998, 1001, 1004, 1007, 1010, 1013, 1016, 1019, 1022, 1025, 1028, 1031, 1034, 1037, 1040, 1043, 1046, 1049, 1052, 1055, 1058, 1061, 1064, 1067, 1070, 1073, 1076, 1079, 1082, 1085, 1088, 1091, 1094, 1097, 1100, 1103, 1106, 1109, 1112, 1115, 1118, 1121, 1124, 1127, 1130, 1133, 1136, 1139, 1142, 1145, 1148, 1151, 1154, 1157, 1160, 1163, 1166, 1169, 1172, 1175, 1178, 1181, 1184, 1187, 1190, 1193, 1196, 1199, 1202, 1205, 1208, 1211, 1214, 1217, 1220, 1223, 1226, 1229, 1232, 1235, 1238, 1241, 1244, 1247, 1250, 1253, 1256, 1259, 1262, 1265, 1268, 1271, 1274, 1277, 1280, 1283, 1286, 1289, 1292, 1295, 1298, 1301, 1304, 1307, 1310, 1313, 1316, 1319, 1322, 1325, 1328, 1331, 1334, 1337, 1340, 1343, 1346, 1349, 1352, 1355, 1358, 1361, 1364, 1367, 1370, 1373, 1376, 1379, 1382, 1385, 1388, 1391, 1394, 1397, 1400, 1403, 1406, 1409, 1412, 1415, 1418, 1421, 1424, 1427, 1430, 1433, 1436, 1439, 1442, 1445, 1448, 1451, 1454, 1457, 1460, 1463, 1466, 1469, 1472, 1475, 1478, 1481, 1484, 1487, 1490, 1493, 1496, 1499, 1502, 1505, 1508, 1511, 1514, 1517, 1520, 1523, 1526, 1529, 1532, 1535, 1538, 1541, 1544, 1547, 1550, 1553, 1556, 1559, 1562, 1565, 1568, 1571, 1574, 1577, 1580, 1583, 1586, 1589, 1592, 1595, 1598, 1601, 1604, 1607, 1610, 1613, 1616, 1619, 1622, 1625, 1628, 1631, 1634, 1637, 1640, 1643, 1646, 1649, 1652, 1655, 1658, 1661, 1664, 1667, 1670, 1673, 1676, 1679, 1682, 1685, 1688, 1691, 1694, 1697, 1700, 1703, 1706, 1709, 1712, 1715, 1718, 1721, 1724, 1727, 1730, 1733, 1736, 1739, 1742, 1745, 1748, 1751, 1754, 1757, 1760, 1763, 1766, 1769, 1772, 1775, 1778, 1781, 1784, 1787, 1790, 1793, 1796, 1799, 1802, 1805, 1808, 1811, 1814, 1817, 1820, 1823, 1826, 1829, 1832, 1835, 1838, 1841, 1844, 1847, 1850, 1853, 1856, 1859, 1862, 1865, 1868, 1871, 1874, 1877, 1880, 1883, 1886, 1889, 1892, 1895, 1898, 1901, 1904, 1907, 1910, 1913, 1916, 1919, 1922, 1925, 1928, 1931, 1934, 1937, 1940, 1943, 1946, 1949, 1952, 1955, 1958, 1961, 1964, 1967, 1970, 1973, 1976, 1979, 1982, 1985, 1988, 1991, 1994, 1997, 2000, 2003, 2006, 2009, 2012, 2015, 2018, 2021, 2024, 2027, 2030, 2033, 2036, 2039, 2042, 2045, 2048, 2051, 2054, 2057, 2060, 2063, 2066, 2069, 2072, 2075, 2078, 2081, 2084, 2087, 2090, 2093, 2096, 2099, 2102, 2105, 2108, 2111, 2114, 2117, 2120, 2123, 2126, 2129, 2132, 2135, 2138, 2141, 2144, 2147, 2150, 2153, 2156, 2159, 2162, 2165, 2168, 2171, 2174, 2177, 2180, 2183, 2186, 2189, 2192, 2195, 2198, 2201, 2204, 2207, 2210, 2213, 2216, 2219, 2222, 2225, 2228, 2231, 2234, 2237, 2240, 2243, 2246, 2249, 2252, 2255, 2258, 2261, 2264, 2267, 2270, 2273, 2276, 2279, 2282, 2285, 2288, 2291, 2294, 2297, 2300, 2303, 2306, 2309, 2312, 2315, 2318, 2321, 2324, 2327, 2330, 2333, 2336, 2339, 2342, 2345, 2348, 2351, 2354, 2357, 2360, 2363, 2366, 2369, 2372, 2375, 2378, 2381, 2384, 2387, 2390, 2393, 2396, 2399, 2402, 2405, 2408, 2411, 2414, 2417, 2420, 2423, 2426, 2429, 2432, 2435, 2438, 2441, 2444, 2447, 2450, 2453, 2456, 2459, 2462, 2465, 2468, 2471, 2474, 2477, 2480, 2483, 2486, 2489, 2492, 2495, 2498, 2501, 2504, 2507, 2510, 2513, 2516, 2519, 2522, 2525, 2528, 2531, 2534, 2537, 2540, 2543, 2546, 2549, 2552, 2555, 2558, 2561, 2564, 2567, 2570, 2573, 2576, 2579, 2582, 2585, 2588, 2591, 2594, 2597, 2600, 2603, 2606, 2609, 2612, 2615, 2618, 2621, 2624, 2627, 2630, 2633, 2636, 2639, 2642, 2645, 2648, 2651, 2654, 2657, 2660, 2663, 2666, 2669, 2672, 2675, 2678, 2681, 2684, 2687, 2690, 2693, 2696, 2699, 2702, 2705, 2708, 2711, 2714, 2717, 2720, 2723, 2726, 2729, 2732, 2735, 2738, 2741, 2744, 2747, 2750, 2753, 2756, 2759, 2762, 2765, 2768, 2771, 2774, 2777, 2780, 2783, 2786, 2789, 2792, 2795, 2798, 2801, 2804, 2807, 2810, 2813, 2816, 2819, 2822, 2825, 2828, 2831, 2834, 2837, 2840, 2843, 2846, 2849, 2852, 2855, 2858, 2861, 2864, 2867, 2870, 2873, 2876, 2879, 2882, 2885, 2888, 2891, 2894, 2897, 2900, 2903, 2906, 2909, 2912, 2915, 2918, 2921, 2924, 2927, 2930, 2933, 2936, 2939, 2942, 2945, 2948, 2951, 2954, 2957, 2960, 2963, 2966, 2969, 2972, 2975, 2978, 2981, 2984, 2987, 2990, 2993, 2996, 2999, 3002, 3003]