quasi 0.0.3 → 0.0.4

Sign up to get free protection for your applications and to get access to all the features.
data/Manifest ADDED
@@ -0,0 +1,9 @@
1
+ Manifest
2
+ README.rdoc
3
+ Rakefile
4
+ Rakefile.bkp.jeweler
5
+ VERSION
6
+ lib/LowDiscrepancySequence.rb
7
+ lib/NX.rb
8
+ lib/halton.rb
9
+ lib/quasi.rb
data/README.rdoc ADDED
@@ -0,0 +1,19 @@
1
+ = QUASI
2
+ == Installation
3
+ gem install quasi
4
+
5
+ == Usage
6
+ === example usage
7
+ example 1.
8
+ q_seq= Quasi.Halton.new(1)
9
+ for i in 1..10
10
+ q_rand= q_seq.nextQuasiNormalVector[0]
11
+ puts q_rand
12
+ end
13
+
14
+ example 2.
15
+ q_seq= Quasi.NX.new(1)
16
+ for i in 1..10
17
+ q_rand= q_seq.nextPoint[0]
18
+ puts q_rand
19
+ end
data/Rakefile ADDED
@@ -0,0 +1,28 @@
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
+ version = File.exist?('VERSION') ? File.read('VERSION') : ""
19
+
20
+ Echoe.new('quasi', version) do |p|
21
+
22
+ p.description = "A gem for Low Discrepancy Sequences"
23
+ p.url = "http://gammabox.heroku.com/quasi"
24
+ p.author = "Thomas Adolfsson"
25
+ p.email = "thoad747@gmail.com"
26
+ p.ignore_pattern = ["coverage/*", "*~"]
27
+ p.development_dependencies = ["narray"]
28
+ end
@@ -0,0 +1,60 @@
1
+ require 'rubygems'
2
+ require 'rake'
3
+
4
+ begin
5
+ require 'jeweler'
6
+ Jeweler::Tasks.new do |gem|
7
+ gem.name = "quasi"
8
+ gem.summary = %Q{A gem for Low Discrepancy Sequences}
9
+ gem.description = %Q{A gem for Low Discrepancy Sequences. Currently Contains implementations of the Halton, and Niederreiter-Xing generator in various dimensions}
10
+ gem.email = "thoad747@gmail.com"
11
+ gem.homepage = "http://gammabox.heroku.com/quasi"
12
+ gem.authors = ["Thomas Adolfsson"]
13
+ gem.add_development_dependency "minitest", ">= 0"
14
+ gem.add_dependency "narray", ">= 0"
15
+ gem.has_rdoc = true
16
+ gem.extra_rdoc_files = ["README"]
17
+ # gem is a Gem::Specification... see http://www.rubygems.org/read/chapter/20 for additional settings
18
+ end
19
+ #Jeweler::GemcutterTasks.new
20
+ rescue LoadError
21
+ puts "Jeweler (or a dependency) not available. Install it with: gem install jeweler"
22
+ end
23
+
24
+
25
+
26
+ require 'rake/testtask'
27
+ Rake::TestTask.new(:test) do |test|
28
+ test.libs << 'lib' << 'test'
29
+ test.pattern = 'test/**/test_*.rb'
30
+ test.verbose = true
31
+ end
32
+
33
+ begin
34
+ require 'rcov/rcovtask'
35
+ Rcov::RcovTask.new do |test|
36
+ test.libs << 'test'
37
+ test.pattern = 'test/**/test_*.rb'
38
+ test.verbose = true
39
+ end
40
+ rescue LoadError
41
+ task :rcov do
42
+ abort "RCov is not available. In order to run rcov, you must: sudo gem install spicycode-rcov"
43
+ end
44
+ end
45
+
46
+ task :test => :check_dependencies
47
+
48
+ task :default => :test
49
+
50
+ require 'rake/rdoctask'
51
+ Rake::RDocTask.new do |rdoc|
52
+ version = File.exist?('VERSION') ? File.read('VERSION') : ""
53
+
54
+ rdoc.rdoc_dir = 'doc'
55
+ rdoc.title = "quasi #{version}"
56
+ rdoc.rdoc_files.include('README*')
57
+ rdoc.rdoc_files.include('lib/**/*.rb')
58
+ rdoc.rdoc_files.include('lib/*.rb')
59
+ rdoc.rdoc_files.include('doc/*')
60
+ end
data/VERSION ADDED
@@ -0,0 +1 @@
1
+ 0.0.4
@@ -0,0 +1,163 @@
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
+
86
+
87
+ # TRANSFORM UNIFORM -> MULTINORMAL
88
+ #
89
+
90
+ def nextQuasiNormalVector
91
+ x=nextPoint()
92
+ z = Array.new(@dim)
93
+ for k in 0..@dim-1
94
+ z[k]=n_inverse(x[k].to_f);
95
+ end
96
+ return z
97
+ end
98
+
99
+ def projectionOut(i,j, nPoints)
100
+ name=getName
101
+ puts i,j
102
+ puts nextPoint(x)
103
+ end
104
+
105
+ def n_inverse(x)
106
+ sqrt_two_PI=2.5066282746310
107
+
108
+ e_1 = -3.969683028665376e+01
109
+ e_2 = 2.209460984245205e+02
110
+ e_3 = -2.759285104469687e+02
111
+ e_4 = 1.383577518672690e+02
112
+ e_5 = -3.066479806614716e+01
113
+ e_6 = 2.506628277459239e+00
114
+
115
+ f_1 = -5.447609879822406e+01
116
+ f_2 = 1.615858368580409e+02
117
+ f_3 = -1.556989798598866e+02
118
+ f_4 = 6.680131188771972e+01
119
+ f_5 = -1.328068155288572e+01
120
+
121
+
122
+
123
+ g_1 = -7.784894002430293e-03
124
+ g_2 = -3.223964580411365e-01
125
+ g_3 = -2.400758277161838e+00
126
+ g_4 = -2.549732539343734e+00
127
+ g_5 = 4.374664141464968e+00
128
+ g_6 = 2.938163982698783e+00
129
+
130
+
131
+ h_1 = 7.784695709041462e-03
132
+ h_2 = 3.224671290700398e-01
133
+ h_3 = 2.445134137142996e+00
134
+ h_4 = 3.754408661907416e+00
135
+
136
+ x_l = 0.02425
137
+ x_u = 1.0 - x_l
138
+
139
+
140
+ #lower
141
+
142
+ if( x < x_l )
143
+ z = Math.sqrt(-2.0*Math.log(x))
144
+ 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)
145
+ elsif( x <= x_u )
146
+ #central
147
+ z = x - 0.5; r = z*z
148
+ 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)
149
+
150
+ #upper
151
+ else
152
+ z = Math.sqrt(-2.0*Math.log(1.0-x))
153
+ 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)
154
+
155
+ end
156
+
157
+ return z
158
+
159
+
160
+ end
161
+
162
+ end #end of class
163
+ 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
+