#Choice: MF256, Type: WEIERSTRASS
#Modulus:=0xffa7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff;
#A:= -3; B:=0x0000000000000000000000000000000000000000000000000000000000014e6a; #PIN:=1234

#test1
ECP1 = FE42C49C5751B7233725E51470AAE007AF60C32794DB5EBF43D545C5CB8D7FC5:4C150A1329FE5159F0B112F9EBC741A85127981570FFC11FF765EF151B286BB1
ECP2 = AA44F0A2F57C0D6553C783618CD1DDA1C6877FD350047BC0E70B85A07BA261B4:EF80C7CF45A5F44747093DAC602FFB3C1BC53BBFC372B806C3D29C66E2654A5A
ECPsum = BF02A5DB857B970C588EAE6E67E4F5051CBA3F901D44BDC267B0E567F7A2500C:A829D52A3AD71BDEF4C3B369F36177E072CC71EB970B71C80253D86B91DEE658
ECPneg = FE42C49C5751B7233725E51470AAE007AF60C32794DB5EBF43D545C5CB8D7FC5:B392F5ECD601AEA60F4EED061438BE57AED867EA8F003EE0089A10EAE4D7944E
ECPsub = 40760A1BAF46EA82A5D7DDE27F0EBEB7FDB5A49F2D34231FB7DE338859D8EABB:608CA245A09B3DA57DDE3C53C2EC3369EBB4E395588347C32BE0411598A8B406
ECPdbl = D4C0D34B1FC28A28D1F8EF6CEA9C76F80D4C44492677672A0EF27F08063E0F3E:56A2EA467B1DE7E81723705735AF1EFD0F75F353186FFAF369169786D6D744AE
BIGscalar1 = 76C51E70B7DCC78465A91FB5CE9AEACE45E693FD3C555E3CFAC1E0227B895F1F
ECPmul = D1F697602FF98880153B17437847B5DE0350BBD47C97C5751522492C9C90381C:C9A5F5444D0F719A02CA165341A3BB2E3C1179F7D8E825F99329D2CCADC49246
ECPpinmul = 79639E5D59D52DBBB9B27660D4E73580FCC7209FF58913BC745539656D5F3523:9DB63D01EB34E8F5BFA40FFD0B02E29184A0B25FE95C75BB83AD234F9FAFB462
BIGscalar2 = 76CC2D61C60EECB634217BB32F98960A15764641CBFEF6D100E2A58C8B43E40B
ECPmul2 = F5155BB776015F7F1351390A6C93A69F7A4AEBE428598EEF4003165FF63F3754:3F3C1789FA335458413CAD6328E93D8586713B439257F01ACA1B65FF23727B38
ECPwrong = 2B0D11560532C29FE4159A75A396059A44626B22A968B1ECC30F7118DDC291A5:A91B17E43F8FEAAB9BF269BD6F763DD84B9FEB08C40F4582774FD2B020B9CDF7
ECPinf = 00:01
ECPeven = FE42C49C5751B7233725E51470AAE007AF60C32794DB5EBF43D545C5CB8D7FC5:B392F5ECD601AEA60F4EED061438BE57AED867EA8F003EE0089A10EAE4D7944E
ECPodd = FE42C49C5751B7233725E51470AAE007AF60C32794DB5EBF43D545C5CB8D7FC5:4C150A1329FE5159F0B112F9EBC741A85127981570FFC11FF765EF151B286BB1

#test2
ECP1 = ACD271BC3B4F603E472AF74E4DC874957816F2AB59BC0A3ECEADFD89C9F3A3AB:72DD5E4C9C4CE9610B63C9C2C53F5520B972E6D88D41DB8E624E49934C28E92B
ECP2 = 9B399F8B9D4871E5A756DDC924318470058CB479D302759916D6407966642930:E956C0CE8613FF922D04820EF57555D633A5A8B0E1969AAD603CA234B7513E06
ECPsum = DDB99CCEA97DD481A6CF26175CBA1411E0A201D269E19A5426ABA2727F968443:CBB4735D71E6068A9E911E9388DDDF39DC92E2C216D438E1B0A695321BE99596
ECPneg = ACD271BC3B4F603E472AF74E4DC874957816F2AB59BC0A3ECEADFD89C9F3A3AB:8CCAA1B363B3169EF49C363D3AC0AADF468D192772BE24719DB1B66CB3D716D4
ECPsub = 3A12D3088193A6319BD244BFF7F363A13ECCEAAC07DE3FAFBAFB75335C82D012:E27D347D969E917FB57D9C11D840DA4AF73BAE03DB432A6B8B205F6716EEF94F
ECPdbl = 8E319E3D71B3DB180A2A32A8880D97489ED0627FBF98BC6C0FF03A3E9770995D:5873062EFDB1BDE9D76381D7EF4FBC2AC961A481C5A64801BCF8D067B4CD254C
BIGscalar1 = 86703A7E2508BD54240B8B5B25547417A17DB9B76347C9DD16668916CEB5E3DE
ECPmul = C0FF4329775CE6CB13694F8D963277A8E8CCE59791CF623936402003754398C1:4449A5B8763FF0FC6E15D49DA469401415465781BDA69E164CCFBF53C1C48E3F
ECPpinmul = 5DA098279351C91A547FFFACBE43BEBE15D179404E266C55F2538B4B8AC0688E:72F453B5C6E7BB909FB05F955A91E39CD90A1EAC864AD03D370577839E98F7A0
BIGscalar2 = F7A18E835A25FF2C3F7F36B46762300D96E1142A9B2CD68A64CDE711832CF4E8
ECPmul2 = EB4215BB44516F280FB723DC7678E1B35A0E02E7CDF82BA2308386413ED302C0:7388F7655B61D9FEED5D66CB410C9EA6FD11217E26FBA3B6E0661FAA3F050BAC
ECPwrong = E72874991085DD0026712ED4AD2F02967FF253170AA36835C367C19EBF6D2A23:1C7FA17CA2359B7B9DFBCF47CAD0D6E7388062B59304C70C6016072598DE2457
ECPinf = 00:01
ECPeven = ACD271BC3B4F603E472AF74E4DC874957816F2AB59BC0A3ECEADFD89C9F3A3AB:8CCAA1B363B3169EF49C363D3AC0AADF468D192772BE24719DB1B66CB3D716D4
ECPodd = ACD271BC3B4F603E472AF74E4DC874957816F2AB59BC0A3ECEADFD89C9F3A3AB:72DD5E4C9C4CE9610B63C9C2C53F5520B972E6D88D41DB8E624E49934C28E92B

#test3
ECP1 = 9C76FB2F377C6666F5FB2BB7860A3721AB3D278ADEFBA59BAF313C10BFACD7EF:FB9822FA3613C46E4A713481AD101D834154427D5FC66D88A0D1B5202C5A3FCE
ECP2 = EAED9EEE7DDBF2017FED4A059209FC680B3CCD885C17303D12EAC2CB52880FE6:B0FF881C224653A90052411CF1BA4FF267CC84B5887AA3421BFC647986767B24
ECPsum = 5802AC16FF467D8A958A8EA52E1A92A1253AFFE2DDFCEFB319787C7ACD81AFE5:39E1EF7A3A61B8F17A8E88A01F5035EA8BC5836DA37D56A74FC5BB9A305E3BDE
ECPneg = 9C76FB2F377C6666F5FB2BB7860A3721AB3D278ADEFBA59BAF313C10BFACD7EF:040FDD05C9EC3B91B58ECB7E52EFE27CBEABBD82A03992775F2E4ADFD3A5C031
ECPsub = DABEE11549852C8A6D615B924592267BDDCB74B1BDE97951963864D122406AC5:B4075DD2E2B6949CCE913982365ADFDD10523949B70CB97241276A34FC9F4FE2
ECPdbl = A64FFFF63711EC16886690D15235EA7155D5662A598253E155A5BF8C4532F1E7:DF02D00C12BCDE5A0F649D5E184B9B9FC85E6920C4F8276FFC9E2E308E76B530
BIGscalar1 = 6E8C6D3E22401CD88EABE0599549F8D7F37661D6263C8924C74D44E0D3025F65
ECPmul = 5682B01D0E9980B3DCAB9081225187CCADE85EE72BE7ED7FAFC57A66F27F565D:25FADDDDAD1E21E9D6893EEE95ACCE99C4A603C87124493DD63A1CF75026ED22
ECPpinmul = 1376340E742E7B24710B74DD90997944496D80CF5D55DD9CED9FBFB539961B35:7011EBDD5A0A932F86755665E4AED07633D27509A52E01AB1374076CA3F5990B
BIGscalar2 = EAE948271C9C2706E50EE54BE0EE65B174E1C0DF572C645B38BFC65B83DF1189
ECPmul2 = F228A2DD0D341D4064CB08FC30E61D33726ED4DDADEDCF6AF0E2AF4DB1636E5B:F846FB97E5CC9FFED135A191407FE96F6320911CA21697401468379B196E3149
ECPwrong = E6C059942A9FB65CEAB96D3166D4360272D8CC3A6CE465CB8917C5E0A8BC2865:6592CE47957835B47FE86CE59B42570A0F9BC5D9F461C4467A7CC96CBEB4B0CE
ECPinf = 00:01
ECPeven = 9C76FB2F377C6666F5FB2BB7860A3721AB3D278ADEFBA59BAF313C10BFACD7EF:FB9822FA3613C46E4A713481AD101D834154427D5FC66D88A0D1B5202C5A3FCE
ECPodd = 9C76FB2F377C6666F5FB2BB7860A3721AB3D278ADEFBA59BAF313C10BFACD7EF:040FDD05C9EC3B91B58ECB7E52EFE27CBEABBD82A03992775F2E4ADFD3A5C031

#test4
ECP1 = 4C44412F93028A6FDD862F6E8DFDEDF7483B5954F8F55D6178ACE261B9886C70:27D17B1BB4F9E47F37036F0588EDF91D0F75D2FF01DDCDB333B1B9DC72E11133
ECP2 = E8119BD56868E25AEDFFDFFC4E077645DDED0DF687BBA4B5E90A07D708161508:024D1438FD6FB3F6B26DC517BBCE477AD4F6122223EABCB1D25C8ECE23C65C8F
ECPsum = 9CCD79E32D4391F3DF16DDA4936D91E52F54EE6CF1228B345698FF0F588252B7:915A7156625A16E3360059D1129F95F14ED43AA07EDB400B8F5905D0DF28DBC4
ECPneg = 4C44412F93028A6FDD862F6E8DFDEDF7483B5954F8F55D6178ACE261B9886C70:D7D684E44B061B80C8FC90FA771206E2F08A2D00FE22324CCC4E46238D1EEECC
ECPsub = BEC6D6B260B3C787827ADA080FDED2F5C0E3A1D05903CA84233329CD28C463D0:8F47ABC3102E45185D6642D00D8657AAED7A16BE7BD4AE5D3711EB97A96B7037
ECPdbl = D52D07405A71F96BA5FF0486980A53D28B7DCE486ED983CCF8A97386B1E13527:213FBB980411FD018853C50B1FDF937D705D09522207178BB8D2AD7293C34167
BIGscalar1 = 53A34D27FC19A83289FD5A4BF71C11023F24F1C9E7D87E5D4B254801BC8461F0
ECPmul = 8ADDBEE818E6E6A2EE45A13829A8C7DDD8AD4FBB7F93FF0E9A290DF179F8D1C8:C032412E30E1CA4C1FE2889EEFE529853DEA373CFD8DFFE799B032E28CA2AAB2
ECPpinmul = F746E3762972C5C91D6950A6C2B23E47E5A4EB68076982D3E110E081E3ED54CB:2B8B03774EBD6F1EA86B6D1F144CE294F82E51A595B3BFB8970DCB6C964C2033
BIGscalar2 = A717FE3D51362A69A1C4C4A8109687239E4783E9CC6342C23354D2BA2CFBDF7D
ECPmul2 = BDE62E392C77FE39D0B5A972DD5646ACEE607C87E95EB6C1FB00BA14846E3080:28EE22FA5D9BF096A9CD9ABC3C1F292F246D61BD5EA322B3F5F51B207B343D5C
ECPwrong = 15283FFD77446FCC305F7D1B23D4AF21DD20CAB17A2BFA38DE6BF4557FE70425:5C2C6CE3AC88BE1C08927B720625F3240B6E6EAC742FA0573399DFA8393CBD99
ECPinf = 00:01
ECPeven = 4C44412F93028A6FDD862F6E8DFDEDF7483B5954F8F55D6178ACE261B9886C70:D7D684E44B061B80C8FC90FA771206E2F08A2D00FE22324CCC4E46238D1EEECC
ECPodd = 4C44412F93028A6FDD862F6E8DFDEDF7483B5954F8F55D6178ACE261B9886C70:27D17B1BB4F9E47F37036F0588EDF91D0F75D2FF01DDCDB333B1B9DC72E11133

#test5
ECP1 = 0CB4112B17A6DE63F1439B29C1227678B632251B5FBE5AC470907043A2ADBA61:FDF30580F832C1F37E5D509B65A23CF16847DF5E106272DB072DFBE18D247769
ECP2 = 515B36F93B173F84CB528998B647E159774102C12B5AEE8530EE93AABAAF6DBB:4951EEFAAC97E95DF551348BE84A396065F38A9024EA9A3A97B22F7FA1A0339F
ECPsum = 63AC6CDFB29FF38C46A6CD936009552FE0D86F83CA854F1C43E6A33355986ED6:E882B988F04AC27828761374C270810D2B8F305485C5CFC9D9F86BC247006F16
ECPneg = 0CB4112B17A6DE63F1439B29C1227678B632251B5FBE5AC470907043A2ADBA61:01B4FA7F07CD3E0C81A2AF649A5DC30E97B820A1EF9D8D24F8D2041E72DB8896
ECPsub = CD8137D7B691315CD6E69AFEB28C70EC9C7E747626555516B364C10F8052E5D0:BA83992A0830431200CA2B6DF6AC4D6A9D8BF4395E80BE2797358470A33E0B23
ECPdbl = 524371D8247F23C8D11BE535388674E8CE3D2F8626CF320A8AE06DC2C24AEF42:1CFA2CDC840B08BDD98B7B0BE3DF7CE39486834C1212B59A72C2CF169A9A8D02
BIGscalar1 = 1AFCF302699F5F7E08F1DDB8B5119D495AC77E70D2DC771866C69B20E317FC39
ECPmul = 85D7631AE7ECC1154CFAA159C854E9838F62A0FF7E8C667898F76EFD87917160:7CB9881F839B2F9F41E5BB6A1397B1740E24E8A7F183D1768C4C4F04BCE9DA31
ECPpinmul = D4A6894ED70A8530452D535F6059344E96995C0B2D734036A26805BAEBC3757A:DAEC15BFEC8E7F20B0B26D0F890658A4047A1E535BEDC0159094B604FA047BAA
BIGscalar2 = 4E18484E16F191313379459970B9626D6550724A7F10CE6A5F98FC29B40686B5
ECPmul2 = 99AD40819D88F9F279745F8CC68FB2CF83C7D91544A1B3CEB67591EE48A6EA6F:FB4B8E7A4E8A104673E7A0B47D9C169FB90508F3B1BE531CB027C3C9375BEBB8
ECPwrong = 73F164F19CDA231B7102D017CC53A5D0ED022D5D8CC69BC673F59A2A1C50FF37:6A38EA97FA039647BF2953C24B50088457C18256086806EBC17774BF49532954
ECPinf = 00:01
ECPeven = 0CB4112B17A6DE63F1439B29C1227678B632251B5FBE5AC470907043A2ADBA61:01B4FA7F07CD3E0C81A2AF649A5DC30E97B820A1EF9D8D24F8D2041E72DB8896
ECPodd = 0CB4112B17A6DE63F1439B29C1227678B632251B5FBE5AC470907043A2ADBA61:FDF30580F832C1F37E5D509B65A23CF16847DF5E106272DB072DFBE18D247769

#test6
ECP1 = 5802D1A36E860F329A338C059C15CC38B3519757BB0259700F3C9B4E5DCD401B:4107804B0B5AE6A72B6B307457EF755375A5C982DEBB9A3D2B3F9850D0EBEB35
ECP2 = 705CE39E62E2B1B625490106E8D2FED4FEA45BFB13D8EB399184C79309E04EFD:5F26A7E91FCE33C54AEB4022528AB3B8E53780DBE8E65F8482E47BBBED118FC5
ECPsum = 7A61EA1985042E02842E643B7F9371C425D2E8587FF08E05684E6D585ACEA224:08BC5465EE1D080D7FB81E38A57A5F07633715520C8335815CB2F904F5FF6647
ECPneg = 5802D1A36E860F329A338C059C15CC38B3519757BB0259700F3C9B4E5DCD401B:BEA07FB4F4A51958D494CF8BA8108AAC8A5A367D214465C2D4C067AF2F1414CA
ECPsub = 3D35345FBDA8F0F01F2272172E110B2332121A619347F6B7A8A037DE5854DEF4:1A0ACC38442170AF8D60154A6B1A4754B604218D408BE54B284EC78A1217B44E
ECPdbl = 4A6BFDEBF7AF4C1AAED6D8D9BD2251BC5E3B56CFF8510BC20FFB2665A3830AD0:6F9CD56100D42CFC93C2DE4F5CF9477599558EEAFA527E0C5D0B0C27B2410C29
BIGscalar1 = E384EC385922A51219DCE787CA5C98883F11A7AB53F00F6AC812536D65A682BE
ECPmul = 33984CA90B5AE045520E31F1F76573A6DD833E05B592267DDA220BA6962CE808:3DEAF5E8CD1B68987BA48519FCA5C655FA5DF9815A312A8866B7EFE7D2D48BAF
ECPpinmul = 93FDE0BBC835637C883F0DE880007D3DB6C3CDE52DF3C13405B4D3522AB197FB:26E63F7FF481D2DBCED6C12C0036D18FE4A47479402AA18D14C52B02B46FB2F0
BIGscalar2 = 09C74FBF615990579C986CAEC87315738D098C281318D1E8AB6C97391561048B
ECPmul2 = C806DADA0526DA510864DEE9864CE7C9C6F1C22F6DD521898399E48810CC8769:7E54FA8AC60770A6A54E01CA3D4751ED88D267B6471EB81CDCC846B70BCBB263
ECPwrong = 8B3F7D51300D647C12873FF7A93257270C9E251923427BD21FFDCDDEC1ADA002:2B33DE71303D4A14D2F525EF405084CC8B8AC82482D517D017EA0A4F0331ED1A
ECPinf = 00:01
ECPeven = 5802D1A36E860F329A338C059C15CC38B3519757BB0259700F3C9B4E5DCD401B:BEA07FB4F4A51958D494CF8BA8108AAC8A5A367D214465C2D4C067AF2F1414CA
ECPodd = 5802D1A36E860F329A338C059C15CC38B3519757BB0259700F3C9B4E5DCD401B:4107804B0B5AE6A72B6B307457EF755375A5C982DEBB9A3D2B3F9850D0EBEB35

#test7
ECP1 = CD9DC09729EF4C2A09BDEF96A4C9B57105277EF3C9815407BE1846BF4AAAC39E:C1673B5EF5928629E6757333890B1917DBCB336957B7B029579B6F34F3384287
ECP2 = 03A7A9ED8B91A8B0D002743405FDB949FD999DF6D378E1784865EA8EC1A33E04:B4714D9B1421CAA9EFCF760DF96501626BF55D7679E0F325308731BD3E39B10B
ECPsum = 6A083827A152FF05C6950FB12C06E64A8A48CD96C526C40F3AB0FDFB321E72C2:D8AF91E2865857A4245C454635823AF1A2048D4538FA6B0B42FA57986C950A13
ECPneg = CD9DC09729EF4C2A09BDEF96A4C9B57105277EF3C9815407BE1846BF4AAAC39E:3E40C4A10A6D79D6198A8CCC76F4E6E82434CC96A8484FD6A86490CB0CC7BD78
ECPsub = C8D1612198870632882DA7F0C19FFA303F51CEE7DBDC4A7650CF162BB9BE63B4:18EC0A18F696296947432C1A7D9394B922ABB8B8751C9B03E9CE39DBAEC630C2
ECPdbl = 2811A5517422342BF9873CE85B490F74CB3FDA37F48C02B0053FAF164E257937:2DEFE9E70B70A2CAA0B35FCAEB11A12D560BA5BFAC01FFC2DD30C8A7FDC55611
BIGscalar1 = BBA0C8F0DE036A9A0D546F5A20910154797688C4AAAFA83F8A51FBA73ABC7AAD
ECPmul = 9A6AADE4A398E41C547D9A087A57D1107AB94D8CAA2F6ED0DA2CAE4CF3993F03:21558CF3F0949EC6B7FED764580997F9AD191DAE603F5B0455E7B531AD95EBE7
ECPpinmul = 1B11317F01A736A8B4F830D1EEC5308CA60651A46AE64801B219E3C40D9F4869:54409E44E5269C668D932D741DF4F5CD3251559C2EB6BC855DBFEDF05A542125
BIGscalar2 = 48630B322D4A8B47F8A3078DA14F1EA0674918AFEFCA9956DB9C23B4EF3BF105
ECPmul2 = 9BBF7F02120CE7E0E2C52C4978EA2C180F515738319BB2D5BC1EB24D41A0B465:7D89D6E249E329819547C4402AD46F30FBF1976EC707BB3A25FDB5AC989F61F8
ECPwrong = F2A4A67C59DA790DF3EF3F7A72DD0DCA5D2E42EC8971A909266C183CAC8F7210:CF960EF1B1A98727C82169C53337A2C3194358EABEB723C93A52C3BF317309D7
ECPinf = 00:01
ECPeven = CD9DC09729EF4C2A09BDEF96A4C9B57105277EF3C9815407BE1846BF4AAAC39E:3E40C4A10A6D79D6198A8CCC76F4E6E82434CC96A8484FD6A86490CB0CC7BD78
ECPodd = CD9DC09729EF4C2A09BDEF96A4C9B57105277EF3C9815407BE1846BF4AAAC39E:C1673B5EF5928629E6757333890B1917DBCB336957B7B029579B6F34F3384287

#test8
ECP1 = 6A9484465EEE7A93DBDF7E559B41AEA1F1911608D5B71444BDC244F11291D2B0:3A0F53911A7918F22EFDAF9A3CA3948AD7EC5B517840E6A4F65CB68C24AF6D17
ECP2 = 2E8BD974DDFB22E4B1ABB57994EBFD7D5261C7D7FFD3832EAC44398BB6855228:5FC97431B279BEF820E5A74ED16EDC3A68496960DE61CAA8DA8B1FEE8FDCEA21
ECPsum = BE8F1FDB2A1CCAECCC1F11FD2A6AB63897E01C04AEDC89B2B05FA0A7F064F517:6576DA1388DB4E8ABE69519A80D6CC557E96F86305B86109FA647296188D9F78
ECPneg = 6A9484465EEE7A93DBDF7E559B41AEA1F1911608D5B71444BDC244F11291D2B0:C598AC6EE586E70DD1025065C35C6B752813A4AE87BF195B09A34973DB5092E8
ECPsub = 1870A2080562D16CC6D9D513E48C08AE8755378F8F067F7C6FAE3BA93A3FB676:F84CFDD630FA785B2DA32766CDBD7C27280DC82609E2FB08ECE3FE2BC02D144C
ECPdbl = 087AE709CFBB1C4CA39F0BB886675BDA23B10835382D1EAF1A37AA832839E991:7DCA45424AD6B0F154C5FADA8C71059FCB08EE7B8AB0E656CD60C49C013886E0
BIGscalar1 = 80EA86B275AB52D5AE8A06D82D5A9813E4A996B2236426A417773D225D7C09D3
ECPmul = A5D75BA3E39E22ECA441F97CC4C98503857A07CB853FF25819C6DE1CA1C3FFD7:508B4722AEAE5087111A382CFFFAB1841C595DC58098D0CE6F2B7F9F2FE630
ECPpinmul = 41F2C9A75226CA57456745F0381DAE4B3B74369DFFFB290785DF52990FE5DAA3:ECCFBC67441A25A4557E0FB038B490E4FCC0ADA5F88487869F341AF0DC16B91E
BIGscalar2 = E88602DF12330F3ACC8C81B411B6DBE0989C877250B49F1B52AC3AD9B98B36AE
ECPmul2 = 5EBFDE84F64E98F5C7AEF8B7E5D5FAB5658246B772610D8BAAF2FAD7BF14A449:45FDFACE84566CCF946D3BD00546358E4B4B0A50D9E5C36A5000DA696132B707
ECPwrong = 708DA945DC399FA191A4905EF1A19D0F86B4369DDEFF9B09772A818B37E27453:E63F938909F287BDE3B61FC387AD3681ACAB509FEB4AC874EC5D13BB9C349418
ECPinf = 00:01
ECPeven = 6A9484465EEE7A93DBDF7E559B41AEA1F1911608D5B71444BDC244F11291D2B0:C598AC6EE586E70DD1025065C35C6B752813A4AE87BF195B09A34973DB5092E8
ECPodd = 6A9484465EEE7A93DBDF7E559B41AEA1F1911608D5B71444BDC244F11291D2B0:3A0F53911A7918F22EFDAF9A3CA3948AD7EC5B517840E6A4F65CB68C24AF6D17

#test9
ECP1 = B64190EE18E740ADF2DFE92879C1C36E55FC10F64572581F07C5B89DD12D168D:29E315A81861DF14855A076BABCD3C884675E96FF0B0EE4C9E13533C799ADFA6
ECP2 = 2C676CD4879301A008C74BCB5CD6F67F16DECB01D2822001D6530B5C2AD295C3:01F199A716CD8D8AFDD5C52BA7C536EC7B303313EE593367E7A1E622588F5510
ECPsum = 5A199940D0F8EF3BE05F13236326A4C355DD7E7AFAE86F5D59EAAA8F5D8B2D8C:9035975E99494B53C27F939FDE737E797D086B4F44802EC8A0D0BCAB3DD9EBF9
ECPneg = B64190EE18E740ADF2DFE92879C1C36E55FC10F64572581F07C5B89DD12D168D:D5C4EA57E79E20EB7AA5F8945432C377B98A16900F4F11B361ECACC386652059
ECPsub = 0BC0EDE54311C5A86D9C61FF6A898178FBB90A341A907522BF54003DFA6C2F8D:825EB447BA2CA74254BA28D23608A98DB434A32F15683DA5D38EDBAB883CE98D
ECPdbl = 94A2F79700CE34A32E44857834E1CF590193CB547F54B505781B5583CD13C649:35724313D403AB52613648D5B9BA5A84716D5D27F678FEC133CCB629ACFAFE8A
BIGscalar1 = 0FA1351FA20F47FF1CD24555DC70B1FFF8BE892896E546CA3EF73462332DE9B9
ECPmul = 76AE1F43A3092FF99C5A0E9402B804FCBB63D9130D7DC45B9304EAA4BAF17872:21EDFF2CE6A00B130D12A7C1525AA7869C86949D63ADC5DB711B70FE334261A0
ECPpinmul = 963238DC85DBF1DF57EF5E19928C342E09EF7B6D0A40D9564FE16666962A0EF9:7CA1CACB7B78371887880DDA7B84BE093AA1B571F754A4B2AE423793F417E092
BIGscalar2 = 723BD9599E19C2578AFB02E6E8D5A9E7DAAD0B2F147CB1C3AE107E0FA877FA3F
ECPmul2 = 10FB2ED3F695FA403661D8F25CEC75D10CF9DC7E2C60A2CB592DDB46F2A9287A:3AE4C5835D3841F8CD9BB43C3DAF411CF2DC087AEBEF5CED02CA214CE91DC847
ECPwrong = 38EC71C78EFA468280B7C962E64A3FE58B8E7C60E468212EF0342984E015A08A:82454A66345FC6D566CA04D9FFB997A2AC63EB88EAD24D93BDB1AC2770457EBA
ECPinf = 00:01
ECPeven = B64190EE18E740ADF2DFE92879C1C36E55FC10F64572581F07C5B89DD12D168D:29E315A81861DF14855A076BABCD3C884675E96FF0B0EE4C9E13533C799ADFA6
ECPodd = B64190EE18E740ADF2DFE92879C1C36E55FC10F64572581F07C5B89DD12D168D:D5C4EA57E79E20EB7AA5F8945432C377B98A16900F4F11B361ECACC386652059

#test10
ECP1 = D04D37BF5B1252831D54735F0A1DAEEB2268B32EE7026CBC51C56D78BC8DB4E8:0B09FD317416F26C9532F61DED7AEA2123AD81D40BDD6B848B498AE7DFC3E693
ECP2 = F361EED89C9A04FC382BB7F64C94B02BB871FA2C7BFFA06543EBF610C118D672:27D507C743D4FFD3960E7B52197C8C00E3F293DEC224655C2581FC4F7BD0B017
ECPsum = 40C246522350F158F6BE09BF7F2320A5403C8226E4298C2A34BE0A53639D311F:76BA96C6D3EFB2F46E2257C0AE23AD74B032BEEF25929BE8F7E02C734B1B8E06
ECPneg = D04D37BF5B1252831D54735F0A1DAEEB2268B32EE7026CBC51C56D78BC8DB4E8:F49E02CE8BE90D936ACD09E2128515DEDC527E2BF422947B74B67518203C196C
ECPsub = 65F4C0D036D0809A1E8EA8B5532A52E921DC01E41BE770B267C06D67FC8880C1:AF592BC2EE2B558DBCE94EE2F614E1335960E05E6ABCBE3BF331CFCA2F09DE73
ECPdbl = B77B113AAE4FC3E4D09E6AF4F6BD5D70B1C336709E29913B8318C5CE3E28FE57:9A88B626A1AFC8C5D4253E31D45A0A785609ACFA752D6FDF38303B68E67D2F67
BIGscalar1 = AC06221C8BA0880745ACE0F8623328599E3324D42148D0D60B3E9CA66036B6EE
ECPmul = 82A5F64ED71537073B8F4ECF74363DD85E9796AA0A8154295F9050F1400FAB5B:A4CA83C98E623F1C151784FC0F3B9448C68EA4B298E1AA97C2943A18331339FA
ECPpinmul = C9829022F87FFF5E4709334D9CFBD4EFF02869A8D16E49914F8BAC630FE407DF:68B18198404B5A374BCFC87C1E73453D36E6C47CC2E5B581C9F14363E477450B
BIGscalar2 = 3F3B9A24A9DDB46F8C5C1437ACC3D0FA561A871CCA258467E836CCC456E84E6A
ECPmul2 = DCE569A7C29BA3029C2DA4017CDE4166620379E813FE3940E82352652FE2F6B8:E4540BF6DEA2DAE178B10BB19EE8B41014883CE7B5C9C935E1849F49910A8BA6
ECPwrong = C32C9E9D54DE542EBBEB6CCC1053455A746E6E854699C08BAA76AD8A4A00559B:3A2C131F1EF82000853C21E1AA43C4F4FFFB0CCC45732E035E066829102730DF
ECPinf = 00:01
ECPeven = D04D37BF5B1252831D54735F0A1DAEEB2268B32EE7026CBC51C56D78BC8DB4E8:F49E02CE8BE90D936ACD09E2128515DEDC527E2BF422947B74B67518203C196C
ECPodd = D04D37BF5B1252831D54735F0A1DAEEB2268B32EE7026CBC51C56D78BC8DB4E8:0B09FD317416F26C9532F61DED7AEA2123AD81D40BDD6B848B498AE7DFC3E693