w5:=sqrt(5);
r1:=sqrt(-19);
b1:=sqrt(-(2*sqrt(5)+1));
t:=cos(Pi/19);

fid19:=[
    1/2*(95*w5 - 95),
    (160*w5 - 800)*r1*b1*t^8 + (16*w5 + 560)*r1*b1*t^7 + (-192*w5 + 
        1280)*r1*b1*t^6 + (-64*w5 - 880)*r1*b1*t^5 + (6*w5 - 550)*r1*b1*t^4 + 
        (57*w5 + 375)*r1*b1*t^3 + (36*w5 + 40)*r1*b1*t^2 + 1/4*(-39*w5 - 
        145)*r1*b1*t + 1/4*(-5*w5 + 5)*r1*b1 + (-288*w5 + 160)*r1*t^8 + (-208*w5
        + 400)*r1*t^7 + (592*w5 - 400)*r1*t^6 + (376*w5 - 840)*r1*t^5 + (-390*w5
        + 230)*r1*t^4 + (-219*w5 + 555)*r1*t^3 + 88*w5*r1*t^2 + 1/4*(179*w5 - 
        435)*r1*t + 1/2*(-7*w5 - 15)*r1 + (1760*w5 - 2400)*b1*t^8 + (-2064*w5 + 
        3920)*b1*t^7 + (-3232*w5 + 4960)*b1*t^6 + (3496*w5 - 6840)*b1*t^5 + 
        (1886*w5 - 3470)*b1*t^4 + (-1683*w5 + 3435)*b1*t^3 + (-374*w5 + 
        890)*b1*t^2 + 1/4*(761*w5 - 1625)*b1*t + 1/4*(15*w5 - 55)*b1 + (-608*w5 
        + 3040)*t^8 + (912*w5 - 4560)*t^7 + (912*w5 - 4560)*t^6 + (-1824*w5 + 
        7600)*t^5 + (-190*w5 + 1710)*t^4 + (1121*w5 - 3705)*t^3 - 152*w5*t^2 + 
        1/4*(-741*w5 + 1805)*t + 19*w5,
    (-160*w5 - 480)*r1*b1*t^8 + (48*w5 + 400)*r1*b1*t^7 + (272*w5 + 
        880)*r1*b1*t^6 + (-16*w5 - 720)*r1*b1*t^5 + (-116*w5 - 540)*r1*b1*t^4 + 
        (-43*w5 + 395)*r1*b1*t^3 + 1/2*(w5 + 235)*r1*b1*t^2 + 1/2*(37*w5 - 
        125)*r1*b1*t + 1/8*(-7*w5 - 5)*r1*b1 + (-352*w5 + 480)*r1*t^8 + (-144*w5
        + 80)*r1*t^7 + (528*w5 - 720)*r1*t^6 + (296*w5 - 200)*r1*t^5 + (-216*w5 
        + 280)*r1*t^4 + (-165*w5 + 165)*r1*t^3 + 1/2*(45*w5 - 25)*r1*t^2 + 
        1/2*(43*w5 - 115)*r1*t + 1/8*(-w5 - 35)*r1 + (2720*w5 - 5920)*b1*t^8 + 
        (-1712*w5 + 3440)*b1*t^7 + (-4848*w5 + 10480)*b1*t^6 + (2624*w5 - 
        4960)*b1*t^5 + (2644*w5 - 5540)*b1*t^4 + (-1103*w5 + 1815)*b1*t^3 + 
        1/2*(-829*w5 + 1545)*b1*t^2 + 1/2*(197*w5 - 165)*b1*t + 1/8*(63*w5 - 
        155)*b1 + (608*w5 - 3040)*t^8 + (-304*w5 + 1520)*t^7 + (-912*w5 + 
        4560)*t^6 + (456*w5 - 2280)*t^5 + (304*w5 - 1520)*t^4 + (-285*w5 + 
        1045)*t^3 + 1/2*(95*w5 - 475)*t^2 + 1/2*(133*w5 - 285)*t + 1/8*(-171*w5 
        + 855),
    (-288*w5 + 160)*r1*b1*t^8 + (256*w5 - 320)*r1*b1*t^7 + (528*w5 - 
        80)*r1*b1*t^6 + (-420*w5 + 580)*r1*b1*t^5 + (-312*w5 - 120)*r1*b1*t^4 + 
        (212*w5 - 340)*r1*b1*t^3 + (66*w5 + 60)*r1*b1*t^2 + 1/4*(-135*w5 + 
        255)*r1*b1*t + 1/8*(-47*w5 - 5)*r1*b1 + (928*w5 - 800)*r1*t^8 + (-64*w5 
        - 640)*r1*t^7 + (-1696*w5 + 1440)*r1*t^6 + (84*w5 + 1100)*r1*t^5 + 
        (916*w5 - 740)*r1*t^4 + (-30*w5 - 530)*r1*t^3 + (-136*w5 + 70)*r1*t^2 + 
        1/4*(11*w5 + 245)*r1*t + 1/8*(17*w5 + 75)*r1 + (1312*w5 - 4000)*b1*t^8 +
        (-544*w5 + 2400)*b1*t^7 + (-3152*w5 + 8720)*b1*t^6 + (700*w5 - 
        3580)*b1*t^5 + (2448*w5 - 6240)*b1*t^4 + (-188*w5 + 1500)*b1*t^3 + 
        (-639*w5 + 1545)*b1*t^2 + 1/4*(-15*w5 - 705)*b1*t + 1/8*(323*w5 - 
        855)*b1 + (608*w5 - 3040)*t^8 + (-1824*w5 + 3040)*t^7 + (-1216*w5 + 
        6080)*t^6 + (2964*w5 - 4180)*t^5 + (836*w5 - 4180)*t^4 + (-1330*w5 + 
        1330)*t^3 + (-171*w5 + 1045)*t^2 + 1/4*(551*w5 - 95)*t + 1/8*(-133*w5 - 
        95),
    (-64*w5 + 320)*r1*b1*t^8 + (48*w5 + 80)*r1*b1*t^7 + (144*w5 - 720)*r1*b1*t^6
        + (-96*w5 - 80)*r1*b1*t^5 + (-90*w5 + 490)*r1*b1*t^4 + (66*w5 - 
        10)*r1*b1*t^3 + 1/2*(19*w5 - 215)*r1*b1*t^2 + 1/4*(-77*w5 + 85)*r1*b1*t 
        + (4*w5 + 5)*r1*b1 + (-704*w5 + 960)*r1*t^8 + (400*w5 + 240)*r1*t^7 + 
        (1248*w5 - 1760)*r1*t^6 + (-576*w5 - 560)*r1*t^5 + (-690*w5 + 
        1090)*r1*t^4 + (224*w5 + 360)*r1*t^3 + 1/2*(263*w5 - 555)*r1*t^2 + 
        1/4*(-87*w5 - 225)*r1*t + 1/4*(-27*w5 + 75)*r1 + (-704*w5 + 960)*b1*t^8 
        + (-592*w5 + 1360)*b1*t^7 + (1584*w5 - 2160)*b1*t^6 + (904*w5 - 
        2200)*b1*t^5 + (-1130*w5 + 1610)*b1*t^4 + (-394*w5 + 1090)*b1*t^3 + 
        1/2*(629*w5 - 1065)*b1*t^2 + 1/4*(203*w5 - 795)*b1*t + 1/2*(-87*w5 + 
        205)*b1 + (1216*w5 - 6080)*t^8 + (-1520*w5 + 1520)*t^7 + (-2432*w5 + 
        12160)*t^6 + (2584*w5 - 2280)*t^5 + (1710*w5 - 7790)*t^4 + (-1216*w5 + 
        760)*t^3 + 1/2*(-1007*w5 + 3515)*t^2 + 1/4*(513*w5 + 95)*t + 1/4*(133*w5
        - 285),
    128*w5*r1*b1*t^8 + (16*w5 - 80)*r1*b1*t^7 + (-352*w5 + 160)*r1*b1*t^6 + 
        (-4*w5 + 100)*r1*b1*t^5 + (292*w5 - 260)*r1*b1*t^4 + (-11*w5 - 
        45)*r1*b1*t^3 + 1/2*(-137*w5 + 205)*r1*b1*t^2 + 1/4*(11*w5 + 45)*r1*b1*t
        + 1/8*(15*w5 - 35)*r1*b1 + (192*w5 + 960)*r1*t^8 + (-176*w5 + 
        240)*r1*t^7 + (-368*w5 - 2000)*r1*t^6 + (284*w5 - 220)*r1*t^5 + (260*w5 
        + 1260)*r1*t^4 + (-133*w5 - 35)*r1*t^3 + 1/2*(-155*w5 - 465)*r1*t^2 + 
        1/4*(43*w5 + 165)*r1*t + 1/8*(43*w5 + 25)*r1 + (-832*w5 + 2240)*b1*t^8 +
        (176*w5 - 240)*b1*t^7 + (1728*w5 - 5120)*b1*t^6 + (-324*w5 + 580)*b1*t^5
        + (-988*w5 + 3420)*b1*t^4 + (229*w5 - 485)*b1*t^3 + 1/2*(173*w5 - 
        1065)*b1*t^2 + 1/4*(-229*w5 + 485)*b1*t + 1/8*(25*w5 + 35)*b1 + 
        2432*w5*t^8 + (304*w5 - 1520)*t^7 + (-5168*w5 + 1520)*t^6 + (-836*w5 + 
        2660)*t^5 + (3420*w5 - 1900)*t^4 + (627*w5 - 1235)*t^3 + 1/2*(-1425*w5 +
        1045)*t^2 + 1/4*(-437*w5 + 285)*t + 1/8*(133*w5 + 95),
    (-320*w5 + 320)*r1*b1*t^8 + (-112*w5 + 240)*r1*b1*t^7 + (584*w5 - 
        520)*r1*b1*t^6 + (236*w5 - 380)*r1*b1*t^5 + (-326*w5 + 230)*r1*b1*t^4 + 
        (-144*w5 + 160)*r1*b1*t^3 + 1/2*(101*w5 - 25)*r1*b1*t^2 + (24*w5 - 
        20)*r1*b1*t + 1/8*(29*w5 - 45)*r1*b1 - 2560*r1*t^8 + (-80*w5 + 
        720)*r1*t^7 + (200*w5 + 4600)*r1*t^6 + (76*w5 - 1020)*r1*t^5 + (-290*w5 
        - 2510)*r1*t^4 + (16*w5 + 360)*r1*t^3 + 1/2*(201*w5 + 835)*r1*t^2 + 
        1/2*(-33*w5 - 35)*r1*t + 1/8*(-25*w5 - 95)*r1 + (960*w5 - 3520)*b1*t^8 +
        (-112*w5 - 400)*b1*t^7 + (-1976*w5 + 6840)*b1*t^6 + (-204*w5 + 
        1660)*b1*t^5 + (1314*w5 - 4210)*b1*t^4 + (376*w5 - 1480)*b1*t^3 + 
        1/2*(-569*w5 + 1605)*b1*t^2 + (-86*w5 + 290)*b1*t + 1/8*(-31*w5 + 
        215)*b1 + (1520*w5 - 1520)*t^7 + (-760*w5 + 760)*t^6 + (-2204*w5 + 
        1900)*t^5 + (950*w5 - 950)*t^4 + (836*w5 - 380)*t^3 + 1/2*(-589*w5 + 
        665)*t^2 + 1/2*(-133*w5 - 95)*t + 1/8*(95*w5 - 95),
    (-736*w5 + 1120)*r1*b1*t^8 + (176*w5 - 240)*r1*b1*t^7 + (1336*w5 - 
        2040)*r1*b1*t^6 + (-252*w5 + 300)*r1*b1*t^5 + (-748*w5 + 1180)*r1*b1*t^4
        + (96*w5 - 80)*r1*b1*t^3 + (136*w5 - 240)*r1*b1*t^2 + 1/2*(-13*w5 + 
        5)*r1*b1*t + (-3*w5 + 10)*r1*b1 + (-288*w5 + 160)*r1*t^8 + (176*w5 - 
        240)*r1*t^7 + (536*w5 - 600)*r1*t^6 + (-388*w5 + 500)*r1*t^5 + (-304*w5 
        + 640)*r1*t^4 + (254*w5 - 310)*r1*t^3 + (51*w5 - 195)*r1*t^2 + (-47*w5 +
        55)*r1*t + (864*w5 - 5600)*b1*t^8 + (-304*w5 + 1520)*b1*t^7 + (-1544*w5 
        + 10120)*b1*t^6 + (588*w5 - 2460)*b1*t^5 + (732*w5 - 5420)*b1*t^4 + 
        (-344*w5 + 1160)*b1*t^3 + (-44*w5 + 820)*b1*t^2 + 1/2*(67*w5 - 195)*b1*t
        + 1/2*(-31*w5 + 25)*b1 + (-608*w5 + 3040)*t^8 + (-304*w5 + 1520)*t^7 + 
        (1976*w5 - 6840)*t^6 + (532*w5 - 2660)*t^5 + (-1824*w5 + 4560)*t^4 + 
        (-266*w5 + 1330)*t^3 + (551*w5 - 855)*t^2 + (38*w5 - 190)*t + 
        1/2*(-95*w5 + 95),
    640*r1*b1*t^8 + (-96*w5 + 160)*r1*b1*t^7 + (-8*w5 - 1400)*r1*b1*t^6 + 
        (188*w5 - 300)*r1*b1*t^5 + (-22*w5 + 1030)*r1*b1*t^4 + (-99*w5 + 
        155)*r1*b1*t^3 + (28*w5 - 280)*r1*b1*t^2 + 1/4*(43*w5 - 75)*r1*b1*t + 
        1/8*(-49*w5 + 145)*r1*b1 + (512*w5 + 640)*r1*t^8 + (64*w5 - 640)*r1*t^7 
        + (-1000*w5 - 920)*r1*t^6 + (-132*w5 + 980)*r1*t^5 + (614*w5 + 
        330)*r1*t^4 + (81*w5 - 465)*r1*t^3 + (-112*w5 - 20)*r1*t^2 + 1/4*(-47*w5
        + 295)*r1*t + 1/8*(-7*w5 + 15)*r1 + (-2240*w5 + 4160)*b1*t^8 + (64*w5 - 
        640)*b1*t^7 + (4952*w5 - 9240)*b1*t^6 + (-172*w5 + 1340)*b1*t^5 + 
        (-3462*w5 + 6310)*b1*t^4 + (101*w5 - 725)*b1*t^3 + (798*w5 - 
        1330)*b1*t^2 + 1/4*(-17*w5 + 265)*b1*t + 1/8*(-189*w5 + 85)*b1 + 
        (-3648*w5 + 6080)*t^8 + (1824*w5 - 3040)*t^7 + (6840*w5 - 12920)*t^6 + 
        (-2812*w5 + 4940)*t^5 + (-4066*w5 + 8930)*t^4 + (1121*w5 - 2185)*t^3 + 
        (798*w5 - 2090)*t^2 + 1/4*(-247*w5 + 855)*t + 1/8*(-247*w5 + 855),
    (384*w5 - 640)*r1*b1*t^8 + (64*w5 - 320)*r1*b1*t^7 + (-728*w5 + 
        1240)*r1*b1*t^6 + (-68*w5 + 500)*r1*b1*t^5 + (416*w5 - 720)*r1*b1*t^4 + 
        (6*w5 - 190)*r1*b1*t^3 + (-69*w5 + 115)*r1*b1*t^2 + 1/4*(17*w5 + 
        15)*r1*b1*t + 1/4*(13*w5 - 5)*r1*b1 + (32*w5 - 160)*r1*t^7 + (-40*w5 + 
        360)*r1*t^6 + (-20*w5 + 260)*r1*t^5 + (100*w5 - 580)*r1*t^4 + (-28*w5 - 
        100)*r1*t^3 + (-68*w5 + 250)*r1*t^2 + 1/4*(69*w5 + 35)*r1*t + 1/4*(37*w5
        - 85)*r1 + (-256*w5 + 2560)*b1*t^8 + (704*w5 - 960)*b1*t^7 + (392*w5 - 
        4680)*b1*t^6 + (-1308*w5 + 2060)*b1*t^5 + (-184*w5 + 2600)*b1*t^4 + 
        (626*w5 - 1130)*b1*t^3 + (46*w5 - 460)*b1*t^2 + 1/4*(-163*w5 + 395)*b1*t
        + 1/4*(-67*w5 + 195)*b1 + (-608*w5 + 3040)*t^7 + (760*w5 - 760)*t^6 + 
        (1140*w5 - 5700)*t^5 + (-1140*w5 + 1140)*t^4 + (-608*w5 + 3040)*t^3 + 
        (437*w5 - 475)*t^2 + 1/4*(209*w5 - 1425)*t + 1/4*(-133*w5 + 285),
    (-384*w5 + 640)*r1*b1*t^8 + (-64*w5 + 320)*r1*b1*t^7 + (728*w5 - 
        1240)*r1*b1*t^6 + (68*w5 - 500)*r1*b1*t^5 + (-416*w5 + 720)*r1*b1*t^4 + 
        (-6*w5 + 190)*r1*b1*t^3 + (69*w5 - 115)*r1*b1*t^2 + 1/4*(-17*w5 - 
        15)*r1*b1*t + 1/4*(-13*w5 + 5)*r1*b1 + (32*w5 - 160)*r1*t^7 + (-40*w5 + 
        360)*r1*t^6 + (-20*w5 + 260)*r1*t^5 + (100*w5 - 580)*r1*t^4 + (-28*w5 - 
        100)*r1*t^3 + (-68*w5 + 250)*r1*t^2 + 1/4*(69*w5 + 35)*r1*t + 1/4*(37*w5
        - 85)*r1 + (256*w5 - 2560)*b1*t^8 + (-704*w5 + 960)*b1*t^7 + (-392*w5 + 
        4680)*b1*t^6 + (1308*w5 - 2060)*b1*t^5 + (184*w5 - 2600)*b1*t^4 + 
        (-626*w5 + 1130)*b1*t^3 + (-46*w5 + 460)*b1*t^2 + 1/4*(163*w5 - 
        395)*b1*t + 1/4*(67*w5 - 195)*b1 + (-608*w5 + 3040)*t^7 + (760*w5 - 
        760)*t^6 + (1140*w5 - 5700)*t^5 + (-1140*w5 + 1140)*t^4 + (-608*w5 + 
        3040)*t^3 + (437*w5 - 475)*t^2 + 1/4*(209*w5 - 1425)*t + 1/4*(-133*w5 + 
        285),
    -640*r1*b1*t^8 + (96*w5 - 160)*r1*b1*t^7 + (8*w5 + 1400)*r1*b1*t^6 + 
        (-188*w5 + 300)*r1*b1*t^5 + (22*w5 - 1030)*r1*b1*t^4 + (99*w5 - 
        155)*r1*b1*t^3 + (-28*w5 + 280)*r1*b1*t^2 + 1/4*(-43*w5 + 75)*r1*b1*t + 
        1/8*(49*w5 - 145)*r1*b1 + (512*w5 + 640)*r1*t^8 + (64*w5 - 640)*r1*t^7 +
        (-1000*w5 - 920)*r1*t^6 + (-132*w5 + 980)*r1*t^5 + (614*w5 + 330)*r1*t^4
        + (81*w5 - 465)*r1*t^3 + (-112*w5 - 20)*r1*t^2 + 1/4*(-47*w5 + 295)*r1*t
        + 1/8*(-7*w5 + 15)*r1 + (2240*w5 - 4160)*b1*t^8 + (-64*w5 + 640)*b1*t^7 
        + (-4952*w5 + 9240)*b1*t^6 + (172*w5 - 1340)*b1*t^5 + (3462*w5 - 
        6310)*b1*t^4 + (-101*w5 + 725)*b1*t^3 + (-798*w5 + 1330)*b1*t^2 + 
        1/4*(17*w5 - 265)*b1*t + 1/8*(189*w5 - 85)*b1 + (-3648*w5 + 6080)*t^8 + 
        (1824*w5 - 3040)*t^7 + (6840*w5 - 12920)*t^6 + (-2812*w5 + 4940)*t^5 + 
        (-4066*w5 + 8930)*t^4 + (1121*w5 - 2185)*t^3 + (798*w5 - 2090)*t^2 + 
        1/4*(-247*w5 + 855)*t + 1/8*(-247*w5 + 855),
    (736*w5 - 1120)*r1*b1*t^8 + (-176*w5 + 240)*r1*b1*t^7 + (-1336*w5 + 
        2040)*r1*b1*t^6 + (252*w5 - 300)*r1*b1*t^5 + (748*w5 - 1180)*r1*b1*t^4 +
        (-96*w5 + 80)*r1*b1*t^3 + (-136*w5 + 240)*r1*b1*t^2 + 1/2*(13*w5 - 
        5)*r1*b1*t + (3*w5 - 10)*r1*b1 + (-288*w5 + 160)*r1*t^8 + (176*w5 - 
        240)*r1*t^7 + (536*w5 - 600)*r1*t^6 + (-388*w5 + 500)*r1*t^5 + (-304*w5 
        + 640)*r1*t^4 + (254*w5 - 310)*r1*t^3 + (51*w5 - 195)*r1*t^2 + (-47*w5 +
        55)*r1*t + (-864*w5 + 5600)*b1*t^8 + (304*w5 - 1520)*b1*t^7 + (1544*w5 -
        10120)*b1*t^6 + (-588*w5 + 2460)*b1*t^5 + (-732*w5 + 5420)*b1*t^4 + 
        (344*w5 - 1160)*b1*t^3 + (44*w5 - 820)*b1*t^2 + 1/2*(-67*w5 + 195)*b1*t 
        + 1/2*(31*w5 - 25)*b1 + (-608*w5 + 3040)*t^8 + (-304*w5 + 1520)*t^7 + 
        (1976*w5 - 6840)*t^6 + (532*w5 - 2660)*t^5 + (-1824*w5 + 4560)*t^4 + 
        (-266*w5 + 1330)*t^3 + (551*w5 - 855)*t^2 + (38*w5 - 190)*t + 
        1/2*(-95*w5 + 95),
    (320*w5 - 320)*r1*b1*t^8 + (112*w5 - 240)*r1*b1*t^7 + (-584*w5 + 
        520)*r1*b1*t^6 + (-236*w5 + 380)*r1*b1*t^5 + (326*w5 - 230)*r1*b1*t^4 + 
        (144*w5 - 160)*r1*b1*t^3 + 1/2*(-101*w5 + 25)*r1*b1*t^2 + (-24*w5 + 
        20)*r1*b1*t + 1/8*(-29*w5 + 45)*r1*b1 - 2560*r1*t^8 + (-80*w5 + 
        720)*r1*t^7 + (200*w5 + 4600)*r1*t^6 + (76*w5 - 1020)*r1*t^5 + (-290*w5 
        - 2510)*r1*t^4 + (16*w5 + 360)*r1*t^3 + 1/2*(201*w5 + 835)*r1*t^2 + 
        1/2*(-33*w5 - 35)*r1*t + 1/8*(-25*w5 - 95)*r1 + (-960*w5 + 3520)*b1*t^8 
        + (112*w5 + 400)*b1*t^7 + (1976*w5 - 6840)*b1*t^6 + (204*w5 - 
        1660)*b1*t^5 + (-1314*w5 + 4210)*b1*t^4 + (-376*w5 + 1480)*b1*t^3 + 
        1/2*(569*w5 - 1605)*b1*t^2 + (86*w5 - 290)*b1*t + 1/8*(31*w5 - 215)*b1 +
        (1520*w5 - 1520)*t^7 + (-760*w5 + 760)*t^6 + (-2204*w5 + 1900)*t^5 + 
        (950*w5 - 950)*t^4 + (836*w5 - 380)*t^3 + 1/2*(-589*w5 + 665)*t^2 + 
        1/2*(-133*w5 - 95)*t + 1/8*(95*w5 - 95),
    -128*w5*r1*b1*t^8 + (-16*w5 + 80)*r1*b1*t^7 + (352*w5 - 160)*r1*b1*t^6 + 
        (4*w5 - 100)*r1*b1*t^5 + (-292*w5 + 260)*r1*b1*t^4 + (11*w5 + 
        45)*r1*b1*t^3 + 1/2*(137*w5 - 205)*r1*b1*t^2 + 1/4*(-11*w5 - 45)*r1*b1*t
        + 1/8*(-15*w5 + 35)*r1*b1 + (192*w5 + 960)*r1*t^8 + (-176*w5 + 
        240)*r1*t^7 + (-368*w5 - 2000)*r1*t^6 + (284*w5 - 220)*r1*t^5 + (260*w5 
        + 1260)*r1*t^4 + (-133*w5 - 35)*r1*t^3 + 1/2*(-155*w5 - 465)*r1*t^2 + 
        1/4*(43*w5 + 165)*r1*t + 1/8*(43*w5 + 25)*r1 + (832*w5 - 2240)*b1*t^8 + 
        (-176*w5 + 240)*b1*t^7 + (-1728*w5 + 5120)*b1*t^6 + (324*w5 - 
        580)*b1*t^5 + (988*w5 - 3420)*b1*t^4 + (-229*w5 + 485)*b1*t^3 + 
        1/2*(-173*w5 + 1065)*b1*t^2 + 1/4*(229*w5 - 485)*b1*t + 1/8*(-25*w5 - 
        35)*b1 + 2432*w5*t^8 + (304*w5 - 1520)*t^7 + (-5168*w5 + 1520)*t^6 + 
        (-836*w5 + 2660)*t^5 + (3420*w5 - 1900)*t^4 + (627*w5 - 1235)*t^3 + 
        1/2*(-1425*w5 + 1045)*t^2 + 1/4*(-437*w5 + 285)*t + 1/8*(133*w5 + 95),
    (64*w5 - 320)*r1*b1*t^8 + (-48*w5 - 80)*r1*b1*t^7 + (-144*w5 + 
        720)*r1*b1*t^6 + (96*w5 + 80)*r1*b1*t^5 + (90*w5 - 490)*r1*b1*t^4 + 
        (-66*w5 + 10)*r1*b1*t^3 + 1/2*(-19*w5 + 215)*r1*b1*t^2 + 1/4*(77*w5 - 
        85)*r1*b1*t + (-4*w5 - 5)*r1*b1 + (-704*w5 + 960)*r1*t^8 + (400*w5 + 
        240)*r1*t^7 + (1248*w5 - 1760)*r1*t^6 + (-576*w5 - 560)*r1*t^5 + 
        (-690*w5 + 1090)*r1*t^4 + (224*w5 + 360)*r1*t^3 + 1/2*(263*w5 - 
        555)*r1*t^2 + 1/4*(-87*w5 - 225)*r1*t + 1/4*(-27*w5 + 75)*r1 + (704*w5 -
        960)*b1*t^8 + (592*w5 - 1360)*b1*t^7 + (-1584*w5 + 2160)*b1*t^6 + 
        (-904*w5 + 2200)*b1*t^5 + (1130*w5 - 1610)*b1*t^4 + (394*w5 - 
        1090)*b1*t^3 + 1/2*(-629*w5 + 1065)*b1*t^2 + 1/4*(-203*w5 + 795)*b1*t + 
        1/2*(87*w5 - 205)*b1 + (1216*w5 - 6080)*t^8 + (-1520*w5 + 1520)*t^7 + 
        (-2432*w5 + 12160)*t^6 + (2584*w5 - 2280)*t^5 + (1710*w5 - 7790)*t^4 + 
        (-1216*w5 + 760)*t^3 + 1/2*(-1007*w5 + 3515)*t^2 + 1/4*(513*w5 + 95)*t +
        1/4*(133*w5 - 285),
    (288*w5 - 160)*r1*b1*t^8 + (-256*w5 + 320)*r1*b1*t^7 + (-528*w5 + 
        80)*r1*b1*t^6 + (420*w5 - 580)*r1*b1*t^5 + (312*w5 + 120)*r1*b1*t^4 + 
        (-212*w5 + 340)*r1*b1*t^3 + (-66*w5 - 60)*r1*b1*t^2 + 1/4*(135*w5 - 
        255)*r1*b1*t + 1/8*(47*w5 + 5)*r1*b1 + (928*w5 - 800)*r1*t^8 + (-64*w5 -
        640)*r1*t^7 + (-1696*w5 + 1440)*r1*t^6 + (84*w5 + 1100)*r1*t^5 + (916*w5
        - 740)*r1*t^4 + (-30*w5 - 530)*r1*t^3 + (-136*w5 + 70)*r1*t^2 + 
        1/4*(11*w5 + 245)*r1*t + 1/8*(17*w5 + 75)*r1 + (-1312*w5 + 4000)*b1*t^8 
        + (544*w5 - 2400)*b1*t^7 + (3152*w5 - 8720)*b1*t^6 + (-700*w5 + 
        3580)*b1*t^5 + (-2448*w5 + 6240)*b1*t^4 + (188*w5 - 1500)*b1*t^3 + 
        (639*w5 - 1545)*b1*t^2 + 1/4*(15*w5 + 705)*b1*t + 1/8*(-323*w5 + 855)*b1
        + (608*w5 - 3040)*t^8 + (-1824*w5 + 3040)*t^7 + (-1216*w5 + 6080)*t^6 + 
        (2964*w5 - 4180)*t^5 + (836*w5 - 4180)*t^4 + (-1330*w5 + 1330)*t^3 + 
        (-171*w5 + 1045)*t^2 + 1/4*(551*w5 - 95)*t + 1/8*(-133*w5 - 95),
    (160*w5 + 480)*r1*b1*t^8 + (-48*w5 - 400)*r1*b1*t^7 + (-272*w5 - 
        880)*r1*b1*t^6 + (16*w5 + 720)*r1*b1*t^5 + (116*w5 + 540)*r1*b1*t^4 + 
        (43*w5 - 395)*r1*b1*t^3 + 1/2*(-w5 - 235)*r1*b1*t^2 + 1/2*(-37*w5 + 
        125)*r1*b1*t + 1/8*(7*w5 + 5)*r1*b1 + (-352*w5 + 480)*r1*t^8 + (-144*w5 
        + 80)*r1*t^7 + (528*w5 - 720)*r1*t^6 + (296*w5 - 200)*r1*t^5 + (-216*w5 
        + 280)*r1*t^4 + (-165*w5 + 165)*r1*t^3 + 1/2*(45*w5 - 25)*r1*t^2 + 
        1/2*(43*w5 - 115)*r1*t + 1/8*(-w5 - 35)*r1 + (-2720*w5 + 5920)*b1*t^8 + 
        (1712*w5 - 3440)*b1*t^7 + (4848*w5 - 10480)*b1*t^6 + (-2624*w5 + 
        4960)*b1*t^5 + (-2644*w5 + 5540)*b1*t^4 + (1103*w5 - 1815)*b1*t^3 + 
        1/2*(829*w5 - 1545)*b1*t^2 + 1/2*(-197*w5 + 165)*b1*t + 1/8*(-63*w5 + 
        155)*b1 + (608*w5 - 3040)*t^8 + (-304*w5 + 1520)*t^7 + (-912*w5 + 
        4560)*t^6 + (456*w5 - 2280)*t^5 + (304*w5 - 1520)*t^4 + (-285*w5 + 
        1045)*t^3 + 1/2*(95*w5 - 475)*t^2 + 1/2*(133*w5 - 285)*t + 1/8*(-171*w5 
        + 855),
    (-160*w5 + 800)*r1*b1*t^8 + (-16*w5 - 560)*r1*b1*t^7 + (192*w5 - 
        1280)*r1*b1*t^6 + (64*w5 + 880)*r1*b1*t^5 + (-6*w5 + 550)*r1*b1*t^4 + 
        (-57*w5 - 375)*r1*b1*t^3 + (-36*w5 - 40)*r1*b1*t^2 + 1/4*(39*w5 + 
        145)*r1*b1*t + 1/4*(5*w5 - 5)*r1*b1 + (-288*w5 + 160)*r1*t^8 + (-208*w5 
        + 400)*r1*t^7 + (592*w5 - 400)*r1*t^6 + (376*w5 - 840)*r1*t^5 + (-390*w5
        + 230)*r1*t^4 + (-219*w5 + 555)*r1*t^3 + 88*w5*r1*t^2 + 1/4*(179*w5 - 
        435)*r1*t + 1/2*(-7*w5 - 15)*r1 + (-1760*w5 + 2400)*b1*t^8 + (2064*w5 - 
        3920)*b1*t^7 + (3232*w5 - 4960)*b1*t^6 + (-3496*w5 + 6840)*b1*t^5 + 
        (-1886*w5 + 3470)*b1*t^4 + (1683*w5 - 3435)*b1*t^3 + (374*w5 - 
        890)*b1*t^2 + 1/4*(-761*w5 + 1625)*b1*t + 1/4*(-15*w5 + 55)*b1 + 
        (-608*w5 + 3040)*t^8 + (912*w5 - 4560)*t^7 + (912*w5 - 4560)*t^6 + 
        (-1824*w5 + 7600)*t^5 + (-190*w5 + 1710)*t^4 + (1121*w5 - 3705)*t^3 - 
        152*w5*t^2 + 1/4*(-741*w5 + 1805)*t + 19*w5
];