# FP ARITHMETICS - CURVE: BN254_T2, Modulo = 0x24000482410f5aadb74e200f3b89d00081cf93e428f0d651e8b2dc2bb460a48b, BIGmax: 2^256

#test1
FP_1 = 036298
FP_2 = 01489E53
FPadd = 014C00EB
FPsub = 24000482410F5AADB74E200F3B89D00081CF93E428F0D651E8B2DC2BB31B68D0
FP_1nres = 036298
FP_2nres = 01489E53
FPmulmod = 04586AB2C748
FPsmallmul = 21D9F0
FPsqr = 0B7588BA40
FPreduce = 036298
FPneg = 24000482410F5AADB74E200F3B89D00081CF93E428F0D651E8B2DC2BB45D41F3
FPdiv2 = 01B14C
FPinv = 12894E23E80DBA3CD9548CF49D28D38F78560ACD5CB66561385AD92D29876823
FPexp = 0BCCC27C745F843E623CD2024CE2B5D2A9F10E339B04AEF4780E2E9CD0AE0E83

#test2
FP_1 = 05FFCE
FP_2 = 0AACEC3FAF8BCD
FPadd = 0AACEC3FB58B9B
FPsub = 24000482410F5AADB74E200F3B89D00081CF93E428F0D651E8A82F3F74B7188C
FP_1nres = 05FFCE
FP_2nres = 0AACEC3FAF8BCD
FPmulmod = 400B73B7F8D684B1F6
FPsmallmul = 3BFE0C
FPsqr = 23FDA809C4
FPreduce = 05FFCE
FPneg = 24000482410F5AADB74E200F3B89D00081CF93E428F0D651E8B2DC2BB45AA4BD
FPdiv2 = 02FFE7
FPinv = 1C174B9C040DB8039BD78F5352269361B4204C8C5600AA5985CAFDC1D3339CB4
FPexp = 096E648758D824D6CC0D6BD4D35517F99D5D7788A225175F52DB3D111A8EC806

#test3
FP_1 = 2096F5B1
FP_2 = 0BC3DA053BD308B654BB
FPadd = 0BC3DA053BD3294D4A6C
FPsub = 24000482410F5AADB74E200F3B89D00081CF93E428F0CA8E0EADA058CC414581
FP_1nres = 2096F5B1
FP_2nres = 0BC3DA053BD308B654BB
FPmulmod = 017F6B4CF89C2E9D39AC8AB98C4B
FPsmallmul = 0145E598EA
FPsqr = 0426167117384461
FPreduce = 2096F5B1
FPneg = 24000482410F5AADB74E200F3B89D00081CF93E428F0D651E8B2DC2B93C9AEDA
FPdiv2 = 120002412087AD56DBA710079DC4E80040E7C9F214786B28F4596E15EA7BCD1E
FPinv = 1CB18FB75B8CB0830691196ED9B7EE75923B7D9C1B334FAFDE8FDDDA6F379967
FPexp = 07951A58EAA0509572EE162DD82A843CB33A2BC80FCC23C07142FE184213D4

#test4
FP_1 = 139FB8
FP_2 = 6B2B10E2B5DCF060FCF7F17306
FPadd = 6B2B10E2B5DCF060FCF80512BE
FPsub = 24000482410F5AADB74E200F3B89D00081CF9378FDDFF39C0BC27B2EBC82D13D
FP_1nres = 139FB8
FP_2nres = 6B2B10E2B5DCF060FCF7F17306
FPmulmod = 08370F0744714CC74BC93ABCB56D6650
FPsmallmul = C43D30
FPsqr = 018118F61440
FPreduce = 139FB8
FPneg = 24000482410F5AADB74E200F3B89D00081CF93E428F0D651E8B2DC2BB44D04D3
FPdiv2 = 09CFDC
FPinv = 0A2C483A24D56B84FB28AAE84358D5386CD38EB4275D4E5D6D37202EE55753F8
FPexp = 064254792A25D91A2AF4C94FCAA9C26B8407720AE65DDCA2C376027FD37DB848

#test5
FP_1 = 0E5EE8
FP_2 = 208E2A37ADEE98E11D30731F45BA9BD0
FPadd = 208E2A37ADEE98E11D30731F45C8FAB8
FPsub = 24000482410F5AADB74E200F3B89D000614169AC7B023D70CB82690C6EB467A3
FP_1nres = 0E5EE8
FP_2nres = 208E2A37ADEE98E11D30731F45BA9BD0
FPmulmod = 01D3D80362375F98ACCD6089E3A0263BB39480
FPsmallmul = 8FB510
FPsqr = CE848F3240
FPreduce = 0E5EE8
FPneg = 24000482410F5AADB74E200F3B89D00081CF93E428F0D651E8B2DC2BB45245A3
FPdiv2 = 072F74
FPinv = 131C1CBD880EC06788D413AD4FA169C6AFD4885EDAFBC5F23B44A093440C1B80
FPexp = 1B5BFA1FC2378F91811BEAAFB94EB59EC03EEB84506C2850F5B6DDEB61D3A462

#test6
FP_1 = 01A885DC14AB9435BAAD94F3ACD2
FP_2 = 1B93E77B619820407CB0D2856843767DF1AA7C
FPadd = 1B93E77B6199C8C658C57E199DFE2412E5574E
FPsub = 24000482410F5AADB74E200F3B6E3C19066DFD6C6E503A2AF7805362CB62A6E1
FP_1nres = 01A885DC14AB9435BAAD94F3ACD2
FP_2nres = 1B93E77B619820407CB0D2856843767DF1AA7C
FPmulmod = 09BB5E6EB0A62F332CEC383421F85D01333BFFE0623A99FACC4BA8667E1C852D
FPsmallmul = 10953A98CEB3CA194AC7D184C034
FPsqr = 02BFFBAF02E308C28C3176590A5A4DD5B3CF691E1763985B56DC44
FPreduce = 01A885DC14AB9435BAAD94F3ACD2
FPneg = 24000482410F5AADB74E200F3B89D00081CF923BA314C1A6547D217E1F6CF7B9
FPdiv2 = D442EE0A55CA1ADD56CA79D669
FPinv = 0BE308C4CE131969086D878BB90BC1812A722CCCF0CE94AA3FEA5639DCE1B7A5
FPexp = 0586530BF5DDA9C126A516F3E6F6EBC7541FCA6FE805C54C2870519B44F3B412

#test7
FP_1 = 4818BABCE39C33A9EB72DD
FP_2 = 08B01013CBA7BF4805900CF0DCE7A610E6D69E4CDD448A
FPadd = 08B01013CBA7BF4805900CF1250060CDCA72D1F6C8B767
FPsub = 24000482410F5AADB7456FFF27BE284139CA03D7385C076694AFA1C1116ED2DE
FP_1nres = 4818BABCE39C33A9EB72DD
FP_2nres = 08B01013CBA7BF4805900CF0DCE7A610E6D69E4CDD448A
FPmulmod = 030EF59DF030272A88F487300118E3192A8139A5BBDB9B8F933C85599EC8D4C0
FPsmallmul = 02D0F74B60E41A04A3327CA2
FPsqr = 144DEB6DCBA990775729F07C82EA6483D241DF4792C9
FPreduce = 4818BABCE39C33A9EB72DD
FPneg = 24000482410F5AADB74E200F3B89D00081CF93E428A8BD972BCF3FF80A7531AE
FPdiv2 = 120002412087AD56DBA710079DC4E80040E7C9F2149C778652CB3C2FAF260BB4
FPinv = 05FABE663199B72646BACAB86DC79A710E1B1974EB5E13ECE99AE9842A07AB1C
FPexp = 21EA87ED5DCE98B0DA48E4172DF1FC4523BECA7A466A4C62D1D9D81434BF17E7

#test8
FP_1 = 42C7AF9731403112181353B1
FP_2 = 19D5B34A029B99985D3196934D1D2A675FF505D7D6B5AC44549A
FPadd = 19D5B34A029B99985D3196934D1D6D2F0F8C371807C7C457A84B
FPsub = 24000482410F40D804041D73A1F172CEEB3C46C7415125F4141B3688202FA3A2
FP_1nres = 42C7AF9731403112181353B1
FP_2nres = 19D5B34A029B99985D3196934D1D2A675FF505D7D6B5AC44549A
FPmulmod = 181BD1BF2D7CEBB647E34080724F27FFCE82906BFAB5AE027DE34083958374A2
FPsmallmul = 029BCCDBE7EC81EAB4F0C144EA
FPsqr = 116B924C6AE3B9BA84D5A857B41217006585280AB7A24061
FPreduce = 42C7AF9731403112181353B1
FPneg = 24000482410F5AADB74E200F3B89D00081CF93E3E62926BAB772AB199C4D50DA
FPdiv2 = 120002412087AD56DBA710079DC4E80040E7C9F235DC42F48CF9869EE639FC1E
FPinv = 0E1113CFC173DC8506FD107B86A7ACC0EC76BA9651AF0DA6DEEB828A5ED747B6
FPexp = 198B58A625B70AC4C0887FE68A5D0069E96E371078B56B11031CA5EE4CC44971

#test9
FP_1 = 07CB6BB9857662047D88A1846CA35B82E7AE
FP_2 = 409FB245EB75AB69D51EFD81B752A0C46B0C573B72D6C958FF62542E2D
FPadd = 409FB245EB75AB69D51EFD8982BE5A49E16E5BB8FB784DC5A2BDD715DB
FPsub = 24000441A15D14C241A2B63A1C8C56149AE854EF7E9E1867B36DEFCFAD8F5E0C
FP_1nres = 07CB6BB9857662047D88A1846CA35B82E7AE
FP_2nres = 409FB245EB75AB69D51EFD81B752A0C46B0C573B72D6C958FF62542E2D
FPmulmod = 0B7034A7078E21A313B53A854914941BC792385FCF7250ECD0A1DF84366E5FE9
FPsmallmul = 4DF2353F369FD42CE7564F2C3E61931D0CCC
FPsqr = 16DCCE22FB7A74787A7FA50646AD38C492DFBADE5027CC2534686D63C7B635CA
FPreduce = 07CB6BB9857662047D88A1846CA35B82E7AE
FPneg = 24000482410F5AADB74E200F3B89C83516160E6DC6EC58C9472E6F8858DDBCDD
FPdiv2 = 03E5B5DCC2BB31023EC450C23651ADC173D7
FPinv = 10A13970CC4A270E84BFE8269013A439854CD80F06BE93699CFD4495FB029C39
FPexp = 19BFA31102F2E5542D532D0DA3EFA95D3042418213AD5148D8ADAE546B7D9F69

#test10
FP_1 = 1018A2BFA500B7B79A
FP_2 = 0BA240BDB04578FC8C7FD462F76E6DD0CB3A1C5F4AD1AF15DFA97C9F3E68C8FD
FPadd = 0BA240BDB04578FC8C7FD462F76E6DD0CB3A1C5F4AD1AF25F84C3C443F208097
FPsub = 185DC3C490C9E1B12ACE4BAC441B622FB6957784DE1F274C21AC1F3176AF9328
FP_1nres = 1018A2BFA500B7B79A
FP_2nres = 0BA240BDB04578FC8C7FD462F76E6DD0CB3A1C5F4AD1AF15DFA97C9F3E68C8FD
FPmulmod = 0B8360F5AA55B0FD541B6219F93F99B589AD21C4E9F4985D25EB503402B703EE
FPsmallmul = A0F65B7C72072D2C04
FPsqr = 010316B6E0062365EF9D4FB2FC5C01D988A4
FPreduce = 1018A2BFA500B7B79A
FPneg = 24000482410F5AADB74E200F3B89D00081CF93E428F0D641D0101C86B3A8ECF1
FPdiv2 = 080C515FD2805BDBCD
FPinv = 1075FBF3A253E2BDCEB3EAB0081A6941EAD9E371D79E5414E822E50EF10438EF
FPexp = 1EEF1A801BFC93ED3A1E670E3EAE939D0DA2E5C61250BF0ABA87374C406445C6
