# FP2 ARITHMETICS - CURVE: BN454, Modulo = 0x24000000000000000000024000000000000009006c0d800000000000006c05102400000000d814423414402400000006c0a206601b00000901441e0192084000000024051042013800002406c08404e013; BIGmax = 2^646, Frobenius_constant = [0x09ff28b3a4789577c152a374c5b69b8147979a41a480af6d02a45219f8ce651fd85af9c3cf5ef558d2135d8c273079628155980ecdfc4b0f037d94fb8a8a2b93166bb7e0a0be10cdf74076ead944929a14,0x1a00d74c5b876a883ead5ecb3a49647eb8686ebec78cd092fd5bade6079d9ff04ba5063c31791ee96200e297d8cf86a43f4c6e514d03b4f9fdc68906077e146ce9946c246f83f06a08bfad1be73f7245ff] # test 1 FP4_1 = [[238E0ECF62367DA5DBCF9866A9958E62E76A3367446FB4B964AA14A63C2A5F16377C091A5ECC8C94845A727F1650866D3ADF0940BE906134BA40AF1C7BAD28B57F3030F332D2CAF1ECFD7F19F609187896,0502811C3C6E23C86E63E24FD4E5CC68CF7BCAA5BB56300E93A6F461A1A4A92EE70096E429EDC187A98A456E9BC217C6BF7384F8E0E35DF875B8C8BAC506AAA9C138E44B040C98BF6642E589A0D9269036],[0A605D6D9D5FF33594D2A3D3A52C412E69A173B5783C1F6760A9B0A4B6A3CC2C9BD1C76127A723FA69B5D735573C79E351706D94EA0F1789E356D5F03C28E1882E55D7FAEEA80B09FECB82B07191592A5D,1D18123B0434BEAEC22692B18BA97F3E5C911BEEBD8F86903316631097370CCD5D66044C9D15A93A0F0D3CC7E4AD4F8FE0B26A1B6AFBD7831DCFF26BE8237CD452AB78F06DD29260298E02672339504589]] FP4_2 = [[10582B31E11940ABDD099F2186E4D52FFCA05EBD5EAE3DB37E6F4624029BEBE353F4657396B4EBDFA7766AFF329BCC132D91BD3BAF7262167A2C0F8FE6C77014A77674B972A87F06A10F2C34F33C5D7D0B,1554531B828341D795FB47E6077F65C2971A433A375440EE3D62B23D0886F76AC58BD747F50073DBD3E8AF58A47A9DE0F240C1D817AB5DBCF4869FC61F0AA2EC588CD2534E1B795E360FDDA1F501548AF3],[051152B3C7DB9CFEE5024309D69CABBDC309E45021069576C991BFA3A1E215B18FF0D6CDE7C095571CDAD78915E5E94F41A97AC60293186F2F444D8D09461B93063208B04DA9113ACFB6468C0966BDB060,1366C96A0BE87645B7BD551AD98F54BDB1BF8B8413C73D5D8E94BE784A5223B9B44E488D6CB0AB676328B3ECE7E88F39037E0C00A15EC12799B1396DAE1E6A977B490A1819302100AAC950EA605B5D4F2D]] FP4add = [[0FE63A01434FBE51B8D93548307A6392E40A89243710726CE3195ACA3E5A45E967706E8DF4A96431F7BC9D5A48EC5279A7CEC01C5302C3423328A0AAD06C58CA26A681A7953948C08E0C874828C171158E,1A56D437BEF165A0045F2A35DC65322B66960DDFF2AA70FCD109A69EAA2BA099AC8C6E2C1EEE35637D72F4C7403CB5A7B1B446D0F88EBBB56A3F6880E4114D9619C5B69E5228121D9C52C32B95DA7B1B29],[0F71B021653B903479D4E6DD7BC8ECEC2CAB58059942B4DE2A3B70485885E1DE2BC29E2F0F67B9518690AEBE6D2263329319E85AECA22FF9129B237D456EFD1B3487E0AB3C511C44CE81C93C7AF816DABD,0C7EDBA5101D34F479E3E58C6538D3FC0E509E72654943EDC1AB2188E11D2B76EDB44CDA08EE405F3E21B090CC95DEC2238E6FBBF15A98A1B63D0DD80439A76BCDF45F0376C0B228D4572F4AC310A8B4A3]] FP4neg = [[71F1309DC9825A243069D9566A719D1895D599279DCB469B55EB59C441A5F9EC83F6E5A20B87ADAFB9CDA4E9AF799985C2FD1F5C6F9ED447036EE5165B174A80CFF311DD6F36461302A4ECCA7AEC677D,1EFD7EE3C391DC37919C1FF02B1A339730843E5AB0B74FF16C590B9E5EC75BE13CFF691BD6EA52BA8A89FAB5643DE840012E81673A1CA2108B8B5546CD0195563EC73FBA0C35687899BD3E7D1FAADE4FDD],[199FA29262A00CCA6B2D5E6C5AD3BED1965E954AF3D160989F564F5B49C838E3882E389ED930F047CA5E68EEA8C386236F3198CB30F0E87F1DED481155DF5E77D1AA4C0A2199F62E0134A1564EF2ABB5B6,06E7EDC4FBCB41513DD96F8E745680C1A36EED11AE7DF96FCCE99CEF6934F842C699FBB363C26B082507035C1B52B076DFEF9C44B0042885E3742B95A9E4C32BAD54AB14A26F6ED7D672219F9D4AB49A8A]] FP4sub = [[1335E39D811D3CF9FEC5F94522B0B932EAC9D4A9E5C17705E63ACE82398E7332E387A3A6C817A0B4DCE4077FE3B4BA5A0D4D4C050F1DFF1E40149F8C94E5B8A0D7B9BC39C02A4BEB4BEE52E502CCBAFB8B,13AE2E00B9EAE1F0D8689CA9CD6666A63861906BF00F6F20564442249989B6D44574BF9C35C561EE09B5D639F74779EC8DD4C980E4380044827646F6380447BD68AC35FCC633209930332BEE6C5BD6E556],[054F0AB9D5845636AFD060C9CE8F9570A6978F65573589F09717F10114C1B67B0BE0F0933FE68EA34CDAFFAC415690940FC6F2CEE77BFF1AB412886332E2C5F52823CF4AA0FEF9CF2F153C24682A9B79FD,09B148D0F84C48690A693D96B21A2A80AAD1906AA9C84932A481A4984CE4E913A917BBBF3064FDD2ABE488DAFCC4C056DD345E1AC99D165B841EB8FE3A05123CD7626ED854A2715F7EC4B17CC2DDF2F65C]] FP4conj = [[238E0ECF62367DA5DBCF9866A9958E62E76A3367446FB4B964AA14A63C2A5F16377C091A5ECC8C94845A727F1650866D3ADF0940BE906134BA40AF1C7BAD28B57F3030F332D2CAF1ECFD7F19F609187896,0502811C3C6E23C86E63E24FD4E5CC68CF7BCAA5BB56300E93A6F461A1A4A92EE70096E429EDC187A98A456E9BC217C6BF7384F8E0E35DF875B8C8BAC506AAA9C138E44B040C98BF6642E589A0D9269036],[199FA29262A00CCA6B2D5E6C5AD3BED1965E954AF3D160989F564F5B49C838E3882E389ED930F047CA5E68EEA8C386236F3198CB30F0E87F1DED481155DF5E77D1AA4C0A2199F62E0134A1564EF2ABB5B6,06E7EDC4FBCB41513DD96F8E745680C1A36EED11AE7DF96FCCE99CEF6934F842C699FBB363C26B082507035C1B52B076DFEF9C44B0042885E3742B95A9E4C32BAD54AB14A26F6ED7D672219F9D4AB49A8A]] FP4nconj = [[71F1309DC9825A243069D9566A719D1895D599279DCB469B55EB59C441A5F9EC83F6E5A20B87ADAFB9CDA4E9AF799985C2FD1F5C6F9ED447036EE5165B174A80CFF311DD6F36461302A4ECCA7AEC677D,1EFD7EE3C391DC37919C1FF02B1A339730843E5AB0B74FF16C590B9E5EC75BE13CFF691BD6EA52BA8A89FAB5643DE840012E81673A1CA2108B8B5546CD0195563EC73FBA0C35687899BD3E7D1FAADE4FDD],[0A605D6D9D5FF33594D2A3D3A52C412E69A173B5783C1F6760A9B0A4B6A3CC2C9BD1C76127A723FA69B5D735573C79E351706D94EA0F1789E356D5F03C28E1882E55D7FAEEA80B09FECB82B07191592A5D,1D18123B0434BEAEC22692B18BA97F3E5C911BEEBD8F86903316631097370CCD5D66044C9D15A93A0F0D3CC7E4AD4F8FE0B26A1B6AFBD7831DCFF26BE8237CD452AB78F06DD29260298E02672339504589]] FP2sc = [01598DE75E5A30A568BC95B351CF342D03E129C8F5388290621BA58F6A743E3128A3617D827CD8C82C9E00B80350C56D7E6ED825EE98FBDC7B01C744BB277C4FAC4649D5A1DEC4A42E0C0231CF6A8751CD,08B421AE34EB06D7E0DB919CA1E06B08ED9A70F702316D3111D224A68640DA7D4863A9D4AD72455554C3B89C70C77783E2A2B9FA8C49C72D3C53DEE5DFF54B1672C6FE1911865675EF064967112E51596D] FP4pmul = [[1070939D32254540057DAA14D06E490E6974A89D901BBEE95E277E909E054AE97C71B7864C718074FE772F59A9D724777BC7D5C97D492E866DF10B80D3558065E45E75F3F7D49F975BC65FC9ED31AC321B,15ECB9A4C6757CD06789F447D6C68C4AEF759EBDF45B4045BF55895B5AB136A1ABB58BACA64C9BF6CA4EE863C737D1BED9BE1B036A7A14FCA59060ED27360B33EDA430BFD93DC998B7A0AD3C99CDF64C99],[1ADD181361D4000A2147B68BC0E96A2A72D60788755F1BF6132C4BC8570E7008A819175F7D83FF2A3C1F1F8B762F376DDB8E9800B2C3690FF71CFE3CFBF5F6821F5057C56157554FDCDFA44C1362D660A8,0E7B13FE94E446FB180BB5C1E8A52B15D9CBE6D2009067224F24D3CDF1739366A0967A492890E61E78DCBAA4F1C18B25A518FDDA5386D30E9DC5C90482C1C5DCBCBEAB6EFC8A072FD89C019AE523AE88E8]] FP4imul = [[00,00],[00,00]] FP4sqr = [[0778C94944B76A43DD6C10ECC0D89106B0839544A0FDA2CA1508B4B121816962B7E15D4FFA237FA6928B7192B7FA2E19BF0C5B85366F29C735640735089DED881188C20F3C8E92C1109FF53FB8D7E0D581,0883C76B35BB8E8B5482930232C1F7D67A247A8505AE2E110D5C2412C9E8E2402BC498B0A449EB066A5990C314438D0EAA2DB9B427254EFB129F3AF76125C4D238473499B50C6D2BA966D24DD3A050D29B],[045C67643693D005AD04405678A2FA9F24B64C7164CC93DEA0C80498FEFAF539AA6E25B961771D4045A8422DFC25A5EE2BEB8BE6DE4C69E92E337324646FBC852C3E5AE8AD1F8007309FD817E50156F466,0D14217F4EC58AF721DB73457B629F0B7D104F665C6A886686DB6431CF970B82BDE3ED11BCFF0E55C7648812646AEF2FBCD24A730A6ACA52776AD9FE34DAEE663D999E2C4E9578FCAD94FB76C709589666]] FP4mul = [[1A721D59B748BA38AD1C02F72FD5DE9C6DE52B93D0CEA9D347399E080DD4D7E72F992C1A7FF259E4FD9458A598549F9104556E83862C78780372B98654E2C43AF79657FACE7229F1792E10FA30E6F98B8F,01F7D2C73676634320E7119CB1A67A9E8FC284E2B3016222DDA6409921D79B4D125A4A53864A822ED6EAF359A446B910A241C2826ECD815B7663B4DC1068711DA4C696114D23B8DA55AAF789CAF2577CA3],[12820B11D0EC3B32062A0D403B93AD0361846C1AD8106CFA747F1DF78976C1E309F980CE4B48F8FE824D747D904513D4340D25D45300652B443C463DDF78D4FA37E3C7C3EA55572B13F6F2831BD5AE55D3,073B548CD777F5DC6BD06130C3D0302B26E89E2878AAA55CA1C4ABFB9D81E32A162AEF2F90AFCA8066CC3EE12836C7A37D9FD0B89BD3B031BB35527656B785E578F1D2B4D371658B96128DB7C4311AFF7A]] FP4inv = [[204E8F4513369DBDE2AB6D360C30370A1719841624A8C0E5E369E5022CEEC0B5FE640AF89703A199D4B3EC27E06D334FAF67B9CB0597E3387AA7515349A189A8531FF8DBFB852E477C547510CE91A28970,1C7A3017EB1F68DE84362DE88A8530D0D7D7C3D4DB31E93D700B59408CD547599B7905C7DADF9063902570B51D7A35480009C3BF2BC480AA4629B5C02736564C0B68877199315FB82E1AED89FD9CE17B11],[1F2D920E8A0F3748E46B6CF5EA6029084E87484710262E663E9612EF500A261E7C1D909829FC35C8768BD0E61AF760BF1E435808BDC843E0E38531C26BA13510FFBE057011FBDF9DACC5BB58334BD19341,1B7ABD95F349E5054CACBE8798B2B9526708471977A3F87DBE373A5D2DB50EA3F6FF90237CAB6CD9E1771BC4B5F1A3B859012D97091053CE67808188DF19F5947B688551B4EEF070F533C15D53B8D03F2E]] FP4mulj = [[11484B32992B3486D2AC13621982C1F00D1060C726BA18D72D934D941FD8C46F626BC3148B698F028EBCDA91728F2A5A316009D99A13400FC6CB0185E60DA4B3DBAA830F911779E1D53DA4500EDC0DC4E7,03786FA8A194B1E456F9344530D5C06CC63286A3C9BE25F793C013B54D6ED3E9D537CBADC3E4B8F244AED3D93BE9C96C7180D1503A0AEF03FFE2AA5A92441E5C81012CE64C389C3228596110D446A48FD3],[238E0ECF62367DA5DBCF9866A9958E62E76A3367446FB4B964AA14A63C2A5F16377C091A5ECC8C94845A727F1650866D3ADF0940BE906134BA40AF1C7BAD28B57F3030F332D2CAF1ECFD7F19F609187896,0502811C3C6E23C86E63E24FD4E5CC68CF7BCAA5BB56300E93A6F461A1A4A92EE70096E429EDC187A98A456E9BC217C6BF7384F8E0E35DF875B8C8BAC506AAA9C138E44B040C98BF6642E589A0D9269036]] BIGsc = 063528A8BF77DD21F0CFD161858118F23341B213F32A8C906BBDF7B4CBB53ECF27765C75D502CAF5844093206C999FAD981D82D914AC20D07A7632FCA071CBA964E214B530E26BEF2A453DE40A03630DFE FP4pow = [[0F7099A37ABF90DA9FFB3399136AB584FF3C44D852CE8A8106F24873B93D73B65AB8659ADCC8F3B2453BFC009651A8B498CD46BC2FA0902F72A5286ABE4D4EFC0AF0260145CCA518B886FC40818E739584,16C9B87AF900DE21B0BD8708C21579CD7E42466BDF11138715C31081B678CC30EA0ACC88292E9468D79F3A548B1B39B10671ECAEA38F42A0E77F280535A18C10ADC756969AB51A4A38A12910666CFCB4C8],[22C5B33DC35A4A8E850E31CBCEA8F6479DA03BA8C112A4AE3F18EA2DE4411963E7DCF8553D8EC691CF4C9726F27FC369676DC033FCE6E7FD802C6A74DE796733E9D8C39FEE7D874A0DF70655B1667CD570,0EC86744A229A7392B4998F331C80A6FF5D806625A40B3AF9100FFD5C523050433339F1365496B67F04C76763061A12C70CE16BEFA3A5A39D5A4F73B186D2E3CBD3DFA1C5208078570D72730C0233D8602]] FP4frob = [[238E0ECF62367DA5DBCF9866A9958E62E76A3367446FB4B964AA14A63C2A5F16377C091A5ECC8C94845A727F1650866D3ADF0940BE906134BA40AF1C7BAD28B57F3030F332D2CAF1ECFD7F19F609187896,1EFD7EE3C391DC37919C1FF02B1A339730843E5AB0B74FF16C590B9E5EC75BE13CFF691BD6EA52BA8A89FAB5643DE840012E81673A1CA2108B8B5546CD0195563EC73FBA0C35687899BD3E7D1FAADE4FDD],[2071417B6F509D2C3A7A624FDED067CA721C76E4E321D5DF2A1F8DCBEF8AE0BAD1D5669B4E081F669AC8712894C6918373873BA5FD1CF4E866ADF975890F3786B41981433DC565979044269429D7F294F7,21A761447FB1813F47DB7C810FE841388BFB4370862AD69A1C5B526726C3F3D87C50C0E5F79608EF10E414B5F1949FF5C27F8019F7319A35007C0FBAE07BCE6AEAB735BC69D042979D4C6D5D84C0DBE4F5]] FP4_xtrA = [[21EBB08575BBBBB8F870F8EFDD23253C4CC6BBF132768EC0923109FC3EB7EEEB9727F38FEB23454EDDB91DAA823AD99ADD9F741936472D6F0C68474A73EDF9B00777D23A90F76242277F495F94947456B3,1D320E52BD1FC032694A0386404B39398D421BEF2BB9FE60FDC5A611C86FECDD3528030731502BF0B008ED9CB57093F836C792E6B95CAB13A4A1C00E7FA8E94A310CF81625587FD7FBFC0284CC9EA06D40],[1106D9B702639F3BF6177FFF53C3D1757378F09116A2E8EDAD395707E429D045031EE4A4F33701FA6E8C653CC269415134D96BC9829991B066751149ABC513D055B2B25A3577E268D5E5BE668D60634255,0A37B794CA537EE7C3A118B86FA33716152AF51A4BED9004BC347717C12B49F6F7F5C4F4AB08952524DF6CD83798D813D45D572D79CB93FEF3724EFD258495578BDF514D2048003387FF1A5BAA09FC3589]] FP4_xtrD = [[085CABAA804A6EF825CCE49F6DAD7440E1AF4076F03939574BB48B64AA04B55690E94B1B3E3A8F01F1FF0CDC8B59214CCA9255C3EF4E676FC36AE4FF35541C1D1328A832F76CFF4D36A53F194DCDB9A47B,227EC532BCDF46FA77BAD0A288F65F04DB2CEE39FB0F4DF3E60E3B4F870B94F281C36AE851467C394B594609DCBF5D87EBE8B622805E93132871C7836920AF7EB5D59008BD353CE4DCE12B415272089242],[191D223F7153B670D6A987FDC2FB7CFBF7F933DC5544D2AD621B65E26C428D92E211B47BB0C565351913F098AA9E99B4CECC6710B26A98FCF4E11F04DCC17F9588EA0ADE8A6F961B2E36DD78C824094920,234445F5572F0854A628966892B59D8836327E436B7C1586ED082A52FD99200D54AFF5AAF6524C87B16AC17E2DC58E48BD951849C562794FB1C6A0D47319A80EE2F06C0819F89C8500B0DC3E4CF7F44165]] # test 2 FP4_1 = [[1174C364D1AAD93A3EBEB2E5E481DAF3AA0AF00288A431147C71D4D0FBC94C00522A2C380D17906E327ACB3B21466B0744E1B3FCC73B43A4FCCD9A7C3AD0B4F393CBA3B43DED2411055CB8B6E678FCB4C9,11905F80C5B39F9548D46ABB8918DDADC57B756C00D458E3E63460E92E78DA81E80EDA4A85E9BA6B1935FB83F97F58B60FC60C143029E1FCE51F1E54E1625E4BEE043A8F8091BCF96FB18FA89D855E6597],[127C786310142DE92B897DFD1688FC24F20829520626473157F3CD174CAB8884917F6DBBB7DB5C8CEC7D39E30C18B9B76535BA8A45C7DB39C00CE0D92214EE943710C400F631B19A251F8D27DC7C7B9142,0A8BA6919B9D57C743C41BA7D381116B3F5916695745734614464EE6DA4673EF39ADD9784492EA0C219E00E57454AA07BEEF23CA8A3F679AFF3467BF6CE6FFA088F1CBD1FB220128F9E6032A768EEDCD93]] FP4_2 = [[1FDB1298407950F47139027427CA9CD5B2F8F99399754F9D2E454C461FBEE9A0453D9C1FC92DB574AD63440274761F729437670862604BAB722EFE31EDE7A6457DC70170B3852C0F27CEE2067C4364AAE8,1FA826FC7C037CABC36F66F332C37642F6337A660EE1C06FD53A086C6EDD577A315C23C28337D4E3F17F8D2368C425D2815E52476BF675F8EDFD2F792E906377B2CB4B9769AD5E674F30F9F92CC43FE504],[1376048FEBBB57E28370A683E381A4107F90E8DE8E9C76BB39C3ADD6DE44C85EDB552F8D66F3F9AB7DB761A96A3BAF2FDBE9AA581450973A1626FB5EBBAD6CE740D15029794157D6A5FFE50D6DBBA53204,1594A706CEAEFAE93CFB0DA665778F5AFFF3604F32CB8B95CDDA6A8550AE796F19F45A11C51F316CAFAF9869586E044962A64C555DE6A6FE241E29F32D926BE739E03CFDB253B6FF64A26FAD8834C0F2EE]] FP4add = [[0D4FD5FD12242A2EAFF7B31A0C4C77C95D03E095B60C00B1AAB721171B1C30907367C857D56D31A0ABC9CF1995BC8A73187714A50E9B8F476DB87AAC96B01B391192811FE1304EE82D2B76B6A2385C7F9E,0D38867D41B71C410C43CF6EBBDC53F0BBAEE6D1A3A89953BB6E69559CEA2CEBF56AFE0D08497B0CD6A1488362437E81D08257FB812057ECD1D82FCC7DEA81C3A0CF6221D9FD1A28BEE2659B09C5996A88],[01F27CF2FBCF85CBAEFA2240FA0AA0357199093028B53DEC91B77AEE2A844BD348D49D491DF741F636205B68765468E0807D5E823F18726AD4EFBE364BBA1B7B77E1F0255F310838CB1F4E2E89B41BE333,20204D986A4C52B080BF294E38F8A0C63F4C76B88A10FEDBE220B96C2AF4ED5E53A2338A09B21B78D14D994ECCC2AE512195701FE8260E99235291B29A796B87C2D208CFAD75B8285E8872D7FEC3AEC081]] FP4neg = [[128B3C9B2E5526C5C1414F5A1B7E250C55F518FDE3694EEB838E2B2F04A2B90FD1D5D3C7F3C083D4019974E8DEB994FF7BC0526353C4BC640476838557378B0C6C348050D254DD26FAA36B4FDA0B082B4A,126FA07F3A4C606AB72B978476E722523A8493946B39271C19CB9F16D1F32A8E3BF125B57AEE59D71ADE44A00680A750B0DBFA4BEAD61E0C1C24FFACB0A5E1B411FBE9758FB0443E904E945E22FEA67A7C],[1183879CEFEBD216D4768442E97703DB0DF7DFAE65E738CEA80C32E8B3C07C8B9280924448FCB7B547970640F3E7464F5B6C4BD5D53824CF41373D286FF3516BC8EF60041A104F9DDAE096DEE407894ED1,1974596E6462A838BC3BE6982C7EEE94C0A6F29714C80CB9EBB9B11926259120EA522687BC452A3612763F3E8BAB55FF01B2E29590C0986E020FB6422521405F770E58331520000F061A20DC49F5171280]] FP4sub = [[1599B0CC91318845CD85B2B1BCB73E1DF711FF6F5B3C61774E2C888ADC76677030EC901844C1EF3BB92BC75CACD04B9B714C53547FDAF8028BE2BA4BDEF14EAE1604C6489AA9F939DD8DFAB72AB99CE9F4,15E8388449B022E9856506085655676ACF4804065E00187410FA587CC0078817DAB2B6880389F9C95BCAAE8490BB32EA4F09C02CDF336C0CF8660CDD44DA3AD43B3912FD27265FCA2080B9B631452360A6],[230673D32458D606A818D9B93307581472774973E39750761E301F406ED2C535DA2A3E2E51BF7723A2DA185DA1DD0A8E49EE16924C774408AB2A037BF86FC1ACF63F97DC8D325AFB7F1FCC212F44DB3F51,18F6FF8ACCEE5CDE06C910416E0982103F65BF1A908767B0466BE4618A03FF9043B97F66804BCCE1A602A8A01BE6A5C51CEADDD54758C0A5DC5A5BCDD15CD3B94F11B2D959104B619543B783AEDE31BAB8]] FP4conj = [[1174C364D1AAD93A3EBEB2E5E481DAF3AA0AF00288A431147C71D4D0FBC94C00522A2C380D17906E327ACB3B21466B0744E1B3FCC73B43A4FCCD9A7C3AD0B4F393CBA3B43DED2411055CB8B6E678FCB4C9,11905F80C5B39F9548D46ABB8918DDADC57B756C00D458E3E63460E92E78DA81E80EDA4A85E9BA6B1935FB83F97F58B60FC60C143029E1FCE51F1E54E1625E4BEE043A8F8091BCF96FB18FA89D855E6597],[1183879CEFEBD216D4768442E97703DB0DF7DFAE65E738CEA80C32E8B3C07C8B9280924448FCB7B547970640F3E7464F5B6C4BD5D53824CF41373D286FF3516BC8EF60041A104F9DDAE096DEE407894ED1,1974596E6462A838BC3BE6982C7EEE94C0A6F29714C80CB9EBB9B11926259120EA522687BC452A3612763F3E8BAB55FF01B2E29590C0986E020FB6422521405F770E58331520000F061A20DC49F5171280]] FP4nconj = [[128B3C9B2E5526C5C1414F5A1B7E250C55F518FDE3694EEB838E2B2F04A2B90FD1D5D3C7F3C083D4019974E8DEB994FF7BC0526353C4BC640476838557378B0C6C348050D254DD26FAA36B4FDA0B082B4A,126FA07F3A4C606AB72B978476E722523A8493946B39271C19CB9F16D1F32A8E3BF125B57AEE59D71ADE44A00680A750B0DBFA4BEAD61E0C1C24FFACB0A5E1B411FBE9758FB0443E904E945E22FEA67A7C],[127C786310142DE92B897DFD1688FC24F20829520626473157F3CD174CAB8884917F6DBBB7DB5C8CEC7D39E30C18B9B76535BA8A45C7DB39C00CE0D92214EE943710C400F631B19A251F8D27DC7C7B9142,0A8BA6919B9D57C743C41BA7D381116B3F5916695745734614464EE6DA4673EF39ADD9784492EA0C219E00E57454AA07BEEF23CA8A3F679AFF3467BF6CE6FFA088F1CBD1FB220128F9E6032A768EEDCD93]] FP2sc = [1F76245A7CA4729186DED97D32D7A27A745E91ECD884C14BA41F634DE98CBD5C2F9B95080FB9E87EE7561D8A4206068087AD65FC0EF5B5069CC944F9629F64B0EFAC3DDC288811910D97B0AB24E548AAE0,11DE58D79D185A0D14B7A715D6393F4350372042F41E50F3265ACB0C0673779A244007C5F7DCA5E1F4CFBE24D490CE4241894634A27885A7D4984CE5294BAD14FC109ED8686F4DFB6894536A522EE3F8E9] FP4pmul = [[0EF3F14C49B4AEB8138C08AA8E8549B7B063985EBF00EDA52C6940CF1E1ABA02658CC8D82C81BED5078D86CA7C2D3E36957AA695E2ED7B17696AC9D78AAD333DB1C237CF602A5867F0C352506FF7C143B3,0C179EB8F7961DA8FFC2C8E7BE7DA0507AECA26D8158210F0372E3A36AE26ABF79DD5ACF6505E3890157FDF1CFB94F1FC8ECEDE4C5BF822E2EBCB8E8758F75C49040B1E1327731158EA42AD1779DC7C56B],[1F1E8F171CF47D4253E158730EB2C149535A472ECB7213D5F53B3B111EF7AFCE478564DCB4CA55B7E984B4AF87D1C44F22870110F49032CA173A7AA23EAA717773A35541BA193C729F59B11E7E012E2DE1,04E34A998A2476B35FA33BAE240CC720669B01265676AD45B3054B70BD8799F7DCC0C80708C4A3519159BF27A233ACEE771A6DAD387FDCADDBC6CA412D11E553D89216C22841ACBA33096093844FE20C2E]] FP4imul = [[1174C364D1AAD93A3EBEB2E5E481DAF3AA0AF00288A431147C71D4D0FBC94C00522A2C380D17906E327ACB3B21466B0744E1B3FCC73B43A4FCCD9A7C3AD0B4F393CBA3B43DED2411055CB8B6E678FCB4C9,11905F80C5B39F9548D46ABB8918DDADC57B756C00D458E3E63460E92E78DA81E80EDA4A85E9BA6B1935FB83F97F58B60FC60C143029E1FCE51F1E54E1625E4BEE043A8F8091BCF96FB18FA89D855E6597],[127C786310142DE92B897DFD1688FC24F20829520626473157F3CD174CAB8884917F6DBBB7DB5C8CEC7D39E30C18B9B76535BA8A45C7DB39C00CE0D92214EE943710C400F631B19A251F8D27DC7C7B9142,0A8BA6919B9D57C743C41BA7D381116B3F5916695745734614464EE6DA4673EF39ADD9784492EA0C219E00E57454AA07BEEF23CA8A3F679AFF3467BF6CE6FFA088F1CBD1FB220128F9E6032A768EEDCD93]] FP4sqr = [[02169877166B8D702A4829A9F5F327C12FEA996A6C377B7FF942147CEAF8142F3FF4835241A9E0CB4DB4DFCA5C9F9F51A65DDE82BB4173581DBA41040989F71892BCD11E485F01D53E416260AE51988BC1,1843D9ADB1EE3D2403A10E6FFA87930DD183167081342F4A3F1C1115A32E5313B2D76785BA63FB7DA3F5143840C07CBE9CEDC7EB917B747468ED63C9E9C86311609A3BC13988953023FBA46E699601977B],[0EC06F494C5746ACC4B3B44E1B71FE5B5D963D7FEF2072314BAE2B9034D21158B8D34B8064ABD4A3B3FED08C42516D9049E42A84F3E42F87AE068B805383220EF44A8550749C7E72DFD2DBF941DCD993AE,0B629318960A73B99719DEAAF7204B92B42B7FA8F869306A7E7FB9A212BE4AC7BB684192ED26F5263D0E88EFC8274EFD3BDD3D603CA1C0087574D0F120AA869D24194184F2F3F1D59168C9854FA1684D74]] FP4mul = [[2397A3EC76B94AABCA1E3C1206D90047CADA35A913A7B2EC1810165C8DCF3B71211D45086B5E493503032B4010BB8A9BADA068C06934E5DEB3FBC2F2AB931CAEA1B6992B5B8F1EFE9D4043F7391BDD0D2C,06B6EF8B12963744A52160E9653B963575B0BD4B1614FFD65CD68450416D0B02F7B26A54B925B16FF9BDF30C8F2CFBE0BC37653514E39DFD93F235175094EF6E635A4EE2DF012F7052400CF22E95B76F45],[2380CBD51880A28B79E0E86BEB8AFF99E723CB2229DFBC8779ECBC1F95434BB9653B34D23B2880B5AE3B621BA8AFD2F4BD9F8BD40181EE1BC0D1138CFE381319CF73F1EE0BEAA4172377D5337619266E3B,065EF0566E8C6DBD49D7797BBCD54104277CE32009597CF79FF7EFB5A970A64FD69D777DBD2982579BE4B1BD91FF59E4CC4457CC46D576FC5F8BC2137176BFE0F0AD5FD7A7DD106090E017B8EBBD1EA6DF]] FP4inv = [[0DBB8C81DF0E6C01F7F15D51B8CA5ED894743BB5BF4CC95708E0A6927DFB44906BDD3CEFAB0B7FD54DB0782FF26D9A73488C7ECF68E9D74F96AB667886286E5439ADD2631A1FC2A3AC21ADF1F22DD6A788,1C368F2F433872A533D5942C2CDE3F1C0F27B6D159D6E677CCE939E39F5654869BDC4092665CEFF85995E586557ECB65D62B5B5BF06C72C678ECE4F91D4A10898D9554248FD1DB74D83731CDF29C8860B3],[23D6CC5EBFF4BE24FE4A467B646D486DCA961C4026FF5A8FB5924FF80020788C7E9CEABF19EFFE5C12B69BFD1DE7A8F89AFFCD0146E154ABCF99E0C04A2AA26F4383129F12A19FED6CF66B7F0754D7DA43,0B4DACCAEE488F0BED58AE1D498948FDBDAF8EAD284B388AA84885169561A48CA64C80895BA7AB896F44CA89A0074444FA99A248D9DC2EFCBBD533F63668C07DAA36B3C034B1B3AA00EC61C98023B45F73]] FP4mulj = [[07F0D1D17476D621E7C562554307EAB9B2AF12E8AEE0D3EB43AD7E307265149557D1944373487280CADF38FD97C40FAFA64696BFBB88739EC0D87919B52DEEF3AE1EF82EFB0FB0712B3989FD65ED8DC3AF,1D081EF4ABB185B06F4D99A4EA0A0D9031613FBB5D6BBA776C3A1BFE26F1FC73CB2D4733FC6E46990E1B3AC8806D63BF2424DE54D00742D4BF4148988EFBEE34C0028FD2F153B2C31F059052530B695ED5],[1174C364D1AAD93A3EBEB2E5E481DAF3AA0AF00288A431147C71D4D0FBC94C00522A2C380D17906E327ACB3B21466B0744E1B3FCC73B43A4FCCD9A7C3AD0B4F393CBA3B43DED2411055CB8B6E678FCB4C9,11905F80C5B39F9548D46ABB8918DDADC57B756C00D458E3E63460E92E78DA81E80EDA4A85E9BA6B1935FB83F97F58B60FC60C143029E1FCE51F1E54E1625E4BEE043A8F8091BCF96FB18FA89D855E6597]] BIGsc = 022386FE02ACC05197B5EB454EBAD0360B5AE395A5060AF1F368BCD728806881F6F6C5999C3D3B89AF8D5535E624C587E634A88B763D0BA21364C6027DB24F385ACAC9FE6D70E213F00452D0AA8EE0FE8F FP4pow = [[1EB8124FAF3E0B92791549ED432F75C59048063EC4DC94A6742F478E1B35BD7165752081188440E205BC24402B9912BCA1C5F530DD7EEB819DDCF4C908ABF832CC44651CE85E49B2186F5A9583F1778365,1962E17A3D9BFA9EA0562D6BBA2472AEB7B790639D2F962651F0081BEECAF7A0470FF584F9C2132593FC7E5ACC16E93AFC37D31BF534C39828B7A547EAA2C990727AEC45734FDE0ABAE3EAC92F89315D96],[0B2EB28BDBAC9791D245F674165199EE14799C3A6C268A2EDA963F7699293AA50E379E6C4CC825F0E2D2266C065823001C273B7C475B9F5581EF8AE9FFCE40C61104C514A5EFE55781F47B0A1730636180,0BE8DE8DAFBF8DD228855EEBD2E1CB9F341ADC00F280E600B5EF26F088A2F5D7D76441E8C2D92D469C0162A9C09112A559AC2421E45DBE9D6B3699B565F63E8B195AB1F2F5042F369CEF7ADECC4D07808B]] FP4frob = [[1174C364D1AAD93A3EBEB2E5E481DAF3AA0AF00288A431147C71D4D0FBC94C00522A2C380D17906E327ACB3B21466B0744E1B3FCC73B43A4FCCD9A7C3AD0B4F393CBA3B43DED2411055CB8B6E678FCB4C9,126FA07F3A4C606AB72B978476E722523A8493946B39271C19CB9F16D1F32A8E3BF125B57AEE59D71ADE44A00680A750B0DBFA4BEAD61E0C1C24FFACB0A5E1B411FBE9758FB0443E904E945E22FEA67A7C],[0B163869E618F253B41E683727167FFE13269346234A2127C70DD1946027A9BE96D3061EA6956D5A0A2A3D95BBDCA61B4E4BE89E200EFF9A95B09E354BBABDF14B71A062BB315A06E2A1BD1BC628483D1A,1B315DB1F10E90EC3C09F081A4ED38508FD06F86A1F13963AC11B48F2C70117581144D841FD0C758EFC818944DF9652F037662451C8731FA4B4A31E77460FFBA2877C5D7AB233B95E7DFA28E7671396981]] FP4_xtrA = [[0A73C9A4AEB4185376EC702661AB0ECA36C7DAE3223742475B4E6393B3EAB07080AF605255D6261438FF6ECC0DB4CC7ECD6D3E96A235EBDB10D8BB0C82857AA463B86A0B35B24E32EDCD8E08C4609BD91F,0C20AF00D7CAB616BD78CAA6F749711AD2C41BE411118E0935BE7B01EEAE3437689980774ACBD29A84B528D4C27805FF8E49933106567775155C7909F4F866D92475F8FE0014D0F000EB02EFDE3F9F807B],[073C06CFB703C4774FD4EEC2501B021F2B5D2D29425872EF08EEAFA6050258CFC02C6CD72BEB5761283E5489A21FE0E734E4D5DECBD973F501008B6BDEF6985913162AAC6040E0E46CD6EE1CB4063F7840,12E29A0C2655F6594F440A5B8044E8BB9444A124797B638F7BD1FAD81E9312E661226136A871CE672BD2738A62B5D0264365DBFDA79824F21DB89763D1F149B19EEBD621240867B808C340AFB00D37C694]] FP4_xtrD = [[032D11AD7315DAFBACCAC61E2CEF71D9DBD4C265C6FC9957005E6ADAF3D1813EBFA02AE22852D4311CD389781A12C949DD3C7CE947CAEC1725632A0D25F0CD316B25ADBADCC6BAEB338814F9A1E3A40242,19231AAC2686FDF971F83B38E855D7B2468C3498EB98FD8272B34F4346A8A32006B9B2F0AF689AE9A59D5D544DC1CB593E03B6234C27B0839FF34521B90BE6798491EAA748A71C754498A923EF0F49AC60],[0FB9600F6C7FA27F1BC6AE084883F6A541A687238F5F8093FB95C5BECDBD1D51B7D226F7D38A797B58E5042E5A82E0F853AD99396473E5F22CDC2F3105A4BF37626BE94D50BDE06F2A11D2423A51CBD61F,2079E03BCD4523481EA215FA9E226E6932DDAC7BA6F416F6A70C576FC74B32A62EC3F483764CC93E804A8ABAB0D0A30CB9BB84F551208F3E73DDA06FFA7885DE35FCD928E937F4278534CFDA3CBF43E89A]] # test 3 FP4_1 = [[173FDDE66E6261B93112B50FEC778141651882C99F6F96B09A7625889BD3CC2B3964E10C4AFB836AD9EC3512686177E18514A01A70C8F3843A095DB9295E815CD3BEFF8A05E87905644691CE6327696777,2324A5E7437E7FAD2436D88B5231071BABF530745CC847DAF458380D34132A9033C178573F750A6BD6089DE33938F56CD779EFF2D7F6385F935C01998104F328850C9E62DDD34FF5B00AD567CBFD2B6BA8],[190FCF0E6A4B9BEBC96C274AC1B973CB0D623AB27478641764F85BFD42FFB4BA1F587C72139424A35CD8A8AA45C13F5DC16B13525DFA19D4F998AE648B2F9F67F31635C16C11C7EE6989E1F3A896F2131D,1C4ACE7DA6B1108FC8E23BA8D7BA9991FB152ACE646E6B4FFF51729DE8AAA04E8C70532D3B8F80BB5901D284FBA5177CDBBDEE042DC9219DE2E57F5F3B02C3E66578A146D810DCD002E84D56DDDAD0E201]] FP4_2 = [[113805AB293F922BF744F428EB43EE731FC33E0D7DBECD9B9CE97E3410172DE8F653056330799CBC182C795E54989E1AAD8C52E539EAAA992CB68B2DCC180DECEADF52D7444EAB878C118BD29A0605E029,021D3CECB7A28CC5E123D5BA43293CEBAF7A21EEDD526BD291E48FD3EA6786F9B1008102B6129B71CBC89E7CBBA704EF3F7B4F2E4C91DA717D6EE25C11798DC9332BB274AFF802F240E01DFAFAD3EE614E],[042412030A2CC13BD5D2B2E396A8EEE140F361AA1F3946A65344AD3DEF105E53265BADCFE028A52CDFCB3A10B49640FA5FBCCFEFC47F32B45FD4128C99F3231880424608A8648364BD0682BD4D568153,114E2C61A396094F71AF0CCC04B3E4CEDC99AA6E5EE500233CEEF1C7AD2CCCBB5A4CABA10D4683BB3B8E3685283B8EFF7D000D68DE41AC93E89FAA2ED9470EC418AF5AD057EA11AF13D0A75B93F92BA338]] FP4add = [[0477E39197A1F3E52857A6F8D7BB6FB484DBB7D6B120E44C375FA3BCAB7EF5040BB7E66F7A9D0BE4BE046E4CBCFA15F571FEEC9F8FB39E14657BCAE5636E4F49BE9E2E5C39F52354F057F99A3CA96A678D,0141E2D3FB210C73055AAC05955A44075B6F4962CE0D33AD863CC7E11E0EAC79C0C1F959F4AF919B6DBCFC3BF4DFFA55565338C1098812C80F86C5F4007640F1B8382CD27D8951AFF0EACF5C064D14ECE3],[1913F3206D55C8AD0541F9FDA5501CB9EEA32E141E979D5E0B4BA0AA80EEC518727ED81FE3744D4889B873E45675D59EBBCAD0224DBE9907ADF8827717C9928B0B96780774BA2C71CE46E87665E4489470,0998FADF4A4719DF3A914634DC6E7E60D7AECC3C5745EB733C406465956B67F9C2BCFECE47FDF034607BC8E623E0A675981BF50CF10ACE28CA410B8C824192AA7E27D8121FB8ED4716B8D0ABB14FF7A526]] FP4neg = [[0CC02219919D9E46CEED4D3013887EBE9AE78636CC9DE94F6589DA77649838E4EA9B1EF3B5DC90D75A280B11979E88253B8D6645AA370C84C73AC04868A9BEA32C41247B0A5988329BB992385D5C9B789C,DB5A18BC818052DBC929B4ADCEF8E4540AD88C0F4538250BA7C7F2CC58DA7FF03E87A8C16309D65E0BA240C6C70A99E928166D4309C7A96DE81C6811034CD77AF385A2326EB1424FF54E9EF486D9746B],[0AF030F195B464143693DAF53E468C34F29DCE4DF7951BE89B07A402BD6C505604A7838DED43EF9ED73B9779BA3EC0A8FF36F30DBD05E63407AB6F9D06D8A0980CE9EE43A43039499676421317ED12CCF6,07B53182594EEF70371DC6972845666E04EADE32079F14B000AE8D6217C164C1978FACD2C5489386DB126D9F045AE889E4E4185BED36DE6B1E5E9EA257057C199A8782BE38312467FD17D6AFE2A933FE12]] FP4sub = [[0607D83B4522CF8D39CDC0E7013392CE455544BC21B0C914FD8CA7548BBC9E424311DBA91A81E6AEC1BFBBB413C8D9C6D7884D3536DE48EB0D52D28B5D46736FE8DFACB2C199CD7DD83505FBC92163874E,210768FA8BDBF2E7431302D10F07CA2FFC7B0E857F75DC086273A83949ABA39682C0F75489626EFA0A3FFF667D91F07D97FEA0C48B645DEE15ED1F3D6F8B655F51E0EBEE2DDB4D036F2AB76CD1293D0A5A],[190BAAFC67416F2A8D965497DE22CADC2C214750CA592AD0BEA517500510A45BCC3220C443B3FBFE2FF8DD70350CA91CC70B56826E359AA24538DA51FE95AC44DA95F37B6369636B04CCDB70EB499B91CA,0AFCA21C031B074057332EDCD306B4C31E7B806005896B2CC26280D63B7DD3933223A78C2E48FD001D739BFFD369887D5EBDE09B4F877509FA45D53061BBB5224CC946768026CB20EF17A5FB49E1A53EC9]] FP4conj = [[173FDDE66E6261B93112B50FEC778141651882C99F6F96B09A7625889BD3CC2B3964E10C4AFB836AD9EC3512686177E18514A01A70C8F3843A095DB9295E815CD3BEFF8A05E87905644691CE6327696777,2324A5E7437E7FAD2436D88B5231071BABF530745CC847DAF458380D34132A9033C178573F750A6BD6089DE33938F56CD779EFF2D7F6385F935C01998104F328850C9E62DDD34FF5B00AD567CBFD2B6BA8],[0AF030F195B464143693DAF53E468C34F29DCE4DF7951BE89B07A402BD6C505604A7838DED43EF9ED73B9779BA3EC0A8FF36F30DBD05E63407AB6F9D06D8A0980CE9EE43A43039499676421317ED12CCF6,07B53182594EEF70371DC6972845666E04EADE32079F14B000AE8D6217C164C1978FACD2C5489386DB126D9F045AE889E4E4185BED36DE6B1E5E9EA257057C199A8782BE38312467FD17D6AFE2A933FE12]] FP4nconj = [[0CC02219919D9E46CEED4D3013887EBE9AE78636CC9DE94F6589DA77649838E4EA9B1EF3B5DC90D75A280B11979E88253B8D6645AA370C84C73AC04868A9BEA32C41247B0A5988329BB992385D5C9B789C,DB5A18BC818052DBC929B4ADCEF8E4540AD88C0F4538250BA7C7F2CC58DA7FF03E87A8C16309D65E0BA240C6C70A99E928166D4309C7A96DE81C6811034CD77AF385A2326EB1424FF54E9EF486D9746B],[190FCF0E6A4B9BEBC96C274AC1B973CB0D623AB27478641764F85BFD42FFB4BA1F587C72139424A35CD8A8AA45C13F5DC16B13525DFA19D4F998AE648B2F9F67F31635C16C11C7EE6989E1F3A896F2131D,1C4ACE7DA6B1108FC8E23BA8D7BA9991FB152ACE646E6B4FFF51729DE8AAA04E8C70532D3B8F80BB5901D284FBA5177CDBBDEE042DC9219DE2E57F5F3B02C3E66578A146D810DCD002E84D56DDDAD0E201]] FP2sc = [184EAE96F9929CAB74578CB188B6B1A0E674EDBD99A6DF50891320F695DA1B8DDBBF02AE746FF937A4213F3AD1ED5B6130800868BBE7B459945B6C4604206EBB9FC139E2DEC8A3E479298B0F79149E5572,7E2314F587D5F0FE022CCC10928C6505B29D2F1A7F9F8C3F12DB4621328C238E7F5352C42970D50FE15C7C50CD67ADB7BAE28CFC609F261F56B2EA96E77BD1AFD00CD6C6B3442D25CDB4EC33FD6C563F] FP4pmul = [[06B0793F37974804BB0C2D3A2C0B09D117B7A5FD93899B48D920137A99C5E5FF246A5F0A07F8ACED90D2840BDD1CA45324769464D37AE0A93FFF770E10D28790CEA1A9B95240AD22F6B84D20C379C78586,1B0A572EE051A1510A074C7856BF016E11F4E1E497979878BC7701FDC61054647F7B528B70A1CFC70EED5C90EF0504ACDCC3AC9708AEBF17FC56E6B2EB1DC258C6804F5A73D7C73EF9F95BF658DA819D9A],[011139CC4DB218F911BD651E8056D7468B58F08E6F369859C9977D509D2EE126884F0CED0939F9A5E357AD23F51A43F4D036498E000AC2872275B474B4923A4B5E34BAC12D1204E62B2C2E472FE9C7F6A8,05FA84BA24FCE8845B7B787D945A70397F0410D2BBAD35E18063EC1293E2F9C84EF245E2CE7A342D30F3D651890C44950004648E64F26C4141E76F47198959C9477C3849F4A150B5E0936D68F24AEA5795]] FP4imul = [[0A7FBBCCDCC4C372622567DFD8EF0282CA30FC92D2D1AD6134EC4B11373B93464EC9C218951EF2937FC42A00D0C2EFBC498739D4C691E6FF72CE9D70C0B4C2B9A77DDB0EFB8EF0D2C88CFF9605CACDEEDB,22494BCE86FCFF5A486DAED6A4620E3757EA57E84D830FB5E8B0701A67BA50104382F0AE7E12009577FCFBA27271EAD2EE51D98594EC70B62573E5317001A6510A1918C0AB649EB3601586C8D77651F73D],[0E1F9E1CD49737D792D84C558372E7961AC46C647CE3482EC9F0B7FA859364641AB0F8E426503504859D11308B827EB4C2342044A0F433A0F1ED3EC78456FECFE62C477DC7E18EA4D3139FE090A9DF4627,14959CFB4D62211F91C47511AF753323F62A4C9C5CCF569FFEA2E53BD0E93B8CF4E0A65A7646ED347DEF64E5F74A2EF2F6D9D5A840924332C486E0BCE3FD47CCCAF11E889FDFB86805D076A6FB319CE3EF]] FP4sqr = [[0679D72750A88CD1994BE8E88B219ED12175703B5698CCFC5BAAE2D3D126F92DBC9345EC4C5A20855D37D63DAB4C805A011EB61E17E2A74082B6CC0DC238FF5259251A4EDDB810F5CAA7FC71BB0455FBFA,20D34D5CD5C6DA2A8C29E879556221690F3D9F4EB1500F6301A9DA6BA1D1A8A35BF1B9ECD3443007B9994A2013DEEE0AAD0980081EBD70CB43F25F0DF570C60832D9B632C74B489354DBCFE6C264BE3964],[1A6E51FA6D7E17A1913A212F4D9B2975BE0F2AF5E48A314943DA527AD3BF280D17639EF87DC7F9D48A94EAF040FE21E9208062BEFD1EB750B6A382EAE76B4E3FA080F9C0716BCA8C4059B1A84A1CC1E367,1A42088494CD53D14E74076F51F03CBFF5F155BAC5F26363DE15F41F785C5FDCABB43BD1857AED736A577E7A5F248A8586991ADDAB73F5144F7408110C41B33D7566232614D2828A3C95B358123C9450CB]] FP4mul = [[0D2D7E8FE31BA6B7D0ADFF07648A12C181FA12B12C0F0CFCBF2CC780C1224D0E6263A57BBCEC96CEEE0DDB9181FAB771C1257A4B12A1DE593C2EA175D66B6F5CA6FAEB3429458CA9F2206B741FBC735484,109B4423920F01D08AAC9E48C4D59F888C01426E15507C3AFEBBBD4E25F50B801DC7148521F48ADC1E129AAE29C477567509D959F786125C1C04560EB70254E4300F3864EB4B392B37BAFA692CE35D8818],[1966945E5A08FBA06424A8CE51CF713D7269F446DEBDB3B124AF14C968D3F53304218840334CE169F39078A4F2ABC5C1B352B6F0AB34A4EF354E07B5FB1E1DB3FDED35AE97B1F561B7772E520877A3C5C4,1BB5336515446A1D61DF3B50E6691C2CE863789641F05D85FD6C025EE52F6D0A608FCD3CD9A248DA213EDA92E2D09460BE9B28AB1B28B2AB1A69D22A45612907BA36229DCEA2EA650A3D86C3CA2D3AE60E]] FP4inv = [[21F876C597EC08D70A29DD2744012F169CE49C6148BFF13544871AF1C2D29E8939FFB6BC54BF430BD3127E29241402A822495E754BAD5F60AA8C0D149108BFC73CAA5DFC5512A4D6971BE3BADDC8ED6475,1CAECA726D02604679F14FA63291561070BFD0F914C4B455E73711AF09217A17A3C67903ED46D4B3142A4A7AB2B6E2F88921CB001D341A091FF6076FFDC6F729D7D32519D2EBC8121B96007F38E3EF7EE6],[0BB28AD33234E6AF44AA5AA90502DBE167490F7BFAAB2331129BADF2C967263D23C040DD4F1E9DF1122FE9879D2716E1CD59CAAB048B8D50A7EA46FC2875174B301D06AC13E47D86108308E4CEA6C3ADDA,0C993E2F408679056C5DC286FB50584877AC14B0ABFC711B6F0A25AB3DE910D482D5AFB370222BC066D76BF7A4FDCFA1A395C45B3AE475C34B5CC4C3D4A6AA17DDDCF94FCC419A30D112DEB67A5DB41CC7]] FP4mulj = [[20C50090C39A8B5C0089EDE1E9FEDA39124D18E47C1778C765A6E95F5AC1197BB6E82944D8DCB82A37EB16494A1C27E7A64F2BAE4B30F84017F74D06E2351B818D9DB87FA442EC5666A1B8A38B4026112F,115A9D8C10FCAC7B924E60B399740D5D08775C806CD94F676449CE9B2B3E4FF887C8CF9F4E4B911C81C63B0B416656D3DC86FAF670C33B69DB3A0FC2342A234E588EB30333E0A3866C720B43C5EDBE150B],[173FDDE66E6261B93112B50FEC778141651882C99F6F96B09A7625889BD3CC2B3964E10C4AFB836AD9EC3512686177E18514A01A70C8F3843A095DB9295E815CD3BEFF8A05E87905644691CE6327696777,2324A5E7437E7FAD2436D88B5231071BABF530745CC847DAF458380D34132A9033C178573F750A6BD6089DE33938F56CD779EFF2D7F6385F935C01998104F328850C9E62DDD34FF5B00AD567CBFD2B6BA8]] BIGsc = 0F5671FB82AF1E4BBF809800C2B53D30948B1AEEA188EF6F7D552DD23F4ACF6E107103D550F8689778DE2F936A0E67144BAC03E864DCF3EF6CE2E1A54BCA63ED36A24A4E9E9CA6EA8915D35B7E6F669E7B FP4pow = [[0CBCAE3433056A36487C5D7EF995E70F5E08A47F2A18FD74AFEF51EC6A51386B5322F982A5E59E01902EC57B5B241C7887FCD127BE782A2275C333E7C8FA0B6EAE1E7A3765E94326FDF913CCFEAF76E36A,12A205D9935D92270F2B4682935343323344E686A6B46F21D6F1711CCCC50F04E00B57BE7C2DD20C7E2FA5428EA43AC60779D1AB341AF8114D5637FB72A2138D597AB7358FBF5D15400A21E479088D4C2B],[0D7A43960EBFFE4629360FD2221F9AF175C5A694479468494DC13FB0A8B0852FE0CBBF4628D5C0AF686FC0441A379FC8E7C0259D30D160B44AC7E7E7FFD44D4B343BC3D6132F698E267D275050F70BE0BA,06BC8E6A6EF734BDB240A0F85338A8A0A611E46D50B64425076F7448A2267A39577FCE49C3DD791AD521B20CE892902082137092E467849E9F1CD364A53A64EFF651BAF1F6CE8D3BF692B8521D9E88AE9F]] FP4frob = [[173FDDE66E6261B93112B50FEC778141651882C99F6F96B09A7625889BD3CC2B3964E10C4AFB836AD9EC3512686177E18514A01A70C8F3843A095DB9295E815CD3BEFF8A05E87905644691CE6327696777,DB5A18BC818052DBC929B4ADCEF8E4540AD88C0F4538250BA7C7F2CC58DA7FF03E87A8C16309D65E0BA240C6C70A99E928166D4309C7A96DE81C6811034CD77AF385A2326EB1424FF54E9EF486D9746B],[0AC39D813BFB99C7B16C77EB0D08D29402AA298613FB4EEB7456AC1093416F75C2E5B2CB4E6DFFF49CD2943590E459F49F4731D441808E7E5AE0B25CD27D4E173AF1E08246CB57860B40AF73235C3806CD,176E94D4101AC41E9695D809849A1A85D726077B7E86C69F695B4B520D76945E00CCCA8DCC29527362E0A954631B25FA817DBFA6C52F429DB6A5B751D5B6334213659D11DD914470FE9AC3641FBC9F412C]] FP4_xtrA = [[1D984ECE08129EB755FC3ADCDFFD0583588395C59E909A69178871B7D64C14F96634A0C8F61C0D688BB99DB0F05FB692FF07B939BAE92FB2E26CFFFBC474041D54212222F9CF25ED79BC8764918328E65C,1751F5A7753AC85137B131D14FF4E8B62BB7F0C39B040B08FAF9358FB0F539825CD80A7A5A92D4287620E2984A10EDEA7EFCF7E442BEA8C60D95F83203479E8B86DDF1F76E45164F4E4D987D1B7F0B3D9A],[1E47ECE905849257A530C7984A0F73E6A98A72AE8240E744119B84C779DF3D112F1681CA83103299D90ED66B305CFEB02082E353206BDA6C630BB55E7AE0E8543F22830AB6BE97A97AD3458BDFA2547899,1226561A62B0F4914B448A98F477DC0089005835CC00FC5B7C32062A2EB77E7980905A9E6B4A5C179B2113634781EA748478382C1CA6524DBDF1B339DAC27C5BF580C686B5201535FD8BBA3A9866428449]] FP4_xtrD = [[1FFA1B5A73E3C95F37268348B2329C4E57447CA8EFD49F9B26BE97C29A576AF791C983D3B81342341187EC60DA8990A4783982A96C50C04A112C4C9E938C7C98B1A76344F26B215B021B20E275BD8CED32,228A018E4EC9DAD043BC3BE2B1001331B7535066CFDA7FAD18F96A513A835DA33C6EC93E560A43B475B08EA1A16D033E7F59ACE2A4D1001E1FC297DE17775FB728C0C1772C28AB17F4C66D24AB7271223A],[048DF01742154F7924126B44D10E110BD8D38E59F55FF9780DCB0A7558E687610E1497DCA3401A96DC1DBBFCCC80A09722127CA38312EAE8A74CA3B0D9BA0D0F86AD1D39290B57F9136D2D821A429C497B,0AD7A57FE22F74F0E0387A4101656FE3EC1B9956B6B43A03DCB8D95B48D996597C94E22BFAE9C665B432A33C566EB971BCD0EA25D106383E12B6CACC5E36BB0A40571DA9A47039BA426605F84CEA2C54A7]] # test 4 FP4_1 = [[129783CC6AE3A398C994E3641AEFC5E0C421BF0579325B5FA8494FF5E566596FEFE34DEA8777A8CF7CF91930A1786BB2BEFDA30CEE8B077598D51D1010C94777AB195AC45BEB19BD4F2193BFB8738FBFBF,0BB81B889966907509094E7E5543F7990E249BC054BA812170A4D176958F8FCCD14BD3941A85D21E7B834706CD601B7F931D36B854ABBCA6991D2131CE4596E4EED40494B42FD2A023079FA2BA1F55595D],[170FFC2EC7C5043DFE3C11F16577F8065C4269CBF3765ACA8A050B9421EA856A9309C366BF473F872B5D5CA626EFD4DFA5365AAFB09792097380459F5D377D2B9C4DCF197DE80E48E0ADC9D9285E3F5833,10B4533001F9330A14D99793A3D16798DDE5EF221EE3CDC7C92DAED3D2B9D247FC6A2CF5FBE1493487E8CA2F0028136B5BF31D24C4B98973AF46DF69CE1320AE44A2FEA0CBD4226B6FD2965199DCE48191]] FP4_2 = [[09A1D0A1311BDE3A733DA3F66C4F6A9C9E5435903EDC64F62951D47269A7947F5934624B5B37D269B9D7A9C8D8A1DF438FB3E9520816BACE02E2AE2A782F818C88D5DDA0846D26E2CEBCE16B65FA93EF9B,20E52848B9A0356382B91E12849959145402728F952F227958B580E9A256584958B147957D5DB94A0D76FA2F107E142F818F713AFE9E25D7C7BF652B4AD11C2E268002A451CD6E5B987EFED4B7A8A12362],[038AC962F5656964AA0BC8FB226D88622959262D147DB85FAD7F66E43C96D8FD3B78F952F3C985761F3A7E06D7A5C864ADC8A5FE06650B139C333960A96B072F29B548E229D0922ED5A4E29C4AAEC33741,01915E6C951B8ADE03268DF1567473D07F7D4E9502DFDCFA39A1EF589C7D307091591D86B8ADDD65D2661CD21CB51CC60B85FAD650F0D059199F183494B896B1AD366CAA2CC6636E2906E8ED1CBD26C73B]] FP4add = [[1C39546D9BFF81D33CD2875A873F307D6275F495B80EC055D19B24684F0DEDEF4917B035E2AF7B3936D0C2F97A1A4AF64EB18C5EF6A1C2439BB7CB3A88F8C90433EF3864E05840A01DDE752B1E6E23AF5A,089D43D15306C5D88BC26A50D9DD50AD6227054F7DDC239AC95A52603779E30605FD1B29970B772654E60111DDDE2FA8540AA1933849E2755F98685B870E73131553E333F5BB3FC3BB867A70B143F19CAC],[1A9AC591BD2A6DA2A847DAEC87E58068859B8FF907F4132A378472785E815E67CE82BCB9B310C4FD4A97DAACFE959D4452FF00ADB6FC9D1D0FB37F0006A2845AC60317FBA7B8A077B652AC75730D028F74,1245B19C9714BDE818002584FA45DB695D633DB721C3AAC202CF9E2C6F3702B88DC34A7CB48F269A5A4EE7011CDD3031677917FB15AA59CCC8E5F79E62CBB75FF1D96B4AF89A85D998D97F3EB69A0B48CC]] FP4neg = [[11687C33951C5C67366B1EDBE5103A1F3BDE49FAF2DB24A057B6B00A1B05ABA0341CB21579606B72B71B26F35E87945401A463532C74F893686F00F1813EF88854E6C940B456E77AB0DE90470810752054,1847E47766996F8AF6F6B3C1AABC0866F1DB6D401752FEDE8F5B2E896ADC754352B42C6BE6524223B890F91D329FE4872D84CFA7C65443626826FCCFC3C2A91B112C1F705C122E97DCF884640664AF86B6],[0CF003D1383AFBC201C3F04E9A8807F9A3BD9F347897253575FAF46BDE817FA590F63C994190D4BB08B6E37DD9102B271B6BABB06A686DFF8DC3D86234D0C2D463B254EB9259F2EF1F525A2D9825C587E0,134BACCFFE06CCF5EB266AAC5C2E9867221A19DE4D29B23836D2512C2DB232C82795D30A04F6CB0DAC2B75F4FFD7EC9B64AEE93B5646769551FD3E97C3F51F51BB5D2564446DDECC902D8DB526A7205E82]] FP4sub = [[08F5B32B39C7C55E56573F6DAEA05B4425CD89753A55F6697EF77B837BBEC4F096AEEB9F2C3FD665C3216F67C8D68C6F2F49B9BAE6744CA795F26EE59899C5EB22437D23D77DF2DA8064B2545278FBD024,0ED2F33FDFC65B11865032ABD0AA9E84BA2232312B98DEA817EF508CF3A53C939C9A8BFE9E002D16A2208CFBBCE20756D22FCBDD710D96D7D2A1DA08157CBAB6C85425F572A4657C8A88C4D4C2FAB9160E],[138532CBD25F9AD9543048F6430A6FA432E9439EDEF8A26ADC85A4AFE553AC6D5790CA13CB7DBA110C22DE9F4F4A0C7AF76DB4B1AA3286F5D74D0C3EB3CC75FC7298863754177C1A0B08E73CDDAF7C20F2,0F22F4C36CDDA82C11B309A24D5CF3C85E68A08D1C03F0CD8F8BBF7B363CA1D76B110F6F43336BCEB582AD5CE372F6A5506D224E73C8B91A95A7C735395A89FC976C91F69F0DBEFD46CBAD647D1FBDBA56]] FP4conj = [[129783CC6AE3A398C994E3641AEFC5E0C421BF0579325B5FA8494FF5E566596FEFE34DEA8777A8CF7CF91930A1786BB2BEFDA30CEE8B077598D51D1010C94777AB195AC45BEB19BD4F2193BFB8738FBFBF,0BB81B889966907509094E7E5543F7990E249BC054BA812170A4D176958F8FCCD14BD3941A85D21E7B834706CD601B7F931D36B854ABBCA6991D2131CE4596E4EED40494B42FD2A023079FA2BA1F55595D],[0CF003D1383AFBC201C3F04E9A8807F9A3BD9F347897253575FAF46BDE817FA590F63C994190D4BB08B6E37DD9102B271B6BABB06A686DFF8DC3D86234D0C2D463B254EB9259F2EF1F525A2D9825C587E0,134BACCFFE06CCF5EB266AAC5C2E9867221A19DE4D29B23836D2512C2DB232C82795D30A04F6CB0DAC2B75F4FFD7EC9B64AEE93B5646769551FD3E97C3F51F51BB5D2564446DDECC902D8DB526A7205E82]] FP4nconj = [[11687C33951C5C67366B1EDBE5103A1F3BDE49FAF2DB24A057B6B00A1B05ABA0341CB21579606B72B71B26F35E87945401A463532C74F893686F00F1813EF88854E6C940B456E77AB0DE90470810752054,1847E47766996F8AF6F6B3C1AABC0866F1DB6D401752FEDE8F5B2E896ADC754352B42C6BE6524223B890F91D329FE4872D84CFA7C65443626826FCCFC3C2A91B112C1F705C122E97DCF884640664AF86B6],[170FFC2EC7C5043DFE3C11F16577F8065C4269CBF3765ACA8A050B9421EA856A9309C366BF473F872B5D5CA626EFD4DFA5365AAFB09792097380459F5D377D2B9C4DCF197DE80E48E0ADC9D9285E3F5833,10B4533001F9330A14D99793A3D16798DDE5EF221EE3CDC7C92DAED3D2B9D247FC6A2CF5FBE1493487E8CA2F0028136B5BF31D24C4B98973AF46DF69CE1320AE44A2FEA0CBD4226B6FD2965199DCE48191]] FP2sc = [0C4720227A0DB04390F8FE647EA8F5B11CAB7C110B2914D6B46E56260B6F631B9F77E1E1D8E6C41C0CEF10B1DB5C18D96BD1B204383CB9E8A6B45C222CA4AFB0BD14D3C58B818A8785440BA606BF5B22FD,201934A845C8F03DBBA1ED4376AAE9EEED32140F6E01A059FD298FD32BA985069372509FA0556AD727CB13BE6A5C5A05CE31CA78F9AC78ADF87D5FF4D6AEA39A4CCA68C1077F0EBECF8F3E2AAF350F32BB] FP4pmul = [[0484363E7E9A68E8281B967CE40F681A45068696D35B387C4C67152FA8FC81498861551D7586962AA7C2CD24892F2142B1917BC1BF1A4EBF491BC6EF23A795F126AE1DECF140E14E16648356E0ADFB277C,0D1F178B66A39C1B20094114280B4F6EE9F3B3103E26454386EFA130EB81940C482927B3CDEC14C3C536FDA4426632F49396A22C89CD16A3905F5D3A2C45072173DE61338EA68B6D9D131B9FFDEBB2EC0F],[0583D30A8126EE9EE97B571014258AEEC66D5A4A290B12C30305C155E23E765087437CA236B132806E9D62FCF4FD2C2A916B828261B4B3ECD3AC532736E4541E24813CE5A9B1D717C23E6F047A5FA4EB35,1A7AABA0EC29D25FB18765160C9E1C785CDFD0B5B70C62A0028592D4A8F6D8CFC37323CBFBC659159B0A2C6FE3C0BDF9B1902189799158B2B2FAFFDDB50180A8426396D54279FF40EBD1C752E65533B78A]] FP4imul = [[13C68B6540AAEACA5CBEA7EC50CF51A24C65340FFF89921EF8DBEFE1AFC7073FABA9E9BF958EE62C42D70B6DE46943117C56E2C6B0A11657C93B392EA0539667014BEC48037F4BFFED64973868D6AA5F2A,23285299CC33B15F1B1BEB7AFFCBE6CB2A6DD340FE2F836451EE7463C0AEAF6673E37ABC4F91765B7289D5146820527EB957A428FE0335F3CB5763956AD0C4AECC7C0DBE1C8F77E06916DEE82E5E000C17],[212FF48C574F0CB9FAB433943067E81314C734636E55905F9E0F22BC65538B2F951D4A343CFDAA534E03D5CE74CF7E982F0109AEF6C6B613593CB2DC859E3782D4E94947697629A2A2093984B896B92886,0E1CF99005EB991E3E8CC47AEB7436CA99B1C465F09DE9575B890C7B77C171C7D13E86E1F2CBC75B63A61E6900783A3B5337510E332C9C520C90803BD831220ACDE8D7DD533A660A4F779EEE0D12A8A4A0]] FP4sqr = [[044E9B99056599EEF1911B16AA552941B611610A85867E9F0DA81B303A166598FF7C79A490C7A0061945EC03CCBB78F32D4F3B403F02DF72A79E7AB8A4AD48C1CF0CDDEACA90C7721BEA9CBFDD4BB9ADB4,20A5686329424E97A7B7D7072806FD588908009AE763357D0FB4A0A862636B5F0E42B674CD368CBA19980ABEF27F475A08FFCAC8C986A58C8668A6CC51C6B7648189138993259356184817770D0F078390],[059CFAC71D3F9C8A4E8B429B773277AD5AC61BA0A89690EF35917226A6ED85DA5578A6D0D5C9C4F00BBAF0E66BD1BDC5B0D9FFDE7C5B7785D6ACBD2CB9F265918AB7D9063266908096ED13909C3238D073,19059D3E3DE50B327262C6D41DB1B1A1DA058E6138E9A612D9D8032A5036AA0EB94DFC064EB2B7022421CE5860E50C3099ABE79A1476723876B1F0696A20A4CF870E93413DB61560B6E3D746E72B722CE4]] FP4mul = [[1D6F1FF1A5CD3C96D99016ACDFFD8C459402607CAFB3E5689FDE7B87726DB36318D9C3EEA569C253BC29336AE8D51E85AB864AFD07A82845A1F85A393015A500EB16E60E0C45D01A14AC62FFB159B0E549,0967CC07582D9FEB935B0FE9775226F7FD360F5E44EB753F96F87719291BDCC703DFDC302DC900F2456F1812B3E723DB50F3BABCD737A1E079B1A783EA2E3352013D32E46FC2FAF2446A981D3FE1C06225],[19A49FD0744E571F9984C6A8497B36988AE31D194A0FF8850A8D345545B07479D9EFC0CC884CDA263F69DDB0C00D54489D5C30DA0CE8C375E8114E291C6AA5A2AFA0B232F1317C21676CE1D3B58832F3A7,1A650831FE9981E9E06CB846720FBF39A715536584D002DDDB9B97711C2B30B10D38840210EB8FB59B228112F08599908E7B87C3BB582C1344C1F6DC1444AB9F4F1DAA08B24224D421C234E7E6935875AF]] FP4inv = [[16B7AEC0C4FB857832BDD76E6212515CA5DFF43E7E18C5D3ACF95336FCAF31983187816D4999E4A275CFB0C1CB770D05E6566E83147C90E8DE203262767E4FB5359BB8BF4469472F26034C0C174090111C,1882208F1D0900130ADF2FBCAE2D762B0499EAF2832B8B7ACA9DF8342F41D68903AB59E390A11AEF5BEE28266400EC85DDF5F29690A2E65CD3283D92A4283516FA41BE841E24BCA647FFF2A1A0C4404890],[02F920CF7E768CA8AAF9B1B957307BA1F53667F00B894E14A12F3AC32B04445E186099C076F9111B932E0B47D02C2D50E27B9BB56D2CF12789CB9111A18086B5CFBE58CC9F4612A3B5E1C7E49A60E9DA3D,216F7DF78CC6491B9F20E15F6584AD565745778EE7BB742E4EA0EF779E9536EC2B5D8A1DA3B2B0856FC5D4032C47BE9B47FCE3410B5CE306BEC417B58639B702D13CC69DD86A60E249F81C361FA461B95F]] FP4mulj = [[065BA8FEC5CBD133E9627A5DC1A6906D7E5C7AA9D4928D02C0D75CC04F30B322969F9670C365F652A374927726C7C17449433D8AEBDE0895C43966358F245C7D57AAD078B213EBDD70DB33878E815AD6A2,03C44F5EC9BE37481315A74509495F9F3A284FEDA64CA8925332BA67F43852A26B73F05CBA5074797F31E6B12717E844408771745A511B742183070799425DD9E0F0A9B5397A2F7C50803C2401B71EF9B1],[129783CC6AE3A398C994E3641AEFC5E0C421BF0579325B5FA8494FF5E566596FEFE34DEA8777A8CF7CF91930A1786BB2BEFDA30CEE8B077598D51D1010C94777AB195AC45BEB19BD4F2193BFB8738FBFBF,0BB81B889966907509094E7E5543F7990E249BC054BA812170A4D176958F8FCCD14BD3941A85D21E7B834706CD601B7F931D36B854ABBCA6991D2131CE4596E4EED40494B42FD2A023079FA2BA1F55595D]] BIGsc = 0E13C1E1FE251C1FF79723CDBA7B35E5FC648496F49EED076A0A0F03CA86A0FB0437FA32610FBE72DFA14E0FD3BD88118D7CBDD3A86DE72DAB720C7BFEF90BB0FE3D8DEF6D0B0BA3F5E1659642F6EE42DC FP4pow = [[1EBA91536960ECDAFE7ABBB720F5B2D0C23C0402A678FC76BBCE0A738FC5AF5F93733E2C2E2E43243DECE6876C8B13725C84607192F6FE56037F2AD9502CFCD321A47FCA407FAE9F2A248B048BCA5680A0,1625987B338D58229E1290BDE42A47C663ED22D80159BD48AF394854C82CFC5C472CB7502E60A9185CDC235CBB09F410339C64F2DC70D2E42BEDDC2276F01F1F6358F8FF59785F8B5EA81F2B6F66B40FC0],[1B0020B350E00B40B8EF6574B644519E25F95BC514C9FCED8AC7EE07165973FF3BE0E91B92C85E63DB86AB18D365B69A0179690B089E13B4AFCA0067179003AB543C1C1F56CEF85B84662821CF466C011E,019F10334C33147E76D6F19F5CC8A14EC090C7D844712CA960AD754CAC7588E279E3937A5AE93DFB48E5EB6CC51DD9A46CD04CE9904CB93C1B77A4AF64AD4DD32CB1808999881EDA867438BCE24A559053]] FP4frob = [[129783CC6AE3A398C994E3641AEFC5E0C421BF0579325B5FA8494FF5E566596FEFE34DEA8777A8CF7CF91930A1786BB2BEFDA30CEE8B077598D51D1010C94777AB195AC45BEB19BD4F2193BFB8738FBFBF,1847E47766996F8AF6F6B3C1AABC0866F1DB6D401752FEDE8F5B2E896ADC754352B42C6BE6524223B890F91D329FE4872D84CFA7C65443626826FCCFC3C2A91B112C1F705C122E97DCF884640664AF86B6],[22D652E1477D05269C8FD4A216960B0F5F4DF250EEC5D73123AB346A9BFC5F6C10CC38EA65A5A312A0AE91AB34B50BDDC2C3A0A4FBA42DF248EB74E5D63F08B3B599121BADC7EAE97A39391F6B08EF6197,21026018E3588EB0E7E5000FDDC0BFFB5F72B88A3484C802ADC82662BB9798669A3007538041DFEAEDCFDF0DBF582E4FA1509507111DBCEA92B846D519003A7A0DAAAD5655FD6638D0BE7B3C74677AEDA1]] FP4_xtrA = [[16899ECDA222191723EB03880E129C68EFA11F3DAE37022A0520B8386B4399A90060D8964BD32BBA4F122761863F70D8A1B019B24030D423647E86A17FB8A752C5D2B177DCF71C4A745D9BE256085C3480,0E7CEEEC66C4A92B12871D0C8F31A56E2A3359A5A35D5E73F9FAB488B84ACBA3E801E9147729ACD948CCD226CBEDB80ABA2EF5D3B0D823748A2AF8962D05B9C0FD463E9323EF5B789B9F4068330E758272],[04447CC3924FA269324189BE30C4436C4D7783BD13AE2F85B37C73641A13674980176C27EB669C9CB295DC3467C50153AEBC92A7B75795DB1373A25B5DF6998E55B13F552B6B5F1B216DE68763D0A35188,04670AD8BBD0929A918D3D4C4E3EAEFFA9753FA304B4A1494D7003EA311DEA58EFFFAA902DBCFFD8BE79C8615584759AD5817E5060319CDC9F8B8175648AC00D77044D40BD34E899AF6CE8C3EE64F7ECB2]] FP4_xtrD = [[031F94002F9E52BD5E67568E74759D802DCDEBFFFF2F47DFBD157B446FB5B7C943B5DDCF82B062A95367F9C689CAA1946FF5FB867CECD09077385E9A1522F9D278DA4C6722FC952F7DA799472CE89F0E49,09353151F6752DAD95A53A0A7D7F0E266CBEC91A3DEE333A2E6AFDBB37444BC56BAB0F4C982AE87D22917CB157BF105AE2C55D58202F2C3F542E6468B53B899AA3E10A602AC5EE15D238D83198D05CD0D6],[0FBCF324ACC9A5064B03643E422267BA134AE6382375C684499B894EEA568B9F578C2D9E53802FBC2E616A0EB9B1677E3AA4AEDDC28A9B8FBC692A69E2591FE8C35353341DF4ABDA5848833C2C6AB2A0C6,166E439E41D771469C15F3BB655480D395D163A50AA3C1A26C3360D1F53E498E8E2255F2459D3528FFDF22926135330090F01B8382E98516D3FB913B743EA62C10546C7DC51C58FF9688DFE35A61364FF3]] # test 5 FP4_1 = [[045926CDD67E440EEA69313B9E932A4182F46CF89F0CDC40DAEC47F7AF5670F08686AE1565FEEF29C38BF6425EF4E8AE38D300B88B30EFCF1754248072E30D8E4D81626028C2E8092448984973A27D7093,01FF9D834D9FCD0E69F1C1B2C042D6A1EA2CD50B10C0A3E7E09EE6B39F1BF534D7B0D061A6F8013DDA8DEE83FCB9942E2D23B783C143F351F370CC7D8FC6033495334D9A85F7E9C3796B65DB19A61C2264],[1A971F2302245B30A8C7E228867F97941B6265C96D1AC9B94841F30613E32888181D60D757832B4494DA90AE9CF1B9117DBC29532791ABEE973A6E0C7C9278585F7273B0AC9E109C6151CA76C07606F0AC,04A3431A6890866A53EE318C1A0B51A4C2D0CE2897BAB588656B47B702379F3CCCAB937C0E7A7B175D191B44B5E895941B4938242F709F55EB357953E4C23E36E4DBC0D7580E58B6135B6768C49F93A205]] FP4_2 = [[0829F37B9C28850F27A8124144D36FA162EC495BC0E0A501EA380BA7A5E6EFB12BCF820921C9A0714259E5FF8B3A480CA06E3055CA5E93BCA67860C55A28841A5412A4505AC9AAC4C5147DB3B66BA0A8DF,064C09FA9609A4A8C68EAFE79147E2F280F4F202068A6234CF8347F5F6B25DDF92542711D02CF08F41856B0D9F04627FBBB1E9BF9C0BEE3C6972F0A24D02B354EF873F3AB76228B5584F8509A0FAA01F04],[1E75FFE0E498AEDB1235477C3A7C75A6FA04ED9B7304B2FBD9B38BCA36EF7128F86B6884E05C115CCF9687818428B3F13A0079B4840681A82DB4C857E3DFBD24F7CB31A2926041879E55D595BDD06817D2,1DB2119714ED674E0B15CC2FFF046F718F62372EFA9272F3643AFF4A6B9D2E08896B3E9A34F6A5544119A9DB0AD7B79B20AE0083CAF7835EECA14A4F870399D2260F284C70A31E8866C778821B0AD4D8FF]] FP4add = [[0C831A4972A6C91E1211437CE36699E2E5E0B6545FED8142C524539F553D60A1B256301E87C88F9B05E5DC41EA2F30BAD941310E558F838BBDCC8545CD0B91A8A19406B0838C92CDE95D15FD2A0E1E1972,084BA77DE3A971B73080719A518AB9946B21C70D174B061CB0222EA995CE53146A04F7737724F1CD1C1359919BBDF6ADE8D5A1435D4FE18E5CE3BD1FDCC8B68984BA8CD53D5A1278D1BAEAE4BAA0BC4168],[150D1F03E6BD0A0BBAFD2764C0FC0D3B15674A647411FCB521F57ED04A6694A0EC88C95C3707285F305CD80C211A6CFBF71A9CA790982D8DC3AB1862CE69F57D573D814E2EBC50EBFFA77C05BDC26A286B,225554B17D7DEDB85F03FDBC190FC11652330557924D287BC9A647016DD4CD455616D2164371206B9E32C51FC0C04D2F3BF738A7FA6822B4D7D6C3A36BC5D8090AEAE923C8B1773E7A22DFEADFAA687B04]] FP4neg = [[1FA6D9322981BBF11596D104616CD5BE7D0B9C07CD00A3BF2513B8085115941F9D7951EA9AD92518708849E1A10B175887CF05A78FCF1039E9EFF9811F253271B27EC1A4E77F192EDBB78BBD4CE1876F80,2200627CB26032F1960E408D3FBD295E15D333F55B4CDC181F61194C61500FDB4C4F2F9E59E01304598651A003466BD8937E4EDC59BC0CB70DD3518402423CCB6ACCD66A8A4A17748694BE2BA6DDE8BDAF],[0968E0DCFDDBA4CF573820177980686BE49DA336FEF2B646B7BE0CF9EC88DC880BE29F28A954E8FD9F39AF75630E46F542E5DD0CF36E541A6A09AFF51575C7A7A08DB05463A3F09B9EAE5990000DFDEF67,1F5CBCE5976F7995AC11D0B3E5F4AE5B3D2F3AD7D452CA779A94B848FE3465D357546C83F25D992AD6FB24DF4A176A72A558CE3BEB8F60B3160EA4ADAD4601C91B24632DB833A881ECA4BC9DFBE4713E0E]] FP4sub = [[202F33523A55BEFFC2C1213A59BFBAA020082C9D4A39B73EF0B43C5009DB864F7EB72C0C450D62FAB5465066D3BAA0A85906D6C2DBD25C1B721FE1BCAAC2C973F96EE214DE3B3E7C5F343E9C7DBAE1A7C7,1FB39388B7962865A363140B2EFAF3AF6937EC097643C1B3111B9EBDA8D59C65695CA94FD7A324F0CD1CC39A5DB531B53213D4244038051E8B41F9DCD4CB8FDFA5AC3264DED7C246211C04D8392F80E373],[20211F421D8BAC5596929CEC4C0321ED215D812E662396BD6E8E673BDD5FBC6F43B1F85277FF2E29F958495118C90527045DB5FEBE8B2A4F6AC9C3B62ABAFB3367A766132A7FD04CC2FC18E7C329A3B8ED,0AF1318353A31F1C48D8679C1B06E233336E9FFA0935C2950130486C97067644674054E1DA5BEA055013B18DAB10DDFFBB3D3E007F791BFFFFD84D05EFC6E464BECCBC8FF7AD3B65AC9412ED6A18C3A919]] FP4conj = [[045926CDD67E440EEA69313B9E932A4182F46CF89F0CDC40DAEC47F7AF5670F08686AE1565FEEF29C38BF6425EF4E8AE38D300B88B30EFCF1754248072E30D8E4D81626028C2E8092448984973A27D7093,01FF9D834D9FCD0E69F1C1B2C042D6A1EA2CD50B10C0A3E7E09EE6B39F1BF534D7B0D061A6F8013DDA8DEE83FCB9942E2D23B783C143F351F370CC7D8FC6033495334D9A85F7E9C3796B65DB19A61C2264],[0968E0DCFDDBA4CF573820177980686BE49DA336FEF2B646B7BE0CF9EC88DC880BE29F28A954E8FD9F39AF75630E46F542E5DD0CF36E541A6A09AFF51575C7A7A08DB05463A3F09B9EAE5990000DFDEF67,1F5CBCE5976F7995AC11D0B3E5F4AE5B3D2F3AD7D452CA779A94B848FE3465D357546C83F25D992AD6FB24DF4A176A72A558CE3BEB8F60B3160EA4ADAD4601C91B24632DB833A881ECA4BC9DFBE4713E0E]] FP4nconj = [[1FA6D9322981BBF11596D104616CD5BE7D0B9C07CD00A3BF2513B8085115941F9D7951EA9AD92518708849E1A10B175887CF05A78FCF1039E9EFF9811F253271B27EC1A4E77F192EDBB78BBD4CE1876F80,2200627CB26032F1960E408D3FBD295E15D333F55B4CDC181F61194C61500FDB4C4F2F9E59E01304598651A003466BD8937E4EDC59BC0CB70DD3518402423CCB6ACCD66A8A4A17748694BE2BA6DDE8BDAF],[1A971F2302245B30A8C7E228867F97941B6265C96D1AC9B94841F30613E32888181D60D757832B4494DA90AE9CF1B9117DBC29532791ABEE973A6E0C7C9278585F7273B0AC9E109C6151CA76C07606F0AC,04A3431A6890866A53EE318C1A0B51A4C2D0CE2897BAB588656B47B702379F3CCCAB937C0E7A7B175D191B44B5E895941B4938242F709F55EB357953E4C23E36E4DBC0D7580E58B6135B6768C49F93A205]] FP2sc = [07D0393CD1E525C824D7AE49F3F72EAD9BE664B89DDB97A72390D374BE83FEDC40CE16E6CEAFB51E385079CA09F6F6361D25FF78B167EA3DCBADB5974FDF7B1D794BEB92282662C866F869A405AA9B1425,1244032FE5F6C41199050180BF2918D03C103DA260E4112DB53BD5A38ABF82987A10EBA022F0B88340C0A807DF1347A1145939915F5F692EF7634F9F6F35E52E4D95F0501EB023EBE79A8F2A1F75277245] FP4pmul = [[22D941CCD60EB73FDDC6F698B267EE1537ABFC97AF8526BA028EAD68826ED0A4750A97115A1CEED1769E4F1D48A1A64075D744B1DDDEA77796C71880BA955D2BEF550B34E99DA9AA14E19F4F35E290610D,1FEDE739638CF046CB303BF491B8B0ABC5C45718E02A1CB6879CB2107B57DF1D2C27534FCD706ACF36C069F116B57F25B297935DF5E3BB7807A116E70808C661323C27E7F1031E66A385D018FCFE8B12D6],[10BF36A5B6D92FB6FB70D70B4C71F232350107A1AAAE8FBB260CDE264EE4BE929268CAABFFDE3AFB722C370942489360BF8D0983943AC84626E7F206910674851A9D10DF3CBC436880794C26AEF7A5B30A,0C5C7624996C04939AA91BA6100121913397F770109498BD2F4E843FF44C71A17755E7F16A821010A001660401BF9BFC95E2649EBCD1451C8B21A99FF2430FC63D311298396D504758C26636C465BF0EE1]] FP4imul = [[11649B3759F9103BA9A4C4EE7A4CA9060BD1B3E27C3371036BB11FDEBD59C3C21A1AB85597FBBCA70E2FD9097BD3A2B8E34C02E22CC3BF3C5D509201CB8C363936058980A30BA02491226125CE89F5C24C,07FE760D367F3439A7C706CB010B5A87A8B3542C43028F9F827B9ACE7C6FD4D35EC341869BE004F76A37BA0FF2E650B8B48EDE0F050FCD47CDC331F63F180CD254CD366A17DFA70DE5AD976C6698708990],[225C7C8C08916CC2A31F842219FE5E506D898524DC5026E52107CC184EB498001875835D5C5C848DEB41C27273C6E43875AC988C6846AFA85A617C2ECE3961617DC986B891F440018546E1CD80D012028A,128D0C69A24219A94FB8C630682D46930B4338A25EEAD62195AD1EDC08DE7CF332AE4DF039E9EC5D74646D12D7A256506D24E090BDC27D57ACD5E54F9308F8DB936F035D603962D84D6D9DA3127E4E8814]] FP4sqr = [[1D42F8F0861A865194BE87E12607E4D72A2B62BFD32827B6F4AD5B830A7CA26614FC2D2C453649AEA9B8E21DB1FE3908E706FED3E57E455A3B748BEFFE1CCA88DEE3EB7F5B2FEB0E88DAC1E6D538EEE151,09AE625607C876186E37CCF59857802D757C76421D4E8C0799D2E1F8E58CD2D4A4C064548D9F25D9B5B3A2E8CF04D2A839EFA55F0FBA2619AF795BC388F37AE6C5E1894704D6DFBB6794F726ACE7F3BAF9],[1E2FA124D85470D4731DA0174DCCE6F25536C778FB2437190DBC314DFADE578953F118C3DC95BF666B40185A641A2ACAA902EFA0488EDD9784258D72C2D139A8C3849E5589A7755957E31F7E657C707986,1D5AE52A3E044BADFA59B6B0B256D738C99FD5901E8CAFF41ADD0827443BECA97A8674125F1CE83A27E0282FF29825B0D60BCE0239134A6682CC18F8E6726D7F4ED95A3FA4083622A4CA8E1F049874EC6D]] FP4mul = [[01B188DC8D60F18E264DBC82C6A17D11472AAB9A74A867AC535E004019EB8FF21D010705BEBE9419C80875F8CCD5978786153AC69017CC974A48E8AD4808BC1DCA29CF05759C865D20EC9C8CDB687A0127,FF77ABDBA9B0C5E9E22B3546F51619A756E622D088BA8B5478D916E0FA715DA0DD6690AA606157F1CFFE254BCF12C0A4E1489BC973169CA6D0B5F54C96AE8FA642AA4BFFC4415DF50A81E96CE43DF16F],[138B7C4AB72CE141816D2C9AF50B6AA057F7AABC90C02427D74D858B0AD2A71C45AC9C3F01C586D1BBB249B36B0B8C59CA322E5441C066B0E6461A0D79CA48A64B5B2CE6218A91554C66D003DC13BBFB12,1768A2677EC7BB700D658B1BECBEA2A9C3EEA24308C56B4CEF2E8959446235DF90F26FDCFF6377B5CBA8A3E5B6E86FDF2E3F369C20021EF83BB44D8E3E928FBAE2AFB752C24DA9A49AE3E54988C8EB0896]] FP4inv = [[1092B12B7D58459002748599B3CF68613D21E3971406E9DB4DC376BF5CC969CF56A3BAA87563A2FE4367968D42DFF594F3E7E6123E934E4CA61EE307098863F3D527D69C3848EA920186415F66C595DC46,228B329E036BAD2287285F8E0088EA130B761F860834A90AE0907B271A5384213F85DF7A8EC23FC6EE75C4265D455EF3D3AFD269D52CC8F084AF4B759E80E455A7EA9715176F0BEF149AEEB5F4994BF916],[1479923BD6527C3A1EA79097C04D5E2EA8ABB4902E5140757667DD096F0B8D821E5128E9AFFE6C9DB1616B0BB76A0D5B25A8EF62668A72FDDF7FE61D08E001ADDB59182D608F24BCB728BDF7F43101DD9C,1DF14A696195FB298BA6C94F69CED39C4CBF666F413CC9F1C9324C77CF3E5B460FC0A36162000437EE364BBC9558E46D60EDA9C1F86329F4E4BE6C5841700CE63BB7B19A8E39E3A8A9E91E409D4B9AF1FB]] FP4mulj = [[15F3DC089993D4C654D9B09C6C7445EF589197A0D5601430E2D6AB4F11AB894B4B71CD5B4908B02D37C17569E709237D6272F12EF8210C98AC04F4B897D03A217A96B2D9548FB7E64DF6630DFBD6734EA7,1F3A623D6AB4E19AFCB613B4A08AE938DE3333F204D57F41ADAD3ABD161AC7C4E4C8F45365FDA65BF1F3ABF352DA4EA59905617757024B44826FE7606154B68F444E348804AC695274AD31DF85159A92B1],[045926CDD67E440EEA69313B9E932A4182F46CF89F0CDC40DAEC47F7AF5670F08686AE1565FEEF29C38BF6425EF4E8AE38D300B88B30EFCF1754248072E30D8E4D81626028C2E8092448984973A27D7093,01FF9D834D9FCD0E69F1C1B2C042D6A1EA2CD50B10C0A3E7E09EE6B39F1BF534D7B0D061A6F8013DDA8DEE83FCB9942E2D23B783C143F351F370CC7D8FC6033495334D9A85F7E9C3796B65DB19A61C2264]] BIGsc = 1EC81ED75D23A6FED5A88917D23613B186928ECE71F87ED5DD7BDD5A1BFEE9D1879954CCAE3AD288945B70FE3DDEA07E5913A98F73F3911CF85203C64FAB4A878EBD9D2F454A112F0AAA2679DF99774EEF FP4pow = [[14E4C6334D5D8768D75B39FAA65AC74326C25F4B7811ADAA5B67B68F159663F5412FA3299A9F1FE99574F0DFF6BD2FA4D52D88CD9636439007CBDF7910325A466DBAC4592303F513F80E16384329492795,0EDE7E725ACC69E3C0CA8BC881EA3A08C40E1C26A73D9A7A60B1DFDA8E4E1AC842CD622B57A594D86E4B19C8DB51772CC73F08B0CFDE0FD4908E5CE1A678C320DF0A8044EB693D006B42DD18D056D4C0FE],[1716D86EED0926C7F4E691111F9259A3CC2417716F84A852AB7709D1E683D722915D806A579969D0A816692AF4233304C1FC840CC07356EAEFD9D7C48F2C937A6D9BF3A1861EE16469EAF0E0CB4677D7FB,22705BD5148AC0FE6E169EC78402D28287E0240B16014C739A5F194F19C5B9BEF05D69AB52BE959F5A79DFCA8172E7035284BACB60A3CAD66FB03D3E69262620D8E4E0DFBEC56763D6F817EF0E87B9416B]] FP4frob = [[045926CDD67E440EEA69313B9E932A4182F46CF89F0CDC40DAEC47F7AF5670F08686AE1565FEEF29C38BF6425EF4E8AE38D300B88B30EFCF1754248072E30D8E4D81626028C2E8092448984973A27D7093,2200627CB26032F1960E408D3FBD295E15D333F55B4CDC181F61194C61500FDB4C4F2F9E59E01304598651A003466BD8937E4EDC59BC0CB70DD3518402423CCB6ACCD66A8A4A17748694BE2BA6DDE8BDAF],[20B273169A56AB3E3596CD6344AB6A276458AC1A6B904517EEA91DB2A01422EC6ED20EABBFC2CE99F8CAA9DB85A85E43DE18B8189EB6FDCD0AC856D1C06CCBAFBF0171021FEBCC3ACBE4AC5E60BA52DDA9,0C35D9717B1137A69C9E9E81D845E8D0DB15D1B7B394186A331E979FBA4129A514257B8EA31A89E03608A2806FEC9C53F22360BA540DC19D235041579E96BAF7004BFD07DFB4418FEC98BB0ACCBCC791DB]] FP4_xtrA = [[186066CCE005E7941889B947ABE28BC29D09A9B1E046DF5A00DA351E0D9B3C639A1427EDE4C36CEFE877DC9C62EDA33502976C60DCE7B0D7BF4AE295E98AB3F0D6371F0895B5E90F0C4C26063C8A1918A7,1537393680287F30990995FDAF864D8C4E201A2E8B8B655C297DFF81EA287AF7F6FAE0D2F7DFFA2E78C38628A336E69EA1E0A28A41025D25924D8ECE3D73F39FF626198937A04F43D1E3BFEDEC616327AE],[09BE7C9DF1A9D618F0C9CAC5A00EC55A1B1E74EF5D2AA218DBDA359ADEC3A4B5262C379C2431399DDDD56F9FB9BB65367AFE01A50BC4A12AAB1DEF36D8F2E88BC8750CC0FE5B70CD77423EFBBF781C21D0,08CCC53D9532F96B1F5DF276F9F65C5EA6F77300AEC8C932A1E3CD59BC6CA45729B1CDDBC8A0996EDE19030117C4462FB0FE129289A5A286F64CF28B9D4B9D1D825D8240BA8ADAD87422A185844151D6D9]] FP4_xtrD = [[1490AB54D91DFE33BFEC2569E8E19054244288CE950E6F353ED4CB93ABCFC08507EED10179386B5B22A0F598F41467AC7560FD62CF1C65BC0CCC42EF1856AF6C43E126BF09AA1AFC40499153EDF3F4002B,05AF274F6C88DBFB9A54499017D1D2E9A122CC2BFBCD4437D8951491A754E86AF55EC3913FAF235E0097C5E0D591AA4BDFA836578D323F75C897C2C86967747D9B7AEE11F8E70C3474BE2B70799BBB7631],[0B5DDF6ADC9D2735C4AD5FE85ACC161A8BFB810AFD3ECA8B9E40175A21CC9E793C2BDA7289EBED6B2CCCB96F9DFD9CE02337358661B23562B0122D8897E5AA5982693DACC25F94221A866C5E6560749AB8,02A16B5F0F255882A2361788E66D7A824F4168E0E1F49B04E5B39795483F2612EFDD9B0A7B39CA26ADFE1E955E6950D24BFC37EA7CF4890957F2ED9F1DEEA9ED1890B7E943E2E656CB8138E9CD53975064]] # test 6 FP4_1 = [[07F9A0D186D20208A1F468ED480F2F6DBCBD1CA29885951A025EC92E4C58E3722A8AC02CD4DD6903DB1171261CB6E4DCDF663DF749F78E32E96EFEE727E0314EB3516263349E269EF844C0B46DFB9F9BC4,05DD83FD589A64171BE38CB04ED3EFA9E2299F984C9F8D334B603A5EB771DC0180921899B76100AB754C8912399F1BD42A53FEF8F9107F83AB78505F02B773F308DDC7A058909AC10A138CA04D57F319A0],[0F6B4184D4EB47CDBFFBD81943E7817C433039820394EAE4FAE22075A93D74B57ADF39C67A4297422AD58C9835BA63138E43EDB18E6DF0B0DFBB1CCA1D74683565920229D557997D5A2D08A03B75D53BEF,1BFD35B1A40D408B1FE26FD24AB6672BE6401BCE31E2B61A087EFD3DE79ADDCB972F56F82674581366E285DFC26031BCED6138FDFC2702076614DF0F9B2EA57E8FA90BD853BD6C56E7E6BF1269713F0C01]] FP4_2 = [[05A86A7CE5679B4A7858DBE89F4446ABDF580733D6671A646545F28E33D0EC521D9CD10101C0087EBCE1EF6F655A289DC04CCB764AB0F64BE94954AE47833CFAC1B37811E26616B1E07017F6A2E32B432C,1D2ACDABE54DB1CE160B75B4EB331AFECE6BC7367729F4BE2F90B69EC183B9E935DBE82FB1713C85F373E76B95BB851A0C678DCB72D51C1B81A5283D61DE2C40B778D030FA97FE7C6486BF7335B4D0449E],[22166FD9B290DC12868B35D03993D14D0FFA0FF04F6D9985B44B06045818ECF27558E5F7DD24AE2717CF8A1F1A300F02202C14252B3CC0B779C5E3DE6321F66C5102428A5B45672680B73BDE754AC1AFCA,08B3A4ADBE146664681BF4779C9DB1C642E640D34CD0038DC13FC3C6C2DBFF453B7EE5D14B17D9879AA89B13B2C53375FF6C2BEC34F83F278CEF01EEFEEF68E14321F6329EDA6D41B9B17A6A16F1B23DCB]] FP4add = [[0DA20B4E6C399D531A4D44D5E75376199C1523D66EECAF7E67A4BBBC8029CFC44827912DD69D718297F3609582110D7A9FB3096D94A8847ED2B853956F636E497504DA7517043D50D8B4D8AB10DECADEF0,230851A93DE815E531EF02653A070AA8B09566CEC3C981F17AF0F0FD78F595EAB66E00C968D23D3168C0707DCF5AA0EE36BB8CC46BE59B9F2D1D789C6495A033C05697D15328993D6E9A4C13830CC35E3E],[0D81B15E877C23E046870BA97D7B52C9532A4071E6F5046AAF2D267A00EA5C97CC381FBE568F31270E90D6934FEA720EEDCDFB769EAAB15F583CE2A6EE8E1EA1B69420AF205AFF6BDAE42077F03C920BA6,B0DA5F6221A6EF87FE6209E75418F2292653A112A539A7C9BEC104AA0AD800AEAE3CC970B41D58CD76E0CF7525652C2C2B5E8A161F4125F1BFC2FD0815CE5FD2CADE05E255D860A1981575BFDEEC69B9]] FP4neg = [[1C065F2E792DFDF75E0B9952B7F0D0924342EC5DD387EAE5FDA136D1B413219DF9753FD32BFAAB3E5902CEFDE3491B29E13BC868D10871D617D51F1A6A280EB14CAEC1A1DBA3DA9907BB6352528865444F,1E227C02A7659BE8E41C758FB12C10561DD669681F6DF2CCB49FC5A148FA290EA36DE76649771396BEC7B711C660E432964E076721EF808555CBCDA28F50CC0CF7225C64B7B16676F5EC9766732C11C673],[1494BE7B2B14B83240042A26BC187E83BCCFCF7E6878951B051DDF8A572E905AA920C63986957D00093EB38BCA459CF3325E18AE8C920F58218901377493D7CA9A6E21DB3AEA67BAA5D31B66850E2FA424,0802CA4E5BF2BF74E01D926DB54998D419BFED323A2AC9E5F78102C218D127448CD0A907DA63BC2ECD31BA443D9FCE49D340CD621ED8FE019B2F3EF1F6D99A817057182CBC8494E1181964F45712C5D412]] FP4sub = [[02513654A16A66BE299B8D04A8CAE8C1DD65156EC21E7AB59D18D6A01887F7200CEDEF2BD31D60851E2F81B6B75CBC3F1F197280FF4697E70025AA38E05CF453F19DEA5152380FED17D4A8BDCB18745898,0CB2B651734CB24905D8193B63A0D4AB13BDE162418318751BCF83BFF65A27286EB6306A06C7D867B5ECE1CAA3E396C0DE8E778DA13B63712B17462332E187B251651B746E3A9D7CA58CF133D82727B515],[1154D1AB225A6BBB3970A4890A53B02F333632922034D15F46971A7151908CD3298653CE9DF5FD5D471A429D1B8A54182EB9DFEC7E313002673956ED4C5AB1C9148FE3A48A54338ED975F0C886AF186C38,13499103E5F8DA26B7C67B5AAE18B565A359DAFAE512B28C473F397724BEDE865BB07126DB5C7E8BCC39EACC0F9AFE46EDF50D11C72EC2DFD925DD209C3F3C9D4C8715A5B4E2FF152E3544A8527F8CCE36]] FP4conj = [[07F9A0D186D20208A1F468ED480F2F6DBCBD1CA29885951A025EC92E4C58E3722A8AC02CD4DD6903DB1171261CB6E4DCDF663DF749F78E32E96EFEE727E0314EB3516263349E269EF844C0B46DFB9F9BC4,05DD83FD589A64171BE38CB04ED3EFA9E2299F984C9F8D334B603A5EB771DC0180921899B76100AB754C8912399F1BD42A53FEF8F9107F83AB78505F02B773F308DDC7A058909AC10A138CA04D57F319A0],[1494BE7B2B14B83240042A26BC187E83BCCFCF7E6878951B051DDF8A572E905AA920C63986957D00093EB38BCA459CF3325E18AE8C920F58218901377493D7CA9A6E21DB3AEA67BAA5D31B66850E2FA424,0802CA4E5BF2BF74E01D926DB54998D419BFED323A2AC9E5F78102C218D127448CD0A907DA63BC2ECD31BA443D9FCE49D340CD621ED8FE019B2F3EF1F6D99A817057182CBC8494E1181964F45712C5D412]] FP4nconj = [[1C065F2E792DFDF75E0B9952B7F0D0924342EC5DD387EAE5FDA136D1B413219DF9753FD32BFAAB3E5902CEFDE3491B29E13BC868D10871D617D51F1A6A280EB14CAEC1A1DBA3DA9907BB6352528865444F,1E227C02A7659BE8E41C758FB12C10561DD669681F6DF2CCB49FC5A148FA290EA36DE76649771396BEC7B711C660E432964E076721EF808555CBCDA28F50CC0CF7225C64B7B16676F5EC9766732C11C673],[0F6B4184D4EB47CDBFFBD81943E7817C433039820394EAE4FAE22075A93D74B57ADF39C67A4297422AD58C9835BA63138E43EDB18E6DF0B0DFBB1CCA1D74683565920229D557997D5A2D08A03B75D53BEF,1BFD35B1A40D408B1FE26FD24AB6672BE6401BCE31E2B61A087EFD3DE79ADDCB972F56F82674581366E285DFC26031BCED6138FDFC2702076614DF0F9B2EA57E8FA90BD853BD6C56E7E6BF1269713F0C01]] FP2sc = [0A5FA33050419D79A9AC95902A74FAF7360F5784A8B374AE1710B369F7886480AE836C4634BD50FFF7DAE886196AEC1C3114EE06AFB7DF9EC4FC260D01762499756C46442E1F902A4723E78740938B2254,10A4F21EEDD5A787095117F1137D1F818ED47E14DF3D5A2ABC6770D45B25C22F515ED89231930F4B889AC2D72A1E45C69B8BF79B25CAC25D189BF96A7A4AA7A557B01A3A0F71865DA0739AD966E300EF98] FP4pmul = [[0CCCC22F8CCDA7EA3BC845F8A11309D457577D4E61B25CC9C3943F70F4E0A2CADE49BE7026B29F9D1E871431B1BB704758A332C77BC762C727FD8B2834DB2C6CEC4ADAFDBF608AEE808EBB88842EC468FB,16710923487B76AA856388F8255B3B3A686CF02E28DF508C38FCAC87736B572120A24BC3FC9CBCB5B10FEE0B1A529BCA664BD4079267DE0D6EE1702356A0E7EE06B91B16053D1E70F92A2646A21293D2BA],[1ACE99175D6F47AE3D7644B36393D3A3377FDB5F36F42CEA63851E781BFDA55DBB83D7DA052D8E648A33DB0B45002913037205D3DD05FEB98E935BEAAE00752312AE6EF4E8958DBC5EA2181DA64505F8C3,1E549F8878811A738652465A98C0521A7F179FCBC03B2905C056CB8365681F057D626C86C8960380FC95FF9901B7CB9B825BD24EA89B8FD865468F051763A28BB5FEE313BFF3A17D1C911493BFD35F213C]] FP4imul = [[03E02417A21A0A2B29C60A62684BED24AFB1862C8E8E69820BD9EDE77D506C2AB0B5C0E0277AF8D11342F59A8F9278499C5D2F7456D5C6F58DE6DC823558B6898096C7EAF6D4BFE2D9579F7F6566192AC1,1D5393F2BB03F4738B71BF718A23AE516AD01DF97F1DC20078E123D995394C0782DA7B0094E503594A7EAD5B201B8B24D3A3FADCDD527D92595991DB0D9543BF2C54E621BAD305C53261BF2182B7BF8020],[0518479828986704BFEB33FE5385876D4FF10D8939CD9678E66AA24C4D5B3D6B1E5C20E0619CCBC66E033EB10CA3EF54460F97B79225B3625C1F53EF6F35890AFBD9C2C70A31FD02C2E0E313A845206B85,1FF20C78344242B79F6C285B759003DB7F407005B5450E822A7AF23584C245C987ECB2D8BDBD7B9A662FDCF2CBE0F89C610009D59BC30A09FA9C014951D07B78CE4CCF2A71ED1A0A87814F47CDAA2C9BCC]] FP4sqr = [[03BD2CEE85C9392505419B43F816466EA0BB53E126D8549ED02CB5C665EE0596D420828EE2FB02118B14497D17BCA132BA5C7DEE05B34A48E3F486C0C2098A29102AB37F4963BD675F8835FBA9E128C557,020E5CBF7ADCE427E62ACA505FC912B0D9A4F5DF75948E9724D72A20B0468984CE028A8296BFC13F8C4FE83D7D9C6294F9C718D2779E31A9C67200655B8830BCC55B34215C45E0D92D20D6DDE9AB29BBD8],[211FE90D3D006FF704401A3098B66C56A0D2BDA0AA0769BB155F257D8CD1C69D38F63C41E68394AFDBD5ED40A8EF4DC4983EE6569678EB98C17A3655C322180F77BA2A7BB0221EB54E11A4D2729256E7E7,0A1730F98B07CCBFCEA4DFBBB986AA5C8A71BD6A451C8C5434533707FA631F8EB936BD1688A1EF58BF24BE9E015EBCA184DB0C3EF4D2552FD695B080C2138A9270DD9C7E07AC7667EAA71D05BAD6226D10]] FP4mul = [[103B5750B6FFC176C0AE5E997E36702061394B7639E222B4D1F5C50ED07E2DC762BD63B28C0DEAD43CD25BDA5A5D4470103AD5351E6C7F6520CD010F7A20A5DF6706E2C8F5EB1E6F6DF24A33E85A0C4D01,1EF5B2A4484208409AC0539931191183B98DD7AFA55A22F45443002A426ACFB87AC0E2E69004C156BB795183DFEF66DDC453A612293B091431D3A3E230D8BB922CAF745E36DF8A60F1315ECAB496B2486A],[1149D21BAEC18C31FCDFB77425ABE268B4D2392CCF2F3FBAA8D5F1206D6458520B013C53BA91EA972BD886FEBF043ED1D17F4D57E2279092EF869DE762F0C132DFCB89FF072108E6F9AB1E3F56654ED389,08A37A6D40C03C7CCB4C9AF5E3B17A759CFACB4FDE29AD5DC1BB77A870AAB19CD663AC4593A169603F5EFB69408B0834F5C7AEB3160E6BFBD5E3484F380D636530C4474794D9578F53E749A2D54BFE8855]] FP4inv = [[1ABC9E898662AC43FA96A21105C998DD731F1F57E85728264CF71B9A649ABCEB039F35708A1B3DE3930A98E73E3555FA0D3D67A4B0D88986A9E74E13A0C60F3304CD6409884FDFAA5DB2EEA731184FA7E2,1774183855B27787A2F71103CE32DC8A504BB9390AE0F9D00B786D92A1A96871F913C7CC724F545C949A73FC8C218BDBDE51B99376DBCCC20DE6C2ED6CA9115A6DC2102BC36D8173438F69637C2BDC23BF],[0D8ADE2CD6CFC0F05CA18D6487C2D80E905B6ACFA4529DBB6E3AEE97610BF9E72DBAF6EA3D5F4F31EF2AB619D53A2981AB3D01D2C253FD6690CE330A6913F3D35ACA314C5CA3A03449A3106DF4A2645013,1879B874481832E79B336BB40716C4C11573597397E5FF4092DD5A731D981BD3F86EC3C150EE40536EA0050E6CC410A6AF46930CA30C973BA9AB7534B0EA60C88E6AA48894C56158DC50E4EDE9E83BA5AD]] FP4mulj = [[176E0BD330DE0742A0196A86F9311A505CF026B43DBFB4CAF2632337C20E9BFA07AFE2CE54A65370F80746DC735A315D6184BB13AD46EEB27AEA5BBC144E02B6D5E91A5691DC2E5E72466D9492889B1001,0768773678F88858DFDE45AB8E9DE8A829704C4FC96A20FF03611DB3906C4D70EE0E90BE9FDEDB135DA3D253F81A94C9BB03204F6F94F2AF448BDDD8269ACDB3F53AE9FD18D3049C4213A3ABE4630F67DD],[07F9A0D186D20208A1F468ED480F2F6DBCBD1CA29885951A025EC92E4C58E3722A8AC02CD4DD6903DB1171261CB6E4DCDF663DF749F78E32E96EFEE727E0314EB3516263349E269EF844C0B46DFB9F9BC4,05DD83FD589A64171BE38CB04ED3EFA9E2299F984C9F8D334B603A5EB771DC0180921899B76100AB754C8912399F1BD42A53FEF8F9107F83AB78505F02B773F308DDC7A058909AC10A138CA04D57F319A0]] BIGsc = 06D9F8F9D7475D0FD744F75BD5A2F0806858845332ACDB4B6D171A7EE9053472A9BFB7B73FB3156F627E0F2EB79387BE07C3779217647538456AB30F49BA8949628F01489AD364F1409B9E768E9464BE57 FP4pow = [[17C3C52EF605FC2EDBA8A5B081967F4CB08FC1C4CB4ECB0C09016B3199177A6551CC179E2C31B735C74FECBAB8B8D62C997B8950ECCA26D3D57BB63D3C64325DAE60D628B02507926D23862FA89EECC4EF,14E91660C991ECEC30410ECD24C4712C9F6E9B9ED817279710E4E24F9DDE67E9287FCD11474F048CE3768BCAEB13C35480238DA9F693FD22462CE1D04813FF4BDFA9C4F7A3754DA2B42C605830ECCFD6E2],[19D4EDC6283BFFF0238C550805A758B1E07EB0C2E60B4399C84361D328DC95CAF859D82326870BBA2895130FFF45D266EA3FCADFEA8F434886A257A8D2F9E2E0074FCF5553F56BD2DB803693C48CCEE04A,1876121193D028554C47FD7CB9BE2B90B98287E4FA18E1427CD82004893A95C81E8CAC8F9C96452CCD552731DB17061B550303BEBAB13887488AFF0E523ADD8449F4D457CB5FD14BD832953136D7410092]] FP4frob = [[07F9A0D186D20208A1F468ED480F2F6DBCBD1CA29885951A025EC92E4C58E3722A8AC02CD4DD6903DB1171261CB6E4DCDF663DF749F78E32E96EFEE727E0314EB3516263349E269EF844C0B46DFB9F9BC4,1E227C02A7659BE8E41C758FB12C10561DD669681F6DF2CCB49FC5A148FA290EA36DE76649771396BEC7B711C660E432964E076721EF808555CBCDA28F50CC0CF7225C64B7B16676F5EC9766732C11C673],[02626DE012F4E3ABCF062D7936BAC9A192425F8B6DB48987E5EF536F8E97F2B5F8AFADCFDF8BCFE02A10BEFAEE8574BE1673E62D32AEEE78A17B6882134F73E54A6C5F087B1C0FBDA0FCEA35C7B34CCCBD,1702E1A41FA722C600728DC0E59BCED7BA563D6DF5278CDCAE2BA2D42CB6E4D80C3DA2587FB0782D75A5052C36807020154CB015E0E7F26F3A31D07E37CFF694CA3F1FB4C2CD0D9C6D6A9643032DFEA85A]] FP4_xtrA = [[22C6905B020E9A270044DD3E37B18D32EC81BAB46A2CB676B562139924C3CE3FF454640D16CD57176B895DA5001DD8949443738DFCDC4B7D817300DCBC06081FF6FB66D140399ECF31EF1B4D0922E9BB8F,07DD4EA2A93A8F16FB4942BE2C47CF9D728B03D4501CE5C263FAE4595E115E91B9953D167E18BB966AC7E803CDECF5B36181E78CF171567E5BC7EF65775C6EF84D90C46B035BA8E3CA2AF74918742F1082],[13200EB9E223171496149EED5BD7F9D50CA546DE4DB2FC8C53CD25FF663D8C497413AE3D01748F2A88DFB12AA3C28CCC205194FF52190B3B90AD2E6125B8EC76FFA44DA82D86E858B5A31471A3B9E70B02,1DF1CD48037C29F33536BAC42739F141E06AE1A26A1486440843BC06441F726D33FD2601032C317102869E6E69E700E44975D51514B44676D5C0DB936F65359545278C4EC74E19B88D9B430D5F82586984]] FP4_xtrD = [[17C9EB4B78253513C158CBA967F7E7932741239C61DAAA6ACB6F2369CDA843C2A30B02353A18444C0905A754DE4ED77FBC32085F8CC42DEC125AA6F40451678BA98812BDF06971616EFED8998E6DEE6DE2,1A5354C4C9A81BF9AE63B32FC221335D1551BFAF4862F4308E16B56341CED691F0DE594F28D5D42AD5CB163D0A5E2AF365C12140A07D32AB70C57DA8E82188D6B39FC8E5BB66AC8F18F9E1A40F7F4868AB],[1BF66C16E6D6FF928437C82320856F4F273327A44523BF850B236668DEE0AAF80AB4AFCEDA30AEF1FD6CC64D146413E4F424BB599854CCF17FAC51E86C02A87A42DE0ACA4A8F5078026B920C28F9FC7FB2,1E119C5CD3224DD60E69BD204EF378B456F1EC063CD4788845513183C92CD615C3956B06D4B28B3D58D58A39861F20149EFB77DAD2205935A17B509E6668958F902F90299EE54DDDBA747723CD349BA4FF]] # test 7 FP4_1 = [[1C7D3508EE802563665E8B070591998D58DAAD39A54C4C3424713149A96B1FAFB17313DED6316D3AA33D1D8F49EA134C17D861EF07718E6C026DE23BC4E0910667E9B5C3056276DCBCBFB3E2A79DE39ECC,15634C1BFBD8720B0BA479456C09AF2B78E0A4582FE692B6208EBC62FC07483E766096FE5820964A681A7C77063D6D5983E51D51AC9E1B0A648E744791AA601814ADC8A88738C488A59CCFD050477CD878],[0D616346608AEA5E4EE695B96225D3CE76960192FE074B0645F107D5FF0761884F537B63E114A1B132AAC961846CFCEE9AB15F524F4B1878DC8B59B574043FF3FA69CED0817C1D2A6A3F60E74B7231B251,1FAC057ED02ACFB88619786BEE4279D216E7221925351B5D6CC3F43C2C745583B3CA2E0A5312E09D46B9D2E751A2CAF49AF81483147EC5D6C4A7A16F7D250BB7BCDB9C49405F2F980354BDE7201590B2EA]] FP4_2 = [[08D69BF5824EC2600102C96B1E7E83F06CD451A560C7A85C7F5825DD33DCC1B5AAF95FA096B409DC0C89610D93EEFE8951A4D186BF08AD5AD537FAD386C1FDE71CB5DF8C14BA223A26F3E0197543539824,06FF3076B38D88137B4513FDF294AFAB94E1855E217ACD8A6D8F35ABBECECC1E1E6CB8ACBADF3252E3C39C5AD0E3BB9C8AF9265684FCC49C081086D3064D976FCF3B0DEA0DB5CAA2680A7231CDE37867AE],[0B6BFEF294E1D1E08A1C9337112D2B67A3113792D562FB1831C5DDFA9F0004650A4AED278B57C67AB633E724A6E43D3BA2B328376CA266720C30033CAAB618DC3BF5E024B4CCAD0BBC6F7619006E671750,0740E3AF7C06730B64489D8F035F7C59AF2AB07C533A4869F989CB59352CE61F2F0A1792E54ED8CA0049A72B0FCE3F1610B2E9393542ACFC63E02658135C5A7724191C0CA297FA16F5E6F0CBFAAB70C36E]] FP4add = [[0153D0FE70CEE7C36761523224101D7DC5AEF5DE9A067490A3C95726DCDBDC55386C737F6C0D62D47BB23E78DDD911CEA8DB2D15AB7A3BBDD661BF0DB99A4EED849F714A09DA97DEE3B36FF55C5D3256DD,1C627C92AF65FA1E86E98D435E9E5ED70DC229B6516160408E1DF20EBAD6145C94CD4FAB12FFC89D4BDE18D1D72128F60EDE43A8319ADFA66C9EFB1A97F7F787E3E8D69294EE8F2B0DA742021E2AF54026],[18CD6238F56CBC3ED90328F07352FF3619A73925D36A461E77B6E5D09E0765ED599E688B6C6C682BE8DEB0862B513A2A3D648789BBED7EEAE8BB5CF21EBA58D0365FAEF53648CA3626AED7004BE098C9A1,02ECE92E4C3142C3EA6213BAF1A1F62BC611C9950C61E3C7664DBF9561353692BED4459D3789A52512EF39EE61710A03EB08F75C2EC172CA2743A9C5FE79262EE0F49450D2B52876F93B8AAC5A3CFC9645]] FP4neg = [[0782CAF7117FDA9C99A17738FA6E6672A7255BC6C6C133CBDB8ECEB65700E560728CEC212AA6A70790D72294B615ECBAA8C9A471138E719CFED63BC5CD27AEF998166E420ADF8A5B4340702418E6214147,0E9CB3E404278DF4F45B88FA93F650D4871F64A83C26ED49DF71439D0464BCD1AD9F6901A8B77DF7CBF9C3ACF9C292AD3CBCE90E6E61E4FE9CB5A9BA005DDFE7EB525B5C89093CAF5A635436703C88079B],[169E9CB99F7515A1B1196C869DDA2C31896A076D6E0634F9BA0EF82A0164A387D4AC849C1FC37291016976C27B93031825F0A70DCBB4E79024B8C44C1E04000C059655348EC5E40D95C0C31F7511D32DC2,0453FA812FD5304779E689D411BD862DE918E6E746D864A2933C0BC3D3F7AF8C7035D1F5ADC533A4ED5A6D3CAE5D351225A9F1DD06813A323C9C7C9214E33448432487BBCFE2D19FFCAB661FA06E742D29]] FP4sub = [[13A699136C316303655BC19BE713159CEC065B944484A3D7A5190B6C758E5DFA0679B43E3F7D635E96B3BC81B5FB14C2C63390684868E1112D35E7683E1E931F4B33D636F0A854A295CBD3C9325A9006A8,0E641BA5484AE9F7905F65477974FF7FE3FF1EFA0E6BC52BB2FF86B73D387C2057F3DE519D4163F78456E01C3559B1BCF8EBF6FB27A1566E5C7DED748B5CC8A84572BABE7982F9E63D925D9E82640470CA],[01F56453CBA9187DC4CA028250F8A866D384CA0028A44FEE142B29DB60075D2345088E3C55BCDB367C76E23CDD88BFB2F7FE371AE2A8B206D05B5678C94E2717BE73EEABCCAF701EADCFEACE4B03CA9B01,186B21CF54245CAD21D0DADCEAE2FD7867BC719CD1FAD2F3733A28E2F7476F6484C016776DC407D346702BBC41D48BDE8A452B49DF3C18DA60C77B1769C8B14098C2803C9DC735810D6DCD1B256A1FEF7C]] FP4conj = [[1C7D3508EE802563665E8B070591998D58DAAD39A54C4C3424713149A96B1FAFB17313DED6316D3AA33D1D8F49EA134C17D861EF07718E6C026DE23BC4E0910667E9B5C3056276DCBCBFB3E2A79DE39ECC,15634C1BFBD8720B0BA479456C09AF2B78E0A4582FE692B6208EBC62FC07483E766096FE5820964A681A7C77063D6D5983E51D51AC9E1B0A648E744791AA601814ADC8A88738C488A59CCFD050477CD878],[169E9CB99F7515A1B1196C869DDA2C31896A076D6E0634F9BA0EF82A0164A387D4AC849C1FC37291016976C27B93031825F0A70DCBB4E79024B8C44C1E04000C059655348EC5E40D95C0C31F7511D32DC2,0453FA812FD5304779E689D411BD862DE918E6E746D864A2933C0BC3D3F7AF8C7035D1F5ADC533A4ED5A6D3CAE5D351225A9F1DD06813A323C9C7C9214E33448432487BBCFE2D19FFCAB661FA06E742D29]] FP4nconj = [[0782CAF7117FDA9C99A17738FA6E6672A7255BC6C6C133CBDB8ECEB65700E560728CEC212AA6A70790D72294B615ECBAA8C9A471138E719CFED63BC5CD27AEF998166E420ADF8A5B4340702418E6214147,0E9CB3E404278DF4F45B88FA93F650D4871F64A83C26ED49DF71439D0464BCD1AD9F6901A8B77DF7CBF9C3ACF9C292AD3CBCE90E6E61E4FE9CB5A9BA005DDFE7EB525B5C89093CAF5A635436703C88079B],[0D616346608AEA5E4EE695B96225D3CE76960192FE074B0645F107D5FF0761884F537B63E114A1B132AAC961846CFCEE9AB15F524F4B1878DC8B59B574043FF3FA69CED0817C1D2A6A3F60E74B7231B251,1FAC057ED02ACFB88619786BEE4279D216E7221925351B5D6CC3F43C2C745583B3CA2E0A5312E09D46B9D2E751A2CAF49AF81483147EC5D6C4A7A16F7D250BB7BCDB9C49405F2F980354BDE7201590B2EA]] FP2sc = [4F5140D8AE29409BF644B97D58733FFA34F8ADDF52773C13ABCF30AFE0896F80464C5A218223C7A0718CA0D04C334F866911BDBF5B02FAF8233FE01E6FBAB7729394B5659352F089B13CA6051B3B3708,07826198B22E0B427CC2F2C7E728BB021286E1FE32945B759351551A7EE5D808BB9B0116AF88D0A02E43DB9FDFD7403A108289DC7776B661FA01784D1D70AF06E224612E4B42BE5BE4587052BFC61875D3] FP4pmul = [[02AC377298E4048CB6E0DDB6EB938ED16C8282ACC66C417D2C305EC485CA263AEC0F23BCF367085D22A9B944A9E15B3870800708DD1A13CE3E9C4FE4F39E9DF85B7570C26D5CB9D071450BABA0470FAED2,1675AB8CE606213F50FBEE7269739BA52C40243ADA428C973375068A0284953DEC375B6B10275127458688A2A9D275D2735F2083493EC62C511FC47BCACECACDB1A60ADBC14A1F7752620E11CDCF083A2C],[03D9DEEEA956CF706F36CE82F045866B7354C2E672434F28BDE9E2F5A2F2E49CA3D56EE324558CC6AD3FAF8D6276EF35C49495BD4B99685C3198BC749D86E8A68842F35E2DE69EA36D189DF1D3ADE63DE3,21C659D83D8A46D1E3F6149EECD7022C56986205CC545879C9A7C60A5816224D5A6BBB0D928CE77AAFA9D827BD442A75569B2DEFD3623A747A123BDF4A6B23C8BA1EDB5BED451A9472C6954B11495A151C]] FP4imul = [[1AEF3E359700E0546637392A21699950151FEB582F93C938DAA727B9F6D2A9DD98B2773901C83E57031DB0CBBB7C73AD8C8A3219C0A956640982D560552266266F79B27DDF46C44C6C7DA734EBA342387C,1453C8A7E712AC4245DAD0E0883A1B04D543BF0FDB3EF044C3586A51E6E7A2465A4389F60E3B48F7D4622A5E25709004D5789CC9BAB4A223578A5FA8B3E580907C1247E3FA8E978BE1AC72CDA020DE7297],[084853A643417E35D9677DD84CE2F6D6C783F7711C10C225A3A62F03F9543F1193F4E45744CBA1A2C7D838011A8DED8A1EE42F2DA5C292C328BBDE3D9408FFB7DE7A90D8E864AC8E7D7BFD5E43A5206DC0,0A0820F8E100DE532498C747958EDAEC896A9F94C2FB24308C97B969089DE7C582BD143DEE38DE64A3F5B0B7E9D0C199DEA65B31F3F8A2DB9599329514B5064E6D24F59E30F1177813FBBF48FDED4BD11D]] FP4sqr = [[13348E1AD9F17ABDE43FFF0CB315FB2E569412B4455395969CABA97826D48CF2DD6136276168D174EEE065A9FEEC7768194F132843B7E137FDE0D9852668834851AC90EF96BB67B2F1286734DEB5340C39,13DF59FEB873CB2A494C4D6B6BC2D362C068B1EBAA86583167CA484DE1CF330D7343D4C95E63D4AA2141D2359A9F8B498E24FAFD3DAEF4C53F94AAA0F23AD63EC010F403EEC0FA1FD8AEAACE64C36AFC3E],[0AD707C029297E2DE06BD083314361941715506D213D7A000D92756F4AC70BF284441B7417792C0E8C9C11C7710F42F164ED4D7A1B4A66EA503D2C735798F97EBA000FE607E46B4575FF84B4C2F4CFABA8,0ED6EB3CDB83015E45270B1398016AA51A8573E65668EE795105F29588E2FC870BD5173F3252B33A9641195641B1B91E19F78FEF9393D24411DE38589F2B4CC3A00FA20831A25D6DD8A821A7201AC5D7D0]] FP4mul = [[1F9A25AD7492E8AAE52764CDBCD704763F520E87D2B558D74152E17DCA9395D92079D7F47525AB72848DD5B9D9164F3A474FA3ED05ABC5BC5E93E304F9724B351ACEBAD84766F569CA11DDC72BB4766105,0C1666E64546F37DFD30CF8DA1F1AD489233C12069CA7A44B45AECCA2F3BDC990DD24F92824520D3CBD6403BDE1CFAC9DF2AFED70976AFE3527E52B0E70F18F09F0B8EFD15ED106C9A80199E1641F0F105],[114332F7F57D9D4D20130A6A116FC3727E58316F03065EF0CC0D26AF4C812C3DAE7550F53A9BDB5F4DFBB0B39656929F27A3235931E79170BCC4334822B1E3A1109458E771D9BBA571425C1C5C283522C2,122C184D76832DCCF65575EF77C3811792A30A9A2A65698411E9841DAC7420BEE25FD5BADF482800316B2A937C1EA5DFE93A749F26C80D4528F16EFCEF47FB5F52A8C897D557F03808F63AA422E57AB5DE]] FP4inv = [[1CDEA3E9F6BE79F0653A45892E5540576E1DF53871BC6B097D6515BE2D03B84EADD64BA89EF0A52AA963A57DDB2FCB01E029CD34BBAE77B295027CD6676E68F09D24F768DADE76E8775DFF12985BD7F693,0A665B82D24D68807E29405C7C214FD28FD3C2121423F5D35DADD78A38C9855B00405F9833E1D9B072B6E3B6BB11AA6C3782ED12385CB64B8A383DE49111BFAA95DCB4079D052483DC304A18DD66DA8C83],[1EED24E5C22845732C3C1541BE176ABD7200F8E78B73E96D6A9BB368F25B934E2224695F0768D43F2E69A64DC4C48F95DF823BD5752E847B93978632FEA6A28B5A190BCA3FC07CDB4CF55B9D8F74BD542E,034E474D6BDC619EBAF2A4D12380668A77502B9D3A3C0103C1FFF13A337B8779A26AD6BB6CE6993B147BD73D6DCF7AC115FD650CA7AAFA6F76075B7578446868C4D5BA9338302BBD1C51C8998B6E8DA512]] FP4mulj = [[11B55DC790601AA5C8CD1F8D73E359FC5FAEE87A44DFAFA8D92D1399D2FF1114BF894D598ED9D5562005369E32CA3200C05B512F55CC52AB1927D64788E7743C3D8E568C515EEECA66EAC706EBE0A5DF7A,090D68C530B5BA16D5000BE550684DA08D7D1AABB72EE663B2B4FC122B0FB1FBDF1DA96E334F6E0C45505C24D60FC7DC75076D7548C9DE469FEEDD235F210BABB7454714B1994B8A6D93FAC7AB03BD8528],[1C7D3508EE802563665E8B070591998D58DAAD39A54C4C3424713149A96B1FAFB17313DED6316D3AA33D1D8F49EA134C17D861EF07718E6C026DE23BC4E0910667E9B5C3056276DCBCBFB3E2A79DE39ECC,15634C1BFBD8720B0BA479456C09AF2B78E0A4582FE692B6208EBC62FC07483E766096FE5820964A681A7C77063D6D5983E51D51AC9E1B0A648E744791AA601814ADC8A88738C488A59CCFD050477CD878]] BIGsc = 01DBE985BCB217E9E325BC64ADB75BDCDF388DBFB15E66BCFBCF5DC26F5A035C56377E216ABC50B15D92FBD67AA828EC6E3422BFFAA0F7B84ED1172CFE0C50AA72B778B720C8F2338D6DEA7CFE9F835F74 FP4pow = [[216DDF2BC75DFDA4249D52103AD7F281DF9D41F79E8A2BFAAFA1067B90FB0248C52F3F9653E099C1450EFBA2143C365CF067E2367A416C3F4AEC983CBDBAE2F0D6E6C9CD65CA5CAC91D888AD009CE13FEF,0E16D2699A83CFC8CC0C1FDF93FB3CD1CB45471178CF8B6622F1DC8E4F454A20BCF662708C3EB4413C4642706CB1070076C6437A47CF2D833389D4B085E2A0E379A380FA298F4E6577E6ABEF7FF4A33117],[17FDCCDAE9CBBE4D7627C5D262767115F3878CC23BB19AD25029DE241BEE0BB330320D36919801D7AE53875C1DF3CE06FFB2D9461524ADAE39CBC4F879C94C2C001434AF93FC6A08585C4214508D769143,15BDCBDD802934C9A28F067088FD13C4D090DB74B0901EF4C1CBABCC23A4B9A987319D15372FE19AD3523ADE2D6297C710AA0660971D3CE72A4578A53F589727536A154706D9A1598900539040FDAF4422]] FP4frob = [[1C7D3508EE802563665E8B070591998D58DAAD39A54C4C3424713149A96B1FAFB17313DED6316D3AA33D1D8F49EA134C17D861EF07718E6C026DE23BC4E0910667E9B5C3056276DCBCBFB3E2A79DE39ECC,0E9CB3E404278DF4F45B88FA93F650D4871F64A83C26ED49DF71439D0464BCD1AD9F6901A8B77DF7CBF9C3ACF9C292AD3CBCE90E6E61E4FE9CB5A9BA005DDFE7EB525B5C89093CAF5A635436703C88079B],[184E0FED15AD74BED65CE0BE3B0BC32B9117BC3A06590E7497506D14B1C36E5B434AF5732BFE39A82FE73C05267AC8C6638AB69A9837D3DE6DBA4A2EE7BAB5F33A7629AD46CD4D563875D056EE00CB8631,0655333CE659E8D32B43146B2EE065E7F09FAF222D1CDE56B4EC1F17164C1C7992B75E64CD4FE2C588152BB924FDC3037DD8A9BFB95F28A5A05E0293F14073F3A9893288147600E8C5CB247A3705C26627]] FP4_xtrA = [[1E5D25059A07BAE6D6FE2D9424514D911F8540E36B84D42403742A7237E02F5F6ED82703F733C99601BE10C98E4625C41505A1534143FADC1755D859796BA90915D1DF9702D951DAC461C0BFF7811542E3,1236A73E577E4933A12DAC9FDF09D5AE715D16CD9058BC699228661994498FA49F0CA8502FC4B72A4CF3765818494A11826E759598B771DC30F706788D753228874BAF3A409DBD07D57E788D2C1B1CF5CA],[21230A7DDEF29E879F2ECD76CD59D0D5DF1BB734AEA62ECCE63ED60A0D0D4486E1B0276FD792F454014561120076D4B78EDC31B7A89C7D21B7F98CC0A2DA9C9E983B7A5030BBB1C9792653DAB7D52C65CC,1967BF617B3D968F40961EB2D9094D414C80B8C360E43FEF6A2075F940CD3A18AB86D82BB483036842AE0EBDB250A34141A7261C6AFF171BEF74C2C89EEC751B0242ADC1097EE64B1FAA474A5F2B6B99A2]] FP4_xtrD = [[223A2408FCF12FF71782ED7EA7F2C813A4DECA41D2D5FD2E53C946E4D4D657B3C27B0E69B6B61F84108EAAD36B1850DD6AE25C0A6AD4C471FB8D5110C0B7E13B81D96D73AC7A7C6977A9477D1081768EC7,0D18C1C6C0C2E71432035D2093AF750BCEA7723BB6C6B2C526ACCF87EA2CA7A0AA82A6CCAEFABC578521196B8E24B09D46FCC6B9FF72BEB977BBE01360EE560E96B586B7F09172468D752F3484B8762B61],[0199CE4CEA3F52EA7E38F9B5F58F093104414A92B13E900C9974851B4869C9F2FEEB123BD8CA5B2EBDDD646679E93CC7D9AE05BE9EE097D3080FC1DCAD993966AED38981FA9AA4624A7E227C99552E3037,062EF63A7BD8A0CF5159F76B74865E494853A617C8B825342A8DDB0DE0F39D6E2B697353D6C84BF0BB8C3EDCE4F74EF9CEA3AC3586915DDF98A53F347564E43319C6929091DCBA2DDF515567DF3DDD7D7E]] # test 8 FP4_1 = [[1E07BC29A6294B2FAAB211261CB99FA7FEBDFCE67C894237132B94F33AD5FE67D6B085CCE9EDEF48F584B7CAE10A4E914BC6B3D132013222259F1DFF8DAA73C4A1E28C8E4A4FD6DCD5953C11E3034CE02A,119A48053E7480C62453DF4E2FFEBCCC755C74EE12B0579AE20BFBFFBBD3E2E14DC8D3CE9987858268F1F00AE2DB70D92F1142D170E31AB137951442EEAA83F59278205FC19334ED272B253557A59A1FC5],[1A6E137B24526256443B1D8A42F243168BEE48875A380E5583EE7A63F68FC56618D4AE9DA1AEF0FF97F2C036A572077B1EDF2E6F9A87DB7943BFA77150CD03D00F838258798DBA6F73F33B2A6F74B2F8C6,0B1B3288978F45F4A547E80463FB2D42262F3F49C6DD90FCCC1D2C968950261DE23BFA0D08983CA3C77F461B95991B86A024C5290238C4F750772DDF6C04895AFED074F39F82A0A1A1B8B2DE40266BDE94]] FP4_2 = [[E2C67270C102C7122CA894DE1AB3D6E22C7D5DA12EEBBF0B19C118285CC8612181451435C3EA730E366EF6D27900F13C9F7616BD6F49B10E98C355702859A4086D1686326A5E01E3ADBBE4137B55FA1A,09378EDB785C5BB3B76467B836AB5AB1EEB69F8B24442822603D5FD422E9D131F1EDF9054205D4BDCC85C427489F4D76B7696C4C6D151BC2654B318D7477143C7FD35D6CC12528BE512308DF1BEB22E50A],[0BA984D37CE22C7B934F532E58CFFD4DCF228C8D1C0D83861A66BA4DB445C7A0C0AC21B81FB1FE6B5BC9442D1F9551BB3A3CB28D70769571916E62FAF1EEE5F1ED802670B5788F640118FC9CACF4C0C137,239BF92A98AA94DA6C105BD594D8FE364308358C7235EA5C230146D3F6CEC8D11C374F9EBCF211EDF770E9804B28E92A8F854F09D82C07D229C4D24F92E827C7790EE98C85A058C7F914CEDA6E56F6A78F]] FP4add = [[1EEA829C16EA4DF6BCDEB9BAFAD4537EE0EA7A441DB82DF61E45560B6332C6C8F831CAE11FB1D9BC03BB26C1B3834F82886629E7EF707BD33437E154FDD2CD68AA4FA3147CBA34DEB942F7F5F67EA2DA44,1AD1D6E0B6D0DC79DBB8470666AA177E6413147936F47FBD42495BD3DEBDB4133FB6CCD3DB8D5A403577B4322B7ABE4FE67AAF1DDDF836739CE045D063219832124B7DCC82B85DAB784E2E147390BD04CF],[0217984EA1348ED1D78A6E789BC240645B10CC140A3811DB9E5534B1AA6987F6B580D055C088DB28BFA7C43FC507592F9879DA9CEFFE70E1D3E9EC6AB0B3A9C1FD0384C41EC4489B750C13C05BE56ED9EA,0AB72BB33039DACF11584199F8D42B7869376BD5CD05FB58EF1E736A7FB2E9DEDA7349ABC4B23A4F8ADBEF77E0C204AA6F080DD2BF64CCC078F7E22D6CE4712277DF3A7B14E0F8319ACD5DB1EDF95DA610]] FP4neg = [[05F843D659D6B4D0554DF119E346605801420C19EF843DC8ECD46B0CC59606A84D4F7A3316EA24F93E8F88591EF5B17574DB528EE8FECDE6DBA50002045DCC3B5E1D9776C5F22A5B2A6AE7F4DD80B7FFE9,1265B7FAC18B7F39DBAC22F1D00143338AA39412595D28651DF404004498222ED6372C3167508EBFCB2250191D248F2D9190C38EAA1CE557C9AF09BEA35DBC0A6D8803A54EAECC4AD8D4FED168DE6AC04E],[0991EC84DBAD9DA9BBC4E4B5BD0DBCE97411C07911D571AA7C11859C09DC3FAA0B2B51625F2923429C217FED5A8DF88BA1C2D7F08078248FBD847690413B3C2FF07CA1AC96B446C88C0CE8DC510F51E74D,18E4CD776870BA0B5AB81A3B9C04D2BDD9D0C9B6A52FEF0333E2D369771BDEF241C405F2F83FD79E6C94FA086A66E480207D413718C73B11B0CCF0222603B6A5012FAF1170BF60965E477128805D99017F]] FP4sub = [[1D24F5B735684868988568913E9EEBD11C917F88DB5A56780811D3DB12793606B52F40B8B42A04D5E74E48D40E914DA00F273DBA7491E87117065AAA1D821A209975760817E578DAF1E7802DCF87F6E610,0862B929C61825126CEF7795F953621A86A5D562EE6C2F7881CE9C2B98EA11AF5BDADAC95781B0C49C6C2BE39A3C236277A7D68503CDFEEED249E2B57A336FB912A4C2F3006E0C2ED6081C563BBA773ABB],[0EC48EA7A77035DAB0EBCA5BEA2245C8BCCBBBFA3E2A8ACF6987C0164249FDC558288CE581FCF2943C297C0985DCB5BFE4A27BE22A114607B25144765EDE1DDE22035BE7C4152B0B72DA3E8DC27FF2378F,0B7F395DFEE4B11A39378E6ECF222F0BE32712BDC0B526A0A91BE5C292ED625CEA04AA6E4C7E3EF804229CBF4A703262D1417C7F450CBD2E27F679916B24A19385C1AF6C2A244911A8A4080A92537A1718]] FP4conj = [[1E07BC29A6294B2FAAB211261CB99FA7FEBDFCE67C894237132B94F33AD5FE67D6B085CCE9EDEF48F584B7CAE10A4E914BC6B3D132013222259F1DFF8DAA73C4A1E28C8E4A4FD6DCD5953C11E3034CE02A,119A48053E7480C62453DF4E2FFEBCCC755C74EE12B0579AE20BFBFFBBD3E2E14DC8D3CE9987858268F1F00AE2DB70D92F1142D170E31AB137951442EEAA83F59278205FC19334ED272B253557A59A1FC5],[0991EC84DBAD9DA9BBC4E4B5BD0DBCE97411C07911D571AA7C11859C09DC3FAA0B2B51625F2923429C217FED5A8DF88BA1C2D7F08078248FBD847690413B3C2FF07CA1AC96B446C88C0CE8DC510F51E74D,18E4CD776870BA0B5AB81A3B9C04D2BDD9D0C9B6A52FEF0333E2D369771BDEF241C405F2F83FD79E6C94FA086A66E480207D413718C73B11B0CCF0222603B6A5012FAF1170BF60965E477128805D99017F]] FP4nconj = [[05F843D659D6B4D0554DF119E346605801420C19EF843DC8ECD46B0CC59606A84D4F7A3316EA24F93E8F88591EF5B17574DB528EE8FECDE6DBA50002045DCC3B5E1D9776C5F22A5B2A6AE7F4DD80B7FFE9,1265B7FAC18B7F39DBAC22F1D00143338AA39412595D28651DF404004498222ED6372C3167508EBFCB2250191D248F2D9190C38EAA1CE557C9AF09BEA35DBC0A6D8803A54EAECC4AD8D4FED168DE6AC04E],[1A6E137B24526256443B1D8A42F243168BEE48875A380E5583EE7A63F68FC56618D4AE9DA1AEF0FF97F2C036A572077B1EDF2E6F9A87DB7943BFA77150CD03D00F838258798DBA6F73F33B2A6F74B2F8C6,0B1B3288978F45F4A547E80463FB2D42262F3F49C6DD90FCCC1D2C968950261DE23BFA0D08983CA3C77F461B95991B86A024C5290238C4F750772DDF6C04895AFED074F39F82A0A1A1B8B2DE40266BDE94]] FP2sc = [1CBCAC3856A179A1852FABCA27DCA6914CFCCB1288F868784D46E0B1899574B20F58F9725F6EA9A85F9A19040DA9B4952D62065302CD225EBCE38C7E780FE5DAA9C0B3860BB855CFD230999BA819875AB1,171ED1504708216E4173223E250C09BE8CA240D3416DA82B9E9362130F5301E0700BFF1B8ACBE7B076BCB1739177A6768C67E4A486C0FACC50A755AB3F1A5FE3B91F2954CA8BD8D1E5DEAC527A674D88C2] FP4pmul = [[047705097475B7D8B75BEFC311EA7F69B0A2CCAA2261AA3ECEC007A6091338677202BC39221562FC3D3EE85CFF817B25AA5B2FC4B2F98BE4621E6C9496B217795052ABA03F5B4BE7C5C1543897BF7D1BBC,10143954C7EB631099CA5BFA77E624624A091F15A4D7526CC43E0DAD8F2EE51E430519DC1DBEC155D9F2D6B6501BADE74B092B439BD7FED826095E48C2DF5A7222DA27338FAF3572801D6F80CB4625340C],[195C0D46236B17B63EB2DE6B44C0B1DFFD7476F052B5B81CDD85B3245E0371E4D0EEB3BF3CE48381801DEADC4105D6C3E3073B18DEF63AF615AAE612802B6B63203C144B6E1D9CE63A811CA6432BBA72FF,04340734C1078A5BDAAFEAA163BF306B1F82B7032B65219E7ED0D4688437437EDC7B4F9AFD5B57A85730924008D1403C7A0F97D5601E28EAD6260DDE7438AE3541680A8B01BF8BD86F23F3387C1720D94C]] FP4imul = [[1E3625238B210E4DAADE6CCAC9135D97F731BD4B4B7D4F81863112A699BDDB862AD3A89A614925B3B23BC5D8274825D74F44CAD7D7085EC201053BF5057FEA606D3123CAB6E4D9F1D713F05B728301C0C7,0F37F824B52F856AFE4B14634FF72997358717813EA9E53C2E53E3FE218724F8B47DCAA6302C69CA4260CFE0340015DC0792C099C535BABD814733CFD090DBB70148768F1A406ED4122D986123FB283E2A],[0502885DFE40B05BDD9DC387D49FD59DD383CEB15B44E4569B8558BBBBD24C79F9D0C64F679031B2233E00CA861E343C14F0252CB2B70023D3E8FE115B71DAB06C97DC52019612F42BA5EA07499CCC6D0B,05BE61BC24EAE9B084F7539EBBDE3CCF0B4AA90397F3F6E994CC381DC05900B0E7A3D65B3A797FF60C526A79172FC0A0DFBD575ED98D62B130BA0518D00F417CF7B2EA9F3C0E61FB6C0C9C064004E955E6]] FP4sqr = [[24D5EC6237DA17008444E24DF21DD5F5ADEBC23433A5D92113341133BAD352D653FE24E92206FFF61A6A37BB23DF7A3A9C42AD13E9B93FD61939887671E2A6815891683127F66ACBC9DCDD1125484C64,170614817C6123E229720B0FADC34CC7070E3650E2FBDEC2F7E996A10CED4B9370644488B5B0603C5B1F6FD58987425602FB5003D69B5D61DAF63DDF8579EC11CE952A9E7340E5517ECCF3DB09037E7B3A],[1C73EDE9485846D6F2C46AB1E760737581B9D26613D9B604A9D7DA22C2CAAA880B05E83BA1340083EDD46EA6A9DE515E83863A521EF813A4DEF2B570545DB43C2F53FD7E0534FE16704D609E110898F14E,0FC17AFCBA6ED2A5140DA8BFD39169C26920B0DA6895E26758C336413E26BDF8A2B934A0823047EA9644633C5D12854AB14615FD50FF6953B4523E8AF606BA86211A3F759BFB77A90BB917819BDB3AE098]] FP4mul = [[12888C6E6E0EB00751330675D1182942248E560C89281FD8AA401E977F91125384D7124992A932DCA7BE0C457730ABAAD350561E524EFF06771EC4B120CFBF8596D91612698FD21185B3EBE09ADC0B531B,1367CF313F97A7D48A0697AA0A86047D64A60DA96C3E057DDCB21399F19BC4472DA98A8B8BEAFDC1928E17DEBBA09CCFFDE28C767D8ADF813A6E1E220715BB32193AE5AA61F8BDF9F38052AEA0A12FD472],[0A0406F71937F56D9487B75BE9B69E2AB710C0FD3A58360543BA3DA93AF5D5FB85246FD083824891B0C298E055AF73DB6E06D9A649C12C1595E75E421EF9D8C709756389C3A52EE84399EDCB8EB0492265,05D17FBAE56B93609B7E21BAC2C45895F3320B960E16C77E3370D62A89FD39E1B6B0D093568C192CE448E8BD8A04B67E1046273982B5055A09D71092495AC1E021E4949F59933712032A3F730B920ED02F]] FP4inv = [[066F09E46D6C6E61EEE49DBBA222ACD1E77A7343FF994A81DC677B45554C0DAB725DB96EBC8FBEF2AFAF872F792F988AC1CAE9108E460C3B24B89A5D55A3C1806981D22A515EE127778A068077C2FCCEAB,20F34EC66A5A6997DD3B98D0BA796579F83BD2AD89CBC4668BEAE3C77EB711D29F457C8F5ED4C6879195B9A3A77F5922506F181E37BA4A55D7FBB593F86D60A1C560937EA0DB29FC4EAA6375A479D95D5B],[1A6A88BF7A0EA322C63409F61EE21C17CBA4F414B97D3AA4908AC15A99C741357A7419C0323C1697F7C3D5D2A165AE63A6021E0464309E4EECEF543E1B014BF2938B0BFB719EA929C2C2398A66E8D1878E,0D95BE86414298299D7A99B82E4434F3BE1BA1E121027A4A4BB0C31BDE0122870396738AEFEF9CBC0EA9B94CCE4BFB73508D6ED755E80422C013BD9AC180E622728B49E0E2E625A45655A5B0BEE686B98A]] FP4mulj = [[0F52E0F28CC31C619EF33585DEF715D465BF093D935A7D58B7D14DCD6D3F9F483698B4909916B45BD0737A1B0FD8EBF47EBA6946984F1681F3487991E4C87A7510B30D64DA0B19CDD23A884C2F4E471A32,01894603BBE1A84AE983034EA6ED7058B21D7ED0B5081F52500BA6FA7F73E673D710A8AAA96F19612B5DC62E3B0B22FAFE61ED3881C0A06792F2B74F2AC94D2B0E53D34708CE59D915ABCA01EF1719F747],[1E07BC29A6294B2FAAB211261CB99FA7FEBDFCE67C894237132B94F33AD5FE67D6B085CCE9EDEF48F584B7CAE10A4E914BC6B3D132013222259F1DFF8DAA73C4A1E28C8E4A4FD6DCD5953C11E3034CE02A,119A48053E7480C62453DF4E2FFEBCCC755C74EE12B0579AE20BFBFFBBD3E2E14DC8D3CE9987858268F1F00AE2DB70D92F1142D170E31AB137951442EEAA83F59278205FC19334ED272B253557A59A1FC5]] BIGsc = 0AE21098EF85CFA52D6B454BC4CAB6ACCE4EAB4D8D48985F927500D5F19CEA2B16D317DB69F82D869A7C2DE3092891E6E8AC718DC74E3420991107846C5CB8E3D5061727B041756F267C48C7A61404D6C6 FP4pow = [[0C53B937DE11FA83574FC30232E423756A1FC429A25A2B0D9C4A307131695A9FBF6A17D70A82EC6678E257CF19DC246D4338B170E6BC25091A3E5437FF3DEA34B69B164971014C061C13B5019747B81311,08D567276126654EA3CF483B8807DBCE9DCBF648B0D026C9A7F58D444DDF42446BA6B500A51AF768D1A332B78D66B62C3AEE59AEAA7D12057A0B227AE838E411F1245DA46394FCCDA336707B9386900519],[05BFFAEBF9D82E020A445DD279A5F3EEC144D7A98AB825E05A8EF1D764EE511795E994B7A2AB7C14A87CD0E2E1FDE28CE967246015EE5971A1B27127C5A3CFF18D37F7F161E8BA3B40C070522BD620E978,0B466BA36A3C2257875148C27E7C4BD8B4EEFF4187A63043272A672857E456F7354D7054238552BDFB264609FC714248C0B11D85231F5337D99F73EB1C68A64ED982A0769E8E4B48664EB8AA963C641D2E]] FP4frob = [[1E07BC29A6294B2FAAB211261CB99FA7FEBDFCE67C894237132B94F33AD5FE67D6B085CCE9EDEF48F584B7CAE10A4E914BC6B3D132013222259F1DFF8DAA73C4A1E28C8E4A4FD6DCD5953C11E3034CE02A,1265B7FAC18B7F39DBAC22F1D00143338AA39412595D28651DF404004498222ED6372C3167508EBFCB2250191D248F2D9190C38EAA1CE557C9AF09BEA35DBC0A6D8803A54EAECC4AD8D4FED168DE6AC04E],[19A483610893CDD2118B9FB60EF67834ECE15599CBF6A6E3DF5EEC9F504869FE6EA8D6AB513B8F2C967A94BB8E3251AEFA1CE96754ED409AB1C17BD5B28917E7BA577056BCE7E2FE7831A1797C2AAA5751,11B65913EA5482F1461142E59D2FBDEC3D383A68C6988B25BA13BE745CC1BB9092DE9DA5E76D37EF6695B07E44AE1E06B4842CEDBCB168E9CA3B18D733D09BF5F700E63125C6709250DDED5D2505DBABDF]] FP4_xtrA = [[1E890B1C9748DE07231C43DAD22133B0801DB9D55357B48F2C601DA34983FF53AC61F53DD87976D3A1F28195DF963B9FE8F49B6FFEA1B807366DD04E117D47281EDB9E65AFF6F64FB0F61B53442D6C0168,19D7A217810E72BD3E9261A9F8966B856CC0B5FB600FA6D990EF326710187089C480B951E58780930944A7449F0C086E6350049ABFF64F0ADCD90EC59E38E57715219636D155154E639D39AA0EC360FE22],[178BF911622C90EA87DD227C7A03349F0FDE793EFD53EC11AD568C8C23C31C1F6CD9E75B8C5C64224D919620CE6D3A9D5797F72C08001A89F56FFE90747D38FB864D832FC9B51636E3E2012EFEC3E650ED,05037CCB6F9CCB547A41D11B859E6B3334F69ABD1D57FFA4AE2D3002CBB1B66B2835590FDA65F1548FC9C59B3AFF09BA8FD7C6CE274420ADEFE6F2F41482F6A5AFAD30444CBFC828196944325EF3125AF5]] FP4_xtrD = [[0C155D9915E543B7AB202716147EDE85F83203F6133C216AFABC0A2ABEE6E0A370F2F28B16F650F273397AE9F90F42652452E7CAE5E7550D8D63398C7F2D7B1D3D93C055BD0C4B21209FACC6CC26B84C36,17D18476FF782255E0CA4EB34DC5D32E1C55557529A8AF8D33D19EA195B18AE0F8D29CEB83796979BD4FCFE3C3D060AA657AD0C10FD528086D10335B3A2D2426A9A50DE4005C7CAF3076CD771A3C4F1BC3],[095014DF90FD0B837B3AA1466D44F9A299965173F02ED2AFB1B4CEEAAF122B33F4AF4576E2E1B9FEB5916ECBF4C2604740008A711E07CA8563E9C84FD1E73BDC4E5ABA24D7CC708558338EE56EE9F522B4,01F7E00DE98D5E8E5E9D76889B87C446B57F266D8A438460F0FD8F6E505B0524433128BA9288ACEFF12EAF4F8844BC5130ED99EF3A70F33953FC7C483C078D3C1EBB0557CABEB7B44F2A59375BA40DBDAD]] # test 9 FP4_1 = [[19BA6F5D35966FCFBF365D3EA9A29DD0470910CABDC21D04005B92508B5A241A954EF805C980ABCAE9A1F4FD0849E6635DC4F9F2AFE61A0C5793433410F500606C39F5EF3DB4E6C7B92EA2EB74689A5245,2D1ED2B361827C84474294DBBB352592E1C9FEB761130BF831141E5240EE1122E38D92B0436B39E510035F8FE0645A4E934575F00BF9E2613C36F21E96AEE78CCF8A871C77B5288A6FB6D2BEE247D794],[065AA87C899C2E71112AFF8A56B2B64E4EAE7E1D37D10C88B901CBE6D89CEA8D24410CE34A9EB7D14A29D5DC93EDFEEF3FDAC869B6AE4374C54029B8AD396D66EEB681EA58C715E099E8605FF4A78D061F,180AD98FB24C2B8C067318877E0F35D8F3CFB9633E942FDEC8481BF8B267D24DB55F6115CF2B65F535480971E531BF1CBC2015FCB806E8C83BD4185DF4EB00DED6212002D4B40B7320485851232EFD3952]] FP4_2 = [[0391F25DB7E18C6F931D794C2342429C36D3988BDDC979220A34500A217F0B2F4F1A98ABB65B83F22FF8204F71EF233C65C14445BCF1140FF8B76DA3A46489C065340CA4A5FEC7866E72D0CFB181790440,0632ED4FA1E7B019BEA19BF688B9FEA7A418F1FFB2C13EDA999A3A62470123C8305141A79100D65C3F77FDA9CC6872C2259FB793027B0DF02F908CE9A720AC705332016D05B02A9CC2EFBDC424154F9C8D],[0466C5D08A194D3D443DD3475396B018932E6594A74C36323C8FA98E24F855193E97425F8779D4C3CA3288A420CC9D0CD0EF28034A2DB3637D23E7ACA0A3DA74C6B876227CBBCE50476E9DB4AA9E8BFDF9,C9790CCEFDAC4D39CADF34DBBBB4712B5B358799809903503027223C73244D91A3E4DA4DA6A91ACEC9A2FBBFC850A4F5D53D368B9F38CEFFEBF26864A9B38ADA591D526D130F4231F0D96C89426D41E2]] FP4add = [[1D4C61BAED77FC3F5253D68ACCE4E06C7DDCA9569B8B96260A8FE25AACD92F49E46990B17FDC2FBD199A154C7A39099FC3863E386CD72E1C504AB0D7B5598A20D16E0293E3B3AE4E27A173BB25EA135685,06600C225549329642E8DE8B647533CD36FABBFE6A2251E691CB4E80994211D95334CF3A41444196248801095C48D71C7432FD08F28707D290CCC3DBC5B75B57E0018BF42227DFC54D5F7496E2F7977421],[0AC16E4D13B57BAE5568D2D1AA496666E1DCE3B1DF1D42BAF5917574FD953FA662D84F42D2188C95145C5E80B4BA9BFC10C9F06D00DBF6D8426411654DDD47DBB56EF80CD582E430E156FE149F46190418,18D4529C8149D7D9403DF7BC59CAEA4A1F2AEEEAD814C8E21878431AEEDAF69B470345F01CD20F100411AC6DA4FA0FC1B1F5533343A621973BC00AC65994B469B07A3D5541C71AB5523931BDAC716A7B34]] FP4neg = [[0A4590A2CA69903040C9A501565D622FB8F6F835AE4B62FBFFA46DAF7511E0F58EB107FA375768774A724B26F7B619A362DD0C6D6B19E5FCA9B0DACD81133F9F93C62E15D28D1A7046D1811B4C1B6A8DCE,23D2E12D4C9E7D837BB8BFAB2444CADA6D1E3F01B4AC6CF407CEEBE1AE2B16FF011C726D5094A9084F043CC4701F9BAC720EC0EA2AF40626A007E70F737191187330997DF3CA4C0F75906D3401A1BD087F],[1DA557837663D18EEED502B5A94D49B1B1518AE3343C737746FE341927CF1A82FFBEF31CB6395C70E9EA6A476C12011780C73DF66451BC943C03F448E4CED2991149A21AB77AEB576617C3A6CBDC77D9F4,0BF526704DB3D473F98CE9B881F0CA270C304F9D2D79502137B7E4074E0432C26EA09EEA31ACAE4CFECC36B21ACE40EA0481F06362F91740C57005A39D1D3F2129DF04023B8DF5C4DFB7CBB59D5507A6C1]] FP4sub = [[16287CFF7DB4E3602C18E3F286605B341035783EDFF8A3E1F627424669DB18EB46345F5A132527D8B9A9D4AD965AC326F803B5ACF2F505FC5EDBD5906C9076A00705E94A97B61F414ABBD21BC2E7214E05,1DFA31831179D262C5A5A8DE5301367DEEC8E0FF70AD54315E96D9BC0BABCF5916924BEB201AA91FD9AC45D9C377F19EE99594430890EBFB32EFC80A097E4277399DAD1F27098BC3C7801D155B50FD1B1A],[01F3E2ABFF82E133CCED2C43031C0635BB8018889084D6567C722258B3A49573E5A9CA83C324E30D7FF74D38732161E26EEBA0666C809011481C420C0C9592F227FE0BC7DC0B47905279C2AB4A09010826,17416082E34E7F3ECCA83952A2538167C87483DBA51396DB7817F4D675F4AE0023BB7C3B8184BCDA667E667625696E77C64AD8C62C67AFF93BE825F590414D53FBC802B067A0FC30EE577EE499EC8FF770]] FP4conj = [[19BA6F5D35966FCFBF365D3EA9A29DD0470910CABDC21D04005B92508B5A241A954EF805C980ABCAE9A1F4FD0849E6635DC4F9F2AFE61A0C5793433410F500606C39F5EF3DB4E6C7B92EA2EB74689A5245,2D1ED2B361827C84474294DBBB352592E1C9FEB761130BF831141E5240EE1122E38D92B0436B39E510035F8FE0645A4E934575F00BF9E2613C36F21E96AEE78CCF8A871C77B5288A6FB6D2BEE247D794],[1DA557837663D18EEED502B5A94D49B1B1518AE3343C737746FE341927CF1A82FFBEF31CB6395C70E9EA6A476C12011780C73DF66451BC943C03F448E4CED2991149A21AB77AEB576617C3A6CBDC77D9F4,0BF526704DB3D473F98CE9B881F0CA270C304F9D2D79502137B7E4074E0432C26EA09EEA31ACAE4CFECC36B21ACE40EA0481F06362F91740C57005A39D1D3F2129DF04023B8DF5C4DFB7CBB59D5507A6C1]] FP4nconj = [[0A4590A2CA69903040C9A501565D622FB8F6F835AE4B62FBFFA46DAF7511E0F58EB107FA375768774A724B26F7B619A362DD0C6D6B19E5FCA9B0DACD81133F9F93C62E15D28D1A7046D1811B4C1B6A8DCE,23D2E12D4C9E7D837BB8BFAB2444CADA6D1E3F01B4AC6CF407CEEBE1AE2B16FF011C726D5094A9084F043CC4701F9BAC720EC0EA2AF40626A007E70F737191187330997DF3CA4C0F75906D3401A1BD087F],[065AA87C899C2E71112AFF8A56B2B64E4EAE7E1D37D10C88B901CBE6D89CEA8D24410CE34A9EB7D14A29D5DC93EDFEEF3FDAC869B6AE4374C54029B8AD396D66EEB681EA58C715E099E8605FF4A78D061F,180AD98FB24C2B8C067318877E0F35D8F3CFB9633E942FDEC8481BF8B267D24DB55F6115CF2B65F535480971E531BF1CBC2015FCB806E8C83BD4185DF4EB00DED6212002D4B40B7320485851232EFD3952]] FP2sc = [22FE42321741C0C6121E53097D28F838E26105868D6ECC17950906F642D9A1DC4AA6665EB842D0A4BE90FF0F1D1B0DCAAF10C5AD9F6A5065325E791A191FB61A05E40944D1DD3A50CBA74E1F111582A0ED,087527003407E8E0F8E52FAD6983CA08CABF5EB6CA7271B510895008B9B118930E59CE48BD00B2CA4ABA5B0D69489642AFCA6145D7262DB5A19E709E13AD72223307268364C9656C08CE06CA95342017FF] FP4pmul = [[0F6A9A90404A880B9EEBB7CF4B1EADAC3038CA30C5F46A945A0A3930F4D262446DE372A93CB5FC672C4979297B5E8947B3ED388A3E5072233C8A7830E2404521E2288F9F6F978E3EC4CB2E04B70466EE0B,01569465B60BA3B4C1B77BC9DB42B5B0EEB48CE3B335247962A5DF230739D4DE8499A57C56EDFE1A3446F4B0E39EF13EC0DD66A2B37495D3B4729835F53455F8E496CF939586C88361425CB5C3EA21EDC6],[081D8213CFBA70A57121E5C26A603D4875D98C718E767531B5ADB167DB3FF2787C2E502C6283EEEC641E5DA13536AD0EB79B5C9C087737AE26FDDB81C01A7E4E13A6D2F01A065E343C1E2F651C82590182,1F368634713C9D55FA4F6761586FC0AE5303E4CCB95D673AC656207D8235C71648FCB6D0B95B565E1F6F371FDA0BD4554519639A3717697BFB879FECC2D8F32A7BBCBCD8D9C8A5F09F980B1B6E519A9356]] FP4imul = [[19D37AE9ACB37E7DF9B2DEB54D14EE8238485953D1CD682002DC928458B50783F677C02E47CCF90C48AA6734424F32F92AFDAFB4F830D035B6458398AD7EC30361CEFB609C5D3025C9746339E0B0BA31C9,0168F6959B0C13E4223A14A6DDD9A92C970E4FF5BB08985FC188A0F292077089171C6C95821B59CF28801AFC7F0322D2749A2BAF805FCF1309E1B790F4B5773C667C5438E3BDA944537DB695F7123EBCA0],[0ED543E44CE173888957FA12B595B2727573E7E9527AE445C80E5F36C47B4F58FE08671A541DAA481D3A6EC09F6FF7733E343CED9A721B9D28BD2FC3D7C32B3775B3EB4DB5F6ADCCCF42DEF8E4B86350E5,0C56CC7D92615C603398B8FBF079AEC79E7D9E17D85DFEF64240DFC59122791CF6FB08AE7522CA5EA5DB0ADB298DF8C41DD6900539374614D84C2CE7CD2EC6F6B1084BFD5456558102420E6756E3D16A31]] FP4sqr = [[11197B27CAEB68A393195F7D35BCF2015A011237AB168E74E2FE0590E10DBA21BD206012F69918A41440C10999C84AF88009943F1C0DE252F7823B5E78962B8BE1B064AA82AD7CE23AD4F93D9996868CE1,0C85B124A3900555309B75D5997BEACCDC4D5BD67D59C7CD7FB531A7547D6D9428ADB856B13D085937EB3277DFDEAA04E41F55F27B7D90158AD306A8933EACF8F77D44F4B80F1ADC040689F9BB43F69ED9],[120DFA87334F72148AD24C98A22C177107FA59B82F846BB8ABFCDDFC3C07579A02388E1021107CC7C8FCC3B012050B2B36D24AA4E8FCE91141F3FE619E3E997F1BE8B9797BFE79CA865F4D1119675F4511,1CA881F7628590D1E9D777983DB633C671B5D802DFC245F27895F127A1FA33A9AA4459255A2CCFFDF1D16D2F8A35835515FD6F020A995F9320199710E2914B3F975D26D1F40BF3E4B7A40731D9ED96EC35]] FP4mul = [[1AFA25D4F2670977C0C8C8C70AECC15AAE7E6C46639E0F516E0177BBB9AF4D13AAF994FF5098A6DA5829E3DE1CB12250050E2408F392E67682C22B4E210DFA1C98966AFE3EA28617905F03CB21A2D5D83D,09A444256C5E845A6D3ED27F385FB31CBF7609CCE48CF66BAA5EE2448320DFA9FEE77D8955D3D764E457E0228DAAFD92131B903172E177D4333B153CEDC50578D731B6BCBA68744A54CBEEB671CD065F27],[01F5ACC3F86E036BCC7879E4AA84C84F73A1A2D550721FBBE3D8589390A30D6FA0A866882C5953A4B2F922DB2A0D3999405195E5008AE7FCE636D178ABACBA13B28CA84B4AB15C693542F34D342DBF1CBB,14222AC89283858FA52C235E419B0386312161D3186CF8E4BD95227BADD3CEA29CC681F9ED4FD514DEADA014BB4E4CC8F29566C743CFBDFFBFDB0886C96C455BE6B2FB35FB30788EA46CD012BB1BEEB354]] FP4inv = [[13F29A389317BDA5401199E2427C4A33D1A3B1DBDCFC585FC270AAECED9584DCC5C76CB0FE3AB40A5788603B2A3E98D6C5D6235DAAB91C562179341003A7964666271D6C1306FEB9ADBCBC7D609D6B0286,06DD2D89E50D317F3CD54A926A3316A37EDE422676206F6A63857FAD387E92DDC3C5040F822A8E16C4A5EEE82849411E403F142FE55E6515D130CB1EC4B310B142F1BF84F2733DCF06D81103E3238A023B],[18D214053C69081DA628FC294184E2D683E0229084332D8878FFDA3DEB596335BBA043C0464AE7C6BB64C3589A61B52F87D8DEC38CB7DC60501C4D9B77D93FA84120E7EA44E997D1314545F6A83753A9F5,1A1C299D0AB16E6ED27DD73EE854F1D64E4CDF53A8D17D9150B7BE4AC19D8B459EF1330D543B214DB70890FD71855C6845DB9B0A080877905294282C31605F49765524C31C79711A9EF8AA08AB253D0DBF]] FP4mulj = [[124FCEECD75002E50AB7E942D8A380755ADECDBA654A5CA9F0B9AFEE26A11D4F92E1ABCD7C4B661E48F60C8EAEBC3FD9445CB8CD19A75AB58AB02F5C4A56AC88189585EC94550BA579A02C1591FC94ACE0,1E65820C3BE859FD179E1811D4C1EC27427E378076653C678149E7DF8B04BCDAD9A06DF919CA1DC67F71DF4E791FBE0BFBFADE666EB52C3D01144216A2246E45C4D7A1ED2D7B2153BA30B8B117D68A3F71],[19BA6F5D35966FCFBF365D3EA9A29DD0470910CABDC21D04005B92508B5A241A954EF805C980ABCAE9A1F4FD0849E6635DC4F9F2AFE61A0C5793433410F500606C39F5EF3DB4E6C7B92EA2EB74689A5245,2D1ED2B361827C84474294DBBB352592E1C9FEB761130BF831141E5240EE1122E38D92B0436B39E510035F8FE0645A4E934575F00BF9E2613C36F21E96AEE78CCF8A871C77B5288A6FB6D2BEE247D794]] BIGsc = 180854B1E32A406CF1D54E0374EB50FB452233B8A29821C41D2D1E2BC2533B911C128E924FD50CE65E281921907BC78AECFE12372526D7610564BAF5BD40C433680336059D6E20B6372C6EBAB39F2FEC2E FP4pow = [[152EC692F2AD2C1039B9B3D040931A544E014D43F639560DA06FEE50C5A38CF15388D6D2AEA6E5A4F1B4C482252C5A21FB5033A5489DDC8E07962BB98B9AE9B3E2EC193C15ECF5A5E8EA35E23BE5CD3811,11C005D6A667FE3E2E3913B749C5F5608A8EB00321A33C289AF25AC246BC6BFBA76AD1D0A43D479F879BC71B797DEEF99DE09575F0547EE017B410A29B537343A9DEF23F61DD0B62ED94324B2F9ED16D23],[19F5519B24D3750077F2A233C8ABD86261D9BCBFF1BEC7F5FB84218381EE8607073358CE45529E6DE9572FA5F7EC0B2E6CA4B26152F5A0D1573786D7C1198AE7CBC64735D014EC8EC0EAEDD13997A331E4,1799F9DFAE824A12D436509D760D24B1044DE3D2B9C91E06373545D10AC5D13D223B73EFD0291DC722A7024A9CD846B066247C6A4F1A07712EBC578FBFA3120FC350B402641E8A3ADDBFDB4C957DFEC626]] FP4frob = [[19BA6F5D35966FCFBF365D3EA9A29DD0470910CABDC21D04005B92508B5A241A954EF805C980ABCAE9A1F4FD0849E6635DC4F9F2AFE61A0C5793433410F500606C39F5EF3DB4E6C7B92EA2EB74689A5245,23D2E12D4C9E7D837BB8BFAB2444CADA6D1E3F01B4AC6CF407CEEBE1AE2B16FF011C726D5094A9084F043CC4701F9BAC720EC0EA2AF40626A007E70F737191187330997DF3CA4C0F75906D3401A1BD087F],[0980AB136CF36B6AD3B2C02552CE35007CE5A3D4682E25F3FECBA4EE7133300A0A8592D02C8C371B2F6F1CDBACE7D2A74EDCE776E3247E4B8CCD3208BD2C6A5C1586CF782736D221648CBFCD69DC9BDE7E,0869DD2F2A9C98DD669A9479F3A12C79E7E2F2AC1FBD3C326192EE7964F47C47914CC9E2B0486F3486D8F0CC842D580D693D07DAED8060D5133EECCD8FAC49EFF8B90CD445B28C4EFDB0773F0EFEE095CB]] FP4_xtrA = [[058F90712277AEDE28409C5F35941B5222BF7066BB91CF56EB549757201D267D0ED3C34CF5DEA03A29864A8B0CE1623347FC002A41FA7347B78F24339F487856C6F2E269EF77E8A22183BDD13F48189337,047D40E7CC5E6489E06FB0D003DB4660B9E4CA7FC9EA46A241A3AD722EE7B9BD8587D5DDD54CB79F8412E4025C90DE8B9E67E8EAC7D9D778849B851AB0EA9A3AF73C73CE43BB767115790F6AD7EA6BCB35],[033A61652D2ECF7490A59AEB30B66AFA7C1F395394F0A38D99EE67415EC0B83D235000D23C81D7A8846B5C93B9DA7D856A1B0C166D62EF1D7AE46A0FAA0BCF752CA36484AF21C47B109C4806C8354043AF,1572BF141741EA64DF6DF30A0627B7BE99CC0178B5227F7F4690A979002918570358B07267DC51AAA9FFF12C7EA272160BB4EE1B62EB57B9343A1230DB9449782FAB5CA655ED8B4200739E9D0C1699B4BD]] FP4_xtrD = [[01A49C6D5FBE890414ACA73FE277B660CBEEF9A29B9FD46CE246E0EFCAC576FCB6827007646FD5507511173389347E388521A6B9D741AE43499FD2F7E8B46ACB093C9CD11785B08AC877D76D714956C86A,0C2B737F3CCD005C280CF0ABE2058081B689C7D90E97A1B58F53096AAFFB9171E2E69D3150B631E56DCB2BB8C01DE15046F8CB069B659C50C85A98C456114F29DDDE2FE67F1FB08AEF271C543D7F66EFB1],[1EC34B804687CEF6AD284BAD4F91840DA55755F29F2684CA1E0075C9ED412CB44ABAA7D6B64DEC6A5D506F6939E10909B687DB7856596FFACC7451D2F8B1744CF955BD4E2D8CA58BBA300DD102B679514F,04BE3516C71DE7E9F6BDA42739D49F78595538C884CFA5B00926291905F1CE24CD031B50F6D37363F438FFCB549901810CF98E3B44A7311195398BC9A856CCFD439F1ECD7CF0085AF8346FC69F43879EB3]] # test 10 FP4_1 = [[0F30949CD255EAAD9EB5C4C7B66C3179D37548A2E6468C655516F714CCE4A2929EC9ECF9BA469645D212CB04AE195A7CD06B068091162182AC3B4E9028F94C0D3FEE647323D9205EBFBA97D7DE89FFD8B1,03331DEDA7543367E3E118CEA6F07BA344A288222FA3FFD915250A64BBBB9247C55A8C6F5E895492FC1B9BF1FF9053B5D6249596FB846501CA52802D860566B58AD00AAF35BA97F794E98059314D82BA3D],[0847513303DFC18CBBA13805903B3CD6B1BEBC05AFC5CF3749519AED42866E913274852908759D4E8992DC906DC8EBF545A8C72365172B7D7AA098414163338659FB35D84EF274C8A575EC82D67F0AB782,11968A4F7CF81368B907C80AE6304A6B354B120F1E5E868B67B65AB7E8DCA7832716EE5532C09F20FADB080995A88E896FC0385A23F84A3839ABC7242AA3EE764D7FB9280DE686EC527EDC00DA6ACAB960]] FP4_2 = [[21D79F8D6E49AA0C43290A5D763B9C100B132574365A0469652C36C5CF61053C8555EEC7CE340D7026AAE6D2ED36903C350499F784F3750AC53D80F35570C713B44AE09AB4619C57E278BFB221693783C2,1B6EA160B12255CD51E048B18FA070E85336579D79E5478AAA883F6B6DDBC6D625AB2B9C64D15D872F34B01EE8B083E21065C2517846F1FC414FB195A6D3C609D519FAC964B240641A9168D042DB32CDC1],[0534E8E3124DA5420B37DFBAA7B812A17092720E0383D5777087CA884B7075CA545A11DC94DB21B550A9950EF1B948B7DAA18AE6A0F9B6D970281D47506B4285862CD7F353600F8FAD9026C23034D31EC3,0ECDF966F0F4D4CF622ED536220E859057335C3F349DA50C6060CED0BED2DBC964EB44DCB6D7E992AEAFBA853826FB3E16651413FDE2768A538A532A9B56D25AC50AE87401AAAF2470004B24EDAC98665C]] FP4add = [[0D08342A409F94B9E1DECCE52CA7CD89DE886516B09310CEBA432DDA9BD9A2BF001FDBC187A28F73C4A971B39B4FEAB244CD9A17FB0996847034B181EC61D320F4392108C7F8BB7EA23333833F6F327C60,1EA1BF4E5876893535C161803690EC8B97D8DFBFA9894763BFAD49D02997591DEB05B80BC35AB21A2B504C10E840D797E68A57E873CB56FE0BA231C32CD92CBF5FEA05789A6CD85BAF7AE9297428B587FE],[0D7C3A16162D66CEC6D917C037F34F7822512E13B349A4AEB9D965758DF6E45B86CE97059D50BF03DA3C719F5F8234AD204A520A0610E256EAC8B58891CE760BE0280DCBA25284585306134506B3DDD645,206483B66DECE8381B369D41083ECFFB8C7E6E4E52FC2B97C8172988A7AF834C8C023331E99888B3A98AC28ECDCF89C786254C6E21DAC0C28D361A4EC5FAC0D1128AA19C0F913610C27F2725C817631FBC]] FP4neg = [[14CF6B632DAA1552614A3D784993CE862C8AC05D85C6F39AAAE908EB3387627D8536130646917DFC6201751F51E6A589F036FFDF89E9DE865508CF71690EF3F2C011BF91EC68E0D940458C2EE1FA050762,20CCE21258ABCC981C1EE971590F845CBB5D80DE3C698026EADAF59B44B072C85EA57390A24EBFAF37F8A432006FAC50EA7D70C91F7B9B0736F19DD40C02D94A75301955DA8769406B16A3AD8F368225D6],[1BB8AECCFC203E73445ECA3A6FC4C3294E414CFABC47B0C8B6AE6512BDE5967EF18B7AD6F86276F3AA816393923714117AF93F3CB5E8D48B86A385C050A50C79A604EE2CC14F8C6F5A8A3783EA04FA2891,126975B08307EC9746F83A3519CFB594CAB4F6F14DAEF9749849A548178F5D8CFCE911AACE1775213939381A6A57717D50E1CE05F707B5D0C79856DD67645189B2806ADD025B7A4BAD814805E6193A26B3]] FP4sub = [[1158F50F640C40A15B8CBCAA40309569C8622C2F1BFA07FBEFEAC04EFDEFA2663D73FE31ECEA9D17DF7C2455C0E2CA475C0872E92722AC80E841EB9E6590C4F98BA3A7DD7FB9853EDD41FC2C7DA4CD3502,0BC47C8CF631DD9A9200D25D17500ABAF16C398521CC384E6A9CCAF94E4BD081C3AF60D2FA900B4E00FB2BF716DFCFDA8660D9A59E3D730E8A46EC997139E0ABB5B633EAE14A58CB7A583B8FAEF654CC8F],[0312684FF1921C4AB069584AE8832A35412C49F7AC41F9BFD8C9D064F715F8C6DE1A734C739A7B9938E947817C0FA33D6B073C3CC41D74A40A787AF9F0F7F100D3CE5DE4FB926538F7E5C5C0A64A3798BF,02C890E88C033E9956D8F2D4C421C4DADE17B5CFE9C0E17F07558BE72A09CBB9C22BA9787BE8B58E4C2B4D845D81934B595B24462615D3ADE62173F98F4D1C1B8874D0B40C3BD7C7E27E90DBECBE325304]] FP4conj = [[0F30949CD255EAAD9EB5C4C7B66C3179D37548A2E6468C655516F714CCE4A2929EC9ECF9BA469645D212CB04AE195A7CD06B068091162182AC3B4E9028F94C0D3FEE647323D9205EBFBA97D7DE89FFD8B1,03331DEDA7543367E3E118CEA6F07BA344A288222FA3FFD915250A64BBBB9247C55A8C6F5E895492FC1B9BF1FF9053B5D6249596FB846501CA52802D860566B58AD00AAF35BA97F794E98059314D82BA3D],[1BB8AECCFC203E73445ECA3A6FC4C3294E414CFABC47B0C8B6AE6512BDE5967EF18B7AD6F86276F3AA816393923714117AF93F3CB5E8D48B86A385C050A50C79A604EE2CC14F8C6F5A8A3783EA04FA2891,126975B08307EC9746F83A3519CFB594CAB4F6F14DAEF9749849A548178F5D8CFCE911AACE1775213939381A6A57717D50E1CE05F707B5D0C79856DD67645189B2806ADD025B7A4BAD814805E6193A26B3]] FP4nconj = [[14CF6B632DAA1552614A3D784993CE862C8AC05D85C6F39AAAE908EB3387627D8536130646917DFC6201751F51E6A589F036FFDF89E9DE865508CF71690EF3F2C011BF91EC68E0D940458C2EE1FA050762,20CCE21258ABCC981C1EE971590F845CBB5D80DE3C698026EADAF59B44B072C85EA57390A24EBFAF37F8A432006FAC50EA7D70C91F7B9B0736F19DD40C02D94A75301955DA8769406B16A3AD8F368225D6],[0847513303DFC18CBBA13805903B3CD6B1BEBC05AFC5CF3749519AED42866E913274852908759D4E8992DC906DC8EBF545A8C72365172B7D7AA098414163338659FB35D84EF274C8A575EC82D67F0AB782,11968A4F7CF81368B907C80AE6304A6B354B120F1E5E868B67B65AB7E8DCA7832716EE5532C09F20FADB080995A88E896FC0385A23F84A3839ABC7242AA3EE764D7FB9280DE686EC527EDC00DA6ACAB960]] FP2sc = [1FD1CBF04643B2511765FCED0B25D09650660D6B3921D537FADBDCB1D8D0E4DBA0F2D068B74A470B7A43F75E4DF041FA9A4A75CABB1DB859C6EA69C359B17E904E60217C07129C77FC9D9A3BE7B47E7D27,19EC54D71BFA765D9EBD7BC03849119BD763A09B0F0805F8FB89EA178D227A5F601426B8829427CE99E8A51091C2CEFF8984F1E450744E6146A29D2841EEA62002EA9D444FD67BD8C4B87920190C5B93CD] FP4pmul = [[077E0A3EEF11CB709BF3BFFB74320C36679BD1CE561C289FC2FC1E1ECA0DC9DC423C7EE40451BA39A2D2C0A96E2DAFE89DD6C7DF856B27B8C11C617EABF88321551338AAD9285BD6E5D1B9A690A1DD7707,08DADB1E27090234E6CAC37AA9BDD7A056E8120D7BFB2AE659A63CDC2C01D968284856160894E735781BA6FF17E9A92D98C2AAD03EBAA09B87460F8946FA2145FAC2406AAEADB8DA31660B7BBFF6EDA05B],[23EE5773EC7626AA76FF518B7D3F42253B37EE4F6706AE497A452EC442A9437C0654C9412A18922BEB5837D6292CC366A6370F4FACBE0FDAA3AB1C9CB85FBA37B2771D08D82B799D7F85B28F78F62D9A3B,06D0C84F2F9F8812763F9FCC43A8D91D698426899767D4F3C7126F57710809B5D0984F53F626B194ADC76C39096D2ABAEB6ED3F923C88D24EBBFA7FC61695A56D6ABB0406FB08381F71E50C582C92B948E]] FP4imul = [[1CB539836505401A9463E44569CDBD486F1F72B8D4526F8FFDCEAFBB32C5A7F7291954C789F30BADC66C62BE1EE42E4F11DD2764C8C72D7D0A49690CBAAAEC773F611BFD11DC1FACBD8EEA82914DEFFE00,1CCC0D5AE1F5CEA702E9DF43DE7458BD69B6C933ACC3FEA1BE4D5D8A99982485F02EEFEA52D3F92ADCF87B81FC12F1648749424ED7A78D101CE68199B6309C61E1506028E38F57B43C358322BBB9988C25],[0281DACB22DDCDF298AAF3B21215238C3FB48A3255D948F193DE725755E1D8FA7E18AE714A725F3E6E0140CBDC104B91F1AAF37E57D087574D1D1E48286C4FB929D49C90A602189DD125088C096F56B36C,0E4ADCCB64B8AEAE8145FF6217B29DC4DFA37E86611CBAE6A56930772E11CF5BCFCE60FEC5654720016247C642ED02B9EB39E1AAD7BA9BD601F9883F37A26228B97CF2543C12B96EE6752BECABB10D0414]] FP4sqr = [[07EA7E48F678BD7473A072B533D749A63224FF0DE5E3AACC021F02AA79A8727393588004C3F5558628E86C128704B281F3F8EFB16019A171F17FD07C5D160463A09382EEE53BC1C1C5A0939148086028D4,0A6A1906F233198C7052F8DFB0D3DA6A439160C260C9897F2E82F84F88A52DEF5B12CA33113F26492B769854A85B8F2E06F42CE6FAAF70E360C00AC794CD5AD927E7662DF4712CD5A9C43A95DFF7E1F3DF],[0CBB761FA48B9D849F1B62E392112A0403776ADB116D7C32EFCCBC5AB79081B5FE804647104A1E2FA1B4480ADA0C54B525C28AF57C8C3587B01A268366ACFA9FDB0A1F299278004D059B3E6FEE8993A08E,1B098EC99FD74034C995AF720C7666E9FA90F2D739EF2AC06D1B12AF1B5736771B5D492E736B948239A42828C4F86E66A1B5C25A7F5C6E8BBE3F6037248A8A14D61D358E691FB750666A119C12BD5DB5A4]] FP4mul = [[19212D80957B1C06B60E5F5AEB77B89631C39C776A0A19F14171CD183CD071EAEE68EF5405D930D920546E4666A83CA0B5FA33CE5282A85CBED54D987E58A545227DEC9F0A5796A8491D51AF437EE61AFC,18FD392E76873895123451FA88CAC1BBAEA7CFE7DE6A2B4833060E6B6B42E9295C49DB3B65C86405E38FE161D75F446C6DBDBFA5391A3FC043D085CC74F559BD85F35D7B21CFF1A5BF20888FD33440537B],[195EEC0A92C3B06404083DDD0A6A7F43CE6834D30627F74F93819F83B0D4F1FF52A6FA54D92F91100332B4AD792837AA1FFCFC6D49AB6FFBAFA8CC997BF87FB9906F4725F9836C4F6D2BEFB5BB3CCC0B98,1BF6245A6BD79082D28B57BAFB2D4001848C4A01231879FD2878F6C3C4BB012FA3778DAC7FD4C864A55035B25334743CFE00FA3E4152235B60FA1940A616A22833C8A083A0B5D22F00695D38E6A1822BB7]] FP4inv = [[1A0705AFA94868546507EC20F33C4A10D40C575478CB347167F684CD4E548C19F67A4BF02884CA74204ADC2F213B73B17BFE3802793F02D6C524C53573B7B8C932E49F5F5CEC160D65A91D86A67F5936E7,23E4673587AC6A701DA0BDA0B18F29F8D47CB2A582CAA942F8B3A7B25016953B1059A21C3324F3D584DEBE37946468DCEA48CC54546C675AF5C0E296E47DDCDA5EC5622FCD72B427AAF9EA659DD4370B81],[0354AA6C8283A5674A7D358EAA3774B16ADEFD2276FABD07FF3F8A2DE5742F68D6859FBFE1E59C11B9EE80FCBDBBD90D0AB40696DAAB4766268743CF427D52962A54D10C5A7FC2E74A3F048EACB2D65F79,1ECBCCE9413452CA48E674EEBE7809625FED6DE2EDD69C5414E59B32FC570218B21113D1474B3AA25D7E9CF493262EE2AA1770AC3FFB80EB4E5D81C169B571275D6A4CF3B61485D2EF127CC50BBD8349BD]] FP4mulj = [[1AB0C6E386E7AE240299723AAA0AF26B7C73B2F6FD74C8ABE19B40355A15CC1E2F5D96D3D68D126FC2CC14AAD8205D72968A95295C1EE14E4238EF1EA8C785100C7BA0B5514DEF1452F73488BC9844DE35,19DDDB8280D7D4F574A90010766B8741E709CE14CE2455C2B107F5A52B631614598B737E3B363C6F846DE49A03717A7EB568FF7D890F75B5B44C5F656C0721FCA77AEF005CD8FBB4F7F4C883B0E9D570E2],[0F30949CD255EAAD9EB5C4C7B66C3179D37548A2E6468C655516F714CCE4A2929EC9ECF9BA469645D212CB04AE195A7CD06B068091162182AC3B4E9028F94C0D3FEE647323D9205EBFBA97D7DE89FFD8B1,03331DEDA7543367E3E118CEA6F07BA344A288222FA3FFD915250A64BBBB9247C55A8C6F5E895492FC1B9BF1FF9053B5D6249596FB846501CA52802D860566B58AD00AAF35BA97F794E98059314D82BA3D]] BIGsc = 8D8979A4655763FB2FE4D755952FC49F45B137168CA159991FE42F76C5B161C9FA182AC4AC78538C763C00E7588E90658152BC740C6782B5B2408B463A23180B8A93CBBBBB4F3141BDEB50DCA682A70C FP4pow = [[09CBBBD76ABAAD5144F3155C54420060EE3FD9D0BFCD6ACA3C11C6326E333A9470182732A702A40C8D83A793B4BD3050031D4EF805D45212649B199031B1796D458751D313D9CCC8595411B1E8F09BEA9D,1A1208797B3EFD3DEF4688122A29C5D2E936040BEA079A8CA01C0190D054303CCBF9515CD6C3B1A0AE2A7DA992156878C397F7CCD60C78AB742A48FE754591B8C6E3C2278BB2609A737F8DB75842198AAF],[20E8B863C53EFBCB1E6ED78C87B2A24C0763FFB9529721CFC22714AA16A95AF443FEB9C419B82672D8E25082DF0A6CE8499E8BB920922A491B3C0AF237F09D454A7C4750392CC035ABEC0C4608F665D87C,1D6D847DA302204333EAFC371DCFBE78F87E634BFAC9D682EE4A58DEA93C724BF010A5E8D19F04A0510A30358641C2FAC77138F1F93B8132862E8B68D037609E679581D925BD1068AAB812CCF1EA72DAAB]] FP4frob = [[0F30949CD255EAAD9EB5C4C7B66C3179D37548A2E6468C655516F714CCE4A2929EC9ECF9BA469645D212CB04AE195A7CD06B068091162182AC3B4E9028F94C0D3FEE647323D9205EBFBA97D7DE89FFD8B1,20CCE21258ABCC981C1EE971590F845CBB5D80DE3C698026EADAF59B44B072C85EA57390A24EBFAF37F8A432006FAC50EA7D70C91F7B9B0736F19DD40C02D94A75301955DA8769406B16A3AD8F368225D6],[0240E2ECB34FB51F80A495B22B7C4F16858CAA4A8D0168AD2AF3F39B94D34DC03C5C0E47E39E0FD03C89B133F9BE4A0A9EFEA4C73CF7491325B5ADB293D0610839300F1B80184F4142C0163AF9C15C70EC,1AFBDC1E3CAE26779A67F7DDB29EB8D256B25A48E59527520237D893A12411A61ADA053D81092BB8900B900CAC52D4D0E7C90904A5EB9566CB746376CB610923B4BCC07F50EC62E16109703BADFDC8B85E]] FP4_xtrA = [[1DFBBCA934778446C4DBF3A0B7A96A72390B97A8B7BDA50A7E42EFE25B5FEACB246C3906A872CBD4E67BEA6CABA8816F2CEDB4CE9F034D73B4BF989956873E5EE50C8581D6F7D12D092DD7F6598C607318,0D1104DEE6A86EDC9180C771F54B4BC8DE56A8FA3936674EA1B5C7C74C246B5A274FB2CE5835F557F5378BCB43A5D2C4A401EE1203340395D79E736B5DC015E7DD08D176DDA54E6782E773B2F5D16194D4],[0D25CE04CF6B933967DE825CE63A7AAB0CD4F83C573B204D22CE7F6ABC9D25EA88073AC3768CE97BE3CE1B0DE24A3853DB7C6E8819CCFDB4B8F3BC9BAFFC621F41DF1EA1B893FBD1AF1EC15359219892DE,02D54AE1E9244D44A2FCB341AEC6CF42581C31E759D8D72A3E8EEBD76AF6C888B70D18AF54D39822502D505F41898513A2557AF3C02C638B807DCF75AD63E491160408D54186BD9221B47CD6D9F14CD282]] FP4_xtrD = [[0D89550F51CCE8193634EB65C6FEE6B28B3A76C88564120157F11480E04B325E79C4A61150403D3CB8D7162D2AD1FD8F13C4E91058ED5E759A4D515D9D2BAC4920B6DE0DADCB823C462B87E84B78655785,0403DD2BA38AB2BCA890C74262F2E323BA4C507E018189CD0438E386112E095FD05DB154542C7D23333F6070A93AE7C25AAB01B903A6A6DFCC1B0A6C88C28D6E124750CF88FBFCE67FF139E37D5CDC7F65],[1D4A1885AC4B209E165DD2EEB287A3B166F4E2E670F91AA1826FF2353C9D5ED863695099213558CCB4DA012BB59E2C9FB114193C46BA8C82A55B5705E97361AC8F008ADA305CE9DE508717759B87A90F92,1A36A36899C767063BA53D47D8D6FBC065270DF50A9EB7D73C87C81EECA4806D458B25D8D814BE81FB45F817F0498B72C0942CAEAC4D02F33052D07DE7CA2701711C83D974AAC3F10B67A597070EEE4851]] # test 11 FP4_1 = [[08DB2B1A7E9347BC90CF1046BFAA60C978E7AB78498106BA6DC60DBEB4A95336AF03B77F921EEBAED44EE6679F3BD492F182157779CA36FFF86EBA1996AA0097AA870F039A6CE84132C65FCA0BC229F72F,71814F37F7568FEB3BFA99C0484996F872430E9DAD412F4BD189FA8D1C94168F05596A4BB87F3890655310BC9593711208F473B77DD7525BE0DF67AAE8BCD5B10B0CB7F955E1A6D834473114F733DE8E],[1989C92B05763E4B15FB5F22F05BB4F17E75C4773367BEEA70E2778A0CF79136A67BEDA708AB955D4D71A9B4233B29D332EE8AC734A637F037E1DB3DA868FB85CDB98A3BC7227510BA41F10D78B2E8011F,2441A46A24CA9DCBCDBC68A81033B2A4892B39F034E66F6B2E2688567B6A702AA8E594CEFA22610B02E5636786A107FD7A9B987FDF9C97025150C705293B846E0E0C176DA4C8CD743130B3DB2352F90B]] FP4_2 = [[11BF73E995D7444A87925F10F1F8AEF92FBC8C298339F2F75B3825C0F73B3FF76CCE3B7E47596174C32373127E25982EFD830FED05D422EF43BE5BE8A3B7555D467A84003D05D395AD4B3C8B7AD895DFB3,1F6F576570A9EF4A486244E6DE1A760E10D8A60F0F71209B11FC25F109EF6AA55B839B51532D416253DA4AB1EDD829363EA9083C948471A0E1B4654D9442DF6ABC628B640546109AA8195D8F2E9989A5BE],[22F3524F6AEE41AA73221131E17AD0CA3C35E3E2F59A2744F1AE7AAC21822C98D0D324EA6090EFC924E1AF364B10A094AC8FDD883A67BB144020E81E543D059B1B6E2E3B80CA7BE295900DEBF3BF840830,1C111EAD09FA993673E1C3A1CECA0D7438D3F4FA8AA4E1D3C206F40A081818F3C0A5D069B69558D0258C70D98FD2AE4668AD29DE1C13CF94CAF8E9E34359B11963F23B87C41814B482F1408ED0F3A985F6]] FP4add = [[1A9A9F04146A8C0718616F57B1A30FC2A8A437A1CCBAF9B1C8FE337FABE4932E1BD1F2FDD9784D239772597A1D616CC1EF0525647F9E59EF3C2D16023A6155F4F1019303D772BBD6E0119C55869ABFD6E2,1FE0D8B4A8A145DA339E3F809E62BFA5094AE91DAD1E61CA5DCDAFEB970BFEBBEA88F4BB9EE5C09AE43F9DC2AA6DBCA750B1FCB04C0248F33D9544B53F2B9C406D6D981BFE9BF241804DA4C04390BD844C],[187D1B7A70647FF5891D6E14D1D685BBBAAB9F59BCF4662F6290F2362E0DB8BF534F1291686470E43E3F18C66E4BCA611EDC61EF540DF2FB76BEA55A6A9DC120E927947237AAEFBB4FD1DAF2ABEE67293C,1C356051741F63D43FAF800A76DA4126DD5D20347AD9C8432D351A925E938363EB4EB5FE858F7B31308F563CF7594F4E6627C5769BF36C2BCD4A3AAA4882EC9DD200479F31BCDD81F7227142AC16FC7F01]] FP4neg = [[1B24D4E5816CB8436F30F1F940559F3687185D88228C79459239F2414BC2B1D974FC48806EB928935FC559BC60C42B73CF1FF0E8A135C90908D563E7FB5E3F685579150175D518F6CD39C43CB4C1DAE8E4,238E7EB0C808A97014C407A63FB7B669078DC5F1CE603ED0B42E7605734F70F994FAA695B51F9509A3AEED13436A6C95AE9911EC638228B6A5633E99E71F832A4EF5174D16EC1F9127CBDCD5AB8CD10185],[0A7636D4FA89C1B4EA04A31D0FA44B0E818A448938A5C1158F1D8875F37473D97D841258F82C7EE4E6A2966FDCC4D6338DB37B98E659C818C96242C3E99F447A324699C9491F8C2745BE32F947D11CDEF4,23DBBE5B95DB3562343245D757EFCC4D5B76DDC67BD8999094D1D977A9F09A9FF9571A6B31DDF1E129115AC098795EFEC3276AC79B206371FEF2CD3A8CDF047B91F217EDA29D386A8BCEF352E560B1E708]] FP4sub = [[1B1BB730E8BC0372093CB375CDB1B1D0492B284F325493C3128DE7FDBDDA184F66357C014B9D9E7C453FB37921163C6AB4A10BEA8EF61419B5F47C3284FAEB3A640CAF086DA915E3857B4745516D98F78F,050229E9C74D6745A2D9B7F2E22DD388E799A5FFFA49A09439D5640983992E815781BE18F9635218709F4882CEBD6A419401F2973DF965BA7B70981BA8AE1D6AF4A8A5590451D244301B0DA8A6E1AF18E3],[1A9676DB9A87FCA0A2D950310EE0E427423FE994A9DB17A57F33FCDDEBE169ADF9A8C8BCA8F2B9D65CA43AA1D82A89454700B39F153E7CE4F9051120E63435EAB24B80055699FA6624B20728457768D902,081322F7602A316757EBFB06D946263E6BB53F3FD19D849BA927327E4ECF568C8E03152B193CDDD3198AB4ADD7B3F2C8556F781A7ECBCD0B389C84E553D7CA6B0A1BF494B9CEB550F140142BCAB3AE5328]] FP4conj = [[08DB2B1A7E9347BC90CF1046BFAA60C978E7AB78498106BA6DC60DBEB4A95336AF03B77F921EEBAED44EE6679F3BD492F182157779CA36FFF86EBA1996AA0097AA870F039A6CE84132C65FCA0BC229F72F,71814F37F7568FEB3BFA99C0484996F872430E9DAD412F4BD189FA8D1C94168F05596A4BB87F3890655310BC9593711208F473B77DD7525BE0DF67AAE8BCD5B10B0CB7F955E1A6D834473114F733DE8E],[0A7636D4FA89C1B4EA04A31D0FA44B0E818A448938A5C1158F1D8875F37473D97D841258F82C7EE4E6A2966FDCC4D6338DB37B98E659C818C96242C3E99F447A324699C9491F8C2745BE32F947D11CDEF4,23DBBE5B95DB3562343245D757EFCC4D5B76DDC67BD8999094D1D977A9F09A9FF9571A6B31DDF1E129115AC098795EFEC3276AC79B206371FEF2CD3A8CDF047B91F217EDA29D386A8BCEF352E560B1E708]] FP4nconj = [[1B24D4E5816CB8436F30F1F940559F3687185D88228C79459239F2414BC2B1D974FC48806EB928935FC559BC60C42B73CF1FF0E8A135C90908D563E7FB5E3F685579150175D518F6CD39C43CB4C1DAE8E4,238E7EB0C808A97014C407A63FB7B669078DC5F1CE603ED0B42E7605734F70F994FAA695B51F9509A3AEED13436A6C95AE9911EC638228B6A5633E99E71F832A4EF5174D16EC1F9127CBDCD5AB8CD10185],[1989C92B05763E4B15FB5F22F05BB4F17E75C4773367BEEA70E2778A0CF79136A67BEDA708AB955D4D71A9B4233B29D332EE8AC734A637F037E1DB3DA868FB85CDB98A3BC7227510BA41F10D78B2E8011F,2441A46A24CA9DCBCDBC68A81033B2A4892B39F034E66F6B2E2688567B6A702AA8E594CEFA22610B02E5636786A107FD7A9B987FDF9C97025150C705293B846E0E0C176DA4C8CD743130B3DB2352F90B]] FP2sc = [1825A1A96A0C2D7813822D9E2063ACB653B384AB1D8933989C411B6C2DCC4EFA1C8CCAE16A4C376678645071F93C4D4B66111ADAB696FF2BF3C846B7086B2D061D4816C8E040544309AC246834900DC2D5,14CC83CA0D8E34A1EE18AC8960CBA048A77AA166D031A606932CC7F87B839CB113FD370C085F52ADCD7F72B54C9A9B4BCC3EC2AE6CD0D0C1B2DDE98E76F429509EF13D537D8C859913B2E5528EE9F70342] FP4pmul = [[1C8D38033591FF2F06F537D6E51B9FB706B0134FF06AF899CE7D3FC98B01EAF3AB558B3088DDFDEB58045FEFD787ECCBC0BCF24B50EB39F4DED2DC6363CD0DDAA98CD76FA9483E10F58C363C4B2453910F,0F278933357662F78906F18D3658CD181AD90EEB0F3D1BCFF48F7CDA11BF1CE34405E8B636BC879FA928567C6D5960E7CFF04E82AAD7C258A8A275F36AD1F78A8D85C5D7E44F4C33BF795386A10543C9AD],[10B08F3BD7AB90BB32B77BC0F83234783E52CE58F7A6C40A08F89D2FE1AD2D6EDE75713B1D48478225AA1E4854A9CC1DB95931EE7DA9974305CD4C5393FF80A327FFEA8BA398CED6FBB00AF80090053461,1DA8836E0AAAB9D475905B3289F361FA6D9A601CDDCCA0BE81AD3ABC51CEB00C500BC3D5EA36F14D61465D447066A58C9C0D38370857E671F44188DC00BBC497962DE2B18160C8149D3E9105F5CFBDCC7C]] FP4imul = [[108FAF08F1C0CD5DA8169E437CA7C7DEB90CA0B206EF434849BC89730DC536028E252AFBB3850C4FE2EC7FC438564DAFEDD0C9EA8BE625EDB1CB08FCBE9385ECA9464E19E7BD101BFBBF75D6F48D99E7B0,046F0D182FA9619F3057CA0182D2DFE5B4769E9228C48BD8F62F63C9831DC8E196357E26F534F835A3F53EA75DD7C26AB4598C852AEA693796C8BA0CAD176058EA6E7F2FBD5AD084720AC7EAD1A806B18C],[0361DBAE369E6EEEDBD1A79D6395116EF0996DA50DAEF52868D8AB647EB788B184D7488650CB47D599E2E00D604FA210B8E33F27517E2F2325F5BE5D95E0133A093E6A32558A8A1F46926E577360EDEAB1,016A906C256FEA29F6095C1690A204FA6D5BB0436211005A2FCD815360D22861AA98F7D015C557CA6E1CF5E20B424A4FE6CA13F4FEBC1DE6172D27C6339C532C4C8C78EA486FD80689EBE7068F613DBA6E]] FP4sqr = [[0A8991EB775872BEE2DB6217FD3A9547866DEE66E16249377B7D5EBB489C3C5D88035CAFD3DD43929E5DA40A533A8BA1E5F72ABA1ACA94513456E5067BEE926F0FC6AA963AF93357A5E7A148DC68127C81,0DF32771A3C2BCE5F23AABFF82C301D1AEB716B31934FFED0D6A1E9CBA3E1EBBC88FDB8B01B256C547BB426F2B662675FEB616965BE73B56F079A363966897B750AC3DC86E6DBEE8EE2FB3F065425714CF],[0E64827D545FEDCF343D0B91F6EA525C794B82C19BF86E9E71C50E7C3D84E91DD31B33BCBC74C2217F9CB11777F75C46946A56879006F9EEFD74F179499682B1BD1E8AB5D43A6702DBA2F82458146ACC46,19CE5F549A3C98B591100354C465FA70AA0585A94C047E804CF05DFD08DC6E1194B94C98D0E876652C8B887C9983749A806C4236FE48DA4B86E16E9F125AFA8E33C13B9DB0DE132DFD44052F1561BAAE1B]] FP4mul = [[0DAA42AF906177C977906DFC0372EA907611824C635F3BC4324BA886721575D0672F26B989A8E68C59EDAAE238EAEEDA04CFD9F7CA4A550FD24C594DA7E1F35D1AB183FA95B1C32B41AFBE6F475142ABA6,14EFD7E03D294D4E8B03C150B99F6BA9F7A7F625EE0A0D1B6EA08B57B377FB6918A89639464699B6D67E13E21EF03EA49F5EBC6C861BA567AC90F8DAA9443AFF8C91DABA2B65209E2C41CD6B27B9330DFC],[1E3ABFE283281ABAF0272D89EEFE71EAC194D3053B1351C17FDFCEB9C06642C50397E8F2F41519D0F5791105ACCD1DE29925260D1E23E000E4F4CAB2A0FC4016EE4908E28A4AC01DA346DCEBF6D3F0B7E6,0FD2FD89B6B9EB18DD1842BE0B0D57DE85CB0D7F94EBF58F646B34F8295C8CC769D55B7991C87749E9B1EA43FB69D0DEFED82A3AA2846AB1B089FAF32AFF917810B3EF7D9C040C5EA6BA94EF4563646032]] FP4inv = [[182A0ED13A2AAFC691C027C8C129E22306C10A5F72B56DB8E031994B182810AB5049D7D0757C01E8178F7B4F8E1BFC6978175F3DAC6E467F4030DE232FD697151A9502CC0A743CD5F5840D717D6CB17303,2094CC36662A72295FA2B91211F0E9A7330599F47AC3D305CEFBBD87457CB05B4081933F2C2A6F31BC1D68C889A568D43C48A371CDC2FB08F522410A007308827251A1E942F105C8C571705E684511765B],[02E6747AE2155FC87A2CC4630E549118AB11A0DBE319716CDB2A1E5CB9FBB6B98ED8A3D3258FD031F0F4A2F2B27305AF85C71DBC79DF160C572B5E6A88FE07B04F7375B17216954B7A5F070F61321E4918,084926A8716ADCCB491A7D0E80CFF27662B99498C574AFF3BBE824497416B4CC1558AF8D0CE0C41F696B3D17B4D8E0E2D28C803F8EA61D1CBC0994D4000D39F8F253CA838B07BBD6E23368788F14AA447B]] FP4mulj = [[196587869B5173AD4A2DA2BA484B813ED9EC993D4332D87B05B45101B67C26C67BD3081239B172FC426EC450BBB488CB3573EF2EB4C69B5935908A76A33FC0015FAB7E24597DAC434610C0599D8F950814,19AE0ACF6F9B08E8E1C91B8B986BE8A422FEEFB1239CA559DC109E126372FBA6D124D33BD7A5B7BE58748F178AC1CADB3069265FB485D4873A332C04AD92370A3BC7965334C73DDE2E7321C153D63AFA2A],[08DB2B1A7E9347BC90CF1046BFAA60C978E7AB78498106BA6DC60DBEB4A95336AF03B77F921EEBAED44EE6679F3BD492F182157779CA36FFF86EBA1996AA0097AA870F039A6CE84132C65FCA0BC229F72F,71814F37F7568FEB3BFA99C0484996F872430E9DAD412F4BD189FA8D1C94168F05596A4BB87F3890655310BC9593711208F473B77DD7525BE0DF67AAE8BCD5B10B0CB7F955E1A6D834473114F733DE8E]] BIGsc = 115C30267A1A4702685B0994422D07EE14ACD4133D2484AF030D4694EA23EDC901744C0ED1BD2F51AE860644A8B12107F373D96D8949385737DA75C48421125D6C1F8901AF4FF06F7315DF2F8DD7304603 FP4pow = [[04C20DBB32F2E75CFF60C78468678309582FA903C78839599FA998A53BB367F3E08F9F8FFA90CA1C2B26EB4B47B452FCB4F8062D6C8572E8C7BB3F344F9ED43855EDD8C2081D633F85A6DEB04299D80B9E,22407C059EAAC23221ED09469C9FD36F58EF73CC9981F18DA62B07085C4E0BD29AF189585947F3E612264FA5811B6666F36B9EA49DF00DC4AB09250D62BF65C9FE266ACA71A38113B1063C9E4888262948],[101FCFC7DAE54F71390B756EA8E374340CD1C346B50C587DEA9BC5DAF005574E45FF5BBE39005167E2EC479C7057C36C4ED15C1CD3290A67C6777C6849792710265D05A1B0B04DB4B9BCBC90FE17C79BBF,208AEF0D609CC596D8454909D65EF222642F8BBE02A9D3FA992D7CC538DE941C0DE1CAA8B4BDCDADD1327C1361E96ABC9EFEF864F0637E5D49E0B2CEBD9E61CA085B87E9D1E9F8A461026115957E94A820]] FP4frob = [[08DB2B1A7E9347BC90CF1046BFAA60C978E7AB78498106BA6DC60DBEB4A95336AF03B77F921EEBAED44EE6679F3BD492F182157779CA36FFF86EBA1996AA0097AA870F039A6CE84132C65FCA0BC229F72F,238E7EB0C808A97014C407A63FB7B669078DC5F1CE603ED0B42E7605734F70F994FAA695B51F9509A3AEED13436A6C95AE9911EC638228B6A5633E99E71F832A4EF5174D16EC1F9127CBDCD5AB8CD10185],[0AAC7E078BA154921D655E2B74DA9E7E1CCB1F154F48EF43EF142497272B70B30665B5B7797C356BD410AD0BD3316FE455B5443039C4945E19FEC1B5C155B6FBA3C5FB19ACE3741CE01781AC1AC35D82EE,2176ADD8EFB58F61179D7C5EAC8E370A4C147B4096F78D4785C99A95E79AC6EBA3F50F4EFCA86E317CAF489EFD2209DDA474A92677AAF7B8DA94164CE653B3441BFCE0E794E29A942C38A01DED49782FA9]] FP4_xtrA = [[0B18EB16013395D21BCC68FCA09A6D530A90B1C074DCCBE793EF430F8C98B48C439C942D305CAB55AF608136967D09254B5960B965642F50CEA76D72B9F156A99AFFFB8E722E0A7B8F7C8039A347A5EAF8,1159B9D8BDA643A46BA40C3B3DDDDF8CB3A8C773C3876CADF8F61754027322DBE13D096A0033A0C840D88414AC6A0B5CA3FEE134845EB1C0A239C6051E82CDF4418708B1B83F590AB7F2609956C9D41229],[1E19E3EA699DADA3B73B2F81744503149A6AF94068AD657CAB70796E52642D9D2B11F753F8FBF4685A4AE9D111DF3E99B9C3F632CE928B239D08E189BAE40275F23129DC356E07AB6E9848698DC1514597,22F56E0FD9E4B70BF3984244CC8A8960BF5B49AD54E749213F7DDC013FC3420D57E19FA67EED63B1AB931F3C321E322CCEA6E57D5915C1079A2BACFA9ACAE8FE1267D9CDFCB978BFD7CE8E303FF637B7BC]] FP4_xtrD = [[1CD33BB67A31E345C13D43CA7DE5D3B4949EA076BA6DBBC29FF1433DDFB59B004DFBEDB0B077807729D4175F14C2E282C395062B4236265A44BD8ED4E0A2D13FBAB8B0941661640D405B05BB8567C36E36,0D1024D333D40FC61BC2B6CC02326EA3BDD29095DDDA7D8E75C70AA7A004F68EAA8528B66A41585426F09C4DB23AFF93DAA42DAEECEB8CB238B7E49440971E0BEE9624587BC1FB9B3DC7258E3B53EF57B3],[1D7814D35F4C6A656033C797D7A1BC3F763702AF96BA6C735389FD905708067AFC130F0ACCF3D899E66BC45BBE6DAFE639A565B5DE5369C66BF489F3086039BD58917B28523D4FEC5026B63888F635EE71,1A16E29D6E862DF128AB7C26148661D5F317DC1D2C6E4B5F234CAB0DB5D342F1EA0B17C26EDCBB27429153436890B6AA7B617967FE0813798B84102D1CAD71970FDD53CC8C27A4C8E5A66696CBA860A031]] # test 12 FP4_1 = [[00,00],[00,00]] FP4_2 = [[01,01],[01,01]] FP4add = [[01,01],[01,01]] FP4neg = [[00,00],[00,00]] FP4sub = [[24000000000000000000024000000000000009006c0d800000000000006c05102400000000d814423414402400000006c0a206601b00000901441e0192084000000024051042013800002406c08404e012,24000000000000000000024000000000000009006c0d800000000000006c05102400000000d814423414402400000006c0a206601b00000901441e0192084000000024051042013800002406c08404e012],[24000000000000000000024000000000000009006c0d800000000000006c05102400000000d814423414402400000006c0a206601b00000901441e0192084000000024051042013800002406c08404e012,24000000000000000000024000000000000009006c0d800000000000006c05102400000000d814423414402400000006c0a206601b00000901441e0192084000000024051042013800002406c08404e012]] FP4conj = [[00,00],[00,00]] FP4nconj = [[00,00],[00,00]] FP2sc = [00,00] FP4pmul = [[00,00],[00,00]] FP4imul = [[00,00],[00,00]] FP4sqr = [[00,00],[00,00]] FP4mul = [[00,00],[00,00]] FP4mulj = [[00,00],[00,00]] FP4frob = [[00,00],[00,00]]