// CANONICAL LIFTING -- CHARACTERISTIC p =  7

a1 :=  5*a0^7 + 4*a0^4*b0^2 + 4*a0*b0^4;

b1 :=  (3*a0^12 + a0^9*b0^2 + 3*a0^6*b0^4 + 5*a0^3*b0^6 + 4*b0^8)/b0;

x1 :=  4/b0*x0^10 + a0/b0*x0^8 + 6*a0^2/b0*x0^6 + 6*a0*x0^5 + (3*a0^3 + 
    2*b0^2)/b0*x0^4 + 5*a0^2*x0^3 + 4*a0*b0*x0^2 + 5*b0^2*x0 + (4*a0^5 + 
    6*a0^2*b0^2)/b0;

P1 :=  6/b0*x0^12 + 2*a0/b0*x0^10 + 4*x0^9 + 3*b0*x0^6 + 5*a0^2*x0^5 + 
    6*a0*b0*x0^4 + (a0^3 + 2*b0^2)*x0^3 + (4*a0^5 + 3*a0^2*b0^2)/b0*x0^2 + 
    (4*a0^4 + 2*a0*b0^2)*x0 + (5*a0^6 + 6*a0^3*b0^2 + 2*b0^4)/b0;

a2 :=  (6*a0^61 + 5*a0^58*b0^2 + 6*a0^55*b0^4 + 4*a0^52*b0^6 + 3*a0^43*b0^12 + 
    6*a0^40*b0^14 + a0^37*b0^16 + a0^34*b0^18 + 4*a0^31*b0^20 + 2*a0^28*b0^22 + 
    3*a0^25*b0^24 + 6*a0^19*b0^28 + a0^16*b0^30 + 3*a0^13*b0^32 + 6*a0^10*b0^34 
    + 2*a0^4*b0^38 + 2*a0*b0^40)/b0^8;

b2 :=  (5*a0^96 + 4*a0^93*b0^2 + 5*a0^90*b0^4 + 6*a0^87*b0^6 + 4*a0^84*b0^8 + 
    3*a0^81*b0^10 + 6*a0^72*b0^16 + 5*a0^69*b0^18 + 5*a0^66*b0^20 + 
    2*a0^60*b0^24 + 3*a0^57*b0^26 + a0^54*b0^28 + 2*a0^51*b0^30 + 6*a0^48*b0^32 
    + 2*a0^45*b0^34 + 6*a0^42*b0^36 + 2*a0^39*b0^38 + a0^33*b0^42 + 
    4*a0^30*b0^44 + 5*a0^27*b0^46 + 4*a0^24*b0^48 + a0^21*b0^50 + 3*a0^18*b0^52 
    + 5*a0^15*b0^54 + 5*a0^12*b0^56 + 5*a0^9*b0^58 + 6*a0^6*b0^60 + 
    6*a0^3*b0^62)/b0^15;

x2 :=  6/b0^8*x0^73 + 5*a0/b0^8*x0^71 + (2*a0^12 + 3*a0^9*b0^2 + 2*a0^6*b0^4 + 
    a0^3*b0^6 + 4*b0^8)/b0^15*x0^70 + 2*a0^2/b0^8*x0^69 + a0/b0^7*x0^68 + (a0^3 
    + 3*b0^2)/b0^8*x0^67 + 6*a0^2/b0^7*x0^66 + (3*a0^3 + 2*b0^2)/b0^7*x0^64 + 
    (5*a0^14 + 6*a0^5*b0^6 + 2*a0^2*b0^8)/b0^14*x0^63 + 6*a0^4/b0^7*x0^62 + 
    (2*a0^3 + 2*b0^2)/b0^6*x0^61 + (2*a0^5 + 5*a0^2*b0^2)/b0^7*x0^60 + (4*a0^7 +
    4*a0^4*b0^2 + 6*a0*b0^4)/b0^8*x0^59 + (4*a0^6 + 4*a0^3*b0^2 + 
    4*b0^4)/b0^7*x0^58 + (a0^8 + 3*a0^5*b0^2 + 5*a0^2*b0^4)/b0^8*x0^57 + 
    (4*a0^19 + 6*a0^16*b0^2 + 4*a0^13*b0^4 + 2*a0^10*b0^6 + 4*a0^7*b0^8 + 
    a0^4*b0^10 + a0*b0^12)/b0^15*x0^56 + (6*a0^9 + 3*a0^6*b0^2 + 4*a0^3*b0^4 + 
    6*b0^6)/b0^8*x0^55 + (6*a0^8 + a0^5*b0^2 + 3*a0^2*b0^4)/b0^7*x0^54 + 
    (3*a0^10 + 6*a0^7*b0^2 + 2*a0^4*b0^4 + 4*a0*b0^6)/b0^8*x0^53 + (6*a0^9 + 
    2*a0^3*b0^4 + 2*b0^6)/b0^7*x0^52 + (5*a0^8 + 5*a0^5*b0^2 + 
    4*a0^2*b0^4)/b0^6*x0^51 + (3*a0^10 + 4*a0^7*b0^2 + 5*a0^4*b0^4 + 
    2*a0*b0^6)/b0^7*x0^50 + (a0^21 + 5*b0^14)/b0^14*x0^49 + (a0^11 + a0^8*b0^2 +
    4*a0^5*b0^4 + a0^2*b0^6)/b0^7*x0^48 + (6*a0^10 + 6*a0^7*b0^2 + 6*a0^4*b0^4 +
    6*a0*b0^6)/b0^6*x0^47 + (3*a0^12 + 3*a0^9*b0^2 + 6*a0^6*b0^4 + 4*a0^3*b0^6 +
    2*b0^8)/b0^7*x0^46 + (4*a0^14 + 4*a0^11*b0^2 + 2*a0^8*b0^4 + 
    5*a0^5*b0^6)/b0^8*x0^45 + (6*a0^13 + 5*a0^10*b0^2 + 5*a0^7*b0^4 + 
    4*a0^4*b0^6 + 2*a0*b0^8)/b0^7*x0^44 + (a0^15 + 2*a0^12*b0^2 + 6*a0^9*b0^4 + 
    4*a0^6*b0^6 + a0^3*b0^8 + 2*b0^10)/b0^8*x0^43 + (3*a0^26 + a0^23*b0^2 + 
    3*a0^20*b0^4 + 5*a0^17*b0^6 + 6*a0^14*b0^8 + 6*a0^11*b0^10 + 6*a0^8*b0^12 + 
    4*a0^5*b0^14 + 5*a0^2*b0^16)/b0^15*x0^42 + (6*a0^16 + 2*a0^13*b0^2 + 
    a0^10*b0^4 + 4*a0^4*b0^8 + 4*a0*b0^10)/b0^8*x0^41 + (5*a0^15 + 2*a0^12*b0^2 
    + 2*a0^9*b0^4 + 2*a0^6*b0^6 + 4*a0^3*b0^8)/b0^7*x0^40 + (3*a0^17 + 
    4*a0^14*b0^2 + 5*a0^11*b0^4 + a0^8*b0^6 + 3*a0^5*b0^8 + 
    a0^2*b0^10)/b0^8*x0^39 + (a0^16 + 3*a0^13*b0^2 + 4*a0^10*b0^4 + 6*a0^7*b0^6 
    + 2*a0^4*b0^8 + a0*b0^10)/b0^7*x0^38 + (5*a0^15 + 3*a0^12*b0^2 + 3*a0^3*b0^8
    + 6*b0^10)/b0^6*x0^37 + (4*a0^17 + 3*a0^14*b0^2 + 3*a0^8*b0^6 + 
    2*a0^2*b0^10)/b0^7*x0^36 + (2*a0^28 + 4*a0^19*b0^6 + 2*a0^16*b0^8 + 
    5*a0^13*b0^10 + 6*a0^10*b0^12 + 4*a0^7*b0^14 + 4*a0^4*b0^16)/b0^14*x0^35 + 
    (a0^12 + 5*a0^9*b0^2 + 6*a0^6*b0^4 + 6*a0^3*b0^6 + 5*b0^8)/b0^3*x0^34 + 
    (3*a0^17 + 3*a0^14*b0^2 + 5*a0^11*b0^4 + 4*a0^8*b0^6 + 4*a0^5*b0^8 + 
    a0^2*b0^10)/b0^6*x0^33 + (a0^19 + 2*a0^16*b0^2 + 6*a0^13*b0^4 + 4*a0^10*b0^6
    + 3*a0^7*b0^8 + 2*a0^4*b0^10 + 5*a0*b0^12)/b0^7*x0^32 + (6*a0^21 + 
    6*a0^18*b0^2 + 6*a0^15*b0^4 + 2*a0^12*b0^6 + 2*a0^3*b0^12 + 
    2*b0^14)/b0^8*x0^31 + (4*a0^20 + 4*a0^17*b0^2 + 4*a0^14*b0^4 + 2*a0^11*b0^6 
    + a0^8*b0^8 + 5*a0^5*b0^10 + 5*a0^2*b0^12)/b0^7*x0^30 + (5*a0^22 + 
    2*a0^19*b0^2 + 2*a0^16*b0^4 + 4*a0^13*b0^6 + a0^10*b0^8 + 2*a0^7*b0^10 + 
    6*a0^4*b0^12 + 3*a0*b0^14)/b0^8*x0^29 + (5*a0^33 + 4*a0^30*b0^2 + 
    5*a0^27*b0^4 + 6*a0^24*b0^6 + 3*a0^21*b0^8 + 3*a0^18*b0^10 + 2*a0^15*b0^12 +
    3*a0^12*b0^14 + 4*a0^6*b0^18 + 3*a0^3*b0^20 + 2*b0^22)/b0^15*x0^28 + 
    (2*a0^23 + 3*a0^20*b0^2 + 4*a0^17*b0^4 + 4*a0^14*b0^6 + a0^11*b0^8 + 
    2*a0^8*b0^10 + 6*a0^5*b0^12 + 4*a0^2*b0^14)/b0^8*x0^27 + (6*a0^22 + 
    6*a0^19*b0^2 + 6*a0^16*b0^4 + 6*a0^13*b0^6 + 4*a0^10*b0^8 + 5*a0^7*b0^10 + 
    3*a0^4*b0^12 + 5*a0*b0^14)/b0^7*x0^26 + (a0^24 + 4*a0^21*b0^2 + 3*a0^18*b0^4
    + 3*a0^15*b0^6 + a0^12*b0^8 + 4*a0^9*b0^10 + 6*a0^6*b0^12 + a0^3*b0^14 + 
    3*b0^16)/b0^8*x0^25 + (2*a0^23 + 3*a0^20*b0^2 + a0^17*b0^4 + 6*a0^14*b0^6 + 
    a0^11*b0^8 + 2*a0^8*b0^10 + 2*a0^5*b0^12 + 4*a0^2*b0^14)/b0^7*x0^24 + (a0^22
    + 4*a0^16*b0^4 + 5*a0^13*b0^6 + 2*a0^10*b0^8 + a0^7*b0^10 + 2*a0^4*b0^12 + 
    6*a0*b0^14)/b0^6*x0^23 + (6*a0^24 + 5*a0^21*b0^2 + 5*a0^18*b0^4 + 
    2*a0^15*b0^6 + 2*a0^12*b0^8 + 6*a0^9*b0^10 + 2*a0^6*b0^12 + 6*a0^3*b0^14 + 
    2*b0^16)/b0^7*x0^22 + (2*a0^35 + 6*a0^26*b0^6 + 2*a0^23*b0^8 + 5*a0^20*b0^10
    + 3*a0^17*b0^12 + 3*a0^14*b0^14 + 4*a0^11*b0^16 + 3*a0^8*b0^18 + 
    3*a0^5*b0^20 + 3*a0^2*b0^22)/b0^14*x0^21 + (5*a0^25 + 3*a0^22*b0^2 + 
    2*a0^16*b0^6 + 2*a0^10*b0^10 + 5*a0^7*b0^12 + 5*a0^4*b0^14 + 
    3*a0*b0^16)/b0^7*x0^20 + (3*a0^24 + a0^21*b0^2 + a0^18*b0^4 + 3*a0^15*b0^6 +
    4*a0^6*b0^12 + 4*a0^3*b0^14 + 6*b0^16)/b0^6*x0^19 + (a0^20 + a0^17*b0^2 + 
    4*a0^14*b0^4 + 4*a0^11*b0^6 + 6*a0^5*b0^10 + 3*a0^2*b0^12)/b0^3*x0^18 + 
    (3*a0^22 + 4*a0^19*b0^2 + 4*a0^16*b0^4 + 4*a0^13*b0^6 + 6*a0^10*b0^8 + 
    3*a0^7*b0^10 + 2*a0^4*b0^12 + 2*a0*b0^14)/b0^4*x0^17 + (2*a0^27 + 
    5*a0^24*b0^2 + a0^21*b0^4 + 3*a0^15*b0^8 + 3*a0^12*b0^10 + 3*a0^9*b0^12 + 
    2*a0^6*b0^14 + 2*a0^3*b0^16)/b0^7*x0^16 + (5*a0^26 + 5*a0^20*b0^4 + 
    3*a0^17*b0^6 + 3*a0^14*b0^8 + 4*a0^8*b0^12 + a0^2*b0^16)/b0^6*x0^15 + 
    (5*a0^28 + 4*a0^19*b0^6 + 6*a0^16*b0^8 + 2*a0^13*b0^10 + 5*a0^10*b0^12 + 
    4*a0^7*b0^14 + a0^4*b0^16 + 5*a0*b0^18)/b0^7*x0^14 + (5*a0^27 + 3*a0^24*b0^2
    + 4*a0^21*b0^4 + 4*a0^15*b0^8 + 3*a0^12*b0^10 + a0^9*b0^12 + a0^6*b0^14 + 
    3*a0^3*b0^16 + 6*b0^18)/b0^6*x0^13 + (6*a0^29 + a0^26*b0^2 + 5*a0^23*b0^4 + 
    3*a0^20*b0^6 + 3*a0^17*b0^8 + 4*a0^14*b0^10 + 2*a0^11*b0^12 + 3*a0^5*b0^16 +
    5*a0^2*b0^18)/b0^7*x0^12 + (a0^22 + 6*a0^19*b0^2 + 2*a0^16*b0^4 + 
    6*a0^13*b0^6 + 2*a0^7*b0^10 + 5*a0^4*b0^12 + 4*a0*b0^14)/b0^2*x0^11 + 
    (4*a0^30 + 5*a0^27*b0^2 + 3*a0^24*b0^4 + 6*a0^21*b0^6 + 4*a0^18*b0^8 + 
    5*a0^15*b0^10 + 4*a0^12*b0^12 + 2*a0^9*b0^14 + a0^6*b0^16 + 5*a0^3*b0^18 + 
    4*b0^20)/b0^7*x0^10 + (5*a0^29 + 2*a0^26*b0^2 + 3*a0^20*b0^6 + 6*a0^14*b0^10
    + 5*a0^11*b0^12 + 4*a0^8*b0^14 + 4*a0^5*b0^16 + 6*a0^2*b0^18)/b0^6*x0^9 + 
    (a0^31 + 5*a0^25*b0^4 + 5*a0^16*b0^10 + a0^13*b0^12 + 2*a0^10*b0^14 + 
    a0^7*b0^16 + 6*a0^4*b0^18 + a0*b0^20)/b0^7*x0^8 + (4*a0^42 + 2*a0^30*b0^8 + 
    3*a0^27*b0^10 + 6*a0^24*b0^12 + a0^21*b0^14 + 6*a0^18*b0^16 + 4*a0^15*b0^18 
    + 6*a0^12*b0^20 + 2*a0^9*b0^22 + 4*a0^6*b0^24 + 3*a0^3*b0^26)/b0^14*x0^7 + 
    (a0^32 + 2*a0^29*b0^2 + 3*a0^26*b0^4 + 4*a0^23*b0^6 + 4*a0^17*b0^10 + 
    4*a0^11*b0^14 + 2*a0^5*b0^18 + 3*a0^2*b0^20)/b0^7*x0^6 + (a0^31 + 
    2*a0^28*b0^2 + 3*a0^25*b0^4 + 3*a0^22*b0^6 + 5*a0^19*b0^8 + 5*a0^13*b0^12 + 
    6*a0^10*b0^14 + 6*a0^7*b0^16 + 5*a0^4*b0^18 + 2*a0*b0^20)/b0^6*x0^5 + 
    (4*a0^33 + 6*a0^30*b0^2 + a0^27*b0^4 + a0^24*b0^6 + 6*a0^21*b0^8 + 
    4*a0^18*b0^10 + 6*a0^15*b0^12 + a0^12*b0^14 + 4*a0^9*b0^16 + 3*a0^6*b0^18 + 
    a0^3*b0^20 + 3*b0^22)/b0^7*x0^4 + (2*a0^32 + 4*a0^29*b0^2 + 6*a0^26*b0^4 + 
    a0^23*b0^6 + a0^17*b0^10 + 5*a0^11*b0^14 + 5*a0^8*b0^16 + 
    4*a0^2*b0^20)/b0^6*x0^3 + (3*a0^31 + 6*a0^28*b0^2 + 2*a0^25*b0^4 + 
    5*a0^22*b0^6 + 5*a0^19*b0^8 + a0^13*b0^12 + 5*a0^10*b0^14 + 
    6*a0*b0^20)/b0^5*x0^2 + (2*a0^30 + 4*a0^27*b0^2 + a0^24*b0^4 + 2*a0^21*b0^6 
    + 4*a0^18*b0^8 + a0^15*b0^10 + 2*a0^12*b0^12 + 4*b0^20)/b0^4*x0 + (2*a0^47 +
    3*a0^44*b0^2 + 2*a0^41*b0^4 + a0^38*b0^6 + a0^35*b0^8 + 4*a0^32*b0^10 + 
    4*a0^29*b0^12 + 3*a0^26*b0^14 + a0^23*b0^16 + 3*a0^20*b0^18 + 5*a0^17*b0^20 
    + 3*a0^14*b0^22 + 6*a0^11*b0^24 + 6*a0^8*b0^26 + 6*a0^5*b0^28 + 
    2*a0^2*b0^30)/b0^15;

P2 :=  6/b0^14*x0^114 + 4*a0/b0^14*x0^112 + 4/b0^13*x0^111 + 4*a0^2/b0^14*x0^110 
    + a0/b0^13*x0^109 + (6*a0^3 + 4*b0^2)/b0^14*x0^108 + 4*a0^2/b0^13*x0^107 + 
    4*a0/b0^12*x0^106 + 6/b0^11*x0^105 + 2/b0^8*x0^96 + 3*a0/b0^8*x0^94 + 
    (3*a0^12 + a0^9*b0^2 + 3*a0^6*b0^4 + 5*a0^3*b0^6 + 6*b0^8)/b0^15*x0^93 + 
    (2*a0^13 + 3*a0^10*b0^2 + 2*a0^7*b0^4 + a0^4*b0^6 + a0*b0^8)/b0^15*x0^91 + 
    (2*a0^12 + 3*a0^9*b0^2 + 2*a0^6*b0^4 + a0^3*b0^6)/b0^14*x0^90 + (2*a0^14 + 
    3*a0^11*b0^2 + 2*a0^8*b0^4 + a0^5*b0^6)/b0^15*x0^89 + (4*a0^13 + 
    6*a0^10*b0^2 + 4*a0^7*b0^4 + 2*a0^4*b0^6 + 5*a0*b0^8)/b0^14*x0^88 + (3*a0^15
    + 3*a0^12*b0^2 + 6*a0^9*b0^4 + 5*a0^3*b0^8 + 5*b0^10)/b0^15*x0^87 + (5*a0^14
    + 3*a0^11*b0^2 + 2*a0^8*b0^4 + 2*a0^2*b0^8)/b0^14*x0^86 + (2*a0^13 + 
    3*a0^10*b0^2 + 2*a0^7*b0^4 + 4*a0*b0^8)/b0^13*x0^85 + (2*a0^15 + 
    3*a0^12*b0^2 + a0^9*b0^4 + 4*a0^3*b0^8 + 4*b0^10)/b0^14*x0^84 + (2*a0^14 + 
    6*a0^2*b0^8)/b0^13*x0^83 + (2*a0^16 + 4*a0^7*b0^6 + 6*a0^4*b0^8 + 
    a0*b0^10)/b0^14*x0^82 + (4*a0^15 + 6*a0^6*b0^6 + 4*a0^3*b0^8 + 
    6*b0^10)/b0^13*x0^81 + (3*a0^17 + 2*a0^14*b0^2 + 6*a0^8*b0^6 + 
    5*a0^5*b0^8)/b0^14*x0^80 + (a0^19 + a0^13*b0^4 + 4*a0^10*b0^6 + 4*a0^7*b0^8 
    + 2*a0^4*b0^10 + a0*b0^12)/b0^15*x0^79 + (2*a0^15 + 5*a0^6*b0^6 + 
    6*a0^3*b0^8)/b0^12*x0^78 + (3*a0^20 + a0^17*b0^2 + 6*a0^14*b0^4 + 
    5*a0^11*b0^6 + 2*a0^8*b0^8 + 4*a0^5*b0^10)/b0^15*x0^77 + (3*a0^19 + 
    a0^16*b0^2 + 3*a0^13*b0^4 + 5*a0^10*b0^6 + 5*a0^4*b0^10 + 
    a0*b0^12)/b0^14*x0^76 + (3*a0^21 + a0^18*b0^2 + 3*a0^15*b0^4 + 5*a0^12*b0^6 
    + 3*a0^6*b0^10 + 6*b0^14)/b0^15*x0^75 + (6*a0^20 + 2*a0^17*b0^2 + 
    6*a0^14*b0^4 + 3*a0^11*b0^6 + 6*a0^8*b0^8 + 5*a0^5*b0^10 + 
    3*a0^2*b0^12)/b0^14*x0^74 + (a0^22 + a0^19*b0^2 + 2*a0^16*b0^4 + 
    6*a0^7*b0^10 + 5*a0^4*b0^12 + 6*a0*b0^14)/b0^15*x0^73 + (3*a0^21 + 
    a0^18*b0^2 + 3*a0^15*b0^4 + 2*a0^12*b0^6 + 4*a0^9*b0^8 + 5*a0^6*b0^10 + 
    3*a0^3*b0^12 + 3*b0^14)/b0^14*x0^72 + (3*a0^20 + a0^17*b0^2 + 3*a0^14*b0^4 +
    2*a0^11*b0^6 + 5*a0^8*b0^8 + 6*a0^5*b0^10 + 6*a0^2*b0^12)/b0^13*x0^71 + 
    (a0^19 + 5*a0^16*b0^2 + 6*a0^13*b0^4 + 2*a0^10*b0^6 + a0^7*b0^8 + 
    2*a0^4*b0^10 + 5*a0*b0^12)/b0^12*x0^70 + (4*a0^12 + a0^9*b0^2 + 
    5*a0^3*b0^6)/b0^7*x0^69 + (5*a0^14 + 4*a0^11*b0^2 + 4*a0^8*b0^4 + 
    3*a0^5*b0^6 + a0^2*b0^8)/b0^8*x0^68 + (4*a0^13 + 3*a0^10*b0^2 + 4*a0^7*b0^4 
    + 2*a0^4*b0^6 + 5*a0*b0^8)/b0^7*x0^67 + (4*a0^15 + 6*a0^12*b0^2 + a0^9*b0^4 
    + 4*a0^6*b0^6 + 3*a0^3*b0^8 + 4*b0^10)/b0^8*x0^66 + (4*a0^14 + 3*a0^11*b0^2 
    + a0^8*b0^4 + 2*a0^5*b0^6 + 2*a0^2*b0^8)/b0^7*x0^65 + (6*a0^13 + 
    4*a0^10*b0^2 + a0^7*b0^4 + 6*a0^4*b0^6 + a0*b0^8)/b0^6*x0^64 + (3*a0^15 + 
    a0^12*b0^2 + 5*a0^9*b0^4 + a0^6*b0^6 + a0^3*b0^8)/b0^7*x0^63 + (5*a0^11 + 
    6*a0^8*b0^2 + 5*a0^2*b0^6)/b0^4*x0^62 + (5*a0^16 + 2*a0^13*b0^2 + 
    4*a0^10*b0^4 + a0^7*b0^6 + 5*a0^4*b0^8 + 4*a0*b0^10)/b0^7*x0^61 + (a0^15 + 
    6*a0^12*b0^2 + 4*a0^9*b0^4 + 4*a0^6*b0^6 + 6*b0^10)/b0^6*x0^60 + (2*a0^17 + 
    2*a0^14*b0^2 + 5*a0^11*b0^4 + 2*a0^8*b0^6 + a0^5*b0^8 + 
    2*a0^2*b0^10)/b0^7*x0^59 + (3*a0^19 + 6*a0^16*b0^2 + 6*a0^13*b0^4 + 
    4*a0^10*b0^6 + 5*a0^7*b0^8 + 3*a0^4*b0^10 + 6*a0*b0^12)/b0^8*x0^58 + 
    (5*a0^18 + 6*a0^15*b0^2 + a0^12*b0^4 + 5*a0^6*b0^8 + a0^3*b0^10 + 
    5*b0^12)/b0^7*x0^57 + (2*a0^20 + a0^17*b0^2 + a0^11*b0^6 + 5*a0^8*b0^8 + 
    6*a0^5*b0^10 + 4*a0^2*b0^12)/b0^8*x0^56 + (4*a0^13 + 4*a0^10*b0^2 + 
    3*a0^7*b0^4 + 4*a0*b0^8)/b0^3*x0^55 + (2*a0^21 + 3*a0^18*b0^2 + 2*a0^15*b0^4
    + a0^12*b0^6 + a0^9*b0^8 + 2*a0^6*b0^10 + 3*a0^3*b0^12 + b0^14)/b0^8*x0^54 +
    (6*a0^20 + a0^17*b0^2 + a0^14*b0^4 + 6*a0^8*b0^8 + a0^5*b0^10 + 
    3*a0^2*b0^12)/b0^7*x0^53 + (3*a0^22 + 3*a0^19*b0^2 + 6*a0^16*b0^4 + 
    6*a0^13*b0^6 + 6*a0^10*b0^8 + 3*a0^7*b0^10 + a0^4*b0^12 + 
    2*a0*b0^14)/b0^8*x0^52 + (2*a0^21 + a0^18*b0^2 + 4*a0^15*b0^4 + 2*a0^12*b0^6
    + a0^9*b0^8 + 6*a0^6*b0^10 + 6*a0^3*b0^12 + b0^14)/b0^7*x0^51 + (a0^20 + 
    5*a0^17*b0^2 + 3*a0^14*b0^4 + 5*a0^11*b0^6 + 6*a0^8*b0^8 + 
    4*a0^2*b0^12)/b0^6*x0^50 + (a0^22 + 3*a0^19*b0^2 + 3*a0^16*b0^4 + a0^13*b0^6
    + 2*a0^10*b0^8 + 5*a0^4*b0^12 + 2*a0*b0^14)/b0^7*x0^49 + (6*a0^18 + 
    5*a0^15*b0^2 + 3*a0^12*b0^4 + a0^9*b0^6 + a0^6*b0^8 + 
    3*a0^3*b0^10)/b0^4*x0^48 + (6*a0^23 + 3*a0^20*b0^2 + 3*a0^17*b0^4 + 
    3*a0^14*b0^6 + 4*a0^11*b0^8 + 4*a0^8*b0^10 + 2*a0^5*b0^12 + 
    6*a0^2*b0^14)/b0^7*x0^47 + (6*a0^13 + 6*a0^10*b0^2 + 5*a0^7*b0^4 + a0^4*b0^6
    + 4*a0*b0^8)*x0^46 + (5*a0^24 + a0^21*b0^2 + 5*a0^18*b0^4 + 5*a0^15*b0^6 + 
    5*a0^12*b0^8 + a0^9*b0^10 + a0^6*b0^12 + a0^3*b0^14)/b0^7*x0^45 + (6*a0^35 +
    3*a0^26*b0^6 + 2*a0^23*b0^8 + a0^20*b0^10 + 3*a0^17*b0^12 + a0^14*b0^14 + 
    5*a0^5*b0^20 + 2*a0^2*b0^22)/b0^14*x0^44 + (a0^25 + 2*a0^22*b0^2 + 
    a0^19*b0^4 + 3*a0^16*b0^6 + 5*a0^13*b0^8 + 5*a0^7*b0^12 + 5*a0^4*b0^14 + 
    3*a0*b0^16)/b0^7*x0^43 + (4*a0^36 + 2*a0^27*b0^6 + 3*a0^24*b0^8 + 
    5*a0^18*b0^12 + 4*a0^15*b0^14 + a0^12*b0^16 + 2*a0^9*b0^18 + 6*a0^6*b0^20 + 
    a0^3*b0^22 + 6*b0^24)/b0^14*x0^42 + (4*a0^35 + 5*a0^26*b0^6 + 5*a0^23*b0^8 +
    5*a0^20*b0^10 + 2*a0^17*b0^12 + 4*a0^14*b0^14 + 3*a0^11*b0^16 + 2*a0^8*b0^18
    + 4*a0^5*b0^20 + 2*a0^2*b0^22)/b0^13*x0^41 + (4*a0^37 + 2*a0^28*b0^6 + 
    4*a0^25*b0^8 + 5*a0^22*b0^10 + 4*a0^19*b0^12 + 6*a0^16*b0^14 + 4*a0^13*b0^16
    + 4*a0^10*b0^18 + 3*a0^7*b0^20 + 2*a0^4*b0^22 + 4*a0*b0^24)/b0^14*x0^40 + 
    (a0^36 + 2*a0^24*b0^8 + 3*a0^21*b0^10 + 6*a0^18*b0^12 + 3*a0^15*b0^14 + 
    3*a0^12*b0^16 + 6*a0^6*b0^20 + 5*a0^3*b0^22 + b0^24)/b0^13*x0^39 + (6*a0^38 
    + 4*a0^35*b0^2 + 3*a0^29*b0^6 + a0^26*b0^8 + 3*a0^23*b0^10 + 6*a0^20*b0^12 +
    3*a0^17*b0^14 + 6*a0^14*b0^16 + 2*a0^8*b0^20 + 3*a0^2*b0^24)/b0^14*x0^38 + 
    (4*a0^37 + 2*a0^28*b0^6 + 3*a0^22*b0^10 + 4*a0^19*b0^12 + 6*a0^16*b0^14 + 
    6*a0^13*b0^16 + 3*a0^10*b0^18 + 6*a0^7*b0^20 + 3*a0^4*b0^22 + 
    6*a0*b0^24)/b0^13*x0^37 + (4*a0^36 + 4*a0^27*b0^6 + 4*a0^24*b0^8 + 
    a0^15*b0^14 + 5*a0^12*b0^16 + 2*a0^9*b0^18 + 4*a0^3*b0^22)/b0^12*x0^36 + 
    (6*a0^35 + 6*a0^29*b0^4 + a0^26*b0^6 + 5*a0^23*b0^8 + 2*a0^20*b0^10 + 
    2*a0^17*b0^12 + 5*a0^14*b0^14 + 4*a0^11*b0^16 + 3*a0^8*b0^18 + 5*a0^5*b0^20 
    + 2*a0^2*b0^22)/b0^11*x0^35 + (6*a0^25 + 2*a0^22*b0^2 + 3*a0^19*b0^4 + 
    6*a0^16*b0^6 + 6*a0^13*b0^8 + 3*a0^10*b0^10 + 5*a0^7*b0^12 + 4*a0^4*b0^14 + 
    5*a0*b0^16)/b0^4*x0^34 + (4*a0^30 + 2*a0^27*b0^2 + 6*a0^24*b0^4 + a0^21*b0^6
    + 3*a0^18*b0^8 + 6*a0^15*b0^10 + 6*a0^12*b0^12 + 4*a0^9*b0^14 + 
    6*a0^3*b0^18)/b0^7*x0^33 + (4*a0^26 + 5*a0^23*b0^2 + 6*a0^20*b0^4 + 
    4*a0^17*b0^6 + 3*a0^14*b0^8 + 3*a0^11*b0^10 + a0^8*b0^12 + 4*a0^5*b0^14 + 
    4*a0^2*b0^16)/b0^4*x0^32 + (a0^31 + a0^28*b0^2 + 5*a0^25*b0^4 + 3*a0^22*b0^6
    + a0^19*b0^8 + a0^16*b0^10 + a0^13*b0^12 + a0^10*b0^14 + 5*a0^7*b0^16 + 
    5*a0^4*b0^18 + 6*a0*b0^20)/b0^7*x0^31 + (2*a0^42 + a0^33*b0^6 + 2*a0^30*b0^8
    + 5*a0^27*b0^10 + 5*a0^18*b0^16 + 3*a0^15*b0^18 + 6*a0^12*b0^20 + 
    6*a0^9*b0^22 + 3*a0^6*b0^24 + 3*b0^28)/b0^14*x0^30 + (5*a0^32 + 4*a0^26*b0^4
    + 6*a0^23*b0^6 + 5*a0^20*b0^8 + a0^17*b0^10 + 6*a0^14*b0^12 + 4*a0^11*b0^14 
    + 4*a0^8*b0^16 + a0^5*b0^18 + 5*a0^2*b0^20)/b0^7*x0^29 + (6*a0^43 + 
    3*a0^34*b0^6 + 6*a0^31*b0^8 + a0^28*b0^10 + 3*a0^25*b0^12 + 3*a0^22*b0^14 + 
    3*a0^13*b0^20 + 4*a0^7*b0^24 + 4*a0^4*b0^26 + 5*a0*b0^28)/b0^14*x0^28 + 
    (6*a0^42 + 2*a0^33*b0^6 + 2*a0^30*b0^8 + a0^27*b0^10 + 3*a0^24*b0^12 + 
    4*a0^21*b0^14 + 2*a0^18*b0^16 + 5*a0^15*b0^18 + a0^12*b0^20 + 2*a0^9*b0^22 +
    2*a0^6*b0^24 + 5*a0^3*b0^26)/b0^13*x0^27 + (6*a0^44 + 3*a0^35*b0^6 + 
    5*a0^32*b0^8 + 4*a0^29*b0^10 + 4*a0^23*b0^14 + a0^20*b0^16 + 4*a0^14*b0^20 +
    2*a0^11*b0^22 + 3*a0^8*b0^24 + a0^5*b0^26 + 6*a0^2*b0^28)/b0^14*x0^26 + 
    (5*a0^43 + 5*a0^34*b0^6 + 3*a0^31*b0^8 + 3*a0^28*b0^10 + 5*a0^25*b0^12 + 
    5*a0^22*b0^14 + a0^19*b0^16 + a0^16*b0^18 + a0^13*b0^20 + 3*a0^10*b0^22 + 
    5*a0^7*b0^24 + 6*a0^4*b0^26 + 3*a0*b0^28)/b0^13*x0^25 + (2*a0^45 + 
    6*a0^42*b0^2 + a0^36*b0^6 + 4*a0^24*b0^14 + 3*a0^21*b0^16 + 6*a0^18*b0^18 + 
    5*a0^12*b0^22 + a0^6*b0^26 + b0^30)/b0^14*x0^24 + (2*a0^47 + 2*a0^44*b0^2 + 
    2*a0^41*b0^4 + a0^38*b0^6 + 5*a0^35*b0^8 + 5*a0^32*b0^10 + 6*a0^29*b0^12 + 
    a0^26*b0^14 + a0^23*b0^16 + a0^20*b0^18 + 4*a0^17*b0^20 + a0^14*b0^22 + 
    6*a0^11*b0^24 + 5*a0^8*b0^26 + 5*a0^2*b0^30)/b0^15*x0^23 + (6*a0^43 + 
    2*a0^31*b0^8 + a0^28*b0^10 + 5*a0^25*b0^12 + 6*a0^22*b0^14 + 3*a0^19*b0^16 +
    4*a0^16*b0^18 + 2*a0^13*b0^20 + 3*a0^10*b0^22 + a0^7*b0^24 + 3*a0^4*b0^26 + 
    a0*b0^28)/b0^12*x0^22 + (6*a0^48 + 2*a0^45*b0^2 + a0^42*b0^4 + 3*a0^39*b0^6 
    + a0^36*b0^8 + 5*a0^33*b0^10 + 2*a0^30*b0^12 + 3*a0^27*b0^14 + a0^24*b0^16 +
    a0^12*b0^24 + a0^6*b0^28 + 6*a0^3*b0^30 + 5*b0^32)/b0^15*x0^21 + (6*a0^47 + 
    2*a0^44*b0^2 + 6*a0^41*b0^4 + 3*a0^38*b0^6 + a0^35*b0^8 + 2*a0^32*b0^10 + 
    3*a0^29*b0^12 + a0^26*b0^14 + a0^20*b0^18 + 5*a0^17*b0^20 + a0^14*b0^22 + 
    5*a0^11*b0^24 + 4*a0^8*b0^26 + 5*a0^2*b0^30)/b0^14*x0^20 + (6*a0^49 + 
    2*a0^46*b0^2 + 6*a0^43*b0^4 + 3*a0^40*b0^6 + 4*a0^37*b0^8 + 6*a0^34*b0^10 + 
    2*a0^31*b0^12 + 5*a0^28*b0^14 + 6*a0^25*b0^16 + 2*a0^22*b0^18 + 
    4*a0^19*b0^20 + 5*a0^16*b0^22 + a0^13*b0^24 + 2*a0^10*b0^26 + 4*a0^7*b0^28 +
    3*a0^4*b0^30 + 2*a0*b0^32)/b0^15*x0^19 + (5*a0^48 + 4*a0^45*b0^2 + 
    5*a0^42*b0^4 + 6*a0^39*b0^6 + 4*a0^36*b0^8 + 6*a0^33*b0^10 + a0^30*b0^12 + 
    a0^27*b0^14 + 2*a0^24*b0^16 + 6*a0^18*b0^20 + 6*a0^15*b0^22 + a0^12*b0^24 + 
    5*a0^9*b0^26 + 2*a0^6*b0^28 + 2*a0^3*b0^30 + 2*b0^32)/b0^14*x0^18 + (2*a0^50
    + 2*a0^47*b0^2 + 4*a0^44*b0^4 + 4*a0^38*b0^8 + 4*a0^35*b0^10 + a0^29*b0^14 +
    6*a0^26*b0^16 + 6*a0^20*b0^20 + 2*a0^17*b0^22 + a0^14*b0^24 + 6*a0^11*b0^26 
    + 2*a0^8*b0^28 + 4*a0^5*b0^30 + a0^2*b0^32)/b0^15*x0^17 + (2*a0^46 + 
    6*a0^43*b0^2 + 3*a0^40*b0^4 + 6*a0^37*b0^6 + 3*a0^34*b0^8 + a0^31*b0^10 + 
    4*a0^28*b0^12 + 5*a0^25*b0^14 + 2*a0^22*b0^16 + 2*a0^19*b0^18 + 
    5*a0^16*b0^20 + 6*a0^13*b0^22 + 4*a0^7*b0^26 + a0*b0^30)/b0^12*x0^16 + 
    (6*a0^48 + 2*a0^45*b0^2 + 6*a0^42*b0^4 + 5*a0^39*b0^6 + a0^33*b0^10 + 
    a0^30*b0^12 + a0^27*b0^14 + 6*a0^24*b0^16 + 6*a0^18*b0^20 + 4*a0^15*b0^22 + 
    5*a0^12*b0^24 + 2*a0^6*b0^28 + 5*a0^3*b0^30 + b0^32)/b0^13*x0^15 + (3*a0^50 
    + 2*a0^47*b0^2 + 3*a0^44*b0^4 + 2*a0^41*b0^6 + 4*a0^38*b0^8 + 5*a0^35*b0^10 
    + 2*a0^32*b0^12 + 5*a0^29*b0^14 + 3*a0^26*b0^16 + 5*a0^23*b0^18 + 
    6*a0^20*b0^20 + 6*a0^17*b0^22 + 5*a0^14*b0^24 + 4*a0^11*b0^26 + a0^8*b0^28 +
    3*a0^5*b0^30 + 5*a0^2*b0^32)/b0^14*x0^14 + (3*a0^49 + 5*a0^40*b0^6 + 
    4*a0^37*b0^8 + 4*a0^34*b0^10 + 2*a0^31*b0^12 + 3*a0^28*b0^14 + 5*a0^25*b0^16
    + 4*a0^22*b0^18 + 5*a0^19*b0^20 + 3*a0^16*b0^22 + 5*a0^13*b0^24 + 
    4*a0^10*b0^26 + 3*a0^7*b0^28 + a0*b0^32)/b0^13*x0^13 + (3*a0^51 + 
    5*a0^39*b0^8 + 3*a0^33*b0^12 + 5*a0^30*b0^14 + a0^27*b0^16 + 5*a0^18*b0^22 +
    3*a0^15*b0^24 + 2*a0^12*b0^26 + a0^9*b0^28 + a0^3*b0^32 + b0^34)/b0^14*x0^12
    + (6*a0^50 + 5*a0^41*b0^6 + a0^38*b0^8 + 2*a0^35*b0^10 + a0^32*b0^12 + 
    a0^29*b0^14 + 6*a0^26*b0^16 + 5*a0^23*b0^18 + 6*a0^20*b0^20 + 4*a0^17*b0^22 
    + 4*a0^14*b0^24 + 2*a0^11*b0^26 + 2*a0^2*b0^32)/b0^13*x0^11 + (a0^52 + 
    3*a0^49*b0^2 + 3*a0^34*b0^12 + 3*a0^31*b0^14 + 6*a0^28*b0^16 + 4*a0^25*b0^18
    + 5*a0^22*b0^20 + 6*a0^19*b0^22 + a0^16*b0^24 + 6*a0^13*b0^26 + a0^10*b0^28 
    + 6*a0^7*b0^30 + 2*a0^4*b0^32 + a0*b0^34)/b0^14*x0^10 + (6*a0^54 + 
    5*a0^51*b0^2 + 6*a0^48*b0^4 + 3*a0^45*b0^6 + 3*a0^42*b0^8 + a0^39*b0^10 + 
    4*a0^36*b0^12 + 2*a0^33*b0^14 + 2*a0^30*b0^16 + 2*a0^27*b0^18 + 
    5*a0^21*b0^22 + 5*a0^18*b0^24 + 2*a0^15*b0^26 + 5*a0^9*b0^30 + 6*a0^6*b0^32 
    + 2*a0^3*b0^34 + 6*b0^36)/b0^15*x0^9 + (3*a0^50 + 3*a0^41*b0^6 + 
    5*a0^38*b0^8 + 2*a0^35*b0^10 + 4*a0^32*b0^12 + 2*a0^29*b0^14 + a0^26*b0^16 +
    2*a0^23*b0^18 + 4*a0^20*b0^20 + 6*a0^17*b0^22 + 6*a0^8*b0^28 + 4*a0^5*b0^30 
    + 3*a0^2*b0^32)/b0^12*x0^8 + (4*a0^55 + 6*a0^52*b0^2 + 5*a0^49*b0^4 + 
    2*a0^46*b0^6 + 6*a0^43*b0^8 + 2*a0^40*b0^10 + 4*a0^37*b0^12 + 2*a0^34*b0^14 
    + 6*a0^31*b0^16 + 3*a0^28*b0^18 + a0^25*b0^20 + 3*a0^22*b0^22 + 
    3*a0^19*b0^24 + 2*a0^16*b0^26 + a0^13*b0^28 + 4*a0^10*b0^30 + 2*a0^7*b0^32 +
    6*a0^4*b0^34 + 2*a0*b0^36)/b0^15*x0^7 + (4*a0^54 + 6*a0^51*b0^2 + 
    4*a0^48*b0^4 + 2*a0^45*b0^6 + a0^42*b0^8 + 6*a0^39*b0^10 + 3*a0^36*b0^12 + 
    3*a0^33*b0^14 + 4*a0^30*b0^16 + 3*a0^21*b0^22 + 2*a0^18*b0^24 + 
    4*a0^15*b0^26 + 3*a0^12*b0^28 + 4*a0^9*b0^30 + 3*a0^6*b0^32 + a0^3*b0^34 + 
    3*b0^36)/b0^14*x0^6 + (4*a0^56 + 6*a0^53*b0^2 + 4*a0^50*b0^4 + 2*a0^47*b0^6 
    + a0^44*b0^8 + 3*a0^41*b0^10 + 6*a0^38*b0^12 + a0^35*b0^14 + 6*a0^32*b0^16 +
    6*a0^29*b0^18 + a0^26*b0^20 + 2*a0^23*b0^22 + 5*a0^20*b0^24 + 4*a0^17*b0^26 
    + 6*a0^14*b0^28 + 2*a0^11*b0^30 + 3*a0^5*b0^34 + 4*a0^2*b0^36)/b0^15*x0^5 + 
    (a0^55 + 5*a0^52*b0^2 + a0^49*b0^4 + 4*a0^46*b0^6 + 2*a0^43*b0^8 + 
    3*a0^40*b0^10 + 6*a0^37*b0^12 + 3*a0^31*b0^16 + 4*a0^28*b0^18 + 
    4*a0^25*b0^20 + 2*a0^22*b0^22 + 3*a0^19*b0^24 + 3*a0^16*b0^26 + 
    2*a0^13*b0^28 + 3*a0^10*b0^30 + 2*a0^7*b0^32 + 2*a0^4*b0^34 + 
    6*a0*b0^36)/b0^14*x0^4 + (6*a0^57 + 6*a0^54*b0^2 + 5*a0^51*b0^4 + 
    5*a0^45*b0^8 + 3*a0^42*b0^10 + a0^33*b0^16 + 2*a0^30*b0^18 + 3*a0^27*b0^20 +
    5*a0^24*b0^22 + 4*a0^18*b0^26 + 5*a0^15*b0^28 + 3*a0^12*b0^30 + 4*a0^6*b0^34
    + 3*a0^3*b0^36 + 6*b0^38)/b0^15*x0^3 + (4*a0^56 + 6*a0^53*b0^2 + 
    4*a0^50*b0^4 + a0^47*b0^6 + 2*a0^44*b0^8 + 4*a0^41*b0^10 + 4*a0^35*b0^14 + 
    3*a0^32*b0^16 + 6*a0^26*b0^20 + 5*a0^23*b0^22 + 2*a0^20*b0^24 + 
    2*a0^17*b0^26 + a0^14*b0^28 + 4*a0^8*b0^32 + 4*a0^5*b0^34 + 
    3*a0^2*b0^36)/b0^14*x0^2 + (4*a0^55 + 6*a0^52*b0^2 + 4*a0^49*b0^4 + 
    a0^46*b0^6 + 4*a0^43*b0^8 + 2*a0^40*b0^10 + 5*a0^37*b0^12 + 5*a0^34*b0^14 + 
    a0^31*b0^16 + 2*a0^28*b0^18 + 2*a0^22*b0^22 + 2*a0^19*b0^24 + 6*a0^16*b0^26 
    + 2*a0^13*b0^28 + a0^7*b0^32 + 4*a0^4*b0^34 + 6*a0*b0^36)/b0^13*x0 + 
    (6*a0^54 + 2*a0^51*b0^2 + 3*a0^48*b0^4 + 5*a0^45*b0^6 + a0^42*b0^8 + 
    2*a0^39*b0^10 + 4*a0^36*b0^12 + 3*a0^33*b0^14 + 2*a0^30*b0^16 + 
    2*a0^24*b0^20 + 3*a0^18*b0^24 + 3*a0^15*b0^26 + 6*a0^12*b0^28 + 3*a0^9*b0^30
    + 3*a0^6*b0^32 + 3*a0^3*b0^34 + 2*b0^36)/b0^12;

