#Choice: MF256, Type: MONTGOMERY
#Modulus:=0xffa7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff; A:= -54314; B:=1;

#test1
ECP1 = 8741A3E83F2F9DA384E88A1458B9F88D03FF2F81AB43594FA68B501E7D5161E6:01
ECPdbl = 131E83CF958927693CDFAFE4F15251802A6621FFB686149AB3CA74C27161BCB0:01
ECPmul3 = DA5C72A35860B485404260CBF07F4090AB0CDF67EE6B8740F2E9E74BA380FAD6:01
BIGscalar1 = 8C84B26F775654C2655388D25C49D6A3842DDD61DB0D67E1AB398CA221818642
ECPmul = 84AA8C1504F08B8702C0064341695CFE7D0B93C9054AF46E721C62AB851F28B9:01
ECPwrong = 9E3585D313DAC781773AC613F3AF0F666E47FFE5241627257F76731B0C1AFEC1:01
ECPinf = 00:00

#test2
ECP1 = 5F1C73653D686143D7B1949A38704CD8655AD13C2A0EA5D36AA94BB4102BABAE:01
ECPdbl = 067C894348E68AC5E6545B10FC24369A8334CA548B5255C82403225458947E70:01
ECPmul3 = B1ADBF929D137E804298D87832FCFBE1222F76407C12D008FE1C574EC7DEEBBB:01
BIGscalar1 = 37B0AD4312BF74DF362654166E1F974E028352C76FF072580B8A397CA095D42A
ECPmul = 892DAC2D297B12EECD5C6F00A92F7A1027F9C8563087C4FDD6B103081615EB2E:01
ECPwrong = 496AE548F8BC657091806AA11AA342CF41DAD5CFC3D6785BAA95D9C402F9652B:01
ECPinf = 00:00

#test3
ECP1 = 2BD4AA4C52FB0980F9A7A2BF5E39B026F30B0AF682F5F1B7CC6D62B45AA3A73A:01
ECPdbl = 12C051EC56B1022549C5B5A69F21AB959E9E1D76CA375FD4F7262CB425CBE3AD:01
ECPmul3 = FCAD5757E232ED43E1C1A75BB7CFEB39F24DCD816D262987CC8B9C26D4764562:01
BIGscalar1 = 210AFD720ED8761305B956DA3ACCFEECAB2FEB524B71274A0BF5742FAD1B5890
ECPmul = 61CD119ED5C71583AE2529DAC8D5269AF6398FB44F9D01492E2D882DB33532FC:01
ECPwrong = 17FC4CD531301127B213D8342A6FF228C71EAAEF9F6B283776F45E171A6EC311:01
ECPinf = 00:00

#test4
ECP1 = 4FFBEC7B4D884BC06866074EA3E3CFDB0B2FF727AB26477DE16379DA164EF9F7:01
ECPdbl = 601A221F7F8ED6123CB3753A34F95B349FADA0594AB11AF91D3D043F9EFFAC3D:01
ECPmul3 = B829C445F6C925B36EC3FBBF89777877CB60F5399C333FFD825EDFE361BA4DCD:01
BIGscalar1 = BD52342AF0B36303F26775DC26955F4A5DD49A51B8D682AB10D72BA686D8050E
ECPmul = 64EA8067FC02DD55A2562D7C184D590678DDC7FF338959EF07ADE688AF037624:01
ECPwrong = B39E89E6263D465D390B5008E5BD3085AFD9ACE59C5E857BC2F68E05B80EE445:01
ECPinf = 00:00

#test5
ECP1 = 9AD844718F2509FEF6E942CCE639784E2AFF69F5FD22B572A51C0F87A3420461:01
ECPdbl = 3026839ACEDD29841A6AF80CB839A187E3BA3B8AB3606CBA4E821A79E06CF170:01
ECPmul3 = 6A5F9B4ECD717D9B63943E6F4AEB8483A63633C19E0F8A4674C82FADF6F46163:01
BIGscalar1 = F080CCC21CC2AE964355AD1E5DA18CE3F2138B89B2C61CF31F21BA982CA6963E
ECPmul = D9FDFE52307315598D76E6A5F61CF7E0EA024630E0E3826B63334D3A8A647076:01
ECPwrong = 79AB2FB412DDEFE46D0DBC5B2A3F9294FC285D3B074D4A7C81300C3B0B6232CA:01
ECPinf = 00:00

#test6
ECP1 = 6C528D2C1D1E2EFE3FFE1CDDD8801A97A2741A3ECB88E0191DEFA1C800164EF4:01
ECPdbl = E53CD39F1D3C4CB59BC6AD51297E23E55C4203DA17A3F9D39B960095F9FC19C5:01
ECPmul3 = 77B86FA4E4A2109DCC745C069DC3B08556F235D203BBF0AA677379C9B5EC7D99:01
BIGscalar1 = 90F1F545B1A4FF152434265C1EF154C42ED70C0C81CC4D9402119B728094F5B9
ECPmul = F73555EEAECF94DACEF88F7EB5F57DF093DEB8E0CD8B2020771E6DF73602B049:01
ECPwrong = 7AFAA0F11D993B00BE8FC790A9017A09EA2F7554A4AFE4FD90C7E0288B074C5A:01
ECPinf = 00:00

#test7
ECP1 = 561FE4618C273889E33F95584809BF1B63EB98405A351983E7C853A07F0022D0:01
ECPdbl = 6D8F901122A9ADC122F82E6112F41D3898AD9DE67EFCED79035959F587729F0A:01
ECPmul3 = 7CC118FA761D9F6F698C9A2348F32B88EEA6740519AB649E843DB65C64F97EFE:01
BIGscalar1 = 72733E5581A8BB3F81B7F893D60458146218626EC0D8F9C0528EEC2AAD08301C
ECPmul = C98B27A7F1E552A8678A74DA1928D936E06541E64589225B744359205DE86C7F:01
ECPwrong = 7D794A189BFCA1B918DFB3877871BC2B104D46D2762FB070CD6F52FE80CE3ED2:01
ECPinf = 00:00

#test8
ECP1 = E450A560471A53E9B89BF2AD8364BA3F53226FBFC4E50C96612F4541AD2E373A:01
ECPdbl = 14BB7BC615B8FD053ACE2F162C249A21992EFDEAD9680754600A55267526CF51:01
ECPmul3 = FC1FE9F23525D5A815A93BEEDE46372B83493809185222C4C1F9D624B5A8B15D:01
BIGscalar1 = CC106544CBC6E05D9E76CEA17662CB82EE49BAEA2F0AC91EF38FC5DA6F28E21D
ECPmul = FC3DA842FAC4B4253D8BB075995D2AFF738AAEA1775385E32AF55BDE46889381:01
ECPwrong = 5343DA438A500B8815B4222E8326B488A61E339C89FCD2C62FE41DC78D645B30:01
ECPinf = 00:00

#test9
ECP1 = 4DCE9A66F9485D10D8941631CCF4D115D2AD2B21C85E4804F6A17B30D231BBD5:01
ECPdbl = 2B5E04C412A2446EE7AD83B85AE75F4D4F330FAF966BF718F5F4807D618B3988:01
ECPmul3 = 4CA96B92C6A2EB8805B3C2DEA9D20E922B9EC73ACB990F7AE326572CB3AA1AC3:01
BIGscalar1 = 79B9507C327AE6391A3084B558565794812B4ACACB66A1AD691512074CDEBA17
ECPmul = 872243CCD62D631260F40D2B8847BC4A29B99EDC7C7628C74A9505027251768D:01
ECPwrong = 033414AEA0C1C613D8EDBC08654B25CA844B838C6D58539423DB5B3202A5E2FD:01
ECPinf = 00:00

#test10
ECP1 = C96FD39BAE1C101082BEAC131FB0BB18DFA76B1E6744463A0CD2272DD3984ACB:01
ECPdbl = E41EC81B6C7E34764ED213FFED2B0A1A5F5BC51B5AC8A421A22624F65B54EC67:01
ECPmul3 = 1E0A07D0BB2BDBF77426439297BC7EBC9D3ACA77E59772351B942914C1B2EFEF:01
BIGscalar1 = 9A7988E83AB3766DB782467C53DF45D3F575227D05760987BD4B220236A6378C
ECPmul = 15F99E7E425083490328AF93CA89AAAA6E60F800F1040B9EEF09309148F95232:01
ECPwrong = 6149329B266535BAB1C5895FD8B50602853C39126DE05E1D4835590C3538344B:01
ECPinf = 00:00
