#Choice: MS255, Type: MONTGOMERY
#Modulus:=0x7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd03; A:= -240222; B:=1; 

#test1
ECP1 = 23D7C7FC5CA177251E6CE7108D83567B8F5B6A013B28DCD7B1D61061EEB0F2DA:01
ECPdbl = 339D841B522077157B12B7E7662C9208909E7DBA5A4CDC974229CFA54EDAD456:01
ECPmul3 = 19458504401852162C634F4DAB9E41078496F1AE8BF4A3C0CED77B3D45087B5D:01
BIGscalar1 = 1CEAFF4DB85F3733FB4C1536DD8E4DA5D94B52B28A3665E26FD353583CFFB2F3
ECPmul = 605D115505AE95D6921FB2FBE57D6C81184BFC5ADC62E7268F65F80C6E5E253B:01
ECPwrong = 6B19BC23103A6E590669E9F85F54E621F6B9DFEB0B4940BCF0825762E6A3FB20:01
ECPinf = 00:00

#test2
ECP1 = 44B4C9F99451B9183483E9DC93A5C65CD9F31FDE40FE8A022FB66F9CD5C4CDEC:01
ECPdbl = 6140634713A7026DF82556B868ADE7DF1CBEF5A4BE8C286BC07831D79B938D19:01
ECPmul3 = 0860BC9C11F1C2A8BDE89276B4AC380597A6F147786DF939CBA0820CE4B086C3:01
BIGscalar1 = 217B820F43F53C32EDB2203BEC2ECBCA1AD3022D2E48D57329630787A2E2D90B
ECPmul = 1DED4B70A5F2F168558ED7272BE1130707AC17266B60DC3D0F36ED8FFF49B87B:01
ECPwrong = 4AD5216DD73C3BCD220EDF5841B0DE71F38EF1B70CB8E3C7675D63785A0B632C:01
ECPinf = 00:00

#test3
ECP1 = 0A08DA8F32BD49909211AC0B3D2FBEC8E1CCB42C4505E83B8AD6010A37339C51:01
ECPdbl = 379C03A58329D18B9EB5C2DAAE73F7C884A34D0EB88BC3759FC721D7B1338091:01
ECPmul3 = 0FC142A82137845446A927310564BB7A9A74420535C715DBDB95BF9D8AF50D81:01
BIGscalar1 = 44B56E7ACADF39267A29E747F0DF2EEFC15E18CD557238AC20A9883DB6819643
ECPmul = 2FE364E97B8916771A99883D4729FF0BC601074C8876B9084C02436DB06AFC98:01
ECPwrong = 0587D82415B1031631426706A24DF2B94BA18A3358647D17E18225FAD5F21180:01
ECPinf = 00:00

#test4
ECP1 = 73F14815926FEDB80522586E36D683B9D36E597182FBC5D07459C465FBC58D84:01
ECPdbl = 073D4BBF1FB7E3221B42E9ABA926C8A839BD8F7C01A999E8098D174C5893E746:01
ECPmul3 = 3A968D7B3E0E2CB03624EC57D90ADE686227034BDCEC35BCD0409077A288510D:01
BIGscalar1 = 15E0C216D4E2B979FB506D023DF61C182ECD4FCCC67E9FBD140727A0D0BC815E
ECPmul = 7C1189F0AD1C91454CD110A96436BCD78AA6D3996AE5A08D3E7EC715668120F9:01
ECPwrong = 0A157337E88757AF486141E6711065126D5F4AFAB173538CED669199405EBEF3:01
ECPinf = 00:00

#test5
ECP1 = 1AF19FD59DCE83404B8D1BE24D37FE314BD3B6BF214439F3592FC51CE37CA676:01
ECPdbl = 37D5C078F2DD803878DCC214937704E863D8C07BFBA596A8C72604541AD7A2D5:01
ECPmul3 = 7CE99E05FB31180294C2D1B692B4361618DE074D2E76F14E1A1CE3FAFEF31C22:01
BIGscalar1 = 5E9BBB5A15B05D2A7012CE7F32FE984189611C2F74517D088BAA6693322CEF5B
ECPmul = 04F746F0027293CB28C58C8312A2D37A3666CB89F86EDC94BFF8F0E5366A79DA:01
ECPwrong = 532771CDC3413929C49743F4FDF5A71A16093A5F82F1ADC3636667D0911277A2:01
ECPinf = 00:00

#test6
ECP1 = 0C82A726AC9CEC0A62394BB6059A75A975DBB8448A44FD18B88D67C6212408B8:01
ECPdbl = 6D490FA953B29F82288BC787C581F1DD6961FE6347AF898C35BDFD80CA0A63CC:01
ECPmul3 = 7C84FBAA6A041F29DCEC0B594AEF8FF1D9FD7F6BB00B9BCF394B85D8F86FFECE:01
BIGscalar1 = 2F1A05833AC1705EE32D006FB9A1F5DE8E608FD4292E4CF56E49C83F8FBACBA7
ECPmul = 2727C18180F3EF6B925D96263DB45DADAC8EC9E845E45753247F06E5C4B934F9:01
ECPwrong = 55FD47546BD2CB080472D938E690D07C7D6BD21713B413282AEAC98E10663305:01
ECPinf = 00:00

#test7
ECP1 = 62ED6CA69E7A9D5BF60A5F06C83800B89B84AD62D19E43537DA19150B60E50D0:01
ECPdbl = 5D2E14E3A1C2279A4611858B7116C6ACF9C62244C4406BA1957E87D714FB3CBF:01
ECPmul3 = 4C1CC71A056BAED3C98E857F17CEA938F27A90415C194D5FC38B281010647826:01
BIGscalar1 = 21C30FFA082748D6D7EE1BCE60B57F8305C65FD4450EE059219374DD07E4AB0E
ECPmul = 6461E928B7D1857F7ABF5A8DAC2C17DF8F79EF03AF2ED78AC016DE12F96F39D8:01
ECPwrong = 151AABA40E8899397BC7D1D1DC29D1F3187C4F135A596D92F1F8C3B59219F18F:01
ECPinf = 00:00

#test8
ECP1 = 681B54BBEC1B6093F71110261BE56B60975937F2FC7B687AB00CAA1F82406BF2:01
ECPdbl = 6C7BCF2898DA20BE272BD0DAC6BBFB52C23690CCB7FC6EE4D51804242AFC4D9F:01
ECPmul3 = 68BAA77E6A2CFD3DAB6CC5990D1744C644DC4D2DF8D046A4DFB08D1F918E0713:01
BIGscalar1 = 2B4F8DC5B5A7434ADEE6D35767C48EF71124F91333996C976135B5D242398256
ECPmul = 6513F3753C361988C8C935207C0E1F41C4304046D098FB8851A81B84830BCB91:01
ECPwrong = 4862F3DD0EAC2BE7AA8A252336B3FDF2D949C7126048CE4D3E15EC7503A9758B:01
ECPinf = 00:00

#test9
ECP1 = 266AC14C79B0C2212E132F234D694C7212801567B1375046E5348E2DCF7FDEC5:01
ECPdbl = 5E026E28CA2A0826FE7C0FC7DD5FF496D81ABA612AD4E5A07237A179A9274A17:01
ECPmul3 = 5293F145CF36A799201EE23E76CA6C74C0E7052DDD158FA50AC854CB6827CE13:01
BIGscalar1 = 2BE48B44BE44E8AAA5FE8100A15030264A75B501F4D38B4B734FDC8E9255B87E
ECPmul = 4995315ACA775EBED202063995323C68D90ED12EECD708E64994DF3161362AF1:01
ECPwrong = 75164FBE358A37996295FF874D777727A31EE3F1EDFF91A9757B4290FEFDD700:01
ECPinf = 00:00

#test10
ECP1 = 5E0C13CC731E87168642A173C74041172EF24F7FFAD697C3CB086A7C43448E14:01
ECPdbl = 604C49924A7BE18E62D49913598726334901BBE1873690DA975F9D2E85D40C10:01
ECPmul3 = 355E3CD4D051D7FEFDBBF2596480C4839F4E89A3B7613C860AA5B3FB31E77DDA:01
BIGscalar1 = 52CF92A960D9D9D161CFD8781FBA0175C484882CF4D07E475803ABC9383076B6
ECPmul = 1D243C8749685A1D97D4EECB84E055DD1AC8E5A9CE070C6409A56C581BF6D07A:01
ECPwrong = 3D2B75587353D0E8BC0C8C7E9A4DF2777F40BFBB628C0A16FA356111D7048D17:01
ECPinf = 00:00
