# FP ARITHMETICS - CURVE: BN454, Modulo = 240000900000d8000090900025b06c01b14400921c00021d4400da888401d5080091c8000145080025084e006c4e0000840000004e000000132400000008702A0DB0BDDF647A6366D3243FD6EE18093EE1BE6623EF5C1B55B3 BIGmax = 2^456 #test1 FP_1 = F1D35998AC FP_2 = 1C9D5CEFD777 FPadd = 1D8F30497023 FPsub = 240000900000D8000090900025B06C01B14400921C00021D4400DA888401D5080091C8000145080025084E006C4E000083FFFFE4A27669C148 FP_1nres = F1D35998AC FP_2nres = 1C9D5CEFD777 FPmulmod = 1B07C435297DE8D6726BF4 FPsmallmul = 0972417FF6B8 FPsqr = E46F9D2E44DF0AA4B390 FPreduce = F1D35998AC FPneg = 240000900000D8000090900025B06C01B14400921C00021D4400DA888401D5080091C8000145080025084E006C4E000083FFFFFF5C2CA66767 FPdiv2 = 78E9ACCC56 FPinv = 11F387F3E2390F96C4970A673E9CDFA20C523D8710791B2DC3D5BCB40618925847A4A3F2DAA976A63DFB618490FD1359E6AB0083A6C3B9FEE6 FPexp = 1132DEBDAB19BE277642A389A1DF08D609F37943DBD95F3AECE02A9F08BA6536CA8D5808DE46A888C72D91700221D4B40EC2537A533BA4AE08 #test2 FP_1 = 0D60110776CD7AFD6B49 FP_2 = 0695C48DF82266E8C5E00DD0 FPadd = 0695D1EE0929DDB640DD7919 FPsub = 240000900000D8000090900025B06C01B14400921C00021D4400DA888401D5080091C8000145080025084E006C476A495618E51032B51D5D8C FP_1nres = 0D60110776CD7AFD6B49 FP_2nres = 0695C48DF82266E8C5E00DD0 FPmulmod = 5813950E0AEB2E359DCBA0BDE3B0A3E7A7D939E050 FPsmallmul = 85C0AA4AA406CDE630DA FPsqr = B2E5C788CBF698FBAA552B63D9A408CF401AD1 FPreduce = 0D60110776CD7AFD6B49 FPneg = 240000900000D8000090900025B06C01B14400921C00021D4400DA888401D5080091C8000145080025084E006C4DFFF323EEF88980850294CA FPdiv2 = 1200004800006C000048480012D83600D8A200490E00010EA2006D444200EA840048E40000A284001284270036270006F20883BB8DBD7EB5AE FPinv = 1695B8743694FBBE8FAC613D70131CC7844C38D947AA311772ED77C3B7E508CC0E6C40400653C2253B4AD825E4C09FE8FE230662F7AFEB9013 FPexp = 09CA12129448E1D474846DAED6ED6177A417B800B6B96E396AB32A2E4FB9074446CF84F310127A1DAC5CAE1C4722E7A47DD74563A8D6E12456 #test3 FP_1 = 0C99C1E5C72BC66BF3214D270581 FP_2 = 019AA9789780EEFF542A92B77DC479D37C68 FPadd = 019AA978A41AB0E51B56592370E5C6FA81E9 FPsub = 240000900000D8000090900025B06C01B14400921C00021D4400DA888401D5080091C800014507FE8A5ED5758520E6738533B475AAD353892C FP_1nres = 0C99C1E5C72BC66BF3214D270581 FP_2nres = 019AA9789780EEFF542A92B77DC479D37C68 FPmulmod = 143697FA899A500A54607B6B3B64C685BE1267368FBA26A850236DC0D7B868 FPsmallmul = 7E0192F9C7B5C0377F4D0386370A FPsqr = 9EC686E230717B3C4894BB271E270D988B7F453598D084476C4B01 FPreduce = 0C99C1E5C72BC66BF3214D270581 FPneg = 240000900000D8000090900025B06C01B14400921C00021D4400DA888401D5080091C8000145080025084DF3D28C1A395839940D2CB2D8FA92 FPdiv2 = 1200004800006C000048480012D83600D8A200490E00010EA2006D444200EA840048E40000A28400128427068307F2E3D7E335F9B7A69382CA FPinv = 15AF190643B294EC077C0421B127E61F76682A57309A7B1CE520168F33E384E7E9B83D9C891AD14DE7AC5592C7F1A33DE42493541C745C6916 FPexp = 0D39806FBCE36846C0C4AE65C4C7C9936F496D60C9A67BC1F0434768A36A9715E75CBC641DA1C540B764B4E25BA29753810B9ED9777A04E6B5 #test4 FP_1 = 0446DF FP_2 = 01664194247B0903307CDDF877E0CC7C210DEBB4DF6D00 FPadd = 01664194247B0903307CDDF877E0CC7C210DEBB4E3B3DF FPsub = 240000900000D8000090900025B06C01B14400921C00021D4400DA888401D5080091C699BFB0E3851C051D838E55881FB783DEF2624B24D9F2 FP_1nres = 0446DF FP_2nres = 01664194247B0903307CDDF877E0CC7C210DEBB4DF6D00 FPmulmod = 05FC345233F18FB07AFCD9592BBB16AC95624867455A6DF300 FPsmallmul = 2AC4B6 FPsqr = 124A96B641 FPreduce = 0446DF FPneg = 240000900000D8000090900025B06C01B14400921C00021D4400DA888401D5080091C8000145080025084E006C4E0000840000004DFFFBB934 FPdiv2 = 1200004800006C000048480012D83600D8A200490E00010EA2006D444200EA840048E40000A284001284270036270000420000002700022379 FPinv = 155D424481D8EDCF417F080C627C3A688FD0E8C5843B30A0A06B55EAB4AE47C0E8EF68B0D01396869DE38DC19D1226D818856B1F76C594552C FPexp = 1418016A259312810308C12BCA5284CC3C4B026AD9780F8652FD81904D4F2419BDDC21685AAAAD067EC3E5E2D9EA5C86B5A2B2038ED40F047E #test5 FP_1 = 02376C5D3EC955E6F0B3B252 FP_2 = 03204AC28BA289FB53D0BB4EDB7D263FD2508EB6046D729E5920E88EB1 FPadd = 03204AC28BA289FB53D0BB4EDB7D263FD252C62261AC3BF440119C4103 FPsub = 240000900000D8000090900025B06C01B14400921C00021D4400DA8880E18A4574EF3E04AD744CB1498B27C099FFA8B6DCD156B7DBCFCB23B4 FP_1nres = 02376C5D3EC955E6F0B3B252 FP_2nres = 03204AC28BA289FB53D0BB4EDB7D263FD2508EB6046D729E5920E88EB1 FPmulmod = 06EDD857ECC817434006001B3E74B9DD10FBEA96CD429F610DB080CEDC2FE491B746B1D5F377C6B2 FPsmallmul = 162A3BA473DD5B056704F734 FPsqr = 04E9B132EAEECB1327A4D64650F04E76644BD49AE22244 FPreduce = 02376C5D3EC955E6F0B3B252 FPneg = 240000900000D8000090900025B06C01B14400921C00021D4400DA888401D5080091C8000145080025084E006C4BC89426C136AA670F4C4DC1 FPdiv2 = 011BB62E9F64AAF37859D929 FPinv = 1CCEFF67D843A8EDF9A5FF813C84ED4989B93D79915568BEDE7828112D39CE9436912C1E044028EAF2B7E5037EDB3CB11F9938DF9170394A74 FPexp = 1A96D0E1D95FE7DAEC7259FCC332FE376FACA4F0A6364108C608CEC4F9A3F985163966D68FF35678CEEE001D236CA1D3F2E4EAAF7FA9EEACC7 #test6 FP_1 = C0879F95CE6F6924329D0CFF91F591FC5BFD93092D3818 FP_2 = 0204533736B5D972470B29CF27C0200148DACB391DE1F2F60A9BF454D709F25702E8AA FPadd = 0204533736B5D972470B29CFE847BF97174A345D507EFFF59C918651330785603020C2 FPsub = 240000900000D8000090900025B06C01B14400921C000018F0C9A3D2AA8F8DFCD6C360C780D98D94C2F362BB8657875A21A784F3EEB22A4F81 FP_1nres = C0879F95CE6F6924329D0CFF91F591FC5BFD93092D3818 FP_2nres = 0204533736B5D972470B29CF27C0200148DACB391DE1F2F60A9BF454D709F25702E8AA FPmulmod = 1C4FED88FA4A53BC86364B3F6E5508ADDBC0FD654D8C1290AACB59E13C87F50F54D7F568B3FEE9DD48A267B2FFDAC000F52607F003AB0CFF32 FPsmallmul = 07854C3BDA105A1B69FA2281FBB397B3DB97E7BE5BC430F0 FPsqr = 90CBB73A6922454F88DBCDD7AB7A408924B79CF6EC303E0A8D5EC9B723D3159919A2098CFC5C0C32117E74BA8240 FPreduce = C0879F95CE6F6924329D0CFF91F591FC5BFD93092D3818 FPneg = 240000900000D8000090900025B06C01B14400921C00021D4400DA888401D5080091077861AF3990BBE41B635F4E6E0AF203A402BAF6D2C7FB FPdiv2 = 6043CFCAE737B492194E867FC8FAC8FE2DFEC984969C0C FPinv = 15825073765CE205966391931F550F5BB54855982AA10D3CF2E075E8893970B96A28106D63D8D9E4F5C07694DBE866F797EA41C0FCB515ED9A FPexp = 027CDCA5EE54382F3F6754C85F25A7782782CE04C3AC2246C80725C32357F7E10FDEF16F33837ABEC36C51EF598AA0D194678BA7619585C4E2 #test7 FP_1 = 017E29929B929658 FP_2 = 0F8A99E49277A7B9136FEABC0B7792DC3F15B934A3E09CE76712AE212C802F4F314E08559F7D724B FPadd = 0F8A99E49277A7B9136FEABC0B7792DC3F15B934A3E09CE76712AE212C802F4F32CC31E83B1008A3 FPsub = 240000900000D8000090900025B06C01B13475F8376D8A758AED6A9DC7F65D752452B246CCA127633DA13B524B217FD134D030218AFC152420 FP_1nres = 017E29929B929658 FP_2nres = 0F8A99E49277A7B9136FEABC0B7792DC3F15B934A3E09CE76712AE212C802F4F314E08559F7D724B FPmulmod = 173357BC35BFB6AF201BD972BF0B77D18FF999EE8F41A179C150922491A458462A85BA63677C39DCDE2466EBDD3BC8 FPsmallmul = 0EED9FBA13B9DF70 FPsqr = 023A80184893437486825E64AB3E40 FPreduce = 017E29929B929658 FPneg = 240000900000D8000090900025B06C01B14400921C00021D4400DA888401D5080091C8000145080025084E006C4E000083FE81D6BB646D69BB FPdiv2 = BF14C94DC94B2C FPinv = 0DD6A7234A41C4783A0361427E3EDB9790215BCE2CBD80D2319F60EC01786B35BA413B553A64C1CB5F6F53BB2DD8CB6E154E2E06F6FB2E958D FPexp = 0DAC1DC13D56B890D74978E57C58E65A46C9AB4F0BC88E252E5157370C050FF3E0452EF7EF5A5DDF6A7E8E9E17EEA00F7887D3B0C9AF816CC7 #test8 FP_1 = 3F0D476495F33D141ADC4F423DA02493 FP_2 = 1D1C6B5828010C6240F1CF365EAFAEA608E1B527F50C8C16D5E82A5C6AC82FE90CF438863EB49F71DA771CE306BF FPadd = 1D1C6B5828010C6240F1CF365EAFAEA608E1B527F50C8C16D5E82A5C6AC86EF65458CE797BC8BA4E29B95A832B52 FPsub = 240000900000D80000908FE3094513D9B0379E512A30CBBE9452347FA24CAD12F405B12A191AAB955D17723ADCAB6CFEE37B6A751920BD1DE7 FP_1nres = 3F0D476495F33D141ADC4F423DA02493 FP_2nres = 1D1C6B5828010C6240F1CF365EAFAEA608E1B527F50C8C16D5E82A5C6AC82FE90CF438863EB49F71DA771CE306BF FPmulmod = 173CDE67524D16A640D86F81601932AE63A6E7D0076E2D5AC76FF7DA9FBC6EB6709D6EA3201D6DA39D67E1332396A73FA244A2CF9C80C8E6DA FPsmallmul = 027684C9EDDB8062C90C9B189668416DBE FPsqr = 0F8789D3D5EDE576830114344125C715D0D4F6DA466E2AD164A34B67CAF9AC69 FPreduce = 3F0D476495F33D141ADC4F423DA02493 FPneg = 240000900000D8000090900025B06C01B14400921C00021D4400DA888401D5080091C8000145080024C940B907B80CC36FE523B10BC25FDB80 FPdiv2 = 1200004800006C000048480012D83600D8A200490E00010EA2006D444200EA840048E40000A2840012A3ADA3E871F99ECC0D6E27C81ED01253 FPinv = 23BB0D75A97FF7AE88347C6606A97FECC69037CE9913AB8ACA235B870518D2A123D9444B45A761C86221B28CB05AFDD3112A0F5B299279DCA3 FPexp = 05D2787D698BD26888BFE5FDEC08365BBEB1570C063A659F7EB0276A50B87D86031F8420EB5095468DDA28060360724A869F922A3F87F86C4E #test9 FP_1 = 0233860FC1EFAE70D5E6 FP_2 = 0756D77D22A09F3EFFB812D91C0E876FD2D1E058C0EE068A9357248A6B4FCC8C4B4641195C24275E0ECF399EC843AD266623A17E FPadd = 0756D77D22A09F3EFFB812D91C0E876FD2D1E058C0EE068A9357248A6B4FCC8C4B4641195C24275E0ECF3BD24E536F1614947764 FPsub = 2400008FFFF98128836DEF60E6B0B3EED827F20AAC2D303CEB3FEC81F96E7DE37626783374F9C1BF0BAC29D90E3F30C918BDCC1517484D347B FP_1nres = 0233860FC1EFAE70D5E6 FP_2nres = 0756D77D22A09F3EFFB812D91C0E876FD2D1E058C0EE068A9357248A6B4FCC8C4B4641195C24275E0ECF399EC843AD266623A17E FPmulmod = 01509B1AE0A90110D9FAA6E937A8E3A03FB809CC7C3AF76AD0CA0213DB4C9C8BE487ED11DBA3373B8B8C78C3961BCD7D9FB78820112DB4D2F9 FPsmallmul = 16033C9D935CD0685AFC FPsqr = 04D876EF8384387BECA8372905C3F483F88AA4 FPreduce = 0233860FC1EFAE70D5E6 FPneg = 240000900000D8000090900025B06C01B14400921C00021D4400DA888401D5080091C8000145080025084E006C4DFFFE5079F03E5E518F2A2D FPdiv2 = 0119C307E0F7D7386AF3 FPinv = 1FA5BAC9D9BD09BD5A41EF70471A49ED4C52D97660BE296C2EC5D173CF431B62AA8C2DFBE20CEFDFFFE71F7B205FA8CC82D74FAF704F8F1723 FPexp = 17310B99C42AC53DB4041E5923BB83C8C978FFE4E5BC9CEADD28B112D8D15CC0133019CCEC074C118A55DCF4243933A98D72C7CD00F08832BB #test10 FP_1 = 0384DD93C7D0238A6E0288BA970E48E8B6CFB880E78B90EF5E87904344BE FP_2 = 87BBEA7E706855BD6E4D998561D56D62FAD5D7819F92671B0BCFF3354A33760A3AFEC3426B9FC2823477B6C5EA122D7A9E3485F5F78F4FEE86 FPadd = 1BBBE8CE7065CDBD6C9BE984F0C4295DE709D5CB4B9260C33FCD639F430B8ABA096CF5B06A596518D3A7B57B74E0AE609DC57553951F93330B FPsub = 084417C18F9B0A4293F4A67B34EC42A3CA3A2AC6D06DA15A043376F04AB171DD976BE72B9BFD18156DF269F296DE536EFD5C6969C800F35684 FP_1nres = 0384DD93C7D0238A6E0288BA970E48E8B6CFB880E78B90EF5E87904344BE FP_2nres = 1BBBE8CE7065CDBD6C9BE984F0C4295DE709D5CB4B9260C33FCD639BBE2DF6F239496B4267D0AA81C55ECCC4A5282D79123485F50D8F4FEE4D FPmulmod = 18921CF7816D1DB6D0907B6DE867F03D6A77B8C502FF755DC34A9E492140A81A9EB8FD35C6A10DC521D259E5D13C887DB8075D78B0D1118C84 FPsmallmul = 2330A7C5CE2163684C195749E68ED917241D35090B73A959B14BA2A0AF6C FPsqr = 0A8554FB7C0B08637D1B5E2E4E13182B3A82ADFC258159236FDACF42D3519B2D4DD55F13886CBC0F9C37B87FEB81410342F962F2D4CDE2F3E7 FPreduce = 0384DD93C7D0238A6E0288BA970E48E8B6CFB880E78B90EF5E87904344BE FPneg = 240000900000D8000090900025B06C01B14400921C00021D4400DA84FF244140306E3D91FEBC4D6916BF65499C957F18F86F10A1C66FBCBB55 FPdiv2 = 01C26EC9E3E811C53701445D4B8724745B67DC4073C5C877AF43C821A25F FPinv = 02EE9677D2833F7EDA4D9E481B4E2B89C086022E4F66D880E588CAD90C142BCDAFFD55784DE0695C1F772B5268E308DE5FFA19BBB57F7DB93B FPexp = 0B366290122F40CCA949D65E697BC7172D1D8FA4E0702E5E728DE2FD3494DB12E4BFF576056529B2F4CE8E53F82C0F2DD073313526538C08A6