# FP4 ARITHMETICS - CURVE: BLS383, Modulo = 0x7ac52080a9f75c6105c552a7852c01355a68ea320531820f99eb16cf73083d5d75201bb01475f75d7aacaab52aad556b, BIGmax = 2^383, Frob_constant = [0x05a5fb198672f323ee4d86ab98b19b3f05cc36d41639e9d32d55d340341cb1dfbc7463db7a06eef3432ba59a92b4508b,0x751f25672384693d1777cbfbec7a65f6549cb35deef7983c6c95438f3eeb8b7db8abb7d49a6f086a3781051a97f904e0]

# test 1
FP4_1 = [[11E45F0D09E704E9A2A81345055A7CFAAFFB8DAFD259171E084CABB3C16C98DF681571724299F19B0F6EF7D840AD33FC,0C32A8AE4D98E15E1101A87C319E57C0D04FA25EF8D872D29CFB05A5E6559446DF2D34A937824987B8A8F549AE67C6FC],[066C33725535B7B30B1BA8FA186A14C487F5EFA5688AC2DD6E5D90DA2D31D06228CFA5D24ADE0DFBCC8959731A99796A,597CBAD1799EF34686DDF559E9D17DE3AA16E429B233A5CDD4441FC387F3456D30A3024DA39ADEB59CF4215B24C2A550]]
FP4_2 = [[5F4099F54C9CA33E66F64E14D68C2414E1A65D2FC830EF3FCB97BA9C31FB49E6C7FEAD7CAD464AE5DBE6E161D95D096B,33619B8B274C0FFD65F61DF2F0A6324EC83A09D736DA7C25BADFAD5777B57EC459A611B2F726EFBFE8BFA2471BA007DA],[145BB2C420187E0BF4DE21CF9D2BF98CC6D08567600E6120F2C928F3F5C2B2EF36BF558A339CBC5B926C95DDE0ADE1CC,10902AAEB48DDA321FCE1BFDDC6DA8CC55EA1082E779FC43ED3F2F4249F4FB3FC600D3F27675656DAA72C33BE29C9982]]
FP4add = [[7124F9025683A828099E6159DBE6A10F91A1EADF9A8A065DD3E4664FF367E2C630141EEEEFE03C80EB55D93A1A0A3D67,3F94443974E4F15B76F7C66F22448A0F9889AC362FB2EEF857DAB2FD5E0B130B38D3465C2EA93947A1689790CA07CED6],[1AC7E636754E35BEFFF9CAC9B5960E514EC6750CC89923FE6126B9CE22F483515F8EFB5C7E7ACA575EF5EF50FB475B36,6A0CE5802E2CCD78A6AC1157C63F26B00000F4AC99ADA211C1834F05D1E840ACF6A3D6401A1044234766E497075F3ED2]]
FP4neg = [[68E0C173A0105777631D3F627FD1843AAA6D5C8232D86AF1919E6B1BB19BA47E0D0AAA3DD1DC05C26B3DB2DCEA00216F,6E9277D25C5E7B02F4C3AA2B538DA9748A1947D30C590F3CFCF011298CB2A91695F2E706DCF3ADD5C203B56B7C458E6F],[7458ED0E54C1A4ADFAA9A9AD6CC1EC70D272FA8C9CA6BF322B8D85F545D66CFB4C5075DDC997E961AE2351421013DC01,214865AF3058691A7EE75D4D9B5A8351B052060852FDDC41C5A6F70BEB14F7F0447D196270DB18A7DDB8895A05EAB01B]]
FP4sub = [[2D68E5986741BE0C417717D7B3FA5A1B28BE1AB20F59A9EDD6A007E702798C561536DFA5A9C99E12AE34C12B91FD7FFC,53962DA3D0442DC1B0D0DD30C62426A7627E82B9C72F78BC7C066F1DE1A852DFFAA73EA654D151254A95FDB7BD75148D],[6CD5A12EDF1496081C02D9D2006A1C6D1B8E54700DADE3CC157F7EB5AA775AD067306BF82BB748FDB4C96E4A6498ED09,48EC9022C5111914670FD95C0D63D517542CD3A6CAB9A989E704F0813DFE4A2D6AA22E5B2D257947F2815E1F42260BCE]]
FP4conj = [[11E45F0D09E704E9A2A81345055A7CFAAFFB8DAFD259171E084CABB3C16C98DF681571724299F19B0F6EF7D840AD33FC,0C32A8AE4D98E15E1101A87C319E57C0D04FA25EF8D872D29CFB05A5E6559446DF2D34A937824987B8A8F549AE67C6FC],[7458ED0E54C1A4ADFAA9A9AD6CC1EC70D272FA8C9CA6BF322B8D85F545D66CFB4C5075DDC997E961AE2351421013DC01,214865AF3058691A7EE75D4D9B5A8351B052060852FDDC41C5A6F70BEB14F7F0447D196270DB18A7DDB8895A05EAB01B]]
FP4nconj = [[68E0C173A0105777631D3F627FD1843AAA6D5C8232D86AF1919E6B1BB19BA47E0D0AAA3DD1DC05C26B3DB2DCEA00216F,6E9277D25C5E7B02F4C3AA2B538DA9748A1947D30C590F3CFCF011298CB2A91695F2E706DCF3ADD5C203B56B7C458E6F],[066C33725535B7B30B1BA8FA186A14C487F5EFA5688AC2DD6E5D90DA2D31D06228CFA5D24ADE0DFBCC8959731A99796A,597CBAD1799EF34686DDF559E9D17DE3AA16E429B233A5CDD4441FC387F3456D30A3024DA39ADEB59CF4215B24C2A550]]
FP2sc = [251FEC55694A7B050C456E8CEC5AF98FD359754604507EE3686BD38C84D15775E7BA8B672E8E7218FF7DF40F6F7DB47C,10C8DDC05B59A4D41AD53B0A2B6314CF8CED5D8F2246E9B656C13316E0C58F115824E3775875CC61A9650B8790EFDA5E]
FP4pmul = [[424F047A2CF814DE00A7C7F94316C29288413C75EAFE4B205AF2FDC52201C8F0FAF0FB99CAFEF950235E1605D6C55F83,2FCCFA6A7E3274344369D296CD3C4BF47189ADA0FD35426793BE96478211F67039F9005DD35C8B67E21A76C2A07F57EB],[3BCA913B21AEE6FC0000801066EF2B1A0E65FB90AAE57949337259A1CC6608EF468DCCBB06D584A99D22D2A44FF18D64,75C8942E500790E529397DB392B65E288FB94A60F4EF577998FC41EC3033EC1DC39EB36AE86C0052AE7E27D8DFE04500]]
FP4imul = [[00,00],[00,00]]
FP4sqr = [[08183EF4F00ED2BCA75EDA168E4360F10904815D0A5CDDDED43DA033BD36B32FF27F6B3769C7AE5DB25111FA965DE6BE,4C8F882B4D2BA421EE094AB988623EAF991DD9BEB8BCC1DB0130D23364495B5BF2AA6A629AFB9DB7462955AF8CC8CF6E],[4450FAE00B90FC921B994E42C3AC68B76AE0F6BD853A9484A82176B27774C1CBE8707FB626D5EB5896CE06F5E22D9C82,2C859C3A74F7B7AED860FB1627D2DE4E32B3D3F3BB4B2EBF32327EB511AC41C8E2119B2D68F8B65D7B5BB155195498A5]]
FP4mul = [[3C755A6D4E398A6706CD8EEE94D4469B3D550C1C56A5BB4C4E2E321124CFC54E6FE5330B3F747AC1703AF52CBE6B478C,3CB618850962EB6009A8A764E36957F8F80E0A00D4F4C1EADDBDB97F02F93DC25EF227F0EBD3777F84AC440A1FBD40EB],[121420DCF2BD72C09E4858A7D672F75B9BFE4842114BC90DC33B24C1BA9937857FDBC36D2B6CD6738648E473BEA8FC65,550B176E8DFC0A8184C3F38D9244F931EFEB4988ACA8546C109A8CA14F5413430CCE494A9F29186611A248B901D04AA8]]
FP4inv = [[1727FE655078172844E0E6998C04361E029CC19E2D7CDC0CD58C5DDB84CB5829665A0CDC22D408FE447CDAF7C21EB7B9,071F4A010183E1FA4945BA904ABABD9A318AF0871D00656533BC6AB6668E30D7CA556D8F813927FDD8FB84D744781AB0],[5C337CB8333D993DB3F670EC24C17FAA9BE9E28FFDBB7B3596301F4B7995F4FC2A4533DCC89A53B9E59864CA1232900C,457E4F583CA0652A79583CFCE64E21F39F95C386D7FD8383FD3028A7EBADF5CAEF105F1C9658629FE21CC2FF9E4742AC]]
FP4mulj = [[27B49921858E20CD8A030647B3C498163847F5ADBB889F1F340487E61846C8526D4CBF34BBB926A3AA41E2CD20842985,5FE8EE43CED4AAF991F99E54023B92A8320CD3CF1ABE68AB42A1B09DB52515CF5972A81FEE78ECB1697D7ACE3F5C1EBA],[11E45F0D09E704E9A2A81345055A7CFAAFFB8DAFD259171E084CABB3C16C98DF681571724299F19B0F6EF7D840AD33FC,0C32A8AE4D98E15E1101A87C319E57C0D04FA25EF8D872D29CFB05A5E6559446DF2D34A937824987B8A8F549AE67C6FC]]
BIGsc = 16F57C89800853158203E99180E8FC9F385C9E3F2A8B61D5C1815CE4D72E8FD46478E61931918EFAD0387339145370D0
FP4pow = [[5407FB5275741F384AE1A7B8102361914599FF07002EB8E72838D41E4A995793DECBA7CB7ECD3EB821E9A15028687244,39C3ABFB054B1F5FBD91A2B6585C352E2B37CABC08FDF9AA3F1012B35C85045781718AB22C380E7E17C7DC96C187CA01],[079E11974F39373903214520A70D0815864B80042581D61439E4CF0933AFFC8A0BAB3D94ED80A164511E126CA5D6C100,51334FCC11A7267ECAEC8A88DAD7B67CB81A5871105EB6E7C15BAA420F2DE21B8F6B08C394098A9F637D155C55B45B97]]
FP4frob = [[11E45F0D09E704E9A2A81345055A7CFAAFFB8DAFD259171E084CABB3C16C98DF681571724299F19B0F6EF7D840AD33FC,6E9277D25C5E7B02F4C3AA2B538DA9748A1947D30C590F3CFCF011298CB2A91695F2E706DCF3ADD5C203B56B7C458E6F],[44AAE269275AE3E84F7536FA5B9AA8E2018D8076F14DB8F6F360103E548FBB84FC4A3DD6C38BE4AFCFBDA7F443792BA6,4BD89AE16B3592F3ABE134F45222D63BBC185CB1E3FD8B8E59E7267DD8E396BB2719EB310C438D3DC3229DA505589C42]]
FP4_xtrA = [[79249C466D4834125042EE69B8A59833D03CE7E32C866FAABD5B9623507997BF0F48EBCC8D52B85D34E3C02FEAB5B775,32E4A8EA501FDA228061B5464D625B14B99135AC2713601C318A9A34E0F22434F89C9DB2FDC606A0B716840E7BA61060],[32B6538F0714A134EA2484661F0FB59C34D6FE0F5BA27672EC3F06E9BD608276E1BB5A082087D043BB19E5D0F142FE44,40A70B0968DD6FA8BF626B0214DCD5F64B4BAC27667D9073F4D04D410968767889BFAE13C9CE95F5AE8C6E994F502F25]]
FP4_xtrD = [[5F14A15B8638254A67D4063408BA68310376502F6ADC31B25D8F5F9BAD65BECE9774A402F909C2850E1FCCFF3FB0D431,342A36CEB1F9E165CC05F9C125258F2DF87E9500C70BDC35C73AC6E7979E32CE345001102BF70AA7D4D76B1C2FF94176],[512961C4B5FC6BF831D0A036F48092407ACCD60856501A3F84DC9866D1D862903A0FCB5ABC9207502FE0B9DC17608F56,64B9F15CBE3E41DAE05793227649D8E02C78B2151A80F84B40CFA76CAE8A8F45CE3784189BB87C6B3A974956382C8DDA]]

# test 2
FP4_1 = [[01580BA25C1F0FEBBF9DB3B9E6008D5389F5F361825DA815753F086E63107C00ADAE4A91D3D12774646E34D76A127A6B,6ADC3C23D5B29CDA38C42A0E211EA0F7A8100002AAED69FB734D451C517A7977A098DAC8BE1D466250A4B4A6563353AB],[240B3E1E4D637E0BE1F03407F4741D9A908060AAE5364E7F307570B1BB01A18393289561FD2D6444E088B381EAE517B6,12C7DFA7544982677723E22632FF9E0C659AAC447A642955DCBD575053801FC38367C07DD480246A395F592F51B63E14]]
FP4_2 = [[70A8F2D7F11880AFF80AE868D1594E93783F8007E6FC4BCEC6987DC3FE06CDB725AFA994AF6014FBC53047F9B33EC45E,3A77DE96FDCA083A21995D1531AEBF661DC2D9B3F80068A83626DBB6EEEFFE3BA822BCE2EC3EA4B11E4817FFC89DA1DF],[295365CAF49E4C9BA85416AB03318A12159A5EF4DF6B4DEBF7821D221583A07CCF88B03A588E51F94D25B2E00110AEE6,15C968B8C540BF41FA92FAF06BCBF8467A66817DAEB351F678B691D52AEBBDBE7DC62CE521BB40A760C5B619C9B400ED]]
FP4add = [[7200FE7A4D37909BB7A89C22B759DBE7023573696959F3E43BD78632611749B7D35DF42683313C70299E7CD11D513EC9,2A8EFA3A298548B35498347BCDA15F286B69EF849DBC50940F890A03CD623A55D39B7BFB95E5F3B5F44021F0F423A01F],[4D5EA3E94201CAA78A444AB2F7A5A7ACA61ABF9FC4A19C6B27F78DD3D085420062B1459C55BBB63E2DAE6661EBF5C69C,28914860198A41A971B6DD169ECB9652E0012DC229177B4C5573E9257E6BDD82012DED62F63B65119A250F491B6A3F01]]
FP4neg = [[796D14DE4DD84C7546279EED9F2B73E1D072F6D082D3D9FA24AC0E610FF7C15CC771D11E40A4CFE9163E75DDC09ADB00,0FE8E45CD444BF86CD012899640D603DB258EA2F5A441814269DD1B3218DC3E5D48740E75658B0FB2A07F60ED47A01C0],[56B9E2625C93DE5523D51E9F90B7E39AC9E889871FFB33906975A61DB8069BD9E1F7864E174893189A23F7333FC83DB5,67FD40D955ADD9F98EA17081522C6328F4CE3DED8ACD58B9BD2DBF7F1F881D99F1B85B323FF5D2F3414D5185D8F71757]]
FP4sub = [[0B74394B14FDEB9CCD581DF899D33FF56C1F5D8BA092DE564891A179D811EBA6FD1EBCAD38E709D619EA9792E1810B78,30645D8CD7E894A0172ACCF8EF6FE1918A4D264EB2ED01533D266965628A7B3BF8761DE5D1DEA1B1325C9CA68D95B1CC],[757CF8D402BC8DD13F617004766E94BDD54EEBE80AFC82A2D2DE6A5F18863E6438C000D7B91509A90E0FAB571481BE3B,77C3976F39001F86825639DD4C5FA6FB459D14F8D0E2596EFDF1DC4A9B9C9F627AC1AF48C73ADB2053464DCAB2AF9292]]
FP4conj = [[01580BA25C1F0FEBBF9DB3B9E6008D5389F5F361825DA815753F086E63107C00ADAE4A91D3D12774646E34D76A127A6B,6ADC3C23D5B29CDA38C42A0E211EA0F7A8100002AAED69FB734D451C517A7977A098DAC8BE1D466250A4B4A6563353AB],[56B9E2625C93DE5523D51E9F90B7E39AC9E889871FFB33906975A61DB8069BD9E1F7864E174893189A23F7333FC83DB5,67FD40D955ADD9F98EA17081522C6328F4CE3DED8ACD58B9BD2DBF7F1F881D99F1B85B323FF5D2F3414D5185D8F71757]]
FP4nconj = [[796D14DE4DD84C7546279EED9F2B73E1D072F6D082D3D9FA24AC0E610FF7C15CC771D11E40A4CFE9163E75DDC09ADB00,0FE8E45CD444BF86CD012899640D603DB258EA2F5A441814269DD1B3218DC3E5D48740E75658B0FB2A07F60ED47A01C0],[240B3E1E4D637E0BE1F03407F4741D9A908060AAE5364E7F307570B1BB01A18393289561FD2D6444E088B381EAE517B6,12C7DFA7544982677723E22632FF9E0C659AAC447A642955DCBD575053801FC38367C07DD480246A395F592F51B63E14]]
FP2sc = [6FC837CCF5F52DC69ABD804ACBA169AE094DF1DA8ACA84C2FA0EEA171280B09753834CE3A5D29F1837F1228CF569BDFC,5522B1F2A281594FDDB8E16CFB695D5481522EBBB0F56A33BBACC69D69EFB93A36636D02ABDE167E7B2BA45A8FBB998E]
FP4pmul = [[664BBC23F7EDF4FFC30C5A45D2EEB30F63F4CE2974A92C4AEF238EE0988AC9330C6FA7682C8056633AD074E82DDE8CE9,38B79A6ED0D4D307C7EE960B252C0813331E85E98002761BBD12C0855FE83279B6027799FF10032071F898ACF81A59B8],[1899345B40358289F2B685C2A006807D2F315A9B43139C7E051543041FEA7D38D5BFAA092F3A04C1A081BE0964E0168F,3D1E89C267C4B2BC8121E63141A7108C39A4689A925B67A513F3E4CC37015262D3FE609DB7B99DE938896795540F6A77]]
FP4imul = [[01580BA25C1F0FEBBF9DB3B9E6008D5389F5F361825DA815753F086E63107C00ADAE4A91D3D12774646E34D76A127A6B,6ADC3C23D5B29CDA38C42A0E211EA0F7A8100002AAED69FB734D451C517A7977A098DAC8BE1D466250A4B4A6563353AB],[240B3E1E4D637E0BE1F03407F4741D9A908060AAE5364E7F307570B1BB01A18393289561FD2D6444E088B381EAE517B6,12C7DFA7544982677723E22632FF9E0C659AAC447A642955DCBD575053801FC38367C07DD480246A395F592F51B63E14]]
FP4sqr = [[7946FF3425332A3D8AFD0A642B62683DF9C9796CC1998720A9B3C6C7EEF68AB3081A8043CDAD6B514A754B27CD640D68,50D5CAE9EB4A0BE094A86A5B669866C2635096F34CEEB55036162ACB7E774F4F3CD2D8E14D5AEF5DAF0428CFF0822DC2],[4F4897BD0813252D834D2A7A8013D4745E4EC5CF0687A8E1FFD716F8AF8445DE809FB8DD8F25C2910F112410A7C1E17A,37D6CC67F743B694E190AF011DE977726D9165DE406F86507E3B3FEBC6047731C3485B451B6FA976305A644961B68B21]]
FP4mul = [[2859C56AA0C51369D7C3288A0EB2219471E04A4AFE595FBF093E1AEED24E3D89AE91A612DA1C7DACDDB0D9994B972A41,4C1EB42E6648110B1664EE86CBC65083280CFE6A82AF0D9BDDBA1ECA6021DF92DB4F1CFF7F1DC84DBE9F51E28285007A],[03D2927FAEA108BD5C98394BDE6A53CC2D979284691D6E32BC02FEF2D6AAE2A2E9F3101E5B9F9F15BD23164FECCB6123,5ED4DD6507AD5A471FBDCD2CD0656755D0997B163A900BCA60E1AE2C55E13FE260A73DD5C82F377E26865713C1AADEB5]]
FP4inv = [[24864361C7B3E4E2AAFB1E3D2F7F3A3D1A2560EE804C8F21F3EB26E0D4DB9F40155ED8460D8E6D8711AAC79AB905ACA8,58C5252835712E9A75806E6CEC72132132E2249C58BAD39949D939EC4899F6CF16A21EC26DE603DCC85114EE19AEF874],[1B88FFD0FD9B09E7ECAB94CE46B2DDFBBB57CEE29DFF6837A20C826A4EBB908902F60CBF04F80D9A2146908D3C3F0DAC,53FE690360434E094909375CAE214B88B600CD5FAFFF9DAE9B14ED54F013A7D019AE89F7A6BF187C427DEC596897DBB0]]
FP4mulj = [[11435E76F919FBA46ACC51E1C1747F8E2AE5B4666AD2252953B81961678181C00FC0D4E428AD3FDAA7295A52992ED9A2,36D31DC5A1AD00735914162E2773BBA6F61B0CEF5F9A77D50D32C8020E81C147169055DFD1AD88AF19E80CB13C9B55CA],[01580BA25C1F0FEBBF9DB3B9E6008D5389F5F361825DA815753F086E63107C00ADAE4A91D3D12774646E34D76A127A6B,6ADC3C23D5B29CDA38C42A0E211EA0F7A8100002AAED69FB734D451C517A7977A098DAC8BE1D466250A4B4A6563353AB]]
BIGsc = 2CC39D77F6649AE2FA36CE615711134089460179E0829EAFCCD927E9EF1AD5DAF219B35D3710949B29CA8279B7D80982
FP4pow = [[130CB8CBCCD0729EE3DBD95A685ED25EB8B3AA1C553574FE1FA2596F408695229BDFF135F4082122461EE425040B7145,19E50174A99BD8A2677CF5B9F7B71CC412832B7FE03576235BEE2E97593F5DAC5A791D8765E9EC2A18D03E184B785C03],[566E57282A29DF96B9D7EC771E8E89885C8330634A1E17FF8D14B6C7F2946D0EE29ED6D44BB0860CA5035901C5A8B6E1,0851D45331A2E7BA43E102BEB342078DFEC41495A0D32F373F3BA1A5C627A07B0B76AACFCD2B2D7D2100A2C6D114CB10]]
FP4frob = [[01580BA25C1F0FEBBF9DB3B9E6008D5389F5F361825DA815753F086E63107C00ADAE4A91D3D12774646E34D76A127A6B,0FE8E45CD444BF86CD012899640D603DB258EA2F5A441814269DD1B3218DC3E5D48740E75658B0FB2A07F60ED47A01C0],[3DF430776CF1E4F7834CAF00BFA5AA5A1B95226941FB15DA7F93B3BFACC4CCD29519451E748189110257D2303C5F133C,3EDADB0DEFEDBC56E184497F81554391E8FF000DF69A133EB9C7BAF5BBCB76FDFFFC509A89BA398E4199A47F1D1ED443]]
FP4_xtrA = [[183ADF4C9C8FEB4CF4FED1255F2FE0698C4AD0AFBBD5D89443F764A2BBBD272CCB49880209C5BC18376759299D03084A,15BF14ECE5F63D1055370B7D380A4A366276355F4FE03546EBEA9731D0CF794746185F0CA2B105B0DC981C39118A22B7],[674AA077AB069179987D0B1ABAD0E2DDE8353F8CBCBF0246FC19A8ACE87073AB89B7811A85AD0E4FC2AE5419EAECA221,1A8F4A63A341F54E45C6801BDF0BD71862D6D577AE284BA7AC1AB93B626AA484D109FEFF9AE80B6668D44F7542698CA2]]
FP4_xtrD = [[7696E7EF6CF50A660BC1A2F05F614D96E5DD92A9BCDE36F5BF35B5EB28D592B1ACBDEB20260B1C688198E178F93F1892,70A793A393D38AEE2EAABB8E2EB3273DC8026B520176E5788351CE31C192D71AE5E15AAFFA0C5154031414ED99763142],[1C99F378F8E2C4E441683FE2E3D00E7424E69CF2CBC2C3D0C6D6E18CB27F4B8831D0C7F1750A93BD5575E05F52DEBB7B,5D668BB69FD6BB63CFD8734D83E8B38B38C6BE673537D8FC37B5EE8C6D04B6B8CA17DC40C46FF24AA31916A805230749]]

# test 3
FP4_1 = [[5829949A700E45461ECCB7B26A72AD304A84EB188F6C1468865DEF1AE97C1705E3724EEB3AF6DE988CEDC750C008B0D1,040D7E3073635A651598D055A1B4F8E1D73DE2511C075AEDE1567B9840DEEBC4D826FAEBCE97DA0D98F12A0D919977E2],[08C889D785C337820C53FB9D82625ED0DEF52DC65BD04BB73CDA9ED9A6578E49DAFAFB5ADB09A3FBB9EAA9A2F0EE402B,2E0C25DD079DD2F820C5812A75A69AE53DEBE22A2AE9C2B6208E027C2D2224F9EFE01FD7F6685713DD229E11A3FFA576]]
FP4_2 = [[75149301C9BBB9442C25D1B07FAB3D08E4EB4784FD42A417DA3E314AA9BE5B5DFB3340FCE2B632DDFDB55D198BB0C683,3AFB443BB4964674C5B35FF973FF49BF85A9076A91B94E2F2E4432DF66E80C68708782E743612A6DE37057047087F4F0],[3F985808DAD89EAE73F5D857464FB7AD395B39E9E67F6F33CE705C1FBDC8A1965134941205FF5E3A73451AD980F51BAC,1A5A5A46857569BCDBCDF9BD56253FE3F94A201EFA41441D92273FFEFB5CAAEA4FB7D20D2BF31DCF5A92A34B4529FBE7]]
FP4add = [[5279071B8FD2A229452D36BB64F1E903D507486B877D3670C6B10996203235066985743809371A190FF679B5210C21E9,3F08C26C27F9A0D9DB4C304F15B442A15CE6E9BBADC0A91D0F9AAE77A7C6F82D48AE7DD311F9047B7C61811202216CD2],[4860E1E0609BD6308049D3F4C8B2167E185067B0424FBAEB0B4AFAF964202FE02C2F8F6CE10902362D2FC47C71E35BD7,486680238D133CB4FC937AE7CBCBDAC937360249252B06D3B2B5427B287ECFE43F97F1E5225B74E337B5415CE929A15D]]
FP4neg = [[229B8BE639E9171AE6F89AF51AB954050FE3FF1975C56DA7138D27B4898C265791ADCCC4D97F18C4EDBEE3646AA4A49A,76B7A250369401FBF02C8251E3770853832B07E0E92A2721B8949B37322951989CF920C445DE1D4FE1BB80A79913DD89],[71FC96A9243424DEF971570A02C9A2647B73BC6BA96136585D1077F5CCB0AF139A252055396C5361C0C2011239BF1540,4CB8FAA3A2598968E4FFD17D0F8566501C7D0807DA47BF59795D145345E61863853FFBD81E0DA0499D8A0CA386ADAFF5]]
FP4sub = [[5DDA22195049E862F86C38A96FF3715CC0028DC5975AF260460AD49FB2C5F9055D5F299E6CB6A31809E514EC5F053FB9,43D75A7568C4705155AAC303B2E1B057ABFDC5188F7F8ECE4CFD5F884CFF1CB9DCBF93B49FACA6FD302D7DBE4BBED85D],[43F5524F54E1F5349E2375EDC13EA8590002DE0E7A825E93085559895B972A10FEE682F8E9803D1EC152397E9AA679EA,13B1CB968228693B44F7876D1F815B0144A1C20B30A87E988E66C27D31C57A0FA0284DCACA753944828FFAC65ED5A98F]]
FP4conj = [[5829949A700E45461ECCB7B26A72AD304A84EB188F6C1468865DEF1AE97C1705E3724EEB3AF6DE988CEDC750C008B0D1,040D7E3073635A651598D055A1B4F8E1D73DE2511C075AEDE1567B9840DEEBC4D826FAEBCE97DA0D98F12A0D919977E2],[71FC96A9243424DEF971570A02C9A2647B73BC6BA96136585D1077F5CCB0AF139A252055396C5361C0C2011239BF1540,4CB8FAA3A2598968E4FFD17D0F8566501C7D0807DA47BF59795D145345E61863853FFBD81E0DA0499D8A0CA386ADAFF5]]
FP4nconj = [[229B8BE639E9171AE6F89AF51AB954050FE3FF1975C56DA7138D27B4898C265791ADCCC4D97F18C4EDBEE3646AA4A49A,76B7A250369401FBF02C8251E3770853832B07E0E92A2721B8949B37322951989CF920C445DE1D4FE1BB80A79913DD89],[08C889D785C337820C53FB9D82625ED0DEF52DC65BD04BB73CDA9ED9A6578E49DAFAFB5ADB09A3FBB9EAA9A2F0EE402B,2E0C25DD079DD2F820C5812A75A69AE53DEBE22A2AE9C2B6208E027C2D2224F9EFE01FD7F6685713DD229E11A3FFA576]]
FP2sc = [2A9A00A4586F3AE5C031DB519C19987EF9776BE5AE21E9285A8F4A79B644216D70A03566E1EEE6BCA04E2D51C7A91636,1B6A27EE71E0E6974B830A96E13E600DA9EF982D36B585ACA37D9D88D57028526FA48EB92993EB46D38A9E10F618444E]
FP4pmul = [[0E61AC3CCC4E76719BE6CAF799B8BF20DA00FA46C9661C8A04F355C87365CA064009658F384E196605F8EEEBED414AB6,576324E1FA86DC1924BB7511B1B695345DC05A49F515F56A4BD2FD99AB219FE7846588F32272DA86F866F04C0113819B],[5988C12E058F82D651EBC87E477DD6D91CBAF39C863ECBB651090A3C92E07940DF9DEE4FAD74512263408322346F69FE,4518E9723DA11D2584C2E4F927FA706357F991B23866E817FA926ACACAF330AD302BF7EFECCCC9E6AEDEDC49BE9CFAA4]]
FP4imul = [[358E08B436252E2B37D41CBD4FB9592B3AA0EBFF19A6A6C172D0C7665FEFF0AE51C482266177C5D39F2EE3EC55640C37,081AFC60E6C6B4CA2B31A0AB4369F1C3AE7BC4A2380EB5DBC2ACF73081BDD789B04DF5D79D2FB41B31E2541B2332EFC4],[119113AF0B866F0418A7F73B04C4BDA1BDEA5B8CB7A0976E79B53DB34CAF1C93B5F5F6B5B61347F773D55345E1DC8056,5C184BBA0F3BA5F0418B0254EB4D35CA7BD7C45455D3856C411C04F85A4449F3DFC03FAFECD0AE27BA453C2347FF4AEC]]
FP4sqr = [[4AB4BCD66B4DE6B5BCF7DCCB6B1462E01CC4E5217440BBCE079F45895A317B927B643933A2F7049AA59008EAB150F2FC,42317A71E0E1D68039B33CA7474A7BB7497DEE5A2F7AAE8E55531BDFDB686DD4D28683F78F1FAA27F6695C51BFEC4541],[1538C7B89C3B951DB23949435540F32E73EF8B77C43975CA23BE178AECE5743C9754F6941F39EAC8564714698BB2CAA9,352F2D7646DFD68153DD8AFA6CF1C1CBC4D7593BFD48A63767D66201F54DD40C914F41C98FD98C5C90570BE85B936375]]
FP4mul = [[1D7DD31206A8C7D2B2CD0509D47A0B537F81A967161823D2DBFA06F8BCE2E74841EE80AADF02EDAB671651C5FBCD54B8,10F2AD79E1052ECDD665E2842315A7038FCD6698163FEEEF65C982767B260E534E15FF9366569FE1BFBADE4AAD5B11A3],[5CF4C9CEFFD9A67999DE9F8BBD4A321E3E8C18C7A18A2519B21FF4038CDA2C2BD34DADBAE5035BE05840A32500C10E39,7A7A5DC8CB60762DF10DB37B39A51665AFFFB21CF3B5620EB6B0A06A99D5F9F2FDECF702D1F4B2FF81FC7531C66D592C]]
FP4inv = [[39915AB96F4414497373AA2CF11FB836AF20926A468167087749570A8BE21A6B7438533A0A61F41B6CD8CB783934BAAB,21B1C969D38B3E2E9B9F6B2E2D92ACE1E82D41449092E239C48665C4EF28C506362EECEA75A2A5E418DFBB02CE752B5E],[4114303E23EB6D0CAFC3352CCADA65FDCCA9526BFD27ABF47FE6228AC7B09FD4DD4B1C0D457B8F436E3F0B2081BE89E7,4FF6F1C262055F2038EEEB6F8802FE774F57BD956DACA47503678A498386140A5EA9B7012936CA7E753B68AE0990FE0F]]
FP4mulj = [[5581847B281CC0EAF153CD1A91E7C520FB7235CE36180B10B637B32CEC3DA6AD603AF732F91744455774B646779BF020,36D4AFB48D610A7A2D197CC7F808F9B61CE10FF086BA0E6D5D68A155D379B343CADB1B32D171FB0F970D47B494EDE5A1],[5829949A700E45461ECCB7B26A72AD304A84EB188F6C1468865DEF1AE97C1705E3724EEB3AF6DE988CEDC750C008B0D1,040D7E3073635A651598D055A1B4F8E1D73DE2511C075AEDE1567B9840DEEBC4D826FAEBCE97DA0D98F12A0D919977E2]]
BIGsc = 55E522F99F4643ECC7CD30A1EEF2F5EFC9B4FF5FB879107C7C041CE29202A70B47E996533EF5E32FE0CCFD5498CA30A2
FP4pow = [[2C0F24503CF5EDA5C21937E204F6D86E101676D264E22CE14C80853D8DD0AAF701097464EF1620E7DA9B9217CEFC2182,6964E7EA0C4CB0A691D3BEE4B242384DEEE875C224B823EDA6F846A629BEBDEC3615148972ADAB66787C722213AA9153],[23E758A1B48CB37BCD1219E9D8E2ADD5C6DBF5A17B51CBB7EE9B4E04B91327DFC777A74E3E7EFFC56B454790AE95DE4D,393237D4E4EF0BC212EEA30BE14AB2EC333DE4C9FC493703B2827DA927F4081E44FB3B6D1B12E1385EA75BB813E088BB]]
FP4frob = [[5829949A700E45461ECCB7B26A72AD304A84EB188F6C1468865DEF1AE97C1705E3724EEB3AF6DE988CEDC750C008B0D1,76B7A250369401FBF02C8251E3770853832B07E0E92A2721B8949B37322951989CF920C445DE1D4FE1BB80A79913DD89],[7415458497A67F8689DA7D077F1F9C5C85FE5F44A37A50B5FBB6A20B142F23C06E466AC87A491E6A1F01A11CF541B82D,1F2B08594F377336101E8FD3BD1AEB18749BF78BD1A399EF6A1D9E24988E6EBEAEF8DAEB95C3E5A56B43BD00B55C3791]]
FP4_xtrA = [[1FD2A9F2FEB25E9B992BAA663A4D4371C907D732F317D63A0665475A0B11A8D0A9022C0A605BD4B5724B1A742B67217D,310E4521BF122EF2222EEE607A587610C3B52E106AFD3AA3887BDA7A7DCE9434B7958991A6DAAFDF896894B766330C21],[4DB2141762098E5C5E934BE38DB4992A85F3ABAB159201460A698F9C49DE962D1CC4E1456C95554671D754406EABE315,3AF0F42BEB30B7AF03D57C5C555D29D59FE0E8FD43FCC0FBE9980ADE7A68A306AE61ABDABC3F8D9A85D2EA8A87FC8D58]]
FP4_xtrD = [[1526B4223528B88A8523C00E1B5B09B4E223F9225A9A150C94CE7E22FA418AE4299FB70D417F3EC7066124FE5BECE6C5,3A167E10FA1B21B60E819BFC03E089F39B0229B7F76BF8B292A624AF59AA964B22388E1FF1EFF60CC48708369CB9557D],[26C9DB67A7C20421CAE1407E5A05B0D031D9E7047BDA0D389D73553E399490D04D4AED49D54D32BFCA1C67AF6D8F4AFF,168258AFAC2420108FA33AA7D312F660E646335E4DEAA9940F07502ADC89E0A2FBEF65C968344326CFEF9D5678E558F6]]

# test 4
FP4_1 = [[63B75E681632F699DC383EC7F4AD2CD8079F61956717BBAEA54888C6B85FE89EE1A762B76294BCE089C447F04632619F,73E94B18241EE2E0A6CAB2637DFC2BBFB5179647ADEA5ED6880764FF5A5C57015EA133A2DB3386EFBB49D037D0738985],[1E8D92E1E4575A242A850DE59BA54457929A5F764808DB52D2C591AD60249165ADDB3794E9209224CA8B5C99A113B8B8,5C56B6CF25B3DD3071DF45C8052085F376CC1BE68C98E5A0ED3509CA16EB0FA4F317B71C9FC6459C11CA14557464FF5D]]
FP4_2 = [[61FCEF16BEB9789E1BBF4B0CD77B46E1EDB33E32821623583C6F03B25BB372ADF0518D2DE90CA07385559B8FA509BB42,11E6E2FD8D1E5D7B898CAC0DEF8F840057FD4DAD17645FEBE3954BCAF38C4459788243F5141FDB375E9536494FFE03E3],[512D14AC963907CA988F5D0FA1155DBF4CDCA67060C8AD479E5D6FD391C899A91F9A6D792CC00B84CA6A018AB35B35DE,498CF26DD8DA5904C749143EE975E21CE60CCEC5D5A98D3E0F7C18885FB507ED7FD4A5A580A106B2C059D27A9DE4FAC0]]
FP4add = [[4AEF2CFE2AF512D6F232372D46FC72849AE9B595E3FC5CF747CC75A9A10B1DEF5CD8D435372B65F6946D38CAC08EC776,0B0B0D950745E3FB2A920BC9E85FAE8AB2ABF9C2C01D3CB2D1B199FADAE05DFD62035BE7DADD6AC99F325BCBF5C437FD],[6FBAA78E7A9061EEC3146AF53CBAA216DF7705E6A8D1889A71230180F1ED2B0ECD75A50E15E09DA994F55E24546EEE96,2B1E88BC5496D9D43363075F696A66DB0270007A5D10F0CF62C60B830397DA34FDCC41120BF154F157773C1AE79CA4B2]]
FP4neg = [[170DC21893C465C7298D13DF907ED45D52C9889C9E19C660F4A28E08BAA854BE9378B8F8B1E13A7CF0E862C4E47AF3CC,06DBD56885D879805EFAA044072FD575A55153EA5747233911E3B1D018ABE65C167EE80D3942706DBF62DA7D5A39CBE6],[5C378D9EC5A0023CDB4044C1E986BCDDC7CE8ABBBD28A6BCC725852212E3ABF7C744E41B2B556538B0214E1B89999CB3,1E6E69B184437F3093E60CDF800B7B41E39CCE4B78989C6EACB60D055C1D2DB88208649374AFB1C168E2965FB648560E]]
FP4sub = [[01BA6F5157797DFBC078F3BB1D31E5F619EC2362E501985668D985145CAC75F0F155D58979881C6D046EAC60A128A65D,6202681A970085651D3E06558E6CA7BF5D1A489A9685FEEAA472193466D012A7E61EEFADC713ABB85CB499EE807585A2],[48259EB5F815AEBA97BB037D7FBBE7CDA026A337EC71B01ACE5338A94164351A0360E5CBD0D67DFD7ACE05C41865D845,12C9C4614CD9842BAA9631891BAAA3D690BF4D20B6EF5862DDB8F141B73607B7734311771F253EE9517041DAD680049D]]
FP4conj = [[63B75E681632F699DC383EC7F4AD2CD8079F61956717BBAEA54888C6B85FE89EE1A762B76294BCE089C447F04632619F,73E94B18241EE2E0A6CAB2637DFC2BBFB5179647ADEA5ED6880764FF5A5C57015EA133A2DB3386EFBB49D037D0738985],[5C378D9EC5A0023CDB4044C1E986BCDDC7CE8ABBBD28A6BCC725852212E3ABF7C744E41B2B556538B0214E1B89999CB3,1E6E69B184437F3093E60CDF800B7B41E39CCE4B78989C6EACB60D055C1D2DB88208649374AFB1C168E2965FB648560E]]
FP4nconj = [[170DC21893C465C7298D13DF907ED45D52C9889C9E19C660F4A28E08BAA854BE9378B8F8B1E13A7CF0E862C4E47AF3CC,06DBD56885D879805EFAA044072FD575A55153EA5747233911E3B1D018ABE65C167EE80D3942706DBF62DA7D5A39CBE6],[1E8D92E1E4575A242A850DE59BA54457929A5F764808DB52D2C591AD60249165ADDB3794E9209224CA8B5C99A113B8B8,5C56B6CF25B3DD3071DF45C8052085F376CC1BE68C98E5A0ED3509CA16EB0FA4F317B71C9FC6459C11CA14557464FF5D]]
FP2sc = [4F800BE926A2C7ADFC8ED77B4EB105CDBC3D3AF6E4E698449A1495911ABEEDAA7CC25B583B5F40998B2AAA897A30A3AA,612816534AE3A76E7C6C0F1B123D1DD190554CF4E7AD95F9DCCB6A068F0AE36CE5E151617B4119F48F42AC4551BEEA68]
FP4pmul = [[7107FBE6B8FDE9DD534EB56F9E50620FE47B2F7BE37D112325479FC4CF414879D778F76C858ABCEE3C65B068317DCA95,2790047FC097A0F6AFF39083667DA19FF4234B296804243D08AA1C17FF3F68F696D867DF4537319EE40CE4A94C4D0296],[0F085E02BEB74F25D6DF00C942866D17E2E2DE34712E2AC2B5B1E7E47B649C936176C182184BDC79719977B47B68271E,077191FAF771A0DC8E28BC36D2C2EDB4C6D2CA6B547964297F95FE711B140B907A6DE671D06086BD600FBE01183AF25C]]
FP4imul = [[359BDA36EEAA2B0B891E1708D3AF841D620C505C2AE42EECBC036CB5430F3F21BAB5F0C5FED247E6A7F382667D3C7A07,6631A047186DEFDFE8D571DB6F9C80D46A74EE72FF5C18646440015F29048A4931A3638868AEA6143C841B3D1BFFF1B9],[5BA8B8A5AD060E6C7F8F29B0D2EFCD06B7CF1E62D81A91F87850B508206DB4310991A6BEBB61B66E5FA215CCE33B2A28,1F79E36C1D2CDECF4A132C0905098F6FAF927F4F9B67ACC393C8EFBF5EB0B433EF06EDF5B666E2194004E79607D45341]]
FP4sqr = [[166A63A0C59EC10B078B3AA1FA4F4985BC546AE9C1A494F4C1E8877C0AC45B9F747D428EA55CA37E7EC918928035425B,62102A41986633E9EE00BA57BCA0EF5F01317EBDB498A1306BFA316A780942690565BD2BC176FA3E74AAE6A0EF511EBF],[5CA4FDF7E99108663BB4FDEA031068319D75F7A875C6C4B1C9B52B9E2030595654C155754A4EB798038B15FE7122FB93,11C4D66DE1B88AB0D5F97812DA4594C5ED4D7D542C02B1040F4517B3A0A62E4C603ECDEEDB15F15D8C961CE916791651]]
FP4mul = [[51A46572322269DB2EC84FC09C0B796BE892E9124540DBEC3580F937E254E0DD9EF6388690B3993E83FAB32E379DDFD0,14EBEDA7AA3AB567A47FF3736CA539059B3477ED026D90B661F19D3BD9687FC6D7FBE622ADD5135E5CCDBCB5264700F4],[498484B71BAD2F749C7A2E1A775B24204F90E30860E66DC310AB2BEF843A03D0629A663A518E17B85DF25CD89EF4F844,509BE5F79D47BF4C7FE09C1AA9E76C2F84C97A19B304418D88CD6CD127D27FCF6ACC774C27E66534FC4CF16CC2A0C76F]]
FP4inv = [[40CC6C9329DC3F1829964429123CBB7C02AC3B0FF4766FC529F21C56E86C86C22F726F0685FF579BE0EE0928433C97D3,411498B56400ACD39C6A91BEC1A87BC90484E332ADAEF6005F7F6E838BA8C3A00476BCF8F71205B82EACB1DEB85E292D],[64EBE5B061608A615BEEA09E9E7A6F33E560FD5D22C3B50C925600ED90EDFFC5148FC2DED698E93799A97B7152BCD425,10CDA52A6F41813DFEFE76A3B32CF6ED3CC9ABCEB964A10F0951B327986364A246169CD88FE52331BDF79F3B8BB18C64]]
FP4mulj = [[3CFBFC93689AD954BE6B1AC51BB0BF9976372DC1C0A177C17F7B9EB2BC41BF1E2FE39C285DD043E6336DF2F9575C0EC6,1F29306013DAF3969F01061B99C915AEFD912ACF703EE4260F84A8040763AD2BD2D3017470E06361A8C639EACB62AA],[63B75E681632F699DC383EC7F4AD2CD8079F61956717BBAEA54888C6B85FE89EE1A762B76294BCE089C447F04632619F,73E94B18241EE2E0A6CAB2637DFC2BBFB5179647ADEA5ED6880764FF5A5C57015EA133A2DB3386EFBB49D037D0738985]]
BIGsc = 66047BB053A5A3AC8E931BE9275869AE554943CFBF1FA9CDE92B42A6396C14A6E0555402BCE5EA4275393B3DDEC6A63F
FP4pow = [[2E97379451BAB735634358BB70E481EDDC75BA3ACAC93E8F1E517DA905A052399A6DECE5E8E7E833F14CF0F6D8878DEA,1649D9DDFCDE78BA2F693088A4CAA8DA84FD9961E4A38DC772E36ABDFFB0D4EF7CE122E763BB4A718CEACCC79262FA1C],[42675E1E83B8E89967936D8691CBA98D0EA89020CA764871E3EDBAF0B20895E3FBC1287165212E916B90BDD85C6065F2,7927B5A784EC3BAA863B09828AB49054DC6F0FD3FE9045F3FB35A4F89278E8C2BB362BFE63130863B41926B0DCDBABE5]]
FP4frob = [[63B75E681632F699DC383EC7F4AD2CD8079F61956717BBAEA54888C6B85FE89EE1A762B76294BCE089C447F04632619F,06DBD56885D879805EFAA044072FD575A55153EA5747233911E3B1D018ABE65C167EE80D3942706DBF62DA7D5A39CBE6],[01BDBFFCD4EF3081E8DF76E974218CA06D95E058D19056FDBED537A48B7DD0BA2C72E70E835DB5F00A578D4C22974720,45DA8C6704726852424E5F753A228905A6E52E80088ED12764BE57CBBDA57F5BEBB76ADFAD75F151471C056D593D3590]]
FP4_xtrA = [[6DE0BEB36ABEDF62F79F09F4323B2CC0876C19DE3DAE5513C6D90E654CAB3242B97A9248E9FBA165858D8A85468C747A,2C849BCEFB38ECAF9775E69D40A36F246487287F932DB3FB571C1FC8EA0B0A984E2DDB165D749A24950B0C1DCB168408],[63F91B2E3ADF854EE579EE2B92A38061F0B9732509B037B20A6AC7BB8C07E8EB85AEBDE7A9B0899AC14675061A28866C,34D31A03E51B416D996B39BA6FD156844A6E3E32379513C2483F5DCD84433310A86A5640F31826276E8D1926B73F1845]]
FP4_xtrD = [[4485E7D1ED278C995AA562611B4CF24061E77C22FDD821B6AB2DA38D8015051C9B6EB480091F18786099DE1C492B29F3,6FC7D512A41726EAABF5FADFCB009A4A4BD426926326E7A28FC1950AA9610F2132638D4633FBDB19F3709B9BA3C4B68B],[1EFB033B0848604D8AF9C70DB52EEFAB6841CC6300A6F947D55538296D713EC43B57A8EF0819E4841DF5247C889D1798,4FAD238B8328E8B0B3F2B0FB5F5A9F77807CCAEF4002FA364FC414785B741038D14E2078062C8538357D9ADED495BFA0]]

# test 5
FP4_1 = [[519C179A6336C328B426DEA2641BBFCE16BACB335E52486ED7C6DBADAEBDD59B426DE9EF44A320E6AEF55382D37A24ED,45C2AC160AEF0737642036A285ABAFB4769A3004BECFE1F6D13A710AB6C2BD6A230ACFF0FA3EF2C82638BB6F80F9BF5A],[192D2927C31C0A126626F3A3F663A32E2FD558BF5EC54C8114977933D115E4534FD80449C4F3C5A8B4301D80314DF61F,01F1D7D7463AC5FA4AD0092B923E7427B4C62C87373C4BEDECD64EAE8F17CECF2905383B457A584D50D01FA6F3DDE051]]
FP4_2 = [[188F1B9C02F3A91FA929D995961FA90A0B4804A4A8CB2718C78452A3F1650EA639E22D875D4C8B88A487535152D70227,315970C2C43CE706656E78C43C5C3BEC74577DFA818860F2FB4CFDB103339275758010A91C1B8DFE51A2E98AA9AD506F],[34CEEC14E448B9FF8A966B305D651679327CE74F11D28EF842890D952E10384EDA015BAC25CD94334B403BE0365C46FD,3ED0FEC09C7ECBA32134E50085C9DCF49E3AB3784B6B6E363E4F6F0FA05A936E1FF00CFDD2FDE4AA6EB678A5EFE246FB]]
FP4add = [[6A2B3336662A6C485D50B837FA3B68D82202CFD8071D6F879F4B2E51A022E4417C501776A1EFAC6F537CA6D426512714,771C1CD8CF2BEE3DC98EAF66C207EBA0EAF1ADFF405842E9CC876EBBB9F64FDF988AE09A165A80C677DBA4FA2AA70FC9],[4DFC153CA764C411F0BD5ED453C8B9A76252400E7097DB79572086C8FF261CA229D95FF5EAC159DBFF70596067AA3D1C,40C2D697E2B9919D6C04EE2C1808511C5300DFFF82A7BA242B25BDBE2F72623D48F5453918783CF7BF86984CE3C0274C]]
FP4neg = [[292908E646C09938519E74052110416743AE1EFEA6DF39A0C2243B21C44A67C232B231C0CFD2D676CBB757325733307E,3502746A9F085529A1A51C04FF805180E3CEBA2D4661A018C8B0A5C4BC457FF352154BBF1A3704955473EF45A9B39611],[6197F758E6DB524E9F9E5F038EC85E072A939172A66C358E85539D9BA1F2590A254817664F8231B4C67C8D34F95F5F4C,78D348A963BC9666BAF5497BF2ED8D0DA5A2BDAACDF53621AD14C820E3F06E8E4C1AE374CEFB9F1029DC8B0E36CF751A]]
FP4sub = [[390CFBFE60431A090AFD050CCDFC16C40B72C68EB587215610428909BD58C6F5088BBC67E756955E0A6E003180A322C6,14693B5346B22030FEB1BDDE494F73C80242B20A3D478103D5ED7359B38F2AF4AD8ABF47DE2364C9D495D1E4D74C6EEB],[5F235D9388CAAC73E155DB1B1E2A8DEA57C15BA252243F986BF9826E160DE961EAF6C44DB39C28D2E39C8C55259F048D,3DE5F99753B356B82F6076D291A0986870F46340F1025FC74871F66E61C578BE7E3546ED86F26B005CC651B62EA8EEC1]]
FP4conj = [[519C179A6336C328B426DEA2641BBFCE16BACB335E52486ED7C6DBADAEBDD59B426DE9EF44A320E6AEF55382D37A24ED,45C2AC160AEF0737642036A285ABAFB4769A3004BECFE1F6D13A710AB6C2BD6A230ACFF0FA3EF2C82638BB6F80F9BF5A],[6197F758E6DB524E9F9E5F038EC85E072A939172A66C358E85539D9BA1F2590A254817664F8231B4C67C8D34F95F5F4C,78D348A963BC9666BAF5497BF2ED8D0DA5A2BDAACDF53621AD14C820E3F06E8E4C1AE374CEFB9F1029DC8B0E36CF751A]]
FP4nconj = [[292908E646C09938519E74052110416743AE1EFEA6DF39A0C2243B21C44A67C232B231C0CFD2D676CBB757325733307E,3502746A9F085529A1A51C04FF805180E3CEBA2D4661A018C8B0A5C4BC457FF352154BBF1A3704955473EF45A9B39611],[192D2927C31C0A126626F3A3F663A32E2FD558BF5EC54C8114977933D115E4534FD80449C4F3C5A8B4301D80314DF61F,01F1D7D7463AC5FA4AD0092B923E7427B4C62C87373C4BEDECD64EAE8F17CECF2905383B457A584D50D01FA6F3DDE051]]
FP2sc = [4ED8178C4EBB66C86AB90E6DDFE78AD2888CCE5A99FA2E4A63A15B419D739A205613C158CB0F219FBB146F9D22763C5A,78468325D161D4704713A2147777E0C44EAECBAE9A6C7EFC681B98147F0DA2102AEA36BEBEE39C0091A8A9F689CCBC60]
FP4pmul = [[58148823A1191151D38270B3FC4CB3D5D6301CE85AFF499E0735FF567D374FF63B929738EB99E67BD1C09CBF32EDF584,730140522C00C6E5E61A8ABFC01100D4003C64F4C87AC541F3DF2501F5887EA35872F5C7BEC7CDFCF8CD3091B4CA2697],[211E4512729C95C3DAAD6E5B7EBBAF128A7E0EB6FDCF67E4459A9003AA3E5447E532AC6F5CFA852520D0479D5717D47B,726E8E4097A9EA5C9D91FE6C3927F0F9D7E896DE987ED44DFFBD1A7DF34F1C5C5FA6070520E191523D0E5FBDA3475555]]
FP4imul = [[50E61D6838EC53E0C510D53A8616FCCDA61958696EE61D9C2B454117D4E6DBB21F77705CE9A094DFC67BF8A0F88DE8DE,21806F56D7CD641B84F6353B0C56BC672596EBAEF0DC83BC1113968BF4FA7AEDA1EB0863C00FDC65A3899853AE8C5292],[64B4A49F0C702849989BCE8FD98E8CB8BF5562FD7B153204525DE4CF4457914D3F60112713CF16A2D0C07600C537D87C,07C75F5D18EB17E92B4024AE48F9D09ED318B21CDCF12FB7B3593ABA3C5F3B3CA414E0ED15E9613543407E9BCF778144]]
FP4sqr = [[1153F2D94B02F563E7C7492288183213B2749F90F35AF24313880E78C5D3EB7CF67F31D4AF7D9C42D175A810DA3B3BA6,430D97AE262E12517107D70B643B455FE04AE05801F2A4A47B472F43CE5C1133B534B7D561FBDFEF4C55E79A70CFB1CC],[3E6068B8BA50B977447C8AAA8ADDC06EF88E55583A014F0E6CB92652505CEB6F490FD91CC7AAC5C970F669FFD0FB684E,49527C02D6B30773AA2A44C539BDCA54C8D6D1BE54EEAB06093564FD8598A96CA21BBA6BE6AD793E78CC0B041ABA4BF3]]
FP4mul = [[45AFB5C2265B4181B4B20BDB891AE754C7B7AF5E7DCA744B5BEAF121C6782C7C5E26FD9B696A4664ABCC168E32D8AF0F,06185B5C5DA72841F56926665C8D18953EE4BB9633BAFE843FF31827F0E681A97778120E7F21718A4DA58B74C507C6C7],[4FEC13DC52D7CED184074F9469E4681DB481E89A33A8B3348618838A7505130EE8C84C6BC32B6568505DA71436C4113F,5D0CD82B16F124419F7428F5B27DBD9B52F50CB872872F196EE3CD1D287ECB5BD58D316BE76C255AEEF34653DD3B454F]]
FP4inv = [[71AD092116FA3E41D497D5E97FEABAACCD2DA7015E24E68EF62A7F46ECDA0650BE61003DB4557C07C3A17C58AA872621,0CE750785F9639A47F648F59A60A59A491329D9A61FC62C4185F4DD23C74EEAA1E7094CD06D13C554FA71C579C39E363],[1946B94BEA77F2B463DA784C6731D500E6436CD8A920D8506084FB3D53D34E7F4A0389A669D7D2337CD19B47561C7614,6788897D1379A667BFBF2E83DCC6CDA34A42C9527743C3C58AF9538E5637C7D51CAE4DED96AAA22E61D23D15FB41074B]]
FP4mulj = [[173B51507CE144181B56EA7864252F067B0F2C382789009327C12A8541FE158426D2CC0E7F796D5B635FFDD93D7015CE,1B1F00FF0956D00CB0F6FCCF88A21755E49B85469601986F016DC7E2602DB32278DD3C850A6E1DF605003D27252BD670],[519C179A6336C328B426DEA2641BBFCE16BACB335E52486ED7C6DBADAEBDD59B426DE9EF44A320E6AEF55382D37A24ED,45C2AC160AEF0737642036A285ABAFB4769A3004BECFE1F6D13A710AB6C2BD6A230ACFF0FA3EF2C82638BB6F80F9BF5A]]
BIGsc = 063EF090D78AAEFCACC1BD03B4F64A6FBDCD50CF0337FDB31893E1195F26D18D0CE50CFB6BC44A1775D58CA630039D41
FP4pow = [[31B17475802563C409094659D58124EE9F1FD216E8EEF824AE2231470B665C5EFA484B219E7D158E7953A6DACCEB9A0C,21CE6D064FB634055EFABB3FD1DF7241DFCFC99F8C43137998083F8B7B26161A90A0C5034618257047E0DEA17E2CA623],[2A2EF47B87AA23F561A14FAC66D905A19E2D2915A557780BF99ABFE0936B56378126A62541A3783EFBC6BB8A7D763505,79D00ADDFF3C9F5B1E9F020B656D12E46E02D58AB161D9E475980AADA688AF8FB9890783D6AEDE52AB75D13EE0F9D749]]
FP4frob = [[519C179A6336C328B426DEA2641BBFCE16BACB335E52486ED7C6DBADAEBDD59B426DE9EF44A320E6AEF55382D37A24ED,3502746A9F085529A1A51C04FF805180E3CEBA2D4661A018C8B0A5C4BC457FF352154BBF1A3704955473EF45A9B39611],[43E023DCB43E9885892C4C66544C83B04986E88C8D8DE89DA72C8298DFE4E96C61E409870E7E0BB910F86EB9E819A842,22B442F2354FADEA6DC940B0A9023B61F752015D6F223F370B4D104371A0FC0E65C21C0B62D470B25BCFCA63C3556DA0]]
FP4_xtrA = [[47B7209DB3DD8ADEF965A9AAA059B7B69D22A0CDC33A2179B11F37274B63866C4E653425064B78CEC0CF47C788BB0F33,1E387BF3D1E168BFB3F8437701292C5B6E8901B56ECCA03458340D8EF42EA3B0AD535902C80901A04758EE539BBB38F0],[47C42908665BF9276F26D40F627BA5B4E5908F8C67BAA8F07CBEF77CEFE592D745DAAD983DEF08CC61571BFFE6098DF5,5172B6C07C662C13879740FA606ABD2262576A90332150E66AEF968EB97000A3CD877C87C9BC518BAC8088AF7D642086]]
FP4_xtrD = [[63A604A5D88427D48B04312CCA38B4E239D0DD8E4119658497D084BC4E68BB015BE395564F23493068E4567588A19CA2,324D6002BA476043AE8CBC6DDE0FE72C4D7F6A80898462C672BD63FDD3DED3BCE43F33A381F3F1BC7A911B7099898883],[70BABB084088CD9C10CA71F277A506CB583906D6F78BE81095E818B9F288B415E8BFE1B05192511AD956A5003397548C,4D362BB1632893683FCA571C5E3AB2A432632ACCC36742E1E2E2025AA3C8470AF4262AE271A229D91A6C4A5202760C95]]

# test 6
FP4_1 = [[052D086DEFEDE7F78387BEAE3C05C626A18E8CA7B926AC020E882ED786EF4110042A2094AC4AC71870F5B6F11A6B66F7,38F29243AEBDCC251AF78E7B5846C352245D4E678241E1036E13393A43B3954412DD1FE4B7D9BE09C7D495E585F5AF17],[26A8C7D11B167F5ED08F68D370E5BCC79086DBC372C8116FF5174B274C283B9ECA7B023E2BC38398717DD45A7CBBA6BA,748C038C680A26B90A47BBB31935101DB4AE0E5F4DA194A9B8A733B46DB6F2621BF6DA383E37FD2FACC5312245781846]]
FP4_2 = [[39EBCE294982D392DD3A9FE8954D10B5A3D5509068425303CC9A82967A72044010A811DA3AE4C31568805E027E844B33,1B363B06F3C7F890436242D2527EDBD870C7C46F52FADC8F03F77B863060FE4DC1F7EE59E70F2B007734EC5D0E894D1B],[1F8D67D5623D1B2BD3D67BAF5FE0B470DFCF5A67865E7E55EDF70067506416B22C4A11D6D59FACA7E826790060EFC06D,430C9FEF97C07B013F43F964B5B6936D0C27F19D1FC78E37CCF1D6CF9D2C6166EEACE5AC9E477A610CACD33F66046B37]]
FP4add = [[3F18D6973970BB8A60C25E96D152D6DC4563DD382168FF05DB22B16E0161455014D2326EE72F8A2DD97614F398EFB22A,5428CD4AA285C4B55E59D14DAAC59F2A952512D6D53CBD92720AB4C074149391D4D50E3E9EE8E90A3F098242947EFC32],[46362FA67D539A8AA465E482D0C671387056362AF9268FC5E30E4B8E9C8C5250F6C514150163304059A44D5ADDAB6727,3CD382FB55D3455943C6627049BFA255666D15CA6837A0D1EBADF3B497DB166B9583A434C80980333EC559AC80CF2E12]]
FP4neg = [[75981812BA097469823D93F949263B0EB8DA5D8A4C0AD60D8B62E7F7EC18FC4D70F5FB1B682B304509B6F3C41041EE74,41D28E3CFB39903BEACDC42C2CE53DE3360B9BCA82EFA10C2BD7DD952F54A8196242FBCB5C9C3953B2D814CFA4B7A654],[541C58AF8EE0DD023535E9D41446446DC9E20E6E9269709FA4D3CBA826E001BEAAA51971E8B273C5092ED65AADF1AEB1,06391CF441ED35A7FB7D96F46BF6F117A5BADBD2B78FED65E143E31B05514AFB59294177D63DFA2DCDE77992E5353D25]]
FP4sub = [[46065AC5506270C5AC12716D2BE4B6A6582226495615DB0DDBD8C3107F857A2D68A22A6A85DBFB60832203A3C694712F,1DBC573CBAF5D394D7954BA905C7E779B39589F82F4704746A1BBDB4135296F650E5318AD0CA9309509FA988776C61FC],[071B5FFBB8D96432FCB8ED2411050856B0B7815BEC69931A07204ABFFBC424EC9E30F0675623D6F089575B5A1BCBE64D,317F639CD049ABB7CB03C24E637E7CB0A8861CC22DDA0671EBB55CE4D08A90FB2D49F48B9FF082CEA0185DE2DF73AD0F]]
FP4conj = [[052D086DEFEDE7F78387BEAE3C05C626A18E8CA7B926AC020E882ED786EF4110042A2094AC4AC71870F5B6F11A6B66F7,38F29243AEBDCC251AF78E7B5846C352245D4E678241E1036E13393A43B3954412DD1FE4B7D9BE09C7D495E585F5AF17],[541C58AF8EE0DD023535E9D41446446DC9E20E6E9269709FA4D3CBA826E001BEAAA51971E8B273C5092ED65AADF1AEB1,06391CF441ED35A7FB7D96F46BF6F117A5BADBD2B78FED65E143E31B05514AFB59294177D63DFA2DCDE77992E5353D25]]
FP4nconj = [[75981812BA097469823D93F949263B0EB8DA5D8A4C0AD60D8B62E7F7EC18FC4D70F5FB1B682B304509B6F3C41041EE74,41D28E3CFB39903BEACDC42C2CE53DE3360B9BCA82EFA10C2BD7DD952F54A8196242FBCB5C9C3953B2D814CFA4B7A654],[26A8C7D11B167F5ED08F68D370E5BCC79086DBC372C8116FF5174B274C283B9ECA7B023E2BC38398717DD45A7CBBA6BA,748C038C680A26B90A47BBB31935101DB4AE0E5F4DA194A9B8A733B46DB6F2621BF6DA383E37FD2FACC5312245781846]]
FP2sc = [6AB582BF45A1C8CB2979E15A2CD3DC50ACA2FD8EB33C2212887FF0D9F73EDCD2343959D066B4E10A2D0F085A75851268,043928E6A39D7FE1F8F2A54DC9446F48163AFBA5F02756F3C2490E5A072ECDE73ED0BAC1CDDFB5265553BFEC63A33A55]
FP4pmul = [[609D1D181863632738C9513A9A31691F6462207E614504B07B9F25438384C2F082148BE9CEF7E520EA7405D57ADC1B36,5A74C4AA935F082B6764934B6C70FE039EEEA80AD05E2D780E82126C962731716CB14561341BF47809ABBD5FB7971A01],[378ABD26019FEADE5B3AF58C7AF18B23CEC46CC2AB3EF8A4F56B35C19110FC1DB9AD497B74C68C342E98269906901051,1E913E8F77C9D4E87C01D6770145D8ABDEE52FF5CD1F3D6040A7499E11F8C1247214E1E38413F7BBB53C4DDB7EDE24A4]]
FP4imul = [[19E12A25AFA587D591A6B9672C1CDEC127C8BF469DC15C0A48A8EA35A2AC455014D2A2E75D75E37A34CC92B5841902D3,27329A5115C643F77B4B2319AF09CE300100B3A180E660F1F289F0846C716F99741168176E54C775F1CD98114871C09D],[4686C694DD7920790D07B979AF50AEB07839609F38B6D5202F8960F509C0ECBC7F46EF86C65B9A9CBCC87B0F44FCEC37,5BA78FBB605550191C515FE169594BBF1DC29F146F61DF123397A7485871C674B751D458E540147875274AD6B0A323B2]]
FP4sqr = [[70D54ACBA7A68EB6BB6B3ADA0C378706B63DC8EE79FCDEAB94E6D589DF48B9847A74954FE7D3AC4FB5F45C0B69F1ECC2,7A785176A81317E330932D9D845C2015DDB5FB993E11AF612B0167003822EF7D6CE64152C6A94067220CEDD9127D8709],[6A58A68425B033AE8F2002E09D58F5BABDBE31EBC485C876B3128E22C7D1CB685EE0674E10938F44B2EF96B4B4A0978F,3D959382E50CFC6D10211D23043E1BAAEBE597BE93C75AEC667A2C2CA81D9CD31DBF2506CD8A430F2AB6F14ABF80882E]]
FP4mul = [[2F5D465D400B3610837A01EB7F6A8069CF9BE8111DC37BDDED7C153FA058A6BA871E4A9B286D4F0C9E4308416F801117,0B0F5D32CD620C9232325A89AC2E7E1F9CC7FD72870077AD6F8A51D80941C847994198FB021A87CAE4CDAA95E61400A6],[2C43E09EB4EC25F852A2FAEF5F8EA2BE5E8998BA922D323455D581052C59E4F1BDCDF51FAA6EB1666561C287B3D8A7C3,5913B85F9AB4D5D589459FE3D6B75C60899BFB15ABFAAB302DBCF616FF8D797516B7BB89C656E92BE4C184520C554213]]
FP4inv = [[50187C713E7F96E26B23EE1AFBACCF997D109B05B03A51E7D03F11D5E163398578A2C9BCDACC45C99EB77ADDD5C3E11F,08EA5026E023D591AEA3730E73F59B5B60A1A96CC52DB1FD2E10B14E2CBF38D39E4616C7A6708175EC97871351F77359],[391423A16B8A07FD9DB24436F410DB926C4FD1991B677B9BD8758928E1C5ECCC1FC339F7CEABBB8CFA0BC35577D6851F,42A1A167B7187546FA3B67179A628EACA7F3A9C60F888CAEC4B59FCBF3ABED943583CDA212498923F07501EEC5930E9C]]
FP4mulj = [[2CE1E4C55D03B506CC0CFFC7DCDCADDF3641B7962A57FED5D65B2E425179869A23A443B602017DC63F654DED61F0E3DF,206FAADCD92949B6D511D1DF04EECBAFEACBFFF0BB38240A13D3680C46D6F0A37151C0C65585896AA3965AC797866995],[052D086DEFEDE7F78387BEAE3C05C626A18E8CA7B926AC020E882ED786EF4110042A2094AC4AC71870F5B6F11A6B66F7,38F29243AEBDCC251AF78E7B5846C352245D4E678241E1036E13393A43B3954412DD1FE4B7D9BE09C7D495E585F5AF17]]
BIGsc = 67BD4ECC947F228D9542A73FE017BF856575BAD0A6A28385C6A88B025777D738F9D553B2024974DF6802323E78A97FF2
FP4pow = [[476162B311A336D3A3EC230AA24FA44F52B93803700E12EBE6591DE30E9E3E86FAC7B06190BBDA5084AF7A2F5D5A048E,5E658B5137CEE02A0DB9A6E027340D2D3D9081FD054DBA70D230315E0DC53AEC99D9C8E08D2CA654EDD603B79853995C],[2C31F93BBF888DC3AD50D6070F894C65783A0E0F5D9B0EBB1AFA5258A505916848B614C5122A996A9496B897F33264D9,23A5ED58834F8DFFD4F6F0145A20658EF853DEA65BCF0F716DB7456C7CBB69A463942912E28A2FF85DE4976CD1BA0214]]
FP4frob = [[052D086DEFEDE7F78387BEAE3C05C626A18E8CA7B926AC020E882ED786EF4110042A2094AC4AC71870F5B6F11A6B66F7,41D28E3CFB39903BEACDC42C2CE53DE3360B9BCA82EFA10C2BD7DD952F54A8196242FBCB5C9C3953B2D814CFA4B7A654],[3CFA8CE5AB2772545C1F8F8608650C0D496088BB13D88307AF1A0FCDE00D1D5C293DFCFDC223835E94B10D6724B2F47D,28BCE49AF29713974D2711CA44019409873D7576B8C3F872DBAA03FDE70ECB0E671CA10822570005AB71AEFB080AF70C]]
FP4_xtrA = [[16F41A669217B934B4F44C5808314C4A5481AEB80F6D1F8BD74E7AB7DC60105F2C66765D96EA26ABB7B5CE0936F1A83B,54ABD247CA5F720927DAE24EDA6A77C50F6F195F83FDC69430E37DD846DDCB987F0DDA78EA7B972B9466130D7F40ACD1],[79990A787E200B25A76D3DCB1795540593F46EEDADF16D97CBC12C923C9C329F5860914AB97B67BB1EA86C32428B5992,482935297F8DA3CFCB393A0D9AC4DF899C0B654B2428E514F472AE6FF135C82CC3F51C8F31F163A3963E632440337F9C]]
FP4_xtrD = [[667B39EFC7CABEC7B45BBD7D942BFAB97320AF9F07AF86A777D677DAD16A3764722054268F3E1E1ED408EE29351B1ED4,08932CEF4A977F98FAA410A6D3CE997194FB5ECA398DED5A4EDAF48BB0BBC4F5472C018956F5C4539263C20E069228DB],[3CE515A5B1E5D60B2A7981DFF9F86E148462FF40A4E4694703560DA1ED1A05487EB6501A53A49F181B3E94B4836A8F98,3123599A6132911D1925EF3A2C50397BA06FE01924A78020A3F265F69D7B06DC6B6CA217210E4EB38EE7FE24F5160DE4]]

# test 7
FP4_1 = [[136485926045862420617C0FA95C7ED7BC26CA7BD3B2ECBA2AABC67F8B13C8CBD07E0BC1A1CC7B82D181FE9C3C7BDA77,40EF9D7A341D1B94B496C38E16E6913B8B289A177E02B2AAF09A9056923EB8235E403A51A5CFF411BD7B2652186D208D],[2133E31D8509E22AAEF7FF14C5E471C75D79420584213C4858B90991C2F8B18ABF2A4A09C995301E1F018FAC7C8939C2,2201E5DBF217AA08E31BA9F48D4D2D501DD2A61052AED1E394348CCC98C653680FB61DCA9B797A4A1373F1B3C5627C31]]
FP4_2 = [[190063DA7E8DBDB6127321831DF7CEE68F61DF143FED2FFF48742DAC9964F83FDA6C22DB9065E014C9B62C29B9DADA08,313E35E11B6C59E02F924235CD04C82A509D4BDD0F2DBFB7F81AE3619413D56F2C75214FFA037FAD7E626D87F2B12A],[2D102673B1ACE4FDDD2B6B67DBA02ED969B513EC1E44F3EDAE2C52695B37DDF180D9B4BCFDA7A5EA24B4B00969E61B30,5200F36E8F9A8586F7BE8C199ADF2F66EC26997A4CAEEA97B34C8D826D12BAF81886A8F09749F9231F370BF363649951]]
FP4add = [[2C64E96CDED343DA32D49D92C7544DBE4B88A99013A01CB9731FF42C2478C10BAAEA2E9D32325B979B382AC5F656B47F,4120DBB0153887EE94C655D04CB39603B57937635B11E06AA892AB39F3D2CBF8CD6CAF72F5C9F7916AF988BFA05FD1B7],[4E44099136B6C7288C236A7CA184A0A0C72E55F1A266303606E55BFB1E308F7C4003FEC6C73CD60843B63FB5E66F54F2,7402D94A81B22F8FDADA360E282C5CB709F93F8A9F5DBC7B47811A4F05D90E60283CC6BB32C3736D32AAFDA728C71582]]
FP4neg = [[67609AEE49B1D63CE563D697DBCF825D9E421FB6317E95556F3F504FE7F47491A4A20FEE72A97BDAA92AAC18EE317AF4,39D5830675DA40CC512E8F196E456FF9CF40501A872ECF64A9508678E0C9853A16DFE15E6EA6034BBD318463124034DE],[59913D6324ED7A3656CD5392BF478F6DFCEFA82C811045C741320D3DB00F8BD2B5F5D1A64AE0C73F5BAB1B08AE241BA9,58C33AA4B7DFB25822A9A8B2F7DED3E53C964421B282B02C05B68A02DA41E9F56569FDE578FC7D136738B901654AD93A]]
FP4sub = [[752942388BAF24CF13B3AD341090B126872DD59998F73ECA7C22AFA264B70DE96B32049625DC92CB82787D27AD4E55DA,40BE5F445301AF3AD467314BE1198C7360D7FCCBA0F384EB38A2757330AAA44DEF13C53055D5F0920FFCC3E4907A6F63],[6EE8DD2A7D54598DD791E6546F7044234E2D184B6B0DCA6A4477CDF7DAC910F6B370B0FCE063819174F98A583D5073FD,4AC612EE0C7480E2F12270827799FF1E8C14F6C80B31695B7AD316199EBBD5CD6C4F908A18A578846EE990758CAB384B]]
FP4conj = [[136485926045862420617C0FA95C7ED7BC26CA7BD3B2ECBA2AABC67F8B13C8CBD07E0BC1A1CC7B82D181FE9C3C7BDA77,40EF9D7A341D1B94B496C38E16E6913B8B289A177E02B2AAF09A9056923EB8235E403A51A5CFF411BD7B2652186D208D],[59913D6324ED7A3656CD5392BF478F6DFCEFA82C811045C741320D3DB00F8BD2B5F5D1A64AE0C73F5BAB1B08AE241BA9,58C33AA4B7DFB25822A9A8B2F7DED3E53C964421B282B02C05B68A02DA41E9F56569FDE578FC7D136738B901654AD93A]]
FP4nconj = [[67609AEE49B1D63CE563D697DBCF825D9E421FB6317E95556F3F504FE7F47491A4A20FEE72A97BDAA92AAC18EE317AF4,39D5830675DA40CC512E8F196E456FF9CF40501A872ECF64A9508678E0C9853A16DFE15E6EA6034BBD318463124034DE],[2133E31D8509E22AAEF7FF14C5E471C75D79420584213C4858B90991C2F8B18ABF2A4A09C995301E1F018FAC7C8939C2,2201E5DBF217AA08E31BA9F48D4D2D501DD2A61052AED1E394348CCC98C653680FB61DCA9B797A4A1373F1B3C5627C31]]
FP2sc = [775A4AD7D798C2517DC96549F0A69AC3474EF727D1BBDD44EACD088E33499100CCECC29FA156FDE24F19D70DD704D0B1,52B2004E9F972EE8066EA604F3D4478DF34FF933BA26771AD9555023511D81511A9D8C1A6167F63CB1BFC98F52C2A635]
FP4pmul = [[0B0D1A9F1C86EFFAF8E28F8D34090C0ACD724EA866955F850629D4148F2A281BAC0CD1619382453DCDBF8188ACDE58C3,3374D45BD1DEA120A98EFFE7DA4E8AF38DD97D03FC5175E4934D89CD5373D0BA982B37A60CED3BFD4A7B512FF87C586D],[4A140BCE15FF3C250475015486662BE360A0CC0FB320A4F2322B8545AFA2216135DA6F0BF07B942357447CB010C6FDD1,3552B6DA3787F3C1C28C3EAD9A7FFF0FE8786948A748EFB2CE9F263B4D895778B59F03FFE90470F3EC75AAE50E3D3A24]]
FP4imul = [[745B216E41A124D8C248E85DF82AF90E68E8BEE6F6318C5D0006A6FD4276B4C6E2F44689CACAE510E90BF7A96AE71ECA,154E4F5B3AC890592A389D5DF9E363C533B8DDF6E47BA9D2D5DE1D99145F98BBD6210AD9A57DD25200DCE5CD1286C30D],[4C7232307443F09F140AA7D51E2EA976D66EA1EF1395E7A27A6B229B1ECBEBE305DDA08AA50929573F5CB355C08A0521,514642A702969FD44CE0A913CAA30EAB5886FA2FEAE76945DF5035FC219DB712E924970F9062E65EFA0AFF8175A193BB]]
FP4sqr = [[47D5DE8CA9BDAB6B48E3DE3E338EA72F9D83D9E81F4F80C1487E888414EC8DA7FF0931F05AADD64E4227641BB32E73B7,33F2CC209E7C06A56F3D5A8324293E97906D0176FBFE572A229FAD4B55B0A47386306B2494A8502F1A132CC34854ADAE],[06BF93E0092C7BE51A58F0E6F84EA64D56D56EC2B8B93AAAB5996CCE7FD88C9755D9C907073A2D44E323E8469C24ECE9,74DE3A5DDDAA66A546C4DAA5A07709BBBA37F8586D773A4A081371EC4722AB9E31F4CF8DD2B832CD2B85B6489B20961E]]
FP4mul = [[20DFCE28F4EFD180447B5D60AC53F34F29A3155C7146650B9C432FD9599698C228BBCFBB82059A98063A21BB36BC0274,61010DCEE6B05E97F71EA316C01DA535ADCE572357537243075818006F08D0932CC7E5B9F8CDE634B6C907170826CB53],[131CAEA47AA5BEC446D4588DF21BC2A1B73D29C50E7321EDD91553955A89E94FB2BB7B91C78524D52F128145464040C2,4ECB2149A05B4BE95BD9B928DA3F90C464340B6AF71BB6FE75F0677E5C61D181A137277732852A4DF48E78BC92F9D7AB]]
FP4inv = [[62996C6AAAF9DE5927C3611C258DE844D745860A7C81725F73A7C896F4EEB2695D2719F5BA1E42E0ABCDEE9FA8FDCBDE,36AFAA161045BB562C8F001451E8915B3A977359A3D975C69FFD83FBCEDBF333E08E6B553913823A41255E6C2EE93235],[756D23CD6CEEFD600197E9632327E18648A6E7AED1452B4C2FDDC865759B2501133094A75BBD2DC14DCBFA89BA7A1212,795A1BC65FE7E9D0493D24BCC035DB6E3D0730D27BD1B1A997F5828313E476C01CF4F5A6C30FBB32355CCDC1298CD3F0]]
FP4mulj = [[79F71DC23CE99482D1A1A7C7BDC345AC9A0F862736A3EC745E6F93949D3A9B80249447EF4291AD31863A48ADE1D412FC,4335C8F977218C339213A90953319F177B4BE815D6D00E2BECED965E5BBF04F2CEE067D4650EAA683275816041EBB5F3],[136485926045862420617C0FA95C7ED7BC26CA7BD3B2ECBA2AABC67F8B13C8CBD07E0BC1A1CC7B82D181FE9C3C7BDA77,40EF9D7A341D1B94B496C38E16E6913B8B289A177E02B2AAF09A9056923EB8235E403A51A5CFF411BD7B2652186D208D]]
BIGsc = 732FEF9BBC373E626760EF02EE73BC95843D869C57CC20D2717F642B3E95AC29869F7846853BA3F22FFA0BDF9C9D027C
FP4pow = [[66893AF98591322FB996648AD2BD074E53232D4EAFA28327AA959CCC041A48F91CB371532CBC8E15D2265C69D2C25B65,33763FDE8F5FB322BFBDE4A6D71F6B7AB247AD0646E97C246D37658F95AEDAD242CE08BD51870C469CD9ED4EF0F84A02],[4A57D10E5BB1684779C1C0A31CC3292B747AE54BB642AD02C0C0076492B3158C7C91F16D6C63C392FD3E01B9EF9CD985,059ABA839B5D6BA1C10D1BDF707FE38F9548A3095302E49A2ED0E2E0F0C67392C822CF0E82BD39F9B52CB434B5EF7425]]
FP4frob = [[136485926045862420617C0FA95C7ED7BC26CA7BD3B2ECBA2AABC67F8B13C8CBD07E0BC1A1CC7B82D181FE9C3C7BDA77,39D5830675DA40CC512E8F196E456FF9CF40501A872ECF64A9508678E0C9853A16DFE15E6EA6034BBD318463124034DE],[0B62B91EC3BF650D1A3904F3B0228FF916036D0AB4F13C25874D4205D037BF702903B4923AB5E9A9F56857B29CFAC82E,6E4E13F931BE870CE7E6515418072ACCE31D7292C57330C64D2EB5A79D95441606959D2DAC91D94927EC9BDDE029BC09]]
FP4_xtrA = [[1F09AC72FD9392DCE6323443053098A15D3FE4807956579403898734174585B121D2E3FD61FD9EBA23F997DAC7AF15B9,777D90BCBB91478922F61F1B3EFB6D23D1A80BFBF256985B673467EEE47DE5AA125A4B95E252BF3B7600B715AF75FF87],[64036996BD6AF2DD90C932FCA1D4018ADD39206B26AD415662C0614874A85885654AD10CFFCFDDC5A339BC4F8550C525,0F21689B6DFFE968E961FED10B8E01984F86870036E9844B535D1E6153EDAA2D12973635B5CF73CE2F75281CC7A5180B]]
FP4_xtrD = [[210CD367E9329F230820E61EE0D5A980253644F077E9A74CF326FB84FEC4FC105E0D1A6D1714DF489F2366E33A36BEC9,2CD8B1ACE0392BDD0BD5260E7B881D55D484B77A052A73E3DB55A36DA43B718A3ED012315D7E5F6919C98AD44227C1FF],[49275A1B1340403A7848EF10841789DC11C7F2CDC0FBB33B670B7FF205C9EFACD42E5D1A9A648D812127079F9537606D,3E1CE59517E25E560736DBE735E563269B745A470DA35C01969174B605A71510DC40EF72F5353003D7C0EEFAFB383915]]

# test 8
FP4_1 = [[27560851AE704F4B70C5496B270707DF31B51A020F37F21B8577D154A6E75295C9B37CEE920ED13D29BDC0D4492D6871,61216B3FF71244B09F45FBCE95644D40A65CE64ABBBDA445710DFCC49925305E7B566DD847871F106674E8A6A8DD814E],[3391818757B4009715E748BB44268E77025E5CEAAEA080F166F75EC75AA9366E8BA7CFC2C663B8677B9E3ACED345ACF0,0804AB16B70045FA38476BFC87FCDEA4ED65A2E3A2063155DC6985A0710E482356801838E910C8E8E4AF7937D9107641]]
FP4_2 = [[5EBDA26D4EA50B82C73B8CF12033DBDA0FE79B20EAFE97EE2AF4D08D6A8F1A4BB8A032B1B8135D244A77F20E5B33A086,033E6E8ED7C60727F114208970E824EFA7016EF526E911A2CF2F1A922B3606068CB4EB58B54FB7814775E66E19BB281E],[58AF3D00C549E15FD8D8DE769A50D2D86CA1B351EA188EBC5ACA9E88FF94B034ADD3EE05FF6213D351C78C57E88078F9,2B708F6C0C7EEFCF0FE5B3F43FFBF27055235FA1B170917F1B7CC2D719660CC171B7D78DC2BBDFC8B5E06F878DCA66DD]]
FP4add = [[0B4E8A3E531DFE6D323B83B4C20EE283E733CAF0F50507FA16818B129E6E2F840D3393F035AC3703F989082D79B3B38C,645FD9CECED84BD8905A1C58064C72304D5E553FE2A6B5E8403D1756C45B3665080B5930FCD6D691ADEACF14C298A96C],[117B9E0773068595E8FAD48A594B601A1497260A93878D9E27D6E680E735A945C45BA218B14FD4DD52B91C719118D07E,33753A82C37F35C9482D1FF0C7F8D115428902855376C2D4F7E648778A7454E4C837EFC6ABCCA8B19A8FE8BF66DADD1E]]
FP4neg = [[536F182EFB870D159500093C5E24F95628B3D02FF5F98FF41473457ACC20EAC7AB6C9EC18267262050EEE9E0E17FECFA,19A3B540B2E517B0667F56D8EFC7B3F4B40C03E74973DDCA28DD1A0AD9E30CFEF9C9ADD7CCEED84D1437C20E81CFD41D],[47339EF952435BC9EFDE09EC410572BE580A8D475691011E32F3B808185F06EEE9784BED4E123EF5FF0E6FE65767A87B,72C07569F2F71666CD7DE6AAFD2F22906D03474E632B50B9BD81912F01F9F53A1EA003772B652E7495FD317D519CDF2A]]
FP4sub = [[435D866509C2A029AF4F0F218BFF2D3A7C366913296ADC3CF46E1796AF6075A7863365ECEE716B7659F2797B18A71D56,5DE2FCB11F4C3D88AE31DB45247C2850FF5B775594D492A2A1DEE2326DEF2A57EEA1827F9237678F1EFF02388F225930],[55A765073C617B9842D3BCEC2F01BCD3F02593CAC9B97444A617D70DCE1CC39752F3FD6CDB779BF1A483592C15728962,57593C2B5478B28C2E270AAFCD2CED69F2AB2D73F5C721E65AD7D998CAB078BF59E85C5B3ACAE07DA97BB46575F364CF]]
FP4conj = [[27560851AE704F4B70C5496B270707DF31B51A020F37F21B8577D154A6E75295C9B37CEE920ED13D29BDC0D4492D6871,61216B3FF71244B09F45FBCE95644D40A65CE64ABBBDA445710DFCC49925305E7B566DD847871F106674E8A6A8DD814E],[47339EF952435BC9EFDE09EC410572BE580A8D475691011E32F3B808185F06EEE9784BED4E123EF5FF0E6FE65767A87B,72C07569F2F71666CD7DE6AAFD2F22906D03474E632B50B9BD81912F01F9F53A1EA003772B652E7495FD317D519CDF2A]]
FP4nconj = [[536F182EFB870D159500093C5E24F95628B3D02FF5F98FF41473457ACC20EAC7AB6C9EC18267262050EEE9E0E17FECFA,19A3B540B2E517B0667F56D8EFC7B3F4B40C03E74973DDCA28DD1A0AD9E30CFEF9C9ADD7CCEED84D1437C20E81CFD41D],[3391818757B4009715E748BB44268E77025E5CEAAEA080F166F75EC75AA9366E8BA7CFC2C663B8677B9E3ACED345ACF0,0804AB16B70045FA38476BFC87FCDEA4ED65A2E3A2063155DC6985A0710E482356801838E910C8E8E4AF7937D9107641]]
FP2sc = [6B9177234DDDA59A4C971AC9CE88E682928D245AF1BD5395A2046DA6B903B6DA2683B2EBB437905E708953EFF770253A,38727360E6F74788E84B3103FBEE72FCEFCD14EE48349F9AB9BE29D2741BABEE300F1BE792572D7B75E612E211590AB2]
FP4pmul = [[567B3412A2741E8B8D5E8CF8D5AFE0AAD051479DEAA279687516C581660DEC200ACD195DBD481EF2B0624D02136028C8,262FAE7A011099E030C2775F24C37B408D9CC6D08BBC54360DAB6694896CB425B7206F82323D1CD202B5D600DF6430C6],[56C926E7F4882F98B59A02F3F2344802FA2D3A0F53DF81BF4A87AB1A85E73779038E89E4A31C505C7DE6BCCA8A5CCFA9,65C907592E9A83B0AEEF11CD0FF09627955CE18845ADA41346524212F5301CFED5EAFD155536C00E9F50BE4C0E42A74B]]
FP4imul = [[1DCFF93A7123724E09DA5C9F06D934AFA721E1AA60249AA172708BB1AA42C75D99A83325D57BC9F12ED6F063AAE33041,42104C3C6FAB12EF3E0F45607BE216B9C87DB9110837F39815CA7752F0DB1FC215BC76798E64049F67D30704C8ABDE0B],[737049B211FD4B5F8DC857CFD2B5E2D65BC2B606BC00827A9CED69D49490024AE75676F343CE1C196BFA463D718D0FBA,3820AD9F0101E9D789F3F3E7B7EA16827DC774396E2B595906E2A7631763F8F75D80A98E5F757E5E40CC5086EF733BC7]]
FP4sqr = [[66B94B0EA98FB3E149DF7F5BE5F56B317DABF2FBEFCA1E26BAEF9FB0A8DE10A55970119EBAC506067E2F630CDC066B84,4528B57EF5102831D55BDAD8CD5B5354CCB97D3A66A9E70803289918694D08CF1FBD9F4D3F5D890E3BB21B6FB9BD44B0],[7699F6D0EB65ACDF02F3BCA7C66EA52F500A15F6B60DC79BBBD9F3A967472E16A18FA6498E907C8CC3517E8C0D556506,6F890D5C4CD8D78826A82FFD2F33D4E3FF8A3DCFE50FA00144AAFE0AF30777B1708D6573DA2EFEE29D8A811E8DD3D899]]
FP4mul = [[10D1393FE1109BDA3F78B2108F024925ADBD5F59D2A842CB55EDEA652788370F123A7900AE6891D65FB3DDB821756100,64C7315BBFD9C5C41FFAE02D00BD5D8408A543DA6257DBB6155A90C6C8916E6C46828B8816835743EC3EA424FBE8A898],[063ECA911B366C0236B6581F865F789E3D1ECB24006E21B341CACE4A7DF5F969BD851CB19F782CE916D8ACB31625B228,60AF9F87448978AFD6C13CEBBFEE3CE8AB12784D702D2B29F90C0A039A244C194E6DA4C82374CC760B3A7023B401C6DC]]
FP4inv = [[06276C62071BFC84F7391B34F4673B4C1402B478D034267C69E4958CD23FED41B1978C7F45999EA84FDA5AC097D0B32C,BF2936B687E06C108C4A12EECB185008AD430C59AE962851EDB8F7F4B8CB10C9DB87F341BDBD16500F7F641329423F],[1A247935E387C0406B954373C5E65069E936CBAE5C4C435DB2481F34166A3FB10EA1CE0E1575C54E4E319FFD42A353CD,487CB94D46010CA82A4EEDB28EA1A3740DA1A5346AEBABB4C86C747450068A4743307375542C3C8067A2C828058517A4]]
FP4mulj = [[2B8CD670A0B3BA9CDD9FDCBEBC29AFD214F8BA070C9A4F9B8A8DD926E99AEE4B3527B789DD52EF7E96EEC196FA3536AF,3B962C9E0EB446914E2EB4B7CC236D1BEFC3FFCE50A6B2474360E467CBB77E91E227E7FBAF748150604DB406AC562331],[27560851AE704F4B70C5496B270707DF31B51A020F37F21B8577D154A6E75295C9B37CEE920ED13D29BDC0D4492D6871,61216B3FF71244B09F45FBCE95644D40A65CE64ABBBDA445710DFCC49925305E7B566DD847871F106674E8A6A8DD814E]]
BIGsc = 12E3C1271E87198E3DE2F35E400A2D81EA70254B4A79D4DA75A33933DA6F4D149D5266B7135AB709C8F53984920EA0D7
FP4pow = [[4B39DD9D7186B6FE810228AFADFEBD86958348C7AE62E1FE139F2C8973713296BAE9321E489ECF455EFDDEC891FC846C,639B03382C51E6C33C15BCFAA75C84578F4364231E4F5CC30107C040E76C30E33B63DF23C66997596AA80EABA6D6D180],[04B3A0208B844E9418CE7BA3077A2585ADAD51091D26196A16D40B97131E1BD4DB30C476E99C0D50F260CA53B075BF12,0DEAC8AC7DDB5811C95F6022B9AE69E758CA5382B84392FA59F28AD375D963EA579264FE0982C3041D740D71CD2B0211]]
FP4frob = [[27560851AE704F4B70C5496B270707DF31B51A020F37F21B8577D154A6E75295C9B37CEE920ED13D29BDC0D4492D6871,19A3B540B2E517B0667F56D8EFC7B3F4B40C03E74973DDCA28DD1A0AD9E30CFEF9C9ADD7CCEED84D1437C20E81CFD41D],[164ED92571434372B617A950A4F1E682E3830849443F0FBF3C1E365BFEC81EE631DC38E80CADDDA5C4EBEB3914E543A4,67EE0A89F4580FD95017A004FC9413BBC176007AD6D677693BD4FB50D56805021B6E720113FD17257CF7837C90C5F4C8]]
FP4_xtrA = [[0213FBF008B4171C93F70C426F72FC4DD3BF2FFA94730FA5638A9F5BF8B6B6FB4DC0B9865FBA8E02B4FAA4FEDAE2B9C2,5FC125E2B49D33C0FEF785EE2CC516B7639AE501B5601105BB62FE9DA4C40D6B07836A941900B2362918B2767B41FD8C],[75626309FF98AE3719497BA664C8EEF31830D61F9A9851869794F9B3A10691628DD2F2EF9FC4893A18C8798505D1AB6A,09AB68ECDA69530528854BB50AF5252FC37C55E5F1D393AC34ECF0F120782D63765574DDC8EDCE8762D8E2C99368F721]]
FP4_xtrD = [[180D3A6B4CAF154A6854EC8597E75B731A41BEF7D15A39EFAFFFFD075B0F6B79C60917C196A7638C2AB3E16449AB9AA2,787020005ADA5792A25A888AACEABB3E34D18508F991A29C54E2CD2E1D1322CD1350FAFCD93B39A864219F8CBD5CECEA],[62F7D95EF0D651AC28FCFB76C98FC0E7FA5DE59A0E1D476EEFDD9A68A9915D9643BF2A1F06E1F5FE3FE149748933697B,04CD430910E2071B9171B54EBA0190F87FEC996523EA809D6392F27C621BCA9AA86D7A3597DA9956EC3CC8D915476FB0]]

# test 9
FP4_1 = [[1AE61301D48097C6B39596C3848D54D2D04860A8556EB6A46A84AB69BDD1696BE3267C63861612237C3DB00306AD4989,2303643A18820F338C4E895CCF638848021DFB57AEBCD76E13387DEB480BD5BB7F996C725BAD130AFF90F6DCD0B60B6E],[497B29C59C16975703700C827E09ADBD4AC1DCA536C39508AD6EBB0B05DA9657677559F05E911C32ACFF5076F7627E82,3E9187EB2F2E5A185D202547B17EEEF47523CCA07340CE14FC2CBA9ED80661133AEE96DA88E895A4CAA239DB004D882D]]
FP4_2 = [[58409CB4F00015EE42757EDFD21826A7BC9CF765EBC5D7C1AC7ABB5E2806FBE8AE9754098297C9D8C17158ABE69BDFBC,74EAECE61850D65E9C3ABD61D7053E9AAD8BC5A2F1094981652D31347735997A2FDDD9E376D4ACE14E182712C858584F],[6B209D5ACFD86DE1153E1132801D03792A7DC43AD81DA305C6E7F1C4534877E8FC0342645DD4EB7E2318D544DC9BE663,3854805A3615DFD9A40C3044FB8BEE41E849B8A5E9F826872F01128CB3ABBF8950E0E250C4F96BA28BABD303FD771518]]
FP4add = [[7326AFB6C480ADB4F60B15A356A57B7A8CE5580E41348E6616FF66C7E5D8655491BDD06D08ADDBFC3DAF08AEED492945,1D29309F86DB893122C3F417213CC5AD5540D6C89A949EDFDE7A98504C3931D83A572AA5BE0BC88ED2FC733A6E610E52],[39D6A69FC1F7A8D712E8CB0D78FAB0011AD6B6AE09AFB5FEDA6B95FFE61AD0E2EE5880A4A7F01053556B7B06A9510F7A,76E60845654439F2012C558CAD0ADD365D6D85465D38F49C2B2DCD2B8BB2209C8BCF792B4DE20147564E0CDEFDC49D45]]
FP4neg = [[5FDF0D7ED576C49A522FBBE4009EAC628A208989AFC2CB6B2F666B65B536D3F191F99F4C8E5FE539FE6EFAB224000BE2,57C1BC4691754D2D7976C94AB5C878ED584AEEDA5674AAA186B298E42AFC67A1F586AF3DB8C8E4527B1BB3D859F749FD],[3149F6BB0DE0C50A02554625072253780FA70D8CCE6DED06EC7C5BC46D2DA7060DAAC1BFB5E4DB2ACDAD5A3E334AD6E9,3C3398957AC90248A8A52D5FD3AD1240E5451D9191F0B3FA9DBE5C309B01DC4A3A3184D58B8D61B8B00A70DA2A5FCD3E]]
FP4sub = [[3D6A96CD8E77DE3976E56A8B37A12F606E1453746EDA60F257F506DB08D2AAE0A9AF440A17F43FA83579020C4ABEBF38,28DD97D4AA289535F5D91EA27D8A4AE2AEFB1FE6C2E50FFC47F6638643DE799EC4DBAE3EF94E5D872C257A7F330B088A],[591FACEB763585D6F3F74DF78318AB797AAD029C63D774128071E016259A5BCBE092333C15322812049325E74573ED8A,063D0790F9187A3EB913F502B5F300B28CDA13FA8948A78DCD2BA812245AA189EA0DB489C3EF2A023EF666D702D67315]]
FP4conj = [[1AE61301D48097C6B39596C3848D54D2D04860A8556EB6A46A84AB69BDD1696BE3267C63861612237C3DB00306AD4989,2303643A18820F338C4E895CCF638848021DFB57AEBCD76E13387DEB480BD5BB7F996C725BAD130AFF90F6DCD0B60B6E],[3149F6BB0DE0C50A02554625072253780FA70D8CCE6DED06EC7C5BC46D2DA7060DAAC1BFB5E4DB2ACDAD5A3E334AD6E9,3C3398957AC90248A8A52D5FD3AD1240E5451D9191F0B3FA9DBE5C309B01DC4A3A3184D58B8D61B8B00A70DA2A5FCD3E]]
FP4nconj = [[5FDF0D7ED576C49A522FBBE4009EAC628A208989AFC2CB6B2F666B65B536D3F191F99F4C8E5FE539FE6EFAB224000BE2,57C1BC4691754D2D7976C94AB5C878ED584AEEDA5674AAA186B298E42AFC67A1F586AF3DB8C8E4527B1BB3D859F749FD],[497B29C59C16975703700C827E09ADBD4AC1DCA536C39508AD6EBB0B05DA9657677559F05E911C32ACFF5076F7627E82,3E9187EB2F2E5A185D202547B17EEEF47523CCA07340CE14FC2CBA9ED80661133AEE96DA88E895A4CAA239DB004D882D]]
FP2sc = [53EBC5A4E1E7B489BCDD8F800CE270FD814AC2ACA9DCB8B08AA6ED47E517820FED984C7D6BC086E0A241634E123DDB7F,05DFA3AC7C0340100052F4BAB9C047100B13A18587936A973D44E98EDF4F47D0C3A5042FB12626DC6EA89FFEEA780E8A]
FP4pmul = [[28630A48EE43BF3A413ABEE66A121F20BEB419E200C8DEAEAFAC77F896E1EDE17BDD263F12DF32521CAC8781AF14DD8C,6D599F2A55F718918D31741367A95D81E2FDC57D64A40225B1D06EE269BBC56290E3972F38DB459AD487BD356EAAA429],[0B643D2C2D82E9BF7A0F13B5153407A8506C814FAE65BFCC342B591A644888F7038C7C20963D0DBF54FE33FBF1B95E16,27562CFDBA434F2357FDF26BED6EF51114B0CE4E7F4ECA9E4886F176702268676012377B024E62636B19AC3C3DAABA22]]
FP4imul = [[5C6B778DFA0D61D496E763749F3EA56127DA1B10A6443313BA3A447E7B830E01A413C76C1C3A99BE6740D5630ABCF6DD,2290E0CF7021C0DA56E9A59770C43FD55C1E06596B83B75165EDC1BB5A4E3321128B2C32B47CA99D072E617C3055B09A],[60C4CC2A38D74934046B1975DB9D6914EC6B3C61A156A00703C97D1A62B3BD45672A60C2A2B1041F7D47D8E3105E9E64,0977BD56D1955F3ED1EBDF9F774772CE3F7ABC3B8540686979B979B8F412132402F44813F56CCFB06A5F240357B6EBBC]]
FP4sqr = [[0F4486EF1CEB84B95985D851A2F5845751DCD09C95F2EF9605F4AA1A2C12E7E2CCC2B65B63B1E25EC089EF66D24138E5,63620483195C93A6D2793B1DB9C79F3D3CE585105DF279EA3FD4AFE7A9AA1F6F71A6E748EC0A97105238AA75293EA0B6],[1EE9296AF8EF0B4759E0AE4E31096115BCBBDE99CC2A2B7E681A08E3A005EA48E6B2969B695F332A853E563D37910085,0AEA05B75FD00253DDAD939CA28BA3C6AD5E3657BC7E602C42A283D2A04F37BDD484F22E2FF1BB79747DFB6C6D062A37]]
FP4mul = [[02555EE295578088B20F4263E53C834ECE2B5E222C52624240237A4F84501346E50D741EEA924A82ABAEAEF9CE976322,04610C26D5B9289971477CB88E7D5753ECC982DC082E59E87D8D023467F33411564014B653947DBA2DE92D191C010FEC],[27D195F4861F28EA36A834FDFA6945E994DB949E3C2E36DFC5249E97AD184328F61A30862B781115F201FF9AFEA83B42,59FCE021B1FC24E5456A668E691399591D275AE61C10B0B2D5AF7A3D4623E0B490A3B8646CE6E4E42885E3A0475D16E6]]
FP4inv = [[628FB20BEEDFCF9335DF2A3E1F33FB6DD0864C5F39143DB51E03F561262A49F34DE654B60795A32231FF872FA1CEBDC0,61A8C73A531C816A1C69A633D56651E20E5D03CB5F9EF1024B1FE1AD5CC7E3699B13EC295300CDCB8A0AF312ACECD295],[63BE8B9025D2EC85E0018EF751329F536A27AF5FD33FA2A752FF38B631F576E0FECFDD25750361BC9B5DBDCBC7D01C89,1AB748E8DD767450139EAEA32D97DD0B911B5D5076A822E0EDFC6F1517A240279A7A76E59BB23F957D14AFFBCFEECBCE]]
FP4mulj = [[0AE9A1DA6CE83D3EA64FE73ACC8ABEC8D59E1004C382C6F3B142006C2DD435442C86C315D5A8868DE25D169BF714F655,0D479130214D950E5ACADF22AA5C9B7C657CBF13A4D2E10E0FB05EDA6AD8BA0D2D43D51AD303BA79FCF4DF9CCD02B144],[1AE61301D48097C6B39596C3848D54D2D04860A8556EB6A46A84AB69BDD1696BE3267C63861612237C3DB00306AD4989,2303643A18820F338C4E895CCF638848021DFB57AEBCD76E13387DEB480BD5BB7F996C725BAD130AFF90F6DCD0B60B6E]]
BIGsc = 6827CB29D57304F05C1BBF71A03940E31AAF3337CC2455AA72B2AD1ABB495E7002963A2CFD328A5031152E05BF551982
FP4pow = [[4D4E05B8E54088B755C9F0E88545655F58BBD1EA1A7CF006FD29D661E876D38601D16ADAB28BF7B301E04FBB8B387B43,32D2902BA374ACD5C03606E36EBAA82E72BA15B552D2D39863DD42F38183FECDC06EFE7D384BA898E7AABEEB5962AA31],[1BA878617B4EE03F412FCF342E8F43D4F01956A158CE023FE031D05F8D6E84DA5309EC4BD4C27441A9DC09E441906796,37B95ADDBAF28ABE3A0CB1D9B6D17D60627203DFB6BDE0D7DC26FC5B027F86E48FBAC209ABECBF1FF50B0AF55708AA67]]
FP4frob = [[1AE61301D48097C6B39596C3848D54D2D04860A8556EB6A46A84AB69BDD1696BE3267C63861612237C3DB00306AD4989,57C1BC4691754D2D7976C94AB5C878ED584AEEDA5674AAA186B298E42AFC67A1F586AF3DB8C8E4527B1BB3D859F749FD],[7A95DD317DA7D75D65CD86C0ECE246AB4758BBB334704880D557F4E3DA96576CE7DAA907A3D618CB70B9C24C95A9353A,50F0869850D385D25C8CE908B29BADC41FDDE48658B28155CFC56FB0B656C3A15612A004CBC767C374F0411CF72F8867]]
FP4_xtrA = [[3295616828F32FF0344C6F08066380454C4BD396CE1DBBC8B4D2D50C19D70EDEC9C03284193BEAB4941A2D0D45B5CCFF,476190FE3F8F27860F77D2E743C9EA980AB71057819E59D4F2D41B86AD52BB94C1EF54244095481BB6710EC8CE178690],[744B84FDC845BE03596887AE4F179232FE22289349FD72A3143A5477BA32507B2A5813DEA1F0D3BAE5E724B5AC124798,40C0EED697A5E18288EF9CD0564971BB6277BC75AF5E555C1B423B01CF7BE29D56969508D76E7C7CAB32784C92FE2472]]
FP4_xtrD = [[543D816C1DE1B18CF81FFD721F06DBE70BB4F97DF047045CCAD66A16237852687B95D9446BFBB57542BB3A15EF93FB3E,1D5B3C0EE858753FB9DC28641B008EAD38A98E610078CB0E1963B411199273F872740E6434B070FA5316BCBB87D289DA],[371A5C758724DD945AFB74ABA7F0BB5AF7D6ADB2347FD380290C682A38B2D99A407D2ECC120B743264904C75FBA8A81E,0D47F50D14355A2392288B84805D807A3D3CE5669DCE7A46A110E240DD53BC86D54204332D4CEF658F15C46D42F3E526]]

# test 10
FP4_1 = [[0EC156A46D30217AB1DDC0AE1788C24BE8349D80696DD95B101EBBE42E32BC880F811276ECF21A63DCC8C4E7043B19FB,1F5BDBF0098E8B5EC2FDD711CABD27C96822E2C08FF28D234C1C236A18F3BB60BE133C3CA3EE9FDAA8AF855AABD41C34],[231130949976F3612B3E693EA839C144AD177AF3EB08D524505079F4F5C672F613DB5F835CEF1631C13F7456D812A1DE,617FB63EB408CC86472CA540B4B5472C6B35C949F0F44B8AD28F077FF100A2A525C9DC7C87586A1006996E129C423B96]]
FP4_2 = [[1F6E877D0D3814A49473A44EA7EE0F29FD7298005B57C21CEF6165D45BEA4A2B85D5BE9D1A7C630FD3CF8EFBF93FB3DE,3E7A57F5CBD818AFC0507A7D8D3AD9DDC7262E9CAED9C4733975AEABB98D0633ABCBBC4D566CB7E623996D48D9D150F3],[4B92D3746A2E68C5392A1BA90E59DA587CC010E57B2FC65A4CD1BA12EEFC4245AB63DDC26958CC96F7AE6FEDA11C89B4,0CEF5BD0D4A8BCEB7BA899E4DBF7BECD557862E7E58385158CFEC5C1359CEE72FBB523150FE9E4892D95578748CCDF25]]
FP4add = [[2E2FDE217A68361F465164FCBF76D175E5A73580C4C59B77FF8021B88A1D06B39556D114076E7D73B09853E2FD7ACDD9,5DD633E5D566A40E834E518F57F801A72F49115D3ECC51968591D215D280C19469DEF889FA5B57C0CC48F2A385A56D27],[6EA4040903A55C26646884E7B6939B9D29D78BD966389B7E9D223407E4C2B53BBF3F3D45C647E2C8B8EDE444792F2B92,6E6F120F88B18971C2D53F2590AD05F9C0AE2C31D677D0A05F8DCD41269D9118217EFF9197424E99342EC599E50F1ABB]]
FP4neg = [[6C03C9DC3CC73AE653E791F96DA33EE972344CB19BC3A8B489CC5AEB44D580D5659F09392783DCF99DE3E5CE26723B70,5B694490A068D10242C77B95BA6ED96BF2460771753EF4EC4DCEF3655A1481FCB70CDF7370875782D1FD255A7ED93937],[57B3EFEC108068FFDA86E968DCF23FF0AD516F3E1A28ACEB499A9CDA7D41CA676144BC2CB786E12BB96D365E529AB38D,19456A41F5EE8FDABE98AD66D076BA08EF3320E8143D3684C75C0F4F82079AB84F563F338D1D8D4D74133CA28E6B19D5]]
FP4sub = [[6A17EFA809EF6937232F6F06F4C6B457452AEFB21347994DBAA86CDF4550AFB9FECB6F89E6EBAEB183A5E0A035A8BB88,5BA6A47AE7ADCF100872AF3BC2AE4F20FB659E55E64A4ABFAC918B8DD26EF28A87679B9F61F7DF51FFC2C2C6FCB020AC],[52437DA0D93FE6FCF7D9A03D1F0BE8218AC05440750A90D99D69D6B179D26E0DDD979D71080C40F8443DAF1E61A36D95,54905A6DDF600F9ACB840B5BD8BD885F15BD66620B70C675459041BEBB63B4322A14B967776E8586D904168B53755C71]]
FP4conj = [[0EC156A46D30217AB1DDC0AE1788C24BE8349D80696DD95B101EBBE42E32BC880F811276ECF21A63DCC8C4E7043B19FB,1F5BDBF0098E8B5EC2FDD711CABD27C96822E2C08FF28D234C1C236A18F3BB60BE133C3CA3EE9FDAA8AF855AABD41C34],[57B3EFEC108068FFDA86E968DCF23FF0AD516F3E1A28ACEB499A9CDA7D41CA676144BC2CB786E12BB96D365E529AB38D,19456A41F5EE8FDABE98AD66D076BA08EF3320E8143D3684C75C0F4F82079AB84F563F338D1D8D4D74133CA28E6B19D5]]
FP4nconj = [[6C03C9DC3CC73AE653E791F96DA33EE972344CB19BC3A8B489CC5AEB44D580D5659F09392783DCF99DE3E5CE26723B70,5B694490A068D10242C77B95BA6ED96BF2460771753EF4EC4DCEF3655A1481FCB70CDF7370875782D1FD255A7ED93937],[231130949976F3612B3E693EA839C144AD177AF3EB08D524505079F4F5C672F613DB5F835CEF1631C13F7456D812A1DE,617FB63EB408CC86472CA540B4B5472C6B35C949F0F44B8AD28F077FF100A2A525C9DC7C87586A1006996E129C423B96]]
FP2sc = [4B6F83ADDF2A37355E2A08227D17578D01AAF99BE08DB7AC889D4252E72AA54EF1717D198187265F68A180106C1BF426,3BC88E598AEF1A72FACB1698B90ECA86297640CF66A65CBF25C24674D34F9C7054E6D09DC6D3C2BC3041959BC19D900F]
FP4pmul = [[4B3A0A74ADD85E8D59D628D41C507A65D734F1A7E1FE75521FD41B7F447AB0AE618F4C8884B16F85ADC6B39A72023F45,1D42F7D4D4180E8E554316FAFA99406BE1836F2BE7A011433DE3EDB47B9ACE5F6AA9B2C631F12571AE00DF7A54D26CC2],[2675C83CDEE9C6D2B7027534F6187D45A6C5E66786FA7281729C1BB87794C457950E9BFA502DEEF194DDC0A36959D16D,4F3DC09B21FBB17C0B4461158F2D8AD88E41EE5C6A71682A5784B86EE281A354E1D59E00383F76B8D7928E752C897B26]]
FP4imul = [[0A06EB472CB9D0EF3B0673774EA2D375CF709F51AFAB2223F72984362CC0636B16698A7E400CF62548624169FB669468,24B07A6F02142D92CF61EA51164E63A9F46824610523F21E7927111BFA811BABC46CE6C19A77AFF4F8D25AC5B51A52FE],[46107438113FD5A879A70DE4DFAFC8FF61017E2F38EC7A279EFE1BFDBDE98FEBC876243E1B7BD904D5E1C1A3434D05F8,121984AFAE8BAA11582C8CB1B62B781A4C05AC3B543C19743199A3D353CC0A402037FE9032E1F701E0AC33B35396C259]]
FP4sqr = [[552FCE6EF2958B20E6F29C40AB0DE8892F4990A26255113248C275962EFE5455758489B742C107448ED7E8C9166DA480,6D33ADD6492F99980B510E069108C62BA876A7494F99B54422896D16AC33E8FF1C47673EFCD7C3973BAA9AF908F9C5E1],[3F6409BBB3E55E46A3597395AF32E64C94E763CB63F0E5A6EAFC204A0DED5D5813B02CD2D3EA1C67ADAC0AA54152DA47,5AEFB146C9170CFBA3D9BCCA2F5D5B8F6DC55A72304716620E2EAA1D8950B574A32EA492405942DD6B690076B9D2C7D8]]
FP4mul = [[55FC94893FD88F497AED496D4DDBBD5411C89F9A018BA54D641102CADCC7DE73C8A5C0389FB0C5F110CE9F6ABAB65E1F,28BE30800976D503CB352C6C8353A20B08C1ECFC5972DDBB4737E0A489C5E0C80C12E87CEFD6689DB013DE4AD0932FD4],[3C0AA12C34ACDCE662327D43C3ECED6133CDF72F0A54B767A82FB9A60B55CC376B2A15459EF04AF0D7E890C725F32177,2ACE1397D12055FD4D57306C7046C5219C06A4CA3B584DF6709AC911222EEA6443FC1D029FE46DCAFDFA4F69C6742FC1]]
FP4inv = [[235C1AB3A1734916A5F080D2296CF4665384B370EF2BAE4495D0DDC80EE14BB379D2A511DF117254EFB30FAEB89FE751,725AFA96D29D6F176F9D7E3E163C5DD89924163129DDC9A4259C03EECBCBF5DF2CD6849BE2792A0692DD48CFB9624C71],[60C53A3A6E9907CA59CDAE5F30CF2512B24E9B85D3B5D26499D6D79FEA78892F40F295071AA26B7111001657205A9365,520CE20241FB404B342704E7AB386783E8120098F9DD548E9599BC0564BE039E4F70BFA8F4D27A47935C61642C670ADD]]
FP4mulj = [[3C569AD68F65833BE9D716A578B07B4D9C4A9BDBFF460BA917AC894477CE0DAE63319EB6EA0CA37F3552B0F9667DBBB3,09CBC652A38863866CA5BBD7D7C3073BBDE45A0BD6CB9E9F88F46AA573BED83DC485204FCFD188E44D2C37B449A78809],[0EC156A46D30217AB1DDC0AE1788C24BE8349D80696DD95B101EBBE42E32BC880F811276ECF21A63DCC8C4E7043B19FB,1F5BDBF0098E8B5EC2FDD711CABD27C96822E2C08FF28D234C1C236A18F3BB60BE133C3CA3EE9FDAA8AF855AABD41C34]]
BIGsc = 3306536550448E29E977AAC831ECE3F4EE6D0D8785266F156BF9F1A673017948B384579A06A4548E8B6DF008929C53B7
FP4pow = [[39010B7116B7B8F7237F194E0C9D2CD4820815F6E344554E0878BBAEFBE6A7FAA8E709D52C0EAF4A155BDAD80772F437,41A4E258E607497ECCB7575AFA8F5FC023105E0BCDDEF5FC4ADC469563F6739B11C027E3409298B91E80F93437EEA6C7],[4813FDB4CB3ED91D65AC2D1E73B1B64F6330F3F9685A8EDB09BF48C5107A8EB595D54D30B999E5F03AE951AB8D1DB118,3940BFA8432C02EF6296FF784D59194EFAC96BB9D6508F3A0A7095B94B30D88A65C54B8CF374CCD7AF84130B96ADBF86]]
FP4frob = [[0EC156A46D30217AB1DDC0AE1788C24BE8349D80696DD95B101EBBE42E32BC880F811276ECF21A63DCC8C4E7043B19FB,5B694490A068D10242C77B95BA6ED96BF2460771753EF4EC4DCEF3655A1481FCB70CDF7370875782D1FD255A7ED93937],[71AD0CC22B36ACB12786422A109D6D2B585EBEC252BF41DF0436BB1939BDD02469946F15C879A8389B4DCE5E26A2717B,4E5340A03E1DF595C6AFD9D5028A02863A11C08E894C3FC389F7C28F1F38F44375711783BF1A183D8BC5A784639BC2A4]]
FP4_xtrA = [[36EF41B4411BCB8DBFC005FC29D6D2478C90DE355B6DB9A96D34F01137C176D83E8B5DF62DB2E4787F8CE8174756606A,20FF509EAEC4F1B53194F17A525BB4E09C6F73F0347987FF2AC09A50ECDEC1585799E5BCE88657323618911711ACACD9],[21D091DC596D51A742C194F75205F7A6AD2C54AE33E13CFA8979306FABE90002C6383F3B16F67FB2E019CC289002CC77,6874E83E6CBA4624763CA708A14DE7827DC56D34463F2F1FC9ED269F976482A69F633A83386C4D53B2969B5F49A1A961]]
FP4_xtrD = [[37AD21261835482B83371AE47BFC63F15EE055A18F795E7C2884FDCDD298DB45568264C968DCD27CD5465EFB0DF7708A,2E7BF5F6361282DA85555FE2FB8E7698D830E1C82FB49AFD8A5126427A4C723DA020EEC5B4FA83E1EA4B9043B1518D79],[0AC14A643CDBE8A7F410F36B7A7A67A094AD6F8134D10DDFF1B1FD64867205E6C646D0297952516DB57E489DC6CAC898,2864DCC2DD39ED4626A861FC8E6FE77D8F5F18A207CCA9587F768B7E854180040482262B261E2842834287319CFC942E]]

# test 11
FP4_1 = [[0847628F529606B3BD57D46622599AC74271E4574B70A1AC85AB4C858327A933987EC7C318E2772B9582A5E6EA603CB1,2E3526DAD763B079D4035C0C83CF90872E4408EFCA44EB40E1908FCE05605518E688EB694515A1A4436B1A780054FC34],[177D10F94FF30F4E93790952F9E35562E4521F0FCB1E216444C4B776AAC188571640AB425EDA5D720D071A6E04A33CE0,4BF67877A4875E8C8AD1BD51E171A3B72623E52D161191535F84305297BAA053D41AF85FAE23B06C6BC0332BD32D7924]]
FP4_2 = [[2DE13FBECC5A1E4F80604812105AC51E3DE1E6D19585FD3D8763E50C8AF8A2C1D80D0E9D2DE5B331B7A2152160750FC0,4E32F5F631817A0D2CAB3860200AA9B063A02AE636998879F49B284906D9D55815B7B2673BFE6FF4B5ADB65A4360B772],[607B76EB7808EAA5035FA7466DB2D233B8C802A0251F8F8DCB2059B81EB19CB01C70FDCF214B8972081010D380FD26F9,2ECA9B9466E4ED67A42079FF7986E9948E412F77F50EF9A464FB0A5E6034610626C9528A4ED6A280167186777E3A98E2]]
FP4add = [[3628A24E1EF025033DB81C7832B45FE58053CB28E0F69EEA0D0F31920E204BF5708BD66046C82A5D4D24BB084AD54C71,01A2FC505EEDCE25FAE941C51EAE3902377B49A3FBACF1AB3C40A1479931ED13872082206C9E1A3B7E6C261D19085E3B],[77F887E4C7FBF9F396D8B099679627969D1A21AFF03DB0F20FE5112EC973250732B1A9118025E6E415172B4185A063D9,7AC1140C0B6C4BF42EF237515AF88D4BB46514A50B208AF7C47F3AB0F7EF0159FAE44AE9FCFA52EC8231B9A351681206]]
FP4neg = [[727DBDF1576155AD486D7E4162D2666E17F705DAB9C0E063143FCA49EFE09429DCA153ECFB938031E52A04CE404D18BA,4C8FF9A5D293ABE731C1F69B015C70AE2C24E1423AEC96CEB85A87016DA7E8448E973046CF6055B93741903D2A585937],[63480F875A044D12724C49548B48ABD27616CB223A1360AB55265F58C846B5065EDF706DB59B99EB6DA59047260A188B,2ECEA809056FFDD47AF39555A3BA5D7E34450504EF1FF0BC3A66E67CDB4D9D09A1052350665246F10EEC7789577FDC47]]
FP4sub = [[552B4351303344C542BCDEFB972AD6DE5EF8E7B7BB1C267E98327E486B3743CF3591D4D5FF72BB57588D3B7AB498825C,5AC751654FD992CDAD1D7653E8F0E80C250CC83B98DCE4D686E07E54718EBD1E45F154B21D8D290D086A0ED2E7A19A2D],[31C6BA8E81E1810A95DEB4B4115C846485F306A1AB3013E6138F748DFF1829046EEFC9235204CB5D7FA3B44FAE536B52,1D2BDCE33DA27124E6B1435267EABA2297E2B5B5210297AEFA8925F437863F4DAD51A5D55F4D0DEC554EACB454F2E042]]
FP4conj = [[0847628F529606B3BD57D46622599AC74271E4574B70A1AC85AB4C858327A933987EC7C318E2772B9582A5E6EA603CB1,2E3526DAD763B079D4035C0C83CF90872E4408EFCA44EB40E1908FCE05605518E688EB694515A1A4436B1A780054FC34],[63480F875A044D12724C49548B48ABD27616CB223A1360AB55265F58C846B5065EDF706DB59B99EB6DA59047260A188B,2ECEA809056FFDD47AF39555A3BA5D7E34450504EF1FF0BC3A66E67CDB4D9D09A1052350665246F10EEC7789577FDC47]]
FP4nconj = [[727DBDF1576155AD486D7E4162D2666E17F705DAB9C0E063143FCA49EFE09429DCA153ECFB938031E52A04CE404D18BA,4C8FF9A5D293ABE731C1F69B015C70AE2C24E1423AEC96CEB85A87016DA7E8448E973046CF6055B93741903D2A585937],[177D10F94FF30F4E93790952F9E35562E4521F0FCB1E216444C4B776AAC188571640AB425EDA5D720D071A6E04A33CE0,4BF67877A4875E8C8AD1BD51E171A3B72623E52D161191535F84305297BAA053D41AF85FAE23B06C6BC0332BD32D7924]]
FP2sc = [2BE4F264EFD8D5E3DE8A70F8007F4F035739B44792CCC5F4079B0425581E4CEC86AC2647AFA285F4920546885CFCC478,6F304DD0134DD72C38D5F34131645EB12C8670AEA23D03F7F6F559C7D1277DB48D269680D34CED81D40EFFE7BE66D3C6]
FP4pmul = [[69FA68AAE620FCACBFB7CF631154DDA1EEA2934A7420E7242BCFAE916E7A2626F1F7A1218C9EA487CEA45BBB23229D19,5C4DE6DB91883DC8B4699EB38C4316F122F0E838834E546F3FA2355843C38F33278602D56B6097966DFD0485EDFE76F1],[575D4D8F627B28719BCAC68F36D61145CE2A67D485907C4190BFC6A03FB73D385CD25F1187E5C14506FEDEA34C909512,18F1835C6CE45F49378C10FCF57714A5AE0D64AF1F917E517233C638650FFAED40537A02B336CECE93CFC5FB0EFB5A25]]
FP4imul = [[52C9D99939DC4305656E4BFD57800BC89872EB68F26650BD38B0FD371F8C9C03F4F3CD9EF8D8A7B3D71A7B0527C25EEA,5DC4230A6BFECF9F36D1A0869697A1A7BF6D9AC7D71CAA5A01E4599DDCAA9AE0A1F8DF0C75766A52322908908349D9C7],[701D893C75873CB0BCF50A963DB554A790CC4C6BE9FBCBDB15C413D338871609696694E7A011AF17079A5D9703B30B55,1701F1A8717D873749917545AF685DE75EF17696BD86A0E41FA75A5D3B18D3158A4D0D9C52A1180B5575FF773FB6BAE6]]
FP4sqr = [[55111B68A29118F4197054C6159B744734AF416F6A0C747FCD1828FB99E2D59113E2F674197C61B88F5C1CA2D55BB1B4,2294AC27A5B91E80F07F6794F088D3C3A6C1D55C4AE0154C955F02837DEA0A453FE068EF2E117E3C6443F3B34698BFC6],[1CB6B25825EE8B755D8FE822A69E537ADB2695181C36FF0B49BDC6E3DEBC1DED467FBDCBD68E043D8110BE246A7FCFEF,4E42FD831AAA4B9079B9158C47979DBEE44AAFC0ED9339D7EA2AC4D219A82250F7D750EBD5794A8E18B060D7603CA31A]]
FP4mul = [[5D3A073D78FA9D458F745D90B77F1327D7666C2F41F999FC89B70B6575A46A26B063A173185E0B9686772BAB7113FF47,1C5E233F8B150B03DE79A53B3B3485DD565810217993AB2DE881575CFBD0CA2C057CE3676C3C019644D968F55B64D89E],[45A71B89F9303B5F5A1AF48513AD060A479E80B813E09EF2D53452D28045400ED7D65B4DB0881FD4DFB80C955B6C3BB8,07399343A1F8BA63BF4DAF5B3D0B24C88DB0326A4EBB9D1B13000F32295E067C198E97A45CA5A1ED359C7447B114935A]]
FP4inv = [[4670B3AE45647AC6F1A1D05AC6103B1AF1C0EE145A8D72A7BBDD5FD46275E55557C9FAE68B0EFCC02204BB0CF96D33AD,7492477967FF92083321C91E4F5D332733B5DE8CAAC3678CF0D85D9FD6B99AD6862582836EB7173DDA76AFF112FEE293],[1A77ADBE325708400D5D0F853AF5D9C855695EF4065828A4D741C76B629EE548575E280E6503E9A0890C787CA05274D1,3B7C771ECC6143734E8D2A5615366A42F297E2CCD7B889DA35CC545F8589B48DF5EF3B87E7557E9F323C227DC97E3687]]
FP4mulj = [[464BB90255630D230E6C9EA89D9DB2E118972414BA3E12207F2B9DF3860F2560B745CE92C52CA4631BF391F75C231927,63738970F47A6DDB1E4AC6A4DB54F91A0A76043CE12FB2B7A448E7C9427C28AAEA5BA3A20CFE0DDE78C74D99D7D0B604],[0847628F529606B3BD57D46622599AC74271E4574B70A1AC85AB4C858327A933987EC7C318E2772B9582A5E6EA603CB1,2E3526DAD763B079D4035C0C83CF90872E4408EFCA44EB40E1908FCE05605518E688EB694515A1A4436B1A780054FC34]]
BIGsc = 54DFDE40627F816D924E4836BC8B63D2AF6CE54A87A4DDC65F6016344DFC6190A3371E5B57F9B1F4CA62938A4C76E467
FP4pow = [[3E76BD14C52ADCB7A2A34BEC5DCF3DB9C4CCBF10962F3FC057DFC36F8A4881C271FC282F90D4834691FDECAD8A088C67,5D1A08D8C71A12FFCC91D109341AEC276BDBA56F15ACDDF96646C007D86EBCE30368C096AD72730DC9D072AD1FFA55C3],[5B745270E210DD7063BCD1D5D24225961066EC4EEDDAD3EBA84D06299FA7CEB8230CC0192730C06EE493A5C2D9EB4666,10DE7BA903FFCBA52EE4F523832DD10E3B05C25ECAD4FA038C8F58847530858FFA161D79896B929CC707BE3F46138653]]
FP4frob = [[0847628F529606B3BD57D46622599AC74271E4574B70A1AC85AB4C858327A933987EC7C318E2772B9582A5E6EA603CB1,4C8FF9A5D293ABE731C1F69B015C70AE2C24E1423AEC96CEB85A87016DA7E8448E973046CF6055B93741903D2A585937],[10A996CDFDBF134BACA1A3583F9DB5ADEF9EB0E4CB55441EEB5523AD55C056C1E33BCE0686C20B4EA73E212DEF8502DC,38F33F7A47E2DB61EAC691297D434DD06A85A715C0FF194E33576BCF19CF021F270C353E2FE2961DB8582F1276F05597]]
FP4_xtrA = [[41F9F92CDDAC3F59F5E9DE0A229FD08CCDA41BF43D76DC639B57A3FA5BF0F4F19926C5103C42A51DA47C75EB957B741F,3CBB619587DE6C1D5F4F82C920894E0A2C786E1D64BDCAC85D27E172B6B2AD16528781763838EE029FA8174372BD2F63],[70A0AAB538875C021B78EF6D6DDBC19E6CFBED57EF29D17CC8D8B84716DAF26516E0433C330220E65C763652971854D5,27F942A6D74763098762BDBC73004FD6316AA74C51F7EBBA7CE8FB24FA231AC767E155D82314A70E078493CD3CC6294B]]
FP4_xtrD = [[44825649FD650B8C9EC0ABF9D0E83EB8AFCB78C0D32B3126C1C18FF093938329E2E566EDE7B773616456D0D5009B3852,40EF7EF2A0E919EE4E3E02236E15B3EAA4A2ADAEBB87C0DA6C28F9B6E6319D70E7EEADCCB85C3251581A6978709C1CC9],[4BB0D44AC5D4AA128481FAC89A64FE40A3CAD337B27341D3D34735D1343F2E9B730114509442BF219B1EF30073C649AF,6B6ACDF1B9C1AC4889973D88854EE3F7D6298FE91484DA6F0F480EA7D615259B2AED25FB1D4AB40975841C79DBEA3FF7]]

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