| [ |
| { |
| "FP41" : "[[AAAA758F9999511946791DA2A3FDDC53736A11AE82ED02858962DAF07E752DD4,5C04C104E8DA0C6569F7198D152AD26C0EEC1B20CF6EB311872D8A2C63393B1F],[0CCD7A5C0B8497E14141D1803C735F150ED17CAB4A338DC35D52DEA9629ECD,E43EAD38BE8454153ED8D5C332798991174905EB3D3F61EEC60B782F36DBD121]]", |
| "FP42" : "[[525D5D189E23BDFE3E382F0EBD26B95054311925BC63D9A3B5D6B859BAB8FDF8,A27FA627776DB0F6D73C69DF2BEF4CBFF56048FA789B02F9442D48A66541D023],[0D7F1F42D91BBACD0CB42F6F7754DB1F0FC5F549867B63DE5871196A20B61F79,B68803770B984DD05120D2AC2AD2FF213B8C666A777CD8E561159FD7A348EDF6]]", |
| "FP121" : "[[45001B4E9572178CA87F38719570814D9B470A59FCB6FAAF7BEBB0B0F53E96B3,8AC6718F2C26E62034E1FC68D4246F94C2A35E67755E96133D1ED67E28B41A2C],[3E4F3EF1EF85F32C796BB249F2AB3F04EA5F7CE682CE9D0666F537AEA5B7D3B9,A45912A3B7717589F02D7CED073271C1812B2874ADC711A76681C856F7AAD5DE]]", |
| "FP122" : "[[45001B4E9572178CA87F38719570814D9B470A59FCB6FAAF7BEBB0B0F53E96B3,8AC6718F2C26E62034E1FC68D4246F94C2A35E67755E96133D1ED67E28B41A2C],[3E4F3EF1EF85F32C796BB249F2AB3F04EA5F7CE682CE9D0666F537AEA5B7D3B9,A45912A3B7717589F02D7CED073271C1812B2874ADC711A76681C856F7AAD5DE]]", |
| "FP123" : "[[984367CD5FB74D22F90C17E92FD82D34E4F251AA90FD1DCDFAB5A913542637A1,E9400DC2BAB33BDF8537FFC55FF019655B463BBA8436DC71752A02BB834527F0],[A32A0811994D9D540AC0327665895871C1C6B9DEBE44F76F8547A902ABBD710A,93B2612ED603C0174CC66438661EF88C9088573112E814657FB141F22733628F]]", |
| "FP124" : "[[76ABBA063D59A6FFB79CCD4704CA474D37581AE0ABCB8926F5C43F2B1E2DC4EB,CD32D0A5B7C7D0C843B22DFBFF99DE13C9E25297BC8FDFB1A71D2CF6D4A78631],[D86685D0D620EF95E18FA5F0396F50B76A312CC2C7F78E9359789BC8329505FD,CB42C81B4F0977CFE8954E2FE5ED9286E6C379B4D9FB594DE2747BEAE1E12760]]", |
| "FP4add" : "[[FD07D2A837BD0F1784B14CB1612495A3C79B2AD43F50DC293F39934A392E2BCC,FE84672C6047BD5C4133836C411A1F2C044C641B4809B60ACB5AD2D2C87B0B42],[0D8BECBD35273F64EDF57140F7914E7E24D4C6C631C5976C1BCE6C48CA18BE46,9AC6B0AFCA1FB1184913B6106EDAE41345F9065AA224305153F7EA2B2B518F04]]", |
| "FP4neg" : "[[55558A7066639FB4006CD4BC4A73C84B9972544C8FAB07FD49C652EB305E023F,A3FB3EFB1722E467DCEED8D1D946D232FDF04ADA432957714BFBA3AF4B99F4F4],[FFF33285A3F16C3565A4B08D6E35313FF7CD947E674DD6F50FCBDAFD05709146,1BC152C741789CB8080D1C9BBBF81B0DF593600FD558A8940D1DB5AC77F75EF2]]", |
| "FP4sub" : "[[584D1876FB75931B0840EE93E6D723031F38F888C68928E1D38C2296C3BC2FDC,B9851ADD71694C3BD9A0A20CD7AD2A4B26683821696BBA9B16296F61ACCA9B0F],[F28DAE3782ECBA981B7304C0F7593CDF1225422E3766DA323E156750377FAF67,2DB6A9C1B2EC0644EDB8031707A68A6FDBBC9F80C5C2890964F5D8579392E32B]]", |
| "FP4conj" : "[[AAAA758F9999511946791DA2A3FDDC53736A11AE82ED02858962DAF07E752DD4,5C04C104E8DA0C6569F7198D152AD26C0EEC1B20CF6EB311872D8A2C63393B1F],[FFF33285A3F16C3565A4B08D6E35313FF7CD947E674DD6F50FCBDAFD05709146,1BC152C741789CB8080D1C9BBBF81B0DF593600FD558A8940D1DB5AC77F75EF2]]", |
| "FP4nconj" : "[[55558A7066639FB4006CD4BC4A73C84B9972544C8FAB07FD49C652EB305E023F,A3FB3EFB1722E467DCEED8D1D946D232FDF04ADA432957714BFBA3AF4B99F4F4],[0CCD7A5C0B8497E14141D1803C735F150ED17CAB4A338DC35D52DEA9629ECD,E43EAD38BE8454153ED8D5C332798991174905EB3D3F61EEC60B782F36DBD121]]", |
| "FP2sc" : "[AA3EBDDB58313A6DA19D9E4D40AA2B134AF20733846CC040E343EB9DC62B8DA6,4BB4059D41E0B30AAEA4FCF0583828078A7275E100C19BEFAE64621A8F81FB58]", |
| "FP4pmul" : "[[F5F8B1575D9F1617C1B764BB9CFB1C629CB5A9C91BD5AF94C7C835047F815608,AA33EF624BD421D3B2865251F33317355FCA95BFD752789AA6263D8212AD58AF],[E308B2EBED17AF172764AD140BC523AA3A49F9118E4C216A666F781E62B8344D,BED6353B9B7B5F44CD496CA5C427AAD9BBF3D95E4711AA100DBAFE88D39623DD]]", |
| "FP4imul" : "[[00,00],[00,00]]", |
| "FP4sqr" : "[[A673A34A22C364415D0169C57BCDA4715FD336F4BF345D82FFF6F3E09AC2E6E7,6E469A266B131638833E1B8F650F04918F81A97C65E05A7DDF299F9E49CA24B2],[9A8A8FA2690783B3E8A2D890F4C23492893F14252CB9BF98E1C5DE58218187B9,99536FE1B63A22D6F45A1F35D0C90B5199A167FA3A1D4C84C290B2218B46EADB]]", |
| "FP4mul" : "[[A6451C08D2F1C9F23740C7F51CFD53C10EDEBD62E02B348118B594649DF87515,395A0BDDD86E241C77FC8AFB9724E693A91C8D00EE6C53CB3A44C25FC70898F1],[AE89892C55678E7D4814A70998B86744FA534B2DB79779AA69FF069CD32B1EB8,E2F6D531320D6D235EE0D13369EE9DEF3E4690AABD4B3F5240A903296CD7DAAA]]", |
| "FP4inv" : "[[E451BC1553858D5EB4DF36D7E4AC22ABF338F6539DA52333E74A25F241041F71,3D1DD5F8B0E396831C986030904394FA5204521E0ABC083527BDD3763D21277F],[F82ABA1066BA53DB9543512DF4C89D2BD99C8D9FA3BB94C9C66ED11BA56D01D7,895FE0BDF94232F59C0399E7D53046F32FE0E734AEBC9FAAF83BD90344722E01]]", |
| "FP4mulj" : "[[1BCE20419D84214FE94E5E6D3C348E6D0AA2318C80A2DC21D07B088B2159FDBF,E44B7AB31A8FD8AD201A1794B2B5FCF02C57D767E889957C8968CB0DE03E6FEE],[AAAA758F9999511946791DA2A3FDDC53736A11AE82ED02858962DAF07E752DD4,5C04C104E8DA0C6569F7198D152AD26C0EEC1B20CF6EB311872D8A2C63393B1F]]", |
| "BIGsc1" : "E9905A4D6E0E8A576E3D8B32F2BD295D3066FC3E1D7DC44FE36FDB9B328C5FF5", |
| "BIGsc2" : "04", |
| "FP4pow" : "[[B1BECF3C5DAEBFBC5A1576E76A0470F1E319C93486450972AB43FCB04CA6B2B8,F6D9EA22DDA9609103E3BEC1A2A5D62BF70E579B5F33424E5C1DD93B4BC49F15],[C937B2D52B0601DA4DF5C947F29A148322B6849C4FBC0031933FACFA799D0CF0,1E56E31806F77A9DBC76970607E5F7A87D10845F227CEB455EF25C54525DE6B9]]", |
| "FP4frob" : "[[AAAA758F9999511946791DA2A3FDDC53736A11AE82ED02858962DAF07E752DD4,A3FB3EFB1722E467DCEED8D1D946D232FDF04ADA432957714BFBA3AF4B99F4F4],[4FCCDD40A9858F0AF9FC8427AB5A616BDF809E8CD2FB26C35A3C841ECC2EFA23,3D6CA2B675E9575FC5F580C6A5CDF7DC2D2E32051F89045ED02406110AC42264]]", |
| "FP4xtrA" : "[[638DB8652C9388F9E1E9E3B9E125B4E52613E9BB9ED454EBEF32A1D461D6717C,44BBFF764047F8FC5A5140B87C29D8A432DE05D4354B51521680615EDE7034B3],[2F446D2F80DDDC77B8D3C086B2AB1957EE2699586C6F5F4604F303DEC07254B3,8E9638A3AA9BFB2F281280C2A21F45FE457084330193712B3A4EC60F4F6C06C5]]", |
| "FP4xtrD" : "[[511EB82AEF8DB2DC16F520DF2243906985DB7992CBF262FAC05A6BDB4CABBB52,B63D181C995BEE3AF635DAD4292B04587E85D935D99AFEDDA3F7B921322ADE87],[9AA42A97211E8CE3AB255C33F53B1B50B35CB71E834E26B4688084157446C553,61D0CA533348E966E43FE5FE58D8D535AE7AA7DA8F6BFB5CA85546C89B582CF7]]", |
| "FP4xtrpow" : "[[BE59B7D6D9C518C005E744ECB85CC23E6A4DC51A559F29C7B68C9C5A96FB51E5,190BBAE404396A0F763A01CDDE672B7D073DB423D21ACCA3632E09681CD66CFA],[99F40A1C53059EFEAACAF269AE72A780CCEFE17E0AE32E49555E09848AF3F7FE,8260CCE9D0686880D594EE4239CB2AF779D0374B4F548247F2ED8B858893A9CA]]", |
| "FP4xtrpow2" : "[[839B0E8E7624AFF07758187E4EFE69BB17183B1A9B5253E96DE44AF7EBCC7546,45636CDA437117BF52DF51480E435CF07243E427FE2CE9C1A80E446BECF0F1D6],[BF7516A5538CB9E64F43AFBF9B11119D342BADF3735BFA8563B4237774BC3AE6,986C732C2ED1B2C580B95F82820E9F4405836C3E206CB1A9AE2092A71F1AEAC7]]" |
| }, |
| { |
| "FP41" : "[[325E47ED07936A970475EAF450C1341B87327BDE82B0E001C004977DE43CCFF2,49BD943EC2D0A5BF4CAE0FB497E9F4F075492AD4B1FE46BADFC9DAD8226C9D7B],[8165A2C252E66CD393DC0842281EA708C16B5521C6DC64E25F0D15EDD1BA637B,25FDA74844E70D6A7AC103014E523A939BE8375519FC25A745250F4897C81FA2]]", |
| "FP42" : "[[3D6D8056A6024A4856402FFA0E69F1999E071222048F9DBFEA9098049F6F68AE,5849F656E6860F6F461C388F3BE608270EA398430F3ACADDBCB6CCDC5D79F0B7],[4CC37D220C72F50F72B14F8FBC1069056F83D58FD74CD60E9C2AC44F8CA298EE,93A65F6AD08A968B27498509F6938E8A474EC2366FA19968E41F6FA4818BD2E2]]", |
| "FP121" : "[[93E9E94A7698CF096DEF5CBDEBF9DBA2980185E7F3989381204814F1935394E8,2105405421234824DFCA87801178C9C992818E17790EFC49B0E3B934D0125F6D],[86B0BABF412048D7774886C1FAE5A79642BC89EF0C3E2E0638EA6A9BE3199BF8,7D0392C742EFFE3818B4FF9E9D7A9D8F4A34194FC88EAFB81063A5E980ADCBD0]]", |
| "FP122" : "[[93E9E94A7698CF096DEF5CBDEBF9DBA2980185E7F3989381204814F1935394E8,2105405421234824DFCA87801178C9C992818E17790EFC49B0E3B934D0125F6D],[86B0BABF412048D7774886C1FAE5A79642BC89EF0C3E2E0638EA6A9BE3199BF8,7D0392C742EFFE3818B4FF9E9D7A9D8F4A34194FC88EAFB81063A5E980ADCBD0]]", |
| "FP123" : "[[3BC721707AC0E381B9558DF7858AF57C6729B8C80AD58A91F31CEF22728EC74B,A035F610A7F6346D40D9E933D625693258ED28F11A2A17E10442B24409F1CD79],[336271654DB1540AB2B466F8BD103F0EF29ECE91D09261F7228CE4B3D783A1FE,A2D7767EC4BA1C281AF714AB4A3EB8A4C9E59A76C07B7B674259F3A57EF63119]]", |
| "FP124" : "[[BDBE711248D17136D14E453B4F385D08858932D945EEB097C1C8914F7DC28964,C1F1E1215518902F45C72FF34BB36F4AB08EDEA087B7AF130A8D704D9C49A49B],[844DCB53B0E4F2300B1FD8301A726E87C4ECFBB667762EA019541A4307BB34F1,5E286967A0A930BC8E8533DB36D66DE8D178CBF574BB5E7BE114930721C60274]]", |
| "FP4add" : "[[6FCBC843AD95B4DF5AB61AEE5F2B25B525398E0087407DC1AA952F8283AC38A0,A2078A95A956B52E92CA4843D3CFFD1783ECC317C13911989C80A7B47FE68E32],[CE291FE45F5961E3068D57D1E42F100E30EF2AB19E293AF0FB37DA3D5E5CFC69,B9A406B31571A3F5A20A880B44E5C91DE336F98B899DBF1029447EED1953F284]]", |
| "FP4neg" : "[[CDA1B812F86986364270076A9DB0708385A9EA1C8FE72A811324965DCA966021,B6426BC13D2C4B0DFA37E2AA5687AFAE97933B266099C3C7F35F53038C669298],[7E9A5D3DAD1683F9B309EA1CC652FD964B7110D94BBBA5A0741C17EDDD18CC98,DA0258B7BB15E362CC24EF5DA01F6A0B70F42EA5F89BE4DB8E041E93170B1071]]", |
| "FP4sub" : "[[F4F0C796618E111BF51BAD5930C8E720F607CFB790B94CC4A89D2D54F3A09757,F1739DE7DC47871D4D77C9844A7591687381F88CB55B865FF63C3BD773C5DCD7],[34A225A0467377C4212AB8B26C0E3E0351E77F91EF8F8ED3C2E2519E4517CA8D,925747DD745967AC9A5D7056463050A86175DB19BCF296C1342ECD7FC50F7CD3]]", |
| "FP4conj" : "[[325E47ED07936A970475EAF450C1341B87327BDE82B0E001C004977DE43CCFF2,49BD943EC2D0A5BF4CAE0FB497E9F4F075492AD4B1FE46BADFC9DAD8226C9D7B],[7E9A5D3DAD1683F9B309EA1CC652FD964B7110D94BBBA5A0741C17EDDD18CC98,DA0258B7BB15E362CC24EF5DA01F6A0B70F42EA5F89BE4DB8E041E93170B1071]]", |
| "FP4nconj" : "[[CDA1B812F86986364270076A9DB0708385A9EA1C8FE72A811324965DCA966021,B6426BC13D2C4B0DFA37E2AA5687AFAE97933B266099C3C7F35F53038C669298],[8165A2C252E66CD393DC0842281EA708C16B5521C6DC64E25F0D15EDD1BA637B,25FDA74844E70D6A7AC103014E523A939BE8375519FC25A745250F4897C81FA2]]", |
| "FP2sc" : "[2984DEC089B9C7BDACE0462F7FA079287422DA7133AAB290ADA3FB1EC379BF51,A9345490A21D6FCB8C91E662382A002D590782527D45D4400B9FDCE16EE2557F]", |
| "FP4pmul" : "[[FF4845A22BA7D6D925726F7BDCB2FDB9A06A4ACF5D1320B750F2C971559DBF64,015EB89BE298E6E3F46260B3EA9F9CFEEC962A37335520AFE44283AFA75AC4F2],[4B71BAADA8D592EBA9DB6DE65847B296DE8C141197D35633FF05BCE9A7F5524A,9A6493013BEBD06066E2161C5E985741DEF985EC4116B807B6F0769199EEEB5E]]", |
| "FP4imul" : "[[325E47ED07936A970475EAF450C1341B87327BDE82B0E001C004977DE43CCFF2,49BD943EC2D0A5BF4CAE0FB497E9F4F075492AD4B1FE46BADFC9DAD8226C9D7B],[8165A2C252E66CD393DC0842281EA708C16B5521C6DC64E25F0D15EDD1BA637B,25FDA74844E70D6A7AC103014E523A939BE8375519FC25A745250F4897C81FA2]]", |
| "FP4sqr" : "[[B8601CDC094A3BFECFB7707F0C8CF3B7B5D0DAF9727FE6E4FB3E3A4AA4FDEFDC,5D735B9A0A926C053D81E840194300CE3993B934B27CA79FC5DC740DA3289B9F],[4DC9754BBCE01E481B53F957FF24D085AA31D8FCA08D126312AC64DEA29D711E,E01833E2E1B9D56681E47F338C20BC31AEC299EED5137B20EB19A6586DD8B623]]", |
| "FP4mul" : "[[609ECCEC81D573BC65C11E9A7D301F451657C5A85D6569D693AB1BEE65806DB1,ED99F09BFE5BA3817A762E6A5CE9654ACEDF1D96724571011597EE3B3211CA0A],[542E9EED97AED7EBD46AC7A44BFBE4D74E76EACFF8AA041CA39665999542F8A2,D76DFB2EFA3D3F6AC99213D45A8D06D89FE0303655914C5D0537CF25F3BA024C]]", |
| "FP4inv" : "[[8CC4D0186D98C48CA9A7B47E5D405735BCD840B3746B3C5F4CEE94575A5E0E05,41D3D159FCBCF9934D17F496F0DDE24891DE9F5401428A7B44E432C4BCCCC35C],[2D1FAD1B506E44FEA87A6C0BB2E06AD64D265E6C8331BE10404F53B161B6E2C5,FEBE2B2B091559DF098C3D24C1498BE6EB138B142DB6F2227A74F093D6A35B84]]", |
| "FP4mulj" : "[[5B67FB7A0DFF5F69191B0540D9CC6C7525831DCCACE03F3B19E806A539F243D9,A7634A0A97CD7A3E0E9D0B437670E19C5D538C76E0D88A89A43225366982831D],[325E47ED07936A970475EAF450C1341B87327BDE82B0E001C004977DE43CCFF2,49BD943EC2D0A5BF4CAE0FB497E9F4F075492AD4B1FE46BADFC9DAD8226C9D7B]]", |
| "BIGsc1" : "8E4FA5B4CD581081337EB00D1C4A4D9189A3D97928E8AD4B350FEBCE686BE949", |
| "BIGsc2" : "06", |
| "FP4pow" : "[[98DDCE4592374055A529CAD798380E98E25F0D9FA70B87401B1297590CDF2337,269415C5FF971F3BE6494E2A9C68A354AC82E7A09FA177B9AD266E09B63995AD],[E5E1E6BDF0AE4571440B705AB3DD4B4EA949F158A6047EFE8CFED973D33E6613,4CAE455C80B2FE0222820890B99BC6EFFE2C2202AAECCC3AFC49A6CFEA8A1440]]", |
| "FP4frob" : "[[325E47ED07936A970475EAF450C1341B87327BDE82B0E001C004977DE43CCFF2,B6426BC13D2C4B0DFA37E2AA5687AFAE97933B266099C3C7F35F53038C669298],[B5A6ABBF88DA1DC1BDD3EB7C9AA01FBA5E931A1E30982092AA4B833D9A45DF11,946E844B88B7D32DF5ED18C814A6330928B33BFCAD0504603A61AD459A21FA50]]", |
| "FP4xtrA" : "[[291D0CA0EC5152CD1CCBA73A18E2B794F106D31C75B502D4E2156ABA56A71878,F62F010C9553B744D384C2FE8AE0A745407001697DC6D0623D7FFC0E0530218F],[9887C4B4BDF0B57A4A79B89C561D1ED9164DDE3123DF3D748A2B4B47BF3433B5,B9CE6EE3A171B31743C4C076B4E922C626547E7C8980557E6DC35CEEA4055194]]", |
| "FP4xtrD" : "[[53A38D01FA2366D0C6CB9A966B0A8B80A76BE33C6D1E26E17B350B4EDC844FF8,C9F8331C84EE1153EB0BBB35D7E0BB8C5BDDC986611824ACD971EC390D2290BC],[5094BAD062B00721FC26177D60F079F8202C1D451BADD1A4FD9D62DE973F0801,2C1382736B8AFF6E308092D73A538CB9D9B6A29DF673BBECA23A970DEE95C554]]", |
| "FP4xtrpow" : "[[2986B93DCF56340DB3BE488A5EBA38731178896F90AE3E91EC39ACECA097EB83,0C03B6A0675AE2306035391D2B0BB18931A4C26B2D87A524C9DE58B0965F226E],[71E3B62BEC95848F43AB7086ADBBCB06CDD58A53172C840BA96A7133B25C0B15,97B4253C8433D43696EB5B77C3A56D15E46A5240859179D9181A6A09FF3A7401]]", |
| "FP4xtrpow2" : "[[654C0147A39F0E05B15EDF89940F4F208E733D1D1CC02C1814ACA0C0D75BD7F0,327514544D3A55207524A2DA98F2EAA4DA7E39DBC5338A9B1A76EAF3327E4469],[AD87FFAA6EC9F1B135FAF785F59254FD59FFD701A553516FF8B3D566C0AC5DAE,6FDF68B1A32F47D58381B18E8EBCDCAC0483A40F0B8ED9EBA9B0405C8A0C086B]]" |
| }, |
| { |
| "FP41" : "[[3C911BD44C92E99E58F217CF9D5CAF7DF5015EE646D2ED36A74A80C1389E4208,54AE5D88DA06AB5C7046158BFA31873392C7098065CD4E4AAD708A31AF979EAC],[CBB7BD733D74BA9C91311088B577EAAFA9067532B113122451AE68C6BFA219AE,EABF65472D84EB3FF7AA1E16274C83BE9E459BA51306D1AB280932A6ACFDFDAB]]", |
| "FP42" : "[[41F3F8DE8E78C1BAEC9C58008B20C327AF9E3394D576E9E6C35FF54C5AAB0012,FFB6B0710D26FA534B7B83D2784620B260E824FFCBBD03D643041657C82F03E3],[C1589E8190E6DAC26F2EFC3D94C13EEC663A3F00441FFDDBA9F9017B401FD495,42E806759C906D6ED04F5609EE5DB47EC5CF2B6AC310C083D9C46BF507DD7726]]", |
| "FP121" : "[[A44027C9A2D0DD15A6B62F874784E9343218750CE4D121C4EE0E09D501E151AA,82F9860CCD53D43F5E230C39F06A032CB379A4B09A4C6AD04C526D03983D14AA],[EC59A5BFF610E304188735C32D7231D755234EC4AF9B1AC6D90E5B85B03A6FB9,A90C87D5A6D0D7262E097FF252F53A98AB86DCE835CD1DF5C45A31F950E4C92B]]", |
| "FP122" : "[[A44027C9A2D0DD15A6B62F874784E9343218750CE4D121C4EE0E09D501E151AA,82F9860CCD53D43F5E230C39F06A032CB379A4B09A4C6AD04C526D03983D14AA],[EC59A5BFF610E304188735C32D7231D755234EC4AF9B1AC6D90E5B85B03A6FB9,A90C87D5A6D0D7262E097FF252F53A98AB86DCE835CD1DF5C45A31F950E4C92B]]", |
| "FP123" : "[[C4B56C23CB1DEAB39231C8F0F327B7F0319DE33753555420F71C2D78BDDE2ACA,1BAE2C2B6899F3C653AD2E70FC452CDD19C845FFA7D4B4EE1A64720D0862B490],[B6CEE9E53A67D0B33FCB8E79E61DE610A1337A434CA9DB677986CD3E7F1C83F3,76C2C04050539FA326E7A1F8DDCA3D3AF77989D1A43598FE81D0E33EF41C20A5]]", |
| "FP124" : "[[4063DC8CB06261E499B872FB73811DF26EC7563DAAB1EA347408843586F491EA,F060C58DD990903741477D00A6756152612E547830D2757BB759DE8FB5168674],[E290FD5FB4A429AB9F734CCE13C9CCB98C573923012156E91FD72AA313F23B26,CBD6A46C6F15EEA8690AF679B55BFEDB573A5281081514B186A96D956BD321F5]]", |
| "FP4add" : "[[7E8514B2DB0BAB59458E6FD0287D72A5A49F927B1C49D71D6AAA760D9349421A,54650DF9E730B4E274DBA6FF84060346E6D2C8851EF2479E1D4B72ADC8F3727C],[8D105BF4CE5EA491B97A1A675BC784FD02644E37E29B057D287E3C6650EEBE30,2DA76BBCCA1867E1811381C12738939E57386114C37F87AC2EA470C0060844BE]]", |
| "FP4neg" : "[[C36EE42BB36A072EEDF3DA8F5114F52117DB0714CBC51D4C2BDEAD1A7634EE0B,AB51A27725F64570D69FDCD2F4401D6B7A155C7AACCABC3825B8A3A9FF3B9167],[3448428CC2883630B5B4E1D638F9B9EF63D5F0C86184F85E817AC514EF311665,15409AB8D278058D4F3BD448C72520E06E96CA55FF9138D7AB1FFB3501D53268]]", |
| "FP4sub" : "[[FA9D22F5BE1718B0B33BB22E00AD90F5523F914C83F40DD2B713B9508CC67209,54F7AD17CCDCA1D66BB08418705D0B203EBB4A7BACA854F73D95A1B5963BCADC],[0A5F1EF1AC8DDFDA2202144B20B6ABC342CC36326CF31448A7B5674B7F824519,A7D75ED190F47DD1275AC80C38EECF3FD876703A4FF611274E44C6B1A5208685]]", |
| "FP4conj" : "[[3C911BD44C92E99E58F217CF9D5CAF7DF5015EE646D2ED36A74A80C1389E4208,54AE5D88DA06AB5C7046158BFA31873392C7098065CD4E4AAD708A31AF979EAC],[3448428CC2883630B5B4E1D638F9B9EF63D5F0C86184F85E817AC514EF311665,15409AB8D278058D4F3BD448C72520E06E96CA55FF9138D7AB1FFB3501D53268]]", |
| "FP4nconj" : "[[C36EE42BB36A072EEDF3DA8F5114F52117DB0714CBC51D4C2BDEAD1A7634EE0B,AB51A27725F64570D69FDCD2F4401D6B7A155C7AACCABC3825B8A3A9FF3B9167],[CBB7BD733D74BA9C91311088B577EAAFA9067532B113122451AE68C6BFA219AE,EABF65472D84EB3FF7AA1E16274C83BE9E459BA51306D1AB280932A6ACFDFDAB]]", |
| "FP2sc" : "[8AC82251957261FF38E81560BC54F3D71B1197F952EB9908BB5FB4BF406D2263,530603AD414D55D80E7907F38E07182A58349EBC897B9709C77E9A4E2E6A589A]", |
| "FP4pmul" : "[[5290F6BD6F8D0C25E18A41B022D4268785126278925704D551CCB0ED3EAC58E6,57CFD82A94B09CD3E05AA0EE9031C544DD42B95EEAD31E4F8BC9A96DAAEA3C90],[5ED0EDD77451ACB9FAFD541D034796D040B1662B5C07A06C684C0E3C7F6C7807,BDD384A5120719166EE6A79C650C8ADDDD58960505DC9DA1377DA01B4A1C15D7]]", |
| "FP4imul" : "[[792237A89925D33CB1E42F9F3AB95EFBEA02BDCC8DA5DA6D4E950182713C8410,A95CBB11B40D56B8E08C2B17F4630E67258E1300CB9A9C955AE114635F2F3D58],[976F7AE67AEC846BDB7C2EB27C7E30C04530846A4F8E19C5D033A3B1D0710349,D57ECA8E5B0CE5B2A86E49CD602762DE2FAED14F137598D37CE93771AB28CB43]]", |
| "FP4sqr" : "[[A3A8ABFC4D6C3F8BAAA6C3C4123F2C1E22E91BD970CE0612A79D7FD55AAB2100,43BFB6D51041B71E5ECFF29171004964493E34529F8AEA00EC2A5D2BFF9A84A6],[6D05438CED3E1B787B594FBA50BA0239DC1AF93E5C288D426D1587D3CACD55EE,362D2AF9602A384E1B75B86BD106D72024257203DDDDEA7695755FFDED6A034C]]", |
| "FP4mul" : "[[826FDEDAF0E4907B338B42DD01F477773A83A337FC586CF7819D88E653B0A8E1,8593E13AB8DE5C1B5B93F6CB112E41300016E2689CB1D5197EA215C5E9CE1356],[EB259C84EF61B4C7FFDA0261FBEAFE85257601412ABB2128A27FF0D6A3C40CDF,C811A093A055DFB7EF8C9DC73A72E8B48144AC3B4A66B0CEBC29B81B90F3655A]]", |
| "FP4inv" : "[[653763E7EC682E485876CDD79651579590B272C41B0ECA0A47F205F20E1FF9EE,A90A0F9EE83AAE25E7DFC9D5EA9B055C0EE301C17C8A3C285FFEA74CE2683DFF],[2F676BE975BC49BEDC5CD2422CE44AECA27153E388DEA30AB01E28713466D4F0,A5F5F3608ACDBD7A67CB884876667023D43E2BB8FF0768D64190BCBE59662F52]]", |
| "FP4mulj" : "[[E0F8582C0FECC029E06CE4D17C9D0B90179D3F88B0A44AFBFCCE63FBC1774C16,B67722BA6AFCB50F41F53C3FEE52C9CF3A6FAADCB181D94CA68E6D91BDCCE746],[3C911BD44C92E99E58F217CF9D5CAF7DF5015EE646D2ED36A74A80C1389E4208,54AE5D88DA06AB5C7046158BFA31873392C7098065CD4E4AAD708A31AF979EAC]]", |
| "BIGsc1" : "6B49A5A6478F6C2039BB8D9E5BD816E7092652442D0A4956F533648542484BA8", |
| "BIGsc2" : "63", |
| "FP4pow" : "[[C2F64BBC7E5656CCFAB52BA7F7940447593D58096AE1864BA44B8AC89CC42F2F,25FB7E587DBA23C58407D42A715B00B14D5B41FA48B4AF2BAD627F4E32B828E9],[14CB0B0CB3853FE819193A5005591BA49EF64582BA446B8D3981C412C1E4391C,DDC328D50BF5EBC9315BAC713A93524FA67CFE801FF4BE44C023875093BBD281]]", |
| "FP4frob" : "[[3C911BD44C92E99E58F217CF9D5CAF7DF5015EE646D2ED36A74A80C1389E4208,AB51A27725F64570D69FDCD2F4401D6B7A155C7AACCABC3825B8A3A9FF3B9167],[4D30E1C8FE50D990684FE0F472FE71307AD623C12549DCA9B13240086A1ED718,81EC6E0FF2FAC07C6548870D64B6B8E8097902E9D5E83BB8332A1A31B1B88F45]]", |
| "FP4xtrA" : "[[B851B57043832643545EED3BB661D99DF5F3F4738FF87DB88B97DA337B85D5BE,E6398C6055BDF6F3F2B16F0DBD905A4A180B15BD72C94468B86D2EBB7D6B577E],[95CB4FD80EF1450C3C501D18E7D8AE2DBE3921E35AB3E3D4351C16133416B63B,6B4CBE31294A93DAEF0966D1BBF63B1B4930558A5C1B765CA73E3BA8159454CD]]", |
| "FP4xtrD" : "[[2A867453B4466C4EF8C29424D785CD2238E65E0CE3282BA559087E52E96E9CF0,9A62FBC35C315132C529B9D86B0EDF9C308C874CE68857EE647276A44F3E7761],[0474BE73682DAF170FEF8C0DDEC68E5B146F17AD991E9C856A1FFDA9EC6B2924,0BABF587BB3A2D337CFE0FDA42BC955F46F7DD57DEBB78C73F356993E9BF9E7C]]", |
| "FP4xtrpow" : "[[BCBFB0E2B3E7D73AFEDDDE667F5155F977618A8A3864197DB04117E73B0686DF,C659035E40599EEF7F21D7F748CC7FCDD9237282B9F7CF3A82F787AED60F8F02],[88677FEB76298DCCF5F631C4471445B173C826DDE5740D3F8E5B4D1DEBE028E1,E270053B3BD81951AAA63CF369F8EB8006C2A8D61F11579A4195BF22D69D8ADF]]", |
| "FP4xtrpow2" : "[[BB6669FE0D7F921C75114B5025FD0665AADDF33858DB5B55EFB862EAB19D1F20,380EE1B2E3FB6A1F70FB1CCE13AA3F8DD90AC0F38F136D64BC78D5B37D956B74],[C9939A9B9FF8FD7E8F041134726C2AC1FA5ED1B4CC5604A029F91F6243215A79,13859D94A62796DE81FD600D95FA4174622154A7D9B054EB20F36BB71C0B4950]]" |
| }, |
| { |
| "FP41" : "[[9029549CEEFC37173314E0844E4690B8F277F41D2BE4C0A00E4C2C575494FA5A,AE27D736B8942ECFB48A069D523EF55C8900719B24187A77BA28DDBB38119651],[5B3907C567208FD49187D08C2B346E55D894812FA8EAB4E79ABAE603F4253FA3,F9A8E68CDD4FA04A5D352CFC63E77682BBF8FDDE455F040C3D5BD1FF4ABFF471]]", |
| "FP42" : "[[BC22768AD0AB79D2B4F79D553E3E170B54CE89BE71ED58CF4A785CD0551A20D9,9C43BBE9CE226E147983FE3C39F1948A46D17B18F640D7639B267003131BD10D],[4865A9C37D4511AECEE7F5038103124F88F5AD80FDAB4855267B61505AB908CB,3C7E2B0DE0C976C35E0FAFDA7D6E77048DA1472B0D6B774E31EA9459ADE1439D]]", |
| "FP121" : "[[5AD5B5685987027063BA7CE0644E438E2C4B1D67E8058E45EE30E45A98877EFC,ACB12BA4F019755D253C57751AF40000617240C74B525AF9B5271C30D2D5C7B5],[1DAB2D4A2AAE3E28256C838B9FD09F061E7DE8A248F7086E584A90469882F7DD,7D7352405BEF6C8FE984B23763336F2008C2E25D555A3174985D48B0F0C214EA]]", |
| "FP122" : "[[5AD5B5685987027063BA7CE0644E438E2C4B1D67E8058E45EE30E45A98877EFC,ACB12BA4F019755D253C57751AF40000617240C74B525AF9B5271C30D2D5C7B5],[1DAB2D4A2AAE3E28256C838B9FD09F061E7DE8A248F7086E584A90469882F7DD,7D7352405BEF6C8FE984B23763336F2008C2E25D555A3174985D48B0F0C214EA]]", |
| "FP123" : "[[F3EFC734CA4EA7CC6F3773430B10222BADE2D556C273FDEF01699F2B1A041667,B5D640EDC7F0EC95396A25227BAD8EF18A8C9A9FA847743DA14B3050F507D1D1],[E834501077B530E9A8766C2CE65754A3E2ABF1D5F227F78FFA701A6F455BA73F,8914B0B8E49E700A26390025DF1A0A2DC6DFF8AA1AEC5A54E3E7BEDFCB1FF063]]", |
| "FP124" : "[[97DD60DE79BDD9970CC4180471B85F60352D6D5B03EBF4B40F0C40DECEC0A0B2,A526D9C2F6B4F522187E5CD16AC7CCFAEE0445AE78D1481B7D14370E9274C66A],[7A969800906C44A6235104E0DF645CB6976B33A2887BE311997097FA701DB293,C2FF9E27F213DF1C941491C074E0E228854ED13EC3C63C1E125C237504A98A1E]]", |
| "FP4add" : "[[4C4BCB27BFAAC01CA1268B7A9E1303253A6A17E08B3A0EEC859B5B4BFADBEB20,4A6B932086B9AC16E728127A9DBEE547C2F586B907C1475882261FE29C5A374B],[A39EB188E465A183606FC58FAC3780A5618A2EB0A695FD3CC13647544EDE486E,3627119ABE1C2640745EEA77F2E448E83CBDDF0E403270D79C1D387D49CE07FB]]", |
| "FP4neg" : "[[6FD6AB631100B9B613D111DAA02B13E61A6471DDE6B349E2C4DD01845A3E35B9,51D828C94768C1FD925BEBC19C32AF4283DBF45FEE7F900B1900502076C199C2],[A4C6F83A98DC60F8B55E21D2C33D36493447E4CB69AD559B386E47D7BAADF070,0657197322AD5082E9B0C5628A8A2E1C50E3681CCD39067695CD5BDC64133BA2]]", |
| "FP4sub" : "[[D406DE121E4DAE11C503358DFE7A1E4CAA85D059CC8F725396FCFD62AE4E0994,11E41B4CEA71C0BB3B060861184D60D2422EF6822DD7A3141F026DB824F5C544],[12D35E01E9DB7E25C29FDB88AA315C064F9ED3AEAB3F6C92743F84B3996C36D8,BD2ABB7EFC862986FF257D21E678FF7E2E57B6B337F38CBE0B713DA59CDEB0D4]]", |
| "FP4conj" : "[[9029549CEEFC37173314E0844E4690B8F277F41D2BE4C0A00E4C2C575494FA5A,AE27D736B8942ECFB48A069D523EF55C8900719B24187A77BA28DDBB38119651],[A4C6F83A98DC60F8B55E21D2C33D36493447E4CB69AD559B386E47D7BAADF070,0657197322AD5082E9B0C5628A8A2E1C50E3681CCD39067695CD5BDC64133BA2]]", |
| "FP4nconj" : "[[6FD6AB631100B9B613D111DAA02B13E61A6471DDE6B349E2C4DD01845A3E35B9,51D828C94768C1FD925BEBC19C32AF4283DBF45FEE7F900B1900502076C199C2],[5B3907C567208FD49187D08C2B346E55D894812FA8EAB4E79ABAE603F4253FA3,F9A8E68CDD4FA04A5D352CFC63E77682BBF8FDDE455F040C3D5BD1FF4ABFF471]]", |
| "FP2sc" : "[D7B7541EF03A42D27159742F5827C70EE0BFE264DB389FA4C406F031391217A8,D589AC4EDFFF29FE080477DDAB44F9461EB7084C9A21D7363AA8E000A96882EF]", |
| "FP4pmul" : "[[C986AFDFDC669499964B4FB11A654266088807DB863F72020ED659EA786E3298,7ACC8147D1B5D3E6B19B974ED2DDF7C993A51E3DF2EC0BD2556ECB5825A65D04],[D704C9904BEBFB3FA6F0EA96FBFFC4A4FC9FCB6BED24BF8090BC92FEFBCFA80D,30F3DB2DA5A5CAB0B20256922EF27DC997C7D238527DCF1061371CD00847BF11]]", |
| "FP4imul" : "[[B07BFDD6CCF7B4785258AF2DFC620D8BCA8B765C7116375D57BB572A4EEBBEFB,0A7785A429C2AAD48FD22F1A19D996D7814888DB47195A6188283D7A4A8E62CD],[11AB17503564BEB06DB17F45932BA6627CE11D93E8281433FD0784302D9C8ED6,ECFAB3A697F4FF4489D3A2374ED31A4A1A322DA4AAECF71F11C11A4682997D2D]]", |
| "FP4sqr" : "[[FF70DC81980B0279731F02C26078DEC2DD47152FBEF00169F16B721DE97868DA,0236AA6A9588BB42843323C5611F94DB01EEE7AC3B22042864AE042434E99DE3],[A3F449089977CCCA7E5A2BE941195FF83DA9FAAD68F61551DE4C3CDF3F634319,FAA352B4C160A5EC6E6B87002D93113FA6267A1DBBC3D87FF4B351B95C156CD3]]", |
| "FP4mul" : "[[0799CE9C5890C9794A74E16F1B9429B6A31DB2D2358D6D13F75A5220713A2423,29E2F76E056A45D6A8BA42ECB0E96CFE7C8023D2A1D8C6A0604F1C3727E3562E],[ED5EB9A61076C002249E31DF8A33C53BF245D1C29F02E6DB209A77C06047DCED,7329E548AFE2E49E1AFA9029A9FA5B2BC402F20CCBAA77B4399DCAE38A9ACD30]]", |
| "FP4inv" : "[[6F2CF8EC0C8BB00C8CA229A170CB1A9B56A70661BBB50B055EECC4DEBD85E691,C0248F785C78FE1C75F45C56EFC4469633BF0C9E1D171B9382FB994816AB6F27],[76DDCB446B77640940CD5C4B27747A6AD14BBBDF4DF216DA22961644BD6FFD82,ED68FF3CD3D1294BF2568E0775AE487DB2FB95A5279881FA100F4E52EA7C30F5]]", |
| "FP4mulj" : "[[6190213889CDE0577B3895EEB5BE9C722977E94C7623BB5E308841E058387B45,54E1EE5244733F51A7D70B29A0AA403987B11912DBB1AE7104ED8A2790120401],[9029549CEEFC37173314E0844E4690B8F277F41D2BE4C0A00E4C2C575494FA5A,AE27D736B8942ECFB48A069D523EF55C8900719B24187A77BA28DDBB38119651]]", |
| "BIGsc1" : "901D964C031C285B35E6255E82620DDEEC2DC0F59894ACFAF5B1B04D28D2FCDE", |
| "BIGsc2" : "26", |
| "FP4pow" : "[[C7DC84E9A234ADBD692B558A04024341CFC427E21579652577431931FB500B44,5B427FF775FD443CBBAE44DC092676B4FF29B49CF5215CFDAD26C5D6799736BD],[B700D81C5C93917C5D5E73F98740CE6DAC0545E8F02E3FBF9A4ADDEEEA9F91FB,B04F02F25EE7299B043E7F0E62AE137FBE564BE9DB92A5AAB2C353EADE59831E]]", |
| "FP4frob" : "[[9029549CEEFC37173314E0844E4690B8F277F41D2BE4C0A00E4C2C575494FA5A,51D828C94768C1FD925BEBC19C32AF4283DBF45FEE7F900B1900502076C199C2],[DE95B7100BFCA8A3A8CBC36C58FC12F28DC1CC27B82C99C2336FDCB7D60DB9CD,7D969D8DA4D69AFAA8B03CDF4170DA152ACFEA16E1FC2B5FA25234A5519B4878]]", |
| "FP4xtrA" : "[[EBFEBED42F7CC24475107BD823636617BFB307AE8427D0B5925FDFE3065389E7,95BF9F25B6A287415478DC87E8492C740CC4C918DA642B5D50469EED96C74661],[6FDE757609D2E5E07028BB127D2DEA97EBFBEB639FDE9249F641E9905C6B90BB,6AD6687A72FC2567DE0A968EBA7238498369C9CBE63A97FDA64FA26808F201F9]]", |
| "FP4xtrD" : "[[DF1E3347BA0F851853DB3418B25D61F0053392F079BE8AACA7FC474AEF21A439,A5E6FBFD245A3F3DA8EAFB489984F36009A6D06C1821243E96AEA465226CD167],[5A66589367BBFBA65A83DAA2A9109804E1F69711A833749E4098DB0B78DA924C,EDF51FCE7C0604E69B09FC3B187EB507045FA9E42151CB92C9189A0093EEF58F]]", |
| "FP4xtrpow" : "[[933DD65A485934AAC355018A6E62D95ECCB265842226AD5AE78EDA5469E21198,210FD1F1873A39ECD85D21D4418666E7A836256E29552BC762A6DD7554C3BC82],[3CE1EE5972975B434EF5110ED7DA254B15027B1232751905DF9432A8207D942E,986A40479CBD91092B325D1B2FDA797085376E4A337C9DBA573702139B168757]]", |
| "FP4xtrpow2" : "[[5E113175E47FD1B5D4E2F389DF542C346D681D98C8CCA0924EBD83B37F7DEDB1,11804334B3F7849EA47EE95D0D994535FA542A7AD1FEF7A9BD60058A112F574E],[6217084D3DC0BDD3AD3EE0F7F9710F1D898C515B72E93C31FC9BB9A7665E8CA2,496010227D25DF043A5C3FDB3F83F2030DAFC417B503D01F58E3278087188168]]" |
| }, |
| { |
| "FP41" : "[[BEEBA86DF6F783159595A6E1B7C321B99D4408FC8E2CA4BC4C76BFD94DAC7EFE,B53B8F4893E894DCFAE286E17014BFED11429A86C62786DBB648891AF4F9B8C2],[E778ABA7E256766D7B5E1AD9601551BFF83A466F5B169FBAFB1FDB82FB68AA14,1953D729936809677735D2B78105806530A9DDDA1EA4EFCBC8E43B5EE3808676]]", |
| "FP42" : "[[BA28256971D9B827889D73ED1E7E7084BC670C3A5CEAB930CB477C5652E91089,5EDB2DC2199B7824993B7CFA576F833F9C8C42C232EF42D661E531BAB7892A35],[7455562AFB5542BF21B8C9C79A336681D42CDBEB30BF39B0BE326F8568A93C3F,A6CAA932B1489FBD339927589D9A2C68F559EBFFF328318163CAEA291C81DEA3]]", |
| "FP121" : "[[B4385DF1B4B71466AEB9B6D39F48493A02750E6457C882841D89DE7C4AE348BB,2673EEB092A34D873D3AD6E475B2B2C60A643C688BE7421EA9CBD7520B98B4D5],[21BAB5D1B29587403B316CD6A32C4A5A731B17003D95B8287C6704E0D3859BA9,A63A98357F14D4E8FB7C871272F7D65CB417CD17E478B3FE64D3FD724C5C8B96]]", |
| "FP122" : "[[B4385DF1B4B71466AEB9B6D39F48493A02750E6457C882841D89DE7C4AE348BB,2673EEB092A34D873D3AD6E475B2B2C60A643C688BE7421EA9CBD7520B98B4D5],[21BAB5D1B29587403B316CD6A32C4A5A731B17003D95B8287C6704E0D3859BA9,A63A98357F14D4E8FB7C871272F7D65CB417CD17E478B3FE64D3FD724C5C8B96]]", |
| "FP123" : "[[3538768E176BA41F4917EBFAE663FD511DAB7D7A481388318D707C6C5174B4A0,44C3230D32EE8655236E148A96C6408CAD288864AF9722A987ECCFFA3BDD5E79],[0CE7171ADF4448DA8684C1638BD4529CEF75E193B584DB06F43EA7F150517586,41F770A6DE2A066869F890CA2B4E4007E3C60118115193DC92773A26468084C4]]", |
| "FP124" : "[[9BFE2BC0AA0AB1FE65B774987A8450203E2047A1E3A256AE9456B9232742FC9B,EAC1C16E5D527B2DC17382D5B9AC018408647A563B06F68830A138860E7AAB29],[898E9437C024D2F04FE9267F1084C59DE984BC2BEA6380A8AF65F419A8F2E567,9D1285B82DA66D317F64C9BBA991E013696B85CCD30DB42B520CC4985F46F4F1]]", |
| "FP4add" : "[[7913CDD768D44A6FD74D286FE7CFED9F4CCEAF3BD87F536A44950E53F1C25F74,1416BD0AAD871C344D38117CD9129E8DA0F2774DE67EBF2F45048CF9FDAFB2E4],[5BCE01D2DDAEC85F5630F2420BD713A2BF8ABC5F793DCEE8E6291D2CB53EB640,C01E805C44B0A924AACEFA101E9FACCE2603C9DA11CD214D2CAF258800026519]]", |
| "FP4neg" : "[[4114579209056DB7B1504B7D36AE82E56F985CFE846B65C686B26E026126B115,4AC470B76C145BF04C036B7D7E5CE4B1FB99CB744C7083A71CE0A4C0B9D97751],[188754581DA67A5FCB87D7858E5C52DF14A21F8BB7816AC7D8095258B36A85FF,E6AC28D66C94E765CFB01FA76D6C2439DC328820F3F31AB70A44F27CCB52A99D]]", |
| "FP4sub" : "[[04C38304851DCAEE0CF832F49944B134E0DCFCC23141EB8B812F4382FAC36E75,566061867A4D1CB861A709E718A53CAD74B657C493384405546357603D708E8D],[7323557CE70133AE59A55111C5E1EB3E240D6A842A57660A3CED6BFD92BF6DD5,72892DF6E21C5A778A829DBDD1DCF89B482C57D53E14C8CD38427F1175D1D7E6]]", |
| "FP4conj" : "[[BEEBA86DF6F783159595A6E1B7C321B99D4408FC8E2CA4BC4C76BFD94DAC7EFE,B53B8F4893E894DCFAE286E17014BFED11429A86C62786DBB648891AF4F9B8C2],[188754581DA67A5FCB87D7858E5C52DF14A21F8BB7816AC7D8095258B36A85FF,E6AC28D66C94E765CFB01FA76D6C2439DC328820F3F31AB70A44F27CCB52A99D]]", |
| "FP4nconj" : "[[4114579209056DB7B1504B7D36AE82E56F985CFE846B65C686B26E026126B115,4AC470B76C145BF04C036B7D7E5CE4B1FB99CB744C7083A71CE0A4C0B9D97751],[E778ABA7E256766D7B5E1AD9601551BFF83A466F5B169FBAFB1FDB82FB68AA14,1953D729936809677735D2B78105806530A9DDDA1EA4EFCBC8E43B5EE3808676]]", |
| "FP2sc" : "[32B422F4BE2E20BBB99C5A30183BC08FBBC46765D704C35B6AEADB2F2CC73CBB,BE72EEB289564D4A0854C84B84908D6C7ECB7E9D17AE9A6EC8F7F460119D7535]", |
| "FP4pmul" : "[[045ED8EDA7A4EEFC68E8373CC9AF58D0ADDC08B26EC91475CCFD3941A3E7B356,BFED1E967369E762F8CF3425867C9CD7E3AD737D8608588D97305E95FC1D5CA8],[1F70D5BFCEADEF815146775C5B9653A8CC713B4A91A7F7AB7C09D44558D9BAF1,6E90ABA1CD4B64FA8AC5FE48FE700EF9F641074CCDD310A0D0B6A9559AF6933A]]", |
| "FP4imul" : "[[FBAEA1B7DBE42ABBC88AB6C902293DA85B5757FC13827DEB8B88A3ADD90B9BD2,D4EE3D224FA871D95DBE36C7E36FB6762B519E24F36E066932CFC8B4764082E2],[9DE2AE9F8963074E18C69448B5005922BA53E7CC34925F637303E478E1291817,654F5CA64DA0259DDCD74ADE04160194C2A777687A93BF2F2390ED7B8E0219D8]]", |
| "FP4sqr" : "[[8A305DDAF6E8CAE695F43373619D8A90FC9FAA67A1D7969CB8580C39D7005CAA,058B990DCDB3E122261EA89BE36B552B043F6A00665A2870952C38F41BB67029],[FE0C8B5DB5C129CA8758C04CBA9308FB597CC0E4159AB7BEC648BD29B802F461,2D907ECBBBF40D0CAC604E3D4940ADDECA1807D4411C66A7E778386CDE845141]]", |
| "FP4mul" : "[[C384818B7B68F3A3D4990A7AC3D908AF301D18EEABB774E24C773FDE0B3A5975,92BE1FE2CFFE799AA6AB59112BE6658B9971C3445A2EF3B4652F31567F14BF65],[3C74325B9B2FF00118F0BD21421B4BB1FB14E96806B60128CDA2EE2E15BAC8A4,FC92C5490466B022CC2895C926D185701739D459146E88BF24728492C90ECB6F]]", |
| "FP4inv" : "[[48BB8E4AD6F3D5BDD0FEB8AE32CB87EDFD847C2C35670EAFD9E477C2873DB00C,3D1CA64834FA824045C5CC4C626E23C71DB64428AA7C803A2897C6A1194AA7CD],[E9353992E0BDE9FDB6CECFB0CFFDFC7947C8169C339B513DB97A4BB1B78D782C,6424426089313BFDBD4D25618494B9CAD555A5299BF8C3995BFA2340C5149B69]]", |
| "FP4mulj" : "[[CE24D47E4EEE6D0604284821DF0FD15AC79068953C71AFEF323BA02417E8239E,CC82D175C18F07ABADFB31F2A92D861C07BE4E67238503F0DAE90630160077],[BEEBA86DF6F783159595A6E1B7C321B99D4408FC8E2CA4BC4C76BFD94DAC7EFE,B53B8F4893E894DCFAE286E17014BFED11429A86C62786DBB648891AF4F9B8C2]]", |
| "BIGsc1" : "F5948EBAAF2095B8BD7478DEF915A9A1EE11090DFB4E8E24BD13E80CC97D6781", |
| "BIGsc2" : "1A", |
| "FP4pow" : "[[B42557B353ABA4D1E123BCFB1D01409178579896CF700F00B430BE5B53E526C1,E1C98CA12F05EB7FA4F9E984E3C1C687A20D4B67A1F2F0B5AADC2AE5B4B8577B],[9D32A77844D4BC305E08B26195D353AE5B068684419A10AEDFD31FAD744BA97B,C1A564970EB031B1E4BD43E590824866C06334BCCEC3DCB701121C0033C4B50C]]", |
| "FP4frob" : "[[BEEBA86DF6F783159595A6E1B7C321B99D4408FC8E2CA4BC4C76BFD94DAC7EFE,4AC470B76C145BF04C036B7D7E5CE4B1FB99CB744C7083A71CE0A4C0B9D97751],[AF31DA245861959EBC3F2504EF1F44ACF25AD053FB376DD75D276E7D30D9FE61,FE0D2F183690F22F508B1FDA227CA8C33DFCEB3E1ABB868AE9E6BA8B104ED982]]", |
| "FP4xtrA" : "[[E7316FFDBD7771CC2162F04214DF37C1424DEC3798ACF905F92031056E8644EB,18BC0A2DF0824E9E643C17CD74EA206C94E67B54B642AA1CF452D87BDCF45334],[7F8D38959E81DEFCA5DBD61464590EEDB60E39304FB8F9A5BB8B07FAAA696869,D5A6A55DAD93A24BBF7D532400031982DC65F8D61793B2861D8959E4867AA923]]", |
| "FP4xtrD" : "[[0C590CFF08F6B588B1AED80EE088EBBCCEF3FE69981657A6F293BA62EA7A8EC1,9B147A7CA5DC9902BE257F96E0251E8EFB7300E8FF3B2FBECEED82758F695ECB],[CCFDE2AD7A74350AF04911419DDA633D303881CCA697E22F16361878512DE863,60382D1EE2C41FDB9ACBF3AC4B4BAEA92B6BC3887E66463F7940AF2AA5855E2D]]", |
| "FP4xtrpow" : "[[5751EE3CCDA7985B746DBE549163D5C39A8698B1C40D0F59263DA697DB8E37CD,D28C2BEC11228308EB6AC4D6B3AC172C916D1FEEDA2C2BB403CB5F3A76B9D9CC],[C1C171C387F29680701E3F31FD2776A2A32D75E3B592913D92B8C341BB8080CE,A1F3C7CF40452BD6D08E8B512F7461C260B7BDE5E47D7F574358D3D831D0863B]]", |
| "FP4xtrpow2" : "[[0BFE0C08FADA2F91E66DB1EAF410B3CD877E926FEEDD7C68A7F51D319F694BA9,7729370FEB7F030B6BE513BDB26D72870F8FAD7818EE737EE0CCC70FA1405E6E],[5AFFFD7F39B3E99E2D747544470E0C09A0B2BBD6B7FC5D7AA1C32CE3EFFD66DA,91366DC289F3D805B4F3356D737542DFABE4A65C6B4785B63A562DAC6B4D1059]]" |
| } |
| ] |
