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

#test1
FP_1 = 018E6B02
FP_2 = 32FDAD
FPadd = 01C168AF
FPsub = 015B6D55
FP_1nres = 018E6B02
FP_2nres = 32FDAD
FPmulmod = 4F5BB3634A5A
FPsmallmul = 0F902E14
FPsqr = 026C10E6F2AC04
FPreduce = 018E6B02
FPneg = FFA7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE7194FD
FPdiv2 = C73581
FPinv = 1544A44B1FB8B3D00447219957E46251C4378A743A1B8862E9DE378153F26E
FPexp = CCC473201ED5B123553341AF5DA93EDAF8C995B80854E5DB7E53EC44BEAE87A2

#test2
FP_1 = 06A6
FP_2 = 0CF464C35E453B
FPadd = 0CF464C35E4BE1
FPsub = FFA7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF30B9B3CA1C16A
FP_1nres = 06A6
FP_2nres = 0CF464C35E453B
FPmulmod = 5620D5EAE4C04642
FPsmallmul = 427C
FPsqr = 2C33A4
FPreduce = 06A6
FPneg = FFA7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF959
FPdiv2 = 0353
FPinv = CED695CF444966949B3975051D2E069E3B901810D8979D5487F8C7BF05B73370
FPexp = DF8BCBA64364D66982354370598C154E272DCA688DD78B8DA64A50CA6D677865

#test3
FP_1 = 014B4EF3C5
FP_2 = 0B60427696CBBF1434D0
FPadd = 0B60427696CD0A632895
FPsub = FFA7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF49FBD8969358C3ABEF4
FP_1nres = 014B4EF3C5
FP_2nres = 0B60427696CBBF1434D0
FPmulmod = 0EB8F818B5451888C99B400E1410
FPsmallmul = 0CF11585B2
FPsqr = 01ACC542B8E22B9599
FPreduce = 014B4EF3C5
FPneg = FFA7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEB4B10C3A
FPdiv2 = 7FD40000000000000000000000000000000000000000000000000000A5A779E2
FPinv = 1625F342DC18F6BC85E9170B59F225350E0F411AF6E8DAD2984FE4F23B15915B
FPexp = 540593FF55E5666369A99E8A84FBB12A48523898028691E1B71682889C2BB921

#test4
FP_1 = 07E3
FP_2 = 59F655CDE906AC9C1C67AA4639
FPadd = 59F655CDE906AC9C1C67AA4E1C
FPsub = FFA7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFA609AA3216F95363E39855C1A9
FP_1nres = 07E3
FP_2nres = 59F655CDE906AC9C1C67AA4639
FPmulmod = 02C581C6B6F4CFA353340593E7D38B
FPsmallmul = 4EDE
FPsqr = 3E3349
FPreduce = 07E3
FPneg = FFA7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF81C
FPdiv2 = 7FD40000000000000000000000000000000000000000000000000000000003F1
FPinv = 68366839D197C62E6839D197C62E6839D197C62E6839D197C62E6839D197C62E
FPexp = B73E811BC80F439F6CD635AE38996EA6614A185AA0B94544AD4E2D5F49F8DCF1

#test5
FP_1 = 65F88003963579C7
FP_2 = 79A294BC0212FCFEC2EA11D41A7B0858
FPadd = 79A294BC0212FCFF28E291D7B0B0821F
FPsub = FFA7FFFFFFFFFFFFFFFFFFFFFFFFFFFF865D6B43FDED0301A30E6E2F7BBA716E
FP_1nres = 65F88003963579C7
FP_2nres = 79A294BC0212FCFEC2EA11D41A7B0858
FPmulmod = 307337014197EB1E783D8D8782DF0946BFABC7C906CD1468
FPsmallmul = 03FBB50023DE16C1C6
FPsqr = 289E063B1B7CCFF54EBA908ADA53B8B1
FPreduce = 65F88003963579C7
FPneg = FFA7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF9A077FFC69CA8638
FPdiv2 = 7FD40000000000000000000000000000000000000000000032FC4001CB1ABCE3
FPinv = 5B158229CA00E014C3871D8CBDB11712DC1837D2FFEA012DF41A25ED4924E711
FPexp = D0853BABDAE44ABE410300DE0AADF0C0D26462CFA1F7AC1FC84CBE60653621C2

#test6
FP_1 = 07CD1C1F04BBCD96
FP_2 = 0229819BBEFDC94F17C9A686CD4215A86E12097C
FPadd = 0229819BBEFDC94F17C9A686D50F31C772CDD712
FPsub = FFA7FFFFFFFFFFFFFFFFFFFFFDD67E64410236B0E83659793A8B067696A9C419
FP_1nres = 07CD1C1F04BBCD96
FP_2nres = 0229819BBEFDC94F17C9A686CD4215A86E12097C
FPmulmod = 10DE04D92ED88FDD98BAF0653EE69432702B19ED55F62BCDBDDAA8
FPsmallmul = 4E0319362F5607DC
FPsqr = 3CDBDFBF06A6D0B0C70286AE3D93E4
FPreduce = 07CD1C1F04BBCD96
FPneg = FFA7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF832E3E0FB443269
FPdiv2 = 03E68E0F825DE6CB
FPinv = A2C9369B6C3DA3BC50635BCB6D0B1DB322232F8653DD9F0971652BE079444761
FPexp = 46CF498E22741EE799778DE15BB0AAA98DEDAC3B428634972DED594FB63F201A

#test7
FP_1 = 9202831A501EE95136092835449D
FP_2 = 098F645CC26D7242E4812CE69470532F285D9083E97D1C
FPadd = 098F645CC26D7242E5132F69AEC07218799399AC1EC1B9
FPsub = FFA7FFFFFFFFFFFFFFF6709BA33D928DBD1C10D59C85DFCBBA28D878A44BC780
FP_1nres = 9202831A501EE95136092835449D
FP_2nres = 098F645CC26D7242E4812CE69470532F285D9083E97D1C
FPmulmod = C917D015CA0BE513A11922F51B85D992EF402EFADBB47C738D98DD8FA7F8E51F
FPsmallmul = 05B4191F0721351D2C1C5B9214AE22
FPsqr = 5346DD9052F07350490B215C018E26E53DA67AB1885BBF908B65C849
FPreduce = 9202831A501EE95136092835449D
FPneg = FFA7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF6DFD7CE5AFE116AEC9F6D7CABB62
FPdiv2 = 7FD4000000000000000000000000000000004901418D280F74A89B04941AA24E
FPinv = E1604E301D7FC44E6D5844E6913349234AFC377AA9A7C62B3E295B82FD4C2B6A
FPexp = 78C756C54CB25825DE571922155A389BD67E8A44ADF41BE4B82A65619E1FE9AE

#test8
FP_1 = 6C4AB6D8073F0764871C4B
FP_2 = 08541DD6E07CFBD31B17EF0F548C65440F9960DA4A2FEFBB3C60
FPadd = 08541DD6E07CFBD31B17EF0F548C65B05A5038E18937544258AB
FPsub = FFA7FFFFFFFFF7ABE2291F83042CE4E810F0AB739B283B1D772CF4D774CBDFEA
FP_1nres = 6C4AB6D8073F0764871C4B
FP_2nres = 08541DD6E07CFBD31B17EF0F548C65440F9960DA4A2FEFBB3C60
FPmulmod = E66105E906F63F854727371BD4ECF42EC0CDDA271F3CB93D6197D03994367DAD
FPsmallmul = 043AEB2470487649ED471AEE
FPsqr = 2DCF20147D993F46F131E74FB97742E44B83723A7DF9
FPreduce = 6C4AB6D8073F0764871C4B
FPneg = FFA7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF93B54927F8C0F89B78E3B4
FPdiv2 = 7FD40000000000000000000000000000000000000036255B6C039F83B2438E25
FPinv = 606C1B13CF8AD06B7184B8FC0FB5768BC06AFE36706E8E69432EADE1855DBA07
FPexp = 5D845E71C51C48B93A6F245AE9074A580F4DB6AB9AFFE5763FD9ADA7E1AC7C3C

#test9
FP_1 = 010C424468E8F0472B96FCFF76A217
FP_2 = 3B8E178188FD4A54B8A62CD2428D0D2B35E08BA54460321E3F2F6E08A9
FPadd = 3B8E178188FD4A54B8A62CD2428D0E377824F48E34A75DB53C2EE4AAC0
FPsub = FFA7FFC471E87E7702B5AB4759D32DBD72F3E10C63DD43ABE6F978BDD008996D
FP_1nres = 010C424468E8F0472B96FCFF76A217
FP_2nres = 3B8E178188FD4A54B8A62CD2428D0D2B35E08BA54460321E3F2F6E08A9
FPmulmod = 60909CF5C924D33A8199DB2AE678EDDD4497A73216326D3512C9465990056F00
FPsmallmul = 0A7A96AC191962C7B3E5E1FAA254E6
FPsqr = 01191AD063001717A5B398EF79B90130EE56A8B04A2C299F2BA5D51E11
FPreduce = 010C424468E8F0472B96FCFF76A217
FPneg = FFA7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEF3BDBB97170FB8D4690300895DE8
FPdiv2 = 7FD4000000000000000000000000000000008621223474782395CB7E7FBB510B
FPinv = FE0684E2A48845BF46E67AD30E55A45248B46EE54705FF422A8B8106A4E18FB3
FPexp = F17866EA826B315A8BCAA4494ECD04AFDCE0285FC147588FA3A0294C367AB1FD

#test10
FP_1 = 02B9F23C191EC222978E6D2C8B889A7458CEFF7CFB8A
FP_2 = 83C71540A10738F6E3749059D860D936BCA19F39B8778AB548A09781AA27E01F
FPadd = 83C71540A10738F6E3749313CA9CF2557EC436C825A4163DE314F050A9A4DBA9
FPsub = 7BE0EABF5EF8C7091C8B726019DB3FE80580F854B4B500D351D3C14D55551B6A
FP_1nres = 02B9F23C191EC222978E6D2C8B889A7458CEFF7CFB8A
FP_2nres = 83C71540A10738F6E3749059D860D936BCA19F39B8778AB548A09781AA27E01F
FPmulmod = 95A94C10E54480B22BBC6F904D3AAAE6D3BB1562662E5B658640843388EE51AD
FPsmallmul = 1B437658FB339559EB9043BD7356088B7815FAE1D364
FPsqr = C460FB9D7C4F2F23123547D99DB1B60E76036F5CCF336EF4024D93B232983269
FPreduce = 02B9F23C191EC222978E6D2C8B889A7458CEFF7CFB8A
FPneg = FFA7FFFFFFFFFFFFFFFFFD460DC3E6E13DDD687192D37477658BA73100830475
FPdiv2 = 015CF91E0C8F61114BC7369645C44D3A2C677FBE7DC5
FPinv = EAC08FCA859338E794CDD1069FCB853732B43654D4097C2F30DA7E58A4DBB57F
FPexp = DE765D4B3A83E640B6C29364C42B1EB3F89AFA90B731FEF9412B81C06731AF8F