# FP ARITHMETICS - CURVE: FP256BN, Modulo = 0xfffffffffffcf0cd46e5f25eee71a49f0cdc65fb12980a82d3292ddbaed33013; BIGmax = 2^256

#test1
FP_1 = 18A3A3E81EC3918F98DDDEEDFD397E80BFDDF764D67575383A6AC1234569F2E0
FP_2 = 132EC656441E71813E3A9A4866F054335F9A8B2B611BF3542273EE79082349E5
FPadd = 2BD26A3E62E20310D71879366429D2B41F7882903791688C5CDEAF9C4D8D3CC5
FPsub = 0574DD91DAA5200E5AA344A596492A4D60436C39755981E417F6D2AA3D46A8FB
FP_1nres = 18A3A3E81EC3918F98DDDEEDFD397E80BFDDF764D67575383A6AC1234569F2E0
FP_2nres = 132EC656441E71813E3A9A4866F054335F9A8B2B611BF3542273EE79082349E5
FPmulmod = 5CE5016C011A8CFDC629DFDACD0523E6C2BDFC99784B5076DA621CE12F2F8D84
FPsmallmul = F664671133A3AF9BF8AAB54BE43EF1077EABA9F060969432482B8B60B6237CC0
FPsqr = 87EBDA45539F3C77B6A01D65CF0EB1DA979E044DAC79E170F3C1DC567C86C696
FPreduce = 18A3A3E81EC3918F98DDDEEDFD397E80BFDDF764D67575383A6AC1234569F2E0
FPneg = E75C5C17E1395F3DAE081370F138261E4CFE6E963C22954A98BE6CB869693D33
FPdiv2 = 0C51D1F40F61C8C7CC6EEF76FE9CBF405FEEFBB26B3ABA9C1D356091A2B4F970
FPinv = 82F87A50B3CA2E9AA9B801C9C83B6B00B2EFA02BE198A037E9964CC9DAD6D460
FPexp = 7BBF1F02ED6DF486A449C673344DC173CFE4946F77245F3AD385D9DA7C8FC4AF

#test2
FP_1 = 1B626C7418FBC76AFA3F3660C59552AE68AFCFD99B70DC9677B8CBDFF6712C8E
FP_2 = 231619551AA67E14FFBE9821BB0906D395AEAF6B6F1320A6DA390CC130DA8DC4
FPadd = 3E7885C933A2457FF9FDCE82809E5981FE5E7F450A83FD3D51F1D8A1274BBA52
FPsub = F84C531EFE523A234166909DF8FDF079DFDD86693EF5C67270A8ECFA7469CEDD
FP_1nres = 1B626C7418FBC76AFA3F3660C59552AE68AFCFD99B70DC9677B8CBDFF6712C8E
FP_2nres = 231619551AA67E14FFBE9821BB0906D395AEAF6B6F1320A6DA390CC130DA8DC4
FPmulmod = 50A62F3FEC2971C553A41B0456AD59C9AD9D96E669F4D337BA9A6FDFA7ADB70D
FPsmallmul = 11D83C88F9D8D9607F922D68C96396310A01B884FFD0935DDA0EC8E3F1988D79
FPsqr = 630E806C2691DFFA1402FEC166DC304D844C3B17A3977C315650B7C3014BC8E7
FPreduce = 1B626C7418FBC76AFA3F3660C59552AE68AFCFD99B70DC9677B8CBDFF6712C8E
FPneg = E49D938BE70129624CA6BBFE28DC51F0A42C962177272DEC5B7061FBB8620385
FPdiv2 = 0DB1363A0C7DE3B57D1F9B3062CAA9573457E7ECCDB86E4B3BDC65EFFB389647
FPinv = E879B90B8A06974FE5079D9A16EF3B7FB14E8E478672F612108B6E7AB7B9E14F
FPexp = 8315462A1029ECE646043691C2A125E3A8CBCBEC2E385C8DE3953D2C105452E6

#test3
FP_1 = 3AFE261BD60FCA4A66D0A84057E64D876310035A363FEED3190E0C5289368C5C
FP_2 = 99847580610E7B88850B25330BC27F337F38FF9C056C70C2A31D822ADFF105
FPadd = 3B97AA915670D8C5EF55B3658AF21006968F3C59D2455B43DBB129D4B4167D61
FPsub = 3A64A1A655AEBBCEDE4B9D1B24DA8B082F90CA5A9A3A8262566AEED05E569B57
FP_1nres = 3AFE261BD60FCA4A66D0A84057E64D876310035A363FEED3190E0C5289368C5C
FP_2nres = 99847580610E7B88850B25330BC27F337F38FF9C056C70C2A31D822ADFF105
FPmulmod = BB3CA062DEF20F452A386364421ABF3C5BB3F7D1027045583B2BF1C7614889C3
FPsmallmul = 4DED7D165CA4054D765AADC5921BBE0BC4E7558FF94F3F39543A1F81FE7B1B72
FPsqr = F22181E0BB93C987F20B32E7F2B3F72D55EC0DE9B25BF6E9090365F77FD38D85
FPreduce = 3AFE261BD60FCA4A66D0A84057E64D876310035A363FEED3190E0C5289368C5C
FPneg = C501D9E429ED2682E0154A1E968B5717A9CC62A0DC581BAFBA1B2189259CA3B7
FPdiv2 = 1D7F130DEB07E525336854202BF326C3B18801AD1B1FF7698C870629449B462E
FPinv = 74546BA3F985C4B2B8A07300768DE0216029A05EF62B49B945854F752AE9C5FC
FPexp = F705CDB028E2148889A720287CFB7A918370A6BF2355643ECAB219A9638725D3

#test4
FP_1 = 2D45D0559141FE1B3B32978B8F73734CFCD43D52945C6A25A481C9DE23EDB34B
FP_2 = 0E311D50A8A2101812C6864A1F5B1435A4901AF0BD71B6A06C3D97B993948DB6
FPadd = 3B76EDA639E40E334DF91DD5AECE8782A164584351CE20C610BF6197B7824101
FPsub = 1F14B304E89FEE03286C114170185F1758442261D6EAB3853844322490592595
FP_1nres = 2D45D0559141FE1B3B32978B8F73734CFCD43D52945C6A25A481C9DE23EDB34B
FP_2nres = 0E311D50A8A2101812C6864A1F5B1435A4901AF0BD71B6A06C3D97B993948DB6
FPmulmod = BB7AB1EA034120B88F09AF60F029324443E85D962B6AAEB865A4450129F5B7D5
FPsmallmul = C4BA2357AC96FC430913F914AC10DC62D36DFF3EB9041AF599E8B4D1B875D0DB
FPsqr = C4A8220AA4EB8FE486E832B8E8258CD1D341C266EAEEF59BA475EC3A63431479
FPreduce = 2D45D0559141FE1B3B32978B8F73734CFCD43D52945C6A25A481C9DE23EDB34B
FPneg = D2BA2FAA6EBAF2B20BB35AD35EFE3152100828A87E3BA05D2EA763FD8AE57CC8
FPdiv2 = 96A2E82AC89F7774410C44F53EF28BF604D851A6D37A3A543BD57BDCE96071AF
FPinv = C303A961CFD0BDBFE9EECFEA588C3004126D64BCE8ED0045759A804B1CEDAC0C
FPexp = 9B64967F8C20B26DCB4452204EB5097A55BC483D46AB80A376554011751F9F82

#test5
FP_1 = 06508315F2C8EF931B6A9FCC6099EFA56F0F5AC0AACC9E1C474E6CF1AD9B2ACC
FP_2 = 470F8658F97696E8B1838668E33DB2EC44A2C1E7D07F1176607B40AFE662F174
FPadd = 4D60096EEC3F867BCCEE263543D7A291B3B21CA87B4BAF92A7C9ADA193FE1C40
FPsub = BF40FCBCF94F4977B0CD0BC26BCDE1583748FED3ECE59728B9FC5A1D760B696B
FP_1nres = 06508315F2C8EF931B6A9FCC6099EFA56F0F5AC0AACC9E1C474E6CF1AD9B2ACC
FP_2nres = 470F8658F97696E8B1838668E33DB2EC44A2C1E7D07F1176607B40AFE662F174
FPmulmod = 441B38E94852705FB1B811F9B9092924917E2E1FC1770FEB7B9B4609A21400B8
FPsmallmul = 3F251EDB7BD95BBF122A3DFBC6035C7656998B86ABFE2D1AC9104170C80FABF8
FPsqr = 422BBDC692B71A2C4D1D5F2755E0F2443F27AF1EC27B39EE72BAEE519E269FD8
FPreduce = 06508315F2C8EF931B6A9FCC6099EFA56F0F5AC0AACC9E1C474E6CF1AD9B2ACC
FPneg = F9AF7CEA0D34013A2B7B52928DD7B4F99DCD0B3A67CB6C668BDAC0EA01380547
FPdiv2 = 0328418AF96477C98DB54FE6304CF7D2B787AD6055664F0E23A73678D6CD9566
FPinv = 87AA020B50DE76202743DECD8276BCB092860C63333C85051493536CDF16EC58
FPexp = 6AE75FAA9819BD87C8201A2F1E0BCCE138909384C447D17AB09BC68577AA9543

#test6
FP_1 = 1E9EA15AE8155B3B3317D312882ED398387D77CD53629D880CB81786A68413BC
FP_2 = 1EEE8AC245AAAC7CBB1C2C9603E51B3C5D0749D1402241A5560A227BB59A450B
FPadd = 3D8D2C1D2DC007B7EE33FFA88C13EED49584C19E9384DF2D62C23A025C1E58C7
FPsub = FFB01698A2679F8BBEE198DB72BB5CFAE85293F725D8666589D722E69FBCFEC4
FP_1nres = 1E9EA15AE8155B3B3317D312882ED398387D77CD53629D880CB81786A68413BC
FP_2nres = 1EEE8AC245AAAC7CBB1C2C9603E51B3C5D0749D1402241A5560A227BB59A450B
FPmulmod = 1458C85E5CD4EBCC4C4AEF5009FF1F5F899133D7BA7CF39E89E97C3505B50B4A
FPsmallmul = 32324D8D10D89F82B8084C5A63629F53280A480A2F421CCDAC07BD66D2559545
FPsqr = 43FF3C3A85BC077C1F39AA2AFB6B514C42ACBD25DB830ACB065E379240D131EE
FPreduce = 1E9EA15AE8155B3B3317D312882ED398387D77CD53629D880CB81786A68413BC
FPneg = E1615EA517E7959213CE1F4C6642D106D45EEE2DBF356CFAC6711655084F1C57
FPdiv2 = 0F4F50AD740AAD9D998BE989441769CC1C3EBBE6A9B14EC4065C0BC3534209DE
FPinv = 3AFC153012447B18E85C30E21AEF910D382014A3DE3711161A121F0D208BAAA7
FPexp = 48260DAFA4FB5F69FE8335251FFB074FBC8F891E31551CE8D3D5D57874B6350B

#test7
FP_1 = 29517FAA6E5EA1AA8CAFBE872EBEAFC2B8816F372F06DC4A0312A9A16481698F
FP_2 = AE484B36CB8880AC4E557BB3C9512B155A84A195354530FB593466966E0A77D2
FPadd = D799CAE139E72256DB053A3AF80FDAD8130610CC644C0D455C471037D28BE161
FPsub = 7B093473A2D311CB8540353253DF294C6AD9339D0C59B5D17D0770E6A54A21D0
FP_1nres = 29517FAA6E5EA1AA8CAFBE872EBEAFC2B8816F372F06DC4A0312A9A16481698F
FP_2nres = AE484B36CB8880AC4E557BB3C9512B155A84A195354530FB593466966E0A77D2
FPmulmod = EDA3CA9FDBFA32C3AC2269FAF05E8862CC45AE9DC64EFE571073595D3B9CD673
FPsmallmul = 9D2EFCA84FB55FDC37F77EE8E50138FC2831F22CC3AC90614B9172723E3AEF83
FPsqr = A78A5E1D56504B1B133C97930B29CA00466C89F328C04722F3F2BF8E122DD95C
FPreduce = 29517FAA6E5EA1AA8CAFBE872EBEAFC2B8816F372F06DC4A0312A9A16481698F
FPneg = D6AE8055919E4F22BA3633D7BFB2F4DC545AF6C3E3912E38D016843A4A51C684
FPdiv2 = 94A8BFD5372DC93BE9CAD8730E982A30E2AEEA9920CF73666B1DEBBE89AA4CD1
FPinv = D9F72B0A7C9D1E389B24265EB818F02224C3796994F70586B156AD024DF00BDE
FPexp = 3963A9D04D8A1F137E2936FCE67D79BCC2693CA19288555E3481630EAD13D9D4

#test8
FP_1 = 108F368780FFB5F7339546D3AF44CCD236A4A1C0E6FFC7A6D75700DE26CA15B7
FP_2 = 86CACE0F79A4981DB0ABCA94F646A9D039204C3463C6DDC7A2043C0357A776BA
FPadd = 975A0496FAA44E14E4411168A58B76A26FC4EDF54AC6A56E795B3CE17E718C71
FPsub = 89C4687807580EA6C9CF6E9DA76FC7A10A60BB8795D0F462087BF2B67DF5CF10
FP_1nres = 108F368780FFB5F7339546D3AF44CCD236A4A1C0E6FFC7A6D75700DE26CA15B7
FP_2nres = 86CACE0F79A4981DB0ABCA94F646A9D039204C3463C6DDC7A2043C0357A776BA
FPmulmod = 9360D520F6E3D0549ABE07D941A2EF97831DF509DE684B9C2725B8BBC07CD78E
FPsmallmul = A598214B09FD1BA803D4C444D8B00036226E518905FDCC84696608AD83E4D926
FPsqr = 7F7747D207DA92756B2FD5EDEE9FBA1CB9AFF0197B28242CD3DB931DAD132F25
FPreduce = 108F368780FFB5F7339546D3AF44CCD236A4A1C0E6FFC7A6D75700DE26CA15B7
FPneg = EF70C9787EFD3AD61350AB8B3F2CD7CCD637C43A2B9842DBFBD22CFD88091A5C
FPdiv2 = 88479B43C07E53623D3D9C994EDB38B8A1C083DDFCCBE914D540175CEACEA2E5
FPinv = 48FCEC2AB9A6FBEF29929C55008E4FB2FAEDC47597F6403B2802DBFA5E79D781
FPexp = 8E765DC698EF0F1F1D664A2D296B2C99CFA270F84A4ABC69D07F271DF9BF803A

#test9
FP_1 = 1BE7BA5306D1F361529437FE5758838128CE668F5B4FDFE9F93D20135F1592C4
FP_2 = 240AADCD8C3E41A63861DC5AA9CFB8954F1C2766D6980CA40A6A69F2FCF204A1
FPadd = 3FF26820931035078AF6145901283C1677EA8DF631E7EC8E03A78A065C079765
FPsub = F7DD0C857A90A28861184E029BFA6F8AE68EA523974FDDC8C1FBE3FC10F6BE36
FP_1nres = 1BE7BA5306D1F361529437FE5758838128CE668F5B4FDFE9F93D20135F1592C4
FP_2nres = 240AADCD8C3E41A63861DC5AA9CFB8954F1C2766D6980CA40A6A69F2FCF204A1
FPmulmod = 42B61F33603B7C0E1B8FBF329F63159DBA29AC9A1890AD5B754DA4D4F9432288
FPsmallmul = 170D473E443690FFF2E43D907B037E6C8B339B9E7E86B4A0E93A12E608048B95
FPsqr = A4E63799E1DF02DFDF352F2EA87A8DD08B9F07BC0F7774FA394BD715EA2D3C35
FPreduce = 1BE7BA5306D1F361529437FE5758838128CE668F5B4FDFE9F93D20135F1592C4
FPneg = E41845ACF92AFD6BF451BA609719211DE40DFF6BB7482A98D9EC0DC84FBD9D4F
FPdiv2 = 0DF3DD298368F9B0A94A1BFF2BAC41C094673347ADA7EFF4FC9E9009AF8AC962
FPinv = 873F915CB13FC45F6D479E94CFE428AF47E41FFE8E82BEDAE7C66E71B82042FA
FPexp = 7F8C400E52BB11E5895182825CC933F941E40677FDD9B2B08365D9D367089A09

#test10
FP_1 = DC35E4EAABDECBC5FD1B2B74E1C9401D2093EC1629E94309ACA0A02200DC37EB
FP_2 = 5CE33AFF73AEEE30C42BABB14772F7DA77F3F6C8DE3B23298A0FED944FC0CA55
FPadd = 39191FEA1F90C9297A60E4C73ACA93588BAB7CE3F58C5BB063875FDAA1C9D22D
FPsub = 7F52A9EB382FDD9538EF7FC39A564842A89FF54D4BAE1FE02290B28DB11B6D96
FP_1nres = DC35E4EAABDECBC5FD1B2B74E1C9401D2093EC1629E94309ACA0A02200DC37EB
FP_2nres = 5CE33AFF73AEEE30C42BABB14772F7DA77F3F6C8DE3B23298A0FED944FC0CA55
FPmulmod = EECAF6FB99D73282450DBA216C8F6A4E412DDFC2EDBB53DA20DF7FD7B006A260
FPsmallmul = 9A1AF12AB6CC6F51ABE01F995E4F5C2ADEE409050E5C4A4A24FCD2769200AE96
FPsqr = BDC580F775760FB604035029694C8C7A9361E92C4E272CFED57DFFDB329F5362
FPreduce = DC35E4EAABDECBC5FD1B2B74E1C9401D2093EC1629E94309ACA0A02200DC37EB
FPneg = 23CA1B15541E250749CAC6EA0CA86481EC4879E4E8AEC77926888DB9ADF6F828
FPdiv2 = EE1AF27555EDDE49A2008EE9E81D725E16B829089E40A6C63FE4E6FED7D7B3FF
FPinv = A0B1CE10E404A42BD549136302792F48ABCF522EDB11C9DA38B7F2A1C86CC5E7
FPexp = BE0718E5BB6D622C27E5CE67BF02D00FAAAC2EF0D4EFB0120E292C4F70F41AE3
