#  MIQCP written by GAMS Convert at 02/15/18 15:46:02
#  
#  Equation counts
#      Total        E        G        L        N        X        C        B
#         21       21        0        0        0        0        0        0
#  
#  Variable counts
#                   x        b        i      s1s      s2s       sc       si
#      Total     cont   binary  integer     sos1     sos2    scont     sint
#        101        1      100        0        0        0        0        0
#  FX      0        0        0        0        0        0        0        0
#  
#  Nonzero counts
#      Total    const       NL      DLL
#        301      201      100        0
# 
#  Reformulation has removed 1 variable and 1 equation


var b2 binary >= 0, <= 1;
var b3 binary >= 0, <= 1;
var b4 binary >= 0, <= 1;
var b5 binary >= 0, <= 1;
var b6 binary >= 0, <= 1;
var b7 binary >= 0, <= 1;
var b8 binary >= 0, <= 1;
var b9 binary >= 0, <= 1;
var b10 binary >= 0, <= 1;
var b11 binary >= 0, <= 1;
var b12 binary >= 0, <= 1;
var b13 binary >= 0, <= 1;
var b14 binary >= 0, <= 1;
var b15 binary >= 0, <= 1;
var b16 binary >= 0, <= 1;
var b17 binary >= 0, <= 1;
var b18 binary >= 0, <= 1;
var b19 binary >= 0, <= 1;
var b20 binary >= 0, <= 1;
var b21 binary >= 0, <= 1;
var b22 binary >= 0, <= 1;
var b23 binary >= 0, <= 1;
var b24 binary >= 0, <= 1;
var b25 binary >= 0, <= 1;
var b26 binary >= 0, <= 1;
var b27 binary >= 0, <= 1;
var b28 binary >= 0, <= 1;
var b29 binary >= 0, <= 1;
var b30 binary >= 0, <= 1;
var b31 binary >= 0, <= 1;
var b32 binary >= 0, <= 1;
var b33 binary >= 0, <= 1;
var b34 binary >= 0, <= 1;
var b35 binary >= 0, <= 1;
var b36 binary >= 0, <= 1;
var b37 binary >= 0, <= 1;
var b38 binary >= 0, <= 1;
var b39 binary >= 0, <= 1;
var b40 binary >= 0, <= 1;
var b41 binary >= 0, <= 1;
var b42 binary >= 0, <= 1;
var b43 binary >= 0, <= 1;
var b44 binary >= 0, <= 1;
var b45 binary >= 0, <= 1;
var b46 binary >= 0, <= 1;
var b47 binary >= 0, <= 1;
var b48 binary >= 0, <= 1;
var b49 binary >= 0, <= 1;
var b50 binary >= 0, <= 1;
var b51 binary >= 0, <= 1;
var b52 binary >= 0, <= 1;
var b53 binary >= 0, <= 1;
var b54 binary >= 0, <= 1;
var b55 binary >= 0, <= 1;
var b56 binary >= 0, <= 1;
var b57 binary >= 0, <= 1;
var b58 binary >= 0, <= 1;
var b59 binary >= 0, <= 1;
var b60 binary >= 0, <= 1;
var b61 binary >= 0, <= 1;
var b62 binary >= 0, <= 1;
var b63 binary >= 0, <= 1;
var b64 binary >= 0, <= 1;
var b65 binary >= 0, <= 1;
var b66 binary >= 0, <= 1;
var b67 binary >= 0, <= 1;
var b68 binary >= 0, <= 1;
var b69 binary >= 0, <= 1;
var b70 binary >= 0, <= 1;
var b71 binary >= 0, <= 1;
var b72 binary >= 0, <= 1;
var b73 binary >= 0, <= 1;
var b74 binary >= 0, <= 1;
var b75 binary >= 0, <= 1;
var b76 binary >= 0, <= 1;
var b77 binary >= 0, <= 1;
var b78 binary >= 0, <= 1;
var b79 binary >= 0, <= 1;
var b80 binary >= 0, <= 1;
var b81 binary >= 0, <= 1;
var b82 binary >= 0, <= 1;
var b83 binary >= 0, <= 1;
var b84 binary >= 0, <= 1;
var b85 binary >= 0, <= 1;
var b86 binary >= 0, <= 1;
var b87 binary >= 0, <= 1;
var b88 binary >= 0, <= 1;
var b89 binary >= 0, <= 1;
var b90 binary >= 0, <= 1;
var b91 binary >= 0, <= 1;
var b92 binary >= 0, <= 1;
var b93 binary >= 0, <= 1;
var b94 binary >= 0, <= 1;
var b95 binary >= 0, <= 1;
var b96 binary >= 0, <= 1;
var b97 binary >= 0, <= 1;
var b98 binary >= 0, <= 1;
var b99 binary >= 0, <= 1;
var b100 binary >= 0, <= 1;
var b101 binary >= 0, <= 1;

minimize obj: 2982*b2*b3 + 13490*b2*b4 + 11644*b2*b5 + 7952*b2*b6 + 5822*b2*b7
     + 852*b2*b8 + 3550*b2*b9 + 1420*b2*b10 + 568*b2*b11 + 462*b2*b12 + 2090*b2
    *b13 + 1804*b2*b14 + 1232*b2*b15 + 902*b2*b16 + 132*b2*b17 + 550*b2*b18 + 
    220*b2*b19 + 88*b2*b20 + 1218*b2*b21 + 5510*b2*b22 + 4756*b2*b23 + 3248*b2*
    b24 + 2378*b2*b25 + 348*b2*b26 + 1450*b2*b27 + 580*b2*b28 + 232*b2*b29 + 
    3444*b2*b30 + 15580*b2*b31 + 13448*b2*b32 + 9184*b2*b33 + 6724*b2*b34 + 984
    *b2*b35 + 4100*b2*b36 + 1640*b2*b37 + 656*b2*b38 + 3444*b2*b39 + 15580*b2*
    b40 + 13448*b2*b41 + 9184*b2*b42 + 6724*b2*b43 + 984*b2*b44 + 4100*b2*b45
     + 1640*b2*b46 + 656*b2*b47 + 252*b2*b48 + 1140*b2*b49 + 984*b2*b50 + 672*
    b2*b51 + 492*b2*b52 + 72*b2*b53 + 300*b2*b54 + 120*b2*b55 + 48*b2*b56 + 
    2982*b2*b57 + 13490*b2*b58 + 11644*b2*b59 + 7952*b2*b60 + 5822*b2*b61 + 852
    *b2*b62 + 3550*b2*b63 + 1420*b2*b64 + 568*b2*b65 + 336*b2*b66 + 1520*b2*b67
     + 1312*b2*b68 + 896*b2*b69 + 656*b2*b70 + 96*b2*b71 + 400*b2*b72 + 160*b2*
    b73 + 64*b2*b74 + 3234*b2*b75 + 14630*b2*b76 + 12628*b2*b77 + 8624*b2*b78
     + 6314*b2*b79 + 924*b2*b80 + 3850*b2*b81 + 1540*b2*b82 + 616*b2*b83 + 9324
    *b3*b13 + 888*b3*b14 + 6512*b3*b15 + 5920*b3*b16 + 11100*b3*b17 + 11692*b3*
    b18 + 13172*b3*b20 + 3780*b3*b22 + 360*b3*b23 + 2640*b3*b24 + 2400*b3*b25
     + 4500*b3*b26 + 4740*b3*b27 + 5340*b3*b29 + 11214*b3*b31 + 1068*b3*b32 + 
    7832*b3*b33 + 7120*b3*b34 + 13350*b3*b35 + 14062*b3*b36 + 15842*b3*b38 + 
    9576*b3*b40 + 912*b3*b41 + 6688*b3*b42 + 6080*b3*b43 + 11400*b3*b44 + 12008
    *b3*b45 + 13528*b3*b47 + 9576*b3*b49 + 912*b3*b50 + 6688*b3*b51 + 6080*b3*
    b52 + 11400*b3*b53 + 12008*b3*b54 + 13528*b3*b56 + 5040*b3*b58 + 480*b3*b59
     + 3520*b3*b60 + 3200*b3*b61 + 6000*b3*b62 + 6320*b3*b63 + 7120*b3*b65 + 
    11718*b3*b67 + 1116*b3*b68 + 8184*b3*b69 + 7440*b3*b70 + 13950*b3*b71 + 
    14694*b3*b72 + 16554*b3*b74 + 7056*b3*b76 + 672*b3*b77 + 4928*b3*b78 + 4480
    *b3*b79 + 8400*b3*b80 + 8848*b3*b81 + 9968*b3*b83 + 3108*b3*b84 + 1260*b3*
    b85 + 3738*b3*b86 + 3192*b3*b87 + 3192*b3*b88 + 1680*b3*b89 + 3906*b3*b90
     + 2352*b3*b91 + 8946*b3*b92 + 852*b3*b93 + 6248*b3*b94 + 5680*b3*b95 + 
    10650*b3*b96 + 11218*b3*b97 + 12638*b3*b98 + 9324*b4*b12 + 5180*b4*b14 + 
    1332*b4*b15 + 148*b4*b16 + 12580*b4*b17 + 12432*b4*b18 + 1776*b4*b19 + 3780
    *b4*b21 + 2100*b4*b23 + 540*b4*b24 + 60*b4*b25 + 5100*b4*b26 + 5040*b4*b27
     + 720*b4*b28 + 11214*b4*b30 + 6230*b4*b32 + 1602*b4*b33 + 178*b4*b34 + 
    15130*b4*b35 + 14952*b4*b36 + 2136*b4*b37 + 9576*b4*b39 + 5320*b4*b41 + 
    1368*b4*b42 + 152*b4*b43 + 12920*b4*b44 + 12768*b4*b45 + 1824*b4*b46 + 9576
    *b4*b48 + 5320*b4*b50 + 1368*b4*b51 + 152*b4*b52 + 12920*b4*b53 + 12768*b4*
    b54 + 1824*b4*b55 + 5040*b4*b57 + 2800*b4*b59 + 720*b4*b60 + 80*b4*b61 + 
    6800*b4*b62 + 6720*b4*b63 + 960*b4*b64 + 11718*b4*b66 + 6510*b4*b68 + 1674*
    b4*b69 + 186*b4*b70 + 15810*b4*b71 + 15624*b4*b72 + 2232*b4*b73 + 7056*b4*
    b75 + 3920*b4*b77 + 1008*b4*b78 + 112*b4*b79 + 9520*b4*b80 + 9408*b4*b81 + 
    1344*b4*b82 + 14060*b4*b84 + 5700*b4*b85 + 16910*b4*b86 + 14440*b4*b87 + 
    14440*b4*b88 + 7600*b4*b89 + 17670*b4*b90 + 10640*b4*b91 + 4970*b4*b93 + 
    1278*b4*b94 + 142*b4*b95 + 12070*b4*b96 + 11928*b4*b97 + 8946*b4*b99 + 1704
    *b4*b100 + 888*b5*b12 + 5180*b5*b13 + 3848*b5*b15 + 13468*b5*b16 + 1628*b5*
    b17 + 5180*b5*b18 + 12136*b5*b19 + 3848*b5*b20 + 360*b5*b21 + 2100*b5*b22
     + 1560*b5*b24 + 5460*b5*b25 + 660*b5*b26 + 2100*b5*b27 + 4920*b5*b28 + 
    1560*b5*b29 + 1068*b5*b30 + 6230*b5*b31 + 4628*b5*b33 + 16198*b5*b34 + 1958
    *b5*b35 + 6230*b5*b36 + 14596*b5*b37 + 4628*b5*b38 + 912*b5*b39 + 5320*b5*
    b40 + 3952*b5*b42 + 13832*b5*b43 + 1672*b5*b44 + 5320*b5*b45 + 12464*b5*b46
     + 3952*b5*b47 + 912*b5*b48 + 5320*b5*b49 + 3952*b5*b51 + 13832*b5*b52 + 
    1672*b5*b53 + 5320*b5*b54 + 12464*b5*b55 + 3952*b5*b56 + 480*b5*b57 + 2800*
    b5*b58 + 2080*b5*b60 + 7280*b5*b61 + 880*b5*b62 + 2800*b5*b63 + 6560*b5*b64
     + 2080*b5*b65 + 1116*b5*b66 + 6510*b5*b67 + 4836*b5*b69 + 16926*b5*b70 + 
    2046*b5*b71 + 6510*b5*b72 + 15252*b5*b73 + 4836*b5*b74 + 672*b5*b75 + 3920*
    b5*b76 + 2912*b5*b78 + 10192*b5*b79 + 1232*b5*b80 + 3920*b5*b81 + 9184*b5*
    b82 + 2912*b5*b83 + 12136*b5*b84 + 4920*b5*b85 + 14596*b5*b86 + 12464*b5*
    b87 + 12464*b5*b88 + 6560*b5*b89 + 15252*b5*b90 + 9184*b5*b91 + 4970*b5*b92
     + 3692*b5*b94 + 12922*b5*b95 + 1562*b5*b96 + 4970*b5*b97 + 3692*b5*b98 + 
    852*b5*b99 + 11644*b5*b100 + 6512*b6*b12 + 1332*b6*b13 + 3848*b6*b14 + 
    10212*b6*b16 + 8288*b6*b17 + 12728*b6*b18 + 6660*b6*b19 + 13468*b6*b20 + 
    2640*b6*b21 + 540*b6*b22 + 1560*b6*b23 + 4140*b6*b25 + 3360*b6*b26 + 5160*
    b6*b27 + 2700*b6*b28 + 5460*b6*b29 + 7832*b6*b30 + 1602*b6*b31 + 4628*b6*
    b32 + 12282*b6*b34 + 9968*b6*b35 + 15308*b6*b36 + 8010*b6*b37 + 16198*b6*
    b38 + 6688*b6*b39 + 1368*b6*b40 + 3952*b6*b41 + 10488*b6*b43 + 8512*b6*b44
     + 13072*b6*b45 + 6840*b6*b46 + 13832*b6*b47 + 6688*b6*b48 + 1368*b6*b49 + 
    3952*b6*b50 + 10488*b6*b52 + 8512*b6*b53 + 13072*b6*b54 + 6840*b6*b55 + 
    13832*b6*b56 + 3520*b6*b57 + 720*b6*b58 + 2080*b6*b59 + 5520*b6*b61 + 4480*
    b6*b62 + 6880*b6*b63 + 3600*b6*b64 + 7280*b6*b65 + 8184*b6*b66 + 1674*b6*
    b67 + 4836*b6*b68 + 12834*b6*b70 + 10416*b6*b71 + 15996*b6*b72 + 8370*b6*
    b73 + 16926*b6*b74 + 4928*b6*b75 + 1008*b6*b76 + 2912*b6*b77 + 7728*b6*b79
     + 6272*b6*b80 + 9632*b6*b81 + 5040*b6*b82 + 10192*b6*b83 + 8288*b6*b84 + 
    3360*b6*b85 + 9968*b6*b86 + 8512*b6*b87 + 8512*b6*b88 + 4480*b6*b89 + 10416
    *b6*b90 + 6272*b6*b91 + 1278*b6*b92 + 3692*b6*b93 + 9798*b6*b95 + 7952*b6*
    b96 + 12212*b6*b97 + 12922*b6*b98 + 6248*b6*b99 + 6390*b6*b100 + 5920*b7*
    b12 + 148*b7*b13 + 13468*b7*b14 + 10212*b7*b15 + 8732*b7*b17 + 2664*b7*b18
     + 11248*b7*b19 + 5772*b7*b20 + 2400*b7*b21 + 60*b7*b22 + 5460*b7*b23 + 
    4140*b7*b24 + 3540*b7*b26 + 1080*b7*b27 + 4560*b7*b28 + 2340*b7*b29 + 7120*
    b7*b30 + 178*b7*b31 + 16198*b7*b32 + 12282*b7*b33 + 10502*b7*b35 + 3204*b7*
    b36 + 13528*b7*b37 + 6942*b7*b38 + 6080*b7*b39 + 152*b7*b40 + 13832*b7*b41
     + 10488*b7*b42 + 8968*b7*b44 + 2736*b7*b45 + 11552*b7*b46 + 5928*b7*b47 + 
    6080*b7*b48 + 152*b7*b49 + 13832*b7*b50 + 10488*b7*b51 + 8968*b7*b53 + 2736
    *b7*b54 + 11552*b7*b55 + 5928*b7*b56 + 3200*b7*b57 + 80*b7*b58 + 7280*b7*
    b59 + 5520*b7*b60 + 4720*b7*b62 + 1440*b7*b63 + 6080*b7*b64 + 3120*b7*b65
     + 7440*b7*b66 + 186*b7*b67 + 16926*b7*b68 + 12834*b7*b69 + 10974*b7*b71 + 
    3348*b7*b72 + 14136*b7*b73 + 7254*b7*b74 + 4480*b7*b75 + 112*b7*b76 + 10192
    *b7*b77 + 7728*b7*b78 + 6608*b7*b80 + 2016*b7*b81 + 8512*b7*b82 + 4368*b7*
    b83 + 6068*b7*b84 + 2460*b7*b85 + 7298*b7*b86 + 6232*b7*b87 + 6232*b7*b88
     + 3280*b7*b89 + 7626*b7*b90 + 4592*b7*b91 + 142*b7*b92 + 12922*b7*b93 + 
    9798*b7*b94 + 8378*b7*b96 + 2556*b7*b97 + 5538*b7*b98 + 5680*b7*b99 + 10792
    *b7*b100 + 11100*b8*b12 + 12580*b8*b13 + 1628*b8*b14 + 8288*b8*b15 + 8732*
    b8*b16 + 2664*b8*b18 + 8436*b8*b19 + 5328*b8*b20 + 4500*b8*b21 + 5100*b8*
    b22 + 660*b8*b23 + 3360*b8*b24 + 3540*b8*b25 + 1080*b8*b27 + 3420*b8*b28 + 
    2160*b8*b29 + 13350*b8*b30 + 15130*b8*b31 + 1958*b8*b32 + 9968*b8*b33 + 
    10502*b8*b34 + 3204*b8*b36 + 10146*b8*b37 + 6408*b8*b38 + 11400*b8*b39 + 
    12920*b8*b40 + 1672*b8*b41 + 8512*b8*b42 + 8968*b8*b43 + 2736*b8*b45 + 8664
    *b8*b46 + 5472*b8*b47 + 11400*b8*b48 + 12920*b8*b49 + 1672*b8*b50 + 8512*b8
    *b51 + 8968*b8*b52 + 2736*b8*b54 + 8664*b8*b55 + 5472*b8*b56 + 6000*b8*b57
     + 6800*b8*b58 + 880*b8*b59 + 4480*b8*b60 + 4720*b8*b61 + 1440*b8*b63 + 
    4560*b8*b64 + 2880*b8*b65 + 13950*b8*b66 + 15810*b8*b67 + 2046*b8*b68 + 
    10416*b8*b69 + 10974*b8*b70 + 3348*b8*b72 + 10602*b8*b73 + 6696*b8*b74 + 
    8400*b8*b75 + 9520*b8*b76 + 1232*b8*b77 + 6272*b8*b78 + 6608*b8*b79 + 2016*
    b8*b81 + 6384*b8*b82 + 4032*b8*b83 + 888*b8*b84 + 360*b8*b85 + 1068*b8*b86
     + 912*b8*b87 + 912*b8*b88 + 480*b8*b89 + 1116*b8*b90 + 672*b8*b91 + 12070*
    b8*b92 + 1562*b8*b93 + 7952*b8*b94 + 8378*b8*b95 + 2556*b8*b97 + 5112*b8*
    b98 + 10650*b8*b99 + 8094*b8*b100 + 11692*b9*b12 + 12432*b9*b13 + 5180*b9*
    b14 + 12728*b9*b15 + 2664*b9*b16 + 2664*b9*b17 + 9028*b9*b19 + 5328*b9*b20
     + 4740*b9*b21 + 5040*b9*b22 + 2100*b9*b23 + 5160*b9*b24 + 1080*b9*b25 + 
    1080*b9*b26 + 3660*b9*b28 + 2160*b9*b29 + 14062*b9*b30 + 14952*b9*b31 + 
    6230*b9*b32 + 15308*b9*b33 + 3204*b9*b34 + 3204*b9*b35 + 10858*b9*b37 + 
    6408*b9*b38 + 12008*b9*b39 + 12768*b9*b40 + 5320*b9*b41 + 13072*b9*b42 + 
    2736*b9*b43 + 2736*b9*b44 + 9272*b9*b46 + 5472*b9*b47 + 12008*b9*b48 + 
    12768*b9*b49 + 5320*b9*b50 + 13072*b9*b51 + 2736*b9*b52 + 2736*b9*b53 + 
    9272*b9*b55 + 5472*b9*b56 + 6320*b9*b57 + 6720*b9*b58 + 2800*b9*b59 + 6880*
    b9*b60 + 1440*b9*b61 + 1440*b9*b62 + 4880*b9*b64 + 2880*b9*b65 + 14694*b9*
    b66 + 15624*b9*b67 + 6510*b9*b68 + 15996*b9*b69 + 3348*b9*b70 + 3348*b9*b71
     + 11346*b9*b73 + 6696*b9*b74 + 8848*b9*b75 + 9408*b9*b76 + 3920*b9*b77 + 
    9632*b9*b78 + 2016*b9*b79 + 2016*b9*b80 + 6832*b9*b82 + 4032*b9*b83 + 3700*
    b9*b84 + 1500*b9*b85 + 4450*b9*b86 + 3800*b9*b87 + 3800*b9*b88 + 2000*b9*
    b89 + 4650*b9*b90 + 2800*b9*b91 + 11928*b9*b92 + 4970*b9*b93 + 12212*b9*b94
     + 2556*b9*b95 + 2556*b9*b96 + 5112*b9*b98 + 11218*b9*b99 + 8662*b9*b100 + 
    1776*b10*b13 + 12136*b10*b14 + 6660*b10*b15 + 11248*b10*b16 + 8436*b10*b17
     + 9028*b10*b18 + 3108*b10*b20 + 720*b10*b22 + 4920*b10*b23 + 2700*b10*b24
     + 4560*b10*b25 + 3420*b10*b26 + 3660*b10*b27 + 1260*b10*b29 + 2136*b10*b31
     + 14596*b10*b32 + 8010*b10*b33 + 13528*b10*b34 + 10146*b10*b35 + 10858*b10
    *b36 + 3738*b10*b38 + 1824*b10*b40 + 12464*b10*b41 + 6840*b10*b42 + 11552*
    b10*b43 + 8664*b10*b44 + 9272*b10*b45 + 3192*b10*b47 + 1824*b10*b49 + 12464
    *b10*b50 + 6840*b10*b51 + 11552*b10*b52 + 8664*b10*b53 + 9272*b10*b54 + 
    3192*b10*b56 + 960*b10*b58 + 6560*b10*b59 + 3600*b10*b60 + 6080*b10*b61 + 
    4560*b10*b62 + 4880*b10*b63 + 1680*b10*b65 + 2232*b10*b67 + 15252*b10*b68
     + 8370*b10*b69 + 14136*b10*b70 + 10602*b10*b71 + 11346*b10*b72 + 3906*b10*
    b74 + 1344*b10*b76 + 9184*b10*b77 + 5040*b10*b78 + 8512*b10*b79 + 6384*b10*
    b80 + 6832*b10*b81 + 2352*b10*b83 + 1480*b10*b84 + 600*b10*b85 + 1780*b10*
    b86 + 1520*b10*b87 + 1520*b10*b88 + 800*b10*b89 + 1860*b10*b90 + 1120*b10*
    b91 + 1704*b10*b92 + 11644*b10*b93 + 6390*b10*b94 + 10792*b10*b95 + 8094*
    b10*b96 + 8662*b10*b97 + 2982*b10*b98 + 13172*b11*b12 + 3848*b11*b14 + 
    13468*b11*b15 + 5772*b11*b16 + 5328*b11*b17 + 5328*b11*b18 + 3108*b11*b19
     + 5340*b11*b21 + 1560*b11*b23 + 5460*b11*b24 + 2340*b11*b25 + 2160*b11*b26
     + 2160*b11*b27 + 1260*b11*b28 + 15842*b11*b30 + 4628*b11*b32 + 16198*b11*
    b33 + 6942*b11*b34 + 6408*b11*b35 + 6408*b11*b36 + 3738*b11*b37 + 13528*b11
    *b39 + 3952*b11*b41 + 13832*b11*b42 + 5928*b11*b43 + 5472*b11*b44 + 5472*
    b11*b45 + 3192*b11*b46 + 13528*b11*b48 + 3952*b11*b50 + 13832*b11*b51 + 
    5928*b11*b52 + 5472*b11*b53 + 5472*b11*b54 + 3192*b11*b55 + 7120*b11*b57 + 
    2080*b11*b59 + 7280*b11*b60 + 3120*b11*b61 + 2880*b11*b62 + 2880*b11*b63 + 
    1680*b11*b64 + 16554*b11*b66 + 4836*b11*b68 + 16926*b11*b69 + 7254*b11*b70
     + 6696*b11*b71 + 6696*b11*b72 + 3906*b11*b73 + 9968*b11*b75 + 2912*b11*b77
     + 10192*b11*b78 + 4368*b11*b79 + 4032*b11*b80 + 4032*b11*b81 + 2352*b11*
    b82 + 592*b11*b84 + 240*b11*b85 + 712*b11*b86 + 608*b11*b87 + 608*b11*b88
     + 320*b11*b89 + 744*b11*b90 + 448*b11*b91 + 3692*b11*b93 + 12922*b11*b94
     + 5538*b11*b95 + 5112*b11*b96 + 5112*b11*b97 + 12638*b11*b99 + 2982*b11*
    b100 + 126*b12*b22 + 12*b12*b23 + 88*b12*b24 + 80*b12*b25 + 150*b12*b26 + 
    158*b12*b27 + 178*b12*b29 + 6300*b12*b31 + 600*b12*b32 + 4400*b12*b33 + 
    4000*b12*b34 + 7500*b12*b35 + 7900*b12*b36 + 8900*b12*b38 + 504*b12*b40 + 
    48*b12*b41 + 352*b12*b42 + 320*b12*b43 + 600*b12*b44 + 632*b12*b45 + 712*
    b12*b47 + 4536*b12*b49 + 432*b12*b50 + 3168*b12*b51 + 2880*b12*b52 + 5400*
    b12*b53 + 5688*b12*b54 + 6408*b12*b56 + 3402*b12*b58 + 324*b12*b59 + 2376*
    b12*b60 + 2160*b12*b61 + 4050*b12*b62 + 4266*b12*b63 + 4806*b12*b65 + 10710
    *b12*b67 + 1020*b12*b68 + 7480*b12*b69 + 6800*b12*b70 + 12750*b12*b71 + 
    13430*b12*b72 + 15130*b12*b74 + 252*b12*b76 + 24*b12*b77 + 176*b12*b78 + 
    160*b12*b79 + 300*b12*b80 + 316*b12*b81 + 356*b12*b83 + 42*b12*b85 + 2100*
    b12*b86 + 168*b12*b87 + 1512*b12*b88 + 1134*b12*b89 + 3570*b12*b90 + 84*b12
    *b91 + 1386*b12*b92 + 132*b12*b93 + 968*b12*b94 + 880*b12*b95 + 1650*b12*
    b96 + 1738*b12*b97 + 1958*b12*b98 + 3108*b12*b101 + 126*b13*b21 + 70*b13*
    b23 + 18*b13*b24 + 2*b13*b25 + 170*b13*b26 + 168*b13*b27 + 24*b13*b28 + 
    6300*b13*b30 + 3500*b13*b32 + 900*b13*b33 + 100*b13*b34 + 8500*b13*b35 + 
    8400*b13*b36 + 1200*b13*b37 + 504*b13*b39 + 280*b13*b41 + 72*b13*b42 + 8*
    b13*b43 + 680*b13*b44 + 672*b13*b45 + 96*b13*b46 + 4536*b13*b48 + 2520*b13*
    b50 + 648*b13*b51 + 72*b13*b52 + 6120*b13*b53 + 6048*b13*b54 + 864*b13*b55
     + 3402*b13*b57 + 1890*b13*b59 + 486*b13*b60 + 54*b13*b61 + 4590*b13*b62 + 
    4536*b13*b63 + 648*b13*b64 + 10710*b13*b66 + 5950*b13*b68 + 1530*b13*b69 + 
    170*b13*b70 + 14450*b13*b71 + 14280*b13*b72 + 2040*b13*b73 + 252*b13*b75 + 
    140*b13*b77 + 36*b13*b78 + 4*b13*b79 + 340*b13*b80 + 336*b13*b81 + 48*b13*
    b82 + 190*b13*b85 + 9500*b13*b86 + 760*b13*b87 + 6840*b13*b88 + 5130*b13*
    b89 + 16150*b13*b90 + 380*b13*b91 + 770*b13*b93 + 198*b13*b94 + 22*b13*b95
     + 1870*b13*b96 + 1848*b13*b97 + 1386*b13*b99 + 264*b13*b100 + 14060*b13*
    b101 + 12*b14*b21 + 70*b14*b22 + 52*b14*b24 + 182*b14*b25 + 22*b14*b26 + 70
    *b14*b27 + 164*b14*b28 + 52*b14*b29 + 600*b14*b30 + 3500*b14*b31 + 2600*b14
    *b33 + 9100*b14*b34 + 1100*b14*b35 + 3500*b14*b36 + 8200*b14*b37 + 2600*b14
    *b38 + 48*b14*b39 + 280*b14*b40 + 208*b14*b42 + 728*b14*b43 + 88*b14*b44 + 
    280*b14*b45 + 656*b14*b46 + 208*b14*b47 + 432*b14*b48 + 2520*b14*b49 + 1872
    *b14*b51 + 6552*b14*b52 + 792*b14*b53 + 2520*b14*b54 + 5904*b14*b55 + 1872*
    b14*b56 + 324*b14*b57 + 1890*b14*b58 + 1404*b14*b60 + 4914*b14*b61 + 594*
    b14*b62 + 1890*b14*b63 + 4428*b14*b64 + 1404*b14*b65 + 1020*b14*b66 + 5950*
    b14*b67 + 4420*b14*b69 + 15470*b14*b70 + 1870*b14*b71 + 5950*b14*b72 + 
    13940*b14*b73 + 4420*b14*b74 + 24*b14*b75 + 140*b14*b76 + 104*b14*b78 + 364
    *b14*b79 + 44*b14*b80 + 140*b14*b81 + 328*b14*b82 + 104*b14*b83 + 164*b14*
    b85 + 8200*b14*b86 + 656*b14*b87 + 5904*b14*b88 + 4428*b14*b89 + 13940*b14*
    b90 + 328*b14*b91 + 770*b14*b92 + 572*b14*b94 + 2002*b14*b95 + 242*b14*b96
     + 770*b14*b97 + 572*b14*b98 + 132*b14*b99 + 1804*b14*b100 + 12136*b14*b101
     + 88*b15*b21 + 18*b15*b22 + 52*b15*b23 + 138*b15*b25 + 112*b15*b26 + 172*
    b15*b27 + 90*b15*b28 + 182*b15*b29 + 4400*b15*b30 + 900*b15*b31 + 2600*b15*
    b32 + 6900*b15*b34 + 5600*b15*b35 + 8600*b15*b36 + 4500*b15*b37 + 9100*b15*
    b38 + 352*b15*b39 + 72*b15*b40 + 208*b15*b41 + 552*b15*b43 + 448*b15*b44 + 
    688*b15*b45 + 360*b15*b46 + 728*b15*b47 + 3168*b15*b48 + 648*b15*b49 + 1872
    *b15*b50 + 4968*b15*b52 + 4032*b15*b53 + 6192*b15*b54 + 3240*b15*b55 + 6552
    *b15*b56 + 2376*b15*b57 + 486*b15*b58 + 1404*b15*b59 + 3726*b15*b61 + 3024*
    b15*b62 + 4644*b15*b63 + 2430*b15*b64 + 4914*b15*b65 + 7480*b15*b66 + 1530*
    b15*b67 + 4420*b15*b68 + 11730*b15*b70 + 9520*b15*b71 + 14620*b15*b72 + 
    7650*b15*b73 + 15470*b15*b74 + 176*b15*b75 + 36*b15*b76 + 104*b15*b77 + 276
    *b15*b79 + 224*b15*b80 + 344*b15*b81 + 180*b15*b82 + 364*b15*b83 + 112*b15*
    b85 + 5600*b15*b86 + 448*b15*b87 + 4032*b15*b88 + 3024*b15*b89 + 9520*b15*
    b90 + 224*b15*b91 + 198*b15*b92 + 572*b15*b93 + 1518*b15*b95 + 1232*b15*b96
     + 1892*b15*b97 + 2002*b15*b98 + 968*b15*b99 + 990*b15*b100 + 8288*b15*b101
     + 80*b16*b21 + 2*b16*b22 + 182*b16*b23 + 138*b16*b24 + 118*b16*b26 + 36*
    b16*b27 + 152*b16*b28 + 78*b16*b29 + 4000*b16*b30 + 100*b16*b31 + 9100*b16*
    b32 + 6900*b16*b33 + 5900*b16*b35 + 1800*b16*b36 + 7600*b16*b37 + 3900*b16*
    b38 + 320*b16*b39 + 8*b16*b40 + 728*b16*b41 + 552*b16*b42 + 472*b16*b44 + 
    144*b16*b45 + 608*b16*b46 + 312*b16*b47 + 2880*b16*b48 + 72*b16*b49 + 6552*
    b16*b50 + 4968*b16*b51 + 4248*b16*b53 + 1296*b16*b54 + 5472*b16*b55 + 2808*
    b16*b56 + 2160*b16*b57 + 54*b16*b58 + 4914*b16*b59 + 3726*b16*b60 + 3186*
    b16*b62 + 972*b16*b63 + 4104*b16*b64 + 2106*b16*b65 + 6800*b16*b66 + 170*
    b16*b67 + 15470*b16*b68 + 11730*b16*b69 + 10030*b16*b71 + 3060*b16*b72 + 
    12920*b16*b73 + 6630*b16*b74 + 160*b16*b75 + 4*b16*b76 + 364*b16*b77 + 276*
    b16*b78 + 236*b16*b80 + 72*b16*b81 + 304*b16*b82 + 156*b16*b83 + 82*b16*b85
     + 4100*b16*b86 + 328*b16*b87 + 2952*b16*b88 + 2214*b16*b89 + 6970*b16*b90
     + 164*b16*b91 + 22*b16*b92 + 2002*b16*b93 + 1518*b16*b94 + 1298*b16*b96 + 
    396*b16*b97 + 858*b16*b98 + 880*b16*b99 + 1672*b16*b100 + 6068*b16*b101 + 
    150*b17*b21 + 170*b17*b22 + 22*b17*b23 + 112*b17*b24 + 118*b17*b25 + 36*b17
    *b27 + 114*b17*b28 + 72*b17*b29 + 7500*b17*b30 + 8500*b17*b31 + 1100*b17*
    b32 + 5600*b17*b33 + 5900*b17*b34 + 1800*b17*b36 + 5700*b17*b37 + 3600*b17*
    b38 + 600*b17*b39 + 680*b17*b40 + 88*b17*b41 + 448*b17*b42 + 472*b17*b43 + 
    144*b17*b45 + 456*b17*b46 + 288*b17*b47 + 5400*b17*b48 + 6120*b17*b49 + 792
    *b17*b50 + 4032*b17*b51 + 4248*b17*b52 + 1296*b17*b54 + 4104*b17*b55 + 2592
    *b17*b56 + 4050*b17*b57 + 4590*b17*b58 + 594*b17*b59 + 3024*b17*b60 + 3186*
    b17*b61 + 972*b17*b63 + 3078*b17*b64 + 1944*b17*b65 + 12750*b17*b66 + 14450
    *b17*b67 + 1870*b17*b68 + 9520*b17*b69 + 10030*b17*b70 + 3060*b17*b72 + 
    9690*b17*b73 + 6120*b17*b74 + 300*b17*b75 + 340*b17*b76 + 44*b17*b77 + 224*
    b17*b78 + 236*b17*b79 + 72*b17*b81 + 228*b17*b82 + 144*b17*b83 + 12*b17*b85
     + 600*b17*b86 + 48*b17*b87 + 432*b17*b88 + 324*b17*b89 + 1020*b17*b90 + 24
    *b17*b91 + 1870*b17*b92 + 242*b17*b93 + 1232*b17*b94 + 1298*b17*b95 + 396*
    b17*b97 + 792*b17*b98 + 1650*b17*b99 + 1254*b17*b100 + 888*b17*b101 + 158*
    b18*b21 + 168*b18*b22 + 70*b18*b23 + 172*b18*b24 + 36*b18*b25 + 36*b18*b26
     + 122*b18*b28 + 72*b18*b29 + 7900*b18*b30 + 8400*b18*b31 + 3500*b18*b32 + 
    8600*b18*b33 + 1800*b18*b34 + 1800*b18*b35 + 6100*b18*b37 + 3600*b18*b38 + 
    632*b18*b39 + 672*b18*b40 + 280*b18*b41 + 688*b18*b42 + 144*b18*b43 + 144*
    b18*b44 + 488*b18*b46 + 288*b18*b47 + 5688*b18*b48 + 6048*b18*b49 + 2520*
    b18*b50 + 6192*b18*b51 + 1296*b18*b52 + 1296*b18*b53 + 4392*b18*b55 + 2592*
    b18*b56 + 4266*b18*b57 + 4536*b18*b58 + 1890*b18*b59 + 4644*b18*b60 + 972*
    b18*b61 + 972*b18*b62 + 3294*b18*b64 + 1944*b18*b65 + 13430*b18*b66 + 14280
    *b18*b67 + 5950*b18*b68 + 14620*b18*b69 + 3060*b18*b70 + 3060*b18*b71 + 
    10370*b18*b73 + 6120*b18*b74 + 316*b18*b75 + 336*b18*b76 + 140*b18*b77 + 
    344*b18*b78 + 72*b18*b79 + 72*b18*b80 + 244*b18*b82 + 144*b18*b83 + 50*b18*
    b85 + 2500*b18*b86 + 200*b18*b87 + 1800*b18*b88 + 1350*b18*b89 + 4250*b18*
    b90 + 100*b18*b91 + 1848*b18*b92 + 770*b18*b93 + 1892*b18*b94 + 396*b18*b95
     + 396*b18*b96 + 792*b18*b98 + 1738*b18*b99 + 1342*b18*b100 + 3700*b18*b101
     + 24*b19*b22 + 164*b19*b23 + 90*b19*b24 + 152*b19*b25 + 114*b19*b26 + 122*
    b19*b27 + 42*b19*b29 + 1200*b19*b31 + 8200*b19*b32 + 4500*b19*b33 + 7600*
    b19*b34 + 5700*b19*b35 + 6100*b19*b36 + 2100*b19*b38 + 96*b19*b40 + 656*b19
    *b41 + 360*b19*b42 + 608*b19*b43 + 456*b19*b44 + 488*b19*b45 + 168*b19*b47
     + 864*b19*b49 + 5904*b19*b50 + 3240*b19*b51 + 5472*b19*b52 + 4104*b19*b53
     + 4392*b19*b54 + 1512*b19*b56 + 648*b19*b58 + 4428*b19*b59 + 2430*b19*b60
     + 4104*b19*b61 + 3078*b19*b62 + 3294*b19*b63 + 1134*b19*b65 + 2040*b19*b67
     + 13940*b19*b68 + 7650*b19*b69 + 12920*b19*b70 + 9690*b19*b71 + 10370*b19*
    b72 + 3570*b19*b74 + 48*b19*b76 + 328*b19*b77 + 180*b19*b78 + 304*b19*b79
     + 228*b19*b80 + 244*b19*b81 + 84*b19*b83 + 20*b19*b85 + 1000*b19*b86 + 80*
    b19*b87 + 720*b19*b88 + 540*b19*b89 + 1700*b19*b90 + 40*b19*b91 + 264*b19*
    b92 + 1804*b19*b93 + 990*b19*b94 + 1672*b19*b95 + 1254*b19*b96 + 1342*b19*
    b97 + 462*b19*b98 + 1480*b19*b101 + 178*b20*b21 + 52*b20*b23 + 182*b20*b24
     + 78*b20*b25 + 72*b20*b26 + 72*b20*b27 + 42*b20*b28 + 8900*b20*b30 + 2600*
    b20*b32 + 9100*b20*b33 + 3900*b20*b34 + 3600*b20*b35 + 3600*b20*b36 + 2100*
    b20*b37 + 712*b20*b39 + 208*b20*b41 + 728*b20*b42 + 312*b20*b43 + 288*b20*
    b44 + 288*b20*b45 + 168*b20*b46 + 6408*b20*b48 + 1872*b20*b50 + 6552*b20*
    b51 + 2808*b20*b52 + 2592*b20*b53 + 2592*b20*b54 + 1512*b20*b55 + 4806*b20*
    b57 + 1404*b20*b59 + 4914*b20*b60 + 2106*b20*b61 + 1944*b20*b62 + 1944*b20*
    b63 + 1134*b20*b64 + 15130*b20*b66 + 4420*b20*b68 + 15470*b20*b69 + 6630*
    b20*b70 + 6120*b20*b71 + 6120*b20*b72 + 3570*b20*b73 + 356*b20*b75 + 104*
    b20*b77 + 364*b20*b78 + 156*b20*b79 + 144*b20*b80 + 144*b20*b81 + 84*b20*
    b82 + 8*b20*b85 + 400*b20*b86 + 32*b20*b87 + 288*b20*b88 + 216*b20*b89 + 
    680*b20*b90 + 16*b20*b91 + 572*b20*b93 + 2002*b20*b94 + 858*b20*b95 + 792*
    b20*b96 + 792*b20*b97 + 1958*b20*b99 + 462*b20*b100 + 592*b20*b101 + 126*
    b21*b31 + 12*b21*b32 + 88*b21*b33 + 80*b21*b34 + 150*b21*b35 + 158*b21*b36
     + 178*b21*b38 + 1890*b21*b40 + 180*b21*b41 + 1320*b21*b42 + 1200*b21*b43
     + 2250*b21*b44 + 2370*b21*b45 + 2670*b21*b47 + 1386*b21*b49 + 132*b21*b50
     + 968*b21*b51 + 880*b21*b52 + 1650*b21*b53 + 1738*b21*b54 + 1958*b21*b56
     + 4410*b21*b58 + 420*b21*b59 + 3080*b21*b60 + 2800*b21*b61 + 5250*b21*b62
     + 5530*b21*b63 + 6230*b21*b65 + 1386*b21*b67 + 132*b21*b68 + 968*b21*b69
     + 880*b21*b70 + 1650*b21*b71 + 1738*b21*b72 + 1958*b21*b74 + 2520*b21*b76
     + 240*b21*b77 + 1760*b21*b78 + 1600*b21*b79 + 3000*b21*b80 + 3160*b21*b81
     + 3560*b21*b83 + 42*b21*b84 + 42*b21*b86 + 630*b21*b87 + 462*b21*b88 + 
    1470*b21*b89 + 462*b21*b90 + 840*b21*b91 + 3654*b21*b92 + 348*b21*b93 + 
    2552*b21*b94 + 2320*b21*b95 + 4350*b21*b96 + 4582*b21*b97 + 5162*b21*b98 + 
    1260*b21*b101 + 126*b22*b30 + 70*b22*b32 + 18*b22*b33 + 2*b22*b34 + 170*b22
    *b35 + 168*b22*b36 + 24*b22*b37 + 1890*b22*b39 + 1050*b22*b41 + 270*b22*b42
     + 30*b22*b43 + 2550*b22*b44 + 2520*b22*b45 + 360*b22*b46 + 1386*b22*b48 + 
    770*b22*b50 + 198*b22*b51 + 22*b22*b52 + 1870*b22*b53 + 1848*b22*b54 + 264*
    b22*b55 + 4410*b22*b57 + 2450*b22*b59 + 630*b22*b60 + 70*b22*b61 + 5950*b22
    *b62 + 5880*b22*b63 + 840*b22*b64 + 1386*b22*b66 + 770*b22*b68 + 198*b22*
    b69 + 22*b22*b70 + 1870*b22*b71 + 1848*b22*b72 + 264*b22*b73 + 2520*b22*b75
     + 1400*b22*b77 + 360*b22*b78 + 40*b22*b79 + 3400*b22*b80 + 3360*b22*b81 + 
    480*b22*b82 + 190*b22*b84 + 190*b22*b86 + 2850*b22*b87 + 2090*b22*b88 + 
    6650*b22*b89 + 2090*b22*b90 + 3800*b22*b91 + 2030*b22*b93 + 522*b22*b94 + 
    58*b22*b95 + 4930*b22*b96 + 4872*b22*b97 + 3654*b22*b99 + 696*b22*b100 + 
    5700*b22*b101 + 12*b23*b30 + 70*b23*b31 + 52*b23*b33 + 182*b23*b34 + 22*b23
    *b35 + 70*b23*b36 + 164*b23*b37 + 52*b23*b38 + 180*b23*b39 + 1050*b23*b40
     + 780*b23*b42 + 2730*b23*b43 + 330*b23*b44 + 1050*b23*b45 + 2460*b23*b46
     + 780*b23*b47 + 132*b23*b48 + 770*b23*b49 + 572*b23*b51 + 2002*b23*b52 + 
    242*b23*b53 + 770*b23*b54 + 1804*b23*b55 + 572*b23*b56 + 420*b23*b57 + 2450
    *b23*b58 + 1820*b23*b60 + 6370*b23*b61 + 770*b23*b62 + 2450*b23*b63 + 5740*
    b23*b64 + 1820*b23*b65 + 132*b23*b66 + 770*b23*b67 + 572*b23*b69 + 2002*b23
    *b70 + 242*b23*b71 + 770*b23*b72 + 1804*b23*b73 + 572*b23*b74 + 240*b23*b75
     + 1400*b23*b76 + 1040*b23*b78 + 3640*b23*b79 + 440*b23*b80 + 1400*b23*b81
     + 3280*b23*b82 + 1040*b23*b83 + 164*b23*b84 + 164*b23*b86 + 2460*b23*b87
     + 1804*b23*b88 + 5740*b23*b89 + 1804*b23*b90 + 3280*b23*b91 + 2030*b23*b92
     + 1508*b23*b94 + 5278*b23*b95 + 638*b23*b96 + 2030*b23*b97 + 1508*b23*b98
     + 348*b23*b99 + 4756*b23*b100 + 4920*b23*b101 + 88*b24*b30 + 18*b24*b31 + 
    52*b24*b32 + 138*b24*b34 + 112*b24*b35 + 172*b24*b36 + 90*b24*b37 + 182*b24
    *b38 + 1320*b24*b39 + 270*b24*b40 + 780*b24*b41 + 2070*b24*b43 + 1680*b24*
    b44 + 2580*b24*b45 + 1350*b24*b46 + 2730*b24*b47 + 968*b24*b48 + 198*b24*
    b49 + 572*b24*b50 + 1518*b24*b52 + 1232*b24*b53 + 1892*b24*b54 + 990*b24*
    b55 + 2002*b24*b56 + 3080*b24*b57 + 630*b24*b58 + 1820*b24*b59 + 4830*b24*
    b61 + 3920*b24*b62 + 6020*b24*b63 + 3150*b24*b64 + 6370*b24*b65 + 968*b24*
    b66 + 198*b24*b67 + 572*b24*b68 + 1518*b24*b70 + 1232*b24*b71 + 1892*b24*
    b72 + 990*b24*b73 + 2002*b24*b74 + 1760*b24*b75 + 360*b24*b76 + 1040*b24*
    b77 + 2760*b24*b79 + 2240*b24*b80 + 3440*b24*b81 + 1800*b24*b82 + 3640*b24*
    b83 + 112*b24*b84 + 112*b24*b86 + 1680*b24*b87 + 1232*b24*b88 + 3920*b24*
    b89 + 1232*b24*b90 + 2240*b24*b91 + 522*b24*b92 + 1508*b24*b93 + 4002*b24*
    b95 + 3248*b24*b96 + 4988*b24*b97 + 5278*b24*b98 + 2552*b24*b99 + 2610*b24*
    b100 + 3360*b24*b101 + 80*b25*b30 + 2*b25*b31 + 182*b25*b32 + 138*b25*b33
     + 118*b25*b35 + 36*b25*b36 + 152*b25*b37 + 78*b25*b38 + 1200*b25*b39 + 30*
    b25*b40 + 2730*b25*b41 + 2070*b25*b42 + 1770*b25*b44 + 540*b25*b45 + 2280*
    b25*b46 + 1170*b25*b47 + 880*b25*b48 + 22*b25*b49 + 2002*b25*b50 + 1518*b25
    *b51 + 1298*b25*b53 + 396*b25*b54 + 1672*b25*b55 + 858*b25*b56 + 2800*b25*
    b57 + 70*b25*b58 + 6370*b25*b59 + 4830*b25*b60 + 4130*b25*b62 + 1260*b25*
    b63 + 5320*b25*b64 + 2730*b25*b65 + 880*b25*b66 + 22*b25*b67 + 2002*b25*b68
     + 1518*b25*b69 + 1298*b25*b71 + 396*b25*b72 + 1672*b25*b73 + 858*b25*b74
     + 1600*b25*b75 + 40*b25*b76 + 3640*b25*b77 + 2760*b25*b78 + 2360*b25*b80
     + 720*b25*b81 + 3040*b25*b82 + 1560*b25*b83 + 82*b25*b84 + 82*b25*b86 + 
    1230*b25*b87 + 902*b25*b88 + 2870*b25*b89 + 902*b25*b90 + 1640*b25*b91 + 58
    *b25*b92 + 5278*b25*b93 + 4002*b25*b94 + 3422*b25*b96 + 1044*b25*b97 + 2262
    *b25*b98 + 2320*b25*b99 + 4408*b25*b100 + 2460*b25*b101 + 150*b26*b30 + 170
    *b26*b31 + 22*b26*b32 + 112*b26*b33 + 118*b26*b34 + 36*b26*b36 + 114*b26*
    b37 + 72*b26*b38 + 2250*b26*b39 + 2550*b26*b40 + 330*b26*b41 + 1680*b26*b42
     + 1770*b26*b43 + 540*b26*b45 + 1710*b26*b46 + 1080*b26*b47 + 1650*b26*b48
     + 1870*b26*b49 + 242*b26*b50 + 1232*b26*b51 + 1298*b26*b52 + 396*b26*b54
     + 1254*b26*b55 + 792*b26*b56 + 5250*b26*b57 + 5950*b26*b58 + 770*b26*b59
     + 3920*b26*b60 + 4130*b26*b61 + 1260*b26*b63 + 3990*b26*b64 + 2520*b26*b65
     + 1650*b26*b66 + 1870*b26*b67 + 242*b26*b68 + 1232*b26*b69 + 1298*b26*b70
     + 396*b26*b72 + 1254*b26*b73 + 792*b26*b74 + 3000*b26*b75 + 3400*b26*b76
     + 440*b26*b77 + 2240*b26*b78 + 2360*b26*b79 + 720*b26*b81 + 2280*b26*b82
     + 1440*b26*b83 + 12*b26*b84 + 12*b26*b86 + 180*b26*b87 + 132*b26*b88 + 420
    *b26*b89 + 132*b26*b90 + 240*b26*b91 + 4930*b26*b92 + 638*b26*b93 + 3248*
    b26*b94 + 3422*b26*b95 + 1044*b26*b97 + 2088*b26*b98 + 4350*b26*b99 + 3306*
    b26*b100 + 360*b26*b101 + 158*b27*b30 + 168*b27*b31 + 70*b27*b32 + 172*b27*
    b33 + 36*b27*b34 + 36*b27*b35 + 122*b27*b37 + 72*b27*b38 + 2370*b27*b39 + 
    2520*b27*b40 + 1050*b27*b41 + 2580*b27*b42 + 540*b27*b43 + 540*b27*b44 + 
    1830*b27*b46 + 1080*b27*b47 + 1738*b27*b48 + 1848*b27*b49 + 770*b27*b50 + 
    1892*b27*b51 + 396*b27*b52 + 396*b27*b53 + 1342*b27*b55 + 792*b27*b56 + 
    5530*b27*b57 + 5880*b27*b58 + 2450*b27*b59 + 6020*b27*b60 + 1260*b27*b61 + 
    1260*b27*b62 + 4270*b27*b64 + 2520*b27*b65 + 1738*b27*b66 + 1848*b27*b67 + 
    770*b27*b68 + 1892*b27*b69 + 396*b27*b70 + 396*b27*b71 + 1342*b27*b73 + 792
    *b27*b74 + 3160*b27*b75 + 3360*b27*b76 + 1400*b27*b77 + 3440*b27*b78 + 720*
    b27*b79 + 720*b27*b80 + 2440*b27*b82 + 1440*b27*b83 + 50*b27*b84 + 50*b27*
    b86 + 750*b27*b87 + 550*b27*b88 + 1750*b27*b89 + 550*b27*b90 + 1000*b27*b91
     + 4872*b27*b92 + 2030*b27*b93 + 4988*b27*b94 + 1044*b27*b95 + 1044*b27*b96
     + 2088*b27*b98 + 4582*b27*b99 + 3538*b27*b100 + 1500*b27*b101 + 24*b28*b31
     + 164*b28*b32 + 90*b28*b33 + 152*b28*b34 + 114*b28*b35 + 122*b28*b36 + 42*
    b28*b38 + 360*b28*b40 + 2460*b28*b41 + 1350*b28*b42 + 2280*b28*b43 + 1710*
    b28*b44 + 1830*b28*b45 + 630*b28*b47 + 264*b28*b49 + 1804*b28*b50 + 990*b28
    *b51 + 1672*b28*b52 + 1254*b28*b53 + 1342*b28*b54 + 462*b28*b56 + 840*b28*
    b58 + 5740*b28*b59 + 3150*b28*b60 + 5320*b28*b61 + 3990*b28*b62 + 4270*b28*
    b63 + 1470*b28*b65 + 264*b28*b67 + 1804*b28*b68 + 990*b28*b69 + 1672*b28*
    b70 + 1254*b28*b71 + 1342*b28*b72 + 462*b28*b74 + 480*b28*b76 + 3280*b28*
    b77 + 1800*b28*b78 + 3040*b28*b79 + 2280*b28*b80 + 2440*b28*b81 + 840*b28*
    b83 + 20*b28*b84 + 20*b28*b86 + 300*b28*b87 + 220*b28*b88 + 700*b28*b89 + 
    220*b28*b90 + 400*b28*b91 + 696*b28*b92 + 4756*b28*b93 + 2610*b28*b94 + 
    4408*b28*b95 + 3306*b28*b96 + 3538*b28*b97 + 1218*b28*b98 + 600*b28*b101 + 
    178*b29*b30 + 52*b29*b32 + 182*b29*b33 + 78*b29*b34 + 72*b29*b35 + 72*b29*
    b36 + 42*b29*b37 + 2670*b29*b39 + 780*b29*b41 + 2730*b29*b42 + 1170*b29*b43
     + 1080*b29*b44 + 1080*b29*b45 + 630*b29*b46 + 1958*b29*b48 + 572*b29*b50
     + 2002*b29*b51 + 858*b29*b52 + 792*b29*b53 + 792*b29*b54 + 462*b29*b55 + 
    6230*b29*b57 + 1820*b29*b59 + 6370*b29*b60 + 2730*b29*b61 + 2520*b29*b62 + 
    2520*b29*b63 + 1470*b29*b64 + 1958*b29*b66 + 572*b29*b68 + 2002*b29*b69 + 
    858*b29*b70 + 792*b29*b71 + 792*b29*b72 + 462*b29*b73 + 3560*b29*b75 + 1040
    *b29*b77 + 3640*b29*b78 + 1560*b29*b79 + 1440*b29*b80 + 1440*b29*b81 + 840*
    b29*b82 + 8*b29*b84 + 8*b29*b86 + 120*b29*b87 + 88*b29*b88 + 280*b29*b89 + 
    88*b29*b90 + 160*b29*b91 + 1508*b29*b93 + 5278*b29*b94 + 2262*b29*b95 + 
    2088*b29*b96 + 2088*b29*b97 + 5162*b29*b99 + 1218*b29*b100 + 240*b29*b101
     + 2646*b30*b40 + 252*b30*b41 + 1848*b30*b42 + 1680*b30*b43 + 3150*b30*b44
     + 3318*b30*b45 + 3738*b30*b47 + 7686*b30*b49 + 732*b30*b50 + 5368*b30*b51
     + 4880*b30*b52 + 9150*b30*b53 + 9638*b30*b54 + 10858*b30*b56 + 10080*b30*
    b58 + 960*b30*b59 + 7040*b30*b60 + 6400*b30*b61 + 12000*b30*b62 + 12640*b30
    *b63 + 14240*b30*b65 + 7308*b30*b67 + 696*b30*b68 + 5104*b30*b69 + 4640*b30
    *b70 + 8700*b30*b71 + 9164*b30*b72 + 10324*b30*b74 + 2646*b30*b76 + 252*b30
    *b77 + 1848*b30*b78 + 1680*b30*b79 + 3150*b30*b80 + 3318*b30*b81 + 3738*b30
    *b83 + 2100*b30*b84 + 42*b30*b85 + 882*b30*b87 + 2562*b30*b88 + 3360*b30*
    b89 + 2436*b30*b90 + 882*b30*b91 + 10332*b30*b92 + 984*b30*b93 + 7216*b30*
    b94 + 6560*b30*b95 + 12300*b30*b96 + 12956*b30*b97 + 14596*b30*b98 + 3738*
    b30*b101 + 2646*b31*b39 + 1470*b31*b41 + 378*b31*b42 + 42*b31*b43 + 3570*
    b31*b44 + 3528*b31*b45 + 504*b31*b46 + 7686*b31*b48 + 4270*b31*b50 + 1098*
    b31*b51 + 122*b31*b52 + 10370*b31*b53 + 10248*b31*b54 + 1464*b31*b55 + 
    10080*b31*b57 + 5600*b31*b59 + 1440*b31*b60 + 160*b31*b61 + 13600*b31*b62
     + 13440*b31*b63 + 1920*b31*b64 + 7308*b31*b66 + 4060*b31*b68 + 1044*b31*
    b69 + 116*b31*b70 + 9860*b31*b71 + 9744*b31*b72 + 1392*b31*b73 + 2646*b31*
    b75 + 1470*b31*b77 + 378*b31*b78 + 42*b31*b79 + 3570*b31*b80 + 3528*b31*b81
     + 504*b31*b82 + 9500*b31*b84 + 190*b31*b85 + 3990*b31*b87 + 11590*b31*b88
     + 15200*b31*b89 + 11020*b31*b90 + 3990*b31*b91 + 5740*b31*b93 + 1476*b31*
    b94 + 164*b31*b95 + 13940*b31*b96 + 13776*b31*b97 + 10332*b31*b99 + 1968*
    b31*b100 + 16910*b31*b101 + 252*b32*b39 + 1470*b32*b40 + 1092*b32*b42 + 
    3822*b32*b43 + 462*b32*b44 + 1470*b32*b45 + 3444*b32*b46 + 1092*b32*b47 + 
    732*b32*b48 + 4270*b32*b49 + 3172*b32*b51 + 11102*b32*b52 + 1342*b32*b53 + 
    4270*b32*b54 + 10004*b32*b55 + 3172*b32*b56 + 960*b32*b57 + 5600*b32*b58 + 
    4160*b32*b60 + 14560*b32*b61 + 1760*b32*b62 + 5600*b32*b63 + 13120*b32*b64
     + 4160*b32*b65 + 696*b32*b66 + 4060*b32*b67 + 3016*b32*b69 + 10556*b32*b70
     + 1276*b32*b71 + 4060*b32*b72 + 9512*b32*b73 + 3016*b32*b74 + 252*b32*b75
     + 1470*b32*b76 + 1092*b32*b78 + 3822*b32*b79 + 462*b32*b80 + 1470*b32*b81
     + 3444*b32*b82 + 1092*b32*b83 + 8200*b32*b84 + 164*b32*b85 + 3444*b32*b87
     + 10004*b32*b88 + 13120*b32*b89 + 9512*b32*b90 + 3444*b32*b91 + 5740*b32*
    b92 + 4264*b32*b94 + 14924*b32*b95 + 1804*b32*b96 + 5740*b32*b97 + 4264*b32
    *b98 + 984*b32*b99 + 13448*b32*b100 + 14596*b32*b101 + 1848*b33*b39 + 378*
    b33*b40 + 1092*b33*b41 + 2898*b33*b43 + 2352*b33*b44 + 3612*b33*b45 + 1890*
    b33*b46 + 3822*b33*b47 + 5368*b33*b48 + 1098*b33*b49 + 3172*b33*b50 + 8418*
    b33*b52 + 6832*b33*b53 + 10492*b33*b54 + 5490*b33*b55 + 11102*b33*b56 + 
    7040*b33*b57 + 1440*b33*b58 + 4160*b33*b59 + 11040*b33*b61 + 8960*b33*b62
     + 13760*b33*b63 + 7200*b33*b64 + 14560*b33*b65 + 5104*b33*b66 + 1044*b33*
    b67 + 3016*b33*b68 + 8004*b33*b70 + 6496*b33*b71 + 9976*b33*b72 + 5220*b33*
    b73 + 10556*b33*b74 + 1848*b33*b75 + 378*b33*b76 + 1092*b33*b77 + 2898*b33*
    b79 + 2352*b33*b80 + 3612*b33*b81 + 1890*b33*b82 + 3822*b33*b83 + 5600*b33*
    b84 + 112*b33*b85 + 2352*b33*b87 + 6832*b33*b88 + 8960*b33*b89 + 6496*b33*
    b90 + 2352*b33*b91 + 1476*b33*b92 + 4264*b33*b93 + 11316*b33*b95 + 9184*b33
    *b96 + 14104*b33*b97 + 14924*b33*b98 + 7216*b33*b99 + 7380*b33*b100 + 9968*
    b33*b101 + 1680*b34*b39 + 42*b34*b40 + 3822*b34*b41 + 2898*b34*b42 + 2478*
    b34*b44 + 756*b34*b45 + 3192*b34*b46 + 1638*b34*b47 + 4880*b34*b48 + 122*
    b34*b49 + 11102*b34*b50 + 8418*b34*b51 + 7198*b34*b53 + 2196*b34*b54 + 9272
    *b34*b55 + 4758*b34*b56 + 6400*b34*b57 + 160*b34*b58 + 14560*b34*b59 + 
    11040*b34*b60 + 9440*b34*b62 + 2880*b34*b63 + 12160*b34*b64 + 6240*b34*b65
     + 4640*b34*b66 + 116*b34*b67 + 10556*b34*b68 + 8004*b34*b69 + 6844*b34*b71
     + 2088*b34*b72 + 8816*b34*b73 + 4524*b34*b74 + 1680*b34*b75 + 42*b34*b76
     + 3822*b34*b77 + 2898*b34*b78 + 2478*b34*b80 + 756*b34*b81 + 3192*b34*b82
     + 1638*b34*b83 + 4100*b34*b84 + 82*b34*b85 + 1722*b34*b87 + 5002*b34*b88
     + 6560*b34*b89 + 4756*b34*b90 + 1722*b34*b91 + 164*b34*b92 + 14924*b34*b93
     + 11316*b34*b94 + 9676*b34*b96 + 2952*b34*b97 + 6396*b34*b98 + 6560*b34*
    b99 + 12464*b34*b100 + 7298*b34*b101 + 3150*b35*b39 + 3570*b35*b40 + 462*
    b35*b41 + 2352*b35*b42 + 2478*b35*b43 + 756*b35*b45 + 2394*b35*b46 + 1512*
    b35*b47 + 9150*b35*b48 + 10370*b35*b49 + 1342*b35*b50 + 6832*b35*b51 + 7198
    *b35*b52 + 2196*b35*b54 + 6954*b35*b55 + 4392*b35*b56 + 12000*b35*b57 + 
    13600*b35*b58 + 1760*b35*b59 + 8960*b35*b60 + 9440*b35*b61 + 2880*b35*b63
     + 9120*b35*b64 + 5760*b35*b65 + 8700*b35*b66 + 9860*b35*b67 + 1276*b35*b68
     + 6496*b35*b69 + 6844*b35*b70 + 2088*b35*b72 + 6612*b35*b73 + 4176*b35*b74
     + 3150*b35*b75 + 3570*b35*b76 + 462*b35*b77 + 2352*b35*b78 + 2478*b35*b79
     + 756*b35*b81 + 2394*b35*b82 + 1512*b35*b83 + 600*b35*b84 + 12*b35*b85 + 
    252*b35*b87 + 732*b35*b88 + 960*b35*b89 + 696*b35*b90 + 252*b35*b91 + 13940
    *b35*b92 + 1804*b35*b93 + 9184*b35*b94 + 9676*b35*b95 + 2952*b35*b97 + 5904
    *b35*b98 + 12300*b35*b99 + 9348*b35*b100 + 1068*b35*b101 + 3318*b36*b39 + 
    3528*b36*b40 + 1470*b36*b41 + 3612*b36*b42 + 756*b36*b43 + 756*b36*b44 + 
    2562*b36*b46 + 1512*b36*b47 + 9638*b36*b48 + 10248*b36*b49 + 4270*b36*b50
     + 10492*b36*b51 + 2196*b36*b52 + 2196*b36*b53 + 7442*b36*b55 + 4392*b36*
    b56 + 12640*b36*b57 + 13440*b36*b58 + 5600*b36*b59 + 13760*b36*b60 + 2880*
    b36*b61 + 2880*b36*b62 + 9760*b36*b64 + 5760*b36*b65 + 9164*b36*b66 + 9744*
    b36*b67 + 4060*b36*b68 + 9976*b36*b69 + 2088*b36*b70 + 2088*b36*b71 + 7076*
    b36*b73 + 4176*b36*b74 + 3318*b36*b75 + 3528*b36*b76 + 1470*b36*b77 + 3612*
    b36*b78 + 756*b36*b79 + 756*b36*b80 + 2562*b36*b82 + 1512*b36*b83 + 2500*
    b36*b84 + 50*b36*b85 + 1050*b36*b87 + 3050*b36*b88 + 4000*b36*b89 + 2900*
    b36*b90 + 1050*b36*b91 + 13776*b36*b92 + 5740*b36*b93 + 14104*b36*b94 + 
    2952*b36*b95 + 2952*b36*b96 + 5904*b36*b98 + 12956*b36*b99 + 10004*b36*b100
     + 4450*b36*b101 + 504*b37*b40 + 3444*b37*b41 + 1890*b37*b42 + 3192*b37*b43
     + 2394*b37*b44 + 2562*b37*b45 + 882*b37*b47 + 1464*b37*b49 + 10004*b37*b50
     + 5490*b37*b51 + 9272*b37*b52 + 6954*b37*b53 + 7442*b37*b54 + 2562*b37*b56
     + 1920*b37*b58 + 13120*b37*b59 + 7200*b37*b60 + 12160*b37*b61 + 9120*b37*
    b62 + 9760*b37*b63 + 3360*b37*b65 + 1392*b37*b67 + 9512*b37*b68 + 5220*b37*
    b69 + 8816*b37*b70 + 6612*b37*b71 + 7076*b37*b72 + 2436*b37*b74 + 504*b37*
    b76 + 3444*b37*b77 + 1890*b37*b78 + 3192*b37*b79 + 2394*b37*b80 + 2562*b37*
    b81 + 882*b37*b83 + 1000*b37*b84 + 20*b37*b85 + 420*b37*b87 + 1220*b37*b88
     + 1600*b37*b89 + 1160*b37*b90 + 420*b37*b91 + 1968*b37*b92 + 13448*b37*b93
     + 7380*b37*b94 + 12464*b37*b95 + 9348*b37*b96 + 10004*b37*b97 + 3444*b37*
    b98 + 1780*b37*b101 + 3738*b38*b39 + 1092*b38*b41 + 3822*b38*b42 + 1638*b38
    *b43 + 1512*b38*b44 + 1512*b38*b45 + 882*b38*b46 + 10858*b38*b48 + 3172*b38
    *b50 + 11102*b38*b51 + 4758*b38*b52 + 4392*b38*b53 + 4392*b38*b54 + 2562*
    b38*b55 + 14240*b38*b57 + 4160*b38*b59 + 14560*b38*b60 + 6240*b38*b61 + 
    5760*b38*b62 + 5760*b38*b63 + 3360*b38*b64 + 10324*b38*b66 + 3016*b38*b68
     + 10556*b38*b69 + 4524*b38*b70 + 4176*b38*b71 + 4176*b38*b72 + 2436*b38*
    b73 + 3738*b38*b75 + 1092*b38*b77 + 3822*b38*b78 + 1638*b38*b79 + 1512*b38*
    b80 + 1512*b38*b81 + 882*b38*b82 + 400*b38*b84 + 8*b38*b85 + 168*b38*b87 + 
    488*b38*b88 + 640*b38*b89 + 464*b38*b90 + 168*b38*b91 + 4264*b38*b93 + 
    14924*b38*b94 + 6396*b38*b95 + 5904*b38*b96 + 5904*b38*b97 + 14596*b38*b99
     + 3444*b38*b100 + 712*b38*b101 + 9576*b39*b49 + 912*b39*b50 + 6688*b39*b51
     + 6080*b39*b52 + 11400*b39*b53 + 12008*b39*b54 + 13528*b39*b56 + 9072*b39*
    b58 + 864*b39*b59 + 6336*b39*b60 + 5760*b39*b61 + 10800*b39*b62 + 11376*b39
    *b63 + 12816*b39*b65 + 5544*b39*b67 + 528*b39*b68 + 3872*b39*b69 + 3520*b39
    *b70 + 6600*b39*b71 + 6952*b39*b72 + 7832*b39*b74 + 10710*b39*b76 + 1020*
    b39*b77 + 7480*b39*b78 + 6800*b39*b79 + 12750*b39*b80 + 13430*b39*b81 + 
    15130*b39*b83 + 168*b39*b84 + 630*b39*b85 + 882*b39*b86 + 3192*b39*b88 + 
    3024*b39*b89 + 1848*b39*b90 + 3570*b39*b91 + 10332*b39*b92 + 984*b39*b93 + 
    7216*b39*b94 + 6560*b39*b95 + 12300*b39*b96 + 12956*b39*b97 + 14596*b39*b98
     + 3192*b39*b101 + 9576*b40*b48 + 5320*b40*b50 + 1368*b40*b51 + 152*b40*b52
     + 12920*b40*b53 + 12768*b40*b54 + 1824*b40*b55 + 9072*b40*b57 + 5040*b40*
    b59 + 1296*b40*b60 + 144*b40*b61 + 12240*b40*b62 + 12096*b40*b63 + 1728*b40
    *b64 + 5544*b40*b66 + 3080*b40*b68 + 792*b40*b69 + 88*b40*b70 + 7480*b40*
    b71 + 7392*b40*b72 + 1056*b40*b73 + 10710*b40*b75 + 5950*b40*b77 + 1530*b40
    *b78 + 170*b40*b79 + 14450*b40*b80 + 14280*b40*b81 + 2040*b40*b82 + 760*b40
    *b84 + 2850*b40*b85 + 3990*b40*b86 + 14440*b40*b88 + 13680*b40*b89 + 8360*
    b40*b90 + 16150*b40*b91 + 5740*b40*b93 + 1476*b40*b94 + 164*b40*b95 + 13940
    *b40*b96 + 13776*b40*b97 + 10332*b40*b99 + 1968*b40*b100 + 14440*b40*b101
     + 912*b41*b48 + 5320*b41*b49 + 3952*b41*b51 + 13832*b41*b52 + 1672*b41*b53
     + 5320*b41*b54 + 12464*b41*b55 + 3952*b41*b56 + 864*b41*b57 + 5040*b41*b58
     + 3744*b41*b60 + 13104*b41*b61 + 1584*b41*b62 + 5040*b41*b63 + 11808*b41*
    b64 + 3744*b41*b65 + 528*b41*b66 + 3080*b41*b67 + 2288*b41*b69 + 8008*b41*
    b70 + 968*b41*b71 + 3080*b41*b72 + 7216*b41*b73 + 2288*b41*b74 + 1020*b41*
    b75 + 5950*b41*b76 + 4420*b41*b78 + 15470*b41*b79 + 1870*b41*b80 + 5950*b41
    *b81 + 13940*b41*b82 + 4420*b41*b83 + 656*b41*b84 + 2460*b41*b85 + 3444*b41
    *b86 + 12464*b41*b88 + 11808*b41*b89 + 7216*b41*b90 + 13940*b41*b91 + 5740*
    b41*b92 + 4264*b41*b94 + 14924*b41*b95 + 1804*b41*b96 + 5740*b41*b97 + 4264
    *b41*b98 + 984*b41*b99 + 13448*b41*b100 + 12464*b41*b101 + 6688*b42*b48 + 
    1368*b42*b49 + 3952*b42*b50 + 10488*b42*b52 + 8512*b42*b53 + 13072*b42*b54
     + 6840*b42*b55 + 13832*b42*b56 + 6336*b42*b57 + 1296*b42*b58 + 3744*b42*
    b59 + 9936*b42*b61 + 8064*b42*b62 + 12384*b42*b63 + 6480*b42*b64 + 13104*
    b42*b65 + 3872*b42*b66 + 792*b42*b67 + 2288*b42*b68 + 6072*b42*b70 + 4928*
    b42*b71 + 7568*b42*b72 + 3960*b42*b73 + 8008*b42*b74 + 7480*b42*b75 + 1530*
    b42*b76 + 4420*b42*b77 + 11730*b42*b79 + 9520*b42*b80 + 14620*b42*b81 + 
    7650*b42*b82 + 15470*b42*b83 + 448*b42*b84 + 1680*b42*b85 + 2352*b42*b86 + 
    8512*b42*b88 + 8064*b42*b89 + 4928*b42*b90 + 9520*b42*b91 + 1476*b42*b92 + 
    4264*b42*b93 + 11316*b42*b95 + 9184*b42*b96 + 14104*b42*b97 + 14924*b42*b98
     + 7216*b42*b99 + 7380*b42*b100 + 8512*b42*b101 + 6080*b43*b48 + 152*b43*
    b49 + 13832*b43*b50 + 10488*b43*b51 + 8968*b43*b53 + 2736*b43*b54 + 11552*
    b43*b55 + 5928*b43*b56 + 5760*b43*b57 + 144*b43*b58 + 13104*b43*b59 + 9936*
    b43*b60 + 8496*b43*b62 + 2592*b43*b63 + 10944*b43*b64 + 5616*b43*b65 + 3520
    *b43*b66 + 88*b43*b67 + 8008*b43*b68 + 6072*b43*b69 + 5192*b43*b71 + 1584*
    b43*b72 + 6688*b43*b73 + 3432*b43*b74 + 6800*b43*b75 + 170*b43*b76 + 15470*
    b43*b77 + 11730*b43*b78 + 10030*b43*b80 + 3060*b43*b81 + 12920*b43*b82 + 
    6630*b43*b83 + 328*b43*b84 + 1230*b43*b85 + 1722*b43*b86 + 6232*b43*b88 + 
    5904*b43*b89 + 3608*b43*b90 + 6970*b43*b91 + 164*b43*b92 + 14924*b43*b93 + 
    11316*b43*b94 + 9676*b43*b96 + 2952*b43*b97 + 6396*b43*b98 + 6560*b43*b99
     + 12464*b43*b100 + 6232*b43*b101 + 11400*b44*b48 + 12920*b44*b49 + 1672*
    b44*b50 + 8512*b44*b51 + 8968*b44*b52 + 2736*b44*b54 + 8664*b44*b55 + 5472*
    b44*b56 + 10800*b44*b57 + 12240*b44*b58 + 1584*b44*b59 + 8064*b44*b60 + 
    8496*b44*b61 + 2592*b44*b63 + 8208*b44*b64 + 5184*b44*b65 + 6600*b44*b66 + 
    7480*b44*b67 + 968*b44*b68 + 4928*b44*b69 + 5192*b44*b70 + 1584*b44*b72 + 
    5016*b44*b73 + 3168*b44*b74 + 12750*b44*b75 + 14450*b44*b76 + 1870*b44*b77
     + 9520*b44*b78 + 10030*b44*b79 + 3060*b44*b81 + 9690*b44*b82 + 6120*b44*
    b83 + 48*b44*b84 + 180*b44*b85 + 252*b44*b86 + 912*b44*b88 + 864*b44*b89 + 
    528*b44*b90 + 1020*b44*b91 + 13940*b44*b92 + 1804*b44*b93 + 9184*b44*b94 + 
    9676*b44*b95 + 2952*b44*b97 + 5904*b44*b98 + 12300*b44*b99 + 9348*b44*b100
     + 912*b44*b101 + 12008*b45*b48 + 12768*b45*b49 + 5320*b45*b50 + 13072*b45*
    b51 + 2736*b45*b52 + 2736*b45*b53 + 9272*b45*b55 + 5472*b45*b56 + 11376*b45
    *b57 + 12096*b45*b58 + 5040*b45*b59 + 12384*b45*b60 + 2592*b45*b61 + 2592*
    b45*b62 + 8784*b45*b64 + 5184*b45*b65 + 6952*b45*b66 + 7392*b45*b67 + 3080*
    b45*b68 + 7568*b45*b69 + 1584*b45*b70 + 1584*b45*b71 + 5368*b45*b73 + 3168*
    b45*b74 + 13430*b45*b75 + 14280*b45*b76 + 5950*b45*b77 + 14620*b45*b78 + 
    3060*b45*b79 + 3060*b45*b80 + 10370*b45*b82 + 6120*b45*b83 + 200*b45*b84 + 
    750*b45*b85 + 1050*b45*b86 + 3800*b45*b88 + 3600*b45*b89 + 2200*b45*b90 + 
    4250*b45*b91 + 13776*b45*b92 + 5740*b45*b93 + 14104*b45*b94 + 2952*b45*b95
     + 2952*b45*b96 + 5904*b45*b98 + 12956*b45*b99 + 10004*b45*b100 + 3800*b45*
    b101 + 1824*b46*b49 + 12464*b46*b50 + 6840*b46*b51 + 11552*b46*b52 + 8664*
    b46*b53 + 9272*b46*b54 + 3192*b46*b56 + 1728*b46*b58 + 11808*b46*b59 + 6480
    *b46*b60 + 10944*b46*b61 + 8208*b46*b62 + 8784*b46*b63 + 3024*b46*b65 + 
    1056*b46*b67 + 7216*b46*b68 + 3960*b46*b69 + 6688*b46*b70 + 5016*b46*b71 + 
    5368*b46*b72 + 1848*b46*b74 + 2040*b46*b76 + 13940*b46*b77 + 7650*b46*b78
     + 12920*b46*b79 + 9690*b46*b80 + 10370*b46*b81 + 3570*b46*b83 + 80*b46*b84
     + 300*b46*b85 + 420*b46*b86 + 1520*b46*b88 + 1440*b46*b89 + 880*b46*b90 + 
    1700*b46*b91 + 1968*b46*b92 + 13448*b46*b93 + 7380*b46*b94 + 12464*b46*b95
     + 9348*b46*b96 + 10004*b46*b97 + 3444*b46*b98 + 1520*b46*b101 + 13528*b47*
    b48 + 3952*b47*b50 + 13832*b47*b51 + 5928*b47*b52 + 5472*b47*b53 + 5472*b47
    *b54 + 3192*b47*b55 + 12816*b47*b57 + 3744*b47*b59 + 13104*b47*b60 + 5616*
    b47*b61 + 5184*b47*b62 + 5184*b47*b63 + 3024*b47*b64 + 7832*b47*b66 + 2288*
    b47*b68 + 8008*b47*b69 + 3432*b47*b70 + 3168*b47*b71 + 3168*b47*b72 + 1848*
    b47*b73 + 15130*b47*b75 + 4420*b47*b77 + 15470*b47*b78 + 6630*b47*b79 + 
    6120*b47*b80 + 6120*b47*b81 + 3570*b47*b82 + 32*b47*b84 + 120*b47*b85 + 168
    *b47*b86 + 608*b47*b88 + 576*b47*b89 + 352*b47*b90 + 680*b47*b91 + 4264*b47
    *b93 + 14924*b47*b94 + 6396*b47*b95 + 5904*b47*b96 + 5904*b47*b97 + 14596*
    b47*b99 + 3444*b47*b100 + 608*b47*b101 + 11844*b48*b58 + 1128*b48*b59 + 
    8272*b48*b60 + 7520*b48*b61 + 14100*b48*b62 + 14852*b48*b63 + 16732*b48*b65
     + 11340*b48*b67 + 1080*b48*b68 + 7920*b48*b69 + 7200*b48*b70 + 13500*b48*
    b71 + 14220*b48*b72 + 16020*b48*b74 + 6426*b48*b76 + 612*b48*b77 + 4488*b48
    *b78 + 4080*b48*b79 + 7650*b48*b80 + 8058*b48*b81 + 9078*b48*b83 + 1512*b48
    *b84 + 462*b48*b85 + 2562*b48*b86 + 3192*b48*b87 + 3948*b48*b89 + 3780*b48*
    b90 + 2142*b48*b91 + 756*b48*b92 + 72*b48*b93 + 528*b48*b94 + 480*b48*b95
     + 900*b48*b96 + 948*b48*b97 + 1068*b48*b98 + 3192*b48*b101 + 11844*b49*b57
     + 6580*b49*b59 + 1692*b49*b60 + 188*b49*b61 + 15980*b49*b62 + 15792*b49*
    b63 + 2256*b49*b64 + 11340*b49*b66 + 6300*b49*b68 + 1620*b49*b69 + 180*b49*
    b70 + 15300*b49*b71 + 15120*b49*b72 + 2160*b49*b73 + 6426*b49*b75 + 3570*
    b49*b77 + 918*b49*b78 + 102*b49*b79 + 8670*b49*b80 + 8568*b49*b81 + 1224*
    b49*b82 + 6840*b49*b84 + 2090*b49*b85 + 11590*b49*b86 + 14440*b49*b87 + 
    17860*b49*b89 + 17100*b49*b90 + 9690*b49*b91 + 420*b49*b93 + 108*b49*b94 + 
    12*b49*b95 + 1020*b49*b96 + 1008*b49*b97 + 756*b49*b99 + 144*b49*b100 + 
    14440*b49*b101 + 1128*b50*b57 + 6580*b50*b58 + 4888*b50*b60 + 17108*b50*b61
     + 2068*b50*b62 + 6580*b50*b63 + 15416*b50*b64 + 4888*b50*b65 + 1080*b50*
    b66 + 6300*b50*b67 + 4680*b50*b69 + 16380*b50*b70 + 1980*b50*b71 + 6300*b50
    *b72 + 14760*b50*b73 + 4680*b50*b74 + 612*b50*b75 + 3570*b50*b76 + 2652*b50
    *b78 + 9282*b50*b79 + 1122*b50*b80 + 3570*b50*b81 + 8364*b50*b82 + 2652*b50
    *b83 + 5904*b50*b84 + 1804*b50*b85 + 10004*b50*b86 + 12464*b50*b87 + 15416*
    b50*b89 + 14760*b50*b90 + 8364*b50*b91 + 420*b50*b92 + 312*b50*b94 + 1092*
    b50*b95 + 132*b50*b96 + 420*b50*b97 + 312*b50*b98 + 72*b50*b99 + 984*b50*
    b100 + 12464*b50*b101 + 8272*b51*b57 + 1692*b51*b58 + 4888*b51*b59 + 12972*
    b51*b61 + 10528*b51*b62 + 16168*b51*b63 + 8460*b51*b64 + 17108*b51*b65 + 
    7920*b51*b66 + 1620*b51*b67 + 4680*b51*b68 + 12420*b51*b70 + 10080*b51*b71
     + 15480*b51*b72 + 8100*b51*b73 + 16380*b51*b74 + 4488*b51*b75 + 918*b51*
    b76 + 2652*b51*b77 + 7038*b51*b79 + 5712*b51*b80 + 8772*b51*b81 + 4590*b51*
    b82 + 9282*b51*b83 + 4032*b51*b84 + 1232*b51*b85 + 6832*b51*b86 + 8512*b51*
    b87 + 10528*b51*b89 + 10080*b51*b90 + 5712*b51*b91 + 108*b51*b92 + 312*b51*
    b93 + 828*b51*b95 + 672*b51*b96 + 1032*b51*b97 + 1092*b51*b98 + 528*b51*b99
     + 540*b51*b100 + 8512*b51*b101 + 7520*b52*b57 + 188*b52*b58 + 17108*b52*
    b59 + 12972*b52*b60 + 11092*b52*b62 + 3384*b52*b63 + 14288*b52*b64 + 7332*
    b52*b65 + 7200*b52*b66 + 180*b52*b67 + 16380*b52*b68 + 12420*b52*b69 + 
    10620*b52*b71 + 3240*b52*b72 + 13680*b52*b73 + 7020*b52*b74 + 4080*b52*b75
     + 102*b52*b76 + 9282*b52*b77 + 7038*b52*b78 + 6018*b52*b80 + 1836*b52*b81
     + 7752*b52*b82 + 3978*b52*b83 + 2952*b52*b84 + 902*b52*b85 + 5002*b52*b86
     + 6232*b52*b87 + 7708*b52*b89 + 7380*b52*b90 + 4182*b52*b91 + 12*b52*b92
     + 1092*b52*b93 + 828*b52*b94 + 708*b52*b96 + 216*b52*b97 + 468*b52*b98 + 
    480*b52*b99 + 912*b52*b100 + 6232*b52*b101 + 14100*b53*b57 + 15980*b53*b58
     + 2068*b53*b59 + 10528*b53*b60 + 11092*b53*b61 + 3384*b53*b63 + 10716*b53*
    b64 + 6768*b53*b65 + 13500*b53*b66 + 15300*b53*b67 + 1980*b53*b68 + 10080*
    b53*b69 + 10620*b53*b70 + 3240*b53*b72 + 10260*b53*b73 + 6480*b53*b74 + 
    7650*b53*b75 + 8670*b53*b76 + 1122*b53*b77 + 5712*b53*b78 + 6018*b53*b79 + 
    1836*b53*b81 + 5814*b53*b82 + 3672*b53*b83 + 432*b53*b84 + 132*b53*b85 + 
    732*b53*b86 + 912*b53*b87 + 1128*b53*b89 + 1080*b53*b90 + 612*b53*b91 + 
    1020*b53*b92 + 132*b53*b93 + 672*b53*b94 + 708*b53*b95 + 216*b53*b97 + 432*
    b53*b98 + 900*b53*b99 + 684*b53*b100 + 912*b53*b101 + 14852*b54*b57 + 15792
    *b54*b58 + 6580*b54*b59 + 16168*b54*b60 + 3384*b54*b61 + 3384*b54*b62 + 
    11468*b54*b64 + 6768*b54*b65 + 14220*b54*b66 + 15120*b54*b67 + 6300*b54*b68
     + 15480*b54*b69 + 3240*b54*b70 + 3240*b54*b71 + 10980*b54*b73 + 6480*b54*
    b74 + 8058*b54*b75 + 8568*b54*b76 + 3570*b54*b77 + 8772*b54*b78 + 1836*b54*
    b79 + 1836*b54*b80 + 6222*b54*b82 + 3672*b54*b83 + 1800*b54*b84 + 550*b54*
    b85 + 3050*b54*b86 + 3800*b54*b87 + 4700*b54*b89 + 4500*b54*b90 + 2550*b54*
    b91 + 1008*b54*b92 + 420*b54*b93 + 1032*b54*b94 + 216*b54*b95 + 216*b54*b96
     + 432*b54*b98 + 948*b54*b99 + 732*b54*b100 + 3800*b54*b101 + 2256*b55*b58
     + 15416*b55*b59 + 8460*b55*b60 + 14288*b55*b61 + 10716*b55*b62 + 11468*b55
    *b63 + 3948*b55*b65 + 2160*b55*b67 + 14760*b55*b68 + 8100*b55*b69 + 13680*
    b55*b70 + 10260*b55*b71 + 10980*b55*b72 + 3780*b55*b74 + 1224*b55*b76 + 
    8364*b55*b77 + 4590*b55*b78 + 7752*b55*b79 + 5814*b55*b80 + 6222*b55*b81 + 
    2142*b55*b83 + 720*b55*b84 + 220*b55*b85 + 1220*b55*b86 + 1520*b55*b87 + 
    1880*b55*b89 + 1800*b55*b90 + 1020*b55*b91 + 144*b55*b92 + 984*b55*b93 + 
    540*b55*b94 + 912*b55*b95 + 684*b55*b96 + 732*b55*b97 + 252*b55*b98 + 1520*
    b55*b101 + 16732*b56*b57 + 4888*b56*b59 + 17108*b56*b60 + 7332*b56*b61 + 
    6768*b56*b62 + 6768*b56*b63 + 3948*b56*b64 + 16020*b56*b66 + 4680*b56*b68
     + 16380*b56*b69 + 7020*b56*b70 + 6480*b56*b71 + 6480*b56*b72 + 3780*b56*
    b73 + 9078*b56*b75 + 2652*b56*b77 + 9282*b56*b78 + 3978*b56*b79 + 3672*b56*
    b80 + 3672*b56*b81 + 2142*b56*b82 + 288*b56*b84 + 88*b56*b85 + 488*b56*b86
     + 608*b56*b87 + 752*b56*b89 + 720*b56*b90 + 408*b56*b91 + 312*b56*b93 + 
    1092*b56*b94 + 468*b56*b95 + 432*b56*b96 + 432*b56*b97 + 1068*b56*b99 + 252
    *b56*b100 + 608*b56*b101 + 378*b57*b67 + 36*b57*b68 + 264*b57*b69 + 240*b57
    *b70 + 450*b57*b71 + 474*b57*b72 + 534*b57*b74 + 6048*b57*b76 + 576*b57*b77
     + 4224*b57*b78 + 3840*b57*b79 + 7200*b57*b80 + 7584*b57*b81 + 8544*b57*b83
     + 1134*b57*b84 + 1470*b57*b85 + 3360*b57*b86 + 3024*b57*b87 + 3948*b57*b88
     + 126*b57*b90 + 2016*b57*b91 + 8946*b57*b92 + 852*b57*b93 + 6248*b57*b94
     + 5680*b57*b95 + 10650*b57*b96 + 11218*b57*b97 + 12638*b57*b98 + 1680*b57*
    b101 + 378*b58*b66 + 210*b58*b68 + 54*b58*b69 + 6*b58*b70 + 510*b58*b71 + 
    504*b58*b72 + 72*b58*b73 + 6048*b58*b75 + 3360*b58*b77 + 864*b58*b78 + 96*
    b58*b79 + 8160*b58*b80 + 8064*b58*b81 + 1152*b58*b82 + 5130*b58*b84 + 6650*
    b58*b85 + 15200*b58*b86 + 13680*b58*b87 + 17860*b58*b88 + 570*b58*b90 + 
    9120*b58*b91 + 4970*b58*b93 + 1278*b58*b94 + 142*b58*b95 + 12070*b58*b96 + 
    11928*b58*b97 + 8946*b58*b99 + 1704*b58*b100 + 7600*b58*b101 + 36*b59*b66
     + 210*b59*b67 + 156*b59*b69 + 546*b59*b70 + 66*b59*b71 + 210*b59*b72 + 492
    *b59*b73 + 156*b59*b74 + 576*b59*b75 + 3360*b59*b76 + 2496*b59*b78 + 8736*
    b59*b79 + 1056*b59*b80 + 3360*b59*b81 + 7872*b59*b82 + 2496*b59*b83 + 4428*
    b59*b84 + 5740*b59*b85 + 13120*b59*b86 + 11808*b59*b87 + 15416*b59*b88 + 
    492*b59*b90 + 7872*b59*b91 + 4970*b59*b92 + 3692*b59*b94 + 12922*b59*b95 + 
    1562*b59*b96 + 4970*b59*b97 + 3692*b59*b98 + 852*b59*b99 + 11644*b59*b100
     + 6560*b59*b101 + 264*b60*b66 + 54*b60*b67 + 156*b60*b68 + 414*b60*b70 + 
    336*b60*b71 + 516*b60*b72 + 270*b60*b73 + 546*b60*b74 + 4224*b60*b75 + 864*
    b60*b76 + 2496*b60*b77 + 6624*b60*b79 + 5376*b60*b80 + 8256*b60*b81 + 4320*
    b60*b82 + 8736*b60*b83 + 3024*b60*b84 + 3920*b60*b85 + 8960*b60*b86 + 8064*
    b60*b87 + 10528*b60*b88 + 336*b60*b90 + 5376*b60*b91 + 1278*b60*b92 + 3692*
    b60*b93 + 9798*b60*b95 + 7952*b60*b96 + 12212*b60*b97 + 12922*b60*b98 + 
    6248*b60*b99 + 6390*b60*b100 + 4480*b60*b101 + 240*b61*b66 + 6*b61*b67 + 
    546*b61*b68 + 414*b61*b69 + 354*b61*b71 + 108*b61*b72 + 456*b61*b73 + 234*
    b61*b74 + 3840*b61*b75 + 96*b61*b76 + 8736*b61*b77 + 6624*b61*b78 + 5664*
    b61*b80 + 1728*b61*b81 + 7296*b61*b82 + 3744*b61*b83 + 2214*b61*b84 + 2870*
    b61*b85 + 6560*b61*b86 + 5904*b61*b87 + 7708*b61*b88 + 246*b61*b90 + 3936*
    b61*b91 + 142*b61*b92 + 12922*b61*b93 + 9798*b61*b94 + 8378*b61*b96 + 2556*
    b61*b97 + 5538*b61*b98 + 5680*b61*b99 + 10792*b61*b100 + 3280*b61*b101 + 
    450*b62*b66 + 510*b62*b67 + 66*b62*b68 + 336*b62*b69 + 354*b62*b70 + 108*
    b62*b72 + 342*b62*b73 + 216*b62*b74 + 7200*b62*b75 + 8160*b62*b76 + 1056*
    b62*b77 + 5376*b62*b78 + 5664*b62*b79 + 1728*b62*b81 + 5472*b62*b82 + 3456*
    b62*b83 + 324*b62*b84 + 420*b62*b85 + 960*b62*b86 + 864*b62*b87 + 1128*b62*
    b88 + 36*b62*b90 + 576*b62*b91 + 12070*b62*b92 + 1562*b62*b93 + 7952*b62*
    b94 + 8378*b62*b95 + 2556*b62*b97 + 5112*b62*b98 + 10650*b62*b99 + 8094*b62
    *b100 + 480*b62*b101 + 474*b63*b66 + 504*b63*b67 + 210*b63*b68 + 516*b63*
    b69 + 108*b63*b70 + 108*b63*b71 + 366*b63*b73 + 216*b63*b74 + 7584*b63*b75
     + 8064*b63*b76 + 3360*b63*b77 + 8256*b63*b78 + 1728*b63*b79 + 1728*b63*b80
     + 5856*b63*b82 + 3456*b63*b83 + 1350*b63*b84 + 1750*b63*b85 + 4000*b63*b86
     + 3600*b63*b87 + 4700*b63*b88 + 150*b63*b90 + 2400*b63*b91 + 11928*b63*b92
     + 4970*b63*b93 + 12212*b63*b94 + 2556*b63*b95 + 2556*b63*b96 + 5112*b63*
    b98 + 11218*b63*b99 + 8662*b63*b100 + 2000*b63*b101 + 72*b64*b67 + 492*b64*
    b68 + 270*b64*b69 + 456*b64*b70 + 342*b64*b71 + 366*b64*b72 + 126*b64*b74
     + 1152*b64*b76 + 7872*b64*b77 + 4320*b64*b78 + 7296*b64*b79 + 5472*b64*b80
     + 5856*b64*b81 + 2016*b64*b83 + 540*b64*b84 + 700*b64*b85 + 1600*b64*b86
     + 1440*b64*b87 + 1880*b64*b88 + 60*b64*b90 + 960*b64*b91 + 1704*b64*b92 + 
    11644*b64*b93 + 6390*b64*b94 + 10792*b64*b95 + 8094*b64*b96 + 8662*b64*b97
     + 2982*b64*b98 + 800*b64*b101 + 534*b65*b66 + 156*b65*b68 + 546*b65*b69 + 
    234*b65*b70 + 216*b65*b71 + 216*b65*b72 + 126*b65*b73 + 8544*b65*b75 + 2496
    *b65*b77 + 8736*b65*b78 + 3744*b65*b79 + 3456*b65*b80 + 3456*b65*b81 + 2016
    *b65*b82 + 216*b65*b84 + 280*b65*b85 + 640*b65*b86 + 576*b65*b87 + 752*b65*
    b88 + 24*b65*b90 + 384*b65*b91 + 3692*b65*b93 + 12922*b65*b94 + 5538*b65*
    b95 + 5112*b65*b96 + 5112*b65*b97 + 12638*b65*b99 + 2982*b65*b100 + 320*b65
    *b101 + 3654*b66*b76 + 348*b66*b77 + 2552*b66*b78 + 2320*b66*b79 + 4350*b66
    *b80 + 4582*b66*b81 + 5162*b66*b83 + 3570*b66*b84 + 462*b66*b85 + 2436*b66*
    b86 + 1848*b66*b87 + 3780*b66*b88 + 126*b66*b89 + 1218*b66*b91 + 1008*b66*
    b92 + 96*b66*b93 + 704*b66*b94 + 640*b66*b95 + 1200*b66*b96 + 1264*b66*b97
     + 1424*b66*b98 + 3906*b66*b101 + 3654*b67*b75 + 2030*b67*b77 + 522*b67*b78
     + 58*b67*b79 + 4930*b67*b80 + 4872*b67*b81 + 696*b67*b82 + 16150*b67*b84
     + 2090*b67*b85 + 11020*b67*b86 + 8360*b67*b87 + 17100*b67*b88 + 570*b67*
    b89 + 5510*b67*b91 + 560*b67*b93 + 144*b67*b94 + 16*b67*b95 + 1360*b67*b96
     + 1344*b67*b97 + 1008*b67*b99 + 192*b67*b100 + 17670*b67*b101 + 348*b68*
    b75 + 2030*b68*b76 + 1508*b68*b78 + 5278*b68*b79 + 638*b68*b80 + 2030*b68*
    b81 + 4756*b68*b82 + 1508*b68*b83 + 13940*b68*b84 + 1804*b68*b85 + 9512*b68
    *b86 + 7216*b68*b87 + 14760*b68*b88 + 492*b68*b89 + 4756*b68*b91 + 560*b68*
    b92 + 416*b68*b94 + 1456*b68*b95 + 176*b68*b96 + 560*b68*b97 + 416*b68*b98
     + 96*b68*b99 + 1312*b68*b100 + 15252*b68*b101 + 2552*b69*b75 + 522*b69*b76
     + 1508*b69*b77 + 4002*b69*b79 + 3248*b69*b80 + 4988*b69*b81 + 2610*b69*b82
     + 5278*b69*b83 + 9520*b69*b84 + 1232*b69*b85 + 6496*b69*b86 + 4928*b69*b87
     + 10080*b69*b88 + 336*b69*b89 + 3248*b69*b91 + 144*b69*b92 + 416*b69*b93
     + 1104*b69*b95 + 896*b69*b96 + 1376*b69*b97 + 1456*b69*b98 + 704*b69*b99
     + 720*b69*b100 + 10416*b69*b101 + 2320*b70*b75 + 58*b70*b76 + 5278*b70*b77
     + 4002*b70*b78 + 3422*b70*b80 + 1044*b70*b81 + 4408*b70*b82 + 2262*b70*b83
     + 6970*b70*b84 + 902*b70*b85 + 4756*b70*b86 + 3608*b70*b87 + 7380*b70*b88
     + 246*b70*b89 + 2378*b70*b91 + 16*b70*b92 + 1456*b70*b93 + 1104*b70*b94 + 
    944*b70*b96 + 288*b70*b97 + 624*b70*b98 + 640*b70*b99 + 1216*b70*b100 + 
    7626*b70*b101 + 4350*b71*b75 + 4930*b71*b76 + 638*b71*b77 + 3248*b71*b78 + 
    3422*b71*b79 + 1044*b71*b81 + 3306*b71*b82 + 2088*b71*b83 + 1020*b71*b84 + 
    132*b71*b85 + 696*b71*b86 + 528*b71*b87 + 1080*b71*b88 + 36*b71*b89 + 348*
    b71*b91 + 1360*b71*b92 + 176*b71*b93 + 896*b71*b94 + 944*b71*b95 + 288*b71*
    b97 + 576*b71*b98 + 1200*b71*b99 + 912*b71*b100 + 1116*b71*b101 + 4582*b72*
    b75 + 4872*b72*b76 + 2030*b72*b77 + 4988*b72*b78 + 1044*b72*b79 + 1044*b72*
    b80 + 3538*b72*b82 + 2088*b72*b83 + 4250*b72*b84 + 550*b72*b85 + 2900*b72*
    b86 + 2200*b72*b87 + 4500*b72*b88 + 150*b72*b89 + 1450*b72*b91 + 1344*b72*
    b92 + 560*b72*b93 + 1376*b72*b94 + 288*b72*b95 + 288*b72*b96 + 576*b72*b98
     + 1264*b72*b99 + 976*b72*b100 + 4650*b72*b101 + 696*b73*b76 + 4756*b73*b77
     + 2610*b73*b78 + 4408*b73*b79 + 3306*b73*b80 + 3538*b73*b81 + 1218*b73*b83
     + 1700*b73*b84 + 220*b73*b85 + 1160*b73*b86 + 880*b73*b87 + 1800*b73*b88
     + 60*b73*b89 + 580*b73*b91 + 192*b73*b92 + 1312*b73*b93 + 720*b73*b94 + 
    1216*b73*b95 + 912*b73*b96 + 976*b73*b97 + 336*b73*b98 + 1860*b73*b101 + 
    5162*b74*b75 + 1508*b74*b77 + 5278*b74*b78 + 2262*b74*b79 + 2088*b74*b80 + 
    2088*b74*b81 + 1218*b74*b82 + 680*b74*b84 + 88*b74*b85 + 464*b74*b86 + 352*
    b74*b87 + 720*b74*b88 + 24*b74*b89 + 232*b74*b91 + 416*b74*b93 + 1456*b74*
    b94 + 624*b74*b95 + 576*b74*b96 + 576*b74*b97 + 1424*b74*b99 + 336*b74*b100
     + 744*b74*b101 + 84*b75*b84 + 840*b75*b85 + 882*b75*b86 + 3570*b75*b87 + 
    2142*b75*b88 + 2016*b75*b89 + 1218*b75*b90 + 9702*b75*b92 + 924*b75*b93 + 
    6776*b75*b94 + 6160*b75*b95 + 11550*b75*b96 + 12166*b75*b97 + 13706*b75*b98
     + 2352*b75*b101 + 380*b76*b84 + 3800*b76*b85 + 3990*b76*b86 + 16150*b76*
    b87 + 9690*b76*b88 + 9120*b76*b89 + 5510*b76*b90 + 5390*b76*b93 + 1386*b76*
    b94 + 154*b76*b95 + 13090*b76*b96 + 12936*b76*b97 + 9702*b76*b99 + 1848*b76
    *b100 + 10640*b76*b101 + 328*b77*b84 + 3280*b77*b85 + 3444*b77*b86 + 13940*
    b77*b87 + 8364*b77*b88 + 7872*b77*b89 + 4756*b77*b90 + 5390*b77*b92 + 4004*
    b77*b94 + 14014*b77*b95 + 1694*b77*b96 + 5390*b77*b97 + 4004*b77*b98 + 924*
    b77*b99 + 12628*b77*b100 + 9184*b77*b101 + 224*b78*b84 + 2240*b78*b85 + 
    2352*b78*b86 + 9520*b78*b87 + 5712*b78*b88 + 5376*b78*b89 + 3248*b78*b90 + 
    1386*b78*b92 + 4004*b78*b93 + 10626*b78*b95 + 8624*b78*b96 + 13244*b78*b97
     + 14014*b78*b98 + 6776*b78*b99 + 6930*b78*b100 + 6272*b78*b101 + 164*b79*
    b84 + 1640*b79*b85 + 1722*b79*b86 + 6970*b79*b87 + 4182*b79*b88 + 3936*b79*
    b89 + 2378*b79*b90 + 154*b79*b92 + 14014*b79*b93 + 10626*b79*b94 + 9086*b79
    *b96 + 2772*b79*b97 + 6006*b79*b98 + 6160*b79*b99 + 11704*b79*b100 + 4592*
    b79*b101 + 24*b80*b84 + 240*b80*b85 + 252*b80*b86 + 1020*b80*b87 + 612*b80*
    b88 + 576*b80*b89 + 348*b80*b90 + 13090*b80*b92 + 1694*b80*b93 + 8624*b80*
    b94 + 9086*b80*b95 + 2772*b80*b97 + 5544*b80*b98 + 11550*b80*b99 + 8778*b80
    *b100 + 672*b80*b101 + 100*b81*b84 + 1000*b81*b85 + 1050*b81*b86 + 4250*b81
    *b87 + 2550*b81*b88 + 2400*b81*b89 + 1450*b81*b90 + 12936*b81*b92 + 5390*
    b81*b93 + 13244*b81*b94 + 2772*b81*b95 + 2772*b81*b96 + 5544*b81*b98 + 
    12166*b81*b99 + 9394*b81*b100 + 2800*b81*b101 + 40*b82*b84 + 400*b82*b85 + 
    420*b82*b86 + 1700*b82*b87 + 1020*b82*b88 + 960*b82*b89 + 580*b82*b90 + 
    1848*b82*b92 + 12628*b82*b93 + 6930*b82*b94 + 11704*b82*b95 + 8778*b82*b96
     + 9394*b82*b97 + 3234*b82*b98 + 1120*b82*b101 + 16*b83*b84 + 160*b83*b85
     + 168*b83*b86 + 680*b83*b87 + 408*b83*b88 + 384*b83*b89 + 232*b83*b90 + 
    4004*b83*b93 + 14014*b83*b94 + 6006*b83*b95 + 5544*b83*b96 + 5544*b83*b97
     + 13706*b83*b99 + 3234*b83*b100 + 448*b83*b101 + 2090*b84*b92 + 1804*b84*
    b93 + 1232*b84*b94 + 902*b84*b95 + 132*b84*b96 + 550*b84*b97 + 88*b84*b98
     + 462*b84*b99 + 220*b84*b100 + 5510*b85*b92 + 4756*b85*b93 + 3248*b85*b94
     + 2378*b85*b95 + 348*b85*b96 + 1450*b85*b97 + 232*b85*b98 + 1218*b85*b99
     + 580*b85*b100 + 15580*b86*b92 + 13448*b86*b93 + 9184*b86*b94 + 6724*b86*
    b95 + 984*b86*b96 + 4100*b86*b97 + 656*b86*b98 + 3444*b86*b99 + 1640*b86*
    b100 + 15580*b87*b92 + 13448*b87*b93 + 9184*b87*b94 + 6724*b87*b95 + 984*
    b87*b96 + 4100*b87*b97 + 656*b87*b98 + 3444*b87*b99 + 1640*b87*b100 + 1140*
    b88*b92 + 984*b88*b93 + 672*b88*b94 + 492*b88*b95 + 72*b88*b96 + 300*b88*
    b97 + 48*b88*b98 + 252*b88*b99 + 120*b88*b100 + 13490*b89*b92 + 11644*b89*
    b93 + 7952*b89*b94 + 5822*b89*b95 + 852*b89*b96 + 3550*b89*b97 + 568*b89*
    b98 + 2982*b89*b99 + 1420*b89*b100 + 1520*b90*b92 + 1312*b90*b93 + 896*b90*
    b94 + 656*b90*b95 + 96*b90*b96 + 400*b90*b97 + 64*b90*b98 + 336*b90*b99 + 
    160*b90*b100 + 14630*b91*b92 + 12628*b91*b93 + 8624*b91*b94 + 6314*b91*b95
     + 924*b91*b96 + 3850*b91*b97 + 616*b91*b98 + 3234*b91*b99 + 1540*b91*b100
     + 13490*b92*b101 + 11644*b93*b101 + 7952*b94*b101 + 5822*b95*b101 + 852*
    b96*b101 + 3550*b97*b101 + 568*b98*b101 + 2982*b99*b101 + 1420*b100*b101;

subject to

e2:    b2 + b92 + b93 + b94 + b95 + b96 + b97 + b98 + b99 + b100 = 1;

e3:    b3 + b4 + b5 + b6 + b7 + b8 + b9 + b10 + b11 + b101 = 1;

e4:    b12 + b13 + b14 + b15 + b16 + b17 + b18 + b19 + b20 + b84 = 1;

e5:    b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b85 = 1;

e6:    b30 + b31 + b32 + b33 + b34 + b35 + b36 + b37 + b38 + b86 = 1;

e7:    b39 + b40 + b41 + b42 + b43 + b44 + b45 + b46 + b47 + b87 = 1;

e8:    b48 + b49 + b50 + b51 + b52 + b53 + b54 + b55 + b56 + b88 = 1;

e9:    b57 + b58 + b59 + b60 + b61 + b62 + b63 + b64 + b65 + b89 = 1;

e10:    b66 + b67 + b68 + b69 + b70 + b71 + b72 + b73 + b74 + b90 = 1;

e11:    b75 + b76 + b77 + b78 + b79 + b80 + b81 + b82 + b83 + b91 = 1;

e12:    b2 + b84 + b85 + b86 + b87 + b88 + b89 + b90 + b91 + b101 = 1;

e13:    b3 + b12 + b21 + b30 + b39 + b48 + b57 + b66 + b75 + b99 = 1;

e14:    b4 + b13 + b22 + b31 + b40 + b49 + b58 + b67 + b76 + b92 = 1;

e15:    b5 + b14 + b23 + b32 + b41 + b50 + b59 + b68 + b77 + b93 = 1;

e16:    b6 + b15 + b24 + b33 + b42 + b51 + b60 + b69 + b78 + b94 = 1;

e17:    b7 + b16 + b25 + b34 + b43 + b52 + b61 + b70 + b79 + b95 = 1;

e18:    b8 + b17 + b26 + b35 + b44 + b53 + b62 + b71 + b80 + b96 = 1;

e19:    b9 + b18 + b27 + b36 + b45 + b54 + b63 + b72 + b81 + b97 = 1;

e20:    b10 + b19 + b28 + b37 + b46 + b55 + b64 + b73 + b82 + b100 = 1;

e21:    b11 + b20 + b29 + b38 + b47 + b56 + b65 + b74 + b83 + b98 = 1;