per C_30(0,1,2,3,4,14) = 2802895488816
per C_30(0,1,2,3,5,22) = 2439253058000
per C_30(0,1,2,3,5,17) = 2846498919584
per C_30(0,1,2,3,5,19) = 2591234993856
per C_30(0,1,2,3,5,21) = 2422367312964
per C_30(0,1,2,3,5,15) = 2550057320564
per C_30(0,1,2,3,5,11) = 2486697494484
per C_30(0,1,2,3,4,6) = 5023886149344
per C_30(0,1,2,3,5,13) = 2419790978096
per C_30(0,1,2,3,5,16) = 2740212773520
per C_30(0,1,2,3,5,8) = 3174861872202
per C_30(0,1,2,3,5,7) = 3700096855136
per C_30(0,1,2,3,4,7) = 4090564296922
per C_30(0,1,2,3,4,8) = 3424594029936
per C_30(0,1,2,3,5,9) = 2782528722084
per C_30(0,1,2,3,4,5) = 6150613767440
per C_30(0,1,2,3,4,17) = 3796621441360
per C_30(0,1,2,3,4,9) = 3032973239882
per C_30(0,1,2,3,5,10) = 2643500446640
per C_30(0,1,2,3,5,20) = 2469999289922
per C_30(0,1,2,3,5,14) = 2441792582432
per C_30(0,1,2,3,5,18) = 2759049313242
per C_30(0,1,2,3,5,12) = 2443372475762
per C_30(0,1,2,3,4,12) = 2787702013844
per C_30(0,1,2,3,4,16) = 3368447132004
per C_30(0,1,2,3,4,11) = 2804165268560
per C_30(0,1,2,3,4,13) = 2760201524192
per C_30(0,1,2,3,4,15) = 2999153122562
per C_30(0,1,2,3,4,10) = 2870893071924
per C_30(0,1,2,3,5,6) = 4511551461882
per C_30(0,1,2,3,5,23) = 2476191994964
per C_30(0,1,2,3,6,7) = 3301785922770
per C_30(0,1,2,3,5,24) = 2548229796362
per C_30(0,1,2,3,6,19) = 2333536354240
per C_30(0,1,2,3,6,8) = 2934422075540
per C_30(0,1,2,3,5,26) = 3088132348242
per C_30(0,1,2,3,5,27) = 3575063493524
per C_30(0,1,2,3,5,28) = 4260109078800
per C_30(0,1,2,3,6,10) = 2416328806884
per C_30(0,1,2,3,6,9) = 2657267680042
per C_30(0,1,2,3,6,13) = 2236010535610
per C_30(0,1,2,3,6,12) = 2321236584324
per C_30(0,1,2,3,6,14) = 2241175117620
per C_30(0,1,2,3,6,18) = 2425795610564
per C_30(0,1,2,3,6,11) = 2363841484162
per C_30(0,1,2,3,5,25) = 2773510031696
per C_30(0,1,2,3,7,9) = 2595505057620
per C_30(0,1,2,3,6,26) = 2868894671780
per C_30(0,1,2,3,6,16) = 2421005336084
per C_30(0,1,2,3,7,8) = 2834541501672
per C_30(0,1,2,3,6,15) = 2301675751002
per C_30(0,1,2,3,6,17) = 2461869452322
per C_30(0,1,2,3,6,24) = 2427525539844
per C_30(0,1,2,3,6,23) = 2282355442642
per C_30(0,1,2,3,6,21) = 2262660729202
per C_30(0,1,2,3,6,20) = 2237277466260
per C_30(0,1,2,3,6,27) = 3244754264322
per C_30(0,1,2,3,6,25) = 2618658314370
per C_30(0,1,2,3,6,22) = 2252518406964
per C_30(0,1,2,3,7,10) = 2375270163202
per C_30(0,1,2,3,7,21) = 2139314713140
per C_30(0,1,2,3,7,11) = 2234641290816
per C_30(0,1,2,3,7,12) = 2216667465010
per C_30(0,1,2,3,7,14) = 2203407099352
per C_30(0,1,2,3,7,13) = 2212692052740
per C_30(0,1,2,3,7,15) = 2177810522660
per C_30(0,1,2,3,7,24) = 2386839332050
per C_30(0,1,2,3,7,20) = 2198648532952
per C_30(0,1,2,3,7,17) = 2291285537216
per C_30(0,1,2,3,7,19) = 2217480506580
per C_30(0,1,2,3,7,23) = 2250420434256
per C_30(0,1,2,3,7,22) = 2176074238402
per C_30(0,1,2,3,7,26) = 2757960082632
per C_30(0,1,2,3,8,11) = 2320302612122
per C_30(0,1,2,3,7,16) = 2286206184642
per C_30(0,1,2,3,7,18) = 2190979045440
per C_30(0,1,2,3,7,25) = 2566950366500
per C_30(0,1,2,3,8,9) = 2714727490400
per C_30(0,1,2,3,8,10) = 2506157837696
per C_30(0,1,2,3,8,16) = 2392230066896
per C_30(0,1,2,3,8,15) = 2246213322240
per C_30(0,1,2,3,8,18) = 2171493131300
per C_30(0,1,2,3,8,13) = 2194325589992
per C_30(0,1,2,3,8,12) = 2150013586980
per C_30(0,1,2,3,8,14) = 2199451918980
per C_30(0,1,2,3,8,19) = 2190191258072
per C_30(0,1,2,3,8,17) = 2300671390242
per C_30(0,1,2,3,8,22) = 2220313498176
per C_30(0,1,2,3,8,21) = 2139286352810
per C_30(0,1,2,3,8,20) = 2202802280180
per C_30(0,1,2,3,8,23) = 2387803706162
per C_30(0,1,2,3,8,25) = 2628939003432
per C_30(0,1,2,3,8,24) = 2512870668000
per C_30(0,1,2,3,9,10) = 2676823481312
per C_30(0,1,2,3,9,13) = 2139187018740
per C_30(0,1,2,3,9,11) = 2510089854164
per C_30(0,1,2,3,10,20) = 2408369092496
per C_30(0,1,2,3,9,12) = 2327426933762
per C_30(0,1,2,3,9,14) = 2122600269170
per C_30(0,1,2,3,9,16) = 2441133156202
per C_30(0,1,2,3,9,15) = 2245021572564
per C_30(0,1,2,3,9,17) = 2441638233204
per C_30(0,1,2,3,9,18) = 2245059082082
per C_30(0,1,2,3,9,19) = 2127134839860
per C_30(0,1,2,3,9,20) = 2217229295810
per C_30(0,1,2,3,10,16) = 2295542461524
per C_30(0,1,2,3,9,21) = 2328814149524
per C_30(0,1,2,3,10,13) = 2339484337282
per C_30(0,1,2,3,10,12) = 2604046594164
per C_30(0,1,2,3,10,14) = 2138618141856
per C_30(0,1,2,3,9,22) = 2342168556962
per C_30(0,1,2,3,9,23) = 2484608584224
per C_30(0,1,2,3,9,24) = 2735886242402
per C_30(0,1,2,3,10,11) = 2783021652880
per C_30(0,1,2,3,10,15) = 2170867038242
per C_30(0,1,2,3,10,17) = 2384354918800
per C_30(0,1,2,3,10,18) = 2247456712544
per C_30(0,1,2,3,10,19) = 2218965635042
per C_30(0,1,2,3,10,21) = 2588057103682
per C_30(0,1,2,3,10,22) = 2579392745124
per C_30(0,1,2,3,10,23) = 2601616927600
per C_30(0,1,2,3,11,12) = 2962645468402
per C_30(0,1,2,3,11,13) = 2604135409296
per C_30(0,1,2,3,11,15) = 2191149033504
per C_30(0,1,2,3,13,15) = 2705936470580
per C_30(0,1,2,3,11,14) = 2334625587482
per C_30(0,1,2,3,11,18) = 2183186503322
per C_30(0,1,2,3,11,17) = 2276794602804
per C_30(0,1,2,3,11,19) = 2333146887776
per C_30(0,1,2,3,11,21) = 3004964286164
per C_30(0,1,2,3,12,18) = 2280612192564
per C_30(0,1,2,3,11,16) = 2281286302720
per C_30(0,1,2,3,11,20) = 2587836642082
per C_30(0,1,2,3,11,22) = 3097393090000
per C_30(0,1,2,3,12,13) = 2784922102210
per C_30(0,1,2,3,14,16) = 3422647228896
per C_30(0,1,2,3,12,14) = 2532140275040
per C_30(0,1,2,3,12,17) = 2319848635762
per C_30(0,1,2,3,12,15) = 2425454673002
per C_30(0,1,2,3,13,14) = 2721116263352
per C_30(0,1,2,3,12,16) = 2353855309764
per C_30(0,1,2,3,12,20) = 2579491010580
per C_30(0,1,2,3,12,19) = 2349489671330
per C_30(0,1,2,3,12,21) = 3096564803362
per C_30(0,1,2,3,13,16) = 2729110019872
per C_30(0,1,2,3,13,17) = 2530710384336
per C_30(0,1,2,3,13,18) = 2457236501090
per C_30(0,1,2,3,13,19) = 2482409317920
per C_30(0,1,2,3,13,20) = 2601926023432
per C_30(0,1,2,3,14,15) = 3111547168130
per C_30(0,1,2,3,14,17) = 3108102733282
per C_30(0,1,2,3,14,18) = 2760344933700
per C_30(0,1,2,3,15,16) = 4506577128642
per C_30(0,1,2,3,14,19) = 2678942512232
per C_30(0,1,2,3,15,17) = 4080125930084
per C_30(0,1,2,4,5,9) = 2912065726080
per C_30(0,1,2,3,15,18) = 3534553487202
per C_30(0,1,2,3,16,17) = 6402596673360
per C_30(0,1,2,4,5,7) = 3665188931202
per C_30(0,1,2,4,5,8) = 3229344826404
per C_30(0,1,2,4,5,12) = 2363843576496
per C_30(0,1,2,4,5,6) = 4593240663296
per C_30(0,1,2,4,5,14) = 2333053264964
per C_30(0,1,2,4,5,15) = 2393486503760
per C_30(0,1,2,4,5,13) = 2335534786322
per C_30(0,1,2,4,5,10) = 2595485114244
per C_30(0,1,2,4,5,11) = 2414118778442
per C_30(0,1,2,4,5,17) = 2599619664402
per C_30(0,1,2,4,5,16) = 2540786906144
per C_30(0,1,2,4,5,21) = 2324493888560
per C_30(0,1,2,4,5,19) = 2443412685642
per C_30(0,1,2,4,5,18) = 2648551712976
per C_30(0,1,2,4,5,20) = 2385254157444
per C_30(0,1,2,4,5,22) = 2344847464164
per C_30(0,1,2,4,5,23) = 2371339819202
per C_30(0,1,2,4,5,26) = 2949624878324
per C_30(0,1,2,4,5,28) = 3780240438324
per C_30(0,1,2,4,5,25) = 2618427659522
per C_30(0,1,2,4,5,24) = 2428914177536
per C_30(0,1,2,4,5,27) = 3388813805520
per C_30(0,1,2,4,6,7) = 3295070818628
per C_30(0,1,2,4,6,13) = 2231228446788
per C_30(0,1,2,4,6,8) = 3167239502520
per C_30(0,1,2,4,6,9) = 2641365058004
per C_30(0,1,2,4,6,10) = 2638883679954
per C_30(0,1,2,4,6,11) = 2374394485296
per C_30(0,1,2,4,6,12) = 2362867837914
per C_30(0,1,2,4,6,14) = 2248755369160
per C_30(0,1,2,4,6,16) = 2388339469234
per C_30(0,1,2,4,6,15) = 2271406035104
per C_30(0,1,2,4,6,17) = 2411032960496
per C_30(0,1,2,4,6,20) = 2317462181400
per C_30(0,1,2,4,6,18) = 2465446562304
per C_30(0,1,2,4,6,24) = 2423255480434
per C_30(0,1,2,4,6,22) = 2258248923714
per C_30(0,1,2,4,6,19) = 2381043653828
per C_30(0,1,2,4,6,21) = 2266793248884
per C_30(0,1,2,4,6,23) = 2262078584256
per C_30(0,1,2,4,6,28) = 3596400813834
per C_30(0,1,2,4,6,25) = 2544650513108
per C_30(0,1,2,4,6,27) = 2962958946884
per C_30(0,1,2,4,6,26) = 2878702821400
per C_30(0,1,2,4,7,8) = 2774314733988
per C_30(0,1,2,4,7,9) = 2542896332082
per C_30(0,1,2,4,7,15) = 2107891641282
per C_30(0,1,2,4,7,10) = 2367780129444
per C_30(0,1,2,4,7,13) = 2156085684898
per C_30(0,1,2,4,7,11) = 2289933048082
per C_30(0,1,2,4,7,12) = 2170818728288
per C_30(0,1,2,4,7,14) = 2146356840228
per C_30(0,1,2,4,7,17) = 2203299258082
per C_30(0,1,2,4,7,16) = 2195266894724
per C_30(0,1,2,4,7,19) = 2188348518048
per C_30(0,1,2,4,7,18) = 2161984735668
per C_30(0,1,2,4,7,21) = 2077898404162
per C_30(0,1,2,4,7,22) = 2116854487604
per C_30(0,1,2,4,8,22) = 2183773289794
per C_30(0,1,2,4,7,20) = 2075300678388
per C_30(0,1,2,4,7,23) = 2176685132242
per C_30(0,1,2,4,7,26) = 2505707487908
per C_30(0,1,2,4,7,25) = 2445689902578
per C_30(0,1,2,4,7,24) = 2296290785028
per C_30(0,1,2,4,7,27) = 2763599096032
per C_30(0,1,2,4,8,10) = 2468659909954
per C_30(0,1,2,4,7,28) = 2951457309684
per C_30(0,1,2,4,8,9) = 2495775794496
per C_30(0,1,2,4,8,11) = 2266839400244
per C_30(0,1,2,4,8,13) = 2078520506148
per C_30(0,1,2,4,8,12) = 2315893927000
per C_30(0,1,2,4,8,14) = 2164561419274
per C_30(0,1,2,4,8,17) = 2200301554164
per C_30(0,1,2,4,8,16) = 2310355078314
per C_30(0,1,2,4,8,15) = 2183902229376
per C_30(0,1,2,4,8,20) = 2159914126354
per C_30(0,1,2,4,8,18) = 2173211916280
per C_30(0,1,2,4,8,21) = 2146090099616
per C_30(0,1,2,4,8,19) = 2188069499988
per C_30(0,1,2,4,8,23) = 2306653932564
per C_30(0,1,2,4,8,24) = 2404329206680
per C_30(0,1,2,4,8,25) = 2302097226948
per C_30(0,1,2,4,8,26) = 2531631679794
per C_30(0,1,2,4,8,27) = 2560691737776
per C_30(0,1,2,4,8,28) = 2864098114714
per C_30(0,1,2,4,9,14) = 2054357540816
per C_30(0,1,2,4,9,10) = 2326245723444
per C_30(0,1,2,4,9,12) = 2154435337844
per C_30(0,1,2,4,9,13) = 2138990476562
per C_30(0,1,2,4,9,11) = 2306739695360
per C_30(0,1,2,4,9,15) = 2036041559922
per C_30(0,1,2,4,9,16) = 2208452118644
per C_30(0,1,2,4,9,17) = 2191955962320
per C_30(0,1,2,4,9,19) = 2027238709922
per C_30(0,1,2,4,9,25) = 2291726113602
per C_30(0,1,2,4,9,18) = 2144329225284
per C_30(0,1,2,4,9,20) = 2064373977216
per C_30(0,1,2,4,9,21) = 2081757321962
per C_30(0,1,2,4,9,24) = 2235000483524
per C_30(0,1,2,4,9,22) = 2159357583044
per C_30(0,1,2,4,9,28) = 2448783301764
per C_30(0,1,2,4,10,12) = 2343486694274
per C_30(0,1,2,4,9,23) = 2256653845520
per C_30(0,1,2,4,9,27) = 2435433782082
per C_30(0,1,2,4,9,26) = 2299334201216
per C_30(0,1,2,4,10,11) = 2328652387364
per C_30(0,1,2,4,10,14) = 2157334806314
per C_30(0,1,2,4,10,13) = 2146833756324
per C_30(0,1,2,4,10,17) = 2116259922144
per C_30(0,1,2,4,10,15) = 2031995223444
per C_30(0,1,2,4,10,18) = 2165893649194
per C_30(0,1,2,4,10,16) = 2206559822034
per C_30(0,1,2,4,10,19) = 2094902782944
per C_30(0,1,2,4,10,20) = 2232627064034
per C_30(0,1,2,4,10,23) = 2177790496644
per C_30(0,1,2,4,10,21) = 2270906666084
per C_30(0,1,2,4,10,22) = 2399395500314
per C_30(0,1,2,4,10,28) = 2514556369594
per C_30(0,1,2,4,10,24) = 2275297582874
per C_30(0,1,2,4,10,25) = 2202540667044
per C_30(0,1,2,4,10,26) = 2296695078474
per C_30(0,1,2,4,10,27) = 2213166032004
per C_30(0,1,2,4,11,12) = 2376344829056
per C_30(0,1,2,4,11,13) = 2314699417082
per C_30(0,1,2,4,11,15) = 2190179574800
per C_30(0,1,2,4,11,16) = 2124426281364
per C_30(0,1,2,4,11,14) = 2149093524644
per C_30(0,1,2,4,11,17) = 2121057263122
per C_30(0,1,2,4,11,19) = 2115606127322
per C_30(0,1,2,4,11,22) = 2339680480724
per C_30(0,1,2,4,11,21) = 2502028525360
per C_30(0,1,2,4,11,20) = 2272768118324
per C_30(0,1,2,4,12,13) = 2338583075588
per C_30(0,1,2,4,11,23) = 2281954098122
per C_30(0,1,2,4,11,24) = 2155436206016
per C_30(0,1,2,4,11,25) = 2161830861362
per C_30(0,1,2,4,11,26) = 2124719436564
per C_30(0,1,2,4,11,27) = 2272822887040
per C_30(0,1,2,4,11,28) = 2353140492884
per C_30(0,1,2,4,12,14) = 2324620283960
per C_30(0,1,2,4,12,15) = 2211934144404
per C_30(0,1,2,4,12,16) = 2358811977954
per C_30(0,1,2,4,12,17) = 2137968818096
per C_30(0,1,2,4,12,18) = 2180951293954
per C_30(0,1,2,4,12,22) = 2570301945824
per C_30(0,1,2,4,12,19) = 2191014724628
per C_30(0,1,2,4,12,21) = 2336263017284
per C_30(0,1,2,4,12,20) = 2395323484760
per C_30(0,1,2,4,12,24) = 2262992058554
per C_30(0,1,2,4,12,25) = 2008261724388
per C_30(0,1,2,4,12,26) = 2179461739200
per C_30(0,1,2,4,12,28) = 2361410621194
per C_30(0,1,2,4,12,27) = 2213055069764
per C_30(0,1,2,4,13,14) = 2328678663648
per C_30(0,1,2,4,13,15) = 2433361532642
per C_30(0,1,2,4,13,16) = 2415437044404
per C_30(0,1,2,4,13,19) = 2306910450338
per C_30(0,1,2,4,13,20) = 2177440653108
per C_30(0,1,2,4,13,18) = 2273086912608
per C_30(0,1,2,4,13,24) = 2072779219188
per C_30(0,1,2,4,13,22) = 2325953379284
per C_30(0,1,2,4,13,21) = 2279891328962
per C_30(0,1,2,4,13,25) = 2130945361778
per C_30(0,1,2,4,13,23) = 2177430282002
per C_30(0,1,2,4,13,28) = 2381382765684
per C_30(0,1,2,4,13,26) = 2151891107028
per C_30(0,1,2,4,13,27) = 2169246117682
per C_30(0,1,2,4,14,15) = 2520848078816
per C_30(0,1,2,4,14,16) = 2852151091264
per C_30(0,1,2,4,14,17) = 2663091961524
per C_30(0,1,2,4,14,18) = 2655191071000
per C_30(0,1,2,4,14,19) = 2257661809268
per C_30(0,1,2,4,14,22) = 2262390994754
per C_30(0,1,2,4,14,20) = 2281005702674
per C_30(0,1,2,4,14,21) = 2154258029456
per C_30(0,1,2,4,14,23) = 2071015998804
per C_30(0,1,2,4,14,24) = 2199451932920
per C_30(0,1,2,4,14,25) = 2000460721268
per C_30(0,1,2,4,14,26) = 2173652766034
per C_30(0,1,2,4,14,27) = 2253055754496
per C_30(0,1,2,4,15,16) = 3142787540564
per C_30(0,1,2,4,14,28) = 2481634610464
per C_30(0,1,2,4,15,18) = 2729705384964
per C_30(0,1,2,4,15,17) = 3302589210960
per C_30(0,1,2,4,15,20) = 2232829347936
per C_30(0,1,2,4,15,19) = 2635563104082
per C_30(0,1,2,4,15,21) = 2204089605152
per C_30(0,1,2,4,15,24) = 2033428166804
per C_30(0,1,2,4,15,23) = 2171201473280
per C_30(0,1,2,4,15,22) = 2036762904564
per C_30(0,1,2,4,15,26) = 2200352468336
per C_30(0,1,2,4,15,25) = 2034334174442
per C_30(0,1,2,4,15,27) = 2238570444882
per C_30(0,1,2,4,16,18) = 3369669482154
per C_30(0,1,2,4,15,28) = 2565392608404
per C_30(0,1,2,4,16,17) = 3708059526884
per C_30(0,1,2,4,16,19) = 2699126040404
per C_30(0,1,2,4,16,22) = 2211528156354
per C_30(0,1,2,4,16,20) = 2546376471744
per C_30(0,1,2,4,16,21) = 2144983466964
per C_30(0,1,2,4,16,24) = 2231492670754
per C_30(0,1,2,4,16,25) = 2188810786964
per C_30(0,1,2,4,16,26) = 2236643636794
per C_30(0,1,2,4,16,27) = 2344306689524
per C_30(0,1,2,4,16,28) = 2736716852994
per C_30(0,1,2,4,17,18) = 3492244751616
per C_30(0,1,2,4,17,20) = 2426332611684
per C_30(0,1,2,4,17,19) = 2987812643442
per C_30(0,1,2,4,17,24) = 2194516753536
per C_30(0,1,2,4,17,22) = 2123673161924
per C_30(0,1,2,4,17,23) = 2119708874722
per C_30(0,1,2,4,18,23) = 2069667795936
per C_30(0,1,2,4,18,19) = 2729707116708
per C_30(0,1,2,4,17,25) = 2119982785632
per C_30(0,1,2,4,18,20) = 2594778961720
per C_30(0,1,2,4,18,22) = 2267204900674
per C_30(0,1,2,4,17,27) = 2314450646800
per C_30(0,1,2,4,18,21) = 2272945304864
per C_30(0,1,2,4,18,26) = 2255772642360
per C_30(0,1,2,4,18,24) = 2159045031154
per C_30(0,1,2,4,18,27) = 2259707249604
per C_30(0,1,2,4,19,20) = 2412327504708
per C_30(0,1,2,4,19,22) = 2188310494304
per C_30(0,1,2,4,19,21) = 2373131209322
per C_30(0,1,2,4,19,23) = 2187092467922
per C_30(0,1,2,4,19,24) = 2027449484228
per C_30(0,1,2,4,19,26) = 2114763314468
per C_30(0,1,2,4,19,25) = 2093425097568
per C_30(0,1,2,4,19,27) = 2207023615722
per C_30(0,1,2,4,20,21) = 2328160364576
per C_30(0,1,2,4,20,22) = 2338860243314
per C_30(0,1,2,4,20,23) = 2147158997364
per C_30(0,1,2,4,20,24) = 2159095914560
per C_30(0,1,2,4,20,25) = 2064819931428
per C_30(0,1,2,4,20,27) = 2248299944736
per C_30(0,1,2,4,20,26) = 2177764090794
per C_30(0,1,2,4,21,24) = 2151754026644
per C_30(0,1,2,4,21,22) = 2373401995844
per C_30(0,1,2,4,21,23) = 2319472192400
per C_30(0,1,2,4,22,23) = 2343790343924
per C_30(0,1,2,4,21,25) = 2144945613482
per C_30(0,1,2,4,21,26) = 2155228785456
per C_30(0,1,2,4,21,27) = 2186706331282
per C_30(0,1,2,4,22,24) = 2322457006514
per C_30(0,1,2,4,22,27) = 2289217419104
per C_30(0,1,2,4,23,27) = 2477548938640
per C_30(0,1,2,4,22,26) = 2341537895634
per C_30(0,1,2,4,22,25) = 2162779733604
per C_30(0,1,2,4,23,24) = 2310183086976
per C_30(0,1,2,4,23,25) = 2321818864322
per C_30(0,1,2,4,23,26) = 2298741217044
per C_30(0,1,2,4,24,26) = 2535122877760
per C_30(0,1,2,4,24,25) = 2351011248308
per C_30(0,1,2,5,6,7) = 3382306013952
per C_30(0,1,2,4,24,27) = 2552226990084
per C_30(0,1,2,4,25,27) = 2783677042602
per C_30(0,1,2,4,25,26) = 2561421673268
per C_30(0,1,2,4,26,27) = 3002352769856
per C_30(0,1,2,5,6,8) = 2870617786820
per C_30(0,1,2,5,6,9) = 2696397212082
per C_30(0,1,2,5,6,10) = 2728356929936
per C_30(0,1,2,5,6,11) = 2581463715210
per C_30(0,1,2,5,6,13) = 2233547545152
per C_30(0,1,2,5,6,12) = 2352710919680
per C_30(0,1,2,5,6,14) = 2227601268500
per C_30(0,1,2,5,6,15) = 2254130209122
per C_30(0,1,2,5,6,18) = 2418655424180
per C_30(0,1,2,5,6,17) = 2248181271840
per C_30(0,1,2,5,6,19) = 2292378324552
per C_30(0,1,2,5,6,16) = 2374425406736
per C_30(0,1,2,5,6,20) = 2261202302660
per C_30(0,1,2,5,6,21) = 2293007602842
per C_30(0,1,2,5,6,25) = 2591159547672
per C_30(0,1,2,5,7,8) = 2764376725890
per C_30(0,1,2,5,6,22) = 2223549157376
per C_30(0,1,2,5,6,24) = 2359019158340
per C_30(0,1,2,5,6,23) = 2244756315810
per C_30(0,1,2,5,7,10) = 2378545145962
per C_30(0,1,2,5,6,26) = 2877991085780
per C_30(0,1,2,5,6,27) = 2963772963072
per C_30(0,1,2,5,7,11) = 2292564202560
per C_30(0,1,2,5,7,9) = 2531622023936
per C_30(0,1,2,5,7,12) = 2308933763512
per C_30(0,1,2,5,7,14) = 2157487424010
per C_30(0,1,2,5,7,13) = 2173071799220
per C_30(0,1,2,5,7,15) = 2106757034496
per C_30(0,1,2,5,7,16) = 2183159137632
per C_30(0,1,2,5,7,17) = 2106186362580
per C_30(0,1,2,5,7,21) = 2145142144896
per C_30(0,1,2,5,7,18) = 2147298332712
per C_30(0,1,2,5,7,19) = 2150752168340
per C_30(0,1,2,5,7,20) = 2101234326880
per C_30(0,1,2,5,7,22) = 2112289121002
per C_30(0,1,2,5,7,23) = 2180294737700
per C_30(0,1,2,5,7,24) = 2286624212352
per C_30(0,1,2,5,7,25) = 2464256879940
per C_30(0,1,2,5,7,26) = 2486125915680
per C_30(0,1,2,5,7,27) = 2584931229456
per C_30(0,1,2,5,8,11) = 2211120301402
per C_30(0,1,2,5,8,9) = 2502300115522
per C_30(0,1,2,5,8,12) = 2172368446020
per C_30(0,1,2,5,8,10) = 2301756854324
per C_30(0,1,2,5,8,13) = 2147463115170
per C_30(0,1,2,5,8,14) = 2060995327284
per C_30(0,1,2,5,8,19) = 2053835411650
per C_30(0,1,2,5,8,15) = 2098932650002
per C_30(0,1,2,5,8,21) = 1996766888002
per C_30(0,1,2,5,8,18) = 2060942188020
per C_30(0,1,2,5,8,22) = 2063916120804
per C_30(0,1,2,5,8,20) = 2098136890004
per C_30(0,1,2,5,8,16) = 2188823778464
per C_30(0,1,2,5,8,17) = 2026363937472
per C_30(0,1,2,5,8,24) = 2258615061780
per C_30(0,1,2,5,8,23) = 2199604224042
per C_30(0,1,2,5,8,25) = 2269393006930
per C_30(0,1,2,5,8,26) = 2301011165924
per C_30(0,1,2,5,8,27) = 2508282216282
per C_30(0,1,2,5,9,10) = 2430863026480
per C_30(0,1,2,5,9,11) = 2161843981044
per C_30(0,1,2,5,9,12) = 2155672065442
per C_30(0,1,2,5,9,15) = 2026652699204
per C_30(0,1,2,5,9,13) = 2218003310016
per C_30(0,1,2,5,9,14) = 2169528300882
per C_30(0,1,2,5,9,17) = 2109523531364
per C_30(0,1,2,5,9,19) = 1996786814016
per C_30(0,1,2,5,9,20) = 2118407555362
per C_30(0,1,2,5,9,24) = 2223501792282
per C_30(0,1,2,5,9,21) = 2063423300484
per C_30(0,1,2,5,9,23) = 2251485101844
per C_30(0,1,2,5,9,25) = 2156663457776
per C_30(0,1,2,5,10,11) = 2309738027842
per C_30(0,1,2,5,9,26) = 2345480898402
per C_30(0,1,2,5,10,12) = 2149853350656
per C_30(0,1,2,5,9,27) = 2501065945364
per C_30(0,1,2,5,10,15) = 2238199317520
per C_30(0,1,2,5,10,13) = 2140972920512
per C_30(0,1,2,5,10,17) = 2020226961202
per C_30(0,1,2,5,10,14) = 2173813595124
per C_30(0,1,2,5,10,16) = 2103932299604
per C_30(0,1,2,5,10,19) = 2066793506722
per C_30(0,1,2,5,10,21) = 2246793553360
per C_30(0,1,2,5,10,20) = 2258472514784
per C_30(0,1,2,5,10,22) = 2255311816884
per C_30(0,1,2,5,10,24) = 2062588333296
per C_30(0,1,2,5,10,25) = 2263402459882
per C_30(0,1,2,5,10,23) = 2156039987522
per C_30(0,1,2,5,10,27) = 2441332974160
per C_30(0,1,2,5,11,12) = 2213370027520
per C_30(0,1,2,5,11,14) = 2050219972322
per C_30(0,1,2,5,10,26) = 2334477917204
per C_30(0,1,2,5,11,15) = 2121346742304
per C_30(0,1,2,5,11,13) = 2067791523300
per C_30(0,1,2,5,11,16) = 2233971129882
per C_30(0,1,2,5,11,19) = 1996398148260
per C_30(0,1,2,5,11,17) = 2025861920064
per C_30(0,1,2,5,11,20) = 2213065242682
per C_30(0,1,2,5,11,22) = 2170754024032
per C_30(0,1,2,5,11,18) = 1996622664850
per C_30(0,1,2,5,11,21) = 2381851677764
per C_30(0,1,2,5,11,23) = 2064457803204
per C_30(0,1,2,5,11,26) = 2333820190842
per C_30(0,1,2,5,12,13) = 2205773215112
per C_30(0,1,2,5,11,24) = 2058211959890
per C_30(0,1,2,5,11,25) = 2162026964340
per C_30(0,1,2,5,11,27) = 2177078471424
per C_30(0,1,2,5,12,17) = 2103073255090
per C_30(0,1,2,5,12,16) = 2241001709696
per C_30(0,1,2,5,12,15) = 2103717342802
per C_30(0,1,2,5,12,14) = 2069599132980
per C_30(0,1,2,5,12,20) = 2202978047460
per C_30(0,1,2,5,12,19) = 2148790397032
per C_30(0,1,2,5,12,18) = 2074822695780
per C_30(0,1,2,5,12,21) = 2174300741632
per C_30(0,1,2,5,12,22) = 2135911486736
per C_30(0,1,2,5,12,23) = 2155073894690
per C_30(0,1,2,5,12,25) = 2142967087432
per C_30(0,1,2,5,12,27) = 2213346263482
per C_30(0,1,2,5,13,14) = 2221634942930
per C_30(0,1,2,5,12,24) = 2159806095780
per C_30(0,1,2,5,12,26) = 2080472779520
per C_30(0,1,2,5,13,16) = 2245229083602
per C_30(0,1,2,5,13,15) = 2137493742176
per C_30(0,1,2,5,13,22) = 2167317229922
per C_30(0,1,2,5,13,17) = 2220653460740
per C_30(0,1,2,5,13,19) = 2164177283460
per C_30(0,1,2,5,13,20) = 2112526987490
per C_30(0,1,2,5,13,18) = 2309289926712
per C_30(0,1,2,5,13,25) = 2071804945760
per C_30(0,1,2,5,13,23) = 2073726424820
per C_30(0,1,2,5,13,27) = 2255243496176
per C_30(0,1,2,5,14,15) = 2312987613242
per C_30(0,1,2,5,14,17) = 2369776401762
per C_30(0,1,2,5,14,16) = 2352258456404
per C_30(0,1,2,5,14,20) = 2031212868564
per C_30(0,1,2,5,14,19) = 2254274254530
per C_30(0,1,2,5,14,21) = 2061834486722
per C_30(0,1,2,5,14,22) = 2180058524004
per C_30(0,1,2,5,14,23) = 2199166283042
per C_30(0,1,2,5,14,24) = 1934592438260
per C_30(0,1,2,5,14,25) = 1996527514970
per C_30(0,1,2,5,15,17) = 2546256093684
per C_30(0,1,2,5,15,16) = 2729404503120
per C_30(0,1,2,5,14,26) = 2238271605044
per C_30(0,1,2,5,15,18) = 2438499552082
per C_30(0,1,2,5,15,20) = 2273629087762
per C_30(0,1,2,5,15,19) = 2235303608096
per C_30(0,1,2,5,15,21) = 2119694750964
per C_30(0,1,2,5,15,22) = 2088887572240
per C_30(0,1,2,5,15,23) = 2031237095684
per C_30(0,1,2,5,15,24) = 1964586517922
per C_30(0,1,2,5,15,27) = 2202319520244
per C_30(0,1,2,5,15,25) = 2252683787696
per C_30(0,1,2,5,15,26) = 2131115161632
per C_30(0,1,2,5,16,17) = 2847389278752
per C_30(0,1,2,5,16,18) = 2529765598976
per C_30(0,1,2,5,16,19) = 2410378512672
per C_30(0,1,2,5,16,20) = 2423573970644
per C_30(0,1,2,5,16,21) = 2361572540880
per C_30(0,1,2,5,16,22) = 2038424289344
per C_30(0,1,2,5,16,25) = 2116577475042
per C_30(0,1,2,5,17,18) = 2804699488800
per C_30(0,1,2,5,16,26) = 2238229013444
per C_30(0,1,2,5,16,27) = 2424648940800
per C_30(0,1,2,5,17,19) = 2427248968100
per C_30(0,1,2,5,17,20) = 2283999760402
per C_30(0,1,2,5,17,23) = 2019526766624
per C_30(0,1,2,5,17,22) = 2103999641122
per C_30(0,1,2,5,17,21) = 2121488046144
per C_30(0,1,2,5,17,24) = 2031865953090
per C_30(0,1,2,5,17,25) = 2023303527540
per C_30(0,1,2,5,18,19) = 2598572174152
per C_30(0,1,2,5,17,26) = 2186488163232
per C_30(0,1,2,5,18,20) = 2233381477460
per C_30(0,1,2,5,18,21) = 2153185040482
per C_30(0,1,2,5,18,23) = 2156038010610
per C_30(0,1,2,5,18,25) = 2137908633352
per C_30(0,1,2,5,19,21) = 2139106429056
per C_30(0,1,2,5,18,24) = 2068108033140
per C_30(0,1,2,5,19,20) = 2274750085570
per C_30(0,1,2,5,19,22) = 2060556784762
per C_30(0,1,2,5,19,23) = 2069742459060
per C_30(0,1,2,5,19,24) = 2062447377792
per C_30(0,1,2,5,19,26) = 2075694474690
per C_30(0,1,2,5,19,25) = 2072848894580
per C_30(0,1,2,5,20,24) = 2118298831860
per C_30(0,1,2,5,20,21) = 2263060200682
per C_30(0,1,2,5,20,22) = 2102214189024
per C_30(0,1,2,5,20,25) = 2245209002080
per C_30(0,1,2,5,20,23) = 2097850785362
per C_30(0,1,2,5,20,26) = 2201515424564
per C_30(0,1,2,5,21,22) = 2209480800640
per C_30(0,1,2,5,21,23) = 2073601941204
per C_30(0,1,2,5,21,24) = 2060673937682
per C_30(0,1,2,5,22,23) = 2219778850082
per C_30(0,1,2,5,21,25) = 2164638527856
per C_30(0,1,2,5,21,26) = 2324810082162
per C_30(0,1,2,5,22,24) = 2073448626816
per C_30(0,1,2,5,23,25) = 2181317382740
per C_30(0,1,2,5,22,25) = 2150679907762
per C_30(0,1,2,6,7,8) = 3118637033600
per C_30(0,1,2,5,22,26) = 2343403200704
per C_30(0,1,2,5,24,26) = 2320763095460
per C_30(0,1,2,5,23,24) = 2209173191930
per C_30(0,1,2,5,23,26) = 2283542192802
per C_30(0,1,2,5,24,25) = 2330308656392
per C_30(0,1,2,6,7,12) = 2682485966660
per C_30(0,1,2,5,25,26) = 2605415091690
per C_30(0,1,2,6,7,9) = 2543528539410
per C_30(0,1,2,6,7,10) = 2389027877888
per C_30(0,1,2,6,7,11) = 2548516754232
per C_30(0,1,2,6,7,15) = 2248497480480
per C_30(0,1,2,6,7,14) = 2331905390720
per C_30(0,1,2,6,7,13) = 2622986972706
per C_30(0,1,2,6,7,16) = 2364761491028
per C_30(0,1,2,6,7,17) = 2244863034552
per C_30(0,1,2,6,7,20) = 2230469143040
per C_30(0,1,2,6,7,18) = 2348457074660
per C_30(0,1,2,6,7,19) = 2537291023506
per C_30(0,1,2,6,7,21) = 2280484596480
per C_30(0,1,2,6,7,22) = 2270036102468
per C_30(0,1,2,6,7,26) = 2795439278720
per C_30(0,1,2,6,7,24) = 2567920817300
per C_30(0,1,2,6,7,25) = 2851187965536
per C_30(0,1,2,6,8,11) = 2178689210400
per C_30(0,1,2,6,8,9) = 2506326257700
per C_30(0,1,2,6,8,17) = 2109788362100
per C_30(0,1,2,6,8,10) = 2449816298520
per C_30(0,1,2,6,8,14) = 2305998485466
per C_30(0,1,2,6,8,12) = 2318203540506
per C_30(0,1,2,6,8,22) = 2271488199480
per C_30(0,1,2,6,8,16) = 2333022109720
per C_30(0,1,2,6,8,13) = 2271384538880
per C_30(0,1,2,6,8,19) = 2266937197440
per C_30(0,1,2,6,8,18) = 2163561622786
per C_30(0,1,2,6,8,23) = 2342531394500
per C_30(0,1,2,6,8,20) = 2163711436986
per C_30(0,1,2,6,8,21) = 2106657166740
per C_30(0,1,2,6,8,24) = 2443813213386
per C_30(0,1,2,6,9,11) = 2158268819392
per C_30(0,1,2,6,8,25) = 2408767867520
per C_30(0,1,2,6,8,26) = 2464749003136
per C_30(0,1,2,6,9,10) = 2312315605764
per C_30(0,1,2,6,9,12) = 2062858364004
per C_30(0,1,2,6,9,13) = 2059696355410
per C_30(0,1,2,6,9,17) = 2032814262762
per C_30(0,1,2,6,9,15) = 2107719991872
per C_30(0,1,2,6,9,14) = 2074247495300
per C_30(0,1,2,6,9,18) = 2061556001124
per C_30(0,1,2,6,9,19) = 1993488249490
per C_30(0,1,2,6,9,21) = 2026580976802
per C_30(0,1,2,6,9,26) = 2181414612320
per C_30(0,1,2,6,9,23) = 2174727444322
per C_30(0,1,2,6,9,22) = 2080707335604
per C_30(0,1,2,6,9,24) = 2198925291524
per C_30(0,1,2,6,10,11) = 2436772769216
per C_30(0,1,2,6,10,12) = 2257291887904
per C_30(0,1,2,6,10,13) = 1994966542788
per C_30(0,1,2,6,10,14) = 2226876493320
per C_30(0,1,2,6,10,17) = 2026116104576
per C_30(0,1,2,6,10,16) = 2343147602624
per C_30(0,1,2,6,10,15) = 2198845910804
per C_30(0,1,2,6,10,18) = 2166919261914
per C_30(0,1,2,6,10,20) = 2219727659000
per C_30(0,1,2,6,10,24) = 2161964837274
per C_30(0,1,2,6,10,21) = 2325241882784
per C_30(0,1,2,6,10,25) = 2200889284868
per C_30(0,1,2,6,10,22) = 2260392114784
per C_30(0,1,2,6,10,26) = 2457894918440
per C_30(0,1,2,6,11,13) = 2139587323192
per C_30(0,1,2,6,11,12) = 2433146469380
per C_30(0,1,2,6,11,16) = 2578611321136
per C_30(0,1,2,6,11,15) = 2214031025202
per C_30(0,1,2,6,11,14) = 1995904312260
per C_30(0,1,2,6,11,18) = 2069489155860
per C_30(0,1,2,6,11,17) = 2214738124530
per C_30(0,1,2,6,11,20) = 2284991903300
per C_30(0,1,2,6,11,21) = 2759410185562
per C_30(0,1,2,6,11,22) = 2284610951936
per C_30(0,1,2,6,11,23) = 2062849031200
per C_30(0,1,2,6,11,24) = 2071699733280
per C_30(0,1,2,6,11,25) = 2316120455112
per C_30(0,1,2,6,12,14) = 2163385733946
per C_30(0,1,2,6,12,13) = 2346080842980
per C_30(0,1,2,6,11,26) = 2705518136260
per C_30(0,1,2,6,12,16) = 2343682010354
per C_30(0,1,2,6,12,17) = 2208114947360
per C_30(0,1,2,6,12,15) = 2030133695744
per C_30(0,1,2,6,12,18) = 2417734533594
per C_30(0,1,2,6,12,24) = 2417675423154
per C_30(0,1,2,6,12,20) = 2260780078336
per C_30(0,1,2,6,12,21) = 2321783877524
per C_30(0,1,2,6,12,19) = 2300133275700
per C_30(0,1,2,6,12,23) = 2071508659860
per C_30(0,1,2,6,12,22) = 2219762995634
per C_30(0,1,2,6,13,14) = 2229693855360
per C_30(0,1,2,6,12,25) = 2378235007040
per C_30(0,1,2,6,12,26) = 2451719362226
per C_30(0,1,2,6,13,16) = 2049117434708
per C_30(0,1,2,6,13,15) = 2120075109090
per C_30(0,1,2,6,13,17) = 2202045749592
per C_30(0,1,2,6,13,18) = 2380847877380
per C_30(0,1,2,6,13,19) = 2537883752746
per C_30(0,1,2,6,13,20) = 2174669802240
per C_30(0,1,2,6,13,23) = 2060104946752
per C_30(0,1,2,6,13,22) = 1997146653108
per C_30(0,1,2,6,13,21) = 2026344637570
per C_30(0,1,2,6,13,24) = 2302245746820
per C_30(0,1,2,6,13,25) = 2484070683546
per C_30(0,1,2,6,13,26) = 2260643151680
per C_30(0,1,2,6,14,15) = 2275334048420
per C_30(0,1,2,6,14,20) = 2163119352426
per C_30(0,1,2,6,14,16) = 2313160439680
per C_30(0,1,2,6,14,17) = 2135122513760
per C_30(0,1,2,6,14,21) = 1958778416100
per C_30(0,1,2,6,14,24) = 2163105415066
per C_30(0,1,2,6,14,23) = 2169116464020
per C_30(0,1,2,6,14,25) = 2173839584000
per C_30(0,1,2,6,14,22) = 2212876110600
per C_30(0,1,2,6,14,26) = 2259828619306
per C_30(0,1,2,6,15,18) = 2223838860404
per C_30(0,1,2,6,15,17) = 2439692485152
per C_30(0,1,2,6,15,20) = 2119168929140
per C_30(0,1,2,6,15,16) = 2655899758964
per C_30(0,1,2,6,15,24) = 2104460525024
per C_30(0,1,2,6,15,21) = 2274414733842
per C_30(0,1,2,6,15,22) = 2120178713984
per C_30(0,1,2,6,15,23) = 2223387867042
per C_30(0,1,2,6,15,26) = 2225651314100
per C_30(0,1,2,6,15,25) = 2125476572850
per C_30(0,1,2,6,16,17) = 2684105606336
per C_30(0,1,2,6,16,18) = 2433322918354
per C_30(0,1,2,6,16,19) = 2121190649108
per C_30(0,1,2,6,16,20) = 2390169423320
per C_30(0,1,2,6,16,21) = 2589519520324
per C_30(0,1,2,6,16,24) = 2222482785394
per C_30(0,1,2,6,16,22) = 2389758936434
per C_30(0,1,2,6,16,26) = 2876551862120
per C_30(0,1,2,6,16,25) = 2231798727968
per C_30(0,1,2,6,17,18) = 2449497687140
per C_30(0,1,2,6,17,20) = 2122163773760
per C_30(0,1,2,6,17,19) = 2394218603112
per C_30(0,1,2,6,17,22) = 2114275870256
per C_30(0,1,2,6,17,21) = 2286680370162
per C_30(0,1,2,6,17,24) = 2106597929780
per C_30(0,1,2,6,17,23) = 2100391839090
per C_30(0,1,2,6,17,25) = 2178362078592
per C_30(0,1,2,6,18,19) = 2691759755040
per C_30(0,1,2,6,18,20) = 2318043089586
per C_30(0,1,2,6,18,21) = 2025970278084
per C_30(0,1,2,6,18,22) = 2166301604634
per C_30(0,1,2,6,18,23) = 2162491133780
per C_30(0,1,2,6,18,24) = 2416062509754
per C_30(0,1,2,6,19,25) = 2519976640386
per C_30(0,1,2,6,19,21) = 2192124544210
per C_30(0,1,2,6,19,20) = 2333753916480
per C_30(0,1,2,6,20,23) = 1935024339060
per C_30(0,1,2,6,18,25) = 2302431760820
per C_30(0,1,2,6,19,22) = 1991325804228
per C_30(0,1,2,6,20,21) = 2283018152900
per C_30(0,1,2,6,20,24) = 2163256046946
per C_30(0,1,2,6,20,22) = 2156077788160
per C_30(0,1,2,6,20,25) = 2334108510080
per C_30(0,1,2,6,21,23) = 2106373545682
per C_30(0,1,2,6,21,22) = 2282762230304
per C_30(0,1,2,6,21,24) = 2026735035204
per C_30(0,1,2,6,21,25) = 2320702414560
per C_30(0,1,2,6,22,23) = 2214269313936
per C_30(0,1,2,6,22,24) = 2181042236994
per C_30(0,1,2,6,22,25) = 2084639412608
per C_30(0,1,2,6,23,25) = 2259080498472
per C_30(0,1,2,6,23,24) = 2308439423940
per C_30(0,1,2,6,24,25) = 2568141055700
per C_30(0,1,2,7,8,9) = 3065029651592
per C_30(0,1,2,7,8,12) = 2334473110080
per C_30(0,1,2,7,8,11) = 2225006278850
per C_30(0,1,2,7,8,10) = 2451867887028
per C_30(0,1,2,7,8,13) = 2616385643466
per C_30(0,1,2,7,8,16) = 2661647176148
per C_30(0,1,2,7,8,18) = 2231179466240
per C_30(0,1,2,7,8,15) = 2704553150712
per C_30(0,1,2,7,8,17) = 2287868418410
per C_30(0,1,2,7,8,21) = 2212851043112
per C_30(0,1,2,7,8,19) = 2533343352866
per C_30(0,1,2,7,8,20) = 2349396191220
per C_30(0,1,2,7,8,25) = 2836953689346
per C_30(0,1,2,7,8,22) = 2438725114068
per C_30(0,1,2,7,9,12) = 2151366777770
per C_30(0,1,2,7,9,11) = 2290103378016
per C_30(0,1,2,7,8,24) = 2822095031040
per C_30(0,1,2,7,9,10) = 2442931691762
per C_30(0,1,2,7,9,13) = 2155609003140
per C_30(0,1,2,7,9,15) = 2370095344820
per C_30(0,1,2,7,9,17) = 2235328364096
per C_30(0,1,2,7,9,18) = 2152844585570
per C_30(0,1,2,7,9,19) = 2148773235380
per C_30(0,1,2,7,9,20) = 2150013760832
per C_30(0,1,2,7,9,22) = 2317304317202
per C_30(0,1,2,7,9,21) = 2163969108180
per C_30(0,1,2,7,9,24) = 2506926393600
per C_30(0,1,2,7,10,12) = 2144963206308
per C_30(0,1,2,7,10,11) = 2225539808992
per C_30(0,1,2,7,10,17) = 2107103688562
per C_30(0,1,2,7,10,15) = 2106159733162
per C_30(0,1,2,7,10,13) = 2060714270458
per C_30(0,1,2,7,10,18) = 1993435864548
per C_30(0,1,2,7,10,16) = 2249575274624
per C_30(0,1,2,7,10,19) = 2081051577818
per C_30(0,1,2,7,10,22) = 2196956063904
per C_30(0,1,2,7,10,24) = 2154902549028
per C_30(0,1,2,7,11,18) = 2060166419432
per C_30(0,1,2,7,10,25) = 2195564213728
per C_30(0,1,2,7,11,12) = 2300123813752
per C_30(0,1,2,7,10,20) = 2135865779588
per C_30(0,1,2,7,11,19) = 2077545507060
per C_30(0,1,2,7,11,17) = 2117713264740
per C_30(0,1,2,7,11,20) = 2170545593440
per C_30(0,1,2,7,11,15) = 2021538817536
per C_30(0,1,2,7,11,16) = 2236535200992
per C_30(0,1,2,7,11,13) = 2143989024900
per C_30(0,1,2,7,11,21) = 2381787982016
per C_30(0,1,2,7,11,22) = 2212907029162
per C_30(0,1,2,7,12,13) = 2534875631386
per C_30(0,1,2,7,12,15) = 2020251994930
per C_30(0,1,2,7,11,25) = 2164823808960
per C_30(0,1,2,7,12,16) = 2104091069348
per C_30(0,1,2,7,12,17) = 2250792056872
per C_30(0,1,2,7,12,18) = 2300070933300
per C_30(0,1,2,7,12,19) = 2517588710816
per C_30(0,1,2,7,12,20) = 2270834490240
per C_30(0,1,2,7,12,25) = 2534439151426
per C_30(0,1,2,7,13,15) = 2195427832160
per C_30(0,1,2,7,12,24) = 2303255316980
per C_30(0,1,2,7,12,22) = 2258219460308
per C_30(0,1,2,7,13,16) = 2103211619778
per C_30(0,1,2,7,12,21) = 2253969656770
per C_30(0,1,2,7,13,22) = 2106816649618
per C_30(0,1,2,7,13,18) = 2484303036306
per C_30(0,1,2,7,13,17) = 2104808136020
per C_30(0,1,2,7,13,19) = 3265976935380
per C_30(0,1,2,7,13,20) = 2481770083906
per C_30(0,1,2,7,13,24) = 2516341585666
per C_30(0,1,2,7,15,17) = 2421450615936
per C_30(0,1,2,7,15,16) = 2734142878752
per C_30(0,1,2,7,13,25) = 3266056657700
per C_30(0,1,2,7,15,18) = 2124819648930
per C_30(0,1,2,7,15,22) = 2330804646802
per C_30(0,1,2,7,15,25) = 2210708559780
per C_30(0,1,2,7,15,21) = 2119702950720
per C_30(0,1,2,7,15,20) = 2098782239272
per C_30(0,1,2,7,15,24) = 2368137794850
per C_30(0,1,2,7,16,17) = 2651450319042
per C_30(0,1,2,7,16,18) = 2282181522788
per C_30(0,1,2,7,16,20) = 2038569561728
per C_30(0,1,2,7,16,19) = 2107445930178
per C_30(0,1,2,7,16,21) = 2369996566482
per C_30(0,1,2,7,16,22) = 2462319716324
per C_30(0,1,2,7,16,24) = 2425335825428
per C_30(0,1,2,7,16,25) = 2429302111008
per C_30(0,1,2,7,17,18) = 2284612196672
per C_30(0,1,2,7,17,19) = 2208807581780
per C_30(0,1,2,7,17,20) = 2095965634810
per C_30(0,1,2,7,17,21) = 2114697656256
per C_30(0,1,2,7,17,22) = 2270668887682
per C_30(0,1,2,7,18,20) = 2264636010240
per C_30(0,1,2,7,17,24) = 2366643790792
per C_30(0,1,2,7,18,19) = 2622731656586
per C_30(0,1,2,7,18,21) = 2054228587490
per C_30(0,1,2,7,18,22) = 1959283771428
per C_30(0,1,2,7,18,24) = 2380825698180
per C_30(0,1,2,7,19,20) = 2618335775186
per C_30(0,1,2,7,19,21) = 2156754008100
per C_30(0,1,2,7,20,22) = 2103431843508
per C_30(0,1,2,7,20,21) = 2220107350912
per C_30(0,1,2,8,9,10) = 3062484390656
per C_30(0,1,2,7,19,24) = 2480452721586
per C_30(0,1,2,7,19,22) = 2026968744818
per C_30(0,1,2,7,21,22) = 2273695077802
per C_30(0,1,2,8,9,11) = 2446767500402
per C_30(0,1,2,8,9,14) = 2353670892000
per C_30(0,1,2,7,21,24) = 2076829413490
per C_30(0,1,2,7,22,24) = 2317317592388
per C_30(0,1,2,8,9,13) = 2205226956152
per C_30(0,1,2,8,9,15) = 2795504500810
per C_30(0,1,2,8,9,12) = 2212185154980
per C_30(0,1,2,8,9,17) = 2795504026082
per C_30(0,1,2,8,9,18) = 2352874914720
per C_30(0,1,2,8,9,19) = 2319162640952
per C_30(0,1,2,8,9,20) = 2451431355140
per C_30(0,1,2,8,9,22) = 2599893747216
per C_30(0,1,2,8,9,23) = 3216976784162
per C_30(0,1,2,8,9,21) = 2331099895010
per C_30(0,1,2,8,10,12) = 2337733599680
per C_30(0,1,2,8,9,24) = 3217161674340
per C_30(0,1,2,8,10,11) = 2488701387284
per C_30(0,1,2,8,10,13) = 2070009489428
per C_30(0,1,2,8,10,14) = 2171850807514
per C_30(0,1,2,8,10,17) = 2371383384084
per C_30(0,1,2,8,10,16) = 2606565703554
per C_30(0,1,2,8,10,18) = 2317201322120
per C_30(0,1,2,8,10,21) = 2432411098976
per C_30(0,1,2,8,10,19) = 2281622671748
per C_30(0,1,2,8,10,20) = 2569776553394
per C_30(0,1,2,8,10,22) = 2463620677754
per C_30(0,1,2,8,11,16) = 2123465923764
per C_30(0,1,2,8,11,12) = 2240776049060
per C_30(0,1,2,8,11,15) = 2033710111282
per C_30(0,1,2,8,11,13) = 2074887232130
per C_30(0,1,2,8,10,23) = 2508629252384
per C_30(0,1,2,8,11,17) = 2105520675872
per C_30(0,1,2,8,11,14) = 2053986036884
per C_30(0,1,2,8,11,23) = 2200558122362
per C_30(0,1,2,8,11,20) = 2338507198244
per C_30(0,1,2,8,11,18) = 2076440560100
per C_30(0,1,2,8,12,13) = 2230924231680
per C_30(0,1,2,8,11,21) = 2418076914592
per C_30(0,1,2,8,11,24) = 2168521599620
per C_30(0,1,2,8,12,14) = 2163287622466
per C_30(0,1,2,8,12,16) = 2223720208440
per C_30(0,1,2,8,12,15) = 2030130400260
per C_30(0,1,2,8,12,21) = 2195562623780
per C_30(0,1,2,8,12,17) = 1964279939700
per C_30(0,1,2,8,12,19) = 2333031880320
per C_30(0,1,2,8,12,18) = 2163410617946
per C_30(0,1,2,8,12,22) = 2229769379480
per C_30(0,1,2,8,12,20) = 2451719492786
per C_30(0,1,2,8,12,24) = 2260209752626
per C_30(0,1,2,8,12,23) = 2209236820980
per C_30(0,1,2,8,13,14) = 2349035747940
per C_30(0,1,2,8,13,16) = 2121823531508
per C_30(0,1,2,8,13,20) = 2382284449700
per C_30(0,1,2,8,13,23) = 2124236095490
per C_30(0,1,2,8,14,17) = 2205526748724
per C_30(0,1,2,8,13,18) = 2174762406080
per C_30(0,1,2,8,15,19) = 2187310396672
per C_30(0,1,2,8,13,22) = 2071147270068
per C_30(0,1,2,8,14,24) = 2464699901056
per C_30(0,1,2,8,14,15) = 2548471575300
per C_30(0,1,2,8,14,22) = 2342095569184
per C_30(0,1,2,8,14,20) = 2417485495714
per C_30(0,1,2,8,15,16) = 3302590633856
per C_30(0,1,2,8,14,21) = 2160195962180
per C_30(0,1,2,8,14,16) = 2577424367874
per C_30(0,1,2,8,14,23) = 2415471409764
per C_30(0,1,2,8,15,18) = 2214309862560
per C_30(0,1,2,8,15,23) = 3142787540562
per C_30(0,1,2,8,15,21) = 2216380404970
per C_30(0,1,2,8,16,17) = 2987812643444
per C_30(0,1,2,8,16,18) = 2429094474280
per C_30(0,1,2,8,16,21) = 2138914779936
per C_30(0,1,2,8,17,19) = 2199111313970
per C_30(0,1,2,8,16,22) = 2764583546514
per C_30(0,1,2,8,16,24) = 3798618152520
per C_30(0,1,2,8,16,20) = 2209304262144
per C_30(0,1,2,8,17,18) = 2285789523860
per C_30(0,1,2,8,17,20) = 2026407022944
per C_30(0,1,2,8,17,21) = 2101077292082
per C_30(0,1,2,8,17,23) = 2699126040402
per C_30(0,1,2,8,18,20) = 2310484395986
per C_30(0,1,2,8,17,22) = 2233383301764
per C_30(0,1,2,8,18,22) = 2161756782680
per C_30(0,1,2,8,20,21) = 2401580600420
per C_30(0,1,2,8,22,23) = 2805849667104
per C_30(0,1,2,8,18,23) = 2144986492820
per C_30(0,1,2,8,19,20) = 2697480240260
per C_30(0,1,2,8,18,21) = 2075487530420
per C_30(0,1,2,8,21,22) = 2337168659696
per C_30(0,1,2,8,20,23) = 2189885843204
per C_30(0,1,2,8,20,22) = 2297724971594
per C_30(0,1,2,8,21,23) = 2347405534442
per C_30(0,1,2,9,10,11) = 3256783256080
per C_30(0,1,2,9,10,12) = 2547696941604
per C_30(0,1,2,9,10,14) = 2219272620816
per C_30(0,1,2,9,10,13) = 2236869859322
per C_30(0,1,2,9,10,18) = 2678898722144
per C_30(0,1,2,9,10,15) = 2287894828162
per C_30(0,1,2,9,10,19) = 2670704860762
per C_30(0,1,2,9,10,17) = 2707442207120
per C_30(0,1,2,9,10,20) = 2997797969456
per C_30(0,1,2,9,10,21) = 2960024562802
per C_30(0,1,2,9,10,22) = 2837507923284
per C_30(0,1,2,9,11,12) = 2601241877602
per C_30(0,1,2,9,11,13) = 2346887555216
per C_30(0,1,2,9,10,23) = 2826424041680
per C_30(0,1,2,9,11,17) = 2226694102644
per C_30(0,1,2,9,11,14) = 2074615072562
per C_30(0,1,2,9,11,18) = 2321912125202
per C_30(0,1,2,9,11,15) = 2111502135924
per C_30(0,1,2,9,11,19) = 2502938803776
per C_30(0,1,2,9,11,20) = 2959962182002
per C_30(0,1,2,9,11,21) = 2997698632544
per C_30(0,1,2,9,11,22) = 2686718058640
per C_30(0,1,2,9,12,14) = 2069531968580
per C_30(0,1,2,9,12,17) = 2031116736002
per C_30(0,1,2,9,12,15) = 2020944560032
per C_30(0,1,2,9,12,13) = 2234834458010
per C_30(0,1,2,9,12,18) = 2071106217684
per C_30(0,1,2,9,11,23) = 2467987414964
per C_30(0,1,2,9,12,19) = 2287872511810
per C_30(0,1,2,9,12,21) = 2587793605762
per C_30(0,1,2,9,12,22) = 2381586658964
per C_30(0,1,2,9,13,14) = 2209284498392
per C_30(0,1,2,9,13,15) = 2119255456020
per C_30(0,1,2,9,13,21) = 2280006140420
per C_30(0,1,2,9,13,18) = 2157199808570
per C_30(0,1,2,9,13,20) = 2321324667512
per C_30(0,1,2,9,13,19) = 2172487935300
per C_30(0,1,2,9,13,22) = 2332113258122
per C_30(0,1,2,9,14,17) = 2212753726752
per C_30(0,1,2,9,13,23) = 2164480147536
per C_30(0,1,2,9,14,15) = 2289403432050
per C_30(0,1,2,9,14,19) = 2150322378392
per C_30(0,1,2,9,14,22) = 2327621075456
per C_30(0,1,2,9,14,21) = 2148414805850
per C_30(0,1,2,9,14,23) = 2450040029312
per C_30(0,1,2,9,15,17) = 2635563104084
per C_30(0,1,2,9,15,21) = 2109057175584
per C_30(0,1,2,9,15,18) = 2205488871202
per C_30(0,1,2,9,15,23) = 2760344848884
per C_30(0,1,2,9,17,18) = 2541319566002
per C_30(0,1,2,9,15,22) = 2369358236482
per C_30(0,1,2,9,17,21) = 2102113596804
per C_30(0,1,2,9,17,19) = 2201722049456
per C_30(0,1,2,9,18,22) = 2336243504964
per C_30(0,1,2,9,17,22) = 2366819183120
per C_30(0,1,2,9,19,20) = 2671007105152
per C_30(0,1,2,9,18,19) = 2309476745330
per C_30(0,1,2,9,18,21) = 2217002412842
per C_30(0,1,2,9,19,22) = 2287876672042
per C_30(0,1,2,9,21,22) = 2670524404762
per C_30(0,1,2,9,19,21) = 2502833844900
per C_30(0,1,2,10,11,13) = 2601204138922
per C_30(0,1,2,9,20,21) = 2959845066730
per C_30(0,1,2,10,11,12) = 3651428950016
per C_30(0,1,2,10,11,18) = 2395157334416
per C_30(0,1,2,10,11,14) = 2240972525444
per C_30(0,1,2,10,11,15) = 2247821414800
per C_30(0,1,2,10,11,17) = 2268205740832
per C_30(0,1,2,10,11,16) = 2371199088404
per C_30(0,1,2,10,11,20) = 4246033723124
per C_30(0,1,2,10,11,22) = 3584150104064
per C_30(0,1,2,10,11,21) = 4705178305680
per C_30(0,1,2,10,12,13) = 2548175541588
per C_30(0,1,2,10,12,15) = 2112680592084
per C_30(0,1,2,10,12,14) = 2341557482360
per C_30(0,1,2,10,12,16) = 2207032448224
per C_30(0,1,2,10,12,17) = 2107980018816
per C_30(0,1,2,10,12,18) = 2294552631914
per C_30(0,1,2,10,12,20) = 3214213111400
per C_30(0,1,2,10,12,19) = 2502849268548
per C_30(0,1,2,10,13,15) = 2124367044722
per C_30(0,1,2,10,13,14) = 2225842506228
per C_30(0,1,2,10,13,19) = 2277307916498
per C_30(0,1,2,10,12,22) = 3214213111394
per C_30(0,1,2,10,13,18) = 2146160288468
per C_30(0,1,2,10,13,20) = 2381589685088
per C_30(0,1,2,10,13,16) = 2108051591844
per C_30(0,1,2,10,14,15) = 2284771265856
per C_30(0,1,2,10,13,22) = 2578974481044
per C_30(0,1,2,10,14,16) = 2308017664674
per C_30(0,1,2,10,14,19) = 2172806484948
per C_30(0,1,2,10,14,22) = 2463204917714
per C_30(0,1,2,10,14,17) = 2121064270884
per C_30(0,1,2,10,14,20) = 2229549270914
per C_30(0,1,2,10,14,21) = 2192245630496
per C_30(0,1,2,10,15,17) = 2421449193040
per C_30(0,1,2,10,15,16) = 2651450319044
per C_30(0,1,2,10,15,18) = 2192109253124
per C_30(0,1,2,10,15,20) = 2258564840336
per C_30(0,1,2,10,15,22) = 2205559198884
per C_30(0,1,2,10,16,17) = 2734755883904
per C_30(0,1,2,10,16,18) = 2394710080434
per C_30(0,1,2,10,16,19) = 2107392687924
per C_30(0,1,2,10,16,20) = 2258731747754
per C_30(0,1,2,10,16,22) = 2454138831904
per C_30(0,1,2,10,17,18) = 2385937339536
per C_30(0,1,2,10,17,19) = 2196215546432
per C_30(0,1,2,10,17,20) = 2164786449284
per C_30(0,1,2,10,17,21) = 2198862119680
per C_30(0,1,2,10,19,20) = 2997617485268
per C_30(0,1,2,10,20,21) = 4246033723136
per C_30(0,1,2,10,18,20) = 2569898597480
per C_30(0,1,2,10,18,19) = 2449088809988
per C_30(0,1,2,11,12,20) = 3584150497280
per C_30(0,1,2,11,12,13) = 3256037518792
per C_30(0,1,2,11,12,16) = 2372116712576
per C_30(0,1,2,11,12,14) = 2502684937460
per C_30(0,1,2,11,12,15) = 2267388883552
per C_30(0,1,2,11,12,17) = 2253551125930
per C_30(0,1,2,11,12,18) = 2329655860100
per C_30(0,1,2,11,13,16) = 2208636150082
per C_30(0,1,2,11,13,20) = 2685925900570
per C_30(0,1,2,11,12,21) = 4705180257042
per C_30(0,1,2,11,13,14) = 2475186829760
per C_30(0,1,2,11,13,15) = 2398359233136
per C_30(0,1,2,11,13,18) = 2257990587512
per C_30(0,1,2,11,14,15) = 2346177468962
per C_30(0,1,2,11,14,16) = 2319551756964
per C_30(0,1,2,11,14,17) = 2226355453522
per C_30(0,1,2,11,14,21) = 2420464374082
per C_30(0,1,2,11,14,20) = 2269511702324
per C_30(0,1,2,11,15,16) = 2684104476240
per C_30(0,1,2,11,15,17) = 2440802461824
per C_30(0,1,2,11,15,18) = 2136640665472
per C_30(0,1,2,11,15,20) = 2216485021792
per C_30(0,1,2,11,15,21) = 2415719174324
per C_30(0,1,2,11,16,17) = 2655899758962
per C_30(0,1,2,11,16,18) = 2289631499136
per C_30(0,1,2,11,16,20) = 2327765878004
per C_30(0,1,2,11,16,21) = 2865025705360
per C_30(0,1,2,12,13,14) = 3075077648000
per C_30(0,1,2,11,17,18) = 2267210142890
per C_30(0,1,2,11,17,20) = 2206559844832
per C_30(0,1,2,11,18,20) = 2434323429860
per C_30(0,1,2,12,13,19) = 2841701288786
per C_30(0,1,2,12,13,16) = 2411453706528
per C_30(0,1,2,12,13,15) = 2594456439770
per C_30(0,1,2,12,13,18) = 2561917868340
per C_30(0,1,2,12,14,15) = 2731596212640
per C_30(0,1,2,12,13,20) = 2838828975360
per C_30(0,1,2,12,14,16) = 2745157983960
per C_30(0,1,2,12,14,17) = 2396578998980
per C_30(0,1,2,12,14,19) = 2397725815040
per C_30(0,1,2,12,15,18) = 2361288610404
per C_30(0,1,2,12,15,16) = 2848000379264
per C_30(0,1,2,12,15,17) = 2546256093682
per C_30(0,1,2,12,16,17) = 2729405633216
per C_30(0,1,2,12,16,19) = 2240299719828
per C_30(0,1,2,12,16,18) = 2475259762434
per C_30(0,1,2,12,16,20) = 2449798330240
per C_30(0,1,2,12,17,18) = 2402245086660
per C_30(0,1,2,12,17,19) = 2312244407672
per C_30(0,1,2,12,18,19) = 2561728959060
per C_30(0,1,2,13,14,15) = 3672227593352
per C_30(0,1,2,13,14,16) = 3107980229508
per C_30(0,1,2,13,15,16) = 3708059526882
per C_30(0,1,2,13,14,19) = 2850647338016
per C_30(0,1,2,13,16,18) = 2727702235808
per C_30(0,1,2,13,15,18) = 2642863190850
per C_30(0,1,2,13,16,19) = 2520137396938
per C_30(0,1,2,14,15,16) = 6402599899136
per C_30(0,1,2,14,15,17) = 4080125930082
per C_30(0,1,3,4,6,11) = 2391067290272
per C_30(0,1,3,4,6,8) = 3024122085524
per C_30(0,1,3,4,6,7) = 3517903781378
per C_30(0,1,2,14,16,17) = 4506577128644
per C_30(0,1,3,4,6,10) = 2572434302580
per C_30(0,1,2,15,16,17) = 9865092464640
per C_30(0,1,3,4,6,9) = 2865436147272
per C_30(0,1,3,4,6,13) = 2228823803978
per C_30(0,1,3,4,6,16) = 2279932361220
per C_30(0,1,3,4,6,12) = 2338285394160
per C_30(0,1,3,4,6,15) = 2253678636552
per C_30(0,1,3,4,6,14) = 2223052330964
per C_30(0,1,3,4,6,19) = 2292464453538
per C_30(0,1,3,4,6,18) = 2394490635920
per C_30(0,1,3,4,6,22) = 2222265136980
per C_30(0,1,3,4,6,20) = 2306037636324
per C_30(0,1,3,4,6,23) = 2242996117442
per C_30(0,1,3,4,6,21) = 2248924679912
per C_30(0,1,3,4,6,24) = 2359905626960
per C_30(0,1,3,4,6,26) = 2620553794464
per C_30(0,1,3,4,6,25) = 2533995887058
per C_30(0,1,3,4,6,27) = 2944441429352
per C_30(0,1,3,4,6,28) = 3440508845060
per C_30(0,1,3,4,7,11) = 2559321276324
per C_30(0,1,3,4,7,8) = 2994704615282
per C_30(0,1,3,4,7,10) = 2724067850312
per C_30(0,1,3,4,7,9) = 2607579920160
per C_30(0,1,3,4,7,12) = 2245477789018
per C_30(0,1,3,4,7,13) = 2304794384880
per C_30(0,1,3,4,7,22) = 2254977214312
per C_30(0,1,3,4,7,15) = 2266168204980
per C_30(0,1,3,4,7,18) = 2260520238578
per C_30(0,1,3,4,7,16) = 2238883391912
per C_30(0,1,3,4,7,19) = 2345178295680
per C_30(0,1,3,4,7,21) = 2212832841540
per C_30(0,1,3,4,7,24) = 2476968278528
per C_30(0,1,3,4,7,25) = 2376669471120
per C_30(0,1,3,4,7,26) = 2633317275362
per C_30(0,1,3,4,8,9) = 2503631931762
per C_30(0,1,3,4,7,27) = 3155514878180
per C_30(0,1,3,4,8,10) = 2317079949284
per C_30(0,1,3,4,8,12) = 2340975884964
per C_30(0,1,3,4,8,11) = 2421556593680
per C_30(0,1,3,4,8,13) = 2160863124512
per C_30(0,1,3,4,8,14) = 2079951046656
per C_30(0,1,3,4,8,18) = 2113223616564
per C_30(0,1,3,4,8,16) = 2190081180884
per C_30(0,1,3,4,8,20) = 2071894986896
per C_30(0,1,3,4,8,22) = 2175279256164
per C_30(0,1,3,4,8,25) = 2307233294082
per C_30(0,1,3,4,8,26) = 2642757610496
per C_30(0,1,3,4,8,23) = 2328606314960
per C_30(0,1,3,4,9,11) = 2175708602724
per C_30(0,1,3,4,9,10) = 2296828743578
per C_30(0,1,3,4,9,12) = 2258070076232
per C_30(0,1,3,4,9,13) = 2157778429700
per C_30(0,1,3,4,9,15) = 2090591553680
per C_30(0,1,3,4,9,14) = 2061430621802
per C_30(0,1,3,4,9,18) = 2097864543912
per C_30(0,1,3,4,9,16) = 2031436058688
per C_30(0,1,3,4,9,24) = 2201955767912
per C_30(0,1,3,4,9,21) = 2143689377040
per C_30(0,1,3,4,9,23) = 2076891315284
per C_30(0,1,3,4,9,19) = 2029158280260
per C_30(0,1,3,4,9,22) = 2149084112288
per C_30(0,1,3,4,9,25) = 2369124149540
per C_30(0,1,3,4,10,11) = 2271803396642
per C_30(0,1,3,4,10,14) = 2164299682564
per C_30(0,1,3,4,10,13) = 2253049883432
per C_30(0,1,3,4,10,15) = 2028408196058
per C_30(0,1,3,4,10,12) = 2163043362720
per C_30(0,1,3,4,10,16) = 2095221404400
per C_30(0,1,3,4,10,18) = 2029086164960
per C_30(0,1,3,4,10,19) = 2088164903912
per C_30(0,1,3,4,10,20) = 2219680809764
per C_30(0,1,3,4,10,21) = 2153269421738
per C_30(0,1,3,4,10,24) = 2354965431220
per C_30(0,1,3,4,10,22) = 2151558830160
per C_30(0,1,3,4,10,23) = 2159664878522
per C_30(0,1,3,4,11,12) = 2293218280802
per C_30(0,1,3,4,11,13) = 2162718529684
per C_30(0,1,3,4,11,14) = 2249598375440
per C_30(0,1,3,4,11,15) = 2239414822244
per C_30(0,1,3,4,11,20) = 2148507758720
per C_30(0,1,3,4,11,16) = 2037011900882
per C_30(0,1,3,4,11,21) = 2218901684384
per C_30(0,1,3,4,11,23) = 2370234782656
per C_30(0,1,3,4,12,14) = 2157081532404
per C_30(0,1,3,4,12,18) = 2108672153040
per C_30(0,1,3,4,12,15) = 2319133884032
per C_30(0,1,3,4,12,13) = 2280609050858
per C_30(0,1,3,4,12,16) = 2203234111620
per C_30(0,1,3,4,12,22) = 2395658433620
per C_30(0,1,3,4,13,14) = 2272718381642
per C_30(0,1,3,4,12,19) = 2203124019938
per C_30(0,1,3,4,12,21) = 2322690807272
per C_30(0,1,3,4,13,16) = 2359748841992
per C_30(0,1,3,4,13,19) = 2117796043760
per C_30(0,1,3,4,13,18) = 2212883850218
per C_30(0,1,3,4,13,15) = 2225270500980
per C_30(0,1,3,4,13,20) = 2158775015042
per C_30(0,1,3,4,14,15) = 2391239688992
per C_30(0,1,3,4,14,16) = 2428181227364
per C_30(0,1,3,4,14,19) = 2226517326482
per C_30(0,1,3,4,14,20) = 2363688781696
per C_30(0,1,3,4,15,16) = 2770264761618
per C_30(0,1,3,4,15,19) = 2783956669460
per C_30(0,1,3,5,6,8) = 3083966398752
per C_30(0,1,3,4,15,18) = 2736178499592
per C_30(0,1,3,4,16,18) = 3048981783620
per C_30(0,1,3,5,6,9) = 2787496976324
per C_30(0,1,3,5,6,11) = 2488017819828
per C_30(0,1,3,5,6,10) = 2559955395202
per C_30(0,1,3,5,6,12) = 2305612619538
per C_30(0,1,3,5,6,13) = 2190773914368
per C_30(0,1,3,5,6,14) = 2179265722722
per C_30(0,1,3,5,6,15) = 2204828361504
per C_30(0,1,3,5,6,17) = 2267629654388
per C_30(0,1,3,5,6,16) = 2208829772962
per C_30(0,1,3,5,7,8) = 2869272913856
per C_30(0,1,3,5,7,10) = 2556619366644
per C_30(0,1,3,5,7,11) = 2472422619880
per C_30(0,1,3,5,7,9) = 2872019438514
per C_30(0,1,3,5,7,12) = 2355343920068
per C_30(0,1,3,5,7,15) = 2176516541794
per C_30(0,1,3,5,7,13) = 2255521905114
per C_30(0,1,3,5,7,16) = 2174962896404
per C_30(0,1,3,5,7,22) = 2199353851424
per C_30(0,1,3,5,7,17) = 2226925056360
per C_30(0,1,3,5,7,21) = 2236475315914
per C_30(0,1,3,5,7,19) = 2335169429034
per C_30(0,1,3,5,7,24) = 2327012050308
per C_30(0,1,3,5,7,25) = 2370384943954
per C_30(0,1,3,5,7,26) = 2546952738176
per C_30(0,1,3,5,7,27) = 2661540295914
per C_30(0,1,3,5,8,9) = 2492147116964
per C_30(0,1,3,5,7,28) = 2838054947924
per C_30(0,1,3,5,8,10) = 2566781066640
per C_30(0,1,3,5,8,11) = 2356868323904
per C_30(0,1,3,5,8,13) = 2329348524656
per C_30(0,1,3,5,8,12) = 2272144207962
per C_30(0,1,3,5,8,16) = 2178474735360
per C_30(0,1,3,5,8,14) = 2087964885402
per C_30(0,1,3,5,8,17) = 2150831492084
per C_30(0,1,3,5,8,20) = 2128612324962
per C_30(0,1,3,5,8,21) = 2077804484864
per C_30(0,1,3,5,8,23) = 2334202877024
per C_30(0,1,3,5,8,22) = 2155417386960
per C_30(0,1,3,5,8,25) = 2351076941696
per C_30(0,1,3,5,8,26) = 2438394222432
per C_30(0,1,3,5,8,27) = 2494313471444
per C_30(0,1,3,5,8,28) = 2864695936080
per C_30(0,1,3,5,9,11) = 2345049412434
per C_30(0,1,3,5,9,10) = 2302588164384
per C_30(0,1,3,5,9,12) = 2159308197444
per C_30(0,1,3,5,9,16) = 2036904884564
per C_30(0,1,3,5,9,15) = 2118848048794
per C_30(0,1,3,5,9,19) = 2092256668674
per C_30(0,1,3,5,9,17) = 2170942157634
per C_30(0,1,3,5,9,24) = 2197821101024
per C_30(0,1,3,5,9,21) = 2154308984754
per C_30(0,1,3,5,9,23) = 2101667992114
per C_30(0,1,3,5,9,25) = 2273772768064
per C_30(0,1,3,5,9,26) = 2331623687924
per C_30(0,1,3,5,9,27) = 2481253360434
per C_30(0,1,3,5,9,28) = 2380136561444
per C_30(0,1,3,5,10,14) = 2154117261680
per C_30(0,1,3,5,10,11) = 2156476952656
per C_30(0,1,3,5,10,12) = 2322182484842
per C_30(0,1,3,5,10,13) = 2159847927044
per C_30(0,1,3,5,10,15) = 2244890137764
per C_30(0,1,3,5,10,16) = 2023207671202
per C_30(0,1,3,5,10,19) = 2180494155204
per C_30(0,1,3,5,10,20) = 2240977933840
per C_30(0,1,3,5,10,21) = 2148123985684
per C_30(0,1,3,5,10,23) = 2157046749776
per C_30(0,1,3,5,10,22) = 2063631234242
per C_30(0,1,3,5,10,25) = 2261862128544
per C_30(0,1,3,5,10,28) = 2550273990162
per C_30(0,1,3,5,11,12) = 2066924212308
per C_30(0,1,3,5,11,13) = 2211259457280
per C_30(0,1,3,5,11,16) = 2095626667296
per C_30(0,1,3,5,11,20) = 2095080142804
per C_30(0,1,3,5,11,15) = 2117893755794
per C_30(0,1,3,5,11,17) = 2088257839114
per C_30(0,1,3,5,11,21) = 2137274413154
per C_30(0,1,3,5,11,26) = 2111875429344
per C_30(0,1,3,5,11,23) = 2175624170784
per C_30(0,1,3,5,11,24) = 2061090593108
per C_30(0,1,3,5,11,25) = 2265794628200
per C_30(0,1,3,5,11,27) = 2290744247074
per C_30(0,1,3,5,12,13) = 2060338261508
per C_30(0,1,3,5,11,28) = 2233238894336
per C_30(0,1,3,5,12,14) = 2215458230402
per C_30(0,1,3,5,12,17) = 2162835756548
per C_30(0,1,3,5,12,15) = 2106756054404
per C_30(0,1,3,5,12,21) = 2232397723764
per C_30(0,1,3,5,12,16) = 2118863104992
per C_30(0,1,3,5,12,22) = 2082479035922
per C_30(0,1,3,5,12,24) = 2257609604858
per C_30(0,1,3,5,12,25) = 1994387913908
per C_30(0,1,3,5,12,27) = 2110965304544
per C_30(0,1,3,5,13,15) = 2283734242594
per C_30(0,1,3,5,13,14) = 2061505441056
per C_30(0,1,3,5,13,19) = 2090128552954
per C_30(0,1,3,5,13,21) = 2175685803744
per C_30(0,1,3,5,13,16) = 2119888275264
per C_30(0,1,3,5,13,20) = 2114720193296
per C_30(0,1,3,5,13,22) = 2151078724964
per C_30(0,1,3,5,13,23) = 2383656085160
per C_30(0,1,3,5,13,25) = 2259355606594
per C_30(0,1,3,5,13,28) = 2291247028064
per C_30(0,1,3,5,14,19) = 2302503736736
per C_30(0,1,3,5,13,27) = 2171610029994
per C_30(0,1,3,5,14,17) = 2322967161504
per C_30(0,1,3,5,14,15) = 2121190884324
per C_30(0,1,3,5,14,16) = 2387696168400
per C_30(0,1,3,5,14,21) = 2068971957764
per C_30(0,1,3,5,14,20) = 2121390621602
per C_30(0,1,3,5,14,23) = 1994538794964
per C_30(0,1,3,5,14,24) = 2072622636002
per C_30(0,1,3,5,14,26) = 2171515438242
per C_30(0,1,3,5,14,28) = 2299667623440
per C_30(0,1,3,5,15,16) = 2330804646804
per C_30(0,1,3,5,15,17) = 2552238126154
per C_30(0,1,3,5,15,20) = 2270668887684
per C_30(0,1,3,5,15,21) = 2209969414784
per C_30(0,1,3,5,15,19) = 2386863608554
per C_30(0,1,3,5,15,23) = 2221439789074
per C_30(0,1,3,5,15,22) = 1959281374004
per C_30(0,1,3,5,15,24) = 2027005365444
per C_30(0,1,3,5,15,25) = 2282012976434
per C_30(0,1,3,5,15,26) = 2101033262244
per C_30(0,1,3,5,15,28) = 2267852596964
per C_30(0,1,3,5,15,27) = 2204521728874
per C_30(0,1,3,5,16,17) = 2519943927536
per C_30(0,1,3,5,16,22) = 2127365056962
per C_30(0,1,3,5,16,19) = 2410868183684
per C_30(0,1,3,5,16,21) = 2106387608484
per C_30(0,1,3,5,16,25) = 2020304073204
per C_30(0,1,3,5,16,26) = 2099015180560
per C_30(0,1,3,5,16,28) = 2248746797472
per C_30(0,1,3,5,17,21) = 2334666056434
per C_30(0,1,3,5,17,19) = 2803127111880
per C_30(0,1,3,5,17,20) = 2257658533524
per C_30(0,1,3,5,17,25) = 2159384846440
per C_30(0,1,3,5,17,23) = 2084982900354
per C_30(0,1,3,5,17,26) = 2262266336804
per C_30(0,1,3,5,17,22) = 2151315789776
per C_30(0,1,3,5,17,28) = 2301698440016
per C_30(0,1,3,5,17,27) = 2171861273634
per C_30(0,1,3,5,19,20) = 2232829806336
per C_30(0,1,3,5,19,21) = 2425855424994
per C_30(0,1,3,5,19,23) = 2171331727480
per C_30(0,1,3,5,19,25) = 2158592988514
per C_30(0,1,3,5,19,27) = 2259582482634
per C_30(0,1,3,5,20,23) = 2118571110404
per C_30(0,1,3,5,20,21) = 2106599648404
per C_30(0,1,3,5,19,24) = 2162416024388
per C_30(0,1,3,5,20,24) = 2122527185402
per C_30(0,1,3,5,20,22) = 2273301246080
per C_30(0,1,3,5,20,25) = 2239719316656
per C_30(0,1,3,5,20,27) = 2107005152724
per C_30(0,1,3,5,20,26) = 2109611251282
per C_30(0,1,3,5,21,22) = 2061489458484
per C_30(0,1,3,5,20,28) = 2252803741200
per C_30(0,1,3,5,21,23) = 2215417449504
per C_30(0,1,3,5,21,24) = 2073405020324
per C_30(0,1,3,5,21,25) = 2162366278634
per C_30(0,1,3,5,21,26) = 2303632713444
per C_30(0,1,3,5,22,23) = 2062522666976
per C_30(0,1,3,5,21,27) = 2184232100914
per C_30(0,1,3,5,22,24) = 2214446714762
per C_30(0,1,3,5,22,25) = 2161277219924
per C_30(0,1,3,5,22,28) = 2241235010562
per C_30(0,1,3,5,23,24) = 2066665043508
per C_30(0,1,3,5,23,26) = 2263781407104
per C_30(0,1,3,5,23,25) = 2328395446360
per C_30(0,1,3,5,23,28) = 2570461459376
per C_30(0,1,3,5,23,27) = 2353089489834
per C_30(0,1,3,5,24,25) = 2170072197408
per C_30(0,1,3,5,24,26) = 2467334383722
per C_30(0,1,3,5,25,28) = 2777624132564
per C_30(0,1,3,5,24,28) = 2520621848562
per C_30(0,1,3,5,24,27) = 2355066200724
per C_30(0,1,3,5,25,27) = 2671189122394
per C_30(0,1,3,5,25,26) = 2371803975456
per C_30(0,1,3,5,26,27) = 2603351728724
per C_30(0,1,3,5,26,28) = 3199476111360
per C_30(0,1,3,6,7,9) = 2622753150528
per C_30(0,1,3,6,7,11) = 2301547094228
per C_30(0,1,3,6,7,12) = 2327765063232
per C_30(0,1,3,6,7,10) = 2507747718698
per C_30(0,1,3,6,7,13) = 2314670674836
per C_30(0,1,3,6,7,15) = 2111301962048
per C_30(0,1,3,6,7,25) = 2339968223156
per C_30(0,1,3,6,7,17) = 2142909717428
per C_30(0,1,3,6,7,16) = 2098976108258
per C_30(0,1,3,6,7,18) = 2188827435432
per C_30(0,1,3,6,7,19) = 2145201560916
per C_30(0,1,3,6,7,26) = 2414505719930
per C_30(0,1,3,6,7,24) = 2310437647592
per C_30(0,1,3,6,7,21) = 2105230212608
per C_30(0,1,3,6,7,22) = 2103851522898
per C_30(0,1,3,6,8,9) = 2667557914242
per C_30(0,1,3,6,7,28) = 2585698885458
per C_30(0,1,3,6,8,10) = 2377459472384
per C_30(0,1,3,6,7,27) = 2572456183808
per C_30(0,1,3,6,8,11) = 2540400556602
per C_30(0,1,3,6,8,13) = 2326889604570
per C_30(0,1,3,6,8,12) = 2192208007124
per C_30(0,1,3,6,8,14) = 2280433054340
per C_30(0,1,3,6,8,23) = 2327076682242
per C_30(0,1,3,6,8,18) = 2233644964724
per C_30(0,1,3,6,8,20) = 2077097073920
per C_30(0,1,3,6,8,21) = 2129248329282
per C_30(0,1,3,6,8,16) = 2201750423264
per C_30(0,1,3,6,8,25) = 2414548611840
per C_30(0,1,3,6,8,28) = 2820851969684
per C_30(0,1,3,6,8,27) = 2379921604002
per C_30(0,1,3,6,9,10) = 2336192592232
per C_30(0,1,3,6,8,26) = 2359226157140
per C_30(0,1,3,6,9,11) = 2476830669044
per C_30(0,1,3,6,9,12) = 2788880268562
per C_30(0,1,3,6,9,13) = 2136389461248
per C_30(0,1,3,6,9,15) = 2551297105184
per C_30(0,1,3,6,9,16) = 2145625149832
per C_30(0,1,3,6,9,18) = 2477064288282
per C_30(0,1,3,6,9,19) = 2136276024768
per C_30(0,1,3,6,9,21) = 2481642653924
per C_30(0,1,3,6,9,24) = 2560550701602
per C_30(0,1,3,6,9,22) = 2330550859912
per C_30(0,1,3,6,9,25) = 2540382853568
per C_30(0,1,3,6,9,23) = 2184737956404
per C_30(0,1,3,6,9,26) = 2212488139042
per C_30(0,1,3,6,9,27) = 2812499336244
per C_30(0,1,3,6,9,28) = 2702704267392
per C_30(0,1,3,6,10,12) = 2145528682800
per C_30(0,1,3,6,10,11) = 2154198544282
per C_30(0,1,3,6,10,15) = 2095013662792
per C_30(0,1,3,6,10,13) = 2216381682208
per C_30(0,1,3,6,10,19) = 1986813685858
per C_30(0,1,3,6,10,16) = 2101140170100
per C_30(0,1,3,6,10,18) = 2039046995840
per C_30(0,1,3,6,10,20) = 2135885833844
per C_30(0,1,3,6,10,21) = 2092155825352
per C_30(0,1,3,6,10,22) = 1986600700500
per C_30(0,1,3,6,10,28) = 2245320322880
per C_30(0,1,3,6,10,27) = 2314654625192
per C_30(0,1,3,6,11,12) = 2246596262458
per C_30(0,1,3,6,10,25) = 2103390378658
per C_30(0,1,3,6,11,13) = 2156399163348
per C_30(0,1,3,6,11,15) = 2023532624244
per C_30(0,1,3,6,11,16) = 2254178081362
per C_30(0,1,3,6,11,18) = 2117054358498
per C_30(0,1,3,6,11,21) = 2252708573924
per C_30(0,1,3,6,11,24) = 2070755310218
per C_30(0,1,3,6,12,13) = 2139980976232
per C_30(0,1,3,6,11,27) = 2226617206964
per C_30(0,1,3,6,12,16) = 2022676560560
per C_30(0,1,3,6,12,14) = 2156902674324
per C_30(0,1,3,6,12,15) = 2471854360362
per C_30(0,1,3,6,13,16) = 2262850025248
per C_30(0,1,3,6,12,19) = 2141173591912
per C_30(0,1,3,6,12,17) = 2243385220458
per C_30(0,1,3,6,12,18) = 2578889999072
per C_30(0,1,3,6,12,21) = 2482241275762
per C_30(0,1,3,6,12,25) = 2301906530472
per C_30(0,1,3,6,12,24) = 2638206399252
per C_30(0,1,3,6,12,22) = 2146462128960
per C_30(0,1,3,6,12,28) = 2305401217040
per C_30(0,1,3,6,12,27) = 2557871816082
per C_30(0,1,3,6,12,26) = 2066033715284
per C_30(0,1,3,6,13,14) = 2056150230410
per C_30(0,1,3,6,13,15) = 2103572840448
per C_30(0,1,3,6,13,18) = 2365642470312
per C_30(0,1,3,6,13,19) = 2141537590116
per C_30(0,1,3,6,13,23) = 2381794966868
per C_30(0,1,3,6,13,21) = 2118450608448
per C_30(0,1,3,6,13,27) = 2132012528448
per C_30(0,1,3,6,13,24) = 2138865597632
per C_30(0,1,3,6,13,25) = 2145234541056
per C_30(0,1,3,6,14,15) = 2109902571762
per C_30(0,1,3,6,13,28) = 2282978279538
per C_30(0,1,3,6,14,16) = 2209665155844
per C_30(0,1,3,6,14,19) = 2285723924250
per C_30(0,1,3,6,14,23) = 2062462791482
per C_30(0,1,3,6,14,20) = 2283161847300
per C_30(0,1,3,6,14,21) = 1963763993762
per C_30(0,1,3,6,15,20) = 2098011221152
per C_30(0,1,3,6,14,24) = 1999703553764
per C_30(0,1,3,6,15,16) = 2265543051592
per C_30(0,1,3,6,15,24) = 2484622222272
per C_30(0,1,3,6,14,26) = 1992448065120
per C_30(0,1,3,6,15,19) = 2116942090688
per C_30(0,1,3,6,15,17) = 2278221122324
per C_30(0,1,3,6,15,21) = 2493314563284
per C_30(0,1,3,6,15,18) = 2705292966432
per C_30(0,1,3,6,15,23) = 2025816268224
per C_30(0,1,3,6,15,22) = 2094364319592
per C_30(0,1,3,6,15,25) = 2103128411328
per C_30(0,1,3,6,15,26) = 2020330919602
per C_30(0,1,3,6,15,28) = 2229109414272
per C_30(0,1,3,6,15,27) = 2484634485764
per C_30(0,1,3,6,16,17) = 2395264797842
per C_30(0,1,3,6,16,24) = 2022219222960
per C_30(0,1,3,6,16,18) = 2438823404720
per C_30(0,1,3,6,16,21) = 2251094450632
per C_30(0,1,3,6,16,28) = 2254899544160
per C_30(0,1,3,6,16,26) = 2261829746324
per C_30(0,1,3,6,16,19) = 2271960358498
per C_30(0,1,3,6,16,22) = 2105046260420
per C_30(0,1,3,6,16,27) = 2146561958792
per C_30(0,1,3,6,17,18) = 2367872992578
per C_30(0,1,3,6,17,19) = 2493616830048
per C_30(0,1,3,6,17,21) = 2031185922644
per C_30(0,1,3,6,17,20) = 2544532423682
per C_30(0,1,3,6,17,22) = 2379816789282
per C_30(0,1,3,6,17,23) = 2160084764148
per C_30(0,1,3,6,17,27) = 2191085055044
per C_30(0,1,3,6,18,20) = 2249142468224
per C_30(0,1,3,6,18,19) = 2392763033352
per C_30(0,1,3,6,18,23) = 2233170841458
per C_30(0,1,3,6,18,21) = 2692293119202
per C_30(0,1,3,6,18,22) = 2038150640240
per C_30(0,1,3,6,18,25) = 2183239475712
per C_30(0,1,3,6,18,26) = 2104099706084
per C_30(0,1,3,6,18,24) = 2578745012132
per C_30(0,1,3,6,19,20) = 2249806308970
per C_30(0,1,3,6,18,28) = 2357733304400
per C_30(0,1,3,6,19,24) = 2141271760872
per C_30(0,1,3,6,19,28) = 2212698886818
per C_30(0,1,3,6,19,21) = 2108233757888
per C_30(0,1,3,6,20,22) = 2171949350244
per C_30(0,1,3,6,19,27) = 2134599981888
per C_30(0,1,3,6,20,21) = 2097802508512
per C_30(0,1,3,6,20,24) = 2000212125444
per C_30(0,1,3,6,20,25) = 2334228623650
per C_30(0,1,3,6,20,23) = 2221256974432
per C_30(0,1,3,6,20,26) = 2144480844660
per C_30(0,1,3,6,21,22) = 2091997188352
per C_30(0,1,3,6,20,27) = 2136211083242
per C_30(0,1,3,6,21,23) = 2119972561284
per C_30(0,1,3,6,21,24) = 2473228552202
per C_30(0,1,3,6,21,26) = 2249690392402
per C_30(0,1,3,6,21,27) = 2563197732404
per C_30(0,1,3,6,21,28) = 2257489073832
per C_30(0,1,3,6,22,24) = 2139951672240
per C_30(0,1,3,6,22,23) = 2061984921442
per C_30(0,1,3,6,22,26) = 2065047918644
per C_30(0,1,3,6,22,27) = 2312030815872
per C_30(0,1,3,6,22,28) = 2481190654580
per C_30(0,1,3,6,23,24) = 2145401420618
per C_30(0,1,3,6,24,27) = 2822205978722
per C_30(0,1,3,6,23,25) = 2249857294848
per C_30(0,1,3,6,23,26) = 2317712465242
per C_30(0,1,3,6,23,28) = 2547667484082
per C_30(0,1,3,6,24,26) = 2260365930324
per C_30(0,1,3,6,26,27) = 2524273920242
per C_30(0,1,3,6,24,28) = 2361238746560
per C_30(0,1,3,6,25,28) = 3109511685408
per C_30(0,1,3,7,8,11) = 2273957459456
per C_30(0,1,3,7,8,12) = 2163419004210
per C_30(0,1,3,7,8,10) = 2327453770802
per C_30(0,1,3,7,8,13) = 2166435611460
per C_30(0,1,3,7,8,18) = 2021031541850
per C_30(0,1,3,7,8,16) = 2139102105792
per C_30(0,1,3,7,8,21) = 1998029059220
per C_30(0,1,3,7,8,25) = 2253620039780
per C_30(0,1,3,7,8,26) = 2298060183912
per C_30(0,1,3,7,8,28) = 2310101346722
per C_30(0,1,3,7,9,10) = 2381216557220
per C_30(0,1,3,7,9,11) = 2334379442074
per C_30(0,1,3,7,9,12) = 2158394267328
per C_30(0,1,3,7,9,13) = 2218499605930
per C_30(0,1,3,7,9,15) = 2258032077480
per C_30(0,1,3,7,9,18) = 2110082532288
per C_30(0,1,3,7,9,17) = 2176482806794
per C_30(0,1,3,7,9,19) = 2082905878240
per C_30(0,1,3,7,9,22) = 2204083353300
per C_30(0,1,3,7,9,28) = 2289716656500
per C_30(0,1,3,7,9,21) = 2158216388680
per C_30(0,1,3,7,9,24) = 2329018169088
per C_30(0,1,3,7,9,25) = 2224092022530
per C_30(0,1,3,7,10,11) = 2252277774404
per C_30(0,1,3,7,9,26) = 2163792181860
per C_30(0,1,3,7,9,27) = 2330412992200
per C_30(0,1,3,7,10,13) = 2317645319360
per C_30(0,1,3,7,10,16) = 2190820825832
per C_30(0,1,3,7,10,12) = 2153221099858
per C_30(0,1,3,7,10,15) = 2027930022900
per C_30(0,1,3,7,10,18) = 2027870142578
per C_30(0,1,3,7,10,19) = 2138935478000
per C_30(0,1,3,7,10,21) = 2148706879460
per C_30(0,1,3,7,10,22) = 2094177193192
per C_30(0,1,3,7,10,25) = 2097621752640
per C_30(0,1,3,7,11,13) = 2168568356834
per C_30(0,1,3,7,11,12) = 2062420613028
per C_30(0,1,3,7,10,28) = 2272943738432
per C_30(0,1,3,7,10,27) = 2497126464500
per C_30(0,1,3,7,11,15) = 2208152257984
per C_30(0,1,3,7,11,17) = 2183943888680
per C_30(0,1,3,7,11,18) = 2120362177268
per C_30(0,1,3,7,11,21) = 2139738171914
per C_30(0,1,3,7,11,26) = 2280054436736
per C_30(0,1,3,7,12,15) = 2037982349888
per C_30(0,1,3,7,12,13) = 2073206826516
per C_30(0,1,3,7,11,27) = 2310973629914
per C_30(0,1,3,7,12,22) = 2028314744098
per C_30(0,1,3,7,12,16) = 2027259379098
per C_30(0,1,3,7,12,18) = 2108030669832
per C_30(0,1,3,7,12,19) = 2218467327156
per C_30(0,1,3,7,12,26) = 2153623342530
per C_30(0,1,3,7,12,17) = 1998286049588
per C_30(0,1,3,7,12,25) = 2074292516276
per C_30(0,1,3,7,12,27) = 2104221221888
per C_30(0,1,3,7,12,28) = 2163507149298
per C_30(0,1,3,7,13,15) = 2114377814850
per C_30(0,1,3,7,13,16) = 2099529999600
per C_30(0,1,3,7,13,21) = 2083976779010
per C_30(0,1,3,7,13,19) = 2339662093576
per C_30(0,1,3,7,13,18) = 2103663661956
per C_30(0,1,3,7,13,22) = 2038915155120
per C_30(0,1,3,7,13,24) = 2215319472036
per C_30(0,1,3,7,13,25) = 2339616359616
per C_30(0,1,3,7,13,27) = 2337647171330
per C_30(0,1,3,7,15,16) = 2212975674260
per C_30(0,1,3,7,13,28) = 2093721701760
per C_30(0,1,3,7,15,19) = 2276822066370
per C_30(0,1,3,7,15,18) = 2193493402688
per C_30(0,1,3,7,15,17) = 2194185237954
per C_30(0,1,3,7,15,24) = 2108543222208
per C_30(0,1,3,7,15,21) = 2124979137640
per C_30(0,1,3,7,15,25) = 2114678767090
per C_30(0,1,3,7,15,28) = 2029036322900
per C_30(0,1,3,7,15,27) = 2202192187080
per C_30(0,1,3,7,16,19) = 2109876801360
per C_30(0,1,3,7,16,17) = 2280856383524
per C_30(0,1,3,7,16,18) = 2212975674258
per C_30(0,1,3,7,17,21) = 2228984260394
per C_30(0,1,3,7,16,21) = 2026361763860
per C_30(0,1,3,7,16,26) = 2021035811522
per C_30(0,1,3,7,17,18) = 2139032173728
per C_30(0,1,3,7,16,27) = 2101835750420
per C_30(0,1,3,7,16,22) = 2193493402632
per C_30(0,1,3,7,17,19) = 2242887848314
per C_30(0,1,3,7,17,27) = 2573303159474
per C_30(0,1,3,7,18,21) = 2038900772288
per C_30(0,1,3,7,17,22) = 1958776983764
per C_30(0,1,3,7,18,19) = 2265700562676
per C_30(0,1,3,7,17,25) = 2085134819634
per C_30(0,1,3,7,17,28) = 2067995377284
per C_30(0,1,3,7,18,24) = 2238579063272
per C_30(0,1,3,7,18,25) = 2105811355316
per C_30(0,1,3,7,18,27) = 2102243721408
per C_30(0,1,3,7,18,28) = 2027866376138
per C_30(0,1,3,7,19,24) = 2074649256096
per C_30(0,1,3,7,19,25) = 2338281647016
per C_30(0,1,3,7,19,27) = 2153338338130
per C_30(0,1,3,7,21,22) = 2030523865140
per C_30(0,1,3,7,19,28) = 2150402478000
per C_30(0,1,3,7,21,25) = 2083861574890
per C_30(0,1,3,7,21,24) = 2152643237568
per C_30(0,1,3,7,21,27) = 2312997771200
per C_30(0,1,3,7,22,24) = 2204134019818
per C_30(0,1,3,7,21,26) = 2074177795220
per C_30(0,1,3,7,22,25) = 2096580245840
per C_30(0,1,3,7,24,26) = 2279848741490
per C_30(0,1,3,7,22,26) = 2276734045842
per C_30(0,1,3,7,22,28) = 2197331153832
per C_30(0,1,3,8,9,11) = 2280527228324
per C_30(0,1,3,7,24,28) = 2381711707298
per C_30(0,1,3,7,25,27) = 2363078021970
per C_30(0,1,3,7,24,27) = 2522057325248
per C_30(0,1,3,7,26,27) = 2452640186420
per C_30(0,1,3,7,25,26) = 2278416507140
per C_30(0,1,3,8,10,13) = 2272628690642
per C_30(0,1,3,8,10,12) = 2219057560964
per C_30(0,1,3,8,9,12) = 2152738267322
per C_30(0,1,3,8,9,14) = 2156760151890
per C_30(0,1,3,8,9,16) = 2345483739162
per C_30(0,1,3,8,9,18) = 2105675115602
per C_30(0,1,3,8,9,21) = 2146820722724
per C_30(0,1,3,8,9,25) = 2270162636420
per C_30(0,1,3,8,9,23) = 2312739170564
per C_30(0,1,3,8,10,18) = 2221992739524
per C_30(0,1,3,8,9,28) = 2256289516682
per C_30(0,1,3,8,10,11) = 2361629964800
per C_30(0,1,3,8,10,14) = 1996814582336
per C_30(0,1,3,8,10,16) = 2122098367424
per C_30(0,1,3,8,10,20) = 2222533627376
per C_30(0,1,3,8,10,21) = 2166584198912
per C_30(0,1,3,8,10,25) = 2203013601282
per C_30(0,1,3,8,10,23) = 2341905957200
per C_30(0,1,3,8,10,28) = 2409224111844
per C_30(0,1,3,8,11,18) = 2218996137632
per C_30(0,1,3,8,11,12) = 2159766195362
per C_30(0,1,3,8,11,13) = 2274139407696
per C_30(0,1,3,8,11,20) = 2166569262752
per C_30(0,1,3,8,12,26) = 2158216626020
per C_30(0,1,3,8,11,26) = 2213954593122
per C_30(0,1,3,8,11,21) = 2222581741124
per C_30(0,1,3,8,13,14) = 2060176497992
per C_30(0,1,3,8,11,23) = 2341410483444
per C_30(0,1,3,8,12,14) = 1995357904740
per C_30(0,1,3,8,11,28) = 2402474189840
per C_30(0,1,3,8,12,13) = 2057863646240
per C_30(0,1,3,8,12,18) = 1963603522964
per C_30(0,1,3,8,12,28) = 2077146610784
per C_30(0,1,3,8,13,23) = 2591543829296
per C_30(0,1,3,8,13,21) = 2277346200900
per C_30(0,1,3,8,13,20) = 2275636666232
per C_30(0,1,3,8,13,16) = 2225513197362
per C_30(0,1,3,8,13,28) = 2582438226722
per C_30(0,1,3,8,13,18) = 2580922311890
per C_30(0,1,3,8,13,25) = 2319211144580
per C_30(0,1,3,8,16,25) = 2247413363232
per C_30(0,1,3,8,14,21) = 1996050907970
per C_30(0,1,3,8,14,16) = 2203815040256
per C_30(0,1,3,8,14,20) = 2086574164340
per C_30(0,1,3,8,14,23) = 2049035772482
per C_30(0,1,3,8,16,26) = 2114336526176
per C_30(0,1,3,8,14,28) = 2155751830896
per C_30(0,1,3,8,14,26) = 2080843544420
per C_30(0,1,3,8,18,28) = 2590460636804
per C_30(0,1,3,8,16,18) = 2286680370164
per C_30(0,1,3,8,16,21) = 2129610986592
per C_30(0,1,3,8,18,20) = 2234466061920
per C_30(0,1,3,8,16,28) = 2214795717044
per C_30(0,1,3,8,18,21) = 2231213933762
per C_30(0,1,3,8,18,23) = 2589519520322
per C_30(0,1,3,8,18,26) = 2218722721760
per C_30(0,1,3,8,18,25) = 2220263776530
per C_30(0,1,3,8,20,21) = 2166508580960
per C_30(0,1,3,8,20,23) = 2230656120992
per C_30(0,1,3,8,20,25) = 2219619917112
per C_30(0,1,3,8,20,26) = 2084369407040
per C_30(0,1,3,8,21,23) = 2235285129204
per C_30(0,1,3,8,21,28) = 2273536036082
per C_30(0,1,3,8,21,26) = 2214745124970
per C_30(0,1,3,9,10,15) = 2109131547600
per C_30(0,1,3,8,25,26) = 2271009455232
per C_30(0,1,3,8,23,25) = 2349236486336
per C_30(0,1,3,9,10,12) = 2286724389032
per C_30(0,1,3,8,23,26) = 2353973490402
per C_30(0,1,3,9,10,21) = 2374647541040
per C_30(0,1,3,8,23,28) = 2834886995600
per C_30(0,1,3,9,10,14) = 1996141379042
per C_30(0,1,3,9,10,25) = 2212823571300
per C_30(0,1,3,9,10,16) = 2224961525938
per C_30(0,1,3,9,10,19) = 2238032861540
per C_30(0,1,3,9,10,23) = 2256574913204
per C_30(0,1,3,9,10,18) = 2248978737512
per C_30(0,1,3,9,10,22) = 2234558679698
per C_30(0,1,3,9,11,12) = 2403662111744
per C_30(0,1,3,9,10,28) = 2159697392138
per C_30(0,1,3,9,11,15) = 2119915580994
per C_30(0,1,3,9,11,21) = 2574198146114
per C_30(0,1,3,9,11,16) = 2032454636324
per C_30(0,1,3,9,11,18) = 2112913906964
per C_30(0,1,3,9,11,24) = 2203138041444
per C_30(0,1,3,9,11,27) = 2169622311424
per C_30(0,1,3,9,12,15) = 2471677111044
per C_30(0,1,3,9,12,16) = 2016108254152
per C_30(0,1,3,9,12,18) = 2472123508322
per C_30(0,1,3,9,12,26) = 1994620160512
per C_30(0,1,3,9,14,17) = 2345240014884
per C_30(0,1,3,9,12,21) = 2826096831284
per C_30(0,1,3,9,14,15) = 2105452216724
per C_30(0,1,3,9,15,24) = 2719402109204
per C_30(0,1,3,9,14,23) = 2072463769124
per C_30(0,1,3,9,14,19) = 2085682482900
per C_30(0,1,3,9,15,16) = 2297730410960
per C_30(0,1,3,9,14,24) = 2037170568242
per C_30(0,1,3,9,14,26) = 1998716449050
per C_30(0,1,3,9,14,28) = 2302421975202
per C_30(0,1,3,9,15,18) = 2500176095684
per C_30(0,1,3,9,15,19) = 2123042362920
per C_30(0,1,3,9,15,17) = 2383712679834
per C_30(0,1,3,9,15,25) = 2251410425800
per C_30(0,1,3,9,15,21) = 2595980385696
per C_30(0,1,3,9,15,23) = 2309227811554
per C_30(0,1,3,9,15,26) = 1963812256724
per C_30(0,1,3,9,16,19) = 2028529486560
per C_30(0,1,3,9,15,27) = 2594645939586
per C_30(0,1,3,9,16,17) = 2432711708484
per C_30(0,1,3,9,16,18) = 2253201248712
per C_30(0,1,3,9,16,25) = 2223942397460
per C_30(0,1,3,9,16,24) = 2520799934472
per C_30(0,1,3,9,16,26) = 2033302248562
per C_30(0,1,3,9,16,27) = 2018709146160
per C_30(0,1,3,9,17,18) = 2306900344404
per C_30(0,1,3,9,17,21) = 2162668783234
per C_30(0,1,3,9,17,19) = 2228673956674
per C_30(0,1,3,9,17,25) = 2769117727584
per C_30(0,1,3,9,17,22) = 2320022413044
per C_30(0,1,3,9,17,27) = 2152698760594
per C_30(0,1,3,9,17,23) = 2445050987584
per C_30(0,1,3,9,18,19) = 2111240369088
per C_30(0,1,3,9,18,21) = 2553845564084
per C_30(0,1,3,9,18,24) = 2696854115442
per C_30(0,1,3,9,18,26) = 2118286657602
per C_30(0,1,3,9,18,27) = 2480368813284
per C_30(0,1,3,9,18,28) = 2092145471552
per C_30(0,1,3,9,22,28) = 2367045800738
per C_30(0,1,3,9,19,24) = 2035876803648
per C_30(0,1,3,9,19,21) = 2338563895880
per C_30(0,1,3,9,19,23) = 2083986753314
per C_30(0,1,3,9,19,25) = 2225488756530
per C_30(0,1,3,9,19,27) = 2157817418440
per C_30(0,1,3,9,19,28) = 2152773319140
per C_30(0,1,3,9,22,24) = 2321474131712
per C_30(0,1,3,9,21,22) = 2338884044720
per C_30(0,1,3,9,21,23) = 2258810782034
per C_30(0,1,3,9,21,25) = 2156682699720
per C_30(0,1,3,9,21,24) = 2476616198244
per C_30(0,1,3,9,21,27) = 2656008321466
per C_30(0,1,3,9,22,23) = 2221770581124
per C_30(0,1,3,9,21,28) = 2144452007360
per C_30(0,1,3,9,23,24) = 2363257475204
per C_30(0,1,3,9,25,27) = 2318123495400
per C_30(0,1,3,10,11,13) = 2298987597824
per C_30(0,1,3,9,24,25) = 2367173928128
per C_30(0,1,3,9,23,26) = 2061921290964
per C_30(0,1,3,9,24,26) = 2213092774722
per C_30(0,1,3,9,24,27) = 2561565224004
per C_30(0,1,3,9,26,27) = 2176076811264
per C_30(0,1,3,10,12,13) = 2388536411458
per C_30(0,1,3,10,11,21) = 2860281189524
per C_30(0,1,3,10,11,23) = 2298111911936
per C_30(0,1,3,10,11,15) = 2029669810324
per C_30(0,1,3,10,11,20) = 2754376056720
per C_30(0,1,3,10,11,16) = 2029547769952
per C_30(0,1,3,10,11,18) = 2205157688672
per C_30(0,1,3,10,12,14) = 2216349371844
per C_30(0,1,3,10,11,27) = 2075430715124
per C_30(0,1,3,10,12,15) = 2184279609992
per C_30(0,1,3,10,12,21) = 2783576751112
per C_30(0,1,3,10,12,18) = 2099823762800
per C_30(0,1,3,10,12,27) = 2093687157352
per C_30(0,1,3,10,12,25) = 2029760065538
per C_30(0,1,3,10,12,22) = 2547892632660
per C_30(0,1,3,10,13,14) = 2158621403282
per C_30(0,1,3,10,12,28) = 2274040991540
per C_30(0,1,3,10,13,15) = 2198225019680
per C_30(0,1,3,10,13,16) = 2248939925632
per C_30(0,1,3,10,13,18) = 2217971979458
per C_30(0,1,3,10,13,19) = 2145435046640
per C_30(0,1,3,10,13,20) = 2598089557122
per C_30(0,1,3,10,13,22) = 2339450361472
per C_30(0,1,3,10,14,21) = 2157805717562
per C_30(0,1,3,10,13,21) = 2299030215680
per C_30(0,1,3,10,13,28) = 2333576344232
per C_30(0,1,3,10,13,25) = 2118288629840
per C_30(0,1,3,10,13,23) = 2583179375444
per C_30(0,1,3,10,15,16) = 2198135143618
per C_30(0,1,3,10,15,19) = 2106384233220
per C_30(0,1,3,10,14,20) = 2218758495056
per C_30(0,1,3,10,14,16) = 2122183383204
per C_30(0,1,3,10,15,18) = 2199102029832
per C_30(0,1,3,10,15,27) = 2035902162960
per C_30(0,1,3,10,15,21) = 2091831199600
per C_30(0,1,3,10,15,20) = 2187374676562
per C_30(0,1,3,10,15,25) = 2195699829540
per C_30(0,1,3,10,16,28) = 2104028272640
per C_30(0,1,3,10,15,23) = 2119562000084
per C_30(0,1,3,10,18,20) = 2257344410324
per C_30(0,1,3,10,16,27) = 2108002926368
per C_30(0,1,3,10,15,28) = 2199624553248
per C_30(0,1,3,10,16,18) = 2189064421760
per C_30(0,1,3,10,16,21) = 2026551875218
per C_30(0,1,3,10,18,21) = 2204861939072
per C_30(0,1,3,10,16,25) = 2199947101192
per C_30(0,1,3,10,18,25) = 2205756517458
per C_30(0,1,3,10,18,23) = 2220314466242
per C_30(0,1,3,10,18,28) = 2219935914180
per C_30(0,1,3,10,19,20) = 2420191391842
per C_30(0,1,3,10,19,27) = 1987080198560
per C_30(0,1,3,10,20,22) = 2381590092884
per C_30(0,1,3,10,20,21) = 2754377488962
per C_30(0,1,3,10,21,22) = 2601107252698
per C_30(0,1,3,10,21,23) = 2298102523904
per C_30(0,1,3,10,20,23) = 2598087980880
per C_30(0,1,3,10,21,25) = 2028916296340
per C_30(0,1,3,10,21,28) = 2360898663968
per C_30(0,1,3,10,20,25) = 2185272458752
per C_30(0,1,3,10,22,23) = 2287887934162
per C_30(0,1,3,10,23,25) = 2201344840964
per C_30(0,1,3,11,12,15) = 2209865930244
per C_30(0,1,3,11,12,18) = 2112671515898
per C_30(0,1,3,11,13,16) = 2212631275764
per C_30(0,1,3,11,12,21) = 3005282940404
per C_30(0,1,3,11,12,24) = 2180506834688
per C_30(0,1,3,11,13,23) = 2604118281080
per C_30(0,1,3,11,13,15) = 2270429792544
per C_30(0,1,3,11,12,27) = 2105248893924
per C_30(0,1,3,11,13,24) = 2161737974308
per C_30(0,1,3,11,13,18) = 2222377330848
per C_30(0,1,3,11,13,21) = 2665669563314
per C_30(0,1,3,11,13,27) = 2161144447994
per C_30(0,1,3,11,15,16) = 2233454200404
per C_30(0,1,3,11,15,18) = 2203220956544
per C_30(0,1,3,11,15,21) = 2166313926074
per C_30(0,1,3,11,15,24) = 1964133796004
per C_30(0,1,3,11,15,27) = 2231942096914
per C_30(0,1,3,11,16,18) = 2211827073042
per C_30(0,1,3,11,16,21) = 2194197575684
per C_30(0,1,3,11,16,26) = 2187618840400
per C_30(0,1,3,11,16,27) = 2117111971844
per C_30(0,1,3,11,16,24) = 2033435371562
per C_30(0,1,3,12,13,27) = 2117736349248
per C_30(0,1,3,12,13,18) = 2234534083112
per C_30(0,1,3,11,21,27) = 2199537119714
per C_30(0,1,3,11,18,21) = 2257488271124
per C_30(0,1,3,11,24,27) = 2129277682944
per C_30(0,1,3,11,18,24) = 2110946267498
per C_30(0,1,3,11,21,24) = 2220018540644
per C_30(0,1,3,12,13,21) = 2603734490688
per C_30(0,1,3,12,14,17) = 2452876634272
per C_30(0,1,3,12,13,24) = 2322301831592
per C_30(0,1,3,12,13,15) = 2373812902208
per C_30(0,1,3,12,13,25) = 2206200160436
per C_30(0,1,3,12,13,28) = 2212350111218
per C_30(0,1,3,12,14,15) = 2520017598722
per C_30(0,1,3,12,14,21) = 2347479931202
per C_30(0,1,3,12,14,24) = 2172285878244
per C_30(0,1,3,12,14,28) = 2498154384864
per C_30(0,1,3,12,15,17) = 2414239987364
per C_30(0,1,3,12,18,24) = 2578768272372
per C_30(0,1,3,12,18,25) = 2104685832072
per C_30(0,1,3,12,15,18) = 2719402109202
per C_30(0,1,3,12,15,21) = 2557088557764
per C_30(0,1,3,12,15,24) = 2551888539602
per C_30(0,1,3,12,15,25) = 2038580846528
per C_30(0,1,3,12,15,27) = 2696854115444
per C_30(0,1,3,12,15,28) = 2363194296072
per C_30(0,1,3,12,17,18) = 2226286028898
per C_30(0,1,3,12,17,25) = 2186238760388
per C_30(0,1,3,12,17,22) = 2160739518202
per C_30(0,1,3,12,18,27) = 2500176095682
per C_30(0,1,3,12,17,27) = 2025944924084
per C_30(0,1,3,12,17,28) = 2439176729802
per C_30(0,1,3,12,18,21) = 2563428707552
per C_30(0,1,3,12,18,28) = 2108213730800
per C_30(0,1,3,12,24,25) = 2139048499592
per C_30(0,1,3,12,24,27) = 2480759870842
per C_30(0,1,3,12,25,27) = 2105309551808
per C_30(0,1,3,12,21,22) = 2962745458432
per C_30(0,1,3,12,21,24) = 2800356811202
per C_30(0,1,3,12,21,27) = 2482286483364
per C_30(0,1,3,13,14,16) = 2643795381842
per C_30(0,1,3,13,14,19) = 2253734369300
per C_30(0,1,3,13,14,20) = 2266303050152
per C_30(0,1,3,13,14,21) = 2161840714180
per C_30(0,1,3,13,14,24) = 2152919834210
per C_30(0,1,3,13,15,18) = 2658175350848
per C_30(0,1,3,13,14,28) = 2396694985202
per C_30(0,1,3,13,15,19) = 2303125145650
per C_30(0,1,3,13,15,16) = 3026118168960
per C_30(0,1,3,13,15,20) = 2209380589460
per C_30(0,1,3,13,15,21) = 2251073318400
per C_30(0,1,3,13,18,20) = 2342041955690
per C_30(0,1,3,13,15,23) = 2417749799834
per C_30(0,1,3,13,15,25) = 2272201309120
per C_30(0,1,3,13,15,27) = 2412030147240
per C_30(0,1,3,13,16,19) = 2383024754160
per C_30(0,1,3,13,16,27) = 2288333696100
per C_30(0,1,3,13,16,21) = 2198247297120
per C_30(0,1,3,13,15,28) = 2672766989300
per C_30(0,1,3,13,16,18) = 2672766989298
per C_30(0,1,3,13,18,19) = 2277946566116
per C_30(0,1,3,13,16,28) = 2658175350792
per C_30(0,1,3,13,18,21) = 2339373235008
per C_30(0,1,3,13,16,25) = 2103529935360
per C_30(0,1,3,13,18,24) = 2105469242432
per C_30(0,1,3,13,18,23) = 2589004898228
per C_30(0,1,3,13,18,25) = 2285502264116
per C_30(0,1,3,13,18,27) = 2109160809408
per C_30(0,1,3,13,19,25) = 2339672857576
per C_30(0,1,3,13,19,20) = 2246753992820
per C_30(0,1,3,13,18,28) = 2859030474578
per C_30(0,1,3,13,19,23) = 2139779691584
per C_30(0,1,3,13,19,21) = 2228755834730
per C_30(0,1,3,13,19,24) = 2072280377156
per C_30(0,1,3,13,21,27) = 2156957532200
per C_30(0,1,3,13,20,21) = 2298076866560
per C_30(0,1,3,13,20,23) = 2583179375456
per C_30(0,1,3,13,20,25) = 2165649750020
per C_30(0,1,3,13,21,23) = 2604118281074
per C_30(0,1,3,13,21,24) = 2165075150848
per C_30(0,1,3,13,20,24) = 2152399272650
per C_30(0,1,3,13,21,25) = 2217853506720
per C_30(0,1,3,13,23,24) = 2218678674548
per C_30(0,1,3,13,24,25) = 2076206498676
per C_30(0,1,3,13,23,25) = 2383691402234
per C_30(0,1,3,13,23,27) = 2229712000544
per C_30(0,1,3,13,24,27) = 2136593032128
per C_30(0,1,3,13,25,27) = 2152680484290
per C_30(0,1,3,14,15,19) = 2390235884000
per C_30(0,1,3,14,15,17) = 3111694478004
per C_30(0,1,3,14,15,28) = 2730646411392
per C_30(0,1,3,14,15,21) = 2104948157924
per C_30(0,1,3,14,15,24) = 2103240891122
per C_30(0,1,3,14,15,20) = 2208610207130
per C_30(0,1,3,14,15,26) = 2241207698610
per C_30(0,1,3,14,16,19) = 2593261031442
per C_30(0,1,3,14,16,17) = 3672684623120
per C_30(0,1,3,14,16,28) = 2704141237364
per C_30(0,1,3,14,16,26) = 2138327387376
per C_30(0,1,3,14,16,24) = 2116170981344
per C_30(0,1,3,14,17,19) = 2720833133616
per C_30(0,1,3,14,17,20) = 2784837842912
per C_30(0,1,3,14,17,28) = 3086519880080
per C_30(0,1,3,14,19,20) = 2273611321112
per C_30(0,1,3,14,19,24) = 2075162540930
per C_30(0,1,3,14,19,21) = 2157937825380
per C_30(0,1,3,14,21,26) = 2081345520800
per C_30(0,1,3,14,21,24) = 2154215127362
per C_30(0,1,3,14,20,26) = 2083341694740
per C_30(0,1,3,14,24,26) = 1999740003140
per C_30(0,1,3,15,16,18) = 3286105423872
per C_30(0,1,3,15,17,19) = 2999701074114
per C_30(0,1,3,15,16,19) = 2770264761620
per C_30(0,1,3,15,17,20) = 2457312118884
per C_30(0,1,3,15,16,24) = 2297726862792
per C_30(0,1,3,15,17,18) = 3534553487204
per C_30(0,1,3,15,16,21) = 2265546599760
per C_30(0,1,3,15,16,25) = 2198135143620
per C_30(0,1,3,15,16,26) = 2233454200402
per C_30(0,1,3,15,16,28) = 3024797499168
per C_30(0,1,3,15,16,27) = 2520804676400
per C_30(0,1,3,15,17,23) = 2278838834784
per C_30(0,1,3,15,17,25) = 2268930264394
per C_30(0,1,3,15,17,27) = 2441704478034
per C_30(0,1,3,15,18,19) = 2736178499648
per C_30(0,1,3,15,18,20) = 2462319716322
per C_30(0,1,3,15,18,21) = 2705883476864
per C_30(0,1,3,15,19,20) = 2226512013780
per C_30(0,1,3,15,18,25) = 2199102029888
per C_30(0,1,3,15,18,26) = 2202666081312
per C_30(0,1,3,15,18,23) = 2274414733844
per C_30(0,1,3,15,19,24) = 2109030986048
per C_30(0,1,3,15,19,21) = 2258752175400
per C_30(0,1,3,15,21,24) = 2469604016864
per C_30(0,1,3,15,19,25) = 2115396191650
per C_30(0,1,3,15,19,23) = 2254495991794
per C_30(0,1,3,15,19,27) = 2367570587520
per C_30(0,1,3,15,20,21) = 2098378879264
per C_30(0,1,3,15,20,25) = 2185006653780
per C_30(0,1,3,15,20,27) = 2037132519684
per C_30(0,1,3,15,23,25) = 2260862129074
per C_30(0,1,3,15,20,26) = 2028752048530
per C_30(0,1,3,15,21,23) = 2208571917024
per C_30(0,1,3,15,23,24) = 2224762244484
per C_30(0,1,3,15,21,26) = 2020300246644
per C_30(0,1,3,15,25,26) = 2029993813380
per C_30(0,1,3,15,21,25) = 2124959022920
per C_30(0,1,3,15,21,27) = 2596176692626
per C_30(0,1,3,15,26,27) = 2207741875604
per C_30(0,1,3,15,23,27) = 2205950651904
per C_30(0,1,3,15,25,27) = 2204231065960
per C_30(0,1,3,15,24,26) = 2112860603442
per C_30(0,1,3,16,17,25) = 2364614125124
per C_30(0,1,3,16,17,27) = 2445153131924
per C_30(0,1,3,16,18,19) = 3048981783618
per C_30(0,1,3,16,18,24) = 2253204796880
per C_30(0,1,3,16,18,26) = 2211827073044
per C_30(0,1,3,16,18,21) = 2438818662792
per C_30(0,1,3,16,21,26) = 2181485219722
per C_30(0,1,3,16,18,25) = 2188497834528
per C_30(0,1,3,16,19,21) = 2211922628660
per C_30(0,1,3,16,21,24) = 2020257033032
per C_30(0,1,3,16,19,25) = 2103836390480
per C_30(0,1,3,16,21,25) = 2029682162580
per C_30(0,1,3,16,19,24) = 2031819178848
per C_30(0,1,3,16,24,25) = 2223971042298
per C_30(0,1,3,16,21,27) = 2022644208560
per C_30(0,1,3,16,25,27) = 2101299178400
per C_30(0,1,3,16,24,26) = 2032731395124
per C_30(0,1,3,16,24,27) = 2141147337992
per C_30(0,1,3,16,25,26) = 2032925930272
per C_30(0,1,3,17,19,23) = 2146282960120
per C_30(0,1,3,16,26,27) = 2112672367442
per C_30(0,1,3,17,18,23) = 2121425020548
per C_30(0,1,3,17,20,22) = 2266068211600
per C_30(0,1,3,17,19,20) = 2680161598016
per C_30(0,1,3,17,18,25) = 2203351689248
per C_30(0,1,3,17,19,25) = 2357056410834
per C_30(0,1,3,17,19,27) = 2227216561954
per C_30(0,1,3,17,20,23) = 2327841938804
per C_30(0,1,3,17,20,27) = 2395258107044
per C_30(0,1,3,17,20,25) = 2301978119376
per C_30(0,1,3,17,22,23) = 2063162860896
per C_30(0,1,3,17,23,25) = 2328329080440
per C_30(0,1,3,18,19,25) = 2106857356256
per C_30(0,1,3,18,20,21) = 2451316245152
per C_30(0,1,3,17,23,27) = 2297788894994
per C_30(0,1,3,17,25,27) = 2258271387234
per C_30(0,1,3,18,20,25) = 2103892181010
per C_30(0,1,3,18,19,23) = 2036940933908
per C_30(0,1,3,18,19,24) = 2109257253192
per C_30(0,1,3,18,20,26) = 2038384222400
per C_30(0,1,3,18,21,26) = 2104045566882
per C_30(0,1,3,18,24,26) = 2107944536804
per C_30(0,1,3,18,21,23) = 2232256440804
per C_30(0,1,3,18,21,24) = 2469546318962
per C_30(0,1,3,18,21,25) = 2038995749888
per C_30(0,1,3,18,23,24) = 2105773265738
per C_30(0,1,3,18,23,26) = 2222376718752
per C_30(0,1,3,18,23,25) = 2221758718628
per C_30(0,1,3,18,24,25) = 2246768161992
per C_30(0,1,3,19,20,25) = 2167237237140
per C_30(0,1,3,18,25,26) = 2183109506400
per C_30(0,1,3,19,20,23) = 2147841908096
per C_30(0,1,3,19,20,27) = 2065820583140
per C_30(0,1,3,19,21,23) = 2231253060794
per C_30(0,1,3,19,21,24) = 2146664426688
per C_30(0,1,3,20,26,27) = 2283856430810
per C_30(0,1,3,19,21,25) = 2082704582610
per C_30(0,1,3,20,21,27) = 2149960535684
per C_30(0,1,3,19,23,24) = 1997344040708
per C_30(0,1,3,19,23,25) = 2095818213154
per C_30(0,1,3,20,21,25) = 2062992377140
per C_30(0,1,3,19,25,27) = 2321465693760
per C_30(0,1,3,19,24,25) = 2204516232116
per C_30(0,1,3,20,21,26) = 2063202822370
per C_30(0,1,3,21,23,27) = 2276704898714
per C_30(0,1,3,20,23,25) = 2247488982656
per C_30(0,1,3,20,22,23) = 2388735768400
per C_30(0,1,3,20,25,26) = 2217733630792
per C_30(0,1,3,20,25,27) = 2165931834420
per C_30(0,1,3,21,23,25) = 2227552809984
per C_30(0,1,3,21,23,24) = 2353848915364
per C_30(0,1,3,21,23,26) = 2254950895044
per C_30(0,1,3,21,24,25) = 2162277157568
per C_30(0,1,3,21,24,26) = 2256794697842
per C_30(0,1,3,21,24,27) = 2791903045044
per C_30(0,1,3,21,26,27) = 2293932019604
per C_30(0,1,3,23,24,27) = 2502437969604
per C_30(0,1,3,21,25,26) = 2232128523540
per C_30(0,1,3,21,25,27) = 2346257513320
per C_30(0,1,4,5,8,20) = 2274930526244
per C_30(0,1,3,23,25,26) = 2440793748096
per C_30(0,1,3,23,25,27) = 2520035265834
per C_30(0,1,4,5,9,10) = 2786586764322
per C_30(0,1,3,23,26,27) = 2628238332324
per C_30(0,1,4,5,8,9) = 3067556386800
per C_30(0,1,4,5,8,10) = 2404246652324
per C_30(0,1,4,5,9,11) = 2242651281536
per C_30(0,1,3,24,26,27) = 2780722406912
per C_30(0,1,4,5,8,26) = 2681369139524
per C_30(0,1,4,5,9,15) = 2279709215204
per C_30(0,1,4,5,9,19) = 2255196106004
per C_30(0,1,4,5,10,11) = 2412456603290
per C_30(0,1,4,5,9,24) = 2252340970482
per C_30(0,1,4,5,9,25) = 2535678698324
per C_30(0,1,4,5,10,15) = 2581115871392
per C_30(0,1,4,5,10,16) = 2214141299684
per C_30(0,1,4,5,10,19) = 2214104139042
per C_30(0,1,4,5,10,20) = 2589096944864
per C_30(0,1,4,5,10,25) = 2833179697442
per C_30(0,1,4,5,11,16) = 2200795288050
per C_30(0,1,4,5,11,15) = 2343723076176
per C_30(0,1,4,5,11,24) = 2358747999872
per C_30(0,1,4,5,15,16) = 2596790129442
per C_30(0,1,4,5,15,19) = 2596790129444
per C_30(0,1,4,5,15,20) = 2848303238480
per C_30(0,1,4,5,16,19) = 2731378466592
per C_30(0,1,4,6,8,14) = 2180050408320
per C_30(0,1,4,6,8,18) = 2084347164954
per C_30(0,1,4,6,8,10) = 2481565503994
per C_30(0,1,4,6,8,16) = 2126987105194
per C_30(0,1,4,6,8,20) = 2094262167040
per C_30(0,1,4,6,8,26) = 2335753735480
per C_30(0,1,4,6,9,10) = 2404664741760
per C_30(0,1,4,6,9,14) = 2210250073764
per C_30(0,1,4,6,9,11) = 2238227514202
per C_30(0,1,4,6,9,15) = 2182641946752
per C_30(0,1,4,6,9,18) = 2145002417840
per C_30(0,1,4,6,9,19) = 2026117555498
per C_30(0,1,4,6,9,22) = 2157830060660
per C_30(0,1,4,6,9,24) = 2102835999600
per C_30(0,1,4,6,9,25) = 2271702670368
per C_30(0,1,4,6,9,27) = 2289972456072
per C_30(0,1,4,6,10,15) = 2219901865700
per C_30(0,1,4,6,10,11) = 2268016222100
per C_30(0,1,4,6,10,16) = 2262818671720
per C_30(0,1,4,6,10,20) = 2383671035234
per C_30(0,1,4,6,10,18) = 2085386260570
per C_30(0,1,4,6,10,25) = 2350126843328
per C_30(0,1,4,6,11,14) = 2065910908096
per C_30(0,1,4,6,10,22) = 2159756189760
per C_30(0,1,4,6,10,26) = 2318984929714
per C_30(0,1,4,6,11,15) = 2103981544242
per C_30(0,1,4,6,11,16) = 2177464885920
per C_30(0,1,4,6,11,24) = 2144117480980
per C_30(0,1,4,6,14,15) = 2038521553664
per C_30(0,1,4,6,11,26) = 2252334938256
per C_30(0,1,4,6,14,22) = 2150436364474
per C_30(0,1,4,6,14,19) = 2029201699488
per C_30(0,1,4,6,14,16) = 2127538835234
per C_30(0,1,4,6,14,20) = 2221474577280
per C_30(0,1,4,6,14,24) = 2137281797594
per C_30(0,1,4,6,14,26) = 2158251055640
per C_30(0,1,4,6,16,19) = 2199947101248
per C_30(0,1,4,6,15,16) = 2205756517460
per C_30(0,1,4,6,16,20) = 2272838068354
per C_30(0,1,4,6,15,18) = 2116832133200
per C_30(0,1,4,6,15,25) = 2217743987658
per C_30(0,1,4,6,15,27) = 2094758981352
per C_30(0,1,4,6,16,18) = 2288979318610
per C_30(0,1,4,6,16,26) = 2280680271104
per C_30(0,1,4,6,16,24) = 2114392960130
per C_30(0,1,4,6,16,22) = 2123032220800
per C_30(0,1,4,6,16,25) = 2117929174208
per C_30(0,1,4,6,16,27) = 2029324968980
per C_30(0,1,4,6,18,19) = 2292773152196
per C_30(0,1,4,6,18,24) = 2335906385736
per C_30(0,1,4,6,18,20) = 2241799610314
per C_30(0,1,4,6,19,20) = 2121539252928
per C_30(0,1,4,6,18,26) = 2161035365824
per C_30(0,1,4,6,19,24) = 2104451136276
per C_30(0,1,4,6,19,26) = 2020236066228
per C_30(0,1,4,6,20,22) = 2146586613594
per C_30(0,1,4,6,19,25) = 2229630243072
per C_30(0,1,4,6,20,24) = 2168947090944
per C_30(0,1,4,6,20,26) = 2266143550840
per C_30(0,1,4,6,20,25) = 2319406680548
per C_30(0,1,4,6,24,25) = 2223370546496
per C_30(0,1,4,6,22,26) = 2223431123554
per C_30(0,1,4,6,22,25) = 2145392580608
per C_30(0,1,4,6,24,26) = 2281552031474
per C_30(0,1,4,6,24,27) = 2317692117840
per C_30(0,1,4,6,25,26) = 2350153304228
per C_30(0,1,4,6,25,27) = 2402705536578
per C_30(0,1,4,7,8,18) = 2167376264388
per C_30(0,1,4,7,9,11) = 2175954690804
per C_30(0,1,4,7,9,18) = 1985587739488
per C_30(0,1,4,7,9,27) = 2220962686500
per C_30(0,1,4,7,9,24) = 2101154995138
per C_30(0,1,4,7,9,19) = 2038657814000
per C_30(0,1,4,7,10,11) = 2602206649282
per C_30(0,1,4,7,10,19) = 2481403934242
per C_30(0,1,4,7,10,20) = 2408385806084
per C_30(0,1,4,7,10,22) = 2478165377184
per C_30(0,1,4,7,10,25) = 2553065750882
per C_30(0,1,4,7,18,24) = 2355373305056
per C_30(0,1,4,7,18,19) = 2349613295872
per C_30(0,1,4,7,19,20) = 2207364964378
per C_30(0,1,4,7,19,25) = 2581758363812
per C_30(0,1,4,7,19,24) = 2184587948872
per C_30(0,1,4,7,20,22) = 1965014814324
per C_30(0,1,4,7,22,24) = 2099352005568
per C_30(0,1,4,7,20,25) = 2059679667818
per C_30(0,1,4,7,22,25) = 2475601805472
per C_30(0,1,4,7,22,27) = 2234257093672
per C_30(0,1,4,7,24,25) = 2294187140072
per C_30(0,1,4,8,10,18) = 2085417703754
per C_30(0,1,4,8,9,14) = 2152906742096
per C_30(0,1,4,7,24,27) = 3258505032418
per C_30(0,1,4,8,10,16) = 2118474207904
per C_30(0,1,4,8,10,20) = 2139735511034
per C_30(0,1,4,8,14,16) = 2128662118914
per C_30(0,1,4,8,16,26) = 2470552368514
per C_30(0,1,4,8,14,20) = 2186699264114
per C_30(0,1,4,8,14,26) = 2234638974114
per C_30(0,1,4,8,16,18) = 2214433110834
per C_30(0,1,4,8,16,20) = 2448251048194
per C_30(0,1,4,8,18,20) = 2168834825720
per C_30(0,1,4,9,10,19) = 2251467247432
per C_30(0,1,4,8,18,26) = 2427268422600
per C_30(0,1,4,9,10,25) = 2338323241032
per C_30(0,1,4,9,11,14) = 2059522882960
per C_30(0,1,4,9,11,24) = 2028774170482
per C_30(0,1,4,9,14,19) = 2185195791712
per C_30(0,1,4,9,14,25) = 2224609486722
per C_30(0,1,4,9,14,24) = 2194187243684
per C_30(0,1,4,9,19,25) = 2118049653680
per C_30(0,1,4,9,19,24) = 2195699829538
per C_30(0,1,4,9,24,25) = 2199517848768
per C_30(0,1,4,10,11,15) = 2233356919682
per C_30(0,1,4,10,16,19) = 2496976255104
per C_30(0,1,4,10,11,16) = 2118545897204
per C_30(0,1,4,10,11,26) = 2121669733664
per C_30(0,1,4,10,15,19) = 2276024444232
per C_30(0,1,4,10,15,16) = 2276027992400
per C_30(0,1,4,10,15,25) = 2590665464072
per C_30(0,1,4,10,16,18) = 2126853699400
per C_30(0,1,4,10,16,20) = 2417908004954
per C_30(0,1,4,10,16,22) = 2593215105186
per C_30(0,1,4,10,16,25) = 2713354053044
per C_30(0,1,4,11,14,24) = 2860281189536
per C_30(0,1,4,10,16,26) = 2221928259394
per C_30(0,1,4,10,19,25) = 2713354053042
per C_30(0,1,4,10,18,26) = 2241966196354
per C_30(0,1,4,10,19,20) = 2415851121524
per C_30(0,1,4,11,14,16) = 2105036232004
per C_30(0,1,4,10,20,22) = 2233203209474
per C_30(0,1,4,10,20,25) = 2593110082964
per C_30(0,1,4,10,22,25) = 2473260466164
per C_30(0,1,4,10,25,26) = 2317020938324
per C_30(0,1,4,10,22,26) = 2320143120114
per C_30(0,1,4,11,14,15) = 2446997469440
per C_30(0,1,4,11,15,16) = 2423573970642
per C_30(0,1,4,11,16,24) = 2032245015520
per C_30(0,1,4,14,19,25) = 2127347156658
per C_30(0,1,4,11,24,26) = 2091884263456
per C_30(0,1,4,11,16,26) = 2273629087764
per C_30(0,1,4,14,16,19) = 2283999760404
per C_30(0,1,4,14,16,20) = 2269645102944
per C_30(0,1,4,14,16,24) = 2166166230074
per C_30(0,1,4,14,16,25) = 2030176757504
per C_30(0,1,4,14,16,26) = 2219903488754
per C_30(0,1,4,14,19,24) = 2194193124128
per C_30(0,1,4,14,20,25) = 2276601138228
per C_30(0,1,4,14,19,20) = 2199517163748
per C_30(0,1,4,14,20,24) = 2665669563320
per C_30(0,1,4,14,19,26) = 2104518020868
per C_30(0,1,4,16,18,26) = 2215653061114
per C_30(0,1,4,14,24,25) = 2222515079348
per C_30(0,1,4,14,24,26) = 2137250194280
per C_30(0,1,4,15,16,19) = 2890960207872
per C_30(0,1,4,14,25,26) = 2079874661888
per C_30(0,1,4,18,19,24) = 2106738403556
per C_30(0,1,4,16,18,24) = 2117053569600
per C_30(0,1,4,16,24,25) = 2104022271488
per C_30(0,1,4,15,16,27) = 2783956669458
per C_30(0,1,4,16,20,25) = 2226666578084
per C_30(0,1,4,16,19,20) = 2732699136384
per C_30(0,1,4,16,22,26) = 2263304511394
per C_30(0,1,4,16,22,25) = 2472294224084
per C_30(0,1,4,16,20,22) = 2134749331314
per C_30(0,1,4,16,19,25) = 2495866278432
per C_30(0,1,4,16,24,26) = 2118912825344
per C_30(0,1,4,18,24,26) = 2084925841794
per C_30(0,1,4,16,25,26) = 2198449501124
per C_30(0,1,4,19,24,25) = 2248988473992
per C_30(0,1,4,18,19,26) = 2215287816788
per C_30(0,1,4,19,24,26) = 2100340731828
per C_30(0,1,4,19,20,25) = 2226943454178
per C_30(0,1,4,19,25,26) = 2186498926368
per C_30(0,1,4,20,22,25) = 2066167760964
per C_30(0,1,4,22,25,26) = 2617031162084
per C_30(0,1,5,6,11,13) = 2230130338560
per C_30(0,1,5,6,10,11) = 3145387011072
per C_30(0,1,5,6,10,13) = 2216181699610
per C_30(0,1,5,6,10,12) = 2325730228580
per C_30(0,1,5,6,10,15) = 2939253331872
per C_30(0,1,5,6,10,16) = 2686862199620
per C_30(0,1,5,6,10,20) = 2797477168256
per C_30(0,1,5,6,10,21) = 2686851997122
per C_30(0,1,5,6,10,25) = 2939351104800
per C_30(0,1,5,6,10,26) = 3145150616576
per C_30(0,1,5,6,11,15) = 2686853274308
per C_30(0,1,5,6,11,12) = 2842123043706
per C_30(0,1,5,6,11,20) = 2686857965250
per C_30(0,1,5,6,11,24) = 2619038612946
per C_30(0,1,5,6,11,23) = 2346201317700
per C_30(0,1,5,6,11,16) = 2939398902912
per C_30(0,1,5,6,11,17) = 2571662552420
per C_30(0,1,5,6,11,21) = 2797475653568
per C_30(0,1,5,6,12,16) = 2330242745780
per C_30(0,1,5,6,12,13) = 2513389132746
per C_30(0,1,5,6,12,17) = 2509886420736
per C_30(0,1,5,6,11,25) = 3145511198720
per C_30(0,1,5,6,16,20) = 2903392196096
per C_30(0,1,5,6,13,19) = 2305730549780
per C_30(0,1,5,6,12,24) = 3410682357140
per C_30(0,1,5,6,13,23) = 2367824044800
per C_30(0,1,5,6,15,16) = 2787269233842
per C_30(0,1,5,6,15,17) = 2119310682788
per C_30(0,1,5,6,17,19) = 2376290271680
per C_30(0,1,5,6,15,20) = 2833484677152
per C_30(0,1,5,6,15,21) = 2903406907604
per C_30(0,1,5,7,10,13) = 2064916206084
per C_30(0,1,5,6,16,17) = 2351684908632
per C_30(0,1,5,7,10,20) = 2187979989202
per C_30(0,1,5,7,10,15) = 2183902807284
per C_30(0,1,5,7,10,25) = 2246539434564
per C_30(0,1,5,7,15,25) = 2280578235314
per C_30(0,1,5,7,11,13) = 2228015877346
per C_30(0,1,5,7,11,15) = 2257754376280
per C_30(0,1,5,7,11,17) = 2222218750176
per C_30(0,1,5,7,11,25) = 2310691102666
per C_30(0,1,5,7,13,15) = 2129025652594
per C_30(0,1,5,7,13,20) = 2118646188180
per C_30(0,1,5,7,11,26) = 2344661559140
per C_30(0,1,5,7,13,25) = 2417506536634
per C_30(0,1,5,9,10,19) = 2441967550004
per C_30(0,1,5,7,13,19) = 2356627371264
per C_30(0,1,5,7,20,25) = 2255983629540
per C_30(0,1,5,7,15,17) = 2122195111880
per C_30(0,1,5,7,17,25) = 2163831620546
per C_30(0,1,5,7,15,20) = 2187619970496
per C_30(0,1,5,7,20,26) = 2210953307970
per C_30(0,1,5,7,24,25) = 2378254456160
per C_30(0,1,5,7,24,26) = 2362367233512
per C_30(0,1,5,8,20,25) = 2179727524690
per C_30(0,1,5,8,20,26) = 2097226837344
per C_30(0,1,5,8,23,25) = 2116471840100
per C_30(0,1,5,8,23,26) = 2428098826272
per C_30(0,1,5,9,10,15) = 2702829285364
per C_30(0,1,5,9,19,21) = 2255488513024
per C_30(0,1,5,9,11,15) = 2298635920064
per C_30(0,1,5,9,11,21) = 2219732605514
per C_30(0,1,5,9,11,25) = 2299590678680
per C_30(0,1,5,9,11,24) = 2120332692608
per C_30(0,1,5,9,15,19) = 2299081992674
per C_30(0,1,5,9,15,21) = 2342693497634
per C_30(0,1,5,9,24,25) = 2213969852468
per C_30(0,1,5,9,15,25) = 2766045710834
per C_30(0,1,5,9,21,25) = 2458657833794
per C_30(0,1,5,9,19,25) = 2299424084474
per C_30(0,1,5,10,15,16) = 2813636012832
per C_30(0,1,5,10,11,20) = 3013746903072
per C_30(0,1,5,10,11,21) = 2832401371136
per C_30(0,1,5,10,11,15) = 2804972957696
per C_30(0,1,5,10,15,19) = 2699553225184
per C_30(0,1,5,10,11,26) = 2686860990402
per C_30(0,1,5,10,11,25) = 2804972026880
per C_30(0,1,5,10,15,20) = 4319968291920
per C_30(0,1,5,10,15,25) = 4319969714804
per C_30(0,1,5,10,15,26) = 2939203368960
per C_30(0,1,5,10,16,20) = 2814066611264
per C_30(0,1,5,10,15,21) = 2804973906944
per C_30(0,1,5,10,16,25) = 2813652724512
per C_30(0,1,5,10,16,26) = 2686856207684
per C_30(0,1,5,10,19,20) = 2756727320512
per C_30(0,1,5,10,20,21) = 3013744803840
per C_30(0,1,5,10,20,25) = 4319969714802
per C_30(0,1,5,10,20,26) = 2797479147584
per C_30(0,1,5,10,19,25) = 2580199388164
per C_30(0,1,5,11,12,25) = 2275607579520
per C_30(0,1,5,10,21,26) = 3145028290560
per C_30(0,1,5,11,12,24) = 2510863965026
per C_30(0,1,5,11,12,17) = 2307066931200
per C_30(0,1,5,11,15,17) = 2227776580864
per C_30(0,1,5,11,15,20) = 2833484678144
per C_30(0,1,5,11,15,23) = 2220670958354
per C_30(0,1,5,11,15,21) = 2808290974634
per C_30(0,1,5,11,15,26) = 2787269233844
per C_30(0,1,5,11,17,23) = 2357630762434
per C_30(0,1,5,11,15,25) = 3015183365120
per C_30(0,1,5,12,24,25) = 2481520528946
per C_30(0,1,5,11,23,24) = 2303096113700
per C_30(0,1,5,11,20,21) = 2807688303044
per C_30(0,1,5,11,24,25) = 2415638818560
per C_30(0,1,5,15,19,25) = 2766100637984
per C_30(0,1,5,11,20,26) = 2903406907602
per C_30(0,1,5,11,21,25) = 2833004042240
per C_30(0,1,5,12,16,17) = 2423820465792
per C_30(0,1,5,15,17,19) = 2395393171720
per C_30(0,1,5,15,16,20) = 3015147847680
per C_30(0,1,5,15,17,23) = 2120023992274
per C_30(0,1,5,15,16,26) = 2903388970320
per C_30(0,1,5,15,17,25) = 2280893458280
per C_30(0,1,5,15,19,20) = 2848306464256
per C_30(0,1,5,17,19,25) = 2163117852706
per C_30(0,1,5,15,20,25) = 4319969714816
per C_30(0,1,6,7,12,19) = 3293638752258
per C_30(0,1,5,17,19,23) = 2218652545626
per C_30(0,1,5,19,20,25) = 2706025009120
per C_30(0,1,6,7,12,18) = 3476501826560
per C_30(0,1,5,15,21,25) = 3015183365024
per C_30(0,1,5,20,24,25) = 2825363639432
per C_30(0,1,6,7,12,13) = 3477731407458
per C_30(0,1,6,7,12,22) = 2261018677856
per C_30(0,1,6,7,12,24) = 3476501718080
per C_30(0,1,6,7,13,19) = 3476501544000
per C_30(0,1,6,7,12,25) = 3477731831328
per C_30(0,1,6,7,13,24) = 3477730722338
per C_30(0,1,6,9,19,24) = 2106817757032
per C_30(0,1,6,9,11,15) = 2116818332564
per C_30(0,1,6,9,11,21) = 2262477911684
per C_30(0,1,6,9,15,21) = 2692293119204
per C_30(0,1,6,10,12,21) = 2365461201680
per C_30(0,1,6,9,19,21) = 2109352206528
per C_30(0,1,6,9,11,24) = 2023752868258
per C_30(0,1,6,9,21,24) = 2493314563282
per C_30(0,1,6,10,12,22) = 2155947857440
per C_30(0,1,6,10,12,16) = 2295598823570
per C_30(0,1,6,10,15,25) = 2833485070368
per C_30(0,1,6,10,15,16) = 2903530381220
per C_30(0,1,6,10,15,21) = 2787260683272
per C_30(0,1,6,10,16,25) = 2787260683328
per C_30(0,1,6,10,16,21) = 2833485071360
per C_30(0,1,6,10,21,22) = 2282517985700
per C_30(0,1,6,10,16,22) = 2384453442440
per C_30(0,1,6,10,21,25) = 2903530381218
per C_30(0,1,6,12,16,21) = 2590670206000
per C_30(0,1,6,11,12,21) = 2871375359338
per C_30(0,1,6,11,15,21) = 2814083322944
per C_30(0,1,6,11,12,18) = 3267035047380
per C_30(0,1,6,11,18,21) = 2246801774698
per C_30(0,1,6,12,16,18) = 2363479076296
per C_30(0,1,6,12,13,19) = 3293638825888
per C_30(0,1,6,12,18,21) = 2580061735332
per C_30(0,1,6,12,18,24) = 6018688015626
per C_30(0,1,6,16,21,22) = 2859030474580
per C_30(0,1,6,15,16,21) = 3016145928192
per C_30(0,1,6,16,18,21) = 2251097998800
per C_30(0,1,7,8,18,20) = 2381497265920
per C_30(0,1,7,10,20,22) = 2164909127684
per C_30(0,1,7,11,13,15) = 2122615267954
per C_30(0,1,7,10,13,20) = 2507786432218
per C_30(0,1,7,10,13,19) = 2643053642132
per C_30(0,1,7,10,13,15) = 2023180490160
per C_30(0,1,7,11,15,17) = 2200787172480
per C_30(0,1,7,13,15,19) = 2357819783496
per C_30(0,1,7,13,19,20) = 3412495554560
per C_30(0,1,8,12,14,16) = 2214943152000
per C_30(0,1,9,11,15,21) = 2258900476394
per C_30(0,1,9,10,19,21) = 3651428971520
per C_30(0,1,9,15,19,21) = 2206781937280
per C_30(0,1,10,11,20,21) = 7141055385600
per C_30(0,2,4,6,8,10) = 12655151678464
per C_30(0,2,4,6,8,12) = 10731284946496
per C_30(0,2,4,6,8,14) = 9521507461636
per C_30(0,2,4,6,8,16) = 9135191912704
per C_30(0,2,4,6,8,18) = 9143934923236
per C_30(0,2,4,6,10,14) = 8926996644864
per C_30(0,2,4,6,10,18) = 8599990265476
per C_30(0,2,4,6,10,20) = 8824274242624
per C_30(0,2,4,6,10,12) = 9747470944836
per C_30(0,2,4,6,10,16) = 8785616114916
per C_30(0,2,4,6,10,22) = 8615716044516
per C_30(0,2,4,6,10,24) = 8903384693316
per C_30(0,2,4,6,10,26) = 9823259787264
per C_30(0,2,4,6,12,16) = 8532089108676
per C_30(0,2,4,6,12,14) = 8594595175716
per C_30(0,2,4,6,12,18) = 8862517092004
per C_30(0,2,4,6,12,22) = 8611020278116
per C_30(0,2,4,6,12,20) = 8366752941156
per C_30(0,2,4,6,14,22) = 8542572781824
per C_30(0,2,4,6,14,18) = 9108408504196
per C_30(0,2,4,6,12,24) = 9257889411684
per C_30(0,2,4,6,16,20) = 9718980830784
per C_30(0,2,4,6,14,20) = 8536295829636
per C_30(0,2,4,8,10,14) = 8830489764996
per C_30(0,2,4,8,10,16) = 8896702114756
per C_30(0,2,4,8,10,18) = 8572059684864
per C_30(0,2,4,8,10,20) = 8586388504516
per C_30(0,2,4,8,10,22) = 8563664787876
per C_30(0,2,4,8,14,20) = 8674426876644
per C_30(0,2,4,10,12,22) = 10389366348516
per C_30(0,2,4,8,14,24) = 8574261537856
per C_30(0,2,4,8,10,24) = 9229249569024
per C_30(0,2,4,8,18,24) = 8556642930276
per C_30(0,2,4,8,20,24) = 8341780109796
per C_30(0,2,4,10,12,14) = 8926040571904
per C_30(0,2,4,10,12,20) = 9437478914304
per C_30(0,2,4,10,14,20) = 8679234170916
per C_30(0,2,4,10,14,22) = 8809403908096
per C_30(0,2,4,10,12,24) = 8803706146816
per C_30(0,2,4,10,14,24) = 8679198818304
per C_30(0,2,4,10,20,22) = 9437515778916
per C_30(0,2,4,12,14,22) = 10389327669504
per C_30(0,2,5,8,10,14) = 2274487393234
per C_30(0,2,5,8,10,20) = 2876650451714
per C_30(0,2,5,8,14,20) = 2596166817826
per C_30(0,2,6,8,12,14) = 8919624257476
per C_30(0,2,5,8,14,26) = 2651087882826
per C_30(0,2,6,8,12,18) = 8795684925504
per C_30(0,2,5,10,14,20) = 2282630960834
per C_30(0,2,6,8,14,18) = 8491069635136
per C_30(0,2,6,8,12,24) = 8800430768704
per C_30(0,2,6,8,12,20) = 8494974768996
per C_30(0,2,6,12,20,26) = 8926614209536
per C_30(0,2,6,8,12,26) = 8906965678116
per C_30(0,2,6,12,14,24) = 8803516253184
per C_30(0,3,6,9,12,21) = 28144398194632
per C_30(0,3,6,12,15,18) = 28372625000000
per C_30(0,2,10,12,20,22) = 14399657017344
per C_30(0,2,6,12,18,22) = 8905915181284
per C_30(0,3,6,9,12,15) = 29269368503432
per C_30(0,2,6,12,18,24) = 13543327375876
per C_30(0,3,6,9,12,18) = 28149950088000
per C_30(0,2,6,18,22,24) = 8717894001664
per C_30(0,3,6,12,18,24) = 35371534055976
per C_30(0,3,6,9,15,18) = 27702607933512
per C_30(0,3,6,9,15,21) = 27708101576000
per C_30(0,3,6,15,18,21) = 29814069952512
per C_30(0,3,6,9,15,24) = 28367043865992
per C_30(0,5,10,15,20,25) = 193491763200000
