TetSheldonIma.inc

TetSheldonIma.inc is the C++ code that determines the approximation of the tetration $\mathrm {tet} _{b}\$$ to Sheldon base, Failed to parse (unknown function "\mathrn"): {\displaystyle b\!=\!1.52598338517+0.0178411853321\, \mathrn i } , along the line, parallel to the imaginary axis. These values are necessary for the evaluation of tetration to thix base with the Cauchi integral

The code below is copypasted from TORI, http://mizugadro.mydns.jp/t/index.php/File:Ack4c.jpg

Code

z_type F[2048]={ z_type( 2.2284360626229747,-1.3507994778159116), z_type( 2.2284360625308581,-1.3507994776126009), z_type( 2.2284360626433157,-1.3507994778105332), z_type( 2.2284360625627873,-1.3507994776041472), z_type( 2.2284360626868915,-1.3507994777990080), z_type( 2.2284360626179609,-1.3507994775895389), z_type( 2.2284360627537456,-1.3507994777813264), z_type( 2.2284360626964168,-1.3507994775687573), z_type( 2.2284360628439277,-1.3507994777574601), z_type( 2.2284360627982185,-1.3507994775417727), z_type( 2.2284360629574929,-1.3507994777273851), z_type( 2.2284360629234210,-1.3507994775085712), z_type( 2.2284360630945299,-1.3507994776910759), z_type( 2.2284360630721367,-1.3507994774691054), z_type( 2.2284360632551365,-1.3507994776484913), z_type( 2.2284360632444562,-1.3507994774233374), z_type( 2.2284360634394194,-1.3507994775995813), z_type( 2.2284360634405047,-1.3507994773712237), z_type( 2.2284360636475116,-1.3507994775443006), z_type( 2.2284360636604168,-1.3507994773126999), z_type( 2.2284360638795593,-1.3507994774825853), z_type( 2.2284360639043523,-1.3507994772477072), z_type( 2.2284360641357317,-1.3507994774143697), z_type( 2.2284360641724819,-1.3507994771761798), z_type( 2.2284360644161998,-1.3507994773395888), z_type( 2.2284360644649910,-1.3507994770980409), z_type( 2.2284360647211656,-1.3507994772581602), z_type( 2.2284360647820840,-1.3507994770132075), z_type( 2.2284360650508290,-1.3507994771699927), z_type( 2.2284360651239781,-1.3507994769215865), z_type( 2.2284360654054263,-1.3507994770750005), z_type( 2.2284360654909019,-1.3507994768230893), z_type( 2.2284360657851927,-1.3507994769730791), z_type( 2.2284360658831099,-1.3507994767176097), z_type( 2.2284360661903935,-1.3507994768641245), z_type( 2.2284360663008664,-1.3507994766050353), z_type( 2.2284360666212901,-1.3507994767480209), z_type( 2.2284360667444512,-1.3507994764852480), z_type( 2.2284360670781735,-1.3507994766246458), z_type( 2.2284360672141661,-1.3507994763581275), z_type( 2.2284360675613533,-1.3507994764938736), z_type( 2.2284360677103066,-1.3507994762235334), z_type( 2.2284360680711393,-1.3507994763555704), z_type( 2.2284360682332025,-1.3507994760813355), z_type( 2.2284360686078557,-1.3507994762095885), z_type( 2.2284360687831928,-1.3507994759313833), z_type( 2.2284360691718614,-1.3507994760557778), z_type( 2.2284360693606278,-1.3507994757735176), z_type( 2.2284360697635024,-1.3507994758939765), z_type( 2.2284360699658685,-1.3507994756075812), z_type( 2.2284360703831507,-1.3507994757240214), z_type( 2.2284360705992929,-1.3507994754334036), z_type( 2.2284360710311999,-1.3507994755457464), z_type( 2.2284360712613003,-1.3507994752508110), z_type( 2.2284360717080300,-1.3507994753589594), z_type( 2.2284360719522796,-1.3507994750596104), z_type( 2.2284360724140742,-1.3507994751634749), z_type( 2.2284360726726535,-1.3507994748596135), z_type( 2.2284360731497257,-1.3507994749590935), z_type( 2.2284360734228486,-1.3507994746506164), z_type( 2.2284360739154314,-1.3507994747456147), z_type( 2.2284360742032971,-1.3507994744324092), z_type( 2.2284360747116323,-1.3507994745228227), z_type( 2.2284360750144527,-1.3507994742047815), z_type( 2.2284360755387826,-1.3507994742904947), z_type( 2.2284360758567674,-1.3507994739675016), z_type( 2.2284360763973399,-1.3507994740484022), z_type( 2.2284360767307105,-1.3507994737203335), z_type( 2.2284360772877783,-1.3507994737963029), z_type( 2.2284360776367613,-1.3507994734630433), z_type( 2.2284360782105779,-1.3507994735339588), z_type( 2.2284360785754029,-1.3507994731953725), z_type( 2.2284360791662365,-1.3507994732611062), z_type( 2.2284360795471341,-1.3507994729170669), z_type( 2.2284360801552454,-1.3507994729774815), z_type( 2.2284360805524548,-1.3507994726278478), z_type( 2.2284360811781170,-1.3507994726828181), z_type( 2.2284360815918776,-1.3507994723274552), z_type( 2.2284360822353646,-1.3507994723768357), z_type( 2.2284360826659202,-1.3507994720155871), z_type( 2.2284360833275096,-1.3507994720592311), z_type( 2.2284360837751036,-1.3507994716919622), z_type( 2.2284360844550779,-1.3507994717297138), z_type( 2.2284360849199687,-1.3507994713562681), z_type( 2.2284360856186094,-1.3507994713879807), z_type( 2.2284360861010546,-1.3507994710081959), z_type( 2.2284360868186517,-1.3507994710337026), z_type( 2.2284360873189040,-1.3507994706474156), z_type( 2.2284360880557483,-1.3507994706665563), z_type( 2.2284360885740768,-1.3507994702736026), z_type( 2.2284360893304571,-1.3507994702862058), z_type( 2.2284360898671114,-1.3507994698864101), z_type( 2.2284360906433358,-1.3507994698922994), z_type( 2.2284360911986063,-1.3507994694854881), z_type( 2.2284360919949768,-1.3507994694844858), z_type( 2.2284360925691105,-1.3507994690704705), z_type( 2.2284360933859202,-1.3507994690623906), z_type( 2.2284360939792229,-1.3507994686409890), z_type( 2.2284360948167832,-1.3507994686256308), z_type( 2.2284360954295153,-1.3507994681966502), z_type( 2.2284360962881431,-1.3507994681738329), z_type( 2.2284360969205910,-1.3507994677370667), z_type( 2.2284360978005990,-1.3507994677065716), z_type( 2.2284360984530416,-1.3507994672618311), z_type( 2.2284360993547678,-1.3507994672234511), z_type( 2.2284361000275021,-1.3507994667705130), z_type( 2.2284361009512650,-1.3507994667240411), z_type( 2.2284361016445882,-1.3507994662626985), z_type( 2.2284361025907167,-1.3507994662078984), z_type( 2.2284361033049374,-1.3507994657379274), z_type( 2.2284361042737504,-1.3507994656745748), z_type( 2.2284361050091812,-1.3507994651957484), z_type( 2.2284361060010438,-1.3507994651236088), z_type( 2.2284361067579828,-1.3507994646356891), z_type( 2.2284361077732355,-1.3507994645545160), z_type( 2.2284361085520157,-1.3507994640572623), z_type( 2.2284361095910370,-1.3507994639668011), z_type( 2.2284361103919803,-1.3507994634599700), z_type( 2.2284361114550926,-1.3507994633599614), z_type( 2.2284361122785405,-1.3507994628432871), z_type( 2.2284361133661443,-1.3507994627334652), z_type( 2.2284361142124447,-1.3507994622066866), z_type( 2.2284361153249184,-1.3507994620867798), z_type( 2.2284361161944206,-1.3507994615496175), z_type( 2.2284361173321541,-1.3507994614193333), z_type( 2.2284361182252237,-1.3507994608715126), z_type( 2.2284361193886078,-1.3507994607305558), z_type( 2.2284361203056271,-1.3507994601717830), z_type( 2.2284361214950854,-1.3507994600198521), z_type( 2.2284361224364249,-1.3507994594498276), z_type( 2.2284361236523766,-1.3507994592865959), z_type( 2.2284361246184696,-1.3507994587050178), z_type( 2.2284361258613421,-1.3507994585301728), z_type( 2.2284361268525603,-1.3507994579367006), z_type( 2.2284361281228247,-1.3507994577499030), z_type( 2.2284361291396175,-1.3507994571442152), z_type( 2.2284361304377200,-1.3507994569451109), z_type( 2.2284361314805250,-1.3507994563268677), z_type( 2.2284361328069493,-1.3507994561151013), z_type( 2.2284361338762122,-1.3507994554839460), z_type( 2.2284361352314517,-1.3507994552591391), z_type( 2.2284361363276592,-1.3507994546146995), z_type( 2.2284361377122139,-1.3507994543764674), z_type( 2.2284361388358453,-1.3507994537183643), z_type( 2.2284361402502650,-1.3507994534663113), z_type( 2.2284361414018203,-1.3507994527941611), z_type( 2.2284361428466264,-1.3507994525278675), z_type( 2.2284361440266371,-1.3507994518412492), z_type( 2.2284361455024015,-1.3507994515602888), z_type( 2.2284361467114042,-1.3507994508587948), z_type( 2.2284361482187149,-1.3507994505627186), z_type( 2.2284361494572780,-1.3507994498459039), z_type( 2.2284361509967332,-1.3507994495342617), z_type( 2.2284361522654397,-1.3507994488016761), z_type( 2.2284361538376567,-1.3507994484739771), z_type( 2.2284361551371061,-1.3507994477251546), z_type( 2.2284361567427275,-1.3507994473809166), z_type( 2.2284361580735492,-1.3507994466153623), z_type( 2.2284361597132367,-1.3507994462540691), z_type( 2.2284361610760857,-1.3507994454712891), z_type( 2.2284361627505422,-1.3507994450924119), z_type( 2.2284361641460677,-1.3507994442918838), z_type( 2.2284361658560021,-1.3507994438948672), z_type( 2.2284361672849125,-1.3507994430760490), z_type( 2.2284361690310606,-1.3507994426603265), z_type( 2.2284361704940676,-1.3507994418226552), z_type( 2.2284361722771804,-1.3507994413876445), z_type( 2.2284361737750382,-1.3507994405305463), z_type( 2.2284361755959035,-1.3507994400756207), z_type( 2.2284361771293777,-1.3507994391984990), z_type( 2.2284361789888192,-1.3507994387230304), z_type( 2.2284361805587012,-1.3507994378252481), z_type( 2.2284361824575285,-1.3507994373285843), z_type( 2.2284361840646563,-1.3507994364094980), z_type( 2.2284361860037558,-1.3507994358909545), z_type( 2.2284361876489589,-1.3507994349498957), z_type( 2.2284361896292295,-1.3507994344087710), z_type( 2.2284361913134032,-1.3507994334450490), z_type( 2.2284361933357455,-1.3507994328806090), z_type( 2.2284361950597882,-1.3507994318934970), z_type( 2.2284361971251681,-1.3507994313049843), z_type( 2.2284361988900256,-1.3507994302937381), z_type( 2.2284362009994152,-1.3507994296803663), z_type( 2.2284362028060514,-1.3507994286442102), z_type( 2.2284362049604671,-1.3507994280051638), z_type( 2.2284362068098829,-1.3507994269433019), z_type( 2.2284362090103715,-1.3507994262777447), z_type( 2.2284362109036038,-1.3507994251893378), z_type( 2.2284362131512183,-1.3507994244963881), z_type( 2.2284362150893284,-1.3507994233805793), z_type( 2.2284362173851942,-1.3507994226593347), z_type( 2.2284362193692817,-1.3507994215152250), z_type( 2.2284362217145421,-1.3507994207647473), z_type( 2.2284362237457396,-1.3507994195914075), z_type( 2.2284362261415556,-1.3507994188107262), z_type( 2.2284362282210362,-1.3507994176072033), z_type( 2.2284362306686387,-1.3507994167953019), z_type( 2.2284362327975904,-1.3507994155605978), z_type( 2.2284362352982114,-1.3507994147164339), z_type( 2.2284362374778972,-1.3507994134495065), z_type( 2.2284362400328304,-1.3507994125720035), z_type( 2.2284362422645110,-1.3507994112717920), z_type( 2.2284362448750810,-1.3507994103598220), z_type( 2.2284362471600776,-1.3507994090252062), z_type( 2.2284362498276429,-1.3507994080776071), z_type( 2.2284362521673202,-1.3507994067074409), z_type( 2.2284362548932823,-1.3507994057230117), z_type( 2.2284362572890402,-1.3507994043160991), z_type( 2.2284362600748366,-1.3507994032935795), z_type( 2.2284362625281213,-1.3507994018486820), z_type( 2.2284362653752470,-1.3507994007867850), z_type( 2.2284362678875245,-1.3507993993026139), z_type( 2.2284362707975141,-1.3507993981999922), z_type( 2.2284362733703267,-1.3507993966752243), z_type( 2.2284362763447381,-1.3507993955304878), z_type( 2.2284362789796606,-1.3507993939637344), z_type( 2.2284362820201307,-1.3507993927754405), z_type( 2.2284362847187751,-1.3507993911652680), z_type( 2.2284362878269581,-1.3507993899319213), z_type( 2.2284362905910080,-1.3507993882768448), z_type( 2.2284362937686244,-1.3507993869968895), z_type( 2.2284362965997926,-1.3507993852953688), z_type( 2.2284362998486049,-1.3507993839672028), z_type( 2.2284363027486607,-1.3507993822176354), z_type( 2.2284363060704835,-1.3507993808395928), z_type( 2.2284363090412498,-1.3507993790403174), z_type( 2.2284363124379594,-1.3507993776106635), z_type( 2.2284363154813014,-1.3507993757599677), z_type( 2.2284363189548189,-1.3507993742769104), z_type( 2.2284363220726711,-1.3507993723730007), z_type( 2.2284363256249708,-1.3507993708346895), z_type( 2.2284363288193343,-1.3507993688757183), z_type( 2.2284363324524419,-1.3507993672802114), z_type( 2.2284363357253536,-1.3507993652642578), z_type( 2.2284363394413833,-1.3507993636095652), z_type( 2.2284363427949474,-1.3507993615346328), z_type( 2.2284363465960340,-1.3507993598186741), z_type( 2.2284363500324154,-1.3507993576826911), z_type( 2.2284363539207970,-1.3507993559033233), z_type( 2.2284363574422277,-1.3507993537041512), z_type( 2.2284363614201630,-1.3507993518591370), z_type( 2.2284363650289465,-1.3507993495945345), z_type( 2.2284363690987901,-1.3507993476815652), z_type( 2.2284363727972800,-1.3507993453492277), z_type( 2.2284363769614548,-1.3507993433658945), z_type( 2.2284363807520853,-1.3507993409634198), z_type( 2.2284363850130626,-1.3507993389072372), z_type( 2.2284363888983396,-1.3507993364321356), z_type( 2.2284363932586810,-1.3507993343005189), z_type( 2.2284363972411847,-1.3507993317502027), z_type( 2.2284364017035072,-1.3507993295404659), z_type( 2.2284364057858896,-1.3507993269122531), z_type( 2.2284364103529137,-1.3507993246216179), z_type( 2.2284364145378985,-1.3507993219127168), z_type( 2.2284364192123869,-1.3507993195382941), z_type( 2.2284364235028025,-1.3507993167458174), z_type( 2.2284364282876279,-1.3507993142846084), z_type( 2.2284364326863431,-1.3507993114055443), z_type( 2.2284364375844556,-1.3507993088544459), z_type( 2.2284364420944600,-1.3507993058856775), z_type( 2.2284364471088929,-1.3507993032414556), z_type( 2.2284364517332449,-1.3507993001797465), z_type( 2.2284364568671031,-1.3507992974390526), z_type( 2.2284364616089465,-1.3507992942810367), z_type( 2.2284364668654537,-1.3507992914403890), z_type( 2.2284364717280560,-1.3507992881825810), z_type( 2.2284364771104967,-1.3507992852383719), z_type( 2.2284364820971816,-1.3507992818771348), z_type( 2.2284364876089686,-1.3507992788256138), z_type( 2.2284364927231763,-1.3507992753571916), z_type( 2.2284364983678060,-1.3507992721944651), z_type( 2.2284365036130693,-1.3507992686149337), z_type( 2.2284365093941267,-1.3507992653369632), z_type( 2.2284365147741085,-1.3507992616422628), z_type( 2.2284365206952925,-1.3507992582448500), z_type( 2.2284365262137240,-1.3507992544307590), z_type( 2.2284365322788506,-1.3507992509095510), z_type( 2.2284365379395896,-1.3507992469716843), z_type( 2.2284365441525709,-1.3507992433221470), z_type( 2.2284365499595959,-1.3507992392559462), z_type( 2.2284365563244743,-1.3507992354733782), z_type( 2.2284365622818605,-1.3507992312741091), z_type( 2.2284365688027790,-1.3507992273536369), z_type( 2.2284365749147432,-1.3507992230163806), z_type( 2.2284365815959752,-1.3507992189529308), z_type( 2.2284365878668422,-1.3507992144725749), z_type( 2.2284365947127784,-1.3507992102608770), z_type( 2.2284366011470023,-1.3507992056321072), z_type( 2.2284366081621552,-1.3507992012666878), z_type( 2.2284366147643322,-1.3507991964839903), z_type( 2.2284366219533616,-1.3507991919591638), z_type( 2.2284366287282018,-1.3507991870168001), z_type( 2.2284366360959051,-1.3507991823266656), z_type( 2.2284366430482683,-1.3507991772186685), z_type( 2.2284366505995417,-1.3507991723570800), z_type( 2.2284366577344317,-1.3507991670772577), z_type( 2.2284366654743817,-1.3507991620378430), z_type( 2.2284366727969358,-1.3507991565797437), z_type( 2.2284366807307485,-1.3507991513558737), z_type( 2.2284366882462776,-1.3507991457128157), z_type( 2.2284366963793305,-1.3507991402975998), z_type( 2.2284367040932729,-1.3507991344626111), z_type( 2.2284367124311015,-1.3507991288488919), z_type( 2.2284367203490598,-1.3507991228147402), z_type( 2.2284367288973344,-1.3507991169950704), z_type( 2.2284367370251017,-1.3507991107542296), z_type( 2.2284367457896832,-1.3507991047208856), z_type( 2.2284367541331780,-1.3507990982655325), z_type( 2.2284367631200737,-1.3507990920104671), z_type( 2.2284367716854310,-1.3507990853324650), z_type( 2.2284367809008412,-1.3507990788473208), z_type( 2.2284367896943356,-1.3507990719382104), z_type( 2.2284367991446152,-1.3507990652142992), z_type( 2.2284368081727606,-1.3507990580652844), z_type( 2.2284368178644716,-1.3507990510935686), z_type( 2.2284368271338808,-1.3507990436955020), z_type( 2.2284368370737910,-1.3507990364665892), z_type( 2.2284368465913507,-1.3507990288099512), z_type( 2.2284368567863826,-1.3507990213140708), z_type( 2.2284368665591501,-1.3507990133889682), z_type( 2.2284368770164362,-1.3507990056159616), z_type( 2.2284368870516600,-1.3507989974120909), z_type( 2.2284368977785722,-1.3507989893514001), z_type( 2.2284369080837263,-1.3507989808580605), z_type( 2.2284369190878079,-1.3507989724986951), z_type( 2.2284369296705857,-1.3507989637047497), z_type( 2.2284369409596296,-1.3507989550352726), z_type( 2.2284369518279226,-1.3507989459291203), z_type( 2.2284369634099281,-1.3507989369376556), z_type( 2.2284369745718799,-1.3507989275072472), z_type( 2.2284369864550797,-1.3507989181814275), z_type( 2.2284369979190797,-1.3507989084142169), z_type( 2.2284370101119189,-1.3507988987411743), z_type( 2.2284370218865783,-1.3507988886241058), z_type( 2.2284370343977988,-1.3507988785904632), z_type( 2.2284370464919556,-1.3507988681099521), z_type( 2.2284370593305081,-1.3507988577017884), z_type( 2.2284370717532913,-1.3507988468437022), z_type( 2.2284370849283954,-1.3507988360465240), z_type( 2.2284370976891785,-1.3507988247961529), z_type( 2.2284371112103081,-1.3507988135948865), z_type( 2.2284371243187477,-1.3507988019369221), z_type( 2.2284371381956602,-1.3507987903158902), z_type( 2.2284371516616632,-1.3507987782343849), z_type( 2.2284371659043889,-1.3507987661772634), z_type( 2.2284371797381581,-1.3507987536556494), z_type( 2.2284371943570132,-1.3507987411454458), z_type( 2.2284372085690380,-1.3507987281664515), z_type( 2.2284372235746224,-1.3507987151854863), z_type( 2.2284372381756898,-1.3507987017311451), z_type( 2.2284372535789312,-1.3507986882610203), z_type( 2.2284372685801452,-1.3507986743126157), z_type( 2.2284372843922324,-1.3507986603341744), z_type( 2.2284372998050008,-1.3507986458722359), z_type( 2.2284373160374851,-1.3507986313655325), z_type( 2.2284373318735295,-1.3507986163697892), z_type( 2.2284373485382600,-1.3507986013140723), z_type( 2.2284373648096421,-1.3507985857634017), z_type( 2.2284373819188024,-1.3507985701370606), z_type( 2.2284373986379267,-1.3507985540094871), z_type( 2.2284374162040401,-1.3507985377900245), z_type( 2.2284374333836467,-1.3507985210626505), z_type( 2.2284374514195990,-1.3507985042266382), z_type( 2.2284374690727891,-1.3507984868756335), z_type( 2.2284374875918025,-1.3507984693986761), z_type( 2.2284375057320336,-1.3507984513992142), z_type( 2.2284375247477337,-1.3507984332559206), z_type( 2.2284375433888273,-1.3507984145821459), z_type( 2.2284375629151763,-1.3507983957460623), z_type( 2.2284375820713622,-1.3507983763710458), z_type( 2.2284376021227166,-1.3507983568146311), z_type( 2.2284376218085948,-1.3507983367103351), z_type( 2.2284376423997103,-1.3507983164048951), z_type( 2.2284376626302862,-1.3507982955421074), z_type( 2.2284376837763320,-1.3507982744577642), z_type( 2.2284377045670212,-1.3507982528060500), z_type( 2.2284377262835418,-1.3507982309116793), z_type( 2.2284377476501738,-1.3507982084393437), z_type( 2.2284377699531772,-1.3507981857025284), z_type( 2.2284377919119973,-1.3507981623765499), z_type( 2.2284378148179123,-1.3507981387635175), z_type( 2.2284378373856222,-1.3507981145494885), z_type( 2.2284378609112818,-1.3507980900250725), z_type( 2.2284378841050394,-1.3507980648871376), z_type( 2.2284379082677708,-1.3507980394146752), z_type( 2.2284379321051477,-1.3507980133155102), z_type( 2.2284379569227077,-1.3507979868568112), z_type( 2.2284379814217727,-1.3507979597574846), z_type( 2.2284380069124006,-1.3507979322727670), z_type( 2.2284380320916903,-1.3507979041327414), z_type( 2.2284380582741026,-1.3507978755805450), z_type( 2.2284380841526392,-1.3507978463575572), z_type( 2.2284381110460245,-1.3507978166946883), z_type( 2.2284381376433156,-1.3507977863446980), z_type( 2.2284381652673764,-1.3507977555261379), z_type( 2.2284381926034360,-1.3507977240032514), z_type( 2.2284382209783855,-1.3507976919820981), z_type( 2.2284382490737427,-1.3507976592384834), z_type( 2.2284382782202816,-1.3507976259658263), z_type( 2.2284383070959826,-1.3507975919516351), z_type( 2.2284383370353567,-1.3507975573765263), z_type( 2.2284383667129721,-1.3507975220397994), z_type( 2.2284383974669693,-1.3507974861091274), z_type( 2.2284384279686118,-1.3507974493956820), z_type( 2.2284384595595346,-1.3507974120540922), z_type( 2.2284384909078856,-1.3507973739074681), z_type( 2.2284385233585908,-1.3507973350972473), z_type( 2.2284385555768567,-1.3507972954585943), z_type( 2.2284385889107763,-1.3507972551195864), z_type( 2.2284386220227499,-1.3507972139275288), z_type( 2.2284386562638674,-1.3507971719970311), z_type( 2.2284386902938915,-1.3507971291875882), z_type( 2.2284387254667730,-1.3507970856002121), z_type( 2.2284387604397673,-1.3507970411067050), z_type( 2.2284387965695633,-1.3507969957942925), z_type( 2.2284388325110598,-1.3507969495471503), z_type( 2.2284388696234734,-1.3507969024386348), z_type( 2.2284389065595813,-1.3507968543653410), z_type( 2.2284389446809580,-1.3507968053866137), z_type( 2.2284389826383668,-1.3507967554115645), z_type( 2.2284390217956203,-1.3507967044853626), z_type( 2.2284390608016493,-1.3507966525297002), z_type( 2.2284391010222984,-1.3507965995754401), z_type( 2.2284391411048570,-1.3507965455569251), z_type( 2.2284391824170324,-1.3507964904905989), z_type( 2.2284392236046457,-1.3507964343234731), z_type( 2.2284392660370864,-1.3507963770574463), z_type( 2.2284393083588814,-1.3507963186522705), z_type( 2.2284393519409571,-1.3507962590951603), z_type( 2.2284393954266877,-1.3507961983586583), z_type( 2.2284394401883416,-1.3507961364151460), z_type( 2.2284394848683782,-1.3507960732500106), z_type( 2.2284395308402005,-1.3507960088206823), z_type( 2.2284395767455307,-1.3507959431254390), z_type( 2.2284396239587130,-1.3507958761066201), z_type( 2.2284396711209293,-1.3507958077753934), z_type( 2.2284397196072900,-1.3507957380589042), z_type( 2.2284397680585912,-1.3507956669812735), z_type( 2.2284398178505400,-1.3507955944543053), z_type( 2.2284398676237416,-1.3507955205150692), z_type( 2.2284399187542809,-1.3507954450599124), z_type( 2.2284399698828175,-1.3507953681389060), z_type( 2.2284400223855623,-1.3507952896327726), z_type( 2.2284400749034194,-1.3507952096046076), z_type( 2.2284401288125801,-1.3507951279194053), z_type( 2.2284401827543556,-1.3507950446532775), z_type( 2.2284402381047004,-1.3507949596553632), z_type( 2.2284402935055638,-1.3507948730147845), z_type( 2.2284403503324417,-1.3507947845647212), z_type( 2.2284404072280903,-1.3507946944072986), z_type( 2.2284404655673846,-1.3507946023595876), z_type( 2.2284405239941094,-1.3507945085367370), z_type( 2.2284405838822279,-1.3507944127395668), z_type( 2.2284406438768007,-1.3507943150962425), z_type( 2.2284407053506845,-1.3507942153912134), z_type( 2.2284407669504067,-1.3507941137656170), z_type( 2.2284408300474756,-1.3507940099874187), z_type( 2.2284408932900970,-1.3507939042107140), z_type( 2.2284409580482381,-1.3507937961868552), z_type( 2.2284410229719649,-1.3507936860828476), z_type( 2.2284410894294822,-1.3507935736333034), z_type( 2.2284411560729640,-1.3507934590181121), z_type( 2.2284412242685727,-1.3507933419550142), z_type( 2.2284412926708046,-1.3507932226367114), z_type( 2.2284413626435828,-1.3507931007639817), z_type( 2.2284414328439324,-1.3507929765422839), z_type( 2.2284415046332748,-1.3507928496552650), z_type( 2.2284415766713757,-1.3507927203211088), z_type( 2.2284416503169515,-1.3507925882062175), z_type( 2.2284417242327246,-1.3507924535413907), z_type( 2.2284417997744317,-1.3507923159756667), z_type( 2.2284418756079698,-1.3507921757524066), z_type( 2.2284419530858517,-1.3507920325031402), z_type( 2.2284420308774044,-1.3507918864836899), z_type( 2.2284421103316410,-1.3507917373079603), z_type( 2.2284421901215175,-1.3507915852441370), z_type( 2.2284422715923040,-1.3507914298883614), z_type( 2.2284423534208160,-1.3507912715210755), z_type( 2.2284424369483351,-1.3507911097205454), z_type( 2.2284425208557135,-1.3507909447793327), z_type( 2.2284426064799989,-1.3507907762576914), z_type( 2.2284426925063459,-1.3507906044601905), z_type( 2.2284427802672511,-1.3507904289289430), z_type( 2.2284428684523752,-1.3507902499803728), z_type( 2.2284429583894432,-1.3507900671382995), z_type( 2.2284430487728231,-1.3507898807308902), z_type( 2.2284431409251848,-1.3507896902635290), z_type( 2.2284432335458328,-1.3507894960759494), z_type( 2.2284433279521032,-1.3507892976549651), z_type( 2.2284434228484411,-1.3507890953517099), z_type( 2.2284435195465844,-1.3507888886342942), z_type( 2.2284436167563459,-1.3507886778650640), z_type( 2.2284437157835404,-1.3507884624932698), z_type( 2.2284438153435819,-1.3507882428922704), z_type( 2.2284439167360941,-1.3507880184923460), z_type( 2.2284440186822874,-1.3507877896776488), z_type( 2.2284441224752962,-1.3507875558593161), z_type( 2.2284442268423339,-1.3507873174320895), z_type( 2.2284443330697581,-1.3507870737878127), z_type( 2.2284444398910006,-1.3507868253315736), z_type( 2.2284445485853288,-1.3507865714357736), z_type( 2.2284446578926045,-1.3507863125156179), z_type( 2.2284447690846867,-1.3507860479238867), z_type( 2.2284448809080613,-1.3507857780856345), z_type( 2.2284449946269089,-1.3507855023338542), z_type( 2.2284451089945181,-1.3507852211031894), z_type( 2.2284452252670532,-1.3507849337066806), z_type( 2.2284453422048154,-1.3507846405882493), z_type( 2.2284454610556370,-1.3507843410408258), z_type( 2.2284455805870231,-1.3507840355173022), z_type( 2.2284457020381336,-1.3507837232903033), z_type( 2.2284458241838569,-1.3507834048213931), z_type( 2.2284459482544032,-1.3507830793626903), z_type( 2.2284460730321758,-1.3507827473840812), z_type( 2.2284461997380780,-1.3507824081170041), z_type( 2.2284463271622554,-1.3507820620393056), z_type( 2.2284464565159481,-1.3507817083615536), z_type( 2.2284465865971992,-1.3507813475691783), z_type( 2.2284467186072292,-1.3507809788516525), z_type( 2.2284468513521523,-1.3507806027015998), z_type( 2.2284469860228229,-1.3507802182872228), z_type( 2.2284471214335650,-1.3507798261078998), z_type( 2.2284472587645152,-1.3507794253103014), z_type( 2.2284473968383556,-1.3507790164001869), z_type( 2.2284475368241372,-1.3507785985024585), z_type( 2.2284476775530222,-1.3507781721287779), z_type( 2.2284478201826046,-1.3507777363820377), z_type( 2.2284479635526830,-1.3507772917793583), z_type( 2.2284481088089891,-1.3507768374013540), z_type( 2.2284482548000510,-1.3507763737700977), z_type( 2.2284484026593963,-1.3507758999436836), z_type( 2.2284485512443846,-1.3507754164486117), z_type( 2.2284487016758896,-1.3507749223201759), z_type( 2.2284488528202409,-1.3507744180887709), z_type( 2.2284490057852691,-1.3507739027666030), z_type( 2.2284491594463227,-1.3507733768873895), z_type( 2.2284493148977762,-1.3507728394399545), z_type( 2.2284494710240716,-1.3507722909607640), z_type( 2.2284496289056879,-1.3507717304149245), z_type( 2.2284497874362610,-1.3507711583410174), z_type( 2.2284499476819235,-1.3507705736801410), z_type( 2.2284501085455117,-1.3507699769723571), z_type( 2.2284502710783665,-1.3507693671343746), z_type( 2.2284504341925899,-1.3507687447070744), z_type( 2.2284505989242795,-1.3507681085824155), z_type( 2.2284507641947569,-1.3507674593014223), z_type( 2.2284509310244278,-1.3507667957309109), z_type( 2.2284510983438537,-1.3507661184112991), z_type( 2.2284512671572374,-1.3507654261838915), z_type( 2.2284514364043586,-1.3507647195877315), z_type( 2.2284516070727074,-1.3507639974381709), z_type( 2.2284517781112521,-1.3507632602721280), z_type( 2.2284519504902542,-1.3507625068785407), z_type( 2.2284521231677923,-1.3507617377913850), z_type( 2.2284522970963652,-1.3507609517727217), z_type( 2.2284524712431035,-1.3507601493527095), z_type( 2.2284526465421735,-1.3507593292660671), z_type( 2.2284528219696345,-1.3507584920382496), z_type( 2.2284529984407673,-1.3507576363760998), z_type( 2.2284531749404088,-1.3507567627994561), z_type( 2.2284533523643848,-1.3507558699867528), z_type( 2.2284535297061669,-1.3507549584512122), z_type( 2.2284537078414792,-1.3507540268423266), z_type( 2.2284538857722347,-1.3507530756657073), z_type( 2.2284540643534481,-1.3507521035412746), z_type( 2.2284542425952600,-1.3507511109660040), z_type( 2.2284544213313136,-1.3507500965296027), z_type( 2.2284545995797118,-1.3507490607193446), z_type( 2.2284547781520474,-1.3507480020940663), z_type( 2.2284549560741347,-1.3507469211301599), z_type( 2.2284551341347774,-1.3507458163549395), z_type( 2.2284553113671706,-1.3507446882327634), z_type( 2.2284554885366417,-1.3507435352586565), z_type( 2.2284556646834028,-1.3507423578837139), z_type( 2.2284558405484960,-1.3507411545699115), z_type( 2.2284560151787689,-1.3507399257538213), z_type( 2.2284561892902146,-1.3507386698635500), z_type( 2.2284563619358648,-1.3507373873198374), z_type( 2.2284565338058271,-1.3507360765160641), z_type( 2.2284567039588352,-1.3507347378557539), z_type( 2.2284568730582404,-1.3507333696967043), z_type( 2.2284570401679598,-1.3507319724237536), z_type( 2.2284572059236676,-1.3507305443581552), z_type( 2.2284573693939218,-1.3507290858646315), z_type( 2.2284575311857471,-1.3507275952269029), z_type( 2.2284576903716951,-1.3507260727879944), z_type( 2.2284578475291936,-1.3507245167930810), z_type( 2.2284580017340887,-1.3507229275618708), z_type( 2.2284581535331656,-1.3507213032998875), z_type( 2.2284583020048245,-1.3507196443018998), z_type( 2.2284584476641123,-1.3507179487325929), z_type( 2.2284585895912019,-1.3507162168600615), z_type( 2.2284587282682673,-1.3507144468069896), z_type( 2.2284588627763604,-1.3507126388129533), z_type( 2.2284589935635974,-1.3507107909573590), z_type( 2.2284591197109802,-1.3507089034494288), z_type( 2.2284592416313034,-1.3507069743239626), z_type( 2.2284593584045163,-1.3507050037578323), z_type( 2.2284594704067753,-1.3507029897398513), z_type( 2.2284595767158830,-1.3507009324125687), z_type( 2.2284596776699832,-1.3506988297173075), z_type( 2.2284597723435624,-1.3506966817601496), z_type( 2.2284598610352986,-1.3506944864334332), z_type( 2.2284599428150953,-1.3506922438046027), z_type( 2.2284600179406446,-1.3506899517153643), z_type( 2.2284600854759415,-1.3506876101922551), z_type( 2.2284601456360607,-1.3506852170246586), z_type( 2.2284601974776259,-1.3506827721958401), z_type( 2.2284602411714411,-1.3506802734410808), z_type( 2.2284602757652219,-1.3506777206979144), z_type( 2.2284603013836848,-1.3506751116456710), z_type( 2.2284603170639792,-1.3506724461735975), z_type( 2.2284603228828872,-1.3506697219030961), z_type( 2.2284603178652329,-1.3506669386725032), z_type( 2.2284603020378606,-1.3506640940432164), z_type( 2.2284602744113862,-1.3506611877999022), z_type( 2.2284602349606444,-1.3506582174418240), z_type( 2.2284601826800139,-1.3506551826971225), z_type( 2.2284601174901120,-1.3506520810006528), z_type( 2.2284600383669741,-1.3506489120210468), z_type( 2.2284599451746767,-1.3506456731264065), z_type( 2.2284598368685802,-1.3506423639227665), z_type( 2.2284597132537742,-1.3506389817089774), z_type( 2.2284595732625454,-1.3506355260252811), z_type( 2.2284594166384055,-1.3506319940986717), z_type( 2.2284592422879519,-1.3506283854002836), z_type( 2.2284590498904024,-1.3506246970825233), z_type( 2.2284588383238977,-1.3506209285439355), z_type( 2.2284586072004702,-1.3506170768595287), z_type( 2.2284583553668948,-1.3506131413516411), z_type( 2.2284580823649489,-1.3506091190148721), z_type( 2.2284577870069109,-1.3506050090916581), z_type( 2.2284574687611109,-1.3506008084930536), z_type( 2.2284571264020130,-1.3505965163777087), z_type( 2.2284567593210918,-1.3505921295698566), z_type( 2.2284563662514643,-1.3505876471403455), z_type( 2.2284559465041505,-1.3505830658231770), z_type( 2.2284554987671736,-1.3505783845971786), z_type( 2.2284550222673212,-1.3505736001025497), z_type( 2.2284545156435582,-1.3505687112217810), z_type( 2.2284539780343873,-1.3505637144974871), z_type( 2.2284534080254983,-1.3505586087113151), z_type( 2.2284528046629024,-1.3505533903044031), z_type( 2.2284521664744990,-1.3505480579528526), z_type( 2.2284514924092980,-1.3505426079922245), z_type( 2.2284507809327203,-1.3505370389882154), z_type( 2.2284500308920063,-1.3505313471665306), z_type( 2.2284492406850385,-1.3505255309774011), z_type( 2.2284484090522674,-1.3505195865322071), z_type( 2.2284475343187187,-1.3505135121604870), z_type( 2.2284466151127371,-1.3505073038546120), z_type( 2.2284456496808014,-1.3505009598179480), z_type( 2.2284446365335731,-1.3504944759190101), z_type( 2.2284435738329975,-1.3504878502293498), z_type( 2.2284424599660477,-1.3504810784885035), z_type( 2.2284412930038040,-1.3504741586303441), z_type( 2.2284400712032975,-1.3504670862601231), z_type( 2.2284387925379892,-1.3504598591679284), z_type( 2.2284374551283217,-1.3504524728191605), z_type( 2.2284360568430079,-1.3504449248538235), z_type( 2.2284345956588441,-1.3504372105916573), z_type( 2.2284330693322829,-1.3504293275160193), z_type( 2.2284314756890291,-1.3504212707949605), z_type( 2.2284298123652491,-1.3504130377483672), z_type( 2.2284280770276981,-1.3504046233862750), z_type( 2.2284262671838060,-1.3503960248580682), z_type( 2.2284243803330610,-1.3503872370091878), z_type( 2.2284224138451876,-1.3503782568111495), z_type( 2.2284203650435832,-1.3503690789379723), z_type( 2.2284182311508154,-1.3503597001756971), z_type( 2.2284160093048531,-1.3503501150197679), z_type( 2.2284136965711090,-1.3503403200628692), z_type( 2.2284112898922448,-1.3503303096144219), z_type( 2.2284087861659048,-1.3503200800655779), z_type( 2.2284061821290178,-1.3503096255319444), z_type( 2.2284034745002619,-1.3502989421946867), z_type( 2.2284006597998065,-1.3502880239675463), z_type( 2.2283977345554735,-1.3502768668128533), z_type( 2.2283946950590008,-1.3502654644340881), z_type( 2.2283915376348196,-1.3502538125656367), z_type( 2.2283882583339270,-1.3502419046919609), z_type( 2.2283848532640813,-1.3502297363100557), z_type( 2.2283813182224530,-1.3502173006762246), z_type( 2.2283776490861364,-1.3502045930402975), z_type( 2.2283738413846499,-1.3501916064209365), z_type( 2.2283698907496419,-1.3501783358106458), z_type( 2.2283657924283560,-1.3501647739806124), z_type( 2.2283615417912843,-1.3501509156554723), z_type( 2.2283571337880255,-1.3501367533486670), z_type( 2.2283525635113586,-1.3501222815061071), z_type( 2.2283478255968445,-1.3501074923728305), z_type( 2.2283429148420848,-1.3500923801047273), z_type( 2.2283378255513804,-1.3500769366673464), z_type( 2.2283325522086370,-1.3500611559148725), z_type( 2.2283270887686366,-1.3500450295218702), z_type( 2.2283214293820639,-1.3500285510287513), z_type( 2.2283155676348945,-1.3500117118071080), z_type( 2.2283094973239632,-1.3499945050710556), z_type( 2.2283032116460291,-1.3499769218768298), z_type( 2.2282967040222914,-1.3499589550992803), z_type( 2.2282899672387315,-1.3499405954664156), z_type( 2.2282829943178881,-1.3499218355004194), z_type( 2.2282757776121889,-1.3499026655877122), z_type( 2.2282683097211922,-1.3498830778839499), z_type( 2.2282605825396788,-1.3498630624200894), z_type( 2.2282525882185626,-1.3498426109709252), z_type( 2.2282443181695495,-1.3498217131975816), z_type( 2.2282357640677848,-1.3498003604791993), z_type( 2.2282269168149682,-1.3497785420921331), z_type( 2.2282177675818922,-1.3497562490045729), z_type( 2.2282083067318434,-1.3497334700926575), z_type( 2.2281985249010150,-1.3497101958978110), z_type( 2.2281884118842896,-1.3496864148799546), z_type( 2.2281779577513503,-1.3496621171374077), z_type( 2.2281671516969408,-1.3496372906973146), z_type( 2.2281559831905855,-1.3496119251979890), z_type( 2.2281444407933928,-1.3495860082166737), z_type( 2.2281325133391889,-1.3495595289142972), z_type( 2.2281201887200610,-1.3495324744003796), z_type( 2.2281074550966173,-1.3495048333405224), z_type( 2.2280942996546025,-1.3494765923581986), z_type( 2.2280807098418070,-1.3494477396051139), z_type( 2.2280666720981439,-1.3494182611996959), z_type( 2.2280521731168599,-1.3493881447606721), z_type( 2.2280371985503753,-1.3493573758818174), z_type( 2.2280217342933257,-1.3493259416291585), z_type( 2.2280057651666634,-1.3492938270515185), z_type( 2.2279892762199198,-1.3492610186419549), z_type( 2.2279722513961313,-1.3492275008834007), z_type( 2.2279546748507366,-1.3491932596750473), z_type( 2.2279365295998135,-1.3491582789123189), z_type( 2.2279177988529750,-1.3491225438789933), z_type( 2.2278984646476525,-1.3490860378606984), z_type( 2.2278785091930713,-1.3490487455036699), z_type( 2.2278579134933905,-1.3490106494607021), z_type( 2.2278366586999825,-1.3489717337177236), z_type( 2.2278147247261111,-1.3489319802709885), z_type( 2.2277920916046288,-1.3488913724226750), z_type( 2.2277687380971214,-1.3488498914880618), z_type( 2.2277446430539882,-1.3488075200615215), z_type( 2.2277197840210152,-1.3487642387521726), z_type( 2.2276941385987397,-1.3487200294218755), z_type( 2.2276676830494591,-1.3486748719476522), z_type( 2.2276403936528362,-1.3486287474334642), z_type( 2.2276122453163363,-1.3485816349976045), z_type( 2.2275832129238093,-1.3485335149600868), z_type( 2.2275532699526428,-1.3484843656530365), z_type( 2.2275223898119760,-1.3484341665858184), z_type( 2.2274905444697608,-1.3483828952762158), z_type( 2.2274577057772169,-1.3483305303955722), z_type( 2.2274238441091954,-1.3482770486183613), z_type( 2.2273889296714184,-1.3482224277498560), z_type( 2.2273529311573554,-1.3481666435915232), z_type( 2.2273158170348943,-1.3481096730538553), z_type( 2.2272775542232144,-1.3480514910347867), z_type( 2.2272381093550546,-1.3479920735206909), z_type( 2.2271974474772773,-1.3479313944746685), z_type( 2.2271555332850754,-1.3478694289289370), z_type( 2.2271123298496791,-1.3478061498797151), z_type( 2.2270677998208317,-1.3477415313743966), z_type( 2.2270219041852868,-1.3476755454094618), z_type( 2.2269746034337659,-1.3476081650161520), z_type( 2.2269258563538781,-1.3475393611575899), z_type( 2.2268756211576077,-1.3474691058169135), z_type( 2.2268238543126668,-1.3473973688894934), z_type( 2.2267705116263823,-1.3473241212777387), z_type( 2.2267155471193081,-1.3472493317741625), z_type( 2.2266589140615269,-1.3471729701672006), z_type( 2.2266005638924180,-1.3470950041105694), z_type( 2.2265404472052541,-1.3470154022449830), z_type( 2.2264785127171849,-1.3469341310486331), z_type( 2.2264147081977970,-1.3468511579801099), z_type( 2.2263489794933959,-1.3467664483046964), z_type( 2.2262812713953641,-1.3466799682638484), z_type( 2.2262115267227860,-1.3465916818717947), z_type( 2.2261396871262136,-1.3465015541173904), z_type( 2.2260656922329152,-1.3464095477248463), z_type( 2.2259894803815343,-1.3463156263944029), z_type( 2.2259109878342858,-1.3462197515206957), z_type( 2.2258301494379662,-1.3461218854787251), z_type( 2.2257468979074613,-1.3460219882932953), z_type( 2.2256611644084980,-1.3459200209771280), z_type( 2.2255728779168158,-1.3458159421441938), z_type( 2.2254819657180742,-1.3457097114074759), z_type( 2.2253883528471765,-1.3456012859284281), z_type( 2.2252919625004561,-1.3454906238823523), z_type( 2.2251927155597815,-1.3453776809359115), z_type( 2.2250905309122282,-1.3452624137883598), z_type( 2.2249853250635141,-1.3451447765685896), z_type( 2.2248770123602544,-1.3450247244611246), z_type( 2.2247655046974018,-1.3449022100135071), z_type( 2.2246507116381480,-1.3447771868564000), z_type( 2.2245325402200544,-1.3446496059118200), z_type( 2.2244108949675931,-1.3445194192171415), z_type( 2.2242856778016931,-1.3443865760240599), z_type( 2.2241567879398687,-1.3442510267369099), z_type( 2.2240241219140002,-1.3441127188916653), z_type( 2.2238875733528785,-1.3439716012195606), z_type( 2.2237470331130962,-1.3438276194948686), z_type( 2.2236023889387733,-1.3436807207353965), z_type( 2.2234535257104846,-1.3435308489071185), z_type( 2.2233003249768988,-1.3433779492738194), z_type( 2.2231426653267294,-1.3432219639459693), z_type( 2.2229804217869185,-1.3430628363924479), z_type( 2.2228134663225476,-1.3429005068204314), z_type( 2.2226416670962874,-1.3427349168627185), z_type( 2.2224648891012837,-1.3425660047747465), z_type( 2.2222829932764361,-1.3423937103117940), z_type( 2.2220958372772466,-1.3422179697284131), z_type( 2.2219032744415199,-1.3420387208606084), z_type( 2.2217051547033080,-1.3418558979121544), z_type( 2.2215013234034258,-1.3416694367576942), z_type( 2.2212916223516657,-1.3414792694995654), z_type( 2.2210758884765203,-1.3412853300085008), z_type( 2.2208539550408370,-1.3410875482338676), z_type( 2.2206256501251933,-1.3408858559994703), z_type( 2.2203907980020627,-1.3406801810491420), z_type( 2.2201492174472661,-1.3404704531161806), z_type( 2.2199007232777710,-1.3402565976852265), z_type( 2.2196451244856470,-1.3400385423547321), z_type( 2.2193822259446154,-1.3398162102951920), z_type( 2.2191118263607819,-1.3395895269250431), z_type( 2.2188337201531843,-1.3393584130441760), z_type( 2.2185476952156509,-1.3391227918447406), z_type( 2.2182535349763581,-1.3388825816978620), z_type( 2.2179510159652076,-1.3386377035218420), z_type( 2.2176399100575970,-1.3383880731988302), z_type( 2.2173199818414977,-1.3381336093241358), z_type( 2.2169909910506034,-1.3378742252283919), z_type( 2.2166526897254770,-1.3376098371328109), z_type( 2.2163048248410497,-1.3373403557511934), z_type( 2.2159471352562408,-1.3370656948772150), z_type( 2.2155793545408549,-1.3367857625393518), z_type( 2.2152012077079433,-1.3365004700474628), z_type( 2.2148124142451833,-1.3362097226723546), z_type( 2.2144126846242824,-1.3359134291804602), z_type( 2.2140017235418266,-1.3356114920081676), z_type( 2.2135792262001184,-1.3353038173148071), z_type( 2.2131448817623443,-1.3349903046204739), z_type( 2.2126983693993396,-1.3346708574088642), z_type( 2.2122393619638494,-1.3343453721958864), z_type( 2.2117675217976660,-1.3340137497154458), z_type( 2.2112825046298710,-1.3336758833843037), z_type( 2.2107839551386790,-1.3333316711056908), z_type( 2.2102715110784636,-1.3329810030941873), z_type( 2.2097447985908421,-1.3326237743335214), z_type( 2.2092034365650486,-1.3322598717235987), z_type( 2.2086470316929185,-1.3318891872306262), z_type( 2.2080751830671090,-1.3315116043163961), z_type( 2.2074874769746091,-1.3311270118207637), z_type( 2.2068834917373574,-1.3307352896313571), z_type( 2.2062627922388502,-1.3303363233402807), z_type( 2.2056249350116093,-1.3299299891103833), z_type( 2.2049694624915874,-1.3295161691500976), z_type( 2.2042959083568108,-1.3290947357300720), z_type( 2.2036037915043787,-1.3286655675222530), z_type( 2.2028926216444491,-1.3282285327184944), z_type( 2.2021618929946953,-1.3277835062819408), z_type( 2.2014110901337722,-1.3273303521169739), z_type( 2.2006396814081337,-1.3268689412832484), z_type( 2.1998471250489873,-1.3263991331636740), z_type( 2.1990328622863835,-1.3259207946939993), z_type( 2.1981963237337498,-1.3254337804728415), z_type( 2.1973369222040731,-1.3249379530620435), z_type( 2.1964540593659807,-1.3244331619801750), z_type( 2.1955471182570805,-1.3239192651314371), z_type( 2.1946154702153642,-1.3233961066210691), z_type( 2.1936584670846822,-1.3228635393732966), z_type( 2.1926754484253919,-1.3223214017040781), z_type( 2.1916657334069201,-1.3217695411913970), z_type( 2.1906286283014613,-1.3212077899375005), z_type( 2.1895634180585510,-1.3206359897577855), z_type( 2.1884693740857935,-1.3200539660614274), z_type( 2.1873457455002310,-1.3194615544280601), z_type( 2.1861917671999844,-1.3188585730321480), z_type( 2.1850066507873667,-1.3182448506798397), z_type( 2.1837895929352897,-1.3176201976988333), z_type( 2.1825397659768719,-1.3169844355110667), z_type( 2.1812563265707978,-1.3163373659057636), z_type( 2.1799384059518268,-1.3156788022272232), z_type( 2.1785851188995515,-1.3150085369447244), z_type( 2.1771955536440997,-1.3143263745380813), z_type( 2.1757687811428355,-1.3136320972738476), z_type( 2.1743038446353307,-1.3129254998750866), z_type( 2.1727997692330185,-1.3122063534088029), z_type( 2.1712555511170621,-1.3114744418302042), z_type( 2.1696701674463954,-1.3107295238815559), z_type( 2.1680425651917341,-1.3099713716053258), z_type( 2.1663716713680414,-1.3091997301495839), z_type( 2.1646563814974265,-1.3084143583486314), z_type( 2.1628955701726404,-1.3076149863248607), z_type( 2.1610880791410247,-1.3068013582398326), z_type( 2.1592327282067099,-1.3059731875770091), z_type( 2.1573283029268695,-1.3051302021707305), z_type( 2.1553735658612063,-1.3042720970484152), z_type( 2.1533672438710978,-1.3033985818496747), z_type( 2.1513080397261892,-1.3025093311004852), z_type( 2.1491946189959132,-1.3016040341395119), z_type( 2.1470256220245383,-1.3006823426902172), z_type( 2.1447996504033351,-1.2997439234167867), z_type( 2.1425152793272724,-1.2987884026533019), z_type( 2.1401710436346422,-1.2978154217167612), z_type( 2.1377654505606638,-1.2968245786454202), z_type( 2.1352969653298697,-1.2958154864020051), z_type( 2.1327640243243606,-1.2947877114656738), z_type( 2.1301650202123743,-1.2937408350641473), z_type( 2.1274983155517324,-1.2926743884558927), z_type( 2.1247622274360665,-1.2915879173358511), z_type( 2.1219550415574133,-1.2904809136360049), z_type( 2.1190749963490161,-1.2893528832554981), z_type( 2.1161202975350402,-1.2882032741989700), z_type( 2.1130891017462572,-1.2870315477881886), z_type( 2.1099795315893362,-1.2858371029482714), z_type( 2.1067896587086294,-1.2846193510644908), z_type( 2.1035175194129456,-1.2833776362167186), z_type( 2.1001610971531353,-1.2821113138518645), z_type( 2.0967183387504083,-1.2808196667566671), z_type( 2.0931871362555947,-1.2795019877231053), z_type( 2.0895653438300594,-1.2781574910389462), z_type( 2.0858507589483901,-1.2767853993307323), z_type( 2.0820411399911563,-1.2753848503401251), z_type( 2.0781341867477967,-1.2739549881364989), z_type( 2.0741275587900398,-1.2724948649353334), z_type( 2.0700188552265160,-1.2710035368800869), z_type( 2.0658056339364332,-1.2694799606465565), z_type( 2.0614853905215198,-1.2679230940014967), z_type( 2.0570555784921676,-1.2663317869241115), z_type( 2.0525135873557763,-1.2647048871569013), z_type( 2.0478567638619465,-1.2630411255621925), z_type( 2.0430823891590628,-1.2613392268889172), z_type( 2.0381877012217178,-1.2595977890683629), z_type( 2.0331698709996067,-1.2578153994291015), z_type( 2.0280260261690968,-1.2559905076221114), z_type( 2.0227532261900301,-1.2541215475247753), z_type( 2.0173484875450982,-1.2522068034711402), z_type( 2.0118087576107566,-1.2502445380948917), z_type( 2.0061309415728958,-1.2482328515262215), z_type( 2.0003118750080051,-1.2461698154328080), z_type( 1.9943483526918901,-1.2440533248304595), z_type( 1.9882370997764671,-1.2418812385907081), z_type( 1.9819748027406150,-1.2396512234984514), z_type( 1.9755580790362324,-1.2373609015046756), z_type( 1.9689835104672284,-1.2350076856510872), z_type( 1.9622476111660867,-1.2325889343568752), z_type( 1.9553468637288240,-1.2301017788182629), z_type( 1.9482776853700770,-1.2275432846291177), z_type( 1.9410364671896843,-1.2249102702531154), z_type( 1.9336195383400518,-1.2221994762897728), z_type( 1.9260232088541551,-1.2194073746089251), z_type( 1.9182437316440559,-1.2165303455866645), z_type( 1.9102773493813239,-1.2135644774873113), z_type( 1.9021202541297215,-1.2105057520079601), z_type( 1.8937686388382102,-1.2073498334931811), z_type( 1.8852186543941154,-1.2040922631429161), z_type( 1.8764664663664441,-1.2007282376512347), z_type( 1.8675082092480240,-1.1972528124509054), z_type( 1.8583400491741109,-1.1936606693814027), z_type( 1.8489581351025806,-1.1899463293652497), z_type( 1.8393586683298264,-1.1861039087345089), z_type( 1.8295378503373341,-1.1821273417600673), z_type( 1.8194919600338848,-1.1780101253026511), z_type( 1.8092172979737804,-1.1737455516477799), z_type( 1.7987102723721922,-1.1693264412004525), z_type( 1.7879673393734938,-1.1647453861170829), z_type( 1.7769850990143463,-1.1599944708363683), z_type( 1.7657602311894549,-1.1550655270469894), z_type( 1.7542896028734416,-1.1499498419456144), z_type( 1.7425701993931020,-1.1446384251377593), z_type( 1.7305992443625771,-1.1391217046429445), z_type( 1.7183741258227165,-1.1333898063983399), z_type( 1.7058925304907366,-1.1274322381972881), z_type( 1.6931523642645443,-1.1212381825538031), z_type( 1.6801519025323455,-1.1147961689711448), z_type( 1.6668897044560176,-1.1080943810326915), z_type( 1.6533647812205861,-1.1011203176595326), z_type( 1.6395765033977128,-1.0938611154219309), z_type( 1.6255247891275200,-1.0863031997669694), z_type( 1.6112100037097536,-1.0784326236959507), z_type( 1.5966331697861078,-1.0702347103318131), z_type( 1.5817958580974603,-1.0616944092808389), z_type( 1.5667004217527869,-1.0527959323701210), z_type( 1.5513498768075418,-1.0435231292026834), z_type( 1.5357481626387697,-1.0338591184290973), z_type( 1.5199000106185969,-1.0237866842038736), z_type( 1.5038112324314112,-1.0132879059577875), z_type( 1.4874885746100739,-1.0023445776520792), z_type( 1.4709400362904481,-0.9909378396742072), z_type( 1.4541747067157442,-0.9790486229351921), z_type( 1.4372031133811971,-0.9666572871923425), z_type( 1.4200370387633099,-0.9537440920969132), z_type( 1.4026898990165459,-0.9402888469040109), z_type( 1.3851765351224807,-0.9262714104843157), z_type( 1.3675136212188810,-0.9116713579388025), z_type( 1.3497194240763524,-0.8964685112448120), z_type( 1.3318142387396021,-0.8806426286455039), z_type( 1.3138201087406953,-0.8641739668829337), z_type( 1.2957612850142362,-0.8470429992392270), z_type( 1.2776638976056078,-0.8292310090659744), z_type( 1.2595564318393051,-0.8107198418451660), z_type( 1.2414693406046200,-0.7914925277858020), z_type( 1.2234355296376682,-0.7715330720591664), z_type( 1.2054898979871784,-0.7508271014363974), z_type( 1.1876698222459086,-0.7293616947569405), z_type( 1.1700146118514063,-0.7071260448083777), z_type( 1.1525659805220982,-0.6841113279902574), z_type( 1.1353674030897076,-0.6603113678834091), z_type( 1.1184645617284834,-0.6357225389836382), z_type( 1.1019045926023154,-0.6103444128574860), z_type( 1.0857364952709032,-0.5841796859642444), z_type( 1.0700102611461084,-0.5572347834134788), z_type( 1.0547772372499988,-0.5295197957840014), z_type( 1.0400891347804297,-0.5010490100959606), z_type( 1.0259983435471023,-0.4718408360185724), z_type( 1.0125568280045041,-0.4419182299016289), z_type( 0.9998163961927936,-0.4113085879741083), z_type( 0.9878275020263135,-0.3800440285306130), z_type( 0.9766394818278494,-0.3481612299072296), z_type( 0.9662992943535135,-0.3157015395313935), z_type( 0.9568517477488018,-0.2827107386612094), z_type( 0.9483382208641503,-0.2492389558737748), z_type( 0.9407969117776466,-0.2153403491941379), z_type( 0.9342615929651285,-0.1810728156896731), z_type( 0.9287619172445035,-0.1464975941218358), z_type( 0.9243222628121688,-0.1116787803348816), z_type( 0.9209621316845301,-0.0766828682006901), z_type( 0.9186951366787620,-0.0415780998380560), z_type( 0.9175295202427908,-0.0064339766937255), z_type( 0.9174673237313108, 0.0286795091705251), z_type( 0.9185050414749065, 0.0636923515496920), z_type( 0.9206329945917325, 0.0985353599379300), z_type( 0.9238361183347377, 0.1331405769070230), z_type( 0.9280935412590752, 0.1674421078169035), z_type( 0.9333794864706495, 0.2013764354678799), z_type( 0.9396630362092336, 0.2348831937206670), z_type( 0.9469091129923813, 0.2679053456433542), z_type( 0.9550783933240373, 0.3003898577683422), z_type( 0.9641283255516262, 0.3322877225681979), z_type( 0.9740131469684155, 0.3635545072066719), z_type( 0.9846848927384758, 0.3941502175451064), z_type( 0.9960934688312255, 0.4240397132585599), z_type( 1.0081876102861864, 0.4531924256495393), z_type( 1.0209149671935029, 0.4815826467275838), z_type( 1.0342229792610067, 0.5091891245766670), z_type( 1.0480589412982777, 0.5359952453638563), z_type( 1.0623707722615441, 0.5619885367140924), z_type( 1.0771070379123031, 0.5871607678783728), z_type( 1.0922176040251488, 0.6115073935208768), z_type( 1.1076536048753511, 0.6350275988397245), z_type( 1.1233679803867396, 0.6577237142301759), z_type( 1.1393153883393148, 0.6796012301277607), z_type( 1.1554526329191068, 0.7006682084664027), z_type( 1.1717385252833059, 0.7209352877761026), z_type( 1.1881342159538277, 0.7404151115272347), z_type( 1.2046030125408018, 0.7591223388331529), z_type( 1.2211106309111748, 0.7770731037526216), z_type( 1.2376249807887090, 0.7942850417916236), z_type( 1.2541163511331510, 0.8107767887727535), z_type( 1.2705571745492936, 0.8265680288127655), z_type( 1.2869221614303219, 0.8416790368671088), z_type( 1.3031880531966225, 0.8561307502740845), z_type( 1.3193337180498459, 0.8699443556767792), z_type( 1.3353399015282905, 0.8831413836284504), z_type( 1.3511892946380746, 0.8957433382305557), z_type( 1.3668662884418494, 0.9077718125975881), z_type( 1.3823570232029294, 0.9192481580747680), z_type( 1.3976491519789997, 0.9301936174019381), z_type( 1.4127318774370914, 0.9406290295956420), z_type( 1.4275957278582285, 0.9505749772497498), z_type( 1.4422325865629151, 0.9600515228942703), z_type( 1.4566354824193875, 0.9690783668563945), z_type( 1.4707986153998658, 0.9776746109777721), z_type( 1.4847171626422921, 0.9858589236928725), z_type( 1.4983873025322247, 0.9936493272659093), z_type( 1.5118060365798429, 1.0010633671155278), z_type( 1.5249712135621718, 1.0081179191242422), z_type( 1.5378813669111264, 1.0148293606714911), z_type( 1.5505357398150750, 1.0212133950039604), z_type( 1.5629341374307562, 1.0272852218807214), z_type( 1.5750769533900342, 1.0330593764274587), z_type( 1.5869650359091256, 1.0385498977152137), z_type( 1.5985997158361520, 1.0437701799285306), z_type( 1.6099826856009058, 1.0487331375754274), z_type( 1.6211160287363831, 1.0534510671646340), z_type( 1.6320021105613798, 1.0579358080709791), z_type( 1.6426436089867245, 1.0621986132345000), z_type( 1.6530434158273128, 1.0662503049811201), z_type( 1.6632046686378505, 1.0701011535265383), z_type( 1.6731306615925423, 1.0737610272792262), z_type( 1.6828248780684381, 1.0772392781575719), z_type( 1.6922909100951187, 1.0805448860857287), z_type( 1.7015324914033840, 1.0836863503180683), z_type( 1.7105534245239795, 1.0866718279837808), z_type( 1.7193576140352518, 1.0895090307636779), z_type( 1.7279490004721259, 1.0922053574523605), z_type( 1.7363315935316534, 1.0947677954539228), z_type( 1.7445094120361235, 1.0972030474165495), z_type( 1.7524865168852444, 1.0995174371107723), z_type( 1.7602669563971405, 1.1017170302552495), z_type( 1.7678547988271871, 1.1038075444182207), z_type( 1.7752540824856511, 1.1057944641994006), z_type( 1.7824688476737744, 1.1076829548560707), z_type( 1.7895030910460201, 1.1094779720379753), z_type( 1.7963607968426087, 1.1111841788871892), z_type( 1.8030458950270956, 1.1128060505438606), z_type( 1.8095622917204242, 1.1143477945063602), z_type( 1.8159138307011862, 1.1158134501379948), z_type( 1.8221043229690848, 1.1172068121031085), z_type( 1.8281375112454634, 1.1185315251106840), z_type( 1.8340170986140960, 1.1197910102648649), z_type( 1.8397467157039933, 1.1209885552821051), z_type( 1.8453299483724173, 1.1221272436124721), z_type( 1.8507703072912700, 1.1232100403641190), z_type( 1.8560712546513474, 1.1242397240657049), z_type( 1.8612361759081142, 1.1252189685265566), z_type( 1.8662684054980785, 1.1261502771215346), z_type( 1.8711712005296992, 1.1270360608079046), z_type( 1.8759477655125345, 1.1278785748228937), z_type( 1.8806012278052082, 1.1286799930696441), z_type( 1.8851346613657418, 1.1294423471248447), z_type( 1.8895510637915547, 1.1301675971968836), z_type( 1.8938533791053742, 1.1308575733467254), z_type( 1.8980444762420956, 1.1315140432116571), z_type( 1.9021271708896257, 1.1321386553475472), z_type( 1.9061042052946553, 1.1327330039016468), z_type( 1.9099782691813467, 1.1332985739885977), z_type( 1.9137519807632464, 1.1338368034859319), z_type( 1.9174279067652762, 1.1343490303598442), z_type( 1.9210085445421528, 1.1348365517474592), z_type( 1.9244963412310367, 1.1353005731516728), z_type( 1.9278936768880417, 1.1357422649648516), z_type( 1.9312028828003036, 1.1361627134551706), z_type( 1.9344262255620750, 1.1365629748773827), z_type( 1.9375659245753474, 1.1369440281758529), z_type( 1.9406241369959805, 1.1373068268195232), z_type( 1.9436029744522367, 1.1376522531495121), z_type( 1.9465044887987297, 1.1379811680671648), z_type( 1.9493306880821444, 1.1382943669566858), z_type( 1.9520835230476719, 1.1385926273474571), z_type( 1.9547649023805891, 1.1388766663446299), z_type( 1.9573766799154673, 1.1391471863795355), z_type( 1.9599206691819957, 1.1394048340836185), z_type( 1.9623986312722033, 1.1396502442338838), z_type( 1.9648122887181005, 1.1398840000079045), z_type( 1.9671633139767144, 1.1401066752247258), z_type( 1.9694533426661629, 1.1403187959210059), z_type( 1.9716839626322527, 1.1405208809817529), z_type( 1.9738567265687159, 1.1407134049798813), z_type( 1.9759731416325237, 1.1408968372854040), z_type( 1.9780346814729461, 1.1410716061129833), z_type( 1.9800427763659330, 1.1412381361928050), z_type( 1.9819988246756315, 1.1413968139728301), z_type( 1.9839041834807318, 1.1415480239296258), z_type( 1.9857601794911268, 1.1416921148741415), z_type( 1.9875681001415906, 1.1418294349759950), z_type( 1.9893292039851689, 1.1419602991237421), z_type( 1.9910447122316639, 1.1420850227317203), z_type( 1.9927158186383267, 1.1422038901077400), z_type( 1.9943436814725659, 1.1423171871074780), z_type( 1.9959294329195527, 1.1424251704645632), z_type( 1.9974741714501598, 1.1425280993535640), z_type( 1.9989789707641596, 1.1426262056393883), z_type( 2.0004448725459341, 1.1427197244063056), z_type( 2.0018728949610116, 1.1428088650854171), z_type( 2.0032640257834720, 1.1428938410037683), z_type( 2.0046192304625743, 1.1429748413504823), z_type( 2.0059394456071171, 1.1430520597967910), z_type( 2.0072255866379884, 1.1431256672632062), z_type( 2.0084785416157356, 1.1431958396583279), z_type( 2.0096991784942921, 1.1432627314110868), z_type( 2.0108883392788872, 1.1433265023733912), z_type( 2.0120468468952279, 1.1433872920831654), z_type( 2.0131754996660427, 1.1434452458732414), z_type( 2.0142750778092320, 1.1435004898324703), z_type( 2.0153463382219075, 1.1435531561608152), z_type( 2.0163900206205625, 1.1436033587973669), z_type( 2.0174068426221834, 1.1436512180592557), z_type( 2.0183975055386716, 1.1436968369068869), z_type( 2.0193626897453911, 1.1437403249020812), z_type( 2.0203030601414240, 1.1437817750822827), z_type( 2.0212192617965146, 1.1438212872713063), z_type( 2.0221119250881481, 1.1438589455356027), z_type( 2.0229816616183887, 1.1438948408790759), z_type( 2.0238290690382592, 1.1439290492557970), z_type( 2.0246547272264137, 1.1439616536785617), z_type( 2.0254592028107994, 1.1439927227636681), z_type( 2.0262430456015927, 1.1440223322811800), z_type( 2.0270067928195616, 1.1440505442086493), z_type( 2.0277509657761512, 1.1440774277493821), z_type( 2.0284760738175449, 1.1441030388730991), z_type( 2.0291826112451270, 1.1441274408271047), z_type( 2.0298710609837594, 1.1441506841429547), z_type( 2.0305418917362594, 1.1441728266639082), z_type( 2.0311955613840320, 1.1441939139977910), z_type( 2.0318325143694569, 1.1442139990828324), z_type( 2.0324531848366334, 1.1442331230678620), z_type( 2.0330579942359117, 1.1442513344373209), z_type( 2.0336473542121718, 1.1442686703009359), z_type( 2.0342216644259121, 1.1442851750975769), z_type( 2.0347813151961742, 1.1443008822773986), z_type( 2.0353266855329601, 1.1443158326030567), z_type( 2.0358581455414884, 1.1443300562082552), z_type( 2.0363760546609435, 1.1443435905137660), z_type( 2.0368807638365074, 1.1443564626471352), z_type( 2.0373726139596466, 1.1443687069899697), z_type( 2.0378519378140529, 1.1443803479443322), z_type( 2.0383190587128786, 1.1443914171268541), z_type( 2.0387742922245105, 1.1444019364680789), z_type( 2.0392179450023384, 1.1444119350680715), z_type( 2.0396503162959605, 1.1444214326157274), z_type( 2.0400716969692665, 1.1444304559196870), z_type( 2.0404823708025375, 1.1444390226352992), z_type( 2.0408826136947438, 1.1444471574838904), z_type( 2.0412726947616946, 1.1444548762757381), z_type( 2.0416528757186669, 1.1444622018299642), z_type( 2.0420234117795921, 1.1444691482824989), z_type( 2.0423845512162284, 1.1444757367181932), z_type( 2.0427365360631780, 1.1444819797533450), z_type( 2.0430796018499340, 1.1444878968909331), z_type( 2.0434139781164062, 1.1444934993678351), z_type( 2.0437398883142479, 1.1444988052435365), z_type( 2.0440575501373019, 1.1445038245026118), z_type( 2.0443671755889059, 1.1445085738867007), z_type( 2.0446689711314954, 1.1445130622434101), z_type( 2.0449631379164903, 1.1445173051106450), z_type( 2.0452498717573051, 1.1445213103036553), z_type( 2.0455293635185656, 1.1445250922603574), z_type( 2.0458017989164872, 1.1445286578585616), z_type( 2.0460673590643617, 1.1445320205304930), z_type( 2.0463262201041048, 1.1445351863026991), z_type( 2.0465785539049977, 1.1445381676874604), z_type( 2.0468245275301844, 1.1445409699383173), z_type( 2.0470643040856462, 1.1445436047256088), z_type( 2.0472980420253228, 1.1445460766009405), z_type( 2.0475258961474028, 1.1445483964637053), z_type( 2.0477480167415658, 1.1445505682281520), z_type( 2.0479645507298940, 1.1445526020873393), z_type( 2.0481756406594940, 1.1445545013768506), z_type( 2.0483814259853039, 1.1445562756422631), z_type( 2.0485820419115601, 1.1445579276938664), z_type( 2.0487776208136474, 1.1445594664833485), z_type( 2.0489682909316640, 1.1445608943442338), z_type( 2.0491541779287665, 1.1445622196831773), z_type( 2.0493354034398976, 1.1445634444010699), z_type( 2.0495120867640684, 1.1445645764040711), z_type( 2.0496843432713110, 1.1445656172006182), z_type( 2.0498522862263600, 1.1445665742369711), z_type( 2.0500160250568484, 1.1445674486656832), z_type( 2.0501756673059011, 1.1445682475101546), z_type( 2.0503313167643760, 1.1445689716003384), z_type( 2.0504830755501149, 1.1445696275705972), z_type( 2.0506310421070122, 1.1445702159586022), z_type( 2.0507753134083879, 1.1445707430405105), z_type( 2.0509159828258698, 1.1445712090893549), z_type( 2.0510531424544549, 1.1445716200512668), z_type( 2.0511868808538574, 1.1445719759597992), z_type( 2.0513172854930546, 1.1445722824568139), z_type( 2.0514444403666818, 1.1445725393593200), z_type( 2.0515684285568403, 1.1445727520284161), z_type( 2.0516893297270995, 1.1445729200855128), z_type( 2.0518072227993636, 1.1445730486324339), z_type( 2.0519221833279895, 1.1445731371140604), z_type( 2.0520342862895387, 1.1445731903926186), z_type( 2.0521436033395339, 1.1445732077538695), z_type( 2.0522502057128511, 1.1445731938383987), z_type( 2.0523541613656215, 1.1445731477887453), z_type( 2.0524555379841232, 1.1445730740403113), z_type( 2.0525544000141909, 1.1445729716069057), z_type( 2.0526508117765387, 1.1445728447338044), z_type( 2.0527448343860137, 1.1445726923193233), z_type( 2.0528365289712989, 1.1445725184323967), z_type( 2.0529259534862807, 1.1445723218679433), z_type( 2.0530131660320863, 1.1445721065311658), z_type( 2.0530982215628848, 1.1445718711246400), z_type( 2.0531811753082234, 1.1445716194013971), z_type( 2.0532620793754512, 1.1445713499817516), z_type( 2.0533409862703671, 1.1445710664771722), z_type( 2.0534179453985160, 1.1445707674349215), z_type( 2.0534930066821291, 1.1445704563346193), z_type( 2.0535662169624653, 1.1445701316589145), z_type( 2.0536376237111220, 1.1445697967644659), z_type( 2.0537072713354707, 1.1445694500770178), z_type( 2.0537752049824691, 1.1445690948384415), z_type( 2.0538414667493350, 1.1445687294246081), z_type( 2.0539060995778806, 1.1445683569701071), z_type( 2.0539691433724752, 1.1445679758073695), z_type( 2.0540306389830683, 1.1445675889705729), z_type( 2.0540906242324990, 1.1445671947546050), z_type( 2.0541491379862631, 1.1445667960995389), z_type( 2.0542062160912296, 1.1445663912681157), z_type( 2.0542618955303058, 1.1445659831120876), z_type( 2.0543162102745298, 1.1445655698669683), z_type( 2.0543691955208114, 1.1445651543015274), z_type( 2.0544208834593456, 1.1445647346285599), z_type( 2.0544713075926402, 1.1445643135387265), z_type( 2.0545204984201604, 1.1445638892262355), z_type( 2.0545684878368617, 1.1445634643081255), z_type( 2.0546153047369833, 1.1445630369637942), z_type( 2.0546609794902895, 1.1445626097407948), z_type( 2.0547055394669131, 1.1445621808071502), z_type( 2.0547490135895199, 1.1445617526447234), z_type( 2.0547914277810833, 1.1445613234133276), z_type( 2.0548328095912578, 1.1445608955326314), z_type( 2.0548731835688852, 1.1445604671571099), z_type( 2.0549125759608353, 1.1445600406474483), z_type( 2.0549510100111155, 1.1445596141554435), z_type( 2.0549885107304160, 1.1445591899857328), z_type( 2.0550251001236508, 1.1445587662898447), z_type( 2.0550608020285135, 1.1445583453190999), z_type( 2.0550956372732108, 1.1445579252269682), z_type( 2.0551296285823666, 1.1445575082139436), z_type( 2.0551627956666763, 1.1445570924374528), z_type( 2.0551951601945082, 1.1445566800494806), z_type( 2.0552267408152463, 1.1445562692132496), z_type( 2.0552575581948909, 1.1445558620343421), z_type( 2.0552876299748393, 1.1445554566834741), z_type( 2.0553169758698355, 1.1445550552217854), z_type( 2.0553456125639076, 1.1445546558290081), z_type( 2.0553735588690132, 1.1445542605236481), z_type( 2.0554008305598472, 1.1445538674958553), z_type( 2.0554274455915742, 1.1445534787231495), z_type( 2.0554534188751283, 1.1445530924073957), z_type( 2.0554787675524997, 1.1445527104866586), z_type( 2.0555035057141682, 1.1445523311756618), z_type( 2.0555276497302910, 1.1445519563744440), z_type( 2.0555512129119728, 1.1445515843116523), z_type( 2.0555742108967672, 1.1445512168505914), z_type( 2.0555966562554135, 1.1445508522347996), z_type( 2.0556185639301052, 1.1445504922920522), z_type( 2.0556399457882057, 1.1445501352816514), z_type( 2.0556608161118421, 1.1445497829969611), z_type( 2.0556811861001965, 1.1445494337138389), z_type( 2.0557010694087645, 1.1445490891922647), z_type( 2.0557204766019455, 1.1445487477253717), z_type( 2.0557394207403847, 1.1445484110406989), z_type( 2.0557579117853453, 1.1445480774493180), z_type( 2.0557759622327545, 1.1445477486472064), z_type( 2.0557935814708648, 1.1445474229639534), z_type( 2.0558107814594431, 1.1445471020647922), z_type( 2.0558275710422942, 1.1445467842983565), z_type( 2.0558439616701323, 1.1445464712998861), z_type( 2.0558599616694626, 1.1445461614375489), z_type( 2.0558755820076637, 1.1445458563172859), z_type( 2.0558908305196981, 1.1445455543272167), z_type( 2.0559057177139888, 1.1445452570446315), z_type( 2.0559202509584531, 1.1445449628779896), z_type( 2.0559344403256761, 1.1445446733765341), z_type( 2.0559482927397954, 1.1445443869693928), z_type( 2.0559618178595160, 1.1445441051783325), z_type( 2.0559750221872384, 1.1445438264534424), z_type( 2.0559879149886076, 1.1445435522895306), z_type( 2.0560005023653103, 1.1445432811579244), z_type( 2.0560127932096433, 1.1445430145269428), z_type( 2.0560247932425000, 1.1445427508893895), z_type( 2.0560365110015786, 1.1445424916875506), z_type( 2.0560479518459127, 1.1445422354359021), z_type( 2.0560591239763637, 1.1445419835511224), z_type( 2.0560700324080932, 1.1445417345695250), z_type( 2.0560806850219819, 1.1445414898825801), z_type( 2.0560910865064024, 1.1445412480485864), z_type( 2.0561012444382576, 1.1445410104341764), z_type( 2.0561111631953710, 1.1445407756197532), z_type( 2.0561208500658141, 1.1445405449474610), z_type( 2.0561303091323215, 1.1445403170199047), z_type( 2.0561395474085060, 1.1445400931550658), z_type( 2.0561485686966710, 1.1445398719778330), z_type( 2.0561573797496413, 1.1445396547823359), z_type( 2.0561659841032078, 1.1445394402158040), z_type( 2.0561743882623507, 1.1445392295487959), z_type( 2.0561825955096293, 1.1445390214509339), z_type( 2.0561906121144271, 1.1445388171694830), z_type( 2.0561984411186689, 1.1445386153964754), z_type( 2.0562060885678015, 1.1445384173561506), z_type( 2.0562135572750844, 1.1445382217629556), z_type( 2.0562208530730692, 1.1445380298183490), z_type( 2.0562279785577440, 1.1445378402591979), z_type( 2.0562349393592432, 1.1445376542644088), z_type( 2.0562417378670887, 1.1445374705932549), z_type( 2.0562483795189466, 1.1445372904023157), z_type( 2.0562548665081821, 1.1445371124732397), z_type( 2.0562612040894011, 1.1445369379404950), z_type( 2.0562673942695948, 1.1445367656080663), z_type( 2.0562734421292790, 1.1445365965885179), z_type( 2.0562793494983422, 1.1445364297081175), z_type( 2.0562851212916922, 1.1445362660577274), z_type( 2.0562907591710027, 1.1445361044858358), z_type( 2.0562962678936025, 1.1445359460617890), z_type( 2.0563016489613570, 1.1445357896562389), z_type( 2.0563069069816406, 1.1445356363171986), z_type( 2.0563120433045357, 1.1445354849373934), z_type( 2.0563170623947049, 1.1445353365436948), z_type( 2.0563219654580451, 1.1445351900508178), z_type( 2.0563267568233843, 1.1445350464646566), z_type( 2.0563314375596780, 1.1445349047218312), z_type( 2.0563360118664278, 1.1445347658074294), z_type( 2.0563404806825543, 1.1445346286798712), z_type( 2.0563448480843913, 1.1445344943036091), z_type( 2.0563491148873934, 1.1445343616587562), z_type( 2.0563532850505855, 1.1445342316892866), z_type( 2.0563573592721829, 1.1445341033969048), z_type( 2.0563613413994792, 1.1445339777052685), z_type( 2.0563652320193926, 1.1445338536375438), z_type( 2.0563690348727310, 1.1445337320972349), z_type( 2.0563727504407843, 1.1445336121288576), z_type( 2.0563763823628722, 1.1445334946159029), z_type( 2.0563799310200337, 1.1445333786241059), z_type( 2.0563833999548335, 1.1445332650171194), z_type( 2.0563867894531862, 1.1445331528817586), z_type( 2.0563901029654135, 1.1445330430619718), z_type( 2.0563933406871677, 1.1445329346655415), z_type( 2.0563965059807692, 1.1445328285168586), z_type( 2.0563995989562800, 1.1445327237445182), z_type( 2.0564026228920551, 1.1445326211535192), z_type( 2.0564055778169852, 1.1445325198931180), z_type( 2.0564084669292884, 1.1445324207490721), z_type( 2.0564112901808960, 1.1445323228911615), z_type( 2.0564140506935229, 1.1445322270860347), z_type( 2.0564167483461602, 1.1445321325238567), z_type( 2.0564193861874580, 1.1445320399523113), z_type( 2.0564219640272703, 1.1445319485817953), z_type( 2.0564244848444595, 1.1445318591411799), z_type( 2.0564269483834083, 1.1445317708609342), z_type( 2.0564293575562713, 1.1445316844512621), z_type( 2.0564317120454016, 1.1445315991625520), z_type( 2.0564340146992017, 1.1445315156864875), z_type( 2.0564362651413104, 1.1445314332932162), z_type( 2.0564384661591362, 1.1445313526560479), z_type( 2.0564406173207717, 1.1445312730647184), z_type( 2.0564427213552676, 1.1445311951743216), z_type( 2.0564447777781618, 1.1445311182940261), z_type( 2.0564467892626386, 1.1445310430608426), z_type( 2.0564487552745527, 1.1445309688032055), z_type( 2.0564506784336132, 1.1445308961401999), z_type( 2.0564525581586874, 1.1445308244193537), z_type( 2.0564543970182574, 1.1445307542419698), z_type( 2.0564561943868149, 1.1445306849745105), z_type( 2.0564579527837323, 1.1445306172006469), z_type( 2.0564596715416230, 1.1445305503055927), z_type( 2.0564613531327489, 1.1445304848555378), z_type( 2.0564629968501924, 1.1445304202542874), z_type( 2.0564646051210507, 1.1445303570506924), z_type( 2.0564661772011310, 1.1445302946669744), z_type( 2.0564677154741386, 1.1445302336347989), z_type( 2.0564692191607774, 1.1445301733946298), z_type( 2.0564706906030956, 1.1445301144610949), z_type( 2.0564721289887129, 1.1445300562927236), z_type( 2.0564735366196487, 1.1445299993872668), z_type( 2.0564749126524156, 1.1445299432211393), z_type( 2.0564762593505423, 1.1445298882753610), z_type( 2.0564775758412841, 1.1445298340440584), z_type( 2.0564788643511398, 1.1445297809916777), z_type( 2.0564801239799060, 1.1445297286298737), z_type( 2.0564813569184190, 1.1445296774066727), z_type( 2.0564825622407108, 1.1445296268510816), z_type( 2.0564837421032873, 1.1445295773948627), z_type( 2.0564848955560247, 1.1445295285841894), z_type( 2.0564860247223309, 1.1445294808347171), z_type( 2.0564871286294824, 1.1445294337096135), z_type( 2.0564882093689598, 1.1445293876085720), z_type( 2.0564892659469356, 1.1445293421115692), z_type( 2.0564903004240622, 1.1445292976025108), z_type( 2.0564913117867984, 1.1445292536779970), z_type( 2.0564923020660566, 1.1445292107062908), z_type( 2.0564932702299212, 1.1445291683004377), z_type( 2.0564942182805432, 1.1445291268132234), z_type( 2.0564951451689373, 1.1445290858739510), z_type( 2.0564960528694427, 1.1445290458200854), z_type( 2.0564969403172038, 1.1445290062970142), z_type( 2.0564978094596644, 1.1445289676270352), z_type( 2.0564986592172811, 1.1445289294714298), z_type( 2.0564994915114356, 1.1445288921374970), z_type( 2.0565003052490152, 1.1445288553022266), z_type( 2.0565011023261368, 1.1445288192580816), z_type( 2.0565018816372134, 1.1445287836975766), z_type( 2.0565026450538384, 1.1445287488984970), z_type( 2.0565033914589623, 1.1445287145686958), z_type( 2.0565041227003982, 1.1445286809714459), z_type( 2.0565048376505968, 1.1445286478297581), z_type( 2.0565055381342727, 1.1445286153925498), z_type( 2.0565062230143147, 1.1445285833978054), z_type( 2.0565068940929807, 1.1445285520802575), z_type( 2.0565075502244858, 1.1445285211926726), z_type( 2.0565081931892486, 1.1445284909557576), z_type( 2.0565088218336629, 1.1445284611368867), z_type( 2.0565094379168722, 1.1445284319429034), z_type( 2.0565100402782743, 1.1445284031555945), z_type( 2.0565106306562932, 1.1445283749681192), z_type( 2.0565112078840824, 1.1445283471764864), z_type( 2.0565117736798819, 1.1445283199603318), z_type( 2.0565123268713590, 1.1445282931297098), z_type( 2.0565128691570380, 1.1445282668508872), z_type( 2.0565133993597935, 1.1445282409477866), z_type( 2.0565139191589403, 1.1445282155734808), z_type( 2.0565144273732314, 1.1445281905655584), z_type( 2.0565149256631794, 1.1445281660640687), z_type( 2.0565154128440897, 1.1445281419200921), z_type( 2.0565158905580918, 1.1445281182608151), z_type( 2.0565163576176566, 1.1445280949506234), z_type( 2.0565168156469102, 1.1445280721040061), z_type( 2.0565172634561004, 1.1445280495984789), z_type( 2.0565177026517336, 1.1445280275359966), z_type( 2.0565181320423718, 1.1445280058070131), z_type( 2.0565185532172823, 1.1445279845011214), z_type( 2.0565189649838631, 1.1445279635215322), z_type( 2.0565193689144738, 1.1445279429456496), z_type( 2.0565197638158899, 1.1445279226892533), z_type( 2.0565201512438658, 1.1445279028177195), z_type( 2.0565205300050549, 1.1445278832592192), z_type( 2.0565209016388977, 1.1445278640672678), z_type( 2.0565212649523859, 1.1445278451822449), z_type( 2.0565216214689630, 1.1445278266459722), z_type( 2.0565219699964068, 1.1445278084108597), z_type( 2.0565223120424139, 1.1445277905072047), z_type( 2.0565226464159871, 1.1445277728992587), z_type( 2.0565229746093334, 1.1445277556059612), z_type( 2.0565232954330845, 1.1445277386032251), z_type( 2.0565236103642124, 1.1445277218988108), z_type( 2.0565239182153796, 1.1445277054801068), z_type( 2.0565242204485465, 1.1445276893438476), z_type( 2.0565245158787606, 1.1445276734887340), z_type( 2.0565248059532033, 1.1445276579006407), z_type( 2.0565250894896940, 1.1445276425893876), z_type( 2.0565253679208149, 1.1445276275301670), z_type( 2.0565256400674801, 1.1445276127437451), z_type( 2.0565259073479099, 1.1445275981947920), z_type( 2.0565261685864309, 1.1445275839148359), z_type( 2.0565264251870685, 1.1445275698581920), z_type( 2.0565266759778988, 1.1445275560669845), z_type( 2.0565269223489238, 1.1445275424853381), z_type( 2.0565271631322566, 1.1445275291657830), z_type( 2.0565273997040516, 1.1445275160424220), z_type( 2.0565276309007490, 1.1445275031780253), z_type( 2.0565278580848094, 1.1445274904968408), z_type( 2.0565280800972707, 1.1445274780716921), z_type( 2.0565282982870658, 1.1445274658171392), z_type( 2.0565285115000798, 1.1445274538158907), z_type( 2.0565287210718677, 1.1445274419729745), z_type( 2.0565289258533990, 1.1445274303808157), z_type( 2.0565291271669945, 1.1445274189350798), z_type( 2.0565293238689568, 1.1445274077377281), z_type( 2.0565295172684905, 1.1445273966752221), z_type( 2.0565297062274661, 1.1445273858588965), z_type( 2.0565298920420916, 1.1445273751661740), z_type( 2.0565300735799967, 1.1445273647175784), z_type( 2.0565302521245594, 1.1445273543816670), z_type( 2.0565304265493705, 1.1445273442879824), z_type( 2.0565305981250468, 1.1445273342963671), z_type( 2.0565307657313667, 1.1445273245452232), z_type( 2.0565309306262995, 1.1445273148858432), z_type( 2.0565310916959749, 1.1445273054653082), z_type( 2.0565312501858455, 1.1445272961265229), z_type( 2.0565314049885504, 1.1445272870250882), z_type( 2.0565315573371312, 1.1445272779956828), z_type( 2.0565317061309107, 1.1445272692022475), z_type( 2.0565318525906093, 1.1445272604713912), z_type( 2.0565319956223953, 1.1445272519752494), z_type( 2.0565321364347540, 1.1445272435325125), z_type( 2.0565322739408574, 1.1445272353233313), z_type( 2.0565324093370481, 1.1445272271586480), z_type( 2.0565325415436431, 1.1445272192264671), z_type( 2.0565326717449319, 1.1445272113301344), z_type( 2.0565327988684943, 1.1445272036653404), z_type( 2.0565329240866665, 1.1445271960279975), z_type( 2.0565330463344162, 1.1445271886213246), z_type( 2.0565331667722044, 1.1445271812339481), z_type( 2.0565332843425219, 1.1445271740764527), z_type( 2.0565334001940156, 1.1445271669303390), z_type( 2.0565335132768148, 1.1445271600133986), z_type( 2.0565336247278436, 1.1445271531001542), z_type( 2.0565337335049598, 1.1445271464154456), z_type( 2.0565338407334401, 1.1445271397269818), z_type( 2.0565339453789901, 1.1445271332664821), z_type( 2.0565340485553034, 1.1445271267949897), z_type( 2.0565341492360156, 1.1445271205509586), z_type( 2.0565342485233113, 1.1445271142889135), z_type( 2.0565343453988549, 1.1445271082538830), z_type( 2.0565344409534014, 1.1445271021940293), z_type( 2.0565345341767007, 1.1445270963607990), z_type( 2.0565346261481485, 1.1445270904961349), z_type( 2.0565347158656895, 1.1445270848577542), z_type( 2.0565348043973999, 1.1445270791815327), z_type( 2.0565348907494827, 1.1445270737312980), z_type( 2.0565349759787912, 1.1445270682370132), z_type( 2.0565350590998293, 1.1445270629684623), z_type( 2.0565351411582804, 1.1445270576498332), z_type( 2.0565352211770547, 1.1445270525567242), z_type( 2.0565353001906996, 1.1445270474077023), z_type( 2.0565353772305834, 1.1445270424840202), z_type( 2.0565354533202074, 1.1445270374987673), z_type( 2.0565355274994270, 1.1445270327387065), z_type( 2.0565356007807556, 1.1445270279115922), z_type( 2.0565356722126000, 1.1445270233095524), z_type( 2.0565357427965383, 1.1445270186351495), z_type( 2.0565358115895833, 1.1445270141857293), z_type( 2.0565358795824369, 1.1445270096587992), z_type( 2.0565359458407353, 1.1445270053567826), z_type( 2.0565360113443787, 1.1445270009722790), z_type( 2.0565360751676769, 1.1445269968126415), z_type( 2.0565361382797671, 1.1445269925656918), z_type( 2.0565361997636731, 1.1445269885435796), z_type( 2.0565362605778308, 1.1445269844294887), z_type( 2.0565363198140010, 1.1445269805402181), z_type( 2.0565363784199771, 1.1445269765544548), z_type( 2.0565364354962865, 1.1445269727935101), z_type( 2.0565364919801392, 1.1445269689317079), z_type( 2.0565365469808432, 1.1445269652947259), z_type( 2.0565366014250777, 1.1445269615526703), z_type( 2.0565366544309747, 1.1445269580354511), z_type( 2.0565367069147165, 1.1445269544090764), z_type( 2.0565367580032752, 1.1445269510075560), z_type( 2.0565368086024218, 1.1445269474929423), z_type( 2.0565368578479415, 1.1445269442032078), z_type( 2.0565369066352583, 1.1445269407965744), z_type( 2.0565369541090153, 1.1445269376148413), z_type( 2.0565370011543149, 1.1445269343125417), z_type( 2.0565370469246615, 1.1445269312351649), z_type( 2.0565370922949109, 1.1445269280336801), z_type( 2.0565371364274254, 1.1445269250571370), z_type( 2.0565371801868602, 1.1445269219530729), z_type( 2.0565372227444501, 1.1445269190739695), z_type( 2.0565372649547031, 1.1445269160640472), z_type( 2.0565373059977290, 1.1445269132791038), z_type( 2.0565373467179424, 1.1445269103601685), z_type( 2.0565373863043157, 1.1445269076662203), z_type( 2.0565374255912308, 1.1445269048352251), z_type( 2.0565374637765244, 1.1445269022292155), z_type( 2.0565375016846046, 1.1445268994832207), z_type( 2.0565375385221514, 1.1445268969622007), z_type( 2.0565375751036541, 1.1445268942983693), z_type( 2.0565376106446354, 1.1445268918594929), z_type( 2.0565376459497342, 1.1445268892750879), z_type( 2.0565376802432871, 1.1445268869156062), z_type( 2.0565377143201196, 1.1445268844079899), z_type( 2.0565377474134019, 1.1445268821252503), z_type( 2.0565377803081972, 1.1445268796918731), z_type( 2.0565378122464812, 1.1445268774833155), z_type( 2.0565378440036191, 1.1445268751217188), z_type( 2.0565378748303669, 1.1445268729848712), z_type( 2.0565379054924562, 1.1445268706926830), z_type( 2.0565379352493975, 1.1445268686251566), z_type( 2.0565379648573492, 1.1445268664000912), z_type( 2.0565379935845676, 1.1445268643995818), z_type( 2.0565380221776688, 1.1445268622394302), z_type( 2.0565380499136374, 1.1445268603037091), z_type( 2.0565380775296243, 1.1445268582063395), z_type( 2.0565381043113016, 1.1445268563332607), z_type( 2.0565381309864113, 1.1445268542966136), z_type( 2.0565381568492929, 1.1445268524841008), z_type( 2.0565381826183367, 1.1445268505061943), z_type( 2.0565382075965180, 1.1445268487522433), z_type( 2.0565382324929309, 1.1445268468311618), z_type( 2.0565382566191670, 1.1445268451338360), z_type( 2.0565382806750798, 1.1445268432677296), z_type( 2.0565383039808300, 1.1445268416251604), z_type( 2.0565383272271052, 1.1445268398122426), z_type( 2.0565383497426057, 1.1445268382226232), z_type( 2.0565383722088999, 1.1445268364611763), z_type( 2.0565383939632045, 1.1445268349227646), z_type( 2.0565384156780162, 1.1445268332111214), z_type( 2.0565384366990287, 1.1445268317222292), z_type( 2.0565384576897499, 1.1445268300587872), z_type( 2.0565384780042999, 1.1445268286177896), z_type( 2.0565384982972477, 1.1445268270009989), z_type( 2.0565385179311200, 1.1445268256063217), z_type( 2.0565385375516043, 1.1445268240346858), z_type( 2.0565385565295751, 1.1445268226848127), z_type( 2.0565385755019139, 1.1445268211568878), z_type( 2.0565385938478076, 1.1445268198503473), z_type( 2.0565386121953861, 1.1445268183647423), z_type( 2.0565386299321036, 1.1445268171001208), z_type( 2.0565386476773941, 1.1445268156554826), z_type( 2.0565386648269572, 1.1445268144314098), z_type( 2.0565386819915856, 1.1445268130264454), z_type( 2.0565386985751588, 1.1445268118415948), z_type( 2.0565387151799057, 1.1445268104750450), z_type( 2.0565387312178443, 1.1445268093281409), z_type( 2.0565387472827030, 1.1445268079987958), z_type( 2.0565387627945864, 1.1445268068885983), z_type( 2.0565387783387754, 1.1445268055952880), z_type( 2.0565387933434374, 1.1445268045206030), z_type( 2.0565388083854566, 1.1445268032621945), z_type( 2.0565388229009942, 1.1445268022218709), z_type( 2.0565388374586298, 1.1445268009972762), z_type( 2.0565388515024714, 1.1445267999901936), z_type( 2.0565388655928376, 1.1445267987983565), z_type( 2.0565388791817321, 1.1445267978234388), z_type( 2.0565388928212913, 1.1445267966633421), z_type( 2.0565389059713723, 1.1445267957195455), z_type( 2.0565389191759640, 1.1445267945902060), z_type( 2.0565389319027352, 1.1445267936765204), z_type( 2.0565389446876101, 1.1445267925769869), z_type( 2.0565389570059964, 1.1445267916924418), z_type( 2.0565389693858238, 1.1445267906217973), z_type( 2.0565389813101889, 1.1445267897654481), z_type( 2.0565389932990872, 1.1445267887228063), z_type( 2.0565390048432532, 1.1445267878937440), z_type( 2.0565390164548201, 1.1445267868782467), z_type( 2.0565390276320961, 1.1445267860755881), z_type( 2.0565390388794036, 1.1445267850864096), z_type( 2.0565390497025926, 1.1445267843093052), z_type( 2.0565390605982432, 1.1445267833456447), z_type( 2.0565390710796754, 1.1445267825932679), z_type( 2.0565390816357922, 1.1445267816543572), z_type( 2.0565390917873305, 1.1445267809259105), z_type( 2.0565391020155923, 1.1445267800109995), z_type( 2.0565391118486684, 1.1445267793057179), z_type( 2.0565391217603146, 1.1445267784140851), z_type( 2.0565391312859340, 1.1445267777312207), z_type( 2.0565391408917959, 1.1445267768621690), z_type( 2.0565391501205443, 1.1445267762010005), z_type( 2.0565391594310514, 1.1445267753538588), z_type( 2.0565391683731393, 1.1445267747136902), z_type( 2.0565391773983337, 1.1445267738878047), z_type( 2.0565391860635871, 1.1445267732679612), z_type( 2.0565391948131460, 1.1445267724627035), z_type( 2.0565392032110359, 1.1445267718625309), z_type( 2.0565392116942784, 1.1445267710772939), z_type( 2.0565392198339172, 1.1445267704961644), z_type( 2.0565392280598296, 1.1445267697303567), z_type( 2.0565392359500039, 1.1445267691676606), z_type( 2.0565392439272414, 1.1445267684207154), z_type( 2.0565392515764085, 1.1445267678758591), z_type( 2.0565392593133089, 1.1445267671472283), z_type( 2.0565392667296303, 1.1445267666196401), z_type( 2.0565392742342294, 1.1445267659087917), z_type( 2.0565392814255605, 1.1445267653979183), z_type( 2.0565392887056060, 1.1445267647043389), z_type( 2.0565392956795190, 1.1445267642096455), z_type( 2.0565393027424759, 1.1445267635328371), z_type( 2.0565393095062690, 1.1445267630538076), z_type( 2.0565393163593368, 1.1445267623932875), z_type( 2.0565393229200537, 1.1445267619294226), z_type( 2.0565393295701622, 1.1445267612847272), z_type( 2.0565393359345774, 1.1445267608355374), z_type( 2.0565393423884255, 1.1445267602062226), z_type( 2.0565393485630712, 1.1445267597712356), z_type( 2.0565393548271085, 1.1445267591568626), z_type( 2.0565393608182938, 1.1445267587356294), z_type( 2.0565393668987415, 1.1445267581357779), z_type( 2.0565393727125354, 1.1445267577278555), z_type( 2.0565393786153954, 1.1445267571421194), z_type( 2.0565393842576642, 1.1445267567470820), z_type( 2.0565393899887154, 1.1445267561750689), z_type( 2.0565393954651112, 1.1445267557925050), z_type( 2.0565394010299394, 1.1445267552338327), z_type( 2.0565394063458995, 1.1445267548633404), z_type( 2.0565394117498932, 1.1445267543176436), z_type( 2.0565394169106863, 1.1445267539588402), z_type( 2.0565394221590365, 1.1445267534257588), z_type( 2.0565394271697230, 1.1445267530782679), z_type( 2.0565394322674377, 1.1445267525574605), z_type( 2.0565394371329138, 1.1445267522209162), z_type( 2.0565394420848380, 1.1445267517120477), z_type( 2.0565394468098162, 1.1445267513861035), z_type( 2.0565394516206084, 1.1445267508888513), z_type( 2.0565394562096468, 1.1445267505731671), z_type( 2.0565394608838128, 1.1445267500872158), z_type( 2.0565394653413023, 1.1445267497814624), z_type( 2.0565394698831954, 1.1445267493065123), z_type( 2.0565394742133711, 1.1445267490103708), z_type( 2.0565394786271813, 1.1445267485461283), z_type( 2.0565394828341375, 1.1445267482592874), z_type( 2.0565394871239167, 1.1445267478054706), z_type( 2.0565394912115953, 1.1445267475276319), z_type( 2.0565394953812581, 1.1445267470839666), z_type( 2.0565394993534722, 1.1445267468148386), z_type( 2.0565395034067917, 1.1445267463810596), z_type( 2.0565395072672219, 1.1445267461203636), z_type( 2.0565395112078448, 1.1445267456962114), z_type( 2.0565395149600372, 1.1445267454436767), z_type( 2.0565395187914817, 1.1445267450289036), z_type( 2.0565395224388676, 1.1445267447842649), z_type( 2.0565395261645403, 1.1445267443786282), z_type( 2.0565395297104301, 1.1445267441416305), z_type( 2.0565395333336105, 1.1445267437448983), z_type( 2.0565395367811936, 1.1445267435152962), z_type( 2.0565395403050624, 1.1445267431272410), z_type( 2.0565395436574301, 1.1445267429047903), z_type( 2.0565395470850407, 1.1445267425251948), z_type( 2.0565395503451760, 1.1445267423096672), z_type( 2.0565395536794973, 1.1445267419383158), z_type( 2.0565395568502729, 1.1445267417294878), z_type( 2.0565395600941647, 1.1445267413661775), z_type( 2.0565395631783643, 1.1445267411638262), z_type( 2.0565395663345853, 1.1445267408083550), z_type( 2.0565395693348942, 1.1445267406122726), z_type( 2.0565395724061215, 1.1445267402644512), z_type( 2.0565395753251332, 1.1445267400744312), z_type( 2.0565395783139513, 1.1445267397340710), z_type( 2.0565395811541700, 1.1445267395499163), z_type( 2.0565395840630711, 1.1445267392168339), z_type( 2.0565395868269229, 1.1445267390383518), z_type( 2.0565395896583212, 1.1445267387123728), z_type( 2.0565395923481389, 1.1445267385393787), z_type( 2.0565395951043621, 1.1445267382203299), z_type( 2.0565395977224155, 1.1445267380526425), z_type( 2.0565396004057241, 1.1445267377403647), z_type( 2.0565396029541887, 1.1445267375778048), z_type( 2.0565396055667566, 1.1445267372721319), z_type( 2.0565396080477596, 1.1445267371145360), z_type( 2.0565396105916944, 1.1445267368153171), z_type( 2.0565396130072626, 1.1445267366625165), z_type( 2.0565396154846050, 1.1445267363695970), z_type( 2.0565396178367177, 1.1445267362214353), z_type( 2.0565396202494348, 1.1445267359346718), z_type( 2.0565396225399946, 1.1445267357909941), z_type( 2.0565396248900036, 1.1445267355102440), z_type( 2.0565396271208543, 1.1445267353709003), z_type( 2.0565396294099862, 1.1445267350960255), z_type( 2.0565396315829125, 1.1445267349608712), z_type( 2.0565396338129549, 1.1445267346917380), z_type( 2.0565396359296844, 1.1445267345606334), z_type( 2.0565396381023624, 1.1445267342971135), z_type( 2.0565396401645546, 1.1445267341699203), z_type( 2.0565396422815359, 1.1445267339118894), z_type( 2.0565396442908019, 1.1445267337884755), z_type( 2.0565396463537042, 1.1445267335358120), z_type( 2.0565396483116047, 1.1445267334160503), z_type( 2.0565396503219837, 1.1445267331686342), z_type( 2.0565396522300263, 1.1445267330524009), z_type( 2.0565396541893977, 1.1445267328101172), z_type( 2.0565396560490377, 1.1445267326972934), z_type( 2.0565396579588637, 1.1445267324600312), z_type( 2.0565396597715071, 1.1445267323505002), z_type( 2.0565396616332068, 1.1445267321181518), z_type( 2.0565396634002160, 1.1445267320117998), z_type( 2.0565396652151526, 1.1445267317842618), z_type( 2.0565396669378537, 1.1445267316809791), z_type( 2.0565396687073525, 1.1445267314581471), z_type( 2.0565396703870142, 1.1445267313578282), z_type( 2.0565396721123621, 1.1445267311396059), z_type( 2.0565396737502186, 1.1445267310421499), z_type( 2.0565396754326564, 1.1445267308284393), z_type( 2.0565396770298983, 1.1445267307337434), z_type( 2.0565396786706254, 1.1445267305244522), z_type( 2.0565396802284091, 1.1445267304324256), z_type( 2.0565396818285899, 1.1445267302274607), z_type( 2.0565396833480292, 1.1445267301380075), z_type( 2.0565396849087918, 1.1445267299372841), z_type( 2.0565396863909648, 1.1445267298503139), z_type( 2.0565396879133986, 1.1445267296537445), z_type( 2.0565396893593522, 1.1445267295691699), z_type( 2.0565396908445082, 1.1445267293766723), z_type( 2.0565396922552552, 1.1445267292944081), z_type( 2.0565396937041567, 1.1445267291059025), z_type( 2.0565396950806663, 1.1445267290258709), z_type( 2.0565396964943030, 1.1445267288412770), z_type( 2.0565396978375228, 1.1445267287633967), z_type( 2.0565396992168510, 1.1445267285826379), z_type( 2.0565397005276966, 1.1445267285068319), z_type( 2.0565397018736435, 1.1445267283298353), z_type( 2.0565397031529948, 1.1445267282560294), z_type( 2.0565397044664531, 1.1445267280827240), z_type( 2.0565397057151715, 1.1445267280108460), z_type( 2.0565397069970053, 1.1445267278411608), z_type( 2.0565397082159138, 1.1445267277711457), z_type( 2.0565397094669704, 1.1445267276050113), z_type( 2.0565397106568679, 1.1445267275367885), z_type( 2.0565397118779525, 1.1445267273741404), z_type( 2.0565397130396099, 1.1445267273076476), z_type( 2.0565397142315174, 1.1445267271484205), z_type( 2.0565397153656826, 1.1445267270835933), z_type( 2.0565397165291657, 1.1445267269277259), z_type( 2.0565397176365612, 1.1445267268645072), z_type( 2.0565397187723584, 1.1445267267119370), z_type( 2.0565397198536832, 1.1445267266502668), z_type( 2.0565397209625038, 1.1445267265009349), z_type( 2.0565397220184334, 1.1445267264407606), z_type( 2.0565397231009706, 1.1445267262946091), z_type( 2.0565397241321559, 1.1445267262358740), z_type( 2.0565397251890700, 1.1445267260928478), z_type( 2.0565397261961356, 1.1445267260355010), z_type( 2.0565397272280728, 1.1445267258955452), z_type( 2.0565397282116362, 1.1445267258395369), z_type( 2.0565397292192187, 1.1445267257025986), z_type( 2.0565397301798622, 1.1445267256478817), z_type( 2.0565397311636877, 1.1445267255139073), z_type( 2.0565397321019789, 1.1445267254604370), z_type( 2.0565397330626376, 1.1445267253293769), z_type( 2.0565397339791232, 1.1445267252771083), z_type( 2.0565397349171715, 1.1445267251489140), z_type( 2.0565397358123803, 1.1445267250978040), z_type( 2.0565397367283635, 1.1445267249724291), z_type( 2.0565397376028058, 1.1445267249224376), z_type( 2.0565397384972477, 1.1445267247998345), z_type( 2.0565397393514182, 1.1445267247509232), z_type( 2.0565397402248240, 1.1445267246310458), z_type( 2.0565397410591988, 1.1445267245831789), z_type( 2.0565397419120561, 1.1445267244659831), z_type( 2.0565397427270913, 1.1445267244191242), z_type( 2.0565397435598762, 1.1445267243045654), z_type( 2.0565397443560136, 1.1445267242586805), z_type( 2.0565397451691814, 1.1445267241467201), z_type( 2.0565397459468464, 1.1445267241017778), z_type( 2.0565397467408402, 1.1445267239923724), z_type( 2.0565397475004423, 1.1445267239483423), z_type( 2.0565397482756871, 1.1445267238414520), z_type( 2.0565397490176252, 1.1445267237983046), z_type( 2.0565397497745268, 1.1445267236938899), z_type( 2.0565397504991836, 1.1445267236515981), z_type( 2.0565397512381409, 1.1445267235496217), z_type( 2.0565397519458832, 1.1445267235081602), z_type( 2.0565397526672804, 1.1445267234085839), z_type( 2.0565397533584622, 1.1445267233679262), z_type( 2.0565397540626686, 1.1445267232707139), z_type( 2.0565397547376332, 1.1445267232308387), z_type( 2.0565397554250029, 1.1445267231359511), z_type( 2.0565397560840801, 1.1445267230968394), z_type( 2.0565397567549613, 1.1445267230042442), z_type( 2.0565397573984687, 1.1445267229658695), z_type( 2.0565397580531921, 1.1445267228755327), z_type( 2.0565397586814398, 1.1445267228378784), z_type( 2.0565397593203238, 1.1445267227497651), z_type( 2.0565397599336035, 1.1445267227128124), z_type( 2.0565397605569649, 1.1445267226268903), z_type( 2.0565397611555665, 1.1445267225906230), z_type( 2.0565397617636991, 1.1445267225068567), z_type( 2.0565397623478954, 1.1445267224712594), z_type( 2.0565397629410969, 1.1445267223896187), z_type( 2.0565397635111582, 1.1445267223546760), z_type( 2.0565397640897047, 1.1445267222751276), z_type( 2.0565397646458883, 1.1445267222408264), z_type( 2.0565397652100534, 1.1445267221633391), z_type( 2.0565397657526092, 1.1445267221296662), z_type( 2.0565397663026559, 1.1445267220542088), z_type( 2.0565397668318273, 1.1445267220211528), z_type( 2.0565397673680135, 1.1445267219476958), z_type( 2.0565397678840349, 1.1445267219152453), z_type( 2.0565397684066071, 1.1445267218437574), z_type( 2.0565397689097060, 1.1445267218119031), z_type( 2.0565397694189085, 1.1445267217423534), z_type( 2.0565397699093051, 1.1445267217110857), z_type( 2.0565397704053723, 1.1445267216434460), z_type( 2.0565397708832833, 1.1445267216127561), z_type( 2.0565397713664439, 1.1445267215469956), z_type( 2.0565397718320777, 1.1445267215168762), z_type( 2.0565397723025569, 1.1445267214529657), z_type( 2.0565397727561163, 1.1445267214234092), z_type( 2.0565397732141291, 1.1445267213613204), z_type( 2.0565397736558153, 1.1445267213323203), z_type( 2.0565397741015787, 1.1445267212720232), z_type( 2.0565397745315837, 1.1445267212435732), z_type( 2.0565397749653016, 1.1445267211850385), z_type( 2.0565397753838188, 1.1445267211571339), z_type( 2.0565397758056938, 1.1445267211003334), z_type( 2.0565397762129090, 1.1445267210729702), z_type( 2.0565397766231417, 1.1445267210178758), z_type( 2.0565397770192382, 1.1445267209910472), z_type( 2.0565397774180232, 1.1445267209376304), z_type( 2.0565397778031773, 1.1445267209113330), z_type( 2.0565397781907087, 1.1445267208595653), z_type( 2.0565397785650972, 1.1445267208337950), z_type( 2.0565397789415614, 1.1445267207836480), z_type( 2.0565397793053553, 1.1445267207584022), z_type( 2.0565397796709375, 1.1445267207098468), z_type( 2.0565397800243082, 1.1445267206851217), z_type( 2.0565397803791878, 1.1445267206381322), z_type( 2.0565397807223018, 1.1445267206139265), z_type( 2.0565397810666588, 1.1445267205684726), z_type( 2.0565397813996804, 1.1445267205447818), z_type( 2.0565397817336910, 1.1445267205008371), z_type( 2.0565397820567797, 1.1445267204776586), z_type( 2.0565397823806157, 1.1445267204351968), z_type( 2.0565397826939318, 1.1445267204125296), z_type( 2.0565397830077634, 1.1445267203715208), z_type( 2.0565397833114623, 1.1445267203493632), z_type( 2.0565397836154560, 1.1445267203097824), z_type( 2.0565397839096922, 1.1445267202881311), z_type( 2.0565397842040118, 1.1445267202499492), z_type( 2.0565397844889359, 1.1445267202288050), z_type( 2.0565397847737428, 1.1445267201919960), z_type( 2.0565397850495053, 1.1445267201713554), z_type( 2.0565397853249605, 1.1445267201358924), z_type( 2.0565397855917049, 1.1445267201157563), z_type( 2.0565397858579613, 1.1445267200816123), z_type( 2.0565397861158332, 1.1445267200619780), z_type( 2.0565397863730452, 1.1445267200291280), z_type( 2.0565397866221851, 1.1445267200099956), z_type( 2.0565397868705033, 1.1445267199784124), z_type( 2.0565397871110513, 1.1445267199597799), z_type( 2.0565397873506210, 1.1445267199294382), z_type( 2.0565397875827123, 1.1445267199113063), z_type( 2.0565397878136764, 1.1445267198821822), z_type( 2.0565397880374450, 1.1445267198645483), z_type( 2.0565397882599479, 1.1445267198366158), z_type( 2.0565397884755203, 1.1445267198194808), z_type( 2.0565397886896988, 1.1445267197927156), z_type( 2.0565397888972052, 1.1445267197760796), z_type( 2.0565397891031920, 1.1445267197504569), z_type( 2.0565397893027573, 1.1445267197343196), z_type( 2.0565397895006856, 1.1445267197098163), z_type( 2.0565397896924291, 1.1445267196941769), z_type( 2.0565397898824260, 1.1445267196707685), z_type( 2.0565397900664659, 1.1445267196556290), z_type( 2.0565397902486553, 1.1445267196332924), z_type( 2.0565397904251048, 1.1445267196186522), z_type( 2.0565397905996088, 1.1445267195973654), z_type( 2.0565397907685812, 1.1445267195832252), z_type( 2.0565397909355152, 1.1445267195629656), z_type( 2.0565397910971166, 1.1445267195493265), z_type( 2.0565397912565948, 1.1445267195300723), z_type( 2.0565397914109287, 1.1445267195169349), z_type( 2.0565397915630594, 1.1445267194986648), z_type( 2.0565397917102279, 1.1445267194860309), z_type( 2.0565397918551187, 1.1445267194687245), z_type( 2.0565397919952177, 1.1445267194565951), z_type( 2.0565397921329671, 1.1445267194402313), z_type( 2.0565397922660895, 1.1445267194286086), z_type( 2.0565397923967965, 1.1445267194131683), z_type( 2.0565397925230311, 1.1445267194020534), z_type( 2.0565397926467908, 1.1445267193875155), z_type( 2.0565397927662232, 1.1445267193769124), z_type( 2.0565397928831204, 1.1445267193632593), z_type( 2.0565397929958307, 1.1445267193531690), z_type( 2.0565397931059555, 1.1445267193403814), z_type( 2.0565397932120204, 1.1445267193308066), z_type( 2.0565397933154510, 1.1445267193188688), z_type( 2.0565397934149452, 1.1445267193098128), z_type( 2.0565397935117589, 1.1445267192987048), z_type( 2.0565397936047476, 1.1445267192901711), z_type( 2.0565397936950163, 1.1445267192798771), z_type( 2.0565397937815679, 1.1445267192718691), z_type( 2.0565397938653605, 1.1445267192623731), z_type( 2.0565397939455314, 1.1445267192548947), z_type( 2.0565397940229104, 1.1445267192461803), z_type( 2.0565397940967607, 1.1445267192392352), z_type( 2.0565397941677852, 1.1445267192312871), z_type( 2.0565397942353627, 1.1445267192248809), z_type( 2.0565397943000874, 1.1445267192176842), z_type( 2.0565397943614432, 1.1445267192118220), z_type( 2.0565397944199186, 1.1445267192053623), z_type( 2.0565397944750923, 1.1445267192000474), z_type( 2.0565397945273634, 1.1445267191943118), z_type( 2.0565397945763944, 1.1445267191895510), z_type( 2.0565397946225050, 1.1445267191845248), z_type( 2.0565397946654289, 1.1445267191803252), z_type( 2.0565397947054120, 1.1445267191759958), z_type( 2.0565397947422581, 1.1445267191723623), z_type( 2.0565397947761479, 1.1445267191687174), z_type( 2.0565397948069406, 1.1445267191656583), z_type( 2.0565397948347655, 1.1445267191626860), z_type( 2.0565397948595265, 1.1445267191602069), z_type( 2.0565397948813069, 1.1445267191578963), z_type( 2.0565397949000515, 1.1445267191560045), z_type( 2.0565397949158091, 1.1445267191543438), z_type( 2.0565397949285482, 1.1445267191530484), z_type( 2.0565397949382969, 1.1445267191520279), z_type( 2.0565397949450408, 1.1445267191513373), z_type( 2.0565397949487907, 1.1445267191509458)};

References

http://www.ams.org/mcom/2009-78-267/S0025-5718-09-02188-7/home.html <br? http://www.ils.uec.ac.jp/~dima/PAPERS/2009analuxpRepri.pdf
http://mizugadro.mydns.jp/PAPERS/2009analuxpRepri.pdf D.Kouznetsov. (2009). Solution of F(z+1)=exp(F(z)) in the complex z-plane. Mathematics of Computation, 78: 1647-1670. DOI:10.1090/S0025-5718-09-02188-7.

https://www.morebooks.de/store/ru/book/Суперфункции/isbn/978-3-659-56202-0 http://www.ils.uec.ac.jp/~dima/BOOK/202.pdf http://mizugadro.mydns.jp/BOOK/202.pdf Д.Кузнецов. Суперфункции. Lambert Academic Publishing, 2014. (In Russian)