| # Choice: BN254_CX, Type: WEIERSTRASS |
| # Modulus:=0x2523648240000001ba344d80000000086121000000000013a700000000000013; |
| # A:= 0; B:=0x0000000000000000000000000000000000000000000000000000000000000002; |
| |
| #test1 |
| ECP21 = 11F77AF394719C114045FED5CD9C23827B3279EC14D816802513D321D9BB943A:067CB4D53FB9AC635186C95420F54D0DBB60F2206908345804F4D9B19D278B7D&03A256F260D55B27A1F9944B785E1B89EB277987E38A5E48E80BC67E20543BFD:1E89E8D361E13F618BF336AFE71598E75FE6B70FF2B35D764B1FC751A60D8FE6 |
| ECP22 = 1437349D7E3F91C06C68A2EFBACC44891F54C0FCA4EE2937DA343A8A120B0635:0BB672E2A06827BC1E0FD4A3EB1C66AE376CD184186E5E79D604E05DFCC2C190&09F8ED44F70FF9BC9E039A81E6FC953F63F6D46B6E41DE547E80499EBB5414:183834DA3CA83B55A5D4B79EBD334D109FCE1529686D15F37BC87D04F5C87559 |
| ECP23 = 03F8F4CB36283E9469A0D3D1C6276C83E3C76FC1B4A5B0405BED4A1BF303C29E:04867B0DC55D6AC2D0D12F6837BFA0CA388D097B2B6B3B248C9417E55D7237D0&07891C2661C430793BFE5517E761FB5C60A0D6EC2E13A532908EEB8E3BA93EF1:023067CA5DCCC5871F09347649811773668724C336D3061C0E31BC1BBAF3E1AB |
| ECP24 = 1500C785171251209428FC10C472A8CC09214D01767997AF8828D85B5931B546:1126BB56FBDA2948806B190D01A58ADED0DF8B6FB1559A85B291410DEF7AB36A&1B2185936FF1BCA83DA9CE712F53C1ACC0530C31208847ECCFD2D2E9B808F563:198CC455753390469AF2171A0F3534D1700CB89A35BA3C6C12942D67ADA51D71 |
| ECP2sum = 06FF3161788149F870692A88EEA9A47410D9CE92AE2A522256BC579C856CD4C6:22B31B7CAC43B9E733723D2A6B46681DE1E4E6441C498A00D721EF1934D5574D&0DEF6717EDFBA04F95224845E2AD50295235B1CB2CC6EC4ADBE427979617F36B:198ADFB84E67AD0917461243DBD45E4E01651DCEAA399366A6360BA2A84553B8 |
| ECP2neg = 11F77AF394719C114045FED5CD9C23827B3279EC14D816802513D321D9BB943A:067CB4D53FB9AC635186C95420F54D0DBB60F2206908345804F4D9B19D278B7D&21810D8FDF2AA4DA183AB93487A1E47E75F986781C75A1CABEF43981DFABC416:06997BAEDE1EC0A02E4116D018EA6721013A48F00D4CA29D5BE038AE59F2702D |
| ECP2sub = 1A475566EEA98247BFA16BE5DE2060161A85687A0E7B3492DBD134AF1AE7FE23:07DAF7FF058430277035283AF1D8F2B6A402C787D39C228DE422009281752B18&215313E1A4B75F9433C634A68125CFB1FE81C908EB25BE41442E97C5D2E76019:086EE50C0D49446F00818551EA5BA051DFF2AC85347AEFC6476E06DCC7341D63 |
| ECP2dbl = 155DE8B54A9800BCB63ACD9FE3F5A13BD97DE001B305D0B8FFC999A3C0596BEA:1D1D2A29B77B8615738271EFD136A99AF4F647ECC6E113438E7AD84665B8FC6C&02F0AED5564A6129917A96BE7375C9408841405A478ABF41569DC4FF03F6F01A:16AFF2850227A282D0AAD82F7D8D82AF433E1DCDF1E5E88F02C78E242720DCEF |
| BIGscalar1 = 067FFEDB3975AD8715CEBDC48BF1069387F8AA822188A61C0171C428791BC93A |
| BIGscalar2 = 1AD7E14265CB6791B24B7FE17D569CF83E9CB471577FEED5826810002DFA3E3F |
| BIGscalar3 = 11D58B5D0B2B292EB919F354F011ED51701BCE1AA488C0D17C3FD8669CFD3987 |
| BIGscalar4 = 08C3619509A8530D47E9D266ED5C31FE40F56FAFA91ABDAB18904C5F6C9D0D17 |
| ECP2mul = 07F00B4B79F10C60DF37D5C42FA3C588E94BC747284839422E57156281F3F78B:1CE755CA41014D7C47C66C500C7733968C7648F9B51D5376561DE2CD09A7E21D&22C6D10748B8E06110BCC4CAD728B83F133E14892605B65E627E72F1B661E146:1618412C6BE350989333DA9638DFFC91C4E48D0A7241427C3D7815E445C02357 |
| ECP2mul4 = 0A45007A1BFB3F82E95864E26F8189E9DB0A8762DB08522746A0C956600E7B8B:21F94A19874FE10E04CD394770294A4AE483C6A4AA9398A55D35CE43C3DE48C0&0ECE54DA833EA09280F03A108C59CFAD291160177CE7740C3F081C21FBD21247:088431D8193924767B974F1B562C3C9A8091F3BEC0988A3DD79652FFDCBC836C |
| ECP2wrong = 0A11886EC6B8327BE8F955D8DDD4489CCB3FA4B1131376053A5D1BBD3831E96F:0D93C5D0F24560851A03D5BEA51580E02D7F9F3CFE8B30BFC046A4F3D76F1E35&18FE6F7B77DB9DFAA2ABAA4E953FFD6B99950A982BC16B1C411772EC1AED4D03:116A06224D55078FD2DB3DFC1638F675317DFF6A7D3CD89C22D5DF65319D9A57 |
| ECP2set1 = 11F77AF394719C114045FED5CD9C23827B3279EC14D816802513D321D9BB943A:067CB4D53FB9AC635186C95420F54D0DBB60F2206908345804F4D9B19D278B7D&21810D8FDF2AA4DA183AB93487A1E47E75F986781C75A1CABEF43981DFABC416:06997BAEDE1EC0A02E4116D018EA6721013A48F00D4CA29D5BE038AE59F2702D |
| ECP2set2 = 11F77AF394719C114045FED5CD9C23827B3279EC14D816802513D321D9BB943A:067CB4D53FB9AC635186C95420F54D0DBB60F2206908345804F4D9B19D278B7D&03A256F260D55B27A1F9944B785E1B89EB277987E38A5E48E80BC67E20543BFD:1E89E8D361E13F618BF336AFE71598E75FE6B70FF2B35D764B1FC751A60D8FE6 |
| |
| #test2 |
| ECP21 = 0C15FD65C2CD3D74C84D1E0AEBE384A73BE1EE80DFFD1A508AD31484C3EA5A14:08F238D817613A785C070ED18801D718D3975842F88278B2D011C167722366B4&126E879B4342E0D9E9313056E40116657BC83DFAF65A8948668343DB9D0F6203:05E6D83353A2A3B8D944D53BC716AAB916C9F17B5AD24C7283025C588C187F75 |
| ECP22 = 0C71463DCC477CB329587D1AC9591277E798FB83851E56931577BA8401374182:1CC2E7EBED5F7EF989F248095FE3E4F4A0055ABEF30602F5A36CE225A2BCB2C8&183FDE02EF23093FE194BF5B82CFE22D72FBC5E74E47C962ADD65955E6F714FD:1F708AD15D6810BB906DC29770ABE3EA4263D990A6F24F7CFD74175EF654B6A6 |
| ECP23 = 190A34BA00399FC23A1412A138D0CCC52741D43240D230C2C961CF53607699C2:200C283991CCA8478AA7A480A2C8B85129A23715D6D880C0C29BD8505B7D0540&143FBCF83BC7CC8A52DBA3295E35D2B8452EE63846AC334A8B3A2B79BB35FC0A:0E64D531E82AA1B8D25E05E8F93C7F33968606EBFFF5F48EBADDFEAC63A5A87A |
| ECP24 = 190757FFB2EB7B59D7B9E501F625CE9905CEF09E67D3BDCB7124419E1EADE620:09312F806BAF23D14128C15FE3E63D6FC89578A8C8F4C62555C0A94913785399&10E0C8FCC6F309AF4649D30A340FDBC9A1065048B5BF3C1D06B9AC68A4CC2818:157B33B3253EA1E062C01EAB35EDA82A16E0133D3BB44880C6F91BD3740B9095 |
| ECP2sum = 0E1BD5C70FB12FC664A8FAE56A99ABBAD16C4A156F43EEB5A0F065C29C29A224:0D10182708B663910866FDD0506BDF26BF043644F7DCE72FDF25D0AA0F14EF05&20B070EE16A5500C7988690B2D682D8F128C790B03D4BECE99367098D3C0F947:08FE3D7DED0EC172D316C64CBF7EEE79D5D62F154A76EF526774BB0BCB668A3F |
| ECP2neg = 0C15FD65C2CD3D74C84D1E0AEBE384A73BE1EE80DFFD1A508AD31484C3EA5A14:08F238D817613A785C070ED18801D718D3975842F88278B2D011C167722366B4&12B4DCE6FCBD1F27D1031D291BFEE9A2E558C20509A576CB407CBC2462F09E10:1F3C8C4EEC5D5C48E0EF784438E9554F4A570E84A52DB3A123FDA3A773E7809E |
| ECP2sub = 075011FFC934F414FD9948B6F651FC2B17522C3573D08F279BA5D16305595D8F:14921C289D808AABF8C80B68FA3F8ED109164F38594A80DF6C7FE4DD68C43ADE&0D292D52D43BCC7319117776791512226113A1ADDA4E4717022292C00E688129:0D1E86AC26F78014A8AD18D3BFD1E0FC87C0B4BE18FB5EEF7D2EDF6898D6F0E1 |
| ECP2dbl = 14DEB24AB11F63F52DEFF4FD7E3F19EC3B6E61DF5425E14CE780BC8A89A04614:21C7EEE1DA281E3537A963E0EBE38021F6EB72C6F18C26C2535B3DCD9FECA588&161867FEE0D9A0C4F95A6350E4A2BB372D3B83ED2FAC8946993FB29E42753441:0A1452814ED8B49D8F96310BA2555A9C01FFE3483048CA1760C2A517BBEB5C8B |
| BIGscalar1 = 0137517D0394843DEDC52890C194A483DB9D659B984159C4E934DCC1FAB6DB4B |
| BIGscalar2 = 169001A070D6E66786AE4E2A2B287DAA1FEBD768A91C23B0EDAA08F55ABCDB28 |
| BIGscalar3 = 1D37F08D1F2B03BA658BF457DFD409166A8AB8C4FE2269FD1A1FC4C23925BFBB |
| BIGscalar4 = 14E034FBFA0D3157B98911592C8C11C7BDC0BFABD810F0834074E92C4DC1154A |
| ECP2mul = 1237905304A6D87AE10AABE98BF1512F08D8B1AFF8A250893B2D38B737CF69D3:8677593143C7A5889F6AA595B76845EF60A180A8166740719AEFF46C67AE9A&14EDC15C3C80C9047171E5830EC20D29B58CCC1A3062831D92714D44E802A361:1BE9FE4BAE7A23D46FDD965ECD7BF5A89B642D77812BCBEBA223D229BBF741E1 |
| ECP2mul4 = 078FB9741509045114CA85C0BC4BBB5339E8687B91FD38D98215BBB8565D3A57:0A95D8F8B772A1AA5E52077DC1F05B6C6EED856EAE502E571F5C0ABEF393032D&17BE71C1E0F26EA1064179122F87AD0B97D29861F9E03525D234E0A8F212F08D:08DE1386D7F86BAC71801AD8272A2E5F57E5932FB611F46C6943B86A8D2A6B51 |
| ECP2wrong = 03226D0098484525FEDCAF9DCFE472EE98F2CD79178D5AC9334A59E1B55D4A69:24B5E23DB0D82F158CE37B30BAC7D736018889D5429D68AB9EC67B5CE86FB4AB&012A38D58F8138E21F3F88B39A9B7F917EA2B8753F0BF300BB34357FDDD25E7C:206BBA366F6E5E59B4C6BDDCED49F27BBC6454A94020EDF764B47C14E7A9A255 |
| ECP2set1 = 0C15FD65C2CD3D74C84D1E0AEBE384A73BE1EE80DFFD1A508AD31484C3EA5A14:08F238D817613A785C070ED18801D718D3975842F88278B2D011C167722366B4&126E879B4342E0D9E9313056E40116657BC83DFAF65A8948668343DB9D0F6203:05E6D83353A2A3B8D944D53BC716AAB916C9F17B5AD24C7283025C588C187F75 |
| ECP2set2 = 0C15FD65C2CD3D74C84D1E0AEBE384A73BE1EE80DFFD1A508AD31484C3EA5A14:08F238D817613A785C070ED18801D718D3975842F88278B2D011C167722366B4&12B4DCE6FCBD1F27D1031D291BFEE9A2E558C20509A576CB407CBC2462F09E10:1F3C8C4EEC5D5C48E0EF784438E9554F4A570E84A52DB3A123FDA3A773E7809E |
| |
| #test3 |
| ECP21 = 085DC831270BC461B6B758854D213EEE49F6F1B57FF0AD6A9180719083294A45:18F314B12FE1D6412C136978C4DC1E55BE16DE5C449B6559C18489E911710AD4&0C708CE8EB31C4FA8BC838B7C871C3AABFE0135B6E9F7FCE99EEF3785EA52354:11F271D63ABDD2895A98E30D3D984593D7722BF7633AD6E35F21A466EC9723A5 |
| ECP22 = 1A7A2F5B6EBC809E609582D91CA2917C5D7B4E4F8227A90024A238F6A26A07F9:0956649DD43270F57767066C0416A33E1480112FAF9DE248A5EC17474D040C0E&0655A282C109E11FEF81B7F1630C5A465D2E2C1FE7166B27D34321937F2EC76A:09A959D09884822DE99F86DFD0824517B9FEE0461293AFC872CEB8FB6A6EA3C5 |
| ECP23 = 1ECE674503C2010E9A478B3825F91AF494FE2D5FEDBE8219169504DD68465581:21EFFFDAA5DE1B483B27F4EE56A5A969AF9690159330E6E5EB1E88C1B72C3EFD&143160CED5982F37E16F60BFCD7444A5034B39E83EE7A09861BC8B7B516E35A0:18EC01825FB7F10853AA469E140CA601A05722B23260078BBC8BF80F698F83BB |
| ECP24 = 239611E7F37EC63A82F9789CB81B039FB11BF005A22BEB04F04BE1EF35DAC9DD:08DBD7E69CCE0FD7235E746FC908B5AB7B06D095CAE7404E59360F007FEA5F5E&1E939B8855C182860B01F282FC09B754F9699B0B5E311755C57E1C8873FFACE3:17B3BF2842C63FD34DAC92B26D0BD3A9783F52521B97D6FFC96C2059777AC0AF |
| ECP2sum = 173D760E9AC1CDB3DB1D471FAD0AA13D788FF76FA45BA6F84150BF70C0A2621E:1B350E401FC7C9EB0D3623D4CD89539F5D101EEB065B024C48DB78772D794C26&08353DC53C6F2A6E4C79678A49FA78D8B616FD206A52F3EFC55E3404795017D2:18C743BF283EE061E200169A1C1D50E0973F3207C6B0D53214AF957DC7A3617E |
| ECP2neg = 085DC831270BC461B6B758854D213EEE49F6F1B57FF0AD6A9180719083294A45:18F314B12FE1D6412C136978C4DC1E55BE16DE5C449B6559C18489E911710AD4&18B2D79954CE3B072E6C14C8378E3C5DA140ECA4916080450D110C87A15ADCBF:1330F2AC05422D785F9B6A72C267BA7489AED4089CC5293047DE5B991368DC6E |
| ECP2sub = 18BC1FB4AED3A9E895AEF9B83FC01D7B5398ABD0CE0B9457DBAACFD4F2742A13:04E40A1F5790BAD8A69A1C40B15BBEE44AAC8321219D615727EF81FBC5947679&14765B7130640117A34DDF49EAA977CF3AAF94D12A74272FD46BE4E2ED08E9B2:0F769A061644F6193775190ED837C777718FFBEAF129C18D5F3E0ECAD40ABFC1 |
| ECP2dbl = 20B996A23EBC3F96C396B4B99624F269E7377D6C7223FAA98CC1FA754B319E79:1BB107413962A1F2FE2753034DDB7A1C49E94D06FD231B6FD1DC44B0656B99AE&1F877F34F38CBD6BC50C2ABC57E002800EF8CA8564902BCA16566DBF9DD9D1E3:19E47EB33ED8404D7569D6106232FE586375E162FD9F0DA6E360B4351F1429CD |
| BIGscalar1 = 0F95378EF98B3E7F99265B8F953CC5EE7C447C638D815F72E4DBE4586916AF5C |
| BIGscalar2 = 1804154AE733D6DD64E2E11DF13B26E441B831AAA034AD643BCA038618642EBA |
| BIGscalar3 = 02DB459D75DAB637FE342254ED0513BCF99A51BE24BEE29873C366E41E43A47A |
| BIGscalar4 = 1077F5BACED9B9370838A9E89BED59BE3DC607FBFF105E03857743CC67710E4F |
| ECP2mul = 1917518F64A3EB3368F547134FF0947F1F8209EA6FA8EE8D24137B11812FCC6E:1B915A5C5AF37674B66F85111E0E3FD119F09FA01BE7D6C33801E1663006942E&09AFB83BFE9102D4C199CEF9DEBA7CA6F81FFF0C9A2912A94D57F812133F5A66:11990D380C82D2A04AE0552A4C8C8EFEF6503E85C3BEC4BB6377991FD97317AF |
| ECP2mul4 = 135EF8471404389AF5102502E80FE010AC7FB1EEC4212F565FC42A21D1AB9AB6:1E1EB003B1424C2E441DAC98198536362AB65481B73466190F83C36BFC00A97C&062F88C8C557E9289BE7125D79628145DF88D25A078B5003F6C253B8A4714B5C:03E128D1ABDBA86A9E98014C71A610C0F526D3B3741399D94EA364FF1D48F225 |
| ECP2wrong = 20723A5941501CCAA9AA7955685063C10150EECAC7E82B1881FC4644F7428381:0BCF3B33E37F4D27A8D0A42CFF41EA9DC4CBDF8632ADC264E17F994D57E543ED&218A261BFC5C8E82FA705A2BDC09C81F374465191570D1E165452D39D6E1F0EB:139E4F090B5849BF84AAB607C84C001D50FE8476F8AE5F5B3C51638D10BFB3D5 |
| ECP2set1 = 085DC831270BC461B6B758854D213EEE49F6F1B57FF0AD6A9180719083294A45:18F314B12FE1D6412C136978C4DC1E55BE16DE5C449B6559C18489E911710AD4&0C708CE8EB31C4FA8BC838B7C871C3AABFE0135B6E9F7FCE99EEF3785EA52354:11F271D63ABDD2895A98E30D3D984593D7722BF7633AD6E35F21A466EC9723A5 |
| ECP2set2 = 085DC831270BC461B6B758854D213EEE49F6F1B57FF0AD6A9180719083294A45:18F314B12FE1D6412C136978C4DC1E55BE16DE5C449B6559C18489E911710AD4&18B2D79954CE3B072E6C14C8378E3C5DA140ECA4916080450D110C87A15ADCBF:1330F2AC05422D785F9B6A72C267BA7489AED4089CC5293047DE5B991368DC6E |
| |
| #test4 |
| ECP21 = 061B4B41CAB7AFE0563B2B27FE8A85A34348B2CA5BDA94A0061D71C2638372C0:1033C9EA7312B7DB79EB32B38E3F265388AC8036E19B2B2B09BC38E2883C3135&1189AA6B03D025467BFF10CAF42C662673E631E2B635B1C1CD7301669C1ABA44:0D2C968EB0E4426C3971DC8A468EF682ADB12921C78AE41954434D465143E595 |
| ECP22 = 0D80E94BA5FA0D4B4907EB17C2FF571BA324BA0E30F89EA31DAF2AF4450616D0:0A861A3254E1D09E0D53480959658F2F7CC945398BE66393898746480DF49648&135449FA2EC44A203A98F8855ECCA70FEE86255CCB1B11510C2025665EC158EE:14BA256027D39196E324A75D62F9A6565867A850553F4E281881DB1C49453857 |
| ECP23 = 0390C6B3E67DDA25E2300EAAFB4A90C845943B90259F53B5703BC34B61D8F54A:230B022267AE12E8A2AB84D36A88B2492AB03E088B9B493314E10C04AFA3D3AB&2026F6C6271C00A888D6D3EA2C26E86AD10CA054C5DF1200A535476BCB347CFA:0D912D4C408DD51EDE7D1CC9C29B2357F0CD9A3E8C526ED4B563B3C9C0F116FE |
| ECP24 = 15A3165FF282C71FBEF592363B1BBC66B0497F9705CD8B842F86162EEAA7019C:05FA87F4D5EC3E1D34791C4884D7B02B998D1608AF0EEF13FAC9136810D3FDD3&1C9561DC0204AF8CAE1774125F5F76F32A1A48FE1618E842DC995455588B3DB3:24D4BD30148E4777338DB580906F1C70934A3ADCB641FCF19F09A1D1675D5A6A |
| ECP2sum = 049C0D6A96CE0274B8EEC6362BED05856477B455343D4A4EFB7BC03231C343FA:121126AD4800DBD6B4B42C3C21EFF8402B9174FE0F3A40B060A30E739C4829BB&157BBB9914E84FA6856074077474EB1BEA0DDD85FEF627BDB64776421BAFB0B7:18B2C5CF3888A0931DA3DF551BDC2202279D390D755C4C0F7BA11215FB1D368F |
| ECP2neg = 061B4B41CAB7AFE0563B2B27FE8A85A34348B2CA5BDA94A0061D71C2638372C0:1033C9EA7312B7DB79EB32B38E3F265388AC8036E19B2B2B09BC38E2883C3135&1399BA173C2FDABB3E353CB50BD399E1ED3ACE1D49CA4E51D98CFE9963E545CF:17F6CDF38F1BBD9580C270F5B9710985B36FD6DE38751BFA52BCB2B9AEBC1A7E |
| ECP2sub = 1252067EAE14C4E530DAACFDD2F8257D070A1016A2D0537129B0EA825375F459:0AB0466F73F01C5355E49CD7B1EAD9304E84A10CE7EA6B3A2BAD966EEFD797DD&49AE1C61B1BFFE351FC6287BC0113318CE2C6D4E336413547DF9680786FF58:1F2353DDC48878CD2B3F55AF45610AA0F5F56ED4AA6513C3D297DE6CDBFBB869 |
| ECP2dbl = 0A7DF67FF4F43D19956091100ACEBDAA3AB3ABF0D5C9B640FE4E8352EA837DD8:150A93624FBE74177F8CBBD7A73C9862FB36FAA6052EDE7E3FE36A62BFCE7C18&16E62114FF8A40ED619C757D69C761C80C30CA8000C44E06065C06C3BF49A83D:090791BBEBF6892B5C116612C7DC961CE6492E6078143C9887C51719496B91F2 |
| BIGscalar1 = 031CC8614155509C70F1129D76977AE4BA1C9AA022333DB6FE1BD36EB3610217 |
| BIGscalar2 = 01E26B7C4612CF76D25EC5F9C2412215FF763DE90A034A283EA5042693E5EEB0 |
| BIGscalar3 = 2042CEAD448AC56BCEE09EE2FF6B2E6BB18A981225F63AC357EBDD375876E744 |
| BIGscalar4 = 1A376E8C152C5E9D23C5BEFCE0A418C5D0C770E7133F96B9567E232B69024BCE |
| ECP2mul = 0846155E12121362920D5D5DF80EF8A9C642C70FEE36C47EB1F7CD67C5AED1B0:1880E513A49DF86940BB5038D4C1A6BE58A1B7363DBA79E597A260979EEF05FA&180F61E7EB07B58AF1F560E0854235B313639BFA74F3B00FCE9A021F7383556F:181B3573FCF9111BF87065C7221B513914C7513AA2C1166843310B23141CA415 |
| ECP2mul4 = 041B6A88C386261002173B0753C66CC62882C78D02781E210ACEB1EBD92CBB8E:14D5D608C70F4AB16794C56D8B67DAE4B692EE3E6216CE5095167D5CE2495A31&0F9A2BB506C76FFDBA4EE160675D16F15FE34E6C94976683EB56AF7AD2E926CD:18845852F0B316DBBD32CBF0C5B58945953F3EF58A8D14561FD05766A7E468B4 |
| ECP2wrong = 1EB7F2EED76E9BAD137B1E9C4D52E9191BC0B457F7CB38CF123043E7E736C213:2169D5893838FB7396A4313EC10FFAE5E28A30C9ACBF0DE3C9B4E8132765BD57&1F1F8A86F4F4F274DA7C6D2CAD6474B21C1F755E57416AC08381DA0B90727B2D:21A9FA6EDD5405E29E3514A56D77FDAC6A6D5D4A1551A0406D6730D7AC850F00 |
| ECP2set1 = 061B4B41CAB7AFE0563B2B27FE8A85A34348B2CA5BDA94A0061D71C2638372C0:1033C9EA7312B7DB79EB32B38E3F265388AC8036E19B2B2B09BC38E2883C3135&1189AA6B03D025467BFF10CAF42C662673E631E2B635B1C1CD7301669C1ABA44:0D2C968EB0E4426C3971DC8A468EF682ADB12921C78AE41954434D465143E595 |
| ECP2set2 = 061B4B41CAB7AFE0563B2B27FE8A85A34348B2CA5BDA94A0061D71C2638372C0:1033C9EA7312B7DB79EB32B38E3F265388AC8036E19B2B2B09BC38E2883C3135&1399BA173C2FDABB3E353CB50BD399E1ED3ACE1D49CA4E51D98CFE9963E545CF:17F6CDF38F1BBD9580C270F5B9710985B36FD6DE38751BFA52BCB2B9AEBC1A7E |
| |
| #test5 |
| ECP21 = 05519980E54778597E7F4418DA02B0E1AA94A248F032EB36C41CB4F6FE42F3D6:F46D6F93D075D9E9AC9066CDD82EBF228622A19DD98FA21E486A4D7C01A6D4&03591C277B721945DEBA3EB4D615F17505FC0294C2BE6F38D1580378BB3AE190:0D4846180EE869C8D7A9C9F98CB967D30A3CBF60F2867143D39A4B47A631F377 |
| ECP22 = 1754C93C18A6267B8125314E5EC33BCB97A1AEC857B05F1B00478D0038CE3545:2284BE17A018AD6E8D3E39AA90B0B449F9A71E07E915C93EE4B0C77F0D3DFC1A&0CB010E346006EC1DB9FC07B1C831003D6D7BEC1040B9D3B41E7139FE2A30E29:1590B0D0E060F1C231C4368B4C3986E34C960AC6499D6FB960E6CFBDFAED26E6 |
| ECP23 = 15FF6A141EE44628E1B7E4B653679B00BB64A1EEAA83D04B01AD8E40029C6101:06F39249199A56DA11FFD26332986E8829F0ABB706FF86488E25037F27BD568B&176BE9C99E517A99248CD897BFA6612A7BA756E7DB44A219B206D33CC0A6EF67:0AC9E90EE8E3A6AE1C52E9F9515D43F822D71EF22F2B79FF0D9743C97B70AE84 |
| ECP24 = 11A566EF190E95A43DFEC117A0F3B89F78BBEA1DBD77360D20017322E6605B36:231C6BBB61C8A4DDD762FC3C137284BA642BA735DEC3CB213939587963DA70AB&13DC4A44192244FDB139D3AF6814273C7BAA529E5CE47DC665FE3551A63CA528:1C826D8855C55D8712B8BF5AB10B44062132CF876253DB7C3D1956FE117FADD4 |
| ECP2sum = 1CDA96EF54CD10F97A3D4F8D14742887A7033A30C2F2EBA7C5687DDD85C2D50B:071879FBA2EC22783C4004FD096E2FB2C60C0330C4AD69B9D71886B84492D5C6&09FA34C0D29D8E182C37B3F901EA27638809161EA196FF4F4163D206D9C9F139:0F06B7CFB0018EDC7DB76919BC45B688D2BC986ED33EB215BC465020B50EF951 |
| ECP2neg = 05519980E54778597E7F4418DA02B0E1AA94A248F032EB36C41CB4F6FE42F3D6:F46D6F93D075D9E9AC9066CDD82EBF228622A19DD98FA21E486A4D7C01A6D4&21CA485AC48DE6BBDB7A0ECB29EA0E935B24FD6B3D4190DAD5A7FC8744C51E83:17DB1E6A31179638E28A83867346983556E4409F0D798ECFD365B4B859CE0C9C |
| ECP2sub = 213FCE33B03D9F89693F6CAFCE7B0C2E24ED1AF5B97BF030E5D35EBFC951DF3E:23B270CC6C437BE7542FAD66383F813A9EC4F24F38F935E84788BB7D9BAF2E55&1D19AA3461C0CD088F2F590D37A0C2A6536841A55DC098561A8FA0789307A806:0F10F7CDDAA611E176590321A2863D950D11464C664F8CBF25B87DDB64BB54E2 |
| ECP2dbl = 114F499BAD3B22122211127C5149F2A11F256F9B84C190ADED416582121658A2:01A274E8BD149919A285EB623511E2431523B03F3DC70B7C6B7EA956F329C8F2&0BF7CF97A047E1C292569AF568A1EAE7718889B412ED142B1BF8DA79E3E1CB89:1ACD97DDA577E8882704C696DCD0C794A30C2F88D5C6D543BDCE96328FB42E13 |
| BIGscalar1 = 012C374A121CD9E01C65DEAE8ED0E81CAC8F57D45DE3A699281AE9474D1B64D8 |
| BIGscalar2 = 1FB7409EC13CA0DACD23B8BC141869A6A50BB3723C7197D4C08E788ECFE64176 |
| BIGscalar3 = 0E17409907DBCB43CA92C94D5843C2A6D0462CBC2DCD82BAA5F897971B5A985D |
| BIGscalar4 = 0145B2E26412C204F15770D08634988DE13BB8E9C81C58B9836C94097FA2FC9B |
| ECP2mul = 0D66212BD3EBE92454BA49D091520FE003FE67975C4D8FDCF509774D1FF30F41:2462F24B2AFC11273D543DBD8C83C66AC8A5F682F4F27819D2F37AF5CB7DF0B2&1B7F4AA07E6C1DBCE243B1D847B15581C84C9205E65E26224AAC39379C403AB7:0FA7E6C013F25FCF1A0B1C300705D8CBFBE6BA0B99C2E15E151B8A27C93360F9 |
| ECP2mul4 = 0D1FB0D59A5AC5D9E93010EDA6564B8167170DFA0C4ACB5B4B65B1F3F655A86D:06B820C76ADBBB565E82392DD1F34DA12BAFA4F88AFA9E53B4D9F81C3895C08B&159D532A446EE6076E0354AD64B2B3C530888D4AF56D302AE665A70F9DE8626B:1E2142377DC0DB4B4813BAD6BB386DC813C23FDCA7C13AE0D733CB86A366B6D7 |
| ECP2wrong = 18E1B73E18020D6F6FDBDD25B177D9EF445AB82EB79BB0D37FAE6583BD99CB16:2067BDD1DB78960251EDEB8309FD18AB794C40E3C9AA1F04BBEC914C849C60F3&127A84570DCD0F4CC46688ED9F817331C176688565C1949BC8E6D83F4741AA4D:065DAFA5B34B09BBCED3FD02F803B0221070F8F806FF540611B290139F7986AC |
| ECP2set1 = 05519980E54778597E7F4418DA02B0E1AA94A248F032EB36C41CB4F6FE42F3D6:F46D6F93D075D9E9AC9066CDD82EBF228622A19DD98FA21E486A4D7C01A6D4&03591C277B721945DEBA3EB4D615F17505FC0294C2BE6F38D1580378BB3AE190:0D4846180EE869C8D7A9C9F98CB967D30A3CBF60F2867143D39A4B47A631F377 |
| ECP2set2 = 05519980E54778597E7F4418DA02B0E1AA94A248F032EB36C41CB4F6FE42F3D6:F46D6F93D075D9E9AC9066CDD82EBF228622A19DD98FA21E486A4D7C01A6D4&21CA485AC48DE6BBDB7A0ECB29EA0E935B24FD6B3D4190DAD5A7FC8744C51E83:17DB1E6A31179638E28A83867346983556E4409F0D798ECFD365B4B859CE0C9C |
| |
| #test6 |
| ECP21 = 0A5F8142C07AE3C051FAB6111179A273DD2CB7E9E876A6AF0CAAE67B80C5EAEF:160532FFA5B6D50E19F2B47592EF63652CF0F02BA27A4790043C66548FE4D20B&1914F381ED5953EF6025D36BAE007C64E60AAF37EAC1E9466626B48B7B5A715F:09C299DE2A17AEA7C9EA9CBFA2B18C1B13329BE81EBB7B61EF66F7663A461AAD |
| ECP22 = 0F42DA14F9F6C17392C88FCC3ED2DF659211F4FF17D51049BBC4D4B4F767AE7A:142B4F7E51688A480A94E22EDEDD080526C5AB2DC69B16C63564917FF55E4ADA&0C1DC3A4B67B99BE9A5410B0C14DEBCC769FF412628FC1158B6AEFA775776CF5:1B9F0C6C8950610C047DB12AF30793CB3E919C9D16CEA089398FF5817BE4E723 |
| ECP23 = 08144785EC7F24636CC119A9B16CBFD2A8E3289BDBBF5D7D93920FF5B6DAC3BF:0B5B635CD46E97F98D7C88EBF98FB0AA23B8FFA85CD0EAE3037417FB70501FA2&0FA3C19E8F96052D999354C248A655221625E0ED1B3A7F83BF771C66805DADAB:12582577534103EFA394F86DE991331BAD49CFE3B7EA3CC509DBDD886777CD4F |
| ECP24 = 1BE8AE78CDF73FD84C96C9C4462840054E505417471A83BE045C6141801F8B3B:23D067B817A105D94148A24741AF365FAF5D6478183DAFC2705168AA3BD18826&1E30E2BDE57D62E8769BF6EEBB73831671E4F97E7885141D644DCC944651906F:0FB241865165A48F243088AAC697A1662F21D5502CCB6F82245A59DD1304FA9F |
| ECP2sum = 1881A2A9DA9A527AD1B82E933ECD65F7F5D1B7B12F574FE7EFB31E9DC4A27770:09499855CFAFFF6037B7820F736549865CE0771908DDC0C96EFBC3A15D969673&1C1CE56BAFC639F07A011A26EE04FA2EFA91EC3B709D3B897E8FD22847B841FB:0F0AF6B4B680CB82C73A31BC4F8F22918A211D9FBC9310D453B1920290156A13 |
| ECP2neg = 0A5F8142C07AE3C051FAB6111179A273DD2CB7E9E876A6AF0CAAE67B80C5EAEF:160532FFA5B6D50E19F2B47592EF63652CF0F02BA27A4790043C66548FE4D20B&0C0E710052A6AC125A0E7A1451FF83A37B1650C8153E16CD40D94B7484A58EB4:1B60CAA415E85159F049B0C05D4E73ED4DEE6417E14484B1B7990899C5B9E566 |
| ECP2sub = 1DF146D3AF310E3A8D875FD51E0C7349870E7EF9382F8654447E9EA659EECB6F:1FEA911D391745D84E8EDA68CF54DD627DDBDBE8745B7E92358432532545A643&13CEE78B9D480A5AB0C6877EA389D1263EC5F0C3E10CB4152CB696517302E05C:0E8EBC12707DC1B6E83ECD6AE66370BE361A15E485A6BF03833476F148D355DC |
| ECP2dbl = 0CC571F5BF6427D4E732A84C2FE539652064748C3FC0159252F901294772FBF1:20EA4A2D79C33E0713C46D5E4AC1166B7679D7719ED01BBD329544D91FB5BC72&1CA911E4C438EF982D544927F2F4B61735444617009D97585AB194D4BA5B92E9:0E2426AADE31B625CD7E0795690026D669498CF2093D9D13F29F57F713E89CA2 |
| BIGscalar1 = 184FC13E4E79A9499C9770DE4ACFA85B951B341D5C96F2D908194DB278E59E5F |
| BIGscalar2 = 09F28DB1B9ECD769BE7B62DE84D8787E0899B08539C4845005B72DF330B1262E |
| BIGscalar3 = 126A3747D81966B64610C7843D079222414DD1FFDD4D642744AB5DDF0C36F585 |
| BIGscalar4 = 12E443EC58E0D7755775B39510B95D1C9F3A9DD9D956F7BF43732BCA7178A7E7 |
| ECP2mul = 0A29A84B1D280A0F8E90F33C58BA8B50CF94F4F24BD6950F4B6B36212E8553C9:029C805A207F24D16AD9FB1BAC829A0C298C9CFB63804C13CF07C1BA01C97E86&100BDAD49C01AFCB579B096B8417D12049D2A3CA7CD968796C4362047D77445F:105103058FFAE5495D084FE928FE594DF27958CFCEA01934F74258DB14D58479 |
| ECP2mul4 = 1006AF67A48BCCFBA94E379246FFBEF2B4B422E9F75245C5070455AAB3A31D7A:22EF801216A2BC1D98E1B4D8B4EA2DE07ABC5C1992D7971859F280C3A41E0E04&0BD3B7EF22F5417F841CBD9244D681A60CF3CE0CC3779014BAC260199E394FF8:18CAEDAC654A633F071733E0B0BBFE648EC47206070FC469E4A1F8D5A6092454 |
| ECP2wrong = F49147FB78A4E951E8C8A0A06435BD171C61DE9CB63B1FE5793BA0FD7ED9C3:08DD74C8C7AA1B61008F78D215C243E2C319EDF26C48309F23698A5D4EB1E624&10900BAE76BA9889E76E42D2CB5827DE89E77A78538659C271897448536FE35D:0DB8521612431ED112E5B668DC65C03D7F09F09C1F7B06643691878C130A9FA1 |
| ECP2set1 = 0A5F8142C07AE3C051FAB6111179A273DD2CB7E9E876A6AF0CAAE67B80C5EAEF:160532FFA5B6D50E19F2B47592EF63652CF0F02BA27A4790043C66548FE4D20B&1914F381ED5953EF6025D36BAE007C64E60AAF37EAC1E9466626B48B7B5A715F:09C299DE2A17AEA7C9EA9CBFA2B18C1B13329BE81EBB7B61EF66F7663A461AAD |
| ECP2set2 = 0A5F8142C07AE3C051FAB6111179A273DD2CB7E9E876A6AF0CAAE67B80C5EAEF:160532FFA5B6D50E19F2B47592EF63652CF0F02BA27A4790043C66548FE4D20B&0C0E710052A6AC125A0E7A1451FF83A37B1650C8153E16CD40D94B7484A58EB4:1B60CAA415E85159F049B0C05D4E73ED4DEE6417E14484B1B7990899C5B9E566 |
| |
| #test7 |
| ECP21 = 17DFF450A28C724312F9872136533B449EB682FE395AFD7B6ECB46EE316573C7:0CEAE3BABB25A6846B658EE65C0D0E4ACFFB9184935F26C1F89D74F61EFCE019&07055EE18FD923E3FE5D76E80270C5B65D1853891F62A16CE43BB258230685D1:0C3F83765B6E6B22D7D142741769B72B9E73E2586396971E8F94B626E019A5B8 |
| ECP22 = 05B4CA17A818D44561FAD624707C52C3015A7B67D02BA9817D1BCFE95CA92D69:0EA285A8F42B862B77D5DAEE1F280865C7011C1CC74CB6A526BD0401E2810BF8&0769AEAA8B55FFF33944B020FA330371E208E87F1664D43091F53DA5455EC83F:0D20D2DF93CFBED5F19D062ECD47D959B82D3BA10CFDDFA8321E3A38CF158EB1 |
| ECP23 = 0E551E984F3EEE5D80B41E46E6598384B47A4C7D8DD30A60B01F9C46C329F6E9:C896BD34FA4C84524DC794A24441A15AEFE34EC39E5275DAA845B8C8AFB948&1CDEF3C83E4DAD267F9124EA52ACB9E14D7473B811303210394D976335243EE8:138EAD40162BA9B6FAE0DED2D742EAA25B8E8067C0E83F6DB1DA50A4FDA0CCC2 |
| ECP24 = 208F5086E6D61804C75577CBB7F419FCE90742596A8F9635668BACA17E89F595:0B3EFD0EBD09D3A144045D2EE32D22E4CEEE747DEA2B0619718BFA4F9C4974B7&EEB9DB01D6AD8F8289DE23E8CADE1164408AE8AA01FD41FA0AA690C8D6FA5F:1A8EF56A2FF0619B501FE3799E9E7F3D60C25799D006782204A5B79700FA19B5 |
| ECP2sum = 022118E360B85E23761FC091C024539D6171E237E61A0E4DC96A0A7AE43E4D63:078D955AE0416B4B7D4BF50E86E565B7216B72E0E39BDFC3E09A7FC43E3AA3B2&035B039921E9B18AD1F3CB8DB07C06B2D6BC49E57C8BEF9DA2CC4A2AE8B006FF:201E93B8BB72FD983AB1AE84DE4BAC13C343F7962CDCADE992A97A6CD2D0DF50 |
| ECP2neg = 17DFF450A28C724312F9872136533B449EB682FE395AFD7B6ECB46EE316573C7:0CEAE3BABB25A6846B658EE65C0D0E4ACFFB9184935F26C1F89D74F61EFCE019&1E1E05A0B026DC1DBBD6D697FD8F3A520408AC76E09D5EA6C2C44DA7DCF97A42:18E3E10BE49194DEE2630B0BE89648DCC2AD1DA79C6968F5176B49D91FE65A5B |
| ECP2sub = 151E15656096BAC8D62E055195ABCBB068962683EDB7114C8B8723BD69474636:249E28AAE31E1286490384C27F44D9FA1626F03289AEA79DF5477C7EB5F530D7&0DA69DA7D28C32F6912BF5E4DD741C6F2EF0214F7463CB895D9F2E709BC09523:1AB448C4FBFB3387C917B806E3BCDF71940F4C7D66C03FB571118A4F0B9E5330 |
| ECP2dbl = 11C242E2D5D943EF54FE7F835278E5ECB12E293107C97CBE0FD4DDBC406B3EAF:10B341E470DD617E66E847921EB04A0A7343F7EDA7CBD73C9A44CFB9D8B0BADD&0E735AB5E2439188DD8DAF056B072EA229A476E2A9F0791DC1C9FE0750DE8766:1D943645CDA6E4C82D28958DD4D19D181C74FFB4594CB32D31DAA912E5181CA4 |
| BIGscalar1 = 17BBB0EE5B2CD9A21DA4F59577ACA8305A370C722F8DA262F64D0071C6864064 |
| BIGscalar2 = 1A5C3348FFBA5765E84FD62E4ED46F82677D7E1B56597F25792C0C6357E47062 |
| BIGscalar3 = 155F2296A9199280C0A8C000D0FD401FC45E587FCE5ABCC19DA96D5C04E120F4 |
| BIGscalar4 = 0740A374BA8C91C31C5A1536DB4BD8071064BECA17DC8DC671B5BB2796E589F5 |
| ECP2mul = 1C297B7CC8879BA785046876FB86AD999BE00198A2570F1D6CDD9347A205A1B5:0EBC036B114509FF3F3073F338D04A00B5F15668DD202C1F715C194E142C04E3&1E0A932240715EB0207EA42761DEBD546A4541E50D85F44AA61FD58D870A8C98:09682E099CBFBB1712BFFF12666EAFB1F60B3B65D570E69AADD8B15808A449AA |
| ECP2mul4 = 04E4A83250437A843ED5C3C7D3899179D9BAE696C229B41011A3E005E4639F3A:05C5AA164A0725B9BEA0E43D0F7570D4E5324BEDC663FF3E82C3291634CD44E6&0D4551F9D3A42E924AF9CB1E7DC46E04A5CAF85A9552EB8EA0FBFAC5BB9B1F84:1FD9C24CE6FA88B6E970EEF92D89F6F395A17378496773FA44866291E0A87E |
| ECP2wrong = 01934246B550C8DA1047A23C811F03DFD32C3F9B2C7682D30EC0E0761F865755:0FE6A80EC6275CB1DC0068E127E1ED6FCE857CC14BEC1FE268D409F1A32FC6E5&1AD141A42FC04E81E29987EDB851DBC37743D599490281EBF0A54B321C2DEE92:0FB1FFFDC758C25B4FCE7A2AD9C4C049E6641C33C58F5B3E1CF5ECDBE4870AD2 |
| ECP2set1 = 17DFF450A28C724312F9872136533B449EB682FE395AFD7B6ECB46EE316573C7:0CEAE3BABB25A6846B658EE65C0D0E4ACFFB9184935F26C1F89D74F61EFCE019&07055EE18FD923E3FE5D76E80270C5B65D1853891F62A16CE43BB258230685D1:0C3F83765B6E6B22D7D142741769B72B9E73E2586396971E8F94B626E019A5B8 |
| ECP2set2 = 17DFF450A28C724312F9872136533B449EB682FE395AFD7B6ECB46EE316573C7:0CEAE3BABB25A6846B658EE65C0D0E4ACFFB9184935F26C1F89D74F61EFCE019&1E1E05A0B026DC1DBBD6D697FD8F3A520408AC76E09D5EA6C2C44DA7DCF97A42:18E3E10BE49194DEE2630B0BE89648DCC2AD1DA79C6968F5176B49D91FE65A5B |
| |
| #test8 |
| ECP21 = 1E8B44BA4D7DEBCBDFF20D55B409B5F1B08A76C7A6B9151F2C854170F692F2F6:0F1E91697E605DFF748B2FBBFCD2A80018694C32DF2ED34889908C851A942797&0A3DDEAC0A62D02402CDE4B044367736452A98F40631ADA478DDB059331BB513:0D1EEA60D62DD2B7D1E72890773B78785F1D51929A2DFF0FEE2FFED6D46CFC19 |
| ECP22 = 1E2AC5C8A6B4F815A7BD62C24DD2D62C783838C6E2CFECF0F38F0242A539AE25:21ECF2E077AA9DB8C209B0910E125303271ACA65DF28632EF73770A2DB8BB251&0F0E66AC86A0B5A3C5C2803E3ADBA6FEE99FF2BFCCCF7516E8C17391F0B19887:19F8DFF91260EF504967B20EACA1BAC2E71612FA904086D6D188DAA84F41D65D |
| ECP23 = 01B4F89F5CF08B8C0405C8748041835DB7A564E31C1B9794F750586F44C8BC9A:103FC352A2F7FA1192EB4CDE37CD707BDD80A6DEE28DEFF7768D756DDFC3BF34&08E9BDB324E17CAC40C06F062F5B934C36EB8E43C357D73B84EDA9307643777A:21BCCEC2562BEE34D0A2BDF6A530EF8A6104A4347AC0466BA71E92BA5B88D0D3 |
| ECP24 = 16ED3DC25910707B76C3EF3B209C9AEA12DCC426865D5351886095A936A23B11:1604DB0E9E54CF96B4525BC788DC9CBD7724A00D9EC773F7AF097D23DD0913BE&02148310D3FBE479A6D8531276EB6AB964C88223B8F462B069D6CA72290BBF:16A4B7A14995432ED14ADAFF3985C6EEABECE59B0E5B410093906E04CF7DDD22 |
| ECP2sum = 0B466BFD64C18F08CC38BA740AC80B8DFD5E0ED3C4BEBCC4C86A4FAFFCAF9437:0ED256C5E192CC4A18E015E2DC8BB307F438712368A20C62E5AB0FFC2FEAC5FF&24A8A0E36F6851269A58CBC637AA2B8973237ABC5BE36924E5BFB5233F9859E7:0CBE530BDB779D557CDC62E1C2C5C88AB76008604A0CD87ECA3EDDB7F42EF158 |
| ECP2neg = 1E8B44BA4D7DEBCBDFF20D55B409B5F1B08A76C7A6B9151F2C854170F692F2F6:0F1E91697E605DFF748B2FBBFCD2A80018694C32DF2ED34889908C851A942797&1AE585D6359D2FDDB76668CFBBC988D21BF6670BF9CE526F2E224FA6CCE44B00:18047A2169D22D49E84D24EF88C487900203AE6D65D20103B8D001292B9303FA |
| ECP2sub = 1A19195FB6162823F75246BDCFC846D53B64736ED17D55D39B47F20F90938E6A:0E56623388C6EC728C347797028529BE2F637FE57932CAC2916693EECFCFF49C&0F7344D19E6BD7A129E5D27F2A07BBCF340F90F97497F3CDC4446FF38D9F065D:193CBB1F7DF046B761D6F5D11946C5C89B13907BE0297B074E3E4411BEE4B446 |
| ECP2dbl = 06524A154D765345D16499515A221D6B8F3CF80F139EFAFDF9ED27874815DF38:1FA74F4CFFD6D07D380C5F38D424F9A7299ECFE7F1E32F695585635DEEDBDA93&0CF3068B12B31A06DA0701A2998E478D2F629423644E2BC92DCF01F7E801EBA5:23E65B10DCB0C4E5886D53C5C98A42E7CDBB49FD0C246A0DCB8A348696AFCAED |
| BIGscalar1 = 1EFB22FD3195AE0540624ACA06E69255810F78096BE08B8BED79DAE5E8C9C746 |
| BIGscalar2 = 07CD5FD476DA16BBE9B22E734B1594A19982E797503C7869D02E808F0B62B6AA |
| BIGscalar3 = 239CC6180C3F17E9BA96D26AFA452B8CBAE6CCFCFD4AED7CEA887D6E5130DBFB |
| BIGscalar4 = 233F12E358E63699CE245C0D412F17A0772C89C333269E6216E284F0EC46E1C0 |
| ECP2mul = 095C31FCB2DDF0BAF34D0EFB0FB8F6C6DA1A3E17E98AEBA2408D2D592278998C:09CBAE8542EF769128C94EFBA173422AA2DDE92AACD090440D0B762BF993F4EB&06DE61B62079A058ED149CE8F69D5CB320188AAADFF4797C4E4800ED6B0D5B55:86A803E5153A6D56BE00B165E978F744D4FB8113BB81EA86B8A0CD86C0830C |
| ECP2mul4 = 23BB818113CB7C6D120BFC40BBAEDA389E676CA850F0CCD38BEA4091600DF74E:24045E65EC14F5158E81356A1D09C9F2FCC638DC9745A75BC0A69A168C620599&2357A7D9109D45C7C38029A3577B63039613E34811C9B772C29E81C082EAA14D:16C77756697B1A09B3430E994C37A2B942939B1329475A93F2D585C5AEB69C47 |
| ECP2wrong = 214AE8880940E1FC983DEC48C3679865D69409B2070A1B305EDF591047F32919:7FA95A46100A2CB7A091B665A6D5F7421DCD184407A5DFBA68360B2590528F&1669A2A48929A1B938F0AF39AAB41DACF3A2CB6513A7064EBBACBDF58697B648:191B27971D3B2C481B33BAFF9E63F175B8B70432FE32C49C1A069681801D3A09 |
| ECP2set1 = 1E8B44BA4D7DEBCBDFF20D55B409B5F1B08A76C7A6B9151F2C854170F692F2F6:0F1E91697E605DFF748B2FBBFCD2A80018694C32DF2ED34889908C851A942797&0A3DDEAC0A62D02402CDE4B044367736452A98F40631ADA478DDB059331BB513:0D1EEA60D62DD2B7D1E72890773B78785F1D51929A2DFF0FEE2FFED6D46CFC19 |
| ECP2set2 = 1E8B44BA4D7DEBCBDFF20D55B409B5F1B08A76C7A6B9151F2C854170F692F2F6:0F1E91697E605DFF748B2FBBFCD2A80018694C32DF2ED34889908C851A942797&1AE585D6359D2FDDB76668CFBBC988D21BF6670BF9CE526F2E224FA6CCE44B00:18047A2169D22D49E84D24EF88C487900203AE6D65D20103B8D001292B9303FA |
| |
| #test9 |
| ECP21 = 029984F9C32D3430E272CFA4EE6CD33D2BE6D18F038ADCBC1D2D9D9F8ABB4E37:1163678585CD32422FC6B4983DE4F099DF3EB596E494CF6CE296CDAD91B9E784&1D7FA368E4E86FAF7BAED8330CBCB39E4DD06F487ED35F437E52DE5EF31DA99F:07A6EE8AA29EC72225B9C63D5CDAC1A60A78A244E60A845A69F3D7CE78949EC8 |
| ECP22 = 11A6A56AC6C1D148C532E908B8A45ED1941128476D70B34A32A7AD9A004C9156:1C3E4C773CFF6C954108879D684303C8014CFBE276EF16156DE9047DA7D15CFD&1DAEA4503FBC1BF761FE522E42EB1F6119768ED58604D015991FAB7A5C4F4F9A:18825FB9622FBFB2C8168535EED9C0AFE9170666D532486FA19A053BE4C63188 |
| ECP23 = 2187388295EC05B256692438075CF07980A43FD1F6317B3D7ADB7ADCB504787C:1D18C56EE6F7456ABC761A08EEC99C4F8E4EBEE16E5F4B4E5868844660A7B5F3&114F590543A4FD2681801AE542A446B57027CC3337D9422F52A0D929ED77D5C5:EAB352596FE7C72DE6F320BD4A480D16D1417550344860335EAEBA0444D840 |
| ECP24 = 05F2A6262C9B982BCD6830B1B275CE222EBFD01B00215AAA18F6F40807862E64:17387C63989AD0A619E2CDED767C5ACED3DE0A4740AC7C5A04FD4A57AD76C604&2243C89C04C082BB9BCAD096EF2F5C5876EE25DC6798AACE56A25E41B184F521:0E78CEC9797190748FFE4C8C8572D1511BB562CE86F7058DD417DAADC8D8F3BD |
| ECP2sum = 1EE97C3B0AC7F91B38ADC82EFDBDCBAA5036F2885FBB0E652109C9760EE544C9:02F0C345583C3388D7E71DC68353BA8530CE188B7C9162634AD2D98C778458BB&1BB684FBA27C62B7E0C9A97C084E05760F22FB44CF2381239A01D5FFEFF7AEE2:0D28AD138BAF31A4F19CC46412E888E3740483828271A1C2E40278631ACC21EA |
| ECP2neg = 029984F9C32D3430E272CFA4EE6CD33D2BE6D18F038ADCBC1D2D9D9F8ABB4E37:1163678585CD32422FC6B4983DE4F099DF3EB596E494CF6CE296CDAD91B9E784&07A3C1195B1790523E85754CF3434C6A135090B7812CA0D028AD21A10CE25674:1D7C75F79D6138DF947A8742A3253E6256A85DBB19F57BB93D0C2831876B614B |
| ECP2sub = 21D0B02BD7F38185B3D0CEEE9B07115BB4D94D058BCD550A6DEE32E9A8BF9327:1417DF8CC508AF74C8ED8D5F6150C2092E196AE74E2E529817E3E2FBBACF4256&14A326F4D481D2002245981E0A7DEBCD6C313BA575F42C136BFFAB858BFE0C7C:C77E4601A3C20475D8B1CB5050F5817A8D3F19A807595004D7BF4974C6EB01 |
| ECP2dbl = 027B3DBC2A410DF5ECBDFB0401A3EB583606F35989B54BA8674D878AEF725B84:0E6D695A995655F722BF43BA8C47068EE85A9EA5A0978306813780B1136F6A19&06C4E0DF08234A42D4E628B7C59C4E03791151AEB4FA34A306F4AC8212219E67:0AE600AB2919BE06D31034AD23321C381F1B0E29F1C9E55394A777A09F27E13F |
| BIGscalar1 = 02A05DD1D38039B7BA027276EA16168BBBC392085506100B142724D274D5CBB7 |
| BIGscalar2 = 1E52D03C6CA75BEAF95D4D69EAD1AFA629C8BF710E2F78D0C7011F4770032F48 |
| BIGscalar3 = 01BBC4CA47AA0A8C5EE9DCE587A2ECA3602C2899E5DD0C93A6BD614E1BD96FC4 |
| BIGscalar4 = 19920014DCBC7D5079EC75482F5CC691E7712D2132153737D0642C172937A7C8 |
| ECP2mul = 234A8971CB5B5CE1C20D058989CEE8373D5D02019E3294F0C9A667ACEC1DD830:0FDE274331ECE0CFBC2CE4C2D123972327D3D22A80072F02693F1A4555DD99E8&0EF79CF0D666688C6AE980B4433A68350D6C6D18920D604EB0E18C2095668F80:02BE407314F70A9D2D72CBA8A6D5C536E184D07A95450066620657DBFE0A9D23 |
| ECP2mul4 = 071CD31CF3AA74D1CB2D4E6EF4EF958A7AA14CCF92ADD2433CD3456BF19BEE3D:02E5075C3908CFFDC6B49CA82DB2E7DEC8D6D8023EEFE300FF0C51845AF37ED9&21D44F97D8104778B2F0361D8FA4DEEAC3803FA3955570124C070930D7B9DBC8:121DFEC7CA85F4DCD9033E836E4F232E5339A8C689A9F816BF844125E2698DCF |
| ECP2wrong = 247C2B8D04C4B23B4EB42ADD873CCA2C6E7E682FBA1E92DD9E0DA9795E6A47AC:235AC0D009A96D9480F8D383FCF634E9F41F5A05601A2F585070ADF1AF80804B&1C1F4567DB399EAFD319B1CA62512B9DC14558FD69AA8D370CAEE36DE3BE3A7C:0A0DC0A03E1C2615959E3B194684730CFFB449A6FD3B837F39594BAA06B75F16 |
| ECP2set1 = 029984F9C32D3430E272CFA4EE6CD33D2BE6D18F038ADCBC1D2D9D9F8ABB4E37:1163678585CD32422FC6B4983DE4F099DF3EB596E494CF6CE296CDAD91B9E784&1D7FA368E4E86FAF7BAED8330CBCB39E4DD06F487ED35F437E52DE5EF31DA99F:07A6EE8AA29EC72225B9C63D5CDAC1A60A78A244E60A845A69F3D7CE78949EC8 |
| ECP2set2 = 029984F9C32D3430E272CFA4EE6CD33D2BE6D18F038ADCBC1D2D9D9F8ABB4E37:1163678585CD32422FC6B4983DE4F099DF3EB596E494CF6CE296CDAD91B9E784&07A3C1195B1790523E85754CF3434C6A135090B7812CA0D028AD21A10CE25674:1D7C75F79D6138DF947A8742A3253E6256A85DBB19F57BB93D0C2831876B614B |
| |
| #test10 |
| ECP21 = 1743DF8545A771C157F24779BC75C8E0C6F251A23F681E6061C2BECB8A95D5C1:2277014FEC7653AD015BC702F4080AB95508E34B43B9221356D8231C1155ACF1&0225699E015187B24FE99E679EEA66C132EA8C447AC0CE8B6F8EB970EF780982:231F0B611676C9E2AF4F3715B7F925BE3B8AEEC8249F58071455EDD1F6225F73 |
| ECP22 = 216E6E13BDD0031FAF385254AC1FCB57FF461AEF417E581B96E32781772E42EF:054ADBE0510AFB49FD2A7856BAB03A5EAECDD661F0D55BA9C413FAE2EA0AAF73&12492DBD1A15DF468F87DAE9C4845877DF62B9CCFE2120714440FDDE040EA38A:0D2DD4F4ADA058BAE8A2651B301FC5486CE633181AE6D523AD28F42EF397C605 |
| ECP23 = 0CEFFDE25696B2C55202D67CBA2C2985B91769DD085F099558F961E974AFB5CB:1DB6792CFD0E8DCEFACF9AE272F0F5712B0DC8FF1EAECE456F4AC52AF0F698C2&0EE8CA0092E68BBE52D67393835D77A8DCD53F828B5FB95833DE2F6087E82235:0C957FABE7AF58B3FB9D0C308F13FE75516187C02B04E11D7A0F0B3B76A563F6 |
| ECP24 = 191483C36DBF535DA3DA263C7FC7354FDC3BF8927757BD584E5BEEE4948F4778:0966F5EFEE9B6DEFB79220339B4B09C2D777465728A3927AC71F24B82610DF48&17281C0E4C869CDD8B4530C327194B9A21054BFE2F8092D0682F0B8011A849DE:1DE33E7376052C3F550FCA67E67C2B1D06E0641C2F60A5653A5571F0E2824232 |
| ECP2sum = 23280DC57ABA41454B3B225F939F022D5971AD46CAE47160D8C1548D29CF00C8:17FDAA21FC7FDA651468B6F94E2D3261EB5E3602F2D5BB439289918D158BDACC&1C10DDA871C62B4E2067CA2275334FCC414B358AC7740E3541C301EBA055C45B:09B6BE51D4A8CCC5C442306D13B21F36E25CBFE740714E732E15601D6CD58895 |
| ECP2neg = 1743DF8545A771C157F24779BC75C8E0C6F251A23F681E6061C2BECB8A95D5C1:2277014FEC7653AD015BC702F4080AB95508E34B43B9221356D8231C1155ACF1&22FDFAE43EAE784F6A4AAF18611599472E3673BB853F31883771468F1087F691:020459212989361F0AE5166A4806DA4A25961137DB60A80C92AA122E09DDA0A0 |
| ECP2sub = 15EDA49BC00A4012D503D9E9FE6BBB51D125A9679451E7376A79146CA8D3A084:201937DD457B539A92C8655C98047BD1D439C14ED4C30DD2F6B1FEA6E3CA8AD7&1D2D7DFE81EB4C89E8C2F8970729B95D034BC102ACB58AF754C12CA352107616:189E9BDE0E2DFB2D34DC4C8B657130150030106150D3D883034B99BA3521BCF9 |
| ECP2dbl = 1C5198805E6A5588830A4E1F8E46E3D219829C8A10D6B453576CE8021DB856F8:1E745FD5C05F8B8DF0C0EF6CCF96A016EDED7F190F2EF9E9F406E1CA495B01AD&1E5B80ACE5C1A35A4BD0B7853117FD6B9C2677C556CC5DB9E6D776B0CA263029:0EBF1865F2D019C386A8ED5A39C4C4514F8870CE1F8CA5AC1CD95FB767313AEC |
| BIGscalar1 = 09594A90669CAE43E53F33D4CFDBBFE752F4F63534935197F08CF9CB60FCCFFE |
| BIGscalar2 = 02964628E43FA9ED635E86BBBD8FEA9A31F90B4958A33E06DD1A0FC6C022BAC7 |
| BIGscalar3 = 0D7E6AAB6DB5DBE1EDCE9F0847AD016B1BD3FCCC81011EA7337A3308CE57783B |
| BIGscalar4 = 226F9FAB67618196F9275EE49B513B0B9109487081D66979048A58CCC5B45A4C |
| ECP2mul = 2333E4807F5FD72C17517ACD7A4D2579122D43B52B3477D203B22FC67E34C895:20F1C5ADF39E7E4A193010E8AE7D8FD0CEF65B9FBDE972370C449ACBF09FE49E&05D2B53E32E5AD4A71179848A5B9F6204D882E9EE0624F0D155BDEDD5707AD11:0FB06F43EE46EF28E262F406C7934E859BB7F78A7378DE96D3C9C944ED559BD8 |
| ECP2mul4 = 20608DC23B4082BDAB4FD7F7801D2E04960075ABFBDBC2CA0E2ADC895EAE802C:0901687AE5285F2E7544C0A2577AB7692CF7251A7D459DEAB3369A9573DC4F23&99589865540E393990E559734F006FD1FF94AF95807E6E6268ED38627F58FB:0AC23C03E41EDA1DA8D5B44613A28110237D9FB40DD03172E58CCDD53690AC1A |
| ECP2wrong = 0F470DEA2CF47BB96F4C7906BA58B7EA9A22912BE08AA076CC8908DFD26E9E32:20BFBE4D294078C1A800B9125908B8E8438C16DE30579740E27EFA8B29487FFC&221CA62305322BBDE71F82FAF1598AA224AA3489464446E664705BBED1B0B355:0306BEB918BF10E1640990D3BE0E8D6FBAC3214FE2985560BE3C20D8FF3AA782 |
| ECP2set1 = 1743DF8545A771C157F24779BC75C8E0C6F251A23F681E6061C2BECB8A95D5C1:2277014FEC7653AD015BC702F4080AB95508E34B43B9221356D8231C1155ACF1&22FDFAE43EAE784F6A4AAF18611599472E3673BB853F31883771468F1087F691:020459212989361F0AE5166A4806DA4A25961137DB60A80C92AA122E09DDA0A0 |
| ECP2set2 = 1743DF8545A771C157F24779BC75C8E0C6F251A23F681E6061C2BECB8A95D5C1:2277014FEC7653AD015BC702F4080AB95508E34B43B9221356D8231C1155ACF1&0225699E015187B24FE99E679EEA66C132EA8C447AC0CE8B6F8EB970EF780982:231F0B611676C9E2AF4F3715B7F925BE3B8AEEC8249F58071455EDD1F6225F73 |
