# FP4 ARITHMETICS - CURVE: BLS461, Modulo = 0x15555545554d5a555a55d69414935fbd6f1e32d8bacca47b14848b42a8dffa5c1cc00f26aa91557f00400020000555554aaaaaac0000aaaaaaab, BIGmax = 2^383, Frobenius_constant = [0x12e40504b7f69e55e24dfefa84366190d073588e2fc61ebc2cb04770b31ace4858d45fa5a6510e07505bf8a1c6308a599c400f7117bf9b812a3a,0x27150409d56bbff7807d799905cfe2c9eaada4a8b0685bee7d443d1f5c52c13c3ebaf8104404777afe4077e39d4cafbae6a9b3ae8410f298071]

# test 1
FP4_1 = [[0ADEFD201307E25BE2A66B2A8A1E1FDA9C554E5088ACCD8C15A1A959D6E6F7EB03CC71405C375941D38E562ACDBF5BF05BA55505ABC4A7E1D475,0C58842FED68A4A4B965F3C0A762F9BE1BF2697C43C4016179AF51CDD53DD0DF2E2B0F6CF3945C3A5E4A9A82507AF7B791159E3BEFB37C3754CD],[34FD0F4403252394B60C3B76318C5C1D7A4BA8B525A905508E9F9139C5806883937D028F178C4A32414609F512E87E1B6EF8410C3E2E994262,1105ED8EB61D8B1DFFA4FBD7214EF7992602E667B91425102CFA6B86C12D1BD26ACB30F10BB9A7585928B9179B65D8A3C8B99D6F46B4FAEBDA2C]]
FP4_2 = [[1415662704A930BD7E4BDF0A863A8DFA644A65F162061D12B265B4429B80BE652BE1C0498A0AC7C78A499D88384F25AEA9827C9C2AACAA4548E3,14CF73746B72D2BBBADC8E0E18DC92EDF4DE11EE8E3E67A54DCB915BC83FF99766E0DAEE775E7327A65DDF9AE49D6192268CA9FFCB8BC28611BF],[0F32207F9C40C9AE9EADBB3E6BFFE20069035E5DC06F390F82BF7E8A0D00A2B8602594E338228B595FCC52FF865E4A8FF86EB522FA0AE9562FBD,06A0B204F40BC140D7B185F4D4FDBF4A24256E07415FAF5C352EA00BF3958A8278CD9FB5D647241DFA15DECA87F9A6DC51324204AB33A2E64859]]
FP12_1 = [[063D09C6958C138041E594EC9336496B491F1EA3D737B1733E09B5A87D6DD45825A73A93125DC2A2D1A3A719095568629279A280F0FC2CF48AC9,DEF88DA2C77D795C60341DD044CDE90289C66A353E952590474D2D01FF2ECB221664A57618F10557E57329161B8ADDE6FF6E6E6063BE8F4FD3],[07C391D7DECE55F1CE07907D07859D8C585A46817FD379DA6C38A7CDAB6CB1827DF3AD77C6CD6839D5737923B920BB7CAFA35FF32BABDE3FB356,11E50E55D23BA368EA0AAC0393F86588C23F97FD061AD44708277C3CE8D78BB1B16AF77879AE841C95352E35C379810315C47B9E5157169C6A0F]]
FP12_2 = [[063D09C6958C138041E594EC9336496B491F1EA3D737B1733E09B5A87D6DD45825A73A93125DC2A2D1A3A719095568629279A280F0FC2CF48AC9,DEF88DA2C77D795C60341DD044CDE90289C66A353E952590474D2D01FF2ECB221664A57618F10557E57329161B8ADDE6FF6E6E6063BE8F4FD3],[07C391D7DECE55F1CE07907D07859D8C585A46817FD379DA6C38A7CDAB6CB1827DF3AD77C6CD6839D5737923B920BB7CAFA35FF32BABDE3FB356,11E50E55D23BA368EA0AAC0393F86588C23F97FD061AD44708277C3CE8D78BB1B16AF77879AE841C95352E35C379810315C47B9E5157169C6A0F]]
FP12_3 = [[12E8D1A827B85A8CB9697F47AA0998A0856E8F401C22963457F303EFD1839FA4740E2046EEE354D2E70D96C9F16345AA05553116ECB4FC3196B0,1386032B590E4371EA6BA5AB7BA94F3A5993C223EAD3293BD2AE70F096B88E50CF5EC770F9AC8508BDD2AD3E0966527A6ED048FFABD47ECFA32E],[0ED251A09A6FE7FADA894864933D0F573D594D97CD77BD49F1F5807C2AF6E2F7AFB3F8BBBA95BF595D982E8EB0D7C23014FC59AE3009B1A3C612,01EC133D2F6BBDA547FB9006DAB1323052628B0B9A05111093D5E5E941E1EA25F6407A0B28F163DC178BD4BC751A3D0911B6559B64EE86911ADB]]
FP12_4 = [[0D4AEF6CA09AFE765AF0C7F9A07416E240078D14D9DE5CA500A2B3B28E368E1E5027667D089B23D1F6C57B2972EF9C5277C7374AF42952072AFC,05DACA5651C3AAC3B319F90FA3305201AF4D5CFA7132CC27DED6E20EB09388A9920062576A6D7C4DBBFD85D25BA5C800036D083D071E99856F79],[07CDD5BDF525374AFD117B513394F2D251A616F40F7195961DA2960AE30B22A4FD861F552AA0DB9EF323582DD21E8CBC3E4630E25DB7E631E6FA,1269E42C8BD5CDC967CF55C8075108C9DFAFCB40F3BB024E382441CAA7730E20FDF185912260894DB760FE11F327CE2BD08F876A1DF512950EEF]]
FP4add = [[099F0E01C263B8C4069C73A0FBC54E17918181692FE64623B382D259C987BBF412EE22633BB0CB8A5D97F39306092C49BA7D26F5D670A77C72AD,0BD2A25F038E1D0B19ECAB3AABAC2CEEA1B248921735C48BB2F657E6F49DD01A784BDB34C06179E3046879FD351303F46CF79D8FBB3E9412BBE1],[0F671D8EE043EED23363C779E2316E5C867DAA067594E214D34E1E1B46C62320E3B911E5C73A17A3920D99097B71330E13DDAD64064917EF721F,02514A4E54DBF2097D00AB37E1B95725DB0A21963FA72FF14DA480500BE2ABF8C6D8C180376F75F752FE97C2235A2A2ACF4134C7F1E7F32777DA]]
FP4neg = [[0A765825424577F977AF6B698A753FE2D2C8E488321FD6EEFEE2E1E8D1F9027118F39DE64E59FC3D2CB1A9F53245F964EF0555A6543C02C8D636,08FCD11567E4B5B0A0EFE2D36D3065FF532BC95C7708A3199AD53974D3A2297CEE94FFB9B6FCF944A1F5659DAF8A5D9DB9950C70104D2E7355DE],[15205836114A3531C59FCA589E61D36151A3E73005A6FB75C3F5EBB16F1A79F3992C92241B79C934CDFEBA160AF26CD72F3BB26AF3C27C116849,044F67B69F2FCF375AB0DABCF3446824491B4C7101B87F6AE78A1FBBE7B2DE89B1F4DE359ED7AE26A7174708649F7CB181F10D3CB94BAFBED07F]]
FP4sub = [[0C1EEC3E63AC0BF3BEB062B41876F19DA7291B37E17354F477C08059E44633E1F4AAC01D7CBDE6F94984B8C295758B96FCCD83158118A847363D,0CDE6600D7432C3E58DF3C46A319C68D96328A6670523E3740684BB4B5DDD1A3E40A43A526C73E91B82CBB076BE2EB7AB5339EE82428645BEDB9],[065831D4FD0FB5CA505E27911EC50A1923952023AF831470E253AC49D5A4D80C402DF7460186566FD2B4F32A6EB9F3436DAAEDCA1233EFEDBD50,0A653B89C211C9DD27F375E24C51384F01DD786077B475B3F7CBCB7ACD97914FF1FD913B3572833A5F12DA4D136C31C777875B6A9B81580591D3]]
FP4conj = [[0ADEFD201307E25BE2A66B2A8A1E1FDA9C554E5088ACCD8C15A1A959D6E6F7EB03CC71405C375941D38E562ACDBF5BF05BA55505ABC4A7E1D475,0C58842FED68A4A4B965F3C0A762F9BE1BF2697C43C4016179AF51CDD53DD0DF2E2B0F6CF3945C3A5E4A9A82507AF7B791159E3BEFB37C3754CD],[15205836114A3531C59FCA589E61D36151A3E73005A6FB75C3F5EBB16F1A79F3992C92241B79C934CDFEBA160AF26CD72F3BB26AF3C27C116849,044F67B69F2FCF375AB0DABCF3446824491B4C7101B87F6AE78A1FBBE7B2DE89B1F4DE359ED7AE26A7174708649F7CB181F10D3CB94BAFBED07F]]
FP4nconj = [[0A765825424577F977AF6B698A753FE2D2C8E488321FD6EEFEE2E1E8D1F9027118F39DE64E59FC3D2CB1A9F53245F964EF0555A6543C02C8D636,08FCD11567E4B5B0A0EFE2D36D3065FF532BC95C7708A3199AD53974D3A2297CEE94FFB9B6FCF944A1F5659DAF8A5D9DB9950C70104D2E7355DE],[34FD0F4403252394B60C3B76318C5C1D7A4BA8B525A905508E9F9139C5806883937D028F178C4A32414609F512E87E1B6EF8410C3E2E994262,1105ED8EB61D8B1DFFA4FBD7214EF7992602E667B91425102CFA6B86C12D1BD26ACB30F10BB9A7585928B9179B65D8A3C8B99D6F46B4FAEBDA2C]]
FP2sc = [056A86F9BFD1F3B1B156800117C37DF8BA9CEFA09437EAE29583B3A6734F2EF8BB0C800D13E8B15AC196D9A491C801FA8041DD67155B49DBF8A3,091D75422C50857E6629E09A95E96F0AB5BAF86ED65E3E2C60FBB6B7EA66C9C64A2075A78B6EBAFFDB6DB59F8025D01815B23A66A6D1D7FAEF11]
FP4pmul = [[0EF9AC5D3F407C524DF546038D0AC8A8C16FA146EA44B33C4366EFE4C8A50A0E4CB040EF279E2036FD9A91BD3B67FC1BE1C07FBB9F934DAC02F3,0D6FC61107DBF05522E8E07418F42B5689DD66BA5840A17BD22175C106F203F0C28B4E88F03F6050C2DEB04EF7C4009D254E47019E524B4C3FDD],[0548495842C0025382C5963AE9FF16F4527D3E5479E267590FE3FCAA60657DC9C3CC8473F31680B05F9196982CF291963A9B53EACE45E20DD53E,09ADCF48AB6AC02FAB83180451F02D4CCEF5F9C50B850575A5FDD90000F3FC8900107D5BFA38E15BFA4E0F0CBEA0CBF98CBEFC8A8A43B179DA24]]
FP4imul = [[00,00],[00,00]]
FP4sqr = [[11256677A1C221B67335796DD47B794B1575AE7C49C1BC081BAB9E58FE9A193A212B0D662073EE281E9367ECEEB909DE192601C9BCD77E889D4F,0986C835958BC4933A7EE6E29B4C97062502194A9CFBC9E7EC71C37C5FC2F02E7A4183697814CE192ADD1F03D8BC765AB011A6ABF7383E8EB243],[0BB9EC0263844275F15BC2EB947179129D3028335285BB6C1C94FF231BCBD330BFF51A87910FF4E9B75B8FA511072BB38ED414093097BF1BC309,1123BC352985F912AE40AC637CDFD4B56E69541995A6B7D2E971E7EF58CD914CFE7C9A392C06C770C7A1DC6D96C47B875EBF2EBDD61B38A617A2]]
FP4mul = [[0CA3CBEEE1B8DAAAB9F800B00B66D3AF9589DEB2571C44DA2E7623E641F6DF5C46AFB1E15273F691FD00AF063EB9EFC2C364AAD08BA809E33573,0CA722372048D504C618AF18F4B8F482A5FF4EEAE9A2183640D355A1C2E06C3A3121B0811020ABFCF7B4D38468B237202618FAF2E59DEAE0EF6F],[0DD4AD601290E1A39D58B534BA0CD274A6DB21B3DEC23F3460C9F90A2672097A6EEC82140B4FD2EB326D6AF3F8AD556774AED52871E7A5C25E43,B42F72B4C110AE412D7097A09E0DA2DAE9A58868138B1E837E66EF60CBDF03FBF8DDE68E3EA0E6D3B0C2FEDF14F7D2C895A2C1B368DE2842B7]]
FP4inv = [[0A3283DE69B05976841B9A9A97E1EB2D6108E9AD5409222E5D7E22F1DFE1CCA5449175E8E8F9D3822D4F81C75874B1A3E9955D1588F8A412016B,0FF7255EE5167ADA5D7D8BF75D5AC85B7974D466749933C1EEAB9F7CFB5E60029409D11C9B99406F3DD647EEE78FE746A8BE8B9EB883DF576501],[02A335BD895A0B04AA28B93F40BBBF0D7FD2591FEB1A3C8331C0991F32C9761A5150D2293C40FDFC8E2EDF456C3BABBA551E9CB8D5C47CE082B7,029AA952C4EA75FAA7656ECE57334931F1F33986090352BDAE8E96D1A1334D11C8BA63778479807333A2D0B3E1AF901E5AF1B078165026D9C9B2]]
FP4mulj = [[048464C5E332F45AEF66E6F86975F48066959819B6DE28703818BF4D21785EF235885B382DEF3A70D9588D1259B2652F9D60057DC589DE5812E1,113AEA9DFA20B041945B0812978083F5437D32106E39CE157D890B17FAF29C3AEE5EADF39AD133A28B69FF219078C121E42895B052F329851C8E],[0ADEFD201307E25BE2A66B2A8A1E1FDA9C554E5088ACCD8C15A1A959D6E6F7EB03CC71405C375941D38E562ACDBF5BF05BA55505ABC4A7E1D475,0C58842FED68A4A4B965F3C0A762F9BE1BF2697C43C4016179AF51CDD53DD0DF2E2B0F6CF3945C3A5E4A9A82507AF7B791159E3BEFB37C3754CD]]
BIGsc1 = 087475A211C04ECCE1B4016DB9A0E905DBC3722994F9C1E2048DFC8133BEBAC9FFF09CB1B71C55E82052E1AB60BBBB824964BD94011BCF575C2E
BIGsc2 = 11
FP4pow = [[11888A6583C371CDF4E947DB812E6F67B59C776C552062375DC00B5E2387D8BB7D96D3FD6CBBB5AEB536920EFD840EB244FF1337F4BDB0C48213,06AC9A9A7C3B12CEFF7C1BF277138CC6BA37380A875A6B329968AE02D27A34F92A3D13FB59B3C8F80D7E30D9C2AA9842E4661EC8D409CD0E8E57],[1208CAF9F733EF9FF5A37F9EE65A2300C37407DE294437C1EBFFA9B2C3381B768D69B5C2DE85983B2816D8AB13BEE7D40C4124028A8BAAD69ABE,082EF620DD75353E016CCDC959A2C7CDE410D1B772CFED125E03E8E197E7BF097ED3EDBF69D58AFAE4E426B1732B40B859019E6B3AFD2A01E2C6]]
FP4frob = [[0ADEFD201307E25BE2A66B2A8A1E1FDA9C554E5088ACCD8C15A1A959D6E6F7EB03CC71405C375941D38E562ACDBF5BF05BA55505ABC4A7E1D475,08FCD11567E4B5B0A0EFE2D36D3065FF532BC95C7708A3199AD53974D3A2297CEE94FFB9B6FCF944A1F5659DAF8A5D9DB9950C70104D2E7355DE],[09DE81E6F6A427B927D8917C9184BA48EF9CEFEE18FDAECE0780F8637B12E4776C90FB8530D3D6B32569BF7FEFDE7688B47729937ED30F93D193,060343F5DD49CC8AE6997F048308B7BEAC2FDAC4C2F33ABCA29CA3EEDBAA6756B3074B3A0FB4F9ED9F2E7A89786407F81D4399BFD0B4BB611DDA]]
FP4_xtrA = [[054AA140DBC8CEB137F445C74CE7B7E808CD131FED0FC80D064F2A0E9EC5DBC2530DDF3216086C09FE86DAD129D1BB68E66530EB2790D8A3D872,109AA8D6DCEA4300EA5D673D7EAE3BA7431FDD7C42EA8E4E3B9FECC960380789CA1EE647001CFEE18463251A2D822E79AA40302EC058002172F8],[0B51A059EB6FC2857C30745F5E6FF6DAC8A1DF981636CBAB4E0E7E5BC89B77296C6017125799C53C230AC02DEBEAC8E17206D805138255965688,0C2EA8DF454FEE38AD2318CFB0EB78A518C55C71642EB9DA112CA7CC5ED056B4885638911D3C7A990D980D78E9993FB1AD8D07EECD25CEA19766]]
FP4_xtrD = [[10BCC17CD0FFB754083E79ACD4D299534BE944B3F334C56B04ECD6E7F9AC23C036523A0C1296912377B6BBB7533FA752AC86026A654ED96F9F10,062B151B1007D59F2208D5F5611A03475C3B792AD0406BA00D97AB235E2748CC3AAB73B63B7D6B236E87EA1F37CBDC40D89114E017D1F0CAB354],[0C23E620EB8A8CBD1AC7DB6280D491CAD824BF84BCD10D76BDB23E458F56D401C71C148CAF3F0D7E1BDE1BB8FB2CFCAFC5B2048B49141C4E47CD,0884ECC7EB265AA3F8DEF6E99657046CDC32BB379235B8FD1A5DA8778967D4399A92DDCDEE576B2379734E5CCD8582245ADD14446383D92876A4]]
FP4_xtrpow = [[0441FF82B136B402095BCBA4DF50988FAA5C3103A099555F6253AB6EE608A034F1BEC3AD78DDF67FD4BCA234762B129CA65AE01A01706023B94A,0941534D894967A526C0B577C5B8F6482BB14E49AFDE19834AB40290F1CB8B110BBFCF6B38C70802F34587A15A70024C6D1929D2262BECDBFD79],[0F6E0A6E7AB2D62C3C187E576246B9D2F5F55EECE1C633425DE58C5168050C6EEC2AC64DA211AED0627864D2072AB69342FE56B6C83C2F731508,01491E93F78F770A563A4ECBCD3D0967584DAF4D8A001294F11B40448A78D5BE711ABF097ED0557BAF054779BD3C6B94F02C18348CEE877B40C8]]
FP4_xtrpow2 = [[060F30FBC45DF1F1D6A91B491E3D232D43124C4F0EC4E29C6AD8F63D2AB836DDC64935075F2347B08482B99D819271F680E38A8789CA7E60EDB9,0FD78257DC052A2A2128079F5F5B354EE689D01581BF7411458EFEF93431B18657C97EDFE85B20300022677158B21539EAE38978B2EEF1750E8E],[0C762CB9007F79BD5A21E753ED50D5E1177D582B799AF13CDDEF9D01BA073182C098507F5EAA36810FAD443F30B41925CD0079DE778FC0FF2360,0EC8BD25251593F86EA322CC2EBBA782D642D6406D079841739DF69C24670F3F7477C4C24843C7EAB1CAE0A5D72F9B59D9D06E8E6055D5EA60B7]]

# test 2
FP4_1 = [[150D8B11DE7979EFDFEFF33D6914A9178598DB1CBC48B19BF9DF6BD2B20487D48074F9095F56A49385E67A4CA880FB22BE6B953BB19C56CA8178,11D6F783694B3F83B37867C278FE1A093A85740F265772C675FA49C1445C356DA3EC19C02823BAE833B032141C4C0FE0D3B8678E314B7D5ADC57],[0F929D3F90635C424D6B8AF394FF1332EB61A922318E2AF9AA3788BFB9CC9639D6286D433DFCD8A366D5300B7413A565ABE65D13C8E00B62F6AD,03D96CB661F9D2BABB752A69975A3CBC031AFC174F0F83D1A1801E9AD8E1A66C739E6A6CE68E1D503ACFADAB7DCC29917F01A860D2AE2E6A0CF6]]
FP4_2 = [[0BAE63D042687F4D907F9EE30FBBB358AA77B858E3EACCCE7F306236111C74DFC1855521877E41DA1F7A518DDD179CAB5C3113DD14E48AEDBC74,1486D05B9CAAA566CC94DD7DC9F607330AAB7EA57E16B7ECF78F1D1864D4E631D08CCA38C3A5070ACBD8547AD6ECCCDD77A7FCFCDBDFDDB7CE5D],[130F73A72D1D67EBB6C041F2F4BD05A8F1FCEB5ED35EB26881C2C4EFF382628E569A2C76C7AF94628BE182D7860F65D2D9BF07E47D3774B5F3BF,0859D2A9F03CD3B38C004E97609479E245013E45BEC27A98386F2CCFFDC7473D5CA39B8008446F7675208A0222B96934BCFC02A587F6336C01F8]]
FP12_1 = [[DBEC9F1AFE84026C5BDCD55EA4C426D61C768A944C3E4E2AF820D7AB379ED69DF288DDE33DC22D7DA2598B5624172EF17AA269DF17B96E0B6B,0C1755FA961A5FC2B4BE66D52FB9066A479BE6D495F8718BA399D3C4F07A1500F3E7BA3FF25B95A8B698C1966584555EDAD2E5B1A6A243EC1DBB],[026B95C448666145D3BF7E64AC45130674D2C5E83EF05051E608102E859C59B458C78760354492AF8FE56EF876994E7A4F87FFC94070DAEF5F40,0CCC33713856A9FC6D7A524817F761A43C76089691FE3F8DEC5A4E29D52DD79CAAEC25E29A81CBB465A6BB6D9E470FF2B8F3ABC91F3226F515CA]]
FP12_2 = [[DBEC9F1AFE84026C5BDCD55EA4C426D61C768A944C3E4E2AF820D7AB379ED69DF288DDE33DC22D7DA2598B5624172EF17AA269DF17B96E0B6B,0C1755FA961A5FC2B4BE66D52FB9066A479BE6D495F8718BA399D3C4F07A1500F3E7BA3FF25B95A8B698C1966584555EDAD2E5B1A6A243EC1DBB],[026B95C448666145D3BF7E64AC45130674D2C5E83EF05051E608102E859C59B458C78760354492AF8FE56EF876994E7A4F87FFC94070DAEF5F40,0CCC33713856A9FC6D7A524817F761A43C76089691FE3F8DEC5A4E29D52DD79CAAEC25E29A81CBB465A6BB6D9E470FF2B8F3ABC91F3226F515CA]]
FP12_3 = [[0E0331F14765A9BB868DE843FA194ED17BFC6F8D37FB0FD4EE623FFDF422CB0B5D0C063D5D2539B21676BCEA5267A360D15EB9F7552526C1B239,0CB38BC576B8F6D202574824C16CDFA483B356B9CDA1B3C2A2CFDB5497A71D48778A1A6F6B0FCD88E4F9C27A75E1C4091B7792F22BDCFB6C6C2F],[0199A84DAF44F5353BFE1A64C7263C28CEB62818A8057376098B3AD74664D90F18C7D0A64750C9CC9B440D4EFA9157029D8578133AC32FDA6708,0DC1EA95F369DF52E0BD1610FDC2DB1FE04EDD813D64D0DDA4D326B0ED096EA1DFF990892FA14F8CE3C37DCC0C4F72023A019E308DFCE0264CE0]]
FP12_4 = [[03EF6241B2D89A472EECFFC44876607EFD86125E1141A5AD6B8B0D0F95A070A56FB3C487F7DB07129AA6F222A5D5BA8D6A6BC6296802237AB817,04579D849B5C12E9FDBD19C708ADDDA2B3F32C3CD229A1E393A3182A71355B032C98C28836FD0A74F43EBE6FA354EFA7D6A043CADCC75550DE28],[10E6414D912A9C3CCDE1C4EDE5DA49508E2DE2B62B049AFDC21826A3936098D38BEF601D9DA6ED5D82D34300B7C5D95A68FB1E19FFE60A7CF384,0D7306236A01DA786C618FC1D51035E3EB8155455BE3E22F1A5F7F857A312702DFDEA20EE8685F35CFD8A5E1D6CBC32E4D1B8648462C33785F10]]
FP4add = [[0B66999CCB949EE81619BB8C643CFCB2C0F2609CE566D9EF648B42C61A410258253A3F043C4390EEA520CBBA85934278CFF1FE6CC680370D9341,11087299B0A88A9525B76EAC2E60C17ED612BFDBE9A186385904DB970051214357B8D4D241376C73FF48866EF333876900B5B9DF0D2AB0680009],[0D4CBBA1683369D8A9D5F6527528B91E6E4061A84A2038E71775C26D046EFE6C10028A935B1B1786F276B2C2FA1DB5E33AFABA4C4616D56E3FC1,0C333F605236A66E47757900F7EEB69E481C3A5D0DD1FE69D9EF4B6AD6A8EDA9D04205ECEED28CC6AFF037ADA08592C63BFDAB065AA461D60EEE]]
FP4neg = [[47CA3376D3E0657A65E356AB7EB6A5E98557BBFE83F2DF1AA51F6FF6DB72879C4B161D4B3AB0EB7A5985D357845A328C3F15704E6453E02933,037E5DC1EC021AD1A6DD6ED19B9545B43498BEC9947531B49E8A41816483C4EE78D3F566826D9A96CC8FCE0BE3B9457476F2431DCEB52D4FCE54],[05C2B805C4E9FE130CEA4BA07F944C8A83BC89B6893E79816A4D0282EF1364224697A1E36C947CDB996AD0148BF1AFEF9EC44D9837209F47B3FE,117BE88EF353879A9EE0AC2A7D3923016C0336C16BBD20A973046CA7CFFE53EFA921A4B9C403382EC570527482392BC3CBA9024B2D527C409DB5]]
FP4sub = [[095F27419C10FAA24F70545A5958F5BEDB2122C3D85DE4CD7AAF099CA0E812F4BEEFA3E7D7D862B9666C28BECB695E77623A815E9CB7CBDCC504,12A57C6D21EDF472413960D8C39B72939EF82842630D5F5492EFB7EB88674997F01F5EAE0F10095C6817DDB945649858A6BB153D556C4A4DB8A5],[11D87EDDB8934EABF1011F94B4D56D476882F09C18FC1D0C3CF94F126F2A2E079C4E4FF320DE99BFDB33AD53EE0994E81CD1FFDB4BA94157AD99,10D4EF51C70A595C89CAB2664B5922972D37F0AA4B19ADB47D957D0D83FA598B33BADE1388DB0358C5EF23C95B1815B20CB050674AB8A5A8B5A9]]
FP4conj = [[150D8B11DE7979EFDFEFF33D6914A9178598DB1CBC48B19BF9DF6BD2B20487D48074F9095F56A49385E67A4CA880FB22BE6B953BB19C56CA8178,11D6F783694B3F83B37867C278FE1A093A85740F265772C675FA49C1445C356DA3EC19C02823BAE833B032141C4C0FE0D3B8678E314B7D5ADC57],[05C2B805C4E9FE130CEA4BA07F944C8A83BC89B6893E79816A4D0282EF1364224697A1E36C947CDB996AD0148BF1AFEF9EC44D9837209F47B3FE,117BE88EF353879A9EE0AC2A7D3923016C0336C16BBD20A973046CA7CFFE53EFA921A4B9C403382EC570527482392BC3CBA9024B2D527C409DB5]]
FP4nconj = [[47CA3376D3E0657A65E356AB7EB6A5E98557BBFE83F2DF1AA51F6FF6DB72879C4B161D4B3AB0EB7A5985D357845A328C3F15704E6453E02933,037E5DC1EC021AD1A6DD6ED19B9545B43498BEC9947531B49E8A41816483C4EE78D3F566826D9A96CC8FCE0BE3B9457476F2431DCEB52D4FCE54],[0F929D3F90635C424D6B8AF394FF1332EB61A922318E2AF9AA3788BFB9CC9639D6286D433DFCD8A366D5300B7413A565ABE65D13C8E00B62F6AD,03D96CB661F9D2BABB752A69975A3CBC031AFC174F0F83D1A1801E9AD8E1A66C739E6A6CE68E1D503ACFADAB7DCC29917F01A860D2AE2E6A0CF6]]
FP2sc = [14394F15AEB2BB05D0D17E34A1FE95DDB3CA439BAD4145A26A3AF04B493F9C2D9DFAAAE594BE1DD15FDC25706EFA82CA2A82136B841E7590504D,13D1BD499B5EDEDA154F15DB59C769AEDABBEC878C8561AAAB35B1D2CB764032DD2166F5D301CCDB1BD234CEE8FA3823BC21A01839497A16A7AC]
FP4pmul = [[154FCB45044890686734E7541095805D5012CA2EA42DDD84CE92A297C028F0288EED0678761B044918F6A1EC278B95D1DF85CA8E4F85D49EA14E,09168010D8D9F1328FC2D0A98954E7E5F1EB1782F2688169B8F78E46F781C04AC803FA9603B69383DABBFCE7EFE7C55880906955A67309BC0E53],[1272A928F1F4A821151BD715A127D584B4330F5DD88DA6B27253B0C1856D630CFDF1DD7A8CB011451823B7EEDD7983B75F3A6584C69E472348F7,08CE088CA3D2C5CD7C829F6B351105CCF9A72ED9210C711729AF6FB5B9CCCF367DA7021D044C50F5AE3D0FA176FD037179F8BCA38531FC6B8D2C]]
FP4imul = [[150D8B11DE7979EFDFEFF33D6914A9178598DB1CBC48B19BF9DF6BD2B20487D48074F9095F56A49385E67A4CA880FB22BE6B953BB19C56CA8178,11D6F783694B3F83B37867C278FE1A093A85740F265772C675FA49C1445C356DA3EC19C02823BAE833B032141C4C0FE0D3B8678E314B7D5ADC57],[0F929D3F90635C424D6B8AF394FF1332EB61A922318E2AF9AA3788BFB9CC9639D6286D433DFCD8A366D5300B7413A565ABE65D13C8E00B62F6AD,03D96CB661F9D2BABB752A69975A3CBC031AFC174F0F83D1A1801E9AD8E1A66C739E6A6CE68E1D503ACFADAB7DCC29917F01A860D2AE2E6A0CF6]]
FP4sqr = [[1442A30482B79069DBAC2BD82BBE87FF35FD071EEB1A0064652894F76B9E7CC395C1DCAC63D7F804923D493171CD3505748FDCDEAEE64BD73BD3,04E22C9357B1831AA07E901013DBCF4B24138FCF63BB8E928D88D209D6C724F8C6DBBC73BD9AF12E83BBA3EE3AB29EA1F7A2F68A1D7FD840E27B],[0ECDA247BD153F89CD41308620FA7E67C40C382FDF4395E58D42C718EC46092ECE0E2FC363399D0D82BF7D9225DC554A2328C08AC2339ED2C65D,0BF207695346C3B1C02CA0CF98CC69E037FB7ED99931EB320C967A66FB8B09F34F7BA831EB30276316093826BEF29CA725A55E7A192393DF1EF3]]
FP4mul = [[0961D56FD841C788DF317A2518B9A14F091E9BA1DCDD6F18CAB54A1192B3819DACD850A0101B171E9D1A771AA98CEA82F66FC5684AD9C722F921,0D7C79CF8D70BF9FD07753DC118BD14DEDE27BA9D602BFAF874DEA342793C96693BEEA3FFC320CD9DA628755F8B3F934706B81F1628C1C288EB1],[08D0A2EF045E8A845ED1D79B7F645C6DB627385914CE4AA74E01B2B75A65DD37182F426FC1611C6A9886F5FC66A68B5879F3C58D2851D0B7A55D,073FEAD2ECDAFB5588A68CAC50ECD8264C014F76DFC5FFB9F84864B3A118A05924447721C344E690B3A3EF6305CBF5F94D1A0CE554B2B0439EA7]]
FP4inv = [[051961D0D190C9360BE55DD2994F58274F5AC47773975A75A7C46AF162E64E7C39E2755964F19434A57195B0D64EE9784E22658015B5183D4E52,0D7071D4F0E55B3E88EE97D75AFCDADDB4508DCCC9712B07DE44BEE2AD7DEDD27C13E2EEBB385BA72A6180278ED786C7FD9800F1DDD99BA26915],[143B55A1E895F8EB44E35D3FBE2CE3D8DA15605C4DAEEC8E341E99D64FF185DA6523B4455D1706DC97E7A56DFE0737E57589D137851BEB86EC45,05C45EB4E4AC27011272B7ADC99885A75CE76F94D920773A3F1CBF50F4A80A0FF744D40B00ABED7A596DCE2262B53C07203D17284648BD44DE57]]
FP4mulj = [[0BB930892E69898791F66089FDA4D676E846AD0AE27EA72808B76A24E0EAEFCD628A02D6576EBB532C05825FF6477BD42CE4B4B2F631DCF8E9B7,136C09F5F25D2EFD08E0B55D2C594FEEEE7CA539809DAECB4BB7A75A92AE3CA649C6D7B0248AF5F3A1A4DDB6F1DFCEF72AE805749B8E39CD03A3],[150D8B11DE7979EFDFEFF33D6914A9178598DB1CBC48B19BF9DF6BD2B20487D48074F9095F56A49385E67A4CA880FB22BE6B953BB19C56CA8178,11D6F783694B3F83B37867C278FE1A093A85740F265772C675FA49C1445C356DA3EC19C02823BAE833B032141C4C0FE0D3B8678E314B7D5ADC57]]
BIGsc1 = 07215E1798717E2DE0A9DB53E69016DF88FDC862CCD307E1BBDF3D8BF8A50445CE7C6CD5242805E8A7DCFF6C593480CF54C410A75419F15C5FF9
BIGsc2 = 33
FP4pow = [[0D42B0670176FAB6FE8D2B92F75D815D8301165861E78609573E335AADA1C1780DC015C7EA3E50392C19B0CEDE31AFF052E627875F2642B39631,154D613CF39674455B3417E257904C612F7EB313D64F1B8B6C9837931407BCF2D669B00D2F0D7AAA9C6BC818EDACD2768B2A1C7D602BC7D111BD],[01E0DD92D906C07B1A544165670736907C5F6D0934D64E59B718019B5F7FC00B1637EB3F78D019737D5179269008C8BB340511A1153C22F8EA22,14CF22C62AE566147428B1FFDB3147F14EC3AD7E3FF5D4D3D670749234F36B5DBA0C2BCAE239D642F9EF17A0EF4462ADA1BA30BE585CA492DD25]]
FP4frob = [[150D8B11DE7979EFDFEFF33D6914A9178598DB1CBC48B19BF9DF6BD2B20487D48074F9095F56A49385E67A4CA880FB22BE6B953BB19C56CA8178,037E5DC1EC021AD1A6DD6ED19B9545B43498BEC9947531B49E8A41816483C4EE78D3F566826D9A96CC8FCE0BE3B9457476F2431DCEB52D4FCE54],[0301C9647F0ADA22B815B0B2250E37D660C693218D130D1A68B2C4BFF597D952E2499FA01EADCB3CB28F6CA72359F055084BE00AAD882005A0,CB52BBAD015EE1BA3AEDCABB22EFBEC371031496B65F5D68DD8E44275C1E58A38335DC1EE3EB6299B07D1707724AADA142A6C49884227077D6]]
FP4_xtrA = [[07699DC87BE606606C25C326C572B354521013B7200BCFA5301537DD8D2546D21A9A7D5AC31CC010398203BFB70EA0E210CEA365BB7C9D03EF11,0DC334C873398EAB3C703F285948D6A9562F83F778C41EFBBC3E37D9E53B263791BDAD7BB12FD7AE5CC4E701DFD94C95E0C43C1152C63F197628],[13F42BCADF0B08710446D9DF7C1D6BCDC3A6B93852CCA5219C46DAC543BB8C24326FA1E24813E8037791DA312C9C25A8260EBF3F39703EDCA8AD,0B5391E50AD20FC81F84FBA707BC0E5B295063C4E5B9F55E9BF555DB9DBE475EDEC9B125FC9ABC41BCEC754AFD9118ACB71541ED847AE052DA8B]]
FP4_xtrD = [[14D2376B705F5134D077F28582BBF54B0907B696E821E6229A72D3D7595561D2CE5808E6FA4D59DB86F054D820D5E96A8D0E07BF4BAEF3978E39,0BDEE8172FB5B8BDEE396DB34B065AB38D450D628CA5F1FBCA9D550C9FCEAED5B883A740C276265C1CDB40060225298AE5877CC5BAEA32E07F23],[0348323C33414363B36C994521D1E552BC9324C2CCC6A2E2B8A8C2130E1F40EA40DEEBFC8A10A3564FE9DD690DF8F56AE5A0255A53F260435E61,13A4E0D6173A69273716F5A2C780E3583E3177083750F2D54F96B79CAD4E56CC36B87D0BB84C62038BA8937DBA8AEFCA23A8AF3BBE7FF0B338DF]]
FP4_xtrpow = [[12DFFF2FA46CA4F59A9FDE92F1B3DE756078633E2893D23C8906E9EF771623951CE685691B2AAFEBA2CDE24AB255BF10E968E65C209E0D663F2D,07C071A788F1DAC41D3234D7B6051D089D4C7181934A344D4406CE3BB3FAC87D11E29FF3F7D6D3134F12A66F7330DBBC42D94A17F635C3F7FEEC],[0BAF34B7E76AF40B945E5AF06FB9D2907EA6557B4FBCCC255AE80B1AEC49778B0E0C668898D219E38E6071CC81DB4CAB83C099FCBA64CE216982,0A4066AAB637D4CAA4FAA05CA6286BD70097CD57E3A8831958580B1AB6DFFA7D4A747ED9E393611504CE9AA3CD452F2B8A5AB85212CF62507126]]
FP4_xtrpow2 = [[062C647DA602FA56B79EFD382C8F2CE9BEB7D85460E54264ECF8E43494A71B4FFC2BB1C53ACEE02BB1C2A44A4D5FA52214B4B45E206FC47ADEF1,102C881B1516BC5AFB3357D95057DBD1C2239461F5249CD0A9480C1B3C2B0A850DACB20228CCCE1EA99C97681DC89F0468F670982E6614DD1AB0],[0AB0302F36F63BC7267D36BF7778F3294C9CB85E29BEC862E1B7F2774D74F33A10AE5EE7C677B0BCEF50FE25978280344AC5226A3BF6C81605A1,123DD4A09A2B307918883A4C25B8EF94430312127CADAD46C644E1D45A642002737B74DB79B96DB032A12DC7DA4FF2412A3C417BD5B7433410E0]]

# test 3
FP4_1 = [[0CA068E501B9430F7EB457992E80F8B366A6F6004E4E1E3CD04A01F5078A454B810F168F07AA652A42E4093B928607EDEBB9B1D987847C2C5FD2,0F4CE74A74BC0942277377E4133B549893BBD533C6A0BBC9D30646F1277FDB47E4EF8E93466D2B7E4684F6960B40BBAB88DCD54AF247D5B049E1],[138291DE45BEAFF40F09535AC72322FBB1F95E708731BAE88CE46533E1475AF4EB3C1141AF776F5A9985D9FE1A57BB29320B04559E8ACA1BF651,0B5D60F0CD340131C729D9446375F9D76E68F66D03D9B33C207CC42A057B3F7BCF1E2B666779FBCFCE37FE999C1B2A0F167ACEB5CCFBADA51EF7]]
FP4_2 = [[0C9E1F68F3968FD188EAD4EA5DD81F4A83271BF2A1655E6D70774AAFED7FF75B3385EDC936123537A23FA72EA6701A6222C054463253A700EAE2,0A38CA3644B9520070817D99CA902EE533BB4105CE4761E7E4FED426F627ED0A6C3FF222D5926181D89FEADBD3A63350A2D91E7127FA96D87CAE],[0D493364DD742A2EC5CA738F59223624FB523225C7B5847519386F56EF2806202C3144BC62C14A085ADE5DB3719E9233A45FCD3373BE9BF4E01D,AEBED9DC76EBDE64F1E9B9053475D47EA74252D53E979D6499328034B1520E37EBB6225A5BCDB5E34125AC492382E41EB563A251B5AB0A8CB4]]
FP12_1 = [[04D1EAB8EC494E3A33C3125474057675DCF1F5AF23450F6BD21B3AF031B20AFF6882C344EFA3BA6F6211FAEFC497C77F79AE55D53EA6087351A0,10F5502E30565F956A0C58855E38589678C89C1CDB60BA1A763ADB9297F066E3D7FF4B373C893F61063E18AA4ED694CCC8C55976481C7D52D430],[0CD9EF1EF231034EF24ACBBEA4F2E6BB7E0A572795250C92BB3A18874B6F3A5A33C8A8B30FB059AF2D18C6AFCF2DD9557C8C27B9A7D4D8687E2C,0CFF6F372B71BB3E1A1FC44A346562A02CF992859848FC89DF028419EDE1527F9CEADB430D652A39D1075BFC56132BA41D39C9D2442A8EF10AAC]]
FP12_2 = [[04D1EAB8EC494E3A33C3125474057675DCF1F5AF23450F6BD21B3AF031B20AFF6882C344EFA3BA6F6211FAEFC497C77F79AE55D53EA6087351A0,10F5502E30565F956A0C58855E38589678C89C1CDB60BA1A763ADB9297F066E3D7FF4B373C893F61063E18AA4ED694CCC8C55976481C7D52D430],[0CD9EF1EF231034EF24ACBBEA4F2E6BB7E0A572795250C92BB3A18874B6F3A5A33C8A8B30FB059AF2D18C6AFCF2DD9557C8C27B9A7D4D8687E2C,0CFF6F372B71BB3E1A1FC44A346562A02CF992859848FC89DF028419EDE1527F9CEADB430D652A39D1075BFC56132BA41D39C9D2442A8EF10AAC]]
FP12_3 = [[048F73432C3328BE055FD720BB51C8AB160783DC3092EB3841F37E862EAFE7946CDF613E0E0817E9CA79082D83467153510FDD0A234BD71AEE99,063F418B9631F593D59E0C5F7108520D6F27BF33037BE9B12901DF0DD51C7FFE0AEAAE7D4EF9267BDC9828A1A199BC8A51CF2EB86304FBCE89FF],[0EEFC55F267719EE84E01F3C1ECC4EFCD72905AA5E1F8A7E71FC99B38DF0C87A301E2263FD48E89803ABC5B5BEF826AC7D2A600AF1C1BFF6FA73,14AAF10D1A56E986E361F8BD452ACF2DF5168FCFEC404F50331E3A2DDE2BA64D3AD055F7FBB60F73F1BD37FE81A5B19DE47858D67B4CDF1ED60C]]
FP12_4 = [[03B3113182EEBBD274E27F7E7928B8BA83A2989471207768792AD3246BEDE5D1EF2A826F66A0A0931FA7202882E8AF74E0B70AAD3C2861FF142E,111B8CD0798D03AE4C120CE3AB6C6577C891C69D9FAAECDE323877C0D42AB1653318B3CAAF98AA489A5AF9011A1EE808F3CF1402336FAA030990],[0EA45ED0EF4E71CB5DBC3BF5BC620394AD7CCDD145F7E54240B8F84AEBDB677481067D0679D4C521209390489B14B3F763D8DAEDE8CD829A9F7F,0AE471BEB60C30715391C726AA299724E82CCE0BE99F79B8A36190E7B5DD6DD0D8C9C97219B77AE8A024AD134840CF5B990F0645FD024A789DD8]]
FP4add = [[03E93308A002788BAD4955EF77C5B8407AAFDF1A34E6D82F2C3CC1624C2A424A97D4F531932B44E2E4E3B04A38F0CCFAC3CF5B73B9D77882A009,04305C3B642800ED3D9F1EE9C93823C05858E360DA1B7936A3808FD574C7CDF6346F718F716E37811EE4E151DEE199A6E10B49101A41C1DE1BE4],[0B766FFDCDE57FCD7A7DF0560BB1F9633E2D5DBD941A9AE291984948278F66B8FAAD46D767A763E3F42437918BF0F8078BC026DD1248BB662BC3,0C0C1FCAA9AAED102C1BC2FD68AA6FABED1038BFD9184AD98515F6AA3A2C918A0709E188C1D5C985B1792445E53EACF3353032581EB158AFABAB]]
FP4neg = [[08B4EC6053941745DBA17EFAE612670A08773CD86C7E863E443A894DA155B5109BB0F897A2E6F054BD5BF6E46D7F4D675EF0F8D2787C2E7E4AD9,06086DFAE091511332E25EB001580B24DB625DA4F42BE8B1417E445181601F1437D0809364242A00B9BB0989F4C499A9C1CDD5610DB8D4FA60CA],[01D2C3670F8EAA614B4C83394D703CC1BD24D468339AE99287A0260EC7989F673183FDE4FB19E62466BA2621E5AD9A2C189FA6566175E08EB45A,09F7F45488195923932BFD4FB11D65E600B53C6BB6F2F13EF407C718A364BAE04DA1E3C0431759AF3208018663EA2B46342FDBF63304FD058BB4]]
FP4sub = [[02497C0E22B33DF5C982AED0A8D968E37FDA0DACE8BFCF5FD2B7451A0A4DF04D8928C5D1982FF2A0A4620CEC15ED8BC8F95D935530D52B74F0,05141D143002B741B6F1FA4A48AB25B36000942DF85959E1EE0772CA3157EE3D78AF9C7070DAC9FC6DE50BBA379A885AE603B6D9CA4D3ED7CD33],[06395E79684A85C5493EDFCB6E00ECD6B6A72C4ABF7C367373ABF5DCF21F54D4BF0ACC854CB625523EA77C4AA8B928F58DAB37222ACC2E271634,0AAEA216F0BD15536237EF8B5E418402EFC1B41A2E9B1B9EBBE391A9D0C9ED6D973275440D1E2E19EAF6D8ED52F7A72AF7C56B137B46029A9243]]
FP4conj = [[0CA068E501B9430F7EB457992E80F8B366A6F6004E4E1E3CD04A01F5078A454B810F168F07AA652A42E4093B928607EDEBB9B1D987847C2C5FD2,0F4CE74A74BC0942277377E4133B549893BBD533C6A0BBC9D30646F1277FDB47E4EF8E93466D2B7E4684F6960B40BBAB88DCD54AF247D5B049E1],[01D2C3670F8EAA614B4C83394D703CC1BD24D468339AE99287A0260EC7989F673183FDE4FB19E62466BA2621E5AD9A2C189FA6566175E08EB45A,09F7F45488195923932BFD4FB11D65E600B53C6BB6F2F13EF407C718A364BAE04DA1E3C0431759AF3208018663EA2B46342FDBF63304FD058BB4]]
FP4nconj = [[08B4EC6053941745DBA17EFAE612670A08773CD86C7E863E443A894DA155B5109BB0F897A2E6F054BD5BF6E46D7F4D675EF0F8D2787C2E7E4AD9,06086DFAE091511332E25EB001580B24DB625DA4F42BE8B1417E445181601F1437D0809364242A00B9BB0989F4C499A9C1CDD5610DB8D4FA60CA],[138291DE45BEAFF40F09535AC72322FBB1F95E708731BAE88CE46533E1475AF4EB3C1141AF776F5A9985D9FE1A57BB29320B04559E8ACA1BF651,0B5D60F0CD340131C729D9446375F9D76E68F66D03D9B33C207CC42A057B3F7BCF1E2B666779FBCFCE37FE999C1B2A0F167ACEB5CCFBADA51EF7]]
FP2sc = [01CBF7683F81B6540F3A5AA11E31443D2B56CD1BD7183644DC2AECFFDEB3068DF02BF6A97611AEAC81FE40F9DF916636F447FA388F779925EF8D,0D13DC57D0AE42EA23742916A946EEA6B51537E7A950F1336454481658A648C6B0EB57B07F7E1EBA03CA581CFFC5918F80FDB98F8E7C22D08538]
FP4pmul = [[0641C5C182F7DE5836F75BCA85155347BE776415F4DCCB070AE37A8C974245AA53DFD1532689FC73FE3DE3546F8E048025BB7F64117AFFC249F5,035392755207281850B4E2D0A48AFAE02AD1E41FC4BE4CFBA706E523C596CC98425B4A13D6DCF8CAC0D8189E3CA5D5F9D8F28BD54268A9C2362A],[0DBB0AAD134093D14813C2A3EE5A47BF6B448FD9987CAFE9DC6B690D1ED46AFCEBE352163405F34B4940C334A21565565B888882A14EE06885CC,118576A00D0012F260BCC4AF18F94710AA1CD0C688A077561EF9C7FB2776772B95BA02E0EDBBD0895044327B1F33752A83C297F3EE6523B15F7E]]
FP4imul = [[03EB7C84AE252BC9A312D89E486E91A95E2FB927E1CF97FE8C0F78A76634903AE55E1DF764C374D5858812572506BA868CC8B9070F084DAE14F9,0944794F942AB82EF491193411E34973B859778ED274D3189188029FA61FBC33AD1F0DFFE249017D8CC9ED0C167C2201C70EFFE9E48F00B5E917],[11AFCE7736300592C3BCD02179B2E639F4D48A085396D15605443F2519AEBB8DB9B8135CB45D893632CBB3DC34AA20FD196B5DFF3D14E98D41F7,01656C9C451AA80E33FDDBF4B25893F16DB3BA014CE6C1FD2C74FD116216849B817C47A62462A2209C2FFD133830FEC8E24AF2BF99F6B09F9343]]
FP4sqr = [[07326EC75D832FECD03C2590E3CD5C3D8F4EB2FF3C52DE6E6BDAF322E7942CF8EDE70580B9450732E229A87A2371487B17A9FD11B386B878BDCE,0E6D2CC57721C2D8DAC8C2A49120D7C8443E7D6D84D58464D3537E99DC8ADAB3A327C3971C7878284C8A41C99344D7DBE9160B7DEF65108FCAEA],[05E24EDA2E8B5020F8A4AFFD2BEBE03D76A2177C39E91A5840576EEEF9FEF68B72A173C7BD9D4C6B0016CA082AA0E65346F2085B858E0EBF7968,090EA522FB9E917E5E615DF142F1762D819B757B05EC4A2CC5E2B116B55BEA931D66287A2FEBBC942EBA3BE98AD9FF014BF0F400045255DEA795]]
FP4mul = [[297728B4ED6E6DB8861027880558040E07FF6E0E91F2D873499C87EE295D4D77A06BA10CD00AA33F1C552175B5C1687D05E8383A4E26C4B29B,116E44FE6395D86389379E92D33E5927521B0FE4BBFED8184F4F63631C806084A49549FA22FC086E664E4CC123AE290C4BAB258D22B810AF22CD],[04623E903FF5C3F0A539497154E7DBC70E4F864467172428CD52E60E7F92069E0765FE783E61A0D21C2F04D9FDEAEA64506D9DCFEE863408B8DE,038D3065AA8292ACB9DCE0C7A932992FC18B81D84FB4148A7D0862FDAF320BA0A43743F66078A90F552906C4EFD2B6D2453F418F10136C55F5F7]]
FP4inv = [[118940EC8949D991A3B1437E889433756F5945269C0938DAE6F0AD60D6EC0E451B36BB5525E27C3F65E2601F2D3E979BE3D2863B9EBB74C3173E,09306D8A5BFB89DEE69AB7A6C43D70204E4A0EC68BED45E708C53DFC82EA4B7AFF2FEB5E0D72A1F06A0DCDBBEBBCB0BA9E43027C7FEE7B14665E],[0FE4561B7D61EB32D7B1F1052B5DABD40F0CD2B3385513833822B237215C86BF1CC7202A221AFF67B900310990BD7A376828E7673EEE6D469839,3F73F4096ADED942AF92FA1D2980A58FC48B804902CB85C72BF7ED8C966803E813237BEF4D9F7602B3A80694B645E80D3569622D6FFA160E63]]
FP4mulj = [[082530ED788AAEC247DF7A1663AD292443906803835807AC6C67A109DBCC1B791C1DE5DB47FD738ACB4DDB647E3C911A1B90359FD18F1C76D75A,098A9D89BDA556D07BDD560B1605BD15B1442204D03EC9A998DC9E1B3DE2A0149D9A2D816C6015AB677DD877B66D8FE2FDDB285F6B85CD166A9D],[0CA068E501B9430F7EB457992E80F8B366A6F6004E4E1E3CD04A01F5078A454B810F168F07AA652A42E4093B928607EDEBB9B1D987847C2C5FD2,0F4CE74A74BC0942277377E4133B549893BBD533C6A0BBC9D30646F1277FDB47E4EF8E93466D2B7E4684F6960B40BBAB88DCD54AF247D5B049E1]]
BIGsc1 = 11419376F42F873B4E481EFC9682D5DF2920C470ADF3A32A31F4E31F6D9F456057F719A7115A255E242F9683FA41FC2C555BB28D25CAE8EE2C31
BIGsc2 = 50
FP4pow = [[07FAD28C7262E5BB8AD0C3233B3322F8159939B982ABDC0F484A0731A76902AAC903615C6099C3DCC0266F304505EEC42163D6945B9D8BC30123,14268EE03CACCA7E7AA393CE14D044052B0BECC8075B847B35B863D750EBE4F70629BDB05B396A553565FD5C57C023A5742A87F03B42603979ED],[05844403462128452F1CCEECC402954D5F72C09B351B31EDAFCD3E67098EC8FD76F4A7655FC66364B0B39D43E1CC75D6B329A6BCDF77E5EE31CB,14952B2CDD4122F4EA40821B1A8B9A4CC5702730EB5FCE79E98EFE02665DA15F368BCEB33C1E2D9989152773E8A6CCC50C4B3439BD0D4D0B2D9C]]
FP4frob = [[0CA068E501B9430F7EB457992E80F8B366A6F6004E4E1E3CD04A01F5078A454B810F168F07AA652A42E4093B928607EDEBB9B1D987847C2C5FD2,06086DFAE091511332E25EB001580B24DB625DA4F42BE8B1417E445181601F1437D0809364242A00B9BB0989F4C499A9C1CDD5610DB8D4FA60CA],[04F2AFCE826E01FFCB6222CA4A539BB510297851BF4E706A9EF1FDCB1A6F3192147A7DB4D3339585945EBF2C0335C7971EF864CB4AA344389514,0249575E7CF0731A7CE8790237E75454F39CCA4CB6395C8D3217580CD4C59D73389BED449267B3E826D4F5AD245B82281B9497127CF3A3E9AB66]]
FP4_xtrA = [[05D5C61E0FBBD529883C4BA04B43597F3CBFB96D8A3CEF9F58FDB4572D6D2ACC3EF8156980F738FFDF894FFAEF6C58C6C511A3492D3844A20155,04B35AC5301A292D10BE0E359E70C2F80D8DF3E0782911129795A99D8D6FCF116497806C91BE0DDE3E2634DACF242E0AF57D3BC8EDD51049D6CB],[036431E8F7BBE959DE1483EA6FD3AE15D8CCD2C17A8088E7759A948C9F7F1F17D60D6FBB17B18EF6783B64CD02A9C99938834CF667A46AD5CE47,0FFE5A289B5867B7285C5B4FBA9C6F429BAB7868DF0A82FD910527BC8C8266BB800B9DEF207E13EB14E6EA80A2DE5BDA87963D3B2A10FC6774CA]]
FP4_xtrD = [[0346F242AF5E04232D294CF29B5ECA94311EF9D75A83466FDFCB7A7B815F9CBE0888E7895481925D5CA19622FE6A8DF48AE1440AA47E6ACAA8D5,0528B375E2F70AA9E637A9707F3D8E548BE505DEB260B14C41CB7BFA366B1E7FF608B5973A2F76AABFC054BD7CC8B5DA22070B940AD60FD9E1D3],[023CC80C0F6DFB5E620BA98A910B66B9FC586EABD2B34733311722D16ACDB7BD0F9977FDC769802232A27DC45F45B1FB15B2BBAEC2A24DA210B4,0A7411BF40B9398C925F39E5F54A0A1EEF4F2F7C52D30C29F257AE2817726F2E9EE27020544E5EB4CAEA38FCC30AFDCA2E3BE6BF9E49067E3AD8]]
FP4_xtrpow = [[0AC36C7A1FF4CCBB16D5F5102DBA8E600D81C65478AF5A4EAAC5B855C7DF5A7917C4C4E8383CE4E13214C1457B6037063DD958889556165430DD,1554FE9107F5228668F68655A9D5707E6EDFA64765AA00D2367AE8578C574575EAA305462D77437D8A1B2CACA4D48499B386636360DB867BE251],[03F98F41648B78E6EB6CFB647E9B112CA06B24C6DE6329EEF174D6B4D3B0B34A83FF4FAC2B89C92195D20C4C74EA8634D2B9AAA6E171F4032B75,0E52C717F45C70FEEA6AA974B9F4068B4CE9E1EF01B8FBC0E77AEB79027063EB0041A951EC8C057E00B785097CDDF9A153EB9B05256A342FAF35]]
FP4_xtrpow2 = [[0F3BA5FD899E9EDC18B735ECDF648992E8335E6E4049B631577B09ED37304E32DCD4348B9361A4968BC536943524D4B5E84EC89A24F33A090A4D,13CF541E645D88951C255089CB591FC367CF9022A72E25F7DFE3B69CD95CCD3E6B8E4E137809754917A59C6ABD08B45718EFAB341418BF4625D7],[10CC790E873449BF48E227C4A77FF6A0FBE88A6F0F238404D8272A2A3217949DB0AC7AA22772F7DD3E07A8A1BFB37CF3BD68B33B7F570CA8D0CE,0754FAF4252E5B1DB6C99BA0E123A77258A12D07CE4C88FA72642565E91F03295B1A7A89AB23E672EB9710937C412EB981DB099A0D1E3F7D06E7]]

# test 4
FP4_1 = [[5BFFA6485665E3BED3DD5A693B6ECC74A9A430C7A8E5B2E8D7D4B05954B33481AC3312A11DBBF07E410E35C61DE1EAD612932859FBA5E4B253,136C915781576B793FFFCBD1A3ECCC75F25F537B10612E733E898D13C8889C475B112DDB42D81F76E3C8438F42BD6400EDE8F89DA6C8FCA21EA5],[09F1AFA2D291314B80580096B26A95C2FF935DCE419CD9BEE1F18074C5356913202D887CD1575FCB9A9F901B3078AE378032E3DA8C0FE012FA11,0EFCE5E8BE814E5EBADFA53C85C84A8D75BEA38B333CB135BD7FAE8DF0BDFBC9625A0DE6781F39DC19BADAA273E7B3489196B3C29C4953E4AF22]]
FP4_2 = [[10359200F585037235AFA4D302091B380746257E058C6E724BFC05A738C86D7AD10BB13AB102E4F6C172C3459B3E19E958FE1FD04D11B463A11A,13C00DAD7F726D9A103E68EB86830B7E191A71B8DA248EF684FCBCD1140B8DD8229C30F871C740792B0399280CF2105D0ED25D95C9EED286D725],[13237B64ACC8EB9C2D93AE383B96C40C7EE29F2B080320ED030C4251FEE6E8465D6A3D277FE4E5A10A27050D681166AFBD5E46CCE67D389D68BC,03827CEF0B78976F4EFE726E2267282BFFB94F360CAB9306C3AD5D62727F2A12ABDC34C2C701EC6F3B57535E8750280CCA47FF490C2CEA36B4F6]]
FP12_1 = [[0905B005793F76A307F1A84DBDE19A38CF070C2FCF8D28E8C0175085208F2C6B522C02D795B7AF40971B614B115DCC45E20CBBA6EBF3056E4902,0E0F0517BECD6582B85FC8A20DFFBE8470967AD3EFEAFC071B118F053645056A1401123B1CFC50DE0F8DDF1D11F484428A5D9258C1D5EE69EF11],[0F2DA76F34970C0395BC1B2453B458981E9C1C25D37E3A8C62EEE1E7126FA1F0E6798841A6B63C3620D19EAD77F23D8D34F47996D21F4A00CD5B,02730DCE5CEC97517C1BC71E61D0127F7EF2145081058D317168274862BF333532C3875BF484517DC648D4B1A226C036E6DD1811FF1D3285D3C6]]
FP12_2 = [[0905B005793F76A307F1A84DBDE19A38CF070C2FCF8D28E8C0175085208F2C6B522C02D795B7AF40971B614B115DCC45E20CBBA6EBF3056E4902,0E0F0517BECD6582B85FC8A20DFFBE8470967AD3EFEAFC071B118F053645056A1401123B1CFC50DE0F8DDF1D11F484428A5D9258C1D5EE69EF11],[0F2DA76F34970C0395BC1B2453B458981E9C1C25D37E3A8C62EEE1E7126FA1F0E6798841A6B63C3620D19EAD77F23D8D34F47996D21F4A00CD5B,02730DCE5CEC97517C1BC71E61D0127F7EF2145081058D317168274862BF333532C3875BF484517DC648D4B1A226C036E6DD1811FF1D3285D3C6]]
FP12_3 = [[0DF5A1B0C026596EA6479C8E21B62EB45834037989BB6F589C4F1AF9D3A3BB67B36FE2A5E0397F8734A344712F28EE0928168C94F02BE7F14D63,1429771CFB05C3C2B1270E61218C5C3A26BBBEA731E0221B8C0AEAE85B14E100F6D1A52549C0112467EE0686AB287B61E8727FE266D9B9917BB9],[0E4BF259401A78446F8C4BC3668DB927CBC127E591CA29496D3016FF5D7E25BDFE21207B1CA84BF9A89A47D727C62E7A6FE7C5B54B45D74F707C,0AAD7FD0494F952A963B24E489F2A15CC9BBFB1C211A0EAEE628C940AB713A27BBB11984CDEF7DE9F10F20F33E471DC7F5E43D9E3C3BF485EFA0]]
FP12_4 = [[125F07CEDCA6C3017940D114C2A84054DCA84DF46B23A700EC021854764601FA3B7B48A4D3B597C5B52C55014940092D42BCC36E4BBB95525104,07954AD6E02A0E0D716E053C0747261466EA138A7FD7C95DDB0FB6284BBF365EC0013E4999B192F574EBCC13D0917CF2F6583D301941666C7F1F],[0E49DDBCCC0A2A68306DAD513E67E8E17EF9D3B5427C896AC776A8D4994F56C7846BDEE6B23DC93DCFFA95F8E1E00AD74520CAE3E2AB296138F3,01A4C8418D9B29DB001E1160E7580C3ECE2226DA8DB01A9EF52889AD26153CFF11B878EED3F65398D149971BFDA6DC48C15628D23692A04C9289]]
FP4add = [[109191A73DDB6955F483822D6B448A047BEFC9AECD35542534D3DA57921D20AF52B7E44D5220A0E73FB3D17B615BFBD42F10B2F8A70D5A48536D,11D749BFAB7C7EBDF5E85E2915DC78369C5B925B2FB918EEAF01BEA233B42FC360ED4FAD0A0E0A710E8BDC974FAA1F08B210AB8770B7247E4B1F],[07BFD5C22A0CC2925395D83AD96DFA120F57CA208ED35630D07937841B3C56FD60D7B67DA6AAEFEDA48695089884BF91F2E67FFB728C6E05B822,127F62D7C9F9E5CE09DE17AAA82F72B97577F2C13FE8443C812D0BF0633D25DC0E3642A93F21264B55122E00FB37DB555BDEB30BA8763E1B6418]]
FP4neg = [[14F9559F0CF6F4719B81F939AB57F0F0FA748EA7F323BEC82BACB6924F8B47279B13DC140973998E81FEF1EA39E7736A74981783A60504C5F858,01E8C3EDD3F5EEDC1A560AC270A693477CBEDF5DAA6B7607D5FAFE2EE0575E14C1AEE14B67B936081C77BC90BD47F1545CC1B20E5937AE088C06],[0B63A5A282BC2909D9FDD5FD6228C9FA6F8AD50A792FCABC32930ACDE3AA9148FC9286A9D939F5B365A07004CF8CA71DCA77C6D173F0CA97B09A,06586F5C96CC0BF69F7631578ECB152FF95F8F4D878FF3455704DCB4B821FE92BA66014032721BA2E685257D8C1DA20CB913F6E963B756C5FB89]]
FP4sub = [[057BC2EAA81EBCC6E37A0F1B7BC5B351DC81B18B7CE91BBBB1605A4BC96C4015CD6090FE9AAC2C78BD0E4B102AE51D56C7BF1E040CEA9C2BBBE4,1501D8EF573258348A17397A31FD20B54863149AF10943F7CE115B855D5D08CB55350C097BA2347CB904AA8735D0A8F929C145B3DCDAD4C5F22B],[0C2389837B15A004AD1A28F28B673173EFCEF17BF4665D4CF369C9656F2E7B28DF835A7BFC03CFA990B88B2DC86C9CDD0D7F47B9A59352203C00,0B7A68F9B308B6EF6BE132CE636122617605545526911E2EF9D2512B7E3ED1B6B67DD923B11D4D6CDE638743EC978B3BC74EB479901C69ADFA2C]]
FP4conj = [[5BFFA6485665E3BED3DD5A693B6ECC74A9A430C7A8E5B2E8D7D4B05954B33481AC3312A11DBBF07E410E35C61DE1EAD612932859FBA5E4B253,136C915781576B793FFFCBD1A3ECCC75F25F537B10612E733E898D13C8889C475B112DDB42D81F76E3C8438F42BD6400EDE8F89DA6C8FCA21EA5],[0B63A5A282BC2909D9FDD5FD6228C9FA6F8AD50A792FCABC32930ACDE3AA9148FC9286A9D939F5B365A07004CF8CA71DCA77C6D173F0CA97B09A,06586F5C96CC0BF69F7631578ECB152FF95F8F4D878FF3455704DCB4B821FE92BA66014032721BA2E685257D8C1DA20CB913F6E963B756C5FB89]]
FP4nconj = [[14F9559F0CF6F4719B81F939AB57F0F0FA748EA7F323BEC82BACB6924F8B47279B13DC140973998E81FEF1EA39E7736A74981783A60504C5F858,01E8C3EDD3F5EEDC1A560AC270A693477CBEDF5DAA6B7607D5FAFE2EE0575E14C1AEE14B67B936081C77BC90BD47F1545CC1B20E5937AE088C06],[09F1AFA2D291314B80580096B26A95C2FF935DCE419CD9BEE1F18074C5356913202D887CD1575FCB9A9F901B3078AE378032E3DA8C0FE012FA11,0EFCE5E8BE814E5EBADFA53C85C84A8D75BEA38B333CB135BD7FAE8DF0BDFBC9625A0DE6781F39DC19BADAA273E7B3489196B3C29C4953E4AF22]]
FP2sc = [1333476C9A37E88E990763E5F6BD89852D595D6933649BA932922ABF14A6A0D77CC5FF88554A2D4CAFE984AF48C567E1778E32E3E46833A17ACA,034F6A9B8D03C4CAF152047C6D19848AAC053A33666933D466CEAAE56C8A8A735AE59611D4842D50C7F2B8C685306ABF3A2EF6154623BD9C3885]
FP4pmul = [[04FFB177B12E6B92E41B5CBAB37C9218B4704CC3FF9AB5B878337DB7BE1488E28E7A31A83A31CB6C98CC4498543C2F8271F4C10B88EE8816FD8F,0A0CB03B0C455196D4880BC551994B44D337BF7FD9206731FBDF87952F1183BBDD8F7D9547E3A7C97AAC9BBC03A68F1EF397E1557C8676A6D51A],[103AF87603C39D10A22FF9B0ACC87BE3F8589EBED39607C658160FC178D67979FC602C57C7ED90EA034D4814A8325E8361A5EDA1B11BD40F3CD4,10A8E4E75A29B6663B4D8505F2F20DF2C73B2E29434BD12C63F2DF0D8ABE278E09BFC3136036C4BB0D652A2C090678F717D0B5959A2B6CDF7330]]
FP4imul = [[0113FEF2D90331AB3C7B980F3BB24C655DFCEC9256FAB118BA877E110BFE199D85049937E35933D17AC32AA15259A5C08237B9790DF2F1AE16F9,0F9B097BD96B8DC10B53B64CC29FA5E6F8E194BFBB8A4263929390B607D9E01DD7B36B447365B366AAD8CA6DC82D815834659480F459A0910699],[087FB9A32266398D26B22B3002AC618B8F9BE6920A09E8C1914FF61BA6C040DD43C88A4FC974C9E3CF9EB0319164B55135EE00E3A42EF58E4388,024C072F90E936717BF3428D6832202D82FF84F0241CCAAB0F75F5248079FEA3ED8E0B66133B02964CB08FA75BAC6F2F1F6EC5EFD4DAA658B810]]
FP4sqr = [[0C4F5E8AE3C7AEC280BB3A6816F1C0796492C11A5620D210EFF6B1988F0293A087196F285CEEA24BA809689B3ED542F3A627EFA1D0599070EE15,14A7C808B85C286563D7ECCC945218586DF43B053B299BD9DE87518FE697183DAC19ACC3150925AF0F973743EE94664D4D456171F06DFDDD22EA],[108AA63D47E7C6612E12A802D93D4B7AFBCF2BB4647E8C52131862859DDA28427EB355F0A602C89C2F5D763DD409FAC3915A423DCD300CCA6D93,0E804BE712736C3F789E73EAA4514D1748AD4B1011867BC5D0C4AB906CF9839EE9787B03274E2EEE5CEAF7AF889893642F0C7A84773651827DE5]]
FP4mul = [[1308750EAB7696951CA557851020A3DF249B8DF238B5E90A97E556C88B1D727F6DE57EE369839A33D2085DBEDEF337227A8188EB7B9CDEB0E8A2,0C954212A4030775132416B5EDEAF0B91632A532F4EF270560524BBC6D95004D7A8A483E56A95F05214F086ED68A7F8A3BEA47CA17E7D007C553],[153A3218B9132F0D7DF718C2C993AF906E68CDFCD0C5332ADFC83233B33972448BA7BB9587D733E979643F96AF9A1DD4CB9B0B26ED65F862B201,09CDA073B9330A5D9D2CBF149096D040A6D6BDA797E61BC8AC6F086A68F7DDB62D96DFF633F5850520B63BD85B7EE286544AE8BFBBFD3BB99F36]]
FP4inv = [[13BBFCA405B96966F45668F22EA234C12CFE4F8B2B6535AC92A9DD4B1EE0FBB2DCCBFF59330247804BBC7AD9BCB839DE24110C447941303D4E1B,0CB77F8E897A69E54DD618D1519CCF246E8E56FB4822CCE223879B83981114E349CBD2B63E3D83935F6143D030864C40F9D4E0D1D10C0D2BFC28],[0458CA0EBC510F45FC178262B09E5C514D4EF9B6666C89F4A6BB24178B1489FCCBC3DE3D9D37B0BA9592EE8C555C0DAE4C7665F5FB2D92F2877E,02C2C90132E7BE75C00B689E552D97A0E9AEBF889ECDC9C0D77BDCA0827832F825CF224E43F913A8B0DAA442886C74B24137DF6BAE5F430A3377]]
FP4mulj = [[104A1EFF695D3D421FCE31EE4135AAF2F8F2ED1BC92CCD0438F65D297D5767A5DA9389BD03C97B6E8124B598BC9650443946DAC3EFC736D8F59A,039940463BC52554E0E1CF3F239F80930633CE80BA0CE6798AECA3C00D136A8065C7873C9EE54428B41A6A9DA45B0C2AC71EECF12858894CFE88],[5BFFA6485665E3BED3DD5A693B6ECC74A9A430C7A8E5B2E8D7D4B05954B33481AC3312A11DBBF07E410E35C61DE1EAD612932859FBA5E4B253,136C915781576B793FFFCBD1A3ECCC75F25F537B10612E733E898D13C8889C475B112DDB42D81F76E3C8438F42BD6400EDE8F89DA6C8FCA21EA5]]
BIGsc1 = 025DE0192A296C6A7330C5000549DCE66EFA956008098EEB7008CE733E1D93BB606AA31E9C519F6BC95190A56E0B42BD19E30CC70080BFB992ED
BIGsc2 = 32
FP4pow = [[0F1EE1A9B59BC578ABDAD4985F4346B49170E11C3CBC04CCA554799EC1C0E394DF91FAB88ED44CB1FE35CB2435665FB9327A0ECEA0143E2017A1,107D005465608D2624E5412017A10B0B659FFF6DA8D8793FD4801573CFAB3A76FCBBF941A877398136BF2F253E46C88ADC701BE360A425AAF22A],[0D2A1541C40DE0BC441A826E0681F61FABB035FDE259E888E7C8920683A3CBD2F6D37F8C678646F15D9F4C3636D26DF59DF38FDF8415A6544FAE,0D110E80BC9F6CDBBA05B2DBEE846A0FDD5A56B73DA135B183F77E265F3B0ABA06F10B72F0BE4CB3F58A227C77C432D0D8FA0A2DD9EB165D814D]]
FP4frob = [[5BFFA6485665E3BED3DD5A693B6ECC74A9A430C7A8E5B2E8D7D4B05954B33481AC3312A11DBBF07E410E35C61DE1EAD612932859FBA5E4B253,01E8C3EDD3F5EEDC1A560AC270A693477CBEDF5DAA6B7607D5FAFE2EE0575E14C1AEE14B67B936081C77BC90BD47F1545CC1B20E5937AE088C06],[10D0DA5BFDA46A53A3E27EE2218C36C434B2F68DC5B7E652E8270CB71B496AB3897A38B754557122AEC9F8BAAEEDF1EF2A56A34CA964E5FFE152,0F3EAE8FA3461116C84B9096A0503EA35B5295C7E5AF64D06EB7C9342A1FD8AA7A8EE6766F6F0586FCAB0E1017BE98E554E2F256570CBBBD14A6]]
FP4_xtrA = [[09248A2495759766F3391B5367FE466CF43CBF0859C9A196A794C55EC475C9023F65A9EA6CA8349F3D2AEB6AC371EF266D2EA7322D39C1DBB9EC,09BF86EDFA03DF801B7F5CB8294DADC996121A0A533EAA691D5FF683756DAE2C6D2F4107FBEFFE1E2C9F334EF853F401ADF7E458BEDDA0A426C0],[075689CFB579EDB70FBAF81A74C582036A33AA8A83AA7C65F8E361666B98E9A302AE08E37EB9CB799B3AE2F2C6A21CE2C2ED37A776FF9738D7E6,106CAF4BF58F829880CD7F25F701330A383989C416D9536B7AC709E8C68BD5E8E099930EE3D3DB99CA7C05D17A91D6F16E7540CB74458E9F47A0]]
FP4_xtrD = [[0B975F3E531AE2FB03137FB3447AE2E07B3F78B8C6CF06AB1E470837DC592D3783C109031AB32A6AAB874C2FB2997F1DFA02C9511C6244A7896F,0323FA9F0AFAABC83E2E2BBD610BDF29F853C6E7D533E36E75F8C2AAFE65DA0B12B7603339EA3C404846B045691EF3A0BC1E1AE2A2DCAF43904B],[0F18B03D97BCCEA2D46CD29C297F17438BD7B4782CEB9B54C276D82C7F65000CA24E57C39E2032B4645C965434F601DD47155F46E54F2245B70A,01CF6D2DE4DB545239B2113B86BB22B755EE2C750266953B22BAF226FCB5867974AC7882C269F7A88FE0ACB4705D4F4ABCE48CB1AFC7A3F686D3]]
FP4_xtrpow = [[0AC7903EA5DEEBB93A03F81ECED98D218BDCF50B1BCE27874179967839ED8F676DE6693E47277D744FCF298D49E9F9D3D6E166F43F211B82F95E,08E033DAE9F26090CEBCA3177EB711D97EDD23EBC55B1775A6A189D613E60B2CC43CA69B669DC65D1AFA578D56C004F7B7310EC3FB4FB1FD188B],[0948EECA917FF6E43D8FC904E0CF08E6C3F07DC0C73340599BEAD2A6226507F12A6BF76DA1EB08DFFE55970A26159BB7B3CFC1BB1FA18BBEA1A5,113E0935FF852DFFA495A767769E515F461440506C6E71AAACDBFAB67D3F9B7C1350F874D203010E3C9641F27EDB40DDFED0A6CA993FA8365D18]]
FP4_xtrpow2 = [[0A8A8DD34336E4E9A0A83E65D50507356F40B06B432C666963E8E06033D2E6CA20D85712A694316337E1B3ADF378A9CB6871E0E71B726F197D30,07C5ECA85719D2D885D23CAFB62381F04F221B3444C864B207F9A77A9678F1787B4938E9867933BFC850CB7FDA06006AFA5C9E63468A676AA1D4],[13943C84F154F8D7CB4CFE0280E6660A28CEEFB5E8BF6D9E96AD4AFA803BDB938DB1327F27341C168C08E308849435C5A5CA629FBB86A4BA0167,0E3FC6BE4C3FD8AB2BAE3A136CAD27EF891A68B45645D4CBBB1E1BE3F33CC656341A62041944D9DC94FEA46A31042CB04E1A49B15A121280CDBB]]

# test 5
FP4_1 = [[01B13EA2101EE53FF7E63EC7BA357E4CEE845CD32F9696EA1874C2C76B42A25E03D729A301C716FB3A84B8F1DAEAB300B8D569A6F14F2E7C828B,06C89564FDD26C5BE62B3A014D7E669BEFFB7DC31DD4542E8DBC2CF829C23735914CDA69821ED044C4C233EB407D39BFAE3700A621E8956862C4],[040A26B628B1E4492114A4DAA6A01C8E31AFF3F09D2E99D4BC5454D01EC4E61E3C574F55A87A598D8C75BED0816D71A4ECEDA4F6D1B5649C9E45,08B5282FC75A71622095DEBF1521CDE72AB12BDFF5884A273E16CF04401700E07207EE008643C0DAABBCEE9D8DDBF8DDE9CBEDDDEBB022DD877D]]
FP4_2 = [[03A8460BCF01F994AC2436D1B4133216B2FC04E157379C6E1DA1DAD198DCC6FBF9EA351EF1958F7B3D2ACB8925BD7D54B23BBCF670BFF68080C9,121AFB08E00DA3FE9F0EC9731830E87F1735B43E23EF594541598C6AC437A1E84ADC237A95B25EC7703ED2DF64FC6D4D84D9EEB5055E84AA86A1],[103033A2A6002035A1864A764908F027064237E660D4DFE80E371BE0E15063C61220CBB46A0E8107A67C52769B35DDF9E350CF511EC0BE040F51,052C0A99AB1917895B54672C0E664925E07A2C63F853DD1FD295D808DB1C5FFACDFC33A501B3BFDA16653C08507F49866C45748D2F6C72BBEE5F]]
FP12_1 = [[9880CB3C142ED2FA2F77FBABE406886406A776B379D4F3AB813FB95122CA72DA8A44D040673B8C7B975127395ADA3A81C17F79DAB40EB1BF7F,05D15968685F74002A46B00043A30D0C657AC738268054D2CD4CCA2FD7D09E34A110B1DA9DF25298C158CC5724FC3DEDB7E615CFB5DF1D9D3ABB],[09177767E30ADAB4357ABDB14725CFF0B4E9343F3D896CB0519A3E0AB2B694AD4268164239CFDE2261E8156A1708BCD3B8BC2AAD797436BA6E6C,048491D5E83F8B5C8FAF8A3DF7948EA16AEBF2B38D4F5DB5FE7BEE16AF9B638358D4426393B95F31D830FC4C296DA89A1D54E498B6706B552BBD]]
FP12_2 = [[9880CB3C142ED2FA2F77FBABE406886406A776B379D4F3AB813FB95122CA72DA8A44D040673B8C7B975127395ADA3A81C17F79DAB40EB1BF7F,05D15968685F74002A46B00043A30D0C657AC738268054D2CD4CCA2FD7D09E34A110B1DA9DF25298C158CC5724FC3DEDB7E615CFB5DF1D9D3ABB],[09177767E30ADAB4357ABDB14725CFF0B4E9343F3D896CB0519A3E0AB2B694AD4268164239CFDE2261E8156A1708BCD3B8BC2AAD797436BA6E6C,048491D5E83F8B5C8FAF8A3DF7948EA16AEBF2B38D4F5DB5FE7BEE16AF9B638358D4426393B95F31D830FC4C296DA89A1D54E498B6706B552BBD]]
FP12_3 = [[06F6E6F07C488220D750D3E2A65F098A8E9A755B9CFBB1D474A80B5FD6B1EC97F2F7F98E1270C66C468BD50190C9BAC9388E1B2497A94369F7A3,02C663326255012F72301161FF7FA85BF2C8C157F33A798F8D46310B0C70000050B9C6ED7254CCA2FD68DC56A69EF857CBE89F8C8B8E39875066],[07EE89752D24592AE07CE134311FC80C958719D7996A3B08AE2FBFF03A38CB4FF7438320F75502CDC9A62BDA947BCD24EBCA8B6E2C81C68BF0FA,0E9E8369BD4831B33195603CAFDBBA1AAA7433254DFFEC1552D9BC59DDDCA1535441D470D7EE346F8AC725DCA9713866EBFEC0F1440839795F2C]]
FP12_4 = [[0537067DD752EABE074C8A4558B32342754262A667E8AA4938985A2BD537C64F9C60299588A7D06D94C5AA5F7534CB2CD96816556C3702BB5EF1,0FAB2091C980E53D0B30FBEC409A8A8D9ACD623739DAB6AD243152184591F1A0702F4B3FE4C23359FA42E87FF14E2D279E03B5B8A3EDB2D5D277],[15308B1A2E3FA2D4B31546D5C6AF72B08DD96733AA59C0119D67593B2AF3A8354DC08A34F61E500EEDA6978579FB45A5093E7EC4DF9A5CD3243C,087E3128AC6A627A6E9EED8F5FD1706E0F269F9EB8902C9052C1B676ADC8C186AC584816196F0E2E8CB9F8D7E6D8AB6A9E61C8793E83F970370A]]
FP4add = [[055984ADDF20DED4A40A75996E48B063A18061B486CE335836169D99041F6959FDC15EC1F35CA67677AF847B00A830556B11269D620F24FD0354,038E3B288892B6052AE42CE0511BEF5D9812FF2886F708F8BA912E204519DEC1BF68EEBD6D3FD98D34C106AAA57451B7E86644AF27466F683EBA],[143A5A58CEB2047EC29AEF50EFA90CB537F22BD6FE0379BCCA8B70B1001549E44E781B0A1288DA9532F211471CA34F9ED03E7447F07622A0AD96,0DE132C9727388EB7BEA45EB2388170D0B2B5843EDDC274710ACA70D1B3360DB400421A587F780B4C2222AA5DE5B42645611626B1B1C959975DC]]
FP4neg = [[13A416A3452E7515626F97CC5A5DE1708099D6058B360D90FC0FC87B3D9D57FE18E8E583A8CA3E83C5BB472E251AA25491D541050EB17C2E2820,0E8CBFE0577AEDF9742A9C92C714F9217F22B5159CF8504C86C85E4A7F1DC3268B7334BD2872853A3B7DCC34BF881B959C73AA05DE18154247E7],[114B2E8F2C9B760C394131B96DF3432F3D6E3EE81D9E0AA6583036728A1B143DE068BFD10216FBF173CA414F7E97E3B05DBD05B52E4B460E0C66,0CA02D158DF2E8F339BFF7D4FF7191D6446D06F8C5445A53D66DBC3E68C8F97BAAB82126244D94A45483118272295C7760DEBCCE145087CD232E]]
FP4sub = [[135E4DDB966A4600A617DE8A1AB5ABF3AAA68ACA932B9EF70F5773387B45D5BE26AD03AABAC2DCFEFD99ED88B5328B015144575C808FE2A6AC6D,0A02EFA1731222B2A172472249E0DDDA47E3FC5DB4B19F6460E72BD00E6A8FA96330C61596FDC6FC54C3612BDB8621C77407BC9D1C8ABB6886CE],[092F4858D7FF1E68D9E430F8722A8C249A8BEEE2F7265E67C2A1C431E6547CB446F692C7E8FD2E04E6396C79E63CE90054478051B2F55143399F,03891D961C4159D8C541779306BB84C14A36FF7BFD346D076B80F6FB64FAA0E5A40BBA5B849001009557B2953D5CAF577D867950BC43B021991E]]
FP4conj = [[01B13EA2101EE53FF7E63EC7BA357E4CEE845CD32F9696EA1874C2C76B42A25E03D729A301C716FB3A84B8F1DAEAB300B8D569A6F14F2E7C828B,06C89564FDD26C5BE62B3A014D7E669BEFFB7DC31DD4542E8DBC2CF829C23735914CDA69821ED044C4C233EB407D39BFAE3700A621E8956862C4],[114B2E8F2C9B760C394131B96DF3432F3D6E3EE81D9E0AA6583036728A1B143DE068BFD10216FBF173CA414F7E97E3B05DBD05B52E4B460E0C66,0CA02D158DF2E8F339BFF7D4FF7191D6446D06F8C5445A53D66DBC3E68C8F97BAAB82126244D94A45483118272295C7760DEBCCE145087CD232E]]
FP4nconj = [[13A416A3452E7515626F97CC5A5DE1708099D6058B360D90FC0FC87B3D9D57FE18E8E583A8CA3E83C5BB472E251AA25491D541050EB17C2E2820,0E8CBFE0577AEDF9742A9C92C714F9217F22B5159CF8504C86C85E4A7F1DC3268B7334BD2872853A3B7DCC34BF881B959C73AA05DE18154247E7],[040A26B628B1E4492114A4DAA6A01C8E31AFF3F09D2E99D4BC5454D01EC4E61E3C574F55A87A598D8C75BED0816D71A4ECEDA4F6D1B5649C9E45,08B5282FC75A71622095DEBF1521CDE72AB12BDFF5884A273E16CF04401700E07207EE008643C0DAABBCEE9D8DDBF8DDE9CBEDDDEBB022DD877D]]
FP2sc = [12B0169B2BB92423CA2A9512763A6DDDECF42A60264F439C2A2EC8CB380EFABA03A70668E51A10817C2D400C73E28011147A3F1BF5F4016A4A06,01D6B669EABCCBF34017C294840FAD6B47A51DACAD8638A0731511621F01736918995EF7D5A020851BFB46CA05E5C6E37F864BF3C8BF29024B32]
FP4pmul = [[0B09200819EB01C9C08D5742373B07AF1C460D927F1E041A891D40E6D02C35DA975A37D04E57E345700E9372F8015504C2B996C09882C3B5BE16,0B67DC902016A9BF78C0846ADDCDF72B4EA22931DA80EADB0E6E9A52F9E8C9B0359D44DC0CEF21C51986E4D0D1C8888FD7227DB8B43A1A381281],[0C3FF156652493DB5A6E225D9885023D1AC5916ED04DBF2389C4E8622326C52CA50C261F6D9A61C142A140299C49AC133B6CE364EC2EFD6419AC,13338802D69632D7987501078E45B86D51F43602F051251DBFE7BE9C2D62E083236878D0152938F3166A078EB8A00B86092844991EC8FE4D0495]]
FP4imul = [[06C4FA88407B94FFDF98FB1EE8D5F933BA11734CBE5A5BA861D30B1DAD0A89780F5CA68C071C5BECEA12E3C76BAACC02E355A69BC53CB9F20A2C,05CD004EA1FC571A3E57117121663AB250CFC433BC84AC3F226C289DFE28E27A28735A7F5DE9EB9412C8CF8D01EF91A96E3157EC87A1AAF6E065],[10289AD8A2C791248452936A9A807238C6BFCFC274BA6752F15153407B139878F15D3D56A1E9663631D6FB4205B5C693B3B693DB46D592727914,0D7F4B79C81C6B332801A4683FF3D7DF3BA67CA71B548421E3D6B0CE577C0925AB5FA8DB6E7DADEBAEB3BA56376A8E225C850CCBAEBFE0CB7349]]
FP4sqr = [[04A441D4C2660BD10FBE7024DEB5E6DC2D43EA54FC41D846C91980445BFAB58A65BD03FA1423DD91F5DC896AFF9F8C86184D5908C7FBBF130D0C,0B4A4C6DDB127457B5683BB4E97B65D0BC4A8FB0FF4332328E8CF87109CBD7E7376CFCE49A31EA573EC21CBEF3B00B20CDF5D0142545D577DCFB],[09C51862ABBB4C735F5198AA8245B965A90C7A9BEA17274273E2CB48B50F5D04CC4E3E480DEFE77225DF8F509D20C7CD6CE5DEBB03E7B110D0C1,0266EF2A87A336D324B4E77DC45006EB389FED900D6FA00F67B697BAB4E06DC3AD529AAC8748E01536BEA7DC2ADEDB6FF978B115D8EF81A375EF]]
FP4mul = [[70960A57B7423DBD5051C8DE8AEA500DE9441325096A47ADB08641B556015C3BE0870AB993AD0D56E314DFE72B94568CD002B03EDBDB0B6350,11D4AA44DF1C3CAD6B3960D02E28072D85B5AE56CF34F0DD9670C359FB7873A31EC0B995082CEDE53EB24D9853ECDC39095036833887AF3AE2DE],[C4AE85296F533B6E43E743EB0FDED4F41ECEDD4534F5ED2AE427C70BC984CCEB3EA5515D448986DE4C8580661F50E734A9F0010D036EA87F9F,0F718564D9771319E704ED9359079EE6CC0A7076AED37DEC9381A12EF53621E20EA56EA4D3605ECFD2B69AF059F18D635DAE3491F6B680CD4003]]
FP4inv = [[1272BFE3329B2195F36C8D2643ED5DB93210DF3877AC9D2E3D3F6E2297652500AF93D72A9BB1CAF967C44A3BB38A1DE5449340022AE9E8D40C8E,11B4D94B93DA153657C0AA93F15CD9CCE25D9A2AEC0E9C18189D4116679860EA23B920BC3062ECD6CC5E463C77694D2BC5A20E17C6C1448539B4],[0C52317C9609C0611BA9F4FA4641C0886C6F0B17458DB37DA22AA80F288DA1DEE0D3F9CA623E83F8FFA0B3BB1C17E6FF8C343412E6452D419555,0A8F4927D587E1631D3FE164C03A96A5FB6F2F584B9E1A15A14E8BD420719CC474B9FE74E37B582201C84F3063D1E493732859381A1037F10FB3]]
FP4mulj = [[10AA53CBB6A4CD3C5AD49CAFA611AE64761CFAE96272F42892C2110E878DDF99E70F707BCCC7EE31E0F8D052F396CE1C4DCC61C4E605EC69C173,0CBF4EE5F00C55AB41AA8399BBC1EA755C611FD092B6E3FBFA6B23D45EDBE6FEAE5F3D562EBE1A683832AD6E0F496A82D6B992D4BD65877A25C2],[01B13EA2101EE53FF7E63EC7BA357E4CEE845CD32F9696EA1874C2C76B42A25E03D729A301C716FB3A84B8F1DAEAB300B8D569A6F14F2E7C828B,06C89564FDD26C5BE62B3A014D7E669BEFFB7DC31DD4542E8DBC2CF829C23735914CDA69821ED044C4C233EB407D39BFAE3700A621E8956862C4]]
BIGsc1 = 14D4B454BC6594ACE1608D6DA052D4C69BE2DAE1D3F7ABC7C98E7835C3011A2A3139644F5E988A38261A7E3446E577AE4A3F95E46B5268AD25D9
BIGsc2 = 28
FP4pow = [[09434D3613C3E71E724CFE5AC0E03F7421FBE836E0D9046E4E59856AF71832D6B3AC2D4B2DC19C9A7DD04AB7A857B47C12F0816504ED71092742,03BA2A24ED13700CFFE8414FD4271D01A028ADEB437C495ABB2595F71EB7A352038CE405A8ED495E77AFB570FB1DA4719EB112D6E653015F55EF],[1DA7260205DCFCE6893FF133C6A81A34E5018101E437393C9E6B6FC96DD0C301893E7B4C65E83740181D89B3A7B62AD0B0DDB7D17B3023CF2A,0384354354C0E03D1504C4A8400593336B088A76751F07D0D296B97CDE83EB528CDB5774081F9E9E798EFCE5E5C5F60E21AA510E24D0A17FBD94]]
FP4frob = [[01B13EA2101EE53FF7E63EC7BA357E4CEE845CD32F9696EA1874C2C76B42A25E03D729A301C716FB3A84B8F1DAEAB300B8D569A6F14F2E7C828B,0E8CBFE0577AEDF9742A9C92C714F9217F22B5159CF8504C86C85E4A7F1DC3268B7334BD2872853A3B7DCC34BF881B959C73AA05DE18154247E7],[0A3553A6EF230C8021BFA33CF3EB1EEF5FE64275E43A879CF5D6B10C7D00C1ED0DC90D84E06122EB2D36EA73B737A4E1B23BEBF4674D05B5164A,0702D2CEB6FF18E3171E5C3D838B6D7F18C2E763B532CE9E641952C4DC324939F2CFAF0139D0AF33C3F1708C5955E71A9AA2C1D9FD3D6911C4BD]]
FP4_xtrA = [[0A5CDE5291323ED62A5E790CF696C1A0463527F4039FA798563BB91A93622E48DF2033420FB7411BA0AC873405C678696E2119EDEAC91CAA2702,0BC935B9E9C565536C186B50D4960042D768790DF62231C2AF8768735A325210B6ADE12984B61ABAFF4E9604588F06AFF9F07541474701F16CD8],[08B236CCAD2A37DFD671DA311590441DE27B241C5FA36CB8E0062D3B6C98585FE6D754EC4B013C4ECD18B83CEF0D5BA8F142D03F1EF32AC96685,0CAD0E9E9704FBFB46CDBE4D6046B01C84E3441C2A105D7DA170FE6FF02BD84722DEE776C5F1C917C22791E31E7F1C9782475F8252EA5034AD04]]
FP4_xtrD = [[0141C490A22841511FF1F2956A4AEA42503B30AE9D14AA72982FFAB5857570CE5E0EB0B41095AF9B80D3178749CA2684A6A285BAE55D621A07F6,130E76E934BAF5F543679E466311F8564B71C7037E672E50879929C35F2763D83193573840859F4CB57DB50872BAECF6BC327973E1755551C21E],[11D965CEFD1F1505A17AE25FCF85F2820C6C627D24745AEBEC8B74E8F299294144FCDCF35EE49A8D3ECB0CF19FFBAB1746C128A8A7527A4A0D4B,13D13F8A1658199765E0A4FBEE93A2B98E02454FF880345DE3E435C3350E6F84916276AD93D061CA8E3885174696CD2BCD108CD1B04FC75E84E9]]
FP4_xtrpow = [[0CD787943F0AF61869F86FEB03D77ED5C7BB67AB478AFEE3B875253A34B64ABA365FA82F500C1E091B574591AB2EAA5F9AD6F7222CE0818D0D6A,0D0AD0A147EA170B78FD4AA37D9700C41977673A30780A352E32A809961CB3E9615790FCC59B023BDBEEFC18FDB2E79B9C3D020FA02BE5E95373],[0B43D2E4DC74B722A9EAB14A22CB26E2D8A8843B12B5ABDDFBAAD0FB3B814C1A5E0136ECB160097A19C33F77DB3317C182EFEE8DDA945A82D346,12A65A927825E834B520B8096A457B645762E13916FB900A0C2A89764F7E4EBA2D9CC86ECD88FB578184B9040CF91D14585739BB650968C5BBE5]]
FP4_xtrpow2 = [[97890FF190471103DA7200D1EDF65DA4250E4B784C9202AC4C04F20DC87B1870A68E302209416AA74433EE0CD9456855AFA6051396DBD5F53B,09145361AF3B531676BD0487CE6C4241A63B98C1C59F3BD2A86828A4AE85914774BD332F3B032DB369B0DD9E02307CF37B5453871C355A49BB21],[10FF1CB1CBDA30D19EAC66B6E4A5A8FB49D8D38794ADB7EFEDDD554C4DFC773398843D0DE425A86352D930CD75518D1E39F405BBCDA0BA510255,1392A0CC766B6C76324B4F46E561FF2492A7610872937BFB6FD63ADA676DD6E4816804AFE1312C38BDDC3C51A8CDAC000AA12CF2FAD7DC8E23DA]]

# test 6
FP4_1 = [[09E9EC24D4F1493AB1F116020CD48B9F76062AFDDEC88CD5FC500B7596A78BB72E1147040FB47EEF76555B34198D5AE68FD78F6FDDCFBACEFE56,11F104EAE85B9B61D6095ABA00B809193CFB0C59D932A33DB0C3CFEAEDCF621DB647A5FC224D42E785C36D6079A27731658D95804766D12771B3],[58DD74566FD60E5963D3CF7E3B34C8730E993777EA4706B5951F4846E90E49AD1136C662F204EE3B9C0EBF5A509DB8AD738F70510BE81C3FB3,145A1E03851520DCEDA3D38064B429AF3FC0C7E3EF8F0905324988F18A2111FAE8065016EA725EE09A6EB83AB1716F749E074EF253E08A8D9F52]]
FP4_2 = [[0E5432E443D8D75282E191CD066031ADC0512ECCBBF53CB9D1C4FBB5BB0F04339FB7452C2E57051884002B4247EABF1C87D2BFF990A06037D142,0F5DC10DC20C90F39A4FED736543228BEB250E9719A39009A77887C8E37F3D77854EC036E6C20D751DBDA49CAB36F6185A945D9C34A8DE340E8E],[09CCE71A0F89EC850FBD4ACEFD9896A07D7973AEDD44E46FF88463570999F3D8C0C86327F95853E797D86624820A48D02720A2BFA16E9180F1A3,13945C4542F9731CAFBDAE664BAA07BCA960A78FA549F73F26397D73AE5EE46AEBB9C002C05E3BE5EFC2888AAE38BFC70AAF66329C0039014FE2]]
FP12_1 = [[97BEBD4E3F4329C31E881EDBFA91F8BBDFE0E6FF2BB208BE33E1EF3F26A608C61269B9EFD4AB7714EBBC44D7A3F18EEA407DB3C00459AD309C,0ABAB3336DE0FB12F44B56A2AB3687D60E835D473C4BB7E7872F60435A5289C0E82C54881D7C01A7CC38808901FAEA9ED8D43F1EE7D0307D376F],[11759E28AF6D863DC4E96C292D2241E640815DCDF7B6E5A6001FA776BC60A70463872E679E76AE3D458A18BC1A3BC66FB9E9F10B0C729A3D3BD7,01963B8DB017BD47CC66AFDEEC8E18903A24B5B008226641039DB0B9C05973F3E8B236D734E9C8A4AE956E7FFAC7F8673956232F43030F785427]]
FP12_2 = [[97BEBD4E3F4329C31E881EDBFA91F8BBDFE0E6FF2BB208BE33E1EF3F26A608C61269B9EFD4AB7714EBBC44D7A3F18EEA407DB3C00459AD309C,0ABAB3336DE0FB12F44B56A2AB3687D60E835D473C4BB7E7872F60435A5289C0E82C54881D7C01A7CC38808901FAEA9ED8D43F1EE7D0307D376F],[11759E28AF6D863DC4E96C292D2241E640815DCDF7B6E5A6001FA776BC60A70463872E679E76AE3D458A18BC1A3BC66FB9E9F10B0C729A3D3BD7,01963B8DB017BD47CC66AFDEEC8E18903A24B5B008226641039DB0B9C05973F3E8B236D734E9C8A4AE956E7FFAC7F8673956232F43030F785427]]
FP12_3 = [[0B2FF4168855057339E26DEE4B7083FDBC35DD1B61F05818A6B45F943ABFC5D9FA70D2985D8277B8880F0E4019D398EB8D8C0982CDF38DA65EE4,0659313A890E6E791EFB4721ED3631C86CD9C6B03733B62143506D8E792C71A298E793562CB3E72525746858A99638D58E7E1E004075B93E5AB7],[13C9C178127E9F83FBE6DAAF0388D04E6B6E9C545CBEE461CC8F33BAA0C41D31D3DFABE9A52250556705415FF6938EE1765FDDC84A43FC136763,0B28CEBCD638A6B85BFA086F34153153BEFB14C1CB80F7252612976954CCB35A423CAAB0BE8E889AA54B8B00E115FC438A5C7376E8C6FB0CC6B2]]
FP12_4 = [[0EBEE6DF460596B991599F73A7D900A299773D4AD896412FA8DC2DD5ADD29B524B0E61C66ED6EE5CB28C143113A20CB68F1FDABA827405D8B116,0F9D0DE1BEDB4FC199E01D6CC5847309DAE3D973307832A8CF09B3556D419D9EA4452713075BC3CE2F3E018A395779F08137CED55EB82575C8E7],[11193B7C828A8B85EDF3B1A4AE437067A78E3EA89921D5CEB9F02A9D595A53953D7AF4DF28B1B9E8E35FD1408B06E45D155B038B6F50D59FECF6,0678DF15AF1931847C795F5A057C2C1784A7E3A16DF2F93E4DAE238DD0B2C39D27F1B7238B59068E112CF85CE12B77EBB62323B4F58E9F313566]]
FP4add = [[02E8C9C3C37CC637DA7CD13AFEA15D8FC73926F1DFF12514B9907BE8A8D6958EB1087D09937A2E88FA1586566172C4ADCCFFA4BD6E6F705C24ED,0BF970B3551AD200160371995167CBE7B901E81838098ECC43B7CC71286EA5391ED6570C5E7DFADDA34111DD24D417F4757748707C0F04B0D596],[0A25C48E65F9C29369211E9E7BD3CB68F0880CE6552F2B76AE19829F508302226DD999EE5C4A58D5D37474E3DC5AE688D494322FF27A799D3156,1299250372C139A4430BAB529BCAD1AE7A033C9ADA0C5BC943FE7B228F9FFC09B70000F3003F454789F140A55FA4D9E65E0C0A78EFE018E44489]]
FP4neg = [[0B6B6920805C111AA864C09207BED41DF91807DADC0417A518347FCD12386EA4EEAEC8229ADCD68F89EAA4EBE677FA6EBAD31B3C2230EFDBAC55,0364505A6CF1BEF3844C7BDA13DB56A43223267EE19A013D63C0BB57BB10983E6678692A884412977A7C92BF8662DE23E51D152BB899D98338F8],[14FC77D0FEDD844700F202C496582AF4FC0F99A142E25D745EEF6BFA61F6EC126FAED860479F5090C4A3F160A5B4B79C9D371B3BAEF4C28E6AF8,FB3741D03839786CB20313AFDF360E2F5D6AF4CB3D9B75E23B02511EBEE86134B9BF0FC01EF69E65D147E54E93E5E0ACA35BB9AC20201D0B59]]
FP4sub = [[10EB0E85E665CC3D89655AC91B07B9AF24D32F09DD9FF4973F0F9B02847881DFAB1A10FE8BEECF55F2953011D1A7F11F52AF7A224D300541D7BF,029343DD264F0A6E3BB96D469B74E68D51D5FDC2BF8F1334094B48220A5024A630F8E5C53B8B35726805C8C3CE6B81190AF937E412BDF2F36325],[0BE14B9F9C3343DEA3FC5F949535FDE564B3586155720711D1954733E62F14CD0908E2C5142B0685A403A8BAD84BAA3DD0FD975CAF9E0145F8BB,C5C1BE421BADC03DE6251A190A21F2966020544A4511C60C100B7DDBC22D8FFC4C90142A1422FAAAAC2FB00338AFAD9357E8BFB7E0518C4F70]]
FP4conj = [[09E9EC24D4F1493AB1F116020CD48B9F76062AFDDEC88CD5FC500B7596A78BB72E1147040FB47EEF76555B34198D5AE68FD78F6FDDCFBACEFE56,11F104EAE85B9B61D6095ABA00B809193CFB0C59D932A33DB0C3CFEAEDCF621DB647A5FC224D42E785C36D6079A27731658D95804766D12771B3],[14FC77D0FEDD844700F202C496582AF4FC0F99A142E25D745EEF6BFA61F6EC126FAED860479F5090C4A3F160A5B4B79C9D371B3BAEF4C28E6AF8,FB3741D03839786CB20313AFDF360E2F5D6AF4CB3D9B75E23B02511EBEE86134B9BF0FC01EF69E65D147E54E93E5E0ACA35BB9AC20201D0B59]]
FP4nconj = [[0B6B6920805C111AA864C09207BED41DF91807DADC0417A518347FCD12386EA4EEAEC8229ADCD68F89EAA4EBE677FA6EBAD31B3C2230EFDBAC55,0364505A6CF1BEF3844C7BDA13DB56A43223267EE19A013D63C0BB57BB10983E6678692A884412977A7C92BF8662DE23E51D152BB899D98338F8],[58DD74566FD60E5963D3CF7E3B34C8730E993777EA4706B5951F4846E90E49AD1136C662F204EE3B9C0EBF5A509DB8AD738F70510BE81C3FB3,145A1E03851520DCEDA3D38064B429AF3FC0C7E3EF8F0905324988F18A2111FAE8065016EA725EE09A6EB83AB1716F749E074EF253E08A8D9F52]]
FP2sc = [02BFACA7FEE1CBD51B22522AAC11D1A1BA33317CC358B895471930FB566FD3A3EAABC2B04F2F9C3F19691720F9A4CF795D82126E7BC3329BDED5,0617B5364FD3EF39BCE94654B68E58399B9A5820832C8D7581230C28B8823DFB732C2A0CCF2098733D6F9C647276B646B53BF0C75DD65B3C445E]
FP4pmul = [[0DD33A04521924A60B42049069F33A63B776ED62159A64C6860FB0EF4BF5BC48D2316E65E2DCCD9E6C0914612B15D378F9625EE9268503D3CFEF,087B8C339AF6AA43E2F502572084A44CB2582D4810806F44B8862550E493D00E7E51BDC2DCC34B4284C964F4A6854DD16B9F5F4778F191C95440],[1483C5A4ED86A553FB1B605750C2B5859C5A0AC6241590B06DB38C889B5F32D591D0A375871F6379B960615DB9FD3A0B961052A2EFA84F129F27,023749A3AE56722A99E42560A49C8D26BC0769002CEBBBC28994846A72A159E452324750F9728F6BF2FF2656AD9918BFE58EE4FBD80B87CF13B2]]
FP4imul = [[06E6F22D7E1BB97AC509C0E216FFFAA26FE27143E4517737C48722C69F85C5DBACD644C6F963CFAF4F2AC7C47FB81BD639E077D7550D50B5A258,045FC38134949F93C4D76B51B14AAE88746E725E52CA9E4821C0E28C018D01241C660152013CF8899BD122626016FEA1D11940D164FF6B1A8DD3],[01BC5345B02F2E47BEF3230D772807EA3F48FE15579363218BE99C69628D4770615611DFEEBA18A72A0C49BCC393149B6341CD31953B888D3E7F,106D40FC44343AFB3ADBC731A5375176824B1C10C2989B2DA95D7FAD0F257076151F53D7E9F68467032998A57721D7F1EB79E00BA3600A1971EE]]
FP4sqr = [[0DEA945F0A9FD050971BEC59A7FC1F7EF6A111B9B2535E43930D4A8D5186D2F735AECB6B3E85BEAC91E51ADCCFBEFF7E7DBF5BB0638E58D5568B,0FC9833FFC112E4FE44F82A7D383336639226FA45F514CF072178B2D5A7F884C355BFB232A1E73D7E9C1A90067D5A37EED24A8BD2B5CD34CFE68],[01FD9FD44D4B1F3BCE2DEB8E0715E071308D338F151AC174E13267C99898AF0C35C76663DB7B0F375D7238AE8D582B8477364FF3313E60C6ABDA,11AED4DC4A5DBFC17ADCEA6E81247259EAB5F7018A1060A8B6EA782216B9507A7049A197CCF2A1ECCD4D95265C3C978E25879DA62255969F447B]]
FP4mul = [[0B39EFA050EA706CD8A3108433A0B0886619F0AB88506AAD8A28007A9FE3F47BDAF3E2BD8BFD22FFD3C6C37E0537F46D24BB7EFFE7DE3EE078DB,117812381C65583FADDB905000137A02E696D5E217F3747FD3D78C05A116A65EA01EE3A7117EC05799DCA2430EE30D605FB77EA3B77618AD6B45],[0296E1E2FA0DC31E6BA7E221A73F2A7EDF0A78C4F5E5B64D811FD4F89CAECF21F1DBB36FC5993362F7EDA11AE5594BD344FCD127071CF6CFED7E,14AD1096FDFA42E4FC4C41F559E3694428FDDAA2E34D03691F5F34992CF123983F1971A712DAD178EC75378B0CC6AE5FB3F6DCDE39B55D28C3A9]]
FP4inv = [[0F4E7ACE4C62A48E09172E7101D89B827EE65FCF8ECB0DD6CC63E305D4ECB8C6C40EADC8BE094D259985FD0D32AAD87ED4917C33AC1DFB83F2E7,09853ECF2BE05E599F59B2D7B5DF9DCAEA6EDC86B6677822F605ACC1D245544AD5EFB9F1E11A0DB187CF49CB271BA22B4F7D5D6C279294937A94],[0232C8FC121517DA63D8B4B9D30F8C903D3FEA04C60CCB43B8C1DF6D2FA1D6ED06EDEBF80C9110974B65F3F0CD325E619A13DF626F41651C3E73,04A0DB5F84A80D138148AF1343C5AA0EFCDBE1C8FE7039DDFCB5182C9CF9E876A84F5F4412282C182F63447E34E9DCDBCC351E560D9F1396C7B8]]
FP4mulj = [[015414B626A80F86C615D6E32E1A6AD6A26C042C4327E27C97D0219965A7F6AAE1CAF5D62310FB8CA16D56A4A8E483995A16EB29FD2C08394B0C,14B2FB77DB84F6EB4707A74FE2EF5E77B2CF611B6779500BE7DEA839D10A2044951786DD4D6463CED60AC6FA0BC20D2D4B7ADE62A4EC72A9DF05],[09E9EC24D4F1493AB1F116020CD48B9F76062AFDDEC88CD5FC500B7596A78BB72E1147040FB47EEF76555B34198D5AE68FD78F6FDDCFBACEFE56,11F104EAE85B9B61D6095ABA00B809193CFB0C59D932A33DB0C3CFEAEDCF621DB647A5FC224D42E785C36D6079A27731658D95804766D12771B3]]
BIGsc1 = 112C1F9B06542EAE2F02B3BB27692303A91A94EFBC49A208C3F5A47E0A9F59A72355F10A49A192B92D8E888CFE5D2F0333D573D10488A07FFDA2
BIGsc2 = 4F
FP4pow = [[10EC880A57520A6CF9DD1B214DEDFCF1EFF5A00AC5356C7BFA46150C4FC9BC9ED1A5331495DDCC8D10A4AC27F306DC8CBAD50C55F953444A0371,08175F084785CE52554DA261B1577AF4BFEC7F2B3FAEE69842E3BD19793FA31FA13BA590864DBC6560FC93AA50C1B1A451717737C0EA69EFEBAE],[0FAD0B62C44C451EC9BA8F6C51E0733B7C1F413485D10B793D9660D21D55C3C7B7BD0BDD37A163374872114CE93FBEFBDFE425DA9748D97373DE,0F9AB0626CEC2A526525453E0574207BEC18F621D14E3CF93E6EF72514F79344CB9E9DA758CE1753893553671EB2D5F84A6243F6AB4D8DC94129]]
FP4frob = [[09E9EC24D4F1493AB1F116020CD48B9F76062AFDDEC88CD5FC500B7596A78BB72E1147040FB47EEF76555B34198D5AE68FD78F6FDDCFBACEFE56,0364505A6CF1BEF3844C7BDA13DB56A43223267EE19A013D63C0BB57BB10983E6678692A884412977A7C92BF8662DE23E51D152BB899D98338F8],[0E90423F12D5857A4ECC0FF4BFC2383522BAAC62E2EF35C0A5E33D385D36DE3F6E3D5C9997090D8F9F6AF09D08BC395771DA8422587B20850BD6,140EE6E1CA559773C909169AF35A3B2CB6245AEECF2E41BB112F31316587191E58CB54D10CF293705699A1C88A280230ED671A57AA2118E53202]]
FP4_xtrA = [[068CE2ABC75A12837EA62F1794622C64AF9B0F1EB802E15C4B51FBED25C9DF9777D8B9B6376838530488B21FDC765C484C49CBDFF8F8BCADB2CC,08A2C308A00CD9BDF6F1DBECBFF324C755D18AF76E27AD3F72854D3E7DDFAD0911CEFBF936D3666C6C6E299613778CA0A1F03A1FEABD8F89897C],[02A4628F1AB970FAC3C680916EE23942066A903D2238C59CB801ABA46480E8AECA04D488F8198EF7752465945921C6F1A9F136D0ADA943F15D15,065BF16EBA5E4C79A6D2968929D2612AC5939B7398651BE26116D61644B982CD749C91997D98747EBBAD35AABF0A7553D98914E1589B59EF0DFE]]
FP4_xtrD = [[0F6C115AB60A98308D8F96E9A2E667FD79B2EE96AF8EE912AEF1BEE4CD17B5E4F64C4C89C9AE164CA57A64949CA99F06A8BAE77CA7EF8DE2048A,013CCEAF80A751E19292A3C7E6A680F12E4A89C967B8AAF02514769A27C0BE6CE58CBE5190154387DE7ACE5F74960A716CB428689C8FDBA8C5AD],[02AF5ABCFA2ACB5880F5932D038C4A0216AA65FE04EF4F824C5CA65A266ACB9F8FE9D3F0A15F1913D4AA562D41F966F5D21D6ED3D35630FF2B40,0FB86658A9ED4CD0A178E4472166063D8BFB2117F39529BCF274737FD93B7FB806D623784CB4B4B001AB055BBF14CBCCCC40E632CA1556652DC9]]
FP4_xtrpow = [[061A6770B65F7E23FDC2A3423339F15EBF0772553DD052707749E3FDD81E1E0484CB9A6F02C89733551F45E58EC02A8339C04F0FAF4F978993D1,0BF933DA140023E4EC56BE3554948296CA25DD2EB1893770B9D202283759B20C1F97C181939FEB47743F48AA9EB5634E20A6D945D8E9361821E7],[AB6A5169BB4FAB4666D606866F77A7FC7416E415A2BF8EB7D05312E8078F712BDD2A5A0DFB0080D16EB748ABEF7B629FC5881025434A67B899,02BFF7365E122A53FDAEC01169829551B19914AE0819FE55FE96DBF347C586D206E04F562DDE0E0E102153A0FFAB5ECEDA3982B7A391EE9A8828]]
FP4_xtrpow2 = [[0F14ED69A6611B8E8735210BD195BDC26F1F6F8C55848B7EAA98D48983A8E8B90B78AB0598240D8F86EA0AC65BAC9482C53B67187F2D58128C43,E2FD86C4762B0B8CA349ACA919DA067323868E10D405CBCB08882ECF31DD5D2874CEE60BE3BCC9E7DDAB7903D5A8EA5B050B4EE124E98B9DD4],[010722840432C4CE08F0C42A7B92ABE464E985AC74B1FD6EFEA5A271DEA9CA3A33C5186EEC04EE3EBC4C2FD781F37FB46F419B032BF41F1C1895,09BFAC749E056B08F5D559EB71D1D444C4F748691C5E843831CA02E4E74A7361FDF3C75E10DE8BE62330BCBC080531A39A6E85B0351B1FA66907]]

# test 7
FP4_1 = [[14EC2513553FB1A65C46142D655E51C34B068EE2767E9B4F9AE6CEA85C48F93FBD28A53DEDB91C61F7FDDF49E55AE41740879D116EDDCC0F7A42,0405E57AD758980BC4DB110983F980C3DD6428C11082393B0F57B3B6023AE99C397EC2CB88899D37B60BC76E632552DD83C46D12ED013C64A1F1],[0B530CEA6B71B63DE82B91877D63504972A1601C20023D1B2EE018C418D9F46C35C3CA570B04DC4FD3EB8FA28E0CD77D3EF232008F7D5601C59A,03C6B3683F1316D0B9519D609788BDD20093C89703A5BA39F56B4380692C105FC344AE48B4B9EC83B04B12AEE567DB9DDEF7F60C9A7172B75694]]
FP4_2 = [[020826B4F0555FB4E61014188C94347414D7CF43AB72831CBEE5E2EA57937707B3F021FD782E2D0FFB3B1712C5FED31E24E68B616A30489B797B,B6A58F5C685CF26F7F2652AA0F9EDACE97FADE988B7CD94B1B12BDF842B02C5F3E1AC1F46A0C2B14832A077E2D0991A38DD8D8D9876D733F0B],[056A524719022A303E0260223EB097BB241FE5C5CCE52AE645E0E3CD6C25E54EF02B2AB5BC1DEF06E2D8A5675E96B152CB9D74F770ACF983B2B1,01C1345D02B1080A8E518FB6378E4499BAC4385534D06F32C51E47F690B03B5AF2458A022229958A02B570FE51CB15B904706FBF7CD9D34C4E51]]
FP12_1 = [[0595A329F96410B70E8AF57C8DDA1CD9DB99AE87577C822575BC67F499555B108FED40B396A5D45595BB4516D981D8954D11E0D8927177800941,07462A8CD1269D6D590FECF9B2094F2820B1139BF289336A5A95E3D823BC9D33DCC93E5A07AD1E65D0F3C138304798143F9804C0EDDA00E66BAA],[0DC4292CB37EFA8966924D751FD5F442E9919487F0C66ADB722DF6FA1FE9C88AC0786137C807961029C4BC1CF40E915085AEE7833FB4FC58999C,0127A89EF169A31CCCBA84873BBEC41B1DD5510A9AD801B52433E002DFD7EBB45E574D186DE89513CC764A68FDDF4FC61A10755FBF2D1A3EDF5C]]
FP12_2 = [[0595A329F96410B70E8AF57C8DDA1CD9DB99AE87577C822575BC67F499555B108FED40B396A5D45595BB4516D981D8954D11E0D8927177800941,07462A8CD1269D6D590FECF9B2094F2820B1139BF289336A5A95E3D823BC9D33DCC93E5A07AD1E65D0F3C138304798143F9804C0EDDA00E66BAA],[0DC4292CB37EFA8966924D751FD5F442E9919487F0C66ADB722DF6FA1FE9C88AC0786137C807961029C4BC1CF40E915085AEE7833FB4FC58999C,0127A89EF169A31CCCBA84873BBEC41B1DD5510A9AD801B52433E002DFD7EBB45E574D186DE89513CC764A68FDDF4FC61A10755FBF2D1A3EDF5C]]
FP12_3 = [[10B12EB0FF6F3D40E919EA7F6F46B8FCC35ABE07B9E38536904AE246C64A21862973401F823AF1C6D4F654FCCE52881BBC76954EC29593EB593B,0A56A61C282756237585644AD24A95060E89F31079A50587903F1CD732457BA33371F6679C33C938E1BBB54FF0744CD71DFC6AD55BE558645B05],[0BCCE38235B5E23EB99237308BB43364F7046181D893B001377C8C9D1A259514F76E11E9F3B92BFE480829C31362C5FCEB44E5BA7C8EB0B229DB,13BB8A81B21142FD96E3746724D65878D3F4F5B8388CC440B873D6ADFD5A833B520739529C52062EEE9A5BEDB54002CFE8FD72742A5F6150E987]]
FP12_4 = [[01163C3CB1FA70661CC239732FA997E6D4DEFF791F9EF2A7C1107A06D62DCFF6DD78275986701CBEFAC2B313D195CBC744FB7DD1E0A12969C131,0EB13D766089667D6A41E5830E86D7ED8D46BFFC48D09F28B72FC641832AA799DE06F7C8542F6EC104FE4A0739EB5C9641812DDB6C5B98495613],[1406B4DEC87A9E1CF0D648A76B0984C48498D7913ECE439CCDD6121E16F62CD7EE2BC6687F6217870BF4B83328F31B3408713A91B0692DEADE6E,0FEFDCD901C14D82B8CE42516A2A2CCD8130F96299179F25EDE8D3EED393F9DB5621C472E4E1BDDEE1A04DC3E1B4CED52BA4E66CCDB402848E32]]
FP4add = [[019EF682F047B705E80051B1DD5F2679F0C02B4D672479F1454826500AFC75EB5458B814BB55F3F2F2F8F63CAB5461E01AC37DC6D90D6A004912,04BC8B0A33C0F4FE345A375C2E091F9EABFC239FA90DB6145A72C673FA7D99C898BCDD8D7CF3A962CA8EF175E1525C6F275245EBC688A9D7E0FC],[10BD5F318473E06E262DF1A9BC13E80496C145E1ECE7680174C0FC9184FFD9BB25EEF50CC722CB56B6C43509ECA388D00A8FA6F8002A4F85784B,0587E7C541C41EDB47A32D16CF17026BBB5800EC3876296CBA898B76F9DC4BBAB58A384AD6E3820DB30083AD3732F156E36865CC174B4603A4E5]]
FP4neg = [[693032000DA8AEFE0FC266AF350DFA2417A3F6444E092B799DBC9A4C97011C5F9769E8BCD8391D084220D61AAA713E0A230D9A9122DE9B3069,114F6FCA7DF4C249957AC58A9099DEF991BA0A17AA4A6B40052CD78CA6A510BFE3414C5B2207B8474A3438B19CE00277C6E63D9912FF6E4608BA],[0A02485AE9DBA417722A450C97300F73FC7CD2BC9ACA675FE5A4727E900605EFE6FC44CF9F8C792F2C54707D71F87DD80BB878AB708354A8E511,118EA1DD163A4384A10439337D0AA1EB6E8A6A41B726EA411F1947C23FB3E9FC597B60DDF5D768FB4FF4ED711A9D79B76BB2B49F658F37F35417]]
FP4sub = [[12E3FE5E64EA51F176360014D8CA1D4F362EBF9ECB0C1832DC00EBBE04B5823809388340758AEF51FCC2C8371F5C10F91BA111B004AD837400C7,034F3FEB7AF03B19555BEAB6D9E9E1E90ECC2DE277F6BC61C43CA0F809F8396FDA40A809941F910CA1889D66E4F8494BE036943A1379CEF162E6],[05E8BAA3526F8C0DAA2931653EB2B88E4E817A56531D1234E8FF34F6ACB40F1D45989FA14EE6ED48F112EA3B2F76262A7354BD091ED05C7E12E9,02057F0B3C620EC62B000DAA5FFA793845CF9041CED54B07304CFB89D87BD504D0FF2446929056F9AD95A1B0939CC5E4DA87864D1D979F6B0843]]
FP4conj = [[14EC2513553FB1A65C46142D655E51C34B068EE2767E9B4F9AE6CEA85C48F93FBD28A53DEDB91C61F7FDDF49E55AE41740879D116EDDCC0F7A42,0405E57AD758980BC4DB110983F980C3DD6428C11082393B0F57B3B6023AE99C397EC2CB88899D37B60BC76E632552DD83C46D12ED013C64A1F1],[0A02485AE9DBA417722A450C97300F73FC7CD2BC9ACA675FE5A4727E900605EFE6FC44CF9F8C792F2C54707D71F87DD80BB878AB708354A8E511,118EA1DD163A4384A10439337D0AA1EB6E8A6A41B726EA411F1947C23FB3E9FC597B60DDF5D768FB4FF4ED711A9D79B76BB2B49F658F37F35417]]
FP4nconj = [[693032000DA8AEFE0FC266AF350DFA2417A3F6444E092B799DBC9A4C97011C5F9769E8BCD8391D084220D61AAA713E0A230D9A9122DE9B3069,114F6FCA7DF4C249957AC58A9099DEF991BA0A17AA4A6B40052CD78CA6A510BFE3414C5B2207B8474A3438B19CE00277C6E63D9912FF6E4608BA],[0B530CEA6B71B63DE82B91877D63504972A1601C20023D1B2EE018C418D9F46C35C3CA570B04DC4FD3EB8FA28E0CD77D3EF232008F7D5601C59A,03C6B3683F1316D0B9519D609788BDD20093C89703A5BA39F56B4380692C105FC344AE48B4B9EC83B04B12AEE567DB9DDEF7F60C9A7172B75694]]
FP2sc = [024647AAED8577C38876540719EF2C2FCDD59374F80790B439B21B4D0ECE8D28527EBFF8A10DA13ABD624A60CDDADF890E7F5E8B606B1B954A93,069021DE4BDB55C77C5B617B54357BFA0CF1BA2F2E9BA125969ACBFD5427F1426E9524D160D8C5DEADDC60843FB830252E6C4FFB8384C68A5E32]
FP4pmul = [[09EBFE0A84F713BBA60A1C9B97AB8298BD4B1E88968DCC7971F954456312711D24E302486E453EEA2B1DC5D47FD22824986DD16D763CC53995CB,0CC2EBA7F3EE2101F17E26A6CE47F7670F0101177F213B62CFCD5A8EC32F401CB7D7EA761A62C10AFDAEE33ADF92537194BF9E43569E3222BE7D],[0F31D6D2F3AB8BABBBCA5A3529B1EAD9B01ED13F6E6E3881F3E8CDE20A27382927EB92EB34E9650083060FB0C246014F7960382E0C5367D0C63F,1043D663D2921F9EF040D786923C8BC32B73F40D6DDE60C56A684750F6606BC0DF051997D0EDF939B06ECC842ADD8342D72EABFDEBB23FBD5FBC]]
FP4imul = [[12DE341954FB663B65F7482BF9550BE096905B1320F86D763AD21FA4DD55F3B1DF3393B23D7FFED0CEB33B1B6006ADE10DD8590C992F73078835,02CE0B9BB6C635F142CC8FA50345A4D9C13AC1ADA840B2E74789AB0164817F4D3C38819E88A859CF4406AC7652DA9BDBCBEFE3C58E06BFB120FB],[03F24DAE84C236736203E570B299C280626DA81E8FA78131DBB2F2D09A7BCB74EC56909642692961F6C55D6F543D0CEF99AD2BFF5CEE040AA19B,0152DF2C25252E8EFD93D9AF78A1132E945880B15B15B8E0ABFF09BFCE2867E276DC068D91CA359721826FF96069D05DEF25199F9EA805A15CCD]]
FP4sqr = [[1092F51D635DF794650B09295E5DFAB3BC3F89396F6BE2BC7427D87742D2DE62785525BB637B270BA5A525E55A36D2110E0B4D921CBE207BE68D,0AF08150EFDB9AACC98FC52B10A6F3ACF6C3E54545F9494E272B77C73BF035C7204C2F3A3DDDA37564C443F5718C8E4A7231777933DFEB175C89],[0962408EC2CFED3207BCF4BF253DCD451F3539DAF8F76CA3277174F81033F3F01C9E92DD47F82DAF54F1F4E2C62ABE8F995CCD5FA4C31CFD3F73,10C93118ECF7E5E1862BB52440384DFD1BDD21BD4727D7B55F0A13C8A27541179AEB6BC6FDD87292DC08C35FEC98D7AF295348FE0528105BC937]]
FP4mul = [[0849A3FA52DF1E9B3366C4612CE7F55D1600E1926567243C46ECC456E9770B306E94FB12F2F5DFB62D2FFA2695F57BDCAA76BF14D017E5583D63,0580BCA178F5278AB2E4452EA5E9743D33EF2192D5AC6D2A36DE19F64036600251B6F152B30B7AA0364CDA4F905E2C5A61A41FEC9D6C646C2BFB],[02231EFC858A280DD2803F6761BAE48DF2C78FF052312E0E1E7E3E69C57A790AC0FD9510F605D2C3DDAF39D69989939FE31220DCFF65C8540372,01C6EB389787729FD69784A9E1CA9EFD39C639EF3A6323311F584BBD28AB9A5482740AB2C8AE0D4FA9206E79B09EDAE224408B4F851C099B4C8B]]
FP4inv = [[0F87AD6279A5878D9492E097AEEFF5AD159C3987BEADE84AD68DBAFA702E8A7BE79840F5368EA95A84920A2448D909B65BE8056FB6493B6F1C2A,0F5B50A222F549BFF1DE180CD497D5A51CF0D8BE407F2837A97F4B8AC27BE7ECDC125157615C78D14506423A7748598938429BD03CCF938127CD],[0406F1F1E1ABF55533B62044C87C04CF3923D6A6C9DFB27AD1188A52165EB85AFD2091C36775BAB99543E9435DD1E01011229802EB405BE6AE72,0B38CDDED99673F8013C4686806BE5E06FEAF4CF91866A188805D748341D589C832B73ABFF7B898EC421BAEE79D97FA8108DBD96B467CEB9D7CF]]
FP4mulj = [[078C59822C5E9F6D2ED9F426E5DA9277720D97851C5C82E13974D543AFADE40C727F1C0E564AEFCC23A07CF3A8A4FBDF5FFA3BF3F50BE34A6F06,0F19C052AA84CD0EA17D2EE814EC0E1B733528B323A7F755244B5C44820604CBF908789FBFBEC8D38436A2517374B31B1DEA280D29EEC8B91C2E],[14EC2513553FB1A65C46142D655E51C34B068EE2767E9B4F9AE6CEA85C48F93FBD28A53DEDB91C61F7FDDF49E55AE41740879D116EDDCC0F7A42,0405E57AD758980BC4DB110983F980C3DD6428C11082393B0F57B3B6023AE99C397EC2CB88899D37B60BC76E632552DD83C46D12ED013C64A1F1]]
BIGsc1 = 080C3A1C761C5F882DC966775E42AB8FB889F270608C7278F4F37A450063299E883ABF0ED162D9FD411D1DC5B131FBB102CAF8B7F8736A26C640
BIGsc2 = 05
FP4pow = [[0E59C1D4B09DBAF23EF6FC7AB75EFD93B0ACFE23FA2A9D1236753E751F7818C04196D2E80E207094C551C5619364AC15E0F848B5BFE1218DF244,CC153A71B1B380C8DBF5AD360841047016593A21815E3EFB222FFE30A6114E8B1543393536AE366474F530378D09A9C7F2B89FE79A2AF8E60F],[7FA57950728E6EEBB65E9ED704A6502A1BA11CEA920DF5A6506F4CC81DDEB2546B1EAD5B6D4E495044D6BDCE6EF1035304CCFC9883D7E7F6E2,1190079D3AB9F776E0DAF21CDF5BD1CA79D4BBF6C5B3697BC51E68623E8075A83242E67B6DBE21528F6564DEDFFAA00327946AB305E644E30862]]
FP4frob = [[14EC2513553FB1A65C46142D655E51C34B068EE2767E9B4F9AE6CEA85C48F93FBD28A53DEDB91C61F7FDDF49E55AE41740879D116EDDCC0F7A42,114F6FCA7DF4C249957AC58A9099DEF991BA0A17AA4A6B40052CD78CA6A510BFE3414C5B2207B8474A3438B19CE00277C6E63D9912FF6E4608BA],[0A33ED21DB21E87839D669E7DB896A4265656DA4F6ADEBAB652BA63184E3834B0993B14DAD815010F62363BC82E61B72A203F1BF0121C7891C03,09B193718BF58ACEEB6DE07AB37869D74CB87500B408290C3071EAE8B1D072EFC36604A253E1B7ADF3A5AF419C50E631C3951D4362A81345C75D]]
FP4_xtrA = [[14FF3E0CCE4BBBE3CD7DFE43A4F3AD34E03E0B0005FB9A82D13AEE8453F2E1BF4B916139CBCFE7DA65CD7413DE03E7F6B536FAAD88646725C27C,070107A3AE8F43603CCEC1F0951466E80B0745656EB384618A13E81DF3E373326BB6BBA7C38BE734ACE007EA219F8B700CD52B7291D396AB16B4],[AE93BBB518ADA9C5B9998E86017A4A353965C808444AC5A92837D31ADE74CBC1CF4BFFBD9D8ADB79A833E80986F2D137BBE3D3EB4FBD9D46A2,13BC634837050F55E043CBD209E5669052924AA0CF643BEA0A00B0C8F43B141A0F95918256AF1382CF1C7212DA604512754463C05AF9E1F423D4]]
FP4_xtrD = [[11655581637948F2612A8DF6BCC816A8046ED125F807F513676351ABDC00E09B3783F98CDD2B9945B62967918F8BB48D225168C73F03DDB2475F,02E4B65B412A6A953FD9A31808B3F2253BFB93C324F4D6D8087C105B377A628EAD4EA9A32CCA6905F8ACB518AB41E88F6AA89D5359DD724E18A7],[0AB3051E4465FF587DBE413A0B710E1A9559C73A7E2F425E70AD1B3D9907E26C6B661864B37090CFFC891407E23F1834CC9686B4C3BD1E561FFC,030142A415D0B92D9E7919515AB669E3ADE6801293A6A7AE355C0F86CBED677B04B4B931BCBAF61B3C5EE89DB76339959C988A6B3A0A4B1FCBB4]]
FP4_xtrpow = [[027EBDCC5110D083543ED63300A89688F2D6BEE11D6427FCBB4BC835D24D82EEDFCEA50CF956AFA7A8150B5CF40C6F979E78B496E8A8BA8D2B95,148F1F564B7D7BCF7221F7375D40B474CAA5FB98BAE67F8A594FCF86B17B4304A574CBB80537488254F067D30317BC32B433919BABC42814F257],[FBD79ED92E88021E8978F5E768614E861E92225F45B55B02488CE90FA5B8A7AAD3E1FB4B71B8C8A0EE9635DA84AAA0DC5A9A1C5B81B7B818D3,101A187678CBB90E3A3976DFED2B8B7D131ED3A3C277401BAB7D847482B90BBEF4424E84A6E5DA4BE0F389706606A04AE9F492F0625103A06A47]]
FP4_xtrpow2 = [[037B063D79EC03C6BF1579452A560BFF3B8DF4E2A2922F23064D27F8F7B5ED2AB08F7342299B6EBCAC24CC4F51FA1E36C7FE8950D28C4C805481,081770DC8CCA736C90155230C75FAD6FA842D0F2F9F5BDDDB2E819AA7957959E174A85AADF1852608E54986C227820DCE76770D70DE806D7DF39],[05E0F7E2E835832ADE493284719E092FA91A3D009E521C63FBA5EB060DA61EA2F0FE64ECCABEEBC4B7CD1A27EAD842B0FA40ED10E057E021675B,037BEB2AF456CF17C2535271B13D676D108713ABDDC4867636599AA2A76FFFFFE266E2EA912D16C1C13B8E8E7AAD4CDCAB4743148264EDC618B3]]

# test 8
FP4_1 = [[0B59198E8585F1B09DDC0DCE626272738FDE0255B98468954C6FDD01F1383288146322A790E809B2780F5DC14EC03804494E62813313F313936C,0787698BE208F37ECB3AB6422EE4538897F102FD6087CEE81A3A509AE845D4578A30FC66C7BCA08A8E879EDFB5700241E62F5EB77A24C986CB1B],[0BA3DC015AC1C2D4216143DDA4FD22E193747D280AD163063E06D70FB7C910302C3362CBB4CD3A11D45E6A0B93719AD1ABE28BF7790B3CE2CA0B,0819101E9C1353587BA7342D6D580610070598CB48085CFF310580E626240BB593FE6B567B7F8D2855DAE41D33705E71AFD1AF8363FE91F4023D]]
FP4_2 = [[0A9F6AD69A9764053E3B6E90AABDC8DDEDBA40ABF0E46727322C60241E3D143ECFD7E58521A47E4E970C7AA2C9C050F4B6DFB7E34D389227C5,04B05C186A53795F2CF247993C89C51825179DA2603A1ABB5759AEB8DBD6678E1B6112F54134F07B5DF381BAB319BD94853BBB683B35D6DD3430],[01FF6B5D4749F54F9D762F49F4C56ECEE7F87BAA4942C27FFC7F7A72BBF1C60E6285AC53818DF4261075E4E4B2A38A49D691E0C93A8280D99B3D,037F552898C84C33A4B72A86E18520AFA612C934BB490EFB26D822A23D7C8CD84A673D1EB13E9E7402ADC55804FF4BFCC591A3F68AE2BCA7C90F]]
FP12_1 = [[0DB04EC3BFBB3063A92EB667EF4A3402AA79239A4A96E70FAF9309CEFEA60266C81DEE186C72812345C69256B407CED5A7DA54F864DE486F74FD,03FFCC72E21E6E863B08B6815658F799E0C5F9BF8E6FC2D6B0EBE571949E267DC9D02AA7E00371D2B4AC3E9EC8B271FE6EA43A74482CFDF26F90],[11690240A3D8C4627567B0E626F75766DDF6AD2CA37792D3A40DE5AB0A17C9258A172B9B6B6B6C136512F564CED4F33AB729F730087EF6E48BAD,1236E09CB107018626488022B0AEF4D4CA3AC4BED8278EFB8A366FA25083708BB78C64E8CBDF38B3B485699110D166FC4D8F8C02036051BB7F51]]
FP12_2 = [[0DB04EC3BFBB3063A92EB667EF4A3402AA79239A4A96E70FAF9309CEFEA60266C81DEE186C72812345C69256B407CED5A7DA54F864DE486F74FD,03FFCC72E21E6E863B08B6815658F799E0C5F9BF8E6FC2D6B0EBE571949E267DC9D02AA7E00371D2B4AC3E9EC8B271FE6EA43A74482CFDF26F90],[11690240A3D8C4627567B0E626F75766DDF6AD2CA37792D3A40DE5AB0A17C9258A172B9B6B6B6C136512F564CED4F33AB729F730087EF6E48BAD,1236E09CB107018626488022B0AEF4D4CA3AC4BED8278EFB8A366FA25083708BB78C64E8CBDF38B3B485699110D166FC4D8F8C02036051BB7F51]]
FP12_3 = [[D2D6896AD19BDC2DAD075B9888E0B62EEC68AB7B7034C8F5D18A86B28B54124D1E9439349C2585C306F780D1F7B4DE4E6F87C7401A0D902AB0,0AA64F3C2F3DC81421A3E84A155866A267F34818856F899C3FC549868BB1E0C655ADBC72F48B833DD24126655001DAD046B5FE7B77FA7408D213],[01B226358B5FD81909293F465F6384A8070CFB312F16520CE683987260B7FA83192691C4C4282A3B459ACDEBAF19BAF2F6F850473270FA5DD1D3,1330722908880F61A3FDC0F0EDA52D34842860323AB2F9477F3E19C2BAAFCB9200499AA9721A212C0FEA328FCFD3B72AE114C7B3F013B0CAB633]]
FP12_4 = [[1381DB7489969DF46B23B45FA7A1520C191D4A69966F5907712D4B2BE9D00C4E5B008548EAA69C84A1AB16DDDF2FC0F9F4CB296F3F73860A39C3,07ED41A4F62BBF363E98F2BDADE4AF864BE212009BB0323824476244A432B2FC22DDDC73A6EB8A0A0E6192F110780534DCDF73427ED389677EC6],[1192A1CA77690BB7FE3BC282700F041F045B769F8C7DA8F09F2ACA8A454A9D9502F45E95FBAE756F1BA366D5DB8A2B34FA6B340FFF43E8A67E19,0A6CB3733D5D3E70B253EEEC9478E80C9BE2B3ED047DCD19CC8B032E361EBF85691D608B0E6382A10EF91D92CE89EC721DA83D58DA90F2541778]]
FP4add = [[0B63B8F95C208914A31A493CF30D303C6DCBBC9665754CFC73A2096215566F9C5332FA8D1609AE30C6A66A3BF189F8553E05423916612BA5BB31,0C37C5A44C5C6CDDF82CFDDB6B6E18A0BD08A09FC0C1E9A37193FF53C41C3BE5A5920F5C08F19105EC7B209A6889BFD66B6B1A1FB55AA063FF4B],[0DA3475EA20BB823BED7732799C291B07B6CF8D2541425863A86518273BAD63E8EB90F1F365B2E37E4D44EF04615251B82746CC0B38DBDBC6548,0B98654734DB9F8C205E5EB44EDD26BFAD18620003516BFA57DDA38863A0988DDE65A8752CBE2B9C5888A975386FAA6E75635379EEE14E9BCB4C]]
FP4neg = [[09FC3BB6CFC768A4BC79C8C5B230ED49DF40308301483BE5C814AE40B7A7C7D4085CEC7F19A94BCC8830A25EB1451D51015C482ACCECB797173F,0DCDEBB9734466D68F1B2051E5AF0C34D72D2FDB5A44D592FA4A3AA7C09A2604928F12BFE2D4B4F471B861404A955313647B4BF485DBE123DF90],[09B17943FA8B978138F492B66F963CDBDBA9B5B0AFFB4174D67DB432F116EA2BF08CAC5AF5C41B6D2BE196146C93BA839EC81EB486F56DC7E0A0,0D3C4526B93A06FCDEAEA266A73B59AD68189A0D72C4477BE37F0A5C82BBEEA688C1A3D02F11C856AA651C02CC94F6E39AD8FB289C0218B6A86E]]
FP4sub = [[0B4E7A23AEEB5A4C989DD25FD1B7B4AAB1F048150D93842E253DB0A1CD19F573D5934AC20BC6653429785146ABF677B3549782C94FC6BA816BA7,02D70D7377B57A1F9E486EA8F25A8E7072D9655B004DB42CC2E0A1E20C6F6CC96ECFE9718687B00F30941D25025644AD60F3A34F3EEEF2A996EB],[09A470A41377CD8483EB1493B037B412AB7C017DC18EA08641875C9CFBD74A21C9ADB678333F45EBC3E88526E0CE1087D550AB2E3E88BC092ECE,0499BAF6034B0724D6F009A68BD2E56060F2CF968CBF4E040A2D5E43E8A77EDD49972E37CA40EEB4532D1EC52E711274EA400B8CD91BD54C392E]]
FP4conj = [[0B59198E8585F1B09DDC0DCE626272738FDE0255B98468954C6FDD01F1383288146322A790E809B2780F5DC14EC03804494E62813313F313936C,0787698BE208F37ECB3AB6422EE4538897F102FD6087CEE81A3A509AE845D4578A30FC66C7BCA08A8E879EDFB5700241E62F5EB77A24C986CB1B],[09B17943FA8B978138F492B66F963CDBDBA9B5B0AFFB4174D67DB432F116EA2BF08CAC5AF5C41B6D2BE196146C93BA839EC81EB486F56DC7E0A0,0D3C4526B93A06FCDEAEA266A73B59AD68189A0D72C4477BE37F0A5C82BBEEA688C1A3D02F11C856AA651C02CC94F6E39AD8FB289C0218B6A86E]]
FP4nconj = [[09FC3BB6CFC768A4BC79C8C5B230ED49DF40308301483BE5C814AE40B7A7C7D4085CEC7F19A94BCC8830A25EB1451D51015C482ACCECB797173F,0DCDEBB9734466D68F1B2051E5AF0C34D72D2FDB5A44D592FA4A3AA7C09A2604928F12BFE2D4B4F471B861404A955313647B4BF485DBE123DF90],[0BA3DC015AC1C2D4216143DDA4FD22E193747D280AD163063E06D70FB7C910302C3362CBB4CD3A11D45E6A0B93719AD1ABE28BF7790B3CE2CA0B,0819101E9C1353587BA7342D6D580610070598CB48085CFF310580E626240BB593FE6B567B7F8D2855DAE41D33705E71AFD1AF8363FE91F4023D]]
FP2sc = [087BB4BF65531007D8545BE49B78DBE94438D7D93C83F79583FEBE2E4D47A517532CC996571A5F001AF6305E704FB2B5BC3805E1B6A091F35CE9,0A90EE7902EF83C08D54290D0D1AD8A6EE75005532B1A31CDFB5476E7EB052C2D7F6F4501E4B280485A98A9C211D76A1536701DBCAD23BF1869F]
FP4pmul = [[03EC0CE9BEE01876A6B02EEF96A1E0495C1D16765CFBCB12494983AA60D3C96E274AE7333D789318F49B4EBEE9E8CFEA070AC2948A12CDEF22E1,0BDED2371F29539FCFF25CC4CF28D4229720CD3428ABDF695E274B594CE22ACAE11A592AA9DA5B73A2B824CBC42D168BAFD6ABFB147664DF65CB],[10C29FDF21CE7BFFAF9E32730B6AF35BE8B1E5DD906EE58D0069D5480166BEBBB65AC09DCA5DF6BF934B67CB63A0417B179DABD4C28CEA641098,11F0A1EEBC1DED4969F4BB00365479C551C71337C97B5F7298E90433E46A7C0A1FB7728A684801B4281C73648670DD793A0718B5179C6C48C0B1]]
FP4imul = [[0F6FB315A6C18CD44202DCE872F701F0A1B777CDE238EEA3D98169459DE972A43875C520F6A4436447AB8FE92731881E2124B1846589A58907F3,0A09384883A3F3CCD9EF4EA71F178941495AAF3C2E1D5F628E8F1DB70828D9AC8DD6C8822105B8CBE53557DDF6056522B5F641AC57002D5A3867],[117B04397B6444CCDAA757534531D4F2BAD4D38E1B53C7BA74A23FA60BDF823CDF27861DF1E895FFCDD4E5F1080B3BBBD331D3C04F4CAA33864C,0E04C64B99EC92C0ACE6C015D4416AF552EAC7DD82A142042E1D6FC5B93C5D3ED274D1100B5A311C587C3C8C6807EA713966773FBBF4A856BA55]]
FP4sqr = [[11B6A241F565851E391E1AD22510D1ACE5AACE0C3321A24295B891D5A70830C52978DC5AF72E704BE89D43B43ADD2C2A1029E737F71BF5A1E4BC,15105BC41D1F3D0E5E0A74DC4DB4E110285764F6A3B328C7F7B5C5EF67FE87A7EA2242976A68360D7654B77EEACCE7FA4F00737145420907D6AE],[022EE6FEE8B14FE3449ABA0F8C6D79A2980BAE9C0BBDCF41C53392CF98776757422256CB64CD2E612A94D2851B800EFB664A066C77B9156FF2D5,01C7806AC47DF35ED75629140D38359B625D44DA68119A4E9F3C6E4E6F4C896B267E43AA57CD82BD54970A64261A7293AD21B2DE8536A450A5CD]]
FP4mul = [[1267BEF8D79045C84906C157467637AC791A3CFEC9FEE95BC7A2D0018C1E66F23A2EF0CE80511B195BE8761C87E11F351C2B9AC3E87CAD9889C1,0AE0097D111B286DE394B1940948EEAE0C54720D138861F049A2A17978E1E4EE7460A9A79B3504A08C8CE3835BD606A4B9363A6015B57B633D22],[12B490C07852943F5A70503EC1EE30E921853F682E792E57A2133791E93F846340FC7D4BCA6E14769E6EDF77E7CE76032D694D478343A41B85BE,058AD478F6082345E3DCABEE7BD915F455788E1604B90FEB216ACF641A502907FF097DC49E485291E870204A80B8F99ED03B0ABEA9CA40EC7195]]
FP4inv = [[117E7631A6569ED041A45A8B63EAC437B474C5C7D3272A85A798B470465740185EB4FD6D0F9D5F7F11F8CEC30F04BC2F9090730E2AFDCB0FC943,0930D57F0C986554EB134EE2DD32B0C46810E20B1A88BEE5DCE255776342B00B31A1F87E811EDA09111E07562D32047EF8A3684BE43976D8C13E],[046B52ABBA053469105A041C756D7C40056B0A338F87912E31EA189B60971C714E1EA92941C649CAE3C0D365D4144364B922057950DD869B6309,1327537C558370CD9C910088FA7C1F6D1E83A89F8ABAE3E304517094A232FE748A9CD18B43FF2642C34D839F5485A75BC3E9860E00A2F598B4CF]]
FP4mulj = [[038ACBE2BEAE6F7BA5BA0FB037A51CD18C6EE45CC2C906070D01562991A5047A9834F775394DACE97E8385EE60013C5FFC10DC74150CAAEEC7CE,13BCEC1FF6D5162C9D08780B125528F19A7A15F352D9C0056F0C57F5DDED1BE5C031CE22304CC73A2A394E28C6E1F9435BB43B7ADD09CED6CC48],[0B59198E8585F1B09DDC0DCE626272738FDE0255B98468954C6FDD01F1383288146322A790E809B2780F5DC14EC03804494E62813313F313936C,0787698BE208F37ECB3AB6422EE4538897F102FD6087CEE81A3A509AE845D4578A30FC66C7BCA08A8E879EDFB5700241E62F5EB77A24C986CB1B]]
BIGsc1 = 10A3AC410F5DE0DFC509F5BC8E33924AEE3F90D86C1B5BEA6BB7B23E5C1E453995934EFDF6955572F105697D8FCD5FB95D2B2661C597525C304B
BIGsc2 = 39
FP4pow = [[14925A4E69AB2EE14F99540732F40A7E3BCE2D8B917880A1844F139F8037E26B42E41D801382C18AAACA980E772B0F03597C48DEA8439AF9B4C4,0A6A615BFB7A65538E305FEAFEC5BF5FCBF0E3FAD205AE87557F240ECDE4B6DC1B3E6B1CC0DDC0A72C5E1020F1BF625337BF171B8BC5B5A9082D],[0FCDA056532A552C2BD2D6876E320B659828A8521ED51CDA2C210D2B9D49BA654C45A0BBF3AAED866A1E9F5DF28F029A45FDCEA75897966FA084,13054D0A1467B9F31E761B05305D823B8F25E15988C30893BEDAE44B2B3D20C8041CEFA7EF58BD4BF581840547EDF292397D027C17CFC51F41A2]]
FP4frob = [[0B59198E8585F1B09DDC0DCE626272738FDE0255B98468954C6FDD01F1383288146322A790E809B2780F5DC14EC03804494E62813313F313936C,0DCDEBB9734466D68F1B2051E5AF0C34D72D2FDB5A44D592FA4A3AA7C09A2604928F12BFE2D4B4F471B861404A955313647B4BF485DBE123DF90],[154D3844C8094D154F8A3FE03E9502D93FFAA6F399541FA52FF95C5090249E27581A558060C5F3D824E86157B1AAEC383E0DA6CB60D364814AE8,09D3C01EAAB07C10E7394689211E2E16CF83386FF3B4885D7851ED2B20DF802427476DCF6287975EE5D47AA6A880BA4F9CB06B7384F3E46EBA59]]
FP4_xtrA = [[C4E1B1F67554A759F61085A197B505EE24C8E2A2179744583A0A56CD575C9A76F74F97EFC2EE6A5C843271B670305CC2DF036F73FCF14D2755,11451AFD6BD9B5E7EE3ED5993ADB6607D422E10A4C826104A7C9BB781B6F962D93B55C0AF19DE132EDF9A26703401B8BF01962C9C2920B82666A],[0F485E89B02B609CD362F5F86E419DEEA6028FC9B47E778C14BEB8A9054A495DF21BAE206CFCBD4B9D58A8A1FC10AD10804DF17375137CCA451A,12163CE5BB51525CE92727A135688BF78733E083D569B698C463C4C974AD8003EDBEB304322207DBA27E2BD042E7328EEE24373AB99983949FB3]]
FP4_xtrD = [[1059C46A3FA6FC1257BBD5C974DF4C83350CFC397AE57593115D63146D77C6111D72A6327FEFB265F8BE88519D621176C837CCE190F4BA25688F,060188AC590D5610C7950857EFEC39FEF8755EFBE2A38AF7C34124B99772DEF8D5C049C9DAEEF4F8594579BF7FECE37682A1B60250F875FA4078],[042149BC48E77B362D076B36C1D45FA84FD676136693F0D32CBCB5AC5F298D5B7DC90D3C23D64D05D311A67C425DEF49736473AF69CEE48ADC40,11F9A0A7FCA49A0FCEA4916EE7E841BB70687670F822544D0147701ABB94A0D64E7B1A574ECC9D0E004CD29E8CFB2F770CC511E54D33C838AA47]]
FP4_xtrpow = [[02DE13F9676F65FAF2EA110CE1C6DCE732EAD86E0C538270161C2BA19E2785D0F5EB5FE5FD0C4BDFAA46D9C2AE0A96E240B7BA71DB68736672E9,1186A5BFA10E47339025777FA6C5C3D41E4EE624DEC891AC0E610D3C141475F8A3D8E8C6DF0D76BB4A2A194D51B6D4E1CB82E3F1754AFF319F56],[0FD439427CD1A138745B5DF625033A7AB34FB08FFF38400F86FCE63FC1132C4F2ED2DD27B47BFEC55F7671B3DA5F7F53F9392510809338FE60A7,11EC576D4DBF0FA617EC4BC2E5EBD239C1464F5C93282B5661C002790155E5502A1CCEDBF12C53FFFBC082CE0723F394AC62055EA0137AD1EBE1]]
FP4_xtrpow2 = [[C689F64784D6C23D545F41F31843C375893EDD8059E9074DEAF39551EE5417B596D6F68008CC3DC14C46DC21C455238E21F4B3D35B085F13AA,139224CBAC10C78EC091FD5210A10BA8631D3BD216D37A13C09A308DAC0DE48F53BE5CA6DCDE5C566BE7DC490ACD769A60A6E09E11506F12A9B8],[04368C2774120839A7D5101D323A83A7240C730EAD604A51C0FF6E389E884CD1D2C42B212DA01A29A9F250F1C4B20DEDE3DC9C0FA4FF5D5E73C6,02281879591A4DD70A95E4C19C48A39C15CAF6630717875E233174386075A4661F3CEFC06165DA77E12588400F80F7B4A09F01CCC9F764511C28]]

# test 9
FP4_1 = [[0E211D022EF70FD8EF791A3595D1D2A79FF62B151FF690E0AE36DA08D401B2D54709DAD83FA04FB2E684AB047A0C012C9C0A971FC151D2C52A2F,0252A81C9B200334207FA956657B8FEF762C0DFC4128B00571996D63D8D4F466D6A379910D993B27AC7B9682589AC8F367EE5DC0E2A081C6C79E],[097DA273E498B6D3DEAFF1652D3F7BB22170896129C030EA8B4D9EAC5D2F8BC344771CC2F9EEA55C583A849D9746A7C25CD4B1E9B929B9B9EF9F,041E3FF049F18E89F94664B8D1C5B9A8143512C8BD725EE23A505DB50545C958CB541703A6A7F32D29FCE2BEA36B98F589E6EB7F798C2ADB49D1]]
FP4_2 = [[070A7808E27839E769BF911A4E76F498FCD18BA356521E9DD5BC8479CCAEA79F9B1C27D689AC43D3E9202BE80CF0EB8BC05AE8BF9741C130F259,1337CFCDDC1DA04A8486F916CF9CC06468DDF8B0B2772F35C689564E91EADC152AE4F2585A687D9D54254556E4C1F56BB8301C24E1882B7501BE],[04457FD6A3D123AA5E84FD46661405BEF9DB1D41BD12B24914F3CE47A422F6AE5B6F0B989C75EF437B3CD9DD1BA402626F62815E00B0A8B498ED,0A2A44E673C2838AC12DE7E15DAB62EBAEED61C52618F5524B0C833F8CA87A7ED34C2F2D843F0C902664DBC8E209DA49A5D3A652065E54A44007]]
FP12_1 = [[0B6A19AA13897551D39166573A3FB5026C778D05B054C10825278F853DD40D1E768C7987969ED8C703EB880F26611DB579E92725B26EB50DEF50,0DE7F58648201DA4922FC2C4181E287B584D0870EEF216FF7B0AAE39DCEEE1CCF50AEFBE7A64AF97CC3C8D26E055AD1C1A5CAFD7D69691711DDA],[01F796B7C198DA23B52204A1292BFF03AED96615F1A36F3B2E5ED495C84EDE0DE9F8F0441533EDB63FD9734C677890B71BAEF529C090C3439F83,06643A1A252FB90D94EE2BABA85FF597DDD3D17055D167C0CB9D456B38717AD43AE98073685E51F7678960BB48DED09A42B1F7329D794DC7E2AD]]
FP12_2 = [[0B6A19AA13897551D39166573A3FB5026C778D05B054C10825278F853DD40D1E768C7987969ED8C703EB880F26611DB579E92725B26EB50DEF50,0DE7F58648201DA4922FC2C4181E287B584D0870EEF216FF7B0AAE39DCEEE1CCF50AEFBE7A64AF97CC3C8D26E055AD1C1A5CAFD7D69691711DDA],[01F796B7C198DA23B52204A1292BFF03AED96615F1A36F3B2E5ED495C84EDE0DE9F8F0441533EDB63FD9734C677890B71BAEF529C090C3439F83,06643A1A252FB90D94EE2BABA85FF597DDD3D17055D167C0CB9D456B38717AD43AE98073685E51F7678960BB48DED09A42B1F7329D794DC7E2AD]]
FP12_3 = [[09E6967722A4B5819E5F560ABA42EAE0917B98CED0F911377459A6C185B348D1098AA7E49B28E366C7A1985ACFE0D80A0EBD398CAC63EC53BF3D,0E328F0E62574B8A14090E60AC4AFB346DFC3EE88815A3242DB7AF20046449E7480C6F1CE89F281A0DBFD42130555DFDC1A3DD600A3B8E9EF8BD],[0474C002C4D33CA4E28982A47A7E778304648717A67E2106CA206097EE96D594AA2FDB974B43D034EFAE4FEF857E307EE244844007B5E4934243,02EB87E6B74CCF1378AE0EDC49DCB569450C641F1E7DA0D8AAF0482E2E0638D5D1000FD1E799F447C57073A195E3A787D647B5BD8393A7A715A5]]
FP12_4 = [[04179E7089EFFB1C9BBF9A2AA3D30F600B376F9977C06C7FDA9E67E64BA6AB035152CD25E3C1F85BF0C71ED026CC4A41B082191F1B387938E7D6,138208EA0A5BA8DB78DC96B52310DDE0F15FB6E084EBB3EFCA02BA220752C6469F6B797F119F562B619C569735DF0C2FDAD2236EBC4BC0221F89],[0600247F7F9535B58A49337C9D47D40266C7130173EEF1509D63CE97BF5F9D0ADA7A9752E71BFD019C192D10E01AAD9B84F81264FC785E23F9F2,04AC50903298B0CF340BA098F330C72D4EC0824B807D9C9D4F51A783C23653AC1AD3DF23A8EBDBD5A39989F15E5C4BF8900CC92E3570A9E0E591]]
FP4add = [[152B950B116F49C05938AB4FE448C7409CC7B6B87648AF7E83F35E82A0B05A74E22602AEC94C9386CFA4D6EC86FCECB85C657FDF589393F61C88,3522A521F049294AB0CBD92084F0966FEBD3D438D33AC0239E386FC1DFD61FE4C85CC2BD7063460060DBB93D576909D573CF39C42802911EB1],[0DC3224A8869DA7E3D34EEAB935381711B4BA6A2E6D2E333A0416CF4015282719FE6285B9664949FD3775E7AB2EAAA24CC373347B9DA626E888C,0E4884D6BDB41214BA744C9A2F711C93C322748DE38B5434855CE0F491EE43D79EA046312AE6FFBD5061BE878575733F2FBA91D17FEA7F7F89D8]]
FP4neg = [[0734384326564A7C6ADCBC5E7EC18D15CF2807C39AD6139A664DB139D4DE4786D5B6344E6AF105CC19BB551B85F95428AEA0138C3EAED7E5807C,1302AD28BA2D572139D62D3DAF17CFCDF8F224DC79A3F475A2EB1DDED00B05F5461C95959CF81A5753C4699DA76A8C61E2BC4CEB1D6028E3E30D],[0BD7B2D170B4A3817BA5E52EE753E40B4DADA977910C73908936EC964BB06E98D848F263B0A2B022A8057B8268BEAD92EDD5F8C246D6F0F0BB0C,113715550B5BCBCB610F71DB42CDA6155AE9200FFD5A4598DA342D8DA39A3103516BF82303E96251D6431D615C99BC5FC0C3BF2C86747FCF60DA]]
FP4sub = [[0716A4F94C7ED5F185B9891B475ADE0EA3249F71C9A47242D87A558F07530B35ABEDB301B5F40BDEFD647F1C6D1B15A0DBAFAE602A10119437D6,04702D94144FBD3EF64E86D3AA722F487C6C4824497E254ABF94A257EFCA12ADC87E965F5DC213095896514B73DE28DCFA68EC48011900FC708B],[0538229D40C79329802AF41EC72B75F327956C1F6CAD7EA17659D064B90C9514E908112A5D78B618DCFDAAC07BA2A55FED72308BB879110556B2,0F49504F2B7C6554926E536B88ADB679D465E3DC52260E0B03C865B8217D493614C7F6FCCCFA3C1C03D80715C16714012EBDEFD9732E80E1B475]]
FP4conj = [[0E211D022EF70FD8EF791A3595D1D2A79FF62B151FF690E0AE36DA08D401B2D54709DAD83FA04FB2E684AB047A0C012C9C0A971FC151D2C52A2F,0252A81C9B200334207FA956657B8FEF762C0DFC4128B00571996D63D8D4F466D6A379910D993B27AC7B9682589AC8F367EE5DC0E2A081C6C79E],[0BD7B2D170B4A3817BA5E52EE753E40B4DADA977910C73908936EC964BB06E98D848F263B0A2B022A8057B8268BEAD92EDD5F8C246D6F0F0BB0C,113715550B5BCBCB610F71DB42CDA6155AE9200FFD5A4598DA342D8DA39A3103516BF82303E96251D6431D615C99BC5FC0C3BF2C86747FCF60DA]]
FP4nconj = [[0734384326564A7C6ADCBC5E7EC18D15CF2807C39AD6139A664DB139D4DE4786D5B6344E6AF105CC19BB551B85F95428AEA0138C3EAED7E5807C,1302AD28BA2D572139D62D3DAF17CFCDF8F224DC79A3F475A2EB1DDED00B05F5461C95959CF81A5753C4699DA76A8C61E2BC4CEB1D6028E3E30D],[097DA273E498B6D3DEAFF1652D3F7BB22170896129C030EA8B4D9EAC5D2F8BC344771CC2F9EEA55C583A849D9746A7C25CD4B1E9B929B9B9EF9F,041E3FF049F18E89F94664B8D1C5B9A8143512C8BD725EE23A505DB50545C958CB541703A6A7F32D29FCE2BEA36B98F589E6EB7F798C2ADB49D1]]
FP2sc = [05F197354A2768465EC55A004AA6EEC45D72E6A26C8F4E5786D2581438FEE4F378BD747A9E6FAA50AA65937BB84CD265B225195BEEDF94ECE339,0FDF9BC1A779FCF9A3BF2AE5EBD867AEC0A3648869E7E9FC3D3180A565CAF0816124CA9EB7CDAF6E4728BF455EB6D58D61C0CFE60FEC7192B372]
FP4pmul = [[109C6F23C6A57E7DD6B3B64EFDCF2170DB660930511A6FBDFC1842546D4CC8CA473FF32E29058D11ED68C837071A3BE62E05790B2DDA3D8ED7D8,13C3527E84E1D1EC1E1CF4EBBBE1C24C13BD22DDBE687575E81DF2B10752792DDD380B7590483D175B09DB00C060116CA539712AEFFEB1499496],[0EFC6BB78F04EB19DAA1A02A5AEF23E5197197E12287CAA3646A32C6170F3B0E8ED51E5C4C790BDEF6CBED9BE62F2A71711B0A793DC6BB268AE7,07E309724AC287439DD71F42C791C82783DFC98A626E160B789A5F372BDC7ABF058BB3AD0EA3DE8C6462B125F462F6E8A090797B8B877A87A6EE]]
FP4imul = [[065E3DB6CD35BB1CB81BA0C847ADB689D41A5A6D59B5509E0B2017F953ADB2DDA88E8B00A82BD21C32E55783D0455EBA6AFF63A20A8B40D3FC21,129540E4D90019A103FD4AB32BDC7F7BB1606FE20945802B8CCB6B1EC6A7A336B51BCC886CC9D93D63DCB412C4D6479B3F72EE0715040E363CF0],[0BED13CF24DDA79EE67E076D2C41BE58BE29B27F1D9B99E31CDF539AEEDC6F05CD78B8A3CFC12A65C114248CBA253E1306A58F49C94BCDCF7CF7,0B9CAA3CFA3F19FA6FDD4F32799A6D83328A636D30C65296BDFE6265814E506A3DE0A8F68AAE43EA4FA715D51B577257048CB14FCC60AC2FA3DD]]
FP4sqr = [[0D7500F9957159EACE3C58A5AB05F11F3EFBCD05F2ADCF97F3F64B2AF64828E348A2B8EA872060CCC4E9C1CF8A1CDD36640D00FF75E0CD7A9E07,12238AE6CF878FB60DC0246789E7FC7A897BEE1BC49B7731BB33CF19364A674B367AFF41C2DB285812E11D61D010A343F07AC2F022AC3FDF9998],[13F018661D7A78E3BE65AB3E5885844AC4281E2C04CCB7A6F3547F0F373164E76A7AB23EE4F113ECFC62C6A848B37E40B9CD544961C0C59AD877,0A71BF180D875F31139BFED1D272C0FA51F7D6048AA25ADD70C818CC7653DD723013A18535469765C4ABD5856921B50E8B93BBE9EAE9CBCABE78]]
FP4mul = [[03CBC1AFC82F5721AE6C5E4C4D67D9E1A302D1B1F2CC5AC18CC767902A55B27A1711A661650EEDAA05CCC8C225526D3F032D8E95CC1AE98AB54E,04B4EE3D8D5CFB6328651F1F9021EC3E9C926BA89E67E1A57EDBAE6F094C967CAA006F15F9D27B03830318C857CDBD403993D9F8FF2B851015A9],[0D689107E7E6401DE619D8E974F65B7166592AD1AA41EC642ABDCFFD01332D558A2BDD804733108BBA043CC7A0015057C49468FD56E679303F2E,0E2FBA526507B9021524379AC24EA60B7C1C84F12A68005DD406AC053B2EF958A1EBA33EDF047930CCAF1E16E2006B7928589ABDA249E0E75041]]
FP4inv = [[14D66E77B5771EAD5EEA5EB9FA8879010620EAC9C84BBF2B18A14D03E541C9C443B076E8C64898A93E94C1C8587B7FA6D7C01D5B48C4AE8F5411,01A34838CDB45EEE4419051FE882C68BA012242DCEBA7EACDFFAC3775763FDC9F38C805FD1E97AE2B9077DE01C9A7E76981C95E81C5E185C1B7E],[12ECC6B3ABC8E60A8FA244F8604DA6CFF46C1A04067E2C5E213F94D923A0246DFE4F0E9B2AF166BF435F5051379134229F14E5D0D04BE4D21723,119A87FECDD25EA1A5AA281D172C2FB0E924597887D43CFA2B5F9F7EDE0918FEC9DA6A691ABF2CE4B31E2B5EB735BBE63A5FF26BD12399958F60]]
FP4mulj = [[055F62839AA72849E5698CAC5B79C20A0D3B76986C4DD20850FD40F757E9C26A792305BF5346B22F2E3DA1DEF3DB0ECCD2EDC66A3F9D8EDEA5CE,0D9BE2642E8A455DD7F6561DFF05355A35A59C29E7328FCCC59DFC616275551C0FCB33C6A09698898237675C3AB240B7E6BB9D6932B5E4953970],[0E211D022EF70FD8EF791A3595D1D2A79FF62B151FF690E0AE36DA08D401B2D54709DAD83FA04FB2E684AB047A0C012C9C0A971FC151D2C52A2F,0252A81C9B200334207FA956657B8FEF762C0DFC4128B00571996D63D8D4F466D6A379910D993B27AC7B9682589AC8F367EE5DC0E2A081C6C79E]]
BIGsc1 = 01A84CD6E710044A840511838C7EAAB6A140E807097058BBE46774F0D0C9672E58E9A5F4DCE6A7FF5085C08B4837B3931AC7F7C5C27DF2875FF7
BIGsc2 = 2C
FP4pow = [[04C7F653E8E8BBBE90DF00E6DF79A3BB2CECB775D85730876490DCFCEEE70A1934E54246D17EC4590FFD7AD413F74D008A1C4A2F65859FFBC9BB,02FF85033F17F486E9CF2FCF97E3B99ED64AAC4A59AC668CA9999D03B773ABA72BC46B40AEEBADCDEF015A6B6005A6EBA41C1ABD93D2AB0CDF45],[057ADC3753EB7D8D802CB971C362284F6DACC8A2E534BC67C04F6CE2E20BF345E2DB0C6F49AF5EF969631A14F73BDBC2110E1A1FE581F60B942D,022519A1317A6A1FF23F5FD9C9E7CC2EC2439917676981C6A5A41C7DBE9988A7FE55B14522077EFB18F90E91A268E8865C6A86473606DEA64394]]
FP4frob = [[0E211D022EF70FD8EF791A3595D1D2A79FF62B151FF690E0AE36DA08D401B2D54709DAD83FA04FB2E684AB047A0C012C9C0A971FC151D2C52A2F,1302AD28BA2D572139D62D3DAF17CFCDF8F224DC79A3F475A2EB1DDED00B05F5461C95959CF81A5753C4699DA76A8C61E2BC4CEB1D6028E3E30D],[075A81A8EAE664939ED6F1E7923A07372F5031EE5FEB24540A566301A80E779995537BF49050F026433607917AB2DB12684D34A5169CF597FDAE,0559E7379F8FB5D50DB366DC78F25FBE95ACEFFC84FFD2CF146C3E6428E357937234C33677D0C1D74FB156FE11944F9C0396EF21EA0D7DC727EE]]
FP4_xtrA = [[02D4A0282807C320FDB0F29F884201EFC7A91E449B29A763C93E461955373F15A695FFEC06862303EB780F580E4EB8B2C450D8CE5D27027FE5BC,1473C5EDECD886C6B63B0602ACE02AEA7F253B62B28DBFAEB8BC3A6C92AB7189149A6DDDFC5615ADF5FBABAA737631367CF9B63A6733A3AB64D5],[0B741FB642A748A7A7CD2F1BEABB1BB10AA094EB22E571224E86C48232534F95CD788719825B39832B6010ECAAA3BBF2182CBC86EB42636EB127,0E399AD4A055A7719503B09E0BF810752F7C1F787BFE280B7645C31B100724DC38DEF103BEB247DDAD64E5BB70C6FF463444F46E376C0B2ECEF9]]
FP4_xtrD = [[06881C3A8CD0948E499FFACE93F5AB8D6E2DA9B46D8D5251AC0D225BF724BD94D74F1260B27116E5F8206BE6960A303276A27D6BF33DD29AF454,0D7E3AAD9947894DCCC0D1BABEF0DC9B9D23D223424A1726D800F45184A07E7D89340C1FA7A8B208B9E9F05D1EDB115D209E076E5D6B3C520A5C],[11960808915E8C36216FB7749E711BF197EAFE159D807500F56B312548B08211D6A8DC9E2E3D0926AC97CFC3773B787028CC0D70D4138E640D0A,12AE3EF8A16A7C450628C84375FE344A7A61FB96058718A1E568D43680DF7023C6BBCF8C82967DC018A59B02AFF8E6F99F6192E8DE022181521A]]
FP4_xtrpow = [[13112DCA23AAD2696699AF84B60CAAA74E9934FCC8E9305A8AC872AE833807E6516E5695DB5200FAC5385D287D0F834CBE98CF1CB086B2A19683,014624AF8671D5554A715EBA313709ED214782CADAB251FA7ED0974D3581950408C9858D54213A906C6D5D81E768F96FF000A3337FAB1CAB6608],[105DA93614328EBB0B9257FD6723545B5083B39A5BF97DCCE1CD7C211D1BEEB8DD596B31B7306226443199F4D257AE720CE1B931A58B132DD43E,11C5D4EB5C1B8A5F675C8E7B94E0DE627232BF77F8924368226FE019FEC2FA98E132EE20F3C282A5CC2D1C81534E0728E92B6040780947248FF6]]
FP4_xtrpow2 = [[11197EAA3074317544B30993AE2C1B8E04AAEDC0828CBFCBB8D0580610FFABA944872E40189F7036E9CF44C592C3846696FFEB8651219DB266D6,064CDA928917E467ECE77B4C4B74BF3F087214337D2884BCA117BE2B2CA8745D274B448C768519A8985A18922256C969B865C17DF498F2E86F56],[0341DD26390CA998236E7AD1E47989B531E0600D0A2D2266351CA50D055868D04F9C739AC1C64135B2B9014339DC39EFA755F2749ED07559513D,06B5C9BA0DEB4D90C3681B23683ECF51E73D1D7079E7A8DF34C38F1CD134D696915636D396F4A7A4F1F6C8466E8A1E36EC2D6A4675CE09E07A5F]]

# test 10
FP4_1 = [[CC1E9694C7D3A0DCFF6A421C1D6C54BB0F8AADCD6053F7255458102B9C2941D13A19BF48956716F51144D0FC281533168E5985655F60550F00,094C6F124B3C3C6A34C0A9E47B2518CC175AD29DBC95BAA7ADCB9E818A8742F57A6685912D1DF43E9278E91747D1B99BE91B987A6FC2CCFD1B4A],[10D7C02CED0E082C9AB876DA317569E6B0D99448D3D35D625BF0E9D7BAB697DB650942B3E66DA1E94B1C646ECDBC8F21C0C7D8F743550B3F265C,09A9A17EE42893FD0F933785E6FCC7A077F989DA33C2E3207001DFF5B4920B5CFCBCA351AE1A1AA3870849B58144CF4E8B9D8A83D781CCE10535]]
FP4_2 = [[04458A1847941161047B1693BD48A6F7E6FEBF7F2BE13ACA2410F097949407DBBDEFC3729F74090801232FA01CCB7822CDB51207BCF7EFCB12F9,048AA4C36B643E3A951485FAB44B1AC4C705AB1908279B02A3C194AB0C5FC4C5F2B0CB041475F8540573A631ECF36ED9CCC5117BCDD3BF345FA5],[03E6FCFAD6A834F6D25F790EDE3C7CBD58C8C9417A78801C1676349201A0390A736F5C856849FACF9252D3A89463C5EAE8F68FF2A6969965C525,0D0D9B36B05E73A76130142A7D76A1ED282C3D04F6A8BB9A85B9FECF54F2839D203B42A8FB2DC20BFF7718FB82767302AD86F3714F08DD4948AF]]
FP12_1 = [[07C60824134318E9A286B46AC9C6E10043E5462E27E34DDC1EB99AF9DE848B4E02536C72720516EB80AB0908724AE306E862ABF4095967D8BE48,0FE0D5F58BEC3F8AFA207DE25A6DB684348EC9B0F4E970EF8474AFCC6672C71A1D3D057F3F6D65B02DCE6F849D9445A2A7242FF9C626699B87DE],[04C9DD11ACD89E719626982238EE9758A929528490D79E48B5103630D2E2DBF5F83DDEE543ABA373816D95003174BA0F252E18A17011EBCB6866,02BDB028068BFAD588D7F37D6D199C71F65D8820036B5E8A972EB60D9382205A207CC77101E45D36BFC5374CA6B0925DE1BDCBE4D870328E03EC]]
FP12_2 = [[07C60824134318E9A286B46AC9C6E10043E5462E27E34DDC1EB99AF9DE848B4E02536C72720516EB80AB0908724AE306E862ABF4095967D8BE48,0FE0D5F58BEC3F8AFA207DE25A6DB684348EC9B0F4E970EF8474AFCC6672C71A1D3D057F3F6D65B02DCE6F849D9445A2A7242FF9C626699B87DE],[04C9DD11ACD89E719626982238EE9758A929528490D79E48B5103630D2E2DBF5F83DDEE543ABA373816D95003174BA0F252E18A17011EBCB6866,02BDB028068BFAD588D7F37D6D199C71F65D8820036B5E8A972EB60D9382205A207CC77101E45D36BFC5374CA6B0925DE1BDCBE4D870328E03EC]]
FP12_3 = [[134BDBFBAF4FD1301E5471F64B1ABC2390AAB60A61A547522EC687531793030180C23B9D11686088C2903F679E267D21E221B735E2FBE35840A6,01268CE78D1B5AC359398AEC62C79D05F8DBD3F069743D26E258EEA751304592215C1F6E321A36841B32710564F01883F224ABF7D74D63C78001],[03FD64B61DEAA2A08BCBBCC9EC245D9023F66A3BFECA326E9106F9875019E4DED2DF723C00A1EA2FE0CF17E5BF6138D2C592567D93A6468C94F1,03FEEED35208ADB905ED8B83FEC1FAFE5AF686468BAE24254486933A3FD8F0397ED1241054274B7DFC920D20449439D949A46D36D9E72C46DD3D]]
FP12_4 = [[11FD403017B5FFF6C19BC009817986126AA855B846720779265B21325F867FD52E7780BF12E8243DA7979AC11C7490696BF505ECE38B15CFF7AC,02B26EEA3C1B831F7E275B537000D67DEF9812832568295F5525E87CC50051470B676298B98CA757E4D6297659C047D58E1AB395845A1CA1E03C],[0F3E08F93FA32B15D4DE963F1E1BD106A26312700E12E0FC80C69FD170F63F88EC555639EA1DACE72EAF08864D4117BF007ED887B1BDDC316708,0E96330CE143B8DBE32DA7B2A6F74A759D574447D5C6F9E39AE5AC0C414F1B2F37D8CD3FAADED5611BFEB5E41E640BFD7FF19AAF77636D43CF98]]
FP4add = [[0511A8AEDC5BE501E17A80D5D966134CA20E4A2CF9418EC1496548A7C030311D8F29DD31E809701EF634747118F38D55E4436B8D2257502021F9,0DD713D5B6A07AA4C9D52FDF2F703390DE607DB6C4BD55AA518D332C96E707BB6D1750954193EC9297EC8F4934C52875B5E0A9F63D968C317AEF],[14BEBD27C3B63D236D17EFE90FB1E6A409A25D8A4E4BDD7E72671E69BC56D0E5D8789F394EB79CB8DD6F38176220550CA9BE68E9E9EBA4A4EB81,0161E7703F39AD4F166D751C4FE009D0310794066F9EFA3FE137538260A4949E0037D6D3FEB68730863F629103B5ECFBEE79D3492689FF7FA339]]
FP4neg = [[148936AEC08586B47D566C51F875F368B40EA82AED6C5083EF3033327D43D11A4B85F56761FBEE680B2EBB4F03DD4022341C51269AA14A559BAB,0C08E6330A111DEB25952CAF996E46F157C3603AFE36E9D366B8ECC11E58B766A25989957D7361406DC71708B8339BB9618F1231903DDDAD8F61],[047D9518683F5228BF9D5FB9E31DF5D6BE449E8FE6F94718B893A16AEE296280B7B6CC72C423B395B5239BB13248C63389E2D1B4BCAB9F6B844F,0BABB3C67124C6584AC29F0E2D96981CF724A8FE8709C15AA482AB4CF44DEEFF20036BD4FC773ADB7937B66A7EC08606BF0D2028287EDDC9A576]]
FP4sub = [[11DBE9C3A2811C9532DA2A427368251A432EFE075C4BBDA815C7F2BB3FE81BC2300A657353B2B38DF42E1550DF61F2659383F229A8681B34A6B2,04C1CA4EDFD7FE2F9FAC23E9C6D9FE0750552784B46E1FA50A0A09D67E277E2F87B5BA8D18A7FBEA8D0542E55ADE4AC21C5686FEA1EF0DC8BBA5],[0CF0C3321665D335C858FDCB5338ED295810CB07595ADD46457AB545B9165ED0F199E62E7E23A719B8C990C63958C936D7D149049CBE71D96137,11F15B8D89177AAB08B8F9EF7E198570BEEB7FADF7E6CC00FECC6C69087F821BF9416FCF5D7DAE1687D130D9FED3B1A128C141BE88799A426731]]
FP4conj = [[CC1E9694C7D3A0DCFF6A421C1D6C54BB0F8AADCD6053F7255458102B9C2941D13A19BF48956716F51144D0FC281533168E5985655F60550F00,094C6F124B3C3C6A34C0A9E47B2518CC175AD29DBC95BAA7ADCB9E818A8742F57A6685912D1DF43E9278E91747D1B99BE91B987A6FC2CCFD1B4A],[047D9518683F5228BF9D5FB9E31DF5D6BE449E8FE6F94718B893A16AEE296280B7B6CC72C423B395B5239BB13248C63389E2D1B4BCAB9F6B844F,0BABB3C67124C6584AC29F0E2D96981CF724A8FE8709C15AA482AB4CF44DEEFF20036BD4FC773ADB7937B66A7EC08606BF0D2028287EDDC9A576]]
FP4nconj = [[148936AEC08586B47D566C51F875F368B40EA82AED6C5083EF3033327D43D11A4B85F56761FBEE680B2EBB4F03DD4022341C51269AA14A559BAB,0C08E6330A111DEB25952CAF996E46F157C3603AFE36E9D366B8ECC11E58B766A25989957D7361406DC71708B8339BB9618F1231903DDDAD8F61],[10D7C02CED0E082C9AB876DA317569E6B0D99448D3D35D625BF0E9D7BAB697DB650942B3E66DA1E94B1C646ECDBC8F21C0C7D8F743550B3F265C,09A9A17EE42893FD0F933785E6FCC7A077F989DA33C2E3207001DFF5B4920B5CFCBCA351AE1A1AA3870849B58144CF4E8B9D8A83D781CCE10535]]
FP2sc = [312BD520A9CCE537A4FAE720298FA2A341D6DD691FC350B0D82931F743574207D4895CE4DC69946CC7A64F7146E383553F1102C552D8C4402F,0B2A96936B700B2D3DD929CA0B0BC0779C7C5BCE8B922B1FB15819487F1F6B3EA2B34C34F93DF871BFF004D26FC3C9C6E40290B1FF96F23D176F]
FP4pmul = [[1148ECA718A8B7872DB3B9F66E3F917196D4B02B9312C71C96395848D29EB1B14FD1F4D836EDB3A3BFD614EDA22637B41C02D9FA39EB374544D1,071046AF2AD150E0FF1C56E5B2C41BB8D5D9FA4AB815ACC91A007BC5A3305C1036B70914ECA64DB7D53893F3D9B39E09B36E199EFD9B39C5B083],[0590E94B9D1A0BB71BA79EE3701D779289C449506B9F6892B773D65C5D226EE7A411721C158A9D798EB6AD586C3215127FB67B9A79A7838CC391,085E367E9AB3D84EBD961762CBEDADC44EF0E4772CB2D56BCFE46A1363F7072075674999DCEC3D0169E4B886110DCE3E5C10B5DB2D9A907AE75A]]
FP4imul = [[072D134B3B0670A7C4FABC52FD08CEFA938BE01C3862F3B04FF71891887D73505B0AE7B98D409FCE9D9B6B58DD68BECBCB0125B0905A62FD8700,13AFE7D4A53610BBCBC4754C1693BFF484D6CF0170DDA273DE9AF0C5E4216B8CF75A84A6965995B625803171864F867B51F85C49EDD734E5F599],[02406CAF0060D13BF8234F9F2D191AEE2DD2D2A256D5C917ABD869C2F24B7E31C412EE446FE15ABAA23F87053B7BB2DABC5BF5FD5DF8BA8DAE8F,01A15860B037CA9022D59964CC9585AE7B4D0D48E6A76A379DFEB298B5A27CD46FA1814474A599C3BE4A96E18B55F46DBDDF33F2938D893E8431]]
FP4sqr = [[030258530064EB7762C23244580D0103A33532B19DB39C075848B164CDB171E40D7B742F2B0AB73AFB728B397C95E2C3E27070CF61EBA176EF96,08A6B9972AAAAFCC980E1A64A7E5650FDC44A49E299DBC4262ABBC99CFC1332757AB71CB764D900136D45324DC5F66C05BC207814DC5EF229129],[0D4E9C2CCCC0964029F7ECE353B63D5A6A4FD752F05C10256270B1ACCE9EDFEF5AC84D2AF3371E64453F85D892956E47B56BFCBE8A5977DEF8A5,0F8505B885B107347F7DC693A20F10503B1220C4627A5B7511D9063A04B771DA1F1BE107B671EE3A0EB26E486F3A0A1C9918568365867A552364]]
FP4mul = [[0192F46A6F43C9F635B3AA139B9383164A2C658FCB9979C1A24DE0E175386BCBA57C42999CEDD4B1D7EF2E211BA5D72A40B8A89B89D99C8C4A04,080877EFA5E5F1DA97240C2EBFD0BBFED998AD48C07854DBDAC9FA327CAF5A263C3E055B4DCEB93CE63CC36DFD4A94A3D35F2324FFF98F77E58C],[14E22B81CD63B57FE4FB13CEB494DF45F08D82CB87AFA9DA2FFE775B3400D54A6CC7A9B603893404ECBC95F6D27D5BBFB53B2B36CD66FD3D937D,1079122675C4769F58BBE1668B0775171F0183B94D3486EDBAE2AE6D523D3F60A35A9ED4FFCE3B0DF09117F3895C6D914E1D2828C7D9074E7E85]]
FP4inv = [[13877C21B352909EF0B2B85A110F8F0967FEA07985C0F2E1BCA88C097EDA82E8913E8357F4FB31928B48542F8E1C60219EC93186903D00678AC0,0EA75A590263442AA63FEE363E1B21A5CD1CC34F635FBF98DE212F7401A2169C352E84A192702610B6A4E96BE9505E1EAC55EF3502082F3ADA56],[036EE9771C5272F9C245A4A931678BF2C45B3C9C10832E64CC5FE63530E679C9AE9D39A9052B4049CB59DA8EFCC00F789B442FC169E87A15E9C0,06D0C6C5DC5ED82338F19E494B794B3182BEDD0B1A85DD5109A5FD74BCFC532DE845B2E455E6D4CAFB01B75506097A682BEA4F756182FB8105A6]]
FP4mulj = [[072E1EAE08E5742F8B253F544A78A24638E00A6EA0107A41EBEF09E206248C7E684C9F6238538745C4141AB94C77BFD3352A4E736BD33E5E2127,052C0C667BE941D44FF5D7CC03DED1C9B9B4EB4A4CC99C07B76E3E8AC668A8DC4505D6DEE9F6670DD1E4AE044EFC091B01BAB8CF1AD62D7580E6],[CC1E9694C7D3A0DCFF6A421C1D6C54BB0F8AADCD6053F7255458102B9C2941D13A19BF48956716F51144D0FC281533168E5985655F60550F00,094C6F124B3C3C6A34C0A9E47B2518CC175AD29DBC95BAA7ADCB9E818A8742F57A6685912D1DF43E9278E91747D1B99BE91B987A6FC2CCFD1B4A]]
BIGsc1 = 06D3A6ABD9D4F1DDF6158D5FF4F780D008740FFDEE13BC9DDB4808B17047C70074240321361687C2767EBD58484F91FE2FD07CCC50195D1B6C52
BIGsc2 = 44
FP4pow = [[12BB28AB0B03A3D9F741B9FE6B70EF35568B7500722DCCFA8FFDE32736C6ACF5B104FB83DE8D84531B0CD1AAD0F2EF87732FD6166D7F3E2C5FF9,13384326773A9BBC8E90B5A3F936BAA5FE33623AAFBFD693B3C3258615D0B65C5F15FD56725C666BEB9A98F290CD4B328A0FA8EDF9F92BB8B45B],[0C85C0E1B45F56287C7CDD8C95FF3776E85FAE535B2FC0D519E3776CEE070E698D2E6F0C465A0F9B8F63D78EBF7ABA0A4B51AF47813593402323,012A6A4196E92E24BEC1CDF936935299DCD9DDDD1261773025F8E2A0BF22480784BD3624669D0A4DB584BB97A3EB6727F47A196215DDF9E48DAD]]
FP4frob = [[CC1E9694C7D3A0DCFF6A421C1D6C54BB0F8AADCD6053F7255458102B9C2941D13A19BF48956716F51144D0FC281533168E5985655F60550F00,0C08E6330A111DEB25952CAF996E46F157C3603AFE36E9D366B8ECC11E58B766A25989957D7361406DC71708B8339BB9618F1231903DDDAD8F61],[03A4835CF62A4FEA5D5A2FE71F7E0E862606C909B3868AC56287FEE93DB8F491AE3B8555B67804B46AA044EFDE68223B2C5AEBFC912D81C62DB3,059BAC1E3D88F2540980356C3FF306AE69264ED261A5E2A14476FEED9F22DE8B1BC31557899541439E276F1960BBE0435FBDB92E92F45FCD6797]]
FP4_xtrA = [[0FA886DCF422F0C029F89AD606C3FA11C3C82828161A648CDD561B3C659F03E79279E375E90BF89F4BDCBB882D86226953125801614C151AC6BB,0E5465135C4871124C31F5941D0BD7FC159DC4B1D7C12A50416D6B7900D60EBE01E3A5098206D48F61748D88CC6597E00A1A54C5E98EA9EF095E],[05E7CFBB96BCD43B084214B6A9822D18D5BDDB76043C8171EE533EFA8F4DD1C83BAA6F41C2DEC9E4DE7D17E1CBEBD7BC0DFC4565E004471A6ED1,BDCC82911855C2D637766B66ABA8D19B2DA59B74BEE097CCB49C13653DE9902EC19D0FAEB9CD4923DD1A64E2ABF2FDDC668F13317BCD100EA5]]
FP4_xtrD = [[016A1B25D6D54435A8C35DC01FD2285A2D161D5602F2F4190DA0014476791F606B0740B099DFE90D115001978445B85DB553BDC4972CE0CCD196,0B6330B7E97F914D88E29D2FC62E93351CAD323B6B3EEB6E1B990AD96392A7987F9E75CFC6A2FD03122281164CC148DDD43581386E40FFD30540],[045371FBFC41F1EEAABD2D6F8D7A51ACEDC69A33226981F3F1496ED6F24C1AEDEB5AB4456AEFB738DAF84E762E03E1E0A1A6595511023907F007,0D82F370F8B4D4D9444E5F0B5B753FD3BBE701A00F337D3ADD583AE2C4FB8E37FBD518846814CE021C83019371BE536465A8C0DF1489696C8323]]
FP4_xtrpow = [[0F6BF4EF07304A2202403C5D19E026B03676C2C9A8D7F5962D0E474F11E249717E92ABCA86EA085A0CE7EE762E2986FA75AF9B1C4CB0BFE243F9,0A586B4F90A0B8B7706257EBC1789581994F99A9B8CBD0BD703117918EF214AB3C7EE3A12A996F5824AAE973AC2D3992C1CE8CE066F43CC60C27],[0D7A68665DFFE486EF5E9B422AD4B9318E6D132D850C876A0F93FB70A57B9C3BF9F51A24BB7D224E6C78347382BA5963120959C50ED77BBF2D1D,044560264D10059AB27AE7F100A4372342B7BFFA0BC43980624FD3C10D3B1495A9869A36FA8E966674F9DB1EA5EE3ED28A39DAB9C7C4FE466945]]
FP4_xtrpow2 = [[0B7197FD206B9D3A97BB6F35CA651DAB7A45CE79CB48BBC1FED3C4732CC4E8EBBF155603721661E4D067D143134F54F3AD8D9D1950D808DD68BC,12679E9D0FB3B6077BA3128E9591D9BDCD1A73E8D0705EFC3C53EC888F907300AC82573A35CCDBC3582A0A71BDB62D58EE4A534A7C18082D24C0],[02586860343DDEDC8661B1A2FA07BA286C7CEF82578968D6C66CDBAE728962C6E95746474D7B14EF13104C2762A395F687A0A52B71AC1A43251D,DCD354E54D46338477E1E9DDF85600BE4D62FCE5C5AF41634EB0ECBFBCB1DB841C68204068E82CBEC632C2CAF993245B51F5BF3C38F9790CB4]]
