16階環已佔用的編號空間：1~33、70~280、284~390。
N0n0bAbOn1n2n4n5n6n7n8S1N2相同而I1I2不同的16階環：
R16_166!=R16_156
R16_232!=R16_152
R16_280!=R16_234
R16_228!=R16_164
R16_284!=R16_371
R16_285!=R16_375
R16_255!=R16_209
R16_256!=R16_215
R16_312!=R16_313
R16_352!=R16_336
R16_353!=R16_349
R16_354!=R16_308
R16_355!=R16_309
R16_356!=R16_310
D:\MathTool\gaptool>FiniteRing
R4_1×R4_1=R16_107
R4_1×R4_2=R16_116
R4_1×R4_3=R16_112
R4_1×R4_4=R16_206
R4_1×R4_5=R16_207
R4_1×R4_6=R16_208
R4_1×R4_7=R16_209
R4_1×R4_8=R16_255
R4_1×R4_9=R16_210
R4_1×R4_10=R16_224
R4_1×R4_11=R16_211
R4_2×R4_2=R16_103
R4_2×R4_3=R16_113
R4_2×R4_4=R16_212
R4_2×R4_5=R16_213
R4_2×R4_6=R16_214
R4_2×R4_7=R16_215
R4_2×R4_8=R16_256
R4_2×R4_9=R16_216
R4_2×R4_10=R16_217
R4_2×R4_11=R16_218
R4_3×R4_3=R16_104
R4_3×R4_4=R16_219
R4_3×R4_5=R16_220
R4_3×R4_6=R16_221
R4_3×R4_7=R16_222
R4_3×R4_8=R16_223
R4_3×R4_9=R16_225
R4_3×R4_10=R16_226
R4_3×R4_11=R16_227
R4_4×R4_4=R16_301
R4_4×R4_5=R16_303
R4_4×R4_6=R16_305
R4_4×R4_7=R16_308
R4_4×R4_8=R16_354
R4_4×R4_9=R16_314
R4_4×R4_10=R16_307
R4_4×R4_11=R16_324
R4_5×R4_5=R16_304
R4_5×R4_6=R16_306
R4_5×R4_7=R16_309
R4_5×R4_8=R16_355
R4_5×R4_9=R16_315
R4_5×R4_10=R16_319
R4_5×R4_11=R16_325
R4_6×R4_6=R16_307
R4_6×R4_7=R16_310
R4_6×R4_8=R16_356
R4_6×R4_9=R16_316
R4_6×R4_10=R16_320
R4_6×R4_11=R16_326
R4_7×R4_7=R16_311
R4_7×R4_8=R16_312
R4_7×R4_9=R16_317
R4_7×R4_10=R16_321
R4_7×R4_11=R16_327
R4_8×R4_8=R16_313
R4_8×R4_9=R16_318
R4_8×R4_10=R16_322
R4_8×R4_11=R16_328
R4_9×R4_9=R16_384
R4_9×R4_10=R16_323
R4_9×R4_11=R16_302
R4_10×R4_10=R16_386
R4_10×R4_11=R16_387
R4_11×R4_11=R16_389
R8_1×R2_1=R16_12
R8_1×R2_2=R16_13
R8_2×R2_1=R16_10
R8_2×R2_2=R16_14
R8_3×R2_1=R16_11
R8_3×R2_2=R16_6
R8_4×R2_1=R16_9
R8_4×R2_2=R16_15
R8_5×R2_1=R16_206
R8_5×R2_2=R16_208
R8_6×R2_1=R16_230
R8_6×R2_2=R16_239
R8_7×R2_1=R16_208
R8_7×R2_2=R16_224
R8_8×R2_1=R16_231
R8_8×R2_2=R16_240
R8_9×R2_1=R16_152
R8_9×R2_2=R16_241
R8_10×R2_1=R16_233
R8_10×R2_2=R16_242
R8_11×R2_1=R16_280
R8_11×R2_2=R16_243
R8_12×R2_1=R16_235
R8_12×R2_2=R16_244
R8_13×R2_1=R16_219
R8_13×R2_2=R16_221
R8_14×R2_1=R16_221
R8_14×R2_2=R16_226
R8_15×R2_1=R16_204
R8_15×R2_2=R16_245
R8_16×R2_1=R16_212
R8_16×R2_2=R16_214
R8_17×R2_1=R16_214
R8_17×R2_2=R16_217
R8_18×R2_1=R16_236
R8_18×R2_2=R16_246
R8_19×R2_1=R16_252
R8_19×R2_2=R16_253
R8_20×R2_1=R16_203
R8_20×R2_2=R16_247
R8_21×R2_1=R16_251
R8_21×R2_2=R16_254
R8_22×R2_1=R16_237
R8_22×R2_2=R16_248
R8_23×R2_1=R16_200
R8_23×R2_2=R16_249
R8_24×R2_1=R16_238
R8_24×R2_2=R16_250
R8_25×R2_1=R16_301
R8_25×R2_2=R16_305
R8_26×R2_1=R16_303
R8_26×R2_2=R16_306
R8_27×R2_1=R16_305
R8_27×R2_2=R16_307
R8_28×R2_1=R16_343
R8_28×R2_2=R16_344
R8_29×R2_1=R16_308
R8_29×R2_2=R16_310
R8_30×R2_1=R16_349
R8_30×R2_2=R16_350
R8_31×R2_1=R16_333
R8_31×R2_2=R16_338
R8_32×R2_1=R16_334
R8_32×R2_2=R16_339
R8_33×R2_1=R16_345
R8_33×R2_2=R16_346
R8_34×R2_1=R16_354
R8_34×R2_2=R16_356
R8_35×R2_1=R16_314
R8_35×R2_2=R16_316
R8_36×R2_1=R16_335
R8_36×R2_2=R16_340
R8_37×R2_1=R16_336
R8_37×R2_2=R16_341
R8_38×R2_1=R16_306
R8_38×R2_2=R16_319
R8_39×R2_1=R16_337
R8_39×R2_2=R16_342
R8_40×R2_1=R16_307
R8_40×R2_2=R16_320
R8_41×R2_1=R16_310
R8_41×R2_2=R16_321
R8_42×R2_1=R16_324
R8_42×R2_2=R16_326
R8_43×R2_1=R16_353
R8_43×R2_2=R16_351
R8_44×R2_1=R16_352
R8_44×R2_2=R16_347
R8_45×R2_1=R16_329
R8_45×R2_2=R16_332
R8_46×R2_1=R16_348
R8_46×R2_2=R16_382
R8_47×R2_1=R16_356
R8_47×R2_2=R16_322
R8_48×R2_1=R16_316
R8_48×R2_2=R16_323
R8_49×R2_1=R16_330
R8_49×R2_2=R16_380
R8_50×R2_1=R16_320
R8_50×R2_2=R16_386
R8_51×R2_1=R16_326
R8_51×R2_2=R16_387
R8_52×R2_1=R16_331
R8_52×R2_2=R16_388
129種16階可分解環:6,9,10,11,12,13,14,15,103,104,107,112,113,116,152,200,203,204,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,230,231,233,235,236,237,238,23
9,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,280,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,
336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,380,382,384,386,387,388,389,
IRing* newR2(int i)
{
if(i==1)
{
ZmodnZ* r=new ZmodnZ(2,4);
return r;
}
if(i==2)
{
ZmodnZ* r=new ZmodnZ(1,2);
return r;
}
return NULL;
}
IRing* newR8(int i)
{
if(i==1)
{
ZmodnZ* r=new ZmodnZ(8,64);
return r;
}
if(i==2)
{
ZmodnZ* r=new ZmodnZ(2,16);
return r;
}
if(i==3)
{
ZmodnZ* r=new ZmodnZ(1,8);
return r;
}
if(i==4)
{
ZmodnZ* r=new ZmodnZ(4,32);
return r;
}
if(i==5)//R8_5:=DirectSum(SmallRing(4,1),SmallRing(2,1));;
{
ZmodnZ* r4=new ZmodnZ(4,16);
ZmodnZ* r2=new ZmodnZ(2,4);
DecompositionRing* r= new DecompositionRing(r4,r2);
r->m_flag=1;
return r;
}
if(i==6)
{
FiniteRing* r=new FiniteRing(8,&g_R8_24Add[0][0],&g_R8_6Mul[0][0],0);
return r;
}
if(i==7)//R8_7:=DirectSum(SmallRing(4,1),SmallRing(2,2));;
{
ZmodnZ* r4=new ZmodnZ(4,16);
ZmodnZ* r2=new ZmodnZ(1,2);
DecompositionRing* r= new DecompositionRing(r4,r2);
r->m_flag=1;
return r;
}
if(i==8)
{
FiniteRing* r=new FiniteRing(8,&g_R8_24Add[0][0],&g_R8_8Mul[0][0],0);
return r;
}
if(i==9)
{
FiniteRing* r=new FiniteRing(8,&g_R8_24Add[0][0],&g_R8_9Mul[0][0],0);
return r;
}
if(i==10)
{
FiniteRing* r=new FiniteRing(8,&g_R8_24Add[0][0],&g_R8_10Mul[0][0],0);
return r;
}
if(i==11)
{
FiniteRing* r=new FiniteRing(8,&g_R8_24Add[0][0],&g_R8_11Mul[0][0],0);
return r;
}
if(i==12)
{
FiniteRing* r=new FiniteRing(8,&g_R8_24Add[0][0],&g_R8_12Mul[0][0],0);
return r;
}
if(i==13)
{
Mnr* r=new Mnr();
r->initR8(13);
return r;
}
if(i==14)//R8_14:=DirectSum(SmallRing(4,3),SmallRing(2,2));;R8_14:=DirectSum(ZmodnZ(2),ZmodnZ(4));;
{
//不是環FiniteRing* r=new FiniteRing(8,g_C2C4Add,&g_Z4F2Mul[0][0],0);
ZmodnZ* r4=new ZmodnZ(1,4);
ZmodnZ* r2=new ZmodnZ(1,2);
DecompositionRing* r= new DecompositionRing(r4,r2);
r->m_flag=1;
return r;
}
if(i==15)
{
FiniteRing* r=new FiniteRing(8,&g_R8_24Add[0][0],&g_R8_15Mul[0][0],0);
return r;
}
if(i==16)//R8_16:=DirectSum(SmallRing(4,2),SmallRing(2,1));;
{
ZmodnZ* r4=new ZmodnZ(2,8);
ZmodnZ* r2=new ZmodnZ(2,4);
DecompositionRing* r= new DecompositionRing(r4,r2);
r->m_flag=1;
return r;
}
if(i==17)//R8_17:=DirectSum(SmallRing(4,2),SmallRing(2,2));;
{
ZmodnZ* r4=new ZmodnZ(2,8);
ZmodnZ* r2=new ZmodnZ(1,2);
DecompositionRing* r= new DecompositionRing(r4,r2);
r->m_flag=1;
return r;
}
if(i==18)
{
FiniteRing* r=new FiniteRing(8,&g_R8_24Add[0][0],&g_R8_18Mul[0][0],0);
return r;
}
if(i==19)
{
M2r* r=new M2r();
MATRIXi A(2,vector<int>(2,0));
MATRIXi B(2,vector<int>(2,0));
A[0][0]=2;
A[0][1]=0;
A[1][0]=0;
A[1][1]=2;
B[0][0]=1;
B[0][1]=1;
B[1][0]=1;
B[1][1]=1;
vector<MATRIXi> gen;
gen.push_back(A);
gen.push_back(B);
r->m_r=new ZmodnZ(1,4);
r->m_flag=1;
r->m_Set=M2r::FR(r->m_r,gen);
return r;
}
if(i==20)
{
FiniteRing* r=new FiniteRing(8,&g_R8_24Add[0][0],&g_R8_20Mul[0][0],0);
return r;
}
if(i==21)
{
M2r* r=new M2r();
MATRIXi A(2,vector<int>(2,0));
A[0][0]=1;
A[0][1]=0;
A[1][0]=0;
A[1][1]=3;
vector<MATRIXi> gen;
gen.push_back(A);
r->m_r=new ZmodnZ(1,4);
r->m_flag=1;
r->m_Set=M2r::FR(r->m_r,gen);
return r;
}
if(i==22)
{
FiniteRing* r=new FiniteRing(8,&g_R8_24Add[0][0],&g_R8_22Mul[0][0],0);
return r;
}
if(i==23)
{
FiniteRing* r=new FiniteRing(8,&g_R8_24Add[0][0],&g_R8_23Mul[0][0],0);
return r;
}
if(i==24)
{
FiniteRing* r=new FiniteRing(8,&g_R8_24Add[0][0],&g_R8_24Mul[0][0],0);
return r;
}
if(i==25)//R8_25:=DirectSum(SmallRing(4,4),SmallRing(2,1));;
{
M2r* r4=new M2r;
r4->initD(2);
ZmodnZ* r2=new ZmodnZ(2,4);
DecompositionRing* r= new DecompositionRing(r4,r2);
r->m_flag=1;
return r;
}
if(i==26)//R8_26:=DirectSum(SmallRing(4,5),SmallRing(2,1));;
{
Mnr* r4=new Mnr;
r4->initE(2);
ZmodnZ* r2=new ZmodnZ(2,4);
DecompositionRing* r= new DecompositionRing(r4,r2);
r->m_flag=1;
return r;
}
if(i==27)//R8_27:=DirectSum(SmallRing(4,6),SmallRing(2,1));;
{
Mnr* r4=new Mnr;
r4->initF(2);
ZmodnZ* r2=new ZmodnZ(2,4);
DecompositionRing* r= new DecompositionRing(r4,r2);
r->m_flag=1;
return r;
}
if(i==28)
{
Mnr* r=new Mnr();
MATRIXi8 A(4,vector<TElem>(4,0));
MATRIXi8 B(4,vector<TElem>(4,0));
A[0][0]=1;
A[0][1]=0;
A[0][2]=1;
A[0][3]=0;
A[1][0]=0;
A[1][1]=1;
A[1][2]=0;
A[1][3]=1;
A[2][0]=0;
A[2][1]=1;
A[2][2]=0;
A[2][3]=1;
A[3][0]=1;
A[3][1]=0;
A[3][2]=1;
A[3][3]=0;
B[0][0]=0;
B[0][1]=1;
B[0][2]=0;
B[0][3]=1;
B[1][0]=0;
B[1][1]=1;
B[1][2]=0;
B[1][3]=1;
B[2][0]=0;
B[2][1]=1;
B[2][2]=0;
B[2][3]=1;
B[3][0]=0;
B[3][1]=1;
B[3][2]=0;
B[3][3]=1;
vector<MATRIXi8> gen;
gen.push_back(A);
gen.push_back(B);
r->m_r=new ZmodnZ(1,2);
r->m_flag=1;
r->m_n=4;
r->m_Set=Mnr::FR(r->m_r,gen);
return r;
}
if(i==29)//R8_29:=DirectSum(SmallRing(4,7),SmallRing(2,1));;
{
M2r* r4=new M2r;
r4->initG(2);
ZmodnZ* r2=new ZmodnZ(2,4);
DecompositionRing* r= new DecompositionRing(r4,r2);
r->m_flag=1;
return r;
}
if(i==30)
{
Mnr* r=new Mnr();
MATRIXi8 A(4,vector<TElem>(4,0));
MATRIXi8 B(4,vector<TElem>(4,0));
MATRIXi8 C(4,vector<TElem>(4,0));
A[0][0]=0;
A[0][1]=0;
A[0][2]=0;
A[0][3]=0;
A[1][0]=1;
A[1][1]=1;
A[1][2]=0;
A[1][3]=0;
A[2][0]=0;
A[2][1]=0;
A[2][2]=1;
A[2][3]=0;
A[3][0]=0;
A[3][1]=0;
A[3][2]=0;
A[3][3]=1;
B[0][0]=0;
B[0][1]=0;
B[0][2]=0;
B[0][3]=0;
B[1][0]=1;
B[1][1]=1;
B[1][2]=0;
B[1][3]=0;
B[2][0]=1;
B[2][1]=0;
B[2][2]=1;
B[2][3]=0;
B[3][0]=0;
B[3][1]=0;
B[3][2]=0;
B[3][3]=1;
C[0][0]=0;
C[0][1]=0;
C[0][2]=0;
C[0][3]=0;
C[1][0]=1;
C[1][1]=1;
C[1][2]=0;
C[1][3]=0;
C[2][0]=0;
C[2][1]=0;
C[2][2]=1;
C[2][3]=0;
C[3][0]=1;
C[3][1]=0;
C[3][2]=0;
C[3][3]=1;
vector<MATRIXi8> gen;
gen.push_back(A);
gen.push_back(B);
gen.push_back(C);
r->m_r=new ZmodnZ(1,2);
r->m_flag=1;
r->m_n=4;
r->m_Set=Mnr::FR(r->m_r,gen);
return r;
}
if(i==31)
{
FiniteRing* r=new FiniteRing(8,&g_F8Add[0][0],&g_R8_31Mul[0][0],0);
return r;
}
if(i==32)
{
FiniteRing* r=new FiniteRing(8,&g_F8Add[0][0],&g_R8_32Mul[0][0],0);
return r;
}
if(i==33)
{
Mnr* r=new Mnr();
MATRIXi8 A(4,vector<TElem>(4,0));
A[0][0]=1;
A[0][1]=0;
A[0][2]=0;
A[0][3]=1;
A[1][0]=1;
A[1][1]=0;
A[1][2]=0;
A[1][3]=0;
A[2][0]=1;
A[2][1]=1;
A[2][2]=0;
A[2][3]=1;
A[3][0]=1;
A[3][1]=0;
A[3][2]=0;
A[3][3]=1;
vector<MATRIXi8> gen;
gen.push_back(A);
r->m_r=new ZmodnZ(1,2);
r->m_flag=1;
r->m_n=4;
r->m_Set=Mnr::FR(r->m_r,gen);
return r;
}
if(i==34)//R8_34:=DirectSum(SmallRing(4,8),SmallRing(2,1));;
{
M2r* r4=new M2r;
r4->initH(2);
ZmodnZ* r2=new ZmodnZ(2,4);
DecompositionRing* r= new DecompositionRing(r4,r2);
r->m_flag=1;
return r;
}
if(i==35)//R8_35:=DirectSum(SmallRing(4,9),SmallRing(2,1));;
{
M2r* r4=new M2r;
r4->initI(2);
ZmodnZ* r2=new ZmodnZ(2,4);
DecompositionRing* r= new DecompositionRing(r4,r2);
r->m_flag=1;
return r;
}
if(i==36)
{
FiniteRing* r=new FiniteRing(8,&g_F8Add[0][0],&g_R8_36Mul[0][0],0);
return r;
}
if(i==37)
{
FiniteRing* r=new FiniteRing(8,&g_F8Add[0][0],&g_R8_37Mul[0][0],0);
return r;
}
if(i==38)//R8_38:=DirectSum(SmallRing(4,5),SmallRing(2,2));;
{
Mnr* r=new Mnr();
r->initL(2);
return r;
}
if(i==39)
{
FiniteRing* r=new FiniteRing(8,&g_F8Add[0][0],&g_R8_39Mul[0][0],0);
return r;
}
if(i==40)//R8_40:=DirectSum(SmallRing(4,10),SmallRing(2,1));;
{
M2r* r4=new M2r;
r4->initJ(2);
ZmodnZ* r2=new ZmodnZ(2,4);
DecompositionRing* r= new DecompositionRing(r4,r2);
r->m_flag=1;
return r;
}
if(i==41)//R8_41:=DirectSum(SmallRing(4,7),SmallRing(2,2));;
{
M2r* r4=new M2r;
r4->initG(2);
ZmodnZ* r2=new ZmodnZ(1,2);
DecompositionRing* r= new DecompositionRing(r4,r2);
r->m_flag=1;
return r;
}
if(i==42)//R8_42:=DirectSum(SmallRing(4,11),SmallRing(2,1));;
{
M2r* r4=new M2r;
r4->initK(2);
ZmodnZ* r2=new ZmodnZ(2,4);
DecompositionRing* r= new DecompositionRing(r4,r2);
r->m_flag=1;
return r;
}
if(i==43)
{
Mnr* r=new Mnr();
MATRIXi8 A(4,vector<TElem>(4,0));
MATRIXi8 B(4,vector<TElem>(4,0));
MATRIXi8 C(4,vector<TElem>(4,0));
A[0][0]=0;
A[0][1]=1;
A[0][2]=0;
A[0][3]=0;
A[1][0]=0;
A[1][1]=1;
A[1][2]=0;
A[1][3]=0;
A[2][0]=0;
A[2][1]=0;
A[2][2]=1;
A[2][3]=0;
A[3][0]=0;
A[3][1]=0;
A[3][2]=0;
A[3][3]=1;
B[0][0]=0;
B[0][1]=1;
B[0][2]=1;
B[0][3]=1;
B[1][0]=0;
B[1][1]=1;
B[1][2]=0;
B[1][3]=0;
B[2][0]=0;
B[2][1]=0;
B[2][2]=1;
B[2][3]=0;
B[3][0]=0;
B[3][1]=0;
B[3][2]=0;
B[3][3]=1;
C[0][0]=0;
C[0][1]=1;
C[0][2]=1;
C[0][3]=0;
C[1][0]=0;
C[1][1]=1;
C[1][2]=0;
C[1][3]=0;
C[2][0]=0;
C[2][1]=0;
C[2][2]=1;
C[2][3]=0;
C[3][0]=0;
C[3][1]=0;
C[3][2]=0;
C[3][3]=1;
vector<MATRIXi8> gen;
gen.push_back(A);
gen.push_back(B);
gen.push_back(C);
r->m_r=new ZmodnZ(1,2);
r->m_flag=1;
r->m_n=4;
r->m_Set=Mnr::FR(r->m_r,gen);
return r;
}
if(i==44)
{
Mnr* r=new Mnr();
MATRIXi8 A(3,vector<TElem>(3,0));
MATRIXi8 B(3,vector<TElem>(3,0));
A[0][0]=1;
A[0][1]=0;
A[0][2]=0;
A[1][0]=0;
A[1][1]=1;
A[1][2]=0;
A[2][0]=0;
A[2][1]=0;
A[2][2]=0;
B[0][0]=0;
B[0][1]=0;
B[0][2]=0;
B[1][0]=1;
B[1][1]=0;
B[1][2]=0;
B[2][0]=1;
B[2][1]=0;
B[2][2]=0;
vector<MATRIXi8> gen;
gen.push_back(A);
gen.push_back(B);
r->m_r=new ZmodnZ(1,2);
r->m_flag=1;
r->m_n=3;
r->m_Set=Mnr::FR(r->m_r,gen);
return r;
}
if(i==45)
{
//不是環FiniteRing* r=new FiniteRing(8,&g_F4F2Add[0][0],&g_R8_C2C2C2_28_2Mul[0][0],0);
Mnr* r=new Mnr();
MATRIXi8 A(3,vector<TElem>(3,0));
MATRIXi8 B(3,vector<TElem>(3,0));
A[0][0]=0;
A[0][1]=0;
A[0][2]=0;
A[1][0]=1;
A[1][1]=0;
A[1][2]=0;
A[2][0]=1;
A[2][1]=0;
A[2][2]=0;
B[0][0]=1;
B[0][1]=0;
B[0][2]=0;
B[1][0]=1;
B[1][1]=0;
B[1][2]=1;
B[2][0]=1;
B[2][1]=1;
B[2][2]=0;
vector<MATRIXi8> gen;
gen.push_back(A);
gen.push_back(B);
r->m_r=new ZmodnZ(1,2);
r->m_flag=1;
r->m_n=3;
r->m_Set=Mnr::FR(r->m_r,gen);
return r;
}
if(i==46)
{
int f[] = {0,0,0,1};
Polynomial vf(f,f+sizeof(f)/sizeof(f[0]));
ZmodnZ *r2_2=new ZmodnZ(1,2);
PolynomialRing* r=new PolynomialRing(r2_2,vf);
r->m_flag=1;
return r;
}
if(i==47)//R8_47:=DirectSum(SmallRing(4,8),SmallRing(2,2));;
{
M2r* r4=new M2r;
r4->initH(2);
ZmodnZ* r2=new ZmodnZ(1,2);
DecompositionRing* r= new DecompositionRing(r4,r2);
r->m_flag=1;
return r;
}
if(i==48)//R8_48:=DirectSum(SmallRing(4,9),SmallRing(2,2));;R8_48=F_2[x]/(x^3+x^2)=F_2[x]/(x^3+x)
{
int f[] = {0,1,0,1};
Polynomial vf(f,f+sizeof(f)/sizeof(f[0]));
ZmodnZ *r2_2=new ZmodnZ(1,2);
PolynomialRing* r=new PolynomialRing(r2_2,vf);
r->m_flag=1;
return r;
}
if(i==49)
{
FiniteRing* r=new FiniteRing(8,&g_F4F2Add[0][0],&g_F4F2Mul[0][0],0);//Error:g_R8_C2C2C2_28_2Mul
return r;
}
if(i==50)//R8_50:=DirectSum(SmallRing(4,10),SmallRing(2,2));;
{
M2r* r4=new M2r;
r4->initJ(2);
ZmodnZ* r2=new ZmodnZ(1,2);
DecompositionRing* r= new DecompositionRing(r4,r2);
r->m_flag=1;
return r;
}
if(i==51)//R8_51:=DirectSum(SmallRing(4,11),SmallRing(2,2));;R8_51=F_2[x]/(x^3+x^2+x)=F_2[x]/(x^3+1)
{
FiniteRing* r=new FiniteRing(8,&g_F4F2Add[0][0],&g_F4F2Mul[0][0],0);
return r;
}
if(i==52)//R8_52=F_2[x]/(x^3+x+1)=F_2[x]/(x^3+x^2+1)
{
//不是環FiniteRing* r=new FiniteRing(8,&g_F8Add[0][0],&g_F8Mul[0][0],0);
Mnr* r=new Mnr();
MATRIXi8 A(4,vector<TElem>(4,0));
A[0][0]=0;
A[0][1]=1;
A[0][2]=1;
A[0][3]=0;
A[1][0]=0;
A[1][1]=1;
A[1][2]=1;
A[1][3]=0;
A[2][0]=0;
A[2][1]=1;
A[2][2]=0;
A[2][3]=1;
A[3][0]=0;
A[3][1]=0;
A[3][2]=1;
A[3][3]=0;
vector<MATRIXi8> gen;
gen.push_back(A);
r->m_r=new ZmodnZ(1,2);
r->m_flag=1;
r->m_n=4;
r->m_Set=Mnr::FR(r->m_r,gen);
return r;
}
return NULL;
}
IRing* newR8R2(int ij)
{
int i=(ij-1)%52+1;
int j=(ij-1)/52+1;
IRing* ri=newR8(i);
if(!ri)
return NULL;
IRing* rj=newR2(j);
if(!rj){
delete ri;
return NULL;
}
DecompositionRing* r= new DecompositionRing(ri,rj);
r->m_flag=1;
return r;
}
IRing* newR4(int i)
{
if(i==1)
{
ZmodnZ* r=new ZmodnZ(4,16);
return r;
}
if(i==2)
{
ZmodnZ* r=new ZmodnZ(2,8);
return r;
}
if(i==3)
{
ZmodnZ* r=new ZmodnZ(1,4);
return r;
}
if(i==4)
{
M2r* r=new M2r();
r->initD(2);
return r;
}
if(i==5)
{
Mnr* r=new Mnr();
r->initE(2);
return r;
}
if(i==6)
{
Mnr* r=new Mnr();
r->initF(2);
return r;
}
if(i==7)
{
M2r* r=new M2r();
r->initG(2);
return r;
}
if(i==8)
{
M2r* r=new M2r();
r->initH(2);
return r;
}
if(i==9)
{
M2r* r=new M2r();
r->initI(2);
return r;
}
if(i==10)
{
M2r* r=new M2r();
r->initJ(2);
return r;
}
if(i==11)
{
M2r* r=new M2r();
r->initK(2);
return r;
}
return NULL;
}
IRing* newR4R4(int ij)
{
int i=(ij-1)%11+1;
int j=(ij-1)/11+1;
if(i>j)
return NULL;
IRing* ri=newR4(i);
IRing* rj=newR4(j);
DecompositionRing* r= new DecompositionRing(ri,rj);
r->m_flag=1;
return r;
}
int main()
{
set<int> vID;
int cnt=0;
for(int i=1;i<=121;i++)
{
IRing* r=newR4R4(i);
if(r){
int ID=IdRing(r);
printf("R4R4_%d=R%d_%d\n",i,r->size(),ID);
//r->printTable();
if(vID.find(ID)!=vID.end()){
//printf("Hit%d:i=%d,ID=%d\n",cnt++,i,ID);
}
vID.insert(ID);
delete r;
r=NULL;
}
}
for(int i=1;i<=104;i++)
{
IRing* r=newR8R2(i);
if(r){
int ID=IdRing(r);
printf("R8R2_%d=R%d_%d\n",i,r->size(),ID);
//r->printTable();
if(vID.find(ID)!=vID.end()){
//printf("Hit%d:i=%d,ID=%d\n",cnt++,i,ID);
}
vID.insert(ID);
delete r;
r=NULL;
}
}
printf("%d種16階可分解環\n",vID.size());
system("pause");
return 0;
}
gap> for j in [1..2] do for i in [1..52] do R:=DirectSum(SmallRing(8,i),SmallRing(2,j));;ni:=(j-1)*52+i;Print("R8R2","_",ni,":");calR(R);od;od;
R8R2_1:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 3, 4, 8, 0 ],8,1,0,16,1,15,15,256,15,16
R8R2_2:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 3, 4, 8, 0 ],8,1,0,16,1,7,7,128,15,16
R8R2_3:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 3, 4, 8, 0 ],8,1,0,16,2,3,7,80,15,16
R8R2_4:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 3, 4, 8, 0 ],8,1,0,16,1,7,15,192,15,16
R8R2_5:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,1,15,15,256,15,16
R8R2_6:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,1,7,15,192,15,16
R8R2_7:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,7,7,192,15,16
R8R2_8:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,1,11,15,192,15,4
R8R2_9:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,1,11,15,192,15,4
R8R2_10:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,1,11,15,192,15,4
R8R2_11:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,1,15,15,160,15,16
R8R2_12:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,1,7,15,160,15,16
R8R2_13:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,7,7,128,15,16
R8R2_14:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,4,3,3,96,15,16
R8R2_15:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,3,7,7,112,15,4
R8R2_16:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,1,7,15,192,15,16
R8R2_17:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,3,7,144,15,16
R8R2_18:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,1,3,15,160,15,4
R8R2_19:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,1,7,15,160,15,16
R8R2_20:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,3,7,7,112,15,4
R8R2_21:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,7,7,96,15,16
R8R2_22:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,3,7,80,15,16
R8R2_23:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,1,7,15,192,15,16
R8R2_24:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,1,7,7,128,15,16
R8R2_25:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,1,15,15,256,15,16
R8R2_26:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,1,7,15,192,15,16
R8R2_27:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,7,7,192,15,16
R8R2_28:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,1,11,15,192,15,4
R8R2_29:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,3,7,7,160,15,4
R8R2_30:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,5,7,7,144,15,2
R8R2_31:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,1,15,15,160,15,16
R8R2_32:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,1,7,15,160,15,16
R8R2_33:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,1,7,7,128,15,16
R8R2_34:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,3,7,7,160,15,4
R8R2_35:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,7,7,128,15,16
R8R2_36:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,5,7,7,128,15,2
R8R2_37:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,3,7,7,112,15,4
R8R2_38:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,3,7,144,15,16
R8R2_39:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,1,3,15,160,15,4
R8R2_40:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,4,3,3,144,15,16
R8R2_41:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,6,3,3,120,15,4
R8R2_42:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,3,3,112,15,16
R8R2_43:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,5,7,7,144,15,2
R8R2_44:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,3,7,7,112,15,4
R8R2_45:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,7,7,96,15,16
R8R2_46:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,3,7,80,15,16
R8R2_47:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,6,3,3,120,15,4
R8R2_48:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,4,3,3,96,15,16
R8R2_49:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,6,3,3,104,15,4
R8R2_50:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,8,1,1,108,15,16
R8R2_51:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,4,1,1,84,15,16
R8R2_52:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,1,1,60,15,16
R8R2_53:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 3, 4, 8, 0 ],8,1,0,16,2,7,7,192,15,16
R8R2_54:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 3, 4, 8, 0 ],8,1,0,16,2,3,3,96,15,16
R8R2_55:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 3, 4, 8, 0 ],8,1,1,12,4,1,3,60,11,16
R8R2_56:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 3, 4, 8, 0 ],8,1,0,16,2,3,7,144,15,16
R8R2_57:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,7,7,192,15,16
R8R2_58:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,3,7,144,15,16
R8R2_59:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,4,3,3,144,15,16
R8R2_60:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,2,5,7,144,15,4
R8R2_61:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,2,5,7,144,15,4
R8R2_62:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,2,5,7,144,15,4
R8R2_63:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,7,7,120,15,16
R8R2_64:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,3,7,120,15,16
R8R2_65:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,4,3,3,96,15,16
R8R2_66:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,1,14,8,1,1,72,13,16
R8R2_67:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,6,3,3,84,15,4
R8R2_68:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,3,7,144,15,16
R8R2_69:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,4,1,3,108,15,16
R8R2_70:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,2,1,7,120,15,4
R8R2_71:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,3,7,120,15,16
R8R2_72:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,6,3,3,84,11,4
R8R2_73:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,1,12,4,3,3,72,11,16
R8R2_74:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,1,12,4,1,3,60,11,16
R8R2_75:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,3,7,144,15,16
R8R2_76:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,3,3,96,15,16
R8R2_77:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,7,7,192,15,16
R8R2_78:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,3,7,144,15,16
R8R2_79:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,4,3,3,144,15,16
R8R2_80:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,2,5,7,144,15,4
R8R2_81:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,6,3,3,120,15,4
R8R2_82:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,10,3,3,108,11,2
R8R2_83:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,7,7,120,15,16
R8R2_84:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,3,7,120,15,16
R8R2_85:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,3,3,96,15,16
R8R2_86:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,6,3,3,120,15,4
R8R2_87:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,4,3,3,96,15,16
R8R2_88:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,10,3,3,96,15,2
R8R2_89:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,6,3,3,84,11,4
R8R2_90:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,4,1,3,108,15,16
R8R2_91:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,2,1,7,120,15,4
R8R2_92:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,8,1,1,108,15,16
R8R2_93:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,12,1,1,90,13,4
R8R2_94:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,4,1,1,84,15,16
R8R2_95:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,10,3,3,108,15,2
R8R2_96:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,6,3,3,84,15,4
R8R2_97:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,1,12,4,3,3,72,11,16
R8R2_98:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,1,12,4,1,3,60,11,16
R8R2_99:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,12,1,1,90,15,4
R8R2_100:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,1,14,8,1,1,72,13,16
R8R2_101:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,1,14,12,1,1,78,13,4
R8R2_102:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,1,15,16,0,0,81,14,16
R8R2_103:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,1,13,8,0,0,63,12,16
R8R2_104:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,1,9,4,0,0,45,8,16
gap> for j in [1..11] do for i in [1..11] do R:=DirectSum(SmallRing(4,i),SmallRing(4,j));;ni:=(j-1)*11+i;Print("R4R4","_",ni,":");calR(R);od;od;
R4R4_1:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 3, 12, 0, 0 ],4,1,0,16,1,15,15,256,15,16
R4R4_2:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 3, 12, 0, 0 ],4,1,0,16,1,7,15,192,15,16
R4R4_3:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 3, 12, 0, 0 ],4,1,0,16,2,7,7,128,15,16
R4R4_4:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,1,15,15,256,15,16
R4R4_5:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,1,7,15,192,15,16
R4R4_6:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,7,7,192,15,16
R4R4_7:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,3,7,7,160,15,4
R4R4_8:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,3,7,7,160,15,4
R4R4_9:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,7,7,128,15,16
R4R4_10:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,4,3,3,144,15,16
R4R4_11:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,3,3,112,15,16
R4R4_12:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 3, 12, 0, 0 ],4,1,0,16,1,7,15,192,15,16
R4R4_13:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 3, 12, 0, 0 ],4,1,0,16,1,3,15,144,15,16
R4R4_14:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 3, 12, 0, 0 ],4,1,0,16,2,3,7,96,15,16
R4R4_15:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,1,7,15,192,15,16
R4R4_16:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,1,3,15,144,15,16
R4R4_17:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,3,7,144,15,16
R4R4_18:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,3,3,7,120,15,4
R4R4_19:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,3,3,7,120,15,4
R4R4_20:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,3,7,96,15,16
R4R4_21:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,4,1,3,108,15,16
R4R4_22:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,1,3,84,15,16
R4R4_23:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 3, 12, 0, 0 ],4,1,0,16,2,7,7,128,15,16
R4R4_24:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 3, 12, 0, 0 ],4,1,0,16,2,3,7,96,15,16
R4R4_25:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 3, 12, 0, 0 ],4,1,1,12,4,3,3,64,11,16
R4R4_26:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,7,7,128,15,16
R4R4_27:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,3,7,96,15,16
R4R4_28:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,4,3,3,96,15,16
R4R4_29:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,6,3,3,80,11,4
R4R4_30:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,6,3,3,80,15,4
R4R4_31:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,1,12,4,3,3,64,11,16
R4R4_32:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,1,14,8,1,1,72,13,16
R4R4_33:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,1,10,4,1,1,56,9,16
R4R4_34:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,1,15,15,256,15,16
R4R4_35:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,1,7,15,192,15,16
R4R4_36:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,7,7,128,15,16
R4R4_37:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,1,15,15,256,15,16
R4R4_38:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,1,7,15,192,15,16
R4R4_39:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,7,7,192,15,16
R4R4_40:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,3,7,7,160,15,4
R4R4_41:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,3,7,7,160,15,4
R4R4_42:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,7,7,128,15,16
R4R4_43:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,4,3,3,144,15,16
R4R4_44:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,3,3,112,15,16
R4R4_45:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,1,7,15,192,15,16
R4R4_46:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,1,3,15,144,15,16
R4R4_47:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,3,7,96,15,16
R4R4_48:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,1,7,15,192,15,16
R4R4_49:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,1,3,15,144,15,16
R4R4_50:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,3,7,144,15,16
R4R4_51:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,3,3,7,120,15,4
R4R4_52:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,3,3,7,120,15,4
R4R4_53:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,3,7,96,15,16
R4R4_54:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,4,1,3,108,15,16
R4R4_55:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,1,3,84,15,16
R4R4_56:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,7,7,192,15,16
R4R4_57:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,3,7,144,15,16
R4R4_58:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,4,3,3,96,15,16
R4R4_59:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,7,7,192,15,16
R4R4_60:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,3,7,144,15,16
R4R4_61:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,4,3,3,144,15,16
R4R4_62:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,6,3,3,120,15,4
R4R4_63:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,6,3,3,120,15,4
R4R4_64:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,4,3,3,96,15,16
R4R4_65:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,8,1,1,108,15,16
R4R4_66:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,4,1,1,84,15,16
R4R4_67:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,3,7,7,160,15,4
R4R4_68:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,3,3,7,120,15,4
R4R4_69:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,6,3,3,80,11,4
R4R4_70:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,3,7,7,160,15,4
R4R4_71:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,3,3,7,120,15,4
R4R4_72:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,6,3,3,120,15,4
R4R4_73:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,9,3,3,100,11,1
R4R4_74:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,9,3,3,100,15,1
R4R4_75:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,6,3,3,80,11,4
R4R4_76:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,12,1,1,90,13,4
R4R4_77:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,6,1,1,70,9,4
R4R4_78:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,3,7,7,160,15,4
R4R4_79:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,3,3,7,120,15,4
R4R4_80:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,6,3,3,80,15,4
R4R4_81:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,3,7,7,160,15,4
R4R4_82:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,3,3,7,120,15,4
R4R4_83:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,6,3,3,120,15,4
R4R4_84:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,9,3,3,100,15,1
R4R4_85:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,9,3,3,100,15,1
R4R4_86:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,6,3,3,80,15,4
R4R4_87:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,12,1,1,90,15,4
R4R4_88:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,6,1,1,70,15,4
R4R4_89:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,7,7,128,15,16
R4R4_90:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,3,7,96,15,16
R4R4_91:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,1,12,4,3,3,64,11,16
R4R4_92:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,7,7,128,15,16
R4R4_93:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,3,7,96,15,16
R4R4_94:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,4,3,3,96,15,16
R4R4_95:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,6,3,3,80,11,4
R4R4_96:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,6,3,3,80,15,4
R4R4_97:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,1,12,4,3,3,64,11,16
R4R4_98:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,1,14,8,1,1,72,13,16
R4R4_99:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,1,10,4,1,1,56,9,16
R4R4_100:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,4,3,3,144,15,16
R4R4_101:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,4,1,3,108,15,16
R4R4_102:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,1,14,8,1,1,72,13,16
R4R4_103:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,4,3,3,144,15,16
R4R4_104:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,4,1,3,108,15,16
R4R4_105:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,8,1,1,108,15,16
R4R4_106:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,12,1,1,90,13,4
R4R4_107:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,12,1,1,90,15,4
R4R4_108:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,1,14,8,1,1,72,13,16
R4R4_109:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,1,15,16,0,0,81,14,16
R4R4_110:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,1,13,8,0,0,63,12,16
R4R4_111:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,3,3,112,15,16
R4R4_112:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,1,3,84,15,16
R4R4_113:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,1,10,4,1,1,56,9,16
R4R4_114:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,3,3,112,15,16
R4R4_115:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,1,3,84,15,16
R4R4_116:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,4,1,1,84,15,16
R4R4_117:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,6,1,1,70,9,4
R4R4_118:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,6,1,1,70,15,4
R4R4_119:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,1,10,4,1,1,56,9,16
R4R4_120:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,1,13,8,0,0,63,12,16
R4R4_121:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,1,7,4,0,0,49,6,16
gap> cnt:=0;;for j in [1..11] do for i in [1..11] do if i<=j then cnt:=cnt+1;R:=DirectSum(SmallRing(4,i),SmallRing(4,j));;ni:=(j-1)*11+i;Print("R4R4","_",ni,":");calR(R);fi;od;od;Print("cnt=",cnt);
R4R4_1:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 3, 12, 0, 0 ],4,1,0,16,1,15,15,256,15,16
R4R4_12:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 3, 12, 0, 0 ],4,1,0,16,1,7,15,192,15,16
R4R4_13:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 3, 12, 0, 0 ],4,1,0,16,1,3,15,144,15,16
R4R4_23:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 3, 12, 0, 0 ],4,1,0,16,2,7,7,128,15,16
R4R4_24:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 3, 12, 0, 0 ],4,1,0,16,2,3,7,96,15,16
R4R4_25:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 3, 12, 0, 0 ],4,1,1,12,4,3,3,64,11,16
R4R4_34:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,1,15,15,256,15,16
R4R4_35:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,1,7,15,192,15,16
R4R4_36:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,7,7,128,15,16
R4R4_37:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,1,15,15,256,15,16
R4R4_45:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,1,7,15,192,15,16
R4R4_46:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,1,3,15,144,15,16
R4R4_47:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,3,7,96,15,16
R4R4_48:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,1,7,15,192,15,16
R4R4_49:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,1,3,15,144,15,16
R4R4_56:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,7,7,192,15,16
R4R4_57:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,3,7,144,15,16
R4R4_58:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,4,3,3,96,15,16
R4R4_59:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,7,7,192,15,16
R4R4_60:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,3,7,144,15,16
R4R4_61:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,4,3,3,144,15,16
R4R4_67:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,3,7,7,160,15,4
R4R4_68:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,3,3,7,120,15,4
R4R4_69:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,6,3,3,80,11,4
R4R4_70:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,3,7,7,160,15,4
R4R4_71:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,3,3,7,120,15,4
R4R4_72:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,6,3,3,120,15,4
R4R4_73:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,9,3,3,100,11,1
R4R4_78:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,3,7,7,160,15,4
R4R4_79:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,3,3,7,120,15,4
R4R4_80:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,0,0,16,6,3,3,80,15,4
R4R4_81:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,3,7,7,160,15,4
R4R4_82:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,3,3,7,120,15,4
R4R4_83:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,6,3,3,120,15,4
R4R4_84:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,9,3,3,100,15,1
R4R4_85:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,9,3,3,100,15,1
R4R4_89:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,7,7,128,15,16
R4R4_90:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,3,7,96,15,16
R4R4_91:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,1,12,4,3,3,64,11,16
R4R4_92:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,7,7,128,15,16
R4R4_93:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,3,7,96,15,16
R4R4_94:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,4,3,3,96,15,16
R4R4_95:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,6,3,3,80,11,4
R4R4_96:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,6,3,3,80,15,4
R4R4_97:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,1,12,4,3,3,64,11,16
R4R4_100:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,4,3,3,144,15,16
R4R4_101:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,4,1,3,108,15,16
R4R4_102:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,1,14,8,1,1,72,13,16
R4R4_103:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,4,3,3,144,15,16
R4R4_104:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,4,1,3,108,15,16
R4R4_105:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,8,1,1,108,15,16
R4R4_106:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,12,1,1,90,13,4
R4R4_107:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,12,1,1,90,15,4
R4R4_108:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,1,14,8,1,1,72,13,16
R4R4_109:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,1,15,16,0,0,81,14,16
R4R4_111:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,3,3,112,15,16
R4R4_112:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,0,16,2,1,3,84,15,16
R4R4_113:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 7, 8, 0, 0 ],4,1,1,10,4,1,1,56,9,16
R4R4_114:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,3,3,112,15,16
R4R4_115:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,2,1,3,84,15,16
R4R4_116:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,0,16,4,1,1,84,15,16
R4R4_117:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,6,1,1,70,9,4
R4R4_118:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,0,0,16,6,1,1,70,15,4
R4R4_119:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,1,10,4,1,1,56,9,16
R4R4_120:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,1,13,8,0,0,63,12,16
R4R4_121:N0n0bAbOn1n2n4n5n6n7n8=[ 1, 15, 0, 0, 0 ],2,1,1,7,4,0,0,49,6,16
cnt=66