testVectors/fp4/test_vector_BLS24.txt

# FP4 ARITHMETICS - CURVE: BLS24, Modulo = 0x555c007803ccc5ba839aec6e803f2e77e4c1ba825079733568e09e1f244061873220df068a328b6f1c5cbdb6a642ffe2e82d30daf844c1674a06152b, BIGmax = 2^480

# test 1
FP4_1 = [[24A4F77AD9FC230EFEAC5F9048193A9A8C202FAF4B7D1792DE8CE2C05E16F10E62C36222B7FDE071E90B77808315B6C67B27A818CCAE4A854FB97E1A,40DC0860FA7B69762B32C642768014A50E078E3555914BDC67DFE178B0A6D01244784D360C982397AEAA61CDD9B8FFFC90D0CDC3F97FA1D7A1058C85],[1E1CAC1FECDF1DE8D78FD304B1FE53320A4756F762BD47F95D6A68B1BABD742C4B5D9579CF9E216381B657FA7240E2A765A947D6655C53F0E56FB195,17C7F559F531D6BFB2C8C14A08765E973EA4C2A85FA5D1CBA9E8EC6080E7BC7C3D54469B9E1A2C6181D5EC0E85EFA88C61142045C529C37780D8DFFA]]
FP4_2 = [[4CD96A782E61550FCD071B59410FBB88428B985F174AB8375AD20480529F8639B10250BDFCAB518AF5C82B4C67474470C9C4B80D6691CBEFD762364D,4A1D4C41321C340D455D033F147B92ED0CC440EFE320B73F8643D68ADF608AF9E220F87CCA641C8124F6F3E21E6362639BDEF2BC6D81FD8E943B0A56],[32E888A3FDCD5E532833108D22B46827C49B01D15ED743B0080319AC1BC6E37091882E75B14A6AC804130B8C5D431D3BE4B73A14DAE1A5119FFAC7A1,4C4B11D17CF40188F3C39D917CA80CF28364B4600CD2D644607E71115955D44E8D402444B78F3EEF69B0B92B0D204B5E35407737F87954AC58F58E96]]
FP12_1 = [[4D8DF76001D712E094E504A87092D82FF2DB71D58063351334B2BE35F0EC3D1B525AEEBD0B6880E55D265323ADDB5AADA64822735F18491F88826C3F,1D958E8045FB7D13FB99981F5A0201EFD2C1765A3E06E213586120A5488478A67352590A569F386AE76173282524F46480D0BCC2E75E93688953D5B8],[30D08246906C97E7A174C0C193DF33E513266F37FC3947D5330919DFEA7A7EF2C70E3B4B198994E3FB04F58C55D362593925071B775BA7459885A332,5217F88A149CD7CA708A6342AC396843A4E8008D3490472A7F09E69F690F0F5C8559F4DAD512D6C6F561D594046150AB20DFA758E17862BE49698338]]
FP12_2 = [[4D8DF76001D712E094E504A87092D82FF2DB71D58063351334B2BE35F0EC3D1B525AEEBD0B6880E55D265323ADDB5AADA64822735F18491F88826C3F,1D958E8045FB7D13FB99981F5A0201EFD2C1765A3E06E213586120A5488478A67352590A569F386AE76173282524F46480D0BCC2E75E93688953D5B8],[30D08246906C97E7A174C0C193DF33E513266F37FC3947D5330919DFEA7A7EF2C70E3B4B198994E3FB04F58C55D362593925071B775BA7459885A332,5217F88A149CD7CA708A6342AC396843A4E8008D3490472A7F09E69F690F0F5C8559F4DAD512D6C6F561D594046150AB20DFA758E17862BE49698338]]
FP12_3 = [[4D52717DEB363D9B15943FFC2E5BCE3553CBBA8019FA0B4493953B8CC6E8C043484FF3DE5CE45DA89DAB3EE1C5CC6EDCD0FFFEDB2EBF6A25775B8FED,273BDD046CFF33C42DB9CE24C402C70F0421ADE399D431359647AAFDC7CBF34A233A3241D5E13D4586D081B36C3FA6113872385D225425613C1708FC],[1171B76155CB2D44E22527FA04247F9BE8FCD3B26506DF3D5DAE64FEE80DB2AF76D7C7521967D4F59BE78D807A21C69DFA2FE641A60148DD1042B0,0D439AB3F726C24267B11FDBC48F08D1B13596FFC529CAB7C027BA43C79380F6733BCDD1C9DBD61C3C79C378AB5A643F4CB51E2D87D923F8F1870C7E]]
FP12_4 = [[1957053AF56EA028D8B367452A4F93C3B7AE786C6E5A6AC520279FC861C4772DC6EF6362B6705EA99F0DADBADB187C5BA09FDB84E91607E60E014663,18FC0C224BBC7DAC008CBFBCD480529E7A7882A43A9243AF6F65E1C369359CBD1B5A6A6B8C6A99C6443A1F31F4BFD27CEFEDE29A70DB3B2FEFCC2C79],[47BA858E31617301891B4B6C5443B308459A876C3319A4AB8F30C5BFB9C539CB482C9D08F125C6479307E98AEC4DC012E1646352C3E46A6341A9CC20,2618C50C26B4331CBF51182D7FDF701BC2D9E1FF30EF1CD6C4E9CB7FA2E62C9C8B52A534AE708CE38A0BB78883100F3CAFCE92C373C886C94DC34D2C]]
FP4add = [[1C22617B0490B26448188E7B08E9C7AAE9EA0D8C124E5C94D07E49218C7615C0E1A4D3DA2A76A68DC276E5164419FB545CBF2F4B3AFB550DDD159F3C,359D542A28CAD7C8ECF4DD130ABC791A360A14A2E8388FE6854319E46BC6F984F47866AC4CC9B4A9B74497F951D9627D44828FA56EBCDDFEEB3A81B0],[510534C3EAAC7C3BFFC2E391D4B2BB59CEE258C8C1948BA9656D825DD684579CDCE5C3EF80E88C2B85C96386CF83FFE34A6081EB403DF902856A7936,0EB706B36E59128E22F1726D04DF3D11DD47BC861BFF34DAA186BF52B5FD2F4398738BD9CB76DFE1CF29E782ECCCF407AE2766A2C55E56BC8FC85965]]
FP4neg = [[30B708FD29D0A2AB84EE8CDE3825F3DD58A18AD304FC5BA28A53BB5EC6297078CF5D7CE3D234AAFD33514636232D491C6D0588C22B9676E1FA4C9711,147FF81709515C445868262C09BF19D2D6BA2C4CFAE827590100BCA673999174EDA891D07D9A67D76DB25BE8CC89FFE6575C6316FEC51F8FA90088A6],[373F545816EDA7D1AC0B1969CE40DB45DA7A638AEDBC2B3C0B76356D6982ED5AE6C3498CBA946A0B9AA665BC34021D3B8283E90492E86D7664966396,3D940B1E0E9AEEFAD0D22B2477C8CFE0A61CF7D9F0D3A169BEF7B1BEA358A50AF4CC986AEC185F0D9A86D1A82053575687191095331AFDEFC92D3531]]
FP4sub = [[2D278D7AAF6793B9B54030A58748AD8A2E5651D284ABD290EC9B7C5F2FB7CC5BE3E1F06B45851A560FA009EAC2117238999020E65E613FFCC25D5CF8,4C1ABC97CC2BFB236970AF71E243B02FE60507C7C2EA07D24A7CA90CF586A69F947833BFCC669285A6102BA261989D7BDD1F0BE2844265B056D0975A],[409023F3F2DE855032F7AEE60F8919822A6E0FA8545F777EBE47ED24C336F242EBF6460AA886420A9A000A24BB40C54E691F3E9C82BF70468F7AFF1F,20D8E4007C0A9AF142A010270C0D801CA001C8CAA34C6EBCB24B196E4BD249B4E235015D70BD78E13481F09A1F125D111400D9E8C4F5303271E9668F]]
FP4conj = [[24A4F77AD9FC230EFEAC5F9048193A9A8C202FAF4B7D1792DE8CE2C05E16F10E62C36222B7FDE071E90B77808315B6C67B27A818CCAE4A854FB97E1A,40DC0860FA7B69762B32C642768014A50E078E3555914BDC67DFE178B0A6D01244784D360C982397AEAA61CDD9B8FFFC90D0CDC3F97FA1D7A1058C85],[373F545816EDA7D1AC0B1969CE40DB45DA7A638AEDBC2B3C0B76356D6982ED5AE6C3498CBA946A0B9AA665BC34021D3B8283E90492E86D7664966396,3D940B1E0E9AEEFAD0D22B2477C8CFE0A61CF7D9F0D3A169BEF7B1BEA358A50AF4CC986AEC185F0D9A86D1A82053575687191095331AFDEFC92D3531]]
FP4nconj = [[30B708FD29D0A2AB84EE8CDE3825F3DD58A18AD304FC5BA28A53BB5EC6297078CF5D7CE3D234AAFD33514636232D491C6D0588C22B9676E1FA4C9711,147FF81709515C445868262C09BF19D2D6BA2C4CFAE827590100BCA673999174EDA891D07D9A67D76DB25BE8CC89FFE6575C6316FEC51F8FA90088A6],[1E1CAC1FECDF1DE8D78FD304B1FE53320A4756F762BD47F95D6A68B1BABD742C4B5D9579CF9E216381B657FA7240E2A765A947D6655C53F0E56FB195,17C7F559F531D6BFB2C8C14A08765E973EA4C2A85FA5D1CBA9E8EC6080E7BC7C3D54469B9E1A2C6181D5EC0E85EFA88C61142045C529C37780D8DFFA]]
FP2sc = [260A9304CFA9B87E34BE8914F6963A5A60137633B3773546A374A03F71260DABAFA1BF31F65E387A26DD91A7576C47210BBD9E79C6160ADF91FD8CC0,188D51ABEA1B90A5E2F52C52C94078C0470C764020B52BC1A22B3C00B61C1F8D41EB4A086D148595E24D32041DFDE16B7E099F9F1D646C79ED471082]
FP4pmul = [[19416EEB06194F36F9A8459A17BC2244B0DC41E2526BE331324EDF2C1E7051FA18D9845207ED1E6D2D62E1AABF2258ACE5B4CE08CF6EA567C673204A,13E74FFA8361335C41F0C4F2152F1F83C80A05FA0E4275FD4FBFF4B5E794A7E2F9A2812AB05129541DBE6A176E7A61F80DBAE8C599731928728925D7],[054D45C8E2E4D6A37E3E41C962737F5ECBF429FF918448C3F4AFC0588CE916186A2B5F44582051B2A255C50B21E476ADF7C6A5638985AF6FBFB18246,3CB7363065BEACCF11428F358DFC001D4E2B6AF0D2F9D18B9B9EAD336064B2F39A0A168C4B799A7218C4FE4DA5BBE06729C5E624CB8484C586E0E6C3]]
FP4imul = [[00,00],[00,00]]
FP4sqr = [[289217CE51DF7F437F2DCDEB45D8D0AD6653256FFC40BCD9BB6BA414B8D6422EA972400FC95AF8E031BBCF0163D93DCF7D8D6527C58A01D4593CF802,4521D7C4C734F5ACBE461134B7622C102E1B3CF87AFB4C57F54B89FF6949A0ED2F5EADBFE8382FF34657B47F74D984D2752CF825091F6C5518C3FDCB],[3CE2164921BE10FB9D845D88E979B30A50E41B28662C610A830088826199739625748C77689F2B42CD4560E00B8EA145A2F084DAD07A4CE129EED01D,2C7731C221F7FDF14EDB82BFA02DCBC80FD4D74CC02ACCBFE8C6D05D999F64F4F8DAB6D160D7926078B1BCEB81FFF6C49BE72704AF313DCC222CF032]]
FP4mul = [[2F0411D3138C6DF647A31705FA5DF3CA3EEC9748514C037B02592C236CFE5176C61522CEDA4E74717411304B22E1B3BB2C67F91A67672179B0843373,3AA490A3542658CC5F6D9FDB913E845280F182FD166CB8C0F38B3BEC94CB37C73B50EB0916569D6D18C59322C67653EECE078D77641C318C0E1C58B0],[53DBC8227B4313F6C2F7440165307FC977A068424AB97CB7B7E5830A328FF2595B601FDFD99E8B726902A5339BB93EA94CCED62AE67A7674D8BD8DF3,433C491BC93430B8ADBC602FD3D66E29C3874F77519684173E954AF02F73D190C321861BD693527FCD1EC91EB981DFAC4212C05C2EA53DE47C8D151A]]
FP4div2 = [[12527BBD6CFE11877F562FC8240C9D4D461017D7A5BE8BC96F4671602F0B78873161B1115BFEF038F485BBC0418ADB633D93D40C66572542A7DCBF0D,4B1C046C7F2417985766D9587B5FA18E7964A45BD3055F88E8603FCBEA7398CCBB4C961E4B65578365838FC23FFDFFEFBC7EFF4F78E2319F7585D0D8],[39BC564BF855F1D1AD955FB9991EC0D4F78488BCD99B5D97632583686F7EEAD9BEBF3A402CE856694F098AD88C41F14526EB3C58AED08AAC17BAE360,0BE3FAACFA98EB5FD96460A5043B2F4B9F5261542FD2E8E5D4F476304073DE3E1EAA234DCF0D1630C0EAF60742F7D446308A1022E294E1BBC06C6FFD]]
FP4sqrt = [[350BFAF55E8166D22C72E07A6DE24ADE1BFDA9847B18A8A236D8B06CFBA5A3DEA69C0D587C25417920F5B7D6DFDC7A3E260B6AEFC040BFAB0F4ABBBE,4DAAFC0CBC7BE6DCDDB055E9763EDEB71B689EC0F722A3A158FEBECE6F15DE6D3325350DE53C635C9230301A0EE967773207D1D50AE47E2173782804],[38C41B097C909949084A79E51A905A72B5216F7E073B80B4377F1A622A7A92A1A5B1F0B0EADAB47F4043A4D9E0252FF2E69982A5D25394873D0D8A73,4AF7A63E8EF2D6D5177826F5A2B0D4A0BA88C34DAF3F552920FFD3554B5C56A0D914664847A821C9BDD7EC02EADD05CBB02856D3C308127B71A16A72]]
FP4divi = [[1E1CAC1FECDF1DE8D78FD304B1FE53320A4756F762BD47F95D6A68B1BABD742C4B5D9579CF9E216381B657FA7240E2A765A947D6655C53F0E56FB195,17C7F559F531D6BFB2C8C14A08765E973EA4C2A85FA5D1CBA9E8EC6080E7BC7C3D54469B9E1A2C6181D5EC0E85EFA88C61142045C529C37780D8DFFA],[08127FB1E855636553221CB21F2D1063DAB301B1284A781CEEC6130CF53EAFCCBA8D68291D31BC4D3DAC8DCBDB45DB7011E5A280E6F4957AD35C7ABA,38C988AF12260610D810A9905753044133548C842D46D3BF7919CE6BBB68204589EAE50CEF66674A70FDD401FE73248C7EEB2B43128B0C5CCDA911CB]]
FP4div2i = [[3C39583FD9BE3BD1AF1FA60963FCA664148EADEEC57A8FF2BAD4D163757AE85896BB2AF39F3C42C7036CAFF4E481C54ECB528FACCAB8A7E1CADF632A,2F8FEAB3EA63AD7F6591829410ECBD2E7D498550BF4BA39753D1D8C101CF78F87AA88D373C3458C303ABD81D0BDF5118C228408B8A5386EF01B1BFF4],[1024FF63D0AAC6CAA64439643E5A20C7B56603625094F039DD8C2619EA7D5F99751AD0523A63789A7B591B97B68BB6E023CB4501CDE92AF5A6B8F574,1C3710E6207F46672C8666B22E66DA0A81E75E860A1434498952FEB8528FDF03E1B4EB13549A4325C59EEA4D56A3493615A925AB2CD15752514C0E6B]]
FP4inv = [[03C8F5AE949477ECFF3B700EB56876CD281B54535E2534FEF6673CAF223343C7AC71E621DF4BA2BFB9BC477D5159BF61772FA7D9BEC364F23AD61BB6,2E3EA6EFF2B25A2263DE1DD0D92231214307D264F1A019997B060329D8427063430F2897B2FDCE42B2D5349393CC2B1DAB65391D2A6C32DCEFB45309],[08686BDCA7B73F4CE79B30EFA1CAC00B6B4F1638D9F6ACE11A8B483C013FE225CC22DFB26D058E21694D3013E922AFC331CCAA0AA3CBA3065D9CE7CB,1CB25419607ECB46EFE5E476008970417545A7679C626FE571B324668E40A6E9BF816D3A3BBDAA44D5C82BD411AA0C693FE34AEDC6F18B6223ACB60A]]
FP4mulj = [[0654B6C5F7AD472924C711BAA987F49ACBA2944F0317762DB3817C5139D5B7B00E094EDE3183F501FFE06BEBEC513A1B04952790A03290796496D19B,35E4A179E210F4A88A58944EBA74B1C948EC199FC26319C5075355123BA530A888B1DC156DB84DC5038C4408F8308B33C6BD681C2A8617686648918F],[24A4F77AD9FC230EFEAC5F9048193A9A8C202FAF4B7D1792DE8CE2C05E16F10E62C36222B7FDE071E90B77808315B6C67B27A818CCAE4A854FB97E1A,40DC0860FA7B69762B32C642768014A50E078E3555914BDC67DFE178B0A6D01244784D360C982397AEAA61CDD9B8FFFC90D0CDC3F97FA1D7A1058C85]]
BIGsc1 = 154896B989C25B189B7743A83FF6528DD1AD4EC0004987DB23F411ED94EB2332A8B83F40087A8DAD37E4D8AF00CF15425CFDDE29646EF5E52303D556
BIGsc2 = 1E
FP4pow = [[37E92610C4C4F9CC365D7FFCF8445286B4CC2470EAA9D494F4C40F9BF00D6BBD1BA01C9C83F8990AFFA296D92AA00F0433937926848686342CC6F67C,0715E2316C24BE3E12C144BEEB4F88360C5134AF40290129995987BFC1102CE5FB70F6E300225028A48D63191080A28532B08316EB9DB03812FC1F1B],[190F04EA87AD9B53D860F3A76ADA22EBA9D18677BD7823459E481B796B3B255F08CDC67208A04C35F67AE822C9B984978F736C69BF88563564DD0F18,103C07C85B2C1D3BAC993C17E4477DFB0A79521969857467CAD7485EC236291BB95F78D3A2B91759589D34A7B86AF174FD62D94823040A97CA4F524B]]
FP4frob = [[24A4F77AD9FC230EFEAC5F9048193A9A8C202FAF4B7D1792DE8CE2C05E16F10E62C36222B7FDE071E90B77808315B6C67B27A818CCAE4A854FB97E1A,147FF81709515C445868262C09BF19D2D6BA2C4CFAE827590100BCA673999174EDA891D07D9A67D76DB25BE8CC89FFE6575C6316FEC51F8FA90088A6],[1D0DEBBBC1CB6DA341DD3060C9FE32A93DA35536F7ABF3DF0D07BFA8C109D4B45A61250AECB7DAFDB0379E72004E65EA9CF3561432ED17D8A6B59DDF,458A8CD081324C1A9940585729AB01E308F05E132A689260CA4E4175DA0461A763638EE751978295855A8F767739EACCE99E0894DECECBB62439D127]]
FP4_xtrA = [[49E227D4B139BA6DB13EC0207123C75D27500B39B53F28DEE2C3A6375F8BD5191A749075EE0A30B222E3263C895D531737B2D2E249D5E1D9EFF5A225,107BE5E640ABD01448B55CAB19090EB22C797C511F9B68DC3921260DC25ECB1C13F1CC92F4B0A8B21313548FF94929803B3B8FF1D403C3F0A6B688DD],[05276EA9B71AEE5788F7F79D0C575F1A8E15741D40BEE438D2EAB095967C6DCD925968058E68D82ECB57756DB1A75CA4DF09E0A357899D0B111348AB,3F766C33DF69AE5114B743F9299BBB9487989CB33574A2CC3840CE85F0AED8046E85DC3DB70BC35E161FCE764CB6CFC19ED1F076F6D4DB3AC2321030]]
FP4_xtrD = [[34A42950A1B3FEE0056FFB3935E589F032D48093B5C000E967327CB320E8C199160C5AD0E391C36B7C019DB703F0D0256F6B45D124722E3103D010F9,18C5C77AD60AE87AEB7B711E4AA1313DF6CDDB10205227D48E6C652D2C3C624FD88EF25A593A7433055FAE9A67AA84BC3BB88D780E64EA0D20BEF9EC],[23BF6E10F7AF8712C9091723CD372AF680B10E94DB2D7DC7D4F4BBC6B2D3FA678A0ED8647DA8E29AB455531E49CD66B18615E3ACA2EE335BAAC81E1C,06AB1BFE088EE5B630D218E530DB5A7EA85CA21B2EFCFD21D3B80AFF772E7C664162650212D95FB46000D751E79C47FA75E236B541400353D9D89AFB]]
FP4_xtrpow = [[12ADE26617000645F71F9739BF9422932BF6DEA764DEBEE1EE7CBADCC0DCE44FAEA68C95764853DA98899F7D108AE2C21B19042963923123D30C7B96,1945F6CC293DA01AD625DACC077E9B9F39DF012B0E784C8A3A3BA5A845F527980BFE6745DE775202C2D247CB898BE7AECD18B684DB3766C41652D4D3],[0667C60BEFDBFBB129E813C0E1CCD43FA2FB64D10913D6F8F9EF437E06E937C99CA2F142EBE2DE9D6636C1E15ED1FD90AFA35757C5498273C8A46DA9,3B5D7A30AA17C3D870F3E277D285141F4C57B71C546C54209CE62D7D3915BDD4A6A7DCD3E6EDE53C962F4ADF56C5BCF5202724327ADF4D19945BBC83]]
FP4_xtrpow2 = [[3DCC1341815832CABD2E93BD136507C69DDC571E7FCC86E3272AE2CB173360596E121F346AF3B96DF2D73CE876CF35E4254EA09B9570594334B6A08A,2F63B820F465D4D89A1AC3634F67C9570AA329E0713F04554E01D6FE0D27FB75501A4734B9BC8B24943AC233AAE373A9EB00C3F197A81E89F357F860],[2B8BA63AA33AD9CAB6F4A96BA3504537C302BAC2AF66F392A73D74F69A63CDA03E4E23988041FFA1C225BAFE1DC34B9F0BA566037B0DB6ED30563260,0EBFAD70CF2330D6D3B6A96D3C68CB956F95EBB7AF1CE9E3AE1390E7A3687DA81F3B171039E6A994D411865BABB8DA43B0B3F4D721DD615311DB69E4]]

# test 2
FP4_1 = [[254C4A3EC1E8752F98532967AB85F68E2A66FDCE3567A022E574737E2181B4D822B67915861FBBFA5116311326A98A897710C1D64A4FF6153DF1DA8E,50F972752B669F84AB50C21FAD20880583EA31341ECE3A970A4179168B7F2E6011CB6675940F462823EFECE3BF8EF292ACA4BF551261956DF924EEEF],[51A2F55907AE0E8E0EACB53E0AB452DE683F5E0674CEC48E903F6845D692BD47E38F30C1A1C2F86367CB4BA22042D2DBED109EDFF0E7AB6572500307,3EC7970B12B47C54D98433DAD4890FA42D524B74FC006E5ADF34B42A46BA1495C15C517F813CEEB4C52A1F10C5323E7303226FB54275BEF0D1208F08]]
FP4_2 = [[1FAA1E7332C178FBEFE695AC9654B4D79F3CF7E6B6AEEB7D022967F664EBDD9C424F610A4E49E2DBF58CA97E2D8B8717605F5AE7E210E011CB2BA90E,2EC11CD90E42D2360D8997CD8F65FF6A0C0E0DA4525616DA5AB0C2424D8A1B03475CE24723537BA96E36AAFB0091BC6E5087D51ED3C9707F212862A5],[50561987A807D0EC37B9D35175186827E5424EE3D0DD63F4594DDE64A8F8F39556063EFD7F7E4F35E35B5CD081ED7152058805B3557DC6F2974EAD59,11FBA1C60711E7B28CA4D22333EA876F520D6A698951A21FEC217A7F7EE81664E1529987D6819C40E765C4FCA1EEE7127E07593BA7DCC82BA475A062]]
FP12_1 = [[2CD361054C6F2B5DAEF17AD5625AF7B8E1FCD3BC2550CB6F310B68BA915180C679400FFB48077DEDEBC0B1FDBC06627A352CCC2FB6FE05AF36ABA2AA,38574496FE8327F791FF260AE9F75FE9F1B3C00719BE31FEBB5EF910BE1507C13716756E04CFA19553DC29BC9FFB46C5BD6A8F932C3AB93544442964],[488D68534F17DD5B19E68DF915681D728402250D1FBE15CF9450DC2691C93322470DA99F09B2F492F1C516B9658DCAFB325CB618E4F71AE299ACC1DC,3A125A90763B78ECD668503B77ABA328A441932D1CC28A243F1DBD22F5A134874FB919A938D9A755686E8DA3CDA5EFC5BEC974D7EF76F6ABFE486853]]
FP12_2 = [[2CD361054C6F2B5DAEF17AD5625AF7B8E1FCD3BC2550CB6F310B68BA915180C679400FFB48077DEDEBC0B1FDBC06627A352CCC2FB6FE05AF36ABA2AA,38574496FE8327F791FF260AE9F75FE9F1B3C00719BE31FEBB5EF910BE1507C13716756E04CFA19553DC29BC9FFB46C5BD6A8F932C3AB93544442964],[488D68534F17DD5B19E68DF915681D728402250D1FBE15CF9450DC2691C93322470DA99F09B2F492F1C516B9658DCAFB325CB618E4F71AE299ACC1DC,3A125A90763B78ECD668503B77ABA328A441932D1CC28A243F1DBD22F5A134874FB919A938D9A755686E8DA3CDA5EFC5BEC974D7EF76F6ABFE486853]]
FP12_3 = [[4A2B4B14FEE72BC67F303E5AE459AF769FEBD647F9EAF85D949A9C5383C1982F807B1D685D2A83A01C0ABDCEA5771FE8D46D8AF7C5E13C5D53EE3FCC,3AB639CBECC323135389DA02FB7224ED6A3C9E23C9F24395D1EE7848E6F6ED3B966AED1DF780D0E6BB7771F72B465DADDAB482CCC9B6A8F3AE43A1CD],[50CC3CD7B2D649CD589FC17FDBA825B0D3B23388F5A06058184102162B9C1F3B794422E4CDA6AB7F105350F25644917C5A41517C853A91833F9D2EDA,359DD6B85DF58E11A8E9E0DFAA139F4F75694D2536033A2D9010862A6ACF1F035B00F6479BEDC21FAB95C3650B62CE4ABA534DF10868CCD94641835B]]
FP12_4 = [[3FF0648F1BF0CDB68C6BF4484D9C2707C358193127FB2297F690B4E708F094D38D37DDFA1F7D1564FC24B4067FE4C40B6F357CEE189CB7E463788D68,063DB338856BAAB3C8885587FFA907DE7CB49361947EAE0E81463F5174A51129DD3919AF36C5718CAEDD33C7D3DDF7E3E1D4EF9C79516041114BB8DA],[29EE2414BF8A947F8A8E1EF5D1E844698A799D1B8AA3CF0FEB07031BDE0D690505F9A6AED6F56FC5917A9CB0425D49F1337336BF0738F5D2FEAC25C5,40D9884032D6B0C3A62697EDA4F3E5F0283A5172B97CDDCF1D343085C519015467389C212085290685FA764E0511BAAEA413F5A115EB152BA1C5AFE6]]
FP4add = [[44F668B1F4A9EE2B8839BF1441DAAB65C9A3F5B4EC168B9FE79DDB74866D92746505DA1FD4699ED646A2DA91543511A0D7701CBE2C60D627091D839C,2A5E8ED635DCAC00353F6D7EBC4758F7AB36845620AADE3BFC119D39B4C8E7DC270769B62D30366275C9DA2819DDAF1E14FF6398EDE64485D0473C69],[4C9D0E68ABE919BFC2CB9C20FF8D8C8E68BFF267F532B54D80ACA88B5B4B4F56077490B8970EBC2A2EC9EABBFBED444B0A6B73B84E20B0F0BF989B35,50C338D119C66407662905FE087397137F5FB5DE8552107ACB562EA9C5A22AFAA2AEEB0757BE8AF5AC8FE40D672125858129C8F0EA52871C75962F6A]]
FP4neg = [[300FB63941E4508AEB47C306D4B937E9BA5ABCB41B11D312836C2AA102BEACAF0F6A65F10412CF74CB468CA37F997559711C6F04ADF4CB520C143A9D,04628E02D8662635D84A2A4ED31EA67260D7894E31AB389E5E9F250898C1332720557890F6234546F86CD0D2E6B40D503B887185E5E32BF950E1263C],[03B90B1EFC1EB72C74EE3730758ADB997C825C7BDBAAAEA6D8A135D94DADA43F4E91AE44E86F930BB491721486002D06FB1C91FB075D1601D7B61224,1694696CF1184965AA16B893ABB61ED3B76F6F0D547904DA89ABE9F4DD864CF170C48D8708F59CBA57329EA5E110C16FE50AC125B5CF027678E58623]]
FP4sub = [[05A22BCB8F26FC33A86C93BB153141B68B2A05E77EB8B4A5E34B0B87BC95D73BE067180B37D5D91E5B898794F91E037216B166EE683F160372C63180,2238559C1D23CD4E9DC72A521DBA889B77DC238FCC7823BCAF90B6D43DF5135CCA6E842E70BBCA7EB5B941E8BEFD36245C1CEA363E9824EED7FC8C4A],[014CDBD15FA63DA1D6F2E1EC959BEAB682FD0F22A3F1609A36F189E12D99C9B28D88F1C42244A92D846FEED19E556189E788992C9B69E472DB0155AE,2CCBF5450BA294A24CDF61B7A09E8834DB44E10B72AECC3AF31339AAC7D1FE30E009B7F7AABB5273DDC45A1423435760851B16799A98F6C52CAAEEA6]]
FP4conj = [[254C4A3EC1E8752F98532967AB85F68E2A66FDCE3567A022E574737E2181B4D822B67915861FBBFA5116311326A98A897710C1D64A4FF6153DF1DA8E,50F972752B669F84AB50C21FAD20880583EA31341ECE3A970A4179168B7F2E6011CB6675940F462823EFECE3BF8EF292ACA4BF551261956DF924EEEF],[03B90B1EFC1EB72C74EE3730758ADB997C825C7BDBAAAEA6D8A135D94DADA43F4E91AE44E86F930BB491721486002D06FB1C91FB075D1601D7B61224,1694696CF1184965AA16B893ABB61ED3B76F6F0D547904DA89ABE9F4DD864CF170C48D8708F59CBA57329EA5E110C16FE50AC125B5CF027678E58623]]
FP4nconj = [[300FB63941E4508AEB47C306D4B937E9BA5ABCB41B11D312836C2AA102BEACAF0F6A65F10412CF74CB468CA37F997559711C6F04ADF4CB520C143A9D,04628E02D8662635D84A2A4ED31EA67260D7894E31AB389E5E9F250898C1332720557890F6234546F86CD0D2E6B40D503B887185E5E32BF950E1263C],[51A2F55907AE0E8E0EACB53E0AB452DE683F5E0674CEC48E903F6845D692BD47E38F30C1A1C2F86367CB4BA22042D2DBED109EDFF0E7AB6572500307,3EC7970B12B47C54D98433DAD4890FA42D524B74FC006E5ADF34B42A46BA1495C15C517F813CEEB4C52A1F10C5323E7303226FB54275BEF0D1208F08]]
FP2sc = [1E4B0BCCF8349207CC13A1F7C064D5EA21EE50B80AAA79F5DB60C62EB83D923D453367A77A97DD113D4D8BCFD01802CA2D07A2E887A506E0617F5CA5,4B65729C84F7DBE09F0EF9303AB058A960769D337BD8FD32F84433D1B60447D3913BFB0D08CD98DB210850A7A874699977B118268A3D0409FA85F47D]
FP4pmul = [[4B19A22DCC1FC557E45AE78D92A1B4150DC6D2E99E3D56CCACCF3C310250AF6F42D3A9B6390D7431259F399B1226963E2BD869EA1E7A146938252AC2,20D1AC695F2356673DF0FB3DEED5A33973ABDA7254D81CDA9FE05EE438EB17C5F4AB7F8168B493AC1B669B2E887D289CA834F18BA288544CBA61060A],[3956081CE444B82CE82FDB34564BCCBAFAE8B054CA0C504BE0B26B0B0C00F4B4D4656521EB6291A4872658E03DEEC94898124C3223D18A977E6927E6,F4FF5031299C9A42099CE44F0456EE14AD654A958ECF1A49B3E8F59B077C6FA43E672509BCE995D52CE404F1AA1ACAF52F1DEA1B6CE9D5A0404F2B]]
FP4imul = [[254C4A3EC1E8752F98532967AB85F68E2A66FDCE3567A022E574737E2181B4D822B67915861FBBFA5116311326A98A897710C1D64A4FF6153DF1DA8E,50F972752B669F84AB50C21FAD20880583EA31341ECE3A970A4179168B7F2E6011CB6675940F462823EFECE3BF8EF292ACA4BF551261956DF924EEEF],[51A2F55907AE0E8E0EACB53E0AB452DE683F5E0674CEC48E903F6845D692BD47E38F30C1A1C2F86367CB4BA22042D2DBED109EDFF0E7AB6572500307,3EC7970B12B47C54D98433DAD4890FA42D524B74FC006E5ADF34B42A46BA1495C15C517F813CEEB4C52A1F10C5323E7303226FB54275BEF0D1208F08]]
FP4sqr = [[10835A8382A9BDABB258FB1B550AA192C09FE52213C61B9BE6B431376890DC72249475F74FE383C52AFE468D0CFF9D33E9A0FFA2D3560351856EF2,4EDD32A62BC90B811410C4366E28D08B86A3FE50BEEFA30F8AA4C025146D739B1FDE46FECDB0E06ECE8CD743FA6A55FCE13906C16FE2A86C9AE8B11C],[4DBB441D718C588E91A8127333136860293382E2BC96F88F105160D03EE936A88D748A70A0A4F034312953E5B9988032E324EDE4C150C1CBBF572559,0C14B81E48D0CBBA7C1F1ED3B94822D2128374DE6F5523EFE6D5A0F0B6F70448D94BD6E8479433E7A32849097C7D5EDB4F2D80A5EFB905D06688BB7C]]
FP4mul = [[1814CADDA9D27C5037FADCA24B60FE8746E0508448DAD48CAEC5667DDFB082C10DCAE60BDCDFF4447CD02821A37FA887451C35D82FB63E581E6C4BE2,42F0C7078D756BEDC38D70F392CF2F58468177BB91B4A15AFADCCD54CE7B0903386D8C2F60F42EEB3B28CB6002C58DE7DA2F0BD911A1C08DACCD2334],[06F046350058D99C779BB89061A1C3A380B6853615D487309852906849831F66CE32B693539626D3BAF7A923010368548173597A73A7171D13E561E8,0F51F402218A40334B5F9AA6F38485A2B104F315FCA46718D39954281141192A63D8653A5FBBAB511289EB917FB555901FA4C203164B7543B77747DD]]
FP4div2 = [[12A6251F60F43A97CC2994B3D5C2FB4715337EE71AB3D01172BA39BF10C0DA6C115B3C8AC30FDDFD288B18899354C544BB8860EB2527FB0A9EF8ED47,532AB9769799B29F9775D74716AFDB3EB455F5DB37A3D6E639910B9AD7DFC7F3A1F622BE0F20E8CBA026554D32E8F93ACA68F81805532B6AA195820D],[537F7AE885BD6A244923D0D64579C0AB26808C4462A41BE1FC9003327D698F678AD807E415FAC1E9421404AC6342E95F6A9EE7DD749636665E2B0C19,1F63CB85895A3E2A6CC219ED6A4487D216A925BA7E00372D6F9A5A15235D0A4AE0AE28BFC09E775A62950F8862991F39819137DAA13ADF7868904784]]
FP4sqrt = [[411170D5964ADC0E69D31DAA212FDB7146F1D0B57B25018695C6A718763D0CFF443E831FD052CAC19628B789A89FCED77D5D5AFAFAB6CEB943BF5A32,013D2160F7DD2DF73C7A09AD70DF959A31F659016584A8AB78E20136A68D2D2A94407FCDF7B8CB08F0ADCEA24FDFB349AC6EBF8954F467165ECE5F42],[3C551C9E505E909478A140E489F69D65042F79015D09057BB2C5DC9475F6D61A39510CA74A420DF7ED560951C1B53B3A3B5FB759B315705EC2000113,3ED4A027D35265643F5ABA1864301800C740A504A9FAD21C367343A30093B5E64E308707A0DC74149B3C3BE7EA198EF9551BBAE842DFE0AE1F839359]]
FP4divi = [[51A2F55907AE0E8E0EACB53E0AB452DE683F5E0674CEC48E903F6845D692BD47E38F30C1A1C2F86367CB4BA22042D2DBED109EDFF0E7AB6572500307,3EC7970B12B47C54D98433DAD4890FA42D524B74FC006E5ADF34B42A46BA1495C15C517F813CEEB4C52A1F10C5323E7303226FB54275BEF0D1208F08],[1074DE1DF4C1277CE0047F8C6C33A80DE4C7BA4001DE33C2436AA73AC46040D88130804247FE3B59AC54B0201FFABE9C9DC428283236650DF6885A29,4084945736A57807CB4C429340ECDFF79F2276F41CF006D4C6D6D1DBC71EED87909AE6334C110ACE779B3CC39F9433F60EE0972CE02B3060029C94C6]]
FP4div2i = [[4DE9EA3A0B8F576199BE7E0D95297744EBBD018A992415E7B79E326C88E5190894FD827CB9536557B339D98D9A42A5D4F1F40CE4E98A95639A99F0E3,28332D9E219C32EF2F6D7B4728D2F0D075E2DC67A78769805588CA356933C7A45097C3F8784751FA6DF7806AE4217D031E17AE8F8CA6BC7A583B08E5],[20E9BC3BE9824EF9C008FF18D867501BC98F748003BC678486D54E7588C081B1026100848FFC76B358A960403FF57D393B885050646CCA1BED10B452,2BAD2836697E2A5512FD98B8019A917759833365E9669A7424CD059869FD7987EF14ED600DEF8A2DD2D9BBD098E568093593FD7EC8119F58BB331461]]
FP4inv = [[241944A31E0A558B4C6856A224403403979993F36A4622AF0F1B819C7E268CB7D5B8F9E38C0EC91EA79E8150C741C9B52B7C52386DA29C790FF6FDB1,3F208D11744712186AC51FE8DD2D291D0D24035CAC9147DE24192BC9CF5831A3D713FD9E483930DF6B08A97F43BEB0D4C060CA86B6D79B1D2065C157],[3C6AA548A7864A73B7E4F05BF0CA6E9666275021EF3F624DA40EF790DF262D0D9B75A6372AA3741A3E55094CC23CF25C0A0F2C7093AC11CAE23DA3F8,52873C2357921CA49BE713605B6DBD85159773392AC567C80C3475C4727CB21B2D13078D8CA5A4F77A29F06D4B383103783C95B7D068FE1D37A19E14]]
FP4mulj = [[12DB5E4DF4F9923935288163362B433A3AED129178CE5633B10AB41B8FD8A8B22232DF42208609AEA2A12C915B109468E9EE2F2AAE71EC74A12F73FF,3B0E8BEC1695C5286495FCAA5EFE340AB0CFEEF92055BFB406937E50F90C705672CAA33A98CD5BA91098ACFC3F32116C0805DDBA3B18A8EEF96A7CE4],[254C4A3EC1E8752F98532967AB85F68E2A66FDCE3567A022E574737E2181B4D822B67915861FBBFA5116311326A98A897710C1D64A4FF6153DF1DA8E,50F972752B669F84AB50C21FAD20880583EA31341ECE3A970A4179168B7F2E6011CB6675940F462823EFECE3BF8EF292ACA4BF551261956DF924EEEF]]
BIGsc1 = 23F34F436524DEC753517D10A762E77154B8D6CA358648DFA335DF21D36D8010C30B94F795104EC39A4E672DC863BB63C6831EEA3AAE0BF06436318D
BIGsc2 = 46
FP4pow = [[1559270951AD6AF90C5FD0185F0FDB6B2275B0CF599D0BA0D467AED66307970691CD10C1DF80DF7FF2BDE54CB1B6B91AA2C118675006E71D1943DC8C,2722998B8824CC2ADF4EB690EC8598E8BC4BFF977A1D16C524386BE8CB5109AFC1F5433783E57B8F953413B03838BAAAB15E8DEADD6E38565186C2E9],[03F0F538AE8B50F3ECC3AC909FF123BE028E856B1AC56EA963FA3506FCCF32962E93C4C104FCF1ACE914AEC26B643C02907CAECFE41972C9E288BB23,33A97FFC1DE50C4DCD850A0A441A82CD2B917AAF7F5DDD3FDC4684A857E87B7128CE6835FBFABEA35A3F5CAD22983F35C94120143600F5811D118B94]]
FP4frob = [[254C4A3EC1E8752F98532967AB85F68E2A66FDCE3567A022E574737E2181B4D822B67915861FBBFA5116311326A98A897710C1D64A4FF6153DF1DA8E,04628E02D8662635D84A2A4ED31EA67260D7894E31AB389E5E9F250898C1332720557890F6234546F86CD0D2E6B40D503B887185E5E32BF950E1263C],[543533838FBA7B5137C560819E4B30C438845665D2C33FCFD50602EAC0C60536DD4AB84536CA72FA0CB6D6F91F3852554A60C0C9E391FBE5EE0E2D94,4D058028D0A3B93BD1C15A52781A72A509596DEC4AEAD006EE409BCD4DB288723CF4E2B3BA8A235924C047EA94BB8CB853BA0A42A572265D2530E4A4]]
FP4_xtrA = [[42EB9676EB8CFA811597FC7AF4F4BF91872342CB3BE91E9B6BB6A661CE61AFADD1C1E577585C360FBD0255837C44C19AD78008ADBF494C62DD596BD6,384BC3979053338525AED25AE7B63FF7FA06C972B956580D7426AFD1C598BBC4DAC8BB6C64B78D0FD24F318FE459EC0015C414EE39E118B50E4BE459],[1401015C5E734F8181BB30D3F33A4625AE44C756782B0EB9DC9FE2BCE2FC270FF79FCC569C960EC114C64EE6A22EB69AC6EB43AED8719A3713BFC4,13A8A3F975679963EE5E5DBD31454F86D96369D46E80D9C2399DB678343BC8C983CA82002A683D1D0BE375068F921D36F04C8817863695077DBAAC41]]
FP4_xtrD = [[0AD3EF55037E8518FEA6F29A44884BFD22B45ECB07BDF90B39DE6B5418A588B35ED881517542F6FE3F5B59D6E5FCEA6D2DF54E2E06782B401FA7CF01,02464E33D8C89232410A2C659426EEF86391566AD1CCA116DF026C1721AF78622E68591A2FC4DF8DA309BB33218F70BA701CB8F243643EF7F2A4E869],[46492DDF794EEA35A7CBA41247FDB12D302EC9EB05419B415F0EF51DA38DEE29F0512DE6CFC5CA1CC8066FBCAD982624ECEBC9EEB29695C80FEB0111,3447E5BC6A6CFEA9AB8C9A1AE21B13A28866514616DC8D703C5E6B26202ACBED29E39AE0BFDB85E2111FC974609EDBDE6D452F357C5FC24ABEC3C461]]
FP4_xtrpow = [[29E7CFA8466A2C60BE93817A7BB2A003DB77236DB1EF921F9C46C4AF0121FD547E1EA2BA9A32BCB62A4DC0922E692617C7EA0D8961D841EF04DEDB44,36FB8DDB92665B76557B51AB8D88C15BBA70ABFAA7401DC9C8F474AAF3F0A59C4EC4D84EE237BAAE1EB617003788CADDE2B11722C2638558925348B8],[050FCDA53EA94157E02E9E4BA54E7EFE29FC95B5BF234B1F894E7B0704C2CEF567FA0D990D8FAB248846B83679FBC5647989586656E1C44800892831,271CD74932DA2E4A0EC54CD3E86E28FA61759EB0A9870D03EAE4F5A360ACF4C41A5E86DD9443F31857B9B8AA76F3C84325C6A440E9A3EAEB04B2093A]]
FP4_xtrpow2 = [[42CFED2ECAA3B7FD4AEA8571653E7EE8E8FB5394D033F406D8D383D6D9C09B78E7911ABF56B5EBB4A7276A4C5A2CB523CBF96A7E002CC2BA69568A3A,2361360D7B76DA0D2973279D8CF287ECC983AB8478BC9B2E89ADFE86EA42C2EDD07645811B16FA597E7B37C27B909B2FF64DB17B8A88937EEA24D625],[5528BE604C8D5C903FA3B82E25BFCD828EA76BC1A77E1C5C4345143784E9FC79D8A9FFF5409437288375632449BE326A63EE60955A3B686A3DCF64DD,4D98BAA3A97F659AF9887A5C645F6C8E34C4B95945182B6E0BF8B2CF076C000A0FCE812842B573ED529435D0AA4366FECD8674B1CC8A173A99539BA6]]

# test 3
FP4_1 = [[24950BC75F5F02445B065B2669AA6813293188A7ED9C9AA05695EEF34C0422F88BCE1E418C08F23E6313996F1A6C7690EDDC0D3C30AAEDB9DAB1AC88,2C9E7D419FD6CD35DF34EB1C712CA4854F2E64406166217FDA8D7D093F433C2B40E4D2B61FD43F0BB42A84E576D5ACDBAE4343A3CCB1D47117DCC350],[3741F3F0E03AF591CA94C1082CDBCCAB2F0C4D77ABCE9D036E3BF826DC7E92DFE834C186AC08121A641D685F1375E91B9EC74A404C98634D62EB1460,1873EDB36D7BC449FC18402BFB21D79E12F452D7D2DD683147081AB1CAF68C9D31DB759C1F3149214DB9498142B226016C6228BC9157CB7034A4AC01]]
FP4_2 = [[1AF812D9314D61183D1A6C6190934EFDE5775DFB41CB609C1FA788035A0EB6A7A7FB77BE570D4C2C7D1E1DF552378A71FD83762941DFA66A6ABC9632,2C450494B1A7D96093037EDE36B32325239E4764EDE69CE3BB963841CB4B762464C61CE23BB74382839AAA63F4431C87000B71E82CEF15B63BDA1E33],[2013CE330E19B17A164B91669F18EEC0546C6BD99C29D11B92623D57DC53472A34BB4DB5B322E3A8D4A3A3A5B0D09E5FDBE202B3A5B8A916506EB25F,114186AA8ED7461BB6B1D9746CF09AE56429593F02F975EDE11E30FC61D2DD0E10FD31B103E532F8D07C85F69C377D6F7A719C54FDA0EF03D80A28E9]]
FP12_1 = [[0776F4DF3490DBD716D8F943D37C4CDCEC026064C22C6D1DBD7C184B5D2A0A5AD74487FCC0BCD483CAB43E2A63223421433E1ED88803D0E124858E32,1EAEF498CA21A80C597FEAFCD2FC680A9A2EEB63A857082866C28385B4B23FD4DA20719A5662253A75E040E308122FD36DE216ED4BB35B66C5608DBB],[1706CC7BBC401B22FB08AB55470BF63F6D153C8058ECF4C5D7FBB40A34FA9FB38A2ED09449EB087C304A2012F5257D5C2258094BEC942C59AE6F5B43,2EDA7B0129946A2E619382C450116928A1FE41DEF673AB0EC335FB7F1E53CB1FF196EB91FACF9723A0C3A501D226123B6A50BE6960D732205EE22F82]]
FP12_2 = [[0776F4DF3490DBD716D8F943D37C4CDCEC026064C22C6D1DBD7C184B5D2A0A5AD74487FCC0BCD483CAB43E2A63223421433E1ED88803D0E124858E32,1EAEF498CA21A80C597FEAFCD2FC680A9A2EEB63A857082866C28385B4B23FD4DA20719A5662253A75E040E308122FD36DE216ED4BB35B66C5608DBB],[1706CC7BBC401B22FB08AB55470BF63F6D153C8058ECF4C5D7FBB40A34FA9FB38A2ED09449EB087C304A2012F5257D5C2258094BEC942C59AE6F5B43,2EDA7B0129946A2E619382C450116928A1FE41DEF673AB0EC335FB7F1E53CB1FF196EB91FACF9723A0C3A501D226123B6A50BE6960D732205EE22F82]]
FP12_3 = [[23CC03531E5C03BCDA72CC409691B16DB958F8C0D72CB15D691753DB471D2013B1418B23AA846C9D1FEED230E39039993CD6DA183E0A1FA92EAA715B,4A0ABEE9DB89A88FA42ABC1702D101B2797D4742C3E8212D35E14056C2B560724AFB605E943DD1833D044E55A2E64C07619287BF99B102702D487624],[52717C8DB430818CA7A958E143AD219F92A185FC2046B5FBBE65F2FA48E3EBFD931CE1C8D7BD7DCF531AC88EF479B08FFDF9418820C00F41392162A2,3A1803A53B1AE1918170BBB1B11CF03C0B75138272CDDDCDF3B90D0BD9FC0832FC4FA518A64B9EF59F63AD9FB96BA77253E35629C5DECCF64B9D8C30]]
FP12_4 = [[235C550F4B722481F76B6183119AE2530DD2FEBA544C0A8E002A736B974D8634D572E75F109399A06807032E9B9AA8B9F39696D12211DCEA1E8B72,13F81D2C32A9B54DEC2FC2FDBA1B8004E023514CD4E5672A6E6F3D50C9F92E79BD6DD0D57104300897C78E0B5B05CC60D7D9CC3AF89A3AA7F3CF7D43],[0EF2D1A81C020BEA9B45481B5DBD63608034C3E770876A8C7109F954308D1295C60921DEB4051C92A44B7D1B64E284A727A2B8949084A766AC3F05D9,2F64E414821CF6D63F8D23D0C0F6A1553704B0AAB654824F1BEBA3F7D9A2AA5F2F9E6CF74FD91591B2A8E9A3CE0C7C0B4C86C0646E6A052798E4B13D]]
FP4add = [[3F8D1EA090AC635C9820C787FA3DB7110EA8E6A32F67FB3C763D76F6A612D9A033C995FFE3163E6AE031B7646CA40102EB5F8365728A9424456E42BA,0387815E4DB1E0DBEE9D7D8C27A099328E0AF122FED34B2E2D43172BE64E50C8738A1091D158F71F1B687192C4D5C97FC62184B1015C28C009B0CC58],[01F9C1ABEA87E1515D4566004BB58CF39EB6FECEF77EFAE997BD975F94917882EACF3035D4F86A541C644E4E1E038798927C1C18FA0C4AFC6953B194,29B5745DFC530A65B2CA19A068127283771DAC16D5D6DE1F28264BAE2CC969AB42D8A74D23167C1A1E35CF77DEE9A370E6D3C5118EF8BA740CAED4EA]]
FP4neg = [[30C6F4B0A46DC376289491481694C664BB9031DA62DCD895124AAF2BD83C3E8EA652C0C4FE299930B94924478BD68951FA51239EC799D3AD6F5468A3,28BD833663F5F884A46601520F1289F295935641EF1351B58E532115E4FD255BF13C0C506A5E4C63683238D12F6D530739E9ED372B92ECF6322951DB],[1E1A0C872391D028B9062B66536361CCB5B56D0AA4AAD631FAA4A5F847C1CEA749EC1D7FDE2A7954B83F555792CD16C74965E69AABAC5E19E71B00CB,3CE812C4965101708782AC42851D56D9D1CD67AA7D9C0B0421D8836D5949D4EA0045696A6B01424DCEA374356390D9E17BCB081E66ECF5F71561692A]]
FP4sub = [[099CF8EE2E11A12C1DEBEEC4D917191543BA2AACABD13A0436EE66EFF1F56C50E3D2A68334FBA611E5F57B79C834EC1EF0589712EECB474F6FF51656,5978ACEE2EF3D54C316C3E3A7981602B901CDB737F849C1EF744C773F7C606DC1EB5D3E41CFB89308FDA8182929054AE37D1BB9FC2BEBADC02A51D],[172E25BDD2214417B4492FA18DC2DDEADA9FE19E0FA4CBE7DBD9BACF002B4BB5B37973D0F8E52E718F79C4B962A54ABBC2E5478CA6DFBA37127C6201,07326708DEA47E2E456666B78E313CB8AECAF998CFE3F24365E9E9B56923AF8F20DE43EB1B4C16287D3CC38AA67AA891F1F08C6793B6DC6C5C9A8318]]
FP4conj = [[24950BC75F5F02445B065B2669AA6813293188A7ED9C9AA05695EEF34C0422F88BCE1E418C08F23E6313996F1A6C7690EDDC0D3C30AAEDB9DAB1AC88,2C9E7D419FD6CD35DF34EB1C712CA4854F2E64406166217FDA8D7D093F433C2B40E4D2B61FD43F0BB42A84E576D5ACDBAE4343A3CCB1D47117DCC350],[1E1A0C872391D028B9062B66536361CCB5B56D0AA4AAD631FAA4A5F847C1CEA749EC1D7FDE2A7954B83F555792CD16C74965E69AABAC5E19E71B00CB,3CE812C4965101708782AC42851D56D9D1CD67AA7D9C0B0421D8836D5949D4EA0045696A6B01424DCEA374356390D9E17BCB081E66ECF5F71561692A]]
FP4nconj = [[30C6F4B0A46DC376289491481694C664BB9031DA62DCD895124AAF2BD83C3E8EA652C0C4FE299930B94924478BD68951FA51239EC799D3AD6F5468A3,28BD833663F5F884A46601520F1289F295935641EF1351B58E532115E4FD255BF13C0C506A5E4C63683238D12F6D530739E9ED372B92ECF6322951DB],[3741F3F0E03AF591CA94C1082CDBCCAB2F0C4D77ABCE9D036E3BF826DC7E92DFE834C186AC08121A641D685F1375E91B9EC74A404C98634D62EB1460,1873EDB36D7BC449FC18402BFB21D79E12F452D7D2DD683147081AB1CAF68C9D31DB759C1F3149214DB9498142B226016C6228BC9157CB7034A4AC01]]
FP2sc = [20BCE010D14C6B18BC54D26591CF38BCA430E02DE5E73CC28E31EE353D676559A1BFAF7BD9EA397DE9B6B09CD50E93D23BC4FA64B586E08B9175493A,3682975465369659CE0A6429F69E8C7F1B53FBC62AE47E4420477A6B11EEA3A22635C74AA75EE5F66D22041EA362E6DCC7682245108671937C6375C4]
FP4pmul = [[2D37BE4B4C64DF7925F7697F4AD5BBBC92281895370E7DE83DAF24B68825E80BA26B7D36AD0BCFE419224B79C62A19A91EA6A85341C44AB7FCF78C07,177D4BC30F65E873B3E2D7D913DFE40463C5EE0C017C8C7AA86BF4E28578E3175D305F2D432AE4246400C28196FDD7499B0FB7DB50A382373C1FDD3E],[2A75C2CD5C4617795B596BFE0ED438415216FF63C5B0709C298561C3B8D636B8AC4C7462115D68C4862A3A9A3D58BCD7442D413959A95A7931BC3F7E,3966486E7A3997FE3D1879431C97DD581C34F3C73CBD44194AEF5AD90662405F5F0BDA474712E8DB3276C9A517B93573C0CE3F912296DC29CCD6887E]]
FP4imul = [[492A178EBEBE0488B60CB64CD354D0265263114FDB393540AD2BDDE6980845F1179C3C831811E47CC62732DE34D8ED21DBB81A786155DB73B5635910,03E0FA0B3BE0D4B13ACEE9CA621A1A92B99B0DFE7252CFCA4C3A5BF35A4616CF4FA8C665B575F2A84BF84C14476859D47459566CA11EE77AE5B37175],[1927E769BCA92569118E95A1D9786ADE7956E06D0723C6D17397522E94BCC4389E48A406CDDD98C5ABDE130780A8D254556163A5A0EC05337BD01395,30E7DB66DAF78893F8308057F643AF3C25E8A5AFA5BAD0628E10356395ED193A63B6EB383E6292429B72930285644C02D8C4517922AF96E069495802]]
FP4sqr = [[1E3EFFF22BF35E6B01BB574608B8428C82963EA0D7B78768F2BF678C32233856620B1542C843EF9AF7898C724C00FCC3673355EFB3EE9A61DB5B1A56,1A032E7A6B87A19D94D1C70152A230C903785EC1A633D784207FE760EF8A8A37BBE37E2F9654B15407773330D3BF17F07EBC541EC3BB0EF5D35A3ED2],[25817309165572398CB5D2C6DB5ADB1B9A5F6BC2E6265388863869AC808A27E43F91E4345169CA0F5F3713E44B38B8B62E19BC51AFCA6A1A6F204B28,15D341F0CD362C4212DC2C5F87D7BAF505CDA14E66205399A942A2F1236F01EA89D60C573EDBEFB0A78A391B1042E5FFDBCAE55D0EC2A85A7E9686A1]]
FP4mul = [[1C53A8E3FDF7028D7487DA071BC5C8E2BCBB4FA399D3365806428F27D9DFF3C85D5890B3C6AF9988DFA05F16C513776C1CEF3BD517073BECC13BF0FB,2C264564007EEDAED07273C6DA5B6CF655CCC824D041E6473DB460186ED879E10A410850BA307B105A41B1C0A0A7B1EEA3E8A6579942EE35EE98F98E],[3BB8BB67271311A0C9306DD87AB99C5A62F05D24FCDC9F6355E354165EB62FB54F8AEC81832DF740BB6F8F7595153C7AD73E60C05E52956487D43902,30C6A865B462BB123A7435039179113F6B71DC96C6AD03A78A701A80BDF75DA292A59CF6C9871AE75373B298D12BB2BB1CE224FB009CBF909DFC6AF3]]
FP4div2 = [[124A85E3AFAF81222D832D9334D534099498C453F6CE4D502B4AF779A602117C45E70F20C604791F3189CCB78D363B4876EE069E185576DCED58D644,164F3EA0CFEB669AEF9A758E38965242A797322030B310BFED46BE849FA19E15A072695B0FEA1F85DA154272BB6AD66DD721A1D1E658EA388BEE61A8],[1BA0F9F8701D7AC8E54A6084166DE655978626BBD5E74E81B71DFC136E3F496FF41A60C35604090D320EB42F89BAF48DCF63A520264C31A6B1758A30,36E7F715B8A445023FD9964D3DB0830AFBDB06AD11AB6DB357F45C68779B771231FE2A5154B1EA48350B039BF47A92F22A47ACCBC4CE466BBF556096]]
FP4sqrt = [[13B380DB75940EC7F29F83D4C00F2494A88BD20294CEFD26E2D0F5489716268FDDE881F88D1A5D698C1008B15046B9E5AB9C392AACEF6FD4906FDAE1,A673549D7571AB962E40AFC225B98F0F3A30E77AE85220DA0FF51E57684EE6C5C98365A402BC70FD81824A385FFBBA47134EE659B524EE01A44A03],[2D254DA86BF3A14F631D1F0658AAF85D70499AF044A63E62480C565A52D9ABE21BD51E06A23B01F9EABC3BC9DB2C0D51937DB80C0B5E400C3D5F2048,1B7DC4A77EA11EE49023764B4D2721AC2CB8CA52CECD98A9885F28346D3A22C0881D6B2C97E4992089D6703C6A4D6ABB48E20A6004B4483B2D7A6420]]
FP4divi = [[3741F3F0E03AF591CA94C1082CDBCCAB2F0C4D77ABCE9D036E3BF826DC7E92DFE834C186AC08121A641D685F1375E91B9EC74A404C98634D62EB1460,1873EDB36D7BC449FC18402BFB21D79E12F452D7D2DD683147081AB1CAF68C9D31DB759C1F3149214DB9498142B226016C6228BC9157CB7034A4AC01],[2899C4847F9AE7BD1D1DA3216D6B864C3C2FF67427815E101891B5FE45A3AF91E659787BD5EE98A50B9F0F2A48A111B64E0FA86FFEAE6115794737EC,0404B8BD203BE578C21747FB03C11E3912FE6DCC39E4C36FC1FBC70AF99F8C995A8B5A3A49E5A666A88B75BB2E349B2560339B33CE03735B9E958B64]]
FP4div2i = [[1927E769BCA92569118E95A1D9786ADE7956E06D0723C6D17397522E94BCC4389E48A406CDDD98C5ABDE130780A8D254556163A5A0EC05337BD01395,30E7DB66DAF78893F8308057F643AF3C25E8A5AFA5BAD0628E10356395ED193A63B6EB383E6292429B72930285644C02D8C4517922AF96E069495802],[51338908FF35CF7A3A3B4642DAD70C98785FECE84F02BC2031236BFC8B475F23CCB2F0F7ABDD314A173E1E549142236C9C1F50DFFD5CC22AF28E6FD8,0809717A4077CAF1842E8FF607823C7225FCDB9873C986DF83F78E15F33F1932B516B47493CB4CCD5116EB765C69364AC06736679C06E6B73D2B16C8]]
FP4inv = [[219E646F17E3B6D6F0E68B57D115B3F43BE43D5F1330312C5ECD9A747D8B9E795B83A2BE93C8964939B1D1940E12E4BA297900AF5EDF4D3FE299B3EF,1A5E0E39FF1D920EDD67F7A320A86E951E61C373CCE1A4BA3B514B89FB29C47987A440B82BFACD53B3CE19BAEB5E5683821A186A36191C5EBC491B10],[2477FA75226D3DDA3CC041E630D8AA8EE427B1F7DE66982A02796E9D312D562D0E87233F4E7438605FD4461BC69D3520FF0A2556CAE9405991C17447,25782811E18D7117EBDC46EE4F68077EF8A50BFE80A1EBFFD20C17306DD9232ECD5A226DA06D124EDA59B606A56CC6C490DC1C39E134F4A682FD1623]]
FP4mulj = [[1ECE063D72BF3147CE7C80DC31B9F50D1C17FA9FD8F134D22733DD7511880642B6594BEA8CD6C8F916641EDDD0C3C31A32652183BB4097DD2E46685F,4FB5E1A44DB6B9DBC6AD013427FDA4494200A04F7EAC0534B54412D8A7751F7D1A103722CB395B3BB1D6B1E056280F1D0B2972FCDDF02EBD978FC061],[24950BC75F5F02445B065B2669AA6813293188A7ED9C9AA05695EEF34C0422F88BCE1E418C08F23E6313996F1A6C7690EDDC0D3C30AAEDB9DAB1AC88,2C9E7D419FD6CD35DF34EB1C712CA4854F2E64406166217FDA8D7D093F433C2B40E4D2B61FD43F0BB42A84E576D5ACDBAE4343A3CCB1D47117DCC350]]
BIGsc1 = 07862A67359FCB154CB9C61983CF51154B2470B387D50BC79FFD37C331889E0DF843DF6070BFD1608C74C90B118C44E559F872FD1BFF862F03C63DEE
BIGsc2 = 37
FP4pow = [[42F87C78E92AA7D5C403719F77EC8DDF978587B6BE61965C1A8D2217C7BA6A7037912553B01B0090E1C93374F73841EC6AA3ECC32FE8FEBAEEDFCD76,2F2DC8DFE9193759C78A180D4DDA198365A20FFCF33794DDF4A7D1DE0D8F41E795DEF2E2FF7B3A24FCD202C8304C994C44B1223591FE07FFE19BCFBE],[512CDC12390AA16E058DB9D858C9913702DB699F1838930D74F1C7E0DB952461B87578E1ED7C5A64AE5446A1DA5278856A68963B00817DE389D4F9FE,231548A300111292344B5327517913334072D10F49F74CAE67C8FF0D4D683C6E8CC3E13DEB301A7B2E96F08D44FBE3EF6B52A6BBEFBAB469F9F0F3E1]]
FP4frob = [[24950BC75F5F02445B065B2669AA6813293188A7ED9C9AA05695EEF34C0422F88BCE1E418C08F23E6313996F1A6C7690EDDC0D3C30AAEDB9DAB1AC88,28BD833663F5F884A46601520F1289F295935641EF1351B58E532115E4FD255BF13C0C506A5E4C63683238D12F6D530739E9ED372B92ECF6322951DB],[12EC49EC17802EDF649DAC87FA555FFA94B9CC66034EFD05DB7C517DC1B7E6F5A014A2FAC3FAB37028812347F893B5C4DF218837EEEE79EA50038BAE,036944640D56E3FD10A311218BFE92EF010875B499A81E61A4DF539DB6D96217F66EA8D778891A885FD68B10769C5C647E5CCD0F4E0BACDD5620045D]]
FP4_xtrA = [[0880D2D43275B8EC443A5E624A0187B671A3E398C5C7B0ED15C742FC97926C5BF657E21F23AF07AD1450CF1A0CECCD15DEDAEF6F3C997BA0461771D2,204697A8C10D0A072F877D8CF3FD5197BD40B916A103748FC51DCC8682D5D7CE093DDAFF26886C2E87F985DD7385D313FC6C7451E34C9B74F1E29F2E],[05594AB50E36CC0C3A66A90ECA9FC3E2C08F40B2F8352A2ACF769C84B6D614E7C28271C797BA5ED2DBC48C1CC985C0E3AC3F7243EBA895DE4ECC9CBD,22D2B7892DE3353EC2AA057887A2CC61B1658EFFCE43341EC681B2FA91321832930705D62873D1FD3D7A30589171805B1B09533D6B211E5460FE55A9]]
FP4_xtrD = [[2A70E8DB71021F9CCF498D67B5A2A0DE14F4E7D34CF7C55DAE7427C4BE5B53EC7C8FB7C63A64968D4DBF174ABD6B0F8473A86C524ADD80556FFDD671,1622346F2FA6CCEC5A02DD36F088163649DD50C333E107B9D4458B6D954473686C3AB7C9E0DEBEABBB7EE71C8C56BE1C0A62FDB2229C277AEDA6CD5D],[3EA95A72D2FE97A29E446868B4D345FA13B64C2FED4A1A59F9CFBBDB1546EC1CDDDA883B1F4762D50B1526EBCBE18B0A837B1FF750B66F4DEAF05EBD,46BB1D57A82DB4D60B0CACB77E1B6A312BB646FE0BDB23FC3752D854B95C1B24ED8CF78F7D3E81F342FCCC1D95A73202B48F36D631723F3AE7DFDEA3]]
FP4_xtrpow = [[203A045EC5C4EA987D24D7C6DC913E6335B5E25F47D9DD2ACD215EF0A8FDA35BF5229D44D68B2585576EBBE20A66C6394A3CC8D695E9907A2D60E79B,2D9E0DF18BC54E7FC513624E0F28C5541A8C68E0CEB0AE2554E1EDE0A953A7A9BD7F76EFB697AA359509C9ECC326490F518F9741F93BA7E8452696D4],[021E382A8C3BE34AD7D7D2669482FAB665BF803FDF36819E599E0DFCD206BBF504C69A8FC7AAC04CEDE45491C261C6AB5E0C931A66D858C06217EFC9,086B037802C4D98413742809762D2B864825E1E35654D749CA12993159231B25F63E0E74BF4455B676A1B7E16AB015ED7F0DD2B0E56C6CAD80AA2805]]
FP4_xtrpow2 = [[4FB357EC343B647268CDED620A953C061A8D08BFC6D09E051703F846F0E35E52584D5A32F2D33E59314F74E44649E4035A7050F1942DB7F11B6764F2,4EFF1AC4A7D090E78260C681EBD6C10D79FFE78CC4A7F5D9D2001D7C91D823FBDCFF23DFFA931874C6F35A928DAE9419718CAF8463AA96EAF9B0AC5B],[1CA236EEA0AA44615DC95803C2F27818285ABAD5499F28DAE22ED216632F28E3CC7F0814B78902C5AD2BA9BF70BE98FFBAFBD4305D510ED7908B5D27,4839828322909346E325C29434B0982E7A34162230B8AD0A9CE3825F8A63DD1CAB94690B76FF55EAB51EB44895A8FCE73D6C03AFA9DA4DD05ECB2895]]

# test 4
FP4_1 = [[3061E6E7D2FBEAAD80C9647E24A69B9231987537149CAE6B62A3F1C85FDEE51F4FFCE0C9FA9BD6BAF6C39976B7F7BEA70374F5AB155DAB549C90005C,1DC0788ECB1B761B9D184B19BD5FE9E84A050397E5BDDB7F44D34CB76168806E44BCE7F388E02E9F7A2E9E1A8D73726E31520EA2892F0BCAB6ED1E7A],[279C7F3F2FFC30D8DF42DB30686C5233AE0F538DE74238B061CCC82426B36D41F4C01931A23EDC8E24EA53BCF9F147E85C573D376E47AFCD3F64A0FD,4C80043BD6B9E59F3A39B70C966B4E34F2F0AE761A25FE85EA8B0E2B130B1E91332EF9E0179B21C571C686D9E9A2500AFCAC9D7D851F43A67081DB9A]]
FP4_2 = [[48904C315731D2B0D1AE80993FCC7D357F0ADB0A766C62689AC516A69C9867CE9748DB9B5675D9B42A188312AF1D568C0D37EAF5E7A32A839529BC4D,3BA898F237518BC6E6FE78877AFFB596C3F5080D6773E43FE3D05C37650CC3270A0195E5B8C9BFF5A0E8A35A1CE464438B141DF93112D10F93F8611B],[432EBCF5A627F61761FF25EC4F83A1334848067CB9C3B900DD33753A8CEB071244246908ED2EAB05C295FE728FCB56A31FF4D2225696A5792B6EA1BF,251FB3022B10F9569FA1D031E9919520EDF356B63C53567DBD48EB002E6578077AE02BFD07D090706444E49FB8293EB092815A377E4DEB9DB6F7A8F3]]
FP12_1 = [[3DA100BD2CDA1516D3D1344A304B891D30B611D3612A04B2015F70ADD29761D6704558C459B9EA62B98A645B5E5A5A4B8EEB410191799057FFDF149C,22C94D73319CB4A443E84EB2CBBD663A2E3C3AF96A691D107BE1FECF446B29DFFCC62DC1885AE7A027DE39DE909ED557206A04A3C0DFF71412D65941],[43A5A81C337E1D495A97A2B7C84E1C97960B5EA11F805F70CD8BD57407484AC10A431BD219B6FC643345B3C9B97B42F7F41915CFF37B9C35ECC69FB0,4426E749FFBF617423437D355356778C778986E8C70068FB5F0F66395CC49313BE29DD1E9623C2CE9DAB89BC7F06F32580FAF5E52E1F19118EADA7]]
FP12_2 = [[3DA100BD2CDA1516D3D1344A304B891D30B611D3612A04B2015F70ADD29761D6704558C459B9EA62B98A645B5E5A5A4B8EEB410191799057FFDF149C,22C94D73319CB4A443E84EB2CBBD663A2E3C3AF96A691D107BE1FECF446B29DFFCC62DC1885AE7A027DE39DE909ED557206A04A3C0DFF71412D65941],[43A5A81C337E1D495A97A2B7C84E1C97960B5EA11F805F70CD8BD57407484AC10A431BD219B6FC643345B3C9B97B42F7F41915CFF37B9C35ECC69FB0,4426E749FFBF617423437D355356778C778986E8C70068FB5F0F66395CC49313BE29DD1E9623C2CE9DAB89BC7F06F32580FAF5E52E1F19118EADA7]]
FP12_3 = [[2B3ED8FCCD523B576F9225BD7083073E37E9098DAE13576164C20BEDB28CF4633F49509D12A5CDAC7820F53246B0D8C2CD2E0FA2DA4F892E8B48F055,2DC1E4E511F5CDEE2027A7AC92532D85933C6EB7BF8E9B9D96DA2CE5367E26AF2AE7A029FC0D340E683A52C5FB3E9FCA91E94F25483C68C5867AF7EE],[3621266D1DCD48BBC79429C617E7B435D5D527F9148EF40F35834139FD4D45EC937B31644CECD08D2B284DD356434D42A743080101426763DEA7D264,26B57DDD1F694A274539A1A240707D0C8FBCE8BC6CE1F6373EA8AE217D8A6BDFEA28A5C09ACBC1EF7E4799F9FC1C75B524552DDDCE3DF76945E3FB79]]
FP12_4 = [[3525898B70348F59030DC533A7329B1769E65585204277CCD98C63F3AFFC5BEDD6FF9672D82268B301D48660C0C341216EFF7F617AB4F5E18B9C0115,3FEF8601D58BEFDD42AC70E6C7F8BBA4721A109649D5BC97B16FA50418399DA72034B9D1FF33036535111AC3682138534B3DDC487FD9296909094FFF],[19C5983D7526F0E16D9FC135AF7AAF07285677C2E5F4025E218C7D0250D33F8C43DBC68D0FA7D2A1746B9C0F541AE6015040A4C2360CBB0BF1540D7F,35A017AFCC3A9F4C1C581482DECC049330E00B6796ED1D29C23415CD70DC8AA585A73A23847DBE0B051D48462B182109F891EF7A29B542FFD6B8F645]]
FP4add = [[239632A12660F7A3CEDCF8A8E433EA4FCBE195BF3A8F9D9E94886A4FD836EB66B524DD5EC6DF2500047F5ED2C0D21550287FAFC604BC1470E7B3A77E,040D1108FEA03C28007BD732B820710729385122FCB84C89BFC30ACFA234E20E1C9D9ED2B7776325FEBA83BE0414D6CED438FBC0C1FD1B7300DF6A6A],[156F3BBCD2576135BDA714AE37B0C4EF11959F88508C7E7BD61F9F3F8F5E12CD06C3A334053AFC24CB239478E3799EA8941EDE7ECC9993DF20CD2D91,1C43B6C5FDFE193B56409ACFFFBDB4DDFC224AAA05FFE1CE3EF35B0C1D3035117BEE46D6953926C6B9AEADC2FB888ED8A700C6DA0B286DDCDD736F62]]
FP4neg = [[24FA199030D0DB0D02D187F05B9892E5B329454B3BDCC4CA063CAC56C4617C67E223FE3C8F96B4B42599243FEE4B413BE4B83B2FE2E71612AD7614CF,379B87E938B14F9EE682A154C2DF448F9ABCB6EA6ABB97B6240D5167C2D7E118ED63F71301525CCFA22E1F9C18CF8D74B6DB22386F15B59C9318F6B1],[2DBF8138D3D094E1A458113E17D2DC4436B266F469373A850713D5FAFD8CF4453D60C5D4E7F3AEE0F77269F9AC51B7FA8BD5F3A389FD119A0AA1742E,08DBFC3C2D12E01B49613561E9D3E042F1D10C0C365374AF7E558FF4113542F5FEF1E526729769A9AA9636DCBCA0AFD7EB80935D73257DC0D9843991]]
FP4sub = [[3D2D9B2E7F96DDB732B5D05365194CD4974F54AEEEA9BF3830BF7940E786DED7EAD4E4352E588875E907D41AAF1D67FDDE6A3B9025FF4238516C593A,3773E0149796B00F39B4BF00C29F62C96AD1B60CCEC36A74C9E38E9F209C1ECE6CDC31145A48FA18F5A2B87716D20E0D8E6B21845060FC226CFAD28A],[39C9C2C18DA1007C00DEA1B29927DF784A8907937DF7F2E4ED79F108BE08C7B6E2BC8F2F3F42BCF77EB113011068F128248F9BF00FF5CBBB5DFC1469,27605139ABA8EC489A97E6DAACD9B91404FD57BFDDD2A8082D42232AE4A5A689B84ECDE30FCA91550D81A23A3179115A6A2B434606D15808B98A32A7]]
FP4conj = [[3061E6E7D2FBEAAD80C9647E24A69B9231987537149CAE6B62A3F1C85FDEE51F4FFCE0C9FA9BD6BAF6C39976B7F7BEA70374F5AB155DAB549C90005C,1DC0788ECB1B761B9D184B19BD5FE9E84A050397E5BDDB7F44D34CB76168806E44BCE7F388E02E9F7A2E9E1A8D73726E31520EA2892F0BCAB6ED1E7A],[2DBF8138D3D094E1A458113E17D2DC4436B266F469373A850713D5FAFD8CF4453D60C5D4E7F3AEE0F77269F9AC51B7FA8BD5F3A389FD119A0AA1742E,08DBFC3C2D12E01B49613561E9D3E042F1D10C0C365374AF7E558FF4113542F5FEF1E526729769A9AA9636DCBCA0AFD7EB80935D73257DC0D9843991]]
FP4nconj = [[24FA199030D0DB0D02D187F05B9892E5B329454B3BDCC4CA063CAC56C4617C67E223FE3C8F96B4B42599243FEE4B413BE4B83B2FE2E71612AD7614CF,379B87E938B14F9EE682A154C2DF448F9ABCB6EA6ABB97B6240D5167C2D7E118ED63F71301525CCFA22E1F9C18CF8D74B6DB22386F15B59C9318F6B1],[279C7F3F2FFC30D8DF42DB30686C5233AE0F538DE74238B061CCC82426B36D41F4C01931A23EDC8E24EA53BCF9F147E85C573D376E47AFCD3F64A0FD,4C80043BD6B9E59F3A39B70C966B4E34F2F0AE761A25FE85EA8B0E2B130B1E91332EF9E0179B21C571C686D9E9A2500AFCAC9D7D851F43A67081DB9A]]
FP2sc = [3E7CC342FA50039935FB74D82BE3E8D1B5B7EF8B6F313CB7DFAABE225197A59B8FC3AF4A36653214D1BF16A19D62F3B9A0C412A2EBC01076D53D427E,2B8CE5B2B90DB798A884AA1D775A845E116CA7ECF86AF91B776B204051F7EB0F317CBD3E5AEEE8B8E9774BE17B01943B2BA654C5BC92E6773F3598CF]
FP4pmul = [[2AA921D9DA87D8DFA9B37E58D9034276EEABDBD9E5A0176E5203C74AD295C327A0422E90232FF23715A54B915C6A5B82F38C5DB09023B0889E629991,047E79C7AA604EA893466B7DFEF3075E2F0C8418E4220E86EC5528A78566729FE5ACB04E6529A3A9F8AA687DB3EFA874E0C48BFF53ABC2C73354C115],[4471A5D99A8FEB99372E1182E4092AA81FAB56C55D306A24E18C7B7067E1A7D56D8B444CACB67CFC57702B06C96CF42BC16A59DF5D2A5CFD503F75CF,438C1B87D548E686DBE323178EC31294AAD1DB730D42B78DEE21CB9923F6A3D3C63BBDACF51AD3309280F81633E0E2EFA8B4DEE779A18ADF48683CED]]
FP4imul = [[3BC9B43F7526FA4DFEC1410BEDB4A43EB007A522ED5C980CBF0B3739FB5C4DD6BDD5C35765A0F8C1C7EE0EAD81A43C122231B02647D440968BA9EBE9,03E569345D859C9853ADF4DEB7E08F40F94D504560C01F4865994806FFF91FC39C15D8D4106E006F522F1C9902175767ABC8FB0CA34861F8DAC14643],[21797D458C27CCD01A2DA522B905C823256C4027654D36DBBC85BA4D4FD9E63EAC1F6C8E5C8A0A3B52623D804790D7D62CD886CB52924E007427CDCC,3AC80BC37C942568A7774C48C2C38DAF0F4E965DAD7F1526EDDFEE42F0A098A5354B2F93326C4E721C9A19207060F05B25AB76C29ED44824BD796878]]
FP4sqr = [[29A001275B59876993F3EA1EA0CA8EC03FD5C6EF21CD60332F81ACA192B638C58360BF3D4BCB975A1ABB7CDDD3F75F7B74C7B740E05E3143D69C3D3E,0A21F57B4CBA19FE3430C83D6ADD9799AD53E2FEE4BBEEE67285E1AD35355AE596453C54F1C739F03F10C04B19BC7155BFAE1ED89A285FCEAB307AEC],[0535EA35E4CDD9F34E1523687C0A866B9354245100E2FDE11BAF00AD950409E7218FFFE0F4FA8659F71B48ACD03A12EDEC18533B5B532945B87BAACA,40484472E9BB1F9CCC8C3E80AB808721A982CCA3F825D33EFEB0E42C0827389A0A753C619DE4BD6F1751E191CC62C31D01F131DD53C560CE8DF674E9]]
FP4mul = [[1DEE7BBEDCAC253438D3D46CCD1E0A6C4A0EA9AD8088EA5EB474F76A695BB7BEA9D26A16E134BA03AC2B3FAD7FC0B6F90EA4D84900D0A89B74306AE4,4EC67EF9129F3C1C021AEB6A438E916710572E049C274A3449F02EF64CCD2581D954A267147FBAAC302501DBC4FA447FF4D196434F6ADE4ADB9D9DC7],[10B969C442093E472747181965734AEDAD32051C5F675AB3B2E4671F2C41ADBA20C9EFF6F8C80857B91CD27F1550B379C7DA6630F00018926A0EE6E4,0A550C1E3CB349905B4F03468D4CE067D364A6C1C7DAA3B6EB57EBC58B2854E774EFCB188CBA83E3BBC8D375C5A8650690CFE8A31CBBBBBF9A688A5A]]
FP4div2 = [[1830F373E97DF556C064B23F12534DC918CC3A9B8A4E5735B151F8E42FEF728FA7FE7064FD4DEB5D7B61CCBB5BFBDF5381BA7AD58AAED5AA4E48002E,0EE03C47658DBB0DCE8C258CDEAFF4F4250281CBF2DEEDBFA269A65BB0B44037225E73F9C470174FBD174F0D46B9B93718A90751449785E55B768F3D],[3E7C3FDB99E47B49B16EE3CF7455C055C96887081BDDD5F2E556B321A579E76493707C1C1638B3FEA0A388B9D01A23E5A24237093346389A44B55B14,2640021DEB5CF2CF9D1CDB864B35A71A7978573B0D12FF42F545871589858F4899977CF00BCD90E2B8E3436CF4D128057E564EBEC28FA1D33840EDCD]]
FP4sqrt = [[22CAD1F04F76460644FC9B52B48EDB5644988B9D22FE26A8862AEF254D88FBC4AF156532CCFC5A0D0AB56D7C8D6BD3DD0ACD435C7B4B943CCEDA64F7,160BEB2AAF076D3C9637AFD6E749DE2C4571F164CFCFD38AF7E39E9A0927EB342DC22FD7407BF77AB4FAD8FDF8D3F63891A7F86FABE1397F98FF25C3],[253E0D56864C27325D427FE2FC470DE62BEBF484772A6BD2D8CB1E92F01AEBBDE80683ECB864A59B519BCDE784781F3CCCBC601B53E7CB523EA69211,3EC1C44E31400265839CD69569004A61C915A31E474CFAEADB22B76D574A51D4A90D4822A262B7D4AE363853D22729D07F2DE1A736CF5AD4753FC37A]]
FP4divi = [[279C7F3F2FFC30D8DF42DB30686C5233AE0F538DE74238B061CCC82426B36D41F4C01931A23EDC8E24EA53BCF9F147E85C573D376E47AFCD3F64A0FD,4C80043BD6B9E59F3A39B70C966B4E34F2F0AE761A25FE85EA8B0E2B130B1E91332EF9E0179B21C571C686D9E9A2500AFCAC9D7D851F43A67081DB9A],[27112FBB4F0BB0648EF0D7CBF10342BD3DCEBC677D2D44F553BB9F3FE0A3B2C6CA5CE45EC1BE02AD38791BC8A2B5988A9A638226CF465B8FA9BE8F6B,4C0B494B7FDC8B7191C25FBC4C9BD5A2F0F801B2B90A09BF59F84B96A5052F2EAC80E29B5154B7615E1240089100D9C67F1BBD56B22D71A25734A43A]]
FP4div2i = [[4F38FE7E5FF861B1BE85B660D0D8A4675C1EA71BCE847160C39990484D66DA83E9803263447DB91C49D4A779F3E28FD0B8AE7A6EDC8F5F9A7EC941FA,43A407FFA9A70583F0D881AAAC976DF2011FA269E3D289D66C357E3701D5DB9B343D14B9A503B81BC7304FFD2D01A033112C0A2011F9C5E596FDA209],[4E225F769E1760C91DE1AF97E206857A7B9D78CEFA5A89EAA7773E7FC147658D94B9C8BD837C055A70F23791456B311534C7044D9E8CB71F537D1ED6,42BA921EFBEC51289FE9D30A18F87CCDFD2E48E3219AA0494B0FF90E25C9FCD626E0E6301876E3539FC7C25A7BBEB3AA160A49D26C1621DD64633349]]
FP4inv = [[22E1AFCF190D295CDFCE0CA894688A709CC3CD95C2567D7E8260EAB2E80ACC0E047C6B9C514FD4FCA61E435F9125B3AB6411A6D2DE2E93B30D15E481,0DD1C9B5947B21F180E80E020B4447C2201F73CBC72A01ABAEE780E74BA28F9F68A6E9FB5544889FDA430EC4A98B319ED5AE7E53FB435045795F5050],[BD6F9D894F3B20AD77A65F29283229FADE9DF3AC4601BC8A6269CD20ED1AD903CD463EA40376881448AE19488001C2EE7773246148F0F7334AA18F,453D6B78D47F5AA7CFC7A0021A8D15B6104CACDC11D4C51F089AE416B9A2F50888E5343583A9BB03FCEA92B708E6C11F3300C2658C7D7D896697E4AC]]
FP4mulj = [[30787B7B5D0F10F428A41092524032769FE05F9A1D95AD5FE022581837E8B037F3B1FE5814D64637CF808A99B691F7C047D7D094E16D2D8E18E8DA8E,1EC0830302E950BD95E1A5CE7E9871F0BC3E4781B0EEC400E3773830157E2A4BF5CE340B2FA772E47A541CE03D50981070D6A9D9FB22320C65E0676C],[3061E6E7D2FBEAAD80C9647E24A69B9231987537149CAE6B62A3F1C85FDEE51F4FFCE0C9FA9BD6BAF6C39976B7F7BEA70374F5AB155DAB549C90005C,1DC0788ECB1B761B9D184B19BD5FE9E84A050397E5BDDB7F44D34CB76168806E44BCE7F388E02E9F7A2E9E1A8D73726E31520EA2892F0BCAB6ED1E7A]]
BIGsc1 = 3BBF78E307974ECEFA3C2ED46559EF7F8A77F79EC67BFC138D2D14B9BF9E49AB61AF3B43647138FB4DD44947736DD6F353BB4213460ABF94E16CA2A2
BIGsc2 = 1C
FP4pow = [[1158976B4B3DCE611C1143DB54762A08E79FD0570BC71C8FD68E906FAE0AB9124740449B52A53C423330E89DBD37808BA5C5E5766DEE1DB7448FD272,3E7F73CC873B76249D727C7D90891BD097C8655F1643ECC77F7A6FB6E872B01885865553C6CE3D106CCC166E2BF68880F8F4FFFC31D10A540009796B],[1B575727748E75C42353DB80BFF60AB690401D769FA8E82EF070E78F2A1667153BE1FE198000636F789AF2FB9B8C98FAF19110778F04AE7C4E71D026,44D3EADDA3B944DE8399F51BB63EEDAA9F37F03F805A61B970C0E1E23AAF4ADEF957609729CF8FB53C62060A0716FF8BCB35F3AC963EDBEBAE0A7290]]
FP4frob = [[3061E6E7D2FBEAAD80C9647E24A69B9231987537149CAE6B62A3F1C85FDEE51F4FFCE0C9FA9BD6BAF6C39976B7F7BEA70374F5AB155DAB549C90005C,379B87E938B14F9EE682A154C2DF448F9ABCB6EA6ABB97B6240D5167C2D7E118ED63F71301525CCFA22E1F9C18CF8D74B6DB22386F15B59C9318F6B1],[21DBACAF3BF4D0B6989F31860BF9BAC1707AC371B1EADBC829B699083B02E84CBB9FF3765E7BCA3F52ABE60642FBF341EA9EEDF8F79990A8BC75E7E5,51DF4952FAF869200ED5E6EF49BCBB89BFC8E6A6CAB4C9C88157C113454BFA85C032937C215E56C2C0E00C9407CFA143175000D635747021B748ADA4]]
FP4_xtrA = [[24742B436BCEEE2646B0A05D05B8B236B7103AE8F272C537C51ADB83D8A4F76A02767699BABF2B1521DBE21106D32FC788917A191223DC6EC500EF7A,11E1E24FA456E78FE07F2C4551E780D0FBCCA053FBBB85A7E37B1BDF4B463A11EA13E85AF01C68D36D6ECD44B48FD20B9B59A3A556FE112957BA5415],[2C584D6520442FB79D0C7E6EF1D1A0311324F5D9E07CFC96B8437C10ACB1CB35A7B390817C4506D5FAC83F7F311745025F76D7F9FF901C4C4E26BA22,3979853894447B22E464683B655F74CDCB1CC5F84943B7127F29BEB0A244F6CC096E3FD0163D1C60B629A6604E411AD73A965861BF9231A71DE5BFD2]]
FP4_xtrD = [[1E3833CFB92E77C915FC0D90D7BC8613C1669703490D7691D31A672FF738D00E1587DCAFE0C67553499107A70A4AE210560AFCC5ADE79C01E78251B1,23FD04D5BA4FF3817D9B1E78705CF240FE0B965169B9AB1D51BFE65D96A4BB903EEC4B746A396820671041CCA5188C5C4537326E800F09A0875C5323],[546EE8B444C63BA50C9AD9C94CE32AD2EF72CB6CCF676F41DF4890F5E26AE46B0B10324439783F7640EFF026C41CA2BEA4C6CDAA37E288E03744ECC4,2E904BFA8F955F6639C9D3BCD7D8C69BC5E0B48B8B7EE9E00205C443E5BCB2AE0C917214B8B5EA1BC22573D85321636D2AF00B226D7A654CDAEE01C7]]
FP4_xtrpow = [[50D89EDC8B74B6D9B1874AF6A1032494E1801F55B9ED1BF2E1FC6CC72DC0324F2FB068D3A1836AAB488BF57E42721E1F2D41191915337363A937CB7A,4C58AEA32EB75D9679D857DE1F8107EB71B7CBAFDED7A6AC4596BA1196F6ED30A44B25444672AD802F505239FD4E2B2BC9F49C6C16348241DCC6299D],[1FE519667B972E5AA3C2340C97B9DB016AEF1FBB0A7D79FBA0B95AE7D9FF11A18C5050788A019C932694C43E2A98CF6A9F95A0F3252ADCF4A4DB2C31,06B05E985F300A6367B8A6F656D7369E3AEA961D1524E19F53F05172F0028924CD4E55D8C15D9C5DCA7F8A24F0A237D45519D312B161ECD47703E9DD]]
FP4_xtrpow2 = [[37BDA3FA75E23AB5241DB9CFA56EFBCCB82670238DC212A3FBEC683E38822CFF748D5DA68F82A66F4751610E035490E41E47C854084BAA382CB8AB3D,45E97C06FA0B3B977B9C8247135E0B2BEC632E101F60C66D75D417350E2D0C879FDD4D7080092935304B839DEFD38A99A255A8D222A4616F48EB1B49],[46B7371825188CBFA25F41ADBEE2FA1350D88292EEDC3B1452B0549E519C8B29DA2D674DE9131706027E30C6E34A62E1DD717584E9A5F51D4FC870A9,2C279BE7AB00C062474878B17FBA8E69BD0676AC56EDD6888A5FA675B4F32A76F654B6ADCE2F188A051C5755AC52E3CBA00B0803AC6C81125AC1A8E9]]

# test 5
FP4_1 = [[47943F15F60A858CA91FCD34404907DF1BB5AAD7739029DE96FA6E15F2CE03A04F53E9C5A222E433E146A22B9FD47CD05C979B5D04F372AC4E5D2CE6,4AFCCD9A01DF5810E32E8E354C9D1B7A3A6926F3535079CBC81E3F2EB120807D1A3EC25984A710CCBBE058F61F8BE2CFBDC5F866D8C2652BBAA635CF],[0D4C469C0A57144C230C72040EACCA36E3F87A9143F40839CD6EDAD67DAC8FC3A6E22E0C68002BF35BDD9989E78B30A68D1FACE63197940DD07A8181,53A41E47FCD06D04334C55E56614F0FFA2C47652E9B9E7FE5A4D5402678A5D40B58FB1FD82FF75D9EAE24A355ACFD693F725A288F2E6E9BA5E4D5BA0]]
FP4_2 = [[5046BE078CF11C64A66925A2D158A8F920810C07B0B8D65A179EB5A79D52A7B6BA5DFD9BB189029B89ECB90DE2B80FAE0B4EDB5D1FC33EAE8DCBDD0B,399FB62B29D53A860C1990279418EC0E320ABB4DE8BD1CB6E03FB017003E8949BD138AB305D4E264128B2CF996D86A8235598234FCE097EEF8253C8F],[1A9CC10B171672668B879558274C043F3DBA74D855C9D3A4848B215D4F14A466A2B9940AB74C5637D7556D129C621911D372332519B17C4BF749157E,0F11918A9CFDBBC21FA6255B38E9DC00E274808D24EEB7F4DDBEB992DEB3109CE049153D9F7DDBF7EF2BF6C1CC474C3EB050B679DCE14109BD19D9EF]]
FP12_1 = [[28ED2181D1D239C5353744EB7FF208287AFD2F78F5BA8EB56C62629303333D915E902338D47914F67AFC74E88E2C676109982271036A7D9874D08C9F,13C77C2623E81700FEDC57F0A85929D22A056BF3EE016EB19ADF6D4E371B6E095510029E3A93BB77EBC729371BCE83641CA9DBC731D79F5D168DB930],[37BA012D19EED94A9271251C7F860C0D343A310DB61263E395DA783D9F5344CCE86EC1A4BA6C2C85EACDE6236AD7643FD5C5D614F00188C1953B6194,3A1A8BAF8CE538C9426534E23155CA58849A5DD59E6D20616C0EF2FE0AB606880BE7FD8CECC6069C892BD8875D45F99EFDD75120F2B2FE2FD60AD4EB]]
FP12_2 = [[28ED2181D1D239C5353744EB7FF208287AFD2F78F5BA8EB56C62629303333D915E902338D47914F67AFC74E88E2C676109982271036A7D9874D08C9F,13C77C2623E81700FEDC57F0A85929D22A056BF3EE016EB19ADF6D4E371B6E095510029E3A93BB77EBC729371BCE83641CA9DBC731D79F5D168DB930],[37BA012D19EED94A9271251C7F860C0D343A310DB61263E395DA783D9F5344CCE86EC1A4BA6C2C85EACDE6236AD7643FD5C5D614F00188C1953B6194,3A1A8BAF8CE538C9426534E23155CA58849A5DD59E6D20616C0EF2FE0AB606880BE7FD8CECC6069C892BD8875D45F99EFDD75120F2B2FE2FD60AD4EB]]
FP12_3 = [[4CBECE28D1F11EE06CF159755009F3AE9B9EB570F0EC577FD9DBDC7BCE75194FE08525E8302A20851CBCDD537F14A9EAD40D91DEDABEA7EDCD80B116,0E7A2AC4FF14C09DA04AF9ABFD99AFFE8E894CB46C366100CD1BF3381A00D8B92988DC946CF920505BD2C36127C40F240B12489E6BAAE2E2528A2423],[343F791481396C5B76F79DD90609BA04C30033584AB1CCBC216D1C109CC78DA8720381E5B867FCB635D72BFDEEBCAD70346236CBF91B02974F0C1B05,2D0C8E6CB51CA3B2EAD9B668A784D8D60AD74D3B505B2F58FB143D9FA51629CC528F3914866A491054B7DC7C11189167DD0B05587A38AB246D201F8E]]
FP12_4 = [[2E58B19A0FEB3DB918D159645225DB6922D52D555E8AABBBBD495B42533F6D981B89D857E3493E009F0FA9F6847301FA7542D88848DCADD0F15D6D9F,54DDF459ED193B0FA3BB20D92F3EABE94D186157C0A48CBC1436716BE00AB13E061EBCE7F2C5FD2E444609DA0297D53A913B91CA0946D2D071D9C80C],[201803169FF4AA168EE2CDB2858B7D5AD2A7BA1E14E85B10C0EBD023AA4770B07CA2A1C3452F2536A15404E66DFED2FE01906AF8B53DC062E239520F,14345C7E007232DBF41D26DE713339623175A67F2B478B729D76BA857A024E2BDEB3179649A57DEB537CBD1CD3DE68CC0B5CE0A06ABEF3BDF3319D9B]]
FP4add = [[427EFCA57F2EDC36CBEE0668916282605774FC5CD3CF8D0345B8859E6BE049CFD791085AC9795B604ED69D82DC498C9B7FB945DF2C71EFF39222F4C6,2F40834D27E7CCDC6BAD31EE6076D91087B227BEEB94234D3F7D51268D1EA83FA5316E06004967C1B20EC83910214D6F0AF249C0DD5E3BB368C55D33],[27E907A7216D86B2AE94075C35F8CE7621B2EF6999BDDBDE51F9FC33CCC1342A499BC2171F4C822B3333069C83ED49B86091E00B4B491059C7C396FF,0D59AF5A9601630BCF578ED21EBF9E88A0773C5DBE2F2CBDCF2B6F7621FD0C5663B7E834984AC662BDB1834080D422EFBF492827D783695CD1612064]]
FP4neg = [[0DC7C1620DC2402DDA7B1F3A3FF62698C90C0FAADCE94956D1E6300931725DE6E2CCF540E80FA73B3B161B8B066E83128B95957DF3514EBAFBA8E845,0A5F32DE01ED6DA9A06C5E3933A212FDAA58938EFD28F969A0C25EF0731FE10A17E21CAD058B7AA2607C64C086B71D132A6738741F825C3B8F5FDF5C],[480FB9DBF975B16E608E7A6A7192644100C93FF10C856AFB9B71C348A693D1C38B3EB0FA22325F7BC07F242CBEB7CF3C5B0D83F4C6AD2D59798B93AA,01B7E23006FC58B6504E96891A2A3D7841FD442F66BF8B370E934A1CBCB604467C912D0907331595317A73814B73294EF1078E52055DD7ACEBB8B98B]]
FP4sub = [[4CA981866CE62EE2865193FFEF2F8D5DDFF659521350C6B9E83C568D79BBBD70C716CB307ACC6D0773B6A6D4635F6D053975F0DADD74F5650A976506,115D176ED80A1D8AD714FE0DB8842F6C085E6BA56A935D14E7DE8F17B0E1F7335D2B37A67ED22E68A9552BFC88B3784D886C7631DBE1CD3CC280F940],[480B8608F70D67A01B1FC91A679FF46F8AFFC03B3EA3A7CAB1C4579852D84CE4364979083AE6612AA0E4EA2DF16C1777A1DAAA9C102AD9292337812E,44928CBD5FD2B14213A6308A2D2B14FEC04FF5C5C4CB30097C8E9A6F88D74CA3D5469CBFE38199E1FBB653738E888A5546D4EC0F1605A8B0A13381B1]]
FP4conj = [[47943F15F60A858CA91FCD34404907DF1BB5AAD7739029DE96FA6E15F2CE03A04F53E9C5A222E433E146A22B9FD47CD05C979B5D04F372AC4E5D2CE6,4AFCCD9A01DF5810E32E8E354C9D1B7A3A6926F3535079CBC81E3F2EB120807D1A3EC25984A710CCBBE058F61F8BE2CFBDC5F866D8C2652BBAA635CF],[480FB9DBF975B16E608E7A6A7192644100C93FF10C856AFB9B71C348A693D1C38B3EB0FA22325F7BC07F242CBEB7CF3C5B0D83F4C6AD2D59798B93AA,01B7E23006FC58B6504E96891A2A3D7841FD442F66BF8B370E934A1CBCB604467C912D0907331595317A73814B73294EF1078E52055DD7ACEBB8B98B]]
FP4nconj = [[0DC7C1620DC2402DDA7B1F3A3FF62698C90C0FAADCE94956D1E6300931725DE6E2CCF540E80FA73B3B161B8B066E83128B95957DF3514EBAFBA8E845,0A5F32DE01ED6DA9A06C5E3933A212FDAA58938EFD28F969A0C25EF0731FE10A17E21CAD058B7AA2607C64C086B71D132A6738741F825C3B8F5FDF5C],[0D4C469C0A57144C230C72040EACCA36E3F87A9143F40839CD6EDAD67DAC8FC3A6E22E0C68002BF35BDD9989E78B30A68D1FACE63197940DD07A8181,53A41E47FCD06D04334C55E56614F0FFA2C47652E9B9E7FE5A4D5402678A5D40B58FB1FD82FF75D9EAE24A355ACFD693F725A288F2E6E9BA5E4D5BA0]]
FP2sc = [37AF83CDC06AF173A70808A3720EECDD629FFDC6F6062E4DDC131DEC9129E1ACB2C184B944D444C7FC9ED7BBF6A9CF7375C1A31407C74DE30BC457DD,07BAB35F62B4471F7ADA3FE30EA50D55FBF21232FC15B5E5073D13C7D264E27141E7C98A78FA2FCB004F5CE3BC7DCAF3651EA8A150EEA41DFCF7BD74]
FP4pmul = [[328313B59C84EA5E9CEA0AC72E4919214E2B6877201D0C2944A458472A00D220CA85B344B26C427ECD650C4D54EB0F05F836FC2B05F77EF909E57817,371DD472AC41B44CF7C3A06C5B4761A350CCC8E6D96486A9C45DAE63CDAF0485CA115B1F1EFAD779FC8EC0812202C0683CE36C114CBA1F587D8E9BF6],[2B29F1E1831B4E4143CBB5186FE5A5E93FA363BE4B328D69AFCD5CB864E26EB732612559DE167EF6F247CFD5E65F4B1196E1CF965915336082F5E70C,0567EF213B845043B000EF22D01D12D375D56E3C431A5867B10CBA3D320DD920A2B1446843A3D5A28221178C4D0E28C300933A5A8A33A9B9D400FF5D]]
FP4imul = [[1E3CFAEFCCC3C50319AE6F8580669414C0917BD6DCD44DDA2147DDFA5E76E9EBA6ED0A02E9F3EE8230044F8A8C88F398B9D6DAE32AFF867B5B627417,2BDF34FFFC170F1401E97389B1B6E2813B5F6C465BD58D8EE5D7225D57C0DD5ED2986C527404A0E59A6B2AB48B668B963E904F0A7A3B50790C8697BB],[35311A70295C51308C31C8103AB328DB8FE1EA450FD020E735BB6B59F6B23F0E9B88B831A000AFCD6F7666279E2CC29A347EB398C65E503741EA0604,4E7C77B7E7DB62E14260924A17963896DCCCA9C4B57B46592E9375AC3168506D3FDC2AE26D66351A5672EFB178765AA7240EF792E2CD62B39B232EFF]]
FP4sqr = [[23A156261573F6CE1663507B63F1C3E58589B052A68807D4D384109758E4250EAF76B38D26D1D2A3C0D99F324F5713459370E96BB0FAFDD7351B5CEA,4C51258E719F7A935966B496B76906E44CBD0FD25BCD03BDCFE1217C7252A285B128580D9F011D0E0B39794DF4050D9C20F1ECABD0DB7A862805B823],[35639B0AB3C6741A09B6044BC81F98A5297A0A5BA8F2F01C7DC05ABF96C30A49333DDF3146AF4A3C1B456C8F98A84D916A53A7DE21CAE1FC8758DA85,0EFA098796FB254B1F608D417642D5152A6E6028AE6BFD49CA06126383086E39DF5E85AC79D3E9288FFC46FABA29B509C4BCE7D991A104AC31EC91AD]]
FP4mul = [[51D58517D979ACF53B8DDCB57BC878EB4BA172D3B7FFD133EA3938D54AF3C034FE7E9378AEEEF833507F24A1D48B57675F8ACC4618552F7790878F0F,384E61F6B591AC639A67A0B8EC66D7851B5BEAABAADBC2E4D70CACA6BE63DB6343DBF28B6F60B9CE42E1892BE82322EA5BC8F8FC7E86942EF1B10EBB],[1AB2761F15DF188CAE1D759489DA58915DEAB4AC1A886B2A41B0DA131C071090778ECCD6C68016A6DD727FB10E58F4B7EFC7CC419007110182D6ED20,7D7829AA1BEBF7A4A8A6CCCAF75B3D075F36BAA44137C3D35864E25EDA5C8D9961B1305A141F1898D9B4AAC808381FEEBC86B96A9960BAC53CBE36]]
FP4div2 = [[23CA1F8AFB0542C6548FE69A202483EF8DDAD56BB9C814EF4B7D370AF96701D027A9F4E2D1117219F0A35115CFEA3E682E4BCDAE8279B956272E9673,502C670902D60EE5B364BD51E66E24F90F9570BAD1E4F680987F6EA6EAB07102262FD0B0076CCE1DEC1E8B5662E7715952F994A0E88393498256257D],[3154238A0711ED035353AF394775FC57645D1A89CA36BDB79B27BC7AD0F678A56C81868979195BB13C1D2BA046E71844BAA66EE094EE2ABA8D404B56,29D20F23FE68368219A62AF2B30A787FD1623B2974DCF3FF2D26AA0133C52EA05AC7D8FEC17FBAECF571251AAD67EB49FB92D144797374DD2F26ADD0]]
FP4sqrt = [[06350FAA68BD6152FC0D17C8C6407C47542F28F85125FDAFF318E7A225A9AE078B3B4FE7D68496BFDA57FDC8A7516718D0BB69F54DB85F36F3BB5E7B,527A4808FD2D77644E8E43BD5BA025310C83024CD19263D3F0FD7FFBB3BB3590F994A1D96FB98F086827000BCB582DE18994A8802FB07910CFFAB421],[2F1B6217D1E69A2AC1325E96D761F93CF1EA76B596E4A50E94CA1ECC173C7A643D69885E0799B5F7FDE16B963313B1C4934BA09F70C46F021A2D9FD4,1A9EA8712BDC2CE38514C90307FCEBC8866027BB4F3DE3AAB4A381F59885887D5A455E7DDA87AD28B83FDEF985C39A4463D0E03B35D204FA9E6157D3]]
FP4divi = [[0D4C469C0A57144C230C72040EACCA36E3F87A9143F40839CD6EDAD67DAC8FC3A6E22E0C68002BF35BDD9989E78B30A68D1FACE63197940DD07A8181,53A41E47FCD06D04334C55E56614F0FFA2C47652E9B9E7FE5A4D5402678A5D40B58FB1FD82FF75D9EAE24A355ACFD693F725A288F2E6E9BA5E4D5BA0],[1E9A861BFA0E8BF18459B77D86537A70B8AE8BA43B33983A7B1C0792BFD7114B1BB8E68C4E4BB4C8C0651EB58C8EAFDE9918317472B88B385F7EA6C5,2C62477E07D0CC1F5ED4D6B7C649A10981BA9B4F181CE1914D02379BF1496F31FE85DBCD365B5C03FB7B3A4092FD32F124ADC6F26609D9F35B278F0A]]
FP4div2i = [[1A988D3814AE28984618E4081D59946DC7F0F52287E810739ADDB5ACFB591F874DC45C18D00057E6B7BB3313CF16614D1A3F59CC632F281BA0F50302,51EC3C17F5D4144DE2FDBF5C4BEAB38760C7322382FA5CC74BBA09E5AAD458FA38FE84F47BCC6044B967D6B40F5CAD45061E1436ED89120D7294A215],[3D350C37F41D17E308B36EFB0CA6F4E1715D174876673074F6380F257FAE22963771CD189C97699180CA3D6B191D5FBD323062E8E5711670BEFD4D8A,03688E840BD4D2843A0EC1010C54139B1EB37C1BDFC04FED3123D118BE527CDCCAEAD893E2842C98DA99B6CA7FB765FF612E5D09D3CEF27F6C4908E9]]
FP4inv = [[40949D951FFAF4A93725AD0AE44C5F6496DB0CE74F4880A7AFAFD88FB93AFD629E8749313D33D755F0DEA14F9B2712F76E4F142E16628FF929D63009,09958202AA683569D18F3B6E54EE2AAFB0F16B4CF60034295913934DF781A0F584EEFC83242C74997D096FFC7FDA167C1DC9CE659CD51237828087D4],[01B8152100079E4DE34B3BB8D1797D688E8C82F8A6FB5ED847843FBC417A355F2E37B74D4D2E59E75CC0514616714721BCCBAD17C17591B1C8C6FFEE,1E65B5FA90C019376583C3D81510C2C94157FF02C1F7BF14495F3C0D326BB477D146FDD14952296337AA1AAB427A9D757704CEE48C1BE6EEADDA46D9]]
FP4mulj = [[0F0428CC11536D02735B088D28D707AF25F5BEC0AAB39370DC0224F33A62940A23735B156F3341888D580D0B32FE59F57E273B3836F56BBABC333B0C,0B94646C035ABB95D2BDDB7AF4828CBEA1FB3661DD347D02BEDB90B9C0F68B7D2A51010360CD165E2A6326089C1807579C181E942C39BC60E4C1C7F6],[47943F15F60A858CA91FCD34404907DF1BB5AAD7739029DE96FA6E15F2CE03A04F53E9C5A222E433E146A22B9FD47CD05C979B5D04F372AC4E5D2CE6,4AFCCD9A01DF5810E32E8E354C9D1B7A3A6926F3535079CBC81E3F2EB120807D1A3EC25984A710CCBBE058F61F8BE2CFBDC5F866D8C2652BBAA635CF]]
BIGsc1 = 23374B560C7318C1EB822572271B27343AEF1CE091D7BEAD9DA2092BBC0187D1F30E9B278BFEB9868C3CA18782CDBD0A00400212DE305FD3E8068F2E
BIGsc2 = 11
FP4pow = [[0606191B0ECBE9808E7D97DB59BFD412C837B14B995F9EC123965BBFC4066AECF099886EA7C091580CE839C4A646C98EB377DF24ECEB4146C885B1A4,02AE12C21B7128BFCDC93B9CB6A70F69AA9E60CC70D56F9B4950835649BA19F2E61849B6212159ACD85A25838AC2ED03215B023C689DEB136E6B1A02],[1F1A2AB5D78128A68E45A3EE0CDB4B808F08DDB021C2E4D1ACEF864702EA39706D51F4F98E4877AB5B6C0A147E1BA27578EB19F687AF88A2EE849FE8,3847066C7F620DA6A1F6E1DF05D7E78BAD459E9A8751DFD7AEF8E697F093A39951198F1027239C2E6F88004B15D341214F937800352A6F1766386D6E]]
FP4frob = [[47943F15F60A858CA91FCD34404907DF1BB5AAD7739029DE96FA6E15F2CE03A04F53E9C5A222E433E146A22B9FD47CD05C979B5D04F372AC4E5D2CE6,0A5F32DE01ED6DA9A06C5E3933A212FDAA58938EFD28F969A0C25EF0731FE10A17E21CAD058B7AA2607C64C086B71D132A6738741F825C3B8F5FDF5C],[331239305BDDE3888624EF460D611117D0FE3F01831ED1525E3C88A3A36034AC11DF83426064C8F57913F2760407200CF121BED239C0FFCB0820BED4,42D2E3033C9172623E3BEA2A41D79C3C21DF509A41B2441A67E9B5DE7A380DBFA97C6564AC7AA1BBD49D191E57125AA31481BE08A6BF4A7E4DCF930B]]
FP4_xtrA = [[2A987BEDB7C0683729CE11BF02149313491288CE33B3FCAEF2BC45D4247260CEEF2547937CE55A499B686DFAFF501754D667FD60361FBB8DE6FF975A,4062393F74767B1223AD283F527FFAF0367CACC8F40B16165750E03482F3FB4B52FD428C97C0FF561B10488CB9620D02FF5681545BF86A90D309DC36],[3FE8C4390E7A712485339D673BCC4ECA1C2D42CCD219AA6671837C3D76F28D679EA3769B697D56225E63D7312A2634D78E65AB13359BEB730C95FBEE,3CE7477D4E20A292EEA56595ECBADF9E535D47E02611603B080E0C3529208A17E4C7682C40D61A046C2DE8B3221D45E17A4E0372548977695EF1B4ED]]
FP4_xtrD = [[3F30D8EA30F87729CB598EEFE3DE111717A1CFA8605A9A82775070A9BBC8E0DC75109E0EF6F1211A3705D6485C34196AAA9C1467979D9B4D2C6D2D74,0BB38AD271AD902C16A4849A9E6DFE67BCAC7C6E05A5835BA885413E34520312AECBB2611FE586E3AFD585185B3047DF8D932CB9179B7195FCBF61B0],[4FFC2842C8749CB24FCEE853E5792D12F16AFF7E30DB0090189E106C921C29D081023B4A16AFA222D3009FA367BEAEDE849301AA84FA0A18284DDD87,0B8A4527890273DE7EC3602F41EE5A24A673D7C9E0ECE6DBACDF7E2A099C65ACE63C2B9A6B6DBDFE2D075FF82343626BE2ADCB3586E555525A7B1E97]]
FP4_xtrpow = [[13D8FD84CB086EE5DABA106F68C8DE599F193030BA60F7B63FDEF6261CDDACFC368B1B2FBDB38D2AA06102E1DF0931F3F6F6D1D9B4E47176E245FF5B,2BEA82FA46954B698E0D6E32030B2DE567135934A3E3AE4C03DB6AB465FAE49FCB6519045ADC196EEA19B491F63A661BB000307E3A2761976C3411DD],[39D4EF0863D9E06E29BE3D6593F447488A18F1D0A70F833BF723B6F291CE516B3B38837CBC9A4C56B7132515E05C0DAB77703E528BE7694984F86C7E,0D0B857D2A9741E3EC08AEF3243AC15E5DC2DBF28459DE76599ED8AFBAAD1933D4599CFD1B1E2F7981AB4BD4E98F78D25B53597A5F7883077D0472AC]]
FP4_xtrpow2 = [[279AB2997B8812708D88B861CE7C82300C6EEDEC55536956910407379865422E4DCA24CC51F3BA78DD7EFA63AA16042859988EB9D626494F772549AE,2FDC548A948A2D5C3279929D6E53733CA495D78CD9642DE7A7142B063BBCADD75FF0552635D71640ED6125F2A630D72A9E768966E6C9B38FA1AC3D6D],[29950342CD40A1EAC74F27668CAD727DA07CE9C4CE68422673358B1F6DF9992552320459DB26F51C5BC40D659BF7D4691FF9D641BD99A101BF55FD6B,5075E3C671C1DFD61B4A3B1974948D29C5023756AB8A164D3C0F0C854845ABD8F5C2971DA1A1A9CF596A9101AF1BF7EA8769BDDC696E0009BF48EED9]]

# test 6
FP4_1 = [[29E21669FCCAF8B7DE7CD637D7789F7CDE11F85F7D18B26C4FBA903EEF7D4591B751348E78782DDC1B943B5C81CEC64DF1403E6F5A87F6274D08C9D4,48DD2E9B89DB50DA3BB498AB4B597B3AFF0B572089AE1C693F740EE9B9FAECAA1DA9A62D913BE54B0A9D06B48B3676E8E9AE5BCCCA43CD3FE1C72378],[4517BA32C59EB2FA6B1A7C45E3864845C8B4A40FE2B71621FAF431A41E7B494FB5F63B67DCF0BAD892A0371F516B871860A92DC326DE926F93305EBB,49D82D71CDD24E47424CA38E877561A95D50217F9E15421231E0F94980385BC7A0C1A56A2BD36EE2DF12E9BDCFF4171D2D8831E3AA3D9EBE9BDAAEED]]
FP4_2 = [[4A9E1E1054AC823EBEE4BE425F5679CE1FE597E29006151AD5E94046B68592201276368432BD3A2BDB26F2E41ACDEA8EABEC2CEED6FC87497F05713E,3EB6DA4EAF0455740156714D63EC76BA1186DA201DCB1F14B974B646F6C1A3AC0F8A0ED028BCE9842C914D2E53D10576FA2FD688D93AB11304BC79F7],[113BF2D8758B8F469FF2A3866B8808524F87EE5AD98A3E2662FD63CD43F7CEEC49993118B547672A87CD44A9FBBF232C839139F54C1B17A9F3D388FA,0A74C4B03E3D095818136D6921F558ABE9A78D50A4801BEB5563D5DA8E8A428B5CCA8C7D7B4F334B39A7FFD5B52EB7410333D4F4A7A6BD56FA60CCD6]]
FP12_1 = [[36F74EAD4639349E74D53ED95F9FD0C3C099A1D61E6EB94F5E37AD3408ADFBE6D1DDA1FFF7926E45E0D59FD56626721D4B40D21521E3C374F98C9CD7,42453F0DACFB6274909DCD960B1AC7EE7AAFCC7209605C5B460BA8CBEBD32EB24BEF1EA1F69AE9E3DFB28AD49944FB72A71B637D64242BD6986D2552],[5440A2B718F3F2C52E70FBC6723E2C5065D28A507610C74F0E587243490D37F89601A3A6E72C7FB6BE1FD16A6B255E2AFB63674C8B5EF7226FBFA0DD,3051ADD7A4EF45728075AC8703FC4EDBD597D96570E566CE49B966FFF6C797F16AC471EB152228CF4B7F497F24211F5C2E01CF46C52DE6B660E7F356]]
FP12_2 = [[36F74EAD4639349E74D53ED95F9FD0C3C099A1D61E6EB94F5E37AD3408ADFBE6D1DDA1FFF7926E45E0D59FD56626721D4B40D21521E3C374F98C9CD7,42453F0DACFB6274909DCD960B1AC7EE7AAFCC7209605C5B460BA8CBEBD32EB24BEF1EA1F69AE9E3DFB28AD49944FB72A71B637D64242BD6986D2552],[5440A2B718F3F2C52E70FBC6723E2C5065D28A507610C74F0E587243490D37F89601A3A6E72C7FB6BE1FD16A6B255E2AFB63674C8B5EF7226FBFA0DD,3051ADD7A4EF45728075AC8703FC4EDBD597D96570E566CE49B966FFF6C797F16AC471EB152228CF4B7F497F24211F5C2E01CF46C52DE6B660E7F356]]
FP12_3 = [[229D41EA4D81886334EF57DD6F49B7572C1F46D3FFB97CA36D7BF44B775634BEBC959111F458C23EF214EBF9F50130A3F0523F3252EDC18F3710806B,35E40BEA850FFE04FC4CED98DC6179FAA96110AA8E8BE3E9EE954A1F2F28FE63783909DAD0F18141D24BD6F29C915A64DC139F60C9401E0007EBC809],[3C8047E57D36CC22E1D17CC3E0C63AAA9BC630DEDBFA3102B3C78EB7C8080D48D921C43223BF47986521EBA839AF8F650FD253A907DFB72EB95E601F,13CF9FFAD58330ACC70F22FC71D84D4617FE0507CD878057D4AC41119740F63EB21127FA386A6F2A77DECB9181D97C84B0E426A39999EA6ACF866B8C]]
FP12_4 = [[4BC97E654C5FDF250B93D15DC3297EC5CDFDFE19731BD6FBC0B88E889902799A1F5DD6DA276B3C594DE42FE223710523FCA31AAD843DE3E017E6882C,3CB2AC2D9DEE701368A46E837718C8A0B8BFC5855BBFE58F8436DB0920AD0CBE3273BC20F260D3E16814BA6A49D8D7FE8B0007F3FACB9A4C8B0C704E],[0C62B7D9700B27CF4D9216C890AB548C1C1F0D197AEF4A12E91BAAC018094A429F11A97E966F1685119BD05E084644B1E0CC7898A0C175906FB4DA46,0544ED32BFF44DAD73E48ECAF75E14E38E8A204DDCE12A37A7C6276F331AFE074230A029932DD11CE8A15AD799BEB0454EAF192FB8FA32D5A97B6B87]]
FP4add = [[1F2434024DAAB53C19C6A80BB68FEAD31935D5BFBCA55451BCC3326681C2762A97A68C0C2102DC98DA5E7089F659B0F9B4FF3A83393FBC09820825E7,323808723512E093B9701D8A2F06C37D2BD076BE56FFC848900827118C7C2ECEFB12D5F72FC643601AD1962C38C47C7CFBB1017AAB39BCEB9C7D8844],[F7AC93375D7C868772335DCECF2220337AD7E86BC7E112F510F7523E32B6B4CD6E8D7A08059693FE10BE12A6E7AA61FC0D36DD7AB4E8B23CFDD28A,544CF2220C0F579F5A6010F7A96ABA5546F7AED042955DFD8744CF240EC29E52FD8C31E7A722A22E18BAE9938522CE5E30BC06D851E45C15963B7BC3]]
FP4neg = [[2B79EA0E0701CD02A51E1636A8C68EFB06AFC222D360C0C919260DE034C31BF57ACFAA7811BA5D9300C8825A24743994F6ECF26B9DBCCB3FFCFD4B57,0C7ED1DC79F174E047E653C334E5B33CE5B66361C6CB56CC296C8F356A4574DD147738D8F8F6A62411BFB7021B0C88F9FE7ED50E2E00F427683EF1B3],[104446453E2E12C0188070289CB8E6321C0D16726DC25D136DEC6C7B05C518377C2AA39EAD41D09689BC869754D778CA87840317D1662EF7B6D5B670,0B83D30635FA7773414E48DFF8C9CCCE87719902B264312336FFA4D5A40805BF915F399C5E5F1C8C3D49D3F8D64EE8C5BAA4FEF74E0722A8AE2B663E]]
FP4sub = [[349FF8D1ABEB3C33A3330463F8615426A2EE1AFF3D8C1086E2B1EE175D3814F8D6FBDD10CFED7F1F5CCA062F0D43DBA22D81425B7BD0304518096DC1,0A26544CDAD6FB663A5E275DE76D0480ED847D006BE2FD5485FF58A2C33948FE0E1F975D687EFBC6DE0BB98637657171EF7E8543F1091C2CDD0AA981],[33DBC75A501323B3CB27D8BF77FE3FF3792CB5B5092CD7FB97F6CDD6DA837A636C5D0A4F27A953AE0AD2F27555AC63EBDD17F3CDDAC37AC59F5CD5C1,3F6368C18F9544EF2A393625658008FD73A8942EF9952626DC7D236EF1AE193C43F718ECB0843B97A56AE9E81AC55FDC2A545CEF0296E167A179E217]]
FP4conj = [[29E21669FCCAF8B7DE7CD637D7789F7CDE11F85F7D18B26C4FBA903EEF7D4591B751348E78782DDC1B943B5C81CEC64DF1403E6F5A87F6274D08C9D4,48DD2E9B89DB50DA3BB498AB4B597B3AFF0B572089AE1C693F740EE9B9FAECAA1DA9A62D913BE54B0A9D06B48B3676E8E9AE5BCCCA43CD3FE1C72378],[104446453E2E12C0188070289CB8E6321C0D16726DC25D136DEC6C7B05C518377C2AA39EAD41D09689BC869754D778CA87840317D1662EF7B6D5B670,0B83D30635FA7773414E48DFF8C9CCCE87719902B264312336FFA4D5A40805BF915F399C5E5F1C8C3D49D3F8D64EE8C5BAA4FEF74E0722A8AE2B663E]]
FP4nconj = [[2B79EA0E0701CD02A51E1636A8C68EFB06AFC222D360C0C919260DE034C31BF57ACFAA7811BA5D9300C8825A24743994F6ECF26B9DBCCB3FFCFD4B57,0C7ED1DC79F174E047E653C334E5B33CE5B66361C6CB56CC296C8F356A4574DD147738D8F8F6A62411BFB7021B0C88F9FE7ED50E2E00F427683EF1B3],[4517BA32C59EB2FA6B1A7C45E3864845C8B4A40FE2B71621FAF431A41E7B494FB5F63B67DCF0BAD892A0371F516B871860A92DC326DE926F93305EBB,49D82D71CDD24E47424CA38E877561A95D50217F9E15421231E0F94980385BC7A0C1A56A2BD36EE2DF12E9BDCFF4171D2D8831E3AA3D9EBE9BDAAEED]]
FP2sc = [2411C8BE8533D647FE976C9C2DE0A49816CB59E805C59D5C5DEBA74F1DBC3039CD25BDD0933BAB7BDCAA756C88888D95FA1B35DE229AC092339C2DC2,21AC0B3401AD233FDFEF14345B9C66B896E8E1A8C2392F46F0047C87050A51EF67E9F9663DEBEB0EC1E22A5AA6031CBB941356AAB32B70DE3D0B948B]
FP4pmul = [[52ADFFD542409587994B6ADE00DD768802A3186BAC90322006534A4A743829F187E8C6D1C0667628A3978EEEA6EB78DEB83822903D56AF3035EB7D9F,31FC2FF53909457B3D6911B3F2B9DE15437E8164A724893E9D0031765FA5A5D2592B2F22A4EF72437D4BF3BFA7FD87A60F9F115498E647AF81B973F7],[3CE82AB625A6B49AEC465AFFFAC8C1BA7C2206E394B65BFEF47A6CF929C3445CE6DBA9AD3ABACF6761E466ED3B2FC29D24567E5216F42633153CA50D,2B8D25E730620D6A8277D5AD0D39A5DD20D37768CBDE75B3FB22B7A02D7DD0ED1980EEFFE09171A073033289E4366C32499AABB496462EEF858EFF48]]
FP4imul = [[26B26F21E85D5022513A563A34DCC0808CD664D8D08895B2BCE394FC64F198CA305448BB45F3CE6E512BAD613C83DFBFE5E6D676D41E4BF5ED1FC6CE,16E1E729A2157D591C1B499E77C2AE476831C9996E80C13899C1D21410E51935CBCCC2C9AD614CBAC39E2AAC1F045300EFB30794123FFCA240CB5CAC],[0406A11DCCE667FA0918BBA370A2AF7D58804A462BADA1D443427FB80766E871C54BACED27E9787E6BAE1CC1FE0DA3EE42992163E145D690B7D984FB,1BC8E158F5E8707A3D13800EA44E2E6F3F89BD74D4847D8555E265F2F01844C95B44BEF8B256FCB1E9EB99DA76B8740642F436067221141BE32D15F5]]
FP4sqr = [[0E02D8056585EE5BE50FDEEADCA0FEBBDE4B894CE08374D7EFA9DE5BCAC2D49855CC7FFB96554C8E0A856E80B06B058E066A401202ACF1EDD0C9CC2D,277C06E5149E8E4E2805F4AAF3750522630B04AC22B4771C4A903F1E4542FA77B9F5A0D74ACC556C7260B8ED459F0570A584B28540C0757CA24E3510],[3AB4059383274F3B269843F1B65269D0DFC6B6D75F5107C9785414AC8D4813E9C40ACE7F55CD40A180B878B2A3FFC5E97D64421D6B5D456B9B67C03C,23945ADBBF9B981BAF3181537D2043A994D369036D17A136E3D4F7EDFD825B37B2E26A92241DBA3196193100F9A10C59986B32D4F2884E05D2DFD425]]
FP4mul = [[21268D1393DBA279C6514AA9764AC970DA6B8E74D73B483D15969B654B3EE5FC3F479D037E72C864D4145962F6C7549DCBFE2EB546E901415763C89C,1CAC1B6F00720574E062FD48FB9AC135F1F626AB7137804E979A430DE0A9364F0FCCA64A559159E3827DD4DCB59B959BDD12C8FF2ABA93DACC031DD7],[2731B9F73CD7493D551E9E82119D12E2C75B9A751102A75A2848882ACF755DD563D920FF3F793366EFFAD71B826E3983E44E8A52B973F8E3DBFFDD9C,328C470C85EC8249E80E8919CBB66DB89C36B151794C626A88C3E44E494D8511E69391152B4EEFDBE04702CC97F4773CF6C0215E9547943324B06DAF]]
FP4div2 = [[14F10B34FE657C5BEF3E6B1BEBBC4FBE6F08FC2FBE8C593627DD481F77BEA2C8DBA89A473C3C16EE0DCA1DAE40E76326F8A01F37AD43FB13A68464EA,246E974DC4EDA86D1DDA4C55A5ACBD9D7F85AB9044D70E349FBA0774DCFD76550ED4D316C89DF2A5854E835A459B3B7474D72DE66521E69FF0E391BC],[4D39DD5564B5BC5A775AB45A31E2BB5ED6BB2F49199844ABB1EA67E1A15DD56B740B8D373391A323D77E7A6AFBD7437DA46B2F4F0F91A9EB6E9B39F3,4F9A16F4E8CF8A00E2F3C7FE83DA4810A108EE00F7475AA3CD60CBB4523C5EA7697142385B02FD28FDB7D3BA3B1B8B800ADAB15F51413012F2F0620C]]
FP4sqrt = [[1E43EC4BEF31528172050A0B85BA4FBDC8EA6760E6762AC728A50F6DD12A95A77250C9A64E92C3329A2C22D47EEEA0A50B559A4374A718614764963B,469571AA9BA79A6CC62E98203E9308B7E9CB01E02F90B86E1F16B02C52DAB54DFFB66A1329897BD82935B9F6FC550B079E2AC3C43F8B705475B4E103],[033B094B33C138A080202251F8F95E5D6868257658B7E411C62D38727142794BEAF2E3D0CC0D93CF6D75FE1CDD2AB8B9AE51E23061C90634E9081F65,10B4F5511F68A3D8631FD8FAA15139A2A58C3A6AA07FC140EEDE0B0252104F65B1F88C5F64908B84DED220A2F740E201B55D22C701FC313020EC5606]]
FP4divi = [[4517BA32C59EB2FA6B1A7C45E3864845C8B4A40FE2B71621FAF431A41E7B494FB5F63B67DCF0BAD892A0371F516B871860A92DC326DE926F93305EBB,49D82D71CDD24E47424CA38E877561A95D50217F9E15421231E0F94980385BC7A0C1A56A2BD36EE2DF12E9BDCFF4171D2D8831E3AA3D9EBE9BDAAEED],[395FA282C35324C90D18B77191690D5BEE8EA7C00363676AC7974F9454BC191DEA7D6D5E04DA09939318A10886829E9B6D774D1E1265E1B39767F6A6,0F7D8C18C6882C112E9BE139B9F06DDF107CAF60864AB4FE77DCBF55653ED38C332C38CF8C61DBB7778465AC04B3D84D7C370EAEB7DDEB8C4A5F2CD2]]
FP4div2i = [[34D373ED8770A03A529A0C1D46CD6213ACA78D9D74F4B90E8D07C52918B6311839CB97C92FAEEA4208E3B087FC940E4DD9252AAB55786377DC5AA84B,3E545A6B97D7D6D400FE5AAE8EAB94DAD5DE887CEBB110EEFAE15473DC3056080F626BCDCD745256A1C915C4F9A52E5772E332EC5C367C15EDAF48AF],[1D63448D82D983D796968274A292EC3FF85B94FDB64D5BA0264E01098537D0B4A2D9FBB57F8187B809D4845A66C23D53F2C169612C8701FFE4C9D821,1EFB18318D1058225D37C27373E0DBBE20F95EC10C9569FCEFB97EAACA7DA7186658719F18C3B76EEF08CB580967B09AF86E1D5D6FBBD71894BE59A4]]
FP4inv = [[403F0A17A054C0F99993497A5FF4F834C623579CD3E85D6A4338F7BEFEE1EA2B379B1D129C2F4BED7B0703007962EC8B471D644769F534B2E6E6EFFE,0F0349926C37F39536B65EC16037737B4054EB872F4610B27974EB10AB408C9556521738A8625F58C7AA1C6CCC1CD1AD20BD9891F34F73259652AA3C],[342DC8830B1FA73B2658D9B8E092C8EC9D2D39AA4A26FE00B0CBAD3F36F072A51A645A045E9A9DFD7D93AA08403C135B9ACD2C528533A07D9B0157CE,150FEB9B77BF9669FB19520F5ED31437386FE4942A72847E3D5CDFD3AE039DCA0D184B2483F5ECBFB9BB2676F596F5613C9BDF64D4ED73A91378E85D]]
FP4mulj = [[509B8D38FB992A6DAC68C525DC50151450263D12951B474531F3D679C2834F0F475575043B4FD764CFEA0B1827BA6FDE1B4E2CBA74E5B518415BC4F9,3993E72C8FA43B8729CC3365EABC7B7741430B0D3052E4FEC3F48CCE7A734390249701CB7E919E4C555663267B1C9E52A6042ECBD8D76FC6E504F87D],[29E21669FCCAF8B7DE7CD637D7789F7CDE11F85F7D18B26C4FBA903EEF7D4591B751348E78782DDC1B943B5C81CEC64DF1403E6F5A87F6274D08C9D4,48DD2E9B89DB50DA3BB498AB4B597B3AFF0B572089AE1C693F740EE9B9FAECAA1DA9A62D913BE54B0A9D06B48B3676E8E9AE5BCCCA43CD3FE1C72378]]
BIGsc1 = 262A102C7AB2EA55191C71AC51F4C5B7E8FDAF7851F0EE1FE212D5019CF36543E47A2704E9AC4FA8BA59DCE942A9A990D5BDFAF9E744EA9D379E2E70
BIGsc2 = 45
FP4pow = [[3A7CE6B21491D55FAF9FF781DD60558E17F6F0CE79C41AD7A81631195F4CD6358D0F19774D62FCB9C86DBC3B7A360CE21EA51B6371F6B50EF18713E0,1FA99FDAA282A7B70C9E2AE8AC6EA0B405F9C54A3D6BD5517D8844577FC182F7B41433CDCDB129E5303D896E35550613FA7E0A945992EA887CCDAF65],[4E2B72690015743E505487ED300FCF530F696913255838BFCD1D35FFD8C70D68760A920FAB40103FF0C4112CE9D24C83C9A2F394E9EAA501A34ABEAB,1862C5DBD6D3D7F6711091C394DB0D6A350BC3384F1CB38F5FF7262C3C1F9CE8CB53FB58903BC111F398E8DDF030C746429976793E8768D5571A46BA]]
FP4frob = [[29E21669FCCAF8B7DE7CD637D7789F7CDE11F85F7D18B26C4FBA903EEF7D4591B751348E78782DDC1B943B5C81CEC64DF1403E6F5A87F6274D08C9D4,0C7ED1DC79F174E047E653C334E5B33CE5B66361C6CB56CC296C8F356A4574DD147738D8F8F6A62411BFB7021B0C88F9FE7ED50E2E00F427683EF1B3],[1B1431EFD7AF6EF0E1403EC678B721780D9A5698CBDA343BCA897EE823E54B4E30999FD2F8452685F8DD30A5BFB45F9A988EF2561BAF0ECD5D4EBD27,47FA0C44020053799A5117E45F44E9323EE3E1DE242CA115A283B954701435BE0A7F2A6E470EE03497401AC1D8018AA2F90E317D7D67D804286404E2]]
FP4_xtrA = [[0D2FB79A95CE4A36025F6EDECF3438D431C3045E9B7BDDA0E8A393116F53D6A78D0C050BF0894AD374364B4F8D941C4506A27C8CCCA88D17B730F137,1900E01A8920115902FE35289DA0A16C99311867D11FB2CC9ED80C54CF3F54EBFE7B1AD2402BAE611E29CE3211F853DC392C3548FC986017E354AFA5],[04971E4E62C10E379E87281BE923A2CE2452A88FD784D117BF41D53023A813C4F4B851D6B00B0214CCEFF2B23FE8D4B00C66287344E68208CC09B780,2A568FECA62DD5B52A1FFAEE726F16402B09CC3EECDD4F1D272727E7E67F0B438D91C510C89B2EA1257C902AAA63C36EBA17B206D936837EDC48EAAF]]
FP4_xtrD = [[0F9AABA96FBCC2A6ABB11EE9ADEEEE3A06E9531036CB8334B9155BFD1008AAFC194AF5E52F977C44EFB9B57E531078D50C16F40E45E1C70680BE4DB0,4079AA9E0881780EB7D29C315D406B9C2E77CB6FB04B24B49D695D8919CDE431E2E412893CB9A1B495E026F17BB81764A2825CA19CC25DCB72CC1876],[1A2B790906CB29BAF59763A07CE09D6CA7AC89F283CC4DA29C7B3BB681BDE37ACBB58741FB499F746D3F6B83FA50D4546E5C3BEDC890E77C2DBC535C,0C8CB4CF53A6A9352C94EF938B8CAA0C85F036FE084F3EF075D5AE42B5724FB89023F759675F81191B85890F4D033ACE232134E6567A08B4768907A9]]
FP4_xtrpow = [[552D0278EEC35B1F0A8B0C67B4BB8CEA6DA2572B958437A14E3926217AED2D07C26CDCE66B5DAACF6444414EB750866540A4D74C6563BEFFEFA3328F,530C40841A36C3EA71BAE214AB5AC6265AEF6D4130D64A5BAB9E5617340DF28BF26F7EA3DC1CAEC90CD5153AB2073174374E44C14D78AF65325CE082],[1D60ED18646CC2F4357778260C92C1B2CE77E960A4A24C2EC3D3EF223D50045847D5314020774E5C571D6C18DA29F8B2E8E74DC872DF4C416CB6781C,3255D1BEC79C3493796C08EDBFAB41E664CD4D82B87BE7A5240AF8AD0889C6240D15C7485BE2773FAD5DEE454D28B49747183178FE8F85086684AF45]]
FP4_xtrpow2 = [[0FC0B14FD87D6DEAE9E2EE756D7263DBE44B5952645FA9F292C208CE862F670B223A56B81F5CD4E21A354AFA63316DD14C87538194E3DCD2C7E93938,87D85703FBC67946184D962E3FA219F5B8A53BFFE9EB66D343EC4A5824D2F1DE4141ED0A50F4B29BD4D844627B5996AE1641C80B94DD0D5B811F3C],[2F17B705887145FAB8CCBABBB89EDFA211FEE5A19D290F2516829F029CD45314C90B554CE26381461C778A8226438E9CBAB9D8DB747778465DEECF52,0C8D7523A4F905E2207614983D1E4B540BF82F4F9BDA041A12A021B6B65213A159BC237AE07719BFD1CF4409C2D165249DADEFBFBD420C40F28372A3]]

# test 7
FP4_1 = [[2227DCFB67E34C734050589143C4D31201DC4D87CE42138A6AE5DF43FCB32D86AD9AF455B72DE09A61B7E2FD421B26F5BF26853F824A9E39E093B0FE,366C912A2575939F59512789A821A49E5E97AE81837D1EC369F346EE1B234F5CE21F6C8EE0F8F1FFB5A0257EA1B417DB5A2527E87C0B474DE3F4176F],[112DF6E1CD50CE9685CB7D99853E6983F173E4F31B17EEC11EEDD9172E164E41CE82790A124B6468618B5FFE942964C2F1F2272E576B435925CF4E2A,0C80136924D4605B0132A6EE35811BC8A252DB6834F2BCE757758E8AF5EC07B963208025714973B46E12B10789BA1159B86695335AAE393FAE190FC1]]
FP4_2 = [[3151CDD360EE4281D38B451A19E772D551F07CB440CCA1CB98F2A9CFC1C08B6DA2C6283E64405F6FB333D06D74C83AC095121B15E3E6E9AA5E34D116,040233DA00F10EF1CF9F1083D51ED2D733E2E97E7ACA3EFD966F06B3C6896486FB5D34AEFEDFBB00CFFCD86A9683B7696EFF6AE19D433632212B8B45],[42C0CD5F1D5739CA08FF3FDA16B1887062A0F12B1DDA687DABF26B56C55F32A2331EE81A0CEF5E0293AFC03342C5355D4B3963EB62F7A139AC91F6A2,33BED91286CD3189A03325826DE9914FC288348EC1EFE09D545EBF8121E1A27ADE321E1B6E5F39F40334C7D6730275131E23A46ADF8B2CE97E85AE23]]
FP12_1 = [[4CD348832514EB74030BD915805AAE30BC11764CA2F9805E9819878D1AA3635351967AE487CEBB9B31B8EADB16E129F1A15759EAABAC5CF782AFB4B7,46BAA3271C005F6ACE8B6CEDDF2137B1984B3F052D1E5C77760907197B81DC54D1F6688F99006D55A02645288474551F696A28956FC4F4703561DB76],[431D5997FE4284AA295EE85F92CEA5012F55CFABFBC1D59883E9C60B1E8CB1B10EE699386AD89A4A53790FB282969E028FF6EF188D6E4275C965538D,33ABABFA71DFF34CD54CD5ECC7BF67ED2B81C1DC466FFBAF1211055769A25133FF2F16C529452BDADF566B181C7D747BE8F913BC424842E786EA550A]]
FP12_2 = [[4CD348832514EB74030BD915805AAE30BC11764CA2F9805E9819878D1AA3635351967AE487CEBB9B31B8EADB16E129F1A15759EAABAC5CF782AFB4B7,46BAA3271C005F6ACE8B6CEDDF2137B1984B3F052D1E5C77760907197B81DC54D1F6688F99006D55A02645288474551F696A28956FC4F4703561DB76],[431D5997FE4284AA295EE85F92CEA5012F55CFABFBC1D59883E9C60B1E8CB1B10EE699386AD89A4A53790FB282969E028FF6EF188D6E4275C965538D,33ABABFA71DFF34CD54CD5ECC7BF67ED2B81C1DC466FFBAF1211055769A25133FF2F16C529452BDADF566B181C7D747BE8F913BC424842E786EA550A]]
FP12_3 = [[1BCFA51E53E540560991AF65D4ED9AAE3EE7EC741B5565A74E990B21FF0B94CA740C76962816D7F8E9383882808606D0055D76A120CDBCBD34429BA7,1BE14D1A1DCAE10FAFB5DF32693918352362A611E98F79469CB2D8C2749E65E80D40247F9BFD812856005A7FE54F8BF39A368C2394E5E29753F9CBBE],[43EB01A49E8E01FE4CBE5EDAFB71F674E2A44AD7E7BB681DB1624C48FA8275F0EE60D551F6474C15EA6CEB19CD58279DA446D0586F7523BBA6C9A4C3,34F08912221DEF5746434DDD318E95052948EB843F63A620EB8F4A94FF09E879E2FA3964CAC9F75B7D96C0B731C9CF176201BADBF07D835F77973E21]]
FP12_4 = [[3430DF0CEBC2A5BECA9B4E902A073E3631C7FFA214340C641F7A42AE6265BEC519A1C207E09038384039DE86E1240B0DC855638D94801EEB0211CF7E,511C07191ADD068CC037F76456979F6D65B8E51BC10738BFD017A1E243661A1856911B8CA51E6345047D0FB7BFFB6F334DD4E562BA9ACFA1ABD293DA],[3C626F38CD74C17B3B5DB6AC5141DAD1E744651D6D1BB49255219C194C36F6EAD2A56FEB243850B867475639E5584885E7905431F163BD06692562D1,16BE20EBFB1C897B1D101EF16EF36CA87AC17CD5B1DFF3D02286E47FBECAEF6E4327AB36FE6623858E8C8A4137347B086DEF1CF3460354E1E7915629]]
FP4add = [[5379AACEC8D18EF513DB9DAB5DAC45E753CCCA3C0F0EB55603D88913BE73B8F450611C941B6E400A14EBB36AB6E361B65438A055663187E43EC88214,3A6EC5042666A29128F0380D7D407775927A97FFFE475DC100624DA1E1ACB3E3DD7CA13DDFD8AD00859CFDE93837CF44C92492CA194E7D80051FA2B4],[53EEC440EAA808608ECABD739BEFF1F45414D61E38F2573ECAE0446DF37580E401A161241F3AC26AF53B2031D6EE9A203D2B8B19BA62E492D26144CC,403EEC7BABA191E4A165CC70A36AAD1864DB0FF6F6E29D84ABD44E0C17CDAA3441529E40DFA8ADA8714778DDFCBC866CD68A399E3A3966292C9EBDE4]]
FP4neg = [[3334237C9BE97947434A93DD3C7A5B65E2E56CFA82375FAAFDFABEDB278D34008485EAB0D304AAD4BAA4DAB96427D8ED2906AB9B75FA232D6972642D,1EEF6F4DDE57321B2A49C4E4D81D89D9862A0C00CCFC5471FEED5731091D122A50017277A939996F66BC9838048EE8078E0808F27C397A196611FDBC],[442E0996367BF723FDCF6ED4FB00C4F3F34DD58F3561847449F2C507F62A1345639E65FC77E72706BAD15DB812199B1FF63B09ACA0D97E0E2436C701,48DBED0EDEF8655F826845804ABE12AF426EDF1A1B86B64E116B0F942E5459CDCF005EE118E917BAAE4A0CAF1C88EE892FC69BA79D9688279BED056A]]
FP4sub = [[46320FA00AC1CFABF05FFFE5AA1C8EB494AD8B55DDEEE4F43AD3D3935F3303A03CF5AB1DDD200C99CAE0D0467395EC1812419B0496A875F6CC64F513,326A5D50248484AD89B21705D302D1C72AB4C50308B2DFC5D384403A5499EAD5E6C237DFE21936FEE5A34D140B306071EB25BD06DEC8111BC2C88C2A],[23C929FAB3C65A8700672A2DEECC0F8B7394AE4A4DB6F978DBDC0BDF8CF77D26CD846FF68F8E91D4EA385D81F7A72F488EE5F41DECB86386C3436CB3,2E1D3ACEA1D3F48BE49A6DDA47D6B8F0C48C615BC37C4F7F6BF76D28F84AC6C5B70F41108D1CC52F873AA6E7BCFA9C29827021A37367CDBD799976C9]]
FP4conj = [[2227DCFB67E34C734050589143C4D31201DC4D87CE42138A6AE5DF43FCB32D86AD9AF455B72DE09A61B7E2FD421B26F5BF26853F824A9E39E093B0FE,366C912A2575939F59512789A821A49E5E97AE81837D1EC369F346EE1B234F5CE21F6C8EE0F8F1FFB5A0257EA1B417DB5A2527E87C0B474DE3F4176F],[442E0996367BF723FDCF6ED4FB00C4F3F34DD58F3561847449F2C507F62A1345639E65FC77E72706BAD15DB812199B1FF63B09ACA0D97E0E2436C701,48DBED0EDEF8655F826845804ABE12AF426EDF1A1B86B64E116B0F942E5459CDCF005EE118E917BAAE4A0CAF1C88EE892FC69BA79D9688279BED056A]]
FP4nconj = [[3334237C9BE97947434A93DD3C7A5B65E2E56CFA82375FAAFDFABEDB278D34008485EAB0D304AAD4BAA4DAB96427D8ED2906AB9B75FA232D6972642D,1EEF6F4DDE57321B2A49C4E4D81D89D9862A0C00CCFC5471FEED5731091D122A50017277A939996F66BC9838048EE8078E0808F27C397A196611FDBC],[112DF6E1CD50CE9685CB7D99853E6983F173E4F31B17EEC11EEDD9172E164E41CE82790A124B6468618B5FFE942964C2F1F2272E576B435925CF4E2A,0C80136924D4605B0132A6EE35811BC8A252DB6834F2BCE757758E8AF5EC07B963208025714973B46E12B10789BA1159B86695335AAE393FAE190FC1]]
FP2sc = [1FE21D5AD9CAE7C8BF1AC07E52B2C0FBF54B89BC65C2D2D4B69E7F79677EEABF0F40CD0A3F440BDF8E9D3B71D6C4CE903E6C399AA20A0E1127171EC8,48A93FFF50769DE471749E1784F074E59A90237C2819739FC239B5F293B3C87CFB2575345A67DCB61A49BA3D2BDFD784D2F6E09FC0CF9577546DFD93]
FP4pmul = [[3A52272AD0AB3EFEE303F8323A901C73A3DED148B93339E9025B55F658F93B5B33325E8A704AD503DCB5EBE608F6650855826E907300A0F3C823F37F,1F3EEF92DB1A1657A34538E969D481359503EA6F8EE603FCE43AE81B408EBE01F3694158D4963D6D90616F73EE2A49FC9D0D5CDDDD2FEC75DDF3D9BE],[05C96FA39E7B11E2A9A033B40D63BE3B1034D39786EDF7E92B183CF0C603C0C39FCEC99EB25326B6877224884C26F4BA01A6A3265321D14867B3DCF5,3CA764311B2BBACE6C424ED3A39E9D5F1FD694815D827BB8B926D3EB32465648A5D8A6D8D80B90F1EC7B71A1D1C9415BA90D8C8481ECFB2E2DA175C9]]
FP4imul = [[22372CF467BA3F3E7AAC3A8A961E957C41A65C2A34998ED3AFA1FF59A3B24E19AD5FFBF536AE2CC01195D682401CE9FCAA8CBDC71D36328CAF69FB9E,46776594D55B248C8D1627EE700C504E8948E78223825EF44111CF373612B797B659EE45A73E09B0ECAAA7D3D76F8F7B64575CE1FF75679D79A64D19],[11B7C8D2CC1811CC9F2A052A9F374A9FC3F5A3305216255150B2786BF0457403A4EDF735E391CF032CE78240D2B55CAEC37FBA3B143ED2AF98D5BFD1,4B007476DCFA4222072FE9954106A6B3CDF124713DB06D6C0CC15741C3882E5852C300E0A7B8B63A9470262D3A5C681A52677F342015577E14965E86]]
FP4sqr = [[296044B1E524E127E3D5C696D08BD0B5E1EC4D89DB3906968E9AEEFDA63D6D8E17437F9661B3EE4F7DFB1DD524C70043BE80A6C1D2AA5AACE50D1651,0C7590DC80CC5271AB4DEE3010FFCD8A423DC068752ACFF3A239DA37CF946A6AFF76526B28BA69348A3A639A131F83B8BD4F06EDC709B26EB743CD4D],[3527B668096C6A9B59D60FD6B4D15AE06EA5FB66B95F35F4FF4FEC570442124BF61ACD50DE63045B50846E00972AD1210539ADA8AB76333FC3F33D24,16F9D1E685465FE21E652E48082D3B4ADC4E2EC1FD2093E20A3EB5AD8223E71DDA945E45398F9CDB7150F130E0167CF6AB20EA1C588BD71BF7B6BC99]]
FP4mul = [[024CF6B0B4AC98367E93EC1B4CD2C183D269801E74DCDD90E6D8594C1264BDC0A10AAED0F0290CB25B8F82CF030D04A53FAD16E9753009259CE08461,1B0714CDEDF1BE59E2D099CD42CF487D4C96A9B58E6F67523AFFD93FEC961223CDF25F19A3C22C408F62BB5D4BBB60B4AE40E61B0BA0176459AADE53],[2DAEA90218C422D4E65E8F279A0FE789DB7E43551F1B20E18499C65E77F18121E17B5705018F440D1346DB5320A5A3104578B5EE94ED03AB2EE2736D,47D26AC9C1F18A33A5D100EBC48C2D6E3B8EBC71739EA6E9EDC1F1CAB6471664741ED123B808F14F9C6BF5272174DF38CAE00FEA947D93F217B4B9FF]]
FP4div2 = [[1113EE7DB3F1A639A0282C48A1E2698900EE26C3E72109C53572EFA1FE5996C356CD7A2ADB96F04D30DBF17EA10D937ADF93429FC1254F1CF049D87F,45E448D114A12CACEE7609FC1430698B21ACB481E9FB48FC6969F2869FB1D8720A2025CAB595BEB768FE719AA3FB8BDF21292C61BA28045A96FD164D],[0896FB70E6A8674B42E5BECCC29F34C1F8B9F2798D8BF7608F76EC8B970B2720E7413C850925B23430C5AFFF4A14B26178F913972BB5A1AC92E7A715,30EE09F09450930AC266C9AE5AE02520438A4AF542B6180E602B16550D1634A04AA0AF95FDBDFF91C537B75F17FE889E5049E30729797D537C0F9276]]
FP4sqrt = [[531F4A844E08525FD9056DCCDE9D552E4E2361F1B552A7D60C8AD3EA54527C8BF8012FDB36E2A962BCE3339A743F37B92EEF6ADAAA386B55AFDF4061,3816C4CD6F1A0E565766221EA459B30BED21D501FF8F1A75CBDE1A18E5AFB75F6249FC4C7106346007394CFF0F7F79962BECA07005B1618DFB5B3DD9],[128A874158D29EE1813B8EB35BA7FBB70C8E363B30CDB72EFD1AB841CE5B53BC3A863614D425F7FD08259FA04EC82ADC79761AC085643B0FAD2D1B61,271BA866F7B859C6ED3F2E2FC194B1E78A5E9502D7D48BBF8A1AEE69CC941A0ACCC614E2B06A3413ACE934862FE8C75D1D63A45997351528DA1BB948]]
FP4divi = [[112DF6E1CD50CE9685CB7D99853E6983F173E4F31B17EEC11EEDD9172E164E41CE82790A124B6468618B5FFE942964C2F1F2272E576B435925CF4E2A,0C80136924D4605B0132A6EE35811BC8A252DB6834F2BCE757758E8AF5EC07B963208025714973B46E12B10789BA1159B86695335AAE393FAE190FC1],[019C36D6C4C60D2C0B0349D635D3A49C3DD920C380A2DF8C35FC440979CB0DAE2ECCC0EF06FA23957D7DA5629EC61F77188F3E26830892103D40D9A1,34D05A5360AF86734E4DDDB3724E000220BE8DBE02DA3F3733F702E4A15841AEB352AB9FD9FECE6A3822801C02EDF8644195E9C1F902B53DA6B33DCE]]
FP4div2i = [[225BEDC39AA19D2D0B96FB330A7CD307E2E7C9E6362FDD823DDBB22E5C2C9C839D04F2142496C8D0C316BFFD2852C985E3E44E5CAED686B24B9E9C54,190026D249A8C0B602654DDC6B02379144A5B6D069E579CEAEEB1D15EBD80F72C641004AE292E768DC25620F137422B370CD2A66B55C727F5C321F82],[03386DAD898C1A58160693AC6BA749387BB241870145BF186BF88812F3961B5C5D9981DE0DF4472AFAFB4AC53D8C3EEE311E7C4D061124207A81B342,1444B42EBD92472C1900CEF8645CD18C5CBB60F9B53B0B38FF0D67AA1E7021D63484783929CB116553E842815F98F0E59AFEA2A8F9C0A91403606671]]
FP4inv = [[2A97AEDC8697253DB37601ABB0D587930208E954A7B83245262368BDBD9F53AA772BADAB3A48E3A870C138EADF342961FABEC3FDF26B48B3171A3728,1BCB8241E833A7373177B43DD2401A13529913483945BBEA24FF95CC4EF816B61187750D2AD81E7F480BD9AF57BE6C46B95CBE9C7A1D9F069B20BC14],[25B0AF9B66DD97C15CE73F4EDC8E4B6CB3CA4D1AB528D6C4E063B18F192F1625EFE3034917763FF165E4FE408A69233862EA97FF15D2134995483CC2,136E271C9D03BEC4CFF334317490DF753EF514C4FCA12AD55E3C1F42F802A9EBE539697EC4C62B339766BB35DFF7A8577DD072AB8AFC7A02E37291A8]]
FP4mulj = [[04ADE378A87C6E3B8498D6AB4FBD4DBB4F21098AE62531D9C7784A8C382A46886B61F8E4A101F0B3F378AEF70A6F5369398B91FAFCBD0A1977B63E69,1DAE0A4AF2252EF186FE2487BABF854C93C6C05B500AABA8766367A2240255FB31A2F92F8394D81CCF9E11061DE3761CAA58BC61B2197C98D3E85DEB],[2227DCFB67E34C734050589143C4D31201DC4D87CE42138A6AE5DF43FCB32D86AD9AF455B72DE09A61B7E2FD421B26F5BF26853F824A9E39E093B0FE,366C912A2575939F59512789A821A49E5E97AE81837D1EC369F346EE1B234F5CE21F6C8EE0F8F1FFB5A0257EA1B417DB5A2527E87C0B474DE3F4176F]]
BIGsc1 = 04BDEFFE11870EE7D62777F70488DA35653F96CE30410D76325AC5C0BBC705A019ED0271DE70C1A1BEA3A72B4F4354589337E6AE355710968CD9F9B4
BIGsc2 = 54
FP4pow = [[09EFF1F26B4A86D87ECEBFB5C866C13ADDAE308586422DE5F524F2E633FAF903E85F2BDF240FD1044AE45EA49AEAB74FCC8A625B55E9FFFA38E534F2,2EB86611C704F83E28BC9F0788001F47CB5F0C0C394E44A653C1F24F3D82B734B4D45AD898BFAFFEEF19878CDE8DE9EB9547A1950396702A5E3E29DD],[45C55A5640B2745DA2ECAD77DADA50EEB84980F5BA023E1AB7EFB4865C7460EE774EDDA4B6C612943A28740B7714BF14019C0DD0A1BA35ADB8CB34C6,3500D1A6D640735E19ADC149C71EF3FEF376DDE6915A8282A95EC6B6A554F553D748C0637DFC2353101D6D495FE0FC42EF77C665C7BA2A644F0758E3]]
FP4frob = [[2227DCFB67E34C734050589143C4D31201DC4D87CE42138A6AE5DF43FCB32D86AD9AF455B72DE09A61B7E2FD421B26F5BF26853F824A9E39E093B0FE,1EEF6F4DDE57321B2A49C4E4D81D89D9862A0C00CCFC5471FEED5731091D122A50017277A939996F66BC9838048EE8078E0808F27C397A196611FDBC],[2803DF8E731ADC090966DCB43602B1F9BAAA772DA032CA85FD93D446A06FE41F7370F6DB99C73A6CD69E63DC4E93B85A190C5354F17F156B9BF227AC,4F3BB3779A20F490E6C52E6F388035AE368BA47C5BCB1DCAA27A0E32D83F09EDF3F15985D4FDC936D4E58834CE3FAFCCB9EA19144FF979B32E2BC29B]]
FP4_xtrA = [[437CBA68443AA48DC4430974B348E188A6DB282AEF0D9AFD3DAEC9F9E426DA98CE4551881D0F1475A634DD5323A2FADF6175492C4A77CD0C1A3CBBC0,114E429B311E308AB002C14549FD5C6D6675CB1C983690F7BABF20921548C6683D8FABF63E6F8B3B3D99AB17F6C96AFEBF549A35B65D15D1D8B7A47F],[4F82F9B428507807BE87DEC248227080B73774B3817DEBBF9769C3E01EFDF7421E94E872709C3038AB47D37E207B6742FB8341441966F54B7F6CAEBB,0DC2DA72F002416EC3EE0F6CD456341EB38A8E5D411BED33F7E7FFA93AD4EBDF2BD87B155B21168CD3E7910368573FCDB5C2E78CB0879A261AA2E9FD]]
FP4_xtrD = [[3A6C8B33192B0DFBE6D001E2C9415909C2F56CFC8F2E52B721AFCE94D1177407EE2E75F17D8AB889D6E8159146D3B23B2860CD1DC659DFA06DEBC980,4A546F783D7AB6A7FFE177F9C13AE13D4E91D86A0F2378D7A0148899E1CE8EBF9F79375A7B2D9C1357B3940A1C3D53C7D95F18D2BF7CA6A18367C8C5],[0227A3B3A041420DE1D21E9B3F0EFF706CCC0ACA9F15A041D44B00663C2E4D4860FEE05E78C741BCF73E7047193A9AC400F0CB2A6207F88AC58BC44D,2FF9F8B8CEEF209820CA7C24732F72DC20F3E59267060DB0B929D2C36DFBF690A0D55E901C2284444D76533FF38A9FAA1BEE14830DE8499B53E8DC1B]]
FP4_xtrpow = [[4EAC7FD064408BE79E8AC6C72F14169194408A1224879A8AFEE0AA41BC6E3E945FD03498369A702FF227FD4DC77EEE83C9C60CE27DCB9959E18DA343,12FB9E329049AA61EE587336B473F2147930EC9D80CE6E72A0E0B52384AB327967D9E4406752D4EA68E02C6CC6BD3BBD6445DB5F0E14D773435390F2],[4C786C147F4C0FABED9FC39B47C53F434118FE13AD47406764C5E73EB2BBC7BF37FF442E114CCD9AAF54574ABE2339ABFBD828527CB2CF9160351C76,2802C8756508E734D0D23641713DD19B0331DDEEE5F3A888D13928990F92E585417A49B85C735817EB4B401C9E97DFA3A0F87DE3EB62C8FA131F9E54]]
FP4_xtrpow2 = [[3E71FC8999C4DB2B59E68B6F17F228C4A1F8FBBBFF0A75648C392A79FCB5F8CB9150516234C57682E55CAE652835DA9B2E240CAF7ACC02C9000111A6,148DBC3ACF12937B9C4159547B0DE4D068B36C18CA8C0993050C1D25495B6FE17F089A6D0F2D64EC1EE38A3DA93179A888079FFE67088C0591FFF0C7],[16801496F12AD0BE56D423E345C675DB2D22CFFAC35070A4D7D90C88426C3777089687574AE334D2625ABCB55872C88737B37D534ECB8721C2F23F15,1B7B86A79134D898CEDAAC3EF8B86023ED4B03447EF3F7011318DFA83F9E7899852A3359742FB4CA0FD1E07B677502A70033CAF6F94904BD8EA98EFC]]

# test 8
FP4_1 = [[23BAFD13FCCFAFE60A9C8BB73CA2786C9CC2D6DBF837913075AE810D3A83ADE88BA6DC0097D27642D88A5F3A33DE7A6EBF80EE428E4F4203C86B19EC,4898CFB27D186E81113A6951074794BD4A307203CDBFCB6D51867A35F9F4F8AF6656E8B4071420E8749D58C0B7BC89BB3A4C9C8B09F0F39E4CB002E0],[345CF506CE4FC2048DCB37237AB672F07608ABBD6DDF485748F6388C052D7C08DDB7DC2B40F12A57A2C560919B720E11F5973E012D8CCF8486C7F395,2D38D292482D64139BC6ACFD3851A384D32BDD7122C961CDDF258D29E2B905288C40F1727CD7487460C2F1FD7A9AB6821FF1BB1A6C2565B3D69B7424]]
FP4_2 = [[3133B8396A75105E7A02A8EFAA786577E15A165D68D82B69550EADD1FE331C3CD479443755D8BC7BF2D7243C169603F2D8C860A8C5B64DA94213B920,361256341D7F703D397E7B5B53ED73C275B95A29C65C3B1B5249BE1DDC1E506563EDAF7588C968006DDB7A54030CB24A77BD57043D0952EB27624219],[2B26A232541EF2A61F19965F6CF19AE09062ED55AB19AE5918E612A6A51661771E256D1C1A5E2FF36128988AEE089ECA8B8FD413DB7F7CACD265F697,2A349F6438221D83C43CE8862DB5F7BFC0079227E2298C01485A6C56B60ECCB1E192082BF7591006C45D6DE7EC2AD7B123426D33F593B1498F794542]]
FP12_1 = [[32DE66E78CAA010C2B37F9FF6790850BB88BADE806A7EA376C4A83D6908A61E1466A3B3BB9242C9A7A6C186BCD66E17998B446239F49D791BDB94981,516F6CF4D84EE77CB1E5D0E7CB8D5615CF319EFBE9885E8A9BF50ECEF5B65B9BB106B65E90A084E4E14C0CE9EB69F72FE75D6F8AC990863D85632A9F],[4DDBC03F42CA0B34FB91F2C730FA3643CABBC8770ABC4CCE255BDCF73582443D082080951D74182D70DF1D678AD6C6380E347DC3D82B528EC4C036B1,0DBCFC44533778544C0D89B1E1F6163ECA7C37C79C23851B3A90027023FC351C033392A3C5F6100EADB1C793DDE805C4446217DAB1C2EB9580BA8BD4]]
FP12_2 = [[32DE66E78CAA010C2B37F9FF6790850BB88BADE806A7EA376C4A83D6908A61E1466A3B3BB9242C9A7A6C186BCD66E17998B446239F49D791BDB94981,516F6CF4D84EE77CB1E5D0E7CB8D5615CF319EFBE9885E8A9BF50ECEF5B65B9BB106B65E90A084E4E14C0CE9EB69F72FE75D6F8AC990863D85632A9F],[4DDBC03F42CA0B34FB91F2C730FA3643CABBC8770ABC4CCE255BDCF73582443D082080951D74182D70DF1D678AD6C6380E347DC3D82B528EC4C036B1,0DBCFC44533778544C0D89B1E1F6163ECA7C37C79C23851B3A90027023FC351C033392A3C5F6100EADB1C793DDE805C4446217DAB1C2EB9580BA8BD4]]
FP12_3 = [[317DE25E31E91F91230A8DB365DCE98BF9A043515745857A2938EB699E44488CF7EC4F3D675D1992E1D012E9171E6BC6F932F29FC1E91622F57810A7,52E6BEEED6A54BA7B1B9D0305AF4BA8E9F50D68CDED2AB9B637147A20045B4B8B654D15625A34D12B2EBB101F3D3FC41FF8114FFA73FC328C7B0E534],[4D7AD3BD57B89A13352247D8D4E81D1046C34E6370C05423EB9B72E3286F5B95AEEE5D37B59DB7A32DD21CFD5472438DA320737D915738E0C447F57D,1CF9D006D59A04A25F8F89B1B4A38B329448ECE97F056CEE07E0F6B700D0E0032A3681EC89BB3382FFFE891490C6D181E0BAD21FC67433D79935501E]]
FP12_4 = [[1A08FA78059F700249F2FF4B9F43E6D3E702A54AAC89BF8ED53F1DCD5C596CFBE3959F18A7F33BDC6278B63454265F04FC9418E34A506D06B9A5A848,053B827F431EF2C144C12EBE6550313490921339A45A1698E7D4E4EA54E0AB16965FA2819E07D64CC55D9CAF218C8536D95C19588C062FCA0E92C7CA],[1F1C52A81DBFF11A8B856325F11D852CC209D1B76292BA8E337C81463DC3AB996E6A573F8D7FD6C841363C0C85689AAFA6F4A1662AB221ADAF7929E3,20671F347A9BC1BC58F78D7C8BA08B684C0CD2E700E3C0EDD2F5696E85E846D4643978F244EFC5EBBE49F9AC60B8F33BFB265AB9EC66AA748762751A]]
FP4add = [[54EEB54D6744C044849F34A6E71ADDE47E1CED39610FBC99CABD2EDF38B6CA2560202037EDAB32BECB6183764A747E6198494EEB54058FAD0A7ED30C,294F256E96CB1903C71DF83DDAF5DA07DB2811AB43A293533AEF9A34B1D2E78D9823B92305AAFD79C61C155E14863C22C9DCC2B44EB585222A0C2FCE],[0A2796C11EA1EEF02949E1146768DF5921A9DE90C87F837AF8FBAD1386037BF8C9BC6A40D11CCEDBE7913B65E337ACF998F9E13A10C78ACA0F27D501,0211717E7C82BBDCDC68A914E5C86CCCAE71B516B4797A99BE9F5B61748770533BB21A97E9FDCD0C08C3A22EC0828E505B06F773697455961C0EA43B]]
FP4neg = [[31A1036406FD15D478FE60B7439CB60B47FEE3A65841E204F3321D11E9BCB39EA67A0305F260152C43D25E7C7264857428AC429869F57F63819AFB3F,0CC330C586B457397260831D78F799BA9A91487E82B9A7C8175A23E92A4B68D7CBC9F652831E6A86A7BF64F5EE867627ADE0944FEE53CDC8FD56124B],[20FF0B71357D03B5F5CFB54B0588BB876EB90EC4E29A2ADE1FEA65931F12E57E546902DB4941611779975D250AD0F1D0F295F2D9CAB7F1E2C33E2196,28232DE5BB9F61A6E7D43F7147ED8AF31195DD112DB0116789BB10F541875C5EA5DFED940D5B42FABB99CBB92BA84960C83B75C08C1F5BB3736AA107]]
FP4sub = [[47E34552962765421434CF361269416CA02A7B00DFD8D8FC8980715A6090F332E94E76CFCC2C4536020FF8B4C38B765ECEE5BE74C0DDB5C1D05D75F7,1286797E5F98FE43D7BBEDF5B35A20FAD47717DA07639051FF3CBC181DD6A84A0269393E7E4AB8E806C1DE6CB4AFD770C28F4586CCE7A0B3254DC0C7],[093652D47A30CF5E6EB1A0C40DC4D80FE5A5BE67C2C599FE301025E560171A91BF926F0F2692FA64419CC806AD696F476A0769ED520D52D7B461FCFE,0304332E100B468FD789C4770A9BABC513244B49409FD5CC96CB20D32CAA3876AAAEE946857E386D9C6584158E6FDED0FCAF4DE67691B46A47222EE2]]
FP4conj = [[23BAFD13FCCFAFE60A9C8BB73CA2786C9CC2D6DBF837913075AE810D3A83ADE88BA6DC0097D27642D88A5F3A33DE7A6EBF80EE428E4F4203C86B19EC,4898CFB27D186E81113A6951074794BD4A307203CDBFCB6D51867A35F9F4F8AF6656E8B4071420E8749D58C0B7BC89BB3A4C9C8B09F0F39E4CB002E0],[20FF0B71357D03B5F5CFB54B0588BB876EB90EC4E29A2ADE1FEA65931F12E57E546902DB4941611779975D250AD0F1D0F295F2D9CAB7F1E2C33E2196,28232DE5BB9F61A6E7D43F7147ED8AF31195DD112DB0116789BB10F541875C5EA5DFED940D5B42FABB99CBB92BA84960C83B75C08C1F5BB3736AA107]]
FP4nconj = [[31A1036406FD15D478FE60B7439CB60B47FEE3A65841E204F3321D11E9BCB39EA67A0305F260152C43D25E7C7264857428AC429869F57F63819AFB3F,0CC330C586B457397260831D78F799BA9A91487E82B9A7C8175A23E92A4B68D7CBC9F652831E6A86A7BF64F5EE867627ADE0944FEE53CDC8FD56124B],[345CF506CE4FC2048DCB37237AB672F07608ABBD6DDF485748F6388C052D7C08DDB7DC2B40F12A57A2C560919B720E11F5973E012D8CCF8486C7F395,2D38D292482D64139BC6ACFD3851A384D32BDD7122C961CDDF258D29E2B905288C40F1727CD7487460C2F1FD7A9AB6821FF1BB1A6C2565B3D69B7424]]
FP2sc = [22B6677EDC610D735519A379A0C82639CBAB648E32CAFD47676F91BC9E884569ACE340BB19D2803D70B2E9112A535250D60F7B86AB02A85684D55A75,491B2BE832CB5C6608B47B163F5FA24663CB590EB1F45EAD9E8ABCDACE2359755277E11FFEAAEAF232D4D0BB9ACECD72BC092DC1DAF235667ABBE484]
FP4pmul = [[4B37C556D710A91DEB092A4FF4C2A1D425D8B3B54E0900955C25A7781C8B83AC52B1AE10ACDBF0937E2EB0EBD1AD7921DD4041836358E1F24893CFC8,0FE9BD66C9E497CD3C00D57812CAAFA7933BFEEAFC410841417F17443C94A65EF415A2CA5908EC04B7EC1950DC2A24BAAFC3A3E02E51EDD898B7A313],[216E17B9E2B33813F636ED14AE453540BB3995EAC764CDE0B122A24FB0C407702569DBA06C870396611DF036D8945F3A5DF79F3B2E141EC342CD87AA,059DA60135C132437B30F054A78999F610A3BB5133AE1ADFBC8EE5CFA71A69C9F035EA2D3A62345565DC464FA86AE075A740B3EDE4EAA3350494D9DB]]
FP4imul = [[4F64EA9BE21443D54311F925A7F2EE087FD06AFF289211E866044B1E5118FE4D6D4E45F7125C24F5B30F1F2A1E8F59416C2C221BF3A14B4BE6E18B1E,5161AB8958AB28E2E692430EB1B928D58F8A798F0DDF4FF22E4A40DE2070E527D1BC01CB7E902D2FA27DB8B3C6D8C4B00F3653866C3EE24FA6B1AA49],[191AB14F94FB3735D222D03E5A006AB3A735C824BF352D8D5B391357933CDE21478389149DCDFAA901F2AD20A71262F2166DEE9C5DC6A702875F5467,3C79C097EDD76B59B79DF5A1097DED3A17EDDE9102155300DF6501C7C64DFF863F63FD0DCB4B58E1503E64CA6771FDE627148B280C3783B5002DED7B]]
FP4sqr = [[4849C964BE7FFE0C09CC7F76766A35EDA416EF7EC505793591331A3A2E62991373DB7D79091291F6BD2FA2985172E2CE02815016E4A77B0F8015FE1D,481929E1CA88DD40BFF895FF88D4305BD4F9DCC0F282177A89132767C927BA74772B698F1DBF0CA90E807248D315FD419047C7F7439528112A275F36],[1CC38EE3A50D414AA6DB7105AD8F602A27D101E48F23E3840D4DAD8D01F66E8ADC461104CEAB262622BA7CFD9664BDC2C0360AEC0276F04E96917430,0F618C2A5176083BDD4262FF1604E79ACAFA945234674A4BA92BD98813735FE1E0D914D1C5BC98FC6D964E49261D28C6733CB89E44A52AF7CE189354]]
FP4mul = [[1C58D14FC2F88FA546B268C6D0E97419C0613C0F34B7D44E894A69601FF3CD2407E28A3FA37E55549B85FFDB2C725A50440CF660A7D0E0F153B569D7,18354EA7BD27FB36C50C4383747253FFA3FE5F03D164D88EFA2A6562FA459612F6FEC16B45B388F6702ABBD82D4E034298E0D613431464B28710EA67],[251F37E178F867EA25537B7F19B8B2FAFB0F7991F662A4B2D57E9ADEE50504BE1DE9DBFA6A089341B9C84B9CFDE041C9D953BA5C76A2E8BE1D5E3DD9,055534F3797D859A9A65FF2860E0793A77533866B5A7E7EA1A5C063A8E46CC5B2BE2FF27C03930FAF1F77C308FC47BC55BA190B37CB61F2C28D499B9]]
FP4div2 = [[11DD7E89FE67D7F3054E45DB9E513C364E616B6DFC1BC8983AD740869D41D6F445D36E004BE93B216C452F9D19EF3D375FC077214727A101E4358CF6,244C67D93E8C3740889D34A883A3CA5EA5183901E6DFE5B6A8C33D1AFCFA7C57B32B745A038A10743A4EAC605BDE44DD9D264E4584F879CF26580170],[44DC7ABF690E43DF88B311C8FD7AD0B42D65331FDF2C5DC658EB6B5594B6EEC807EC5D98E591DAE35F910F2420DA86FA6EE2376E12E8C875E8670460,169C69492416B209CDE3567E9C28D1C26995EEB89164B0E6EF92C694F15C8294462078B93E6BA43A306178FEBD4D5B410FF8DD8D3612B2D9EB4DBA12]]
FP4sqrt = [[2D6004CE78198E4B4C3BD74674025C0FD56E4DDA7919E0219379D55BD6EEC2E14FB2E4C029F6AF0D9DDDA40FE40E0DA906FE7FAC6ECBB906192370FA,530AC55D02DF26CF7316AB091821E4A66D0131237393479AC39BEB886765C54674FA371D50E17522FC2AFBD09A7BC8516E4726844D924724D8F46DCC],[3E7764CF22D3C84696DCEDEDB140F70528663D7250E35002D64C265F27469A164579C014A646860F528C99F12AEFA462126D087D24612161D65D97D4,1887D4F735528B1EB259B5EE4073A117411D810CFA5B4CCAB441650D32C049AF27F18B8E201577100A3C96B15C11E96D75A55ED6AA8480E501690273]]
FP4divi = [[345CF506CE4FC2048DCB37237AB672F07608ABBD6DDF485748F6388C052D7C08DDB7DC2B40F12A57A2C560919B720E11F5973E012D8CCF8486C7F395,2D38D292482D64139BC6ACFD3851A384D32BDD7122C961CDDF258D29E2B905288C40F1727CD7487460C2F1FD7A9AB6821FF1BB1A6C2565B3D69B7424],[3629E6633CF40F338DEB7A8421F50694F379A46FE2FBAE4EE39A7DA19A3C534BF8FEE25A4F734B95A693DBFD75CD8214FCE6C566CC201AD10A8D8E66,126EE94F40245F4D834EEECCE5528E2856B6CD93EAC41D1E6DEBFC945FB8A5636D580659B7A0D552CE097CC341EF07A63D65D7243DD0D8CD4222747A]]
FP4div2i = [[135DE99598D2BE4E97FB81D8752DB769074F9CF88B451D79290BD2F8E61A968A894ED94FF7AFC940292E036C90A11C4103014B2762D4DDA1C389D1FF,0515A4AC8C8E026CB3F26D8BF0641891C196005FF5195066556A7C34A131A8C9E66103DE6F7C0579A52926444EF26D2157B64559E0060A006330D31D],[16F7CC4E761B58AC983C0899C3AADEB202318E5D757DE9685E545D2410384510BFDCE5AE14B40BBC30CAFA444558044711A059F29FFB743ACB1507A1,24DDD29E8048BE9B069DDD99CAA51C50AD6D9B27D5883A3CDBD7F928BF714AC6DAB00CB36F41AAA59C12F98683DE0F4C7ACBAE487BA1B19A8444E8F4]]
FP4inv = [[1F6C3E892556FB18E42F7D1A27E65ECA10C8DF5FEB1E7680EDB86A98A0B139FFFB78DC983E29D07304522C44700AA14B66637F60DFCB0CE7E4BAE826,335B291B403677738A0CD2EBCF47CBBBF376DB7D9EE422DC2E47BD7BFD45B418AB665B99E25B315D76298AD3C27AA9B74B843A1B0A68F0CA1C0F046E],[3C9AD9277655BCEA3586B191CFDF14618E0695DD540CC51CD2A5E40D554BE9FB4324916CAE55891D7F5BE033FEB2B19E5A2CF696C68D3F5A11E4C91A,444FE3EC1DDFA643F18A4B7AC47889FB7DBEA5409A53E4582F512EB2D817764725D75D4F6C45840A46C41F77C5A3CF3796F6B76043A38CB111A67B8E]]
FP4mulj = [[0724227486225DF0F2048A264264CF6BA2DCCE4C4B15E68969D0AB62227476E05176EAB8C419E1E342026E9420D7578FD5A582E6C16769D0B02C7F71,0C39C72112B0605DA5F6F7B232C8E7FD6472CEAC402F36EFBF3B2796C3A61FAA37D7EE973395E75CE72B94D86FC9C4B12D5BC840A16D73D1135D528E],[23BAFD13FCCFAFE60A9C8BB73CA2786C9CC2D6DBF837913075AE810D3A83ADE88BA6DC0097D27642D88A5F3A33DE7A6EBF80EE428E4F4203C86B19EC,4898CFB27D186E81113A6951074794BD4A307203CDBFCB6D51867A35F9F4F8AF6656E8B4071420E8749D58C0B7BC89BB3A4C9C8B09F0F39E4CB002E0]]
BIGsc1 = 07D56CFB8832673EDF6410566AAD841E2C6B849DC9857D198D2F623A90A132A0E375CE4AF5973B509CD522315191F46C8C7911A6D19AFE445BCC0DB9
BIGsc2 = 0F
FP4pow = [[06E9CB37ECAB737A5DADF12D45F7EEAC851EB450B4A57D05921405ED0A11D526BB773870A5AA01875F2E06C6597B8A5B8FA0B9081F538F6FECA0997E,233AD6A064E42E480EE4BF8E25C065E8D62E61BD8FE66F554D6B6D6DA63D13A77DFF70D49FF4524517775B48929E923680751C82C99AA023264BC4F1],[0CC945C2B8FDFC1600DF85A264A7C7B56F46BA9036E6786B91DF8E395CF650A1AAEFFD1D254DF14A3FFBB71660C217CBF2CD0E5A946B123B718B6163,47149096799C7590E4261E4573D82B64CB0951108CC0314DEFD4268ACE38A499A6D45DE41EB55F1D8F7358F6ACD20BD96E42E0535ACCE830ADF34BB4]]
FP4frob = [[23BAFD13FCCFAFE60A9C8BB73CA2786C9CC2D6DBF837913075AE810D3A83ADE88BA6DC0097D27642D88A5F3A33DE7A6EBF80EE428E4F4203C86B19EC,0CC330C586B457397260831D78F799BA9A91487E82B9A7C8175A23E92A4B68D7CBC9F652831E6A86A7BF64F5EE867627ADE0944FEE53CDC8FD56124B],[4F58BD119A61555FE86C18D3A4A8EFD3DAC212D734958C445446EBEBB23B08F6477ABFD33C3C9387F297AE315B5282F6215BC1AEC499C74695C70C45,0AFAA916C5B2C899CAD54D8DBA5016DD39FA1D7AA879AFDCBD906A42A54357595ABB4EF9BB0A4A6954DF1411739A240C114425BABB6D14BFE86CBDB2]]
FP4_xtrA = [[067CB3C5A33B3C03FFD52B19A591ECCD579718E61C0425E81DD31199AD771B0CEB80E64EB0B6E3B9C1283E703FB606A88057FBF7AFD4584CAA964A10,16F99DD980950FED792E08013592FBC695E06772A92F2FB53CB35B247BCC43162B3A3825ACD65F834F9E8259DF48F07A61FACA0D1603B0FC50C7BBCD],[1AC5167219E48BBE0DDFAED1168224BB3DA48E246C1A98CE6FBB031AECA1DFC0FACB6E32977CA64E95924CC3A4FFB740B058A1041632980D294D0625,09132061D8625DF7CB1F40B7246701271C29FB3143716C6BAD1AD7641E86E4B58B05E29904416484B4C074CAB7624A4FEAD762FCF2F55893A616DED9]]
FP4_xtrD = [[D3CF3CC4E09E3FF4936807FD2545146A9141C6D49656D4A5D6181FB95B3D425C8DC577D96DA5710C1AE423E9B5EDF0837F7391C808F707EF3FCA45,0C438AF4D424C5F9211EAFCBFA843559255AB33BA77BF3D54EE6D11AF97E2A9CDC9E772D99C9564741A27E7E09DFE9AE03DBBFBC27F8023BDACD6EA1],[302178793DDFFF993ED6F2DE22BD17932F209EDD1A6900FD36598085E81105156594EA54C65AEF664BE8806A2705DA03C3375613654BCDF05A1B462F,147730D6DE040AA89134D08B0669002C8C9094B229809AB1FE9655BCB4A508ABC73A18B035389E7612BF748D750F95E7CAF2FDF824AB34F831496671]]
FP4_xtrpow = [[490023997F4A3010C6403E4606019FCD5B2E082CFA2AF9335437E60860696E47D2D53CAF12AE3E91FF9FCC094D31193781ABED5B63536436B615D92E,04614A16AB5D5A7E8759F05AA23E63F300A1E7462DA734FAE9E53203D90D068A6FF1DE56FBA53E8D6ACC3EF7880A6594B64319A28C6C680D1E46F56F],[3A886633781EDD8E6D042BBE56C62DC9EB10551252D45314BB32D527DFE0302291C7FF294B6C3926220FAFF688A44429FA71B16AACA373D86118AF84,0A8EE21CD2F3C4A88BB84EB6249AA94E146E6FBBD3DEEC3D720CF8737781352C1A3E414491B390AF5C2BFD985A0C847267C626D3757A10EDC9BF3BD0]]
FP4_xtrpow2 = [[52944AE2D46BD83689BFBA03B243989059B79A2DC2E8A6191D6667591E557D0A1CA236D58FBD2BAD5296D31948C3760D5E3DF9DF5D415FF472455F4D,55029E4C23F71C9482FD94336F66910A769392C9409A9FCE00E6AD2B31EE63956CB43A0D3502099B871152E2C6B4FD20F6ED2A6D7D5B6CB60428117C],[3CBD0FC4EBDBBDDE7BAD17F35F0BAC052DD33A19A0144CC7C5AC4F920D9ABB9E68909372AE1637F92CC438A79321CC62648717172B11D642087E68FC,4E7A0D66ADCE46C38016BA32B69C093FFB0AD516BEB417544CE2DD1D2576BB630BAB69E6F8341DD2C0FAE30142132400A55ADDADAB40AAA83E60994D]]

# test 9
FP4_1 = [[38F778C217ECDD80BB6DD33329B6E33E2D756958AFB93B9D160C455334AD66DA4783EEE714D018FF234DA60FBCE8F1D74A211F74636D06E5ACD4B6CB,2B1B9F7665B13E1079089E2ED52C2788424DAB574F8F5BAF36AC4F52727DFBFF593209A9EB86BCA4750AF3F6CBE6C8361DAAE3A08CC3A1CA12E72BF6],[49A4636CBA36F0B6010EC4789C857B36E054E736F995FE19B5AA3F6ACBA1B059B280894AAA7276A3D482505A26B50C9C4F317A65F4ED7C4A1ECC4D6A,298C386D4CA75E8A455A77F42F0B238F215C2F83182DB76EDE78DDC5923EBA0D505B6FE59DFA8A748906DAA7212CA7064F3079E57D8DB270222F4813]]
FP4_2 = [[1216EFC7885DD78D1B73121394260DDF95B766399489DE0A8BD8F193AB157D84ADA170A614B77B7ED91C37B258D159EDC0541251178433E997A86396,439FAC1347C79F034D4B9BCBDE7FFDF03667DB57B743910EEAECB4C01EAD34F0D41D08C4BD23A7098D5332D5CECDF7F56CA9BEB44B6045B37487F1A5],[1E41D870628C79229A6E20D3E487FEE74A3987D702A14509A53BBB289D2E21AF4F2FB55E6BEE02156E6C0D438543F215F420295109415E730146516C,3840549129DFD39FD01E6DE78C036FB0DB9E3F44F6D67508CCF1E8982B91A23AA378743DC9CBFA5BBBB02976923CBA71F48480557F8D593D87736BE2]]
FP12_1 = [[26EEEB768F97D00A913A92828FBF14E598113E9A2D56982252BF2682F25CC2469ADBAFF553A154DDD7D16B839488080751AB573776AF3D0C05E1E333,05074D03C156C585363C5F62A56B12DD6742FB64528EC46F62E31467A335F508B61FFF28795EC6EAA7BECE39B77D20A97280CE615A923E90DD64DBCB],[29984AFFCAD53E841F6A67C1CBB2384D614CA5A05A5DE72E03B64F5F558A58AF5EF617A30E060F5925B975563EB0D190E24A05605E2FFD068AF68ACE,24B76CFDE65B871FF680E7A64846B663C2CDBA3624683E5AD9F086D1F005C3DD34FEF007D8A265C627280EE22D841C8763965B7229D1BA8DEBE71F55]]
FP12_2 = [[26EEEB768F97D00A913A92828FBF14E598113E9A2D56982252BF2682F25CC2469ADBAFF553A154DDD7D16B839488080751AB573776AF3D0C05E1E333,05074D03C156C585363C5F62A56B12DD6742FB64528EC46F62E31467A335F508B61FFF28795EC6EAA7BECE39B77D20A97280CE615A923E90DD64DBCB],[29984AFFCAD53E841F6A67C1CBB2384D614CA5A05A5DE72E03B64F5F558A58AF5EF617A30E060F5925B975563EB0D190E24A05605E2FFD068AF68ACE,24B76CFDE65B871FF680E7A64846B663C2CDBA3624683E5AD9F086D1F005C3DD34FEF007D8A265C627280EE22D841C8763965B7229D1BA8DEBE71F55]]
FP12_3 = [[538E3B2E8C4852AA029FC3BEBBF8B33B3E933EF008B275AD5E794341AF1CCA07811AF1FBE33E03A853DB398EAE7F1A9145368F2847EEA00DF7F00366,3290D4EBC8DFE2456EAC236DA873E9A947345448BE9C2A93D3BE3C607B5FC05EFF1C195ED21EBC3B2EC452C53AFC5126EF4C2E8B6FEBC418322BB4CB],[38B34A82618D977E7F115C1BAE6FA68FBDA3E5D1C8FE8A5BAC83F913C772E587C375C82AD7DCA5BA16A05DEB14061347ABDCDF968DA7BFC9B56774E9,0B358E8AD9F449785301ADEFF43FFB41E536CFED05F8E32FD4ACB318059F507959265350860A0FB468976389F55D92B010F722FB03076B5071973060]]
FP12_4 = [[0B479BA765E46EE94FEBFF87705910881460EE06825A4C967625EC11B34C50E6001C026F80E70BDB32646E97AE765D3433BB68240FC69E5797BA01FE,0DDCD7D4E88BC5A0D1573E4616982E08BDE8BD426BF7C34156FD20BF078E68BEC7E296AB73C44A84458A74961E30F65080CDC8EC90C1F67D04F25BCC],[0B7B5C10C68AB6E5F5ACF1D51B448775C2F50AE83F8DF5AE40E1A2D069CB07ADB9B15D6F52B5D25EFBB227858C73C02BDB85B89332ABCE98DA1F0EBB,4EE3B92FB3A2E9ACA43663083B24E651DF57369F6348F20B45EB1E396928F69EE1103E689C8B5B476D2B4CA8521C14FFD29DA04E2727B12270EB7922]]
FP4add = [[4B0E6889A04AB50DD6E0E546BDDCF11DC32CCF92444319A7A1E536E6DFC2E45EF5255F8D2987947DFC69DDC215BA4BC50A7531C57AF13ACF447D1A61,195F4B11A9AC175942B94D8C336CF70093F3CC2CB6597988B8B865F36CEACF68FB2E33681E77D83EE6016915F471C048A2277179DFDF26163D690870],[128A3B6518F6A41E17E1F8DE00CE4BA645CCB48BABBDCFEDF2055C74448F7081CF8F5FA28C2DED4A26919FE705B5FECF5B2472DC05EA1955D60C89AB,0C708C8672BA6C6F91DDF96D3ACF64C81838B445BE8AB942428A283E998FFAC0C1B3051CDD93F961285A46670D2661955B87C96004D64A465F9C9ECA]]
FP4neg = [[1C6487B5EBDFE839C82D193B56884B39B74C5129A0C0379852D458CBEF92FAACEA9CF01F7562726FF90F17A6E95A0E0B9E0C116694D7BA819D315E60,2A4061019E1B87AA0A924E3FAB1306EFA2740F2B00EA178632344ECCB1C26587D8EED55C9EABCECAA751C9BFDA5C37ACCA824D3A6B811F9D371EE935],[0BB79D0B4995D504828C27F5E3B9B341046CD34B56E3751BB3365EB4589EB12D7FA055BBDFC014CB47DA6D5C7F8DF34698FBB6750357451D2B39C7C1,2BCFC80AB72567303E40747A51340AE8C3658AFF384BBBC68A67C0599201A779E1C56F20EC3800FA9355E30F851658DC98FCB6F57AB70EF727D6CD18]]
FP4sub = [[26E088FA8F8F05F39FFAC11F9590D55E97BE031F1B2F5D928A3353BF8997E95599E27E4100189D804A316E5D641797E989CD0D234BE8D2FC152C5335,3CD7F3DB21B664C7AF57EED176EB580FF0A78A81E8C53DD5B4A038B178112895B735DFEBB895A10A04147ED7A35BD023992E55C739A81D7DE8654F7C],[2B628AFC57AA779366A0A3A4B7FD7C4F961B5F5FF6F4B910106E84422E738EAA6350D3EC3E84748E66164316A1711A865B115114EBAC1DD71D85FBFE,46A7E454269450A4F8D6F67B2346E2562A7FAAC071D0B59B7A67934C8AED7959DF03DAAE5E611B87E9B36EE73532EC7742D92A6AF6451A99E4C1F15C]]
FP4conj = [[38F778C217ECDD80BB6DD33329B6E33E2D756958AFB93B9D160C455334AD66DA4783EEE714D018FF234DA60FBCE8F1D74A211F74636D06E5ACD4B6CB,2B1B9F7665B13E1079089E2ED52C2788424DAB574F8F5BAF36AC4F52727DFBFF593209A9EB86BCA4750AF3F6CBE6C8361DAAE3A08CC3A1CA12E72BF6],[0BB79D0B4995D504828C27F5E3B9B341046CD34B56E3751BB3365EB4589EB12D7FA055BBDFC014CB47DA6D5C7F8DF34698FBB6750357451D2B39C7C1,2BCFC80AB72567303E40747A51340AE8C3658AFF384BBBC68A67C0599201A779E1C56F20EC3800FA9355E30F851658DC98FCB6F57AB70EF727D6CD18]]
FP4nconj = [[1C6487B5EBDFE839C82D193B56884B39B74C5129A0C0379852D458CBEF92FAACEA9CF01F7562726FF90F17A6E95A0E0B9E0C116694D7BA819D315E60,2A4061019E1B87AA0A924E3FAB1306EFA2740F2B00EA178632344ECCB1C26587D8EED55C9EABCECAA751C9BFDA5C37ACCA824D3A6B811F9D371EE935],[49A4636CBA36F0B6010EC4789C857B36E054E736F995FE19B5AA3F6ACBA1B059B280894AAA7276A3D482505A26B50C9C4F317A65F4ED7C4A1ECC4D6A,298C386D4CA75E8A455A77F42F0B238F215C2F83182DB76EDE78DDC5923EBA0D505B6FE59DFA8A748906DAA7212CA7064F3079E57D8DB270222F4813]]
FP2sc = [3E90371D024ABF0D37EE357A13DBE4AFDF598BD0837505826BD6EBEFEAFF4BD43DC79A0080AAE771A3017ED640E9F025E6D16A7756C4648C274658A5,0F93C53C4693FFB59DC54822B71A09B2343F1BC42C59A932AB6C674F29FFE5AA0664C0462AC1688871F9500680324B07F17CDFB2CA34C0DAF757241E]
FP4pmul = [[3EEAC126468454070744B76968663BA41A920CD6A25112F97AB86B35FB7FE276A23639F819F5989A0D7A84FC5A3B5FCE236E55B46DDEEFC30E10AA3E,06EBA69CC409DF52D3E087927DC3ECAAAC50C5065E5F294ECF70156CBD08E3CA7DF3CF8A538CC1EE483802FF1E7B975169D05332392E79CFEBB06E40],[4047BAABD32AA9C0723EF59BB908A252ED668F17741005CAE5CE2A94176206C7F70C548C53B996F748A03FC4A6475D19B63650BABDFDE36D04350131,4451DD8959048E2CA5DE8FC8A5335F38E688250B6D2FC66B2A03C22EF63499A6F5CA347BF4F6D5C5B2F223B226E9E6B92C6E9E7245727FEB679C6DA7]]
FP4imul = [[1CEFC3B8AC670F614967FB70CC7B3199F3E2A639EB6A9CDDA3FF13FDF0294F2E417B1C17F3840ECD8C9D7BECA7F88F4BC827075C42107028F4874C81,036CF9D31E56D999B9D93FBCA86482627F6670B13A9510A411E0021702EE59DE010CD135336BB76736E4A8DBC62A42254CA25998850A08B36F210B04],[4CFB1895BAEAE350F2D4992DE2B0C2E7A61CDAA9E9D73D8D380E469B838B39A2673F102E16647083F9E6108950166591087CAE0DD5CF59E53A3DEC4E,4C4DC20259D4A322A002FA55F79B91115C9C4C91D00161D6B92513CF2534ABD4EC78E219513CB156F3209C15169C3889C0FC3C9B039F4F4B33680117]]
FP4sqr = [[2312E721CB8CF083413BAB431D6A83E3D12314C5AFE80BE11391575CE0770618087F09EFC2ED4E651814080A35FEB3381D9EFC10E6C19ADD461EA5C1,269C2404523F31C23847BBBB26C0DAACBB45892761BFA7A33E01779001225DA22DC3673A9E278BDBD196A553614ACA9E3F1A76B303E445A76BEC40A5],[0C2EEFC7D950ACD830F8BEE035DB5E39D80143BE4545B2FB71E257EB39940357E712C45A8C12809053F725E0D0B06DBE6CD6AB7A80CC36373C798AD8,348487FF77CB4B891E47F94183ED571887D247B5540CD55B3EA97195D857EB037F94FBE53F52362E33E205A9303E47BA3E13E3B1738A84E9CE6DE2CA]]
FP4mul = [[25F2F72905A7871BBD729B50B5B087E1BFC444855698F994469914A954FCB495D129CB5718A1C5632E3B6CB4AD4F2AF98A958637EE57D9337097853F,3AA88D8353AADB51ACE8681633D59B2E3106568A07BCC002B5DA0DF9320298F873DE04DA176BB9E26C1F17A68526BC46A81E30039F3B8760B435A520],[0CFF7F013E1532793328AADB49A9EE99C9C7709FAF1B3B46F8BE852465843CF9DB1D190D5C1A211BBFD3B4EE40F328B918F01150CC64A2E4EFB21CDF,1F39E41E64268C434B42C7CDDF0551DB91106402AAF9C5E5602DAF1193ED9D5BF613700C2365A08DC7A617DF0A730E4926A9655ABD0F65A7B4CF9019]]
FP4div2 = [[4729BC9D0DDCD19D9F845FD0D4FB08DB091B91ED801957693F7671B92C76E430BCD266F6CF8152371FD531E33195F8DD19272827ADD8E4267B6D65FB,158DCFBB32D89F083C844F176A9613C42126D5ABA7C7ADD79B5627A9393EFDFFAC9904D4F5C35E523A8579FB65F3641B0ED571D04661D0E5097395FB],[24D231B65D1B785B0087623C4E42BD9B702A739B7CCAFF0CDAD51FB565D0D82CD94044A555393B51EA41282D135A864E2798BD32FA76BE250F6626B5,3F741C72A83A1222647AB23157A52903830EF502B453955223ACBDF25B3F8DCA413E277614168AF1D2B1CC2EE3B7D3749BAED5603AE939EBB61AAE9F]]
FP4sqrt = [[10A5896F1B704159A007D8483F312B71DE540D18D2CC308BB4B213B82CE187F1BB3A3A8F5EF0C4F859F3C7B1CC3A51F41E3A1FCA39D4507D591748EB,30FD380DD1DE73B489129D224DC0F89823FF7A058A2AD46AC0858BBE8EF5A48B78CCA73E241EC109D776248C1CD23D417AF5593D22C63BDAC8E431EE],[1C972284A78D876E464E3896FE34F9BCC4CDD9EFAD36C9C5F60996EB6E214643215C95B3610E90F0B82363F7908BD02102F9FB232EEDEA6CDEBCFDEF,39D6B6C768D9C1E02AB2605806653F4D5AA16FE5E693CDBBE036B9B10667C03CF83A10B9D9FBC5734D5F3274B56C99542E7301BE229A2F1D4D3F96C8]]
FP4divi = [[49A4636CBA36F0B6010EC4789C857B36E054E736F995FE19B5AA3F6ACBA1B059B280894AAA7276A3D482505A26B50C9C4F317A65F4ED7C4A1ECC4D6A,298C386D4CA75E8A455A77F42F0B238F215C2F83182DB76EDE78DDC5923EBA0D505B6FE59DFA8A748906DAA7212CA7064F3079E57D8DB270222F4813],[075B8BE03CE8AAEB586DC279BF51EE274580AD16D767920B71EBFB43417580A9374A8CC53B12251A3DFDEE27F1465D153FCF691CFBF5F3A43ADAE6CB,23C0139628C89325209ADBB515DA3960FCCCFE407827C9A3C4C0540F31087B5621E77CE4B074978A370D05CEDAA06B20DDDB7A8390CDAE25D80C452B]]
FP4div2i = [[3DECC66170A11BB17E829C82B8CBC7F5DBE813EBA2B288FE0273E0B67302FF2C32E0338ECAB261D88CA7E2FDA7271955B635C3F0F196372CF39285A9,531870DA994EBD148AB4EFE85E16471E42B85F06305B6EDDBCF1BB8B247D741AA0B6DFCB3BF514E9120DB54E42594E0C9E60F3CAFB1B64E0445E9026],[0EB717C079D155D6B0DB84F37EA3DC4E8B015A2DAECF2416E3D7F68682EB01526E95198A76244A347BFBDC4FE28CBA2A7F9ED239F7EBE74875B5CD96,4780272C5191264A4135B76A2BB472C1F999FC80F04F93478980A81E6210F6AC43CEF9C960E92F146E1A0B9DB540D641BBB6F507219B5C4BB0188A56]]
FP4inv = [[2E6E7C7A58986B3C7E884DB3BEAE479795FB71C522CCCD5AD50B7D917FD3BFF5C459AF166E9D94FB79B84EC0B1B0B710656DBE1CC67908C6A032D2E2,2E519021C8491C3A3557E7D914F292035797312ECCC8C0D743306F1760758AA2E27ED06D45F3365AEA269090D086C47EDF7265F4402FE4593E87D434],[27EA276A93A1846069EE43FBBDE0CCA1A09B2916B46CC264FE889BA4DA1665515AC1AC7F6F370AE77877FD97DA57857143B6996B41CA7B0464158E13,28E7908C5903433F1646FF16FEA62E53752AD1AD9ED5168380A5A3A945DF063E824AF2139CCE8ADABEAE0F46CBFCC1E2C91824A14313781F46926513]]
FP4mulj = [[20182AFF6D8F922BBBB44C846D7A57A7BEF8B7B3E16846AAD73161A53962F64C622519650C77EC2F4B7B75B30588659600010080775FC9D9FC9D0557,1DD49B6203118985C2CE4FFE4B51704E1CEF5C37C14A42532B427F1139A008DFD0BB1A29BE3A75A9412C6D4AA19EB3BFB634C3707A366D52F6F58052],[38F778C217ECDD80BB6DD33329B6E33E2D756958AFB93B9D160C455334AD66DA4783EEE714D018FF234DA60FBCE8F1D74A211F74636D06E5ACD4B6CB,2B1B9F7665B13E1079089E2ED52C2788424DAB574F8F5BAF36AC4F52727DFBFF593209A9EB86BCA4750AF3F6CBE6C8361DAAE3A08CC3A1CA12E72BF6]]
BIGsc1 = 08A20F5B226A98143D0E5059634CE4009CDEEF1F2B81B14A6F641C64C76642CE2D5B3DF157FAC23F3B75CF897DDDC56A626E6C5242A5151CA2F7FBC4
BIGsc2 = 38
FP4pow = [[186B6AC59E270F8D615CDE44A3831DF3169C8054EFD2E82FE08243789F36DEC33B661B958EC340617C38FFD07378008F10D074FCC5E61DBCB4358BC0,0C08816C4553CB7452C842E29BA5F4FA1A9FC5880F6DBD933A640F406115982CDF5755F637F34E28E3623594726D08E5462FFCE688E0F36392060D2A],[4EC43AC3716F0D8DD33AE411BA569049DF6CC13C126C69EF9A4CDD2D7E2B34FB72FB181C6A48EA32687E8803C5FBEAD299EDDE75BC68919FF2383BDD,31901C91741C161589A8FD7A5776BEEE9A3E2E9725CD7AB2C981CEAA4AB0D4D93595CAB32649C78D76DB0FDE6EC3CE2E40F3217599F66D8EAD0B94E9]]
FP4frob = [[38F778C217ECDD80BB6DD33329B6E33E2D756958AFB93B9D160C455334AD66DA4783EEE714D018FF234DA60FBCE8F1D74A211F74636D06E5ACD4B6CB,2A4061019E1B87AA0A924E3FAB1306EFA2740F2B00EA178632344ECCB1C26587D8EED55C9EABCECAA751C9BFDA5C37ACCA824D3A6B811F9D371EE935],[0F8402A146F7BA4F17F8027BF07F6E1FC6934BD0F02212D41F5DF62714F9936F07BDEABA1B25B5240960D3E7808433E271EABE545D41848B08AA8783,41B6BE1BC60A483BD19BF7F50C24D5DE2E39332699A1B58FBAFA849C7F6BD8622EF69847D46584613FFBB26DC50BE0203C96B0FA01060608F92F9DD4]]
FP4_xtrA = [[0E1E9312B22D23159F11D2BA8AEE504537C2B309BF96ADC1EE0C27F9D304C6E53EE9A44C9234A40A8223D321FFDDC4AB2863D4E7B3F1492DA45A10C4,2F3FDC994F1BF03576C525F886D9B989F01851C9F9C9B210E53521C905FF0BF7AD3CF352DA7CB20EA0F434F990EC2F9F69F227B99FA72827D2B68CC0],[250DF1C88118CD19E0242FE146D5D5615DC9936AE69076C1CF18AD8BFB452DB1FE0EE956CD8A9CF4B7B3E115AD6B4D6DD58D890FE0499E2932FF4EB0,06D704D2A54B871AAF2EB310DD2C5FD0AC900B51022E953F17AD106D58F7DCFAD932820624E350FD3D4BD15C3A2B027C2742435E455D0681284FE8B2]]
FP4_xtrD = [[067FF6159F7FFB3C4DFAF14B4A3BEBDF5AF9FC96A0EF07DC50596AD59B5C99EAAB980B28237FA7D5EDD579A1626FCF6C7189EE03182C4E79367B4D56,25C0E58F8AA97B5BC9D16BCBFCA7BA141B6BECFB131A637A3989770A4066C72AAD8032ED514C9E0203DD7B1C6FC03A14EBF1E04CE2A1C37A9023FDE4],[4A1BB62949F1C889AF7B5B62EEA7262FB3E957A9E7F83BF9745638A1AC97028419F2F7E956C4E268E09F08DE77D78714230C6F6B72626D64300C1081,3240F8620D4D42E32561FCBB61C46FBEE5C8EC3933EED10392BA8F01D894FD96EE2AFCA9F114BFA82992FD40CC5495E3F447A6A176612862C8C65DC5]]
FP4_xtrpow = [[139ED914168774C270436061FADAC9F004439F6F2A3ED6FA0ED50A4997B11CA0394A3161315A71B00182E97ADC3A7F320A14949A7297DA475A6477EF,16E6E19F88CB3AF7D3002DBFCB19B66EF8EF27557AFF06AE65DC5CCDE0AE122FC7232EDC37BFF615365CF6B7E8F875463BF858BCAB86880D4C888039],[218B5F1911C961F45892741CC7B655E2A8ECF22CBB139BC131EDB461EB60DB50C85B987968DA1D5B2FACF8D07F4D3074558BEA676C95B8BF7A92AC13,4C148AA90BDFDC39C8B5EE829795426A5FEB717542B630685DB30F30972C7D1BEC8BC2E64F5886B5D2EE21E34449F255891B804531AA01F8A39B0CB2]]
FP4_xtrpow2 = [[4B63F1EA80D61106443F6CB0AAB6EB372FEA5726739E0360010F1C779C3C914D291D6CE8595123436EB6724DA2ED6F6118FD1CB2F49B33141A03D7AE,3F739C281B0135063D8B7833ECF5AF5B730AD6780DDA6CE7E21B1A11356EA630D0C1898D11CC4D33CD2ACA6FCC7369541AFDC1302CC9839AAF656AFD],[3789860EF964BFBF9D8D6ED5104819C160A46971B769CB0CEBD178615098438974013BD62DE5392054E2367B14CCEFDE050C642033D71F164C477168,01F72C01037E2280B9DD603EDEB7DE39B652586FCFD464F12B086F8F24E4941DF4B7EC43FD3C972DA9148FBB50C386B018EB5324467EFF7993DDE6C6]]

# test 10
FP4_1 = [[28AB4D3DBEB0A236C81F3636BE62A9AB32227622AC93792C651F1CB486F85F01CF26CABD0C6E8DF5430DCA31BE46BC45AE575B9D3FABB7F496EBDC8C,1F737DC0846FA2FF6CF5B3575526E2F7BBCF7961C47B2C57824A653061ACB5F6BE8FE9B524695DC5C0F7F1BD1A6C9D50AAACD9163A4F5C7FC410A237],[082F8379BBBB0E308E87620FCE1E6F01C175BF9E141D1BFE62C91E81858479AF5749DC35593D1C5242CC4E2D421CD9AC24BE471B8FBDE1F2F3871126,1D9A040DED00E68DD13AB972E7B48455FD7A6308746849635316FB5B80579640E8EBCEEF1C1BE5F72AEF9B8FBD86CFEC5C89FE4B8FFE523FA6B325D5]]
FP4_2 = [[34C766AF193D005221824F5C5B35A751DBE97176105401919121360AC98B2C406367D56C4CF070F598CD498BDA2B964D717F0A00B0164E36564CD5,48A11B698F60D992A7DEC0C089D0DF23CE8285F96474DF46EFF011C6734FA0DD1117B06CA563627C0EAFDB854618559719540B838424721EACBC9A86],[12B3EFFB3AD113E92724533C710284203C01DF515005901CD7C86D0B9D8A6517D99F19A9A37A47C6F53A2ACBB8EDB3F27DBFD78C768FAE8826F0EC42,2ABA11C6C8BE84DECE31C5A81E286F5A3E8F2EB3B5380521145BA35A0874189D9DD134D75E7D4B9055CFC8B5FDB77B4E5C247278C63C47D2F5941E83]]
FP12_1 = [[32D4D0D119B8F99E5C66CFB82E3207D349D4A5CA5B640F51C047D3B6F738CF0260C1E27383B8B86A7F85F73DEB86E6F8DEFB0A0973D236D17F5DBBFA,491816CAD3EEE9297C47103FF1894F1614A5A6127E08E1186974F1D5F96E4918E37C8B524372EC2E3FA0E31467D8AD168473DFA63CD8342463C51E86],[47E10D294044C21483E30D6EB3DBE912D2710347AE675DF8E3D5CB4FC3A756B11DC04DCA12F1299BDC06F3038D2CDC470370E04C8CDC601C256F83A1,535386FC337158ED2B5EA0F0583A96F54C9A15EF2123442C30326D36AF09FFD37777FD5549EB12954BBC735BB4E8B48351D6A9C244BF7CFD910C70A9]]
FP12_2 = [[32D4D0D119B8F99E5C66CFB82E3207D349D4A5CA5B640F51C047D3B6F738CF0260C1E27383B8B86A7F85F73DEB86E6F8DEFB0A0973D236D17F5DBBFA,491816CAD3EEE9297C47103FF1894F1614A5A6127E08E1186974F1D5F96E4918E37C8B524372EC2E3FA0E31467D8AD168473DFA63CD8342463C51E86],[47E10D294044C21483E30D6EB3DBE912D2710347AE675DF8E3D5CB4FC3A756B11DC04DCA12F1299BDC06F3038D2CDC470370E04C8CDC601C256F83A1,535386FC337158ED2B5EA0F0583A96F54C9A15EF2123442C30326D36AF09FFD37777FD5549EB12954BBC735BB4E8B48351D6A9C244BF7CFD910C70A9]]
FP12_3 = [[5338DE82759A3A015363973BFDA2CC545904432C9427A05849D95727D7EC72F72EFC0FD5B8D48E810DA3302780317659E0AD94CA7630B3882AA9E783,0FE1D685BB6FEB772C5714B990333986A663A5F0E9AE25046519C6481AFE13B416031BB249DC461F4C37A41428A4DAC03607C12B216DFD776CA2F791],[0B6BD39C243D4516FA7CC1A08FB3B8CC50D95E706AEE9B0F58B973369AFE7AB3E9FAA8981557A0263ACDAD010A88FE3A905C02CA7AEDC1CE5300C170,1986B0AD9531B338CFF849D0C5EADBEA7327C248CE35D8A5999472AF994AA8B135E4299E6EDD521D8948EA222574051C65519CAFBA23628D20FAD12E]]
FP12_4 = [[2747E67A5112AE7D5DD8A5B106424162E7733988AA301CD268B970DAFD473925C307F79A3D9110DFA0022BA496C804193B51BECE34871842219B779B,21F51E3B000230957E22558C0C624DF847C7D1427E8852835AE4C45998D92D1B3BF819943B3DB293D92AB18BAE4C4D2B4651938F919862CBDFC4BBF0],[01C7D61868B0856D2B1DC4BB5565B2C3A21787C4AE34E8C56B322EB442D9C32CEFB47B6EC1DCF5B32B4605D484362C2C33409F32964FF2BD0FA7B838,035F3AD388C1D837375193FD5C1A815E4FB714F35382EA7EC1FCB726AFB46038F82E5621C24B488D989EA92DA8546BA556850EC40C3725824809F389]]
FP4add = [[28E014A46DC9DF371A40B8861ABDDF5283FE5F9422A3CD2DF6B03DEA91C1EA2E0F8A329278BB7E6638A6977B4A20E7DBFBC8DAA7405BCE42CD422961,12B898B21003B6D7913987A95EB893A3A59044D8D87698690959D8D7B0BBF54C9D86BB1B3F9A34D2B34B0F8BBA41F304DBD3B3BEC62F0D3726C72792],[1AE37374F68C2219B5ABB54C3F20F321FD779EEF6422AC1B3A918B8D230EDEC730E8F5DEFCB76419380678F8FB0A8D9EA27E1EA8064D907B1A77FD68,485415D4B5BF6B6C9F6C7F1B05DCF3B03C0991BC29A04E8467729EB588CBAEDE86BD03C67A99318780BF6445BB3E4B3AB8AE70C4563A9A129C474458]]
FP4neg = [[2CB0B33A451C2383BB7BB637C1DC84CCB29F445FA3E5FA0903C1816A9D48028562FA14497DC3FD79D94EF384E7FC439D39D5D53DB8990972B31A389F,35E882B77F5D22BB16A539172B184B8028F241208BFE46DDE69638EEC293AB907390F55165C92DA95B64CBF98BD662923D8057C4BDF564E785F572F4],[4D2C7CFE4811B789F5138A5EB220BF76234BFAE43C5C573706177F9D9EBBE7D7DAD702D130F56F1CD9906F8964262636C36EE9BF6886DF74567F0405,37C1FC6A16CBDF2CB26032FB988AAA21E7475779DC1129D215C9A2C3A3E8CB46493510176E16A577F16D2226E8BC2FF68BA3328F68466F27A352EF56]]
FP4sub = [[287685D70F97653675FDB3E762077403E0468CB13683252AD38DFB7E7C2ED3D58EC362E7A0219D844D74FCE8326C90AF60E5DC933EFBA1A660958FB7,2C2E62CEF8DB8F2748B1DF054B95324BD20EADEAB07FC045FB3AF189129D76A0DF99184F093886B8CEA4D3EE7A97479C7985FE6DAE6FABC8615A1CDC],[4AD793F684B6C001EAFDFB41DD5B19596A359ACF1490FF16F3E14F950C3A761EAFCBA1923FF55FFA69EEE1182F72259C8F2BA06A1172F4D2169C3A0F,483BF2BF280F276986A3E03949CB4373A3ACEED70FA9B777A79BF6209C23DF2A7D3B791E47D125D5F17C909066125480E892BCADC206CBD3FB251C7D]]
FP4conj = [[28AB4D3DBEB0A236C81F3636BE62A9AB32227622AC93792C651F1CB486F85F01CF26CABD0C6E8DF5430DCA31BE46BC45AE575B9D3FABB7F496EBDC8C,1F737DC0846FA2FF6CF5B3575526E2F7BBCF7961C47B2C57824A653061ACB5F6BE8FE9B524695DC5C0F7F1BD1A6C9D50AAACD9163A4F5C7FC410A237],[4D2C7CFE4811B789F5138A5EB220BF76234BFAE43C5C573706177F9D9EBBE7D7DAD702D130F56F1CD9906F8964262636C36EE9BF6886DF74567F0405,37C1FC6A16CBDF2CB26032FB988AAA21E7475779DC1129D215C9A2C3A3E8CB46493510176E16A577F16D2226E8BC2FF68BA3328F68466F27A352EF56]]
FP4nconj = [[2CB0B33A451C2383BB7BB637C1DC84CCB29F445FA3E5FA0903C1816A9D48028562FA14497DC3FD79D94EF384E7FC439D39D5D53DB8990972B31A389F,35E882B77F5D22BB16A539172B184B8028F241208BFE46DDE69638EEC293AB907390F55165C92DA95B64CBF98BD662923D8057C4BDF564E785F572F4],[082F8379BBBB0E308E87620FCE1E6F01C175BF9E141D1BFE62C91E81858479AF5749DC35593D1C5242CC4E2D421CD9AC24BE471B8FBDE1F2F3871126,1D9A040DED00E68DD13AB972E7B48455FD7A6308746849635316FB5B80579640E8EBCEEF1C1BE5F72AEF9B8FBD86CFEC5C89FE4B8FFE523FA6B325D5]]
FP2sc = [28BB7BB3FE498EE1588D4EE11D2F8EFB93493CF9FEA43844049AC488B9300526817BD6EEB8C737D4F8AD92138CA4532D6D137825F60CF3A487BAE80E,26C52C7DA5219B49185F8DDABAC4B695A96255A06C1D828CDE6C0CB8ABD083B3266FCB21C7B3341A10FB9CED207C798FDA69FD3FFB1251974A1509E5]
FP4pmul = [[36184AF8399C3213F84CAEC2E665CAD8C62FCC807C1845BEC809C1833FB763321FF3350C759F41711EBF99D5C674438EAE889884E7944D0E08ED17E9,29956B8108A87A8B4A92DB8D0E148345F7E2CA1A17DFED6A5DCD0A7C4E21465E54A3F161479D56352B9D08730AD4B316AFFFC59E6B38D8E5C2A0588F],[E0E17D1383FF5D2E92CD9FB0D0CD3AA70C49A1004C261CDD3C1994F721F49144B08486907A7C63D3706B144C86BAC4A84D077E869D59B3EEF48D22,0F282F3BCC2E25CCC3ABE799AFDA682B19F788C6F313F7C551F67213E64726E209066326D631E04DB3DEDCE166742ABF84F04E56A4AA73C04CECF70F]]
FP4imul = [[1895B54BA5029D02FAAD3632B07B3D25302F3D2ECF4975B9EA9589DC2DB9D0F37FD9A48B4718CFE2EA0924E517709EE7805D751B5BF671FC26326C40,1AFB6A5C9C8669CB49D288C67DA06F4DEC0614E8F6E8357359FBB456025141171CAC9A4AA91CA9A673A14681FB08882D478C0F3723FBFC480683746E],[49AB9F4799937FB502C2728E3F11E70FCD23BC8EB505FBF17912128DB1A8472A1198BDE02325FEE4592EBF975303A70D4AB07FF80DACF18A8FBF9A56,0A56231549A1C9CCD03FBFBEA49B1B9E3B084BC5263E3ADDB12CFBDA165323B299E7A9545E6373632D563EE9B6F44FA688525E172722A006FE3A14FC]]
FP4sqr = [[2A278B32AAABA3AC811F4E32103877ED7301C0E15D15D9CE1A8F2EB0171379CFB9216185A8BD371D9ADF1C5BD5970FC191ADDC4A49DAE9A41F20CCD9,2002CC5090911EE6EC81F5E3834E59FB8199B801867593A5907AD0D63791AA1E2D21020F2EFFFDFA361C6898B28A6CD981828D65D0BAF050F9C9E131],[46C939886F90C74CC3B88061DF07E582D1C21C88432824263B4BE7E83E95B76A20E96F48AFBBF283302776B5301FB2093D9F6FEE203C38DC213E208A,3098DB614D313BF2C80CDC2B357171827476AF9BB7D8C7EEAB183A2788AE4E45214F8E70A262807F646BC45A1A5E59DBD10275BBF338A464953DBB15]]
FP4mul = [[38C6F9300BA9ED5864C7BDD44B77F852572718DD0228C241DD9080A631D37E09F532989491419F825E7ACAA1A3B507FB3AA78F4B0183A9DC7FA2382C,13FA82F413ECE3D787E35E61A464779EE0CCB295F2BE41C8699F7098B64847BFDD217B72A1C161DE4100A78E787B0F73F767B4CC6436D63B2B6C6186],[5234AB1D8AA345DB989869479E1599E84D87A915283239768B4DB1FB7042A7EA92CD4017EA331B7F8BE49A2FF4A8D4083018E4340344B5F5A56B59E9,3BA6E813C9FB253FC5B22685EB758B30EBFEB6FF4D785FB43BEE7ECF1FEB9C30FDF78136E1D141335712ABA724C85A5B464A67E243ED975213B8F95C]]
FP4div2 = [[1455A69EDF58511B640F9B1B5F3154D599113B115649BC96328F8E5A437C2F80E793655E863746FAA186E518DF235E22D72BADCE9FD5DBFA4B75EE46,3A67BF1C441E345CF8484FE2EAB308B7D04899F20A7A4FC6759581A7C2F68BBEF858645DD74DF49A6EAA57B9E057CE99C96D04F8994A0EF3870B5BB1],[0417C1BCDDDD87184743B107E70F3780E0BADFCF0A0E8DFF31648F40C2C23CD7ABA4EE1AAC9E8E2921662716A10E6CD6125F238DC7DEF0F979C38893,397B0242F866D6242A6AD2F0B3F9D966F11E0EC56270DE4C5DFBCCBD524BFBE40D8656FAD32738B323A62CA331E4E7E7A25B9793442189D3785C9D80]]
FP4sqrt = [[322C62F9AF0B498FFFBCAE780A0E5EF5BF4D2B55EE1F863B81D059E7682400AB5913D708CACC84AEEF4091E2BDD743C9A0D54002F78CA3336885CF74,4137F08BFEDAD9F7A29D55464AADC1FD696941A35B0C3E20DAA9BE07F14070E06D0ACB631158200209C29203E40289EE3B6B02BD7B72DE02B9B283DB],[524DE7BEDC51101A8E4845AC9C264F8BB73ACF0F06D5A3A501EE0D1BB7BFCF0B2F07462212709A02F308E74E707805099D42AC96FC0ACFBADA56A4DA,076037B25B983D59691F5E2A65D6FC33D0832847D2C4021CB7CB02D6FDA80117D5B03307B3AF5C4C2D0EADF58A07F945B8781EFAF935E0364C24E354]]
FP4divi = [[082F8379BBBB0E308E87620FCE1E6F01C175BF9E141D1BFE62C91E81858479AF5749DC35593D1C5242CC4E2D421CD9AC24BE471B8FBDE1F2F3871126,1D9A040DED00E68DD13AB972E7B48455FD7A6308746849635316FB5B80579640E8EBCEEF1C1BE5F72AEF9B8FBD86CFEC5C89FE4B8FFE523FA6B325D5],[4EBD65BB237685785C57EAFE49E45D8D6959D50360C40C5CA82510020672BB3FDFEBC9BC5D853B9510313CD2BF7B2CBCA098B2C7391FEAEDD28149F7,2612187D64C5E3419438B4C78B81B3E237375EE0B43093304305F34D7F7A5C3E10C4FEFF5116AD9FCD2372A101347076F2415729F97432F93B956D6B]]
FP4div2i = [[105F06F377761C611D0EC41F9C3CDE0382EB7F3C283A37FCC5923D030B08F35EAE93B86AB27A38A485989C5A8439B358497C8E371F7BC3E5E70E224C,3B34081BDA01CD1BA27572E5CF6908ABFAF4C610E8D092C6A62DF6B700AF2C81D1D79DDE3837CBEE55DF371F7B0D9FD8B913FC971FFCA47F4D664BAA],[481ECAFE432045363514E98E13898CA2EDF1EF84710EA583E76981E4E8A514F88DB6B47230D7EBBB0405BBEED8B35996590434B379FB14745AFC7EC3,4C2430FAC98BC6832871698F170367C46E6EBDC168612660860BE69AFEF4B87C2189FDFEA22D5B3F9A46E5420268E0EDE482AE53F2E865F2772ADAD6]]
FP4inv = [[1250302BCB22DF783A0649233A2074F919B4F8D6F5E6E2EB08F1CA38BE4A2D01B6AE591A812BA6A694DE94249671C03FDF88417ED4BA2A5D608DA1F0,2E1DCA5EF8F79B05329815004FFA8FE8C9DBE37ACBCFD0BBC37C813484F244E2017076F1604784AB3E0CFCE967E53544977C26CB03D9F2EA08C5006F],[046372CF72945CBBBF3AEA940ADE05A24F5B7A8D728FD81A07CDD48A809212B391DC4B4DBAF47373223FCCD4E2D25982E7025E28D09FB2CF42B9ACE9,1315455063B8756E11AEF5AD7B768387A230D8D792BD2292D4FC491E2B8BB1463E63BB7F7EC818E71918B5A88C295DBDFA9FA3A1122B78859FD9EB67]]
FP4mulj = [[3FF17FE3D286ED5D40E7950B66A91923A8BD1717F02E45D07892C145296D44F5A07EEC4CC753C1CA343970542AD909A2B06179AAF804511A96DA007C,25C98787A8BBF4BE5FC21B82B5D2F357BEF022A688856561B5E019DD05DC0FF04035AB24755902496DBBE9BCFFA3A998814845671FBC34329A3A36FB],[28AB4D3DBEB0A236C81F3636BE62A9AB32227622AC93792C651F1CB486F85F01CF26CABD0C6E8DF5430DCA31BE46BC45AE575B9D3FABB7F496EBDC8C,1F737DC0846FA2FF6CF5B3575526E2F7BBCF7961C47B2C57824A653061ACB5F6BE8FE9B524695DC5C0F7F1BD1A6C9D50AAACD9163A4F5C7FC410A237]]
BIGsc1 = 09C52FD6005634BE50042CEC9831DFBFC36AF61708EB61D2F49D33DE4A67E4F99F6C3D44F643B26D9D358BF992F439DB078B6C971FAC5981AA6CCECD
BIGsc2 = 52
FP4pow = [[0DD4C429529E15FD5DB3EC04A75496F57CC3F0423FBA5807A003339DCA8F55DB260B7E276A9EFD7C6ECA642D548AFF63B29F88FAB2AFF6E716BF83B0,3D34F6641C335A731123D4A3C5FD9674CE6C409B97051D725DC6A1481A61C367893ED99D5A4DDB406BDF54D7BADCCC34509B38DC76DDDDA3E6F61F8B],[3F35B677D82004A1568700AA261F6BEE6512CACA8BDF1E3B78944F07FB6AEB2C102FCCE9E20D0D8761907B69A999090A85D26B43CAE5F43728527353,1B0D6F72AA162DD9E54A9D367AB93429A1D94D3B4B36C2BA4C78E8F3AB345D09DD4295FB6094EBD56EAF2D3B99715C9757163B8FEBFA2E9524A85E6E]]
FP4frob = [[28AB4D3DBEB0A236C81F3636BE62A9AB32227622AC93792C651F1CB486F85F01CF26CABD0C6E8DF5430DCA31BE46BC45AE575B9D3FABB7F496EBDC8C,35E882B77F5D22BB16A539172B184B8028F241208BFE46DDE69638EEC293AB907390F55165C92DA95B64CBF98BD662923D8057C4BDF564E785F572F4],[2A9359C63A326FFF54ABCD54EA4BDB10D3C5286FF66803F0CA5D4CC2B9936042AB90D15B8253F0D77F5C0C266BB032978A08BED2A6C90F488A900303,2DC8773E4E81320453576765998E5E143155241916A2BA10BF700403D975E973E8BB4576FF88266152560765351DB8DC0E59284332CD4395AE531C9A]]
FP4_xtrA = [[2314E0E4F404898542EC003EE42D2B2E6A6ACD7096DC164A1316EE75EFFFCF4D1779C9E0E42BAC42FD7E008BC79B951F345E26071509BA643BE34E76,03FC1E56DF20DA4DDB26C9D9E299786CE684CB452D942D75E6C44847ECB95D11D274279F304EF32A9E9954E022852BF16079995F92D963AB3DFB0CA8],[50A29ADF8015B322FBAD1637EE715D92898B3BFAA75065908398168BB6EC5C6EB4BC0C8A7628A35AB40EB408C5F816DE983139F7F2E599FC3682BE27,2A8DC1D9FAEFA41F5F2387C654DCBD1EFF6D67D13708BE07F42A0DFF6C91624B76402FD3F39002C50030FE9C7BE68FF29500451CA48CE6715709F2A9]]
FP4_xtrD = [[2E2CF12F311724F9747BCE3313B2530EF37E8F1E54685AAAB93193662D631D534CF4AB121A12A6A2312045AEFF4C97191D2C55EAC2C83B223B4F28EC,3677D1478B7E9EA296317BA3593FC283EEBC7FC04DF8AE2BF4C6A49498789FB7E2220DAB705FCDDDD08942D523F4321B14560C145460F8B8BBAEB1EE],[01CC4003E33A1DF35D2C5812FB05950E6FEBE1421AE8E8ED97FD86CC255E49419D5C48ACD8039FB8996355590E16657E9EEECD4A47733B5ABE462DAB,1670E30523664353E6E762A2849B4BB68AA9BB2A502FE77FE86592BF651D193FC1064D485067C0FE9DEE3DC2EF28F9D1A1E941781AF0877C989DF194]]
FP4_xtrpow = [[115CBADF543FC9F4DB177F49A58C51D32E83D381BF7D256C5D964F6E34E21745F6BBFA9CC6C5F5154EC627867648DF6F201186DF906682F5AA5C634C,344FDBC3998CC2D7642832213E5357D10570FF9973A428C8F36F8D610888A620F7A0249A19C0AD4DC71C1B6AEB5C4FDB2C48982F9205BC637B2AA524],[08AC0BF2B245F13C30DD5ED9CDED3B32FECE6F1CD318433786E80FCD8EC8AB76CB1586F6471222A27DE9036F0B87A0365FCC24A9F352B944376DCA9E,32699B6C501952963C5D0C702FBB6137657113EF19FA60F03722ACFAFC46F0615784D32EE3968F4E995AFC29FEB6E4EE52292EB518894B00DC8D02A9]]
FP4_xtrpow2 = [[3472BEDC0C39F5FD18FCB39D0C4DB367E5E0C4B176D30BE310CEFA553EA102D87FB05F2BC482F572F39F38B740A96321894A2833B9A04BBFEA6A5B21,01126C0C3E85AB16A570C9A53A39C6BBFE05D73E98C08C91811213AB461A25A3565DE15BB2092B8C6644591BC4C973739A2011662F0A6C2BE46C5AB9],[4D66ACB5E8A1996DEB2ED5D1BDD6FBAFE7C0F8F87021FACA73FDE23D7EE1EBEB736AAAE5E8F3940045C05D6AAC7D0E4710B7124DD4BF79CEE54D0AD8,30F4C143173C082FE53206E4F70AB82DAE1CBC64D2CAACCA71DFCA17BC6DDA3483186B7A04F500A19C01409FEDF800D47030537FB6FE79F384D6B92A]]