# FP ARITHMETICS - CURVE: BLS455, Modulo = 0x55555955557955572aa00e0f95b49203003f665e3a5b1d56234bd93954fcb314b8b3db9994ace86d1ba6c589556b2aa956aaa00001800002ab, BIGmax = 2^456 #test1 FP_1 = 07 FP_2 = 30C9CD7D2935 FPadd = 30C9CD7D293C FPsub = 55555955557955572AA00E0F95B49203003F665E3A5B1D56234BD93954FCB314B8B3DB9994ACE86D1BA6C589556B2AA956AA9FCF37B282D97D FP_1nres = 07 FP_2nres = 30C9CD7D2935 FPmulmod = 0155849E6C2073 FPsmallmul = 46 FPsqr = 31 FPreduce = 07 FPneg = 55555955557955572AA00E0F95B49203003F665E3A5B1D56234BD93954FCB314B8B3DB9994ACE86D1BA6C589556B2AA956AAA00001800002A4 FPdiv2 = 2AAAACAAAABCAAAB95500707CADA4901801FB32F1D2D8EAB11A5EC9CAA7E598A5C59EDCCCA5674368DD362C4AAB59554AB55500000C0000159 FPinv = 24924ADB6DC649255B692A98F7043E939264507186B955B733B2CACF6D90DF08E171A741D200F5E59E22E6F1B6E4C9240092449249C924936E FPexp = 14BC72E7AF87D479E6621650888F8180F292EC5FB33A4E9012A4EF9E479F32C4128D33BEFF250B84E8B3C1318D0A29F53C0814D8E4E1439E78 #test2 FP_1 = 29A631AA4BBC FP_2 = 035CD2820675F922D89B7857 FPadd = 035CD282067622C90A45C413 FPsub = 55555955557955572AA00E0F95B49203003F665E3A5B1D56234BD93954FCB314B8B3DB9994ACE86D1BA6C5895567CDD6D4A42A3084D90ED610 FP_1nres = 29A631AA4BBC FP_2nres = 035CD2820675F922D89B7857 FPmulmod = 8C0C8E54466CD1AFB1C64FBBBD2F33DCE4 FPsmallmul = 01A07DF0A6F558 FPsqr = 06C6A7CCFEBF1216A417B210 FPreduce = 29A631AA4BBC FPneg = 55555955557955572AA00E0F95B49203003F665E3A5B1D56234BD93954FCB314B8B3DB9994ACE86D1BA6C589556B2AA956AA9FD65B4E55B6EF FPdiv2 = 14D318D525DE FPinv = 1E450DA517E73DBAA859F67FFD2DF3A9215D1CE6864A9AAF15D071F3CB98E3825506A100DBD3E3CDC81272619ADBFD1A1B013DB5B88773F233 FPexp = 31C07B8F6BAB4C029E3EB9D99372528D1B601DADFE221CE08A16E8BE04325FC9E9F5B10796D2963D2D1363EA94028D29DA9C1A860FD4EDD393 #test3 FP_1 = 58602A240D8D56169E FP_2 = 5DBE0252D6DAFB2431E26FD0D7E23CDB62 FPadd = 5DBE0252D6DAFB248A4299F4E56F92F200 FPsub = 55555955557955572AA00E0F95B49203003F665E3A5B1D56234BD93954FCB314B8B3DB9994ACE86CBDE8C3367E902F857D285A53372B193DE7 FP_1nres = 58602A240D8D56169E FP_2nres = 5DBE0252D6DAFB2431E26FD0D7E23CDB62 FPmulmod = 205C877BB8FC2AA45C388EB833F994CF988E371BE3EF8955D27C FPsmallmul = 0373C1A56887855CE22C FPsqr = 1E8241186B4B2EB64E4DCAFAADE940278984 FPreduce = 58602A240D8D56169E FPneg = 55555955557955572AA00E0F95B49203003F665E3A5B1D56234BD93954FCB314B8B3DB9994ACE86D1BA6C589556B2AA8FE4A75DBF3F2A9EC0D FPdiv2 = 2C30151206C6AB0B4F FPinv = 2A0EA323149FD8A12ED0C0915155AD4BF22145A2001CA22A2CD1553C464DD0F8E87E3F886E977B2FEF87E847FC7376B783001CC12B9427EEA3 FPexp = 0896F2D6E831BC501C7A2EF7A1B44C7DFF25698E6DF9C3489807B32D745B502FC9BAA5574BE3BB242226DE22F306A78CB1CD330F8BB6BCF971 #test4 FP_1 = 03BD0F798EB77F079E7CFC43 FP_2 = 3F785E1F30DB847178712B612C29292C99074D2C0BDBA5 FPadd = 3F785E1F30DB847178712B64E938A2BB508654CA88D7E8 FPsub = 55555955557955572AA00E0F95B49203003F665E3A5B1D56234BD93954FCB314B8B39C21368DB79197354D182A0DBB8FA70CBE77BBF2712349 FP_1nres = 03BD0F798EB77F079E7CFC43 FP_2nres = 3F785E1F30DB847178712B612C29292C99074D2C0BDBA5 FPmulmod = ED48CE0B6437F84060822984558D879C487A03F496E1053D6291190A645F6D3CE82F FPsmallmul = 25629ABF932AF64C30E1DA9E FPsqr = 0DF9FCB3C4805D78E000AFD4641F5B0B08CA120D7BF989 FPreduce = 03BD0F798EB77F079E7CFC43 FPneg = 55555955557955572AA00E0F95B49203003F665E3A5B1D56234BD93954FCB314B8B3DB9994ACE86D1BA6C58955676D99DD1BE880F9E1830668 FPdiv2 = 2AAAACAAAABCAAAB95500707CADA4901801FB32F1D2D8EAB11A5EC9CAA7E598A5C59EDCCCA5674368DD362C4AAB773DC681CABBF848F3E7F77 FPinv = 181831692768CCE4AFB95D45E49BBF393EA662EDF775B4D559FE8403A5BC95F2E8C6883EE114CD204D2B1EA40513954BF179E680C3F5ED0564 FPexp = 335099A680D3AB897D6E249F30C4E32CBEAEF14066C9A43F96DF0C7CD5AB400F267B24F0F3B49F86D4993462FE1D641C1C8C6B25E3D77D77AB #test5 FP_1 = 716F7671BB23FD7E445768107E292F903E264438FC FP_2 = 0A5A6E6E4A3655E7389668608B6D739CD26D8885D8C1874225F0056F05 FPadd = 0A5A6E6E4A3655E7AA05DED24691711B16C4F09656EAB6D2641649A801 FPsub = 55555955557955572AA00E0F95B49203003F665E3A5B1D56234BD9394AA244A66E7D85B2CD85F67E4B5D4F6AC7550A33FC12484E19B63ECCA2 FP_1nres = 716F7671BB23FD7E445768107E292F903E264438FC FP_2nres = 0A5A6E6E4A3655E7389668608B6D739CD26D8885D8C1874225F0056F05 FPmulmod = 04966CBED8F741A640832A83474E45FE5D76A28D44C9BE5DC54CC46622C159FE99E0D61F87F3DCFCE7E3AA00ACFBB0F660EC FPsmallmul = 046E5AA0714F67E6EEAB6A10A4ED9BDBA26D7EAA39D8 FPsqr = 3243971854A31A0B381837897A2809DC96F4E58599E326699F46FA69D309F7617980F3676D29228F3810 FPreduce = 716F7671BB23FD7E445768107E292F903E264438FC FPneg = 55555955557955572AA00E0F95B49203003F665E3A5B1D56234BD93954FCB314B8B3DB99233D71FB6082C80B1113C298D881706FC359BBC9AF FPdiv2 = 38B7BB38DD91FEBF222BB4083F1497C81F13221C7E FPinv = 290FBF03C8E637928F06F2ED9CE8145CF9825A65AF041A89D1D4E700393CEB121A0CDB60D499E0CD1780880DEC595FCC8FADD206EF1F182676 FPexp = 36065EE3FAAAF11325870F803E9627DFF9CE98F402FA52712791409219CCB853B3E28F777E60D8ACF754F3B99AAF4D1D78C5653DB22F20735B #test6 FP_1 = BE89626C1B4D45D41E619A3397303D09BA22DEA38CB310C6C1 FP_2 = F13CEF60AC8F9DCF561B1B0F8D0ACC703E0E4F6A1379C1C9DC84BBB7BF58343863C5 FPadd = F13CEF60AC8F9DCF56D9A471F92619B6122CB1044710F206E63EDE9662E4E7492A86 FPsub = 55555955557955572AA00E0F95B49203003F665E3A5B1C64E65C788CC55EE3BF5C222E78A52DBE032BB8F5A972D99DD68C11C6E435FED865A7 FP_1nres = BE89626C1B4D45D41E619A3397303D09BA22DEA38CB310C6C1 FP_2nres = F13CEF60AC8F9DCF561B1B0F8D0ACC703E0E4F6A1379C1C9DC84BBB7BF58343863C5 FPmulmod = 5245244018A66DFDC32C2882ADDBC7786D4D9F3DA6450C871A918BE3AC6EB591B7E6FC29721996B468AFBB9E580615D5DD319C01F071607F4E FPsmallmul = 07715DD8391104BA492FD00603E7E26261455CB2637EFEA7C38A FPsqr = 8DD037D2F612DEE9CFB41BA5CF1BECE4DB7348B64D1B1DD277EB68F80259AC181C965B287051EA67E1B3AF6FA023586F1D81 FPreduce = BE89626C1B4D45D41E619A3397303D09BA22DEA38CB310C6C1 FPneg = 55555955557955572AA00E0F95B49203003F665E3A5B1D56234BD93954FCB313FA2A792D795FA298FD452B55BE3AED9F9C87C15C74CCEF3BEA FPdiv2 = 2AAAACAAAABCAAAB95500707CADA4901801FB32F1D2D8EAB11A5EC9CAA7E598ABB9E9F02D7FD17209D042FDE764DB3D98866BF51C7198864B6 FPinv = 66309EF0931BDF2AA9D3FD891E716DA0971BD988E8EA5DF0BC8AD01BD4C3F73BED45DD5C46D3305B9C9974E7BF3F63DBF994FF596F679C57 FPexp = 396C12008B039034A8010E6CCE834B1A30C6C2793FCCC2664860C7C250712842B3FD63AEB2265A8CB387D1085AD811CF736378283FAD3818DA #test7 FP_1 = 77214A72A80A0C73B1FEDB7E0CA4D87DF218D70AA84EEB7C0DCE792DEE3EFB0507DEE2F6EAEE40 FP_2 = EA494279D087FC0BF1C92785E985E39FFA2DF69A0D0A980C7C99EC03B197F3C5656BE691DECFED55 FPadd = EAC063C443300618657B26616792887878200F7117B2E6F7F8A7BA7CDF8632C06A73C574D5BADB95 FPsub = 55555955557955572AA00E0F95B49202FF55943D0AFD3D6423CDC210AA9139D5F1379FBBD1AA8623FAA6396BCAE780F48C4A3BF852981B0396 FP_1nres = 77214A72A80A0C73B1FEDB7E0CA4D87DF218D70AA84EEB7C0DCE792DEE3EFB0507DEE2F6EAEE40 FP_2nres = EA494279D087FC0BF1C92785E985E39FFA2DF69A0D0A980C7C99EC03B197F3C5656BE691DECFED55 FPmulmod = 2872C3E9680D4190AC9294502810342E39517C7E2F8F4A96A818F7BB7ABB76824C4798C24652AD3920BB018E8C7438C2694A80AE93E4FFF9E6 FPsmallmul = 04A74CE87A90647C84F3F492EC7E7074EB74F8666A931532D88A10BBCB4E75CE324EB4DDA52D4E80 FPsqr = 05D27EB08FE6CBFB242D33AF498428DC950C2B1291D2EB65F76D484075C8B48E2086332449457935987C214E0F01E8C5852F00EFA8F94F1B2B FPreduce = 77214A72A80A0C73B1FEDB7E0CA4D87DF218D70AA84EEB7C0DCE792DEE3EFB0507DEE2F6EAEE40 FPneg = 55555955557955572AA00E0F95B49203003EEF3CEFE8754C16D8273A797EA66FE035E980BDA2401E302AB7BADC3D3C6A5BA598211E8915146B FPdiv2 = 3B90A53954050639D8FF6DBF06526C3EF90C6B85542775BE06E73C96F71F7D8283EF717B757720 FPinv = 0E539E06C9D3D27A3EB182D904DC284915EBD29E7BBF227D5B6D221427F576CC713A67FA346BAA59D71E22E545C19F047B84C7AA59B754CCE1 FPexp = 23C9BA0426C4B59023C27AEA410A3857B3022753213244C379AAA6813743E3927CEC83F991F5BB36E33A8A484106FB0BACB277FBA253B1C34F #test8 FP_1 = 0939CA8A465DB780EE9209D0BFC5ED368DDFB0C7508A68DFBB1F53FDAB093545ABA58E60EA01089127E2D0 FP_2 = 033602E7D3E3897506061C2FAC00F52D51D848567B97B98818431D19A5390BE73AFF6BE591A975512D9443CDCE5A FPadd = 033602F10DAE13BB63BD9D1E3E0AC5ED17C57EE45B4880D8A2ABFCD4C48D09924434B1913737D63B2E9CD4F5B12A FPsub = 55555955557955572AA00E0C5FB1B368E74037B5EBBFDC3C2C276BAD69EAEA78D1C1A40BBA6F89E7369889578B44F0BD3B9638D375CD5A1721 FP_1nres = 0939CA8A465DB780EE9209D0BFC5ED368DDFB0C7508A68DFBB1F53FDAB093545ABA58E60EA01089127E2D0 FP_2nres = 033602E7D3E3897506061C2FAC00F52D51D848567B97B98818431D19A5390BE73AFF6BE591A975512D9443CDCE5A FPmulmod = 1587A76590446794852490C3CA8F47143F9423E9C2DBD284D196827491445D8762B022D6727844CAE340181EC578C2D760A4AB23D0D88764C1 FPsmallmul = 5C41E966BFA92B0951B462277DBB44218ABCE7C9256818BD4F3947E8AE5C14B8B4778FC9240A55AB8EDC20 FPsqr = 33D021413896355123492AA03847E011826A282C8D81A98934B40BEA502A5D426338E7FA99FB0002D5FC32E20098B0FEECB82F30C8D645AD2D FPreduce = 0939CA8A465DB780EE9209D0BFC5ED368DDFB0C7508A68DFBB1F53FDAB093545ABA58E60EA01089127E2D0 FPneg = 55555955557955572AA00E0F95B488C935B5200082DA2EC4197B197367C6253507EC8B0F2BCD2D4DC7A91A8020257F03C849B5FEF8EED81FDB FPdiv2 = 049CE545232EDBC0774904E85FE2F69B46EFD863A845346FDD8FA9FED5849AA2D5D2C7307500844893F168 FPinv = 3BD286BD4E3C93411EEDF83223BEFEDDF79CCD8C46A7F6A0E95D53DB543DBE9044963DB7BCCFBB6CF6785AEB9D6BC92048BA5FE3C39BC01D58 FPexp = 26A5802933842F17D8B6192EA729BC7E6BB46F6AA9DF369660988D8F18A949B4765E46790E5DE73FE30E2CFE3081C2DD9E491E72E1700FD297 #test9 FP_1 = 18E94E474C16 FP_2 = 4A7ADD84D7EB1F2C62D7597F168168DAC521DBC9F5EF8110694402EE01B7AFD631159D2D9D9B9F3A25192E568CF89E9181993B FPadd = 4A7ADD84D7EB1F2C62D7597F168168DAC521DBC9F5EF8110694402EE01B7AFD631159D2D9D9B9F3A25192E568D1187DFC8E551 FPsub = 5555595555790ADC4D1B362476882F2BA6C04FDCD18058344781E349D3EC49D0B5C5D9E1E4D6B7577E7927EDB6310590285413204C3CC5B586 FP_1nres = 18E94E474C16 FP_2nres = 4A7ADD84D7EB1F2C62D7597F168168DAC521DBC9F5EF8110694402EE01B7AFD631159D2D9D9B9F3A25192E568CF89E9181993B FPmulmod = 073F655E3FDB59DF87E3AD4740EE95CB0909AF68EC8DC73108EC37B2DC3359EA790868C13B2829C28CC8BF56321A80067D238E472773FDAF12 FPsmallmul = F91D0EC8F8DC FPsqr = 026C934CF3FC2644B2D111E4 FPreduce = 18E94E474C16 FPneg = 55555955557955572AA00E0F95B49203003F665E3A5B1D56234BD93954FCB314B8B3DB9994ACE86D1BA6C589556B2AA956AA9FE71831B8B695 FPdiv2 = 0C74A723A60B FPinv = 2ADFB7D247E07C1BB172234FF999BD5B2325EE618345003DC08EFF0F14BE746F7AAC24264C8DCF800D6BF9A9A5D626697E8384736CD06C154E FPexp = 24ADA178A7F4A07D34CCD35848B8875E65F61553B5FB8270087F809C2758BCD2FDD260253EDB6DFD5F61604CCF70879F563AD9CC0491545988 #test10 FP_1 = 05C7B54E4E81B407A30B46582A6162C636CC7863464D86120E08 FP_2 = C2BA203AE25C643541558B4E2164CCE24CF5E31959180BD3E1C8E97C77070AEF973567FA638C37AB067E8EBFF773F8630BD2D3640838AADF03 FPadd = 180F6D903769B986EC156F2EF5FBA8DC4C77165CE461D1279B313709CD0DA4CBED82FF15BBE66E73DA775BD7AE0069472AF5F6AA52BEBCE7B5 FPsub = 3D45EBC51E0F9BD03E8A9EE09FB8E926B3C8500155F94C2E881AA22F87EF0E545A9B7920DC2E893F57BC1A066A304DCFC4A56FE249CD673706 FP_1nres = 05C7B54E4E81B407A30B46582A6162C636CC7863464D86120E08 FP_2nres = 180F6D903769B986EC156F2EF5FBA8DC4C77165CE461D1279B313709CD0DA4C625CDB0C73A3266D0CF3103AD4C9DA3105E7D93640538AAD9AD FPmulmod = 464E12BB188DFFFEF64C78E0088C73F3478B257FC1D542873C393563AB78FDBE5ECEF043CA4C3A0C45B8472088FEE6A38F70F8AAE26B1E2510 FPsmallmul = 39CD150F1111084C5E70BF71A7CDDBBE23FCB3E0BF073CB48C50 FPsqr = 2168E06F36F1A587EDB8E7B0B928A7A360E7B2902E06B1499D21FA252A88C06CF749019ED871414006D8AA26EFB8C659E4E040 FPreduce = 05C7B54E4E81B407A30B46582A6162C636CC7863464D86120E08 FPneg = 55555955557955572AA00E0F95B49203003F665E3A5B1D56234BD93954FCB30EF0FE8D4B12F8E0CA10606D5EF40864728A323CB9B3F9EDF4A3 FPdiv2 = 02E3DAA72740DA03D185A32C1530B1631B663C31A326C3090704 FPinv = 02B5EBC45FE1EB3D0905E1957CDF32B7EFA28B549E23A39CE146CDC09A79EABE784354EC52D1CC3208D3ECA0FBF54E1ABB43646E3E3C6D04E1 FPexp = 4DFC5A023F91ED5A153AF91827DE60846FF7FA6CF04985ED4681C76C70617118E8690E407F1757FFC9386D4D93CF931A0F4790B59012E9E1A5