| [ |
| { |
| "FP41" : "[[24A4F77AD9FC230EFEAC5F9048193A9A8C202FAF4B7D1792DE8CE2C05E16F10E62C36222B7FDE071E90B77808315B6C67B27A818CCAE4A854FB97E1A,40DC0860FA7B69762B32C642768014A50E078E3555914BDC67DFE178B0A6D01244784D360C982397AEAA61CDD9B8FFFC90D0CDC3F97FA1D7A1058C85],[1E1CAC1FECDF1DE8D78FD304B1FE53320A4756F762BD47F95D6A68B1BABD742C4B5D9579CF9E216381B657FA7240E2A765A947D6655C53F0E56FB195,17C7F559F531D6BFB2C8C14A08765E973EA4C2A85FA5D1CBA9E8EC6080E7BC7C3D54469B9E1A2C6181D5EC0E85EFA88C61142045C529C37780D8DFFA]]", |
| "FP42" : "[[4CD96A782E61550FCD071B59410FBB88428B985F174AB8375AD20480529F8639B10250BDFCAB518AF5C82B4C67474470C9C4B80D6691CBEFD762364D,4A1D4C41321C340D455D033F147B92ED0CC440EFE320B73F8643D68ADF608AF9E220F87CCA641C8124F6F3E21E6362639BDEF2BC6D81FD8E943B0A56],[32E888A3FDCD5E532833108D22B46827C49B01D15ED743B0080319AC1BC6E37091882E75B14A6AC804130B8C5D431D3BE4B73A14DAE1A5119FFAC7A1,4C4B11D17CF40188F3C39D917CA80CF28364B4600CD2D644607E71115955D44E8D402444B78F3EEF69B0B92B0D204B5E35407737F87954AC58F58E96]]", |
| "FP121" : "[[4D8DF76001D712E094E504A87092D82FF2DB71D58063351334B2BE35F0EC3D1B525AEEBD0B6880E55D265323ADDB5AADA64822735F18491F88826C3F,1D958E8045FB7D13FB99981F5A0201EFD2C1765A3E06E213586120A5488478A67352590A569F386AE76173282524F46480D0BCC2E75E93688953D5B8],[30D08246906C97E7A174C0C193DF33E513266F37FC3947D5330919DFEA7A7EF2C70E3B4B198994E3FB04F58C55D362593925071B775BA7459885A332,5217F88A149CD7CA708A6342AC396843A4E8008D3490472A7F09E69F690F0F5C8559F4DAD512D6C6F561D594046150AB20DFA758E17862BE49698338]]", |
| "FP122" : "[[4D8DF76001D712E094E504A87092D82FF2DB71D58063351334B2BE35F0EC3D1B525AEEBD0B6880E55D265323ADDB5AADA64822735F18491F88826C3F,1D958E8045FB7D13FB99981F5A0201EFD2C1765A3E06E213586120A5488478A67352590A569F386AE76173282524F46480D0BCC2E75E93688953D5B8],[30D08246906C97E7A174C0C193DF33E513266F37FC3947D5330919DFEA7A7EF2C70E3B4B198994E3FB04F58C55D362593925071B775BA7459885A332,5217F88A149CD7CA708A6342AC396843A4E8008D3490472A7F09E69F690F0F5C8559F4DAD512D6C6F561D594046150AB20DFA758E17862BE49698338]]", |
| "FP123" : "[[4D52717DEB363D9B15943FFC2E5BCE3553CBBA8019FA0B4493953B8CC6E8C043484FF3DE5CE45DA89DAB3EE1C5CC6EDCD0FFFEDB2EBF6A25775B8FED,273BDD046CFF33C42DB9CE24C402C70F0421ADE399D431359647AAFDC7CBF34A233A3241D5E13D4586D081B36C3FA6113872385D225425613C1708FC],[1171B76155CB2D44E22527FA04247F9BE8FCD3B26506DF3D5DAE64FEE80DB2AF76D7C7521967D4F59BE78D807A21C69DFA2FE641A60148DD1042B0,0D439AB3F726C24267B11FDBC48F08D1B13596FFC529CAB7C027BA43C79380F6733BCDD1C9DBD61C3C79C378AB5A643F4CB51E2D87D923F8F1870C7E]]", |
| "FP124" : "[[1957053AF56EA028D8B367452A4F93C3B7AE786C6E5A6AC520279FC861C4772DC6EF6362B6705EA99F0DADBADB187C5BA09FDB84E91607E60E014663,18FC0C224BBC7DAC008CBFBCD480529E7A7882A43A9243AF6F65E1C369359CBD1B5A6A6B8C6A99C6443A1F31F4BFD27CEFEDE29A70DB3B2FEFCC2C79],[47BA858E31617301891B4B6C5443B308459A876C3319A4AB8F30C5BFB9C539CB482C9D08F125C6479307E98AEC4DC012E1646352C3E46A6341A9CC20,2618C50C26B4331CBF51182D7FDF701BC2D9E1FF30EF1CD6C4E9CB7FA2E62C9C8B52A534AE708CE38A0BB78883100F3CAFCE92C373C886C94DC34D2C]]", |
| "FP4add" : "[[1C22617B0490B26448188E7B08E9C7AAE9EA0D8C124E5C94D07E49218C7615C0E1A4D3DA2A76A68DC276E5164419FB545CBF2F4B3AFB550DDD159F3C,359D542A28CAD7C8ECF4DD130ABC791A360A14A2E8388FE6854319E46BC6F984F47866AC4CC9B4A9B74497F951D9627D44828FA56EBCDDFEEB3A81B0],[510534C3EAAC7C3BFFC2E391D4B2BB59CEE258C8C1948BA9656D825DD684579CDCE5C3EF80E88C2B85C96386CF83FFE34A6081EB403DF902856A7936,0EB706B36E59128E22F1726D04DF3D11DD47BC861BFF34DAA186BF52B5FD2F4398738BD9CB76DFE1CF29E782ECCCF407AE2766A2C55E56BC8FC85965]]", |
| "FP4neg" : "[[30B708FD29D0A2AB84EE8CDE3825F3DD58A18AD304FC5BA28A53BB5EC6297078CF5D7CE3D234AAFD33514636232D491C6D0588C22B9676E1FA4C9711,147FF81709515C445868262C09BF19D2D6BA2C4CFAE827590100BCA673999174EDA891D07D9A67D76DB25BE8CC89FFE6575C6316FEC51F8FA90088A6],[373F545816EDA7D1AC0B1969CE40DB45DA7A638AEDBC2B3C0B76356D6982ED5AE6C3498CBA946A0B9AA665BC34021D3B8283E90492E86D7664966396,3D940B1E0E9AEEFAD0D22B2477C8CFE0A61CF7D9F0D3A169BEF7B1BEA358A50AF4CC986AEC185F0D9A86D1A82053575687191095331AFDEFC92D3531]]", |
| "FP4sub" : "[[2D278D7AAF6793B9B54030A58748AD8A2E5651D284ABD290EC9B7C5F2FB7CC5BE3E1F06B45851A560FA009EAC2117238999020E65E613FFCC25D5CF8,4C1ABC97CC2BFB236970AF71E243B02FE60507C7C2EA07D24A7CA90CF586A69F947833BFCC669285A6102BA261989D7BDD1F0BE2844265B056D0975A],[409023F3F2DE855032F7AEE60F8919822A6E0FA8545F777EBE47ED24C336F242EBF6460AA886420A9A000A24BB40C54E691F3E9C82BF70468F7AFF1F,20D8E4007C0A9AF142A010270C0D801CA001C8CAA34C6EBCB24B196E4BD249B4E235015D70BD78E13481F09A1F125D111400D9E8C4F5303271E9668F]]", |
| "FP4conj" : "[[24A4F77AD9FC230EFEAC5F9048193A9A8C202FAF4B7D1792DE8CE2C05E16F10E62C36222B7FDE071E90B77808315B6C67B27A818CCAE4A854FB97E1A,40DC0860FA7B69762B32C642768014A50E078E3555914BDC67DFE178B0A6D01244784D360C982397AEAA61CDD9B8FFFC90D0CDC3F97FA1D7A1058C85],[373F545816EDA7D1AC0B1969CE40DB45DA7A638AEDBC2B3C0B76356D6982ED5AE6C3498CBA946A0B9AA665BC34021D3B8283E90492E86D7664966396,3D940B1E0E9AEEFAD0D22B2477C8CFE0A61CF7D9F0D3A169BEF7B1BEA358A50AF4CC986AEC185F0D9A86D1A82053575687191095331AFDEFC92D3531]]", |
| "FP4nconj" : "[[30B708FD29D0A2AB84EE8CDE3825F3DD58A18AD304FC5BA28A53BB5EC6297078CF5D7CE3D234AAFD33514636232D491C6D0588C22B9676E1FA4C9711,147FF81709515C445868262C09BF19D2D6BA2C4CFAE827590100BCA673999174EDA891D07D9A67D76DB25BE8CC89FFE6575C6316FEC51F8FA90088A6],[1E1CAC1FECDF1DE8D78FD304B1FE53320A4756F762BD47F95D6A68B1BABD742C4B5D9579CF9E216381B657FA7240E2A765A947D6655C53F0E56FB195,17C7F559F531D6BFB2C8C14A08765E973EA4C2A85FA5D1CBA9E8EC6080E7BC7C3D54469B9E1A2C6181D5EC0E85EFA88C61142045C529C37780D8DFFA]]", |
| "FP2sc" : "[260A9304CFA9B87E34BE8914F6963A5A60137633B3773546A374A03F71260DABAFA1BF31F65E387A26DD91A7576C47210BBD9E79C6160ADF91FD8CC0,188D51ABEA1B90A5E2F52C52C94078C0470C764020B52BC1A22B3C00B61C1F8D41EB4A086D148595E24D32041DFDE16B7E099F9F1D646C79ED471082]", |
| "FP4pmul" : "[[19416EEB06194F36F9A8459A17BC2244B0DC41E2526BE331324EDF2C1E7051FA18D9845207ED1E6D2D62E1AABF2258ACE5B4CE08CF6EA567C673204A,13E74FFA8361335C41F0C4F2152F1F83C80A05FA0E4275FD4FBFF4B5E794A7E2F9A2812AB05129541DBE6A176E7A61F80DBAE8C599731928728925D7],[054D45C8E2E4D6A37E3E41C962737F5ECBF429FF918448C3F4AFC0588CE916186A2B5F44582051B2A255C50B21E476ADF7C6A5638985AF6FBFB18246,3CB7363065BEACCF11428F358DFC001D4E2B6AF0D2F9D18B9B9EAD336064B2F39A0A168C4B799A7218C4FE4DA5BBE06729C5E624CB8484C586E0E6C3]]", |
| "FP4imul" : "[[00,00],[00,00]]", |
| "FP4sqr" : "[[289217CE51DF7F437F2DCDEB45D8D0AD6653256FFC40BCD9BB6BA414B8D6422EA972400FC95AF8E031BBCF0163D93DCF7D8D6527C58A01D4593CF802,4521D7C4C734F5ACBE461134B7622C102E1B3CF87AFB4C57F54B89FF6949A0ED2F5EADBFE8382FF34657B47F74D984D2752CF825091F6C5518C3FDCB],[3CE2164921BE10FB9D845D88E979B30A50E41B28662C610A830088826199739625748C77689F2B42CD4560E00B8EA145A2F084DAD07A4CE129EED01D,2C7731C221F7FDF14EDB82BFA02DCBC80FD4D74CC02ACCBFE8C6D05D999F64F4F8DAB6D160D7926078B1BCEB81FFF6C49BE72704AF313DCC222CF032]]", |
| "FP4mul" : "[[2F0411D3138C6DF647A31705FA5DF3CA3EEC9748514C037B02592C236CFE5176C61522CEDA4E74717411304B22E1B3BB2C67F91A67672179B0843373,3AA490A3542658CC5F6D9FDB913E845280F182FD166CB8C0F38B3BEC94CB37C73B50EB0916569D6D18C59322C67653EECE078D77641C318C0E1C58B0],[53DBC8227B4313F6C2F7440165307FC977A068424AB97CB7B7E5830A328FF2595B601FDFD99E8B726902A5339BB93EA94CCED62AE67A7674D8BD8DF3,433C491BC93430B8ADBC602FD3D66E29C3874F77519684173E954AF02F73D190C321861BD693527FCD1EC91EB981DFAC4212C05C2EA53DE47C8D151A]]", |
| "FP4div2" : "[[12527BBD6CFE11877F562FC8240C9D4D461017D7A5BE8BC96F4671602F0B78873161B1115BFEF038F485BBC0418ADB633D93D40C66572542A7DCBF0D,4B1C046C7F2417985766D9587B5FA18E7964A45BD3055F88E8603FCBEA7398CCBB4C961E4B65578365838FC23FFDFFEFBC7EFF4F78E2319F7585D0D8],[39BC564BF855F1D1AD955FB9991EC0D4F78488BCD99B5D97632583686F7EEAD9BEBF3A402CE856694F098AD88C41F14526EB3C58AED08AAC17BAE360,0BE3FAACFA98EB5FD96460A5043B2F4B9F5261542FD2E8E5D4F476304073DE3E1EAA234DCF0D1630C0EAF60742F7D446308A1022E294E1BBC06C6FFD]]", |
| "FP4sqrt" : "[[350BFAF55E8166D22C72E07A6DE24ADE1BFDA9847B18A8A236D8B06CFBA5A3DEA69C0D587C25417920F5B7D6DFDC7A3E260B6AEFC040BFAB0F4ABBBE,4DAAFC0CBC7BE6DCDDB055E9763EDEB71B689EC0F722A3A158FEBECE6F15DE6D3325350DE53C635C9230301A0EE967773207D1D50AE47E2173782804],[38C41B097C909949084A79E51A905A72B5216F7E073B80B4377F1A622A7A92A1A5B1F0B0EADAB47F4043A4D9E0252FF2E69982A5D25394873D0D8A73,4AF7A63E8EF2D6D5177826F5A2B0D4A0BA88C34DAF3F552920FFD3554B5C56A0D914664847A821C9BDD7EC02EADD05CBB02856D3C308127B71A16A72]]", |
| "FP4divi" : "[[1E1CAC1FECDF1DE8D78FD304B1FE53320A4756F762BD47F95D6A68B1BABD742C4B5D9579CF9E216381B657FA7240E2A765A947D6655C53F0E56FB195,17C7F559F531D6BFB2C8C14A08765E973EA4C2A85FA5D1CBA9E8EC6080E7BC7C3D54469B9E1A2C6181D5EC0E85EFA88C61142045C529C37780D8DFFA],[08127FB1E855636553221CB21F2D1063DAB301B1284A781CEEC6130CF53EAFCCBA8D68291D31BC4D3DAC8DCBDB45DB7011E5A280E6F4957AD35C7ABA,38C988AF12260610D810A9905753044133548C842D46D3BF7919CE6BBB68204589EAE50CEF66674A70FDD401FE73248C7EEB2B43128B0C5CCDA911CB]]", |
| "FP4div2i" : "[[3C39583FD9BE3BD1AF1FA60963FCA664148EADEEC57A8FF2BAD4D163757AE85896BB2AF39F3C42C7036CAFF4E481C54ECB528FACCAB8A7E1CADF632A,2F8FEAB3EA63AD7F6591829410ECBD2E7D498550BF4BA39753D1D8C101CF78F87AA88D373C3458C303ABD81D0BDF5118C228408B8A5386EF01B1BFF4],[1024FF63D0AAC6CAA64439643E5A20C7B56603625094F039DD8C2619EA7D5F99751AD0523A63789A7B591B97B68BB6E023CB4501CDE92AF5A6B8F574,1C3710E6207F46672C8666B22E66DA0A81E75E860A1434498952FEB8528FDF03E1B4EB13549A4325C59EEA4D56A3493615A925AB2CD15752514C0E6B]]", |
| "FP4inv" : "[[03C8F5AE949477ECFF3B700EB56876CD281B54535E2534FEF6673CAF223343C7AC71E621DF4BA2BFB9BC477D5159BF61772FA7D9BEC364F23AD61BB6,2E3EA6EFF2B25A2263DE1DD0D92231214307D264F1A019997B060329D8427063430F2897B2FDCE42B2D5349393CC2B1DAB65391D2A6C32DCEFB45309],[08686BDCA7B73F4CE79B30EFA1CAC00B6B4F1638D9F6ACE11A8B483C013FE225CC22DFB26D058E21694D3013E922AFC331CCAA0AA3CBA3065D9CE7CB,1CB25419607ECB46EFE5E476008970417545A7679C626FE571B324668E40A6E9BF816D3A3BBDAA44D5C82BD411AA0C693FE34AEDC6F18B6223ACB60A]]", |
| "FP4mulj" : "[[0654B6C5F7AD472924C711BAA987F49ACBA2944F0317762DB3817C5139D5B7B00E094EDE3183F501FFE06BEBEC513A1B04952790A03290796496D19B,35E4A179E210F4A88A58944EBA74B1C948EC199FC26319C5075355123BA530A888B1DC156DB84DC5038C4408F8308B33C6BD681C2A8617686648918F],[24A4F77AD9FC230EFEAC5F9048193A9A8C202FAF4B7D1792DE8CE2C05E16F10E62C36222B7FDE071E90B77808315B6C67B27A818CCAE4A854FB97E1A,40DC0860FA7B69762B32C642768014A50E078E3555914BDC67DFE178B0A6D01244784D360C982397AEAA61CDD9B8FFFC90D0CDC3F97FA1D7A1058C85]]", |
| "BIGsc1" : "154896B989C25B189B7743A83FF6528DD1AD4EC0004987DB23F411ED94EB2332A8B83F40087A8DAD37E4D8AF00CF15425CFDDE29646EF5E52303D556", |
| "BIGsc2" : "1E", |
| "FP4pow" : "[[37E92610C4C4F9CC365D7FFCF8445286B4CC2470EAA9D494F4C40F9BF00D6BBD1BA01C9C83F8990AFFA296D92AA00F0433937926848686342CC6F67C,0715E2316C24BE3E12C144BEEB4F88360C5134AF40290129995987BFC1102CE5FB70F6E300225028A48D63191080A28532B08316EB9DB03812FC1F1B],[190F04EA87AD9B53D860F3A76ADA22EBA9D18677BD7823459E481B796B3B255F08CDC67208A04C35F67AE822C9B984978F736C69BF88563564DD0F18,103C07C85B2C1D3BAC993C17E4477DFB0A79521969857467CAD7485EC236291BB95F78D3A2B91759589D34A7B86AF174FD62D94823040A97CA4F524B]]", |
| "FP4frob" : "[[24A4F77AD9FC230EFEAC5F9048193A9A8C202FAF4B7D1792DE8CE2C05E16F10E62C36222B7FDE071E90B77808315B6C67B27A818CCAE4A854FB97E1A,147FF81709515C445868262C09BF19D2D6BA2C4CFAE827590100BCA673999174EDA891D07D9A67D76DB25BE8CC89FFE6575C6316FEC51F8FA90088A6],[1D0DEBBBC1CB6DA341DD3060C9FE32A93DA35536F7ABF3DF0D07BFA8C109D4B45A61250AECB7DAFDB0379E72004E65EA9CF3561432ED17D8A6B59DDF,458A8CD081324C1A9940585729AB01E308F05E132A689260CA4E4175DA0461A763638EE751978295855A8F767739EACCE99E0894DECECBB62439D127]]", |
| "FP4xtrA" : "[[49E227D4B139BA6DB13EC0207123C75D27500B39B53F28DEE2C3A6375F8BD5191A749075EE0A30B222E3263C895D531737B2D2E249D5E1D9EFF5A225,107BE5E640ABD01448B55CAB19090EB22C797C511F9B68DC3921260DC25ECB1C13F1CC92F4B0A8B21313548FF94929803B3B8FF1D403C3F0A6B688DD],[05276EA9B71AEE5788F7F79D0C575F1A8E15741D40BEE438D2EAB095967C6DCD925968058E68D82ECB57756DB1A75CA4DF09E0A357899D0B111348AB,3F766C33DF69AE5114B743F9299BBB9487989CB33574A2CC3840CE85F0AED8046E85DC3DB70BC35E161FCE764CB6CFC19ED1F076F6D4DB3AC2321030]]", |
| "FP4xtrD" : "[[34A42950A1B3FEE0056FFB3935E589F032D48093B5C000E967327CB320E8C199160C5AD0E391C36B7C019DB703F0D0256F6B45D124722E3103D010F9,18C5C77AD60AE87AEB7B711E4AA1313DF6CDDB10205227D48E6C652D2C3C624FD88EF25A593A7433055FAE9A67AA84BC3BB88D780E64EA0D20BEF9EC],[23BF6E10F7AF8712C9091723CD372AF680B10E94DB2D7DC7D4F4BBC6B2D3FA678A0ED8647DA8E29AB455531E49CD66B18615E3ACA2EE335BAAC81E1C,06AB1BFE088EE5B630D218E530DB5A7EA85CA21B2EFCFD21D3B80AFF772E7C664162650212D95FB46000D751E79C47FA75E236B541400353D9D89AFB]]", |
| "FP4xtrpow" : "[[12ADE26617000645F71F9739BF9422932BF6DEA764DEBEE1EE7CBADCC0DCE44FAEA68C95764853DA98899F7D108AE2C21B19042963923123D30C7B96,1945F6CC293DA01AD625DACC077E9B9F39DF012B0E784C8A3A3BA5A845F527980BFE6745DE775202C2D247CB898BE7AECD18B684DB3766C41652D4D3],[0667C60BEFDBFBB129E813C0E1CCD43FA2FB64D10913D6F8F9EF437E06E937C99CA2F142EBE2DE9D6636C1E15ED1FD90AFA35757C5498273C8A46DA9,3B5D7A30AA17C3D870F3E277D285141F4C57B71C546C54209CE62D7D3915BDD4A6A7DCD3E6EDE53C962F4ADF56C5BCF5202724327ADF4D19945BBC83]]", |
| "FP4xtrpow2" : "[[3DCC1341815832CABD2E93BD136507C69DDC571E7FCC86E3272AE2CB173360596E121F346AF3B96DF2D73CE876CF35E4254EA09B9570594334B6A08A,2F63B820F465D4D89A1AC3634F67C9570AA329E0713F04554E01D6FE0D27FB75501A4734B9BC8B24943AC233AAE373A9EB00C3F197A81E89F357F860],[2B8BA63AA33AD9CAB6F4A96BA3504537C302BAC2AF66F392A73D74F69A63CDA03E4E23988041FFA1C225BAFE1DC34B9F0BA566037B0DB6ED30563260,0EBFAD70CF2330D6D3B6A96D3C68CB956F95EBB7AF1CE9E3AE1390E7A3687DA81F3B171039E6A994D411865BABB8DA43B0B3F4D721DD615311DB69E4]]" |
| }, |
| { |
| "FP41" : "[[254C4A3EC1E8752F98532967AB85F68E2A66FDCE3567A022E574737E2181B4D822B67915861FBBFA5116311326A98A897710C1D64A4FF6153DF1DA8E,50F972752B669F84AB50C21FAD20880583EA31341ECE3A970A4179168B7F2E6011CB6675940F462823EFECE3BF8EF292ACA4BF551261956DF924EEEF],[51A2F55907AE0E8E0EACB53E0AB452DE683F5E0674CEC48E903F6845D692BD47E38F30C1A1C2F86367CB4BA22042D2DBED109EDFF0E7AB6572500307,3EC7970B12B47C54D98433DAD4890FA42D524B74FC006E5ADF34B42A46BA1495C15C517F813CEEB4C52A1F10C5323E7303226FB54275BEF0D1208F08]]", |
| "FP42" : "[[1FAA1E7332C178FBEFE695AC9654B4D79F3CF7E6B6AEEB7D022967F664EBDD9C424F610A4E49E2DBF58CA97E2D8B8717605F5AE7E210E011CB2BA90E,2EC11CD90E42D2360D8997CD8F65FF6A0C0E0DA4525616DA5AB0C2424D8A1B03475CE24723537BA96E36AAFB0091BC6E5087D51ED3C9707F212862A5],[50561987A807D0EC37B9D35175186827E5424EE3D0DD63F4594DDE64A8F8F39556063EFD7F7E4F35E35B5CD081ED7152058805B3557DC6F2974EAD59,11FBA1C60711E7B28CA4D22333EA876F520D6A698951A21FEC217A7F7EE81664E1529987D6819C40E765C4FCA1EEE7127E07593BA7DCC82BA475A062]]", |
| "FP121" : "[[2CD361054C6F2B5DAEF17AD5625AF7B8E1FCD3BC2550CB6F310B68BA915180C679400FFB48077DEDEBC0B1FDBC06627A352CCC2FB6FE05AF36ABA2AA,38574496FE8327F791FF260AE9F75FE9F1B3C00719BE31FEBB5EF910BE1507C13716756E04CFA19553DC29BC9FFB46C5BD6A8F932C3AB93544442964],[488D68534F17DD5B19E68DF915681D728402250D1FBE15CF9450DC2691C93322470DA99F09B2F492F1C516B9658DCAFB325CB618E4F71AE299ACC1DC,3A125A90763B78ECD668503B77ABA328A441932D1CC28A243F1DBD22F5A134874FB919A938D9A755686E8DA3CDA5EFC5BEC974D7EF76F6ABFE486853]]", |
| "FP122" : "[[2CD361054C6F2B5DAEF17AD5625AF7B8E1FCD3BC2550CB6F310B68BA915180C679400FFB48077DEDEBC0B1FDBC06627A352CCC2FB6FE05AF36ABA2AA,38574496FE8327F791FF260AE9F75FE9F1B3C00719BE31FEBB5EF910BE1507C13716756E04CFA19553DC29BC9FFB46C5BD6A8F932C3AB93544442964],[488D68534F17DD5B19E68DF915681D728402250D1FBE15CF9450DC2691C93322470DA99F09B2F492F1C516B9658DCAFB325CB618E4F71AE299ACC1DC,3A125A90763B78ECD668503B77ABA328A441932D1CC28A243F1DBD22F5A134874FB919A938D9A755686E8DA3CDA5EFC5BEC974D7EF76F6ABFE486853]]", |
| "FP123" : "[[4A2B4B14FEE72BC67F303E5AE459AF769FEBD647F9EAF85D949A9C5383C1982F807B1D685D2A83A01C0ABDCEA5771FE8D46D8AF7C5E13C5D53EE3FCC,3AB639CBECC323135389DA02FB7224ED6A3C9E23C9F24395D1EE7848E6F6ED3B966AED1DF780D0E6BB7771F72B465DADDAB482CCC9B6A8F3AE43A1CD],[50CC3CD7B2D649CD589FC17FDBA825B0D3B23388F5A06058184102162B9C1F3B794422E4CDA6AB7F105350F25644917C5A41517C853A91833F9D2EDA,359DD6B85DF58E11A8E9E0DFAA139F4F75694D2536033A2D9010862A6ACF1F035B00F6479BEDC21FAB95C3650B62CE4ABA534DF10868CCD94641835B]]", |
| "FP124" : "[[3FF0648F1BF0CDB68C6BF4484D9C2707C358193127FB2297F690B4E708F094D38D37DDFA1F7D1564FC24B4067FE4C40B6F357CEE189CB7E463788D68,063DB338856BAAB3C8885587FFA907DE7CB49361947EAE0E81463F5174A51129DD3919AF36C5718CAEDD33C7D3DDF7E3E1D4EF9C79516041114BB8DA],[29EE2414BF8A947F8A8E1EF5D1E844698A799D1B8AA3CF0FEB07031BDE0D690505F9A6AED6F56FC5917A9CB0425D49F1337336BF0738F5D2FEAC25C5,40D9884032D6B0C3A62697EDA4F3E5F0283A5172B97CDDCF1D343085C519015467389C212085290685FA764E0511BAAEA413F5A115EB152BA1C5AFE6]]", |
| "FP4add" : "[[44F668B1F4A9EE2B8839BF1441DAAB65C9A3F5B4EC168B9FE79DDB74866D92746505DA1FD4699ED646A2DA91543511A0D7701CBE2C60D627091D839C,2A5E8ED635DCAC00353F6D7EBC4758F7AB36845620AADE3BFC119D39B4C8E7DC270769B62D30366275C9DA2819DDAF1E14FF6398EDE64485D0473C69],[4C9D0E68ABE919BFC2CB9C20FF8D8C8E68BFF267F532B54D80ACA88B5B4B4F56077490B8970EBC2A2EC9EABBFBED444B0A6B73B84E20B0F0BF989B35,50C338D119C66407662905FE087397137F5FB5DE8552107ACB562EA9C5A22AFAA2AEEB0757BE8AF5AC8FE40D672125858129C8F0EA52871C75962F6A]]", |
| "FP4neg" : "[[300FB63941E4508AEB47C306D4B937E9BA5ABCB41B11D312836C2AA102BEACAF0F6A65F10412CF74CB468CA37F997559711C6F04ADF4CB520C143A9D,04628E02D8662635D84A2A4ED31EA67260D7894E31AB389E5E9F250898C1332720557890F6234546F86CD0D2E6B40D503B887185E5E32BF950E1263C],[03B90B1EFC1EB72C74EE3730758ADB997C825C7BDBAAAEA6D8A135D94DADA43F4E91AE44E86F930BB491721486002D06FB1C91FB075D1601D7B61224,1694696CF1184965AA16B893ABB61ED3B76F6F0D547904DA89ABE9F4DD864CF170C48D8708F59CBA57329EA5E110C16FE50AC125B5CF027678E58623]]", |
| "FP4sub" : "[[05A22BCB8F26FC33A86C93BB153141B68B2A05E77EB8B4A5E34B0B87BC95D73BE067180B37D5D91E5B898794F91E037216B166EE683F160372C63180,2238559C1D23CD4E9DC72A521DBA889B77DC238FCC7823BCAF90B6D43DF5135CCA6E842E70BBCA7EB5B941E8BEFD36245C1CEA363E9824EED7FC8C4A],[014CDBD15FA63DA1D6F2E1EC959BEAB682FD0F22A3F1609A36F189E12D99C9B28D88F1C42244A92D846FEED19E556189E788992C9B69E472DB0155AE,2CCBF5450BA294A24CDF61B7A09E8834DB44E10B72AECC3AF31339AAC7D1FE30E009B7F7AABB5273DDC45A1423435760851B16799A98F6C52CAAEEA6]]", |
| "FP4conj" : "[[254C4A3EC1E8752F98532967AB85F68E2A66FDCE3567A022E574737E2181B4D822B67915861FBBFA5116311326A98A897710C1D64A4FF6153DF1DA8E,50F972752B669F84AB50C21FAD20880583EA31341ECE3A970A4179168B7F2E6011CB6675940F462823EFECE3BF8EF292ACA4BF551261956DF924EEEF],[03B90B1EFC1EB72C74EE3730758ADB997C825C7BDBAAAEA6D8A135D94DADA43F4E91AE44E86F930BB491721486002D06FB1C91FB075D1601D7B61224,1694696CF1184965AA16B893ABB61ED3B76F6F0D547904DA89ABE9F4DD864CF170C48D8708F59CBA57329EA5E110C16FE50AC125B5CF027678E58623]]", |
| "FP4nconj" : "[[300FB63941E4508AEB47C306D4B937E9BA5ABCB41B11D312836C2AA102BEACAF0F6A65F10412CF74CB468CA37F997559711C6F04ADF4CB520C143A9D,04628E02D8662635D84A2A4ED31EA67260D7894E31AB389E5E9F250898C1332720557890F6234546F86CD0D2E6B40D503B887185E5E32BF950E1263C],[51A2F55907AE0E8E0EACB53E0AB452DE683F5E0674CEC48E903F6845D692BD47E38F30C1A1C2F86367CB4BA22042D2DBED109EDFF0E7AB6572500307,3EC7970B12B47C54D98433DAD4890FA42D524B74FC006E5ADF34B42A46BA1495C15C517F813CEEB4C52A1F10C5323E7303226FB54275BEF0D1208F08]]", |
| "FP2sc" : "[1E4B0BCCF8349207CC13A1F7C064D5EA21EE50B80AAA79F5DB60C62EB83D923D453367A77A97DD113D4D8BCFD01802CA2D07A2E887A506E0617F5CA5,4B65729C84F7DBE09F0EF9303AB058A960769D337BD8FD32F84433D1B60447D3913BFB0D08CD98DB210850A7A874699977B118268A3D0409FA85F47D]", |
| "FP4pmul" : "[[4B19A22DCC1FC557E45AE78D92A1B4150DC6D2E99E3D56CCACCF3C310250AF6F42D3A9B6390D7431259F399B1226963E2BD869EA1E7A146938252AC2,20D1AC695F2356673DF0FB3DEED5A33973ABDA7254D81CDA9FE05EE438EB17C5F4AB7F8168B493AC1B669B2E887D289CA834F18BA288544CBA61060A],[3956081CE444B82CE82FDB34564BCCBAFAE8B054CA0C504BE0B26B0B0C00F4B4D4656521EB6291A4872658E03DEEC94898124C3223D18A977E6927E6,F4FF5031299C9A42099CE44F0456EE14AD654A958ECF1A49B3E8F59B077C6FA43E672509BCE995D52CE404F1AA1ACAF52F1DEA1B6CE9D5A0404F2B]]", |
| "FP4imul" : "[[254C4A3EC1E8752F98532967AB85F68E2A66FDCE3567A022E574737E2181B4D822B67915861FBBFA5116311326A98A897710C1D64A4FF6153DF1DA8E,50F972752B669F84AB50C21FAD20880583EA31341ECE3A970A4179168B7F2E6011CB6675940F462823EFECE3BF8EF292ACA4BF551261956DF924EEEF],[51A2F55907AE0E8E0EACB53E0AB452DE683F5E0674CEC48E903F6845D692BD47E38F30C1A1C2F86367CB4BA22042D2DBED109EDFF0E7AB6572500307,3EC7970B12B47C54D98433DAD4890FA42D524B74FC006E5ADF34B42A46BA1495C15C517F813CEEB4C52A1F10C5323E7303226FB54275BEF0D1208F08]]", |
| "FP4sqr" : "[[10835A8382A9BDABB258FB1B550AA192C09FE52213C61B9BE6B431376890DC72249475F74FE383C52AFE468D0CFF9D33E9A0FFA2D3560351856EF2,4EDD32A62BC90B811410C4366E28D08B86A3FE50BEEFA30F8AA4C025146D739B1FDE46FECDB0E06ECE8CD743FA6A55FCE13906C16FE2A86C9AE8B11C],[4DBB441D718C588E91A8127333136860293382E2BC96F88F105160D03EE936A88D748A70A0A4F034312953E5B9988032E324EDE4C150C1CBBF572559,0C14B81E48D0CBBA7C1F1ED3B94822D2128374DE6F5523EFE6D5A0F0B6F70448D94BD6E8479433E7A32849097C7D5EDB4F2D80A5EFB905D06688BB7C]]", |
| "FP4mul" : "[[1814CADDA9D27C5037FADCA24B60FE8746E0508448DAD48CAEC5667DDFB082C10DCAE60BDCDFF4447CD02821A37FA887451C35D82FB63E581E6C4BE2,42F0C7078D756BEDC38D70F392CF2F58468177BB91B4A15AFADCCD54CE7B0903386D8C2F60F42EEB3B28CB6002C58DE7DA2F0BD911A1C08DACCD2334],[06F046350058D99C779BB89061A1C3A380B6853615D487309852906849831F66CE32B693539626D3BAF7A923010368548173597A73A7171D13E561E8,0F51F402218A40334B5F9AA6F38485A2B104F315FCA46718D39954281141192A63D8653A5FBBAB511289EB917FB555901FA4C203164B7543B77747DD]]", |
| "FP4div2" : "[[12A6251F60F43A97CC2994B3D5C2FB4715337EE71AB3D01172BA39BF10C0DA6C115B3C8AC30FDDFD288B18899354C544BB8860EB2527FB0A9EF8ED47,532AB9769799B29F9775D74716AFDB3EB455F5DB37A3D6E639910B9AD7DFC7F3A1F622BE0F20E8CBA026554D32E8F93ACA68F81805532B6AA195820D],[537F7AE885BD6A244923D0D64579C0AB26808C4462A41BE1FC9003327D698F678AD807E415FAC1E9421404AC6342E95F6A9EE7DD749636665E2B0C19,1F63CB85895A3E2A6CC219ED6A4487D216A925BA7E00372D6F9A5A15235D0A4AE0AE28BFC09E775A62950F8862991F39819137DAA13ADF7868904784]]", |
| "FP4sqrt" : "[[411170D5964ADC0E69D31DAA212FDB7146F1D0B57B25018695C6A718763D0CFF443E831FD052CAC19628B789A89FCED77D5D5AFAFAB6CEB943BF5A32,013D2160F7DD2DF73C7A09AD70DF959A31F659016584A8AB78E20136A68D2D2A94407FCDF7B8CB08F0ADCEA24FDFB349AC6EBF8954F467165ECE5F42],[3C551C9E505E909478A140E489F69D65042F79015D09057BB2C5DC9475F6D61A39510CA74A420DF7ED560951C1B53B3A3B5FB759B315705EC2000113,3ED4A027D35265643F5ABA1864301800C740A504A9FAD21C367343A30093B5E64E308707A0DC74149B3C3BE7EA198EF9551BBAE842DFE0AE1F839359]]", |
| "FP4divi" : "[[51A2F55907AE0E8E0EACB53E0AB452DE683F5E0674CEC48E903F6845D692BD47E38F30C1A1C2F86367CB4BA22042D2DBED109EDFF0E7AB6572500307,3EC7970B12B47C54D98433DAD4890FA42D524B74FC006E5ADF34B42A46BA1495C15C517F813CEEB4C52A1F10C5323E7303226FB54275BEF0D1208F08],[1074DE1DF4C1277CE0047F8C6C33A80DE4C7BA4001DE33C2436AA73AC46040D88130804247FE3B59AC54B0201FFABE9C9DC428283236650DF6885A29,4084945736A57807CB4C429340ECDFF79F2276F41CF006D4C6D6D1DBC71EED87909AE6334C110ACE779B3CC39F9433F60EE0972CE02B3060029C94C6]]", |
| "FP4div2i" : "[[4DE9EA3A0B8F576199BE7E0D95297744EBBD018A992415E7B79E326C88E5190894FD827CB9536557B339D98D9A42A5D4F1F40CE4E98A95639A99F0E3,28332D9E219C32EF2F6D7B4728D2F0D075E2DC67A78769805588CA356933C7A45097C3F8784751FA6DF7806AE4217D031E17AE8F8CA6BC7A583B08E5],[20E9BC3BE9824EF9C008FF18D867501BC98F748003BC678486D54E7588C081B1026100848FFC76B358A960403FF57D393B885050646CCA1BED10B452,2BAD2836697E2A5512FD98B8019A917759833365E9669A7424CD059869FD7987EF14ED600DEF8A2DD2D9BBD098E568093593FD7EC8119F58BB331461]]", |
| "FP4inv" : "[[241944A31E0A558B4C6856A224403403979993F36A4622AF0F1B819C7E268CB7D5B8F9E38C0EC91EA79E8150C741C9B52B7C52386DA29C790FF6FDB1,3F208D11744712186AC51FE8DD2D291D0D24035CAC9147DE24192BC9CF5831A3D713FD9E483930DF6B08A97F43BEB0D4C060CA86B6D79B1D2065C157],[3C6AA548A7864A73B7E4F05BF0CA6E9666275021EF3F624DA40EF790DF262D0D9B75A6372AA3741A3E55094CC23CF25C0A0F2C7093AC11CAE23DA3F8,52873C2357921CA49BE713605B6DBD85159773392AC567C80C3475C4727CB21B2D13078D8CA5A4F77A29F06D4B383103783C95B7D068FE1D37A19E14]]", |
| "FP4mulj" : "[[12DB5E4DF4F9923935288163362B433A3AED129178CE5633B10AB41B8FD8A8B22232DF42208609AEA2A12C915B109468E9EE2F2AAE71EC74A12F73FF,3B0E8BEC1695C5286495FCAA5EFE340AB0CFEEF92055BFB406937E50F90C705672CAA33A98CD5BA91098ACFC3F32116C0805DDBA3B18A8EEF96A7CE4],[254C4A3EC1E8752F98532967AB85F68E2A66FDCE3567A022E574737E2181B4D822B67915861FBBFA5116311326A98A897710C1D64A4FF6153DF1DA8E,50F972752B669F84AB50C21FAD20880583EA31341ECE3A970A4179168B7F2E6011CB6675940F462823EFECE3BF8EF292ACA4BF551261956DF924EEEF]]", |
| "BIGsc1" : "23F34F436524DEC753517D10A762E77154B8D6CA358648DFA335DF21D36D8010C30B94F795104EC39A4E672DC863BB63C6831EEA3AAE0BF06436318D", |
| "BIGsc2" : "46", |
| "FP4pow" : "[[1559270951AD6AF90C5FD0185F0FDB6B2275B0CF599D0BA0D467AED66307970691CD10C1DF80DF7FF2BDE54CB1B6B91AA2C118675006E71D1943DC8C,2722998B8824CC2ADF4EB690EC8598E8BC4BFF977A1D16C524386BE8CB5109AFC1F5433783E57B8F953413B03838BAAAB15E8DEADD6E38565186C2E9],[03F0F538AE8B50F3ECC3AC909FF123BE028E856B1AC56EA963FA3506FCCF32962E93C4C104FCF1ACE914AEC26B643C02907CAECFE41972C9E288BB23,33A97FFC1DE50C4DCD850A0A441A82CD2B917AAF7F5DDD3FDC4684A857E87B7128CE6835FBFABEA35A3F5CAD22983F35C94120143600F5811D118B94]]", |
| "FP4frob" : "[[254C4A3EC1E8752F98532967AB85F68E2A66FDCE3567A022E574737E2181B4D822B67915861FBBFA5116311326A98A897710C1D64A4FF6153DF1DA8E,04628E02D8662635D84A2A4ED31EA67260D7894E31AB389E5E9F250898C1332720557890F6234546F86CD0D2E6B40D503B887185E5E32BF950E1263C],[543533838FBA7B5137C560819E4B30C438845665D2C33FCFD50602EAC0C60536DD4AB84536CA72FA0CB6D6F91F3852554A60C0C9E391FBE5EE0E2D94,4D058028D0A3B93BD1C15A52781A72A509596DEC4AEAD006EE409BCD4DB288723CF4E2B3BA8A235924C047EA94BB8CB853BA0A42A572265D2530E4A4]]", |
| "FP4xtrA" : "[[42EB9676EB8CFA811597FC7AF4F4BF91872342CB3BE91E9B6BB6A661CE61AFADD1C1E577585C360FBD0255837C44C19AD78008ADBF494C62DD596BD6,384BC3979053338525AED25AE7B63FF7FA06C972B956580D7426AFD1C598BBC4DAC8BB6C64B78D0FD24F318FE459EC0015C414EE39E118B50E4BE459],[1401015C5E734F8181BB30D3F33A4625AE44C756782B0EB9DC9FE2BCE2FC270FF79FCC569C960EC114C64EE6A22EB69AC6EB43AED8719A3713BFC4,13A8A3F975679963EE5E5DBD31454F86D96369D46E80D9C2399DB678343BC8C983CA82002A683D1D0BE375068F921D36F04C8817863695077DBAAC41]]", |
| "FP4xtrD" : "[[0AD3EF55037E8518FEA6F29A44884BFD22B45ECB07BDF90B39DE6B5418A588B35ED881517542F6FE3F5B59D6E5FCEA6D2DF54E2E06782B401FA7CF01,02464E33D8C89232410A2C659426EEF86391566AD1CCA116DF026C1721AF78622E68591A2FC4DF8DA309BB33218F70BA701CB8F243643EF7F2A4E869],[46492DDF794EEA35A7CBA41247FDB12D302EC9EB05419B415F0EF51DA38DEE29F0512DE6CFC5CA1CC8066FBCAD982624ECEBC9EEB29695C80FEB0111,3447E5BC6A6CFEA9AB8C9A1AE21B13A28866514616DC8D703C5E6B26202ACBED29E39AE0BFDB85E2111FC974609EDBDE6D452F357C5FC24ABEC3C461]]", |
| "FP4xtrpow" : "[[29E7CFA8466A2C60BE93817A7BB2A003DB77236DB1EF921F9C46C4AF0121FD547E1EA2BA9A32BCB62A4DC0922E692617C7EA0D8961D841EF04DEDB44,36FB8DDB92665B76557B51AB8D88C15BBA70ABFAA7401DC9C8F474AAF3F0A59C4EC4D84EE237BAAE1EB617003788CADDE2B11722C2638558925348B8],[050FCDA53EA94157E02E9E4BA54E7EFE29FC95B5BF234B1F894E7B0704C2CEF567FA0D990D8FAB248846B83679FBC5647989586656E1C44800892831,271CD74932DA2E4A0EC54CD3E86E28FA61759EB0A9870D03EAE4F5A360ACF4C41A5E86DD9443F31857B9B8AA76F3C84325C6A440E9A3EAEB04B2093A]]", |
| "FP4xtrpow2" : "[[42CFED2ECAA3B7FD4AEA8571653E7EE8E8FB5394D033F406D8D383D6D9C09B78E7911ABF56B5EBB4A7276A4C5A2CB523CBF96A7E002CC2BA69568A3A,2361360D7B76DA0D2973279D8CF287ECC983AB8478BC9B2E89ADFE86EA42C2EDD07645811B16FA597E7B37C27B909B2FF64DB17B8A88937EEA24D625],[5528BE604C8D5C903FA3B82E25BFCD828EA76BC1A77E1C5C4345143784E9FC79D8A9FFF5409437288375632449BE326A63EE60955A3B686A3DCF64DD,4D98BAA3A97F659AF9887A5C645F6C8E34C4B95945182B6E0BF8B2CF076C000A0FCE812842B573ED529435D0AA4366FECD8674B1CC8A173A99539BA6]]" |
| }, |
| { |
| "FP41" : "[[24950BC75F5F02445B065B2669AA6813293188A7ED9C9AA05695EEF34C0422F88BCE1E418C08F23E6313996F1A6C7690EDDC0D3C30AAEDB9DAB1AC88,2C9E7D419FD6CD35DF34EB1C712CA4854F2E64406166217FDA8D7D093F433C2B40E4D2B61FD43F0BB42A84E576D5ACDBAE4343A3CCB1D47117DCC350],[3741F3F0E03AF591CA94C1082CDBCCAB2F0C4D77ABCE9D036E3BF826DC7E92DFE834C186AC08121A641D685F1375E91B9EC74A404C98634D62EB1460,1873EDB36D7BC449FC18402BFB21D79E12F452D7D2DD683147081AB1CAF68C9D31DB759C1F3149214DB9498142B226016C6228BC9157CB7034A4AC01]]", |
| "FP42" : "[[1AF812D9314D61183D1A6C6190934EFDE5775DFB41CB609C1FA788035A0EB6A7A7FB77BE570D4C2C7D1E1DF552378A71FD83762941DFA66A6ABC9632,2C450494B1A7D96093037EDE36B32325239E4764EDE69CE3BB963841CB4B762464C61CE23BB74382839AAA63F4431C87000B71E82CEF15B63BDA1E33],[2013CE330E19B17A164B91669F18EEC0546C6BD99C29D11B92623D57DC53472A34BB4DB5B322E3A8D4A3A3A5B0D09E5FDBE202B3A5B8A916506EB25F,114186AA8ED7461BB6B1D9746CF09AE56429593F02F975EDE11E30FC61D2DD0E10FD31B103E532F8D07C85F69C377D6F7A719C54FDA0EF03D80A28E9]]", |
| "FP121" : "[[0776F4DF3490DBD716D8F943D37C4CDCEC026064C22C6D1DBD7C184B5D2A0A5AD74487FCC0BCD483CAB43E2A63223421433E1ED88803D0E124858E32,1EAEF498CA21A80C597FEAFCD2FC680A9A2EEB63A857082866C28385B4B23FD4DA20719A5662253A75E040E308122FD36DE216ED4BB35B66C5608DBB],[1706CC7BBC401B22FB08AB55470BF63F6D153C8058ECF4C5D7FBB40A34FA9FB38A2ED09449EB087C304A2012F5257D5C2258094BEC942C59AE6F5B43,2EDA7B0129946A2E619382C450116928A1FE41DEF673AB0EC335FB7F1E53CB1FF196EB91FACF9723A0C3A501D226123B6A50BE6960D732205EE22F82]]", |
| "FP122" : "[[0776F4DF3490DBD716D8F943D37C4CDCEC026064C22C6D1DBD7C184B5D2A0A5AD74487FCC0BCD483CAB43E2A63223421433E1ED88803D0E124858E32,1EAEF498CA21A80C597FEAFCD2FC680A9A2EEB63A857082866C28385B4B23FD4DA20719A5662253A75E040E308122FD36DE216ED4BB35B66C5608DBB],[1706CC7BBC401B22FB08AB55470BF63F6D153C8058ECF4C5D7FBB40A34FA9FB38A2ED09449EB087C304A2012F5257D5C2258094BEC942C59AE6F5B43,2EDA7B0129946A2E619382C450116928A1FE41DEF673AB0EC335FB7F1E53CB1FF196EB91FACF9723A0C3A501D226123B6A50BE6960D732205EE22F82]]", |
| "FP123" : "[[23CC03531E5C03BCDA72CC409691B16DB958F8C0D72CB15D691753DB471D2013B1418B23AA846C9D1FEED230E39039993CD6DA183E0A1FA92EAA715B,4A0ABEE9DB89A88FA42ABC1702D101B2797D4742C3E8212D35E14056C2B560724AFB605E943DD1833D044E55A2E64C07619287BF99B102702D487624],[52717C8DB430818CA7A958E143AD219F92A185FC2046B5FBBE65F2FA48E3EBFD931CE1C8D7BD7DCF531AC88EF479B08FFDF9418820C00F41392162A2,3A1803A53B1AE1918170BBB1B11CF03C0B75138272CDDDCDF3B90D0BD9FC0832FC4FA518A64B9EF59F63AD9FB96BA77253E35629C5DECCF64B9D8C30]]", |
| "FP124" : "[[235C550F4B722481F76B6183119AE2530DD2FEBA544C0A8E002A736B974D8634D572E75F109399A06807032E9B9AA8B9F39696D12211DCEA1E8B72,13F81D2C32A9B54DEC2FC2FDBA1B8004E023514CD4E5672A6E6F3D50C9F92E79BD6DD0D57104300897C78E0B5B05CC60D7D9CC3AF89A3AA7F3CF7D43],[0EF2D1A81C020BEA9B45481B5DBD63608034C3E770876A8C7109F954308D1295C60921DEB4051C92A44B7D1B64E284A727A2B8949084A766AC3F05D9,2F64E414821CF6D63F8D23D0C0F6A1553704B0AAB654824F1BEBA3F7D9A2AA5F2F9E6CF74FD91591B2A8E9A3CE0C7C0B4C86C0646E6A052798E4B13D]]", |
| "FP4add" : "[[3F8D1EA090AC635C9820C787FA3DB7110EA8E6A32F67FB3C763D76F6A612D9A033C995FFE3163E6AE031B7646CA40102EB5F8365728A9424456E42BA,0387815E4DB1E0DBEE9D7D8C27A099328E0AF122FED34B2E2D43172BE64E50C8738A1091D158F71F1B687192C4D5C97FC62184B1015C28C009B0CC58],[01F9C1ABEA87E1515D4566004BB58CF39EB6FECEF77EFAE997BD975F94917882EACF3035D4F86A541C644E4E1E038798927C1C18FA0C4AFC6953B194,29B5745DFC530A65B2CA19A068127283771DAC16D5D6DE1F28264BAE2CC969AB42D8A74D23167C1A1E35CF77DEE9A370E6D3C5118EF8BA740CAED4EA]]", |
| "FP4neg" : "[[30C6F4B0A46DC376289491481694C664BB9031DA62DCD895124AAF2BD83C3E8EA652C0C4FE299930B94924478BD68951FA51239EC799D3AD6F5468A3,28BD833663F5F884A46601520F1289F295935641EF1351B58E532115E4FD255BF13C0C506A5E4C63683238D12F6D530739E9ED372B92ECF6322951DB],[1E1A0C872391D028B9062B66536361CCB5B56D0AA4AAD631FAA4A5F847C1CEA749EC1D7FDE2A7954B83F555792CD16C74965E69AABAC5E19E71B00CB,3CE812C4965101708782AC42851D56D9D1CD67AA7D9C0B0421D8836D5949D4EA0045696A6B01424DCEA374356390D9E17BCB081E66ECF5F71561692A]]", |
| "FP4sub" : "[[099CF8EE2E11A12C1DEBEEC4D917191543BA2AACABD13A0436EE66EFF1F56C50E3D2A68334FBA611E5F57B79C834EC1EF0589712EECB474F6FF51656,5978ACEE2EF3D54C316C3E3A7981602B901CDB737F849C1EF744C773F7C606DC1EB5D3E41CFB89308FDA8182929054AE37D1BB9FC2BEBADC02A51D],[172E25BDD2214417B4492FA18DC2DDEADA9FE19E0FA4CBE7DBD9BACF002B4BB5B37973D0F8E52E718F79C4B962A54ABBC2E5478CA6DFBA37127C6201,07326708DEA47E2E456666B78E313CB8AECAF998CFE3F24365E9E9B56923AF8F20DE43EB1B4C16287D3CC38AA67AA891F1F08C6793B6DC6C5C9A8318]]", |
| "FP4conj" : "[[24950BC75F5F02445B065B2669AA6813293188A7ED9C9AA05695EEF34C0422F88BCE1E418C08F23E6313996F1A6C7690EDDC0D3C30AAEDB9DAB1AC88,2C9E7D419FD6CD35DF34EB1C712CA4854F2E64406166217FDA8D7D093F433C2B40E4D2B61FD43F0BB42A84E576D5ACDBAE4343A3CCB1D47117DCC350],[1E1A0C872391D028B9062B66536361CCB5B56D0AA4AAD631FAA4A5F847C1CEA749EC1D7FDE2A7954B83F555792CD16C74965E69AABAC5E19E71B00CB,3CE812C4965101708782AC42851D56D9D1CD67AA7D9C0B0421D8836D5949D4EA0045696A6B01424DCEA374356390D9E17BCB081E66ECF5F71561692A]]", |
| "FP4nconj" : "[[30C6F4B0A46DC376289491481694C664BB9031DA62DCD895124AAF2BD83C3E8EA652C0C4FE299930B94924478BD68951FA51239EC799D3AD6F5468A3,28BD833663F5F884A46601520F1289F295935641EF1351B58E532115E4FD255BF13C0C506A5E4C63683238D12F6D530739E9ED372B92ECF6322951DB],[3741F3F0E03AF591CA94C1082CDBCCAB2F0C4D77ABCE9D036E3BF826DC7E92DFE834C186AC08121A641D685F1375E91B9EC74A404C98634D62EB1460,1873EDB36D7BC449FC18402BFB21D79E12F452D7D2DD683147081AB1CAF68C9D31DB759C1F3149214DB9498142B226016C6228BC9157CB7034A4AC01]]", |
| "FP2sc" : "[20BCE010D14C6B18BC54D26591CF38BCA430E02DE5E73CC28E31EE353D676559A1BFAF7BD9EA397DE9B6B09CD50E93D23BC4FA64B586E08B9175493A,3682975465369659CE0A6429F69E8C7F1B53FBC62AE47E4420477A6B11EEA3A22635C74AA75EE5F66D22041EA362E6DCC7682245108671937C6375C4]", |
| "FP4pmul" : "[[2D37BE4B4C64DF7925F7697F4AD5BBBC92281895370E7DE83DAF24B68825E80BA26B7D36AD0BCFE419224B79C62A19A91EA6A85341C44AB7FCF78C07,177D4BC30F65E873B3E2D7D913DFE40463C5EE0C017C8C7AA86BF4E28578E3175D305F2D432AE4246400C28196FDD7499B0FB7DB50A382373C1FDD3E],[2A75C2CD5C4617795B596BFE0ED438415216FF63C5B0709C298561C3B8D636B8AC4C7462115D68C4862A3A9A3D58BCD7442D413959A95A7931BC3F7E,3966486E7A3997FE3D1879431C97DD581C34F3C73CBD44194AEF5AD90662405F5F0BDA474712E8DB3276C9A517B93573C0CE3F912296DC29CCD6887E]]", |
| "FP4imul" : "[[492A178EBEBE0488B60CB64CD354D0265263114FDB393540AD2BDDE6980845F1179C3C831811E47CC62732DE34D8ED21DBB81A786155DB73B5635910,03E0FA0B3BE0D4B13ACEE9CA621A1A92B99B0DFE7252CFCA4C3A5BF35A4616CF4FA8C665B575F2A84BF84C14476859D47459566CA11EE77AE5B37175],[1927E769BCA92569118E95A1D9786ADE7956E06D0723C6D17397522E94BCC4389E48A406CDDD98C5ABDE130780A8D254556163A5A0EC05337BD01395,30E7DB66DAF78893F8308057F643AF3C25E8A5AFA5BAD0628E10356395ED193A63B6EB383E6292429B72930285644C02D8C4517922AF96E069495802]]", |
| "FP4sqr" : "[[1E3EFFF22BF35E6B01BB574608B8428C82963EA0D7B78768F2BF678C32233856620B1542C843EF9AF7898C724C00FCC3673355EFB3EE9A61DB5B1A56,1A032E7A6B87A19D94D1C70152A230C903785EC1A633D784207FE760EF8A8A37BBE37E2F9654B15407773330D3BF17F07EBC541EC3BB0EF5D35A3ED2],[25817309165572398CB5D2C6DB5ADB1B9A5F6BC2E6265388863869AC808A27E43F91E4345169CA0F5F3713E44B38B8B62E19BC51AFCA6A1A6F204B28,15D341F0CD362C4212DC2C5F87D7BAF505CDA14E66205399A942A2F1236F01EA89D60C573EDBEFB0A78A391B1042E5FFDBCAE55D0EC2A85A7E9686A1]]", |
| "FP4mul" : "[[1C53A8E3FDF7028D7487DA071BC5C8E2BCBB4FA399D3365806428F27D9DFF3C85D5890B3C6AF9988DFA05F16C513776C1CEF3BD517073BECC13BF0FB,2C264564007EEDAED07273C6DA5B6CF655CCC824D041E6473DB460186ED879E10A410850BA307B105A41B1C0A0A7B1EEA3E8A6579942EE35EE98F98E],[3BB8BB67271311A0C9306DD87AB99C5A62F05D24FCDC9F6355E354165EB62FB54F8AEC81832DF740BB6F8F7595153C7AD73E60C05E52956487D43902,30C6A865B462BB123A7435039179113F6B71DC96C6AD03A78A701A80BDF75DA292A59CF6C9871AE75373B298D12BB2BB1CE224FB009CBF909DFC6AF3]]", |
| "FP4div2" : "[[124A85E3AFAF81222D832D9334D534099498C453F6CE4D502B4AF779A602117C45E70F20C604791F3189CCB78D363B4876EE069E185576DCED58D644,164F3EA0CFEB669AEF9A758E38965242A797322030B310BFED46BE849FA19E15A072695B0FEA1F85DA154272BB6AD66DD721A1D1E658EA388BEE61A8],[1BA0F9F8701D7AC8E54A6084166DE655978626BBD5E74E81B71DFC136E3F496FF41A60C35604090D320EB42F89BAF48DCF63A520264C31A6B1758A30,36E7F715B8A445023FD9964D3DB0830AFBDB06AD11AB6DB357F45C68779B771231FE2A5154B1EA48350B039BF47A92F22A47ACCBC4CE466BBF556096]]", |
| "FP4sqrt" : "[[13B380DB75940EC7F29F83D4C00F2494A88BD20294CEFD26E2D0F5489716268FDDE881F88D1A5D698C1008B15046B9E5AB9C392AACEF6FD4906FDAE1,A673549D7571AB962E40AFC225B98F0F3A30E77AE85220DA0FF51E57684EE6C5C98365A402BC70FD81824A385FFBBA47134EE659B524EE01A44A03],[2D254DA86BF3A14F631D1F0658AAF85D70499AF044A63E62480C565A52D9ABE21BD51E06A23B01F9EABC3BC9DB2C0D51937DB80C0B5E400C3D5F2048,1B7DC4A77EA11EE49023764B4D2721AC2CB8CA52CECD98A9885F28346D3A22C0881D6B2C97E4992089D6703C6A4D6ABB48E20A6004B4483B2D7A6420]]", |
| "FP4divi" : "[[3741F3F0E03AF591CA94C1082CDBCCAB2F0C4D77ABCE9D036E3BF826DC7E92DFE834C186AC08121A641D685F1375E91B9EC74A404C98634D62EB1460,1873EDB36D7BC449FC18402BFB21D79E12F452D7D2DD683147081AB1CAF68C9D31DB759C1F3149214DB9498142B226016C6228BC9157CB7034A4AC01],[2899C4847F9AE7BD1D1DA3216D6B864C3C2FF67427815E101891B5FE45A3AF91E659787BD5EE98A50B9F0F2A48A111B64E0FA86FFEAE6115794737EC,0404B8BD203BE578C21747FB03C11E3912FE6DCC39E4C36FC1FBC70AF99F8C995A8B5A3A49E5A666A88B75BB2E349B2560339B33CE03735B9E958B64]]", |
| "FP4div2i" : "[[1927E769BCA92569118E95A1D9786ADE7956E06D0723C6D17397522E94BCC4389E48A406CDDD98C5ABDE130780A8D254556163A5A0EC05337BD01395,30E7DB66DAF78893F8308057F643AF3C25E8A5AFA5BAD0628E10356395ED193A63B6EB383E6292429B72930285644C02D8C4517922AF96E069495802],[51338908FF35CF7A3A3B4642DAD70C98785FECE84F02BC2031236BFC8B475F23CCB2F0F7ABDD314A173E1E549142236C9C1F50DFFD5CC22AF28E6FD8,0809717A4077CAF1842E8FF607823C7225FCDB9873C986DF83F78E15F33F1932B516B47493CB4CCD5116EB765C69364AC06736679C06E6B73D2B16C8]]", |
| "FP4inv" : "[[219E646F17E3B6D6F0E68B57D115B3F43BE43D5F1330312C5ECD9A747D8B9E795B83A2BE93C8964939B1D1940E12E4BA297900AF5EDF4D3FE299B3EF,1A5E0E39FF1D920EDD67F7A320A86E951E61C373CCE1A4BA3B514B89FB29C47987A440B82BFACD53B3CE19BAEB5E5683821A186A36191C5EBC491B10],[2477FA75226D3DDA3CC041E630D8AA8EE427B1F7DE66982A02796E9D312D562D0E87233F4E7438605FD4461BC69D3520FF0A2556CAE9405991C17447,25782811E18D7117EBDC46EE4F68077EF8A50BFE80A1EBFFD20C17306DD9232ECD5A226DA06D124EDA59B606A56CC6C490DC1C39E134F4A682FD1623]]", |
| "FP4mulj" : "[[1ECE063D72BF3147CE7C80DC31B9F50D1C17FA9FD8F134D22733DD7511880642B6594BEA8CD6C8F916641EDDD0C3C31A32652183BB4097DD2E46685F,4FB5E1A44DB6B9DBC6AD013427FDA4494200A04F7EAC0534B54412D8A7751F7D1A103722CB395B3BB1D6B1E056280F1D0B2972FCDDF02EBD978FC061],[24950BC75F5F02445B065B2669AA6813293188A7ED9C9AA05695EEF34C0422F88BCE1E418C08F23E6313996F1A6C7690EDDC0D3C30AAEDB9DAB1AC88,2C9E7D419FD6CD35DF34EB1C712CA4854F2E64406166217FDA8D7D093F433C2B40E4D2B61FD43F0BB42A84E576D5ACDBAE4343A3CCB1D47117DCC350]]", |
| "BIGsc1" : "07862A67359FCB154CB9C61983CF51154B2470B387D50BC79FFD37C331889E0DF843DF6070BFD1608C74C90B118C44E559F872FD1BFF862F03C63DEE", |
| "BIGsc2" : "37", |
| "FP4pow" : "[[42F87C78E92AA7D5C403719F77EC8DDF978587B6BE61965C1A8D2217C7BA6A7037912553B01B0090E1C93374F73841EC6AA3ECC32FE8FEBAEEDFCD76,2F2DC8DFE9193759C78A180D4DDA198365A20FFCF33794DDF4A7D1DE0D8F41E795DEF2E2FF7B3A24FCD202C8304C994C44B1223591FE07FFE19BCFBE],[512CDC12390AA16E058DB9D858C9913702DB699F1838930D74F1C7E0DB952461B87578E1ED7C5A64AE5446A1DA5278856A68963B00817DE389D4F9FE,231548A300111292344B5327517913334072D10F49F74CAE67C8FF0D4D683C6E8CC3E13DEB301A7B2E96F08D44FBE3EF6B52A6BBEFBAB469F9F0F3E1]]", |
| "FP4frob" : "[[24950BC75F5F02445B065B2669AA6813293188A7ED9C9AA05695EEF34C0422F88BCE1E418C08F23E6313996F1A6C7690EDDC0D3C30AAEDB9DAB1AC88,28BD833663F5F884A46601520F1289F295935641EF1351B58E532115E4FD255BF13C0C506A5E4C63683238D12F6D530739E9ED372B92ECF6322951DB],[12EC49EC17802EDF649DAC87FA555FFA94B9CC66034EFD05DB7C517DC1B7E6F5A014A2FAC3FAB37028812347F893B5C4DF218837EEEE79EA50038BAE,036944640D56E3FD10A311218BFE92EF010875B499A81E61A4DF539DB6D96217F66EA8D778891A885FD68B10769C5C647E5CCD0F4E0BACDD5620045D]]", |
| "FP4xtrA" : "[[0880D2D43275B8EC443A5E624A0187B671A3E398C5C7B0ED15C742FC97926C5BF657E21F23AF07AD1450CF1A0CECCD15DEDAEF6F3C997BA0461771D2,204697A8C10D0A072F877D8CF3FD5197BD40B916A103748FC51DCC8682D5D7CE093DDAFF26886C2E87F985DD7385D313FC6C7451E34C9B74F1E29F2E],[05594AB50E36CC0C3A66A90ECA9FC3E2C08F40B2F8352A2ACF769C84B6D614E7C28271C797BA5ED2DBC48C1CC985C0E3AC3F7243EBA895DE4ECC9CBD,22D2B7892DE3353EC2AA057887A2CC61B1658EFFCE43341EC681B2FA91321832930705D62873D1FD3D7A30589171805B1B09533D6B211E5460FE55A9]]", |
| "FP4xtrD" : "[[2A70E8DB71021F9CCF498D67B5A2A0DE14F4E7D34CF7C55DAE7427C4BE5B53EC7C8FB7C63A64968D4DBF174ABD6B0F8473A86C524ADD80556FFDD671,1622346F2FA6CCEC5A02DD36F088163649DD50C333E107B9D4458B6D954473686C3AB7C9E0DEBEABBB7EE71C8C56BE1C0A62FDB2229C277AEDA6CD5D],[3EA95A72D2FE97A29E446868B4D345FA13B64C2FED4A1A59F9CFBBDB1546EC1CDDDA883B1F4762D50B1526EBCBE18B0A837B1FF750B66F4DEAF05EBD,46BB1D57A82DB4D60B0CACB77E1B6A312BB646FE0BDB23FC3752D854B95C1B24ED8CF78F7D3E81F342FCCC1D95A73202B48F36D631723F3AE7DFDEA3]]", |
| "FP4xtrpow" : "[[203A045EC5C4EA987D24D7C6DC913E6335B5E25F47D9DD2ACD215EF0A8FDA35BF5229D44D68B2585576EBBE20A66C6394A3CC8D695E9907A2D60E79B,2D9E0DF18BC54E7FC513624E0F28C5541A8C68E0CEB0AE2554E1EDE0A953A7A9BD7F76EFB697AA359509C9ECC326490F518F9741F93BA7E8452696D4],[021E382A8C3BE34AD7D7D2669482FAB665BF803FDF36819E599E0DFCD206BBF504C69A8FC7AAC04CEDE45491C261C6AB5E0C931A66D858C06217EFC9,086B037802C4D98413742809762D2B864825E1E35654D749CA12993159231B25F63E0E74BF4455B676A1B7E16AB015ED7F0DD2B0E56C6CAD80AA2805]]", |
| "FP4xtrpow2" : "[[4FB357EC343B647268CDED620A953C061A8D08BFC6D09E051703F846F0E35E52584D5A32F2D33E59314F74E44649E4035A7050F1942DB7F11B6764F2,4EFF1AC4A7D090E78260C681EBD6C10D79FFE78CC4A7F5D9D2001D7C91D823FBDCFF23DFFA931874C6F35A928DAE9419718CAF8463AA96EAF9B0AC5B],[1CA236EEA0AA44615DC95803C2F27818285ABAD5499F28DAE22ED216632F28E3CC7F0814B78902C5AD2BA9BF70BE98FFBAFBD4305D510ED7908B5D27,4839828322909346E325C29434B0982E7A34162230B8AD0A9CE3825F8A63DD1CAB94690B76FF55EAB51EB44895A8FCE73D6C03AFA9DA4DD05ECB2895]]" |
| }, |
| { |
| "FP41" : "[[3061E6E7D2FBEAAD80C9647E24A69B9231987537149CAE6B62A3F1C85FDEE51F4FFCE0C9FA9BD6BAF6C39976B7F7BEA70374F5AB155DAB549C90005C,1DC0788ECB1B761B9D184B19BD5FE9E84A050397E5BDDB7F44D34CB76168806E44BCE7F388E02E9F7A2E9E1A8D73726E31520EA2892F0BCAB6ED1E7A],[279C7F3F2FFC30D8DF42DB30686C5233AE0F538DE74238B061CCC82426B36D41F4C01931A23EDC8E24EA53BCF9F147E85C573D376E47AFCD3F64A0FD,4C80043BD6B9E59F3A39B70C966B4E34F2F0AE761A25FE85EA8B0E2B130B1E91332EF9E0179B21C571C686D9E9A2500AFCAC9D7D851F43A67081DB9A]]", |
| "FP42" : "[[48904C315731D2B0D1AE80993FCC7D357F0ADB0A766C62689AC516A69C9867CE9748DB9B5675D9B42A188312AF1D568C0D37EAF5E7A32A839529BC4D,3BA898F237518BC6E6FE78877AFFB596C3F5080D6773E43FE3D05C37650CC3270A0195E5B8C9BFF5A0E8A35A1CE464438B141DF93112D10F93F8611B],[432EBCF5A627F61761FF25EC4F83A1334848067CB9C3B900DD33753A8CEB071244246908ED2EAB05C295FE728FCB56A31FF4D2225696A5792B6EA1BF,251FB3022B10F9569FA1D031E9919520EDF356B63C53567DBD48EB002E6578077AE02BFD07D090706444E49FB8293EB092815A377E4DEB9DB6F7A8F3]]", |
| "FP121" : "[[3DA100BD2CDA1516D3D1344A304B891D30B611D3612A04B2015F70ADD29761D6704558C459B9EA62B98A645B5E5A5A4B8EEB410191799057FFDF149C,22C94D73319CB4A443E84EB2CBBD663A2E3C3AF96A691D107BE1FECF446B29DFFCC62DC1885AE7A027DE39DE909ED557206A04A3C0DFF71412D65941],[43A5A81C337E1D495A97A2B7C84E1C97960B5EA11F805F70CD8BD57407484AC10A431BD219B6FC643345B3C9B97B42F7F41915CFF37B9C35ECC69FB0,4426E749FFBF617423437D355356778C778986E8C70068FB5F0F66395CC49313BE29DD1E9623C2CE9DAB89BC7F06F32580FAF5E52E1F19118EADA7]]", |
| "FP122" : "[[3DA100BD2CDA1516D3D1344A304B891D30B611D3612A04B2015F70ADD29761D6704558C459B9EA62B98A645B5E5A5A4B8EEB410191799057FFDF149C,22C94D73319CB4A443E84EB2CBBD663A2E3C3AF96A691D107BE1FECF446B29DFFCC62DC1885AE7A027DE39DE909ED557206A04A3C0DFF71412D65941],[43A5A81C337E1D495A97A2B7C84E1C97960B5EA11F805F70CD8BD57407484AC10A431BD219B6FC643345B3C9B97B42F7F41915CFF37B9C35ECC69FB0,4426E749FFBF617423437D355356778C778986E8C70068FB5F0F66395CC49313BE29DD1E9623C2CE9DAB89BC7F06F32580FAF5E52E1F19118EADA7]]", |
| "FP123" : "[[2B3ED8FCCD523B576F9225BD7083073E37E9098DAE13576164C20BEDB28CF4633F49509D12A5CDAC7820F53246B0D8C2CD2E0FA2DA4F892E8B48F055,2DC1E4E511F5CDEE2027A7AC92532D85933C6EB7BF8E9B9D96DA2CE5367E26AF2AE7A029FC0D340E683A52C5FB3E9FCA91E94F25483C68C5867AF7EE],[3621266D1DCD48BBC79429C617E7B435D5D527F9148EF40F35834139FD4D45EC937B31644CECD08D2B284DD356434D42A743080101426763DEA7D264,26B57DDD1F694A274539A1A240707D0C8FBCE8BC6CE1F6373EA8AE217D8A6BDFEA28A5C09ACBC1EF7E4799F9FC1C75B524552DDDCE3DF76945E3FB79]]", |
| "FP124" : "[[3525898B70348F59030DC533A7329B1769E65585204277CCD98C63F3AFFC5BEDD6FF9672D82268B301D48660C0C341216EFF7F617AB4F5E18B9C0115,3FEF8601D58BEFDD42AC70E6C7F8BBA4721A109649D5BC97B16FA50418399DA72034B9D1FF33036535111AC3682138534B3DDC487FD9296909094FFF],[19C5983D7526F0E16D9FC135AF7AAF07285677C2E5F4025E218C7D0250D33F8C43DBC68D0FA7D2A1746B9C0F541AE6015040A4C2360CBB0BF1540D7F,35A017AFCC3A9F4C1C581482DECC049330E00B6796ED1D29C23415CD70DC8AA585A73A23847DBE0B051D48462B182109F891EF7A29B542FFD6B8F645]]", |
| "FP4add" : "[[239632A12660F7A3CEDCF8A8E433EA4FCBE195BF3A8F9D9E94886A4FD836EB66B524DD5EC6DF2500047F5ED2C0D21550287FAFC604BC1470E7B3A77E,040D1108FEA03C28007BD732B820710729385122FCB84C89BFC30ACFA234E20E1C9D9ED2B7776325FEBA83BE0414D6CED438FBC0C1FD1B7300DF6A6A],[156F3BBCD2576135BDA714AE37B0C4EF11959F88508C7E7BD61F9F3F8F5E12CD06C3A334053AFC24CB239478E3799EA8941EDE7ECC9993DF20CD2D91,1C43B6C5FDFE193B56409ACFFFBDB4DDFC224AAA05FFE1CE3EF35B0C1D3035117BEE46D6953926C6B9AEADC2FB888ED8A700C6DA0B286DDCDD736F62]]", |
| "FP4neg" : "[[24FA199030D0DB0D02D187F05B9892E5B329454B3BDCC4CA063CAC56C4617C67E223FE3C8F96B4B42599243FEE4B413BE4B83B2FE2E71612AD7614CF,379B87E938B14F9EE682A154C2DF448F9ABCB6EA6ABB97B6240D5167C2D7E118ED63F71301525CCFA22E1F9C18CF8D74B6DB22386F15B59C9318F6B1],[2DBF8138D3D094E1A458113E17D2DC4436B266F469373A850713D5FAFD8CF4453D60C5D4E7F3AEE0F77269F9AC51B7FA8BD5F3A389FD119A0AA1742E,08DBFC3C2D12E01B49613561E9D3E042F1D10C0C365374AF7E558FF4113542F5FEF1E526729769A9AA9636DCBCA0AFD7EB80935D73257DC0D9843991]]", |
| "FP4sub" : "[[3D2D9B2E7F96DDB732B5D05365194CD4974F54AEEEA9BF3830BF7940E786DED7EAD4E4352E588875E907D41AAF1D67FDDE6A3B9025FF4238516C593A,3773E0149796B00F39B4BF00C29F62C96AD1B60CCEC36A74C9E38E9F209C1ECE6CDC31145A48FA18F5A2B87716D20E0D8E6B21845060FC226CFAD28A],[39C9C2C18DA1007C00DEA1B29927DF784A8907937DF7F2E4ED79F108BE08C7B6E2BC8F2F3F42BCF77EB113011068F128248F9BF00FF5CBBB5DFC1469,27605139ABA8EC489A97E6DAACD9B91404FD57BFDDD2A8082D42232AE4A5A689B84ECDE30FCA91550D81A23A3179115A6A2B434606D15808B98A32A7]]", |
| "FP4conj" : "[[3061E6E7D2FBEAAD80C9647E24A69B9231987537149CAE6B62A3F1C85FDEE51F4FFCE0C9FA9BD6BAF6C39976B7F7BEA70374F5AB155DAB549C90005C,1DC0788ECB1B761B9D184B19BD5FE9E84A050397E5BDDB7F44D34CB76168806E44BCE7F388E02E9F7A2E9E1A8D73726E31520EA2892F0BCAB6ED1E7A],[2DBF8138D3D094E1A458113E17D2DC4436B266F469373A850713D5FAFD8CF4453D60C5D4E7F3AEE0F77269F9AC51B7FA8BD5F3A389FD119A0AA1742E,08DBFC3C2D12E01B49613561E9D3E042F1D10C0C365374AF7E558FF4113542F5FEF1E526729769A9AA9636DCBCA0AFD7EB80935D73257DC0D9843991]]", |
| "FP4nconj" : "[[24FA199030D0DB0D02D187F05B9892E5B329454B3BDCC4CA063CAC56C4617C67E223FE3C8F96B4B42599243FEE4B413BE4B83B2FE2E71612AD7614CF,379B87E938B14F9EE682A154C2DF448F9ABCB6EA6ABB97B6240D5167C2D7E118ED63F71301525CCFA22E1F9C18CF8D74B6DB22386F15B59C9318F6B1],[279C7F3F2FFC30D8DF42DB30686C5233AE0F538DE74238B061CCC82426B36D41F4C01931A23EDC8E24EA53BCF9F147E85C573D376E47AFCD3F64A0FD,4C80043BD6B9E59F3A39B70C966B4E34F2F0AE761A25FE85EA8B0E2B130B1E91332EF9E0179B21C571C686D9E9A2500AFCAC9D7D851F43A67081DB9A]]", |
| "FP2sc" : "[3E7CC342FA50039935FB74D82BE3E8D1B5B7EF8B6F313CB7DFAABE225197A59B8FC3AF4A36653214D1BF16A19D62F3B9A0C412A2EBC01076D53D427E,2B8CE5B2B90DB798A884AA1D775A845E116CA7ECF86AF91B776B204051F7EB0F317CBD3E5AEEE8B8E9774BE17B01943B2BA654C5BC92E6773F3598CF]", |
| "FP4pmul" : "[[2AA921D9DA87D8DFA9B37E58D9034276EEABDBD9E5A0176E5203C74AD295C327A0422E90232FF23715A54B915C6A5B82F38C5DB09023B0889E629991,047E79C7AA604EA893466B7DFEF3075E2F0C8418E4220E86EC5528A78566729FE5ACB04E6529A3A9F8AA687DB3EFA874E0C48BFF53ABC2C73354C115],[4471A5D99A8FEB99372E1182E4092AA81FAB56C55D306A24E18C7B7067E1A7D56D8B444CACB67CFC57702B06C96CF42BC16A59DF5D2A5CFD503F75CF,438C1B87D548E686DBE323178EC31294AAD1DB730D42B78DEE21CB9923F6A3D3C63BBDACF51AD3309280F81633E0E2EFA8B4DEE779A18ADF48683CED]]", |
| "FP4imul" : "[[3BC9B43F7526FA4DFEC1410BEDB4A43EB007A522ED5C980CBF0B3739FB5C4DD6BDD5C35765A0F8C1C7EE0EAD81A43C122231B02647D440968BA9EBE9,03E569345D859C9853ADF4DEB7E08F40F94D504560C01F4865994806FFF91FC39C15D8D4106E006F522F1C9902175767ABC8FB0CA34861F8DAC14643],[21797D458C27CCD01A2DA522B905C823256C4027654D36DBBC85BA4D4FD9E63EAC1F6C8E5C8A0A3B52623D804790D7D62CD886CB52924E007427CDCC,3AC80BC37C942568A7774C48C2C38DAF0F4E965DAD7F1526EDDFEE42F0A098A5354B2F93326C4E721C9A19207060F05B25AB76C29ED44824BD796878]]", |
| "FP4sqr" : "[[29A001275B59876993F3EA1EA0CA8EC03FD5C6EF21CD60332F81ACA192B638C58360BF3D4BCB975A1ABB7CDDD3F75F7B74C7B740E05E3143D69C3D3E,0A21F57B4CBA19FE3430C83D6ADD9799AD53E2FEE4BBEEE67285E1AD35355AE596453C54F1C739F03F10C04B19BC7155BFAE1ED89A285FCEAB307AEC],[0535EA35E4CDD9F34E1523687C0A866B9354245100E2FDE11BAF00AD950409E7218FFFE0F4FA8659F71B48ACD03A12EDEC18533B5B532945B87BAACA,40484472E9BB1F9CCC8C3E80AB808721A982CCA3F825D33EFEB0E42C0827389A0A753C619DE4BD6F1751E191CC62C31D01F131DD53C560CE8DF674E9]]", |
| "FP4mul" : "[[1DEE7BBEDCAC253438D3D46CCD1E0A6C4A0EA9AD8088EA5EB474F76A695BB7BEA9D26A16E134BA03AC2B3FAD7FC0B6F90EA4D84900D0A89B74306AE4,4EC67EF9129F3C1C021AEB6A438E916710572E049C274A3449F02EF64CCD2581D954A267147FBAAC302501DBC4FA447FF4D196434F6ADE4ADB9D9DC7],[10B969C442093E472747181965734AEDAD32051C5F675AB3B2E4671F2C41ADBA20C9EFF6F8C80857B91CD27F1550B379C7DA6630F00018926A0EE6E4,0A550C1E3CB349905B4F03468D4CE067D364A6C1C7DAA3B6EB57EBC58B2854E774EFCB188CBA83E3BBC8D375C5A8650690CFE8A31CBBBBBF9A688A5A]]", |
| "FP4div2" : "[[1830F373E97DF556C064B23F12534DC918CC3A9B8A4E5735B151F8E42FEF728FA7FE7064FD4DEB5D7B61CCBB5BFBDF5381BA7AD58AAED5AA4E48002E,0EE03C47658DBB0DCE8C258CDEAFF4F4250281CBF2DEEDBFA269A65BB0B44037225E73F9C470174FBD174F0D46B9B93718A90751449785E55B768F3D],[3E7C3FDB99E47B49B16EE3CF7455C055C96887081BDDD5F2E556B321A579E76493707C1C1638B3FEA0A388B9D01A23E5A24237093346389A44B55B14,2640021DEB5CF2CF9D1CDB864B35A71A7978573B0D12FF42F545871589858F4899977CF00BCD90E2B8E3436CF4D128057E564EBEC28FA1D33840EDCD]]", |
| "FP4sqrt" : "[[22CAD1F04F76460644FC9B52B48EDB5644988B9D22FE26A8862AEF254D88FBC4AF156532CCFC5A0D0AB56D7C8D6BD3DD0ACD435C7B4B943CCEDA64F7,160BEB2AAF076D3C9637AFD6E749DE2C4571F164CFCFD38AF7E39E9A0927EB342DC22FD7407BF77AB4FAD8FDF8D3F63891A7F86FABE1397F98FF25C3],[253E0D56864C27325D427FE2FC470DE62BEBF484772A6BD2D8CB1E92F01AEBBDE80683ECB864A59B519BCDE784781F3CCCBC601B53E7CB523EA69211,3EC1C44E31400265839CD69569004A61C915A31E474CFAEADB22B76D574A51D4A90D4822A262B7D4AE363853D22729D07F2DE1A736CF5AD4753FC37A]]", |
| "FP4divi" : "[[279C7F3F2FFC30D8DF42DB30686C5233AE0F538DE74238B061CCC82426B36D41F4C01931A23EDC8E24EA53BCF9F147E85C573D376E47AFCD3F64A0FD,4C80043BD6B9E59F3A39B70C966B4E34F2F0AE761A25FE85EA8B0E2B130B1E91332EF9E0179B21C571C686D9E9A2500AFCAC9D7D851F43A67081DB9A],[27112FBB4F0BB0648EF0D7CBF10342BD3DCEBC677D2D44F553BB9F3FE0A3B2C6CA5CE45EC1BE02AD38791BC8A2B5988A9A638226CF465B8FA9BE8F6B,4C0B494B7FDC8B7191C25FBC4C9BD5A2F0F801B2B90A09BF59F84B96A5052F2EAC80E29B5154B7615E1240089100D9C67F1BBD56B22D71A25734A43A]]", |
| "FP4div2i" : "[[4F38FE7E5FF861B1BE85B660D0D8A4675C1EA71BCE847160C39990484D66DA83E9803263447DB91C49D4A779F3E28FD0B8AE7A6EDC8F5F9A7EC941FA,43A407FFA9A70583F0D881AAAC976DF2011FA269E3D289D66C357E3701D5DB9B343D14B9A503B81BC7304FFD2D01A033112C0A2011F9C5E596FDA209],[4E225F769E1760C91DE1AF97E206857A7B9D78CEFA5A89EAA7773E7FC147658D94B9C8BD837C055A70F23791456B311534C7044D9E8CB71F537D1ED6,42BA921EFBEC51289FE9D30A18F87CCDFD2E48E3219AA0494B0FF90E25C9FCD626E0E6301876E3539FC7C25A7BBEB3AA160A49D26C1621DD64633349]]", |
| "FP4inv" : "[[22E1AFCF190D295CDFCE0CA894688A709CC3CD95C2567D7E8260EAB2E80ACC0E047C6B9C514FD4FCA61E435F9125B3AB6411A6D2DE2E93B30D15E481,0DD1C9B5947B21F180E80E020B4447C2201F73CBC72A01ABAEE780E74BA28F9F68A6E9FB5544889FDA430EC4A98B319ED5AE7E53FB435045795F5050],[BD6F9D894F3B20AD77A65F29283229FADE9DF3AC4601BC8A6269CD20ED1AD903CD463EA40376881448AE19488001C2EE7773246148F0F7334AA18F,453D6B78D47F5AA7CFC7A0021A8D15B6104CACDC11D4C51F089AE416B9A2F50888E5343583A9BB03FCEA92B708E6C11F3300C2658C7D7D896697E4AC]]", |
| "FP4mulj" : "[[30787B7B5D0F10F428A41092524032769FE05F9A1D95AD5FE022581837E8B037F3B1FE5814D64637CF808A99B691F7C047D7D094E16D2D8E18E8DA8E,1EC0830302E950BD95E1A5CE7E9871F0BC3E4781B0EEC400E3773830157E2A4BF5CE340B2FA772E47A541CE03D50981070D6A9D9FB22320C65E0676C],[3061E6E7D2FBEAAD80C9647E24A69B9231987537149CAE6B62A3F1C85FDEE51F4FFCE0C9FA9BD6BAF6C39976B7F7BEA70374F5AB155DAB549C90005C,1DC0788ECB1B761B9D184B19BD5FE9E84A050397E5BDDB7F44D34CB76168806E44BCE7F388E02E9F7A2E9E1A8D73726E31520EA2892F0BCAB6ED1E7A]]", |
| "BIGsc1" : "3BBF78E307974ECEFA3C2ED46559EF7F8A77F79EC67BFC138D2D14B9BF9E49AB61AF3B43647138FB4DD44947736DD6F353BB4213460ABF94E16CA2A2", |
| "BIGsc2" : "1C", |
| "FP4pow" : "[[1158976B4B3DCE611C1143DB54762A08E79FD0570BC71C8FD68E906FAE0AB9124740449B52A53C423330E89DBD37808BA5C5E5766DEE1DB7448FD272,3E7F73CC873B76249D727C7D90891BD097C8655F1643ECC77F7A6FB6E872B01885865553C6CE3D106CCC166E2BF68880F8F4FFFC31D10A540009796B],[1B575727748E75C42353DB80BFF60AB690401D769FA8E82EF070E78F2A1667153BE1FE198000636F789AF2FB9B8C98FAF19110778F04AE7C4E71D026,44D3EADDA3B944DE8399F51BB63EEDAA9F37F03F805A61B970C0E1E23AAF4ADEF957609729CF8FB53C62060A0716FF8BCB35F3AC963EDBEBAE0A7290]]", |
| "FP4frob" : "[[3061E6E7D2FBEAAD80C9647E24A69B9231987537149CAE6B62A3F1C85FDEE51F4FFCE0C9FA9BD6BAF6C39976B7F7BEA70374F5AB155DAB549C90005C,379B87E938B14F9EE682A154C2DF448F9ABCB6EA6ABB97B6240D5167C2D7E118ED63F71301525CCFA22E1F9C18CF8D74B6DB22386F15B59C9318F6B1],[21DBACAF3BF4D0B6989F31860BF9BAC1707AC371B1EADBC829B699083B02E84CBB9FF3765E7BCA3F52ABE60642FBF341EA9EEDF8F79990A8BC75E7E5,51DF4952FAF869200ED5E6EF49BCBB89BFC8E6A6CAB4C9C88157C113454BFA85C032937C215E56C2C0E00C9407CFA143175000D635747021B748ADA4]]", |
| "FP4xtrA" : "[[24742B436BCEEE2646B0A05D05B8B236B7103AE8F272C537C51ADB83D8A4F76A02767699BABF2B1521DBE21106D32FC788917A191223DC6EC500EF7A,11E1E24FA456E78FE07F2C4551E780D0FBCCA053FBBB85A7E37B1BDF4B463A11EA13E85AF01C68D36D6ECD44B48FD20B9B59A3A556FE112957BA5415],[2C584D6520442FB79D0C7E6EF1D1A0311324F5D9E07CFC96B8437C10ACB1CB35A7B390817C4506D5FAC83F7F311745025F76D7F9FF901C4C4E26BA22,3979853894447B22E464683B655F74CDCB1CC5F84943B7127F29BEB0A244F6CC096E3FD0163D1C60B629A6604E411AD73A965861BF9231A71DE5BFD2]]", |
| "FP4xtrD" : "[[1E3833CFB92E77C915FC0D90D7BC8613C1669703490D7691D31A672FF738D00E1587DCAFE0C67553499107A70A4AE210560AFCC5ADE79C01E78251B1,23FD04D5BA4FF3817D9B1E78705CF240FE0B965169B9AB1D51BFE65D96A4BB903EEC4B746A396820671041CCA5188C5C4537326E800F09A0875C5323],[546EE8B444C63BA50C9AD9C94CE32AD2EF72CB6CCF676F41DF4890F5E26AE46B0B10324439783F7640EFF026C41CA2BEA4C6CDAA37E288E03744ECC4,2E904BFA8F955F6639C9D3BCD7D8C69BC5E0B48B8B7EE9E00205C443E5BCB2AE0C917214B8B5EA1BC22573D85321636D2AF00B226D7A654CDAEE01C7]]", |
| "FP4xtrpow" : "[[50D89EDC8B74B6D9B1874AF6A1032494E1801F55B9ED1BF2E1FC6CC72DC0324F2FB068D3A1836AAB488BF57E42721E1F2D41191915337363A937CB7A,4C58AEA32EB75D9679D857DE1F8107EB71B7CBAFDED7A6AC4596BA1196F6ED30A44B25444672AD802F505239FD4E2B2BC9F49C6C16348241DCC6299D],[1FE519667B972E5AA3C2340C97B9DB016AEF1FBB0A7D79FBA0B95AE7D9FF11A18C5050788A019C932694C43E2A98CF6A9F95A0F3252ADCF4A4DB2C31,06B05E985F300A6367B8A6F656D7369E3AEA961D1524E19F53F05172F0028924CD4E55D8C15D9C5DCA7F8A24F0A237D45519D312B161ECD47703E9DD]]", |
| "FP4xtrpow2" : "[[37BDA3FA75E23AB5241DB9CFA56EFBCCB82670238DC212A3FBEC683E38822CFF748D5DA68F82A66F4751610E035490E41E47C854084BAA382CB8AB3D,45E97C06FA0B3B977B9C8247135E0B2BEC632E101F60C66D75D417350E2D0C879FDD4D7080092935304B839DEFD38A99A255A8D222A4616F48EB1B49],[46B7371825188CBFA25F41ADBEE2FA1350D88292EEDC3B1452B0549E519C8B29DA2D674DE9131706027E30C6E34A62E1DD717584E9A5F51D4FC870A9,2C279BE7AB00C062474878B17FBA8E69BD0676AC56EDD6888A5FA675B4F32A76F654B6ADCE2F188A051C5755AC52E3CBA00B0803AC6C81125AC1A8E9]]" |
| }, |
| { |
| "FP41" : "[[47943F15F60A858CA91FCD34404907DF1BB5AAD7739029DE96FA6E15F2CE03A04F53E9C5A222E433E146A22B9FD47CD05C979B5D04F372AC4E5D2CE6,4AFCCD9A01DF5810E32E8E354C9D1B7A3A6926F3535079CBC81E3F2EB120807D1A3EC25984A710CCBBE058F61F8BE2CFBDC5F866D8C2652BBAA635CF],[0D4C469C0A57144C230C72040EACCA36E3F87A9143F40839CD6EDAD67DAC8FC3A6E22E0C68002BF35BDD9989E78B30A68D1FACE63197940DD07A8181,53A41E47FCD06D04334C55E56614F0FFA2C47652E9B9E7FE5A4D5402678A5D40B58FB1FD82FF75D9EAE24A355ACFD693F725A288F2E6E9BA5E4D5BA0]]", |
| "FP42" : "[[5046BE078CF11C64A66925A2D158A8F920810C07B0B8D65A179EB5A79D52A7B6BA5DFD9BB189029B89ECB90DE2B80FAE0B4EDB5D1FC33EAE8DCBDD0B,399FB62B29D53A860C1990279418EC0E320ABB4DE8BD1CB6E03FB017003E8949BD138AB305D4E264128B2CF996D86A8235598234FCE097EEF8253C8F],[1A9CC10B171672668B879558274C043F3DBA74D855C9D3A4848B215D4F14A466A2B9940AB74C5637D7556D129C621911D372332519B17C4BF749157E,0F11918A9CFDBBC21FA6255B38E9DC00E274808D24EEB7F4DDBEB992DEB3109CE049153D9F7DDBF7EF2BF6C1CC474C3EB050B679DCE14109BD19D9EF]]", |
| "FP121" : "[[28ED2181D1D239C5353744EB7FF208287AFD2F78F5BA8EB56C62629303333D915E902338D47914F67AFC74E88E2C676109982271036A7D9874D08C9F,13C77C2623E81700FEDC57F0A85929D22A056BF3EE016EB19ADF6D4E371B6E095510029E3A93BB77EBC729371BCE83641CA9DBC731D79F5D168DB930],[37BA012D19EED94A9271251C7F860C0D343A310DB61263E395DA783D9F5344CCE86EC1A4BA6C2C85EACDE6236AD7643FD5C5D614F00188C1953B6194,3A1A8BAF8CE538C9426534E23155CA58849A5DD59E6D20616C0EF2FE0AB606880BE7FD8CECC6069C892BD8875D45F99EFDD75120F2B2FE2FD60AD4EB]]", |
| "FP122" : "[[28ED2181D1D239C5353744EB7FF208287AFD2F78F5BA8EB56C62629303333D915E902338D47914F67AFC74E88E2C676109982271036A7D9874D08C9F,13C77C2623E81700FEDC57F0A85929D22A056BF3EE016EB19ADF6D4E371B6E095510029E3A93BB77EBC729371BCE83641CA9DBC731D79F5D168DB930],[37BA012D19EED94A9271251C7F860C0D343A310DB61263E395DA783D9F5344CCE86EC1A4BA6C2C85EACDE6236AD7643FD5C5D614F00188C1953B6194,3A1A8BAF8CE538C9426534E23155CA58849A5DD59E6D20616C0EF2FE0AB606880BE7FD8CECC6069C892BD8875D45F99EFDD75120F2B2FE2FD60AD4EB]]", |
| "FP123" : "[[4CBECE28D1F11EE06CF159755009F3AE9B9EB570F0EC577FD9DBDC7BCE75194FE08525E8302A20851CBCDD537F14A9EAD40D91DEDABEA7EDCD80B116,0E7A2AC4FF14C09DA04AF9ABFD99AFFE8E894CB46C366100CD1BF3381A00D8B92988DC946CF920505BD2C36127C40F240B12489E6BAAE2E2528A2423],[343F791481396C5B76F79DD90609BA04C30033584AB1CCBC216D1C109CC78DA8720381E5B867FCB635D72BFDEEBCAD70346236CBF91B02974F0C1B05,2D0C8E6CB51CA3B2EAD9B668A784D8D60AD74D3B505B2F58FB143D9FA51629CC528F3914866A491054B7DC7C11189167DD0B05587A38AB246D201F8E]]", |
| "FP124" : "[[2E58B19A0FEB3DB918D159645225DB6922D52D555E8AABBBBD495B42533F6D981B89D857E3493E009F0FA9F6847301FA7542D88848DCADD0F15D6D9F,54DDF459ED193B0FA3BB20D92F3EABE94D186157C0A48CBC1436716BE00AB13E061EBCE7F2C5FD2E444609DA0297D53A913B91CA0946D2D071D9C80C],[201803169FF4AA168EE2CDB2858B7D5AD2A7BA1E14E85B10C0EBD023AA4770B07CA2A1C3452F2536A15404E66DFED2FE01906AF8B53DC062E239520F,14345C7E007232DBF41D26DE713339623175A67F2B478B729D76BA857A024E2BDEB3179649A57DEB537CBD1CD3DE68CC0B5CE0A06ABEF3BDF3319D9B]]", |
| "FP4add" : "[[427EFCA57F2EDC36CBEE0668916282605774FC5CD3CF8D0345B8859E6BE049CFD791085AC9795B604ED69D82DC498C9B7FB945DF2C71EFF39222F4C6,2F40834D27E7CCDC6BAD31EE6076D91087B227BEEB94234D3F7D51268D1EA83FA5316E06004967C1B20EC83910214D6F0AF249C0DD5E3BB368C55D33],[27E907A7216D86B2AE94075C35F8CE7621B2EF6999BDDBDE51F9FC33CCC1342A499BC2171F4C822B3333069C83ED49B86091E00B4B491059C7C396FF,0D59AF5A9601630BCF578ED21EBF9E88A0773C5DBE2F2CBDCF2B6F7621FD0C5663B7E834984AC662BDB1834080D422EFBF492827D783695CD1612064]]", |
| "FP4neg" : "[[0DC7C1620DC2402DDA7B1F3A3FF62698C90C0FAADCE94956D1E6300931725DE6E2CCF540E80FA73B3B161B8B066E83128B95957DF3514EBAFBA8E845,0A5F32DE01ED6DA9A06C5E3933A212FDAA58938EFD28F969A0C25EF0731FE10A17E21CAD058B7AA2607C64C086B71D132A6738741F825C3B8F5FDF5C],[480FB9DBF975B16E608E7A6A7192644100C93FF10C856AFB9B71C348A693D1C38B3EB0FA22325F7BC07F242CBEB7CF3C5B0D83F4C6AD2D59798B93AA,01B7E23006FC58B6504E96891A2A3D7841FD442F66BF8B370E934A1CBCB604467C912D0907331595317A73814B73294EF1078E52055DD7ACEBB8B98B]]", |
| "FP4sub" : "[[4CA981866CE62EE2865193FFEF2F8D5DDFF659521350C6B9E83C568D79BBBD70C716CB307ACC6D0773B6A6D4635F6D053975F0DADD74F5650A976506,115D176ED80A1D8AD714FE0DB8842F6C085E6BA56A935D14E7DE8F17B0E1F7335D2B37A67ED22E68A9552BFC88B3784D886C7631DBE1CD3CC280F940],[480B8608F70D67A01B1FC91A679FF46F8AFFC03B3EA3A7CAB1C4579852D84CE4364979083AE6612AA0E4EA2DF16C1777A1DAAA9C102AD9292337812E,44928CBD5FD2B14213A6308A2D2B14FEC04FF5C5C4CB30097C8E9A6F88D74CA3D5469CBFE38199E1FBB653738E888A5546D4EC0F1605A8B0A13381B1]]", |
| "FP4conj" : "[[47943F15F60A858CA91FCD34404907DF1BB5AAD7739029DE96FA6E15F2CE03A04F53E9C5A222E433E146A22B9FD47CD05C979B5D04F372AC4E5D2CE6,4AFCCD9A01DF5810E32E8E354C9D1B7A3A6926F3535079CBC81E3F2EB120807D1A3EC25984A710CCBBE058F61F8BE2CFBDC5F866D8C2652BBAA635CF],[480FB9DBF975B16E608E7A6A7192644100C93FF10C856AFB9B71C348A693D1C38B3EB0FA22325F7BC07F242CBEB7CF3C5B0D83F4C6AD2D59798B93AA,01B7E23006FC58B6504E96891A2A3D7841FD442F66BF8B370E934A1CBCB604467C912D0907331595317A73814B73294EF1078E52055DD7ACEBB8B98B]]", |
| "FP4nconj" : "[[0DC7C1620DC2402DDA7B1F3A3FF62698C90C0FAADCE94956D1E6300931725DE6E2CCF540E80FA73B3B161B8B066E83128B95957DF3514EBAFBA8E845,0A5F32DE01ED6DA9A06C5E3933A212FDAA58938EFD28F969A0C25EF0731FE10A17E21CAD058B7AA2607C64C086B71D132A6738741F825C3B8F5FDF5C],[0D4C469C0A57144C230C72040EACCA36E3F87A9143F40839CD6EDAD67DAC8FC3A6E22E0C68002BF35BDD9989E78B30A68D1FACE63197940DD07A8181,53A41E47FCD06D04334C55E56614F0FFA2C47652E9B9E7FE5A4D5402678A5D40B58FB1FD82FF75D9EAE24A355ACFD693F725A288F2E6E9BA5E4D5BA0]]", |
| "FP2sc" : "[37AF83CDC06AF173A70808A3720EECDD629FFDC6F6062E4DDC131DEC9129E1ACB2C184B944D444C7FC9ED7BBF6A9CF7375C1A31407C74DE30BC457DD,07BAB35F62B4471F7ADA3FE30EA50D55FBF21232FC15B5E5073D13C7D264E27141E7C98A78FA2FCB004F5CE3BC7DCAF3651EA8A150EEA41DFCF7BD74]", |
| "FP4pmul" : "[[328313B59C84EA5E9CEA0AC72E4919214E2B6877201D0C2944A458472A00D220CA85B344B26C427ECD650C4D54EB0F05F836FC2B05F77EF909E57817,371DD472AC41B44CF7C3A06C5B4761A350CCC8E6D96486A9C45DAE63CDAF0485CA115B1F1EFAD779FC8EC0812202C0683CE36C114CBA1F587D8E9BF6],[2B29F1E1831B4E4143CBB5186FE5A5E93FA363BE4B328D69AFCD5CB864E26EB732612559DE167EF6F247CFD5E65F4B1196E1CF965915336082F5E70C,0567EF213B845043B000EF22D01D12D375D56E3C431A5867B10CBA3D320DD920A2B1446843A3D5A28221178C4D0E28C300933A5A8A33A9B9D400FF5D]]", |
| "FP4imul" : "[[1E3CFAEFCCC3C50319AE6F8580669414C0917BD6DCD44DDA2147DDFA5E76E9EBA6ED0A02E9F3EE8230044F8A8C88F398B9D6DAE32AFF867B5B627417,2BDF34FFFC170F1401E97389B1B6E2813B5F6C465BD58D8EE5D7225D57C0DD5ED2986C527404A0E59A6B2AB48B668B963E904F0A7A3B50790C8697BB],[35311A70295C51308C31C8103AB328DB8FE1EA450FD020E735BB6B59F6B23F0E9B88B831A000AFCD6F7666279E2CC29A347EB398C65E503741EA0604,4E7C77B7E7DB62E14260924A17963896DCCCA9C4B57B46592E9375AC3168506D3FDC2AE26D66351A5672EFB178765AA7240EF792E2CD62B39B232EFF]]", |
| "FP4sqr" : "[[23A156261573F6CE1663507B63F1C3E58589B052A68807D4D384109758E4250EAF76B38D26D1D2A3C0D99F324F5713459370E96BB0FAFDD7351B5CEA,4C51258E719F7A935966B496B76906E44CBD0FD25BCD03BDCFE1217C7252A285B128580D9F011D0E0B39794DF4050D9C20F1ECABD0DB7A862805B823],[35639B0AB3C6741A09B6044BC81F98A5297A0A5BA8F2F01C7DC05ABF96C30A49333DDF3146AF4A3C1B456C8F98A84D916A53A7DE21CAE1FC8758DA85,0EFA098796FB254B1F608D417642D5152A6E6028AE6BFD49CA06126383086E39DF5E85AC79D3E9288FFC46FABA29B509C4BCE7D991A104AC31EC91AD]]", |
| "FP4mul" : "[[51D58517D979ACF53B8DDCB57BC878EB4BA172D3B7FFD133EA3938D54AF3C034FE7E9378AEEEF833507F24A1D48B57675F8ACC4618552F7790878F0F,384E61F6B591AC639A67A0B8EC66D7851B5BEAABAADBC2E4D70CACA6BE63DB6343DBF28B6F60B9CE42E1892BE82322EA5BC8F8FC7E86942EF1B10EBB],[1AB2761F15DF188CAE1D759489DA58915DEAB4AC1A886B2A41B0DA131C071090778ECCD6C68016A6DD727FB10E58F4B7EFC7CC419007110182D6ED20,7D7829AA1BEBF7A4A8A6CCCAF75B3D075F36BAA44137C3D35864E25EDA5C8D9961B1305A141F1898D9B4AAC808381FEEBC86B96A9960BAC53CBE36]]", |
| "FP4div2" : "[[23CA1F8AFB0542C6548FE69A202483EF8DDAD56BB9C814EF4B7D370AF96701D027A9F4E2D1117219F0A35115CFEA3E682E4BCDAE8279B956272E9673,502C670902D60EE5B364BD51E66E24F90F9570BAD1E4F680987F6EA6EAB07102262FD0B0076CCE1DEC1E8B5662E7715952F994A0E88393498256257D],[3154238A0711ED035353AF394775FC57645D1A89CA36BDB79B27BC7AD0F678A56C81868979195BB13C1D2BA046E71844BAA66EE094EE2ABA8D404B56,29D20F23FE68368219A62AF2B30A787FD1623B2974DCF3FF2D26AA0133C52EA05AC7D8FEC17FBAECF571251AAD67EB49FB92D144797374DD2F26ADD0]]", |
| "FP4sqrt" : "[[06350FAA68BD6152FC0D17C8C6407C47542F28F85125FDAFF318E7A225A9AE078B3B4FE7D68496BFDA57FDC8A7516718D0BB69F54DB85F36F3BB5E7B,527A4808FD2D77644E8E43BD5BA025310C83024CD19263D3F0FD7FFBB3BB3590F994A1D96FB98F086827000BCB582DE18994A8802FB07910CFFAB421],[2F1B6217D1E69A2AC1325E96D761F93CF1EA76B596E4A50E94CA1ECC173C7A643D69885E0799B5F7FDE16B963313B1C4934BA09F70C46F021A2D9FD4,1A9EA8712BDC2CE38514C90307FCEBC8866027BB4F3DE3AAB4A381F59885887D5A455E7DDA87AD28B83FDEF985C39A4463D0E03B35D204FA9E6157D3]]", |
| "FP4divi" : "[[0D4C469C0A57144C230C72040EACCA36E3F87A9143F40839CD6EDAD67DAC8FC3A6E22E0C68002BF35BDD9989E78B30A68D1FACE63197940DD07A8181,53A41E47FCD06D04334C55E56614F0FFA2C47652E9B9E7FE5A4D5402678A5D40B58FB1FD82FF75D9EAE24A355ACFD693F725A288F2E6E9BA5E4D5BA0],[1E9A861BFA0E8BF18459B77D86537A70B8AE8BA43B33983A7B1C0792BFD7114B1BB8E68C4E4BB4C8C0651EB58C8EAFDE9918317472B88B385F7EA6C5,2C62477E07D0CC1F5ED4D6B7C649A10981BA9B4F181CE1914D02379BF1496F31FE85DBCD365B5C03FB7B3A4092FD32F124ADC6F26609D9F35B278F0A]]", |
| "FP4div2i" : "[[1A988D3814AE28984618E4081D59946DC7F0F52287E810739ADDB5ACFB591F874DC45C18D00057E6B7BB3313CF16614D1A3F59CC632F281BA0F50302,51EC3C17F5D4144DE2FDBF5C4BEAB38760C7322382FA5CC74BBA09E5AAD458FA38FE84F47BCC6044B967D6B40F5CAD45061E1436ED89120D7294A215],[3D350C37F41D17E308B36EFB0CA6F4E1715D174876673074F6380F257FAE22963771CD189C97699180CA3D6B191D5FBD323062E8E5711670BEFD4D8A,03688E840BD4D2843A0EC1010C54139B1EB37C1BDFC04FED3123D118BE527CDCCAEAD893E2842C98DA99B6CA7FB765FF612E5D09D3CEF27F6C4908E9]]", |
| "FP4inv" : "[[40949D951FFAF4A93725AD0AE44C5F6496DB0CE74F4880A7AFAFD88FB93AFD629E8749313D33D755F0DEA14F9B2712F76E4F142E16628FF929D63009,09958202AA683569D18F3B6E54EE2AAFB0F16B4CF60034295913934DF781A0F584EEFC83242C74997D096FFC7FDA167C1DC9CE659CD51237828087D4],[01B8152100079E4DE34B3BB8D1797D688E8C82F8A6FB5ED847843FBC417A355F2E37B74D4D2E59E75CC0514616714721BCCBAD17C17591B1C8C6FFEE,1E65B5FA90C019376583C3D81510C2C94157FF02C1F7BF14495F3C0D326BB477D146FDD14952296337AA1AAB427A9D757704CEE48C1BE6EEADDA46D9]]", |
| "FP4mulj" : "[[0F0428CC11536D02735B088D28D707AF25F5BEC0AAB39370DC0224F33A62940A23735B156F3341888D580D0B32FE59F57E273B3836F56BBABC333B0C,0B94646C035ABB95D2BDDB7AF4828CBEA1FB3661DD347D02BEDB90B9C0F68B7D2A51010360CD165E2A6326089C1807579C181E942C39BC60E4C1C7F6],[47943F15F60A858CA91FCD34404907DF1BB5AAD7739029DE96FA6E15F2CE03A04F53E9C5A222E433E146A22B9FD47CD05C979B5D04F372AC4E5D2CE6,4AFCCD9A01DF5810E32E8E354C9D1B7A3A6926F3535079CBC81E3F2EB120807D1A3EC25984A710CCBBE058F61F8BE2CFBDC5F866D8C2652BBAA635CF]]", |
| "BIGsc1" : "23374B560C7318C1EB822572271B27343AEF1CE091D7BEAD9DA2092BBC0187D1F30E9B278BFEB9868C3CA18782CDBD0A00400212DE305FD3E8068F2E", |
| "BIGsc2" : "11", |
| "FP4pow" : "[[0606191B0ECBE9808E7D97DB59BFD412C837B14B995F9EC123965BBFC4066AECF099886EA7C091580CE839C4A646C98EB377DF24ECEB4146C885B1A4,02AE12C21B7128BFCDC93B9CB6A70F69AA9E60CC70D56F9B4950835649BA19F2E61849B6212159ACD85A25838AC2ED03215B023C689DEB136E6B1A02],[1F1A2AB5D78128A68E45A3EE0CDB4B808F08DDB021C2E4D1ACEF864702EA39706D51F4F98E4877AB5B6C0A147E1BA27578EB19F687AF88A2EE849FE8,3847066C7F620DA6A1F6E1DF05D7E78BAD459E9A8751DFD7AEF8E697F093A39951198F1027239C2E6F88004B15D341214F937800352A6F1766386D6E]]", |
| "FP4frob" : "[[47943F15F60A858CA91FCD34404907DF1BB5AAD7739029DE96FA6E15F2CE03A04F53E9C5A222E433E146A22B9FD47CD05C979B5D04F372AC4E5D2CE6,0A5F32DE01ED6DA9A06C5E3933A212FDAA58938EFD28F969A0C25EF0731FE10A17E21CAD058B7AA2607C64C086B71D132A6738741F825C3B8F5FDF5C],[331239305BDDE3888624EF460D611117D0FE3F01831ED1525E3C88A3A36034AC11DF83426064C8F57913F2760407200CF121BED239C0FFCB0820BED4,42D2E3033C9172623E3BEA2A41D79C3C21DF509A41B2441A67E9B5DE7A380DBFA97C6564AC7AA1BBD49D191E57125AA31481BE08A6BF4A7E4DCF930B]]", |
| "FP4xtrA" : "[[2A987BEDB7C0683729CE11BF02149313491288CE33B3FCAEF2BC45D4247260CEEF2547937CE55A499B686DFAFF501754D667FD60361FBB8DE6FF975A,4062393F74767B1223AD283F527FFAF0367CACC8F40B16165750E03482F3FB4B52FD428C97C0FF561B10488CB9620D02FF5681545BF86A90D309DC36],[3FE8C4390E7A712485339D673BCC4ECA1C2D42CCD219AA6671837C3D76F28D679EA3769B697D56225E63D7312A2634D78E65AB13359BEB730C95FBEE,3CE7477D4E20A292EEA56595ECBADF9E535D47E02611603B080E0C3529208A17E4C7682C40D61A046C2DE8B3221D45E17A4E0372548977695EF1B4ED]]", |
| "FP4xtrD" : "[[3F30D8EA30F87729CB598EEFE3DE111717A1CFA8605A9A82775070A9BBC8E0DC75109E0EF6F1211A3705D6485C34196AAA9C1467979D9B4D2C6D2D74,0BB38AD271AD902C16A4849A9E6DFE67BCAC7C6E05A5835BA885413E34520312AECBB2611FE586E3AFD585185B3047DF8D932CB9179B7195FCBF61B0],[4FFC2842C8749CB24FCEE853E5792D12F16AFF7E30DB0090189E106C921C29D081023B4A16AFA222D3009FA367BEAEDE849301AA84FA0A18284DDD87,0B8A4527890273DE7EC3602F41EE5A24A673D7C9E0ECE6DBACDF7E2A099C65ACE63C2B9A6B6DBDFE2D075FF82343626BE2ADCB3586E555525A7B1E97]]", |
| "FP4xtrpow" : "[[13D8FD84CB086EE5DABA106F68C8DE599F193030BA60F7B63FDEF6261CDDACFC368B1B2FBDB38D2AA06102E1DF0931F3F6F6D1D9B4E47176E245FF5B,2BEA82FA46954B698E0D6E32030B2DE567135934A3E3AE4C03DB6AB465FAE49FCB6519045ADC196EEA19B491F63A661BB000307E3A2761976C3411DD],[39D4EF0863D9E06E29BE3D6593F447488A18F1D0A70F833BF723B6F291CE516B3B38837CBC9A4C56B7132515E05C0DAB77703E528BE7694984F86C7E,0D0B857D2A9741E3EC08AEF3243AC15E5DC2DBF28459DE76599ED8AFBAAD1933D4599CFD1B1E2F7981AB4BD4E98F78D25B53597A5F7883077D0472AC]]", |
| "FP4xtrpow2" : "[[279AB2997B8812708D88B861CE7C82300C6EEDEC55536956910407379865422E4DCA24CC51F3BA78DD7EFA63AA16042859988EB9D626494F772549AE,2FDC548A948A2D5C3279929D6E53733CA495D78CD9642DE7A7142B063BBCADD75FF0552635D71640ED6125F2A630D72A9E768966E6C9B38FA1AC3D6D],[29950342CD40A1EAC74F27668CAD727DA07CE9C4CE68422673358B1F6DF9992552320459DB26F51C5BC40D659BF7D4691FF9D641BD99A101BF55FD6B,5075E3C671C1DFD61B4A3B1974948D29C5023756AB8A164D3C0F0C854845ABD8F5C2971DA1A1A9CF596A9101AF1BF7EA8769BDDC696E0009BF48EED9]]" |
| } |
| ] |
