32阶可分解环R16_iR2_j(其中R16_i为不可分解环，已找到257种，还差4种)

int main(int argc, char* argv[])
{ 
    //return Mrijk(argc,argv);
    // 129种16阶可分解环
    static int IDs0[]={6,9,10,11,12,13,14,15,103,104,107,112,113,96,152,180,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,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,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};    
    static int IDs1[]={118,119,120,121,122,123,124,125,273,274,275,276,277,278,279,280,281,282,286,287,289,290,126,127,283,377,28,29,30,31,32,33,34,67,68,69,70,190,153,155,159,163,165,128,141,142,143,144,145,146,147,148,149,160,162,167,168,169,182,183,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,93,94,95,101,102,103,104,105,106,107,108,109,110,111,112,113,91,92,96,97,98,99,100,129,130,131,132,133,134,135,136,137,138,139,140,150,151,152,154,156,157,158,161,164,166,170,174,177,179,184,185,186,187,188,189,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,171,172,173,175,176,181,178,180,284,285,288,291,292,293,294,295,296,297,298,299,300,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,357,358,359,360,361,362,363,364,365,366,367,368,369,370,371,372,373,374,375,376,378,379,380,381,382,383,384,385,386,387,388,389,390};
    static int cnt0=sizeof(IDs0)/sizeof(IDs0[0]);
    static int cnt1=sizeof(IDs1)/sizeof(IDs1[0]);
    static int cnt=sizeof(IDs)/sizeof(IDs[0]);
    vector<int> IDs2;// 差集s1-s0=s2
#if 1
    std::sort(IDs1,IDs1+cnt1);
    std::sort(IDs0,IDs0+cnt0);
    set_difference(IDs1,IDs1+cnt1,IDs0,IDs0+cnt0,back_inserter(IDs2));    
#else    
    set<int> s0(IDs0,IDs0+cnt0);
    set<int> s1(IDs1,IDs1+cnt1);    
    set_difference(s1.begin(),s1.end(),s0.begin(),s0.end(),back_inserter(IDs2));
#endif
    printf("cnt0=%d,cnt1=%d,cnt=%d,cnt2=cnt1-cnt0=%d\n",cnt0,cnt1,cnt,IDs2.size());
    // R16R2，其中R16为不可分解环
    for(int k=0;k<IDs2.size();k++){
        int i=IDs2[k];
        for(int j=1;j<=2;j++){
        IRing* r=newR16R2(i,j);
           if(r){
                int ID=IdRing(r);
                printf("R16_%d×R2_%d=R32_%d\n",i,j,ID);               
                string strR=calcRingInvariant(r);            
                char sz2[100]={0};    
                sprintf(sz2,"//R16_%d×R2_%d",i,j);            
                string strRingInvariant="m_RingInvariant.insert(make_pair(\""+strR+"\",0));"+sz2;
                printf("%s\n",strRingInvariant.c_str());        
                string I1=calcI1(r);
                string I2=calcI2(r);            
                string strI1I2="m_I1I2.insert(make_pair(\""+I1+","+I2+"\","+"0"+"));"+sz2;
                printf("%s\n",strI1I2.c_str());        
                //delete r;
                //r=NULL;               
           }    
        }           
    }
    return 0;
}
cnt0=129,cnt1=384,cnt=8,cnt2=cnt1-cnt0=255
R16_1×R2_1=R32_8
R16_1×R2_2=R32_24
R16_2×R2_1=R32_25
R16_2×R2_2=R32_26
R16_3×R2_1=R32_15
R16_3×R2_2=R32_28
R16_4×R2_1=R32_17
R16_4×R2_2=R32_29
R16_5×R2_1=R32_30
R16_5×R2_2=R32_31
R16_7×R2_1=R32_2057
R16_7×R2_2=R32_2058
R16_8×R2_1=R32_2007
R16_8×R2_2=R32_2059
R16_16×R2_1=R32_2060
R16_16×R2_2=R32_2052
R16_17×R2_1=R32_2061
R16_17×R2_2=R32_2051
R16_18×R2_1=R32_2062
R16_18×R2_2=R32_2063
R16_19×R2_1=R32_2064
R16_19×R2_2=R32_2065
R16_20×R2_1=R32_2000
R16_20×R2_2=R32_2066
R16_21×R2_1=R32_2067
R16_21×R2_2=R32_2068
R16_22×R2_1=R32_2069
R16_22×R2_2=R32_2070
R16_23×R2_1=R32_2003
R16_23×R2_2=R32_2071
R16_24×R2_1=R32_2072
R16_24×R2_2=R32_2073
R16_25×R2_1=R32_2074
R16_25×R2_2=R32_2075
R16_26×R2_1=R32_2076
R16_26×R2_2=R32_2077
R16_27×R2_1=R32_2047
R16_27×R2_2=R32_2078
R16_28×R2_1=R32_2086
R16_28×R2_2=R32_2091
R16_29×R2_1=R32_2053
R16_29×R2_2=R32_2079
R16_30×R2_1=R32_2055
R16_30×R2_2=R32_2080
R16_31×R2_1=R32_2081
R16_31×R2_2=R32_2082
R16_32×R2_1=R32_2083
R16_32×R2_2=R32_2084
R16_33×R2_1=R32_2088
R16_33×R2_2=R32_2092
R16_34×R2_1=R32_2123
R16_34×R2_2=R32_2124
R16_67×R2_1=R32_7129
R16_67×R2_2=R32_7140
R16_68×R2_1=R32_7105
R16_68×R2_2=R32_7148
R16_69×R2_1=R32_7126
R16_69×R2_2=R32_7153
R16_70×R2_1=R32_3134
R16_70×R2_2=R32_3135
R16_71×R2_1=R32_3136
R16_71×R2_2=R32_3137
R16_72×R2_1=R32_3034
R16_72×R2_2=R32_3138
R16_73×R2_1=R32_3139
R16_73×R2_2=R32_3140
R16_74×R2_1=R32_3032
R16_74×R2_2=R32_3141
R16_75×R2_1=R32_3251
R16_75×R2_2=R32_3142
R16_76×R2_1=R32_3039
R16_76×R2_2=R32_3143
R16_77×R2_1=R32_3029
R16_77×R2_2=R32_3144
R16_78×R2_1=R32_3031
R16_78×R2_2=R32_3145
R16_79×R2_1=R32_3128
R16_79×R2_2=R32_3146
R16_80×R2_1=R32_3028
R16_80×R2_2=R32_3147
R16_81×R2_1=R32_3019
R16_81×R2_2=R32_3148
R16_82×R2_1=R32_3027
R16_82×R2_2=R32_3149
R16_83×R2_1=R32_3150
R16_83×R2_2=R32_3151
R16_84×R2_1=R32_3125
R16_84×R2_2=R32_3152
R16_85×R2_1=R32_3026
R16_85×R2_2=R32_3153
R16_86×R2_1=R32_3127
R16_86×R2_2=R32_3154
R16_87×R2_1=R32_3155
R16_87×R2_2=R32_3156
R16_88×R2_1=R32_3157
R16_88×R2_2=R32_3158
R16_89×R2_1=R32_3038
R16_89×R2_2=R32_3159
R16_90×R2_1=R32_3016
R16_90×R2_2=R32_3160
R16_93×R2_1=R32_3036
R16_93×R2_2=R32_3161
R16_94×R2_1=R32_3043
R16_94×R2_2=R32_3162
R16_95×R2_1=R32_3105
R16_95×R2_2=R32_3163
R16_101×R2_1=R32_3021
R16_101×R2_2=R32_3121
R16_102×R2_1=R32_3221
R16_102×R2_2=R32_3130
R16_105×R2_1=R32_3001
R16_105×R2_2=R32_3164
R16_106×R2_1=R32_3007
R16_106×R2_2=R32_3165
R16_108×R2_1=R32_3129
R16_108×R2_2=R32_3040
R16_109×R2_1=R32_3013
R16_109×R2_2=R32_3166
R16_110×R2_1=R32_3008
R16_110×R2_2=R32_3167
R16_111×R2_1=R32_3168
R16_111×R2_2=R32_3169
R16_91×R2_1=R32_3170
R16_91×R2_2=R32_3171
R16_92×R2_1=R32_3015
R16_92×R2_2=R32_3173
R16_97×R2_1=R32_3195
R16_97×R2_2=R32_3174
R16_98×R2_1=R32_3175
R16_98×R2_2=R32_3041
R16_99×R2_1=R32_3037
R16_99×R2_2=R32_3042
R16_100×R2_1=R32_3126
R16_100×R2_2=R32_3176
R16_118×R2_1=R32_4346
R16_118×R2_2=R32_4347
R16_119×R2_1=R32_4914
R16_119×R2_2=R32_4915
R16_120×R2_1=R32_4815
R16_120×R2_2=R32_4816
R16_121×R2_1=R32_4760
R16_121×R2_2=R32_4761
R16_122×R2_1=R32_4762
R16_122×R2_2=R32_4763
R16_123×R2_1=R32_4686
R16_123×R2_2=R32_4687
R16_124×R2_1=R32_4688
R16_124×R2_2=R32_4689
R16_126×R2_1=R32_4065
R16_126×R2_2=R32_4066
R16_127×R2_1=R32_4067
R16_127×R2_2=R32_4068
R16_128×R2_1=R32_4069
R16_128×R2_2=R32_4070
R16_129×R2_1=R32_4071
R16_129×R2_2=R32_4072
R16_130×R2_1=R32_4073
R16_130×R2_2=R32_4074
R16_131×R2_1=R32_4498
R16_131×R2_2=R32_4075
R16_132×R2_1=R32_4076
R16_132×R2_2=R32_4077
R16_133×R2_1=R32_4078
R16_133×R2_2=R32_4079
R16_134×R2_1=R32_4080
R16_134×R2_2=R32_4081
R16_135×R2_1=R32_4082
R16_135×R2_2=R32_4083
R16_136×R2_1=R32_4084
R16_136×R2_2=R32_4085
R16_137×R2_1=R32_4086
R16_137×R2_2=R32_4087
R16_138×R2_1=R32_4088
R16_138×R2_2=R32_4089
R16_139×R2_1=R32_4090
R16_139×R2_2=R32_4091
R16_140×R2_1=R32_4092
R16_140×R2_2=R32_4093
R16_141×R2_1=R32_4499
R16_141×R2_2=R32_4500
R16_142×R2_1=R32_4501
R16_142×R2_2=R32_4502
R16_143×R2_1=R32_4503
R16_143×R2_2=R32_4504
R16_144×R2_1=R32_4505
R16_144×R2_2=R32_4506
R16_145×R2_1=R32_4507
R16_145×R2_2=R32_4508
R16_147×R2_1=R32_4094
R16_147×R2_2=R32_4095
R16_146×R2_1=R32_4547
R16_146×R2_2=R32_4548
R16_148×R2_1=R32_4018
R16_148×R2_2=R32_4096
R16_149×R2_1=R32_4038
R16_149×R2_2=R32_4097
R16_150×R2_1=R32_4098
R16_150×R2_2=R32_4099
R16_151×R2_1=R32_4024
R16_151×R2_2=R32_4100
R16_153×R2_1=R32_4009
R16_153×R2_2=R32_4101
R16_154×R2_1=R32_4102
R16_154×R2_2=R32_4103
R16_155×R2_1=R32_4027
R16_155×R2_2=R32_4348
R16_156×R2_1=R32_4349
R16_156×R2_2=R32_4350
R16_157×R2_1=R32_4032
R16_157×R2_2=R32_4351
R16_158×R2_1=R32_4021
R16_158×R2_2=R32_4352
R16_159×R2_1=R32_4012
R16_159×R2_2=R32_4353
R16_160×R2_1=R32_4354
R16_160×R2_2=R32_4355
R16_161×R2_1=R32_4356
R16_161×R2_2=R32_4357
R16_162×R2_1=R32_4358
R16_162×R2_2=R32_4359
R16_163×R2_1=R32_4010
R16_163×R2_2=R32_4360
R16_164×R2_1=R32_4361
R16_164×R2_2=R32_4362
R16_165×R2_1=R32_4014
R16_165×R2_2=R32_4363
R16_166×R2_1=R32_4364
R16_166×R2_2=R32_4365
R16_167×R2_1=R32_4017
R16_167×R2_2=R32_4366
R16_168×R2_1=R32_4367
R16_168×R2_2=R32_4368
R16_169×R2_1=R32_4048
R16_169×R2_2=R32_4369
R16_170×R2_1=R32_4370
R16_170×R2_2=R32_4371
R16_174×R2_1=R32_4039
R16_174×R2_2=R32_4372
R16_177×R2_1=R32_4040
R16_177×R2_2=R32_4373
R16_179×R2_1=R32_4374
R16_179×R2_2=R32_4375
R16_182×R2_1=R32_4549
R16_182×R2_2=R32_4550
R16_183×R2_1=R32_4376
R16_183×R2_2=R32_4377
R16_184×R2_1=R32_4378
R16_184×R2_2=R32_4379
R16_185×R2_1=R32_4007
R16_185×R2_2=R32_4380
R16_186×R2_1=R32_4381
R16_186×R2_2=R32_4382
R16_187×R2_1=R32_4008
R16_187×R2_2=R32_4383
R16_188×R2_1=R32_4249
R16_188×R2_2=R32_4384
R16_189×R2_1=R32_4385
R16_189×R2_2=R32_4053
R16_190×R2_1=R32_4015
R16_190×R2_2=R32_4054
R16_191×R2_1=R32_4386
R16_191×R2_2=R32_4052
R16_192×R2_1=R32_4387
R16_192×R2_2=R32_4388
R16_193×R2_1=R32_4389
R16_193×R2_2=R32_4390
R16_194×R2_1=R32_4391
R16_194×R2_2=R32_4392
R16_195×R2_1=R32_4011
R16_195×R2_2=R32_4393
R16_196×R2_1=R32_4394
R16_196×R2_2=R32_4395
R16_197×R2_1=R32_4396
R16_197×R2_2=R32_4397
R16_198×R2_1=R32_4398
R16_198×R2_2=R32_4399
R16_199×R2_1=R32_4400
R16_199×R2_2=R32_4401
R16_201×R2_1=R32_4001
R16_201×R2_2=R32_4402
R16_202×R2_1=R32_4403
R16_202×R2_2=R32_4404
R16_205×R2_1=R32_4030
R16_205×R2_2=R32_4405
R16_228×R2_1=R32_4406
R16_228×R2_2=R32_4407
R16_229×R2_1=R32_4408
R16_229×R2_2=R32_4409
R16_232×R2_1=R32_4536
R16_232×R2_2=R32_4538
R16_234×R2_1=R32_4452
R16_234×R2_2=R32_4454
R16_257×R2_1=R32_4410
R16_257×R2_2=R32_4411
R16_258×R2_1=R32_4016
R16_258×R2_2=R32_4412
R16_259×R2_1=R32_4002
R16_259×R2_2=R32_4045
R16_260×R2_1=R32_4064
R16_260×R2_2=R32_4413
R16_261×R2_1=R32_4025
R16_261×R2_2=R32_4414
R16_262×R2_1=R32_4415
R16_262×R2_2=R32_4416
R16_263×R2_1=R32_4417
R16_263×R2_2=R32_4418
R16_264×R2_1=R32_4029
R16_264×R2_2=R32_4419
R16_265×R2_1=R32_4036
R16_265×R2_2=R32_4420
R16_266×R2_1=R32_4003
R16_266×R2_2=R32_4421
R16_267×R2_1=R32_4422
R16_267×R2_2=R32_4423
R16_268×R2_1=R32_4424
R16_268×R2_2=R32_4425
R16_269×R2_1=R32_4426
R16_269×R2_2=R32_4427
R16_270×R2_1=R32_4428
R16_270×R2_2=R32_4429
R16_171×R2_1=R32_4430
R16_171×R2_2=R32_4431
R16_172×R2_1=R32_4432
R16_172×R2_2=R32_4433
R16_173×R2_1=R32_4434
R16_173×R2_2=R32_4435
R16_125×R2_1=R32_4436
R16_125×R2_2=R32_4437
R16_175×R2_1=R32_4438
R16_175×R2_2=R32_4439
R16_176×R2_1=R32_4440
R16_176×R2_2=R32_4441
R16_181×R2_1=R32_4442
R16_181×R2_2=R32_4443
R16_178×R2_1=R32_4444
R16_178×R2_2=R32_4445
R16_273×R2_1=R32_5229
R16_273×R2_2=R32_5242
R16_274×R2_1=R32_5249
R16_274×R2_2=R32_5250
R16_275×R2_1=R32_5266
R16_275×R2_2=R32_5267
R16_276×R2_1=R32_5215
R16_276×R2_2=R32_5216
R16_277×R2_1=R32_5158
R16_277×R2_2=R32_5159
R16_278×R2_1=R32_5154
R16_278×R2_2=R32_5155
R16_279×R2_1=R32_5129
R16_279×R2_2=R32_5142
R16_280×R2_1=R32_5121
R16_280×R2_2=R32_5143
R16_281×R2_1=R32_5221
R16_281×R2_2=R32_5144
R16_282×R2_1=R32_5047
R16_282×R2_2=R32_5048
R16_283×R2_1=R32_5049
R16_283×R2_2=R32_5050
R16_284×R2_1=R32_5051
R16_284×R2_2=R32_5052
R16_285×R2_1=R32_5053
R16_285×R2_2=R32_5054
R16_286×R2_1=R32_5055
R16_286×R2_2=R32_5056
R16_287×R2_1=R32_5057
R16_287×R2_2=R32_5058
R16_288×R2_1=R32_5059
R16_288×R2_2=R32_5060
R16_289×R2_1=R32_5061
R16_289×R2_2=R32_5062
R16_290×R2_1=R32_5063
R16_290×R2_2=R32_5064
R16_291×R2_1=R32_5029
R16_291×R2_2=R32_5065
R16_292×R2_1=R32_5066
R16_292×R2_2=R32_5067
R16_293×R2_1=R32_5174
R16_293×R2_2=R32_5068
R16_294×R2_1=R32_5069
R16_294×R2_2=R32_5070
R16_295×R2_1=R32_5170
R16_295×R2_2=R32_5071
R16_296×R2_1=R32_5072
R16_296×R2_2=R32_5073
R16_297×R2_1=R32_5074
R16_297×R2_2=R32_5075
R16_298×R2_1=R32_5076
R16_298×R2_2=R32_5077
R16_299×R2_1=R32_5078
R16_299×R2_2=R32_5079
R16_300×R2_1=R32_5021
R16_300×R2_2=R32_5010
R16_357×R2_1=R32_5080
R16_357×R2_2=R32_5081
R16_358×R2_1=R32_5025
R16_358×R2_2=R32_5082
R16_359×R2_1=R32_5083
R16_359×R2_2=R32_5084
R16_360×R2_1=R32_5085
R16_360×R2_2=R32_5086
R16_361×R2_1=R32_5087
R16_361×R2_2=R32_5088
R16_362×R2_1=R32_5089
R16_362×R2_2=R32_5028
R16_363×R2_1=R32_5090
R16_363×R2_2=R32_5091
R16_364×R2_1=R32_5092
R16_364×R2_2=R32_5093
R16_365×R2_1=R32_5094
R16_365×R2_2=R32_5095
R16_366×R2_1=R32_5096
R16_366×R2_2=R32_5097
R16_367×R2_1=R32_5098
R16_367×R2_2=R32_5015
R16_368×R2_1=R32_5099
R16_368×R2_2=R32_5100
R16_369×R2_1=R32_5101
R16_369×R2_2=R32_5102
R16_370×R2_1=R32_5038
R16_370×R2_2=R32_5103
R16_371×R2_1=R32_5104
R16_371×R2_2=R32_5105
R16_372×R2_1=R32_5106
R16_372×R2_2=R32_5107
R16_373×R2_1=R32_5138
R16_373×R2_2=R32_5042
R16_374×R2_1=R32_5108
R16_374×R2_2=R32_5109
R16_375×R2_1=R32_5110
R16_375×R2_2=R32_5111
R16_376×R2_1=R32_5037
R16_376×R2_2=R32_5112
R16_377×R2_1=R32_5113
R16_377×R2_2=R32_5016
R16_378×R2_1=R32_5046
R16_378×R2_2=R32_5114
R16_379×R2_1=R32_5115
R16_379×R2_2=R32_5116
R16_381×R2_1=R32_5146
R16_381×R2_2=R32_5045
R16_383×R2_1=R32_5006
R16_383×R2_2=R32_5003
R16_385×R2_1=R32_5017
R16_385×R2_2=R32_5001
R16_390×R2_1=R32_5005
R16_390×R2_2=R32_5002