# Boolean cumulants k_2..k_122 from the model of Theorem 1.3, literal implementation (run 2)
# arithmetic: gmpy2.mpq
k[2] = 4/1
k[3] = 0/1
k[4] = 8/1
k[5] = 0/1
k[6] = 80/3
k[7] = 0/1
k[8] = 304/3
k[9] = 0/1
k[10] = 6112/15
k[11] = 0/1
k[12] = 25328/15
k[13] = 0/1
k[14] = 448864/63
k[15] = 0/1
k[16] = 212924/7
k[17] = 0/1
k[18] = 53017256/405
k[19] = 0/1
k[20] = 892403651/1575
k[21] = 0/1
k[22] = 128002786598/51975
k[23] = 0/1
k[24] = 10046430154837/935550
k[25] = 0/1
k[26] = 285431910217807/6081075
k[27] = 0/1
k[28] = 34999712108866997/170270100
k[29] = 0/1
k[30] = 8528071961408477/9459450
k[31] = 0/1
k[32] = 16177771238016527723/4086482400
k[33] = 0/1
k[34] = 1007385960150012820633/57891834000
k[35] = 0/1
k[36] = 13023254609951512394977/170131104000
k[37] = 0/1
k[38] = 47065183539671739422653/139675536000
k[39] = 0/1
k[40] = 7052046294803260043107381849/4751761734720000
k[41] = 0/1
k[42] = 65254985047174814083890376639/9978699642912000
k[43] = 0/1
k[44] = 21094080965008188144080522323117/731771307146880000
k[45] = 0/1
k[46] = 641793543259775580001076770753163/5049222019313472000
k[47] = 0/1
k[48] = 17878345332628602740314517266774067/31889823279874560000
k[49] = 0/1
k[50] = 18732519105009309430701833661034186313/7573833028970208000000
k[51] = 0/1
k[52] = 8596484635589959420142024142558342827593/787678635012901632000000
k[53] = 0/1
k[54] = 102435328132574536056931233935054359589683/2126732314534834406400000
k[55] = 0/1
k[56] = 12660073767456372627289933845198528684610007/59548504806975363379200000
k[57] = 0/1
k[58] = 71085722338892505388115701105180299175682009/75741519272030067456000000
k[59] = 0/1
k[60] = 82564858031097317556943904512055458628892805633/19925845839257140823040000000
k[61] = 0/1
k[62] = 73458350976802472174367282808838492822064577637327/4015057936610313875842560000000
k[63] = 0/1
k[64] = 10380001648943637032444701355229666099254279874002603/128481853971530044026961920000000
k[65] = 0/1
k[66] = 108048902348625829070852043657640303602215880557617141/302850084361463675206410240000000
k[67] = 0/1
k[68] = 605703210224090455608650909957569870918134681450438098209/384417707082817891728670064640000000
k[69] = 0/1
k[70] = 46815012344243853441022590382485053919677689398460845496339/6727309873949313105251726131200000000
k[71] = 0/1
k[72] = 22331431340420550688612431143325222485511183191022683926208137/726549466386525815367186422169600000000
k[73] = 0/1
k[74] = 165890366366606367661017158274339069162090352446295882724508589/1221924102559157053117540800921600000000
k[75] = 0/1
k[76] = 612588306934665807958537281138397492962300374196865866804220745759/1021528549739455296406264109570457600000000
k[77] = 0/1
k[78] = 2110660327861412236221943589113739183777418909588659810854256642767/796792268796775131196886005464956928000000
k[79] = 0/1
k[80] = 1864728046968695008332992725390960533419195591915830183132589982261289/159358453759355026239377201092991385600000000
k[81] = 0/1
k[82] = 44438930246603103752814673681453874752160283885954776174302400181006367/859696921596520536291377005896400896000000000
k[83] = 0/1
k[84] = 208877881887492922246485431584076799430459201802464914834762843708430581289/914717524578697850614025134273770553344000000000
k[85] = 0/1
k[86] = 5410719397203229425678682280866791921640416106602433875866884204733736939697/5363570939575091942236783741878018244608000000000
k[87] = 0/1
k[88] = 71858368498370170802806918743600546227808925153655386294429906165831891334777/16124026923940027950575175969372427517952000000000
k[89] = 0/1
k[90] = 31080883580153757511146797375560962187170467192806260372578589381235738862429953/1578629392756020304079961485109503207669760000000000
k[91] = 0/1
k[92] = 398473976042781553622629186954868360440424051194007810652562727603339269723975667/4581120590742960882428123525415813230100480000000000
k[93] = 0/1
k[94] = 16175761269666900180843127551948195803075997346849060341811689268175053918747665821747/42093626548041696068190813013283199864778260480000000000
k[95] = 0/1
k[96] = 47423339662765923480173415419779778854973365964401658641700564355559536430496001900547/27933097801465457298707267621717883781235343360000000000
k[97] = 0/1
k[98] = 8375195509621919982591532294243201259045827863064832114986440340061790752291053190938057/1116588830537527095703587882036564880623591751680000000000
k[99] = 0/1
k[100] = 12866112477844521901473079887740287735463151491210677729121936049491431334709073051807602929/388251802513702231970136440028400337576307720192000000000000
k[101] = 0/1
k[102] = 13045639496499368780263049356633426834842861094704676991851068998491135814906389484468133015763/89103788676894662237146312986517877473762621784064000000000000
k[103] = 0/1
k[104] = 16983786608733614462965186142743149839666099297675199947432463781742040716952008472032892778942499/26255916396791627139212446893360601228935385885704192000000000000
k[105] = 0/1
k[106] = 542312484126790872182357291345249340206415792091718457068860177763997671474480628647330285801251211/189758668504084941597035411638378890700033016173953024000000000000
k[107] = 0/1
k[108] = 2846484977684094163404296407272686510872245108909949399472082525638539351312935261777955426578506592713/225433298182852910617278069026394122151639223214656192512000000000000
k[109] = 0/1
k[110] = 445108001793183386614378475010145053319007129362601110651171712638610336913994354498550057012332901377/7978655984592606231628245686262340230592121799746519040000000000000
k[111] = 0/1
k[112] = 1614526474442320411056184322200909672765887912701379260920335192898363860573464563999952856354920310305653/6550326022671575138690721250955602794594800070765481820160000000000000
k[113] = 0/1
k[114] = 1197213362686370168542454903103092217292377087927146106597451398829101633059582118325281027450939449712770849/1099363050805046027443592716618715335692827278543473365483520000000000000
k[115] = 0/1
k[116] = 2208928266196553243431393141896313077623069232280510592144163762471866371473339020836356829751114781096319793617/459094010016187221060444318459975524185324671519754477425917952000000000000
k[117] = 0/1
k[118] = 31989830450698627527322828966895998604524633511304362513496917516870599001753833957103822360426794588291096478659/1504808143941947002364789710507697551496341978870306342673842176000000000000
k[119] = 0/1
k[120] = 101737386223769563853937118103255211081632652338952150678253417441123957330379140525926258682483959506208073586549/1083173017500201787892543913188691919232237628085797687341875200000000000000
k[121] = 0/1
k[122] = 17141908061932901518089812930330510261322921887617233859344399255589630966145489018644483195677751425991394420893052959/41306983551206445214913477553436297788574587319989909106396967731200000000000000
# n, number of monomials of B^n 1, largest weight a+b+2c, largest bit length of a numerator or denominator
# stat 0 1 0 1
# stat 1 2 1 1
# stat 2 4 2 2
# stat 3 8 3 2
# stat 4 13 4 3
# stat 5 20 5 4
# stat 6 28 6 7
# stat 7 40 7 7
# stat 8 53 8 9
# stat 9 70 9 11
# stat 10 88 10 15
# stat 11 112 11 15
# stat 12 137 12 20
# stat 13 168 13 20
# stat 14 200 14 25
# stat 15 240 15 25
# stat 16 281 16 30
# stat 17 330 17 30
# stat 18 380 18 33
# stat 19 440 19 33
# stat 20 501 20 40
# stat 21 572 21 41
# stat 22 644 22 46
# stat 23 728 23 46
# stat 24 813 24 49
# stat 25 910 25 49
# stat 26 1008 26 58
# stat 27 1120 27 58
# stat 28 1233 28 64
# stat 29 1360 29 64
# stat 30 1488 30 70
# stat 31 1632 31 70
# stat 32 1777 32 73
# stat 33 1938 33 76
# stat 34 2100 34 80
# stat 35 2280 35 80
# stat 36 2461 36 88
# stat 37 2660 37 88
# stat 38 2860 38 90
# stat 39 3080 39 93
# stat 40 3301 40 101
# stat 41 3542 41 101
# stat 42 3784 42 103
# stat 43 4048 43 105
# stat 44 4313 44 111
# stat 45 4600 45 111
# stat 46 4888 46 121
# stat 47 5200 47 121
# stat 48 5513 48 124
# stat 49 5850 49 128
# stat 50 6188 50 133
# stat 51 6552 51 133
# stat 52 6917 52 140
# stat 53 7308 53 140
# stat 54 7700 54 148
# stat 55 8120 55 148
# stat 56 8541 56 155
# stat 57 8990 57 156
# stat 58 9440 58 162
# stat 59 9920 59 162
# stat 60 10401 60 167
# stat 61 10912 61 167
# stat 62 11424 62 171
# stat 63 11968 63 174
# stat 64 12513 64 178
# stat 65 13090 65 184
# stat 66 13668 66 186
# stat 67 14280 67 186
# stat 68 14893 68 193
# stat 69 15540 69 195
# stat 70 16188 70 203
# stat 71 16872 71 203
# stat 72 17557 72 207
# stat 73 18278 73 209
# stat 74 19000 74 216
# stat 75 19760 75 216
# stat 76 20521 76 222
# stat 77 21320 77 228
# stat 78 22120 78 229
# stat 79 22960 79 230
# stat 80 23801 80 237
# stat 81 24682 81 239
# stat 82 25564 82 245
# stat 83 26488 83 245
# stat 84 27413 84 252
# stat 85 28380 85 253
# stat 86 29348 86 259
# stat 87 30360 87 264
# stat 88 31373 88 267
# stat 89 32430 89 268
# stat 90 33488 90 274
# stat 91 34592 91 274
# stat 92 35697 92 286
# stat 93 36848 93 286
# stat 94 38000 94 290
# stat 95 39200 95 295
# stat 96 40401 96 297
# stat 97 41650 97 304
# stat 98 42900 98 302
# stat 99 44200 99 309
# stat 100 45501 100 317
# stat 101 46852 101 317
# stat 102 48204 102 321
# stat 103 49608 103 326
# stat 104 51013 104 334
# stat 105 52470 105 335
# stat 106 53928 106 335
# stat 107 55440 107 341
# stat 108 56953 108 344
# stat 109 58520 109 351
# stat 110 60088 110 358
# stat 111 61712 111 358
# stat 112 63337 112 364
# stat 113 65018 113 364
# stat 114 66700 114 368
# stat 115 68440 115 369
# stat 116 70181 116 379
# stat 117 71980 117 382
# stat 118 73780 118 388
# stat 119 75640 119 389
# stat 120 77501 120 398
