per C_31(0,1,2,3,5,20) = 6187592385662
per C_31(0,1,2,3,5,8) = 8073097298134
per C_31(0,1,2,3,4,7) = 10533658444334
per C_31(0,1,2,3,5,22) = 6014693298576
per C_31(0,1,2,3,5,18) = 7240079894422
per C_31(0,1,2,3,4,12) = 6984376113934
per C_31(0,1,2,3,5,13) = 6015930928006
per C_31(0,1,2,3,5,21) = 6025930494094
per C_31(0,1,2,3,4,6) = 13032114513566
per C_31(0,1,2,3,4,17) = 9189798125550
per C_31(0,1,2,3,5,19) = 6666030941710
per C_31(0,1,2,3,5,15) = 6163015724976
per C_31(0,1,2,3,4,11) = 7015201646430
per C_31(0,1,2,3,5,16) = 6603216270390
per C_31(0,1,2,3,5,14) = 6015747694446
per C_31(0,1,2,3,4,10) = 7222128066416
per C_31(0,1,2,3,5,7) = 9502854540542
per C_31(0,1,2,3,4,16) = 8025728064272
per C_31(0,1,2,3,5,10) = 6627440551534
per C_31(0,1,2,3,4,5) = 16038217209886
per C_31(0,1,2,3,5,17) = 7201830211110
per C_31(0,1,2,3,4,8) = 8737805996862
per C_31(0,1,2,3,5,12) = 6087177066870
per C_31(0,1,2,3,5,6) = 11702465889776
per C_31(0,1,2,3,5,11) = 6198117577086
per C_31(0,1,2,3,4,15) = 7227247890512
per C_31(0,1,2,3,4,14) = 6926117055798
per C_31(0,1,2,3,4,13) = 6922708796014
per C_31(0,1,2,3,5,9) = 7015742110598
per C_31(0,1,2,3,4,9) = 7675917297654
per C_31(0,1,2,3,5,28) = 9133686448016
per C_31(0,1,2,3,6,11) = 5875081737078
per C_31(0,1,2,3,5,23) = 6072855489958
per C_31(0,1,2,3,5,24) = 6175077174782
per C_31(0,1,2,3,5,29) = 10961444665206
per C_31(0,1,2,3,6,10) = 6032157343318
per C_31(0,1,2,3,5,25) = 6379665269542
per C_31(0,1,2,3,5,27) = 7832041330064
per C_31(0,1,2,3,6,7) = 8416669762950
per C_31(0,1,2,3,5,26) = 6983306675934
per C_31(0,1,2,3,6,16) = 5846064016206
per C_31(0,1,2,3,6,13) = 5519484012910
per C_31(0,1,2,3,6,9) = 6674872676336
per C_31(0,1,2,3,6,17) = 6233272636976
per C_31(0,1,2,3,6,8) = 7423388863286
per C_31(0,1,2,3,6,21) = 5509770836974
per C_31(0,1,2,3,6,15) = 5566033946470
per C_31(0,1,2,3,6,14) = 5517924521702
per C_31(0,1,2,3,6,18) = 6003225239734
per C_31(0,1,2,3,6,19) = 5859376545102
per C_31(0,1,2,3,6,22) = 5527192878886
per C_31(0,1,2,3,6,12) = 5762749878910
per C_31(0,1,2,3,6,27) = 7239907289894
per C_31(0,1,2,3,6,23) = 5574155289022
per C_31(0,1,2,3,6,20) = 5734573027086
per C_31(0,1,2,3,6,24) = 5667063869030
per C_31(0,1,2,3,6,25) = 6049014052862
per C_31(0,1,2,3,7,8) = 7143413933808
per C_31(0,1,2,3,6,26) = 6564277787910
per C_31(0,1,2,3,6,28) = 8243302181358
per C_31(0,1,2,3,7,10) = 5919667062998
per C_31(0,1,2,3,7,23) = 5314746318102
per C_31(0,1,2,3,7,9) = 6505000788230
per C_31(0,1,2,3,7,11) = 5537843370574
per C_31(0,1,2,3,7,12) = 5488383665166
per C_31(0,1,2,3,7,14) = 5440716918166
per C_31(0,1,2,3,7,15) = 5275665798582
per C_31(0,1,2,3,7,16) = 5503174398992
per C_31(0,1,2,3,7,13) = 5446812426094
per C_31(0,1,2,3,7,17) = 5793206497518
per C_31(0,1,2,3,7,18) = 5537298707518
per C_31(0,1,2,3,8,10) = 6253774262102
per C_31(0,1,2,3,7,20) = 5465198884144
per C_31(0,1,2,3,7,24) = 5576309792246
per C_31(0,1,2,3,7,19) = 5465909364774
per C_31(0,1,2,3,7,22) = 5273997967582
per C_31(0,1,2,3,8,15) = 5425307950782
per C_31(0,1,2,3,7,25) = 5940893387462
per C_31(0,1,2,3,7,27) = 6936999785846
per C_31(0,1,2,3,8,9) = 6796908337838
per C_31(0,1,2,3,7,21) = 5261391870158
per C_31(0,1,2,3,7,26) = 6429428609782
per C_31(0,1,2,3,8,12) = 5307883659622
per C_31(0,1,2,3,8,14) = 5448079218960
per C_31(0,1,2,3,8,11) = 5746529561670
per C_31(0,1,2,3,8,13) = 5417620252288
per C_31(0,1,2,3,8,17) = 5849070388518
per C_31(0,1,2,3,8,18) = 5490721633830
per C_31(0,1,2,3,8,16) = 5704986481510
per C_31(0,1,2,3,8,19) = 5252552346886
per C_31(0,1,2,3,8,20) = 5440458870198
per C_31(0,1,2,3,8,21) = 5421476273902
per C_31(0,1,2,3,9,19) = 5244102675646
per C_31(0,1,2,3,8,22) = 5262399456710
per C_31(0,1,2,3,8,23) = 5481679712550
per C_31(0,1,2,3,8,24) = 5847956129974
per C_31(0,1,2,3,8,25) = 6225461697734
per C_31(0,1,2,3,8,26) = 6595113670438
per C_31(0,1,2,3,10,11) = 6817899102478
per C_31(0,1,2,3,9,10) = 6701231209520
per C_31(0,1,2,3,9,16) = 5802337870414
per C_31(0,1,2,3,9,13) = 5280293888774
per C_31(0,1,2,3,9,11) = 6207368887494
per C_31(0,1,2,3,9,14) = 5231260554638
per C_31(0,1,2,3,9,15) = 5394802101198
per C_31(0,1,2,3,9,18) = 5755489456206
per C_31(0,1,2,3,9,12) = 5744210016182
per C_31(0,1,2,3,9,20) = 5378971501326
per C_31(0,1,2,3,9,17) = 6310193170158
per C_31(0,1,2,3,9,21) = 5479228560592
per C_31(0,1,2,3,9,23) = 5782372900238
per C_31(0,1,2,3,9,22) = 5525190422912
per C_31(0,1,2,3,9,25) = 6655578386262
per C_31(0,1,2,3,9,24) = 6246001110310
per C_31(0,1,2,3,10,12) = 6438244772694
per C_31(0,1,2,3,10,14) = 5271307842638
per C_31(0,1,2,3,10,17) = 6150858818358
per C_31(0,1,2,3,10,13) = 5812335662806
per C_31(0,1,2,3,10,15) = 5244199081678
per C_31(0,1,2,3,10,16) = 5522889738382
per C_31(0,1,2,3,10,18) = 5769660184142
per C_31(0,1,2,3,10,19) = 5428204294670
per C_31(0,1,2,3,10,20) = 5474501383550
per C_31(0,1,2,3,10,23) = 6246875126046
per C_31(0,1,2,3,10,21) = 5900632226494
per C_31(0,1,2,3,10,22) = 6314241783550
per C_31(0,1,2,3,11,15) = 5297485191920
per C_31(0,1,2,3,12,16) = 5609201427312
per C_31(0,1,2,3,10,24) = 6475797639680
per C_31(0,1,2,3,11,12) = 7447904724230
per C_31(0,1,2,3,11,14) = 5804864937838
per C_31(0,1,2,3,11,13) = 6582360633014
per C_31(0,1,2,3,11,16) = 5477999690150
per C_31(0,1,2,3,11,18) = 5496463648510
per C_31(0,1,2,3,12,14) = 6354967556336
per C_31(0,1,2,3,11,19) = 5459333781174
per C_31(0,1,2,3,11,20) = 5867462256688
per C_31(0,1,2,3,11,17) = 5758570512726
per C_31(0,1,2,3,11,23) = 7005519432550
per C_31(0,1,2,3,12,15) = 5808101543926
per C_31(0,1,2,3,12,13) = 7229295500342
per C_31(0,1,2,3,11,22) = 7466564440646
per C_31(0,1,2,3,12,17) = 5827894871814
per C_31(0,1,2,3,12,20) = 5933753240294
per C_31(0,1,2,3,12,18) = 5522956480142
per C_31(0,1,2,3,12,19) = 5511536640622
per C_31(0,1,2,3,12,21) = 7025283904150
per C_31(0,1,2,3,13,17) = 6120119583600
per C_31(0,1,2,3,13,15) = 6387787451760
per C_31(0,1,2,3,13,14) = 6745329030990
per C_31(0,1,2,3,13,16) = 6382535954854
per C_31(0,1,2,3,13,18) = 5915159747814
per C_31(0,1,2,3,13,19) = 5837426177446
per C_31(0,1,2,3,13,20) = 6152008614806
per C_31(0,1,2,3,13,21) = 6692116132766
per C_31(0,1,2,3,14,16) = 7496451975824
per C_31(0,1,2,3,14,18) = 6638137712358
per C_31(0,1,2,3,16,18) = 11951131530270
per C_31(0,1,2,3,14,15) = 7149216827094
per C_31(0,1,2,4,5,16) = 6146363437182
per C_31(0,1,2,3,14,19) = 6400361864270
per C_31(0,1,2,3,15,17) = 9691735644582
per C_31(0,1,2,3,14,20) = 6513074459230
per C_31(0,1,2,3,15,19) = 7253542861110
per C_31(0,1,2,3,15,18) = 8390638010128
per C_31(0,1,2,4,5,8) = 8213758495886
per C_31(0,1,2,4,5,9) = 7352894511870
per C_31(0,1,2,4,5,13) = 5781885533614
per C_31(0,1,2,4,5,11) = 6020762107134
per C_31(0,1,2,4,5,7) = 9406752437006
per C_31(0,1,2,4,5,12) = 5873164765712
per C_31(0,1,2,4,5,14) = 5769069645302
per C_31(0,1,2,4,5,10) = 6506946142576
per C_31(0,1,2,4,5,15) = 5810664782336
per C_31(0,1,2,4,5,18) = 6680367245854
per C_31(0,1,2,4,5,19) = 6285326066070
per C_31(0,1,2,4,5,17) = 6325841929982
per C_31(0,1,2,4,5,20) = 6095298525486
per C_31(0,1,2,4,5,21) = 5782028725094
per C_31(0,1,2,4,5,22) = 5753879190222
per C_31(0,1,2,4,5,23) = 5804372767950
per C_31(0,1,2,4,5,26) = 6568945526854
per C_31(0,1,2,4,5,24) = 5906653139990
per C_31(0,1,2,4,5,25) = 6062768612494
per C_31(0,1,2,4,7,9) = 6370256755654
per C_31(0,1,2,4,5,27) = 7454549294982
per C_31(0,1,2,4,7,12) = 5363940353200
per C_31(0,1,2,4,7,11) = 5692579525110
per C_31(0,1,2,4,5,28) = 8629565178934
per C_31(0,1,2,4,7,8) = 6991733827472
per C_31(0,1,2,4,7,16) = 5288065853142
per C_31(0,1,2,4,7,15) = 5103081803494
per C_31(0,1,2,4,7,14) = 5289769566766
per C_31(0,1,2,4,7,13) = 5324555582382
per C_31(0,1,2,4,7,20) = 5284266635990
per C_31(0,1,2,4,7,17) = 5319145000854
per C_31(0,1,2,4,7,18) = 5337996999792
per C_31(0,1,2,4,7,19) = 5302313475958
per C_31(0,1,2,4,7,23) = 5143255216110
per C_31(0,1,2,4,7,25) = 5697990112094
per C_31(0,1,2,4,7,22) = 5112622291078
per C_31(0,1,2,4,7,26) = 6096659633558
per C_31(0,1,2,4,7,21) = 5267800375662
per C_31(0,1,2,4,7,24) = 5382395755622
per C_31(0,1,2,4,7,27) = 6265270036742
per C_31(0,1,2,4,8,17) = 5291670124686
per C_31(0,1,2,4,7,28) = 6955770533040
per C_31(0,1,2,4,8,13) = 5121643087718
per C_31(0,1,2,4,8,9) = 6240663139152
per C_31(0,1,2,4,8,16) = 5510262533120
per C_31(0,1,2,4,8,11) = 5619761489086
per C_31(0,1,2,4,8,15) = 5255516508854
per C_31(0,1,2,4,8,18) = 5303906291422
per C_31(0,1,2,4,8,19) = 5092802266734
per C_31(0,1,2,4,8,21) = 5094547980894
per C_31(0,1,2,4,8,20) = 5243438359534
per C_31(0,1,2,4,8,22) = 5097265159414
per C_31(0,1,2,4,8,23) = 5342876414734
per C_31(0,1,2,4,8,25) = 5930515811590
per C_31(0,1,2,4,8,24) = 5576752691974
per C_31(0,1,2,4,9,20) = 5063544272550
per C_31(0,1,2,4,8,26) = 5715566213342
per C_31(0,1,2,4,9,12) = 5319175973078
per C_31(0,1,2,4,9,13) = 5279436855086
per C_31(0,1,2,4,9,15) = 4915289239158
per C_31(0,1,2,4,9,27) = 5701068319280
per C_31(0,1,2,4,8,28) = 6402564899358
per C_31(0,1,2,4,9,10) = 5782567978278
per C_31(0,1,2,4,9,11) = 5706447131822
per C_31(0,1,2,4,9,17) = 5327745801806
per C_31(0,1,2,4,9,14) = 5056550685446
per C_31(0,1,2,4,9,23) = 5311160059728
per C_31(0,1,2,4,9,18) = 5270370703214
per C_31(0,1,2,4,10,14) = 5270759655006
per C_31(0,1,2,4,9,19) = 4907205559312
per C_31(0,1,2,4,9,21) = 5097188697046
per C_31(0,1,2,4,9,22) = 5293771670734
per C_31(0,1,2,4,9,24) = 5596642127984
per C_31(0,1,2,4,9,25) = 5435478243542
per C_31(0,1,2,4,9,26) = 5657498676430
per C_31(0,1,2,4,9,28) = 6084863548774
per C_31(0,1,2,4,10,11) = 5733771901526
per C_31(0,1,2,4,10,12) = 5761701262990
per C_31(0,1,2,4,10,13) = 5300537245150
per C_31(0,1,2,4,10,15) = 4898657519182
per C_31(0,1,2,4,10,17) = 5127624444222
per C_31(0,1,2,4,10,23) = 5592792441158
per C_31(0,1,2,4,10,18) = 5271443210710
per C_31(0,1,2,4,10,19) = 5062537068848
per C_31(0,1,2,4,10,22) = 5377778051670
per C_31(0,1,2,4,10,20) = 5070589357598
per C_31(0,1,2,4,10,24) = 5355311589814
per C_31(0,1,2,4,10,28) = 5482595717414
per C_31(0,1,2,4,10,25) = 5592962511622
per C_31(0,1,2,4,11,12) = 5881535085198
per C_31(0,1,2,4,11,17) = 5109559865744
per C_31(0,1,2,4,10,27) = 5657111812054
per C_31(0,1,2,4,11,15) = 5278786782110
per C_31(0,1,2,4,10,26) = 5352407091438
per C_31(0,1,2,4,11,13) = 5790621285006
per C_31(0,1,2,4,11,14) = 5293030814382
per C_31(0,1,2,4,11,18) = 5271498832894
per C_31(0,1,2,4,11,19) = 4919023305718
per C_31(0,1,2,4,11,23) = 5706291431470
per C_31(0,1,2,4,11,25) = 5306088737798
per C_31(0,1,2,4,11,26) = 5323171229022
per C_31(0,1,2,4,11,24) = 5611052167054
per C_31(0,1,2,4,11,28) = 5626832196254
per C_31(0,1,2,4,12,13) = 5872208947238
per C_31(0,1,2,4,11,27) = 5162504331248
per C_31(0,1,2,4,12,14) = 5702867782542
per C_31(0,1,2,4,12,18) = 5118281025870
per C_31(0,1,2,4,12,24) = 5622638255854
per C_31(0,1,2,4,12,15) = 5309168755446
per C_31(0,1,2,4,12,19) = 5104174007646
per C_31(0,1,2,4,12,21) = 5710398491518
per C_31(0,1,2,4,12,20) = 5551078937630
per C_31(0,1,2,4,12,25) = 5305021416912
per C_31(0,1,2,4,12,26) = 4930287465904
per C_31(0,1,2,4,13,18) = 5398746965774
per C_31(0,1,2,4,13,14) = 5738222956422
per C_31(0,1,2,4,12,28) = 5367225879582
per C_31(0,1,2,4,13,15) = 5791741356918
per C_31(0,1,2,4,14,19) = 5725199837574
per C_31(0,1,2,4,14,15) = 5935895005494
per C_31(0,1,2,4,13,25) = 5088505251086
per C_31(0,1,2,4,13,19) = 5337916556342
per C_31(0,1,2,4,13,23) = 5712437987966
per C_31(0,1,2,4,13,20) = 5574664576366
per C_31(0,1,2,4,13,21) = 5426526497046
per C_31(0,1,2,4,14,20) = 5408868237056
per C_31(0,1,2,4,13,28) = 5341751230736
per C_31(0,1,2,4,14,18) = 6214817471022
per C_31(0,1,2,4,14,21) = 5561180034608
per C_31(0,1,2,4,14,22) = 5334714980750
per C_31(0,1,2,4,14,23) = 5550914793870
per C_31(0,1,2,4,14,25) = 5068487820974
per C_31(0,1,2,4,15,19) = 6239406945558
per C_31(0,1,2,4,14,26) = 5072524688094
per C_31(0,1,2,4,14,24) = 5077194017462
per C_31(0,1,2,4,14,27) = 5279759293774
per C_31(0,1,2,4,14,28) = 5553007975870
per C_31(0,1,2,4,15,20) = 5728001566238
per C_31(0,1,2,4,15,21) = 5334939117446
per C_31(0,1,2,4,15,22) = 5322504564784
per C_31(0,1,2,4,15,25) = 5047594609552
per C_31(0,1,2,4,15,23) = 5078632125814
per C_31(0,1,2,4,17,23) = 5118982383758
per C_31(0,1,2,4,15,26) = 5075461481278
per C_31(0,1,2,4,17,21) = 5715584321310
per C_31(0,1,2,4,15,28) = 5595234971086
per C_31(0,1,2,4,17,19) = 7609093982854
per C_31(0,1,2,4,17,20) = 6421590642694
per C_31(0,1,2,4,17,22) = 5318477690390
per C_31(0,1,2,4,18,20) = 6535329122638
per C_31(0,1,2,4,18,28) = 5619055734406
per C_31(0,1,2,4,18,19) = 7662366619504
per C_31(0,1,2,4,17,24) = 5309593966822
per C_31(0,1,2,4,19,25) = 5060520277358
per C_31(0,1,2,4,18,23) = 5103253690000
per C_31(0,1,2,4,18,22) = 5571504952206
per C_31(0,1,2,4,18,26) = 5094586496782
per C_31(0,1,2,4,18,24) = 5083629549014
per C_31(0,1,2,4,21,22) = 5818715699398
per C_31(0,1,2,4,19,24) = 4906236003870
per C_31(0,1,2,4,19,20) = 6341002772126
per C_31(0,1,2,4,19,22) = 5342565858222
per C_31(0,1,2,4,19,23) = 5275871481350
per C_31(0,1,2,4,19,21) = 5838188354606
per C_31(0,1,2,4,19,28) = 5360479158870
per C_31(0,1,2,4,19,26) = 5077180982334
per C_31(0,1,2,4,20,21) = 5781183375430
per C_31(0,1,2,4,20,22) = 5720567644718
per C_31(0,1,2,4,20,24) = 5283267003294
per C_31(0,1,2,4,20,23) = 5296870696838
per C_31(0,1,2,4,20,25) = 4904625025134
per C_31(0,1,2,4,20,28) = 5363027756166
per C_31(0,1,2,4,20,26) = 5069920495894
per C_31(0,1,2,4,21,23) = 5759589225488
per C_31(0,1,2,4,21,24) = 5291354622558
per C_31(0,1,2,4,21,25) = 5275235557518
per C_31(0,1,2,4,21,26) = 5075078440318
per C_31(0,1,2,4,21,28) = 5571199491536
per C_31(0,1,2,4,22,24) = 5760103334262
per C_31(0,1,2,4,23,26) = 5345305947230
per C_31(0,1,2,4,22,23) = 5915259956430
per C_31(0,1,2,5,6,12) = 5836530674494
per C_31(0,1,2,4,22,25) = 5292227781392
per C_31(0,1,2,4,22,26) = 5306733994800
per C_31(0,1,2,4,22,28) = 5409207760774
per C_31(0,1,2,4,23,25) = 5698424545598
per C_31(0,1,2,4,23,24) = 5771139693862
per C_31(0,1,2,4,24,26) = 5781836377472
per C_31(0,1,2,4,23,28) = 5689522558318
per C_31(0,1,2,5,6,8) = 7254299313934
per C_31(0,1,2,4,24,25) = 5719802725360
per C_31(0,1,2,4,24,28) = 6184302790902
per C_31(0,1,2,4,25,26) = 5852369733646
per C_31(0,1,2,4,26,28) = 7014065204782
per C_31(0,1,2,4,25,28) = 6392298314832
per C_31(0,1,2,5,6,7) = 8610411959878
per C_31(0,1,2,5,6,9) = 6780040334126
per C_31(0,1,2,5,6,11) = 6451011035648
per C_31(0,1,2,5,6,10) = 6846003731246
per C_31(0,1,2,5,6,13) = 5522762026814
per C_31(0,1,2,5,6,14) = 5508163170030
per C_31(0,1,2,5,6,15) = 5469919333566
per C_31(0,1,2,5,6,19) = 6002106641438
per C_31(0,1,2,5,6,18) = 5687813959838
per C_31(0,1,2,5,6,20) = 5459286838742
per C_31(0,1,2,5,7,15) = 5089968901392
per C_31(0,1,2,5,6,22) = 5506906376462
per C_31(0,1,2,5,6,21) = 5730856278800
per C_31(0,1,2,5,6,23) = 5534475805606
per C_31(0,1,2,5,6,24) = 5541158351792
per C_31(0,1,2,5,7,12) = 5719162169942
per C_31(0,1,2,5,6,25) = 5856507742854
per C_31(0,1,2,5,6,26) = 6496801550366
per C_31(0,1,2,5,6,28) = 7487276607542
per C_31(0,1,2,5,7,8) = 6965802122438
per C_31(0,1,2,5,6,27) = 7227776949718
per C_31(0,1,2,5,7,18) = 5279433134342
per C_31(0,1,2,5,7,11) = 5700027403760
per C_31(0,1,2,5,7,10) = 5929767303942
per C_31(0,1,2,5,7,13) = 5369708785150
per C_31(0,1,2,5,7,20) = 5279972676880
per C_31(0,1,2,5,7,14) = 5321020089856
per C_31(0,1,2,5,7,19) = 5557499308198
per C_31(0,1,2,5,7,21) = 5091945094166
per C_31(0,1,2,5,7,22) = 5103477493446
per C_31(0,1,2,5,7,23) = 5117849523230
per C_31(0,1,2,5,7,27) = 6224990772022
per C_31(0,1,2,5,7,25) = 5681755563870
per C_31(0,1,2,5,7,24) = 5387692682718
per C_31(0,1,2,5,7,26) = 6146969925150
per C_31(0,1,2,5,7,28) = 6481801832272
per C_31(0,1,2,5,8,10) = 5726370402534
per C_31(0,1,2,5,8,13) = 5308816630910
per C_31(0,1,2,5,8,9) = 6257043575918
per C_31(0,1,2,5,8,15) = 5079283575686
per C_31(0,1,2,5,8,12) = 5358347319374
per C_31(0,1,2,5,8,18) = 5059066209648
per C_31(0,1,2,5,8,21) = 4890565429904
per C_31(0,1,2,5,8,23) = 5083690377648
per C_31(0,1,2,5,8,20) = 5066964450718
per C_31(0,1,2,5,8,24) = 5326133335814
per C_31(0,1,2,5,8,25) = 5584881993838
per C_31(0,1,2,5,8,26) = 5629467549654
per C_31(0,1,2,5,8,28) = 6252175784550
per C_31(0,1,2,5,9,11) = 5342241563502
per C_31(0,1,2,5,9,10) = 6052512576400
per C_31(0,1,2,5,9,14) = 5325454140942
per C_31(0,1,2,5,9,12) = 5321221082262
per C_31(0,1,2,5,10,27) = 5809989654726
per C_31(0,1,2,5,9,15) = 4907306571262
per C_31(0,1,2,5,9,19) = 5082289909248
per C_31(0,1,2,5,9,26) = 5332729302286
per C_31(0,1,2,5,9,20) = 5080423288950
per C_31(0,1,2,5,9,23) = 5360874950750
per C_31(0,1,2,5,9,25) = 5375917481518
per C_31(0,1,2,5,10,13) = 5278237562550
per C_31(0,1,2,5,10,12) = 5305563299888
per C_31(0,1,2,5,10,11) = 5691166539654
per C_31(0,1,2,5,9,27) = 5822895106998
per C_31(0,1,2,5,10,14) = 5400163043046
per C_31(0,1,2,5,10,24) = 5285395345494
per C_31(0,1,2,5,11,12) = 5483548864990
per C_31(0,1,2,5,10,22) = 5305399997158
per C_31(0,1,2,5,10,28) = 6096008640006
per C_31(0,1,2,5,11,13) = 5092792514878
per C_31(0,1,2,5,11,15) = 5084676618158
per C_31(0,1,2,5,11,14) = 5038759336566
per C_31(0,1,2,5,11,18) = 4883004315942
per C_31(0,1,2,5,11,27) = 5606552390822
per C_31(0,1,2,5,11,24) = 4914205006160
per C_31(0,1,2,5,11,25) = 5064400734846
per C_31(0,1,2,5,11,19) = 4890141857622
per C_31(0,1,2,5,11,23) = 5135223406022
per C_31(0,1,2,5,11,28) = 5372062404598
per C_31(0,1,2,5,12,15) = 5061770870430
per C_31(0,1,2,5,12,21) = 5335227605182
per C_31(0,1,2,5,12,13) = 5455191900190
per C_31(0,1,2,5,13,14) = 5436194196230
per C_31(0,1,2,5,13,15) = 5119067417502
per C_31(0,1,2,5,12,25) = 5092990095486
per C_31(0,1,2,5,12,14) = 5085341405966
per C_31(0,1,2,5,12,18) = 4900285670926
per C_31(0,1,2,5,12,20) = 5113858649136
per C_31(0,1,2,5,12,26) = 5277216190174
per C_31(0,1,2,5,12,27) = 5133746680846
per C_31(0,1,2,5,12,28) = 5356464509822
per C_31(0,1,2,5,13,19) = 5313953716736
per C_31(0,1,2,5,13,20) = 5328167811502
per C_31(0,1,2,5,13,21) = 5322768432134
per C_31(0,1,2,5,14,19) = 6027793897894
per C_31(0,1,2,5,13,27) = 5114469490806
per C_31(0,1,2,5,13,25) = 5310077551632
per C_31(0,1,2,5,14,15) = 5549968597424
per C_31(0,1,2,5,14,18) = 5886045744910
per C_31(0,1,2,5,14,20) = 5119912940518
per C_31(0,1,2,5,14,24) = 5066618647950
per C_31(0,1,2,5,14,21) = 4902648833414
per C_31(0,1,2,5,14,22) = 5082508058790
per C_31(0,1,2,5,14,25) = 4878854526486
per C_31(0,1,2,5,15,18) = 6209983860502
per C_31(0,1,2,5,18,19) = 6981524475766
per C_31(0,1,2,5,15,22) = 5078036579110
per C_31(0,1,2,5,15,24) = 4889614243574
per C_31(0,1,2,5,15,19) = 5856318785950
per C_31(0,1,2,5,14,28) = 5580723413526
per C_31(0,1,2,5,15,20) = 5327550509246
per C_31(0,1,2,5,15,21) = 5086363907486
per C_31(0,1,2,5,15,25) = 4879535586814
per C_31(0,1,2,5,15,23) = 5286561807790
per C_31(0,1,2,5,19,20) = 5924656718342
per C_31(0,1,2,5,15,27) = 5119336101694
per C_31(0,1,2,5,18,20) = 5911213797246
per C_31(0,1,2,5,18,25) = 5058890721934
per C_31(0,1,2,5,18,21) = 5370813418256
per C_31(0,1,2,5,18,22) = 5331533852510
per C_31(0,1,2,5,18,24) = 4885599260656
per C_31(0,1,2,5,19,21) = 5386484995134
per C_31(0,1,2,5,19,23) = 5381055060182
per C_31(0,1,2,5,20,25) = 5059968106288
per C_31(0,1,2,5,19,27) = 5315981582790
per C_31(0,1,2,5,19,24) = 5277134617518
per C_31(0,1,2,5,20,21) = 5667501401294
per C_31(0,1,2,5,20,22) = 5103303856742
per C_31(0,1,2,5,20,23) = 5054972278224
per C_31(0,1,2,5,20,24) = 5112350905174
per C_31(0,1,2,5,21,23) = 5090515085742
per C_31(0,1,2,5,20,26) = 5079021798294
per C_31(0,1,2,5,20,27) = 5101704167958
per C_31(0,1,2,5,21,22) = 5480687398086
per C_31(0,1,2,5,22,24) = 5094859292070
per C_31(0,1,2,5,21,25) = 5093553011280
per C_31(0,1,2,5,21,24) = 5068269747878
per C_31(0,1,2,5,21,27) = 5346779346478
per C_31(0,1,2,5,22,26) = 5320485620096
per C_31(0,1,2,5,22,23) = 5476488130832
per C_31(0,1,2,5,22,25) = 5076124981718
per C_31(0,1,2,5,23,24) = 5446712244262
per C_31(0,1,2,5,22,27) = 5711419306390
per C_31(0,1,2,5,23,25) = 5105984882566
per C_31(0,1,2,5,23,26) = 5313657131862
per C_31(0,1,2,5,23,27) = 5848345817830
per C_31(0,1,2,5,24,25) = 5466880357190
per C_31(0,1,2,5,24,26) = 5404083924534
per C_31(0,1,2,5,24,27) = 5654681300144
per C_31(0,1,2,5,25,26) = 5792147830654
per C_31(0,1,2,5,25,27) = 5780578530958
per C_31(0,1,2,6,7,9) = 6370868340766
per C_31(0,1,2,5,26,27) = 6520773248966
per C_31(0,1,2,6,7,10) = 5956762080878
per C_31(0,1,2,6,7,12) = 6657715615542
per C_31(0,1,2,6,7,8) = 7887002156902
per C_31(0,1,2,6,7,11) = 6360285762638
per C_31(0,1,2,6,7,14) = 5834905185278
per C_31(0,1,2,6,7,15) = 5438130371414
per C_31(0,1,2,6,7,18) = 5488142528814
per C_31(0,1,2,6,7,22) = 5800231789190
per C_31(0,1,2,6,7,20) = 5806849690270
per C_31(0,1,2,6,7,21) = 5491083201462
per C_31(0,1,2,6,7,23) = 5469284158942
per C_31(0,1,2,6,7,26) = 7034944555422
per C_31(0,1,2,6,7,24) = 5719713508414
per C_31(0,1,2,6,8,12) = 5713716861470
per C_31(0,1,2,6,8,9) = 6263777968240
per C_31(0,1,2,6,8,11) = 5394251850640
per C_31(0,1,2,6,8,13) = 5624428738478
per C_31(0,1,2,6,8,19) = 5321113331470
per C_31(0,1,2,6,8,15) = 5316960329174
per C_31(0,1,2,6,8,18) = 5081528872950
per C_31(0,1,2,6,8,21) = 5075186277662
per C_31(0,1,2,6,8,22) = 5089703006022
per C_31(0,1,2,6,8,24) = 5602984752350
per C_31(0,1,2,6,8,26) = 5992635913712
per C_31(0,1,2,6,8,25) = 6006877092062
per C_31(0,1,2,6,8,27) = 6094612413646
per C_31(0,1,2,6,9,11) = 5331737916830
per C_31(0,1,2,6,9,10) = 5745557983664
per C_31(0,1,2,6,9,18) = 4887203709366
per C_31(0,1,2,6,9,25) = 5317141826486
per C_31(0,1,2,6,9,13) = 5075999578286
per C_31(0,1,2,6,9,15) = 5064115386046
per C_31(0,1,2,6,9,14) = 5095763654326
per C_31(0,1,2,6,9,22) = 4898264087270
per C_31(0,1,2,6,9,21) = 4890035252094
per C_31(0,1,2,6,9,23) = 5318327171502
per C_31(0,1,2,6,9,27) = 5400683142198
per C_31(0,1,2,6,10,15) = 5347147223664
per C_31(0,1,2,6,9,26) = 5323636275088
per C_31(0,1,2,6,10,13) = 4899085472880
per C_31(0,1,2,6,10,12) = 5561020333086
per C_31(0,1,2,6,10,24) = 5335127776254
per C_31(0,1,2,6,10,26) = 5340180600918
per C_31(0,1,2,6,10,27) = 6000279982062
per C_31(0,1,2,6,11,13) = 5269943843630
per C_31(0,1,2,6,11,14) = 4900510536246
per C_31(0,1,2,6,11,18) = 4908520407262
per C_31(0,1,2,6,11,25) = 5069990691798
per C_31(0,1,2,6,11,23) = 5322571320742
per C_31(0,1,2,6,12,15) = 4890587241318
per C_31(0,1,2,6,12,14) = 5281249415662
per C_31(0,1,2,6,12,20) = 5305271085518
per C_31(0,1,2,6,14,20) = 5585452549086
per C_31(0,1,2,6,13,15) = 5099227523646
per C_31(0,1,2,6,12,21) = 5603952289072
per C_31(0,1,2,6,12,26) = 5763975025136
per C_31(0,1,2,6,14,21) = 4906361938270
per C_31(0,1,2,6,13,18) = 5364950690134
per C_31(0,1,2,6,13,14) = 5547465091054
per C_31(0,1,2,6,13,26) = 6030769857470
per C_31(0,1,2,6,13,19) = 5962841402838
per C_31(0,1,2,6,13,21) = 5102349086502
per C_31(0,1,2,6,14,15) = 5477958490096
per C_31(0,1,2,6,14,18) = 5558272422902
per C_31(0,1,2,6,13,27) = 5334221762566
per C_31(0,1,2,6,14,22) = 4869971917182
per C_31(0,1,2,6,15,18) = 5410079004614
per C_31(0,1,2,6,14,24) = 5099460260486
per C_31(0,1,2,6,15,20) = 5300946758870
per C_31(0,1,2,6,15,21) = 5075033709550
per C_31(0,1,2,6,15,19) = 5742890987758
per C_31(0,1,2,6,15,22) = 5067397567342
per C_31(0,1,2,6,18,23) = 5091537769294
per C_31(0,1,2,6,15,27) = 5311224217390
per C_31(0,1,2,6,18,24) = 5059968459502
per C_31(0,1,2,6,18,19) = 6407910719902
per C_31(0,1,2,6,18,20) = 5626825487606
per C_31(0,1,2,6,18,21) = 5087417692470
per C_31(0,1,2,6,22,24) = 5080777430470
per C_31(0,1,2,6,18,22) = 5074712726126
per C_31(0,1,2,6,18,26) = 5128454633584
per C_31(0,1,2,6,19,20) = 6338836230734
per C_31(0,1,2,6,19,21) = 5315513582734
per C_31(0,1,2,6,19,26) = 5725203292214
per C_31(0,1,2,6,19,23) = 5351121541712
per C_31(0,1,2,6,20,22) = 5085128764752
per C_31(0,1,2,6,21,24) = 4740993045374
per C_31(0,1,2,6,20,24) = 5067570807494
per C_31(0,1,2,6,20,21) = 5466039220054
per C_31(0,1,2,6,21,22) = 5838360608400
per C_31(0,1,2,6,21,23) = 5088739794606
per C_31(0,1,2,6,22,23) = 5459207352758
per C_31(0,1,2,6,22,26) = 5638004321966
per C_31(0,1,2,6,23,26) = 5133202356806
per C_31(0,1,2,6,23,24) = 5477440781974
per C_31(0,1,2,7,8,9) = 7695527274926
per C_31(0,1,2,6,24,26) = 5602533638862
per C_31(0,1,2,7,8,24) = 6587587615616
per C_31(0,1,2,7,8,11) = 5511874187470
per C_31(0,1,2,7,8,10) = 6110919491702
per C_31(0,1,2,7,9,18) = 5347078191190
per C_31(0,1,2,7,9,14) = 5672448849518
per C_31(0,1,2,7,8,15) = 6395098644838
per C_31(0,1,2,7,8,18) = 5461045508918
per C_31(0,1,2,7,8,20) = 6412157853326
per C_31(0,1,2,7,8,21) = 5530741781950
per C_31(0,1,2,7,8,22) = 5492806052688
per C_31(0,1,2,7,8,25) = 6986853819438
per C_31(0,1,2,7,9,10) = 6085629206862
per C_31(0,1,2,7,9,15) = 5640655944662
per C_31(0,1,2,7,9,22) = 5330396812624
per C_31(0,1,2,7,9,23) = 5725071771118
per C_31(0,1,2,7,9,25) = 6013644585502
per C_31(0,1,2,7,10,11) = 5476724987262
per C_31(0,1,2,7,10,15) = 5076004757270
per C_31(0,1,2,7,10,23) = 5331256406974
per C_31(0,1,2,7,11,18) = 5062757743030
per C_31(0,1,2,7,11,23) = 5112502935126
per C_31(0,1,2,7,10,22) = 5114831249894
per C_31(0,1,2,7,11,25) = 5094285672038
per C_31(0,1,2,7,15,25) = 5572270898470
per C_31(0,1,2,7,14,23) = 5085972772054
per C_31(0,1,2,7,14,15) = 5740849539984
per C_31(0,1,2,7,14,22) = 4901872888286
per C_31(0,1,2,7,14,20) = 6579360395726
per C_31(0,1,2,7,14,25) = 5998358687312
per C_31(0,1,2,7,15,21) = 5097070861520
per C_31(0,1,2,7,15,22) = 5094233163742
per C_31(0,1,2,7,18,25) = 5759717871830
per C_31(0,1,2,7,18,23) = 5071340146288
per C_31(0,1,2,7,18,20) = 5714455881630
per C_31(0,1,2,7,18,21) = 5083222670480
per C_31(0,1,2,7,18,22) = 5079212676144
per C_31(0,1,2,7,18,24) = 5332747963046
per C_31(0,1,2,7,20,21) = 5857067080566
per C_31(0,1,2,7,21,25) = 5143017283422
per C_31(0,1,2,7,20,22) = 5296888857382
per C_31(0,1,2,7,21,22) = 5489236381422
per C_31(0,1,2,7,21,23) = 5088777705622
per C_31(0,1,2,7,22,23) = 5736107580654
per C_31(0,1,2,7,22,24) = 5356589505046
per C_31(0,1,2,7,22,25) = 5098107374854
per C_31(0,1,2,8,9,13) = 5447597748846
per C_31(0,1,2,7,23,24) = 5933579392790
per C_31(0,1,2,7,23,25) = 5610110806174
per C_31(0,1,2,8,9,19) = 5491071279358
per C_31(0,1,2,8,9,11) = 6058956845302
per C_31(0,1,2,8,9,10) = 7729284884886
per C_31(0,1,2,7,24,25) = 6354631085870
per C_31(0,1,2,8,9,12) = 5450667574686
per C_31(0,1,2,8,9,15) = 6588785666726
per C_31(0,1,2,8,10,13) = 5093506259870
per C_31(0,1,2,8,9,25) = 7574593595286
per C_31(0,1,2,8,10,11) = 6116082127542
per C_31(0,1,2,8,11,13) = 5109852445542
per C_31(0,1,2,8,10,15) = 5372125942942
per C_31(0,1,2,8,10,22) = 5642424624614
per C_31(0,1,2,8,11,12) = 5528805479790
per C_31(0,1,2,8,10,24) = 6263914238288
per C_31(0,1,2,8,11,18) = 5107965415774
per C_31(0,1,2,8,12,20) = 5729298165294
per C_31(0,1,2,8,12,18) = 5058387963376
per C_31(0,1,2,8,11,19) = 5082147393630
per C_31(0,1,2,8,11,24) = 5313699987998
per C_31(0,1,2,8,13,21) = 5617249716814
per C_31(0,1,2,8,13,15) = 5305025712582
per C_31(0,1,2,8,13,19) = 5749727461902
per C_31(0,1,2,8,12,13) = 5480136386974
per C_31(0,1,2,8,18,19) = 5460728048582
per C_31(0,1,2,8,18,22) = 5088908079470
per C_31(0,1,2,8,19,21) = 5591303427334
per C_31(0,1,2,8,18,24) = 5769579639694
per C_31(0,1,2,8,18,21) = 5049749022070
per C_31(0,1,2,8,19,20) = 6414401898128
per C_31(0,1,2,8,19,22) = 5075510131190
per C_31(0,1,2,8,19,24) = 5137605315760
per C_31(0,1,2,8,20,24) = 5322612102358
per C_31(0,1,2,8,21,24) = 5118346560862
per C_31(0,1,2,8,20,21) = 6427225212614
per C_31(0,1,2,9,10,13) = 5505994338606
per C_31(0,1,2,8,21,22) = 5568121108208
per C_31(0,1,2,9,11,23) = 6130036614854
per C_31(0,1,2,8,22,24) = 5718953860606
per C_31(0,1,2,9,10,11) = 7959216420558
per C_31(0,1,2,9,10,12) = 6261093757910
per C_31(0,1,2,9,11,12) = 6446267380432
per C_31(0,1,2,9,11,14) = 5103187195558
per C_31(0,1,2,9,10,15) = 5559241714782
per C_31(0,1,2,9,10,14) = 5470732209614
per C_31(0,1,2,9,11,15) = 5091949090934
per C_31(0,1,2,9,12,13) = 5566722066800
per C_31(0,1,2,9,13,19) = 5121511871414
per C_31(0,1,2,9,12,14) = 5105330450246
per C_31(0,1,2,9,11,19) = 5676145314256
per C_31(0,1,2,9,14,15) = 5477462285558
per C_31(0,1,2,9,13,15) = 5078389291902
per C_31(0,1,2,9,13,14) = 5444995940422
per C_31(0,1,2,9,15,19) = 5101394955358
per C_31(0,1,2,10,14,15) = 5506238886694
per C_31(0,1,2,10,11,12) = 8977321462278
per C_31(0,1,2,9,19,23) = 5535679091934
per C_31(0,1,2,10,13,15) = 5102673454878
per C_31(0,1,2,10,11,13) = 6548467098470
per C_31(0,1,2,10,11,14) = 5570495816336
per C_31(0,1,2,10,12,15) = 5105493432374
per C_31(0,1,2,10,11,15) = 5444730176430
per C_31(0,1,2,10,12,13) = 6487570071526
per C_31(0,1,2,11,12,13) = 8781382069918
per C_31(0,1,2,10,14,22) = 5669775103982
per C_31(0,1,2,10,13,14) = 5486574886094
per C_31(0,1,2,11,12,14) = 6343341344422
per C_31(0,1,2,11,12,15) = 5521943192318
per C_31(0,1,2,10,15,22) = 5129186773790
per C_31(0,1,2,11,12,18) = 5469825708358
per C_31(0,1,2,11,13,14) = 6178254098678
per C_31(0,1,2,11,14,18) = 5135155019278
per C_31(0,1,2,11,13,19) = 5645659586462
per C_31(0,1,2,11,14,15) = 5563556254854
per C_31(0,1,2,11,15,18) = 5367961303246
per C_31(0,1,2,11,18,19) = 5446483096726
per C_31(0,1,2,12,13,14) = 7737587799894
per C_31(0,1,2,12,13,15) = 6186197902246
per C_31(0,1,2,12,14,15) = 6314608116750
per C_31(0,1,2,12,14,18) = 5636548171614
per C_31(0,1,2,12,14,20) = 5983249856038
per C_31(0,1,2,12,13,20) = 7086068150800
per C_31(0,1,2,12,13,21) = 7820896569726
per C_31(0,1,2,12,18,20) = 5575967548464
per C_31(0,1,2,13,15,19) = 6088264393110
per C_31(0,1,2,13,14,15) = 8092036866926
per C_31(0,1,3,4,9,10) = 5708461685422
per C_31(0,1,2,13,14,20) = 7188480918384
per C_31(0,1,3,4,9,13) = 5328132477950
per C_31(0,1,3,4,9,21) = 4903599797598
per C_31(0,1,3,4,9,11) = 5380310760846
per C_31(0,1,3,4,9,12) = 5605092577014
per C_31(0,1,3,4,9,23) = 5326892313278
per C_31(0,1,3,4,10,11) = 5617336114806
per C_31(0,1,3,4,9,26) = 5935568561792
per C_31(0,1,3,4,9,25) = 5351647354598
per C_31(0,1,3,4,10,15) = 4897047047110
per C_31(0,1,3,4,10,14) = 5321723784214
per C_31(0,1,3,4,10,12) = 5328651224944
per C_31(0,1,3,4,10,25) = 5837613572942
per C_31(0,1,3,4,12,13) = 5665149911670
per C_31(0,1,3,4,11,12) = 5657222750576
per C_31(0,1,3,4,11,13) = 5343164742448
per C_31(0,1,3,4,11,15) = 5294042788550
per C_31(0,1,3,4,11,14) = 5640073302390
per C_31(0,1,3,4,11,24) = 5833140009070
per C_31(0,1,3,4,13,21) = 5320439150166
per C_31(0,1,3,4,12,14) = 5330597682518
per C_31(0,1,3,4,12,15) = 5598086331184
per C_31(0,1,3,4,13,15) = 5349115892862
per C_31(0,1,3,4,14,21) = 5955688098526
per C_31(0,1,3,4,15,20) = 5928467195438
per C_31(0,1,3,4,14,15) = 5697653402742
per C_31(0,1,3,7,8,10) = 5793088509286
per C_31(0,1,3,7,8,12) = 5349821071686
per C_31(0,1,3,7,8,18) = 4903785323422
per C_31(0,1,3,7,8,22) = 4910815431254
per C_31(0,1,3,7,10,15) = 4905272125582
per C_31(0,1,3,7,8,27) = 5692262716270
per C_31(0,1,3,7,10,18) = 4910194117040
per C_31(0,1,3,7,10,12) = 5310041098608
per C_31(0,1,3,7,10,25) = 5640006544510
per C_31(0,1,3,7,20,23) = 4894230835246
per C_31(0,1,3,7,12,20) = 4905237009712
per C_31(0,1,3,7,12,27) = 5288718018742
per C_31(0,1,3,7,12,29) = 5299526403598
per C_31(0,1,3,7,18,20) = 5321004885968
per C_31(0,1,3,7,22,29) = 5327835725552
per C_31(0,1,3,7,18,22) = 4897944234478
per C_31(0,1,3,7,20,21) = 5314670347952
per C_31(0,1,3,7,18,23) = 4903790719344
per C_31(0,1,3,7,21,27) = 5317729874414
per C_31(0,1,3,7,20,22) = 4899678718702
per C_31(0,1,3,7,21,25) = 5308538204720
per C_31(0,1,3,8,9,19) = 4901919392254
per C_31(0,1,3,7,23,29) = 5331492072694
per C_31(0,1,3,7,21,29) = 4913648033934
per C_31(0,1,3,8,18,22) = 4903423428926
per C_31(0,1,3,7,25,27) = 5685284914118
per C_31(0,1,3,8,9,26) = 5583302853342
per C_31(0,1,3,8,10,14) = 4904079064294
per C_31(0,1,3,8,12,26) = 4900213595182
per C_31(0,1,3,8,12,18) = 4598378639550
per C_31(0,1,3,8,10,18) = 5309773455830
per C_31(0,1,3,8,26,27) = 5637490797542
per C_31(0,1,3,8,14,22) = 4901492281446
per C_31(0,1,3,8,19,26) = 5318398516390
per C_31(0,1,3,10,12,13) = 5992952381862
per C_31(0,1,3,9,13,19) = 5322580378198
per C_31(0,1,3,9,23,29) = 6010192668046
per C_31(0,1,3,9,10,13) = 5305746385206
per C_31(0,1,3,11,13,14) = 5892673688192
per C_31(0,1,3,24,26,27) = 6093132609054
per C_31(0,1,3,13,19,29) = 5835648410526
