| [ |
| { |
| "FP41" : "[[186337D2C332D255F44FC6C266D299FF15D3EDABE3F9ADD7232675193393A473,4C94AD2E429BD81DC9B0D96A8AEBBE3B6448815C477D7D6D30630C5014CE5E],[0494E9D0682E1F1893D3AF346E82547A7B73A19E3887085AED0A34C978EA7A86,131BE2F6A564638983B368D3E491E59613778BD4DF6BE3A2FDD12EE0EC784313]]", |
| "FP42" : "[[17C3847003A943801DEBB57011DB7B93EBA7D2072D396D749C986F97EA8020E0,12099BE18E458ABEBAAC67E3649E8B09DDA34A4C5B2A94817AF3064225EC8201],[15D306206B897C7DDFBE08DDCC63F53359D029BF3375380D2FBCE8985EFAFE8A,024EE2E857175E9E49561B96E00231029ED107C7F58A34A8772BD9A2D7EA1281]]", |
| "FP121" : "[[13F11518730FAC9660E4351DB280DC806491A60AC9D8B1DEDA3DF3FF34F90FB9,1CCB98685EB3BE63EC80582ED53656A4965B7FA5C302C9569F6E54E9F4387457],[22E18E719DCED4628D8B74B852F4B0C161EE9AC752FF4B53086080C1E8F94173,0B4D3CFC0C745B944FC08D019478E8DFED6A7715CC12142621927553CBF4C70A]]", |
| "FP122" : "[[13F11518730FAC9660E4351DB280DC806491A60AC9D8B1DEDA3DF3FF34F90FB9,1CCB98685EB3BE63EC80582ED53656A4965B7FA5C302C9569F6E54E9F4387457],[22E18E719DCED4628D8B74B852F4B0C161EE9AC752FF4B53086080C1E8F94173,0B4D3CFC0C745B944FC08D019478E8DFED6A7715CC12142621927553CBF4C70A]]", |
| "FP123" : "[[1A1B3A45E4E386AB0D978830712D2770DABEC52C555B821CA77A200AE8D84F92,0E66F30CFA815F37EC07712719AEC87C8A9BB511374F4BD8A6F82652D41ABBE6],[02ADD834FE6ED71E92A34D2C6A069AEED9DA8B04E2DD461FBFD4549E099AC5AA,0BDE52F529EA4717CD924E328E6830ED187890F81D24BD524ADF035934F98757]]", |
| "FP124" : "[[22625B4496B48A9FC133DC2DFF632E9DFC36C50672B1CB095493554B9037613D,0DECCC83354BBE500456ACAA5B9226677ABF475623826008977A89CA40DEB85F],[050474A50363AB67C65375C3B24C2F0CD27223BFDE670D1BA9DB9E6923249C8F,07752F8620F8DD19DACAB03C7ACB63E5350EBCB31BA5957226FA19695177BF2A]]", |
| "FP4add" : "[[0C26BC42BE6BEBC8617D9CCDFE4AAEBFDD3BE8C4F929DC6A0158C0C1C1F86FA0,1256308EBC882696D87618BCCF2976C8190792CDB77211FEE823694E7601505F],[1A67EFF0D3B79B967391B8123AE649ADD543CB5D6BFC40681CC71D61D7E57910,156AC5DEFC7BC227CD09846AC4941698B248939CD4F6184B74FD0883C4625594]]", |
| "FP4neg" : "[[0B9CC82D453D57B7BC6E18A21390CCD40E6BE942340F910A9B3FAED62887B140,23B36B52DA2D8E3592F42E8B0FD87B14E8DB8E6CBBC1C1645135C0E30C068755],[1F6B162FA0420AF51CEA30300BE11258A8CC354FDF823686D15BEF25E330DB2D,10E41D09630BC6842D0A769095D1813D10C84B19389D5B3EC094F50E6FA312A0]]", |
| "FP4sub" : "[[9FB362BF898ED5D664115254F71E6B2A2C1BA4B6C04062868E058149138393,1242F8CBA86D3B2713DB285A804FC7878200D523192627DDB0A380B98643A210],[12C1E3B00514CCA864D385BB1C81C61A45E34ECD1D1B0F2F7BB37020760AD1AF,10CD000E4E4D04EB3A5D4D3D048FB49374A6840CE9E1AEFA86A5553E148E3092]]", |
| "FP4conj" : "[[186337D2C332D255F44FC6C266D299FF15D3EDABE3F9ADD7232675193393A473,4C94AD2E429BD81DC9B0D96A8AEBBE3B6448815C477D7D6D30630C5014CE5E],[1F6B162FA0420AF51CEA30300BE11258A8CC354FDF823686D15BEF25E330DB2D,10E41D09630BC6842D0A769095D1813D10C84B19389D5B3EC094F50E6FA312A0]]", |
| "FP4nconj" : "[[0B9CC82D453D57B7BC6E18A21390CCD40E6BE942340F910A9B3FAED62887B140,23B36B52DA2D8E3592F42E8B0FD87B14E8DB8E6CBBC1C1645135C0E30C068755],[0494E9D0682E1F1893D3AF346E82547A7B73A19E3887085AED0A34C978EA7A86,131BE2F6A564638983B368D3E491E59613778BD4DF6BE3A2FDD12EE0EC784313]]", |
| "FP2sc" : "[10B5707AB04B96F4BCA1DD7C4DC72B3819A92EAD0220AFC8B9E79E2748C79D53,02392A9ACB2806AB09A8A4DC84D231DC2F64DA00B6B408A25FE235CCFFEB1112]", |
| "FP4pmul" : "[[0416B4D8A5CA06B799F9FCAD74D78A28352FFF07834BAD282B8BB37A88BCEE5B,139B59B7E14D07D816FBBA4A4C9D9657308DD61BBEB1AB6DD4E4EC4AF48855F0],[1E48F22D7ED567A9E0042AA45A74E6CAD091BB2550E169E301325538FEA7282B,0778E10E5FF399D746429379D07AE64C0703835AF70D4BBB041B7C473A7633F2]]", |
| "FP4imul" : "[[00,00],[00,00]]", |
| "FP4sqr" : "[[15668FBCB486F097396C58172D393001284861E25DB3A466B4161B4CFFE98C0E,171D5AE5AEF291164522718ABA5EC6615DACBDC452950D4F3BE0DF4F11A1B799],[14A8F07026BCA9241077971464834132723623D513DC5BEBCD5DD596EC9E6278,05D91189A2E6ABEAD98B77514C411A8011823A5853C7E3A1E66697748AE4077B]]", |
| "FP4mul" : "[[0C1FC331A65C19B8901037D7F9638DA9AB94CDEE17007DEBB97C3194BF4851FA,0506DC7E8571CF6D1847EDE9342E34B20E5987FA0041E3A4F4D7C8DD8387B4FA],[1B56C4D95AB49A07B3FA2F1CEB89917BCFBB83D19AC3F953957D681E124E4092,0F905DB457361CA120F0EA1F86A86CBF410596F4EE9E67195D4F35BCEFEB8B75]]", |
| "FP4inv" : "[[22AC0CA034EFFE15F9312F9DFF4375F1D7E615142A4529F032181A70FF499FDB,1699281335AF61E0B1D830FAEE549600180DB432DE03E8CA22BF75E3F9E7D25B],[1568CC70E6CEF516E9AF2F5CA940A0DFFEB0A5C59A04E1C4A6C5704490958F14,23644C9F2535D3176297B8039F3F688C514DB41C0BE12A11054B4613A3BD8088]]", |
| "FP4mulj" : "[[157906D9CB39E59CC0DE25C50453D5B78C3BECB771246399AD9F29D7E88D8D26,17B0CCC70D9282A21787180853143A108EEB2D7317F2EBFDEADB63AA6562BD99],[186337D2C332D255F44FC6C266D299FF15D3EDABE3F9ADD7232675193393A473,4C94AD2E429BD81DC9B0D96A8AEBBE3B6448815C477D7D6D30630C5014CE5E]]", |
| "BIGsc1" : "11BB3B7B10EC79EEFAF841BE078EA975D5FEF88E04DEA04A3C4E27034E8B24AB", |
| "BIGsc2" : "23", |
| "FP4pow" : "[[09889EA7B8E7C9A9912E54012C1ECEB2FB6CF68F73EE0EE65B0EBE2D7336D992,19C158E2841E14480BF02185FB8AEF7D304F330B6D70F9F31942C9186FC18980],[04FC413FBD7B59618A13732F23E1F748481EA5C3994E4E2391588E2BC9E3A1C6,10737D7B870951A872B1ADD757BDDF42E87DA9A796157B40589ED685C3FBC5C4]]", |
| "FP4frob" : "[[186337D2C332D255F44FC6C266D299FF15D3EDABE3F9ADD7232675193393A473,23B36B52DA2D8E3592F42E8B0FD87B14E8DB8E6CBBC1C1645135C0E30C068755],[032AC6930668CFE1389623936AC8CBA655D1C7B8EDD89370A6CCF6CA486D6413,5CBA981834CC8B58963F6BBB2D49C11FCE2B032DBB25C9278D4A1972672E86]]", |
| "FP4xtrA" : "[[09000DB66C01083D4ED4D3FAA31E1E93809B98857D6659163D0AA66A4756F4A2,1B31FCA3A9E91E44190D1D3B9A7095061FDFB4FEC2EC6BD3B196758ED9F16C65],[1785A77F9F0C75655A52B6773C699F6C17E3EF92798EEE2B96CBFFA718BC38BD,0CFE55E75256B172A2F53843C122D07AEB1E2F41E4D10F82F181662AC9008112]]", |
| "FP4xtrD" : "[[08A02017369175F9018AA9F6D9F762D620E05D78ADC9879A2C2F5509F4DD98DB,1684318B526D5966098F0FD7E548EEE4E6E42CC19A0612546180193671781ADD],[1DD2C410F718E755381EF57D4187EA27691D671184EA6CA1A7723F29DE735784,0810D776E53F48F0303469949B017ED914317B13FA966C0623A2D14707B937EE]]", |
| "FP4xtrpow" : "[[0EBBEC3C81A5560F53B6C2EFD7A8A315385B1699CC48FB27B862A3F15D996DAB,05156A4A3923A4029D03E02F1F8CD9F9E335208C727BC18BA1EA0E96EBDE3B50],[11CA3BDC4E396AB6B5F458089387EA3DAE245188B3A70C79B2CDE114010CB9EF,0B31038016CBFC64524EFD939A98A524D0AFD45B9A0F8D7C39701DD5E81EC346]]", |
| "FP4xtrpow2" : "[[23878E88041D4EC7FB00D623C2B49AA5452E164856DFD3DF69B49FFA8E45E14E,115DC63E6D8A41779E764C21DB835072D60E3BF96EF145383766E398A1724C15],[0B67B4657EE8DC85C9DD912EBDEDFCA4E49ED201DC637A834872DD979965BFCC,0F6F1F6D8566B7F10B0886927201C7DD34927F87EAA453330165E67542A19816]]" |
| }, |
| { |
| "FP41" : "[[2117D0CAD0A6FFB1E26F22301618C9FB70BBA880A29921E51967EC41A4F0958E,140F12A07F7551C69C034B4A58921D97CC8266144002884C584B4CA7659D36AC],[0B2ABFD68B5F074D2AD1AD29F96E343043F99C384DA0B20D65E52CEF061F257C,0607723195A9EA6B8DDE1995267AC75487CA12ACE3341D2139C2D323ACDBB15E]]", |
| "FP42" : "[[194F054C061C50CCE9B86E3B976509DA642604D0CAC2F570988BE799655D9EBD,049D0508390A487655CD78FF55BDC4A4690F43C219DD790D76DAF275240E110C],[153B677E7F18782EEB45EFD16013DC3A7AB5CC548E2C1221D046676A1CF9846E,0B9CBDBEFC16B7716E497589A8A28AA4B4BB7D38DC7CF1E4C13BD9283C5222DA]]", |
| "FP121" : "[[08AB45C2FCE300565052E6C178FE38D40A1C2758B412849C7D528A2425A5089F,11FA456D58F6A84F8C1FF60D2351EE14A5FB8C505B69523DF05E459278EA59A1],[029FC8D6DF945B03CDC3B630893BB33815E29513539E5B84F68E6BB5C6EB19BD,19EC4C7B1BB41A39D17A6582C0BF742098E09215AF1EBEE4A98D63C7633E8517]]", |
| "FP122" : "[[08AB45C2FCE300565052E6C178FE38D40A1C2758B412849C7D528A2425A5089F,11FA456D58F6A84F8C1FF60D2351EE14A5FB8C505B69523DF05E459278EA59A1],[029FC8D6DF945B03CDC3B630893BB33815E29513539E5B84F68E6BB5C6EB19BD,19EC4C7B1BB41A39D17A6582C0BF742098E09215AF1EBEE4A98D63C7633E8517]]", |
| "FP123" : "[[0B4DE3267696D9BCEE3C465EFF5A0261FD21DE8467941EAA52DAC7EB019FC455,0FCBAA5DC6D4A8BA2F3AB3788BE99CA795D9CBF2F3D8C84D3B1B3E86473B9844],[0E15D3BCF8C875F82A58900A31F3A82C5261A095AC5E6A9EB7A06EF05769945A,0C0254A079D461695FB95DF5B117B339DA2A9A85A8EF3CC01A41DDB0802890A9]]", |
| "FP124" : "[[14D1375313179390F428E3A1754FEAA6AC4535BDB1601705FD1B6BF98FB1B60F,0B99E834A90EE8A139B9910BF9AC307738708F88BF83819B39369E3146333A45],[12BFCA759591C5061CAAE7FFEA07CA546F4D5CAEC756FA1537BDF6C611F180EF,1C7AE2ED510781380E88ACBE5638EF3F57171E6D6EE5320E62910C65F1B3E641]]", |
| "FP4add" : "[[1666D616CE5326711B69B107331A6D02B0A1D6635552D873F38DAFEBAE32DE98,18AC17A8B87F9A3CF1D0C449AE4FE23C3591A9D659E00159CF263F1C89AB47B8],[206627550A777F7C16179CFB5982106ABEAF688CDBCCC42F362B94592318A9EA,11A42FF091C0A1DCFC278F1ECF1D51F93C858FE5BFB10F05FAFEAC4BE92DD438]]", |
| "FP4neg" : "[[02E82F3537C92A5BCE4EBD34644A9CD7B3842E6D75701CFCA4FE37ADB72AC025,0FF0ED5F88FAD84714BA941A21D1493B57BD70D9D806B695661AD747F67E1F07],[18D540297D1122C085EC323A80F532A2E0463AB5CA688CD45880F70055FC3037,1DF88DCE72C63FA222DFC5CF53E89F7E9C75C44134D521C084A350CBAF3FA455]]", |
| "FP4sub" : "[[07C8CB7ECA8AAEE4F8B6B3F47EB3C0210C95A3AFD7D62C7480DC04A83F92F6D1,0F720D98466B09504635D24B02D458F36373225226250F3EE1705A32418F25A0],[19EF585814B6B92BF0499CBD13BDBEC8ED83A6D1D77DDECD5404E9744540F6C1,1E6AB472A2035D07D052836FF83BA382F74E6C621EC06A1E36ED1DEACCA4E437]]", |
| "FP4conj" : "[[2117D0CAD0A6FFB1E26F22301618C9FB70BBA880A29921E51967EC41A4F0958E,140F12A07F7551C69C034B4A58921D97CC8266144002884C584B4CA7659D36AC],[18D540297D1122C085EC323A80F532A2E0463AB5CA688CD45880F70055FC3037,1DF88DCE72C63FA222DFC5CF53E89F7E9C75C44134D521C084A350CBAF3FA455]]", |
| "FP4nconj" : "[[02E82F3537C92A5BCE4EBD34644A9CD7B3842E6D75701CFCA4FE37ADB72AC025,0FF0ED5F88FAD84714BA941A21D1493B57BD70D9D806B695661AD747F67E1F07],[0B2ABFD68B5F074D2AD1AD29F96E343043F99C384DA0B20D65E52CEF061F257C,0607723195A9EA6B8DDE1995267AC75487CA12ACE3341D2139C2D323ACDBB15E]]", |
| "FP2sc" : "[21D9F23E9D66AD3599F42B29FB0973CC722151538D127E86158A1A479F21F4A3,076BD354936DECBD1DA80024EA623197A971362D729B6DEC8697B4A50E89ABDC]", |
| "FP4pmul" : "[[0EBA7A62B6DB88949EFDB431041296471DF01303AEB54CE3A110445F1B152D9D,07FB9B6CBF3874C382ED79B032942E73F711012F5C9C0C3D1DF828B2D91F7DFB],[140B96FA97EE578BB636AC8E6F2D501BF0A20D6C3F087011C670F6EEE045F0CF,197315A1F93F377B2B4FD890FB0905EE55111ECC2DA7E857CC555EFD50DD1721]]", |
| "FP4imul" : "[[2117D0CAD0A6FFB1E26F22301618C9FB70BBA880A29921E51967EC41A4F0958E,140F12A07F7551C69C034B4A58921D97CC8266144002884C584B4CA7659D36AC],[0B2ABFD68B5F074D2AD1AD29F96E343043F99C384DA0B20D65E52CEF061F257C,0607723195A9EA6B8DDE1995267AC75487CA12ACE3341D2139C2D323ACDBB15E]]", |
| "FP4sqr" : "[[1227369BC08E17A9ED6F7B443F111DCBE7CA80A323CB808571835B96C99B6C0F,1BF457B88639570959336D769F57146C89D5D4C5E39CADE24572545931B2D701],[0EAEEFEFF656C9215A21B27E8735C770C1DD565AF4CA49C7975FEB824CEEA17A,1726365B39A9BB2DE92157826C5BD0E555384FC37B27332E282944AE9BA05B22]]", |
| "FP4mul" : "[[554D35CBC825625F431FF451347CD49A4F62B6D6B7E5F79B0AFF870813054C,234045C41D2806EE345324CC28236269620D7A6129C88A77727E1F3347EC8929],[23A1C5D38BA976373B84FFF1C3009CDDCA96667EE463723C3244E2E0F0DAA4CA,16F0D078A722CDC796DD71B0FE289F3D565111AE6C297432B6A0E2CEEB2CACA9]]", |
| "FP4inv" : "[[06F79D011DEF03EB5E73AA38C22D110C620E78C0AE1B2134B99D14932C337596,19C9971A0A7012A7FA10B8344A4D9E44C08CFFE93888D2BC8A6B7BDB21F84B30],[0D518E029E7DEAE280C936549A0516880F944CF470CA5FED0E4CE1BADF412916,191F40184237B96F22F054282D1F1C3CD535E15E85A6682506B4F7D976852213]]", |
| "FP4mulj" : "[[05234DA4F5B51CE19CF39394D2F36CDBBC2F898B6A6C94EC2C2259CB5943741E,113232082108F1B8B8AFC6BF1FE8FB84CBC3AEE530D4CF2E9FA80012B2FAD6DA],[2117D0CAD0A6FFB1E26F22301618C9FB70BBA880A29921E51967EC41A4F0958E,140F12A07F7551C69C034B4A58921D97CC8266144002884C584B4CA7659D36AC]]", |
| "BIGsc1" : "0A10DDCC80B50F6F7B31F50A81E5572CA1D1305B0F0F1EA6188A953C03D99E23", |
| "BIGsc2" : "51", |
| "FP4pow" : "[[0D1C4EFFC88144488CC35F42E559D3E5473D82CF4023305F4F8C72FF22E11C28,0D447682845DA9E79C47A0F466D50D2379AD0506110E6B1F156B54E1FF012372],[11234745C82491769FAC91BFD45689145426B79E5EB6770DEAE292FBD60043E6,0F867BCB6171D3A712997A02921E1B9B410DCFC62E56ACA89BD6F696D9447058]]", |
| "FP4frob" : "[[2117D0CAD0A6FFB1E26F22301618C9FB70BBA880A29921E51967EC41A4F0958E,0FF0ED5F88FAD84714BA941A21D1493B57BD70D9D806B695661AD747F67E1F07],[20DE31B413E7B66F397943B26D446377D485385612DCD86E2E4B37959EBF1415,04F748A012F8144616FFA238E22E766DDEDDAC39121676D409CCAB20FBE7E79B]]", |
| "FP4xtrA" : "[[0DCFB7F3D57887ACE83968385AB588C8A9E04498129F3DD6556365DE23CCBE99,090B469E0B91C2C80074A5C4644B8E6088DBA63C1465ACEE1E2295A53F14B701],[1B39F7477A0AA9A8F83C1B34032E4B0C96FAA13945920D6036ACA2CC00F60C91,11E3F3A11F9CD48623FA005E1B26BFEB543FA8C7C5F63435BA46653204E8C487]]", |
| "FP4xtrD" : "[[17F7950630206C618A0CF5AD07A6577B4ED2DD7E0EABBA7EBB7FCAF237F0EC59,17D632778FBEDD89D1EAB646689640101510DF8B7BA0DC2B5341DEF9C293BF5C],[01046F9D04A4ADADFF072D6DFFAEC8FE2590B7DD78026F00A4C42170FD1196BF,23351ABE64FD900504DD8AACB9515F8E64CC751D418F6D709BAEEAF5F557BDDE]]", |
| "FP4xtrpow" : "[[1A3237BA0C9AEDE6140E32C0ABCDEC4A2AAE097ABBEC5B47EEA445D475E65FE5,17D07E216846C471DF52E1E545A851E86A0AC8B3AE2BB3E82109B09688C332DF],[17415FB4039915785C5DC4BEA21408CD141623028D41C504B2DBE0554063E4AC,0D8DA3558DFC21D96D34A2B9552631F90B92D9900FD7691F6F077C8134A81C28]]", |
| "FP4xtrpow2" : "[[20465353CF9C9B2A27427C05C4EC581385C00A94A98039FEDC6929080E40EFAB,220677C82E7A774BAFC724B9978C71CDA0D7A0B37AD4045D9572F8E6CF147757],[0621B706BC20A8970052BC40EC7F0227F1C08FDD747802B6999C72E6336C2D2C,0602056C968D92BDC838C9AE7CE8CCC25B9D211FFDCC2D88940E235A2E1B5FD4]]" |
| }, |
| { |
| "FP41" : "[[073B533E6A9B013DF6E0FB6BB3B33076FDF03DD06D32756597DB55ADE930BA6E,1A9FBF26BCAD5A4513C64C25AA58B5325A6860A0120808F2316A36EB870AAD4B],[13998E67998D69E72248B740AD666BA221B803F74EAB974C18AD93EC7F736FB3,091710D8E9327A23B2D7BCFC4CD48DF03246D976007B97482485D73D0214EAFC]]", |
| "FP42" : "[[225B340605ADA92FB18E796E4F35A61EAD06D34AF7810E0A8855568F7126C42C,1BC6167E8A5532CD3CBFB467149666BCAC8B43A22EFB76A9D827DE319AFE9F24],[0E2817D161684DE7FB6B89D7BF056ACCFE177F31611E249FDDDC2B9C00B1596C,1BA79164F37C6540CD9DCE858E358B05326179AE6158D86080EA6A4A2CB9DF1D]]", |
| "FP121" : "[[110A3D0C496C6F80D5DB25090E854125BCB5A01482A9CD6EA49117A1290659D7,15AC76C99A022A72AD1116C5ADA7400BDDBD80973A3330244AC312236D716059],[18B40D8C3508E7FC029AF858AA6DE300143918F2046C1F757DD36E6AB00A4CC8,191EB7385DC1CA555A7E2E7473EB5EFD75016D9A158D5B52220FD394ED00AFA3]]", |
| "FP122" : "[[110A3D0C496C6F80D5DB25090E854125BCB5A01482A9CD6EA49117A1290659D7,15AC76C99A022A72AD1116C5ADA7400BDDBD80973A3330244AC312236D716059],[18B40D8C3508E7FC029AF858AA6DE300143918F2046C1F757DD36E6AB00A4CC8,191EB7385DC1CA555A7E2E7473EB5EFD75016D9A158D5B52220FD394ED00AFA3]]", |
| "FP123" : "[[10BC3C26C40D8124D68160E8B2AFC118F9831526F0E3A545BE9CABA0CECBA34A,1490B18AEC0FA509304D12D00C35D9ED4D825AAF75975904281C28CD9AD46A32],[157118D5597A47CB8E14704F325EEBFE93CFAA85140DFED8346A2285477334C3,06D858249A7E513F1C228DC4B23CD74DE3F94EBF58B321C687BFB83F285C66E1]]", |
| "FP124" : "[[0E69AA63E1A93898F94F0283678941E61DDEA20A076ED2EE9F742388919C17C9,0694F9118E72AB57956C7EDB2CC09C7213F054E4033B91707BF789AA837C32DE],[0FE7C887838301949B019B399A44934F2BB8A2C83BDA443D48A8A56570CB3FB1,0F81A1BC73854B57CC5C8122E95545ED80CC9D950FA3687F88484272275BBCE7]]", |
| "FP4add" : "[[0596874467D8805FF7B1957588856FC286B73A2D4CAA448E61CA884DFE3C28E7,1265D5A53E9263049FC82128448BB51BE2B3CD5428FA40BA4B2BF12DC5EDF6BC],[21C1A638FAF5B7CF1DB441186C6BD66F1FCF8328AFC9BBEBF689BF888024C91F,BEA23DD43EB556CFB7AC1D60A6B22240687C3649CB30C6E70A1D97D2B37466]]", |
| "FP4neg" : "[[1CC4ACC19DD528CFB9DCE3F8C6B0365C264F991DAAD6C97C268ACE4172EA9B45,096040D94BC2CFC89CF7933ED00AB1A0C9D7764E060135EF8CFBED03D510A868],[106671986EE2C0268E752823CCFCFB310287D2F6C95DA795A5B89002DCA7E600,1AE8EF271F3DAFE9FDE622682D8ED8E2F1F8FD78178DA79999E04CB25A066AB7]]", |
| "FP4sub" : "[[08E01F386D5D821BF6106161DEE0F12B752941738DBAA63CCDEC230DD4254BF5,22D9A8A83AC8518587C477231025B548D21CF3EBFB15D12A17A87CA9482763DA],[0571769638251BFF26DD2D68EE6100D523A084C5ED8D72AC3AD168507EC21647,116F7F73FE263EF095F7CDDB390269BE242536B5B72BFDC9620190E231766192]]", |
| "FP4conj" : "[[073B533E6A9B013DF6E0FB6BB3B33076FDF03DD06D32756597DB55ADE930BA6E,1A9FBF26BCAD5A4513C64C25AA58B5325A6860A0120808F2316A36EB870AAD4B],[106671986EE2C0268E752823CCFCFB310287D2F6C95DA795A5B89002DCA7E600,1AE8EF271F3DAFE9FDE622682D8ED8E2F1F8FD78178DA79999E04CB25A066AB7]]", |
| "FP4nconj" : "[[1CC4ACC19DD528CFB9DCE3F8C6B0365C264F991DAAD6C97C268ACE4172EA9B45,096040D94BC2CFC89CF7933ED00AB1A0C9D7764E060135EF8CFBED03D510A868],[13998E67998D69E72248B740AD666BA221B803F74EAB974C18AD93EC7F736FB3,091710D8E9327A23B2D7BCFC4CD48DF03246D976007B97482485D73D0214EAFC]]", |
| "FP2sc" : "[099FEDF424C5F58E0A735A942FF9F3CCB1DA982B767AA5B25D104A023C85666F,17FCC347946E8BF2403A608B1BDB2A3A6EAB93D3B4FC4156E4BE26606BBDB266]", |
| "FP4pmul" : "[[0EC52ED86C3B426ABDFE9806D2EC0991FE28B6801A6040A499BE542E69EE6616,1112E5B685EB72A23CC12BCC9BD71505DD5D2064983FC7F2118B26AACB415C20],[1EA0621D6FB864161821A26D3FDB63AB4DDDF5CABACC4BAC6A26D8281FE91305,0C4D41BF11B47FD5C5577367D296C8DA0B7F83406C06C718FC1D7B95FD23C4B5]]", |
| "FP4imul" : "[[0E76A67CD536027BEDC1F6D7676660EDFBE07BA0DA64EACB2FB6AB5BD26174DC,113F7E4D70EA8A7C76CEB8E6DA4E03919090EA520C06D302A46E49E7B1FA04E3],[03331CCF2AAAA9C093D38F1CE06970711F303100854DEFB672F503E9A2CB89B3,122E21B1D264F44765AF79F899A91BE0648DB2EC00F72E90490BAE7A0429D5F8]]", |
| "FP4sqr" : "[[0CAB5B373795D54A50BE2BA389C062EC43D1EBF99B84065360131D9450F9B45E,127133C01ACAEA0A4EE3076260AF55E2FA8805D1697342262DECD76A30FE2DEE],[1C82B2CADB10057E4A0B212F55613BB76C484676E1F31506149FA90DB311A2EC,215EC1C1EE5F4345AE2FF37F882E4B0C245433065B3FEDB6152DEB0A9B44CF3D]]", |
| "FP4mul" : "[[11FEBAA33CAC65F7BE795D72C9A4CF8E9062880CEAB3F93EBA074EE53BF2CE1E,17DBC05BF5DA69E7ED23935A926737F00E5DC47E363A38F01235D6D4BAEB9896],[1EA3B03F3CFC12FABBE896C0FF6DF4A680E9DF0AE32DA21BE1348F7A75B60CDE,199D8CE6061CD4BC6BEFC2C9B5AF343642F57D4CB98890D418E629C1127FF2B3]]", |
| "FP4inv" : "[[0460B6D069E15E65DF1C60C8091438DBAF053B1CDCF32C21DB258C7B9E9698CB,2C354F8CA3FAA278CE3A638DDA8E0D8CA4EDBB9795D530BB238AB2FAECF580],[1C24FFAEBAE8665D0235B74F4C47AD310C3A7C25D464286DB91F21B1682DE799,0649EF49226D282F0DF3BCEA89D6F84ECE8AC177C39E3D82303FA16075BDA0D7]]", |
| "FP4mulj" : "[[0A827D8EB05AEFC36F70FA446091DDB1EF712A814E300003F427BCAF7D5E84B7,1CB09F4082BFE40AD520743CFA3AF99253FEDD6D4F272E943D336B2981885AAF],[073B533E6A9B013DF6E0FB6BB3B33076FDF03DD06D32756597DB55ADE930BA6E,1A9FBF26BCAD5A4513C64C25AA58B5325A6860A0120808F2316A36EB870AAD4B]]", |
| "BIGsc1" : "0ED0E109C3CC2B6D98F1ADA043494BE0EAB61E7DE2C2CEA552E8BFF0659C3775", |
| "BIGsc2" : "35", |
| "FP4pow" : "[[06949A54032DB32B8DC162D258B9F1B05CDDE2FE92AEDE5230C353C58493EB6E,02BC4758023BD259D90C731E40905B00F3502B8E47C15A332F3AF3BE021631B0],[0D397887E2FF0ED8F15FBBB2A2F65D7A0FCD9C946D647954F0C3EE72378597B9,185FED4D5B4659F21B203B563778656C8BD177C522BC00F3F98FACC823A4D519]]", |
| "FP4frob" : "[[073B533E6A9B013DF6E0FB6BB3B33076FDF03DD06D32756597DB55ADE930BA6E,096040D94BC2CFC89CF7933ED00AB1A0C9D7764E060135EF8CFBED03D510A868],[14C4CFE6C5D391D0C2FEC29391D984F046F67194D052E5F18A8201FD3F76588B,17AA25329580BA837DF5D3C4717084A56FA669A95C3B01B6021862C07FE7F4E5]]", |
| "FP4xtrA" : "[[1C72D6812502125B24B70C5C5C038C6B781B60AFF1C05B3251132E54CDBD7B18,0290D333594F3BC09C0632F43D6FC718B090432FCF2BE7756E18B2BD915EBD44],[0B794F4A15D555C7BD7E86FDFAB6C81FB93D8693E85BDEF953897DB24C1BBEF7,0E53A03FD4C6DA8CD88C62A4EA8EE66D4B9A24A88174E310F1A2C31A3B4D90E5]]", |
| "FP4xtrD" : "[[2234B4BA6ACFFCDC13BA14309CBD68D16C314746D9285A69EEC29627DAB39535,0131B572A9E05F8DD8144E7B8661525169F71B7F5D6C6F23897E8D827F04290B],[1FB5CF9A05BAAF3EDDDEB04C35CAAC288B787777674104BC8794ACF755DD2C9F,0F8CE373B8540D7F63218E13A774001964A20F04442DDD649FD3759543534F82]]", |
| "FP4xtrpow" : "[[19A6B80DF276C940DABF440BC73EFF20BF72EC307AF57D195962B46521147795,2228C943F30F7669FA6DC6333127342D2AA9558986F461D1EC6A8A397C39B3F9],[0E8EE40CC3DC26CABC51EB54DB2211F7F15EF0ACC8BAD8CE79A31702E9DB2D35,0D184A4F93A7027116D77B1E4DE14A0F9D933B297F1C674F8847B9A9F78337A8]]", |
| "FP4xtrpow2" : "[[14B43848BBA87E5827BD6050280E537D3CE7C3715E1153DFEBD7B48BDD3AE651,1E6EDF224F095AAAB61B3A5AACF13A3D8766CE9A8D0B1220BB93DBDD766D9665],[08DF3B126419C655642F3570B9B556A6F278243A36ADE25030D8BCF0A722C2CA,23FC4515324594E5649F61F1129F4128E036A47F1EDBC20973EB9B16B2B845F2]]" |
| }, |
| { |
| "FP41" : "[[1A36E58217B319B56C6581926B9947BF794945BABB974FA230242ABD93281F62,1B98CB640E067D9451FCEEF85B2668B5647B736A570A233667D05B3FB654158B],[014E0F0F2216C46A6B2143486782E6BA2850F433CB6716F915B678A3FFFD5970,06AF996A99E44F7D2732E4B4E647C88951EE78D7827DE931D2AEF3F41FCD175F]]", |
| "FP42" : "[[1689C4C6C2603B65675F7C2E31D58EE68FE2AC5F510B564A16583A45F0E6798B,23F1127D06E039B6869EFB7CA3D3E525EF7B9F6EC96F3A6C2DF4BB33B3C7AAA6],[0953637C8E5163F0660D767BDAB7EF9D2E143EF0982913F2FA9A260E5A1F591E,08F4EB710FFC1666113ED3D7420EA88A36BEC656257F0CAF3D63D7D658ED2E88]]", |
| "FP121" : "[[2070387886480E2EFBA59AE94F68A40A678FBCC3F1355C9F61BE5AEF04D6C0AC,1FE6C212C73D3F976C50D73F38EC991D9D2CD0AC027235B219D2501F949980B9],[1BE23D6BD923F7B7CA7729D63E96D51A8C0B4A3CBE8EDAA1815FD6297B17F2B0,1521130F61905D393524C73C61E5387F3CD848B11780CFC2FCE33FBC585A19C5]]", |
| "FP122" : "[[2070387886480E2EFBA59AE94F68A40A678FBCC3F1355C9F61BE5AEF04D6C0AC,1FE6C212C73D3F976C50D73F38EC991D9D2CD0AC027235B219D2501F949980B9],[1BE23D6BD923F7B7CA7729D63E96D51A8C0B4A3CBE8EDAA1815FD6297B17F2B0,1521130F61905D393524C73C61E5387F3CD848B11780CFC2FCE33FBC585A19C5]]", |
| "FP123" : "[[1FD895E727C23C7966CAE85F50FB85B9EBADE75E5217E2FEF3BE4F45476CEC8D,0E5BC52570E041A3B03D9B66E8E0D1D592227797468BAC66B5C7B8F5DA0AE0DA],[06EBFF6D0B2BD65AEB2DD9B42C703050591125BCF7BE2343F9A0E4806414B6A8,F68747EC18E5DBF67497830AC2E5F1939B956A369C1FAE6021E4D5FF1850FC]]", |
| "FP124" : "[[13B481E3C036B45A66F5C755BBE01CD97B3BCAF7A90FE4B939661918D51D9C76,0452DE34E857390DA7DCDD9EB3746763D2E4A72EFC2962C82057B3669F70187F],[1D73A7702648D18FB0F542215F10C2800B76A70473E4F9190F3C8A16C47E7103,17125CFD3040FF7E79679A6E4A0A9C4346D1A947869D874678B0E55F7C6D81E2]]", |
| "FP4add" : "[[0CC0AA48D1A32B0D23071E5C230B6FD2E4EC1B2BF499670A8816411427F3433A,1B89DDE10C768D3D27DE0B108496E7082FB73BEB08701EC0D75EF2840E006A7E],[0AA1728BB068285AD12EB9C4423AD6575665332463902AEC10509EB25A1CB28E,0FA484DBA9E065E33871B88C2856711388AD3F2DA7FCF5E11012CBCA78BA45E7]]", |
| "FP4neg" : "[[09C91A7DF0BD105844585DD20ECA1F13AAF691335C71EF3F8E41F931C8F33651,0867349BFA69AC795EC0F06C1F3CFE1DBFC46383C0FF1BAB5695C8AFA5C74028],[22B1F0F0E65965A3459C9C1C12E08018FBEEE2BA4CA227E8A8AFAB4B5C1DFC43,1D5066956E8BDA90898AFAAF941B9E49D2515E16958B55AFEBB72FFB3C4E3E54]]", |
| "FP4sub" : "[[03AD20BB5552DE500506056439C3B8D8E966995B6A8BF95819CBF077A241A5D7,1BA7B8E70F966DEB7C1BD2E031B5EA62993FAAE9A5A427ABF841C3FB5EA7C098],[1BFAAB929C358A87B5D1AC31072E5DF01E7C8C314B4741E7D982768501F95605,21BAADF992586324C6B1F0421E9C86D23F6F896F75081B6453B1400D22FB3E8A]]", |
| "FP4conj" : "[[1A36E58217B319B56C6581926B9947BF794945BABB974FA230242ABD93281F62,1B98CB640E067D9451FCEEF85B2668B5647B736A570A233667D05B3FB654158B],[22B1F0F0E65965A3459C9C1C12E08018FBEEE2BA4CA227E8A8AFAB4B5C1DFC43,1D5066956E8BDA90898AFAAF941B9E49D2515E16958B55AFEBB72FFB3C4E3E54]]", |
| "FP4nconj" : "[[09C91A7DF0BD105844585DD20ECA1F13AAF691335C71EF3F8E41F931C8F33651,0867349BFA69AC795EC0F06C1F3CFE1DBFC46383C0FF1BAB5695C8AFA5C74028],[014E0F0F2216C46A6B2143486782E6BA2850F433CB6716F915B678A3FFFD5970,06AF996A99E44F7D2732E4B4E647C88951EE78D7827DE931D2AEF3F41FCD175F]]", |
| "FP2sc" : "[019284D5259305F56EFC3299E1A21969E9ECE1CFB0A6D5B444CBCB22EE846C8C,0599C9405D1AE7C7C23258E22AC00BDD35706B0152A1443EDDBD700FDA5F80B6]", |
| "FP4pmul" : "[[0203B9576FA7CC08F1B6811D6C48C203C6662031289C71C0D41CE7F78CCA783E,232668F7F66A7FB40F56EF443353726235F4E3EF0459AB49B45F97F90F3F92D9],[085F4C40601E09EC3C7D611E3A082651D033CD74BAE276F70F99906C35DF3232,08E6C13FE826CBE0A31FA30167A5B7B2896FCA770882232F99FC62B368540D3C]]", |
| "FP4imul" : "[[06A4B0863638F904E3B4C5EE4E050998235C235402B3712313A0385A0141B2C0,0ACA622C193324A1947B0E201CAC6C79E4F2AC62D50BEBDFBAA4C9E06AC5953B],[03EA2D2D66444D3F4163C9D93688B42E78F2DC9B623544EB412369EBFFF80C50,140ECC3FCDACEE777598AE1EB2D7599BF5CB6A868779BB95780CDBDC5F67461D]]", |
| "FP4sqr" : "[[0C1DEA6126F91F67CF658579BCE6707AFE0F7ECB295028715E231E1E9B36005E,028B77B7999ED2C127256292D7F67B8FC1F7B22873BD8CF2FDDA04EB9AE11C9C],[0872C838D37E2050CF75EC71363B733C1380290E998FC8F523F68F09EA08B96B,1F7C27AA51F53117F3B45A3C4D915B67BF7D1316FA4EB386B0EEDD5621907539]]", |
| "FP4mul" : "[[2253938FC48911F3676208C4449448179646846DD848443B5CE5402BF6A87320,01F1C303E1075A16A6E2D4F75A555C5EB09919680849F171624CE74D7D1825CF],[0D068AEEDEAE86B7F61ED4D45F6657FDBD98410A22CDDE7B0FE92B47E7932FDA,20A2E4DA39FFD3465CA655285EEDA722535A1C221691BCE97A9642CABAC9C8F7]]", |
| "FP4inv" : "[[02A6A9A7188204FEB5FD81888AF50C38634BE3B988E304D0902971E5F8E97E8D,0D903749899CF8F1542C74D165BF851D67C780476D65FCDB1476B61A8F1F960E],[1672EA45B4F6D51DF56A630704257838E854DDB5B49CB2478994BB02ECF825B9,0B33968C7715F25B8B9783FB465350A8758F94638F3FB0543573EA298321A328]]", |
| "FP4mulj" : "[[1E9E75A490A29EFAF4AC3DF7FB9E8503FAA2524A60F26CA9016DA89F3C4B97C4,07FDA879BBFB13E7925427FD4DCAAF437A3F6D0B4DE5002AE8656C981FCA70CF],[1A36E58217B319B56C6581926B9947BF794945BABB974FA230242ABD93281F62,1B98CB640E067D9451FCEEF85B2668B5647B736A570A233667D05B3FB654158B]]", |
| "BIGsc1" : "0E2D771E7884FE52245A2C6380C5102B8604C20B3C95B1DBE330A2CF3BB06B0C", |
| "BIGsc2" : "04", |
| "FP4pow" : "[[07E7EC7B77E83A59377BCEEC99B0F46F5FD70E36805DBBE6594A6BD718D74E92,113CB57105DEA3AD9493C2B29CF0AFE252AD71FF7FD894BA8E7D724FA8D1BF95],[17453E55C1051732C7AF3A018536F9DD9039F38818B3B2CD90B3DA5DA5A936BD,0537F1EF074960E6B147C5FB08D3C4C904EBDFBF5D9124D86103ACB07ACB320E]]", |
| "FP4frob" : "[[1A36E58217B319B56C6581926B9947BF794945BABB974FA230242ABD93281F62,0867349BFA69AC795EC0F06C1F3CFE1DBFC46383C0FF1BAB5695C8AFA5C74028],[17A0E2D2AD6032B8FBF2AEA8C5C23CDE27A37D53984BF80AC1D6DDDBBA0DEFFD,052A355032B85F1E79E4F6ED65B82F6568930F10796C984DCA25B23719258932]]", |
| "FP4xtrA" : "[[0612B175D9224A12B34BF62320193FDD7E4D27134908E2F50AE3870534E560C0,0D4E914CFE56FB7509E8124351A4891BAE02F6AB7A9660F7CD02389B360FDD10],[0499D20E8E9394533C1A85DBB2BA58904229AF927D7114B76E7557487944C969,21F75BA214C94B0366EBBC29F7F641C7FF997F2C1E2083395988CE966B5D5077]]", |
| "FP4xtrD" : "[[1FB01F5D087340185816411DDA7AAEA253FCA131E23406F07AA710822D1C6D00,1359E0EF8E722BB3E4A7436B167077CB4180792FF5BBC449AB05964AE66F9CEC],[0B0EE65717ABA925A5B87302054140B064221176305DF6E74F638051EA036C4B,08DB5A7F7D4DA604915C44419FBD85A73F1A2DD7E741470897E6A14F050F4E44]]", |
| "FP4xtrpow" : "[[0255C9A6F225CA2BC25B3217096EF2A5C205AF3B3F7BB8790A0B069A61BFCB21,05179869CA4DBBAA9B2C9DFE0B4FCBC527102E427E1E342B1578A1093F8CF5A2],[102927AF1533FD5168B177E9510811A98B0E6A4C62CF7DE2D87CB7B843728655,128D342C70A976C31AF16FD9B4687CDE720D02B01C954404F46DA783F10BCF93]]", |
| "FP4xtrpow2" : "[[1BDA48F5A2F4665D2D085598F548B41489787CD2F267DDB981CCBC2134B48E5F,031347776B9DB14ADC743B9E56A6263B0690348F8833B0394488C09C5FE57511],[0D14233071B605190BE0EB5F6D60B59842C9E1A5C6E9D2EA93206E79A8FD3B8F,1034F8FDB1AA91FE60062EC163006E43A76C7EE8D0E186457E39E57E5613F5D2]]" |
| }, |
| { |
| "FP41" : "[[2152DFDB15929E90AA5DC2C6324655043754C8A6E5B2F7DF7D80E2F17F46FD05,1ACB878A722FB59FFCA9C8CD6FA373055361B1C51A113B169C9BF8CFBF65B46B],[0B49BB9307BF76E0EC31D1410C6AFF9080CB417FCFC3551C6B33A2CC23247C6C,0ADC934212C733EEA44758D96D6DA1FDC77918F5F9B1030B9BE0A61C8D41FD61]]", |
| "FP42" : "[[05873A4B9F27BE66E03E0B8202B0D297E68561C4364BF87DD27D33DA85F12251,0FAC65DB7F54D7E4241550393FA1214166F69C9A14306B331AEA9B060E32285D],[074F0885322AA6C68682BA6B9E7A74171D2C17B60B6EDCDC39E8F1BA8D40F4B8,14369A74C44B4C2D034D735F65F3151C6384AF8A80548D6C6643B8ED7C0505FD]]", |
| "FP121" : "[[1E61C03490252FB4F30D2796E761983DC233C944E246FF0871E5B0CF88164AFC,11553A41343ED9AD1AB51382A8EE43A974465D86C85A9CEC8C6AC9D524FC9EB2],[166369173143F114EF0DFB9AE795E4117E3E3A09BDE678977808462F2BDAD8A8,0B94112E3039561AB96E35085B626AD10E0C2FE605FC91AD953BE8F853512A9C]]", |
| "FP122" : "[[1E61C03490252FB4F30D2796E761983DC233C944E246FF0871E5B0CF88164AFC,11553A41343ED9AD1AB51382A8EE43A974465D86C85A9CEC8C6AC9D524FC9EB2],[166369173143F114EF0DFB9AE795E4117E3E3A09BDE678977808462F2BDAD8A8,0B94112E3039561AB96E35085B626AD10E0C2FE605FC91AD953BE8F853512A9C]]", |
| "FP123" : "[[16A49CA47844492E82A98B17814DAC724FB5972A6F9BD1A4E1A9BE0D8F114B74,13AD243D389A0AACF99D8FAC88F99A22BCDE666598FF4654DCF35E888B80B13F],[1804AAF5993F6B700C98FEE39474019DE08885E5A7B37647496C61F5B8C0BCFF,1C26ED768C3F3009EBCB468A7E44425609EDBFCD3F170549F30AA22246385025]]", |
| "FP124" : "[[2179C7FFFE4AC07296B38BEEDA182DC81087A6A4199A13AABB0EE4158052442A,1A2EE10FB97FD435A38D55FDFACB4F7E26C980FA4595EDFDC78AEE92248B35D4],[2054ACE3A7388D7860F002DD0C660D4D0E73A905EDC4A08CDA0952EA1937856E,1C6EB0E48934332F8B4DD6244E6C61415D3DA997A9C8DCEC0272B7D8ACD2C161]]", |
| "FP4add" : "[[02DA1A26AC4A32E9D9DDEEE3BA93C0C8F99A537D03F5B17B9197F2DCA91CC9A3,0677ED65E9146376700139A234E12D739618777116386767F9206FE6717C8715],[1298C41839EA1DA772B48BACAAE573A79DF75935DB3231F8A51C9486B0657124,1F132DB6D712801BA794CC38D360B71A2AFDC8807A05907802245F0A0947035E]]", |
| "FP4neg" : "[[02AD2024F2DD8B7D06601C9E481D11CEECEB0E473256470240E540FDDCD458AE,093478759640746DB41416970ABFF3CDD0DE2528FDF803CB21CA2B1F9CB5A148],[18B6446D00B0B32CC48C0E236DF86742A374956E4845E9C55332812338F6D947,19236CBDF5A8F61F0C76868B0CF5C4D55CC6BDF81E583BD622857DD2CED95852]]", |
| "FP4sub" : "[[1BCBA58F766AE029CA1FB7442F95826C50CF66E2AF66FF61AB03AF16F955DAB4,0B1F21AEF2DADDBBD8947894300251C3EC6B152B05E0CFE381B15DC9B1338C0E],[03FAB30DD594D01A65AF16D56DF08B79639F29C9C4547840314AB11195E387B4,1AA5F8CD56EC11CF51B7C4DE81DDF3B4883440599165B480F403111E6D584D17]]", |
| "FP4conj" : "[[2152DFDB15929E90AA5DC2C6324655043754C8A6E5B2F7DF7D80E2F17F46FD05,1ACB878A722FB59FFCA9C8CD6FA373055361B1C51A113B169C9BF8CFBF65B46B],[18B6446D00B0B32CC48C0E236DF86742A374956E4845E9C55332812338F6D947,19236CBDF5A8F61F0C76868B0CF5C4D55CC6BDF81E583BD622857DD2CED95852]]", |
| "FP4nconj" : "[[02AD2024F2DD8B7D06601C9E481D11CEECEB0E473256470240E540FDDCD458AE,093478759640746DB41416970ABFF3CDD0DE2528FDF803CB21CA2B1F9CB5A148],[0B49BB9307BF76E0EC31D1410C6AFF9080CB417FCFC3551C6B33A2CC23247C6C,0ADC934212C733EEA44758D96D6DA1FDC77918F5F9B1030B9BE0A61C8D41FD61]]", |
| "FP2sc" : "[09A0BA19D6751113F480EBDE8F0813EE8292B40B290F2A4495DB7A5CDD2A301E,1997B8EB265D7C938861C341CC33066E40CB99F45F303E21450891C84E5D986F]", |
| "FP4pmul" : "[[1BB7FAAD58D98F37515EE8B861B772668E9E0C4F04D22E4004B38B1CBCF9B7F7,2088F7432FCC21D24FD55958A174A2290A59157DE64FC80A206963FA71A9AB67],[02F8C7BE11ECE6BF83A2288EA30E3D568BE014AF31EE0FDDC3E0D0079B985E4B,01ABB23F84B94D3A7B888985A1AD841745B7936B716F4961BBF42725BBBF7A70]]", |
| "FP4imul" : "[[194B7F6C3CF9FC19973D6CEB59EF1F9770939DD14EB022D8BAD11FF7E8C9F2FB,232E1E29B7DE8264912B646CC9C6FE6F0507193838326E96F5A39B6045602646],[0926EE4C168DB1760009659FB748976EDEED2F112704158FEE68674130769BFD,07724D0842ACA5ACE05F84013B532123F9A48CE9CEBACD4CB11C7482D8EC9FD1]]", |
| "FP4sqr" : "[[23C6BD3BB6EC0661B343E7F416D6E63039464241CE44F0BEF18A2F9B8C92A250,0676D8D437E31638418AE238C36643C8058658CE10230ABA361220909561BD4A],[06A86BC2725F75B68A90C5B106DC06057B6B329EF8AA98DFCACF19012737A986,13CACF29CD14013654ED471356F6E920057F8B9BF8EE7CA6C1C4990F93326E08]]", |
| "FP4mul" : "[[1C899BA9EEBC9D86B91363299991BB192019CF26F96AA810BEAC7E9A982C2063,2303517330D95E78A5B071DEBAAEB3D810F1BC116EE06C4B60CB2FC2EB53A5C1],[0BE0AEBDA54610B6D5A68EF390034A2CC87BF5BDF3852F7093555AA22981D408,06214BCF6CF6A3983B546FDEFE1C77102370A30F5B6181E107AAA4CAA1C71F4A]]", |
| "FP4inv" : "[[1B00062E8A2C69AB0F256C11F754399A7EB6EBA63C24EEA2E14216397A9098EA,052C0730AD110C9922DB33CC913B3E63B2AD2B177698594E5E0BC7D2B1225DCA],[0766398C93512CA195FE045A6F317D9370D54E140F4CC8F7D20A342FCB873965,024696BB0903BF1C7CA736BDA23A9E3D9F5F1E362348EA6076FEAACC0300EB50]]", |
| "FP4mulj" : "[[6D2850F4F842F247EA78679EFD5D92B9522889D6125210CF52FCAF95E27F0B,16264ED51A86AACF90792A1A79D8A18E48445A75C9745828071448E8B06679CD],[2152DFDB15929E90AA5DC2C6324655043754C8A6E5B2F7DF7D80E2F17F46FD05,1ACB878A722FB59FFCA9C8CD6FA373055361B1C51A113B169C9BF8CFBF65B46B]]", |
| "BIGsc1" : "1080B96B67C5D8CA4EC31D909868A4CD4552C47156F9C1FB783EC83ABA98521A", |
| "BIGsc2" : "59", |
| "FP4pow" : "[[1AACF8834B8E48EFF1051005097D0573E4D1B1255F19438E713EFE743A4BDBDE,0D8FFC18A0E3A7D9CFFBE4A51DF8AD8F05353BF66AFC745BBEF3DC941720EA0A],[0944C769ABDBAC915CEC7E3916DC98C4BE00276DC751489BD200E7D1F373C459,0A3E0EC319580F2D7BE01AD5715142D467ADCDABA8E6A49CC1646EE2F08E1532]]", |
| "FP4frob" : "[[2152DFDB15929E90AA5DC2C6324655043754C8A6E5B2F7DF7D80E2F17F46FD05,093478759640746DB41416970ABFF3CDD0DE2528FDF803CB21CA2B1F9CB5A148],[0825884FEB28FAFCE1F66B1FB2B66311ECDF213300E05B6BF7703A0E51C93307,18FE4707E20EE2649EB840B98F292A0004FF4513551BC0599AC5A5375F4142F1]]", |
| "FP4xtrA" : "[[1F4C79750FF418EF0BFAEEA566D18C0B76FDA63C91D9F209349E80E9043D036D,06377AD4F832A00931A6B685C4C909111DB634BBED8DE3B233EEB7DBF95C3A9F],[0F44B9302B9980D60D62B43688B54937F8819116DA6046B11A0B100DEFAAB447,1D1958B2C1AE98D1B6BDC33BE973789F4254020518A286927F36B73F74AD5EC7]]", |
| "FP4xtrD" : "[[0520FD859436F34E0F4641CC2CADA2FAEEDC87E21AE83FE1B4EE8DA7EA1FFDF9,18DFC9BF6463FF13A9B30F66D8E62B63A742A3200C13125079A676CFCECCFFDA],[1D3BE2E881DE637862F468331FB205267D01B59E98314318A1365E996D80A25E,0583F5ADEA323F05ECBE1961B76EC6487031E699D44743DC3B1FC159519B1317]]", |
| "FP4xtrpow" : "[[1AE8E56A00BDD9DCD685F846368DFB1C467F931DEC25B6EC610B5B87A1B492F9,0E84B4E51953C71892242342B9FA356B21E588EF7EBC118FA188D2F8A479EA97],[0FD0BB5228130469A8F2EE2ADA354D3F9F2444983D1A8FA0E32E9961CE1D371D,063F19502987A003B3309A264FEDCE852055024777570FC5F71988E0D11500C8]]", |
| "FP4xtrpow2" : "[[1DD2FE48081717343171AA86D9362A912F774F57A0E0282FE86013F5376212D6,1668BE2C829A3D43394B51F4BBDA0ED57968B84DE8CDA5D243D66261AC1C2B1D],[13F9AC7CFB468467CAB7DDC60039CC477F58A472CEC697E061E89BD9F8A67CB3,0B05E09A565A200309FA3C07B783216932055BEF1682619220C4F3EA8A7FA072]]" |
| } |
| ] |
