# FP4 ARITHMETICS - CURVE: FP512BN, Modulo = 0xfffffffffffffffffffffffffff9ec7f01c60ba1d8cb5307c0bbe3c111b0ef455146cf1eacbe98b8e48c65deab236fe1916a55ce5f4c6467b4eb280922adef33, BIGmax = 2^512, Frobenius_constant = [0x1ef71aa9cf5bbf9095a1b79196a8c7c68b4ea18a5296f791ab26bc8cf2e2068398e9f8aa9e852cbbb59f6080d3bd8681e171514f6202aed1f49617b1f4b73ab2,0xe108e55630a4406f6a5e486e695124b876776a1786345b76159527341ecee8c1b85cd6740e396bfd2eed055dd76ee95faff9047efd49b595c5510572df6b481]

# test 1
FP4_1 = [[2EA047FF96322B613B922C0BD1764C17B58ECF4554087940B18A0CACF50A1DBB9235DDAF1F60D776E4BD010E543FB67A12E884AADC5E1404792BE0DCC83EDD9D,D7CEBE57B93CA88219F7FC43852BAE23A0F5249A15E1ECC5E4F8FB6B66D138226B57B16D45039F463C0C95C08E077DE55F6F8CD7C1C522D6B854F9993BDBE99D],[202472A34A5FF1CFA7308931F63367F51E6F6532D20641FF92549B69D0C5F761BA293AC1484B96475C1B7E630C3115253E371D525CA0DC9D40C5DD3A792E0947,BE42F7B379C7C58045F69AE96F68722590214E209FBD579289C04B5A9D0EB414FB67E5CAE530ADEA4A71C44CF172FA8497526ECC71AC22538059775556E709E4]]
FP4_2 = [[C846FE8DF8EF1B212662C39880907D9541F160DF474B9D79704D83C35420BF63071BE11CF12F6E19B4647F2AA2D7162F1AB1E4B465E7A1DA02A30F6A8251CF78,2C39956D5A013AA632991C379E62752474F308E55D83B7CD9A8A47B3256CA5B545497273A665E6C50CC1258DDB524E4BFB80BDBE3B0E20D10E9F7690AF0C17DB],[BEDB3958169930CC4A62B39D67A39B139585A39C635C6606388742A6B4BBE47E7BBC0BB9FE4AEE8921B6BB51D1AB4BD3DEF7539A8C8BBB777484BBEF08354C6B,0BAB98F7C66966AEAED6A673640B501954B18B1A7A86840B905739973F32B5BC8CACA15E6551CFFC5DA9E90BF721A283E89E08DE0BC78DBA10E8F104F667F480]]
FP12_1 = [[B222C6BF4C3452B4D2B635D01B1076ECEB5A5F9E6293B5CAD757E9DA7A11BE027E2151C70F138328E32FDECF6E41CD06AB06392042611DC375531A793078E0F1,88AD639A0899EA4D9DD9B741AA9E964A75F2BD839AF3AA7CF9876B77E58DA8ADEA12317B4281E86B779F41A044FEAC16EFE59462BAA355AB61294120816FCFE6],[2E89D4CAE29F84F7AECE501982B60CD4709E94888AC58C1D633DF86ECB98DADF50CD8A48CFAFF868FBE812053AF567A0A7922EC86895070005426AF135001C8E,0DBADFD72000FDC3A72BB128B588DF2A60FE334FA64A4B85FC644B1A012DB0D69B6295DC8F9A4C511BABFA925F34A5A9217F8BB082FA25F0B521741A188E44CA]]
FP12_2 = [[B222C6BF4C3452B4D2B635D01B1076ECEB5A5F9E6293B5CAD757E9DA7A11BE027E2151C70F138328E32FDECF6E41CD06AB06392042611DC375531A793078E0F1,88AD639A0899EA4D9DD9B741AA9E964A75F2BD839AF3AA7CF9876B77E58DA8ADEA12317B4281E86B779F41A044FEAC16EFE59462BAA355AB61294120816FCFE6],[2E89D4CAE29F84F7AECE501982B60CD4709E94888AC58C1D633DF86ECB98DADF50CD8A48CFAFF868FBE812053AF567A0A7922EC86895070005426AF135001C8E,0DBADFD72000FDC3A72BB128B588DF2A60FE334FA64A4B85FC644B1A012DB0D69B6295DC8F9A4C511BABFA925F34A5A9217F8BB082FA25F0B521741A188E44CA]]
FP12_3 = [[36205BA0F63A6A140877FE38FF1B707807D28BF96A139AC8DBE39669BC3CEEDD8E06AC555F5946A5063405105F4F15E725A24A8EE7209AE2BF49DD0D9F295193,3CA10DDEAB9A12169EB15717D1A0C5DD42AD9B2CFF57BC4E8602AC2AEAE8CE0EE95B5B32E145248535307C89BB533E0BA8F62960D86454560D580EC2F3355F64],[315CCE98A1514F177BC1E2472BACF35B9D87DAC67E8B50C995A93A8DC6726730B25AE629F3D903B2755EFC552B861249C65357CB6479D6F5630C7C355AFC3D8E,92D2B620E15564E00DEE6977FD23EA4332C1653F51699682763DD886867EA440A01490A467BD8FBAAECEF101027827787BF7A25087FE7EE3A1B83702316F7545]]
FP12_4 = [[70BCC38F3E74A332A63D6F4C7647A868E6461A126A383AAC1A85089E57F1B61092D5BB5EFFC12CC7DE57877C069B105F229900D847DE37092325A4E30718E56C,8617DDD5E89027D99579E104F1C46A514543CCB716F84EB61A3D9D822EA12A5817804F7705C9EB5D220E8563658E8F5113D84E91267B23C88591AC794B393721],[C15A31DD836FBA9E208A2C12575973FD6528ACCCD8518BFE6BD093830C3974EBCB3C00FA702CEA9D041D56FEF673BC453EE9F8A515E1861C93168048EB5A0208,C3D3E0E947140BDA5DF6028FB4CAA06EBC412A5C6C427192D59A464CE2EA99C7339F45097E36C3414E4F0B43FB738FFFD6A53E424D6A21A3D64C0FC8859E4F18]]
FP4add = [[F6E7468D8F21468261F4EFA45206C9ACF78030249B5416BA21D79070492ADD1E9951BECC1090459099218038F716CCA92D9A695F4245B5DE7BCEF0474A90AD15,040853C5133DE3284C91187B239436C9142221DD9A9A518BBEC75F5D7A8CEE925F5A54C23EAAED526441556FBE365C4FC985F4C79D86DF4012094820C83A1245],[DEFFABFB60F9229BF1933CCF5DD70308B3F508CF3562A805CADBDE108581DBE035E5467B469684D07DD239B4DDDC60F91D2E70ECE92C9814B54A9929816355B2,C9EE90AB40312C2EF4CD415CD373C23EE4D2D93B1A43DB9E1A1784F1DC4169D1881487294A827DE6A81BAD58E8949D087FF077AA7D73B00D9142685A4D4EFE64]]
FP4neg = [[D15FB80069CDD49EC46DD3F42E83A0674C373C5C84C2D9C70F31D7141CA6D189BF10F16F8D5DC141FFCF64D056E3B9677E81D12382EE50633BBF472C5A6F1196,283141A846C3577DE60803BC7ACE3E5B60D0E707C2E96641DBC2E855AADFB722E5EF1DB167BAF972A87FD01E1D1BF1FC31FAC8F69D874190FC962E6FE6D20596],[DFDB8D5CB5A00E3058CF76CE09C68489E356A66F06C511082E67485740EAF7E3971D945D647302718870E77B9EF25ABC5333387C02AB87CA74254ACEA97FE5EC,41BD084C86383A7FBA09651690917A5971A4BD81390DFB7536FB986674A23B3055DEE953C78DEACE9A1AA191B9B0755CFA17E701EDA042143491B0B3CBC6E54F]]
FP4sub = [[665949719D431040152F687350DFBB0175637A07E5882ECF01F86CAAB29A4D9DDC60CBB0DAF0021614E4E7C25C8C102C89A0F5C4D5C2D6922B73F97B689AFD58,AB9528EA5F3B6DDBE75EE00BE6C938FF2C021BB4B85E34F84A6EB3B84164926D260E3EF99E9DB8812F4B7032B2B52F9963EECF1986B70205A9B583088CCFD1C2],[6149394B33C6C1035CCDD5948E89B9608AAFCD3847752F011A893C842DBB02288FB3FE25F6BF40771EF128EFE5A93932F0AA1F862F61858D812C495493A6AC0F,B2975EBBB35E5ED1971FF4760B5D220C3B6FC3062536D386F96911C35DDBFE586EBB446C7FDEDDEDECC7DB40FA515800AEB465EE65E494996F708650607F1564]]
FP4conj = [[2EA047FF96322B613B922C0BD1764C17B58ECF4554087940B18A0CACF50A1DBB9235DDAF1F60D776E4BD010E543FB67A12E884AADC5E1404792BE0DCC83EDD9D,D7CEBE57B93CA88219F7FC43852BAE23A0F5249A15E1ECC5E4F8FB6B66D138226B57B16D45039F463C0C95C08E077DE55F6F8CD7C1C522D6B854F9993BDBE99D],[DFDB8D5CB5A00E3058CF76CE09C68489E356A66F06C511082E67485740EAF7E3971D945D647302718870E77B9EF25ABC5333387C02AB87CA74254ACEA97FE5EC,41BD084C86383A7FBA09651690917A5971A4BD81390DFB7536FB986674A23B3055DEE953C78DEACE9A1AA191B9B0755CFA17E701EDA042143491B0B3CBC6E54F]]
FP4nconj = [[D15FB80069CDD49EC46DD3F42E83A0674C373C5C84C2D9C70F31D7141CA6D189BF10F16F8D5DC141FFCF64D056E3B9677E81D12382EE50633BBF472C5A6F1196,283141A846C3577DE60803BC7ACE3E5B60D0E707C2E96641DBC2E855AADFB722E5EF1DB167BAF972A87FD01E1D1BF1FC31FAC8F69D874190FC962E6FE6D20596],[202472A34A5FF1CFA7308931F63367F51E6F6532D20641FF92549B69D0C5F761BA293AC1484B96475C1B7E630C3115253E371D525CA0DC9D40C5DD3A792E0947,BE42F7B379C7C58045F69AE96F68722590214E209FBD579289C04B5A9D0EB414FB67E5CAE530ADEA4A71C44CF172FA8497526ECC71AC22538059775556E709E4]]
FP2sc = [17CE9FED25B18B1C7B2709F806672C2350F50A27F01C9BE23A83D0AF472237F634688F3D4387298E2A75CB56C6E23BE09B9C7016685F92DEAA6F229450820E5A,4F51C4750AA2C6274682F135408E9E29A67A6862DA8AFA93E5B6ECFD5477952D410BA99996DFCB1CE5B6781921D72025A44B5343A666D5AECE899EF2CED4113D]
FP4pmul = [[0F98D721609DEF40687BAFCEF2FDA6109960233756CE5361184F3984B12F285EA82CAA2C24D0E0E9710D0E4D693C676DDA49369047173D763CE7E72F13154650,F6C4B69735F064B9019B56FE5FD85B9E102D709B2AAC7F484B577BB15070CFD2677066B8B7953C7C5CB414D975AB45742D02F4A1D7D2F5D284E14BBB000A9600],[EB332A72405C01A9BF4FF89306D5A8ECB149FA228E968002E394500CF35D03816498A6FBD581EF1B4C2BF9066D370584EBD7C4B8A6168620FAF06D9CA02FBA62,DC93EB62E050C8742422253BA9AA1856D3F099BE870C6CA0CFFF1AB87752A1A2AD618B4401F766789A2A9B8E5FE81579311B337DD9C80CB219AD757F0C89CA44]]
FP4imul = [[00,00],[00,00]]
FP4sqr = [[BF3B048B4C546DC8C0F9FC0FC14CB6CA8A3BA44F950BA07725BE2D5C1C99F022DCD3F3B41C99732D86EBAF62746650B3FFA7DC0AD5B1046FCEDE30DCF18874CF,AF05EEBF60F5F1BD723E4EE6D3B695037D71696F3F9B53F281239ABFC5DDD2F2BC9D14EE378D97B3E5AD74A22E68E57DA19B095205C8B1880DD4B78B335C313A],[BC95F7799890CA81F1853626991804D6807A829E17DF18476546CA26ABB7C8AF2866CDE7ECE0B0967C72110B2D1F2663BE7E71758C57DEBDDA79CFA6256E5560,6190EFBFE21C026210170DCA4FB2FC60919EFA9E2600FC3C021DEF66711940FC19DD48241D22A65C45D5B188E61EB8192022EF856668D8514665CDD28121220E]]
FP4mul = [[9F76705A5E4B94FFA9C20875CB267F54585AB49300060DCA28ECD7891C62913FADA1EC52A1D23201A093189A354B6A49E89C25229B973AA7D3B4017D3B6BF86A,4B0323643406AC3CB395F5D46791B8210915A1EEF38CBEB314F0DF8730E35BBCC52996B24D01B76E14F3FBD96314B47B864F29E46AC7E38943CF0568B91822F6],[64D787F9B34FD502CC6E4E8845DF9709F3AE715641BF5757A73FE4D9CB577A605217A2A789872B0073BC0D66457FF33DC896144786D7D6D52E762000038CB032,90CAD5487C6D57D849B7CCC4581E888EEC48AAD920EFF1CAEF37FF4D75B72D5F088070C163D54DB5979DE8EEA5575D25C3F0AED12CE41165318DABDD5253BC68]]
FP4inv = [[E371A8FAC305F19C1C79C25BCFD5A2B532C843D46DE31A8074126039E26E78D0259E4A3BB15D3D407088EEC3CF5520BE04018FF0602E693F68FF61F120FC7967,70A17C81B1D759FCF2833637848B9F37BF5D1F8687862A2418EFC951EEE8D05163D5A9FA4CC973E3DD81345F60DC383D5E6F1B8A68D1E796A0E84C46178EFEF0],[7D771716267F1C9F40C1ECF1C9CCAB0CCFF8111E4E4CB8B16C3A7C8396CFE6A32F208FA7FB32E45766255B1183914F9FA610597A37A5095D5F2A2D6E302288E2,7863F1C71CED3EAC965D23431678D0311FEDAB9C1B59B5402771CB099DD6B451E1A6494AA688D4308F0080E120A5BB54A39378B80CF383321621093C63CBA09F]]
FP4mulj = [[61E17AEFD0982C4F6139EE4886C4E24E901422B40B143D74C95033D045683292100824150FD98115F6361FF4C5E18A82384F04544A411EB175578DEE44F4EE96,DE676A56C427B74FED27241B659BDA1AAE90B35371C399921C14E6C46DD4AB76B591208C2D7C4431A68D42AFFDA40FA9D5898C1ECE4CFEF0C11F548FD015132B],[2EA047FF96322B613B922C0BD1764C17B58ECF4554087940B18A0CACF50A1DBB9235DDAF1F60D776E4BD010E543FB67A12E884AADC5E1404792BE0DCC83EDD9D,D7CEBE57B93CA88219F7FC43852BAE23A0F5249A15E1ECC5E4F8FB6B66D138226B57B16D45039F463C0C95C08E077DE55F6F8CD7C1C522D6B854F9993BDBE99D]]
BIGsc1 = F75FE69D30E91F04E95DCFFD55DA5AAB8AD38FAC7B582EC5FCE5F174B65910A8039CDD21FFD00CE26F1AAC3FC8AD2928B8A338DCB3DCC0DDF5F54B4DF7DB9D64
BIGsc2 = 59
FP4pow = [[82F3CA50557A8136C5FD7016A8875423B31150E6922F0A409D8A03BD324EE44502377D3B8095A9A994CB04A145705B6776CFDB46900BE78710E07BC1C5DBC8B3,519BABCDFD2207D91610BE5F0F67D2C2D818A3AB08AAF8BD91185104BCAA6471BCC7A906D71D5BACE450EB8CFF45892B2222CAF504C68EB792C07A5C00618582],[10010310AE7A9DDBB6468BF7B0636A17531B01CD22FD5221DE328A5B403FB2E2819406D307B4E40FEE464D95F55A7AEC849C21D6DAA7AB8C2BDCDEF9C07C3436,660FEEBF75FF98E2B319FED424C09613B0D91D661DC540D55E991307F2A1C9A9D1CABDAA583C50C58740926D65287748D09E2A1301A90B2515179EFFCC52106E]]
FP4frob = [[2EA047FF96322B613B922C0BD1764C17B58ECF4554087940B18A0CACF50A1DBB9235DDAF1F60D776E4BD010E543FB67A12E884AADC5E1404792BE0DCC83EDD9D,283141A846C3577DE60803BC7ACE3E5B60D0E707C2E96641DBC2E855AADFB722E5EF1DB167BAF972A87FD01E1D1BF1FC31FAC8F69D874190FC962E6FE6D20596],[612D23630B101664F71F0B83509F58310CBA86EE92A668AE48D83663430E909AF8A3B6AF3218C0AA98F3FEE9AB179DDDB7272B9591B6A30E861AF9464238C8CB,892A357AED820834541DE4AE551A810B404A991525DDDBF64330D224AA6857509FEF101C18D13B22AA9D79B8B818E0A56B2B21EF23FA81923DBA85C27571BA4E]]
FP4_xtrA = [[775C1B8D0E52E10976B3F4AF6071C4152725EB858AD9B9C7874E57ABD8C49C99431BA1AC36110E8C5863030A3D51D992F051E12634F50425B2CB33C5B11ED306,588911E7D32AEABF500F656E7DF4629924398C95E5E25271988B6F8B5BB761334BBF901B77EA23B6862645F97C9C5311D508E8CCF958ED590B2AEDA3DF9D703A],[0D5CBE8AF7F4A9163B6ACBEFA803BF1DD9FC2086FA068F6020884D43D8B689A2A14E5ABB79AC69A853E9F64228AEB984AA58A9BA9639311CB5F51DFB6CD00255,689F1043E126C159CB2FE799B9C974E13447A87E803885FA3731922B36BB94EC28E7FFCEC4B63B8230A8D61FB1E0EBD570A5A11880518E227198FA9057B94D13]]
FP4_xtrD = [[61FA748C1FF0170649D5A3F81E601E9B1F1E05C4ECFAADF5C2AA14023285B4ABB8683855DDD7C43FBD71AD45CBE6E3BFD9D6D2B51CF4DC66DC866F23610AB995,FF68720FEE7CA0B93E4E565FC95311BA3F13377EC56E207638A96B6B1B9D4138887B505107038A9936AD14DE68A0C97605909B3F40D734AA0701146B01003C66],[FCDEDCC02D50AE213FE6488A857ED4C0BD594D03BBEB9C4689F000FA4D43B7729CB9436A7D77DD2534A90DD1458150AE3AECAC1A459997F85C058A1B17CA67EE,DE16DF26D5AB8D629C04439D2E89F42CB01B8B3D8CB0585954E2A25A9985B9E0BF66449B3AC56977F62CD4441DE13D40BD5D774FEA74B890922D94740C4146A3]]
FP4_xtrpow = [[D2DCB337C35B7DD596937FE501AA58AF74AA73045F47F72BA7A97CB5AAEB71CE057A257753F9270A8A2431C7A391E69B0625393817F7B49CC9F5E05782FF97A3,BB9673CF26988A60093BF0AFF0D86E4C0FA566626E77CDB9D3328F6CA510A618406D3E47CB1A797CC9305DB3DC25EDDA82B041E15211B52700955241CFEE36C9],[46F2AAB90FEFB13E2E6D99CD0863C44B1A1FC7678DAB410C24A53CE7429DEA28CCB1F6E79FF9A87FC32AEFC973FA8549A08C416B5EE0BDF5C5316680B509D79A,7CD569DE85AFDAD51326990E444A19126A4914108CCE9B20725355AAF0E9086538E49D31CEE524F5FD62416D6FD2E5B8C6D269E82F65FCC44A71E92EBBEB5AAE]]
FP4_xtrpow2 = [[286A691742B247F464AF0996A1C302403711AA2D79194B0BDD878091D7E0D396E25E7B53AF9B1985EC98756E698AE5B0BF95B28CE56E95AC24760F55D578FEB1,2D28716C9ACE11F13A93FBC65E1E7CECE159E1277245F3F6F12AA5564DEBD3D48D1CBF805386301C5A79F4A1A196929FB3BF466E7D46C38BA766AF0D5CA6B5F3],[51F321F13D131EB16C9E232C0AD7401DDA0F6E7D3D5E4098D148BE958C863A405FF6FC2C354C6DBEE7F9F094390C3C10E75D6D2F3C3D42FCD5781C6AA844C254,6C3E3B391E66CFA1F733BBEC8FCBB39463BF12A1859B0871C8134F00C2C289FE6CCBE3BAF6A03DB2CE1B575CB555E8A5CC2727D11811825C0949C027E150FA2C]]

# test 2
FP4_1 = [[4BE5218236CC08B99D869C0355C5A9C78C3A28449C4F096386C0165764708A01CBC568D8E38BFDEE097424BD8E0E880F0F38E767F5C0129D04396C18FDDC8498,328AD60A191A830F2A6E07CF8E0B5AFCBA09F5F1B29089F3D856196D96007AEB3F6BAC6528C4D198A0F0F50E3A8EB51FB43D63F8AF4C87EEFE67C2646BCA08AA],[BDBE20105A065775855F07CB07C459E32EBF2B4E57D304D6270B9DD18A32D88D1AF1B8278114A5A2936E705D047B877D70DC5BBAB4548A56074F1E72B3F06607,1F5C8959412F8ADEAD52B08B431D2B6176ACABACD3396D9FE0207AA83E0D90867F1E7C354FA3BC617CC4BE12B67C5D9992A8F8A6D9D7F61E11828CC3E64E4791]]
FP4_2 = [[022C5FC34C6FCF650208FD0D1158FC5E4019FC00F647655419EF7EE388D186A52D6B0280E8CCC45381E02398F9F51D088A3652899B87AFA1713B2E0D58FA460A,A171C547595B9B69F996BC300EE4E722D6084216072414395EE2AE5439FA33D215C3700D0658F58F30EB5F3A88B2EB82F59A8BCA75D8156CC1A43481A4EF396A],[8531BB2F92FCC4EBE834D0430DB50815B2BE2C361BCCFD8E7FCC368D169DDA287FC7573874DE5AF671038BF998FD2CBB3E6F187D9BE6C043D0BC292E09FF58C1,D7FBBD595D49E8D1B2630EAB19877AD4DC6552C5B8256F48B2CF628AAFB37720DD90D01ACEE153E01E1871C0E15F83DAB2DCA95DA4C894494185382CD61C2551]]
FP12_1 = [[E8DD1BF295BA012D7EF7E47A90D12E50F1842B894B1ACC5C3271CD1FC4D33B129F2B99C43FF5330B7503AB8DE9E60D7370F2A43D8B1C0FAE01214B06E8636E27,EA9FB21CB68F93448C44E45E750E308F5898B26CC6161B6481F487D7ECD5E9CCD5611D07BD95443B0FC60F30744B5A99F28861B4FF251B30FCC02D6A8DA8D62C],[B0F9D9B9EE70AEF43514071B513FA2543A03E323806B1475F201C8B926A66E4DBC0786B1FC51731A33C3D22216AC90E13AB4E4D039938D58DD63494459E4BE4D,8DE5BBACE986E3018EBDF5E11B6810FC23CAED0AD07951A0EEB10443D140F2DA583B6271DF43C425E04AE87E8C02A6F8596B4D96AEAE7D96ABB135CF49C48523]]
FP12_2 = [[E8DD1BF295BA012D7EF7E47A90D12E50F1842B894B1ACC5C3271CD1FC4D33B129F2B99C43FF5330B7503AB8DE9E60D7370F2A43D8B1C0FAE01214B06E8636E27,EA9FB21CB68F93448C44E45E750E308F5898B26CC6161B6481F487D7ECD5E9CCD5611D07BD95443B0FC60F30744B5A99F28861B4FF251B30FCC02D6A8DA8D62C],[B0F9D9B9EE70AEF43514071B513FA2543A03E323806B1475F201C8B926A66E4DBC0786B1FC51731A33C3D22216AC90E13AB4E4D039938D58DD63494459E4BE4D,8DE5BBACE986E3018EBDF5E11B6810FC23CAED0AD07951A0EEB10443D140F2DA583B6271DF43C425E04AE87E8C02A6F8596B4D96AEAE7D96ABB135CF49C48523]]
FP12_3 = [[2D3BF13839DD4A1CEB2236BD424C4BD8B068770CDF667B9F099AB60DF6E2177F56F0344F90D80A9D8AC33EFA5460583804A849ECBBD18E226D9DBC3458E54F7C,890D722B77EBE29964A252AB2CFF97987BC48B03F8478F6E7995D5FA4A5247C9B92741D66C6EE62F8C217852A45AE057FA8CE4C113AF74FC9D0EC20D982AB6C3],[FACB8CBC17F41D3F36B5AFED621BBE63B8B87A40C7F66F88F007F07DEB938ED27E2619C4B17AB3F9BFFCFC970B1BEF5A71CE509EA7F090490A4FA98BC9C1DF19,6EA867FC914CD96A2218CD181D6201C144109C2C383A0FEAE920340B08832C5CF447871D65BAD8102C1F6087FB1FF56673FDCFCDDE0A7729C88E47C89B54F075]]
FP12_4 = [[9FAFB11F7D2E6F3A3C8F0803763CF1A40273D5403F5FDC1890791E50049172CDE0B27C2D3D44096E3BDA91ABD0F6CA29F45CE11FCF653C3D8527C7E4D9A3C13D,22ADC3021C65B7E6335F72C10140B9ABAAAB00ADDA143B301B9493B6CC85E2C5BCCA1A7AE76306BC4FEEC4988AC55EFE0D10C8A7AE67BB3FA7C0C6DE1792DA05],[1EE9D6E404B9D8036086F84B4EE1CAF11AE7FAA567A4E667C412F78261826047FFDC17B39BF0053B3034254A1217F9A3927E7CF0C3716647FA6270E5A25FA134,08DD533F98C25401FC269AF189E8D39A14A5B41401C74B298FF2D5E6D03B04A0964F83599C633F957BBAD474B179992961F0E76F1C5D9726AA5BEEC99EE1A831]]
FP4add = [[4E118145833BD81E9F8F9910671EA625CC54244592966EB7A0AF953AED4210A6F9306B59CC58C2418B5448568803A517996F39F19147C23E75749A2656D6CAA2,D3FC9B5172761E792404C3FF9CF0421F90123807B9B49E2D3738C7C1CFFAAEBD552F1C722F1DC727D1DC5448C341A0A2A9D7EFC325249D5BC00BF6E610B94214],[42EFDB3FED031C616D93D80E157F7579DFB74BE29AD4AF5CE61BF09D8F1FC37049724041493467E01FE59677F25544571DE11E69F0EEE63223201F979B41CF95,F75846B29E7973B05FB5BF365CA4A6365311FE728B5EDCE892EFDD32EDC107A75CAF4C501E8510419ADD2FD397DBE1744585A2047EA08A675307C4F0BC6A6CE2]]
FP4neg = [[B41ADE7DC933F746627963FCAA3442B7758BE35D3C7C49A439FBCD69AD40654385816645C9329ACADB1841211D14E7D282316E66698C51CAB0B1BBF024D16A9B,CD7529F5E6E57CF0D591F83071EE918247BC15B0263AC913E865CA537BB0745A11DB22B983F9C720439B70D07094BAC1DD2CF1D5AFFFDC78B68365A4B6E3E689],[4241DFEFA5F9A88A7AA0F834F835929BD306E05380F84E3199B045EF877E16B8365516F72BA9F316511DF581A6A7E864208DFA13AAF7DA11AD9C09966EBD892C,E0A376A6BED0752152AD4F74BCDCC11D8B195FF50591E567E09B6918D3A35EBED22852E95D1ADC5767C7A7CBF4A71247FEC15D2785746E49A3689B453C5FA7A2]]
FP4sub = [[49B8C1BEEA5C39549B7D9EF6446CAD694C202C43A607A40F6CD09773DB9F035C9E5A6657FABF399A8794012494196B06850294DE5A3862FB92FE3E0BA4E23E8E,911910C2BFBEE7A530D74B9F7F206058E5C7BF7D8437C8C23A2F4EDA6DB7365E7AEF0B76CF2A74C25491FBB25CFF397E500D2DFC98C0D6E9F1AEB5EBE988BE73],[388C64E0C70992899D2A3787FA0F51CD7C00FF183C060747A73F67447394FE649B2A60EF0C364AAC226AE4636B7E5AC2326D433D186DCA123692F544A9F10D46,4760CBFFE3E5A20CFAEFA1E0298F9D0B9C0D6488F3DF515EEE0CFBDEA00B08AAF2D47B392D81013A4338B230804049A07136A517945BC63C84E87CA032E01173]]
FP4conj = [[4BE5218236CC08B99D869C0355C5A9C78C3A28449C4F096386C0165764708A01CBC568D8E38BFDEE097424BD8E0E880F0F38E767F5C0129D04396C18FDDC8498,328AD60A191A830F2A6E07CF8E0B5AFCBA09F5F1B29089F3D856196D96007AEB3F6BAC6528C4D198A0F0F50E3A8EB51FB43D63F8AF4C87EEFE67C2646BCA08AA],[4241DFEFA5F9A88A7AA0F834F835929BD306E05380F84E3199B045EF877E16B8365516F72BA9F316511DF581A6A7E864208DFA13AAF7DA11AD9C09966EBD892C,E0A376A6BED0752152AD4F74BCDCC11D8B195FF50591E567E09B6918D3A35EBED22852E95D1ADC5767C7A7CBF4A71247FEC15D2785746E49A3689B453C5FA7A2]]
FP4nconj = [[B41ADE7DC933F746627963FCAA3442B7758BE35D3C7C49A439FBCD69AD40654385816645C9329ACADB1841211D14E7D282316E66698C51CAB0B1BBF024D16A9B,CD7529F5E6E57CF0D591F83071EE918247BC15B0263AC913E865CA537BB0745A11DB22B983F9C720439B70D07094BAC1DD2CF1D5AFFFDC78B68365A4B6E3E689],[BDBE20105A065775855F07CB07C459E32EBF2B4E57D304D6270B9DD18A32D88D1AF1B8278114A5A2936E705D047B877D70DC5BBAB4548A56074F1E72B3F06607,1F5C8959412F8ADEAD52B08B431D2B6176ACABACD3396D9FE0207AA83E0D90867F1E7C354FA3BC617CC4BE12B67C5D9992A8F8A6D9D7F61E11828CC3E64E4791]]
FP2sc = [0F6CDE7F415847712DE983D2403DDD053B657E252880D6B435552CAC8B3522153B34B6FE8C709F83D808D119C54A99DCF9152D896EC96BD0E1E9A1C1B58152ED,585EA9E72FBD43431BA8F8C80EB496B6DA038120F4F18F405C8BE08C64A4BAD223489A937693DBA628903C0F18085F7938D46A2EA763DDF9E084F73718656429]
FP4pmul = [[65AB810F082277ADE8C1CB67F98B8FB6A28F6FC545DF83DD913EABFF69787498E4985C952B154BB3D4D85F111C0B8724C102243AAC3120A2C5E6FB81D9A437B5,10B52F81A9548A685E43DDAB2A04BA084706A227880DE28F83C82B9C0F343B3625A8FAF708A6842FA86B4C8382B21B0E4705237F3D679715C10E3BA143EAE45C],[BD86389E6C480379D65425B66A7756517727266F8D8917E7B3431D585910B366349EDF922F284C072B601CDA7E03CD993AD80982AB94D2FEE8A5DD109B4402C3,4092F02AEFD5B6E8C0881D13A6000A0688846A60BF61E5A12DC2C2930CE129133663AC0C0D9D044C7D103A49ED708D890D2E67C740360CEB84C2757A3BF35807]]
FP4imul = [[4BE5218236CC08B99D869C0355C5A9C78C3A28449C4F096386C0165764708A01CBC568D8E38BFDEE097424BD8E0E880F0F38E767F5C0129D04396C18FDDC8498,328AD60A191A830F2A6E07CF8E0B5AFCBA09F5F1B29089F3D856196D96007AEB3F6BAC6528C4D198A0F0F50E3A8EB51FB43D63F8AF4C87EEFE67C2646BCA08AA],[BDBE20105A065775855F07CB07C459E32EBF2B4E57D304D6270B9DD18A32D88D1AF1B8278114A5A2936E705D047B877D70DC5BBAB4548A56074F1E72B3F06607,1F5C8959412F8ADEAD52B08B431D2B6176ACABACD3396D9FE0207AA83E0D90867F1E7C354FA3BC617CC4BE12B67C5D9992A8F8A6D9D7F61E11828CC3E64E4791]]
FP4sqr = [[806225FE089B3B847BF341416BC88AFA7B9876CABB00ED7848F9ACBB97A1CDDD05C0939249F859ECF6B06174A8B7E985C568FBA77248BF2B983B4A4A1B839561,215E23C0990E6E4D579592673C540EA7BC4A770FF6FBA67DD870BE961C06BFAEFD022D9802FEE4F9B80F7529CBAF5CA147B5D3217770904E61291C1FD7D005E6],[065698D9EC0DA6E1BEE007EF3DFBF9729659C0E5AF39EB5ABA26470987FF9E0C87C2AB686C1D992155B5A82313470ABC89E5E336896B6890E848DCBA37D2F59F,21D56E1B2942DB05C7688FC41BD063D8B276F406B71EE6731015FB25C3C85DF1573DE0F24597B3A77D748678ED29AEBA52904C7699F6F563CF30D19245C45BBE]]
FP4mul = [[224F89C81164370A21791AF964CE4177364C1A18C80EDB527DB0FBA10A813FB81463E9092742D00266900C196E481965F7836339E03CE15103BA2C49053693A3,7639D7C01FE51C2A8107667957BC3E9DEDB04C91E6C04B8691E238C6EFF77B9F8D93252DEAFB35A74B730C19AC2544796C3A615E47E8BA057401C61A98670BD9],[0D05D95213671246D005B8F2496C32DE927CCD8F956C65926D76608A28110500DC6D6187F88C244D6AB75D071A7CE1FCB1AC1B23E4201E0050DEF647F887596E,BB8B9B27A9A9C6F8F0E5E00326DBB2DFEF0BE620D3F5BE503E5223079C90FF8CDD4527430AAABBDEE7B2D507D3772291152719BE45A9842ADB18CAD8281C2172]]
FP4inv = [[DC358365C8412341534C1D5D22B8A4E301A376147EF34B3F9DC6C4BD287C4DA62DF295C6EC4D88FB4F06E70FE68DF9FCA5852B4918725C3D588B01DB3A35A6EE,C77E8E6BE14C4F91C4FD8F805F5F85477987AA39D01FA9A1A84FEFF941FA2DBAA5C86D0D2D54555F398C7609E2D741BE53FF25D7B599E6C5B55C7081A3018E72],[92E96735C84B2593405B3951AB185BC8D1F9ECFC0AB3C11C63FA06CAB88724425BC41E808F6FF0D71AAEFD4271635C150B1CAF1054869D991723C1EEDBD29C62,12EC5AAA80D41A75533260FBDC64A6D6F7537BC4EE0EE52F9377D35E083DF5F35BD01B89AC7D47B6B15FE4A17BCDF5D0DFF234EB93BF7781EA5DC81A79999EDF]]
FP4mulj = [[9E6196B718D6CC96D80C573FC4A72E81B8127FA18499973646EB23294C2548069BD33BF23170E94116A9B24A4DFF29E3DE336313DA7C9437F5CC91AECDA21E76,DD1AA9699B35E25432B1B8564AE18544A56BD6FB2B0C7276072C1879C84069139A10345CD0B8620410332E6FBAF7E517038554618E2C807418D1AB369A3EAD98],[4BE5218236CC08B99D869C0355C5A9C78C3A28449C4F096386C0165764708A01CBC568D8E38BFDEE097424BD8E0E880F0F38E767F5C0129D04396C18FDDC8498,328AD60A191A830F2A6E07CF8E0B5AFCBA09F5F1B29089F3D856196D96007AEB3F6BAC6528C4D198A0F0F50E3A8EB51FB43D63F8AF4C87EEFE67C2646BCA08AA]]
BIGsc1 = EDE3A347E6A85CBA07A8DEB44B345C0FB1DF49D89BA30E9A5E7809580C35A5FED61E0E5B6E9701782A9406B0DCC5C60FA7B220172925502188F8DE7A31E14099
BIGsc2 = 21
FP4pow = [[7552A2E99F72F979F8FB17FBA3390678F67C26CCECA55803E5277A67FC8C23BB952FD8ED8FF616B11D7E599A8C11571B73C89AED42F23E1912A6204F850C9D97,6ED872E8BB956220A57BFFC80668909980CEB3BB9662EE8DE1A5210083104862C9F0B5B1B31A2D51D19E02A3316C493CC025B1DA352BF0424E9F5AD504F376F0],[967784A616144EEA54A6217D54A188ABA02503BF957F612BC3D4A9FAFC7BF78FBFE993D6BEF37D641243D789BDFCE0CF25BDFBCDCD93C4C6A5CC4890DA47A3D8,C35DD7B2CFE8DE228B67CFB6237AD3B0253888BD2A934BD7210CBEF9F1F2A4F7FC7EFF766AB7B667098591487EA3ECA72261229C40BEE63D8A0EE862C6F81908]]
FP4frob = [[4BE5218236CC08B99D869C0355C5A9C78C3A28449C4F096386C0165764708A01CBC568D8E38BFDEE097424BD8E0E880F0F38E767F5C0129D04396C18FDDC8498,CD7529F5E6E57CF0D591F83071EE918247BC15B0263AC913E865CA537BB0745A11DB22B983F9C720439B70D07094BAC1DD2CF1D5AFFFDC78B68365A4B6E3E689],[C946FB4681641839D15D70B1CEA70FEBBB57BAEE38E31E1B129A05258BE827D9DFB1245E4CB181A3FF5A3CCA822DBCFB6833C343F59E022766BC1C96ED7A66AF,2088245EDAAC7B7E36F2F0479B48CB7D1ED78AF6CB97812F3A039E3D3FD595ECFAB37F10B2C0DD12FD3BAA9B3D83DEE97271628665461C5F22452FEF36153D04]]
FP4_xtrA = [[2FB8D2EB62996918FFF681D6AB97C8EE96DF47F7E27495EA2BDFEDD68D12B3A865F78265647658702B5AC6469257BD188117C3834163CC3984F0161019ADAF3B,D95E43FD844026C3BD91A678558C69A6CCC29064B432359DC6BE17D4B69E173E690BAD23F2BEC4F2924F0956A177FABE144ABAFC931733A1571B993C2CC8EC1D],[C7A74EFEE654371AF15DFDEB55977B961C896EB408CA2F4589DAEE265474C2654D2A900DD3A88AE16596803BAE5B527A16E9A702455868B86877248E9755B3E6,7C41EDB8E131BBAA27B7563DE8940105E801E04FDC0E48351E625BFB5B5815EFCA0157C5A7BC7C3BB1AC455841928A9DB2E51DF3185929F08A8B051FD807EDFF]]
FP4_xtrD = [[E897E2F99B032A1140E6093AC03723EA64EA31E35B2E2DB8FC3563CDE071A91EBF7C90FF2F9EF6C9C8547DD837BE4949386182A5E614FE5944B39A2142787B64,BC4877AC66D9682F02B982C82037452D49FC96CE6AA5E59DE8806F7C01B6B91DCF71A3EC5E33DA815AB9F0EC01B5624370A560FE7823E4D81944BF6022E9E3C5],[81D2D8FAA01A55CCC99E17854D8AC0B9F2120BE08614A1FF47819EEB8AB45FE16C5F4C98C1884BAD980622FE711AA9D5DA3444DD92C818D541FBF1967D05D27A,608E80CDABA1F0C3220DF0DAA20ABA9B9FD04B605D91C1B2D056F0763FE37EFE557AD95CE4DF2C6A76FE029E5A2269ED77E23DC44DA6E19FF235EB1A1260EAE0]]
FP4_xtrpow = [[47E516241294539BD2BC69722AD813A8DBA3E0A09A7F571AED1766B217932BD07C5D650434BE3000FF021DE15BB18F7F454E67C6D79A1FA6F86CFEB3ABA57DFB,D1FE0EE0CC685AD0D8309FF537A947EA50A064D2703B159BF16F1FCA45DF98D049EF84B59E0798A67F3C7B57C42DA419A98BAB7F4A92D096B77657788EBE72FA],[A62A2E432C0567A33454362D1A666F260DACB6BD88556179A3935C092DEF2EC6D6A6BE4A0CBE93DA45B2FA444B5AB61E49CE531EB0FBEE8EC6815F552488B9BE,AD27D546E0632444A087AA60191A3872061BA7FEAD48B9FCAD88FECBE0DEA56F6B172F88FA56D56C72DCCD6F3680CF36F817D2EBD9FF4E256B2967F285FD7834]]
FP4_xtrpow2 = [[990EED8B137B0B17A557A2C57360CCE607A90772E77DAAA9D62B510C3C6AA72E4E7702CD0E6647A1EDD998A2108AAFD3D1E044374876958639DD7C831222F933,109EF7991A0D4DEC61671E3687AB71B54A03741D246F620FEDFB9A6B062A00BA9657374A2EAD3A2EAE938011395379BB30445CEE84A5BA22A25A243A12C9B639],[417A20FAA202B3F21DD6EACF73B0066FD97E4C8371B4CEBA1EFD1EF3954C374D653ACB740A84E9675CCC076EBF6EE74F32A4B172513774E3FEB89FF1D44D6EAA,159D92BF26EF5698726AF57E7E018250254F588A7C2458950AC70A2A19DB302BFAD0427B79A2819CC1FC4EEC5CD59544B763F755EFD9CF2FC4573043C167D00C]]

# test 3
FP4_1 = [[8E32EEC7AF61CD3BDA2CCABAB7DBC73CC275B643D0D5D92992614231634201ED73A6A0DD550981BE096339D5BFE0C9A0892B572DF45A5AC5A66E9343468845EC,D1371A53B839C4249C0F9F0525909D9BAAB0CC141ABA5B30B0E0C4746DA4E6579556CBAD330B67CCC7FBC3205A3A5BA1B9E1A9E8B8161A9DA2E0D2D0B9EE93EA],[0BE58AB1BCB16EB60CCFCEDE6FAAD4579F4268F004FADFC61D67D745E9D12258C5EEFC561DF6E7CB87DF9F7BA857D61DB7685F3DB0314AFE9544665836E90B35,44E4050665F37A473FC276D77D8C8FD1CEBA22CE7FDFF27468F6EB040C1ED1B9A79D5B417B1CE3B868F8EF5D461D22EF9301E66EFB7485BCD0C550AD93E4E75C]]
FP4_2 = [[653845B8F573FD883008C1F684606C9B84F03766B03E035BF92F671037A7C45FB2C7766110F5876E75F32B06D72E2CAACB63050C6B8EBD763C6E1294C8B0F7F8,7164FDA694BB4C95A875548009F8419F58784417E66EFAE6E48710B5C15A599B4B673C8F52193892E2CFBCDB497B35451A91C86F3C97E07D13507AF987E0A38B],[60550E788C32231207A3F92D0AFBA49510BCB109A90E5ECCF0850F57579B2A48DFE95FBD870EF4205AEA97A67AD62E93D68E1977DB0ABF0370E533FC68002214,BE7B4A22857DAB749C8A8180E849A99A581F9E4B074B1EBE86EABBA13AD1DF84F73E2EAAB03F46D2574CABD1BA2FB041D134BF019C406C6F8E2BF80F70C8A260]]
FP12_1 = [[445F65B6E886BC24C46B366AB973268E39B2D5D81DEF3A6FA87BD0C78C29C230B50E09D2DC47A61075DB3674DD9092FFC5D8C8F52D0B0DEE478F2A4C8DF879C1,8FF7447C28EC1C8664338DC5209466A601230FCAE7B309C21FC906942A5BDBDE436815FA6BEF3C82591AC2818E9280CB3255DDE0F40450D1D25F65DD7698411B],[26195F971BF7F3F1FE0399F913C0BA82F26FDD6413C20BA6B871E9EE198FC0A26CA538AF8162E0805A5E772CDE3881545BF26636800A4E7FF9DE4A77EADA80E2,92FA0DF01EC62EE04261D75E7E2818E43E53162DB0B0715B2331004FFC122710E5743579CC7A55277CCC98A07CB363ADCCBA603396CBFD5CE75C879A4551BBD6]]
FP12_2 = [[445F65B6E886BC24C46B366AB973268E39B2D5D81DEF3A6FA87BD0C78C29C230B50E09D2DC47A61075DB3674DD9092FFC5D8C8F52D0B0DEE478F2A4C8DF879C1,8FF7447C28EC1C8664338DC5209466A601230FCAE7B309C21FC906942A5BDBDE436815FA6BEF3C82591AC2818E9280CB3255DDE0F40450D1D25F65DD7698411B],[26195F971BF7F3F1FE0399F913C0BA82F26FDD6413C20BA6B871E9EE198FC0A26CA538AF8162E0805A5E772CDE3881545BF26636800A4E7FF9DE4A77EADA80E2,92FA0DF01EC62EE04261D75E7E2818E43E53162DB0B0715B2331004FFC122710E5743579CC7A55277CCC98A07CB363ADCCBA603396CBFD5CE75C879A4551BBD6]]
FP12_3 = [[B20251C1BEDD49B4BA2EB4AC4E8095EE9267499CDE03F29EF6D7A8B0EDB2826B83A38A69BCE3D0C20358F8893C59503FD8CAB903E375EDAFD0A9BC412BED4B5F,AE8761B35A3538384171AC66B6436BDCA313F19CC6DC2FAD76A5AEA1A330DE4171D02BC15E10C81E082CEC807A07904DEBEA532553A050EDE298D7CAC8AEC8B0],[7B429956E9AFC68C8679C28EE3035D9389952A1B5E3896AA4F5B1C198B7C501B30EEECB1B67A00F79C0015BC9E5F7B48E7559183443DCE56B5D3FA769E3AF8D1,1A1DD9A92FF9C8B225D551A0501FCBFBBD8253166DAFFFA2FAF5BFA2CD9DC342596309E402FCBD3EA2873833633BA6A71B5F118B94B6AB974446BAF3690D3B69]]
FP12_4 = [[8327EA99DF6A86FE19514148DBE70614F734F42AD988E0462210672B557E2E90D2F2B32A3214D4F79E67FC40365933528C9CE0A0F03FA895BAB1E3B24EDD4C20,2866E33FA4E3A78A5ABBCB8A82054C1FE104D28E09A232BC0F295526A42E652B5DA6E9191F2D451CA2A8BA5506AB0299C6B41E037B413576A5F56468B0B1BDC0],[ADB1DF1B31F6E45437CD60681D64250EAF3A4819B2A7E0425888FDA3E0D7D0CB52E9818D56D8DF4AC9211BA4B4816984066C103E56C9EBF8162A11929BBB9EA7,CA4DEC0FEFB3743F620D733C59062E0D1DA4AE15E901276E10ECCD634BAE8B105A63D49C5D6B5FCDA73015180CAE0937CFF3F7218361FDA96006E9145F46A236]]
FP4add = [[F36B3480A4D5CAC40A358CB13C3C33D84765EDAA8113DC858B90A9419AE9C64D266E173E65FF092C7F5664DC970EF64B548E5C3A5FE9183BE2DCA5D80F393DE4,429C17FA4CF510BA4484F3852F8EF2BC0163048A285E030FD4ABF1691D4E50AD8F77391DD86607A6C63F1A1CF892210543091C89956196B3014625C11F214842],[6C3A992A48E391C81473C80B7AA678ECAFFF19F9AE093E930DECE69D416C4CA1A5D85C13A505DBEBE2CA3722232E04B18DF678B58B3C0A0206299A549EE92D49,035F4F28EB7125BBDC4CF85865DC4CED2513B577AE5FBE2B2F25C2E4353FC1F94D94BACD7E9D91D1DBB935505529634FD2CC4FA238688DC4AA0620B3E1FF9A89]]
FP4neg = [[71CD1138509E32C425D33545481E25423F50555E07F579DE2E5AA18FAE6EED57DDA02E4157B516FADB292C08EB42A641083EFEA06AF209A20E7C94C5DC25A947,2EC8E5AC47C63BDB63F060FADA694EE357153F8DBE10F7D70FDB1F4CA40C08EDBBF0037179B330EC1C90A2BE50E9143FD788ABE5A73649CA120A553868BF5B49],[F41A754E434E9149F3303121904F18276283A2B1D3D07341A3540C7B27DFCCEC8B57D2C88EC7B0ED5CACC66302CB99C3DA01F690AF1B19691FA6C1B0EBC4E3FE,BB1BFAF99A0C85B8C03D8928826D5CAD330BE8D358EB609357C4F8BD05921D8BA9A973DD31A1B5007B93768165064CF1FE686F5F63D7DEAAE425D75B8EC907D7]]
FP4sub = [[28FAA90EB9EDCFB3AA2408C4337B5AA13D857EDD2097D5CD9931DB212B9A3D8DC0DF2A7C4413FA4F93700ECEE8B29CF5BDC8522188CB9D4F6A0080AE7DD74DF4,5FD21CAD237E778EF39A4A851B985BFC523887FC344B6049CC59B3BEAC4A8CBC49EF8F1DE0F22F39E52C064510BF265C9F4FE1797B7E3A208F9057D7320DF05F],[AB907C39307F4BA4052BD5B164A91C41904BC38834B7D400ED9EABAFA3E6E755374C6BB743A68C6411816DB3D8A5176B72449B943472F062D94A5A64F196D854,8668BAE3E075CED2A337F556953CD2B678609025516026BDA2C81323E2FDE17A01A5FBB5779C359EF638A96A3710E28F53377D3BBE807DB4F78480A745CA342F]]
FP4conj = [[8E32EEC7AF61CD3BDA2CCABAB7DBC73CC275B643D0D5D92992614231634201ED73A6A0DD550981BE096339D5BFE0C9A0892B572DF45A5AC5A66E9343468845EC,D1371A53B839C4249C0F9F0525909D9BAAB0CC141ABA5B30B0E0C4746DA4E6579556CBAD330B67CCC7FBC3205A3A5BA1B9E1A9E8B8161A9DA2E0D2D0B9EE93EA],[F41A754E434E9149F3303121904F18276283A2B1D3D07341A3540C7B27DFCCEC8B57D2C88EC7B0ED5CACC66302CB99C3DA01F690AF1B19691FA6C1B0EBC4E3FE,BB1BFAF99A0C85B8C03D8928826D5CAD330BE8D358EB609357C4F8BD05921D8BA9A973DD31A1B5007B93768165064CF1FE686F5F63D7DEAAE425D75B8EC907D7]]
FP4nconj = [[71CD1138509E32C425D33545481E25423F50555E07F579DE2E5AA18FAE6EED57DDA02E4157B516FADB292C08EB42A641083EFEA06AF209A20E7C94C5DC25A947,2EC8E5AC47C63BDB63F060FADA694EE357153F8DBE10F7D70FDB1F4CA40C08EDBBF0037179B330EC1C90A2BE50E9143FD788ABE5A73649CA120A553868BF5B49],[0BE58AB1BCB16EB60CCFCEDE6FAAD4579F4268F004FADFC61D67D745E9D12258C5EEFC561DF6E7CB87DF9F7BA857D61DB7685F3DB0314AFE9544665836E90B35,44E4050665F37A473FC276D77D8C8FD1CEBA22CE7FDFF27468F6EB040C1ED1B9A79D5B417B1CE3B868F8EF5D461D22EF9301E66EFB7485BCD0C550AD93E4E75C]]
FP2sc = [424C31D627CAF5BEFFD690D3613A01CD5706EBF3E36E902646E52774B298CE83A4A24C5A400917BE178D9F7E51A38F754222F1B76BB187014D3ED69686BDA0BA,EB0061836613BC58CAC1530859D9F0CEC089532A7B4AE7D34F8C55B618813E4D3C34CB7DF8B7A95F0BF540AB8AF828ACA7AEACA1FF495E6F1347E13D6E7F8245]
FP4pmul = [[9B23B047FC8E5A609894BF8AD36A3B7C88D7F997AE29C5EDD23A6C14B576DB133FBF92DC340AA574825DD1822129752FB4692428AFC792A39C428B05A0BD892E,85E0E31734DE6322D7ED1382B8316F41EF8937359CA52D1B06594499AD027E3B91F48CD2729A4CD0F63C72A63C28C2D05B587FC5B6586C445A639EDB2F5A4E6F],[B2DED435C3D9D634C7F63017062B6FCB6A03A5A23D43293F573D3A7985563B88840B4964EDFEBE082BE6E4F8B510F74CCFBC2FEAD32AAA864AF6E80ED311A08B,0D63A6D41EEDDC4C77553F1795EC1D0DAA3DB48DABA9556A51DF2A8A4685D7F52F9773640BF682C2DA18362A437A8477D263D6CAD6CB2473C9B00D72E6A422D0]]
FP4imul = [[1C65DD8F5EC39A77B45995756FBDA1FA832560E5C8E05F4B6406A0A1B4D314959606729BFD546AC32E3A0DCCD49E235F80EC588D8968512397F1FE7D6A629CA5,A26E34A770738849381F3E0A4B274EB8539B8C865CA96359A105A527C998DD69D966C83BB95836E0AB6B206209514761E258FE0310DFD0D390D67D98512F38A1],[17CB15637962DD6C199F9DBCDF55A8AF3E84D1E009F5BF8C3ACFAE8BD3A244B18BDDF8AC3BEDCF970FBF3EF750AFAC3B6ED0BE7B606295FD2A88CCB06DD2166A,89C80A0CCBE6F48E7F84EDAEFB191FA39D74459CFFBFE4E8D1EDD608183DA3734F3AB682F639C770D1F1DEBA8C3A45DF2603CCDDF6E90B79A18AA15B27C9CEB8]]
FP4sqr = [[4C940012D00A141D835095B26D003D9AB9DB8B7FAF8D5CBB41A604F19350B8E6F446D74ED0654EE21D616C8204BBF71BC65D79E76CEB87808310558F48195D73,66CCFD50C0639DC7D715DB6BD57BBAFC2976B506D603B037F55DF1720865D8C6741EDF38CE5F1211DB9FB04D285E33EDA7DE6EC9B30C435C17777786E64398AF],[6B2AD06D2566AC7818CDB715D69FAD4F02B7956A99DFCCAF93E3BFF3014A892B3CD9E255EFAF5016E5BE18E2ECE118E3A8DF0550FB648D7120081CED8ABB7F5F,20DA3D284D08CCFF608183F959A9CC2E475AB88F96DEDB5DAD4FCB0383F6DD2A3312409F3DE5A3F6A9EB5D01FAC12A06C8F2ABE1E92DF4EF935C213A3F712D93]]
FP4mul = [[3D23C1CC61AF4AB9C3C18829E6A898E542835FD20C57DF471EB58655DC1F4EA3EBA6BFD99C183C535F5A659A45818F5CE4115736801561DA64F618CF4D25DFBB,D939000E9D083C9C004D253F3A209999E6465D099C7E1806515921E39AEA55A0DA813C1084070E97037808F3560E97EBEC33A8F123D982ED4AF880ADE6F0044D],[18822C9D16F16ABE86AB31F783DC31C3E7777F4470D4C0544FBFB965B357F38A959774478D76E1DB7EFE1FC5B1EC5D3A2FE9B67A35003381987272A4EA9DC791,D6BCE2970BA54FD32B6D33076C380E8163BA5663F19BB56008E6D681940014817A4F565A6E50FD55763B75F02855418A6D0064A2A790BAEA6078FAC841C6F32E]]
FP4inv = [[126CBBFF9AC06F59260D397E0DBB5A1FE56975A418232488B5BB29640CED44A1F210E874F50851A7E4E4E3639999D39D904842F06A4B1DDF69E55A9F50BC9EEA,4D418874071B06BC9767B80701E042446D464F86CDC251631CEE4676708999A6C0940B4F1B579E4B390F852D6594338A79D83248D0ED99C0ED4AABCE3668C1BD],[2A193804DA9956240E89A1B9F49EFCC16257871D9655FE0E8831AFAED40B158AB2BE42AE2D3B1507668CF03DF468CBC14AF24A9198D56C5397786F61C0E07379,214F90E669B270D6431573498DE7B8F6739E8E1C89FF3482512A80A83D12947C1D6EF0109A4474311E2059DE633CC7556906EAFA5EB9BE5ABABD77663E278F76]]
FP4mulj = [[C70185AB56BDF46ECD0D5806F2183104D24E51C35DE64059752CD002EF633FE46F9870334F989CCC037315FD0D5E230FB5D0CE9D140929A9796A3DB3C5B2130C,50C98FB822A4E8FD4C9245B5ED3764296DFC8BBE84DAD23A865EC249F5EFF4126D8C57979913CB83F0D88ED8EE74F90D4A6A45ACABA5D0BB6609B705CACDF291],[8E32EEC7AF61CD3BDA2CCABAB7DBC73CC275B643D0D5D92992614231634201ED73A6A0DD550981BE096339D5BFE0C9A0892B572DF45A5AC5A66E9343468845EC,D1371A53B839C4249C0F9F0525909D9BAAB0CC141ABA5B30B0E0C4746DA4E6579556CBAD330B67CCC7FBC3205A3A5BA1B9E1A9E8B8161A9DA2E0D2D0B9EE93EA]]
BIGsc1 = 025770C7F6ED6FCD95C1CD890F44E2BFD90D9227CFDD8FA0E5ACD4BEDAFCCD6B4CB25B0F5F13B7E7E63836D8C69886135652EAF5891A90BEFEF420AC1C92EC40
BIGsc2 = 1B
FP4pow = [[9B1A83AA9141D97649C00B7535A571B2CE200B80063D9C2E9F12EFD86489D5112D9DAAA40E05BC6BACC02B51B337CBB98CA01E1091F14989A2DB4716F93703BB,28A90074BA6D308755B02212F23C4CF55E1347AA26A47F699EFDF27130BD987950FCEBF6D84274509DC113EB0551248FF0C262C81C41F85BCFFF70F340B0555F],[F9526266B07DD1B3BB4A0EC8F5DD80698947D4629778C6C14AF41F07283A67B196C9F57A4619E24D2C78C8A22624C8B422E5D4C4041841F3BE105F5CA2F8DA81,D4A6B8A4DF5430E729D63E50435AB97C050AF1D504CFFA907E142704EC97237A4DFC9F78262B3AD8BE3FC604D4E65B8D8EC7759E719F154FF47C5C54A7C96913]]
FP4frob = [[8E32EEC7AF61CD3BDA2CCABAB7DBC73CC275B643D0D5D92992614231634201ED73A6A0DD550981BE096339D5BFE0C9A0892B572DF45A5AC5A66E9343468845EC,2EC8E5AC47C63BDB63F060FADA694EE357153F8DBE10F7D70FDB1F4CA40C08EDBBF0037179B330EC1C90A2BE50E9143FD788ABE5A73649CA120A553868BF5B49],[5828A5941DF026C4351AEB48F16E8DF321DA4970C4E388A0E9284E59F2C489ACA4ADF52237D072C88CF4D718BB5BBAA748FD192D4B01D94C0232A7F38137EAC4,4488C75AED76F6FDBE54C1E6F0D3DD21D7134F6A0860ECDA9F14B95910C5C95F052EFF5692566C526F39493133D12723733FE090FAE5E4C3E9FB3B96B965F049]]
FP4_xtrA = [[7BA644382E532BF84B840208C339D499E443D7D9E4B5715EEB9D10846EF992870CF914A7F608FBF07D7897D60F2D3893E4472D6BC1FEDD13BD44B27C8914CE07,C34F812F9184F292C42C5A5C2359B01B90B6FC2A3C5CB290FA5AD05E6C54E6FADE7C803A945022DD636C927E632BB4E4263782CCA12EE42B70318AE63E460C83],[5BE4A878651626905394B234E278726D7BD1D129105EB94A3E406933CD461ADBDB81DA2CCB82120994CD88B8530AD1BDC743F47B8DFAD98567941423052E0C7F,65645C66806534C88E40457868F4BAEFF5170A13B7EE869CD197E7B61EA91EC33FDC71800F83798462DE3E874AF8DB8404283C0769E3409A091981756AD583DC]]
FP4_xtrD = [[302E2283714679A5CEF7003CFD429BA036B62A99E6ACFD6FDD9F644FDE7DA4515E4064B2D310E41EEF275EB5301DD3BC45712159E383365CEB1E5711DDB6C0CE,C45EC8A94FF0157E9EF69D618A4E58C2D7A1342252259FE61514300B507DEAA1EBFEE61BC1C573EA14C0F5C9CA305C6D56EFC6950178D6F03B8C21F7B7C24F41],[82F5E5D09EC989E4326D54D2B5F555FE413C674AA3D58C3BCEB36E7ED4ECCDDCC8B7DB022B9D1FADF57D57DA3D90C51F17AFC3CC5BC7236E4A90E99DF88D95C9,AAA2473518EFC18DE00671A854C2EBD1E4CEFE2C969EC0467F3DA10B9C34809D824CF722341F6B677BDD3BBC86FB6FE5EEF678BFE017006934E6C295673AFC4B]]
FP4_xtrpow = [[ACE9DC1D7645D2E6C91C05C3AEE7DC2F968BD8AEE752EFE6DB8983C38370BD946A9985AC36D6D0C23DCC9D300C1DBFB4F0B50D27246673B69148D2A1AA086447,03BCD8961174E05DCF087977A086E30840F1EC421D3C78DE0B3386038BDF870464DDCB906ACE951986FBB165214D4F6D00220E78EAD165F11DCD5C64AF3559F8],[9F566B0711CD63000A81C76C10EC83BF99BE4CC7C11855B1D489BFC4611707BE4DD6914BBC6E973C77680475915318EA43FDA2418F70DBE90F20795433761DD1,67DCD21F5C93467B955D20B1C0F2B88DFFB7D27C0BBE1ED77CE22D2ADF8B9EFB885A0FF5AC272F7767845B26E4FFF959D1A00E24EC07DEB39113D53DCBB2610F]]
FP4_xtrpow2 = [[A78F6052CF8DE040DC65D40515160DBF1B11F93E2D4E9561C697802B8CC0D77C08D6D9C20D2D6BC0489381D59D18384345FAB8C6316D04658141446D5D541DD2,5389702A4912410072FD4461A21C72E28A327F964A1003304F716C09EB90CB0DABD67966718959E512B54CFD41BEF6B87E4A88AC51CBF2B900267936D13C8E9D],[DE7A3679301C9554B807E068ABB58A4E9D7BD6CDCF8608F7AD16F8C9A2154EA533106D1F4B8608042373A833BC0A096CE8BD096609D4D3AD2D7F3A4C09B5A19A,DD83B03C1EB51801E6A5FC1EC0F88BBCA37CA3F62B3D266AE7165E23AB431473BC732DA8B3C94770BF254B69C82D43C1F48E0982AAB182D3FA0261D5B89F21B1]]

# test 4
FP4_1 = [[2234FDF5309F87B631CB66AB26A27160B703CE50EECC6B066A8BAD70DDB787BFD4EE0A6F1349EC438EB873CD45DE6B6D7FF6B0FDADFD137C72F1EAD4D5CDA495,E6FF5FABAF4FFC35C0206368C0229D4FFFCA0B849499706806D3EF9BCCC5126EF70643F4110F7AE7D363CA71BE97FA3D58AD3D3D006FBF849B0A158F3E4B1E6D],[82ED93C75FB48EECA53D560C752AA3E26AE6F6B091A19250F95D03196F2F079768A6CAFCDA0BC77094A3B7205D92A9CE12B700CD8B3E66B89CFD30CEB259143B,9D3F990A41425A73B3A064785B8309E8FD12F89A56A7DC5EF7971CA71600CF310166789915B5E4B4694B7249668DDD94CC2BFD20DDF127C682217587AA1E6B78]]
FP4_2 = [[B54A7C87EB4313DD86A55087957BC27786F5E6495CD6661284FB77C0C57543A2DD0F792B9C5535EB23FA9DBCC6E8C97DA307F278E0B6F4EA7BAFABCCF8AF0216,AE7FE09899B1B34CD87519898171B42C1D6EC1F91DF93AED856A1E3C7B8B30CA581C0DA935239E82D8A48CB306E514A4CCD5C38EE9787424C167A8F66B5BB3D3],[23F0318A51278BCBA38382767FB291011799B642BE494DA542C014DA1436923EF7C0D105BDC37CF0E26823E667DE502B51E4976E2034D043C771BFCA8A899901,3CCF427DD75465639532DCF95E6DB38EE8AB13CB4B7E5C1F39ED69754567B41083723AAE9A0D88142B7E200ADD8847F68FFE1EBB6589A1F1521C949E9377AB20]]
FP12_1 = [[AC85456C73E898B175441945CF60288B8A5B49AAB29FB44A612D528D3A8D19AA2B8C08D87C7C35517A20D091D1C46B7675D2F1DC28FAFF32D679D8E9AE0F64CF,C00D11B2432E457CA0E41E0DEE344F4065CC54822EADC31EEACA7E680444813DF2EF40421E50312F122B76E797CBB42B9255500630C5F4C284333E7B7556ECCE],[23D180E8D827DBBCF9C0063A6D20B92CB4C85ABEFFE978DEAC9AC3E6C38874030E8B17E39C68B9ABE5505F9EF295532223E8C9921C4B1E4124CBE16D56A5A57A,1110E1771CA2772FACBCD63893DDDA970DF990335B644ED28D11580ADAE98A9CBDE87A9E975EF4B1DB34625C634AD94B75F98771E18A36BC0F6F241EABF9938E]]
FP12_2 = [[AC85456C73E898B175441945CF60288B8A5B49AAB29FB44A612D528D3A8D19AA2B8C08D87C7C35517A20D091D1C46B7675D2F1DC28FAFF32D679D8E9AE0F64CF,C00D11B2432E457CA0E41E0DEE344F4065CC54822EADC31EEACA7E680444813DF2EF40421E50312F122B76E797CBB42B9255500630C5F4C284333E7B7556ECCE],[23D180E8D827DBBCF9C0063A6D20B92CB4C85ABEFFE978DEAC9AC3E6C38874030E8B17E39C68B9ABE5505F9EF295532223E8C9921C4B1E4124CBE16D56A5A57A,1110E1771CA2772FACBCD63893DDDA970DF990335B644ED28D11580ADAE98A9CBDE87A9E975EF4B1DB34625C634AD94B75F98771E18A36BC0F6F241EABF9938E]]
FP12_3 = [[5AD6077BD3355FC409BABFCF5612A7BF9EA4154D56F03D09715D0BF9A0012BEE01347C19D6202045E4446CD95F424DE95F64916CDEE1A8725642B10F46C602DF,83589AF7E49F1FF7A42715F55168EC9DBEB8B5DC75BF365EE96109254CF319F57675D75251466AF3F942FE4AA417165D59511769929FDF505CAD57EDC17207E6],[2262FA5F450C9930E0E6F3BC655C9FDE5BF229342D376FC7CD88E80F68B30438798C5385EEEE15231613048DAF80850BFDDA03DC8EB337D92786473763A6537E,B58A8BD2446A589CD624A677803C4D4B7FC1D6A2D1309A6A22BDB5CFAA90C28133BC0B6D43F100E281D36E2075DE962FFACCA4F70C9A9AECCC9DB4576820DF8A]]
FP12_4 = [[3CB97A80A8083A025DA4EA3AB78199F7BABA17D2DB52CCD0A9AD812E270A4F0D9DEF83064523DC516AD29D79B571ACBD57BA33BFB09DA56D12BEE90440E49F2B,251F7AB350F3D700B73BEA74AA6B06D219136E531ED86648224EA311B62E2438954946473D18C12114804F51D64D867C520B869ABDDBED673C6A3452A4F423CC],[9F98E59E3356146F5D2F6E668B62F484634532D9712D0018F3A71BDECB5C7A6DE76049F673B76C7EA66DDA13BD4FE3FA7580B5CE2F8CEB7BEBFDFEBA5432416A,8275FAFA22EB2E2720C935C1F33D504AF54A95E5503B533042B5FB65764AFD60D52F3B7600F472D8CEB614EF3A44B225A2A61ABEBD4524DC879EA5BCCA96CA34]]
FP4add = [[D77F7A7D1BE29B93B870B732BC1E33D83DF9B49A4BA2D118EF872531A32CCB62B1FD839AAF9F222EB2B3118A0CC734EB22FEA3768EB40866EEA196A1CE7CA6AB,957F40444901AF8298957CF2419A64FD1B72C1DBD9C7584DCB822A17369F53F3FDDB827E997480B1C77BF1461A599F009418AAFD8A9BCF41A786967C86F8E30D],[A6DDC551B0DC1AB848C0D882F4DD34E38280ACF34FEADFF63C1D17F3836599D660679C0297CF4461770BDB06C570F9F9649B983BAB7336FC646EF0993CE2AD3C,DA0EDB881896BFD748D34171B9F0BD77E5BE0C65A226387E3184861C5B68834184D8B347AFC36CC894C992544416258B5C2A1BDC437AC9B7D43E0A263D961698]]
FP4neg = [[DDCB020ACF607849CE349954D9577B1E4AC23D50E9FEE8015630365033F967857C58C4AF9974AC7555D3F211654504741173A4D0B14F50EB41F93D344CE04A9E,1900A05450B003CA3FDF9C973FD74F2F01FC001D4431E29FB9E7F42544EBDCD65A408B2A9BAF1DD111289B6CEC8B75A438BD18915EDCA4E319E11279E462D0C6],[7D126C38A04B71135AC2A9F38ACF489C96DF14F14729C0B6C75EE0A7A281E7ADE8A00421D2B2D1484FE8AEBE4D90C6137EB35500D40DFDAF17EDF73A7054DAF8,62C066F5BEBDA58C4C5F9B87A476E29604B31307822376A8C924C719FBB020144FE056859708B4047B40F3954495924CC53E58AD815B3CA132C9B281788F83BB]]
FP4sub = [[6CEA816D455C73D8AB26162391209B6831D3F3A96AC157FBA64C197129F333624925606223B34F114F4A3BEF2A1911D16E5914532C9282F9AC2D6710FFCC91B2,387F7F13159E48E8E7AB49DF3EB0E923E25B498B76A0357A8169D15F5139E1A49EEA364ADBEBDC64FABF3DBEB7B2E5988BD779AE16F74B5FD9A26C98D2EF6A9A],[5EFD623D0E8D032101B9D395F57812E1534D406DD35844ABB69CEE3F5AF8755870E5F9F71C484A7FB23B9339F5B459A2C0D2695F6B099674D58B710427CF7B3A,6070568C69EDF5101E6D877EFD15565A1467E4CF0B29803FBDA9B331D0991B207DF43DEA7BA85CA03DCD523E8905959E3C2DDE65786785D53004E0E916A6C058]]
FP4conj = [[2234FDF5309F87B631CB66AB26A27160B703CE50EECC6B066A8BAD70DDB787BFD4EE0A6F1349EC438EB873CD45DE6B6D7FF6B0FDADFD137C72F1EAD4D5CDA495,E6FF5FABAF4FFC35C0206368C0229D4FFFCA0B849499706806D3EF9BCCC5126EF70643F4110F7AE7D363CA71BE97FA3D58AD3D3D006FBF849B0A158F3E4B1E6D],[7D126C38A04B71135AC2A9F38ACF489C96DF14F14729C0B6C75EE0A7A281E7ADE8A00421D2B2D1484FE8AEBE4D90C6137EB35500D40DFDAF17EDF73A7054DAF8,62C066F5BEBDA58C4C5F9B87A476E29604B31307822376A8C924C719FBB020144FE056859708B4047B40F3954495924CC53E58AD815B3CA132C9B281788F83BB]]
FP4nconj = [[DDCB020ACF607849CE349954D9577B1E4AC23D50E9FEE8015630365033F967857C58C4AF9974AC7555D3F211654504741173A4D0B14F50EB41F93D344CE04A9E,1900A05450B003CA3FDF9C973FD74F2F01FC001D4431E29FB9E7F42544EBDCD65A408B2A9BAF1DD111289B6CEC8B75A438BD18915EDCA4E319E11279E462D0C6],[82ED93C75FB48EECA53D560C752AA3E26AE6F6B091A19250F95D03196F2F079768A6CAFCDA0BC77094A3B7205D92A9CE12B700CD8B3E66B89CFD30CEB259143B,9D3F990A41425A73B3A064785B8309E8FD12F89A56A7DC5EF7971CA71600CF310166789915B5E4B4694B7249668DDD94CC2BFD20DDF127C682217587AA1E6B78]]
FP2sc = [6B6EDCC35E16521B5C0BB47E2485434152FA4900423DFCEF3D1B4AF3E67A0AA6FAE14D2D57DBC8F4B847453E341CF6179097643F0A2BDB0F5C7AB2BD23479725,FED955A47598CDA7B00426CE0460C059A7CE947167DDC33DDD38F969AA0016D6A2B0BC844C569106F2A3E7789B53D08DBBA0DF7F467DD970593383950BA53FDF]
FP4pmul = [[13C577528EED0A562F64C392393EFF5153DFA04045A13B3061B664357AD2BEF1DDDF7E18C237E1B6D037F80B8B8879EEFE97AE54A86A7C92C59C1B1D833A52D6,8048B5DC27397C95022C0216E877D4C0295939E77AEED7CFEF309F83A5DC791BAEAB6FE9C2C26403EAD27D37E782E998528295F4E0754C5AD6F0A68778D2539B],[EE7B41D202427B454BB47828B064337C365223D3C2F310AFE1EF3127BBA183119B6AAAE62B03A7727DB80E3EF75278161F67724676788D3A955BBD864B4DEF32,2DACF19D2D3347566832B1BAC87E8E2ABC6774FF10BEF182B8A6DFB5D5BCB2583DAAAAD2F7C81402873C872D4FADC65AAEBA476A78937DFA2B88C1BC9A64D112]]
FP4imul = [[669EF9DF91DE97229562340173E75422250B6AF2CC6541133FA308529926973F7ECA1F4D39DDC4CAAC295B67D19B42487FE412F909F73A7558D5C07E8168EDBF,B4FE1F030DEFF4A140612A3A4073FEF1FBD20B4A0C35AB289304075142ED58C242852D9ED9B13F45B1129397E5810EF4E7330C1A42B675BE6747F09B75857CE1],[88C8BB561F1DACC5EFB802255F85FF283EEED86FDC1963EB2B5B258B3BDC2780E8AD91D7E164BD98D95EBF826D948D88A6BAAC9A426ECFC2220C6A62F45D4D7E,D7BECB1EC3C70F5B1AE12D69128F313BF572DE2D2B2C42152609723430517E4DB2EC9AAC946315645755F0FD888628DCD319A1943A8712EBD179388DDBAD5335]]
FP4sqr = [[6B16FC1EA09252026F76FC93146CC8F50BDA943EBECCFACD821687E524BC1FB7ED4F6540B98AC0337F50A9F7B7EDAF21037F7C1EFEE9234E33DA52EAE8E7F80B,3071A13B1EE9844A92E62BA78F284DB5351D8631C4F2FCA97C8F876506F34DBC77A03330D94F7BB2A2043228209028991065617BD0CA3BD1949DAFCC4D263FFF],[73807FFE7D9BDFF3CCE8028F11C64EA8913495D3FA30823F6A3F4B4AE1D4CB0C5163334CB56A4E01723BE00D8100A2E3FF1AAD77496DB8AC7BDDDEC044C4BC17,2A5B99FDBE8788D27D67A401045987DF40187D498E4919BAD35D630C7C9764F6F5D27F084C1B452953529A4E4A021F0C6B7ABA55C2DC5B1EC6F5D2B62693FC1D]]
FP4mul = [[BC4174E3192DBA3C7393918298FE5D7A167F9663FBC2DF199E9400CF86ACBD2BEE99FF07C299F0664B62248C7FB09BA0D3BE487F4F0938FFD2845FC77327C705,DF4E0B76D347EB8143133187B3EB291BC09F1D7F2A932AFAC0170B39667C3A15DEFAFBE8664D9B949B25B79B2899896D5BDCC849E1866609987722B0EAE45377],[0659109B20A2EB39707AB5C9274974E493BCDD1E997D1F98435DE237FD18C8C3381366EE92480BF891C509D422E567D96841BAA9186E6FD75C460714E8387E4D,C37CF8B141BCDC27AD9FFEE639C12D431CB5E9FD4AADA7A8C69D7E8A5EAA285D7A187ED68A58803066782494A0ECCF976D2115F24180911BFD421107213392B5]]
FP4inv = [[16E3B1CA86FD07813FDE64A06F1ABDCCDC78522A4434B588DB8C9244322F33F3762B5F22AFB7870E60D49F3E15FB6852DF8E768E360109B22AA04B904FB6BC37,061C0F7220B2E3F6FC9F01D9D36F6D190294AE4876A3F5AB59E44035A6D81A83F8A85DF561B94A9C5A09B91CDD6A8DF04C11AFEF4C0A7313BC7EB80F5B1D84B0],[C5BC3392D931E5AD68F7B27714547697BDCC1C83C6BB780CA9D53D981109312A7795862F7D31BF9E8A9F675151167C1257A4E5FD8529F8F98828D82A81CADC33,BA74085ADAEEEFCEDF14B54A941A0DFD8293822EBC010391EC99E68E68C8AB7429112ED0AECB87C3179C9F8C4C2DB3694036815B31622A2477B2806BC9A0D208]]
FP4mulj = [[E5ADFABD1E723478F19CF19419A186786F9A09B813C508F9C281CA336ADF27ABB887218271147B750FE4AAB5A2283C1AD7F5597B0C99A359CFC6E3502AE897F6,202D2CD1A0F6E96058DDBA84D0B3C14C6633E3A90F7E1BA830383BFF737EE78318C674774303136C1962C38B18FD17814D78A82009E32A176A337E4D39C99080],[2234FDF5309F87B631CB66AB26A27160B703CE50EECC6B066A8BAD70DDB787BFD4EE0A6F1349EC438EB873CD45DE6B6D7FF6B0FDADFD137C72F1EAD4D5CDA495,E6FF5FABAF4FFC35C0206368C0229D4FFFCA0B849499706806D3EF9BCCC5126EF70643F4110F7AE7D363CA71BE97FA3D58AD3D3D006FBF849B0A158F3E4B1E6D]]
BIGsc1 = 06DF9707B4FE9ACBCEFCDCFE69827EB9B10C13DD4D744322F9144F450C6A084454302C8A3F95235C51E9DE610F5C054BF18186A3D1E8CC1B297914BDD2C0B433
BIGsc2 = 19
FP4pow = [[34EBD6B0D0F8833F2C27079E248B6247F3F9FC06DFD657C46688C205BDF519DE88C72109193500F628B9CD264A085ED7722CB1848E59867E617EFE45EA6D9B9A,E1F59CA539C7C05391BE690198FB79D45C03E5C5559405B16920826E4486AC7F85379735F2F7CA8FC429ACBC543D236FF2A4B0F400858238791EDB0CE1B81A03],[1CBD4C9F9CDF6FECACDBF27050FFFCFE1C5CEC6AB314D3FAC301239BCCC639A5443CB53307DEB84B90DE74E4BA8C9A743D59A02A17D7795F77BA1C18C2875CE5,22ACA1DA5669288EC81208A5E2822F75B240DB6444D2DCF78FF856C6D57DA12770EE368B345DED3AEEF3F84FA6FBD2656EF549B02D09F8CC8026B02BE20BBFFD]]
FP4frob = [[2234FDF5309F87B631CB66AB26A27160B703CE50EECC6B066A8BAD70DDB787BFD4EE0A6F1349EC438EB873CD45DE6B6D7FF6B0FDADFD137C72F1EAD4D5CDA495,1900A05450B003CA3FDF9C973FD74F2F01FC001D4431E29FB9E7F42544EBDCD65A408B2A9BAF1DD111289B6CEC8B75A438BD18915EDCA4E319E11279E462D0C6],[1BC728E9639C75F4FDEFC782CD08CC07DA915A45A5FF4B9331CB30475F98BA14BDA209487DB9F3EC12DF722B75BDF38BE568AC599C1E562B042EA557104CECC6,B9B02887DD724FDA0F610C193AEB78F13673560C8486F16DA015ED060266C491788733B7969E22AA0391BC43E820AD0AAE1878F7D9BB3FFB050FC2348145B658]]
FP4_xtrA = [[3C105ED17FB867813986A295564C36F8E41A59BB5C9D35D07945434A964E2E58758F6E39419CF14DF1CD000A6912195A050403156855A88CA00354F236406006,D083E464E8AC2689A2C3F1AD97F9896989A507C91793D48049C95761FF1BB329744EEDFA41DA2BF9D9D751777815D4C5558660758B86A077BB110C7C7FB70C93],[464EC5CA1AC8E38C0154B3BD503161C0BACBB74A3511737AE66B572EAB912347F962E290BCA1A415C7CE06D960A16EA1B48C8646F47CFF12CB891C8EEACD07DA,17977724F9DFA1344127C24B7577EE0A5C845F92F839A6BB448FC38473FDE16200D3E42FB029E0C50BE1319CDCA39D7AEA164BDAB2C4283FAC77DEA4E8A3D8AD]]
FP4_xtrD = [[26AD00343F5342960BE02F3CC727E6339DD2F79CE13424C0ACFF2D03694D10384373506292F6E7AC61DFC25D2C30D84603921A23A2EEFC554DF67D413D4CAEE1,6272E1E3C0498BDF12A564D60ED6EC133915866C4D56C1E8F05F6FAF90CB07692C21498610ADB754C4556901F9A713E181DF929E8E838597C85FD4C015EBE18B],[795BA78D3D04FDCD1762AEA7FC21A9EE653C779344A853D99C3D6DBCAE81EAF5D169FA27BCC34429B6F6E86F9102869E931E5944009E21B600ED185486C8F55A,64DACC12410C3DB9E4A86CF1BB65AF32387862DC62CD7F7101CFB89996E81413A758A11BCAC875D9415D19026BFA6A5472685EC91F724644164D95BC5822E3DA]]
FP4_xtrpow = [[2560BD3B2BE5E43D825C7F14B51A13276305FF1F9DE79C7FF7B28E9E2D761905AE5D105447CEF5C89A58244F5E94076EAE987BDF4AA027220031A1FE8FF327C0,99BAA416C33C989512766333D81EAC41D71D6ACB86E075E880B18C6A298192DC6856C5238957D42410633683EE4D09EA6BA658DB18A7EB130A6A5176D16F1DD9],[07EE9A74203E8F482B8F82EBA60E8EDF6179A746DA9B13463F08F2F1CB10E9FAF05CBBBA473A0CB58BE153BFA1BF4851C707F3EE23923D7241E7B670DA203ED6,C19D1F2E356FDD07EA9122D2C9D5F5298F8AC587AA808D1694F175954609CC8C3CC89C178C1CDC776B217BB9BFF7F1D4E6FF9B671BD992B6BE9FA1C5F1A71A21]]
FP4_xtrpow2 = [[974097E2636B4AB3777FBACA53FBC6E0092D34875F2C32C01DA241C95FCD3B2AC314A06E6A3F3FFCCF9BAE575A0E6EB5A89675D679E5158C138F652832B12F9F,CD8F32CDAB8FDE04C07747C5DE24DFF2D4A3D54E2B4F75F97B75A14F073EDB4F1D6E6CA6715174EA945511963B2EF307ED0B5EF8F4F408D1A9749571D5FC1CCE],[181B731BFEF34648A57B32F31859646316B27CA957639F18E408BD86A535804C88BC42FDB55DEF440BBC63DAC33B1056550DCB805AE7C074EE4493A3039DC77A,33CA0580069DD0512C0803EB4C0CB4DBF8895E288B1D280566BE9DCFDAD1E53556FA3ABFCFDCF9868D9EE1160E837E69C59132175B3663EC56DBEBCA40026547]]

# test 5
FP4_1 = [[C06D6A39F380A757D0E15ED2098B9DDDD1BB36CA215F10082BE07DC513BC4E2418C166FDC578712C97525F35586D0ED85393145668FB7D8F3E11A0898357470C,1015DFA334D474C93D487880A10E676AD5A3FAC03BB74FF1368FDF47BA5A1BA9105DAC5D09DEDC0728A2AC8FEE6F3B680273F2F9E388751384409C62FE1AF57D],[3E98F17A7B2E82FC6DA0957CF10BECD3D722D4A5F8C2E8FE6B383166C8678693C4AAD486D0EE0BA140759ECD7BDCAF26D4F15ADAA547B31A0548D9A2353AFB76,7C9AB19A982B18A2C5D94098A815CF6184253FB991F26EADCF3259E2E4E376783E235044F876E83BAA03F5D7EAAC9D3E3DC60AEF899191E9C85016D950F651DD]]
FP4_2 = [[328C19485AE2D20D92CA1EBE4BACD367B9F278ADD8941F101B0F6EB2450170E7171D13160DE9F9180AB4A2A839BFF39C8648F79A90BB3D04142F21A19D6DBC4D,2E47F1978FAD6FFE1AF22387083020446C09079AB43DB39FD7AB8B6E52A9890B9FD3FA9DB1AFACCC89B7A0E31B628CC480D4782F989F46577E35960430B79BAB],[F38867F37D2AF4C9D16ACB79580B6794414AF0968598ABB63CCCD79A49BC7862A42917FD8824C7DF34B135A1120BE947DD0BE71F21F0004DF02305B494F47CA2,EAB6669B7CAEF0AF2713D46DABE7878EEA4FCA7C521AF14212448B0714CAD2D35ED59A19DA06E41491453F6C85B874C107990DFA2BB82F845DD1A859E7397E91]]
FP12_1 = [[AF48EFDD8C4446ACBB105CD95A943CB083A1AA559A9BAAAA3B33AC52779A1A31AF98339EBBC04B7D1EA3DE6E95B11567B7714ADAB4A06BCDF365521474C69BB8,D3B0313ED80765DD148113621A09C08F374F0F58A7B8BE9549083AB24493253AED10002966E62DC592F62990466D8A73EDD71CAAC9D55CA240890754B9F510E8],[E34504E97D882C5AD7DFC115262AEE63DA5BD4D47F317025976EE4E689076CB059D2A5543CAD501B35E16CD457580D64276ED46D328339D64627D9F382FC13EF,723D71A38ECE9BB554E594A74B47575127CA100E3080F957337CDDC38F84D0B3F8105BA0EE93F423671E690A24B4FD10F096EBCDF5FC8B8753C4EB6848315D80]]
FP12_2 = [[AF48EFDD8C4446ACBB105CD95A943CB083A1AA559A9BAAAA3B33AC52779A1A31AF98339EBBC04B7D1EA3DE6E95B11567B7714ADAB4A06BCDF365521474C69BB8,D3B0313ED80765DD148113621A09C08F374F0F58A7B8BE9549083AB24493253AED10002966E62DC592F62990466D8A73EDD71CAAC9D55CA240890754B9F510E8],[E34504E97D882C5AD7DFC115262AEE63DA5BD4D47F317025976EE4E689076CB059D2A5543CAD501B35E16CD457580D64276ED46D328339D64627D9F382FC13EF,723D71A38ECE9BB554E594A74B47575127CA100E3080F957337CDDC38F84D0B3F8105BA0EE93F423671E690A24B4FD10F096EBCDF5FC8B8753C4EB6848315D80]]
FP12_3 = [[FE8E7C7BD0B2F339C013E596DABA46568E0ECB50A7D9168B4B93EFDB5FE59C210378F7F4F023401320A91DDF264B87AF1D02AD97095635C7E4CA6A2E821C38CC,1C1773ED9F2B59927560B83826E945ADAC6EA0A6A8D2E2CFABDF622F75089988DBE5423CDDF9DBF6D2957B88F73A1DA31D1B41859A530B8C338E39BC44EA9E7D],[89CA522600C0796A347E10D052D4BA5E271589899979450A036429479998E0FA1EAD82AD34763DE70DEA8DE4F42A7ABE00E565BB8B5A2EB4BA107B48BBDFB29B,DE1916C7158F5461DB90012B9E4008D16F082BC29E9454931797DA7A633E5D543BD78B5AF370B336CFC5AC9F5DAA4225070AFDBD9A2C00DBC15C6BAE81D68420]]
FP12_4 = [[0AB62CF42D96F419D06AE3066AF7267D35F2625F4A1E856A2FCDD64E625B286A09816CBF3F3DB0B901D5ED6212A5DD06E97E284285D5A5D18E9F1FDD6B92D3CA,57A0262F7DEDF0C42431B29B27C28F64C0BC8BC253B6B884C75486E48448FCF786DD7BA3FBD5DAF37C4B53032866AF54107BA5E4F8ACB218DE0829A5063B84E6],[ED8B1120BCFFD0389B8FF93BAB8423EDE97867EBB943EA6DF9A8EC950E3C89CB38DB4519842E063BD6710A891EAA15DF8B14EF19EDBF8D4D63D16266B4522432,FE5886EFA62EBEB7309FB0C0899F11F2F9D9C8681C82145AD393EB99E52F368058070F441C47990861E28B9DC23F8D854F407B02EC0BF6D5929893FA4AA562AD]]
FP4add = [[F2F983824E63796563AB7D90553871458BADAF77F9F32F1846EFEC7758BDBF0B2FDE7A13D3626A44A20701DD922D0274D9DC0BF0F9B6BA935240C22B20C50359,3E5DD13AC481E4C7583A9C07A93E87AF41AD025AEFF503910E3B6AB60D03A4B4B031A6FABB8E88D3B25A4D7309D1C82C83486B297C27BB6B027632672ED29128],[3221596DF85977C63F0B60F6491D67E916A7B99AA59041ACE749254000730FB1178D1D65AC543AC7909A6E8FE2C5288D2092EC2B67EB4F004080B74DA78188E5,6751183614DA0951ECED150654036A716CAEFE940B420CE820BB0128E7FD5A064BB21B4025BF339756BCCF65C541A21DB3F4C31B55FD5D067136972A1581E13B]]
FP4neg = [[3F9295C60C7F58A82F1EA12DF66E4EA1300AD4D7B76C42FF94DB65FBFDF4A12138856820E746278C4D3A06A952B661093DD74177F650E6D876D9877F9F56A827,EFEA205CCB2B8B36C2B7877F5EEB85142C2210E19D1403168A2C04795756D39C40E922C1A2DFBCB1BBE9B94EBCB434798EF662D47BC3EF5430AA8BA62492F9B6],[C1670E8584D17D03925F6A830EEDFFAB2AA336FBE0086A095583B25A494968B18C9BFA97DBD08D17A416C7112F46C0BABC78FAF3BA04B14DAFA24E66ED72F3BD,83654E6567D4E75D3A26BF6757E41D1D7DA0CBE846D8E459F18989DE2CCD78CD13237ED9B447B07D3A887006C076D2A353A44ADED5BAD27DEC9B112FD1B79D56]]
FP4sub = [[8DE150F1989DD54A3E174013BDDECA7617C8BE1C48CAF0F810D10F12CEBADD3D01A453E7B78E78148C9DBC8D1EAD1B3BCD4A1CBBD840408B29E27EE7E5E98ABF,E1CDEE0BA52704CB225654F998D833A56B60FEC76044EF591FA0379A796181E2C1D080DE04EDC7F38377718B7E301E851309D098AA359323BAF62E67F0114905],[4B108986FE038E329C35CA0398FA71BE979DEFB14BF5904FEF273D8D905BFD7671C88BA7F587DC7AF050CF0B14F435C0894FC989E2A41733CA10FBF6C2F46E07,91E44AFF1B7C27F39EC56C2AFC2834519B9B80DF18A2D0737DA9B29CE1C992EA30948549CB2E9CDFFD4B1C4A1017985EC79752C3BD25C6CD1F6996888C6AC27F]]
FP4conj = [[C06D6A39F380A757D0E15ED2098B9DDDD1BB36CA215F10082BE07DC513BC4E2418C166FDC578712C97525F35586D0ED85393145668FB7D8F3E11A0898357470C,1015DFA334D474C93D487880A10E676AD5A3FAC03BB74FF1368FDF47BA5A1BA9105DAC5D09DEDC0728A2AC8FEE6F3B680273F2F9E388751384409C62FE1AF57D],[C1670E8584D17D03925F6A830EEDFFAB2AA336FBE0086A095583B25A494968B18C9BFA97DBD08D17A416C7112F46C0BABC78FAF3BA04B14DAFA24E66ED72F3BD,83654E6567D4E75D3A26BF6757E41D1D7DA0CBE846D8E459F18989DE2CCD78CD13237ED9B447B07D3A887006C076D2A353A44ADED5BAD27DEC9B112FD1B79D56]]
FP4nconj = [[3F9295C60C7F58A82F1EA12DF66E4EA1300AD4D7B76C42FF94DB65FBFDF4A12138856820E746278C4D3A06A952B661093DD74177F650E6D876D9877F9F56A827,EFEA205CCB2B8B36C2B7877F5EEB85142C2210E19D1403168A2C04795756D39C40E922C1A2DFBCB1BBE9B94EBCB434798EF662D47BC3EF5430AA8BA62492F9B6],[3E98F17A7B2E82FC6DA0957CF10BECD3D722D4A5F8C2E8FE6B383166C8678693C4AAD486D0EE0BA140759ECD7BDCAF26D4F15ADAA547B31A0548D9A2353AFB76,7C9AB19A982B18A2C5D94098A815CF6184253FB991F26EADCF3259E2E4E376783E235044F876E83BAA03F5D7EAAC9D3E3DC60AEF899191E9C85016D950F651DD]]
FP2sc = [25D0DF0D1FE408FB735312D2056D1CF5BEAABA03F54BF4DBE0405B0CA33305185E5384D2DFBDDE52DEF9755154F05EBD1D1427F7CC7D5F7E629127DDC2070A87,DE031C5422BFB375706987EA0A5089793C80160085F0DBA3EEC84B5A104010918D997034B92566747A6AAAF9299656C0B0421A01D676EB8B24C32CD0B53B4E0C]
FP4pmul = [[66C2C5E0ACC7C94AC6FB8B0E60D91DAAD5E140DEB79CF293F8A44B80C972940F3A4229774775ECFE1624573704713D3924C4E6A04D692F5415A6B28F1E7DDF16,E687A13508D1C44FE4ACD718E2B31BA041F350C9AB610D410ACA167017388114C329163E3D97E429BD4A24E211D98DF46F5E82A5030C5F97002F7F1EF55BFB3F],[5460043C4D57888854603897FD36E7CE56055A8F922CE7E3CFE9F4864E3D5FF605A93503D335C2007F42A4A84056180F3B948D8C32EAC399F27B580FB867B332,708775F98E488E50A7FF914B38DEB43FE68751CF83562631B46365C22F60AFC82A80ED08AEA0E0A32E8AC4B67DEA3C187798A3D066ACE7A686A0DC808E190A52]]
FP4imul = [[01B5A8E7CE029D5F43857B482640B1FA419AB842FB1A47096D4E4BD119DE6AC06F312E9B0FA5FA87AFA44B396049EBBC9A0D4FEE8608C905D9850A0AA5534E97,40577E8CD351D324F521E20284399DAB568FEB00EEDD3FC4DA3F7D1EE9686EA44176B174277B701CA28AB23FB9BCEDA009CFCBE78E21D44E1102718BF86BD5F4],[FA63C5E9ECBA0BF1B68255F3C42FB34F5C8B5297E30BA3F9ACE0C59B219E1A4F12AB521B43B82E8501D67B35EF72BC9B53C56B6A951ECC6815236688D4EBEDD8,F26AC66A60AC628B17650262A05D51070ECEF3446EFE67AF7C0D83CA81DCEA9BA74671F5351D0835C3837180FF8F051765ADD5EFC6F9E33F6C55335C212B5841]]
FP4sqr = [[7219C320CA0F287DF268948294EA5BB78D59EE20C1A8407B790B34E8ABF2E424D3D5DD33353B945EC5F5424F68F2E877C9FF4FC706421AE2483FD3CF385BF64A,F7E22B0ADEDBFD3891A206656AC37F4F38C9CC3D9FBB95F09E59DFC2006B4B2DB14A427410ADAA8D559619F6BC96CF910EC9BFC805779395281577D4DA674DE1],[B339C8EA898CC5632A1DB0F2806FEC3DEFFA4F6ABF32D5F1F073CA67BF80771483FCBABE898C992E7E53FA2B7EACE3AB2FAAA8674CA794D2C2862391F43D891B,E3A6990BA8B6DCE1EFD98E8F7794DCBE2BADC28710DF6F08AB87032A2DA566952A095DD6B89B3B9AA64DA51332455DD0AE8EDF64D3B66AE595D1821097EE9236]]
FP4mul = [[1451CCB73EB408027527F9043EB9A6C53F4A717308BE47864D8A15502B778358AA3C15D27CCEB6E049580FC8FED6B8630E6A27DFA6BDB1902C2CE18FE2C69514,7E80832883E8F5794F5173977720DA4B9781F59C549AACC3359EBE4129177A2A9A3C0361AC4428173DE95D49E83D3461B89CB57118C86E8D3D8C8A0710C52277],[E1A9FEE4B8A9FA5AE2AD1EAAE45EE2741FFB2E4AD974BDA3DA9FF1070E830B5B12C4E526C1BA154C2E6E20AA48C52B2C948D6558F7FF29C45BE4BCCCB26007AA,B1E8E9B05407C227645C13A4A1A1DCEBB5B24E7D0976C533DEBCCBA34960E1C4618729CD3B30E9707A40E5CCD12021DFCA43D22FA4F3F6C77EBBF690A31C46DF]]
FP4inv = [[36C8CFC910720FD70D8AE953C6323CD149EB979129BBD3112AE17A0D9F73671ADC7F97F2F72C412B339852E1E306864BE5DC3DA76EE93673C1B48072B6D0366D,B2BF8461ED6789512453F39222307EE9CE4DB3EB7B147267420A7604597830E3284FDEB865D948C1C033E107369DF5C613869CEC13FDD514014B44B65E86AC46],[7E6DAD2F9A9C56C277DF1A38EEFE41F8B293F421F1CED3827388B8DAAA74589534B324E4C3643FB6854CAD3C2704911D748336E9C3A2FAFAF08666F13C5EFEE3,CB2BB17B5DE42AF0890388F3462002D1BD3C29E1DD68F2665A0168997196EB97F029E48989F55ECDC47446E0B18140C216CD1393548F1DD9116BC86A60777597]]
FP4mulj = [[C1FE3FDFE3036A59A7C754E448F009F154C3A08E3F9BCD585CC1BB44F534FF60D7CE53608535BC1E7AFE0ED43C5381CA2895A5B97B028597F1E3EAD206F298CC,BB33A31513599B9F3379D6159921BC355B48145F8AB557AC3A6A8B49AD4AFD0C02CE24CBC964F3DCEA7994A566894C6512B765CA2ED94503CD98F07B86314D53],[C06D6A39F380A757D0E15ED2098B9DDDD1BB36CA215F10082BE07DC513BC4E2418C166FDC578712C97525F35586D0ED85393145668FB7D8F3E11A0898357470C,1015DFA334D474C93D487880A10E676AD5A3FAC03BB74FF1368FDF47BA5A1BA9105DAC5D09DEDC0728A2AC8FEE6F3B680273F2F9E388751384409C62FE1AF57D]]
BIGsc1 = F3A6A3FD3A082ABB4CDBB4C04040CB3576C8ECD7BCAF5ED851138080CF8CE0A0451F0998A17163AB56D231FB8D39E1D238281C1CEE3D518ACFA5EC1B402617AA
BIGsc2 = 60
FP4pow = [[EA0EF62EE82DDA72A56AC502ED191AB5175FB9F923E9C19DF15B144B33C4DBEE9A63DDC2A411CF64A85486D0FCB8226233786EA5DDD737648B8EDB9693AC511D,6DEB8F9BF56D20A8A28BDEF285543529130CC27AD67EE44690E2AFE96546167DEA7D527B9ED675556E5F9017A9FC85D66AB0632E334AC3EDD1E93C012E707560],[41C0034095855E0B5B83332054217FF5E903DFE0414F5061DE49F7295D30E81D54F7162DF8C3BA3DF85AD6BAB990E0D8AC35955BD45114FBCA65FB77C36A05B5,D168F083F3D833F6551A54106E12C1DFD26000BD8033EC0D9CB55E4DC898FDE5F34643022A6676A8E2183B2629C6631EC35D6E18BC50E413F7286E246FD85D8F]]
FP4frob = [[C06D6A39F380A757D0E15ED2098B9DDDD1BB36CA215F10082BE07DC513BC4E2418C166FDC578712C97525F35586D0ED85393145668FB7D8F3E11A0898357470C,EFEA205CCB2B8B36C2B7877F5EEB85142C2210E19D1403168A2C04795756D39C40E922C1A2DFBCB1BBE9B94EBCB434798EF662D47BC3EF5430AA8BA62492F9B6],[F3AAC43EEA1EE3FC44498902F36BEFB36F064877C8F02BDB0190F253081227723EC29EE3B9D0E4F291A2E915F9F56A657C48E97636F1BC3472D5A51EF54DF7E0,A1880227039C5995FFEE69BD3C7CBC3B021698418EFE36F6507A222A2B5D05956306BC2B2123DF35E294A4646FC44CCD4E6955ABF2EFA1C8B8B92F51B2FB9C98]]
FP4_xtrA = [[5424F14D414417CB2D43ACBF4CC907434A6C12B1A73502B9EBE6F7355190338E40DD1F365FA181896E6F608A9A23661A83DCAF17EDC85C5C0C8AC3E227C29F33,252AA0450987D7A1D4CEA1253DB0B35CE260006FF6DC12ABEA95C7526F98A1528293743E4E6D5B17A06D27F77930125D74F0CBE1D6A88ECA4C35F4D6D79188D4],[4E8E6CBE7652E98C055250A1B9478EC6FA3AE11F40494979CF1CA596B009103BD28C0F55B29AD720A6FE34B3BEC6217820B6EB0D8EF0DF6F3E83B4E0A79DC005,E11BDA4905750520149E885F9EB640F9C116301E56DE0EE752C12F38EF25EEAA5761BD463394C9ECC27F13D94BDF970DF3604597A636CDD2C6B2C894688E9223]]
FP4_xtrD = [[F13EEEACE30DD9CE50A5D6DE81C6F8F9ED6F97D03080C67AA2C200E0A7DC266744E0AD7503C7E37760694FA20E5FAA8A45ADD2B6F2E3E89335F2E2CE77094698,D7B66BC4753313A61711156428A6B0798D81D6BD284CF60E313A21328BB713DB908EE9B9FCEFF27F0450C0D6DFB858C109E1D9D43E66A96E1F943F0EDE3162E7],[306BABDF7FE9CB5C055EDBEC628DD9669C79ED14D7ED54E7062849743E9E94F6BC0B94AD7EAA17B81AB2D1E7CB42D2174823084E37EA969F182CAECD3C0590D4,DCDBFC40D90D0E277B8C0FC0C7C68F02323236585BF8F95C892FD32EE5BB644055092F41FCCA735915C92AE45C7B286B98B09F75878D2A51718687BA172D46BD]]
FP4_xtrpow = [[3E288A05191E464A78EC4A71134E1D5824B8FFCF0798C7967431C662F9D361C464583B4E7D0EA222B7AE6F93CB096A6D225DBA9D1373D869418AA6BE045FE3,AA8232B6B2F9F6147F8E70BF61A82D5FD55E734DCFFA92A0CFDB94B80AAF7330A9577719F273375028A70A6046E49C4D95040121BEC908274F29DE44CEFD4420],[35661384C210D5DD3AE79712AC995595A9B41B69C32FF2EBDB6B6201D4568306B517E5E81731734952A6E679331192F5268C9046D4FE420B9D813DBFCBD7F4F8,9DF1A7C8FE37ECE450D1A422C7B1F0A99D64C965759AD34A4216D0FF82E14962B1756D3D9F18638B8C61D5F12A63D110A5EEE692CA10E38CA6FFBF11EC4E1E4A]]
FP4_xtrpow2 = [[7EC4C7198F2967F1BC08292BDFBC9ED851507C8CAE6B1812A7689456AF50664CC21CFA69570DE780B6561E9515092BA9AD6F281FAD147DC8B99DE2589F633D6B,ADC3B3BC0A019AFBD81CCD7780579F2CA74A305DF478BE20919F0CE39C88FF863162B6B876A404057FE8CD3E027CFD5A207B3DFB18791502E857DDB0DEA28212],[BFF1EBFA036FC7E701668CAACD3421B59A7614B32F34D976604CB26EDB46053A16091ED803159474286AB1E3C8A26CF15769BA4F026F6137A0244456774F6C57,F702FF9B0451E988260A1481EF9585946AFB17E13A6408AECB38DAD3E58A0EBA234935BAB26A56581F140EEF3A579C6369A9D7E9D745FD39BA353BB1DD825CD1]]

# test 6
FP4_1 = [[BD12E054FE02B1F34C9711CE03A5612BE167811CFB806C106CB1982B0EF02477ED55487A5CC21C96EB9A7E0747EEAD797E65B8177A5E969F55B1224A0E66A613,06DD17865AF539076FCEFBEAE45061F9857181BA392433ECBA4FB17280EA1536AFA03E76A98E64F3FFE75B64E2FD9C5CF8C01192636570DDCC050BAD7C54DDB3],[4A51F2D7794FA0F8DA120F3A589512DD08CA1DFAB5CD8BD321D5654028CB0CB1C20F8CD0E1A38840DA85CF0966037A3FB12C197B333FD5795E1FB2057DBF7F45,75E0DD1045A549D7CE47EAC4717A2A59398D6573C6A748620AB79E7126298584EBAAE3B973745CE1DAA39E7BBF9B68465096889844BB24D37AB311996AEEB900]]
FP4_2 = [[951E0907317D4DC0D46D2EE08DF9252903CA5BF45932505AA459FD2986772C090B8A9BD28E9216E7B6278B9AEF5A661F556F125678CEF16492A5B54744A4099F,FF42DD75E128E6E34931E720BFEADC7A8D40F6425ACEB57D40E6276C27738B664D7D8426A77AB9CBAC00143CBCE7956689E728EE1826213B64DBD6468BDBE894],[E9E9ED0F3B9D76F0853BD370DA1FAE167A29407145A5DA22A7712D14FA6E019968C58A1DA66B2F5B38D8ECCD09A942D5760624A42C166D2F790AF113F0E0F56D,6565EF3E702C4480C32C140BF26E35BE0431E06B50AE975A499EF01D18E052D4B44C7527170BE75BF179FF8316E044A63978D66ABD9D251EF1BF5E1F1291C6EE]]
FP12_1 = [[727163838D0E8984503E273C310D6B6933CA33EEC0F14A3CEA05407028CDB67FEF6DF1630711C1882E8EAE011FC490ACF2498D4C1C9EA88C310EB46E55E66614,0E0D26991C0BA68E1C387767775654279FDD39DF262267BA76BDA27961FA93B8002397D6562BD8F35E7AF08553B1ED3E058C76095853ECE9D49C388AA83D067A],[F0417818CFECCA79C93A99E7FEEB7CC5AC1E7D96DADEBA83581486B3371EA95A70F5E73125E303078F1B2506EB7499CBDC17B34C8467856FC3A88C6A17F7EEA4,B37E0D0502ABC84A84AF6551A5366AFCD3C4D0126439E7B1DF3F9DB9770C6862B0273E70D7FD0C8EAA3A1D1563E186F8462F0479676C6E36C1794E24CF81EAF6]]
FP12_2 = [[727163838D0E8984503E273C310D6B6933CA33EEC0F14A3CEA05407028CDB67FEF6DF1630711C1882E8EAE011FC490ACF2498D4C1C9EA88C310EB46E55E66614,0E0D26991C0BA68E1C387767775654279FDD39DF262267BA76BDA27961FA93B8002397D6562BD8F35E7AF08553B1ED3E058C76095853ECE9D49C388AA83D067A],[F0417818CFECCA79C93A99E7FEEB7CC5AC1E7D96DADEBA83581486B3371EA95A70F5E73125E303078F1B2506EB7499CBDC17B34C8467856FC3A88C6A17F7EEA4,B37E0D0502ABC84A84AF6551A5366AFCD3C4D0126439E7B1DF3F9DB9770C6862B0273E70D7FD0C8EAA3A1D1563E186F8462F0479676C6E36C1794E24CF81EAF6]]
FP12_3 = [[C9B0B24D02A323CF13172337F668A6EEEF34FB7BD60A4099BE308F925EA2A1E146B90C2B00A4D3FD92C668AC336139C651251CB78C14EA2F1E8D77BE20678C82,5A9604412CB6E77003E9C15F3EDFB77E753C7966F3D06888B9184B3294B361402759305CD70ACCD849387FA8D429AE2B51D7FD8FBA11269D57EFBED987C37C8A],[456AE9DE026110027F639F313B1ACEDC05E2155D3E8CDB4F667DCF4CEFBC8A43059F2BEB28304BAC6637451748001E33A23056631CC989C9ABF4407F0B21BA1A,FBB8D4613B94FA73F2E6653F2EC479BC39D3E00258475833DA9C90FF4C0F332C01D8E8AA1B8F1CC2B16CA58D6F8E00121D163409C02BD96052FA6DA086287190]]
FP12_4 = [[A8D8B2064D9C3CAEEA3B01043C622583C62618BC75AE1BAF787DCE6E4A1C422F784B3E5A0B18294480BD9A76796D9A238B0C863255C45E4F9BF89D88920E9338,F0E18B718BEB1902A04235B59C44412FA6D11CA7316907BBDFBC57746532FB3C8CB1496AC267D0D04B8A109B7453371CCE616F8FC3FCD7F4F323296C0C500322],[023CB54AE4BBA44C253257320777EDB279F2BAC400059930414C8AE270AA36C3ADBCB10116045106FB915010F5055DDE9B835BB6184689B85E35FBC2D8920153,71244C820CA499643C99EB49A582C8A1BF841BA15B1B5A5C2123A40323342CDDBF4F5BE581619EEDBF0C74335E7AB6C73014448F964AA3D8AC1B496CE014624C]]
FP4add = [[5230E95C2F7FFFB4210440AE91A499D5E36BD16F7BE76963504FB19383B6613BA799152E3E959AC5BD35A3C38C25A3B7426A749F93E1239C336BAF88305CC07F,061FF4FC3C1E1FEAB900E30BA44151F510EC6C5ABB2796623A79F51D96ACB157ABD6F37EA44A8606C75B09C2F4C1C1E1F13CE4B21C3F2DB17BF5B9EAE582D714],[343BDFE6B4ED17E95F4DE2AB32BAD474812D52CA22A812EE088AAE9411881F05D98E47CFDB501EE32ED255F7C4894D3395C7E8510009DE41223F7B104BF2857F,DB46CC4EB5D18E589173FED063E860173DBF45DF1755DFBC54568E8E3F09D8599FF758E08A80443DCC1D9DFED67BACEC8A0F5F03025849F26C726FB87D807FEE]]
FP4neg = [[42ED1FAB01FD4E0CB368EE31FC548B53205E8A84DD4AE6F7540A4B9602C0CACD63F186A44FFC7C21F8F1E7D76334C26813049DB6E4EDCDC85F3A05BF14474920,F922E879A50AC6F8903104151BA98A857C5489E79FA71F1B066C324E90C6DA0EA1A690A8033033C4E4A50A79C825D38498AA443BFBE6F389E8E61C5BA6591180],[B5AE0D2886B05F0725EDF0C5A764D9A1F8FBEDA722FDC7349EE67E80E8E5E2938F37424DCB1B10780A0696D5451FF5A1E03E3C532C0C8EEE56CB7603A4EE6FEE,8A1F22EFBA5AB62831B8153B8E7FC225C838A62E12240AA5B604454FEB8769C0659BEB65394A3BD709E8C762EB88079B40D3CD361A913F943A38166FB7BF3633]]
FP4sub = [[27F4D74DCC8564327829E2ED75AC3C02DD9D2528A24E1BB5C8579B018878F86EE1CAACA7CE3005AF3572F26C5894475A28F6A5C1018FA53AC30B6D02C9C29C74,079A3A1079CC5224269D14CA245F71FDF9F69719B720D1773A256DC76B277915B369896EAED243E13873AD06D13976D800433E72AA8BB40A1C145D701326E452],[606805C83DB22A0854D63BC97E6F51459066E92B48F304B83B201BEC400DFA5DAA90D1D1E7F6F19E8639481B077DA74BCC904AA56675CCB199FFE8FAAF8C790B,107AEDD1D57905570B1BD6B87F0BF49B355B850875F8B107C118AE540D4932B0375E6E925C687585E9299EF8A8BB23A0171DB22D871DFFB488F3B37A585CF212]]
FP4conj = [[BD12E054FE02B1F34C9711CE03A5612BE167811CFB806C106CB1982B0EF02477ED55487A5CC21C96EB9A7E0747EEAD797E65B8177A5E969F55B1224A0E66A613,06DD17865AF539076FCEFBEAE45061F9857181BA392433ECBA4FB17280EA1536AFA03E76A98E64F3FFE75B64E2FD9C5CF8C01192636570DDCC050BAD7C54DDB3],[B5AE0D2886B05F0725EDF0C5A764D9A1F8FBEDA722FDC7349EE67E80E8E5E2938F37424DCB1B10780A0696D5451FF5A1E03E3C532C0C8EEE56CB7603A4EE6FEE,8A1F22EFBA5AB62831B8153B8E7FC225C838A62E12240AA5B604454FEB8769C0659BEB65394A3BD709E8C762EB88079B40D3CD361A913F943A38166FB7BF3633]]
FP4nconj = [[42ED1FAB01FD4E0CB368EE31FC548B53205E8A84DD4AE6F7540A4B9602C0CACD63F186A44FFC7C21F8F1E7D76334C26813049DB6E4EDCDC85F3A05BF14474920,F922E879A50AC6F8903104151BA98A857C5489E79FA71F1B066C324E90C6DA0EA1A690A8033033C4E4A50A79C825D38498AA443BFBE6F389E8E61C5BA6591180],[4A51F2D7794FA0F8DA120F3A589512DD08CA1DFAB5CD8BD321D5654028CB0CB1C20F8CD0E1A38840DA85CF0966037A3FB12C197B333FD5795E1FB2057DBF7F45,75E0DD1045A549D7CE47EAC4717A2A59398D6573C6A748620AB79E7126298584EBAAE3B973745CE1DAA39E7BBF9B68465096889844BB24D37AB311996AEEB900]]
FP2sc = [2E23C730B17815AD2FA3C4EA7497088CE3FAA7B9F6A469CDDC807D7993F1AEB8876D2BF44F032E9AD76B84D4AAB30545754A8181FFD10E7D21746F9046B17842,6F094D9BB2DB1B06EF8A6BADEEA98907124BE28052E60E1CCD289F5D04A341C2CC1A41637F28FAACA735359C4A5F8B2B8AB792E38EF187F5E55A09B44FCCD0AF]
FP4pmul = [[672A44930ABB49E93EAAB82DF0CF1D2540F3C8C7606D5DD86BBF8E676D70EFDD330504BD511F4B662968B99E3E944CF7DAB74253031DED2AA24765C53B053527,5E96232C86DA946AFCE43440924F27B56F2951A54F5E325EA4D85F0A060948AE00818E3B8DC2BB82A2A1EFB21A3C5C59BEF9F35FFFA7272B70C2DDFEE3B4733B],[6292B4C6BBC6E1C3C5F2D93EA6205680F1EA3FFE4FD0D7A9E0E2B1C3618AFFE9ECDBA0E34F8F27DB623E44E46C0473F8660E6FCB7CAA768D31C5C4BEE702F693,5D7DADEB1C3102CC74C17081F7F91C08000090EC1E2E6D2C64F8BC93341E5A450C97782D34764BC721668DEC8073DB908B5D6E187FF06F59934E86B3FD9865A6]]
FP4imul = [[B15E61A8F60D79C07EF35906124D205E61B362AB5F20233ADD444D94159DE887AED5FD07C98EC4C7EC5F4488663F13BAC3BD970A45F3C3E58DB43356DFF770C6,2251759FC6CA1D252F0AEB967591E9DF9B3788A31DB5039FA38E773C84926A116E2138514FC7F8C3FF84C8F86EF40DD0DBC057DBF0FB3454FC193A636DA8547F],[7399BE355E8E24DC425A4C23BAEF71D22A2C8A43B4386817E86F167FBA4650337906F0F5BB73108B6010A55052EDF35CE4722999A0F2C6F721B35212520F8D26,4D6451515C3A7137076795D6376EFAC01C36E3FF2FADC3DAB41E50B39B6DBD0DF7C8D461E7C89EF77C194CAD67C2299C701BFF5C990EEF51FBA907ECD14DBE9A]]
FP4sqr = [[D803F91884667CF7BCD20AA9AE8D460982315B43BC385BEC87C4462D26DF84EF2A39BDF0F6E729AA8916CDE3D9EAAF874755F568E40F950A74280A4DEF35E33B,48D5246F3C5069875F40A95F5011F22326DC8115245C546EEE2AE0E69A1D84A536A5F83BDE11F263678CBE689997F497D1213BA17C585AB436CBF08D250BF97B],[C1E35046F80D3667E71EEF66D52BC35D0E42512A9C3738439E7D8F5E76FAA1997205D1830BC2E77E2781968D459E10A1A6AAA4337CF838BAB113A36E9140098E,1D598C72FC24509E659CEFA8F74CE33E857AD6505BC1805B111CEE4E438C26A73E3AC27BCC73B0F0156764C5977D76F2FD5A6665FA702AC647AD51B98D9F5F8A]]
FP4mul = [[8CA71445AD3BA7E1E2C50BB6B2F2E62F158E92F7CFF1AB15C8BF7A18903A5640EB2DBF2B550C891A4E0309E3A7901FEC2606193AAE4B1C1A945A410DADCEBF8F,8AD1176EF125E3810279CB8A31B2551D1657106FACEF64AFDEB406C38569155DDE3E3CE79FF6538A93E049B0ADD0B48523398A782A8548FBA621B9C7AE6892EB],[106764DCDC4737AC9CBE34ABF639FC720E024D29E96014A9E922ECE15B4275262738A0F345016565B537934E6B9C962CEB80ECB7A675E34167F7311B498CC945,98BA173A827CC932A885A262966AA3B804AA6E348EBF520EC0E72731E511D83BC1C2B385502CDCD120AB5D7BE641F70C7856F9E9B49D4F5B493BCEB53AF4784D]]
FP4inv = [[D31DDDD5B6F27AE9DC4B726BBD300DE76DF53E85F19C25BD7CB81DCEC6F9417A96F0044CD6C0801D74773838BBFBBB79D7FE889C689C62937A021BFE0BEBE37F,C5801991637DA9EE3583847B6B63E0872C28814A5562E0B00CB2AB5C867DA8AC52AAFB37B0FA7B9C7C34B82946A68C922661FB3A25AF39F6F8CFC71F00ECDA83],[A7AAEFB4AD2B5A6E9F9CB832AAA4C8A033ECFFD79E913BF9CE48B86191CA6A3C24E0B42860AFD201C210054FEEB71733BFC13EC989C6F9D9AB2E6571880EF7E6,9DF793567B6C0D333712DF8459270DE279C63DA6CA92C3D68A27F8BA83A26E4EA9996368965DE7B2FB8C7ABC14D9C891F25C35262DFEBC62D816249779999878]]
FP4mulj = [[D47115C733AA57210BCA2475E714D502D102C428C7F19678D7D9AA901452767227AB78361AEDC417E46E966C518B81DAF1FFE6B14DD1150D9857C875357EB578,C032CFE7BEF4EAD0A859F9FECA0F3D364257836E7C74D4352C8D03B14EF49236ADBA708A5517E522B5296D85259EE28601C2A21377FAFA4CD8D2C39EE8AE3845],[BD12E054FE02B1F34C9711CE03A5612BE167811CFB806C106CB1982B0EF02477ED55487A5CC21C96EB9A7E0747EEAD797E65B8177A5E969F55B1224A0E66A613,06DD17865AF539076FCEFBEAE45061F9857181BA392433ECBA4FB17280EA1536AFA03E76A98E64F3FFE75B64E2FD9C5CF8C01192636570DDCC050BAD7C54DDB3]]
BIGsc1 = DACF3BDFBE85824D1A03518710F1D265ED5FE7082864D46B88325DDD1A99D306C0AA86D7ED4A44708A3701524E8EE33147DD88C59BF54411C4C4F322BBD88B00
BIGsc2 = 49
FP4pow = [[E45B5EB000C24B2E840BD92E9A4573B7207D3590AA054B7BB1A068785014059BA4D6D6086A97D0F8FC6995759D7E59C2F6E8969619537B5EFA72C0A684B7C93B,54C26DA5353CCECA511450FC1DF5A5F908D4CAFC6878B97D28E3D62BFF92C3198A8D428AE8F61BF96D168B93933CC22426896A827C22928489C9B1FDB2AEF833],[EFB391C4AA038CA844C63A0C731D21673A1E869B3EE0517CEDB5B3036B2D59474CD0911AC48FCF200A79ADD6131847B625FC680ADCB70037FD8F279CEAB9C8E9,BC22B8D0BC9E91D6613BB8F624C2F5CD549EE484E85DE17EEC55BC4319472553C406F80606DBEFB43DEA525F3A21D37E421D925BB1D54BCB4644AF381973A7B4]]
FP4frob = [[BD12E054FE02B1F34C9711CE03A5612BE167811CFB806C106CB1982B0EF02477ED55487A5CC21C96EB9A7E0747EEAD797E65B8177A5E969F55B1224A0E66A613,F922E879A50AC6F8903104151BA98A857C5489E79FA71F1B066C324E90C6DA0EA1A690A8033033C4E4A50A79C825D38498AA443BFBE6F389E8E61C5BA6591180],[ADF2ED10C201D8197450FD7E9EDF9874BD476344706AF408AFBA22A9575C2FDEED47FBB9006F50620826B096E5C7C9488389F9ADEA64E039A61FEDAFD8A4C2A3,254D241E62AD0CEB64647872847A7C0BE12C7E6B6BF10F3DDA349964B3DFC8C192586BF43DB6DD58E0DB0B5F74B7B46D0C23E15C96B5D2A3A7F91BEE02997A31]]
FP4_xtrA = [[720C8E2C5124DD580DCB29336A0E5B60EADE97433010320F895792CDDF5CF2A823A02E48C16B2BE9754C92279FAE06272FFA20E929D38A9FC7E39BCE054AD5B7,0D52D8A546D5727818EB4C3BC839C72B965A5899F87DB260A7CF28BAFF7F65FF3C1F178FBC460919DB0AE01A783EA946D2C1B94AA0B04F122FA3387C7C4748B5],[DCEC36EADC0B74202AB92E84BB3CC7BCD180F97FAF077BD276E4F3B9A6564B99C287B7739235D44F7A7410485D40F7EC964D29FBED324717476E85E43B8CCBBC,415B6882D357FF8C80AC44689188E62D8BF5A2F2E19CEF051D9A168E78C0FDFABEBF8818981B30BEECABA3B683A0C4F78EB8271B83885FADBA54A27D540BF62E]]
FP4_xtrD = [[5DDE386E8861191123A3E70DA73C7030C12864AB9E02D6D36F1CF9981AB02B44A0D5FC1AEA218935966E37B3F530C475DBF4DB084E9ECC337DB0EDC2F5168648,3B1AF5628665F7787FA2B18987712E301BF97DA0B213EC95798B7E0198495A37D7657B4E8AF5287B67BE079ED39CBBDDDFA1187CB58D78F89EC1D9322C623E15],[568735F5EAAC78599B430DDB865BFC981E10817E2F06FCE2216C761DB6DFCBB7A4DE1C06224B5F46F800CEC16681953F7798815B842B7F45B867DF706A1118E5,091B4693876EE44E022CC531DA474B71F6CF95961044BE1765D0476F7E2E426BC449BAD0069DD1FAE6223BDE6B90D79E0D1D21C8249A100588284CE340CEE257]]
FP4_xtrpow = [[BC14CF6B2BBED06B37DB5A45755B9AD345ABDD3F2D1BE1E71B74C988946375A034506B1049316A0911D24C3ADE8E2739C30A51D0A45955FFF2E811C5595EB148,6721CD73139661920DDA1513A619AD051DA94ADD46959AAA05898811D6D92261A94A992723CC85D26E71EA51B01CF43D9BDB4E7263662EAB89F99AABB6E9096E],[BFA8F874960FA3E63E0EE933C1D89428B6B2F70ACEF6D9AB2473889718C0B46D4FDFF430FB5B21DDF83D2B1008B1EC715FD3FBE8EA2EB82E604377BA80D7A6F5,820FFF65D25BB83FAAEFFE5A7706197BF4EE49AC78BEF9219568A4163894B65338952ED86964AE7ABB8702ACC0FF1583860C335FD89CBF75D766C9569911C62C]]
FP4_xtrpow2 = [[106382725F0B5BFDD3A7C66513269329751474DDCF238D7FD67F64D5B3043E7B1208F6F2E97A0D733EF94014D38D475FCBB3D06EEEF143253DAE2A30EFCEF85B,157F68CC4BA1B88DE89A1C7D98FC4D3A513EAC97468D97D15DA4C43B286381D7A91532D0290D5D03718CD0DE8C5E43F0D27391DE78413B8B7BE09ECEC413FA18],[FE8979D3B97F374BCCDE225883B62095E3802C00AE9D20B64D2D36D289E0015C93E1263440EAEAA336F2FA9207F2E007711D68E824EFE8BDBBFF1FA78B969275,A7366577689F8FE4CA0804BEB544743C7F334453BA8DC04EE644B91D45DF5E2DA4F2725816F9EC7D205938B994C1E01181109FBCF44AAF0DB7B29CB5E0BA4206]]

# test 7
FP4_1 = [[2A8AC5E7A9BD338E0BFD88BACA2966F021C795DDB84B71455ABB0BD0A806F74B3D7BEBBE938017A0F49EA2ACBBA23BB7A8BABCC8D776D05D52EA511B711A8625,5EB2BDAFDB8D088D3CC8A4A25EAB36B96CF4002304B0FAAC010556444DF9AEEC715CD15BB3C6E1ABD726F2CF420457CF167F2246A3CC1855F71CF7191C857215],[485A7A26B8E4CB3E52BEDA96B4B6D357159A845D7C19096E36CF1AF2E2717CA3840AF4F16A3943F9C26186612BB8FBDFDE2E98B8B832578ED3E5B37D1A7F5B34,B35FE26C2F4FBA51F0E88BE796415E0C359C118BA7AB4593BAADA690921CA186150FEB458C5E0ECBCEBCDEE133F2011408F1330CD9654D892BB0A917D116066C]]
FP4_2 = [[9B1D63D3F1F4632628DF21C4D3066901217F98FE2E758906902855A5E079558E484C1B6527CF20988FD34AD5A6F8D9C91310042EAE6C3C9A62CC195ED85E3C95,8D4B2F16DBD89433439E5D9CF985C6BA6BA4F41B4629FE2D032C740E778D5527E132A6A0337E5CFBC4D09A0C28E5C86EBE2FD3CAF3544B992877A83303553FAC],[32326E49D9A0BE00CD562E8C5EA86BC4DBA7F7D1367C055EC0CF3C7207AF016AB175FBD3782814F26319E0B07A3885BF16ED572478834E45B900BEE3827761CE,A52677ADCA7F71F224E22330D7F8B62167420D0A4182016C3005095C0BEB6AD18451863B0A1156550AFD25A2B15031DA6219A2AE1A9CA3E64350208F1D9B00D4]]
FP12_1 = [[5E261D98AF4DC21C81C8D09561B93E3B36B47EE6A70A50B5B7A76FBF601C2741B80A8F35254C929799B213560510F3114C71EC4D8B94B9950DF0F7FFA2AAED12,3EBEC4221C5C9421EE59E0C438A94464132EECE76E8B0FB13981B0ACDC94D8DE25A7CD2E7F531E0984BB58CEAA9D6B4AD9E46F4DA0B7CEAB0DB36E464567C0D3],[016C42F07454C786C6214CC9A4F4D50106CFA3517C1FBE21DD4344A3C39E4D1F5841612464C68841624F000ED8164039710BE385E4D046EF8BFB3F6AD920B17B,85DB11171E153779568B3B3728E5B9312D093B924078394E2A932A43E2C196DBF96C25AB092155A7B7C7400039B85AC0D6FE7ABFED24F84E47E991740A3866A0]]
FP12_2 = [[5E261D98AF4DC21C81C8D09561B93E3B36B47EE6A70A50B5B7A76FBF601C2741B80A8F35254C929799B213560510F3114C71EC4D8B94B9950DF0F7FFA2AAED12,3EBEC4221C5C9421EE59E0C438A94464132EECE76E8B0FB13981B0ACDC94D8DE25A7CD2E7F531E0984BB58CEAA9D6B4AD9E46F4DA0B7CEAB0DB36E464567C0D3],[016C42F07454C786C6214CC9A4F4D50106CFA3517C1FBE21DD4344A3C39E4D1F5841612464C68841624F000ED8164039710BE385E4D046EF8BFB3F6AD920B17B,85DB11171E153779568B3B3728E5B9312D093B924078394E2A932A43E2C196DBF96C25AB092155A7B7C7400039B85AC0D6FE7ABFED24F84E47E991740A3866A0]]
FP12_3 = [[F444FB2B0CF9A10651C2231382F84541906DB946A38EA14DFC261AFF39E0742145B449F2424F59146CB1ABF290C965A1DF270E83A576C8C1478D537A70FCCA49,F37B969D74BE1E252E60834998A815A256ECE1694451EFC43C98E2BEC950154759FC21DE3B2BD0D3C1F27B54D0D4A6F4DDA62C83F019A52F27C5C3A35C28F206],[1E4052418508A6FD3DCA6DC0478D9D3C47B49F6E5DED88155C421A7DAE5CF7E02AE73804E781B1D72FABD5BB0B937334313A062DC0ECA85146C62BEF8A6D8BEC,03E6AC63BD712E38A50B0E1F98278489983099C88A59DA05A40F21C955658EC86A19C313447AF71AE4B6F547F95F11477E140983F8ABCDC55B8DB1AC10A001D4]]
FP12_4 = [[1E6508773BBA839E28DFA0EAFEF0059DC8B8D9F9292C71838BE9A789FC9813264325FE979E3C3562A53933781C3AA72BED99B5B68ABCEF5FBF7CC24B69E654A0,478FBDAB740C8837210CE8AC226ED4A5DB375957CA45BA99760B3529C8A333AAA74ECAAF4F94380F8C7A1C255426F66060FB38E67C122CD6C1DA168B90CEAD60],[A6BF120FFB4BCE9AF7DCCB97EB163FBE2BCA31E4C405AA6354ADCA5A26EF4BF353C97AAD6BDB6140145E733B24F395FB6CBF43EA7DD925E015A4164484569DC5,246D2969E2E2BAA829BF469540DBA2FED1E357B62AB4088058042E3FDF328DA125C0DE6338BE9C3D2F5E4445AA88BFC15DA8CD8F83291130180E4CD233C3B064]]
FP4add = [[C5A829BB9BB196B434DCAA7F9D2FCFF143472EDBE6C0FA4BEAE3617688804CD985C80723BB4F38398471ED82629B1580BBCAC0F785E30CF7B5B66A7A4978C2BA,EBFDECC6B7659CC08067023F5830FD73D898F43E4ADAF8D90431CA52C5870414528F77FBE7453EA79BF78CDB6AEA203DD4AEF611972063EF1F949F4C1FDAB1C1],[7A8CE8709285893F20150923135F3F1BF1427C2EB2950ECCF79E5764EA207E0E3580F0C4E26158EC257B6711A5F1819EF51BEFDD30B5A5D48CE672609CF6BD02,58865A19F9CF2C4415CAAF186E4027AE9B1812F41061F3F829F6CC2B8C571D12481AA261E9B0CC67F52D9EA53A1EC30CD9A07FEC94B58D07BA15A19DCC03180D]]
FP4neg = [[D5753A185642CC71F402774535D0858EDFFE75C4207FE1C26600D7F069A9F7FA13CAE360193E8117EFEDC331EF813429E8AF990587D5940A6200D6EDB193690E,A14D42502472F772C3375B5DA14EB5C594D20B7ED41A585BBFB68D7CC3B74058DFE9FDC2F8F7B70D0D65730F691F18127AEB3387BB804C11BDCE30F006287D1E],[B7A585D9471B34C1AD4125694B431927EC2B87445CB2499989ECC8CE2F3F72A1CD3BDA2D428554BF222ADF7D7F6A7401B33BBD15A71A0CD8E105748C082E93FF,4CA01D93D0B045AE0F17741869B88E72CC29FA1631200D74060E3D307F944DBF3C36E3D9206089ED15CF86FD77316ECD887922C185E716DE893A7EF15197E8C7]]
FP4sub = [[8F6D6213B7C8D067E31E66F5F71CEA6E020E088162A13B468B4E99EBD93E910246769F78186F8FC14957BDB5BFCCD1D027150E688856F82AA5095FC5BB6A38C3,D1678E98FFB47459F92A4705651F5C7E031517A997524F86BE94C5F6E81D4909E170F9DA2D071D68F6E2BEA1C441FF41E9B9A44A0FC43124839076EF3BDE219C],[16280BDCDF440D3D8568AC0A560E679239F28C8C459D040F75FFDE80DAC27B38D294F91DF2112F075F47A5B0B1807620C74141943FAF09491AE4F4999807F966,0E396ABE64D0485FCC0668B6BE48A7EACE5A0481662944278AA89D34863136B490BE650A824CB876C3BFB93E82A1CF39A6D7905EBEC8A9A2E8608888B37B0598]]
FP4conj = [[2A8AC5E7A9BD338E0BFD88BACA2966F021C795DDB84B71455ABB0BD0A806F74B3D7BEBBE938017A0F49EA2ACBBA23BB7A8BABCC8D776D05D52EA511B711A8625,5EB2BDAFDB8D088D3CC8A4A25EAB36B96CF4002304B0FAAC010556444DF9AEEC715CD15BB3C6E1ABD726F2CF420457CF167F2246A3CC1855F71CF7191C857215],[B7A585D9471B34C1AD4125694B431927EC2B87445CB2499989ECC8CE2F3F72A1CD3BDA2D428554BF222ADF7D7F6A7401B33BBD15A71A0CD8E105748C082E93FF,4CA01D93D0B045AE0F17741869B88E72CC29FA1631200D74060E3D307F944DBF3C36E3D9206089ED15CF86FD77316ECD887922C185E716DE893A7EF15197E8C7]]
FP4nconj = [[D5753A185642CC71F402774535D0858EDFFE75C4207FE1C26600D7F069A9F7FA13CAE360193E8117EFEDC331EF813429E8AF990587D5940A6200D6EDB193690E,A14D42502472F772C3375B5DA14EB5C594D20B7ED41A585BBFB68D7CC3B74058DFE9FDC2F8F7B70D0D65730F691F18127AEB3387BB804C11BDCE30F006287D1E],[485A7A26B8E4CB3E52BEDA96B4B6D357159A845D7C19096E36CF1AF2E2717CA3840AF4F16A3943F9C26186612BB8FBDFDE2E98B8B832578ED3E5B37D1A7F5B34,B35FE26C2F4FBA51F0E88BE796415E0C359C118BA7AB4593BAADA690921CA186150FEB458C5E0ECBCEBCDEE133F2011408F1330CD9654D892BB0A917D116066C]]
FP2sc = [F77E8159872CC306844582B1796A68710D7A525073EE8F551B2F22A974CE5FDF8AD08129511B47CBF08D2C633C0989BCA9630B0A59CCA1398C809C5B4AD75608,B485D0E55BB56555028AEF295373CA9BF87711A5D4F9F3CC6DD7B43F04179D69EE73FA7C46B3EF5FFF993DD25162C2DDFBF2676AAAE3B09922AB60FD7FC3226D]
FP4pmul = [[37C34E96041730EB93D9F6BE0A5FA6EBD1CABCB904077926F9FB41064B1C8F2A44F2DA6A4CB22CC380BF32EAB8143F2619AD12D669DDC32B4317F4D2703FF5,A5DD12D1A83A01FF425B04E2B80D7EF6A7202174D3DAC221BF52BA4892BCE8A46FDB111D2E5A0622CD337D836980D3E0410A5326C14FB2DB567E81B42A05DB7E],[6CA52F2DF61858D9F02A5AF403049A2ECD0F23E12B55A50975513C5F970B6694BE355E7523342C9192C7DA9E9484A383D701B1B4F2E21A9A96B25ABC7A9C474A,769BCB7D92E400023F08B1818D4E5616140CB4099EB6088AE6AF1130F6217F2375DF1BFCF9881430DC8CD18DB70BD4EF9E3B50C1347C05ADFF9F549B814DBDC7]]
FP4imul = [[FF40A36DFA6F355447F13460BCF869A0CAAD833251C4A7A0206246E3F029CBC370E7867775008DC5BBB7D00C65CD664DF4606CB50CC8E22FF17DE6A4A69F24DE,3830721F254E334F6CB3DBCE380F6F5A8A2BE98E6A8F39F884A83E17B0783B00059F49E8DD2C189541D0E51E35D32F176426220B182FC93460D77A8465C4CE18],[B21EDCE8555CC375F0791F883C4F078B7FD90E8F0FCAE58D881EBDF03CF7FC8FC6FAEE89D098FF21A9BCC0685B32775DA3AD3E85F1E1A8F142770CE57C4E3405,343F4E891BDE5DEBA573476D85A0824D3A903ABE8AD655575D22585F25E80C0F394447269739F5E3463BA1CC8B1E46F1EFFDDB139B2E3F983277566A5BCC69BC]]
FP4sqr = [[3288AAEA90580FDF0ABFA6AA9326076AFA415F9922A27C7ED1929F08428FAB663E915CC6ECD7697447C0371D8A3C558A1FD352FA0FD62B724C4FD0A9EE6EBA77,781B5393A85CF1BEB1D5E9A994F30DB788B531B6D291695041E570BA55BDDD3C751EC1E1E731CE5159F8B64D4D50C57DFE6558F9C4495D15019CAA93BCE5C2ED],[E01F4270E2DB178BCFB13F286857326C30C3311E5F43D2080980AA9FA248F15D714178CD24C7146D8A3F1B99CDFB0CE05F0A8BA1781E3FFED01A4C54B908C5C9,69BAF0BB819EA3153289BF479459C66E90247AC0E592B56AC34B5F2B9E6625A5B84F033AF3BBD67760C7180759A24D3FFCED57A7727DA1A841BEE23EBC935A44]]
FP4mul = [[051C3287FADD34672490049AE1B0ABCE9283C0EFD83FA0B8A335D7C4B4DC30D17399893C869C295F15496EE43852C5F33CC43ECCE493B746213E735B5A2D8ABB,BCEAA7EC62488EDAC7389970F08B31B15B80F4CC942C9B20B4E0A58CAD892945C0C316881DFC9740BEDA4D3E4FCD0158336C85AB6E5DA8C64B1DAA234F7C4679],[A7615C4D54ADC5576EB83783498A2BFB9A60C03AD7A324B21E11A9784118FD2DFA91AC646DC34D019FCDA45EC37BC1D5303F38A83D9A0BCEADE3EFC302973D71,2378F564C81ABC9B3AF5B7EF0B69CE56B136EB90C4EF1BFD5B3D3EA6407019072D91BBC678CC371B66BC84C589D0D20716147039D5016B729FE02F1AE42C754F]]
FP4inv = [[6F76881D6C3168A0E90ADCBA1DBEBE69DDAA2970A291B29D258DEF4455BFDFCA31254056D02818C21990109C4E4505D46A7B592AF100BAA847D10E6058E4809E,3AF146C40DE06BE609E64FF81B36F2F4191AACE58B9DD0D42877409F6B3641E8B22530224B606D81185AD070CEAD27CC06FAC5B86526E817830E083AFAD0A1A2],[AD117A1A5C5E361E74EBC7D5F1478C5423C1FA0B4CD5A60C4477CED97F3012573FCD1D2892109863FCAEF77E0C886882419895A7B6A17B39A6D88B1512968FD6,5C149C286307B3F549AA617BAF61C88EC1F29EF37BEFF07BD7DF75D57ABBC3C43588E768D077F943CA867887CFA1C9C83CC4AA1B2DFECDFD45DB47BA1AD21519]]
FP4mulj = [[94FA97BA899510EC61D64EAF1E6F61C9E1C47E73AD3916E23CDD58236205CA62C041D8CA8A99CDE6D8310D5EA2EA6AAD66A7BB7A3E196E6D5D20326E6C1743FB,FBBA5C92E834859043A7667E4AF831634B3695E923C44F01F17CC183748E1E29991AE036F69752C5911E65425FAAFCF3E71FCBC59197A517FF965C94EB9561A0],[2A8AC5E7A9BD338E0BFD88BACA2966F021C795DDB84B71455ABB0BD0A806F74B3D7BEBBE938017A0F49EA2ACBBA23BB7A8BABCC8D776D05D52EA511B711A8625,5EB2BDAFDB8D088D3CC8A4A25EAB36B96CF4002304B0FAAC010556444DF9AEEC715CD15BB3C6E1ABD726F2CF420457CF167F2246A3CC1855F71CF7191C857215]]
BIGsc1 = 33E8FC9BD374D9928804C8778AD6141501A720AAF50ADCD07DB96B92BDBC51015BF65510AF4C20E402A7E787AAB0F04FE2813E81935DC17101BBCFE26FB32163
BIGsc2 = 58
FP4pow = [[CBE919D10FB61F3C02196AE2F5DA4D96A3B4EC22A8FA2B3079369D6514F9A71E0E12BDD24F135822FA7B2D698869BFBEC2BDA68E21EAB78FF22F7B1C86C93FA4,5DBDD125E7185F2E68D971F66B8CE2BCE3C5FAE49691A274120070903686DDA4E8E7BC8D2D5F46A0F0EE7BCB76E38A5E99F747A7CB0E626C07AF1234AF1795FC],[BC15A395FD7C9D6E14FD63FA70A3D2DADA1640941A88031EE9F7AB96D17CD3EC17109A73B3DE444E2C5FA374DD011BCFF02979A9D79E1943244D76EBCEC005BF,7AFDEC7E82B3AF1E8167D0583439F1DFC5EC4BBE07D0143C472DE1A163D0D210E243CDF05F08A547EEB5EF8603660B63C5BB237B53773CB8DD623C5F9F22BD06]]
FP4frob = [[2A8AC5E7A9BD338E0BFD88BACA2966F021C795DDB84B71455ABB0BD0A806F74B3D7BEBBE938017A0F49EA2ACBBA23BB7A8BABCC8D776D05D52EA511B711A8625,A14D42502472F772C3375B5DA14EB5C594D20B7ED41A585BBFB68D7CC3B74058DFE9FDC2F8F7B70D0D65730F691F18127AEB3387BB804C11BDCE30F006287D1E],[C053AD38240A1C4F44CE8C2E11DF30B6833F69994622170DBE602CC8835D7CC9E2884C5870156FA864BC3CC2C601397167B1BE8702D8E91BA3EA918211594B0F,3684F53C938379099D4C8289C60BABFE7DC2A802064FFBFC8C0D89AB6D747E6A006DC8590101FCB0778E476232446AD9E5B60CA6EE66852B006D02D538401C1D]]
FP4_xtrA = [[B9B2E584092DD55E243E62C42971A9EB4199250B334065014C23626211226B41089707B53E807AEF35C6BE5B39439BC7ECB18F34B35D89F8BF8D023DE604C07A,6DB8B61FF847215B00A8F8A0C365F3F36AA4801CBFAF5BDE475DD9B61FF260FAFE6B240E443EE0F51FEFDFC8F6E62F3874C99F296E4D9DAD4D254C1C73AB3D70],[50E2FADAF7FA074BF655677A14F1F8C8A5C4A95AC50B99B8A4E465DDF5CDCD18437D1F88C5996C0112CB3B6CD3E79AAFF0C5F5DB33311A8C1885EAE8895F1438,1F140221BB813F5C4E122E21272701BFC8EC4BC653985CD60C5C9890A484B55BBD991AADDEF41B86EAB654A645DC2B681305EC11AC6A15578374D06041BC2281]]
FP4_xtrD = [[DD731F1B3CDDA8C2F2C49534FECD2609B8783F7F8AD6ECFBDCD86B280432AC1514E054687295D2EB430F57A2BE1B4DFC5FC82F36C034EF1F5B66567C2EE79D60,BAB5D833F142E0A43844A064D7968CC3B0933D12A1FAC7000096A7F2CB7B6EA8E3ABEE492C62A3B29037368D746B85C162D16A3ADBFD90D0C84DE46AA688CDF6],[70D436BE54A4AE08752EF455D1CAEC9B5A322E377EAA91DCB662FCC4557AFB5F281093914C7B03A82A75C27D7A4994BE89FD674489368AB4C2FA8B45CB598CFE,D07AB593E03E17B9145AD716C0E29607F99692365C1DED8A77EAC88BB0EE796C91280AA75FB95B5619B46FEB1662DF867D6567F2C5FBD852E4350C653C1177E9]]
FP4_xtrpow = [[6958D7E3E998729A6437ACE6B4B5A44FF3217019E54F51F4F37AD3274110AC0AC17753D037E37D1E5CD1EBB71ECDCE7E2AC2C47BC7B8B288AA1CBDF1CE6521A9,107A5FF03FBC4E3B848232AB7AA3966037290FCE0D8B4C7C7FF1522E6B563417003FD04C23C9409F0164AC7AD79CACDE42FE76DF802B4716DC4266BB971A27F2],[DC09FABD17DF39C5D6D8EE81630DDDC0B24711EB47927DBF203EB98E59DDE4F749666C23A13B037A0D6A83F84BCE01B19C2CD6F09AF4175FD204ED5210D8BA38,C1066B48AC3ADDE08599B6203AC2C4E06931E29056DC0D641E3CF788FAA3E4C182E1A213DA90C3A00F912522894051CB7F6D884B6F79DEBBB82669D198F89E00]]
FP4_xtrpow2 = [[41EE803A815ECAB4A0F439750D1698447A8BA2709B717C770B806683ABE89BF032A331656C5ED21546C9AE8B1E27C8742450BE45024F5B9A29318ECF00EEFC83,6571B504688E427CE35F0EEB5C212BF3E2DE329F0853E1088C7E4604CFEA4F00B7F8368237EB3E740AF92D43F562DC61FA91337A82D0950BF9218028B8DDADDA],[4CA0D05CEC0371B5C4140C0A9E36B00FDD6B9A27BAC619DEC3207503EFDD7F57B6BDCC842C369D29B791F5A62B12329F1F5DBF7B0F5C6816FCC2936C5DEDF876,E5A8CF386C5148D98B84916D45C6833872E83B6B63DEBAC12E5E255C84F951ADC266C2AD9FA1BF4EB82FECC5B9B8266EA44F570C8B0843130621974740EB473B]]

# test 8
FP4_1 = [[04545C91A946D60910B6AC24ED2487FC348F7FF963C78FF544B874BBC351C0425C845468E0241D6C2416890D3B5ACDC788C1A3D335612F89E4B5AFCB51CFC133,C41D497394E57A85C675D142CAF9EB4BB7AD9C8A2A22F419CBC11583F6187B9C7D83297F5567111CA0E8C89F2FFDEE986B8F8F0F79CFA491F6C1B84722508F19],[E0297BE638C054C94F8BCB876DA343C5BF86E5C10CAF6F691FF258B5828F7E7A9798846390E18C2917F5621186BC15677CF3B67E838E03CFC176858812913B07,CAABA2405A5D52F6075A3CF01709C0911236475D52438E95E762A89F23F31B4C9EFB91860A7EFF6A32F638F50E4CF9EF0636A22E4E892A01595D6F2B3D101AA0]]
FP4_2 = [[5A518793D5BA61648608EBB5DF2266B4A05F2AE59B352A88F7712E3064D65A63C35BD73E46A862BD6A3EEAA570D348302D61076D381941AFADC5164D4BB7705D,652D2EE8FD25A41AD4B385EDBFEBE2AE5C18BAF9224B9B6CD1497CEE35ED3195F459C0A6E4753456346D35D4E5D76A8265A48B8DD86A6348AB54F5FA25E6CB6F],[7024A5B7CD7CBDD4F669DC509573520D49D468B8E0FCF463A99DA6C04D7EAEF3EE80EC76F9D67B8473BCC94F60FBCE74D36A129695944AD59BF8F22E24CA6894,AB6D79615A6FF7315BA265258153D645F06E7E3549FA30701CFCE5CDAA4B9910E747D5985D2F8EFD5023CC4E210801292F819C0BE96E56ABA026797B4D1C9309]]
FP12_1 = [[42D7903A82941220D5D5FEDD03C8291038DE6EF002EA404C5492490D46B59BA69E7FC3507B708CA5478AE597107A136BACE87211ADFFFF55D4B39308F91AF6F0,A2AAD047FD3B6A1F0AD01EAECD9D626DDC9BA24A9410445D1C139628752E7DA0BF9C228DD84A795D48CA1561BDB2A759AEBB515DE9C2075BE175F63F10909C55],[23580399D78ECB2C956F50CAC20A4C7CBBC1085F2C3B58FCC3A57365F7743EED13CF3146A88A8B9B30B82D716519A455ABE74ADBC9B0E1AE3CD392A9690B23CC,582E7546C744E6AD7DEAD9BBCCEF2C09C3F3D08638E4565E3970DF1C336347CCE34CDB32C71C13DEDA5E57ED402F7F6DA9E320C36E59B23DC4CE86CAE904FE9C]]
FP12_2 = [[42D7903A82941220D5D5FEDD03C8291038DE6EF002EA404C5492490D46B59BA69E7FC3507B708CA5478AE597107A136BACE87211ADFFFF55D4B39308F91AF6F0,A2AAD047FD3B6A1F0AD01EAECD9D626DDC9BA24A9410445D1C139628752E7DA0BF9C228DD84A795D48CA1561BDB2A759AEBB515DE9C2075BE175F63F10909C55],[23580399D78ECB2C956F50CAC20A4C7CBBC1085F2C3B58FCC3A57365F7743EED13CF3146A88A8B9B30B82D716519A455ABE74ADBC9B0E1AE3CD392A9690B23CC,582E7546C744E6AD7DEAD9BBCCEF2C09C3F3D08638E4565E3970DF1C336347CCE34CDB32C71C13DEDA5E57ED402F7F6DA9E320C36E59B23DC4CE86CAE904FE9C]]
FP12_3 = [[94061256124AE594813622D58C2003364AC93FB5A478109B7356BBDF428A7966B7BBBC5FC5A116F7E31E064A4BC9D2024246E1864A31AEC4DF0B12E2121427C7,E2C0EC09D16C88971967C316FCCEAF3B02DA5061CBDA2E91E59A1BF472314CEB92E5C167C804B07A78BFF1F600ECB9AE22E3CAA07B71946D1D04766A3F1F4086],[0D52D6CD10B41042F87D5F1FF0860BE753E0314CA17642F95BD335511CA56C8F6D1B216A99B8C154C9DA1FB570AF6D4AE302C589A6E57536401EA2A8DB72A67A,C8EDD11C522C1BA4FA59F2B03D19BC5D6672C8C14B95FE5D710DEFC3DBE4D849EB742879DD5C5ED5EBA1BD77878E48CF627F34C87AC71214EA0E1C7AF4E5B3A4]]
FP12_4 = [[A188DE5401E11C46001E1240C0C8E82F1A91CB1AE9E51CA436905FAB0B4E1FDC0C686CD12390506EB221E483E928F893BF57B6E0692F02B59A35EC79F9C03506,4C4C02F736F5D41B8B742E0B46F952124409AC09E10F413ED2EFA903062485FDD7CDD6D6DDBCB3C1EFB45ED3AF7F23491874E199D84EF8350BD9D786628BFAA7],[5DAA50863836CB0CBE1B276686F4D106450F2B221D3F9E990ADBCAFA147B9663D8F19976406947946EAA15C95DC88527CBCA0AE7B1776BAC3D276C6B2D2B9124,C839DA7DB29A04F476C71AC0ED55C9AAFF40896D2E60F8AF326D3AAEBCF71CC1D17DD40A35C0CA718A8C17660C81B6760D3DB09FBC798FDAEE99B6D3A28AF66C]]
FP4add = [[5EA5E4257F01376D96BF97DACC46EEB0D4EEAADEFEFCBA7E3C29A2EC28281AA61FE02BA726CC80298E5573B2AC2E15F7B622AB406D7A7139927AC6189D873190,294A785C920B1EA09B2957308AEBE17B12004BE173A33C7EDC4EAEB11A54BDED20961B078D1DACB9F0C998956AB1E9393FC9C4CEF2EDA372ED2B863825896B55],[504E219E063D129E45F5A7D8031CA954079542D814E110C508D41BB4BE5D3E2934D2A1BBDDF96EF4A725C5823C9473FABEF37346B9D5EA3DA8844FAD14ADB468,76191BA1B4CD4A2762FCA2159863AA5800DEB9F0C3726BFE43A3AAABBC8DC51834FC97FFBAEFF5AE9E8D9F6484318B36A44DE86BD8AB1C454498C09D677EBE76]]
FP4neg = [[FBABA36E56B929F6EF4953DB12D56482CD368BA87503C3127C036F054E5F2F02F4C27AB5CC9A7B4CC075DCD16FC8A21A08A8B1FB29EB34DDD035783DD0DE2E00,3BE2B68C6B1A857A398A2EBD350001334A186F17AEA85EEDF4FACE3D1B9873A8D3C3A59F5757879C43A39D3F7B25814925DAC6BEE57CBFD5BE296FC2005D601A],[1FD68419C73FAB36B07434789256A8B9423F25E0CC1BE39EA0C98B0B8F2170CAB9AE4ABB1BDD0C8FCC9703CD24675A7A14769F4FDBBE6097F374A281101CB42C,35545DBFA5A2AD09F8A5C30FE8F02BEDEF8FC4448687C471D9593B21EDBDD3F8B24B3D98A23F994EB1962CE99CD675F28B33B3A010C33A665B8DB8DDE59DD493]]
FP4sub = [[AA02D4FDD38C74A48AADC06F0DFC0DC695F660B5A15DB8740E032A4C702C5523EA6F4C49463A53679E64044675AAF578ECCAF2345C945241EBDBC18728C64009,5EF01A8A97BFD66AF1C24B550B0E089D5B94E19107D758ACFA779895C02B4A06892968D870F1DCC66C7B92CA4A26841605EB0381A16541494B6CC24CFC69C3AA],[7004D62E6B4396F45921EF36D82FF1B875B27D082BB27B057654B1F53510CF86A91797EC970B10A4A43898C225C046F2A989A3E7EDF9B8FA257D9359EDC6D273,1F3E28DEFFED5BC4ABB7D7CA95B5EA4B21C7C92808495E25CA65C2D179A7823BB7B3BBEDAD4F706CE2D26CA6ED44F8C5D6B50622651AD355B936F5AFEFF38797]]
FP4conj = [[04545C91A946D60910B6AC24ED2487FC348F7FF963C78FF544B874BBC351C0425C845468E0241D6C2416890D3B5ACDC788C1A3D335612F89E4B5AFCB51CFC133,C41D497394E57A85C675D142CAF9EB4BB7AD9C8A2A22F419CBC11583F6187B9C7D83297F5567111CA0E8C89F2FFDEE986B8F8F0F79CFA491F6C1B84722508F19],[1FD68419C73FAB36B07434789256A8B9423F25E0CC1BE39EA0C98B0B8F2170CAB9AE4ABB1BDD0C8FCC9703CD24675A7A14769F4FDBBE6097F374A281101CB42C,35545DBFA5A2AD09F8A5C30FE8F02BEDEF8FC4448687C471D9593B21EDBDD3F8B24B3D98A23F994EB1962CE99CD675F28B33B3A010C33A665B8DB8DDE59DD493]]
FP4nconj = [[FBABA36E56B929F6EF4953DB12D56482CD368BA87503C3127C036F054E5F2F02F4C27AB5CC9A7B4CC075DCD16FC8A21A08A8B1FB29EB34DDD035783DD0DE2E00,3BE2B68C6B1A857A398A2EBD350001334A186F17AEA85EEDF4FACE3D1B9873A8D3C3A59F5757879C43A39D3F7B25814925DAC6BEE57CBFD5BE296FC2005D601A],[E0297BE638C054C94F8BCB876DA343C5BF86E5C10CAF6F691FF258B5828F7E7A9798846390E18C2917F5621186BC15677CF3B67E838E03CFC176858812913B07,CAABA2405A5D52F6075A3CF01709C0911236475D52438E95E762A89F23F31B4C9EFB91860A7EFF6A32F638F50E4CF9EF0636A22E4E892A01595D6F2B3D101AA0]]
FP2sc = [F31B0A05A184816D1B3078872A03F44C7BFA36E7FA27A3666D0B4F436A23C232A6F13C62484CF6E5054AA1C41C3277169F4D61BBC48F1A8A4AC547A1EE8B8123,34A0D7833452F349EDF0D41E77061A012787BDEB5917091EA0ED74ABC7A7BBDCE5760FE8FB292C44436C33A0CEE551CD2E9232645875E303056E9FEF70AA244A]
FP4pmul = [[45DF4E162CE3073BC1ACD48182946FEDC53E716A9AF75C516B98F04025BA8A9F24872E3019D2235480E4F9D27C66D9A1906EA34F0EA79A37EEB4A2DDDB1F4D55,E55899C5E6EBE7B14580D902ED89DD8AE41D8FD1146B31737985224A14F4C0C14769159EA0CC62C91EA2A5F09D6FCE882E1D1BA5F18DFEB514DB725EA3206417],[85A58EFD8EBF65A90A078594DC24DAFBD2EC3B0AD466C3E7CE9AA38FC2F52B2AB8338B6BD046A430845B58443AC223C4F19396C788CB15A679650CEE0862A032,69D31DF286BC80B7E40389B1B66035040CD6DD658AADD8145402812D702BDBBCE7FBBEB6F82585E2006BCB0E51EF081B34F1BA6563974574271017AE74C15395]]
FP4imul = [[1E4E87FBA0EFDA3F74FEB5027BFFB7E56FEC7FD1BA74EFB4E10B3122573C41D0879E4EDE20FCCDF4FC9DBF5C9F7BA074BD4B7AC675A84CC540F7CE8F3CAE4865,5CCD0229124659A86D38B8D38CF3D096FCE10D9DEAFC0D8DCE9C23D66236B4ECD83416E1F6187C2BEF9F7F00F84056C319D93C64782F89F736B441C442CE3DB0],[2122634B8D4251812CD290B3FF9B4F6E320C027C440819B15B39167027C6D9BA3D82C400E9B340CA4C6B4B42AC4FF68B022BFA9F5D17C0400CBAB681B1E501FF,8AB16FC2788D44BA3377AA90A162A57C769DB96403E046F290072994A33112BDC27EEF10E9C0004AEDFD915A0C69A621546AC23C49423002E8F64200FE0B0E61]]
FP4sqr = [[CB1F4B9C8ECF3E7881F3111D4529A53DA5298B8FB7B6915D681074FA40F6969234A1372EF3391CC9616D5C7FB5019E7A05D82670D1BFCA7A0A3D031DAB750F9F,B23C9F2206CDC40467EF0BE19A8CCA2F736377EED2B7504A9A9E6B790B20DDC9C34EBAADB8EAECA50D1897DC4FF15A6128AF0D31D1AE6509E06854D91D337776],[7423E13B2DC1C017364315AB2426A8254FAD7A46A301234C3E5C9BF95E38A2129E9E33FE757C957A73ED5F0FA84AFAB37A60CA5E276202A4777E33A0C9FB6F5E,665E406F8D36C8CDC91825BD1562236BF7BEF1ACAA3BF2E1327811248F1E58D2A9CF724232C321EFA7C4E96D57DD3BD680DB3944A8061850A42CB3FD22F06DD4]]
FP4mul = [[DCD986C57F51D43BD575699526C68A57A4DE86BD349C4D56884D704D63858437AD5A4AA4B0BBCDD96C9B00C2B5AD4575ED9721D7BAE447AF353BC55335E73EFA,B3CBDCDC4513F9B252578B6D5EF30D415661C607F01E4816449F4A48E281B44E6287E559EBB44D0C6D7BC5702856ADC193972847014270968303F2E58FBC0686],[63831ECC904A739A6C3D33D5B4B1ED453D0F2751981F89A4FBFF993131B401C3EA2E1511B515A59FD1AB2637A8E7A994422B08C08333C94884B361726311A5CE,1063B6C4E086AD7DA5EE77D9D17791C3925B744755E1B18C39F9FC397162E5B082306963829848DBFB45821CCD1AC7B06C2F1FEE2DDB61A275EBBB76151DA130]]
FP4inv = [[D32120F01F8E623041E9CA3F7BD6F9756C1F85F0C2869E12E3429F10FB568F775EB8B95F3F13C68CD155A28FB868647220F0F518FC40B44742B77BEB067AA811,42A2A7F76499C83AE5A707E4B2D534A47D6EB05B3B8E97B22CB6EC13AFDBDDEAFB309E46851F9BE119DB9C6BFC213B4B1A023B1BC8E98E3D55F635A1701937E8],[C5F8341B7C56A897046683FFA62A2D6617EF90500B876F8D697A2D9282DE5039CB9911C339CD7055090C20024CBB2081A874C5306E4FF1E4D88CCA4E414B4404,5A7B4363120628775244FFE4BCC6B9A58715C6C779D7BE53653C1162BA4EEA57E9D077E0DDC394E5A8FECE7EA1E8D86F60B1C3992CC4AA5D60EE78A71136CC46]]
FP4mulj = [[157DD9A5DE6301D348318E9756998334AD509E63BA6BE0D3388FB0165E9C632DF89CF2DD86628CBEE4FF291C786F1B7876BD14503504D9CE6819165CD5812067,AAD51E26931DA7BF56E6087784B317D7CFF7217C8627AAF746991D9394D1AA81E54D46CAEEA1F2DA665F3527E9E59F74F1C002DE72CAC96965E8CCAA2CF36674],[04545C91A946D60910B6AC24ED2487FC348F7FF963C78FF544B874BBC351C0425C845468E0241D6C2416890D3B5ACDC788C1A3D335612F89E4B5AFCB51CFC133,C41D497394E57A85C675D142CAF9EB4BB7AD9C8A2A22F419CBC11583F6187B9C7D83297F5567111CA0E8C89F2FFDEE986B8F8F0F79CFA491F6C1B84722508F19]]
BIGsc1 = 2B534A90892747A714BA17A3C19AD48AAC9FF71C862ED169C1E92ED8C63D303C5A474D648A597427A8B64C7824C958447F326D7622074FD04803B264E2274A6A
BIGsc2 = 4D
FP4pow = [[0D4FA907F9AC17DF48DC3FBBBF757458E77AE4D9B54301B8A656930C2143AD5F7AB08C845D1C181364E3E19B6FEEE4ABCF4317D8D6DAA9ECBE64240277F1F2E7,AD40AA46EFA101B5133ACC04F13DBAB44B15E59035FADB6ABEF3715E78FF7CFE9C2B506CBDB09EB8ECA6FC190B3C6860A941632E5547960D12F61D6127403070],[C5555BCC2326DF66F4D77C52CFCC70D0BAEE54E61BF0E71B4311A0D7639B61CD6052137842E2B344E73EDC0805F583E649359B89DDB0DE6E555A5D89B7F828E7,9F75273CF91B7C00CB35DF0DD59BCDA9BFAB2B5E6197D0CE40120C212C39F094E74A2CE12DD7D40C492EDE5998465983FDA7CF2328740FF9F9293D85B87B456C]]
FP4frob = [[04545C91A946D60910B6AC24ED2487FC348F7FF963C78FF544B874BBC351C0425C845468E0241D6C2416890D3B5ACDC788C1A3D335612F89E4B5AFCB51CFC133,3BE2B68C6B1A857A398A2EBD350001334A186F17AEA85EEDF4FACE3D1B9873A8D3C3A59F5757879C43A39D3F7B25814925DAC6BEE57CBFD5BE296FC2005D601A],[19128913DD94633B60A686DCADF3E86C75F15F3410327A2A858757F0D5ECD0E768638A74567166929334B188E41010D55F096E464F26F0B06A9BD63AB14815CF,6EAC92456FFAA477C641DE4E19D8AC07160AE10B6333F4DC61D2A3CAF88A5DDBD1C0718726F0E7A53F874E6CC914D4E26FEA8A1D2FADACF0BF9C554B27C270B5]]
FP4_xtrA = [[72D7BEE9F21CE8B97522178DF5AEDE59631AC5BA63E56502231CCC44434778F16844ED2146D011AB31CE7D42160D46AE360C0D55118B2FC7B7FAF409EFD6E42C,70CF62AE808E29DEF2E9C9A70DA9CAC22E7232CAB1F5C3D0AF59EE517331397A2309FB261BE8C7B452CE78B5C208E10811FDE0C74447723CA1E1F969F2058FA1],[99D2E80C899996A10A14C864D06D54CABA6107801A721270649BE792FD1EA6E06D539B230A6EEBBF2A06D7CE528B6961B59DF809D3FBAE9B1F19603A12795BC3,8D0EA43923E7AB2BE961AEB2BA093967E3A4FCB12EC5F016276CF18D0E4E139728AA5ACEC8E56DCCCF5A3693952480D0FC16BEE46637B646C0837EDA7BD1A258]]
FP4_xtrD = [[C27692793C4192666085B8D36AE095453C0A8B9CF0277172DE9F8B82BA53160D7B988E5D32F0E1F119404A653E4C02EAF454DECA66FD6B6640D1A38707D58D39,2A020C3ADD02CEF8DB03695C0492E01705CE4A7C573CBB1EC3D8243230A0D5D6198F36CDBADB6324AFD36C7C9B18ED11E2FA44E13D5B804DA7D00C53FB404877],[3476D9079F4269A9D55AACB9FF7956B2CB2F2E850AC95C0EFCC985E23FF5C07D2B419E883DC27C5ADABF57755F7C45BF51738BBE6FE541749094EE9EA9C20706,FBB584F041F16EB9D7CC9F9D437BB80F1A6574C575F7BD0540817EA1C553A026967FC62F9B02880B2924F578C953BFD2FBDE27D2E5CC07EBA1FC6A4A7A62B3E1]]
FP4_xtrpow = [[837D36A00A1D488421244D135D7DAD072EF9B6829B0A8E82FE146107805A08B8131890839EDA593695D267254AB68A4F54AF50316B918437388CC27E9E2D50BC,E583C778A07508AB24AE7ED305FCBBA3BC3CEA35DD010FC4039BC1371C090570DD2B7EDDBA218218090C752A2A0B03F8D45B1ACCB115C342E58D6CE580EB6E89],[ED404E980DEDD67F929DFC918A5B1928BBE74237FF59017C92E1CE5D1ED837DE39EC71C02DC31240204ABD42BCFAE5E5BF59AD8733FB0C94BDAC4628979A371B,B7BB7279A962BF082BA2C18B628D2753909EE660181608D8EAB91D53A26C0D58B124130A2166114C6887875DC45C12DD505BB39607981E11238A48203FA96219]]
FP4_xtrpow2 = [[426347D64006CF9A05CB588C09436DF2BCD138CCF7B9AB51903B014449CBA415BB801F6727CE3D0D4630B265AE75A43810D62756ED6F5A39D93051C8939F3916,24AB2CD8BD59BE9D18A26769304C97028178B8FDD01E1DBC83299C88FEC6EA4DAA89648AC141B61C84151FA3D6D734A263251A3166E06AC8850E798B58DCE11B],[057FCFE8A1E52ACACB2122366A324622A151B0EF2D4A4DE9A37FEBA604F81B42BFF1CF5322770ECB94201AB3272A716152C33633F6AD25DA277CE5E318836B27,0D534FBD92AB49DC3241FCA510B7975B09EDE6B8BC9C9E8D6BAE957679F4AB5F3A9877DDFB2347575F83AE4DFDDC20F7C8EF375DEE2265A7B6BDAAA09CBA78EF]]

# test 9
FP4_1 = [[646507F1D38D4DEA09BEE9DD048A07282FEDFC9DC9EF239DA803770E97576A0C23A4C3210F9F8CB48B89B3BB1CF7CF946EF468C0C3C7A4C1D1EE94C15E9252CF,ACBEE4BB4E4E119E702825D34FA67AC153F040C52BC72038FA55218B48FA64580A4FEC3DBC3C0FFEBBB89A1BF49B4333235D0F2F982EB7AF562F6C1D09478809],[8EA54A24BF992F0AF9B2054EE862F43E268A75114ECAD53190FFAF317854A99CD1692456E4A02D7C74F4C4AFB534E3DB08A3113FFA16B8C87BA33F9EA5D41D36,21CC4EFAEDB3A5FB4A651E4DCBB311AE8FBF1007FC9438751AB4031425542A1351D2C5725C7D0608CE2C60F039773ACBBCB53DAD2045219E7FEB1ACD234AD4FC]]
FP4_2 = [[8BFEC09010545BA934DBAB2A2278384676EF476A5A54A8E6F458290B021314A414BEF3C3BB55A830593BBC354BDB584F509D79153348C037B080A0A2F9637647,8B561A07351E9A6CC640548F12F71BB9A3C81AFAF5CEFCDEFB4ADA3766F5DDBE2B490580A289BD7C7E33D29C9D28AB6DB8AB56C959489B70D8AD1BF0FA779F77],[BAEEDE02529F73AFA0C41304E017F139CF038B908EB8A007208FCDD2FAB270DB3BC2F6A13C2F1E3550600E1112C83CB7FC88AF4D1A81F335A50336401DBAA99D,BF14665941E262AAE953634104F4DF3C4BB4278116AB31FB5D221B6806C01710D594A311FE04B4D43009C988AB55D5FE2286A4D5CE60AF9596288A0CEF06AB81]]
FP12_1 = [[4909E6BA15DED771C09A50B68FC65F8ED1F0FBBA6542A8AAA1689D09AE0E819B4594FDEF972D88778E006A269A63BC61F3780791884F973B497F4E9198DF4210,C140B52087CFBA6F74B8D7BF98F9E004FD28BF3D92D952B96F1117B69723F384C4A1786B36C97CB23090395EDFCB65E244FAED3AE509EA4BA65ECBB50C14FFC7],[E119743BCF713D4C2E01F79591949EB6F3E5387A33468F75CDC0B8991E0A74469D0F362D62981B13B36D5390CD999902118E70803410D8E6E04A5FE2C7FAC33C,18C31AF6CC8C85A5C958120480A5EDCA8B0994720F3C0B7988262FA193F2FAD901A26683C15170B36C15BE53A4D06503BC7CE8CE6A5DBAF61082FC135A323DB7]]
FP12_2 = [[4909E6BA15DED771C09A50B68FC65F8ED1F0FBBA6542A8AAA1689D09AE0E819B4594FDEF972D88778E006A269A63BC61F3780791884F973B497F4E9198DF4210,C140B52087CFBA6F74B8D7BF98F9E004FD28BF3D92D952B96F1117B69723F384C4A1786B36C97CB23090395EDFCB65E244FAED3AE509EA4BA65ECBB50C14FFC7],[E119743BCF713D4C2E01F79591949EB6F3E5387A33468F75CDC0B8991E0A74469D0F362D62981B13B36D5390CD999902118E70803410D8E6E04A5FE2C7FAC33C,18C31AF6CC8C85A5C958120480A5EDCA8B0994720F3C0B7988262FA193F2FAD901A26683C15170B36C15BE53A4D06503BC7CE8CE6A5DBAF61082FC135A323DB7]]
FP12_3 = [[EF9F2437461FEC80F972E9EF2582ED575E6766A33CF575B212A7D3A09FCA6E30C333F53ABB0E3061D4640635D9BEFC58498781BF42D004C775B95AF07097B593,0941CA0D49A2780C07AECDE7CF70E1C4CDF85C44A0E12708F883286E93F4169D53C8DDED47A95507A39941DEF264AC0CEE44DBE9FD785B3FA2C8951A4484A748],[D0F77913A4FA8E904A8510FD8FDFE7C48795E7C464BAF6D3CC4B7B6E657522BB02DD0C955B162271CC41F379AC27C210F131094F0C0F3CCFF149BF98228F6669,CCCE97C3C445E67C0F6D81CAE1BB68B7FD7CFDE8EFC319AF287D86F6F41A025A177A34C5BCE9A900B65AFFDB72555FBF28CA567357B9D0AAA77841E7AAC714AC]]
FP12_4 = [[FC75813B8644C38E84244DBDB3206E13A5A8BE09B2B3D416DAEC4598F1531EF6966D32B57113F4B18457F5DB86B60B965ED48156DBFCFF93E814754CCE1D41D3,552315292353B6260A1EE8C5040390EA1969831B629E745F1F69D599280F6998257227A72FED83626BF0221614C8FCF818863E473B1265235F7930B4D5357D48],[4227ACFFEA3296D20EA93EB44D50300BBD044F8FD2881F1A6901037C6E2DADE1F0D23D740EBE431747A26BE182552746CE948052169355C0749B8BCC792DC8F5,7400BF43FFE68EDC0F6D10F2E44CD39E6064BF551F7245FCAF5B66648090B65177126433EC6CD0B579C9DA9825766B65612E5B37BD042BACB6808929D3999615]]
FP4add = [[F063C881E3E1A9933E9A950727023F6EA6DD44082443CC849C5BA019996A7EB03863B6E4CAF534E4E4C56FF068D327E3BF91E1D5F71064F9826F356457F5C916,3814FEC2836CAC0B36687A6262A3A9FBF5F2501E48CACA1034E418019E3F52D0E452229FB20734C2556006D9E6A07EBF4A9E102A922AEEB879F16004E111384D],[499428271238A2BA9A761853C880F8F8F3C7F50004B82230F0D3994361562B32BBE54BD97410B2F8E0C86CE21CD9B0B173C16ABEB54C47966BBB4DD5A0E0D7A0,E0E0B5542F9608A633B8818ED0A7F0EADB733789133F6A7077D61E7C2C144124276768845A81BADCFE362A78E4CD10C9DF3BE282EEA5D1341613A4DA1251807D]]
FP4neg = [[9B9AF80E2C72B215F6411622FB6FE556D1D80F040EDC2F6A18B86CB27A5985392DA20BFD9D1F0C045902B2238E2BA04D2275ED0D9B84BFA5E2FC9347C41B9C64,53411B44B1B1EE618FD7DA2CB05371BDADD5CADCAD0432CEC666C235C8B68AED46F6E2E0F08288BA28D3CBC2B6882CAE6E0D469EC71DACB85EBBBBEC1966672A],[715AB5DB4066D0F5064DFAB11796F840DB3B96908A007DD62FBC348F995C45A87FDDAAC7C81E6B3C6F97A12EF5EE8C0688C7448E6535AB9F3947E86A7CD9D1FD,DE33B105124C5A04B59AE1B23446DAD07206FB99DC371A92A607E0ACEC5CC531FF7409AC504192B0166004EE71AC3515D4B518213F0742C935000D3BFF631A37]]
FP4sub = [[D8664761C338F240D4E33EB2E20BBB60BAC4C0D54865CDBE746731C4A6F544AD602C9E7C01087D3D16DA5D647C3FE726AFC14579EFCB48F1D6591C2787DCCBBB,2168CAB4192F7731A9E7D1443CAF5F07B02825CA35F82359FF0A4753E2048699DF06E6BD19B252823D84C77F577297C56AB1B8663EE61C3E7D82502C0ECFE892],[D3B66C226CF9BB5B58EDF24A0844EF83594CF52298DD8832312BC51F8F532806E6ECFCD4552FA80009211C7D4D9017049D84B7C13EE129FA8B8B3167AAC762CC,62B7E8A1ABD143506111BB0CC6B81EF145D0F428BEB459817E4DCB6D30450247CD84F17F0B36E9ED82AEFD463944D4AF2B98EEA5B130D6709EADB8C956F218AE]]
FP4conj = [[646507F1D38D4DEA09BEE9DD048A07282FEDFC9DC9EF239DA803770E97576A0C23A4C3210F9F8CB48B89B3BB1CF7CF946EF468C0C3C7A4C1D1EE94C15E9252CF,ACBEE4BB4E4E119E702825D34FA67AC153F040C52BC72038FA55218B48FA64580A4FEC3DBC3C0FFEBBB89A1BF49B4333235D0F2F982EB7AF562F6C1D09478809],[715AB5DB4066D0F5064DFAB11796F840DB3B96908A007DD62FBC348F995C45A87FDDAAC7C81E6B3C6F97A12EF5EE8C0688C7448E6535AB9F3947E86A7CD9D1FD,DE33B105124C5A04B59AE1B23446DAD07206FB99DC371A92A607E0ACEC5CC531FF7409AC504192B0166004EE71AC3515D4B518213F0742C935000D3BFF631A37]]
FP4nconj = [[9B9AF80E2C72B215F6411622FB6FE556D1D80F040EDC2F6A18B86CB27A5985392DA20BFD9D1F0C045902B2238E2BA04D2275ED0D9B84BFA5E2FC9347C41B9C64,53411B44B1B1EE618FD7DA2CB05371BDADD5CADCAD0432CEC666C235C8B68AED46F6E2E0F08288BA28D3CBC2B6882CAE6E0D469EC71DACB85EBBBBEC1966672A],[8EA54A24BF992F0AF9B2054EE862F43E268A75114ECAD53190FFAF317854A99CD1692456E4A02D7C74F4C4AFB534E3DB08A3113FFA16B8C87BA33F9EA5D41D36,21CC4EFAEDB3A5FB4A651E4DCBB311AE8FBF1007FC9438751AB4031425542A1351D2C5725C7D0608CE2C60F039773ACBBCB53DAD2045219E7FEB1ACD234AD4FC]]
FP2sc = [3B2CB07F031512486D18FDEA3CE57467C763E708C7B0CF4B33B48B30DA8D392C101ECAF599538336DEEB4D1D33E57456F59351BC7571891A71A0A02F2132C434,BDECF42332D0C227CB3BDA1F3ED0505F7A3F11610479803661045D3921C8914FA05FFA549B231FE35C114053B5D80C6BDF1B1982BC9EDC41DDBD62082F9697AF]
FP4pmul = [[55FDDBB5DF8896F4F2ABBF71519D99C971A615E50746616AD39C9A6D968090C103029E8D8BD731F07E906C0B988DE23609BAECE3C71F1D0EF5BD88A1F4B9E551,1FABFA8D36C2E058307CF55EA164C84FA847F6482C5278C0FA644CE289C19E36BAC11EB47485526C546D4DDC6E1BD177BCE206C78533C4DCED489D81A0DA68BB],[A7FC1E630DCDF994428F266AF222C739E6CA572D9C674E33A8796BF1A842EFD693DC8E632B440A48E23BC19B5E3A9E3D3F1E2124F8970A22FBFA726AD62883A1,8ABC0BB9DC88A4C50E8BC4FD24674BADC3D3EDB30E4556E8F6821A08932025A4AB5AA8A879715FBE86C0EDD559C5CBA6CAF5DF13B980394E3DB7169A6CAF9791]]
FP4imul = [[23283F8E9C6A6F504DF74EE8246273C47A1DC208C51723D5FDE80D3185A882912951ABAC76C09B79AEA86C3CE6542CFEC364449B0057F8D770B32DEF8C88C8DF,65F725DA72708CF381412E9A7D52378F96A3CC00224062A10EFD9994EF5E7665BC1D5654822784596706D3864D28EA3143D4CC74E4F7C77428E398BA9CD69449],[752A5125FCC97857CD902A77432FEFF52D3B7A0313295D6D850DEA877BE18FD1462DE63C7207090015748E02FD195F51FF6F32C6538434A5096D5CD0A3E92CE4,0E6277D76D9D2FDA5328F26E5D9EA0F57C32749E0BD670A114E434E018F061553D4F5C743729978D8CD6A1A32096667C543F979AA2DCA88C4A6DAE5FF7A8B8AD]]
FP4sqr = [[BB8493D34BFFB076910413BD24C27AEDE8AE55D7154D3E35DB8AE763BED1BB9D0347B67117289196DA46F3AF54E01D323A393B650A4A6DA761B948405F166FE2,B213386B4F919E6ADC832F292121AE1BFC22C953CC4023125159499FAEB957F8D16757A3115E81221DDDD7DC7F8AEC3A0D28664157097FEBB2E62D35C5659F95],[ECEE66A3958BDC6A8D10938F362AF0D513848565CCB84BE520C39691438CAE3C19593C4F3AF362CA67AEBD75CE82665A2D3358A3B684DDF3829ECB7C1E2284D1,25DB456D2D9E6888F37412815967F08A22304A1BAF2723819FD5FA594F06EC81DAF16F11512E89AA195C4713AC3AE00F51D2480E8E4EF929A3E4E0773C813721]]
FP4mul = [[D1EF8B8DDB63D06B260E9C9C821E03767544BB764238068E1EE102075B615849532373854E673150F7849C7D298EFF3BDFFC2EEB44EC45E8850E2B9EBF9AFE20,8D67E2F083D7B295410EB5BFE50404BC68A638A1194A5125FA94BB6D5D63B25F3DCB9D1F1FA56D5D2EBF9B7C5DBC19AD5256262CB60856F826F87329472688B2],[A72F1EC721BD3239ABD2CA2334DE7138E8BA66020839016988D264AC0E72AD097C94DA3FC36CE456E77985181AFD9CB093DE3D3DD7ADD9EE88AD75B56BE5BB00,AF98745C94AF3528830DB708354DF4E9840C2618E890725FC3CA13149EDAE724D52B84DE0402DCAA0881E781204C1D3F1887B96D0A2746F4A4579DD1E22B1ECB]]
FP4inv = [[AC627221D8434E81D420181538D28A8707AE5810ED6D3BDD987FAF12E675DBD126556E3A724FAF9F6BB8BA9199728E599562201D236D46AE4F0A10BC3EC3D7BA,AA4B7D5110A270A497689CE4F87A611B44154A76C561C2E11146C4ED30AA6DBE878AED142AE86F18B2AEB958345BAF21A66D77167D9850AD691740BA9A24DB4A],[4527150162175D122C48F0DE1130224A6711586B6189D078B408692713E13CFB09413761D96ED4802118997EFA5D9DA8459B03BA622E8944F8908B764CE31679,CA04E608CF6F6A851F89DA8C1EB138B5F11A26C4719053E86B21D520BF94008826A3ECE602DDBEB725AECF1DC9D27E293B25DD02EC5E891B1A664C270D657FFD]]
FP4mulj = [[6CD8FB29D1E5890FAF4CE7011CAFE28F96CB650952369CBC764BAC1D53007F897F965EE488232773A6C863BF7BBDA90F4BEDD392D9D19729FBB824D18289483A,B071991FAD4CD5064417239CB41605ECB64985194B5F0DA6ABB3B2459DA8D3B0233BE9C9411D33854321259FEEAC1EA6C5584EED1A5BDA66FB8E5A6BC91EF232],[646507F1D38D4DEA09BEE9DD048A07282FEDFC9DC9EF239DA803770E97576A0C23A4C3210F9F8CB48B89B3BB1CF7CF946EF468C0C3C7A4C1D1EE94C15E9252CF,ACBEE4BB4E4E119E702825D34FA67AC153F040C52BC72038FA55218B48FA64580A4FEC3DBC3C0FFEBBB89A1BF49B4333235D0F2F982EB7AF562F6C1D09478809]]
BIGsc1 = 32CA64C753EACBF78F14B6984B2556ED61FF28980AD18274D6AC43877ADBDB03E16D5F9F795A43AA3428E9E4854C1E043F595D231309D1ECB82B3BF449365852
BIGsc2 = 61
FP4pow = [[5CAB92F224932291123CE8224021C53ACAB4467D98E92A6D84C4D24DCFABF2F603F21F226672F0EB3C0507697FA67A1871203A9EFCF93157B2FB164E53FB44D8,D2A644893CF2756B2F07C9CFAD17BD7072A18E19B82E06D02976AD77DBE7808AE47D1F9B48658B6EE1CA25C98BA6FFDBCA6C690790026ED4991C00CD92CEFFBD],[D40E00E787BF18AD32A4EA54F28FA313A271E5BEA084A94AE40C65B1743CDFAAE1CAB127F4EEAE90F4E0EC5735AF8B4610CE7E39EF5E3F4A4CDBBD73CCDF9F1A,B39CCE68AD6F03102384B60B0496ADDEA22AF8730714FB739455BEF5FD4C86260ADC0E35B96073E11102515C52FB2FC086553B8742436AA1E541BBA4AEF22C55]]
FP4frob = [[646507F1D38D4DEA09BEE9DD048A07282FEDFC9DC9EF239DA803770E97576A0C23A4C3210F9F8CB48B89B3BB1CF7CF946EF468C0C3C7A4C1D1EE94C15E9252CF,53411B44B1B1EE618FD7DA2CB05371BDADD5CADCAD0432CEC666C235C8B68AED46F6E2E0F08288BA28D3CBC2B6882CAE6E0D469EC71DACB85EBBBBEC1966672A],[D881439786FDBB6FC1D4F72AF393E871B6D43BC4310811F27C04733B526C822A302527D4875A066AD2DE18EA500747871163F83D5F4BD579C715F9EAD18B3F29,9A73BCB086BE9BA671AE4570BE48A2C784E54A82D9CA0C3000B2C947C689AE07FA402E249C788121376B688F3E99416BBA545DA302F10827B58263EBAE303B40]]
FP4_xtrA = [[DB4BE38AA955E6F16056D7ABA8B91C49A68FD9C69205EAFB226437DADC90DCBD216F8AAD3BFFB9BDE65B38B2F1154445DCCDD703ABDD1C1EB294AD82AD887C4F,0F24F5C15A27671591B22C6E7028BAF210AE523F058AE92DFD7C679E8496F4EA4B046776450E912F85D60B21ED279417D9942938D3CD882A74F465ED1B743BDB],[B0E6A9A5745AC34628ADBFF94BFF45DADAA036A670A3673BF345B8E6750B8FF1F6001E63B386C89E14B4C3446B0DCCCDDCCC10B7A97408E106BB9C38081D155D,2FDF9027A087114947C80DA02A1E95AF32E322ED33E94C7A6B63DD1E4FC0AFA4724EC8D1D7C5F2C631A26D37294AFE6CAF7118D8DD62F73508DC979F2899C945]]
FP4_xtrD = [[F2BA83EFA4E514A27D8640031BA8591C8A98683D5A3A4A024C3FDD07A1D3D6CA0D44FF4DA4A810E6A7BFF217C613EDEAEDBABFB1E207888B72C746C6C49FB977,58956EF4B2F57B2DFC32E38281CEA5185608536B4D7D35A81D6AEA4A2E757E8E0E0E4E4645A4F9DD8AF909834177D5B557D89DB085F874F4BB727D04D5847EB6],[0A38FAED14BE3A8080749E2D06FD00535D0D5844B8B75038C14B2D7210D422EB199DE6BFAAB68C51887F7B17E2A54E4D1BA4CF86EC1986B5100EFAA7246EE0D7,6973E3630905B47F883E4F1CF0CE13E741AE6A2BA84F946BD53E008199AF40A87E96F9F60A2895BBB5B508F41F2955A6CB3CC368CED93C66A3BB16118316E119]]
FP4_xtrpow = [[5ED4073BC47AB5FDCD9F173BA2D4C1C0FF241FD8F3A9EC8EFDE01D41D8ECAAE2E360DDBED178EABFB53E429620E0606B9B48E598939F5FA81B46271C09A19BB5,F491881047E66CA76205699DB4250A9D2C64EE85F42DF7DF3F789F178262EC8033AB552FE97563EC625DED2AE94466B488DDAF35C4E54E3AF4B714DD79FBFA45],[F7534D16BAAC99E338FD22E5D27F7A154B569DD7BE10B0359A0C407BE933EC9845FC5D1CFE09220CF07758CCC4C81342F741D3B193F7090ECE99602B5D863A36,CA8119B247879DF14A5C93A4A14920FA09947B7B4840A7A6D185F7BC1581759CC32A07A0198ED763453E186C1C684AB1DF014D610B6303500704DC5FC67AAC47]]
FP4_xtrpow2 = [[DC5589A7DE064F381BDDA7D772AC57482156E236D8FFA61AEA86936F995E729E4FC9046C00CDBAB8D45F2AE9AC1502CCF72E0BD230BEFD2D4B46A7AEE597E699,5C1677DD12BB31D84C96E760ADDBB94EBF05190796159F66CD9F6A066863FAB17175D37D390D39EB502D5F4FAAA79F61D1BD180E273CB0618CD9EEA71BB78084],[B7261E80C765515EF415EAD3818DFCCEF4D94DD4BD13055B1BFFFF266E6DC8595A11C0BFF01919DE2D554A5509D60A5F2F678BA624C647ED9D7A81C5AC186A73,F4C389BB8C7C38676509437D2243423822D49614AD241C8F9DE8DC6A4706681058EA65343F9FE734380671906E96E01413DB69D696D90F0C31C1092213CB3C8A]]

# test 10
FP4_1 = [[A03528E9689D269797F4E49C3AE7B83C8A4B8C886F8B3761586054E3A72CE1A6D78B223472FC7967C0AD11C5F013914E521906FAF75990482780F571519DF28A,88AF08E541ADAD8712E6D9A9950AC0AD01F90B4A35B40D177FCC511C12DDDC83274DB62190AEC0EC70515FADF4F4663A4A1368F39EEEBC4A3D1E76365E6CE157],[F7F9AB226C5C4F5F7ED7F20EA5FCCF5693CDBB3C01AC0D9204170528B3FF2988ABCD9AFCBE128A333912482CA2E8A4BF49C62BF0D1D979DC38E1A7B831F7DCD2,016893A01D46FD3EF304B5CB6D867DAB4975E1ABA3FECE50B92659CEF00A8766F388F37274E0BBDCE58B76F417E245874D22B2775115D7215279394A55800330]]
FP4_2 = [[DD0CCF501075A9F1606B199DB1B09E55BC057D4674AF9B3CB0B13BCD6459D902049490683BE6F4E66EE3871BBA3C36F6E5FEEB56D5BDEA2755C7AF012AF0DC2B,B62CD377888D981F4DB53C2367D196C6B9FE029C47E62EE1C20875D28459F4F20264FEE6730050F9E21523343A1CDEA08B56EDFD6EE1997124F3E0DED65AE1B1],[D52767B3CB7A951F3DEF1E03D55003F75BD2D816655D2C7DD862A0D2B098ADAB30A5AFF947562C9AC2E46C6E1A0FB87274F2D39DBD15E22546F1EFBB9FF5F798,6E312B1434F335CF9011BFF7531DDC5A19D11CAB42C74647869A1C4F3F57EB44E197B6AD30DABBB0E0E552ED798435DF4F4A76300509394827999C4BC726A81A]]
FP12_1 = [[96F0CCBD6B1DF38E281340E311EF646964793DDC3234B53D587CF9704AB5277D0F7CE692527B4FBD92D22ACB4BDBB74B62F8CB0ABB1337BE080C40FB94E0DDBB,5881B16B4B642ACC4B57863C28B5987713E09352FD7B1F6CBF430FB5D23FA471A69CB6801A7205131AD1BE78669F2A12C769CE03620D9738869D32434DFC0469],[2A4E80280A1BAFAA59073EA05E0D681795ED59A9F4850FB435D80300CEC101ADD658970B89D7A4AA8827F660B28BB5575226484C236FBE53989C34F09F449C00,D49D3124E221943BFF55015CFA11402D602B9652FA423E08A0D120C757DC1C58D3D8BB97BFBC670E8559366B7EDD35405E81387BBF4F4826B32AD724CD75A83F]]
FP12_2 = [[96F0CCBD6B1DF38E281340E311EF646964793DDC3234B53D587CF9704AB5277D0F7CE692527B4FBD92D22ACB4BDBB74B62F8CB0ABB1337BE080C40FB94E0DDBB,5881B16B4B642ACC4B57863C28B5987713E09352FD7B1F6CBF430FB5D23FA471A69CB6801A7205131AD1BE78669F2A12C769CE03620D9738869D32434DFC0469],[2A4E80280A1BAFAA59073EA05E0D681795ED59A9F4850FB435D80300CEC101ADD658970B89D7A4AA8827F660B28BB5575226484C236FBE53989C34F09F449C00,D49D3124E221943BFF55015CFA11402D602B9652FA423E08A0D120C757DC1C58D3D8BB97BFBC670E8559366B7EDD35405E81387BBF4F4826B32AD724CD75A83F]]
FP12_3 = [[2782DDBF693AE8E7F1A056C094DA847654F0EEA7EDBDFC30538052BD48BD4B79820911C0674574790BC35C01E4EFEB2E6272ACB2C2964BFCBCE80E0E1BA2A93F,A40AADEFDA2577C211873019E7E475ADF7CC8DBCF9E8B6C4EC543E8CAC064A403BEBB7A2B3366D3E9152FEEE497E91EAAAC3F0DE504C05011A879983B648756E],[FD903F0A702BF2025BF9FE9C70A4CD382FB1CCD5817F385C12B434F7DA9B80178461744214F222736EC0C26437520666216CBFB643898D7FCCC69054EF8BC0,3DD427BFCBC8D828BFC4ECC1D980424E7049C161ABEA86E997E07812A899EF5AA0AACD864B919BD5413A504436C63FB05630A535B93FA649942AF65C8A9502C0]]
FP12_4 = [[882803727279E9547A19BC1CBF0D6C3D70E943D37F3DFE82026E885B1077B26897EC308BEB1CDDC34ACAE36DF02B1218D24A2AAA9B8FFDD84F7E1FBE60AE58ED,63142A8C67934836FFD302F24916360320402D1B2B6A90D5C7DAE63B9FE7F5E2A4BE75AE0AAF99D00A21C5D9B7CC93A64343C7090CDC41B8BED6F4441A39593E],[6A3E2392ACFE4260E7B7ADC1E31414F233375A463EC77F2B806CC6FE20FE3AA53C0FA79BB9E98CE028B3E399F931C3864BC8B2F5052B770E00820B2C94BE1355,33AF26E57D313D02301AF5CA952C8FE643E99F35A51867BAA9C2A4DA6E452134D19438DFE6349F4392597BE1DCDD9F240015B2187EACBEEEB81E704449FB9E12]]
FP4add = [[7D41F8397912D088F85FFE39EC9E6A13448AFE2D0B6F7F964855ACEFF9D5CB638AD8E37E0224D5954B043302FF2C5863A6AD9C836DCB1607C85D7C6959E0DF82,3EDBDC5CCA3B45A6609C15CCFCE26AF4BA310244A4CEE8F18118E32D8586E22FD86BE5E956F0792D6DDA1D0383EDD4F944000122AE83F153AD272F0C1219D3D5],[CD2112D637D6E47EBCC710127B52E6CEEDDA87B08E3DE7081BBDC23A52E6E7EE8B2C7BD758AA1E15176A4EBC11D4ED502D4EA9C02FA2F799CAE86F6AAF3FE537,6F99BEB4523A330E831675C2C0A45A056346FE56E6C614983FC0761E2F6272ABD520AA1FA5BB778DC670C9E191667B669C6D28A7561F10697A12D5961CA6AB4A]]
FP4neg = [[5FCAD7169762D968680B1B63C5123442777A7F1969401BA6685B8EDD6A840D9E79BBACEA39C21F5123DF5418BB0FDE933F514ED367F2D41F8D6A3297D10FFCA9,7750F71ABE525278ED1926566AEF2BD1FFCD0057A31745F040EF92A4FED312C229F918FD1C0FD7CC743B0630B62F09A74756ECDAC05DA81D77CCB1D2C4410DDC],[080654DD93A3B0A081280DF159FD1D286DF85065D71F4575BCA4DE985DB1C5BCA5793421EEAC0E85AB7A1DB2083ACB2247A429DD8D72EA8B7C098050F0B61261,FE976C5FE2B902C10CFB4A3492736ED3B85029F634CC84B7079589F221A667DE5DBDDBAC37DDDCDBFF00EEEA93412A5A4447A3570E368D466271EEBECD2DEC03]]
FP4sub = [[C328599958277CA63789CAFE89310665D00C1AE3D3A6EF2C686AFCD75483F7EA243D60EAE3D41D3A3655F088E0FACA38FD84717280E80A8886A46E79495B0592,D282356DB9201567C5319D862D33166549C1144FC699313D7E7FBF0AA034D6D6762F8659CA6D08AB72C8A25865FAF77B5026D0C48F598740CD15BD60AABFEED9],[22D2436EA0E1BA4040E8D40AD0ACCB5F37FAE3259C4EE1142BB4645603667BDD7B27EB0376BC5D98762DDBBE88D8EC4CD4D3585314C397B6F1EFB7FC9201E53A,9337688BE853C76F62F2F5D41A628DD0316AD0A23A02DB10F3482140C2638B6763380BE3F0C498E4E93289E549817F898F429215AB590240DFCAC507B1074A49]]
FP4conj = [[A03528E9689D269797F4E49C3AE7B83C8A4B8C886F8B3761586054E3A72CE1A6D78B223472FC7967C0AD11C5F013914E521906FAF75990482780F571519DF28A,88AF08E541ADAD8712E6D9A9950AC0AD01F90B4A35B40D177FCC511C12DDDC83274DB62190AEC0EC70515FADF4F4663A4A1368F39EEEBC4A3D1E76365E6CE157],[080654DD93A3B0A081280DF159FD1D286DF85065D71F4575BCA4DE985DB1C5BCA5793421EEAC0E85AB7A1DB2083ACB2247A429DD8D72EA8B7C098050F0B61261,FE976C5FE2B902C10CFB4A3492736ED3B85029F634CC84B7079589F221A667DE5DBDDBAC37DDDCDBFF00EEEA93412A5A4447A3570E368D466271EEBECD2DEC03]]
FP4nconj = [[5FCAD7169762D968680B1B63C5123442777A7F1969401BA6685B8EDD6A840D9E79BBACEA39C21F5123DF5418BB0FDE933F514ED367F2D41F8D6A3297D10FFCA9,7750F71ABE525278ED1926566AEF2BD1FFCD0057A31745F040EF92A4FED312C229F918FD1C0FD7CC743B0630B62F09A74756ECDAC05DA81D77CCB1D2C4410DDC],[F7F9AB226C5C4F5F7ED7F20EA5FCCF5693CDBB3C01AC0D9204170528B3FF2988ABCD9AFCBE128A333912482CA2E8A4BF49C62BF0D1D979DC38E1A7B831F7DCD2,016893A01D46FD3EF304B5CB6D867DAB4975E1ABA3FECE50B92659CEF00A8766F388F37274E0BBDCE58B76F417E245874D22B2775115D7215279394A55800330]]
FP2sc = [6E61F3C9D71DFC1E70039C1D2E072F3959BF906A427B61E17527101836014C7590A1CCF135706B01B8096111155F962A3AE3CCE02E7333E2F1AFC802DF913A81,6C42018FDF156384BEE7221A63B99B6F2D5241432186B7E6A57C126D5ECDADE05CA037E5A0747255C18AE249859D868E93CC4AFA90C712AAAF1A6A6D6260A72C]
FP4pmul = [[91E01D4E6C472600D904C6A6F88133A21B5F040C7869106CC98F52B4138AB266EDA2408042389CAC7937EBD1397D67020E602EF89F5803EFF2B7A52768B3F10A,6D399601D2784E0BF34C8967B4B92DE7231DFA8E83266681B4263B4433A3712E35071AED0662BBCC1CCEAE23B0BC4DFFE6C9970A6066F33AA4110BC0970F7896],[2A964C3C13A1775E0941488878EB6A1834D5EE512E0ACB2651659F41C2028EE15ECC6C80AACE4331F500CE42693ED12A469DD0563CB2668E6D00F8412549B92C,C37CC07791F21EDE0EF1BE913A76F9685230140F6071C52F3E76D3A9170BC457E1335C36282113D043844F12587581E395E614747171B404DDF96226B68A989D]]
FP4imul = [[A1DE7034AD865B54579C097E1243DBA5D3C9B6A2AFEC534557B7893B881F4282FD82283EAB2749094F57A29C18FEEC590BCD91CAD5A81C82DAF0D8CE3127DADB,CE27500F4F1B19BFAA1DA6F63D7914190AA93714802729B47B3F4AF8630903871CA02AB3632A656C60AAC5A2F009D8865505595719330CFD526587C4C71C2F43],[B7C70435CF3ECA5B75978283D613E613240B380D48B1E1E41EF01065C670FBA38003F9ED48B21605DD415A9C61124BAD0CA4DD04664225805895A530AC4749CA,0CAD30A1077EE7368B2A6426D9BA6B059524EF08C3F540D682592846705EC29E8FD08F061BE69AC411E72E94D6F471C1B6384631D9C4902BE643039D01801CB0]]
FP4sqr = [[789E631D94FFAE062ECD5A31B4E0A469358D17ADA147826EA196AB50FE811F734E13D45420E5CBE9BFFB01DE4F7D2FBEDE766C31FEC046E51DEA36B8FCED9A20,DFF0EDC7DFDCD1E8D0E20B6822355690065A9896C839D232C2D60808070505B700A92FC543C939748E1D387B46ACFDBA44631B0767E7082D594E72AAC675E594],[E77BCC05887DEF441A3188C9FFF8D5E34CA40A121156A2022574A110C646046701FD85897F6E20496B9B358FBF04FC8DFB9BBBEB9C714F29D366DF2384BF42A0,0A77DDF856DE69C3B736285800D41353EEFB49FE753577F294AE2CECC5951F186C1BCB8E3910F124E36179919DBAF5A789443268CCABD750CC8E078E45482E68]]
FP4mul = [[B84196EC7E789F8802246136C653D93991AC7423C33785DC1627C280685A4F5BAF03A05993665D9C7A21579B08F245DFD3C04E0C0086C41BC3CE5D7CB2D4ED89,414321C9309271CFA1ED3AF7CFD9CE25D3BD2DA9B026CA93CD9CE83176E365A90354353A7D88D6BDEC2F30BADB822DE296819446E063EEE73229E94EB707A8D9],[DEEB333ED1D982CDFB18A67F62D1104FBD6C9DFB7DA5ED1ED328D9957446A8FCA1D972E17FAD38F051BFA23A9021D4058C7AE3896DECD5AA58304C4906AC4A7E,FC894C30F549FDA95C236B72E7BA7D51410E2B4A8E8E838270BF0F003C08B15BBA5A7D0D11F3FCB44A77E59F8C3B67EFEC9190061AC93DCE1F32B9BEBD0F513E]]
FP4inv = [[872FFB8F980C3A900291FD958E8533BDAE5AA6CDE236A814F07302B7D1A565390A30876B43A3E26242415FA91BB62F2261CCBDAC9207BD8B9E7429B7A42A0273,BE2D86E63247340B3785DDDB753E1A0E49843F1E2683E62A6F4F9F763C7DBBB6CB35BC61C17A72FDF4A3D0C7D2EF0286EA7972C78D43A69450CA29E41C6B271F],[985A2BFF33BBFECE75072E523A4BAF8BF4B155A5F378497903E63BE1608AF676E595F4D0879C5763BFED822C1C7FBCEAE833816EB967421E21D96C0DCFE5B59A,902206E7621CEFBD6B6E656B9C3B69D0DCA4905BD8B001E79106825079B766081C5F8DA4C12C3323E2756FED2567EF21D2D7ED0AE9754E470C1A1218725B6F5F]]
FP4mulj = [[F69117824F1552208BD33C43387651AB4A57D9905DAD3F414AF0AB59C3F4A221B844A78A4931CE565386D1388B065F37FCA3797980C3A2BAE6686E6DDC77D9A2,F9623EC289A34C9E71DCA7DA13834D01DD439CE7A5AADBE2BD3D5EF7A409B0EF9F568E6F32F346101E9DBF20BACAEA4696E8DE6822EF50FD8B5AE1028777E002],[A03528E9689D269797F4E49C3AE7B83C8A4B8C886F8B3761586054E3A72CE1A6D78B223472FC7967C0AD11C5F013914E521906FAF75990482780F571519DF28A,88AF08E541ADAD8712E6D9A9950AC0AD01F90B4A35B40D177FCC511C12DDDC83274DB62190AEC0EC70515FADF4F4663A4A1368F39EEEBC4A3D1E76365E6CE157]]
BIGsc1 = 0996BCEA5DCDB68058CFB05AE3148196CDD28F89348ADFDD240A641B7226F0A0F90F5F7D8178F5B5555393E1335C26C68FDF689160627230EEC6E9BE1FB26A54
BIGsc2 = 4F
FP4pow = [[F223D8083D0A41BC027AF247A8106D0C77EE3664DD806222C4C6898FA245D89BAFBE5EA3D778F802D90A8AB7FA39E89797E4C8BEA3E5739D2F432587E9332F58,442D965A28C0FF4B6690E7708946FFCA47A0492BB8992496FAE3DBB75AC2FE54860D778FF0C92F81C85C13A6AFC7C66D20F4F068FDC69159AFFB50CE09D2FFF6],[A6DB1D2048FDB347D80DE7355E47FEAF14D0C6762033EB94F5BDF270A4EA23AE4FDDAD87D3827B83CD3D08E1598002A44C601C3CF5F93AB28462C61C3BE92455,1F1712290D0F2E7754D874A52E40BC9FDBAE8FA46FB8E6127294F45907D73BA4C02FBF326ACC8300821696A96BD9DC6702BB03CE71B99D27F55905C9BF192F9B]]
FP4frob = [[A03528E9689D269797F4E49C3AE7B83C8A4B8C886F8B3761586054E3A72CE1A6D78B223472FC7967C0AD11C5F013914E521906FAF75990482780F571519DF28A,7750F71ABE525278ED1926566AEF2BD1FFCD0057A31745F040EF92A4FED312C229F918FD1C0FD7CC743B0630B62F09A74756ECDAC05DA81D77CCB1D2C4410DDC],[10FE97B1B9A7C5B3F04098353616EB3E586EF7E687B2BF9B007E9760A36ABF0852660701C2E7F843259AC20770446252C7BF418EC6F2FAB98677ACDFF7FAA6DD,5E3E1CB55641BDB12EC0695666FEFE4942D8C4A494564D785509937FB926573790C0A54A260B25CF74CD33B413C00CE3A42CE76275A3C7D58763840BFAC6760A]]
FP4_xtrA = [[A7A7B7748C2D77B41409507EE81A8B17FD7B01A045271256A4927091C0894B779FB41D28CA6E82244BC11BBF3FD88942218EA366DDAADC48F24F54264E6A1731,2DC753ED150E986A32B384ECF288716E2BD4DB3FA0EF46CB818F85408B1E13098B30171F47CD93587DB59516B71024B5E6F2B8F2D6068D51CA07B1C5BAF46030],[A88B7F273930C2A77E1C961DC49A661C31ABB8D4ADD8C7ED089412E395DCBFE190EAAD60CA64305D0054660FED5F7B5FD044BA20FB32A90D2668B488DD783FE2,98B5A5B9AAB08E66812DB62E50C4B398EE3B698B14BC7F36D5C863CCAFA152EF8611A99152F3A98660A55E8CC61AA88F90021626B74AA5CDB0124CDA90A4232C]]
FP4_xtrD = [[3834114AC3C560D6FEE390F93F0B206F22BC0A3E9AFC66B3B191E54AC1D84B6AF0445F09E7AB71D3232D44311A797D03CBAEB40A6F598ABC83D373DF7C5FA43F,CE92DBFD5C8176DAAB145814F819C1B5042E8DA4359D0B0B83F94990F2FA3BF6035492A0CF2A50549206DEFE07E7A12741A69EEE8955F40093FCAE472C4A1219],[D76F224A61368E0317E16CE74BFE9B9270B3694663181716AC2AE3E00AE278EDB70B1D45A216033E14A6FA2BAE8F66496C536830818B7A12DB53DE81A3531DDE,0D490538916C64419D3F93EEDBE10EAA81E70D55BD33149406FAE08AA5AA2DE6532DB27322D268DEAE786779CD7F80B6238997576ED7859371807A22F04834C8]]
FP4_xtrpow = [[84889255EE264B7CEDE1BF70FA72378FA0360743C87883A44EB3678EBF04129E4BF0CCAC9B24F10708E1FB6DD9A4D9E590614CF8EA4884118DDC957F78BEFDF2,23830C7D2AA4166E126D7BEE197BA4F6656BF5DCA5DE0ED2C8D92FC2645BAB0640384CEF3278D0E99ED2B9AE85A0BE343C2013F2798320AEA47C47E79A64AC37],[227884DA0B13E152F52C86AC0701339B93809B25364AFB278341A9836FDB941A77909343D68BB2B58631787E8F4800E7C8BE3BF8DFA30A83A9346D5BC257F29B,95F0CDA88F20C869D1D2D4BECB0AA245C6E89403A6E044FCE32600A3013B8AD83D5B293111535FAA1C964C5A1A65402BF758C0C83FC97EDBCDEACEE0CA945D42]]
FP4_xtrpow2 = [[5DC1DCB1224C45C008224E98D7AAE69337EA56741D8E49E6A3FC0A2810D30622C6FDF8A752427D355AAC794381DD52F9ADE837638F4196890E0659EE464A3E0F,EA94EED42F75C679EFABBBB808E8BB5C5F5745D6EE98147F5C85751DD4ADEC46DEA84C258D91AFA6FE3F42BF77C147228C227C6FEE036E31DB9031BB5687B8CF],[A6769B200017BB592F024B998C7E457A3986E42616A8FE5791472A0152268BE912C5019CC74664C45D61BEE94FB0ABDF844AFB744F2AE198473A2926F39EE839,FBFEE77FC97F535999BA2EC7B46375167458202AC493E514A916A48DBAF0A2D473417F05EF1A05364AEF905D3BD0F1B5686207D23228BE3998A615F24E8E589F]]
