#Choice: MF254, Type: WEIERSTRASS
#Modulus:=0x3f80ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff;
#A:= -3; B:=0x3f80ffffffffffffffffffffffffffffffffffffffffffffffffffffffffd08d; #PIN:=1234

#test1
ECP1 = 025F54B7C164C944B626F340C56F9F2C7E08CFAC07343A263391116E7A4E45A8:2061A471BD20E8E4C7192E75806283A81949DA5F5C16B248870C5197CECFD25D
ECP2 = 0A9AE92F0791B3B00A24420F28FEBD3865794ECB18623E5860561F88C0444506:285A5D28397B4206C34A00360112924EAED97D24AE27E7ABF4969B80F65CAD5B
ECPsum = 3ADA0601060800F89ABC0194A586ED5A19AD07E01C9D687BFBFEA29292FCA9D9:38C888518DCEAC02A54E3F953D9C3F3913BBF4CE0607FCC1A06C26829B24C1CA
ECPneg = 025F54B7C164C944B626F340C56F9F2C7E08CFAC07343A263391116E7A4E45A8:1F1F5B8E42DF171B38E6D18A7F9D7C57E6B625A0A3E94DB778F3AE6831302DA2
ECPsub = 1CB1F1F2183E1C387197909D4E126A8B623D6DB1E5D932337F4B92CE00905BAD:12ECD2FAE063F205B92E5C902DB51DBDB412FF677BFF6BC99D00D387233D62A5
ECPdbl = 2C5C1D063063643A2064637F403B8E27ED6B4AA475771654937F3E57E1456CA5:0740B7211734E4C72C039111A2B6DA6D7D4E4B7E5B505BA10A703E149B051BD0
BIGscalar1 = 0691B949D9CA2A580BF399439F474DE754150BBAA8B0F7911EF8C8FF046E6684
ECPmul = 10DD5C3AFBEC51C02BD90BD31E486FCBE0C0D268D87C09C32023AF40CDB0A706:142784B273E87F31BA57768815F3293F4BE8F02F7AF8246BA4A6240A404F33CD
ECPpinmul = 288D11687656E3ED2B3BD7A07A57D4735415D2DE0D5153D9545833E0A2E6F63D:3A41D6F3C90E5BAE8C94D9572F4F2D37C952B9DEBC8F7F15B6125955524BAF1E
BIGscalar2 = 1144CF84CA93F7207DDD9D52A2200207B348F30A6CC4322ACCB28C93C13E1136
ECPmul2 = 2B6A93BA6CBEDFAB6DD262DB310FF1299C078F28141AE1744BF2ACAB8D3E493A:3D63B0B9F3819465E999DA003FA08001983E0C80F1B4956B6A5197E78D5168B8
ECPwrong = 28CE5DBD31133D88DCDF50C118F147BAE80692F8B42948F0204022C2A268F9C2:23BB752436BEF6ED2337F795956821441307F662212B4A2EAB827063968A3C57
ECPinf = 00:01
ECPeven = 025F54B7C164C944B626F340C56F9F2C7E08CFAC07343A263391116E7A4E45A8:1F1F5B8E42DF171B38E6D18A7F9D7C57E6B625A0A3E94DB778F3AE6831302DA2
ECPodd = 025F54B7C164C944B626F340C56F9F2C7E08CFAC07343A263391116E7A4E45A8:2061A471BD20E8E4C7192E75806283A81949DA5F5C16B248870C5197CECFD25D

#test2
ECP1 = 34195D2E4678DA21A82FA94D930970897E6657F9B368D6E6EF6FF0BFD99128F7:1F580F9338852F49DC331E362495AC90F73E560204B9A3954D9800CF1E42600D
ECP2 = 11B25CBC7DF7133BF769AD19D1327D73A79F7FA8146A81173C09B78E0E4828BA:287A857ADF785DF634C2ACDBE816D311C2D58502341EE0FD2C658A44A9B84E40
ECPsum = 1377B3E4048312E05D45E82BF0307CEDE76169A202EBBB6EF9405DDD83CCD2E4:38D7E3F078CCD629AB0E9DC6DA84EDF0169A40E6DA16C82B9D6560433E57D8BD
ECPneg = 34195D2E4678DA21A82FA94D930970897E6657F9B368D6E6EF6FF0BFD99128F7:2028F06CC77AD0B623CCE1C9DB6A536F08C1A9FDFB465C6AB267FF30E1BD9FF2
ECPsub = 07DD78A47019393BAECBE906ACEE3EFFBFBD55267D1D18E189A5ECFB015AA0E9:1F1F702CCD0B79ED5DE9DC9853392E558E6E35FF460173CFDCCF09F6163397F9
ECPdbl = 2129A9DD1B92D8ADDEE7EC3CE8D76BACF2E2CDF55B155FCC92313F8D6EC8C6C4:30229510603D4BC702C6FD866F7E1AFB357B084E78F402337BD81A77323C5C1D
BIGscalar1 = 06366900845E81E0FEFC5EC4155B7BC543DE289B77DC7B3BB2C0D8CC3200A611
ECPmul = 24C45941EC27C3A6DB3CB2781932B465ED3904725F02119E4332B05F50D4FF2C:35C0373166EE903B350B954BB8F4F62CAA124009D6C8B73663848DB3CC3D695B
ECPpinmul = 1F4AC6B009B77C67F03C3C4E9D0E925D4E81E5C3585BBEBB73AB72FBB7258DB3:2B4CC8E0EAA0F3FBE29B85342E5D3C79C5A4AC6E345629A97608905F09FBC588
BIGscalar2 = 21236994570ABFDC549AC3C30961A8762EE3A7EE1B05C3A864C0D1A0AEE9EBE8
ECPmul2 = 072D00E666BB61BDED9F28981F5EBBD9619F59BAD0441CF283C218294A63CE67:3C7769E5932F0BE80B78C4B0FD0C10B2890627007947A0B5C02BA485397EFCA4
ECPwrong = 227B032FB634DD2A84CB2B993849BE4D036D8ED9CA15C6B04644255F5499B1CB:09D0EF488BF44D5980096F99CEFE407D9F8F77CFF76CA63B51650A02A649652B
ECPinf = 00:01
ECPeven = 34195D2E4678DA21A82FA94D930970897E6657F9B368D6E6EF6FF0BFD99128F7:2028F06CC77AD0B623CCE1C9DB6A536F08C1A9FDFB465C6AB267FF30E1BD9FF2
ECPodd = 34195D2E4678DA21A82FA94D930970897E6657F9B368D6E6EF6FF0BFD99128F7:1F580F9338852F49DC331E362495AC90F73E560204B9A3954D9800CF1E42600D

#test3
ECP1 = 13050C4001493C27B9BC2E06481C9EE1BD773423F72DC8288591F531A23EB1DE:03A8554584132E48135066977737A7A93156EE6BEFAEFE9CF377B4F03036A97A
ECP2 = 2BBC890B527D6499A34D775D0BAC138B922E7B743D7369E9FAAA574A54D9C149:34256EE4F372420F449C1E07DEADE2789A8A4ECF37D6042550C5ABC8D4C896EA
ECPsum = 0464A14BCAF1CAB4EFE0881E8A212B8E3B6C0D5F593DB0BFB434765CCB358BBF:3ACEF7607C0EC8A5712693CA1B273D3E6F2DC9B19C4F0864174E4EE20690EA64
ECPneg = 13050C4001493C27B9BC2E06481C9EE1BD773423F72DC8288591F531A23EB1DE:3BD8AABA7BECD1B7ECAF996888C85856CEA91194105101630C884B0FCFC95685
ECPsub = 157CA8E6A74A74331BB372FC53618876DCC81AE3C1D26D76C2677F086B19DC26:2FB860E9BA9A4CEF060C6250EB403CA9326B60461C23FEBF8FB494180040F5A6
ECPdbl = 21623D218EB1BFEA803B4781F19F04531858959BB70F40003FE2A2E964EB39F9:02D604AC129A259E0DB115A0DF05E77226BE010EB4B9E9C8841E89FA4B29D092
BIGscalar1 = 3CD5B2EE5C332CBFE32BD59C69BE4B988F16B078B00C76FDCA3EA395F874253D
ECPmul = 0E80FC180B3586CABF95C4475F42CEEFE7DE3C0D336C30CDCB223F1CDC2A72EB:28100F86B6E184BD621739F9100684BAE6498CE94BAE8AD753B03574BB67CA65
ECPpinmul = 13872A708CCD5DA2CBCD9840FA7C7E8689BAB1F9ACEB3BE98009176A1C16816A:13BE0A626BE1E56967EFA4593AA55CEED2DB8EE5FFF50EB47A2B50E3C8EEAB7A
BIGscalar2 = 3CEEA8E7ED4B65E04B162B4AE76A026EBED9B678984FC8DB872919139E351B84
ECPmul2 = 023B3CDC66173210640A88632787B929E950DDE5098A39B391B354B37764FB96:1C9FBB5082E8286350361264AA9F8E1697EE67C056D52063C0215DA11C446A90
ECPwrong = 02899DB7D0AB6F2E077755425161DBECBBD02F240575830CF78B7FA9C724446A:1BE3547A85D92582C18277A2DE58C896399AA9E127BD7041188B3EBD3C839560
ECPinf = 00:01
ECPeven = 13050C4001493C27B9BC2E06481C9EE1BD773423F72DC8288591F531A23EB1DE:03A8554584132E48135066977737A7A93156EE6BEFAEFE9CF377B4F03036A97A
ECPodd = 13050C4001493C27B9BC2E06481C9EE1BD773423F72DC8288591F531A23EB1DE:3BD8AABA7BECD1B7ECAF996888C85856CEA91194105101630C884B0FCFC95685

#test4
ECP1 = 2B183EC039E251BC67FFEA9B11A03CAE38A5CDF72579054F13089D1BDE841EDF:34E64D59199DB6D59631408E61B883B04B782C2F7A98C84D38CC5901816FAD4A
ECP2 = 343E4E9F19728A604BAA58D16BA86BFADB30621388ED873EB4D6643729D543DE:337B7FA13B38A768FB508F092A94E1573DEDD03AFE456A1863C2CA730719C111
ECPsum = 2616C5533D14CEA50E684E033AC2D27230E3773BD65EB0259A410BCFA337DC14:3ED2E323DE8F24A183BE5272EF93C4C22EE2587EEB04E2A6C41D237A405334AB
ECPneg = 2B183EC039E251BC67FFEA9B11A03CAE38A5CDF72579054F13089D1BDE841EDF:0A9AB2A6E662492A69CEBF719E477C4FB487D3D0856737B2C733A6FE7E9052B5
ECPsub = 3B11FB30E9322FA4271A1287A5422E554F949D8F52DFE7B2E974D26D5B177423:2A01E175D4E3EFADEB59F856BF35DCCF0183845F3B8CEC7C1A4B4756FA79778D
ECPdbl = 395D505CB09BF1C98EC6A5AFFC695C8E58AB866C91ED027C4554DD7CF26B9E93:1C0EB39FFA5A22314AC8D8BF7BF9717EA7695401CEB1B6BE80158181931B7384
BIGscalar1 = 02890EB97B1443552297DACB921AD14252B6E16F6FD524947117537010BF43AD
ECPmul = 30A70EDACDD95F0E474D482557CC9DBC0458A8519E2A3F25D029EAE4202C23AD:34941D871923EBDFC7C252C44F6316173AC83C1B8F1AF5AE55B4B72AC5881278
ECPpinmul = 3A318B8482F1017847645BC59EDBB6CDF5A5A0AAEAC1E48A8E8CC868AFABE808:2B3DDE1B23E5A57FE74E3476AFA85F88731DBDFEF24475FA7C45F2C66CCBF300
BIGscalar2 = 18C99FA709D36A88CC457058B8AB4BF437662F1FCFC441976AF24D5DE145D903
ECPmul2 = 1DE9F29C6F19EFDD47F74708525C891FEB8DE5DE6C7257DC72A11853D4E8C7CE:3357C495DC49F563552F6B022FCE9EC5C89E50762E9299586EC4F1485ABC7137
ECPwrong = 179D2C1E4014150A0480A99CCD7770B6CF2928FAB9D33F7F87EAEE1A4D313395:231C614DE421A518A14398BA97A6093DBD3081A8A8F5B6AE280EB77DA8033139
ECPinf = 00:01
ECPeven = 2B183EC039E251BC67FFEA9B11A03CAE38A5CDF72579054F13089D1BDE841EDF:34E64D59199DB6D59631408E61B883B04B782C2F7A98C84D38CC5901816FAD4A
ECPodd = 2B183EC039E251BC67FFEA9B11A03CAE38A5CDF72579054F13089D1BDE841EDF:0A9AB2A6E662492A69CEBF719E477C4FB487D3D0856737B2C733A6FE7E9052B5

#test5
ECP1 = 33523E3EA4B7F7BA1DC18382B9225449106B4CC57F45F3BDCB0533878924DF3E:14A235EC2ECAA5AD0CCA368757D13C177C0B22D9653BE94671F0283727D3AE33
ECP2 = 091C4DC4321096C4C7E0ED5A0DBDFC04984383941B63EAA07E1A3014A2ADDB3E:23E5A4A38D42776C1EE65C8322F603852DB937F282BC67137E5B5CBD72D1DE3A
ECPsum = 2DE1331000131E95DA740670A699AA87CAB42A7AAE8C18172B8E92F15FBEB4FA:0A09A2220BD1A603823958CFA7326CBABA7429E4C396A1D3BEB201EBDD81F0AD
ECPneg = 33523E3EA4B7F7BA1DC18382B9225449106B4CC57F45F3BDCB0533878924DF3E:2ADECA13D1355A52F335C978A82EC3E883F4DD269AC416B98E0FD7C8D82C51CC
ECPsub = 293D6F2CE1D0038690A63A937D7535039C93324BC708B070F52C75C67A078A48:6166916CDBDBC5C97326AFB03F500AB026D75A2BC6D3A1DAECB82E1AFDACA3
ECPdbl = 275F5CB9F5E519B120B93BB067109011211D7984C392C1985A98BEDD64167B7B:1A1BD870D89085747CBF1396753006C44C5B899BD63C9F44451E330537DBAF0F
BIGscalar1 = 172B2744BB3DF9EB3CFF16263C35D786CFD4060F54541B6E769C61DC6DADB666
ECPmul = 1B7BFAC5D3F2AAEFA412FB9624151205381F7595211F3549C9AAAE796C2160D7:21FE3F10C5327246D9AE55475113C14EAE5A71F6766E2B8E26791AAF7B993D71
ECPpinmul = 397BDC0BBD74055F049DF3A96E9EF8FCBCB7BF3EA5B0BDA4E342510AC5A206CF:74BFA5AB37AE77352FB51F76865D9B322403B9B532DA4599AAB2693C7E9742
BIGscalar2 = 1CCAC0353DE48F8019C80D4889C4DAB0DC31430AB994D4CF3DA79A59162A4A35
ECPmul2 = 35D9600E539A7FE5FF7C0DAC0403C8E4E387A8E9518582FB9B70297E2742A3C5:1A08FA95F532ECB680462256ECB8ADA7C86DF331637037081537197EDB102DDF
ECPwrong = 3AB288A721A0406FEF2B46DF9848C3C96FA6C6370B4AA5F79E8075BEBCB7631F:1912728006893B1FDBF94D52CE4CD56787D34AE7EACF83DBF0D7BBD94E8CAD4C
ECPinf = 00:01
ECPeven = 33523E3EA4B7F7BA1DC18382B9225449106B4CC57F45F3BDCB0533878924DF3E:2ADECA13D1355A52F335C978A82EC3E883F4DD269AC416B98E0FD7C8D82C51CC
ECPodd = 33523E3EA4B7F7BA1DC18382B9225449106B4CC57F45F3BDCB0533878924DF3E:14A235EC2ECAA5AD0CCA368757D13C177C0B22D9653BE94671F0283727D3AE33

#test6
ECP1 = 0CED5018D7561B4BDC771C4277AE6DE3F16AB8571B8C4EEBFA6DB12426C3FCD5:09F76F0FBBDA19B497A4349DE98B16CE11B36E8E5A0516C517445CB2AB4EC35F
ECP2 = B10278CD7F8DE884229D0396775D0462B1911DD0706DBDFAED8701966E282F:157F9B19E74FD6FA55503E44F4E56504EDCDB83BA73B8C032F982A28B918E7EF
ECPsum = 08C1E7F783E7618572B432F33FC70F741B98ED8D9597F34D97441BC01A442B88:2A0E9C3D90E7723AC30B0982FC24C32BEE4F3AC2CC206819E009BAC715692B66
ECPneg = 0CED5018D7561B4BDC771C4277AE6DE3F16AB8571B8C4EEBFA6DB12426C3FCD5:358990F04425E64B685BCB621674E931EE4C9171A5FAE93AE8BBA34D54B13CA0
ECPsub = 3A3239A05C0D0F955163192FDE03DFDD6477653510B520D338AEFC0AA35C2F21:225299E5BB59C509057764E6D765FD40374B1414358CB291F1375FFAF3806821
ECPdbl = 311DACF9666DA4D4E7B06DE0C186C299D13B27C6A642022C98E5B4D8FB682B94:3A8C7703B7A5715E2E175A070535A0874F80F794F3FE26FAC823E7EE4C47CA0F
BIGscalar1 = 272C4F0B819F6177885B4AB9EABE79EC521C1F0BA6E0C348AF53DC896C4BA5E5
ECPmul = 3E0ADE9A134E402C8023CC6A6FCAA04B1CD26DA35A9933678FB3BF1C5F1EE96A:058696209DCB895186EED691A2834BF6A6A0C01260F5986B2984B5DC22B45F50
ECPpinmul = 1E90AA83547591E7167B6FCE9E008F9CFA89257231DB0D665B3CDB929050A0AE:2F03400858001F741797992CE28BED68136EDAD076FCFFD57E8F29642A9807E7
BIGscalar2 = 14541EFFCD606181B72AD9660EB45550E50FE2C7E2FE908857EBA245A7EE5702
ECPmul2 = 270DAF14BE2D3F5C1E08AD9CEFEC4BAC275E3B8D15311503F909EFE60571DE3F:129507B0A2A2A71A2C0C11709FB2869A90EA2F47B7DBC2173F497ECFA41CCD12
ECPwrong = 21F7DB68F5C9F5F73C2260ECE814A06EBEE677700FD7A86335CE512F5D21CDF2:148EC39AA8ABA25CFB8332724DC233DBC8AB8AA33548FF2EE9F15B4FE89AA69F
ECPinf = 00:01
ECPeven = 0CED5018D7561B4BDC771C4277AE6DE3F16AB8571B8C4EEBFA6DB12426C3FCD5:358990F04425E64B685BCB621674E931EE4C9171A5FAE93AE8BBA34D54B13CA0
ECPodd = 0CED5018D7561B4BDC771C4277AE6DE3F16AB8571B8C4EEBFA6DB12426C3FCD5:09F76F0FBBDA19B497A4349DE98B16CE11B36E8E5A0516C517445CB2AB4EC35F

#test7
ECP1 = 36745A7214FE898D780F9526A16F0EEA46D9BB8086800AF8EC34EC4DBA2061F9:1A25F1699271E8CF0DCEDCE2CCE0ED0D686410A174BCCAC75BC6E96A3D2D19DB
ECP2 = 23D65930747B3BB8F488A5447DEA62F0B22C50E9485F6A8280B46491D44F334F:2E415AAE3C52887FBCAB4146D2D2B8DCF91428E1A1A74914E48E5352550146BA
ECPsum = 04DEB1FBA2DBE306E05BA49A9239DC48CA9F9FB21B1A5550D1E57137B94562F5:080B293ECBECAC8227530388DE66BEC53B28CC9533F46454EFB9F2E247F75587
ECPneg = 36745A7214FE898D780F9526A16F0EEA46D9BB8086800AF8EC34EC4DBA2061F9:255B0E966D8E1730F231231D331F12F2979BEF5E8B433538A4391695C2D2E624
ECPsub = 1DCD02585E15322465799225407B478FE595F0331BCCA0D09534CDCB66C7DF02:07F00718383E66368ED263A804BC4BD06E6E367DEA848A31625C46013CB5F4B7
ECPdbl = 173FB058781C6366FE36B7019FDBB8760C9CBA80C86020D3C6DBEF4FF9073723:2A741AD56FEBF34704A86EAF62D82AFD16A32E79D076774A07B736F59FC64F92
BIGscalar1 = 1FB046FCA5D239B067A97E0BEA3C8BA27190E1C8980C4E69C96F5F2400B24D7B
ECPmul = 2152A8F44131E83AA1F95CE3CFA42DB701C0795F5CDEFF4E94580AC9205DC288:17E6469348E9FB818705E0F9DE2A539A0699139559C39B118478476DDE3EF892
ECPpinmul = 0D6A08D5CA442CE9DD0B56A28CDA35EBBFE6C6BF0B66CDA8AB5236C34ED9F670:1967EBA92AC2AB89871132AA212DA7FF5756F3CFA1DFAC709D052F34AF7D8D83
BIGscalar2 = 14F2F6DB2B913975B0C7DBF7BA53BEF792CB2EB2E7C8372A3F20B04C43C1EC14
ECPmul2 = 32D0AEC6743299BF2EF3FF2C5C629601F8B3B1FC5B15E62DACBEDFC11E571747:1218C111E9EF826188A2E05A4BFA5266B7EC544D6370789497455EC504974D80
ECPwrong = 285D7CCCAB4C2A739CE3F208D031D07996F4AD87B30ACB9C047B877AB5149774:2EE5D1463DE61434BF6FC18EC01CBC79886C752205BCED87DA2577D05B2F091A
ECPinf = 00:01
ECPeven = 36745A7214FE898D780F9526A16F0EEA46D9BB8086800AF8EC34EC4DBA2061F9:255B0E966D8E1730F231231D331F12F2979BEF5E8B433538A4391695C2D2E624
ECPodd = 36745A7214FE898D780F9526A16F0EEA46D9BB8086800AF8EC34EC4DBA2061F9:1A25F1699271E8CF0DCEDCE2CCE0ED0D686410A174BCCAC75BC6E96A3D2D19DB

#test8
ECP1 = 1D8C95CEB1BA2D12616A2D199D5680EC0AFD7DC006B021AD4A4AC6D4EFF72143:3436EC95C283818A737BACB9C6386403263190940E3D8953674D1EF5DF1C5DA8
ECP2 = 305F36C8B817F00F7DCE3C5CBA59389D293D6E304ABF4683778DE3995297A481:24BB2B60900BB68EFE0B0D8CA9158F01D8E63192593E1B13E3B48FCAB61A558F
ECPsum = 1059AE59C11A7D3EE2050B0D5AA56CB0EB6BFDF7B7222C5128DD9B0205FD7D62:05EB70B0454618CA4629AF4A32325771E638C23F20AE6DFB4FF8EAE9DDEDCE9B
ECPneg = 1D8C95CEB1BA2D12616A2D199D5680EC0AFD7DC006B021AD4A4AC6D4EFF72143:0B4A136A3D7C7E758C84534639C79BFCD9CE6F6BF1C276AC98B2E10A20E3A257
ECPsub = 1638505649A30FE3C1DC2375DE292C8272EF299F5B072E102F0701FBBC3E5CEE:16E03B6EA6E58B439EC0BE7CF94843DD7CC67C03F726CA8E644C369D9D933A4D
ECPdbl = 2748B5D77025FDE864E787C801C4F081E0B9DE8D9FAD92CFB51BCD9E52DDB5EF:30A8B439AA6F54BE5132B4CED861039E5B544AE055ED5DE298F57544EC318F32
BIGscalar1 = 3AE3284DC7E19E7346ED130FECF068957A2324252938C7019CB33D97E072FEB4
ECPmul = 62CFA56A0C12865C6299D7735CA179C912B06D640199F6725EBFE82A9EDA56:2A74161351B6EB3532EA726C1A3840EA9CB95ABDCCF66156256166881BF97BB4
ECPpinmul = 100AA6F00D576F3DB6DB741F6ECDCF41D0A44169F125BC83BC6026A5F277CE90:2AB07E3F0A94AE7880FFDB4321B11FAB95B7D1F0C6EBFEAEB3057C6514A2AB30
BIGscalar2 = 3382F28635060579FAE49A5F2890F802BBEB5FD3D4F7AC94FF90AF548B030572
ECPmul2 = 10BD49C3BE570DF2E2E11BE5D03FC986424A848CB65D8431E42C3771458A6253:30300CD5F121CC20FE66C5E704FFCDDB0A38073C789A85BCECF2E1C93BF4D01E
ECPwrong = 3A2D7F8F6662076F903A336F5D50AC9438413AE91C00414169B4F5F5347EC392:3D2E023C4B9F9E1D00D4E4C56B66C7169D417AB1B0815BEC888968CA77DEEB16
ECPinf = 00:01
ECPeven = 1D8C95CEB1BA2D12616A2D199D5680EC0AFD7DC006B021AD4A4AC6D4EFF72143:3436EC95C283818A737BACB9C6386403263190940E3D8953674D1EF5DF1C5DA8
ECPodd = 1D8C95CEB1BA2D12616A2D199D5680EC0AFD7DC006B021AD4A4AC6D4EFF72143:0B4A136A3D7C7E758C84534639C79BFCD9CE6F6BF1C276AC98B2E10A20E3A257

#test9
ECP1 = 1E200B5346A149841595D49080CECF6B445B86F1BAA663F56722D31D31749D8D:2E02849FBEDB1000F7AC7B8B2C4528DEABEDA8DF9B433E1899D2E951ED8A9820
ECP2 = 0AD343615FBD0135F23D8AF4691827012E6E065F76AC264BAAB0595A82AF893F:325AF8A5E7CFA65130029701FCB40723A19B28244969C657DB0E8794F97B2351
ECPsum = 35C3FDBF90ED086D85BCB65F9E7C3BEBF835EE3A808B31CBBA1A76C30F42E449:084206BE19B3E118301A482C3D3C9EF75DC82D9EF604F49C619E06D6E2C92BD2
ECPneg = 1E200B5346A149841595D49080CECF6B445B86F1BAA663F56722D31D31749D8D:117E7B604124EFFF08538474D3BAD7215412572064BCC1E7662D16AE127567DF
ECPsub = 3B2F0D333D4F9A28D9C0F802A6FEA7B54922F683AB477C4AC97A7B4F59A0C321:32054227AE1D88822AB86F3244021543072BAB0AB639742D7AD6F4E8CB6FD714
ECPdbl = 1E6A457C809AB3E8DAF4F25FF44F3D12FBAEE0A419D71E6E52064F8DD28A4681:1967FAA7EA6466EBEABAF81BB1BAE25000941D349C0F3A744C28E13CF429745B
BIGscalar1 = 350DE09A1CE3C99C7837AE311FDD653452D06BBA6CF13C22051BBA0EFAF2FFA1
ECPmul = 2CEE5453EF6B55129CADE1334701AFA4398B5417A5AB4FBBA62939FD50A942F0:24E12ED8ECA9FE80F22596F3F50F7F0C34D06182C1A236EF414EF94D238F474D
ECPpinmul = 383EBABA5E344A3E11CC46B57BFB7108EB42A88E9CEE2D2ABF65850BF7C3677B:2396103E87388AFE291361131B65D2E3F17CFA128621441BFB36405D110E2EF4
BIGscalar2 = 33A0694A687C606B5A5DD96AB4BDA34F1F1244BCB5CF36B4DB6696AF69ECD5D0
ECPmul2 = 1E6B41C1B87FFE8160779F377FF225145923B442C2A29FED553947C80043496E:21EE1772DCDF75E75686BD351DF67F4F5AF6A5F35D4449200C735481E96BFDDA
ECPwrong = 127E79709CF57FA25433E078FC70C70CBB9124AAF128A1C7A671F6FF6E8DE171:16C209FE15EAC9902753A5B1C2A1B3117AC1A2C6DDCEE95DF73F5B1A578A1214
ECPinf = 00:01
ECPeven = 1E200B5346A149841595D49080CECF6B445B86F1BAA663F56722D31D31749D8D:2E02849FBEDB1000F7AC7B8B2C4528DEABEDA8DF9B433E1899D2E951ED8A9820
ECPodd = 1E200B5346A149841595D49080CECF6B445B86F1BAA663F56722D31D31749D8D:117E7B604124EFFF08538474D3BAD7215412572064BCC1E7662D16AE127567DF

#test10
ECP1 = 2FFD6D1BD0A0B5596A7529573E3A6C583933C375E6CF208224F83FDCA1AE27A9:04E8C117DDEC060FC3CDA84A8E117019DA25BEEB7CC7310C4AFD7BA50A25C9F0
ECP2 = 02E6FA3BDE80801C684851ADA68445B53C5858076938C82AAB317CFBD165EB57:3321D4624F6D5769450DDB739348C27AB86AA02BDE0F7250C6C5A78352CF3A65
ECPsum = 1E8CFB3736F09EC319D7880B09D2C895D1DEB9EA463D88A49FCC5BE2D1C1359D:069D1D0C994753D2F889EBC684C84D1ED461F3BFA34803A1D0724A0FECD9CB6F
ECPneg = 2FFD6D1BD0A0B5596A7529573E3A6C583933C375E6CF208224F83FDCA1AE27A9:3A983EE82213F9F03C3257B571EE8FE625DA41148338CEF3B502845AF5DA360F
ECPsub = 07E8655EDC07A48533188F0287145CE46523B48D4FBAA9CCC97713589A11B6E7:0303919E40B3B92F599CF6DBD054B5814FC486E00702327326F30189CAEB9D83
ECPdbl = 275CF9579EF395BE1B468337FF0D131645BC07DDD4D8E9CD1460026C8BDF0FEE:3331204CE5EC1AD9C1FB478F2F685EFBB0660CF3FCCE0B9DE05054F9D8EA200C
BIGscalar1 = 3DCD8C09907A00370B25F230395223A1882DDDF5761DE330BFE5DE4303F07310
ECPmul = 3DF4541F8C00A11D436DA1BBFFEC5102714D682B4CA1914DB90E7AE4ECF9EF9C:36159ACCA1AE37BF3BD7AA02ECFEF9C4B44FC31BBE549413CF7348561C454B1E
ECPpinmul = 32994891D30C420B3B1D40B63824392ACE98C45DEE5A3383AA64FA397CC35594:0D2A2A6F30F6B307AC75F204C47AFFFC1DCDFB81849D49EE4283603C9E6A7650
BIGscalar2 = 038AAFA9774BD5FFE6A81E241E4D38210A676C3B6C0DAEBDAB6FE373F9F6F3B4
ECPmul2 = 3C1E3FC61926B2F81D23B29CF78B53EE6056749E98938EF1041314AD8A54F7D2:28F5E99384F2B2EF879DE0A56570FA1EEB08E7E8E364AA462AE86D65440B6B75
ECPwrong = 30F0EFF73671C934EB2E2B16AEEB9C2CBCB485E309691C36771BCC24930AEE66:34085EDD7BEF045BC4B9C55F718473CD5259186A83619F3A910234271C9BD122
ECPinf = 00:01
ECPeven = 2FFD6D1BD0A0B5596A7529573E3A6C583933C375E6CF208224F83FDCA1AE27A9:04E8C117DDEC060FC3CDA84A8E117019DA25BEEB7CC7310C4AFD7BA50A25C9F0
ECPodd = 2FFD6D1BD0A0B5596A7529573E3A6C583933C375E6CF208224F83FDCA1AE27A9:3A983EE82213F9F03C3257B571EE8FE625DA41148338CEF3B502845AF5DA360F
