# FP ARITHMETICS - CURVE: C25519, Modulo = 0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffed; BIGmax = 2^256

#test1
FP_1 = 10BE02
FP_2 = 01F85596
FPadd = 02091398
FPsub = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE186859
FP_1nres = 10BE02
FP_2nres = 01F85596
FPmulmod = 20FBACD5FF2C
FPsmallmul = A76C14
FPsqr = 01184D46F804
FPreduce = 10BE02
FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEF41EB
FPdiv2 = 085F01
FPinv = 6A416248B459455D253A474A268CF17ACF7144FE88C7E8F87C1F00580A78A5EE
FPexp = 7F509C7621B87F354D8C461DA2CE3085FADA414C47488D90D14815554D291A3C

#test2
FP_1 = 0175F86D11C646
FP_2 = 067208AD05BF1B
FPadd = 07E8011A178561
FPsub = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFB03EFC00C0718
FP_1nres = 0175F86D11C646
FP_2nres = 067208AD05BF1B
FPmulmod = 096A67DB813F384D19F12C2362
FPsmallmul = 0E9BB442B1BEBC
FPsqr = 02224DDEE94CB047B38ADC5B24
FPreduce = 0175F86D11C646
FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE8A0792EE39A7
FPdiv2 = BAFC3688E323
FPinv = 632E70A6B7033A5F85539010957C8C3B01DB5291DBE7751AC6419F7BFE990E37
FPexp = 6C43CA231C7823D4F4677B3F8AB7CD6CF881E9559A49299AC240F643660BCB5A

#test3
FP_1 = 020C9874
FP_2 = 17D8033511CEE6BB45C3
FPadd = 17D8033511CEE8C7DE37
FPsub = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE827FCCAEE311B51529E
FP_1nres = 020C9874
FP_2nres = 17D8033511CEE6BB45C3
FPmulmod = 30DC59A0696A1F3212896B645C
FPsmallmul = 147DF488
FPsqr = 04330075A9F490
FPreduce = 020C9874
FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFDF36779
FPdiv2 = 01064C3A
FPinv = 07193A49437697F25793A2852E8CB56DB033A0FAA34AFADD595B2F91CD2149E8
FPexp = 596955C9009351C4FDE2AF9FDB72C82BB38F2C42E721B2149233E5E07D1AE205

#test4
FP_1 = D784A0DA1B2518BDBA
FP_2 = 46D4D5393673549AB4B910945D
FPadd = 46D4D53A0DF7F574CFDE295217
FPsub = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFB92B2AC7A1114C3F666C08294A
FP_1nres = D784A0DA1B2518BDBA
FP_2nres = 46D4D5393673549AB4B910945D
FPmulmod = 3BA171525C3EFA5E4D3BCCE5D69F32976ABE0D4C7492
FPsmallmul = 086B2E48850F72F76944
FPsqr = B5700AE49F95A990CF0FF438F677E37C2B24
FPreduce = D784A0DA1B2518BDBA
FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF287B5F25E4DAE74233
FPdiv2 = 6BC2506D0D928C5EDD
FPinv = 6A4E07E6A05282CD69A9F14C638720B391DDD0FDB5373CD88CB04556225D04E1
FPexp = 30A56B34B019BF8D2C8012ED88BC80907D641CEC857689F8D9AD80476954D683

#test5
FP_1 = 793C78C27D30D6
FP_2 = 4DF98215800F9C66CE82FFCDD4FD6FE2
FPadd = 4DF98215800F9C66CEFC3C46977AA0B8
FPsub = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFB2067DEA7FF0639931F63CAAED7FC0E1
FP_1nres = 793C78C27D30D6
FP_2nres = 4DF98215800F9C66CE82FFCDD4FD6FE2
FPmulmod = 24ED59BED8C1C1631326A3AAB7F2AB3338E678762FE6EC
FPsmallmul = 04BC5CB798E3E85C
FPsqr = 396A3870AE79C25013DD124CF2E4
FPreduce = 793C78C27D30D6
FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF86C3873D82CF17
FPdiv2 = 3C9E3C613E986B
FPinv = 3BFC186EC293C37485109DE73F6F4D3131F3B2FCAB7F753DB2436006B34A698B
FPexp = 6B32B18BA308D2367FB4FBC0D71AD77304F94932D8C1E6F08026F910D047C12B

#test6
FP_1 = 05484B0ECFE2F5B1C3570CF966D2494AF3D27A
FP_2 = 6199923FAFDD9DD10B58FF7A1D31C8829EF699
FPadd = 66E1DD4E7FC09382CEB00C73840411CD92C913
FPsub = 7FFFFFFFFFFFFFFFFFFFFFFFFFA3AEB8CF200557E0B7FE0D7F49A080C854DBCE
FP_1nres = 05484B0ECFE2F5B1C3570CF966D2494AF3D27A
FP_2nres = 6199923FAFDD9DD10B58FF7A1D31C8829EF699
FPmulmod = 26EB5D6A7DE978A5429872C241C2DEB1C685BC10A91E3AB7136A450946829920
FPsmallmul = 34D2EE941EDD98F1A16681BE0436DCED8638C4
FPsqr = 7BED873921EB9CFF02AF2C85F715B1099C745432ECB90520E78813A01FD9FF82
FPreduce = 05484B0ECFE2F5B1C3570CF966D2494AF3D27A
FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFAB7B4F1301D0A4E3CA8F306992DB6B50C2D73
FPdiv2 = 02A4258767F17AD8E1AB867CB36924A579E93D
FPinv = 1A3B4C10314BDE7D27BC25FDD26E9A2350834A7175EA0AA238BDDBE7AB38C979
FPexp = 7F776BCB2A82CF253AE51AC15E4EAF6F853C3A71C392C2F3A35A4D2B95FEE4E6

#test7
FP_1 = 20C403E748F236
FP_2 = 0211A3518FA36D5A82BC26C3BA03D34EE60FB9309FDD4C
FPadd = 0211A3518FA36D5A82BC26C3BA03D34F06D3BD17E8CF82
FPsub = 7FFFFFFFFFFFFFFFFFFDEE5CAE705C92A57D43D93C45FC2CB13AB44AB6A914D7
FP_1nres = 20C403E748F236
FP_2nres = 0211A3518FA36D5A82BC26C3BA03D34EE60FB9309FDD4C
FPmulmod = 43C9F34FD1A51D9C564CA59EBBC379EB9BE85C646E47281691324A8608
FPsmallmul = 0147A82708D9761C
FPsqr = 0431970FCC737D0D172A978A2364
FPreduce = 20C403E748F236
FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFDF3BFC18B70DB7
FPdiv2 = 106201F3A4791B
FPinv = 1870714ACF3F4E4B99643576CEEE65CBA0042C66439CA678B1E50402EE858965
FPexp = 285CB0CCB0CDDD79D17843E474E3F56BD5CFC87CDD06F0137ADC6705BC5DA594

#test8
FP_1 = 066930FA5FD4
FP_2 = 019B4B786854EB4BDA11DEA7055957FAC88C12114133FA1475DB
FPadd = 019B4B786854EB4BDA11DEA7055957FAC88C1211479D2B0ED5AF
FPsub = 7FFFFFFFFFFFFE64B48797AB14B425EE2158FAA6A8053773EDEEC53536E5E9E6
FP_1nres = 066930FA5FD4
FP_2nres = 019B4B786854EB4BDA11DEA7055957FAC88C12114133FA1475DB
FPmulmod = 0A4CC5773D051A46B2C7268C91423D4D9B1004D8E1E5F4D649CFBFD88BDE5C
FPsmallmul = 401BE9C7BE48
FPsqr = 291984F33F64B6CDEF0790
FPreduce = 066930FA5FD4
FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF996CF05A019
FPdiv2 = 0334987D2FEA
FPinv = 7263C04C20B64C3020BC14903828218DD841B728364ECE53C2009FD24D50B355
FPexp = 72A71BAAF627564E7D9E31A1B3073630B8481E5DE8A30BD66F8D18FE8C788687

#test9
FP_1 = 04
FP_2 = 56636CC914401E3E4DA6B73F7681D79C9CF078A44F017630A3CA8C690E
FPadd = 56636CC914401E3E4DA6B73F7681D79C9CF078A44F017630A3CA8C6912
FPsub = 7FFFFFA99C9336EBBFE1C1B25948C0897E2863630F875BB0FE89CF5C357396E3
FP_1nres = 04
FP_2nres = 56636CC914401E3E4DA6B73F7681D79C9CF078A44F017630A3CA8C690E
FPmulmod = 01598DB324510078F9369ADCFDDA075E7273C1E2913C05D8C28F2A31A438
FPsmallmul = 28
FPsqr = 10
FPreduce = 04
FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE9
FPdiv2 = 02
FPinv = 5FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF2
FPexp = 4E567523EC1CD09A4C5C0470C2FAE417BB4C077FF9B6C764C812562EF1C3D995

#test10
FP_1 = 07CC0AD86C278993B0FF38E86A23A07F750EA55DBBFECCD14FE8BAB0A84C6B
FP_2 = 5C4B8A6A7EB1EEE2BC07CAA1262CC1FEBB1370868FF829C173DC038A74DBDCE0
FPadd = 5C535675571E166C4FB8C9DA0E96E59F3A887F2BEDB4288E452BEC452584294B
FPsub = 23BC41A059BA38A6D7A93497C23D61A1C4619E1ECDC3D50B5D73E5303BCC6F78
FP_1nres = 07CC0AD86C278993B0FF38E86A23A07F750EA55DBBFECCD14FE8BAB0A84C6B
FP_2nres = 5C4B8A6A7EB1EEE2BC07CAA1262CC1FEBB1370868FF829C173DC038A74DBDCE0
FPmulmod = 22FCC9BA22307FFE0D026B275E3DE8E959E965DE2A5449F9A7987DE4ABE629CD
FPsmallmul = 4DF86C74398B5FC4E9F83914256444FA929275A957F4002D1F174AE692FC2E
FPsqr = 0557E5A203025995B2D1F8E48B9AE42FCCA1F6ABC543E97A4768D21327F7EB24
FPreduce = 07CC0AD86C278993B0FF38E86A23A07F750EA55DBBFECCD14FE8BAB0A84C6B
FPneg = 7FF833F52793D8766C4F00C71795DC5F808AF15AA24401332EB017454F57B382
FPdiv2 = 4003E6056C3613C4C9D87F9C743511D03FBA8752AEDDFF6668A7F45D5854262C
FPinv = 0BB719EE640CA6EC3B19E0FBCDD9D22A7885A0600B5ECC6C1962BFAEACBB4B3E
FPexp = 14CBC13C26EBB705CFDCD7BA84C6052BFDB19D53A99C0F32A28196DE2F715025
