# FP4 ARITHMETICS - CURVE: BN254_CX, Modulo := 0x2400000008702a0db0bddf647a6366d3243fd6ee18093ee1be6623ef5c1b55b3, BIGmax: 2^254, Frobenius_constant = [0x1359082fa63a0164afe18b8aaca7189868677326f173f8215bd9083355c80ea3,0x10a6f7d0623628a900dc53d9cdbc4e3abbd863c7269546c0628d1bbc06534710]

# test 1
FP4_1 = [[186337D2C332D255F44FC6C266D299FF15D3EDABE3F9ADD7232675193393A473,4C94AD2E429BD81DC9B0D96A8AEBBE3B6448815C477D7D6D30630C5014CE5E],[0494E9D0682E1F1893D3AF346E82547A7B73A19E3887085AED0A34C978EA7A86,131BE2F6A564638983B368D3E491E59613778BD4DF6BE3A2FDD12EE0EC784313]]
FP4_2 = [[17C3847003A943801DEBB57011DB7B93EBA7D2072D396D749C986F97EA8020E0,12099BE18E458ABEBAAC67E3649E8B09DDA34A4C5B2A94817AF3064225EC8201],[15D306206B897C7DDFBE08DDCC63F53359D029BF3375380D2FBCE8985EFAFE8A,024EE2E857175E9E49561B96E00231029ED107C7F58A34A8772BD9A2D7EA1281]]
FP12_1 = [[13F11518730FAC9660E4351DB280DC806491A60AC9D8B1DEDA3DF3FF34F90FB9,1CCB98685EB3BE63EC80582ED53656A4965B7FA5C302C9569F6E54E9F4387457],[22E18E719DCED4628D8B74B852F4B0C161EE9AC752FF4B53086080C1E8F94173,0B4D3CFC0C745B944FC08D019478E8DFED6A7715CC12142621927553CBF4C70A]]
FP12_2 = [[13F11518730FAC9660E4351DB280DC806491A60AC9D8B1DEDA3DF3FF34F90FB9,1CCB98685EB3BE63EC80582ED53656A4965B7FA5C302C9569F6E54E9F4387457],[22E18E719DCED4628D8B74B852F4B0C161EE9AC752FF4B53086080C1E8F94173,0B4D3CFC0C745B944FC08D019478E8DFED6A7715CC12142621927553CBF4C70A]]
FP12_3 = [[1A1B3A45E4E386AB0D978830712D2770DABEC52C555B821CA77A200AE8D84F92,0E66F30CFA815F37EC07712719AEC87C8A9BB511374F4BD8A6F82652D41ABBE6],[02ADD834FE6ED71E92A34D2C6A069AEED9DA8B04E2DD461FBFD4549E099AC5AA,0BDE52F529EA4717CD924E328E6830ED187890F81D24BD524ADF035934F98757]]
FP12_4 = [[22625B4496B48A9FC133DC2DFF632E9DFC36C50672B1CB095493554B9037613D,0DECCC83354BBE500456ACAA5B9226677ABF475623826008977A89CA40DEB85F],[050474A50363AB67C65375C3B24C2F0CD27223BFDE670D1BA9DB9E6923249C8F,07752F8620F8DD19DACAB03C7ACB63E5350EBCB31BA5957226FA19695177BF2A]]
FP4add = [[0C26BC42BE6BEBC8617D9CCDFE4AAEBFDD3BE8C4F929DC6A0158C0C1C1F86FA0,1256308EBC882696D87618BCCF2976C8190792CDB77211FEE823694E7601505F],[1A67EFF0D3B79B967391B8123AE649ADD543CB5D6BFC40681CC71D61D7E57910,156AC5DEFC7BC227CD09846AC4941698B248939CD4F6184B74FD0883C4625594]]
FP4neg = [[0B9CC82D453D57B7BC6E18A21390CCD40E6BE942340F910A9B3FAED62887B140,23B36B52DA2D8E3592F42E8B0FD87B14E8DB8E6CBBC1C1645135C0E30C068755],[1F6B162FA0420AF51CEA30300BE11258A8CC354FDF823686D15BEF25E330DB2D,10E41D09630BC6842D0A769095D1813D10C84B19389D5B3EC094F50E6FA312A0]]
FP4sub = [[9FB362BF898ED5D664115254F71E6B2A2C1BA4B6C04062868E058149138393,1242F8CBA86D3B2713DB285A804FC7878200D523192627DDB0A380B98643A210],[12C1E3B00514CCA864D385BB1C81C61A45E34ECD1D1B0F2F7BB37020760AD1AF,10CD000E4E4D04EB3A5D4D3D048FB49374A6840CE9E1AEFA86A5553E148E3092]]
FP4conj = [[186337D2C332D255F44FC6C266D299FF15D3EDABE3F9ADD7232675193393A473,4C94AD2E429BD81DC9B0D96A8AEBBE3B6448815C477D7D6D30630C5014CE5E],[1F6B162FA0420AF51CEA30300BE11258A8CC354FDF823686D15BEF25E330DB2D,10E41D09630BC6842D0A769095D1813D10C84B19389D5B3EC094F50E6FA312A0]]
FP4nconj = [[0B9CC82D453D57B7BC6E18A21390CCD40E6BE942340F910A9B3FAED62887B140,23B36B52DA2D8E3592F42E8B0FD87B14E8DB8E6CBBC1C1645135C0E30C068755],[0494E9D0682E1F1893D3AF346E82547A7B73A19E3887085AED0A34C978EA7A86,131BE2F6A564638983B368D3E491E59613778BD4DF6BE3A2FDD12EE0EC784313]]
FP2sc = [10B5707AB04B96F4BCA1DD7C4DC72B3819A92EAD0220AFC8B9E79E2748C79D53,02392A9ACB2806AB09A8A4DC84D231DC2F64DA00B6B408A25FE235CCFFEB1112]
FP4pmul = [[0416B4D8A5CA06B799F9FCAD74D78A28352FFF07834BAD282B8BB37A88BCEE5B,139B59B7E14D07D816FBBA4A4C9D9657308DD61BBEB1AB6DD4E4EC4AF48855F0],[1E48F22D7ED567A9E0042AA45A74E6CAD091BB2550E169E301325538FEA7282B,0778E10E5FF399D746429379D07AE64C0703835AF70D4BBB041B7C473A7633F2]]
FP4imul = [[00,00],[00,00]]
FP4sqr = [[15668FBCB486F097396C58172D393001284861E25DB3A466B4161B4CFFE98C0E,171D5AE5AEF291164522718ABA5EC6615DACBDC452950D4F3BE0DF4F11A1B799],[14A8F07026BCA9241077971464834132723623D513DC5BEBCD5DD596EC9E6278,05D91189A2E6ABEAD98B77514C411A8011823A5853C7E3A1E66697748AE4077B]]
FP4mul = [[0C1FC331A65C19B8901037D7F9638DA9AB94CDEE17007DEBB97C3194BF4851FA,0506DC7E8571CF6D1847EDE9342E34B20E5987FA0041E3A4F4D7C8DD8387B4FA],[1B56C4D95AB49A07B3FA2F1CEB89917BCFBB83D19AC3F953957D681E124E4092,0F905DB457361CA120F0EA1F86A86CBF410596F4EE9E67195D4F35BCEFEB8B75]]
FP4inv = [[22AC0CA034EFFE15F9312F9DFF4375F1D7E615142A4529F032181A70FF499FDB,1699281335AF61E0B1D830FAEE549600180DB432DE03E8CA22BF75E3F9E7D25B],[1568CC70E6CEF516E9AF2F5CA940A0DFFEB0A5C59A04E1C4A6C5704490958F14,23644C9F2535D3176297B8039F3F688C514DB41C0BE12A11054B4613A3BD8088]]
FP4mulj = [[157906D9CB39E59CC0DE25C50453D5B78C3BECB771246399AD9F29D7E88D8D26,17B0CCC70D9282A21787180853143A108EEB2D7317F2EBFDEADB63AA6562BD99],[186337D2C332D255F44FC6C266D299FF15D3EDABE3F9ADD7232675193393A473,4C94AD2E429BD81DC9B0D96A8AEBBE3B6448815C477D7D6D30630C5014CE5E]]
BIGsc1 = 11BB3B7B10EC79EEFAF841BE078EA975D5FEF88E04DEA04A3C4E27034E8B24AB
BIGsc2 = 23
FP4pow = [[09889EA7B8E7C9A9912E54012C1ECEB2FB6CF68F73EE0EE65B0EBE2D7336D992,19C158E2841E14480BF02185FB8AEF7D304F330B6D70F9F31942C9186FC18980],[04FC413FBD7B59618A13732F23E1F748481EA5C3994E4E2391588E2BC9E3A1C6,10737D7B870951A872B1ADD757BDDF42E87DA9A796157B40589ED685C3FBC5C4]]
FP4frob = [[186337D2C332D255F44FC6C266D299FF15D3EDABE3F9ADD7232675193393A473,23B36B52DA2D8E3592F42E8B0FD87B14E8DB8E6CBBC1C1645135C0E30C068755],[032AC6930668CFE1389623936AC8CBA655D1C7B8EDD89370A6CCF6CA486D6413,5CBA981834CC8B58963F6BBB2D49C11FCE2B032DBB25C9278D4A1972672E86]]
FP4_xtrA = [[09000DB66C01083D4ED4D3FAA31E1E93809B98857D6659163D0AA66A4756F4A2,1B31FCA3A9E91E44190D1D3B9A7095061FDFB4FEC2EC6BD3B196758ED9F16C65],[1785A77F9F0C75655A52B6773C699F6C17E3EF92798EEE2B96CBFFA718BC38BD,0CFE55E75256B172A2F53843C122D07AEB1E2F41E4D10F82F181662AC9008112]]
FP4_xtrD = [[08A02017369175F9018AA9F6D9F762D620E05D78ADC9879A2C2F5509F4DD98DB,1684318B526D5966098F0FD7E548EEE4E6E42CC19A0612546180193671781ADD],[1DD2C410F718E755381EF57D4187EA27691D671184EA6CA1A7723F29DE735784,0810D776E53F48F0303469949B017ED914317B13FA966C0623A2D14707B937EE]]
FP4_xtrpow = [[0EBBEC3C81A5560F53B6C2EFD7A8A315385B1699CC48FB27B862A3F15D996DAB,05156A4A3923A4029D03E02F1F8CD9F9E335208C727BC18BA1EA0E96EBDE3B50],[11CA3BDC4E396AB6B5F458089387EA3DAE245188B3A70C79B2CDE114010CB9EF,0B31038016CBFC64524EFD939A98A524D0AFD45B9A0F8D7C39701DD5E81EC346]]
FP4_xtrpow2 = [[23878E88041D4EC7FB00D623C2B49AA5452E164856DFD3DF69B49FFA8E45E14E,115DC63E6D8A41779E764C21DB835072D60E3BF96EF145383766E398A1724C15],[0B67B4657EE8DC85C9DD912EBDEDFCA4E49ED201DC637A834872DD979965BFCC,0F6F1F6D8566B7F10B0886927201C7DD34927F87EAA453330165E67542A19816]]

# test 2
FP4_1 = [[2117D0CAD0A6FFB1E26F22301618C9FB70BBA880A29921E51967EC41A4F0958E,140F12A07F7551C69C034B4A58921D97CC8266144002884C584B4CA7659D36AC],[0B2ABFD68B5F074D2AD1AD29F96E343043F99C384DA0B20D65E52CEF061F257C,0607723195A9EA6B8DDE1995267AC75487CA12ACE3341D2139C2D323ACDBB15E]]
FP4_2 = [[194F054C061C50CCE9B86E3B976509DA642604D0CAC2F570988BE799655D9EBD,049D0508390A487655CD78FF55BDC4A4690F43C219DD790D76DAF275240E110C],[153B677E7F18782EEB45EFD16013DC3A7AB5CC548E2C1221D046676A1CF9846E,0B9CBDBEFC16B7716E497589A8A28AA4B4BB7D38DC7CF1E4C13BD9283C5222DA]]
FP12_1 = [[08AB45C2FCE300565052E6C178FE38D40A1C2758B412849C7D528A2425A5089F,11FA456D58F6A84F8C1FF60D2351EE14A5FB8C505B69523DF05E459278EA59A1],[029FC8D6DF945B03CDC3B630893BB33815E29513539E5B84F68E6BB5C6EB19BD,19EC4C7B1BB41A39D17A6582C0BF742098E09215AF1EBEE4A98D63C7633E8517]]
FP12_2 = [[08AB45C2FCE300565052E6C178FE38D40A1C2758B412849C7D528A2425A5089F,11FA456D58F6A84F8C1FF60D2351EE14A5FB8C505B69523DF05E459278EA59A1],[029FC8D6DF945B03CDC3B630893BB33815E29513539E5B84F68E6BB5C6EB19BD,19EC4C7B1BB41A39D17A6582C0BF742098E09215AF1EBEE4A98D63C7633E8517]]
FP12_3 = [[0B4DE3267696D9BCEE3C465EFF5A0261FD21DE8467941EAA52DAC7EB019FC455,0FCBAA5DC6D4A8BA2F3AB3788BE99CA795D9CBF2F3D8C84D3B1B3E86473B9844],[0E15D3BCF8C875F82A58900A31F3A82C5261A095AC5E6A9EB7A06EF05769945A,0C0254A079D461695FB95DF5B117B339DA2A9A85A8EF3CC01A41DDB0802890A9]]
FP12_4 = [[14D1375313179390F428E3A1754FEAA6AC4535BDB1601705FD1B6BF98FB1B60F,0B99E834A90EE8A139B9910BF9AC307738708F88BF83819B39369E3146333A45],[12BFCA759591C5061CAAE7FFEA07CA546F4D5CAEC756FA1537BDF6C611F180EF,1C7AE2ED510781380E88ACBE5638EF3F57171E6D6EE5320E62910C65F1B3E641]]
FP4add = [[1666D616CE5326711B69B107331A6D02B0A1D6635552D873F38DAFEBAE32DE98,18AC17A8B87F9A3CF1D0C449AE4FE23C3591A9D659E00159CF263F1C89AB47B8],[206627550A777F7C16179CFB5982106ABEAF688CDBCCC42F362B94592318A9EA,11A42FF091C0A1DCFC278F1ECF1D51F93C858FE5BFB10F05FAFEAC4BE92DD438]]
FP4neg = [[02E82F3537C92A5BCE4EBD34644A9CD7B3842E6D75701CFCA4FE37ADB72AC025,0FF0ED5F88FAD84714BA941A21D1493B57BD70D9D806B695661AD747F67E1F07],[18D540297D1122C085EC323A80F532A2E0463AB5CA688CD45880F70055FC3037,1DF88DCE72C63FA222DFC5CF53E89F7E9C75C44134D521C084A350CBAF3FA455]]
FP4sub = [[07C8CB7ECA8AAEE4F8B6B3F47EB3C0210C95A3AFD7D62C7480DC04A83F92F6D1,0F720D98466B09504635D24B02D458F36373225226250F3EE1705A32418F25A0],[19EF585814B6B92BF0499CBD13BDBEC8ED83A6D1D77DDECD5404E9744540F6C1,1E6AB472A2035D07D052836FF83BA382F74E6C621EC06A1E36ED1DEACCA4E437]]
FP4conj = [[2117D0CAD0A6FFB1E26F22301618C9FB70BBA880A29921E51967EC41A4F0958E,140F12A07F7551C69C034B4A58921D97CC8266144002884C584B4CA7659D36AC],[18D540297D1122C085EC323A80F532A2E0463AB5CA688CD45880F70055FC3037,1DF88DCE72C63FA222DFC5CF53E89F7E9C75C44134D521C084A350CBAF3FA455]]
FP4nconj = [[02E82F3537C92A5BCE4EBD34644A9CD7B3842E6D75701CFCA4FE37ADB72AC025,0FF0ED5F88FAD84714BA941A21D1493B57BD70D9D806B695661AD747F67E1F07],[0B2ABFD68B5F074D2AD1AD29F96E343043F99C384DA0B20D65E52CEF061F257C,0607723195A9EA6B8DDE1995267AC75487CA12ACE3341D2139C2D323ACDBB15E]]
FP2sc = [21D9F23E9D66AD3599F42B29FB0973CC722151538D127E86158A1A479F21F4A3,076BD354936DECBD1DA80024EA623197A971362D729B6DEC8697B4A50E89ABDC]
FP4pmul = [[0EBA7A62B6DB88949EFDB431041296471DF01303AEB54CE3A110445F1B152D9D,07FB9B6CBF3874C382ED79B032942E73F711012F5C9C0C3D1DF828B2D91F7DFB],[140B96FA97EE578BB636AC8E6F2D501BF0A20D6C3F087011C670F6EEE045F0CF,197315A1F93F377B2B4FD890FB0905EE55111ECC2DA7E857CC555EFD50DD1721]]
FP4imul = [[2117D0CAD0A6FFB1E26F22301618C9FB70BBA880A29921E51967EC41A4F0958E,140F12A07F7551C69C034B4A58921D97CC8266144002884C584B4CA7659D36AC],[0B2ABFD68B5F074D2AD1AD29F96E343043F99C384DA0B20D65E52CEF061F257C,0607723195A9EA6B8DDE1995267AC75487CA12ACE3341D2139C2D323ACDBB15E]]
FP4sqr = [[1227369BC08E17A9ED6F7B443F111DCBE7CA80A323CB808571835B96C99B6C0F,1BF457B88639570959336D769F57146C89D5D4C5E39CADE24572545931B2D701],[0EAEEFEFF656C9215A21B27E8735C770C1DD565AF4CA49C7975FEB824CEEA17A,1726365B39A9BB2DE92157826C5BD0E555384FC37B27332E282944AE9BA05B22]]
FP4mul = [[554D35CBC825625F431FF451347CD49A4F62B6D6B7E5F79B0AFF870813054C,234045C41D2806EE345324CC28236269620D7A6129C88A77727E1F3347EC8929],[23A1C5D38BA976373B84FFF1C3009CDDCA96667EE463723C3244E2E0F0DAA4CA,16F0D078A722CDC796DD71B0FE289F3D565111AE6C297432B6A0E2CEEB2CACA9]]
FP4inv = [[06F79D011DEF03EB5E73AA38C22D110C620E78C0AE1B2134B99D14932C337596,19C9971A0A7012A7FA10B8344A4D9E44C08CFFE93888D2BC8A6B7BDB21F84B30],[0D518E029E7DEAE280C936549A0516880F944CF470CA5FED0E4CE1BADF412916,191F40184237B96F22F054282D1F1C3CD535E15E85A6682506B4F7D976852213]]
FP4mulj = [[05234DA4F5B51CE19CF39394D2F36CDBBC2F898B6A6C94EC2C2259CB5943741E,113232082108F1B8B8AFC6BF1FE8FB84CBC3AEE530D4CF2E9FA80012B2FAD6DA],[2117D0CAD0A6FFB1E26F22301618C9FB70BBA880A29921E51967EC41A4F0958E,140F12A07F7551C69C034B4A58921D97CC8266144002884C584B4CA7659D36AC]]
BIGsc1 = 0A10DDCC80B50F6F7B31F50A81E5572CA1D1305B0F0F1EA6188A953C03D99E23
BIGsc2 = 51
FP4pow = [[0D1C4EFFC88144488CC35F42E559D3E5473D82CF4023305F4F8C72FF22E11C28,0D447682845DA9E79C47A0F466D50D2379AD0506110E6B1F156B54E1FF012372],[11234745C82491769FAC91BFD45689145426B79E5EB6770DEAE292FBD60043E6,0F867BCB6171D3A712997A02921E1B9B410DCFC62E56ACA89BD6F696D9447058]]
FP4frob = [[2117D0CAD0A6FFB1E26F22301618C9FB70BBA880A29921E51967EC41A4F0958E,0FF0ED5F88FAD84714BA941A21D1493B57BD70D9D806B695661AD747F67E1F07],[20DE31B413E7B66F397943B26D446377D485385612DCD86E2E4B37959EBF1415,04F748A012F8144616FFA238E22E766DDEDDAC39121676D409CCAB20FBE7E79B]]
FP4_xtrA = [[0DCFB7F3D57887ACE83968385AB588C8A9E04498129F3DD6556365DE23CCBE99,090B469E0B91C2C80074A5C4644B8E6088DBA63C1465ACEE1E2295A53F14B701],[1B39F7477A0AA9A8F83C1B34032E4B0C96FAA13945920D6036ACA2CC00F60C91,11E3F3A11F9CD48623FA005E1B26BFEB543FA8C7C5F63435BA46653204E8C487]]
FP4_xtrD = [[17F7950630206C618A0CF5AD07A6577B4ED2DD7E0EABBA7EBB7FCAF237F0EC59,17D632778FBEDD89D1EAB646689640101510DF8B7BA0DC2B5341DEF9C293BF5C],[01046F9D04A4ADADFF072D6DFFAEC8FE2590B7DD78026F00A4C42170FD1196BF,23351ABE64FD900504DD8AACB9515F8E64CC751D418F6D709BAEEAF5F557BDDE]]
FP4_xtrpow = [[1A3237BA0C9AEDE6140E32C0ABCDEC4A2AAE097ABBEC5B47EEA445D475E65FE5,17D07E216846C471DF52E1E545A851E86A0AC8B3AE2BB3E82109B09688C332DF],[17415FB4039915785C5DC4BEA21408CD141623028D41C504B2DBE0554063E4AC,0D8DA3558DFC21D96D34A2B9552631F90B92D9900FD7691F6F077C8134A81C28]]
FP4_xtrpow2 = [[20465353CF9C9B2A27427C05C4EC581385C00A94A98039FEDC6929080E40EFAB,220677C82E7A774BAFC724B9978C71CDA0D7A0B37AD4045D9572F8E6CF147757],[0621B706BC20A8970052BC40EC7F0227F1C08FDD747802B6999C72E6336C2D2C,0602056C968D92BDC838C9AE7CE8CCC25B9D211FFDCC2D88940E235A2E1B5FD4]]

# test 3
FP4_1 = [[073B533E6A9B013DF6E0FB6BB3B33076FDF03DD06D32756597DB55ADE930BA6E,1A9FBF26BCAD5A4513C64C25AA58B5325A6860A0120808F2316A36EB870AAD4B],[13998E67998D69E72248B740AD666BA221B803F74EAB974C18AD93EC7F736FB3,091710D8E9327A23B2D7BCFC4CD48DF03246D976007B97482485D73D0214EAFC]]
FP4_2 = [[225B340605ADA92FB18E796E4F35A61EAD06D34AF7810E0A8855568F7126C42C,1BC6167E8A5532CD3CBFB467149666BCAC8B43A22EFB76A9D827DE319AFE9F24],[0E2817D161684DE7FB6B89D7BF056ACCFE177F31611E249FDDDC2B9C00B1596C,1BA79164F37C6540CD9DCE858E358B05326179AE6158D86080EA6A4A2CB9DF1D]]
FP12_1 = [[110A3D0C496C6F80D5DB25090E854125BCB5A01482A9CD6EA49117A1290659D7,15AC76C99A022A72AD1116C5ADA7400BDDBD80973A3330244AC312236D716059],[18B40D8C3508E7FC029AF858AA6DE300143918F2046C1F757DD36E6AB00A4CC8,191EB7385DC1CA555A7E2E7473EB5EFD75016D9A158D5B52220FD394ED00AFA3]]
FP12_2 = [[110A3D0C496C6F80D5DB25090E854125BCB5A01482A9CD6EA49117A1290659D7,15AC76C99A022A72AD1116C5ADA7400BDDBD80973A3330244AC312236D716059],[18B40D8C3508E7FC029AF858AA6DE300143918F2046C1F757DD36E6AB00A4CC8,191EB7385DC1CA555A7E2E7473EB5EFD75016D9A158D5B52220FD394ED00AFA3]]
FP12_3 = [[10BC3C26C40D8124D68160E8B2AFC118F9831526F0E3A545BE9CABA0CECBA34A,1490B18AEC0FA509304D12D00C35D9ED4D825AAF75975904281C28CD9AD46A32],[157118D5597A47CB8E14704F325EEBFE93CFAA85140DFED8346A2285477334C3,06D858249A7E513F1C228DC4B23CD74DE3F94EBF58B321C687BFB83F285C66E1]]
FP12_4 = [[0E69AA63E1A93898F94F0283678941E61DDEA20A076ED2EE9F742388919C17C9,0694F9118E72AB57956C7EDB2CC09C7213F054E4033B91707BF789AA837C32DE],[0FE7C887838301949B019B399A44934F2BB8A2C83BDA443D48A8A56570CB3FB1,0F81A1BC73854B57CC5C8122E95545ED80CC9D950FA3687F88484272275BBCE7]]
FP4add = [[0596874467D8805FF7B1957588856FC286B73A2D4CAA448E61CA884DFE3C28E7,1265D5A53E9263049FC82128448BB51BE2B3CD5428FA40BA4B2BF12DC5EDF6BC],[21C1A638FAF5B7CF1DB441186C6BD66F1FCF8328AFC9BBEBF689BF888024C91F,BEA23DD43EB556CFB7AC1D60A6B22240687C3649CB30C6E70A1D97D2B37466]]
FP4neg = [[1CC4ACC19DD528CFB9DCE3F8C6B0365C264F991DAAD6C97C268ACE4172EA9B45,096040D94BC2CFC89CF7933ED00AB1A0C9D7764E060135EF8CFBED03D510A868],[106671986EE2C0268E752823CCFCFB310287D2F6C95DA795A5B89002DCA7E600,1AE8EF271F3DAFE9FDE622682D8ED8E2F1F8FD78178DA79999E04CB25A066AB7]]
FP4sub = [[08E01F386D5D821BF6106161DEE0F12B752941738DBAA63CCDEC230DD4254BF5,22D9A8A83AC8518587C477231025B548D21CF3EBFB15D12A17A87CA9482763DA],[0571769638251BFF26DD2D68EE6100D523A084C5ED8D72AC3AD168507EC21647,116F7F73FE263EF095F7CDDB390269BE242536B5B72BFDC9620190E231766192]]
FP4conj = [[073B533E6A9B013DF6E0FB6BB3B33076FDF03DD06D32756597DB55ADE930BA6E,1A9FBF26BCAD5A4513C64C25AA58B5325A6860A0120808F2316A36EB870AAD4B],[106671986EE2C0268E752823CCFCFB310287D2F6C95DA795A5B89002DCA7E600,1AE8EF271F3DAFE9FDE622682D8ED8E2F1F8FD78178DA79999E04CB25A066AB7]]
FP4nconj = [[1CC4ACC19DD528CFB9DCE3F8C6B0365C264F991DAAD6C97C268ACE4172EA9B45,096040D94BC2CFC89CF7933ED00AB1A0C9D7764E060135EF8CFBED03D510A868],[13998E67998D69E72248B740AD666BA221B803F74EAB974C18AD93EC7F736FB3,091710D8E9327A23B2D7BCFC4CD48DF03246D976007B97482485D73D0214EAFC]]
FP2sc = [099FEDF424C5F58E0A735A942FF9F3CCB1DA982B767AA5B25D104A023C85666F,17FCC347946E8BF2403A608B1BDB2A3A6EAB93D3B4FC4156E4BE26606BBDB266]
FP4pmul = [[0EC52ED86C3B426ABDFE9806D2EC0991FE28B6801A6040A499BE542E69EE6616,1112E5B685EB72A23CC12BCC9BD71505DD5D2064983FC7F2118B26AACB415C20],[1EA0621D6FB864161821A26D3FDB63AB4DDDF5CABACC4BAC6A26D8281FE91305,0C4D41BF11B47FD5C5577367D296C8DA0B7F83406C06C718FC1D7B95FD23C4B5]]
FP4imul = [[0E76A67CD536027BEDC1F6D7676660EDFBE07BA0DA64EACB2FB6AB5BD26174DC,113F7E4D70EA8A7C76CEB8E6DA4E03919090EA520C06D302A46E49E7B1FA04E3],[03331CCF2AAAA9C093D38F1CE06970711F303100854DEFB672F503E9A2CB89B3,122E21B1D264F44765AF79F899A91BE0648DB2EC00F72E90490BAE7A0429D5F8]]
FP4sqr = [[0CAB5B373795D54A50BE2BA389C062EC43D1EBF99B84065360131D9450F9B45E,127133C01ACAEA0A4EE3076260AF55E2FA8805D1697342262DECD76A30FE2DEE],[1C82B2CADB10057E4A0B212F55613BB76C484676E1F31506149FA90DB311A2EC,215EC1C1EE5F4345AE2FF37F882E4B0C245433065B3FEDB6152DEB0A9B44CF3D]]
FP4mul = [[11FEBAA33CAC65F7BE795D72C9A4CF8E9062880CEAB3F93EBA074EE53BF2CE1E,17DBC05BF5DA69E7ED23935A926737F00E5DC47E363A38F01235D6D4BAEB9896],[1EA3B03F3CFC12FABBE896C0FF6DF4A680E9DF0AE32DA21BE1348F7A75B60CDE,199D8CE6061CD4BC6BEFC2C9B5AF343642F57D4CB98890D418E629C1127FF2B3]]
FP4inv = [[0460B6D069E15E65DF1C60C8091438DBAF053B1CDCF32C21DB258C7B9E9698CB,2C354F8CA3FAA278CE3A638DDA8E0D8CA4EDBB9795D530BB238AB2FAECF580],[1C24FFAEBAE8665D0235B74F4C47AD310C3A7C25D464286DB91F21B1682DE799,0649EF49226D282F0DF3BCEA89D6F84ECE8AC177C39E3D82303FA16075BDA0D7]]
FP4mulj = [[0A827D8EB05AEFC36F70FA446091DDB1EF712A814E300003F427BCAF7D5E84B7,1CB09F4082BFE40AD520743CFA3AF99253FEDD6D4F272E943D336B2981885AAF],[073B533E6A9B013DF6E0FB6BB3B33076FDF03DD06D32756597DB55ADE930BA6E,1A9FBF26BCAD5A4513C64C25AA58B5325A6860A0120808F2316A36EB870AAD4B]]
BIGsc1 = 0ED0E109C3CC2B6D98F1ADA043494BE0EAB61E7DE2C2CEA552E8BFF0659C3775
BIGsc2 = 35
FP4pow = [[06949A54032DB32B8DC162D258B9F1B05CDDE2FE92AEDE5230C353C58493EB6E,02BC4758023BD259D90C731E40905B00F3502B8E47C15A332F3AF3BE021631B0],[0D397887E2FF0ED8F15FBBB2A2F65D7A0FCD9C946D647954F0C3EE72378597B9,185FED4D5B4659F21B203B563778656C8BD177C522BC00F3F98FACC823A4D519]]
FP4frob = [[073B533E6A9B013DF6E0FB6BB3B33076FDF03DD06D32756597DB55ADE930BA6E,096040D94BC2CFC89CF7933ED00AB1A0C9D7764E060135EF8CFBED03D510A868],[14C4CFE6C5D391D0C2FEC29391D984F046F67194D052E5F18A8201FD3F76588B,17AA25329580BA837DF5D3C4717084A56FA669A95C3B01B6021862C07FE7F4E5]]
FP4_xtrA = [[1C72D6812502125B24B70C5C5C038C6B781B60AFF1C05B3251132E54CDBD7B18,0290D333594F3BC09C0632F43D6FC718B090432FCF2BE7756E18B2BD915EBD44],[0B794F4A15D555C7BD7E86FDFAB6C81FB93D8693E85BDEF953897DB24C1BBEF7,0E53A03FD4C6DA8CD88C62A4EA8EE66D4B9A24A88174E310F1A2C31A3B4D90E5]]
FP4_xtrD = [[2234B4BA6ACFFCDC13BA14309CBD68D16C314746D9285A69EEC29627DAB39535,0131B572A9E05F8DD8144E7B8661525169F71B7F5D6C6F23897E8D827F04290B],[1FB5CF9A05BAAF3EDDDEB04C35CAAC288B787777674104BC8794ACF755DD2C9F,0F8CE373B8540D7F63218E13A774001964A20F04442DDD649FD3759543534F82]]
FP4_xtrpow = [[19A6B80DF276C940DABF440BC73EFF20BF72EC307AF57D195962B46521147795,2228C943F30F7669FA6DC6333127342D2AA9558986F461D1EC6A8A397C39B3F9],[0E8EE40CC3DC26CABC51EB54DB2211F7F15EF0ACC8BAD8CE79A31702E9DB2D35,0D184A4F93A7027116D77B1E4DE14A0F9D933B297F1C674F8847B9A9F78337A8]]
FP4_xtrpow2 = [[14B43848BBA87E5827BD6050280E537D3CE7C3715E1153DFEBD7B48BDD3AE651,1E6EDF224F095AAAB61B3A5AACF13A3D8766CE9A8D0B1220BB93DBDD766D9665],[08DF3B126419C655642F3570B9B556A6F278243A36ADE25030D8BCF0A722C2CA,23FC4515324594E5649F61F1129F4128E036A47F1EDBC20973EB9B16B2B845F2]]

# test 4
FP4_1 = [[1A36E58217B319B56C6581926B9947BF794945BABB974FA230242ABD93281F62,1B98CB640E067D9451FCEEF85B2668B5647B736A570A233667D05B3FB654158B],[014E0F0F2216C46A6B2143486782E6BA2850F433CB6716F915B678A3FFFD5970,06AF996A99E44F7D2732E4B4E647C88951EE78D7827DE931D2AEF3F41FCD175F]]
FP4_2 = [[1689C4C6C2603B65675F7C2E31D58EE68FE2AC5F510B564A16583A45F0E6798B,23F1127D06E039B6869EFB7CA3D3E525EF7B9F6EC96F3A6C2DF4BB33B3C7AAA6],[0953637C8E5163F0660D767BDAB7EF9D2E143EF0982913F2FA9A260E5A1F591E,08F4EB710FFC1666113ED3D7420EA88A36BEC656257F0CAF3D63D7D658ED2E88]]
FP12_1 = [[2070387886480E2EFBA59AE94F68A40A678FBCC3F1355C9F61BE5AEF04D6C0AC,1FE6C212C73D3F976C50D73F38EC991D9D2CD0AC027235B219D2501F949980B9],[1BE23D6BD923F7B7CA7729D63E96D51A8C0B4A3CBE8EDAA1815FD6297B17F2B0,1521130F61905D393524C73C61E5387F3CD848B11780CFC2FCE33FBC585A19C5]]
FP12_2 = [[2070387886480E2EFBA59AE94F68A40A678FBCC3F1355C9F61BE5AEF04D6C0AC,1FE6C212C73D3F976C50D73F38EC991D9D2CD0AC027235B219D2501F949980B9],[1BE23D6BD923F7B7CA7729D63E96D51A8C0B4A3CBE8EDAA1815FD6297B17F2B0,1521130F61905D393524C73C61E5387F3CD848B11780CFC2FCE33FBC585A19C5]]
FP12_3 = [[1FD895E727C23C7966CAE85F50FB85B9EBADE75E5217E2FEF3BE4F45476CEC8D,0E5BC52570E041A3B03D9B66E8E0D1D592227797468BAC66B5C7B8F5DA0AE0DA],[06EBFF6D0B2BD65AEB2DD9B42C703050591125BCF7BE2343F9A0E4806414B6A8,F68747EC18E5DBF67497830AC2E5F1939B956A369C1FAE6021E4D5FF1850FC]]
FP12_4 = [[13B481E3C036B45A66F5C755BBE01CD97B3BCAF7A90FE4B939661918D51D9C76,0452DE34E857390DA7DCDD9EB3746763D2E4A72EFC2962C82057B3669F70187F],[1D73A7702648D18FB0F542215F10C2800B76A70473E4F9190F3C8A16C47E7103,17125CFD3040FF7E79679A6E4A0A9C4346D1A947869D874678B0E55F7C6D81E2]]
FP4add = [[0CC0AA48D1A32B0D23071E5C230B6FD2E4EC1B2BF499670A8816411427F3433A,1B89DDE10C768D3D27DE0B108496E7082FB73BEB08701EC0D75EF2840E006A7E],[0AA1728BB068285AD12EB9C4423AD6575665332463902AEC10509EB25A1CB28E,0FA484DBA9E065E33871B88C2856711388AD3F2DA7FCF5E11012CBCA78BA45E7]]
FP4neg = [[09C91A7DF0BD105844585DD20ECA1F13AAF691335C71EF3F8E41F931C8F33651,0867349BFA69AC795EC0F06C1F3CFE1DBFC46383C0FF1BAB5695C8AFA5C74028],[22B1F0F0E65965A3459C9C1C12E08018FBEEE2BA4CA227E8A8AFAB4B5C1DFC43,1D5066956E8BDA90898AFAAF941B9E49D2515E16958B55AFEBB72FFB3C4E3E54]]
FP4sub = [[03AD20BB5552DE500506056439C3B8D8E966995B6A8BF95819CBF077A241A5D7,1BA7B8E70F966DEB7C1BD2E031B5EA62993FAAE9A5A427ABF841C3FB5EA7C098],[1BFAAB929C358A87B5D1AC31072E5DF01E7C8C314B4741E7D982768501F95605,21BAADF992586324C6B1F0421E9C86D23F6F896F75081B6453B1400D22FB3E8A]]
FP4conj = [[1A36E58217B319B56C6581926B9947BF794945BABB974FA230242ABD93281F62,1B98CB640E067D9451FCEEF85B2668B5647B736A570A233667D05B3FB654158B],[22B1F0F0E65965A3459C9C1C12E08018FBEEE2BA4CA227E8A8AFAB4B5C1DFC43,1D5066956E8BDA90898AFAAF941B9E49D2515E16958B55AFEBB72FFB3C4E3E54]]
FP4nconj = [[09C91A7DF0BD105844585DD20ECA1F13AAF691335C71EF3F8E41F931C8F33651,0867349BFA69AC795EC0F06C1F3CFE1DBFC46383C0FF1BAB5695C8AFA5C74028],[014E0F0F2216C46A6B2143486782E6BA2850F433CB6716F915B678A3FFFD5970,06AF996A99E44F7D2732E4B4E647C88951EE78D7827DE931D2AEF3F41FCD175F]]
FP2sc = [019284D5259305F56EFC3299E1A21969E9ECE1CFB0A6D5B444CBCB22EE846C8C,0599C9405D1AE7C7C23258E22AC00BDD35706B0152A1443EDDBD700FDA5F80B6]
FP4pmul = [[0203B9576FA7CC08F1B6811D6C48C203C6662031289C71C0D41CE7F78CCA783E,232668F7F66A7FB40F56EF443353726235F4E3EF0459AB49B45F97F90F3F92D9],[085F4C40601E09EC3C7D611E3A082651D033CD74BAE276F70F99906C35DF3232,08E6C13FE826CBE0A31FA30167A5B7B2896FCA770882232F99FC62B368540D3C]]
FP4imul = [[06A4B0863638F904E3B4C5EE4E050998235C235402B3712313A0385A0141B2C0,0ACA622C193324A1947B0E201CAC6C79E4F2AC62D50BEBDFBAA4C9E06AC5953B],[03EA2D2D66444D3F4163C9D93688B42E78F2DC9B623544EB412369EBFFF80C50,140ECC3FCDACEE777598AE1EB2D7599BF5CB6A868779BB95780CDBDC5F67461D]]
FP4sqr = [[0C1DEA6126F91F67CF658579BCE6707AFE0F7ECB295028715E231E1E9B36005E,028B77B7999ED2C127256292D7F67B8FC1F7B22873BD8CF2FDDA04EB9AE11C9C],[0872C838D37E2050CF75EC71363B733C1380290E998FC8F523F68F09EA08B96B,1F7C27AA51F53117F3B45A3C4D915B67BF7D1316FA4EB386B0EEDD5621907539]]
FP4mul = [[2253938FC48911F3676208C4449448179646846DD848443B5CE5402BF6A87320,01F1C303E1075A16A6E2D4F75A555C5EB09919680849F171624CE74D7D1825CF],[0D068AEEDEAE86B7F61ED4D45F6657FDBD98410A22CDDE7B0FE92B47E7932FDA,20A2E4DA39FFD3465CA655285EEDA722535A1C221691BCE97A9642CABAC9C8F7]]
FP4inv = [[02A6A9A7188204FEB5FD81888AF50C38634BE3B988E304D0902971E5F8E97E8D,0D903749899CF8F1542C74D165BF851D67C780476D65FCDB1476B61A8F1F960E],[1672EA45B4F6D51DF56A630704257838E854DDB5B49CB2478994BB02ECF825B9,0B33968C7715F25B8B9783FB465350A8758F94638F3FB0543573EA298321A328]]
FP4mulj = [[1E9E75A490A29EFAF4AC3DF7FB9E8503FAA2524A60F26CA9016DA89F3C4B97C4,07FDA879BBFB13E7925427FD4DCAAF437A3F6D0B4DE5002AE8656C981FCA70CF],[1A36E58217B319B56C6581926B9947BF794945BABB974FA230242ABD93281F62,1B98CB640E067D9451FCEEF85B2668B5647B736A570A233667D05B3FB654158B]]
BIGsc1 = 0E2D771E7884FE52245A2C6380C5102B8604C20B3C95B1DBE330A2CF3BB06B0C
BIGsc2 = 04
FP4pow = [[07E7EC7B77E83A59377BCEEC99B0F46F5FD70E36805DBBE6594A6BD718D74E92,113CB57105DEA3AD9493C2B29CF0AFE252AD71FF7FD894BA8E7D724FA8D1BF95],[17453E55C1051732C7AF3A018536F9DD9039F38818B3B2CD90B3DA5DA5A936BD,0537F1EF074960E6B147C5FB08D3C4C904EBDFBF5D9124D86103ACB07ACB320E]]
FP4frob = [[1A36E58217B319B56C6581926B9947BF794945BABB974FA230242ABD93281F62,0867349BFA69AC795EC0F06C1F3CFE1DBFC46383C0FF1BAB5695C8AFA5C74028],[17A0E2D2AD6032B8FBF2AEA8C5C23CDE27A37D53984BF80AC1D6DDDBBA0DEFFD,052A355032B85F1E79E4F6ED65B82F6568930F10796C984DCA25B23719258932]]
FP4_xtrA = [[0612B175D9224A12B34BF62320193FDD7E4D27134908E2F50AE3870534E560C0,0D4E914CFE56FB7509E8124351A4891BAE02F6AB7A9660F7CD02389B360FDD10],[0499D20E8E9394533C1A85DBB2BA58904229AF927D7114B76E7557487944C969,21F75BA214C94B0366EBBC29F7F641C7FF997F2C1E2083395988CE966B5D5077]]
FP4_xtrD = [[1FB01F5D087340185816411DDA7AAEA253FCA131E23406F07AA710822D1C6D00,1359E0EF8E722BB3E4A7436B167077CB4180792FF5BBC449AB05964AE66F9CEC],[0B0EE65717ABA925A5B87302054140B064221176305DF6E74F638051EA036C4B,08DB5A7F7D4DA604915C44419FBD85A73F1A2DD7E741470897E6A14F050F4E44]]
FP4_xtrpow = [[0255C9A6F225CA2BC25B3217096EF2A5C205AF3B3F7BB8790A0B069A61BFCB21,05179869CA4DBBAA9B2C9DFE0B4FCBC527102E427E1E342B1578A1093F8CF5A2],[102927AF1533FD5168B177E9510811A98B0E6A4C62CF7DE2D87CB7B843728655,128D342C70A976C31AF16FD9B4687CDE720D02B01C954404F46DA783F10BCF93]]
FP4_xtrpow2 = [[1BDA48F5A2F4665D2D085598F548B41489787CD2F267DDB981CCBC2134B48E5F,031347776B9DB14ADC743B9E56A6263B0690348F8833B0394488C09C5FE57511],[0D14233071B605190BE0EB5F6D60B59842C9E1A5C6E9D2EA93206E79A8FD3B8F,1034F8FDB1AA91FE60062EC163006E43A76C7EE8D0E186457E39E57E5613F5D2]]

# test 5
FP4_1 = [[2152DFDB15929E90AA5DC2C6324655043754C8A6E5B2F7DF7D80E2F17F46FD05,1ACB878A722FB59FFCA9C8CD6FA373055361B1C51A113B169C9BF8CFBF65B46B],[0B49BB9307BF76E0EC31D1410C6AFF9080CB417FCFC3551C6B33A2CC23247C6C,0ADC934212C733EEA44758D96D6DA1FDC77918F5F9B1030B9BE0A61C8D41FD61]]
FP4_2 = [[05873A4B9F27BE66E03E0B8202B0D297E68561C4364BF87DD27D33DA85F12251,0FAC65DB7F54D7E4241550393FA1214166F69C9A14306B331AEA9B060E32285D],[074F0885322AA6C68682BA6B9E7A74171D2C17B60B6EDCDC39E8F1BA8D40F4B8,14369A74C44B4C2D034D735F65F3151C6384AF8A80548D6C6643B8ED7C0505FD]]
FP12_1 = [[1E61C03490252FB4F30D2796E761983DC233C944E246FF0871E5B0CF88164AFC,11553A41343ED9AD1AB51382A8EE43A974465D86C85A9CEC8C6AC9D524FC9EB2],[166369173143F114EF0DFB9AE795E4117E3E3A09BDE678977808462F2BDAD8A8,0B94112E3039561AB96E35085B626AD10E0C2FE605FC91AD953BE8F853512A9C]]
FP12_2 = [[1E61C03490252FB4F30D2796E761983DC233C944E246FF0871E5B0CF88164AFC,11553A41343ED9AD1AB51382A8EE43A974465D86C85A9CEC8C6AC9D524FC9EB2],[166369173143F114EF0DFB9AE795E4117E3E3A09BDE678977808462F2BDAD8A8,0B94112E3039561AB96E35085B626AD10E0C2FE605FC91AD953BE8F853512A9C]]
FP12_3 = [[16A49CA47844492E82A98B17814DAC724FB5972A6F9BD1A4E1A9BE0D8F114B74,13AD243D389A0AACF99D8FAC88F99A22BCDE666598FF4654DCF35E888B80B13F],[1804AAF5993F6B700C98FEE39474019DE08885E5A7B37647496C61F5B8C0BCFF,1C26ED768C3F3009EBCB468A7E44425609EDBFCD3F170549F30AA22246385025]]
FP12_4 = [[2179C7FFFE4AC07296B38BEEDA182DC81087A6A4199A13AABB0EE4158052442A,1A2EE10FB97FD435A38D55FDFACB4F7E26C980FA4595EDFDC78AEE92248B35D4],[2054ACE3A7388D7860F002DD0C660D4D0E73A905EDC4A08CDA0952EA1937856E,1C6EB0E48934332F8B4DD6244E6C61415D3DA997A9C8DCEC0272B7D8ACD2C161]]
FP4add = [[02DA1A26AC4A32E9D9DDEEE3BA93C0C8F99A537D03F5B17B9197F2DCA91CC9A3,0677ED65E9146376700139A234E12D739618777116386767F9206FE6717C8715],[1298C41839EA1DA772B48BACAAE573A79DF75935DB3231F8A51C9486B0657124,1F132DB6D712801BA794CC38D360B71A2AFDC8807A05907802245F0A0947035E]]
FP4neg = [[02AD2024F2DD8B7D06601C9E481D11CEECEB0E473256470240E540FDDCD458AE,093478759640746DB41416970ABFF3CDD0DE2528FDF803CB21CA2B1F9CB5A148],[18B6446D00B0B32CC48C0E236DF86742A374956E4845E9C55332812338F6D947,19236CBDF5A8F61F0C76868B0CF5C4D55CC6BDF81E583BD622857DD2CED95852]]
FP4sub = [[1BCBA58F766AE029CA1FB7442F95826C50CF66E2AF66FF61AB03AF16F955DAB4,0B1F21AEF2DADDBBD8947894300251C3EC6B152B05E0CFE381B15DC9B1338C0E],[03FAB30DD594D01A65AF16D56DF08B79639F29C9C4547840314AB11195E387B4,1AA5F8CD56EC11CF51B7C4DE81DDF3B4883440599165B480F403111E6D584D17]]
FP4conj = [[2152DFDB15929E90AA5DC2C6324655043754C8A6E5B2F7DF7D80E2F17F46FD05,1ACB878A722FB59FFCA9C8CD6FA373055361B1C51A113B169C9BF8CFBF65B46B],[18B6446D00B0B32CC48C0E236DF86742A374956E4845E9C55332812338F6D947,19236CBDF5A8F61F0C76868B0CF5C4D55CC6BDF81E583BD622857DD2CED95852]]
FP4nconj = [[02AD2024F2DD8B7D06601C9E481D11CEECEB0E473256470240E540FDDCD458AE,093478759640746DB41416970ABFF3CDD0DE2528FDF803CB21CA2B1F9CB5A148],[0B49BB9307BF76E0EC31D1410C6AFF9080CB417FCFC3551C6B33A2CC23247C6C,0ADC934212C733EEA44758D96D6DA1FDC77918F5F9B1030B9BE0A61C8D41FD61]]
FP2sc = [09A0BA19D6751113F480EBDE8F0813EE8292B40B290F2A4495DB7A5CDD2A301E,1997B8EB265D7C938861C341CC33066E40CB99F45F303E21450891C84E5D986F]
FP4pmul = [[1BB7FAAD58D98F37515EE8B861B772668E9E0C4F04D22E4004B38B1CBCF9B7F7,2088F7432FCC21D24FD55958A174A2290A59157DE64FC80A206963FA71A9AB67],[02F8C7BE11ECE6BF83A2288EA30E3D568BE014AF31EE0FDDC3E0D0079B985E4B,01ABB23F84B94D3A7B888985A1AD841745B7936B716F4961BBF42725BBBF7A70]]
FP4imul = [[194B7F6C3CF9FC19973D6CEB59EF1F9770939DD14EB022D8BAD11FF7E8C9F2FB,232E1E29B7DE8264912B646CC9C6FE6F0507193838326E96F5A39B6045602646],[0926EE4C168DB1760009659FB748976EDEED2F112704158FEE68674130769BFD,07724D0842ACA5ACE05F84013B532123F9A48CE9CEBACD4CB11C7482D8EC9FD1]]
FP4sqr = [[23C6BD3BB6EC0661B343E7F416D6E63039464241CE44F0BEF18A2F9B8C92A250,0676D8D437E31638418AE238C36643C8058658CE10230ABA361220909561BD4A],[06A86BC2725F75B68A90C5B106DC06057B6B329EF8AA98DFCACF19012737A986,13CACF29CD14013654ED471356F6E920057F8B9BF8EE7CA6C1C4990F93326E08]]
FP4mul = [[1C899BA9EEBC9D86B91363299991BB192019CF26F96AA810BEAC7E9A982C2063,2303517330D95E78A5B071DEBAAEB3D810F1BC116EE06C4B60CB2FC2EB53A5C1],[0BE0AEBDA54610B6D5A68EF390034A2CC87BF5BDF3852F7093555AA22981D408,06214BCF6CF6A3983B546FDEFE1C77102370A30F5B6181E107AAA4CAA1C71F4A]]
FP4inv = [[1B00062E8A2C69AB0F256C11F754399A7EB6EBA63C24EEA2E14216397A9098EA,052C0730AD110C9922DB33CC913B3E63B2AD2B177698594E5E0BC7D2B1225DCA],[0766398C93512CA195FE045A6F317D9370D54E140F4CC8F7D20A342FCB873965,024696BB0903BF1C7CA736BDA23A9E3D9F5F1E362348EA6076FEAACC0300EB50]]
FP4mulj = [[6D2850F4F842F247EA78679EFD5D92B9522889D6125210CF52FCAF95E27F0B,16264ED51A86AACF90792A1A79D8A18E48445A75C9745828071448E8B06679CD],[2152DFDB15929E90AA5DC2C6324655043754C8A6E5B2F7DF7D80E2F17F46FD05,1ACB878A722FB59FFCA9C8CD6FA373055361B1C51A113B169C9BF8CFBF65B46B]]
BIGsc1 = 1080B96B67C5D8CA4EC31D909868A4CD4552C47156F9C1FB783EC83ABA98521A
BIGsc2 = 59
FP4pow = [[1AACF8834B8E48EFF1051005097D0573E4D1B1255F19438E713EFE743A4BDBDE,0D8FFC18A0E3A7D9CFFBE4A51DF8AD8F05353BF66AFC745BBEF3DC941720EA0A],[0944C769ABDBAC915CEC7E3916DC98C4BE00276DC751489BD200E7D1F373C459,0A3E0EC319580F2D7BE01AD5715142D467ADCDABA8E6A49CC1646EE2F08E1532]]
FP4frob = [[2152DFDB15929E90AA5DC2C6324655043754C8A6E5B2F7DF7D80E2F17F46FD05,093478759640746DB41416970ABFF3CDD0DE2528FDF803CB21CA2B1F9CB5A148],[0825884FEB28FAFCE1F66B1FB2B66311ECDF213300E05B6BF7703A0E51C93307,18FE4707E20EE2649EB840B98F292A0004FF4513551BC0599AC5A5375F4142F1]]
FP4_xtrA = [[1F4C79750FF418EF0BFAEEA566D18C0B76FDA63C91D9F209349E80E9043D036D,06377AD4F832A00931A6B685C4C909111DB634BBED8DE3B233EEB7DBF95C3A9F],[0F44B9302B9980D60D62B43688B54937F8819116DA6046B11A0B100DEFAAB447,1D1958B2C1AE98D1B6BDC33BE973789F4254020518A286927F36B73F74AD5EC7]]
FP4_xtrD = [[0520FD859436F34E0F4641CC2CADA2FAEEDC87E21AE83FE1B4EE8DA7EA1FFDF9,18DFC9BF6463FF13A9B30F66D8E62B63A742A3200C13125079A676CFCECCFFDA],[1D3BE2E881DE637862F468331FB205267D01B59E98314318A1365E996D80A25E,0583F5ADEA323F05ECBE1961B76EC6487031E699D44743DC3B1FC159519B1317]]
FP4_xtrpow = [[1AE8E56A00BDD9DCD685F846368DFB1C467F931DEC25B6EC610B5B87A1B492F9,0E84B4E51953C71892242342B9FA356B21E588EF7EBC118FA188D2F8A479EA97],[0FD0BB5228130469A8F2EE2ADA354D3F9F2444983D1A8FA0E32E9961CE1D371D,063F19502987A003B3309A264FEDCE852055024777570FC5F71988E0D11500C8]]
FP4_xtrpow2 = [[1DD2FE48081717343171AA86D9362A912F774F57A0E0282FE86013F5376212D6,1668BE2C829A3D43394B51F4BBDA0ED57968B84DE8CDA5D243D66261AC1C2B1D],[13F9AC7CFB468467CAB7DDC60039CC477F58A472CEC697E061E89BD9F8A67CB3,0B05E09A565A200309FA3C07B783216932055BEF1682619220C4F3EA8A7FA072]]

# test 6
FP4_1 = [[04C9A5DFA237346ED67F3F901C9CC92A2F1A810E5651CDC1E25D06E8DA30C6E7,0CD8C5B9D07536CB041D864AC6972CAD5947A6630C028B5D42A292CF4706E744],[0E8E3C6FC6C066A47F9A04738B4332DB31CE1143087AE6282F6841D051416E42,1AD3A333EF82A17E809F3C6C74A53EEFED0B871BA3F50579F0202D409B6614D6]]
FP4_2 = [[10D99C7E56B7AC75EF6B8B2A21262F5C4D3C14666464D792DA2201595CB9C4D9,021B13441878119DFA38A78883A9F8C1854C9D8BB00AEA85B8929C577C8C61B0],[02423873E8D0D994CAD21B24853E7590EEC3BECFBEB58C450EA80F821240EAA0,188158520B3698A075CEE6965F09C8C07F93D3E58E2094B100BE05CBBD598CAF]]
FP12_1 = [[16FD9F0D0671045D719A5A165D29DF36CD64D51EAE6D18FFAE126E81BA37F0A0,0117CE28FA12B0CBCB0908FDBFFD8A298687F430396C6A3B57AAC665DC888F96],[21A48659E716954DD4BEFC565ACA298B7FD38B06D3CA38BB062079247C3AFA8F,139B4A3BE74FD379CE92824FF2EEC9E3467B7A51FC45F49BD6E5EA040B603002]]
FP12_2 = [[16FD9F0D0671045D719A5A165D29DF36CD64D51EAE6D18FFAE126E81BA37F0A0,0117CE28FA12B0CBCB0908FDBFFD8A298687F430396C6A3B57AAC665DC888F96],[21A48659E716954DD4BEFC565ACA298B7FD38B06D3CA38BB062079247C3AFA8F,139B4A3BE74FD379CE92824FF2EEC9E3467B7A51FC45F49BD6E5EA040B603002]]
FP12_3 = [[2388C6E5A31E37992D35303E70F94DB7ACD0D25BAE84828E98E2DE7DDEDA9F8F,6CBA33B94563BF542144B381E4E2AF70E6096EFBE9B0D821E4B5A54A57C5AD],[10B82B2B222FB860712DBE3EDFB0FEAE0B148FE1660324741C8DC424BAA11255,0210BA50B0846D51D29C3E3531FCC64B161A0C4AB99BF8FF3329AA10C24F2AB4]]
FP12_4 = [[11DD5C73B660FF8EFB94BDD2B91E19D103E064CCF610728D678E7EAB468EDB67,1F16C1FCC5710B009271919D0F481ABC3902F72DB573B8670F87467CBCFF6D8F],[06564F33B4BB7B6F56A9922845AB9041E2D31A261F643842799078BC6B3E72D4,04A2457898E72EF3FA300D4A0FA195A9812816160E898A0424A929D684BF1E14]]
FP4add = [[15A3425DF8EEE0E4C5EACABA3DC2F8867C569574BAB6A554BC7F084236EA8BC0,0EF3D8FDE8ED4868FE562DD34A41256EDE9443EEBC0D75E2FB352F26C39348F4],[10D074E3AF9140394A6C1F981081A86C2091D012C730726D3E105152638258E2,0F54FB85F249101145B0439E594BA0DD485F84131A0C5B4932780F1CFCA44BD2]]
FP4neg = [[1F365A206638F59EDA3E9FD45DC69DA8F52555DFC1B7711FDC091D0681EA8ECC,17273A4637FAF342ACA05919B3CC3A25CAF8308B0C06B3847BC3912015146E6F],[1571C39041AFC3693123DAF0EF2033F7F271C5AB0F8E58B98EFDE21F0AD9E771,092C5CCC18ED888F301EA2F805BE27E337344FD274143967CE45F6AEC0B540DD]]
FP4sub = [[17F0096153EFB20697D193CA75DA00A1061E439609F63510C6A1297ED99257C1,0ABDB275B7FD252D09E4DEC242ED33EBD3FB08D75BF7A0D78A0FF677CA7A8594],[0C4C03FBDDEF8D0FB4C7E94F0604BD4A430A527349C559E320C0324E3F0083A2,02524AE1E44C08DE0AD055D6159B762F6D77B33615D470C8EF622774DE0C8827]]
FP4conj = [[04C9A5DFA237346ED67F3F901C9CC92A2F1A810E5651CDC1E25D06E8DA30C6E7,0CD8C5B9D07536CB041D864AC6972CAD5947A6630C028B5D42A292CF4706E744],[1571C39041AFC3693123DAF0EF2033F7F271C5AB0F8E58B98EFDE21F0AD9E771,092C5CCC18ED888F301EA2F805BE27E337344FD274143967CE45F6AEC0B540DD]]
FP4nconj = [[1F365A206638F59EDA3E9FD45DC69DA8F52555DFC1B7711FDC091D0681EA8ECC,17273A4637FAF342ACA05919B3CC3A25CAF8308B0C06B3847BC3912015146E6F],[0E8E3C6FC6C066A47F9A04738B4332DB31CE1143087AE6282F6841D051416E42,1AD3A333EF82A17E809F3C6C74A53EEFED0B871BA3F50579F0202D409B6614D6]]
FP2sc = [128533DDC252735B1F1D6ACE9A4842F53D6676528BFD64E519EE108A33F9281F,23D6F75071286B0FA80E6D0F788D1B21A717EB7ADEF9B6A532C4BB3DFFC4A42F]
FP4pmul = [[20E1C9C2F8A5A30D44A172CB9885DB5EBECBA4813EC2DD76247D081EEF979D8B,B2357C6B4F9403DBA1F1430E71C39FFF195074D41B05E2E8CFE22CE8B1599C],[204E8D355698D9AACBDD2030F9ABC3A4E9E2E77F56A36AE1E091D5D274298B82,1096269AD9A69BC4132B9154F79FC4958F3B411242C6CC6D596DCBE894EFF6F5]]
FP4imul = [[17F03D5E2B14062A307C3DD08F0FEDD2EB848547AF9904C96BD1228C42F3E283,1C3BDCA109D9E7E963D5C0116690788F9A266901240379F08EC6BA1D07072EA1],[C72E2ED0E1AD1B1C865778C38930A1B086A872FA540105703D0132DE107BE4,1A223003943CA94F70E28FF0D8100636347A1EBFEBAD5EBC756E7674F4AC6715]]
FP4sqr = [[17F0DF7E90B70137A7BA0467EDC8A4F0A7AA4C0B5365A0761F26E7A61BC28404,13A6BE164BE8C53CC50825E46E05236D113E7355A0474C14E059C4A7B27E43B1],[1B4C0B059F57BE441C91F5076126B34BF32838889EEE5D6967F7163FBD2CF7B1,0E01F87BDE7E3E1D25600599B115BA3C85BEEFA1A7D833E488403985D7552B03]]
FP4mul = [[0DF806337F87A8FB2D030E245D2F1005322C2BAEC6C14D270B00E2BB1FB0755D,0DDC713F88489C7459F0136C97E6C976D62B80FC469D9DB320C5110BDDDCB07A],[0CE3ECD7C622ED2222FA5DA1BD40A46612038B82E05464876497C21315E6DA16,07635863A0F500060ED745921074A6F2D9DDF653557F3D5A44A3A170E16F8143]]
FP4inv = [[22A6F8CE3C5CBE353013BC4EDE9572F7B5FC40A576F6E26C780F6FE69334D3EC,0231092E968C2A69AABC52B38DC4D2DC803DD4C34846770C2EE25D07CADACC9C],[0A36F0638221A0478A4FC7B345C7A071E59083DCF85FF4515FF9F479D0010CD9,5FF7F2E29134540A6C7A86D62BB0ED2F78B7863BDAE1E4182EAB068F6E8B80]]
FP4mulj = [[17BA993BDFADEF33AFB8A76B91015ABE690261157C8F1F8FFDAE387F11F6AF1F,0561DFA3ADD2DE154F7B617B85850AF7FA99C1709466ACC061224B21908C2D65],[04C9A5DFA237346ED67F3F901C9CC92A2F1A810E5651CDC1E25D06E8DA30C6E7,0CD8C5B9D07536CB041D864AC6972CAD5947A6630C028B5D42A292CF4706E744]]
BIGsc1 = 183312CEBD75023DD7F9240DA636D77AE7205A9E092241719C714484732CF6F1
BIGsc2 = 04
FP4pow = [[01BA57161D9F4229251EAD9101F5D7F502CFEE2B69A084B0EA2407515B2727CF,0B5690999315EB22AB0CE2A61D3C1A762D41545C76AFE21A1C91574AA94125D1],[1FC216FBF99775C3647E46207BFABD8130B824ABBF0DE9DA0D44BC9954F43C02,1647921222A3C2BB52CF5801E6040B70B417DFC1E1EB210C4B75E6DA77E0183B]]
FP4frob = [[04C9A5DFA237346ED67F3F901C9CC92A2F1A810E5651CDC1E25D06E8DA30C6E7,17273A4637FAF342ACA05919B3CC3A25CAF8308B0C06B3847BC3912015146E6F],[0F58CB632FBCA2B92E85DFB2A9FABB9B4CC07B5A6A3948E198A3B437E7846418,0F6825AA15FBE3B4120728E0B789EBB7FFCBADEB3E49822243C51C1675E613E7]]
FP4_xtrA = [[03B576FB2B1C9D3015CFB4DE64C87E034812A0374E4F5F17901D4649F1A56F69,197B9FD0E88CF531F36E7316CA426ECD5E33CA6C1381D2B82746630D1165A9F6],[0F2939D6D14429E49F9A641573EC863C52D428CFA4E0CC8BD64978C4883DEA34,13A5C8AFE0C797D558F1BB3A2AD79F898A039F0C8F5A352F1BC79C5E3B605690]]
FP4_xtrD = [[0E5D93BF4C489859FABB8547B48F129C497549EEA6C204F25A6CD9D46760F636,1DF532A2B36E81B46D8AF8B35B3A30E582EEFD7DA04B743C197AC2F8808BCADC],[146883E52468617F6B081E89FD49B22F3284842097DAEAD8086175F103947E82,1FA93EE3B513570C75E09F0E1FFCD1493B9626EAD7B8FFF6AA1A7017B205FEFC]]
FP4_xtrpow = [[2298CC54EFF58309902C7420AE55FBCAF46BDDC8062421DEE1CEF228CCBE3C8F,04C3F0B076D92679CF7404EF3D197F7F4D48BAC4D953B60AAB45BCD96FD8B571],[09FFBEC1B1A094DA57F2DD20B8BA141304E4FADD174BA4164BA321A45539FF41,165A2542D630CC5CEFF085F1AA5E2976B25641D0792E18FED9B50F64D593C48B]]
FP4_xtrpow2 = [[1465366137B650DE74C8FE921E2EA95308B332EEF474377BF2A2F5587B617CAC,0EFAFB1349595C5DB8FFCB8AA3F84F18AF6869ED268BE97910B70645CB8140B3],[091F44C76CF21E7ED5C60C54D4D1D656C17183180B50EA53C9EB8112D4EF8D16,0D348E625EB6DF73DDC2F2405A52C89B7E724DD632CDF868CABF768CF3C73228]]

# test 7
FP4_1 = [[0B21F0A54EDB611DDBCA106151569B6AE29E0E0CDBE3F4D2E4346127D5E101BD,1B226D5F685FF1901C1D11FEAECA67ED1EA3CF6C2ACA96527671BE234FC7AD1B],[03F6E006C37EF06700B5F92232CA6342E61B64EA04A9CE83532C30C7273341BB,2199BEA379F31C02479911631FAB7E57FCA9E2F31AC5FB0110D53C1D92640934]]
FP4_2 = [[12BA6329A1E9FB2096258BAE2F286032C2E753CBE4B3826E09CE0D3BF721C642,171807ED58D4D88F6E20EEB1847DCEA834DB56AC00A42BD7A7A2431172505188],[0A40C801AAA32CE9E2CCEC185EA44F9B34B7E620D0D1E0DC984F7334011F60EA,0D3988DAC9CC158B30CD1DE510EBE07086F76577C8FDB2D93DFAFE53F4801FDB]]
FP12_1 = [[076D551E08DDDC48E18477D79A96108E08589B22A2E9AC7E5CB2670353ED368E,20D90F31E4D5E61E08E755806750222B5E0910C6FAFC6474C5B96AE48093963E],[A5CACD27DED60F731FFBA7C48AE223876E121AB1B7C7AEF8FDDEB3DACD183B,0582BA815227CBB1C16DBB91EA0CE2059DFC93C15C3E2C1A4F3F4077B583D6C2]]
FP12_2 = [[076D551E08DDDC48E18477D79A96108E08589B22A2E9AC7E5CB2670353ED368E,20D90F31E4D5E61E08E755806750222B5E0910C6FAFC6474C5B96AE48093963E],[A5CACD27DED60F731FFBA7C48AE223876E121AB1B7C7AEF8FDDEB3DACD183B,0582BA815227CBB1C16DBB91EA0CE2059DFC93C15C3E2C1A4F3F4077B583D6C2]]
FP12_3 = [[0D41922E1B045438DBCF0AA819C3A970A4C0941693CDF164DB105F825F609692,0BC387BBC23D6F7EA385F35C8D567D3A4E8039D8970AD693302408B64631E774],[09DCAA2DDFBD2331821F3F5AE15CF535704475030F756494AED594625668434A,124BD19DFA9C06425254030194BA567DE2EDDD47F638452AFE97E292CD5A5259]]
FP12_4 = [[238BE3D73579DD6E1AD3E628FEDB3928A65BEEC9B5AD6EE879C0807075879FAD,23AC085C069535DF2DAFD6B62D747D6BD441C91DE2295ED28C5E03D1E0978F9D],[0C9F594B4909836B30BAC90C79AA7E14A03846E1A3F957B64B7E91C9CAE84AB9,08ECB3856C1FC3B085BBB764648ED175DB7F7C05F432EC2DEDB2874F2DD4BE59]]
FP4add = [[1DDC53CEF0C55C3E71EF9C0F807EFB9DA58561D8C0977740EE026E63CD02C7FF,0E3A754CB8C4A011D980214BB8E4CFC22F3F4F2A136583485FADDD4565FCA8F0],[0E37A8086E221D50E382E53A916EB2DE1AD34B0AD57BAF5FEB7BA3FB2852A2A5,0AD3477E3B4F077FC7A84FE3B633F7F55F61717CCBBA6EF8906A16822AC8D35C]]
FP4neg = [[18DE0F5AB994C8EFD4F3CF03290CCB6841A1C8E13C254A0EDA31C2C7863A53F6,08DD92A0A010387D94A0CD65CB98FEE6059C0781ED3EA88F47F465CC0C53A898],[20091FF944F139A6B007E642479903903E247204135F705E6B39F32834E813F8,0266415C8E7D0E0B6924CE015AB7E87B2795F3FAFD4343E0AD90E7D1C9B74C7F]]
FP4sub = [[1C678D7BB561900AF66264179C91A20B43F6912F0F39B14698CC77DB3ADA912E,040A65720F8B1900ADFC234D2A4C9944E9C878C02A266A7ACECF7B11DD775B93],[1DB61805214BED8ACEA6EC6E4E897A7AD5A355B74BE12C887942E182822F3684,146035C8B027067716CBF37E0EBF9DE775B27D7B51C84827D2DA3DC99DE3E959]]
FP4conj = [[0B21F0A54EDB611DDBCA106151569B6AE29E0E0CDBE3F4D2E4346127D5E101BD,1B226D5F685FF1901C1D11FEAECA67ED1EA3CF6C2ACA96527671BE234FC7AD1B],[20091FF944F139A6B007E642479903903E247204135F705E6B39F32834E813F8,0266415C8E7D0E0B6924CE015AB7E87B2795F3FAFD4343E0AD90E7D1C9B74C7F]]
FP4nconj = [[18DE0F5AB994C8EFD4F3CF03290CCB6841A1C8E13C254A0EDA31C2C7863A53F6,08DD92A0A010387D94A0CD65CB98FEE6059C0781ED3EA88F47F465CC0C53A898],[03F6E006C37EF06700B5F92232CA6342E61B64EA04A9CE83532C30C7273341BB,2199BEA379F31C02479911631FAB7E57FCA9E2F31AC5FB0110D53C1D92640934]]
FP2sc = [20E230D89E16C9B928767B3E2B36B49586A3484CD20AFF64CED64744F86F7687,2B917C76CB761711D3C76477A50873FF720140D10990C7AE6025CC4F88DF10]
FP4pmul = [[0619C43BE3A73E21AE8A8334B7867E6B26AB075558A3C2EB95647FD95F819B9C,205EE01CF52E3A11CC2C10FBEF58F0C62C12AA3465814045A5D3548FEC979B9D],[17E39D2B3B7036D5403C13A2EB126263548651F65D2D62441D0FD79BB7C7C278,1EA90523A7AB633E1B1A6D413A42527B6ABE36A237D89F3CDE69B1CC56531AD7]]
FP4imul = [[1ECBA3DFD0B41CA575FE82E36DA43DAE2B747D5F0F4E7E0F9AD422FFA72AB4BB,12CE903C507F0129E5B6EE662F30D44226D780D0A09A8A67CD11E5166E40B7D6],[17C9402894F9A26A0443D6CD30BE539164A45D7C1BFAD713F30924AAEB338A62,159A77D4B181D5C939E10B5C5A13F3F036BC1F0C2875A79DAD00B504A1CF8AB9]]
FP4sqr = [[0AF68CDD58C09DACCF2C5A7BB37DF14F0DFDD14D03BAC9370A4F62D30BC2F6BA,0CEA8FF9CB428403598C44FB6FE157A861268C2BE7B3A5B7889B6503010ADB5F],[10FDE488138612C0F8AF60C5BADC18BA878D6280792CF1ED3178CBEF38C98A62,0275C46744F54811E953B902D6622B2247CB69AF82857BB7F28689A609592D60]]
FP4mul = [[1852BE19CC106EA9D735D3E8FBF38067B67999E2D22F1A72439A1C14D3FF7025,04DD406EF361FB6C0844EC0058DF554304C9C69422359F5E6D0019BC9E13D0CC],[11086F55ACFEDD5D31178829E3D37FA5D259B7B1B159DF57D015226624A0615A,0EE8B9E6208C12452F426AEADED680E6AB64310755A6E845B0F0804ED4ACB824]]
FP4inv = [[05B35582692B61CA1EA664EF5B5A31D7F00AAB87AB15FD5EDEA25416DC0E3991,0C5F80F2FCD3E47FB424C0E988CE6A30292B68D166B6B83EBB964C895C59EBF1],[06D28A1AD80D7067EC444EACF1F07494352E86FB4F3944D21EEBAFAF40B57932,0362F5059AF60C914CD8666F4B687446273ECA331C6DE79F0EFEE45F6F234EB0]]
FP4mulj = [[065D216351FBFE7269DAC7238D824BBE0DB158E501ED126400BD1898F0EA8E3A,01909EAA3501E25B97912B20D8127AC7BE8570EF07668AA2A59B48F55D7BF53C],[0B21F0A54EDB611DDBCA106151569B6AE29E0E0CDBE3F4D2E4346127D5E101BD,1B226D5F685FF1901C1D11FEAECA67ED1EA3CF6C2ACA96527671BE234FC7AD1B]]
BIGsc1 = 0517100AFA0E578EEB6CD3C149938DA1701084511A09EBD6ED9FE6256EB558D0
BIGsc2 = 0E
FP4pow = [[078479D02F56347E871E178D1EB980E8EEBFD223A05EEF4DA65CEBA67B9B0102,0A7A9C2F434F7B16514A3FFCB498BE3C18C8F5CEC3D6ADB66AFFA074BB87D5F7],[116711B92D0B88310593DA405C797400BEC2945FF765FE30C48779E2C9551CAA,06BABAAE13493DE44FB989FAADDD5482D90EE5E36FC33E086E0B1EE432CDB6E2]]
FP4frob = [[0B21F0A54EDB611DDBCA106151569B6AE29E0E0CDBE3F4D2E4346127D5E101BD,08DD92A0A010387D94A0CD65CB98FEE6059C0781ED3EA88F47F465CC0C53A898],[077A4A73A16A54F73202FCC5845357021A96D0EBD29AD2CDD58B5B57E0BCE49F,10EDBACD0BCB2C622E3AB07878C3386EFDD3794A946223566C6F27F7E544FC1F]]
FP4_xtrA = [[1A3740C44E26197833213C5E5BB7F8EB3D88C6B8FC5FB2C69B84230247C01130,0D0BBB173FE3605B2E0D5923FCCE1EEFEBC58F652F6D447D3B69AFB3AED0FF2D],[20449ACC1C97A4DA1583960DBB5388F6557A86EA0F0F4E068F48CA75B8CB672B,21AEFE124A8E0FECD06D09771EA2A900B1F5044DBFB263D5789C84CC52997CBE]]
FP4_xtrD = [[18B2AB92C37A057EC856191D8B34214C6D018C2163FC1E73004CC472BC1C48F3,1EA5B53B0B62F4FE82CDDFC7071355746C5E9B2FC230F6D61884309B19B22C8F],[18EBA4959A83F38EFA1B530A2070DF4053C42C5482808EF3D7D12D7D87300DD8,21A941AE306B5608C7C7FC649B55C0FF1CDF58A7A00832D855CADDF1D205EA15]]
FP4_xtrpow = [[207C842442F68573641E8ACD703B9B58075FBCCE9CA5525BF9C7C8205BC321F7,028D9A75B58FCC6F36722F37FFBC424B8C961F29E25023560FBD754AA1F4E689],[114721D45E2C1D3819027427A190A1DE7935CB82C46E4A5D8BF2776140FA807E,0699BB656E1CF0A3A3AABC3244F3F2A457233C2DA9B9C8E8B8AF44057AF79443]]
FP4_xtrpow2 = [[154ACB08F86EB04AAC98D8BB727ED501A59C015DFE7EA883172D2C73C0508094,06AFD15895C4E43E1EE0C1E6A752067BA5CD2A59A67C32D18E7357A96665E127],[1B57AE7769A64907400073F33AE971FC625C50DD4BCF70AD7FD56704D9B2CE60,1FA89492ED8C91F0EF1E61089A07FFD0823C052C940642986F5F4E5578ED2D57]]

# test 8
FP4_1 = [[0B07866BF0D5E21232795BB0055DCC3D0FE9D6673F021CB843B04FCB2DF92C55,17B332954927B7C2E78367F0B26B4C0512FBC27C1FF976C4C5E37789AB10ADCC],[1EE4A53CAF4435ED03C9BB554BCC30EC4988CB7291F33CFE848DD31FA51F96CB,15BA2ED473271FB5678C5FCA49ED543E7DBBF6EB439DD5EFED173E29E66432F3]]
FP4_2 = [[0F56D75C6B4F9638A5468B1D4DD07D8760DCBED34B4683A4720C9C69D2361EEA,C46223E1112649F57F4DDA31BFB81A6FAF9962C321A07DDA79C00EE4F29EB0],[0C9D92EB9D29B2BC0623523182DFECAF3DE757854328DA15B2FF9059B36A801B,19EE8A0DC2B5C3718749ED78A151722D49DC1C3FA5A2C23FE6A278EA9B8E2914]]
FP12_1 = [[111A0252A74DBBFD1618CA8AC793AA866770189B845A333EFB3C207149712080,172CBBC6FFE5F88A68BF09269467962B87D9E4B1545132CB92A1EF054CFEF9FB],[1FBA7B0E7B4C4DECB6535457937A5C0232E71AC9ED9CE498FFBE774815E590C2,0433B45FE79CE7DFB6B0046D90230B5AB9332D9B28FEBB2B99E8E5760D98E234]]
FP12_2 = [[111A0252A74DBBFD1618CA8AC793AA866770189B845A333EFB3C207149712080,172CBBC6FFE5F88A68BF09269467962B87D9E4B1545132CB92A1EF054CFEF9FB],[1FBA7B0E7B4C4DECB6535457937A5C0232E71AC9ED9CE498FFBE774815E590C2,0433B45FE79CE7DFB6B0046D90230B5AB9332D9B28FEBB2B99E8E5760D98E234]]
FP12_3 = [[135B2F846A8EF7800FE82F3AC1FE90ED3F82650B48220E92A0C583139E875D69,1EA261D901D9EC3DD28E40BB53F8C23EC4E72B0EFAB3590E107D9F456D36B46E],[1E2C2EBB8BF5F0EAEF422C27301C1A5ED6C7C81B4BE4C32680ABE9BA1EAD8040,085349D5ECBBB254EA52A73A079F208DB88AAB0C2AF979D16B0DBB107FCF4A41]]
FP12_4 = [[166A0B296848C2839E4383667E9132C035A00FFDACD3272AE9936F05C3BEDE8D,12DD46060FED448CDA61063E5BA241E466FCDD11F2653DE84F5F04F12060FDAB],[1EE8DD83CCF705B4CA02E2797A17167CBB2284343117177DF94BFE771BA2476B,15973F10653935618A6A7B669E8BEEB8F7D72EB539B2846A946FAAA628142455]]
FP4add = [[1A5E5DC85C25784AD7BFE6CD532E49C470C6953A8A48A05CB5BCEC35002F4B3F,187794B92A38DE0CDD02B5CAE42B041F82AB5BDEE31B1742A05D379890034C7C],[0782382843FDBE9B592F2E225448B6C863304C09BD12D83279273F89FC6EC133,0BA8B8E22D6CB9193E186DDE70DB5F98A3583C3CD137594E1553932525D70654]]
FP4neg = [[18F87994179A47FB7E4483B475059A9614560086D90722297AB5D4242E22295E,0C4CCD6ABF48724AC93A7773C7F81ACE11441471F80FC81CF882AC65B10AA7E7],[051B5AC3592BF420ACF4240F2E9735E6DAB70B7B861601E339D850CFB6FBBEE8,0E45D12B95490A5849317F9A30761294A683E002D46B68F1D14EE5C575B722C0]]
FP4sub = [[1FB0AF0F8DF675E73DF0AFF731F0B588D34CEE820BC4D7F59009D750B7DE631E,16EED07168169178F2041A1680AB93EAA34C29195CD7D646EB69B77AC61E0F1C],[12471251121A8330FDA66923C8EC443D0BA173ED4ECA62E8D18E42C5F1B516B0,1FCBA4C6B8E18651910051B622FF48E4581FB199B6045291C4DAE92EA6F15F92]]
FP4conj = [[0B07866BF0D5E21232795BB0055DCC3D0FE9D6673F021CB843B04FCB2DF92C55,17B332954927B7C2E78367F0B26B4C0512FBC27C1FF976C4C5E37789AB10ADCC],[051B5AC3592BF420ACF4240F2E9735E6DAB70B7B861601E339D850CFB6FBBEE8,0E45D12B95490A5849317F9A30761294A683E002D46B68F1D14EE5C575B722C0]]
FP4nconj = [[18F87994179A47FB7E4483B475059A9614560086D90722297AB5D4242E22295E,0C4CCD6ABF48724AC93A7773C7F81ACE11441471F80FC81CF882AC65B10AA7E7],[1EE4A53CAF4435ED03C9BB554BCC30EC4988CB7291F33CFE848DD31FA51F96CB,15BA2ED473271FB5678C5FCA49ED543E7DBBF6EB439DD5EFED173E29E66432F3]]
FP2sc = [07C2CD51F6943E7B01C587DFE431EC7FA96EA59D5D77546AB135C71D2635FC47,1A536F856ED01667A1CE2B2484AD7516D8DB4D160DBEE04CC19C7303F7962DE9]
FP4pmul = [[20A1C3A84576FA6A98FA9908471E4ED007C2EC96AC5CCA2B2720A4D988FC7CC3,97609F2E5A52238D9AA7878B7C4A1AB8B8A34FA788303D3239012EB17B57D9],[1A9B7F156186E9ED70C2535EE8FC68C52289198015C488B351EFD62966DDC5FF,13214F008B394811F62A095979D6DCFBF0CEADACDE57DEBD6BA09B342396420A]]
FP4imul = [[0534ACF384F8DA63FFD5C30730C9C80526E52EF688FC4B465D05E6AF89998AED,15E66214DE555E1D91A05A02F76178D6F3E2F5AC7FAD43DA6F9FB5063D0769C8],[4084A8983C7D28F610E2FA3440ED83293E868D6D6F31AB297BEE415B391D5B,081747CF045135BF11DF20F61BEFB268DF2464B6792BDE08820A2367DC500DD9]]
FP4sqr = [[03A5DDA0602D402D8135F786F7C2DCE69A7B846A03A1DDE05711D20D1691179F,19C3461FDB63094E672CFB3C0C8A92221EBE64C565D8415B727154C628211681],[1B16167EAA92EBB6C413897AC69B2333712D5FC8CAC6C61000FE96829C0A2EEF,094F865B16376609B54202826682E187825F838C0E7DD88BF2541179B72AEBDC]]
FP4mul = [[16D102A995981EB8E8FEC733FEEE4F0F0E91229621A0913A7A300CC2CF4FA62F,14A020878D90653E87330D6ADF192EF9C4B596C572B61A7CB8ECC98447156D4B],[0589534C3F15B769565E207AFFE66F34AEE6853DE85514EC6C1526A7887733A8,07CBF218D342E5954E799F6E1E448AFB18091671969947C9CACB3CF1B47AD59B]]
FP4inv = [[173508811584D81398D0605BBFA0D7362DB6EBDAAF89C9C7B3A9593375C7D1AE,204F74DDFCEAA22DEB261A8E0E82FF021CFF0925E6321860999D2E0BAA95DA75],[0881FCCA75708A29AEBA8137C038621A66A3C3C1B1158326483AABB632C65090,19094DD4266638A2EA99F2264DC5C92EFDD4630B3FF00B117CE7CE484F1C2F8F]]
FP4mulj = [[092A76683C1D16379C3D5B8B01DEDCADCBCCD4874E55670E977694F5BEBB63D8,109ED41119FB2B94BA983BBB1B561E57A304EB6FBD87D40CB33EED5A2F68740B],[0B07866BF0D5E21232795BB0055DCC3D0FE9D6673F021CB843B04FCB2DF92C55,17B332954927B7C2E78367F0B26B4C0512FBC27C1FF976C4C5E37789AB10ADCC]]
BIGsc1 = 0C29AE83E9EA97E99184BADC8F78E62D77D65D82F83003020F0CE92C73EE834E
BIGsc2 = 1A
FP4pow = [[E91DAC16CA410E20CE6B174BD6848AC13D95E4B2CFC9DAA369FB9F14044EC2,19ADD80783509C10479F9DC4A7CF2F9AC946D86E2D60C0218765E10D94102284],[1B3D37EAD40F81B971D75BDB7AD8DF3ADF551C3900CA4DD0107117E54233817D,1E984D8CDF9D70FB74F38890915638186AF86612A31F2782DED22E007516AF7C]]
FP4frob = [[0B07866BF0D5E21232795BB0055DCC3D0FE9D6673F021CB843B04FCB2DF92C55,0C4CCD6ABF48724AC93A7773C7F81ACE11441471F80FC81CF882AC65B10AA7E7],[21F22E73FA1A851C34B247F5A9788E8A82F67F11687512F0C74DAC75E952F12D,0E71273399FD2094A9C0F8F458457256B81EB2380E31D8AD23BDA693E679D449]]
FP4_xtrA = [[08208282154291C6A01198D113B192E574F47D5290D1FD0EED0AE01684AB4D76,0ED35879F8041D9379942691208D580446BE3D4FF087A10ED41807CC907FB33F],[1F4D337376FEE632A57F473072C8D824C9566524DE4BDDE76462BF1EE4A94C86,1AAC9410FA2BE018BC053D8887A015B8B0DE04639F6128404C65DC8E5B268063]]
FP4_xtrD = [[1196D0C886F1A616CD011F8B676AAB3F9EE7AE899DA6E3518E17566616BA14A8,0E5CE0F55183C3D648E40ABF221760EB1D06B6BB3DEE92B3A51089A22E1B109C],[10DF60F7F83B03756A2B415C696CB765BBBF48D1BE9AC2498D4DF4E32E12B11F,10C3E403F4157B66D39CE2B27FFA233159979A747DB0458A0E1C69DE27D7FC0F]]
FP4_xtrpow = [[16E42ABEFB7C406D3A29FEC87AB86404FABC7B42552C6B9DCDA3966431F1FAF6,1AF8576C7BE743B003B80A3CFE775ABD9180889C010425170FAE6BCD2C56C1B3],[204F845C74664BD216D222ECD50E2EBFB4CAD84358075E8EB382789A314F06B8,1EF52D7B60872A9D5C2F91984FCEEE10E92B6D7B85452C56DA4F683B550F4F41]]
FP4_xtrpow2 = [[1A48B9A78303285A70F1E0B400AE84033DCAAD81B63435800CCCF803651FD7AD,058B94678B42483AB5AA840A55336087AC8EBA5455FADE45C7537EF9ADF3E99F],[0717B67DDEF17B936262182574E8D5E19E48E552EFE68B5BBCE2111299FA57BB,039E4BFEAA374817E2E68F5030758BC58A183B30C63E1A1A768D62454FB1AEB8]]

# test 9
FP4_1 = [[03055F2ADB31FECC5BD47F17994C09A907132C9C889BA152B0CDC2FA89D337AE,19CADC5A0A8CB86CFEAD1B2737190E76A5335E4C66DF11CE0C7CBE145390F39C],[089252478336C49B25ACBC7FE2A842C99E3B07B4735117B184546550D568D725,18E951D028939B9689DECC8D73071E48A635CEE40CCC26447C842DBA8131689B]]
FP4_2 = [[16C0A76A05BBCF7DF41FBB4E89C5CAB4F257945FA0E2104833662A17C7C402BA,163559FB2E121E9B41E7E3C996981E22792361C5E047E7653348FB371AF7836D],[141CAE7357CA590DE1E449F89DCC6CD51660D4BACF26A2C6DCB2DF79F841F1B6,05C5A701C85162B83219683BE6B6AB43E16D98FCE5D20FCD269CB32D41F59AE7]]
FP12_1 = [[0D4AAD00B7F4F6755DDA0811D287B753A422ED797E1D3A95C9B9A50491B50E5B,10272725BC1CF4516038AA8C02E6B90A4972AE6E2D045749505473D734D7898B],[1F2B25224860EE93819617610E4BEF7B8AE2FB8CF518F23D8C8E3E36CA71677E,0D00E7634C76063ABE35259C08337727D8FF700B56A1F202D31A9DF47502FC6A]]
FP12_2 = [[0D4AAD00B7F4F6755DDA0811D287B753A422ED797E1D3A95C9B9A50491B50E5B,10272725BC1CF4516038AA8C02E6B90A4972AE6E2D045749505473D734D7898B],[1F2B25224860EE93819617610E4BEF7B8AE2FB8CF518F23D8C8E3E36CA71677E,0D00E7634C76063ABE35259C08337727D8FF700B56A1F202D31A9DF47502FC6A]]
FP12_3 = [[1050A1EC0FB220A3CF79698D93418D02BBF37B8D60897A2FE175B2911A94C9CF,0278F61DFF3FE4D0647F73B4DF839D98C514377BF1A0CCA1AA0C4E9D50B4EEE5],[15DDEB7EF9245765082770282866E2DBB72892DA45BD513484DC2C28242A9483,0A969E4EE3AF993C5729E9094FB8F005FA258AEA80FE5EE0FD6265021191E287]]
FP12_4 = [[02B00D338912579D1A3BD2DF371BBBB6C39BA59105F69ABCCF4BFC2140A5E7BA,06AA49A48381E838E828641EE206E29E64C436CC1140F8A655E8F12DC428C6F8],[059365BD068CF931AA680B1FA107E4526939D9F858D1E9068E2972F11CB820C6,0F0D46C780D78D9146D38CA4E5914BC5573913FA417F8DB71EBF84C5782F9805]]
FP4add = [[19C60694E0EDCE4A4FF43A662311D45DF96AC0FC297DB19AE433ED1251973A68,0C003655302EACFA8FD71F8C534DC5C5FA16E9242F1DBA51815F955C126D2156],[1CAF00BADB011DA9079106788074AF9EB49BDC6F4277BA78610744CACDAAC8DB,1EAEF8D1F0E4FE4EBBF834C959BDC98C87A367E0F29E3611A320E0E7C3270382]]
FP4neg = [[20FAA0D52D3E2B4154E9604CE1175D2A1D2CAA518F6D9D8F0D9860F4D2481E05,0A3523A5FDE371A0B210C43D434A585C7F0C78A1B12A2D13B1E965DB088A6217],[1B6DADB8853965728B1122E497BB24098604CF39A4B827303A11BE9E86B27E8E,0B16AE2FDFDC8E7726DF12D7075C488A7E0A080A0B3D189D41E1F634DAE9ED18]]
FP4sub = [[1044B7C0DDE6595C1872A32D89E9A5C738FB6F2AFFC2CFEC3BCDBCD21E2A8AA7,0395825EDC7A99D1BCC5375DA080F0542C0FFC8686972A68D933C2DD3899702F],[1875A3D433DC959AF48651EBBF3F3CC7AC1A09E7BC33B3CC6607A9C639423B22,1323AACE604238DE57C564518C507304C4C835E726FA167755E77A8D3F3BCDB4]]
FP4conj = [[03055F2ADB31FECC5BD47F17994C09A907132C9C889BA152B0CDC2FA89D337AE,19CADC5A0A8CB86CFEAD1B2737190E76A5335E4C66DF11CE0C7CBE145390F39C],[1B6DADB8853965728B1122E497BB24098604CF39A4B827303A11BE9E86B27E8E,0B16AE2FDFDC8E7726DF12D7075C488A7E0A080A0B3D189D41E1F634DAE9ED18]]
FP4nconj = [[20FAA0D52D3E2B4154E9604CE1175D2A1D2CAA518F6D9D8F0D9860F4D2481E05,0A3523A5FDE371A0B210C43D434A585C7F0C78A1B12A2D13B1E965DB088A6217],[089252478336C49B25ACBC7FE2A842C99E3B07B4735117B184546550D568D725,18E951D028939B9689DECC8D73071E48A635CEE40CCC26447C842DBA8131689B]]
FP2sc = [0985B04F78EC9D0345F0D0DA85A8E5A768936144D615F5FA62BAD74A3F82D021,0E323C5885F7F37C6AAD97E1482D74DB34C8808549EF777D2442A8858A6E563A]
FP4pmul = [[03333597807B07D857A366312BEB769A1587027F6A3E6F30026E71A0C0D4CA53,0AA1BE66209E562C349F3B3180C330EE5B3FFC4E47C8543977B665C7FDD416DB],[23E6A58A7928EEF5C384534E7FF3BF2F161BB5063CC79AF31F7A6D6232376C86,11F53C8EE30E7B4859D34A81E3F3E40FAF3D543A98BA91595C0D1844A67865BE]]
FP4imul = [[182AF956D98FF662DEA3F8BCCA604D48389964E444DD0A95866E17D44E99BD70,1A56E2D02A34F12381B37C4354D77195745BBFBCBECA5407ABE73CF5CFFEF061],[2092923C1145FACB7CA8049A9ADEAF79CD9866B5827F7EAA643D06974F2B6375,134A8E811A6C0A6FDB4107753447F0257C6F4479EE32F7BB2C22BA273D029859]]
FP4sqr = [[200FA8CDE41053241D37822C3CC9186D0A61E1128E9BEEA08F3131498536A223,2320BDD85C50A1DA44824A3898F0C3BB8711CA172EC9512DBDC4E7A79974ED25],[1CBBA649B8CB48AA2A8935337D6168D0AE76BF3C7E028105206648B35190AB3B,0D7845A7AF50A10285E1BE1DF8B56D23E6F17289E3608D4BC62CE97B02C3198A]]
FP4mul = [[C842C0CA5035D711F3870FB89050BC8AF961A9376ABEFE86F8DB88EE14452B,0458AEA3A85B924EA6E7FC714DDA3785B2079839F85D01342D66E57888BBD403],[0B1F1C70C5C122F955935A8E2ADAB87C7B5CC1D0BB92B4BAAFB3EDDEA2D05DAA,0D5E6FB176D14F2CAFD65ADDE287C8897EE92DF13EA2377D768E51C403E8E367]]
FP4inv = [[0AC1CCBE791AA995C67630B374DDB315B86F4857805B7AAC72D02ACEEDD44C72,01335D00AAB7E5E3D24541D1B524F9FBEE70852F6CE3CCF36E114F16C8A555FB],[225FB13045590D6A041304C30122A2541AC28E0962B8334DDBB68DA8ABDD932A,1DB29AA409FFC2F4F199E4D7381BCC994778868480B387B70183B6C87979DE6A]]
FP4mulj = [[13A90077631353124C8BCF56EA048B541C450FBE7E8E304EC6365B85B052C43D,217BA417ABCA6031AF8B890D55AF61124470D698801D3DF600D8930B569A3FC0],[03055F2ADB31FECC5BD47F17994C09A907132C9C889BA152B0CDC2FA89D337AE,19CADC5A0A8CB86CFEAD1B2737190E76A5335E4C66DF11CE0C7CBE145390F39C]]
BIGsc1 = 1FAF3A7DB4681AEC5EC81E5AFA49E03F117B26837072F413F973E62D73F6F84F
BIGsc2 = 2F
FP4pow = [[1C6EADB31D52B0D601474F18417001F00BF07A142B4E886FF6D2B6E26557CBD9,1B9FE700B77DF2A6FD0454F4BED0328D2E707CCF4BA52D0132C5D1AA799D9E9F],[1CDA8496CA78D1C1FABBB25A65C184483D0CD9FEF3F46E20DC686AAC33C0A2C1,06952203A32B817DDD059038E6B37A3A61F235F89AC7B08B3CC7EA20EA513624]]
FP4frob = [[03055F2ADB31FECC5BD47F17994C09A907132C9C889BA152B0CDC2FA89D337AE,0A3523A5FDE371A0B210C43D434A585C7F0C78A1B12A2D13B1E965DB088A6217],[1553426E8145D018BB7813783A3BDDAF58067796880FBCF08C27C2150E98135B,1215C88A5F0726508F5D007BFE2482E52784D12884BA94A34D545BE53D7015CB]]
FP4_xtrA = [[0D6963009615BB2DBD01B115B7E9CEC6DACE0C55B4E484B1CACBD17E1544118A,17D2F698386BD4FC913A7F85F8218A960BB2652891575E8668BF3FF2ABBFA675],[16D060874869D090F1980BE0569977DF5C3E8A0C6632EAA76BFEC3AF9CB62CAF,0EDC9EB79F45DC40C8477004A8190F7CB65FD27FBEAF30496FBFBAD309F7FB67]]
FP4_xtrD = [[1A04EA782DAC558B658E83FD0A31051AFC3B87D97D64ABFB2D95AB54719032C7,138B05244FA75B0DF7E5F34EA5220DA160EAE46C79146C7363318F6E4E6E5BA0],[09E04AD8B6C8A7D2C524CECEC84E8790C6ACF7B74C9B71866AA8EF65A04703D2,1B4AE947F807AE21E8E177D4646042E20F1D3963E4EF9AF300CF2100A90A950D]]
FP4_xtrpow = [[093EBDCEDAE9299DACBF81E71B2E7C4BC08490E72A2D7114CB9AEA746ADB7F18,132432FE3BD3051B88E78C1562491BA86475615E2850D82657E0C0D0299D9333],[0129963C5C55971AAAFFA3A7FB4DB69B0A4781A36CE7766CADA02A7C425C2061,1860FD166A9E480AE0333346AFBAEC048BD0ADE39A5B8089AC64D5B8F9F1A5B9]]
FP4_xtrpow2 = [[1536267421DEE5BB516665F0976CCFF46C09CF2FADFD58295707FAB14AA4DB34,10BE31AA6B0F7FCAA59F05291CBE6F4AE3941E7DC746C766C9EE412AE36C26B3],[01BB1C90746CA07DFCDCB4655869FD0FDC9C49A2241509F6970B8AF02924C92D,16927EDE686B06EFC4F3C076CA5C638F4712540438E293340D00BC84AF5EE864]]

# test 10
FP4_1 = [[0495E3767DE4B0B5DADABAD1D589046F38A009D3BFA0A8CA2B256DA74F301994,168948062BC5441BD890FC806D784F8E92E8253BA712B30656C0A9DF2A9A7B45],[05B295DFA714CADF15C02418630280F9D7C077B401DA89C898A8CEDCDA63BA42,20292296CEFF45018CC2831CA23F83D0442C3F0BDDD9212211F673B6BC1E91AF]]
FP4_2 = [[1B66A2BA3281360B6AA75CEAB7AB6F870D6DC88D19B39AEB7E1FEF0E62DAB8BD,05B07B555B4FA3174F0A3D563147DEAC0FA828F9814F973FA60A563E09304C2C],[175CDBFB63C0C1C1F9ACE7937516BE69E786630BF877EA6A77F8E3A61EA3873B,06BA49077397C6F6BE99C6AAD966E44FCB92954EF8D7E1D975B1766BCD659A1E]]
FP12_1 = [[1D12C370ED2A1F041D7C93D4DFA1906BC2C2F011122D0564E43190C5CE974C97,110E96E23662CAA04D118A04CC278DB324CEBDABC5783C5E2F149283C703DBF3],[0D0A8CB723E6438F0992FD9FB2531CF029AAF820CA8EA541352BD700023715B2,091B0286FB724E3457A73BD81549E9CAC1C03CE3D9ABD48EA4A02AAE625ED853]]
FP12_2 = [[1D12C370ED2A1F041D7C93D4DFA1906BC2C2F011122D0564E43190C5CE974C97,110E96E23662CAA04D118A04CC278DB324CEBDABC5783C5E2F149283C703DBF3],[0D0A8CB723E6438F0992FD9FB2531CF029AAF820CA8EA541352BD700023715B2,091B0286FB724E3457A73BD81549E9CAC1C03CE3D9ABD48EA4A02AAE625ED853]]
FP12_3 = [[0D90125565AB6631977482B90C99AD90AB3FA7E47EC8BEDAEBB0F2B37B8C59B3,1FE4409BE1761E3BE784764F34D8CC3E442559B9D59144E94447991ED64EED68],[17EB6D582C239459071DEF524BA5F49AF6976D8D5ED57FC3A341162A132EB6B4,21FD1E4021CE59DF1AA8DEB40BF6FE96B8DC294C8AAF2321D5D1F64B987C2031]]
FP12_4 = [[0D69A2FFFEC4C9742B914A093BEB6496F7286D0ED045629B0460C003B3436362,1A99BA0094747205920B63EAFD6EB4973FB84C8DC7D92BF8880F569C75C0F0F1],[1F7F35C82ED8436B43C4E5BAAA212E4D45C18166D22208E148836F0B93D260C3,0AD675F0F38F34E9575544D662EA191B128B886E7FC982281CF4F899DC5752D8]]
FP4add = [[1FFC8630B065E6C1458217BC8D3473F6460DD260D95443B5A9455CB5B20AD251,1C39C35B8714E733279B39D69EC02E3AA2904E3528624A45FCCB001D33CAC771],[1D0F71DB0AD58CA10F6D0BABD8193F63BF46DABFFA52743310A1B282F907417D,02E36B9E3A26E1EA9A9E6A630143014CEB7EFD6CBEA7C419C941C6332D68D61A]]
FP4neg = [[1F6A1C898A8B7957D5E32492A4DA6263EB9FCD1A586896179340B6480CEB3C1F,0D76B7F9DCAAE5F1D82CE2E40CEB17449157B1B270F68BDB67A57A103180DA6E],[1E4D6A20615B5F2E9AFDBB4C1760E5D94C7F5F3A162EB51925BD551281B79B71,03D6DD693970E50C23FB5C47D823E302E01397E23A301DBFAC6FB0389FFCC404]]
FP4sub = [[0D2F40BC53D3A4B820F13D4B9840FBBB4F721834BDF64CC06B6BA2884870B68A,10D8CCB0D075A1048986BF2A3C3070E2833FFC4225C31BC6B0B653A1216A2F19],[1255B9E44BC4332ACCD11BE9684F29631479EB96216BDE3FDF160F2617DB88BA,196ED98F5B677E0ACE28BC71C8D89F807899A9BCE5013F489C44FD4AEEB8F791]]
FP4conj = [[0495E3767DE4B0B5DADABAD1D589046F38A009D3BFA0A8CA2B256DA74F301994,168948062BC5441BD890FC806D784F8E92E8253BA712B30656C0A9DF2A9A7B45],[1E4D6A20615B5F2E9AFDBB4C1760E5D94C7F5F3A162EB51925BD551281B79B71,03D6DD693970E50C23FB5C47D823E302E01397E23A301DBFAC6FB0389FFCC404]]
FP4nconj = [[1F6A1C898A8B7957D5E32492A4DA6263EB9FCD1A586896179340B6480CEB3C1F,0D76B7F9DCAAE5F1D82CE2E40CEB17449157B1B270F68BDB67A57A103180DA6E],[05B295DFA714CADF15C02418630280F9D7C077B401DA89C898A8CEDCDA63BA42,20292296CEFF45018CC2831CA23F83D0442C3F0BDDD9212211F673B6BC1E91AF]]
FP2sc = [070412B3A5C288DBE7007FB0F1ABA0A51DDC4DE3B7D4556AEE513099A30BE45E,115E348DAF8A87B541E604516CC32943CB6D7F9C526B50A57FA76A34E64D5FBD]
FP4pmul = [[0A89B34C70AE24A736ECE4067F81EE049CFB768914AB22A35470C1116AAB7FC2,15C4099AEE5F25D54C03CEF8F13AEBB6ADF04450490C62BAAEB4F5BC05A6D8E4],[19E36BBF94EDD106B09C014CDD57FBC0B230A96C769133D1B6081BF464D22840,0595EFAF8DD7AEACAA69BD5EAA9CBD06C7DE8D895E318A48715D6B2DB795D2B2]]
FP4imul = [[0544FF2A649A0C5700F2B1FC076DC115D9608183A49CB039C5EAB6F26C959081,16D388375FBE92B62963838D7549C9E374EA1C72677A10D054C7452BB2E5A8EE],[0F4744DCD74AF7CA1303657700B321F571845E65F8A5992B9F8921D45166369F,0172374D03781CA06CE7A0DDE1206BB9438F7FFA0C583324AE78F1F1BC38718F]]
FP4sqr = [[0647305BB84E76CC17E48E0417E9C8185F22E99477F055A54A85F7B1B4350ECC,0B6D9789060EE3ED008103060487E2B82B3B4A546F0A66C2D9B9FC7413D655FD],[01950543AA63B108B04BC967B2B931FB7A5CC886BF936942EF982AD5157A5F2E,0CC19CE8BDF0E89FF7B9D4DE9DCA5A4B909CEA19AE5106A2D2F9A22427EBFD17]]
FP4mul = [[08A9916DEDBD9F8B264CBBC4B1242E77199C4010ECEE17D8DE23BB15AD223662,0FA591900722DAC7522922DB4CDF7AECE6810C665A15D8B57B18856D9A9AC56C],[21A61DF136525B44D0A53A4AC4655324E990F7BA503C508D483D810332C23697,20BA6356122CA144C634C050D5EE9B649A0F4291A59C62A29936B0D9EE3A10]]
FP4inv = [[21EEBD3EE7F5E189E9514AAC2A98F767797580D8910F47BBE2F151591E655052,06C4D180B1BD0FF8C28491F0058A61EAD0A360822FE577F83577B511E4C87F35],[1612FA623C08E433112ACB9DC95191465F9AA9941751DA69D3C17B11C48BC8B4,0E4902606006EC1BC6B7B51D6B7724344E4FC5534CAEF2FB6387AE3711C60FFB]]
FP4mulj = [[09897348E085AFEB39BB80603B2663FCB7D40F963C0AA78845187F157A607E46,01DBB8766DA3E5D2F1C4C7D08ADE9DF6F7ACDFD1C7AA6C08EC391EA43A66F63E],[0495E3767DE4B0B5DADABAD1D589046F38A009D3BFA0A8CA2B256DA74F301994,168948062BC5441BD890FC806D784F8E92E8253BA712B30656C0A9DF2A9A7B45]]
BIGsc1 = 1A4E32F9691E43CA674572D429488FF2CFDEC22B2B81FACE54838B929653B548
BIGsc2 = 49
FP4pow = [[0785FD017561694ECC4E461C467782A1DB422FDDBEBC5C057C97719844A8BD7A,1B5F6453A1ACFA2FB77F80E7F563FFCE983213C009C12D45E2C46A9BDDB19F69],[1A5AA563EFE3C98C2FD2059C5CC28FD09FB2EFD775CFABF72627D58663B76953,1706BDD6ECBB90C5A5D43E601C16A36429874F16C762A9E9971A56278533D0E1]]
FP4frob = [[0495E3767DE4B0B5DADABAD1D589046F38A009D3BFA0A8CA2B256DA74F301994,0D76B7F9DCAAE5F1D82CE2E40CEB17449157B1B270F68BDB67A57A103180DA6E],[180EF8973B8607221720D7C2FCC6490CD8AC195610CF537458C41F2A1E7DBDAC,162FA5584FE161199D439DB456FC8F37B604AB9AFBC5DB33A444EC05A3AF870E]]
FP4_xtrA = [[1BA58B0BE0037392AEFEAA79DC56D7048A98140DCDFBA3360E73B17318CC627F,1F3CAA622B6D064FB3187A9877E9A70BE6991B5FA5BA4BDDC670E92B46CEC6FC],[03D25725063EACA6269BEFAA13D6C4D2E3B8FC4C214A48D74097133878F950F6,22F8FBD33A0D664E65A5B114F5695F755FB8C3A81F5B2167FDC1D18A004452E8]]
FP4_xtrD = [[211B696EC4F53F6E12ECF7C4E73B260D1222ACDB10B842F2B2A1405271F03157,025B077CB6F485C3001CE969A3FAAA6E29AAD6CB38EE3F97EA9ECCA51ABCB526],[0CFA3102F88D46C6DBCC119878BE33EF29DDB7EEC3487CD420E9C88ECA41D3B2,0513E2164B0F1E87AFC31C4EED829445D075BA5539F0CB237A1A41B2E7F2750F]]
FP4_xtrpow = [[091540F6773A3B092E5DBE37772D16ADBB82A8B986A26D5BF52C94520F28173B,62C11EA6577B8E351B22040C80607B58EAB678E6C8884264F00E5511DDDA1F],[04A6B2591C690DD42C1F4C5FE2CC5AE43808070857F911D9F7E66A57E7D0862B,0A13D142417CE10851A5B03DE58894404DC24F415B616135093DEE89D783038F]]
FP4_xtrpow2 = [[20F3319C6CADBC3F4FC1D3CF49569163C762EAA8D44C93A1F816DF334316D713,20DBDAB5D8D01B7C376BB5483EBCBB18C0D0AD051ADE539B720A51BE9CC41FF0],[1C9E97B33EED12B23C0323BDBC76DCEC07E92EFAC9936E9A8099787B1A4D1558,0428728C4C94D7DFF6DFF93821605908C7888EBEFFA36834376F6791DD5BD7C8]]
