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(:A2, :ind)).
lemma(33, [], ap([], [32]):goal).
[1, 2, 5, 8, 11, 14, 17, 20, 23, 26, 29, 32, 33]