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(:A2, :ind)).
lemma(303, [], ap([], [302]):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, 303]