| # FP4 ARITHMETICS - CURVE: FP256BN, Modulo = 0xfffffffffffcf0cd46e5f25eee71a49f0cdc65fb12980a82d3292ddbaed33013, BIGmax = 2^256, Frobenius_constant = [0x3d617662ca786f352d1a6e8ddb0867cf39a171511e3ab28f74760328af943106,0xc29e899d3584819819cb83d113693ccfd33af4a9f45d57f35eb32ab2ff3eff0d] |
| |
| # test 1 |
| FP4_1 = [[AAAA758F9999511946791DA2A3FDDC53736A11AE82ED02858962DAF07E752DD4,5C04C104E8DA0C6569F7198D152AD26C0EEC1B20CF6EB311872D8A2C63393B1F],[0CCD7A5C0B8497E14141D1803C735F150ED17CAB4A338DC35D52DEA9629ECD,E43EAD38BE8454153ED8D5C332798991174905EB3D3F61EEC60B782F36DBD121]] |
| FP4_2 = [[525D5D189E23BDFE3E382F0EBD26B95054311925BC63D9A3B5D6B859BAB8FDF8,A27FA627776DB0F6D73C69DF2BEF4CBFF56048FA789B02F9442D48A66541D023],[0D7F1F42D91BBACD0CB42F6F7754DB1F0FC5F549867B63DE5871196A20B61F79,B68803770B984DD05120D2AC2AD2FF213B8C666A777CD8E561159FD7A348EDF6]] |
| FP12_1 = [[45001B4E9572178CA87F38719570814D9B470A59FCB6FAAF7BEBB0B0F53E96B3,8AC6718F2C26E62034E1FC68D4246F94C2A35E67755E96133D1ED67E28B41A2C],[3E4F3EF1EF85F32C796BB249F2AB3F04EA5F7CE682CE9D0666F537AEA5B7D3B9,A45912A3B7717589F02D7CED073271C1812B2874ADC711A76681C856F7AAD5DE]] |
| FP12_2 = [[45001B4E9572178CA87F38719570814D9B470A59FCB6FAAF7BEBB0B0F53E96B3,8AC6718F2C26E62034E1FC68D4246F94C2A35E67755E96133D1ED67E28B41A2C],[3E4F3EF1EF85F32C796BB249F2AB3F04EA5F7CE682CE9D0666F537AEA5B7D3B9,A45912A3B7717589F02D7CED073271C1812B2874ADC711A76681C856F7AAD5DE]] |
| FP12_3 = [[984367CD5FB74D22F90C17E92FD82D34E4F251AA90FD1DCDFAB5A913542637A1,E9400DC2BAB33BDF8537FFC55FF019655B463BBA8436DC71752A02BB834527F0],[A32A0811994D9D540AC0327665895871C1C6B9DEBE44F76F8547A902ABBD710A,93B2612ED603C0174CC66438661EF88C9088573112E814657FB141F22733628F]] |
| FP12_4 = [[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]] |
| FP4_xtrA = [[638DB8652C9388F9E1E9E3B9E125B4E52613E9BB9ED454EBEF32A1D461D6717C,44BBFF764047F8FC5A5140B87C29D8A432DE05D4354B51521680615EDE7034B3],[2F446D2F80DDDC77B8D3C086B2AB1957EE2699586C6F5F4604F303DEC07254B3,8E9638A3AA9BFB2F281280C2A21F45FE457084330193712B3A4EC60F4F6C06C5]] |
| FP4_xtrD = [[511EB82AEF8DB2DC16F520DF2243906985DB7992CBF262FAC05A6BDB4CABBB52,B63D181C995BEE3AF635DAD4292B04587E85D935D99AFEDDA3F7B921322ADE87],[9AA42A97211E8CE3AB255C33F53B1B50B35CB71E834E26B4688084157446C553,61D0CA533348E966E43FE5FE58D8D535AE7AA7DA8F6BFB5CA85546C89B582CF7]] |
| FP4_xtrpow = [[BE59B7D6D9C518C005E744ECB85CC23E6A4DC51A559F29C7B68C9C5A96FB51E5,190BBAE404396A0F763A01CDDE672B7D073DB423D21ACCA3632E09681CD66CFA],[99F40A1C53059EFEAACAF269AE72A780CCEFE17E0AE32E49555E09848AF3F7FE,8260CCE9D0686880D594EE4239CB2AF779D0374B4F548247F2ED8B858893A9CA]] |
| FP4_xtrpow2 = [[839B0E8E7624AFF07758187E4EFE69BB17183B1A9B5253E96DE44AF7EBCC7546,45636CDA437117BF52DF51480E435CF07243E427FE2CE9C1A80E446BECF0F1D6],[BF7516A5538CB9E64F43AFBF9B11119D342BADF3735BFA8563B4237774BC3AE6,986C732C2ED1B2C580B95F82820E9F4405836C3E206CB1A9AE2092A71F1AEAC7]] |
| |
| # test 2 |
| FP4_1 = [[325E47ED07936A970475EAF450C1341B87327BDE82B0E001C004977DE43CCFF2,49BD943EC2D0A5BF4CAE0FB497E9F4F075492AD4B1FE46BADFC9DAD8226C9D7B],[8165A2C252E66CD393DC0842281EA708C16B5521C6DC64E25F0D15EDD1BA637B,25FDA74844E70D6A7AC103014E523A939BE8375519FC25A745250F4897C81FA2]] |
| FP4_2 = [[3D6D8056A6024A4856402FFA0E69F1999E071222048F9DBFEA9098049F6F68AE,5849F656E6860F6F461C388F3BE608270EA398430F3ACADDBCB6CCDC5D79F0B7],[4CC37D220C72F50F72B14F8FBC1069056F83D58FD74CD60E9C2AC44F8CA298EE,93A65F6AD08A968B27498509F6938E8A474EC2366FA19968E41F6FA4818BD2E2]] |
| FP12_1 = [[93E9E94A7698CF096DEF5CBDEBF9DBA2980185E7F3989381204814F1935394E8,2105405421234824DFCA87801178C9C992818E17790EFC49B0E3B934D0125F6D],[86B0BABF412048D7774886C1FAE5A79642BC89EF0C3E2E0638EA6A9BE3199BF8,7D0392C742EFFE3818B4FF9E9D7A9D8F4A34194FC88EAFB81063A5E980ADCBD0]] |
| FP12_2 = [[93E9E94A7698CF096DEF5CBDEBF9DBA2980185E7F3989381204814F1935394E8,2105405421234824DFCA87801178C9C992818E17790EFC49B0E3B934D0125F6D],[86B0BABF412048D7774886C1FAE5A79642BC89EF0C3E2E0638EA6A9BE3199BF8,7D0392C742EFFE3818B4FF9E9D7A9D8F4A34194FC88EAFB81063A5E980ADCBD0]] |
| FP12_3 = [[3BC721707AC0E381B9558DF7858AF57C6729B8C80AD58A91F31CEF22728EC74B,A035F610A7F6346D40D9E933D625693258ED28F11A2A17E10442B24409F1CD79],[336271654DB1540AB2B466F8BD103F0EF29ECE91D09261F7228CE4B3D783A1FE,A2D7767EC4BA1C281AF714AB4A3EB8A4C9E59A76C07B7B674259F3A57EF63119]] |
| FP12_4 = [[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]] |
| FP4_xtrA = [[291D0CA0EC5152CD1CCBA73A18E2B794F106D31C75B502D4E2156ABA56A71878,F62F010C9553B744D384C2FE8AE0A745407001697DC6D0623D7FFC0E0530218F],[9887C4B4BDF0B57A4A79B89C561D1ED9164DDE3123DF3D748A2B4B47BF3433B5,B9CE6EE3A171B31743C4C076B4E922C626547E7C8980557E6DC35CEEA4055194]] |
| FP4_xtrD = [[53A38D01FA2366D0C6CB9A966B0A8B80A76BE33C6D1E26E17B350B4EDC844FF8,C9F8331C84EE1153EB0BBB35D7E0BB8C5BDDC986611824ACD971EC390D2290BC],[5094BAD062B00721FC26177D60F079F8202C1D451BADD1A4FD9D62DE973F0801,2C1382736B8AFF6E308092D73A538CB9D9B6A29DF673BBECA23A970DEE95C554]] |
| FP4_xtrpow = [[2986B93DCF56340DB3BE488A5EBA38731178896F90AE3E91EC39ACECA097EB83,0C03B6A0675AE2306035391D2B0BB18931A4C26B2D87A524C9DE58B0965F226E],[71E3B62BEC95848F43AB7086ADBBCB06CDD58A53172C840BA96A7133B25C0B15,97B4253C8433D43696EB5B77C3A56D15E46A5240859179D9181A6A09FF3A7401]] |
| FP4_xtrpow2 = [[654C0147A39F0E05B15EDF89940F4F208E733D1D1CC02C1814ACA0C0D75BD7F0,327514544D3A55207524A2DA98F2EAA4DA7E39DBC5338A9B1A76EAF3327E4469],[AD87FFAA6EC9F1B135FAF785F59254FD59FFD701A553516FF8B3D566C0AC5DAE,6FDF68B1A32F47D58381B18E8EBCDCAC0483A40F0B8ED9EBA9B0405C8A0C086B]] |
| |
| # test 3 |
| FP4_1 = [[3C911BD44C92E99E58F217CF9D5CAF7DF5015EE646D2ED36A74A80C1389E4208,54AE5D88DA06AB5C7046158BFA31873392C7098065CD4E4AAD708A31AF979EAC],[CBB7BD733D74BA9C91311088B577EAAFA9067532B113122451AE68C6BFA219AE,EABF65472D84EB3FF7AA1E16274C83BE9E459BA51306D1AB280932A6ACFDFDAB]] |
| FP4_2 = [[41F3F8DE8E78C1BAEC9C58008B20C327AF9E3394D576E9E6C35FF54C5AAB0012,FFB6B0710D26FA534B7B83D2784620B260E824FFCBBD03D643041657C82F03E3],[C1589E8190E6DAC26F2EFC3D94C13EEC663A3F00441FFDDBA9F9017B401FD495,42E806759C906D6ED04F5609EE5DB47EC5CF2B6AC310C083D9C46BF507DD7726]] |
| FP12_1 = [[A44027C9A2D0DD15A6B62F874784E9343218750CE4D121C4EE0E09D501E151AA,82F9860CCD53D43F5E230C39F06A032CB379A4B09A4C6AD04C526D03983D14AA],[EC59A5BFF610E304188735C32D7231D755234EC4AF9B1AC6D90E5B85B03A6FB9,A90C87D5A6D0D7262E097FF252F53A98AB86DCE835CD1DF5C45A31F950E4C92B]] |
| FP12_2 = [[A44027C9A2D0DD15A6B62F874784E9343218750CE4D121C4EE0E09D501E151AA,82F9860CCD53D43F5E230C39F06A032CB379A4B09A4C6AD04C526D03983D14AA],[EC59A5BFF610E304188735C32D7231D755234EC4AF9B1AC6D90E5B85B03A6FB9,A90C87D5A6D0D7262E097FF252F53A98AB86DCE835CD1DF5C45A31F950E4C92B]] |
| FP12_3 = [[C4B56C23CB1DEAB39231C8F0F327B7F0319DE33753555420F71C2D78BDDE2ACA,1BAE2C2B6899F3C653AD2E70FC452CDD19C845FFA7D4B4EE1A64720D0862B490],[B6CEE9E53A67D0B33FCB8E79E61DE610A1337A434CA9DB677986CD3E7F1C83F3,76C2C04050539FA326E7A1F8DDCA3D3AF77989D1A43598FE81D0E33EF41C20A5]] |
| FP12_4 = [[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]] |
| FP4_xtrA = [[B851B57043832643545EED3BB661D99DF5F3F4738FF87DB88B97DA337B85D5BE,E6398C6055BDF6F3F2B16F0DBD905A4A180B15BD72C94468B86D2EBB7D6B577E],[95CB4FD80EF1450C3C501D18E7D8AE2DBE3921E35AB3E3D4351C16133416B63B,6B4CBE31294A93DAEF0966D1BBF63B1B4930558A5C1B765CA73E3BA8159454CD]] |
| FP4_xtrD = [[2A867453B4466C4EF8C29424D785CD2238E65E0CE3282BA559087E52E96E9CF0,9A62FBC35C315132C529B9D86B0EDF9C308C874CE68857EE647276A44F3E7761],[0474BE73682DAF170FEF8C0DDEC68E5B146F17AD991E9C856A1FFDA9EC6B2924,0BABF587BB3A2D337CFE0FDA42BC955F46F7DD57DEBB78C73F356993E9BF9E7C]] |
| FP4_xtrpow = [[BCBFB0E2B3E7D73AFEDDDE667F5155F977618A8A3864197DB04117E73B0686DF,C659035E40599EEF7F21D7F748CC7FCDD9237282B9F7CF3A82F787AED60F8F02],[88677FEB76298DCCF5F631C4471445B173C826DDE5740D3F8E5B4D1DEBE028E1,E270053B3BD81951AAA63CF369F8EB8006C2A8D61F11579A4195BF22D69D8ADF]] |
| FP4_xtrpow2 = [[BB6669FE0D7F921C75114B5025FD0665AADDF33858DB5B55EFB862EAB19D1F20,380EE1B2E3FB6A1F70FB1CCE13AA3F8DD90AC0F38F136D64BC78D5B37D956B74],[C9939A9B9FF8FD7E8F041134726C2AC1FA5ED1B4CC5604A029F91F6243215A79,13859D94A62796DE81FD600D95FA4174622154A7D9B054EB20F36BB71C0B4950]] |
| |
| # test 4 |
| FP4_1 = [[9029549CEEFC37173314E0844E4690B8F277F41D2BE4C0A00E4C2C575494FA5A,AE27D736B8942ECFB48A069D523EF55C8900719B24187A77BA28DDBB38119651],[5B3907C567208FD49187D08C2B346E55D894812FA8EAB4E79ABAE603F4253FA3,F9A8E68CDD4FA04A5D352CFC63E77682BBF8FDDE455F040C3D5BD1FF4ABFF471]] |
| FP4_2 = [[BC22768AD0AB79D2B4F79D553E3E170B54CE89BE71ED58CF4A785CD0551A20D9,9C43BBE9CE226E147983FE3C39F1948A46D17B18F640D7639B267003131BD10D],[4865A9C37D4511AECEE7F5038103124F88F5AD80FDAB4855267B61505AB908CB,3C7E2B0DE0C976C35E0FAFDA7D6E77048DA1472B0D6B774E31EA9459ADE1439D]] |
| FP12_1 = [[5AD5B5685987027063BA7CE0644E438E2C4B1D67E8058E45EE30E45A98877EFC,ACB12BA4F019755D253C57751AF40000617240C74B525AF9B5271C30D2D5C7B5],[1DAB2D4A2AAE3E28256C838B9FD09F061E7DE8A248F7086E584A90469882F7DD,7D7352405BEF6C8FE984B23763336F2008C2E25D555A3174985D48B0F0C214EA]] |
| FP12_2 = [[5AD5B5685987027063BA7CE0644E438E2C4B1D67E8058E45EE30E45A98877EFC,ACB12BA4F019755D253C57751AF40000617240C74B525AF9B5271C30D2D5C7B5],[1DAB2D4A2AAE3E28256C838B9FD09F061E7DE8A248F7086E584A90469882F7DD,7D7352405BEF6C8FE984B23763336F2008C2E25D555A3174985D48B0F0C214EA]] |
| FP12_3 = [[F3EFC734CA4EA7CC6F3773430B10222BADE2D556C273FDEF01699F2B1A041667,B5D640EDC7F0EC95396A25227BAD8EF18A8C9A9FA847743DA14B3050F507D1D1],[E834501077B530E9A8766C2CE65754A3E2ABF1D5F227F78FFA701A6F455BA73F,8914B0B8E49E700A26390025DF1A0A2DC6DFF8AA1AEC5A54E3E7BEDFCB1FF063]] |
| FP12_4 = [[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]] |
| FP4_xtrA = [[EBFEBED42F7CC24475107BD823636617BFB307AE8427D0B5925FDFE3065389E7,95BF9F25B6A287415478DC87E8492C740CC4C918DA642B5D50469EED96C74661],[6FDE757609D2E5E07028BB127D2DEA97EBFBEB639FDE9249F641E9905C6B90BB,6AD6687A72FC2567DE0A968EBA7238498369C9CBE63A97FDA64FA26808F201F9]] |
| FP4_xtrD = [[DF1E3347BA0F851853DB3418B25D61F0053392F079BE8AACA7FC474AEF21A439,A5E6FBFD245A3F3DA8EAFB489984F36009A6D06C1821243E96AEA465226CD167],[5A66589367BBFBA65A83DAA2A9109804E1F69711A833749E4098DB0B78DA924C,EDF51FCE7C0604E69B09FC3B187EB507045FA9E42151CB92C9189A0093EEF58F]] |
| FP4_xtrpow = [[933DD65A485934AAC355018A6E62D95ECCB265842226AD5AE78EDA5469E21198,210FD1F1873A39ECD85D21D4418666E7A836256E29552BC762A6DD7554C3BC82],[3CE1EE5972975B434EF5110ED7DA254B15027B1232751905DF9432A8207D942E,986A40479CBD91092B325D1B2FDA797085376E4A337C9DBA573702139B168757]] |
| FP4_xtrpow2 = [[5E113175E47FD1B5D4E2F389DF542C346D681D98C8CCA0924EBD83B37F7DEDB1,11804334B3F7849EA47EE95D0D994535FA542A7AD1FEF7A9BD60058A112F574E],[6217084D3DC0BDD3AD3EE0F7F9710F1D898C515B72E93C31FC9BB9A7665E8CA2,496010227D25DF043A5C3FDB3F83F2030DAFC417B503D01F58E3278087188168]] |
| |
| # test 5 |
| FP4_1 = [[BEEBA86DF6F783159595A6E1B7C321B99D4408FC8E2CA4BC4C76BFD94DAC7EFE,B53B8F4893E894DCFAE286E17014BFED11429A86C62786DBB648891AF4F9B8C2],[E778ABA7E256766D7B5E1AD9601551BFF83A466F5B169FBAFB1FDB82FB68AA14,1953D729936809677735D2B78105806530A9DDDA1EA4EFCBC8E43B5EE3808676]] |
| FP4_2 = [[BA28256971D9B827889D73ED1E7E7084BC670C3A5CEAB930CB477C5652E91089,5EDB2DC2199B7824993B7CFA576F833F9C8C42C232EF42D661E531BAB7892A35],[7455562AFB5542BF21B8C9C79A336681D42CDBEB30BF39B0BE326F8568A93C3F,A6CAA932B1489FBD339927589D9A2C68F559EBFFF328318163CAEA291C81DEA3]] |
| FP12_1 = [[B4385DF1B4B71466AEB9B6D39F48493A02750E6457C882841D89DE7C4AE348BB,2673EEB092A34D873D3AD6E475B2B2C60A643C688BE7421EA9CBD7520B98B4D5],[21BAB5D1B29587403B316CD6A32C4A5A731B17003D95B8287C6704E0D3859BA9,A63A98357F14D4E8FB7C871272F7D65CB417CD17E478B3FE64D3FD724C5C8B96]] |
| FP12_2 = [[B4385DF1B4B71466AEB9B6D39F48493A02750E6457C882841D89DE7C4AE348BB,2673EEB092A34D873D3AD6E475B2B2C60A643C688BE7421EA9CBD7520B98B4D5],[21BAB5D1B29587403B316CD6A32C4A5A731B17003D95B8287C6704E0D3859BA9,A63A98357F14D4E8FB7C871272F7D65CB417CD17E478B3FE64D3FD724C5C8B96]] |
| FP12_3 = [[3538768E176BA41F4917EBFAE663FD511DAB7D7A481388318D707C6C5174B4A0,44C3230D32EE8655236E148A96C6408CAD288864AF9722A987ECCFFA3BDD5E79],[0CE7171ADF4448DA8684C1638BD4529CEF75E193B584DB06F43EA7F150517586,41F770A6DE2A066869F890CA2B4E4007E3C60118115193DC92773A26468084C4]] |
| FP12_4 = [[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]] |
| FP4_xtrA = [[E7316FFDBD7771CC2162F04214DF37C1424DEC3798ACF905F92031056E8644EB,18BC0A2DF0824E9E643C17CD74EA206C94E67B54B642AA1CF452D87BDCF45334],[7F8D38959E81DEFCA5DBD61464590EEDB60E39304FB8F9A5BB8B07FAAA696869,D5A6A55DAD93A24BBF7D532400031982DC65F8D61793B2861D8959E4867AA923]] |
| FP4_xtrD = [[0C590CFF08F6B588B1AED80EE088EBBCCEF3FE69981657A6F293BA62EA7A8EC1,9B147A7CA5DC9902BE257F96E0251E8EFB7300E8FF3B2FBECEED82758F695ECB],[CCFDE2AD7A74350AF04911419DDA633D303881CCA697E22F16361878512DE863,60382D1EE2C41FDB9ACBF3AC4B4BAEA92B6BC3887E66463F7940AF2AA5855E2D]] |
| FP4_xtrpow = [[5751EE3CCDA7985B746DBE549163D5C39A8698B1C40D0F59263DA697DB8E37CD,D28C2BEC11228308EB6AC4D6B3AC172C916D1FEEDA2C2BB403CB5F3A76B9D9CC],[C1C171C387F29680701E3F31FD2776A2A32D75E3B592913D92B8C341BB8080CE,A1F3C7CF40452BD6D08E8B512F7461C260B7BDE5E47D7F574358D3D831D0863B]] |
| FP4_xtrpow2 = [[0BFE0C08FADA2F91E66DB1EAF410B3CD877E926FEEDD7C68A7F51D319F694BA9,7729370FEB7F030B6BE513BDB26D72870F8FAD7818EE737EE0CCC70FA1405E6E],[5AFFFD7F39B3E99E2D747544470E0C09A0B2BBD6B7FC5D7AA1C32CE3EFFD66DA,91366DC289F3D805B4F3356D737542DFABE4A65C6B4785B63A562DAC6B4D1059]] |
| |
| # test 6 |
| FP4_1 = [[4E328CE28482FBDA118491257F5B157993A741213F725E20031C49C60F3B045C,3084D5424348A7455AC8F63736F7AD3989404EFAA5D7296816B1047AAC679F13],[6C605323EE78BE1DDB92BAFB7BEE349B8861AAADCB3325B6C569A5BAACD3495B,5438A2A598D0B5F8739BC37E104E9C4DB431304B7A46F5CD8EF9F74E214C5687]] |
| FP4_2 = [[B8E9097FD3B34AB6EB5D6E420B77B81F1970664B01EE5ACE78FE84904BCFC8F7,7BE4428E5D1F73F16CF4205F1AB80B426D66B050F3A82FEFDBC929896081D872],[10A8A6E63282D82A6EDD20D88EDC92AA78778E8FE73599A7B108DD101093C270,F0AAAAD86FF2CD36AF459A247CE921DEB48D75502E4D9A8F000C51FAFCDF9FD5]] |
| FP12_1 = [[72A6CA06B588EA5B007C00C7C4B8B7E01AD539610DE802B4EDCF03941849A2C4,68E2B9AEFAEFF0910B61969EA64E86C64A1A49220DC890080E03755EDAA498E1],[55DE8191CE731C42F9A175CFBBECF9525B720900555E59C2186EF48BE6301451,BFBBDF87CD3A03F2CD0C58D8846ED7FC92EFCF3F261BB380E288F78E3ECBE5AD]] |
| FP12_2 = [[72A6CA06B588EA5B007C00C7C4B8B7E01AD539610DE802B4EDCF03941849A2C4,68E2B9AEFAEFF0910B61969EA64E86C64A1A49220DC890080E03755EDAA498E1],[55DE8191CE731C42F9A175CFBBECF9525B720900555E59C2186EF48BE6301451,BFBBDF87CD3A03F2CD0C58D8846ED7FC92EFCF3F261BB380E288F78E3ECBE5AD]] |
| FP12_3 = [[06B6829158218997501960884EDCE09F47CA391B87345B7220ACC2DD549A7A65,F5602747D9F4D97450DD9F9BEFF15A5C6245E0072F749945787221BA4DCEA04E],[49757F18E2C39A1A34C8991DAF0404AF474E5AB70698CDE2AD8EE2CD485C8CCA,CAFBA1B5D7F54A54B4BAE33AE4630B731E0DBD5E8E4ABFCBEBEC41BBA806004E]] |
| FP12_4 = [[B9CA1275492C8F163007247EEAA6F16C91D97A58593849AC14078CFFFC54822C,D70D38AA481C545562150BAD2151273B8322BA5098FCFC161B884365E5F05BA1],[621229C25A8D10FB51B29936C00471EB448FA27120058A925043C2AF9231A637,F6CAF3F6DA4912D35977DBD7973EF9AB17308BF450FEA4F4B356AE8F8665B4A2]] |
| FP4add = [[071B9662583955C3B5FC0D089C6128F9A03B41712EC8AE6BA8F1A07AAC379D40,AC6917D0A0681B36C7BD169651AFB87BF6A6FF4B997F5957F27A2E040CE97785],[7D08FA0A20FB96484A6FDBD40ACAC74600D9393DB268BF5E767282CABD670BCB,44E34D7E08C69261DBFB6B439EC6198D5BE23FA095FC85D9BBDD1B6D6F58C649]] |
| FP4neg = [[B1CD731D7B79F4F3356161396F168F25793524D9D325AC62D00CE4159F982BB7,CF7B2ABDBCB44987EC1CFC27B779F765839C17006CC0E11ABC782961026B9100],[939FACDC118432AF6B53376372837003847ABB4D4764E4CC0DBF882101FFE6B8,ABC75D5A672C3AD4D34A2EE0DE23085158AB35AF985114B5442F368D8D86D98C]] |
| FP4sub = [[95498362B0CCA1F06D0D1542625501F9871340D1501C0DD45D46F311723E6B78,B4A092B3E626242134BAC8370AB1469628B604A4C4C703FB0E1108CCFAB8F6B4],[5BB7AC3DBBF5E5F36CB59A22ED11A1F10FEA1C1DE3FD8C0F1460C8AA9C3F86EB,638DF7CD28DAD98F0B3C1BB881D71F0E0C8020F65E9165C16216D32ED33FE6C5]] |
| FP4conj = [[4E328CE28482FBDA118491257F5B157993A741213F725E20031C49C60F3B045C,3084D5424348A7455AC8F63736F7AD3989404EFAA5D7296816B1047AAC679F13],[939FACDC118432AF6B53376372837003847ABB4D4764E4CC0DBF882101FFE6B8,ABC75D5A672C3AD4D34A2EE0DE23085158AB35AF985114B5442F368D8D86D98C]] |
| FP4nconj = [[B1CD731D7B79F4F3356161396F168F25793524D9D325AC62D00CE4159F982BB7,CF7B2ABDBCB44987EC1CFC27B779F765839C17006CC0E11ABC782961026B9100],[6C605323EE78BE1DDB92BAFB7BEE349B8861AAADCB3325B6C569A5BAACD3495B,5438A2A598D0B5F8739BC37E104E9C4DB431304B7A46F5CD8EF9F74E214C5687]] |
| FP2sc = [6F08BAAFE9022C8D2C49250D47A1CC505C02900C0A19395F422C87700AA22ADB,A9EA254B62EADEC8378FFB3F4E21D3FDF0C09EC71E5FCFF3EABBA8CF49A63FC9] |
| FP4pmul = [[7E05F68BFF61CC8FDF6FFE7617EA1472372979BDF1B2C5C6DE44F3C25AE79437,787F170C4819D65D4DD71C74EC1AAD2B55329A439D1845E3655D02D77BFD072A],[6D2D4FD84348EC67C06A3B6BF2DB5099DCF273B649FD571648A3319952896FE7,F396C4F27D32D813B3AE4990895A0B5308BC890BBC7F0044C55C36201AE36F1A]] |
| FP4imul = [[86FCC06C9691FA7510B0E35C8E55C6C0D567DFAB2AA3CC1D3C6443029D53E5B9,F2982A4B506B445AC5ECCF1412D6621FAE418AE53D33CF08717516655E061B5F],[1DE19FB3A861D4FABC11C22B8EC3BDCB902F896ED2CFA78C34BDE0EE027A0EA1,A51B2D3BFC169D0CFB24DF17631768E578198B7E50CAC280F7B8A6AAF7AA8090]] |
| FP4sqr = [[5144DC297886D426873BE92AE505FDEB82291736B94263EF88028F114D830E74,0EC8AEC88E9F63C9729690E5CF14B52D4A5CE7DF2435E7D27511AFEE1F7FC756],[FB21E92A5E10AEEB0A7C73DE326DC1ED25C934960E9841A1F41F39D4F150406C,4ECB51E0A49E4CB68FAF531D04F357BE1A4181D47BA69A8E701D9C93AF6C3051]] |
| FP4mul = [[1EADB50D0FCA306198697201280A4D8D96C278963F2ECA9419097C15CE499596,5EA2D2AFE7B3C0B8DB8DC8E6275B40305B9FD815355C333825DB163929C1AE91],[4DF18835EF83B6FD8FDD178BB5A28BC4F7D85FB6F67247674F46029070EF2DE5,CD993CD6B24A7F4C3325C72BA425D933DB7EF2941551F84796398967D8F2C2F5]] |
| FP4inv = [[88BCE06D6FCA77DF27731E81A5BF9CBC3405EEC080FCED790F9EE4A687A2886C,A6C8FDF4AE88CDF82FCA0BA36C24979831F1B34DDE9735062D4B0A3E9461187D],[2CDC7DB4F849F98853E295CDD6AB1F1A32E84EB955CCC7EAB38BFBBD4BE54830,D9D6BDC1D77B93905991AEFBE8919B10571D5471182CF905AC56FCA8CE72C077]] |
| FP4mulj = [[1827B07E55A8082567F6F77D6B9F984DD4307A6250EC2FE9366FAE6C8B86F2D4,C098F5C9874974164F2E7E798C3CD0E93C92DAF9457A1B8454639D08CE1F9FE2],[4E328CE28482FBDA118491257F5B157993A741213F725E20031C49C60F3B045C,3084D5424348A7455AC8F63736F7AD3989404EFAA5D7296816B1047AAC679F13]] |
| BIGsc1 = 66B78217A176255D819CF12ECCE19BFEBAE8F71415E3E42D20AA2D3E5914BB |
| BIGsc2 = 06 |
| FP4pow = [[12279E97273ACE52707955A27B5B85642008149DD97E2EAF7ABA4ECD3AD555FF,83B7F0FBE7AE479EFB1530DB9F2B3214FEA51168E71F4C6EE21C13D74EFAFB08],[9EBC132392FF9F063B7B7808FBB2E2EEEACC1B80C0AE94C91B250CC268FCC532,E571E7D1C939DA3326BCA2C07AAD06EB8CE60293F21A6877151596800649D684]] |
| FP4frob = [[4E328CE28482FBDA118491257F5B157993A741213F725E20031C49C60F3B045C,CF7B2ABDBCB44987EC1CFC27B779F765839C17006CC0E11ABC782961026B9100],[E4417F8B935A92F5CF7DF44CA9B61A17687D6D813A2445D92A37B3A86265DFF5,43DD7D41C41112AE71B0DF09419211E94B10EED296F618D313CB1AE208AFD605]] |
| FP4_xtrA = [[F86774B0161522149B34393C75965E4570900D9DEAE1469C713C15C4DBD39F9D,6E20B77C2AA4F50D353A75115734C361B474EBE9137F1B9BD9AD044A46C5F3C5],[BD9C21BECEDF430978CB1E3E30D9EAC5A01D4F0557FE1AB5832F4BCBF61FD0BE,71C06EA02A85F4ED17892BC03FEF819E2BC16CB93F8DA12CA982C40F5E91D4B7]] |
| FP4_xtrD = [[B4DFC2646F7DCD3FAB18B93ED4C1779767B6FAEF4CF5B23254F32960DDE035CF,ADBF0444080B060C03EA96D64F96FF5944B8AFE4EB1F9F851AD8D4D47583B943],[D3E28F723B053A597ABBF7763BD8868529B023F69266828CABC9576E9C23A30F,F73C972BD63FB8A776E6DA192590905982A3E26B703486298E118B2FF204DD5F]] |
| FP4_xtrpow = [[4E5CBB8C27EA449BD1B9A4F3A177252F80D911D0F0D81A70828168B94C1F85F0,6AB5E077B0AAB8D98008C8C5D24DCE2052EFA8A0337C9C651A3FA342BFFAD7EF],[1170B625A800C0A0EBB8186A85F16C9CFCA36CDFF0EC9BFEA326CC0CA39D8DC0,3B3E06F0D9804B6B3160518640DC4847F186E688C0A6DDE81F3C48A962F24839]] |
| FP4_xtrpow2 = [[D19E6A96AEE0F320CFD918FD053FBCA584500C83D9229D04F318FED20D1D4385,A87694642A7F572C307F9503DDE4FF07E577A26C73C053CDC91D1D610F515DAE],[C45C7ECDA3ECB5126189269BE93CF6E2C3241C8D2AA1770F879189CBC0039BD0,BFE332E0A6171F455CC13E725956AFF6B82D99D4EECABA76226B9280F08A4D72]] |
| |
| # test 7 |
| FP4_1 = [[1888C580937D48A9C80CCFE1FC2FAEE3F029781C213AC7D9CBCF54F35FB7B903,C97CF0F411BBC304332796AABAC420873E07A2642DD088676A16820249615E53],[4F685550D8A9E3B34114BF00D74B4670B332AC1E17C2C53E952EC1C567A7E042,223E5B7A21202AC0CFDF03D020F8B9B976E0628932294DAEEB57E13241F5B997]] |
| FP4_2 = [[EC9B969F19260958ED4EE7265A470379DFA3D00DAD0CC12A69F5D0537B4225E6,65E494996F708650607F1564AB9528EA5F3B6DDBE75EE00BE6C938FF2C021BB4],[DD95087F43D7C57B9F4090C594C983661E7C966F1C134B73AD06879A12A33507,2536D386F96911C35DDBFE586EBB446C7FDEDDEDECC7DB40FA515800AEB465EE]] |
| FP12_1 = [[3B880C3D554628CC4CF88D5ABB5427F949D2A7E5E1A0FF62A9A2CDD86442B2CE,C1938C05395FAA729FCFEEA8444A2C8A06F3EAE0B881780081AD5C5E9FF43B8B],[2CFA6FD11FF31205CADD920BC8A36A01E27292627BA52DCD47CC213F48785E91,3064A83B270FA97057425D836A239AD622EE51209004A5C6E84A91C71A5C2835]] |
| FP12_2 = [[3B880C3D554628CC4CF88D5ABB5427F949D2A7E5E1A0FF62A9A2CDD86442B2CE,C1938C05395FAA729FCFEEA8444A2C8A06F3EAE0B881780081AD5C5E9FF43B8B],[2CFA6FD11FF31205CADD920BC8A36A01E27292627BA52DCD47CC213F48785E91,3064A83B270FA97057425D836A239AD622EE51209004A5C6E84A91C71A5C2835]] |
| FP12_3 = [[DC9D639C135E14C115B474D061940E019F139F19A78E5DF051EF8B932937F6EF,9758307D38DA23BA90670316C82CFA622D06D3DEF5CA699005656CC727B53B04],[444E4B4722A5BF818217ECB2A61B259C44426921B6B30D2E5D42F9CC49A10ABA,B2EC538459C2F26D1BBFB4D28D757B073F0286B04AB72ECBD2C5D4E746FD6F78]] |
| FP12_4 = [[F92008ECA18F5913E79F3658B22FB4AC0999933858C396A6B4FF98ABCA71B19C,06CAF96D4FA7C5AD71BC99242F46E762EE09B52695490B9DCAC5487B2EA94B42],[900982A7F30F2D417D0CFCF471AB6062A1A9F674A36414190F133177E674F407,CE3ACD383A2F52A5F483A5A77626EC5FFB82E37C7EEF884565E95C0737FD0121]] |
| FP4add = [[05245C1FACA661356E75C4A968050DBEC2F0E22EBBAF7E81629BF76B2C26AED6,2F61858D812F58874CC0B9B077E7A4D29066AA4502975DF07DB68D25C69049F4],[2CFD5DD01C84B861996F5D677DA32537C4D2DC92213E062F6F0C1B83CB77E536,47752F011A893C842DBB02288FB3FE25F6BF40771EF128EFE5A93932F0AA1F85]] |
| FP4neg = [[E7773A7F6C7FA8237ED9227CF241F5BB1CB2EDDEF15D42A90759D8E84F1B7710,36830F0BEE412DC913BE5BB433AD8417CED4C396E4C7821B6912ABD96571D1C0],[B097AAAF27530D1A05D1335E17265E2E59A9B9DCFAD545443DFA6C16472B4FD1,DDC1A485DEDCC60C7706EE8ECD78EAE595FC0371E06EBCD3E7D14CA96CDD767C]] |
| FP4sub = [[2BED2EE17A54301E21A3DB1A905A50091D620E0986C611323502B27B9348C330,63985C5AA24B3CB3D2A881460F2EF79CDECC34884671A85B834D49031D5F429F],[71D34CD194CF0F04E8BA209A30F367A9A1927BAA0E47844DBB51680703D7DB4E,FD0787F327B409CAB8E8F7D6A0AF19EC03DDEA9657F97CF0C42FB70D421483BC]] |
| FP4conj = [[1888C580937D48A9C80CCFE1FC2FAEE3F029781C213AC7D9CBCF54F35FB7B903,C97CF0F411BBC304332796AABAC420873E07A2642DD088676A16820249615E53],[B097AAAF27530D1A05D1335E17265E2E59A9B9DCFAD545443DFA6C16472B4FD1,DDC1A485DEDCC60C7706EE8ECD78EAE595FC0371E06EBCD3E7D14CA96CDD767C]] |
| FP4nconj = [[E7773A7F6C7FA8237ED9227CF241F5BB1CB2EDDEF15D42A90759D8E84F1B7710,36830F0BEE412DC913BE5BB433AD8417CED4C396E4C7821B6912ABD96571D1C0],[4F685550D8A9E3B34114BF00D74B4670B332AC1E17C2C53E952EC1C567A7E042,223E5B7A21202AC0CFDF03D020F8B9B976E0628932294DAEEB57E13241F5B997]] |
| FP2sc = [C279EE2A4994764582C3A943B2975EBBB35E5ED1971FF4760B5D220C3B6FC306,F9AB49C99B3F6B60E791E1B78D69DF6C07425DC67D2D8E4600A28C028394B6DF] |
| FP4pmul = [[2D78927B7DE8F5F44C9A3ACF0161830F7BB94A6F0783E74E872749E142830A9B,E2B9A3123A05120BD45506D258F5EFE10B1A91D370135A5D104EDCEC56BE1329],[19C80A6059F8F6B9641957D5F113B10D6306164C841D096519DE9FCB9AC4A4AF,022F918D7F0A57F3484040D422669937B374D933CA0A304C05A7E5415FA186B1]] |
| FP4imul = [[9334A10374EFB3FAB04CDF4BE91E1957A0F8D0A8C760AF1AC6DBFDB43E4E5612,B8EDA5B86A72CEE41755BE84A6D230AF40BC366CC88308612FE2549EFCFB75A6],[DC71FFE513FE65663F9687A61D5202052653A2B97BF894F4ABEF5CC4BF1C1179,CD7624DCC6C10084DF3A16E0C5D45A58C9424F372CF7D219840F472D8BC2598A]] |
| FP4sqr = [[42CF5E7EE7899390E96CF4B117D4D32F20A1FAFC0B307B221B7C7D5F90366F41,9F3C130A3C1022679E69FEEAF6C91577E9275E6AB0B814323D69A8C5507D532E],[896F35E2C6F6CC50EA5D0CDDB14F791127C0F6757F12CCE4A2B30CC3D3601B80,BC4D78C74D64644685975E4B8CCBDEF595F60409A40D8A423E7405804A187BA6]] |
| FP4mul = [[587C51FFB96E58250115CBDBAC03C5B9DA2B73D8CE7CA59229C2257C531BF808,C5E9B264949F1AD6CBC039BB95AC4F76CC2EB11EDBEA368F2B188A4BEA2B75C0],[3D78A21D07FD7073A1ED982D650CB599BAEAD969107E03B475CA4CDE756456DB,31570EB200529E18CE7015FFACACDB95F188C36851BAD6ECC63A77C9DD72765F]] |
| FP4inv = [[8FAB9534B0B343986564B02C6E79AC67FCF05C9BD353C90A5FFA3CEDF751C042,84ABAE98CB65037798ADC63C9B501CD05C54660D9CFAB1FA69C61D01310132A8],[D588441D04DA2A353195EF28E522C58AF5C78981FEA45460051BFB40EC0B33FF,300B76E5176C862520E00E66BD865025346BD11AF90DCA64A2D1279299963240]] |
| FP4mulj = [[2D29F9D6B789B8F27135BB30B6528CB73C524994E599778FA9D6E09325B226AB,71A6B0CAF9CA0E7410F3C2D0F844002A2A130EA749EC12ED8086A2F7A99D99D9],[1888C580937D48A9C80CCFE1FC2FAEE3F029781C213AC7D9CBCF54F35FB7B903,C97CF0F411BBC304332796AABAC420873E07A2642DD088676A16820249615E53]] |
| BIGsc1 = DA5D580E95122BF742F946AE843EC933793C555E78A29D68DBC6DC4D7C094DD1 |
| BIGsc2 = 2B |
| FP4pow = [[E7F6340D4E92A5FAD54D08EAA8418539317FA91C516EABE535F2646C9F90ED6F,8FFB18247D6772F5419CE69A3E2C38B1CBE537E347E8A8A3DD4336529088841D],[8451CEFD9F6B554CE523C38EE47FE55617A17983976709D9F45A3ED7B47F8A9C,59011A86D8912A9DC03B7FA1055DD248564BB15A396A7FFD0287D84AC9B8C9ED]] |
| FP4frob = [[1888C580937D48A9C80CCFE1FC2FAEE3F029781C213AC7D9CBCF54F35FB7B903,36830F0BEE412DC913BE5BB433AD8417CED4C396E4C7821B6912ABD96571D1C0],[7ACDAA02A07AC443928CFA09EC665A3BA6F110D34E6211B2036AACDD8023D331,D093EBE0A15AAC09BAE14326DF292ABF5EA24DA75D2A19FF296B247001E42A50]] |
| FP4_xtrA = [[60B481DF52840CEE7D37D82BB45C92DD825306CB6A4D83264FE0F53D3BF5E79F,EAEE6A5AB598C1CC9CE34D424EEB8B209DF148E0935DA7C968C9E1EB09E120E1],[24229A0E25166B0E019947DA1FEC41CC0709DD476ED6748475017A44C6E69FDF,AAF1632737B8A9533FEAD208F90C0855891EBA6C0274F42007D87EE4A0A0D9A3]] |
| FP4_xtrD = [[11BDD37DC08F023D595354ED1F757567404F0AC3C8BAEB6E83DDD378D0C6FD3B,0C42312218958D2C7F00C3F46FB2790879F47F9D67AF0DE63C65D29C6C8DC69B],[283FE084784DA2EA25A09880717461538149E8B69C004CDEF9E76272F3DCABF1,CA2FBB8FA7C8FADE6F738CE04BADC976DA6320F5C81B1D41FA9A091F30BEC1]] |
| FP4_xtrpow = [[C411951B09590CAC0A74BB65A8A481B9261A3C5056C05CF1484894E3437A9D20,9EB0E5C3D6C5ECFF03DF09AA0899F86E49D5436ED6FC68CB09F9AE697AE47FD9],[768848BE4074844DBD9363EE779F57FC79C356A17B1382EFFF0A4F45D65A3D93,1581A1F0DFECA56A0C0E8A6F8470B00430847633198429B7873239CADA2E100D]] |
| FP4_xtrpow2 = [[F7D016D135D15CC6E58AEDB2F920337B541AB62CB2231B6D6304F59DB0667B6C,2A59C17853020E569354C04D4B82239C58896FE2167E09D4812810D67B921B11],[4F57C258CB84C60086ACBDBE4A12EC966C417BC588A9C760C0B10556EB9094CA,C78EDCF4388A554E19D1EF801B366187AC8EBD7AAF00918BF07A04B47510FD28]] |
| |
| # test 8 |
| FP4_1 = [[450F188DC4D5BDB03B5D3163271DB8B282546A2F805DEF727C952C18A489A2A7,0E0D7EB6C210FB27205722AD7988FE54F7AD6D2FE1F7E2A6CE348CE0807B3AEE],[EA0E4C80134A38F95EAA1F43ACD64E429AFC9404B4CD1764A0A7220D42B2EFB1,B8D0CA965505E890E03A83735FA2F9296D578B46B10899576721B0E8647EC9DF]] |
| FP4_2 = [[4BED95B14975C5033C236D54C546864A4670C0B50A308394BBAAEEDF23BA363F,8691BF6636387D224F71218180AAD8EEE37B2DE50A0A0E0DE0B439A6BFCC3430],[F17AB8E33FB383C1B2D98A3418D1A5C9D41F835082C47A671CBD65B9EB7A472D,6E3200F56039E05C31FC2D17532A9D3367A9ADFCBC92B8FDB27DC178884FC214]] |
| FP12_1 = [[84FAEA8DCDEF275BD62433587EEEED2E1D7BF5E3CB0FB011D5454470B8682978,F1EE000B05B2F7E6698E5D628748957700988A0DBD2A499893457FD252A3C9AC],[D4A7CBC486C834DBED14C1B0D21449A899D108ADABBFE13D666643001A3EF387,14D1285D56F9300E1E1944A46EEF66DFBD771DD447B8FEF9BE8910B03EB9F1D7]] |
| FP12_2 = [[84FAEA8DCDEF275BD62433587EEEED2E1D7BF5E3CB0FB011D5454470B8682978,F1EE000B05B2F7E6698E5D628748957700988A0DBD2A499893457FD252A3C9AC],[D4A7CBC486C834DBED14C1B0D21449A899D108ADABBFE13D666643001A3EF387,14D1285D56F9300E1E1944A46EEF66DFBD771DD447B8FEF9BE8910B03EB9F1D7]] |
| FP12_3 = [[376882F47BE3D54D36DA62D95F18F5A263183238D251ED2C40B6098BDEBD7815,592DF1A37EBC9F1D6053B7636FF00560125F02A2CB9F9BF5BE5BAB520512288D],[D37F3827002275FA955C188F4F6A2832B5996501C7DCEACF4EC7867155EFC358,DA25B9A153360BD6D15E2B6C4904FD53BA6E17B29AF2EFD91DE4447B65C01669]] |
| FP12_4 = [[E5EB02C2A1098BEF7923B1ED38C7A55159415790D8803DF88BC2AE9065C1E154,DEFC285396E0D48AD9465A0A3F99439E87F0407024C078A9871B2A292585D774],[A7296514EEA3EFFE0AF7DD8A4C292A4BB0582AF1D0178C3A78C3DF296BE0FE1F,96D75BDA6AE7CE716DE17893168314FBBAE4B44D429BAABFE04291C37FD03A01]] |
| FP4add = [[90FCAE3F0E4B82B377809EB7EC643EFCC8C52AE48A8E730738401AF7C843D8E6,949F3E1CF84978496FC8442EFA33D743DB289B14EC01F0B4AEE8C68740476F1E],[DB8905635300CBEDCA9DB718D7364F6D623FB15A24F98748EA3B59EB7F5A06CB,2702CB8BB542D81FCB50BE2BC45BF1BDC824D3485B0347D2467644853DFB5BE0]] |
| FP4neg = [[BAF0E7723B27331D0B88C0FBC753EBEC8A87FBCB923A1B10569401C30A498D6C,F1F281493DEBF5A6268ECFB174E8A64A152EF8CB30A027DC04F4A0FB2E57F525],[15F1B37FECB2B7D3E83BD31B419B565C71DFD1F65DCAF31E32820BCE6C204062,472F3569AAF7083C66AB6EEB8ECEAB759F84DAB4618F712B6C077CF34A546634]] |
| FP4sub = [[F92182DC7B5CE97A461FB66D5048D70748C00F7588C5766094136B152FA29C7B,877BBF508BD56ED217CBF38AE74FCA05210EA545EA85DF1BC0A981156F8236D1],[F893939CD393A604F2B6876E82764D17D3B976AF44A0A7805712EA2F060BD897,4A9EC9A0F4CC0834AE3E565C0C785BF605ADDD49F475E059B4A3EF6FDC2F07CB]] |
| FP4conj = [[450F188DC4D5BDB03B5D3163271DB8B282546A2F805DEF727C952C18A489A2A7,0E0D7EB6C210FB27205722AD7988FE54F7AD6D2FE1F7E2A6CE348CE0807B3AEE],[15F1B37FECB2B7D3E83BD31B419B565C71DFD1F65DCAF31E32820BCE6C204062,472F3569AAF7083C66AB6EEB8ECEAB759F84DAB4618F712B6C077CF34A546634]] |
| FP4nconj = [[BAF0E7723B27331D0B88C0FBC753EBEC8A87FBCB923A1B10569401C30A498D6C,F1F281493DEBF5A6268ECFB174E8A64A152EF8CB30A027DC04F4A0FB2E57F525],[EA0E4C80134A38F95EAA1F43ACD64E429AFC9404B4CD1764A0A7220D42B2EFB1,B8D0CA965505E890E03A83735FA2F9296D578B46B10899576721B0E8647EC9DF]] |
| FP2sc = [288891E374BDAA5EC2D16FF924192353C32862B16FFBB43123987CE68E9C05BA,F781F44B626C39817549498C20290BC23871A438C17C3264E67F6D779CE6CFFA] |
| FP4pmul = [[FCB3362CE61B6A5B2E23BB0F737ECE3CEAD04565F56B7861F45679F202D53C4D,1F603C27973980D51546BECE745540876A72550B0599FA7E442DC0B174FC20A8],[7CB2FE8B2F95207C55839EBE782908BF655BE372F55340AEE418A821BE5FC6A4,A87852414E8E3939D847C556E085CFAFD1A15ED69962A1F4773D1A60BC0EB524]] |
| FP4imul = [[E369ABE061DB3F0458A66757235E6842837281516FF9819E94EB06D0D0F0427E,625E76FF4E76DE11E261F2BE52BEF452C5BDFC4F2DC7328FA36FDA23835E9C82],[666417808719EA01ED432CA023324817EFBDA83E820B64AF719ADB36B9F16D65,0DB58A1C5338A7F3BF1BDC4CF53C9906BD16D1077A43FCD5B21DF110555794BA]] |
| FP4sqr = [[680237C93ABA302679951E595DA3975777EA1EB330882B27F877E0FDB9299BD4,1A469C7A0BFA4235C81FECAEAED102CB43B022DA1DBE4233A648D26AA6C46D0D],[9449DD4C563A19B0434E9B53591A2F5FDBFDF8B9BAB03F64BF515A7781B565A1,707C76BFAF5311118B05E1F40E8FF40D32AEC7B693C39174B45EE6CF341D7281]] |
| FP4mul = [[225F82B16A7BE28138FC63195D858C32C0961D463CB3F300D666AAA2D0B4EAAC,61A421FD604B5B0CECC65779BA8CA1AB817796038D6AE4AE13AEC03E043C3107],[219F6827A1274D55D7CBA36B3CA125013A5B515C8ECA42C307DF0CCB9421E5B7,BC5A8968B2714845E295448474064B9A9E2908FD67D4419976BED27DC38C6E4B]] |
| FP4inv = [[C409B9003A4203CE2027E4596C7698ADEB6806A7731312A7A75E602F10BE531F,ABD8DE004810795C2BB9F67A5903186C6116B9C0A2E7329955873348F031BDF9],[97AAC707C71CA607073EC42CECE044CF67F0739C13AC660FB4FD9FF65163D7E4,697DF99313F02F898666037B3503873DE0DDB0F7966BB966B382F28B97FA3883]] |
| FP4mulj = [[313D81E9BE4450687E6F9BD04D3355192DA508BE03C47E0D39857124DE3425D2,A2DF1716685330BCF7FEB0581E07A2CCFB77B950533DA639349FA519F85E897D],[450F188DC4D5BDB03B5D3163271DB8B282546A2F805DEF727C952C18A489A2A7,0E0D7EB6C210FB27205722AD7988FE54F7AD6D2FE1F7E2A6CE348CE0807B3AEE]] |
| BIGsc1 = 1F285755D479C07B030E1DAD990F432E3C431C7A715649C462EAE73A38EBCECD |
| BIGsc2 = 3A |
| FP4pow = [[A01360936C6F02396FEFD7CB83AFF052224C7DB66C4988BDFD688BDD7D5498F0,87B8CD7E0D45E966478B205240EFF189F5187E093F3C6CAAD57E2E3CA503D124],[825C74B7A41F44336F0D6676D0F5E6C67DE63472A50AA7D14768286A9FA5C3A0,D375A4CE9F1DED63B6F664E314EE6C4673700C9A3DD48339AF08763EC516728D]] |
| FP4frob = [[450F188DC4D5BDB03B5D3163271DB8B282546A2F805DEF727C952C18A489A2A7,F1F281493DEBF5A6268ECFB174E8A64A152EF8CB30A027DC04F4A0FB2E57F525],[F61316582F47B37773078C4F5222241B050BCE320E14CA6556C9606074FCF53C,355AB9D3BC60999BEF103E9605DA129BD0CA751D6C62B9F4F82230B43B2068C4]] |
| FP4_xtrA = [[81E464FC96C19E3A8138A1A6E46E3AE86820D265C77ADA13A81F64CF1A3331A9,1385D7CD6C1B131D4D8CCA708BF57E69BC3BB0EEE50AEFD96FE06E6BED1C1FC9],[3828EA2483793AC91F03C0A79078BB15F2BC9E827D92D6A4D0D87C948DD069C3,8906D3DBF985994BDECADFB474781D3E2EEA089D96517E0205CE083A1ED29316]] |
| FP4_xtrD = [[DDE406ADB10BA59349C0ADF1FDD9CA91801DB04F426456C5D276B6A81EE98699,FE2B9F0C87D53CB4CE5799B2AA30AAC06131AE756C668768DD08E68554A12744],[6866764C7CD4AA0872D6F51CD5E382A6F83E54CCFF1A59285A4D42DAA974E4DD,E21E0BEC5961F1660494F67BDF6441C100817848E33CB9A0AF791AC44E47D62C]] |
| FP4_xtrpow = [[D7FDDFDAC1C5EC59305DD65BFBF303C039BE57FD1029A5903AEACEA0461F22DC,024289DEFAA30EE6C3083A9DC1FEBFE40D6DBB0B0D0F8F5E3A154AC153B8D88A],[F77F85150C5296ACE1771CCCDAC64066340BA88E6BDC0112BF599CA199944F4B,5FBD2A081D46C123A57C9FDC0FE7083E246CD0A843BDB5FA75EB586F77B6C6D5]] |
| FP4_xtrpow2 = [[5439A4F1A0699807586CAA82EAA266EDC856B837BE45743E80BB4CD1C61561A7,CD636E180944E4C0397CE5B15F22C0A5CF63AEBD02CC32CE5E113D680CEF40B7],[F2A539E36272A219D4AED48FDAFA824B26DF79D0844684F77A4CA2B5E36CDF7D,88ABE08BD0CA745DE26014324E65F5FF4BA09D38FBA4B399C17DB791C6255D71]] |
| |
| # test 9 |
| FP4_1 = [[0A4A0E4A123746D7DB72504B07BA606838AD29EC4061F6415F414E128BD62CE9,DEB54971DF323232EB3E1121C1369E25841203D5B1AA78A47710FBD2B89FB0FC],[0DC1422C0CE3F8314EE60F7357DA62B65D1A2B3AD93BA97C6E4894DC1CEE1083,E323F07CA23A95A7D07FB4C1DFF39A8F4826B5E8B9326B65D389F5B9A855E5B5]] |
| FP4_2 = [[A32E448ACEB1E22586F8A35B9E6F27776E83D4570CC0E279D70CF17F8244A9A2,80C268815EAC4C51D51CD9BEDFCC4F49350F61D4CFFD54971032223F911910C2],[A3A489B22BC9FCB261D632078FD76823B9A40E16942C78B4173732A31C62B85F,E3E5A20CFAEFA1E02995B08C9A4758E71B13FE572D51181D8E5A1965A18DAC1A]] |
| FP12_1 = [[3A8FD35D8FB6D7E42BE0C02B1DF8B7B732DE85A02CA2D6A01AB48EC50342A914,1FEC0FCD9F0DE7FBD6459DFA76D2C416C29DE2BAA9AFA27144177012D0EED68D],[6F6F18A79EDDBF4B8331733118037627D861A020C1648BAF3D11594D6C844300,1E7900A0C0FFD69564A6C10BFA30003D8FAF54D79CB82FC78ED8C1E8344CBD1D]] |
| FP12_2 = [[3A8FD35D8FB6D7E42BE0C02B1DF8B7B732DE85A02CA2D6A01AB48EC50342A914,1FEC0FCD9F0DE7FBD6459DFA76D2C416C29DE2BAA9AFA27144177012D0EED68D],[6F6F18A79EDDBF4B8331733118037627D861A020C1648BAF3D11594D6C844300,1E7900A0C0FFD69564A6C10BFA30003D8FAF54D79CB82FC78ED8C1E8344CBD1D]] |
| FP12_3 = [[9E2884267F5DA92DFFF7CC7161EBB336595BEFC2DCF9EDBB1E699548E8D56C77,71C4B5E4D97053DF2306A53FD319B99A9988F74D483FF07D6F58228D33465C86],[C7D923F94A6E4942F6DC1CE83CC4F9A13245B0783B6EAA0EB8529F7D90E8970E,5CD4618DE2E1C9CD7A17D3745BEAE15DEF47BD988E2A1C7DF45A022EB1707B58]] |
| FP12_4 = [[6760DB36B740C157AF8BC063D9D1626AA8CD21B196055B81DE8A3FA0F377E62D,581EA23EF689A5E757445B191BC572A9DE6DD98FF9F46F5D7BBEA5B214766780],[7A63E8CB19AC7345F4BB6CDCA9E77399B1A6D4E92C40B16ED0346B744D347CA6,49922A26C152E4DEF2C967952F4EEB710F5B0A98719005E38D44884853D037E1]] |
| FP4add = [[AD7852D4E0E928FD626AF3A6A62987DFA730FE434D22D8BB364E3F920E1AD68B,5F77B1F33DE18DB77974F881B29148CFAC44FFAF6F0FC2B8B419F0369AE591AB],[B165CBDE38ADF4E3B0BC417AE7B1CADA16BE39516D682230857FC77F3950C8E2,C70992899D2D46BAB32F72EF8BC94ED7565E4E44D3EB79008EBAE1439B1061BC]] |
| FP4neg = [[F5B5F1B5EDC5A9F56B73A213E6B74436D42F3C0ED236144173E7DFC922FD032A,214AB68E20CABE9A5BA7E13D2D3B067988CA622560ED91DE5C183208F6337F17],[F23EBDD3F318F89BF7FFE2EB969741E8AFC23AC0395C610664E098FF91E51F90,1CDC0F835DC25B2576663D9D0E7E0A0FC4B5B01259659F1CFF9F3822067D4A5E]] |
| FP4sub = [[671BC9BF4382557F9B5F9F4E57BCDD8FD705BB9046391E4A5B5D8A6EB864B35A,5DF2E0F08085E5E116213762E16A4EDC4F02A200E1AD240D66DED9932786A03A],[6A1CB879E116EC4C33F5CFCAB6749F31B052831F57A73B4B2A3A9014AF5E8837,FF3E4E6FA747E494EDCFF694341DE64739EF1D8C9E795DCB18590A2FB59B69AE]] |
| FP4conj = [[0A4A0E4A123746D7DB72504B07BA606838AD29EC4061F6415F414E128BD62CE9,DEB54971DF323232EB3E1121C1369E25841203D5B1AA78A47710FBD2B89FB0FC],[F23EBDD3F318F89BF7FFE2EB969741E8AFC23AC0395C610664E098FF91E51F90,1CDC0F835DC25B2576663D9D0E7E0A0FC4B5B01259659F1CFF9F3822067D4A5E]] |
| FP4nconj = [[F5B5F1B5EDC5A9F56B73A213E6B74436D42F3C0ED236144173E7DFC922FD032A,214AB68E20CABE9A5BA7E13D2D3B067988CA622560ED91DE5C183208F6337F17],[0DC1422C0CE3F8314EE60F7357DA62B65D1A2B3AD93BA97C6E4894DC1CEE1083,E323F07CA23A95A7D07FB4C1DFF39A8F4826B5E8B9326B65D389F5B9A855E5B5]] |
| FP2sc = [02C1C7F95D785923571B078A2CF0EF04163292CB82987FD32137A8E54760CBFF,B1BBEC89DA88BD0AC23024B5307247679F6DCD6E467387A3D55320032DB9AA94] |
| FP4pmul = [[7518A81FE33BD5B7E96B9004DB8F7EFF0EEC646A44F763D7AAAC5E1BBCCEFD1E,F405720DDF26EDC1138CE332A4C2B34459E8F987C6101DED3A75A1D12040A78D],[8B88D73022C86649F1F046AF965C7272FB33F6DD18C3C8C195953F2D514226E0,0E6ED2078B6AB736E4C7B5864CD20A5F021FE1DAB039B42B515A2F4C406BE3D4]] |
| FP4imul = [[5250725091BA36BEDB9282583DD30341C5694F62030FB20AFA0A70945EB16748,F5AA4B8EF9A3ECC7B08CDAD4730B1571D365BACB1DC38612C590CB6FAC0A676E],[6E0A1160671FC18A77307B9ABED315B2E8D159D6C9DD4BE37244A6E0E7708418,191F83E511EA17A193B405767A815420E72EE568476B119AD62F6CCB7AE8DD23]] |
| FP4sqr = [[CA0B5F078498ECC264E99171D3829D3E8637EA9067416290E1F28047341E4F86,CFF81F89B64F4296816ADB6A57FB0A99FFDA3896B1919E210F21A868E0F7382A],[733F4DCF91EC7C81E99EE392E94092E49AC6909B4BE4BE95159E489C1451A625,AEF66BCC1E4E8A43166A9AD9D664372059C445EF412124E1F01FD26EB0D79B0A]] |
| FP4mul = [[E73B9743165ED4B617E5520E490CCA5038E27EB15D05ADE2DE3EB2684F71FF5A,929E6176B1978B81B50FB28C0B0A040419744B4C60F5415FE77ED43CF08DF5DD],[2283A0F82F366E307B261916DAC07FB2D8B46EE8365269C0D499D47FD43906CD,FC81CBF2BEE595A3B666CA03376602B10EFF877D1FA606FBA01D3A78834AFB87]] |
| FP4inv = [[A69D3E718CA9067A1143156360F579B50724188DAE3B4EA03A80B1086A1E7E96,0B2C82A19104F4B8D64688BD04741E5DA6EE7CACBE1D2B39D8FFD365DB254401],[E461F33C1FA4AB29DDD6186327DBC1BA9E20EB0AC20A15551BE24F916DA52A20,E6CEBA8C75E8EB548F852C5643E62BA29A9A96868AB1A8B20C89321E49959DD6]] |
| FP4mulj = [[2A9D51AF6AA65356C54C4D1066586CC621CFDB4D32A148996DE7CCFE236B5AE1,F0E532A8AF1E8DD91F65C43537CDFD45A540E123926E14E241D28A95C543F638],[0A4A0E4A123746D7DB72504B07BA606838AD29EC4061F6415F414E128BD62CE9,DEB54971DF323232EB3E1121C1369E25841203D5B1AA78A47710FBD2B89FB0FC]] |
| BIGsc1 = DC27C4290EE744084AB8B948E4285ABFAF06B268639D21D33E2BBE7A514DBBFC |
| BIGsc2 = 29 |
| FP4pow = [[E3A5879C61D6287C8C41461E7E4179252814BD4A6CCF77CB03564BD8613F253A,F7E1CD93F8ADA8F2D6E7D44A2B171538484AC3AD36DB8FB6532B03DAC7E9F3B5],[E8A13ACEAF34B189530EA7614E903D9B58A4F6A7D286AB17F908F621D9349561,A8F3BF481E15DF4B3AF43861E21A2BC42E49AE1B98A9524FC19D58BA9C727020]] |
| FP4frob = [[0A4A0E4A123746D7DB72504B07BA606838AD29EC4061F6415F414E128BD62CE9,214AB68E20CABE9A5BA7E13D2D3B067988CA622560ED91DE5C183208F6337F17],[478DA1FB6ED5E74E6AE82B9EEFB291C5E05676C449CB500A340C47737EE6598B,99F1CD02D6A84B93606BE9CFAA40B6093E16D0865B17BFE48574482A9255E319]] |
| FP4_xtrA = [[5726B48D70566EC9EB659A69786E00D1E03FE9167796585D425FFD9BEB38D22C,AE09A6225960E5133D4414EB8B2AB6470800C98BD25DB198DBE912C953360E8A],[B45078CAABAE648623EFE7F41C1EA3817DBE96D811D4F63B2AF440ABC15F2895,EA21F9CBC7B708A7A03DE9180856B82682DDFB196EC2E8FC0A1DE49DD56C9011]] |
| FP4_xtrD = [[B5774273602A5F12AE04F0DBC40DDC6E14DD96B7E67D760E236FE4221C71F5B4,128D8CA5F7E7CEFDF1D4AB85C3FF72EE049296E660D4B75AF428DE9F1E8B0645],[8EC1D227ABB46CE4876B027998F5585154FAE710FE5C118DF22F72544E2DC72B,753E4CC562C9D3F8299E1F9FB9682300D058E5CA8E55E6A7F0E1622AA3DD064E]] |
| FP4_xtrpow = [[3D346B703938860DD775A51448A408E4DFD5B710BE914883F07B50653AA1B57E,CE34231C12ECEB3ADD9A4A7DB52CCDA171D8637AAC717A5FFD66E18F80CCFB85],[164CA4F5D8ED03A91364E0AD18B16F0AF418F6889BC826ADE794D19F1C8B121D,98326FA54012DDCDD8D59F0BFA95FD5464476A12A8C35F258E8E04BAD10CA07B]] |
| FP4_xtrpow2 = [[0B5763CE664859669B6E2648274CF0179FC81773E1D2A17651E3B19BC6FF2EBC,0812CF226699025545B5E6FEA9DD95022B2384EBFF1B5DE266B52CAC78F39BA6],[34D7213C60EB4C55916B039F47EEB588392BEF8CA41BD1FBF3EABDBBA8F802ED,AEA9359B3F26FD82E9A765F33944E3FF2EA511746F6CEBF9888BD85EF22533DB]] |
| |
| # test 10 |
| FP4_1 = [[0C2E0B0A75ED39EBE698A921348A35220D84231A2534B80AE2ACEFADB38E99D3,EA70D1D98ADB62CE34BABE6B3094318225E1CAFA119CB630D347FDCE1959D69C],[2342D767A381685F077428CB69BC230A60BD37134DEA3D4A747B8CF02DB74172,0EBF34C56219F493FB367CEA58C1118BFA871F826FB8D4446BB88076E2067573]] |
| FP4_2 = [[7521E9093FA19899F97A6E81F79D24BDFD6C31B5656712D08CB2DA73274CB5B1,84D85B48FC436E48D68E631BD5442511E23D9A4763146985C30A336E105EF448],[150C457999B4748732EEFDC929616C179726281E7B575B8135D27F006625577A,41FBD53154F1EC370781F58A238A0B9995FAE0498F022FCF70732B432E141F07]] |
| FP12_1 = [[AF7870A64EEA650A76FFBD2D71741366E9C6A79F0CF3FAF55916E3C3A0B21428,E197CD6C63B876C5BDFA3D54774C08DFF2CB2F10935329A1AF610DE80C01F62E],[D26FC09B23872D186661634D3B52C055A02FCCBFA64852C2AFDBF256647C2284,CDA8D2340AAEDAD5217208F2022C11E2D15522AC6815F228435BF53F3110E640]] |
| FP12_2 = [[AF7870A64EEA650A76FFBD2D71741366E9C6A79F0CF3FAF55916E3C3A0B21428,E197CD6C63B876C5BDFA3D54774C08DFF2CB2F10935329A1AF610DE80C01F62E],[D26FC09B23872D186661634D3B52C055A02FCCBFA64852C2AFDBF256647C2284,CDA8D2340AAEDAD5217208F2022C11E2D15522AC6815F228435BF53F3110E640]] |
| FP12_3 = [[9832BB4BD7DA486856014B6DF245E99D78C1BC678CFDB1857886DD6C074EA39D,7383B5C6C0D82F11F21885928FC60A230587C329BB840BD56AE39A5E0A5F0F47],[53B86D5F53B1FCB24D5E6E55CDE1E979F06C156AA8D6FFE1381AFE789E82E272,B68CC8F760E73BEF78EC692078EEA9E118B30DA9FBB83421D387ECBDE9829539]] |
| FP12_4 = [[37C6B949D945B7F6904D123F0333EA1D1E37FDA53068A4B6480750E5A22DC45D,66CD734EB7FA300CC69491F3C97BB0AE38428B9F6AAFF079E51974A542C150E8],[F4C5714BE1DDC2B5924779B5D48D2E540D3936F1F2A8ECD8CF990565EC6DD938,D174F06B0692BD35271CACC80B64CB5EF3734F623C0D8CA98D6ED2FB669BE6F6]] |
| FP4add = [[814FF413B58ED285E01317A32C2759E00AF054CF8A9BCADB6F5FCA20DADB4F84,6F492D228721E049C4632F281766B1F4FB42FF4662191533C32903607AE59AD1],[384F1CE13D35DCE63A632694931D8F21F7E35F31C94198CBAA4E0BF093DC98EC,50BB09F6B70BE0CB02B872747C4B1D259081FFCBFEBB0413DC2BABBA101A947A]] |
| FP4neg = [[F3D1F4F58A0FB6E1604D493DB9E76F7CFF5842E0ED635277F07C3E2DFB449640,158F2E2675218DFF122B33F3BDDD731CE6FA9B0100FB5451FFE1300D95795977],[DCBD28985C7B886E3F71C99384B58194AC1F2EE7C4ADCD385EADA0EB811BEEA1,F140CB3A9DE2FC394BAF757495B0931312554678A2DF363E6770AD64CCCCBAA0]] |
| FP4sub = [[970C22013648921F34042CFE2B5EB5031CF4575FD265AFBD292343163B151435,659876908E97F4855E2C5B4F5B500C7043A430B2AE884CAB103DCA6008FAE254],[0E3691EE09CCF3D7D4852B02405AB6F2C9970EF4D292E1C93EA90DEFC791E9F8,CCC35F940D24F92A3A9A79BF23A8AA917168A533F34EAEF7CE6E830F62C5867F]] |
| FP4conj = [[0C2E0B0A75ED39EBE698A921348A35220D84231A2534B80AE2ACEFADB38E99D3,EA70D1D98ADB62CE34BABE6B3094318225E1CAFA119CB630D347FDCE1959D69C],[DCBD28985C7B886E3F71C99384B58194AC1F2EE7C4ADCD385EADA0EB811BEEA1,F140CB3A9DE2FC394BAF757495B0931312554678A2DF363E6770AD64CCCCBAA0]] |
| FP4nconj = [[F3D1F4F58A0FB6E1604D493DB9E76F7CFF5842E0ED635277F07C3E2DFB449640,158F2E2675218DFF122B33F3BDDD731CE6FA9B0100FB5451FFE1300D95795977],[2342D767A381685F077428CB69BC230A60BD37134DEA3D4A747B8CF02DB74172,0EBF34C56219F493FB367CEA58C1118BFA871F826FB8D4446BB88076E2067573]] |
| FP2sc = [634A4A7E61B87AA0F06F14C96DD71AD275B33F7E0E8171EE19962B5B376A7E15,1EEF13E79246DE124EC9330217E567DC78250E82E2E2DAE14BAF246C8233647D] |
| FP4pmul = [[AA576DA8C864738B9E6F7D0C48CE6C04496294B007E1ABE00FCB3E78C7960204,889E94429949A9C1A21BD4AB8A89E48053713AEAF9A93A20F2690F1455A59E35],[E72BD4361E224428F2422FD39225FE4F2DDA18F6CA14B816946C9D19CAC1C95E,42710294A7F9134E8EEF353945BECF607A82528E4A23EF9C7FDBC05C6548D6C5]] |
| FP4imul = [[6D9E635E2557094B1B5DF22AD8DBDE3279A53BEB4EDA7861F8146D1B5003686B,3DF760A5E1CEF2D5A3611ECD41A8989AEE0CF2F209C213A0D43E7D616D8F0AE4],[3D5992A4BF8FBA89FC2F7CC7C92B96BE59CA89B2AAA41D1B452EC695EC9E1CEF,84B8DAF072E99933D4EA643D1EC99DEBCEC01B95ED7F7667C97C842DF23A210B]] |
| FP4sqr = [[D7D28B31D2E8D532B1BB46C86D457BDC67284EA17CFA9680FA16A8A3AC85B537,EE0578D711780CD10962598D5E5773F812277105B39FB2BB5F8C60E2E97D9586],[8990D80F01A86AA8891DED9ADDB11C7D754629D7BC6D7E48FE2DD2030CF4F612,1C8BCFB87D146B3A609BAB81EF738917DDB5ADCF94DA8DE3691E21A9ED2C3631]] |
| FP4mul = [[CA9B63B3F9D50F37AEEB1183E86D15FDFD5AF342CDCA10E8F4A6C0880AD2028C,C35DA78ADB74FA8601839357F488EC85929B9D7FF09CBBC615AD79E90FB68EE3],[6DB73CC948587D182461B667DEF926E039405CADF1DE7C218AA49F501C31DB7E,7026A1C1BE14F469667AEA229C81B7BCA1FECF7C4A9A40B88E38B2164CC748BA]] |
| FP4inv = [[C3B45FD936E6C15140ABD007DA362A4FE5307711A364FCB9D32C6EDD97CF2AD4,1315859FD6F26862F4541454046748C0BA87900255E679496495BCA4DD37DCD9],[C5E6F3B89123C15DB0C21B427AB6176C25F7A51325CCC3D98B12BC881068DD10,8F358BB3268218CE62815117A96DC03067A2A3A5C7CF8A4253182A38FC658A81]] |
| FP4mulj = [[1483A2A2416773CB0C3DABE110FB117E66361790DE31690608C30C794BB0CBFF,32020C2D059B5CF302AAA5B5C27D34965B445695BDA3118EE0340D670FBDB6E5],[0C2E0B0A75ED39EBE698A921348A35220D84231A2534B80AE2ACEFADB38E99D3,EA70D1D98ADB62CE34BABE6B3094318225E1CAFA119CB630D347FDCE1959D69C]] |
| BIGsc1 = 2DF20D716509CF8FF2045CED60B7EAB6CDA01A424825776B173C02B4E6F0ED22 |
| BIGsc2 = 4E |
| FP4pow = [[C6D39DD378442F5D0EE9F2F6F922F3F8AFF4D5B89A10C42696CF082962B4DBC9,2690A2C2B6EB8AE6B15CF639B61A1CF55237F53AA2AC87B5C1EEC22D67783E25],[768B4362FB352937BBC4F6F06CD914B0665BD62E96AEDDD44191527CD182D85C,20B1EFCDFF61E744A2DFFE870E48D72A3E3D9022A3C794EBFA8999B3BD69F8F8]] |
| FP4frob = [[0C2E0B0A75ED39EBE698A921348A35220D84231A2534B80AE2ACEFADB38E99D3,158F2E2675218DFF122B33F3BDDD731CE6FA9B0100FB5451FFE1300D95795977],[8CB25AB5DCCFFF7B425D55F9E3C168C1C9B02C0443378E3180DBA1155649BD85,9201011FF01627760C126F1B7316BABE5C2BBF626DE84CD0BB99950AD370E97A]] |
| FP4_xtrA = [[3B85AA349D7A5087E151CD9C262283312251336210784788DDCE6F6EA7224C21,1B6C00819F9D0BD17E69E357DA6946FB1A179B24EFA3F401C6DC1C3153A071DE],[AB172CE011B8AC0AD249C94853880C2B1B0370FCA47273502DA541F5BE0664FC,9236761DCD9A5CB6A6046DAC6FC75DECF983486E6D7436D9EBB7119BA4B3DBCA]] |
| FP4_xtrD = [[BF76751CE70E615AE489F486043111984C20086D3291266B34BCC94845688191,1923D523FBBE3801E6D2CF15EBA0B592D340410CA2FE50DC8C259322659D1861],[D01686DE48AB3B6698063F31B129629236C097FE5841F8DDE724EBE3686378F6,3A0A3943414854625708A556A0F5AC2FD2C3ECD4744C366C408F2297B1392117]] |
| FP4_xtrpow = [[96A41E360DDB86DC72D0B89A1BBF5CB46CFAD9F6434D24A7AB995BEA1F52291B,8EF6F5986D6753E5EE0B88FE15A4C124CC2B6601FD35FA82F2329C0E013DAC4D],[CB31585CEA0EBD467778CD79B22194E67B22A5C8C1E2F2FF79D6735B68AC2E2F,6FCAFD8DD1521BDE4AD352A370F7BC554AF58411E326C13466173EA08B8754BB]] |
| FP4_xtrpow2 = [[FF95B4DFBC13335FBE979DA036C50071D24DAC9475DC4F36D3416FA99F47A125,C811661568F17393A7D3735B96857CF45EE5FBA0BCB4A6C04A5CAC0EFA173E6A],[20C421DE84811013FC16C13A5D199B9A11ACCCFC80C99E2252B9030DB40711A7,E266D0F3A506F522CB06B7F2C9231A377152E987E458DC5391951CBD45D256DD]] |
