quasi 0.0.1
Sign up to get free protection for your applications and to get access to all the features.
- data/Manifest +7 -0
- data/Rakefile +26 -0
- data/lib/LowDiscrepancySequence.rb +164 -0
- data/lib/NX.rb +1385 -0
- data/lib/halton.rb +93 -0
- data/lib/quasi.rb +18 -0
- data/quasi.gemspec +30 -0
- metadata +80 -0
data/Manifest
ADDED
data/Rakefile
ADDED
@@ -0,0 +1,26 @@
|
|
1
|
+
require 'rubygems'
|
2
|
+
require 'rake'
|
3
|
+
require 'echoe'
|
4
|
+
#require 'spec/rake/spectask'
|
5
|
+
require 'lib/quasi'
|
6
|
+
|
7
|
+
#task :default => :spec
|
8
|
+
|
9
|
+
#desc "Run the Quasi specs"
|
10
|
+
#task :spec do
|
11
|
+
# Spec::Rake::SpecTask.new do |t|
|
12
|
+
# t.spec_files = FileList['spec/**/*_spec.rb']
|
13
|
+
# t.rcov = true
|
14
|
+
# t.rcov_opts = ['--exclude', 'spec']
|
15
|
+
# t.spec_opts = ['--options', "spec/spec.opts"]
|
16
|
+
# end
|
17
|
+
#end
|
18
|
+
|
19
|
+
Echoe.new('quasi', "0.0.1") do |p|
|
20
|
+
p.description = "A gem for Low Discrepancy Sequences"
|
21
|
+
p.url = "http://gammabox.heroku.com"
|
22
|
+
p.author = "Thomas Adolfsson"
|
23
|
+
p.email = "thoad747@gmail.com"
|
24
|
+
p.ignore_pattern = ["coverage/*", "*~"]
|
25
|
+
p.development_dependencies = []
|
26
|
+
end
|
@@ -0,0 +1,164 @@
|
|
1
|
+
|
2
|
+
|
3
|
+
require 'rubygems'
|
4
|
+
require 'narray'
|
5
|
+
include Math
|
6
|
+
|
7
|
+
#p>Interface and methods to compute L2-discrepancy for low discrepancy sequences.</p>
|
8
|
+
|
9
|
+
module Quasi
|
10
|
+
|
11
|
+
class LowDiscrepancySequence
|
12
|
+
|
13
|
+
def initialize(dim)
|
14
|
+
@dim = dim
|
15
|
+
@index = 1
|
16
|
+
@x = NArray.float(dim)
|
17
|
+
@y = NArray.float(dim)
|
18
|
+
end
|
19
|
+
|
20
|
+
def restart
|
21
|
+
@index =1
|
22
|
+
end
|
23
|
+
|
24
|
+
def nextPoint(r)
|
25
|
+
x= nextPoint
|
26
|
+
for k in 0..@dim
|
27
|
+
r[k] = x[k]
|
28
|
+
end
|
29
|
+
end
|
30
|
+
|
31
|
+
#L^2-DISCREPANCY
|
32
|
+
|
33
|
+
def product(i,j,r)
|
34
|
+
f=1.0
|
35
|
+
for k in 0..@dim
|
36
|
+
f*=1.0-[r[i][k],r[j][k]].max
|
37
|
+
end
|
38
|
+
return f
|
39
|
+
end
|
40
|
+
|
41
|
+
def productSQ( i, r)
|
42
|
+
f=1.0
|
43
|
+
for k in 0..@dim
|
44
|
+
f*=(1.0-r[i][k]*r[i][k])
|
45
|
+
end
|
46
|
+
return f
|
47
|
+
end
|
48
|
+
|
49
|
+
|
50
|
+
def L2_discrepancy(n, r)
|
51
|
+
a,b =1.0,1.0
|
52
|
+
for k in 0..@dim
|
53
|
+
a/=2
|
54
|
+
b/=3
|
55
|
+
end
|
56
|
+
|
57
|
+
sum_1,sum_2 =0.0,0.0
|
58
|
+
|
59
|
+
loops=0
|
60
|
+
for i in 0..n
|
61
|
+
for j in i+1..n
|
62
|
+
sum_1+=product(i,j,r)
|
63
|
+
end
|
64
|
+
end
|
65
|
+
|
66
|
+
sum_1*=2
|
67
|
+
|
68
|
+
for i in 0..n
|
69
|
+
sum_1+=product(i,i,r)
|
70
|
+
end
|
71
|
+
|
72
|
+
sum_1/=(n*n)
|
73
|
+
|
74
|
+
#second sum
|
75
|
+
for i in 0..n
|
76
|
+
sum_2+=productSQ(i,r)
|
77
|
+
end
|
78
|
+
|
79
|
+
sum_2/=n
|
80
|
+
sum_2*=(2.0*a)
|
81
|
+
return Math.sqrt(sum_1-sum_2+b)
|
82
|
+
|
83
|
+
end
|
84
|
+
|
85
|
+
#second method for all
|
86
|
+
#add later
|
87
|
+
|
88
|
+
# TRANSFORM UNIFORM -> MULTINORMAL
|
89
|
+
#need thi, maybe narray
|
90
|
+
|
91
|
+
def nextQuasiNormalVector
|
92
|
+
x=nextPoint()
|
93
|
+
z = Array.new(@dim)
|
94
|
+
for k in 0..@dim-1
|
95
|
+
z[k]=n_inverse(x[k].to_f);
|
96
|
+
end
|
97
|
+
return z
|
98
|
+
end
|
99
|
+
|
100
|
+
def projectionOut(i,j, nPoints)
|
101
|
+
name=getName
|
102
|
+
puts i,j
|
103
|
+
puts nextPoint(x)
|
104
|
+
end
|
105
|
+
|
106
|
+
def n_inverse(x)
|
107
|
+
sqrt_two_PI=2.5066282746310
|
108
|
+
|
109
|
+
e_1 = -3.969683028665376e+01
|
110
|
+
e_2 = 2.209460984245205e+02
|
111
|
+
e_3 = -2.759285104469687e+02
|
112
|
+
e_4 = 1.383577518672690e+02
|
113
|
+
e_5 = -3.066479806614716e+01
|
114
|
+
e_6 = 2.506628277459239e+00
|
115
|
+
|
116
|
+
f_1 = -5.447609879822406e+01
|
117
|
+
f_2 = 1.615858368580409e+02
|
118
|
+
f_3 = -1.556989798598866e+02
|
119
|
+
f_4 = 6.680131188771972e+01
|
120
|
+
f_5 = -1.328068155288572e+01
|
121
|
+
|
122
|
+
|
123
|
+
|
124
|
+
g_1 = -7.784894002430293e-03
|
125
|
+
g_2 = -3.223964580411365e-01
|
126
|
+
g_3 = -2.400758277161838e+00
|
127
|
+
g_4 = -2.549732539343734e+00
|
128
|
+
g_5 = 4.374664141464968e+00
|
129
|
+
g_6 = 2.938163982698783e+00
|
130
|
+
|
131
|
+
|
132
|
+
h_1 = 7.784695709041462e-03
|
133
|
+
h_2 = 3.224671290700398e-01
|
134
|
+
h_3 = 2.445134137142996e+00
|
135
|
+
h_4 = 3.754408661907416e+00
|
136
|
+
|
137
|
+
x_l = 0.02425
|
138
|
+
x_u = 1.0 - x_l
|
139
|
+
|
140
|
+
|
141
|
+
#lower
|
142
|
+
|
143
|
+
if( x < x_l )
|
144
|
+
z = Math.sqrt(-2.0*Math.log(x))
|
145
|
+
z = (((((g_1*z+g_2)*z+g_3)*z+g_4)*z+g_5)*z+g_6) / ((((h_1*z+h_2)*z+h_3)*z+h_4)*z+1.0)
|
146
|
+
elsif( x <= x_u )
|
147
|
+
#central
|
148
|
+
z = x - 0.5; r = z*z
|
149
|
+
z = (((((e_1*r+e_2)*r+e_3)*r+e_4)*r+e_5)*r+e_6)*z / (((((f_1*r+f_2)*r+f_3)*r+f_4)*r+f_5)*r+1.0)
|
150
|
+
|
151
|
+
#upper
|
152
|
+
else
|
153
|
+
z = Math.sqrt(-2.0*Math.log(1.0-x))
|
154
|
+
z = -(((((g_1*z+g_2)*z+g_3)*z+g_4)*z+g_5)*z+g_6) / ((((h_1*z+h_2)*z+h_3)*z+h_4)*z+1.0)
|
155
|
+
|
156
|
+
end
|
157
|
+
|
158
|
+
return z
|
159
|
+
|
160
|
+
|
161
|
+
end
|
162
|
+
|
163
|
+
end #end of class
|
164
|
+
end # end module
|
data/lib/NX.rb
ADDED
@@ -0,0 +1,1385 @@
|
|
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
|
+
|