| [ |
| { |
| "FP41" : "[[0AB03DFEB7D320B939E8E33B156ABC647F211F57F6223FF4BF15D686AD5CEDB1B632C5C5DE31E3C54FC3B882B689F110,0AB7869CC1DDE180731991631EF829453E9C15E5F20109D389D7624889D256A4D1034A54C34EA038A5DECF7ACA64C90C],[0670E5F664DDD4A8E20FAF6D6334D1333CCFDF9EF57BECCE95CEEE79CC66FB920D88A5F90F1B0202140AD4A79379E3AE,053467E84C5E3FA544FA238C51ACEAC1653C09456AE0240D3E0C8F33AFF22B453580B55D12605B559F32E1215BA16DE4]]", |
| "FP42" : "[[192B223799D71F6D08778C7B49C0C9EEDE076E7AB6F802E252656E55112BA2BB6C79781ADF144E07FC13EBF36782364B,0BE2D676EA8CDF33BCC0577F7E5EFC3837F3B0D5870175C24C4E10B7BF6711E46DEA18AD8CFB82879A976AADC4D534D7],[0F5B1C95333D032791E37697186FE9EB38F65F7BB4B836572FCA62C6301FCFAA5248FDE7840001BF1B40B79347D00F85,06DAD9BA40730580B3C394223CA4A79820C23F2AB49876EA8C0167AD572105DE7FCBE732E32690BB70C1A138A7AAF7E6]]", |
| "FP121" : "[[163A5E07B215642F996BCB6147652A9D43EC786FDE86029BAB6325E47B2C6B4BFA05FD8FCA1343B05872184BCAA333A1,0138C6CB3EE84A8B86F441A70BCAF676C9C5CC2DD693DA8014B879CE27DD3E2256D140715BE100130294765B5C6BEAE0],[1954113B3A35C872048A2A10415F158D84855B28E141EF72CAE90A0FED943FE788FC230AA5E4F522D6514CE2E7321EC1,02A2E7AD928E71BFA3E35466D33621F0A492CE6F4CCCAAEE1D41ECD880CD235F582722C6797D8747D870A339670A0BCC]]", |
| "FP122" : "[[163A5E07B215642F996BCB6147652A9D43EC786FDE86029BAB6325E47B2C6B4BFA05FD8FCA1343B05872184BCAA333A1,0138C6CB3EE84A8B86F441A70BCAF676C9C5CC2DD693DA8014B879CE27DD3E2256D140715BE100130294765B5C6BEAE0],[1954113B3A35C872048A2A10415F158D84855B28E141EF72CAE90A0FED943FE788FC230AA5E4F522D6514CE2E7321EC1,02A2E7AD928E71BFA3E35466D33621F0A492CE6F4CCCAAEE1D41ECD880CD235F582722C6797D8747D870A339670A0BCC]]", |
| "FP123" : "[[18BA9AC7FEB972984ACC3C238C521EB1CE9C025901E8387412A2FA1A2180B6ECAC9AFAF993B52C481719F4DD7CB554E2,07211D2487F853F6600FB76B2DD25926C1D74FDA86F8090F255136710ADF68B902F1E667E83BB1BEB9922BC23B99C638],[175527BCA034BC855CC4D016372498545570672F0DE973FBA5A39191EA330638E90C2164272007E5824260A6C80C35DB,03A77782B703CBACF279289A90738EE0C079032B5BD0B02A847B6732F17BCE4D6044B290E6F8479B2EA0FCAD25A90E13]]", |
| "FP124" : "[[02C3FED3990404B7D8B9E98D2A3F3802EE5A7BCC698025AD39CFCABD2F7EAB54C22D49C8A5AC979ACA4548CA521C7DEF,03D59D7CDB139BFCCA44E491FE853D7C13DDB18B06D1BED205332F4C163E22D085CAE9A5878C29A8EBEEB38219E79A19],[020585471CD9577C0F1283C3C5556BBC4C1BDA274AA6C6444F56A091753B54E81355571C3B7BD61396A6F0A0318CFC29,0693E888A0C2E882EFE62211E4E0914F7203C39C011EEE072DA1FA789271886F69A8B5686AB15AD844F172AD57AD7153]]", |
| "FP4add" : "[[09DA4E4C182A598BF744C8001BDFD97BF8B1424DB9953017AA4A723AC7D79A4904003DE20BF231CD91D8A4761E0C7CB0,169A5D13AC6AC0B42FD9E8E29D57257D768FC6BB79027F95D6257300493968893EED6302504A22C040763A288F39FDE3],[15CC028B981AD7D073F326047BA4BB1E75C63F1AAA342325C599513FFC86CB3C5FD1A3E0931B03C12F4B8C3ADB49F333,0C0F41A28CD14525F8BDB7AE8E51925985FE48701F789AF7CA0DF6E107133123B54C9C8FF586EC110FF4825A034C65CA]]", |
| "FP4neg" : "[[0F50D3EB81ACC5E11132C47B2DE0F072E5562C2CFD62D2CAA81AFC1A4954087268793A38D3221C3A6A3B477D4975B99B,0F498B4D77A20519D80216532453839225DB359F018408EBDD5970586CDE9F7F4DA8B5A9EE055FC714203085359AE19F],[13902BF3D4A211F1690BF848E016DBA427A76BE5FE0925F0D161E4272A49FA9211235A05A238FDFDA5F42B586C85C6FD,14CCAA01ED21A6F506218429F19EC215FF3B423F88A4EEB22924436D46BECADEE92B4AA19EF3A4AA1ACC1EDEA45E3CC7]]", |
| "FP4sub" : "[[0B862DB1577BE7E67C8CFE760EF59F4D0590FC6232AF4FD1D3E13AD292E2411A68654DA9B07195BD0DAECC8F4F076570,18D5C21010D0E8E70174E199E3E4D9E46B1FB0955E84A6D0A4BA2431C11C3AE481C531A5E7A71DB0C54664CD058F3EE0],[1116DB4B6B20B81B9B47E08C8E10941F6850CBA83448C936CD355E5492F8220BD9EBA8103C6F0042B2C91D144BA97ED4,185AA018456B20BEDC5237205853F000A8F1159FA9CCBFE2193BFA274F821B8AD460CE28E08DCA99E8703FE8B3F620A9]]", |
| "FP4conj" : "[[0AB03DFEB7D320B939E8E33B156ABC647F211F57F6223FF4BF15D686AD5CEDB1B632C5C5DE31E3C54FC3B882B689F110,0AB7869CC1DDE180731991631EF829453E9C15E5F20109D389D7624889D256A4D1034A54C34EA038A5DECF7ACA64C90C],[13902BF3D4A211F1690BF848E016DBA427A76BE5FE0925F0D161E4272A49FA9211235A05A238FDFDA5F42B586C85C6FD,14CCAA01ED21A6F506218429F19EC215FF3B423F88A4EEB22924436D46BECADEE92B4AA19EF3A4AA1ACC1EDEA45E3CC7]]", |
| "FP4nconj" : "[[0F50D3EB81ACC5E11132C47B2DE0F072E5562C2CFD62D2CAA81AFC1A4954087268793A38D3221C3A6A3B477D4975B99B,0F498B4D77A20519D80216532453839225DB359F018408EBDD5970586CDE9F7F4DA8B5A9EE055FC714203085359AE19F],[0670E5F664DDD4A8E20FAF6D6334D1333CCFDF9EF57BECCE95CEEE79CC66FB920D88A5F90F1B0202140AD4A79379E3AE,053467E84C5E3FA544FA238C51ACEAC1653C09456AE0240D3E0C8F33AFF22B453580B55D12605B559F32E1215BA16DE4]]", |
| "FP2sc" : "[08677785127F2DBF64B7BB5208382549FC29A601C0ED0C9F418A80FDCF5C45330F195EE316EA7889314A3E7C52824C41,054B56F14597BF41AF15996A38F87153E8EAFFBE869D5BB061481FE2514DDC340467B11B97C88E0FE9D3B391976BB9F4]", |
| "FP4pmul" : "[[0833E361B4A833C57226B990A10E5256DC91D2B251AD3AB28D13556E9F57E868034C1AD8FCC0CBDBDF9FA65A2EA56AB5,19797DBF9EF887A46376BBCC692E86001D746820A2BEDFDA3367012238E7088C8C9AFEEC2272E9A7A49DF0176C0A4F98],[7A4354F8A496FC76F0BC5A13C683E409E4693270D4FDFDEAFAF6BEF3ED3407D5C915ECDEB4B97D19217A00DECC123C,16582C754B696F9A3CF733F2CE6B44FEAA7558D339D4CF5C8D6AFD7882D0E8FB242C73734590BE90FDA434C856BE5797]]", |
| "FP4imul" : "[[00,00],[00,00]]", |
| "FP4sqr" : "[[01DFC5EFB674394200B4E7CF1207649FFD682ECA0DFFDA980DBFC0C6E464983C5ACB1E8DE64706889C59CC2AC2824595,06FA7E6FEC36AB5AC1C4012BB82DC4F74778572A6BD4436FCCB74B2C0CAD8C3AF4C86879F4BD8E37D4E5E82B870B4D46],[0572AFBF6CF996289232897E177ACABA4FCB6279F72A60752B437E7DF483DFF81F9598E676FE4BC1166B6B5D06834908,1664AC5F305C344F3F824C06E1B3DDD4DAE5EB8267CF7EAD63254AB75EB6C658FA7D746BCE9C494B43A2CF12A9F35972]]", |
| "FP4mul" : "[[16A8C617D84E82A9DEBE9750ED57D4B6BBB9050D6014CA0735DEFDEAE6C3AA067971B6D5CA6346E2546E10F37F9B2B23,055D5514BD1F47E02F86EA2B4B99EBF3B57E72850DC848C85F70763E0E9A12C3642A40F3A355CDAB987A0493B094AE74],[0B5EE37BE5E59D015652570310097DE36C87DE87F17D54DED547D113A504FBCF256CE7313038EE36133A1E4723D925D4,07054FE6C161B1A79B2148CEAC5C2307ADEB5827B30A85A1329B6B8EFC530D11B955436379D84CA7D157CD7494BEAD25]]", |
| "FP4div2" : "[[05581EFF5BE9905C9CF4719D8AB55E323F908FABFB111FFA5F8AEB4356AE76D8DB1962E2EF18F1E2A7E1DC415B44F888,055BC34E60EEF0C0398CC8B18F7C14A29F4E0AF2F90084E9C4EBB12444E92B526881A52A61A7501C52EF67BD65326486],[033872FB326EEA547107D7B6B19A68999E67EFCF7ABDF6674AE7773CE6337DC906C452FC878D81010A056A53C9BCF1D7,029A33F4262F1FD2A27D11C628D67560B29E04A2B57012069F064799D7F915A29AC05AAE89302DAACF997090ADD0B6F2]]", |
| "FP4sqrt" : "[[0C10F03CD20622D7288BA00C854E27C71C40C7628004D7435A8B6621CD1D0DD686B0C94D0C8A34945EEA68C1118AE5D9,02AD70A003CFA851A136378D9D7FCC2C732014A3B86AB30044EB547CAD3DE00A477E43DCA339D74B03CCFDCD3BC62176],[0C6A0ADA2CB3248B299B867BAF2468A040E948A2D226D39C73C6F4E7984B2C516971F663CC501D42DC9E1353B0D5EBCF,088A5810C4ACC175C324EB0943754A9EF762EC07129F6EA3ED9FA51EA52DA94B36E160B4C20EDBD9E74F3638916D2C67]]", |
| "FP4divi" : "[[0670E5F664DDD4A8E20FAF6D6334D1333CCFDF9EF57BECCE95CEEE79CC66FB920D88A5F90F1B0202140AD4A79379E3AE,053467E84C5E3FA544FA238C51ACEAC1653C09456AE0240D3E0C8F33AFF22B453580B55D12605B559F32E1215BA16DE4],[0AB3E24DBCD8811CD6813A4F1A3172D4DEDE9A9EF411A4E424769C679B97A22B439B080D50C041FEFAD143FEC0775D0E,03A44F050560639C98571404C6B6705FBD7B46FDEF64EF6560C5E0EE3AB4798D684247728E5E39AB0D8B7C09ED6BFE]]", |
| "FP4div2i" : "[[0CE1CBECC9BBA951C41F5EDAC669A266799FBF3DEAF7D99D2B9DDCF398CDF7241B114BF21E3604042815A94F26F3C75C,0A68CFD098BC7F4A89F44718A359D582CA78128AD5C0481A7C191E675FE4568A6B016ABA24C0B6AB3E65C242B742DBC8],[1567C49B79B10239AD02749E3462E5A9BDBD353DE82349C848ED38CF372F44568736101AA18083FDF5A287FD80EEBA1C,07489E0A0AC0C73930AE28098D6CE0BF7AF68DFBDEC9DECAC18BC1DC7568F31AD0848EE51CBC73561B16F813DAD7FC]]", |
| "FP4inv" : "[[1636E7A0BEA0C2B31C2B38E723261E016ECB6D04EDAB1C7BB5B9E3DCB52323D925E7CB9404EDCADE9F3396EFF453ADF2,15527C8DF626BCA428FF93C424F6A8254658EB2233567EAA3BC0918D9271DF1084646861BAC2B010BDF8CF16B9080F3E],[0C7AB18C9C88F0A69870FB03CFBE1C551D4D458EE1014B46EC57A69D155FA81B5398581E185B2C72ED890F393080478A,143339B0F35F6B2D68EAE83386B76F8786AAA72630A505990A75DA580B64E5DC9E21566B4B1D1081941272014D200819]]", |
| "FP4mulj" : "[[013C7E0E187F95039D158BE11187E671D793D6598A9BC8C157C25F461C74D04CD807F09BFCBAA6AC74D7F38637D875CA,0BA54DDEB13C144E2709D2F9B4E1BBF4A20BE8E4605C10DBD3DB7DAD7C5926D743095B56217B5D57B33DB5C8EF1B5192],[0AB03DFEB7D320B939E8E33B156ABC647F211F57F6223FF4BF15D686AD5CEDB1B632C5C5DE31E3C54FC3B882B689F110,0AB7869CC1DDE180731991631EF829453E9C15E5F20109D389D7624889D256A4D1034A54C34EA038A5DECF7ACA64C90C]]", |
| "BIGsc1" : "15C50F2DB6D1D254B46455C91EC007AA19EAAA03E27689034131B883E25167077D468F14252F96E37BB91A50EDCAAAFF", |
| "BIGsc2" : "3A", |
| "FP4pow" : "[[0B82BBA48D4F99EACC0478828CBD8E68D402BB5790527A8011682CAD5692C52B39A4B7CA622D3ACD20F667792706A7AC,0D224046771EBB56B89488B791B0AB2DAA40FACC1DD8B34FC7C09BECDDD81FF17619DC5A681BDBC340780C1BF90A2752],[10AEFB89AC68A0B3D37FBDF474C987E18C85FAD73ECF5DD92D68D7DD722723276A9B7DABF9DF0EF907ABFFE7A5C29744,0874F0B692E132DF9DF279FFB1838D03519BBAA4B910E355019603CC64EACC2FBAE8641E754457908DEAB1EDE653FBF1]]", |
| "FP4frob" : "[[0AB03DFEB7D320B939E8E33B156ABC647F211F57F6223FF4BF15D686AD5CEDB1B632C5C5DE31E3C54FC3B882B689F110,0F498B4D77A20519D80216532453839225DB359F018408EBDD5970586CDE9F7F4DA8B5A9EE055FC714203085359AE19F],[1855810AE6844959C13BD7A49190E4EC4D62EE7227C71739C0CA3B117E6B9D554D028362AFD19366A0CB5D18D8518A22,1711FED0D0786562490733C7594B38FBD673A34C52FB764B132734E99877CEDA0ED33C6EA014A75A5B707D8FDAEFA5B1]]", |
| "FP4xtrA" : "[[11E0E3DC4ABC8ED12F96741BD08A667988ADFFA2990F72E44F23D57766548E7774EBCE17AEA436F4B5725410F89A61CD,18CBA6944DDD97B68EF4325C3889C4041CC7A271D19CBB4ADBC787100CBC3DF5CE0F5B058716B2C1CF55483B085695E5],[02C8883E10F0D1C45ADEE61A518F139C7E11283C1DB521BC06C078626144A6E67826BC90577C3FA69EEFC5A4946BC5B0,15E333919CDBDC1BA095F3396E9A5FEB70F5E0176768148CFB67F7F691383577A8B1388C9A107395D306907BB7E45459]]", |
| "FP4xtrD" : "[[06805BDC804DDE69D7FEC90F2A7D98AE639D3B9F15406D6DF6C4E65A805BB2FD0D119300DB373EFDB6D15B25556E0E20,0B8C8320A1FACEF426AC861BBD891F442EB776E37B5742882039593BEFB9D515716DD3CF1F744DC643274935F24165D9],[12547BAC36B53F7A5651E858DDE46D20C96B21B7E2223A1256E15B718D51D71C3AA6E4D895344FC53E8114AC2D771064,06CC6A458F98CCFF7E5AEB6941C2068040E6B2884A0AB408780D967DC7EA26BF46D2DF274208FFF6C809915561368A8F]]", |
| "FP4xtrpow" : "[[09BBA6F9E31CDFD05C76FD3348FEB1BB7BA441C410A9AA975350F017780EA8F108D2564D6890D10524E9BB50C7EA5E2D,13C4A30CA6D0B7DF49BAAF42C886C0364EA74BF69DFA7EFB3F0EBB8D574F6D5D9BF822CE95629D82F75A472D16E0C429],[040326344DE7D646434993A1185DC84CD0F4BE6806743A10FE34FDEB8104023FD315BEC3E565E8737CDE2AE8406A33AF,040243E51ADA9781CCF2D8D0EB13011AAFF6A7AB2582571E79C142207F7AC61C681EC9FF5F62FA9DEC9C0CEA76A1DA4E]]", |
| "FP4xtrpow2" : "[[10E590263E2B7DC32EC9977DA91129AEA524FD6A1CCFBD976151BAB64322328ECCDB29FD664966C3F4E2F64D0D81C274,02AB115C355889C866C569A9C7E6B75FCF80F3B6FE60E8E774DF6E0A364E2513D4419141E2E6D7DE2E6AEA59609FEA77],[06F1FB013126F3B93C604552DCF37D584F07573550F00A7BC416B8721C6F8901C76F94DFFEEDD6271C510E69CBE3F1A0,1843C021BB4781BB97EEBBF1E009FCE3FCF31EA419F010C841B69B091560CBFEADD7DCE675E8D8C26DF80F3600D6C328]]" |
| }, |
| { |
| "FP41" : "[[0174BEB891DE4A9C4707C8EC052DB1C3585149349CD373DE5E385CE5795E8110ECE2D81DB4E32E89205366E2B14D5363,0C0477AFE6218F5F144A9875426A7D7460F04F7E0D348C336AEA9DB3A93EF9C7AAEDFD15BB5BA73A54098A1E34E47B16],[0B7FBCF22163963637729F380E5E66B7C5CAE3504E11B05AADF828648BD33A9E68B1E562E0215497B0938B6E863E03AA,0C3B90A9E7B2339B3A3AEF134C4F9809CF512AA5A077CE3E143381BC8DB4DD4D250C57C2AC50F1D2897D456D21B2F7C8]]", |
| "FP42" : "[[065CFF949332CF78A3E10B81A8454AC7B1E3714EB0AE48BF0FA2D1632F12C8AC903639AC58E3B1D87BB2187A7E342B8C,11B8ECFCD91A9461DA08A16CDCC123DB268A935B582C950280BC690932CFBA7317909381E7D9EF741057C304D4E111A4],[13E399E0BF145B85D35F958C3D46B1B682BD4AA90F67AC37FD5F2A3846F35482EE72B4C4082E6E7A36C51C677BB13BC7,1530FDED303CD1108179899662E07D058C0555165BED0F6C4D61952069B7F3DB56A5810D73C722DFA15F59A9A6608514]]", |
| "FP121" : "[[11A1F3792ED7C4DE9FCCB7F84130C8432422596102973E003AED84AAF266E14883434F290B8A6260520B3A859F64B992,15C7B11475DB2AE29081C2CB2E8BDA9E14B56970CA03C28864D36F005D8D219C2C6F2FE4460C67B70A1B11AB8E16E37E],[0781BDCF98595B17D6000AE0B4B670EBAC7E1864224B6341B2EEC4A073D758841C94085B9C070BE7F3D5224D71E040A4,068884C319B4EF03B6EC8E2DED69F19CA41FB4E29A9E95BF0513C1ED098DBD9D5947D5F2ABAF6D9DAADF63FECABED3BF]]", |
| "FP122" : "[[11A1F3792ED7C4DE9FCCB7F84130C8432422596102973E003AED84AAF266E14883434F290B8A6260520B3A859F64B992,15C7B11475DB2AE29081C2CB2E8BDA9E14B56970CA03C28864D36F005D8D219C2C6F2FE4460C67B70A1B11AB8E16E37E],[0781BDCF98595B17D6000AE0B4B670EBAC7E1864224B6341B2EEC4A073D758841C94085B9C070BE7F3D5224D71E040A4,068884C319B4EF03B6EC8E2DED69F19CA41FB4E29A9E95BF0513C1ED098DBD9D5947D5F2ABAF6D9DAADF63FECABED3BF]]", |
| "FP123" : "[[0A9913E7D532F4FC7E2CAB0AF1E119531CFD3198281450182E914A861DEA3CEB38CE458EBEE1E3DE1AF0F272965CB723,01323E0275E118FD785A340D13992E1873B55247D8F6B81A1D83CB5D8EAAF581CAB2781E88D79BA116A117E273706DEB],[01D320C8298767E2A60580C5738D7693081ED79911ABF9250030EACB678721B2152A75880967879B158E9974C028722A,08870A9AE1DC6736B14C2B263F6E737699571CD2CEC919CF807834636170CDA903A1D012BAAE837CE872BC5E67F35E9C]]", |
| "FP124" : "[[103EA397E28AE8C1EA614454EAB53AFD4F8DC996919C4FEA064CE65E105C4398BF68DAF93F3A62C023825747BEC9E7DC,17FB40E2D211BC1B182A196DD7C9495925FFDB5ADF2A41F24755830031D36251E1386D7487D9E94A89208866D1A956F7],[78B7E21CF3165612E55616FAE1785F73931EF0D6AA35754BA648014C96D024A337D759A6BB867BE8BA1BB95A133146,0BD9F81F80D4F7EEADCA696B895BA5B787793067927BA7F2F6541ECEAA48BB7BA2F222C26CF954B98190CC64B2259184]]", |
| "FP4add" : "[[07D1BE4D25111A14EAE8D46DAD72FC8B0A34BA834D81BC9D6DDB2E48A87149BD7D1911CA0DC6E0619C057F5D2F817EEF,03BC52C285BC3D26A337922BDBDFF4782303975471DC0E768476341BE55DBE16A3D29098F1E196AEAA624D2309C5E20F],[056244E8A6F80B21BFB68D0E08596B96E410E27469F449D344267FFBDC1598FD38789A2836FBC3122D59A7D601EF94C6,076B7CACDE6F1E117098D0F36BE46837F6DF343708DFCAEAFA64443C00BBDB045D05D8D16EC414B270DD9F16C813D231]]", |
| "FP4neg" : "[[188C5331A7A19BFE0413DECA3E1DFB140C26025056B19EE108F875BB7D52751331C927E0FC70D17699AB991D4EB25748,0DFC9A3A535E573B36D10F4100E12F630386FC06E650868BFC4634ED4D71FC5C73BE02E8F5F858C565F575E1CB1B2F95],[0E8154F8181C506413A9087E34ED461F9EAC6834A5736264B938AA3C6ADDBB85B5FA1A9BD132AB68096B749179C1A701,0DC5814051CDB2FF10E0B8A2F6FC14CD952620DF530D448152FD50E468FC18D6F99FA83C05030E2D3081BA92DE4CB2E3]]", |
| "FP4sub" : "[[1518D10E382B61BDEE426520A03413D30AE5236ADFAA3DDEB5C65E2340FCAE887B589E700D537CB05EA04E683318D282,144C9C9D4686E197855D9EBEA8F506709EDD07A7A88D09F0515F074B6D203578B209699284D5B7C5FDB0C7196003141D],[119D34FB9BCF214AAF2EB162146361D8A784E42C322F16E217C9D0CD3B90DC3F98EB309D8946E61D33CD6F070A8C728E,110BA4A6F0F5492503DD0D332CBAC7DBA7C32114380FD1912E02BF3D1AADDF95ED12D6B3E9DDCEF2A21CEBC37B521D5F]]", |
| "FP4conj" : "[[0174BEB891DE4A9C4707C8EC052DB1C3585149349CD373DE5E385CE5795E8110ECE2D81DB4E32E89205366E2B14D5363,0C0477AFE6218F5F144A9875426A7D7460F04F7E0D348C336AEA9DB3A93EF9C7AAEDFD15BB5BA73A54098A1E34E47B16],[0E8154F8181C506413A9087E34ED461F9EAC6834A5736264B938AA3C6ADDBB85B5FA1A9BD132AB68096B749179C1A701,0DC5814051CDB2FF10E0B8A2F6FC14CD952620DF530D448152FD50E468FC18D6F99FA83C05030E2D3081BA92DE4CB2E3]]", |
| "FP4nconj" : "[[188C5331A7A19BFE0413DECA3E1DFB140C26025056B19EE108F875BB7D52751331C927E0FC70D17699AB991D4EB25748,0DFC9A3A535E573B36D10F4100E12F630386FC06E650868BFC4634ED4D71FC5C73BE02E8F5F858C565F575E1CB1B2F95],[0B7FBCF22163963637729F380E5E66B7C5CAE3504E11B05AADF828648BD33A9E68B1E562E0215497B0938B6E863E03AA,0C3B90A9E7B2339B3A3AEF134C4F9809CF512AA5A077CE3E143381BC8DB4DD4D250C57C2AC50F1D2897D456D21B2F7C8]]", |
| "FP2sc" : "[0532F7EF8933C1428A85A2301427AA62452368E8556D99D669E7E1031C8C22393307FF85DF5F54CB36EF82D62A9F4149,18E9BBEDEAE91A1C32356DDC2B20937E05F09583A45E3252F245372262458F536A4623E64E4BACE268A03A007B29C63F]", |
| "FP4pmul" : "[[075F89B563410EEA50977D9AF754A1F2C5737EF5C87248E19AFC254FFFDBE3F6119D28BDFD236FF9EA015FBB078AFEFD,0DD3007D14A1F3D72FD2DD19178A4BDC6803F6F27325A45AC4CCF8B1F005FAC9B214D0F79BF1E5BAD0ACE16067439646],[161A1F2400BCDC0CA53CA284A7D5F3269E8029D2BE0B37B45F3D0C8EA701E22DF2645B1AF2670AF1EE42E20AAA23AFAA,015272A39E4E854429CE7F3F9A40B519A4EE5B9701951AE7858303307C0A2AED2A6FFD4F2FFD0E85DF28D7B86E403B4F]]", |
| "FP4imul" : "[[0174BEB891DE4A9C4707C8EC052DB1C3585149349CD373DE5E385CE5795E8110ECE2D81DB4E32E89205366E2B14D5363,0C0477AFE6218F5F144A9875426A7D7460F04F7E0D348C336AEA9DB3A93EF9C7AAEDFD15BB5BA73A54098A1E34E47B16],[0B7FBCF22163963637729F380E5E66B7C5CAE3504E11B05AADF828648BD33A9E68B1E562E0215497B0938B6E863E03AA,0C3B90A9E7B2339B3A3AEF134C4F9809CF512AA5A077CE3E143381BC8DB4DD4D250C57C2AC50F1D2897D456D21B2F7C8]]", |
| "FP4sqr" : "[[0BBDC3C778005B5C2EDDA84B1D085916F8FF7CF96EBFFE08A15DD106D0B4702E65DD4B6EF5D99540CE4046DA4344A0C2,04F10FB277839D339D178AB36AE7DA2640232995ACAFFFC4CA041DE5C17AE3D107636EB067535CFCFC83A3DB9F1A84B3],[01DEC10155071905C5FE53E60E43A7FD094EB05E47E9ADB934B43BD8BDC32854B075D7BDB01E467B06E9E905D393AA83,08D3129ED7F6908F679FA71F87A759DFD40116EEAF5F842FD1F9AAD432F03A3B36121A496DD3E4841090ED53D17569FC]]", |
| "FP4mul" : "[[056EDED459A835822C3626CEC9EBFB697D413CA1BDC0B6A833E690F99ADC065B9A99A1DD4C34B94683E15F56D1060E49,11FBCFEF56A857D755A68808C139BBDF88B760CAAD6CEBAB54338E753CF0A0C245C565419E297D78161B0224F0A996BB],[1649FC5740C54A21A8A781F9319E064B0A60790E3951AEC2E7807543B7C6A65AF72D790EF0F1212B9B93C758E9A1A2DF,0150571C162B6249410B2E656CDA41DBD7094371324B5F7942303528BD7B43223A5BAB6D79BC45B967C94CBEC94607B4]]", |
| "FP4div2" : "[[0DBAE85165AF189B4911B851243CAF4D5E644A5CC82C434EE2B497C33807BB9A85C76C0E331B97446D29337158A67F07,06023BD7F310C7AF8A254C3AA1353EBA307827BF069A4619B5754ED9D49F7CE3D576FE8ADDADD39D2A04C50F1A723D8B],[05BFDE7910B1CB1B1BB94F9C072F335BE2E571A82708D82D56FC143245E99D4F3458F2B17010AA4BD849C5B7431F01D5,061DC854F3D919CD9D1D7789A627CC04E7A89552D03BE71F0A19C0DE46DA6EA692862BE1562878E944BEA2B690D97BE4]]", |
| "FP4sqrt" : "[[04A29AF9693CDFC8903F7F954E450D10D7F9A7E504CAC1C10CBD4D2E938F2DE7B34B645074175EBB933D24E244C70947,07D43D357F654C3DC9FD8E09457E891A3D7C36279520C25DC1F82458CC441E3F3A788CA50794C8BB675E930B1F8AFCD3],[F692C5948A14A058E5234FE25E898DDFDB6D0EC2D1A84F50E77890FCD96DFDEDB4E77681988BAA8557F680093BE3FE,0C41AB5FDC3EF45FD693EA79C1BBF544E63BD56DD5084FA17C079BF88FA276D9D73FDC436823FE690454AA66C6F68C29]]", |
| "FP4divi" : "[[0B7FBCF22163963637729F380E5E66B7C5CAE3504E11B05AADF828648BD33A9E68B1E562E0215497B0938B6E863E03AA,0C3B90A9E7B2339B3A3AEF134C4F9809CF512AA5A077CE3E143381BC8DB4DD4D250C57C2AC50F1D2897D456D21B2F7C8],[13BD242958BFE04AD337048BC571EE078EDC721BCEC689689829E69D0CA7387E5B3E6A9910C96AE1972DF8807318BC92,12486570C6E195AE8C2F3B9FC0443C44368B28E731F3158A39F189B79348B76D6E5B927B5BE63C5876DA919DC1CB692F]]", |
| "FP4div2i" : "[[16FF79E442C72C6C6EE53E701CBCCD6F8B95C6A09C2360B55BF050C917A6753CD163CAC5C042A92F612716DD0C7C0754,18772153CF6467367475DE26989F30139EA2554B40EF9C7C286703791B69BA9A4A18AF8558A1E3A512FA8ADA4365EF90],[0D79366877FFD9FB5B52616147982F37B94198B2AA080011C922FA99229D7AD897D0D533703ED5C3745CF100E631CE79,0A8FB8F7544344C2CD42CF893D3CCBB1089F0649706118550CB240CE2FE078B6BE0B24F8067878B133B6233B839727B3]]", |
| "FP4inv" : "[[194BA7F4E8E051F6C8F300A6C43F107C08B7BA9B052187092FEF4A6AB7220BC2B4DA05BEA2CA89808E07DD3FFFEE0276,08C9C786E300FCF78B63D080C71A0E32F61D28605DB4C0BCB77EAEA7B7FBB6372926510708B6613C8F0BB4F4ED5560E1],[02BD6973508CBC48C6F17D4F72CEC4DBC573E56DC88AA3AACADDBA81BABA2A2D56EF3563075136DB5AF39DF0AFBDF75F,07347C6AF84E7E9304C4802014A1F2121ED78B3C5142C1C9BAEF3F628F01D89BFFF22B94CA155BDABA3C4FA403832A94]]", |
| "FP4mulj" : "[[19453E3273314935485357DB055A7B855AF1042FA11EF4DC00F57948F4CF537562518D9EE52462C4E1154601648AB68D,17BB4D9C0915C9D171AD8E4B5AADFEC1951C0DF5EE897E98C22BAA21198817EB8DBE3D258C72466A3A10D0DBA7F0FB72],[0174BEB891DE4A9C4707C8EC052DB1C3585149349CD373DE5E385CE5795E8110ECE2D81DB4E32E89205366E2B14D5363,0C0477AFE6218F5F144A9875426A7D7460F04F7E0D348C336AEA9DB3A93EF9C7AAEDFD15BB5BA73A54098A1E34E47B16]]", |
| "BIGsc1" : "0E8ADACDC25FDA5FF6C2C3E0D78D749272CDD711F9CA881935BF3BAD2A4AC91EB346EEEB1A9855D68B84EDE78A5F2342", |
| "BIGsc2" : "46", |
| "FP4pow" : "[[18593FCD2578C68F7086A4297BA7F90FE448020FE21B0EA7455318C2EBF65B2E3D6A444B9F3F2FD58745D3C5C5EC1E10,0B3DA46A913D81F4EC95C2C8A8845238F7E44AC8F200FB04FB1AFA419F5E7256A028ADDB33C9A5F5B8BD1D8E41D13CB6],[184A7129D5F6DF641B9A909889FA0CD42A2AAD556CB7BA65BAB6F8E15B6EF26E40C015E37AD345716C26E0BCA92DD836,125A7EFCA93A053509CDCA8F99B7BBFDC369CEDD7C8C5ED31C513BB78C7FBF2A02A3B243BF50D228D5D35F7A12EB0F73]]", |
| "FP4frob" : "[[0174BEB891DE4A9C4707C8EC052DB1C3585149349CD373DE5E385CE5795E8110ECE2D81DB4E32E89205366E2B14D5363,0DFC9A3A535E573B36D10F4100E12F630386FC06E650868BFC4634ED4D71FC5C73BE02E8F5F858C565F575E1CB1B2F95],[038018E43663A119BB8F567B15F879ADA44726B9AA82E4684B9A3193D1730EDAC50EB9486FA4B33EBA667C678688B10E,1169548BAA1C18998B188A35EEE3A53A7B49CB6AC0A068687DB95E671DA8EFFD298BDE052868CAC63DEC908458CCD083]]", |
| "FP4xtrA" : "[[15FB2095E1FE3FA881A52C3F48F26389A0456D49AB0FBC56931950EDC4BA021EE1FA271CED31BB481DA3A3389684696B,17E17D8309BA79BDCCC6959346306588DF15A87848BE177EE7670BD6E25BD4A83F56B24B516882BA1B3D0C2F94074703],[143CB5FE61637FCE8AA4C8B59E6FBE05B09A0B12BE51E475BFD8FAE60C5DE37930D4EBFD40DDE984BA3F6EADC8409186,115AEC166DEEB9B99DC4AD58C38C31B6090A0331802C0F848256C5B57514CD3B387924BB5EE95AFF9C6FF4DE41A55E2D]]", |
| "FP4xtrD" : "[[08D446565443C623A0CE167312ACF590485CEA903519164BE4ED173BDDF76E0C8C179B338C13382E8D997914E0A9F9FC,06E9323CE4C0650FBF9E017F295E8C14E2B9D61E85CBFA1D5B5FB51F65ADE665D0337483A1F00E880E6F8F9F35513932],[18DE3AE597CE457234E392562B00756C94E476FEE40D0E6E90A48CA1D5699D9181D9A2837060EFAA6810FFE2E00FB1D7,074922086DDB112B90F9DD8FDCFADD1C0E2C20B4FCCA0DEC932FDBAC57A8FEB1617EC9D01521C829698C782E14DBAEE1]]", |
| "FP4xtrpow" : "[[01675EEBBBFA4239BD3F32F92B082B9125E3D58619A3818ADB10C27015F0371566BF19AADCB5CCD28B848B5EA43611A7,1291474305DE9635B5B33FD7E26053D40E465FCA2D41F6F5132EA2A4EF98535680F85E30F9539EA4A0015B706CCE32E6],[115298293C305C68A4C34FB3314BA54893340AE1CBF9988AE06F2FB7C4DD30935F916BBBA79A639A131DB168896F4615,0FEFF1F5152CB94DD0C5E747FF174A2BB232359A22F6FF831B5984AAEDF6138FE4310F0F0AD5AA34D2330C331E18090B]]", |
| "FP4xtrpow2" : "[[1161E8EF22A9D6B136D29FAE2F53E5642A512E0DCB79B7234A5660D153A3186982D43A8C93B199E51EE0E2010DE7BF37,157BAA88BBA87A0B9763E1C97A8CA8E03FBB3A5BB6F3476F2498C495B4F63443D2A3E9699AE1E956B0DC9AC7A92A2C75],[102B699DA13786BD27D281F81098F17D34B0999E6FAD1BE6FA815574A6A11657ED0E2BD1E9706D030BB4F71395EDD2CF,020CE4103A2B1C6091F4427D41E55C8744FED4B0EE2B6029D09068D1022AE2E947C6582905A550541B53733296C21BB0]]" |
| }, |
| { |
| "FP41" : "[[157B54F43417563EEC45F77FC1521D19AAA511560C32CA50DE1EB5EA7F01C3D5E767A374D1D88BEBB59EB3DDB2AF7E89,055E09F9BB04F1543ECA7CDEA87D92653DCA47B15EFB2F2A63FC556931BC2D3517AB4F879382F83E71F30405CA529E8A],[19312BBB5DE66EC17E6B2AA06711024406A6B43D737D55638C80C399CBEC34D3CE8C066F78F6D120B88F3574C8025FF5,04BA9A1FCC90745BC27CE25906A5CF7391F4951561167B14FC95D1C272BC5D43F297721776DC0A4FDFB1FF22870A2BFE]]", |
| "FP42" : "[[0A9CD98148BCC890931AF1B71D6320ECDEF6D65A42674778C47248946819F76F55A6996A52FED50CCD9DD0FC5BFD0CB1,0E0832988BEEF908DB0FF3C142710B9452733FDC210C57CE23840E71C6AA590C2A99AB35E1D6655897408C32056CA9A1],[10446D6B669B65F57A990D4C1DC8277E020C43DACFE1D8035A52EC5ACD7F48FEAD2B0559D43A3C948A148B704E778711,14B00B04C66D84617CCD1B264D6709F783763ADCB5619EE92B43122474BDF38842F0E7448EC017A8341B1A8D70CB440F]]", |
| "FP121" : "[[05B053B87ED4BFC4B293A3F8784E1BA576D016F7ADCB487041674ECF94DB9B5D894B2FB7B6E5AC10D8C25DE149DC6245,093FD6FA5F83F3ADB525E3032CC1AE756C2D7AF2830BB9EBC1F12FB749CF670293AE3BD28EC5847A43F9FE860D6197DD],[126B1ECD89662AF0782342A527771667BD05B4F73D746659B1F2500F33CF58F49A6176920FAEA7A2ED53068A4C58FE14,0B4E981F68FFD8DFCC86A4F0B9C3090CA03BA17D34C959D696F5EA94843F6AA8A69CB02F7335733DE33035858D65E9BF]]", |
| "FP122" : "[[05B053B87ED4BFC4B293A3F8784E1BA576D016F7ADCB487041674ECF94DB9B5D894B2FB7B6E5AC10D8C25DE149DC6245,093FD6FA5F83F3ADB525E3032CC1AE756C2D7AF2830BB9EBC1F12FB749CF670293AE3BD28EC5847A43F9FE860D6197DD],[126B1ECD89662AF0782342A527771667BD05B4F73D746659B1F2500F33CF58F49A6176920FAEA7A2ED53068A4C58FE14,0B4E981F68FFD8DFCC86A4F0B9C3090CA03BA17D34C959D696F5EA94843F6AA8A69CB02F7335733DE33035858D65E9BF]]", |
| "FP123" : "[[177F13E93BFFE2DFD1DB1D8FC77541B8C8C63C1F5EEE8308086A949DFB58371A15671948A37D14EE1ACAB1922BB0A5DC,01668AD2FE1B6576CA7AD9E8F00C32DDCA3F46B8E5CD8D9BEA66CDB92C2F837605AB6C58313DF203D904F645C512A6C1],[0F45C348E0221D0BAF152E40CC547FAE547646E5C816804C54968538E758E931D5C2FF55735BE5A76DE4CA902D5EDE6F,14345355D64A60F4C3C1F4E38DEEE6098D11D2EA521E06D8B684C00D1AB9E06F5C830F03C77F12A3D1EB4467BCA00D1B]]", |
| "FP124" : "[[114C5CCDD80FF1571FDE42D475EA19CCC2D608A1B461ADE74300758347BFECC85969F859EBA9BAA879E899BE744B00BB,05F88BBFC895E94B81DDEA074CBAF5A24A257537273F1538B4EB0FDA9359964CD8A302258DB962079FAE4717D1EE6B45],[1638FE618520F75F263E508CB22834C8748EE3AAB970B7D127C9A0CF92A64AB5C220F917851710580E480571F2B99170,0F79EEAD6F57D62122C8BDBB6E4E2399831BDFC1263B83AD389B0F7931974FF1965729B6523ED12C65448427E5DC9C49]]", |
| "FP4add" : "[[06171C8B43543835344541809B69912F25249C2B5B14FF0A3B602BDDF06AC5211E623CE0738360F8C93D84DA0EACE08F,13663C9246F3EA5D19DA709FEAEE9DF9903D878D800786F8878063DAF86686414244FABD75595D9709339037CFBF482B],[0F74873C8B01EE1CADE89036418D7CEAA43BAC934FDA1AA77FA2DD53A2BA87AE5D0B0BCA9BDD0DB588A4C0E5167A3C5B,196AA52492FDF8BD3F49FD7F540CD96B156ACFF2167819FE27D8E3E6E77A50CC3588595C059C21F813CD19AFF7D5700D]]", |
| "FP4neg" : "[[0485BCF60568905B5ED5B03681F98FBDB9D23A2EE752486E89121CB677AF324E37445C89DF7B741404604C224D502C22,14A307F07E7AF5460C512AD79ACE1A7226AD03D39489E39503347D37C4F4C8EF0700B0771DD107C1480BFBFA35AD0C21],[CFE62EDB9977D8CCB07D15DC3AAA935DD097478007BD5BDAB00F072AC4C150501FF98F385D2EDF016FCA8B37FD4AB6,154677CA6CEF723E889EC55D3CA5DD63D282B66F926E97AA6A9B00DE83F498E02C148DE73A77F5AFDA4D00DD78F57EAD]]", |
| "FP4sub" : "[[0ADE7B72EB5A8DAE592B05C8A3EEFC2CCBAE3AFBC9CB82D819AC6D5616E7CC6691C10A0A7ED9B6DEE800E2E156B271D8,1156E94B6895DEE5AED630D3A95833A84FCE535A3173EA1BA7A9199861C2CA4D0BBDA450630092E594B177D3C4E59F94],[08ECBE4FF74B08CC03D21D544948DAC6049A7062A39B7D60322DD73EFE6CEBD521610115A4BC948C2E7AAA04798AD8E4,0A0BA1053FA2D69490CB6EE8FC8A725372F5A5BD9F39EEEB3883923EF4AF5FDFCE528AD1996FF2A76595E495163E929A]]", |
| "FP4conj" : "[[157B54F43417563EEC45F77FC1521D19AAA511560C32CA50DE1EB5EA7F01C3D5E767A374D1D88BEBB59EB3DDB2AF7E89,055E09F9BB04F1543ECA7CDEA87D92653DCA47B15EFB2F2A63FC556931BC2D3517AB4F879382F83E71F30405CA529E8A],[CFE62EDB9977D8CCB07D15DC3AAA935DD097478007BD5BDAB00F072AC4C150501FF98F385D2EDF016FCA8B37FD4AB6,154677CA6CEF723E889EC55D3CA5DD63D282B66F926E97AA6A9B00DE83F498E02C148DE73A77F5AFDA4D00DD78F57EAD]]", |
| "FP4nconj" : "[[0485BCF60568905B5ED5B03681F98FBDB9D23A2EE752486E89121CB677AF324E37445C89DF7B741404604C224D502C22,14A307F07E7AF5460C512AD79ACE1A7226AD03D39489E39503347D37C4F4C8EF0700B0771DD107C1480BFBFA35AD0C21],[19312BBB5DE66EC17E6B2AA06711024406A6B43D737D55638C80C399CBEC34D3CE8C066F78F6D120B88F3574C8025FF5,04BA9A1FCC90745BC27CE25906A5CF7391F4951561167B14FC95D1C272BC5D43F297721776DC0A4FDFB1FF22870A2BFE]]", |
| "FP2sc" : "[0C603E131A4BA7824FAF227B2B6C5C5D57F995239BE617111802A511D78BA041959249D4548CA7AFB5B18E699EE25AB5,168F24E311B2C6344AE38C1C56C912548BD3BA2F6C853B9E612550EC8965BB4014348CA977E61F9304E88404E23B2090]", |
| "FP4pmul" : "[[141A852CAF606F340EEE13B2AD1443C95AECCA89D1B43737963B669872662BDAFC38007905B269302642E75699ECB98D,0ED067E899522DC09E84DE39102091E80D84ADF8103889E18053C48A5B78085B0C85E323DCAAC965E21E91C10AB0A510],[02B9850E4F631C74FDF1F2EA851A0DE9FE06A25C08D9D4A1A29E26EDF708EEEA6B714C6855263A16468B76CD50E8131B,15D20B197CFCBB714CCDB6E82720C79BE9E55A7DDD06961FD2701389A8F2C22179ACAEFBBA327031B4EB82154C70CCA0]]", |
| "FP4imul" : "[[10F597FE2EAEC5E38D7047493F588D5BF0D2D72724E081E2550C993407529187B02346EAF25D17D7B13E67BB655F5267,0ABC13F37609E2A87D94F9BD50FB24CA7B948F62BDF65E54C7F8AAD263785A6A2F569F0F2705F07CE3E6080B94A53D14],[1861458C824CF6E8B1BAAD8A8AD657B0A8D61CF5F3759807B1D0B492A12773837E6C0CE04099A241B71F6AE99005153F,0975343F9920E8B784F9C4B20D4B9EE723E92A2AC22CF629F92BA384E578BA87E52EE42EEDB8149FBF63FE450E1457FC]]", |
| "FP4sqr" : "[[03C1C520A023D18649E383F229AA0303FEFD3AEDCBFA2847F82475EA2CFF29F82C1F8B4D5D929C10123ADE4EE7658CB7,042763C88B2D44F8EB64F42C14E04B2416E096ED647B8E758B842AE91C99D910A1043E4A6F658B2D39E6BF06B12B3FE6],[0CE13DD0174FD3DFA243612FAC61B86DCBC2B42A6A3A39D0AA36FEA33BE6418DB456B537E6D898628A586AC3C8BC2D90,034047C5600C5B34268585512CA2C6DFDB438B2F222AF497F3E2228FF09FDDE833F80C649B3BB88CEF391243BAEF9046]]", |
| "FP4mul" : "[[092D7C1962B7385C0E4AE1A139627FD4A3381A83EBD6617C8BBF667E2AE379D702F05CD82931B3764CEA3748F03BF61D,053E13183CFDF849196F3420769FBA8D2E84486C5185643A266D025BE54F0A95613BC3F85C59138A4D79E2AA10C25215],[0C9ED6A67723B4974E584EC13FAEAACE8A555A482A2F7B4387655E149E76864B4803D1D30FA072B429E82497A1EAB833,098C9B6D7713FF01B9F57E769881CD2F615ABF3ABEEB413C0FD5F8FE2AAD5E963AEB19FF6E56F04F54D566E546A3D96B]]", |
| "FP4div2" : "[[17BE336F36CB9E6C9BB0CF9B024EE4F8878E2E6D7FDBEE8822A7C445BAD95CFD0309D1B9C19645F5B7CED9EED957949A,02AF04FCDD8278AA1F653E6F543EC9329EE523D8AF7D979531FE2AB498DE169A8BD5A7C3C9C17C1F38F98202E5294F45],[19991ED2CBB32AADE4C3692B552E578DB58EFFE13381341179D8CB1D614E957BF69C03371525689039471ABA64010550,025D4D0FE6483A2DE13E712C8352E7B9C8FA4A8AB08B3D8A7E4AE8E1395E2EA1F94BB90BBB6E0527EFD8FF91438515FF]]", |
| "FP4sqrt" : "[[07B295F3473620C9315935D51DC578F40C70FB6968AAD16643CDC6A53E90BDE5EDF8067D916FF743F23C1AB20C5F5EC4,153B6EA55500B33E2CF3F9F03EEC0845D0D4EE5F69682C6B4126883C58574FC9E2BDD628E7E5F596E241B2372D1C7119],[1553766B5C21552A9D11BCEF947AE977C24923956AB94A5277806DE8FC24297508911CB906DA4CD1624F01984E4E5671,048ECF7D1D52B42EC06E246BDF03F45A889E0C47A3F49FA2D3CD494123FB4F95F2CA10AF85CC2702B3274BB9F45F29FB]]", |
| "FP4divi" : "[[19312BBB5DE66EC17E6B2AA06711024406A6B43D737D55638C80C399CBEC34D3CE8C066F78F6D120B88F3574C8025FF5,04BA9A1FCC90745BC27CE25906A5CF7391F4951561167B14FC95D1C272BC5D43F297721776DC0A4FDFB1FF22870A2BFE],[6C2681DACE307C6FFA665413420153C1FC06C13BD4735DED751C595D067D737033797EDA03C21536C95BF1BE813934,04F1E377E036C0D7CED0168A953B91117BCE40F02326BBCC7687390FD4B5AFC1A777D608B97F36293B29A8140BD16556]]", |
| "FP4div2i" : "[[1861458C824CF6E8B1BAAD8A8AD657B0A8D61CF5F3759807B1D0B492A12773837E6C0CE04099A241B71F6AE99005153F,0975343F9920E8B784F9C4B20D4B9EE723E92A2AC22CF629F92BA384E578BA87E52EE42EEDB8149FBF63FE450E1457FC],[D84D03B59C60F8DFF4CCA8268402A783F80D8277A8E6BBDAEA38B2BA0CFAE6E066F2FDB407842A6D92B7E37D027268,09E3C6EFC06D81AF9DA02D152A772222F79C81E0464D7798ED0E721FA96B5F834EEFAC1172FE6C527653502817A2CAAC]]", |
| "FP4inv" : "[[15DE28DC7AB2630D78FE235B6477591C8F9CCD40BCCB6F9F26A5AF5CEC4CD7FE0183DDE02A5E04A2772FDC9D65B9E441,1207C83399AC0BA6A269DB073FA3CFF63DFD925ED80DE87DCB9A4587B157D4F5D938B726A974623C1E0DC299B3A1E9FB],[0E0E16F27E988873188D14BAA8981744573610AA74849B9356FE8956F727D4CE70F2FFB2F6C152F6E2B09207D72F6DAB,08A68245A9A6E00539B93F0E00CC6A1BA554A6FC34D9DF1A59E46914A49ADC4A2C5392CF6EC6F9647DDED384846A80FA]]", |
| "FP4mulj" : "[[1476919B9155FA65BBEE4847606B32D074B21F281266DA4E8FEAF1D7592FD78FDBF49458021AC6D0D8DD365240F833F7,03EAB3F0F0F6FC82F5CC65432A6B24E03423FDCDE10EBDB921E5C2BB47F79BF3A27778883E7EDB70DE4234974F0CE148],[157B54F43417563EEC45F77FC1521D19AAA511560C32CA50DE1EB5EA7F01C3D5E767A374D1D88BEBB59EB3DDB2AF7E89,055E09F9BB04F1543ECA7CDEA87D92653DCA47B15EFB2F2A63FC556931BC2D3517AB4F879382F83E71F30405CA529E8A]]", |
| "BIGsc1" : "146DAC543779CAB3625D2C7EA58659C046664F9C00EEFCE40685AB5AF565244A18152AA3B207B68A3433E9074917AFF6", |
| "BIGsc2" : "35", |
| "FP4pow" : "[[130D71B36BFD677A5796370A64A70195CCC10922A935AFBBF7526EF12CC3BFBFCD19290A3198B9920C023609002FA5DC,16CF1A1FE328C47E8FA5E371A3FBB80E8C39ECEA27F744F399C5732A8FBBC130A38AD4C74D8B27D0230E1D0DB94273E8],[0421D9B271EF56810C79750B1FF2ABBEDF8757FC651C92F7E9FBC21645C4B7A6C06E44E2502D18146755727809F06F4F,0F8E3AF2A98E940E835C07A3384875F34CA1738B0B66554A68BD25CD21B37E529BF622983DAF1B885B8DBF71F85B8D21]]", |
| "FP4frob" : "[[157B54F43417563EEC45F77FC1521D19AAA511560C32CA50DE1EB5EA7F01C3D5E767A374D1D88BEBB59EB3DDB2AF7E89,14A307F07E7AF5460C512AD79ACE1A7226AD03D39489E39503347D37C4F4C8EF0700B0771DD107C1480BFBFA35AD0C21],[04AD112211F65440011A5D83EAD5AA77CD0F141062D476A637CF88C1B288BB401AB58182A800EF82CBA1212260AB3330,186552B67E900D7158E5740054A798DB139236B4F98E8656DF9F9214B456590FD2ED00DEF6756CCB99B37F34EA9FD954]]", |
| "FP4xtrA" : "[[15F9134FEB031EC8B6F74C7165230707EEB0670CB7DB8E15F025CF217E1AEDA6C0120992FEB58DBA9A3E56EB61D2C8D6,115E3E4FA9A8A8BCF23B9649C8B24EE94C722B7CDE6108EC67FC43666B38E97447C1375CCDD2A4578F3A98234531FCD9],[0E9442C02A423D92E869CAF78B62113A535F92D796EC7D385BA93C03218709B7BEB46E0F8BAFEA69DC7D722EA25753A0,14A2C84696CED0106B8CCF76D813EB0CEE9C3703F72F65FCFACC41EB1D1A4200F74FCA4E041FAE1A21A9C59C17612FD3]]", |
| "FP4xtrD" : "[[0CCD3F0CAAF4F23D078EE45F2D9D227F72A1AF4B9A9EB9250A48AF571C5D8E949AA844611C8984381AFB76938205E4FB,136C61BF4EA348EAB8EBA2250730D330FFC3530F9A0A42E02ABC52B7AFD274CA90599F39F9B39AB00FFFB6FB1C85AD7D],[0B417172601CE42E08E26703F3EC63471021859B6A2ABF18F4D6E094E65CBEED1416C219761E3AA48778D5AD58C19824,0CB57C04F92D43EBAB7F4A0339EE65C6FF2CB559E457EAC1ED0DC614D61898701926F09388F3CD2CAE9D1088C903E842]]", |
| "FP4xtrpow" : "[[07532B9758AA2C4D5F96A59624810C1B17F024F3F7F55BBCD0AC5CDDF0BB188BEE26539CEF94C8C205279C12EC9D1BA4,0AA82F744A798312426076F3BCABF4308549B9E59FEBD21BEE5F5B46430C183F2A0D366388E2D872970FA3A40349D282],[034204025C240402EA424BFB15ACC5BEBB504BF903806D5D1E67D0F15BC9D8EC1E465570C27DAC6199623FEB060A8362,0D6C2D30B1F1DC0CF8EA302F6A3AF691F7C030AED21145E9757BBC1A7FED6162813897F0535A7793003B65AC77C210CE]]", |
| "FP4xtrpow2" : "[[100DDB0D0629B924ED1917B9182863C322E792F9DC1984082E4D8AAE15D67FD0CACC547E7C92B8046B71D98B5FC49642,01B6E96B1F2130B46136A7DFFBD7314DF1F9641EA0D4D902504302334F5711CD79A3AFEF33BBE84547A5A3C274C0F37F],[03EFCCC89DF2889FBE5A80CFF5E2DACEB56D9F3DAF6C0EA122785C3A1D8B9A1525F80E940509A22FCD3DAF596A7C36E3,161C787F917EAE67B6FF798019533243D754972CE477D2B9FED645B34ECAA0A43C3C33CA693B70036018175B951BB8D9]]" |
| }, |
| { |
| "FP41" : "[[14C8E410C80E481DAEAE5B751ED31F065B125D91F8CAA487087114CCE3CBF93612728F20DA7E48AF35F5FAB0ADF5BE8D,0F5138A513957C1F154061B6A255A2D34E34A5A6B28C6B6D795F488DCDAA081084E52D990DB64B0CAD92279BDD64B374],[19BD3AE64C00BE76465D317C449B22A24BBE3C5AAD0916113EB2AB2B22988093A425D4ED84AF3C513713C9043030686F,1700C838CD6468DFC64738C38C966B3CE3B1F6EB92B64578D4A1BDF5BEAE4A6045F561564C95F1D0A2D1DBFC706CA7E5]]", |
| "FP42" : "[[131BC3B919A197E88E02F1DA6F973AEF468686AD195F3165622A2FFCC5726FFC1379719B71D82D9EEE6BA22D9BD6BF96,0B63E5C292C5ADFB429825CCC79B6EFB9E0847B0B58C10165E59904FAF9C188F6E35082981D0268E1E08A44F8C237D2D],[170FB07286EDE493A1C91F049D81F1EE1D8114C1A18A73C1200A2A70056291EADBB2D5FC4507DE95B6269C73C23F1F2E,0DD6D1C0085A9308D45EFE9F121FEB6BCE2FF1F999EF59F63A7DCF4B1CD901B3BD79C20148DEFABFE8DEED4E93890C45]]", |
| "FP121" : "[[13AEFB51AF8BBAADDB26E6A315708F5536DB7A186F39A61BF9471A1FA2B8D5F591FECB4A16405B61800ECEB85E0C7D3E,06B8DD64562177D33E85BD3BA58A00DB422F109DD0A3E5221F4B18447908ED297E1563209A5A05FDE29054FA89F31CCD],[016C02E9AB3654739D2EF33B8C295B54AAC5CA11AB3DA14B55487621B3DB1EBCDC598127B88A13DFAA2C08BDC0BF515C,04EE724587FDF5AA0EBE978815A9F7CB79A9BE730F9D3B9DF506084550C1D710ED03F30561A4B78B6CBCE77A253CE14F]]", |
| "FP122" : "[[13AEFB51AF8BBAADDB26E6A315708F5536DB7A186F39A61BF9471A1FA2B8D5F591FECB4A16405B61800ECEB85E0C7D3E,06B8DD64562177D33E85BD3BA58A00DB422F109DD0A3E5221F4B18447908ED297E1563209A5A05FDE29054FA89F31CCD],[016C02E9AB3654739D2EF33B8C295B54AAC5CA11AB3DA14B55487621B3DB1EBCDC598127B88A13DFAA2C08BDC0BF515C,04EE724587FDF5AA0EBE978815A9F7CB79A9BE730F9D3B9DF506084550C1D710ED03F30561A4B78B6CBCE77A253CE14F]]", |
| "FP123" : "[[17FA5C0AEAAFE85E0F75B5C287678BAD3C5DFE3F83563DFA4A80A04493542CA6B68C7B8E2D82D454414052DB22941ED8,04A4C6E03F1D82F84D9B73BDDA49B8A4430E2025452CBE38F8CB8BF00A921A20285061E52D820A2E7B551035351B93E9],[18E98B3571F5CEA8F7DB91E53605ED40245BD1EB8B231B6A36075CDF92A49913F1D90418732C790F35CBCD762C6AFE3C,055ECD39A4AEE869D0291BD687B9484DCE139B932295970BEB75E6A20C10E31ED028D8E1F928E3178CE0AE5ACA7B088B]]", |
| "FP124" : "[[12EE3D1458404431C2B159EE25CF4EEE8496B0E2647E43F8DF48CFA113E2AC8EBB5C4D865EE4ECE0E9E3FF7703C9B850,0F0601816B2CE82914B64210964285DBEE471AF9A4A8CFC3532A84BEBD4FF141E36155A8F63CFFE307274A320B295B80],[83B21344F43C63B1FBEE49032F8054F92D287320FD9E389A466DD5512100D1E92D09E02DC72A28CDAC04C6A93C9F5E,0D9BC7DD3F41814F9C2FDE7B283A4D22A4411A3580EB14CD9385D3E44261CD97A0CBC7A56B3815ACDBEDC8FD09FA4076]]", |
| "FP4add" : "[[0DE395DFA82FF96BF195A5994B1EAD1E3D2198BA1EA4C32D036A7228B28D730E074000BD9B02764E6A629CDE49CCD378,B40C7D6CDB43800CBCDFCD26A564F787C5A1D2749368C47088063C86952A7BD46E35C3DE32719B119BCBEB698885F6],[16CBD96E996EBC6F9D0AA8CA9ED167B904C805975B0E7712F78C02FA314A1C5A612CAAEB18631AE7333B6577F26FDCF2,0AD6880E9C3F154E4F8A8FAC5B6AA9D14D6A9D6039208CAFA7EEBA9FE4D655EFE4C32358E420EC90D1B1C94B03F6097F]]", |
| "FP4neg" : "[[05382DD971719E7C9C6D4C4124788DD10964EDF2FABA6E385EBFBDD412E4FCEE0C3970DDD6D5B7508409054F5209EC1E,0AAFD94525EA6A7B35DB45FFA0F60A041642A5DE40F8A751EDD18A132906EE1399C6D265A39DB4F30C6CD864229AF737],[43D703ED7F282404BE7639FEB08A3518B90F2A467BFCAE287E2775D41875907A862B112CA4C3AE82EB36FBCFCF423C,030049B16C1B7DBA84D46EF2B6B5419A80C5549960CECD46928F14AB3802ABC3D8B69EA864BE0E2F172D24038F9302C6]]", |
| "FP4sub" : "[[01AD2057AE6CB03520AB699AAF3BE417148BD6E4DF6B7321A646E4D01E598939FEF91D8568A61B10478A5883121EFEF7,03ED52E280CFCE23D2A83BE9DABA33D7B02C5DF5FD005B571B05B83E1E0DEF8116B0256F8BE6247E8F89834C51413647],[02AD8A73C512D9E2A4941277A71930B42E3D27990B7EA2501EA880BB1D35EEA8C872FEF13FA75DBB80ED2C906DF14941,0929F678C509D5D6F1E83A247A767FD1158204F1F8C6EB829A23EEAAA1D548AC887B9F5503B6F710B9F2EEADDCE39BA0]]", |
| "FP4conj" : "[[14C8E410C80E481DAEAE5B751ED31F065B125D91F8CAA487087114CCE3CBF93612728F20DA7E48AF35F5FAB0ADF5BE8D,0F5138A513957C1F154061B6A255A2D34E34A5A6B28C6B6D795F488DCDAA081084E52D990DB64B0CAD92279BDD64B374],[43D703ED7F282404BE7639FEB08A3518B90F2A467BFCAE287E2775D41875907A862B112CA4C3AE82EB36FBCFCF423C,030049B16C1B7DBA84D46EF2B6B5419A80C5549960CECD46928F14AB3802ABC3D8B69EA864BE0E2F172D24038F9302C6]]", |
| "FP4nconj" : "[[05382DD971719E7C9C6D4C4124788DD10964EDF2FABA6E385EBFBDD412E4FCEE0C3970DDD6D5B7508409054F5209EC1E,0AAFD94525EA6A7B35DB45FFA0F60A041642A5DE40F8A751EDD18A132906EE1399C6D265A39DB4F30C6CD864229AF737],[19BD3AE64C00BE76465D317C449B22A24BBE3C5AAD0916113EB2AB2B22988093A425D4ED84AF3C513713C9043030686F,1700C838CD6468DFC64738C38C966B3CE3B1F6EB92B64578D4A1BDF5BEAE4A6045F561564C95F1D0A2D1DBFC706CA7E5]]", |
| "FP2sc" : "[06F52C7ECA3057C0497C977F14F1DA30F4674DD6C7F8F3BDE194A74F2D0F02FA07FB525981E94A3CE76BACD7F9DA3B7E,09AF536EB7129164BBD71FDF3A7E1373354770092234A6919381C21762585D8573170101E2A92B5D89166C474EDFE2E5]", |
| "FP4pmul" : "[[0494D5649E4D0AD575B7A284DADAD1E7D205A229274D26F811BF7F9AFA9CAECB90E7ECEA9889D6A9271722D8E824E16D,12DE232A30FA9B186F0B9C0607593CCC3EA9AAAC6F08BBB552DFA03A0852E18D376CF76AF422E1C8CDFB9EF5674B24EE],[16B79EEED54927EBEA223C81E2FF7C1DFD35348988F96D47058CF9E9377970A789DCACB9468BDB5B5BE411231EC8C962,180D56D79310531B410DB784B715F9C5DEA4E24F39D6AAB0D86B53BDFCC57F758F35539A5CA949ECCE76588F3AD33813]]", |
| "FP4imul" : "[[0A58885DE52B0B2475D3C2F2D5E20364484881AC0355C8164AF19924BE01FF59F9FFAD652CD2DA0E2DE3F01209E1E651,13F2980501408DC2F4A57D6DA3B53BA28626A56F24202F8904ED0708724D220D700388CC77CEE1264EB776D3982E6FB1],[19358CDE71026E2E3CE04508473A0E381A4C1E0620111CB4EDB65C3F7A679572AF197ECB2B65B4F4313D5B0C9091E3F7,110034D5F52D6D6ABC9E5ADE1F2BE807E2274DB8D118AAEBAF83949F4EA8F2D8948824058319D572747793F55146A259]]", |
| "FP4sqr" : "[[0D0CE290DDEF727DE7D23A66295CFFDB9BBDFBE29A4648FA1BAADC776B5BEA42C0BFBDA63F17CBEF2D4E6301A97C0DDD,0A529F21031F7665D911F0B79E7C83D5D78FD902C40350B45BEF5D008280E5B4A183822143C552799B9191A2659A4485],[15A7C3E3506EA3D556E87F1E6D8B9EA35933433D7D9C7AD22C7DAAC435442E28EC71B97CEDED64242D216FD9D0218FDD,1312EC69FE3B765749C9885C7B31D2BB4009A6C580465DA1DE9609925D8CAAC74BF64039EC12AC0DFB9FBD2832DD7E47]]", |
| "FP4mul" : "[[0DFA3F5989DED9D1AE70EAE2884C61942D91B8118216C0EB8C8FAAA8E5A8C4127E03271205FBB7553D96743410295468,1302E750047309533D810BD44B64F56243C46DBDC1F07C0DEC29981B47A9B5143810A56B213E84AB798EB1645DC37D8A],[0864FBC579D5E43F5BCC90857E057FE75F9DAEBDB21661B4AAE30ED478DAEF8E9877B9E73F5429A05C1CE9C01B21F575,0991B1A6829B363A4C7CD031C292E43D0347A0D17D228CB423EAA974A09F1FFCF80071CBFFFB2D80B5763427CF6E7F9C]]", |
| "FP4div2" : "[[1764FAFD80C7175BFCE50195B10F65EEDFC4D48B7627DBA337D0F3B6ED3E77AD188F478FC5E9245777FA7D5856FAB49C,07A89C5289CABE0F8AA030DB512AD169A71A52D3594635B6BCAFA446E6D50408427296CC86DB258656C913CDEEB259BA],[19DF266842C0528848BC6C9943F367BCD81AC3EFD047146852F1BEE60CA4BB5BE168EA761B019E28788964821818098D,1880ED11837227BD08B1703CE7F10C0A2414A138431DAC1C1DE9484B5AAFA0423250B0AA7EF4F8E82E686DFE38362948]]", |
| "FP4sqrt" : "[[0A0CA56457AE28A6F115B97FE1CC9FE4044191202FC9C4126207F1D4662FCC5AD04968C0EC3EC9B4231A4EC820081A1B,135257126E2A51B12E76AC90429EA5AFA45C57167BB0ADB9C935817D28E38EDDEF5623E4B9F3C131F6221E5F996FCC21],[0279666B945398678DE3794B4B2408CAF2CE134C7CD09540438E9F22993D7608BB4E0880E844E7767A98EFC8B7C274C2,16D9B638039BE0EEA8774EF29D947D2325D45AD4F598B0731C6844BEC301E4ACBB4CA08482E46EC838211C1A9DEE50BA]]", |
| "FP4divi" : "[[19BD3AE64C00BE76465D317C449B22A24BBE3C5AAD0916113EB2AB2B22988093A425D4ED84AF3C513713C9043030686F,1700C838CD6468DFC64738C38C966B3CE3B1F6EB92B64578D4A1BDF5BEAE4A6045F561564C95F1D0A2D1DBFC706CA7E5],[050C8565D111EED13C698ABABEEE8A812267DBD9DBE8FE9A8D4FC55CDD6285913C55DE5D9B7049DE14C4912645AD63AB,0A44B33F42838D4DD8D6D6FBE36718522BCCC9CCD6A36CD2EC0F8330F047827F488F4F3B7246012E98CD967597B74FC9]]", |
| "FP4div2i" : "[[197963E25E819652419EBB4245EA986D33052D30668D1963163483B54E800B03299FA9DC580A78A2B428920860612633,14007E876148EB254172C9D0D5E129A262ECA25231E778324212A94A86AB9E9C6D3EC2ADE7D7E3A18BA4B7F8E0D9A51F],[0A190ACBA223DDA278D315757DDD150244CFB7B3B7D1FD351A9F8AB9BAC50B2278ABBCBB36E093BC2989224C8B5AC756,1489667E85071A9BB1ADADF7C6CE30A457999399AD46D9A5D81F0661E08F04FE911E9E76E48C025D319B2CEB2F6E9F92]]", |
| "FP4inv" : "[[17EBA409B02D26A0DBBA1F283B9E87AB290CDCBD03D088292E5D40F851489420F4A0FF64BB1EF5D2EB5CE2B3CF718A24,11B6F95946D8ECD362BC56360119BFC8673F1BB78D3DD16932274E89578AF59626ACDDA9B24884592E0482E1CE2C0671],[0DCF057B66BF178D790485B1D5E3EF082844DFC07D2DEB48C6132C617049E359EAEEAC6F0FE885D16209F0B3073D0B08,1013693F88F5CF0C1EC121C69486273C42F0AF8447C300D1E0FA6FA971C128C69E16AF78C0441E97DF3EE525F2350F09]]", |
| "FP4mulj" : "[[02BC72AD7E9C55968015F8B8B804B765680C456F1A52D0986A10ED3563EA36335E30739738194A809441ED07BFC3C08A,16BCF134DFE540BBC188C2898DE5E107CAF8E7C14C3A48CAAC23967FEA95D4CFCB6F36451FF12E221FE6A500A09D65A9],[14C8E410C80E481DAEAE5B751ED31F065B125D91F8CAA487087114CCE3CBF93612728F20DA7E48AF35F5FAB0ADF5BE8D,0F5138A513957C1F154061B6A255A2D34E34A5A6B28C6B6D795F488DCDAA081084E52D990DB64B0CAD92279BDD64B374]]", |
| "BIGsc1" : "06BFAB6D1D15CF3A0C17354035FF925CAC340BC811BCEC7352AAAA60CCFFA5096C90627D63B93881C035B5751EE9BE29", |
| "BIGsc2" : "43", |
| "FP4pow" : "[[16CBD4BDB425B3F648945AA0A0E1CF685400E27B0154EFABC799A4BC5E4F6C9769AD207C216D2E3A68F170952BE5C244,12DD0B59435966CC7C3D6A1E28409083D991E0B6019FB66ABC8CD31FC89B963CB44208B3F7DE9238FBFC2319FCC8FEB2],[02A710DD121D8398D8BA040FB7E03D7B34D4677040C55B012E6D30844B4B017965B5F4E0707D6D0B3B5E802B5BFEAFCD,03D58DF64C17A8641393704F3CF6931557B2C639125A459736B1D79666076453FCBD82FF7A1FE2295469B3FBEB396AD3]]", |
| "FP4frob" : "[[14C8E410C80E481DAEAE5B751ED31F065B125D91F8CAA487087114CCE3CBF93612728F20DA7E48AF35F5FAB0ADF5BE8D,0AAFD94525EA6A7B35DB45FFA0F60A041642A5DE40F8A751EDD18A132906EE1399C6D265A39DB4F30C6CD864229AF737],[0E1955CDC91AA3551F16F90CBB3788BF5D427B65FC55BDB1F43658BBD87E8B5B406BF3F5C01837BF178CA31CB0D1F64B,0B317DCDA0C41CA56B8AD9641D76DB2C2F06BD5FF0A690B367F79971D99197859956C69629CF300B9EA1331BA2903537]]", |
| "FP4xtrA" : "[[0E6F184638603F3108FA183997F4E09BBBDE697317D6339DA19396F7885E39396AB09F65F8787E03941F48B82A9C16FA,0501065BF7A484788DE488562C7A21A3027E0FC220663326C6E1374AA456BD697BC2989CE76FFED2E7D6DDDCC3416D89],[0B7EC3700F6ECDA4617FD690888C828744AA0AA57E8D4A31134C4ADB4B14AC2ABFA0CE0DD3B2E77190B3027686B6C1E1,1392C8E7287C2063C3C6A4469E461A3A4D72A186D96152D530D0089DED6B0973EA1B8A760E44FECC135B4135F9BB5568]]", |
| "FP4xtrD" : "[[177D3E43C0D2AF7720ACD2E8724E1B7DAE87D7C88FBB256AD92A581F9125E41ED9329F61ECC33A9035606DA04D8FE619,05B13FC1157464C1F9ACD5009D1CEB069F9DD93A526F8C98D0619E85DDDDCBB7B66526EDD9ACBC5FFA6C426AAAD08848],[152015DB7570538D4D6B92AA702A8A3927C124E8F0A48175DB815BD88D134307F765635A94A3DCC7274B01E230830B65,0D12590726047AE24020AA770DC74F863E7EFD92BEA8C314B977E03BED87533F9A8902E922968FAFCD45752113B778BB]]", |
| "FP4xtrpow" : "[[138AE8C572B5403FF006ABA9E277587FF7F78CE80A02B39E70454F1DAA9507501F09F3C07B3874F94C78FEF3DFB4B3A9,05AA8A745B43577D44AF19815B5F514AA62EC9F595C9D758E225CAD74FEAB740C2FD787397972D1EDADEB7CCF3BABB8C],[14B12154C4A1DDB925F4264BD9E5A2B15D290F5EE59458B7D032DE4D64D6F9E6764369974411A5FA0CCF97DEA1668D49,12FFA22E6983AB1860F4774135132D64A3BD08F2C8F7B7F6BA147EB7042C007D50B10D74D0FA8430FE402E34A0C03B2F]]", |
| "FP4xtrpow2" : "[[14507ECDE9C3E4DC9B26CD2E6C75EB554BC19599B658EF517CBED46A55ADFF2D88EB804F8374A3E0F154B713FD63ED93,0B49F5FE7233351C6B8C19038C66B9DF161862D147FC2A9FF65050551DA7AE9A117A6B680A44492D31DB53649ABEB39B],[091CB850F1E4549E4B3B75C629426962856C5FD8AA7538592CDA0DE80FE12C857D67647767D33EDC2FB6ACD7D0A912D0,05F8602A4E592909D9BBEE0F912F68BF99EE6C45159FECB87C906F9ABB6FEE2EA07193A9F01A0B72B07A0D952DF72376]]" |
| }, |
| { |
| "FP41" : "[[0DCABFFB5D5B4E871001655E1A88F745944B277C8013DCE8FB0C42088DFE1737F2F82473DF2ABCD903AFC2EE2C24179C,1711C05048E6FB71834F9BDFB27AE2EC02E75F4E5E23426DCEF95E9256B9AD532164274D56DD70E84504518BB2BD4375],[05D552E7A2663B942AEE7DF6FED4765583D9CAF9FD94AC9A0E58A93C3A336EAF6B80E192044C97237BBD2B20C2D834D9,193A9C81225385A01C9D3286B77A39846DFF4A5866D69C008AAF1881AA0F08EA9ABFE4A4F7054C90201C7057E23A1931]]", |
| "FP42" : "[[18433CDB71EED79833294155BE99D3911494238912E57F5B0AC518FA332FD15CC0A2F3DC1D03FD5ECC16931C53D934E1,44356900B27C9AF0F0E4194BD02ED3111173C17A35515B99C31A132DB0EB8E6F9CD8A221E3E37FA122A0D5CD1718B9],[183C93177A4F876B3260851BCA8E56FC631E6F9A1E9C1166B90665F518B3EC542894F600DA705465D7D5D0B95EA6B68C,0B0BFAB8DD5F594347058645407FAC21F876E45C7B6C856E82685E1CD9E8A7539A20121A1DC50805BF29EE54DD5D86EA]]", |
| "FP121" : "[[14182F02A51974C895D6FFC053F9709BD25AFC5895E2DC9965B642D0536F575DB2E766E2F682756FA50ECFE27B745DCD,1048187D198BCAB72021D547BA381302D9E6D9E02F3E1EDD1532FD40D6E1624E80202D78EC26747E5FCEE8840C6B6718],[0985EA3A1AB160896251390983D52E2132349FCF4E1178B993B4EBADE5A52AD69B11AAA1617363ED517B4B163DECFFA0,138515AD5CACF584CC624B5D62BF6BC48E927E1E744923C48AC14A1943315741B5979E141C4B918F661A9B67D09D6790]]", |
| "FP122" : "[[14182F02A51974C895D6FFC053F9709BD25AFC5895E2DC9965B642D0536F575DB2E766E2F682756FA50ECFE27B745DCD,1048187D198BCAB72021D547BA381302D9E6D9E02F3E1EDD1532FD40D6E1624E80202D78EC26747E5FCEE8840C6B6718],[0985EA3A1AB160896251390983D52E2132349FCF4E1178B993B4EBADE5A52AD69B11AAA1617363ED517B4B163DECFFA0,138515AD5CACF584CC624B5D62BF6BC48E927E1E744923C48AC14A1943315741B5979E141C4B918F661A9B67D09D6790]]", |
| "FP123" : "[[0E89C7EF3BBAF9F7D207CCDEE27977FEF3E34E51526F4ABE1C4151C6F5944EFE164AB3FE171414E15339EC9323ACBFAB,1831B190E9A1B47CD9FD6C5448674142393EEA429858459E7A1BF96B7FA5ABCC97CE89F4ED79194A6F09A5FBFAC7DCA5],[E73872AC8B1F99DAC83D6D3B75C8F724AD478E289194D3EA3731A85CFFCFD178A6D3D15BA00A2FA6D2D3305A40677C,0133912B317355A0DF600393883B7AD8AE764DC6D679DF843D9715033F1F1FF4201FEFD446C3A7D342B53B06A08B8F9C]]", |
| "FP124" : "[[DB0AA43A0C6D17426771E44CD5CB84FDEEB2A4DA7014CEE7F3EF32606D2F4FDF4D4D649507C0570DBEDD2397CCE6E3,0B8F500AE968493A0C1CF104A2E4B1FC44FA17BE542131C0FCFF5C46FE849098E1450F5C04324037B47736B505CD70FC],[0F4D2B8CB25D2847C0BE946891606A0D735BC0F601C2D640EC01B4B477E80772F574D3964D3FD04F0A0C4B42F849D7FA,02C8DDF539B737830220D2BEBE7309F413908CF439179B38909BDEB01F5938372CF2257A131213175BC660F8B113A789]]", |
| "FP4add" : "[[0C0CEAEC95CA3F84F80EFEFD95D71DFF4467FF809F7449849EA08861CA7CF27094EF18514ADABA3815C7560A7FFDA1D2,1755F5B94999780C74407FF8FE4B11BF13F8D30FD85893C968BC78A5846A98E19100FFEF78C15467E626F2617FD45C2E],[0410D414E335DC6512335B5C8617207A8280EF0F28ABAB41602E3C905C3664DF7569D7942D68EB899993FBDA217F40BA,0A45854FC632F84918871115B4AE38CF01FEE32FEEBE0EAFA5E6A3FD8D46BA1A1633F6C06376549625475EACBF97F570]]", |
| "FP4neg" : "[[0C3651EEDC2498133B1A425828C2B591D02C2408737135D66C24909868B2DEEC2BB3DB8AD2294326B64F3D11D3DB930F,02EF5199F098EB28C7CC0BD690D0C9EB618FEC369561D0519837740E9FF748D0FD47D8B15A768F1774FAAE744D426736],[142BBF029719AB06202D29BF44773681E09D808AF5F0662558D82964BC7D8774B32B1E6CAD0768DC3E41D4DF3D2775D2,C67569172C60FA2E7E752F8BD17352F678012C8CAE76BEDC81BA1F4CA1ED3983EC1B59BA4EB36F99E28FA81DC5917A]]", |
| "FP4sub" : "[[0F88950A24EC5D8927F3CBBE9F3AD08BE42E4F7860B3704D5777FBAF517F3BFF51013096737ABF79F1982FD1D84A8D66,16CD8AE748347ED6925EB7C666AAB418F1D5EB8CE3EDF1123536447F2908C1C4B1C74EAB34F98D68A3E1B0B5E5A62ABC],[0799D1BA61969AC343A9A0917791CC308532A6E4D27DADF2BC8315E81830787F6197EB8FDB3042BD5DE65A67643128F8,0E2EA1C844F42C5CD597AC4176FA8D62758865FBEB6A16920846BA64D0266197009FD28AD940448A60F2820304DC9247]]", |
| "FP4conj" : "[[0DCABFFB5D5B4E871001655E1A88F745944B277C8013DCE8FB0C42088DFE1737F2F82473DF2ABCD903AFC2EE2C24179C,1711C05048E6FB71834F9BDFB27AE2EC02E75F4E5E23426DCEF95E9256B9AD532164274D56DD70E84504518BB2BD4375],[142BBF029719AB06202D29BF44773681E09D808AF5F0662558D82964BC7D8774B32B1E6CAD0768DC3E41D4DF3D2775D2,C67569172C60FA2E7E752F8BD17352F678012C8CAE76BEDC81BA1F4CA1ED3983EC1B59BA4EB36F99E28FA81DC5917A]]", |
| "FP4nconj" : "[[0C3651EEDC2498133B1A425828C2B591D02C2408737135D66C24909868B2DEEC2BB3DB8AD2294326B64F3D11D3DB930F,02EF5199F098EB28C7CC0BD690D0C9EB618FEC369561D0519837740E9FF748D0FD47D8B15A768F1774FAAE744D426736],[05D552E7A2663B942AEE7DF6FED4765583D9CAF9FD94AC9A0E58A93C3A336EAF6B80E192044C97237BBD2B20C2D834D9,193A9C81225385A01C9D3286B77A39846DFF4A5866D69C008AAF1881AA0F08EA9ABFE4A4F7054C90201C7057E23A1931]]", |
| "FP2sc" : "[14F7D4F9D650539F7A3F3B062DF1713BDE384428015591C5F534B6995C77530A3138F7F4928D37FBE033070807AEA503,04DE75B3E3A155A01A706BC269A73924AA52638EE78BD3A323781D0FAE0A5BD0BF4A989CECB17FB78623A8D30C5E8342]", |
| "FP4pmul" : "[[0ED6D8C66660CA9DF124E681D3BF8CB1A378105FF337C09684DEB5AD0EDBC3A266D4F7FE4BE51974FD6675772AFE1791,0ECC4FE22435E2E36215BC3919F7F0BB6C485F619B00FDF07E8D941376A8B6CE9F2FDDA489F0B1E567651226628A2D69],[09535FDABD85FF82D00A0D85AD0AE5B7562D83A65774326B293768CF259AAC33CE514A4CFD1D81C243EB2926C98525CA,08A248F91DBCB01A04B9E1CB032C8B63EE7CC06DFBED46407F2BA1948EEB2FFAF2DDA0C27E82DD36E8FCC2E0CDFF40C8]]", |
| "FP4imul" : "[[0328DC19026D6CE7A9CE460BE38C8367883E06E819454E251DCF62E04A9670978E8891D21A02F3649AC10BB8B091091A,0E43CB82771C39F72BEB785C00088529DE379AAA9DFDD1790653026676D3D2E0298C9D394779C3A1E614462ECAF60DD3],[17554B9E8998EE50ABB9F7DBFB51D9560F672BE7F652B2683962A4F0E8CDBABDAE03864811325C8DEEF4AC830B60D364,16E73C45DCCE62B19121D2F81405DF8B8A9746D2C0CB37C3F529EA23C429413E0EFB9297C81932415274C15F88E964C3]]", |
| "FP4sqr" : "[[045CD227CDC51BB7691747C4FF64E21634CF76B550F22E158C3E1B66107E3697B894F4F796EB845E796F761761FF87AB,0C05177B91C1CE29C9CC5FFAF9F831B08BC8696458B89228042950132DF618E7355CB95383DC7FA43DB5051E366FFB8B],[186B352345E07B2B3D92821DCACF80CA04BB8554CD7370B8EAC745CF73676423B8A8DFCE8CB61C9436DAD1B9A3E5D90D,1672484F0DAFFCC61A68871619BBF521A2341499F95F6F6C7D7E0E60C23AAFCA5D11B642938E15DCB225FD153A36BC87]]", |
| "FP4mul" : "[[04D54F0D91DC17A7A38DFE719BD0432149A7DA79E55A0B5BEE8196537CA2F05DB3C30426A8BFDB0BC2675974D4A1E969,1379BDC5BB70EC26DD9748482EA63BE5904CF873FBC39D15749BB473EECCF6F1F81ACD1ABF936B4E70C3266AC38345AA],[0CE14DBFEB4E798F3ED27CC00C808F12C01A3EBDEDAB4836F45D7D1BE6B016B343217B5F32A05BF96A5C2E8FB8561050,09F2B306F5F68F6127B294696F2125D4EAED711057709D0C19FE1ECF1E60601CA8DFB467A9EB27309F3D91D39620F4DD]]", |
| "FP4div2" : "[[06E55FFDAEADA7438800B2AF0D447BA2CA2593BE4009EE747D86210446FF0B9BF97C1239EF955E6C81D7E17716120BCE,1889691D41337105E735A1CAFAE347E1B3AF5569A8D42A969B151899A6B551BBA00813A60418B873FF81A8C5D95E7710],[0FEB3268EDF311173B0512D6A110119674288B3F788CDFACBAC4BDEE98723269C51670C85AD04B919ADE1590616BEFC2,199DD735ADE9B61D33DC6D1E7D62F32DE93B4AEEAD2DD75FF8EFF591505FFF875CB5F251D42CA647ED0DB82BF11CE1EE]]", |
| "FP4sqrt" : "[[12E138645F946343D731D3DB57257D5E26CF94172D1D34152A41B72D8AFD1A98FF60CF05DC5F5E933DF1681B80427648,046636006C10B4E827CA285558874D29A46DFDCB5FF034DCBD6D2EC09E0DF2B908B3EEB1DD42C32EB9F1CB22D7BF3D6D],[138FCBE4BEFE158A14318D5EF886151F8362083C325EBDCE1F3A2C14AEDEE57C1CEB4DDE035C10A7EBE41999F074AF0F,047FE6DFAD258DD26BB7F4EF920DC84543F5B6A6C848735F793AF4216BA03F9FFE6779E01FCAB7C174AD953F3C2E36A7]]", |
| "FP4divi" : "[[05D552E7A2663B942AEE7DF6FED4765583D9CAF9FD94AC9A0E58A93C3A336EAF6B80E192044C97237BBD2B20C2D834D9,193A9C81225385A01C9D3286B77A39846DFF4A5866D69C008AAF1881AA0F08EA9ABFE4A4F7054C90201C7057E23A1931],[056DB730B66131AF241AACC3C4DC16AD195D9DA2F559064BB16A66FCF70367337AD825E1425A16E0C75A8A3CEF70D833,11A4091F9285C9C25F34EF1BED9ECC3EE989C1AB68CA3C221D8EF7955FB6461FA68C016C14835A077DA9C74EC34C6B42]]", |
| "FP4div2i" : "[[0BAAA5CF44CC772855DCFBEDFDA8ECAB07B395F3FB2959341CB152787466DD5ED701C32408992E46F77A564185B069B2,187427180B2724A5EE1EBD572BA8C6317787492BDA282541AE2D5E625D6D1BB116D3C94B3CB699208639E0AFC47487B7],[0ADB6E616CC2635E4835598789B82D5A32BB3B45EAB20C9762D4CDF9EE06CE66F5B04BC284B42DC18EB51479DEE1B066,09470054EB8BACEA734E368197F1EBA66E9C37D1DE0F6584D3ED1C89C8BB961B2E6C02D977B2B40F41548E9D86992BD9]]", |
| "FP4inv" : "[[03FE7CD8920FC48F0A99A6B879AA2BFAB4BFBD2971A709F1206E23E4D5287419940B41170CB9F8D7C6B69A8BD5FF46B7,0B63DBC1E1F08DC8DCFFA8DA74DE3FBCFC5921DA6D2B5F002B0D35071BC8105F5B9E6DD6C7EC4618638C78D4DE525EEB],[1324F2C96E489784D606B31F92B82488E6C27B4359488221C0E03AC0B62CB072255AEC0E351FAA9C603F32DAF98071B8,10F7B7DC049A20C4AD0D43359D98B6DE22B2AF3D08DB1E08358C02A1B30184A63CD290862EF586D59AD513D2754625E2]]", |
| "FP4mulj" : "[[069BC850B9929C8E596CF3268AA5E9A87A51CC268A432358EADA635B86D55BE8EF6CFCEBBE9B4A93159FBAC8E09DC653,050EDD7E8B39DA99FC7008C7730303028D61C9CD70E635DB31D6EF1CED918175E794C63849FDE3B3E1DA9B78A512A35F],[0DCABFFB5D5B4E871001655E1A88F745944B277C8013DCE8FB0C42088DFE1737F2F82473DF2ABCD903AFC2EE2C24179C,1711C05048E6FB71834F9BDFB27AE2EC02E75F4E5E23426DCEF95E9256B9AD532164274D56DD70E84504518BB2BD4375]]", |
| "BIGsc1" : "0D118D2C64958545A7162B07F929D90087C43A8A68AE663DE1B59D9AC874E778E3D46DFAB3452C6EE18694CB63F8651A", |
| "BIGsc2" : "22", |
| "FP4pow" : "[[1153E0FE860CCBF4EEDF8A75040CD70ABA43EB8E2AA342E68A6C0E79E5FF7430EFF5C6165E98E3E46C155A138DE6C726,107543E4B004AA2FE2FD6495E75BE8C5AEA6A8DBF60F4DA08EDC857D4EBAC4982AF944A2157CD3DFDB6348AB10A3E016],[17FDBE1ABA84E9A8C07459658D216A4F341EFD80CD21676069BFA90FDC8A536E61C56FE90183B1F957E645176FFA7863,0E0EC68A5C757DC7AF49BAE2D733D851221D3C1F590A0C67F56C5D5DDF1DCE8B6B7267E05DDC6ACA34D5134245757940]]", |
| "FP4frob" : "[[0DCABFFB5D5B4E871001655E1A88F745944B277C8013DCE8FB0C42088DFE1737F2F82473DF2ABCD903AFC2EE2C24179C,02EF5199F098EB28C7CC0BD690D0C9EB618FEC369561D0519837740E9FF748D0FD47D8B15A768F1774FAAE744D426736],[0EEFC259086CCA2CAD284F331C78C17A16A4E6F12D1DC6134D24DF7FD09C69E4BB6594859EB8A5107E7B407E82CC8A94,18BD9BCCBFC4855F30C55E53DB51C63ABF9BA8212E20AF875FAA17B4DC1E188ED13518091340D51930D5D4531998B362]]", |
| "FP4xtrA" : "[[0EF424D37255597282B818B67B116E9B0AED573F76584BFC4EDEB9D33229A4E3703E03C7E642BED3CE34C88F99E66910,4E6EF74C7D81BB87A617E96E9C86B3C274F2EC2D125665F8B5D01363A11B0B3E8F54124079061E8CA7919FF41553A3],[161946F67A0458C5A4C48BC0AA70C27E7F1D503DA2246A79C7171F959367750238E40620891038BF15F6AFA3F8D8929D,11A4336854ACD8A30072DA03CFA520027015D2AAF3E075BDE156EF1AB4730E5535F7602B9F6B392958C82241B42014C1]]", |
| "FP4xtrD" : "[[02C8641B4C8E6543943024BF0D9EA06270B07341444F8702FD5669F5EB32FE4BF150AC0E89EA0AAC2C0EF03B09B7031E,11E3BAAF72F3A47B596477A81B99C5874EE841D1837C32CB349838306DE4AA892FEC6AB638C99DD327AA6206D0F4C9F7],[0A14C908512D0BB94853D655852CC09DA7F7CFC3D517B72DA047C5A6F11D4B5E70FEA2F3E3FB4ADB745627FB29969814,14E55D7CDF573AD1BD6B9CB702190E7BB5441240E00281EEC47A9A2228F6D55755397F8F1EF0AEFD7E60DDC4FEAB9993]]", |
| "FP4xtrpow" : "[[113EFFA4CB0C6E5E582A5C31B8B32EA078DA4BC90BEFFB248AED3613F3B235E5A6F8B03C57982ACB522195D8C5215472,08BA048174030BF049E67B858B11C2DD32E60F30AA83E556ECBA73F597A4A8476B99F1050E9A375A62C01047392EB684],[17DD96E065B308AC3EB398ABCC8AC11AF7B467DE4D4E74D9FB1D7F21B66D8B61819D01CE302E1EA11FBFC8B805C41D57,0E71072C10968C1E1E4E2769209C553369E67CCBDBA9EB8210EB36B375BC4E3667C30E5244B08D929CFCE90DC07152DC]]", |
| "FP4xtrpow2" : "[[11569D61CFBCCE2C9985727810EF839D0627329115030B23E957ED3D3AAD2AD9F5434FD159BF0BB859560436FCD22C38,D4EA472E94879479584F0D7FF8196F9C172F115CC9777586C8BE23769A0B22BDEDD2DCC7AE7E26022357687CD0C6AB],[0C9A7D8B20FA844A096AEB8ABD301DE2F670B129F16D581BBD09430311680722CC5A81BE0B1611E225AB20D4814E98CE,0724E87A55757E4730F00EAADB17EB81816E0F00A9DFA9E0AC197E3AFEDBE6ECE5BCCA11D4DF347D5444422B12D319F6]]" |
| } |
| ] |
