| [ |
| { |
| "FP41" : "[[223738A5ECCFF17D0E1906F9D7FC48CEB6023A7AF320092C57F4134884DFE5A1,20E441E96F88CC1C4443994C7019ACCC4DC2B276169EE913A2E4891FCEF87DBF],[1ED3B37356FDC39FDDDFEE11BD658C118DA1BAB830FB7A6D6127D4902C1B0CD1,0B28EFE37C9187704C05BA67C084F6555DDD817F1B3B85F6F03A70EE389AF554]]", |
| "FP42" : "[[1B36E44E2EAB91037A868C2ED47510360D84BA2445F8829DF115CA41FB1DC249,23A957B708C3668ECD27E87B883933DD2E88317B8257CAFF7C6F20C2A9BDB95E],[1A75B09B51E2665C5DB733C3EFEDF88395F488A83D579A34A9D9ED99241E9417,0980BE62817166963685919948FAD16DDF3EB0D7B8AE961B0D1EE16753D58DF6]]", |
| "FP121" : "[[01E58D7807F53B254B7108950E8C0FE38FB9FE09338636A66C607C76FC4409BB,145D3EB31147C8F6ADEA4C70802EF2E9EA6ADDB9DD7E06F15A91985E7AD65045],[1AB81F6C00AE78B4CA895B8F119FCE712F5C4031401BF803B748BF57F35F1A09,21DF9F5DD5D6EF24950EEBE30D8E463BA7F59707F3DA91939E3337A2604835E1]]", |
| "FP122" : "[[01E58D7807F53B254B7108950E8C0FE38FB9FE09338636A66C607C76FC4409BB,145D3EB31147C8F6ADEA4C70802EF2E9EA6ADDB9DD7E06F15A91985E7AD65045],[1AB81F6C00AE78B4CA895B8F119FCE712F5C4031401BF803B748BF57F35F1A09,21DF9F5DD5D6EF24950EEBE30D8E463BA7F59707F3DA91939E3337A2604835E1]]", |
| "FP123" : "[[14991A8F0AF2E37B399C6695553DC11F72536998AFFD304C296B072A8D952D88,0384915AEC65890B167B64E23376F15C63F80E28081F07173898334050E18105],[17F73AF59794D805FF805356D5C05B02B924B9106C6D16C705EBA503D6358235,12BE1091684AB25C37A4A249327FD9AE277187DB929D59016EB39D821EF1E81A]]", |
| "FP124" : "[[0475526A5E53E7249BC8D263F4E5D0B362509C55A9F02A44065E64EEF0D0CF82,0E90A3218F82D4FB2945F3860ADD906156F4E155DC24BF8B45ECA04B7ED1225D],[7DEFE560E27FB8DC9DAF2E31E8AC885E94DD7BBA9EDBD80B352910DCF79910,1A5667A77383E623128E69E6C835025D0C00FC34D7E20D482E172FFAFFAC2E51]]", |
| "FP4add" : "[[184AB871DB7B827ECE6B45A8AC7158FC6265F49F39188BB6A209DD8A7FFDA7D7,1F6A351E384C32A957373447F852E0A11B29E3F198F6B3FF7853A9E278B6370A],[1425FF8C68E029FA8162D455AD53848CC27543606E53148E6401C2295039A0D5,14A9AE45FE02EE06828B4C01097FC7C33D1C3256D3EA1C11FD5952558C70834A]]", |
| "FP4neg" : "[[02EC2BDC53300E84AC1B46862803B739AB1EC5850CDFF6E74F0BECB77B201A72,043F2298D07733E575F0B4338FE6533C135E4D89E9611700041B76E031078254],[064FB10EE9023C61DC545F6E429A73F6D37F4547CF0485A645D82B6FD3E4F342,19FA749EC36E78916E2E93183F7B09B303437E80E4C47A1CB6C58F11C7650ABF]]", |
| "FP4sub" : "[[07005457BE24607993927ACB03873898A87D8056AD27868E66DE490689C22358,225E4EB4A6C5658F314FFE50E7E078F7805B80FA94471E27CD75685D253AC474],[045E02D8051B5D438028BA4DCD77938DF7AD320FF3A3E038B74DE6F707FC78BA,01A83180FB2020DA158028CE778A24E77E9ED0A7628CEFDBE31B8F86E4C5675E]]", |
| "FP4conj" : "[[223738A5ECCFF17D0E1906F9D7FC48CEB6023A7AF320092C57F4134884DFE5A1,20E441E96F88CC1C4443994C7019ACCC4DC2B276169EE913A2E4891FCEF87DBF],[064FB10EE9023C61DC545F6E429A73F6D37F4547CF0485A645D82B6FD3E4F342,19FA749EC36E78916E2E93183F7B09B303437E80E4C47A1CB6C58F11C7650ABF]]", |
| "FP4nconj" : "[[02EC2BDC53300E84AC1B46862803B739AB1EC5850CDFF6E74F0BECB77B201A72,043F2298D07733E575F0B4338FE6533C135E4D89E9611700041B76E031078254],[1ED3B37356FDC39FDDDFEE11BD658C118DA1BAB830FB7A6D6127D4902C1B0CD1,0B28EFE37C9187704C05BA67C084F6555DDD817F1B3B85F6F03A70EE389AF554]]", |
| "FP2sc" : "[06D81DAC8967D9B1D94E7416621B854905A06A95C3D5B75F3FA9DC2726B23678,1A5AA373663161D8A7BF06D2DB2BD81FEAA9D41CE6E4249BEBA5384E09B86C9D]", |
| "FP4pmul" : "[[10917D7D91C5CDC14F08B5875E4A0BBAC74DAAD0CA96F3DCBB5054641EFC7F76,0458C6C9DFCF63D7E65E096A325EF0588713FABE5F058CCE0D0D3C3F55E0AC77],[163D22F0D0B0B531003D23DDB6B1FFDC1B3A6ACE3C4E735115FAB9BBCAB27686,0502F661C9695E7227326FF70B88FCCF6A3E3822742EF7598969AF2ADC456168]]", |
| "FP4imul" : "[[00,00],[00,00]]", |
| "FP4sqr" : "[[049DA388C021417D2EFECD85DB1810948BC3F008AA6A6F64FE3223DC481D0A5F,0AD10BF990D2CC6D8400F5695DF59F8080B5FF601A60D3880277B2FAC5DB62E7],[0F4B6B2058B90A9FF1A66022F7A805E21B9501FC7345E811BA55BBA339DBBE51,212E364640D34F64A51DE5DDF3E2377B9FF3BDAE29AB435F870857C7BF7F206B]]", |
| "FP4mul" : "[[1C9486BC36D252559914E2B0D5414505BFC3F3BB79CD52D6666DF78AE8848519,11B653E1E843691D12643D15290DE53790844A104594FDD8231CF6B7465E3966],[1FE8E36649711A96280AA32264AA83A64AC427D15716360B112ACDC4816A2C23,18C26FFC69D7E7D734566D0790ED38B73A872478142ACDF61300CADD40BAAB00]]", |
| "FP4inv" : "[[1683CD4A2C40156B3D8DEA505033136AD3B01AAFB6B1533B7A0D16518CBE410D,04FCBD25E1BFD555572C8A99310E186DF8E023687653A45305AFA0B818EEA174],[096DF60865F40DECD8C56A9A1D1641030672D5CC8FD4A567DEF5ACBFD71AE2F9,1488F181B1B5C8052577A593A1D05F57716A5F9BF013F3FFFD6E3BB433B37B1C]]", |
| "FP4mulj" : "[[13AAC38FDA6C3C2F91DA33A9FCE095BC2FC4393915BFF47670ED63A1F380177D,04D93ED4938F4B0E6FB15AF97DEA825E8A5E3C374C370050AA62457E64B60212],[223738A5ECCFF17D0E1906F9D7FC48CEB6023A7AF320092C57F4134884DFE5A1,20E441E96F88CC1C4443994C7019ACCC4DC2B276169EE913A2E4891FCEF87DBF]]", |
| "BIGsc1" : "08DC0357CD8DF1C5894481D60816657FAEEF1DEFFA3A12002B639D69D94A6C8E", |
| "BIGsc2" : "56", |
| "FP4pow" : "[[1F82734AB1F62A2340EB34BC801D3387648966D5034AB6B4F5AE2B5E023346DB,17CB78EB98D60991449172FBCB50FE9837FA710153135D0B4E42D7AAD315CFAA],[077913C43A5D5D3B960F9D0A61912BF49F85C4C3FAC110B0A8AF989BF8FF2D28,01484514132C007F7F67588AAB2D6500C07B1A3AA856DF4C112939FCA170262F]]", |
| "FP4frob" : "[[223738A5ECCFF17D0E1906F9D7FC48CEB6023A7AF320092C57F4134884DFE5A1,043F2298D07733E575F0B4338FE6533C135E4D89E9611700041B76E031078254],[1379E347506D421E742D4FE8C24F9DE51A4B066DF3FDFB6758F5DE6AFFAD833D,06B18D16F6D5ACC4C36D750631699C25D710F7D766DD6DDDC88CD9A4F237A79A]]", |
| "FP4xtrA" : "[[05B70AD7505EC3754CBA304233DEFAE477274ACA2F12830C2DB5FEA60ADCC3C9,0CFB37974E7F7F37B376DA241B131F37F79D25B58AA52CECC194CF52C4B0A8B1],[09F5E5987761B6485D20930F85DD5BD071F506B780A8073E893E9E962B0875CE,0F8B1ABFBA50821BD15DC2653F02AED0A11E3DEE56AB8048C1C5C5C9EB8D098C]]", |
| "FP4xtrD" : "[[0A75FB4166815E8687355A922B1F7F07E2017B12C42A5D339C49FD4B3E5D3F43,134F512B31C134386FE25DD07DC245F8A7729A73ED2301880AAEA0BB27EA678F],[02AC090286B491DC38FDA14672731DF47496776CD53CDCC52EA564C39211D7CD,125CB18AF9F65E4382F50D2D74EC241DFA8DC0AC60224F39C07D39A430B50B00]]", |
| "FP4xtrpow" : "[[0292E7A8F0C1BD70FEFD6CB6E0E3C253E0A78830C96A52DA497395A2017A6A6C,18A4CAE751DE2572C5D4738483F5AA1BDD5DABE23FDF4CF00D138476F493242E],[0C7ED15B02544A8C94FA0967EB8A9D40A1F76CFA24AAC709F1D2C693C08D8FB7,1932694259112F93D4E8A22CC5E757484667FA894D3133636CCBBBC7DA4B6B02]]", |
| "FP4xtrpow2" : "[[0B56C01407EF0753DBA6C4DEBF8C368C18565349BC20ADA746093A2F788E917B,1ECF010C88B786D520BDCC2FFF079C2A897A7371607AA70DEABBBC2913C7CB70],[08E13E85BE0290F030FFCEAE8180DAD70929CCE7E77F52D350E03645A969FECF,240F53AF1B3B4D6A1241F99F4A2BF1EC83C525BA291927B1074F91356FCE63D8]]" |
| }, |
| { |
| "FP41" : "[[1A58291702F473357FCE2EF2F615F8B94CF52038377F3BF0EEB9C7F108AF6897,9BF2EF755E76DA15BBD87C2F38443810BB2A81EDFBDE21CB68901F82F2F2F6],[18A803B15E959016554084339FE14EC300904772BFEE9923A4476BD0563FCE0C,1232CB662D76AA69267D6DC6FC620886847E6C4252E9A3F200FEA6FE5733D477]]", |
| "FP42" : "[[183302AD1745E0967254772E1FEF0D9C2CA5169065F6F22C543989A77E66CE8A,648984FCD8C6E9ABD4E40D91668CD84B8F74C12A3CAF27E5588BFB46FF0228],[20CFF95EE2BF27ED23DED7FB9180810A3DAAB15F7C21651D7FC00516680F56BD,092B8C9AD2EA0AC5CACF205779604574A9C7D9BF5A1195E4B08858AF97CA84A5]]", |
| "FP121" : "[[04592384E6CD17AF30025DABE9E691887E96F0B05C21A387513F76379818BF7D,1B6168F6D165BCE80D7F50AAED15B2A5FDE29F91DBF1A0347477475427777D74],[23ED5869F9690EB0FC124CD8A9337C0D88F053A897DB373CC71C3F329C539022,0425593F6E0504509D5E6CC709C9F89A4904CB7FD9A42398220411F114ABD7B9]]", |
| "FP122" : "[[04592384E6CD17AF30025DABE9E691887E96F0B05C21A387513F76379818BF7D,1B6168F6D165BCE80D7F50AAED15B2A5FDE29F91DBF1A0347477475427777D74],[23ED5869F9690EB0FC124CD8A9337C0D88F053A897DB373CC71C3F329C539022,0425593F6E0504509D5E6CC709C9F89A4904CB7FD9A42398220411F114ABD7B9]]", |
| "FP123" : "[[07F930709998245C289A9800A9B68B15F05ED74EFBBD5CB076AB58CF337DA2BB,155319585FDA9C13C25345185B0936F65E40347AB5A14F1E413ADF9BC1AFCE2E],[209F93BCAC1AEB526DB757FADC7BA010CCF8E2117F9C643809450F5523C6EBD3,0E02668CAEE7ACAFB9FADDEDDCACAB7DD7593AE3EACAAA9F46C5D2BE9BA3EFEA]]", |
| "FP124" : "[[1648094B1B9D191A9D439E90A0DBC7FCB08922B3FE4817AD0D0AE1F8023C86F9,09E81CB3ABBFDA242EE10DB84AA24D784192984E3DA4A89E51957727BD45303A],[191AF7E99E1F4525E9C0B2EAD8B10664700491157B9E7AC685C4A85E7EB4D540,212F4C7C3E487B36DFA773850D3980CD8E9D85955582BAF006B4543D723966F0]]", |
| "FP4add" : "[[0D67C741DA3A53CA37EE58A11605064D187936C89D762E099BF351988716370E,01007C7472373DC3C190BC89C09ED1105C4A9F4318388D49B0C11C1AC9F1F51E],[1454988E0154B801BEEB0EAF3161CFC4DD19F8D23C0FFE2D7D0770E6BE4F24B6,1B5E58010060B52EF14C8E1E75C24DFB2E464601ACFB39D6B186FFADEEFE591C]]", |
| "FP4neg" : "[[0ACB3B6B3D0B8CCC3A661E8D09EA074F142BDFC7C880C422B846380EF750977C,24877192CAA18927A4787503D0C7BBD05065D57E120421F1DB976FE07D0D0D1D],[0C7B60D0E16A6FEB64F3C94C601EB1456090B88D401166F002B8942FA9C03207,12F0991C1289559893B6DFB9039DF781DCA293BDAD165C21A6015901A8CC2B9C]]", |
| "FP4sub" : "[[02252669EBAE929F0D79B7C4D626EB1D205009A7D18849C49A803E498A489A0D,37696A7885AFF069E6F46E9DD1B75FC52BB5C0C3BF2EF9E61004243BF3F0CE],[1CFB6ED4BBD6682AEB95F9B80E60CDC12406961343CD3419CB8766B9EE307762,09073ECB5A8C9FA35BAE4D6F8301C311DAB69282F8D80E0D50764E4EBF694FD2]]", |
| "FP4conj" : "[[1A58291702F473357FCE2EF2F615F8B94CF52038377F3BF0EEB9C7F108AF6897,9BF2EF755E76DA15BBD87C2F38443810BB2A81EDFBDE21CB68901F82F2F2F6],[0C7B60D0E16A6FEB64F3C94C601EB1456090B88D401166F002B8942FA9C03207,12F0991C1289559893B6DFB9039DF781DCA293BDAD165C21A6015901A8CC2B9C]]", |
| "FP4nconj" : "[[0ACB3B6B3D0B8CCC3A661E8D09EA074F142BDFC7C880C422B846380EF750977C,24877192CAA18927A4787503D0C7BBD05065D57E120421F1DB976FE07D0D0D1D],[18A803B15E959016554084339FE14EC300904772BFEE9923A4476BD0563FCE0C,1232CB662D76AA69267D6DC6FC620886847E6C4252E9A3F200FEA6FE5733D477]]", |
| "FP2sc" : "[09AD15C7083C45DB1C078E38C8DA25BDA54D875D4211BEA3B02D121F4B827574,03ECC92CE19D1D0428EF49AA07798C63140234C825D2F53801C16948ECD82DF3]", |
| "FP4pmul" : "[[18FE8886258153262D8D4B86809FB0CC2D12F85A42D26EAEB5B6D36363293EDA,1B4149CA27E9524B4A248224132E4F07B58FE5054EE45372F58A9F0227AE89DF],[032DC84B086E3DA723946F5217DCE83469AB33F36EFDD0A4B615F35602C64448,2174218AFC68EA6C16D294A709AAB013124B15DDF001F2F99C039F05143D9B15]]", |
| "FP4imul" : "[[1A58291702F473357FCE2EF2F615F8B94CF52038377F3BF0EEB9C7F108AF6897,9BF2EF755E76DA15BBD87C2F38443810BB2A81EDFBDE21CB68901F82F2F2F6],[18A803B15E959016554084339FE14EC300904772BFEE9923A4476BD0563FCE0C,1232CB662D76AA69267D6DC6FC620886847E6C4252E9A3F200FEA6FE5733D477]]", |
| "FP4sqr" : "[[22CB66C4F8E799AA053D18A1326474FF8DD72ADDA924D82A0DC728B4A1958E2A,1E0D1B4C155A475E9BB80485D90222CE4D9C4F98A926FF53212D2D7C21FD87AE],[15E0B528A535673B757F03424DD1A02C721ED2284A26371237033658BBB0EFB0,2002BB41CE2BAE1E9FAAD8417E7DC59E3F89BF20DBBBB9227704E0620D0EAB2D]]", |
| "FP4mul" : "[[0BB2926E4A209E347C0A5868EC214C7D03CF558EFACCCDC8F44151F612165FBE,1C75958FA5F0FDD4FA2616B7742A03BD08BFCA66E78E0C65BF33FC37E0A48217],[F522FF7994EFD83577D08B4659B07B063438241515314ED4531EEDD3DB5A2B,168DF331A7FD351A85896446805D7D13DB0C954C250EA215415013CF7A4B5523]]", |
| "FP4inv" : "[[09CF4B7229DD01AD877D2A654995D07CB4BF29499EA33D3270821D37F636B790,0797C43189FF67E40E3401ACF8797BC29EEE48559C60813984B4251FB5F3688A],[1CA3A4CB834913FECBC7948DB3A88BB764449125265022C0B5C6F8AB9EE48DFF,22F8D5EF53709A97E1144BD54725DD1570851CF19ED8BAB497CFFDA6BD43793E]]", |
| "FP4mulj" : "[[0675384B311EE5AD2EC3166CA37F463C7C11DB306D04F531A348C4D1FF0BF995,05B76A954C0C3A7DC189A47A9C43574123EDB3B512D83D01FE4612CEAD73A270],[1A58291702F473357FCE2EF2F615F8B94CF52038377F3BF0EEB9C7F108AF6897,9BF2EF755E76DA15BBD87C2F38443810BB2A81EDFBDE21CB68901F82F2F2F6]]", |
| "BIGsc1" : "0CBD2A817A47FF928573199E5B79161C3ED70AD8404D8A69B1671C9ED251D595", |
| "BIGsc2" : "45", |
| "FP4pow" : "[[0310BA5C4D9D7A261C79D7E71027F3F2998254612DA3ADE924BFF63D61BCAA04,0DED42F61C4FF918987F9D2CAB4F94AE063EFA744FA0DE6423559E76775BFD00],[21DDF119455B20D3CDC1A4D9852B512DC702B9DD2083CC1BED6B4EE0E00DE8BA,125477993C9A0FBE73B342777F298498DBB90EE8CAEAC4B5EC75A714C152EEF8]]", |
| "FP4frob" : "[[1A58291702F473357FCE2EF2F615F8B94CF52038377F3BF0EEB9C7F108AF6897,24877192CAA18927A4787503D0C7BBD05065D57E120421F1DB976FE07D0D0D1D],[93E626E78D3A383F7397D100AA11595E6E3DB7CA7A86AD10BB34C3D635C5FF,1AAFAC3A2C2153C82BA5A146ACC9F97F9909F5EF9432A3FF9593AFEFF5B268E9]]", |
| "FP4xtrA" : "[[1DE899DD973FB5A6A4DAEBD3CF17EA3B18CD1EDC4675A6658CC709AB6930A157,130DD73B54CB33B117C9F669ADDFCE8029D3AC3F82D7EA60DD579F38F2166C9D],[0C6C44B8FE333A9D87715E8C0CF39A3AB0D14B38E85786ED5BE89E254E360911,10CF955A563AA78163D02D66FE3C0E9B381C0E6B87972097FC4AFFE63A2E2A49]]", |
| "FP4xtrD" : "[[133E791932FEB340BFD5083B46388395550DEA6D3A26605BD75398D29036BD0F,1CD5356D2A9D59AA7040538D7A919A5E2C25FA94CD2F430F8A5C0D3D1C17A1C2],[220D58092260876665CBBE298D943DAA121E610DCA036945D8920DF968308BB5,1F44ED8BE91902EF3271664F7741D6A2E76597A5818F00F2D2022E5EBB765408]]", |
| "FP4xtrpow" : "[[1E0E37205F549AEF52ABCBF9B4B6AAE3FD85044AFF5CE9CB3D705E882278BE77,08C1950F785FAB95102D32D8063CF1A6469DBE2C8F03ABB5347A689FABC669E0],[1DE32B4E2B08C479792F07678F70C38925918C581A8FE0B120C23CA42C50B856,049BE0F6F97890A796D5C7D61DCC536CF6F9AE53DF4D941F5D7363A70E652EDC]]", |
| "FP4xtrpow2" : "[[017A319E9FDBDFA0DB130A91E350F02A87EF72AF0895D7B45C0B03F2718E350E,033B058D7386C52952AC3E99632AEF71C946FEE55414046969EEA056599BC988],[0115FD0634AB7C9BB79828E0EF2884726CB2919B497B54302A74B7F27906D130,1BF95DEE1C83C0DB5822F5CFF019B37959E6A05E92836E6A8FF43E554EF81C61]]" |
| }, |
| { |
| "FP41" : "[[11DDBEDE717E965D3EBCFFB4C5D866B0711BE9A3D960AE6F29FAD57B24B4B7D5,1D5C73294FFAFB4DB473A839E58E99FE67D2DBACF9D7EA9BC7F7828BE0961AFE],[02A9A161898D263F2038F392AE8B5E31F88BA0C40B5CBC245ABB840BABAE5991,09C68A9451D515ACB029BAE06792F6D1565DEA537C3C482F020530CC6011AE0B]]", |
| "FP42" : "[[42FAC310A8CD307EDAF39A1871D00BCC41F122D222B8A484AADD124D067330,1C130CB307E6316585A23E7B990A13FB77252E340CE1C5E28ED2269DF4682326],[1697E1D0623495F66DFAE80762C758D3D6F1DAE490C360524A9E8EE47D4251AE,075B4B88FE2E4656EAD1FE348215807CFE962C442952438BEB7F5D41C518064D]]", |
| "FP121" : "[[0489AA3A4ABFF5DD561531D728A2A7EC7A9C32177C0483806D929645A84C35E6,17E573AB7EA5CCA0DD91D483D4E8D486F0E275A71E6710AFF116351129049458],[09A12BE4DA2F5DEA5E6E42C19122A307BC4CD4F79F0375F356F2B6CE186DBD72,0286855CD710162B7B3C367441BC97BF0314F1D3EA656A969C6B1DF7B946CE4C]]", |
| "FP122" : "[[0489AA3A4ABFF5DD561531D728A2A7EC7A9C32177C0483806D929645A84C35E6,17E573AB7EA5CCA0DD91D483D4E8D486F0E275A71E6710AFF116351129049458],[09A12BE4DA2F5DEA5E6E42C19122A307BC4CD4F79F0375F356F2B6CE186DBD72,0286855CD710162B7B3C367441BC97BF0314F1D3EA656A969C6B1DF7B946CE4C]]", |
| "FP123" : "[[0510006F39FD86B19DE674FAB08DF4C8E4250B718227062FC09A88B597697281,02594E9517411CDB47FDF4E499572506751735FCCBBC037986B1F6B90CF38961],[1C957E80290A1EFC3DDAE5BE1ECF07D3F109650C4690E7BAB8903669463763E0,042B4BD07FC80D8536709C753CF2577D05F96398FEE2D7F06F02C766E60419B0]]", |
| "FP124" : "[[1E48042B4131B1F10C3E4E35BC25A5E98EE66174D466E86683264A08B370E4CC,1E6842C9759EFF8E320894D92E8695D5AD2F9C5E81856C0E8DD2290AA6BF717F],[177B4752C5039E85D607F83719B8D6087B003ED69326C0461CE2FCAC3D41341A,0D75228ECBDF0B81170B0334E5477A5D8D38854939FA4088A60124129B32049F]]", |
| "FP4add" : "[[1220B9A18227638DBD97F34EDE4A36BC3D5DDAC6AB836713AEA5B28D71BB2B05,144C1B5A17E12CB17FE199357E98ADF17DD709E106B9B06AAFC9A929D4FE3E11],[19418331EBC1BC358E33DB9A1152B705CF7D7BA89C201C76A55A12F028F0AB3F,1121D61D50035C039AFBB914E9A8774E54F41697A58E8BBAED848E0E2529B458]]", |
| "FP4neg" : "[[1345A5A3CE8169A47B774DCB3A279957F005165C269F51A47D052A84DB4B483E,07C6F158F00504B405C0A5461A716609F94E245306281577DF087D741F69E515],[2279C320B672D9C299FB59ED5174A1D668955F3BF4A343EF4C447BF45451A682,1B5CD9EDEE2AEA550A0A929F986D09370AC315AC83C3B7E4A4FACF339FEE5208]]", |
| "FP4sub" : "[[119AC41B60D5C92CBFE20C1AAD6696A4A4D9F881073DF5CAA54FF868D7AE44A5,014966764814C9E82ED169BE4C848602F0ADAD78ECF624B939255BEDEC2DF7D8],[113524136758904A6C72590B4BC4056682BAC5DF7A995BE5B71CF5272E6C07F6,026B3F0B53A6CF55C557BCABE57D765457C7BE0F52EA04A31685D38A9AF9A7BE]]", |
| "FP4conj" : "[[11DDBEDE717E965D3EBCFFB4C5D866B0711BE9A3D960AE6F29FAD57B24B4B7D5,1D5C73294FFAFB4DB473A839E58E99FE67D2DBACF9D7EA9BC7F7828BE0961AFE],[2279C320B672D9C299FB59ED5174A1D668955F3BF4A343EF4C447BF45451A682,1B5CD9EDEE2AEA550A0A929F986D09370AC315AC83C3B7E4A4FACF339FEE5208]]", |
| "FP4nconj" : "[[1345A5A3CE8169A47B774DCB3A279957F005165C269F51A47D052A84DB4B483E,07C6F158F00504B405C0A5461A716609F94E245306281577DF087D741F69E515],[02A9A161898D263F2038F392AE8B5E31F88BA0C40B5CBC245ABB840BABAE5991,09C68A9451D515ACB029BAE06792F6D1565DEA537C3C482F020530CC6011AE0B]]", |
| "FP2sc" : "[0F06CAED62C42D6B9FD43EEA95A4FB1552D464CDED97C0B86716D7742D80E3E2,0AE1D07488530981520F8B3372C826C36C3DB5E52245B5369C965A09299B3AD7]", |
| "FP4pmul" : "[[136B3A692C07CF9D43760E1B18DE3B02D7566E2519D81D5BDADA678FAE032714,1E6438408CBBBDD1DF47B397CD710971C148DA12B5D79220DFAFE4B02F5B1ACC],[0B666F4C4ECD3AE9C1753CAB9C3EB9983D12AE4FF3E74467B587F11DFDCA4393,12973BA08B4700E1B1AF93816B9596D7950CE9A8B75EEA10DD43F5E97AC36BE2]]", |
| "FP4imul" : "[[23BB7DBCE2FD2CBA7D79FF698BB0CD60E237D347B2C15CDE53F5AAF649696FAA,159581D05FF5F699AEB302F3CB1D33F46E84B759F3AFD523E8EF0517C12C35E9],[055342C3131A4C7E4071E7255D16BC63F117418816B97848B5770817575CB322,138D1528A3AA2B59605375C0CF25EDA2ACBBD4A6F878905E040A6198C0235C16]]", |
| "FP4sqr" : "[[145B6936BAAF2D739208879C782D7DF41A2452E5F69DF6CDE7F02B3ADDF15D5B,1994211AFE5FFFB2637264C9E4393E732DFFC70AC1AFCF6CB7A1CCB5BEC0B2AC],[222B5C44BE729F9A18B3B8CCD8193C7E761774C606D408BFE919CBB258898192,104E8EDD223F5511CE0A8843A1D6A199773786FBE68A9BD7FC6115D3A11B1563]]", |
| "FP4mul" : "[[11DBB2954B4A30702773DA6C4A5049C182D8AAC794E24166BC81A44E3FF2F13C,24AAF8B05BE2ADD1E3B8778AC15344E623B08F9E94E7ADF2933C29A690782F37],[0ADD97087DD29D8D2B8D2E65F4F6ECCA642997AFD108145BFEEC39326B3CDF0D,05868E7951FD572E1EBA2B66BBBDA036786584466333E6E3E3A9CD0F4D9A63BB]]", |
| "FP4inv" : "[[216806EE8DBF8C41345C586879A045C15A01C9C52C4E2C2FAC53D871472F76FE,0206244C4EC3A44F206301FE9E3C0450B8B2762279555A406DFC46F7B77712CD],[15688BC8B5FABCF16CF408D6992B97BDF14039E88872BCB2CCC329F8A027500F,15B5C479398841DEFE58725965B216209F6C134B29BC2FEDF8ED4F0761AB0C4B]]", |
| "FP4mulj" : "[[1E067B4F77B810942A43863246F86769034EB6708F207408FFB6533F4B9CAB99,0C702BF5DB623BEBD062AE73161E55034EE98B17879904535CC0B4D80BC0079C],[11DDBEDE717E965D3EBCFFB4C5D866B0711BE9A3D960AE6F29FAD57B24B4B7D5,1D5C73294FFAFB4DB473A839E58E99FE67D2DBACF9D7EA9BC7F7828BE0961AFE]]", |
| "BIGsc1" : "306598D36825C7E987871527694FF00D7DF215591436AB21C4925423184B30", |
| "BIGsc2" : "25", |
| "FP4pow" : "[[1A8CCCCF9911CAA77E84E210D25EC37687F92B72F4B763C02CBF9050C1596748,188DD4172564586819C908EB7ACD9AC180A4CA6A9638908459BDC436A8AD6DAE],[109B9E2C1CFBBB45283FAD27122A7AA8F16387FFD854EAD10E1274EE60CB4131,1BF6669E7F62799D240172E2B5A3114732F527214E2281A49E99A0146DA0DFBC]]", |
| "FP4frob" : "[[11DDBEDE717E965D3EBCFFB4C5D866B0711BE9A3D960AE6F29FAD57B24B4B7D5,07C6F158F00504B405C0A5461A716609F94E245306281577DF087D741F69E515],[13214770820B2218C207A5602BF71FCE8F03CEFD18632501F2E654D740273F09,090EA18C620BB06725EF4939480651A851FB0265AFBCA74F97827FA50AFB4CDE]]", |
| "FP4xtrA" : "[[53BAF55CA04EA23557C68B6F1F5779833E633F9466E28EECF044A5CF6B7F43,02B68013ADBAD7F25A5B88C844FEEB8DD17C9A2EB2EA9FD08149325380E908E5],[1E123E6BD92BFC2768D362F8028FB11AC90AD51503CB706641CD61F910A5F321,0556B4DC0B4205B364988AA0F8497A9DE575279916AA76BAC017FD07A0EE16A6]]", |
| "FP4xtrD" : "[[15C34FFC17B200BACEC2D5B2EC7CB09B990D7F9E43DC9A033AFA80449487EDC4,03FE9F4A9E6A0918B4BF61D6191C0A7EBF7B0FB0CDFFFA48CEB2C79DFD947CC3],[025B3A85918CEC169EF15272352FF8DA060DB64E1D8D80F4F790D3C9AFE634A1,23DBA405C5E9806B2E5DFE0470FC8F3C23F35BA2DF032C36006B776C613E7179]]", |
| "FP4xtrpow" : "[[1276BFD7B355A42CAED9E1B1D9F54A56AD2EE9911EB4D18D5407882892B4CD60,02B718674C657E07D73D8E4DD0CC43B4B749CADD69A0D6599D72B883B9A22FB3],[0CD01AE2AF27C6109F900EF4C761ED1A6845E2BDF43D2AB42518F60B02C88878,1E70F1A84D281EC14258B69F6C80901BC5956A2A47B1544EE472280576EBC284]]", |
| "FP4xtrpow2" : "[[10F94CBCF05D690F147619E16E66E4A3BCB3D612BED4F4D4E1718CD3BCA55085,12F615DA0D445C0095647E0EE2EC0C922FFC52CBF826705B15F6EFF53A396942],[1E126A55508C12BADFBDF12A3462F5950D54C2453DB504EF576B8BD9C16477A0,0204F3FDBCF8B31B3E6FF1C8D54923426D1C0C56D78F064C752C118642D4958A]]" |
| }, |
| { |
| "FP41" : "[[04EF2B5A2E8B64DCF375FC78BA37A96D70528ACBA3A0EC6B97778CE3543865D4,0E847CD6C827C5DE10C414639710F2693E6651FA1220E834FACA61E2F24DE96C],[0925D69B04EC5423F73116CDECAE61761EFC5329F608711E9B7A7E1D15920357,1BFCAD2B8071C242598875F36A52D570DD4B147E0584E51219105C43933CA897]]", |
| "FP42" : "[[1C79C5E14F90999C676FDBEFFC3D55DA2164088742C7F45686637DC10D359C8C,18127BF19916F4797E9281CBC549FF0C644C2A470ADABD9DCD3E9AED00555D41],[0EC2CA69CAE972DD2496C1979766C545FBD42619EF5A25205604E081566224AF,0B9EB1DAB6617D10436D0F2A4226F16FE9C9FFB2EDDE9D00E90A55B1432AEB86]]", |
| "FP121" : "[[1C5C869FB09C65B0181EA7E777DBD2C1FC799D5980986403C7A9E1C1FC98E754,0D83A96EC2159C651E4AE9B173AB536D19446B205777E0D8A968FA5CA312AB01],[21671EFC892F25D9B861924F15C86E82F4C1CC992BE0F43FB5F17C60557EFC8A,2398302A7EC3472426F13034F755823140C3AF1806D3F31794B8F83B2D32A2D6]]", |
| "FP122" : "[[1C5C869FB09C65B0181EA7E777DBD2C1FC799D5980986403C7A9E1C1FC98E754,0D83A96EC2159C651E4AE9B173AB536D19446B205777E0D8A968FA5CA312AB01],[21671EFC892F25D9B861924F15C86E82F4C1CC992BE0F43FB5F17C60557EFC8A,2398302A7EC3472426F13034F755823140C3AF1806D3F31794B8F83B2D32A2D6]]", |
| "FP123" : "[[22BC064D0700E8B04D901465920AA81543EEF0F2F535A0DC6FD5BF7489891BC5,01D9E9D597BBCDBDCB97C2D2D5BA18C0F555B2FF0ADB3C8BA63492696DB680F9],[14C798D1B191E0B4CC6C0DAC263602FF86635FF2ECEAEEBA0ECFA33631B98396,14048C27F2F992BF59485D5EF243F334682C813286F11C7634F48FB4DEC792D5]]", |
| "FP124" : "[[1DE418F9917A6BC6ACAFA97F26DB95942B571B2F761B674A206A09054CCDCA7C,0FCF2C226E81D0CA182F68883CB3AF5F8207D47515939B4451AD238004891305],[1E8E5870F57241F5685E1099FA6DAD09A7C2C46AD1A1B890A474E9C1131B56F4,0A86DECAF1ECB2FC0718578AD08764C033EA4DACC740272A72C8951A41F40532]]", |
| "FP4add" : "[[2168F13B7E1BFE795AE5D868B674FF4791B69352E668E0C21DDB0AA4616E0260,01739446213EBA55D52248AF5C5AF16D41917C411CFBA5BF2108FCCFF2A3469A],[17E8A104CFD5C7011BC7D865841526BC1AD07943E562963EF17F5E9E6BF42806,0277FA83F6D33F50E2C1379DAC79C6D865F41430F36381FF5B1AB1F4D667940A]]", |
| "FP4neg" : "[[2034392811749B24C6BE510745C8569AF0CE75345C5F13A80F88731CABC79A3F,169EE7AB77D83A23A970391C68EF0D9F22BAAE05EDDF17DEAC359E1D0DB216A7],[1BFD8DE73B13ABDDC30336B213519E924224ACD609F78EF50B8581E2EA6DFCBC,0926B756BF8E3DBF60ABD78C95AD2A9783D5EB81FA7B1B018DEFA3BC6CC3577C]]", |
| "FP4sub" : "[[0D98C9FB1EFACB42463A6E08BDFA539BB00F824460D8F828B8140F224702C95B,1B9565676F10D1664C65E017D1C6F3653B3B27B307462AAAD48BC6F5F1F88C3E],[1F8670B37A02E1488CCEA2B655479C3884492D1006AE4C11EC759D9BBF2FDEBB,105DFB50CA104532161B66C9282BE400F38114CB17A64811300606925011BD11]]", |
| "FP4conj" : "[[04EF2B5A2E8B64DCF375FC78BA37A96D70528ACBA3A0EC6B97778CE3543865D4,0E847CD6C827C5DE10C414639710F2693E6651FA1220E834FACA61E2F24DE96C],[1BFD8DE73B13ABDDC30336B213519E924224ACD609F78EF50B8581E2EA6DFCBC,0926B756BF8E3DBF60ABD78C95AD2A9783D5EB81FA7B1B018DEFA3BC6CC3577C]]", |
| "FP4nconj" : "[[2034392811749B24C6BE510745C8569AF0CE75345C5F13A80F88731CABC79A3F,169EE7AB77D83A23A970391C68EF0D9F22BAAE05EDDF17DEAC359E1D0DB216A7],[0925D69B04EC5423F73116CDECAE61761EFC5329F608711E9B7A7E1D15920357,1BFCAD2B8071C242598875F36A52D570DD4B147E0584E51219105C43933CA897]]", |
| "FP2sc" : "[1848DDDE3C23016BD4400DF8FB98276266CB277837E9994F8D019E502A6E437E,1A85C22CB6668C91674F5449A596F6A162CAA703804CFC06B8868C592ADCEDA0]", |
| "FP4pmul" : "[[0723D12ABD4E5F95DDD655B51C8951628CF519712FC752C90B6373692604AEC9,15D0B8FF4484389C4B2CD9C27AA9D9FBCEEAE6302E7D48D2274468AE7D1C4886],[0D8E40E710DF7DFCA1624CC8D4C07E8D937675D2B1F30872FCAFF671FB51BB93,199B20EF77EB319C2AAF3FA67A074AB4E5A51FBD4067A18367CB4DE2E48829F1]]", |
| "FP4imul" : "[[0ECD820E8BA22E96DA61F56A2EA6FC4850F7A062EAE2C542C666A6A9FCA9317C,066A1202187751987817EFAAC532D7335A11F5EE3662B88B495F25A8D6E9BC31],[1B7183D10EC4FC6BE5934469C60B24625CF4F97DE219535BD26F7A5740B60A05,09AF3E7E015546C39830C6DA3EF88041D59F3D7A108EAF0EFD3114CAB9B5F99F]]", |
| "FP4sqr" : "[[0C97FAFC29CEFB492385F9565A3C6CCAF5C0F8A19385FE428518593DACDA383F,1967BDE560AB2A29CC17F9BC6BD0E1F1047668480E772D01B2EC79652D62B8DB],[186234A6F61D12229C50EAA4F7D2953EC937F6C5A55BE0531975DF3D38A847D9,097C2F1AD6720659B946317D5F58DC11913F37D1DC5C32406F09584ADA502C29]]", |
| "FP4mul" : "[[1D87983C903C34A5690E6D79529603F72118A8850F763EFD7B2663E3E53CCA89,0991C2D70B8251EA8C1E80701E895D46E29EC552CB1B0E9252B68A6FEA745A0A],[1FF4289A8870A3185E58DEB944C67940007CE5E09DF5814B1E788B6F5594C36B,22165C0AB9E9EBBA2199E3410B295B362F1FDA36F6775345B44A7BE0B69C23BC]]", |
| "FP4inv" : "[[18BEBE85635FEA128AEC8E8F74E33849FD4B3A30DC6AA7A0195E941BEF15CD78,04E8D76013F480EA1ED00C9B7CC4B8B349EAE39519B7AC98284580348516831F],[1DBD0B1E967716AD454AA3D0E82E59E777D0F1222CADABE4A1FCC719BBE427A5,22D7FE1A2A9766D797AB9A01B2EB4D44BD0013E184513707C1B98DAA7C783CA1]]", |
| "FP4mulj" : "[[124C8DF1C47A91E357DCEE5A825B8C0DA2D23EABF0838C20296A21D982555AD3,252283C6855E166650B98CC1570136E6FC4767A7FB8D5630B48ADA60A8CEABEE],[04EF2B5A2E8B64DCF375FC78BA37A96D70528ACBA3A0EC6B97778CE3543865D4,0E847CD6C827C5DE10C414639710F2693E6651FA1220E834FACA61E2F24DE96C]]", |
| "BIGsc1" : "1DE52386CBF953204F8FC5392034B93CB966D5E259DEFEA1944910773939867A", |
| "BIGsc2" : "63", |
| "FP4pow" : "[[24E91CFE81C0E8736ED32D7E31FFEFF8ECFB90CDD6BEE0215CFEC20810E5C5DE,22C60B54D8AB261B52224541E09E34EBD70A1AAAF62D0A0E40D7BDA5719DCDD4],[19D882BA2D5849BEC51AD4AE981261CE0FDD28026358A4B4C12B1AAD418C15F9,06D8A051157C5BACAF1938EE17CAE512D6CFA723F129D79B30B9E2590A384D70]]", |
| "FP4frob" : "[[04EF2B5A2E8B64DCF375FC78BA37A96D70528ACBA3A0EC6B97778CE3543865D4,169EE7AB77D83A23A970391C68EF0D9F22BAAE05EDDF17DEAC359E1D0DB216A7],[1BBD7D0E0B7823611382FA1F4F16DB70EB49218636F046F8890D979040C65801,09984436B01EA29FDE2734C6944CF34DC924D8189AC95A7944AB60D926C66A84]]", |
| "FP4xtrA" : "[[0CD65CE804045F32E77CD18A1F27D3870037F6AF041906B78DD9F50EBD8FDF40,0EFBA2AC5536237B22A4064B845B385B33444786A20D7BC8CBC495B1CE86CBF5],[100AA1AAF58FA9F4008295EA9AB960416BA7164267CFD8050A61A51414EFBF23,082F305DFB72DBA08D1E46D198BE3A9907E9FE2C3C111871F14D8F4C9B7F5102]]", |
| "FP4xtrD" : "[[02B9A447CCB8318F3C9A0064E5CD19F0151BE30A4C44256B56293F7704696C97,218228BA105B9E6F64C41E753DAEFD26E8CAC453EA355CAB6457B59F48C6E616],[058A7D5ABFF5BA68D07ECAC0D12F5822A60F9D19916CC27CA96ADB7763CC4E74,1C5224EF97558ADCB222CFE433FE86EAEAB460CDE765FC50FA2A10D200C97D44]]", |
| "FP4xtrpow" : "[[15A2177AED6E7630FE67717A2678E580167A18885A0E1C40048FB0E4CE88A497,0CC6C44D27E47DDD782317392B3CF47BA0481A53B7897A7B5DDCBDE8B6F77A29],[1878F8E44C18540694580CFE559E0B8A2C9CA052B2F300CB8B6EED759AE3A7FB,1DBA9C714F7C009CD0872FBE4325FB9B1B42C71A2C93253D551ADBE7F60DAF0C]]", |
| "FP4xtrpow2" : "[[2396781715C008584329B029E512DB8081F160E6B7F5695C72C34D20A2EC1A0D,1CE8294C52E1FAD7B28E1275F79C1BE60F0528AE9933E81B6C736835B1154EA9],[1872F5100152D704DC54EAF7DD34AB1670E0C2FACF84C071D12D6B25A477F727,09461F88C2D81E544DE05757D82601ACDCEA7FD90BFA8167454969CA7C67B6FE]]" |
| }, |
| { |
| "FP41" : "[[10B3F9F958A18923E48AF500C09CCA845B7E372FDBDAF6AC779E117682093403,1200543EC7246FD7BBA68C2EC2EAAF66068B6205BECC9D507AA9140519DAD294],[16464F9443C91B081D104174EAD891E3FDB9104DB88A992B38A7A6EBA6713313,01EC87C29DE3FB30073085210E7F22A452DBE6D7FBF2FE92E9E344A8DC9F18F9]]", |
| "FP42" : "[[059A070344F2A3202F20DEFBBFEED1ED0D260FB51BD05A774DC97E45B160736B,11BF75A3526185BB9CA0FCC2B67F6D7B8E390696D89905674FCCF5C2419FEF49],[1A56C06177820D39F8E91D5548F7CF5EF231F4E9D6463FAF127BB5367D3D57D1,0DB8879F6EBEC940B360ACAD7B1783D183EC0445683669D966B4107CB2BE2684]]", |
| "FP121" : "[[1C69B61FE77378682291274CA33A9AF2C36DED9F42EA417DC6F66C334A456E23,0D5AAD932578207E6F8E2A3FE0FA750A063243399E75D3985F5D9F4C6AEAD593],[0E9D1B94445529FF944406CBC859E5326ABFFF2F59777816B592EFC1AF0EF94B,135B9E3C59AE1DB2F9256E2D0364D04562D1567B6EEF95BF003C6DD731541872]]", |
| "FP122" : "[[1C69B61FE77378682291274CA33A9AF2C36DED9F42EA417DC6F66C334A456E23,0D5AAD932578207E6F8E2A3FE0FA750A063243399E75D3985F5D9F4C6AEAD593],[0E9D1B94445529FF944406CBC859E5326ABFFF2F59777816B592EFC1AF0EF94B,135B9E3C59AE1DB2F9256E2D0364D04562D1567B6EEF95BF003C6DD731541872]]", |
| "FP123" : "[[0E6B815152A8D3000B7F6104FAA36C06F542915764FF6B28CE5E524C03EFB25E,0E0719B2455E3330E5569B724322AF3E94F4EE07C77E3534BFE5A50A5542FE39],[1F33191128D588FD8FBAB3A009201D74101CD1C78880821A8DF59C4F78BF6C9C,152FD8E6B7ED609B155DD9721AB8F6E0D6467AFCAB0297CE1A43E8BFC87DC181]]", |
| "FP124" : "[[12757EF7D1D969F65885A6F11C0CE1B2DEF93AFA64C1D9A87B1153893474D608,223E48051FFD290041EA1919E48C81543F3843DD300C28A3954F6437BE52AAB3],[72AE7DDE544928AB0532F629321812957E32259201A7A5698702A232A4DAD4,17C26E2633F39DBF80E5A4E9B5EA275011447DD8ED1A91ACE481841BBBEFDF55]]", |
| "FP4add" : "[[164E00FC9D942C4413ABD3FC808B9C7168A446E4F7AB5123C5678FBC3369A76E,23BFC9E21985F593584788F1796A1CE194C4689C9765A2B7CA7609C75B7AC1DD],[0B79AB737B4B28405BC5114A33D0613A8ECA05378ED0D8C6A4235C2223AE8AD1,0FA50F620CA2C470BA9131CE8996A675D6C7EB1D6429686C509755258F5D3F7D]]", |
| "FP4neg" : "[[146F6A88E75E76DDD5A9587F3F63358405A2C8D0242509672F61EE897DF6CC10,1323104378DB9029FE8DC1513D1550A25A959DFA413362C32C56EBFAE6252D7F],[0EDD14EDFC36E4F99D240C0B15276E246367EFB2477566E86E585914598ECD00,2336DCBFA21C04D1B303C85EF180DD640E451928040D0180BD1CBB572360E71A]]", |
| "FP4sub" : "[[0B19F2F613AEE603B56A160500ADF8974E58277AC00A9C3529D49330D0A8C098,40DE9B74C2EA1C1F058F6C0C6B41EA78525B6EE63397E92ADC1E42D83AE34B],[2112F3B50C470DCFDE5B719FA1E0C28D6CA81B63E244598FCD2BF1B52933DB55,195764A56F2531F10E0425F393679EDB3010E29293BC94CD2A2F342C29E0F288]]", |
| "FP4conj" : "[[10B3F9F958A18923E48AF500C09CCA845B7E372FDBDAF6AC779E117682093403,1200543EC7246FD7BBA68C2EC2EAAF66068B6205BECC9D507AA9140519DAD294],[0EDD14EDFC36E4F99D240C0B15276E246367EFB2477566E86E585914598ECD00,2336DCBFA21C04D1B303C85EF180DD640E451928040D0180BD1CBB572360E71A]]", |
| "FP4nconj" : "[[146F6A88E75E76DDD5A9587F3F63358405A2C8D0242509672F61EE897DF6CC10,1323104378DB9029FE8DC1513D1550A25A959DFA413362C32C56EBFAE6252D7F],[16464F9443C91B081D104174EAD891E3FDB9104DB88A992B38A7A6EBA6713313,01EC87C29DE3FB30073085210E7F22A452DBE6D7FBF2FE92E9E344A8DC9F18F9]]", |
| "FP2sc" : "[17A429DC2A827BA0C78780610C3FE0FB3414D3DBFD749176FC0FF109204B9D11,073C46EFD6483889DD9A33100015F3B6821BAFF4823767E9DE0E155DD76E1090]", |
| "FP4pmul" : "[[0F86DC161C9CEF6CF9FE772214EA6C4B7BC1F20872C0CE533677FAA683890CCF,11216B7FC22DC895621457FF6716C0AFA7308158BD52A090B7D734AFC7AC35D8],[1B66AA87B00B223869F76B6F9CEA0B70432925D368960B8017DCCC550B02EB4C,20FE100AF22A4230EDD05ED7266B66BA44A185EDDD650405F6438253EC3601BC]]", |
| "FP4imul" : "[[1DAC83632286248DD7F7868302732A090CD7DCBF6F6BDA9E377845DA0824CFF9,22DDEC78DC91BF5D3465E33B0BAABD8FB90C8816FB32752E43A45014676B4A3D],[0ED2754C8F246C1CFFD86AD3AB62477F34A24136E22A6485949E9BAE99C4CC26,07B21F0A778FECC01CC2148439FC8A914B6F9B5FEFCBFA4BA78D12A3727C63E4]]", |
| "FP4sqr" : "[[0653162CE2183E0675BC7C4BAC189DD82EC541DFED81CB6607C6C0A4F223CA1F,070FF67DEB9C1E2A9B0BB769981398C978D3694B976AE0746C0EC798E1382DBC],[0B7F57800FE7EA196AE46304EDB824FD310595EDEE7E7F7D270D79478D1A227C,1BEC7410BE0D2FEE5FA81C7ABE80E96B24112B659B85448CAE5A53B5A04F2122]]", |
| "FP4mul" : "[[2100AF28F4E9B6ED52F348F4FDAF72ECDE8779AA5E89C5F71220BB0396DCB24D,0652D9831CD555CB4ED64ED6C9CBA6802AF7BC010BE41E924E94D82BF096040E],[1070080BE8DBEEAF81267E034D719612ACDBB1E9DE65A5C70F42855712892B4B,1ACB711D98E47E5E8A0EC03104374B08C9BFDB5047B27BADF1774FBAD58029B8]]", |
| "FP4inv" : "[[89FFF58C787E6B6AC883FFD8AA1CD3F705BEB197EC85ECBDC11FCE67478BDB,0DF783EFC8DD49CC47F2785C5BF4B4F6CC8B82F990C4CF19455AC81CF58726E4],[113C097329C848247BC9DD9021C07B0909249C0503389AE299C5B390468A5E4F,239B2428ECD096C4F2FA28BEE720E3FA08980ED5CA61E58E7FF7666D6269F4BB]]", |
| "FP4mulj" : "[[1459C7D1A5E51FD815DFBC53DC596F3FAADD2975BC979A984EC46242C9D21A1A,1832D756E1AD16382440C695F957B4885094F725B47D97BE228AEB9483104C0C],[10B3F9F958A18923E48AF500C09CCA845B7E372FDBDAF6AC779E117682093403,1200543EC7246FD7BBA68C2EC2EAAF66068B6205BECC9D507AA9140519DAD294]]", |
| "BIGsc1" : "249489E3E5518E7D0776CA4E7B847A9D7159322A6CEA3EEF2E3A30DCBC3E7531", |
| "BIGsc2" : "5B", |
| "FP4pow" : "[[16D947B05433083A2C223E8CBA3A9C3EE5590CE56ED035DCC56CBE04A409D314,0905AE360B227D5AAE9A7745C0805CAB691631D4ADCC1D2A2943CF72A52E350F],[20C34CBF20DD408175DD67C92DC685387419CE48EC6E2C64FA08F315DCF40C2E,1524A6B0743B2304E480C8E4A042215B2F21FE40875620EC96644EDED1219F9C]]", |
| "FP4frob" : "[[10B3F9F958A18923E48AF500C09CCA845B7E372FDBDAF6AC779E117682093403,1323104378DB9029FE8DC1513D1550A25A959DFA413362C32C56EBFAE6252D7F],[1F6F881E04D3458C945E75B104A7F0937555149D5099C84F8FCEF5F06ED43CF5,0BB696ECA45E533B68FEA08FB1FFB6992A3C68E7ED4A988C8AC07E52FDC3EADA]]", |
| "FP4xtrA" : "[[153549633C3CBA548FD92E12D983D52D7FE88E8098624BC06418BD5C1423353C,019E4AB0F0A7842C259283DCC4E606504792FCA4AB76BD52C764370E637C2725],[21E80B7701AD0CD3E29C3F4FBCAADC0D682E539C882E17C0019D40B7A325E2BB,1480C52E75F2AB639E0F8D094672C5AE8CCA776722ED80586B74E2966BF211F4]]", |
| "FP4xtrD" : "[[0A0E86BC70D52BC066DADFCA2ADF08D7D8E9D38035CBDE20BF8A9DB7EE11622C,0832B2829D533E7CDDF2EC8C123E3A05CCDDA54019D1A5E71DBC9F8EAD8288A7],[12E89226577A2027EAD0986EC36948BCCB56B6895F93B1BFF15CC71ED9FC888F,1FC58395F9D5264E6E0926BCDB7F2EB3C9C8F915936B41B28220DD07598D5314]]", |
| "FP4xtrpow" : "[[18091DD6AABC0FE29095A9B2CF0941C8E9D5883D58F5C9789D7CE88C9F0D4265,0A816C9A9C45A8B3012ACD7A26F07CDB209D6B3699414949F67C8F660CB7EBF6],[1313427E1CFC253F492B09767D3B7103A4DFAF0503CEDB6338F30D2E8A17C082,142E359C14A8823D0E471726D4E705746BC7994B3337718AF19FD5E165005E24]]", |
| "FP4xtrpow2" : "[[0F465183CB0DA1790AB5174DD71EE7911E08FF9DD300DC7DF0F879592EF66A79,21BD51632CFC8B40994466359A725E413883406BA55189ADA6B46A3C62B6AE0F],[1B1C1016799FF9C3E06720D519A82CDB26988735C8A9641957738985DA433560,245C62324F99499AF178E720828C67E4BCC3BE827AFF46E5289DDA4A950B683C]]" |
| } |
| ] |
