blob: 647a1a34f6c9fa753ceec38345b41ca6adbb1b03 [file] [log] [blame]
# FP2 ARITHMETICS - CURVE: BLS461, Modulo = 0x15555545554d5a555a55d69414935fbd6f1e32d8bacca47b14848b42a8dffa5c1cc00f26aa91557f00400020000555554aaaaaac0000aaaaaaab, BIGmax = 2^383, Frobenius_constant = [0x12e40504b7f69e55e24dfefa84366190d073588e2fc61ebc2cb04770b31ace4858d45fa5a6510e07505bf8a1c6308a599c400f7117bf9b812a3a,0x27150409d56bbff7807d799905cfe2c9eaada4a8b0685bee7d443d1f5c52c13c3ebaf8104404777afe4077e39d4cafbae6a9b3ae8410f298071]
#test1
FP2_1 = [03FE29C0A5CE0A34B70ADA28F8DE2A09B601850CEB3E50FE8E35322F0FC0B3EE9A684261476A64A48EABEEB1C89DE82794E6443935F29718422D,0CD58DFDE852CD7240E5353719616BE962F38B9AA6EAD8A2EEE5034FEEE62A5D75EEA98BD08F4630D4CC7C47882462C1A392B9E48C3A58F4BB23]
FP2_2 = [0BDB7D7BAC5D7C5B3AFBA4FD2BFBD369D0DA0B3CF818195F2B49450669902780E0A084367D670932C188DB88D20BF567D0FC080825073EA746FA,0FCA7236CEFE85A6F869C72A1E61AA8707AB069C4D192F7C8E55CB7E1317F57434739AE6D014CF615696B7195CD3C54B61217D7E30E3A637DC9C]
FP2add = [0FD9A73C522B868FF2067F2624D9FD7386DB9049E3566A5DB97E77357950DB6F7B08C697C4D16DD75034CA3A9AA9DD8F65E24C415AF9D5BF8927,074AAAEF6203F8C3DEF925CD232FB6B2FB805F5E393763A468B6438B591E25758DA2354BF612C0132B233340E4F2D2B7BA098CB6BD1D5481ED14]
FP2neg = [11572B84AF7F5020A34AFC6B1BB535B3B91CADCBCF8E537C864F5913991F466D8257CCC56326F0DA7194116E37676D2DB5C46672CA0E1392687E,087FC7476CFA8CE31970A15CFB31F3D40C2AA73E13E1CBD8259F87F2B9F9CFFEA6D1659ADA020F4E2B7383D877E0F293A717F0C773C651B5EF88]
FP2sub = [0D78018A4EBDE82ED6650BBFE175B65D5445ACA8ADF2DC1A7770786B4F1086C9D687CD517494B0F0CD631348F69748150E94E6DD10EC031BA5DE,1260710C6EA1A220A2D144A10F93211FCA66B7D7149E4DA17513C31484AE2F455E3B1DCBAB0BCC4E7E75C54E2B55F2CB8D1BE7125B575D678932]
FP2conj = [03FE29C0A5CE0A34B70ADA28F8DE2A09B601850CEB3E50FE8E35322F0FC0B3EE9A684261476A64A48EABEEB1C89DE82794E6443935F29718422D,087FC7476CFA8CE31970A15CFB31F3D40C2AA73E13E1CBD8259F87F2B9F9CFFEA6D1659ADA020F4E2B7383D877E0F293A717F0C773C651B5EF88]
BIGsc = 05CA3015FA2AFEB700F6CE73037CABAF1B4CE3E54F1E36EB9B104C424C291AFD623A26E76AB8DF7E7503C438122144ED92F25C500F386B3EB24B
FP2pmul = [062BF43DCF3FF462E5E1E5D377D7B02A07FDF0E97DABB68148FC33DEC358E290954F8BD222789A3CBC6E25A89F1EFA25CC32FD3CA0144D3292AF,01232CFB876849D124942F410A72F1D73429D1C34AA15820BD30AF94E8F08A8A2A85953B6E7B38C488024A5A176E5F5B4E644710050AD5D08A2E]
FP2imul = [00,00]
FP2sqr = [0EFEDF7068858F41015D9FE18F43BE9EB4168CE3B0915D5E1F161220A22F75F1DF7EC307F67645FCD66A8A097E96112ABB2F6525FF0755721EA1,05CF06832C79E4C2626DBF5E5E31A5D4837279FC4E2499937D8C0DC85829652A0DE90A3918D0F208D5716C2FA57681413B1F27B32B95E493EBC4]
FP2mul = [0D79BE261572F6702AFAA6D05A2466E3C67A98B8F1255BFDDC64D40EC39193DDAF78CC463BCDE89D969FDF047512AD3805CEDC7BA868FC30CD3C,04701F0C36B5EA634755DE21C330F1DA7F03335DFE013D2DB1F700A044D06B631F2BD05BF18C6993AB4BD91947C3E3E47CA8AF1B24736A6F39DC]
FP2pow = [052ACEA1AC3ECC03392686DD8B142435A7C0320A8BF92BB768E4ED096D1865ED5735856890D50A1B585F0CC2B938AEA54EDC6459F53DB49C0AB2,09F624211624F8FE9E3B11A45C5EF3383EDCE7F8D5006C90CF7E08349A61ADDEFA3D9CA619D6E0B405F0DECC7BB255164EEC454B641E85EAFC3A]
FP2inv = [0D72913985E713632C1CE159C8843F490A59BCF8EAB6744B771A254A6442FFDE75C0AD4A6CAAEC17321539BBA1FF2E923AFC68854630626A48B0,06795BAE6D459EA0F5BF36D01A7C7FE170CB8F7FAED21D4D9B6AC935328F5D4AE0CF31F642D9C17E9E47EE61817B91BFF2B2E1CF234446760580]
FP2div2 = [0CA9BF82FD8DB24508B0585E86B8C4E3928FDBF2D3057ABCD15CDEB8DC5057255B9428C3F8FDDD11C775F768E4519EBE6FC877729AF9A0E1766C,111571A19ED013E3CD9D85E596FA65D36908DF39B0DBBE8F01B4C7494BE3125CC9575C593D904DD7EA863E33C414DC0B771EB248461D81CFB2E7]
FP2_mul_ip = [0C7DF10812C89717D07B7B85F4101DDDC22C2C4AFF201CD6B3D4BA21C9BA83ED4139A7FC216C73F2BA1F728A407EDABB3BFE3500A9B8E8CE31B5,10D3B7BE8E20D7A6F7F00F60123F95F318F510A7922929A17D1A357EFEA6DE4C1056EBED17F9AAD563786AF950C24AE93878FE1DC22CF00CFD50]
FP2_div_ip = [0869DBDF47106BD37BF807B0091FCAF98C7A8853C91494D0BE8D1ABF7F536F26082B75F68BFCD56AB1BC357CA86125749C3C7F0EE11678067EA8,046BB21EA142619EC4ED2D871041A0EFD6790346DDD643D23057E8906F92BB376DC33395449270C6231046CADFC33D4D07563AD5AB23E0EE3C7B]
#test2
FP2_1 = [08D4695E71015528D10047A8C946D5B4F62B6ADF74B2DFFCC6A686F37AC8DDC634CE57B0D56711DE2E8D85E4F9653C3995EA29FB615A3BCEAF8D,05F0EB1152E6210BEA2C27877DD9C9BBF30F4D21EA480B91F3F9C90084F40DC504A4B90CA028C339B5AE0B80F455176472CA37742C120BEBE665]
FP2_2 = [03DE691BC30B622BAC2E76CAF55B3DBAEB5614AC6985A7EF6AD3CE1C5B50A9152A62122DF5346F0FAC2A90C846E433B919CCFCCC4201FAB1D7A1,11D43DCEF7952D31F47637A9C2F8501A9DD8591B6661F768216E44460B727314C323463DC5D3D863FE40009688D0B44DEA00F131ADB11804503A]
FP2add = [0CB2D27A340CB7547D2EBE73BEA2136FE1817F8BDE3887EC317A550FD61986DB5F3069DECA9B80EDDAB816AD40496FF2AFB726C7A35C3680872E,026FD39AF52DF3E8844C889D2C3EBA1921C9736495DD5E7F00E38203E786867DAB07F023BB6B461EB3AE0BF77D20765D12207DF9D9C279458BF4]
FP2neg = [0C80EBE6E44C052C89558EEB4B4C8A0878F2C7F94619C47E4DDE044F2E171C95E7F1B775D52A43A0D1B27A3B06A0191BB4C080B09EA66EDBFB1E,0F646A34026739497029AF0C96B996017C0EE5B6D08498E9208AC24223EBEC97181B561A0A6892454A91F49F0BB03DF0D7E07337D3EE9EBEC446]
FP2sub = [04F60042ADF5F2FD24D1D0DDD3EB97FA0AD556330B2D380D5BD2B8D71F7834B10A6C4582E032A2CE8262F51CB28108807C1D2D2F1F58411CD7EC,09720287B09E4E2F500BC671CF74D95EC45526DF3EB2B8A4E7100FFD2261950C5E4181F584E64054B7AE0B0A6B89B86BD373F0EE7E619E9240D6]
FP2conj = [08D4695E71015528D10047A8C946D5B4F62B6ADF74B2DFFCC6A686F37AC8DDC634CE57B0D56711DE2E8D85E4F9653C3995EA29FB615A3BCEAF8D,0F646A34026739497029AF0C96B996017C0EE5B6D08498E9208AC24223EBEC97181B561A0A6892454A91F49F0BB03DF0D7E07337D3EE9EBEC446]
BIGsc = 06E361B42878B2A219A562AF6E9688A286C164B1B37157C7D75160EA8E02A9BC8618BDAC3A4EFE80F638C982C9272A6F80FC9C8DBD64B25A677C
FP2pmul = [15021E151FA271A9BA81551EDE35835D8BABE8C534E76A63290CCA48C6D15F5381188760AE1B3759EE5A2E0AC50E39A3D9A2F2973502D2C5CACB,14A529A2F8640DFAD8F0A9AAC20D60D861426173F4BF5F38565FDB8AB7161E986C14BAD411C8B73A4600BD1A9846A04E99841F1C2DB4653FDA0A]
FP2imul = [08D4695E71015528D10047A8C946D5B4F62B6ADF74B2DFFCC6A686F37AC8DDC634CE57B0D56711DE2E8D85E4F9653C3995EA29FB615A3BCEAF8D,05F0EB1152E6210BEA2C27877DD9C9BBF30F4D21EA480B91F3F9C90084F40DC504A4B90CA028C339B5AE0B80F455176472CA37742C120BEBE665]
FP2sqr = [0E1FF132E90C8A54DE5010B359E594C87F76B3A1B2A889087DFF89884F6A761F55E8F5C2395013BCE9FE4A4B9A0F9AC5CCF8B5EB28B306F458EC,077E5A075BD985A0A674D941DDD5BE1E452F2F33D30F57EBED79FB6039B1AB7B6DB546326F19EA313B3C241E843FD7A299759DFD9D9507930F62]
FP2mul = [0E0EE63F366A174FC2961227906FCDD3F499DCECF555A4B283203147F7A830603AA60DD9326AF902A8FC76028D6F1BC7DD9D230A4FD0572D32A7,1017721A0D5E5CD54D7BFC4068BA96169DBCD5521964FC2FA39D94828619E080C6089E2A36089B34020918EAE944D1F3EA2097204AA20FD6BA0F]
FP2pow = [12264EAE012D55399BFB89CCAE6430124CA7B7DC33F015C54349267AF991D3975C897AA11C52732C2FB37F2A4EDD73DE4598ADB5BC6E53B460F2,04DE5DFA253068AF05CAE08CC472E939D67D6603DD403F70250E38C6DF418B723BCF2BCD8DA78B076AA893C62A46B2B6E41D2B17D33141DC236E]
FP2inv = [0D83C942D5E707195D7930CB3D00FAE98DFC4469035CC00FB6D3D7F6A80DCB4A848F93EA0476DEA1E88572C62127B35CCBC13BF631194D5AEEA8,B73EC8DD9FB3BE61B61BA85649ADA1C2F924ABC31500D1FD2079E1DBE49E2CF0D14EEBB30454C2049F8E7F82A968E0C4EB7372A886E07ED672]
FP2div2 = [0F14DF51E32757BF15AB0F1E6EED1AB932A4CEDC17BFC23BED95891B11D46C1128C7336BBFFC33AE9766C3027CB548C7704A6A53B0AD733CAD1C,0DA3202B5419BDB0A240FF0DC93694BCB116BFFD528A5806843F2A2196EA041090B26419A55D0C5C5AF705D07A2D365CDEBA711016095B4B4888]
FP2_mul_ip = [02E37E4D1E1B341CE6D420214B6D0BF9031C1DBD8A6AD46AD2ACBDF2F5D4D00130299EA4353E4EA478DF7A64051024D5231FF28735482FE2C928,0EC5546FC3E77634BB2C6F3047209F70E93AB8015EFAEB8EBAA04FF3FFBCEB8B397310BD758FD517E43B9165EDBA539E08B4616F8D6C47BA95F2]
FP2_div_ip = [0762AA37E1F3BB1A5D96379823904FB8749D5C00AF7D75C75D5027F9FFDE75C59CB9885EBAC7EA8BF21DC8B2F6DD29CF045A30B7C6B623DD4AF9,13E3961EC63FC046E6EBC6836EDCD9C0ED9023F9F5973A45AB2E2C492DF5925B84AB3FD48FF22E2CC3D042EDFD7D42EAB91AB168655C92B94617]
#test3
FP2_1 = [0A8CEBFD08FB0002DA6E92F11438830559CC53411515C6BA503EAC15A9DD182B0A96EED2CC1BAE902DE92C03A482C8CC1D0DA7EE85FB212EFA44,09B9C9C3E3C346D521F1E50F7F39AD8F27210B8C1886F85D712FD22E2A05A6D9B9D1FF35955B869EC591CCFF2D537E0BDCFE13A6CBD4F97B922F]
FP2_2 = [0579954BF0C7097865DAC0E8629870FCBCCE9D5BEBC17D296657A2B7146F33B6BDC29F14A0F1EA6D44C496D7839D21C67C7335BC3302E16D3618,03D5E9DE96166275A6CEC8AF16491380F83F42F64A530ED48DCE5A893F531EF976ED05E3367C26B9B9782DB15233AEC1348791EB8D028842F215]
FP2add = [10068148F9C2097B404953D976D0F402169AF09D00D743E3B6964ECCBE4C4BE1C8598DE76D0D98FD72ADC2DB281FEA929980DDAAB8FE029C305C,0D8FB3A279D9A94AC8C0ADBE9582C1101F604E8262DA0731FEFE2CB76958C5D330BF0518CBD7AD587F09FAB07F872CCD1185A59258D781BE8444]
FP2neg = [0AC869484C525A527FE743A3005ADCB81551DF97A5B6DDC0C445DF2CFF02E23112292053DE75A6EED256D41C5B828C892D9D02BD7A05897BB067,0B9B8B81718A13803863F1849559B22E47FD274CA245AC1DA354B9147EDA538262EE0FF11535CEE03AAE3320D2B1D7496DAC9705342BB12F187C]
FP2sub = [051356B11833F68A7493D208B1A012089CFDB5E529544990E9E7095E956DE4744CD44FBE2B29C422E924952C20E5A705A09A723252F83FC1C42C,05E3DFE54DACE45F7B231C6068F09A0E2EE1C895CE33E988E36177A4EAB287E042E4F9525EDF5FE50C199F4DDB1FCF4AA87681BB3ED27138A01A]
FP2conj = [0A8CEBFD08FB0002DA6E92F11438830559CC53411515C6BA503EAC15A9DD182B0A96EED2CC1BAE902DE92C03A482C8CC1D0DA7EE85FB212EFA44,0B9B8B81718A13803863F1849559B22E47FD274CA245AC1DA354B9147EDA538262EE0FF11535CEE03AAE3320D2B1D7496DAC9705342BB12F187C]
BIGsc = 0F28B8F3112DFED55FBCE07FCD32F8A0A4B31B7D4239587E43981F0BF9F8E82A04F24D8298C29BC1E66B5D22607806DE7AFD0ACEC44BB368194A
FP2pmul = [0E92A650C18AA1CC8EA16E480D1309A51B5F86C5A2FB2048BA4EB8F1A2452501B584F3B667BCA486D3C6F481CC4B98940289E5F3C52919CFCCA4,04121E110027F4A6B9E10D59021ED23472EB8EA9EB042BF9CF13553288E23328B57848F229FE3A39F1C67F647DF10624FF0F74738A6DC20F9B6B]
FP2imul = [1519D7FA11F60005B4DD25E22871060AB398A6822A2B8D74A07D582B53BA3056152DDDA598375D205BD25807490591983A1B4FDD0BF6425DF488,13739387C7868DAA43E3CA1EFE735B1E4E421718310DF0BAE25FA45C540B4DB373A3FE6B2AB70D3D8B2399FE5AA6FC17B9FC274D97A9F2F7245E]
FP2sqr = [08F2ED641C15BEA05FCEB7E6251DA0C0D5424BA5539C440904BEFCACAD06124BA1C464EEB3CDD915CB721B3D2149FACCC8CD79CC581DF4CCF506,022977DD66BA75D0F027152B255152B7A2BB5999702337AD2FAE810E2C2DE921CA2338B1B2527F44C093761F8536A67B4228B25922514BD317EF]
FP2mul = [094CDB6E869C892323949FA40A11CE4A0750F002674E5E0379B4FC08C32963AE40D5FF20A2FE59AE16FA9509A7E8BBBF834D8DDF8BBD678A993A,0DDE76E5996A1733C7DD0ABE3B6CBA7E245831152F9F4BA7514B297813DF43443A52741C528A7A2EF0C65B33930EF68560623C25CF79F65CF9F9]
FP2pow = [560DCA61C4997465350E6D2E26F513BB74339870E6F142B786E5ACDE4B76A235E57476C0F55B019BFC386ADB4F5DC46626F11733021FE2E338,0B1BAF63B91BCB2C08490258359842FF8DB28628C54758241B93E9F66B74471707827DEE8BACE75632D6F2B960737E8F9EE70294577CCA8A476D]
FP2inv = [12D743AE6CCF2E760DA5E9ECFF8B4B574FF6553B2A6F16E392B9473BE3BAC9B8DF1CFEFB6E4CE719673B1D69720468F98D178C7B5AEA898AED71,010CF97E1B9353B5EBC78BD09721B80053B810260334682AF0347AB4D4ADB05BC5F60217E9681F08295AB5A31EB463E8827C90E9288D1DA53E8E]
FP2div2 = [054675FE847D80016D3749788A1C4182ACE629A08A8AE35D281F560AD4EE8C15854B7769660DD74816F49601D24164660E86D3F742FD90977D22,0F878F849C8850953E23DDD1C9E686A64B1F9F3269A9CE6C42DA2EB86972D09AEB49072E1FF66E0EE2E8E68F96AC69B093D45F2965EAD2131E6D]
FP2_mul_ip = [D322392537B92DB87CADE194FED57632AB47B4FC8ECE5CDF0ED9E77FD7715150C4EF9D36C027F168575F04772F4AC0400F9447BA2627B36815,1446B5C0ECBE46D7FC6078009372309480ED5ECD2D9CBF17C16E7E43D3E2BF04C468EE086177352EF37AF902D1D646D7FA0BBB9551D01AAA8C73]
FP2_div_ip = [14CE05832105D096AB5B274A5402C828F805C8D2F434B1C96AF984C33E615CB070947E9786044556F9DD7C9168EDCE16A25B3320A8E862AA9B8F,0A411986180AD093D0EC94593FCA45239E397591DF1EEB0F1ABAD8AD9484448565FD8FC4B9E896C6CBF4508DC46B054A854D8B3222ED417BA14B]
#test4
FP2_1 = [09BE2D7F7ADD82C18F644B8CA3C95AB5215C1C1AA1963864AA2BD67DC88FDCA33C6E2641FB8F8AB7E0514E09B8A5167C33D4F95D4AF204DE78AB,077773AE54B77F097F7DBCE24963892B65B99FC1C0B8EEF6CEFF82A0761C3582C383CA9573482F7E8D65F1D6E6C5D4A6F1AD320F4A3B472EB862]
FP2_2 = [02290D8A899AE8B11644CC90E0884FC939A533C4E640C730C8D1264AE1FF630857B87144571BFB41B225089E1CD772E3087FED0ACE98C3169CF1,0EA2784A1B7EEDC470F6BCF27F6E65496A71C13DF6F80E727BA8A9B027A3D4F0F33D138E894225DAE0527094CB05A5640108D028A99373022505]
FP2add = [0BE73B0A04786B72A5A9181D8451AA7E5B014FDF87D6FF9572FCFCC8AA8F3FAB9426978652AB85F9927656A7D57C895F3C54E668198AC7F5159C,C496B31AE91278961EA340B43E8EB7610D2E26FCE458EE3623A10DF4E010179A00CEFD51F8FFDA6D78624BB1C624B5A80B578BF3CE0F8632BC]
FP2neg = [0B9727C5DA6FD793CAF18B0770CA05084DC216BE19366C166A58B4C4E0501DB8E051E8E4AF01CAC71FEEB21647603ED916D5B14EB50EA5CC3200,0DDDE1970095DB4BDAD819B1CB2FD69209649316FA13B584458508A232C3C4D9593C44913749260072DA0E49193F80AE58FD789CB5C5637BF249]
FP2sub = [07951FF4F1429A10791F7EFBC3410AEBE7B6E855BB557133E15AB032E690799AE4B5B4FDA4738F762E2C456B9BCDA3992B550C527C5941C7DBBA,0E2A50A98E85EB9A68DCD683DE88839F6A66115C848D84FF67DB6432F7585AEDED06C62D94975F22AD5381621BC584983B4F0C92A0A87ED73E08]
FP2conj = [09BE2D7F7ADD82C18F644B8CA3C95AB5215C1C1AA1963864AA2BD67DC88FDCA33C6E2641FB8F8AB7E0514E09B8A5167C33D4F95D4AF204DE78AB,0DDDE1970095DB4BDAD819B1CB2FD69209649316FA13B584458508A232C3C4D9593C44913749260072DA0E49193F80AE58FD789CB5C5637BF249]
BIGsc = 0B6BA74EB542736EA11F4967BF22DBA54C1067F112E749A418A9BB2936B7E095467BEB2450B7D1A0B5E39C632FFD198E8ACE1020270C3CDDDB95
FP2pmul = [0D2DC98D5FF2BB2E4F7D59B458C882A75F841ADF2CF6BBF27F23813536A5E302DAA64644F52ED7954DCF503727230F0178ADE2DBA76A2F382643,152A998E44DB6A5822D25976485F6B45393FF6C214E3EFF024483DADCA5D6F164953B9F9CB051E6F9362A40222C690C335F38AD3AEDDF4B324B0]
FP2imul = [07E533391B4B2DEF53D70C11D6C8B061F4F6217729F604B2E9FEF836B0CF9B8D988A639F481D4AA8A0B3E9FD29E9EE1F50D4416BE0D563F0BF56,011105C5A8D922C724236012C7973BC4C20EAC6C875E28695879FC9EB974A62C2DCB5099AF4738FCA7F1D564B44C289F8A5CEB81DEB12AE17E7B]
FP2sqr = [0D7200980099747B3586F330B7686B4007B4CFCFD04BE42CE4406A19656EFE8C5CD01E0197628D6E1CFEB9B51E9C4EC47DCF4DFDD7BC0A92B447,11D8AF67B24DC67166250FEC1623AEF44D0A5EEA94679B0F1CED230C02E1F270D55387E4183B14B81AF9E61AFCB66590E73C49F20AEFDE381251]
FP2mul = [1489DA9BD381CCD2B8D5917590F39E1854383AA5AD2867EFB58740E53EFAF3E8954DC1CDC86A23570EB40F5D04F07DEEA2F9D722360DACD37F27,151022825808F15DB8EAF87B8EEFBA317AFF41FD327156185078A706FF12AC827481595F0A3BC8A0453B9F516846961F4E5140652AB1FCF5EE9F]
FP2pow = [028D30941A5CB1A7F13F7CDED7B73B962189A9EE537ECF9FB3983B01EB3BA5D7F0C0E8411537ABFB9B488CFE45E45A32DD67BA08EC8D67401028,0FE388A7255F519AB35B90F956AA4DFE82067ABB1D649D268F479E28D340EA0D156B65A5612C7CECAC7A6952565770F4CDE78FEADEF1CE47AC16]
FP2inv = [02CCCC8ED89695CE98733EA5B84F0ED8EA3D327F9F9EBA1617A3EB6054443951ECEA38B554243C9AFB4F85BD8A688741929B28B06C7C6528E1C9,091BCA3D97B280054E4926446CBF162C8E499FD72ADD008CE9EC09B7B244DD6FF616F5CADD547B951A5BFD62CC143B86F4C1C3E77D338C1BE82D]
FP2div2 = [0F89C16268156E8B74DD11105C2E5D39483D2779AE316E6FDF5830E038B7EB7FAC971AB45310701B7048A714DC5535E8BF3FD204A57957C491AB,03BBB9D72A5BBF84BFBEDE7124B1C495B2DCCFE0E05C777B677FC1503B0E1AC161C1E54AB9A417BF46B2F8EB7362EA5378D69907A51DA3975C31]
FP2_mul_ip = [0246B9D1262603B80FE68EAA5A65D189BBA27C58E0DD496DDB2C53DD5273A72078EA5BAC88475B3952EB5C32D1DF41D54227C74E00B6BDAFC049,1135A12DCF9501CB0EE2086EED2CE3E08715BBDC624F275B792B591E3EAC1225FFF1F0D76ED7BA366DB73FE09F6AEB2325822B6C952D4C0D310D]
FP2_div_ip = [13457B3992712E10349BEF8180E021CEFB19F75A8E8DE5EB46D7F23073C606410E58FFFF0CB487DAB6FBA0004FB8203C38166B0C4A96FB5BEDDC,09874DBA1793AB4EA537A3F4DD16C719D9BDDB3FECF7AD869CAC1BB2AB36299DD1EAD9BD1124FD22D6AA51F6971309C0044171AEFFA4F67D7531]
#test5
FP2_1 = [0DC6F38ECE3738D42EF03796C1792002073A892B3B9EF76858BB24D3C9F342DE127678065F2625BADF88BB10368E9ACEBC276E26702469DF6330,0F9CE9B519F9B92796489F976D654C6E94F3D571FEA20FC5DF5BE79144424AFF9FF5FFAC4321F15A1598313568DEB7B3A1987BEEEA85DFEE7C88]
FP2_2 = [12E8B03B098ABC0EA082B8A746A1AC23B7465A50A3E38B224EF9288152B3DD7A79304B95A31FA1C31CF32226727A2F30DDA0EB09F9B1430D8AC2,0396E776A4A6BD7B21DA24CA52972901B19679A8CF034B6296D6A3DB4F287AC3A6C384084672AC90F581A9A325FB096B88C433E7AEC4F94326AE]
FP2add = [0B5A4E8482749A8D751D19A9F3876C684F62B0A324B5DE0F932FC21273C725FC6EE6B47557B471FEFC3BDD16A90374AA4F1DAE8469D502424347,1333D12BBEA076A2B822C461BFFC7570468A4F1ACDA55B2876328B6C936AC5C346B983B489949DEB0B19DAD88ED9C11F2A5CAFD6994AD931A336]
FP2neg = [078E61B6871621812B659EFD531A3FBB67E3A9AD7F2DAD12BBC9666EDEECB77E0A4997204B6B2FC420B7450FC976BA868E833C858FDC40CB477B,05B86B903B53A12DC40D36FCA72E134EDA2A5D66BC2A94B53528A3B1649DAF5C7CCA0F7A676F6424EAA7CEEA97269DA1A9122EBD157ACABC2E23]
FP2sub = [1033989919F9D71AE8C355838F6AD39BBF1261B3528810C11E468795201F5FBFB6063B976697D976C2D59909C419C0F329312DC87673D17C8319,0C06023E7552FBAC746E7ACD1ACE236CE35D5BC92F9EC463488543B5F519D03BF9327BA3FCAF44C92016879242E3AE4818D448073BC0E6AB55DA]
FP2conj = [0DC6F38ECE3738D42EF03796C1792002073A892B3B9EF76858BB24D3C9F342DE127678065F2625BADF88BB10368E9ACEBC276E26702469DF6330,05B86B903B53A12DC40D36FCA72E134EDA2A5D66BC2A94B53528A3B1649DAF5C7CCA0F7A676F6424EAA7CEEA97269DA1A9122EBD157ACABC2E23]
BIGsc = 0D1E29B3650A7E7966B568299D8319F301A7825B4F1282FD26BBD07F7D381CDAF92F5A1CA83F818F393B9FFCFBF43286A2D82AB8B45D9C46E7D2
FP2pmul = [13BBE72B243DF07C84A915F9BBEEDE76F060B129CA4329FB17386DC523375F740FCADC0AC66A1F66FA4A498999FD8AD4720F27D1364CEAE34B94,06D8C4ABB87594CA2C40B0721B8753080BC5BF318199535021FE03FA5A2D28F374BACF09131ABB9BC0D54B882400F76D0801453B2EA21217B291]
FP2imul = [0C7123B08E422EA607153132DCBDC08D3EADBEFB78E294AB39E37CC9D60D16C01059C1CC2775EBED7DA2EC00DA2FC0905B486341C0905228376A,13C8FC49BD4C2FF3A476D1358C6E723F7592F01684EEF621546687BFBF4937464657E063B7651A6A55E0C495A3703423F10C9A63AA162A649CCA]
FP2sqr = [0549028051602027396C9BF5CF1DAF50CD75F0F4CE17D1176CF60705B72779908E18F6DED8B2FA9CBE8DC0012D1F7143AD1BBF02F3A75A6B39E5,10178D443519D8402104072CB245C9A279239F0A5C30F96E1868647896717060B5D8145519298EC95E510DA8DC21327436D4C71FB2CBCE033EC8]
FP2mul = [0B2ED542EC98280CF39F34A123FDF68D44B6E4A9164FCF5EB3F2A9F3B7BD76689FB94A335B5370C7901DA43550EB5E61E1140AE7CD7D92BDF480,0BF488730EB1FB38A836D33DDFEFBA3E0C888FC8FB12EE07B08A09B3CB85FFBA29D62B14816750E3B9DB670FB25E14C5B2DA8B04C1B8D83BAB93]
FP2pow = [0DFCD79BBDCD00DD7A0CB29E906CA04D5B579FCF9744784206D47BB5BB59FFDD1A94F060C110BFD0A28BCEC1D814A369ED5757AF3C8AAE01DF03,0188F2C3080B5CA7A5934B1B72DC999E1700F8DB6932D42E73CB6032E0A2821A7D63F7C7EA8AE85D93A268228F7D59072202DBB7DAD1F71165D7]
FP2inv = [0C25180AB3DD54573D53F1C68888E6059BA2EE0F069C84B175B0D01430BC673765ADF94747DB05F3A4B3E82F2238EE6BF8516A2EDC0B3FF81847,0588C24C84172204642FA99D6EE14316E19E4A8DDF8CC8A90E222CEAAF355629B93314344FD3C466888CA6876F79134404FDFEBC9FB6016AF686]
FP2div2 = [06E379C7671B9C6A17781BCB60BC9001039D44959DCF7BB42C5D9269E4F9A16F093B3C032F9312DD6FC45D881B474D675E13B713381234EFB198,07CE74DA8CFCDC93CB244FCBB6B2A6374A79EAB8FF5107E2EFADF3C8A221257FCFFAFFD62190F8AD0ACC189AB46F5BD9D0CC3DF77542EFF73E44]
FP2_mul_ip = [137F5F1F098ADA01F2FD6E9368A73350E164E691F7C98C1D8DE3C8852E90F23A8F408780C69589DFCA3089FACDB5387065399CE3859F349B9153,080E87FE92E397A66AE3009A1A4B0CB32D102BC47F7462B3239281226555938195AC688BF7B6C195F4E0EC259F67FD2D13153F695AA99F23350D]
FP2_div_ip = [0EB1EEA1F41878FDE29C6B97176F36384E172F4E9D2083971C0B8632871AC6EED9363BD951240B8A7A907622CFB6A9412EDFF50AAD5524E6EFDC,EAFB1325E14029B3AC340055F6163646DCA62361818C2EC350615EBD278410C6BFC3D2F1FDE5CF9B07BB1299280E7272B886E43D30BB078CAC]
#test6
FP2_1 = [137F8FAE7A801D3715721F1AEA60907B35A9B91FF79C9E2A5832B172D8AE31D219BB79B8E070D14798F031250DD5A1278879C0BDDFFB72F6CEAE,0E9933BD0C1582D7F3C08B9D55F764EC93323240E1781A268A4B1BBCF3B4B756848981D9CDA9BFD66F54E0A76B193C788CBA2F9273434F7CCFA8]
FP2_2 = [0E126DE2880A7B685D4825B75389ADCA4FC310982448E43F65A3F2630C1357EEEAE5DFC65802BC23B0D3A75AB8641B614205FF56AF55DFE36654,06F947FC01AD2F9EF7DA0FC87EE0CC1AC2B7FE732B0E7167EF48647DF8184E43A1FE7FE656DF2F9924F19D12A6EF7498EBBB83DFE811B3658FE4]
FP2add = [0C3CA84BAD3D3E4A18646E3E2956DE88164E96DF6118DDEEA95218933BE18F64E7E14A588DE237EC4983D85FC63467337FD515688F50A82F8A57,3D2673B87558219144C4D1C044D149E6CBFDDB51B9E713650EF4F842ED0B3E09C7F29979F799F094067D9A12035BBC2DCB08C65B545837B4E1]
FP2neg = [01D5C596DACD3D1E44E3B7792A32CF42397479B8C3300650BC51D9CFD031C88A0304956DCA208437674FCEFAF22FB42DC230E9EE200537B3DBFD,06BC21884937D77D66954AF6BE9BFAD0DBEC0097D9548A548A396F85B52B430598368D4CDCE795A890EB1F7894EC18DCBDF07B198CBD5B2DDB03]
FP2sub = [056D21CBF275A1CEB829F96396D6E2B0E5E6A887D353B9EAF28EBF0FCC9AD9E32ED599F2886E1523E81C89CA557185C64673C16730A59313685A,079FEBC10A685338FBE67BD4D71698D1D07A33CDB669A8BE9B02B73EFB9C6912E28B01F376CA903D4A634394C429C7DFA0FEABB28B319C173FC4]
FP2conj = [137F8FAE7A801D3715721F1AEA60907B35A9B91FF79C9E2A5832B172D8AE31D219BB79B8E070D14798F031250DD5A1278879C0BDDFFB72F6CEAE,06BC21884937D77D66954AF6BE9BFAD0DBEC0097D9548A548A396F85B52B430598368D4CDCE795A890EB1F7894EC18DCBDF07B198CBD5B2DDB03]
BIGsc = 088376BB2E40C032CFBF15FEDD1E1FFC5C950761911D908ED458881E2C9040BD2AC9A03958B3F4C2D930DA4634F48FD21A7C55AA96D06F110D54
FP2pmul = [0E67D4D5C333F8F6DE0EE198B6BEB066866180796BDB0C963B14546478860B664E21A204BFA9C6BE980577AF73069DEE13DFC7BD7501F87EFEF9,14F82F15CD7E94032C0DEE7B899B4D06FCA038A360D630788F843B3453CFB1A7728B6B091E6168184D7455E68380DE28620B3D6ACC017D9A645F]
FP2imul = [0C2879530F4B28BE01E34136419553724FD7D23CEADC84E766EB4A3397E70FAA0DA92401B7EEC069FBB0F5394516D0707FB619055FE694275EBA,08FE02E13C837F37B3C13656701AD96692A062BA36F2954F75E9E8E8C7E7A59C406F5BCD049CBEB32BE862E5176E2E5ADFA2EDD8404E8D700E47]
FP2sqr = [66CFCF91C9C0143251B68D1DF5DDD13374E9E943A2FCA08164893A745041A38B4AF37D1BCDE474A45ED9A9CD5A100ED94B29600A59D7D9E7E8,077FC202F2ADFC56134D304622D6756ADE30CF131432D8F4C1179B1CA5780B618CC949AC333158FBAD4F4D9D8433DCFA54D9947746BD29743CA7]
FP2mul = [0D10291132009F059FD1AADC64ECE552D3282A723712FDE0573208E788F022F3933EB942D1CFB940B585AA58E17B07B1B616013DE848608ACE4E,154227261B84D8737438F67488A2427DE3ECE2317740777E44E6A3126DB6B7118C477332AD0BCB737E3AA0395BA5A46A6FC47243C39368BC976B]
FP2pow = [0611AC71449449BE34A259272EF4CED80B632E3259F50FF950FE19789D26AF3ED33CDD4C545FBEAB858C28BA89CCDE1740885C1DA2D01921DCBC,86884A6D7FE4547D67ABDF374BDA91675C66EECB8FECC6ABAB154697B34FEB85B0FE4049FC913D44049C4CA56CA53CE9BB84EBC6D0D3A70D6E]
FP2inv = [0D671A227ED2D4535395137A536CEE49A233D72F6C51EF43F50ABB5B6DE1F819DE28E7FF7BBA6DC92134E191D6D1306C458E8E14FE29B178CCA9,07E37528B7FACD07355B7DEF24F9CC6413836ECAFDE4A3C3AF00605D430F64D78DEFE40A019510E8378F4492BAFC74BE3F53C5EC3CB6D6C2DC7A]
FP2div2 = [09BFC7D73D400E9B8AB90F8D7530483D9AD4DC8FFBCE4F152C1958B96C5718E90CDDBCDC703868A3CC78189286EAD093C43CE05EEFFDB97B6757,074C99DE860AC16BF9E045CEAAFBB2764999192070BC0D1345258DDE79DA5BAB4244C0ECE6D4DFEB37AA7053B58C9E3C465D17C939A1A7BE67D4]
FP2_mul_ip = [04E65BF16E6A9A5F21B1937D94692B8EA27786DF16248403CDE795B5E4F97A7B9531F7DF12C71171299B507DA2BC64AEFBBF912B6CB82379FF06,0CC36E26314845B9AEDCD4242BC495AA59BDB8881E4813D5CDF941ED2382EECC8184EC6C03893B9F080511AC78E9884ACA8945A4533E17C8F3AB]
FP2_div_ip = [110C61B5C34AD0078499555C202BFAB3E46DF5B06C8A5C28713EE697E63174944F227DC9570D488F042288E63C776ED00A99F828299F6139CF2B,12E2274C9E180D25C97D0CD54A5EC9F61DE26F692FBA62792D90C067B6633D1E52271337212DCCC66B7257E12EA722FDCCCAE21649A498EDAB28]
#test7
FP2_1 = [091546BB1AF7678D63214CACE5C8313629EDE3EA46252F6E5BCF3E9424E10E1B58718BB9382917D3FFEACC41DD60E308D46365AFC3A02C8F829C,14BB05A79BFBF2234A02F5BF240CFF2B3E477BA7360ED5927C87EBD4399F4A73D9E35330BE76B4FF3141999A0CA16B84596774520DC547D35A77]
FP2_2 = [0802F6ACF47C5F8350087A0328155AF982856599618E025D91F6D6C2D82A6238A442423829C197D6C274A37E819CADC886C888C8D1D72F98FB09,0D276C83AD1BBADC75261669E1E35248F2983DF5214F5F3472FD61BFF4672CD5EA6D15859DB446E998F93363166B7735DC5D7652907ABCEBF42D]
FP2add = [11183D680F73C710B329C6B00DDD8C2FAC734983A7B331CBEDC61556FD0B7053FCB3CDF161EAAFAAC25F6FC05EFD90D15B2BEE7895775C287DA5,0C8D1CE5F3CA52AA64D33594F15CF1B6C1C186C39C91904BDB00C25185267CEDA790598FB199A669C9FACCDD23078D64EB1A3FF89E3F5A14A3F9]
FP2neg = [0C400E8A3A55F2C7F73489E72ECB2E8745304EEE74A7750CB8B54CAE83FEEC40C44E836D72683DAB005533DE22A4724C764744FC3C607E1B280F,9A4F9DB95168321052E0D4F086609230D6B73184BDCEE897FC9F6E6F40AFE842DCBBF5EC1AA07FCEFE6685F363E9D0F1433659F23B62D75034]
FP2sub = [0112500E267B080A1318D2A9BDB2D63CA7687E50E4972D10C9D867D14CB6ABE2B42F49810E677FFD3D7628C35BC435404D9ADCE6F1C8FCF68793,07939923EEE03746D4DCDF554229ACE24BAF3DB214BF765E098A8A1445381D9DEF763DAB20C26E1598486636F635F44E7D09FDFF7D4A8AE7664A]
FP2conj = [091546BB1AF7678D63214CACE5C8313629EDE3EA46252F6E5BCF3E9424E10E1B58718BB9382917D3FFEACC41DD60E308D46365AFC3A02C8F829C,9A4F9DB95168321052E0D4F086609230D6B73184BDCEE897FC9F6E6F40AFE842DCBBF5EC1AA07FCEFE6685F363E9D0F1433659F23B62D75034]
BIGsc = 1340973032A0D627033E320928A3A8C899B0DF3F8E0016154A10699B6B795BE6E4BC42C3A528CD15E456D1D0A40EDC0ABFF6E0239188A50FD782
FP2pmul = [0E447A21BE22E0566D019F1914FC6D74E487914F5EFB99C85133B8BAB8773A67B75CF35453499BAC41F3B03EAFAF96C7F339E1EF1CCAD591F121,0D713D2DBD84852CAF908B4FFF02AE6ABF761797F4B153F17B3EA571ED1085F88A9E567CE0252E3DE346E40DC09FD1DC54CE6C5EB63976FCD722]
FP2imul = [0BD4FDD7F731B8A59E1C1EE5398A67CA1D56F1CC2F45D39FFDD260F38B865FEBD9292809FBD3E3F9FF00C94B303AA78A64FF0CC695BFB607BA52,11B77792FD64E928F8649196716D1C504A15E7AF9E59CB078498CEAC0D5BDAEA8B93A76321F19280264998FC4BADDA6FA3176490529C599EC973]
FP2sqr = [0A0D971B61F0E74187B520900BB5F1287CA46A943B95F3078B1761E11AB267B7F12C360A7F88658555A4BB15AFA245E6C731DD68A5DE1C7A89EE,FC67BB57B79A2E879773102491996B050F94F19D51DD1BA821E6BC6EC7D34367A1854AA04B6BC0D47578D69E355E1C5F112622DC5E79E3FCAC]
FP2mul = [1075721881199847A1D85043D101959F05D024BCEAE5568A9C8E00E88AC1ABEF30D98AF9C9E571701EFC966939BBD315CD878A80B3613EBD2CF5,11B430711426170265C5F2804A9755FC0ED4BC60BB659C38919A276E941E8EC5CEA53B4212F6653EB348E6C3BA43441CBA5C5AA0B7EDC515BC64]
FP2pow = [0A78D5D9B6BF8527F778FBEBB95AD40B487359954A855F20438092D2894BABD4F092054C4FEAA60F365B079C3BD429404214BF1D03F6C2271A12,04A1C5DD2045ECD6DDDEC138F4329B97B0E1DD63FD55926BFCB4A41114C37F3D8D69E50911143E36B5D920E2914CA9D877F5683EDCA948720548]
FP2inv = [0A882816A94ECF11B06636F972717E1009EBE9ECE8B66AE61E618D3D74277BC8E60D163AB57BF96BB0E41AF47F105E8BC843D6AC3997E25DBE9E,094B6C8CD69333B8C74E4EE0C2D73C50B68E27F78CBB719FC081FDC31CBA0B52B71BB31A4FD612259361A6207C43CA8BAD8D5C3C984F52929891]
FP2div2 = [048AA35D8D7BB3C6B190A65672E4189B14F6F1F5231297B72DE79F4A1270870DAC38C5DC9C148BE9FFF56620EEB071846A31B2D7E1D01647C14E,15082D7678A4A63C522C66299C502F7456B2D73FF86DBD06C8863B8B713FA267FB51B12BB484053F18C0CCDD0653606CD2090F7F06E2F93F0291]
FP2_mul_ip = [09AF9658D448CFBF73742D81D64E91C85AC49B1BCAE2FE56F3CBDE029421BE039B4E47AF2443B853CEE932C7D0C4CCD9C5A69C09B5DB8F66D2D0,087AF71D61A5FF5B52CE6BD7F541D0A3F9172CB8C1676085C3D29F25B5A05E331594CFC34C0E775430EC65BBE9FCF937E3202F55D164C9B83268]
FP2_div_ip = [043D7B8EB0D2FFADA96735EBFAA0E851FC8B965C60B3B042E1E94F92DAD02F198ACA67E1A6073BAA187632DDF4FE7C9BF19017AAE8B264DC1934,107D8A18EB28F275A09BBFD3296C16D941BBE54AD55B254F9A9E9C415ECF1B5A4F18EB4F186F795518CB66BC17A2EEE867D75CA72512E2F74143]
#test8
FP2_1 = [13FFDF4C02B5ECBA414DC59C04687C47C47631A308615AB3685E99B021604FB4E3D5556615A67736ECCB03E44F9EEFDE91D6AD81E9B66886963E,0BD1C60D2EE40B05D05149AE528A89FDC83E3AEFA4625067343B73A33909D38792F27645617C4390D0CDB24CE68610BEB98F976D5B7F30133E04]
FP2_2 = [114F3F80C809BC8148DC4DFCC743A55A1B1014D84A5A07CCFB28680B60DD4B0DFC52BAC226EB7784AD5F78963DE694E9B75CB72D8BF4C970EF07,0198763780DFDC1FE931BC6E52488FD4493E861D550D31008C43964E06B1EE8C019D26E991843C19CB4B02A40E65FADDBFAD391E215A1477E0A1]
FP2add = [0FF9C98775724EE62FD43D04B718C1E4706813A297EEBE054F027678D95DA066C36801019200993C99EA7C5A8D802F72FE88BA0375AA874CDA9A,0D6A3C44AFC3E725B983061CA4D319D2117CC10CF96F8167C07F09F13FBBC213948F9D2EF3007FAA9C18B4F0F4EC0B9C793CD08B7CD9448B1EA5]
FP2neg = [015575F952976D9B190810F8102AE375AAA80135B26B49C7AC25F192877FAAA738EAB9C094EADE481374FC3BB0666576B8D3FD2A164A4224146D,09838F3826694F4F8A048CE5C208D5BFA6DFF7E9166A5413E049179F6FD626D489CD98E1491511EE2F724DD3197F4496911B133EA4817A976CA7]
FP2sub = [02B09FCB3AAC3038F871779F3D24D6EDA9661CCABE0752E66D3631A4C08304A6E7829AA3EEBAFFB23F6B8B4E11B85AF4DA79F6545DC19F15A737,0A394FD5AE042EE5E71F8D400041FA297EFFB4D24F551F66A7F7DD553257E4FB91554F5BCFF807770582AFA8D82015E0F9E25E4F3A251B9B5D63]
FP2conj = [13FFDF4C02B5ECBA414DC59C04687C47C47631A308615AB3685E99B021604FB4E3D5556615A67736ECCB03E44F9EEFDE91D6AD81E9B66886963E,09838F3826694F4F8A048CE5C208D5BFA6DFF7E9166A5413E049179F6FD626D489CD98E1491511EE2F724DD3197F4496911B133EA4817A976CA7]
BIGsc = 05D6099CB55AD4FEA86948A948ED4B26D0C67085EB6756A49171C04E388E5AD90FDFAEB4D7699C0EFA0F78B957BE6EFF048A950FBE5AAE697FE0
FP2pmul = [0D9323DD36442F39847E3E81B04CA27AEDA936A39A3307EDA8EC5637269FCD07B115279DB613561FFE44D1AA923C5B2A6F66B4F7E36A313C87A8,061626160C719B816E3784CE63921099B592D4E6E5208C3F4F0EDD3FBB47EF6493F8D2B88A6184018EA29CCA0314FDE5E121F46FB7AA8CBEDB42]
FP2imul = [0BFF1B7413295B17AB1D5FCBA3672785C4862A60D9DDA0055F7AF040F4624FC98E54FAE298254186780D1A7E2D388F163CDEBE8563F8DBAE1BB0,12BC6A8C48543E28A3378008040FA6B82C5904034E4A4561301287AE94A4D9A0AE610E71AAB1D878B4DFDFBA4D9A753732ED23F980785086B21B]
FP2sqr = [142B8E262A049F3D79D397B54248C498B6DA20D19ADFE064DD12C019D4D8E69A07823F6CAEFCF91720A5260626DB26FBBA1FDD479DAFB27B363D,06CF85F813C2115659D0EBC14F63E20AD0FD602679BDE0688E4DC05E11C8999E69F6BD4100CB3A1E85AA6B2302CBE394836AAB6546BDC30B0648]
FP2mul = [12C5FD48BE53066EBC80F626BADD1E083C67B30E7652AC0F079638DEAFCD3688787C55DBB1A257795211E6A3F32D5443C2CA553F55C3433E3B0F,107058A3A0FF2AABAC537295FC87EB259FA9799FECBF8D56243A7E201E834511C9CD7C46447668712F670695E13A6CCB375EF81A3F00453D7999]
FP2pow = [12DF5E88642F9B15E8D8976226F46273D9CD4216606DADC6CEA519FFAE792A89F4F23515EF7D29486040915689082CC4C06BB1DD40998CC2A7DC,12553EEA047F7CADE265B52F056925CD7D2B378D5C600EB0F1B3A5029818679127025277F00C6F6179FAF15CF0C2D1A673D05E6191DF8E19121C]
FP2inv = [02C109E9F5A66F061966106A9ED7B040ED79690CC8F0E3CD159B62308CB884C998D41DCD79365D88E29F960C878D7DA9A64554409061439F965F,145A6453C5FED5B3ECDE14ADED349C80ADFEA1D8074595941FD1454C62488BAA4A92E580905E4CC59A7C38CF4B92AEEB5F6BCE0BC958451ECE5D]
FP2div2 = [09FFEFA6015AF65D20A6E2CE02343E23E23B18D18430AD59B42F4CD810B027DA71EAAAB30AD33B9B766581F227CF77EF48EB56C0F4DB34434B1F,05E8E30697720582E828A4D7294544FEE41F1D77D23128339A1DB9D19C84E9C3C9793B22B0BE21C86866D9267343085F5CC7CBB6ADBF98099F02]
FP2_mul_ip = [082E193ED3D1E1B470FC7BEDB1DDF249FC37F6B363FF0A4C3423260CE8567C2D50E2DF20B42A33A61BFD51976918DF1FD84716148E373873583A,0A7C5013DC4C9D6AB74938B6425FA6881D9639B9F1F7069F88158210B18A28E05A07BC84CC916548BD58B611361FAB4800BB9A434534EDEF2997]
FP2_div_ip = [0FE8D2AC98CCFBE008CF87A52B798322C65A36495661D58D4E4D06A9AD35119E3B63E5D5BB915D63DECC5B189B12804EA5B32277A29ACC4CEA21,113E48A5EB64697B21D7989D3BA466987102377F08CD1F54FA72F83C34B4BC45744E9F96507C3BABF24157544B78E5C55E871FA1B8E50E70FE8E]
#test9
FP2_1 = [08D3BCFF705558511BF9C79ED7CF08D05E088267730529CDB800D67D71FA47FBA5E84288D34321EA620E1353C70B3F550125C05618E532265CC8,0F862AA86B2985946E7DC2A41419AB2F0303EEBA916C0F1023613FCB7FFFB30729F0E078BAE5F7EA20EC8ABC7CD96BB02DE6E0F968302F62E48D]
FP2_2 = [14F818BD5A1B50BE49632C2886EB58D66DE001D600C849348255EAD2DF2E063FD43FC8DF380AAD3D8D586E6C0A5F07056DA16450816F4E5B5554,0FD35038634475DF1D98941C2A8FE357173C53D70AA539C2CD27CF1A9118A83CBEF7DAC0F497D11AFD9929B198F34BFCAD8CF13E49CBC233F68C]
FP2add = [0876807775234EBA0B071D334A2701E95CCA5164B900CE8725D2360DA84853DF5D67FC4160BC79A8EF26819FD164F105241C79FA9A53D5D70771,0A04259B7920A11E31C0802C2A162EC8AB220FB8E144A457DC0483A3683860E7CC28AC1304EC73861E45B44E15C7625790C9278BB1FB46EC306E]
FP2neg = [0C819845E4F802043E5C0EF53CC456ED1115B07147C77AAD5C83B4C536E5B26076D7CC9DD74E33949E31ECCC38FA16004984EA55E71B78844DE3,05CF2A9CEA23D4C0EBD813F00079B48E6C1A441E2960956AF1234B7728E04754F2CF2EADEFAB5D94DF537563832BE9A51CC3C9B297D07B47C61E]
FP2sub = [0930F9876B8761E82CEC720A65770FB75F46B36A2D0985144A2F76ED3BAC3C17EE6888D045C9CA2BD4F5A507BCB18DA4DE2F06B197768E75B21F,15082FB55D326A0AAB3B051BFE1D27955AE5CDBC419379C86ABDFBF397C7052687B914DE70DF7C4E2393612AE3EB7508CB049A671E6517D998AC]
FP2conj = [08D3BCFF705558511BF9C79ED7CF08D05E088267730529CDB800D67D71FA47FBA5E84288D34321EA620E1353C70B3F550125C05618E532265CC8,05CF2A9CEA23D4C0EBD813F00079B48E6C1A441E2960956AF1234B7728E04754F2CF2EADEFAB5D94DF537563832BE9A51CC3C9B297D07B47C61E]
BIGsc = 119F2C472888BFBC9A9BD1E933AFD334A44BEF7F711E3AB05712BAA3662D98CDC8310F27C43205A23EBF8A7951C8E2D677772E4765F84291EC90
FP2pmul = [080F0D94F7518A05551DC492494EBE3E59A5738E19CD4372EF2456CDB615A6BD6714298B62F25E26CC06F774205FB86325D96A548FD31498694F,148A43E5BA1F73B403D36A0CB40AA9103CAC0E043EEF0E26090E3BCDEAF32A78060F0A83C6B561B3DE903AB667F5823B2141A70D1ABD883E64B0]
FP2imul = [069DE82B82C2B388D0CCB93A80BE274AA2E97AB167C360FC82791223953250C8D901E6D29A650ED60FB09A3E3849FAA8292E02ACC7279132E63F,1186AAE8AEC968F8B040E43C39EC7AC4EC887798E5614219B473460EB39DB46CBFC6B804825913D606245543E6B0B2D6F9E1B26F417E25C1CF11]
FP2sqr = [148C1FCC9F8EFD6924D82B83D3D3E7C263BFC415296464D5EC131FAF548C5F6977AF90638D62C0296BADEC3D29913CF25F12FA973B4A925C93D4,02768C3D87B2BD9BFC5A8899AB01B241D7A757DB6B97C4765602306C150398EBE0A10FD4642BF4ED495512C7BDBB4028648FD298A88A85903CF3]
FP2mul = [027D705BB3AE9788FB792C5CDBD3DFC9B8177976BF9476188B24F9B00B2E4E35918F52E50AE12A28E3F23E75CB89F2A81C1DB0B60B1698EA37C3,0C908B9EDC174D78605DD301105D13A56DD6B7A7F708700357D7F3D3529A3FC3F141EF41C08AD10172B62E837B3AE0655665371B079479B547F1]
FP2pow = [028EB1C5D7C3C4AB8DBC9980CC77EAFD1C0D1F62C96DD909E8B0BC18DE0DD6C667C133A5DA1C24C21D88ADA667EF737BAA290DB27C81160C3768,04999BD3342CFE246AE7CA6878950322FBD5E7D712F9721EBCD8A5209A5D157BCF9B06453210A0F332023C78A94A48F21F663EE180ECDDA2AD12]
FP2inv = [078CC2014C98D6076D7A4ED6C30AF560A54BE412F14588A663113274C6DA00AB0EB52312A66BF16396756F7BCA383F9B8E150E1ECC75699293F7,06BB0C3B5822AB38A6B3BCC81F9C6F57951042FEBCD6CC33BACB0B96C9DC4CAB23D279014459483F348C3F3204BE87A67A751961E9392BA01C61]
FP2div2 = [0469DE7FB82AAC288DFCE3CF6BE784682F044133B98294E6DC006B3EB8FD23FDD2F4214469A190F5310709A9E3859FAA8092E02B0C7299132E64,126DBFF6E03B6FF4E469CC9C14568576391110C9A61C59C59BF2E587146FD6B1A35877CFB2BBA6B49096456E3E6F6082BC48C5D2B4186D06C79C]
FP2_mul_ip = [0EA2E79C5A792D1207D1DB8ED848BD5ECA22C6859C65BF38A92421F49ADA8F5098B77136C2EE7F7F416188B74A3728FA1DE98A08B0B5AD6E22E6,03049262863183903021B3AED7555441F1EE3E4949A49462C6DD8B06491A00A6B31913DAE397C45582BA9DF043DF55AFE461F6A38114B6DE96AA]
FP2_div_ip = [018249314318C1C81810D9D76BAAAA20F8F71F24A4D24A31636EC583248D0053598C89ED71CBE22AC15D4EF821EFAAD7F230FB51C08A5B6F4B55,0E03E1772810C3CC566CE8CCA86F010E0A0CCF95EC99C4DEBFF27A485B72B2B3D064568B491A15BF5F8F3BC45AE9C0D83BB5E5A7A7A5D3F39938]
#test10
FP2_1 = [040E6D5F137D0CEA2E03FE1BAE8D7D6FC4ACA34F28F4CE12A4B35CC39B103E28FD921BA5AB7C6051CB461A2EAF4743565E3424E289C2A2D74892,052DE9B8B3393CEB7327C78BFB2DA56A1A12D25C4B69C22F760E67E833737D954907E4C94B553344F45B755F712F11FCCB6CB57EC89D25892C28]
FP2_2 = [10F14C9299A7124D988BB9841251A3E8F3AE946165E96D84498E59BDF66FE1B2056ECF41AC91DE9816F743B6F238A28E0F291912352479CEEB90,08ACFF9F3C2789682C29C275FE99BF2EF7E7EDF8883808BE733379CD323AA78A95F89A36116350B146F56A62E3293827FA1BA100CB10728107A2]
FP2add = [14FFB9F1AD241F37C68FB79FC0DF2158B85B37B08EDE3B96EE41B68191801FDB0300EAE7580E3EE9E23D5DE5A17FE5E46D5D3DF4BEE71CA63422,0DDAE957EF60C6539F518A01F9C7649911FAC054D3A1CAEDE941E1B565AE251FDF007EFF5CB883F63B50DFC254584A24C588567F93AD980A33CA]
FP2neg = [1146E7E641D04D6B2C51D8786605E24DAA718F8991D7D6686FD12E7F0DCFBC331F2DF380FF14F52D34F9E5F150BE11FEEC7685C9763E07D36219,10276B8CA2141D69E72E0F081965BA53550B607C6F62E24B9E76235A756C7CC6D3B82A5D5F3C223A0BE48AC08ED643587F3DF52D376385217E83]
FP2sub = [08727611CF2354F1EFCE1B2BB0CF3944401C41C67DD805096FA98E484D8056D314E35B8AA97BD738B48ED697BD13F61D99B5B67C549ED3B307AD,11D63F5ECC5F0DD8A153DBAA112745F89149173C7DFE5DEC175F795DAA18D066CFCF59B9E4833812ADA60B1C8E0B2F2A1BFBBF29FD8D5DB2CF31]
FP2conj = [040E6D5F137D0CEA2E03FE1BAE8D7D6FC4ACA34F28F4CE12A4B35CC39B103E28FD921BA5AB7C6051CB461A2EAF4743565E3424E289C2A2D74892,10276B8CA2141D69E72E0F081965BA53550B607C6F62E24B9E76235A756C7CC6D3B82A5D5F3C223A0BE48AC08ED643587F3DF52D376385217E83]
BIGsc = 0BBD06DE3851CCBB419ACD01635EAE33F2712DAFEE816DF99339F7E1404B6BC4EED018D33CC1A80D7FCAAD5D9EFC6735BF6004929F9551645FB9
FP2pmul = [9B1795614BCBEA6A8C478062B6E36BA8C94F0641CEB1B43B26BBE47C3522B4687BEB6EC1FFE7EBEE6EA98B124C92114E4810BAE3982B22E50E,0B896D1EB7CD1322C7E5998ACE986BA034D3468D56B0585924DF83FD5E1B2FA3B67AAB13D9FAEFD0AC0DCE7D9CD56CA16271CE07D787A55186DE]
FP2imul = [0F2C83125A1819E643CE18650E6609307AF38AEFB5CE9A2CB5C9B79DCAB23514CD62E9AC5CCE0D612536EB84297C08B4052AA14AD7D70EE6E277,03F28CF3A2686F9C57BA56C3AB7411400C6CFF8D311E8AB4FD7890A47D4F758757C6ECC650DC226E96B7201AFA9CF738917D0C1D0D84FC7D3812]
FP2sqr = [07D71681BBED0E805D884C90E7B05E17F7561452BB38D9074B4FA4269D376586B671563F60DEB5034E433CC5885D2AD2CF6053E8CC930ADF8283,087394C2F2E9E131CA53870CB8387A0D58186D986E76A7D3769E5E80FFDF3A8975A94F9FC1D13AC04B410D59249DF6D78666848B566F6E4BB52D]
FP2mul = [04A1D53BDCB8FEACF819F52F17463DCEE4B5A96689C0CD0B0336B050E7B397C73F23EC4308540B9B97AE0584AB069C3C5CEE1C021DD560975E09,01E3F06E82E182EBD16253E026E40F56EA8F05B8862927CD83D59F70C2260E323C12F54BB335C38DBB2843607B00F33D06406A216F048F61FA7F]
FP2pow = [12549DB4B694361DE657BC9CEEFDB357E74B45C51CA2EE82D87AA1B0DC36E3F55F2D3748645E7B43F464210C27236ADA8C0807BBF22D51C4D9B8,0EF558EADAE280A7384F66381D15A28CD2026258CCF36086FB2EDC020CEF62E8A179CAA49DB2B5A780A285F2A1F0218B68D3E83B337FC8CBDDB1]
FP2inv = [08CC5022B80C571E5B35E5CFE8B060DDEA0387B0D5F5B46B22F4C372AEC602D35705A2625D9BF334B9B8E4A7CEE299179F6EDE599E5D17EB85C0,05BC71B8FAFBD25A6CE6D06E80CBB38F1C99FF66E9A40FCBE5FE2FBDD8AF72D24006EC64FB7741397C894B37BB05883FBF0370198AD3511F1724]
FP2div2 = [020736AF89BE86751701FF0DD746BEB7E25651A7947A67095259AE61CD881F147EC90DD2D5BE3028E5A30D1757A3A1AB2F1A127144E1516BA449,0296F4DC599C9E75B993E3C5FD96D2B50D09692E25B4E117BB0733F419B9BECAA483F264A5AA99A27A2DBAAFB89788FE65B65ABF644E92C49614]
FP2_mul_ip = [1435D8EBB5912A5415320D23C7F337C319B803CB9857B05E4329801E107CBAEFD14A46030AB8828BD72AA4EF3E1D86AEDD721A0FC12627F8C715,093C5717C6B649D5A12BC5A7A9BB22D9DEBF75AB745E90421AC1C4ABCE83BBBE469A006EF6D19396BFA18F8E2076555329A0DA61525FC86074BA]
FP2_div_ip = [049E2B8BE35B24EAD095E2D3D4DD916CEF5FBAD5BA2F48210D60E255E741DDDF234D00377B68C9CB5FD0C7C7103B2AA994D06D30A92FE4303A5D,8FBE2CCFDE1800A291E4B8265013FD2AB31786913A7A0E68AD85924C319FB625BAE491CFEC6979948AAD9860F3E753369C484E1F6D4158F1CB]