| # Choice: MS256, Type: WEIERSTRASS |
| # Modulus:=0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff43; |
| # A:= -3; B:=0x0000000000000000000000000000000000000000000000000000000000025581; |
| |
| #test1 |
| ECP1 = 8F465C5A72A738D21C3F8828B9C81D4023E253CE1BDAD03F5AD935DEEB72EB05:6C5D65591E5F7D6BD97CCD030A1C4CA657257364EA024053025128AE7B5027BE |
| ECP2 = A6DD99B07BB5B7C8BD2F75550580784C5427B4FEA7CD8246A314B75170FD3101:39BCEB20859DBFFB7EAC33C1B47C4C224D71D04390825613E1F3683C2367234A |
| ECPsum = 831C670F768F5D59238BF2A9253344FA00515BB77EBC26A5058C2E4EFE5D31D3:B572C5A30A8E614E07EE5C7CDC22E9EBD54C9FA35B6FCB5A363646CC813F183C |
| ECPneg = 8F465C5A72A738D21C3F8828B9C81D4023E253CE1BDAD03F5AD935DEEB72EB05:93A29AA6E1A08294268332FCF5E3B359A8DA8C9B15FDBFACFDAED75184AFD785 |
| ECPsub = 3190F19032BA4A212A453E45B50508624EB24AE83C26182E192D2A2FA1EA6F74:7F868E833A27073E53124BCBC34EA8D658F2128699118F40A10C11C71F92D77A |
| ECPdbl = 02485D0B3F069401E6E07567AD1439C5568DD21C039CE448EC2CAF9EAC1DDEC3:8E435E7CDE5FFC4803F1619F69FA44847EAA250263AA54F805E1889410EAE9B9 |
| BIGscalar1 = 345B3C659F9E926676B9418FA38A38F151258F9DBF414955276A3F1352FDB4B0 |
| ECPmul = 2C68E0ABE8DAE47E771F4CF1A625BE421B298B3F725C7AE9193F34391362B019:6AE8FE0B53272F42FAEA720B382E65639760091EB83C56D6CACC8B12FEF965E7 |
| ECPpinmul = 3BECCEA49C34FDC368A7FA4B490F8FC259E46371C565C6895EA1DCE1CA43B1E7:FA1083EB94F9F35F7B8ACD3EA0DB2E8B1098459203B7760056CFED2FBC7D26ED |
| BIGscalar2 = FDC49C23D425A978EFCF58EB09EC787F01C81F7A2B1024E5BBEE4B77F8DC1B97 |
| ECPmul2 = 480661535B9F39F448FB0C487879BD1108D6D53DE8B24BFD851D7C1E2A2F0D37:9E0BC8B8A80BA8E34C767CF483A2E7B6117FD6AA29C6EFCE107CA2FC44B14812 |
| ECPwrong = 6E7C7CF427905B38AD6B7C7F8F27BA49C01068F28C5CB76C09ED72AE5F17B1D6:0482C185D93311262EE895B568A4ABFABFD06E4A1AD9F3A851AC8A59F69AC6DB |
| ECPinf = 00:01 |
| ECPeven = 8F465C5A72A738D21C3F8828B9C81D4023E253CE1BDAD03F5AD935DEEB72EB05:6C5D65591E5F7D6BD97CCD030A1C4CA657257364EA024053025128AE7B5027BE |
| ECPodd = 8F465C5A72A738D21C3F8828B9C81D4023E253CE1BDAD03F5AD935DEEB72EB05:93A29AA6E1A08294268332FCF5E3B359A8DA8C9B15FDBFACFDAED75184AFD785 |
| |
| #test2 |
| ECP1 = CD4C622F2E5E9BA4BB196A88EE9CC089C3C011201CFE2EAF6505B1B5A927BBEE:3DB7038F545DD603A58223B8A6D63ADD8A0EA31AFBD5AC8BD8905999427C6888 |
| ECP2 = AE1EFF7448A0A8FB5044F73699B26E7E10F67F41AFF68DE759C291CC4BF8207E:F05BA4668879B052F362E5089AE146E8C78E2E13C728BE84384FDF8378C02D44 |
| ECPsum = 37B7603FBA04871C6ECCD31213E4566FCB03CA251C7BB5FFE346E60B43366169:2D43DB8C80C2056B1F1B411ED9D0A045B6E5289A0F79DEA1F5AE55F07346A058 |
| ECPneg = CD4C622F2E5E9BA4BB196A88EE9CC089C3C011201CFE2EAF6505B1B5A927BBEE:C248FC70ABA229FC5A7DDC475929C52275F15CE5042A5374276FA666BD8396BB |
| ECPsub = 74725BAF676789C65A05F9831DF4B15082CEC0A3270C82B7732770061297A498:1A148A4A25E36E9CC585FEECC5F8209E8EB2E1E7A8C0C41B4F5A0FB75316DCA7 |
| ECPdbl = E73F071FB208ECCA84751F6B5075F64523F9DE4128BFE73CAA42949DA9A197A4:0CD03A7862643AF7AFB3058AF71433EA4DB85A52AF71AF73424FE8DB6DCDF07D |
| BIGscalar1 = 1BE9F0213A9710749D51A3C4F1A97C997F3FC91D51DE8FDE758E3E5CC4C219BB |
| ECPmul = 27D20B8318BC3B7933A11420DC1FF27CFA6DC8FA008BD0BB6C02C3A31E7DB7A6:811C23D1AD943BA2BA97A32CD879ABC8D343CCA7755F7B59E1DE03918AC54DEB |
| ECPpinmul = AE949BB10E083B77C8BEBB77EC1F185B352F2C0D075FA0732FDE1BBB52E76277:584E9F5D5D8CA9D821970442DD00588014E7278715CF318C810104C67146CC6B |
| BIGscalar2 = C3E7ABABBCDF76D81DB3F5A8DEAA367C868019F29238249934F504F5B58836CE |
| ECPmul2 = 330E132F67364F73CDF14A10154A9F5F4908F8F1C9B49A7285FE029F11BF376B:50F11B8AB25C25C0A6AA9D85D59AD759F9732C60DB5A6A554770528C505C4B0B |
| ECPwrong = C67EC36700977986BDAE7395BDF7953BEBAB634EC7565B08162F08178E7AF6FB:D9BD082075828DBE1F3A13AA818E8961A96A8854F5EC90B0DDDAE86F5A12EF31 |
| ECPinf = 00:01 |
| ECPeven = CD4C622F2E5E9BA4BB196A88EE9CC089C3C011201CFE2EAF6505B1B5A927BBEE:3DB7038F545DD603A58223B8A6D63ADD8A0EA31AFBD5AC8BD8905999427C6888 |
| ECPodd = CD4C622F2E5E9BA4BB196A88EE9CC089C3C011201CFE2EAF6505B1B5A927BBEE:C248FC70ABA229FC5A7DDC475929C52275F15CE5042A5374276FA666BD8396BB |
| |
| #test3 |
| ECP1 = 3F0AF6F6C5F49C63BB6715E231261B6D40B9A95CBC94F272C1157D0A08591106:B9D66744AD78EF7283ED6A7F40344E9D1018C07B5C6E63BF00A4AD7BC3670918 |
| ECP2 = 33FA27E38D8EA1F78978326659EEABA2D9F0C9D1D02A686589833471ECE0380B:FEE717F82AAC3050BE7AAE2CD3D7538378855485AC2C89D0DE5054D92F74C87A |
| ECPsum = CBD04C7388AA46DAEE566D88A8FB89A8BCFEEC965E090932AAC6849E31E4137A:078E958A262F5682039C1265BF2EE8E54231A62D079F4E3FAE5DDB41A2C2810D |
| ECPneg = 3F0AF6F6C5F49C63BB6715E231261B6D40B9A95CBC94F272C1157D0A08591106:462998BB5287108D7C129580BFCBB162EFE73F84A3919C40FF5B52843C98F62B |
| ECPsub = F41A609F81BE8930BF01A94D411A92496304F11E53926ECE6447D3009E96B1BC:16ACD8E3A673975395E48A0CA1BF34A193D123B7DDD9091764030F6273E461E2 |
| ECPdbl = 615EE1C1626E7A6B5EB760DD199A7311AEA8B48005A85A9D2BD68191782A8C05:098F1A1B89DD89C50DF6055446F34A208C83F83B78EBD15D6F2BBFA50E2A8BBB |
| BIGscalar1 = F79118C3B3569E7315F85940853F397E723A9897ED69653A1158DF53D55D84F8 |
| ECPmul = 2E4808F9D4767E25D8564C07914AB98377565CE06C69E61933BC7166E7ED9A40:6746D7E1ECE51FAA5131C134DC2D947ECB863AF9D97E72ED47D3B6DD2B33DFBB |
| ECPpinmul = D2810910F6E57CC55364285DFC5F0EED46B48C22E37CF96E7D7054636C3057AA:AED111B6B71FDA375E49ED44EF90937D47BA1DCA708087177CA6DD0EFDAF4D76 |
| BIGscalar2 = D80A8D462361A9C2DF0A45AD73D0762ADA8272CE8BF67D47BD32BD25099C6CE1 |
| ECPmul2 = FA23D2A9C54DE5925D2A0532A7AE78A86548E502DE7F61F75F6015E7F825DF26:1EAE5A1E0BB62D6A36F3A42DA6388F117DAA02B1F825A5303110BE7F7679AF98 |
| ECPwrong = 9DE1A2639627A5601B029EF867A5F6652A426642F992D3BCAD6B799040B2D799:43EADEF02EA69765B0B12407805DB62C42BFC98D86D6676703FDC012E4467194 |
| ECPinf = 00:01 |
| ECPeven = 3F0AF6F6C5F49C63BB6715E231261B6D40B9A95CBC94F272C1157D0A08591106:B9D66744AD78EF7283ED6A7F40344E9D1018C07B5C6E63BF00A4AD7BC3670918 |
| ECPodd = 3F0AF6F6C5F49C63BB6715E231261B6D40B9A95CBC94F272C1157D0A08591106:462998BB5287108D7C129580BFCBB162EFE73F84A3919C40FF5B52843C98F62B |
| |
| #test4 |
| ECP1 = A5F100F3C6559E4DFDEB1C2B3F1AEBFA84B959FD8143821F854CC2073D76D1B6:4F3BCEE79A9145E6660C2C6C29EE2505E644DBD6CD3EE16C37E6BAC31DA84F3F |
| ECP2 = E91971D4D01D245F05A094C83F4B1C8190051601EF2907652333870726230DBF:F4E8F1044CC0AE93113F9D437A680590701DAA927957B9A2B0A755B81B8532E5 |
| ECPsum = 349EE03B77483F82561EFEC6D14FEF1C171FEFBC843AF8F30896DA21CB1936E4:BA040615722C36E1BBB7417E3BDDB9B42D9A88EF18D4577C58C054F8E60B9938 |
| ECPneg = A5F100F3C6559E4DFDEB1C2B3F1AEBFA84B959FD8143821F854CC2073D76D1B6:B0C43118656EBA1999F3D393D611DAFA19BB242932C11E93C819453CE257B004 |
| ECPsub = 38C4204778F991CCEA06E224D9ED52C4C54B6D330FBB2B257B5AA0BF05612A5C:899FCF02402B5D93BA7A93E3272329F5C8F13EDAE598A90D07061FD2644BF654 |
| ECPdbl = 41EF2F698CDE4A88A7BC4BB1BDCC42C11AEA7AE1ACC717DDB55F6C3DCCE891C2:5647B5566075E79E0B7C2FD1EB7187055B400DCEEF2C8795A5035907507F179D |
| BIGscalar1 = C7BD5698216AD4C7F9FB9B5F50FF061E34113793C5D2A88BC8A9C5C602AEA70A |
| ECPmul = CBF8E51CF97720B06E4FC7767C127896649D5478B04676DFB13C6355F266A7E3:4493C205E8CEBDE2775C5C43A38C0FDA90E262525CB6CC0A9FF4C32D4286778E |
| ECPpinmul = E53EDFD396BBB2E77771F3105A8D9603F699970589028BF9DC43B86E1CF54652:3DF041FE7F44D43F47247C3EF72AF4EE5FE515021C90925DBAAE60FF2EE9AD |
| BIGscalar2 = 1F3F0439CDA676B4A176579D4B6C17DE35508C45D694C3282BBFF184CA3B447E |
| ECPmul2 = C5F03ADBD384087CA96AA3516D58348A707FA3CD97D732ABA3FD1C687071B848:4E06FC50BAFF3AB36C0CB87ED900878770C02FC478EC149AD942BEE8ED94C597 |
| ECPwrong = DE38312D455CA40DB897A230B094108870504D3D212C61F4BCB7CC16816D82D9:DF132D5454CB9D79B505BDE671290EB559A87E8FA62D1383D062B984102667B4 |
| ECPinf = 00:01 |
| ECPeven = A5F100F3C6559E4DFDEB1C2B3F1AEBFA84B959FD8143821F854CC2073D76D1B6:B0C43118656EBA1999F3D393D611DAFA19BB242932C11E93C819453CE257B004 |
| ECPodd = A5F100F3C6559E4DFDEB1C2B3F1AEBFA84B959FD8143821F854CC2073D76D1B6:4F3BCEE79A9145E6660C2C6C29EE2505E644DBD6CD3EE16C37E6BAC31DA84F3F |
| |
| #test5 |
| ECP1 = B3C484CF76A6F7192388B0D05C9884FED73C7CE55DD8B7847156460B065547E0:DA5E1C0817ABF9F27617E5DC68E38A9A61447DD6611C561C08C462C426AFC7E6 |
| ECP2 = C8688EF76F44450F3A3D824902EB0AE6042787A4844BA23D01886A366D913AD3:272AC86C7015454B16E38672B9BE84FC58B8F6344389CE19BEC8920ED84FED21 |
| ECPsum = FED5CB3944963ED71DC6559E6302CF2FCC6E1DC1FA449F48624595809A0D7C01:812191EE87D15DFECE126795E2C07B978554116CAF10BFC049577029A2B28E86 |
| ECPneg = B3C484CF76A6F7192388B0D05C9884FED73C7CE55DD8B7847156460B065547E0:25A1E3F7E854060D89E81A23971C75659EBB82299EE3A9E3F73B9D3BD950375D |
| ECPsub = 4F910E2B8B55D4BCCCE50B93E6CDD621170B1006DD1125B2137B3C75262EC5FE:CD2B8D29111341EB36397FEC238A56D8688E4B8C57EC882A2089177E03393707 |
| ECPdbl = A000CBC19A4E58B00567EDEF998AA5DB96E4C1777CB381B0353D248EC6320A35:65EB3743951DCF8046FD1A1BDF84AF36625192479484A9C551BFF0EC4C6C124A |
| BIGscalar1 = A23E0C712B1EBF34325D2DAB3B782AA5AC469CC31C77D8090BC54C4A1B002EE6 |
| ECPmul = 7E2BED52685CD09730D80D68588A07B3CC42D1FDB0FD49561FF13E249278C953:116BD3F0127086D674F3A1DC054352B9D9ACB295F45692CD8F250F084813E7DF |
| ECPpinmul = 2699CF21B9242A76D42B85105E9B7F6B90C9E6C09BCD29086978A7F72FE0B17A:C42C8E7C339D0CD2A68E9310CE0BDA4CEA4F62162486DF1B1798DA4F35642E34 |
| BIGscalar2 = C5AD6A533172006FB29015915673460BA025DD1C70E253725A1F220F7FE4559E |
| ECPmul2 = 91D6B352CEC608C9A5B31ACAA85F4413E0495AED80B4C49E29FCDF0D06B6A377:5277222152DEC1DF3BAE29E6B777A90F8004C253BE32EE832CC8FCF7B903E2A2 |
| ECPwrong = 6C5B83660095D581CE948740D76444550218075438C47B789F9956524769824E:8F22B240DA2D6F0D85B599CBCA544C3B14CE9F35D514CC56D971D68DC42664F7 |
| ECPinf = 00:01 |
| ECPeven = B3C484CF76A6F7192388B0D05C9884FED73C7CE55DD8B7847156460B065547E0:DA5E1C0817ABF9F27617E5DC68E38A9A61447DD6611C561C08C462C426AFC7E6 |
| ECPodd = B3C484CF76A6F7192388B0D05C9884FED73C7CE55DD8B7847156460B065547E0:25A1E3F7E854060D89E81A23971C75659EBB82299EE3A9E3F73B9D3BD950375D |
| |
| #test6 |
| ECP1 = 784A24231927EFEEBB4F6B5048E6138A6ABA233D642ABCC88786C2FDA1F2D7F3:03106F6328325060B84F26C702E2DF7F0219F54F9D4F1A7B93429E3B23CE444F |
| ECP2 = 6A4451CCA20AA2E21DFA6D9BFA9D2C1EDA239F0FB37AB410E9D0DF2AEDBB0EEA:85C023C96180A905ADF55BFF6DB25EEFFEF9F7E6EB9536150A56E36AA3435126 |
| ECPsum = 25331B72D01F9183BB09320F87E9B7C1B5EE6F0D0A12021001F5440EDE7758D8:E94B661F71FBA1C3B37349D22971E54AE056ECA2FF071AB83E2DA76FA5307CF6 |
| ECPneg = 784A24231927EFEEBB4F6B5048E6138A6ABA233D642ABCC88786C2FDA1F2D7F3:FCEF909CD7CDAF9F47B0D938FD1D2080FDE60AB062B0E5846CBD61C4DC31BAF4 |
| ECPsub = 6C03BD86BA533F6E8ADD3941D69F99AC0335F0E7EEC1FBB35AE52F6A4FD1B251:9852AB9AD5687DE20B94C5088BAB3215C2D488443BB83B3F7E0C2659504FEE2C |
| ECPdbl = 348639194FB58FE5CFFE1557BD9CF8DE991AE3005242A7A8E9D2E6902EA464DC:2FD06A34D0FCE51F3025957D8580F236071CDBEDCE86BA391A7684321D80B976 |
| BIGscalar1 = D348E6875598E5500C4AC07531C9D4F894C826D34D0F7443226E03418939F21F |
| ECPmul = E270D6AB46DB138614FED8D67BC25A5EB820EE9342CD343601F4EB7C11763C98:C21A6CF5F64D6AEE220B814E03E21256290D7D284BD8284EAB56995D70A2AD72 |
| ECPpinmul = 1D2C9292E068815D5C82503F6E03C2F971E8DF21CD7A8492637735B0D03F59D6:BA3B9A2E9238EBD553BFD9E5A811526830E524FCF441DCD5E6CFD96EFF939A70 |
| BIGscalar2 = 3B770C13E04CD150BAE2E11C30CD30FC610B8BA709859A26A3E3588924DD7A57 |
| ECPmul2 = 262CFB7F545B31D4E50420B2B36337FBB25CC46C7383FCC1A4AA7C14499B141D:61E368BAC3497B8160A0EBC0C042F449AE954BDB35567CEC2E00A961031B3C09 |
| ECPwrong = 8BA7E0F7DF639F13EC34657625C4556BA30FF4332A50DCDC38476D6B4EF7E11B:3D8696626B7D5914B19CAEFAD29AD5155AF54C81D701EA87157F75E1D734583F |
| ECPinf = 00:01 |
| ECPeven = 784A24231927EFEEBB4F6B5048E6138A6ABA233D642ABCC88786C2FDA1F2D7F3:FCEF909CD7CDAF9F47B0D938FD1D2080FDE60AB062B0E5846CBD61C4DC31BAF4 |
| ECPodd = 784A24231927EFEEBB4F6B5048E6138A6ABA233D642ABCC88786C2FDA1F2D7F3:03106F6328325060B84F26C702E2DF7F0219F54F9D4F1A7B93429E3B23CE444F |
| |
| #test7 |
| ECP1 = 5B61413354E7BC99E2349BC476D91B8D7A3C1E7FE0A296F6C7FE100FA29DC88E:BD0C46420A6DFE7A2866F4784C15211E4BA44638555D47D026028DD775A1C0A4 |
| ECP2 = D5B1047FC5C383DA936CB7F1594988F576EDF60B90E69B1AFABABA2EE74BA64A:1254C0B2EAE39C5768D0FDB1AE510189C32ED8E177F0C2F181C8191E43808D92 |
| ECPsum = EF4FC197BC79C3FEC504277C336912C1B762807A732DBEC2755564F1BA2AB0DB:6E16207B1D731000F2733D9933D2EF4F734DEE6B23909CF75349C3A74FFBCE4A |
| ECPneg = 5B61413354E7BC99E2349BC476D91B8D7A3C1E7FE0A296F6C7FE100FA29DC88E:42F3B9BDF5920185D7990B87B3EADEE1B45BB9C7AAA2B82FD9FD72288A5E3E9F |
| ECPsub = 362F85EC668614EC3739F2BF9FBEFF8A85CF5D7A85F6156FDC3132BE430B858B:A37687F6B09B8ECE2A719E1DE4D84C4251ED1E4BBDAAE565BB0A9ED3A01B0DA8 |
| ECPdbl = 9836B2D7AABC769425799909E4D2B55AE87F7566A3300250CC3F5395EC1E9429:ACE29AE5A9F1A754AFE6A488912929817C4918FAF69282E62F5F83F1031E7310 |
| BIGscalar1 = 1BC8B8E69EE58EA655CB6EF68903E877B6112C0D99D663B8FC9A3375032C54F9 |
| ECPmul = 326C33D9E49CF44236329730DAEDE48CE1A0F25445B0C63E7540FF8ACF2F9836:159B0F2C93A38E4B9A04B55C8A542F3B09C42F4916FC9687BCD7E1F5A3B18E2E |
| ECPpinmul = 63051FA5EA514D447EB7B0F6B0A8C66565CA60AAEA6F9D1A38F40634FE274D2C:34263021E07030ECBEB02F8507707A926C2D4C3ED58C3261D59945ED579206FB |
| BIGscalar2 = 092E9BC94C2C22E2EA79593436C81D7DD97860EDD91D8E57C5264521CBA26B83 |
| ECPmul2 = 2AC50EA0A358616C126AD2732A2DE36F3AB764814B1026404FB6131B21CA53C3:BEBD111FDA38D7A40EB095F6FF2D1B734FBAAD0BB7961F04541B4FD2E7F3BE8E |
| ECPwrong = 24BD7F6DC8477D90FFE5E382B50164B1749F19DA9CE4E32F1718B554C82410B3:5BA9533C50F0A5BA56271270155B65F4BE04A709B81C0CBFA9EC70959328FA69 |
| ECPinf = 00:01 |
| ECPeven = 5B61413354E7BC99E2349BC476D91B8D7A3C1E7FE0A296F6C7FE100FA29DC88E:BD0C46420A6DFE7A2866F4784C15211E4BA44638555D47D026028DD775A1C0A4 |
| ECPodd = 5B61413354E7BC99E2349BC476D91B8D7A3C1E7FE0A296F6C7FE100FA29DC88E:42F3B9BDF5920185D7990B87B3EADEE1B45BB9C7AAA2B82FD9FD72288A5E3E9F |
| |
| #test8 |
| ECP1 = 582F47583C25E95C877FC7E1455076EB954094FE667484C58DBFEAAA64A38C51:C4EE7C9FC26BC3493A8DE3262A714E6720CEBBF6317824E41E0C036563EBF5B7 |
| ECP2 = 845E1ACD02AFAF90110FD542C8692736E6AF41844C9AE03FD52E29912E00C246:0F56372A03D50CE47AABA1E81FA221F4731B2F2901710D7B115293C9EB318CD5 |
| ECPsum = 197E1340DFCBC0876E8E4F0023B568AB1586B72D85A99E504AE72D25042FB230:0256319B447C53A8F5EFEA9C734C14C5FA54A2462BF90AD19B4B5167899F6E57 |
| ECPneg = 582F47583C25E95C877FC7E1455076EB954094FE667484C58DBFEAAA64A38C51:3B1183603D943CB6C5721CD9D58EB198DF314409CE87DB1BE1F3FC9A9C14098C |
| ECPsub = 8076ACC451AD363F1A430E1FDC5D1117352F0A8FD8FBF86A11AFFEFE3928EC6B:EEF1D2CE58071E28DABFBC98512C1B7C2B6FCDF26F3977D43411F227D3E155A4 |
| ECPdbl = 8EF7482C702A42B7B06082B8085DBD6FAD8E4073F432BEC0B0B49C40398F436B:AD25C4588104D829B9FB1F27323C05CE5846B6DA354C0FEA6671CF054C4964CC |
| BIGscalar1 = EFA48644FC8503B94116196803F7248A76B066402F282FCCE85F91C4A27C0BF1 |
| ECPmul = 9933DC3F77231E84431B3F70ACC815A8326704F1DBD0DDF5008DF65B6CF9E56D:610EA75017C6C074810745DDC089C1AB594C95B773941AFFE583E784764B1F84 |
| ECPpinmul = 45C863372E6B3CF3527A979F9CF450CB0AA0CBB7397312DBD7CE6F870F713431:DB0CDD830D45F1B42DFD4C0C5601F251AD4BD71DA21C2749A300194CE68E0E61 |
| BIGscalar2 = 12CEDCF22631A136A911FDD66B0FF7659D0548B9627264D4B95569DECF3F2845 |
| ECPmul2 = 5DC0D17B4237ED475B05555C42700B44766BC8651A76C6F0CB9707BC60BD5421:FDA8C0CEAE9A19801D2B5B79E3AEDECC3FD213E71093A64A43CCC029E51B26C2 |
| ECPwrong = 82F9DA35328B202B51CEE07863247FDA43DF26DEC7471645FADD80F9388BD921:3145C358EACCE47FC3BB391427D6387B1AA0F4813B11088ACE766C0974565674 |
| ECPinf = 00:01 |
| ECPeven = 582F47583C25E95C877FC7E1455076EB954094FE667484C58DBFEAAA64A38C51:3B1183603D943CB6C5721CD9D58EB198DF314409CE87DB1BE1F3FC9A9C14098C |
| ECPodd = 582F47583C25E95C877FC7E1455076EB954094FE667484C58DBFEAAA64A38C51:C4EE7C9FC26BC3493A8DE3262A714E6720CEBBF6317824E41E0C036563EBF5B7 |
| |
| #test9 |
| ECP1 = 9109A16092FFB10644E89366DA45C100DCA257B5C5034E33DFEB350C2AABBB31:9BF1612F432BE8EF02ABD0A968BB43BD4DEBF4E22E1FFC99FCFC59A97EA3FD17 |
| ECP2 = 3F4ABB45BBBF2690D4A3017B3635D53DABD07F6EBDEAD95FB126883E741148E0:90AD4EFDCAFD5A4931D6494E7C398524DB3191BDA8C118453D7BF55A132B9CB2 |
| ECPsum = 26BDA84E96F6FE590BF378DC387B7517CE3C74887577E5A529FAC3920F3F4C02:E8B8A1B0E58B6563112CB8FEC7D8EF42C7BD9F90976592EBD47E069624C81AB9 |
| ECPneg = 9109A16092FFB10644E89366DA45C100DCA257B5C5034E33DFEB350C2AABBB31:640E9ED0BCD41710FD542F569744BC42B2140B1DD1E003660303A656815C022C |
| ECPsub = B5A6B7565C3C70B8B2EE727034BFAA3CC7EFC06BBC6460013876508131D4BE93:5449742B0F8EBF07BE8A40B8DA3C8064F9F9D8DBF0B214CD76CAFCBF9BB3A90D |
| ECPdbl = 09E77129ABB81569B72F2543EF476EA63A8F1D146D359584C7679CE2B3F551B9:375FD802B1058672D659DABC3007C3F32E9B126E79963D0C5CDE2468AE4BBDFA |
| BIGscalar1 = 1F33FED3BBE7F567532B72F111912A5972458334D57EA8B77C25328E117A36E4 |
| ECPmul = 1268B0E361DD3F8741DB8BD0C6ECB5ECE8F1961211144B3B27CCAD9B5522A99F:DE4F6370FDF4F6D2447D60850F927EDCD761F4B1972C76D6DEFC586E8F76A2C1 |
| ECPpinmul = 0D4B8E426412269956C33C9DBC45BED08B7A510932258321C7B06F2BB8BF23B0:E3CB9F44D0C8E2ACE0437F263AC18C60072FB0679B4A91077C30E0520DD445E2 |
| BIGscalar2 = B527C8B01BA51B81385A0C760920B3E61F594BD19C09255CE480919664CFEEAD |
| ECPmul2 = 03D42FD2342DA94A7EE35082B69C1758E59223A479F289CEB48907826C1C1628:528B4E91CB74A30B7DFC7CE59608011ED1A2DCB4C714F43E9AE4C3C58562E4C1 |
| ECPwrong = C3780FE835451C8516DD26639FF7A7D9F4B3996EE56FF2AF74CD92B22901A357:04B8F384E1D56231ED8BBA1AF9FA47B314E26C4C3CAD8528D34E20213912AC9A |
| ECPinf = 00:01 |
| ECPeven = 9109A16092FFB10644E89366DA45C100DCA257B5C5034E33DFEB350C2AABBB31:640E9ED0BCD41710FD542F569744BC42B2140B1DD1E003660303A656815C022C |
| ECPodd = 9109A16092FFB10644E89366DA45C100DCA257B5C5034E33DFEB350C2AABBB31:9BF1612F432BE8EF02ABD0A968BB43BD4DEBF4E22E1FFC99FCFC59A97EA3FD17 |
| |
| #test10 |
| ECP1 = 6F6DCA1519F68EDC8E8C1D859B8C549CE6AC4CFAD814A32A9F725AEC1BFD5CBF:C05E0B5B8FF630347451ACB4A01FECFD620EAEE2F4135CA28C172FE2313176BA |
| ECP2 = 1C02C0AA830C369D8D098CF6A6DAC1E6FA221BE78A6C492204C5BF01DC840E:66C3680D079A6307C7226FCF2030EB16A918C1E81D77CA494DF0A8C8310BFB86 |
| ECPsum = 154DDEC6AAD7CC3944905D4576E4C79309EBF394C1F07B5CBD4AD29352D9EFC3:A03A4293E937219773A7A44E549B2CBDF9A362A254FE2AB611EE8280B3C0B435 |
| ECPneg = 6F6DCA1519F68EDC8E8C1D859B8C549CE6AC4CFAD814A32A9F725AEC1BFD5CBF:3FA1F4A47009CFCB8BAE534B5FE013029DF1511D0BECA35D73E8D01DCECE8889 |
| ECPsub = 9DC92260689B8CDC8F6B80FA180A7B52C36BDB5FCDB2CEB2DF1634C8647847BB:7EE96068D161968D107F6A2B77F86473A9B0EAF19BED11A31E1E0739FE654B89 |
| ECPdbl = BF91849207C853530B41AB548294598E8AB12C2D3B7141B0E3E288960601E8AB:69EC48DDBA13597157E5FF68124539A949CCAA9264885D834AE9F896145005D5 |
| BIGscalar1 = E9A845FE54D3AE6665F8FDEB46C2633EA1C56373DAC040033ED395E2E6D7B682 |
| ECPmul = 5CD3F727F6FA78A13C82996BF3D261232B73D72997271EA9E122BB90A5EB5D6D:098A038DC8936E2D10784D7A7C1FD1DBFB8B47AF43B2DD77332FA8292F6CAB65 |
| ECPpinmul = BEC87687810298C4B783F00F0F4E481075D92D86884EBA72672470EE2A8B85F4:42D9B3243549F4F6175BF6A6122C7B5EADAA258977A71D27917C06D58B82748D |
| BIGscalar2 = E72C60A26E7C4E23411BB27DCFF0756CFD4B8F00270FF7A9C0A66B9CFBB2AF0F |
| ECPmul2 = 3D086A81D9B1D566656DB61AEF22E549CF65AB7257CDEFA0EF3EF29758627062:5090F94FD8065BBDD47AC76F3688B69716D8B33860D733989645B4ABE6E415A2 |
| ECPwrong = 0B410FF3F396E9368B537C4B5BC1C38CDCC1FCAB2A7A6BAD5FD04AE5E319BBF2:D997D4A0A4ACA745B9D3FB8B4E46FC957A583642CE85840C5A528342088B8E79 |
| ECPinf = 00:01 |
| ECPeven = 6F6DCA1519F68EDC8E8C1D859B8C549CE6AC4CFAD814A32A9F725AEC1BFD5CBF:C05E0B5B8FF630347451ACB4A01FECFD620EAEE2F4135CA28C172FE2313176BA |
| ECPodd = 6F6DCA1519F68EDC8E8C1D859B8C549CE6AC4CFAD814A32A9F725AEC1BFD5CBF:3FA1F4A47009CFCB8BAE534B5FE013029DF1511D0BECA35D73E8D01DCECE8889 |
