z_ 1 ~ 6.9475062425330620565 + 1.8804406531006276787 i   |g(c)| <= 2.1e-91, |g'(c)| >= 0.942216  Rouche rho=2^-100: CERTIFIED
z_ 2 ~ 13.276697958613062363 + 2.2057029593176104755 i   |g(c)| <= 3.22e-91, |g'(c)| >= 0.971538  Rouche rho=2^-100: CERTIFIED
z_ 3 ~ 19.579253925689087367 + 2.4011905639397020636 i   |g(c)| <= 5.97e-92, |g'(c)| >= 0.981361  Rouche rho=2^-100: CERTIFIED
z_ 4 ~ 25.873373935357950793 + 2.5414204744352723705 i   |g(c)| <= 1.69e-91, |g'(c)| >= 0.986207  Rouche rho=2^-100: CERTIFIED
z_ 5 ~ 32.163666085292618308 + 2.6508403978688813209 i   |g(c)| <= 1.3e-91, |g'(c)| >= 0.989077  Rouche rho=2^-100: CERTIFIED
z_ 6 ~ 38.45187582782183442 + 2.7405769731172627743 i   |g(c)| <= 1.59e-91, |g'(c)| >= 0.990968  Rouche rho=2^-100: CERTIFIED
z_ 7 ~ 44.73881878943192331 + 2.8166419543520638126 i   |g(c)| <= 2.0e-91, |g'(c)| >= 0.992307  Rouche rho=2^-100: CERTIFIED
z_ 8 ~ 51.024930018195779503 + 2.8826545941388078618 i   |g(c)| <= 2.37e-91, |g'(c)| >= 0.993303  Rouche rho=2^-100: CERTIFIED
z_ 9 ~ 57.310463905466628471 + 2.940963696531522118 i   |g(c)| <= 1.01e-91, |g'(c)| >= 0.994072  Rouche rho=2^-100: CERTIFIED
z_10 ~ 63.595579655297778093 + 2.9931803911245978654 i   |g(c)| <= 1.68e-91, |g'(c)| >= 0.994684  Rouche rho=2^-100: CERTIFIED
z_11 ~ 69.880382255084223598 + 3.0404579489472749407 i   |g(c)| <= 1.69e-91, |g'(c)| >= 0.995182  Rouche rho=2^-100: CERTIFIED
z_12 ~ 76.164943883333929736 + 3.0836503446973479986 i   |g(c)| <= 1.3e-91, |g'(c)| >= 0.995595  Rouche rho=2^-100: CERTIFIED
arg z_1 > arg z_2: True   (certified gap >= 0.099700947;  arg z_1 ~ [0.264330724823342477639968078852418408442436845464715545898446371099846419436614989844673154441964260007466514101198226627991136257, 0.264330724823342477639968078852418408442436845464715545898446371099846419436614989844673154441964260007466514101198226627991136257])
arg z_2 > arg z_3: True   (certified gap >= 0.042599606;  arg z_2 ~ [0.164629777558706801763391780676042106482148797650654252056712917987811467181626086644702628151858152239867034866416157853063813021, 0.164629777558706801763391780676042106482148797650654252056712917987811467181626086644702628151858152239867034866416157853063813021])
arg z_3 > arg z_4: True   (certified gap >= 0.024118933;  arg z_3 ~ [0.1220301715076395137610905407347781867348997310297224264457908906372533937005174691140486833110462095103110546647287300130882026932, 0.1220301715076395137610905407347781867348997310297224264457908906372533937005174691140486833110462095103110546647287300130882026932])
arg z_4 > arg z_5: True   (certified gap >= 0.015679856;  arg z_4 ~ [0.09791123812926135918683336161684932264178285215580275518388119125520253804006141382494199294172990968554167733232111260343804668813, 0.09791123812926135918683336161684932264178285215580275518388119125520253804006141382494199294172990968554167733232111260343804668813])
arg z_5 > arg z_6: True   (certified gap >= 0.011078793;  arg z_5 ~ [0.08223138187014667428457788558710577235728920309009701320963594433373970143924427535181209558381709285516568263834644904696331077953, 0.08223138187014667428457788558710577235728920309009701320963594433373970143924427535181209558381709285516568263834644904696331077953])
arg z_6 > arg z_7: True   (certified gap >= 0.0082781217;  arg z_6 ~ [0.07115258890390613183592547551474801715904936608550546123078268228519177856873047071136105679821294015335002466171996485314788265127, 0.07115258890390613183592547551474801715904936608550546123078268228519177856873047071136105679821294015335002466171996485314788265127])
arg z_7 > arg z_8: True   (certified gap >= 0.0064394342;  arg z_7 ~ [0.06287446719030512849984904293260080546087559343316865264530147881116800682198007140865590167968988921793240545604613855905368768346, 0.06287446719030512849984904293260080546087559343316865264530147881116800682198007140865590167968988921793240545604613855905368768346])
arg z_8 > arg z_9: True   (certified gap >= 0.0051636591;  arg z_8 ~ [0.05643503300195517014599000329044772553221760130326088769851278773563255147347767661683944157913846836608756568337403246073967347267, 0.05643503300195517014599000329044772553221760130326088769851278773563255147347767661683944157913846836608756568337403246073967347267])
arg z_9 > arg z_10: True   (certified gap >= 0.0042402251;  arg z_9 ~ [0.05127137387158338210030537611622720765751594545796538611067811741214039233388761611156635164477915298189194399200894525354012640589, 0.05127137387158338210030537611622720765751594545796538611067811741214039233388761611156635164477915298189194399200894525354012640589])
arg z_10 > arg z_11: True   (certified gap >= 0.0035491095;  arg z_10 ~ [0.04703114872208467069080174488962976479258040386693871183371513084363064245345970071455303755110884964867215809699300103460160582734, 0.04703114872208467069080174488962976479258040386693871183371513084363064245345970071455303755110884964867215809699300103460160582734])
arg z_11 > arg z_12: True   (certified gap >= 0.0030176604;  arg z_11 ~ [0.0434820392190715275663801445249350016170080777836333790066939769773818192709251416049244060379445421309057017638399627258145786306, 0.0434820392190715275663801445249350016170080777836333790066939769773818192709251416049244060379445421309057017638399627258145786306])
arg z_12 ~ [0.04046437878711464390194646975637474521216538129808258222619927916663082967981177552060347945865178968411872293733478801293602799062, 0.04046437878711464390194646975637474521216538129808258222619927916663082967981177552060347945865178968411872293733478801293602799062]
m=10: F_m ~ 63.5937148134706 + 2.99575002194416 i (enclosure radius 2.52e-91); (2 pi m)|z_m - F_m| <= 0.19949126 (< 1 needed; author claims < 0.5757)
junction: inf arg z_9 = 0.0512713738716 > sup arg D_10 <= 0.0473228595704: True
m=11: F_m ~ 69.8786783213623 + 3.04279238864968 i (enclosure radius 2.02e-91); (2 pi m)|z_m - F_m| <= 0.19975321 (< 1 needed; author claims < 0.5757)
m=12: F_m ~ 76.1633752274808 + 3.08578892452947 i (enclosure radius 1.18e-91); (2 pi m)|z_m - F_m| <= 0.19997174 (< 1 needed; author claims < 0.5757)
elapsed 0.2s
