quasi 0.0.1 → 0.0.3

Sign up to get free protection for your applications and to get access to all the features.
data/lib/NX.rb DELETED
@@ -1,1385 +0,0 @@
1
-
2
-
3
- require 'rubygems'
4
- require 'narray'
5
-
6
- require 'LowDiscrepancySequence'
7
- include Math
8
-
9
- module Quasi
10
-
11
- class NX < LowDiscrepancySequence
12
-
13
-
14
- #constructor
15
- def initialize(dim)
16
- super(dim)
17
- #check for max dimension
18
- # matrix array starts at dimension 4
19
- d=[dim,4].max
20
- #puts gMC.inspect
21
- @genMats=gMC[d-4]
22
- @M=30
23
- @N=2.0**30
24
- # array of current nx-integers
25
- @x_int= Array.new(dim)
26
- for j in 0..dim-1
27
- @x_int[j]=@genMats[j][0]
28
- end
29
-
30
- end #end constructor
31
-
32
- def getName
33
- return "NX-sequence"
34
- end
35
-
36
- #The NX points
37
-
38
- def restart()
39
- @index=1
40
-
41
- end
42
-
43
- def nextPoint()
44
- # find the position k of the rightmost zero bit of index
45
- # 0<=k<M
46
- k=0
47
- n=@index
48
- x = Array.new(@dim)
49
- while (n%2 == 1)
50
- n=n>>1
51
- k=k+1
52
- #puts k
53
- end
54
-
55
- for j in 0..@dim-1
56
- @x_int[j]= @x_int[j] ^ @genMats[j][k]
57
- #puts @N.inspect
58
- x[j]=@x_int[j].to_f/@N.to_f
59
- end
60
- @index =@index +1
61
- return x
62
- end #end NextPoint
63
-
64
- # Generator matrix array
65
- def gMC
66
- x=[[[939524096,771751936,729808896,182452224,582483968,145620992,
67
- 573276160,143319040,35829760,8957440,539110272,134777568,
68
- 33694392,8423598,538976811,134744202,33686050,8421512,
69
- 2105378,526344,131586,32896,536879136,134219784,
70
- 33554946,8388736,2097184,524296,131074,32768],
71
- [1010580540,698984873,501358050,723004184,463969191,571187723,
72
- 132511770,185808928,465315712,573148032,127769215,195797171,
73
- 437911997,538968619,8386661,11745427,29107772,36276649,
74
- 127770082,195799832,437918631,538976779,8357861,11766547,
75
- 29203389,36413995,127535002,195038112,436214272,536879104],
76
- [757935405,151587081,835596750,582689467,53347118,34275851,
77
- 1007535090,722055824,842080028,539109675,3944946,2826896,
78
- 3277596,2097707,1069548493,699400889,823919405,573243913,
79
- 1009925134,723528459,838873650,536879136,16320,10672,
80
- 12572,8747,15410,11040,12800,8192],
81
- [469762048,721420288,230686720,162529280,823918592,573243392,
82
- 63815680,45723648,53287936,34155264,1007553984,722143664,
83
- 842150172,538976811,4178893,2732729,3219245,2238729,
84
- 3944910,2826939,3277614,2097675,1069548530,699400848,
85
- 823919388,573243947,1009925170,723528480,838873600,536879104]],
86
- [[713031680,1028653056,276430848,620052480,854321152,1063687424,
87
- 832587680,1045106516,468108990,593634153,455302564,588966884,
88
- 831404242,508908875,570011537,447011402,58925105,22147102,
89
- 711520267,1027043335,274395139,619589633,853889316,526625828,
90
- 556899090,450414731,61695349,22003374,711319143,1026803237],
91
- [469762048,301989888,897581056,37748736,556793856,872939520,
92
- 43384832,558432256,339001344,370679808,924604416,51127296,
93
- 563352320,340279424,371599712,922817680,587236172,352338306,
94
- 377498053,390075586,934283841,55051268,565463810,341337217,
95
- 372011844,923021702,587340231,352404675,377528897,390090756],
96
- [444180378,582771426,386103319,820878768,768469037,464323199,
97
- 540534784,147816993,431574890,613378415,440641348,585935378,
98
- 231724032,321626113,957130649,762735301,11922288,24841932,
99
- 431584074,613353990,440628151,585993112,231593821,321875383,
100
- 956409753,761948869,9300848,19861196,419525450,636044067],
101
- [874725940,276345168,1005962939,404842328,44797378,390406220,
102
- 719975565,573261292,995508545,418874694,907865252,322234891,
103
- 226350248,200248046,996057078,201936327,719123621,922205246,
104
- 327333406,761281382,321461212,767251478,664019960,1027015197,
105
- 482492772,825457823,37181888,54617459,914535782,331364768],
106
- [1010287484,387092183,210512716,885098740,230022349,551664607,
107
- 58382349,737801095,851645666,472257767,20236143,1039091209,
108
- 58775360,44000576,1061407804,1021417497,1044512992,686817112,
109
- 210706479,885241161,830590908,506889871,1048831907,677547034,
110
- 209243052,497930786,3673294,3045292,1006772076,389294580]],
111
-
112
- #dimension 6
113
- [
114
-
115
- [644587520,320281088,403904282,548421841,437785367,394981521,
116
- 506554803,530293121,648244152,185106849,11569178,557480225,
117
- 973123720,361462440,504459536,142843915,545798656,337900032,
118
- 1040972186,196311331,413671560,562725384,572041248,35752578,
119
- 2234536,139658,8728,556888961,973078562,898331042],
120
-
121
- [685031084,856664270,430555838,298298601,984050532,453855559,
122
- 613834890,991631314,1068941538,74048175,151788468,813918083,
123
- 973205740,441353078,646982048,835775508,562397940,735494680,
124
- 129726984,352099622,830745068,555559847,2216356,5036425,
125
- 10885656,21140430,33858208,537335420,453587814,441440925],
126
-
127
- [628217850,325454664,998314354,268731841,453835512,758493955,
128
- 558219927,493683099,988488409,366666052,736178184,809509177,
129
- 462094524,742319014,574824549,633529913,188824518,221007958,
130
- 560132781,96960952,818606902,554926544,52675512,80590561,
131
- 139458802,290959604,589418696,537223600,999014834,742375611],
132
-
133
- [448749995,998890424,413198730,94371370,334225648,107954880,
134
- 955423729,849826956,143809279,92746299,191107394,559297372,
135
- 464313148,388043114,458511115,558604207,53072112,660938837,
136
- 995508297,349305116,810412340,538757973,2568240,4249692,
137
- 9384126,18320328,58841356,827833309,992673974,371872246],
138
-
139
- [990132955,386692475,335605549,861087837,982651609,84928281,
140
- 6917107,513462859,927225443,147357176,230147361,580863685,
141
- 400855275,1050928175,593828120,332815393,779729968,513430758,
142
- 591690417,173375938,441512876,572594787,53330721,44572176,
143
- 63823260,35170609,51159688,719696755,445730208,84769844],
144
-
145
- [499122176,447741952,925761536,176029696,962341888,302734336,
146
- 376373248,62016864,205310848,834126720,762654859,423141431,
147
- 399325739,730034628,911033337,334795476,777243070,197128747,
148
- 913256528,3945220,923566130,431370928,537112076,826011012,
149
- 764805349,994803843,602680533,293929560,443642261,284450072]
150
-
151
- ],
152
-
153
- #dimension 7
154
- [
155
-
156
- [644587520,320281088,403904282,548421841,437785367,394981521,
157
- 506554803,530293121,648244152,185106849,11569178,557480225,
158
- 973123720,361462440,504459536,142843915,545798656,337900032,
159
- 1040972186,196311331,413671560,562725384,572041248,35752578,
160
- 2234536,139658,8728,556888961,973078562,898331042],
161
-
162
- [685031084,856664270,430555838,298298601,984050532,453855559,
163
- 613834890,991631314,1068941538,74048175,151788468,813918083,
164
- 973205740,441353078,646982048,835775508,562397940,735494680,
165
- 129726984,352099622,830745068,555559847,2216356,5036425,
166
- 10885656,21140430,33858208,537335420,453587814,441440925],
167
-
168
- [628217850,325454664,998314354,268731841,453835512,758493955,
169
- 558219927,493683099,988488409,366666052,736178184,809509177,
170
- 462094524,742319014,574824549,633529913,188824518,221007958,
171
- 560132781,96960952,818606902,554926544,52675512,80590561,
172
- 139458802,290959604,589418696,537223600,999014834,742375611],
173
-
174
- [448749995,998890424,413198730,94371370,334225648,107954880,
175
- 955423729,849826956,143809279,92746299,191107394,559297372,
176
- 464313148,388043114,458511115,558604207,53072112,660938837,
177
- 995508297,349305116,810412340,538757973,2568240,4249692,
178
- 9384126,18320328,58841356,827833309,992673974,371872246],
179
-
180
- [990132955,386692475,335605549,861087837,982651609,84928281,
181
- 6917107,513462859,927225443,147357176,230147361,580863685,
182
- 400855275,1050928175,593828120,332815393,779729968,513430758,
183
- 591690417,173375938,441512876,572594787,53330721,44572176,
184
- 63823260,35170609,51159688,719696755,445730208,84769844],
185
-
186
- [499122176,447741952,925761536,176029696,962341888,302734336,
187
- 376373248,62016864,205310848,834126720,762654859,423141431,
188
- 399325739,730034628,911033337,334795476,777243070,197128747,
189
- 913256528,3945220,923566130,431370928,537112076,826011012,
190
- 764805349,994803843,602680533,293929560,443642261,284450072],
191
-
192
- [394486004,974886838,170929084,939407551,831916941,1059229394,
193
- 328736998,51297358,557459938,178298032,143307296,901863802,
194
- 967646216,901529372,455215978,1069593776,999700512,925375062,
195
- 328241918,10271058,176291970,34081282,134219784,178954250,
196
- 142772744,167903914,134744194,896126085,958899621,1068804408]
197
-
198
- ],
199
-
200
- # DIMENSION dim=8, generator matrices column encodings:
201
-
202
- [
203
-
204
- [760554632,893269568,1018726252,397550846,486706887,709025900,
205
- 691463814,897059424,771925038,48245314,445661732,365996202,
206
- 738733570,180388576,964722734,537575554,167816200,144706240,
207
- 723044396,895150218,771787264,48236704,137232522,142794760,
208
- 8924672,557792,448710830,500318210,747110536,180912136],
209
-
210
- [191925899,850322866,184392687,549799844,1024443066,576347035,
211
- 382532166,16627116,182150555,475711155,390430684,312432314,
212
- 738311052,271793309,380782643,1020390196,815275293,540233864,
213
- 292597895,239456792,478389643,808653086,557457846,40619436,
214
- 129541521,246531490,821638469,472330680,978942525,1012590597],
215
-
216
- [883717684,96518021,652853286,466291355,693221929,545287968,
217
- 966891722,388157465,457902881,1043440021,767486751,96647075,
218
- 1015198876,817049866,59417384,1020938648,805505024,537001984,
219
- 943048725,356580925,487641606,853040652,664254599,238742324,
220
- 399224619,780317982,208309733,119593013,994773809,1043440053],
221
-
222
- [527160192,861192064,574201038,56565168,4568205,48833925,
223
- 95077866,255844538,189274428,503510557,792005641,294530466,
224
- 1024051984,853178650,1028795142,806055692,538444458,3240220,
225
- 35861445,17606958,478325819,817042729,567019160,48393984,
226
- 131186604,243438122,247019859,334236546,995232528,1043571127],
227
-
228
- [966096851,159603416,391853503,534263005,567925083,754632580,
229
- 605300517,525481798,749929250,951300503,831759277,730950479,
230
- 90347043,911409212,381929330,911329204,459292567,581683098,
231
- 776501376,328445808,627119239,911278881,459320868,581640838,
232
- 848849327,746103428,695461275,185665125,882556987,411067682],
233
-
234
- [592598110,477898738,153058420,620511864,746949233,214503603,
235
- 1035856176,135138758,748241599,948069951,742923334,312806868,
236
- 1040260755,351989255,286634848,439053624,592972212,44821798,
237
- 935742183,83151353,626597915,911288994,458790296,581632030,
238
- 848845844,746096664,881612722,840751721,266897418,974806028],
239
-
240
- [814597320,726846282,153113138,530614223,894963566,209244070,
241
- 761266718,1027120870,391299851,447447865,651951006,624563529,
242
- 109126031,888852356,141706978,447434656,600454415,44812218,
243
- 658370173,830073561,506161194,348721804,695606583,241751322,
244
- 179316754,214663084,1035206920,128477917,884028701,405904022],
245
-
246
- [212183505,575897462,674724232,907724773,335232225,249625608,
247
- 406679306,978524888,801158541,983070477,82256637,246020036,
248
- 111731374,885723697,756331345,445791144,601390858,43522354,
249
- 290858668,872585938,626715393,912326453,458692903,580025402,
250
- 842012457,751523504,529968469,738202308,884017946,405909655]
251
-
252
- ],
253
-
254
- # DIMENSION dim=9, generator matrices column encodings:
255
-
256
- [
257
-
258
- [696344576,177875968,198830848,332466784,765128780,786752711,
259
- 700394490,710743797,80402060,582321570,531330516,600994053,
260
- 250343324,166325309,469206004,127787017,350209407,959505056,
261
- 402000190,101740930,58507941,533330381,53139563,235760460,
262
- 927807685,1048967523,1039779877,893524859,774165468,417325468],
263
-
264
- [912973312,273086528,1043348344,304024545,144844181,373870990,
265
- 620509713,1032943564,953994563,579754739,988202473,136063485,
266
- 174254401,979221296,243294609,210750988,191980114,384136855,
267
- 119830278,960709408,152810196,87797445,725033016,935489600,
268
- 513691672,375388711,601961381,646256774,844711761,782078212],
269
-
270
- [1070658743,541351219,177168414,857506082,954298862,189990685,
271
- 928237287,714563635,825097568,486326679,620190618,234665099,
272
- 969800906,10921771,117651574,960455758,712481989,104218246,
273
- 49191030,395016413,243053293,50889952,533282744,507581774,
274
- 365648082,362117277,943766598,452105566,134382757,600036003],
275
-
276
- [468149054,356323242,531691055,533479845,369430665,1050335897,
277
- 855633172,121777424,926972951,861803436,633315042,147299592,
278
- 44904118,716540604,848053812,161692489,18786120,175446231,
279
- 329890245,289816975,992443882,144833905,280706725,393983156,
280
- 1024471095,244194217,705811717,343438231,1010252774,369916015],
281
-
282
- [47463531,688500491,156046897,840884700,909106686,269785563,
283
- 239678700,930221356,503006993,979373410,786124814,22097096,
284
- 585759744,310525712,75113259,233079227,876226168,352865085,
285
- 796223239,120697769,233031239,848080728,960129683,786952936,
286
- 709641922,119053788,66120245,256432093,854840906,1062655013],
287
-
288
- [823931987,369032796,955029757,104856506,770334010,240341623,
289
- 205772931,911259079,915206596,930217353,690026418,625901845,
290
- 48782362,390178869,852575964,836019537,694715425,89906349,
291
- 150902223,5834217,11009007,485593977,400623134,1069427788,
292
- 691791464,405765657,1019838073,551252580,986644545,225903139],
293
-
294
- [382091319,739313283,942124987,288243186,229802861,751574681,
295
- 41151136,730405574,502619122,149340930,382496547,383277427,
296
- 951451155,587583426,191540436,308805631,1064908987,81380314,
297
- 127274604,62709513,46705551,1032153411,829062413,747188657,
298
- 444648745,199504873,237992630,378356548,772791966,833105476],
299
-
300
- [587078599,203960422,511194114,755679438,139542925,28367724,
301
- 165315148,768111470,999912497,1027667728,638438543,359237201,
302
- 196888839,463057534,268847481,214959631,431660447,480659247,
303
- 337817622,224901951,151877581,263454068,928091576,989398959,
304
- 722566738,924770779,629317449,713695576,181619785,564028034],
305
-
306
- [453809691,380853116,899434263,666973159,182611982,1008223646,
307
- 637955544,153759368,411114377,566828272,44056958,585359217,
308
- 34385615,801789890,507572939,48458184,992087037,411762415,
309
- 286362362,826271647,604665201,298685982,211695003,664079058,
310
- 265179510,352453822,1031228380,533517717,914087299,668725875]
311
-
312
- ],
313
-
314
- # DIMENSION dim=10, generator matrices column encodings:
315
-
316
- [
317
-
318
- [696344576,177875968,198830848,332466784,765128780,786752711,
319
- 700394490,710743797,80402060,582321570,531330516,600994053,
320
- 250343324,166325309,469206004,127787017,350209407,959505056,
321
- 402000190,101740930,58507941,533330381,53139563,235760460,
322
- 927807685,1048967523,1039779877,893524859,774165468,417325468],
323
-
324
- [912973312,273086528,1043348344,304024545,144844181,373870990,
325
- 620509713,1032943564,953994563,579754739,988202473,136063485,
326
- 174254401,979221296,243294609,210750988,191980114,384136855,
327
- 119830278,960709408,152810196,87797445,725033016,935489600,
328
- 513691672,375388711,601961381,646256774,844711761,782078212],
329
-
330
- [1070658743,541351219,177168414,857506082,954298862,189990685,
331
- 928237287,714563635,825097568,486326679,620190618,234665099,
332
- 969800906,10921771,117651574,960455758,712481989,104218246,
333
- 49191030,395016413,243053293,50889952,533282744,507581774,
334
- 365648082,362117277,943766598,452105566,134382757,600036003],
335
-
336
- [468149054,356323242,531691055,533479845,369430665,1050335897,
337
- 855633172,121777424,926972951,861803436,633315042,147299592,
338
- 44904118,716540604,848053812,161692489,18786120,175446231,
339
- 329890245,289816975,992443882,144833905,280706725,393983156,
340
- 1024471095,244194217,705811717,343438231,1010252774,369916015],
341
-
342
- [47463531,688500491,156046897,840884700,909106686,269785563,
343
- 239678700,930221356,503006993,979373410,786124814,22097096,
344
- 585759744,310525712,75113259,233079227,876226168,352865085,
345
- 796223239,120697769,233031239,848080728,960129683,786952936,
346
- 709641922,119053788,66120245,256432093,854840906,1062655013],
347
-
348
- [823931987,369032796,955029757,104856506,770334010,240341623,
349
- 205772931,911259079,915206596,930217353,690026418,625901845,
350
- 48782362,390178869,852575964,836019537,694715425,89906349,
351
- 150902223,5834217,11009007,485593977,400623134,1069427788,
352
- 691791464,405765657,1019838073,551252580,986644545,225903139],
353
-
354
- [382091319,739313283,942124987,288243186,229802861,751574681,
355
- 41151136,730405574,502619122,149340930,382496547,383277427,
356
- 951451155,587583426,191540436,308805631,1064908987,81380314,
357
- 127274604,62709513,46705551,1032153411,829062413,747188657,
358
- 444648745,199504873,237992630,378356548,772791966,833105476],
359
-
360
- [587078599,203960422,511194114,755679438,139542925,28367724,
361
- 165315148,768111470,999912497,1027667728,638438543,359237201,
362
- 196888839,463057534,268847481,214959631,431660447,480659247,
363
- 337817622,224901951,151877581,263454068,928091576,989398959,
364
- 722566738,924770779,629317449,713695576,181619785,564028034],
365
-
366
- [453809691,380853116,899434263,666973159,182611982,1008223646,
367
- 637955544,153759368,411114377,566828272,44056958,585359217,
368
- 34385615,801789890,507572939,48458184,992087037,411762415,
369
- 286362362,826271647,604665201,298685982,211695003,664079058,
370
- 265179510,352453822,1031228380,533517717,914087299,668725875],
371
-
372
- [931239939,828945438,363684192,95705596,248262652,526274471,
373
- 61950506,542401026,593450089,139006496,220316088,1019960300,
374
- 192398181,834630841,1072820851,474696622,1017601997,925673718,
375
- 774313960,12886932,8871591,362158636,293953661,573034866,
376
- 595008664,935547810,757597401,7383456,476631037,577177943]
377
-
378
- ],
379
-
380
- # DIMENSION dim=11, generator matrices column encodings:
381
-
382
- [
383
-
384
- [640076413,38619923,880276074,258462862,218061951,110875386,
385
- 782095512,253820603,543879802,1050676528,655726172,1061996849,
386
- 738961624,599680434,1010784250,414752449,180264169,676013088,
387
- 361315153,950490779,626020133,142567564,521541876,618804908,
388
- 178037201,362432873,391430156,528491869,1063457085,141830450],
389
-
390
- [393823488,967702564,996414134,380720145,300495822,884499191,
391
- 768736405,91406721,741603631,624224565,359456934,89283930,
392
- 537918092,829699217,349844160,264781100,1031472974,300442722,
393
- 219489904,623147931,359027908,503369389,414890524,46246130,
394
- 734200851,550896721,990511752,756780245,917175879,319155042],
395
-
396
- [606494016,917965809,1018376187,163092929,747799491,115078791,
397
- 939997329,17414853,302426061,921867709,602154136,999186600,
398
- 411725464,223769413,703344350,841532862,797735996,1020553390,
399
- 1009041997,950379831,627636356,178720078,409380538,70557298,
400
- 673255255,835970611,286203702,266426382,560101456,39390863],
401
-
402
- [600866816,685960568,103280453,309088841,955194087,1044309885,
403
- 605453218,957769029,348362389,812806796,302838834,313274906,
404
- 300197590,275279179,332855626,37604359,698428890,206208084,
405
- 238230667,367047777,4381534,735883523,1064951460,203911503,
406
- 78225905,998688573,340732841,941500948,201590684,371703833],
407
-
408
- [346200071,734643499,123089088,649304842,605054314,790301134,
409
- 48561423,242319144,801905870,66727240,424813982,158270750,
410
- 162634162,146649881,731766097,380723582,33118141,861489947,
411
- 741323110,237146728,263233061,427681584,870037056,474509960,
412
- 337598642,712260834,886629205,541733652,450393070,280197089],
413
-
414
- [986274698,148131086,870716920,447282332,1026196869,472749574,
415
- 32460871,272231963,410368694,178649215,888633116,1041483275,
416
- 940674463,931538664,956736924,524225383,936411974,969547861,
417
- 512648518,381104443,205372356,13905180,333072039,496115283,
418
- 546594229,1065067452,179675074,227185735,993747182,39536207],
419
-
420
- [261598117,611550090,211615492,100722117,634969513,368972092,
421
- 686506470,533599043,530639277,873784702,575933634,411444686,
422
- 102047956,816671590,1010229544,185842073,978642477,562673342,
423
- 1003690264,941331870,814018105,637603710,143573597,1037408318,
424
- 307920125,339901701,832688107,722546136,412159266,769219252],
425
-
426
- [922063332,565134652,82071906,769088394,944402391,138740959,
427
- 433429701,862296561,993983047,899835002,1037945714,417060381,
428
- 752393547,88184049,966044098,680894913,514682970,719476347,
429
- 886465807,486029512,62535029,555167353,307430836,709660495,
430
- 1041707699,786398307,825953853,750169210,221302275,595424191],
431
-
432
- [512467929,300113655,674083661,689445985,148105911,866522716,
433
- 313630486,395717289,301814491,655585295,577555299,917231748,
434
- 888920033,927718938,724360554,377554296,248732447,174080875,
435
- 559178264,89877466,399554243,298097523,363683154,825448247,
436
- 854096856,766321194,215392664,646036130,1892589,311854397],
437
-
438
- [986027855,132090846,621223411,333974992,790598050,79387364,
439
- 267995867,599454495,232907008,15913258,302191763,772790356,
440
- 584503088,738046272,188438137,921819200,697430148,137752459,
441
- 873342196,227078802,442976560,1034616614,172909972,40524786,
442
- 747034583,462482257,28803124,462481449,885322935,182269347],
443
-
444
- [648793944,607217858,974232141,283030681,2576790,535183650,
445
- 157523670,496460795,334546972,8482709,896794205,786499822,
446
- 228269069,998643015,607626918,151122715,717253132,1010802792,
447
- 529041112,437142038,545850927,663932102,587251879,161482998,
448
- 958459306,918804181,617570748,471288770,418354821,666780001]
449
-
450
- ],
451
-
452
- # DIMENSION dim=12, generator matrices column encodings:
453
-
454
- [
455
-
456
- [376009787,616649261,1038915818,449176030,680969485,844929903,
457
- 469210199,515424615,955287332,441067371,672960609,10667578,
458
- 518196311,909235475,829362448,606869120,1069286697,548650217,
459
- 281564703,956233651,30374325,339266501,406232992,308994419,
460
- 308329741,419071262,157656941,113798237,580526181,312086276],
461
-
462
- [113325173,802884388,776006141,240665347,1067428575,237210076,
463
- 433405280,542548953,206172120,892707582,938920668,268533774,
464
- 427179081,64599497,584946987,850670289,1029168313,406383405,
465
- 567739064,243337945,534671208,284667432,604603719,624171720,
466
- 638094189,480469014,81680586,875930397,165521623,713379925],
467
-
468
- [365589568,795832513,352548612,791353731,639030956,875424815,
469
- 460322970,209202842,769072557,62593514,554917907,422257425,
470
- 988433200,845378618,964807902,469755058,490235585,36511719,
471
- 305707082,338554719,877932899,475033153,48231578,414880648,
472
- 706291263,70011941,255603371,718605877,1049680271,203585716],
473
-
474
- [435632494,172170459,1059343654,565249317,65081497,498668119,
475
- 696359679,815656005,627318345,886975033,230810440,958457568,
476
- 170678992,928599693,50537551,95312547,130331293,202074131,
477
- 1045327915,1032883628,259200551,538263735,525010700,117358056,
478
- 867099869,70373620,495094033,522626779,38232465,95758096],
479
-
480
- [32678341,505635296,425856624,1054825470,1033723186,938870058,
481
- 269291076,814524247,656722885,524631983,597477638,436880436,
482
- 697998740,64815620,786707110,297283695,494619587,996221642,
483
- 743211695,532501720,485366627,575598237,246747572,221087582,
484
- 195011953,225867526,624744711,494497451,771083163,465002468],
485
-
486
- [551397128,489766929,195538897,629476791,1006219829,921379579,
487
- 836280603,978070866,1007507930,236561171,759639615,439796207,
488
- 338293708,24298018,558561689,657466702,188516653,553216800,
489
- 981177690,1010977003,791689962,158536313,388269785,487774813,
490
- 224170145,624982216,529627459,530281195,133158627,81743442],
491
-
492
- [768717957,184677116,591120478,258801695,981458210,434399026,
493
- 697605612,787798639,845498401,27242131,198461923,975748095,
494
- 873564500,808362448,829314929,599428700,553956900,646455049,
495
- 715447491,990180123,901857731,341740714,518651244,433436011,
496
- 393492963,156099629,1014527846,267932060,338771950,491714313],
497
-
498
- [609470369,578981355,496170689,646129714,870096655,49561033,
499
- 642998690,66791072,319166205,892427797,521637492,815247648,
500
- 244676424,701940472,831147871,570779345,89071257,880115963,
501
- 152451089,13233731,318042497,408461437,1007221712,775537592,
502
- 174347183,811508503,942904086,319793289,566294292,956161085],
503
-
504
- [690191426,28134813,207393949,406243981,500443338,244003934,
505
- 327631593,692702121,76532237,120264433,305592447,23783510,
506
- 936434940,129432986,891044703,133326731,759067238,805090750,
507
- 393846010,895707158,773285066,682629395,68829201,219221301,
508
- 116077786,1009888418,978576807,641438017,169610131,526023641],
509
-
510
- [226253065,147381635,1009733192,730981142,441127473,1068685129,
511
- 902159719,362034294,888137773,862283775,338017958,22628013,
512
- 340658897,130197395,630654134,42912700,324565062,640826151,
513
- 540055184,214577500,940181002,475921976,880471073,962578486,
514
- 937098890,1035691007,496051649,546273064,104382506,758339435],
515
-
516
- [980220447,391809923,926256294,896109598,310914840,979419742,
517
- 492998431,917440954,1036679165,877461802,482469020,413101932,
518
- 360109925,34299936,186285141,291647287,420363989,406330999,
519
- 854416866,979161387,721088013,775806082,25986602,601668135,
520
- 282692574,256034532,1047609668,427797668,402427615,284346209],
521
-
522
- [805428583,869599887,1014763568,659252565,973942038,754651348,
523
- 897847746,182137879,679510472,128246679,807357794,396531141,
524
- 578604545,486979889,898367645,336668900,827682136,327305202,
525
- 213888167,744078157,351257983,316843621,473816217,495813680,
526
- 483886281,885162661,246466767,823380730,817597230,113843058]
527
-
528
- ],
529
-
530
- # DIMENSION dim=13, generator matrices column encodings:
531
-
532
- [
533
-
534
- [376009787,616649261,1038915818,449176030,680969485,844929903,
535
- 469210199,515424615,955287332,441067371,672960609,10667578,
536
- 518196311,909235475,829362448,606869120,1069286697,548650217,
537
- 281564703,956233651,30374325,339266501,406232992,308994419,
538
- 308329741,419071262,157656941,113798237,580526181,312086276],
539
-
540
- [113325173,802884388,776006141,240665347,1067428575,237210076,
541
- 433405280,542548953,206172120,892707582,938920668,268533774,
542
- 427179081,64599497,584946987,850670289,1029168313,406383405,
543
- 567739064,243337945,534671208,284667432,604603719,624171720,
544
- 638094189,480469014,81680586,875930397,165521623,713379925],
545
-
546
- [365589568,795832513,352548612,791353731,639030956,875424815,
547
- 460322970,209202842,769072557,62593514,554917907,422257425,
548
- 988433200,845378618,964807902,469755058,490235585,36511719,
549
- 305707082,338554719,877932899,475033153,48231578,414880648,
550
- 706291263,70011941,255603371,718605877,1049680271,203585716],
551
-
552
- [435632494,172170459,1059343654,565249317,65081497,498668119,
553
- 696359679,815656005,627318345,886975033,230810440,958457568,
554
- 170678992,928599693,50537551,95312547,130331293,202074131,
555
- 1045327915,1032883628,259200551,538263735,525010700,117358056,
556
- 867099869,70373620,495094033,522626779,38232465,95758096],
557
-
558
- [32678341,505635296,425856624,1054825470,1033723186,938870058,
559
- 269291076,814524247,656722885,524631983,597477638,436880436,
560
- 697998740,64815620,786707110,297283695,494619587,996221642,
561
- 743211695,532501720,485366627,575598237,246747572,221087582,
562
- 195011953,225867526,624744711,494497451,771083163,465002468],
563
-
564
- [551397128,489766929,195538897,629476791,1006219829,921379579,
565
- 836280603,978070866,1007507930,236561171,759639615,439796207,
566
- 338293708,24298018,558561689,657466702,188516653,553216800,
567
- 981177690,1010977003,791689962,158536313,388269785,487774813,
568
- 224170145,624982216,529627459,530281195,133158627,81743442],
569
-
570
- [768717957,184677116,591120478,258801695,981458210,434399026,
571
- 697605612,787798639,845498401,27242131,198461923,975748095,
572
- 873564500,808362448,829314929,599428700,553956900,646455049,
573
- 715447491,990180123,901857731,341740714,518651244,433436011,
574
- 393492963,156099629,1014527846,267932060,338771950,491714313],
575
-
576
- [609470369,578981355,496170689,646129714,870096655,49561033,
577
- 642998690,66791072,319166205,892427797,521637492,815247648,
578
- 244676424,701940472,831147871,570779345,89071257,880115963,
579
- 152451089,13233731,318042497,408461437,1007221712,775537592,
580
- 174347183,811508503,942904086,319793289,566294292,956161085],
581
-
582
- [690191426,28134813,207393949,406243981,500443338,244003934,
583
- 327631593,692702121,76532237,120264433,305592447,23783510,
584
- 936434940,129432986,891044703,133326731,759067238,805090750,
585
- 393846010,895707158,773285066,682629395,68829201,219221301,
586
- 116077786,1009888418,978576807,641438017,169610131,526023641],
587
-
588
- [226253065,147381635,1009733192,730981142,441127473,1068685129,
589
- 902159719,362034294,888137773,862283775,338017958,22628013,
590
- 340658897,130197395,630654134,42912700,324565062,640826151,
591
- 540055184,214577500,940181002,475921976,880471073,962578486,
592
- 937098890,1035691007,496051649,546273064,104382506,758339435],
593
-
594
- [980220447,391809923,926256294,896109598,310914840,979419742,
595
- 492998431,917440954,1036679165,877461802,482469020,413101932,
596
- 360109925,34299936,186285141,291647287,420363989,406330999,
597
- 854416866,979161387,721088013,775806082,25986602,601668135,
598
- 282692574,256034532,1047609668,427797668,402427615,284346209],
599
-
600
- [805428583,869599887,1014763568,659252565,973942038,754651348,
601
- 897847746,182137879,679510472,128246679,807357794,396531141,
602
- 578604545,486979889,898367645,336668900,827682136,327305202,
603
- 213888167,744078157,351257983,316843621,473816217,495813680,
604
- 483886281,885162661,246466767,823380730,817597230,113843058],
605
-
606
- [775536582,900718787,360197547,657428423,989613149,276818072,
607
- 35434343,207452155,929686556,379446274,350997024,403659830,
608
- 201733068,183406655,581133571,783416532,685549740,39396776,
609
- 872208726,306668169,749911467,1003397486,871981435,563905409,
610
- 1059652571,635124084,913427898,606299715,882851360,902877678]
611
-
612
- ],
613
-
614
- # DIMENSION dim=14, generator matrices column encodings:
615
-
616
- [
617
-
618
- [122455510,773296462,80386005,883424770,513326595,981703937,
619
- 1038812148,243570348,778200383,102755401,595654303,880576513,
620
- 296182727,1055400600,996075111,1052355578,964134372,482021623,
621
- 1010269190,146064639,699374654,545735549,783309448,241955223,
622
- 391613045,316095920,691188546,107203704,913774004,919011693],
623
-
624
- [904829865,125800112,744836867,56211074,962495785,1014331605,
625
- 31766538,1036440779,378917045,863948098,170171268,150539741,
626
- 291559995,144340146,936281598,725120753,165033544,957473065,
627
- 142516263,917214920,406122355,215612829,806188527,444563495,
628
- 94075866,902187783,921358076,515829670,842057841,754580171],
629
-
630
- [144252053,719681002,764865240,360782177,8473587,170796252,
631
- 322670896,824841090,715394417,308461745,767985005,603286018,
632
- 282278856,370444133,799573691,207061925,378626792,443460925,
633
- 747932389,190656701,112052892,838906526,456638239,308815925,
634
- 314952227,615497055,197589208,851292505,114291449,749275465],
635
-
636
- [508763882,863822867,579200240,341866102,1020791415,952571345,
637
- 739394084,867999885,527833410,840385800,558226716,581629303,
638
- 539677350,61386309,344675504,571043943,679597514,131099271,
639
- 983978597,401123019,825124467,1023625675,887540408,932091587,
640
- 134304604,538330537,662740073,203901635,988267545,346153028],
641
-
642
- [621391692,190216341,240288833,47344896,848418599,660064937,
643
- 724208392,17567804,947270235,290260854,65728614,661215123,
644
- 409991240,708141568,308244599,200143731,276033077,525109062,
645
- 395293500,464968947,618144500,326508566,615516113,557986837,
646
- 45672459,435884540,701004880,63546760,785500141,862516802],
647
-
648
- [943528403,7424764,444055955,410453694,92186155,283874613,
649
- 17575750,133964545,995073250,957980469,277245753,188272488,
650
- 587777482,95089141,581464409,824556694,437316241,640484097,
651
- 696373407,412102094,239622123,522038752,228604636,453088305,
652
- 1071365639,498667903,869393790,449562132,1033358097,817761061],
653
-
654
- [1023859687,860420336,437777716,959192061,251318774,343778092,
655
- 413416680,259452981,676804407,122487975,95708507,1054678216,
656
- 363422616,466995666,325488046,373888941,515222328,781087025,
657
- 997868815,459829544,41014936,226257344,331113322,597700410,
658
- 963882199,450825004,1020970018,804124363,40896571,505564148],
659
-
660
- [755137672,742859173,936475141,354522321,797948600,730638890,
661
- 204492398,159152738,471715321,123471289,839297694,642348689,
662
- 750583992,76497646,744562819,577560611,139554140,626389783,
663
- 521865008,377281746,344637867,286741651,324330987,196287246,
664
- 804548810,417370381,309802854,984272094,97243419,1025617989],
665
-
666
- [510369304,236761812,13110549,616873707,521953617,792634244,
667
- 531230079,775306128,407484179,747791618,694386176,331508215,
668
- 818343003,781023012,308300789,805796298,944521705,592032883,
669
- 269937303,405771211,145315315,973429799,145186174,1009885150,
670
- 723080138,412171449,770686949,674735092,953203371,379728005],
671
-
672
- [1070788282,363613908,401556515,737472501,916971534,741851784,
673
- 15970839,575437740,308634173,456365136,610081937,655056737,
674
- 566499647,146062168,11265212,228034960,802031966,1016657337,
675
- 869981249,137320736,78544281,829883313,783146120,970701867,
676
- 916026634,195792316,317440031,798963377,662445144,432575740],
677
-
678
- [512569269,413297986,617992871,699943554,930550099,360306596,
679
- 942139075,636897660,837676953,680872486,958145976,99814098,
680
- 1030494902,481157406,7043250,631984833,693125308,721326947,
681
- 543308348,845963501,280625890,62529592,1069504905,437525669,
682
- 15289504,1055367702,1030656218,1046177956,480251288,524111444],
683
-
684
- [992641068,539842223,236658812,663216381,130221500,781554959,
685
- 707555422,697175772,211358555,98635777,101893269,685395385,
686
- 212974975,754694168,348080315,797978796,610517654,353789515,
687
- 740861326,561595503,738001445,148519155,1012540275,866018055,
688
- 814844210,985429376,726145203,572582243,242483828,104550108],
689
-
690
- [1011761701,257012084,545603242,377614867,1001660721,374400720,
691
- 330700341,414707616,712426496,517978447,955401637,627264514,
692
- 163257057,560991681,704985699,647379336,71773275,710543791,
693
- 1023151414,22605165,301433606,348091287,20570843,637748854,
694
- 761625262,348250326,509470220,66005223,199807360,904227117],
695
-
696
- [30303575,619474536,775105061,606619342,1020249710,1007526750,
697
- 1028531643,325064071,547200869,136261058,931704242,479402249,
698
- 970006018,326468943,265514350,545747566,716265983,1066574193,
699
- 925563822,652793902,970474175,832205384,982810047,1048889944,
700
- 439489154,226597362,888136689,138618060,814046664,550833263]
701
-
702
- ],
703
-
704
- # DIMENSION dim=15, generator matrices column encodings:
705
-
706
- [
707
-
708
- [122455510,773296462,80386005,883424770,513326595,981703937,
709
- 1038812148,243570348,778200383,102755401,595654303,880576513,
710
- 296182727,1055400600,996075111,1052355578,964134372,482021623,
711
- 1010269190,146064639,699374654,545735549,783309448,241955223,
712
- 391613045,316095920,691188546,107203704,913774004,919011693],
713
-
714
- [904829865,125800112,744836867,56211074,962495785,1014331605,
715
- 31766538,1036440779,378917045,863948098,170171268,150539741,
716
- 291559995,144340146,936281598,725120753,165033544,957473065,
717
- 142516263,917214920,406122355,215612829,806188527,444563495,
718
- 94075866,902187783,921358076,515829670,842057841,754580171],
719
-
720
- [144252053,719681002,764865240,360782177,8473587,170796252,
721
- 322670896,824841090,715394417,308461745,767985005,603286018,
722
- 282278856,370444133,799573691,207061925,378626792,443460925,
723
- 747932389,190656701,112052892,838906526,456638239,308815925,
724
- 314952227,615497055,197589208,851292505,114291449,749275465],
725
-
726
- [508763882,863822867,579200240,341866102,1020791415,952571345,
727
- 739394084,867999885,527833410,840385800,558226716,581629303,
728
- 539677350,61386309,344675504,571043943,679597514,131099271,
729
- 983978597,401123019,825124467,1023625675,887540408,932091587,
730
- 134304604,538330537,662740073,203901635,988267545,346153028],
731
-
732
- [621391692,190216341,240288833,47344896,848418599,660064937,
733
- 724208392,17567804,947270235,290260854,65728614,661215123,
734
- 409991240,708141568,308244599,200143731,276033077,525109062,
735
- 395293500,464968947,618144500,326508566,615516113,557986837,
736
- 45672459,435884540,701004880,63546760,785500141,862516802],
737
-
738
- [943528403,7424764,444055955,410453694,92186155,283874613,
739
- 17575750,133964545,995073250,957980469,277245753,188272488,
740
- 587777482,95089141,581464409,824556694,437316241,640484097,
741
- 696373407,412102094,239622123,522038752,228604636,453088305,
742
- 1071365639,498667903,869393790,449562132,1033358097,817761061],
743
-
744
- [1023859687,860420336,437777716,959192061,251318774,343778092,
745
- 413416680,259452981,676804407,122487975,95708507,1054678216,
746
- 363422616,466995666,325488046,373888941,515222328,781087025,
747
- 997868815,459829544,41014936,226257344,331113322,597700410,
748
- 963882199,450825004,1020970018,804124363,40896571,505564148],
749
-
750
- [755137672,742859173,936475141,354522321,797948600,730638890,
751
- 204492398,159152738,471715321,123471289,839297694,642348689,
752
- 750583992,76497646,744562819,577560611,139554140,626389783,
753
- 521865008,377281746,344637867,286741651,324330987,196287246,
754
- 804548810,417370381,309802854,984272094,97243419,1025617989],
755
-
756
- [510369304,236761812,13110549,616873707,521953617,792634244,
757
- 531230079,775306128,407484179,747791618,694386176,331508215,
758
- 818343003,781023012,308300789,805796298,944521705,592032883,
759
- 269937303,405771211,145315315,973429799,145186174,1009885150,
760
- 723080138,412171449,770686949,674735092,953203371,379728005],
761
-
762
- [1070788282,363613908,401556515,737472501,916971534,741851784,
763
- 15970839,575437740,308634173,456365136,610081937,655056737,
764
- 566499647,146062168,11265212,228034960,802031966,1016657337,
765
- 869981249,137320736,78544281,829883313,783146120,970701867,
766
- 916026634,195792316,317440031,798963377,662445144,432575740],
767
-
768
- [512569269,413297986,617992871,699943554,930550099,360306596,
769
- 942139075,636897660,837676953,680872486,958145976,99814098,
770
- 1030494902,481157406,7043250,631984833,693125308,721326947,
771
- 543308348,845963501,280625890,62529592,1069504905,437525669,
772
- 15289504,1055367702,1030656218,1046177956,480251288,524111444],
773
-
774
- [992641068,539842223,236658812,663216381,130221500,781554959,
775
- 707555422,697175772,211358555,98635777,101893269,685395385,
776
- 212974975,754694168,348080315,797978796,610517654,353789515,
777
- 740861326,561595503,738001445,148519155,1012540275,866018055,
778
- 814844210,985429376,726145203,572582243,242483828,104550108],
779
-
780
- [1011761701,257012084,545603242,377614867,1001660721,374400720,
781
- 330700341,414707616,712426496,517978447,955401637,627264514,
782
- 163257057,560991681,704985699,647379336,71773275,710543791,
783
- 1023151414,22605165,301433606,348091287,20570843,637748854,
784
- 761625262,348250326,509470220,66005223,199807360,904227117],
785
-
786
- [30303575,619474536,775105061,606619342,1020249710,1007526750,
787
- 1028531643,325064071,547200869,136261058,931704242,479402249,
788
- 970006018,326468943,265514350,545747566,716265983,1066574193,
789
- 925563822,652793902,970474175,832205384,982810047,1048889944,
790
- 439489154,226597362,888136689,138618060,814046664,550833263],
791
-
792
- [342919228,684064825,70595553,821444772,1067772687,228365088,
793
- 875508409,523521168,568857749,27801078,14205486,54170645,
794
- 762348034,442111606,779018993,91884115,96334799,834145058,
795
- 517198826,311189041,351655502,129132263,71651785,69478110,
796
- 877457343,69399165,663085682,432724522,901588315,1036418771]
797
-
798
- ],
799
-
800
- # DIMENSION dim=16, generator matrices column encodings:
801
-
802
- [
803
-
804
- [122028500,773796640,79828983,881800358,514905835,983783335,
805
- 1036076530,244094596,778726717,102223501,595753535,877977665,
806
- 293940545,1052797592,998015535,1049706940,961932202,479425179,
807
- 1008703202,146074807,699208338,545769971,783872744,241400761,
808
- 394095793,318234454,691017632,107693692,912226258,921650147],
809
-
810
- [905747129,125669856,745948482,56213465,962367329,1013342451,
811
- 33005913,1037353434,377933797,863814511,170368760,150537961,
812
- 291553302,143356869,937198823,724066463,163851778,956426595,
813
- 141337432,918194684,406318084,215609507,806253540,443391870,
814
- 94009789,903116998,921416576,514601025,842089657,754668748],
815
-
816
- [144510343,719814161,764739186,360776817,8475867,170405149,
817
- 322931744,825103235,715522888,308466584,767859270,603415209,
818
- 282275890,370575710,799840954,206934734,378632555,443071164,
819
- 748066014,190526844,111925134,838907447,456500383,309079437,
820
- 315082098,615099103,197455650,851153078,113882241,749580267],
821
-
822
- [508694523,864018879,579267946,342582253,1020795729,953030849,
823
- 739794289,867481205,527701809,840844607,558748283,581697196,
824
- 539742130,61383864,344610789,571041724,679594220,131096939,
825
- 983843120,400800768,824994954,1023559165,888130186,931957442,
826
- 134307115,538930046,662758996,203788510,988761297,346276074],
827
-
828
- [621389988,190147614,240354817,47413693,849070421,659871401,
829
- 724277355,17702764,947205554,289740834,65137593,660818834,
830
- 409403056,708667867,308049550,199617242,275965133,524584535,
831
- 395099063,465555703,618149148,326449146,616170625,558444702,
832
- 45281988,435823313,700583419,63138695,785407875,862058847],
833
-
834
- [1024840886,860416911,437581387,960368629,251385071,342867483,
835
- 414589371,259388234,675558717,122625022,95841389,1054808264,
836
- 363428799,466082259,325425371,374938769,514306939,782072930,
837
- 997935942,459831567,39967148,226387339,331250224,597702156,
838
- 963817961,450635098,1021034056,805254254,39948930,505476103],
839
-
840
- [943528130,6377416,442877338,409279699,92188770,283745105,
841
- 18625358,132919617,995069163,957055041,278160177,187351096,
842
- 588960203,94958252,582645249,825737187,437319588,640489793,
843
- 696376298,411055566,240803234,520987896,228602589,454136105,
844
- 1070180458,498802178,868346947,449441731,1033212799,816755189],
845
-
846
- [755131930,742733924,936471700,354519697,797680387,730378704,
847
- 204496645,158891697,471453056,123212969,839163918,642739562,
848
- 750322088,76238277,744564601,577303792,139553741,626517950,
849
- 522000409,377015466,344773034,286611154,324463697,196282908,
850
- 804678176,417369934,309669814,984410809,97361422,1025588420],
851
-
852
- [509774441,236305777,13111597,617457706,521501292,792079340,
853
- 530609804,775923580,406928336,748418988,694905554,332067769,
854
- 818309335,780466121,308368901,805729970,943997647,591997436,
855
- 270497271,405771136,144758335,973980081,145641057,1009847578,
856
- 723049798,412204818,770093665,675196944,953790072,380349499],
857
-
858
- [1071829370,363611179,400021605,737468978,915884092,739197071,
859
- 12782863,578052546,308135759,453717337,611167682,655090680,
860
- 570175856,143441666,10178396,228528946,804652632,1016134480,
861
- 869977617,137349722,78541999,829917227,782058450,971718430,
862
- 916580062,195768456,316897570,799508767,662448934,435202045],
863
-
864
- [514439921,411228727,618086450,697847559,930424358,358576228,
865
- 942010818,636808815,835672190,682739891,958268136,99823447,
866
- 1028538355,480855611,7031412,632123921,693133855,721035685,
867
- 543473531,843998686,278569684,62554824,1067281322,439356997,
868
- 13233123,1053001636,1028403740,1046301216,480255387,524286967],
869
-
870
- [992744004,539739079,236795785,663216675,130224767,781522855,
871
- 707424299,696815199,211785248,98668673,101863869,685563385,
872
- 212940913,754823102,347687424,797980002,610518958,353825990,
873
- 741254507,562021180,737903974,148684693,1012708501,865658034,
874
- 814815730,985298406,726535512,572583637,242483404,104681103],
875
-
876
- [410584653,1014456740,859507316,528229087,21041245,451335112,
877
- 273376174,370447156,145225655,100856626,216137927,880988295,
878
- 989591832,498229517,752029644,692203068,378212597,210534553,
879
- 1006542675,571190962,414912293,605262338,705870606,973888734,
880
- 652138388,898974866,574612904,349338863,639882306,1002077865],
881
-
882
- [1011833690,256942639,546060759,378076728,1002288904,374437599,
883
- 331255010,414611228,713020731,517449415,955993684,627269219,
884
- 163250620,561092153,705439834,647441968,71777603,710053662,
885
- 1023152908,22606250,301863081,347532963,20017716,637718071,
886
- 761555051,348747465,509441421,65484519,199315376,904785068],
887
-
888
- [342919423,684098882,70628500,821483431,1067777746,228200923,
889
- 875147916,523525120,569279558,28225579,14565382,54301638,
890
- 762352194,442241525,778625199,92020179,96204354,834571042,
891
- 517199569,311086769,351618653,129164929,71684553,69476856,
892
- 877292194,69366427,663054204,432857041,901460654,1036450973],
893
-
894
- [32268518,619642010,775359809,604787067,1020096905,1009492987,
895
- 1030488316,323225398,549425125,136161349,934053943,479673465,
896
- 972140115,324513836,267614303,547742461,716557290,1068906183,
897
- 925792527,650693947,972834248,834331210,982702238,1051098972,
898
- 437684209,226568545,887965313,138875768,816273500,553069006]
899
-
900
- ],
901
-
902
-
903
- # DIMENSION dim=17, generator matrices column encodings:
904
-
905
- [
906
-
907
- [129971866,403034142,42953265,456052922,529723536,39622889,
908
- 1022405131,495125695,205765660,236811057,61590560,562939695,
909
- 1009383060,28432675,166824630,956664215,988888538,657242377,
910
- 1023579691,437431770,927205331,608312395,1072853475,655700129,
911
- 27075613,636512015,837235128,226005552,875432949,795592105],
912
-
913
- [240208052,897491798,957022978,171139102,93849129,244950800,
914
- 344159584,111102217,678504858,574516126,250455084,391388795,
915
- 133277104,489333922,140361892,410735402,619253688,1031862789,
916
- 335691611,322432037,806111734,694909702,349940897,602532064,
917
- 148117500,111729200,457404274,557714256,1040149279,403498667],
918
-
919
- [432640305,1037156381,314925778,372080644,940221914,572058354,
920
- 1038338338,426569089,455769817,491120620,1057021567,302721707,
921
- 246475132,705152316,499194294,113265561,426137972,136848280,
922
- 562415570,787892679,852991603,351729970,96778882,304416578,
923
- 86282104,1036217109,157944466,954042255,414571869,870959303],
924
-
925
- [971287756,89414420,204713973,378635447,401797896,163681059,
926
- 751966264,537449399,801535112,1071633688,146052774,3986810,
927
- 636727079,697417592,1006763522,383199535,663223922,144535570,
928
- 201016558,746200892,854342532,328874258,155896922,499850531,
929
- 936254650,7138453,1071466390,61395452,636873816,304460150],
930
-
931
- [328557410,777876265,101075537,435479976,525041988,303555745,
932
- 350113747,339410275,684034311,889925340,401693876,1060788096,
933
- 113705201,1015366269,1065286982,10076601,952361191,167950482,
934
- 435129959,233185538,781449455,798849169,428671146,124812670,
935
- 188788880,15299783,859915815,1015278018,326831435,1018648256],
936
-
937
- [754655229,72701120,953293325,631599840,89857942,554011778,
938
- 47073811,835760886,265073629,127620500,308658367,867391607,
939
- 203498672,894076239,524964741,312496838,313578784,269715110,
940
- 705844852,823949536,1027242087,59395526,569377093,394836031,
941
- 343701223,384460815,943904084,699855722,421835371,270791893],
942
-
943
- [745907108,944952526,82284004,699536358,361313725,905488055,
944
- 1023155197,882057901,746645466,119817566,452638563,1550867,
945
- 1031436690,776155790,394503730,685193551,228707474,911100838,
946
- 964828725,508995720,1026359451,428405268,817946254,828929109,
947
- 313584437,871581416,426427170,160301328,365965375,220499879],
948
-
949
- [1056914698,521647651,221143510,117107134,150943194,408928603,
950
- 480271744,848194951,172435885,473080053,275662818,324152353,
951
- 59283147,131089463,834982831,778766731,122554353,88292162,
952
- 763906051,129869508,637389308,823280981,671656942,66520354,
953
- 308342240,325794549,6816340,371091997,621547052,25705907],
954
-
955
- [352064385,40386260,880715911,677695864,1005975671,853795757,
956
- 574407480,530348942,601261381,103248825,975989152,739827654,
957
- 863177279,460530535,159413890,688421859,1044972575,795098007,
958
- 801093227,1001062741,926378401,139434982,834760968,204950615,
959
- 639313518,920958373,495164640,91682281,69551285,433426629],
960
-
961
- [830376956,810354778,986692688,439214662,955852394,611884049,
962
- 928650736,168559105,1064592932,151376416,433454075,1011126901,
963
- 608575983,128899860,905698379,606430135,179348441,821647220,
964
- 998454680,127121984,795384066,600759059,199794554,295176814,
965
- 939420101,914617710,1018471342,111811433,331709918,221179210],
966
-
967
- [425733878,658229029,912424615,386431078,862251738,293702507,
968
- 1043902477,877189394,48926307,261568902,462823467,217704510,
969
- 305034830,297130225,26429996,343060209,894475863,17832215,
970
- 1065385292,231895796,449755847,855378457,567620577,152049881,
971
- 814862897,582773843,514674944,282536321,434990576,459545057],
972
-
973
- [665803357,392676405,1034814418,748287515,958635983,4816387,
974
- 1034522664,915407014,57358263,113520872,253432907,18329885,
975
- 1870034,67039950,583108703,159185799,130709561,976056560,
976
- 448806026,846991206,686503884,308824271,436305887,194443459,
977
- 777220336,1039366896,793594637,928986568,632103016,946360556],
978
-
979
- [626519650,572986777,596911660,888597461,756498052,392128719,
980
- 36970690,1052917571,313118633,522168466,842712620,894477415,
981
- 1055471970,11136187,252204038,40861408,975737116,212304344,
982
- 965813895,726672608,429270148,457534820,770940172,116146229,
983
- 243261641,1010332968,788194608,944433533,826152594,747969338],
984
-
985
- [1071582690,774188573,739663870,52487898,1048372764,921959408,
986
- 547457522,429672649,490994041,25062518,805601797,589439943,
987
- 496185778,639115556,433359194,327519661,726063918,256775538,
988
- 973277956,33829588,639364507,351093493,73945571,631973049,
989
- 882014952,196800376,470141183,501641249,527537127,1041746568],
990
-
991
- [635515840,789421408,903280967,937233682,987061368,245651243,
992
- 162035928,13403621,749035327,131961461,612384091,371767111,
993
- 944735537,346467471,292218132,1012693329,199650456,41027984,
994
- 707150170,430658317,13393404,392035786,595614074,557315511,
995
- 666890400,868924491,243135067,323841161,1027036232,622805502],
996
-
997
- [449543741,1068764199,919033015,422588592,252659057,380512547,
998
- 538163030,67298058,638240573,691740025,524238634,479950745,
999
- 602605950,1001285057,908196893,633023435,307774415,725379120,
1000
- 956739667,806388387,886237605,205177588,348918954,334053401,
1001
- 738869676,213168145,1010252086,29197916,769372946,291583312],
1002
-
1003
- [741738850,1073019312,151484689,963933996,549606967,851354389,
1004
- 277323389,157310630,427601638,817151586,491424124,737041173,
1005
- 736095612,646603916,295404110,614293779,110322022,227217880,
1006
- 596496751,455560392,177091156,799938318,212552277,239995158,
1007
- 942974955,977308770,319620009,456207171,829064434,160328806]
1008
-
1009
- ],
1010
-
1011
- # DIMENSION dim=18, generator matrices column encodings:
1012
-
1013
- [
1014
-
1015
- [129971866,403034142,42953265,456052922,529723536,39622889,
1016
- 1022405131,495125695,205765660,236811057,61590560,562939695,
1017
- 1009383060,28432675,166824630,956664215,988888538,657242377,
1018
- 1023579691,437431770,927205331,608312395,1072853475,655700129,
1019
- 27075613,636512015,837235128,226005552,875432949,795592105],
1020
-
1021
- [240208052,897491798,957022978,171139102,93849129,244950800,
1022
- 344159584,111102217,678504858,574516126,250455084,391388795,
1023
- 133277104,489333922,140361892,410735402,619253688,1031862789,
1024
- 335691611,322432037,806111734,694909702,349940897,602532064,
1025
- 148117500,111729200,457404274,557714256,1040149279,403498667],
1026
-
1027
- [432640305,1037156381,314925778,372080644,940221914,572058354,
1028
- 1038338338,426569089,455769817,491120620,1057021567,302721707,
1029
- 246475132,705152316,499194294,113265561,426137972,136848280,
1030
- 562415570,787892679,852991603,351729970,96778882,304416578,
1031
- 86282104,1036217109,157944466,954042255,414571869,870959303],
1032
-
1033
- [971287756,89414420,204713973,378635447,401797896,163681059,
1034
- 751966264,537449399,801535112,1071633688,146052774,3986810,
1035
- 636727079,697417592,1006763522,383199535,663223922,144535570,
1036
- 201016558,746200892,854342532,328874258,155896922,499850531,
1037
- 936254650,7138453,1071466390,61395452,636873816,304460150],
1038
-
1039
- [328557410,777876265,101075537,435479976,525041988,303555745,
1040
- 350113747,339410275,684034311,889925340,401693876,1060788096,
1041
- 113705201,1015366269,1065286982,10076601,952361191,167950482,
1042
- 435129959,233185538,781449455,798849169,428671146,124812670,
1043
- 188788880,15299783,859915815,1015278018,326831435,1018648256],
1044
-
1045
- [754655229,72701120,953293325,631599840,89857942,554011778,
1046
- 47073811,835760886,265073629,127620500,308658367,867391607,
1047
- 203498672,894076239,524964741,312496838,313578784,269715110,
1048
- 705844852,823949536,1027242087,59395526,569377093,394836031,
1049
- 343701223,384460815,943904084,699855722,421835371,270791893],
1050
-
1051
- [745907108,944952526,82284004,699536358,361313725,905488055,
1052
- 1023155197,882057901,746645466,119817566,452638563,1550867,
1053
- 1031436690,776155790,394503730,685193551,228707474,911100838,
1054
- 964828725,508995720,1026359451,428405268,817946254,828929109,
1055
- 313584437,871581416,426427170,160301328,365965375,220499879],
1056
-
1057
- [1056914698,521647651,221143510,117107134,150943194,408928603,
1058
- 480271744,848194951,172435885,473080053,275662818,324152353,
1059
- 59283147,131089463,834982831,778766731,122554353,88292162,
1060
- 763906051,129869508,637389308,823280981,671656942,66520354,
1061
- 308342240,325794549,6816340,371091997,621547052,25705907],
1062
-
1063
- [352064385,40386260,880715911,677695864,1005975671,853795757,
1064
- 574407480,530348942,601261381,103248825,975989152,739827654,
1065
- 863177279,460530535,159413890,688421859,1044972575,795098007,
1066
- 801093227,1001062741,926378401,139434982,834760968,204950615,
1067
- 639313518,920958373,495164640,91682281,69551285,433426629],
1068
-
1069
- [830376956,810354778,986692688,439214662,955852394,611884049,
1070
- 928650736,168559105,1064592932,151376416,433454075,1011126901,
1071
- 608575983,128899860,905698379,606430135,179348441,821647220,
1072
- 998454680,127121984,795384066,600759059,199794554,295176814,
1073
- 939420101,914617710,1018471342,111811433,331709918,221179210],
1074
-
1075
- [425733878,658229029,912424615,386431078,862251738,293702507,
1076
- 1043902477,877189394,48926307,261568902,462823467,217704510,
1077
- 305034830,297130225,26429996,343060209,894475863,17832215,
1078
- 1065385292,231895796,449755847,855378457,567620577,152049881,
1079
- 814862897,582773843,514674944,282536321,434990576,459545057],
1080
-
1081
- [665803357,392676405,1034814418,748287515,958635983,4816387,
1082
- 1034522664,915407014,57358263,113520872,253432907,18329885,
1083
- 1870034,67039950,583108703,159185799,130709561,976056560,
1084
- 448806026,846991206,686503884,308824271,436305887,194443459,
1085
- 777220336,1039366896,793594637,928986568,632103016,946360556],
1086
-
1087
- [626519650,572986777,596911660,888597461,756498052,392128719,
1088
- 36970690,1052917571,313118633,522168466,842712620,894477415,
1089
- 1055471970,11136187,252204038,40861408,975737116,212304344,
1090
- 965813895,726672608,429270148,457534820,770940172,116146229,
1091
- 243261641,1010332968,788194608,944433533,826152594,747969338],
1092
-
1093
- [1071582690,774188573,739663870,52487898,1048372764,921959408,
1094
- 547457522,429672649,490994041,25062518,805601797,589439943,
1095
- 496185778,639115556,433359194,327519661,726063918,256775538,
1096
- 973277956,33829588,639364507,351093493,73945571,631973049,
1097
- 882014952,196800376,470141183,501641249,527537127,1041746568],
1098
-
1099
- [635515840,789421408,903280967,937233682,987061368,245651243,
1100
- 162035928,13403621,749035327,131961461,612384091,371767111,
1101
- 944735537,346467471,292218132,1012693329,199650456,41027984,
1102
- 707150170,430658317,13393404,392035786,595614074,557315511,
1103
- 666890400,868924491,243135067,323841161,1027036232,622805502],
1104
-
1105
- [449543741,1068764199,919033015,422588592,252659057,380512547,
1106
- 538163030,67298058,638240573,691740025,524238634,479950745,
1107
- 602605950,1001285057,908196893,633023435,307774415,725379120,
1108
- 956739667,806388387,886237605,205177588,348918954,334053401,
1109
- 738869676,213168145,1010252086,29197916,769372946,291583312],
1110
-
1111
- [741738850,1073019312,151484689,963933996,549606967,851354389,
1112
- 277323389,157310630,427601638,817151586,491424124,737041173,
1113
- 736095612,646603916,295404110,614293779,110322022,227217880,
1114
- 596496751,455560392,177091156,799938318,212552277,239995158,
1115
- 942974955,977308770,319620009,456207171,829064434,160328806],
1116
-
1117
- [751747817,315669162,1072571913,627839530,710228931,164629564,
1118
- 195148759,354677796,438058535,197451362,893770061,655242823,
1119
- 933207855,1034931553,1008083539,186134820,228361620,632147422,
1120
- 1051983424,579762179,835229716,490118527,935155568,444896042,
1121
- 190533305,524870331,248465921,840689687,498889988,302936823]
1122
-
1123
- ],
1124
-
1125
-
1126
- # DIMENSION dim=19, generator matrices column encodings:
1127
-
1128
- [
1129
-
1130
- [129971866,403034142,42953265,456052922,529723536,39622889,
1131
- 1022405131,495125695,205765660,236811057,61590560,562939695,
1132
- 1009383060,28432675,166824630,956664215,988888538,657242377,
1133
- 1023579691,437431770,927205331,608312395,1072853475,655700129,
1134
- 27075613,636512015,837235128,226005552,875432949,795592105],
1135
-
1136
- [240208052,897491798,957022978,171139102,93849129,244950800,
1137
- 344159584,111102217,678504858,574516126,250455084,391388795,
1138
- 133277104,489333922,140361892,410735402,619253688,1031862789,
1139
- 335691611,322432037,806111734,694909702,349940897,602532064,
1140
- 148117500,111729200,457404274,557714256,1040149279,403498667],
1141
-
1142
- [432640305,1037156381,314925778,372080644,940221914,572058354,
1143
- 1038338338,426569089,455769817,491120620,1057021567,302721707,
1144
- 246475132,705152316,499194294,113265561,426137972,136848280,
1145
- 562415570,787892679,852991603,351729970,96778882,304416578,
1146
- 86282104,1036217109,157944466,954042255,414571869,870959303],
1147
-
1148
- [971287756,89414420,204713973,378635447,401797896,163681059,
1149
- 751966264,537449399,801535112,1071633688,146052774,3986810,
1150
- 636727079,697417592,1006763522,383199535,663223922,144535570,
1151
- 201016558,746200892,854342532,328874258,155896922,499850531,
1152
- 936254650,7138453,1071466390,61395452,636873816,304460150],
1153
-
1154
- [328557410,777876265,101075537,435479976,525041988,303555745,
1155
- 350113747,339410275,684034311,889925340,401693876,1060788096,
1156
- 113705201,1015366269,1065286982,10076601,952361191,167950482,
1157
- 435129959,233185538,781449455,798849169,428671146,124812670,
1158
- 188788880,15299783,859915815,1015278018,326831435,1018648256],
1159
-
1160
- [754655229,72701120,953293325,631599840,89857942,554011778,
1161
- 47073811,835760886,265073629,127620500,308658367,867391607,
1162
- 203498672,894076239,524964741,312496838,313578784,269715110,
1163
- 705844852,823949536,1027242087,59395526,569377093,394836031,
1164
- 343701223,384460815,943904084,699855722,421835371,270791893],
1165
-
1166
- [745907108,944952526,82284004,699536358,361313725,905488055,
1167
- 1023155197,882057901,746645466,119817566,452638563,1550867,
1168
- 1031436690,776155790,394503730,685193551,228707474,911100838,
1169
- 964828725,508995720,1026359451,428405268,817946254,828929109,
1170
- 313584437,871581416,426427170,160301328,365965375,220499879],
1171
-
1172
- [1056914698,521647651,221143510,117107134,150943194,408928603,
1173
- 480271744,848194951,172435885,473080053,275662818,324152353,
1174
- 59283147,131089463,834982831,778766731,122554353,88292162,
1175
- 763906051,129869508,637389308,823280981,671656942,66520354,
1176
- 308342240,325794549,6816340,371091997,621547052,25705907],
1177
-
1178
- [352064385,40386260,880715911,677695864,1005975671,853795757,
1179
- 574407480,530348942,601261381,103248825,975989152,739827654,
1180
- 863177279,460530535,159413890,688421859,1044972575,795098007,
1181
- 801093227,1001062741,926378401,139434982,834760968,204950615,
1182
- 639313518,920958373,495164640,91682281,69551285,433426629],
1183
-
1184
- [830376956,810354778,986692688,439214662,955852394,611884049,
1185
- 928650736,168559105,1064592932,151376416,433454075,1011126901,
1186
- 608575983,128899860,905698379,606430135,179348441,821647220,
1187
- 998454680,127121984,795384066,600759059,199794554,295176814,
1188
- 939420101,914617710,1018471342,111811433,331709918,221179210],
1189
-
1190
- [425733878,658229029,912424615,386431078,862251738,293702507,
1191
- 1043902477,877189394,48926307,261568902,462823467,217704510,
1192
- 305034830,297130225,26429996,343060209,894475863,17832215,
1193
- 1065385292,231895796,449755847,855378457,567620577,152049881,
1194
- 814862897,582773843,514674944,282536321,434990576,459545057],
1195
-
1196
- [665803357,392676405,1034814418,748287515,958635983,4816387,
1197
- 1034522664,915407014,57358263,113520872,253432907,18329885,
1198
- 1870034,67039950,583108703,159185799,130709561,976056560,
1199
- 448806026,846991206,686503884,308824271,436305887,194443459,
1200
- 777220336,1039366896,793594637,928986568,632103016,946360556],
1201
-
1202
- [626519650,572986777,596911660,888597461,756498052,392128719,
1203
- 36970690,1052917571,313118633,522168466,842712620,894477415,
1204
- 1055471970,11136187,252204038,40861408,975737116,212304344,
1205
- 965813895,726672608,429270148,457534820,770940172,116146229,
1206
- 243261641,1010332968,788194608,944433533,826152594,747969338],
1207
-
1208
- [1071582690,774188573,739663870,52487898,1048372764,921959408,
1209
- 547457522,429672649,490994041,25062518,805601797,589439943,
1210
- 496185778,639115556,433359194,327519661,726063918,256775538,
1211
- 973277956,33829588,639364507,351093493,73945571,631973049,
1212
- 882014952,196800376,470141183,501641249,527537127,1041746568],
1213
-
1214
- [635515840,789421408,903280967,937233682,987061368,245651243,
1215
- 162035928,13403621,749035327,131961461,612384091,371767111,
1216
- 944735537,346467471,292218132,1012693329,199650456,41027984,
1217
- 707150170,430658317,13393404,392035786,595614074,557315511,
1218
- 666890400,868924491,243135067,323841161,1027036232,622805502],
1219
-
1220
- [449543741,1068764199,919033015,422588592,252659057,380512547,
1221
- 538163030,67298058,638240573,691740025,524238634,479950745,
1222
- 602605950,1001285057,908196893,633023435,307774415,725379120,
1223
- 956739667,806388387,886237605,205177588,348918954,334053401,
1224
- 738869676,213168145,1010252086,29197916,769372946,291583312],
1225
-
1226
- [741738850,1073019312,151484689,963933996,549606967,851354389,
1227
- 277323389,157310630,427601638,817151586,491424124,737041173,
1228
- 736095612,646603916,295404110,614293779,110322022,227217880,
1229
- 596496751,455560392,177091156,799938318,212552277,239995158,
1230
- 942974955,977308770,319620009,456207171,829064434,160328806],
1231
-
1232
- [751747817,315669162,1072571913,627839530,710228931,164629564,
1233
- 195148759,354677796,438058535,197451362,893770061,655242823,
1234
- 933207855,1034931553,1008083539,186134820,228361620,632147422,
1235
- 1051983424,579762179,835229716,490118527,935155568,444896042,
1236
- 190533305,524870331,248465921,840689687,498889988,302936823],
1237
-
1238
- [231782923,564441136,313799900,266020321,107576271,637714276,
1239
- 276715238,1041069275,782157799,490431753,619629874,682769192,
1240
- 84396062,1057857132,297378685,291285635,788347610,651201612,
1241
- 634291722,566191297,848749961,222420643,105329531,619183894,
1242
- 916439463,89124187,439251173,359317962,570853204,769320185]
1243
-
1244
- ],
1245
-
1246
- # DIMENSION dim=20, generator matrices column encodings:
1247
-
1248
- [
1249
-
1250
- [129971866,403034142,42953265,456052922,529723536,39622889,
1251
- 1022405131,495125695,205765660,236811057,61590560,562939695,
1252
- 1009383060,28432675,166824630,956664215,988888538,657242377,
1253
- 1023579691,437431770,927205331,608312395,1072853475,655700129,
1254
- 27075613,636512015,837235128,226005552,875432949,795592105],
1255
-
1256
- [240208052,897491798,957022978,171139102,93849129,244950800,
1257
- 344159584,111102217,678504858,574516126,250455084,391388795,
1258
- 133277104,489333922,140361892,410735402,619253688,1031862789,
1259
- 335691611,322432037,806111734,694909702,349940897,602532064,
1260
- 148117500,111729200,457404274,557714256,1040149279,403498667],
1261
-
1262
- [432640305,1037156381,314925778,372080644,940221914,572058354,
1263
- 1038338338,426569089,455769817,491120620,1057021567,302721707,
1264
- 246475132,705152316,499194294,113265561,426137972,136848280,
1265
- 562415570,787892679,852991603,351729970,96778882,304416578,
1266
- 86282104,1036217109,157944466,954042255,414571869,870959303],
1267
-
1268
- [971287756,89414420,204713973,378635447,401797896,163681059,
1269
- 751966264,537449399,801535112,1071633688,146052774,3986810,
1270
- 636727079,697417592,1006763522,383199535,663223922,144535570,
1271
- 201016558,746200892,854342532,328874258,155896922,499850531,
1272
- 936254650,7138453,1071466390,61395452,636873816,304460150],
1273
-
1274
- [328557410,777876265,101075537,435479976,525041988,303555745,
1275
- 350113747,339410275,684034311,889925340,401693876,1060788096,
1276
- 113705201,1015366269,1065286982,10076601,952361191,167950482,
1277
- 435129959,233185538,781449455,798849169,428671146,124812670,
1278
- 188788880,15299783,859915815,1015278018,326831435,1018648256],
1279
-
1280
- [754655229,72701120,953293325,631599840,89857942,554011778,
1281
- 47073811,835760886,265073629,127620500,308658367,867391607,
1282
- 203498672,894076239,524964741,312496838,313578784,269715110,
1283
- 705844852,823949536,1027242087,59395526,569377093,394836031,
1284
- 343701223,384460815,943904084,699855722,421835371,270791893],
1285
-
1286
- [745907108,944952526,82284004,699536358,361313725,905488055,
1287
- 1023155197,882057901,746645466,119817566,452638563,1550867,
1288
- 1031436690,776155790,394503730,685193551,228707474,911100838,
1289
- 964828725,508995720,1026359451,428405268,817946254,828929109,
1290
- 313584437,871581416,426427170,160301328,365965375,220499879],
1291
-
1292
- [1056914698,521647651,221143510,117107134,150943194,408928603,
1293
- 480271744,848194951,172435885,473080053,275662818,324152353,
1294
- 59283147,131089463,834982831,778766731,122554353,88292162,
1295
- 763906051,129869508,637389308,823280981,671656942,66520354,
1296
- 308342240,325794549,6816340,371091997,621547052,25705907],
1297
-
1298
- [352064385,40386260,880715911,677695864,1005975671,853795757,
1299
- 574407480,530348942,601261381,103248825,975989152,739827654,
1300
- 863177279,460530535,159413890,688421859,1044972575,795098007,
1301
- 801093227,1001062741,926378401,139434982,834760968,204950615,
1302
- 639313518,920958373,495164640,91682281,69551285,433426629],
1303
-
1304
- [830376956,810354778,986692688,439214662,955852394,611884049,
1305
- 928650736,168559105,1064592932,151376416,433454075,1011126901,
1306
- 608575983,128899860,905698379,606430135,179348441,821647220,
1307
- 998454680,127121984,795384066,600759059,199794554,295176814,
1308
- 939420101,914617710,1018471342,111811433,331709918,221179210],
1309
-
1310
- [425733878,658229029,912424615,386431078,862251738,293702507,
1311
- 1043902477,877189394,48926307,261568902,462823467,217704510,
1312
- 305034830,297130225,26429996,343060209,894475863,17832215,
1313
- 1065385292,231895796,449755847,855378457,567620577,152049881,
1314
- 814862897,582773843,514674944,282536321,434990576,459545057],
1315
-
1316
- [665803357,392676405,1034814418,748287515,958635983,4816387,
1317
- 1034522664,915407014,57358263,113520872,253432907,18329885,
1318
- 1870034,67039950,583108703,159185799,130709561,976056560,
1319
- 448806026,846991206,686503884,308824271,436305887,194443459,
1320
- 777220336,1039366896,793594637,928986568,632103016,946360556],
1321
-
1322
- [626519650,572986777,596911660,888597461,756498052,392128719,
1323
- 36970690,1052917571,313118633,522168466,842712620,894477415,
1324
- 1055471970,11136187,252204038,40861408,975737116,212304344,
1325
- 965813895,726672608,429270148,457534820,770940172,116146229,
1326
- 243261641,1010332968,788194608,944433533,826152594,747969338],
1327
-
1328
- [1071582690,774188573,739663870,52487898,1048372764,921959408,
1329
- 547457522,429672649,490994041,25062518,805601797,589439943,
1330
- 496185778,639115556,433359194,327519661,726063918,256775538,
1331
- 973277956,33829588,639364507,351093493,73945571,631973049,
1332
- 882014952,196800376,470141183,501641249,527537127,1041746568],
1333
-
1334
- [635515840,789421408,903280967,937233682,987061368,245651243,
1335
- 162035928,13403621,749035327,131961461,612384091,371767111,
1336
- 944735537,346467471,292218132,1012693329,199650456,41027984,
1337
- 707150170,430658317,13393404,392035786,595614074,557315511,
1338
- 666890400,868924491,243135067,323841161,1027036232,622805502],
1339
-
1340
- [449543741,1068764199,919033015,422588592,252659057,380512547,
1341
- 538163030,67298058,638240573,691740025,524238634,479950745,
1342
- 602605950,1001285057,908196893,633023435,307774415,725379120,
1343
- 956739667,806388387,886237605,205177588,348918954,334053401,
1344
- 738869676,213168145,1010252086,29197916,769372946,291583312],
1345
-
1346
- [741738850,1073019312,151484689,963933996,549606967,851354389,
1347
- 277323389,157310630,427601638,817151586,491424124,737041173,
1348
- 736095612,646603916,295404110,614293779,110322022,227217880,
1349
- 596496751,455560392,177091156,799938318,212552277,239995158,
1350
- 942974955,977308770,319620009,456207171,829064434,160328806],
1351
-
1352
- [751747817,315669162,1072571913,627839530,710228931,164629564,
1353
- 195148759,354677796,438058535,197451362,893770061,655242823,
1354
- 933207855,1034931553,1008083539,186134820,228361620,632147422,
1355
- 1051983424,579762179,835229716,490118527,935155568,444896042,
1356
- 190533305,524870331,248465921,840689687,498889988,302936823],
1357
-
1358
- [231782923,564441136,313799900,266020321,107576271,637714276,
1359
- 276715238,1041069275,782157799,490431753,619629874,682769192,
1360
- 84396062,1057857132,297378685,291285635,788347610,651201612,
1361
- 634291722,566191297,848749961,222420643,105329531,619183894,
1362
- 916439463,89124187,439251173,359317962,570853204,769320185],
1363
-
1364
- [676629042,890605142,1002839327,523688601,94150929,345382736,
1365
- 917470425,448046156,11104351,421774295,1003535548,690755745,
1366
- 1072393822,110502200,1046710617,863643895,501940838,1005596262,
1367
- 177889070,894474600,1024283517,536108296,511361182,597326621,
1368
- 33078708,897620545,435132721,213718759,160790581,74282284]
1369
-
1370
- ]
1371
-
1372
- ]
1373
-
1374
-
1375
-
1376
- return x
1377
- end # end gMC
1378
-
1379
-
1380
-
1381
-
1382
- end #end of class
1383
-
1384
- end #end module
1385
-