per C_23(0,1,2,3,5,11) = 4188730198
per C_23(0,1,2,3,4,7) = 5541833814
per C_23(0,1,2,3,4,6) = 6410943830
per C_23(0,1,2,3,4,10) = 4567195382
per C_23(0,1,2,3,4,5) = 7510389278
per C_23(0,1,2,3,4,9) = 4653670598
per C_23(0,1,2,3,5,15) = 4319238270
per C_23(0,1,2,3,4,13) = 5132657374
per C_23(0,1,2,3,5,7) = 5142594294
per C_23(0,1,2,3,4,8) = 4963345358
per C_23(0,1,2,3,4,11) = 4566470422
per C_23(0,1,2,3,5,9) = 4381759262
per C_23(0,1,2,3,5,8) = 4718326542
per C_23(0,1,2,3,4,12) = 4784161926
per C_23(0,1,2,3,5,6) = 5834408350
per C_23(0,1,2,3,5,20) = 5094736814
per C_23(0,1,2,3,5,13) = 4510544726
per C_23(0,1,2,3,5,17) = 4208370358
per C_23(0,1,2,3,5,21) = 5746550926
per C_23(0,1,2,3,6,9) = 4288652318
per C_23(0,1,2,3,6,10) = 4062629846
per C_23(0,1,2,3,5,12) = 4317044254
per C_23(0,1,2,3,5,19) = 4654909102
per C_23(0,1,2,3,5,14) = 4507472846
per C_23(0,1,2,3,5,18) = 4395104414
per C_23(0,1,2,3,5,16) = 4188789998
per C_23(0,1,2,3,5,10) = 4307316726
per C_23(0,1,2,3,6,8) = 4505083054
per C_23(0,1,2,3,6,7) = 4819202518
per C_23(0,1,2,3,6,11) = 4051699694
per C_23(0,1,2,3,6,13) = 4212151374
per C_23(0,1,2,3,6,12) = 4170083086
per C_23(0,1,2,3,7,10) = 4042208422
per C_23(0,1,2,3,7,15) = 3915452294
per C_23(0,1,2,3,6,14) = 4088210078
per C_23(0,1,2,3,7,11) = 3915175374
per C_23(0,1,2,3,6,15) = 4049410918
per C_23(0,1,2,3,6,16) = 4050411694
per C_23(0,1,2,3,8,14) = 4042242278
per C_23(0,1,2,3,6,18) = 4250650430
per C_23(0,1,2,3,7,18) = 4230508502
per C_23(0,1,2,3,6,19) = 4464325030
per C_23(0,1,2,3,6,17) = 4091281222
per C_23(0,1,2,3,6,20) = 4813054710
per C_23(0,1,2,3,7,19) = 4413378926
per C_23(0,1,2,3,7,16) = 4042058830
per C_23(0,1,2,3,7,14) = 4031408726
per C_23(0,1,2,3,7,17) = 4075402390
per C_23(0,1,2,3,7,8) = 4462169470
per C_23(0,1,2,3,7,9) = 4258147326
per C_23(0,1,2,3,7,12) = 4042253870
per C_23(0,1,2,3,7,13) = 4211863230
per C_23(0,1,2,3,8,17) = 4405624798
per C_23(0,1,2,3,8,11) = 4031884918
per C_23(0,1,2,3,8,12) = 3947871990
per C_23(0,1,2,3,8,10) = 4259479118
per C_23(0,1,2,3,8,9) = 4497740718
per C_23(0,1,2,3,8,13) = 4188142318
per C_23(0,1,2,3,8,15) = 4034802790
per C_23(0,1,2,3,8,18) = 4356652462
per C_23(0,1,2,3,9,10) = 4531015830
per C_23(0,1,2,3,9,13) = 4099613662
per C_23(0,1,2,3,9,11) = 4254855382
per C_23(0,1,2,3,11,14) = 4819834926
per C_23(0,1,2,3,9,12) = 4203412110
per C_23(0,1,2,4,5,13) = 4199651518
per C_23(0,1,2,3,9,14) = 4053475294
per C_23(0,1,2,3,9,16) = 4535188582
per C_23(0,1,2,3,9,15) = 4187350934
per C_23(0,1,2,3,10,12) = 4543364622
per C_23(0,1,2,3,10,14) = 4244925270
per C_23(0,1,2,3,10,15) = 4218603702
per C_23(0,1,2,3,10,16) = 4393226142
per C_23(0,1,2,3,10,11) = 4483227902
per C_23(0,1,2,4,5,7) = 5108249774
per C_23(0,1,2,3,11,15) = 4434926246
per C_23(0,1,2,4,5,8) = 4775625614
per C_23(0,1,2,3,11,13) = 5265145838
per C_23(0,1,2,3,12,14) = 5846150862
per C_23(0,1,2,4,5,9) = 4521253710
per C_23(0,1,2,4,5,10) = 4242783878
per C_23(0,1,2,4,5,15) = 4187718382
per C_23(0,1,2,4,5,12) = 4185177526
per C_23(0,1,2,4,5,11) = 4085161934
per C_23(0,1,2,4,5,20) = 4952310142
per C_23(0,1,2,4,5,17) = 4089192822
per C_23(0,1,2,4,5,16) = 4184813022
per C_23(0,1,2,4,5,14) = 4330907734
per C_23(0,1,2,4,5,19) = 4554057782
per C_23(0,1,2,4,5,18) = 4250771134
per C_23(0,1,2,4,7,8) = 4367307534
per C_23(0,1,2,4,7,12) = 3958928182
per C_23(0,1,2,4,7,15) = 3843409486
per C_23(0,1,2,4,7,14) = 3959064710
per C_23(0,1,2,4,7,9) = 4183093174
per C_23(0,1,2,4,7,11) = 3972351902
per C_23(0,1,2,4,7,13) = 3970475102
per C_23(0,1,2,4,9,15) = 3863452054
per C_23(0,1,2,4,7,18) = 4115649814
per C_23(0,1,2,4,10,14) = 4166310902
per C_23(0,1,2,4,7,17) = 4097623702
per C_23(0,1,2,4,7,19) = 4136795646
per C_23(0,1,2,4,7,20) = 4382861974
per C_23(0,1,2,4,8,9) = 4172673070
per C_23(0,1,2,4,8,11) = 3961524054
per C_23(0,1,2,4,8,18) = 3978056822
per C_23(0,1,2,4,8,20) = 4215079734
per C_23(0,1,2,4,8,17) = 4111669710
per C_23(0,1,2,4,9,11) = 4041223470
per C_23(0,1,2,4,8,13) = 3856158294
per C_23(0,1,2,4,9,10) = 4045807646
per C_23(0,1,2,4,9,13) = 3972861398
per C_23(0,1,2,4,9,14) = 3956794702
per C_23(0,1,2,4,9,20) = 4122606854
per C_23(0,1,2,4,10,11) = 4046220542
per C_23(0,1,2,4,10,16) = 3979003686
per C_23(0,1,2,4,10,18) = 3968035998
per C_23(0,1,2,4,10,20) = 3974573334
per C_23(0,1,2,4,10,19) = 4092430302
per C_23(0,1,2,4,10,15) = 3983170182
per C_23(0,1,2,4,11,15) = 4115950470
per C_23(0,1,2,4,14,16) = 4216290638
per C_23(0,1,2,4,11,17) = 3958370662
per C_23(0,1,2,4,11,16) = 3984493326
per C_23(0,1,2,4,13,15) = 4560398054
per C_23(0,1,2,4,13,16) = 4190397238
per C_23(0,1,2,4,13,17) = 3967764598
per C_23(0,1,2,4,16,18) = 4041439302
per C_23(0,1,2,4,14,15) = 4582978350
per C_23(0,1,2,4,14,20) = 3980766406
per C_23(0,1,2,4,14,18) = 3957539718
per C_23(0,1,2,5,7,8) = 4360623366
per C_23(0,1,2,4,15,20) = 3976188302
per C_23(0,1,2,4,15,18) = 3849250382
per C_23(0,1,2,4,15,17) = 4040566222
per C_23(0,1,2,4,16,17) = 4044404462
per C_23(0,1,2,4,15,16) = 4171735958
per C_23(0,1,2,4,17,18) = 4046262862
per C_23(0,1,2,4,16,20) = 4182668502
per C_23(0,1,2,4,17,20) = 4193662686
per C_23(0,1,2,4,18,20) = 4396146774
per C_23(0,1,2,5,6,7) = 4949225014
per C_23(0,1,2,5,6,8) = 4434209014
per C_23(0,1,2,5,6,9) = 4318322134
per C_23(0,1,2,5,6,10) = 4455354110
per C_23(0,1,2,5,6,11) = 4279251022
per C_23(0,1,2,5,8,9) = 4181484462
per C_23(0,1,2,5,6,14) = 4039816974
per C_23(0,1,2,5,6,18) = 4310409398
per C_23(0,1,2,5,6,15) = 4214396358
per C_23(0,1,2,5,6,16) = 3936300046
per C_23(0,1,2,5,6,19) = 4571552318
per C_23(0,1,2,5,6,20) = 4600605550
per C_23(0,1,2,5,7,11) = 3968428654
per C_23(0,1,2,5,7,15) = 3968187798
per C_23(0,1,2,5,7,18) = 4186242334
per C_23(0,1,2,5,7,17) = 3982318262
per C_23(0,1,2,5,7,19) = 4155205214
per C_23(0,1,2,5,8,10) = 3970682838
per C_23(0,1,2,5,9,11) = 3844555990
per C_23(0,1,2,5,9,15) = 3975041430
per C_23(0,1,2,5,16,18) = 3869853230
per C_23(0,1,2,5,9,10) = 4171852062
per C_23(0,1,2,5,10,11) = 4038672310
per C_23(0,1,2,5,9,19) = 4063282494
per C_23(0,1,2,5,10,16) = 3850499190
per C_23(0,1,2,5,11,15) = 4066148662
per C_23(0,1,2,5,15,16) = 4057612718
per C_23(0,1,2,5,11,19) = 3969315534
per C_23(0,1,2,5,15,17) = 3861806726
per C_23(0,1,2,5,11,16) = 3844178974
per C_23(0,1,2,5,18,19) = 4285842638
per C_23(0,1,2,5,15,19) = 4235937974
per C_23(0,1,2,5,16,17) = 4038524558
per C_23(0,1,2,5,16,19) = 3963210414
per C_23(0,1,2,5,17,18) = 4052216918
per C_23(0,1,2,5,17,19) = 3980531622
per C_23(0,1,2,6,7,8) = 4796748446
per C_23(0,1,2,6,7,9) = 4189735942
per C_23(0,1,2,6,7,10) = 4060440246
per C_23(0,1,2,6,7,19) = 4602895246
per C_23(0,1,2,6,7,11) = 4292191190
per C_23(0,1,2,6,14,18) = 3970669038
per C_23(0,1,2,6,8,11) = 3857245918
per C_23(0,1,2,6,8,9) = 4208172190
per C_23(0,1,2,6,8,14) = 4033199782
per C_23(0,1,2,7,8,9) = 4974470550
per C_23(0,1,2,6,10,16) = 4104270702
per C_23(0,1,2,6,8,18) = 4150955550
per C_23(0,1,2,6,16,18) = 3981808214
per C_23(0,1,2,6,10,11) = 4202943278
per C_23(0,1,2,7,8,11) = 3936266190
per C_23(0,1,2,7,8,10) = 4206931478
per C_23(0,1,2,6,14,16) = 3965817694
per C_23(0,1,2,9,11,15) = 4153729534
per C_23(0,1,2,7,8,17) = 4657879782
per C_23(0,1,2,9,10,11) = 4886542102
per C_23(0,1,2,8,9,11) = 4214678062
per C_23(0,1,2,8,10,11) = 4203571822
per C_23(0,1,3,4,10,11) = 3999780598
per C_23(0,1,2,7,9,10) = 4216947886
per C_23(0,1,3,10,14,21) = 4106472262
per C_23(0,1,3,4,11,16) = 4095690414
per C_23(0,1,3,4,9,10) = 3993995270
per C_23(0,1,2,8,9,10) = 5051951110
per C_23(0,1,2,7,10,11) = 3937381966
per C_23(0,1,3,4,9,11) = 3855841998
