jubjub-96.program

b0 = bool(#0)
b1 = bool(#0)
b2 = bool(#1)
b3 = bool(#0)
b4 = bool(#0)
b5 = bool(#0)
b6 = bool(#1)
b7 = bool(#1)
b8 = bool(#0)
b9 = bool(#0)
b10 = bool(#0)
b11 = bool(#0)
b12 = bool(#1)
b13 = bool(#0)
b14 = bool(#1)
b15 = bool(#0)
b16 = bool(#0)
b17 = bool(#0)
b18 = bool(#0)
b19 = bool(#1)
b20 = bool(#0)
b21 = bool(#1)
b22 = bool(#0)
b23 = bool(#0)
b24 = bool(#0)
b25 = bool(#0)
b26 = bool(#1)
b27 = bool(#1)
b28 = bool(#0)
b29 = bool(#1)
b30 = bool(#0)
b31 = bool(#1)
b32 = bool(#1)
b33 = bool(#0)
b34 = bool(#1)
b35 = bool(#1)
b36 = bool(#0)
b37 = bool(#1)
b38 = bool(#0)
b39 = bool(#1)
b40 = bool(#0)
b41 = bool(#1)
b42 = bool(#0)
b43 = bool(#0)
b44 = bool(#0)
b45 = bool(#0)
b46 = bool(#0)
b47 = bool(#1)
b48 = bool(#1)
b49 = bool(#0)
b50 = bool(#1)
b51 = bool(#0)
b52 = bool(#0)
b53 = bool(#0)
b54 = bool(#1)
b55 = bool(#0)
b56 = bool(#1)
b57 = bool(#1)
b58 = bool(#0)
b59 = bool(#1)
b60 = bool(#1)
b61 = bool(#1)
b62 = bool(#1)
b63 = bool(#1)
b64 = bool(#0)
b65 = bool(#1)
b66 = bool(#1)
b67 = bool(#1)
b68 = bool(#0)
b69 = bool(#1)
b70 = bool(#1)
b71 = bool(#0)
b72 = bool(#0)
b73 = bool(#0)
b74 = bool(#0)
b75 = bool(#0)
b76 = bool(#0)
b77 = bool(#1)
b78 = bool(#1)
b79 = bool(#1)
b80 = bool(#1)
b81 = bool(#0)
b82 = bool(#1)
b83 = bool(#0)
b84 = bool(#1)
b85 = bool(#1)
b86 = bool(#0)
b87 = bool(#0)
b88 = bool(#1)
b89 = bool(#0)
b90 = bool(#0)
b91 = bool(#1)
b92 = bool(#1)
b93 = bool(#0)
b94 = bool(#0)
b95 = bool(#0)
inner = b0 * b1
x0 = 33860316972155444993786373798026421371939187633298958089058826269505131570572 + 4226393914626074620948936004615547265604490912620318630245965505957185135143 * b0 + 37441526755211924331825564564236519453867190604113937282895033561968998282370 * b1 + 3446994320820307097032031501091944760790429817635120053161522474524483867619 * inner
y0 = (2*b2 - 1) * (60671692165106483604271687017658706228693866043851659747576035057462336816439 + 106623529194841966177978043613161462997819727543347939845701802773096694465177 * b0 + 47938224980456232503229816213054428273092270511117363623465803065343455516367 * b1 + 26554478576463918077403240924474355766273225414729945824912137490949982314478 * inner)
inner = b3 * b4
x1 = 54431971297229333624718753949579168895356996521621374249159580775338578475429 + 109922599987230381266865652034812824606163384270625196619141286808347466603483 * b3 + 20881437303513882536145000241140988275700410965039187707257793757735868573130 * b4 + 45711614629433279542775433538377308708179109987126099483045222567080372222169 * inner
y1 = (2*b5 - 1) * (67941070270336610898300787086032880265370242167256588327808127727855653354684 + 7914610996944504619334512747300914331923604833539601302037069388032620265253 * b3 + 37484988275126684089135411772496467274419121649974161751318074268189768049590 * b4 + 58423187167962183997790956993675791196533256124157404338019371616198352161516 * inner)
inner = b6 * b7
x2 = 88930973464381297635837024470312311848883448831298461469838934561563052702686 + 67691388604549271616499668186959250400639820539227465051600028147715753701547 * b6 + 5905242161836463391747922240547459274457254646794898858995512087108916744203 * b7 + 88920389466874909325689300380323478613679953240730946873892524093955830967798 * inner
y2 = (2*b8 - 1) * (54280578284730686408505881826997798704097184887771637185376274859358469690413 + 102486172936731504811956156089256114251973053935237746031773679589242932125299 * b6 + 89297066128574112542649957033071053162857631507004030297537684798336399067439 * b7 + 82864044407841968794212878273644603654837796015523818432366123748474118696330 * inner)
inner = b9 * b10
x3 = 65451959348736685490191104056762622567632773177268838749346319292580156737489 + 113376016858564156775591284924797246334836388724033691868505272651511287807418 * b9 + 91789743906880627141660491631704736858998154305203490500851220037915508425096 * b10 + 54168485752751298105165992994527168261297184511677113147426879056474828063084 * inner
y3 = (2*b11 - 1) * (89675333398076471056554693784413522735391158043442244021562090712870883698282 + 12766819575197444644518949406591763589856820725718005604518479450789243520350 * b9 + 45853769813178221631807171325707236455821270565640117700637507476073749817738 * b10 + 84385214790007112537133629204957247489423816501707208011870621267303842560307 * inner)
inner = b12 * b13
x4 = 30733270695114255474179995693062501537188166769480567855484934644121838593288 + 41843445197469758275278236767424117764769812625086743074447835033803871493503 * b12 + 89149585902572769939844662396752372957201761150094821282671225123656900054558 * b13 + 68619315336272089961141851595360751363933209021459590139410170018969237768298 * inner
y4 = (2*b14 - 1) * (2587274125223747214103178801499820450070701236005753042324229146418902149537 + 10057237954277581473864447071551267669291243678180559456522624232325051464377 * b12 + 111391247346570272597172485607827547702057040779135727467721921162355020166772 * b13 + 84792018272686873254709316254289887879344353220504296072281842365669454971377 * inner)
inner = b15 * b16
x5 = 25035820445340070943139609257460962514656075216503992514165748811238727779550 + 84866909478457437003478165133952766385543931201854117081964079622847194637681 * b15 + 82084517932670254084599541015297043303678543413049426836440087444843205986432 * b16 + 87214924702127554641980519162985324137670060047871712664904850912007490684950 * inner
y5 = (2*b17 - 1) * (59913200772692539626046113072997426545581484626437040475214012295445734311982 + 14749237545714527901123651786122034274431747030914276868918523732483871892130 * b15 + 7469154284945361648578855171824106486061429836004233430725604994591296439538 * b16 + 107545671356138370851118733914219649068894671080530359032315490135273326726902 * inner)
inner = b18 * b19
x6 = 13311138140066761459404618988626040366085773893124788047050152787289418403258 + 44056692330460254659769027106557590085985565711458555579304150014558343778970 * b18 + 44818794418362906799299302902020134699153500980593972804900985468916403721937 * b19 + 54863958965231320701533055257334624375524760420005772506856886950605160369345 * inner
y6 = (2*b20 - 1) * (102117014955705575959623858932281439646073420708517313094811946356915167766551 + 49839634457122342749632915355629936580573494269272840496775499766920171379098 * b18 + 51262614581227667539812544779762266429108431151809065393222740293161056571161 * b19 + 15292636614739455419815562454666864586634474240816653131234507817436276356298 * inner)
inner = b21 * b22
x7 = 95010881276639922005914917651750538742619706898460615615344699756091544425391 + 48938559988070616763194425090842982321117211216135677038263504146717892136551 * b21 + 91953774548662954821980712463525191841705092346040884266432710770123517316093 * b22 + 103392487974062033655581207793799331738979472128370164258268473184509696672758 * inner
y7 = (2*b23 - 1) * (38667759103943533362758497793305683610289650765581589733666387889467420116146 + 107399426453888734345351115946706731176380113066346117568394954868287551878507 * b21 + 95026242949941224026008230366294307174206991013015052925331841530379671874539 * b22 + 65322883399688449729152653410843576368062495377690264452749360499235990230062 * inner)
inner = b24 * b25
x8 = 8411416142822721941124080054953714175010302856925872381699610147508766198438 + 33737938285386243634057159008334462151541152781660858512423760914244828828930 * b24 + 43011982754871383371653957285347108629901670285299813934394139742860602871256 * b25 + 65191242767433721911902130174941496083931921870412024243581391622157456621389 * inner
y8 = (2*b26 - 1) * (52785340782668036407952257395228683326821511643071960112600388386371878269618 + 25158261700112138362583558697124842464011987446326739200780665145350227063672 * b24 + 33899198907057060021604368607190293541868679280853196009301965951492936263578 * b25 + 66290967881677094799955955264529305391862880877571368051210151342724748701211 * inner)
inner = b27 * b28
x9 = 55913207020155169205606095253145756669846378044486988973130442139082553613849 + 59427082381908107465204551039911558130347666634056696808394633609920913507413 * b27 + 88845342534360932144647894837521513735889700395860905783449989066651766135576 * b28 + 70359403842756754124751145894901642151245966665536529096062500037757039795838 * inner
y9 = (2*b29 - 1) * (57503160300075095536177081165534533147841994154076489764929321930563621992299 + 89931964273136837664676729970746680320677292784060056360799406664519895898963 * b27 + 73543171356793984368503954110168399439941768090486118534861776798564339037610 * b28 + 87107792781743023065195458989251453613041890452690416056036130704080081167454 * inner)
inner = b30 * b31
x10 = 29633542631682911438638685612481269260951414954874072472655265408703537959243 + 66264564174622352566327481863031237859073149175702807429574311173668677418851 * b30 + 19151982247460887158132612035890227817523561420740855625766243171151164617912 * b31 + 63868340269187844240902195914781360058504440168945552958646038402598070508622 * inner
y10 = (2*b32 - 1) * (28248260569463965213018670642357818131036726674139397429399646102276894673683 + 12324909917870350454550514681824222090142389330038284196527316897483638789030 * b30 + 81271730891114673685892529344015522318474567383197360182706970414511761999313 * b31 + 71249542437391727902880653667678475603629202543107560150113703944109619532892 * inner)
inner = b33 * b34
x11 = 73248382074389596756452911501623294446744363676965329425600813424849873613199 + 5522135253159756131756209033957923843939868356671062846852634167179547313729 * b33 + 2109877780698555824459243841279414548255977313990317688298723037321727397807 * b34 + 106350687090620468458157503160639668196923160059958770710245290092609482971950 * inner
y11 = (2*b35 - 1) * (41286419974058525743110399365447243533577555978187988037687857142764758803266 + 80656033737192439024583992623941311683074519158347719255910719419885958592613 * b33 + 37464196566178059117417652747584780963369196014272738371646756209726770418300 * b34 + 84919009971409185873030965409080944761509172748948903956607528412537826523770 * inner)
inner = b36 * b37
x12 = 73182048111244492279108107068311889881512371965869552997440613874741424981831 + 22839855117725518878945858082171032430723972081554950574511011667480142035005 * b36 + 25944898768907996218531920835219810338336233848977076917463700389911471697744 * b37 + 26862809867744141147009828134225496901691584377744947342099480443235790400157 * inner
y12 = (2*b38 - 1) * (16777435456203204476947363279182218202961872177784856782798630205919199257489 + 58839346237032636507463735002191955228714795572434184243252616112522881266327 * b36 + 68923008469557330978870509047827647175110739094207743142293225507600648590029 * b37 + 102997539866921324710840442771237639851469896243757883102696230839656386703591 * inner)
inner = b39 * b40
x13 = 50588272554553998349004858197229717476591421199029779377624450686259922575241 + 65486930156978283074073591673493531895542332262229004173805862059369930483920 * b39 + 60209403506320401736614926335275960845703396008099196200952283371697255436890 * b40 + 77343639726190153146082619210509597523639526262875348892651906340990352302837 * inner
y13 = (2*b41 - 1) * (90874025597000825453098621715884930544101648858864139944609546503670927633903 + 58281307168710408509356464339579482597911598264898551290165795608794541925556 * b39 + 99632891165444325965527631902139052767347664716955264168401635700977029290742 * b40 + 38194620733828167346301413021732938950089338282111241906816535447479029620921 * inner)
inner = b42 * b43
x14 = 57727844442944156664156605086562232407938222860528160658199003480860034630156 + 12213209531623351366670034594012575904625764567442449017253330369388523358001 * b42 + 22372524779805939232055558051753551613650658134878325454350291133451722018221 * b43 + 99977399144312533969768302355379497883517768531363017881078986365285743746208 * inner
y14 = (2*b44 - 1) * (83947856516154291400692444563907935091584459986177373065759193478680318722596 + 96179987096613403306163541872872169032600523409197678016691509032685363420327 * b42 + 21833664423677635331464780738166894244039230859467230712160791905317370217472 * b43 + 99152339212633073233321523331267614844350910881159491333685082085140770023617 * inner)
inner = b45 * b46
x15 = 58815831005196528922101427851975230856703679571886734031851459550552259455674 + 85721002540876642867391688164378624626487107751052899821262526105511277776844 * b45 + 70148578850355851736688603374936359726118031005549938686381520730156977318763 * b46 + 84299373225570069503096249981453879549622902045293941546559381933874592702934 * inner
y15 = (2*b47 - 1) * (76326173816207987674646286624417300708336205060235485783064932486035151927577 + 42848443996580329491058427979815000509292007564519776205362975751930533609186 * b45 + 28623840864945300745895485974997472339951713511216910247880782167519604724300 * b46 + 106888074020922405060093763553252383830503443189574767853206734646160215901642 * inner)
inner = b48 * b49
x16 = 12237021982639180841854684890298374008966580340747689713952570044991847201641 + 58043305046217383593331413611928253751129617547504361210361177789848915364652 * b48 + 26374960802373441771771279770251235664886404872120991172157992712545896575803 * b49 + 102358088170538213984227585978995006478188709215801250923486602691233403375118 * inner
y16 = (2*b50 - 1) * (2256857940421981929210649079861841823217966744700471188926395299257357250852 + 60590907607870835857844644330741593952645483874180734126416305729409014341877 * b48 + 96647460040158613319072073729144628505688057858873083432079580609477533858357 * b49 + 20159541063360978381608719394307347085105022303799601390001197906398091505137 * inner)
inner = b51 * b52
x17 = 66603265117643350709296570731947774209342700787994872357410227400027041276372 + 11734794441511979394257058216277406685202675287523103451501638599511400258488 * b51 + 80604806827204173372008992065640421096347512791347546962182704613292979725920 * b52 + 95509980439731011908847741658681637766267488835946676779725275498175984507579 * inner
y17 = (2*b53 - 1) * (16351909518624476650403010162298020643942598406508053924342517975913929130730 + 63061223164706743599503077153185874360835463169391480329271912318929686995266 * b51 + 99287353405141289725961315674399862722697029767546728154592848765437028002295 * b52 + 64043703131189447665807080599122748452382614130873538040441926082175035415121 * inner)
inner = b54 * b55
x18 = 56824028297556777804233574956978540383345692463569545624543886570511641635489 + 110952488617357988586919138028563003357124909743880192761573529894142178927065 * b54 + 82526692090208549496220640383095001640825923693851446076044714120207087354015 * b55 + 24821862528250540948067990491498391918951810589745700374403302372890349709392 * inner
y18 = (2*b56 - 1) * (60853310437605936753758696520398202526983600089583446017614538463610607187633 + 97824483228999796420221715878901594641475058690773414166975644157410665178361 * b54 + 8329295830285690202052568423215975516388157296520298792467423041812595336244 * b55 + 65488259852644497318567812884779550134753273579059563246870624282074405828160 * inner)
inner = b57 * b58
x19 = 8359866502871307716728216154245762591522402442982190565112805583705608271137 + 41067310705704260716943012637223100319609286677182100884748248053300803274631 * b57 + 8601645090383692466645300245986674989745782280605019512197560951126220241031 * b58 + 6068400579527580628715000132889579594744637038425547238657401727873181510038 * inner
y19 = (2*b59 - 1) * (110154338951222157866408858752386086927249523174570547955915144905392700032602 + 96896940625686845945196561948837695223855482072749104443520915941147655040723 * b57 + 1618148355907442374905603643987122956493390398107748743046509959689876394112 * b58 + 100712122143155296520720649486248978550906947685673055998149230875061090524426 * inner)
inner = b60 * b61
x20 = 37287171075822244213569076204437593470230771088686989616463419667049465052225 + 86059931446864270411562833510952319662672652148401531873124521411313051197297 * b60 + 66820497254966682574009414615136507631903405507474484767648132975390479203833 * b61 + 75604440239310923947583859695423904035042358834907536153090813848498124985533 * inner
y20 = (2*b62 - 1) * (70520995619489162795097764728270449090739518275229869570648015267487619905848 + 56812385211784391241111817861728969595288891994028410841816240905442233765076 * b60 + 78961234671486903519834018376983149815421374929456065327842608272864475083037 * b61 + 67101905276187145319793929027635209318151767552866232752491351741062479875440 * inner)
inner = b63 * b64
x21 = 92052609322910358004278259661558449559961786539854852837116363820422053872321 + 7463958927200229768242436217014281137955085234891030657326467765368760305351 * b63 + 57902654133107036991725878371584542019822208106632718272379801067460673326754 * b64 + 87089336172143096526920794436217950306424448208797418763390634447582016746614 * inner
y21 = (2*b65 - 1) * (63875028040890532234206641476644951560545418856602112667530615132328637786708 + 74573097149450953379116014654558785223691366567829285822605327971597594359120 * b63 + 81253797022240921882025986317081649415559178897718510823904405595427379765413 * b64 + 70815895107453354315192737700702151937590047637594551739261531933822105317041 * inner)
inner = b66 * b67
x22 = 75500503887445573436574808261440124798638489108899351652789661495934561415891 + 103590463289021820789181030352265813822782716611695633714288758874208988917559 * b66 + 35443138471333497758084378078212854361183213296063722640583318872233603525741 * b67 + 103714089231891347924479485981918797096976314712126191350774230854780580407702 * inner
y22 = (2*b68 - 1) * (86849434719933341431325866698220176908366513865113240138529673682486711033121 + 99275594555127292503722078063272315621731871009688471590441574419084032641454 * b66 + 110170994948085977787214478425627169107972122005824849282664715930199076179556 * b67 + 19869205087412985965752200540600804246108448872599294249063457207813684106002 * inner)
inner = b69 * b70
x23 = 113204353759995284784430340380090539747378955079938037943439920359955718500524 + 30817934087081450199938391439236407609091339652282739157053787775103247529331 * b69 + 77031554832317016983585085432696667670959517895946986966190355037167565094765 * b70 + 102986678259989634382821741231551063965576796805556513814511748562198638744381 * inner
y23 = (2*b71 - 1) * (65094110591526636586504395240718126999817779916845898158455933926603139055075 + 90904427973278528046785495648255588199565075600628821571269418124393782910778 * b69 + 20975563672245634772652395433490064591353055529229888757921035730329253653598 * b70 + 100166902518119024491264094313547378282771221008775582969793622904686597006264 * inner)
inner = b72 * b73
x24 = 819670498725456554112562588754253705830087505248311481996166776137683644181 + 35283950506071476396423746509725475413800496392658283195838630665892679200306 * b72 + 34384663129441002707499166135539033121624833124650270646541668548690870382554 * b73 + 7527399733712966693284548651184879618074865760004671494002653440074177087509 * inner
y24 = (2*b74 - 1) * (106106696234261057519684427231031718666217390975338322877766829879287870378473 + 69251685544355784419248908316140957332534829919006959133038919745806269842398 * b72 + 66995697166685670095238124667551658015443349879164046015620407247515778833568 * b73 + 109677797095127090911845578556441421844670281432436497523307992425684461938490 * inner)
inner = b75 * b76
x25 = 82093278653300484835424244236389703932153114583183783819308589719242035919158 + 26466271905950822119863871243747661564497722079607224526845753409410796761554 * b75 + 74181208227381804950661335324163105136575557180795203850912444348851827205484 * b76 + 11708459083500298161783264487406468433968142783229645960683265004479121932452 * inner
y25 = (2*b77 - 1) * (59649796510603955478858302134201615832583226958301001645980921795461748024717 + 80426024508587160477938809918338864515174073229852681539525124207557053086215 * b75 + 51163052337776103418875282364188993810912462623956430237861793419732194923542 * b76 + 6473160374871071214307637786521541533983320114860439884214014926479550267048 * inner)
inner = b78 * b79
x26 = 93317146977034538816679938256202855059139935654063743224411211947712467239113 + 77481247380239134944036813419356974808843212591123536708184150419626167541458 * b78 + 46959511906069386804422049661995651814048809144182976433924020567542708261643 * b79 + 49228774653703476080177684303233968042278562488855900655182337056986240321066 * inner
y26 = (2*b80 - 1) * (97920255547462007488478173892796513533459709638080276039356563523593324282555 + 35319063188642142806624688255832409425743286485547251561383173930053590210817 * b78 + 54475024020355196497136247202939057544108875748500149650137881516204199269083 * b79 + 103815789500224300450268094517213491061433618061452675293402896916919022009111 * inner)
inner = b81 * b82
x27 = 76460648203778005980970586806220805370091498900169392227999588435840881599864 + 93822012378400213736388573435534903985013213290396124135861872209282660511240 * b81 + 3671892689548123753582266626618078509520149103068875119939022146046783382798 * b82 + 3256584210891479938442124044747851942230589896920990735170835890203566439189 * inner
y27 = (2*b83 - 1) * (65848209820894434303755686302378543768394481761358784680476119288309164221669 + 80541552340220915530631336245465493888290816891186171409747345434292701252711 * b81 + 106656416944763813516559775741704422577562294833875960255888758479101444170654 * b82 + 91029414804221924727713120349758355860795622265610861693883255862613194233637 * inner)
inner = b84 * b85
x28 = 105285567640439227525766996746803069373293855148223941823151696657025145098361 + 64417063655136724926017637092636715201710979209986694941999437811581431931481 * b84 + 53732696674767352086201593042983321694325727390422611230649098249808623723172 * b85 + 73901245828176319063592276728523868059189305926432855364272709254203061593107 * inner
y28 = (2*b86 - 1) * (75575707347216773461746955738914903470636117020328119917864329471484966831563 + 80029778249800507136391190994137280123305641344152837075695145764448627475513 * b84 + 10804841045732828531382320510121818732321866813171756291714597153345628883659 * b85 + 25967494399461557273238856921252239580540746613066505891911647578489365215163 * inner)
inner = b87 * b88
x29 = 57748148607103520875345230372566869390288332192359485016834155177911020237260 + 77773448685005414655626556513338970992017264425900963392724233004915120238993 * b87 + 18847555747165493508741619153709981275277773518330985014247630304682791583314 * b88 + 23764597397255149832530022401740840894148071415477554617805387433444925226202 * inner
y29 = (2*b89 - 1) * (92993941910695366629046487282642134385343171741782044869246096402242727960215 + 8351638178645459997409271560885827840146364816304394633673621426276253695730 * b87 + 19631111971654327133842432024810842643062998576782468406583984140686401460128 * b88 + 97016602767268434815735483564854760677733262259578373146729908205381524459304 * inner)
inner = b90 * b91
x30 = 115014892427297465363145553985518283542829877579979522503366995402926389315933 + 59030630864184543959001569794247737174774290077644691506120908528593215914039 * b90 + 52532755510654189538115480396987998384952626128830699693342251995372759788839 * b91 + 62339063845645444776262210008051612997815446619717202727711962293400568272543 * inner
y30 = (2*b92 - 1) * (25959156617872119272551294645911557729188406226594131128012408717847432972539 + 33576230181298812077510381218621973343325522061789963517267246561272185415371 * b90 + 13787187070592742063025114167910675315623308232361500846357339811350822732724 * b91 + 110257429281630525208169516704072962257690515920779064291480589770671909280016 * inner)
inner = b93 * b94
x31 = 42529372156416565174016740688551634802805600689426030963088563816643069531500 + 63562432453065367981891369672445732521261185255626438449104564702062183865881 * b93 + 111701791699587389723920764174185142500237491784919169230193147504761848113921 * b94 + 76478667734985052599201660823917358607795064027165245244649528032000616851840 * inner
y31 = (2*b95 - 1) * (84005935610929373283805580190469180016605069999905896626248533828783693231818 + 58210439882862773306950913144274238331288816692586756657348274726756746332506 * b93 + 74782244543259546156367355447307160696842520630553859952100378075759981854248 * b94 + 110329060384797752559238542570631953612942568831817245802428122092341129449088 * inner)
x = 38139219804258785393222903875106799227261520761320433899514786570887530582681
y = 80898821732379072066269103706781960231278130589836359077260966665518451413329
xd = x0 - x
yd = y0 - y
lambda = yd / xd
x = lambda*lambda - 2*x0 + xd
y = lambda*(x0 - x) - y0
xd = x1 - x
yd = y1 - y
lambda = yd / xd
x = lambda*lambda - 2*x1 + xd
y = lambda*(x1 - x) - y1
xd = x2 - x
yd = y2 - y
lambda = yd / xd
x = lambda*lambda - 2*x2 + xd
y = lambda*(x2 - x) - y2
xd = x3 - x
yd = y3 - y
lambda = yd / xd
x = lambda*lambda - 2*x3 + xd
y = lambda*(x3 - x) - y3
xd = x4 - x
yd = y4 - y
lambda = yd / xd
x = lambda*lambda - 2*x4 + xd
y = lambda*(x4 - x) - y4
xd = x5 - x
yd = y5 - y
lambda = yd / xd
x = lambda*lambda - 2*x5 + xd
y = lambda*(x5 - x) - y5
xd = x6 - x
yd = y6 - y
lambda = yd / xd
x = lambda*lambda - 2*x6 + xd
y = lambda*(x6 - x) - y6
xd = x7 - x
yd = y7 - y
lambda = yd / xd
x = lambda*lambda - 2*x7 + xd
y = lambda*(x7 - x) - y7
xd = x8 - x
yd = y8 - y
lambda = yd / xd
x = lambda*lambda - 2*x8 + xd
y = lambda*(x8 - x) - y8
xd = x9 - x
yd = y9 - y
lambda = yd / xd
x = lambda*lambda - 2*x9 + xd
y = lambda*(x9 - x) - y9
xd = x10 - x
yd = y10 - y
lambda = yd / xd
x = lambda*lambda - 2*x10 + xd
y = lambda*(x10 - x) - y10
xd = x11 - x
yd = y11 - y
lambda = yd / xd
x = lambda*lambda - 2*x11 + xd
y = lambda*(x11 - x) - y11
xd = x12 - x
yd = y12 - y
lambda = yd / xd
x = lambda*lambda - 2*x12 + xd
y = lambda*(x12 - x) - y12
xd = x13 - x
yd = y13 - y
lambda = yd / xd
x = lambda*lambda - 2*x13 + xd
y = lambda*(x13 - x) - y13
xd = x14 - x
yd = y14 - y
lambda = yd / xd
x = lambda*lambda - 2*x14 + xd
y = lambda*(x14 - x) - y14
xd = x15 - x
yd = y15 - y
lambda = yd / xd
x = lambda*lambda - 2*x15 + xd
y = lambda*(x15 - x) - y15
xd = x16 - x
yd = y16 - y
lambda = yd / xd
x = lambda*lambda - 2*x16 + xd
y = lambda*(x16 - x) - y16
xd = x17 - x
yd = y17 - y
lambda = yd / xd
x = lambda*lambda - 2*x17 + xd
y = lambda*(x17 - x) - y17
xd = x18 - x
yd = y18 - y
lambda = yd / xd
x = lambda*lambda - 2*x18 + xd
y = lambda*(x18 - x) - y18
xd = x19 - x
yd = y19 - y
lambda = yd / xd
x = lambda*lambda - 2*x19 + xd
y = lambda*(x19 - x) - y19
xd = x20 - x
yd = y20 - y
lambda = yd / xd
x = lambda*lambda - 2*x20 + xd
y = lambda*(x20 - x) - y20
xd = x21 - x
yd = y21 - y
lambda = yd / xd
x = lambda*lambda - 2*x21 + xd
y = lambda*(x21 - x) - y21
xd = x22 - x
yd = y22 - y
lambda = yd / xd
x = lambda*lambda - 2*x22 + xd
y = lambda*(x22 - x) - y22
xd = x23 - x
yd = y23 - y
lambda = yd / xd
x = lambda*lambda - 2*x23 + xd
y = lambda*(x23 - x) - y23
xd = x24 - x
yd = y24 - y
lambda = yd / xd
x = lambda*lambda - 2*x24 + xd
y = lambda*(x24 - x) - y24
xd = x25 - x
yd = y25 - y
lambda = yd / xd
x = lambda*lambda - 2*x25 + xd
y = lambda*(x25 - x) - y25
xd = x26 - x
yd = y26 - y
lambda = yd / xd
x = lambda*lambda - 2*x26 + xd
y = lambda*(x26 - x) - y26
xd = x27 - x
yd = y27 - y
lambda = yd / xd
x = lambda*lambda - 2*x27 + xd
y = lambda*(x27 - x) - y27
xd = x28 - x
yd = y28 - y
lambda = yd / xd
x = lambda*lambda - 2*x28 + xd
y = lambda*(x28 - x) - y28
xd = x29 - x
yd = y29 - y
lambda = yd / xd
x = lambda*lambda - 2*x29 + xd
y = lambda*(x29 - x) - y29
xd = x30 - x
yd = y30 - y
lambda = yd / xd
x = lambda*lambda - 2*x30 + xd
y = lambda*(x30 - x) - y30
xd = x31 - x
yd = y31 - y
lambda = yd / xd
x = lambda*lambda - 2*x31 + xd
y = lambda*(x31 - x) - y31
x == 84747209671529873847980189480931821728676133408892503733464016550518449971919