diff options
Diffstat (limited to 'test_vectors.txt')
| -rw-r--r-- | test_vectors.txt | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/test_vectors.txt b/test_vectors.txt new file mode 100644 index 0000000..92ec1b8 --- /dev/null +++ b/test_vectors.txt @@ -0,0 +1,11 @@ +# Created with `consistency.py`. Verify with `consistency.py --verify <path to file>` +(23402227261848520646216007809472085559810150596006988002057806796880040552878535431799946983159584843102520825203872282127567313875285336369596593712556899, 0) (-84735165949981342248723629885738768084136007237364855584774213463806712210047627688687486227082152257130605311799918377145067581568938267385240792568806, 1) 846923981206860774667188923127927404866138431504857441785556155002892474407686465068998563030997400041497236660113832719116298437902864009587446028542241 495223569896221471401103296510281483150752395308461754007410140150806683713462024649455917623555607719194429219057269086413922164556106379811164563987891 +(8151913166835188645086976471579431757677956163076535481181079380781949027431000144492813747813204255549344081066398463229652195589856496061540572042475033, 0) (-2358860343366939881062083396583324966780763296920004912576119560865209707958961238599297636371313926690661958709142650710972403896782573177807452045194433, 1) 495223569896221471401103296510281483150752395308461754007410140150806683713462024649455917623555607719194429219057269086413922164556106379811164563987891 524315490003272400724219537729404625779680673886522284986704723536960610516914425357084425330581137712145805813783752093426611499361593938603692942622388 +(25168995013504065628922043722038250857297335873546013889014306934341402227643300318598717373168468358202881709136555809965099832947342823867808432971137991, 0) (-1676076358252686014648131993353502522840072305587787345435644571844591731739041765356795004084093230148726675857192703746233024711709193205410486852202916, 1) 524315490003272400724219537729404625779680673886522284986704723536960610516914425357084425330581137712145805813783752093426611499361593938603692942622388 166828161377260649765792370318157944464111651147408318415594467212358683164057267458109140468351360835471809098663766891734644901064003892612503080136898 +(15482184495980516407150681083799254842825784397041170151227229904717783346436330162577876682839356780517787145412946050657237990668974915168859129602439269, 0) (-6724680441921061472540408467288946230410952543447626083413490186966787594580601195069541928860328167258941644159827674159366987247862854471105530761455081, 1) 166828161377260649765792370318157944464111651147408318415594467212358683164057267458109140468351360835471809098663766891734644901064003892612503080136898 465265922491863568542345097833915894732907700655101896849037894308983929558600326570912906400123399199012105583841230896022782642965690762743849995814445 +(21581720594586019121813028327624695027780075827270523324430117811599987169058493354841356262862534838991236404537038970165545566976019019238696902702478537, 0) (-5580802068894021688763197318902284854890013092589255166089411262042771802913985439355301043121383019582701601833323778008608357542716047814201601988065754, 1) 465265922491863568542345097833915894732907700655101896849037894308983929558600326570912906400123399199012105583841230896022782642965690762743849995814445 288378082377503929924305594023470473375849162851409106549011315019424255546131671615515842221156439195940010742153862423343426831459405323194255716149346 +(18458919979345387313371416722291191154159068835323035925504655983773798975250269327592558842258051045100181886756025315943757104739804208341644211904960451, 0) (-2390053501555726509269638099496587052941783770672046858551571187824741651656320964101921483485939007232375609301161775858985896766086180075046559036911349, 1) 288378082377503929924305594023470473375849162851409106549011315019424255546131671615515842221156439195940010742153862423343426831459405323194255716149346 815254054116611186370378794820367565633786051838417801886395477988712631787551581057858964850127357685942448605606770494165136260500725732150268379759334 +(20667909010216216433345681546936161745485154560612096630267520893169199969514322576338127191469907440298076058377100777251699368332692106704677866117580859, 0) (-1343777989060679411265849007796877454852718365671062193034772454508867327733467941715113079078119059047777191883418425389586738144558761872512687115910967, 1) 815254054116611186370378794820367565633786051838417801886395477988712631787551581057858964850127357685942448605606770494165136260500725732150268379759334 362981830706489792442577579960272881232290202762100532036065294171412864596091401061560520303985179173270627709573095948042045066141990059209120491149792 +(11387550952872032922704480273250543327217223153336723257985200487808264597066236267056246170355815670089067004725240722200900754223567238491327846305883477, 0) (-4977670357123066562826565457513264675650010545012721416804456690882231059600300530852026733929097015131771586153021403273231816372955423484364424268150667, 1) 362981830706489792442577579960272881232290202762100532036065294171412864596091401061560520303985179173270627709573095948042045066141990059209120491149792 213896563043085847725782818915064291860110202954387947182698025327926112393767256550825787152505968856013871225794813292517898282229591301532574133737017 +(20633776925636284680408541356749017340056728468343919880959418125207000127352493185594560407396567869761272777353291440100464662438594459732592463705943069, 0) (-2137006658465748065260756969805104266867617472320771758282171984686356889054048208197095465117944211304798797588369787764090918075948990811358598880388337, 1) 213896563043085847725782818915064291860110202954387947182698025327926112393767256550825787152505968856013871225794813292517898282229591301532574133737017 108306122591437113986775255828347385584405331683787148695943254814604641308595484515776156038967139934705794860783522591228068591841308610377252376149041 +(3816965634897017931740331407202931323211234390148032286799984577841863643215572511121985248805390240720819877187509605459358247345172885410425640136806503, 0) (-1666975673026111696114285449384176329131449022951671881328206195237274615439220077253331130623109308639899960819112620527421038529356146613422630613918055, 1) 108306122591437113986775255828347385584405331683787148695943254814604641308595484515776156038967139934705794860783522591228068591841308610377252376149041 546284084178793159350791624809447817498935058681865337183411569579625418323746608897603459142299128757448556656581551879392233448132807385052936204899951 |