Skip to content

Instantly share code, notes, and snippets.

@samueltangz
Created October 2, 2019 14:55
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save samueltangz/81725254645642949ae42d139cdc74b9 to your computer and use it in GitHub Desktop.
Save samueltangz/81725254645642949ae42d139cdc74b9 to your computer and use it in GitHub Desktop.
from Crypto.Cipher import AES
from Crypto.Util.number import long_to_bytes
import hashlib
from random import randint
def sha256(my_string):
m = hashlib.sha256(my_string).digest()
v = long_to_bytes(ZZ(m.encode('hex'), 16))
return v
def generate_random_vector_mod(q, dimension):
return vector([ ZZ(randint(0, q - 1)) for i in range(dimension)])
def reduction_mod(r, q):
# returns r % q
return (r/q - floor(r/q))*q
def vector_to_polynomial(vector):
poly = 0
for i in range(vector.length()):
poly = poly + x^i * vector[i]
return poly
def coeff_to_canonical(polynomial, vector):
eval = []
for i in range(len(vector)):
eval.append(polynomial(vector[i]))
return eval
def canonical_to_coeff(canonical):
# assuming roots_of_defining_polynomial
coeff_interm = Sigma_Inv * vector(canonical)
coeff = []
for i in range(degree):
coeff.append(coeff_interm[i].real())
return coeff
def generate_secret(prime,degree):
secret_coeff = vector_to_polynomial(generate_random_vector_mod(prime, degree))
return secret_coeff
S.<x>=PolynomialRing(RationalField(100))
prime = 1487
sigma = 1000
nr_samples = 8
defining_polynomial = x^256 + prime - 1
J = S.ideal(defining_polynomial)
N = S.quotient_ring(J)
degree = defining_polynomial.degree()
r, s = 0, 128
roots_of_defining_polynomial = []
aux = [i[0] for i in defining_polynomial.roots(CC)]
for i in range(r):
roots_of_defining_polynomial.append(aux[i])
for i in range(s):
roots_of_defining_polynomial.append(aux[r + i*2])
for i in range(s):
roots_of_defining_polynomial.append(aux[r + i*2 + 1])
I = CC.0
I_s = identity_matrix(s)
U = block_matrix([[1/float(sqrt(2))*I_s, I/float(sqrt(2))*I_s], [1/float(sqrt(2))*I_s, -I/float(sqrt(2))*I_s]], subdivide = False)
Sigma = matrix(CDF.to_prec(230), degree, degree, lambda i,j: roots_of_defining_polynomial[i]^j)
Sigma_Inv = Sigma.inverse()
a0 = canonical_to_coeff([-2.04638712879594e6 + 328098.801852031*I, -1.92880223849081e6 + 1.53222586988320e6*I, 25591.5644928380 + 2.02789606376894e6*I, 744686.442519076 + 336757.377112104*I, -856907.339111879 - 394936.624404031*I, -1.32283910978551e6 + 1.48558763851622e6*I, 399667.133495210 + 1.69833994137287e6*I, 731912.201323394 + 755592.221001882*I, 506748.661988320 + 395374.114160221*I, 492547.514415461 + 434076.011047854*I, 620321.580649770 - 187473.251432116*I, -609634.854883947 - 397667.380587311*I, -358467.215475400 + 1.09366579216047e6*I, 836914.183798596 + 631392.495313736*I, 521689.396668416 - 292608.968382063*I, -170633.960159641 - 696570.457379296*I, -1.16518963102041e6 - 242935.924810285*I, -1.23416148725955e6 + 641736.077217902*I, -1.12228793000255e6 + 1.47959332770202e6*I, -102120.996560463 + 1.64190409298024e6*I, -404995.366564364 + 1.30353075974313e6*I, -516951.416454716 + 2.20515642512379e6*I, 644520.123150050 + 2.91897775619103e6*I, 1.55658581360305e6 + 2.36884298319091e6*I, 2.08765473397983e6 + 2.22989403774492e6*I, 2.72602816664405e6 + 1.73593232149036e6*I, 3.34233281501419e6 + 948798.992775025*I, 3.32804342699965e6 - 320124.287462918*I, 2.62052864618533e6 - 925638.143062552*I, 2.09452572632327e6 - 1.08504460032237e6*I, 1.98953165120748e6 - 827032.086856833*I, 2.27361539569229e6 - 1.78185532593869e6*I, 1.00520216048859e6 - 1.83834326120700e6*I, 1.59243679464146e6 - 1.76889250425443e6*I, 20334.4207426705 - 3.02970617319989e6*I, -1.24426477908377e6 - 871316.393456512*I, 506887.778471089 - 235704.586801485*I, 314489.266991047 - 1.13758846866284e6*I, 332423.775986896 - 771180.589423936*I, 547649.188884542 - 1.30134787974989e6*I, 13187.1699744468 - 1.85889845364774e6*I, -882946.873580492 - 1.71318083048089e6*I, -1.82457195672221e6 - 1.17885650563216e6*I, -1.81654540558386e6 + 597099.242155738*I, -19123.7725273825 + 1.08281387264715e6*I, 350683.674242262 - 658586.498454530*I, -1.34555495150043e6 - 386300.346389233*I, -758897.580783982 + 1.23505580141951e6*I, 772802.282190976 + 985769.956138196*I, 658693.843073499 - 809543.880831613*I, -1.01529762187808e6 - 431080.706763289*I, -845590.414336214 + 561915.955857513*I, -707697.935008144 + 1.19927752699365e6*I, 210217.172240293 + 1.57133479195500e6*I, 375154.874983905 + 1.48745217853343e6*I, 1.69052533892806e6 + 2.20465370904103e6*I, 3.17210523806282e6 + 431875.270585660*I, 2.30455770703898e6 - 1.50133867577592e6*I, 995084.274126093 - 1.49368833619228e6*I, 647152.173934216 - 1.40215852549441e6*I, 236328.144019833 - 1.65958236437046e6*I, -417554.819646042 - 1.78507248122391e6*I, -2.29085575160710e6 - 1.48219519890199e6*I, -2.31492826092431e6 + 909918.796545567*I, -1.36939123052506e6 + 1.54540954240823e6*I, -955778.082397072 + 2.53533604134077e6*I, 646334.507526698 + 3.08646819816564e6*I, 2.12417151206748e6 + 2.34894019383992e6*I, 2.44045419018641e6 + 1.21349841875075e6*I, 2.11357686649640e6 + 871358.763433872*I, 2.88060834839820e6 + 762112.036355592*I, 3.00161322386568e6 - 628389.676666368*I, 2.25368284398172e6 - 1.26864425419927e6*I, 1.25213060918292e6 - 1.35997222990376e6*I, 862644.499566139 - 731248.979392074*I, 802454.679775013 - 35343.8932316948*I, 1.86881675208056e6 + 673646.288328906*I, 2.96040939244039e6 - 576794.203566252*I, 2.41355728779323e6 - 1.20654667920844e6*I, 2.80339794513849e6 - 1.32742403554550e6*I, 3.20960357899696e6 - 2.82594007131393e6*I, 1.71746744208361e6 - 4.51884851805856e6*I, -739646.379056968 - 4.34608188992969e6*I, -2.02049449970625e6 - 2.68839349331621e6*I, -2.06063987931629e6 - 1.05163075745834e6*I, -1.14326657998755e6 + 153501.595090984*I, 66928.8071054044 + 256146.454808126*I, 347802.386033827 - 90506.7275091768*I, 1.12097256166456e6 - 674584.752244551*I, 190277.265080906 - 1.57945392603424e6*I, -1.02160510815261e6 - 382555.711287338*I, 533694.485039762 + 762172.412310159*I, 1.13990872801220e6 - 50330.4778531608*I, 992703.776162816 - 329754.927252644*I, 1.31887169055535e6 + 339125.443640525*I, 2.46937143450691e6 - 202193.425423232*I, 3.11978282539633e6 - 1.28159315145274e6*I, 2.68131772966179e6 - 3.01416598991045e6*I, 769119.632899550 - 3.81287291313371e6*I, -602812.165922881 - 2.39382456417634e6*I, 219729.696684355 - 1.23103018871117e6*I, 970010.835340250 - 1.65129549715728e6*I, 660781.984626669 - 2.48449387173129e6*I, -361478.260613008 - 2.39618304556602e6*I, -1.38617695627250e6 - 694311.425343888*I, 872412.359110289 + 1.34831561535410e6*I, 3.69135136685471e6 + 370330.584112673*I, 5.18910713770738e6 - 2.62810086361878e6*I, 3.78718157369377e6 - 5.52623500639709e6*I, 1.56066980171977e6 - 6.38107406379170e6*I, -334849.992338514 - 6.94319292202594e6*I, -3.12284937354442e6 - 5.51928461141507e6*I, -3.24232605208897e6 - 2.27990012980898e6*I, -705635.893404946 - 1.28426349942900e6*I, 277929.530677515 - 1.97392337307364e6*I, 1.74818012494119e6 - 3.02731041862870e6*I, 1.13220068889009e6 - 5.46627465708409e6*I, -813095.077200900 - 5.88670370505693e6*I, -1.61995913102232e6 - 4.90156944431693e6*I, -1.14857853946753e6 - 4.55964643188335e6*I, -726828.827245842 - 4.79510648224373e6*I, 57774.7249478363 - 5.77644643833645e6*I, 165711.776332521 - 7.68748517700930e6*I, -383926.418208626 - 1.04485736561382e7*I, -2.81664317143587e6 - 1.36783079162712e7*I, -7.20674703077301e6 - 1.70718894862370e7*I, -1.58564921127805e7 - 2.03799356718606e7*I, -3.46204635011892e7 - 1.45365950571647e7*I, -2.04638712879594e6 - 328098.801852031*I, -1.92880223849081e6 - 1.53222586988320e6*I, 25591.5644928380 - 2.02789606376894e6*I, 744686.442519076 - 336757.377112104*I, -856907.339111879 + 394936.624404031*I, -1.32283910978551e6 - 1.48558763851622e6*I, 399667.133495210 - 1.69833994137287e6*I, 731912.201323394 - 755592.221001882*I, 506748.661988320 - 395374.114160221*I, 492547.514415461 - 434076.011047854*I, 620321.580649770 + 187473.251432116*I, -609634.854883947 + 397667.380587311*I, -358467.215475400 - 1.09366579216047e6*I, 836914.183798596 - 631392.495313736*I, 521689.396668416 + 292608.968382063*I, -170633.960159641 + 696570.457379296*I, -1.16518963102041e6 + 242935.924810285*I, -1.23416148725955e6 - 641736.077217902*I, -1.12228793000255e6 - 1.47959332770202e6*I, -102120.996560463 - 1.64190409298024e6*I, -404995.366564364 - 1.30353075974313e6*I, -516951.416454716 - 2.20515642512379e6*I, 644520.123150050 - 2.91897775619103e6*I, 1.55658581360305e6 - 2.36884298319091e6*I, 2.08765473397983e6 - 2.22989403774492e6*I, 2.72602816664405e6 - 1.73593232149036e6*I, 3.34233281501419e6 - 948798.992775025*I, 3.32804342699965e6 + 320124.287462918*I, 2.62052864618533e6 + 925638.143062552*I, 2.09452572632327e6 + 1.08504460032237e6*I, 1.98953165120748e6 + 827032.086856833*I, 2.27361539569229e6 + 1.78185532593869e6*I, 1.00520216048859e6 + 1.83834326120700e6*I, 1.59243679464146e6 + 1.76889250425443e6*I, 20334.4207426705 + 3.02970617319989e6*I, -1.24426477908377e6 + 871316.393456512*I, 506887.778471089 + 235704.586801485*I, 314489.266991047 + 1.13758846866284e6*I, 332423.775986896 + 771180.589423936*I, 547649.188884542 + 1.30134787974989e6*I, 13187.1699744468 + 1.85889845364774e6*I, -882946.873580492 + 1.71318083048089e6*I, -1.82457195672221e6 + 1.17885650563216e6*I, -1.81654540558386e6 - 597099.242155738*I, -19123.7725273825 - 1.08281387264715e6*I, 350683.674242262 + 658586.498454530*I, -1.34555495150043e6 + 386300.346389233*I, -758897.580783982 - 1.23505580141951e6*I, 772802.282190976 - 985769.956138196*I, 658693.843073499 + 809543.880831613*I, -1.01529762187808e6 + 431080.706763289*I, -845590.414336214 - 561915.955857513*I, -707697.935008144 - 1.19927752699365e6*I, 210217.172240293 - 1.57133479195500e6*I, 375154.874983905 - 1.48745217853343e6*I, 1.69052533892806e6 - 2.20465370904103e6*I, 3.17210523806282e6 - 431875.270585660*I, 2.30455770703898e6 + 1.50133867577592e6*I, 995084.274126093 + 1.49368833619228e6*I, 647152.173934216 + 1.40215852549441e6*I, 236328.144019833 + 1.65958236437046e6*I, -417554.819646042 + 1.78507248122391e6*I, -2.29085575160710e6 + 1.48219519890199e6*I, -2.31492826092431e6 - 909918.796545567*I, -1.36939123052506e6 - 1.54540954240823e6*I, -955778.082397072 - 2.53533604134077e6*I, 646334.507526698 - 3.08646819816564e6*I, 2.12417151206748e6 - 2.34894019383992e6*I, 2.44045419018641e6 - 1.21349841875075e6*I, 2.11357686649640e6 - 871358.763433872*I, 2.88060834839820e6 - 762112.036355592*I, 3.00161322386568e6 + 628389.676666368*I, 2.25368284398172e6 + 1.26864425419927e6*I, 1.25213060918292e6 + 1.35997222990376e6*I, 862644.499566139 + 731248.979392074*I, 802454.679775013 + 35343.8932316948*I, 1.86881675208056e6 - 673646.288328906*I, 2.96040939244039e6 + 576794.203566252*I, 2.41355728779323e6 + 1.20654667920844e6*I, 2.80339794513849e6 + 1.32742403554550e6*I, 3.20960357899696e6 + 2.82594007131393e6*I, 1.71746744208361e6 + 4.51884851805856e6*I, -739646.379056968 + 4.34608188992969e6*I, -2.02049449970625e6 + 2.68839349331621e6*I, -2.06063987931629e6 + 1.05163075745834e6*I, -1.14326657998755e6 - 153501.595090984*I, 66928.8071054044 - 256146.454808126*I, 347802.386033827 + 90506.7275091768*I, 1.12097256166456e6 + 674584.752244551*I, 190277.265080906 + 1.57945392603424e6*I, -1.02160510815261e6 + 382555.711287338*I, 533694.485039762 - 762172.412310159*I, 1.13990872801220e6 + 50330.4778531608*I, 992703.776162816 + 329754.927252644*I, 1.31887169055535e6 - 339125.443640525*I, 2.46937143450691e6 + 202193.425423232*I, 3.11978282539633e6 + 1.28159315145274e6*I, 2.68131772966179e6 + 3.01416598991045e6*I, 769119.632899550 + 3.81287291313371e6*I, -602812.165922881 + 2.39382456417634e6*I, 219729.696684355 + 1.23103018871117e6*I, 970010.835340250 + 1.65129549715728e6*I, 660781.984626669 + 2.48449387173129e6*I, -361478.260613008 + 2.39618304556602e6*I, -1.38617695627250e6 + 694311.425343888*I, 872412.359110289 - 1.34831561535410e6*I, 3.69135136685471e6 - 370330.584112673*I, 5.18910713770738e6 + 2.62810086361878e6*I, 3.78718157369377e6 + 5.52623500639709e6*I, 1.56066980171977e6 + 6.38107406379170e6*I, -334849.992338514 + 6.94319292202594e6*I, -3.12284937354442e6 + 5.51928461141507e6*I, -3.24232605208897e6 + 2.27990012980898e6*I, -705635.893404946 + 1.28426349942900e6*I, 277929.530677515 + 1.97392337307364e6*I, 1.74818012494119e6 + 3.02731041862870e6*I, 1.13220068889009e6 + 5.46627465708409e6*I, -813095.077200900 + 5.88670370505693e6*I, -1.61995913102232e6 + 4.90156944431693e6*I, -1.14857853946753e6 + 4.55964643188335e6*I, -726828.827245842 + 4.79510648224373e6*I, 57774.7249478363 + 5.77644643833645e6*I, 165711.776332521 + 7.68748517700930e6*I, -383926.418208626 + 1.04485736561382e7*I, -2.81664317143587e6 + 1.36783079162712e7*I, -7.20674703077301e6 + 1.70718894862370e7*I, -1.58564921127805e7 + 2.03799356718606e7*I, -3.46204635011892e7 + 1.45365950571647e7*I])
b0 = canonical_to_coeff([-1.16030810653081e6 + 967476.433948386*I, 537202.995252164 + 446091.276417315*I, -149761.048620683 - 738037.209098551*I, -1.19040301863370e6 - 508586.518706932*I, -1.70933887222597e6 + 670008.248980797*I, -765834.370639725 + 1.27183350484209e6*I, -377139.484733228 + 1.57259284377431e6*I, 419528.895885642 + 1.23821946412847e6*I, 264678.246387345 + 707613.943976264*I, -69923.6003377624 + 1.09885190267724e6*I, 894812.728391028 + 1.42181825211882e6*I, 1.23762670323328e6 + 726321.563411528*I, 1.44353820179685e6 + 211712.087385133*I, 1.15359046568131e6 - 377247.910712489*I, 659302.528726413 - 876503.416247041*I, 277500.852413135 - 908470.839285708*I, -757216.581808751 - 1.21124669281408e6*I, -1.48118318653423e6 + 150758.377336420*I, -713739.961936625 + 597170.960992486*I, -1.17255462669419e6 + 819806.807415069*I, -505387.243698772 + 1.43184546937822e6*I, -520758.335428881 + 1.49340729270457e6*I, 34705.2752409700 + 1.93150958037847e6*I, 522169.355690217 + 2.25345912481404e6*I, 1.71865528473231e6 + 1.35911280732049e6*I, 748993.514553255 + 857160.480140211*I, 777269.177852945 + 1.52347099291114e6*I, 1.53572536021207e6 + 1.58022364700625e6*I, 1.83607857284461e6 + 1.24030065841619e6*I, 2.28648644502365e6 + 1.18257744079649e6*I, 2.92856999378261e6 + 338163.587266126*I, 3.08304932610151e6 - 580111.895182234*I, 2.50839845882105e6 - 2.27233550935044e6*I, 612929.868865680 - 3.11238956376809e6*I, -1.78725426404909e6 - 2.27253991974393e6*I, -2.87221555723509e6 + 353010.585874625*I, -910569.751845447 + 2.95562673373525e6*I, 1.49263509727854e6 + 1.87428238399205e6*I, 917368.622311520 + 394635.006954691*I, 215034.330262065 + 1.50438305334206e6*I, 1.57242573058882e6 + 1.98400799842221e6*I, 2.35016130902115e6 + 968362.503578668*I, 1.86543783093270e6 + 42657.9349730304*I, 759479.355351225 + 534529.381469926*I, 1.83967177417407e6 + 1.78401661186477e6*I, 2.88542124355487e6 + 485945.665838956*I, 1.66073355146250e6 + 122801.008531070*I, 1.63820776612187e6 + 1.18677146972413e6*I, 3.16385179873876e6 + 2.41431730732498e6*I, 5.98248305081013e6 + 1.26807582700884e6*I, 6.64531529847338e6 - 2.11736990098216e6*I, 4.82551855168118e6 - 4.44598383586608e6*I, 3.00029772413053e6 - 5.01249857243817e6*I, 1.12322230786319e6 - 5.47555517400789e6*I, -654028.246418679 - 4.20573898427736e6*I, -496425.758736995 - 3.04076076600142e6*I, -661496.698948469 - 3.30252010739902e6*I, -1.90305834851737e6 - 3.10520276901852e6*I, -2.35667965085681e6 - 1.60269460937502e6*I, -2.27345578546648e6 - 1.11637756324740e6*I, -3.13427461694720e6 + 18082.4132784276*I, -2.28689090192619e6 + 2.45941395150131e6*I, 370217.845346386 + 2.95912397117093e6*I, 1.26670183973082e6 + 1.96057814300096e6*I, 2.35727820563186e6 + 1.81653417403287e6*I, 3.42689221460850e6 + 159440.463044437*I, 2.28171903471389e6 - 1.34990096971009e6*I, 1.60441199205187e6 - 1.07251605842383e6*I, 1.41865797875210e6 - 1.09144308360836e6*I, 1.45428935366378e6 - 877891.328561310*I, 1.50016724169447e6 - 1.51379322991154e6*I, 234039.481760719 - 1.43088886485565e6*I, 175268.440064752 + 270154.756128675*I, 2.06411651876326e6 + 1.11887263939002e6*I, 3.75059726809662e6 - 782303.973242717*I, 2.44112053125221e6 - 2.06861574335168e6*I, 2.52926923687247e6 - 1.70647527135110e6*I, 2.63770351565977e6 - 2.61629295056013e6*I, 1.94369574112127e6 - 3.38513409245917e6*I, 772281.873302268 - 3.43938008090803e6*I, 556997.583440470 - 2.26590836757636e6*I, 1.35283656632141e6 - 2.72457848273893e6*I, 832323.848978618 - 3.09762691856922e6*I, 683568.843740131 - 3.00421628418081e6*I, 500885.082905425 - 3.51593313646056e6*I, 231479.451954424 - 3.60981306968897e6*I, -1.02578230678308e6 - 4.19559342932206e6*I, -1.83984357241299e6 - 2.89233439009032e6*I, -1.49340248858547e6 - 2.17226617794329e6*I, -1.44595356385605e6 - 1.84232714335372e6*I, -820056.999482904 - 1.24522252324563e6*I, -360680.638566520 - 1.85437376354587e6*I, -185851.277227410 - 2.17141061577796e6*I, -1.00239412654427e6 - 3.33890955647938e6*I, -2.58789421015395e6 - 2.23176602280949e6*I, -2.24080214224478e6 - 769469.853870986*I, -1.10798460667354e6 - 221448.032166151*I, -139885.448411302 - 533692.048650244*I, 101903.668409081 - 1.65875914250135e6*I, -1.17864024479503e6 - 2.29225127883760e6*I, -1.69005300183559e6 - 908410.133958696*I, -704861.060169814 - 365402.755850160*I, -586052.038930078 - 1.07341491201731e6*I, -611155.809975198 + 67522.3454107270*I, 1.02990411897357e6 - 377794.150333630*I, 1.27837689785875e6 - 1.41945444486526e6*I, 1.37923680088697e6 - 2.32317388441358e6*I, 973932.853593266 - 3.80784222037809e6*I, -977601.987655719 - 4.29908443720590e6*I, -2.42655813088648e6 - 3.42504433028990e6*I, -3.11685658217536e6 - 1.35197230261471e6*I, -719173.207219796 + 215924.082836046*I, 791895.895982184 - 1.68587309227954e6*I, -325916.507798113 - 3.00432126792472e6*I, -1.18507170481514e6 - 2.60860617825327e6*I, -1.21292888715111e6 - 1.93991554181266e6*I, -600865.909529773 - 1.84070118313081e6*I, -304038.121747336 - 1.67201000468435e6*I, 983299.314719953 - 2.19723658991985e6*I, 1.40437293725809e6 - 3.92440437454287e6*I, 480770.396898622 - 4.81150810749290e6*I, 1.01633748496799e6 - 5.75382903008063e6*I, -3639.08709172264 - 7.95720955250409e6*I, -1.16270486470641e6 - 9.21219292355379e6*I, -2.71874301916874e6 - 1.13055706828568e7*I, -5.90541725650434e6 - 1.44110227335090e7*I, -1.31109518485567e7 - 1.78647688323266e7*I, -3.04672536248511e7 - 1.34396668954109e7*I, -1.16030810653081e6 - 967476.433948386*I, 537202.995252164 - 446091.276417315*I, -149761.048620683 + 738037.209098551*I, -1.19040301863370e6 + 508586.518706932*I, -1.70933887222597e6 - 670008.248980797*I, -765834.370639725 - 1.27183350484209e6*I, -377139.484733228 - 1.57259284377431e6*I, 419528.895885642 - 1.23821946412847e6*I, 264678.246387345 - 707613.943976264*I, -69923.6003377624 - 1.09885190267724e6*I, 894812.728391028 - 1.42181825211882e6*I, 1.23762670323328e6 - 726321.563411528*I, 1.44353820179685e6 - 211712.087385133*I, 1.15359046568131e6 + 377247.910712489*I, 659302.528726413 + 876503.416247041*I, 277500.852413135 + 908470.839285708*I, -757216.581808751 + 1.21124669281408e6*I, -1.48118318653423e6 - 150758.377336420*I, -713739.961936625 - 597170.960992486*I, -1.17255462669419e6 - 819806.807415069*I, -505387.243698772 - 1.43184546937822e6*I, -520758.335428881 - 1.49340729270457e6*I, 34705.2752409700 - 1.93150958037847e6*I, 522169.355690217 - 2.25345912481404e6*I, 1.71865528473231e6 - 1.35911280732049e6*I, 748993.514553255 - 857160.480140211*I, 777269.177852945 - 1.52347099291114e6*I, 1.53572536021207e6 - 1.58022364700625e6*I, 1.83607857284461e6 - 1.24030065841619e6*I, 2.28648644502365e6 - 1.18257744079649e6*I, 2.92856999378261e6 - 338163.587266126*I, 3.08304932610151e6 + 580111.895182234*I, 2.50839845882105e6 + 2.27233550935044e6*I, 612929.868865680 + 3.11238956376809e6*I, -1.78725426404909e6 + 2.27253991974393e6*I, -2.87221555723509e6 - 353010.585874625*I, -910569.751845447 - 2.95562673373525e6*I, 1.49263509727854e6 - 1.87428238399205e6*I, 917368.622311520 - 394635.006954691*I, 215034.330262065 - 1.50438305334206e6*I, 1.57242573058882e6 - 1.98400799842221e6*I, 2.35016130902115e6 - 968362.503578668*I, 1.86543783093270e6 - 42657.9349730304*I, 759479.355351225 - 534529.381469926*I, 1.83967177417407e6 - 1.78401661186477e6*I, 2.88542124355487e6 - 485945.665838956*I, 1.66073355146250e6 - 122801.008531070*I, 1.63820776612187e6 - 1.18677146972413e6*I, 3.16385179873876e6 - 2.41431730732498e6*I, 5.98248305081013e6 - 1.26807582700884e6*I, 6.64531529847338e6 + 2.11736990098216e6*I, 4.82551855168118e6 + 4.44598383586608e6*I, 3.00029772413053e6 + 5.01249857243817e6*I, 1.12322230786319e6 + 5.47555517400789e6*I, -654028.246418679 + 4.20573898427736e6*I, -496425.758736995 + 3.04076076600142e6*I, -661496.698948469 + 3.30252010739902e6*I, -1.90305834851737e6 + 3.10520276901852e6*I, -2.35667965085681e6 + 1.60269460937502e6*I, -2.27345578546648e6 + 1.11637756324740e6*I, -3.13427461694720e6 - 18082.4132784276*I, -2.28689090192619e6 - 2.45941395150131e6*I, 370217.845346386 - 2.95912397117093e6*I, 1.26670183973082e6 - 1.96057814300096e6*I, 2.35727820563186e6 - 1.81653417403287e6*I, 3.42689221460850e6 - 159440.463044437*I, 2.28171903471389e6 + 1.34990096971009e6*I, 1.60441199205187e6 + 1.07251605842383e6*I, 1.41865797875210e6 + 1.09144308360836e6*I, 1.45428935366378e6 + 877891.328561310*I, 1.50016724169447e6 + 1.51379322991154e6*I, 234039.481760719 + 1.43088886485565e6*I, 175268.440064752 - 270154.756128675*I, 2.06411651876326e6 - 1.11887263939002e6*I, 3.75059726809662e6 + 782303.973242717*I, 2.44112053125221e6 + 2.06861574335168e6*I, 2.52926923687247e6 + 1.70647527135110e6*I, 2.63770351565977e6 + 2.61629295056013e6*I, 1.94369574112127e6 + 3.38513409245917e6*I, 772281.873302268 + 3.43938008090803e6*I, 556997.583440470 + 2.26590836757636e6*I, 1.35283656632141e6 + 2.72457848273893e6*I, 832323.848978618 + 3.09762691856922e6*I, 683568.843740131 + 3.00421628418081e6*I, 500885.082905425 + 3.51593313646056e6*I, 231479.451954424 + 3.60981306968897e6*I, -1.02578230678308e6 + 4.19559342932206e6*I, -1.83984357241299e6 + 2.89233439009032e6*I, -1.49340248858547e6 + 2.17226617794329e6*I, -1.44595356385605e6 + 1.84232714335372e6*I, -820056.999482904 + 1.24522252324563e6*I, -360680.638566520 + 1.85437376354587e6*I, -185851.277227410 + 2.17141061577796e6*I, -1.00239412654427e6 + 3.33890955647938e6*I, -2.58789421015395e6 + 2.23176602280949e6*I, -2.24080214224478e6 + 769469.853870986*I, -1.10798460667354e6 + 221448.032166151*I, -139885.448411302 + 533692.048650244*I, 101903.668409081 + 1.65875914250135e6*I, -1.17864024479503e6 + 2.29225127883760e6*I, -1.69005300183559e6 + 908410.133958696*I, -704861.060169814 + 365402.755850160*I, -586052.038930078 + 1.07341491201731e6*I, -611155.809975198 - 67522.3454107270*I, 1.02990411897357e6 + 377794.150333630*I, 1.27837689785875e6 + 1.41945444486526e6*I, 1.37923680088697e6 + 2.32317388441358e6*I, 973932.853593266 + 3.80784222037809e6*I, -977601.987655719 + 4.29908443720590e6*I, -2.42655813088648e6 + 3.42504433028990e6*I, -3.11685658217536e6 + 1.35197230261471e6*I, -719173.207219796 - 215924.082836046*I, 791895.895982184 + 1.68587309227954e6*I, -325916.507798113 + 3.00432126792472e6*I, -1.18507170481514e6 + 2.60860617825327e6*I, -1.21292888715111e6 + 1.93991554181266e6*I, -600865.909529773 + 1.84070118313081e6*I, -304038.121747336 + 1.67201000468435e6*I, 983299.314719953 + 2.19723658991985e6*I, 1.40437293725809e6 + 3.92440437454287e6*I, 480770.396898622 + 4.81150810749290e6*I, 1.01633748496799e6 + 5.75382903008063e6*I, -3639.08709172264 + 7.95720955250409e6*I, -1.16270486470641e6 + 9.21219292355379e6*I, -2.71874301916874e6 + 1.13055706828568e7*I, -5.90541725650434e6 + 1.44110227335090e7*I, -1.31109518485567e7 + 1.78647688323266e7*I, -3.04672536248511e7 + 1.34396668954109e7*I])
a1 = canonical_to_coeff([82422.9671461481 - 821044.200400529*I, -1.83171269249926e6 - 673611.702541634*I, -1.97217946042686e6 + 1.35027188418068e6*I, -603266.704874540 + 2.14110207185469e6*I, 88586.8619485496 + 1.57149048964317e6*I, -96065.0659016651 + 2.06025334804875e6*I, 1.17875811724370e6 + 2.32609061241536e6*I, 2.01722298046327e6 + 1.52778311568839e6*I, 2.07277081268866e6 + 779281.076571948*I, 2.45691348250629e6 + 334901.348956067*I, 2.64628049809656e6 - 1.71950747782644e6*I, -267913.629665391 - 3.19008034047128e6*I, -3.12043830982169e6 - 661077.627979407*I, -1.89452642459808e6 + 2.49087771731059e6*I, 94869.9427127187 + 2.53808431046711e6*I, 432373.253620879 + 2.19299581598507e6*I, 1.11319232285839e6 + 2.40814918777479e6*I, 1.79255804819942e6 + 2.04044049271999e6*I, 1.83268178485799e6 + 1.38745663893066e6*I, 1.89616589402721e6 + 1.09760427787930e6*I, 1.12237190085217e6 + 1.04720384444846e6*I, 1.19575171838215e6 + 2.20887680585047e6*I, 2.70835485478705e6 + 2.61652574386156e6*I, 3.51370541977430e6 + 1.55553633719843e6*I, 3.61376031018125e6 + 1.13737359196171e6*I, 3.55291162239470e6 + 263704.301645216*I, 3.19955495921711e6 + 380002.943084851*I, 3.88057394825551e6 + 792340.784810982*I, 4.68662776774994e6 - 209701.883257486*I, 5.03643174066586e6 - 1.10516029581412e6*I, 5.13714657095220e6 - 2.73449878847861e6*I, 3.73780455796242e6 - 4.41578905300509e6*I, 1.64151088173911e6 - 5.09389159765589e6*I, -1.17439418904810e6 - 4.09325267007693e6*I, -1.63719270708779e6 - 882753.995377584*I, 181135.679825852 + 481742.673602243*I, 1.48956864098928e6 + 575493.993465597*I, 2.65245384032229e6 - 122801.291909694*I, 2.98990660585093e6 - 1.48007280921590e6*I, 2.22720773292619e6 - 2.35662865333837e6*I, 1.03496273258888e6 - 2.55490902662213e6*I, 643084.671316515 - 1.56472508127353e6*I, 904889.504446110 - 1.36924176720363e6*I, 652407.284239584 - 1.12860939783528e6*I, 1.24968452845351e6 - 353484.248190804*I, 1.98915380366653e6 - 936785.059553511*I, 1.68330194894845e6 - 1.30413208665370e6*I, 2.34181261264063e6 - 907807.757686436*I, 2.72029518936893e6 - 2.32604956266578e6*I, 1.48089173946810e6 - 2.74997574639319e6*I, 1.59460435280668e6 - 2.01301707970522e6*I, 2.08564560837209e6 - 2.82660575288816e6*I, 993126.251343988 - 4.13716650571519e6*I, -1.17115123275594e6 - 2.82791142973341e6*I, -332575.687646818 - 1.00552104970632e6*I, 809453.706530187 - 612018.474118773*I, 2.09733334904261e6 - 1.14806432967119e6*I, 2.57456382006546e6 - 2.70758899107497e6*I, 1.28618669681271e6 - 3.71499033831195e6*I, 704718.791037821 - 3.30822200379937e6*I, 424958.558558972 - 3.55005601612710e6*I, 19200.0678992729 - 3.35529638389845e6*I, -90954.4556197503 - 3.83130499142498e6*I, -1.42367758818623e6 - 3.45843866610895e6*I, -1.45014462776126e6 - 2.43076925264042e6*I, -860712.593292700 - 1.77130762608999e6*I, -74343.0188762070 - 2.49992935725839e6*I, -587170.513124895 - 3.41600130272234e6*I, -2.14092503519567e6 - 3.50197975843755e6*I, -2.99394612636482e6 - 1.93959649625380e6*I, -1.90611358956876e6 - 697043.609394125*I, -1.19641576296667e6 - 1.27804712814561e6*I, -1.69515452707189e6 - 1.40999044833156e6*I, -1.59112823625920e6 - 840280.695379806*I, -1.47362400073717e6 - 1.07181639168186e6*I, -1.54727262794530e6 - 527229.169022235*I, -1.23793261732904e6 - 450036.014145697*I, -1.54599472452122e6 - 326411.966528496*I, -1.01600888546422e6 + 713064.461202579*I, 339373.743221752 + 547134.561550971*I, 1.10979503953482e6 - 311894.709425369*I, 655562.837751664 - 2.06521433249440e6*I, -696885.410500353 - 1.51488070734487e6*I, -502981.307724629 - 1.41106331549186e6*I, -933602.208362593 - 1.22002966684190e6*I, -1.14351829012420e6 - 860810.907186314*I, -1.22566858338392e6 + 427693.670153762*I, 1.38711895657106e6 + 1.10572795610850e6*I, 2.70197706313469e6 - 1.80880800100986e6*I, 1.10085296733230e6 - 3.85756036980227e6*I, -1.19662768154804e6 - 3.83400396271805e6*I, -1.81616805245256e6 - 2.75939200813451e6*I, -2.11011635353156e6 - 2.58598009299777e6*I, -3.09495535269950e6 - 2.20185792077754e6*I, -3.59171926867211e6 - 825949.039361722*I, -3.27430149500108e6 + 91258.8770326353*I, -3.14639924842058e6 + 1.29550943364965e6*I, -1.88115078413297e6 + 2.11715580754325e6*I, -1.05478485100188e6 + 2.45475359283884e6*I, 305048.866890361 + 2.33602536978441e6*I, 798592.652110919 + 1.85661273206791e6*I, 1.72034283972914e6 + 1.81375343678189e6*I, 2.51025118223910e6 + 1.12436549344358e6*I, 3.08934871144029e6 - 229513.065616227*I, 2.57033715020307e6 - 952489.660916120*I, 2.55162456465349e6 - 1.34104238045669e6*I, 2.60990641693730e6 - 2.28118737603848e6*I, 1.44033731649504e6 - 2.81109534730286e6*I, 1.04992774605182e6 - 2.33505271512330e6*I, 685488.486016393 - 1.90101302259678e6*I, 1.80758353007879e6 - 825230.833731267*I, 3.38511403957594e6 - 1.89970693344809e6*I, 3.81416885831571e6 - 3.51722685285817e6*I, 3.58283630380305e6 - 5.24402179358437e6*I, 2.38189596050268e6 - 6.29190129199059e6*I, 1.70668900765971e6 - 7.27550710508529e6*I, 235893.187915185 - 8.19347975614333e6*I, -1.32392381250097e6 - 8.14917443162600e6*I, -2.66327472029336e6 - 7.85635366176720e6*I, -3.35880250661044e6 - 7.08768292070592e6*I, -3.37413098200050e6 - 6.41014787138847e6*I, -3.41413626598967e6 - 7.08807663179074e6*I, -3.88385760693956e6 - 7.23138238123897e6*I, -3.75389714254235e6 - 7.69409841612022e6*I, -4.10055175001375e6 - 1.05779638045160e7*I, -7.13566803751366e6 - 1.33703754212973e7*I, -1.36254718440977e7 - 1.79850661478992e7*I, -3.18561497743006e7 - 1.37327674852498e7*I, 82422.9671461481 + 821044.200400529*I, -1.83171269249926e6 + 673611.702541634*I, -1.97217946042686e6 - 1.35027188418068e6*I, -603266.704874540 - 2.14110207185469e6*I, 88586.8619485496 - 1.57149048964317e6*I, -96065.0659016651 - 2.06025334804875e6*I, 1.17875811724370e6 - 2.32609061241536e6*I, 2.01722298046327e6 - 1.52778311568839e6*I, 2.07277081268866e6 - 779281.076571948*I, 2.45691348250629e6 - 334901.348956067*I, 2.64628049809656e6 + 1.71950747782644e6*I, -267913.629665391 + 3.19008034047128e6*I, -3.12043830982169e6 + 661077.627979407*I, -1.89452642459808e6 - 2.49087771731059e6*I, 94869.9427127187 - 2.53808431046711e6*I, 432373.253620879 - 2.19299581598507e6*I, 1.11319232285839e6 - 2.40814918777479e6*I, 1.79255804819942e6 - 2.04044049271999e6*I, 1.83268178485799e6 - 1.38745663893066e6*I, 1.89616589402721e6 - 1.09760427787930e6*I, 1.12237190085217e6 - 1.04720384444846e6*I, 1.19575171838215e6 - 2.20887680585047e6*I, 2.70835485478705e6 - 2.61652574386156e6*I, 3.51370541977430e6 - 1.55553633719843e6*I, 3.61376031018125e6 - 1.13737359196171e6*I, 3.55291162239470e6 - 263704.301645216*I, 3.19955495921711e6 - 380002.943084851*I, 3.88057394825551e6 - 792340.784810982*I, 4.68662776774994e6 + 209701.883257486*I, 5.03643174066586e6 + 1.10516029581412e6*I, 5.13714657095220e6 + 2.73449878847861e6*I, 3.73780455796242e6 + 4.41578905300509e6*I, 1.64151088173911e6 + 5.09389159765589e6*I, -1.17439418904810e6 + 4.09325267007693e6*I, -1.63719270708779e6 + 882753.995377584*I, 181135.679825852 - 481742.673602243*I, 1.48956864098928e6 - 575493.993465597*I, 2.65245384032229e6 + 122801.291909694*I, 2.98990660585093e6 + 1.48007280921590e6*I, 2.22720773292619e6 + 2.35662865333837e6*I, 1.03496273258888e6 + 2.55490902662213e6*I, 643084.671316515 + 1.56472508127353e6*I, 904889.504446110 + 1.36924176720363e6*I, 652407.284239584 + 1.12860939783528e6*I, 1.24968452845351e6 + 353484.248190804*I, 1.98915380366653e6 + 936785.059553511*I, 1.68330194894845e6 + 1.30413208665370e6*I, 2.34181261264063e6 + 907807.757686436*I, 2.72029518936893e6 + 2.32604956266578e6*I, 1.48089173946810e6 + 2.74997574639319e6*I, 1.59460435280668e6 + 2.01301707970522e6*I, 2.08564560837209e6 + 2.82660575288816e6*I, 993126.251343988 + 4.13716650571519e6*I, -1.17115123275594e6 + 2.82791142973341e6*I, -332575.687646818 + 1.00552104970632e6*I, 809453.706530187 + 612018.474118773*I, 2.09733334904261e6 + 1.14806432967119e6*I, 2.57456382006546e6 + 2.70758899107497e6*I, 1.28618669681271e6 + 3.71499033831195e6*I, 704718.791037821 + 3.30822200379937e6*I, 424958.558558972 + 3.55005601612710e6*I, 19200.0678992729 + 3.35529638389845e6*I, -90954.4556197503 + 3.83130499142498e6*I, -1.42367758818623e6 + 3.45843866610895e6*I, -1.45014462776126e6 + 2.43076925264042e6*I, -860712.593292700 + 1.77130762608999e6*I, -74343.0188762070 + 2.49992935725839e6*I, -587170.513124895 + 3.41600130272234e6*I, -2.14092503519567e6 + 3.50197975843755e6*I, -2.99394612636482e6 + 1.93959649625380e6*I, -1.90611358956876e6 + 697043.609394125*I, -1.19641576296667e6 + 1.27804712814561e6*I, -1.69515452707189e6 + 1.40999044833156e6*I, -1.59112823625920e6 + 840280.695379806*I, -1.47362400073717e6 + 1.07181639168186e6*I, -1.54727262794530e6 + 527229.169022235*I, -1.23793261732904e6 + 450036.014145697*I, -1.54599472452122e6 + 326411.966528496*I, -1.01600888546422e6 - 713064.461202579*I, 339373.743221752 - 547134.561550971*I, 1.10979503953482e6 + 311894.709425369*I, 655562.837751664 + 2.06521433249440e6*I, -696885.410500353 + 1.51488070734487e6*I, -502981.307724629 + 1.41106331549186e6*I, -933602.208362593 + 1.22002966684190e6*I, -1.14351829012420e6 + 860810.907186314*I, -1.22566858338392e6 - 427693.670153762*I, 1.38711895657106e6 - 1.10572795610850e6*I, 2.70197706313469e6 + 1.80880800100986e6*I, 1.10085296733230e6 + 3.85756036980227e6*I, -1.19662768154804e6 + 3.83400396271805e6*I, -1.81616805245256e6 + 2.75939200813451e6*I, -2.11011635353156e6 + 2.58598009299777e6*I, -3.09495535269950e6 + 2.20185792077754e6*I, -3.59171926867211e6 + 825949.039361722*I, -3.27430149500108e6 - 91258.8770326353*I, -3.14639924842058e6 - 1.29550943364965e6*I, -1.88115078413297e6 - 2.11715580754325e6*I, -1.05478485100188e6 - 2.45475359283884e6*I, 305048.866890361 - 2.33602536978441e6*I, 798592.652110919 - 1.85661273206791e6*I, 1.72034283972914e6 - 1.81375343678189e6*I, 2.51025118223910e6 - 1.12436549344358e6*I, 3.08934871144029e6 + 229513.065616227*I, 2.57033715020307e6 + 952489.660916120*I, 2.55162456465349e6 + 1.34104238045669e6*I, 2.60990641693730e6 + 2.28118737603848e6*I, 1.44033731649504e6 + 2.81109534730286e6*I, 1.04992774605182e6 + 2.33505271512330e6*I, 685488.486016393 + 1.90101302259678e6*I, 1.80758353007879e6 + 825230.833731267*I, 3.38511403957594e6 + 1.89970693344809e6*I, 3.81416885831571e6 + 3.51722685285817e6*I, 3.58283630380305e6 + 5.24402179358437e6*I, 2.38189596050268e6 + 6.29190129199059e6*I, 1.70668900765971e6 + 7.27550710508529e6*I, 235893.187915185 + 8.19347975614333e6*I, -1.32392381250097e6 + 8.14917443162600e6*I, -2.66327472029336e6 + 7.85635366176720e6*I, -3.35880250661044e6 + 7.08768292070592e6*I, -3.37413098200050e6 + 6.41014787138847e6*I, -3.41413626598967e6 + 7.08807663179074e6*I, -3.88385760693956e6 + 7.23138238123897e6*I, -3.75389714254235e6 + 7.69409841612022e6*I, -4.10055175001375e6 + 1.05779638045160e7*I, -7.13566803751366e6 + 1.33703754212973e7*I, -1.36254718440977e7 + 1.79850661478992e7*I, -3.18561497743006e7 + 1.37327674852498e7*I])
b1 = canonical_to_coeff([-158751.050305589 - 491170.566368051*I, -1.44543801702468e6 - 1.28969164797300e6*I, -2.32661621972116e6 + 141122.354965057*I, -1.40644901644455e6 + 771490.454938838*I, -833706.846803422 + 661903.100675390*I, -528231.152547246 + 240833.196065534*I, -541325.993297623 - 459935.277229092*I, -1.43139927285421e6 - 1.29001485043077e6*I, -3.06410007777888e6 - 124496.744327566*I, -2.29059813533060e6 + 1.22613890670757e6*I, -1.38542178521393e6 + 1.28720140628111e6*I, -1.40432798557841e6 + 677186.905336523*I, -1.68140447132207e6 + 1.14646927507092e6*I, -1.26507726267789e6 + 1.27025653958782e6*I, -1.54662593774155e6 + 1.48381448234351e6*I, -484568.344313382 + 1.92328591572029e6*I, -690590.678618382 + 753358.097336520*I, -1.25662068436638e6 + 1.63760534423775e6*I, -143710.245085990 + 2.17148239993708e6*I, 743510.219312911 + 1.13030792767039e6*I, -44703.6368558748 + 369660.190450009*I, 456352.061862340 + 522450.991274692*I, -362087.604879552 - 952246.999854886*I, -1.82964571743879e6 - 746851.929581189*I, -2.87553968665823e6 + 295676.141269716*I, -3.04701159579042e6 + 2.00216404862986e6*I, -1.29919646642387e6 + 3.07568966642404e6*I, -885000.797087111 + 1.44673233603592e6*I, -2.75339135815735e6 + 2.41489475610168e6*I, -1.99489350627029e6 + 4.74051190699985e6*I, 773065.260148799 + 6.04529173777738e6*I, 3.55562838160048e6 + 4.16314455728635e6*I, 3.49174228384704e6 + 1.69306237685025e6*I, 2.86030831601107e6 + 545043.562719609*I, 1.67887434715885e6 - 103115.120604532*I, 1.25918651151994e6 + 18584.0112731932*I, 402792.824416307 + 53823.5335857907*I, 502795.122923837 + 678371.939566170*I, 53394.6351584951 + 420044.429668619*I, -125619.832931141 + 1.44032823921737e6*I, 601750.135902223 + 1.81976313397109e6*I, 900162.960551146 + 1.99996760458399e6*I, 1.81652071336701e6 + 2.46716383455160e6*I, 3.54040288882467e6 + 1.66255725020180e6*I, 3.47548190930216e6 - 704505.839197296*I, 1.97093370431906e6 - 1.36287103504454e6*I, 1.52125452145256e6 - 967676.987105838*I, 1.08854609119672e6 - 1.52494520778686e6*I, 360743.276811922 - 1.05030615961596e6*I, 540256.182917107 - 627249.266378896*I, 937692.728402598 - 1.34273481773794e6*I, -493380.684891448 - 2.19036219079569e6*I, -1.73514185346715e6 - 929809.629275108*I, -1.81047429850058e6 + 220563.128289704*I, -1.08678888669551e6 + 1.40254358713745e6*I, 213315.749627884 + 1.06217492398030e6*I, 100644.604363348 + 427164.615347601*I, 65541.3737574714 + 571660.271052901*I, 321141.816268514 - 272390.928720648*I, -1.18272402949319e6 - 650874.831115752*I, -2.18220843835304e6 + 880723.955019265*I, -1.42412914719674e6 + 2.38089784449434e6*I, -287379.721283438 + 2.57493313712452e6*I, -30773.4975775181 + 2.45152657648960e6*I, 613141.153096218 + 3.12872207210329e6*I, 2.12319082075287e6 + 3.13406019237599e6*I, 3.40002264150834e6 + 1.38810558949465e6*I, 2.98832489224897e6 - 379962.093793202*I, 1.02884309963772e6 - 1.95207067491016e6*I, -1.19121100042177e6 - 972613.451415090*I, -2.06121826673872e6 + 1.12911316368625e6*I, -1.63346820076680e6 + 2.66792145236554e6*I, -807428.819578743 + 4.73712178307637e6*I, 2.32354081302422e6 + 5.58430501846975e6*I, 3.90411894586524e6 + 3.50312793856888e6*I, 4.16399479165565e6 + 3.33862774969652e6*I, 5.70681575215921e6 + 2.09339713099114e6*I, 5.59470972602629e6 - 394199.649880073*I, 3.59538403857767e6 - 1.07213881856997e6*I, 2.81579851238700e6 - 10646.8853717437*I, 3.54683391414531e6 + 685612.448233951*I, 4.59201719946793e6 + 343238.492167639*I, 5.08579426441428e6 - 384737.068994347*I, 5.76402644404533e6 - 1.41011075286796e6*I, 5.29022957138820e6 - 3.07968580543528e6*I, 4.34556477336645e6 - 3.55837164526649e6*I, 4.31251907289491e6 - 4.00645113376871e6*I, 3.89367508949177e6 - 5.27323686785896e6*I, 2.44281178453736e6 - 6.55119656846193e6*I, -67771.8918343570 - 6.83192504392309e6*I, -2.07923256415498e6 - 4.96818213886026e6*I, -1.83226540047461e6 - 3.16847377549554e6*I, -1.65009030546911e6 - 2.59367635605875e6*I, -1.60624300815631e6 - 1.81126957319085e6*I, -865451.916103871 - 1.02296645554061e6*I, -298019.263776021 - 1.14986004139784e6*I, -185109.820499288 - 1.36511548845685e6*I, -46516.9384620970 - 1.21925110056227e6*I, 321047.702601823 - 836420.648105660*I, 984478.948240400 - 1.82692166289265e6*I, 208472.313897677 - 2.02644331905535e6*I, 222567.354457797 - 1.96409463445464e6*I, 67863.8204992433 - 1.59312288735537e6*I, 957939.107800052 - 2.09719934361530e6*I, 198659.164712051 - 3.01922011055998e6*I, -455798.443225312 - 2.93468942813701e6*I, -1.39921894830697e6 - 3.03987835946588e6*I, -2.34139450820636e6 - 1.54985723863285e6*I, -1.56179968292663e6 - 485046.448542970*I, -1.04703368665574e6 + 265381.314546364*I, 453920.331140677 + 462313.076180406*I, 1.28492218562254e6 - 182588.047107116*I, 1.80697827196574e6 - 746953.042605379*I, 1.82315019731899e6 - 1.64448109478241e6*I, 2.25869948166308e6 - 1.39538922336517e6*I, 3.32919687638111e6 - 2.71235335939513e6*I, 3.08786185498680e6 - 4.34039773465604e6*I, 2.03824223725694e6 - 5.48127120810569e6*I, 1.70317264063961e6 - 5.58828122533202e6*I, 1.42946657857492e6 - 7.08520812987826e6*I, -132830.095669838 - 8.05851120598758e6*I, -1.14601094029536e6 - 7.72877375675258e6*I, -1.00078122841433e6 - 8.55468548832463e6*I, -1.97346024120609e6 - 1.03686444771398e7*I, -3.78737677613255e6 - 1.24137898672514e7*I, -6.64345956052883e6 - 1.50786498883738e7*I, -1.39875116573863e7 - 1.97096162587379e7*I, -3.37998003974237e7 - 1.51947691981700e7*I, -158751.050305589 + 491170.566368051*I, -1.44543801702468e6 + 1.28969164797300e6*I, -2.32661621972116e6 - 141122.354965057*I, -1.40644901644455e6 - 771490.454938838*I, -833706.846803422 - 661903.100675390*I, -528231.152547246 - 240833.196065534*I, -541325.993297623 + 459935.277229092*I, -1.43139927285421e6 + 1.29001485043077e6*I, -3.06410007777888e6 + 124496.744327566*I, -2.29059813533060e6 - 1.22613890670757e6*I, -1.38542178521393e6 - 1.28720140628111e6*I, -1.40432798557841e6 - 677186.905336523*I, -1.68140447132207e6 - 1.14646927507092e6*I, -1.26507726267789e6 - 1.27025653958782e6*I, -1.54662593774155e6 - 1.48381448234351e6*I, -484568.344313382 - 1.92328591572029e6*I, -690590.678618382 - 753358.097336520*I, -1.25662068436638e6 - 1.63760534423775e6*I, -143710.245085990 - 2.17148239993708e6*I, 743510.219312911 - 1.13030792767039e6*I, -44703.6368558748 - 369660.190450009*I, 456352.061862340 - 522450.991274692*I, -362087.604879552 + 952246.999854886*I, -1.82964571743879e6 + 746851.929581189*I, -2.87553968665823e6 - 295676.141269716*I, -3.04701159579042e6 - 2.00216404862986e6*I, -1.29919646642387e6 - 3.07568966642404e6*I, -885000.797087111 - 1.44673233603592e6*I, -2.75339135815735e6 - 2.41489475610168e6*I, -1.99489350627029e6 - 4.74051190699985e6*I, 773065.260148799 - 6.04529173777738e6*I, 3.55562838160048e6 - 4.16314455728635e6*I, 3.49174228384704e6 - 1.69306237685025e6*I, 2.86030831601107e6 - 545043.562719609*I, 1.67887434715885e6 + 103115.120604532*I, 1.25918651151994e6 - 18584.0112731932*I, 402792.824416307 - 53823.5335857907*I, 502795.122923837 - 678371.939566170*I, 53394.6351584951 - 420044.429668619*I, -125619.832931141 - 1.44032823921737e6*I, 601750.135902223 - 1.81976313397109e6*I, 900162.960551146 - 1.99996760458399e6*I, 1.81652071336701e6 - 2.46716383455160e6*I, 3.54040288882467e6 - 1.66255725020180e6*I, 3.47548190930216e6 + 704505.839197296*I, 1.97093370431906e6 + 1.36287103504454e6*I, 1.52125452145256e6 + 967676.987105838*I, 1.08854609119672e6 + 1.52494520778686e6*I, 360743.276811922 + 1.05030615961596e6*I, 540256.182917107 + 627249.266378896*I, 937692.728402598 + 1.34273481773794e6*I, -493380.684891448 + 2.19036219079569e6*I, -1.73514185346715e6 + 929809.629275108*I, -1.81047429850058e6 - 220563.128289704*I, -1.08678888669551e6 - 1.40254358713745e6*I, 213315.749627884 - 1.06217492398030e6*I, 100644.604363348 - 427164.615347601*I, 65541.3737574714 - 571660.271052901*I, 321141.816268514 + 272390.928720648*I, -1.18272402949319e6 + 650874.831115752*I, -2.18220843835304e6 - 880723.955019265*I, -1.42412914719674e6 - 2.38089784449434e6*I, -287379.721283438 - 2.57493313712452e6*I, -30773.4975775181 - 2.45152657648960e6*I, 613141.153096218 - 3.12872207210329e6*I, 2.12319082075287e6 - 3.13406019237599e6*I, 3.40002264150834e6 - 1.38810558949465e6*I, 2.98832489224897e6 + 379962.093793202*I, 1.02884309963772e6 + 1.95207067491016e6*I, -1.19121100042177e6 + 972613.451415090*I, -2.06121826673872e6 - 1.12911316368625e6*I, -1.63346820076680e6 - 2.66792145236554e6*I, -807428.819578743 - 4.73712178307637e6*I, 2.32354081302422e6 - 5.58430501846975e6*I, 3.90411894586524e6 - 3.50312793856888e6*I, 4.16399479165565e6 - 3.33862774969652e6*I, 5.70681575215921e6 - 2.09339713099114e6*I, 5.59470972602629e6 + 394199.649880073*I, 3.59538403857767e6 + 1.07213881856997e6*I, 2.81579851238700e6 + 10646.8853717437*I, 3.54683391414531e6 - 685612.448233951*I, 4.59201719946793e6 - 343238.492167639*I, 5.08579426441428e6 + 384737.068994347*I, 5.76402644404533e6 + 1.41011075286796e6*I, 5.29022957138820e6 + 3.07968580543528e6*I, 4.34556477336645e6 + 3.55837164526649e6*I, 4.31251907289491e6 + 4.00645113376871e6*I, 3.89367508949177e6 + 5.27323686785896e6*I, 2.44281178453736e6 + 6.55119656846193e6*I, -67771.8918343570 + 6.83192504392309e6*I, -2.07923256415498e6 + 4.96818213886026e6*I, -1.83226540047461e6 + 3.16847377549554e6*I, -1.65009030546911e6 + 2.59367635605875e6*I, -1.60624300815631e6 + 1.81126957319085e6*I, -865451.916103871 + 1.02296645554061e6*I, -298019.263776021 + 1.14986004139784e6*I, -185109.820499288 + 1.36511548845685e6*I, -46516.9384620970 + 1.21925110056227e6*I, 321047.702601823 + 836420.648105660*I, 984478.948240400 + 1.82692166289265e6*I, 208472.313897677 + 2.02644331905535e6*I, 222567.354457797 + 1.96409463445464e6*I, 67863.8204992433 + 1.59312288735537e6*I, 957939.107800052 + 2.09719934361530e6*I, 198659.164712051 + 3.01922011055998e6*I, -455798.443225312 + 2.93468942813701e6*I, -1.39921894830697e6 + 3.03987835946588e6*I, -2.34139450820636e6 + 1.54985723863285e6*I, -1.56179968292663e6 + 485046.448542970*I, -1.04703368665574e6 - 265381.314546364*I, 453920.331140677 - 462313.076180406*I, 1.28492218562254e6 + 182588.047107116*I, 1.80697827196574e6 + 746953.042605379*I, 1.82315019731899e6 + 1.64448109478241e6*I, 2.25869948166308e6 + 1.39538922336517e6*I, 3.32919687638111e6 + 2.71235335939513e6*I, 3.08786185498680e6 + 4.34039773465604e6*I, 2.03824223725694e6 + 5.48127120810569e6*I, 1.70317264063961e6 + 5.58828122533202e6*I, 1.42946657857492e6 + 7.08520812987826e6*I, -132830.095669838 + 8.05851120598758e6*I, -1.14601094029536e6 + 7.72877375675258e6*I, -1.00078122841433e6 + 8.55468548832463e6*I, -1.97346024120609e6 + 1.03686444771398e7*I, -3.78737677613255e6 + 1.24137898672514e7*I, -6.64345956052883e6 + 1.50786498883738e7*I, -1.39875116573863e7 + 1.97096162587379e7*I, -3.37998003974237e7 + 1.51947691981700e7*I])
a2 = canonical_to_coeff([-3.77828844603388e6 + 635314.707395479*I, -3.81828288786630e6 + 2.38994943704592e6*I, -1.58654925574310e6 + 4.67909683610351e6*I, 1.79662930645509e6 + 3.52918989092418e6*I, 1.43650929287807e6 + 623529.967633002*I, 19661.6554409179 + 1.13723686423424e6*I, 331879.267227887 + 1.83603280171843e6*I, 1.48294330962243e6 + 2.13809464077947e6*I, 2.35482038113183e6 + 831795.784757851*I, 1.92218740088761e6 - 92993.3545411617*I, 1.32044381799992e6 - 731521.753601466*I, 615671.616164682 - 477290.093745833*I, 461783.005279951 - 528590.658661909*I, -81983.6381227910 - 388370.463460816*I, 4018.06000167206 + 247779.099134892*I, -46212.0906902975 - 306427.431989618*I, -813683.766739901 + 774868.843109233*I, 55009.1806919364 + 1.51882953566862e6*I, 1.25380903956709e6 + 1.24542224681343e6*I, 1.17366369604891e6 - 210606.964643880*I, -22031.9721540828 - 338914.594914975*I, -901458.120986386 + 325830.658428736*I, -839172.947316627 + 1.91242033132761e6*I, 533024.958180427 + 2.60061683980644e6*I, 1.71862077593015e6 + 1.90851998663973e6*I, 1.18554498657714e6 + 873407.188296139*I, 672477.310628122 + 2.12857625725567e6*I, 2.22762847546081e6 + 2.55729168199280e6*I, 3.06625654702804e6 + 1.69053670543344e6*I, 3.41374154560578e6 + 1.17365632475836e6*I, 3.93084619666015e6 + 246008.776305288*I, 3.35493891786736e6 - 851705.496638574*I, 3.14864179829676e6 - 1.00331568279791e6*I, 2.96441890732513e6 - 1.87011746948935e6*I, 1.99238583728204e6 - 2.55159688144170e6*I, 387074.884862245 - 2.49000659463832e6*I, -477806.271459094 - 1.31349847137781e6*I, -445981.903535526 + 548733.454862904*I, 1.50805594442560e6 + 1.47095056179178e6*I, 2.95094281046416e6 - 393754.353457061*I, 1.73222178143693e6 - 881424.029593684*I, 1.88427463747861e6 - 1.09797310341479e6*I, 1.45900872207577e6 - 1.04902490692715e6*I, 1.31088510571830e6 - 1.15120114097469e6*I, 919787.931554586 - 454791.717529865*I, 2.43829196991570e6 - 425943.659239242*I, 2.18805112040543e6 - 1.85103518125064e6*I, 1.46096618590993e6 - 1.83071296598060e6*I, 1.24293332612914e6 - 2.13437916501710e6*I, 356802.159193582 - 1.94521278334454e6*I, 270371.657086234 - 1.02387329847954e6*I, 819999.487199916 - 817261.774317676*I, 1.25914515878793e6 - 639332.961477014*I, 2.16640962232964e6 - 1.19865073424363e6*I, 1.78495332646786e6 - 2.66200640413792e6*I, 503510.796405539 - 2.18554915596006e6*I, 1.37778555072480e6 - 1.69622158986786e6*I, 2.02423260494168e6 - 3.61368528178102e6*I, -688465.686582641 - 4.68608035896208e6*I, -1.93821996473742e6 - 3.09506553893890e6*I, -2.43626800345196e6 - 2.50590854372549e6*I, -2.86571727433322e6 - 1.14337748412347e6*I, -2.38768164150999e6 - 5264.14266095987*I, -1.47948695747170e6 + 666420.378109864*I, -832948.251937320 + 438971.690846998*I, -916750.768417160 - 169165.991197923*I, -1.93130920705272e6 + 1.20768763633326e6*I, -144024.770829627 + 2.34656146695081e6*I, 1.12564937700517e6 + 1.55823663201179e6*I, 1.41447927554234e6 + 829205.793592768*I, 1.17403672258476e6 + 403483.055945395*I, 1.28546543781218e6 + 694144.973184309*I, 2.10673428430447e6 + 194402.834227183*I, 1.71704809703811e6 - 942547.069028109*I, 498453.599674104 - 685158.396213484*I, 626301.658343052 + 216235.149368454*I, 1.18797260813040e6 + 809752.625185324*I, 2.44104928931761e6 + 598197.817910169*I, 2.42858333129216e6 - 694771.594468536*I, 1.88976518679962e6 - 312168.112455829*I, 2.64903155680300e6 - 254885.490645709*I, 3.25499572650151e6 - 1.05561368656856e6*I, 2.91921218612856e6 - 1.93250039349766e6*I, 2.73136548131669e6 - 2.29381168063836e6*I, 1.79053261895518e6 - 3.06683914802523e6*I, 1.49485652137300e6 - 2.05042709609325e6*I, 1.65874251227107e6 - 2.81293362967463e6*I, 659553.701482836 - 2.30172859953608e6*I, 1.26993814890098e6 - 1.33113880382715e6*I, 2.19462752143307e6 - 1.44624859219108e6*I, 3.25367273747103e6 - 2.30206103585447e6*I, 3.39410361206362e6 - 4.03519770879045e6*I, 1.81048240225164e6 - 5.54947138003404e6*I, 266399.440047091 - 5.40859843380592e6*I, -1.26086371153444e6 - 4.46100305866457e6*I, -978998.082881382 - 3.07502209117099e6*I, -671567.970472911 - 2.63566905131745e6*I, 464878.160244825 - 2.12735361144093e6*I, 1.43307209515917e6 - 3.45021618724163e6*I, 477256.966809919 - 4.83529066048713e6*I, -249693.726349350 - 4.93862439914625e6*I, -1.57116618125581e6 - 5.91935018774267e6*I, -3.81590580560656e6 - 4.46545355998148e6*I, -3.84722534600725e6 - 2.28747744850607e6*I, -2.54653546076702e6 - 831497.236464302*I, -1.29218658939157e6 - 1.16784537199440e6*I, -962583.867757276 - 1.19226149788291e6*I, 48768.4513311239 - 1.13131363469792e6*I, 1.07460069978985e6 - 2.18556067439307e6*I, 875340.243375717 - 4.19849204518555e6*I, -1.03113240936929e6 - 4.89849394644578e6*I, -2.29415429163987e6 - 4.23436214343293e6*I, -2.85551987526803e6 - 2.99652979771615e6*I, -2.32334731085347e6 - 1.73599473243465e6*I, -943980.052575791 - 1.29249500851646e6*I, 172048.297883746 - 2.07484236422911e6*I, 538166.758540622 - 2.76982856930970e6*I, 1.72677452504504e6 - 3.53676826346663e6*I, 2.22765417663086e6 - 6.63302848805264e6*I, -908728.705962180 - 9.07792924639258e6*I, -3.05724855932609e6 - 7.76062602594314e6*I, -3.60584685888028e6 - 7.49945926243924e6*I, -3.53369181367732e6 - 6.68082146948625e6*I, -2.41731542071694e6 - 8.61609748110638e6*I, -3.81992902534575e6 - 1.18956693293999e7*I, -7.60555147902253e6 - 1.53933360608141e7*I, -1.56999722433973e7 - 1.87484644363910e7*I, -3.29921728643777e7 - 1.34603375319234e7*I, -3.77828844603388e6 - 635314.707395479*I, -3.81828288786630e6 - 2.38994943704592e6*I, -1.58654925574310e6 - 4.67909683610351e6*I, 1.79662930645509e6 - 3.52918989092418e6*I, 1.43650929287807e6 - 623529.967633002*I, 19661.6554409179 - 1.13723686423424e6*I, 331879.267227887 - 1.83603280171843e6*I, 1.48294330962243e6 - 2.13809464077947e6*I, 2.35482038113183e6 - 831795.784757851*I, 1.92218740088761e6 + 92993.3545411617*I, 1.32044381799992e6 + 731521.753601466*I, 615671.616164682 + 477290.093745833*I, 461783.005279951 + 528590.658661909*I, -81983.6381227910 + 388370.463460816*I, 4018.06000167206 - 247779.099134892*I, -46212.0906902975 + 306427.431989618*I, -813683.766739901 - 774868.843109233*I, 55009.1806919364 - 1.51882953566862e6*I, 1.25380903956709e6 - 1.24542224681343e6*I, 1.17366369604891e6 + 210606.964643880*I, -22031.9721540828 + 338914.594914975*I, -901458.120986386 - 325830.658428736*I, -839172.947316627 - 1.91242033132761e6*I, 533024.958180427 - 2.60061683980644e6*I, 1.71862077593015e6 - 1.90851998663973e6*I, 1.18554498657714e6 - 873407.188296139*I, 672477.310628122 - 2.12857625725567e6*I, 2.22762847546081e6 - 2.55729168199280e6*I, 3.06625654702804e6 - 1.69053670543344e6*I, 3.41374154560578e6 - 1.17365632475836e6*I, 3.93084619666015e6 - 246008.776305288*I, 3.35493891786736e6 + 851705.496638574*I, 3.14864179829676e6 + 1.00331568279791e6*I, 2.96441890732513e6 + 1.87011746948935e6*I, 1.99238583728204e6 + 2.55159688144170e6*I, 387074.884862245 + 2.49000659463832e6*I, -477806.271459094 + 1.31349847137781e6*I, -445981.903535526 - 548733.454862904*I, 1.50805594442560e6 - 1.47095056179178e6*I, 2.95094281046416e6 + 393754.353457061*I, 1.73222178143693e6 + 881424.029593684*I, 1.88427463747861e6 + 1.09797310341479e6*I, 1.45900872207577e6 + 1.04902490692715e6*I, 1.31088510571830e6 + 1.15120114097469e6*I, 919787.931554586 + 454791.717529865*I, 2.43829196991570e6 + 425943.659239242*I, 2.18805112040543e6 + 1.85103518125064e6*I, 1.46096618590993e6 + 1.83071296598060e6*I, 1.24293332612914e6 + 2.13437916501710e6*I, 356802.159193582 + 1.94521278334454e6*I, 270371.657086234 + 1.02387329847954e6*I, 819999.487199916 + 817261.774317676*I, 1.25914515878793e6 + 639332.961477014*I, 2.16640962232964e6 + 1.19865073424363e6*I, 1.78495332646786e6 + 2.66200640413792e6*I, 503510.796405539 + 2.18554915596006e6*I, 1.37778555072480e6 + 1.69622158986786e6*I, 2.02423260494168e6 + 3.61368528178102e6*I, -688465.686582641 + 4.68608035896208e6*I, -1.93821996473742e6 + 3.09506553893890e6*I, -2.43626800345196e6 + 2.50590854372549e6*I, -2.86571727433322e6 + 1.14337748412347e6*I, -2.38768164150999e6 + 5264.14266095987*I, -1.47948695747170e6 - 666420.378109864*I, -832948.251937320 - 438971.690846998*I, -916750.768417160 + 169165.991197923*I, -1.93130920705272e6 - 1.20768763633326e6*I, -144024.770829627 - 2.34656146695081e6*I, 1.12564937700517e6 - 1.55823663201179e6*I, 1.41447927554234e6 - 829205.793592768*I, 1.17403672258476e6 - 403483.055945395*I, 1.28546543781218e6 - 694144.973184309*I, 2.10673428430447e6 - 194402.834227183*I, 1.71704809703811e6 + 942547.069028109*I, 498453.599674104 + 685158.396213484*I, 626301.658343052 - 216235.149368454*I, 1.18797260813040e6 - 809752.625185324*I, 2.44104928931761e6 - 598197.817910169*I, 2.42858333129216e6 + 694771.594468536*I, 1.88976518679962e6 + 312168.112455829*I, 2.64903155680300e6 + 254885.490645709*I, 3.25499572650151e6 + 1.05561368656856e6*I, 2.91921218612856e6 + 1.93250039349766e6*I, 2.73136548131669e6 + 2.29381168063836e6*I, 1.79053261895518e6 + 3.06683914802523e6*I, 1.49485652137300e6 + 2.05042709609325e6*I, 1.65874251227107e6 + 2.81293362967463e6*I, 659553.701482836 + 2.30172859953608e6*I, 1.26993814890098e6 + 1.33113880382715e6*I, 2.19462752143307e6 + 1.44624859219108e6*I, 3.25367273747103e6 + 2.30206103585447e6*I, 3.39410361206362e6 + 4.03519770879045e6*I, 1.81048240225164e6 + 5.54947138003404e6*I, 266399.440047091 + 5.40859843380592e6*I, -1.26086371153444e6 + 4.46100305866457e6*I, -978998.082881382 + 3.07502209117099e6*I, -671567.970472911 + 2.63566905131745e6*I, 464878.160244825 + 2.12735361144093e6*I, 1.43307209515917e6 + 3.45021618724163e6*I, 477256.966809919 + 4.83529066048713e6*I, -249693.726349350 + 4.93862439914625e6*I, -1.57116618125581e6 + 5.91935018774267e6*I, -3.81590580560656e6 + 4.46545355998148e6*I, -3.84722534600725e6 + 2.28747744850607e6*I, -2.54653546076702e6 + 831497.236464302*I, -1.29218658939157e6 + 1.16784537199440e6*I, -962583.867757276 + 1.19226149788291e6*I, 48768.4513311239 + 1.13131363469792e6*I, 1.07460069978985e6 + 2.18556067439307e6*I, 875340.243375717 + 4.19849204518555e6*I, -1.03113240936929e6 + 4.89849394644578e6*I, -2.29415429163987e6 + 4.23436214343293e6*I, -2.85551987526803e6 + 2.99652979771615e6*I, -2.32334731085347e6 + 1.73599473243465e6*I, -943980.052575791 + 1.29249500851646e6*I, 172048.297883746 + 2.07484236422911e6*I, 538166.758540622 + 2.76982856930970e6*I, 1.72677452504504e6 + 3.53676826346663e6*I, 2.22765417663086e6 + 6.63302848805264e6*I, -908728.705962180 + 9.07792924639258e6*I, -3.05724855932609e6 + 7.76062602594314e6*I, -3.60584685888028e6 + 7.49945926243924e6*I, -3.53369181367732e6 + 6.68082146948625e6*I, -2.41731542071694e6 + 8.61609748110638e6*I, -3.81992902534575e6 + 1.18956693293999e7*I, -7.60555147902253e6 + 1.53933360608141e7*I, -1.56999722433973e7 + 1.87484644363910e7*I, -3.29921728643777e7 + 1.34603375319234e7*I])
b2 = canonical_to_coeff([555661.684315518 + 48576.1825724626*I, 1.28936195985931e6 - 436739.176735976*I, 109592.679859084 - 1.91034213694982e6*I, -1.35412765686078e6 - 1.18197234859349e6*I, -1.58612248117225e6 - 243037.831708959*I, -2.36256530755534e6 + 260879.857094724*I, -2.15317624845115e6 + 2.43021041076195e6*I, -584258.468498332 + 3.24706336183044e6*I, 1.04845013180996e6 + 3.42603281057216e6*I, 2.51718826967038e6 + 2.04572596878408e6*I, 2.10665230168340e6 + 618506.444227466*I, 1.17452592110771e6 + 176784.676753592*I, 658799.060906700 + 900513.193982803*I, 941847.192172121 + 1.66186355927532e6*I, 2.33531295550585e6 + 1.68593957052006e6*I, 2.75330610511461e6 + 498895.902399494*I, 2.35599023547691e6 + 114228.254081037*I, 2.78435153592928e6 - 5211.26833800669*I, 2.95038789528362e6 - 1.70503834548242e6*I, 636666.117938151 - 2.69592207353770e6*I, -1.02175987835544e6 - 630735.799156180*I, 53954.7820420309 + 1.36357423878621e6*I, 2.35266749071126e6 + 1.21118544216582e6*I, 2.60121695635394e6 - 1.07170816213310e6*I, 916589.940980797 - 1.30040348235823e6*I, 920810.640381298 - 865767.484788489*I, 452510.203051216 - 980442.648214101*I, -418136.547697282 - 586402.962340789*I, -186770.418722139 + 1.13594863686391e6*I, 1.31704353147193e6 + 1.52747788239364e6*I, 2.58187326831572e6 + 627883.659141202*I, 1.75445582743238e6 - 545074.038573201*I, 1.54997838528954e6 + 569662.060882788*I, 3.33316189851522e6 + 271138.776286045*I, 3.22161035178856e6 - 1.57946626357025e6*I, 2.49887973151914e6 - 2.17461430702539e6*I, 1.66751078524907e6 - 2.62630815866362e6*I, 1.01665449279322e6 - 2.84378561639167e6*I, -530140.256548981 - 2.45387923687873e6*I, -833824.574038109 - 882058.209081128*I, 153758.138173328 + 465418.959452697*I, 1.89438070361444e6 + 14485.1396323782*I, 2.39419492633022e6 - 1.15784714527542e6*I, 2.19927583329415e6 - 2.18157410126653e6*I, 1.92780188981335e6 - 3.24606229400909e6*I, 334672.134806426 - 4.72070998943967e6*I, -2.20116681866151e6 - 3.67524093521132e6*I, -2.31411663624316e6 - 1.92023472002318e6*I, -2.39334019393545e6 - 1.69459149335689e6*I, -2.92673901309582e6 - 607859.831789737*I, -2.76540761369390e6 + 526249.231236415*I, -2.87218016598004e6 + 1.76556629887886e6*I, -824769.773960415 + 3.60146679039981e6*I, 1.24156054411435e6 + 2.80862440340283e6*I, 1.78528170532858e6 + 1.40998874089103e6*I, 1.56064721530469e6 + 1.49253622418558e6*I, 2.84217374931861e6 + 1.06563180206466e6*I, 2.74450716620119e6 - 88662.6116985371*I, 2.83907855091824e6 - 741731.493578396*I, 2.33309683594968e6 - 1.54851515616277e6*I, 1.42423806621823e6 - 1.84583935039069e6*I, 1.06569322279866e6 - 961675.447620682*I, 2.72874263178392e6 - 1.12309808992953e6*I, 1.92861220236688e6 - 3.51603589371679e6*I, 44289.0316458972 - 3.24272803238002e6*I, -500971.787399145 - 2.64567540095090e6*I, -935589.796251668 - 1.95885574043348e6*I, -1.26143313195320e6 - 1.83493610124288e6*I, -1.54477415625816e6 - 664337.710593096*I, -933941.164645992 - 241558.806428562*I, -720469.934403705 - 29116.4839715298*I, -512448.843328340 + 378719.136884049*I, 208673.461665800 + 590036.711091271*I, 743563.373456313 + 19027.0949398101*I, 394577.866064392 - 298183.516368900*I, 309276.520934641 + 226376.398537339*I, 1.09133593343144e6 + 293147.157058568*I, 1.56781731558053e6 - 397801.097114264*I, 1.09418839769883e6 - 1.22992301598931e6*I, 419672.536264014 - 1.08535040393843e6*I, 471422.919138377 - 511991.864821275*I, 659355.206523516 - 770946.890601147*I, 545688.263365264 - 956738.921997782*I, -2234.16213728631 - 819742.192685954*I, -181155.254526850 - 253094.732884359*I, 21254.0480840675 + 243034.522982140*I, 377285.596968982 + 799385.198593505*I, 922232.110991539 + 934102.758865827*I, 1.24075071339158e6 + 1.43545612368362e6*I, 3.01913835391054e6 + 2.10055057401941e6*I, 4.83969303223517e6 + 445882.281462508*I, 4.54999546602474e6 - 1.29154865796629e6*I, 4.17719399097320e6 - 2.05499425747316e6*I, 4.10501447956545e6 - 3.00895362869346e6*I, 3.24850957995534e6 - 3.56660188900182e6*I, 2.71771426617151e6 - 4.10363463003546e6*I, 1.55704226270793e6 - 4.30530185995484e6*I, 1.08376574787397e6 - 2.83345550273814e6*I, 2.80050040434265e6 - 2.61696377374599e6*I, 3.77209735757253e6 - 4.63896857256057e6*I, 1.99333255098355e6 - 7.14305260162431e6*I, -1.03537189311782e6 - 6.12260775398178e6*I, -1.00393364931744e6 - 4.53171239365444e6*I, -821156.649139026 - 4.02945508288738e6*I, -754722.974777784 - 3.37950399050675e6*I, 628383.224781855 - 3.45816663878248e6*I, 315915.189901515 - 4.47525533871810e6*I, 542241.374867973 - 4.76257482448959e6*I, 199476.231223403 - 6.27737605414841e6*I, -1.50733108673929e6 - 6.77819258133954e6*I, -3.15245461645015e6 - 6.33422015231580e6*I, -3.97357663365764e6 - 5.05420268673389e6*I, -4.01685400217604e6 - 3.51867346739125e6*I, -2.80500473671638e6 - 3.20702248717111e6*I, -3.14004100581297e6 - 2.94348182416232e6*I, -1.71360312453385e6 - 2.50578976781552e6*I, -1.39322400646991e6 - 4.15678804318096e6*I, -2.21956511492999e6 - 4.35082157477692e6*I, -2.33681041350984e6 - 4.56005828019764e6*I, -2.51994089303008e6 - 4.46729857252995e6*I, -2.25891546609515e6 - 5.06667414252656e6*I, -2.61264352545669e6 - 5.58358884812700e6*I, -2.56331393271804e6 - 6.52155668503694e6*I, -3.24697186566979e6 - 8.18335794026854e6*I, -4.79823912630795e6 - 9.95588225766770e6*I, -6.87497974899254e6 - 1.18563150900559e7*I, -1.22422726049622e7 - 1.66856310470061e7*I, -3.04152166894536e7 - 1.37724967817230e7*I, 555661.684315518 - 48576.1825724626*I, 1.28936195985931e6 + 436739.176735976*I, 109592.679859084 + 1.91034213694982e6*I, -1.35412765686078e6 + 1.18197234859349e6*I, -1.58612248117225e6 + 243037.831708959*I, -2.36256530755534e6 - 260879.857094724*I, -2.15317624845115e6 - 2.43021041076195e6*I, -584258.468498332 - 3.24706336183044e6*I, 1.04845013180996e6 - 3.42603281057216e6*I, 2.51718826967038e6 - 2.04572596878408e6*I, 2.10665230168340e6 - 618506.444227466*I, 1.17452592110771e6 - 176784.676753592*I, 658799.060906700 - 900513.193982803*I, 941847.192172121 - 1.66186355927532e6*I, 2.33531295550585e6 - 1.68593957052006e6*I, 2.75330610511461e6 - 498895.902399494*I, 2.35599023547691e6 - 114228.254081037*I, 2.78435153592928e6 + 5211.26833800669*I, 2.95038789528362e6 + 1.70503834548242e6*I, 636666.117938151 + 2.69592207353770e6*I, -1.02175987835544e6 + 630735.799156180*I, 53954.7820420309 - 1.36357423878621e6*I, 2.35266749071126e6 - 1.21118544216582e6*I, 2.60121695635394e6 + 1.07170816213310e6*I, 916589.940980797 + 1.30040348235823e6*I, 920810.640381298 + 865767.484788489*I, 452510.203051216 + 980442.648214101*I, -418136.547697282 + 586402.962340789*I, -186770.418722139 - 1.13594863686391e6*I, 1.31704353147193e6 - 1.52747788239364e6*I, 2.58187326831572e6 - 627883.659141202*I, 1.75445582743238e6 + 545074.038573201*I, 1.54997838528954e6 - 569662.060882788*I, 3.33316189851522e6 - 271138.776286045*I, 3.22161035178856e6 + 1.57946626357025e6*I, 2.49887973151914e6 + 2.17461430702539e6*I, 1.66751078524907e6 + 2.62630815866362e6*I, 1.01665449279322e6 + 2.84378561639167e6*I, -530140.256548981 + 2.45387923687873e6*I, -833824.574038109 + 882058.209081128*I, 153758.138173328 - 465418.959452697*I, 1.89438070361444e6 - 14485.1396323782*I, 2.39419492633022e6 + 1.15784714527542e6*I, 2.19927583329415e6 + 2.18157410126653e6*I, 1.92780188981335e6 + 3.24606229400909e6*I, 334672.134806426 + 4.72070998943967e6*I, -2.20116681866151e6 + 3.67524093521132e6*I, -2.31411663624316e6 + 1.92023472002318e6*I, -2.39334019393545e6 + 1.69459149335689e6*I, -2.92673901309582e6 + 607859.831789737*I, -2.76540761369390e6 - 526249.231236415*I, -2.87218016598004e6 - 1.76556629887886e6*I, -824769.773960415 - 3.60146679039981e6*I, 1.24156054411435e6 - 2.80862440340283e6*I, 1.78528170532858e6 - 1.40998874089103e6*I, 1.56064721530469e6 - 1.49253622418558e6*I, 2.84217374931861e6 - 1.06563180206466e6*I, 2.74450716620119e6 + 88662.6116985371*I, 2.83907855091824e6 + 741731.493578396*I, 2.33309683594968e6 + 1.54851515616277e6*I, 1.42423806621823e6 + 1.84583935039069e6*I, 1.06569322279866e6 + 961675.447620682*I, 2.72874263178392e6 + 1.12309808992953e6*I, 1.92861220236688e6 + 3.51603589371679e6*I, 44289.0316458972 + 3.24272803238002e6*I, -500971.787399145 + 2.64567540095090e6*I, -935589.796251668 + 1.95885574043348e6*I, -1.26143313195320e6 + 1.83493610124288e6*I, -1.54477415625816e6 + 664337.710593096*I, -933941.164645992 + 241558.806428562*I, -720469.934403705 + 29116.4839715298*I, -512448.843328340 - 378719.136884049*I, 208673.461665800 - 590036.711091271*I, 743563.373456313 - 19027.0949398101*I, 394577.866064392 + 298183.516368900*I, 309276.520934641 - 226376.398537339*I, 1.09133593343144e6 - 293147.157058568*I, 1.56781731558053e6 + 397801.097114264*I, 1.09418839769883e6 + 1.22992301598931e6*I, 419672.536264014 + 1.08535040393843e6*I, 471422.919138377 + 511991.864821275*I, 659355.206523516 + 770946.890601147*I, 545688.263365264 + 956738.921997782*I, -2234.16213728631 + 819742.192685954*I, -181155.254526850 + 253094.732884359*I, 21254.0480840675 - 243034.522982140*I, 377285.596968982 - 799385.198593505*I, 922232.110991539 - 934102.758865827*I, 1.24075071339158e6 - 1.43545612368362e6*I, 3.01913835391054e6 - 2.10055057401941e6*I, 4.83969303223517e6 - 445882.281462508*I, 4.54999546602474e6 + 1.29154865796629e6*I, 4.17719399097320e6 + 2.05499425747316e6*I, 4.10501447956545e6 + 3.00895362869346e6*I, 3.24850957995534e6 + 3.56660188900182e6*I, 2.71771426617151e6 + 4.10363463003546e6*I, 1.55704226270793e6 + 4.30530185995484e6*I, 1.08376574787397e6 + 2.83345550273814e6*I, 2.80050040434265e6 + 2.61696377374599e6*I, 3.77209735757253e6 + 4.63896857256057e6*I, 1.99333255098355e6 + 7.14305260162431e6*I, -1.03537189311782e6 + 6.12260775398178e6*I, -1.00393364931744e6 + 4.53171239365444e6*I, -821156.649139026 + 4.02945508288738e6*I, -754722.974777784 + 3.37950399050675e6*I, 628383.224781855 + 3.45816663878248e6*I, 315915.189901515 + 4.47525533871810e6*I, 542241.374867973 + 4.76257482448959e6*I, 199476.231223403 + 6.27737605414841e6*I, -1.50733108673929e6 + 6.77819258133954e6*I, -3.15245461645015e6 + 6.33422015231580e6*I, -3.97357663365764e6 + 5.05420268673389e6*I, -4.01685400217604e6 + 3.51867346739125e6*I, -2.80500473671638e6 + 3.20702248717111e6*I, -3.14004100581297e6 + 2.94348182416232e6*I, -1.71360312453385e6 + 2.50578976781552e6*I, -1.39322400646991e6 + 4.15678804318096e6*I, -2.21956511492999e6 + 4.35082157477692e6*I, -2.33681041350984e6 + 4.56005828019764e6*I, -2.51994089303008e6 + 4.46729857252995e6*I, -2.25891546609515e6 + 5.06667414252656e6*I, -2.61264352545669e6 + 5.58358884812700e6*I, -2.56331393271804e6 + 6.52155668503694e6*I, -3.24697186566979e6 + 8.18335794026854e6*I, -4.79823912630795e6 + 9.95588225766770e6*I, -6.87497974899254e6 + 1.18563150900559e7*I, -1.22422726049622e7 + 1.66856310470061e7*I, -3.04152166894536e7 + 1.37724967817230e7*I])
a3 = canonical_to_coeff([3.87904895604431e6 - 629625.291675355*I, 3.10873136680286e6 - 1.75058153077113e6*I, 2.83117029431853e6 - 1.74740049450549e6*I, 2.84441007504781e6 - 3.50412428447687e6*I, 856214.947528548 - 4.07629407578346e6*I, -185594.791309569 - 3.78260836691649e6*I, -1.24844401099352e6 - 3.86113084018915e6*I, -2.61255197417124e6 - 3.00360121816168e6*I, -3.27480164893812e6 - 1.77288476251211e6*I, -3.30470321573871e6 + 106150.909563608*I, -1.86397806291379e6 + 749155.418753468*I, -1.15439254357575e6 + 631590.612923131*I, -953108.682385485 + 379793.556267269*I, -418649.206527465 + 355180.342474260*I, -272411.009058630 - 151446.686217995*I, -531160.085158455 - 1.02144187328584e6*I, -1.75915077296203e6 - 692521.988532388*I, -1.43762759942575e6 + 78231.8083191538*I, -1.40042070604509e6 + 132355.670274604*I, -1.30337153448298e6 - 22547.0909385469*I, -1.89913056720280e6 + 88128.5733632889*I, -1.77993363550038e6 + 951873.502339451*I, -1.15131443119497e6 + 953763.971506502*I, -1.34987897351319e6 + 790026.179101357*I, -1.12908586032726e6 + 1.11286972767776e6*I, -1.24812926751465e6 + 650442.258655782*I, -1.85197385976360e6 + 1.47706775260297e6*I, -770052.064549038 + 2.08982522529753e6*I, -817433.781198230 + 1.39301270778339e6*I, -1.28853641435328e6 + 2.31188376137802e6*I, 269019.051745513 + 3.46540503568273e6*I, 2.00457754973962e6 + 1.83600026687536e6*I, 1.57354606116436e6 + 547143.304163140*I, 1.31961028558556e6 - 180530.171339160*I, 277962.357925227 - 1.56820877612581e6*I, -2.04629927801187e6 - 1.00297006796382e6*I, -2.24162285435624e6 + 1.03879475625093e6*I, -1.40913920927218e6 + 1.47131001476400e6*I, -1.98361644339288e6 + 1.31219368781197e6*I, -2.18752284339530e6 + 3.15361375589618e6*I, -709007.792994669 + 4.05059292073706e6*I, 605383.445952840 + 3.99929873034595e6*I, 1.40565858190204e6 + 3.61163811275463e6*I, 2.38287442938110e6 + 3.50069007234553e6*I, 3.65507710831091e6 + 1.43256327457921e6*I, 1.65418430756259e6 + 33503.2976155239*I, 538514.069068512 + 985544.911984491*I, 524793.993761902 + 2.20316368216023e6*I, 1.96081079056835e6 + 2.91859614091219e6*I, 3.45145409955404e6 + 2.31302866704983e6*I, 3.38285954890766e6 + 32771.0599200400*I, 1.89688183400852e6 + 921511.373729363*I, 3.61204065085700e6 + 850366.411621843*I, 3.20053735294774e6 - 665116.622863847*I, 2.36636002890894e6 - 1.15007293082751e6*I, 1.65073352767342e6 - 657982.950918562*I, 1.91569428479166e6 - 149750.662880060*I, 2.88776267663363e6 - 729137.048895778*I, 2.05932233072651e6 - 2.38290942400863e6*I, 428818.531247730 - 1.71509303431080e6*I, 590209.562227336 - 514399.546334490*I, 1.54542468090749e6 - 838979.719779946*I, 910830.920391998 - 1.93275338406801e6*I, -109628.123627651 - 1.18794600811023e6*I, 185608.219131009 - 1.05721898262049e6*I, -771361.605655073 - 631849.532892725*I, -302345.151742594 + 305020.417734048*I, -3663.94692869501 + 671758.019057029*I, 696615.746383611 + 720472.875919318*I, 767033.136620129 + 774010.525386769*I, 1.70737413361218e6 + 684968.119556928*I, 1.69099068588976e6 - 38736.7061043050*I, 1.55477117294235e6 - 371853.904698004*I, 1.24456236795708e6 - 166596.377183770*I, 1.70910859542460e6 - 507478.243585288*I, 1.20193029835579e6 - 669119.792325922*I, 973999.637453986 - 151094.732942249*I, 1.99796006981485e6 - 149444.500349500*I, 1.75844231142778e6 - 971959.096680862*I, 1.78792181623529e6 - 948661.250504556*I, 1.85896410025484e6 - 1.59214782622238e6*I, 1.30545527017153e6 - 2.09946023797075e6*I, 54936.5804131661 - 2.40323502660067e6*I, -692237.803779084 - 905971.968508332*I, -84997.9131607926 - 423444.490396562*I, -90526.6837075058 - 71198.1781738682*I, -81224.1043067832 + 937591.457636736*I, 1.85318628525359e6 + 2.31857495017417e6*I, 4.60633833233560e6 + 617557.902150943*I, 4.49930329654931e6 - 2.63619030876254e6*I, 1.53026841173654e6 - 4.00548588879675e6*I, -44916.6854312017 - 1.90954080102450e6*I, 1.27755908764659e6 - 430427.375091259*I, 2.99829775665962e6 - 1.13950352533746e6*I, 3.42956668207186e6 - 3.10198616777367e6*I, 1.95546357318176e6 - 5.09553525081928e6*I, -575891.731540096 - 4.95517525407262e6*I, -1.75890590876209e6 - 3.04041519794227e6*I, -1.12568057703459e6 - 1.71962989073953e6*I, -314984.702799788 - 1.38727554096735e6*I, 231389.135201529 - 1.45857577782025e6*I, 681693.376070011 - 1.74998782156767e6*I, 1.16932628032031e6 - 2.41950134725351e6*I, 752031.030205297 - 3.68465123104859e6*I, -533426.242012391 - 4.31767041116797e6*I, -2.07552857096019e6 - 3.75614750314838e6*I, -2.52558559083015e6 - 2.41131022916429e6*I, -2.12828414836764e6 - 1.30934954565061e6*I, -1.26000654719344e6 - 1.31488790843140e6*I, -1.49556159348234e6 - 1.77660379576169e6*I, -2.11763972883637e6 - 998523.664929727*I, -1.78781520674797e6 - 268235.758643124*I, -1.24677906709337e6 + 787039.556133519*I, 473803.882228956 + 1.23408714267409e6*I, 2.16541632113876e6 + 645765.496776408*I, 3.60275102973880e6 - 1.16179756682085e6*I, 3.39000544120998e6 - 3.34789608953437e6*I, 2.46405341096593e6 - 4.53864362098623e6*I, 1.59092091210930e6 - 5.68296151165485e6*I, 72329.7170169496 - 5.85393697041313e6*I, 373039.973378938 - 5.44417818566960e6*I, 188353.279880466 - 7.35121033662767e6*I, -1.56188336463923e6 - 7.58813524209425e6*I, -1.01042375710527e6 - 8.37092185259329e6*I, -2.31980800514262e6 - 1.15002389477483e7*I, -5.67268846009626e6 - 1.44142606237890e7*I, -1.29453798620803e7 - 1.85086087869157e7*I, -3.10160628558919e7 - 1.38038602413458e7*I, 3.87904895604431e6 + 629625.291675355*I, 3.10873136680286e6 + 1.75058153077113e6*I, 2.83117029431853e6 + 1.74740049450549e6*I, 2.84441007504781e6 + 3.50412428447687e6*I, 856214.947528548 + 4.07629407578346e6*I, -185594.791309569 + 3.78260836691649e6*I, -1.24844401099352e6 + 3.86113084018915e6*I, -2.61255197417124e6 + 3.00360121816168e6*I, -3.27480164893812e6 + 1.77288476251211e6*I, -3.30470321573871e6 - 106150.909563608*I, -1.86397806291379e6 - 749155.418753468*I, -1.15439254357575e6 - 631590.612923131*I, -953108.682385485 - 379793.556267269*I, -418649.206527465 - 355180.342474260*I, -272411.009058630 + 151446.686217995*I, -531160.085158455 + 1.02144187328584e6*I, -1.75915077296203e6 + 692521.988532388*I, -1.43762759942575e6 - 78231.8083191538*I, -1.40042070604509e6 - 132355.670274604*I, -1.30337153448298e6 + 22547.0909385469*I, -1.89913056720280e6 - 88128.5733632889*I, -1.77993363550038e6 - 951873.502339451*I, -1.15131443119497e6 - 953763.971506502*I, -1.34987897351319e6 - 790026.179101357*I, -1.12908586032726e6 - 1.11286972767776e6*I, -1.24812926751465e6 - 650442.258655782*I, -1.85197385976360e6 - 1.47706775260297e6*I, -770052.064549038 - 2.08982522529753e6*I, -817433.781198230 - 1.39301270778339e6*I, -1.28853641435328e6 - 2.31188376137802e6*I, 269019.051745513 - 3.46540503568273e6*I, 2.00457754973962e6 - 1.83600026687536e6*I, 1.57354606116436e6 - 547143.304163140*I, 1.31961028558556e6 + 180530.171339160*I, 277962.357925227 + 1.56820877612581e6*I, -2.04629927801187e6 + 1.00297006796382e6*I, -2.24162285435624e6 - 1.03879475625093e6*I, -1.40913920927218e6 - 1.47131001476400e6*I, -1.98361644339288e6 - 1.31219368781197e6*I, -2.18752284339530e6 - 3.15361375589618e6*I, -709007.792994669 - 4.05059292073706e6*I, 605383.445952840 - 3.99929873034595e6*I, 1.40565858190204e6 - 3.61163811275463e6*I, 2.38287442938110e6 - 3.50069007234553e6*I, 3.65507710831091e6 - 1.43256327457921e6*I, 1.65418430756259e6 - 33503.2976155239*I, 538514.069068512 - 985544.911984491*I, 524793.993761902 - 2.20316368216023e6*I, 1.96081079056835e6 - 2.91859614091219e6*I, 3.45145409955404e6 - 2.31302866704983e6*I, 3.38285954890766e6 - 32771.0599200400*I, 1.89688183400852e6 - 921511.373729363*I, 3.61204065085700e6 - 850366.411621843*I, 3.20053735294774e6 + 665116.622863847*I, 2.36636002890894e6 + 1.15007293082751e6*I, 1.65073352767342e6 + 657982.950918562*I, 1.91569428479166e6 + 149750.662880060*I, 2.88776267663363e6 + 729137.048895778*I, 2.05932233072651e6 + 2.38290942400863e6*I, 428818.531247730 + 1.71509303431080e6*I, 590209.562227336 + 514399.546334490*I, 1.54542468090749e6 + 838979.719779946*I, 910830.920391998 + 1.93275338406801e6*I, -109628.123627651 + 1.18794600811023e6*I, 185608.219131009 + 1.05721898262049e6*I, -771361.605655073 + 631849.532892725*I, -302345.151742594 - 305020.417734048*I, -3663.94692869501 - 671758.019057029*I, 696615.746383611 - 720472.875919318*I, 767033.136620129 - 774010.525386769*I, 1.70737413361218e6 - 684968.119556928*I, 1.69099068588976e6 + 38736.7061043050*I, 1.55477117294235e6 + 371853.904698004*I, 1.24456236795708e6 + 166596.377183770*I, 1.70910859542460e6 + 507478.243585288*I, 1.20193029835579e6 + 669119.792325922*I, 973999.637453986 + 151094.732942249*I, 1.99796006981485e6 + 149444.500349500*I, 1.75844231142778e6 + 971959.096680862*I, 1.78792181623529e6 + 948661.250504556*I, 1.85896410025484e6 + 1.59214782622238e6*I, 1.30545527017153e6 + 2.09946023797075e6*I, 54936.5804131661 + 2.40323502660067e6*I, -692237.803779084 + 905971.968508332*I, -84997.9131607926 + 423444.490396562*I, -90526.6837075058 + 71198.1781738682*I, -81224.1043067832 - 937591.457636736*I, 1.85318628525359e6 - 2.31857495017417e6*I, 4.60633833233560e6 - 617557.902150943*I, 4.49930329654931e6 + 2.63619030876254e6*I, 1.53026841173654e6 + 4.00548588879675e6*I, -44916.6854312017 + 1.90954080102450e6*I, 1.27755908764659e6 + 430427.375091259*I, 2.99829775665962e6 + 1.13950352533746e6*I, 3.42956668207186e6 + 3.10198616777367e6*I, 1.95546357318176e6 + 5.09553525081928e6*I, -575891.731540096 + 4.95517525407262e6*I, -1.75890590876209e6 + 3.04041519794227e6*I, -1.12568057703459e6 + 1.71962989073953e6*I, -314984.702799788 + 1.38727554096735e6*I, 231389.135201529 + 1.45857577782025e6*I, 681693.376070011 + 1.74998782156767e6*I, 1.16932628032031e6 + 2.41950134725351e6*I, 752031.030205297 + 3.68465123104859e6*I, -533426.242012391 + 4.31767041116797e6*I, -2.07552857096019e6 + 3.75614750314838e6*I, -2.52558559083015e6 + 2.41131022916429e6*I, -2.12828414836764e6 + 1.30934954565061e6*I, -1.26000654719344e6 + 1.31488790843140e6*I, -1.49556159348234e6 + 1.77660379576169e6*I, -2.11763972883637e6 + 998523.664929727*I, -1.78781520674797e6 + 268235.758643124*I, -1.24677906709337e6 - 787039.556133519*I, 473803.882228956 - 1.23408714267409e6*I, 2.16541632113876e6 - 645765.496776408*I, 3.60275102973880e6 + 1.16179756682085e6*I, 3.39000544120998e6 + 3.34789608953437e6*I, 2.46405341096593e6 + 4.53864362098623e6*I, 1.59092091210930e6 + 5.68296151165485e6*I, 72329.7170169496 + 5.85393697041313e6*I, 373039.973378938 + 5.44417818566960e6*I, 188353.279880466 + 7.35121033662767e6*I, -1.56188336463923e6 + 7.58813524209425e6*I, -1.01042375710527e6 + 8.37092185259329e6*I, -2.31980800514262e6 + 1.15002389477483e7*I, -5.67268846009626e6 + 1.44142606237890e7*I, -1.29453798620803e7 + 1.85086087869157e7*I, -3.10160628558919e7 + 1.38038602413458e7*I])
b3 = canonical_to_coeff([2.70668292822157e6 - 299199.997982915*I, 2.38454282487873e6 - 408581.233318248*I, 2.41448352185597e6 - 466877.853263680*I, 2.26113264593412e6 - 596579.642852012*I, 2.34139169067415e6 - 563229.457455418*I, 2.24517141073333e6 - 1.00949590544107e6*I, 1.71553752394277e6 - 836260.615352192*I, 2.20074342338495e6 - 448533.483736260*I, 2.85263361161804e6 - 982892.350647917*I, 2.25045774603690e6 - 2.35457683009569e6*I, 861110.202619913 - 1.52714876749968e6*I, 1.47437865663349e6 - 1.04683327953613e6*I, 1.82232006947169e6 - 1.10134381898534e6*I, 2.15993080942206e6 - 1.83386420198310e6*I, 1.28539040063319e6 - 2.75002589186160e6*I, -83623.0780248177 - 2.46807141179887e6*I, -619219.686932607 - 887257.436472316*I, 608545.150016689 - 161320.251700288*I, 1.06213630394244e6 - 594272.257896017*I, 1.43065378760640e6 - 288238.131076746*I, 2.31856052757196e6 - 1.15737399122292e6*I, 2.04574540098145e6 - 2.42171661988609e6*I, 753237.183858362 - 3.28117974742813e6*I, -1.02865426711622e6 - 2.55308768743725e6*I, -980226.982125977 - 593310.224018745*I, 254525.131122313 - 220777.976612824*I, 981860.325088988 - 62977.8492060097*I, 2.24992817690181e6 - 1.15600871449553e6*I, 1.58311001606588e6 - 2.42508919054091e6*I, 914865.186747233 - 3.53814443139716e6*I, -1.12940398754879e6 - 3.17914070603781e6*I, -1.49805086375782e6 - 1.60494740361433e6*I, -610907.583690581 - 1.35473071469420e6*I, -829573.520967269 - 1.26524931976387e6*I, -684048.068502779 - 1.11469559793323e6*I, -97802.6347662933 - 1.26199546933696e6*I, -513770.410189974 - 2.29995821881866e6*I, -2.36315904744705e6 - 2.29139481812311e6*I, -2.52096917238328e6 - 53937.6017991309*I, -1.01568241490365e6 - 256106.747019989*I, -2.04454514057108e6 - 888807.321061239*I, -2.52067043131186e6 + 420896.438865087*I, -1.89225918811252e6 + 1.25348669862525e6*I, -1.17877288834540e6 + 1.94586348510856e6*I, 327710.526490255 + 1.61137155865133e6*I, 180438.758883369 + 86209.1098403346*I, -1.19051719627481e6 + 449038.371372145*I, -532754.861680465 + 1.69676788991891e6*I, 139431.011880885 + 1.11410525011170e6*I, -196011.867805595 + 1.22707736527611e6*I, 90664.7800887653 + 1.68738010607962e6*I, 899794.949273070 + 1.45768978429567e6*I, 482038.415692367 + 1.01573717829476e6*I, 503789.953991667 + 1.81562137060145e6*I, 1.64532717811856e6 + 2.05562571168312e6*I, 2.13590840658294e6 + 872031.002563348*I, 1.46888579082923e6 + 976068.608110080*I, 2.08850439199577e6 + 1.38700566942245e6*I, 3.16198218787041e6 + 1.06315728183855e6*I, 3.64073130881669e6 - 691374.430090971*I, 2.37711904295549e6 - 1.65071449139781e6*I, 1.40031181246882e6 - 1.62574990798986e6*I, 809100.848787445 - 854070.344313009*I, 1.26820635513744e6 - 236730.261827567*I, 2.12999052905175e6 - 1.19481534654896e6*I, 244023.084548700 - 2.06110026585397e6*I, -865366.613951272 + 165256.748732655*I, 843109.386492745 + 1.76221506115784e6*I, 2.75113939707709e6 + 821726.946355613*I, 2.75675232921576e6 - 103952.448376716*I, 2.75301699679950e6 - 679593.336926919*I, 2.43781486926636e6 - 1.37016874786842e6*I, 1.67062173622728e6 - 926298.633564035*I, 2.42096127618746e6 + 204636.746714503*I, 4.51671762343835e6 - 786670.680543830*I, 4.36600428716978e6 - 3.08758098861566e6*I, 2.59379123315348e6 - 4.41373567713461e6*I, 1.51282032704010e6 - 3.36021475986429e6*I, 2.17054142897198e6 - 3.68623903887320e6*I, 1.06665414379570e6 - 4.94620973353637e6*I, -716071.279036957 - 4.03872797017133e6*I, -306430.924572943 - 3.08018979504627e6*I, -838250.977357005 - 3.45344980252215e6*I, -1.30280440659752e6 - 2.03428371444756e6*I, -176257.009675250 - 1.69001101080470e6*I, 86337.4881850778 - 1.83610577647884e6*I, 673140.149125361 - 2.48056583039771e6*I, 282552.363143920 - 3.45798491152004e6*I, -841391.051289361 - 4.11551283070777e6*I, -2.23740827214355e6 - 3.66690632290287e6*I, -3.56536678412560e6 - 2.98002821844781e6*I, -4.44720349564206e6 - 360985.413394378*I, -2.90787611788433e6 + 1.59723101723915e6*I, -1.19620590089241e6 + 2.90006827890347e6*I, 1.91212411835708e6 + 2.65067394670073e6*I, 3.59163825304455e6 + 162506.947016334*I, 2.87746561923366e6 - 2.46910693447997e6*I, 981111.951972516 - 2.90616409653172e6*I, 394261.276039387 - 2.40943293777271e6*I, 257414.722858949 - 2.38801741160579e6*I, -717097.106402088 - 2.14982422679767e6*I, -308545.561274863 - 761677.663604382*I, 927919.939203254 - 809924.635144586*I, 1.29123903310214e6 - 1.68293075085740e6*I, 956256.462771752 - 1.56088106703383e6*I, 1.87080478137437e6 - 1.61235906654355e6*I, 2.23206494131501e6 - 2.52456209676730e6*I, 2.68697945180733e6 - 3.44234594543498e6*I, 2.07567044945234e6 - 5.30023258263661e6*I, 574936.339684674 - 5.55734735157661e6*I, -86333.7868107429 - 5.81216928219850e6*I, -1.49503778146204e6 - 6.10588785615703e6*I, -2.74719643712455e6 - 4.83415984539972e6*I, -2.93516298513515e6 - 3.69594168553894e6*I, -2.32121837847904e6 - 2.39687240010281e6*I, -675708.411612703 - 2.34467494266121e6*I, -14144.1734816448 - 3.45348428432343e6*I, -194064.106548793 - 4.32953193520043e6*I, 23467.6645567956 - 4.49189115502726e6*I, 648440.427515224 - 6.08550495178793e6*I, -383290.088435354 - 8.06708000606459e6*I, -2.26839400906547e6 - 8.86216415426614e6*I, -3.63294941252236e6 - 8.84295768240037e6*I, -3.43379025533568e6 - 9.19307443165675e6*I, -4.34342227948954e6 - 1.18498085042121e7*I, -7.26150736543696e6 - 1.59275414354095e7*I, -1.66210196766344e7 - 1.96732114884678e7*I, -3.39594603056453e7 - 1.36047881755865e7*I, 2.70668292822157e6 + 299199.997982915*I, 2.38454282487873e6 + 408581.233318248*I, 2.41448352185597e6 + 466877.853263680*I, 2.26113264593412e6 + 596579.642852012*I, 2.34139169067415e6 + 563229.457455418*I, 2.24517141073333e6 + 1.00949590544107e6*I, 1.71553752394277e6 + 836260.615352192*I, 2.20074342338495e6 + 448533.483736260*I, 2.85263361161804e6 + 982892.350647917*I, 2.25045774603690e6 + 2.35457683009569e6*I, 861110.202619913 + 1.52714876749968e6*I, 1.47437865663349e6 + 1.04683327953613e6*I, 1.82232006947169e6 + 1.10134381898534e6*I, 2.15993080942206e6 + 1.83386420198310e6*I, 1.28539040063319e6 + 2.75002589186160e6*I, -83623.0780248177 + 2.46807141179887e6*I, -619219.686932607 + 887257.436472316*I, 608545.150016689 + 161320.251700288*I, 1.06213630394244e6 + 594272.257896017*I, 1.43065378760640e6 + 288238.131076746*I, 2.31856052757196e6 + 1.15737399122292e6*I, 2.04574540098145e6 + 2.42171661988609e6*I, 753237.183858362 + 3.28117974742813e6*I, -1.02865426711622e6 + 2.55308768743725e6*I, -980226.982125977 + 593310.224018745*I, 254525.131122313 + 220777.976612824*I, 981860.325088988 + 62977.8492060097*I, 2.24992817690181e6 + 1.15600871449553e6*I, 1.58311001606588e6 + 2.42508919054091e6*I, 914865.186747233 + 3.53814443139716e6*I, -1.12940398754879e6 + 3.17914070603781e6*I, -1.49805086375782e6 + 1.60494740361433e6*I, -610907.583690581 + 1.35473071469420e6*I, -829573.520967269 + 1.26524931976387e6*I, -684048.068502779 + 1.11469559793323e6*I, -97802.6347662933 + 1.26199546933696e6*I, -513770.410189974 + 2.29995821881866e6*I, -2.36315904744705e6 + 2.29139481812311e6*I, -2.52096917238328e6 + 53937.6017991309*I, -1.01568241490365e6 + 256106.747019989*I, -2.04454514057108e6 + 888807.321061239*I, -2.52067043131186e6 - 420896.438865087*I, -1.89225918811252e6 - 1.25348669862525e6*I, -1.17877288834540e6 - 1.94586348510856e6*I, 327710.526490255 - 1.61137155865133e6*I, 180438.758883369 - 86209.1098403346*I, -1.19051719627481e6 - 449038.371372145*I, -532754.861680465 - 1.69676788991891e6*I, 139431.011880885 - 1.11410525011170e6*I, -196011.867805595 - 1.22707736527611e6*I, 90664.7800887653 - 1.68738010607962e6*I, 899794.949273070 - 1.45768978429567e6*I, 482038.415692367 - 1.01573717829476e6*I, 503789.953991667 - 1.81562137060145e6*I, 1.64532717811856e6 - 2.05562571168312e6*I, 2.13590840658294e6 - 872031.002563348*I, 1.46888579082923e6 - 976068.608110080*I, 2.08850439199577e6 - 1.38700566942245e6*I, 3.16198218787041e6 - 1.06315728183855e6*I, 3.64073130881669e6 + 691374.430090971*I, 2.37711904295549e6 + 1.65071449139781e6*I, 1.40031181246882e6 + 1.62574990798986e6*I, 809100.848787445 + 854070.344313009*I, 1.26820635513744e6 + 236730.261827567*I, 2.12999052905175e6 + 1.19481534654896e6*I, 244023.084548700 + 2.06110026585397e6*I, -865366.613951272 - 165256.748732655*I, 843109.386492745 - 1.76221506115784e6*I, 2.75113939707709e6 - 821726.946355613*I, 2.75675232921576e6 + 103952.448376716*I, 2.75301699679950e6 + 679593.336926919*I, 2.43781486926636e6 + 1.37016874786842e6*I, 1.67062173622728e6 + 926298.633564035*I, 2.42096127618746e6 - 204636.746714503*I, 4.51671762343835e6 + 786670.680543830*I, 4.36600428716978e6 + 3.08758098861566e6*I, 2.59379123315348e6 + 4.41373567713461e6*I, 1.51282032704010e6 + 3.36021475986429e6*I, 2.17054142897198e6 + 3.68623903887320e6*I, 1.06665414379570e6 + 4.94620973353637e6*I, -716071.279036957 + 4.03872797017133e6*I, -306430.924572943 + 3.08018979504627e6*I, -838250.977357005 + 3.45344980252215e6*I, -1.30280440659752e6 + 2.03428371444756e6*I, -176257.009675250 + 1.69001101080470e6*I, 86337.4881850778 + 1.83610577647884e6*I, 673140.149125361 + 2.48056583039771e6*I, 282552.363143920 + 3.45798491152004e6*I, -841391.051289361 + 4.11551283070777e6*I, -2.23740827214355e6 + 3.66690632290287e6*I, -3.56536678412560e6 + 2.98002821844781e6*I, -4.44720349564206e6 + 360985.413394378*I, -2.90787611788433e6 - 1.59723101723915e6*I, -1.19620590089241e6 - 2.90006827890347e6*I, 1.91212411835708e6 - 2.65067394670073e6*I, 3.59163825304455e6 - 162506.947016334*I, 2.87746561923366e6 + 2.46910693447997e6*I, 981111.951972516 + 2.90616409653172e6*I, 394261.276039387 + 2.40943293777271e6*I, 257414.722858949 + 2.38801741160579e6*I, -717097.106402088 + 2.14982422679767e6*I, -308545.561274863 + 761677.663604382*I, 927919.939203254 + 809924.635144586*I, 1.29123903310214e6 + 1.68293075085740e6*I, 956256.462771752 + 1.56088106703383e6*I, 1.87080478137437e6 + 1.61235906654355e6*I, 2.23206494131501e6 + 2.52456209676730e6*I, 2.68697945180733e6 + 3.44234594543498e6*I, 2.07567044945234e6 + 5.30023258263661e6*I, 574936.339684674 + 5.55734735157661e6*I, -86333.7868107429 + 5.81216928219850e6*I, -1.49503778146204e6 + 6.10588785615703e6*I, -2.74719643712455e6 + 4.83415984539972e6*I, -2.93516298513515e6 + 3.69594168553894e6*I, -2.32121837847904e6 + 2.39687240010281e6*I, -675708.411612703 + 2.34467494266121e6*I, -14144.1734816448 + 3.45348428432343e6*I, -194064.106548793 + 4.32953193520043e6*I, 23467.6645567956 + 4.49189115502726e6*I, 648440.427515224 + 6.08550495178793e6*I, -383290.088435354 + 8.06708000606459e6*I, -2.26839400906547e6 + 8.86216415426614e6*I, -3.63294941252236e6 + 8.84295768240037e6*I, -3.43379025533568e6 + 9.19307443165675e6*I, -4.34342227948954e6 + 1.18498085042121e7*I, -7.26150736543696e6 + 1.59275414354095e7*I, -1.66210196766344e7 + 1.96732114884678e7*I, -3.39594603056453e7 + 1.36047881755865e7*I])
a4 = canonical_to_coeff([-1.26171849162496e6 + 41985.9038998885*I, -1.62369651520470e6 + 217023.439373734*I, -2.02801479208613e6 + 1.55091587689758e6*I, 221018.377533953 + 2.79360503079970e6*I, 1.67318049922148e6 + 820005.041877509*I, 981921.711532366 - 607839.589274996*I, 487.144692328613 - 910862.933842137*I, -624495.400577577 - 860171.864080192*I, -1.34872157095197e6 - 798500.706168484*I, -2.61735867836193e6 + 86599.4601899465*I, -1.78515814045034e6 + 2.01265272237646e6*I, -1.26910030842451e6 + 1.76448777924718e6*I, -504009.308715684 + 3.07875961980038e6*I, 1.29593233509635e6 + 2.05875272189162e6*I, 883713.873177692 + 842908.856279325*I, 360591.089164215 + 610225.179330767*I, -323019.557297182 + 718528.333692274*I, -267787.165430595 + 1.55484665952558e6*I, -12475.7733027817 + 1.39889772093996e6*I, -453485.827227620 + 2.09293669726582e6*I, 224281.049727148 + 3.20347717544466e6*I, 2.30402293010293e6 + 3.28580263779962e6*I, 2.85063371029485e6 + 1.50319124075789e6*I, 2.24580024604200e6 + 858798.011872453*I, 1.75633108904793e6 + 1.21232602860497e6*I, 2.42913251056635e6 + 1.86204168254808e6*I, 4.18786867143750e6 + 1.19202879710488e6*I, 4.27883028513358e6 - 1.22714605081532e6*I, 2.75936432574774e6 - 2.26493644169015e6*I, 1.27112594925819e6 - 2.50870000157083e6*I, 289052.007761046 - 1.47988494386771e6*I, 478284.597982967 - 770988.930622083*I, 850345.179145355 - 868994.137843954*I, 186339.287534177 - 1.27534979989338e6*I, -341270.216229670 - 111521.056009751*I, 737788.830153933 + 396091.441536025*I, 1.48466720617801e6 - 421267.878994671*I, 1.00920217514122e6 - 1.36382175915279e6*I, -146428.804988749 - 1.92104981991515e6*I, -1.86363870447546e6 - 825346.857017239*I, -1.39235385698305e6 + 1.23776134272334e6*I, -124437.664754075 + 1.89008497096167e6*I, 1.29462745484454e6 + 1.44527170015566e6*I, 1.19963672231207e6 + 353897.032236013*I, 800271.162723412 + 325480.078898621*I, 780703.888083741 + 372226.499328539*I, 487369.085978159 + 309359.045787434*I, 437141.884057077 + 729732.160149461*I, 681655.576267484 + 906575.242204161*I, 781399.784481724 + 1.33439968372886e6*I, 1.25221771082090e6 + 1.36029175033939e6*I, 1.81271994054867e6 + 1.26126545574845e6*I, 1.42377999824371e6 + 777719.465821867*I, 1.37713362695665e6 + 1.57766143044439e6*I, 2.28644239153362e6 + 2.03180165676170e6*I, 3.10130178246764e6 + 2.20476513863074e6*I, 4.60989822489207e6 + 1.72220323814257e6*I, 6.04403927407308e6 + 340131.631264027*I, 5.75750079318928e6 - 2.76391543842665e6*I, 3.01884293715305e6 - 3.59783203737927e6*I, 1.90663854325061e6 - 2.21632462559415e6*I, 2.35238701195475e6 - 1.40387240115164e6*I, 3.53303989274516e6 - 1.58859078702886e6*I, 3.66682430583946e6 - 3.31453481237403e6*I, 2.40613683356987e6 - 4.35656528038911e6*I, 1.02209634284770e6 - 4.53896612180032e6*I, -487578.427798178 - 4.06496583329254e6*I, -1.47492359539516e6 - 2.25057399158351e6*I, -505782.998103794 - 802373.309001026*I, 916816.008152910 - 623812.404451341*I, 1.12276289303074e6 - 2.06981916090008e6*I, -109973.861744823 - 1.66088408552292e6*I, 306913.436152199 - 629359.190449162*I, 1.61431920462445e6 - 400524.498991820*I, 2.06494885594307e6 - 2.11632586709003e6*I, 965999.455445278 - 2.06666684621510e6*I, 1.17932038081185e6 - 2.08959385673589e6*I, 647664.362217940 - 2.20452214020977e6*I, 629071.253661682 - 1.78428691311391e6*I, 1.05094499205178e6 - 1.59013572663446e6*I, 1.20114463676606e6 - 2.18041028124328e6*I, 728525.660258732 - 2.35325695316801e6*I, 579292.010090392 - 2.10855963163648e6*I, 618889.805471410 - 1.84524073089930e6*I, 1.11543844325242e6 - 1.53658246363143e6*I, 1.81910933275460e6 - 1.79340845308773e6*I, 2.29655420478500e6 - 2.87581278721445e6*I, 1.98041607054200e6 - 3.58941409204759e6*I, 1.86669582030415e6 - 4.59108962406879e6*I, 814862.511994806 - 6.33855770779131e6*I, -2.13763162826339e6 - 6.04504228091221e6*I, -3.16801426528692e6 - 4.10697137380589e6*I, -2.92816209357733e6 - 2.83667316501289e6*I, -2.44260179305752e6 - 2.46033326260428e6*I, -2.72969401810070e6 - 2.46533675931556e6*I, -3.54417864911336e6 - 1.25929376683324e6*I, -2.62921913700963e6 + 448015.500668084*I, -775206.488252672 + 645375.760558949*I, 134404.179665463 - 118434.545162499*I, 67314.2219205430 - 465260.891979764*I, 967488.419909704 - 345143.093114397*I, 2.15853698903975e6 - 1.65544476360256e6*I, 1.12160426569284e6 - 3.25127743050740e6*I, 825195.725960578 - 3.40124750894291e6*I, 375430.470148262 - 4.19808136300851e6*I, -1.14893087109400e6 - 5.23815495925029e6*I, -2.91903413520733e6 - 4.08715306169879e6*I, -3.48315306364589e6 - 2.56732980655621e6*I, -2.75626748560314e6 - 1.14578158331271e6*I, -1.83359299801944e6 - 1.05680996306513e6*I, -1.14553166606810e6 - 826244.286993624*I, -456645.968283364 - 1.50133217112146e6*I, -929717.897491233 - 2.35242444400060e6*I, -1.74452013609133e6 - 1.36460028998416e6*I, -251210.626196798 - 473089.005455660*I, 669188.532444178 - 1.74858011031336e6*I, 714635.747430223 - 1.70133688898109e6*I, 2.44068157607025e6 - 2.62833493199252e6*I, 2.65178953544503e6 - 5.28331845733998e6*I, 1.19070113717880e6 - 7.06866148740923e6*I, -390949.795551761 - 8.00942588752900e6*I, -1.69337606448168e6 - 8.25699485999581e6*I, -2.62325533558337e6 - 8.92667890009077e6*I, -3.75454741043283e6 - 9.22004823447463e6*I, -4.09773713730684e6 - 1.09564791131752e7*I, -7.28443387574501e6 - 1.45625349523957e7*I, -1.44705531187458e7 - 1.76757608987187e7*I, -3.16309130713867e7 - 1.35911844667792e7*I, -1.26171849162496e6 - 41985.9038998885*I, -1.62369651520470e6 - 217023.439373734*I, -2.02801479208613e6 - 1.55091587689758e6*I, 221018.377533953 - 2.79360503079970e6*I, 1.67318049922148e6 - 820005.041877509*I, 981921.711532366 + 607839.589274996*I, 487.144692328613 + 910862.933842137*I, -624495.400577577 + 860171.864080192*I, -1.34872157095197e6 + 798500.706168484*I, -2.61735867836193e6 - 86599.4601899465*I, -1.78515814045034e6 - 2.01265272237646e6*I, -1.26910030842451e6 - 1.76448777924718e6*I, -504009.308715684 - 3.07875961980038e6*I, 1.29593233509635e6 - 2.05875272189162e6*I, 883713.873177692 - 842908.856279325*I, 360591.089164215 - 610225.179330767*I, -323019.557297182 - 718528.333692274*I, -267787.165430595 - 1.55484665952558e6*I, -12475.7733027817 - 1.39889772093996e6*I, -453485.827227620 - 2.09293669726582e6*I, 224281.049727148 - 3.20347717544466e6*I, 2.30402293010293e6 - 3.28580263779962e6*I, 2.85063371029485e6 - 1.50319124075789e6*I, 2.24580024604200e6 - 858798.011872453*I, 1.75633108904793e6 - 1.21232602860497e6*I, 2.42913251056635e6 - 1.86204168254808e6*I, 4.18786867143750e6 - 1.19202879710488e6*I, 4.27883028513358e6 + 1.22714605081532e6*I, 2.75936432574774e6 + 2.26493644169015e6*I, 1.27112594925819e6 + 2.50870000157083e6*I, 289052.007761046 + 1.47988494386771e6*I, 478284.597982967 + 770988.930622083*I, 850345.179145355 + 868994.137843954*I, 186339.287534177 + 1.27534979989338e6*I, -341270.216229670 + 111521.056009751*I, 737788.830153933 - 396091.441536025*I, 1.48466720617801e6 + 421267.878994671*I, 1.00920217514122e6 + 1.36382175915279e6*I, -146428.804988749 + 1.92104981991515e6*I, -1.86363870447546e6 + 825346.857017239*I, -1.39235385698305e6 - 1.23776134272334e6*I, -124437.664754075 - 1.89008497096167e6*I, 1.29462745484454e6 - 1.44527170015566e6*I, 1.19963672231207e6 - 353897.032236013*I, 800271.162723412 - 325480.078898621*I, 780703.888083741 - 372226.499328539*I, 487369.085978159 - 309359.045787434*I, 437141.884057077 - 729732.160149461*I, 681655.576267484 - 906575.242204161*I, 781399.784481724 - 1.33439968372886e6*I, 1.25221771082090e6 - 1.36029175033939e6*I, 1.81271994054867e6 - 1.26126545574845e6*I, 1.42377999824371e6 - 777719.465821867*I, 1.37713362695665e6 - 1.57766143044439e6*I, 2.28644239153362e6 - 2.03180165676170e6*I, 3.10130178246764e6 - 2.20476513863074e6*I, 4.60989822489207e6 - 1.72220323814257e6*I, 6.04403927407308e6 - 340131.631264027*I, 5.75750079318928e6 + 2.76391543842665e6*I, 3.01884293715305e6 + 3.59783203737927e6*I, 1.90663854325061e6 + 2.21632462559415e6*I, 2.35238701195475e6 + 1.40387240115164e6*I, 3.53303989274516e6 + 1.58859078702886e6*I, 3.66682430583946e6 + 3.31453481237403e6*I, 2.40613683356987e6 + 4.35656528038911e6*I, 1.02209634284770e6 + 4.53896612180032e6*I, -487578.427798178 + 4.06496583329254e6*I, -1.47492359539516e6 + 2.25057399158351e6*I, -505782.998103794 + 802373.309001026*I, 916816.008152910 + 623812.404451341*I, 1.12276289303074e6 + 2.06981916090008e6*I, -109973.861744823 + 1.66088408552292e6*I, 306913.436152199 + 629359.190449162*I, 1.61431920462445e6 + 400524.498991820*I, 2.06494885594307e6 + 2.11632586709003e6*I, 965999.455445278 + 2.06666684621510e6*I, 1.17932038081185e6 + 2.08959385673589e6*I, 647664.362217940 + 2.20452214020977e6*I, 629071.253661682 + 1.78428691311391e6*I, 1.05094499205178e6 + 1.59013572663446e6*I, 1.20114463676606e6 + 2.18041028124328e6*I, 728525.660258732 + 2.35325695316801e6*I, 579292.010090392 + 2.10855963163648e6*I, 618889.805471410 + 1.84524073089930e6*I, 1.11543844325242e6 + 1.53658246363143e6*I, 1.81910933275460e6 + 1.79340845308773e6*I, 2.29655420478500e6 + 2.87581278721445e6*I, 1.98041607054200e6 + 3.58941409204759e6*I, 1.86669582030415e6 + 4.59108962406879e6*I, 814862.511994806 + 6.33855770779131e6*I, -2.13763162826339e6 + 6.04504228091221e6*I, -3.16801426528692e6 + 4.10697137380589e6*I, -2.92816209357733e6 + 2.83667316501289e6*I, -2.44260179305752e6 + 2.46033326260428e6*I, -2.72969401810070e6 + 2.46533675931556e6*I, -3.54417864911336e6 + 1.25929376683324e6*I, -2.62921913700963e6 - 448015.500668084*I, -775206.488252672 - 645375.760558949*I, 134404.179665463 + 118434.545162499*I, 67314.2219205430 + 465260.891979764*I, 967488.419909704 + 345143.093114397*I, 2.15853698903975e6 + 1.65544476360256e6*I, 1.12160426569284e6 + 3.25127743050740e6*I, 825195.725960578 + 3.40124750894291e6*I, 375430.470148262 + 4.19808136300851e6*I, -1.14893087109400e6 + 5.23815495925029e6*I, -2.91903413520733e6 + 4.08715306169879e6*I, -3.48315306364589e6 + 2.56732980655621e6*I, -2.75626748560314e6 + 1.14578158331271e6*I, -1.83359299801944e6 + 1.05680996306513e6*I, -1.14553166606810e6 + 826244.286993624*I, -456645.968283364 + 1.50133217112146e6*I, -929717.897491233 + 2.35242444400060e6*I, -1.74452013609133e6 + 1.36460028998416e6*I, -251210.626196798 + 473089.005455660*I, 669188.532444178 + 1.74858011031336e6*I, 714635.747430223 + 1.70133688898109e6*I, 2.44068157607025e6 + 2.62833493199252e6*I, 2.65178953544503e6 + 5.28331845733998e6*I, 1.19070113717880e6 + 7.06866148740923e6*I, -390949.795551761 + 8.00942588752900e6*I, -1.69337606448168e6 + 8.25699485999581e6*I, -2.62325533558337e6 + 8.92667890009077e6*I, -3.75454741043283e6 + 9.22004823447463e6*I, -4.09773713730684e6 + 1.09564791131752e7*I, -7.28443387574501e6 + 1.45625349523957e7*I, -1.44705531187458e7 + 1.76757608987187e7*I, -3.16309130713867e7 + 1.35911844667792e7*I])
b4 = canonical_to_coeff([-1.53134913986940e6 + 525458.980272192*I, -986653.695753031 + 1.24943401263475e6*I, -493829.085950403 + 1.64769427857054e6*I, 114958.334298931 + 1.56857722001076e6*I, 49534.4386443430 + 1.83857392152413e6*I, 169733.998276273 + 2.25771430671076e6*I, 1.07605367079714e6 + 3.28339788475689e6*I, 2.80043221836911e6 + 3.16127053704643e6*I, 3.77761386291629e6 + 2.20084473007113e6*I, 4.28039995748589e6 + 795086.307391402*I, 4.11645455236128e6 + 131332.846548102*I, 4.16682494343131e6 - 1.41454614217153e6*I, 2.47012056890018e6 - 2.24997677437154e6*I, 1.21524924758860e6 - 1.41923801319320e6*I, 1.38411998350408e6 - 234055.232825308*I, 2.35198565016796e6 - 353397.332194669*I, 1.92743666344916e6 - 1.21613981387857e6*I, 1.09675753690275e6 - 50915.5018177387*I, 2.67757819613641e6 + 891357.958979623*I, 4.34724151620147e6 - 111808.867235773*I, 4.88102330829820e6 - 2.27306530086607e6*I, 3.30364773885636e6 - 4.12357681334416e6*I, 1.35226121117476e6 - 4.16656742852568e6*I, 545135.666402320 - 2.92279743209673e6*I, 934941.213566026 - 2.67828870000699e6*I, 717879.368699484 - 2.88146915513087e6*I, -98361.6557328039 - 3.17988021267561e6*I, -1.09823420439781e6 - 1.82465357499061e6*I, 13388.7775912259 - 608632.022052582*I, 1.63346954186527e6 - 847083.373742702*I, 1.90036982055530e6 - 2.65370409030216e6*I, 1.38554704723290e6 - 3.85031049008853e6*I, -755862.052508215 - 4.90999432576189e6*I, -2.58480252188455e6 - 3.26860015452325e6*I, -2.62197444079983e6 - 1.79368012475239e6*I, -2.30721639619701e6 - 441883.007657147*I, -266394.406059209 - 178343.254933296*I, -200970.995153599 - 2.06650759074131e6*I, -1.72657547601381e6 - 2.64557594990018e6*I, -3.20636206591555e6 - 1.43228253427044e6*I, -2.80534621940020e6 - 92371.7148225524*I, -2.53765906276679e6 + 284636.481488832*I, -2.79907534169545e6 + 1.20864040588251e6*I, -1.78316700163006e6 + 2.43290520751760e6*I, -36970.9167363389 + 2.69467458378142e6*I, 1.03953082741986e6 + 1.13529115061837e6*I, -151155.785921418 + 263074.748695767*I, -268819.556159089 + 1.39510537414529e6*I, 406528.502840050 + 973389.370310277*I, -159645.725833281 + 1.87034949160479e6*I, 2.33952846175758e6 + 2.36799594803947e6*I, 3.14214225277657e6 - 120035.263900822*I, 2.04227435878192e6 - 1.55937612538546e6*I, 513787.122641193 - 2.21407968811012e6*I, -939990.321853835 - 1.17379530232698e6*I, -1.11606350200857e6 - 323096.260155003*I, -1.34592161917435e6 + 870383.739789875*I, -410997.738200675 + 2.17066960085072e6*I, 1.25167703435146e6 + 2.11087651027605e6*I, 1.99398883277946e6 + 1.28879231450651e6*I, 2.29069595361490e6 + 290834.093149123*I, 1.39727052901375e6 - 150033.048899236*I, 1.70320988004597e6 + 191758.296480394*I, 1.70573820939083e6 + 184250.682762693*I, 2.54926689009471e6 - 324292.040605060*I, 1.65359554016753e6 - 1.50160854849805e6*I, 886045.767017941 - 660373.503792575*I, 1.74829703375250e6 - 654921.943751884*I, 1.47812713404851e6 - 1.62941488284245e6*I, 314361.354994225 - 1.63056917269145e6*I, -441350.230845183 - 874730.107882163*I, 123115.793428978 + 519540.075606418*I, 571357.022396362 + 100814.513740826*I, 423093.977790578 + 1.01023088992363e6*I, 1.95496522156419e6 + 1.66499394666776e6*I, 3.36217404078842e6 + 623541.211715377*I, 3.40801986611371e6 - 1.08780116397742e6*I, 1.91341063535809e6 - 1.51106938681620e6*I, 1.86142238081532e6 - 725181.359350774*I, 2.08098087281125e6 - 433814.943943302*I, 2.72829219120145e6 - 515063.587860858*I, 3.24905239125542e6 - 635975.920464374*I, 3.87034219698294e6 - 1.21641809756335e6*I, 4.72083027055081e6 - 2.01778629655548e6*I, 4.55270033656072e6 - 4.30415225852087e6*I, 3.01534721965723e6 - 5.14975666869059e6*I, 1.68469222065317e6 - 5.24286560449138e6*I, 1.09387807583607e6 - 5.00336668549754e6*I, 345247.481388493 - 5.02538629153728e6*I, -341774.866159129 - 4.54890936133099e6*I, -749727.746500861 - 4.14648801583456e6*I, -815780.544427374 - 3.69106630994604e6*I, -1.26040042115700e6 - 3.23048257928180e6*I, -671049.680019548 - 2.34551343079112e6*I, 413208.526734548 - 2.95861562078920e6*I, -6096.12813577981 - 4.08710949320081e6*I, -1.25444074541738e6 - 4.38234292191197e6*I, -2.25572898522173e6 - 3.89915756919921e6*I, -3.12639124950725e6 - 2.36784197852984e6*I, -1.59787433701453e6 - 1.17848831499729e6*I, -1.57034908711651e6 - 1.42152106611384e6*I, -407251.959361814 - 953725.970130885*I, 357950.423231181 - 1.90876758387216e6*I, -412867.766631056 - 2.71542482602493e6*I, -286679.866285976 - 1.97749217076920e6*I, 387194.019356226 - 2.95084573024940e6*I, -535364.135823533 - 3.80017755409458e6*I, -1.26721658017833e6 - 3.33437249411520e6*I, -1.24062477589056e6 - 3.02178097215615e6*I, -1.05057690231804e6 - 3.27696959088735e6*I, -2.14559355921510e6 - 3.43539965194770e6*I, -2.04623890450157e6 - 1.97428370903297e6*I, -640635.471784264 - 2.06381768065169e6*I, -349577.095030729 - 3.43957264169642e6*I, -1.57791348950293e6 - 4.00969464747605e6*I, -2.16847088085386e6 - 3.10462339512672e6*I, -1.61353764501859e6 - 2.49033367888699e6*I, -128860.543321243 - 2.86683072014680e6*I, 233848.826526829 - 4.98655220240641e6*I, -1.72001920674433e6 - 6.67002109898075e6*I, -3.65728092622734e6 - 5.70933734202784e6*I, -3.25643663919014e6 - 4.67404491345353e6*I, -2.84643959950457e6 - 5.41303502604852e6*I, -2.70107776168703e6 - 5.74919877284608e6*I, -1.46074744064788e6 - 8.17427026497621e6*I, -3.66353877594880e6 - 1.39984446571812e7*I, -1.27595105850818e7 - 1.91316750588142e7*I, -3.11497295983897e7 - 1.37960766687198e7*I, -1.53134913986940e6 - 525458.980272192*I, -986653.695753031 - 1.24943401263475e6*I, -493829.085950403 - 1.64769427857054e6*I, 114958.334298931 - 1.56857722001076e6*I, 49534.4386443430 - 1.83857392152413e6*I, 169733.998276273 - 2.25771430671076e6*I, 1.07605367079714e6 - 3.28339788475689e6*I, 2.80043221836911e6 - 3.16127053704643e6*I, 3.77761386291629e6 - 2.20084473007113e6*I, 4.28039995748589e6 - 795086.307391402*I, 4.11645455236128e6 - 131332.846548102*I, 4.16682494343131e6 + 1.41454614217153e6*I, 2.47012056890018e6 + 2.24997677437154e6*I, 1.21524924758860e6 + 1.41923801319320e6*I, 1.38411998350408e6 + 234055.232825308*I, 2.35198565016796e6 + 353397.332194669*I, 1.92743666344916e6 + 1.21613981387857e6*I, 1.09675753690275e6 + 50915.5018177387*I, 2.67757819613641e6 - 891357.958979623*I, 4.34724151620147e6 + 111808.867235773*I, 4.88102330829820e6 + 2.27306530086607e6*I, 3.30364773885636e6 + 4.12357681334416e6*I, 1.35226121117476e6 + 4.16656742852568e6*I, 545135.666402320 + 2.92279743209673e6*I, 934941.213566026 + 2.67828870000699e6*I, 717879.368699484 + 2.88146915513087e6*I, -98361.6557328039 + 3.17988021267561e6*I, -1.09823420439781e6 + 1.82465357499061e6*I, 13388.7775912259 + 608632.022052582*I, 1.63346954186527e6 + 847083.373742702*I, 1.90036982055530e6 + 2.65370409030216e6*I, 1.38554704723290e6 + 3.85031049008853e6*I, -755862.052508215 + 4.90999432576189e6*I, -2.58480252188455e6 + 3.26860015452325e6*I, -2.62197444079983e6 + 1.79368012475239e6*I, -2.30721639619701e6 + 441883.007657147*I, -266394.406059209 + 178343.254933296*I, -200970.995153599 + 2.06650759074131e6*I, -1.72657547601381e6 + 2.64557594990018e6*I, -3.20636206591555e6 + 1.43228253427044e6*I, -2.80534621940020e6 + 92371.7148225524*I, -2.53765906276679e6 - 284636.481488832*I, -2.79907534169545e6 - 1.20864040588251e6*I, -1.78316700163006e6 - 2.43290520751760e6*I, -36970.9167363389 - 2.69467458378142e6*I, 1.03953082741986e6 - 1.13529115061837e6*I, -151155.785921418 - 263074.748695767*I, -268819.556159089 - 1.39510537414529e6*I, 406528.502840050 - 973389.370310277*I, -159645.725833281 - 1.87034949160479e6*I, 2.33952846175758e6 - 2.36799594803947e6*I, 3.14214225277657e6 + 120035.263900822*I, 2.04227435878192e6 + 1.55937612538546e6*I, 513787.122641193 + 2.21407968811012e6*I, -939990.321853835 + 1.17379530232698e6*I, -1.11606350200857e6 + 323096.260155003*I, -1.34592161917435e6 - 870383.739789875*I, -410997.738200675 - 2.17066960085072e6*I, 1.25167703435146e6 - 2.11087651027605e6*I, 1.99398883277946e6 - 1.28879231450651e6*I, 2.29069595361490e6 - 290834.093149123*I, 1.39727052901375e6 + 150033.048899236*I, 1.70320988004597e6 - 191758.296480394*I, 1.70573820939083e6 - 184250.682762693*I, 2.54926689009471e6 + 324292.040605060*I, 1.65359554016753e6 + 1.50160854849805e6*I, 886045.767017941 + 660373.503792575*I, 1.74829703375250e6 + 654921.943751884*I, 1.47812713404851e6 + 1.62941488284245e6*I, 314361.354994225 + 1.63056917269145e6*I, -441350.230845183 + 874730.107882163*I, 123115.793428978 - 519540.075606418*I, 571357.022396362 - 100814.513740826*I, 423093.977790578 - 1.01023088992363e6*I, 1.95496522156419e6 - 1.66499394666776e6*I, 3.36217404078842e6 - 623541.211715377*I, 3.40801986611371e6 + 1.08780116397742e6*I, 1.91341063535809e6 + 1.51106938681620e6*I, 1.86142238081532e6 + 725181.359350774*I, 2.08098087281125e6 + 433814.943943302*I, 2.72829219120145e6 + 515063.587860858*I, 3.24905239125542e6 + 635975.920464374*I, 3.87034219698294e6 + 1.21641809756335e6*I, 4.72083027055081e6 + 2.01778629655548e6*I, 4.55270033656072e6 + 4.30415225852087e6*I, 3.01534721965723e6 + 5.14975666869059e6*I, 1.68469222065317e6 + 5.24286560449138e6*I, 1.09387807583607e6 + 5.00336668549754e6*I, 345247.481388493 + 5.02538629153728e6*I, -341774.866159129 + 4.54890936133099e6*I, -749727.746500861 + 4.14648801583456e6*I, -815780.544427374 + 3.69106630994604e6*I, -1.26040042115700e6 + 3.23048257928180e6*I, -671049.680019548 + 2.34551343079112e6*I, 413208.526734548 + 2.95861562078920e6*I, -6096.12813577981 + 4.08710949320081e6*I, -1.25444074541738e6 + 4.38234292191197e6*I, -2.25572898522173e6 + 3.89915756919921e6*I, -3.12639124950725e6 + 2.36784197852984e6*I, -1.59787433701453e6 + 1.17848831499729e6*I, -1.57034908711651e6 + 1.42152106611384e6*I, -407251.959361814 + 953725.970130885*I, 357950.423231181 + 1.90876758387216e6*I, -412867.766631056 + 2.71542482602493e6*I, -286679.866285976 + 1.97749217076920e6*I, 387194.019356226 + 2.95084573024940e6*I, -535364.135823533 + 3.80017755409458e6*I, -1.26721658017833e6 + 3.33437249411520e6*I, -1.24062477589056e6 + 3.02178097215615e6*I, -1.05057690231804e6 + 3.27696959088735e6*I, -2.14559355921510e6 + 3.43539965194770e6*I, -2.04623890450157e6 + 1.97428370903297e6*I, -640635.471784264 + 2.06381768065169e6*I, -349577.095030729 + 3.43957264169642e6*I, -1.57791348950293e6 + 4.00969464747605e6*I, -2.16847088085386e6 + 3.10462339512672e6*I, -1.61353764501859e6 + 2.49033367888699e6*I, -128860.543321243 + 2.86683072014680e6*I, 233848.826526829 + 4.98655220240641e6*I, -1.72001920674433e6 + 6.67002109898075e6*I, -3.65728092622734e6 + 5.70933734202784e6*I, -3.25643663919014e6 + 4.67404491345353e6*I, -2.84643959950457e6 + 5.41303502604852e6*I, -2.70107776168703e6 + 5.74919877284608e6*I, -1.46074744064788e6 + 8.17427026497621e6*I, -3.66353877594880e6 + 1.39984446571812e7*I, -1.27595105850818e7 + 1.91316750588142e7*I, -3.11497295983897e7 + 1.37960766687198e7*I])
a5 = canonical_to_coeff([1.85383398839338e6 - 533992.957245359*I, 1.02455438768411e6 - 769322.332738796*I, 2.14757355095601e6 - 1.03295342052913e6*I, 1.06750313608985e6 - 3.46222577404642e6*I, -1.73635644166936e6 - 3.53008988112360e6*I, -3.61243272320139e6 - 1.70786166301839e6*I, -3.56498812495786e6 + 1.09653443895458e6*I, -1.77162277341852e6 + 2.07754401711163e6*I, -1.03473812855026e6 + 2.27337119377755e6*I, 67915.5977103431 + 2.69042939728118e6*I, 1.39324621990692e6 + 2.21929489370279e6*I, 2.14332942105844e6 + 1.22049623247588e6*I, 2.19893621193045e6 + 25185.5897917124*I, 1.67979053912889e6 - 897177.632490262*I, 921048.681106176 - 912829.920044496*I, 789554.569759561 - 968547.618109826*I, 368016.946266784 - 785847.273990114*I, 708788.443842896 - 858415.868047563*I, 532991.212639734 - 1.24995311212948e6*I, 295041.835796712 - 1.15250752267358e6*I, 733963.404153103 - 1.45911695975461e6*I, 165342.261988210 - 3.01849263879250e6*I, -2.13749042143728e6 - 3.20240364376231e6*I, -3.22537199696623e6 - 938157.251197547*I, -2.61266599675568e6 - 227280.131831493*I, -2.39388703385023e6 + 802248.272911102*I, -1.39761717046055e6 + 959210.042987411*I, -1.55141599877212e6 + 851484.072531968*I, -855420.283747839 + 1.52839629836648e6*I, -520358.520802905 + 837760.157538629*I, -139522.307037740 + 1.37667447478343e6*I, 773070.062641851 + 194111.445017618*I, -409557.325121373 - 1.16011425802677e6*I, -1.94687455944274e6 - 183622.930409660*I, -1.51731864750690e6 + 1.11200121647145e6*I, -472553.637261030 + 850301.495734023*I, -1.20534274267237e6 + 130561.276698921*I, -2.03828789583365e6 + 977338.485689562*I, -1.79350631559342e6 + 2.16207640716424e6*I, -767289.441574434 + 3.36593603641771e6*I, 1.25514156958757e6 + 2.61448781673690e6*I, 1.45436678335840e6 + 1.56167225362339e6*I, 1.28124442984665e6 + 377529.975660576*I, 322608.784860444 + 621035.048794962*I, 1.46955002854172e6 + 472081.385296557*I, 462474.327733149 - 1.52207203500067e6*I, -1.80765183396366e6 - 996712.432911311*I, -2.71657511046712e6 + 1.03365218493618e6*I, -1.67954276352930e6 + 2.44420376840643e6*I, -887299.680317801 + 2.68935223440716e6*I, -535830.232260808 + 3.21224486169265e6*I, 578203.584654011 + 3.39044960193795e6*I, 830847.669144909 + 3.27541475716065e6*I, 1.82374367164173e6 + 3.64686993387370e6*I, 2.64353219732998e6 + 2.87951818606298e6*I, 3.11948972773682e6 + 3.28750705172996e6*I, 4.95530309649983e6 + 1.99283989394404e6*I, 4.78631302503202e6 + 36655.0724757302*I, 3.80513108204876e6 - 990621.310846181*I, 2.85743470319848e6 - 991112.359398713*I, 2.92201644703612e6 - 715021.831431682*I, 3.64814221528617e6 - 999026.092927724*I, 3.01496356903501e6 - 3.06505090912092e6*I, 1.21164588781234e6 - 2.57364836889588e6*I, 1.56839165390779e6 - 1.82598800033262e6*I, 1.38251635089623e6 - 2.51651899558933e6*I, 803908.717701562 - 2.39176426785152e6*I, 1.20718448453893e6 - 2.48781196298508e6*I, 57352.9138203965 - 3.80296926955261e6*I, -1.67050205909632e6 - 2.79831794578008e6*I, -1.36583714976432e6 - 1.54883266431080e6*I, -1.33958764105966e6 - 1.83734251674566e6*I, -1.87118877706611e6 - 1.53653002127560e6*I, -2.50493880046740e6 - 1.26647367111762e6*I, -3.88138968257127e6 + 17563.1840120833*I, -3.03771349276239e6 + 2.79590018876852e6*I, -596903.479116693 + 3.71645299695386e6*I, 1.44714638209173e6 + 2.82546774327457e6*I, 2.03223200310221e6 + 1.12922818525678e6*I, 1.53810760223365e6 + 312854.374517578*I, 1.23267125199761e6 - 39461.7872857312*I, 716490.123815603 - 175153.102233686*I, 541186.590705553 + 228625.397352904*I, 917046.470314586 + 498161.405736021*I, 1.31688406079911e6 + 105014.670621789*I, 1.51767544850489e6 - 275678.624141877*I, 1.25561772625826e6 - 1.39388810079209e6*I, -678482.903172254 - 1.62041548626321e6*I, -1.70264567820313e6 + 657503.216701737*I, -24307.3057386901 + 2.47847532695193e6*I, 2.12899900785386e6 + 2.25867077490764e6*I, 2.98137184828208e6 + 673576.951793052*I, 3.15933307564014e6 - 440406.128718859*I, 2.32092864122678e6 - 1.56225478473555e6*I, 1.26704125663244e6 - 1.75346728558608e6*I, 900061.205877970 - 933300.995135457*I, 1.10789730266601e6 - 897171.242064811*I, 980455.782675768 - 591510.272948934*I, 1.56813758827719e6 - 391078.554794099*I, 2.16114579028848e6 - 835899.243694164*I, 2.15007638190859e6 - 1.55876058398536e6*I, 2.01409420473220e6 - 2.31796524670392e6*I, 1.35355567701564e6 - 2.65079327500124e6*I, 628364.245556728 - 3.13381070542377e6*I, -977033.639215761 - 2.40058188640244e6*I, -653755.967611761 - 749940.442427962*I, 278533.307528677 - 528434.668888379*I, 527637.104719940 - 41812.9325591237*I, 2.10724425055125e6 + 147898.436270252*I, 3.45118406614777e6 - 1.56886744158446e6*I, 2.70987690201069e6 - 3.29146414503821e6*I, 1.56759918696497e6 - 3.60867789843690e6*I, 1.08173732982063e6 - 4.06783360658500e6*I, -145947.705989906 - 3.30551346540926e6*I, 688534.729825614 - 2.82290299680145e6*I, 638863.864680968 - 3.08169387398790e6*I, 1.52506014694249e6 - 3.13523673310396e6*I, 1.77022850853909e6 - 4.76080122979339e6*I, 533842.433720683 - 5.58474409797518e6*I, 454632.376868409 - 5.65831873295364e6*I, 244070.268080064 - 6.98739627101186e6*I, -1.31830077075768e6 - 8.22154615621528e6*I, -3.33411782787444e6 - 8.24683979082908e6*I, -3.99018244947905e6 - 7.31878264818721e6*I, -3.58337800574103e6 - 8.69947106604483e6*I, -5.56352254990797e6 - 1.13431252250823e7*I, -1.06847806139576e7 - 1.56451626359639e7*I, -2.77242569304349e7 - 1.29617398141725e7*I, 1.85383398839338e6 + 533992.957245359*I, 1.02455438768411e6 + 769322.332738796*I, 2.14757355095601e6 + 1.03295342052913e6*I, 1.06750313608985e6 + 3.46222577404642e6*I, -1.73635644166936e6 + 3.53008988112360e6*I, -3.61243272320139e6 + 1.70786166301839e6*I, -3.56498812495786e6 - 1.09653443895458e6*I, -1.77162277341852e6 - 2.07754401711163e6*I, -1.03473812855026e6 - 2.27337119377755e6*I, 67915.5977103431 - 2.69042939728118e6*I, 1.39324621990692e6 - 2.21929489370279e6*I, 2.14332942105844e6 - 1.22049623247588e6*I, 2.19893621193045e6 - 25185.5897917124*I, 1.67979053912889e6 + 897177.632490262*I, 921048.681106176 + 912829.920044496*I, 789554.569759561 + 968547.618109826*I, 368016.946266784 + 785847.273990114*I, 708788.443842896 + 858415.868047563*I, 532991.212639734 + 1.24995311212948e6*I, 295041.835796712 + 1.15250752267358e6*I, 733963.404153103 + 1.45911695975461e6*I, 165342.261988210 + 3.01849263879250e6*I, -2.13749042143728e6 + 3.20240364376231e6*I, -3.22537199696623e6 + 938157.251197547*I, -2.61266599675568e6 + 227280.131831493*I, -2.39388703385023e6 - 802248.272911102*I, -1.39761717046055e6 - 959210.042987411*I, -1.55141599877212e6 - 851484.072531968*I, -855420.283747839 - 1.52839629836648e6*I, -520358.520802905 - 837760.157538629*I, -139522.307037740 - 1.37667447478343e6*I, 773070.062641851 - 194111.445017618*I, -409557.325121373 + 1.16011425802677e6*I, -1.94687455944274e6 + 183622.930409660*I, -1.51731864750690e6 - 1.11200121647145e6*I, -472553.637261030 - 850301.495734023*I, -1.20534274267237e6 - 130561.276698921*I, -2.03828789583365e6 - 977338.485689562*I, -1.79350631559342e6 - 2.16207640716424e6*I, -767289.441574434 - 3.36593603641771e6*I, 1.25514156958757e6 - 2.61448781673690e6*I, 1.45436678335840e6 - 1.56167225362339e6*I, 1.28124442984665e6 - 377529.975660576*I, 322608.784860444 - 621035.048794962*I, 1.46955002854172e6 - 472081.385296557*I, 462474.327733149 + 1.52207203500067e6*I, -1.80765183396366e6 + 996712.432911311*I, -2.71657511046712e6 - 1.03365218493618e6*I, -1.67954276352930e6 - 2.44420376840643e6*I, -887299.680317801 - 2.68935223440716e6*I, -535830.232260808 - 3.21224486169265e6*I, 578203.584654011 - 3.39044960193795e6*I, 830847.669144909 - 3.27541475716065e6*I, 1.82374367164173e6 - 3.64686993387370e6*I, 2.64353219732998e6 - 2.87951818606298e6*I, 3.11948972773682e6 - 3.28750705172996e6*I, 4.95530309649983e6 - 1.99283989394404e6*I, 4.78631302503202e6 - 36655.0724757302*I, 3.80513108204876e6 + 990621.310846181*I, 2.85743470319848e6 + 991112.359398713*I, 2.92201644703612e6 + 715021.831431682*I, 3.64814221528617e6 + 999026.092927724*I, 3.01496356903501e6 + 3.06505090912092e6*I, 1.21164588781234e6 + 2.57364836889588e6*I, 1.56839165390779e6 + 1.82598800033262e6*I, 1.38251635089623e6 + 2.51651899558933e6*I, 803908.717701562 + 2.39176426785152e6*I, 1.20718448453893e6 + 2.48781196298508e6*I, 57352.9138203965 + 3.80296926955261e6*I, -1.67050205909632e6 + 2.79831794578008e6*I, -1.36583714976432e6 + 1.54883266431080e6*I, -1.33958764105966e6 + 1.83734251674566e6*I, -1.87118877706611e6 + 1.53653002127560e6*I, -2.50493880046740e6 + 1.26647367111762e6*I, -3.88138968257127e6 - 17563.1840120833*I, -3.03771349276239e6 - 2.79590018876852e6*I, -596903.479116693 - 3.71645299695386e6*I, 1.44714638209173e6 - 2.82546774327457e6*I, 2.03223200310221e6 - 1.12922818525678e6*I, 1.53810760223365e6 - 312854.374517578*I, 1.23267125199761e6 + 39461.7872857312*I, 716490.123815603 + 175153.102233686*I, 541186.590705553 - 228625.397352904*I, 917046.470314586 - 498161.405736021*I, 1.31688406079911e6 - 105014.670621789*I, 1.51767544850489e6 + 275678.624141877*I, 1.25561772625826e6 + 1.39388810079209e6*I, -678482.903172254 + 1.62041548626321e6*I, -1.70264567820313e6 - 657503.216701737*I, -24307.3057386901 - 2.47847532695193e6*I, 2.12899900785386e6 - 2.25867077490764e6*I, 2.98137184828208e6 - 673576.951793052*I, 3.15933307564014e6 + 440406.128718859*I, 2.32092864122678e6 + 1.56225478473555e6*I, 1.26704125663244e6 + 1.75346728558608e6*I, 900061.205877970 + 933300.995135457*I, 1.10789730266601e6 + 897171.242064811*I, 980455.782675768 + 591510.272948934*I, 1.56813758827719e6 + 391078.554794099*I, 2.16114579028848e6 + 835899.243694164*I, 2.15007638190859e6 + 1.55876058398536e6*I, 2.01409420473220e6 + 2.31796524670392e6*I, 1.35355567701564e6 + 2.65079327500124e6*I, 628364.245556728 + 3.13381070542377e6*I, -977033.639215761 + 2.40058188640244e6*I, -653755.967611761 + 749940.442427962*I, 278533.307528677 + 528434.668888379*I, 527637.104719940 + 41812.9325591237*I, 2.10724425055125e6 - 147898.436270252*I, 3.45118406614777e6 + 1.56886744158446e6*I, 2.70987690201069e6 + 3.29146414503821e6*I, 1.56759918696497e6 + 3.60867789843690e6*I, 1.08173732982063e6 + 4.06783360658500e6*I, -145947.705989906 + 3.30551346540926e6*I, 688534.729825614 + 2.82290299680145e6*I, 638863.864680968 + 3.08169387398790e6*I, 1.52506014694249e6 + 3.13523673310396e6*I, 1.77022850853909e6 + 4.76080122979339e6*I, 533842.433720683 + 5.58474409797518e6*I, 454632.376868409 + 5.65831873295364e6*I, 244070.268080064 + 6.98739627101186e6*I, -1.31830077075768e6 + 8.22154615621528e6*I, -3.33411782787444e6 + 8.24683979082908e6*I, -3.99018244947905e6 + 7.31878264818721e6*I, -3.58337800574103e6 + 8.69947106604483e6*I, -5.56352254990797e6 + 1.13431252250823e7*I, -1.06847806139576e7 + 1.56451626359639e7*I, -2.77242569304349e7 + 1.29617398141725e7*I])
b5 = canonical_to_coeff([132079.925277468 - 310306.595064945*I, -207028.483372515 + 50268.1387478224*I, 323464.195542588 - 292004.552582785*I, -547686.124717822 - 856529.594703017*I, -679663.348167092 + 190531.296740595*I, -384002.130616268 - 586926.072047998*I, -1.74006667440350e6 + 42350.2335371528*I, -1.01970744658563e6 + 1.46311488925835e6*I, 155306.665886142 + 1.34680748839043e6*I, 465040.426316324 + 722656.380477534*I, 274966.968374709 + 376896.828917898*I, 103085.258595601 + 479131.572905685*I, 383488.293353202 + 652256.077424925*I, 494253.303712725 + 318427.508336855*I, 517890.546991760 + 824597.618429638*I, 1.29870491784954e6 + 300583.750166991*I, 1.41586822075077e6 + 130792.296131429*I, 1.91937363958040e6 - 596467.371662833*I, 1.94830622256535e6 - 1.65641238462830e6*I, 1.44239978823545e6 - 3.04501944559936e6*I, -137869.786328796 - 4.01691244294984e6*I, -2.36909331977632e6 - 3.96219162687880e6*I, -4.00673980011440e6 - 2.34412104331553e6*I, -4.02830009717552e6 - 844107.707498795*I, -4.31242296339716e6 + 228659.295529820*I, -4.09289953740118e6 + 1.93669108280113e6*I, -2.46438890433067e6 + 2.53351438763228e6*I, -2.23993937097185e6 + 2.53840731135036e6*I, -1.52284768264500e6 + 2.79921937964917e6*I, -930573.680639736 + 2.54714553085399e6*I, -1.37417529041176e6 + 2.02262195135785e6*I, -2.19317208149344e6 + 3.31625683310574e6*I, -787865.958131820 + 5.24003001208026e6*I, 1.83322870057990e6 + 5.28950690632589e6*I, 3.69252202960172e6 + 3.16450680499668e6*I, 2.67040521040096e6 + 1.02565001412803e6*I, 2.02203594780131e6 + 972428.457224480*I, 1.16974756931402e6 + 472262.670326093*I, 348957.036947478 + 1.30496205047753e6*I, 912342.418149934 + 2.24294867843689e6*I, 1.00143489012023e6 + 2.28516758030686e6*I, 1.80110671077641e6 + 3.60341531658318e6*I, 4.34614396170712e6 + 3.23096322599121e6*I, 5.36546085327579e6 + 441794.170429940*I, 3.07777506655206e6 - 793724.422302182*I, 3.11253341194394e6 + 317123.266073027*I, 3.85242129787505e6 - 257381.047602530*I, 4.25335507136569e6 - 1.09622065344028e6*I, 4.14979462792800e6 - 2.67864293486479e6*I, 2.24894573572960e6 - 4.11054834936912e6*I, 425201.142824834 - 3.20281932501357e6*I, 199696.317709086 - 2.39755000420280e6*I, -308536.559037319 - 1.81765084238678e6*I, -171801.985469441 - 863292.508880658*I, 745308.259699039 - 372397.808096674*I, 1.49021860030402e6 - 1.25660525332076e6*I, 918163.298478577 - 2.50126434078397e6*I, -1.06860462084593e6 - 2.00270512006237e6*I, -467669.846969726 + 182961.915023206*I, 1.71248767965928e6 - 83758.4552707583*I, 2.15747791988864e6 - 2.31957243997980e6*I, 562394.861934303 - 3.83864905925158e6*I, -1.53208594586484e6 - 3.55909535039473e6*I, -2.84719622298443e6 - 2.56368106552850e6*I, -3.67023798480708e6 - 559855.358433547*I, -2.33255602483642e6 + 1.39888231536547e6*I, -862822.488975226 + 861337.786563486*I, -1.26932177678826e6 + 520791.448937285*I, -1.45030164940251e6 + 1.60885304083774e6*I, -31789.0087664061 + 2.48677780274958e6*I, 1.74636469106948e6 + 1.83278526803408e6*I, 2.12067312341469e6 + 390868.615231500*I, 2.07290310353894e6 - 1.22955416350109e6*I, 217307.038128563 - 2.32980986456943e6*I, -1.73210706949789e6 - 1.47655089372149e6*I, -2.12363528839572e6 + 501752.048016384*I, -1.43197191866259e6 + 1.72017636070154e6*I, -135918.967810997 + 2.18967608575379e6*I, 549493.854029887 + 2.45523835199688e6*I, 2.11111191730996e6 + 2.32567468334843e6*I, 2.64582679697907e6 + 691932.555993513*I, 2.68994949133488e6 + 498742.220241476*I, 2.39209624589123e6 - 1.37113536653928e6*I, 872121.067223228 - 972646.621792505*I, 1.04626103511361e6 - 120883.237593634*I, 1.65168831631526e6 - 352174.722338706*I, 1.53161139564890e6 - 1.06849213176372e6*I, 555052.856149552 - 1.06208684487024e6*I, 593926.553434434 - 154094.748305512*I, 1.23764965968382e6 + 148887.545999348*I, 2.10162841478058e6 - 601805.074815507*I, 1.19439944457316e6 - 1.66925947416348e6*I, -68302.9304573973 - 764668.981758459*I, 868909.321871297 + 1.16360007802051e6*I, 3.60124068181366e6 + 150955.972437866*I, 2.85833805203887e6 - 2.62503866552360e6*I, 974550.383349334 - 2.58825745193755e6*I, 479909.689841201 - 1.68093053886094e6*I, 425628.438227892 - 1.13077668404813e6*I, 1.05358712950890e6 - 571764.859431928*I, 1.61021507929135e6 - 490713.556634908*I, 3.15376417966217e6 - 964022.032371399*I, 3.05020311447381e6 - 3.48285431901158e6*I, 878424.967768612 - 3.97788776672002e6*I, -234729.048713605 - 2.87924119083818e6*I, 618483.556385633 - 2.23803998333410e6*I, -368392.293485886 - 2.69454663224170e6*I, 37330.6010691996 - 1.04795222410148e6*I, 1.03832987401395e6 - 1.68631550595415e6*I, 786396.762900810 - 1.75451498390534e6*I, 1.41660493394105e6 - 833886.976335640*I, 3.38918365615236e6 - 1.94039557639521e6*I, 3.36246078337991e6 - 3.99402955856676e6*I, 2.14887107724952e6 - 5.23880033462171e6*I, 1.63719642227239e6 - 5.32250430864758e6*I, 1.31172946648252e6 - 6.03959820625928e6*I, 508508.897076159 - 7.32547638859835e6*I, -1.66563696445115e6 - 7.73799308490232e6*I, -3.49472430902953e6 - 6.14162324892151e6*I, -2.40654511755698e6 - 4.11431717464982e6*I, -520358.062459718 - 5.50442008616959e6*I, -1.61812513705731e6 - 7.15698966652301e6*I, -2.41369322917031e6 - 7.40685730855561e6*I, -2.23576804841515e6 - 8.73268376996445e6*I, -3.89587723296585e6 - 1.13720912422965e7*I, -6.80864072594773e6 - 1.40008925570100e7*I, -1.37483521930219e7 - 1.78932327083279e7*I, -3.14116112289683e7 - 1.37054912463316e7*I, 132079.925277468 + 310306.595064945*I, -207028.483372515 - 50268.1387478224*I, 323464.195542588 + 292004.552582785*I, -547686.124717822 + 856529.594703017*I, -679663.348167092 - 190531.296740595*I, -384002.130616268 + 586926.072047998*I, -1.74006667440350e6 - 42350.2335371528*I, -1.01970744658563e6 - 1.46311488925835e6*I, 155306.665886142 - 1.34680748839043e6*I, 465040.426316324 - 722656.380477534*I, 274966.968374709 - 376896.828917898*I, 103085.258595601 - 479131.572905685*I, 383488.293353202 - 652256.077424925*I, 494253.303712725 - 318427.508336855*I, 517890.546991760 - 824597.618429638*I, 1.29870491784954e6 - 300583.750166991*I, 1.41586822075077e6 - 130792.296131429*I, 1.91937363958040e6 + 596467.371662833*I, 1.94830622256535e6 + 1.65641238462830e6*I, 1.44239978823545e6 + 3.04501944559936e6*I, -137869.786328796 + 4.01691244294984e6*I, -2.36909331977632e6 + 3.96219162687880e6*I, -4.00673980011440e6 + 2.34412104331553e6*I, -4.02830009717552e6 + 844107.707498795*I, -4.31242296339716e6 - 228659.295529820*I, -4.09289953740118e6 - 1.93669108280113e6*I, -2.46438890433067e6 - 2.53351438763228e6*I, -2.23993937097185e6 - 2.53840731135036e6*I, -1.52284768264500e6 - 2.79921937964917e6*I, -930573.680639736 - 2.54714553085399e6*I, -1.37417529041176e6 - 2.02262195135785e6*I, -2.19317208149344e6 - 3.31625683310574e6*I, -787865.958131820 - 5.24003001208026e6*I, 1.83322870057990e6 - 5.28950690632589e6*I, 3.69252202960172e6 - 3.16450680499668e6*I, 2.67040521040096e6 - 1.02565001412803e6*I, 2.02203594780131e6 - 972428.457224480*I, 1.16974756931402e6 - 472262.670326093*I, 348957.036947478 - 1.30496205047753e6*I, 912342.418149934 - 2.24294867843689e6*I, 1.00143489012023e6 - 2.28516758030686e6*I, 1.80110671077641e6 - 3.60341531658318e6*I, 4.34614396170712e6 - 3.23096322599121e6*I, 5.36546085327579e6 - 441794.170429940*I, 3.07777506655206e6 + 793724.422302182*I, 3.11253341194394e6 - 317123.266073027*I, 3.85242129787505e6 + 257381.047602530*I, 4.25335507136569e6 + 1.09622065344028e6*I, 4.14979462792800e6 + 2.67864293486479e6*I, 2.24894573572960e6 + 4.11054834936912e6*I, 425201.142824834 + 3.20281932501357e6*I, 199696.317709086 + 2.39755000420280e6*I, -308536.559037319 + 1.81765084238678e6*I, -171801.985469441 + 863292.508880658*I, 745308.259699039 + 372397.808096674*I, 1.49021860030402e6 + 1.25660525332076e6*I, 918163.298478577 + 2.50126434078397e6*I, -1.06860462084593e6 + 2.00270512006237e6*I, -467669.846969726 - 182961.915023206*I, 1.71248767965928e6 + 83758.4552707583*I, 2.15747791988864e6 + 2.31957243997980e6*I, 562394.861934303 + 3.83864905925158e6*I, -1.53208594586484e6 + 3.55909535039473e6*I, -2.84719622298443e6 + 2.56368106552850e6*I, -3.67023798480708e6 + 559855.358433547*I, -2.33255602483642e6 - 1.39888231536547e6*I, -862822.488975226 - 861337.786563486*I, -1.26932177678826e6 - 520791.448937285*I, -1.45030164940251e6 - 1.60885304083774e6*I, -31789.0087664061 - 2.48677780274958e6*I, 1.74636469106948e6 - 1.83278526803408e6*I, 2.12067312341469e6 - 390868.615231500*I, 2.07290310353894e6 + 1.22955416350109e6*I, 217307.038128563 + 2.32980986456943e6*I, -1.73210706949789e6 + 1.47655089372149e6*I, -2.12363528839572e6 - 501752.048016384*I, -1.43197191866259e6 - 1.72017636070154e6*I, -135918.967810997 - 2.18967608575379e6*I, 549493.854029887 - 2.45523835199688e6*I, 2.11111191730996e6 - 2.32567468334843e6*I, 2.64582679697907e6 - 691932.555993513*I, 2.68994949133488e6 - 498742.220241476*I, 2.39209624589123e6 + 1.37113536653928e6*I, 872121.067223228 + 972646.621792505*I, 1.04626103511361e6 + 120883.237593634*I, 1.65168831631526e6 + 352174.722338706*I, 1.53161139564890e6 + 1.06849213176372e6*I, 555052.856149552 + 1.06208684487024e6*I, 593926.553434434 + 154094.748305512*I, 1.23764965968382e6 - 148887.545999348*I, 2.10162841478058e6 + 601805.074815507*I, 1.19439944457316e6 + 1.66925947416348e6*I, -68302.9304573973 + 764668.981758459*I, 868909.321871297 - 1.16360007802051e6*I, 3.60124068181366e6 - 150955.972437866*I, 2.85833805203887e6 + 2.62503866552360e6*I, 974550.383349334 + 2.58825745193755e6*I, 479909.689841201 + 1.68093053886094e6*I, 425628.438227892 + 1.13077668404813e6*I, 1.05358712950890e6 + 571764.859431928*I, 1.61021507929135e6 + 490713.556634908*I, 3.15376417966217e6 + 964022.032371399*I, 3.05020311447381e6 + 3.48285431901158e6*I, 878424.967768612 + 3.97788776672002e6*I, -234729.048713605 + 2.87924119083818e6*I, 618483.556385633 + 2.23803998333410e6*I, -368392.293485886 + 2.69454663224170e6*I, 37330.6010691996 + 1.04795222410148e6*I, 1.03832987401395e6 + 1.68631550595415e6*I, 786396.762900810 + 1.75451498390534e6*I, 1.41660493394105e6 + 833886.976335640*I, 3.38918365615236e6 + 1.94039557639521e6*I, 3.36246078337991e6 + 3.99402955856676e6*I, 2.14887107724952e6 + 5.23880033462171e6*I, 1.63719642227239e6 + 5.32250430864758e6*I, 1.31172946648252e6 + 6.03959820625928e6*I, 508508.897076159 + 7.32547638859835e6*I, -1.66563696445115e6 + 7.73799308490232e6*I, -3.49472430902953e6 + 6.14162324892151e6*I, -2.40654511755698e6 + 4.11431717464982e6*I, -520358.062459718 + 5.50442008616959e6*I, -1.61812513705731e6 + 7.15698966652301e6*I, -2.41369322917031e6 + 7.40685730855561e6*I, -2.23576804841515e6 + 8.73268376996445e6*I, -3.89587723296585e6 + 1.13720912422965e7*I, -6.80864072594773e6 + 1.40008925570100e7*I, -1.37483521930219e7 + 1.78932327083279e7*I, -3.14116112289683e7 + 1.37054912463316e7*I])
a6 = canonical_to_coeff([2.39935304596667e6 - 689490.593317368*I, 666482.998131758 - 912766.545690361*I, 944297.110977634 + 1.10391373922948e6*I, 2.94565296553035e6 + 377435.258360201*I, 2.16890051428737e6 - 1.00162896147610e6*I, 1.84939835489174e6 - 538943.898716165*I, 2.38631902316595e6 - 1.34766389031631e6*I, 742297.077584495 - 2.06831407100935e6*I, 130009.500114598 - 476039.520898089*I, 1.33081804282823e6 + 115201.078855013*I, 1.72797258771642e6 - 576467.022934139*I, 1.70746430775849e6 - 1.12953100560411e6*I, 930727.039647401 - 1.70075049957720e6*I, 80595.6314833743 - 992194.161411094*I, -179066.018613823 + 844378.616059794*I, 2.95402375966433e6 + 1.72415691463950e6*I, 4.64358936495211e6 - 1.46050958146279e6*I, 2.75528194937935e6 - 3.52037883915749e6*I, 1.42353048987350e6 - 3.25579856907545e6*I, 996727.215967538 - 3.74112909428587e6*I, -626812.692122697 - 3.68419144010688e6*I, -1.37349983328897e6 - 2.74693129735640e6*I, -1.84656779535425e6 - 1.51829884751100e6*I, -1.16661834987882e6 - 566636.916598981*I, -605926.161949168 - 353751.364870242*I, 448881.187209603 - 289006.538982096*I, 695276.709754411 - 1.58944017123321e6*I, -284663.474819948 - 2.45513437492843e6*I, -1.89323088183790e6 - 1.64856841725189e6*I, -1.66933454531353e6 + 81115.6666988415*I, -66166.5320198549 + 302465.357295457*I, -45245.6712007090 - 948133.132572053*I, -728025.575201395 - 482570.527506125*I, -690652.536234545 - 141248.416132378*I, -25370.8166257931 + 666269.247426698*I, 1.23452860743980e6 + 33661.8234695314*I, 1.19120095434669e6 - 874089.682953330*I, 1.78727206283026e6 - 1.56967098201389e6*I, 1.08909153768677e6 - 3.81959335961591e6*I, -1.78379165975507e6 - 4.08383701335438e6*I, -3.30150791765472e6 - 2.37219490686249e6*I, -3.14166820724320e6 - 436872.877707438*I, -1.64323703130605e6 + 13179.3802607857*I, -1.73652718979326e6 - 1.18385635647224e6*I, -3.48263151673049e6 - 967862.570298510*I, -3.93985034996956e6 + 1.13040269248798e6*I, -2.71684380675110e6 + 2.96099613857142e6*I, -931560.482848853 + 2.94533221038917e6*I, -194256.128689450 + 2.61191240278198e6*I, 821836.699007728 + 2.56568382455231e6*I, 1.99938491440643e6 + 960279.396809985*I, 1.16644046703974e6 - 369130.475400915*I, 85757.5626070158 - 1.32704939259407e6*I, -1.46913671505706e6 - 469029.637019873*I, -2.10129857999928e6 + 321591.473390900*I, -2.15580069366579e6 + 2.15573993839610e6*I, -1.11478339876900e6 + 3.31621295663677e6*I, 961808.964912518 + 4.17023866674815e6*I, 2.72191634405657e6 + 2.37205689760814e6*I, 2.21990889180540e6 + 1.33978142141765e6*I, 2.54604743470775e6 + 1.16545507401305e6*I, 2.63958238734615e6 + 608064.866856998*I, 2.80616832186391e6 - 99524.7031935803*I, 2.69511282549952e6 - 994143.144958646*I, 1.52861416541305e6 - 1.61008104442781e6*I, 1.03435591228580e6 - 783329.773243907*I, 1.79401221314911e6 - 878745.850845486*I, 1.33503529090380e6 - 1.89108682658292e6*I, 359899.163847507 - 1.96331459644625e6*I, -676409.914266900 - 1.24164664891205e6*I, 128353.372262713 + 304710.601612949*I, 1.41659999136732e6 - 406451.880060621*I, 1.16339061244235e6 - 1.76466074072716e6*I, -301320.017967657 - 1.49339608347371e6*I, -145649.336769742 - 507183.986911170*I, 984974.411982479 - 383513.805982008*I, 1.52606335615691e6 - 2.07366474383339e6*I, -594319.272596895 - 3.25343286745596e6*I, -2.50497337928139e6 - 1.94797260832190e6*I, -2.52167160159837e6 + 246478.126561336*I, -1.08249456195108e6 + 1.40441900857177e6*I, 427279.711864679 + 878475.540988728*I, 456126.017371966 - 193222.181782803*I, -19324.6728691752 - 358634.462719879*I, -167988.933006421 - 327850.929763530*I, -452327.148491107 - 505589.879623710*I, -1.26712484467958e6 - 104020.307607258*I, -1.16915406325309e6 + 1.34622439982573e6*I, -113392.079804823 + 1.54937979357776e6*I, 153085.034029343 + 2.07840494844902e6*I, 1.46293853881739e6 + 2.05057566228862e6*I, 2.33873001330955e6 + 1.64512805743358e6*I, 2.91898996987550e6 + 822437.794826333*I, 3.45583749764533e6 + 214898.617822239*I, 4.18094775518597e6 - 1.45457367664569e6*I, 2.92006814931496e6 - 3.52673055479310e6*I, 660406.048406111 - 4.28868587997138e6*I, -1.87604449395209e6 - 2.29680045690453e6*I, -635228.304447066 + 17095.7658422012*I, 973127.957832271 - 525958.205594887*I, 409541.357341224 - 1.38972101013843e6*I, -248661.389782607 - 877203.081290126*I, 354810.113085473 + 8264.46878498036*I, 1.11129126691997e6 - 666380.934179495*I, 268317.395851226 - 1.03811185400898e6*I, 79013.3432408252 + 353511.999272369*I, 1.60919939719812e6 + 500771.606557775*I, 2.08548147170856e6 + 186759.560825924*I, 2.47416548692527e6 - 45749.2361649591*I, 3.80987142537543e6 + 38616.9496204755*I, 5.18138339541800e6 - 1.81009270716344e6*I, 4.96409209183947e6 - 4.13689059325179e6*I, 3.45750669622407e6 - 5.97027904738117e6*I, 1.14979565223842e6 - 5.99085428509182e6*I, 488490.933698140 - 4.71000282383037e6*I, 1.30849216133517e6 - 4.18713474649623e6*I, 2.05575913992810e6 - 5.44095007145371e6*I, 1.05309853087671e6 - 7.10808612462292e6*I, -575130.182735232 - 7.13451274994382e6*I, -1.23218285783347e6 - 6.66677188337866e6*I, -1.04281925218310e6 - 6.24239700851106e6*I, -391802.145070929 - 7.42803299981336e6*I, -1.25738534510653e6 - 8.94254310577913e6*I, -1.74743865141796e6 - 1.01756408627957e7*I, -2.77190755232732e6 - 1.34340451634880e7*I, -7.17338596233861e6 - 1.76614973451922e7*I, -1.67705465212725e7 - 2.09918975899958e7*I, -3.53115968474123e7 - 1.45063653517859e7*I, 2.39935304596667e6 + 689490.593317368*I, 666482.998131758 + 912766.545690361*I, 944297.110977634 - 1.10391373922948e6*I, 2.94565296553035e6 - 377435.258360201*I, 2.16890051428737e6 + 1.00162896147610e6*I, 1.84939835489174e6 + 538943.898716165*I, 2.38631902316595e6 + 1.34766389031631e6*I, 742297.077584495 + 2.06831407100935e6*I, 130009.500114598 + 476039.520898089*I, 1.33081804282823e6 - 115201.078855013*I, 1.72797258771642e6 + 576467.022934139*I, 1.70746430775849e6 + 1.12953100560411e6*I, 930727.039647401 + 1.70075049957720e6*I, 80595.6314833743 + 992194.161411094*I, -179066.018613823 - 844378.616059794*I, 2.95402375966433e6 - 1.72415691463950e6*I, 4.64358936495211e6 + 1.46050958146279e6*I, 2.75528194937935e6 + 3.52037883915749e6*I, 1.42353048987350e6 + 3.25579856907545e6*I, 996727.215967538 + 3.74112909428587e6*I, -626812.692122697 + 3.68419144010688e6*I, -1.37349983328897e6 + 2.74693129735640e6*I, -1.84656779535425e6 + 1.51829884751100e6*I, -1.16661834987882e6 + 566636.916598981*I, -605926.161949168 + 353751.364870242*I, 448881.187209603 + 289006.538982096*I, 695276.709754411 + 1.58944017123321e6*I, -284663.474819948 + 2.45513437492843e6*I, -1.89323088183790e6 + 1.64856841725189e6*I, -1.66933454531353e6 - 81115.6666988415*I, -66166.5320198549 - 302465.357295457*I, -45245.6712007090 + 948133.132572053*I, -728025.575201395 + 482570.527506125*I, -690652.536234545 + 141248.416132378*I, -25370.8166257931 - 666269.247426698*I, 1.23452860743980e6 - 33661.8234695314*I, 1.19120095434669e6 + 874089.682953330*I, 1.78727206283026e6 + 1.56967098201389e6*I, 1.08909153768677e6 + 3.81959335961591e6*I, -1.78379165975507e6 + 4.08383701335438e6*I, -3.30150791765472e6 + 2.37219490686249e6*I, -3.14166820724320e6 + 436872.877707438*I, -1.64323703130605e6 - 13179.3802607857*I, -1.73652718979326e6 + 1.18385635647224e6*I, -3.48263151673049e6 + 967862.570298510*I, -3.93985034996956e6 - 1.13040269248798e6*I, -2.71684380675110e6 - 2.96099613857142e6*I, -931560.482848853 - 2.94533221038917e6*I, -194256.128689450 - 2.61191240278198e6*I, 821836.699007728 - 2.56568382455231e6*I, 1.99938491440643e6 - 960279.396809985*I, 1.16644046703974e6 + 369130.475400915*I, 85757.5626070158 + 1.32704939259407e6*I, -1.46913671505706e6 + 469029.637019873*I, -2.10129857999928e6 - 321591.473390900*I, -2.15580069366579e6 - 2.15573993839610e6*I, -1.11478339876900e6 - 3.31621295663677e6*I, 961808.964912518 - 4.17023866674815e6*I, 2.72191634405657e6 - 2.37205689760814e6*I, 2.21990889180540e6 - 1.33978142141765e6*I, 2.54604743470775e6 - 1.16545507401305e6*I, 2.63958238734615e6 - 608064.866856998*I, 2.80616832186391e6 + 99524.7031935803*I, 2.69511282549952e6 + 994143.144958646*I, 1.52861416541305e6 + 1.61008104442781e6*I, 1.03435591228580e6 + 783329.773243907*I, 1.79401221314911e6 + 878745.850845486*I, 1.33503529090380e6 + 1.89108682658292e6*I, 359899.163847507 + 1.96331459644625e6*I, -676409.914266900 + 1.24164664891205e6*I, 128353.372262713 - 304710.601612949*I, 1.41659999136732e6 + 406451.880060621*I, 1.16339061244235e6 + 1.76466074072716e6*I, -301320.017967657 + 1.49339608347371e6*I, -145649.336769742 + 507183.986911170*I, 984974.411982479 + 383513.805982008*I, 1.52606335615691e6 + 2.07366474383339e6*I, -594319.272596895 + 3.25343286745596e6*I, -2.50497337928139e6 + 1.94797260832190e6*I, -2.52167160159837e6 - 246478.126561336*I, -1.08249456195108e6 - 1.40441900857177e6*I, 427279.711864679 - 878475.540988728*I, 456126.017371966 + 193222.181782803*I, -19324.6728691752 + 358634.462719879*I, -167988.933006421 + 327850.929763530*I, -452327.148491107 + 505589.879623710*I, -1.26712484467958e6 + 104020.307607258*I, -1.16915406325309e6 - 1.34622439982573e6*I, -113392.079804823 - 1.54937979357776e6*I, 153085.034029343 - 2.07840494844902e6*I, 1.46293853881739e6 - 2.05057566228862e6*I, 2.33873001330955e6 - 1.64512805743358e6*I, 2.91898996987550e6 - 822437.794826333*I, 3.45583749764533e6 - 214898.617822239*I, 4.18094775518597e6 + 1.45457367664569e6*I, 2.92006814931496e6 + 3.52673055479310e6*I, 660406.048406111 + 4.28868587997138e6*I, -1.87604449395209e6 + 2.29680045690453e6*I, -635228.304447066 - 17095.7658422012*I, 973127.957832271 + 525958.205594887*I, 409541.357341224 + 1.38972101013843e6*I, -248661.389782607 + 877203.081290126*I, 354810.113085473 - 8264.46878498036*I, 1.11129126691997e6 + 666380.934179495*I, 268317.395851226 + 1.03811185400898e6*I, 79013.3432408252 - 353511.999272369*I, 1.60919939719812e6 - 500771.606557775*I, 2.08548147170856e6 - 186759.560825924*I, 2.47416548692527e6 + 45749.2361649591*I, 3.80987142537543e6 - 38616.9496204755*I, 5.18138339541800e6 + 1.81009270716344e6*I, 4.96409209183947e6 + 4.13689059325179e6*I, 3.45750669622407e6 + 5.97027904738117e6*I, 1.14979565223842e6 + 5.99085428509182e6*I, 488490.933698140 + 4.71000282383037e6*I, 1.30849216133517e6 + 4.18713474649623e6*I, 2.05575913992810e6 + 5.44095007145371e6*I, 1.05309853087671e6 + 7.10808612462292e6*I, -575130.182735232 + 7.13451274994382e6*I, -1.23218285783347e6 + 6.66677188337866e6*I, -1.04281925218310e6 + 6.24239700851106e6*I, -391802.145070929 + 7.42803299981336e6*I, -1.25738534510653e6 + 8.94254310577913e6*I, -1.74743865141796e6 + 1.01756408627957e7*I, -2.77190755232732e6 + 1.34340451634880e7*I, -7.17338596233861e6 + 1.76614973451922e7*I, -1.67705465212725e7 + 2.09918975899958e7*I, -3.53115968474123e7 + 1.45063653517859e7*I])
b6 = canonical_to_coeff([-520055.837484716 + 48664.9952840554*I, -466641.335483463 + 307267.773006761*I, -330426.564794755 - 17723.8513442161*I, -255148.230549671 + 476380.564182305*I, -252601.522023015 - 266154.028470250*I, -1.32013767426542e6 + 751574.730705068*I, 940445.551487528 + 2.43311841318332e6*I, 3.06033309129089e6 - 258474.366557447*I, 1.41420351698120e6 - 2.80492495842669e6*I, -750440.847861023 - 2.68042001887596e6*I, -1.36056651491192e6 - 1.64988184663328e6*I, -1.44099123619239e6 - 1.97776076950518e6*I, -3.57514857594581e6 - 1.90284364702563e6*I, -4.11877170267538e6 + 774420.900194316*I, -2.94058199525216e6 + 2.37962356862488e6*I, -1.59820734360578e6 + 2.54585024238090e6*I, -783008.771970342 + 2.87307287784386e6*I, 506917.626039025 + 2.24276425310307e6*I, 364187.690708624 + 1.08347392844035e6*I, -408456.217956647 + 1.69100976649549e6*I, 1.13402879848071e6 + 2.28621169873024e6*I, 2.01447875444640e6 + 580295.219241665*I, 807726.771333714 - 493737.899347249*I, 293837.607689912 - 568533.030824739*I, -1.19204167859408e6 - 633017.997080401*I, -1.73821717055725e6 + 1.26225935159329e6*I, -776669.258683945 + 2.58404170377848e6*I, 866749.824719331 + 2.89318618148614e6*I, 1.96031129425177e6 + 2.18847541940042e6*I, 2.75030689770045e6 + 1.76554404299585e6*I, 4.11288902847900e6 + 39442.1574765765*I, 3.06049473784308e6 - 2.04471890115380e6*I, 1.36333122690825e6 - 2.90276396178438e6*I, 201085.062376507 - 2.28431806299577e6*I, -137708.682975272 - 2.06486673243798e6*I, -698102.758675178 - 2.14153476073899e6*I, -1.94206185946537e6 - 1.66042226849988e6*I, -1.89122583077307e6 - 306423.352459816*I, -1.56770635045061e6 - 11466.7752048471*I, -1.75394559592516e6 + 714853.146899425*I, -708208.232761546 + 1.44816068235614e6*I, 363888.417706641 + 1.36267858389760e6*I, 1.32005347728198e6 - 79674.9411195500*I, 201845.784667304 - 1.63198992749309e6*I, -1.27607552050427e6 - 1.28228392604556e6*I, -2.42994833160239e6 - 572782.619471367*I, -2.22823947783508e6 + 1.46078254995800e6*I, -578012.461192196 + 1.54276389938194e6*I, -558304.894033012 + 933952.299034643*I, -796744.673949170 + 1.06710941731208e6*I, -163685.142380851 + 1.41760007481321e6*I, -269502.218325220 + 479292.761948099*I, -873675.129991962 + 717058.238143557*I, -1.56849455324092e6 + 1.39602743519322e6*I, -1.29891680747365e6 + 2.90233127668168e6*I, 525885.170548352 + 3.88316655588614e6*I, 2.01433324788033e6 + 3.06673729216016e6*I, 2.72654342198437e6 + 2.14902434822605e6*I, 3.46745666237223e6 + 1.06933887535767e6*I, 3.40140888531997e6 - 319893.131420387*I, 2.76636484576836e6 - 2.02315397617177e6*I, 830828.448920355 - 2.57627988061026e6*I, -892019.416953477 - 2.06789486489355e6*I, -1.75609910257544e6 - 476861.140119565*I, -1.34242952069544e6 + 1.22189103791298e6*I, 310609.373983504 + 1.73843142257772e6*I, 870509.982784890 + 1.02393724887247e6*I, 1.34847731647442e6 + 866279.293560887*I, 1.51964835886304e6 - 268886.550518883*I, 413935.888506762 - 466593.291657158*I, 469329.851897910 + 21328.2731217721*I, 480324.591754780 + 105167.763393048*I, 557451.786669503 - 89048.2915439813*I, 223906.233873771 + 96894.2721594890*I, 393340.281539760 + 525957.744099528*I, 1.27095885954372e6 + 507836.297011267*I, 1.54709408300737e6 - 512477.428507828*I, 918956.234360483 - 1.47223812791455e6*I, -1.02999936377058e6 - 1.51166875491014e6*I, -1.32762642264872e6 + 738459.927200870*I, 247330.136388453 + 1.47522737867436e6*I, 1.41207395897833e6 + 382581.963515104*I, 465393.507537793 - 589954.037758436*I, -106304.902743395 - 412978.390446555*I, -1.11408894245037e6 + 20746.1816225124*I, -1.48958679465317e6 + 2.09423300038449e6*I, 1.02857833984647e6 + 3.61547641406984e6*I, 3.28072707918235e6 + 2.18056310445747e6*I, 3.17513412030626e6 + 372101.426658723*I, 3.05617502047951e6 - 91412.4938456751*I, 3.11107556469551e6 - 1.19704165081129e6*I, 2.39569420900243e6 - 1.91400901564528e6*I, 1.62619072692234e6 - 2.33785158416063e6*I, 508331.781916501 - 2.84653575417811e6*I, -1.04828089851557e6 - 1.52690812542594e6*I, -409978.352798969 - 85898.9775275559*I, 452813.573588536 + 449373.947197666*I, 1.95135613671775e6 - 75180.3846077118*I, 2.06217923494434e6 - 1.98060875576829e6*I, -278138.048175245 - 2.97632965981786e6*I, -1.63738355254429e6 - 802016.751844671*I, -479192.319577747 + 914178.492784311*I, 1.38231217172975e6 + 623579.791516155*I, 1.85088409746114e6 - 638289.982398115*I, 997692.730861843 - 1.70519686514823e6*I, 242902.734026835 - 1.41681229019071e6*I, 19885.2817528996 - 1.03519814732899e6*I, -637255.084203447 - 778639.389561667*I, -297429.770826386 + 882592.627710127*I, 1.30363282446829e6 + 1.47125488967563e6*I, 3.25317149346712e6 + 573551.931382937*I, 3.29167449360693e6 - 1.15878412241467e6*I, 3.28948621484589e6 - 2.44601690463219e6*I, 1.66641730532180e6 - 3.16549944979126e6*I, 1.42312239614536e6 - 2.38596490948359e6*I, 1.66411744832282e6 - 2.64171584887872e6*I, 1.80443520483518e6 - 2.90655289796042e6*I, 1.98228514753842e6 - 3.55702503372374e6*I, 1.38961391375108e6 - 4.23639172074494e6*I, 1.02343832401802e6 - 4.03338957608091e6*I, 2.04106953560851e6 - 4.21428019844793e6*I, 2.39325358364306e6 - 6.36321228304837e6*I, 1.53834109529947e6 - 7.95288366915314e6*I, 689250.551319404 - 1.01099473241005e7*I, -963323.760647481 - 1.23493115966447e7*I, -4.01094462410353e6 - 1.69530751519848e7*I, -1.41010801183269e7 - 2.13072434748028e7*I, -3.33095657151670e7 - 1.47266192560582e7*I, -520055.837484716 - 48664.9952840554*I, -466641.335483463 - 307267.773006761*I, -330426.564794755 + 17723.8513442161*I, -255148.230549671 - 476380.564182305*I, -252601.522023015 + 266154.028470250*I, -1.32013767426542e6 - 751574.730705068*I, 940445.551487528 - 2.43311841318332e6*I, 3.06033309129089e6 + 258474.366557447*I, 1.41420351698120e6 + 2.80492495842669e6*I, -750440.847861023 + 2.68042001887596e6*I, -1.36056651491192e6 + 1.64988184663328e6*I, -1.44099123619239e6 + 1.97776076950518e6*I, -3.57514857594581e6 + 1.90284364702563e6*I, -4.11877170267538e6 - 774420.900194316*I, -2.94058199525216e6 - 2.37962356862488e6*I, -1.59820734360578e6 - 2.54585024238090e6*I, -783008.771970342 - 2.87307287784386e6*I, 506917.626039025 - 2.24276425310307e6*I, 364187.690708624 - 1.08347392844035e6*I, -408456.217956647 - 1.69100976649549e6*I, 1.13402879848071e6 - 2.28621169873024e6*I, 2.01447875444640e6 - 580295.219241665*I, 807726.771333714 + 493737.899347249*I, 293837.607689912 + 568533.030824739*I, -1.19204167859408e6 + 633017.997080401*I, -1.73821717055725e6 - 1.26225935159329e6*I, -776669.258683945 - 2.58404170377848e6*I, 866749.824719331 - 2.89318618148614e6*I, 1.96031129425177e6 - 2.18847541940042e6*I, 2.75030689770045e6 - 1.76554404299585e6*I, 4.11288902847900e6 - 39442.1574765765*I, 3.06049473784308e6 + 2.04471890115380e6*I, 1.36333122690825e6 + 2.90276396178438e6*I, 201085.062376507 + 2.28431806299577e6*I, -137708.682975272 + 2.06486673243798e6*I, -698102.758675178 + 2.14153476073899e6*I, -1.94206185946537e6 + 1.66042226849988e6*I, -1.89122583077307e6 + 306423.352459816*I, -1.56770635045061e6 + 11466.7752048471*I, -1.75394559592516e6 - 714853.146899425*I, -708208.232761546 - 1.44816068235614e6*I, 363888.417706641 - 1.36267858389760e6*I, 1.32005347728198e6 + 79674.9411195500*I, 201845.784667304 + 1.63198992749309e6*I, -1.27607552050427e6 + 1.28228392604556e6*I, -2.42994833160239e6 + 572782.619471367*I, -2.22823947783508e6 - 1.46078254995800e6*I, -578012.461192196 - 1.54276389938194e6*I, -558304.894033012 - 933952.299034643*I, -796744.673949170 - 1.06710941731208e6*I, -163685.142380851 - 1.41760007481321e6*I, -269502.218325220 - 479292.761948099*I, -873675.129991962 - 717058.238143557*I, -1.56849455324092e6 - 1.39602743519322e6*I, -1.29891680747365e6 - 2.90233127668168e6*I, 525885.170548352 - 3.88316655588614e6*I, 2.01433324788033e6 - 3.06673729216016e6*I, 2.72654342198437e6 - 2.14902434822605e6*I, 3.46745666237223e6 - 1.06933887535767e6*I, 3.40140888531997e6 + 319893.131420387*I, 2.76636484576836e6 + 2.02315397617177e6*I, 830828.448920355 + 2.57627988061026e6*I, -892019.416953477 + 2.06789486489355e6*I, -1.75609910257544e6 + 476861.140119565*I, -1.34242952069544e6 - 1.22189103791298e6*I, 310609.373983504 - 1.73843142257772e6*I, 870509.982784890 - 1.02393724887247e6*I, 1.34847731647442e6 - 866279.293560887*I, 1.51964835886304e6 + 268886.550518883*I, 413935.888506762 + 466593.291657158*I, 469329.851897910 - 21328.2731217721*I, 480324.591754780 - 105167.763393048*I, 557451.786669503 + 89048.2915439813*I, 223906.233873771 - 96894.2721594890*I, 393340.281539760 - 525957.744099528*I, 1.27095885954372e6 - 507836.297011267*I, 1.54709408300737e6 + 512477.428507828*I, 918956.234360483 + 1.47223812791455e6*I, -1.02999936377058e6 + 1.51166875491014e6*I, -1.32762642264872e6 - 738459.927200870*I, 247330.136388453 - 1.47522737867436e6*I, 1.41207395897833e6 - 382581.963515104*I, 465393.507537793 + 589954.037758436*I, -106304.902743395 + 412978.390446555*I, -1.11408894245037e6 - 20746.1816225124*I, -1.48958679465317e6 - 2.09423300038449e6*I, 1.02857833984647e6 - 3.61547641406984e6*I, 3.28072707918235e6 - 2.18056310445747e6*I, 3.17513412030626e6 - 372101.426658723*I, 3.05617502047951e6 + 91412.4938456751*I, 3.11107556469551e6 + 1.19704165081129e6*I, 2.39569420900243e6 + 1.91400901564528e6*I, 1.62619072692234e6 + 2.33785158416063e6*I, 508331.781916501 + 2.84653575417811e6*I, -1.04828089851557e6 + 1.52690812542594e6*I, -409978.352798969 + 85898.9775275559*I, 452813.573588536 - 449373.947197666*I, 1.95135613671775e6 + 75180.3846077118*I, 2.06217923494434e6 + 1.98060875576829e6*I, -278138.048175245 + 2.97632965981786e6*I, -1.63738355254429e6 + 802016.751844671*I, -479192.319577747 - 914178.492784311*I, 1.38231217172975e6 - 623579.791516155*I, 1.85088409746114e6 + 638289.982398115*I, 997692.730861843 + 1.70519686514823e6*I, 242902.734026835 + 1.41681229019071e6*I, 19885.2817528996 + 1.03519814732899e6*I, -637255.084203447 + 778639.389561667*I, -297429.770826386 - 882592.627710127*I, 1.30363282446829e6 - 1.47125488967563e6*I, 3.25317149346712e6 - 573551.931382937*I, 3.29167449360693e6 + 1.15878412241467e6*I, 3.28948621484589e6 + 2.44601690463219e6*I, 1.66641730532180e6 + 3.16549944979126e6*I, 1.42312239614536e6 + 2.38596490948359e6*I, 1.66411744832282e6 + 2.64171584887872e6*I, 1.80443520483518e6 + 2.90655289796042e6*I, 1.98228514753842e6 + 3.55702503372374e6*I, 1.38961391375108e6 + 4.23639172074494e6*I, 1.02343832401802e6 + 4.03338957608091e6*I, 2.04106953560851e6 + 4.21428019844793e6*I, 2.39325358364306e6 + 6.36321228304837e6*I, 1.53834109529947e6 + 7.95288366915314e6*I, 689250.551319404 + 1.01099473241005e7*I, -963323.760647481 + 1.23493115966447e7*I, -4.01094462410353e6 + 1.69530751519848e7*I, -1.41010801183269e7 + 2.13072434748028e7*I, -3.33095657151670e7 + 1.47266192560582e7*I])
a7 = canonical_to_coeff([1.49203535287363e6 - 115983.805226646*I, 1.19693822693076e6 - 308070.105244923*I, 1.86229399023173e6 - 138594.201325639*I, 1.76875592195654e6 - 1.55253272897920e6*I, 812302.494849134 - 1.58551042900455e6*I, 664793.428819895 - 1.83219286806461e6*I, -312732.541169229 - 2.16165935703644e6*I, -1.48684840484296e6 - 1.81452027447782e6*I, -2.05103643532603e6 - 73656.0212182398*I, -1.25936862627250e6 + 603576.314569926*I, -1.13162667402098e6 + 1.27184320428845e6*I, 274279.501423909 + 1.98132077866729e6*I, 1.46906526492490e6 + 973040.042118205*I, 1.05533392696250e6 - 99267.5319101608*I, 650211.522985448 + 295250.185484219*I, 1.61351106137037e6 + 156266.096654237*I, 1.59052841775641e6 - 1.58215365513344e6*I, -621875.763270789 - 1.96405845918301e6*I, -1.14986056140412e6 + 110453.580666482*I, 281615.647305956 + 390812.756592544*I, 403234.807964491 - 426259.283805941*I, -227387.669808491 - 612875.893257239*I, -581327.230672293 + 130964.654323798*I, 376827.787960254 + 81894.8535569755*I, -366089.056594188 - 743250.278524640*I, -952646.428405873 + 37277.6157628327*I, -789427.517772369 + 734889.333783000*I, -130419.734611593 + 1.10933109393912e6*I, 444868.094701066 + 722254.369746935*I, 255010.105489720 + 338876.636000908*I, 7786.35735068113 + 115444.134332884*I, -868586.117637987 + 575313.901470006*I, -625827.902859763 + 2.09920959794498e6*I, 1.22699064571852e6 + 2.91293736470787e6*I, 3.13351460483766e6 + 1.50183865592577e6*I, 2.89231724737520e6 - 692401.882036833*I, 1.40096190828842e6 - 1.61033497060859e6*I, 118902.959941848 - 1.19148754648756e6*I, -402585.508035564 + 151712.115503954*I, 739457.415643497 + 605131.519509491*I, 763663.372045400 - 101843.000381019*I, 377970.288366458 - 79557.0990393420*I, 378518.999748256 + 947216.702039566*I, 1.60668373710615e6 + 311547.898444502*I, 776633.091993216 - 102270.436645291*I, 915666.971635241 + 727836.076620077*I, 2.22891349816095e6 + 567905.646086111*I, 2.47193641809579e6 - 866783.458698979*I, 1.50765459925168e6 - 1.73945044298739e6*I, 348059.748116283 - 1.83085474129764e6*I, -502231.688265642 - 1.07031652373631e6*I, -939022.361602500 + 528163.583289504*I, 1.11185858047296e6 + 2.00458114014907e6*I, 2.71183185494744e6 + 443549.247827432*I, 2.66429076473682e6 - 267840.052204095*I, 3.24371875662497e6 - 1.47405263097554e6*I, 2.37667109639961e6 - 3.14125476068998e6*I, 784778.684245280 - 3.16771544899969e6*I, 522219.013688947 - 3.30315221134234e6*I, -1.50005337279793e6 - 3.73446765917801e6*I, -2.68043467460067e6 - 1.44627649217405e6*I, -1.90502815364402e6 + 144854.470812966*I, -604004.521682073 + 599040.013435745*I, 569002.234704795 + 96777.4731525715*I, 116375.946548921 - 1.28672662862217e6*I, -913828.643003482 - 861266.885078456*I, -779222.839542045 + 119306.209053029*I, -296814.249459731 - 97185.8412697866*I, -517550.163184235 - 98243.6645597516*I, -878091.042975542 + 696032.620127644*I, 255886.366249052 + 1.75416180447963e6*I, 2.10242976750096e6 + 1.27201955084210e6*I, 3.07924803065753e6 - 788118.955203864*I, 1.52126681527011e6 - 2.98301231081090e6*I, -754776.238501427 - 2.44946481475346e6*I, -994687.952084416 - 1.01682299290799e6*I, -797029.036497658 - 1.09463986943961e6*I, -1.13531961412605e6 - 471967.780739765*I, -904916.019098388 - 441738.409994771*I, -1.98152906286088e6 + 157337.899828954*I, -1.32377067414147e6 + 1.85794890928644e6*I, 574584.444445883 + 2.00508295665583e6*I, 709359.623902938 + 1.03285498171682e6*I, 1.12012433159097e6 + 1.59369324903447e6*I, 2.69011234351679e6 + 342098.249932695*I, 1.10528913610949e6 - 1.78886000616151e6*I, -959387.999181465 - 259429.917718946*I, 92657.1973628387 + 1.50929326908802e6*I, 1.33325799045591e6 + 1.22955807985326e6*I, 1.57733334352560e6 + 1.02287481739063e6*I, 2.07491378928208e6 + 699151.543787174*I, 2.37578694597820e6 + 418551.595480968*I, 2.63658670774205e6 + 68544.6261424636*I, 2.79981965505116e6 - 395783.035884736*I, 2.54700965110584e6 - 910317.770252556*I, 2.46838119893663e6 - 584585.711927550*I, 3.12229198207266e6 - 194165.174055760*I, 5.00656925008617e6 - 1.16501361543583e6*I, 4.97934712926117e6 - 4.05517537885948e6*I, 2.67404733588278e6 - 5.53828287160684e6*I, 630423.053377051 - 4.99641299885841e6*I, -58375.9767643819 - 4.10232401688997e6*I, -284140.668995572 - 3.06473197909462e6*I, 252156.505964754 - 2.52406988112599e6*I, 958833.111112039 - 2.62945051322471e6*I, 1.48809588545938e6 - 3.77560772901913e6*I, 9825.30391148990 - 5.39308818779640e6*I, -2.52871455489502e6 - 4.34097767517937e6*I, -2.66433975023641e6 - 2.03867652675815e6*I, -1.51655387937744e6 - 697622.205415319*I, -20715.7873421712 - 396073.411543745*I, 1.20797142792993e6 - 831248.243243079*I, 1.80913312446993e6 - 2.08455026866508e6*I, 1.84259248372033e6 - 2.80828256558937e6*I, 1.23903950467069e6 - 3.46296850548524e6*I, 2.08624276860468e6 - 2.87533610339357e6*I, 2.99826722306604e6 - 4.94445638583020e6*I, 1.84521148384964e6 - 6.23666311092485e6*I, 1.85364493644539e6 - 6.45716732387001e6*I, 1.97861175535612e6 - 8.82232500971642e6*I, 35687.9943298735 - 1.07931921351161e7*I, -2.87580690753449e6 - 1.22429000716926e7*I, -5.86944563254755e6 - 1.09207684662371e7*I, -6.42517935861096e6 - 1.00489299161166e7*I, -6.87258081278091e6 - 1.07598259762708e7*I, -8.60130575455135e6 - 1.31244678967316e7*I, -1.46375936163970e7 - 1.74648712635385e7*I, -3.25839427688188e7 - 1.38633595441763e7*I, 1.49203535287363e6 + 115983.805226646*I, 1.19693822693076e6 + 308070.105244923*I, 1.86229399023173e6 + 138594.201325639*I, 1.76875592195654e6 + 1.55253272897920e6*I, 812302.494849134 + 1.58551042900455e6*I, 664793.428819895 + 1.83219286806461e6*I, -312732.541169229 + 2.16165935703644e6*I, -1.48684840484296e6 + 1.81452027447782e6*I, -2.05103643532603e6 + 73656.0212182398*I, -1.25936862627250e6 - 603576.314569926*I, -1.13162667402098e6 - 1.27184320428845e6*I, 274279.501423909 - 1.98132077866729e6*I, 1.46906526492490e6 - 973040.042118205*I, 1.05533392696250e6 + 99267.5319101608*I, 650211.522985448 - 295250.185484219*I, 1.61351106137037e6 - 156266.096654237*I, 1.59052841775641e6 + 1.58215365513344e6*I, -621875.763270789 + 1.96405845918301e6*I, -1.14986056140412e6 - 110453.580666482*I, 281615.647305956 - 390812.756592544*I, 403234.807964491 + 426259.283805941*I, -227387.669808491 + 612875.893257239*I, -581327.230672293 - 130964.654323798*I, 376827.787960254 - 81894.8535569755*I, -366089.056594188 + 743250.278524640*I, -952646.428405873 - 37277.6157628327*I, -789427.517772369 - 734889.333783000*I, -130419.734611593 - 1.10933109393912e6*I, 444868.094701066 - 722254.369746935*I, 255010.105489720 - 338876.636000908*I, 7786.35735068113 - 115444.134332884*I, -868586.117637987 - 575313.901470006*I, -625827.902859763 - 2.09920959794498e6*I, 1.22699064571852e6 - 2.91293736470787e6*I, 3.13351460483766e6 - 1.50183865592577e6*I, 2.89231724737520e6 + 692401.882036833*I, 1.40096190828842e6 + 1.61033497060859e6*I, 118902.959941848 + 1.19148754648756e6*I, -402585.508035564 - 151712.115503954*I, 739457.415643497 - 605131.519509491*I, 763663.372045400 + 101843.000381019*I, 377970.288366458 + 79557.0990393420*I, 378518.999748256 - 947216.702039566*I, 1.60668373710615e6 - 311547.898444502*I, 776633.091993216 + 102270.436645291*I, 915666.971635241 - 727836.076620077*I, 2.22891349816095e6 - 567905.646086111*I, 2.47193641809579e6 + 866783.458698979*I, 1.50765459925168e6 + 1.73945044298739e6*I, 348059.748116283 + 1.83085474129764e6*I, -502231.688265642 + 1.07031652373631e6*I, -939022.361602500 - 528163.583289504*I, 1.11185858047296e6 - 2.00458114014907e6*I, 2.71183185494744e6 - 443549.247827432*I, 2.66429076473682e6 + 267840.052204095*I, 3.24371875662497e6 + 1.47405263097554e6*I, 2.37667109639961e6 + 3.14125476068998e6*I, 784778.684245280 + 3.16771544899969e6*I, 522219.013688947 + 3.30315221134234e6*I, -1.50005337279793e6 + 3.73446765917801e6*I, -2.68043467460067e6 + 1.44627649217405e6*I, -1.90502815364402e6 - 144854.470812966*I, -604004.521682073 - 599040.013435745*I, 569002.234704795 - 96777.4731525715*I, 116375.946548921 + 1.28672662862217e6*I, -913828.643003482 + 861266.885078456*I, -779222.839542045 - 119306.209053029*I, -296814.249459731 + 97185.8412697866*I, -517550.163184235 + 98243.6645597516*I, -878091.042975542 - 696032.620127644*I, 255886.366249052 - 1.75416180447963e6*I, 2.10242976750096e6 - 1.27201955084210e6*I, 3.07924803065753e6 + 788118.955203864*I, 1.52126681527011e6 + 2.98301231081090e6*I, -754776.238501427 + 2.44946481475346e6*I, -994687.952084416 + 1.01682299290799e6*I, -797029.036497658 + 1.09463986943961e6*I, -1.13531961412605e6 + 471967.780739765*I, -904916.019098388 + 441738.409994771*I, -1.98152906286088e6 - 157337.899828954*I, -1.32377067414147e6 - 1.85794890928644e6*I, 574584.444445883 - 2.00508295665583e6*I, 709359.623902938 - 1.03285498171682e6*I, 1.12012433159097e6 - 1.59369324903447e6*I, 2.69011234351679e6 - 342098.249932695*I, 1.10528913610949e6 + 1.78886000616151e6*I, -959387.999181465 + 259429.917718946*I, 92657.1973628387 - 1.50929326908802e6*I, 1.33325799045591e6 - 1.22955807985326e6*I, 1.57733334352560e6 - 1.02287481739063e6*I, 2.07491378928208e6 - 699151.543787174*I, 2.37578694597820e6 - 418551.595480968*I, 2.63658670774205e6 - 68544.6261424636*I, 2.79981965505116e6 + 395783.035884736*I, 2.54700965110584e6 + 910317.770252556*I, 2.46838119893663e6 + 584585.711927550*I, 3.12229198207266e6 + 194165.174055760*I, 5.00656925008617e6 + 1.16501361543583e6*I, 4.97934712926117e6 + 4.05517537885948e6*I, 2.67404733588278e6 + 5.53828287160684e6*I, 630423.053377051 + 4.99641299885841e6*I, -58375.9767643819 + 4.10232401688997e6*I, -284140.668995572 + 3.06473197909462e6*I, 252156.505964754 + 2.52406988112599e6*I, 958833.111112039 + 2.62945051322471e6*I, 1.48809588545938e6 + 3.77560772901913e6*I, 9825.30391148990 + 5.39308818779640e6*I, -2.52871455489502e6 + 4.34097767517937e6*I, -2.66433975023641e6 + 2.03867652675815e6*I, -1.51655387937744e6 + 697622.205415319*I, -20715.7873421712 + 396073.411543745*I, 1.20797142792993e6 + 831248.243243079*I, 1.80913312446993e6 + 2.08455026866508e6*I, 1.84259248372033e6 + 2.80828256558937e6*I, 1.23903950467069e6 + 3.46296850548524e6*I, 2.08624276860468e6 + 2.87533610339357e6*I, 2.99826722306604e6 + 4.94445638583020e6*I, 1.84521148384964e6 + 6.23666311092485e6*I, 1.85364493644539e6 + 6.45716732387001e6*I, 1.97861175535612e6 + 8.82232500971642e6*I, 35687.9943298735 + 1.07931921351161e7*I, -2.87580690753449e6 + 1.22429000716926e7*I, -5.86944563254755e6 + 1.09207684662371e7*I, -6.42517935861096e6 + 1.00489299161166e7*I, -6.87258081278091e6 + 1.07598259762708e7*I, -8.60130575455135e6 + 1.31244678967316e7*I, -1.46375936163970e7 + 1.74648712635385e7*I, -3.25839427688188e7 + 1.38633595441763e7*I])
b7 = canonical_to_coeff([488622.397636426 - 758762.263610926*I, -952957.971654265 - 2.00097690032645e6*I, -3.06960544957441e6 - 1.04994798669860e6*I, -3.17618492867371e6 + 732623.322197474*I, -2.91173508019769e6 + 2.07951946796029e6*I, -1.56331515449740e6 + 3.53076199231496e6*I, 735883.276276831 + 3.36286755267220e6*I, 1.88981272881766e6 + 1.54376699089335e6*I, 944259.577366292 + 29646.5828955806*I, -254818.138540681 + 307956.571343449*I, 174965.642929822 + 1.49978900796134e6*I, 872480.515194594 + 477074.532423552*I, 114914.407779110 + 680527.399509139*I, 710487.890121416 + 1.48204714532038e6*I, 1.89245249949046e6 + 589699.245336104*I, 1.53773081567489e6 - 127744.361345478*I, 1.46301881668045e6 - 978075.071990253*I, 551492.440763600 - 1.83537370151244e6*I, -1.20022312536305e6 - 1.04186053129493e6*I, -530780.888670137 + 79745.5456717755*I, -736913.742755870 - 54083.4992416247*I, -1.02562308567423e6 + 718464.161525888*I, -35498.7166313874 + 2.22891338509250e6*I, 2.24089055784268e6 + 1.35422219991794e6*I, 2.14116606229365e6 - 424342.538271997*I, 1.49584961477623e6 - 1.03994039376564e6*I, 1.17886446381830e6 - 1.11710884154773e6*I, 1.31691367130097e6 - 1.77266954352421e6*I, 601899.111999195 - 2.76772956711166e6*I, -1.49167330261903e6 - 2.98096449218227e6*I, -2.42015233791957e6 - 797864.452235644*I, -643132.367432303 + 424983.272993281*I, 581532.956275300 - 1.05941927329785e6*I, -549800.678557084 - 2.43463879477924e6*I, -1.54618428085557e6 - 2.69017332072744e6*I, -3.17284926607136e6 - 2.55063353923931e6*I, -4.80112383654114e6 - 1.39299270502252e6*I, -5.02071508346724e6 + 689251.998872616*I, -4.84342679692875e6 + 1.61039296284261e6*I, -5.25986952940705e6 + 3.66696779088855e6*I, -3.33436045578531e6 + 6.04402327539919e6*I, -778728.313400246 + 6.85295071868667e6*I, 2.21287394283234e6 + 6.03064870632107e6*I, 3.19945971046025e6 + 3.65801801387299e6*I, 2.64674408366929e6 + 2.37517165667366e6*I, 2.40833653012914e6 + 2.84417060908090e6*I, 3.83867430866650e6 + 2.52319401694149e6*I, 4.78055197184506e6 + 824300.004366004*I, 4.05597756765200e6 - 839354.020062625*I, 3.53472153005994e6 - 1.82649543178684e6*I, 2.14499915229570e6 - 2.96941523673804e6*I, 383794.468869018 - 2.56815539493254e6*I, -11742.1545973184 - 1.54126902561185e6*I, 64183.2534241692 - 1.71229776052955e6*I, -989270.760304734 - 1.13295008843026e6*I, -294820.218708833 - 191894.613359769*I, -286235.446377088 - 751911.796045493*I, -410213.879990433 - 323453.486012586*I, -777277.068213640 - 1.02180821283164e6*I, -2.16281950856752e6 + 1.05166705956430e6*I, 620838.189749547 + 2.24601497521187e6*I, 1.50776414937982e6 + 517378.899909877*I, 1.40425220555990e6 - 146069.996274436*I, 1.45913001611821e6 - 713099.765806559*I, 1.00982270013364e6 - 2.00221222479488e6*I, -636834.514609675 - 2.51937327650388e6*I, -2.14331188714754e6 - 1.35982203611457e6*I, -2.42177062192891e6 + 33988.6688127420*I, -1.43793951265135e6 + 1.39180232739689e6*I, -470323.508491217 + 679460.076767230*I, -1.40078494793282e6 + 841776.322911398*I, -697329.397327134 + 2.09972443629644e6*I, 258401.119762629 + 2.11048860323091e6*I, 1.41418725924597e6 + 1.71698039429234e6*I, 1.68824092928262e6 + 619203.521017620*I, 1.29896473083826e6 - 13819.8337148057*I, 1.17001693893161e6 - 357715.360004711*I, 716704.075820180 - 645760.535100676*I, 603908.864791761 - 1.13887686590315e6*I, -477972.995172236 - 1.31209806316472e6*I, -1.71763192104021e6 - 1.15289298292905e6*I, -2.74717448168640e6 + 890941.746561885*I, -1.32513460272303e6 + 2.82172533163982e6*I, 537681.811095053 + 2.97044470193543e6*I, 2.27211130266275e6 + 1.78850975324156e6*I, 1.78063770375190e6 + 24361.2041015656*I, 950017.279655726 - 581567.461207251*I, -405557.543545850 - 169889.385282179*I, -3687.91273442849 + 722428.926696648*I, -433179.438294557 + 636245.424273845*I, -358633.786784888 + 1.73824455127779e6*I, 422573.384161597 + 2.45441840767726e6*I, 1.62670982024520e6 + 2.31165997424164e6*I, 2.13941797547741e6 + 1.91679813512672e6*I, 2.43842601014237e6 + 1.73675149650212e6*I, 3.68655502546804e6 + 1.67552195102870e6*I, 4.92709709034388e6 - 190282.127424730*I, 3.60424135957645e6 - 3.10633828709232e6*I, 460263.781537528 - 2.66138553202402e6*I, 435808.240577924 - 427231.547525539*I, 1.30639212276716e6 - 429692.365484144*I, 1.03737224633842e6 - 536862.890639258*I, 1.23024601413130e6 + 233066.367765947*I, 2.36162946038824e6 - 153943.948627152*I, 1.85990752859619e6 - 790767.061310013*I, 1.72307466709614e6 - 160259.103197603*I, 2.82975377696695e6 + 285934.708295500*I, 4.48498678672229e6 - 901816.496145264*I, 3.91563344163363e6 - 2.90100051645943e6*I, 3.05582290438799e6 - 3.57865095603474e6*I, 2.46694767072273e6 - 4.15920149593483e6*I, 916698.232832266 - 4.68142149606604e6*I, -346156.422955868 - 3.26820994345718e6*I, 574865.684581804 - 1.67215659524692e6*I, 2.40120505673165e6 - 2.18006301095004e6*I, 2.87585144612531e6 - 4.07076615473818e6*I, 1.77139032738045e6 - 5.89889132602199e6*I, -181663.859191556 - 5.64401489892621e6*I, -801678.953793943 - 5.29328485952610e6*I, -1.18475665930214e6 - 3.95497792799537e6*I, 723919.249991006 - 3.75158674863408e6*I, 1.33268268960064e6 - 6.15840107073421e6*I, 272278.813797174 - 7.66908429898487e6*I, -497238.852190345 - 9.36372073764250e6*I, -1.98430967131209e6 - 1.13952627463416e7*I, -4.54425541548015e6 - 1.50841973066003e7*I, -1.29299988350477e7 - 1.99937344001486e7*I, -3.22282959746676e7 - 1.46432636950302e7*I, 488622.397636426 + 758762.263610926*I, -952957.971654265 + 2.00097690032645e6*I, -3.06960544957441e6 + 1.04994798669860e6*I, -3.17618492867371e6 - 732623.322197474*I, -2.91173508019769e6 - 2.07951946796029e6*I, -1.56331515449740e6 - 3.53076199231496e6*I, 735883.276276831 - 3.36286755267220e6*I, 1.88981272881766e6 - 1.54376699089335e6*I, 944259.577366292 - 29646.5828955806*I, -254818.138540681 - 307956.571343449*I, 174965.642929822 - 1.49978900796134e6*I, 872480.515194594 - 477074.532423552*I, 114914.407779110 - 680527.399509139*I, 710487.890121416 - 1.48204714532038e6*I, 1.89245249949046e6 - 589699.245336104*I, 1.53773081567489e6 + 127744.361345478*I, 1.46301881668045e6 + 978075.071990253*I, 551492.440763600 + 1.83537370151244e6*I, -1.20022312536305e6 + 1.04186053129493e6*I, -530780.888670137 - 79745.5456717755*I, -736913.742755870 + 54083.4992416247*I, -1.02562308567423e6 - 718464.161525888*I, -35498.7166313874 - 2.22891338509250e6*I, 2.24089055784268e6 - 1.35422219991794e6*I, 2.14116606229365e6 + 424342.538271997*I, 1.49584961477623e6 + 1.03994039376564e6*I, 1.17886446381830e6 + 1.11710884154773e6*I, 1.31691367130097e6 + 1.77266954352421e6*I, 601899.111999195 + 2.76772956711166e6*I, -1.49167330261903e6 + 2.98096449218227e6*I, -2.42015233791957e6 + 797864.452235644*I, -643132.367432303 - 424983.272993281*I, 581532.956275300 + 1.05941927329785e6*I, -549800.678557084 + 2.43463879477924e6*I, -1.54618428085557e6 + 2.69017332072744e6*I, -3.17284926607136e6 + 2.55063353923931e6*I, -4.80112383654114e6 + 1.39299270502252e6*I, -5.02071508346724e6 - 689251.998872616*I, -4.84342679692875e6 - 1.61039296284261e6*I, -5.25986952940705e6 - 3.66696779088855e6*I, -3.33436045578531e6 - 6.04402327539919e6*I, -778728.313400246 - 6.85295071868667e6*I, 2.21287394283234e6 - 6.03064870632107e6*I, 3.19945971046025e6 - 3.65801801387299e6*I, 2.64674408366929e6 - 2.37517165667366e6*I, 2.40833653012914e6 - 2.84417060908090e6*I, 3.83867430866650e6 - 2.52319401694149e6*I, 4.78055197184506e6 - 824300.004366004*I, 4.05597756765200e6 + 839354.020062625*I, 3.53472153005994e6 + 1.82649543178684e6*I, 2.14499915229570e6 + 2.96941523673804e6*I, 383794.468869018 + 2.56815539493254e6*I, -11742.1545973184 + 1.54126902561185e6*I, 64183.2534241692 + 1.71229776052955e6*I, -989270.760304734 + 1.13295008843026e6*I, -294820.218708833 + 191894.613359769*I, -286235.446377088 + 751911.796045493*I, -410213.879990433 + 323453.486012586*I, -777277.068213640 + 1.02180821283164e6*I, -2.16281950856752e6 - 1.05166705956430e6*I, 620838.189749547 - 2.24601497521187e6*I, 1.50776414937982e6 - 517378.899909877*I, 1.40425220555990e6 + 146069.996274436*I, 1.45913001611821e6 + 713099.765806559*I, 1.00982270013364e6 + 2.00221222479488e6*I, -636834.514609675 + 2.51937327650388e6*I, -2.14331188714754e6 + 1.35982203611457e6*I, -2.42177062192891e6 - 33988.6688127420*I, -1.43793951265135e6 - 1.39180232739689e6*I, -470323.508491217 - 679460.076767230*I, -1.40078494793282e6 - 841776.322911398*I, -697329.397327134 - 2.09972443629644e6*I, 258401.119762629 - 2.11048860323091e6*I, 1.41418725924597e6 - 1.71698039429234e6*I, 1.68824092928262e6 - 619203.521017620*I, 1.29896473083826e6 + 13819.8337148057*I, 1.17001693893161e6 + 357715.360004711*I, 716704.075820180 + 645760.535100676*I, 603908.864791761 + 1.13887686590315e6*I, -477972.995172236 + 1.31209806316472e6*I, -1.71763192104021e6 + 1.15289298292905e6*I, -2.74717448168640e6 - 890941.746561885*I, -1.32513460272303e6 - 2.82172533163982e6*I, 537681.811095053 - 2.97044470193543e6*I, 2.27211130266275e6 - 1.78850975324156e6*I, 1.78063770375190e6 - 24361.2041015656*I, 950017.279655726 + 581567.461207251*I, -405557.543545850 + 169889.385282179*I, -3687.91273442849 - 722428.926696648*I, -433179.438294557 - 636245.424273845*I, -358633.786784888 - 1.73824455127779e6*I, 422573.384161597 - 2.45441840767726e6*I, 1.62670982024520e6 - 2.31165997424164e6*I, 2.13941797547741e6 - 1.91679813512672e6*I, 2.43842601014237e6 - 1.73675149650212e6*I, 3.68655502546804e6 - 1.67552195102870e6*I, 4.92709709034388e6 + 190282.127424730*I, 3.60424135957645e6 + 3.10633828709232e6*I, 460263.781537528 + 2.66138553202402e6*I, 435808.240577924 + 427231.547525539*I, 1.30639212276716e6 + 429692.365484144*I, 1.03737224633842e6 + 536862.890639258*I, 1.23024601413130e6 - 233066.367765947*I, 2.36162946038824e6 + 153943.948627152*I, 1.85990752859619e6 + 790767.061310013*I, 1.72307466709614e6 + 160259.103197603*I, 2.82975377696695e6 - 285934.708295500*I, 4.48498678672229e6 + 901816.496145264*I, 3.91563344163363e6 + 2.90100051645943e6*I, 3.05582290438799e6 + 3.57865095603474e6*I, 2.46694767072273e6 + 4.15920149593483e6*I, 916698.232832266 + 4.68142149606604e6*I, -346156.422955868 + 3.26820994345718e6*I, 574865.684581804 + 1.67215659524692e6*I, 2.40120505673165e6 + 2.18006301095004e6*I, 2.87585144612531e6 + 4.07076615473818e6*I, 1.77139032738045e6 + 5.89889132602199e6*I, -181663.859191556 + 5.64401489892621e6*I, -801678.953793943 + 5.29328485952610e6*I, -1.18475665930214e6 + 3.95497792799537e6*I, 723919.249991006 + 3.75158674863408e6*I, 1.33268268960064e6 + 6.15840107073421e6*I, 272278.813797174 + 7.66908429898487e6*I, -497238.852190345 + 9.36372073764250e6*I, -1.98430967131209e6 + 1.13952627463416e7*I, -4.54425541548015e6 + 1.50841973066003e7*I, -1.29299988350477e7 + 1.99937344001486e7*I, -3.22282959746676e7 + 1.46432636950302e7*I])
aa = [ a0, a1, a2, a3, a4, a5, a6, a7 ]
bb = [ b0, b1, b2, b3, b4, b5, b6, b7 ]
a_, b_ = [], []
for i in range(8):
for k in range(256 - 32, 256):
a_.append([ round(aa[i][(k - j) % 256]) for j in range(256) ])
b_.append(round(bb[i][k]))
A = matrix(ZZ.quotient(prime), a_)
B = vector(ZZ.quotient(prime), b_)
s = A.solve_right(B)
key = sha256(str(s))
iv = b'\x00' * 16
f = open("out/encrypted.enc")
c = f.read()
f.close()
cipher = AES.new(key, AES.MODE_CFB, iv)
m = cipher.decrypt(c)
f = open('flag.jpg', 'w')
f.write(m)
f.close()
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment