STR: select '((0, 0), (4.96278728245476976719683412799706982254378034538612826110980854117349509596354987350983289328911242634236238660586651513898713087589089805621879531424090333595092661061268774950505191970269897889791828507729962914310362864787385473909517559475090947940867431977321392482202051175406876569766808303661518011780100983081781633871090765261775538325296669773516691323485498210352876343892574724098247185590129743539911691689926451781645478512142815383716695421904980145422596898314670100130385992583718479568270876627461983104961913635824551575954813512410726694127976125143314673137347726254542757378717985728453962823939995706859710876714102655478069919534844144229421253922007622065554509696378847712518143999977846888093757464488486874643058399669826030731201171875e-310, 1213624708153246265085807433301453750428420448339487733715563942174920304798523835661619561883763535532439224114659196034304278790144), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (7.572612428740384584454209648332715433750718722283878937890147727373318268278839209986870857699181669682928911174371779305646104154316293346724485645146314575989549304563458666331284542745095773754073899278873936262446786066180202772761446849530762470704639870560382302694745390292721999723257369519872284044547251107877787657184523199886091174666689177075951679754544287604028301254591985488839876768881578652736504596187963499652646246779064771773920701915478624652125152432996205305666194611825720121442845426912706440479471169144152998057733500255843514608370205982431756123761011988413819115111998639914864502176101408778326065878344857284136684111014124273252925961575906194547650830955028590473012945958671359824969371299374643058399669826030731201171875e-315, 0), (1213624708149211499651296638630116376722165742285847568414268280436122399553929073752218247517154714667939008753040597328096860831744, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624710797121353687951345179127888496538136383703899720666659179610807602932617477743651876188138206412122231771623863427516071936, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (6.09975278232079606176624409290482037002278950156631778654584439401716146103659068604302461020547415662505930093167981382536197866551177112304837316615329419970753260154420208794549424826565011443842342900351561504702463696359450927400085338252691496568987405206469334979917080540843660407878669458245145939896838700172182934415266246641592590764649764176663678045728876619957503635305329225957393646240234375e-154, 532356557240257243825295120339419764578139103206704855923659336243047314637262116030523436736686487803709317178932574877985769773750235123232891613968692201792220559292921848389649322053607268933703354851883666731360731421635122298880), (1.75693645813353928782585162458071479842459442673055902929776428841370066192677227683442472458681950891315288161134992309619335989595971364243684237038735933000256241549847934610249034913750325088422106878998122024241586443183210345522805047044474656961865515432573873155052152078524478095230359921844903834434047113938919182840400758853632703690629175111544962709954342816587313791387714445590972900390625e-152, 960555910070617592502282482121172102099799830402156960042581929810185006174048063643400311422812726835609959900955733215887912193728557855455006770235196548812498808436278392737185717061197670192108694763804405530569714388116808043255522820855906856632970134833251910037161847554048), (5826636676926769599994272633057921396582504136206493594307824021635118833660947814328184130543171112936620734441495599254571403226216785224657403015561301867910651234002899485774597284947845366186433734128040604588725259487246723239720712170500341628928, 359988391647116049461219092811533690812066475566134068801848205192569379898790012284228301539495913665775529439772108723810536777526650200004866284480053684924895238514481776135311233959865590261328089095831705832855744049840128), (6.0134700229949522427053912324968923346840995711355391807776938409931252428541839921277948999081645316924558444320612205544434607268448425259017480019471522008238017140151035501050375303743202798679285351515323932418386751008033853699374513344343088079888890497211441527391282057889082575939937565122183591039647233670691696989532942457394453133545989644840178037048239456652254375512711703777313232421875e-154, 6.013470016999068486372015097393458560053832093222652467902007537756983588225060285124881784104124893743574124214167231110029275641659461115521922211798371558555566512602867558593730200548093934866657440594983697345410323489393426734434317871281465849873856882103238652280105403588500617611126865459486926900482516591932436525819605399927808041993473232801866779941024621081169243552722036838531494140625e-154), (2.58276549921542636324147483041612187107566411947150769349700820494875754922359380285635261560260956918896029523449002754630576088155004818779802317830380251515656433954987854880610543269552959498723582302627498749107417693297164786557215747124433991231062002804779148257608913806725527321836595664801874024316495161794606800134408559110389159985121665386031963862478733062744140625e-144, 6978433818536730987157506979944900503086512205170872523274441968699258456353050122964924825235773948387653584693362536686893828357663223697374214355633285632164768431102905597199077571084930476416768503174443314360981927811304255249917521869305242714112), (710656477498341546637209013850031318240669324002827940847783230545716604060558205872806956241406285692024975634477710041383238421044743744367482920977684623094828437430136618573665685109146124288, 35063889971555186696537720663036261160642321599572113523803202423074171108112421890906620731313631870030099490714771406504433228052577159632598683615232), (34878108964938895814879831451184215578206697706178167094450372680892537618924656562154749531670996177069153850924860592729152744020739125834950381666304, 7875967802434334587976806546142120545563957967996598745738168084790817387087183043117432060063825577753197364006981304356882456048957973664046826787039417012117961715492689311092262862517258482882078457028076604814884661523573561311369484592018588580099570274853009381186863104), (1.1294778784999095377793457200684527501711008004780596187599164691024956430205821623826396287011039477578259292997209886300498124563613802767765719009218894328713111778472970803703459845645955622868167332399237582242393028168942193566880699564591466944555937620095700690448253362212828272592708647877533635853829189952163917999095474682006622000978624175323208529512328330203614393951310159786728836194773904093281444038361898337537154633969090868943388535751265020272097828422330627617465821303284687640706688098062576661404582810999754882759286826836311981264450447658276432590785130591697423617094970491389770915624759810597303059195952823093188896078106301606412814732829145105175841038448380310338706344190779372714940158306529127685280400328338146209716796875e-306, 1213624707564901812882236492820377088299492029980245879687257167000583259413271397485106652587823538097098445352637155943521351368704), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, -26817952162201415987314422241235859750881028562619545987266548474630290656962324883719267681376264175906755887689671984923841768267936883711020868621565952), (1213624708152883136196701461781033386794857524794660118838447332618428493326510307089773443590768741654634204732113522150745611173888, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912))'::polygon @> '((1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, -5.27735271318954684282294671638641092552284669940685137621412047533850636461652699358376677776052479222978273754942206773734656345818032680495512921648972550337322718770820876832496554997955101003866613882820519037670687388978638051104328590251387593553506331040818086591080791417892223716000708612482986021822913277712577086501176404365054395384504459798336029052734375e-137), (-5.27735271320721201234488318046037649636410444375588359756147995427247118704694606241414597380718578169179483560681744830779725033450595229240140748854471891060609399540499843228670209149752493083101508194570516183807918015267524126959559690868975642615558831951198555310328228734815099375564982579797746352749111427387793829351346486244977995738736353814601898193359375e-137, -5.27735271320721201234488318046037649636410444375588359756147995427247118704694606241414597380718578169179483560681744830779725033450595229240140748854471891060609399540499843228670209149752493083101508194570516183807918015267524126959559690868975642615558831951198555310328228734815099375564982579797746352749111427387793829351346486244977995738736353814601898193359375e-137), (1213624708152908826304741510981479792729002818430861030828451676089655995613809875300368459772087383756232389697111328072195291217920, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708153058869144337381158320151313704165312230774475593608510567542715093243008874321150095649282130991455871519711582379573248), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1003886829499403176377473956384277527672634151116817474287618788967051215814158209010300003930458085562253312), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1.938588782207138191335812025173852752550265441756877428478913353834852447754997549372528903768413358527918554326254049375101005798648228703185373539880341595823136131063179067583992221063084211703785491929748461641998246077900107415639472723224010984954738598382042219267283680915649079384030981285052938974690681242666919640121906627241036488972806778999409085422189344544667344704333658647406187525459001664105105980025488600924344575686063252783232759227997442308690820767850261201123099371223135657273775272594364342232391666362355855032908923301463901299096182482003179777062375662737652510008508394475767191192595632947497907975015404431684081364464061323125968883144634451561707036222191965103810254140635279207038714488486874643058399669826030731201171875e-312, 1213624708152885657925098031027702972653423933985943643941760642407015242017288178815966819412247872167674517366714533774936990810112), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (6.75101153037360944238019472035586783009232319090075699290569173760247858140642348517055445587495216973182188556946025920269658223821099742153364731502926718982174341733707180057910897462575999517883118591837348300735179214013425739011746168438827047202556873457284649780802257604241342201402023671703376459609986183721144399915250220927446276790040707751663999200532149032187384765178086410255057245842555858935460168820767712372088453776086680591106414794921875e-177, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213798000008780029455680600257975599096918754387296156399489937014804040337047304133938266975812805171182069792091863486573393739776), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912), (1213624708152897478526956949371466656365453977070085167863541782041015626505309452532498268575431296447550982841406775763334082854912, 4.3458473914515909606373437046972660467372494473421454602906808767289935183892320648062688748200778600287749766984815769018273485449658222602037632085690032268252065523569868310998013869165262903074559511912776403473407622271517099850428045711439992019529708882160955937892383650325133529123877275235868230817347745626594345418722236010703040890149219116932377620459886755149186076316754456767645021494567769075122155987110402301879643879841609105658255788000918732362804761436979786047192450917393390648601095112156358767873315004196610648730830803521503509134387179958782399930131569908606804982053161749496980447370741260188583315068176484201273757826225140508620380305387757885525185951890898908150357353484181451385814747012670267167777637951076030731201171875e-311), (0, 0))'::polygon; 
