# FP ARITHMETICS - CURVE: MS255, Modulo = 0x7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd03; BIGmax = 2^256

#test1
FP_1 = 0537B8
FP_2 = 02A8FC68
FPadd = 02AE3420
FPsub = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFD5C3853
FP_1nres = 0537B8
FP_2nres = 02A8FC68
FPmulmod = 0DE125B7C2C0
FPsmallmul = 342D30
FPsqr = 1B39509440
FPreduce = 0537B8
FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFAC54B
FPdiv2 = 029BDC
FPinv = 62D7D16120D3C7F6D92EF64475205F40EAF8BC28CC8BCA375A5C3F390F56A974
FPexp = 55286E9B53255AB863ADB5941AD36FFCB1BFBDC852988E990AF593983235ABEE

#test2
FP_1 = 019F465CBE
FP_2 = 0192B5369E00BB
FPadd = 0192B6D5E45D79
FPsub = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE6D4C68A85906
FP_1nres = 019F465CBE
FP_2nres = 0192B5369E00BB
FPmulmod = 028D4272FB1482A9A9BECA
FPsmallmul = 1038BF9F6C
FPsqr = 02A1A53406DD811D04
FPreduce = 019F465CBE
FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE60B9A045
FPdiv2 = CFA32E5F
FPinv = 4E97FFB482BC83B3056EAFC129401174555A9E0BA3F100F3F13F53DA88651E54
FPexp = 73F7DC39F9148E8BDDBD2DEB11FB457C8AF167D3222A26244C7D3E162DE509C3

#test3
FP_1 = 12B9D42BC613
FP_2 = 19DF5DD288275EA2C322
FPadd = 19DF5DD29AE132CE8935
FPsub = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE620A22D8A927588FFF4
FP_1nres = 12B9D42BC613
FP_2nres = 19DF5DD288275EA2C322
FPmulmod = 01E47C7500F2F25D1A41A49ED7B6C786
FPsmallmul = BB4249B5BCBE
FPsqr = 015EA8BA7EF77B019BA36569
FPreduce = 12B9D42BC613
FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFED462BD436F0
FPdiv2 = 4000000000000000000000000000000000000000000000000000095CEA15E18B
FPinv = 66A939BCCD0AF6B7290790786DFABBBDD86E4C3173F2FF538E5C530EB5A55A38
FPexp = 01398B524F4C1503796C765E453E4AAEDC8636F26F76AEFF0EBE5F6DE2739DBC

#test4
FP_1 = 04
FP_2 = 6DA845A34AB1508CD8022E6C26
FPadd = 6DA845A34AB1508CD8022E6C2A
FPsub = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF9257BA5CB54EAF7327FDD190E1
FP_1nres = 04
FP_2nres = 6DA845A34AB1508CD8022E6C26
FPmulmod = 01B6A1168D2AC542336008B9B098
FPsmallmul = 28
FPsqr = 10
FPreduce = 04
FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFCFF
FPdiv2 = 02
FPinv = 1FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF41
FPexp = 5A92745E9567E27FF89E2D646939CFF8C1AB8C4622D014C9E2B7D15043C619B9

#test5
FP_1 = 01CF46659E78FB
FP_2 = 9FF26BBE77F82B50ECB0E5F25F643D8F
FPadd = 9FF26BBE77F82B50ECB2B538C502B68A
FPsub = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF600D94418807D4AF1350E954063A386F
FP_1nres = 01CF46659E78FB
FP_2nres = 9FF26BBE77F82B50ECB0E5F25F643D8F
FPmulmod = 0121736CA498C5BE471472463481FDE932F39BED656335
FPsmallmul = 1218BFF830B9CE
FPsqr = 03465FB6EEF49C80D39D004619
FPreduce = 01CF46659E78FB
FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE30B99A618408
FPdiv2 = 4000000000000000000000000000000000000000000000000000E7A332CF3AFF
FPinv = 5F555F659E3D3F68DEA8800B7A47B894A5272060D4908B81A87B948317538C92
FPexp = 419C1DE7AB2F513A7549A94CF7751B244575888A102040E5C1CA1B84F125A7C3

#test6
FP_1 = 017D1C
FP_2 = 023DB5C396A06F1FA33AFA99FE77ED9D519D165C
FPadd = 023DB5C396A06F1FA33AFA99FE77ED9D519E9378
FPsub = 7FFFFFFFFFFFFFFFFFFFFFFFFDC24A3C695F90E05CC5056601881262AE6463C3
FP_1nres = 017D1C
FP_2nres = 023DB5C396A06F1FA33AFA99FE77ED9D519D165C
FPmulmod = 03561643F8913EEE3D64A16A989051C11FABB7755E10
FPsmallmul = 0EE318
FPsqr = 02375C5B10
FPreduce = 017D1C
FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE7FE7
FPdiv2 = BE8E
FPinv = 688B21732086AE350B8E44D4A4723C23E52C4D5FC5E55CAA936158EE0AB9FEAC
FPexp = 2095F08398BF156B606026B88F62B44AB5EF686CFFC2A39F08BA3D4EA85577AB

#test7
FP_1 = 2B64B9C20A237ECA2F96967C69526897B1CD83B1
FP_2 = 9469D532B04ED4DDC2C09E05BCF3995E26A31D5A2748
FPadd = 946A00976A10DF01418ACD9C537002B08F3ACF27AAF9
FPsub = 7FFFFFFFFFFFFFFFFFFF6B96563209733545BC099190D988CFF441F49473596C
FP_1nres = 2B64B9C20A237ECA2F96967C69526897B1CD83B1
FP_2nres = 9469D532B04ED4DDC2C09E05BCF3995E26A31D5A2748
FPmulmod = 16D6855AD1444DE69BB9F14F3FF9A18285165B5432BE351A0487355A98811242
FPsmallmul = 01B1EF41946562F3E5DBE1E0DC1D3815ECF20724EA
FPsqr = 2564F23ED81C49C3A52F8C3F05683007C725AE2A029B17ADBC2540B2A7B1BD10
FPreduce = 2B64B9C20A237ECA2F96967C69526897B1CD83B1
FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFD49B463DF5DC8135D069698396AD97684E327952
FPdiv2 = 40000000000000000000000015B25CE10511BF6517CB4B3E34A9344BD8E6C05A
FPinv = 25A60CA2C76CAB4E49412AA12EC1AAE62E12F7245DAAF29B13F13423F4FCC9A8
FPexp = 07324039865F7ACF18A50AD67BB27590E1655A3205F76C26AFD4E1F9FD05C6CB

#test8
FP_1 = 47CD4AF08E24F20E
FP_2 = 02ED74F57E00DF2B744BE2598D23ABE220D878192C4F85493411
FPadd = 02ED74F57E00DF2B744BE2598D23ABE220D8BFE67740136E261F
FPsub = 7FFFFFFFFFFFFD128B0A81FF20D48BB41DA672DC541DDF27CFB41EA108DBBB00
FP_1nres = 47CD4AF08E24F20E
FP_2nres = 02ED74F57E00DF2B744BE2598D23ABE220D878192C4F85493411
FPmulmod = 34722294E43364579F59420EBB86955182D18F8E4286D7A03AABAB753DA1D202
FPsmallmul = 02CE04ED658D71748C
FPsqr = 142384328A0C19A79E8EF41C80CE78C4
FPreduce = 47CD4AF08E24F20E
FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFB832B50F71DB0AF5
FPdiv2 = 23E6A57847127907
FPinv = 1DD6EE7E6995677E25B0EA7B64999DC38690375BD6D1AD2041D95A5D500C58B0
FPexp = 64B8AABA6F0F644207D7BFFA4E6993F3876DF73A4DF6B4EB63DBB1D7A3D4F87E

#test9
FP_1 = 0E71CD2D598757DE0EF90DF7027357EF88B061E527E2F580C4
FP_2 = 4143D74892A030419388D1C88AC81E0E68C0E95F1B3D16177570BB0DE3
FPadd = 4143D748A111FD6EED1029A699C12C056B34414EA3ED77FC9D53B08EA7
FPsub = 7FFFFFBEBC28B77BD19CEBC5FE86158430EFE899B26E906D734BCDB2723A6FE4
FP_1nres = 0E71CD2D598757DE0EF90DF7027357EF88B061E527E2F580C4
FP_2nres = 4143D74892A030419388D1C88AC81E0E68C0E95F1B3D16177570BB0DE3
FPmulmod = 3278225911340785CB8A93BBB199B6C7263ADE448CF0488E1EEA2F4E7BEECB18
FPsmallmul = 907203C57F496EAC95BA8BA618816F5B56E3D2F38EDD9707A8
FPsqr = 163D287DFCAE926A3313DA94E0346B2A38E2FBAD86232C1D8A6A61F47E7FBD03
FPreduce = 0E71CD2D598757DE0EF90DF7027357EF88B061E527E2F580C4
FPneg = 7FFFFFFFFFFFFFF18E32D2A678A821F106F208FD8CA810774F9E1AD81D0A7C3F
FPdiv2 = 0738E696ACC3ABEF077C86FB8139ABF7C45830F293F17AC062
FPinv = 78696E40956FB8530B873C3BD15C2F52F51F0B53C340B85973950AAC3AADAFA8
FPexp = 7A653CD3D31FB08655153F53B0065F4CAD4AFAF90DA4F8B1E87456F2B7EE3F36

#test10
FP_1 = 469A
FP_2 = 27AB8E3C57E348CD5E12C770E2774A802FBA2B6E41054EB6AED29153C4A92DFC
FPadd = 27AB8E3C57E348CD5E12C770E2774A802FBA2B6E41054EB6AED29153C4A97496
FPsub = 585471C3A81CB732A1ED388F1D88B57FD045D491BEFAB149512D6EAC3B5715A1
FP_1nres = 469A
FP_2nres = 27AB8E3C57E348CD5E12C770E2774A802FBA2B6E41054EB6AED29153C4A92DFC
FPmulmod = 4618105504A1F343B9D4D7D4DA21DE299DDE461A90B74DB2BE68542A9099F2F5
FPsmallmul = 02C204
FPsqr = 137894A4
FPreduce = 469A
FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFB669
FPdiv2 = 234D
FPinv = 62A8C733CFD7A933FB5AAD89884933134A966BEDFBC03493A53CB4F58C067325
FPexp = 475A809C381C1AC5D9E5AC34C35B1914B0A7C69CD3D6E763A76585B9060E6D32
