temp/c.2.4.1.5.lemma (48%)temp/c.2.4.1.6.lemma (36%)
1-3 link 7-9 link
5-6 link 11-12 link
27-28 link 32-33 link
10-12 link 15-16 link
16-17 link 21-22 link
25-25 link 25-25 link
35-36 link 37-37 link
32-33 link 35-36 link
7-8 link 13-13 link
10-10 link 15-15 link
26-26 link 29-29 link
24-24 link 5-5 link
38-38 link 44-44 link
15-15 link 20-20 link