# FP ARITHMETICS - CURVE: BN254_CX, Modulo = 0x2400000008702a0db0bddf647a6366d3243fd6ee18093ee1be6623ef5c1b55b3, BIGmax: 2^256

#test1
FP_1 = 03
FP_2 = F63C49
FPadd = F63C4C
FPsub = 2400000008702A0DB0BDDF647A6366D3243FD6EE18093EE1BE6623EF5B25196D
FP_1nres = 03
FP_2nres = F63C49
FPmulmod = 02E2B4DB
FPsmallmul = 1E
FPsqr = 09
FPreduce = 03
FPneg = 2400000008702A0DB0BDDF647A6366D3243FD6EE18093EE1BE6623EF5C1B55B0
FPdiv2 = 1200000004381506D85EEFB23D31B369921FEB770C049F70DF3311F7AE0DAADB
FPinv = 1800000005A01C09207E94EDA6ECEF376D7FE49EBAB0D4967EEEC29F92BCE3CD
FPexp = 15EC1729458B6C747A3FD2C2AD53FA592D9E026C2F53625870FAFCE7ECC2CD6F

#test2
FP_1 = 0FDEE90CC8BB84
FP_2 = 044FD88584AB3E
FPadd = 142EC1924D66C2
FPsub = 0B8F1087441046
FP_1nres = 0FDEE90CC8BB84
FP_2nres = 044FD88584AB3E
FPmulmod = 446EDA79C04AD87C4771EE95F8
FPsmallmul = 9EB51A7FD75328
FPsqr = FBE16885DA64B9B541E79A1C10
FPreduce = 0FDEE90CC8BB84
FPneg = 2400000008702A0DB0BDDF647A6366D3243FD6EE18093EE1BE5645064F529A2F
FPdiv2 = 07EF7486645DC2
FPinv = 027425A032B48E8C1D60F34246339399713F1CBB4A78322F00D5AF7923299AC9
FPexp = 0CAD30B8796651706CEC2628BDD4E56228E1794B805B4F378B4C6BD1E9F4289B

#test3
FP_1 = 0926BA03CD7CE07559
FP_2 = 06D13E62643925C6E811
FPadd = 06DA651C6806A2A75D6A
FPsub = 2400000008702A0DB0BDDF647A6366D3243FD6EE18093819A6BDC383B334E2FB
FP_1nres = 0926BA03CD7CE07559
FP_2nres = 06D13E62643925C6E811
FPmulmod = 3E6334D960FD11844DA9BFAA6532551672E9
FPsmallmul = 5B83442606E0C4957A
FPsqr = 53BEF004BD4F82CF21707A3D05C98A78F1
FPreduce = 0926BA03CD7CE07559
FPneg = 2400000008702A0DB0BDDF647A6366D3243FD6EE18093ED897AC2021DF3AE05A
FPdiv2 = 1200000004381506D85EEFB23D31B369921FEB770C049F75729013DE6C7DE586
FPinv = 19E77B8E2F6F0521470220ED6A4C53B08F8A9048BBC2107421BB0FEDBD642C55
FPexp = 18FEC80C2F12C12FCEF009BCC5598E9A9697B2A3AE7D7D1BDFDA6CA8F2965DA0

#test4
FP_1 = 3A
FP_2 = 4C6D1E701AECF662AF947612CE
FPadd = 4C6D1E701AECF662AF94761308
FPsub = 2400000008702A0DB0BDDF647A6366D3243FD6A1AAEACEC6D16FC13FC7A5431F
FP_1nres = 3A
FP_2nres = 4C6D1E701AECF662AF947612CE
FPmulmod = 1150B8E56619AFD25BC7A2C042AC
FPsmallmul = 0244
FPsqr = 0D24
FPreduce = 3A
FPneg = 2400000008702A0DB0BDDF647A6366D3243FD6EE18093EE1BE6623EF5C1B5579
FPdiv2 = 1D
FPinv = 23611A7B9E5C93426B7CCE4CAD3E60A35D00F21EF44FB4F855995847EC2C84C6
FPexp = 0B9A0C28A52AF2CB38F36673EA1371B188E3B2E8907708A470874E46F7FAFFA7

#test5
FP_1 = 662AA485C6
FP_2 = 8D85E34D88C997924869F71B3BAB01CC
FPadd = 8D85E34D88C997924869F781664F8792
FPsub = 2400000008702A0DB0BDDF647A6366D296B9F3A08F3FA74F75FC2D3A4B14D9AD
FP_1nres = 662AA485C6
FP_2nres = 8D85E34D88C997924869F71B3BAB01CC
FPmulmod = 387AEB7BE8DB142E547B7A76099AB544309CE25FC8
FPsmallmul = 03FDAA6D39BC
FPsqr = 28C60234FF68A3975524
FPreduce = 662AA485C6
FPneg = 2400000008702A0DB0BDDF647A6366D3243FD6EE18093EE1BE6623893176CFED
FPdiv2 = 33155242E3
FPinv = 1925880FCD45734F8F6AD2C590FA7435ACDEA67102BA6005E52C361821DC4F3E
FPexp = 1759AD139FC86045CF4912402E5B9C4F62321DC45C47A8F0A71E329B0EFCB73C

#test6
FP_1 = 01B72A1E9F9D343ADCAE7BBEFCF7F5FFA646354E
FP_2 = 035BA7AEA924F3FD4A94BE3BEFF23B69323EDF0B
FPadd = 0512D1CD48C22838274339FAECEA3168D8851459
FPsub = 2400000008702A0DB0BDDF6478BEE9431AB8172BAA22FC64CB6BDE85D022ABF6
FP_1nres = 01B72A1E9F9D343ADCAE7BBEFCF7F5FFA646354E
FP_2nres = 035BA7AEA924F3FD4A94BE3BEFF23B69323EDF0B
FPmulmod = 18A372B94476F2F92A5BA7380D551CD2A028040295374E9BEAFBEEF2373EAA33
FPsmallmul = 1127A5323C240A4C9ED0D575E1AF9BFC7EBE150C
FPsqr = 1E437838C7B6B63D4FCBCAD4AB626A777761676B9D21CE3EBDBFF880D5426EC7
FPreduce = 01B72A1E9F9D343ADCAE7BBEFCF7F5FFA646354E
FPneg = 2400000008702A0DB0BDDF6478AC3CB484A2A2B33B5AC322C16E2DEFB5D52065
FPdiv2 = DB950F4FCE9A1D6E573DDF7E7BFAFFD3231AA7
FPinv = 0BD12F0A134E7AA18FE4F5DF23E440ECD5A2C08710F657B97047B7B814880BD4
FPexp = 1A618E707597662CDD92C5E16731C6C470D13EA1737419D3A2D3B1A1B7E14F89

#test7
FP_1 = 615A00E0DE74F102D2
FP_2 = 055A3D0C45FE032AF5E1A0A36776961334AD0F94BAD786
FPadd = 055A3D0C45FE032AF5E1A0A36776F76D358DEE09ABDA58
FPsub = 2400000008702A0DB0B885276E1D68CFF949F54D74A1C8AD053257BE3C5180FF
FP_1nres = 615A00E0DE74F102D2
FP_2nres = 055A3D0C45FE032AF5E1A0A36776961334AD0F94BAD786
FPmulmod = 020912DFD071F81BF35AC0B0F825C77BA0ED4BE111F97575B83BE9B31419D7EC
FPsmallmul = 03CD8408C8B0916A1C34
FPsqr = 2505544F06B1CE63A714745BB1AC9F6BF444
FPreduce = 615A00E0DE74F102D2
FPneg = 2400000008702A0DB0BDDF647A6366D3243FD6EE18093E8064654310E72A52E1
FPdiv2 = 30AD00706F3A788169
FPinv = 093D8F1E78B5D38C8965371D56B35388F42C2E481C9C42D6C8A06D0213F6F171
FPexp = 12F2EC3B7B5C2716F870359B4AD7B7F0854263955660A0BDB5293D0DB0EF7A30

#test8
FP_1 = 03B69B6A04FF4307CF52726509C21A91E0BEAB674CCBB1A322A7
FP_2 = 1AC3D3C722ABCAD9CD8A508A6559EDBC444B87FA22BB813B116D
FPadd = 1E7A6F3127AB0DE19CDCC2EF6F1C084E250A33616F8732DE3414
FPsub = 24000000087013007860C1B7F291689B461A7B5644DEDB54E1D34DFF8C8366ED
FP_1nres = 03B69B6A04FF4307CF52726509C21A91E0BEAB674CCBB1A322A7
FP_2nres = 1AC3D3C722ABCAD9CD8A508A6559EDBC444B87FA22BB813B116D
FPmulmod = 124042C2E296B75944354EE5F85DDD7C55D7F1095D1BE65C54A1E47E9E98DE41
FPsmallmul = 2522122431F89E4E193877F2619509B2C772B208FFF4F05F5A86
FPsqr = 082F6111A3143E78787035DE51B081CD09A98C7378FDDE00630041C6202449C0
FPreduce = 03B69B6A04FF4307CF52726509C21A91E0BEAB674CCBB1A322A7
FPneg = 24000000087026571553DA65375B9780B1DACD2BFD775E2312FED723AA78330C
FPdiv2 = 12000000043816E22613F231DEB59B12CB527058194D8FD034E6B85D86DF3C2D
FPinv = 18A5A211E6C85C16229ACF0734F0E19BDACC95AC2464C26B3DEC07BF7C5BAB4B
FPexp = 1D738D2AB989242CA5B286D08309FB96F105B57CA46CB875D446E2B7366E0054

#test9
FP_1 = 1F
FP_2 = 71AF553802AD36AFC6A37C8860B6C0B4E67E8102744E99756732D7D925
FPadd = 71AF553802AD36AFC6A37C8860B6C0B4E67E8102744E99756732D7D944
FPsub = 23FFFF8E591AF20B03872F9DD6E6DE726D7F220799883C6D6FCCAE8829437CAD
FP_1nres = 1F
FP_2nres = 71AF553802AD36AFC6A37C8860B6C0B4E67E8102744E99756732D7D925
FPmulmod = 0DC43B51C852F99F490DCC1483B62155E7E9519F4C158495377F28234B7B
FPsmallmul = 0136
FPsqr = 03C1
FPreduce = 1F
FPneg = 2400000008702A0DB0BDDF647A6366D3243FD6EE18093EE1BE6623EF5C1B5594
FPdiv2 = 1200000004381506D85EEFB23D31B369921FEB770C049F70DF3311F7AE0DAAE9
FPinv = 0F18C6318FECF8DC736865F0545B3BA2DDA7289564EB1A5EAAAEF64B9A3D02E8
FPexp = 1B9D2A6192A9C1033DD7D6044F3CC379C7568AFB4091239A9DB058A4033DF3D3

#test10
FP_1 = 0C6C248404156027BDBFA9
FP_2 = 5FA5A0C32A6BED59681ED08FAF3D7A527C6E2D835BCE5F44409A8CEBCBF15DD5
FPadd = 17A5A0C3198B993E06A311C6BA76ACAC33EE7FA72BC84DA547D25A6D3B787218
FPsub = 0C5A5F3CEEE490CFAA1ACD9DBFECBA26F0515746EC59C9857E9BF442701E62ED
FP_1nres = 0C6C248404156027BDBFA9
FP_2nres = 17A5A0C3198B993E06A311C6BA76ACAC33EE7FA72BBBE180C3CE450D13BAB26F
FPmulmod = 215BD9F03141612758F00621CF997E54C20D447486AEBBDCA11D6347B8C63C1E
FPsmallmul = 7C396D2828D5C18D697C9A
FPsqr = 9A511B34FAD847147914B255BF3B34D5CA0D079D91
FPreduce = 0C6C248404156027BDBFA9
FPneg = 2400000008702A0DB0BDDF647A6366D3243FD6EE17FCD2BD3A620E8F345D960A
FPdiv2 = 1200000004381506D85EEFB23D31B369921FEB770C0AD58321351CA7C1EC8AAE
FPinv = 0845BE9CC228B1734F917DE19461FBEFC422CA9DE9C65DEC628E6525B2498708
#FPexp = 10057B3193D789DE7BA1976B147F24ED514D18EB4EE408B898F73DE8EA49F50E
