# FP2 ARITHMETICS - CURVE: BN254_CX, Modulo = 0x2523648240000001ba344d80000000086121000000000013a700000000000013, BIGmax: 2^254, Frobenius_constant = [0x1b377619212e7c8cb6499b50a846953f850974924d3f77c2e17de6c06f2a6de9,0x09ebee691ed1837503eab22f57b96ac8dc178b6db2c08850c582193f90d5922a]

# test 1
FP4_1 = [[1586E418D8E373D458DC523E9798E9695040D335BF937A994B23072E9D636E5D,1AC17EFA258BD0AEB91F6F459C529BA59A695F3C04AECAA1545F1EAC486A71F2],[1E9487069559B63CD8D9D71163BBC380F4120F16759C563D9A21A962369E0B41,2521176CA3772383A378470F652A2FCEEE82F2898C25C5C00E571DE5B07D5387]]
FP4_2 = [[181C96756BA630614D1D2DFAFEB1E7F348657E7C57237028F8D9E2A480E16E6F,0B7DA1CE82CCD98B0D30D8EFAB9431181144B155EBEEE7F89E26692777295872],[1DC56EEAD51EA9DB53322FA04B7D14E35B797F425DC8548275997908A14B2074,05E80156664EABD1D226BB6556F88A076F1FB84D39E1C2F9AB62E6F220C02033]]
FP4add = [[0880160C0489A433EBC532B9964AD154378551B216B6EAAE9CFCE9D31E44DCB9,011BBC466858AA380C1BFAB547E6CCB54A8D1091F09DB2864B8587D3BF93CA51],[1736916F2A78601671D7B931AF38D85BEE6A8E58D364AAAC68BB226AD7E92BA2,05E5B440C9C5CF53BB6AB4F4BC22B9CDFC81AAD6C60788A612BA04D7D13D73A7]]
FP4neg = [[0F9C8069671C8C2D6157FB416867169F10E02CCA406C857A5BDCF8D1629C91B6,0A61E5881A742F530114DE3A63AD6462C6B7A0C3FB51357252A0E153B7958E21],[068EDD7BAAA649C4E15A766E9C443C876D0EF0E98A63A9D60CDE569DC961F4D2,024D159C88DC7E16BC06709AD5D039729E0D7673DA3A5398A8E21A4F82AC8C]]
FP4sub = [[228DB225AD3D4374C5F371C398E7017E68FC54B968700A83F949248A1C820001,0F43DD2BA2BEF723ABEE9655F0BE6A8D8924ADE618BFE2A8B638B584D1411980],[CF181BC03B0C6185A7A771183EAE9D98988FD417D401BB248830599552EACD,1F3916163D2877B1D1518BAA0E31A5C77F633A3C524402C662F436F38FBD3354]]
FP4conj = [[1586E418D8E373D458DC523E9798E9695040D335BF937A994B23072E9D636E5D,1AC17EFA258BD0AEB91F6F459C529BA59A695F3C04AECAA1545F1EAC486A71F2],[068EDD7BAAA649C4E15A766E9C443C876D0EF0E98A63A9D60CDE569DC961F4D2,024D159C88DC7E16BC06709AD5D039729E0D7673DA3A5398A8E21A4F82AC8C]]
FP4nconj = [[0F9C8069671C8C2D6157FB416867169F10E02CCA406C857A5BDCF8D1629C91B6,0A61E5881A742F530114DE3A63AD6462C6B7A0C3FB51357252A0E153B7958E21],[1E9487069559B63CD8D9D71163BBC380F4120F16759C563D9A21A962369E0B41,2521176CA3772383A378470F652A2FCEEE82F2898C25C5C00E571DE5B07D5387]]
FP2sc = [183119E17929D4CDFEB2E2D01CB6BFAD00BCBBEE0F959739F47A3CAFFABB25C1,14A2655B99B26204512922D8A24732ABC56F5938EF2A12E2C575A8C001C4C02A]
FP4pmul = [[227A839B01C0E3498AEBEEEF4B7D31C425F530E2D2122822D1FEEEDC1CB80895,1C4A8D3F3004B0393BF3B281A001871AD05610F08F6CE97561B5464005735B5F],[192839A8B5245DD06B15D0727406E0BF4BBB543D7E8F0D7F13F6BB7FE0F44EC4,A8B90FBA2DC6252595DEDEBA97BBD5948F04D149C8FF281E3B27E6002731FD]]
FP4imul = [[00,00],[00,00]]
FP4sqr = [[045A04CCFCB47643699CD8287B44D39DE04C70316704886FB91C93D9108A54AD,14786265ABB05C309430A968A63FB8BF7707FDD251D677E38D3E767473814CBE],[1FE74A62FC410D26F0BC93B4B617050B0C1A1163DF2A2A4EEE1A46D336E7C27A,22D1F023CE6C44E6B06E4AF0B27F68D5CC647416E7C5CCBFB70C8697B6E17D5C]]
FP4mul = [[0E26455A50BAE8F03B7B605D7272D4CAA7D1DBA76FBA8D60C7169FD7BBE30F91,0F135B83D59111685B96F3DCDDD8E786DD1F21543E5DB062F35A5B36AAF94490],[09955086C04D544E2D6C29ACD5EB28CF5FCDB9E5BA9F258A4D14158439A60F29,12CCA18F3E4C6EF19CBDE09C19F188F66E20C2F2175B9D78356C26914E882A7E]]
FP4inv = [[136DFB5412FC33704A9E60D4868E6A469FE518A6D47BBB4039F959AB12A30646,1987850CCB7957F18CD2833FFB59BB454298A9084712F12C305700992B942240],[031B0441607E974C4A0803FB509F8474CAC58C209F57F1F2722A95E37EAF25B5,1575E5C3F9B5C100A6C4A3D2310DD1E18774602C66B93E990575E91591199BA1]]
FP4mulj = [[1E96D41C31E292BAEF95DD81FE9193BA66B01C8CE976909132CA8B7C8620B7CD,1E9239F0F8D0D9BEC21DD0A0C8E5F347817401A001C21BEA0178C747E71B5EB5],[1586E418D8E373D458DC523E9798E9695040D335BF937A994B23072E9D636E5D,1AC17EFA258BD0AEB91F6F459C529BA59A695F3C04AECAA1545F1EAC486A71F2]]
BIGsc = 101012B87FB0C61CD5E2E6AD9632ABB7354E7F1F10C13C4EF4432B8C9898E2C4
FP4pow = [[11D43BE15AE8A445BB4B6C750FABD66C6D2D6AA87D00EFC1B9665D7967E2BB19,0EABE3AE012A3E1E2E4518EB07A241982E8F3475295AE3B94173463A8A087E90],[21F72638B06BBFA5591992BA0F901A93AA6197D08ADE4311E017F6C20164CE80,1BBBFAE03F72F5778B528602FBA8917BDAA1DCF15C74BA082095B4B864BA7CD6]]
FP4frob = [[1586E418D8E373D458DC523E9798E9695040D335BF937A994B23072E9D636E5D,0A61E5881A742F530114DE3A63AD6462C6B7A0C3FB51357252A0E153B7958E21],[1F91F26F0A4E68BED6F5EF51BD538A49284B33C1127ED38ED01D46DE4BCC7C47,18BD94465B18933E88082629D0CD95169AC6D91539FFD7C6823446A5CE602D27]]
FP4_xtrA = [[1349985B161751494092EFC558AA1ED6AA27FE7B775C9950CE77CD91F7EB5DAB,24C5128B8E7EC733A9F2E119D868C2B998615149CC25C4B14F7474F421CEED4A],[116A9C701D7EEBB5EAFDC197A18CD0BCF98DFA123D27234098E100C889B3591D,140D942EB3505023DFBE237BECE1FAE278F03D28ED133A022DD9357AA5E99CBB]]
FP4_xtrD = [[2393059FCAED8E9E2C4CCEAB4C1300DC020CC9C5E7DD936470D6857BD5C37819,0418C8F3A098BAD4DC26185D6D9A817CA3563F5A4878E2B48B80391BE2AC68ED],[12C98F6BA6F4799D2E07A6D77D8E8BFC31FC2F90CA62D6A2D45D9997A423D8D6,22CD55F8955A8BEA82F63E0F7CD3C862E728592A0011581885BAC26317DC2444]]

# test 2
FP4_1 = [[03E85D07E07F9BFB046EBF8D6DBC1E80F6156E06EB1559B36D2837D5E8E98ECF,0BAB10A7D206DA46C824A6B6BA10D1AA7BD063FBF5BEB42F500DB5720DB97FB3],[1E0DAA8079BCB8245F760272C07B4F8405B6200DDFA8F58F1F903C4E9AAAD763,0D7AFE28E49A93BB70A031E4E4FA919040CBDDE46725F22226A61FA30F6CA5DD]]
FP4_2 = [[0BEEBE35383155D547F74BB3FBCA32C34E52D2B3574208D5C78F97A723ABAAA8,1E5B12893E832BA78619D5A594D066A176B9B581275A7A1E2250D19FD8CBDA71],[1FBA2E25ED635EED7E6A46981503793C1AB9C2131BCFCB5F40748FA5A7C49DF3,0FBFF3C6D97CB1F395DCE6770C31B743D92EDC7324F5E8914B9BED8451F53FE9]]
FP4add = [[0FD71B3D18B0F1D04C660B4169865144446840BA4257628934B7CF7D0C953977,04E2BEAED08A05EC940A2EDC4EE138439169197D1D192E39CB5E8711E6855A11],[18A474242720171023ABFB8AD57EC8B7BF4EE220FB78C0DAB904CBF4426F7543,1D3AF1EFBE1745AF067D185BF12C48D419FABA578C1BDAB372420D276161E5C6]]
FP4neg = [[213B077A5F806406B5C58DF29243E1876B0B91F914EAA66039D7C82A17167144,197853DA6DF925BAF20FA6C945EF2E5DE5509C040A414BE456F24A8DF2468060],[0715BA01C64347DD5ABE4B0D3F84B0845B6ADFF220570A84876FC3B1655528B0,17A866595B656C4649941B9B1B056E782055221B98DA0DF18059E05CF0935A36]]
FP4sub = [[1D1D0354E84E462776ABC15971F1EBC608E39B5393D350F14C98A02EC53DE43A,127362A0D383AEA0FC3F1E9125406B116637AE7ACE643A24D4BCE3D234EDA555],[2376E0DCCC5959389B40095AAB77D6504C1D5DFAC3D92A43861BACA8F2E63983,22DE6EE44B1DE1C994F798EDD8C8DA54C8BE0171423009A4820A321EBD776607]]
FP4conj = [[03E85D07E07F9BFB046EBF8D6DBC1E80F6156E06EB1559B36D2837D5E8E98ECF,0BAB10A7D206DA46C824A6B6BA10D1AA7BD063FBF5BEB42F500DB5720DB97FB3],[0715BA01C64347DD5ABE4B0D3F84B0845B6ADFF220570A84876FC3B1655528B0,17A866595B656C4649941B9B1B056E782055221B98DA0DF18059E05CF0935A36]]
FP4nconj = [[213B077A5F806406B5C58DF29243E1876B0B91F914EAA66039D7C82A17167144,197853DA6DF925BAF20FA6C945EF2E5DE5509C040A414BE456F24A8DF2468060],[1E0DAA8079BCB8245F760272C07B4F8405B6200DDFA8F58F1F903C4E9AAAD763,0D7AFE28E49A93BB70A031E4E4FA919040CBDDE46725F22226A61FA30F6CA5DD]]
FP2sc = [1E82B27BA627F2087844D8431ED42E9FA32215D59D17D85ABC350C53A2D84936,14FEBDB853DF2DE8B41BDB2F8F1CB554A285AFFD42852D1285A32E6E6851A2D1]
FP4pmul = [[05DFEA879DA0564065B425F2F9B7A956764BA365E27E6A746F615199A51F1327,010A6848E387B6DB76E72B826573B7D17440884D2806DBF8E23CFB1CC710B3D7],[1D0E9BDB65D1C3F5B3E50540EDB022050A25B6FDE84DFAB42F0B10B49A65379B,1DF8D3077E60C01EA741C4866066B76F9D98497F3F70D7AA9820B807C424057D]]
FP4imul = [[03E85D07E07F9BFB046EBF8D6DBC1E80F6156E06EB1559B36D2837D5E8E98ECF,0BAB10A7D206DA46C824A6B6BA10D1AA7BD063FBF5BEB42F500DB5720DB97FB3],[1E0DAA8079BCB8245F760272C07B4F8405B6200DDFA8F58F1F903C4E9AAAD763,0D7AFE28E49A93BB70A031E4E4FA919040CBDDE46725F22226A61FA30F6CA5DD]]
FP4sqr = [[0408FAB9E883A3B78B3584A86C5CEABABDFDF12C4A3D3A6E386DBD4EC9CE1FB2,20E9977E6FE889D7E7F7A03882FF911FFCEA3188ECC27864320319998AA70E51],[16DF8D18DE20DA743955922FA13BB0A46EEE36087884B154DB963F75975A0592,056342D5D9D149C9DA700602E31D6865C5F63E2EF9535826F7C33431B5B74A4E]]
FP4mul = [[0E635BEEAFFCC5E1A1E27CA7305399161EA6E2067131943C39B970FC7C63DFFC,1A0708C59C06A008F49036B5361F29610E286644DE2C4F38017893D53DE11238],[1233A26A17E00BD90A05B108C40F9B34FCF48DDCF6EBD519A759524E5965F242,227B747F241D83ABE844CDA299F13151E5704EB4F6023C2BA61441EF9192BB14]]
FP4inv = [[1668D3B8F0DA6620DB35865A937CE5DD462F568E3D9A4282B00275B13196F447,162982D5AA6019453EDAA71A39C06C2209107794B2883489A9E5D6F16CD4D843],[0CA290535437E51B19E12C57EF5200D07967C0E079FCA5C59A4C2F502CE46783,18B1858E702E3589B345D3CAB0BF395638364B3D3B7FE468536EDE097914649B]]
FP4mulj = [[1092AC5795222468EED5D08DDB80BDF3C4EA42297883036CF8EA1CAB8B3E3186,066544271E574BDE15E1E6D7A575E10BE560FDF246CEE79D9F365BF1AA177D2D],[03E85D07E07F9BFB046EBF8D6DBC1E80F6156E06EB1559B36D2837D5E8E98ECF,0BAB10A7D206DA46C824A6B6BA10D1AA7BD063FBF5BEB42F500DB5720DB97FB3]]
BIGsc = 2195566DF2AC184880BF89BF8E1806350D928AAF68EE6F2A706AACA2295BC479
FP4pow = [[13B0E9CED6F7059803EC007003C959E0420F2E1D1192419B2654F88993232DEB,19E17B14B0C7CD1FB4688A4E3B1AB9F5F7126E4191C9DC7B7B252CC003FB28EE],[1C1334650E7D520FD628B20B0A9DBD47FAAEADF0539F2E779ADDEC6D2E8D7EC9,120B0FCEA488E9F2E136AC6D31D94EFC0E634E0BDD215A6A5C3ABC5A0DE91349]]
FP4frob = [[03E85D07E07F9BFB046EBF8D6DBC1E80F6156E06EB1559B36D2837D5E8E98ECF,197853DA6DF925BAF20FA6C945EF2E5DE5509C040A414BE456F24A8DF2468060],[186B90C0AD90537ABC1F6599EFA78BFE0A41379780C8BB11295F5F91652EB3E7,24EA74F9B1621B8BACC6F41BB2097BC1E2591AB43199A6F931967141AEDE2250]]
FP4_xtrA = [[1B09DB6405F2E1868E2E691C7EF5632C9A3F40547C4B07688A37D56485AC020F,1C0F03001F2F77AE4E7137C156C49F73F719DBE9DFC75EA90311A852DB46C1C1],[05F51FAF70421E2205CB76D3C4AD7DAED6E7CDCA56AA3AB847C6C106295E6E8A,14727A28FB63673A7DEE778C46E2D005EC74EB6DAFD168751AA1793DFE9504E5]]
FP4_xtrD = [[215BA52C67846BC33C8C530D90E4ADC132F4151E7412871B051D4DA2F7FB0227,0993762ECBDAD54A57AE52CB0EDDEDCB054969910145100591E7AEB56F340EEB],[08B41915519A4AB983D8FC1522324F9BB818762437D69C4BCCB6B812CCAFB432,20593F27A3067140BBB069CCAD128B86478DF9F7C79F3C6B450F7377D4909608]]

# test 3
FP4_1 = [[0C0C4608BB684DC99868C49FA00461236EA4ED7E6B54DC6FC1D57CF2D3780F04,08BB3F3F9C2E855FD26F96EFD2C0AE182402B1F810AF60E639C81FA7905B3240],[202EDF9E2AEE5F3DF72E3C8C42C877A74A4B8A1BF1B215D21E428999D6DFA3DA,1B67306EC1E2A78662494C73D505CB8C18EA34863E5534FCF963EBFACD920CDB]]
FP4_2 = [[1EF61E2BFDA5CFC19E21A321A8C01924C9BA7A6A3A936599B41CD08601A855E0,1655F650538B0B9DADFCC1477A88DA8BA062278C2F2DCB2CA9F537C97230F684],[079726C310D6F5002D2AD658F31990A0BBE4EC57B4A0F00EB31A9A5FF11ECCB3,1E73ACAA1116B08C2EC466FC4EEF6F271045CC0BAC89BDE638D5A498300FAB29]]
FP4add = [[05DEFFB2790E1D897C561A4148C47A3FD73E67E8A5E841F5CEF24D78D52064D1,1F11358FEFB990FD806C58374D4988A3C464D9843FDD2C12E3BD5771028C28C4],[02A2A1DEFBC5543C6A24C56535E2083FA50F7673A65305CD2A5D23F9C7FE707A,14B7789692F95810D6D965F023F53AAAC80F0091EADEF2CF8B399092FDA1B7F1]]
FP4neg = [[19171E798497B23821CB88E05FFB9EE4F27C128194AB23A3E52A830D2C87F10F,1C682542A3D17AA1E7C4B6902D3F51F03D1E4E07EF509F2D6D37E0586FA4CDD3],[04F484E41511A0C3C30610F3BD37886116D575E40E4DEA4188BD766629205C39,09BC34137E1D587B57EB010C2AFA347C4836CB79C1AACB16AD9C1405326DF338]]
FP4sub = [[12398C5EFDC27E09B47B6EFDF7444807060B731430C176E9B4B8AC6CD1CFB937,1788AD7188A379C3DEA723285837D394E4C18A6BE18195CD36D2E7DE1E2A3BCF],[1897B8DB1A176A3DCA0366334FAEE7068E669DC43D1125C36B27EF39E5C0D727,2216E846F0CBF6FBEDB932F786165C6D69C5687A91CB772A678E47629D8261C5]]
FP4conj = [[0C0C4608BB684DC99868C49FA00461236EA4ED7E6B54DC6FC1D57CF2D3780F04,08BB3F3F9C2E855FD26F96EFD2C0AE182402B1F810AF60E639C81FA7905B3240],[04F484E41511A0C3C30610F3BD37886116D575E40E4DEA4188BD766629205C39,09BC34137E1D587B57EB010C2AFA347C4836CB79C1AACB16AD9C1405326DF338]]
FP4nconj = [[19171E798497B23821CB88E05FFB9EE4F27C128194AB23A3E52A830D2C87F10F,1C682542A3D17AA1E7C4B6902D3F51F03D1E4E07EF509F2D6D37E0586FA4CDD3],[202EDF9E2AEE5F3DF72E3C8C42C877A74A4B8A1BF1B215D21E428999D6DFA3DA,1B67306EC1E2A78662494C73D505CB8C18EA34863E5534FCF963EBFACD920CDB]]
FP2sc = [176144D4B6C4501786A51A4A2828EF8E64C8B1E3EE89FD4AF55DB031D0552686,0659B481BECC0EFDAAA3FA65743C0599BAA139261E25CAE06FE4D1268C3292CE]
FP4pmul = [[1ACD0AD1450259861EB7BBE465674CE0AA933E29BBF3C33DC6BC54AD5721284B,0BBA6495E43772C6887D7F466A5E4AB126A9B2C3F587E7FC566A4C697BD34547],[1C21D313FD1FDF243926F1AB57DCC54E9EC2F8563AEB0EA32DC8576CBEEF03F5,117744841E732C95A15AF815B5C257E339346BEBB9934B4E7365CD1A38774C02]]
FP4imul = [[18188C1176D09B9330D1893F4008C246DD49DAFCD6A9B8DF83AAF9E5A6F01E08,11767E7F385D0ABFA4DF2DDFA5815C30480563F0215EC1CC73903F4F20B66480],[1B3A5ABA15DCBE7A34282B988590EF4633761437E3642B9095851333ADBF47A1,11AAFC5B43C54F0B0A5E4B67AA0B970FD0B3690C7CAA69E64BC7D7F59B2419A3]]
FP4sqr = [[157948BCC3A57B92A6EC5D51ABE88B8A5D911E21DF8A550FADDFBE04A9F3AB9B,157C8B2FF67F621EF57B309A8000908AB4ED77CD2A92040AF4F2FBE9EB3A037D],[0EC6C97285BF826F591A7323E7BDB0A733958A1FEE8077B0293A7F455B117FA3,036B05E1751DAF2D7F9F9EB6F6192C3A8B32A8101C5E5AA89DB611F0EBCE56DE]]
FP4mul = [[1FA3FA3083A65D04CA832C3C3B686C1CD9CCA0D59638DF7EC21C5D88C9BD7A25,098FA25CD275C58FCE4820DBBE01DC2020F63947F3CFFB9AA2749E9922079764],[1B8CB5804FEA715B88A8244C3233B431BD691784F08CECA00335286B68CA11C1,04F907AFB0B641AEC0A1BFB7C8AAAC96202DFC2729BC9846F578C07B30F52E2F]]
FP4inv = [[140619AEBD87458CAF73528BF6F06EE9CBBB8BAFF4082C80CB125F42F81F7B35,0329D7748A96351C0F383A3FB66D0AD1E477CA8BFB564A4F7BADFC2FA62F4D54],[0FBE86175E442C310B40C603BD6B8EC8E5920EE51BAE5992E0D7FF96D5A6400B,1CCFC2CA399DF8E7F194509E950C84E34EADA6C763190EC823741EF176D52A51]]
FP4mulj = [[04C7AF2F690BB7B794E4F0186DC2AC1B31615595B35CE0D524DE9D9F094D96FF,1672AB8AACD106C29F433B8017CE432B0214BEA230074ABB70A67594A471B0A2],[0C0C4608BB684DC99868C49FA00461236EA4ED7E6B54DC6FC1D57CF2D3780F04,08BB3F3F9C2E855FD26F96EFD2C0AE182402B1F810AF60E639C81FA7905B3240]]
BIGsc = 15043F01CAF6442D6B452241ED7128DCF0333D3C401E319D41F06D4C2366474A
FP4pow = [[20CA03B83AF6AFA75A3F2D22E48CA9D9D0D9A229E6123EA00DCBFE0116DBB4F7,239DF980E5EA888047B418049ED6D8439A0293C654702C37735B0A6F52F06121],[3F8C34B7CB6290B3251D11F5E204EE82A210932D8CA5915E0E352495D52947,162465891E88141D14394BB52E99932BA8FAACE85740D1B5F785650CA613B3FF]]
FP4frob = [[0C0C4608BB684DC99868C49FA00461236EA4ED7E6B54DC6FC1D57CF2D3780F04,1C682542A3D17AA1E7C4B6902D3F51F03D1E4E07EF509F2D6D37E0586FA4CDD3],[02372EF62A7B9E863FABF1B010E6A5870DB96ECA56EB2A4C06EC0AD3272953A9,202E104BAED6C613031AF37252F6860808CBDE9BE31B3622E35F77A1C6EEC496]]
FP4_xtrA = [[014376447B1DD4869541F6E40A3C76B5C480B0CC678C15343A22C06C1A4E88C6,0A1FDE719567E035B4A922720A13E64424A046EC71BFE2F7661B74E6DBB06760],[22183E3E628FFE28A4114F24CB1F60B7D09C67662395C2C531B3313B71816190,0F9E36234B2CD2D93ABD189F15CF927A18D8003460B269FFB1221E45E9C8C182]]
FP4_xtrD = [[2284212D8CD4E001304F21926BDFC94BE168432508E09C43D134C41F03038DA6,04060CB0BE22575F509C02BADA7F345A6CE813DD0933423E8162BC9ACA839EFD],[04DDBFAA5B9C40E7D30E513C6D4E9FE505EA9E57D1E4A32D17BF927908D0C731,1516023CB8E2FE3889FDEA1EA024C34A5BE6111C9908C48EE97DE9E686F27081]]

# test 4
FP4_1 = [[1BD6C71C0EEB6AA98763B33B2CEFCFFE655C8B9CF7EE5884D5CE549739AFCFB8,15DE9493F6A5EB66832B3604E8F5478FD58DE217026CF5D4856708841A345B1E],[1F98E231E42AE8C6B88A96AC9875E7412D9F94BC0BA25766858C3F632677A6BC,1C94DA7A147CE307A9CC2C5824B61B2174CF82095C4AD26E1A4EB0945D3796C7]]
FP4_2 = [[01D537DFC2D39D6E846AF9E03C3BEFB8132634198AC88E4C899C7D8A5EE81BC7,18A257EBC2982F610A59D29FEEAA280526B31D1DF9C574E0D7E28B18854E45FF],[215BE91E5FF1F2892D14B52414B9296B85069CD36600314712129431BDEDC066,18A0C3B684FD5F5B483AC01BC9D6F2C8F883827D17C1F13A463DF37A441D91F3]]
FP4add = [[1DABFEFBD1BF08180BCEAD1B692BBFB67882BFB682B6E6D15F6AD2219897EB7F,095D87FD793E1AC5D350BB24D79F6F8C9B1FFF34FC326AA1B649939C9F82A10A],[1BD166CE041CDB4E2B6AFE50AD2F10A45185318F71A28899F09ED394E465670F,101239AE597A426137D29EF3EE8D0DE20C320486740CC394B98CA40EA15528A7]]
FP4neg = [[094C9D663114955832D09A44D3103009FBC474630811A78ED131AB68C650305B,0F44CFEE495A149B3709177B170AB8788B931DE8FD930A3F2198F77BE5CBA4F5],[058A82505BD5173B01A9B6D3678A18C733816B43F45DA8AD2173C09CD9885957,088E8A082B831CFA10682127DB49E4E6EC517DF6A3B52DA58CB14F6BA2C8694C]]
FP4sub = [[1A018F3C4C17CD3B02F8B95AF0B3E046523657836D25CA384C31D70CDAC7B3F1,225FA12A740DBC073305B0E4FA4B1F930FFBC4F908A7810754847D6B94E61532],[23605D95C438F63F45AA2F0883BCBDDE09B9F7E8A5A226331A79AB316889E669,03F416C38F7F83AC61916C3C5ADF28587C4BFF8C4488E133D410BD1A191A04D4]]
FP4conj = [[1BD6C71C0EEB6AA98763B33B2CEFCFFE655C8B9CF7EE5884D5CE549739AFCFB8,15DE9493F6A5EB66832B3604E8F5478FD58DE217026CF5D4856708841A345B1E],[058A82505BD5173B01A9B6D3678A18C733816B43F45DA8AD2173C09CD9885957,088E8A082B831CFA10682127DB49E4E6EC517DF6A3B52DA58CB14F6BA2C8694C]]
FP4nconj = [[094C9D663114955832D09A44D3103009FBC474630811A78ED131AB68C650305B,0F44CFEE495A149B3709177B170AB8788B931DE8FD930A3F2198F77BE5CBA4F5],[1F98E231E42AE8C6B88A96AC9875E7412D9F94BC0BA25766858C3F632677A6BC,1C94DA7A147CE307A9CC2C5824B61B2174CF82095C4AD26E1A4EB0945D3796C7]]
FP2sc = [12765D70C4CD7BFA0F9336C5E58B20A84C4D1FE5DCCB20A2C85E47402D20605F,04364FCF964D5987BB7710382BA4AAA943D9C2D3F1D6B6F7B855126F7191B21F]
FP4pmul = [[0BA88AA13F174DDFD22593D7FC4BC0F96EE9964B0B845403256319188DFE268F,0A7F1C11D9A6029AA694C3A82A82C96DFD0FBC3409009892C67C3DD916761349],[18E50BEC33A47658CD0AE80DFBF631095EF5D7AC46234E43F0AE76926DE789AB,0CDB67B2D09939E1D7B2B7BDDF93BFF27914B34BBD33985EBE1767EABB6BCC4C]]
FP4imul = [[093D8C4FACC23FF921C27EB186CF6FEA6DD3A2D6E7CB0967336AFDC5AD0F6F02,1C785939A3F1C231CF4D548EBADFD6A71F88A6450746E169E935198C4E9D1147],[1483DD912C80BA50B5372905C961B5B2C69CBE3422E7060C42A4BE297366F40E,0B77C669BD76A91388FBEA086E2251539C2C861C14E0772300EC11BD17A6C42F]]
FP4sqr = [[1B8465C68016D725AE99E92227CDF4621D1D083ABFD26D984638A169647A90B3,2303474342D17D93AD8DB609398556E28254E143FEDFF0BC86C842EF870393F9],[2024EA1587E2339EAAC2C09535E130B3936C82AEC11E785AF495073C270F7941,0F8CA867AEED50BD3677B47EE0B85B91A6AC6FDE3FF80167BF14E8524A5DB7E0]]
FP4mul = [[0F05A4DB38958398A897D1EB6A450B26957256563C5072A48272BB752E4A99C3,1924BF7D6BDE0C7F65B378BB15F48D1B0D2538A7AE9D80783ADDF841BFB6965F],[0497FC0A12692F0C3A72448535B3A17AE3949F70A88F3756A2463BD48206AD1F,249ABD339A0C9B91E70C35A8AA36D96637F3DD401C2DB04EDD7C86B933C320C3]]
FP4inv = [[0589C83DF2FE91BF7D949666FC158543A3D90C82506ABE9A979AE9FD099D7013,0513A4237AAA4BB87A3EA4754DD923D4AF2B952210153DB2E6F3E2A49E71D167],[04A8884573A80AC5CD3820B44B7F796E786818BE32F022D5753EE983D8507F76,0C861F2DAAB02EEA8E8FECDCBD7F67AEF57ADE4B1724B7819D41384FA863EC2B]]
FP4mulj = [[030407B7CFAE05BF0EBE6A5473BFCC1FB8D012B2AF5784F86B3D8ECEC9400FF5,170A5829B8A7CBCCA8227584BD2C025A414E16C567ED29C0F8DAEFF783AF3D70],[1BD6C71C0EEB6AA98763B33B2CEFCFFE655C8B9CF7EE5884D5CE549739AFCFB8,15DE9493F6A5EB66832B3604E8F5478FD58DE217026CF5D4856708841A345B1E]]
BIGsc = 034ED1EDC60F236840B95FF60C42C6087B622A12EC788D4A7DEC726E9A8E7AAA
FP4pow = [[1B8125D84D9CDE871011B1AA46BE2102440812283F0E1CBC948DAF834F6586E9,1494F2A0B025B669B7A19CA7738D54850E2A0723A25A8A475BE85F5BD00995DA],[1632ECAB3DB70BE3D5F45BE43D5D91B4CF88986683FD9FB4E5255540A5AF8367,04854A7AF9C7033BE2496BE173A2FD1769F8C223FC195D20C13BCA4F2BD6F211]]
FP4frob = [[1BD6C71C0EEB6AA98763B33B2CEFCFFE655C8B9CF7EE5884D5CE549739AFCFB8,0F44CFEE495A149B3709177B170AB8788B931DE8FD930A3F2198F77BE5CBA4F5],[0DCD33B94E3EE88D3C554AC95B2189262666C2F87E36915065F841F9ADE1DFF7,0C764F784C580DEB9F118815F5DFF90B1320DA0255898D2D4E0D9DE21C3BE07C]]
FP4_xtrA = [[0BAEA6501668A03F109D1ABBE128D625C7158064E15736F1FAC0AA0D7673D659,1BDEF68ECBEDA33CDF837CE1A47256C6D9267B431B799931AD8AA9C4180B2F01],[22C10A290CA11B4DCD0A155458F36A935AA4FD30C3A617B20FE3C277E2E3B26F,152B389057EAA55FC17DF481700FF703B45BED2192A8ED30DA48A3029C3C9052]]
FP4_xtrD = [[08FA3C10A24001D45A06D02BCDEE546DB384F100CFF5BCA2419BF83AF11AF156,1C69829D9585A6C8616B977F679AC7CB385A1D15FA06052722FA31E7529ADDD0],[150FE574D0380528A76F52EE66CCFF252C69AC26D8632700B1AD860273FEC693,2392F8D997E716CACFDBBFAF2A2491CC2F2A73F0F88DA6304CB2497B04CCE55B]]

# test 5
FP4_1 = [[20E54AA8074ECCF63439D5050429A23DECEFFEB214079459E8DAB50BC4B818E2,0FD7057507C159FBEFA461B96CF3D6D0413A086FC621FD74A3DE038DA4FDFC82],[0666600DB16F91726FC35F58C7F54CA5D8FDA6BE3C3E705D9D03235ABBE51741,13AA0978EFB75DDB2DF3B2F6054DDE018A3DB727892BFB16FC391ADB3A127C81]]
FP4_2 = [[0866214F289329D73B9AAA1510FCEB94512F26F1CF455BED8D7633CF312E803E,08555F1C6BAAB1777CC56045CE0DF6886DC6F87467F7D31B3375830E14643FBA],[232FB66DBEA91A27EAE8EFFF79D4A93CA3C6D72174B07005659E21EB27EACE0A,0278A13EEACAB0A989C730AAE25CE12E27AA465E76EA233768A19A8D4ECBF7D8]]
FP4add = [[04280774EFE1F6CBB5A0319A15268DC9DCFE25A3E34CF033CF50E8DAF5E6990D,182C6491736C0B736C69C1FF3B01CD58AF0100E42E19D08FD753869BB9623C3C],[0472B1F93018AB98A07801D841C9F5DA1BA37DDFB0EEE04F5BA14545E3CFE538,1622AAB7DA820E84B7BAE3A0E7AABF2FB1E7FD8600161E4E64DAB56888DE7459]]
FP4neg = [[043E19DA38B1330B85FA787AFBD65DCA7431014DEBF86BB9BE254AF43B47E731,154C5F0D383EA605CA8FEBC6930C29381FE6F79039DE029F0321FC725B020391],[1EBD04748E906E8F4A70EE27380AB36288235941C3C18FB609FCDCA5441AE8D2,11795B095048A2268C409A89FAB22206D6E348D876D404FCAAC6E524C5ED8392]]
FP4sub = [[187F2958DEBBA31EF89F2AEFF32CB6A99BC0D7C044C2386C5B64813C938998A4,0781A6589C16A88472DF01739EE5E047D3730FFB5E2A2A597068807F9099BCC8],[085A0E2232C6774C3F0EBCD94E20A3719657CF9CC78E006BDE65016F93FA494A,1131683A04ECAD31A42C824B22F0FCD3629370C91241D7DF9397804DEB4684A9]]
FP4conj = [[20E54AA8074ECCF63439D5050429A23DECEFFEB214079459E8DAB50BC4B818E2,0FD7057507C159FBEFA461B96CF3D6D0413A086FC621FD74A3DE038DA4FDFC82],[1EBD04748E906E8F4A70EE27380AB36288235941C3C18FB609FCDCA5441AE8D2,11795B095048A2268C409A89FAB22206D6E348D876D404FCAAC6E524C5ED8392]]
FP4nconj = [[043E19DA38B1330B85FA787AFBD65DCA7431014DEBF86BB9BE254AF43B47E731,154C5F0D383EA605CA8FEBC6930C29381FE6F79039DE029F0321FC725B020391],[0666600DB16F91726FC35F58C7F54CA5D8FDA6BE3C3E705D9D03235ABBE51741,13AA0978EFB75DDB2DF3B2F6054DDE018A3DB727892BFB16FC391ADB3A127C81]]
FP2sc = [1F9FDA0757FC0AA8161D08B32929FA0710B973699EFF942948D2AFFAB038B7DD,1983D01DC5616144BA5FA2D1EA2479C026AC95A54CA763EEF6157B79C42072B6]
FP4pmul = [[10FDABA40F6E68A5E65A65DEE7158E765D10C3584B229EF5C09A522ACF4567DE,12C1F1584B04E4E3DC2F994DEA589ED69B55183CD9FB4D04886C380CD7E1B7AD],[0D23146DFBEAD854AAA4A0DC6ED6F0E102F57D57DBD8EB059591546D096ECED5,11EF1952C542B7495C92088B24FDEAD55E848824F589A2A1515AA38301E9119B]]
FP4imul = [[142AFD195D3B33D3A24A6B9410A688DE905CFAC8501E512CAE6AD42F12E0634F,1A38B151DF0567EE045D3965B3CF5B38A3C721BF1887F5BEE8780E3693F7F1F5],[19998036C5BE45C9BF0D7D631FD5329763F69AF8F0F9C176740C8D6AEF945D04,04615CDF3EDD7769436630D8153777F566B4DC9E24AFEC34A2E46B6CE849F1DE]]
FP4sqr = [[13F3A08AA29809345996CAB8B192FD13436EDE113EBF744F9917E41A201DF7EE,160898014B5848D5FA92610114B4AF20E1203AA47683C064D09E9CE4640D162E],[0505771B42839797C1EE40D527D8FC70731B5B2A7BD70E99974E63D8AFAFC3F8,236AB7E6B2A925A45ED1D4642767589425D0A88A94F8711B43F94151028727DF]]
FP4mul = [[1FAE902310CC5C6703BFF3E90F5FA969EAD9058C82747ED42D9C672B7F2A2D15,0A5F322132679D6300410EAC45DB20AB1C2C2908AC6E453F430CA5F8FA9BA90C],[13E52B0A1135BD63EF166C7B60CEB6255708FD7C6305728D919A3CD82C5AF5F0,1FD28BF3EEC23A6579762951A3BE9136D18F6D57348F6B5CE77E9EFA5E1AD666]]
FP4inv = [[13AFD9721BB8693412DEF447788FC9AA3538071865A541A88D9E194846F0AB31,0E30C7CDBE03B2F2597445586C25A5983D282D61EEFE6B0EAFA2426203BF6A66],[09349CAAC9957C7D2177E98EC9E279F061495AF969A51C7FC5C2A6C16F5C330F,0CD0DEEE9059AE30901299F66A59834E637153EC5132E58324BCE2B8107C9B55]]
FP4mulj = [[17DFBB1701B83398FC03F9E2C2A76EACAFE0EF96B312755A47CA087F81D29AD3,1A106986A126EF4D9DB7124ECD432AA7633B5DE5C56A6B74993C3E35F5F793C2],[20E54AA8074ECCF63439D5050429A23DECEFFEB214079459E8DAB50BC4B818E2,0FD7057507C159FBEFA461B96CF3D6D0413A086FC621FD74A3DE038DA4FDFC82]]
BIGsc = 15ED4C35FDA08D48553F0537785350F7D8C101446F556E9528ECF50BA2E2556F
FP4pow = [[201928705F33FDEAC22B8E2BED9AE1AF226DB610EE5FF948DA99F26C37BC4150,1870EC529EFE64D669B65C458F8210BB28081BDB4D66AA3A1CEB5E1C836D52E8],[1A123AEE831961BF81FBAFC32EEA9F948A7FA77E2765C225E9B8708776E75F00,0DCD8E9183ED821135FF5A1DED934561F4782AE7E203C4DCAE94A667AF5011F0]]
FP4frob = [[20E54AA8074ECCF63439D5050429A23DECEFFEB214079459E8DAB50BC4B818E2,154C5F0D383EA605CA8FEBC6930C29381FE6F79039DE029F0321FC725B020391],[041EDD1F714D0B0AFD2B9B9CE6BBCBB9EE2E42845EA321087AAA24BA83E4E349,21D0C6D971F004307E81FBC5ADDC64F2516C6FA1E500EB9DA7BAA72F8A6FAF8C]]
FP4_xtrA = [[1DEB608784823B43C4C9B5EFD053AC2CE69FD7DA43F8BC732D0553CAF14FF45C,1043AB40B7FF9BB7D99D292885C80079ED4A0C573FFEED152E402C91BF717AC5],[1E816D3F54B2DC7193D0CB6CBC5A033752F6D95A046F6115A9FF82FC057D784C,11EBF1AC88509C412FD586215251FE192557BD00CE0C7201C7CEC02762F1D18E]]
FP4_xtrD = [[1C6FD43F13FA6F4B658BBBAEA93FB8A82BD0E0AD16B04BC315627A0296ADC650,1B7DF1997BD594DFD57DEB0E3ACD0188BFCD29C4EA3FC58F2FE295C91A111D3D],[11D23736A562BA7CA174FF86B7C395BC2516A8A6F453EF54D154AA8E2779F27A,7801D41217E15746509F5032031486780A16D9A7506721EE6B770776AC20BB]]

# test 6
FP4_1 = [[10020B6E53ADF97C1B3E9E4253118FFE02D54D342596399D5EA3BBA48BD00983,191B75D0AA225796FC4196943F0AC6AE0181026D8A69FDBEFDB387F6356AE6DA],[21A4A50778E924EF1B3B4E82D76B3A9B4AE329381D2FF073967528A7E6B2E2BD,162BBBE3B61BE795238671ED5DA22AA7D69E1738DB43A13972CFF83CE3F23D02]]
FP4_2 = [[1D92146BB2B92726E8CF87DCC16F1B26CA4FE6E665481F09D3DC248D39EBF4BA,05C8F19DE365D840E6AD166224D27C4EBF5EB535A6F3EC1E3D8CB71B71CB1E45],[2149159F0EE4197CF00C4CB986C04DCF3FB91B2767D3E42FCEE75287815A4080,0863F0E1CE27B103DE67830FF55BE1B7803024DDA3656433D932DE1AD9B11176]]
FP4add = [[0870BB57C66720A149D9D89F1480AB1C6C04341A8ADE58938B7FE031C5BBFE2A,1EE4676E8D882FD7E2EEACF663DD42FCC0DFB7A3315DE9DD3B403F11A736051F],[1DCA562447CD3E6A51134DBC5E2B8862297B445F8503D48FBE5C7B2F680D232A,1E8FACC58443989901EDF4FD52FE0C5F56CE3C167EA9056D4C02D657BDA34E78]]
FP4neg = [[15215913EC5206859EF5AF3DACEE700A5E4BB2CBDA69C676485C445B742FF690,0C07EEB195DDA86ABDF2B6EBC0F5395A5F9FFD9275960254A94C7809CA951939],[037EBF7AC716DB129EF8FEFD2894C56D163DD6C7E2D00FA0108AD758194D1D56,0EF7A89E89E4186C96ADDB92A25DD5608A82E8C724BC5EDA343007C31C0DC311]]
FP4sub = [[17935B84E0F4D256ECA363E591A274DF99A6664DC04E1AA731C7971751E414DC,13528432C6BC7F56159480321A384A5F42224D37E37611A0C026D0DAC39FC895],[5B8F686A050B722B2F01C950AAECCC0B2A0E10B55C0C43C78DD6206558A23D,0DC7CB01E7F43691451EEEDD684648F0566DF25B37DE3D05999D1A220A412B8C]]
FP4conj = [[10020B6E53ADF97C1B3E9E4253118FFE02D54D342596399D5EA3BBA48BD00983,191B75D0AA225796FC4196943F0AC6AE0181026D8A69FDBEFDB387F6356AE6DA],[037EBF7AC716DB129EF8FEFD2894C56D163DD6C7E2D00FA0108AD758194D1D56,0EF7A89E89E4186C96ADDB92A25DD5608A82E8C724BC5EDA343007C31C0DC311]]
FP4nconj = [[15215913EC5206859EF5AF3DACEE700A5E4BB2CBDA69C676485C445B742FF690,0C07EEB195DDA86ABDF2B6EBC0F5395A5F9FFD9275960254A94C7809CA951939],[21A4A50778E924EF1B3B4E82D76B3A9B4AE329381D2FF073967528A7E6B2E2BD,162BBBE3B61BE795238671ED5DA22AA7D69E1738DB43A13972CFF83CE3F23D02]]
FP2sc = [164E9C459CF17EA750AD657C2DC6155815921A74EC439497868A2F839D8D7946,0152919103A4C85D64D585101454A4E60354421A6E79F1804F34A378517C9378]
FP4pmul = [[0A7770BFE7A494C205CBCA831BA81993D8A95352B2DA08AF84DDA52765296C51,210B39F5DF62FD7355DC4B43E90F57F0EC22364F65EBD77D8194BBE56B947CFF],[0C400E9E5D1C7E4EFD7B02A45EEDF23F3A9C29B2021D1DA5BD47319C3AB4792A,241FCB8222273D205E86CCDF94D06B5C9A6FDC53B91BA71D305BF9D2DDF578F6]]
FP4imul = [[05C370232265DF6913D07C4B9F57CFE54BE88204BBEF1FEB8B32AA36BB102F69,0E1F1F8C92ABB5EDBEAB08653B35E14CE4220C23B411F47FFF81A7CF0B168209],[13A9A71C5C8DB8A49F57528E351824E6F1EBCE1891EFB1F35449CB47817E6D65,2493E26E0E8B85E63D379EA2D42AD5366ED4741C485225F7F00FD93073BB30E4]]
FP4sqr = [[18B8A5B2A1067A10D47DA934D96DDFA11C04A45EBEF4F36C19839225D97AE1EB,02831D1E3D81FC8056238CCD9014A67F7F94FE6B6EF22C3CD9551AE5E19E7D77],[07C41F56415166339205D948813120CF65A92D1B0A6E3247C9E5D5124116B5E3,22B5C386C20E5189605FB2B94F4FF6B99C1A351D4984B0004FF22BDD6D334AEF]]
FP4mul = [[21897DE3B0173D041B271F964D5D680D60F2A8FA0506CBD65E9EB31700CC68FE,13E3406CDC850E90E3BE50A193719D88FC8A758C95F63251F9968324490EFCC8],[0B6699EA39EA3C6CFC143DBFA21D7B9BF66F4F48E99F370C9D69886852F8D9A4,0BD0125034DCD3BC43BF85E96A5707D822106A47F77355B6A492733FFAE2FFFD]]
FP4inv = [[01271FE4EFD92338ABDC145972105E7D342F0A4BF7ACCA9C63E00A349B821329,1CA8C58E547A2AD9C723747AEA0A0E3E98A09E5E173771DEDA20BCC7EC3A2F68],[06413184AF06487DF0E9AF0A3F65ACE7C4862B90F4AD1E5A30B101EA0108DAB8,135A061C4C4DCD6FD1363C2468F2667B23E5FAE7CA60942444BDF104B8F393D7]]
FP4mulj = [[0B78E923C2CD3D59F7B4DC9579C90FF3744511FF41EC4F3A23A5306B02C0A5BB,12ACFC68EF050C82848D72F0350D653AC0604070F8739199624520E4CAA51FAC],[10020B6E53ADF97C1B3E9E4253118FFE02D54D342596399D5EA3BBA48BD00983,191B75D0AA225796FC4196943F0AC6AE0181026D8A69FDBEFDB387F6356AE6DA]]
BIGsc = 1D01E715B76904C506CFB2405CE56EB9C7087FFEE6C964897814D27BDE0A3BAC
FP4pow = [[0802559CB1D348FD9410745A70155B32827C0BE1585264630303137F4A3A5C1E,1110BB4FC6F0813DF8B9DACE667711819FDC477002F1906EBC36FCC54D1D59B5],[0A9319DB0CF9A9CE3C101DA68FE5C5ADDE6F80533D81B3DF49AEED6329F501C8,03D9763DC97B13BA578E02D9B0F120C0961050B6FCC4AE61E4AC0F30022DB557]]
FP4frob = [[10020B6E53ADF97C1B3E9E4253118FFE02D54D342596399D5EA3BBA48BD00983,0C07EEB195DDA86ABDF2B6EBC0F5395A5F9FFD9275960254A94C7809CA951939],[12546B399F3EDACEDB93A476E5723D90E37C35BC82D17082D1A0042A35F27D85,223E196C51D1057E763C30FA2A08402E41F13DEF9B3646E8CCA7E36E049AE976]]
FP4_xtrA = [[197582751307DE9C5A4741A95DD3EA001D1C952E42321BC66E9435B9FC5AD6FE,15C99D607CEF3601E64EFC57FD559DED0A5FE7797FA9C47CFCE8DC3FA2B123D1],[1319A173EC390FFE62D3F45B4095A3B5C23CE9D6C8CD274A50AE49B574F79CF9,21BAE6CED4F235F6B83A2DF80C4F3F44E033D96DE7A5F614D238B6C84BB38E76]]
FP4_xtrD = [[1DD7F35839AA871A5834BA30334ABFAD777B09F673C88045033C1ADCC1DACEF8,1A92FA81693D4D55D208FAA511FF19343ED4F9905A1E30E62BEE0AF976C8AFE9],[C6A060B323B00E5413DB4E300795F5392D7F8B44CE1307A8D026620E7C7B37,04C67249AE4620B03303FB940A944BF88714638F000BF24BE7921C573517C4CD]]

# test 7
FP4_1 = [[1A60D67D18F52FE4F09EC57AC4F1C0274BD6D102C384CC5B58678FA553339211,012C77DCAE1BAE19752CA78868DBD32E9D0F1707F35977EBFB4BFDFCC02CC863],[01E368E57058D189938A9B9F748BA9A8AB196ECD6D31F3457E98CF73F0DEB43A,070638BD779F1D0B241CE23E5C25B0AA312C15F81D3D0EA71275E6C4A4D66F33]]
FP4_2 = [[116DB8429862ECB8BBCA6EBAF5BD555945206D95862659A3371883E5AB984A64,195E9072BE87058B4FBF2BA6E2DBBE3A81F89B448A2EBD9530170D1952AFCFFE],[211724B516D76AB511FF1C69055C3A71D16D16DAD71A3D4298126C0443759C42,1BA5D3EDA8DBA964F97C4F1AFE16BA4C44B844944A2EC3A3BA9BC372CEF3E486]]
FP4add = [[06AB2A3D71581C9BF234E6B5BAAF15782FD63E9849AB25EAE880138AFECBDC62,1A8B084F6CA2B3A4C4EBD32F4BB791691F07B24C7D8835812B630B1612DC9861],[22FA8D9A87303C3EA589B80879E7E41A7C8685A8444C308816AB3B783454507C,22AC0CAB207AC6701D9931595A3C6AF675E45A8C676BD24ACD11AA3773CA53B9]]
FP4neg = [[0AC28E05270AD01CC99588053B0E3FE1154A2EFD3C7B33B84E98705AACCC6E02,23F6ECA591E451E84507A5F797242CD9C411E8F80CA68827ABB402033FD337B0],[233FFB9CCFA72E7826A9B1E08B74565FB607913292CE0CCE2867308C0F214BD9,1E1D2BC4C860E2F696176B41A3DA4F5E2FF4EA07E2C2F16C948A193B5B2990E0]]
FP4sub = [[08F31E3A8092432C34D456BFCF346ACE06B6636D3D5E72B8214F0BBFA79B47AD,0CF14BEC2F94A88FDFA1C961860014FC7C377BC3692ABA6A7234F0E36D7CF878],[05EFA8B2998166D63BBFCCB66F2F6F3F3ACD57F29617B6168D86636FAD69180B,1083C9520EC373A7E4D4E0A35E0EF6664D94D163D30E4B16FEDA2351D5E28AC0]]
FP4conj = [[1A60D67D18F52FE4F09EC57AC4F1C0274BD6D102C384CC5B58678FA553339211,012C77DCAE1BAE19752CA78868DBD32E9D0F1707F35977EBFB4BFDFCC02CC863],[233FFB9CCFA72E7826A9B1E08B74565FB607913292CE0CCE2867308C0F214BD9,1E1D2BC4C860E2F696176B41A3DA4F5E2FF4EA07E2C2F16C948A193B5B2990E0]]
FP4nconj = [[0AC28E05270AD01CC99588053B0E3FE1154A2EFD3C7B33B84E98705AACCC6E02,23F6ECA591E451E84507A5F797242CD9C411E8F80CA68827ABB402033FD337B0],[01E368E57058D189938A9B9F748BA9A8AB196ECD6D31F3457E98CF73F0DEB43A,070638BD779F1D0B241CE23E5C25B0AA312C15F81D3D0EA71275E6C4A4D66F33]]
FP2sc = [10921F08949D9EEFDA306BBBB7FBB1452A67364151A034715589287D13E4CCFE,1B9D228B7F3756D5E5CC5AD98DA12B5B4541E21FFAF311E4E55C6B4D0B5FA44B]
FP4pmul = [[1F9C0F0B11AF6B822C36C5FC70A092A3F128719C50877915E1B77D3FFE754F34,1E57B529B2F296AAC11FC877E92D7540B037F0060C066C16FCAE183CC8AE9071],[1B5E2C58AF7360EFECFB057E0A0DF0335DAF43B891642D6F68E6C0B9D13C96A3,1B8CE46125A83F5D0B82CEA8018B409BA8763AEDD32EE26B51884DC0EC9A77F9]]
FP4imul = [[09B774E595BF1F56BAE76AE09DAA80CA4284E610951CC9D5766D5DDFF3356C1A,070ACF2C14A61498BF0BED327526F317AE5A8A2FB418CF87E3C7F3EC810CB252],[0B547560A214E939753FA5BCBB45F9F4029898D08F2BB3A0F794DCB7A538395C,0501EFEE8DBAAE411E78FFF628E223F4C5E783D0AF6E57D6C7C3689BDD069B1F]]
FP4sqr = [[1ADB1C1A2265D3D06635DF3C30B9E0370953D03E73FF431D561946B62AC8500B,1E79DE2AAC4199F45507B4F3BEFCC1A19FDF4B246DB1E24FE97C1769250EAE13],[0C9FE198D9337E5D7D5C8118E273C1724F1A4C2F51D9BAF4C491294CAD60713F,0FD4581F1D1431DCF98547B791260281008E9592316471C6A6920E43952FFB94]]
FP4mul = [[1376524831A875765746CA94A24DAEF5901984AABAF86BE675D2093977E5F62A,0FA67F5F08460CE304323326D2049721BC124434AF58CAFDF898FD0D0C505469],[0C1BD3883F86E3816C624D96B3006C4435D9240F20EE8047D2686AFBC19B44C8,07055735599C236474DB8EC3D1231D4A8C1B9ECA6222290CC4DD2343D722E73C]]
FP4inv = [[0E23CFFEE07C6453B699A6051CB1ADF26AE76E5E96D2084F5F58EF669E02683B,0EDAA27D85D8E1F1F17C57CC515A7EF593D2D5A1A71D08FC421941A68A5DA60F],[1DF714A0B9F6A2895064F4CE626BE0C3A43FAD5557FA5A99161412699F2DBE9C,03138449040C842E37924CD84677BC2532F84E6A56F341304BE0457D795EDCEF]]
FP4mulj = [[200094AA38B9B48029A206E11865F906DB0E58D54FF4E4B21322E8AF4C08451A,08E9A1A2E7F7EE94B7A77DDDD0B15A52DC4584C58A6F01EC910EB63895B5236D],[1A60D67D18F52FE4F09EC57AC4F1C0274BD6D102C384CC5B58678FA553339211,012C77DCAE1BAE19752CA78868DBD32E9D0F1707F35977EBFB4BFDFCC02CC863]]
BIGsc = 21F186A75970E1FC29E3AB101CD4AB91E8B1C546E51E7BDAEA89088514EA043E
FP4pow = [[0F18BBADCC93EAF6AF3B02CF1F03556CA55D0F19AF03A112CC1C36A3B83BB6D7,01F9F4F908923B8D540055F8ACD9AC444DFCFDF0FF473D2D54309EB5A152157E],[0AD1E2EC016B32A8F419C8AC291C6367ABB5838C47BC6B44E08F4AE6778F075C,04156B987AA2E59F2F083DF0680A3970047BF67F72CD7920098B46F51E251469]]
FP4frob = [[1A60D67D18F52FE4F09EC57AC4F1C0274BD6D102C384CC5B58678FA553339211,23F6ECA591E451E84507A5F797242CD9C411E8F80CA68827ABB402033FD337B0],[1B359220946B0DD5F3D13A361FC46446DF7446D3286CD3011C737C0B5F6835C7,0F796C3EA205528B7B3A1DEDB05351C0404546EF8A24D03522FAABF944ABB9EE]]
FP4_xtrA = [[1FDFDD9261CEE940AD74C46DB75BFB3967397DE29D70E2C42991280017B0A473,193B4841210B267D4CAC3C464D02B413527B4ED8E72EC63BA4552DBB22125D11],[18FB280F6BC263752BF2B2BD8E713A144AB2E50A2A5FB499CE8B2747D786BCED,0842B17795B991A998DB419267EC0EAD2C5905BF7BB616771C17616E9E640D0F]]
FP4_xtrD = [[0B3CD3A2307B74083F2CA1C6A6D65FF0D2C72E38ECF5AA7A4C4A276B84612BFC,1C20EE71500A3DC16AAE65E2ED451B4465C11D1486FEF277F2E41B6FA4B51D4D],[1066B363B9E52170A471B857CB8B14C3A54D29CA2C3DA17FC1C2C8348F1DD9B3,1DE0C99A0C526BF341BF0C34497163D562E6C1826BDE8F14CB7DDBCCDEDCD9FA]]

# test 8
FP4_1 = [[24A567539F624D99AD6098E4A1F7A80B15040AC87B7854094FE1849C412CAEB7,16E09FC0424D2D5FDF0D62B97E9EB0E32B15BB763FE4C4C3CD6A112D6CA6840D],[20F459C9A2E4FA53F91B3AB766D2E2D27FFAE47B6DF28ACB12575377919806D9,162B9F1E50E76AC11FDE7F4013E08C8A4796310FC07DCDAE02120D4C06038A45]]
FP4_2 = [[0E794DFE3E4CB5BE4F4F68AFC0CEFB69E4F44C65078125138B31D0488577B8CC,027AABF895C908A1A52F34075E9F8757910273D6FAED5ED0D95B65FB6EA24570],[225FD3D78189B54D6BCCC9F8EED0C4432602FEF1AB3CCD7B68969679B7C6D39F,0243842EC5E1A237B4E856CDD4FAC543E97740C660B5B8E96B81ABD32993FC3D]]
FP4add = [[0DFB50CF9DAF0356427BB41462C6A36C98D7572D82F97909341354E4C6A46770,195B4BB8D8163601843C96C0DD3E383ABC182F4D3AD22394A6C57728DB48C97D],[1E30C91EE46EAF9FAAB3B73055A3A70D44DCE36D192F5832D3EDE9F1495EDA65,186F234D16C90CF8D4C6D60DE8DB51CE310D71D6213386976D93B91F2F978682]]
FP4neg = [[7DFD2EA09DB2680CD3B49B5E0857FD4C1CF5378487AC0A571E7B63BED3515C,0E42C4C1FDB2D2A1DB26EAC681614F25360B4489C01B3B4FD995EED293597C06],[042F0AB89D1B05ADC11912C8992D1D35E1261B84920D754894A8AC886E67F93A,0EF7C563EF1895409A55CE3FEC1F737E198ACEF03F823265A4EDF2B3F9FC75CE]]
FP4sub = [[162C1955611597DB5E113034E128ACA1300FBE6373F72EF5C4AFB453BBB4F5EB,1465F3C7AC8424BE39DE2EB21FFF298B9A13479F44F765F2F40EAB31FE043E9D],[23B7EA74615B45084782BE3E78021E97BB18E589C2B5BD6350C0BCFDD9D1334D,13E81AEF8B05C8896AF628723EE5C7465E1EF0495FC814C496906178DC6F8E08]]
FP4conj = [[24A567539F624D99AD6098E4A1F7A80B15040AC87B7854094FE1849C412CAEB7,16E09FC0424D2D5FDF0D62B97E9EB0E32B15BB763FE4C4C3CD6A112D6CA6840D],[042F0AB89D1B05ADC11912C8992D1D35E1261B84920D754894A8AC886E67F93A,0EF7C563EF1895409A55CE3FEC1F737E198ACEF03F823265A4EDF2B3F9FC75CE]]
FP4nconj = [[7DFD2EA09DB2680CD3B49B5E0857FD4C1CF5378487AC0A571E7B63BED3515C,0E42C4C1FDB2D2A1DB26EAC681614F25360B4489C01B3B4FD995EED293597C06],[20F459C9A2E4FA53F91B3AB766D2E2D27FFAE47B6DF28ACB12575377919806D9,162B9F1E50E76AC11FDE7F4013E08C8A4796310FC07DCDAE02120D4C06038A45]]
FP2sc = [03728890828D297CB013830FA647FCDA8EDE9CD0E53F075B4E617F972854784B,216C8ADC1F00AB604652C3E1B2DDE0B6965992D52437CC71C0BA2666CC9EE258]
FP4pmul = [[24C4E3F8FC49F9B6FF79D327D686F8C1127113B05BEA949BFB2FA84130ED8A96,05B0BFCCBDB570FC4518E5C5FA15229B1014E34D5C2B05191F1BBBDE768F1A58],[0B05CE8314C90BD408177AE83F5BB88073FF7553BA07E69DF8054F98E3D32E1B,0DFE1D2E62C8CAA08ABCD6174D00AE1BB70C5B308DAC0E1626BE31FF8A1D0EFD]]
FP4imul = [[21B1783BDBB01F29606A5D406DC5981B4C564B7B604A4BCB452AA045C838C68F,0B96CC38D01C3D98308C7D127656D614A914203BBF41610C01E6783DF88D9C0F],[07DA1975F442D8417284CA03CFC4338F39163F6001A1CB1796634844FB282F7D,06A3C7CB3653EB40F64444C08B23D7A67097576E43709F73727E5D142A18C797]]
FP4sqr = [[048CC485F13E7896D668B9636D9E8BBEE7591D0354495E1CF35DD6BABB4B9DFC,054807520E9D48798F8C0AF669633C178417B775084C38DA71DA92400C58D4A2],[0D655053295E672B8DD1B193A1611C5126647E6B3D57A458893B587D959212B2,037E2C7FB937E66FFEE4571D0C9C0E5C58E1BE002A278D10E9DA8F47C63A68E8]]
FP4mul = [[0162EA3D666FFCBA0EF240BDAE6B8F189733437814697B2F9D2F2CB26983CCB0,0BE17D0780E34A4EF702933AB2C867A33C02C5D6E13D75B2D2256C6875730122],[06980756BA93192A992734B0AF9CF9B5232871D54DC5506FDFE94C53D3C21AEF,0DF48569105ACA5DAEE2E25A8BBEA53C5936FD2BFE7EB70560BB3D6C8A4F92D7]]
FP4inv = [[12D524E66B8B621FF727BC99AD3C7069224E84460B7556BE04C746A40518C8F3,019C5C0BFCB2F027E5FFC785CBCA2C6B5846C54722A7646D4B9F799A42212CE3],[1FF5CD34C51B92BFB783D2E094F1FE2C5AEA0AD92A342357EE53C691E7D395E0,159A52098016AC7A521BCCF08D11695987529151894196DABC27E8C2D78F9C42]]
FP4mulj = [[0AC8BAAB51FD8F92D93CBB7752F256483864B36BAD74BD1D1045462B8B947C94,11FC9465B3CC65135EC56C777AB36F546670158B2E7058656D6960C3979B910B],[24A567539F624D99AD6098E4A1F7A80B15040AC87B7854094FE1849C412CAEB7,16E09FC0424D2D5FDF0D62B97E9EB0E32B15BB763FE4C4C3CD6A112D6CA6840D]]
BIGsc = 106E49E9ACE9A8C14324A70B6105EC4C8D343932DF4985C333D4DAB1083AA4DA
FP4pow = [[248D293C65E89418DDA32B10972F2D06AA5B794EF4B38DAD43D0D930407188AD,14387BF60BC53688D8FB07DE797B481AA4FAFD59F8E1DF25E0DE8FF51D62CB0E],[14639150FD75B833F337754759BA08A94967833F7D5D5C4D2228A1C8C382E2B3,0EED462B7DFA1BB6C31848593A71BB6A95D1E4323A06746BA4558436921EFF42]]
FP4frob = [[24A567539F624D99AD6098E4A1F7A80B15040AC87B7854094FE1849C412CAEB7,0E42C4C1FDB2D2A1DB26EAC681614F25360B4489C01B3B4FD995EED293597C06],[0C4C5F4E2C9D6E55741D728176D31E5E4D9C1F52321FF86F6C5FF08D0B8D9125,1E9174B173E7D531F7B393763B5FB9B596DE9B91B529FBEA70B55FC479D610D3]]
FP4_xtrA = [[039011C9DB1247E9B92A5E3E31366508477FB56AB6C9968AEA09FEE1EF588FFF,08890FB288BFEF987A63E20ADF595B4DB26D854A43BC8D0541FE224C53FEE95E],[0BAB07DE70DE17506B188746CA4FE0F986ACFD4CE944E624F61B9EA10E0EAB70,0CD844EFD3A8EC44DE723A71CC5E211D42279407A266A1EC81625C47169CEAC0]]
FP4_xtrD = [[0588BEE33279DD66F010229A29AF3BB97F9307725D58B631A19ACD8238F240B4,21CD90D60A02EDBD45D9E0836C25DA61F02E40888882AF7A25066FE5330BCCAE],[05073AE1EF285BD00B9F8C026F06E1E564184762193CB9C75FE9FF6CB8C2203E,0AB2063A1B06BBF0846D081D345D276886ED201FAB23285946FEA9DFD2417D5F]]

# test 9
FP4_1 = [[0C35FC966171B273E65C0F7D59315E27B7C5ACD3DFD5D6F3A4F9EDA4C044704B,613C044ED3DFD72A222305D01FB8E729302ED16A4F80A6E5D2E2C814A63293],[1D28037BFFABB0DAAF210357ADDD22E85055C791A2427FAF771F650F341A149D,02EBD42BDF7E5D7A892B95F52F3FB8EDE2B2B689D61385A2C9A573218E806CBD]]
FP4_2 = [[184197ECBBE35E6A6FA27F7F4B5991492C9C361B562CE51981D3091EA48FA572,108B5654D29A37996B59DD4B2C741EE43DAF558FC66ABADC9F45697A055F2333],[1B08FBD093A8B3980CA953EE89E75360FE8EBEC0DE5185016CBCA522400167AE,0F6FA94DB55055BB9E012F324E69C51C00FC5A3DC1852126872F70218BCB375C]]
FP4add = [[247794831D5510DE55FE8EFCA48AEF70E461E2EF3602BC0D26CCF6C364D415BD,10EC9259216E1770957C0050FC93D7CB66DF846130BA3B8385184C421A0555C6],[130D9ACA53546471019609C637C47640EDC386528094049D3CDC0A31741B7C38,125B7D7994CEB336272CC5277DA97E09E3AF10C79798A6C950D4E3431A4BA419]]
FP4neg = [[18ED67EBDE8E4D8DD3D83E02A6CEA1E0A95B532C202A29200206125B3FBB8FC8,24C2287DF12C202A90122A7A2FE0472137F0D12E95B07F6CC12D1D37EB59CD80],[07FB610640544F270B134A285222DD2010CB386E5DBD80642FE09AF0CBE5EB76,223790566081A2873108B78AD0C0471A7E6E497629EC7A70DD5A8CDE717F9356]]
FP4sub = [[1917C92BE58E540B30EDDD7E0DD7CCE6EC4A76B889A8F1EDCA26E4861BB4CAEC,14F94A31BC39A83F78FC933AA3AB9A0B4CA1D941A3E4C5DDED8D794E0F470F73],[021F07AB6C02FD42A277AF6923F5CF8751C708D0C3F0FAAE0A62BFECF418ACEF,189F8F606A2E07C0A55EB442E0D5F3DA42D75C4C148E648FE976030002B53574]]
FP4conj = [[0C35FC966171B273E65C0F7D59315E27B7C5ACD3DFD5D6F3A4F9EDA4C044704B,613C044ED3DFD72A222305D01FB8E729302ED16A4F80A6E5D2E2C814A63293],[07FB610640544F270B134A285222DD2010CB386E5DBD80642FE09AF0CBE5EB76,223790566081A2873108B78AD0C0471A7E6E497629EC7A70DD5A8CDE717F9356]]
FP4nconj = [[18ED67EBDE8E4D8DD3D83E02A6CEA1E0A95B532C202A29200206125B3FBB8FC8,24C2287DF12C202A90122A7A2FE0472137F0D12E95B07F6CC12D1D37EB59CD80],[1D28037BFFABB0DAAF210357ADDD22E85055C791A2427FAF771F650F341A149D,02EBD42BDF7E5D7A892B95F52F3FB8EDE2B2B689D61385A2C9A573218E806CBD]]
FP2sc = [153ECFF4D7F293445C1E7A998619E77D55E11FCD85F10692695C5FF9B54B6E74,02E8C59DD9B5F00B1EBD818BD298527F1221BFE8C763E2FCB56D3F45735D7B7D]
FP4pmul = [[0964E389A906DD855A5D111C43F768AE94880D1A85683A75BCC752D2A40966F0,173C5E0078588D162AD989A61F561C78C28010FD91DF22855B661EE485AE2D74],[0563438B90C97B6B2BD8B6331484BBC8BA027035A463F375B350C1424D6BBF33,08CE1FF4C2EBF830816FD42962ADA56B3B116D6EA6720BA90516204FC0006CFE]]
FP4imul = [[17691BAE8B8D939BBE77E0EAC98AF12CFBEB669EFEAEB775D9CF6D2602238232,0309E022769EFEB95111182E80FDC7394981768B527C05372E971640A5319498],[0A6BC0D27D5D86CB1BCE49BD6EE917103BE83C8D1213FD05CEFB2879A0D0A476,175EA15EFBF2EBD4495CAFA979FDC76F1595B44EB09C2D164D2B990C740365E8]]
FP4sqr = [[242584240485E394876E36B6480A4BFD8F3C8CE49511502DAE93693D1BC57D0F,028620393781C61C5380E38032A14197FF2FB092DD6C84F6335CEC35F8D0EB93],[218F6C47815FFF859B1A0CBA92EE189D63F6A62F8F84C1B9231E33FBA6F79C23,0480FF4B32C36EE61B80C514B6479B70340CA333ACE3C9B40994C847F065B407]]
FP4mul = [[0906F897A4FD21894D45DCB3EF5BE47C60FBD5A2599FD29ABDA1BFB6B8587A53,03571DC6ADA99F722A2FBFA96F773DEA147D5E441A15B47C2B489BDBD6C09A6A],[1615794BE921E7DEADF56010231B92F91BFC715844639911F7367095C1684D9E,0CFBD2ABEFE35063D45B7A17EE08F97D20EA1F432E27E808A58410CBBC2D9215]]
FP4inv = [[0553A3155EB1A057581AA4AF8200F8F922C691B76585C95967AF0E19EE1BDA32,2D12E12D0CDFDBE014C80F1A662946B7B5C4D2CF3D99A1F863FFEB8FC54ECC],[0F5A8ECAE2DA4C9486B606175F82E22F3E545FB532540B3C714E85F93920AF4B,18A4F2BB1CF1FCE3A976229146C8BBB63DD29223ADB3BC17C6C862F6E8373161]]
FP4mulj = [[1A3C2F50202D536025F56D627E9D69FA6DA31107CC2EFA0CAD79F1EDA599A7E0,2013D7A7DF2A0E55384C994CDD1CDBD633087E1B7856055240C4D830C29A815A],[0C35FC966171B273E65C0F7D59315E27B7C5ACD3DFD5D6F3A4F9EDA4C044704B,613C044ED3DFD72A222305D01FB8E729302ED16A4F80A6E5D2E2C814A63293]]
BIGsc = 173E70587A7E88B5B1C1C1DD58B2489F05190D27B48420B7D3BE4E793A922230
FP4pow = [[034B65DA582EC233EC2738C08DA62BD6489630EDE97DC51FECDAEC2813C0EB3D,1BE28C61B007FEB83CDCB2AADBF5412A7ABF5FCC095578FB42B2C75F23F5475D],[19AEBC2798C4FDC184C48A48F149F9BC020B5531628791B3EC2E79B73FC24757,1BD936D9D1CB6F8FE81DF3A5FF18F9EE96130838880B4F460535B597A979E224]]
FP4frob = [[0C35FC966171B273E65C0F7D59315E27B7C5ACD3DFD5D6F3A4F9EDA4C044704B,24C2287DF12C202A90122A7A2FE0472137F0D12E95B07F6CC12D1D37EB59CD80],[1580D43AC6E93EAFDDDAE2F9F017E52DB27E8D51D022802DD6A90E15CF8877B8,1BDEE1477F89B1DA718D5B5E92707C086DABAA86A3F4A1A44D5FBD600CFD8659]]
FP4_xtrA = [[1DB5B50565702B7F0E6A8C7C4D530DD56DACFF210E6AD476FB56A477CF00B36E,16B518D96FBA6382C20E0248A3318B6CF467EC81A0AC5D5FDF4D6EC3616841F0],[1E774DE2330453B207AB2E42EB46BC321BEB089BB231EEF29C7C5BDA9D41B7A7,014458C15CE3F61B83A158FE7D82196FBCE601DBCEBBD5CA42608267E474815C]]
FP4_xtrD = [[0BB98AF741A27EACBAB617BB95A78FAE1FB1333CD565A246649F8DF39B3C9C79,01C3A83099DA066DFF3C9D749261CFC9ACCF52F008CD83A867B726A5CF84866D],[1198AA3B00B7613784F37869EEA85E5D42603552D409C0F0C35CFE1A0F2BC537,0A58A7A2F1C029DB2DD7F0FF14C70D4BF9721047590AD4F99CDFAE8B0D668D81]]

# test 10
FP4_1 = [[0BB02FC8F4482FB56DDEE4920E3C82E88172CCAA938829D2E7D5F512DA50A1C3,1C60B4C2086EF30EEE34ABE051DBE4DE674032B4E67EE42C8E90D82478B69CEF],[12AFBF8523F867BB5B568AD873B0EE685A2494AF930DBAE02BD1E34B5F552631,038012F88CBF346D0B7AD64768F930FDF0BC022C8B0926BC5D03FDFCA3DDC26A]]
FP4_2 = [[172E88EFC0272EAC8BEB31789A6F8F345D912B5E64550AA8A51E10A8E6A311A2,01A84C3041AC9FD99CD0DE47F19E362C0B8A9390F79AF27053325D037D1F34A5],[02D06C3F8F256DBD524580D01A0521C168624AD205C6C2E841F1557E97035850,05D8990E26DFEA10B37357E481FA3E663A26D960DA0843783BF8BCE70D490E93]]
FP4add = [[22DEB8B8B46F5E61F9CA160AA8AC121CDF03F808F7DD347B8CF405BBC0F3B365,1E0900F24A1B92E88B058A28437A1B0A72CAC645DE19D69CE1C33527F5D5D194],[15802BC4B31DD578AD9C0BA88DB61029C286DF8198D47DC86DC338C9F6587E81,0958AC06B39F1E7DBEEE2E2BEAF36F642AE2DB8D65116A3498FCBAE3B126D0FD]]
FP4neg = [[197334B94BB7D04C4C5568EDF1C37D1FDFAE33556C77D640BF2A0AED25AF5E50,08C2AFC037910CF2CBFFA19FAE241B29F9E0CD4B19811BE7186F27DB87496324],[1273A4FD1C0798465EDDC2A78C4F11A006FC6B506CF245337B2E1CB4A0AAD9E2,21A35189B340CB94AEB977389706CF0A7064FDD374F6D95749FC02035C223DA9]]
FP4sub = [[19A50B5B7421010A9C28009973CCF3BC8502A14C2F331F3DE9B7E469F3AD9034,1AB86891C6C253355163CD98603DAEB25BB59F23EEE3F1BC3B5E7B20FB97684A],[0FDF534594D2F9FE09110A0859ABCCA6F1C249DD8D46F7F7E9E08DCCC851CDE1,22CADE6CA5DF4A5E123BCBE2E6FEF2A017B628CBB100E357C80B41159694B3EA]]
FP4conj = [[0BB02FC8F4482FB56DDEE4920E3C82E88172CCAA938829D2E7D5F512DA50A1C3,1C60B4C2086EF30EEE34ABE051DBE4DE674032B4E67EE42C8E90D82478B69CEF],[1273A4FD1C0798465EDDC2A78C4F11A006FC6B506CF245337B2E1CB4A0AAD9E2,21A35189B340CB94AEB977389706CF0A7064FDD374F6D95749FC02035C223DA9]]
FP4nconj = [[197334B94BB7D04C4C5568EDF1C37D1FDFAE33556C77D640BF2A0AED25AF5E50,08C2AFC037910CF2CBFFA19FAE241B29F9E0CD4B19811BE7186F27DB87496324],[12AFBF8523F867BB5B568AD873B0EE685A2494AF930DBAE02BD1E34B5F552631,038012F88CBF346D0B7AD64768F930FDF0BC022C8B0926BC5D03FDFCA3DDC26A]]
FP2sc = [24D1EC71BF48A25B289927E389EB91D7E259E9A278A017E1E9502CDE719F8419,23C2201CB557916BB9197781222E03C1C6AE0E9A1318737EE5224AE39D1A1B54]
FP4pmul = [[1C4C059B444EAA1B27D49512427DFC32112695E8BA81DE9B0D23412FA3EAC9B1,1D433E622FE8081F6D479586F1B16B9AA068FA46CCDA4755B0617DF32C401CC2],[13B30ABE312013DD4985BA5D1C0295C3ED7D4B7BB8FC77A8C1BCE908CB2B5DAB,0A6C4898409DC3B1201CFCD33264BBF64A6123F730B27EFF9A728645A3D70D17]]
FP4imul = [[1EEAE50C1689AD5D686D6E2280209A1BCAC731FF2FC97842D8859DA9ACD5AFB5,2091FFC4CBE68B7C02A039E2E0BB0B9F5A7BC85C1A76051B191799483E6B83F5],[13A029A543BBA58F4D39AB9C11386189A6C53A2C2B7B9192EE60FDA659FE576D,1F80AABCF2B8D7D567518882B0C2B8ED769C1390E3525C9F4523EDE1C2CBD5BA]]
FP4sqr = [[18C5B5EE15C5A15355587FBBED579B71AE99A82A93F4ABCB6252E6DDDA57DCBF,0C506EEF04C7B484CF163970FC470CBDB4CCBE534862EABEA9F4F1B509715AA8],[1E920D0B4F6EDF35E044C9BE56BC34729545E68F19C05A38C8ACCD0385C4C8CD,12D3CC9ED2DD4C90706B9F779FFC9A68DB635B6C6F553AC4F42CFD1664C0CC60]]
FP4mul = [[190155CE54CE4057C841D894F26B44CD7E1700E0B3AC1056A679C89CD131F558,0C413611529FEB0E71FBC0857A06AC2CD4E50A8CB548CD63A2C338036109F3DC],[226FC74D1794C549987E4864A51206920973491A205752A5E782C10C47895F86,18ADEBD09C478B9CAFCCDD8D93F0C163ACCCD3F3C3713D0C8B6AEC91E206810F]]
FP4inv = [[1F13555449A1214D8645299A8129A77914070D637020D783406526DFD766C6F4,1E3CF658AC17BC3E99C3E21CA5B59BD7E8E871D2BE0C1B883843B2CBADAE1467],[1FD9D68DBA0917A552757BEBE246E6EC577706169B36A3949EB18B121D3BDB17,22DEBA8C2F0F9331C8237F388148F2E5B10312CCECAE1A8DB31017688848CC88]]
FP4mulj = [[0F2FAC8C9739334E4FDBB4910AB7BD6A6968928308049423CECDE54EBB7763C7,162FD27DB0B79C2866D1611FDCAA1F664AE096DC1E16E19C88D5E1480332E89B],[0BB02FC8F4482FB56DDEE4920E3C82E88172CCAA938829D2E7D5F512DA50A1C3,1C60B4C2086EF30EEE34ABE051DBE4DE674032B4E67EE42C8E90D82478B69CEF]]
BIGsc = 239E1AAAE77ED8A55B06DD4AFF7E1844EBAD7AF124DDDDA2589F2C327345D904
FP4pow = [[17AE75B5696CBD63B57DADA71D0FFC017E19459EC1E9FB288382BE4BB9E16FEA,0B3C5472DB8D4AFD70B17A6A7D4AE24FEAA3A279B98B5577509AED62BBDEA0DF],[02A7035D68C67DC7F3344C5A46F15CA90A100CDD91CE5107512B9271068297CF,0EAC6D0F2AD0D21685CAA8BED36134B1077D6C2BF8E7AFC7FCF9AAD4AEF3B303]]
FP4frob = [[0BB02FC8F4482FB56DDEE4920E3C82E88172CCAA938829D2E7D5F512DA50A1C3,08C2AFC037910CF2CBFFA19FAE241B29F9E0CD4B19811BE7186F27DB87496324],[23D5D258C07B56E9AC592D2B0529261E1A4E363C44B02C0071BA9EC75B120062,045E1F65AB124EE260D96A396885CD490EE0DF0D928BD031CB22CB0D9C714285]]
FP4_xtrA = [[113FC573AE71220C699C4EB4C7DB346B888B049430488364F675CF644F440CE8,0C09FEBC23FA9CED031757D54A5746DFC515DD42FF588DDDC4B674B0E1E958DB],[083CE300B0013334588C18B859AF05BC0997773C1E83FFF6B846C81CC95DC778,19D9FCBB5F7129639A44C8801E252797ADDB2680CAA8E508A30944F4CD8E2574]]
FP4_xtrD = [[0165565C2D3541E8799AB697D0DE95A0ABB40ED56CE4582592A6FCB825B69939,1DD5CE6F73E9CE6A67157CB0588F4311A88E58E97B65228CDAD3416C180420F0],[1ECE2793575FAEAADCBD91EF3E1E113AE86E0FEE3FDBCFE57950939A446F151C,19D3F28FEC5BB56A87614C0671EEFC64BCDB5FC58567883DAE34F90FAC7C5134]]

# test 11
FP4_1 = [[10CCC0048228717BFFB369C4D40342A779CEF3A05FE537797E174BF2A0EBE895,11F0EE5513B8ECE39783004667607F04825E9879FB61D795191FE082073F1120],[05016088A9DA39DFC752CDCF46BF0A8365FCB9CA8D72AE5E99B1107A1109120F,08F020AE680AA041708462D89E920FE8D2D9508E800792B71F2E7C62399F051A]]
FP4_2 = [[0E0D995BA89DB176EEFE510A3F8E790A7B1BBA95F599DF3D77AF919F5763513D,0C1D25DFF43D303325C2C58B48FB08A1BA553F60589D460824169F7625D48F57],[1459ED27E30A4155A1E2E3FC1F14AB96DD7BF34BAAE8DAF2B50285FAD4489C1A,047636898ED46F3E80413489790338981494317F94CCEED1A8FF1149A2F10645]]
FP4add = [[1EDA59602AC622F2EEB1BACF1391BBB1F4EAAE36557F16B6F5C6DD91F84F39D2,1E0E143507F61D16BD45C5D1B05B87A63CB3D7DA53FF1D9D3D367FF82D13A077],[195B4DB08CE47B356935B1CB65D3B61A4378AD16385B89514EB39674E551AE29,0D665737F6DF0F7FF0C5976217954880E76D820E14D48188C82D8DABDC900B5F]]
FP4neg = [[1456A47DBDD78E85BA80E3BB2BFCBD60E7520C5FA01AC89A28E8B40D5F14177E,1332762D2C47131E22B14D39989F8103DEC26786049E287E8DE01F7DF8C0EEF3],[202203F99625C621F2E17FB0B940F584FB244635728D51B50D4EEF85EEF6EE04,1C3343D3D7F55FC049AFEAA7616DF01F8E47AF717FF86D5C87D1839DC660FAF9]]
FP4sub = [[02BF26A8D98AC00510B518BA9474C99CFEB3390A6A4B583C0667BA5349889758,05D3C8751F7BBCB071C03ABB1E657662C8095919A2C4918CF509410BE16A81C9],[15CAD7E306CFF88BDFA4375327AA5EF4E9A1C67EE289D37F8BAE8A7F3CC07608,0479EA24D9363102F0432E4F258ED750BE451F0EEB3AA3E5762F6B1896ADFED5]]
FP4conj = [[10CCC0048228717BFFB369C4D40342A779CEF3A05FE537797E174BF2A0EBE895,11F0EE5513B8ECE39783004667607F04825E9879FB61D795191FE082073F1120],[202203F99625C621F2E17FB0B940F584FB244635728D51B50D4EEF85EEF6EE04,1C3343D3D7F55FC049AFEAA7616DF01F8E47AF717FF86D5C87D1839DC660FAF9]]
FP4nconj = [[1456A47DBDD78E85BA80E3BB2BFCBD60E7520C5FA01AC89A28E8B40D5F14177E,1332762D2C47131E22B14D39989F8103DEC26786049E287E8DE01F7DF8C0EEF3],[05016088A9DA39DFC752CDCF46BF0A8365FCB9CA8D72AE5E99B1107A1109120F,08F020AE680AA041708462D89E920FE8D2D9508E800792B71F2E7C62399F051A]]
FP2sc = [160E42EDC4F52E5993A80DC8233813EF3DA51AE513B81018E24AE12E886E84D5,1E257004DE436F968E2781AA76E7C98A5BEF2D571765F829D062848A027A6308]
FP4pmul = [[22FE84A0391E3EC380F116F4C0FBDFB166530F9FFEFF9E2F0FCC947C9EC0F920,156AB706C8D54DAA089012E6595FCE2463840C250B750801BE9581018C09FD78],[09B2EAC6BBB88A0689AEDB907F7E79452488BAF95AD3D0FC4C158913F5D425DC,239710F48596333390D7E64B2A889BAE8B73039A2477AD81ACFB85859FDB76B5]]
FP4imul = [[1371EE2415946ED11430EBB048209A693D918443BEF42A7050E8F77A49371586,1EDBBD49C53940DD024CCCC009C4F60B932DF4C3D1D26B845F3EC5144876AAF4],[0CEA60D4628642BC0F07BC98C37669199ABE41E9867ACF9E59EAA4C4AA5AB483,0F1A7DCB906A428AF0C3417631B49F077A3B2591004BBAFFE9D0DBD6403632DE]]
FP4sqr = [[213CF88847991B46D9CE4397EFD63AC826B1C2132E9ED9B83689328D88A81274,21E36959EDBC478BCF6353019B275A36F80BCF6E8B7273570DD5EE397978E298],[177AA0BEB4CB8E6F948918B62780BD66758FF79BEC4EDB0FFE4A5C8AB693E60D,23C6B770BCD5176CE1159C5BECA4734623155A1C40F86632C5893F4422EABED9]]
FP4mul = [[0DC7C5CCF61C79978E8CF03EC38994DCF6D145F212F4C0C5F097511B6989A77B,1F9E4A4E1E05C5E021638394B4189C9C9B4ECB9EE2ECD8EAF42FD07F50FF05A0],[08E5A3D53F774EC031DDC5059AE83772B51D27A5E9F46CD619572259B26D19BC,1ED7160C8655CB8ACF796774C5F333043BC05C86D8805AE48A969A130B1FBBB7]]
FP4inv = [[01BFE04AE6F8BC1B0C2AA479FB7FE14C4615571013D8D324BDED13832C6DB27C,6C1BD12FD908B014D5C96FAF8BB8D9FB65E37ED3EAA4420C61162E9BE17516],[1EE5996C4CF918D66DCE333F85D70B841952A6A92376215EE959C3715C0B6916,128508C6D130B1EDDE9E4A3EF0A5D2A962D41A067F1868106EB86F3B84D55A3D]]
FP4mulj = [[2134A45C81CF99A01102B876A82CFAA2F444693C0D6B1BBB21829417D76A0D08,0DF1813711E4DA2137D730A7E5511A6C38D60A590D7A4115B8DF8CDC4AA81729],[10CCC0048228717BFFB369C4D40342A779CEF3A05FE537797E174BF2A0EBE895,11F0EE5513B8ECE39783004667607F04825E9879FB61D795191FE082073F1120]]
BIGsc = 0A82555999D62F45377D35B27F64DD597C405DDD200670A747E301FA51B7BBCE
FP4pow = [[01A0619C3DEAC0AB356600A52B7FCB759596A0D1499265667A20D94DA615A426,1CDAD7AC4488E934AF7B940CF0F7E72CDA1D8E4CDFE8D064EBD7308BEC1F1BEE],[0CD1F2533FDACC9402131C0A442DB1ACDAA61E7E4AD4AB9F495DC236ECF12E8E,1516409511C684B3C5BC8EADC7F7412B790A0CB3BF1AD830EFC64BDD94845810]]
FP4frob = [[10CCC0048228717BFFB369C4D40342A779CEF3A05FE537797E174BF2A0EBE895,1332762D2C47131E22B14D39989F8103DEC26786049E287E8DE01F7DF8C0EEF3],[0D9981A30602D7E7A440E21F4786119B17C6C868BCAB9EB9E2CFEC8937E4D650,0404550819250172CB5DCE55E27484ADCA6E3B062EE270C72B0E71AC97B9A833]]
FP4_xtrA = [[1D1CD25173E2C0062A2E5236C3D67FBB4844E6E8044CBB123ACB9D3BC4762EA3,216B08B4FD8E90DBF340373AD6081D9154D334369C6E5469ADC1ADA19BE0A6B3],[131D9D39F9C3B8882C11F9DEC17237D2225BA5ACCD286AFAF3603EE5798193D2,0C9882486386ED6524827F77AE0DA8C7871D9BFEF367F3F677614DD785F4D70A]]
FP4_xtrD = [[24C6DD0183483850949BBD8E47CFB5819434DAD26ED46AD8E15A9AA846D0415D,2324F132064A6DC65A919FF4CC665C36546F9E7A94AEC44082962D356AFAC06B],[217D61D00880022F232EB454B4FED26D41896B31073437CD31AC7D7ED8A60A2B,1083944B4CEA57EE07EA148D29C8930F67A6FB3941078B8D5CE638089628C8FA]]

# test 12
FP4_1 = [[00,00],[00,00]]
FP4_2 = [[01,01],[01,01]]
FP4add = [[01,01],[01,01]]
FP4neg = [[00,00],[00,00]]
FP4sub = [[2523648240000001ba344d80000000086121000000000013a700000000000012,2523648240000001ba344d80000000086121000000000013a700000000000012],[2523648240000001ba344d80000000086121000000000013a700000000000012,2523648240000001ba344d80000000086121000000000013a700000000000012]]
FP4conj = [[00,00],[00,00]]
FP4nconj = [[00,00],[00,00]]
FP2sc = [00,00]
FP4pmul = [[00,00],[00,00]]
FP4imul = [[00,00],[00,00]]
FP4sqr = [[00,00],[00,00]]
FP4mul = [[00,00],[00,00]]
FP4mulj = [[00,00],[00,00]]
FP4frob = [[00,00],[00,00]]