| [ |
| { |
| "FP41" : "[[3509A9B63F60F72B7019E342F9050E65CE2856C304DFF0E67572173F5ED16EDBA61465BDD371601472607827E86AB6E2,0C6ECCDB9F5BBBE732A491D828109C50A3DA4DE5D8F3AD6CDD6B67F4A8968222434FFC1A98B3FF0A458D32403CE012BA],[3F51786DE221708E00EA374623F9CBA4AE613E59AB496B778DB4094D20585736D885E8B3A83EC5EC392203EE22E2998D,109E3A0294D5A6C116EF81D3875CD8C043E3F3396BC9A5CADA2A440984EF06E29D619F27DB3982BDD86966CEECAD70E2]]", |
| "FP42" : "[[18EE3500F1FEEAEFE5227937FF93A30640BD878FF032F562328E0A2762C93C385E1DA0E18E44B0AD711AF47222CED905,095402DEEAE8D7AF9348ED05A446C9B6377A032B6E4E12E5A75709AD1D719CED8BB7AE542606CDA5F9A45350D76C73F3],[0B2ECE0B5CDC1F56F80EC1F102005C0C4BD9FD96AFD52D152E2911ED9DDBE9A89FB3A3F796A7EE7B79B5B80DE97442EC,1B3EB7A7E32AB3C0598ABB58E2EDBA436803BFE1951FC4905A7B3EBE24F9920977FDBFE795332BD4C00A50CF966C48B8]]", |
| "FP121" : "[[1ACDB3A76776386438355FE34A9493E67AA565C3EE920E6A42EB2C937E5724FEBA63ED4B6128B7B44D20488E82D9E595,1ECCB64AC2C8BC805462A94840C69636256F2CE0CE9688BB965E1468281BC7AF4DB04006DBFB9F127E22CBDE1658D490],[29126B4CCD8459D5B86BD9D1E6D34A702E132EF80A4E39E7ED2F61EA14BE8C69215812D50FFAB209AF1626DA62049CD2,4820AF05B7215E541AF53548E0C82A510A305A7108D5A92EBCF6B1EC6D4C5E22AC0E43029A098025317E68A764C59D0D]]", |
| "FP122" : "[[1ACDB3A76776386438355FE34A9493E67AA565C3EE920E6A42EB2C937E5724FEBA63ED4B6128B7B44D20488E82D9E595,1ECCB64AC2C8BC805462A94840C69636256F2CE0CE9688BB965E1468281BC7AF4DB04006DBFB9F127E22CBDE1658D490],[29126B4CCD8459D5B86BD9D1E6D34A702E132EF80A4E39E7ED2F61EA14BE8C69215812D50FFAB209AF1626DA62049CD2,4820AF05B7215E541AF53548E0C82A510A305A7108D5A92EBCF6B1EC6D4C5E22AC0E43029A098025317E68A764C59D0D]]", |
| "FP123" : "[[010437CE7CD64C1E261506D5022C98A14F3DFDF8A5CDC6074092A7128DA544D5FB1677C8A6B631B0CF719DEE1BE99991,54246DB7D41FCFE540B73A93F2547DA3E146F426335DA3D8D2BE8FF13327DC4812D0BC079F10FC6FAF51A81088F387DD],[12D6D8A46103A1F1647A698816267664F79C0495421BEECA43B83C82A83F89686EA803C0DB600D79C8F9DCD5175DAA24,3AF6FADCE60CDFEB2737BD430A0F5D12A3D8602B618B89D5796D0BF48EF8F8263A9E2B6828DA97AC5AB6A4F929052A47]]", |
| "FP124" : "[[361D23655A4FF1689D07181AA0847A5D9CA788B7CADD6AD8172DEECC28243B9B73C6597DD1AE994DF5827A032FFCC7B3,1ACA6F564A4FEFF72E3AD34A94F0B35D68B39F06FC1B8C054C3FF6E9109D2DEBAC5EABA3BA1436D1F2F60DD3771B1FEB],[4CB07145E916D5CB846FC020C0BA1970F0D6A2A0CB715D4C176E0EAAA1CABDB21D1E90A9CA454ADD77A32B08BE941241,4876971E6C13B522D810C223A1B1F9A060B3E590EAF33608D402B87C13B62407BCAAB04F357DF536C8673A26B0610AB1]]", |
| "FP4add" : "[[4DF7DEB7315FE21B553C5C7AF898B16C0EE5DE52F512E648A8002166C19AAB140432069F61B610C1E37B6C9A0B398FE7,15C2CFBA8A449396C5ED7EDDCC576606DB5451114741C05284C271A1C6081F0FCF07AA6EBEBACCB03F318591144C86AD],[4A8046793EFD8FE4F8F8F93725FA27B0FA3B3BF05B1E988CBBDD1B3ABE3440DF78398CAB3EE6B467B2D7BBFC0C56DC79,2BDCF1AA78005A81707A3D2C6A4A9303ABE7B31B00E96A5B34A582C7A9E898EC155F5F0F706CAE929873B79E8319B99A]]", |
| "FP4neg" : "[[205BACDF254A778A3053CA8126E5841ED284EF69EE85B42B36BFA0C20A8FB618D477D96BB6F3251767D6A53C9D3FF9C9,48F689B9C54FB2CE6DC91BEBF7D9F633FCD2F8471A71F7A4CEC6500CC0CAA2D2373C430EF1B0862194A9EB2448CA9DF1],[1613DE278289FE279F83767DFBF0C6DFF24C07D3481C399A1E7DAEB44908CDBDA2065675E225BF3FA115197662C8171E,44C71C92CFD5C7F4897E2BF0988DB9C45CC952F3879BFF46D20773F7E4721E11DD2AA001AF2B026E01CDB69598FD3FC9]]", |
| "FP4sub" : "[[1C1B74B54D620C3B8AF76A0AF9716B5F8D6ACF3314ACFB8442E40D17FC0832A347F6C4DC452CAF67014583B5C59BDDDD,031AC9FCB472E4379F5BA4D283C9D29A6C604ABA6AA59A8736145E478B24E534B7984DC672AD31644BE8DEEF65739EC7],[3422AA628545513708DB755521F96F98628740C2FB743E625F8AF75F827C6D8E38D244BC1196D770BF6C4BE0396E56A1,4AC4D8F0165661B65DD2743EC459B1017C8D7984CA0F864C2BE0BD4CC95699CD9FF01E69D06ADC14F2963363DBEBD8D5]]", |
| "FP4conj" : "[[3509A9B63F60F72B7019E342F9050E65CE2856C304DFF0E67572173F5ED16EDBA61465BDD371601472607827E86AB6E2,0C6ECCDB9F5BBBE732A491D828109C50A3DA4DE5D8F3AD6CDD6B67F4A8968222434FFC1A98B3FF0A458D32403CE012BA],[1613DE278289FE279F83767DFBF0C6DFF24C07D3481C399A1E7DAEB44908CDBDA2065675E225BF3FA115197662C8171E,44C71C92CFD5C7F4897E2BF0988DB9C45CC952F3879BFF46D20773F7E4721E11DD2AA001AF2B026E01CDB69598FD3FC9]]", |
| "FP4nconj" : "[[205BACDF254A778A3053CA8126E5841ED284EF69EE85B42B36BFA0C20A8FB618D477D96BB6F3251767D6A53C9D3FF9C9,48F689B9C54FB2CE6DC91BEBF7D9F633FCD2F8471A71F7A4CEC6500CC0CAA2D2373C430EF1B0862194A9EB2448CA9DF1],[3F51786DE221708E00EA374623F9CBA4AE613E59AB496B778DB4094D20585736D885E8B3A83EC5EC392203EE22E2998D,109E3A0294D5A6C116EF81D3875CD8C043E3F3396BC9A5CADA2A440984EF06E29D619F27DB3982BDD86966CEECAD70E2]]", |
| "FP2sc" : "[2D3CCE264CBC893F6306D396ADEE1E97CFB039461A8CEC5536665E0DD3C2F1821ECCBB5CEA16D8033B4B3C297F6B67D4,0FE52E585F75AF49F2733FE6BE166A1D52175EB5A7EE29B529C52068A2C60882332275B42CC5104A7CDAE853FE0D4F89]", |
| "FP4pmul" : "[[147FEB726BE7EB94C38E9789342D0B828E8C0ED6C9DD61496A0A137B7403B33F1895C20A0BB9F2D772098FC0A6251C30,2D171E03F58C44B7ACF840EBDD5A80164C077A6EB72683907CD253759366BEAE4388D769FBFD30E0EC86D7D9E5A9429F],[16F860DA8026DD7F35F3E76FEDE9A4074731AEBC6FDF892EEC9B32A7CDF5EECFF915AA49CA9617F8650F68047002AB1D,09B48E87BF1131A58548656344647A1C83E81E37F297BA238F9DD5DF62F0257BF41FE8EA24EF9B5FDE3BF25AF6B4FD08]]", |
| "FP4imul" : "[[00,00],[00,00]]", |
| "FP4sqr" : "[[14D87786224BCE093AFC52782BBD5287778E43EACDB482FE0EC1991C94E127BF5950C559DD2B504C2FBD27DB5EA9D936,3B2F7DB115092948752BBBD4BEDD5362753A014BCEDA42B583AF9D91D355E9C09D58BA86956FE74F78EFF1CEC707D5F9],[4796504DB958A9AD762F7ABCE9A8E7F326F40023D272EB81B9EC652302AA9E72032C94271675B21D8977DCC263CE4546,1BB0D7C2AA709F1AE76D1D50B23751B299E3DEBA60492CC68B3D8670E2364BA072B70010638FEFB2233FA1C8523B49B5]]", |
| "FP4mul" : "[[14E276BE90672D735C6E9AF1015C64957609AA989182E39C9250035FDC02772CDC4F4AD6D8EA43F8250EFA2321B3728E,192F96209EF882BDB41F117C578423AA7ABCAB6967851C3F7ED966B689598299316ABB04C3CFDD4794EC1EE7FDD0E48E],[163437280BD0557076B3910F0606197E9337D055D5C8153A4EB174F2C9E2AF34ED6397D47D44C62574352A2268858703,0766154A93EFFD5B6D05F26439733B1139120685BA6E4060636C53AA09B5A1879C1D0FFF472884221D0F21150BF26D80]]", |
| "FP4inv" : "[[2B08EFD087F3B151341C2C7CFE4A55CD4FB724D575AC851D1EFA4AB3F748D1C57005691BBB235D0ED9E4B42FBFFA8656,31819B4932B3CC870B2B32B7F8AA3307F92BFEC3621E37CDF36B61E4FA2081EADF82F814F75E32D6D39311AB83396C45],[04357AFB472A566219E04DE30D0624F5ED86E8EC7A9DC6C0645DE6AFACF0029D26910D9739E81B2263AFA4B7353CF5D1,016CE9CDE8F8D18022AF33C05B9337F432D2B528BD49E7C2236E468573508035749A197A55FEF1DF93CB9A067CB3FB95]]", |
| "FP4mulj" : "[[2EB33E6B4D4BC9CCE9FAB5729C9CF2E46A7D4B203F7FC5ACB389C5439B6950543B24498BCD05432E60B89D1F363528AB,4FEFB27076F7174F17D9B919AB56A464F24531931713114267DE4D56A5475E1975E787DB837848AA118B6ABD0F900A6F],[3509A9B63F60F72B7019E342F9050E65CE2856C304DFF0E67572173F5ED16EDBA61465BDD371601472607827E86AB6E2,0C6ECCDB9F5BBBE732A491D828109C50A3DA4DE5D8F3AD6CDD6B67F4A8968222434FFC1A98B3FF0A458D32403CE012BA]]", |
| "BIGsc1" : "4BA623F6836F4DF23E4CFCA00EEC7C61383B280DADE74A8406EC443FD11E73683E65B659008D46A3D8CE42214B745B7F", |
| "BIGsc2" : "3E", |
| "FP4pow" : "[[2B0B5A7B68D6F9C52A1D0669224B04807EF6F0657174F0AA5B9E444FE671246BDB7302DD960452F4BAA24C378F2336,1AD5A0B3B49A09C9953B1F3DC5BA9DEB60AF790361AA0115E864A49CDA5376011E79462591A284C2B0CFDCECAD45542B],[543E2DA9161721CA266FD6F07178A96A3A60D6C24200DA2545FE3532EF594E66BB7A3C90C8830B40FF75BCF651AE95E4,3BFBDB938254751474692382DA6DD5A9A82B408A460006E7060E373F46CA48E14032C40DC7CEFBB1A9BD472C1159C731]]", |
| "FP4frob" : "[[3509A9B63F60F72B7019E342F9050E65CE2856C304DFF0E67572173F5ED16EDBA61465BDD371601472607827E86AB6E2,48F689B9C54FB2CE6DC91BEBF7D9F633FCD2F8471A71F7A4CEC6500CC0CAA2D2373C430EF1B0862194A9EB2448CA9DF1],[3FA562B4FE1FEC3FC163DDA073527C5E50676C136AD8521AC71441B80B07850C4D4F83499AAD0034A5A8EC29C2EDDAF6,29155F3E7AA10CB4D7870A2D0F4CF9B05F067E6DCCC821E1E0F27DCF500B11A277DFD7E9ABAA103E342452F32D3544E4]]", |
| "FP4xtrA" : "[[0486639FEF9262E0BF68D09FE92B2A3C03AF12D29674D273AAC057A6FF2FD70CB8B7586C36DBC4C5D441DDC90DCBDFF2,2A3979D70B851B9BA7B405FDCB698D3919A1E8C8DFBA04497F54ABACE46DF07B06FD43F9774679361726B46AFE3A8185],[04F4F7EC920F82CB6E54BA88E6B10EAAB80367BE542D535BFE5197F0C20BA7E8F18C3E6B429CC36543E072574AF87B50,23061A3A38D53D2E8F5564D1A0D3EB83F1A0276AD6BE035F2F8910699C493007CFDD7D7FB3C189D4B4018E4D5D0E5EFC]]", |
| "FP4xtrD" : "[[2A7AAF08354E67FB3639B6599DC8407BEADC91B75A4642D00F229F409F6EFC87B43907C0AD154F253354F0137F1C1D,2251E3F9D651B17A0FE298246EBC1AC12D8565801CF2E7DBC8D8CDA88228E57C16B8C2516407E93AEDD58D4E4D47B085],[1B6E93FEB444AD5E37288DC0F1C75A33425BF07D423A784D7CF107BA709902F6BF1FE73B522A339E474DA9D59E3E170A,3CED4BC7D41BEC9D154C20F7C0F1033321ABC52D37DC785C3F920E83EC145965AD7A3E601A02F52DD4126F662B962B79]]", |
| "FP4xtrpow" : "[[228BA6A3C449028F998FD02A0E58288DA3B4D6250B5B789D78ED0B22E6EBBC0D94E20D4AFB73DEE534B6E62EEAD1ECCA,4E573489D7CA34108B07FB0A32C458E4349B3F11E6C3B0315D89AB0E16A79A0952C20E27E5BB3C9A58C7F0F340B09997],[3A84CF180E4E6E6903256F33D80AC70FB5022224655FB7E3F8CADF51FC25BA40D411C95B8ACF0A6CD4675833536EA703,0816848096BC892478D3993E1B553628963DA607F812B8CC94CF6A67459846C56AB852431D6F80AA3171FB9029383937]]", |
| "FP4xtrpow2" : "[[094DE2321D11C47CCB045FAB59C3FF3B304D2AA71CFF8EF73CBC84A34C9467B7DF27D54AA7DB4BC41BE03D8BBB0D7282,514DDBA883D73D025BDAC9C636E07BC4972943EF03AD20D28ED08CD771AF4B711EFF7CDE978775C530F5CF9B2E7E023C],[29A18CBB93423E85E679E8148F058730E12E607FC475BE6AFEF3F47786A9E2392FE1D0FEBFBC998366296ABFF5DCAB54,420C5821B7B401298A77895D6B6FBD6B9DE8DE1EA6BF37ECEEF9656F8A0EC1D2FE09E39867B8A970CFB3F03AF0749C92]]" |
| }, |
| { |
| "FP41" : "[[2E25E02940AF67C78BDB412B439AD8DB18820B73B2284BC5293462566723B5E2ECD3F47CA45F8BE54F017849DABAB820,543B6A2FF704EF6C893B8A96AE5F6B443CA5856F3911B32510C284F9677948F0CE84E89943835D74F10CEFA17E154C2E],[1DF09FF19BD59072B30B3E345F3FE1908780B735D31DDAA3A49B6AD573B9310C66FE6581DE3BB46CDD98771D1E6C8A3C,3245216AF32A323562CE765CFC63A867F08D601AA5E402EECD8BA2B3442F6A7DE109051FAEB131D843BC6C95FCC6E2E7]]", |
| "FP42" : "[[3D384CEC36933FB0D6A7B67C134B1196E77EFBFBCEE18BA8638B741EDD5EDE03DFA01D55B9C9A8CEC733C7B0FA803B8E,319D848B32BA476EB45B5F6A1F7DB7C85CBDBBBAE8E3DFE2777A4DE047C70AC3B1B900595ECCFD3A41695D4EC44C59E2],[424DD163A2D7327596C7DA690CCC0EB9E456996935939C5B7F2F289A8B56D45051735BBDE450712B472B32537173070B,016A0BB661920EF4BCEEE663EE322FF2379F9018D0C39D0A12D87E10EDE1F5F7343AA8D2A98BF29F7B006ACAC1DA81DD]]", |
| "FP121" : "[[4B5547521EE2B4C94115D21C1A59761CE242D06132089B14F264AD2BC75D85CA2F1C7F413F49BF54AE0D0C89001EB915,39227F9B1C09E1BD21648D73D11DDB2878225697039A515FBF39C1114044EC410A4B53B81F4C800C9AB670200D8C49F5],[01C0AF1A754F79FE8F547C0C367FB38C90D1066D0519602FD3DD47ED0D5D3D27A535723986CB849B69CB321B791E8937,365E222C139AD28DCDF4F63F650023DB741A885D8E798A9FDD5D9E63F34C9BB39C73968F2B1ABAC99311C8CBEA8615DB]]", |
| "FP122" : "[[4B5547521EE2B4C94115D21C1A59761CE242D06132089B14F264AD2BC75D85CA2F1C7F413F49BF54AE0D0C89001EB915,39227F9B1C09E1BD21648D73D11DDB2878225697039A515FBF39C1114044EC410A4B53B81F4C800C9AB670200D8C49F5],[01C0AF1A754F79FE8F547C0C367FB38C90D1066D0519602FD3DD47ED0D5D3D27A535723986CB849B69CB321B791E8937,365E222C139AD28DCDF4F63F650023DB741A885D8E798A9FDD5D9E63F34C9BB39C73968F2B1ABAC99311C8CBEA8615DB]]", |
| "FP123" : "[[20A762CDFC8D87C0F89526C8B53B4ECFF720E85E19F32630DB5B449987643B2A9264C80D3967F4070C1988901AB742BC,2272ED2A4F4C4F8574542A1C059864B333321351FE3113045A45AB792F60A452B19DDA776353CDC59496B1865DA29B3A],[3F2567571E4E303E415697CBAB05A4023A72800BC037746C3E3063B2BE6B6C3710631C914AE0426953BBC879D3B95968,54A5203A8FB1B85EDE1AC189E5BA72A9F69DE54CD5C508430C8D4D466BE0EB29EBCDC9892DF8F91AF2C4DDC30B292398]]", |
| "FP124" : "[[485E3BC3D4AE8EB9E617FED1D0F8E6A0E023A93719C6AD013BDF9127401CC1AFFCF8737E8E891EE24BDDFA3CCC88AB9E,426DBC84DC03E249F1262C3DC6F2DA532A3E0D416AB7B4852666280FF2C6FF9975DB33E45F642386A000C3D079F9E016],[15668D5A1FA4AB176A8A4C6D6B86C113CD362A32FB8AE296272480C397516FB9BBAF0AEBB0EB7F5CEEAD961E6F4733D3,50E153ACA9C766149174C2247741C7DEB8EE23421B04F7A15B2C641B06EFADF6D65EB7D25CC2B092787257C434DD4F47]]", |
| "FP4add" : "[[15F8D680129738C2C21549E336FB57ED5F53C1428DA4325BE08E1E73DB216EF251E7D2A8D3C4AF883BFE22964F904303,30739825C513C8259D293C3CADF29087F8B5FAFD2E8FEDF5DC0B1AD845DF2EC005B1A9C917EBD583583F2F8BBCB6F565],[0AD91ABFDA015432A9656AD94C215DC5CB2A0A72154BD1ED7798DB6E95AEE0683DE582163827A06C4A8C8C0C0A34E09C,33AF2D2154BC412A1FBD5CC0EA95D85A282CF03376A79FF8E06420C4321160751543ADF2583D2477BEBCD760BEA164C4]]", |
| "FP4neg" : "[[273F766C23FC06EE14926C98DC4FB9A9882B3AB9413D594C82FD55AB023D6F118DB84AACE604F9468B35A51AAAEFF88B,0129EC656DA67F491732232D718B27406407C0BDBA53F1EC9B6F330801E7DC03AC07569046E127B6E92A2DC30795647D],[3774B6A3C8D5DE42ED626F8FC0AAB0F4192C8EF72047CA6E07964D2BF5A7F3E8138DD9A7AC28D0BEFC9EA647673E266F,2320352A71813C803D9F37672386EA1CB01FE6124D81A222DEA6154E2531BA7699833A09DBB35353967AB0CE88E3CDC4]]", |
| "FP4sub" : "[[4652E9D26EC796CC55A13873503A59C8D1B055A4D6AC652E71DAA638F325FCD387C0165074FA68426204CDFD65E52D3D,229DE5A4C44AA7FDD4E02B2C8EE1B37BDFE7C9B4502DD342994837191FB23E2D1CCBE83FE4B6603AAFA39252B9C8F24C],[310825235DA9CCB2BCB1118F725E655B43D763F990EFE359D19DFA3C51C381B0901748ED844FC86D70A4622E32A433DC,30DB15B491982340A5DF8FF90E317875B8EDD001D52065E4BAB324A2564D7486ACCE5C4D05253F38C8BC01CB3AEC610A]]", |
| "FP4conj" : "[[2E25E02940AF67C78BDB412B439AD8DB18820B73B2284BC5293462566723B5E2ECD3F47CA45F8BE54F017849DABAB820,543B6A2FF704EF6C893B8A96AE5F6B443CA5856F3911B32510C284F9677948F0CE84E89943835D74F10CEFA17E154C2E],[3774B6A3C8D5DE42ED626F8FC0AAB0F4192C8EF72047CA6E07964D2BF5A7F3E8138DD9A7AC28D0BEFC9EA647673E266F,2320352A71813C803D9F37672386EA1CB01FE6124D81A222DEA6154E2531BA7699833A09DBB35353967AB0CE88E3CDC4]]", |
| "FP4nconj" : "[[273F766C23FC06EE14926C98DC4FB9A9882B3AB9413D594C82FD55AB023D6F118DB84AACE604F9468B35A51AAAEFF88B,0129EC656DA67F491732232D718B27406407C0BDBA53F1EC9B6F330801E7DC03AC07569046E127B6E92A2DC30795647D],[1DF09FF19BD59072B30B3E345F3FE1908780B735D31DDAA3A49B6AD573B9310C66FE6581DE3BB46CDD98771D1E6C8A3C,3245216AF32A323562CE765CFC63A867F08D601AA5E402EECD8BA2B3442F6A7DE109051FAEB131D843BC6C95FCC6E2E7]]", |
| "FP2sc" : "[529A3E97CFBA845CE5E0A46CE864D0FD2F2D545BCA8AC497B5FC5118321336B833E6F04EBD0B45E139EC0C83CB206379,2F8FB8B90D0B2B3167CD4C18D4C069B285FC319087919C5326FD78BC22886ABC08B0E46B155623BF20CB61A69B3202AD]", |
| "FP4pmul" : "[[0ACC471507AE06D46CA9B2D8F822891129DF58DB5999C4CF8B374FEB245F0D9AD72F84A47FB080502E09A785E4B1D6E9,2AC750180A18FE6B9E9A9C68CC54A812A93C8FBBECA250F9F17238E11C24414A2BA054B6221E507B97EC3C3964670BCA],[02E3D7C97E6FB91337582946DB990B4560762C6DCA052A2AA956A4007BE02DB79F4929003E2A91D8F43D004FCE80951E,28263B5B2E3315CFBC7451D6032FE56B63485280BD27274F49C7D9F4A63899CD1F1EADFF76921A6832714D1440350BB5]]", |
| "FP4imul" : "[[2E25E02940AF67C78BDB412B439AD8DB18820B73B2284BC5293462566723B5E2ECD3F47CA45F8BE54F017849DABAB820,543B6A2FF704EF6C893B8A96AE5F6B443CA5856F3911B32510C284F9677948F0CE84E89943835D74F10CEFA17E154C2E],[1DF09FF19BD59072B30B3E345F3FE1908780B735D31DDAA3A49B6AD573B9310C66FE6581DE3BB46CDD98771D1E6C8A3C,3245216AF32A323562CE765CFC63A867F08D601AA5E402EECD8BA2B3442F6A7DE109051FAEB131D843BC6C95FCC6E2E7]]", |
| "FP4sqr" : "[[0616D4753B8745DE8AE813D12F676C4FAA1CF3034E88B908326FE4D28E7B2C8BF28023356A4575751E6235020329D581,2779CC6AEF0FFB1C89F724271AAFEFAA784236AC8FDF604656F8E74AB236736DA9855154BA10D171A0142E0C8FC88D67],[460FEFA910413829E7F27780D4D0D403D6E61CF4D7A0C47F76C8257D58B3F032BB5AA5595D11A558AA905F5FFD040CF3,03DAF9C0531AC6C307260746A4CA84B7BD604922C8243CA1ABB6EA6AB5C6DBA68DB2C61037FE3CD8BB65647B1AA92A5D]]", |
| "FP4mul" : "[[1AC67209427A098FB860B0ADE07056B2047CA048F300FDBC2D8B9E7803D600874E0645544475CAD7E7EA1C02BB98A952,3CB903A937218993A48EBAF14C40D4656BE801606DE38A06AD74257D38585E508A5F1E3757A8025EB4F7EF126E1016E3],[EB0DE932AEB29922C4383CD1A557FED73093CF2C2DFC3BFCB0B9B0D6C1D79B38F591D2474A3FE75C47BCDB95F1BEAA,327E74BEDF950F3D611FDE44FAAAA0362FD2664311A7A9881BD4E205188D374EE5C061CE26466A57EF56B3915F173A7E]]", |
| "FP4inv" : "[[37488CC8D2A76C91F35B60C55BEBDDBFEEC89C0DD54BBEBAAA5C5EA19D8DFB17421A254E57755D02D42FD5B78266B78B,2707BCB22FAF7DEE94D5F08FD99F2B9F3DA450547083DA3CE778AC94D4864009DCD059987E3842FE127D80BE31F6D856],[321D97620538E5CFE3F2E6620434C35798EDFB4AA4D35F851189241AF7809AAC897876C08EF97B81835F7DC5D9E39C19,0CBAD678FDEEAB9B83599AD2743F6C5D6E5BF37B025D707B337C1CCAA540009E67B93E77C22982F156859F2E625CEFBE]]", |
| "FP4mulj" : "[[4110D51C0D56CCF2F0AA759B82C6CBAD37A09D48209F7CC68341802398EAEB8300819F8BB9EF07C0741327EBA7505800,5035C15C8EFFC2A815D9B4915BA389F8780E17507901DD9272270D88B7E89B8A48076AA18CECE6452154E3B31B336D23],[2E25E02940AF67C78BDB412B439AD8DB18820B73B2284BC5293462566723B5E2ECD3F47CA45F8BE54F017849DABAB820,543B6A2FF704EF6C893B8A96AE5F6B443CA5856F3911B32510C284F9677948F0CE84E89943835D74F10CEFA17E154C2E]]", |
| "BIGsc1" : "0796676F84535C733A799A1BF2069E7842C3712F5409F59319A0F7866443A8AF72E0F8407ECF35A83F9438EC1644D75E", |
| "BIGsc2" : "39", |
| "FP4pow" : "[[1739909389FA4E0253C3844DEBA6B08BCC2EFE7A9099969E558DFE4C71BA70C202E88D1ED91A8698952A516CFEF41F16,49835C742A48E023F37601EB5EB74BB5AC3626F09E00FCD54A55CFF21313CFAE338B3733604D8DD925D945462F788329],[0528F4C13501F03F775A9406B72FADFDD99E8A81CE70DB32FCF808533C60046F191ACD45A82B3CC48E80DCB342E9436F,45A81EBCEF75DADE5CBAFE97FAFD54039C66AB4EF10DB6A7ECF699D4723CB51717039843B0DF3DA30EA5D59ECAB7B8F6]]", |
| "FP4frob" : "[[2E25E02940AF67C78BDB412B439AD8DB18820B73B2284BC5293462566723B5E2ECD3F47CA45F8BE54F017849DABAB820,0129EC656DA67F491732232D718B27406407C0BDBA53F1EC9B6F330801E7DC03AC07569046E127B6E92A2DC30795647D],[0403A3BA3490C0DC3966B2A40CD6BF03607C312E62D8008492DA1CFE102402DEB21FF1D02F4B84AF3F2BD152D9EE5E97,1B3DEC91EB4F8D1D3C3D722F20FCEB0C93952161FC0CCA7BB2D340417AAC116FEAA060AAA8D8AFD6C57BFE4CAB652D5F]]", |
| "FP4xtrA" : "[[50E55B5659E35A70F4EE7153CEEB009E69062C9C0BF92BCCEDF890E5AB52585C8F01DC6ED037776B3E62F8B5CAF0A961,29EDB002848C1A7BE48586ECA3669527C93C6375E36577F57B21D9B8A8017652F6C2C9435090E996910D82CC8D257C83],[18829CF2CEEBD3F632A4F37BA8A9A46FED1DC2176356CE50A4173CCE6705DC91DF76F6FCB9EF6B2913BDB0A6EC3F5A38,079896AD6E29BDA4AD092EADF9FEECE9F405C4907BED7524A05F9A32D71643600921569665F847A5EB6989C6796B8829]]", |
| "FP4xtrD" : "[[5495C14D837F53BAB40CED02E806DFA2BA736875D1036BA1386A902892F60AAF0DF0B88F364F680234CD7F375909C697,29CDA535CA5CF9AEB85B6A81FDC63E2B4051B8280487441F8DD74D5AB6062B750193FE7547D320DF726889929EF35661],[2C8BD8F6E340EA59AD9B4625736604A0453A45338A76D4B513CD4326D6C52D570ECB31338F2489068B8A3035B43270C0,12FFE600D4C3BC782C55463C7DA74302FDCDC32B20869D6D9A9C77CFD4C48BADD53891260AFC1B5D68A720428E8C3F80]]", |
| "FP4xtrpow" : "[[3AE19159A8E464289EFD701E408CD49AFDF31396DE73BCCBBD83D86061C509DEAAAEDE0FFC8F249635217B1FE041F36D,050E85EEC55FD2610008C0989DF7122813D551943C92A3DDFB058E9294FB33E0813E5396A3E12869CDCF8276BEF6CD8F],[14E702F87DFA6E8D56636E57D3F81837761A06BCB327343979BCB1305E46A17683284EA0120BE91285879327C09B9C52,4BFEB98A4B836FC57AA79AD9BF6D8458D54B68BC975E24DB5FF700D1E5B5C5F15469507B33D20CD0165BE5F88A9AAFEF]]", |
| "FP4xtrpow2" : "[[1C92255A0F8F781C1461AB2718D3F57F01736831D8C6B549CC0F9F6B9FCA659249059E04C3FA045D8A5E499B37B0EAF1,2BAF532BF58552338AC7D0CB92485D75DB744C1102764E5D33EC9DA55EFBDF1B47C9E7240A81F3B970A44D3E6CEDD2BD],[187E2C0AD07042E96BF4DFADB646919F2161CFAECBE66B3DD1DCD8F61EEA55BC76910803E5967B448C0AE47AAC28D7BF,2E061EBF7778605439D8CBC1622F017EEEB03BEE9D42D32880E01E9AEAFC7C01D1D87B851E9A8558EFFF1CBE354848C1]]" |
| }, |
| { |
| "FP41" : "[[2BD09AD17E05393B56CA04EDAE7286998D7E38A85785BD73583ECA944FA834B52394A8133805E2A358B10C0E19C81C5E,12246D552B83E45824E4E2ED13308D6925B0D4C5E1FED3D89856FF235CA6A7807FEEE82C838EB6843DEC1DDBD0BA51A9],[0392893AC470C8CF54591E6021B59C288DCDE7565ED3A07AFB56E71BD0C648D6A1D14C9E153817AF3CA9FBC984A66EF5,4AA2FB3C5169C6BDF931447A8BA1FA1DE5E7B1F56D08C9E869A2E4F70F68444309E24B113ADC9DF7CC22ED4E3DCECB67]]", |
| "FP42" : "[[406C660E1B677DC8F4DE476C6CABA4684B73588E04005997B66A5F72C4A7B51A4738C04D081662F029980DF82E52D6C8,3FEC896B8A7F65F3F401440C7D67C01AF8F5DBEED26068D940D69E1D3AD8641264F52E7BC4DCF39CA50C0BE19807C28E],[10EF83AE650922849A18138579DED198D79DDE424AC2DB08D79EE3478E782F9FCFB2DDC994DE732E5B82ABCE986CB5D5,54E4C9A00046B1F5644D149DBB7B841F1A639231B79A92B6A601FB25795D9690484B88962B1C08BD2F3CA9674D494259]]", |
| "FP121" : "[[27B77CCFABFDA4E6BDB14964CFAD44E2AC97194CB4CEDCBB49C1B9EADEB38D70C0414BD6B0833C84E446975E7104003A,3260FE7015A1536476570D52F6678CC749430F8751FFE2A25DFEC0958521D14D55572DB70323C0B4D0DDBE19ED19FF6C],[067EC5A3FADB14811DE99F903387A8A15D958D12CC33A7693CFE72210688E9E6B711173A42251A5B37DEE4D7684219C0,43B0FEA4092216849600B6FBFB4EFCA70F1CB9E3D9D97C0862AF3F7F924628BFFE667C5E61CE5667A3330E4FCE6FEF3A]]", |
| "FP122" : "[[27B77CCFABFDA4E6BDB14964CFAD44E2AC97194CB4CEDCBB49C1B9EADEB38D70C0414BD6B0833C84E446975E7104003A,3260FE7015A1536476570D52F6678CC749430F8751FFE2A25DFEC0958521D14D55572DB70323C0B4D0DDBE19ED19FF6C],[067EC5A3FADB14811DE99F903387A8A15D958D12CC33A7693CFE72210688E9E6B711173A42251A5B37DEE4D7684219C0,43B0FEA4092216849600B6FBFB4EFCA70F1CB9E3D9D97C0862AF3F7F924628BFFE667C5E61CE5667A3330E4FCE6FEF3A]]", |
| "FP123" : "[[0B16B42347EFF0309A68F8FD240CC9FED93E510568AF7C64CA3B24D7F84B7C2C41816C8B15AF32B726B1FD1E0B38D5B7,528CC4A729926C260C6EA6C4DE7349FDA91E70CF57A34E315FA30F2E88C5F09A45E65C9F0A382FFF54370CF064FEAFC8],[41C2B7D4BE8CC8F1DBB2767FCE138CC4F5A9EF92DE22FCC0EEDD1DEE91D1369A0A4D918F0C29795E1A72C8EED1F07B28,5344ED713ECED4E56B1C29234336D540857A6666D7BE62DEB7E1B7874F8AC59FA93BFC8171E4B817677EAE3AB3C8EF49]]", |
| "FP124" : "[[1589DF799F1D6D9EB8BE765CF2702845196C0AEFF4B566C708A260A6A17512FFE843F84DDF18C8AE847D34044EDE7837,51C5904B025BC6BDB7E5EF049D7DD9FAB79DD5DFEBC4D3C7444379276062CAC87D07BD0A066CFE4586D051B1B344B7E4],[50DAB6096426D04EF66E1FAC97FE8A7743F96767290654936DC01B014A2247021EC74A8A78713086F50E7C02433A826E,3424A45E30AD808018B8C38D4EC4A0611B2865D7FF3DAD072357DB6DE9C593F6E719B507F0B846EDE45F5886CE8E52FF]]", |
| "FP4add" : "[[16D7AA4A34C1484EAB3A9E95FB33987D38444B09682071F962777205AAEEC4DAF0412936B5B7C067A811FCA1C270427B,5210F6C0B6034A4C18E626F990984D841EA6B0B4B45F3CB1D92D9D40977F0B92E4E416A8486BAA20E2F829BD68C21437],[14820CE92979EB53EE7131E59B946DC1656BC598A9967B83D2F5CA635F3E787671842A67AA168ADD982CA7981D1324CA,4A226E46ED0509FDBD10AB542732EBB85F9DFDFA313DB78D6373281B1F64B5DED7A1947DDB94218921287951056D5D15]]", |
| "FP4neg" : "[[2994BBC3E6A6357A49A3A8D671780BEB132F0D849BDFE79E53F2ED6D19B8F03F56F79716525EA288818611566BE2944D,4340E94039278A5D7B88CAD70CBA051B7AFC71671166D13913DAB8DE0CBA7D73FA9D56FD06D5CEA79C4AFF88B4F05F02],[51D2CD5AA03AA5E64C148F63FE34F65C12DF5ED694920496B0DAD0E5989ADC1DD8BAF28B752C6D7C9D8D219B010441B6,0AC25B591341A7F7A73C694994489866BAC59437865CDB29428ED30A59F8E0B170A9F4184F87E7340E14301647DBE544]]", |
| "FP4sub" : "[[40C98B58C7492A2802596B4561B174B5E2B8264746EB08ED4E062322F461A48F56E826EFBA5404DF09501B7A711FF641,279D3A7F05AFED19D1514CA4B5B35FD2CD683F040304101103B219078B2F68629585F8DA4916481373172F5EBE5D3FC6],[48085C21C41315005AAEB89EC7C15D1456DD4F4107766A83CFE9BBD5ABAF3E2B4CAAADFE0ABE29ACBB5E6D5F71E469CB,4B238831B5CE837E3551DDA0F01108836C3165F0A8D3DC436FD2A1D2FF6BD2A73C2301A49A251A66771D614B763039B9]]", |
| "FP4conj" : "[[2BD09AD17E05393B56CA04EDAE7286998D7E38A85785BD73583ECA944FA834B52394A8133805E2A358B10C0E19C81C5E,12246D552B83E45824E4E2ED13308D6925B0D4C5E1FED3D89856FF235CA6A7807FEEE82C838EB6843DEC1DDBD0BA51A9],[51D2CD5AA03AA5E64C148F63FE34F65C12DF5ED694920496B0DAD0E5989ADC1DD8BAF28B752C6D7C9D8D219B010441B6,0AC25B591341A7F7A73C694994489866BAC59437865CDB29428ED30A59F8E0B170A9F4184F87E7340E14301647DBE544]]", |
| "FP4nconj" : "[[2994BBC3E6A6357A49A3A8D671780BEB132F0D849BDFE79E53F2ED6D19B8F03F56F79716525EA288818611566BE2944D,4340E94039278A5D7B88CAD70CBA051B7AFC71671166D13913DAB8DE0CBA7D73FA9D56FD06D5CEA79C4AFF88B4F05F02],[0392893AC470C8CF54591E6021B59C288DCDE7565ED3A07AFB56E71BD0C648D6A1D14C9E153817AF3CA9FBC984A66EF5,4AA2FB3C5169C6BDF931447A8BA1FA1DE5E7B1F56D08C9E869A2E4F70F68444309E24B113ADC9DF7CC22ED4E3DCECB67]]", |
| "FP2sc" : "[1BC60C8AEA6711AD27D464EA80DEA6AA23415EE16E3A869BAD2540F0EA5618842865F2FCCBB99D846A00D578C0899927,441B072210145CE42E04A71E52DF616B476A2A67FF6808E0A56C1B2C64207A7C9CD30A06B95DC76F9581E98D486C1F2F]", |
| "FP4pmul" : "[[3E8F091AB08533FF8B4E26C1751897E24A8E70BE8767930AF071F084DB578EF0AC724203691B8C154E76D795EC9BDE68,186CF9769ED012AB8E536E6338E1B0BD7A16709F8842BA5F53EE3C3693DD22F23EB66371C06F26BEF20D1FEDBAAA249F],[3FE9AEC5ED3FEA232858DD7C127D143EA35C64CBB915167188A87EDF2459ACEA0AE467422E55B2A8B599DBCDF8587C14,4F2B1FE5775FAE576E7D4C9755C2B5A33F29965B75048154FECAB9B73208641D7BDE51716ADBBB0E36D36C07DECC559F]]", |
| "FP4imul" : "[[023BDF0D975F03C10D265C173CFA7AAE7A4F2B23BBA5D5D5044BDD2735EF4475CC9D10FCE5A7401AD72AFAB7ADE58811,2448DAAA5707C8B049C9C5DA26611AD24B61A98BC3FDA7B130ADFE46B94D4F00FFDDD059071D6D087BD83BB7A174A352],[0725127588E1919EA8B23CC0436B38511B9BCEACBDA740F5F6ADCE37A18C91AD43A2993C2A702F5E7953F793094CDDEA,3FE09FE33E281EC651F4DB30F75961B72B221DBDE6ABEEBF271411ECB56F6391993856F8EB54B6C3BE0EBD37F5F2E623]]", |
| "FP4sqr" : "[[3305F03086CE1A500D2E8A730B9A16AB40390C71B254ED1A6D23EA4B912D8AD4E84B52201A7DF62182FAB2801BCD6A7D,1965741E07665163E912172B60AC72DFB2D0BCD2C8A9C9D92A0525ECCA7BFF0796DD703D035BC7EB9E07DF14E66A9868],[48E019618BD17D732647AD01FC7C94990658036991B9EEDFE80BD66F25FF83171B163970D6283E14B5DEFF5781632E5B,12B8B39A23547C416B90B0CA8E68D9EC697D14B4608D883BA0EF2DFCD7FDA7BE2BC7A69D0D629D1A5F2DBF8840CEB7E8]]", |
| "FP4mul" : "[[49E6AD1AB838643ADCFC00452936D631E1617BFD33AA42B72D2D2FE85399662D48ABB641765AB45FF6C162607E56F8AC,412C3F11E435FD961204982DF5BEE3D54F36F79B661B1CAABCF25A3F6B1FBA0235DAEB23700FA0EBC65772264F38B947],[27406779AE2D2F3351BBD7A4722E9F9AB66417119B1729EC7F89F189086AC6438D6A0E2D3D4AACAE95C0A78D1B8C1588,20E524F6401D9E9A54DD110F593B650140E3CBFF57F2FF5BAE9B1518D2845A1046F4CB25EFE5FDF51D6C7BDA48A33EBB]]", |
| "FP4inv" : "[[27E608A26970972D4EDF981856D4E61A1EF1E0457CCEC0C7493322D77B7FAF434AD9EF316D4FC05FABF22304202939F3,41B72B784FF452D386075F5C92E4EB6044F0CCC6E215E2C0E987B03F62D4DDF6CA52A315F4EEF09C4E2DBA5A8A85FF0E],[343101D0F4FD03A1D2AD74FB8919C3279CEDFCB4C5DB15DB35EC8952081787683C6DD5513CCCE0484A7C0D0DA40F8C7D,0250191ABA993AF2E2CA28A87ABA1CD328B0AB984ECF9E061B8540CFC0267FD68EFC373B967978C143145E95A8081C98]]", |
| "FP4mulj" : "[[0E54E493D7B270C6FB9587A9B5FE348F48937B8DE5307BA43DE5BA262ABF2988127B40B664BFFEE34ABE2BDFCC825439,4E35847715DA8F8D4D8A62DAAD57964673B5994BCBDC6A6364F9CC12E02E8D19ABB397AF5014B5A708CCE917C2753A5C],[2BD09AD17E05393B56CA04EDAE7286998D7E38A85785BD73583ECA944FA834B52394A8133805E2A358B10C0E19C81C5E,12246D552B83E45824E4E2ED13308D6925B0D4C5E1FED3D89856FF235CA6A7807FEEE82C838EB6843DEC1DDBD0BA51A9]]", |
| "BIGsc1" : "1FB7D85721DC0D250AECFFB20691D4D7206AFF5E5C8172222EF7D7D5D39DE3EB16B379009D639035DE0D30A47DA99CC3", |
| "BIGsc2" : "19", |
| "FP4pow" : "[[1D2D36417F555FD68F4CD9ACEECE7BFF4C38A3D55D5BE5624B6F4F1F03F60DD66D97A6888E1C52B1CFE7178B0FE0FBDA,322B601ACC79CCFC31B068C0A44DF64370489D459B6F8587B2B09AC5FB2F153753F697A51A21EF337C56EF04F735A61D],[2971BDD760D08024C179AB92349E2481369941FB6EBABED34CDBE612D452B0A4D45FE7AAA44C30994BD73944305F047D,4A2A48C6B976D3F547BAB9C86EDE1860AB99DA9CA095015EEFF736A7973A7F9E8A91F5E29E10E3E0EB9D6CB078927A51]]", |
| "FP4frob" : "[[2BD09AD17E05393B56CA04EDAE7286998D7E38A85785BD73583ECA944FA834B52394A8133805E2A358B10C0E19C81C5E,4340E94039278A5D7B88CAD70CBA051B7AFC71671166D13913DAB8DE0CBA7D73FA9D56FD06D5CEA79C4AFF88B4F05F02],[37F79E34C94E34975F5E4420866664AA651AB16F3E9AA434E8A11215706E47CD6A5410B4977E535D6C245D5724DEE9B3,246A544DB16B2FD2B609EEFC413A266E47360C5E67DB3EBBDC625E86ADB4C5A728E7FF656A5AA7ADB3B5F84BACEC391A]]", |
| "FP4xtrA" : "[[2E1B419E0D0F6DC7476095BD243EF095AC89FFA68816BBE76542D302DB058CF5BDCC2706240196CE15C3FC2452399360,2E0AFCA0995E399C43BD7CAA25BB74364B07C7A4FED145A78238CC8C850614DB71BF4F5A31847F74436EE99CE2AE1829],[5403C8C6E583130F0C80D376B326DF9FD7F19596502EE3762A8CB2945930CBB6F4B189E193DAD8D31D61CF83A471B27B,1079E5D30E99950217458E8A348811A9C2CABE96D4A02C75B74F1487E5BC1287E974611582640E8F810754EF91AF85CC]]", |
| "FP4xtrD" : "[[30CA1122EF6F168F00082E5BCE9F9BFCC5E9E14DF6AF174568D80D245B3E465F1BAE412334D6B606ABCFB7C86DE7E26C,4A81F0091509F7693FB5FF155A35EA92081C5973F811C739A588DFA77A8FD4FB118BDF0D86A2E00EFC66C0C1CAA0A5C1],[50052BD714B30F11CEF9E9C23FE7CCEA21F3D2164F612FD5DEB9A4A6C78C14C45EB8D2AD00986D732F32F6EA8AB00C45,5299537D617C9B07BD858BFB85C23BA3949F3272473976FAC8033FE98D6D0B4FC4FFFD95F8B753DE1D3C7CC036C19E0B]]", |
| "FP4xtrpow" : "[[232D034DF6B6D59C314D3BCB030C8071C1CF998037ED3FD55A8EF77482800756587B5EA2AF95672CB72C74F3DA9347F1,2D28188890E9D1A491BF23FD3D30772C663527BCE5D00F456B26F2F54ED7782AB938A149B9E727B03D4E3DDA9DC15EE5],[3D6F49829E8CAB6DA3707F55B31CDDED3B5EA6577903E66DFE239D7DB9D37518A4D0AB755FCAE00D324F3A1B1C46191D,3B02319753E5F4BF1107B0B3A7246BCDF994244282A939AB617B077E28B679ACCEF7A27B22273A06ED2B625CF7634400]]", |
| "FP4xtrpow2" : "[[0ED3F13410F7D4A81385DC8B57E75469424A96CD2EB3B91FD3D783904AFBA7B89B30A0F7F142FF25B923575C2BBE7AD4,5071B56E4EED9C73C93D4C1FA1C36F75ECFD852FEE553FC11DC66EADE454B948A2A2F884457F74608C9F3C4CC7D30D1B],[51923CDDD0DCFD3ED28EA311107F8BC59000A6A3D1DB8BC7A23B7EC2C5F394FE6987FFF159CF29C484E827C25EF89C33,0D57E0D6F3E579ECD3FD569BC583ADEEEC248D96545A3F64F56AC69A541900464021398E9E430CC8452BF44FD90B52A0]]" |
| }, |
| { |
| "FP41" : "[[056B862B3A2815398CD21BCD858082E1A8AAB050EB7EA037A1EA139658A398AB8EB0EABFAA0D8AB22E5A483F2D52B829,2C491017EDA72FC7C2EDCDC510D12E4DBAC42ECEDD5359511B263C0E6EF11D01DA50012308EBA70C81780755F4CAFC5C],[174132EFA41E5AE1E1FBA6C998C8A7FE19F7DDD74FB7E9A5EE66672C654C26F62021EA0749D703628837F552EAA2D373,25D783A9298989B1B74CADA728E7977F707A32339A82E8FBD618718F411A7A4C66BAA785092A324F7260DA2E159D6D29]]", |
| "FP42" : "[[431BA91370FAD6971ECA2FD0685925EDDF5EC313BF364E088626778774C3C1579F055239AB203F79640DF159CEFADBED,4EF2C0E65027D7EEECB5D7F6DCD7CC0C35B8BC243F03CA5DB1E23B8BDB35C8CF9B3C26C8E6097ECD809E978D5FFD8A99],[334103333F850476ED8918FA51486F842B5594EC4ECE9AB6742EAE53446BE1A58B0DDAD1433D0CBBA9969DF8A1EB0EFE,2EE05688A217169413791655A0CEBB4EB09DB35DABCA2E1B687F870E33D7380C34CB20C10D5673375E898F643764BEDD]]", |
| "FP121" : "[[3731956945A4D51ACD31F6569BBDF66EF92ED490048F37626E8E67DE9816538A31CA2551F3F6A56955AAD5561E75D01A,26BCD669EAB736806E99319F0FB0DEB5723D53D434DB75D3D3FBE642A63AE8704E82764D16911B6585F941814224E325],[2F52B62F12454ECCEBDBDA137B9F4CAE8BFDF2A1FEA1978BE731FFE04EE5B4A9B0629CEA2D69282360C9F22EC4926562,1334EE66BAB8EDCA49E80C491E6F514A2B22BB1DCE3251C6B7F2BE85DA2C6631D64CE3E68D8AF4C215102CDD64155ABF]]", |
| "FP122" : "[[3731956945A4D51ACD31F6569BBDF66EF92ED490048F37626E8E67DE9816538A31CA2551F3F6A56955AAD5561E75D01A,26BCD669EAB736806E99319F0FB0DEB5723D53D434DB75D3D3FBE642A63AE8704E82764D16911B6585F941814224E325],[2F52B62F12454ECCEBDBDA137B9F4CAE8BFDF2A1FEA1978BE731FFE04EE5B4A9B0629CEA2D69282360C9F22EC4926562,1334EE66BAB8EDCA49E80C491E6F514A2B22BB1DCE3251C6B7F2BE85DA2C6631D64CE3E68D8AF4C215102CDD64155ABF]]", |
| "FP123" : "[[406CE152ABF5C1BE001F94C87C45E007CEA7D17EE02F4845062980E6171D63D4C46C9BE7D6E1C64664744759E09A8618,060002ACEF57182D3418D3D0D50192F55A4BEA324932867FC59DD8C9A0DC447747577D835203DEB35B526069EEA3E02A],[36033518E2A718F046BC8AD03694D9BAAC71A7683288C118BBD836FFCC01B469C5317DD34419EC1D186BC2E668D93754,23970116E262805AEB11EF902903E0EEEF16CF36F01BBD6EFA5F8043948305518DD5AE8ABD7DF70C77899B25E7EEDB59]]", |
| "FP124" : "[[48A8A717A5753CC33844214BECD1E3EF28947E2F67362B7BD9C878C0959DB222D9F30BA6300C60FCCEDD3BAC02330070,1A12F06F267160571913EF73B74342DC6116F83F7A4C0CE532872B4AAA89DE06B03632A25FE4D4AECEDAB9E088ACC0B7],[0CE7A52D163CA509E1D2DAE3011536FEA0B08D83E28FDEB633FD8F1C346004A87777078664E3EA72A948CA7F3926376A,201138068550055ED54CF1E733191093B900407FA6A8D9FB81DEAED24254E2D150FA61A70D7DF2119F0D0F05574B619A]]", |
| "FP4add" : "[[48872F3EAB22EBD0AB9C4B9DEDD9A8CF88097364AAB4EE4028108B1DCD675A032DB63CF9552DCA2B92683998FC4D9416,25D67A68D92399010F35F7F7CDBE67D54FCFA4C628F17E9D20D6BF98E0C5C0DCFAFFE8C26490A0AE27DF817ECF1DD64A],[4A823622E3A35F58CF84BFC3EA111782454D72C39E86845C6295157FA9B8089BAB2FC4D88D14101E31CE934B8C8DE271,54B7DA31CBA0A045CAC5C3FCC9B652CE2117E591464D17173E97F89D74F1B2589B85C8461680A586D0EA69924D022C06]]", |
| "FP4neg" : "[[4FF9D06A2A83597C139B91F69A6A0FA2F80295DC07E704DA0A47A46B10BD8C48EBDB5469E056FA79ABDCD5255857F882,291C467D77043EEDDD7FDFFF0F196436E5E9175E16124BC0910B7BF2FA7007F2A03C3E068178DE1F58BF160E90DFB44F],[3E2423A5C08D13D3BE7206FA8721EA8686B56855A3ADBB6BBDCB50D50414FDFE5A6A5522408D81C951FF28119B07DD38,2F8DD2EC3B21E503E921001CF702FB05303313F958E2BC15D61946722846AAA813D197A4813A52DC67D64336700D4382]]", |
| "FP4sub" : "[[17B533AD2DD8AD580E7599C13D11EF7869F9336A1FADF740C7F554104D40FC486A37D7AF8951D064A4837449E4028CE7,32BBA5C7022AC68E76A5A39253E3F4C625B8B8D791B534051575B883FD1C7926B9A01983AD46AD6ADB108D2D1A78226E],[39658651C944C52094E03B93676ACAFE8F4F8F17F44EF401266970DA8A416A450FA04E5F90FE7BD2B8D874BECE627520,4C5C83B5EC1DE1D344414515A8036EB56089C502E21E5FF219CAA28276A46734AC7BC5ED86384443EE0E682E63E35EF7]]", |
| "FP4conj" : "[[056B862B3A2815398CD21BCD858082E1A8AAB050EB7EA037A1EA139658A398AB8EB0EABFAA0D8AB22E5A483F2D52B829,2C491017EDA72FC7C2EDCDC510D12E4DBAC42ECEDD5359511B263C0E6EF11D01DA50012308EBA70C81780755F4CAFC5C],[3E2423A5C08D13D3BE7206FA8721EA8686B56855A3ADBB6BBDCB50D50414FDFE5A6A5522408D81C951FF28119B07DD38,2F8DD2EC3B21E503E921001CF702FB05303313F958E2BC15D61946722846AAA813D197A4813A52DC67D64336700D4382]]", |
| "FP4nconj" : "[[4FF9D06A2A83597C139B91F69A6A0FA2F80295DC07E704DA0A47A46B10BD8C48EBDB5469E056FA79ABDCD5255857F882,291C467D77043EEDDD7FDFFF0F196436E5E9175E16124BC0910B7BF2FA7007F2A03C3E068178DE1F58BF160E90DFB44F],[174132EFA41E5AE1E1FBA6C998C8A7FE19F7DDD74FB7E9A5EE66672C654C26F62021EA0749D703628837F552EAA2D373,25D783A9298989B1B74CADA728E7977F707A32339A82E8FBD618718F411A7A4C66BAA785092A324F7260DA2E159D6D29]]", |
| "FP2sc" : "[03AC99D6B5F647AAD852D7D950ACFD37653ECBBB2380511DCB952F2B8B1A3623F2CAD8275C74FB6ABA184E5D9BA08E65,2A71B62746D860031EA7F1BB24CF0EBCB63CB3D2535DCD77EDE5FD2E16C09CDC3CC2E949E7C1C53B9EF484D8AB024EC8]", |
| "FP4pmul" : "[[0962BC7C7FED6181F5C3121C801065D769679FD4D51E716E8C3A919CD71256F590EDB03553395B45F38051F7FAE51F3B,0CCC6603492EFEEC1508385823918770886ECDC623137FFFD1D527D3652F1DE68F0CC00757B3FAD2E35B1E5F8BE27239],[1A7230A8F024E80C2DA6C2E413C07842F3D712E0049214CB3A1960662ACD37DE620192BB91F855F2E87C22A1E58375C7,2FA41D8032C1C888D19275A10CCBD57BBA8D18DD757F8D2A0F09D3E4E2584E143D2F882EF57677663CDDB0D0798181C9]]", |
| "FP4imul" : "[[10429281AE783FACA6765368908188A4FA0010F2C27BE0A6E5BE3AC309EACA02AC12C03EFE28A0168B0ED8BD87F8287B,2F75D9B2644A20A1A85BBB8B1288F8648F9F463FA49466E1A540FC29E37232111463C43F905E6FF9AA30F89D58B64469],[45C398CEEC5B10A5A5F2F45CCA59F7FA4DE79985EF27BCF1CB3335852FE474E26065BE15DD850A2798A7DFF8BFE87A59,1C21346617F12E5F85785B315ACC33F9B0C1506DDC2315E1D6179CAC59EE49F0B9A3B765911A11C27CEB7125BB2D96D0]]", |
| "FP4sqr" : "[[084DD8A777AA70E9CA6B62D49867D198F1B7AD31280D7EC963DB95408DEAD37DFE302234D518892F26BFE80F98A49CBB,4FA48E13EBB0F2A074CB03A6F98C1A4E58B4FA4E433D3190994CC33413122FB9F3F5C5D6C7BD2BEC227B575B543B27CA],[3B4E930D7492F9AC91F31FA58C8F59FDE137D96056B820AC7098DB089AC25BF0F0460769FABB103932951CD939AC176C,3F3644159E89235ED28DA0A4D8719C318C3587FCC01C113A30E5EC98C4CA6F592AA33B4D957F28AEE62A96C6EF4B361E]]", |
| "FP4mul" : "[[039C63CF50C08808BAE38864415C0F50E6C2AF5AF647C3FDB1272C15D558ECD40469D61F413959E7943CF4DBF3BFB688,047FACB394AFDEC295DA92E188F76D5B8E493EF5FA3489281A87E3B87B8923831A31928E474E4CF7D117F0790741116B],[1BE037EE7066FF63333201D84EE53DAE6482125C9DB488E826DC6B3597A7F8E88D9E0F3A842BC694E7863ED86DBB7132,0B90A64F2B8D1CBD41CB270E9CFE15FEBD1490BC9DC29450C5221C945D3A7B149C9D72CF4AB9980B144CF3695BD4898A]]", |
| "FP4inv" : "[[31D00113C8DDC11A37663B74DADEF791A6B4B0A7F6312318249CED641D41D18D590C25E5E8925FE13BFB7B78C8C5120F,27620332AB3B59F591B1492C72752AC0DDD92B2910D2B9A280888FA66991356DADA067FB26FA931FD01561091B6BD8F3],[43C9475EC0E973179F1356336D15DE5128EB390E6F400AB9B5447BB7EA7F958FC3287F75C1E4874F881D907DDD108487,3F28FEA9B2B32FC641757F9187974A9D5026B7B3D4BB88D1865F775777A9D0670B33B68C65BDAC6D8294B93EB861C009]]", |
| "FP4mulj" : "[[46CF05DBDF403FE5CB1CA6E68FCBA3034A2AF1D0A89AA5BBC47FAD9E8D92D19E33F381ABCB11563EF00E38895AB016F5,3D18B698CDA7E49399485470C1B03F7D8A72100AEA3AD2A1C47ED8BBA666A14286DC918C530135B1FA98CF810040409C],[056B862B3A2815398CD21BCD858082E1A8AAB050EB7EA037A1EA139658A398AB8EB0EABFAA0D8AB22E5A483F2D52B829,2C491017EDA72FC7C2EDCDC510D12E4DBAC42ECEDD5359511B263C0E6EF11D01DA50012308EBA70C81780755F4CAFC5C]]", |
| "BIGsc1" : "36887710C1FB677B5CFDF56CCCD83D03597BD728C748E5CBD101D49907A2E5D29987D376A5C2C6A4BA00C1AEC0A7E3D5", |
| "BIGsc2" : "03", |
| "FP4pow" : "[[46A6BE72D1B5EBB6810B16DC9FEF7F76B2B08AA2786E02E79B6F12A8A17A777D93E299432AC9448E73860BE6059EF64B,3D441A0260651918519C4790144732C3BD6CD2A200368078354500CA5C3A9FEECC240C8F5A088ED9B3187A4655E48855],[3DA4026BCFB94B028048F12F15325E80B179D5E8B68693F987F0CEA997B95A36B116589B2529531E03E6B987DC195309,173FC148A11DD6A01062E9A2628CF83D6349AFC532C75BA8B2627ED7FC13AF342ED90DB2AD7752B39351899523BB8DDE]]", |
| "FP4frob" : "[[056B862B3A2815398CD21BCD858082E1A8AAB050EB7EA037A1EA139658A398AB8EB0EABFAA0D8AB22E5A483F2D52B829,291C467D77043EEDDD7FDFFF0F196436E5E9175E16124BC0910B7BF2FA7007F2A03C3E068178DE1F58BF160E90DFB44F],[5325ABC425AF8B8A5ECCDD800C385C1EE10C29250EBA5A6BEDF1749B68E850052478163B5A710FD2F9D48E4EE27BC53B,2353EB17D82F0648C7F0FF5504AF06B09E0CE633C8D111FB4E0A1FC1CD48D0213AD3CEA717C9EAF388E6D1E2729B89C8]]", |
| "FP4xtrA" : "[[4B809D6A6404998B940BDEE26C8EF0068064B17CD79FB7849B93EF1784EB0BD98C70D8F42E0DE0255829BF14DDE0E569,0BD303943FFFBBDCC96D9D4BB32F2C526555E553F9758EA412A4DC1CA975DC5C7CA39DC6DB01B0332316E8B66CBAB647],[224953F76CC23B43E973EAA4F976B1662D7E4C779F5C152DC6A9C5F75E78DE25AB61A4920F0CB9900DC0669E4DD52C25,24BB1349948C2AC063A512782142A3A8B10621DAC17E8765D2914393FD107231489B822900F15AFDE8D47DF275E4B5F1]]", |
| "FP4xtrD" : "[[52DC22E66805B52C5134D8FDAD515E5A410F92BC4475E36BCC3926154604C71B5B5A8BDF0B61F8F6A44274F5C3A9DD14,4C77C479750E01C68F5D15E0F7D4503783D9E2DD7BFC24000F3203189E911AAAB9E202BA404A62FEF9C26613F04FDFBD],[146BA257582440BAB57CBF749E361775747A4EE202C24EE6A133F15FFBF984E8B5FD9C4F040491D268CDEA1A89470DA7,357FF4D28CF0C80CA0B94E2F0A5638ABCC7CA63701BC3E2030E517B5DD9E3EFD7D8C4B2E1D6F0821F0B52DBE94DB5FC5]]", |
| "FP4xtrpow" : "[[19025194483863A1BA329E2CAA17255A369718721EC97FD70EACC7D37A2C0C3640E1ADCAD960108381DF3B6489884D66,03959A0AB16822FD16B26214A161D9C0480DCA4A51FD6C5F6E514D7984775E318CF3229326BC98D84A89FD01517C872E],[40994DA5EACD7D639C7781FE57A0A42B7AF3ADBEE4E2FBBE587954194F196BB0DEFDC688AF16ED12A78BC5A9956197E7,5544BB6CD28A569923F268138A157316B10A4CCFDF8717AAC8DE04D427B88C523474C56C6884614EE7858FF34C8905A5]]", |
| "FP4xtrpow2" : "[[10DC59886F766004CD304A9553A6A65004E710C5655EFEF8241EC068B210C6247917559CD0417A9001CB71F16BEA8F3E,14E086111B717754DA22F3A0E0ECEE730394BAE11FC9F1B522C786DE0BD904F97EEDA57B7AD1B22FA7CA4C7B0973CEA6],[2A8C156653EB2A61C3D6A67C25C96DF4C5282F29F2BC5B4DF43165A802190C4251FCBCEB6993A4E9CC978AEC6A9F3691,3FCB76C7D9EEEBC7E083962E3DA32B29916ADD05D8911CCB1CB1FCC2153A2CD0D8E30F62474D861175615715BEB6BA85]]" |
| }, |
| { |
| "FP41" : "[[4369ED1B3F39663812739C34C965E824973A3407E667DEEDA14483BA6262D5EAD33CDE1CE65ECFCF8CC1C86977FA8A96,345D2D6C39E6EEE42BEB98EA10EF66C14F3D106E93A6DD93F6A5DE756CEDB0420A4039FDA0AA3DC11D0EB8618761F7DE],[4015D6E157E6E250FD15AC7AA26A692FA266A0ECE14168064B22C60827E5030BBD55455C3FC8402A16EAD1ECDEFEE18F,22D7DCD017A121ADB7370618F7B36F66A5EC5106B53903742DF10AE369319253CF5F0411919FE2EF61561D4B8BD137E7]]", |
| "FP42" : "[[1586400C472C705954FD61EB083AAD99DC1ACE598FD661C4D42A0E5DA2F292555C2909E8B762FBC6F8EA674056C50991,27709302B3456F1739CA1B4662B47287FE90DFEA9120064CD06E05768AF434874519491EE7697244FA4BA82B9B5BA56B],[4E89546A82892C7508A204F9CC87820EB7171DD6308384AC71C04FDDB09C0E2E9C8FB7F47C0F0585EA27943E92155200,091B9503D125E0B2553595D7E425D3E34321F812FDC2BA19009C4FFD3305431A4489FCD1B9B98F7030A918B519E4CF43]]", |
| "FP121" : "[[1164CB29E0789D0711EE2EDA9EB3F5E0360FAFF9AA937779F72F6D3717521CF1B361EFBDCA7314059246B09B3E7F7393,10866D30D3072ADFEFE67F39F94C0B97511FAE1516D49DF1E5A1912CFDCD7322123A758832AAC1BE6A155C3D42985C16],[30A65F7DC2CD20EFE58671A5496349AF0DED65C2C835A19A0F31FDBC0ADB7424FB224DCB9895D5FCD8C2D2F471212787,0B36EE5A5440B74D28457D93F0083248CCD9BFEE4C6A4937EF551FA22EA1353AB9D65BED31F55E9A8A6D15C416F5C056]]", |
| "FP122" : "[[1164CB29E0789D0711EE2EDA9EB3F5E0360FAFF9AA937779F72F6D3717521CF1B361EFBDCA7314059246B09B3E7F7393,10866D30D3072ADFEFE67F39F94C0B97511FAE1516D49DF1E5A1912CFDCD7322123A758832AAC1BE6A155C3D42985C16],[30A65F7DC2CD20EFE58671A5496349AF0DED65C2C835A19A0F31FDBC0ADB7424FB224DCB9895D5FCD8C2D2F471212787,0B36EE5A5440B74D28457D93F0083248CCD9BFEE4C6A4937EF551FA22EA1353AB9D65BED31F55E9A8A6D15C416F5C056]]", |
| "FP123" : "[[02362D10A5F6742B4CC46210F1E2EA55E6461901EF5C34C285AE3359E0E9BF57D14D8E0CC7268618FE465C98413BCDA9,4A069FD98419479281C3D90F4A0A60AB7B3D023CA6F6161BC76B0CD41BCA13AE4B003DC0B2C3971722ABFFA8DAEE1EB4],[358359652DDC5AEE446768AA9296762016D5A71847D3E338C4340B41DF0071FE94CAF514D3B9F64BB0C8A9C74157BA09,1A7BD806F9065EC554A451D56037C128D9C712129E1DB4C0661A22182E5D3391A867CDB501F6D2817E0909779036FFFC]]", |
| "FP124" : "[[2CA875C905C06AD853B91A57AEABC286E99EE76323BD5537B85C1611291784F5B01FDEE5A26E9EDD1000DB6C1AEB8F1C,4E5FF61F1B0F69CA5D3958B47BAC98CCFAD7A952F140A602842B8A00DB95E246D7FAC25081EE06FB691231F1330EDA05],[29B688349796340B167A30BAD79F47F160D3AAC8CAD7109A38A76C9758AE57A4298B01E837EEF9B627B96D4DB746D1C7,52FAC5DC319885AAA9C9B4DED670BAA34A5B50749DB89665C71153C9C3B64472441A41BD113BD6EF4CC2585D1A60F76F]]", |
| "FP4add" : "[[038AD69221BA67DBC703505BB1B60339D2A7BC3482D89BA0C93CDA169BF4434BB4D9A8DC135D466AAB7512454914E37C,066869D98880EF45C548066C53B946C4AD20AA2C31613ECF1AE22BEA8E80BFD4D4CD43F2FDAF2ADA3D2343289D12EC9E],[3939D4B675C4A010654A03B04F0758B9B8D078961E5F47A110B15DE46F1FEC45DF58BE273172C08426DB48C6EB6982E4,2BF371D3E8C702600C6C9BF0DBD94349E90E4919B2FBBD8D2E8D5AE09C36D56E13E900E34B59725F91FF3600A5B6072A]]", |
| "FP4neg" : "[[11FB697A2572087D8DFA118F5684AA60097312250CFDC6240AED344706FE4F09A74F610CA405B55C4D7554FB0DB02615,210829292AC47FD1748214DA0EFB2BC3517035BE5FBEC77DB58BD98BFC7374B2704C052BE9BA476ABD286502FE48B8CD],[154F7FB40CC48C64A35801497D802954FE46A54012243D0B610EF1F9417C21E8BD36F9CD4A9C4501C34C4B77A6ABCF1C,328D79C54D0A4D07E936A7AB2837231DFAC0F5263E2CA19D7E40AD1E002F92A0AB2D3B17F8C4A23C78E10018F9D978C4]]", |
| "FP4sub" : "[[2DE3AD0EF80CF5DEBD763A49C12B3A8ABB1F65AE56917D28CD1A755CBF7043957713D4342EFBD40893D7612921358105,0CEC9A6986A17FCCF2217DA3AE3AF43950AC30840286D7472637D8FEE1F97BBAC526F0DEB940CB7C22C31035EC065273],[46F1D90C3A09249194E15544F5CD79A58BFCC943A423886B85942E2BE0AA19D19B51CC914E1DBFD006FA5B12D294403A,19BC47CC467B40FB62017041138D9B8362CA58F3B776495B2D54BAE6362C4F398AD5073FD7E6537F30AD049671EC68A4]]", |
| "FP4conj" : "[[4369ED1B3F39663812739C34C965E824973A3407E667DEEDA14483BA6262D5EAD33CDE1CE65ECFCF8CC1C86977FA8A96,345D2D6C39E6EEE42BEB98EA10EF66C14F3D106E93A6DD93F6A5DE756CEDB0420A4039FDA0AA3DC11D0EB8618761F7DE],[154F7FB40CC48C64A35801497D802954FE46A54012243D0B610EF1F9417C21E8BD36F9CD4A9C4501C34C4B77A6ABCF1C,328D79C54D0A4D07E936A7AB2837231DFAC0F5263E2CA19D7E40AD1E002F92A0AB2D3B17F8C4A23C78E10018F9D978C4]]", |
| "FP4nconj" : "[[11FB697A2572087D8DFA118F5684AA60097312250CFDC6240AED344706FE4F09A74F610CA405B55C4D7554FB0DB02615,210829292AC47FD1748214DA0EFB2BC3517035BE5FBEC77DB58BD98BFC7374B2704C052BE9BA476ABD286502FE48B8CD],[4015D6E157E6E250FD15AC7AA26A692FA266A0ECE14168064B22C60827E5030BBD55455C3FC8402A16EAD1ECDEFEE18F,22D7DCD017A121ADB7370618F7B36F66A5EC5106B53903742DF10AE369319253CF5F0411919FE2EF61561D4B8BD137E7]]", |
| "FP2sc" : "[36C9DF52EFF3A44BF854B2CF56F9FE2D4251D9D1A15381EF54D8B18FC29090C9DD830E13D389A491FFABC7B1CD681681,13E11C17C9B60D8CE4342364175EAD49D11266CC0579450DD88F2A83DCC700343196878407C2874F2ABA8A764C8E8844]", |
| "FP4pmul" : "[[2133B633A248ED3CAAB01A0C49FD6C5A4E527DAC0B40D6676F7B52411806B09149BB34DEC63ED262552CB0DE6522FBE5,32BCB050A5958460D3085C480A723890F43D611D0E3B91403C94E1CAB9B555B2AFCF336E19A7484DD6ACD0EB2940244E],[1B1C79D819A1B074F7CA481F4CCDA394955B279B0BB3DB0A1982212A27F55551CFB4BB280613393776FC5B2F1065A41E,0379DB2C84309C483D41AC2651EA404561A9409966FA11DA50BD07D7B342DA8A5AA7E6FAC1141C594B0F6A8412577792]]", |
| "FP4imul" : "[[0D77B0ACCEE34CBF68856786C5D7E9047AE0FD98BF6E8C81807CE6E54D67E8CDDD4EBAF6FA4DAFBAA461C9784EEA1857,26AA08861E44DE256ED3082003E875FBFB99B56067D02C2C823409D2E0F4771F33E869A36DDFECACBFCCA6BD12327E22],[2757C531993D23130DA89E29E9ED30A792B12CAAD4B0E427F5F01C63709D5185B057F45FF37124CD05EF85EAFB743B,35FA1CAAF9D918013C6E6A9FBEE32B15F703FDEDE17E68BF0B92738C3B65245AC2EFD11CBC1B0691AB2157C9A99A2EF1]]", |
| "FP4sqr" : "[[342FC48C2C8F64862320D2787AC765ABB18A3215B480DA208B6E54F59E9FF2369B143CA26BCBB163BC51AF62C0B2A1DF,5137D8B6638B9B2D83A04EEAB16A21307285A2647F6FEFC622CF563882C3FE7329EC40359F008B17CC00903135F93432],[0C31EC49B75D541781B3812DF7E0720660C626E2681D8ABCABA282521608884AF2A2133EF8EDB552D4E4B6471D053FE3,1FDD27EB7E0742010440E814A901EF631E635D8C9BBF0775114A50C18B82377C3ADA98F5270BDAC5EDEA5FDCF1A47DF6]]", |
| "FP4mul" : "[[0294FC5985065278A50E3EAC597DA7F745C15FA86988B6D0B8F45CCEAA517B307C73E09091F00FD2E10A574AB23A40D4,0D49539CABCDB97F5072968E2F9BE02C044AB03300163307A38EEE7CB0BD0A5A038875EC572C27C2DF7138C8D89AB497],[1D3FE02E52EDE8FFBA24FE2B598FC862A6AF244DFFBD270376A2597B9CA378CDBB67CE17B69ECBE47F97B325177268F2,490C0919DB9FFD4D102012465F9A8D3DBC8F7E873866B5DCD547E12075AF5CAC106D2F7B3B2C02D689BC1BAB069E3670]]", |
| "FP4inv" : "[[3A968B89011789C33D6B174E61D22D14112CA596AD676882643869B843D51E394DA3B74D1CBBC8A4183CC856AAAE1255,47D550AE2A00B6B19731C393183028C327966F665C77AA565F7EEE7F3DFC887B2BB9144CF8BD50A5CC302212F005DCCE],[201E8A7A1321746D6FB4065DF17327B82029EB338DFE5984C937E132C732339EB05845570DD429738720C4735CE0BBBA,200374A141EC14E49C21FA259E694A1B91ED0CE5897CD1AD7F2EE21F604E59ED152223F042C2F6A5003BD2536197CE0C]]", |
| "FP4mulj" : "[[1D3DFA114045C0A345DEA661AAB6F9C8FC7A4FE62C0864921D31BB24BEB370B7EDF6414AAE285D3AB594B4A1532DA9A8,0D885D1C0ADC954913DF04CF7A334611A7A5ABC6A314C668CCE218EA27B5706B12280A4447039DED9E09D1D3E52568CB],[4369ED1B3F39663812739C34C965E824973A3407E667DEEDA14483BA6262D5EAD33CDE1CE65ECFCF8CC1C86977FA8A96,345D2D6C39E6EEE42BEB98EA10EF66C14F3D106E93A6DD93F6A5DE756CEDB0420A4039FDA0AA3DC11D0EB8618761F7DE]]", |
| "BIGsc1" : "0FD4AB4695EDC08CB7C63870E814E1870F999BF3A68F698ACF1769DC505C1DD3429C5CF4D55111164D666DCD184B8CA5", |
| "BIGsc2" : "42", |
| "FP4pow" : "[[25EFB5885047793483B63D16C1981806A9FEDF86F236DDE987598BBB816D58F3F83472F9B95504129E26D20BB658A702,38E31D14612970A449F80DEBA5A96DEA5C92746FEFEDA87E7BD7B96D76FCC2C2EDBB206685ACBF89A1C7F72B751E40DC],[274FC870447B31E6B945D84AC6E2AB10DC04D28C1FC310F9D0FE3BE3917DB03E01637AFD28A8453F66A632FEBDA8EC9F,1E3ED73C337588714C4B3E65B8DF1EAB19246A41EC1A4AF1C65A0481EFC0CB42142E8B0291926FAF817823BD6AE2D7BA]]", |
| "FP4frob" : "[[4369ED1B3F39663812739C34C965E824973A3407E667DEEDA14483BA6262D5EAD33CDE1CE65ECFCF8CC1C86977FA8A96,210829292AC47FD1748214DA0EFB2BC3517035BE5FBEC77DB58BD98BFC7374B2704C052BE9BA476ABD286502FE48B8CD],[3794975D729EDDD5A77E4FB56D7ACF58378B17E64464873783013786B8D064F818C63564B798A1D9BF00C15493907140,173B1737CF4EF79E8B8BD765EDEEB52E0510CB21EA73B92B014BF2CA9C71A6ABDF2DA5111D7595B71CB411836E2F862A]]", |
| "FP4xtrA" : "[[27D661805DC14AEBFE1258B2EC35594B3E9E4935840CC68018950D14CFEFEAB44D489B7B1F8299664269FCFD63136E15,32CFD2BF5491EB24BE39FD07B478B0E321DE45AA981E78B4A4F928B3C43C1487BC8D22812A96A7E7EB89FD90CE70670E],[47C714D4819CB795A64CA2800EC08322781DEACDEFBAEC74D36DE3A610F7B7031D0C5CFA20CB3BD1C37FC320E505F7CB,16BD130D4293FEE08EBF2A5267A37160FE7BCD677D405CCB500F8ED0BD1A838D19F63340996392C906E6F350053F495A]]", |
| "FP4xtrD" : "[[02C140EB12C806CB9EA747D307E627E723C31032DB16C156F5170582433B6B556F26BF92297296F07D053BF456683D5E,3DE2D47354692C1ACC36CADAAF75E63274B8C7B44B87D9AFE1B5514F1249C2E38FF80B63E81094C16C1A3CD2ACDFF521],[36F84377027FAA03DB712C5F1CCAB1E104E6228F373AB5B795B65660FC71696DF2C05ECDEE19B07B28833CBC55585256,10278AF6489E16A6D2414682787E3BABC98EB96D12CB694BC0FAAE86F484372F5F0C61EEBFE71B78D65F7D0F839C3D19]]", |
| "FP4xtrpow" : "[[3943492C56C8FEBD8109710962328513B2EEE9288B9CF09234BA47B2544CA1AFED2900B61C7B72701CAA72EC9C2B6CFB,145FAC40C5DD2130F35BB227E56A8BB6271E072627221D2862665855E696F1E733983111176C718C084B88305359D72C],[23FBF49117B18BDFD9EABB83369E9A73D6288ED9EDDE9A2E52CF9AFE16D3869596023E92C7C772FB5940707B8B11451D,508E4BECC2AD03C4ABC114DCF4CDA1BCE67198F58ECED35C995ADBEF84FBDE8AAA192B3B7AFF5E49C7BF42DFE90641AA]]", |
| "FP4xtrpow2" : "[[38B1AF45F2C4685194053DE5D2D846E7BD50C38B13E7D1D23B628A80C369BE3B656FD40652A255EE3B609A676C537703,4671BFCD5CEACBEB26AE4B3FBDD1F0ED0585EBC9D84B37AA19F898BFFC5345F726FA13BF233FDFDA5D1ECA7DE8B325ED],[47CBEBAA9DBB5D4177A43C5C86B0B2A8D37D0DE8A00C44E07D3B2964B306974E193E19DA84796ABE7D13E1F1B59BACC1,24E1C37BCE3B6AFE8758E9FEC727319D2875ED3203480BDADD12CE600F603F5C618B76263981E4E9E17F157854F73FAE]]" |
| } |
| ] |
