| [ |
| { |
| "FP41" : "[[0ADEFD201307E25BE2A66B2A8A1E1FDA9C554E5088ACCD8C15A1A959D6E6F7EB03CC71405C375941D38E562ACDBF5BF05BA55505ABC4A7E1D475,0C58842FED68A4A4B965F3C0A762F9BE1BF2697C43C4016179AF51CDD53DD0DF2E2B0F6CF3945C3A5E4A9A82507AF7B791159E3BEFB37C3754CD],[34FD0F4403252394B60C3B76318C5C1D7A4BA8B525A905508E9F9139C5806883937D028F178C4A32414609F512E87E1B6EF8410C3E2E994262,1105ED8EB61D8B1DFFA4FBD7214EF7992602E667B91425102CFA6B86C12D1BD26ACB30F10BB9A7585928B9179B65D8A3C8B99D6F46B4FAEBDA2C]]", |
| "FP42" : "[[1415662704A930BD7E4BDF0A863A8DFA644A65F162061D12B265B4429B80BE652BE1C0498A0AC7C78A499D88384F25AEA9827C9C2AACAA4548E3,14CF73746B72D2BBBADC8E0E18DC92EDF4DE11EE8E3E67A54DCB915BC83FF99766E0DAEE775E7327A65DDF9AE49D6192268CA9FFCB8BC28611BF],[0F32207F9C40C9AE9EADBB3E6BFFE20069035E5DC06F390F82BF7E8A0D00A2B8602594E338228B595FCC52FF865E4A8FF86EB522FA0AE9562FBD,06A0B204F40BC140D7B185F4D4FDBF4A24256E07415FAF5C352EA00BF3958A8278CD9FB5D647241DFA15DECA87F9A6DC51324204AB33A2E64859]]", |
| "FP121" : "[[063D09C6958C138041E594EC9336496B491F1EA3D737B1733E09B5A87D6DD45825A73A93125DC2A2D1A3A719095568629279A280F0FC2CF48AC9,DEF88DA2C77D795C60341DD044CDE90289C66A353E952590474D2D01FF2ECB221664A57618F10557E57329161B8ADDE6FF6E6E6063BE8F4FD3],[07C391D7DECE55F1CE07907D07859D8C585A46817FD379DA6C38A7CDAB6CB1827DF3AD77C6CD6839D5737923B920BB7CAFA35FF32BABDE3FB356,11E50E55D23BA368EA0AAC0393F86588C23F97FD061AD44708277C3CE8D78BB1B16AF77879AE841C95352E35C379810315C47B9E5157169C6A0F]]", |
| "FP122" : "[[063D09C6958C138041E594EC9336496B491F1EA3D737B1733E09B5A87D6DD45825A73A93125DC2A2D1A3A719095568629279A280F0FC2CF48AC9,DEF88DA2C77D795C60341DD044CDE90289C66A353E952590474D2D01FF2ECB221664A57618F10557E57329161B8ADDE6FF6E6E6063BE8F4FD3],[07C391D7DECE55F1CE07907D07859D8C585A46817FD379DA6C38A7CDAB6CB1827DF3AD77C6CD6839D5737923B920BB7CAFA35FF32BABDE3FB356,11E50E55D23BA368EA0AAC0393F86588C23F97FD061AD44708277C3CE8D78BB1B16AF77879AE841C95352E35C379810315C47B9E5157169C6A0F]]", |
| "FP123" : "[[12E8D1A827B85A8CB9697F47AA0998A0856E8F401C22963457F303EFD1839FA4740E2046EEE354D2E70D96C9F16345AA05553116ECB4FC3196B0,1386032B590E4371EA6BA5AB7BA94F3A5993C223EAD3293BD2AE70F096B88E50CF5EC770F9AC8508BDD2AD3E0966527A6ED048FFABD47ECFA32E],[0ED251A09A6FE7FADA894864933D0F573D594D97CD77BD49F1F5807C2AF6E2F7AFB3F8BBBA95BF595D982E8EB0D7C23014FC59AE3009B1A3C612,01EC133D2F6BBDA547FB9006DAB1323052628B0B9A05111093D5E5E941E1EA25F6407A0B28F163DC178BD4BC751A3D0911B6559B64EE86911ADB]]", |
| "FP124" : "[[0D4AEF6CA09AFE765AF0C7F9A07416E240078D14D9DE5CA500A2B3B28E368E1E5027667D089B23D1F6C57B2972EF9C5277C7374AF42952072AFC,05DACA5651C3AAC3B319F90FA3305201AF4D5CFA7132CC27DED6E20EB09388A9920062576A6D7C4DBBFD85D25BA5C800036D083D071E99856F79],[07CDD5BDF525374AFD117B513394F2D251A616F40F7195961DA2960AE30B22A4FD861F552AA0DB9EF323582DD21E8CBC3E4630E25DB7E631E6FA,1269E42C8BD5CDC967CF55C8075108C9DFAFCB40F3BB024E382441CAA7730E20FDF185912260894DB760FE11F327CE2BD08F876A1DF512950EEF]]", |
| "FP4add" : "[[099F0E01C263B8C4069C73A0FBC54E17918181692FE64623B382D259C987BBF412EE22633BB0CB8A5D97F39306092C49BA7D26F5D670A77C72AD,0BD2A25F038E1D0B19ECAB3AABAC2CEEA1B248921735C48BB2F657E6F49DD01A784BDB34C06179E3046879FD351303F46CF79D8FBB3E9412BBE1],[0F671D8EE043EED23363C779E2316E5C867DAA067594E214D34E1E1B46C62320E3B911E5C73A17A3920D99097B71330E13DDAD64064917EF721F,02514A4E54DBF2097D00AB37E1B95725DB0A21963FA72FF14DA480500BE2ABF8C6D8C180376F75F752FE97C2235A2A2ACF4134C7F1E7F32777DA]]", |
| "FP4neg" : "[[0A765825424577F977AF6B698A753FE2D2C8E488321FD6EEFEE2E1E8D1F9027118F39DE64E59FC3D2CB1A9F53245F964EF0555A6543C02C8D636,08FCD11567E4B5B0A0EFE2D36D3065FF532BC95C7708A3199AD53974D3A2297CEE94FFB9B6FCF944A1F5659DAF8A5D9DB9950C70104D2E7355DE],[15205836114A3531C59FCA589E61D36151A3E73005A6FB75C3F5EBB16F1A79F3992C92241B79C934CDFEBA160AF26CD72F3BB26AF3C27C116849,044F67B69F2FCF375AB0DABCF3446824491B4C7101B87F6AE78A1FBBE7B2DE89B1F4DE359ED7AE26A7174708649F7CB181F10D3CB94BAFBED07F]]", |
| "FP4sub" : "[[0C1EEC3E63AC0BF3BEB062B41876F19DA7291B37E17354F477C08059E44633E1F4AAC01D7CBDE6F94984B8C295758B96FCCD83158118A847363D,0CDE6600D7432C3E58DF3C46A319C68D96328A6670523E3740684BB4B5DDD1A3E40A43A526C73E91B82CBB076BE2EB7AB5339EE82428645BEDB9],[065831D4FD0FB5CA505E27911EC50A1923952023AF831470E253AC49D5A4D80C402DF7460186566FD2B4F32A6EB9F3436DAAEDCA1233EFEDBD50,0A653B89C211C9DD27F375E24C51384F01DD786077B475B3F7CBCB7ACD97914FF1FD913B3572833A5F12DA4D136C31C777875B6A9B81580591D3]]", |
| "FP4conj" : "[[0ADEFD201307E25BE2A66B2A8A1E1FDA9C554E5088ACCD8C15A1A959D6E6F7EB03CC71405C375941D38E562ACDBF5BF05BA55505ABC4A7E1D475,0C58842FED68A4A4B965F3C0A762F9BE1BF2697C43C4016179AF51CDD53DD0DF2E2B0F6CF3945C3A5E4A9A82507AF7B791159E3BEFB37C3754CD],[15205836114A3531C59FCA589E61D36151A3E73005A6FB75C3F5EBB16F1A79F3992C92241B79C934CDFEBA160AF26CD72F3BB26AF3C27C116849,044F67B69F2FCF375AB0DABCF3446824491B4C7101B87F6AE78A1FBBE7B2DE89B1F4DE359ED7AE26A7174708649F7CB181F10D3CB94BAFBED07F]]", |
| "FP4nconj" : "[[0A765825424577F977AF6B698A753FE2D2C8E488321FD6EEFEE2E1E8D1F9027118F39DE64E59FC3D2CB1A9F53245F964EF0555A6543C02C8D636,08FCD11567E4B5B0A0EFE2D36D3065FF532BC95C7708A3199AD53974D3A2297CEE94FFB9B6FCF944A1F5659DAF8A5D9DB9950C70104D2E7355DE],[34FD0F4403252394B60C3B76318C5C1D7A4BA8B525A905508E9F9139C5806883937D028F178C4A32414609F512E87E1B6EF8410C3E2E994262,1105ED8EB61D8B1DFFA4FBD7214EF7992602E667B91425102CFA6B86C12D1BD26ACB30F10BB9A7585928B9179B65D8A3C8B99D6F46B4FAEBDA2C]]", |
| "FP2sc" : "[056A86F9BFD1F3B1B156800117C37DF8BA9CEFA09437EAE29583B3A6734F2EF8BB0C800D13E8B15AC196D9A491C801FA8041DD67155B49DBF8A3,091D75422C50857E6629E09A95E96F0AB5BAF86ED65E3E2C60FBB6B7EA66C9C64A2075A78B6EBAFFDB6DB59F8025D01815B23A66A6D1D7FAEF11]", |
| "FP4pmul" : "[[0EF9AC5D3F407C524DF546038D0AC8A8C16FA146EA44B33C4366EFE4C8A50A0E4CB040EF279E2036FD9A91BD3B67FC1BE1C07FBB9F934DAC02F3,0D6FC61107DBF05522E8E07418F42B5689DD66BA5840A17BD22175C106F203F0C28B4E88F03F6050C2DEB04EF7C4009D254E47019E524B4C3FDD],[0548495842C0025382C5963AE9FF16F4527D3E5479E267590FE3FCAA60657DC9C3CC8473F31680B05F9196982CF291963A9B53EACE45E20DD53E,09ADCF48AB6AC02FAB83180451F02D4CCEF5F9C50B850575A5FDD90000F3FC8900107D5BFA38E15BFA4E0F0CBEA0CBF98CBEFC8A8A43B179DA24]]", |
| "FP4imul" : "[[00,00],[00,00]]", |
| "FP4sqr" : "[[11256677A1C221B67335796DD47B794B1575AE7C49C1BC081BAB9E58FE9A193A212B0D662073EE281E9367ECEEB909DE192601C9BCD77E889D4F,0986C835958BC4933A7EE6E29B4C97062502194A9CFBC9E7EC71C37C5FC2F02E7A4183697814CE192ADD1F03D8BC765AB011A6ABF7383E8EB243],[0BB9EC0263844275F15BC2EB947179129D3028335285BB6C1C94FF231BCBD330BFF51A87910FF4E9B75B8FA511072BB38ED414093097BF1BC309,1123BC352985F912AE40AC637CDFD4B56E69541995A6B7D2E971E7EF58CD914CFE7C9A392C06C770C7A1DC6D96C47B875EBF2EBDD61B38A617A2]]", |
| "FP4mul" : "[[0CA3CBEEE1B8DAAAB9F800B00B66D3AF9589DEB2571C44DA2E7623E641F6DF5C46AFB1E15273F691FD00AF063EB9EFC2C364AAD08BA809E33573,0CA722372048D504C618AF18F4B8F482A5FF4EEAE9A2183640D355A1C2E06C3A3121B0811020ABFCF7B4D38468B237202618FAF2E59DEAE0EF6F],[0DD4AD601290E1A39D58B534BA0CD274A6DB21B3DEC23F3460C9F90A2672097A6EEC82140B4FD2EB326D6AF3F8AD556774AED52871E7A5C25E43,B42F72B4C110AE412D7097A09E0DA2DAE9A58868138B1E837E66EF60CBDF03FBF8DDE68E3EA0E6D3B0C2FEDF14F7D2C895A2C1B368DE2842B7]]", |
| "FP4inv" : "[[0A3283DE69B05976841B9A9A97E1EB2D6108E9AD5409222E5D7E22F1DFE1CCA5449175E8E8F9D3822D4F81C75874B1A3E9955D1588F8A412016B,0FF7255EE5167ADA5D7D8BF75D5AC85B7974D466749933C1EEAB9F7CFB5E60029409D11C9B99406F3DD647EEE78FE746A8BE8B9EB883DF576501],[02A335BD895A0B04AA28B93F40BBBF0D7FD2591FEB1A3C8331C0991F32C9761A5150D2293C40FDFC8E2EDF456C3BABBA551E9CB8D5C47CE082B7,029AA952C4EA75FAA7656ECE57334931F1F33986090352BDAE8E96D1A1334D11C8BA63778479807333A2D0B3E1AF901E5AF1B078165026D9C9B2]]", |
| "FP4mulj" : "[[048464C5E332F45AEF66E6F86975F48066959819B6DE28703818BF4D21785EF235885B382DEF3A70D9588D1259B2652F9D60057DC589DE5812E1,113AEA9DFA20B041945B0812978083F5437D32106E39CE157D890B17FAF29C3AEE5EADF39AD133A28B69FF219078C121E42895B052F329851C8E],[0ADEFD201307E25BE2A66B2A8A1E1FDA9C554E5088ACCD8C15A1A959D6E6F7EB03CC71405C375941D38E562ACDBF5BF05BA55505ABC4A7E1D475,0C58842FED68A4A4B965F3C0A762F9BE1BF2697C43C4016179AF51CDD53DD0DF2E2B0F6CF3945C3A5E4A9A82507AF7B791159E3BEFB37C3754CD]]", |
| "BIGsc1" : "087475A211C04ECCE1B4016DB9A0E905DBC3722994F9C1E2048DFC8133BEBAC9FFF09CB1B71C55E82052E1AB60BBBB824964BD94011BCF575C2E", |
| "BIGsc2" : "11", |
| "FP4pow" : "[[11888A6583C371CDF4E947DB812E6F67B59C776C552062375DC00B5E2387D8BB7D96D3FD6CBBB5AEB536920EFD840EB244FF1337F4BDB0C48213,06AC9A9A7C3B12CEFF7C1BF277138CC6BA37380A875A6B329968AE02D27A34F92A3D13FB59B3C8F80D7E30D9C2AA9842E4661EC8D409CD0E8E57],[1208CAF9F733EF9FF5A37F9EE65A2300C37407DE294437C1EBFFA9B2C3381B768D69B5C2DE85983B2816D8AB13BEE7D40C4124028A8BAAD69ABE,082EF620DD75353E016CCDC959A2C7CDE410D1B772CFED125E03E8E197E7BF097ED3EDBF69D58AFAE4E426B1732B40B859019E6B3AFD2A01E2C6]]", |
| "FP4frob" : "[[0ADEFD201307E25BE2A66B2A8A1E1FDA9C554E5088ACCD8C15A1A959D6E6F7EB03CC71405C375941D38E562ACDBF5BF05BA55505ABC4A7E1D475,08FCD11567E4B5B0A0EFE2D36D3065FF532BC95C7708A3199AD53974D3A2297CEE94FFB9B6FCF944A1F5659DAF8A5D9DB9950C70104D2E7355DE],[09DE81E6F6A427B927D8917C9184BA48EF9CEFEE18FDAECE0780F8637B12E4776C90FB8530D3D6B32569BF7FEFDE7688B47729937ED30F93D193,060343F5DD49CC8AE6997F048308B7BEAC2FDAC4C2F33ABCA29CA3EEDBAA6756B3074B3A0FB4F9ED9F2E7A89786407F81D4399BFD0B4BB611DDA]]", |
| "FP4xtrA" : "[[054AA140DBC8CEB137F445C74CE7B7E808CD131FED0FC80D064F2A0E9EC5DBC2530DDF3216086C09FE86DAD129D1BB68E66530EB2790D8A3D872,109AA8D6DCEA4300EA5D673D7EAE3BA7431FDD7C42EA8E4E3B9FECC960380789CA1EE647001CFEE18463251A2D822E79AA40302EC058002172F8],[0B51A059EB6FC2857C30745F5E6FF6DAC8A1DF981636CBAB4E0E7E5BC89B77296C6017125799C53C230AC02DEBEAC8E17206D805138255965688,0C2EA8DF454FEE38AD2318CFB0EB78A518C55C71642EB9DA112CA7CC5ED056B4885638911D3C7A990D980D78E9993FB1AD8D07EECD25CEA19766]]", |
| "FP4xtrD" : "[[10BCC17CD0FFB754083E79ACD4D299534BE944B3F334C56B04ECD6E7F9AC23C036523A0C1296912377B6BBB7533FA752AC86026A654ED96F9F10,062B151B1007D59F2208D5F5611A03475C3B792AD0406BA00D97AB235E2748CC3AAB73B63B7D6B236E87EA1F37CBDC40D89114E017D1F0CAB354],[0C23E620EB8A8CBD1AC7DB6280D491CAD824BF84BCD10D76BDB23E458F56D401C71C148CAF3F0D7E1BDE1BB8FB2CFCAFC5B2048B49141C4E47CD,0884ECC7EB265AA3F8DEF6E99657046CDC32BB379235B8FD1A5DA8778967D4399A92DDCDEE576B2379734E5CCD8582245ADD14446383D92876A4]]", |
| "FP4xtrpow" : "[[0441FF82B136B402095BCBA4DF50988FAA5C3103A099555F6253AB6EE608A034F1BEC3AD78DDF67FD4BCA234762B129CA65AE01A01706023B94A,0941534D894967A526C0B577C5B8F6482BB14E49AFDE19834AB40290F1CB8B110BBFCF6B38C70802F34587A15A70024C6D1929D2262BECDBFD79],[0F6E0A6E7AB2D62C3C187E576246B9D2F5F55EECE1C633425DE58C5168050C6EEC2AC64DA211AED0627864D2072AB69342FE56B6C83C2F731508,01491E93F78F770A563A4ECBCD3D0967584DAF4D8A001294F11B40448A78D5BE711ABF097ED0557BAF054779BD3C6B94F02C18348CEE877B40C8]]", |
| "FP4xtrpow2" : "[[060F30FBC45DF1F1D6A91B491E3D232D43124C4F0EC4E29C6AD8F63D2AB836DDC64935075F2347B08482B99D819271F680E38A8789CA7E60EDB9,0FD78257DC052A2A2128079F5F5B354EE689D01581BF7411458EFEF93431B18657C97EDFE85B20300022677158B21539EAE38978B2EEF1750E8E],[0C762CB9007F79BD5A21E753ED50D5E1177D582B799AF13CDDEF9D01BA073182C098507F5EAA36810FAD443F30B41925CD0079DE778FC0FF2360,0EC8BD25251593F86EA322CC2EBBA782D642D6406D079841739DF69C24670F3F7477C4C24843C7EAB1CAE0A5D72F9B59D9D06E8E6055D5EA60B7]]" |
| }, |
| { |
| "FP41" : "[[150D8B11DE7979EFDFEFF33D6914A9178598DB1CBC48B19BF9DF6BD2B20487D48074F9095F56A49385E67A4CA880FB22BE6B953BB19C56CA8178,11D6F783694B3F83B37867C278FE1A093A85740F265772C675FA49C1445C356DA3EC19C02823BAE833B032141C4C0FE0D3B8678E314B7D5ADC57],[0F929D3F90635C424D6B8AF394FF1332EB61A922318E2AF9AA3788BFB9CC9639D6286D433DFCD8A366D5300B7413A565ABE65D13C8E00B62F6AD,03D96CB661F9D2BABB752A69975A3CBC031AFC174F0F83D1A1801E9AD8E1A66C739E6A6CE68E1D503ACFADAB7DCC29917F01A860D2AE2E6A0CF6]]", |
| "FP42" : "[[0BAE63D042687F4D907F9EE30FBBB358AA77B858E3EACCCE7F306236111C74DFC1855521877E41DA1F7A518DDD179CAB5C3113DD14E48AEDBC74,1486D05B9CAAA566CC94DD7DC9F607330AAB7EA57E16B7ECF78F1D1864D4E631D08CCA38C3A5070ACBD8547AD6ECCCDD77A7FCFCDBDFDDB7CE5D],[130F73A72D1D67EBB6C041F2F4BD05A8F1FCEB5ED35EB26881C2C4EFF382628E569A2C76C7AF94628BE182D7860F65D2D9BF07E47D3774B5F3BF,0859D2A9F03CD3B38C004E97609479E245013E45BEC27A98386F2CCFFDC7473D5CA39B8008446F7675208A0222B96934BCFC02A587F6336C01F8]]", |
| "FP121" : "[[DBEC9F1AFE84026C5BDCD55EA4C426D61C768A944C3E4E2AF820D7AB379ED69DF288DDE33DC22D7DA2598B5624172EF17AA269DF17B96E0B6B,0C1755FA961A5FC2B4BE66D52FB9066A479BE6D495F8718BA399D3C4F07A1500F3E7BA3FF25B95A8B698C1966584555EDAD2E5B1A6A243EC1DBB],[026B95C448666145D3BF7E64AC45130674D2C5E83EF05051E608102E859C59B458C78760354492AF8FE56EF876994E7A4F87FFC94070DAEF5F40,0CCC33713856A9FC6D7A524817F761A43C76089691FE3F8DEC5A4E29D52DD79CAAEC25E29A81CBB465A6BB6D9E470FF2B8F3ABC91F3226F515CA]]", |
| "FP122" : "[[DBEC9F1AFE84026C5BDCD55EA4C426D61C768A944C3E4E2AF820D7AB379ED69DF288DDE33DC22D7DA2598B5624172EF17AA269DF17B96E0B6B,0C1755FA961A5FC2B4BE66D52FB9066A479BE6D495F8718BA399D3C4F07A1500F3E7BA3FF25B95A8B698C1966584555EDAD2E5B1A6A243EC1DBB],[026B95C448666145D3BF7E64AC45130674D2C5E83EF05051E608102E859C59B458C78760354492AF8FE56EF876994E7A4F87FFC94070DAEF5F40,0CCC33713856A9FC6D7A524817F761A43C76089691FE3F8DEC5A4E29D52DD79CAAEC25E29A81CBB465A6BB6D9E470FF2B8F3ABC91F3226F515CA]]", |
| "FP123" : "[[0E0331F14765A9BB868DE843FA194ED17BFC6F8D37FB0FD4EE623FFDF422CB0B5D0C063D5D2539B21676BCEA5267A360D15EB9F7552526C1B239,0CB38BC576B8F6D202574824C16CDFA483B356B9CDA1B3C2A2CFDB5497A71D48778A1A6F6B0FCD88E4F9C27A75E1C4091B7792F22BDCFB6C6C2F],[0199A84DAF44F5353BFE1A64C7263C28CEB62818A8057376098B3AD74664D90F18C7D0A64750C9CC9B440D4EFA9157029D8578133AC32FDA6708,0DC1EA95F369DF52E0BD1610FDC2DB1FE04EDD813D64D0DDA4D326B0ED096EA1DFF990892FA14F8CE3C37DCC0C4F72023A019E308DFCE0264CE0]]", |
| "FP124" : "[[03EF6241B2D89A472EECFFC44876607EFD86125E1141A5AD6B8B0D0F95A070A56FB3C487F7DB07129AA6F222A5D5BA8D6A6BC6296802237AB817,04579D849B5C12E9FDBD19C708ADDDA2B3F32C3CD229A1E393A3182A71355B032C98C28836FD0A74F43EBE6FA354EFA7D6A043CADCC75550DE28],[10E6414D912A9C3CCDE1C4EDE5DA49508E2DE2B62B049AFDC21826A3936098D38BEF601D9DA6ED5D82D34300B7C5D95A68FB1E19FFE60A7CF384,0D7306236A01DA786C618FC1D51035E3EB8155455BE3E22F1A5F7F857A312702DFDEA20EE8685F35CFD8A5E1D6CBC32E4D1B8648462C33785F10]]", |
| "FP4add" : "[[0B66999CCB949EE81619BB8C643CFCB2C0F2609CE566D9EF648B42C61A410258253A3F043C4390EEA520CBBA85934278CFF1FE6CC680370D9341,11087299B0A88A9525B76EAC2E60C17ED612BFDBE9A186385904DB970051214357B8D4D241376C73FF48866EF333876900B5B9DF0D2AB0680009],[0D4CBBA1683369D8A9D5F6527528B91E6E4061A84A2038E71775C26D046EFE6C10028A935B1B1786F276B2C2FA1DB5E33AFABA4C4616D56E3FC1,0C333F605236A66E47757900F7EEB69E481C3A5D0DD1FE69D9EF4B6AD6A8EDA9D04205ECEED28CC6AFF037ADA08592C63BFDAB065AA461D60EEE]]", |
| "FP4neg" : "[[47CA3376D3E0657A65E356AB7EB6A5E98557BBFE83F2DF1AA51F6FF6DB72879C4B161D4B3AB0EB7A5985D357845A328C3F15704E6453E02933,037E5DC1EC021AD1A6DD6ED19B9545B43498BEC9947531B49E8A41816483C4EE78D3F566826D9A96CC8FCE0BE3B9457476F2431DCEB52D4FCE54],[05C2B805C4E9FE130CEA4BA07F944C8A83BC89B6893E79816A4D0282EF1364224697A1E36C947CDB996AD0148BF1AFEF9EC44D9837209F47B3FE,117BE88EF353879A9EE0AC2A7D3923016C0336C16BBD20A973046CA7CFFE53EFA921A4B9C403382EC570527482392BC3CBA9024B2D527C409DB5]]", |
| "FP4sub" : "[[095F27419C10FAA24F70545A5958F5BEDB2122C3D85DE4CD7AAF099CA0E812F4BEEFA3E7D7D862B9666C28BECB695E77623A815E9CB7CBDCC504,12A57C6D21EDF472413960D8C39B72939EF82842630D5F5492EFB7EB88674997F01F5EAE0F10095C6817DDB945649858A6BB153D556C4A4DB8A5],[11D87EDDB8934EABF1011F94B4D56D476882F09C18FC1D0C3CF94F126F2A2E079C4E4FF320DE99BFDB33AD53EE0994E81CD1FFDB4BA94157AD99,10D4EF51C70A595C89CAB2664B5922972D37F0AA4B19ADB47D957D0D83FA598B33BADE1388DB0358C5EF23C95B1815B20CB050674AB8A5A8B5A9]]", |
| "FP4conj" : "[[150D8B11DE7979EFDFEFF33D6914A9178598DB1CBC48B19BF9DF6BD2B20487D48074F9095F56A49385E67A4CA880FB22BE6B953BB19C56CA8178,11D6F783694B3F83B37867C278FE1A093A85740F265772C675FA49C1445C356DA3EC19C02823BAE833B032141C4C0FE0D3B8678E314B7D5ADC57],[05C2B805C4E9FE130CEA4BA07F944C8A83BC89B6893E79816A4D0282EF1364224697A1E36C947CDB996AD0148BF1AFEF9EC44D9837209F47B3FE,117BE88EF353879A9EE0AC2A7D3923016C0336C16BBD20A973046CA7CFFE53EFA921A4B9C403382EC570527482392BC3CBA9024B2D527C409DB5]]", |
| "FP4nconj" : "[[47CA3376D3E0657A65E356AB7EB6A5E98557BBFE83F2DF1AA51F6FF6DB72879C4B161D4B3AB0EB7A5985D357845A328C3F15704E6453E02933,037E5DC1EC021AD1A6DD6ED19B9545B43498BEC9947531B49E8A41816483C4EE78D3F566826D9A96CC8FCE0BE3B9457476F2431DCEB52D4FCE54],[0F929D3F90635C424D6B8AF394FF1332EB61A922318E2AF9AA3788BFB9CC9639D6286D433DFCD8A366D5300B7413A565ABE65D13C8E00B62F6AD,03D96CB661F9D2BABB752A69975A3CBC031AFC174F0F83D1A1801E9AD8E1A66C739E6A6CE68E1D503ACFADAB7DCC29917F01A860D2AE2E6A0CF6]]", |
| "FP2sc" : "[14394F15AEB2BB05D0D17E34A1FE95DDB3CA439BAD4145A26A3AF04B493F9C2D9DFAAAE594BE1DD15FDC25706EFA82CA2A82136B841E7590504D,13D1BD499B5EDEDA154F15DB59C769AEDABBEC878C8561AAAB35B1D2CB764032DD2166F5D301CCDB1BD234CEE8FA3823BC21A01839497A16A7AC]", |
| "FP4pmul" : "[[154FCB45044890686734E7541095805D5012CA2EA42DDD84CE92A297C028F0288EED0678761B044918F6A1EC278B95D1DF85CA8E4F85D49EA14E,09168010D8D9F1328FC2D0A98954E7E5F1EB1782F2688169B8F78E46F781C04AC803FA9603B69383DABBFCE7EFE7C55880906955A67309BC0E53],[1272A928F1F4A821151BD715A127D584B4330F5DD88DA6B27253B0C1856D630CFDF1DD7A8CB011451823B7EEDD7983B75F3A6584C69E472348F7,08CE088CA3D2C5CD7C829F6B351105CCF9A72ED9210C711729AF6FB5B9CCCF367DA7021D044C50F5AE3D0FA176FD037179F8BCA38531FC6B8D2C]]", |
| "FP4imul" : "[[150D8B11DE7979EFDFEFF33D6914A9178598DB1CBC48B19BF9DF6BD2B20487D48074F9095F56A49385E67A4CA880FB22BE6B953BB19C56CA8178,11D6F783694B3F83B37867C278FE1A093A85740F265772C675FA49C1445C356DA3EC19C02823BAE833B032141C4C0FE0D3B8678E314B7D5ADC57],[0F929D3F90635C424D6B8AF394FF1332EB61A922318E2AF9AA3788BFB9CC9639D6286D433DFCD8A366D5300B7413A565ABE65D13C8E00B62F6AD,03D96CB661F9D2BABB752A69975A3CBC031AFC174F0F83D1A1801E9AD8E1A66C739E6A6CE68E1D503ACFADAB7DCC29917F01A860D2AE2E6A0CF6]]", |
| "FP4sqr" : "[[1442A30482B79069DBAC2BD82BBE87FF35FD071EEB1A0064652894F76B9E7CC395C1DCAC63D7F804923D493171CD3505748FDCDEAEE64BD73BD3,04E22C9357B1831AA07E901013DBCF4B24138FCF63BB8E928D88D209D6C724F8C6DBBC73BD9AF12E83BBA3EE3AB29EA1F7A2F68A1D7FD840E27B],[0ECDA247BD153F89CD41308620FA7E67C40C382FDF4395E58D42C718EC46092ECE0E2FC363399D0D82BF7D9225DC554A2328C08AC2339ED2C65D,0BF207695346C3B1C02CA0CF98CC69E037FB7ED99931EB320C967A66FB8B09F34F7BA831EB30276316093826BEF29CA725A55E7A192393DF1EF3]]", |
| "FP4mul" : "[[0961D56FD841C788DF317A2518B9A14F091E9BA1DCDD6F18CAB54A1192B3819DACD850A0101B171E9D1A771AA98CEA82F66FC5684AD9C722F921,0D7C79CF8D70BF9FD07753DC118BD14DEDE27BA9D602BFAF874DEA342793C96693BEEA3FFC320CD9DA628755F8B3F934706B81F1628C1C288EB1],[08D0A2EF045E8A845ED1D79B7F645C6DB627385914CE4AA74E01B2B75A65DD37182F426FC1611C6A9886F5FC66A68B5879F3C58D2851D0B7A55D,073FEAD2ECDAFB5588A68CAC50ECD8264C014F76DFC5FFB9F84864B3A118A05924447721C344E690B3A3EF6305CBF5F94D1A0CE554B2B0439EA7]]", |
| "FP4inv" : "[[051961D0D190C9360BE55DD2994F58274F5AC47773975A75A7C46AF162E64E7C39E2755964F19434A57195B0D64EE9784E22658015B5183D4E52,0D7071D4F0E55B3E88EE97D75AFCDADDB4508DCCC9712B07DE44BEE2AD7DEDD27C13E2EEBB385BA72A6180278ED786C7FD9800F1DDD99BA26915],[143B55A1E895F8EB44E35D3FBE2CE3D8DA15605C4DAEEC8E341E99D64FF185DA6523B4455D1706DC97E7A56DFE0737E57589D137851BEB86EC45,05C45EB4E4AC27011272B7ADC99885A75CE76F94D920773A3F1CBF50F4A80A0FF744D40B00ABED7A596DCE2262B53C07203D17284648BD44DE57]]", |
| "FP4mulj" : "[[0BB930892E69898791F66089FDA4D676E846AD0AE27EA72808B76A24E0EAEFCD628A02D6576EBB532C05825FF6477BD42CE4B4B2F631DCF8E9B7,136C09F5F25D2EFD08E0B55D2C594FEEEE7CA539809DAECB4BB7A75A92AE3CA649C6D7B0248AF5F3A1A4DDB6F1DFCEF72AE805749B8E39CD03A3],[150D8B11DE7979EFDFEFF33D6914A9178598DB1CBC48B19BF9DF6BD2B20487D48074F9095F56A49385E67A4CA880FB22BE6B953BB19C56CA8178,11D6F783694B3F83B37867C278FE1A093A85740F265772C675FA49C1445C356DA3EC19C02823BAE833B032141C4C0FE0D3B8678E314B7D5ADC57]]", |
| "BIGsc1" : "07215E1798717E2DE0A9DB53E69016DF88FDC862CCD307E1BBDF3D8BF8A50445CE7C6CD5242805E8A7DCFF6C593480CF54C410A75419F15C5FF9", |
| "BIGsc2" : "33", |
| "FP4pow" : "[[0D42B0670176FAB6FE8D2B92F75D815D8301165861E78609573E335AADA1C1780DC015C7EA3E50392C19B0CEDE31AFF052E627875F2642B39631,154D613CF39674455B3417E257904C612F7EB313D64F1B8B6C9837931407BCF2D669B00D2F0D7AAA9C6BC818EDACD2768B2A1C7D602BC7D111BD],[01E0DD92D906C07B1A544165670736907C5F6D0934D64E59B718019B5F7FC00B1637EB3F78D019737D5179269008C8BB340511A1153C22F8EA22,14CF22C62AE566147428B1FFDB3147F14EC3AD7E3FF5D4D3D670749234F36B5DBA0C2BCAE239D642F9EF17A0EF4462ADA1BA30BE585CA492DD25]]", |
| "FP4frob" : "[[150D8B11DE7979EFDFEFF33D6914A9178598DB1CBC48B19BF9DF6BD2B20487D48074F9095F56A49385E67A4CA880FB22BE6B953BB19C56CA8178,037E5DC1EC021AD1A6DD6ED19B9545B43498BEC9947531B49E8A41816483C4EE78D3F566826D9A96CC8FCE0BE3B9457476F2431DCEB52D4FCE54],[0301C9647F0ADA22B815B0B2250E37D660C693218D130D1A68B2C4BFF597D952E2499FA01EADCB3CB28F6CA72359F055084BE00AAD882005A0,CB52BBAD015EE1BA3AEDCABB22EFBEC371031496B65F5D68DD8E44275C1E58A38335DC1EE3EB6299B07D1707724AADA142A6C49884227077D6]]", |
| "FP4xtrA" : "[[07699DC87BE606606C25C326C572B354521013B7200BCFA5301537DD8D2546D21A9A7D5AC31CC010398203BFB70EA0E210CEA365BB7C9D03EF11,0DC334C873398EAB3C703F285948D6A9562F83F778C41EFBBC3E37D9E53B263791BDAD7BB12FD7AE5CC4E701DFD94C95E0C43C1152C63F197628],[13F42BCADF0B08710446D9DF7C1D6BCDC3A6B93852CCA5219C46DAC543BB8C24326FA1E24813E8037791DA312C9C25A8260EBF3F39703EDCA8AD,0B5391E50AD20FC81F84FBA707BC0E5B295063C4E5B9F55E9BF555DB9DBE475EDEC9B125FC9ABC41BCEC754AFD9118ACB71541ED847AE052DA8B]]", |
| "FP4xtrD" : "[[14D2376B705F5134D077F28582BBF54B0907B696E821E6229A72D3D7595561D2CE5808E6FA4D59DB86F054D820D5E96A8D0E07BF4BAEF3978E39,0BDEE8172FB5B8BDEE396DB34B065AB38D450D628CA5F1FBCA9D550C9FCEAED5B883A740C276265C1CDB40060225298AE5877CC5BAEA32E07F23],[0348323C33414363B36C994521D1E552BC9324C2CCC6A2E2B8A8C2130E1F40EA40DEEBFC8A10A3564FE9DD690DF8F56AE5A0255A53F260435E61,13A4E0D6173A69273716F5A2C780E3583E3177083750F2D54F96B79CAD4E56CC36B87D0BB84C62038BA8937DBA8AEFCA23A8AF3BBE7FF0B338DF]]", |
| "FP4xtrpow" : "[[12DFFF2FA46CA4F59A9FDE92F1B3DE756078633E2893D23C8906E9EF771623951CE685691B2AAFEBA2CDE24AB255BF10E968E65C209E0D663F2D,07C071A788F1DAC41D3234D7B6051D089D4C7181934A344D4406CE3BB3FAC87D11E29FF3F7D6D3134F12A66F7330DBBC42D94A17F635C3F7FEEC],[0BAF34B7E76AF40B945E5AF06FB9D2907EA6557B4FBCCC255AE80B1AEC49778B0E0C668898D219E38E6071CC81DB4CAB83C099FCBA64CE216982,0A4066AAB637D4CAA4FAA05CA6286BD70097CD57E3A8831958580B1AB6DFFA7D4A747ED9E393611504CE9AA3CD452F2B8A5AB85212CF62507126]]", |
| "FP4xtrpow2" : "[[062C647DA602FA56B79EFD382C8F2CE9BEB7D85460E54264ECF8E43494A71B4FFC2BB1C53ACEE02BB1C2A44A4D5FA52214B4B45E206FC47ADEF1,102C881B1516BC5AFB3357D95057DBD1C2239461F5249CD0A9480C1B3C2B0A850DACB20228CCCE1EA99C97681DC89F0468F670982E6614DD1AB0],[0AB0302F36F63BC7267D36BF7778F3294C9CB85E29BEC862E1B7F2774D74F33A10AE5EE7C677B0BCEF50FE25978280344AC5226A3BF6C81605A1,123DD4A09A2B307918883A4C25B8EF94430312127CADAD46C644E1D45A642002737B74DB79B96DB032A12DC7DA4FF2412A3C417BD5B7433410E0]]" |
| }, |
| { |
| "FP41" : "[[0CA068E501B9430F7EB457992E80F8B366A6F6004E4E1E3CD04A01F5078A454B810F168F07AA652A42E4093B928607EDEBB9B1D987847C2C5FD2,0F4CE74A74BC0942277377E4133B549893BBD533C6A0BBC9D30646F1277FDB47E4EF8E93466D2B7E4684F6960B40BBAB88DCD54AF247D5B049E1],[138291DE45BEAFF40F09535AC72322FBB1F95E708731BAE88CE46533E1475AF4EB3C1141AF776F5A9985D9FE1A57BB29320B04559E8ACA1BF651,0B5D60F0CD340131C729D9446375F9D76E68F66D03D9B33C207CC42A057B3F7BCF1E2B666779FBCFCE37FE999C1B2A0F167ACEB5CCFBADA51EF7]]", |
| "FP42" : "[[0C9E1F68F3968FD188EAD4EA5DD81F4A83271BF2A1655E6D70774AAFED7FF75B3385EDC936123537A23FA72EA6701A6222C054463253A700EAE2,0A38CA3644B9520070817D99CA902EE533BB4105CE4761E7E4FED426F627ED0A6C3FF222D5926181D89FEADBD3A63350A2D91E7127FA96D87CAE],[0D493364DD742A2EC5CA738F59223624FB523225C7B5847519386F56EF2806202C3144BC62C14A085ADE5DB3719E9233A45FCD3373BE9BF4E01D,AEBED9DC76EBDE64F1E9B9053475D47EA74252D53E979D6499328034B1520E37EBB6225A5BCDB5E34125AC492382E41EB563A251B5AB0A8CB4]]", |
| "FP121" : "[[04D1EAB8EC494E3A33C3125474057675DCF1F5AF23450F6BD21B3AF031B20AFF6882C344EFA3BA6F6211FAEFC497C77F79AE55D53EA6087351A0,10F5502E30565F956A0C58855E38589678C89C1CDB60BA1A763ADB9297F066E3D7FF4B373C893F61063E18AA4ED694CCC8C55976481C7D52D430],[0CD9EF1EF231034EF24ACBBEA4F2E6BB7E0A572795250C92BB3A18874B6F3A5A33C8A8B30FB059AF2D18C6AFCF2DD9557C8C27B9A7D4D8687E2C,0CFF6F372B71BB3E1A1FC44A346562A02CF992859848FC89DF028419EDE1527F9CEADB430D652A39D1075BFC56132BA41D39C9D2442A8EF10AAC]]", |
| "FP122" : "[[04D1EAB8EC494E3A33C3125474057675DCF1F5AF23450F6BD21B3AF031B20AFF6882C344EFA3BA6F6211FAEFC497C77F79AE55D53EA6087351A0,10F5502E30565F956A0C58855E38589678C89C1CDB60BA1A763ADB9297F066E3D7FF4B373C893F61063E18AA4ED694CCC8C55976481C7D52D430],[0CD9EF1EF231034EF24ACBBEA4F2E6BB7E0A572795250C92BB3A18874B6F3A5A33C8A8B30FB059AF2D18C6AFCF2DD9557C8C27B9A7D4D8687E2C,0CFF6F372B71BB3E1A1FC44A346562A02CF992859848FC89DF028419EDE1527F9CEADB430D652A39D1075BFC56132BA41D39C9D2442A8EF10AAC]]", |
| "FP123" : "[[048F73432C3328BE055FD720BB51C8AB160783DC3092EB3841F37E862EAFE7946CDF613E0E0817E9CA79082D83467153510FDD0A234BD71AEE99,063F418B9631F593D59E0C5F7108520D6F27BF33037BE9B12901DF0DD51C7FFE0AEAAE7D4EF9267BDC9828A1A199BC8A51CF2EB86304FBCE89FF],[0EEFC55F267719EE84E01F3C1ECC4EFCD72905AA5E1F8A7E71FC99B38DF0C87A301E2263FD48E89803ABC5B5BEF826AC7D2A600AF1C1BFF6FA73,14AAF10D1A56E986E361F8BD452ACF2DF5168FCFEC404F50331E3A2DDE2BA64D3AD055F7FBB60F73F1BD37FE81A5B19DE47858D67B4CDF1ED60C]]", |
| "FP124" : "[[03B3113182EEBBD274E27F7E7928B8BA83A2989471207768792AD3246BEDE5D1EF2A826F66A0A0931FA7202882E8AF74E0B70AAD3C2861FF142E,111B8CD0798D03AE4C120CE3AB6C6577C891C69D9FAAECDE323877C0D42AB1653318B3CAAF98AA489A5AF9011A1EE808F3CF1402336FAA030990],[0EA45ED0EF4E71CB5DBC3BF5BC620394AD7CCDD145F7E54240B8F84AEBDB677481067D0679D4C521209390489B14B3F763D8DAEDE8CD829A9F7F,0AE471BEB60C30715391C726AA299724E82CCE0BE99F79B8A36190E7B5DD6DD0D8C9C97219B77AE8A024AD134840CF5B990F0645FD024A789DD8]]", |
| "FP4add" : "[[03E93308A002788BAD4955EF77C5B8407AAFDF1A34E6D82F2C3CC1624C2A424A97D4F531932B44E2E4E3B04A38F0CCFAC3CF5B73B9D77882A009,04305C3B642800ED3D9F1EE9C93823C05858E360DA1B7936A3808FD574C7CDF6346F718F716E37811EE4E151DEE199A6E10B49101A41C1DE1BE4],[0B766FFDCDE57FCD7A7DF0560BB1F9633E2D5DBD941A9AE291984948278F66B8FAAD46D767A763E3F42437918BF0F8078BC026DD1248BB662BC3,0C0C1FCAA9AAED102C1BC2FD68AA6FABED1038BFD9184AD98515F6AA3A2C918A0709E188C1D5C985B1792445E53EACF3353032581EB158AFABAB]]", |
| "FP4neg" : "[[08B4EC6053941745DBA17EFAE612670A08773CD86C7E863E443A894DA155B5109BB0F897A2E6F054BD5BF6E46D7F4D675EF0F8D2787C2E7E4AD9,06086DFAE091511332E25EB001580B24DB625DA4F42BE8B1417E445181601F1437D0809364242A00B9BB0989F4C499A9C1CDD5610DB8D4FA60CA],[01D2C3670F8EAA614B4C83394D703CC1BD24D468339AE99287A0260EC7989F673183FDE4FB19E62466BA2621E5AD9A2C189FA6566175E08EB45A,09F7F45488195923932BFD4FB11D65E600B53C6BB6F2F13EF407C718A364BAE04DA1E3C0431759AF3208018663EA2B46342FDBF63304FD058BB4]]", |
| "FP4sub" : "[[02497C0E22B33DF5C982AED0A8D968E37FDA0DACE8BFCF5FD2B7451A0A4DF04D8928C5D1982FF2A0A4620CEC15ED8BC8F95D935530D52B74F0,05141D143002B741B6F1FA4A48AB25B36000942DF85959E1EE0772CA3157EE3D78AF9C7070DAC9FC6DE50BBA379A885AE603B6D9CA4D3ED7CD33],[06395E79684A85C5493EDFCB6E00ECD6B6A72C4ABF7C367373ABF5DCF21F54D4BF0ACC854CB625523EA77C4AA8B928F58DAB37222ACC2E271634,0AAEA216F0BD15536237EF8B5E418402EFC1B41A2E9B1B9EBBE391A9D0C9ED6D973275440D1E2E19EAF6D8ED52F7A72AF7C56B137B46029A9243]]", |
| "FP4conj" : "[[0CA068E501B9430F7EB457992E80F8B366A6F6004E4E1E3CD04A01F5078A454B810F168F07AA652A42E4093B928607EDEBB9B1D987847C2C5FD2,0F4CE74A74BC0942277377E4133B549893BBD533C6A0BBC9D30646F1277FDB47E4EF8E93466D2B7E4684F6960B40BBAB88DCD54AF247D5B049E1],[01D2C3670F8EAA614B4C83394D703CC1BD24D468339AE99287A0260EC7989F673183FDE4FB19E62466BA2621E5AD9A2C189FA6566175E08EB45A,09F7F45488195923932BFD4FB11D65E600B53C6BB6F2F13EF407C718A364BAE04DA1E3C0431759AF3208018663EA2B46342FDBF63304FD058BB4]]", |
| "FP4nconj" : "[[08B4EC6053941745DBA17EFAE612670A08773CD86C7E863E443A894DA155B5109BB0F897A2E6F054BD5BF6E46D7F4D675EF0F8D2787C2E7E4AD9,06086DFAE091511332E25EB001580B24DB625DA4F42BE8B1417E445181601F1437D0809364242A00B9BB0989F4C499A9C1CDD5610DB8D4FA60CA],[138291DE45BEAFF40F09535AC72322FBB1F95E708731BAE88CE46533E1475AF4EB3C1141AF776F5A9985D9FE1A57BB29320B04559E8ACA1BF651,0B5D60F0CD340131C729D9446375F9D76E68F66D03D9B33C207CC42A057B3F7BCF1E2B666779FBCFCE37FE999C1B2A0F167ACEB5CCFBADA51EF7]]", |
| "FP2sc" : "[01CBF7683F81B6540F3A5AA11E31443D2B56CD1BD7183644DC2AECFFDEB3068DF02BF6A97611AEAC81FE40F9DF916636F447FA388F779925EF8D,0D13DC57D0AE42EA23742916A946EEA6B51537E7A950F1336454481658A648C6B0EB57B07F7E1EBA03CA581CFFC5918F80FDB98F8E7C22D08538]", |
| "FP4pmul" : "[[0641C5C182F7DE5836F75BCA85155347BE776415F4DCCB070AE37A8C974245AA53DFD1532689FC73FE3DE3546F8E048025BB7F64117AFFC249F5,035392755207281850B4E2D0A48AFAE02AD1E41FC4BE4CFBA706E523C596CC98425B4A13D6DCF8CAC0D8189E3CA5D5F9D8F28BD54268A9C2362A],[0DBB0AAD134093D14813C2A3EE5A47BF6B448FD9987CAFE9DC6B690D1ED46AFCEBE352163405F34B4940C334A21565565B888882A14EE06885CC,118576A00D0012F260BCC4AF18F94710AA1CD0C688A077561EF9C7FB2776772B95BA02E0EDBBD0895044327B1F33752A83C297F3EE6523B15F7E]]", |
| "FP4imul" : "[[03EB7C84AE252BC9A312D89E486E91A95E2FB927E1CF97FE8C0F78A76634903AE55E1DF764C374D5858812572506BA868CC8B9070F084DAE14F9,0944794F942AB82EF491193411E34973B859778ED274D3189188029FA61FBC33AD1F0DFFE249017D8CC9ED0C167C2201C70EFFE9E48F00B5E917],[11AFCE7736300592C3BCD02179B2E639F4D48A085396D15605443F2519AEBB8DB9B8135CB45D893632CBB3DC34AA20FD196B5DFF3D14E98D41F7,01656C9C451AA80E33FDDBF4B25893F16DB3BA014CE6C1FD2C74FD116216849B817C47A62462A2209C2FFD133830FEC8E24AF2BF99F6B09F9343]]", |
| "FP4sqr" : "[[07326EC75D832FECD03C2590E3CD5C3D8F4EB2FF3C52DE6E6BDAF322E7942CF8EDE70580B9450732E229A87A2371487B17A9FD11B386B878BDCE,0E6D2CC57721C2D8DAC8C2A49120D7C8443E7D6D84D58464D3537E99DC8ADAB3A327C3971C7878284C8A41C99344D7DBE9160B7DEF65108FCAEA],[05E24EDA2E8B5020F8A4AFFD2BEBE03D76A2177C39E91A5840576EEEF9FEF68B72A173C7BD9D4C6B0016CA082AA0E65346F2085B858E0EBF7968,090EA522FB9E917E5E615DF142F1762D819B757B05EC4A2CC5E2B116B55BEA931D66287A2FEBBC942EBA3BE98AD9FF014BF0F400045255DEA795]]", |
| "FP4mul" : "[[297728B4ED6E6DB8861027880558040E07FF6E0E91F2D873499C87EE295D4D77A06BA10CD00AA33F1C552175B5C1687D05E8383A4E26C4B29B,116E44FE6395D86389379E92D33E5927521B0FE4BBFED8184F4F63631C806084A49549FA22FC086E664E4CC123AE290C4BAB258D22B810AF22CD],[04623E903FF5C3F0A539497154E7DBC70E4F864467172428CD52E60E7F92069E0765FE783E61A0D21C2F04D9FDEAEA64506D9DCFEE863408B8DE,038D3065AA8292ACB9DCE0C7A932992FC18B81D84FB4148A7D0862FDAF320BA0A43743F66078A90F552906C4EFD2B6D2453F418F10136C55F5F7]]", |
| "FP4inv" : "[[118940EC8949D991A3B1437E889433756F5945269C0938DAE6F0AD60D6EC0E451B36BB5525E27C3F65E2601F2D3E979BE3D2863B9EBB74C3173E,09306D8A5BFB89DEE69AB7A6C43D70204E4A0EC68BED45E708C53DFC82EA4B7AFF2FEB5E0D72A1F06A0DCDBBEBBCB0BA9E43027C7FEE7B14665E],[0FE4561B7D61EB32D7B1F1052B5DABD40F0CD2B3385513833822B237215C86BF1CC7202A221AFF67B900310990BD7A376828E7673EEE6D469839,3F73F4096ADED942AF92FA1D2980A58FC48B804902CB85C72BF7ED8C966803E813237BEF4D9F7602B3A80694B645E80D3569622D6FFA160E63]]", |
| "FP4mulj" : "[[082530ED788AAEC247DF7A1663AD292443906803835807AC6C67A109DBCC1B791C1DE5DB47FD738ACB4DDB647E3C911A1B90359FD18F1C76D75A,098A9D89BDA556D07BDD560B1605BD15B1442204D03EC9A998DC9E1B3DE2A0149D9A2D816C6015AB677DD877B66D8FE2FDDB285F6B85CD166A9D],[0CA068E501B9430F7EB457992E80F8B366A6F6004E4E1E3CD04A01F5078A454B810F168F07AA652A42E4093B928607EDEBB9B1D987847C2C5FD2,0F4CE74A74BC0942277377E4133B549893BBD533C6A0BBC9D30646F1277FDB47E4EF8E93466D2B7E4684F6960B40BBAB88DCD54AF247D5B049E1]]", |
| "BIGsc1" : "11419376F42F873B4E481EFC9682D5DF2920C470ADF3A32A31F4E31F6D9F456057F719A7115A255E242F9683FA41FC2C555BB28D25CAE8EE2C31", |
| "BIGsc2" : "50", |
| "FP4pow" : "[[07FAD28C7262E5BB8AD0C3233B3322F8159939B982ABDC0F484A0731A76902AAC903615C6099C3DCC0266F304505EEC42163D6945B9D8BC30123,14268EE03CACCA7E7AA393CE14D044052B0BECC8075B847B35B863D750EBE4F70629BDB05B396A553565FD5C57C023A5742A87F03B42603979ED],[05844403462128452F1CCEECC402954D5F72C09B351B31EDAFCD3E67098EC8FD76F4A7655FC66364B0B39D43E1CC75D6B329A6BCDF77E5EE31CB,14952B2CDD4122F4EA40821B1A8B9A4CC5702730EB5FCE79E98EFE02665DA15F368BCEB33C1E2D9989152773E8A6CCC50C4B3439BD0D4D0B2D9C]]", |
| "FP4frob" : "[[0CA068E501B9430F7EB457992E80F8B366A6F6004E4E1E3CD04A01F5078A454B810F168F07AA652A42E4093B928607EDEBB9B1D987847C2C5FD2,06086DFAE091511332E25EB001580B24DB625DA4F42BE8B1417E445181601F1437D0809364242A00B9BB0989F4C499A9C1CDD5610DB8D4FA60CA],[04F2AFCE826E01FFCB6222CA4A539BB510297851BF4E706A9EF1FDCB1A6F3192147A7DB4D3339585945EBF2C0335C7971EF864CB4AA344389514,0249575E7CF0731A7CE8790237E75454F39CCA4CB6395C8D3217580CD4C59D73389BED449267B3E826D4F5AD245B82281B9497127CF3A3E9AB66]]", |
| "FP4xtrA" : "[[05D5C61E0FBBD529883C4BA04B43597F3CBFB96D8A3CEF9F58FDB4572D6D2ACC3EF8156980F738FFDF894FFAEF6C58C6C511A3492D3844A20155,04B35AC5301A292D10BE0E359E70C2F80D8DF3E0782911129795A99D8D6FCF116497806C91BE0DDE3E2634DACF242E0AF57D3BC8EDD51049D6CB],[036431E8F7BBE959DE1483EA6FD3AE15D8CCD2C17A8088E7759A948C9F7F1F17D60D6FBB17B18EF6783B64CD02A9C99938834CF667A46AD5CE47,0FFE5A289B5867B7285C5B4FBA9C6F429BAB7868DF0A82FD910527BC8C8266BB800B9DEF207E13EB14E6EA80A2DE5BDA87963D3B2A10FC6774CA]]", |
| "FP4xtrD" : "[[0346F242AF5E04232D294CF29B5ECA94311EF9D75A83466FDFCB7A7B815F9CBE0888E7895481925D5CA19622FE6A8DF48AE1440AA47E6ACAA8D5,0528B375E2F70AA9E637A9707F3D8E548BE505DEB260B14C41CB7BFA366B1E7FF608B5973A2F76AABFC054BD7CC8B5DA22070B940AD60FD9E1D3],[023CC80C0F6DFB5E620BA98A910B66B9FC586EABD2B34733311722D16ACDB7BD0F9977FDC769802232A27DC45F45B1FB15B2BBAEC2A24DA210B4,0A7411BF40B9398C925F39E5F54A0A1EEF4F2F7C52D30C29F257AE2817726F2E9EE27020544E5EB4CAEA38FCC30AFDCA2E3BE6BF9E49067E3AD8]]", |
| "FP4xtrpow" : "[[0AC36C7A1FF4CCBB16D5F5102DBA8E600D81C65478AF5A4EAAC5B855C7DF5A7917C4C4E8383CE4E13214C1457B6037063DD958889556165430DD,1554FE9107F5228668F68655A9D5707E6EDFA64765AA00D2367AE8578C574575EAA305462D77437D8A1B2CACA4D48499B386636360DB867BE251],[03F98F41648B78E6EB6CFB647E9B112CA06B24C6DE6329EEF174D6B4D3B0B34A83FF4FAC2B89C92195D20C4C74EA8634D2B9AAA6E171F4032B75,0E52C717F45C70FEEA6AA974B9F4068B4CE9E1EF01B8FBC0E77AEB79027063EB0041A951EC8C057E00B785097CDDF9A153EB9B05256A342FAF35]]", |
| "FP4xtrpow2" : "[[0F3BA5FD899E9EDC18B735ECDF648992E8335E6E4049B631577B09ED37304E32DCD4348B9361A4968BC536943524D4B5E84EC89A24F33A090A4D,13CF541E645D88951C255089CB591FC367CF9022A72E25F7DFE3B69CD95CCD3E6B8E4E137809754917A59C6ABD08B45718EFAB341418BF4625D7],[10CC790E873449BF48E227C4A77FF6A0FBE88A6F0F238404D8272A2A3217949DB0AC7AA22772F7DD3E07A8A1BFB37CF3BD68B33B7F570CA8D0CE,0754FAF4252E5B1DB6C99BA0E123A77258A12D07CE4C88FA72642565E91F03295B1A7A89AB23E672EB9710937C412EB981DB099A0D1E3F7D06E7]]" |
| }, |
| { |
| "FP41" : "[[5BFFA6485665E3BED3DD5A693B6ECC74A9A430C7A8E5B2E8D7D4B05954B33481AC3312A11DBBF07E410E35C61DE1EAD612932859FBA5E4B253,136C915781576B793FFFCBD1A3ECCC75F25F537B10612E733E898D13C8889C475B112DDB42D81F76E3C8438F42BD6400EDE8F89DA6C8FCA21EA5],[09F1AFA2D291314B80580096B26A95C2FF935DCE419CD9BEE1F18074C5356913202D887CD1575FCB9A9F901B3078AE378032E3DA8C0FE012FA11,0EFCE5E8BE814E5EBADFA53C85C84A8D75BEA38B333CB135BD7FAE8DF0BDFBC9625A0DE6781F39DC19BADAA273E7B3489196B3C29C4953E4AF22]]", |
| "FP42" : "[[10359200F585037235AFA4D302091B380746257E058C6E724BFC05A738C86D7AD10BB13AB102E4F6C172C3459B3E19E958FE1FD04D11B463A11A,13C00DAD7F726D9A103E68EB86830B7E191A71B8DA248EF684FCBCD1140B8DD8229C30F871C740792B0399280CF2105D0ED25D95C9EED286D725],[13237B64ACC8EB9C2D93AE383B96C40C7EE29F2B080320ED030C4251FEE6E8465D6A3D277FE4E5A10A27050D681166AFBD5E46CCE67D389D68BC,03827CEF0B78976F4EFE726E2267282BFFB94F360CAB9306C3AD5D62727F2A12ABDC34C2C701EC6F3B57535E8750280CCA47FF490C2CEA36B4F6]]", |
| "FP121" : "[[0905B005793F76A307F1A84DBDE19A38CF070C2FCF8D28E8C0175085208F2C6B522C02D795B7AF40971B614B115DCC45E20CBBA6EBF3056E4902,0E0F0517BECD6582B85FC8A20DFFBE8470967AD3EFEAFC071B118F053645056A1401123B1CFC50DE0F8DDF1D11F484428A5D9258C1D5EE69EF11],[0F2DA76F34970C0395BC1B2453B458981E9C1C25D37E3A8C62EEE1E7126FA1F0E6798841A6B63C3620D19EAD77F23D8D34F47996D21F4A00CD5B,02730DCE5CEC97517C1BC71E61D0127F7EF2145081058D317168274862BF333532C3875BF484517DC648D4B1A226C036E6DD1811FF1D3285D3C6]]", |
| "FP122" : "[[0905B005793F76A307F1A84DBDE19A38CF070C2FCF8D28E8C0175085208F2C6B522C02D795B7AF40971B614B115DCC45E20CBBA6EBF3056E4902,0E0F0517BECD6582B85FC8A20DFFBE8470967AD3EFEAFC071B118F053645056A1401123B1CFC50DE0F8DDF1D11F484428A5D9258C1D5EE69EF11],[0F2DA76F34970C0395BC1B2453B458981E9C1C25D37E3A8C62EEE1E7126FA1F0E6798841A6B63C3620D19EAD77F23D8D34F47996D21F4A00CD5B,02730DCE5CEC97517C1BC71E61D0127F7EF2145081058D317168274862BF333532C3875BF484517DC648D4B1A226C036E6DD1811FF1D3285D3C6]]", |
| "FP123" : "[[0DF5A1B0C026596EA6479C8E21B62EB45834037989BB6F589C4F1AF9D3A3BB67B36FE2A5E0397F8734A344712F28EE0928168C94F02BE7F14D63,1429771CFB05C3C2B1270E61218C5C3A26BBBEA731E0221B8C0AEAE85B14E100F6D1A52549C0112467EE0686AB287B61E8727FE266D9B9917BB9],[0E4BF259401A78446F8C4BC3668DB927CBC127E591CA29496D3016FF5D7E25BDFE21207B1CA84BF9A89A47D727C62E7A6FE7C5B54B45D74F707C,0AAD7FD0494F952A963B24E489F2A15CC9BBFB1C211A0EAEE628C940AB713A27BBB11984CDEF7DE9F10F20F33E471DC7F5E43D9E3C3BF485EFA0]]", |
| "FP124" : "[[125F07CEDCA6C3017940D114C2A84054DCA84DF46B23A700EC021854764601FA3B7B48A4D3B597C5B52C55014940092D42BCC36E4BBB95525104,07954AD6E02A0E0D716E053C0747261466EA138A7FD7C95DDB0FB6284BBF365EC0013E4999B192F574EBCC13D0917CF2F6583D301941666C7F1F],[0E49DDBCCC0A2A68306DAD513E67E8E17EF9D3B5427C896AC776A8D4994F56C7846BDEE6B23DC93DCFFA95F8E1E00AD74520CAE3E2AB296138F3,01A4C8418D9B29DB001E1160E7580C3ECE2226DA8DB01A9EF52889AD26153CFF11B878EED3F65398D149971BFDA6DC48C15628D23692A04C9289]]", |
| "FP4add" : "[[109191A73DDB6955F483822D6B448A047BEFC9AECD35542534D3DA57921D20AF52B7E44D5220A0E73FB3D17B615BFBD42F10B2F8A70D5A48536D,11D749BFAB7C7EBDF5E85E2915DC78369C5B925B2FB918EEAF01BEA233B42FC360ED4FAD0A0E0A710E8BDC974FAA1F08B210AB8770B7247E4B1F],[07BFD5C22A0CC2925395D83AD96DFA120F57CA208ED35630D07937841B3C56FD60D7B67DA6AAEFEDA48695089884BF91F2E67FFB728C6E05B822,127F62D7C9F9E5CE09DE17AAA82F72B97577F2C13FE8443C812D0BF0633D25DC0E3642A93F21264B55122E00FB37DB555BDEB30BA8763E1B6418]]", |
| "FP4neg" : "[[14F9559F0CF6F4719B81F939AB57F0F0FA748EA7F323BEC82BACB6924F8B47279B13DC140973998E81FEF1EA39E7736A74981783A60504C5F858,01E8C3EDD3F5EEDC1A560AC270A693477CBEDF5DAA6B7607D5FAFE2EE0575E14C1AEE14B67B936081C77BC90BD47F1545CC1B20E5937AE088C06],[0B63A5A282BC2909D9FDD5FD6228C9FA6F8AD50A792FCABC32930ACDE3AA9148FC9286A9D939F5B365A07004CF8CA71DCA77C6D173F0CA97B09A,06586F5C96CC0BF69F7631578ECB152FF95F8F4D878FF3455704DCB4B821FE92BA66014032721BA2E685257D8C1DA20CB913F6E963B756C5FB89]]", |
| "FP4sub" : "[[057BC2EAA81EBCC6E37A0F1B7BC5B351DC81B18B7CE91BBBB1605A4BC96C4015CD6090FE9AAC2C78BD0E4B102AE51D56C7BF1E040CEA9C2BBBE4,1501D8EF573258348A17397A31FD20B54863149AF10943F7CE115B855D5D08CB55350C097BA2347CB904AA8735D0A8F929C145B3DCDAD4C5F22B],[0C2389837B15A004AD1A28F28B673173EFCEF17BF4665D4CF369C9656F2E7B28DF835A7BFC03CFA990B88B2DC86C9CDD0D7F47B9A59352203C00,0B7A68F9B308B6EF6BE132CE636122617605545526911E2EF9D2512B7E3ED1B6B67DD923B11D4D6CDE638743EC978B3BC74EB479901C69ADFA2C]]", |
| "FP4conj" : "[[5BFFA6485665E3BED3DD5A693B6ECC74A9A430C7A8E5B2E8D7D4B05954B33481AC3312A11DBBF07E410E35C61DE1EAD612932859FBA5E4B253,136C915781576B793FFFCBD1A3ECCC75F25F537B10612E733E898D13C8889C475B112DDB42D81F76E3C8438F42BD6400EDE8F89DA6C8FCA21EA5],[0B63A5A282BC2909D9FDD5FD6228C9FA6F8AD50A792FCABC32930ACDE3AA9148FC9286A9D939F5B365A07004CF8CA71DCA77C6D173F0CA97B09A,06586F5C96CC0BF69F7631578ECB152FF95F8F4D878FF3455704DCB4B821FE92BA66014032721BA2E685257D8C1DA20CB913F6E963B756C5FB89]]", |
| "FP4nconj" : "[[14F9559F0CF6F4719B81F939AB57F0F0FA748EA7F323BEC82BACB6924F8B47279B13DC140973998E81FEF1EA39E7736A74981783A60504C5F858,01E8C3EDD3F5EEDC1A560AC270A693477CBEDF5DAA6B7607D5FAFE2EE0575E14C1AEE14B67B936081C77BC90BD47F1545CC1B20E5937AE088C06],[09F1AFA2D291314B80580096B26A95C2FF935DCE419CD9BEE1F18074C5356913202D887CD1575FCB9A9F901B3078AE378032E3DA8C0FE012FA11,0EFCE5E8BE814E5EBADFA53C85C84A8D75BEA38B333CB135BD7FAE8DF0BDFBC9625A0DE6781F39DC19BADAA273E7B3489196B3C29C4953E4AF22]]", |
| "FP2sc" : "[1333476C9A37E88E990763E5F6BD89852D595D6933649BA932922ABF14A6A0D77CC5FF88554A2D4CAFE984AF48C567E1778E32E3E46833A17ACA,034F6A9B8D03C4CAF152047C6D19848AAC053A33666933D466CEAAE56C8A8A735AE59611D4842D50C7F2B8C685306ABF3A2EF6154623BD9C3885]", |
| "FP4pmul" : "[[04FFB177B12E6B92E41B5CBAB37C9218B4704CC3FF9AB5B878337DB7BE1488E28E7A31A83A31CB6C98CC4498543C2F8271F4C10B88EE8816FD8F,0A0CB03B0C455196D4880BC551994B44D337BF7FD9206731FBDF87952F1183BBDD8F7D9547E3A7C97AAC9BBC03A68F1EF397E1557C8676A6D51A],[103AF87603C39D10A22FF9B0ACC87BE3F8589EBED39607C658160FC178D67979FC602C57C7ED90EA034D4814A8325E8361A5EDA1B11BD40F3CD4,10A8E4E75A29B6663B4D8505F2F20DF2C73B2E29434BD12C63F2DF0D8ABE278E09BFC3136036C4BB0D652A2C090678F717D0B5959A2B6CDF7330]]", |
| "FP4imul" : "[[0113FEF2D90331AB3C7B980F3BB24C655DFCEC9256FAB118BA877E110BFE199D85049937E35933D17AC32AA15259A5C08237B9790DF2F1AE16F9,0F9B097BD96B8DC10B53B64CC29FA5E6F8E194BFBB8A4263929390B607D9E01DD7B36B447365B366AAD8CA6DC82D815834659480F459A0910699],[087FB9A32266398D26B22B3002AC618B8F9BE6920A09E8C1914FF61BA6C040DD43C88A4FC974C9E3CF9EB0319164B55135EE00E3A42EF58E4388,024C072F90E936717BF3428D6832202D82FF84F0241CCAAB0F75F5248079FEA3ED8E0B66133B02964CB08FA75BAC6F2F1F6EC5EFD4DAA658B810]]", |
| "FP4sqr" : "[[0C4F5E8AE3C7AEC280BB3A6816F1C0796492C11A5620D210EFF6B1988F0293A087196F285CEEA24BA809689B3ED542F3A627EFA1D0599070EE15,14A7C808B85C286563D7ECCC945218586DF43B053B299BD9DE87518FE697183DAC19ACC3150925AF0F973743EE94664D4D456171F06DFDDD22EA],[108AA63D47E7C6612E12A802D93D4B7AFBCF2BB4647E8C52131862859DDA28427EB355F0A602C89C2F5D763DD409FAC3915A423DCD300CCA6D93,0E804BE712736C3F789E73EAA4514D1748AD4B1011867BC5D0C4AB906CF9839EE9787B03274E2EEE5CEAF7AF889893642F0C7A84773651827DE5]]", |
| "FP4mul" : "[[1308750EAB7696951CA557851020A3DF249B8DF238B5E90A97E556C88B1D727F6DE57EE369839A33D2085DBEDEF337227A8188EB7B9CDEB0E8A2,0C954212A4030775132416B5EDEAF0B91632A532F4EF270560524BBC6D95004D7A8A483E56A95F05214F086ED68A7F8A3BEA47CA17E7D007C553],[153A3218B9132F0D7DF718C2C993AF906E68CDFCD0C5332ADFC83233B33972448BA7BB9587D733E979643F96AF9A1DD4CB9B0B26ED65F862B201,09CDA073B9330A5D9D2CBF149096D040A6D6BDA797E61BC8AC6F086A68F7DDB62D96DFF633F5850520B63BD85B7EE286544AE8BFBBFD3BB99F36]]", |
| "FP4inv" : "[[13BBFCA405B96966F45668F22EA234C12CFE4F8B2B6535AC92A9DD4B1EE0FBB2DCCBFF59330247804BBC7AD9BCB839DE24110C447941303D4E1B,0CB77F8E897A69E54DD618D1519CCF246E8E56FB4822CCE223879B83981114E349CBD2B63E3D83935F6143D030864C40F9D4E0D1D10C0D2BFC28],[0458CA0EBC510F45FC178262B09E5C514D4EF9B6666C89F4A6BB24178B1489FCCBC3DE3D9D37B0BA9592EE8C555C0DAE4C7665F5FB2D92F2877E,02C2C90132E7BE75C00B689E552D97A0E9AEBF889ECDC9C0D77BDCA0827832F825CF224E43F913A8B0DAA442886C74B24137DF6BAE5F430A3377]]", |
| "FP4mulj" : "[[104A1EFF695D3D421FCE31EE4135AAF2F8F2ED1BC92CCD0438F65D297D5767A5DA9389BD03C97B6E8124B598BC9650443946DAC3EFC736D8F59A,039940463BC52554E0E1CF3F239F80930633CE80BA0CE6798AECA3C00D136A8065C7873C9EE54428B41A6A9DA45B0C2AC71EECF12858894CFE88],[5BFFA6485665E3BED3DD5A693B6ECC74A9A430C7A8E5B2E8D7D4B05954B33481AC3312A11DBBF07E410E35C61DE1EAD612932859FBA5E4B253,136C915781576B793FFFCBD1A3ECCC75F25F537B10612E733E898D13C8889C475B112DDB42D81F76E3C8438F42BD6400EDE8F89DA6C8FCA21EA5]]", |
| "BIGsc1" : "025DE0192A296C6A7330C5000549DCE66EFA956008098EEB7008CE733E1D93BB606AA31E9C519F6BC95190A56E0B42BD19E30CC70080BFB992ED", |
| "BIGsc2" : "32", |
| "FP4pow" : "[[0F1EE1A9B59BC578ABDAD4985F4346B49170E11C3CBC04CCA554799EC1C0E394DF91FAB88ED44CB1FE35CB2435665FB9327A0ECEA0143E2017A1,107D005465608D2624E5412017A10B0B659FFF6DA8D8793FD4801573CFAB3A76FCBBF941A877398136BF2F253E46C88ADC701BE360A425AAF22A],[0D2A1541C40DE0BC441A826E0681F61FABB035FDE259E888E7C8920683A3CBD2F6D37F8C678646F15D9F4C3636D26DF59DF38FDF8415A6544FAE,0D110E80BC9F6CDBBA05B2DBEE846A0FDD5A56B73DA135B183F77E265F3B0ABA06F10B72F0BE4CB3F58A227C77C432D0D8FA0A2DD9EB165D814D]]", |
| "FP4frob" : "[[5BFFA6485665E3BED3DD5A693B6ECC74A9A430C7A8E5B2E8D7D4B05954B33481AC3312A11DBBF07E410E35C61DE1EAD612932859FBA5E4B253,01E8C3EDD3F5EEDC1A560AC270A693477CBEDF5DAA6B7607D5FAFE2EE0575E14C1AEE14B67B936081C77BC90BD47F1545CC1B20E5937AE088C06],[10D0DA5BFDA46A53A3E27EE2218C36C434B2F68DC5B7E652E8270CB71B496AB3897A38B754557122AEC9F8BAAEEDF1EF2A56A34CA964E5FFE152,0F3EAE8FA3461116C84B9096A0503EA35B5295C7E5AF64D06EB7C9342A1FD8AA7A8EE6766F6F0586FCAB0E1017BE98E554E2F256570CBBBD14A6]]", |
| "FP4xtrA" : "[[09248A2495759766F3391B5367FE466CF43CBF0859C9A196A794C55EC475C9023F65A9EA6CA8349F3D2AEB6AC371EF266D2EA7322D39C1DBB9EC,09BF86EDFA03DF801B7F5CB8294DADC996121A0A533EAA691D5FF683756DAE2C6D2F4107FBEFFE1E2C9F334EF853F401ADF7E458BEDDA0A426C0],[075689CFB579EDB70FBAF81A74C582036A33AA8A83AA7C65F8E361666B98E9A302AE08E37EB9CB799B3AE2F2C6A21CE2C2ED37A776FF9738D7E6,106CAF4BF58F829880CD7F25F701330A383989C416D9536B7AC709E8C68BD5E8E099930EE3D3DB99CA7C05D17A91D6F16E7540CB74458E9F47A0]]", |
| "FP4xtrD" : "[[0B975F3E531AE2FB03137FB3447AE2E07B3F78B8C6CF06AB1E470837DC592D3783C109031AB32A6AAB874C2FB2997F1DFA02C9511C6244A7896F,0323FA9F0AFAABC83E2E2BBD610BDF29F853C6E7D533E36E75F8C2AAFE65DA0B12B7603339EA3C404846B045691EF3A0BC1E1AE2A2DCAF43904B],[0F18B03D97BCCEA2D46CD29C297F17438BD7B4782CEB9B54C276D82C7F65000CA24E57C39E2032B4645C965434F601DD47155F46E54F2245B70A,01CF6D2DE4DB545239B2113B86BB22B755EE2C750266953B22BAF226FCB5867974AC7882C269F7A88FE0ACB4705D4F4ABCE48CB1AFC7A3F686D3]]", |
| "FP4xtrpow" : "[[0AC7903EA5DEEBB93A03F81ECED98D218BDCF50B1BCE27874179967839ED8F676DE6693E47277D744FCF298D49E9F9D3D6E166F43F211B82F95E,08E033DAE9F26090CEBCA3177EB711D97EDD23EBC55B1775A6A189D613E60B2CC43CA69B669DC65D1AFA578D56C004F7B7310EC3FB4FB1FD188B],[0948EECA917FF6E43D8FC904E0CF08E6C3F07DC0C73340599BEAD2A6226507F12A6BF76DA1EB08DFFE55970A26159BB7B3CFC1BB1FA18BBEA1A5,113E0935FF852DFFA495A767769E515F461440506C6E71AAACDBFAB67D3F9B7C1350F874D203010E3C9641F27EDB40DDFED0A6CA993FA8365D18]]", |
| "FP4xtrpow2" : "[[0A8A8DD34336E4E9A0A83E65D50507356F40B06B432C666963E8E06033D2E6CA20D85712A694316337E1B3ADF378A9CB6871E0E71B726F197D30,07C5ECA85719D2D885D23CAFB62381F04F221B3444C864B207F9A77A9678F1787B4938E9867933BFC850CB7FDA06006AFA5C9E63468A676AA1D4],[13943C84F154F8D7CB4CFE0280E6660A28CEEFB5E8BF6D9E96AD4AFA803BDB938DB1327F27341C168C08E308849435C5A5CA629FBB86A4BA0167,0E3FC6BE4C3FD8AB2BAE3A136CAD27EF891A68B45645D4CBBB1E1BE3F33CC656341A62041944D9DC94FEA46A31042CB04E1A49B15A121280CDBB]]" |
| }, |
| { |
| "FP41" : "[[01B13EA2101EE53FF7E63EC7BA357E4CEE845CD32F9696EA1874C2C76B42A25E03D729A301C716FB3A84B8F1DAEAB300B8D569A6F14F2E7C828B,06C89564FDD26C5BE62B3A014D7E669BEFFB7DC31DD4542E8DBC2CF829C23735914CDA69821ED044C4C233EB407D39BFAE3700A621E8956862C4],[040A26B628B1E4492114A4DAA6A01C8E31AFF3F09D2E99D4BC5454D01EC4E61E3C574F55A87A598D8C75BED0816D71A4ECEDA4F6D1B5649C9E45,08B5282FC75A71622095DEBF1521CDE72AB12BDFF5884A273E16CF04401700E07207EE008643C0DAABBCEE9D8DDBF8DDE9CBEDDDEBB022DD877D]]", |
| "FP42" : "[[03A8460BCF01F994AC2436D1B4133216B2FC04E157379C6E1DA1DAD198DCC6FBF9EA351EF1958F7B3D2ACB8925BD7D54B23BBCF670BFF68080C9,121AFB08E00DA3FE9F0EC9731830E87F1735B43E23EF594541598C6AC437A1E84ADC237A95B25EC7703ED2DF64FC6D4D84D9EEB5055E84AA86A1],[103033A2A6002035A1864A764908F027064237E660D4DFE80E371BE0E15063C61220CBB46A0E8107A67C52769B35DDF9E350CF511EC0BE040F51,052C0A99AB1917895B54672C0E664925E07A2C63F853DD1FD295D808DB1C5FFACDFC33A501B3BFDA16653C08507F49866C45748D2F6C72BBEE5F]]", |
| "FP121" : "[[9880CB3C142ED2FA2F77FBABE406886406A776B379D4F3AB813FB95122CA72DA8A44D040673B8C7B975127395ADA3A81C17F79DAB40EB1BF7F,05D15968685F74002A46B00043A30D0C657AC738268054D2CD4CCA2FD7D09E34A110B1DA9DF25298C158CC5724FC3DEDB7E615CFB5DF1D9D3ABB],[09177767E30ADAB4357ABDB14725CFF0B4E9343F3D896CB0519A3E0AB2B694AD4268164239CFDE2261E8156A1708BCD3B8BC2AAD797436BA6E6C,048491D5E83F8B5C8FAF8A3DF7948EA16AEBF2B38D4F5DB5FE7BEE16AF9B638358D4426393B95F31D830FC4C296DA89A1D54E498B6706B552BBD]]", |
| "FP122" : "[[9880CB3C142ED2FA2F77FBABE406886406A776B379D4F3AB813FB95122CA72DA8A44D040673B8C7B975127395ADA3A81C17F79DAB40EB1BF7F,05D15968685F74002A46B00043A30D0C657AC738268054D2CD4CCA2FD7D09E34A110B1DA9DF25298C158CC5724FC3DEDB7E615CFB5DF1D9D3ABB],[09177767E30ADAB4357ABDB14725CFF0B4E9343F3D896CB0519A3E0AB2B694AD4268164239CFDE2261E8156A1708BCD3B8BC2AAD797436BA6E6C,048491D5E83F8B5C8FAF8A3DF7948EA16AEBF2B38D4F5DB5FE7BEE16AF9B638358D4426393B95F31D830FC4C296DA89A1D54E498B6706B552BBD]]", |
| "FP123" : "[[06F6E6F07C488220D750D3E2A65F098A8E9A755B9CFBB1D474A80B5FD6B1EC97F2F7F98E1270C66C468BD50190C9BAC9388E1B2497A94369F7A3,02C663326255012F72301161FF7FA85BF2C8C157F33A798F8D46310B0C70000050B9C6ED7254CCA2FD68DC56A69EF857CBE89F8C8B8E39875066],[07EE89752D24592AE07CE134311FC80C958719D7996A3B08AE2FBFF03A38CB4FF7438320F75502CDC9A62BDA947BCD24EBCA8B6E2C81C68BF0FA,0E9E8369BD4831B33195603CAFDBBA1AAA7433254DFFEC1552D9BC59DDDCA1535441D470D7EE346F8AC725DCA9713866EBFEC0F1440839795F2C]]", |
| "FP124" : "[[0537067DD752EABE074C8A4558B32342754262A667E8AA4938985A2BD537C64F9C60299588A7D06D94C5AA5F7534CB2CD96816556C3702BB5EF1,0FAB2091C980E53D0B30FBEC409A8A8D9ACD623739DAB6AD243152184591F1A0702F4B3FE4C23359FA42E87FF14E2D279E03B5B8A3EDB2D5D277],[15308B1A2E3FA2D4B31546D5C6AF72B08DD96733AA59C0119D67593B2AF3A8354DC08A34F61E500EEDA6978579FB45A5093E7EC4DF9A5CD3243C,087E3128AC6A627A6E9EED8F5FD1706E0F269F9EB8902C9052C1B676ADC8C186AC584816196F0E2E8CB9F8D7E6D8AB6A9E61C8793E83F970370A]]", |
| "FP4add" : "[[055984ADDF20DED4A40A75996E48B063A18061B486CE335836169D99041F6959FDC15EC1F35CA67677AF847B00A830556B11269D620F24FD0354,038E3B288892B6052AE42CE0511BEF5D9812FF2886F708F8BA912E204519DEC1BF68EEBD6D3FD98D34C106AAA57451B7E86644AF27466F683EBA],[143A5A58CEB2047EC29AEF50EFA90CB537F22BD6FE0379BCCA8B70B1001549E44E781B0A1288DA9532F211471CA34F9ED03E7447F07622A0AD96,0DE132C9727388EB7BEA45EB2388170D0B2B5843EDDC274710ACA70D1B3360DB400421A587F780B4C2222AA5DE5B42645611626B1B1C959975DC]]", |
| "FP4neg" : "[[13A416A3452E7515626F97CC5A5DE1708099D6058B360D90FC0FC87B3D9D57FE18E8E583A8CA3E83C5BB472E251AA25491D541050EB17C2E2820,0E8CBFE0577AEDF9742A9C92C714F9217F22B5159CF8504C86C85E4A7F1DC3268B7334BD2872853A3B7DCC34BF881B959C73AA05DE18154247E7],[114B2E8F2C9B760C394131B96DF3432F3D6E3EE81D9E0AA6583036728A1B143DE068BFD10216FBF173CA414F7E97E3B05DBD05B52E4B460E0C66,0CA02D158DF2E8F339BFF7D4FF7191D6446D06F8C5445A53D66DBC3E68C8F97BAAB82126244D94A45483118272295C7760DEBCCE145087CD232E]]", |
| "FP4sub" : "[[135E4DDB966A4600A617DE8A1AB5ABF3AAA68ACA932B9EF70F5773387B45D5BE26AD03AABAC2DCFEFD99ED88B5328B015144575C808FE2A6AC6D,0A02EFA1731222B2A172472249E0DDDA47E3FC5DB4B19F6460E72BD00E6A8FA96330C61596FDC6FC54C3612BDB8621C77407BC9D1C8ABB6886CE],[092F4858D7FF1E68D9E430F8722A8C249A8BEEE2F7265E67C2A1C431E6547CB446F692C7E8FD2E04E6396C79E63CE90054478051B2F55143399F,03891D961C4159D8C541779306BB84C14A36FF7BFD346D076B80F6FB64FAA0E5A40BBA5B849001009557B2953D5CAF577D867950BC43B021991E]]", |
| "FP4conj" : "[[01B13EA2101EE53FF7E63EC7BA357E4CEE845CD32F9696EA1874C2C76B42A25E03D729A301C716FB3A84B8F1DAEAB300B8D569A6F14F2E7C828B,06C89564FDD26C5BE62B3A014D7E669BEFFB7DC31DD4542E8DBC2CF829C23735914CDA69821ED044C4C233EB407D39BFAE3700A621E8956862C4],[114B2E8F2C9B760C394131B96DF3432F3D6E3EE81D9E0AA6583036728A1B143DE068BFD10216FBF173CA414F7E97E3B05DBD05B52E4B460E0C66,0CA02D158DF2E8F339BFF7D4FF7191D6446D06F8C5445A53D66DBC3E68C8F97BAAB82126244D94A45483118272295C7760DEBCCE145087CD232E]]", |
| "FP4nconj" : "[[13A416A3452E7515626F97CC5A5DE1708099D6058B360D90FC0FC87B3D9D57FE18E8E583A8CA3E83C5BB472E251AA25491D541050EB17C2E2820,0E8CBFE0577AEDF9742A9C92C714F9217F22B5159CF8504C86C85E4A7F1DC3268B7334BD2872853A3B7DCC34BF881B959C73AA05DE18154247E7],[040A26B628B1E4492114A4DAA6A01C8E31AFF3F09D2E99D4BC5454D01EC4E61E3C574F55A87A598D8C75BED0816D71A4ECEDA4F6D1B5649C9E45,08B5282FC75A71622095DEBF1521CDE72AB12BDFF5884A273E16CF04401700E07207EE008643C0DAABBCEE9D8DDBF8DDE9CBEDDDEBB022DD877D]]", |
| "FP2sc" : "[12B0169B2BB92423CA2A9512763A6DDDECF42A60264F439C2A2EC8CB380EFABA03A70668E51A10817C2D400C73E28011147A3F1BF5F4016A4A06,01D6B669EABCCBF34017C294840FAD6B47A51DACAD8638A0731511621F01736918995EF7D5A020851BFB46CA05E5C6E37F864BF3C8BF29024B32]", |
| "FP4pmul" : "[[0B09200819EB01C9C08D5742373B07AF1C460D927F1E041A891D40E6D02C35DA975A37D04E57E345700E9372F8015504C2B996C09882C3B5BE16,0B67DC902016A9BF78C0846ADDCDF72B4EA22931DA80EADB0E6E9A52F9E8C9B0359D44DC0CEF21C51986E4D0D1C8888FD7227DB8B43A1A381281],[0C3FF156652493DB5A6E225D9885023D1AC5916ED04DBF2389C4E8622326C52CA50C261F6D9A61C142A140299C49AC133B6CE364EC2EFD6419AC,13338802D69632D7987501078E45B86D51F43602F051251DBFE7BE9C2D62E083236878D0152938F3166A078EB8A00B86092844991EC8FE4D0495]]", |
| "FP4imul" : "[[06C4FA88407B94FFDF98FB1EE8D5F933BA11734CBE5A5BA861D30B1DAD0A89780F5CA68C071C5BECEA12E3C76BAACC02E355A69BC53CB9F20A2C,05CD004EA1FC571A3E57117121663AB250CFC433BC84AC3F226C289DFE28E27A28735A7F5DE9EB9412C8CF8D01EF91A96E3157EC87A1AAF6E065],[10289AD8A2C791248452936A9A807238C6BFCFC274BA6752F15153407B139878F15D3D56A1E9663631D6FB4205B5C693B3B693DB46D592727914,0D7F4B79C81C6B332801A4683FF3D7DF3BA67CA71B548421E3D6B0CE577C0925AB5FA8DB6E7DADEBAEB3BA56376A8E225C850CCBAEBFE0CB7349]]", |
| "FP4sqr" : "[[04A441D4C2660BD10FBE7024DEB5E6DC2D43EA54FC41D846C91980445BFAB58A65BD03FA1423DD91F5DC896AFF9F8C86184D5908C7FBBF130D0C,0B4A4C6DDB127457B5683BB4E97B65D0BC4A8FB0FF4332328E8CF87109CBD7E7376CFCE49A31EA573EC21CBEF3B00B20CDF5D0142545D577DCFB],[09C51862ABBB4C735F5198AA8245B965A90C7A9BEA17274273E2CB48B50F5D04CC4E3E480DEFE77225DF8F509D20C7CD6CE5DEBB03E7B110D0C1,0266EF2A87A336D324B4E77DC45006EB389FED900D6FA00F67B697BAB4E06DC3AD529AAC8748E01536BEA7DC2ADEDB6FF978B115D8EF81A375EF]]", |
| "FP4mul" : "[[70960A57B7423DBD5051C8DE8AEA500DE9441325096A47ADB08641B556015C3BE0870AB993AD0D56E314DFE72B94568CD002B03EDBDB0B6350,11D4AA44DF1C3CAD6B3960D02E28072D85B5AE56CF34F0DD9670C359FB7873A31EC0B995082CEDE53EB24D9853ECDC39095036833887AF3AE2DE],[C4AE85296F533B6E43E743EB0FDED4F41ECEDD4534F5ED2AE427C70BC984CCEB3EA5515D448986DE4C8580661F50E734A9F0010D036EA87F9F,0F718564D9771319E704ED9359079EE6CC0A7076AED37DEC9381A12EF53621E20EA56EA4D3605ECFD2B69AF059F18D635DAE3491F6B680CD4003]]", |
| "FP4inv" : "[[1272BFE3329B2195F36C8D2643ED5DB93210DF3877AC9D2E3D3F6E2297652500AF93D72A9BB1CAF967C44A3BB38A1DE5449340022AE9E8D40C8E,11B4D94B93DA153657C0AA93F15CD9CCE25D9A2AEC0E9C18189D4116679860EA23B920BC3062ECD6CC5E463C77694D2BC5A20E17C6C1448539B4],[0C52317C9609C0611BA9F4FA4641C0886C6F0B17458DB37DA22AA80F288DA1DEE0D3F9CA623E83F8FFA0B3BB1C17E6FF8C343412E6452D419555,0A8F4927D587E1631D3FE164C03A96A5FB6F2F584B9E1A15A14E8BD420719CC474B9FE74E37B582201C84F3063D1E493732859381A1037F10FB3]]", |
| "FP4mulj" : "[[10AA53CBB6A4CD3C5AD49CAFA611AE64761CFAE96272F42892C2110E878DDF99E70F707BCCC7EE31E0F8D052F396CE1C4DCC61C4E605EC69C173,0CBF4EE5F00C55AB41AA8399BBC1EA755C611FD092B6E3FBFA6B23D45EDBE6FEAE5F3D562EBE1A683832AD6E0F496A82D6B992D4BD65877A25C2],[01B13EA2101EE53FF7E63EC7BA357E4CEE845CD32F9696EA1874C2C76B42A25E03D729A301C716FB3A84B8F1DAEAB300B8D569A6F14F2E7C828B,06C89564FDD26C5BE62B3A014D7E669BEFFB7DC31DD4542E8DBC2CF829C23735914CDA69821ED044C4C233EB407D39BFAE3700A621E8956862C4]]", |
| "BIGsc1" : "14D4B454BC6594ACE1608D6DA052D4C69BE2DAE1D3F7ABC7C98E7835C3011A2A3139644F5E988A38261A7E3446E577AE4A3F95E46B5268AD25D9", |
| "BIGsc2" : "28", |
| "FP4pow" : "[[09434D3613C3E71E724CFE5AC0E03F7421FBE836E0D9046E4E59856AF71832D6B3AC2D4B2DC19C9A7DD04AB7A857B47C12F0816504ED71092742,03BA2A24ED13700CFFE8414FD4271D01A028ADEB437C495ABB2595F71EB7A352038CE405A8ED495E77AFB570FB1DA4719EB112D6E653015F55EF],[1DA7260205DCFCE6893FF133C6A81A34E5018101E437393C9E6B6FC96DD0C301893E7B4C65E83740181D89B3A7B62AD0B0DDB7D17B3023CF2A,0384354354C0E03D1504C4A8400593336B088A76751F07D0D296B97CDE83EB528CDB5774081F9E9E798EFCE5E5C5F60E21AA510E24D0A17FBD94]]", |
| "FP4frob" : "[[01B13EA2101EE53FF7E63EC7BA357E4CEE845CD32F9696EA1874C2C76B42A25E03D729A301C716FB3A84B8F1DAEAB300B8D569A6F14F2E7C828B,0E8CBFE0577AEDF9742A9C92C714F9217F22B5159CF8504C86C85E4A7F1DC3268B7334BD2872853A3B7DCC34BF881B959C73AA05DE18154247E7],[0A3553A6EF230C8021BFA33CF3EB1EEF5FE64275E43A879CF5D6B10C7D00C1ED0DC90D84E06122EB2D36EA73B737A4E1B23BEBF4674D05B5164A,0702D2CEB6FF18E3171E5C3D838B6D7F18C2E763B532CE9E641952C4DC324939F2CFAF0139D0AF33C3F1708C5955E71A9AA2C1D9FD3D6911C4BD]]", |
| "FP4xtrA" : "[[0A5CDE5291323ED62A5E790CF696C1A0463527F4039FA798563BB91A93622E48DF2033420FB7411BA0AC873405C678696E2119EDEAC91CAA2702,0BC935B9E9C565536C186B50D4960042D768790DF62231C2AF8768735A325210B6ADE12984B61ABAFF4E9604588F06AFF9F07541474701F16CD8],[08B236CCAD2A37DFD671DA311590441DE27B241C5FA36CB8E0062D3B6C98585FE6D754EC4B013C4ECD18B83CEF0D5BA8F142D03F1EF32AC96685,0CAD0E9E9704FBFB46CDBE4D6046B01C84E3441C2A105D7DA170FE6FF02BD84722DEE776C5F1C917C22791E31E7F1C9782475F8252EA5034AD04]]", |
| "FP4xtrD" : "[[0141C490A22841511FF1F2956A4AEA42503B30AE9D14AA72982FFAB5857570CE5E0EB0B41095AF9B80D3178749CA2684A6A285BAE55D621A07F6,130E76E934BAF5F543679E466311F8564B71C7037E672E50879929C35F2763D83193573840859F4CB57DB50872BAECF6BC327973E1755551C21E],[11D965CEFD1F1505A17AE25FCF85F2820C6C627D24745AEBEC8B74E8F299294144FCDCF35EE49A8D3ECB0CF19FFBAB1746C128A8A7527A4A0D4B,13D13F8A1658199765E0A4FBEE93A2B98E02454FF880345DE3E435C3350E6F84916276AD93D061CA8E3885174696CD2BCD108CD1B04FC75E84E9]]", |
| "FP4xtrpow" : "[[0CD787943F0AF61869F86FEB03D77ED5C7BB67AB478AFEE3B875253A34B64ABA365FA82F500C1E091B574591AB2EAA5F9AD6F7222CE0818D0D6A,0D0AD0A147EA170B78FD4AA37D9700C41977673A30780A352E32A809961CB3E9615790FCC59B023BDBEEFC18FDB2E79B9C3D020FA02BE5E95373],[0B43D2E4DC74B722A9EAB14A22CB26E2D8A8843B12B5ABDDFBAAD0FB3B814C1A5E0136ECB160097A19C33F77DB3317C182EFEE8DDA945A82D346,12A65A927825E834B520B8096A457B645762E13916FB900A0C2A89764F7E4EBA2D9CC86ECD88FB578184B9040CF91D14585739BB650968C5BBE5]]", |
| "FP4xtrpow2" : "[[97890FF190471103DA7200D1EDF65DA4250E4B784C9202AC4C04F20DC87B1870A68E302209416AA74433EE0CD9456855AFA6051396DBD5F53B,09145361AF3B531676BD0487CE6C4241A63B98C1C59F3BD2A86828A4AE85914774BD332F3B032DB369B0DD9E02307CF37B5453871C355A49BB21],[10FF1CB1CBDA30D19EAC66B6E4A5A8FB49D8D38794ADB7EFEDDD554C4DFC773398843D0DE425A86352D930CD75518D1E39F405BBCDA0BA510255,1392A0CC766B6C76324B4F46E561FF2492A7610872937BFB6FD63ADA676DD6E4816804AFE1312C38BDDC3C51A8CDAC000AA12CF2FAD7DC8E23DA]]" |
| } |
| ] |
