| # Choice: BN254_CX, Type: WEIERSTRASS |
| # Modulus:=0x2400000008702a0db0bddf647a6366d3243fd6ee18093ee1be6623ef5c1b55b3; |
| # A:= 0; B:=0x0000000000000000000000000000000000000000000000000000000000000002; |
| |
| #test1 |
| ECP1 = 1CBBCC60DD7E41921D1BF08AAABB70E6F115F8AD7BC7B4B7CB69D3C2A4F896F5:0FB719949D18E531D90A6F8470CFBB385DFB200E29728B3C4600B0CF95F15D38 |
| ECP2 = 14E45D06DE42B769EFED190A18C2C3ADAB010137B6969BBF6CD0C05D96D03E4E:0E2485A886ACF7808407E3B8AF6AF2F1FC2AAE77596E98FDBF5B108038DE1739 |
| ECPsum = 1CCD96683B17AD0A55401396734AD0FBE099328B89BB85CFF144466248A1EDBB:06098D91C915CDE6F5D1D227BBBEA21F35BCFC3985910F8352CA7B20A39BBFDB |
| ECPneg = 1CBBCC60DD7E41921D1BF08AAABB70E6F115F8AD7BC7B4B7CB69D3C2A4F896F5:1448E66B6B5744DBD7B36FE00993AB9AC644B6DFEE96B3A57865731FC629F87B |
| ECPsub = 186D708F294E25D573888381069CF1F5D084B7623F56FF5CA93C0FA9E6ADE40D:1A19BE41D8951C5E02B9A9088CB068FB3CBF6E433E98C5CE2E8580E2ED7724D7 |
| ECPdbl = 1F61AD8C5AA00D4676E772666899276BF7BB660AFBE29059B939F128FF5D204A:12082D286447CBF2E7FCC0D4A5792ECC32ACDCBC699C5557407F99AF395AB4B7 |
| BIGscalar1 = 07405C780D6CC579CF778C7F35C18F0BC8DC869662D773418B11B00663C8838F |
| ECPmul = 0B487A43E99F578563949731D357EBC991EF5CC8BB7C9B63A672EDE9F84B3C:05E5A53D579A7F6145BC08C6D66D3A5D952D3C4F3DDA16681572A2558B06BFC5 |
| ECPpinmul = 23C19492869C03506F367964CD99AB76791A392E1AA1A603E9FE030F02AE92D5:09D6C4546682C883BC81E8E623D83ED1EA77165AAD15BF681C60484DE0C6494D |
| BIGscalar2 = 232A5C0795DD9784BE6F5DE3E1BE73F01B06080BADD42657C9B7E72D8B29D687 |
| ECPmul2 = 1950896F0820BC6DBF5D70E7A788610BF8C7314D984B4961E4EEDDC4598B6305:0467DD57C09DF6405D697AC8AD9D24FE27F867F10C26C351D0562E1C6E6D4465 |
| ECPwrong = 15D5C4DE7F201B53F2B1EA6BC2AD8F64B71FD28FDA55844E8DA0132E4324C719:063D24E26EE068F9E5F93D10789939C34DD5A8A1F19AF8DD8848D0D1C2B38C73 |
| ECPinf = 00:01 |
| ECPeven = 1CBBCC60DD7E41921D1BF08AAABB70E6F115F8AD7BC7B4B7CB69D3C2A4F896F5:0FB719949D18E531D90A6F8470CFBB385DFB200E29728B3C4600B0CF95F15D38 |
| ECPodd = 1CBBCC60DD7E41921D1BF08AAABB70E6F115F8AD7BC7B4B7CB69D3C2A4F896F5:1448E66B6B5744DBD7B36FE00993AB9AC644B6DFEE96B3A57865731FC629F87B |
| |
| #test2 |
| ECP1 = 109BC6ECDE209BD468A371A3AC9F0CF67B8357960B3BF0212D21A8F6B40ACF95:0BDCC18C8C19B0292C9C6B7B56B2B643FC10A2016D3A286B19957F3446A0D970 |
| ECP2 = 116641CB225918C175924F22C064611D6246CAE7AB5FD10A460B4C194CED6698:0CBC9DA5FD956ECB182510D03090CBEC573E37CF10D2A1332B635EC6F45DEC4C |
| ECPsum = 0689ADC04D048C13040A66D0EBBA1F25257FBDF971B8DB761B0CA1A3E23B5D81:15AC934801ACF16E464DCC622625D13FD8285954BFDA507534012477B261DFA4 |
| ECPneg = 109BC6ECDE209BD468A371A3AC9F0CF67B8357960B3BF0212D21A8F6B40ACF95:18233E737C5679E4842173E923B0B08F282F34ECAACF1676A4D0A4BB157A7C43 |
| ECPsub = 15737C5F166C9DB41DA481244E6478675B95A73319FF16EA6771DC32AAC07D1D:19AAD3E624550FEE92D7435C0DBF358F35A68C96BC8ED551DF7A7097E1789C24 |
| ECPdbl = 12B0B8D734B9D910C9B4358FDB240225D412F020F4BBB0F51F2F163B2F489CE3:02474CC40554788E99321829EEF0A4A567B473508FF8EE7C679E17B27172C141 |
| BIGscalar1 = 170D5A2C7DE5E4626B0C5BD55FA0B33D47FBE191CF0A6341FF0E7C05DAA9F2AE |
| ECPmul = 0AD0F138F8108E86F40C33213A6B0E705D0A081F56F0FC21D7ABB3E50D3FEC0E:0BA475D495E4FAAF586B425C7C330BE23E4E127866E5F172ACE3AAE459F36F5D |
| ECPpinmul = 1E88C013A144E30C8F6175D72AE952EB1FEE9C419C4A3E3C402D11B1258482C1:113C54AAEBC3CC91E1CDCC6B4694C3D58C77B868EBDE2065F1D9286C89ABE526 |
| BIGscalar2 = 06F84B9F613DE07666BE35CBA5DB01AEC83844EB58DF016B338496361D2184F2 |
| ECPmul2 = 163B99DCC6F9DE3E70FE633047A73300A6179EDFCFF5E1305E8A13742E51BF23:0B1117B0683ED0B31D36CB1C37AC3A6E587FDA43DF2A3E3605D6D1E18CF37E7C |
| ECPwrong = 1EDF3091845F410BC4B7B4C22B33107749707062FE09E2C814907C19E403F948:1AE2CB5B7F0A8F1BA352C4DF878B19C8D24A6BE74DB4FA8C8C1F50AA9337DB75 |
| ECPinf = 00:01 |
| ECPeven = 109BC6ECDE209BD468A371A3AC9F0CF67B8357960B3BF0212D21A8F6B40ACF95:0BDCC18C8C19B0292C9C6B7B56B2B643FC10A2016D3A286B19957F3446A0D970 |
| ECPodd = 109BC6ECDE209BD468A371A3AC9F0CF67B8357960B3BF0212D21A8F6B40ACF95:18233E737C5679E4842173E923B0B08F282F34ECAACF1676A4D0A4BB157A7C43 |
| |
| #test3 |
| ECP1 = F7BA6FF06865CC8FD7C8F51DEE1DE6805856593C4B35833C738795332FD887:0EB5493A750EFFDA8F668F8C9D559D7ABF1322AA3D36CD442A26D486959C5C4D |
| ECP2 = 19BC44267D8C757735D0DFEFD04C7406BB6E2E27BA16B859BEA2B23BBD9FBB02:1B5A98DFAC40E81B557B2A5B84217C32296680A4F5D040A8D94D6C8C70DB2E99 |
| ECPsum = 13215E8A56B1386A8FA5E4C421B6FF2AB4CB92CF0E3ACA3A044470086C64913A:08AA8D38077C0DACFC8F3768E8F4CF7913D673B567419831016B7CD7D6AB7054 |
| ECPneg = F7BA6FF06865CC8FD7C8F51DEE1DE6805856593C4B35833C738795332FD887:154AB6C593612A3321574FD7DD0DC958652CB443DAD2719D943F4F68C67EF966 |
| ECPsub = 123FF6194A4A01A016A8FEFE0A3EC28ED6D46B5D7D2AF8DBD08DB80A4CE2F684:1C1AF5730EF6FB75D199618AC3321D765C553028C1F5622D6C7BE5B13B5CF47E |
| ECPdbl = 057E8C5D6EC02E8CDB2E843D8B9F7EC92FE02DA79E14BB6D19991395CCA6A779:16264D01F80B89DAFCCC416E492D3A8BC3CD5DF71F80EE26595A477BAC8FCEA6 |
| BIGscalar1 = 0366AF3180D53F8888100D6629867B098C7896CC53E65F466567B63DC57809D1 |
| ECPmul = 0B26003E2065D4345B3EF41373367E99CB11788D3372E2EA2311B4EE7DBB807A:031DFCAFACFEE67391521FC8CA12F769F176FA18A9195B1D62B807429242EB0D |
| ECPpinmul = 16C083417360C603DF201FC03F36177D615ACECB92127C9EC2D0110DA2AA748C:05CA07D5A18865D2E28FDA6741EFF306C78E94E2B83B1F0BAF6101B67D58B3E7 |
| BIGscalar2 = 1EED8716213453AFDB5523A852D21791814CEBFFA192D7EBD1731237C21AB3D2 |
| ECPmul2 = 1085779EC20BD896489CE65475A1658A1B80C1C145B560A0AAFB2CC63AD26CD7:0CAC93A3E0A273F99E0E025D55544DFA6651A39F22F863C45E9B995E302EA0B6 |
| ECPwrong = 05A5B58FF633C36FF47CD9B306B140DA5CADF46644FE864AAD6520762D05FEB1:07BAE0B864A5CEEC3C6492483915B68DA3C3A6770B42D5F8E9778D309FCF3BD0 |
| ECPinf = 00:01 |
| ECPeven = F7BA6FF06865CC8FD7C8F51DEE1DE6805856593C4B35833C738795332FD887:154AB6C593612A3321574FD7DD0DC958652CB443DAD2719D943F4F68C67EF966 |
| ECPodd = F7BA6FF06865CC8FD7C8F51DEE1DE6805856593C4B35833C738795332FD887:0EB5493A750EFFDA8F668F8C9D559D7ABF1322AA3D36CD442A26D486959C5C4D |
| |
| #test4 |
| ECP1 = 031CC8A454900B2AF542D5BD49D6CFAEB260C4265985145B1539F94375B56FBA:21A1DB64EB114FA601274F7DECFBFB6A4B07EE964B79ED691F0277BFA78AB726 |
| ECP2 = 1D0FDE209F1CC0E0791A0D949E47610651F433899F4B91ECEF7D34E8DB91CF05:1C37878F06B67567C3627DF2EDAFE74AA8B4F95EEC2786CE0972034DF749F97E |
| ECPsum = 0162E74AE70D033E4844CBDD574D2D2FA4D6378E313FCEF05DCC9E7274923B5B:1F4E628B0ABECB5DBB06F57E05F930D81BAEEA79559ED37D10D8F6D422747644 |
| ECPneg = 031CC8A454900B2AF542D5BD49D6CFAEB260C4265985145B1539F94375B56FBA:025E249B1D5EDA67AF968FE68D676B68D937E857CC8F51789F63AC2FB4909E8D |
| ECPsub = 1B68D8A660AF6E59A500425826631DE2438BF6627F094166DF6B317154E1CE1B:1237DE46E0BAA04321E014101501FD75972BC2BAD0968EEFAC1152154CE5D241 |
| ECPdbl = 10E96CD797367B50CA2FF4A22972E1676466BA05922786FE1F20015B20AFFDC1:11AE4A22ECC301BF14CBA374B5E4C2A4A3CDE08111D019CC74BB6D9384FC2B40 |
| BIGscalar1 = 06F246EB4B8FF49403A39350CAEC9E02BF59F275E3AD393120EFAD84EB9C77FB |
| ECPmul = 1DD0EB90513F9BB151B8DAD8C3D65F07ECCF5CC557F0622DC9B86B22938579D1:05A77335E292CC348FBA7DC0A1375171D1EAB5C3CAD7D59BB818EA347077C5B5 |
| ECPpinmul = 21F52CB58796F0C663546C526AFEC0DB9FF8ADCDDAA58F68C7855A3807293514:200DEDF560C5BF08BB9B109901742F0BC06F65F84791BAB683486291514CAE85 |
| BIGscalar2 = 05B9C34E00C42B74F176FD6C7C85639C84D784B7F61075B4E5141C7EB346A531 |
| ECPmul2 = 04100506F8856F57B8EF68FE24302E238CF6091FBFADF8CFB6E80E7D2C351259:17EF8977034708DC58892FB42AC46D5C2ECA022FF495FB24F971D12F711C0BD4 |
| ECPwrong = 0D6CD22C3A67EB8015E5F9EBD379D0A5F41D019AF67ADD2997D44E1AE202A097:04911C398BF4E0953C7DC1DC31279B4E24D97FE2BA52B4FEBCF14CB1D9B80C99 |
| ECPinf = 00:01 |
| ECPeven = 031CC8A454900B2AF542D5BD49D6CFAEB260C4265985145B1539F94375B56FBA:21A1DB64EB114FA601274F7DECFBFB6A4B07EE964B79ED691F0277BFA78AB726 |
| ECPodd = 031CC8A454900B2AF542D5BD49D6CFAEB260C4265985145B1539F94375B56FBA:025E249B1D5EDA67AF968FE68D676B68D937E857CC8F51789F63AC2FB4909E8D |
| |
| #test5 |
| ECP1 = 0A65DCD3B144742E47018664B9E8A3677840C924DA66358B8643A11939CAA3E4:1C8050F260C58A4D20F37FFF587DD631A45E8867CD2B02DACBABA16FEBC9CD5C |
| ECP2 = 0852750E77B4709B91A35EE84C6486044354592E1DA7B16B283DCADB6E7CDCFB:231E628739D715463DF5541E97D9961CF0B780CEEE9890A56CCB45BCFDE1ABBF |
| ECPsum = 0E82BA1AF20245D8B8D5838571E310B7E007FCD0B14A3E327F1E14F3D0C0060B:08319FBEFF12A7C4914BE4B76AFAA1509E6F2E7BC27E13261514A372D0A157D8 |
| ECPneg = 0A65DCD3B144742E47018664B9E8A3677840C924DA66358B8643A11939CAA3E4:077FAF0DA7AA9FC08FCA5F6521E590A17FE14E864ADE3C06F2BA827F70518857 |
| ECPsub = 16A96AAB7A38D188E5FDDD89083F759E06D77AC96AA2A74654801841419A1BEB:1A2F2D2DC7950FE28F89C556EBB35A4850716509847075AE20A5A3C3D2A51460 |
| ECPdbl = 125F5DA4606905F2EBED1A469A240E2B7EEB09493F100BB6965628F033F9E6:02FB771126CF0F824ED6C8AA71473AD0CDB5BC4C5792A2CA486C218E85A40CE9 |
| BIGscalar1 = 091B0441A8BFD30AA161D1B5AED60253CED17FAE0ADA53CF38A98DCF738D07D3 |
| ECPmul = 054FCF5C7D7C169C448B5B39DE9896EA0CD980F7B5E1990C1508F6EC98A539CB:1AFB72CA377E84C07E782CA919FC7AEFAF91992E83F152673A0B60323EF4A407 |
| ECPpinmul = 18BE33C9A7077E3AEE63F9F446221DA0683852EA71D7391EEFD0345ACC2E3006:1C7570F9954429CC5DA072D6BB4993BA22A512F3CCBD98EE713E98780DC24380 |
| BIGscalar2 = 11156227F079E0D7695912A9BF78794F62D044094A04291FAA40691CFCC2C570 |
| ECPmul2 = 1A597A2939B01A277E9B34EBA7EFCAC41F5A93E0D0389D3AA70B71C8C7C808C2:175C61BFBB73628DB10C921EEA387C2AB7F492548D398DB59561919D1F878711 |
| ECPwrong = 1A48FD109C334EF678E085C1F4ED358844A3D3E4113318EE133DA6489CC29F5C:1AEEC205D95DFE87BF24AB7E619A39DA6824A0330E1DE3B9E36ABD17F2C69B3E |
| ECPinf = 00:01 |
| ECPeven = 0A65DCD3B144742E47018664B9E8A3677840C924DA66358B8643A11939CAA3E4:1C8050F260C58A4D20F37FFF587DD631A45E8867CD2B02DACBABA16FEBC9CD5C |
| ECPodd = 0A65DCD3B144742E47018664B9E8A3677840C924DA66358B8643A11939CAA3E4:077FAF0DA7AA9FC08FCA5F6521E590A17FE14E864ADE3C06F2BA827F70518857 |
| |
| #test6 |
| ECP1 = 1E26DE4CA4F489AB393B54D6784EEE1816D87FDDE7C6523D0A92A4068EE8D5B7:04DB079DA3E60B93E9C821C8D3C1EAF3CE1BA4FD22BBAA2EADE5354FFA6AB23E |
| ECP2 = 08F9A3017F192F52A5D07531F7AD13A08AE3849D4D6AB0613EA577541B77BCFA:08B0868887A3B865716D59063C9AE474B47D3E9FE54C80E5EBEE91616DF87B39 |
| ECPsum = 0F1732DFD4BC660CBC748AF2145C2F29618457FBE82939B7808B63705EFFCCFC:122FAE5D83EA41428A4B7EDF4B80390607D65159465FC445C0E0A45D61295DC7 |
| ECPneg = 1E26DE4CA4F489AB393B54D6784EEE1816D87FDDE7C6523D0A92A4068EE8D5B7:1F24F862648A1E79C6F5BD9BA6A17BDF562431F0F54D94B31080EE9F61B0A375 |
| ECPsub = 18543492232A7CD0F656BD77EBA9C1D8DB051BBC8DBFD5A5525AB8100A3D9DDA:0BD4C5F3DFF0F2D8BB5E08E4D356F356CD2C9EFF94DEAE4694EB1C0E25EAF19F |
| ECPdbl = 0506A6F560ECAA442ECE7B88C880488B3B9D83BA9238C6D55D4328449D8248A7:03EC5CC568330BD17DFB09FDEC6D493CB678F14A73B0DAA3233F7ADDC1F18450 |
| BIGscalar1 = 0F409AB3F3CE8E06323E47B08B0497A493D36F1A0ECBBC49D61DC783C4262C6E |
| ECPmul = 14E9AE13694BED976FFA1F6E11FBBABFC79560C8DCA0016696DEE9F85EAF62D6:07A640DA59E367FE50081AF93B53DED2C643E8D9F148283DE731E0B25ED5C4C8 |
| ECPpinmul = 20FB718034D5F0F7579E430DB1F2468911F5C1CA4EA1D2BA57CE9EBB32846723:04D1924FB5C6F4C54149805933E11EBB56FBB752FC53FFC3B5E54DDD5B260360 |
| BIGscalar2 = 18157A62C5A72D932BA83C3D20598012218FB309602C56B4ED1F5AF034AF4F23 |
| ECPmul2 = 1FED9322B9C73F9514E994919F81C517C53CB6E7F2C4E4B7CB69A7F5A9994E69:0FFC9E57E83E77AEFF5F9ED6EA353A50AD9E0E907FE5D5159AB289054B9A6402 |
| ECPwrong = 0244CFED4A1DCB371D1F4A4E863622CD8B900E1AD703C1A31065015840D65618:1EBAD8BB6D51ED97AC72D83F77AD3F6D4107FE06B6AA700BFBEB85AC0FF97D7E |
| ECPinf = 00:01 |
| ECPeven = 1E26DE4CA4F489AB393B54D6784EEE1816D87FDDE7C6523D0A92A4068EE8D5B7:04DB079DA3E60B93E9C821C8D3C1EAF3CE1BA4FD22BBAA2EADE5354FFA6AB23E |
| ECPodd = 1E26DE4CA4F489AB393B54D6784EEE1816D87FDDE7C6523D0A92A4068EE8D5B7:1F24F862648A1E79C6F5BD9BA6A17BDF562431F0F54D94B31080EE9F61B0A375 |
| |
| #test7 |
| ECP1 = 167A25590720EB07772E5A0B93DDAD5D8CD1E0DBCC6CE570DBE04424D63B74A7:1CDBC87352A89224A6DD9D012D32C84F603BBF84EA2C3376B9602DCB43038DB3 |
| ECP2 = 1ADC0277843E882C715228180F9EDE56FE9463FDA2C69AC72705F0DA6923FDFE:1AE7F54B260A519BC56E2FADED598ED11E4284F10C8E4CA689B96F6FA193F673 |
| ECPsum = 1915DD5466D59D651BCB7478C9C688FBD53DD248A76C3D0EEB3AD9CE9C099049:14E05C727F7671F4039F2EA0B0EE4A037F0FB09F56F18172EE5F36048FB3D0 |
| ECPneg = 167A25590720EB07772E5A0B93DDAD5D8CD1E0DBCC6CE570DBE04424D63B74A7:0724378CB5C797E909E042634D309E83C40417692DDD0B6B0505F6241917C800 |
| ECPsub = 1C32A8D6571904A1586DD09B299403B02B3037A7476270F7DB7DD431FE4E91E3:18A4D6222DC545AF8EAA933C11136714C98287EF67EEB7C9561B1E34F0B9D431 |
| ECPdbl = 2280C5938C95B8896B5AF24DDF96B34EEE1A5DF26F34E4910DD1FEB0DF6D358B:06F78B491B0FD77EDEBB0571D03C7DBB6BFBC975CDE2DB8D76468B4C786DB242 |
| BIGscalar1 = 0491FF537A76FA12203BE3EBE301B33D39DA6C8C930A11F07ED4C0CD68DDCCC3 |
| ECPmul = 0789E17B10A0EA7C58AFBE204D746F8B6139B716EF527388E5B12F3887B4F42B:12D3779A44631080106D3DA00DFDC6F50F0494FED72B7C4E3A9AAFFBC4D7E4A3 |
| ECPpinmul = 01BE2EB5CB6D32F7EFD9DECB8FB148D99E62E0E81396DF0E9C7799D92E56BD4E:2328DDF28F28B1DF9E7284054586227A34686FEA40512B10E774F483115E857D |
| BIGscalar2 = 1FEF6F551A1B404B0CFF592830403E0C11482FF60E11AEC1FB62CCA4B3461A38 |
| ECPmul2 = 215A43FAE057AF8534A8CB45278A55F47CCDE57484A8CA03F2410AF839A71731:D4F0BFC9B50585103FAE8B9ED1905D2223321EFDF4851E8F8D955B47793531 |
| ECPwrong = 04DD4B2DB57268212C5E1A4C451D1078914AE09D587F88F918A6E3F8D0A99F0E:0A9CF89EF324210B287BAD4396F7ABD5B2247BDFE3B0ED8FBD3C017524833847 |
| ECPinf = 00:01 |
| ECPeven = 167A25590720EB07772E5A0B93DDAD5D8CD1E0DBCC6CE570DBE04424D63B74A7:0724378CB5C797E909E042634D309E83C40417692DDD0B6B0505F6241917C800 |
| ECPodd = 167A25590720EB07772E5A0B93DDAD5D8CD1E0DBCC6CE570DBE04424D63B74A7:1CDBC87352A89224A6DD9D012D32C84F603BBF84EA2C3376B9602DCB43038DB3 |
| |
| #test8 |
| ECP1 = 1B85D80150CD451044699CA186C5563B85610F79DD97B02C441DD4BE9C2826D6:1D76F3B506EACD3BB1D30F644CAAB27754A3CA9C3B1709BECAFC38E0411CEB93 |
| ECP2 = 1D54FF222ED620AEE553A4A935F141B97B1F14647F28D2A6C8CFF29D8DDB668B:12A37E5592EB3A80434DBB076EA958F280BC155D5074143D8805581AF6D84A01 |
| ECPsum = 029FD9E321871478FF2DA0E500B30BA803F7F9649E7A8BDAFBFDD31EA48560C0:164F89E4182F9E5B4532D8F0412FDFC4EB9D08A56A167BBAD496A0B7438F9011 |
| ECPneg = 1B85D80150CD451044699CA186C5563B85610F79DD97B02C441DD4BE9C2826D6:06890C4B01855CD1FEEAD0002DB8B45BCF9C0C51DCF23522F369EB0F1AFE6A20 |
| ECPsub = 17406161AB07C7974E0BB8384B07618819D588A53D64CB78388AAC67EFF0F628:160EC37AB93CD1DE3497D0E0ED53F245EC613AEE197D72E68E368D557A8B38D3 |
| ECPdbl = 0A03A14C03D2A557DA70FDA07D9C0628FF9DD6ED1E1B2D85CFAFD03F1D324C87:0D7DF6868F1431F8DC1E9D4DD019ADE84278F9ADF994E1078E7D8B4A45339203 |
| BIGscalar1 = 11A235696E9D73505834B6B14D3A4C07B70F50DAABA875D62866DDF06F45313F |
| ECPmul = 0A5DB87B490E058EF06D8D89936D04234E58E4257AAA3F3C2B0BB9A4266E75CE:0E7271F33395D25D8739980AC7958203B4985AB23EDE60AF0DCE82C4446D9167 |
| ECPpinmul = 0AFDF5A74FB160E04D87BB40F769FC073BDA05E9C7786DD74D83294577B0C511:0235EDD63C61A17C8D711AF16CA801CA691489D20928E13195CD838F9F542A83 |
| BIGscalar2 = 0DDFEA5E69F137B5D18617F84A76D01EA60D674D93C4B7A6D2775D3AAD7D449E |
| ECPmul2 = 048B07A25EC8205FC31EA06CEA08119AF40BEDF13C2B59893CCBA7C3BD425C3B:178D7917A75E4B980E96FFC56EC64A534FCE8CF6D9081D670EB50DEC525CE633 |
| ECPwrong = 141507BC34364960DB29FE3DA3FB00B045959CF845737168B414098BCF96EF01:095A9125502096E2EC8F056349AD34D83D6EB2944373615CB21777BBC128E85E |
| ECPinf = 00:01 |
| ECPeven = 1B85D80150CD451044699CA186C5563B85610F79DD97B02C441DD4BE9C2826D6:06890C4B01855CD1FEEAD0002DB8B45BCF9C0C51DCF23522F369EB0F1AFE6A20 |
| ECPodd = 1B85D80150CD451044699CA186C5563B85610F79DD97B02C441DD4BE9C2826D6:1D76F3B506EACD3BB1D30F644CAAB27754A3CA9C3B1709BECAFC38E0411CEB93 |
| |
| #test9 |
| ECP1 = 080BC1A32E32E5D8DB88755E96F91007A50991443B2920A129DD8E4814EA8194:1B92262FBB283357B968FA5FCD9F9E005043217007BD040B9702D52F02611466 |
| ECP2 = 198243E7BC319D29863D05E5E569907DC332A588E1153CDC919A6B92B5FB6B66:037E3BB02AE7076F6AE8388752034C7A9DB3A8EF3543261576993C55BE713ABB |
| ECPsum = 04E868B551370C2EAF3DD95C46DC59F917580BCEF31BFCF7C3B0965920EAFC10:0FBB1E5D48F5F204305D850038A72DC6E4B044EF8A5A58F85DFCA258B90563CD |
| ECPneg = 080BC1A32E32E5D8DB88755E96F91007A50991443B2920A129DD8E4814EA8194:086DD9D04D47F6B5F754E504ACC3C8D2D3FCB57E104C3AD627634EC059BA414D |
| ECPsub = 221D95618D9C7618A190F6E26A8D335F86498F541192ABB0ECA43FB65E1842B6:07110AAE2FE7E15825FFC75E76983ADBB3E281C2E7CD8F33E24B1F1019A2ECE3 |
| ECPdbl = 0A110E03D789727930BC08A1F0FE4D8A146F7CF7E47757F471FD70F1C7CE2E2D:4351333411A9E3907D3A436B5953188DFC4E0163E05282161DA3B1AB579A9B |
| BIGscalar1 = 1483E6D7B957A3365C261C0C9E1C8ADCED9EDD4913E06135B1B2A0EF04D6467C |
| ECPmul = 0514A003D331AE98F52AFDE17CCBE7286BD950D2AFC5C49F8109F0516C0F7A50:1F545F41341EFF2135BF4EA28C49E17FCDA884132060003826A631B775506AE9 |
| ECPpinmul = 119096FE16FD61B5A61E427F22C1FF179B9AFE4E8AAE9D33913BC2C62C05A6BC:1847A0223EC7D2BCFB052ED85116478BCB8DC780DBCA5889C1B0917FA842927E |
| BIGscalar2 = 0B8D4D161A1317434343015DFFE3EA79047D3A1A9DA5D2611871884A4A524A68 |
| ECPmul2 = 19FBB133357915D59B9F8396B4F9C5DFC1357FD42A10D5455C453CBEA29ADE0F:18653BC5220DEAC4CEB02B893F90E3A30B00CE05BE3CA380F809F8CB3A943386 |
| ECPwrong = 02666A001C2E90269535B399C3C32B4FD4DF8F88D90CD60F80B54B451F87FA67:047DF685F35916117692D932DE7C4B86B5C29CCB351ABDB8967459FABFC1715E |
| ECPinf = 00:01 |
| ECPeven = 080BC1A32E32E5D8DB88755E96F91007A50991443B2920A129DD8E4814EA8194:1B92262FBB283357B968FA5FCD9F9E005043217007BD040B9702D52F02611466 |
| ECPodd = 080BC1A32E32E5D8DB88755E96F91007A50991443B2920A129DD8E4814EA8194:086DD9D04D47F6B5F754E504ACC3C8D2D3FCB57E104C3AD627634EC059BA414D |
| |
| #test10 |
| ECP1 = 17539CEC88708471C5830C184E002BA0B60D1ACA521C75F44420BE0603378F06:23C42B4D1B104246EF3379A49ED90DBB2AC43A0ADA555A423A366D3CA05D6CCE |
| ECP2 = 0537CEDB275A4EA5513ECB14D1D2246E2488035040A17F69C93CBAA1C3E2B8C3:0E288F3BB3E45FE4D60F4EB6293E82B8661A5AD05A1AE581B30B95653297C3D8 |
| ECPsum = 187BE29249B9743A0E8EE4027B8A93E85B0D9F4B3E0A135BA8BF7EE5CC86A86D:1F28087A14CB0D83E24A207ADFCAB33160464AEF825CD53B8DFD83F189AEC102 |
| ECPneg = 17539CEC88708471C5830C184E002BA0B60D1ACA521C75F44420BE0603378F06:3BD4B2ED5FE7C6C18A65BFDB8A5917F97B9CE33DB3E49F842FB6B2BBBDE8E5 |
| ECPsub = 1A8D1EC49D69AFEFBD047F50C06981CBAB94F4452387B5F5A57EA8394A4A4326:030D109ECF53AFF8CDCA76AD5363F4019FD9A9F8E0AB599B6D94BF839824FF0A |
| ECPdbl = 093B6270D8695C20C4577E729714925F2F843E59271E02D1E7A00B47C856694F:15449C208947D3E8F442AAB9CF742B23DAE8432201EEE8DAE1C6DB58AD1C5DCA |
| BIGscalar1 = 1FA1849AD363B256900B35B51C8988CCEF5E42A81C0FFA0FFD901249F3D7B3FA |
| ECPmul = 0BB0AE95A6133878BBDA8EF0F32BDDEE43361673966E1D1AF6CB213AE4BD3F79:0FDADE83DDF1E6762A37A7619A4FDB180DEF63ED26D8629E5719835538D83E3F |
| ECPpinmul = 1FDB8944180458F3AF77D91CC1E42E988A5270978B4C5DD06FDAC855338CAE15:06AF91D89F0A5950FCBD72E5ABEACE1566E6168A694E61A7DB1E974F6745595E |
| BIGscalar2 = 17B427397D7DCBB8D3D8AF387FB76D75E4F66BFEE05DB5DB9BD73AE255C9300F |
| ECPmul2 = 6D42D9ED291CDA48AEF73CEDB9C6790E332B6C1AE3386E85035B23E5FE2C68:099A1FFF6255E8D168DD4F468F972839B20954FBED191E65D5F7C662532C54AC |
| ECPwrong = 0A499EFF48F6727283328133E62E167FFFB35969C0D8DB56AA509BF53E7F1C8F:08BA7C15EF59342F9F05E94CE5A32F5C61B509D2BEAA7C933D026E3351B3E735 |
| ECPinf = 00:01 |
| ECPeven = 17539CEC88708471C5830C184E002BA0B60D1ACA521C75F44420BE0603378F06:23C42B4D1B104246EF3379A49ED90DBB2AC43A0ADA555A423A366D3CA05D6CCE |
| ECPodd = 17539CEC88708471C5830C184E002BA0B60D1ACA521C75F44420BE0603378F06:3BD4B2ED5FE7C6C18A65BFDB8A5917F97B9CE33DB3E49F842FB6B2BBBDE8E5 |
