# Boolean cumulants k_2..k_62 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
# 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
