=== PART A: the claim, N = 0 mod 4 (product constant for every M) ===
[CLAIM] a=1.3 b=1.0 N=4 tau=1 lambda=0.62825278810408921933 closure=7.24e-50 minimal=True max_tangency_defect=1.07e-50 rot/2pi=1.0
   M=O         spread(A*A_M)=2.71e-50  spread(A_M/A)=0.0655    | outer: spread(A'*A'_M)=0.0655    spread(A'_M/A')=2.67e-51  | max|A_M-A_{-M}|=0.0        A*A_M[0]=3.157612526084493028012327
   M=M1        spread(A*A_M)=3.39e-50  spread(A_M/A)=0.0655    | outer: spread(A'*A'_M)=0.0655    spread(A'_M/A')=2.0e-50   | max|A_M-A_{-M}|=3.74e-50   A*A_M[0]=3.157612526084493028012327
   M=M2        spread(A*A_M)=7.11e-50  spread(A_M/A)=0.0655    | outer: spread(A'*A'_M)=0.0655    spread(A'_M/A')=4.54e-50  | max|A_M-A_{-M}|=9.62e-50   A*A_M[0]=3.157612526084493028012327
   M=M3        spread(A*A_M)=1.25e-48  spread(A_M/A)=0.0655    | outer: spread(A'*A'_M)=0.0655    spread(A'_M/A')=8.65e-49  | max|A_M-A_{-M}|=2.74e-48   A*A_M[0]=3.157612526084493028012327
   M=Mc        spread(A*A_M)=2.78e-50  spread(A_M/A)=0.0655    | outer: spread(A'*A'_M)=0.0655    spread(A'_M/A')=2.32e-50  | max|A_M-A_{-M}|=5.32e-50   A*A_M[0]=(3.157612526084493028012327 + 1.850832901013151340365458e-50j)
   M=Mx        spread(A*A_M)=3.05e-50  spread(A_M/A)=0.0655    | outer: spread(A'*A'_M)=0.0655    spread(A'_M/A')=2.54e-50  | max|A_M-A_{-M}|=5.35e-50   A*A_M[0]=3.157612526084493028012327
   M=My        spread(A*A_M)=5.25e-50  spread(A_M/A)=0.0655    | outer: spread(A'*A'_M)=0.0655    spread(A'_M/A')=2.54e-50  | max|A_M-A_{-M}|=4.01e-50   A*A_M[0]=3.157612526084493028012327
   M=Md        spread(A*A_M)=4.91e-50  spread(A_M/A)=0.0655    | outer: spread(A'*A'_M)=0.0655    spread(A'_M/A')=2.94e-50  | max|A_M-A_{-M}|=4.54e-50   A*A_M[0]=3.157612526084493028012327
   (0.1s)
[CLAIM] a=1.3 b=1.0 N=8 tau=1 lambda=0.18792025090039797513 closure=9.64e-51 minimal=True max_tangency_defect=5.35e-51 rot/2pi=1.0
   M=O         spread(A*A_M)=1.83e-50  spread(A_M/A)=3.46e-5   | outer: spread(A'*A'_M)=3.46e-5   spread(A'_M/A')=7.71e-51  | max|A_M-A_{-M}|=0.0        A*A_M[0]=11.68932538696757748152166
   M=M1        spread(A*A_M)=2.09e-50  spread(A_M/A)=3.46e-5   | outer: spread(A'*A'_M)=3.46e-5   spread(A'_M/A')=1.03e-50  | max|A_M-A_{-M}|=7.48e-50   A*A_M[0]=14.33426624671648192996467
   M=M2        spread(A*A_M)=2.67e-50  spread(A_M/A)=3.46e-5   | outer: spread(A'*A'_M)=3.46e-5   spread(A'_M/A')=2.34e-50  | max|A_M-A_{-M}|=2.35e-49   A*A_M[0]=44.80543423368673728805461
   M=M3        spread(A*A_M)=1.2e-50   spread(A_M/A)=3.46e-5   | outer: spread(A'*A'_M)=3.46e-5   spread(A'_M/A')=1.18e-50  | max|A_M-A_{-M}|=5.47e-48   A*A_M[0]=6362.337257910374769395828
   M=Mc        spread(A*A_M)=3.44e-50  spread(A_M/A)=3.46e-5   | outer: spread(A'*A'_M)=3.46e-5   spread(A'_M/A')=2.5e-50   | max|A_M-A_{-M}|=1.13e-49   A*A_M[0]=(9.04438452721867303307866 + 2.318852260601779242470579j)
   M=Mx        spread(A*A_M)=2.64e-50  spread(A_M/A)=3.46e-5   | outer: spread(A'*A'_M)=3.46e-5   spread(A'_M/A')=1.49e-50  | max|A_M-A_{-M}|=1.39e-49   A*A_M[0]=17.81254463761915079367054
   M=My        spread(A*A_M)=1.92e-50  spread(A_M/A)=3.46e-5   | outer: spread(A'*A'_M)=3.46e-5   spread(A'_M/A')=8.51e-51  | max|A_M-A_{-M}|=7.48e-50   A*A_M[0]=17.81254463761915079367054
   M=Md        spread(A*A_M)=1.68e-50  spread(A_M/A)=3.46e-5   | outer: spread(A'*A'_M)=3.46e-5   spread(A'_M/A')=1.06e-50  | max|A_M-A_{-M}|=7.48e-50   A*A_M[0]=17.81254463761915079367054
   (0.1s)
[CLAIM] a=1.3 b=1.0 N=8 tau=3 lambda=0.97549786449886210474 closure=1.69e-49 minimal=True max_tangency_defect=1.87e-49 rot/2pi=3.0
   M=O         spread(A*A_M)=1.51e-49  spread(A_M/A)=0.0252    | outer: spread(A'*A'_M)=0.0252    spread(A'_M/A')=5.99e-49  | max|A_M-A_{-M}|=0.0        A*A_M[0]=2.056943744746264780490298
   M=M1        spread(A*A_M)=5.0e-48   spread(A_M/A)=0.0252    | outer: spread(A'*A'_M)=0.0252    spread(A'_M/A')=9.19e-49  | max|A_M-A_{-M}|=3.26e-49   A*A_M[0]=0.2690146614452982389224906
   M=M2        spread(A*A_M)=5.95e-49  spread(A_M/A)=0.0252    | outer: spread(A'*A'_M)=0.0252    spread(A'_M/A')=2.03e-48  | max|A_M-A_{-M}|=1.29e-48   A*A_M[0]=-20.32890806535076835639978
   M=M3        spread(A*A_M)=5.28e-49  spread(A_M/A)=0.0252    | outer: spread(A'*A'_M)=0.0252    spread(A'_M/A')=9.47e-49  | max|A_M-A_{-M}|=1.92e-47   A*A_M[0]=-4290.858753977767605169928
   M=Mc        spread(A*A_M)=4.83e-49  spread(A_M/A)=0.0252    | outer: spread(A'*A'_M)=0.0252    spread(A'_M/A')=8.04e-49  | max|A_M-A_{-M}|=4.63e-49   A*A_M[0]=(3.844872828047231322058105 - 1.567499470291258337812872j)
   M=Mx        spread(A*A_M)=1.45e-48  spread(A_M/A)=0.0252    | outer: spread(A'*A'_M)=0.0252    spread(A'_M/A')=1.21e-48  | max|A_M-A_{-M}|=5.19e-49   A*A_M[0]=-2.082234543991589267796817
   M=My        spread(A*A_M)=1.32e-48  spread(A_M/A)=0.0252    | outer: spread(A'*A'_M)=0.0252    spread(A'_M/A')=7.81e-49  | max|A_M-A_{-M}|=4.16e-49   A*A_M[0]=-2.082234543991589267796817
   M=Md        spread(A*A_M)=1.28e-48  spread(A_M/A)=0.0252    | outer: spread(A'*A'_M)=0.0252    spread(A'_M/A')=1.28e-48  | max|A_M-A_{-M}|=3.81e-49   A*A_M[0]=-2.082234543991589267796817
   (0.1s)
[CLAIM] a=1.3 b=1.0 N=12 tau=1 lambda=0.086179112840522159366 closure=1.75e-49 minimal=True max_tangency_defect=8.02e-51 rot/2pi=1.0
   M=O         spread(A*A_M)=2.2e-50   spread(A_M/A)=2.93e-8   | outer: spread(A'*A'_M)=2.93e-8   spread(A'_M/A')=6.99e-51  | max|A_M-A_{-M}|=0.0        A*A_M[0]=14.55026106801567755222212
   M=M1        spread(A*A_M)=3.52e-50  spread(A_M/A)=2.93e-8   | outer: spread(A'*A'_M)=2.93e-8   spread(A'_M/A')=1.58e-50  | max|A_M-A_{-M}|=7.48e-50   A*A_M[0]=18.22589200903520402733905
   M=M2        spread(A*A_M)=1.84e-50  spread(A_M/A)=2.93e-8   | outer: spread(A'*A'_M)=2.93e-8   spread(A'_M/A')=1.55e-50  | max|A_M-A_{-M}|=2.99e-49   A*A_M[0]=60.5711744939313925968368
   M=M3        spread(A*A_M)=1.73e-50  spread(A_M/A)=2.93e-8   | outer: spread(A'*A'_M)=2.93e-8   spread(A'_M/A')=1.26e-50  | max|A_M-A_{-M}|=1.09e-47   A*A_M[0]=8839.941554891023101923039
   M=Mc        spread(A*A_M)=5.51e-50  spread(A_M/A)=2.93e-8   | outer: spread(A'*A'_M)=2.93e-8   spread(A'_M/A')=2.89e-50  | max|A_M-A_{-M}|=1.33e-49   A*A_M[0]=(10.87463012699615107710519 + 3.222470961989721841198402j)
   M=Mx        spread(A*A_M)=3.89e-50  spread(A_M/A)=2.93e-8   | outer: spread(A'*A'_M)=2.93e-8   spread(A'_M/A')=1.81e-50  | max|A_M-A_{-M}|=1.5e-49    A*A_M[0]=23.05959845201978678913665
   M=My        spread(A*A_M)=1.67e-50  spread(A_M/A)=2.93e-8   | outer: spread(A'*A'_M)=2.93e-8   spread(A'_M/A')=5.42e-51  | max|A_M-A_{-M}|=7.48e-50   A*A_M[0]=23.05959845201978678913665
   M=Md        spread(A*A_M)=2.97e-50  spread(A_M/A)=2.93e-8   | outer: spread(A'*A'_M)=2.93e-8   spread(A'_M/A')=1.08e-50  | max|A_M-A_{-M}|=8.55e-50   A*A_M[0]=23.05959845201978678913665
   (0.2s)
[CLAIM] a=1.3 b=1.0 N=12 tau=5 lambda=0.99874504139200964571 closure=6.11e-47 minimal=True max_tangency_defect=3.7e-47 rot/2pi=5.0
   M=O         spread(A*A_M)=2.6e-47   spread(A_M/A)=0.0211    | outer: spread(A'*A'_M)=0.0211    spread(A'_M/A')=1.52e-46  | max|A_M-A_{-M}|=0.0        A*A_M[0]=1.87892927893941272334729
   M=M1        spread(A*A_M)=5.2e-45   spread(A_M/A)=0.0211    | outer: spread(A'*A'_M)=0.0211    spread(A'_M/A')=2.48e-46  | max|A_M-A_{-M}|=6.73e-47   A*A_M[0]=-0.08841499441400655420042678
   M=M2        spread(A*A_M)=1.12e-46  spread(A_M/A)=0.0211    | outer: spread(A'*A'_M)=0.0211    spread(A'_M/A')=4.55e-46  | max|A_M-A_{-M}|=2.26e-46   A*A_M[0]=-22.75329902030750809416796
   M=M3        spread(A*A_M)=1.37e-46  spread(A_M/A)=0.0211    | outer: spread(A'*A'_M)=0.0211    spread(A'_M/A')=2.34e-46  | max|A_M-A_{-M}|=3.25e-45   A*A_M[0]=-4721.822470728831418930505
   M=Mc        spread(A*A_M)=1.32e-46  spread(A_M/A)=0.0211    | outer: spread(A'*A'_M)=0.0211    spread(A'_M/A')=1.88e-46  | max|A_M-A_{-M}|=9.62e-47   A*A_M[0]=(3.846273552292832000895007 - 1.724794979378340188534985j)
   M=Mx        spread(A*A_M)=3.56e-46  spread(A_M/A)=0.0211    | outer: spread(A'*A'_M)=0.0211    spread(A'_M/A')=3.14e-46  | max|A_M-A_{-M}|=1.07e-46   A*A_M[0]=-2.675607463481516837002904
   M=My        spread(A*A_M)=2.11e-46  spread(A_M/A)=0.0211    | outer: spread(A'*A'_M)=0.0211    spread(A'_M/A')=1.89e-46  | max|A_M-A_{-M}|=2.6e-47    A*A_M[0]=-2.675607463481516837002904
   M=Md        spread(A*A_M)=3.1e-46   spread(A_M/A)=0.0211    | outer: spread(A'*A'_M)=0.0211    spread(A'_M/A')=3.19e-46  | max|A_M-A_{-M}|=8.02e-47   A*A_M[0]=-2.675607463481516837002904
   (0.2s)
[CLAIM] a=1.3 b=1.0 N=16 tau=3 lambda=0.39328955190778911352 closure=4.24e-49 minimal=True max_tangency_defect=2.41e-50 rot/2pi=3.0
   M=O         spread(A*A_M)=5.18e-50  spread(A_M/A)=4.02e-10  | outer: spread(A'*A'_M)=4.02e-10  spread(A'_M/A')=5.77e-51  | max|A_M-A_{-M}|=0.0        A*A_M[0]=62.6874995054422709291211
   M=M1        spread(A*A_M)=7.81e-50  spread(A_M/A)=4.02e-10  | outer: spread(A'*A'_M)=4.02e-10  spread(A'_M/A')=4.0e-50   | max|A_M-A_{-M}|=4.92e-49   A*A_M[0]=72.23478395174833856534829
   M=M2        spread(A*A_M)=7.13e-50  spread(A_M/A)=4.02e-10  | outer: spread(A'*A'_M)=4.02e-10  spread(A'_M/A')=6.62e-50  | max|A_M-A_{-M}|=2.27e-48   A*A_M[0]=182.2247321619319396895547
   M=M3        spread(A*A_M)=3.05e-50  spread(A_M/A)=4.02e-10  | outer: spread(A'*A'_M)=4.02e-10  spread(A'_M/A')=2.7e-50   | max|A_M-A_{-M}|=2.74e-47   A*A_M[0]=22986.24059396008086099752
   M=Mc        spread(A*A_M)=1.34e-49  spread(A_M/A)=4.02e-10  | outer: spread(A'*A'_M)=4.02e-10  spread(A'_M/A')=7.51e-50  | max|A_M-A_{-M}|=8.64e-49   A*A_M[0]=(53.14021505913620329289391 + 8.370221980323127790664933j)
   M=Mx        spread(A*A_M)=1.05e-49  spread(A_M/A)=4.02e-10  | outer: spread(A'*A'_M)=4.02e-10  spread(A'_M/A')=5.56e-50  | max|A_M-A_{-M}|=8.98e-49   A*A_M[0]=84.79011692223303025134569
   M=My        spread(A*A_M)=4.03e-50  spread(A_M/A)=4.02e-10  | outer: spread(A'*A'_M)=4.02e-10  spread(A'_M/A')=2.47e-50  | max|A_M-A_{-M}|=2.99e-49   A*A_M[0]=84.79011692223303025134569
   M=Md        spread(A*A_M)=7.26e-50  spread(A_M/A)=4.02e-10  | outer: spread(A'*A'_M)=4.02e-10  spread(A'_M/A')=3.4e-50   | max|A_M-A_{-M}|=5.13e-49   A*A_M[0]=84.79011692223303025134569
   (0.2s)
[CLAIM] a=1.3 b=1.0 N=16 tau=7 lambda=0.99993882305610206776 closure=3.16e-44 minimal=True max_tangency_defect=1.8e-44 rot/2pi=7.0
   M=O         spread(A*A_M)=4.63e-44  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=1.67e-43  | max|A_M-A_{-M}|=0.0        A*A_M[0]=1.869404161261708504681167
   M=M1        spread(A*A_M)=1.96e-42  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=1.19e-43  | max|A_M-A_{-M}|=6.73e-44   A*A_M[0]=-0.1073699409818370794769571
   M=M2        spread(A*A_M)=1.02e-43  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=3.01e-43  | max|A_M-A_{-M}|=4.88e-43   A*A_M[0]=-22.88089076271912250792877
   M=M3        spread(A*A_M)=6.32e-44  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=2.11e-43  | max|A_M-A_{-M}|=6.63e-42   A*A_M[0]=-4744.473531714655268953996
   M=Mc        spread(A*A_M)=8.8e-44   spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=2.28e-43  | max|A_M-A_{-M}|=1.61e-43   A*A_M[0]=(3.84617826350525408883929 - 1.733062226624478320357807j)
   M=Mx        spread(A*A_M)=1.6e-43   spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=1.41e-43  | max|A_M-A_{-M}|=1.61e-43   A*A_M[0]=-2.706963280918554560013668
   M=My        spread(A*A_M)=2.12e-43  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=2.18e-43  | max|A_M-A_{-M}|=1.37e-43   A*A_M[0]=-2.706963280918554560013668
   M=Md        spread(A*A_M)=1.44e-43  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=2.63e-43  | max|A_M-A_{-M}|=6.62e-44   A*A_M[0]=-2.706963280918554560013668
   (0.2s)
[CLAIM] a=1.3 b=1.0 N=20 tau=3 lambda=0.26387938740458641266 closure=3.52e-49 minimal=True max_tangency_defect=1.34e-50 rot/2pi=3.0
   M=O         spread(A*A_M)=2.72e-50  spread(A_M/A)=2.24e-13  | outer: spread(A'*A'_M)=2.24e-13  spread(A'_M/A')=6.66e-51  | max|A_M-A_{-M}|=0.0        A*A_M[0]=88.03868997292328666615684
   M=M1        spread(A*A_M)=4.68e-50  spread(A_M/A)=2.24e-13  | outer: spread(A'*A'_M)=2.24e-13  spread(A'_M/A')=2.44e-50  | max|A_M-A_{-M}|=3.42e-49   A*A_M[0]=105.8911686906782498268194
   M=M2        spread(A*A_M)=3.07e-50  spread(A_M/A)=2.24e-13  | outer: spread(A'*A'_M)=2.24e-13  spread(A'_M/A')=2.2e-50   | max|A_M-A_{-M}|=1.15e-48   A*A_M[0]=311.5615056993347432256854
   M=M3        spread(A*A_M)=2.45e-50  spread(A_M/A)=2.24e-13  | outer: spread(A'*A'_M)=2.24e-13  spread(A'_M/A')=1.97e-50  | max|A_M-A_{-M}|=2.19e-47   A*A_M[0]=42952.8183093145216142203
   M=Mc        spread(A*A_M)=6.4e-50   spread(A_M/A)=2.24e-13  | outer: spread(A'*A'_M)=2.24e-13  spread(A'_M/A')=4.2e-50   | max|A_M-A_{-M}|=4.19e-49   A*A_M[0]=(70.18621125516832350549428 + 15.65148819090846085318362j)
   M=Mx        spread(A*A_M)=5.29e-50  spread(A_M/A)=2.24e-13  | outer: spread(A'*A'_M)=2.24e-13  spread(A'_M/A')=3.15e-50  | max|A_M-A_{-M}|=4.7e-49    A*A_M[0]=129.3684009770409411065948
   M=My        spread(A*A_M)=2.38e-50  spread(A_M/A)=2.24e-13  | outer: spread(A'*A'_M)=2.24e-13  spread(A'_M/A')=2.18e-50  | max|A_M-A_{-M}|=4.28e-49   A*A_M[0]=129.3684009770409411065948
   M=Md        spread(A*A_M)=3.97e-50  spread(A_M/A)=2.24e-13  | outer: spread(A'*A'_M)=2.24e-13  spread(A'_M/A')=2.91e-50  | max|A_M-A_{-M}|=5.77e-49   A*A_M[0]=129.3684009770409411065948
   (0.2s)
[CLAIM] a=1.3 b=1.0 N=20 tau=9 lambda=0.99999703061073289669 closure=6.15e-42 minimal=True max_tangency_defect=3.0e-42 rot/2pi=9.0
   M=O         spread(A*A_M)=5.79e-42  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=3.88e-41  | max|A_M-A_{-M}|=0.0        A*A_M[0]=1.868938763147990736000259
   M=M1        spread(A*A_M)=1.0e-39   spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=6.2e-41   | max|A_M-A_{-M}|=1.54e-41   A*A_M[0]=-0.1082956708855401857182757
   M=M2        spread(A*A_M)=2.54e-41  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=1.02e-40  | max|A_M-A_{-M}|=5.57e-41   A*A_M[0]=-22.88711976708005395510578
   M=M3        spread(A*A_M)=2.96e-41  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=5.73e-41  | max|A_M-A_{-M}|=7.83e-40   A*A_M[0]=-4745.579278964183507429199
   M=Mc        spread(A*A_M)=2.96e-41  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=4.53e-41  | max|A_M-A_{-M}|=2.25e-41   A*A_M[0]=(3.846173197181521657718793 - 1.733465805180081903972414j)
   M=Mx        spread(A*A_M)=8.07e-41  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=7.6e-41   | max|A_M-A_{-M}|=2.48e-41   A*A_M[0]=-2.708494378655663041676896
   M=My        spread(A*A_M)=5.07e-41  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=5.54e-41  | max|A_M-A_{-M}|=1.56e-41   A*A_M[0]=-2.708494378655663041676896
   M=Md        spread(A*A_M)=6.98e-41  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=8.27e-41  | max|A_M-A_{-M}|=1.82e-41   A*A_M[0]=-2.708494378655663041676896
   (0.3s)
[CLAIM] a=1.3 b=1.0 N=24 tau=5 lambda=0.47049435427989751422 closure=4.23e-49 minimal=True max_tangency_defect=3.21e-50 rot/2pi=5.0
   M=O         spread(A*A_M)=5.19e-50  spread(A_M/A)=5.92e-15  | outer: spread(A'*A'_M)=5.92e-15  spread(A'_M/A')=1.27e-50  | max|A_M-A_{-M}|=0.0        A*A_M[0]=138.3568024235809090314097
   M=M1        spread(A*A_M)=4.0e-50   spread(A_M/A)=5.92e-15  | outer: spread(A'*A'_M)=5.92e-15  spread(A'_M/A')=2.57e-50  | max|A_M-A_{-M}|=4.49e-49   A*A_M[0]=154.0465188405232120442482
   M=M2        spread(A*A_M)=6.74e-50  spread(A_M/A)=5.92e-15  | outer: spread(A'*A'_M)=5.92e-15  spread(A'_M/A')=6.02e-50  | max|A_M-A_{-M}|=1.33e-48   A*A_M[0]=334.8006490685845385346199
   M=M3        spread(A*A_M)=2.55e-50  spread(A_M/A)=5.92e-15  | outer: spread(A'*A'_M)=5.92e-15  spread(A'_M/A')=3.13e-50  | max|A_M-A_{-M}|=2.19e-47   A*A_M[0]=37810.22562999065002110381
   M=Mc        spread(A*A_M)=6.68e-50  spread(A_M/A)=5.92e-15  | outer: spread(A'*A'_M)=5.92e-15  spread(A'_M/A')=4.35e-50  | max|A_M-A_{-M}|=5.71e-49   A*A_M[0]=(122.6670860066386060185713 + 13.75536781759325195646111j)
   M=Mx        spread(A*A_M)=5.09e-50  spread(A_M/A)=5.92e-15  | outer: spread(A'*A'_M)=5.92e-15  spread(A'_M/A')=4.18e-50  | max|A_M-A_{-M}|=6.84e-49   A*A_M[0]=174.6795705669130899789398
   M=My        spread(A*A_M)=3.92e-50  spread(A_M/A)=5.92e-15  | outer: spread(A'*A'_M)=5.92e-15  spread(A'_M/A')=2.54e-50  | max|A_M-A_{-M}|=3.21e-49   A*A_M[0]=174.6795705669130899789398
   M=Md        spread(A*A_M)=4.31e-50  spread(A_M/A)=5.92e-15  | outer: spread(A'*A'_M)=5.92e-15  spread(A'_M/A')=3.27e-50  | max|A_M-A_{-M}|=6.63e-49   A*A_M[0]=174.6795705669130899789398
   (0.3s)
[CLAIM] a=1.3 b=1.0 N=24 tau=11 lambda=0.99999985591552368148 closure=1.27e-38 minimal=True max_tangency_defect=6.76e-39 rot/2pi=11.0
   M=O         spread(A*A_M)=4.89e-39  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=2.69e-38  | max|A_M-A_{-M}|=0.0        A*A_M[0]=1.868916171162600776723031
   M=M1        spread(A*A_M)=4.3e-37   spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=2.66e-38  | max|A_M-A_{-M}|=7.8e-39    A*A_M[0]=-0.1083406079503589417041048
   M=M2        spread(A*A_M)=1.46e-38  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=5.29e-38  | max|A_M-A_{-M}|=4.48e-38   A*A_M[0]=-22.88742213170377158824138
   M=M3        spread(A*A_M)=1.3e-38   spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=3.55e-38  | max|A_M-A_{-M}|=6.08e-37   A*A_M[0]=-4745.632953316265352192496
   M=Mc        spread(A*A_M)=1.28e-38  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=3.12e-38  | max|A_M-A_{-M}|=1.48e-38   A*A_M[0]=(3.846172950275560495150166 - 1.733485395386704410675845j)
   M=Mx        spread(A*A_M)=3.5e-38   spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=3.27e-38  | max|A_M-A_{-M}|=1.47e-38   A*A_M[0]=-2.708568701030415557717872
   M=My        spread(A*A_M)=2.99e-38  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=2.29e-38  | max|A_M-A_{-M}|=1.26e-38   A*A_M[0]=-2.708568701030415557717872
   M=Md        spread(A*A_M)=3.0e-38   spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=3.49e-38  | max|A_M-A_{-M}|=7.74e-39   A*A_M[0]=-2.708568701030415557717872
   (0.3s)
[CLAIM] a=1.3 b=1.0 N=28 tau=13 lambda=0.99999999300868054073 closure=6.95e-36 minimal=True max_tangency_defect=3.74e-36 rot/2pi=13.0
   M=O         spread(A*A_M)=1.63e-36  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=1.34e-35  | max|A_M-A_{-M}|=0.0        A*A_M[0]=1.868915074919187476783408
   M=M1        spread(A*A_M)=2.75e-34  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=1.84e-35  | max|A_M-A_{-M}|=7.44e-36   A*A_M[0]=-0.108342788454147456429299
   M=M2        spread(A*A_M)=6.68e-36  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=2.91e-35  | max|A_M-A_{-M}|=2.86e-35   A*A_M[0]=-22.88743680348119785138665
   M=M3        spread(A*A_M)=7.67e-36  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=1.86e-35  | max|A_M-A_{-M}|=4.13e-34   A*A_M[0]=-4745.635557781081183601622
   M=Mc        spread(A*A_M)=7.66e-36  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=1.45e-35  | max|A_M-A_{-M}|=1.19e-35   A*A_M[0]=(3.846172938292522409996114 - 1.733486345971142955145387j)
   M=Mx        spread(A*A_M)=2.18e-35  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=2.15e-35  | max|A_M-A_{-M}|=1.31e-35   A*A_M[0]=-2.708572307410861889147379
   M=My        spread(A*A_M)=1.35e-35  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=1.85e-35  | max|A_M-A_{-M}|=2.64e-36   A*A_M[0]=-2.708572307410861889147379
   M=Md        spread(A*A_M)=1.84e-35  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=2.51e-35  | max|A_M-A_{-M}|=7.38e-36   A*A_M[0]=-2.708572307410861889147379
   (0.3s)
[CLAIM] a=1.3 b=1.0 N=32 tau=15 lambda=0.99999999966076502619 closure=3.73e-33 minimal=True max_tangency_defect=1.99e-33 rot/2pi=15.0
   M=O         spread(A*A_M)=1.27e-33  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=3.98e-33  | max|A_M-A_{-M}|=0.0        A*A_M[0]=1.868915021726849491764491
   M=M1        spread(A*A_M)=9.28e-32  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=5.68e-33  | max|A_M-A_{-M}|=2.78e-33   A*A_M[0]=-0.1083428942573725389224705
   M=M2        spread(A*A_M)=2.55e-33  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=1.0e-32   | max|A_M-A_{-M}|=1.15e-32   A*A_M[0]=-22.88743751539067018012431
   M=M3        spread(A*A_M)=3.0e-33   spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=5.11e-33  | max|A_M-A_{-M}|=1.56e-31   A*A_M[0]=-4745.635684155896230956434
   M=Mc        spread(A*A_M)=3.35e-33  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=5.4e-33   | max|A_M-A_{-M}|=3.99e-33   A*A_M[0]=(3.846172937711071522451452 - 1.73348639209575630087624j)
   M=Mx        spread(A*A_M)=7.61e-33  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=7.18e-33  | max|A_M-A_{-M}|=4.44e-33   A*A_M[0]=-2.70857248240100699023683
   M=My        spread(A*A_M)=4.92e-33  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=8.17e-33  | max|A_M-A_{-M}|=3.22e-33   A*A_M[0]=-2.70857248240100699023683
   M=Md        spread(A*A_M)=6.88e-33  spread(A_M/A)=0.021     | outer: spread(A'*A'_M)=0.021     spread(A'_M/A')=1.02e-32  | max|A_M-A_{-M}|=3.3e-33    A*A_M[0]=-2.70857248240100699023683
   (0.4s)
[CLAIM] a=2.0 b=1.0 N=4 tau=1 lambda=0.8 closure=1.38e-49 minimal=True max_tangency_defect=3.74e-50 rot/2pi=1.0
   M=O         spread(A*A_M)=3.13e-50  spread(A_M/A)=0.353     | outer: spread(A'*A'_M)=0.353     spread(A'_M/A')=5.35e-51  | max|A_M-A_{-M}|=0.0        A*A_M[0]=5.12
   M=M1        spread(A*A_M)=8.56e-50  spread(A_M/A)=0.353     | outer: spread(A'*A'_M)=0.353     spread(A'_M/A')=3.61e-50  | max|A_M-A_{-M}|=1.31e-49   A*A_M[0]=5.12
   M=M2        spread(A*A_M)=1.9e-49   spread(A_M/A)=0.353     | outer: spread(A'*A'_M)=0.353     spread(A'_M/A')=8.69e-50  | max|A_M-A_{-M}|=2.83e-49   A*A_M[0]=5.12
   M=M3        spread(A*A_M)=2.26e-48  spread(A_M/A)=0.353     | outer: spread(A'*A'_M)=0.353     spread(A'_M/A')=1.36e-48  | max|A_M-A_{-M}|=4.45e-48   A*A_M[0]=5.12
   M=Mc        spread(A*A_M)=1.05e-49  spread(A_M/A)=0.353     | outer: spread(A'*A'_M)=0.353     spread(A'_M/A')=5.11e-50  | max|A_M-A_{-M}|=1.71e-49   A*A_M[0]=(5.12 + 4.515441794484943887123816e-50j)
   M=Mx        spread(A*A_M)=1.25e-49  spread(A_M/A)=0.353     | outer: spread(A'*A'_M)=0.353     spread(A'_M/A')=5.61e-50  | max|A_M-A_{-M}|=1.9e-49    A*A_M[0]=5.12
   M=My        spread(A*A_M)=5.85e-50  spread(A_M/A)=0.353     | outer: spread(A'*A'_M)=0.353     spread(A'_M/A')=3.07e-50  | max|A_M-A_{-M}|=7.75e-50   A*A_M[0]=5.12
   M=Md        spread(A*A_M)=9.61e-50  spread(A_M/A)=0.353     | outer: spread(A'*A'_M)=0.353     spread(A'_M/A')=5.08e-50  | max|A_M-A_{-M}|=1.66e-49   A*A_M[0]=5.12
   (0.1s)
[CLAIM] a=2.0 b=1.0 N=8 tau=1 lambda=0.26775235692584377384 closure=2.92e-49 minimal=True max_tangency_defect=1.6e-50 rot/2pi=1.0
   M=O         spread(A*A_M)=1.73e-50  spread(A_M/A)=0.00162   | outer: spread(A'*A'_M)=0.00162   spread(A'_M/A')=1.98e-50  | max|A_M-A_{-M}|=0.0        A*A_M[0]=29.67461789067155043962383
   M=M1        spread(A*A_M)=5.12e-50  spread(A_M/A)=0.00162   | outer: spread(A'*A'_M)=0.00162   spread(A'_M/A')=4.58e-50  | max|A_M-A_{-M}|=3.1e-49    A*A_M[0]=33.40637685028750271352797
   M=M2        spread(A*A_M)=6.49e-50  spread(A_M/A)=0.00162   | outer: spread(A'*A'_M)=0.00162   spread(A'_M/A')=6.87e-50  | max|A_M-A_{-M}|=1.05e-48   A*A_M[0]=76.39828486449319945809487
   M=M3        spread(A*A_M)=2.68e-50  spread(A_M/A)=0.00162   | outer: spread(A'*A'_M)=0.00162   spread(A'_M/A')=2.99e-50  | max|A_M-A_{-M}|=1.37e-47   A*A_M[0]=8989.832359871565615002588
   M=Mc        spread(A*A_M)=9.53e-50  spread(A_M/A)=0.00162   | outer: spread(A'*A'_M)=0.00162   spread(A'_M/A')=7.79e-50  | max|A_M-A_{-M}|=4.71e-49   A*A_M[0]=(25.94285893105559816571969 + 3.271679087882478705888563j)
   M=Mx        spread(A*A_M)=7.59e-50  spread(A_M/A)=0.00162   | outer: spread(A'*A'_M)=0.00162   spread(A'_M/A')=6.07e-50  | max|A_M-A_{-M}|=5.13e-49   A*A_M[0]=38.31389548211122077236082
   M=My        spread(A*A_M)=2.23e-50  spread(A_M/A)=0.00162   | outer: spread(A'*A'_M)=0.00162   spread(A'_M/A')=2.25e-50  | max|A_M-A_{-M}|=7.48e-50   A*A_M[0]=38.31389548211122077236082
   M=Md        spread(A*A_M)=5.36e-50  spread(A_M/A)=0.00162   | outer: spread(A'*A'_M)=0.00162   spread(A'_M/A')=4.72e-50  | max|A_M-A_{-M}|=3.74e-49   A*A_M[0]=38.31389548211122077236082
   (0.1s)
[CLAIM] a=2.0 b=1.0 N=8 tau=3 lambda=0.99872803039120204033 closure=7.39e-47 minimal=True max_tangency_defect=1.81e-47 rot/2pi=3.0
   M=O         spread(A*A_M)=8.97e-47  spread(A_M/A)=0.314     | outer: spread(A'*A'_M)=0.314     spread(A'_M/A')=4.75e-46  | max|A_M-A_{-M}|=0.0        A*A_M[0]=3.204474512802372569749878
   M=M1        spread(A*A_M)=1.11e-46  spread(A_M/A)=0.314     | outer: spread(A'*A'_M)=0.314     spread(A'_M/A')=5.83e-46  | max|A_M-A_{-M}|=7.86e-47   A*A_M[0]=2.435222808097383192319635
   M=M2        spread(A*A_M)=3.28e-46  spread(A_M/A)=0.314     | outer: spread(A'*A'_M)=0.314     spread(A'_M/A')=1.79e-45  | max|A_M-A_{-M}|=6.66e-46   A*A_M[0]=-6.426978337887494429856176
   M=M3        spread(A*A_M)=1.8e-46   spread(A_M/A)=0.314     | outer: spread(A'*A'_M)=0.314     spread(A'_M/A')=6.69e-46  | max|A_M-A_{-M}|=7.9e-45    A*A_M[0]=-1843.811019262217122058205
   M=Mc        spread(A*A_M)=1.24e-46  spread(A_M/A)=0.314     | outer: spread(A'*A'_M)=0.314     spread(A'_M/A')=5.58e-46  | max|A_M-A_{-M}|=2.19e-46   A*A_M[0]=(3.973726217507361947180121 - 0.6744124534399906870621307j)
   M=Mx        spread(A*A_M)=2.61e-46  spread(A_M/A)=0.314     | outer: spread(A'*A'_M)=0.314     spread(A'_M/A')=6.21e-46  | max|A_M-A_{-M}|=1.06e-46   A*A_M[0]=1.423604127937397161726439
   M=My        spread(A*A_M)=6.72e-46  spread(A_M/A)=0.314     | outer: spread(A'*A'_M)=0.314     spread(A'_M/A')=5.79e-46  | max|A_M-A_{-M}|=4.4e-46    A*A_M[0]=1.423604127937397161726439
   M=Md        spread(A*A_M)=4.6e-46   spread(A_M/A)=0.314     | outer: spread(A'*A'_M)=0.314     spread(A'_M/A')=6.62e-46  | max|A_M-A_{-M}|=2.78e-46   A*A_M[0]=1.423604127937397161726439
   (0.1s)
[CLAIM] a=2.0 b=1.0 N=12 tau=1 lambda=0.12465195583889704036 closure=5.21e-50 minimal=True max_tangency_defect=5.35e-51 rot/2pi=1.0
   M=O         spread(A*A_M)=1.3e-50   spread(A_M/A)=9.4e-6    | outer: spread(A'*A'_M)=9.4e-6    spread(A'_M/A')=9.75e-51  | max|A_M-A_{-M}|=0.0        A*A_M[0]=39.55466234160996533704161
   M=M1        spread(A*A_M)=3.42e-50  spread(A_M/A)=9.4e-6    | outer: spread(A'*A'_M)=9.4e-6    spread(A'_M/A')=2.59e-50  | max|A_M-A_{-M}|=1.82e-49   A*A_M[0]=45.00757336464000430207901
   M=M2        spread(A*A_M)=3.17e-50  spread(A_M/A)=9.4e-6    | outer: spread(A'*A'_M)=9.4e-6    spread(A'_M/A')=2.22e-50  | max|A_M-A_{-M}|=6.41e-49   A*A_M[0]=107.8280962463970285431263
   M=M3        spread(A*A_M)=1.83e-50  spread(A_M/A)=9.4e-6    | outer: spread(A'*A'_M)=9.4e-6    spread(A'_M/A')=1.98e-50  | max|A_M-A_{-M}|=1.09e-47   A*A_M[0]=13132.29281828183105677348
   M=Mc        spread(A*A_M)=4.39e-50  spread(A_M/A)=9.4e-6    | outer: spread(A'*A'_M)=9.4e-6    spread(A'_M/A')=4.01e-50  | max|A_M-A_{-M}|=2.6e-49    A*A_M[0]=(34.10175131857992637200421 + 4.780634321560582106334159j)
   M=Mx        spread(A*A_M)=4.1e-50   spread(A_M/A)=9.4e-6    | outer: spread(A'*A'_M)=9.4e-6    spread(A'_M/A')=3.18e-50  | max|A_M-A_{-M}|=2.78e-49   A*A_M[0]=52.17852484698087746158025
   M=My        spread(A*A_M)=1.8e-50   spread(A_M/A)=9.4e-6    | outer: spread(A'*A'_M)=9.4e-6    spread(A'_M/A')=1.5e-50   | max|A_M-A_{-M}|=4.28e-50   A*A_M[0]=52.17852484698087746158025
   M=Md        spread(A*A_M)=3.44e-50  spread(A_M/A)=9.4e-6    | outer: spread(A'*A'_M)=9.4e-6    spread(A'_M/A')=2.81e-50  | max|A_M-A_{-M}|=1.92e-49   A*A_M[0]=52.17852484698087746158025
   (0.1s)
[CLAIM] a=2.0 b=1.0 N=12 tau=5 lambda=0.99999342552237117286 closure=2.2e-43 minimal=True max_tangency_defect=2.28e-44 rot/2pi=5.0
   M=O         spread(A*A_M)=2.66e-42  spread(A_M/A)=0.314     | outer: spread(A'*A'_M)=0.314     spread(A'_M/A')=8.65e-42  | max|A_M-A_{-M}|=0.0        A*A_M[0]=3.186817830044753664476293
   M=M1        spread(A*A_M)=2.1e-42   spread(A_M/A)=0.314     | outer: spread(A'*A'_M)=0.314     spread(A'_M/A')=8.6e-42   | max|A_M-A_{-M}|=1.47e-42   A*A_M[0]=2.41141320391202691032448
   M=M2        spread(A*A_M)=7.4e-42   spread(A_M/A)=0.314     | outer: spread(A'*A'_M)=0.314     spread(A'_M/A')=4.62e-41  | max|A_M-A_{-M}|=9.47e-42   A*A_M[0]=-6.521672968384181312164219
   M=M3        spread(A*A_M)=3.98e-42  spread(A_M/A)=0.314     | outer: spread(A'*A'_M)=0.314     spread(A'_M/A')=1.11e-41  | max|A_M-A_{-M}|=1.12e-40   A*A_M[0]=-1858.602177439351784520008
   M=Mc        spread(A*A_M)=4.29e-42  spread(A_M/A)=0.314     | outer: spread(A'*A'_M)=0.314     spread(A'_M/A')=1.06e-41  | max|A_M-A_{-M}|=3.14e-42   A*A_M[0]=(3.962222456177480418628106 - 0.6798067955136234556947405j)
   M=Mx        spread(A*A_M)=1.94e-42  spread(A_M/A)=0.314     | outer: spread(A'*A'_M)=0.314     spread(A'_M/A')=9.67e-42  | max|A_M-A_{-M}|=1.26e-42   A*A_M[0]=1.391703010641591726782369
   M=My        spread(A*A_M)=1.51e-41  spread(A_M/A)=0.314     | outer: spread(A'*A'_M)=0.314     spread(A'_M/A')=5.42e-42  | max|A_M-A_{-M}|=6.3e-42    A*A_M[0]=1.391703010641591726782369
   M=Md        spread(A*A_M)=1.07e-41  spread(A_M/A)=0.314     | outer: spread(A'*A'_M)=0.314     spread(A'_M/A')=7.51e-42  | max|A_M-A_{-M}|=4.0e-42    A*A_M[0]=1.391703010641591726782369
   (0.2s)
[CLAIM] a=2.0 b=1.0 N=16 tau=3 lambda=0.53832815102869355893 closure=1.06e-48 minimal=True max_tangency_defect=4.28e-50 rot/2pi=3.0
   M=O         spread(A*A_M)=4.61e-50  spread(A_M/A)=8.52e-7   | outer: spread(A'*A'_M)=8.52e-7   spread(A'_M/A')=2.06e-50  | max|A_M-A_{-M}|=0.0        A*A_M[0]=133.6752520851665961393923
   M=M1        spread(A*A_M)=9.17e-50  spread(A_M/A)=8.52e-7   | outer: spread(A'*A'_M)=8.52e-7   spread(A'_M/A')=2.64e-50  | max|A_M-A_{-M}|=7.48e-49   A*A_M[0]=145.4441103160518450294708
   M=M2        spread(A*A_M)=9.5e-50   spread(A_M/A)=8.52e-7   | outer: spread(A'*A'_M)=8.52e-7   spread(A'_M/A')=7.31e-50  | max|A_M-A_{-M}|=2.27e-48   A*A_M[0]=281.0278058252914932014717
   M=M3        spread(A*A_M)=4.32e-50  spread(A_M/A)=8.52e-7   | outer: spread(A'*A'_M)=8.52e-7   spread(A'_M/A')=2.67e-50  | max|A_M-A_{-M}|=3.83e-47   A*A_M[0]=28391.3487333848072770476
   M=Mc        spread(A*A_M)=1.26e-49  spread(A_M/A)=8.52e-7   | outer: spread(A'*A'_M)=8.52e-7   spread(A'_M/A')=5.56e-50  | max|A_M-A_{-M}|=1.07e-48   A*A_M[0]=(121.9063938542813472493137 + 10.31790310652953327349353j)
   M=Mx        spread(A*A_M)=1.21e-49  spread(A_M/A)=8.52e-7   | outer: spread(A'*A'_M)=8.52e-7   spread(A'_M/A')=4.4e-50   | max|A_M-A_{-M}|=1.22e-48   A*A_M[0]=160.9209649758461449397111
   M=My        spread(A*A_M)=4.04e-50  spread(A_M/A)=8.52e-7   | outer: spread(A'*A'_M)=8.52e-7   spread(A'_M/A')=2.93e-50  | max|A_M-A_{-M}|=1.5e-49    A*A_M[0]=160.9209649758461449397111
   M=Md        spread(A*A_M)=9.78e-50  spread(A_M/A)=8.52e-7   | outer: spread(A'*A'_M)=8.52e-7   spread(A'_M/A')=2.77e-50  | max|A_M-A_{-M}|=8.34e-49   A*A_M[0]=160.9209649758461449397111
   (0.2s)
[CLAIM] a=2.0 b=1.0 N=16 tau=7 lambda=0.99999996610930997386 closure=2.29e-37 minimal=True max_tangency_defect=5.99e-38 rot/2pi=7.0
   M=O         spread(A*A_M)=1.71e-37  spread(A_M/A)=0.314     | outer: spread(A'*A'_M)=0.314     spread(A'_M/A')=1.0e-36   | max|A_M-A_{-M}|=0.0        A*A_M[0]=3.186726379641744221523429
   M=M1        spread(A*A_M)=3.83e-37  spread(A_M/A)=0.314     | outer: spread(A'*A'_M)=0.314     spread(A'_M/A')=8.02e-37  | max|A_M-A_{-M}|=2.99e-37   A*A_M[0]=2.411289907583123130341306
   M=M2        spread(A*A_M)=9.12e-37  spread(A_M/A)=0.314     | outer: spread(A'*A'_M)=0.314     spread(A'_M/A')=4.86e-36  | max|A_M-A_{-M}|=2.67e-36   A*A_M[0]=-6.522163147229210262592465
   M=M3        spread(A*A_M)=1.66e-37  spread(A_M/A)=0.314     | outer: spread(A'*A'_M)=0.314     spread(A'_M/A')=1.02e-36  | max|A_M-A_{-M}|=3.17e-35   A*A_M[0]=-1858.678732702809337958325
   M=Mc        spread(A*A_M)=3.76e-37  spread(A_M/A)=0.314     | outer: spread(A'*A'_M)=0.314     spread(A'_M/A')=1.33e-36  | max|A_M-A_{-M}|=8.84e-37   A*A_M[0]=(3.962162851700365312705552 - 0.6798347152294760251459707j)
   M=Mx        spread(A*A_M)=1.48e-37  spread(A_M/A)=0.314     | outer: spread(A'*A'_M)=0.314     spread(A'_M/A')=9.64e-37  | max|A_M-A_{-M}|=1.81e-37   A*A_M[0]=1.39153783473890909262235
   M=My        spread(A*A_M)=2.7e-36   spread(A_M/A)=0.314     | outer: spread(A'*A'_M)=0.314     spread(A'_M/A')=2.8e-37   | max|A_M-A_{-M}|=1.78e-36   A*A_M[0]=1.39153783473890909262235
   M=Md        spread(A*A_M)=1.82e-36  spread(A_M/A)=0.314     | outer: spread(A'*A'_M)=0.314     spread(A'_M/A')=3.6e-37   | max|A_M-A_{-M}|=1.13e-36   A*A_M[0]=1.39153783473890909262235
   (0.2s)
[CLAIM] a=2.0 b=1.0 N=20 tau=3 lambda=0.37109110493865808157 closure=7.4e-49 minimal=True max_tangency_defect=1.6e-50 rot/2pi=3.0
   M=O         spread(A*A_M)=3.57e-50  spread(A_M/A)=3.01e-9   | outer: spread(A'*A'_M)=3.01e-9   spread(A'_M/A')=2.51e-50  | max|A_M-A_{-M}|=0.0        A*A_M[0]=210.8357694925333964498238
   M=M1        spread(A*A_M)=6.7e-50   spread(A_M/A)=3.01e-9   | outer: spread(A'*A'_M)=3.01e-9   spread(A'_M/A')=6.16e-50  | max|A_M-A_{-M}|=1.15e-48   A*A_M[0]=234.9433001403211873228153
   M=M2        spread(A*A_M)=9.61e-50  spread(A_M/A)=3.01e-9   | outer: spread(A'*A'_M)=3.01e-9   spread(A'_M/A')=8.21e-50  | max|A_M-A_{-M}|=3.08e-48   A*A_M[0]=512.6752628086709424486479
   M=M3        spread(A*A_M)=3.17e-50  spread(A_M/A)=3.01e-9   | outer: spread(A'*A'_M)=3.01e-9   spread(A'_M/A')=4.25e-50  | max|A_M-A_{-M}|=4.93e-47   A*A_M[0]=58094.33781541445970939936
   M=Mc        spread(A*A_M)=1.16e-49  spread(A_M/A)=3.01e-9   | outer: spread(A'*A'_M)=3.01e-9   spread(A'_M/A')=7.76e-50  | max|A_M-A_{-M}|=1.56e-48   A*A_M[0]=(186.7282388447456055768324 + 21.13536933504683035440343j)
   M=Mx        spread(A*A_M)=9.24e-50  spread(A_M/A)=3.01e-9   | outer: spread(A'*A'_M)=3.01e-9   spread(A'_M/A')=7.98e-50  | max|A_M-A_{-M}|=1.75e-48   A*A_M[0]=266.6463541428914328544204
   M=My        spread(A*A_M)=4.62e-50  spread(A_M/A)=3.01e-9   | outer: spread(A'*A'_M)=3.01e-9   spread(A'_M/A')=3.6e-50   | max|A_M-A_{-M}|=4.28e-49   A*A_M[0]=266.6463541428914328544204
   M=Md        spread(A*A_M)=7.18e-50  spread(A_M/A)=3.01e-9   | outer: spread(A'*A'_M)=3.01e-9   spread(A'_M/A')=6.95e-50  | max|A_M-A_{-M}|=1.54e-48   A*A_M[0]=266.6463541428914328544204
   (0.2s)
[CLAIM] a=2.0 N=20 tau=9: FAILED to construct (no sign change: glo=-56.54866776225636544284138921725361168513472401288 ghi=-0.35528035035605009387012526209533897927179448903065)
[CLAIM] a=2.0 b=1.0 N=24 tau=5 lambda=0.6313877124781186547 closure=8.26e-49 minimal=True max_tangency_defect=1.34e-50 rot/2pi=5.0
   M=O         spread(A*A_M)=5.03e-50  spread(A_M/A)=5.48e-10  | outer: spread(A'*A'_M)=5.48e-10  spread(A'_M/A')=1.25e-50  | max|A_M-A_{-M}|=0.0        A*A_M[0]=272.2543222894243912017062
   M=M1        spread(A*A_M)=1.18e-49  spread(A_M/A)=5.48e-10  | outer: spread(A'*A'_M)=5.48e-10  spread(A'_M/A')=3.99e-50  | max|A_M-A_{-M}|=1.28e-48   A*A_M[0]=290.336278296235939210941
   M=M2        spread(A*A_M)=1.26e-49  spread(A_M/A)=5.48e-10  | outer: spread(A'*A'_M)=5.48e-10  spread(A'_M/A')=8.79e-50  | max|A_M-A_{-M}|=2.91e-48   A*A_M[0]=498.6503194158045950433587
   M=M3        spread(A*A_M)=5.41e-50  spread(A_M/A)=5.48e-10  | outer: spread(A'*A'_M)=5.48e-10  spread(A'_M/A')=3.32e-50  | max|A_M-A_{-M}|=5.2e-47    A*A_M[0]=43688.02148675391343797777
   M=Mc        spread(A*A_M)=1.33e-49  spread(A_M/A)=5.48e-10  | outer: spread(A'*A'_M)=5.48e-10  spread(A'_M/A')=6.29e-50  | max|A_M-A_{-M}|=1.67e-48   A*A_M[0]=(254.1723662826128431924713 + 15.8526737593964256519319j)
   M=Mx        spread(A*A_M)=1.48e-49  spread(A_M/A)=5.48e-10  | outer: spread(A'*A'_M)=5.48e-10  spread(A'_M/A')=6.43e-50  | max|A_M-A_{-M}|=1.9e-48    A*A_M[0]=314.1152889353305776888388
   M=My        spread(A*A_M)=6.53e-50  spread(A_M/A)=5.48e-10  | outer: spread(A'*A'_M)=5.48e-10  spread(A'_M/A')=2.27e-50  | max|A_M-A_{-M}|=6.41e-49   A*A_M[0]=314.1152889353305776888388
   M=Md        spread(A*A_M)=1.31e-49  spread(A_M/A)=5.48e-10  | outer: spread(A'*A'_M)=5.48e-10  spread(A'_M/A')=3.97e-50  | max|A_M-A_{-M}|=1.69e-48   A*A_M[0]=314.1152889353305776888388
   (0.3s)
[CLAIM] a=2.0 N=24 tau=11: FAILED to construct (no sign change: glo=-69.115038376143555826309237115803556889435141045197 ghi=-0.37018729377431006948511505702873253210167780440349)
[CLAIM] a=2.0 N=28 tau=13: FAILED to construct (no sign change: glo=-81.681408990030746209615255914558939730132844211352 ghi=-2.9597335886666635395042331246796730961825904678721)
[CLAIM] a=2.0 N=32 tau=15: FAILED to construct (no sign change: glo=-94.247779603917936592759445613352458949629689343154 ghi=-3.5115824843787048420482188300158539891010748978108)
[CLAIM] a=3.5 N=4 tau=1: FAILED to construct (no sign change: glo=-6.2831853068202772542413009475942584672795414291493 ghi=-0.36989437280438263383688834519237507896487452922724)
[CLAIM] a=3.5 N=8 tau=1: FAILED to construct (no sign change: glo=-6.2831853064609680313591570483216123986729389130098 ghi=-9.8025582129335649962770787521506563850420285107761)
[CLAIM] a=3.5 N=8 tau=3: FAILED to construct (no sign change: glo=-18.84955592082014098520973058143962393546161651051 ghi=-22.368928827292737950127652285268667921830706108277)
[CLAIM] a=3.5 N=12 tau=1: FAILED to construct (no sign change: glo=-6.2831853061016588082788550685851134679923399991533 ghi=-9.7998555708494662548478591146849938966606992326229)
[CLAIM] a=3.5 N=12 tau=5: FAILED to construct (no sign change: glo=-31.415926534820004715980002134821136541569695194154 ghi=-34.932596799567812162549006180921016970238054427624)
[CLAIM] a=3.5 N=16 tau=3: FAILED to construct (no sign change: glo=-18.849555920101522538850968541346819117460554069646 ghi=-12.936208832433712842962008379254139281341035772958)
[CLAIM] a=3.5 N=16 tau=7: FAILED to construct (no sign change: glo=-43.982297148819868446552115607582842191037909264647 ghi=-38.068950061152058750663155445490162354918390967959)
[CLAIM] a=3.5 N=20 tau=3: FAILED to construct (no sign change: glo=-18.849555919742213315374350400214752178950680749979 ghi=-18.976495041998585587609220582471308861379321911828)
[CLAIM] a=3.5 N=20 tau=9: FAILED to construct (no sign change: glo=-56.548667762819732176926070999568786789316713542481 ghi=-56.67560688507610444916094118182534347174535470433)
[CLAIM] a=3.5 N=24 tau=5: FAILED to construct (no sign change: glo=-31.415926533742077045550147711268981631506853091756 ghi=-41.2107102710858246200911758838356909359518770515)
[CLAIM] a=3.5 N=24 tau=11: FAILED to construct (no sign change: glo=-69.115038376819595907101868310623016241872885884257 ghi=-78.909822114163343481642896483189725546317909844001)
[CLAIM] a=3.5 N=28 tau=13: FAILED to construct (no sign change: glo=-81.681408990819459637079507540589576454189527182869 ghi=-81.714232763584134036032669341795365036772218731696)
[CLAIM] a=3.5 N=32 tau=15: FAILED to construct (no sign change: glo=-94.247779604819323366858988689312513331766061367682 ghi=-88.334478177461345282258696754619601383406253303151)
done
