blob: 3c72f99a4106892219aa3ce91fea6560c0e1dae1 [file] [log] [blame]
# FP2 ARITHMETICS - CURVE: BLS381, Modulo = 0x1a0111ea397fe69a4b1ba7b6434bacd764774b84f38512bf6730d2a0f6b0f6241eabfffeb153ffffb9feffffffffaaab, BIGmax = 2^381, Frobenius_constant = [0x1904d3bf02bb0667c231beb4202c0d1f0fd603fd3cbd5f4f7b2443d784bab9c4f67ea53d63e7813d8d0775ed92235fb8,0x00fc3e2b36c4e03288e9e902231f9fb854a14787b6c7b36fec0c8ec971f63c5f282d5ac14d6c7ec22cf78a126ddc4af3]
#test1
FP2_1 = [05676605B164404C1F9A3973B47E86EED77E3D22FDE82372EB797DB6A0D3E198F79FD3BFB4E508D39B9DD53D757D9E0B,076C4F72966EA34A1339330A64B25E90133B12340AACD558050F5B7657507C98D72D6C6A7FFED2A6D2C3B37AF2255F1F]
FP2_2 = [02AB3CF3B87533A113526D3C74CC69FC5995C4925EB653770CC2C6599C849EBE54A84D3E24B2CD2AC11F49A1D114E02E,070B77D9A4C794C74A10412939F981CD9E7C1F77056120B99E2856332BFF06A96E549B6A2F18E9361A6060800E1D9DAD]
FP2add = [0812A2F969D973ED32ECA6B0294AF0EB311401B55C9E76E9F83C44103D5880574C4820FDD997D5FE5CBD1EDF46927E39,0E77C74C3B3638115D4974339EABE05DB1B731AB100DF611A337B1A9834F8342458207D4AF17BBDCED2413FB0042FCCC]
FP2neg = [1499ABE4881BA64E2B816E428ECD25E88CF90E61F59CEF4C7BB754EA55DD148B270C2C3EFC6EF72C1E612AC28A820CA0,1294C277A311435037E274ABDE994E47513C3950E8D83D676221772A9F60798B477E939431552D58E73B4C850DDA4B8C]
FP2sub = [02BC2911F8EF0CAB0C47CC373FB21CF27DE878909F31CFFBDEB6B75D044F42DAA2F7868190323BA8DA7E8B9BA468BDDD,60D798F1A70E82C928F1E12AB8DCC274BEF2BD054BB49E66E705432B5175EF68D8D10050E5E970B86352FAE407C172]
FP2conj = [05676605B164404C1F9A3973B47E86EED77E3D22FDE82372EB797DB6A0D3E198F79FD3BFB4E508D39B9DD53D757D9E0B,1294C277A311435037E274ABDE994E47513C3950E8D83D676221772A9F60798B477E939431552D58E73B4C850DDA4B8C]
BIGsc = 03A5CA599DB7FBAB64EB7FB7ADA42B724C42A71AFF4B210264E133682F7F44BA632878AD95DBD1AC9DFFB0E922622D73
FP2pmul = [0B8C3840572DA8F3EE9AB496A92E352781C699E4DD2EBA6EEB1E30ABEECA782696D10064F607CA8AD217FBFE65AAE18F,0C974E6828054739E1394051E46772E86A266B49C6FDC4CEE2BB99E5E5C8AF4BDF8AC0435994F557A8D3E7DCC76AAA58]
FP2imul = [00,00]
FP2sqr = [0DDED60EF884AC4E16A180AECCABC1C2FF8488210444C1FB3499574E110AC627403D567932B6C72197530CB1956CC190,0D307452085EFDA84F6E3B72AAC08B412D82B42BBE3CD5A0CCFA5D6CC3D731A7C727737B5634EB282EC5554C08E3EFFA]
FP2mul = [0CD7FCD385025EA22F9D4C8AA420419EAC3092D7DFE30B296CED11E0B92C38C16434D0B18073A1081927106895DE01C6,0FEDD0B9A7C48B1EB1E6A82914D957B6B2535DEC296908035A1F11D316BA4B04DEEAD89D6477F30CAADE4AA90FC6097D]
FP2pow = [17846BC40BA74C96FEFE0EB7B0D25AB1A3442FCC644E5123595C75F324CEC4B47E8FC8C52945E867AAD87A000848D121,0E7AE4DB1A582CC992A366DF3870E526E05A431CA0F0B3485AB43448828CB9109A3F2C19BEE846B949790F85B98C5F32]
FP2inv = [06D454959DCD2001B9B0EAABBDF8129470F641DFE0A8827C96E558FBA25038C6CC18E806B9A2E15A9E3C9FF079DD778F,099A20FF4B2A19767F903DFB8718F991C4FF5091C6551A278F4FE8DF60AB0118DE863BC5AA844C9170C1E96D216DEFF4]
FP2div2 = [0FB43BF7F5721373355AF094FBE519E31DFAC453F8B69B192955282BCBC26BDE8B25E9DF331C8469AACE6A9EBABEA45B,10B6B0AE67F744F22F2A6D6053FF05B3BBD92EDC7F18F40BB620170BA700B95E7AECB63498A96953466159BD791284E5]
FP2_mul_ip = [17FC287D5475839C577CAE1F9317D53628BA7673E6C060DA4D9AF4E140345B243F1E6753E63A362C82D921C28357E997,0CD3B57847D2E39632D36C7E1930E57EEAB94F570894F8CAF088D92CF8245E31CECD402A34E3DB7A6E6188B867A2FD2A]
FP2_div_ip = [0669DABC23E971CB1969B63F0C9872BF755CA7AB844A7C6578446C967C122F18E766A0151A71EDBD3730C45C33D17E95,010274B67285317EF9CF7CCB5819EBD09DDE6A88866258F28CCAEEDFDB3E4D7FEFC6CC55658CE4E99B92EF1EBE53E08A]
#test2
FP2_1 = [13F53B32AED68D5BF638E3A8F23D57AA65B7B6E858E910BFF74FFAF36DE7725780400BA7E71EEF05B02AE4358D585F76,141110D3352DA0E05D0EA89D7E576DC2716A593AF076CAB853057E0940D73CAFF87C9549A146CFB81572054F7D59978A]
FP2_2 = [081C8E8E96B3ACB320F769F0B941315755E5DBFA3FDD9AA304CD8F7A03E44920597FC0243EDB9E8B961BB35992F670E0,12B626DCBC81A81E62B928EA17FCD41CA85284E10C639AD18AE51734B8EEF5E58076F37EA78525F92B7926AE5CEF1798]
FP2add = [0210B7D70C0A5374CC14A5E36832DC2A5726475DA54198A394ECB7CC7B1AC553BB13CBCD74A68D918C47978F204F25AB,0CC625C5B82F626474AC29D153089507B5459297095552CA76B9C29D03153C715A4788C99777F5B186EC2BFDDA490477]
FP2neg = [060BD6B78AA9593E54E2C40D510E552CFEBF949C9A9C01FF6FE0D7AD88C983CC9E6BF456CA3510FA09D41BCA72A74B35,05F00117045245B9EE0CFF18C4F43F14F30CF24A030E4807142B5497B5D9B974262F6AB5100D3047A48CFAB082A61321]
FP2sub = [0BD8ACA41822E0A8D54179B838FC26530FD1DAEE190B761CF2826B796A03293726C04B83A843507A1A0F30DBFA61EE96,015AE9F678ABF8C1FA557FB3665A99A5C917D459E4132FE6C82066D487E846CA7805A1CAF9C1A9BEE9F8DEA1206A7FF2]
FP2conj = [13F53B32AED68D5BF638E3A8F23D57AA65B7B6E858E910BFF74FFAF36DE7725780400BA7E71EEF05B02AE4358D585F76,05F00117045245B9EE0CFF18C4F43F14F30CF24A030E4807142B5497B5D9B974262F6AB5100D3047A48CFAB082A61321]
BIGsc = 0463C9987E9A03C75F1F73202B1A69F78FE64DDAD1D184ACA0EF7988DF8782E75BFECDBC0EA83AF89C4FF928BDBD6ACA
FP2pmul = [0AD1FB3DF6C43C211079B137F180B82FC57F9BBE3614EDCB1254D60D1AA171CC6B2FF0D1CA1B5182D266369BF54241B5,073405D7E0D9A85E68E42B54C79C4E419C8FFB106B39C036B0FAF469F976E5B389A66AF785D89EA3CC360222938ECEEE]
FP2imul = [13F53B32AED68D5BF638E3A8F23D57AA65B7B6E858E910BFF74FFAF36DE7725780400BA7E71EEF05B02AE4358D585F76,141110D3352DA0E05D0EA89D7E576DC2716A593AF076CAB853057E0940D73CAFF87C9549A146CFB81572054F7D59978A]
FP2sqr = [0ED16E1C05EDA7B25C706EDDEDAD888AF697387D7087A39EC358C2726BAE8DC8421840BAC227FA8857B1579EA9380687,0B46A89C1DD5A55098881A51F33EBECE8B3D8E2A4AAD8CD9E99B38F0F5E2B32223780FFA958CA7B2C7F6E95E51BF2C8B]
FP2mul = [0EB8D3677F18B8F63E29E5FFA204F64C6F2BC9B81EB5BF3373A58F3D085CAEA775E1664CA4B632D5A020CC5033846811,1636243650171CEC8A01E32ECECC9A9F15912FE931BEFB4BC0018868CA17A5225B4C691FD3E27083F0C6DC6B3EB47A4D]
FP2pow = [05383C8E5043ADC980DA4BE64F20438450843EE8927706333E0CC2ABF8F6C92443FEE9147439DEB1165829E2DDA41B84,19E1785B86739734D6F2259F059A79CB03CC5ADDC34D1621BB268E8821C7E2F99DF8ACC80AC9AD51DE18D06D2C9D500A]
FP2inv = [1735218B8A980C7CDC2F1F4642F1A1559C0B462540A1DA8B001301D1883A12699DBD93CCC5A6AF14F4F914D30450E1DD,14C124B7881CF3E4DD156D6ABC883BDF19216A8D3A122D384A3877580481D9FCBEEE3D1E0FE3B5616FC3E7C9374A65E0]
FP2div2 = [09FA9D99576B46ADFB1C71D4791EABD532DBDB742C74885FFBA7FD79B6F3B92BC02005D3F38F7782D815721AC6AC2FBB,0A0888699A96D0702E87544EBF2BB6E138B52C9D783B655C2982BF04A06B9E57FC3E4AA4D0A367DC0AB902A7BEACCBC5]
FP2_mul_ip = [19E53C49B328D315E445E2C1B73196BF58C4A9325BF758C70B7B4F8B23C12BCBA66F765CF72C1F4D54B7DEE60FFE7297,0E053A1BAA8447A2082BE4902D49189572AAC49E55DAC8B8E324A65BB80DB8E35A10A0F2D711BEBE0B9DE9850AB24C55]
FP2_div_ip = [14032602F202171E29A3C623384A62B66B910811A4AFEDBC252ABC7E575F5783BC5E5078C432DF5EE2CE74C28558FB80,0DEAD0432B89C2336AE27A460D0B0C05D951294BC6DCFC2DDAC18AE977E52C3C1E44D0DD13F05932A3908CF8009C0A]
#test3
FP2_1 = [0B4862ED396C305C46BE440E912016338FDF49D8D727AA0C03E732AC8CD92510F3623628AAFC263EB82DF529292D33E5,0404F2B13D89960DA516540240AB9CF65335204CFE0CC6528DF670B760E7D875EC52C960B29AFA4378ED88537EE074D5]
FP2_2 = [015BAAF8584A1609F9419A9E295C895559448B7A68A0A27ADE1B72BF4DCF25522E5CFE0BEAAEDE25DF1656F3517194F5,030B41A6CE4B902FA030BA9263B903C5DA593BD82B8D317195092673FCE7A6BBFE174E80DC149CBA125C23D47498D54C]
FP2add = [0CA40DE591B646663FFFDEACBA7C9F88E923D5533FC84C86E202A56BDAA84A6321BF343495AB046497444C1C7A9EC8DA,071034580BD5263D45470E94A464A0BC2D8E5C252999F7C422FF972B5DCF7F31EA6A17E18EAF96FD8B49AC27F3794A21]
FP2neg = [0EB8AEFD0013B63E045D63A7B22B96A3D49801AC1C5D68B363499FF469D7D1132B49C9D60657D9C101D10AD6D6D276C6,15FC1F38FBF6508CA60553B402A00FE111422B37F5784C6CD93A61E995C91DAE3259369DFEB905BC411177AC811F35D6]
FP2sub = [09ECB7F4E1221A524D7CA97067C38CDE369ABE5E6E87079125CBBFED3F09FFBEC505381CC04D4818D9179E35D7BB9EF0,F9B10A6F3E05DE04E5996FDCF2993078DBE474D27F94E0F8ED4A43640031B9EE3B7ADFD6865D896691647F0A479F89]
FP2conj = [0B4862ED396C305C46BE440E912016338FDF49D8D727AA0C03E732AC8CD92510F3623628AAFC263EB82DF529292D33E5,15FC1F38FBF6508CA60553B402A00FE111422B37F5784C6CD93A61E995C91DAE3259369DFEB905BC411177AC811F35D6]
BIGsc = 056D83BDF4EE6151F8A7B1D1697870F41E9532ED6DB34DFCD989276A560E629250289A51A5E52563CE5DD93397C5AD94
FP2pmul = [0A340D67E3E90635A7BA0A26720855947721120E2A5E28A0247DED8F977DC5568F9E180954E75DB0D52CCCF059F47867,163B64EABB7FB4E8E8C9D0C555334BD3D7D6695D6A0F1B68BFA24BDFD7E7AAEC47AA163DA2060A85EA0535594A22B378]
FP2imul = [1690C5DA72D860B88D7C881D22402C671FBE93B1AE4F541807CE655919B24A21E6C46C5155F84C7D705BEA52525A67CA,0809E5627B132C1B4A2CA804815739ECA66A4099FC198CA51BECE16EC1CFB0EBD8A592C16535F486F1DB10A6FDC0E9AA]
FP2sqr = [128FA208CA2550BDDF12ED2C29537105D104261BCB9C2FDD906BCD14660342E5277538552EE505F976C897772538ED80,0DBC339A640244E652BB397AEB4566AE302F385759F6D724EBA1E1098EC621D2BC47345E5862720353979490649FDBF0]
FP2mul = [0536E27B7D7B46C8BA2FDAC7BC779349FCA2FB9CACCBB9E03535A132315A6EA5A0E0E549B8095871BEA80A171E17AD34,169F7ED8BBDB450A56164AE7A65944E526EB483A85B2945BD27A5800CA5A8C4CB5F2C525654767570D91EFA909DA8B0C]
FP2pow = [15CE8737C35E93368D5CDBE8D7842CEEAEE11E60F229625ACC03F29E00818E12325A6764C2458E3E6C96D7B228626CBA,0A711FEF6F14E303E2DE670290A6919BF39DAAD1120453D5D399637E3CBD5B06DA402205FC0C09F7F954A5970B6C8594]
FP2inv = [14359A4B067191A498F1313FA43D2B06DF41C75E592638B9992202DA8C3176CA75F2FD7B29D5EF2DA8E191A0948CE83B,0DEE0C50FDF8DE192717CA9E8FBBA5734FC62710662E1AFB33CE6E8ADC0BD668E753F90B357A8E3D2C1363CFFF0A7195]
FP2div2 = [12A4BA6BB9760B7B48ECF5E26A35E1857A2B4AAEE5565E65B58C02A6C1C50D9A89071B13AE28131F39167A9494966F48,0F03024DBB84BE53F818FDDC41FBA4E6DBD635E8F8C8EC88FA93A1AC2BCC674D057F64AFB1F77D2199764429BF700FC0]
FP2_mul_ip = [0743703BFBE29A4EA1A7F00C5074793D3CAA298BD91AE3B975F0C1F52BF14C9B070F6CC7F8612BFB3F406CD5AA4CBF10,0F4D559E76F5C669EBD49810D1CBB329E3146A25D534705E91DDA363EDC0FD86DFB4FF895D972082311B7D7CA80DA8BA]
FP2_div_ip = [07A6AACF3B7AE334F5EA4C0868E5D994F18A3512EA9A382F48EED1B1F6E07EC36FDA7FC4AECB9041188DBEBE5406D45D,165F59CC3B8E9972FA47AFB01B117038C62236BF06F7A0E2AC3871A660B84FD69B24499AB5236A021A5EC9952AD94B23]
#test4
FP2_1 = [047D9CFEC1E5FCE84B835B14BBB5E376D4E85FF1CCC228EA1C37FCB3033844D2B2703B7E2B2D364D5B14DBA1A140F781,0253723C15672AC4126C1D8BF9AD6E8B09E22CDF3CCE07BF99029D3A747281DE1908080633C78F3F71260629DB3639A2]
FP2_2 = [0139B98A0908F889F6C53E67EF65FEE3FE461D225A9564DD89EC7165DB73117E4556C3A73F235111A55DC1AE6B0B5CBB,17A304794B84CCDA87CBC58BBB29ACD93E071FB63474189B7060999C8A947CE72CE448CFE6CD040F4D0B779CAAD8D33D]
FP2add = [05B75688CAEEF5724248997CAB1BE25AD32E7D1427578DC7A6246E18DEAB5650F7C6FF256A50875F00729D500C4C543C,19F676B560EBF79E9A37E317B4D71B6447E94C957142205B096336D6FF06FEC545EC50D61A94934EBE317DC6860F0CDF]
FP2neg = [158374EB7799E9B1FF984CA18795C9608F8EEB9326C2E9D54AF8D5EDF378B1516C3BC4808626C9B25EEA245E5EBEB32A,17AD9FAE2418BBD638AF8A2A499E3E4C5A951EA5B6B70AFFCE2E3566823E744605A3F7F87D8C70C048D8F9D624C97109]
FP2sub = [0343E374B8DD045E54BE1CACCC4FE492D6A242CF722CC40C924B8B4D27C533546D1977D6EC09E53BB5B719F336359AC6,04B17FAD03624483D5BBFFB681CF6E89305258ADFBDF01E38FD2D63EE08EFB1B0ACFBF34FE4E8B2FDE198E8D305D1110]
FP2conj = [047D9CFEC1E5FCE84B835B14BBB5E376D4E85FF1CCC228EA1C37FCB3033844D2B2703B7E2B2D364D5B14DBA1A140F781,17AD9FAE2418BBD638AF8A2A499E3E4C5A951EA5B6B70AFFCE2E3566823E744605A3F7F87D8C70C048D8F9D624C97109]
BIGsc = 0A69F10377B294689761A00ECF543F604FB8D61AEBB69A3FE653BE8DCF1B7F7056C425370592B54AC447E5CDD193E01D
FP2pmul = [156C20DC6EEC9AAC2080D543F556ED756D46A9A03DA11A9CEE6FF30E062712074D2447186208CBEF16545421B7E18550,0DC139A895CFC8B900F7AF3EF7FBE125F82FE48615058D17A2A25BDC4502E104266050B02F7035B47FDF189D16BA9CD0]
FP2imul = [0D78D6FC45B1F6B8E28A113E3321AA647EB91FD566467ABE54A7F61909A8CE781750B27A8187A2E8113E92E4E3C2E683,06FA56B44035804C374458A3ED084BA11DA6869DB66A173ECB07D7AF5D57859A4B1818129B56ADBE5372127D91A2ACE6]
FP2sqr = [03DEAB290683C9817F8419640358AB40D2854F366B86E969645AD6919AC2189F4DA9027312BD3EB70C7E38F16EB252A6,057031CF0EDDF6F76505B5D16A4378698D13C146FC25FCBEB869C95188A365191443C9F27B050136824B4E2410114B3D]
FP2mul = [17DDC9DA5B125FD724C765312C927EF031D9A8C3A04EAC6E7C276DE459A892835FE4F2807859A2FA8053BBB0B5CFB850,14E15FF3CA7518720E99BAC466893C202F6ABC0EF797991E6E5786EA189B128C759A905F081153C92FFA6E4CBA830681]
FP2pow = [193CC62536AE2935954B469699FFF5FBB6676BF8E7423FC7879F4F1AE3ADDEAEC97C40A49DE32BE42EA22B6D140F8B14,15E95DC567C0F8C26FCF72DE31BAE58B39DD6A1E662CB102C072C98FBD54B635C10AD4EE68224D4DE9A26C1B73E93CB9]
FP2inv = [1942B87675EA733D5568A5DF78B22B7D6DC3571EA56154B92A5DD00992C80E273DAD3BA44D98C39928D68B5E1C89A3FB,1669F28E2AC7771BC3CCDD2F2CD9C7F445DEBE6DB5B322374493E578FCF8D03237F3330AA0429E5E2CEE41EEC6F9741F]
FP2div2 = [0F3F57747DB2F1C14B4F81657F80C8271CAFD5BB60239DD4C1B467A9FCF49D7B688E1DBE6E409B268A89EDD0D0A05116,0129B91E0AB3956209360EC5FCD6B74584F1166F9E6703DFCC814E9D3A3940EF0C84040319E3C79FB8930314ED9B1CD1]
FP2_mul_ip = [022A2AC2AC7ED22439173D88C20874EBCB0633128FF4212A83355F788EC5C2F499683377F765A70DE9EED577C60ABDDF,06D10F3AD74D27AC5DEF78A0B5635201DECA8CD1099030A9B53A99ED77AAC6B0CB7843845EF4C58CCC3AE1CB7C773123]
FP2_div_ip = [10691092886687235485902B7C577F6CA1A0EC2AFE8AA1B48E35B647372DDE6A751221C1882462C6431CF0E5BE3B6DE7,0BEB7393C6808A3B09023516C0A19BF5CCB88C3931C878CA71FDB99433F59997C2A1E6435CF72C78E80815441CFA7666]
#test5
FP2_1 = [0FB2270015105284769A0F7C793747406CC033458468CB6D149AAD36917E02FD17554E8E178BD75DFD4F6FB33A7DD3C1,073998B58F7334D535E8E7D17ED06563CF27BAA523BDB3562689C424B6A2161E3CE87EF9E0107ED17ADF7CA6DD2D477D]
FP2_2 = [06D7A388100420B6C9441954A1D451E74B52A2AAE468D0F9CF9872CDC194693990A8E4E46C2C25AEBE3C2D7A7007FE6B,127440913FE4842D30D0C52F3C63F780816BC4AEE15B4361900C3CDA8F1E8C8D372ABF85862C5B178356A4CD9D5DF89A]
FP2add = [1689CA882514733B3FDE28D11B0B9927B812D5F068D19C66E433200453126C36A7FE337283B7FD0CBB8B9D2DAA85D22C,19ADD946CF57B90266B9AD00BB345CE450937F540518F6B7B69600FF45C0A2AB74133E7F663CD9E8FE3621747A8B4017]
FP2neg = [0A4EEAEA246F9415D4819839CA146596F7B7183F6F1C47525296256A6532F3270756B17099C828A1BCAF904CC581D6EA,12C77934AA0CB1C51532BFE4C47B4773954F90DFCFC75F6940A70E7C400EE005E1C38104D143812E3F1F835922D2632E]
FP2sub = [08DA8378050C31CDAD55F627D762F559216D909A9FFFFA7345023A68CFE999C386AC69A9AB5FB1AF3F134238CA75D556,0EC66A0E890E97425033CA5885B81ABAB233417B35E782B3FDAE59EB1E347FB52469BF730B3823B9B187D7D93FCEF98E]
FP2conj = [0FB2270015105284769A0F7C793747406CC033458468CB6D149AAD36917E02FD17554E8E178BD75DFD4F6FB33A7DD3C1,12C77934AA0CB1C51532BFE4C47B4773954F90DFCFC75F6940A70E7C400EE005E1C38104D143812E3F1F835922D2632E]
BIGsc = 1035CD133C3A87581E17E9A7415B0D3161484F3DA6B1B0DD8EE50269848E456912D77610B657DFF5BE6DCA540D1343
FP2pmul = [015B5597E5ACFBDB7F3E8DFFD068B2850A76FCBA795F0258723B667D6EB7480B5CC6873A67F6A51BC09E540256D46767,18B9FAB6D01149D7CB0C9C031408A03963DD089D479121D8D0D312B3D848617F545B327621D3BE14E13E642A59BBFE47]
FP2imul = [0AC6782BE1417CDD4430EE855E45C352EA12360C2A99083584090F9858961FAC1FFD3A3AFB875D78813FBECCE9F7F9AE,02E550EC044CECBA8C87F78FB7F5E8B7D8279F0F9B71BA9932F63DF1E3D76254D4F5FBE8CEEDFB46317EF29B74B57349]
FP2sqr = [02A5157E1575C116F63940939082C01258526AE1486E4DAF6DA0EF0F0931293873CA917970B35A204DAE8493EAE8B961,0FF508C25D148B44C717E308BCCB130C1BCA2FDF7127D70D55105FC2BE8CBB3448C7029A4C793EA1E8E9030FAE3FFC15]
FP2mul = [129F747D651788859373F3811878D504AD57D07155505D92BE96ECEB0F55BA4148986A00F2590D540FC08AEF4BF508DF,120853126B514BD055A14B61359107BD0BF4AA4E1634B7D10D4E2DE21A83C4AAEC20095F87037F8BCD13C96AEBE0A8CB]
FP2pow = [18D80C04FF6ECE319133DA0884AF3CE0C6CE8F94596308E41E261C10B91268224BC3ACE924B8E7C28517128166D51710,0397C48F04D82B46423A25AA0EC7B8D322DC77E104164AD680BDCDE328A4ACE1FE8E0C3C692BD45C90452DF27B659950]
FP2inv = [03C3FC3121410B9ABA3E9315247EA8DC9793096E220ECDAF0E25D01BB8E7B1ACCD460A2EA5E49BCC4F53F918C8E8087E,811E14D183ACD0EBCD75E6722C14C03EB593AB0F9261BBA131A85425D4D53FF8E965869572ABBA60BFE725E0ABB2BE]
FP2div2 = [14D99C7527481C8F60DADB995E417A0BE89BBF653BF6EF163DE5BFEBC4177C909B00A746646FEBAEDBA737D99D3EBF36,109D554FE4798DB7C08247C3E10E091D99CF83150BA1630AC6DD4B62D6A986212DCA3F7C48B23F689A6F3E536E967914]
FP2_mul_ip = [08788E4A859D1DAF40B127AAFA66E1DC9D9878A060AB1816EE10E911DADBECDEDA6CCF94377B588C826FF30C5D508C44,16EBBFB5A4838759AC82F74DF807ACA43BE7EDEAA8267EC33B24715B4820191B543DCD87F79C562F782EEC5A17AB1B3E]
FP2_div_ip = [0B75DFDAD241C3ACD6417BA6FC03D6521DF3F6F554133F619D9238ADA4100C8DAA1EE6C3FBCE2B17BC17762D0BD58D9F,15C4CAC4F6B157C2AAC313E0C6183BE915AB0F34C32F86B3F0285E180942FFB4B1759834959653B978C70679D1576489]
#test6
FP2_1 = [17ED6E1E93C62D28B0661D861549A07B3829CAE99DCC62A9FD544EFFFA1C589CC2C855F9038B4A78579B4627D07EC7B0,06319EFBEA4F6D3609C932F2C1315F88EBA800D64A208F277A8BD6F90B4F39375B772F169D736D2C36813DA3E1EFFA39]
FP2_2 = [15AA41DA70E805BB1AB4A6720BF9B9AF31DC50840F4357EC75CC7319713B50B15FE698A91B1F7AE50FA99021AFDB7910,031460041600E13990B42B64C0155761B12E004BD9FFED3C278ED74770F2BD1AD07D8CEC69F93285DAA2C9C182E69322]
FP2add = [13969E0ECB2E4C497FFF1C41DDF7AD53058ECFE8B98AA7D70BEFEF7874A6B32A0402EEA36D56C55DAD45D649805A9615,0945FF0000504E6F9A7D5E578146B6EA9CD6012224207C63A21AAE407C41F6522BF4BC03076C9FB21124076564D68D5B]
FP2neg = [0213A3CBA5B9B9719AB58A302E020C5C2C4D809B55B8B01569DC83A0FC949D875BE3AA05ADC8B5876263B9D82F80E2FB,13CF72EE4F307964415274C3821A4D4E78CF4AAEA9648397ECA4FBA7EB61BCECC334D0E813E092D3837DC25C1E0FB072]
FP2sub = [02432C4422DE276D95B17714094FE6CC064D7A658E890ABD8787DBE688E107EB62E1BD4FE86BCF9347F1B60620A34EA0,031D3EF7D44E8BFC7915078E011C08273A7A008A7020A1EB52FCFFB19A5C7C1C8AF9A22A337A3AA65BDE73E25F096717]
FP2conj = [17ED6E1E93C62D28B0661D861549A07B3829CAE99DCC62A9FD544EFFFA1C589CC2C855F9038B4A78579B4627D07EC7B0,13CF72EE4F307964415274C3821A4D4E78CF4AAEA9648397ECA4FBA7EB61BCECC334D0E813E092D3837DC25C1E0FB072]
BIGsc = 0E2B30E9BB133E131C45DE335BE4CE6B81B48F332E0321B0F7A0DDB14BD833F1901709A8A43C7F147A6D9982AA38208F
FP2pmul = [01E7AFB8640A2DE27EAB9C03BDE62CE3B7399BD656055780CE1531D3C7F44403E1EF40DAC0B670A8D0EA3FA71559EFF9,174D01E1DAA0497A31F0435CB6AC589A4E9BA550FFE15ED1A658AD1A0916C39B6A6E8AA0A3185B4DF276C85DBF5A5DAF]
FP2imul = [0F9EDEEFFCDF4762458FF4C55D416F0A86F3C87C46E9A25455E2407C07C9E27F5339ADE24C68745ACE0C5EC7127B3BC4,04F709015A0D3B73E5D2570782AB30D535D0B8AA7F1DB905FD8A603C41DB27F0AAA7EB7261ED21DD5687343369B03872]
FP2sqr = [5CC840F423ECC81AC62918093444528F4ECC48384BF0F3496FA2BB9D8E9852C5778A71D6ACF31F2A39E7708BF583B5,0C456E7563725008F08469469C1FF8776719B287848577BC01AE1ABA12965BB42C0EBB296382BEFBA57A373E5141B82A]
FP2mul = [0B99297640BD2B18FD24B4E784E047259BA345E89E0129A7ABBAB501D2DAA55AAE358754958C03A3130E354FDEC65A33,168D370F1A733154A9857938236AA8B77582F7B6412A6AF83A92BF253C0FF0F2E388A0F20B27DA98DB6A9CAF7668AE12]
FP2pow = [026F9A385FE7298EE495F87F7BE4E0262535D066723117EB75E7344CF174C490B8FB0B6C430030C1646C2A6BB6B73747,0FFEFD22D01044296FA7F4E3783986321330306CE26A5F8313F8AAC34FCE4D51AF7F36FA3D2E889C9E39CCE7411FD694]
FP2inv = [17C9B075D3F7DBC68BA1AAFE5CF93EDD16E8CD07A579A795E11EE307ACB2A661F77EFFCEAF0429D6EC2DE57BF68E57C0,07A4DC0A24302B83518A6948893162D2B54A5B2CF32EAA45801FFD836A91903EB0B092471EA63A4EFB8F2BD035955718]
FP2div2 = [0BF6B70F49E3169458330EC30AA4D03D9C14E574CEE63154FEAA277FFD0E2C4E61642AFC81C5A53C2BCDA313E83F63D8,1019587311E7A9E82A726D54823E8630280FA62D9ED2D0F370DE54CD010017ADBD11978AA763B695F8401ED1F0F7D272]
FP2_mul_ip = [11BBCF22A976BFF2A69CEA93541840F24C81CA1353ABD38282C87806EECD1F65675126E26617DD4C211A0883EE8ECD77,041DFB304495B3C46F13A8C2932F532CBF5A803AF467DF1210AF53580EBA9BAFFF938510EFAAB7A4D41D83CBB26F173E]
FP2_div_ip = [020EFD98224AD9E23789D4614997A9965FAD401D7A33EF890857A9AC075D4DD7FFC9C28877D55BD26A0EC1E5D9378B9F,0422A163C8049353D23F5E917799B5F28BFAC0B8CFEC9F9E72342D4D03F1EB5F5BAD6C8E259E1159CC727BBE08B86E9A]
#test7
FP2_1 = [144BAB7DB830D24574E598991AEA2B4D7E189E3EDAD8E617CC8050A8B0AE29BEC2ED7BE077EAA58F29C5E6004CB170E2,0F73E6B283193D2319424C1EF4243B7A51C1B7DE452E3D0E907017923B41C7CE6D316B5013C5B71DCEB5654B09C6ECAE]
FP2_2 = [04B85FF7A63F852E25726F81923742A41980DE4F8ABDE77EAE35D7594D67C7BD0928FE2039D15534E151147DC09CAB60,086996FC50250FDF0726F9A40F893A159613E0700B7165362BEC326005E48D474D8C011EE7B20D36171C789E93BCEE99]
FP2add = [19040B755E7057739A58081AAD216DF197997C8E6596CD967AB62801FE15F17BCC167A00B1BBFAC40B16FA7E0D4E1C42,17DD7DAED33E4D02206945C303AD758FE7D5984E509FA244BC5C49F241265515BABD6C6EFB77C453E5D1DDE99D83DB47]
FP2neg = [05B5666C814F1454D6360F1D28618189E65EAD4618AC2CA79AB081F84602CC655BBE841E39695A70903919FFB34E39C9,0A8D2B37B666A97731D95B974F27715D12B593A6AE56D5B0D6C0BB0EBB6F2E55B17A94AE9D8E48E1EB499AB4F638BDFD]
FP2sub = [0F934B8611F14D174F73291788B2E8A96497BFEF501AFE991E4A794F63466201B9C47DC03E19505A4874D1828C14C582,070A4FB632F42D44121B527AE49B0164BBADD76E39BCD7D86483E532355D3A871FA56A312C13A9E7B798ECAC7609FE15]
FP2conj = [144BAB7DB830D24574E598991AEA2B4D7E189E3EDAD8E617CC8050A8B0AE29BEC2ED7BE077EAA58F29C5E6004CB170E2,0A8D2B37B666A97731D95B974F27715D12B593A6AE56D5B0D6C0BB0EBB6F2E55B17A94AE9D8E48E1EB499AB4F638BDFD]
BIGsc = 0BD56109A668B4ECB7F9CC5566C58C2BED0C95BFCF090C075F2AC923934EF7B07EB28BF06CC675EE755369ABFF158B7E
FP2pmul = [132C671DC76F2A5864996685C2F8E023572D3095CECF274BB5086407B7C196B5A3A616E0FF3CBA2AF48078E76A4DFE5A,19F6B2E9659908AF6AEFC3B506B1768B8D422B2A1CA623C1EAE6B9A13184898F8D7CFB48C4E6AEA56EF2EE4C64A80CB2]
FP2imul = [11C1BD496B25533790F2F4BD944E507362B68765530119912E3E9970495121E816E0E7480A2FE15C12A76401CC29FAA0,0EB432706617BB03B63AD196EEF65E57BD246CA6C48636192D0E158A7F77CC6A332483E462A64AB3AA435FC23AAA8C13]
FP2sqr = [14FE08152B7CC45BAC63BB7BEA5A365FD874708968F2CCFFC806CBD3A6D13C1346EDA87B5B95E8BF96841B07F188AC01,46EBC372D711CC78F986CF11265DE2355C3D1DE9907E6114A89834BD29FD190987635FBAFB28B81A84F43AA6C3273C]
FP2mul = [164D2276E795251005A1AE9CAED0E9FC6FF7D77B6DA3C4E91CC08C2EBDFA9BD1FCE8FBD795538D414C63F6E5A60379AA,04C433B1A5CDBAE2B0226BECAAF797A643D15148BA7FF9A29877FA938BA8B74FB8B87C49B722708396A065C19FE92043]
FP2pow = [1572F4FC89E4753487A88733B148ADE5DED639A2C374C28EA91F81132CA944AA6EA76F879AC1FA69493D36CF34B2A3D5,052EE21CAC10C100E5F2EBA98724C7B4A7A3F4C0BCBE8FC32715D3480968BA28DE290FE8B54D1567F74CC365F68588FD]
FP2inv = [15E09237C9B111179F7A969496C4A071B3911EAF7C71A91FC3136BB06370F2C871027665F5CA0E1D879CA1840BE9C638,1478F7908EBC5D03D23AF7607D4F1DF82CADC86A51AB865836B5373A20CAD91E8DFC900426599DDE692C670EE3372D64]
FP2div2 = [0A25D5BEDC186922BA72CC4C8D7515A6BF0C4F1F6D6C730BE6402854585714DF6176BDF03BF552C794E2F3002658B871,07B9F359418C9E918CA1260F7A121DBD28E0DBEF22971E8748380BC91DA0E3E73698B5A809E2DB8EE75AB2A584E37657]
FP2_mul_ip = [04D7C4CB351795225BA34C7A26C5EFD32C56E66095AAA9093C103916756C61F055BC10906424EE715B1080B542EA8434,09BE804601CA28CE430C3D01CBC2B9F06B630A982C821066F5BF9599F53EFB691172E731DA5C5CAD3E7C4B4B5678B2E5]
FP2_div_ip = [11DFC9181DA507B44713F25C07873363E7ED2B0E900391932E78341D75F7F8C6980F739845D82E567C3DA5A5AB3C2EC8,17952F849EF41C091D4A01792FE8B4EDCE4BD854A8AFBE3AC928B615BBFAC52BF3CDF7B67F4188C70C76BFA55E8A6891]
#test8
FP2_1 = [15932911FB166D1FDCEE6A461AEC42D50B8E5423B587A4AD6C3E93929D34502B976BD8D2E3FA2AA7088CB2AF5871B837,0C7EA543E164790894D20C051CE2EA0E6C3F35A056C0DF790B6637C2B0DD9C943E8EA0003213A44156AE886295226699]
FP2_2 = [06507E7764A8177D3A80344988928518D243DF3A1EE6E05C4D80496696604391DF18E12F33C6E6153E1B47287BA792E9,EB2C84219471E2F50818EBC5EB66E384F534474AB72C61C612ECD9FF5E716675CD8A7015C1D41AC8E621EBD143B490]
FP2add = [01E2959F263E9E02CC52F6D960331B16795AE7D8E0E9724A528E0A583CE39D9957D8BA03666D10BC8CA8F9D7D419A075,0D69D1C802F8EAEB89DA24F0E2CE50F1F13469E7A1780BDAD179249CB03C0DFAB45C2A7047D5785C1F94AA4E66661B29]
FP2neg = [046DE8D83E69797A6E2D3D70285F6A0258E8F7613DFD6E11FAF23F0E597CA5F88740272BCD59D558B1724D50A78DF274,0D826CA6581B6D91B6499BB12668C2C8F83815E49CC433465BCA9ADE45D3598FE01D5FFE7F405BBE6350779D6ADD4412]
FP2sub = [0F42AA9A966E55A2A26E35FC9259BDBC394A74E996A0C4511EBE4A2C06D40C99B852F7A3B0334491CA716B86DCCA254E,0B9378BFBFD007259FC9F31956F7832AE74A01590C09B31745534AE8B17F2B2DC8C115901C51D0268DC86676C3DEB209]
FP2conj = [15932911FB166D1FDCEE6A461AEC42D50B8E5423B587A4AD6C3E93929D34502B976BD8D2E3FA2AA7088CB2AF5871B837,0D826CA6581B6D91B6499BB12668C2C8F83815E49CC433465BCA9ADE45D3598FE01D5FFE7F405BBE6350779D6ADD4412]
BIGsc = 07FDAD735ABAF36E0DBD44DDA4085AD46E08DA35FBD7391FADEE884946FD4CE638A60143F12716F6353FA187AE1BC48E
FP2pmul = [0F2EE9390A9ACDCD2C3E6EF1D9B187E5D09D570B0266EA0C121A9C59F23E8EF3694F01ED69138D4228FDE449550555A6,07AA9E101E3FB72398EE35BE6FB050462CF2629477103EC1DD082F2B5388670A97B173BE7704BD3D09844FEB3CB5B051]
FP2imul = [1500C5EABE1D7ADB92FAA15B6BFB739E5A8FD361351C2300F1C1EBDD7AF9627C8A96EDCAC5332A9299DDE2CB6B1DB42A,09734F1C7D3F9B6D306B5D0100515FDEC85494D384B6E4111A390E6FF1FC65A159E260054A8D7DCA30C8BAB213F1CE2E]
FP2sqr = [0688FDB515C29B2E5FCD37B1F08BEBB4F8E28765B029EBA81C32B7873BAAA7CC25BA03CE4D6C03D42B91F333AB3194CC,19A86EF69D44B60F2B1F0EB9A85D59BD32F0472AFEBD85533532AE0EE615D0FF9C76AE72B68CE73CC3045D8EC57920BA]
FP2mul = [07CAA6B09F72FCF7D9A5EA2E2466D7C1DAA7B7824F81BA7A963CAD9AAD84C82F7FCD63FD1094846388B646605C63C9AD,0FADCCF087820FD145A906BFEA30C22148FBEB38DC9CD265862203E407827F742D420585D75ACE87264FD4B16BCA4991]
FP2pow = [19D2F00D3D5D363F8A71D57EE9A78AE9A3A9A6E060141FDF3472731BC754A1510537DE27936008F4E0095B16B0620E9D,0988039316245237A962A7F3A8CA27426CD6E512F56635CB0F4A6F5AF6DA940EEC9C54BF55EFC23A8EA62421712678ED]
FP2inv = [0F56087AAE2C1F5C39EA2A2BE33804179953C5F6608E357CC95C7D9E7B88A0BB93FA8FC3BCF806B2A7D1D45072A58CCD,0EF2495AC4C446C28B0F579E6FA39681EB6A0413238FE6C045668737375E779D318F15083C66F7EC85513B2A235B6AEA]
FP2div2 = [17CA1D7E1A4B29DD140508FE2F1BF7D63802CFD454865BB669B7B319C9F2A327DB0BEC68CAA715536145D957AC38B171,133FDB970D722FD16FF6D9DDB0174B72E85B4092A522F91C394B8531D3C7495C2E9D4FFF71B3D2208856C4314A9108A2]
FP2_mul_ip = [091483CE19B1F417481C5E40FE0958C69F4F1E835EC6C53460D85BCFEC56B39758DD38D2B1E68665B1DE2A4CC34F519E,0810BC6BA2FAFF8E26A4CE94F483800C13563E3F18C371671073F8B45760F69BB74E78D464B9CEE8A53C3B11ED947425]
FP2_div_ip = [1108E72AEE3D731438E03B259BE79671BBE6C4E2062442133BD265AAA708F65FEAFD3C698B06E7742F9D9D88F6CA0F68,1576D0032CA6EC8EA70D7895C447007414CFBC434421B02536C4A4B900859C58723D63955860BCCCE10FEAD99E5801DC]
#test9
FP2_1 = [19F517B8BA27CE26167952F0B3314A712502B2F96EA76830369CB9A293B7C487AF350631BAB47C81A16B88BF6D60ABDD,9D0AEE0B69C66B410D26FFAA05FA9C4A93C6A525E94A8EB25F0A529FFB9AE7BD2A7C5BF841AEA243560ED4ADFD5C6D]
FP2_2 = [1357C822AA81C19CDBEE0439623752028D69FD1C6354F53369803A49619C826F5AA6985731BDC6E6ACFC5F8EE8E7F159,0DDF45C3B5E22D8FB49502D00A83C6D368317D69B58F82BFAAC5EC0ECAAAA045EE9B37CD1AB627030406E6252511EF2B]
FP2add = [134BCDF12B29A928A74BAF73D21CEF9C4DF56490DE774AA438EC214AFEA350D2EB2F9E8A3B1E43689468E84E5648F28B,0E7C50B1C14BF3FAF5A229CFB489C16FB2C5440EDB78CD4E5D24F6616AA63B2DABC5B42912F7D5A5475CF4F9D30F4B98]
FP2neg = [0BFA317F58187434A254C5901A62663F74988B84DDAA8F309418FE62F9319C6F76F9CCF69F837E18937740929EFECE,196406FC2E16202F0A0E80B69945B23B19E384DFCD9BC830B4D1C84E56B55B3C618183A2B912515D76A8F12B52024E3E]
FP2sub = [069D4F960FA60C893A8B4EB750F9F86E9798B5DD0B5272FCCD1C7F59321B4218548E6DDA88F6B59AF46F29308478BA84,0CBED7148F077F75D793CBE5E2CDE0A046D994C063DEDA8E6EC9F0E4CC01F0C5ED3B448D8EDF879EF94E28AF88EB17ED]
FP2conj = [19F517B8BA27CE26167952F0B3314A712502B2F96EA76830369CB9A293B7C487AF350631BAB47C81A16B88BF6D60ABDD,196406FC2E16202F0A0E80B69945B23B19E384DFCD9BC830B4D1C84E56B55B3C618183A2B912515D76A8F12B52024E3E]
BIGsc = 17F0EAC4660D8B050CB7AD8997953CC7A97696A8B21E3017140F88E2BD558E46109FA11DC52159F5914207C20D29DFC2
FP2pmul = [14383535B56791606675FBAF08B999DF7A1BC61C253E2C12B273FB2F28B3A3E8A64BC7C37BD4114445539F4A04E0AD85,0CA27BA89AC1126D2D9C1F1AAA9130A6C387A49A643E2C887C196490D955CD63ED3A1D4988CE52E4EFB7B08149542F8C]
FP2imul = [19A1405E3EBF22F8A6090189C27899A568D28728CC97BE45E2900AADDEE76940A2F43196FC57E40EF56345FB6B07B43B,04E857705B4E335A086937FD502FD4E2549E35292F4A547592F85294FFDCD73DE953E2DFC20D75121AB076A56FEAE368]
FP2sqr = [10440DC1FB175BFF306D4B283EAB3B9C9387791BC193B1221469DCAEAEC7C7A77CB0244493E3A3B207C74C58A8288B25,09D59E0059FEAE30A39769BE86B91013B94A72F0DF7A410B7BD07FCA6BA36CB06BF97B17B7915524C1916FEC73B27F6C]
FP2mul = [0EBAB9F00169C0623153011C54DA79ABB573FC7610CB0C38167880818355758B2B4CFF49C964F3C7949243E1D7FFB1B6,0A938FB5E8DBADC94754C253747B9F8A0FA8CE5E62B8CF55DC22F48E2FE4FC97B68A5C49EB64D98EF9EFEB70508FE92E]
FP2pow = [19ECC68D4A999A8360FCCB3FDD9205D8168E759251D63239EFCB0F192555485E72C6E97FCA104E33EB63C34E5FCBACC7,013349E4278C9891B0B83966E4A5999BBAFBFDCE9B311C68D7B21E52AF63AFCB322B56CD24DB8098A5F801A46E6E70CB]
FP2inv = [0A9BC597C1C8F65A118A57C583F6C9643A370386FE27EA902258F7C6AEC4F338C61D3992CA1250F7F75F5A8C17192788,05751DB7A87EF4FD228FF17B664E64947E9011609298CA10B26B9F78D7FC5609D5467D1AE57C51AB0861BFB5EE97DCEC]
FP2div2 = [19FB14D179D3DA6030CA7D537B3E7BA444BCFF3F31163D77CEE6C621C5345D55E6F0831836043E40ADB5445FB6B02B44,0D4F0E6C2274D682C614675AF6A8D3B9D78589150CB72EA70CC7EE79CB564885EDEB3E2D54CAD750FEAA876A56FE838C]
FP2_mul_ip = [19580CCAAEBE07BAD56C2BF1092B4FD4DA6EEC5448BE1DA1843DAF4FF3BC299FF20A89D5C272CDDF5E1579EABF634F70,9110BC8C11ADF70C6AD23A19EB98360B1F2E19A10B9FFF81CAF1543D02694B4DB3828F01A22B242AC297941B5E5D9F]
FP2_div_ip = [0D49115362C8CA48ABC33CF82E9BA286B7CB3CCF4A48595F747DE1FA99D9AFB7B62FC146D97B1591F260CBCA0DAF0425,0D550B84E220E2BCE06591BDBEB604ECF73FD55ACF2603EEA511FAF8FCD2E15425A6BB13D01A99100AF4430AA04E02F3]
#test10
FP2_1 = [0F6EF4593F71D4EE9346215CAE440FDE2B9698425AEC273842F02127FF336F5667DBE6782FBDC8F5097DC8E8C07A69FF,073D588A31D15F070A6D0F589C04AE311FF6FBB1ADB2B3C3D884C515C66940590DC66CEB36EB65A8F42FB8E59584900F]
FP2_2 = [03EEB7432B2B0F3E4A7944F9CD4531C0600610404C1297B79BA02D5481D0EEFA11391CBF8D22D2027E360D16830AF6E0,15BEE33444B9623303FFE7CA0B5C0DDBEFE78B9FFB28244B09B66BE61C41B3DD8C790A529466C6600D5EFAD2EC3EA314]
FP2add = [135DAB9C6A9CE42CDDBF66567B89419E8B9CA882A6FEBEEFDE904E7C81045E5079150337BCE09AF787B3D5FF438560DF,02FB29D43D0ADA9FC3514F6C64150F35AB673BCCB555C54F7B0A5E5AEBF9FE127B93773F19FE2C09478FB3B881C38878]
FP2neg = [0A921D90FA0E11ABB7D5865995079CF938E0B3429898EB872440B178F77D86CDB6D019868196370AB08137173F8540AC,12C3B96007AE879340AE985DA746FEA644804FD345D25EFB8EAC0D8B3047B5CB10E593137A689A56C5CF471A6A7B1A9C]
FP2sub = [0B803D161446C5B048CCDC62E0FEDE1DCB9088020ED98F80A74FF3D37D62805C56A2C9B8A29AF6F28B47BBD23D6F731F,0B7F87402697E36E5188CF44D3F44D2C9486BB96A60FA23835FF2BD0A0D8829F9FF9629753D89F48A0CFBE12A94597A6]
FP2conj = [0F6EF4593F71D4EE9346215CAE440FDE2B9698425AEC273842F02127FF336F5667DBE6782FBDC8F5097DC8E8C07A69FF,12C3B96007AE879340AE985DA746FEA644804FD345D25EFB8EAC0D8B3047B5CB10E593137A689A56C5CF471A6A7B1A9C]
BIGsc = 1525684AF349B84AE845313BE773AC27D448D1480E8C7D0EE4B2E54CA173306ED956E06760C9191453268E9970D5A71B
FP2pmul = [02A5C21325073D63226792A0BF1F2D4F276545F059FF8626F2D342E6814CFB28B49B63F7BDF0BB8C5EEA3DDD48716920,084B78F27307C8C73F549002869F35E11E199C12D5102D27039DD8E7D2FD5BBB78DAF7A5CF0E2B26161331732DB07A71]
FP2imul = [08E13D901B80FB5FB5ECE5B2CFEA2E9A91F6E0BC70B4033D567D0D43275A1B550D5F1A403708109EB371102EC44F64A0,0D25F9074D5C8A0AC79E3AB0F592C60B56C04235343E2C63CE4948820C5156D93EA1D4478B9E92F121AF801241A9BB31]
FP2sqr = [04557E9B0D48DBE8F770E1D9866DA1E1266BF5EA735D36F07699D6B01404B7AFB93106B40C51E1092F8821DF6A3C7685,1683D2BBD295A8717A28A9624038B0C2489D2FAE36F83CD16CC11E0AE83F43D11D9A0751B2F377F77764246D09B6E1ED]
FP2mul = [A7820EECB2526211F0EFA5BD44810B1A4C3D300A6EF63B0E653BA1F1F8F11D37C08AAD79C0ACF26D73E553FE1398A3,15470BF5652665950426BCEB4B45F5EA877674B5BF6E1D4C3E665DE5F369C73E60BACCCFDCD82D44AC5C07BE32B7CBDF]
FP2pow = [09F160C44CF4849D2CBCC03E787FD7FC21E238AD358AF6F22A7AE7A61BD35282AE51B9C8F1CB666C3AF3BFF9EA8DB131,18D51A3D9B7FAE4A6DEC216E56F1327734E94E88D57C8A28CD0BCBC67C82C3D9006592881F6A08E8D7D91E173F133935]
FP2inv = [1131DA0ED9EDAA2689FD3F6CE0A9D647C1BB47E324714A488AA06676268576D13E0EBC81C15F8E4F1EF17376105F3263,04001002F4E9E76EEC6FD2F1450F8624881C7C583967281AD86621E25C6CE34284D3E4012B8B176C87967022EED3959B]
FP2div2 = [14B80321BC78DDC46F30E48978C7DE5AC806F1E3A7389CFBD51079E47AF232BD4343F33B7088E47A61BE6474603D0A55,109F353A35A8A2D0AAC45B876FA82D844237239B509BE3419FDACBDB5E8D1B3E96393674F41FB2D457175C72CAC21D5D]
FP2_mul_ip = [08319BCF0DA075E788D91204123F61AD0B9F9C90AD3973746A6B5C1238CA2EFD5A15798CF8D2634C154E10032AF5D9F0,16AC4CE3714333F59DB330B54A48BE0F4B8D93F4089EDAFC1B74E63DC59CAFAF75A2536366A92E9DFDAD81CE55FEFA0E]
FP2_div_ip = [0B562671B8A199FACED9985AA5245F07A5C6C9FA044F6D7E0DBA731EE2CE57D7BAD129B1B354974EFED6C0E72AFF7D07,15E84402B2AFABA686AF1EB43A2BFC00DEA77D3C9CE8590531FB2497DA4BDEA571A1433834EACE59AF57F7FE6A84BDB3]