xref: /dports/math/lidia/lidia-2.3.0+latte-patches-2014-10-04/src/lattices/Lattices/t25

25
25
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
7
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
11
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
13
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
17
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
19
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
23
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
29
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
31
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
37
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
41
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
43
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
47
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
53
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
59
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
61
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
67
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
71
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
73
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
79
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
83
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
89
0
42659294897697356639717223981764496325028741253238582075386
67613382720055660835010205439730552364859461844472681549103
99051815331048600370209923060248653675369085325646806949068
119759781502557511235585141458401052841859312603823669443454
147576913597866962544162012328628140742000923047763695674371
157858149187332937331341479022485857761724397546445606218586
174368282728278144369994031476130723393778904275726536483097
181213592500032166009306469870779875038961156882361740409859
192971963471440803429349662182054436841627111588705218545962
207238043878556364535992793697296205684949064254553558322521
211342521385877895382309738406165114943562081817878410155465
222231607380167379518494476360368012618983539563258045131384
228549390894752462588844777677209907055967490351862413035144
231480628363818205114989543035829496733194864172245259968891
236954843859178455256279428062886754205233365807336305756872
244349047821764206473448828564899855451190209467507283210521
250949404620616414107925728223442396202606883725463032281056
253001073043879640011270277326292212558187889185985561634874
258775087651472340216129789160201470419883529658378439215720
262343875917215099616144736592385328803793791953935514016930
264053551222272110304029860621825170454527586837534357823583
268914841906914312196327625494841686404470899828969740973984
271954687086277325171524123292848056932403993414071175774801
276250222110473049231943189414990250794117371649413231865868
281547628233960595193152239535453418062735998772270015984465