k | N | Source |
6 | 3200000 | composition |
7 | 6240000 | extend by one factor |
24 | 6436340 | fuse symbols |
26 | 9765620 | fuse symbols |
48 | 13488390 | Martirosyan-Tran van Trung |
50 | 18929176 | Martirosyan-Tran van Trung |
52 | 18932500 | Martirosyan-Tran van Trung |
54 | 25334060 | Martirosyan-Tran van Trung |
56 | 25636544 | Martirosyan-Tran van Trung |
58 | 28289665 | Martirosyan-Tran van Trung |
60 | 28292989 | Martirosyan-Tran van Trung |
62 | 28296313 | Martirosyan-Tran van Trung |
64 | 28625389 | Martirosyan-Tran van Trung |
66 | 28643913 | Martirosyan-Tran van Trung |
68 | 28647237 | Martirosyan-Tran van Trung |
70 | 28650561 | Martirosyan-Tran van Trung |
78 | 28717041 | Martirosyan-Tran van Trung |
80 | 28780197 | Martirosyan-Tran van Trung |
82 | 28843353 | Martirosyan-Tran van Trung |
84 | 28906509 | Martirosyan-Tran van Trung |
86 | 28969665 | Martirosyan-Tran van Trung |
88 | 29032821 | Martirosyan-Tran van Trung |
96 | 29095977 | Martirosyan-Tran van Trung |
98 | 37958319 | Martirosyan-Tran van Trung |
100 | 38041419 | Martirosyan-Tran van Trung |
104 | 38044743 | Martirosyan-Tran van Trung |
108 | 47493751 | Martirosyan-Tran van Trung |
112 | 47796235 | Martirosyan-Tran van Trung |
116 | 50449356 | Martirosyan-Tran van Trung |
120 | 50452680 | Martirosyan-Tran van Trung |
124 | 50456004 | Martirosyan-Tran van Trung |
128 | 50785080 | Martirosyan-Tran van Trung |
132 | 50803604 | Martirosyan-Tran van Trung |
136 | 50806928 | Martirosyan-Tran van Trung |
138 | 50810252 | Martirosyan-Tran van Trung |
140 | 51114252 | Martirosyan-Tran van Trung |
144 | 51180732 | Martirosyan-Tran van Trung |
150 | 54532484 | Martirosyan-Tran van Trung |
156 | 54609073 | Martirosyan-Tran van Trung |
160 | 54672229 | Martirosyan-Tran van Trung |
164 | 54735385 | Martirosyan-Tran van Trung |
168 | 54798541 | Martirosyan-Tran van Trung |
172 | 54861697 | Martirosyan-Tran van Trung |
176 | 54924853 | Martirosyan-Tran van Trung |
184 | 54988009 | Martirosyan-Tran van Trung |
192 | 55291971 | Martirosyan-Tran van Trung |
530 | 64363391 | linear hash family |
531 | 77829451 | extend by one factor |
532 | 91295511 | extend by one factor |
1058 | 93658467 | Martirosyan-Tran van Trung |
1060 | 94100711 | Martirosyan-Tran van Trung |
1062 | 107566771 | Martirosyan-Tran van Trung |
1064 | 121032831 | Martirosyan-Tran van Trung |
2210 | 121395502 | linear hash family |
10000 | 135163120 | Power 23^3 |