# FP2 ARITHMETICS - CURVE: BN254_T, Modulo = 0x240120db6517014efa0bab3696f8d5f06e8a555614f464babe9dbbfeeeb4a713, BIGmax: 2^254, Frobenius constant = [0x1328a292c9bbc4394f6509f190a13211be6c4904d6facce359f5d14eadc80022,0x10d87e489b5b3d15aaa6a1450657a3deb01e0c513df997d764a7eab040eca6f1]

# test 1
FP4_1 = [[0D2A380548CD5AC6992E2CE8C94A12F48139F747D4EAC516C0FE1EE71E5D4F51,0F563D60A47D4ABA12E24804394621539509C92B8EE68BE459938D3614F3D611],[231E9CA73184C47D3247FE726F3FC89FEA0083C9E2751D36246F11ABFC11105E,CA99C22CEFDE9AB715F74652A0EE464AEDD2D8E4753BB310616CF68E0F28F6]]
FP4_2 = [[11814A4EFB3B9AA998DA62F676471D3999688D39D3B2B49363B70EC15597228E,12A1D8950EFE1F785FA558BB3E79130D5CD98DDA18BAE78D51ECF09554CD88C7],[0DCE8E03964E8928DAD66743E002994C68907150B21864264EA2EEC608B3428F,169C88E07ADB43D8FA7C4EFD5E37C87E4514E4797BC3A3350D8B481B6750C4DE]]
FP4add = [[1EAB82544408F57032088FDF3F91302E1AA28481A89D79AA24B52DA873F471DF,21F815F5B37B6A327287A0BF77BF3460F1E35705A7A17371AB807DCB69C15ED8],[0CEC09CF62BC4C571312BA7FB8498BFBE4069FC47F991CA1B4744473160FABDA,176722A2A7CB2273B1924643B0D8B6C49002B7526038DEE81DECB511F55FEDD4]]
FP4neg = [[16D6E8D61C49A68860DD7E4DCDAEC2FBED505E0E40099FA3FD9F9D17D05757C2,14AAE37AC099B694E72963325DB2B49CD9808C2A860DD8D6650A2EC8D9C0D102],[E2843433923CD1C7C3ACC427B90D508489D18C327F47849A2EAA52F2A396B5,23368719382722B442F5B3F04457E7AA239C827D307F2907AE3C4F0860A57E1D]]
FP4sub = [[1FAA0E91B2A8C16BFA5F7528E9FBCBAB565BBF64162C753E1BE4CC24B77AD3D6,20B585A6FA962C90AD489A7F91C5E436A6BA90A78B200911C644589FAEDAF45D],[15500EA39B363B545771972E8F3D2F5381701279305CB90FD5CC22E5F35DCDCF,0E2F31BD172B9C10B6A5537F8B61FBB8746343B57DA5FD38C173E0DA15730B2B]]
FP4conj = [[0D2A380548CD5AC6992E2CE8C94A12F48139F747D4EAC516C0FE1EE71E5D4F51,0F563D60A47D4ABA12E24804394621539509C92B8EE68BE459938D3614F3D611],[E2843433923CD1C7C3ACC427B90D508489D18C327F47849A2EAA52F2A396B5,23368719382722B442F5B3F04457E7AA239C827D307F2907AE3C4F0860A57E1D]]
FP4nconj = [[16D6E8D61C49A68860DD7E4DCDAEC2FBED505E0E40099FA3FD9F9D17D05757C2,14AAE37AC099B694E72963325DB2B49CD9808C2A860DD8D6650A2EC8D9C0D102],[231E9CA73184C47D3247FE726F3FC89FEA0083C9E2751D36246F11ABFC11105E,CA99C22CEFDE9AB715F74652A0EE464AEDD2D8E4753BB310616CF68E0F28F6]]
FP2sc = [01EAD1C94478DDE67C0C977A55BC08C44314B6B22159568BD882521A612131DB,239408F35C6D64607E4012D2E79790C674C8D38638D33EE75ADEF376121E0096]
FP4pmul = [[0EBA6449F541CAB977C76A21990A1429639BE139ABE18FC18B7A2E224A6E3AAD,0E6EFB8BE59CB0F86D4E20C26DBEEFBBDC08DF6899AB2C7ABA1719F028D3BEA9],[031FFF0596876EF2F72D39FBE77BB801111B7B88FA7D890D014D2D7F9D5E25B6,201ECF8EF6FB0428C516B37CDA50CA11D7509E14E7B1450D94A5048C25CB780D]]
FP4imul = [[00,00],[00,00]]
FP4sqr = [[079A6FAA50B5C0DF9EA772D85C313884D949E7D86028E92045C010B97C934ED4,16B17C674CB357FF446C44E1CB85FDCB2B3688C801774789E920AC6A29954AA4],[15F67BC87F04CBACD59350303FC78EB36A21D816693DE74BA07F6C804C5C700E,0FD4ABBB0D7B73DAF5782E003110A2A75B97AE2576A1308EF059BF5920CD0A4A]]
FP4mul = [[1E8AA484693A33E8D6B9FA4F23DFB84D9BBF39209B99767B6AC0D945EC5AA49B,0CB134D80C16A7B8EC7953F291B01A52D1CFE89F47171DF26022E03423E2AD09],[08AA05E00ACC08FFD70DC09C74096BEEB6AA721CACFDCD0EC3D4BFE36915CD6E,08D5DB1300D6FA088338A44D5DDAE411899B091E7B686D9C5711114792F83D54]]
FP4inv = [[0993706BDDD74F2A53A37AB64DF74943196D33B5FBA4E477A445145E0198F91C,05F7246C216D085F5D0331D7C417081E45BC28A2A5DD77B10D2B66F09DEB2DC7],[209AB5E0F689D220A2BFA739E88FBAF31FB8384A9FB1B9665E6CB35F7C187C9A,01A932747E675519548E1C01B2794B8C1CF0C050D1CB4240C355003381BE7431]]
FP4mulj = [[225402E50494E5E27B32072C1C9EDA599F12B0F0FDFFE183140DA4B56E01E768,23E936695E74A317E95DF5B8C1E0B6E634EE56A2C6EA58E934D07EA28A203954],[0D2A380548CD5AC6992E2CE8C94A12F48139F747D4EAC516C0FE1EE71E5D4F51,0F563D60A47D4ABA12E24804394621539509C92B8EE68BE459938D3614F3D611]]
BIGsc = 074091CD03AB4430DEE4D47EB5732E594C37628FF150E28DD97A95FA91BBF202
FP4pow = [[1AEC7A024C6CA9846E8CD74C4545DFA4480485CA3F862B12CF07A635C6578046,07FB91FE1A8682B9BCFE4984D4DC58D06A03E93D7213C89BFA54E786877FF1CA],[142AEB38959997B3838B99E5BE639B376A39980157C5E6D9EB8AC9B8877C61CA,23CBD54BFD5CD7128CB0AE751AB441DD168C15F770F6EF13D12E4E316B729066]]
FP4frob = [[0D2A380548CD5AC6992E2CE8C94A12F48139F747D4EAC516C0FE1EE71E5D4F51,14AAE37AC099B694E72963325DB2B49CD9808C2A860DD8D6650A2EC8D9C0D102],[1EF8037FD66249A8AF4A9F1687285E54E77C39951A54393461758ECC325A87A0,09471C52D3919200CED164CEB86D57EB18FB516308C3AC251FBEACA74F78BAEE]]
FP4_xtrA = [[206F34A843924D3F9C7F8D0BD6089395A14488D2B854021DDB38E783DCB3E4FB,047A78F76D78216AD253CC05A0F0CAEB06D05DA4F65DB6EBC1430F1AC33EA9DD],[0BE9DDD41AC9D26E513B8768B80535A3D35A651009CCC2A1500A275FDD4EE49C,03CB5CACE578B17E1E044D00597E76C05BDE594F28EEAF139F18871180DE9587]]
FP4_xtrD = [[1147207B24320CA16656C43D6095E88C45604E9ECB47C3AD82618EEA2E8D5745,1C06228168CFC3DA18B3600FEFF291146FAD4BC6F89E947BF4974DFCEE624595],[1431736017E05209460BF6A7F0557412610E34FE043F58426C2217DA671542A4,1169DF3F675B311063A41C8CD6527F33F17353D73F8BA7F5111C99463CEB5C36]]

# test 2
FP4_1 = [[05384EEB3AD0113C964982E75876E17A86E16096022530061F584E08C5C49700,199CAB1E918843E2FEFAABE932ACA3E9DC65C4AAF6291D8EF2B444FDF2F04355],[0AC91B8BFA4222EF8A6F55CDD7C36B74977617622219B0EA98D80CAF17CCF555,06C9232BC3A507A9C31F621DA502F6CE2AD4632AF7298B329BB95A0ACDAEBCC9]]
FP4_2 = [[098CB7CD6B5D6B1FFBC70AF55B32910A625D6C1A581C45A9A514D0D202C89AFF,0628EB8F76A3B8E0629631B5876F238AA97772FD66D9FC371F424EB66718B9EB],[0991EB66306D6CF7C9BE1156A3C4FE889F1D4A41F020E0D97C7F619FE8B2E6F1,22B2F26E0D48951D23746CE65A45D73754833311DF5CAFD4FC75C0887DE535BC]]
FP4add = [[0EC506B8A62D7C5C92108DDCB3A97284E93ECCB05A4175AFC46D1EDAC88D31FF,1FC596AE082BFCC36190DD9EBA1BC77485DD37A85D0319C611F693B45A08FD40],[145B06F22AAF8FE7542D67247B8869FD369361A4123A91C415576E4F007FDC46,057AF4BE6BD69B77EC8823CD684FF81510CD40E6C191D64CD9915E945CDF4B72]]
FP4neg = [[1EC8D1F02A46F01263C2284F3E81F475E7A8F4C012CF34B49F456DF628F01013,0A6475BCD38EBD6BFB10FF4D644C3206922490AB1ECB472BCBE97700FBC463BE],[1938054F6AD4DE5F6F9C5568BF356A7BD7143DF3F2DAB3D025C5AF4FD6E7B1BE,1D37FDAFA171F9A536EC4918F1F5DF2243B5F22B1DCAD98822E461F42105EA4A]]
FP4sub = [[1FACB7F93489A76B948E2328943D2660930E49D1BEFD4F1738E13935B1B0A314,1373BF8F1AE48B029C647A33AB3D805F32EE51AD8F4F2157D371F6478BD7896A],[01373025C9D4B5F7C0B1447733FE6CEBF858CD2031F8D0111C58AB0F2F1A0E64,081751991B7373DB99B6A06DE1B5F58744DB856F2CC140185DE155813E7E2E20]]
FP4conj = [[05384EEB3AD0113C964982E75876E17A86E16096022530061F584E08C5C49700,199CAB1E918843E2FEFAABE932ACA3E9DC65C4AAF6291D8EF2B444FDF2F04355],[1938054F6AD4DE5F6F9C5568BF356A7BD7143DF3F2DAB3D025C5AF4FD6E7B1BE,1D37FDAFA171F9A536EC4918F1F5DF2243B5F22B1DCAD98822E461F42105EA4A]]
FP4nconj = [[1EC8D1F02A46F01263C2284F3E81F475E7A8F4C012CF34B49F456DF628F01013,0A6475BCD38EBD6BFB10FF4D644C3206922490AB1ECB472BCBE97700FBC463BE],[0AC91B8BFA4222EF8A6F55CDD7C36B74977617622219B0EA98D80CAF17CCF555,06C9232BC3A507A9C31F621DA502F6CE2AD4632AF7298B329BB95A0ACDAEBCC9]]
FP2sc = [056DB1947367BD90578C2E25EE940F7E613629A5FDAA9D8ECEB7BC941A2F6FE1,1039FD949003B9F1E14005C85DC714FAF0826972BC81E6DA9D4B84873BDFBC4B]
FP4pmul = [[12CD24ABB058A9024CDC6D2C066BAA4B5A645F6E7E92E71F706910A09C26D734,19DC610CC341035891DE66FD9FF030864F3699E1A90B55186E73430C852BC0A9],[0E62D9E84FD5C5F9259C3CACB042D8878826AA5C30112014B2962921ACBF0154,1C6CCADA73AF9A3AFDB86F11B40E738654F8F93126085F807B12DBC954A2CB27]]
FP4imul = [[05384EEB3AD0113C964982E75876E17A86E16096022530061F584E08C5C49700,199CAB1E918843E2FEFAABE932ACA3E9DC65C4AAF6291D8EF2B444FDF2F04355],[0AC91B8BFA4222EF8A6F55CDD7C36B74977617622219B0EA98D80CAF17CCF555,06C9232BC3A507A9C31F621DA502F6CE2AD4632AF7298B329BB95A0ACDAEBCC9]]
FP4sqr = [[20CA79E0898DDD5543D457607DF59D28591ECE114988D16B98C58F1D3169F758,1AB8A2F84B23657E11A62F1CDD5C93D39298ED2B2EDB4541E3CD3D85815D69EE],[0735E020403788BAC40C96DE65C7423FF829352366A248D4CFA0CD3C8E26D869,1E374C00A12406A7B0A13E275C2A975867218E9943C47418B7E7C23DB322AE86]]
FP4mul = [[21DE05C190987D91AA65CEC2FE5DE83BB2DAB91BD539205A8F49C21522A1E809,16617484C7F259FA1456F52C9EA817C4F0750CF90E4B05AB5706A227821F0EDA],[045BA7DB7E9F5CD689358FBD27675160A9A89217E419EFC12174BB61E7DCB772,049A42258C7023BAABFEA157E58FE247943EF7C162F957DA0236D64142E6C0A5]]
FP4inv = [[1B2C9E41D29513F46E28831B31B98C3CBE7E0E313792FD98D0E6DFB7551B9366,01D72480AADE3EF1BF4E492A50963C98444846E3D912B1ABBF95B125FE5DD212],[025481AE8A3C98560763ED07EE7DB188B3D361D4728664736BBB7D4A469C2315,1C1638619F0F765DD2A0B5EED5F4424C598A28771ED76E1D7EBDC43A59B77CF4]]
FP4mulj = [[03FFF860369D1B45C74FF3B032C074A66CA1B4372AF025B7FD1EB2A44A1E388C,11923EB7BDE72A994D8EB7EB7CC66242C24A7A8D19433C1D349166B9E57BB21E],[05384EEB3AD0113C964982E75876E17A86E16096022530061F584E08C5C49700,199CAB1E918843E2FEFAABE932ACA3E9DC65C4AAF6291D8EF2B444FDF2F04355]]
BIGsc = 103A3DDAB7D97B0866923FE15F4556BB60E39E6E67F480DDCB3BB4F3FC66C16E
FP4pow = [[078E5298E2E353138C3D105F3BC312CD790A3E4A7348E85FC418D7C2F7A5CE44,19583AD7DF726F3A19F0E8565A4C1398BEFE7734CFF041FDBFC9A51A7695BB2E],[0523B7B68088DDD83927472324D4A7AE97D208F062AE544B83B31EF76855D68F,165BE4AFF761D0C8224629CE8227C4038B7DE9BD89F99ED71FC13FDA75910362]]
FP4frob = [[05384EEB3AD0113C964982E75876E17A86E16096022530061F584E08C5C49700,0A6475BCD38EBD6BFB10FF4D644C3206922490AB1ECB472BCBE97700FBC463BE],[21B5D5CB53D933FB7397AA309B8C2D361607BBB2257CF28A8A01B70CE3ABD48A,0367B5644747C3DABCE14D3EB9C9CB76C30AA2CE3C0878F2FD9D2873AE376075]]
FP4_xtrA = [[16ED1D60EE4D7B925035C33A918A368D8F8AA4E31ABD13BB9A12149220E42DBA,0C85D0058CCDDA2020A1A6A578868B70B282C410C1BBA02383984355D53B84A4],[1B96527C5150475381FD5EFE10BA515FC7FC570AA5040626F4134C92575BD326,0104395EC69A58C352E63E3C32C3422103ED5959B9BABF194E486C65472496BD]]
FP4_xtrD = [[1659DC0A13EDBADC17415191CD07DA334B5C0CE5453E715F5A14F30BA5E0C958,0B806D968D29DF070DBC82810EFC21F04857B92B577D6EDEBD026F888A318A57],[1CC8173834BBCE99D8EB427A154E1929271563E7AAD5AAAA0150E69ABDC0C313,07C8717CC35714AC3CD4572C0F37AF044E3FFF991D2325C330BCBA545FCB8105]]

# test 3
FP4_1 = [[098399B758FA40D2C13034A05CF9AACAF8CEDE8BE263762CE595678CCC5FAA68,1D3843DFA5EEAEE138B5A98E1AAC40C68678C4159D783CDD2C51A625358838DD],[0B166A9E2665A08164DC2658CB68497BA53D43C69F5F8893CE3B759AFAB803C8,18633B1126B7B9CFE59399516A4ABC4713363E98E18B03BC4239DB5E825CE87B]]
FP4_2 = [[20916C8DC5D8E2272227C7CF08EA5CC3574AFAB523E3D0FD6C4333ACB41781CC,1EE345C8C46BE170231B9DE1171A19BD721330A8DF1DAA683D7BC6238DD1CABA],[01B9EF2800E22770F4FF5152B07F4D49A8A11F656781D93E657FD7C0D5DA1357,2361856488A2267E746443EBF79A2744B8393581DDF0268E0D33C0921470CC39]]
FP4add = [[0613E569B9BC21AAE94C5138CEEB319DE18F83EAF152E26F933ADF3A91C28521,181A68CD05438F0261C59C389ACD84938A019F6867A1828AAB2FB049D4A55C84],[0CD059C62747C7F259DB77AB7BE796C54DDE632C06E161D233BB4D5BD092171F,17C39F9A4A42DEFF5FEC3206CAEC0D9B5CE51EC4AA86C58F90CFDFF1A8190DA1]]
FP4neg = [[1A7D87240C1CC07C38DB769639FF2B2575BB76CA3290EE8DD90854722254FCAB,06C8DCFBBF28526DC15601A87C4C9529E8119140777C27DD924C15D9B92C6E36],[18EAB63D3EB160CD952F84DDCB908C74C94D118F7594DC26F0624663F3FCA34B,0B9DE5CA3E5F477F147811E52CAE19A95B5416BD336960FE7C63E0A06C57BE98]]
FP4sub = [[0CF34E04F8385FFA99141807EB0823F8100E392CD37409EA37EFEFDF06FCCFAF,22561EF24699CEC00FA5B6E39A8AFCF982EFE8C2D34EF72FAD739C00966B1536],[095C7B76258379106FDCD5061AE8FC31FC9C246137DDAF5568BB9DDA24DDF071,1902D688032C94A06B3B009C09A96AF2C9875E6D188F41E8F3A3D6CB5CA0C355]]
FP4conj = [[098399B758FA40D2C13034A05CF9AACAF8CEDE8BE263762CE595678CCC5FAA68,1D3843DFA5EEAEE138B5A98E1AAC40C68678C4159D783CDD2C51A625358838DD],[18EAB63D3EB160CD952F84DDCB908C74C94D118F7594DC26F0624663F3FCA34B,0B9DE5CA3E5F477F147811E52CAE19A95B5416BD336960FE7C63E0A06C57BE98]]
FP4nconj = [[1A7D87240C1CC07C38DB769639FF2B2575BB76CA3290EE8DD90854722254FCAB,06C8DCFBBF28526DC15601A87C4C9529E8119140777C27DD924C15D9B92C6E36],[0B166A9E2665A08164DC2658CB68497BA53D43C69F5F8893CE3B759AFAB803C8,18633B1126B7B9CFE59399516A4ABC4713363E98E18B03BC4239DB5E825CE87B]]
FP2sc = [1D870AB82E7BEE050544898B8220A1AA5E2ECF934153A60C71E30E65492CB4E3,226C5556B8B9660C3EF2624F4EDE3737208E5A236E0D472259A6D4B9F631506F]
FP4pmul = [[1CF6913134407A99B4CDA8E6A6188B2C9F32D286D0143D41FC94D0199F5E1BE8,06FDFAFD8862D990D6ADC6ACA57F283C5FA79BFDFEBFA8306BBE67CD3B9DCEE4],[0AD09DAF89B89861943C4548026A9B2A1DD6AD5497D3C0D38FEE4CC732BD5069,22E3DBB64B189329062F66D3820C946F24F58714555FA0710C13A4D1E206DBD9]]
FP4imul = [[1307336EB1F481A582606940B9F35595F19DBD17C4C6EC59CB2ACF1998BF54D0,166F66E3E6C65C73775FA7E59E5FAB9C9E6732D525FC14FF9A05904B7C5BCAA7],[162CD53C4CCB4102C9B84CB196D092F74A7A878D3EBF11279C76EB35F5700790,0CC55546E8587250D11B876C3D9CA29DB7E227DBAE21A2BDC5D5FABE160529E3]]
FP4sqr = [[0AD080EF7D2312E7008F64BB848FFCBB20D26178A1179076075D1A8573BFBAF9,1FC36C753E24CCE1A464368819619AD6B891D551D039DC809AAF3DA73089B0F0],[13EF5319488751DD4EEF9B668B5EFEF00A381CF8DB2BAEE6E00D8258F92B0F60,1C500F64C6C654A9FF4AEA18E5CC22C2B1735A24B3CDEFC808A47E840AEF5D87]]
FP4mul = [[0D28DA3FBF1C271FD139B542B333843E247CFE333262E52641F78E06AC766F04,10123DBA91E174BE6195DB88AA3954F29C52B96104D74DB64A0DDC1D28CC308F],[1666A5BB2C34F06C5B6D3718E83435805E348DE43610AE1E3F76CDDEB12F5A3E,0F9A55A80E29E6B62F40C37FB3D3D41F086D0198B8BF40870260880A5ADD4F59]]
FP4inv = [[05E70FCD76FAF8F82C50281EDF1CE5185AACAB903CE3B066C71FAA92D988A368,1052B65FC2776BD687CF8B686F1CF669A1C08F840D7E20A59AB511974B392283],[047EAE880242348C796FFAB86F408B0FFBE8B387E69312F698CC7D9F3E8C54C9,03F6991F0398094158EA079614908C99FDB8F65A2A1EFE841FAC4EECEC5A7D45]]
FP4mulj = [[16B4506864C4E8007954383DF816632500915A83D2C8E9924A9F563B670FC260,2379A5AF4D1D5A514A6FBFAA35B305C2B873825F80EA8C50107550F97D14EC43],[098399B758FA40D2C13034A05CF9AACAF8CEDE8BE263762CE595678CCC5FAA68,1D3843DFA5EEAEE138B5A98E1AAC40C68678C4159D783CDD2C51A625358838DD]]
BIGsc = 0F47BF316C8925AAE4696B6F9723A7103E23E6889A51EF9C65F9453120419BE8
FP4pow = [[058377C168A07ABC91F1E5A350B58FE3DA881C6D4FE9566988CF833A8A578F8C,0B8D4C510AE50D26E700C082E1DF96F1AF63FE3ED52573FD5872E7DE0943397A],[1DBB86F6AF8000FA1E3D30AA141E6064AEA76775EF46C8E1445F8F02D207AE0C,1A6CA6AEFC3B2BF6A2D4316733F967387CCB7A8B5D23B5B32096084064E7F8AF]]
FP4frob = [[098399B758FA40D2C13034A05CF9AACAF8CEDE8BE263762CE595678CCC5FAA68,06C8DCFBBF28526DC15601A87C4C9529E8119140777C27DD924C15D9B92C6E36],[22F0086BD29662B9FC556AE33DE96D27A6246936DCA9E9F9D1915FB3A4A5C065,0926CF39AF886CC8EE5A42A8FBFA3A8EEE4D15060E83FBB5624649AA57AC0051]]
FP4_xtrA = [[0FF6918331C5E2E443B036F48CD038BF976454ACC29AAFF58C188343ACCDF488,0A92ECA7853E4A3F091097EB6F980A6B69C77E5BDF4C33597E3CD99B71F8CA3B],[1B8A42D17AADAFAC9E0521BDFD768DFE4521D5E009D4C65E502059B20724C040,1569393D8CC8B8CC728B1C18AB8E076BFCAEC9D5CC98991CA831E56CDE1A4E54]]
FP4_xtrD = [[1BCA6E5C30459290783AA6B161957D159DBEF9B6F14508D6FAD0076AC9B50D3C,09540591575E706E2D048EA27B01EF3A1A2AA27CAA3DC78100A9AD5BB42DE649],[061B077A303B91911E9C3CE18B36BBF6E6284F3004F65B53BDE6B18FFFE66FDD,051443D04A07C5ABD65AC64E8C6FEF6FFACB2CAA4CFB2DCB0FDCBD43323FE057]]

# test 4
FP4_1 = [[0AE4C11E43F27C77F53B4870BE6E898465CD04E966583A59AFCA5F841C88F2AC,0EB32AE10459CAFF3524D0A458F072D8F3DF4EEC5B80C3445D3CDBD1EEF08593],[12EE82CE7FB29F91BE94C8A7E43A43AFA30D52DDA4F893157B4E2C90EF50E398,02EDF7DC2F8DD0170FB2A9616C2B80AD4A7AD480A467D400CB2667FCF5D0146A]]
FP4_2 = [[0838AC7E4FF954B07F2D1CEF35C0AF19192F98CC5295B1DB19AF161902F6713B,1AD67334029B64F1C321430E09036B99BB1A69106DB83F0821376CF519B1B59E],[049F4C3EF58163A9E2EC9110C242C8623FD2BAC3F630DEE40ED1ACF93F092098,13CB8B8CB7C274C19F47F6850BBE6FC194F3F5E1E4629A9E69082DB0F75A1006]]
FP4add = [[131D6D9C93EBD1287468655FF42F389D7EFC9DB5B8EDEC34C979759D1F7F63E7,05887D39A1DE2EA1FE3A687BCAFB0882406F62A6B4449D91BFD68CC819ED941E],[178DCF0D7534033BA18159B8A67D0C11E2E00DA19B2971F98A1FD98A2E5A0430,16B98368E75044D8AEFA9FE677E9F06EDF6ECA6288CA6E9F342E95ADED2A2470]]
FP4neg = [[191C5FBD212484D704D062C5D88A4C6C08BD506CAE9C2A610ED35C7AD22BB467,154DF5FA60BD364FC4E6DA923E0863177AAB0669B973A1766160E02CFFC42180],[11129E0CE56461BD3B76E28EB2BE9240CB7D02786FFBD1A5434F8F6DFF63C37B,211328FF35893137EA5901D52ACD5543240F80D5708C90B9F3775401F8E492A9]]
FP4sub = [[02AC149FF3F927C7760E2B8188ADDA6B4C9D6C1D13C2887E961B496B19928171,17DDD88866D5675C6C0F38CCE6E5DD2FA74F3B3202BCE8F6FAA32ADBC3F37708],[0E4F368F8A313BE7DBA8379721F77B4D633A9819AEC7B4316C7C7F97B047C300,13238D2ADCE25CA46A765E12F765E6DC241133F4D4F99E1D20BBF64AED2AAB77]]
FP4conj = [[0AE4C11E43F27C77F53B4870BE6E898465CD04E966583A59AFCA5F841C88F2AC,0EB32AE10459CAFF3524D0A458F072D8F3DF4EEC5B80C3445D3CDBD1EEF08593],[11129E0CE56461BD3B76E28EB2BE9240CB7D02786FFBD1A5434F8F6DFF63C37B,211328FF35893137EA5901D52ACD5543240F80D5708C90B9F3775401F8E492A9]]
FP4nconj = [[191C5FBD212484D704D062C5D88A4C6C08BD506CAE9C2A610ED35C7AD22BB467,154DF5FA60BD364FC4E6DA923E0863177AAB0669B973A1766160E02CFFC42180],[12EE82CE7FB29F91BE94C8A7E43A43AFA30D52DDA4F893157B4E2C90EF50E398,02EDF7DC2F8DD0170FB2A9616C2B80AD4A7AD480A467D400CB2667FCF5D0146A]]
FP2sc = [0C48A855498301EAF2EBA68B9615069BE6FDD94F025710B2536B477464A3FD1A,0BAEFB782C6DA1AF4DEDE77F8FE2F9412926A299A127BBF0233E67E3C117BEAA]
FP4pmul = [[1D28DA45A6929BB01521CAC001E894CF617826D9302918663B6F15B39ACAF12B,171499F465686F17127891968AE4DBA82BED47945FCEEF19463548B0DB5E3E81],[23F3C8CA6792281ED7EA373E511289C07448CE9E348083880AD59FC4E087F6CD,21207A080772A49621E314E6124378BC300C9DAA6788FF4DD73FA442820EC777]]
FP4imul = [[20AE435ACBD77567DFB1D9523B4B9C8D31670EBC3308AF0D0F5F1E8C559AD804,08185FC7A7F65FAEA562C6B673D8829A6D13976EFD8DE5125918D776DE1CE9A6],[14CA67901A00DD6641B2AEC115B5F51E7A9DA342D9F55485B34CC9B3DF3E03B5,08C9E7948EA970452F17FC2444828207DF707D81ED377C02617337F6E1703D3E]]
FP4sqr = [[1C69ACC336294554467C11A33AB9A6F1A0DCC44CA34D59C7A6E99564B9F47119,1D8911C29909BD10B36C975056BE08372A08A9F00964FD874A0F87C8175F020A],[147BD9D9446041046954AF3CE2200D2D542FB6929E722880AD44C5490CB53082,1A656D66BC836BFE0AC064FB8C5120694C3B4E8FA384568D77AD333242F4F772]]
FP4mul = [[09060EBA3A6B9F29602451B86E7AEA8A1E9E8202F2764C467F439C139D4E613D,1D6E0AFF97C11E244D2AFFF5FE634B10471A8162153A981AFD13851B19D8C2DF],[078D289D97AA7704BDFFE9AE97BC1A4C949A80F5CD11F29D5FFBA06A3C098069,091CA734BD9AE4CF5050A0A0046D87A9373B275C15D01B55F47BB11C7A586C16]]
FP4inv = [[1BCFA472EDF57E539A865102DE2CE6366195D9717144C3AA7EF60240DBFE83CF,015F47C903FBE385CB16F7C27322C255C2EA016A2702A3FF55BFA4C477457CC7],[1506251C67F4561626EC05186AEB2EED94F8DE90BD0D110473F3EF794FBBE761,0C010C97EF2D1EA84DE48E842B14756E3431A76AEC69B242D1F25C493C9D3733]]
FP4mulj = [[10008AF25024CF7AAEE21F46780EC30258927E5D0090BF14B027C493F980CF2E,15DC7AAAAF406FA8CE4772095065C45CED88275E496067164674948DE520F802],[0AE4C11E43F27C77F53B4870BE6E898465CD04E966583A59AFCA5F841C88F2AC,0EB32AE10459CAFF3524D0A458F072D8F3DF4EEC5B80C3445D3CDBD1EEF08593]]
BIGsc = 20D4C45FA42AA0501E107A5EB8C510B1CA9CE3A6C86679CC3F64F257959E4657
FP4pow = [[1FAB2FAB8C5879AAC27130AFF3272A28FA3A7319123F7C96123D1D831B4E69B5,0CA308CC8EACDF6316E55E562E8BD68569E3EB0AABF41C60E1970DAB94D780DC],[11539A42BAD476C36036A6001573E9DB1A89118A081F4DF5AA50E0486823428A,03FCEE43711CAC8E8F1509FA95B38201C99D5A79CC8FF90CFD801FF2764B1B9A]]
FP4frob = [[0AE4C11E43F27C77F53B4870BE6E898465CD04E966583A59AFCA5F841C88F2AC,154DF5FA60BD364FC4E6DA923E0863177AAB0669B973A1766160E02CFFC42180],[222FDA4D7AF71B7363637A6786B2DB098C0E9EF56710D97F8330FE530CFDF2DA,843B0BB9353CE2C83A145F6960FCE1D5C96688308F5CEEA48FBCA056FA40F0]]
FP4_xtrA = [[0F037D11510EE9A2627CAD380CD7A8C773D7180C1B875AAAC99B9F02393C5253,033BA32A8C5B13F3CE4CB1914A4F31F02D85B4E0EA9D04E5137288137D747958],[0A3CA49D9716678027520A343EB50E5BC8D0D5D5492BEA7934AFFE5CFF2E3D28,193627B2E2FD713B3A3D78408B0CF2255E813B92D793138390221B3FA3BF98C9]]
FP4_xtrD = [[06A02A86AE444C645C0580C1BDDC93E8D542BA79D69CE5144754D65C80E28BC1,22BC00905627124922F607A4DD2285424A0C17526376FE8F95D024397DF6E4],[1657BE9ADEAE7ED8EC729556139BBE9C2BC006F7D36EE9F0E543626BFCA2509F,20415D1F1B9F0C2C2A25B7BE64A821C3E130F790EC53FE8F0DFA032C2E952046]]

# test 5
FP4_1 = [[210B8C2D66B190EFC6CF9D006920BEAB59D9E8252BCFF129D3B2DEC9F634AB52,0EA40C08524AD7DE558A3ED0C75D85C6853E63414CA88A462B320EC3EBB2A241],[0E2ADFCDF982BD0F403045063B30C86B87CBAB9EC2A587E2A6A4947EA3371E3F,071E88AE4D3B1E9509E17F7F202E5AD67DE0DC793B46EB40E17A2937C83DC2FB]]
FP4_2 = [[1E8755CAF777FD8EC3B0102029730AE9D775DC32896D25EBED96A0CA09C8B189,07C3B4C483AE7696AC6333AF38A883F2914AB7439E0E6FC3538AE72D9520C236],[037D4E2C84BF0D9D3ED8074258DB0AA97BD2CA1435DDE4FEFAAEC3E6F5B406C1,08564A81E27C4CE40C716E4642996379175B2E33D59E2CF0F706C23430E59F31]]
FP4add = [[1B91C11CF9128D2F907401E9FB9AF3A4C2C56F01A048B25B02ABC3951148B5C8,1667C0CCD5F94E7501ED7280000609B916891A84EAB6FA097EBCF5F180D36477],[11A82DFA7E41CAAC7F084C48940BD315039E75B2F8836CE1A153586598EB2500,0F74D3302FB76B791652EDC562C7BE4F953C0AAD10E51831D880EB6BF923622C]]
FP4neg = [[02F594ADFE65705F333C0E362DD8174514B06D30E9247390EAEADD34F87FFBC1,155D14D312CC2970A4816C65CF9B5029E94BF214C84BDA74936BAD3B030204D2],[15D6410D6B94443FB9DB66305BC80D84E6BEA9B7524EDCD817F927804B7D88D4,1CE2982D17DBE2B9F02A2BB776CA7B19F0A978DCD9AD7979DD2392C72676E418]]
FP4sub = [[028436626F399361031F8CE03FADB3C182640BF2A262CB3DE61C3DFFEC6BF9C9,06E05743CE9C6147A9270B218EB501D3F3F3ABFDAE9A1A82D7A727965691E00B],[0AAD91A174C3AF7201583DC3E255BDC20BF8E18A8CC7A2E3ABF5D097AD83177E,22C95F07CFD5D2FFF77BBC6F748DCD4DD510039B7A9D230AA9112302860CCADD]]
FP4conj = [[210B8C2D66B190EFC6CF9D006920BEAB59D9E8252BCFF129D3B2DEC9F634AB52,0EA40C08524AD7DE558A3ED0C75D85C6853E63414CA88A462B320EC3EBB2A241],[15D6410D6B94443FB9DB66305BC80D84E6BEA9B7524EDCD817F927804B7D88D4,1CE2982D17DBE2B9F02A2BB776CA7B19F0A978DCD9AD7979DD2392C72676E418]]
FP4nconj = [[02F594ADFE65705F333C0E362DD8174514B06D30E9247390EAEADD34F87FFBC1,155D14D312CC2970A4816C65CF9B5029E94BF214C84BDA74936BAD3B030204D2],[0E2ADFCDF982BD0F403045063B30C86B87CBAB9EC2A587E2A6A4947EA3371E3F,071E88AE4D3B1E9509E17F7F202E5AD67DE0DC793B46EB40E17A2937C83DC2FB]]
FP2sc = [14F4076662C6CE816F1FE1CDFC861DBB38C00933C9DC2210C2A1AC9450A8B922,0B6F37A26FD6C1C1C511C52E2ADBE4A6D7A019A15C143C46BB06AC91524E6A47]
FP4pmul = [[05CC4E347EEF8D0BDDAF4BC962EFB97E84A345AEEA1692F6345D89EBE83F3071,1D779C0597C180446967411339AF3D2806E7D1B5F2271E9C615152B83F6394F0],[2076EA844BE8A41897257C9F1E0D9B07005C5057F7F0B5D6EEF34529EEAC5C87,1B307F09709462AC5F0A6160F2BF798F862DBF6F642B1961F176439DFDEF76D2]]
FP4imul = [[182ACE236B813FD22D1B725DDF9878DC1BC8A0927062967712F2472B0CB4B80F,168F0F45E4145E2A5C1D500C867D4129A66F37AF1DADC45DEE2A7F10C015E1F1],[14AA5E5C80F3F2EE06B568E255CA4BBDB0A45924F5A1BACFDBF495FB9E27D1E9,1C7A22B934EC7A542785FDFC80B96B59F78371E4ED1BAD0385E8A4DF20F70BEC]]
FP4sqr = [[0C338EECADADE3EE31934173C6AB9C92C477EFB16377BFAB46D6D4ACF8E8F16C,198C22B16044D15B43F3C19484FCF02234D8A8CFA8F1350A22DA238D8ADD9C78],[13718F104433010C43CA42E81A45C613149348BE673FFCB1EE6B9455CA667953,113786C613B3D246BD12B083B4AB4065B48325FF2D96C73E9EC297DCEBE2419A]]
FP4mul = [[12084BD3F4BBC37044520E06E0E4D81BAFB11CACB63E734B67F22E23911CFDD5,06EB4EEA24C3341657EFFC0335EE37EB6BFE810219F43247499166D3761C764F],[13D616305B71ADCA3885358BD0203C6A9026A34427A3C506F622F7F0EA2AFA6A,1542E0BE7C9838F1D04EC1C8AB02CC5E6B266237A8B07CE0EB5221A7FC4E00E9]]
FP4inv = [[1F52F5959543C7B5622F591B3447A45B6ED4D94B9C83401C54C88CE5EB50A347,23E0FE941C3B59364F7FD8F85E404128C2CBA98DBF8130A6531BEE82AE4CDB38],[1B841ABFE7F6ED7B0CF3B7671692E52B8C6B6B0E0A6ADE0B3F817E2177611B75,06A17B44523BFE095D2A4A6A1FFEB4A0E13AF0E25BA89D8FCDF714C5986DD367]]
FP4mulj = [[070C571FAC479E7A364EC5871B026D9509EACF25875E9CA1C52A6B46DAF95B44,1549687C46BDDBA44A11C4855B5F234205AC8817FDEC7323881EBDB66B74E13A],[210B8C2D66B190EFC6CF9D006920BEAB59D9E8252BCFF129D3B2DEC9F634AB52,0EA40C08524AD7DE558A3ED0C75D85C6853E63414CA88A462B320EC3EBB2A241]]
BIGsc = 037CF5D2F06EFE5450B90FE094C30EF57A8BAEB484002D9A6198BC5776E8CE8C
FP4pow = [[0A79A8682634D9DDF3A58C55106F226F8434E46816529C304C5EBD24E0B93433,1B9D2579FADB073A538AC3886B16EA7CBB0F62F2830C266D21F70A401269BF87],[16BCDA5C7B8F04D63331DFDA0506922344473006EAC8AFC02042F38B2D467E9D,11367D51B19D74AE5D0B079654F5198AECF4BBC1B80C84778B3881E1E0334126]]
FP4frob = [[210B8C2D66B190EFC6CF9D006920BEAB59D9E8252BCFF129D3B2DEC9F634AB52,155D14D312CC2970A4816C65CF9B5029E94BF214C84BDA74936BAD3B030204D2],[16ABBF1EC99091DEAF00D2B16570FBCFE1909BA3C2D24C84763E4E659FEB27C8,210B8DAF57C6C7343DC2C6DA57A7A68698E5BE991D5F90727964FBBB48DAD7DB]]
FP4_xtrA = [[0E577EEDE060BDA6DD980D426B6DCA531A23E98FE62FF3CB32C05553562A5441,0FF2BA15B39C9796B0F3790AEEECE0E5D9AA5A49D24C3E215E3E4F6E9965FBB2],[116F816ADCCF45A14B225214AA1510FC47C4B22A9D3838AD3549E3F2B8013C6F,0C3E83D212013804A55DE94382F30BDF5CFCCE83DDB151D682DAA307FD2D393C]]
FP4_xtrD = [[121EB848AA78C4AC980B5DE0225BCB1CEDD8CA1335C0A6CD1CAC8F16E9E8E8EE,20452B7C20C622ED92EAEF298D3ABA8598E637A3249485388B13C204A22CFF09],[0BC62DD0D22179DBCA1F21BDF9AE80F9B5A04AA5D796A7BC7D17015422200EBE,1F749822AE2A0F70D0D5AF81F507F612B044DEF1A4249DC061B6EA4C7C5DC790]]

# test 6
FP4_1 = [[090E626286B65BE73BEC5941DE35BB056D57823CBED22F216D347ECB8A283992,19AC4FBD315A721E80284131FD4C8838E793B9848951164209D615836CAC3F1D],[0BDE0BD91DBF4D4E6E5965A0062ECB124F9941765E02B398107A6B96FF381827,14191A4EBCB98758C37665A488442418BEBDE82BB1878D7AD13232DC738B3506]]
FP4_2 = [[080F7B4871252B8A1BA6770E80950B488352585B9A6999A4CBDEDF39D4F8B4A2,01EFE3208E9F91922589CDD898A31F0CDF5F3DF9798C88DDAC2E38EB106D2160],[1805597FB18C6AEBAFC47A03F11E44D0FCB2442E67E5F15ADEEAA5ECBB62A9E9,118B5036D55DB6F20DEAC8C503E77B0F38CA3AA5EE1C9642AC527E30AD8A762C]]
FP4add = [[111DDDAAF7DB87715792D0505ECAC64DF0A9DA98593BC8C639135E055F20EE34,1B9C32DDBFFA03B0A5B20F0A95EFA745C6F2F77E02DD9F1FB6044E6E7D19607D],[23E36558CF4BB83A1E1DDFA3F74D0FE34C4B85A4C5E8A4F2EF651183BA9AC210,01A349AA2D003CFBD7558332F532C93788FDCD7B8AAFBF02BEE6F50E3261041F]]
FP4neg = [[1AF2BE78DE60A567BE1F51F4B8C31AEB0132D3195622359951693D33648C6D81,0A54D11E33BC8F3079E36A0499AC4DB786F69BD18BA34E78B4C7A67B820867F6],[182315024757B4008BB2459690CA0ADE1EF113DFB6F1B122AE235067EF7C8EEC,0FE8068CA85D79F6369545920EB4B1D7AFCC6D2A636CD73FED6B89227B29720D]]
FP4sub = [[FEE71A1591305D2045E2335DA0AFBCEA0529E12468957CA1559F91B52F84F0,17BC6C9CA2BAE08C5A9E735964A9692C08347B8B0FC48D645DA7DC985C3F1DBD],[17D9D334D149E3B1B8A096D2AC095C31C171529E0B1126F7F02D81A9328A1551,028DCA17E75BD066B58B9CDF845CA90985F3AD85C36AF73824DFB4ABC600BEDA]]
FP4conj = [[090E626286B65BE73BEC5941DE35BB056D57823CBED22F216D347ECB8A283992,19AC4FBD315A721E80284131FD4C8838E793B9848951164209D615836CAC3F1D],[182315024757B4008BB2459690CA0ADE1EF113DFB6F1B122AE235067EF7C8EEC,0FE8068CA85D79F6369545920EB4B1D7AFCC6D2A636CD73FED6B89227B29720D]]
FP4nconj = [[1AF2BE78DE60A567BE1F51F4B8C31AEB0132D3195622359951693D33648C6D81,0A54D11E33BC8F3079E36A0499AC4DB786F69BD18BA34E78B4C7A67B820867F6],[0BDE0BD91DBF4D4E6E5965A0062ECB124F9941765E02B398107A6B96FF381827,14191A4EBCB98758C37665A488442418BEBDE82BB1878D7AD13232DC738B3506]]
FP2sc = [16652D14000BC2E9D20263B9F352C526819B4E2E3B206ADFBDE647C9E3F42CC4,19E22491B5D5A3AC070033324A80AA91A57D9CBCC98B2AA38B463EBAEE1E75FC]
FP4pmul = [[0CF2EB2D7C72B3BFA1F4FC86C132F08C96C355CE3ED88D654189752535F31117,097A139233C61FC2373CFA8E011CED80F84B9E397070DDAF4053E2AAC4B08B01],[1034C7989CAC80D51FBFC9A9137581BB3E014C4B82EAB48F156B3BFCAA8AF104,028D51102FD064BCE0BF22000E9C44A2CB4182C00FB83685B424935596E44C72]]
FP4imul = [[0946CB113C78CA3531921312C013D12AB42B35D9A52686EC6368BDFAC41478C7,145A2C1FC77F36AB92A644562D94274B3A439F946FB84119F5553794533F4658],[17551A622FA581392DB350E987F1216B1F73F1F9C1191D3D93C65DF40D63D1B0,1C7B41D2E571A21DDD38A5C97B63089ADCA0DE2E4DBCF9F098BF8650644EBAF8]]
FP4sqr = [[206C4F5C3CB573B9F6CD1B56DDA27F5E3DA01ED638AB0C7C8AA88F668215F1C2,0CEAFD0F43AD7F0404703DFB19034A4574EA5CE76784011810078DE45D42124E],[02EF8C1F67E1291741D560EAC628C81BD5647F171831EE6440707087E46AA0AB,106206DD010894BF38606F4DE13D53378C002E142A5080EE32AE0C5AC9D2BF6B]]
FP4mul = [[A820A3C81A21781815FB401CCB87DF5F2B517CA54C6E7F5C318E3F11EDC1DA,057D6F2E2B72BD54382D0EE32160B7274097F941592ED25049D35C30056CE2E2],[04923EE72EFC0189E529E378C1046D58D20EAC865BFF9C34E612CD57C07341F8,10FF636213DF5A1FF16D14009DA86F8F1A9B2B8282D97C8EA3BB4CE31997E77B]]
FP4inv = [[126BFCDB1A379D562D5B0DC8200DC1B3732E65E36F55B04BCACD577B8A25B7B0,04CDB0DD20D5FA5346E87679AF913CE6BFDF659359C0DD9628DFA0A303F8E368],[19563A21A42F7E7C666B480997BC2A4076D4B0C67B9347D09C3C4A2603E65FF7,03418111065E0E57A26ACFB84B21415F17DA28DDE6924B7A745F11B26962149D]]
FP4mulj = [[1BC61265C61CC744A4EEAB3214E37CE9FF65AEA0C16F8AD7FDE5F4B97A618A34,1FF72627DA78D4A731CFCB448E72EF2B0E5729A20F8A4112E1AC9E7372C34D2D],[090E626286B65BE73BEC5941DE35BB056D57823CBED22F216D347ECB8A283992,19AC4FBD315A721E80284131FD4C8838E793B9848951164209D615836CAC3F1D]]
BIGsc = 131DD8F3B95A8ED5EB9CCBB5BEBE386349ADD38F391FEFDCFB03D2E31F18E6BD
FP4pow = [[0442527E22761154D706DF60CFA733D8446429CAC45DAF6106E186D8F81C6856,0C256D564A0BEFC18FB8EF8FC4876B2FB5D0750F5375D48245D61454197896B5],[0494BB196D6ACF418EE0E33ACD1A39E17A1BF9471C8616D0573E0D5F0F45E719,0F2903E0681E96A2BDE34ABEE6E08E15319C1BBCC590F6C83534E2AB8129CD03]]
FP4frob = [[090E626286B65BE73BEC5941DE35BB056D57823CBED22F216D347ECB8A283992,0A54D11E33BC8F3079E36A0499AC4DB786F69BD18BA34E78B4C7A67B820867F6],[226AC1208BFF1D43DF01B01FA3A8DDCB3299703C96C9360999CB72FF57086047,052A135A5225D7A28952F8A2D71B74EC81D09CAB357F8CA0446562EA664F8BF9]]
FP4_xtrA = [[01503E8240B7AC4085E77955ADD14D0AA88DDEC59535E8A5EB5E50075DFB5CDF,0FAA5FA52B55116C104B34723B8532CCD3B42989A07E990DBD1E1037A2DBA85A],[1DD6BCF4E985F95AC29B6165B8FB1C02B4714810EB6CD153E3CF387D775363D7,1C96159EC3325A641BEF815F737550AF72FEC81B3072DFC9DE5E669EB166EE4F]]
FP4_xtrD = [[0E4F8A972F48BBEB7EF468D32137095362F11A5CBB06AE39B03F91CF6DC57E9E,21949F4BAB269D64F83712044C5BE5B482D7948A7ECA9E097996DADB6152E23A],[1AABA3D1A35FC3B41E882C2AD2865E4074970203D4375594616547B5E2DAD0F9,14931A9F1564A221C5418F605ACCC5789AF1A915786B37291674B614C2348264]]

# test 7
FP4_1 = [[15271DFCE0D96A51181D024F46F3F8B172B58BF1AEBFED623D166CE2733E6B12,15407BE56B59B28D2ECDB7F2A7AD34FFB1F25049B51095F2C82235F411580201],[2103B4CA2FAA2C5D9E0D5B69A7477FA4DDFA7D2265341A52BB977DD462AEDC3D,16D25D729197A7A26FEEB9621C2F4B4C688E3AA454D7226620AEB5F929DB37A8]]
FP4_2 = [[237A96F88C7E314C5A94BE3A977651E28EFCCD6E938454C15AAB01E4EF7CB531,21B13A85066457E83DBED2A183D16E35153B2BA02ACC3F0F4F256FDC512E6837],[0112F0015FCBD569B195E5487B774765D7A95A6710574076A22E1110A2364E5D,1B6D00240136157A96469536195DCB2B1C1092EB14A40FEE55FA29F8C9295A14]]
FP4add = [[14A0941A08409A4E78A61553477174A39328040A2D4FDD68D923B2C874067930,12F0958F0CA709267280DF5D9485CD4458A32693CAE8704758A9E9D173D1C325],[2216A4CB8F7601C74FA340B222BEC70AB5A3D789758B5AC95DC58EE504E52A9A,0E3E3CBB2DB6BBCE0C29A3619E944087161478395486CD99B80B23F3044FEAA9]]
FP4neg = [[0EDA02DE843D96FDE1EEA8E75004DD3EFBD4C9646634775881874F1C7B763C01,0EC0A4F5F9BD4EC1CB3DF343EF4BA0F0BC98050C5FE3CEC7F67B860ADD5CA512],[02FD6C11356CD4F15BFE4FCCEFB1564B908FD833AFC04A6803063E2A8C05CAD6,0D2EC368D37F59AC8A1CF1D47AC98AA405FC1AB1C01D42549DEF0605C4D96F6B]]
FP4sub = [[15ADA7DFB9723A53B793EF4B46767CBF524313D9302FFD5BA10926FC72765CF4,1790623BCA0C5BF3EB1A9087BAD49CBB0B4179FF9F38BB9E379A8216AEDE40DD],[1FF0C4C8CFDE56F3EC7776212BD0383F065122BB54DCD9DC19696CC3C0788DE0,1F667E29F5789376D3B3CF6299CA5611BB07FD0F55277732895247FF4F6684A7]]
FP4conj = [[15271DFCE0D96A51181D024F46F3F8B172B58BF1AEBFED623D166CE2733E6B12,15407BE56B59B28D2ECDB7F2A7AD34FFB1F25049B51095F2C82235F411580201],[02FD6C11356CD4F15BFE4FCCEFB1564B908FD833AFC04A6803063E2A8C05CAD6,0D2EC368D37F59AC8A1CF1D47AC98AA405FC1AB1C01D42549DEF0605C4D96F6B]]
FP4nconj = [[0EDA02DE843D96FDE1EEA8E75004DD3EFBD4C9646634775881874F1C7B763C01,0EC0A4F5F9BD4EC1CB3DF343EF4BA0F0BC98050C5FE3CEC7F67B860ADD5CA512],[2103B4CA2FAA2C5D9E0D5B69A7477FA4DDFA7D2265341A52BB977DD462AEDC3D,16D25D729197A7A26FEEB9621C2F4B4C688E3AA454D7226620AEB5F929DB37A8]]
FP2sc = [1BF71999971B58A511B6F0E3D71A66D2ECCA976F474BDA4AB95DF11AD7395F13,13526BDC7509D5B380FBBF206ACB7CF3F44AB46E3F8A7A058D9C751D89EDD66A]
FP4pmul = [[1344E5067588494C9976BB6290A735A4ED3098DCFEBB09E25648DAF265E94DAF,128003E755998E757E2E07ECB7A9878974C07D70325DFD90C9FF4BA224F20773],[1E67E287D000A4B96D4113BDF6ECD7DD9D26895684CB409165AA02174F06115E,1B94945DF04968A8A586E5E8D8A1466638ACBA9D0B81AA09E6CC3301F604D686]]
FP4imul = [[12E7515B15D379F9A28B0C37E4CD525764A247A7D9A2621D32AD5951E7588D33,137F84CE54D52B622AAF4E0C2924BC2CE00EE1B7FF86558074F40FBB9BF216CD],[12109874248A03A6D215CC68F8D0D02B0B2B441FF672A64AAC7846FFA691E60F,1CEACE1D3A48E9E1B17556A8E43141F927B65FD7BE2DA034883F0FDA2F0558B7]]
FP4sqr = [[14BC0969E8EBC76554EF2232257B7448BD5B474BB0520792C09F2433423DA00F,0D70EDB9D5269D3B23C4169B57FF0AE62B7B7DC2C74A0F9943D90E4FD914E628],[0B3E238710889A84DB654577113563390035FF711A16222CACA28A734FBEFE41,05940DAAF2A23A5CA1FE84CD310767E0271C8733F28AFBB8DB8D1CFA4747D0AF]]
FP4mul = [[13A2D7CF7331F8747271A923098B42BE073C88B476161824A1EF4DE7A380FC4C,0B451A1DF3FEE5D39DDD893FC6C243AFC18DD13BE2EFF7EEC2933F451C251777],[12E70C963CB217A8AFB831138C71A946BF32EB2C91D9733819D8705A021A7AAF,13A29D9EAF6AF56C7F2A119FE1E7845532EE1B8421E74C102BB8179B9E350393]]
FP4inv = [[1435AF68F98427C532B805486EA37640BEBB780E9B994A817D7DC695EF60FC3F,1F1DC3880D56B65399141FF8498BDC730605CDF21F7C70504A5CA5574997243C],[0D38036B43B81444E5B81840C1C13E654C74CE839B522297626F806794EA1D0B,228580D25ECC0B594FD53B103F404CC38319EA01F4F79F2F71F9F6501C2C2B2F]]
FP4mulj = [[0A3157579E1284BB2E1EA2078B183458756C427E105CF7EC9AE8C7DB38D3A495,13D4F1615C2AD2B113F069952C7DF500D7FE6270A516D7FE1DA877CE9DD56CD2],[15271DFCE0D96A51181D024F46F3F8B172B58BF1AEBFED623D166CE2733E6B12,15407BE56B59B28D2ECDB7F2A7AD34FFB1F25049B51095F2C82235F411580201]]
BIGsc = 193659AA62A4E0E2B9EB3201B78A2204E46CD6B35A4EDDEDDC383E22C42BB75B
FP4pow = [[07954848DAC347F2311BD173C375D670882079BB768260489DA68242E1A92608,187A892F27DE6E2CAAAEA69691402713EB054E7BB6CF6D403BA72B7EDF68F202],[22AC4E0D29D7F87A4ABA6DD9775621605EC76A54B189444E7009FF3DE46615B3,02E085C74D9A056B6317B1DC42CC1359D56A5CAA1E7E219D3FBF2AFA605F0A90]]
FP4frob = [[15271DFCE0D96A51181D024F46F3F8B172B58BF1AEBFED623D166CE2733E6B12,0EC0A4F5F9BD4EC1CB3DF343EF4BA0F0BC98050C5FE3CEC7F67B860ADD5CA512],[16457A06B974538645B6CC99BCBF47540D98C2AAB9B2D202B5FBE5032376ED26,12DBB5DAB2A41E2E789D6D1C74E1883DF049B64F0167408B91C119DDC54BC381]]
FP4_xtrA = [[161812EF4367D22950D0EA89EB76A28D0180023987BA622A44BD81F0EB39F921,1D7316C27FF8C24F9863EB45B232BCB1AC17A58B69D392ADB5F9591CDAF31BC7],[177BFAFBFBFB6C40EAE190ACB54747FB8533E3D1CB8836113066C0E872D9E3BD,0955EF5F440A5274588D59202782FCFCC1DA192A9F75419125805111B9083439]]
FP4_xtrD = [[0E6EEE4B8C4FF4121EC0C8CA2E8C58D6467A84BE67C691890510066D4A7570FE,06F116CA638A396FC03451EC9F9D76D736213285721D486E72325E66A5198939],[05434B64A5AEF0A22368A5DD31D2B6A1DF164F09BA958D5CA6960E1E37B36895,0F37A7B4B0BA885287D04C5AD26D288889AEA7268744DBCA5E4CCCEDAC4998EC]]

# test 8
FP4_1 = [[21D3775B17EB06B695BD265A2F29F479F10AD8A63E1BAFFA45ACC0D5BFA725DD,23D81864846C730249ADA5DA951226B1B19D4B24964C6AD4BC06B94452CB7A29],[1ACE538090388717D15C1B0BE6889AA716BE8D20C962DBCE5756F40536FD16EA,1D1E252A2F76154DFE7E7EFBB15446159C21DBF80B85CA9015BD604638C40106]]
FP4_2 = [[188C7CB9ECA2364AB120E9A88A873778249159DD4B7E86C6D4DFD389939A6DE1,044943E69C266B302B0CE8950FFAF571E61CBB0D8A96D360CB8A5F4F53997C36],[0F936B6C110B0A491BB00710FEA781AD6158745DE690E64CDB4B0EBAFB0588BC,0FD5900D0C01A867A438A7C45CD11303BCC52C230F100A0797D82A89524BEB35]]
FP4add = [[165ED3399F763BB24CD264CC22B85601A711DD2D74A5D2065BEED860648CECAB,04203B6FBB7BDCE37AAEE3390E144633292FB0DC0BEED97AC8F35C94B7B04F4C],[06609E113C2C9011F30076E64E374664098CAC289AFF5D60740446C1434DF893,08F2945BD660BC66A8AB7B89772C8328EA5CB2C505A16FDCEEF7CED09C5B4528]]
FP4neg = [[022DA9804D2BFA98644E84DC67CEE1767D7F7CAFD6D8B4C078F0FB292F0D8136,290876E0AA8E4CB05E055C01E6AF3EBCED0A317EA7F9E6029702BA9BE92CEA],[0932CD5AD4DE7A3728AF902AB0703B4957CBC8354B9188EC6746C7F9B7B79029,06E2FBB135A0EC00FB8D2C3AE5A48FDAD268795E096E9A2AA8E05BB8B5F0A60D]]
FP4sub = [[0946FAA12B48D06BE49C3CB1A4A2BD01CC797EC8F29D293370CCED4C2C0CB7FC,1F8ED47DE84607D21EA0BD458517313FCB8090170BB59773F07C59F4FF31FDF3],[0B3AE8147F2D7CCEB5AC13FAE7E118F9B56618C2E2D1F5817C0BE54A3BF78E2E,0D48951D23746CE65A45D73754833311DF5CAFD4FC75C0887DE535BCE67815D1]]
FP4conj = [[21D3775B17EB06B695BD265A2F29F479F10AD8A63E1BAFFA45ACC0D5BFA725DD,23D81864846C730249ADA5DA951226B1B19D4B24964C6AD4BC06B94452CB7A29],[0932CD5AD4DE7A3728AF902AB0703B4957CBC8354B9188EC6746C7F9B7B79029,06E2FBB135A0EC00FB8D2C3AE5A48FDAD268795E096E9A2AA8E05BB8B5F0A60D]]
FP4nconj = [[022DA9804D2BFA98644E84DC67CEE1767D7F7CAFD6D8B4C078F0FB292F0D8136,290876E0AA8E4CB05E055C01E6AF3EBCED0A317EA7F9E6029702BA9BE92CEA],[1ACE538090388717D15C1B0BE6889AA716BE8D20C962DBCE5756F40536FD16EA,1D1E252A2F76154DFE7E7EFBB15446159C21DBF80B85CA9015BD604638C40106]]
FP2sc = [02A48366BFB03472EFF10FC6DC0B342B8F814EE94CE7417AFA76E81A9698AB1A,06676D03D9E9CB2510FD5679B1A2F7F2C8E7CB2DA4921EB7BD9A587BCD4071AE]
FP4pmul = [[1EC88B8FDA2305F4D6CD90C2EBC487F1380A94BF47770D35B6EAA1D15775C1B1,220B38EE3A41E2F379856903F928FE664B43C8CC315C9F17D94A55F9A279D126],[0280575615B9120435FE6AE4C2F66675ECB25DD7EE8F03BE1AB7701604FA6601,2188F08D9BB53035EFF81172A9A449CD4D390E6159DC208B0EF357C4E299D311]]
FP4imul = [[14C17E5948E327243BE6092FC050ABB3000DEC87350773777006DDDEA5561E99,22E1E59B406D1D36277985B289AA0B39440F0DFB9E5C8F70AC7CA8E4AB546CAD],[079EA43AF818AB1BD74A65425AE00CDF7682313718EE0AFEAA4C0029D7645D07,17CD5FDE52C78E97133B20D0E671BCE51C395919E7E2924ADF18F5F0E3D4C3CB]]
FP4sqr = [[0E0FBECA1483918AC6375FB814C45575D1C2362BEA944149C050C3A9F6D8EA3A,0AB8B7C75DE270DCF7E63017557E3932882E61ED0D0BA4E266F4790526916234],[1F44C0A8719F119C5A8440F5C66EA2D80389D593FA00D650D794A6AB52AACD46,02C3CD23DFB50AFF28028BBDFC3DAE1310CC61CF248D26B8B7B31648AADEDE3F]]
FP4mul = [[2025A024FF232916B4EC68B7FA7DCCC7F52D7227AEDD669737A37FEEB01357B4,23B0F18B10BD98E466D6C33E6AAE291B851587D0AE5EAE81519CE699FA67FAB3],[1240DCA46DA114A555E7380811574805CC5188933C16E473FB00F71C7E6617F0,16D6C5FADED8540D258818FA4775D6A0E873C4DC1385CC8CC6D152AB74502DCE]]
FP4inv = [[155E060D1024F53E0E9CEDC252B48803F3164DB2E43767281C7B65AB6C20E854,1DE5236022FB0A511E9403C86CCC5DB67CCFB44A9F4DF9B530C94F4A7807CC30],[0A57B066B8F829DE85F47B1FB5F8F1013CFC3530FAC1482581673EACD9B26FD0,1F50E1B9761E00AB9441C5F80A08A72A8F17AA61C613398963B95F19C48C6AF3]]
FP4mulj = [[21B14F31C5D97318CCE94746CC2D2A81E927067ED2D175F900374FBDECEDBCF7,13EB57CF5A979B16D5CEEED100E40ACC445613C2BFF441A3AE76984C810C70DD],[21D3775B17EB06B695BD265A2F29F479F10AD8A63E1BAFFA45ACC0D5BFA725DD,23D81864846C730249ADA5DA951226B1B19D4B24964C6AD4BC06B94452CB7A29]]
BIGsc = 0C6FC8DE35942B4ECBC791D9AF1757037E283A2FBF5B1E6CCF239DE058394B52
FP4pow = [[0CCBA166DF8C07E30BB35B77A25C8AB0E298BEE1070F601079EEAA8F145665E0,18410DA5278D8AEE172EA27AB93A1CB38707FC8D0F68490F1F0A8D4E7AF8DF54],[1871885A294DE2903500D4145085E7150C235A4D4B994B2DC9DE2A419901B657,10ADDB3DC51787207092AE84B412686CDB6A239EF4A66844CBCFA7BA86DE99CF]]
FP4frob = [[21D3775B17EB06B695BD265A2F29F479F10AD8A63E1BAFFA45ACC0D5BFA725DD,290876E0AA8E4CB05E055C01E6AF3EBCED0A317EA7F9E6029702BA9BE92CEA],[11043FC60AB988822592A1C2FAD0ECFB5914E959D4D05ABBFED3B7102C1DC14A,07CD38D0B649383D01A73ACC50C952D47B16F4F248A859C8F773A04CD47FFE73]]
FP4_xtrA = [[1B6FEC7D30A73550A4DA1A8EFE6C614B8E80C052AD1949ED352EFAC431A1074F,1462819E0F99EB43468E39A657B3C1E87EB3CCD80E46FAC4F66605E3A600C80A],[1D216AEFF7FA302F03A7DCD67DF262CC6E4F3C64CF5C78B05D733F0785D9728A,1884DB96462654D57CA3C82262B3F2158488D1F40D0E1C99637BB878D72D8555]]
FP4_xtrD = [[126B11CAAEDB86BB8ED46970E4621862CCC12F8B9845AACAB232B9FC54F3ECA6,0B0AC8B51F378D7658A23ACF594B97B0020876500A5B98AE6C227E7A5E63BC08],[0CDF25F2C7E21D2E092520A0658E2C4553F2452962DDC478090716B7E33BACF4,18FEF69CD98A344C2AF3DE7EC7ED644DDA85C46926A4571E24901AD62DB23938]]

# test 9
FP4_1 = [[76D6692108CAF28CA2881748E60D0C3D208196E4ECBAEF258AA004B6264E23,01CC7022269E4511036D99E75423CCF36E4A958B5569BCEE393D5E4089649683],[1B857A6F7B851CFC6A8A3F6D36A6A340C577A07581AC1E9FFBE6107A7F23133C,22D0C6C559A193668F511BA3780D091B41F8E3BF760AE804F5951D3BEDF35F9E]]
FP4_2 = [[014B47F4F7F124D72DBB4906714F7209F405516A66C797C46CB80FFF5B29B537,2051FC83822A84EF0899E0C93BDD1A13DE6E022805F14B5094012A956B587081],[1C6BC32F5427ED520F5EE0DBCFE51582D8A3DFCBD6875D83543C55D94AB8CE54,0C2D6243CE418EB98906A6BE45259EC277E911E7E5530963F34CA204F42DA9C7]]
FP4add = [[01C21E5E18F9EFC9BA5DD11DBA357F163125D3014BB452B39242B0041150035A,221E6CA5A8C8CA000C077AB09000E7074CB897B35B5B083ECD3E88D5F4BD0704],[13F01CC36A9608FF7FDD75126F92E2D32F912AEB433F17689184AA54DB273A7D,0AFD082DC2CC20D11E4C172B2639D1ED4B57A05146698CAE2A440341F36C6252]]
FP4neg = [[238A4A72440E365C6D69231F4E12C8E43169D3BF3007A9CB99131BFA388E58F0,2234B0B93E78BC3DF69E114F42D508FD003FBFCABF8AA7CC85605DBE65501090],[087BA66BE991E4528F816BC9605232AFA912B4E09348461AC2B7AB846F9193D7,01305A160B756DE86ABA8F931EEBCCD52C9171969EE97CB5C9089EC300C14775]]
FP4sub = [[232CAF4F8E2EA76A58F2EA476E8F70F2B7A58582931987E577704C0449B13FFF,057B947A098AC170F4DF6454AF3F88CFFE66E8B9646CD65863D9EFAA0CC0CD15],[231AD81B8C7430F9553709C7FDBA63AE5B5E15FFC01925D7664776A0231EEBFB,16A364818B6004AD064A74E532E76A58CA0FD1D790B7DEA102487B36F9C5B5D7]]
FP4conj = [[76D6692108CAF28CA2881748E60D0C3D208196E4ECBAEF258AA004B6264E23,01CC7022269E4511036D99E75423CCF36E4A958B5569BCEE393D5E4089649683],[087BA66BE991E4528F816BC9605232AFA912B4E09348461AC2B7AB846F9193D7,01305A160B756DE86ABA8F931EEBCCD52C9171969EE97CB5C9089EC300C14775]]
FP4nconj = [[238A4A72440E365C6D69231F4E12C8E43169D3BF3007A9CB99131BFA388E58F0,2234B0B93E78BC3DF69E114F42D508FD003FBFCABF8AA7CC85605DBE65501090],[1B857A6F7B851CFC6A8A3F6D36A6A340C577A07581AC1E9FFBE6107A7F23133C,22D0C6C559A193668F511BA3780D091B41F8E3BF760AE804F5951D3BEDF35F9E]]
FP2sc = [19BCBC0EC87B129CD1FDFD2E0013EE53F7D1A3C6E20EF7EA03A48F472F9EDB34,0549BC0D2B25A5618A0C9217F5EC6770E3CA142C34B741F883B20ED6A4C6AABB]
FP4pmul = [[17598F37B122999884AFF5B0EE5764B72109008F1CD925CABAD11B7149C65567,203455FB3E358C01DB0ACA6106B00B67FEBBA27ED91E135987EC62AB49C43896],[0940DDFF92BD95F7F6DBC61F7DAEC537469B48A732401AE447EEB5F1191B1086,235C809038CA6516C329ED4C43E19F690C286A05AAB9CE907D7EDDC3A92ED3FA]]
FP4imul = [[03B6B34908465794651440BA47306861E9040CB72765D7792C550025B1327118,0E63811134F228881B6CCF3AA11E679B7254AC5AAB4DE771C9EAF2044B24B418],[04250E577D9EE009780BF8222B601663947F03A78FA6989F677E1BDA60DCAF6E,1A7E502B096B920BA4372E9D9F9A6F4709FEC8A11DA87F0C7658C5E6E8AA6B6B]]
FP4sqr = [[223A8EE7C0A683A863FCD8FCE0AF05C1C36350AC6CB54E4E3EA585E57CBAAA88,0C6AD2E01EF5E907E96A4F8C85E6A38530583E968349674965E9F9FA860CE764],[1C08719ADC44920B5720EF535E569DF07215B98BE6C756C973D9EC0BB17AC578,11B2E45ADC9EB8E32FEF0B2EAB997FC1643B64943BF90317D63E4B0629BD9E86]]
FP4mul = [[03CD0995C700853A469AC0ED84F390610E44459CC83FDAF5238ED9B08F6181A7,0C2E06572D4A3A9E58693975A17F202495DEC868CF626B830C9569745CFBA7E9],[1C529782E044744DF3AC5B8DC66C8DCCCCD43E4D87DED350B9497B7CC8B45529,214C86F3172C1429CF5C8AA8404AB1695AE83FF34F2B650C0288367F2B4ABE99]]
FP4inv = [[04C73A0F3982F75C83CBF7465C7B0B210B86A827151C9414240B8F92C96F0048,0E6D50F8A8B5E571E06850123CA3AEFC119CE7D3C46EAA6D53A0058BEFBABD2D],[1F207A7D578542FB6D676BF2057DEF8A2650E87F4A8FAF8755B4022AFFBCACE0,1704552DB1D3B3EC463102BF7DD9C9F1FCAB434F60FEDAF5E6ED498AA4D768E8]]
FP4mulj = [[1CB5D48586FA8AE4D544CF0055927015F209120C20959B55C4EEAF3D7FE45AB1,1A552059700FAF13FFCFAFDA17BAD66B98E62EDEE2C2A1EA32DD71B77E61CBC7],[76D6692108CAF28CA2881748E60D0C3D208196E4ECBAEF258AA004B6264E23,01CC7022269E4511036D99E75423CCF36E4A958B5569BCEE393D5E4089649683]]
BIGsc = 228E16F622243B2AE03AB1247D8CF6AF63934A7507BD6A0C3DADCCAEE8549B5A
FP4pow = [[235459E730E34C9D7321378D84206899528F5A3EF61C8FAB1DCD1B009723B50F,0C8C5447A296F8DAEDDA2CEFE39B528505AA8C6B51933A145EA799EB6569BF6F],[212B6DE9268547A5B8F8EB1FDA0E1465672DF71799D0C885821BAE1BC78B79D7,1C606E14477F3607AF83E7D69B23612621D4C805EFA776C1BBA098DFBA65E72F]]
FP4frob = [[76D6692108CAF28CA2881748E60D0C3D208196E4ECBAEF258AA004B6264E23,2234B0B93E78BC3DF69E114F42D508FD003FBFCABF8AA7CC85605DBE65501090],[229C0BE477654089D81E7D41FD8DB9E803E8A1822AA21C1E18F892AF6E55CE1E,22EB259DB79EB3FD939A69797C951C439ECD1257BC096FADC86EA6C93904386D]]
FP4_xtrA = [[14D6A2F798758A6559E592CAD4A518C3482F8A69E0F5E355F7A28F735E631411,227B1011C38B1F5B11A1CBF46AAEFC06D07A50DB9CD4613742D5FADEAF5AD85B],[2212F59F145F99A6F0136B2AD4B552393E67B3A975B93AA297135EB4D00FDCE2,0B052368AD108C643CB5EA52EE8E7881C7F36317BE82D20A50F85CC469AE1717]]
FP4_xtrD = [[214CE2157E94EDC34AB7C8CE4EE2EBA949224D7EA2DBD86FF39045DC106E0E42,08D1F29BD1B95EE5E28F1BBDDD9F099E53C3137FD875ED6CF36F3D797343BA5E],[0B1124C30920C966381E17C09DB238911FF04FCAC036CA93EE6A9502D2579DCA,0F52302EC5B3DD125A79EC086DC1E6170B188166FE2609AC442D0D80283B0F9C]]

# test 10
FP4_1 = [[1E3272B9FA8F35430E6ABABE7247F24B1B1F35447C016CC676C3569CD57C72FF,1D3BD0FFE131FC556C7BEC107EAC229AF8884DE9251F08437BCCE7F99F32EA5B],[0E0CBDD0A58A53A68AD2D2044756962BB6327EDCEAD999C70E61433D39002075,1D1CDC3FAC237C4408226F59F866AE4729A6B06B6D19474171E52A9BE5321BC7]]
FP4_2 = [[08D9EBBEF325C81A1F424F6C9F17061FFE4CAD1BAB097A093D927EF54FE4BA5E,104CDEDBFCCBBC6F87FB76F1867D09D4914F61AB495343D467B6FE88AFF1BDD8],[148F250D00BFCF83F8A253ECD5958D92E44AA98188D5BB029D78B32B95DF2187,0FC9BC5F20812035F23550196034D74B8C56D8C85CBCF60991A26678D1A4B571]]
FP4add = [[030B3D9D889DFC0E33A15EF47A66227AAAE18D0A12168214F5B8199336AC864A,09878F0078E6B775FA6BB7CB6E30567F1B4D5A3E597DE75D24E62A8360700120],[229BE2DDA64A232A837525F11CEC23BE9A7D285E73AF54C9ABD9F668CEDF41FC,08E577C3678D9B2B004C143CC1A2AFA2477333DDB4E1D89044E9D515C8222A25]]
FP4neg = [[05CEAE216A87CC0BEBA0F07824B0E3A5536B201198F2F7F447DA656219383414,06C54FDB83E504F98D8FBF26184CB3557602076CEFD55C7742D0D4054F81BCB8],[15F4630ABF8CADA86F38D9324FA23FC4B857D6792A1ACAF3B03C78C1B5B4869E,06E4449BB8F3850AF1E93BDC9E9227A944E3A4EAA7DB1D794CB8916309828B4C]]
FP4sub = [[155886FB07696D28EF286B51D330EC2B1CD28828D0F7F2BD3930D7A78597B8A1,0CEEF223E4663FE5E480751EF82F18C66738EC3DDBCBC46F1415E970EF412C83],[1D7EB99F09E185718C3C294E08B9DE8940722AB176F8437F2F864C1091D5A601,0D531FE08BA25C0E15ED1F409831D6FB9D4FD7A3105C5137E042C423138D6656]]
FP4conj = [[1E3272B9FA8F35430E6ABABE7247F24B1B1F35447C016CC676C3569CD57C72FF,1D3BD0FFE131FC556C7BEC107EAC229AF8884DE9251F08437BCCE7F99F32EA5B],[15F4630ABF8CADA86F38D9324FA23FC4B857D6792A1ACAF3B03C78C1B5B4869E,06E4449BB8F3850AF1E93BDC9E9227A944E3A4EAA7DB1D794CB8916309828B4C]]
FP4nconj = [[05CEAE216A87CC0BEBA0F07824B0E3A5536B201198F2F7F447DA656219383414,06C54FDB83E504F98D8FBF26184CB3557602076CEFD55C7742D0D4054F81BCB8],[0E0CBDD0A58A53A68AD2D2044756962BB6327EDCEAD999C70E61433D39002075,1D1CDC3FAC237C4408226F59F866AE4729A6B06B6D19474171E52A9BE5321BC7]]
FP2sc = [0E8C57D7FAF14BB6EAA098AB7A39B0ECF7945ECB4454CBBA20311BA489589DD3,06C1C5537C510D2510D6B53F649D437FEA31B96C146ABE59532BD9AB04C83C6D]
FP4pmul = [[0DFDC3F061E1942A0448EF06EFC742BE94119836B278F14FC4C70EFE91ADEB58,170592D72CAE69477AD1249053D1225F20A2DE29B6B08C9A92E8283B5E25762F],[03A872E99A5BE97A0D4DE67C4FADB43690FF8C80989FC67415F89DC792BFED64,20EF6E0A5241BEB242EF95ED673835CF82CB7437FF88C921929A84C46FDD430A]]
FP4imul = [[13BE228A0B67D632AB6EE233E3B9AB10EE508A0DC95E11DEF68DE78AFA6F7972,0B1272FF2720D5D7FA099E16533F5DDFB70267D7BB68894423E403CE11D9ABAE],[126F49C3A297ECEDF3466082BD20C5B81C2775C202C939CF4592292A34E32EE4,09FBD83D499E553B72E43BAB9ACE46ED7113DE6C4334C031CABE5B8287D2687A]]
FP4sqr = [[232F766EE6D1BFE56BDE5D446EB05CE65F9D630AE5AF74F3DC3DB75B2682B601,08A23F3861B4FF2930B077526075A8F21A8EDB6C376035DC693B2F85795FF159],[23D99E3E2ADAE5884160516EFC548AEFFD065DA2258D078C10849735B0B11F56,0F29973F9171562599623C76B506C9DBFD3AFC26A80792B74A91322EC38761F6]]
FP4mul = [[0CB6BEA22DC944E292FDAF7E674AA262D4AB0ADB53A677DF8955506F49E624ED,23EE8442891795E9E5387F86BE0FD355CDB7A138D7FE90DB528487D22DF40822],[0B522876F973321EF8ED17172284FBF5043CFAF4CBA11F71F69857D733643F3B,2331234985D9471B2768DCD3020BD14B64C79DA1F6972506809FA15C566046C1]]
FP4inv = [[0F34E27EBE38097AB51E0BE00112D73B57BC151166A4D8F8C61F1DAEFDF2F2C3,233E301CAA0E28E1A8AAA3FA96DF161CC775DF6705117296A5A22E313A330783],[150DCB268D1E8C6140D41FD0F94BF70D2F7EC2B9643B69BDAF1AED745F0A5E21,1AEC05DBBF2D0A58B8262AEDAF0FEF2D5EB6FBF35739B75221DD65EE223B0DE1]]
FP4mulj = [[14F1026C5E7DD8B17CBC0DE0E5E8BDD4FB1623C792B4B7405B19D4A04282ABC1,07287934EC96CE9B98E99627A8C46E82714ED9F242FE7C4DC1A8B1DA2F7D9529],[1E3272B9FA8F35430E6ABABE7247F24B1B1F35447C016CC676C3569CD57C72FF,1D3BD0FFE131FC556C7BEC107EAC229AF8884DE9251F08437BCCE7F99F32EA5B]]
BIGsc = 239310BB89629556BC6A97F8D7A4A3881C19A6B820667727F2776653A20CD1D1
FP4pow = [[18C0524576D952323C9FF39AE646ECDF9139054B703F4E0ABBE2EBC8EF4FCAB3,085C140087B0873AC0B7166A126EBCC64FE40A3C938B970D278F5C59395A1F4C],[18708D9209B8DFC9A4D631627901EF18A4D842D8E286B91A0B3B788C37D79C8A,192AFF18E1DBDC9BCCD672E46A1CEEA358C37562591E50331AEC348C08F75A4F]]
FP4frob = [[1E3272B9FA8F35430E6ABABE7247F24B1B1F35447C016CC676C3569CD57C72FF,06C54FDB83E504F98D8FBF26184CB3557602076CEFD55C7742D0D4054F81BCB8],[0F1BD7C057DC5BCFC098522630AF3281DCC7E87ABD6202E3E325E31F1B5C2509,1F9D8BEFF9DFF8FCED29B843D6AC71B0AC7C476B988323A39924680358DDF6]]
FP4_xtrA = [[0F51C1A1FE098B66FD2A97B4107AB0C5057EBD45346CBB12A269304E9A35869F,21D4A6D1A8AF96A602F4593E929AC1ABB57BD3ADF9338B27C68963E4DB3C9EA1],[167A25D9FAF137DBB3EAFFE6A62C1729B2576C7327907718EA081640A184E5D7,04E8B323665686372AFA449864089C118AA43D522A9F79C743078E5322BB6B80]]
FP4_xtrD = [[0ACBB1D656CA56AE491492FE21194E4097E94DD802A10021AD54C6206A3E7716,162CDEEF697F091C4BCFF59E910F0F9D0692EA46170AEECAEEDCD79018636AC9],[1BF1F90410D88B865CFA4A40F408E156FAE10605E64BD65F6EA961B133FCB92D,01610E081F8A4C0FB58FC4BD77E27A897373B251585157C4B1200F68B0824B5E]]

# test 11
FP4_1 = [[178585A4B1B8CDA3D030BB4CF874B7B35425100F7F8059474B4B2F31077BCF52,1F034E9C3150EEF4330B76894F1BA8BE1CBEB9E2E52D33CA16D9DBFAFD0487A9],[13747FB1D0E18D6FF7C6F2D14A1A834AFB3B7EAC3FB2EBE518E8177118B8A62C,08969E708253756845CEDE18612B89A1A1B58FA44EE907588DD7BE02FAE79E6E]]
FP4_2 = [[09D1ED358E60628868B342803FCEFF924146277E5E37C392777D1D77F688D6A2,106AF62998BE54C13A160BFBF4A0DB9B0F10716DCECDBF457EDFB7E61A5411EB],[1A1990FBD83ECCFC1E9F0AD78A09DDDA9D27FCF5A1407D659581CEF04D882A9F,18E687578C6243C21E27F99F4FB5FA1D5B4F2F0AE7473F109C7851C6A9A15428]]
FP4add = [[215772DA4019302C38E3FDCD3843B745956B378DDDB81CD9C2C84CA8FE04A5F4,0B6D23EA64F842667315D74EACC3AE68BD44D5FA9F068E54D71BD7E228A3F281],[098CEFD24409591D1C5A52723D2B8B3529D9264BCBFF048FEFCC2A62778C29B8,217D25C80EB5B92A63F6D7B7B0E183BEFD04BEAF363046692A500FC9A488F296]]
FP4neg = [[0C7B9B36B35E33AB29DAEFE99E841E3D1A65454695740B7373528CCDE738D7C1,04FDD23F33C6125AC70034AD47DD2D3251CB9B732FC730F0A7C3E003F1B01F6A],[108CA129943573DF0244B8654CDE52A5734ED6A9D54178D5A5B5A48DD5FC00E7,1B6A826AE2C38BE6B43CCD1E35CD4C4ECCD4C5B1C60B5D6230C5FDFBF3CD08A5]]
FP4sub = [[0DB3986F23586B1B677D78CCB8A5B82112DEE891214895B4D3CE11B910F2F8B0,0E98587298929A32F8F56A8D5A7ACD230DAE4875165F748497FA2414E2B075BE],[1D5C0F915DB9C1C2D333933057097B60CC9DD70CB366D33A4204047FB9E522A0,13B137F45B0832F521B28FAFA86E6574B4F0B5EF7C962D02AFFD283B3FFAF159]]
FP4conj = [[178585A4B1B8CDA3D030BB4CF874B7B35425100F7F8059474B4B2F31077BCF52,1F034E9C3150EEF4330B76894F1BA8BE1CBEB9E2E52D33CA16D9DBFAFD0487A9],[108CA129943573DF0244B8654CDE52A5734ED6A9D54178D5A5B5A48DD5FC00E7,1B6A826AE2C38BE6B43CCD1E35CD4C4ECCD4C5B1C60B5D6230C5FDFBF3CD08A5]]
FP4nconj = [[0C7B9B36B35E33AB29DAEFE99E841E3D1A65454695740B7373528CCDE738D7C1,04FDD23F33C6125AC70034AD47DD2D3251CB9B732FC730F0A7C3E003F1B01F6A],[13747FB1D0E18D6FF7C6F2D14A1A834AFB3B7EAC3FB2EBE518E8177118B8A62C,08969E708253756845CEDE18612B89A1A1B58FA44EE907588DD7BE02FAE79E6E]]
FP2sc = [0B4D20DA328E229603DC23316BA34C97B669B892D3CEE75032EEDC89DD99F439,173C2C52022B3436488255DF7997D01D186479624512F1D5212B7EE5BE7BE36B]
FP4pmul = [[210EAB1D4C9E473887EC69DDF4A309571720F250990277B6AF05A4E2BAEDA1B9,0687BAC6119B3ED2241B142B86ACCB7B6D0879F25A2751A11A861E98C1320D30],[0DC9E5BBCF717C0B678C5099977BA558531E5732F751CFE8616239D0720C42B5,0295C2B921DE81B009FB1FB26AFC5B4A12F574704B95458C50BE53A3F1036100]]
FP4imul = [[1330734A92AE008C45A14DBA2ABA295EB234A0967D492068793D6FF0B29A2EC2,16180B3EC4714B122E1547A85F4DE7E9AB20982C4C20E00EEF94B7D66C881402],[0E8758A92F5C7FD4CB8B241BF22CF33BA79F480C14373F4D3FFC3E704DAF3A59,0DDFEEAE4D149374C5FD56869DC1B46F7402F1BEEB3180000D31F41FEFA2E226]]
FP4sqr = [[1ADA005F9C6ED7871575B1FF7DB57E76369CDC71B862C20CB83A025CAFE32DFB,17BECBA7430F79BF8B62E82EFDF48C95191D1CD89071990D8A6CADBCC1AD8CF7],[22A3EC3A9ACA337BA31FE2BB0145C43F29D8238A9C7D2F44CA8BF1D4472740D9,03713E6FC7553627158F2B85AAACACD00597246279552E955D5BE31FAF4D39C3]]
FP4mul = [[10D03019FCAADE01402921E3AC063750CAA2E254CC7F1421FC65D4BAAA6048F1,0BA4CA9221A572C249543D247E7F9F143289C14950ECB51FD6919F4177FD0DE0],[161FC75BC3AA44EF62D003A435EFC7E7F7C5D32521DE921B4694F9DCF067652E,1DB29F974D84FD34F2F6E3DBB2682CF06EA7585EF7E3845D0C9CF58334008480]]
FP4inv = [[0E2BE5A512CA874D67CA6F8BCB2BED102D6193F15423EF9F546E452727D249A9,198E12299915DF2757562CD59CFFFA1313F3087E8BA11F17ED378F8897AC1D43],[16736D9816C7C41F8A1D02111EDE4761CBE60BE383513F4DD30902B33C050606,1EACCB290B5BC5A14EADB67865FC0DF29812DA56EC4F79B49000D3BC4733F6B0]]
FP4mulj = [[0ADDE1414E8E1807B1F814B8E8EEF9A95985EF07F0C9E48C8B10596E1DD107BE,1C0B1E22533502D83D95D0E9AB460CEC9CF10E508E9BF33DA6BFD57413A0449A],[178585A4B1B8CDA3D030BB4CF874B7B35425100F7F8059474B4B2F31077BCF52,1F034E9C3150EEF4330B76894F1BA8BE1CBEB9E2E52D33CA16D9DBFAFD0487A9]]
BIGsc = 20AE908E9742A971A064BDA2236911BBEF387DEBD32C362B43AFEC8AB13D1C0D
FP4pow = [[07A643E62B7248ABB233BE40F0F0EE2557A0292D63E83F7B3CA031B799585FD5,073DC6E650A84828069556FA56C209B79BA24625AFD8F883C4CB382261FB08D7],[238C76EDDF31B402347B87800828C8896616EE32DF7E850909B0F61464019919,14AC6BC365D0554E39B4D4AF92AACA68FF7F52F6526E64B4453715486623125F]]
FP4frob = [[178585A4B1B8CDA3D030BB4CF874B7B35425100F7F8059474B4B2F31077BCF52,04FDD23F33C6125AC70034AD47DD2D3251CB9B732FC730F0A7C3E003F1B01F6A],[22332D4515CC42A2DEFFD9F6AF7ADD9805F918480C06CFC4202C3273C5CF6357,10FD0F723FF60BA0FC44C7DC8335316CB438D0FB7575FE81DD90B87FA0122830]]
FP4_xtrA = [[1A558DF59E0EA829E316728F730822B56C952C33762ABE3EBD6C9FFEFEE9FCA5,10C289388BD55F604486AE2AEF967E023EBAF9B83562BBB46719DCAC98F0F6C3],[0469A05E437F876B72B92E9B8012BC64F92667552462B20752A8CCC6857D0144,1966DC7B00480FF640363F8408BE5F1D044C15AA3031BAEC7FEF7C3B0A8871D9]]
FP4_xtrD = [[0FD015F19E143D8E6F1FE69C23C4E4FFFCDD11A8CE567438E0415FF98FA0366A,21BA7025AA9B9E75196351898DAEE6F9BCB453BEEFFFFAEED9F46DC4A50DCBCB],[018AA9E7725F4BBD9E9671F067891EF4433A7636F1FA3D997F20A8B89B2F3F0B,149E7B50CBFC20F7A12CE7B66D03C013490243AB17273D46790B5F25A51C769F]]

# 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 = [[240120db6517014efa0bab3696f8d5f06e8a555614f464babe9dbbfeeeb4a712,240120db6517014efa0bab3696f8d5f06e8a555614f464babe9dbbfeeeb4a712],[240120db6517014efa0bab3696f8d5f06e8a555614f464babe9dbbfeeeb4a712,240120db6517014efa0bab3696f8d5f06e8a555614f464babe9dbbfeeeb4a712]]
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]]