# FP2 ARITHMETICS - CURVE: BLS455, Modulo = 0x55555955557955572aa00e0f95b49203003f665e3a5b1d56234bd93954fcb314b8b3db9994ace86d1ba6c589556b2aa956aaa00001800002ab, BIGmax = 2^456, Frobenius_constant = [0x397ea4973edcbe3adc0016a74594f818d030f7ba82cd7d435944f022bbc1cad1f853472819f887545498572f54a7337996409ccfbdca2ebf21,0x1bd6b4be169c971c4e9ff768501f99ea300e6ea3b78da012ca06e916993ae842c06094717ab46118c70e6e5a00c3f72fc06a033043b5d1438a] # test 1 FP4_1 = [[2AA2BB001759E629016B7E83F1330164DC0E7E51E7D255E360EB01D954753B0E2A5CF5B8FA6C49852C2A6C85204209805BEB00E26C1CF824B6,3816E02A5F5E7BE467BEB317FC865A718CDD267C709D1B7826D7B1BE0D6122E3DDC76C0380DFE9884BB8CD3D8BD362E33737F75D0113C451F7],[4842E5D5D1159D701361C2A9FD352C08965284BC804243F995111E1942FDDEE9F19DD8FF93D268D41B49CA1679063E976C192633565EDD8E75,4D461456B96ABBA8298A9CD53B5486F6DCD2C0DB3023585D7D625DB9ABE2D6D2C91FA4E8530D70B8D724948EF937C14DAAA0CF72055E59784F]] FP4_2 = [[214C81146F021367D5AF912B5B139A209CACD864B1A4897C8D34EE7738A26140ECDC6D57C80223ECA9AD57AC748653D69C1A3724444A0DDB48,2916379133B991DC1F8146B2CC807EAC7A9B1F7F85EE88A702DB74798CF3508C52D85A63A826EC206905F236B1932D511A37E59D27D8A6F867],[066C724C37205C1E2685E0CE255FFA201A38324E62EB833253551A94849B4198695D17A3A5BB5D10384B043B458129DBE0CB118D993F1B19AF,2FE36024910BC7F9B336E2F776071B75BDCA8BFB846FA9C12CCE68C5DC500093C6B073D229173E125C37ADAEAB84FB1FF89E3086D61873A20A]] FP4add = [[4BEF3C14865BF990D71B0FAF4C469B8578BB56B69976DF5FEE1FF0508D179C4F17396310C26E6D71D5D7C43194C85D56F8053806B06705FFFE,0BD7BE663D9EB8695C9FEBBB3352471B0738DF9DBC3086C906674CFE4557C05B77EBEACD9459ED3B9917F9EAE7FB658AFAC53CFA276C6B47B3],[4EAF58220835F98E39E7A37822952628B08AB70AE32DC72BE86638ADC79920825AFAF0A3398DC5E45394CE51BE8768734CE437C0EF9DF8A824,27D41B25F4FD2E4AB22171BD1BA710699A5DE6787A37E4C886E4ED4633362451D71C3D20E777C65E17B57CB44F5191C44C945FF8D9F6CD17AE]] FP4neg = [[2AB29E553E1F6F2E29348F8BA481909E2430E80C5288C772C260D760008778068E56E5E09A409EE7EF7C590435292128FABF9F1D956307DDF5,1D3E792AF61AD972C2E15AF7992E379173623FE1C9BE01DDFC74277B479B9030DAEC6F9613CCFEE4CFEDF84BC997C7C61F72A8A3006C3BB0B4],[0D12737F8463B7E7173E4B65987F65FA69ECE1A1BA18D95C8E3ABB2011FED42AC716029A00DA7F99005CFB72DC64EC11EA9179CCAB21227436,080F44FE9C0E99AF0115713A5A600B0C236CA5830A37C4F8A5E97B7FA919DC41EF9436B1419F77B4448230FA5C33695BAC09D08DFC21A68A5C]] FP4sub = [[095639EBA857D2C12BBBED58961F67443F61A5ED362DCC66D3B613621BD2D9CD3D808861326A2598827D14D8ABBBB5A9BFD0C9BE27D2EA496E,0F00A8992BA4EA08483D6C653005DBC5124206FCEAAE92D123FC3D44806DD2578AEF119FD8B8FD67E2B2DB06DA4035921D0011BFD93B1D5990],[41D6738999F54151ECDBE1DBD7D531E87C1A526E1D56C0C741BC0384BE629D518840C15BEE170BC3E2FEC5DB338514BB8B4E14A5BD1FC274C6,1D62B432285EF3AE7653B9DDC54D6B811F0834DFABB3AE9C5093F4F3CF92D63F026F311629F632A67AECE6E04DB2C62DB2029EEB2F45E5D645]] FP4conj = [[2AA2BB001759E629016B7E83F1330164DC0E7E51E7D255E360EB01D954753B0E2A5CF5B8FA6C49852C2A6C85204209805BEB00E26C1CF824B6,3816E02A5F5E7BE467BEB317FC865A718CDD267C709D1B7826D7B1BE0D6122E3DDC76C0380DFE9884BB8CD3D8BD362E33737F75D0113C451F7],[0D12737F8463B7E7173E4B65987F65FA69ECE1A1BA18D95C8E3ABB2011FED42AC716029A00DA7F99005CFB72DC64EC11EA9179CCAB21227436,080F44FE9C0E99AF0115713A5A600B0C236CA5830A37C4F8A5E97B7FA919DC41EF9436B1419F77B4448230FA5C33695BAC09D08DFC21A68A5C]] FP4nconj = [[2AB29E553E1F6F2E29348F8BA481909E2430E80C5288C772C260D760008778068E56E5E09A409EE7EF7C590435292128FABF9F1D956307DDF5,1D3E792AF61AD972C2E15AF7992E379173623FE1C9BE01DDFC74277B479B9030DAEC6F9613CCFEE4CFEDF84BC997C7C61F72A8A3006C3BB0B4],[4842E5D5D1159D701361C2A9FD352C08965284BC804243F995111E1942FDDEE9F19DD8FF93D268D41B49CA1679063E976C192633565EDD8E75,4D461456B96ABBA8298A9CD53B5486F6DCD2C0DB3023585D7D625DB9ABE2D6D2C91FA4E8530D70B8D724948EF937C14DAAA0CF72055E59784F]] FP2sc = [4C3ED7C38FB0492E90E3F8DCFE835E43114416773FED180F6F76EFF07AC94F9D717C71F189E9F33A3813F6E8D14C41EA7CBC2AAC286AC45BEF,39BBD162E994DDF215A1078F7FA281FF383D1ED1603080B28AA8A6D04EF8724F5CE23201FB58FB353CF4526C3A7779E97BA67752C358283B07] FP4pmul = [[3B9BC4BD74335704CC35AF5EAFB173482FFEC8C1D8AA57E023399EB5206CC04AEA738737B4DF13AE08A365AB76F4E3396442A58C8AFB42E2DB,3E9EF1E03FB2233A8CCC28DF1AD535FF5C688B2076409163A0EEF273B2378338CAB4B344592A6D36942CDB247B608BFE60F7EE58891C27847A],[162F3BFF389A02FF3CAD2F0980C23318F4F13D293991071CE38599D00E04C6FB3817D05856FE5576D44DB51704FA582BF7B676D1567A8BC457,43A93BBC624B05089B3D640728049597AE77948E3D8EFAC1F829A80743A86CE9E0E881CD170A38EB6919A5FA1C5FE14465A8CCC2D8B0786266]] FP4imul = [[00,00],[00,00]] FP4sqr = [[247681B2BA9BB08C12C3255AA01F349231329785CA6A74D4599E33C3A29FD708B361D8DAFD8949EEBB93F8A03AFC807FCE05E16FF85489EE3B,1ED791824FF00D1C4D7ABB6C11C6B8013376339E53CA697207EA91E1CEFB2F22C28345ABCCABEEBF2635BF5E134536EE73AA7DFF6C8E7C4487],[3762AE00DE3E7D6D760D4D0B2B0C5474CE7C40C633C9C22619E2B887DF319BD7E7C87009FF07C32B4C4DCEB2A2E4571AB2C1689E6D49222C25,0261791877C33CAED3CB29F7AC71541A66FDAD77FD17ECC258D3744C6E8443836F9F701FDF59801A308600177A3C597400F101F2104824C8C8]] FP4mul = [[469340BF07F49F7DCF2956EC361D0FA1B4E73281786C7B2ECB9F07C2B85F2CC419AB2DAA5D9D848F87D9FA8C5815C13C1AA8A93FA81BFCF664,0E9A0F3B440EA371D9681841378BB7A0865991FB0EDE5AB3B4408C41A258F720C793861478B9EC4BF27576725020B7F0CE177E8A381734EBE5],[50F911F8A40BF887A432FEF6C5362B1075515EA6B8BA42493B617E8A180A8EEB227F3BFC69510F1F758822E5047F7519352A16834C3D87C2E4,0A3DF01FEC73A581634E643D38EDF1411668A4C9E01ECFC3F4BB1A632D9DF6EECA22BF4CB71D0436187867F6C4EAE9B2BB4074A7A4CC506E4C]] FP4inv = [[398B1680CF3CB0960499C0C678CB574F425838523C4E797B850C213060E3C90B11929D87CD7CDF210D589AD6EE53F7328738EC05CE4E4BCE31,361049A9EC40D7E1C9E0D8F9156495D5F5FA4C65C01D55DB5A96B043B83C983B10EE31EAAA5B02E44E9C74C3892ABAFB426A3A7476E46B0B54],[27BA49D2E5D47546795EC844314DB2ED10EB0A08840CA4AC4F274F2A3CED01D0818B28B8CCD6219BBD420D0054E9A5B893249A9686DD3102E7,301E4CB41E425BF5734EDB8946803A1687276FDA59533759D8D4413A06D434A645C02689CCF747886523104155A881A3F61B7BB7EE707085BF]] FP4mulj = [[50522AD46D24371F147733E457953714B9BF2A3F8A7A08F23AFA9998EC17BB2BE1320FB0D571E0885FCBFB10D539A7F31822F6C152808418D1,4033A0D7350703C1124C516FA2D520FC72E5DF39760A7F00EF27A29999E402A80209A24E5232F11FD6C7991C1CD2D53BC00F55A55A3D370419],[2AA2BB001759E629016B7E83F1330164DC0E7E51E7D255E360EB01D954753B0E2A5CF5B8FA6C49852C2A6C85204209805BEB00E26C1CF824B6,3816E02A5F5E7BE467BEB317FC865A718CDD267C709D1B7826D7B1BE0D6122E3DDC76C0380DFE9884BB8CD3D8BD362E33737F75D0113C451F7]] BIGsc = 3053C5C905017081478ABEE2CA6504EBB697ED2CFE07ACB90EE9C50029C760DFCD0812BE56B904944445ACF7E928D735CEECD1E3DA5C9A1DD3 FP4pow = [[2745FAEFB7D27A9042A90D44DF274C2256AF873F441F538017E4C0EEB2845E64500325F618B7D8EC64E6A711B7F91888258CF0C2995516CB37,3DE7FDF382FA723BC28C1BD9F78F9BD698F0C1A038D7C42017F6DAC27A3BF1C5718F68649395C9D04710F7C03CD728040595403C01A3786680],[4868BD605524BBB097B1B2980EB9682883DB69A705D22AA41C6440308F25CBA7C5EC62976FBCF2CAEDA96074E042FCB2D0F806FC75C0C10125,04B1FA1C9AD60376B561733871B7610CC28F4F69022A7D08F439415939C90132BB5081D7B2536990157D5F94C99AD268603F7278289A5E134B]] FP4frob = [[2AA2BB001759E629016B7E83F1330164DC0E7E51E7D255E360EB01D954753B0E2A5CF5B8FA6C49852C2A6C85204209805BEB00E26C1CF824B6,1D3E792AF61AD972C2E15AF7992E379173623FE1C9BE01DDFC74277B479B9030DAEC6F9613CCFEE4CFEDF84BC997C7C61F72A8A3006C3BB0B4],[254F841ECD68D9E22673FF314589DDD15134E5E8C2F8B3224C861FED7DC37FBCDC2E073E3507EC8154718A704FA43E4F921EB1F860F73650D2,4A04D3FA89D2956EF17C1503A9BF2166BB0E16192FEFC69CD3D65C21597E58B863ADBD6AEF9881235E830767AB4219FADE9FEE2FD90D9AD1BA]] FP4_xtrA = [[4331D4059E2427F8DC7AF68BF67857F8A7D5A79E27945508C122A415AD97578AF80F23E8D9C6B5D5E13DC10A6D649DF4673BDE050271FC3ED1,01621739BF08524350231B36A954922BAB8A1E031F8193F98B2AF2D6B3B2311CF9FCF95837A44CC3B399CE618BC0DE7DAAD333572E27ED5457],[278B972F275510731BF8358F81C03E021322BF6331FB356B50FCE96F2F40B0B02828AAF530FAED10E2068CC32F915AC106CC6E18F3D2F5D59D,2B8F8BD459D1CC7BA6C598B968548678E3104FFF178646BEF823FBE54A6134DC5474FD90175637BA176B2EE4B31009B8EB0B8E44FA2989062A]] FP4_xtrD = [[24866507E16139913A8C3662536DC3CB795501403520E663BB14094A4EB21401175BC9029D5D9F517EE5E51F4FE398286CDA7FAB219A99A77A,03FF2A82E6AC6AAAA89D634BAE6E952119FB4D03ACEB4FD7DD87079F09359C6FBFA8493E5F99041BAA6AEA6C51099BD15BE52F456BE6F3A344],[1D3DC701D5770D9F4790B63FFA0D887FFAA27D82BF980F6CFD6D4247BB33F382599C6AD5FD52C3F94B93D7CCEA1A7EF6DD9E75051706DD43B9,47984870951F5EA7FC4055928D65D0052063C8D023038027304C5686714D3E14492ADE56F0C7791EC32863AC1740B165FF8800D61984D7B6BB]] # test 2 FP4_1 = [[5377850C384DC71BFBFDA3709CBCD6A075DA557EA6648B72690E493C2E75DC70B5C0FA3EB9CFE27D50981FF5E62B6CE63853B71B90F424EFB1,30CC004C4F969F988F1DEB5171E0FC652B44F51C57846D47EB663FF6C0183EC4AFCD7D6807FCECBEF4A8D82725A250CA3E7130DB14F9D042F3],[460D5A5CB855F5AD308C4946C25C61738DE25654300A9995A5392A13671E997ED1F457C1DC18251D45DBAFBB20EF626B3C74540EA12A0B5CCD,0D756278805ECC3517EA6533C9E3B09D158CDDA290C52938870AE36B10299574CD61F8993B16AEBB385D429EFE4B19C070A5E58E9C75831E19]] FP4_2 = [[485C6252D8D41D9756405BA3DB294B0132292210DF3CFE582A2EA0F3BE21F4DF69824C40FA22BCE99DCF8C9747D427B448B56898C343CF096B,2C100072DBBECBB0C1D3B2C6EDB5EBA4066F3CC3EA45EAF5BCC7D793901F7BE45E1B98F6BBE6FD3543259CE0649943DC80B082624A561DC932],[36A64DA7BC42FC89BB457EFEA9541FF90B201C8608557ACB9D91CA44CE537D151A9EA71E0E4F8665EEC8AC22390A35E74BDC6E098AA9591DCF,30EDFDEAE9A12927DCE425A16FB7B2CBC3D77A29D036560334BFB5A15111A7F5D113BC1A9675A3866936A772A1FF6F21F5F26266E5AA40460B]] FP4add = [[467E8E09BBA88F5C279DF104E2318F9EA7C411314B466C746FF110F6979B1E3B668F6AE61F45B6F9D2C0E703D89469F12A5E7FB452B7F3F671,0786A769D5DC15F226519008C9E256063174CB82076F3AE784E23E50FB3B079455353AC52F3701871C27AF7E34D069FD6877133D5DCFEE097A],[275E4EAF1F1F9CDFC131BA35D5FBEF6998C30C7BFE04F70B1F7F1B1EE075637F33DF234655BAC31618FD9654048E6DA931A622182A536477F1,3E63606369FFF55CF4CE8AD5399B6368D96457CC60FB7F3BBBCA990C613B3D6A9E75B4B3D18C5241A193EA11A04A88E2669847F5821FC36424]] FP4neg = [[01DDD4491D2B8E3B2EA26A9EF8F7BB628A6510DF93F691E3BA3D8FFD2686D6A402F2E15ADADD05EFCB0EA5936F3FBDC31E56E8E4708BDB12FA,2489590905E2B5BE9B8222BE23D3959DD4FA7141E2D6B00E37E5994294E4745008E65E318CAFFBAE26FDED622FC8D9DF18396F24EC862FBFB8],[0F47FEF89D235FA9FA13C4C8D358308F725D100A0A5083C07E12AF25EDDE1995E6BF83D7B894C34FD5CB15CE347BC83E1A364BF16055F4A5DE,47DFF6DCD51A892212B5A8DBCBD0E165EAB288BBA995F41D9C40F5CE44D31D9FEB51E300599639B1E34982EA572010E8E604BA71650A7CE492]] FP4sub = [[0B1B22B95F79A984A5BD47CCC1938B9F43B1336DC7278D1A3EDFA8487053E7914C3EADFDBFAD2593B2C8935E9E574531EF9E4E82CDB055E646,04BBFFD973D7D3E7CD4A388A842B10C124D5B8586D3E82522E9E68632FF8C2E051B1E4714C15EF89B1833B46C1090CEDBDC0AE78CAA3B279C1],[0F670CB4FC12F9237546CA481908417A82C239CE27B51ECA07A75FCE98CB1C69B755B0A3CDC89EB757130398E7E52C83F097E6051680B23EFE,31DCBDE2EC36F86465A64DA1EFE08FD451F4C9D6FAE9F08B759707031414A093B5021818394DF3A1EACD60B5B1B6D547D15E2327B84B42DAB9]] FP4conj = [[5377850C384DC71BFBFDA3709CBCD6A075DA557EA6648B72690E493C2E75DC70B5C0FA3EB9CFE27D50981FF5E62B6CE63853B71B90F424EFB1,30CC004C4F969F988F1DEB5171E0FC652B44F51C57846D47EB663FF6C0183EC4AFCD7D6807FCECBEF4A8D82725A250CA3E7130DB14F9D042F3],[0F47FEF89D235FA9FA13C4C8D358308F725D100A0A5083C07E12AF25EDDE1995E6BF83D7B894C34FD5CB15CE347BC83E1A364BF16055F4A5DE,47DFF6DCD51A892212B5A8DBCBD0E165EAB288BBA995F41D9C40F5CE44D31D9FEB51E300599639B1E34982EA572010E8E604BA71650A7CE492]] FP4nconj = [[01DDD4491D2B8E3B2EA26A9EF8F7BB628A6510DF93F691E3BA3D8FFD2686D6A402F2E15ADADD05EFCB0EA5936F3FBDC31E56E8E4708BDB12FA,2489590905E2B5BE9B8222BE23D3959DD4FA7141E2D6B00E37E5994294E4745008E65E318CAFFBAE26FDED622FC8D9DF18396F24EC862FBFB8],[460D5A5CB855F5AD308C4946C25C61738DE25654300A9995A5392A13671E997ED1F457C1DC18251D45DBAFBB20EF626B3C74540EA12A0B5CCD,0D756278805ECC3517EA6533C9E3B09D158CDDA290C52938870AE36B10299574CD61F8993B16AEBB385D429EFE4B19C070A5E58E9C75831E19]] FP2sc = [367446A0C8752DD4D0E62B5340E82D7539433524164851F80FC323C527386CE477495FE1B1131D4216E1262CF0C10BF1DBC0D33B11BE509F22,42BCEB0F137C5046CDE7C6EF08C142CB60204CEB2CC8C7917F855C26354906662E224C016E69EE1A8F1C41A83B8D6A353F0C68B665D5BA75] FP4pmul = [[208493E7E0F15F42FB17AC2133817B82EDF4DF4BFE117040ABDE49C953AA3B72FAA2C7426CEEC12EAF0FED8F0A1505304DB2D4F966B1A1E126,34A2E08593E78FC5C1999605CD486C2BA98757F61BE8F35C207130E0A0D85BA9ACBF6D65DD9F68AF53579D0D6B2558655430EEFD27B0CAA51B],[1A46E3D413FB1C1222F26D93268880DBB61185EAD0A5D53BA1717CBACD81E8E2950BD62EC1EE1DBEF4E76ACA94827E49227572B6D0046821C2,4DCC187BB749C7772E47C06DBE5D3651E7ACA7E0E8AF64F8E3CF908D4DDAFE398FF43531D5A17F096D28E04C80B5E92729A6A57176AD792DB7]] FP4imul = [[5377850C384DC71BFBFDA3709CBCD6A075DA557EA6648B72690E493C2E75DC70B5C0FA3EB9CFE27D50981FF5E62B6CE63853B71B90F424EFB1,30CC004C4F969F988F1DEB5171E0FC652B44F51C57846D47EB663FF6C0183EC4AFCD7D6807FCECBEF4A8D82725A250CA3E7130DB14F9D042F3],[460D5A5CB855F5AD308C4946C25C61738DE25654300A9995A5392A13671E997ED1F457C1DC18251D45DBAFBB20EF626B3C74540EA12A0B5CCD,0D756278805ECC3517EA6533C9E3B09D158CDDA290C52938870AE36B10299574CD61F8993B16AEBB385D429EFE4B19C070A5E58E9C75831E19]] FP4sqr = [[3241433908D7FAF4702A0CC059DDD908BF7EBFC0CA6BCE51D689C970F86A5D8D34E1E342AFF038B0F35C6E375D3B180B8724464DF3B2E5E1E3,18C58C755A248DD30D8CCE55302B6C7C44B1533B0AB99AAF764E97319CA4371C03474F8B7B37EFF99E60AD8D848DF5525254E6042B24D51EBA],[1AFC958E7071B29F295997603C141DD65BDB5569000177775ED58258009AE2AFABD6B65FDF5920E6826DC4C77CC770876AD26E2481584F880C,513FA426EF8A225568B732AA7B06A64E1C1284F029AFCFCDEDDE67DBD5A14BD207D04B83A769098C06D56D7742A5B7AAEAFB12FC561BA43EC8]] FP4mul = [[532982CFCD44E9E810E0C8F4A6B2FB0BFB9D2790614D1E1FF264DECB57EE6B9C8E3545E0EC81B802E5821CCF1F9A11308ED13AB3D8099FDB75,44683C9AC0E89850930346D5657CC175302677FB51C1C9D76F64557C86513C2D8275D915E29E3A0ABDECD07A4B74827C6EEFFBC40CB80CBA20],[214CDB47276DC09B8720020055BAA05E7757FFB14362545EEEA993F5D5EE8D839A23031F09EC9262D61F7FD9B09E6E8BFE516B14D350DE287A,18FE96CEB4D456C5FFBE912FF947E8955F69DF3908E8122481FF7EFE1B4D83F89D64637C8E25DCA7D351967EA9F62F51B60B96960685DC2627]] FP4inv = [[019BF979086267B6E675B42B0BA997A40D22968C786E570A4FBAD2169FEFF1CAF0A72F69064774E88F859D49E8A86C9477DA70D62EFED2FF3F,5176F35F79739AE9AFE1A1B3FDB2BA62E0300167502D211EDA4DD3BDE9CFDDB6E28C73C069092FBB0AAB32DE7C750D87050C1A56F3185F06D5],[5439E440045259EB1A1084EA484489E819A75CBC01FDB97C615B24C723A0937B2F769EB22D8C9DC9A8AD1CD9B80B71BB53BD6305FA10F998F4,3D7967E50AF798C580D288A5C0E06E158C6DC822DAC5509B0C5686B9F2C149EE0EE76E10EB399E7CC3D2E8A2FF9F0D1D7E72F840C65D790955]] FP4mulj = [[3897F7E437F7297818A1E412F878B0D6785578B19F45705D1E2E46A856F5040A04925F28A10176620D7E6D1C22A448AACBCE6E8004B4883EB4,5382BCD538B4C1E24876AE7A8C401210A36F33F6C0CFC2CE2C440D7E77482EF39F56505B172ED3D87E38F25A1F3A7C2BAD1A399D3D9F8E7AE6],[5377850C384DC71BFBFDA3709CBCD6A075DA557EA6648B72690E493C2E75DC70B5C0FA3EB9CFE27D50981FF5E62B6CE63853B71B90F424EFB1,30CC004C4F969F988F1DEB5171E0FC652B44F51C57846D47EB663FF6C0183EC4AFCD7D6807FCECBEF4A8D82725A250CA3E7130DB14F9D042F3]] BIGsc = 0F7B56CF36988EAFB6558A409977287BACAAA114C142C18EBCE1B0B111FDA58180DAC5F3661B4CC5230FDA926D26A08A67E90D6AD5F65683D4 FP4pow = [[2FF7215E26AEB091551CFC8427234E2E56D6E7525EBBE40032D0625AC3131213EE6C5D83C8D0488AD7C557F6E86E284793A57AD5A69FE1249C,0938FCA6E48088D4D830817DD10C07E95BF62173D0C4008D4C84A8C8F658B6ED06D66849C5BC836847BF40E5904971C10475EEA84D8DD82404],[4005A3C87530B7924C59E91566C31A6973492B806B80651ED49E034B75F72F311236175FA030E64A2FD66F371792C153E1BF3052ED5D65CB13,32B07ADD86FF58E967F4E2E2D69E515A8105B68E30FF042EF8559A73374842A45FF89E8F736A6BDBC95D1091CC39DAD71B567FAA00041467]] FP4frob = [[5377850C384DC71BFBFDA3709CBCD6A075DA557EA6648B72690E493C2E75DC70B5C0FA3EB9CFE27D50981FF5E62B6CE63853B71B90F424EFB1,2489590905E2B5BE9B8222BE23D3959DD4FA7141E2D6B00E37E5994294E4745008E65E318CAFFBAE26FDED622FC8D9DF18396F24EC862FBFB8],[3B11610E111DC6F34A646DF62273CD05D1ADE557614DA25AD00C5E02BB178CFFA82572EBE79836A445FC56C38BDB38BA944A747FE0B921D2D1,4CA110D44DE75E1BFA216320C430B2E24891BCA0D959C32051A6D5738A23205B509F77E67745581A6B7BBE73DEDC9CDF6BA81AF539DC041BE6]] FP4_xtrA = [[33C437382D2BC2BF285CBE80C3E819328F479F419EB79B1E1FA25F60977696BEA20105FDEADA6ABC0506A67143B190C9F1FA33C328A5323798,25242D0C88D65BDC6C3E6776D773386CDE3520F6815F5FD77BEF67D5B5B1009747764C5C651CB7D30DA991079BB5EE1E4B860FEC435DFF6DCA],[2288ED32EDF8E27203399BD529D2BF0330C8F07C09878EAB51562652A8E0323613D0AAEEE1E7E3FC79A797DAA4B8982EA3EDB0D7910E79D247,33AB9186C25C6D43E384A2FC813E49BB573E89701755E6C1C5A49EFDE5382078B58DEE51E6B4BD6F2DD5F90445101FED97644EF4705258D3D7]] FP4_xtrD = [[35FCEBCB432F176ACD6EE1FE4BCD4FCDD448E17FF258F2194B04E96B45780AD53AC7A5F865AA44908979B95E3BBA9391C3D21816D4CA9C07D7,0C82E5321070A3F919F105C1E21E05B4EE66CF60960BDD75C2CDF07D71706CA75C603054FFEAFEE8D0B5C2C88EB47E672C1D244E02B1349B7F],[51C1F0F28BA448A25FD21BDE2B184EBA77609BB325BB8D4C85FBFD4579DB6298970B8A4A02DC82B3F27E5EB4693B0AB48D107641C22C663EFB,16D50FC29ACE65686DEBEF027919758546ECD9D710DF04E8D8A85578A0F7C3A6E9E0611C88E97E955BE92D2BE9D0C082759C3E198D86AA784F]] # test 3 FP4_1 = [[0F15E3F59FD6569EA0D535C5309616E154A2F04E72D5DD93A7B3DE597C3AD62643AD40BF22210B0DEF40610461D2881A6C77D63530C9A226D9,46BE289F458DD69096C675AD09FB0E5433EEA224FAD09147B95A100C169D4AFB97FF2AA722193F7D440BBF3C0E6F8AED8A53A0DC31215FA6CD],[519DFC0922DB16B031023D987D3E8569768185B5BF64F0FEC5D9C20C898C2166969347ED925E828E22A6BD04DA11766DFED57E957A3159F2F6,0205371DFEC7CAE4F45CB1F34DFDADEF037F3E5B48012DA37206B73DBB0D659D841ECC9FCE3788B0A946D57B2CA39A889BD666D9D3920F74FB]] FP4_2 = [[4CD05C17BED52BC19118AD33102111B348D1DFD58D92D990D762D149CD279A72B87183EBC724E954AAE9BA6984043545A52D37BC5B584AC775,24BE84C0BBB90C13781BA0DEE78EFFA17AB145A0A9DDFA4619B7519411E21F80FE1448B40FA5AAA7EC3C119C99EDAE80593502D7D199753820],[11F7D9C8A0BA5838E79042F0411585B230F2B43E765C9159712E0887A1FDD6DCD6BA9C88580C5D92CD06D894A6B8E748B7FDBB615EAE76E8B3,4D8FC26FBFED47172B13FC6C3265BB78301741E71B1AFFD9FD1F1310A66FEDCCA63379CEB8267FDC8CAA6BEFE9F00CE3CF7F344029F734ABA4]] FP4add = [[0690E6B809322D09074DD4E8AB0296919D3569C5C60D99CE5BCAD669F465BD84436AE91154990BF57E8355E4906B92B6BAFA6DF18AA1ECEBA3,1627540AABCD8D4CE442087C5BD57BF2AE6081676A536E37AFC58866D382B767DD5F97C19D1201B814A10B4F52F20EC48CDE03B4013AD4DC42],[0E407C7C6E1C1991EDF27279289F7918A734D395FB66650213BBF15AD68D452EB49A08DC55BDF7B3D406D0102B5F330D602899F6D75FD0D8FE,4F94F98DBEB511FC1F70AE5F8063696733968042631C2D7D6F25CA4E617D536A2A52466E865E088D35F1416B1693A76C6B559B19FD8944209F]] FP4neg = [[463F755FB5A2FEB889CAD84A651E7B21AB9C760FC7853FC27B97FADFD8C1DCEE75069ADA728BDD5F2C666484F398A28EEA32C9CAD0B65DDBD2,0E9730B60FEB7EC693D998628BB983AECC50C4393F8A8C0E69F1C92D3E5F681920B4B0F27293A8EFD79B064D46FB9FBBCC56FF23D05EA05BDE],[03B75D4C329E3EA6F99DD07718760C9989BDE0A87AF62C575D72172CCB7091AE222093AC024E65DEF90008847B59B43B57D5216A874EA60FB5,5350223756B18A7236435C1C47B6E413FCC02802F259EFB2B14521FB99EF4D7734950EF9C6755FBC725FF00E28C79020BAD439262DEDF08DB0]] FP4sub = [[179AE133367A80343A5C96A1B62997310C1076D71F9E2158F39CE649040FEEC843EF986CEFA90A265FFD6C2433397D7E1DF53E78D6F157620F,21FFA3DE89D4CA7D1EAAD4CE226C0EB2B93D5C8450F297019FA2BE7804BB2B7A99EAE1F3127394D557CFAD9F7481DC6D311E9E045F87EA6EAD],[3FA622408220BE774971FAA83C28FFB7458ED17749085FA554ABB984E78E4A89BFD8AB653A5224FB559FE47033588F2546D7C3341B82E30A43,09CACE039453D924F3E8C396B14C8479D3A762D267414B1F98337D66699A2AE5969F2E6AAABDF14138432F14981EB84E2301D299AB1ADACC02]] FP4conj = [[0F15E3F59FD6569EA0D535C5309616E154A2F04E72D5DD93A7B3DE597C3AD62643AD40BF22210B0DEF40610461D2881A6C77D63530C9A226D9,46BE289F458DD69096C675AD09FB0E5433EEA224FAD09147B95A100C169D4AFB97FF2AA722193F7D440BBF3C0E6F8AED8A53A0DC31215FA6CD],[03B75D4C329E3EA6F99DD07718760C9989BDE0A87AF62C575D72172CCB7091AE222093AC024E65DEF90008847B59B43B57D5216A874EA60FB5,5350223756B18A7236435C1C47B6E413FCC02802F259EFB2B14521FB99EF4D7734950EF9C6755FBC725FF00E28C79020BAD439262DEDF08DB0]] FP4nconj = [[463F755FB5A2FEB889CAD84A651E7B21AB9C760FC7853FC27B97FADFD8C1DCEE75069ADA728BDD5F2C666484F398A28EEA32C9CAD0B65DDBD2,0E9730B60FEB7EC693D998628BB983AECC50C4393F8A8C0E69F1C92D3E5F681920B4B0F27293A8EFD79B064D46FB9FBBCC56FF23D05EA05BDE],[519DFC0922DB16B031023D987D3E8569768185B5BF64F0FEC5D9C20C898C2166969347ED925E828E22A6BD04DA11766DFED57E957A3159F2F6,0205371DFEC7CAE4F45CB1F34DFDADEF037F3E5B48012DA37206B73DBB0D659D841ECC9FCE3788B0A946D57B2CA39A889BD666D9D3920F74FB]] FP2sc = [0174804C17E14F18DA1150D3DE99D4BD72F1ED909A2724FC70E0F6074163CC8A44F5C7AAB493597107D6D1B621C01DBEB01AB7C08AC393EC02,2F38EB1E8E8E14BBCF2A980FA1E2317EE230A73AF12E66FD8501D85CFAC870FE07AF65F02D698B586E841952F3DAB6E392925E34D605EAC4AA] FP4pmul = [[526F6F8EB0E688E041FF17C3CFBF97651F0458B63AD51AA434C3B0173754651BD89C0EB2F8F7E1FF6C9C504EC1387DF32007D3B72193D06570,336F754FE589638E0B1D511996FCCC6725E6AC67F52ECDC1354B52C1BA03795F0210E4AB29D3500513D6922F62AFF11B6FAB58758FBB6F68BF],[232BDEA48D82CAF6CF758222C9A228D181907828026B9E889D83DF8945ACC956E0ACB00D52C12944440664909683F306135C957AE3DCDB72AE,3116F6CDB726756B33F57831EAE6B60AC437514DDD85F549B3729C53167DC65F15A8E300D6300D0192F34B3E6D4ADED469A8C2D85BD6F43E9B]] FP4imul = [[1E2BC7EB3FACAD3D41AA6B8A612C2DC2A945E09CE5ABBB274F67BCB2F875AC4C875A817E4442161BDE80C208C3A51034D8EFAC6A6193444DB2,3826F7E935A257CA02ECDD4A7E418AA5679DDDEBBB4605394F6846DED83DE2E2774A79B4AF85968D6C70B8EEC773EB31BDFCA1B860C2BF4AEF],[4DE69EBCF03CD80937646D2164C878CFECC3A50D446EC4A76867AADFBE1B8FB87472B44190101CAF29A6B4805EB7C232A7005D2AF2E2B3E341,040A6E3BFD8F95C9E8B963E69BFB5BDE06FE7CB690025B46E40D6E7B761ACB3B083D993F9C6F1161528DAAF65947351137ACCDB3A7241EE9F6]] FP4sqr = [[08E660EF2D8D71DDD9CCCBC9519FE10154170050C196EE48B1AF1DD3D8C0E18A4B67493C3ED1674DF5D9DDC49ABE2CFAE7F5AC5D418B208F41,42EF1485181601B4EBBD2EE8622B46CD877C1AA18E744530303DA332108519037EBD6371D255F5A99A2A9903FDE7A6C28367C5A0AE7BCB92F9],[4B8F7C37D6AA50F845906ABB7B6C3754661C924513E364ACD979D8073D20E1C0338EFE63E8A73D3FB89540795C461434B753CFD6E39430A981,0535F02DB629FA762B09D3157D403A1090C0C44DEE889FEA852E4F6ED7907EDFDCF6F40B9413E9BBAAFE5E5097F437065EE2F89F768269FF51]] FP4mul = [[3919B3E820306634EB1163A0A6E8E6A853E83A27BF3D35E68D042FF7CD1730DBFC3395C957E19D7068680CB45CF9DC9440659C40E22182202C,159FDB1EF63089C3012974291EE33FD1BCC0E4B19D7A1954F38A7E667B5514FB76DC01D427A4F87CF646D8AF3DD45325FEE8CDBF973C7267E8],[2096813B704E58D31921D276683B8092EDDB024F6ACC251F81CE8E72D4D56A83F0DA16E1C2151648613603B90320EF7339C2810DD4E9A61362,51F200771F4BBEF64E1274FCCBC8DB2C2A0BFF57CBDAFB7A85277F6D91DA797F2CE7D9DD1E814E8C218E3A68C9560DF75C1F474BF7D96CB4E8]] FP4inv = [[188155B6D21DC5B586E6C48E7560561332B411CC92AEC7E5185767901D8C9899DACABE15EBEE8E955211E5F2FB33CD6806371B4BFC356D6C08,3F4D4F6D4BFB1783C07CF79EEAF17EB393E5AF8198BF7D0D6E89655F64A42FB8D075F19C1B4413754443A697A938E1E4383DB6A3D1390FEFDD],[23204C04D28005AF92A99D2C3E01D765CC40DE142EFD5DD407312ED7776ED2BFFC61A959E267C1C0D167FE38395A9B15EE596510F61B8C51FC,18998B2886E71DC16AB36009A61606FB0322D20ED21AF29ACFE8B57F56D5D54730236462272C5124564921B3C3ADF084E7CA7C79AED127C68B]] FP4mulj = [[4F98C4EB24134BCB3CA58BA52F40D77A7302475A7763C35B53D30ACECE7EBBC912747B4DC426F9DD795FE789AD6DDBE562FF17BBA69F4A7DFB,53A3332721A2E195255EEF8BCB3C33587A00C41107661EA237E0794A449987041AB2148D60960B3ECBED928006B510F69AABE56F4DC36967F1],[0F15E3F59FD6569EA0D535C5309616E154A2F04E72D5DD93A7B3DE597C3AD62643AD40BF22210B0DEF40610461D2881A6C77D63530C9A226D9,46BE289F458DD69096C675AD09FB0E5433EEA224FAD09147B95A100C169D4AFB97FF2AA722193F7D440BBF3C0E6F8AED8A53A0DC31215FA6CD]] BIGsc = 1BD16874620D48EEFA29A30F3EE19217C973C3AB3895774FD6BD422B8EB4E3FE25A7B84848B68C36CF162039D825DE27BB5B2B7FE65E6417D2 FP4pow = [[3FE03D05131B5BBABA7892B09E4A3B47B3F5B1806005546E21ECFE81BBD8CD2C27FA5036457E82A56ABBD5CF695733CE8D7A33B9E7D85D2531,0C5CB5C6CAEE28322C9AC9E373405CBB4B2ECEBDA8A3EB3C366FFEA111644B87B4267BBD126D3F8F4E9FF5FC4822F34706D6F253731D087D34],[3C9D8AE7303D6CC9CF73F35CF275BBE8D308B5F5C954EBB4DC77D0A4BDCDFE5552B106D1EEBD6BF7A5C880CE84FBFB71D1E81239B0B9991B09,38718E25BB839992F6BD4D381DE51C68AFF19B45EF0D220BF4C879548B27858F83AD9F467040FADED8FAAC69729CF1CAEC2F21870EC544E6A4]] FP4frob = [[0F15E3F59FD6569EA0D535C5309616E154A2F04E72D5DD93A7B3DE597C3AD62643AD40BF22210B0DEF40610461D2881A6C77D63530C9A226D9,0E9730B60FEB7EC693D998628BB983AECC50C4393F8A8C0E69F1C92D3E5F681920B4B0F27293A8EFD79B064D46FB9FBBCC56FF23D05EA05BDE],[529BE57DE1211748C77F13785594BF4E33200D1F92D2167ED7FDDB021C8233E055EDD14B03C894D9BB109FD4B069A1279B7078AF9CE68098AE,1C1C7EE649D9BD11A6AFF4D69320FD6A558512C9F793EAD311389197A7251BB4C75D5EF72326A6A03FAA5A9E30F8E93ED69A500D90A996A61A]] FP4_xtrA = [[2CE40D139F3BAB1A00258BB2A6791AFE69F10D19B624990D69D0B796A002910D43B6E77620CCE506CCA1A77E9B93319F765F4940924599D98E,3B1B4D8F98FDBA74AE41EC0CC976B411AE2420AE061442CD4CA71365F454BEEF08DAF4E9F230D0EB141C1D25047FA0AAF576E438590FD4F48B],[4950E174F24740728C3F0A416D9EB13A0FA739DEEA53F1F21F188DC045CD260F775C0A3FDCD086313E098E893AD50772A446784ECABB545C89,28751F4D41456F4D020294F4E162C1A8E469F6BF00B9712B7CDE64002C5A142BB66F230FDFF647BAE675ECC2F2A03CC98D35F942A15181AB81]] FP4_xtrD = [[400FF259435A19F7C2C26E4E86284541AB1086121646507785933A5A3547E8527CC0A3578F3C399F32FFE1452C84476F65B09FF2E177DC443A,0AC81C9BE273A9EAE8D0519DE3E9BC281FDE3CB5D32E3FF6E0D55C53384736210772E9BD22D05F1C2DB9E0153673BB90C56B23E84DB90C480A],[4420C19F716DD3AA5254C9CD4A801E2152A0D0F41DF70BFE1E95A9ADA63FBE63EF4DD70BE40A7181C6952F706592ABBE07A98D01D4F6E48A17,09405E69B3B9904013C336FC193B95EE97BF41047E8AFB31693BBDEA4DAB4A1AE5348D4B3082FB1CFD8C0946F13B6C17968FC6531DA688E947]] # test 4 FP4_1 = [[3A9CB9F15525EF0B8F8AE0354C84B8A4A0B388533FC3E13AAEC04F11CFFA55F7A131ABBC9C43CC1ECC9EE8C9C235519994572AF36D2FC0F205,2C465F3BCAD905D89C0D236508D29B5E10DF18F0A00CC6AA3DCA5AE7C1FC6F1E1622BE228059607767009FF0131ED09486C42BB7EEAD838044],[1A8EB700944FA51403BD732362C7BCCDD1D155B347C651BD9CCFA29C6E3B07FCF2514D23905B69BCA8BF2CE6A790103EBE67E236E2A9C0E3C4,2F6F32D17F38DEF6CDEB9B1A99708D0B7CD0A8D9B20BA7F000B4465592915096431FC38DF034041A39D15C03ED17FF941EBAE80F1EB75715F6]] FP4_2 = [[21543E7AD6735892FA4CBEE6AB6FADAB13D6294C93C647A7EC817BED441D0EF0D977BC7D754ABF7B1A54043D3F4314B9E2BBD3A4A27A318B3A,08FE09B1198A70F87F884C36AA9E7209E8E7465C283F7C2B6D19CC9C0EFB291414EB97174EDE39BBC047B9E4B4712D5DC67E3546BD16BB3C59],[2A1FED51BC3CBB3FB1FD0336C9523AC92CA02A8193D9A9E97332C03E74A28B8C03ACAA4D97773D92126CA418566BBBF35D4CC4685043253547,1AE192C040ED9EB383F829C681488F10AFDFC709D7F3A230CA049B58E2E285A9D9BC24D2030C5D6083D8CA4F7A38AA8EBEAC9482F567662EF0]] FP4add = [[069B9F16D61FF2475F37910C623FD44CB44A4B41992F0B8C77F5F1C5BF1AB1D3C1F58CA07CE1A32CCB4C277DAC0D3BAA20685E980E29F27A94,354468ECE46376D11B956F9BB3710D67F9C65F4CC84C42D5AAE42783D0F798322B0E5539CF379A33274859D4C78FFDF24D4260FEABC43EBC9D],[44AEA452508C6053B5BA765A2C19F796FE718034DB9FFBA7100262DAE2DD9388F5FDF77127D2A74EBB2BD0FEFDFBCC321BB4A69F32ECE6190B,4A50C591C0267DAA51E3C4E11AB91C1C2CB06FE389FF4A20CAB8E1AE7573D6401CDBE85FF340617ABDAA26536750AA22DD677C92141EBD44E6]] FP4neg = [[1AB89F640053664B9B152DDA492FD95E5F8BDE0AFA973C1B748B8A2785025D1D17822FDCF8691C4E4F07DCBF9335D90FC253750C94503F10A6,290EFA198AA04F7E8E92EAAA8CE1F6A4EF604D6D9A4E56ABE5817E51930043F6A2911D77145387F5B4A62599424C5A14CFE6744812D27C8267],[3AC6A254C129B04326E29AEC32ECD5352E6E10AAF294CB98867C369CE6C1AB17C6628E7604517EB072E798A2ADDB1A6A9842BDC91ED63F1EE7,25E62683D64076605CB472F4FC4404F7836EBD84884F7566229792E3C26B627E7594180BA478E452E1D5698568532B1537EFB7F0E2C8A8ECB5]] FP4sub = [[19487B767EB29678953E214EA1150AF98CDD5F06ABFD9992C23ED3248BDD4706C7B9EF3F26F90CA3B24AE48C82F23CDFB19B574ECAB58F66CB,2348558AB14E94E01C84D72E5E34295427F7D29477CD4A7ED0B08E4BB301460A0137270B317B26BBA6B8E60B5EADA336C045F6713196C843EB],[45C423042D8C3F2B7C607DFC2F2A1407A570918FEE47C52A4CE8BB974E952F85A7587E6F8D911497B1F94E57A68F7EF4B7C5BDCE93E69BB128,148DA0113E4B404349F371541827FDFACCF0E1CFDA1805BF36AFAAFCAFAECAEC69639EBBED27A6B9B5F891B472DF5505600E538C294FF0E706]] FP4conj = [[3A9CB9F15525EF0B8F8AE0354C84B8A4A0B388533FC3E13AAEC04F11CFFA55F7A131ABBC9C43CC1ECC9EE8C9C235519994572AF36D2FC0F205,2C465F3BCAD905D89C0D236508D29B5E10DF18F0A00CC6AA3DCA5AE7C1FC6F1E1622BE228059607767009FF0131ED09486C42BB7EEAD838044],[3AC6A254C129B04326E29AEC32ECD5352E6E10AAF294CB98867C369CE6C1AB17C6628E7604517EB072E798A2ADDB1A6A9842BDC91ED63F1EE7,25E62683D64076605CB472F4FC4404F7836EBD84884F7566229792E3C26B627E7594180BA478E452E1D5698568532B1537EFB7F0E2C8A8ECB5]] FP4nconj = [[1AB89F640053664B9B152DDA492FD95E5F8BDE0AFA973C1B748B8A2785025D1D17822FDCF8691C4E4F07DCBF9335D90FC253750C94503F10A6,290EFA198AA04F7E8E92EAAA8CE1F6A4EF604D6D9A4E56ABE5817E51930043F6A2911D77145387F5B4A62599424C5A14CFE6744812D27C8267],[1A8EB700944FA51403BD732362C7BCCDD1D155B347C651BD9CCFA29C6E3B07FCF2514D23905B69BCA8BF2CE6A790103EBE67E236E2A9C0E3C4,2F6F32D17F38DEF6CDEB9B1A99708D0B7CD0A8D9B20BA7F000B4465592915096431FC38DF034041A39D15C03ED17FF941EBAE80F1EB75715F6]] FP2sc = [5383799DE256DC55D9276C92D989411535ABECC4FEBCA4009EF014E9425E12FC8207B48587CA4AB4A44C8C615E095561560EBE3DA9D9655D1B,1D6D5188E8D1563380B8F78989AE37886DE867E844A7B88F67077161A7530F74E04C186506DBD58C630F2F63E3497FE364E8A4E9B4207BAC9D] FP4pmul = [[229BDBC1A7FD73EA1666349A652520AFC4C54FA0B80A1065846392FC58FBDE3B28B73411BD614FF5F8931BEA4918CCA9801617745DBE329F2C,25609D47920B7C49F877208D5BE324ADBEEB31CDAC4DE3AE79FD419FE55CCE26633E887AE51230D27B00BAEC58AA848DB5ACA148FB8B1CE679],[073F34EC7343290E7FA5F91A5A496E605579DD3F3E54302AE5983CC0094D404FC5B289EF3CEF0E9A83824B41DB497F7BAF166765A950A590B3,3AA7A6E4A2716D5FE50609596B51B9B045E232545B3115C6DA027396370AD5C0140E53FAC8C58DFEBC22D4CCCBFC53FCD5552BF2043888D94B]] FP4imul = [[052B7B29547F227459608480BA2505E7E19BCC3D4A956903C5A93AC2C5F59BBD722D4C02AB7193822E8F2F4A9BC99F7A0FB040DA448F42D0B9,2F7DC45E0B11BC32A9875C1F84C34017325DE473A5CB36A89613377DF0F89A4589B45ECDEC5F38F9195B1A46E3F147143DA1E327CA888A7E21],[4FAC2501BCEEEF3C0B38596A2857366975740119D752F538D66EE7D54AB117F6D6F3E76AB1123D35FA3D86B3F6B030BC3B37A6A4A7FD42AB4C,38F83F1F2831478D3F22C340369D151F7632942EDBC7DA79DED0F9C762B73EAE10AB6F103BEF23E191CD4E8271DCD4130586182D5AA6053F37]] FP4sqr = [[4082CD42FA1D13B25DB987BC53831618BDD0F77846BB8E41B3DACF172B77C0DF844E6431F6B221BFCA04103D890626AEC997BC70E01326B41C,351BDA1C9C815DDD3EFF61E90C5BF6B043A9505A0CBE0DC83762FB2393A1A122DA5B6A70109B26D865364FF8608CC2C36786EF1B3D7AC5850C],[4D3F9555685ED28A7ABCCD09745FDD67E6467FD254F397BC507FEA3D1DF0ED10752DE3B0E57C6DF627F869A685E82C70B9E5236ADF8EFBB417,21563C0A07630E4E76232736756243F1DA3060FB09F8CD6B50F35ECA1DEA6B7D9DDA9EA267CF2951156F81EEE19459D721E5D31880CE1AA38E]] FP4mul = [[13FE44A1B6562FF21D7B01EC4F68479CC659448543C31B5240EFC40E2861C3C2D82310128F33870B6DDE7D9EE58C48A0FABD8EDFF4B4EC5934,041A15E883998CBCE360EB9E511E7F6768320842A473AC6CF604B56E431D2CA59B352869BE95855ADCF775BA97065B84594473DBEC7BC973D5],[5447323E1E660F350F4E218E03945524B0926CE087135E4EFC2E6F12D794C56315885D6F4BC13EDDB1D6050172026FF5EECA3D704C6EB86CAA,39C02FECB14F1A04F7BC7AF4FF5873BB4D42E6420F34FDA2E82BB918D854812F29D64CB1D8DCC659113711BC4C36D9626C87C8C16414BF2D26]] FP4inv = [[3E1E8FAA49778C65F4E6D0F584A85B798DC68DA869B81DA53B000635447F20CFD55529AE95969B8601E7B874DE2F6975E8F392FD0539A3F3A8,0904489E2B15D48B632430CB4E98C86FEA9E04132E879DD3608C976CDC273726FE78A782B3EA42D6AC5522F99E5271D6726144D5E8C9435AFE],[06CBF002FB3F6CFAA3FC1B6F6EB5FF4CA1D77FCF91E8B951235ACDECCFD8520A4CF998CF218AC6ED3EE18440EC34478CC467BAAC40A8CF38AC,3CC340BC6129D4116D82E39D841D3FBD8DB33837DA643BDC3D17DC9F5AE7CC5A34AD418A939C21F896FFA2E8713C633A8117E56F40BAFB4ACA]] FP4mulj = [[4074DD846A901B746071E6185F0BC1C555401337D015C723BF67358030A66A7B67E5652F34D44E0F8A94966C0FE33B53F6579A27C57269D079,49FDE9D21388840AD1A90E3DFC3849D94EA1FE8CF9D1F9AD9D83E8F200CC5893357110B1808F6DD6E29088EA94A80FD2DD22CA46016117F9BA],[3A9CB9F15525EF0B8F8AE0354C84B8A4A0B388533FC3E13AAEC04F11CFFA55F7A131ABBC9C43CC1ECC9EE8C9C235519994572AF36D2FC0F205,2C465F3BCAD905D89C0D236508D29B5E10DF18F0A00CC6AA3DCA5AE7C1FC6F1E1622BE228059607767009FF0131ED09486C42BB7EEAD838044]] BIGsc = 2E240DDEF3BAA2D0E6ED68AE8F2428BB1D27D41AE6E55C2718585AC5DF2F5C572EB514C8A1E4CCC8A4F0D8D5AB5BDF3D762882F37C1104B434 FP4pow = [[1BC03FCA547CD2A91B8355777723D76549EA369298E8CDA076F96CB73E0FA6F88C55078E05F83C787665AE7F63D0AAC7F4FC06F1A978052E22,404972498E504092A4321131D4626764A6FB7AAFDB8A239ADB2D251F2A0CD0B1A7296DEB9E4AE8E82039B6989693F369642D0077F15BEEAFAE],[4022E0CD1A3DBD677686045496A514B583495050A870B2A04AB6D9440B4AA63AD17BC5DD1EA117C9CA2960B5625AC87F1FEB205C5AD04F8E6C,517CFE6FCD42CDD3B9B48C100898DAEE605FCC2D5768CE9B06BCFC39E45D6EFC08BF145249889BDB459F76384D06E80E41A0A26E7A7FE5F002]] FP4frob = [[3A9CB9F15525EF0B8F8AE0354C84B8A4A0B388533FC3E13AAEC04F11CFFA55F7A131ABBC9C43CC1ECC9EE8C9C235519994572AF36D2FC0F205,290EFA198AA04F7E8E92EAAA8CE1F6A4EF604D6D9A4E56ABE5817E51930043F6A2911D77145387F5B4A62599424C5A14CFE6744812D27C8267],[3A024D35F8370F24096D99F5500E3A33CDE0842522FD5096BEAB0290B4BDAFAB63349D736CF03BE94289B1F9EB9C83EA5832226C988D7B2653,510B4696B79378D72FE57A9DF0954F2B3F375866937A60896A955EA9D2E7A1C9FCA1893810EEAB9F3EC2E852E709CFC4B85642A2B0465F6D0C]] FP4_xtrA = [[1E03F01FB01E32E4E376EC764A745B041D33F5B5E0846CEA3AC123EE0DFE49EA1168B026D8A0ACAE54EEE22EF914BCEB44D62181B3A9563E12,511D8310BB3D57EE45B41D112C4420B2F4F10BF48A2C3645CCCDB4A3AD93C8A220F499B34BBC695C0BA8464FFC68A3F3ADE2A01F0624CD7030],[1F4D0815B4CA7B1D079A0FF100B7C208F421017C8081A0EF6EC5A58E3FC886C6F968F7C3FE367196B27DD961F585CC26E689785343153287A5,1226D90AB84DB748FCC26E6215187F31B78C5216C12D8B1EC824A01458C8FFEF91806D4BA12B49ABC1A0F46886DC6A8353FFDE6E4E16CE1C8E]] FP4_xtrD = [[209EB2B5A54A8AF26943D561502E36D27CA94D30018EE92279A60A2CE07FC804FA9EE85252D771EF4C6D04335A06AE24F794068A0733A4D2BD,31E474FA5C48A7833185292E906B51F7222A84D706FF9DC9DF1A1E8D64A575FB66C9C9C4A4954E56B2DBD5A18FBA4C43B0A937AB619FBE872F],[2D07AA013B84C75B5797A540A43AC50089A9C4DAAA251DE166D3563CA56A49F5A11CA25E718659025DCFFDEA7F9D2244E00A47D8A3627D78F4,2ADF4857B05B76E4E75A4F5C128ECC05D3924C5033B4FFF52F10123BEE1059956B664A24B38A49186D6B746D66592E5608B10336BCBCC8CCCF]] # test 5 FP4_1 = [[2F612191267F6EA59AC218DC053BE5172823C7B59678E7322DC9BA32965A6AD1A587C3C6A9814081518E515ED65B245D7968AEA3A605E3B218,0873D7D3A64424F12618C51D55E6C382FAD7B1E20289CF17A6AC5E5E66AE40CD5F2E9F1531A404ED71AEDAB86FA80AC408B0D1D03E10C9AAB8],[40F7AB2049DE8B1BAE55E14F4E0CCA8E4948F816B2A18737A596D21D743583E6C75906873B7262008F8FD21E97D4D2A4D0F7E1DBE24DA513A4,17F67B8CD72F1BBB70E1F33F919260EA08F60A011E51D98F136B8951418897EE26B27BF199B4023699B13409334A8F4B841D53C8F475171579]] FP4_2 = [[3EFE9DA0AFE978CB5E428F452E6C61F2643243E259675B500B3A31862D4DA217E07D33389041D7AE314F7C6D5C30922C5BAD8219A2A32EAAF6,30082CE2EA616FEFDD541DF65106C8A2BF15741464F0A5D67EC7853A6D1DE829AED101A012CC0561890617FD81CD19201411A1B92100BAC6E2],[18F76E60102C574DAAB6614DCE571B74895E5DD26FEE31233553A89A29C99E2A1CEE185FF5B035B8555824BC5FCD58C7D743C84DA046CB176B,21F82E3FD1406534BA2471B981BA84FD70FCE7A1497871A33B1CE53DB0C0553C273FB51EF82D95300E898B4363D567C0B6B2FCBE28AAC1D8FC]] FP4add = [[190A65DC80EF9219CE649A119DF3B5068C16A539B585252C15B8127F6EAB59D4CD511B65A5162FC267370842DD208BE07E6B90BD4729125A63,387C04B690A594E1036CE313A6ED8C25B9ED25F6677A74EE2573E398D3CC28F70DFFA0B544700A4EFAB4F2B5F17523E41CC273895F1184719A],[0499C02B04918D122E6C348D86AF53FFD267EF8AE8349B04B79EA17E49026EFC2B93434D9C75AF4BC9413151A23700C351910A298114702864,39EEA9CCA86F80F02B0664F9134CE5E779F2F1A267CA4B324E886E8EF248ED2A4DF2311091E19766A83ABF4C971FF70C3AD050871D1FD8EE75]] FP4neg = [[25F437C42EF9E6B18FDDF5339078ACEBD81B9EA8A3E23623F5821F06BEA24843132C17D2EB2BA7EBCA18742A7F10064BDD41F15C5B7A1C5093,4CE18181AF353066048748F23FCDCE800567B47C37D14E3E7C9F7ADAEE4E724759853C846308E37FA9F7EAD0E5C31FE54DF9CE2FC36F3657F3],[145DAE350B9ACA3B7C4A2CC047A7C774B6F66E4787B9961E7DB5071BE0C72F2DF15AD512593A866C8C16F36ABD96580485B2BE241F325AEF07,3D5EDDC87E4A399BB9BE1AD004223118F7495C5D1C0943C70FE04FE813741B2692015FA7FAF8E63681F5918022209B5DD28D4C370D0AE8ED32]] FP4sub = [[45B7DD45CC0F4B31671F97A66C841527C430EA31776CA93845DB61E5BE097BCE7DBE6C27ADEC51403BE59A7ACF95BCDA7465CC8A04E2B509CD,2DC10446115C0A587364B5369A948CE33C01A42BD7F446974B30B25D4E8D0BB86911790EB384E7F9044F884443461C4D4B49D0171E900EE681],[28003CC039B233CE039F80017FB5AF19BFEA9A4442B35614704329834A6BE5BCAA6AEE2745C22C483A37AD62380779DCF9B4198E4206D9FC39,4B53A6A25B680BDDE15D8F95A58C6DEF983888BE0F348541FB9A7D4CE5C4F5C6B826A26C36335573A6CE6E4F24E052342414F70ACD4A553F28]] FP4conj = [[2F612191267F6EA59AC218DC053BE5172823C7B59678E7322DC9BA32965A6AD1A587C3C6A9814081518E515ED65B245D7968AEA3A605E3B218,0873D7D3A64424F12618C51D55E6C382FAD7B1E20289CF17A6AC5E5E66AE40CD5F2E9F1531A404ED71AEDAB86FA80AC408B0D1D03E10C9AAB8],[145DAE350B9ACA3B7C4A2CC047A7C774B6F66E4787B9961E7DB5071BE0C72F2DF15AD512593A866C8C16F36ABD96580485B2BE241F325AEF07,3D5EDDC87E4A399BB9BE1AD004223118F7495C5D1C0943C70FE04FE813741B2692015FA7FAF8E63681F5918022209B5DD28D4C370D0AE8ED32]] FP4nconj = [[25F437C42EF9E6B18FDDF5339078ACEBD81B9EA8A3E23623F5821F06BEA24843132C17D2EB2BA7EBCA18742A7F10064BDD41F15C5B7A1C5093,4CE18181AF353066048748F23FCDCE800567B47C37D14E3E7C9F7ADAEE4E724759853C846308E37FA9F7EAD0E5C31FE54DF9CE2FC36F3657F3],[40F7AB2049DE8B1BAE55E14F4E0CCA8E4948F816B2A18737A596D21D743583E6C75906873B7262008F8FD21E97D4D2A4D0F7E1DBE24DA513A4,17F67B8CD72F1BBB70E1F33F919260EA08F60A011E51D98F136B8951418897EE26B27BF199B4023699B13409334A8F4B841D53C8F475171579]] FP2sc = [43B878D392C2F08C7B55B5B45F5DE4721DF1655B21155E480CB51FED81386B7F322DB7E580A3D0D79BA801AB569CDAA663C1801B26455F0F04,0E664FC4205808608B49CB85BE1142B7C3A72D72A97B012C6236E6CCEF64210D43D685700DDF940FBECF970F858A3273614B2DD797F987B980] FP4pmul = [[1940F971D60C663178F7FDEB43C9C9C058F10E16B3E12D5FCA219CDE5B1EEDC5399B92E72C17139A1BA8F6F1C043B1104536E46F74D4C8E21F,3E3887DFC1926B8CEE52DE40F9E1C647F723AA57E5244CC9923AEB6063764B7C412B9FDA6DD6944830DCB5093510DD07408DD8DA3FB7C64FE1],[12AFA95F43CEACC16134E28C85E2CCF623F3028E7B36D812AD1EB60F4149518142D36F9A78E0EFB17F20C0AAF2BCE89012E45216B809FB10A4,22D9AB2B00B0204A9BBF4A558C474AFA5DB1477E63463A4AC48657C147775690284731B112AB22B4B277E5B3F75427116EA94587F6667BE370]] FP4imul = [[12D9D399EF0B0FE815C84750E9867056A0105219E52D621C708F3657AF70451D24B757E77CAB312B0EEBBA68AE963C23384D7A8E95178EC30A,21CF5F4E991093C498631475579B0E0BEB5EC7880A273C5E9AB179799AB903357CBA7C54C69013B5C6BB6AE1BEA02B1022C34740F84326AAE0],[03DEA081270E2C6939775B0E771574302465AD401B74C4DC2C77BCC9D1DFF65CF34887502FC2CEBAEB4AF7DE5F11CA973FDFA76F84B694468F,0A8494DE0743199698E7BEEEB094F1A52398C1A63EEC48E62A624C0BB125ACA3E216142CD223206D4B1E0A9B77BF1284B9CAAF23D0545C5339]] FP4sqr = [[065B3E74A83ECDBF493DBAC292D9B0EC1EBD30D2DC9C592DAD667084EE013466DA565872BB7B2A7737B198F5EA35CFF799AE052A81732E0D9F,2BC6067DB191FC6A20AECF94C7F3B63D9BC27A41CAA2B65705676F7FC7E0E693F5D6F6B0136A850D2F88387BE816D91B4CCDF25E649177C32A],[5091A48C3E848D2ABB3CAE240F1A2B058F63E139E4520172C3E09B23208CA472F8C4F3BFCE897EF93C819858E7A61EB5AA7FDD9022C3D5B4C1,391C929C23FD55F9179B2F14D994993F890C32A691D7596540A2485B35B0289641274E93881E53CE35CEE138E25DC32F79A09D6CFFC81053DB]] FP4mul = [[51661730B6ABDC15B8F585A9F036E5FB019C8E89BFA34D2B0B69636E31923C57ED0331D937F00E06A5363D87D6CB0B557775F38F703A58D26D,547462357B3F34A43B35626D460881B6DBC5FB4E2C72C2CF38AEF9C725AED1DF37218AC2515BD72F7E6BFEB2AB086AA963F5D52AB8247FAE5A],[42810530251F657224522A535B7E7BA19B7D4AFD604ECD2ACF3F9CA963D6108DCF632A9D83D50C187900CC8FE5B3E4E4C8BC871D281CB13E2E,2630976E40F55C34C6ED77881A1FE7F335C0D8D5A01DCCD9123725E815CB0530B25EDC3B15B85AD8F619710CD4CF7826442F31BB033E1DD2BC]] FP4inv = [[22934571E03D9437851872EC6CF2AD2C5E72D8C1D24F8F48380D26C47BD88D6C1057B072E8DE5E2077B774EA63E985227735AB8EDEC3CE55D6,4E4655E7603008D19B1D896711E4BFDC4EB44B1C6CFE8DA004678C7637A52394C618734FCA571F47A09960B13AE66BF7692E64898CF9504A23],[1E27334E2609C8B6282A05391A6462A207F1819EB5039463489AA15F04C2B0F8BC4F1704D5F765E8EC08A6F027362E9C2460558C3546B1A10E,5379B3EDB6226CA104A0A314EE06C1EE5B4E0445B2D4F21228B3A1263E68C4606DB196DC5BC9C4E8F4A43AA9B8B9026432D891D61B69D36239]] FP4mulj = [[29012F9372AF6F603D73EE0FBC7A69A44052EE15944FADA8922B48CC32ACEBF8A0A68A95A1BE5FC9F5DE9E15648A43594CDA8E12EDD88DFE2B,0398CD57CB94517FF497C67F49EA997551FF9BB99698437095B6823560C168C03557A6DF40797BCA0D9A409E75B43746FE6A95A4D542BC2672],[2F612191267F6EA59AC218DC053BE5172823C7B59678E7322DC9BA32965A6AD1A587C3C6A9814081518E515ED65B245D7968AEA3A605E3B218,0873D7D3A64424F12618C51D55E6C382FAD7B1E20289CF17A6AC5E5E66AE40CD5F2E9F1531A404ED71AEDAB86FA80AC408B0D1D03E10C9AAB8]] BIGsc = 3090A8718AB2647EB88EED38780E6341726D825F029387FC526DAD64B7F51E832E9D905CE57752DCF571CD5B01316A7EC08C48E31D3F9D8EC4 FP4pow = [[05B9F73372CB4F0DE3F187AC4B97559BE6F9E5D7E41F6C6444AE53063B5D4E4A4EE268C524757B5BEED57225DC8B6F7BAA9D554D1234C38449,23A2410A19E875BBF54498B2AC258CC0200C474DD9C09714726D03A397B36E37BED45BD6BA5CDA43DEE6BC3848FDDF52A586753B02D9A63B28],[225A0ED9B336301CE09B1301173922DFDEE0E5B3C98E32DE30E8121FF8A7C3100AC37AB061CF0A29B5154E4EA963D84D22E1AF19A96AA63A72,139C9063B32690637C58435B3556517C0CCEA27957682F74B3090878202EA6BD1E6CCFE09727909165EC7DDC2A8C1F104B04DF9B9585AEA877]] FP4frob = [[2F612191267F6EA59AC218DC053BE5172823C7B59678E7322DC9BA32965A6AD1A587C3C6A9814081518E515ED65B245D7968AEA3A605E3B218,4CE18181AF353066048748F23FCDCE800567B47C37D14E3E7C9F7ADAEE4E724759853C846308E37FA9F7EAD0E5C31FE54DF9CE2FC36F3657F3],[0C5C23AE0BE41D05D600346B8A97917B6780C1AA6C769D09BBDD1F7DC9D6C8EDA96DBF02554D19751E37EFE9FE2D552847F9ABE69A8AD480C4,28AADB4CCB19D28ADC1FC7033BAFE3D6B4B14AF985B31F62196B974E222B6EF51B1ED26F6654F8FF4E679A0D29965CDA50C8CE4A85B09F02C5]] FP4_xtrA = [[475EB4B327739DEE71E3EA34F81E804C9B59D1A362C9595E2F3F02396F3CA7735EBFA9DBB9C2BC57D096B661A9907B04B03798C962901E6ADE,1E29FF97080C351271FEB646CC4E2C5706ED1EE97E8EB597FAE25D5782443A3385391594DD835EE79EAA082E50E3B8DC202528C668383E17EF],[5483179E61B088084D16ECB26F1478E7625FA532247E31F2513DE9BFA4179133AC3477869AD7E7C9F229AC26E5BCB1DE3F2115EED9906E56C6,363F3E24EA23676D490D796882DE066DB357CAB4013613F810BD4D18E923FBFD4D24EDD44613FAEE689395FFDE02BFD1A32440A40244C1A1F5]] FP4_xtrD = [[5243ADFD06329B2268F9A529B3CB0AC3CEF46E242460C575986AAE926B45C4ED00AE881891D27A4ECBE2814AE855DC8F5431E7E3386766AEC5,1ADE56D66509B287D47D455A1C262F37A613167DC58F1827B80EB2C2FA8464F93779B885B0227B324C2A830B08C6C3933B6C4EBDE86FE46DBA],[27D64822274EF8B3C2A854A37FCA9C1C217704AAD4DED535C8768CEB5EFE4617160F499B1C1472202453B1836C796EAC9F1A6147E45F1FD6B3,13B430607CE23818CEBF07846704C9109AB8E04A941FEF2D442D81C463C4A55DD5D86ADD26D96FCE4D8A83C1F387B71D2B30A4FEE7323E7C22]] # test 6 FP4_1 = [[42984053A114C1050C0EC08226E3E32E8567193101A1ABD49FC272D47A009615781B8A92A2655747ADE67372A8E256737001C99190F2BEF34D,1D5DAF45ED499036B3277C200BAF905C4BE50663F7D645482481DC46226C6132FAF939306C245F99A8B4D04C0E424EFC5F349F9F6E3181496A],[06E190526F6FB7983BFD85DFEEF6172A93746499A161F5D754064E0F8CA30AB6F6236F4F7886AF441BB43484E83796AB476A3AFE8CE1EB848B,058D7001C4D10CD01EC5537C871B239735A0094AF91FA7BC76D6FC79F5435ED58686582F4B436EB2D32DBE4A83BDC1BDAC63950FEA51602119]] FP4_2 = [[2F1ADC9D0D3C1A9E6DB220BF3572D91C76E768747ACFB4FD7BCB0A9DFFFF256AD39970B0241A9C7E1AA3DFD750250135162F6EE4145D6F227F,2DE2A9FC93F47B77E89CB79F8539087712484BD2EFA00398A180FEFD0CA5D444BD3E53F51A0E8C5BF55F2D031273943CD77DE8158C4423F54F],[103786DE31837EFCA20A1A8C211985FA5A674ACB8029855E7C5FE5591CFE8BBD3E7927762F7267C90CD06F2AAE0A4B5F1C34DEF496D6CEE2F8,09E7250FC388FC3420154EF38020957544B65F4B6D90FE1081D2E1A2CCE9A7DF800050ECF1CF886D3B5331A18FED30062D93FC6A59616FB198]] FP4add = [[1C5DC39B58D7864C4F20D331C6A22A47FC0F1B474216437BF841A4392503086B93011FA931D30B58ACE38DC0A39C2CFF2F869875A3D02E1321,4B405942813E0BAE9BC433BF90E898D35E2D5236E77648E0C602DB432F123577B8378D258632EBF59E13FD4F20B5E33936B287B4FA75A53EB9],[17191730A0F33694DE07A06C100F9D24EDDBAF65218B7B35D0663368A9A19674349C96C5A7F9170D2884A3AF9641E20A639F19F323B8BA6783,0F749511885A09043EDAA270073BB90C7A56689666B0A5CCF8A9DE1CC22D06B50686A91C3D12F7200E80EFEC13AAF1C3D9F7917A43B2CFD2B1]] FP4neg = [[12BD1901B46494521E914D8D6ED0AED47AD84D2D38B9718183896664DAFC1CFF40985106F24791256DC05216AC88D435E6A8D66E708D410F5E,37F7AA0F682FC520777891EF8A0501A6B45A5FFA4284D80DFEC9FCF3329051E1BDBAA269288888D372F1F53D4728DBACF7760060934E7EB941],[4E73C902E6099DBEEEA2882FA6BE7AD86CCB01C498F9277ECF458B29C859A85DC2906C4A1C263928FFF291046D3393FE0F406501749E147E20,4FC7E95390A848870BDABA930E996E6BCA9F5D13413B7599AC74DCBF5FB9543F322D836A496979BA4879073ED1AD68EBAA470AF0172E9FE192]] FP4sub = [[137D63B693D8A6669E5C9FC2F1710A120E7FB0BC86D1F6D723F768367A0170AAA48219E27E4ABAC99342939B58BD553E59D25AAD7C954FD0CE,44D05E9EAECE6A15F52AD2901C2B19E839DC20EF42915F05A64CB6826AC34002F66EC0D4E6C2BBAACEFC68D25139E568DE615789E36D5D56C6],[4BFF62C993658DF2C493796363912333394C802C5B938DCEFAF241EFC4A1320E705E2372DDC12FE82A8A8AE38F9875F581DFFC09F78B1CA43E,50FBA44756C165F3295012989CAF2024F129105DC5E9C702184FF4107D566A0ABF39E2DBEE20CEB2B3815232493BBC60D57A38A5926FF0722C]] FP4conj = [[42984053A114C1050C0EC08226E3E32E8567193101A1ABD49FC272D47A009615781B8A92A2655747ADE67372A8E256737001C99190F2BEF34D,1D5DAF45ED499036B3277C200BAF905C4BE50663F7D645482481DC46226C6132FAF939306C245F99A8B4D04C0E424EFC5F349F9F6E3181496A],[4E73C902E6099DBEEEA2882FA6BE7AD86CCB01C498F9277ECF458B29C859A85DC2906C4A1C263928FFF291046D3393FE0F406501749E147E20,4FC7E95390A848870BDABA930E996E6BCA9F5D13413B7599AC74DCBF5FB9543F322D836A496979BA4879073ED1AD68EBAA470AF0172E9FE192]] FP4nconj = [[12BD1901B46494521E914D8D6ED0AED47AD84D2D38B9718183896664DAFC1CFF40985106F24791256DC05216AC88D435E6A8D66E708D410F5E,37F7AA0F682FC520777891EF8A0501A6B45A5FFA4284D80DFEC9FCF3329051E1BDBAA269288888D372F1F53D4728DBACF7760060934E7EB941],[06E190526F6FB7983BFD85DFEEF6172A93746499A161F5D754064E0F8CA30AB6F6236F4F7886AF441BB43484E83796AB476A3AFE8CE1EB848B,058D7001C4D10CD01EC5537C871B239735A0094AF91FA7BC76D6FC79F5435ED58686582F4B436EB2D32DBE4A83BDC1BDAC63950FEA51602119]] FP2sc = [1ADAE4F4C3F7E07B2987027DD29EBCEEF66451AD2AB01B9BFCF88ACB80CC376C254C5F3B43FA9023061A40593A3426323C99BCB81A5D6CEBB2,25ACCCB490FA54672F09E5AA2415E0D633EB7107601BDAD8280A0A7A0493F84B5DD2D938BA2FB64F0AAAA2B0E27B5D43DFDA9F124E80CFF9ED] FP4pmul = [[3E95801B82E623C95ABC78484FF733889A64EBE52482F78531AFDEEA6F9AF7B84B4B0F4C392F97A3E11FDB60684A8F28784BABB53F49F6E67C,1881FAFDF695949CEDDD645604DB4D21800BA51A463645C18A37B32C220A7E86571BD3D2B5F4A398AC90FC237EA09A36A97E5B2CD8D48151C8],[210C4488489471A4126B053E9A72E93FD1556D4124A13361A5A4EC6C51684EEA46FCD7CC887456817C962B58ED9A190F1CFB691C06B751989A,0DC3A055FD44C264DBC220FBF67477FC6D0B26CBFAF6F865DE69DC6020FF0B2A91A5A7AAC4A06B10400D704B6E0A9342363B70F1B7B7E70275]] FP4imul = [[4CF935A224FBC513BC69985C0155B9DF9A454ADA59170324B4E8B27A630CD52D2E6E22106DF3FB1F128BF0A14C2A30452C090FD7D03DBAB880,3D7F13084CF67BBA55255E90A4B93FCA7B39B9959CD43D12933D7425572132EA2E2A42588808F5932FE14BF2F1E06044855C7E1D2577866C67],[2267D19C2D2E95F92BF39D5FAACE73D4E145F70026E9CD34A41F864DBF2F3592CEB12C8D5AA16C548A8506988915F158651326F8C0699996B7,1BC33008D815401099DAA16EA387B1F40C202E76DD9E46AE5232EE61CA50DA2BA09FB8EC7851297E1FE4B77492B4C8B45DF1E94F9396E0A57D]] FP4sqr = [[2BE8A157918941F4F5592EBF6A605B3F4A3A1B341D8D20C59A2C08C7FDC73AAFBABFB13DBF3399FF4FDE6655AF5F1D64CBAFFEDAA92CCFB410,33037BB63330FF446FFE54CAFF2621B82B1812C4C9CBD623D3401E841C4E9BBC755B9B28D22965C16D7148CCC4219C913466416284D4A0E47B],[09736F859CA27AE5321C5225A5EFACA8138046E860EBFAAC3A3FFAF1726FDAEC4EC35E4C121529A53DD5669B2A29344DB6E0FD361966EA02C4,1B805C8DE2A8CD52BD9021DFEF74B89F07783C912050E1B7E9A8AB2268BAE9BBE8B2620C478BA14ACD77598EBC03A1FD45AC6626BBF3B1BEEE]] FP4mul = [[1F678FE2FCDBFEE71083467B77AF808DECA750390DD7D97C20E990B2DA4B26E7E90D593CB95AF081CF488259BC6825256F0EF7F1F71B04E388,05924BDC0F24C419C5058AC75615654C222F4CD6704FB49616D6B535F8243D6BE3E5D56E4157EF3B2AA82DFB70EBB5A7836DC035C642E8A348],[196E50725218716AF652FDEA1B9B33F950204A82DCA56F7BD02FE6D530040C5C12DF6EA047A5C9C5767946032316BD008BA9A0BDAF8E485B10,36A368928B6F3D5641D0CB7CABCF4A381E9A0DDB4C9467D0689946A2B091F0F098B1C84533577C75C3002E02CACDF67E7C95EAA01390C20E64]] FP4inv = [[2F0D273D649F9A8AE465B706FE8405841FEF7FB32914D570F758AA718C5A076E1F195BBE943AC995F29B90577A4012B5A41A8739774CD69F8D,5449A2427814596E926AE99C22F677EAE3B9BDC367319572BEAF0BFB1F4C4D110308724A54D17884C9C938904DCA31423EAA9B2982A8C716F8],[20D8DCB42FED462BD4C40C7700B19500D05650283E4DAA6CF638363BD8FDB923073E36566A163BD7A37FC26945E63188BAC6926A0012049E7A,47EC130B7E0EF5BD7DC2CA03B1CA654143786418C98452F8512C64ADFFED999D00515C32F98EB36E5F4AFB013A550E0E49E96804C8D1B37E92]] FP4mulj = [[01542050AA9EAAC81D38326367DAF3935DD45B4EA8424E1ADD2F5195975FABE16F9D17202D4340914886763A6479D4ED9B06A5EEA2908B6372,0C6F00543440C4685AC2D95C76113AC1C9146DE49A819D93CADD4A8981E6698C7CA9C77EC3CA1DF6EEE1F2CF6BF55868F3CDD00E77334BA5A4],[42984053A114C1050C0EC08226E3E32E8567193101A1ABD49FC272D47A009615781B8A92A2655747ADE67372A8E256737001C99190F2BEF34D,1D5DAF45ED499036B3277C200BAF905C4BE50663F7D645482481DC46226C6132FAF939306C245F99A8B4D04C0E424EFC5F349F9F6E3181496A]] BIGsc = 08C8830B20766C8AF302938FFB5B2BFF0114F0889C6B3C8C266909600834998CDDF725A46F5DF28453FCCA24AA7E950701239576986EE66206 FP4pow = [[4F9F82E962618F5DAFBD9E492194511B492E0DBB190EAD0E3B53486458E26C379A22EFB79265A2F4F4FFF1F91241A55CCEDECB12A40768AFF4,062B2762071AB60C4729D3470320CDC00E7108BA9CF8366E8CECD8BA13BA9F10EDECEE8AB268F56821F226B288F68F4FDC31A6D15D2C9226AC],[218A874FF1AB00476F6DB01A45198E3D4D9C8622D8F419EBD0864C010DAD067F50FA53A057F945155B77492759B87C58B4EA6F529216465F14,0626FBEE8AF99F9DE8775F7136594991ED4ABF31B6B463DDF994375CBC4ECCCC76FB99FF125059EE84584F570171AB6A784636931EC19E52D4]] FP4frob = [[42984053A114C1050C0EC08226E3E32E8567193101A1ABD49FC272D47A009615781B8A92A2655747ADE67372A8E256737001C99190F2BEF34D,37F7AA0F682FC520777891EF8A0501A6B45A5FFA4284D80DFEC9FCF3329051E1BDBAA269288888D372F1F53D4728DBACF7760060934E7EB941],[1516A529BE3C4BBB8B8A1FC6E975EE5E5C0C88AC31BC60ECB7F7517FACA349565B866E09A94785ED178A592971D468815A5C68CB19147C9BC8,1EB9F3BC40C053CB8A541C8D567274137332264B80830D2625A3F7BE103123D4D73CD2E089E0C8A935CE694E1C89F7BA225F0B3339648929AD]] FP4_xtrA = [[4F1EC0C56457D7D3344F25200A889050E4016869BB4F4B7D49F1801806F6C58FCE46908C6FB7B6C192601F0EA94651AF6017D7B5ED844513BA,542F31140D1AEC783AA1BCC975003106DEF500D6CE46B7164C181DF839E6FBFB512D04FFC3EF1A7F55AD744F6DF6A351449F538FA9C1F784D1],[2A9F3C2A42CAC83F31A20A0EAF5E3DBD19E149A70F536E1D9C55CEFB1F897BCAAD9AD4E2D61C3D3DF32E4F1539E2B6A8E7AFF76299D7B57A20,5121BCFA3044EC905165BA07F7B7A060690AD0E550BC29CB975918788185BB6CCDAC1BC4D0051F01A7952275BA33655E4784840AF543F7A00E]] FP4_xtrD = [[5162D35AFA526A99327BC9DA4801B8E83FEAB58E8F0003C8A13ED591B3BF74AE3BF0534BA3C2BC4A2B5F0A830870C5D09901ABB78A4751D2CC,4D9D767FAE17342E344F6A9A7D7B9302938D6C5B147A68E9AD883F312C728C6B381D04618E8D8EFB37AE6DBDFD082941CCA7A223A9F19E5452],[1736902A7B81EA15AA175DE583DBDAFD3A69101BA3AFE65AE24C97108BB5F05A3B0A3CEB0322882D753DCFA4FA9861A445B57333332AC10BDA,269B3C916C4AE6F2FB1AC8D8FDAAFFCD72B84F2712903130D756A4165341A766F5BF126ADE127EB073D2D623C37F25789E7390469096720120]] # test 7 FP4_1 = [[654D58862487D98B775DC915ACD5102B85CC11082B45B1721BBDB97E314CAEF1371F2D652DDE078A255B4D092AC57FB660D8883E24EC0BAE,36D6B163CF8D96409B8A1A218E46512E3309FAD03622B9A816D29018BB6AEBCEDC85027BCCF8BF66288DC093166EA9A16242D4F5119F13B99D],[1FE25916D612EBF28CD235FC45BD114D09F4C0AC93F3CF1478BD53A9E66DE7EAE14E1BA64BA86F7E9C29682790CE50F38DF891C93EC7850B7B,0C699E5CCD0DC2ADB526BB5BC5D718BB375E177059CFEA7901F5FAACBA6001069DE4715E7523C6C0F278629854EE45C1DE6964DA5BDABF0967]] FP4_2 = [[448F583DE2FD42F0D6707A349725296B96A19242B43452BA0C27383DD3723D8ABABA247AFE5B4EAD61BC8C8A9D5AE0FDF9B51F536C0608EBC0,07434B4A1F73B3080840D0D4BE4DB6814F53104DC3B54117DF72B01A666533080D9C17FCB9FBB78E23F747098063255948C51D38CD5E6DBEAD],[24999C9BBA07621BD22295DD7004ACB358114A77222AA51BDAC7A9EFE75DF20A77DD81BB8D1D47C77777105B6A6A8728ED388F78E39B128C73,1F05BF6F8EE0EDB49266A661AC55C727E4ECE84ACABB0A8BE97FB22DA949474102B1651402CAB4E3D04CD6E4DA8E0F0EABE653EE3DE2B7E664]] FP4add = [[44F4A5966921CACA61E7D7FDACD1FE7BC2275E53BC5F986B7E42F5F751A38A39ABF143A863892CB4EBE1E7D7A685A67DB015F7DBAA2AF4F76E,3E19FCADEF014948A3CAEAF64C9407AF825D0B1DF9D7FABFF645403321D01ED6EA211A7886F476F44C85079C96D1CEFAAB07F22DDEFD81784A],[447BF5B2901A4E0E5EF4CBD9B5C1BE0062060B23B61E74305384FD99CDCBD9F5592B9D61D8C5B74613A07882FB38D81C7B31214222629797EE,2B6F5DCC5BEEB062478D61BD722CDFE31C4AFFBB248AF504EB75ACDA63A94847A095D67277EE7BA4C2C5397D2F7C54D08A4FB8C899BD76EFCB]] FP4neg = [[54F00BFCCF54CD7D9F28B0468007BCF2D4B99A4D322FD7A4B1301B7FD6CB6665C77CBC6C2F7F0A6591816A3C4C406529A049C777C35B13F6FD,1E7EA7F185EBBF168F15F3EE076E40D4CD356B8E043863AE0C7949209991C745DC2ED91DC7B42906F31904F63EFC8107F467CB0AEFE0EC490E],[3573003E7F6669649DCDD8134FF780B5F64AA5B1A6674E41AA8E858F6E8ECB29D765BFF3490478EE7F7D5D61C49CD9B5C8B20E36C2B87AF730,48EBBAF8886B92A9757952B3CFDD7947C8E14EEDE08B32DD2155DE8C9A9CB20E1ACF6A3B1F8921AC292E62F1007CE4E778413B25A5A540F944]] FP4sub = [[112B4E6FF8A09A3FDFA6F1A4143C3DA79523A02C8E52104D89405EB4FFBBC238EF30D64BFB7F77C7440F944BC13B0F2B13565934D39EE32299,2F936619B019E3389349494CCFF89AACE3B6EA82726D7890375FDFFE5505B8C6CEE8EA7F12FD07D804967989960B8448197DB7BC4440A5FAF0],[509E15D07184DF2DE54FAE2E6B6CF69CB222DC93AC24474EC14182F3540CA8F5222475845338102440591D557BCEF473F76AA2505CAC7281B3,42B9384293A62A504D602309AF35E39652B09583C96FFD433BC221B866136CDA53E6E7E40705FA4A3DD2513CCFCB615C892DB0EC1F780725AE]] FP4conj = [[654D58862487D98B775DC915ACD5102B85CC11082B45B1721BBDB97E314CAEF1371F2D652DDE078A255B4D092AC57FB660D8883E24EC0BAE,36D6B163CF8D96409B8A1A218E46512E3309FAD03622B9A816D29018BB6AEBCEDC85027BCCF8BF66288DC093166EA9A16242D4F5119F13B99D],[3573003E7F6669649DCDD8134FF780B5F64AA5B1A6674E41AA8E858F6E8ECB29D765BFF3490478EE7F7D5D61C49CD9B5C8B20E36C2B87AF730,48EBBAF8886B92A9757952B3CFDD7947C8E14EEDE08B32DD2155DE8C9A9CB20E1ACF6A3B1F8921AC292E62F1007CE4E778413B25A5A540F944]] FP4nconj = [[54F00BFCCF54CD7D9F28B0468007BCF2D4B99A4D322FD7A4B1301B7FD6CB6665C77CBC6C2F7F0A6591816A3C4C406529A049C777C35B13F6FD,1E7EA7F185EBBF168F15F3EE076E40D4CD356B8E043863AE0C7949209991C745DC2ED91DC7B42906F31904F63EFC8107F467CB0AEFE0EC490E],[1FE25916D612EBF28CD235FC45BD114D09F4C0AC93F3CF1478BD53A9E66DE7EAE14E1BA64BA86F7E9C29682790CE50F38DF891C93EC7850B7B,0C699E5CCD0DC2ADB526BB5BC5D718BB375E177059CFEA7901F5FAACBA6001069DE4715E7523C6C0F278629854EE45C1DE6964DA5BDABF0967]] FP2sc = [373E5A73AE4175AA5F87F1E01424254DE0C13C75FBBEB91ACAF72811F13C4834E6767C844E1245B8ADC1A8EC4AB9F89CBF0C5C27328A43070E,08435B6A728CEA43866BFB1913741B2F714CE1989F19B619C930A1BA9D7CD811F294074D84B91F73A4EA8648C23D457FF18F161A4CF4303CBF] FP4pmul = [[45D57EC182F32947CF7AE75488256E019560620070FDD3CE22086825E2ADA5F844E5CFADEEC3FA27219372E6BD68A158C5CB4CC4315E6C963F,1FD854FE5C5C6DB41246551A43C10541F85AE83F30B3C01365A1F2B97E5FD694B8916FE69286779631FAA26FE0B6922B80EDFDE01C3D0F3DBB],[209959FC2BFBFD79C304A8A13BE627A0EBC24154723817E6CA346BE00AF22B8F06CE1CE8CB90E4A16DAFB5DE22E404BD3317AB3D8E4095E9A9,2B593EFA99F6522DDE7EDC56EBBE74C87FBF201F6C6A2E66DDA5FFB16153631F2C26E6DA94E73F764F97121631B4E604DBCF4414CB17728F40]] FP4imul = [[025FD01324DB2F1944CC32B6820CFE610522C8663103A228ACA67258F527CC19A74ABB105F13342D3CE023CE3700A0FE4645133174DD884614,49081C56DCE5857E255C729A9488310C317DADC695BF01EE1F0BD4E8658B6D9B01027C1A0FCDC31DA05E32D6865679CC49911DBE653A7651AD],[14A363DE597EDD00F7AD27CA770543C83B3DB74F03009FCE8DD84388BC9A0957D66CEEB29C98CC1D71AAE5DAB9FF9062A67E2AB775AD1E3F8C,4A79B62CCE5290123EE86426A30A94634C348CA21ADF7ED60BC3E00C5E400627B35AA836BED6A885AED24F91FD95A28B36785D1E27207A386A]] FP4sqr = [[0596AE6391E745656F007D53429BFB9C5A5ABC75AD2A24D3058B523759243D04634C8F711FD1CB0BB6342CD94BE57ECCAD68A2B88F26D4128C,55444C638220919DF4E70A4B06D043355CC16FA962C98E9DB6D3B03EBB91676C8045602FD5F52DB994B24F76AC6656AB189F89653826945E08],[1717F3AAA8A902B72A6B84A7C560F5EEC59183A205BBACF482D1F48FDCFB4DBD14C10FB1DAC07B73DB289FAD044B2AE61EA039A8AE7C0E05DC,132BA2C73B6A43971657B5B022DFD3BABB7312F1D51C2846DD2D0228F4B9A8D7134E0F3D4DCBD35C7675DA4FFF6D469772A07702BA187B84C6]] FP4mul = [[34539127074A75876D0D47BD4C924A95B046AA67655CF4559736FCF3519DECA2BF2C9ADD23D3CAA1A82B9CC8EC48B95DD2ECDD60A2DFF0C10E,0836D269785B3F60BA133C1ED0C92BCCE5B3D18ABEEAAE234D44A1CD43F1C91F81053F3048810A61A7607727F189119A92C64656BA55DC857C],[36118558E01380F3DDABC91178711AC4E4D6E8EB184F2C268FA5701B9A30240705268B1CEDAC6AA56CB96CCCD6AEF330262852C2958D2FF2BD,42253A668BCB2AF1907A32283FAB78EBE6D6881DED5BE8C24765BC8846504751718B072009EC3917CA41E8AC855BEF6AC8AC2FC8B9A43DDC31]] FP4inv = [[0E03CE7D5A367CB6F27381295A694E514CB43202786E9B3C4E8B8872A20DE2913C13DF331D42255048136C3B829153F7F4F63A939CB4196858,39E37ED5D842A80230064371877A2BE219C2C0F47771AC61F92D8576B1289497F87F9B26F4CA0A500885D3ABC676345F95160BEE0AC7B18BC2],[50D3993D5A549411AD84F7F09F83F13DC07C0DA49BAABCB2C3CBE1B54C4485F759027C79786720CBC2BD92A987A0906F68C14E2AE0C20F2BAB,3D470FF15A7FD354D5F92BE4D020CCFDD75BE4791F633B1E13103413615D988C4C0FBB7DD0DC928747C790DB192E46B9AD5759F91186593E01]] FP4mulj = [[1378BABA09052944D7AB7AA07FE5F891D296A93C3A23E49B76C758FD2C0DE6E44369AA47D684A8BDA9B1058F3BE00B31AF8F2CEEE2ECC60214,2C4BF773A320AEA041F8F1580B942A084152D81CEDC3B98D7AB34E56A0CDE8F17F328D04C0CC363F8EA1CABFE5BC96B56C61F6A39AA24414E2],[654D58862487D98B775DC915ACD5102B85CC11082B45B1721BBDB97E314CAEF1371F2D652DDE078A255B4D092AC57FB660D8883E24EC0BAE,36D6B163CF8D96409B8A1A218E46512E3309FAD03622B9A816D29018BB6AEBCEDC85027BCCF8BF66288DC093166EA9A16242D4F5119F13B99D]] BIGsc = 0CF9461A00B66F33069D2C83CF8D226EFFA507B37EF1EA9456142C561BE17A8BB67EEDBF4DC77490877DC98256C85715C69210370BB1088D1D FP4pow = [[3DFD22EEE52739DFB1BBD8B11BF7BBF971C483608C61ACBAA47009C3489D8879BE55DC06A09E1E157753DED49B836B228550CD42DB6D267528,03EACD2CAAE9ED6C4ED8D6B868B7E30E7F32E63623EF57C72B774E4D011539196C34C6BE47D2E8EE08B21449B1C83A2A032E403F4B730D2FA5],[3D3E387B017E8F770491F267B55604E5D099519F365D03F228AD111AD078C523AEB19B9DC51778926E39F816180DCBEC0F4090E7802F598193,3DC37C7CA55AC3F642CBCBB019CBBA6A0FEFD2DCC2D13B1C8B3D14FBD09A99BCB99E39A0EFCA65F8C92A1196CDAEDAB2D523071F8C5BEEEB2E]] FP4frob = [[654D58862487D98B775DC915ACD5102B85CC11082B45B1721BBDB97E314CAEF1371F2D652DDE078A255B4D092AC57FB660D8883E24EC0BAE,1E7EA7F185EBBF168F15F3EE076E40D4CD356B8E043863AE0C7949209991C745DC2ED91DC7B42906F31904F63EFC8107F467CB0AEFE0EC490E],[5464D1AE5ED591EB3A4F011CFD373FB7ED018CF794DDA424B7F52BA927EC6C637A2DEB8DF317D78295FB2DD269618B3CCCD6759E189E7F9E16,2BE30070576F5A2E0FFF337A93980D6AEDB98A76357116960F4CB7791642ABA8B0F43C4C3D4762DBB096BC182B2147AAC5ACFA35956C717D99]] FP4_xtrA = [[1B560CCC259FD59C982C4566BF18E170D81E1FF73D040A939E0DF6CB90ACEC9B47CFF3761F8A433BF8E4B8E5384004A8DF53081FF8AF4FE6E9,2A49FF36472237526ECA58FA7474895D4C9441FDED29E9806DFF3DD25D66156A15EFD0C432A25AC23BB61AA9D3DD2F4CD35669A9CD1345A677],[057293550A80B3D3272DD82EBB9A890B4F2667CB8316E3A931C37BD7435362B0191A0B970D7225D7C1E70562B7BE6F884F6D46F8AECF224AF1,16C78B24DAF3050FE5D733BD6700462469D05E59BAB39DFA66E846429AA893FC4E4E2BAEA999511E71C876B8DFA2A9C61C2F8C9AC047A209C3]] FP4_xtrD = [[04CC13B2859E35B25811C1C11742517C034F24539CD399702153D6C45CC1A3A680DE511655760EFCA1E9763F398FF3CD40A6F1A812DCFBFB30,3CEC42F1387EBA73E872E4177FF832DBF6ECE06730DF38A3AC7A694699B842E37FEF36D1D0B0975A5F3D93D9D4F42E11AAC47F7B16686CED79],[01874C82FF558545196FE290BB268685D93B9E9CF3482DC75100C2AA54DA6A7E1EA96B64DD647203F7D4AA72D07CA223E3E6BD3B2A8B181A27,2BFEDF80D585C8F280A52C67AE8E05312A2F41D288BBFD38E118F7826979AAE44F16F1FA381360DE5B669F80A949D21B2F7340B771CDF99794]] # test 8 FP4_1 = [[2D6E59E06294BC9C7D503265FF03F564D845EBA25C424194C08BE188BDBFAC8A3340ED97765CFD6562E0B2560CF463382DD4A20790385F7B63,4ABD19B522A85D83200C2986AE5215AD9D55BB3637046D888D5925556D6043E8A2F3A9E6B094BD598B1C6F698D780FC3AF6538F00BB9AEB330],[31476E93542F03EA0DD2EED7737D5469F7F1FA05445ED101886F6C27D421B2975CBF8C7F733E845059B73C02D76A0320E4A5D913F38DF109BE,26DFE921CD6DA89623D1A97404B59120A742BF8064968A638EE0C51C880CF00AE7417B195AE45FECB78AEECB61C94EC0E8255072D943F38141]] FP4_2 = [[211ECD35F879B8721CDA59A2BAD419BD8B32AA3C12BC39C3DEF784EE1113E1EDF6E059C128B92EAE63302B796379FD70B30D90A4586375E4A0,284EBB1E14D72589B49A017463A2884947980421A66C0D6ECFBF1BB3F920B272F12476645BEB168229F2024EF38DFDF9B1C66A438E79C89CA5],[038E30A3C0E09A7068D039381AB2C345E9550B59424A6BF18E5E4D47B2796436717F38EFDFF6EA8A05B7303C436DE4530BF72D8FD9E64E3187,364DB3920B83FCD91B36C8F18519F359F7DDA9491F5E6A67201E547795ECC7CD3188DBB21FD0AA9A33858684B4B5AE7C01F93759474BCC53BF]] FP4add = [[4E8D27165B0E750E9A2A8C08B9D80F22637895DE6EFE7B589F836676CED38E782A2147589F162C13C610DDCF706E60A8E0E232ABE89BD56003,1DB67B7DE2062DB5AA061CEB7C400BF3E4AE58F9A3155DA139CC67D011844346DB6444B177D2EB6E9967AC2F2B9AE3140A81033398B3774D2A],[34D59F37150F9E5A76A3280F8E3017AFE147055E86A93CF316CDB96F869B16CDCE3EC56F53356EDA5F6E6C3F1AD7E773F09D06A3CD743F3B45,07D8435E8378501814686455F41AF2779EE1026B4999D7748BB3405AC8FD04C360167B31E6082219CF69AFC6C113D2939373E7CC1F0FBFD255]] FP4neg = [[27E6FF74F2E498BAAD4FDBA996B09C9E27F97ABBDE18DBC162BFF7B0973D068A8572EE021E4FEB07B8C613334876C77128D5FDF87147A08748,0A983FA032D0F7D40A93E488E7627C5562E9AB280356AFCD95F2B3E3E79C6F2C15C031B2E4182B13908A561FC7F31AE5A745670FF5C6514F7B],[240DEAC2014A516D1CCD1F3822373D99084D6C58F5FC4C549ADC6D1180DB007D5BF44F1A216E641CC1EF89867E0127887204C6EC0DF20EF8ED,2E757033880BACC106CE649B90FF00E258FCA6DDD5C492F2946B141CCCEFC309D172608039C88880641BD6BDF3A1DBE86E854F8D283C0C816A]] FP4sub = [[0C4F8CAA6A1B042A6075D8C3442FDBA74D134166498607D0E1945C9AACABCA9C3C6093D64DA3CEB6FFB086DCA97A65C77AC7116337D4E996C3,226E5E970DD137F96B7228124AAF8D6455BDB71490986019BD9A09A1743F9175B1CF338254A9A6D7612A6D1A99EA11C9FD9ECEAC7D3FE6168B],[2DB93DEF934E6979A502B59F58CA91240E9CEEAC0214650FFA111EE021A84E60EB40538F934799C654000BC693FC1ECDD8AEAB8419A7A2D837,45E78EE517630114333AEE9215502FC9AFA47C957F933D52920E49DE471CDB526E6C7B00CFC09DBF9FAC2DD0027ECAEE3CD6B919937827302D]] FP4conj = [[2D6E59E06294BC9C7D503265FF03F564D845EBA25C424194C08BE188BDBFAC8A3340ED97765CFD6562E0B2560CF463382DD4A20790385F7B63,4ABD19B522A85D83200C2986AE5215AD9D55BB3637046D888D5925556D6043E8A2F3A9E6B094BD598B1C6F698D780FC3AF6538F00BB9AEB330],[240DEAC2014A516D1CCD1F3822373D99084D6C58F5FC4C549ADC6D1180DB007D5BF44F1A216E641CC1EF89867E0127887204C6EC0DF20EF8ED,2E757033880BACC106CE649B90FF00E258FCA6DDD5C492F2946B141CCCEFC309D172608039C88880641BD6BDF3A1DBE86E854F8D283C0C816A]] FP4nconj = [[27E6FF74F2E498BAAD4FDBA996B09C9E27F97ABBDE18DBC162BFF7B0973D068A8572EE021E4FEB07B8C613334876C77128D5FDF87147A08748,0A983FA032D0F7D40A93E488E7627C5562E9AB280356AFCD95F2B3E3E79C6F2C15C031B2E4182B13908A561FC7F31AE5A745670FF5C6514F7B],[31476E93542F03EA0DD2EED7737D5469F7F1FA05445ED101886F6C27D421B2975CBF8C7F733E845059B73C02D76A0320E4A5D913F38DF109BE,26DFE921CD6DA89623D1A97404B59120A742BF8064968A638EE0C51C880CF00AE7417B195AE45FECB78AEECB61C94EC0E8255072D943F38141]] FP2sc = [1FCB130D2EF46A8451BFE9022178DAA513CDD5696BA5CE7CC079906AC842913ECF2A09D1713637F3CA26E97BBFF0301443CB28743F00E71940,170CCC7301DBCDD152185874E78A88F29F5952BCBD5B4B97E2226AD43D7A42EC88DD2E182C4FC37055C110C9DCE2807639B0BFA2B6B4E96A6B] FP4pmul = [[290E4F3EBCC5659C77AD531FC9246A0B336DA0D34D407D08F3096B7B4D69AE4C39EF214B4F2E81AA0C9D1BAB5EA680AD43022181A8923DE3CD,49055BB47CA2AAF9FC5CFB0F60451D7C76A46E40D77095F10DE3CB32B3265F534B2111196A3334C18D2BA8103413C8767E81F294EAB72C200F],[0528F483E1D830981F77A5149D133D1B371A147E0E4DC7A17E1DA2221D00D759860BE9B942395CDAB785D241FA2A00526B678611E10D3FA2B2,114C48F028E67C7AEBF44DB43A2128B58DFC882B40947F96DED41B8D1451C06304469251727C72C5DFEB557F7E57CA26C05E29D50EDB9B9698]] FP4imul = [[3E046922B1A52841ED51369B37FDFFB8E92B3E55D6BE730ED9EF9F1131479E893CAAEC577E84347E61308FBE5A6D368D3CD08E34ED0A9C57B4,0B2B9BF3F1C28E8AE094CE5142032BAD4BDBB84622FC4EB709A8EDFDFFB5A8E020727FB55803BAE427DE6AAADDC56E61C3C4CE904913C6D64E],[039EA0B1F763C609B6444FA5D19B06D9C6A03CABF52B41B22DDC903178F915D0A66D6915D401FC7E05678DEE8E396B40E5DE6F8BA2E1973986,101F53EC9D939C157ADB77FD5FD941DB92150968110C70B67E41D81BB964770E28AECAE4BE37E631B1D836F3AC3FA74A55055323EC5BA880C6]] FP4sqr = [[46802D66AD07AEEA45B93157466D1E1615FA12862AE77FCBC9939DD5531E91ADF522E1DAFAE56C55686FAE284F8494C43A2F0D50E88517EB32,0CACA439CAE9AD8F45203AA7A9E0A6EF8E190CBCD16DD44FB9C8FAE2ED43D4A4CFFBA237E49C264325D49B5A95B9EBC8122EBB3F5A4F745C59],[39653671044E9C4C06C4823B64FCAF81300DE6CC2F2AD832D6998621A95F408B601840FE454C73744E8E22BE56D84C159C0C1AB766B6B9F4F6,52269AA653249BA7C31E645362B7C774DDF755FDA57E79BB498A78B018C70C12CF2A30DA468E911F56B64C68B45AE690D07B4BE8CCE10F6D58]] FP4mul = [[35441C0A01E2F31E99ACC2BC6C2B4FCA33C03D833290C02D775728CF3F82C6D3D727C90373E7A29370592AB347E86CE316C6424F628BD98022,4D758F7A4C576FE508FC00211DCDED39A699581B42EE842A07984128F00A0B475F5C56EE5DD5B198A0E475DFF63DC1EF740DD2C440AC25C187],[1CFAFC2689855E00F69B0AD209284F423DE27471F08B14AA8F692EE1CF25DF8B7241A52A93CC117D6B2E13F22FC5B41A1FC556548BFDFB0AFA,3122F2AA82D47F7AD6271C76CDE425BC456E83CDD7B10C7F7F009A6B26B7DD5FB6503CD546C6F53522AE4EA25007481342AE2F3B9C8B5898C2]] FP4inv = [[3FBD8EBB6424825E5B81E4E49F540DFCDABAE2B9180548D5741ED43C51F71CD9AC61D64E3B0590663C509762971EB0F861E907888D8EBA6113,3254DFAC36F595CCBC460BFF17BA8F2AD003617C241E3AEE2D1F30D3259A358898D1F11780CD02A07F5512A553A89FBF2ADA3D4E84061183A4],[3B26C8878F82BAE65F94CA0621894F9BB33B55CA46F4CD3E20E4F08D6F07FED2D86666076C31C7F6CD44E472454545528C4AAC3E36BC9F5E68,40B3EF8C4C86DAED382C1B68F8418F752ACF38D61B404F34BB36CFB6CC7DC37B4B2F4823D909E6749BA626531A7B3CF3900679E63648F97547]] FP4mulj = [[0A67857186C15B53EA0145636EC7C34950AF3A84DFC8469DF98EA70B4C14C28C757E1166185A2463A22C4D3775A0B45FFC8088A11A49FD887D,02D1FE5FCC23572907048A3BE27E53879EF553276E9A3E0EF404580B0731EF8D8B4D2BFF3975FBCFF59B6544E3C8273876208986CB51E48854],[2D6E59E06294BC9C7D503265FF03F564D845EBA25C424194C08BE188BDBFAC8A3340ED97765CFD6562E0B2560CF463382DD4A20790385F7B63,4ABD19B522A85D83200C2986AE5215AD9D55BB3637046D888D5925556D6043E8A2F3A9E6B094BD598B1C6F698D780FC3AF6538F00BB9AEB330]] BIGsc = 46A5445B965BEEF09C8662756980705E4E149D2B7AA324C6ADD44336B72754624A6427EDA2452529168EEF15A1E86C21F051FF3538E5A0776C FP4pow = [[480253CC2A077EA37603577BA3852FD4CECF0437FF4D737912B56EE2D90D2E34C7CE767A6A27EDFDDA9A29B6A850A78504C44D2F0A6402E79B,35058EB1A09E64C03973F58D51952B758A8307AC80D8FC7CBA5E0D31660D1548F32060017C69D1C8BE5B2F6BBD2409250BF58252EBCD357CEE],[51A43739DE8FD6A6B878D6352FCA0A73E2E8A5C9E23EEB7D9A37F316ADD18D5DBECDF3AC502C1421395F7946B470DE952D9F7A0D58DC177FE3,50387DFA59E96CFA2BC36ACB7FC32BDFCFA644EC3CD8B175826DF67C8D4EF407E334EEACF2C0AFFCC4EA95E2D88247077EB7AC74B00E9266A2]] FP4frob = [[2D6E59E06294BC9C7D503265FF03F564D845EBA25C424194C08BE188BDBFAC8A3340ED97765CFD6562E0B2560CF463382DD4A20790385F7B63,0A983FA032D0F7D40A93E488E7627C5562E9AB280356AFCD95F2B3E3E79C6F2C15C031B2E4182B13908A561FC7F31AE5A745670FF5C6514F7B],[02295339CC17DD15FC12EC5C4FE042D900626F7407BFE597344B709815561F24564511340A08DBC2F52E69C1C4604F6746E5CCAEC1C99E897B,3057A535DD940ADBD01B25BFDE4AD7FB00E70F5179DED64B7FB87D6E0D9F1D172126203B5B7E03281476236CC729178A0EBD88BDB25DB49795]] FP4_xtrA = [[4A1280AE61A454D1424DC6E874AF5718C891D858C16AAB4DE6F280F3D17F8E08EEF201931F3B1D8B6BC0773AEC90DE6766EA13D7863EC6652C,2DC5B81E63A2943655A2BAD73AE74BF1A9578B50634AAFD2486BEF532774E6B47F282B6A68F3322480464E5B39EE35B4BD01CDF9CFA57429CA],[06A4441DB4C8E0EF12F0762AD4D40254139CE7D1C17CF4BD0E6E6337F5AE4A82687E518CFE0592B5C44A3B5AFA1835779169233541E2CF45A4,3D12648B7595807086A5241F0F7427BFE7607FA72CED1288C108D9FAB7C271E2097F7A4BEFF8C3441D38292359057D6589560FFF2B3A149871]] FP4_xtrD = [[40F8D2FB3D578B0875B8DA9ADE19C54F65ADA19FACBE19F86BC7B3FD2C9BEBAE4754E245A2D859F7BE550F058B06F8FD35306941C99458F717,21DD237A308B9D375A4803B978A59F9A53EC630CD81B33EAE5AE62AABC7CB2FCFB7C059DACCC7C6A46E9479A25A0219360B9895F45DC16FB4F],[469EBA4257334EC8F7CA51DAB642C6521FB274787D8D5CDFC42C8537FCA5F2A560E37E63971C93A7E655D53AB04127AE0EAD2CDF4C529C05C7,4A9113949886977CE021A92BD66E57B32C3D6EA03450712C440029AFD3E43913E4F94B7367AA688BAA256476228259694A1B4CCE7DE8F66D2F]] # test 9 FP4_1 = [[02CA8A0A2B45D0676420706C73BAF40C908F9481E3FB1B3F6ED801AC73B1F059EBAD5CCF480F6AB92E73636C10F78DDFEDA2FFAB100D289939,1FA0BD308504AECFC8BAB2CEABAF5BD4666ADA982AFAFB541958BC90FFB2779C3B7A719024A4A26BA8C09DF70449DBE68686181CF2BA7402C9],[1218341B1CE1B4C5CE6734A14E5E1DD72D763350DDF508D6831C353F452EE31351158E834FD52E70297E12BE3D80E745C8B335F35276856F24,1D1829AA41D220DDE94E0782430FD3BA56B9250DB5A3797C40168CBD90EE62D1EEA90381A2180EC0B443FA32110C2BAF4F025A70613AF82606]] FP4_2 = [[30F6DF7408CFA0622AAFD76D68D914EC0F61CEA6F0F65A105D3466E61F130CCCDD0B5400A14753486BBCB086E3369EBBEF398BB0ADB0644467,03756BFF0859DA7EB3C276BFA37267060220FC1B6D5BE90351DDBB43FE7E5464A4A960372EB9C71E7F3EEDCBD3EB206527CEEDCF9B81AD017C],[201EBE62DB163BF4EE8CAE68A25BF9662B288BFC4699DC58044FCEF5BAC1E5C6063E1FCB7BF872BB0DB3D9610EA49B5874044318AC655D68C4,0D667F0A925ABA4DD1962506DD347914262AFBFAC3B53CE50BDD052C8701A6C17E6CA6358B066F2F38211D9F79B642A6A78E81815BB90DDB8B]] FP4add = [[33C1697E341570C98ED047D9DC9408F89FF16328D4F1754FCC0C689292C4FD26C8B8B0CFE956BE019A3013F2F42E2C9BDCDC8B5BBDBD8CDDA0,2316292F8D5E894E7C7D298E4F21C2DA688BD6B39856E4576B3677D4FE30CC00E023D1C7535E698A27FF8BC2D834FC4BAE5505EC8E3C210445],[3236F27DF7F7F0BABCF3E309F0BA173D589EBF4D248EE52E876C0434FFF0C8D95753AE4ECBCDA12B3731EC1F4C25829E3CB7790BFEDBE2D7E8,2A7EA8B4D42CDB2BBAE42C8920444CCE7CE421087958B6614BF391EA17F009936D15A9B72D1E7DEFEC6517D18AC26E55F690DBF1BCF4060191]] FP4neg = [[528ACF4B2A3384EFC67F9DA321F99DF66FAFD1DC56600216B473D78CE14AC2BACD067ECA4C9D7DB3ED33621D44739CC96907A054F172D76972,35B49C24D074A68761E55B40EA05362E99D48BC60F60220209F31CA8554A3B787D396A097008460172E6279251214EC2D02487E30EC58BFFE2],[433D253A3897A0915C38D96E4756742BD2C9330D5C66147FA02FA3FA0FCDD001679E4D1644D7B9FCF228B2CB17EA43638DF76A0CAF097A9387,383D2FAB13A734794152068D52A4BE48A986415084B7A3D9E3354C7BC40E5042CA0AD817F294D9AC6762CB57445EFEFA07A8458FA04507DCA5]] FP4sub = [[272903EB77EF855C6410A70EA0967123816D2C392D5FDE8534EF73FFA99B96A1C755E4683B74FFDDDE5D786E832C19CD551413FA63DCC4577D,1C2B51317CAAD45114F83C0F083CF4CE6449DE7CBD9F1250C77B014D0134233796D11158F5EADB4D2981B02B305EBB815EB72A4D5738C7014D],[474ECF0D9744CE280A7A944841B6B674028D0DB2D1B649D4A2183F82DF69B062038B4A516889A4223770FEE684477696AB5992DAA79128090B,0FB1AA9FAF77669017B7E27B65DB5AA6308E2912F1EE3C973439879109ECBC10703C5D4C17119F917C22DC929755E908A773D8EF0581EA4A7B]] FP4conj = [[02CA8A0A2B45D0676420706C73BAF40C908F9481E3FB1B3F6ED801AC73B1F059EBAD5CCF480F6AB92E73636C10F78DDFEDA2FFAB100D289939,1FA0BD308504AECFC8BAB2CEABAF5BD4666ADA982AFAFB541958BC90FFB2779C3B7A719024A4A26BA8C09DF70449DBE68686181CF2BA7402C9],[433D253A3897A0915C38D96E4756742BD2C9330D5C66147FA02FA3FA0FCDD001679E4D1644D7B9FCF228B2CB17EA43638DF76A0CAF097A9387,383D2FAB13A734794152068D52A4BE48A986415084B7A3D9E3354C7BC40E5042CA0AD817F294D9AC6762CB57445EFEFA07A8458FA04507DCA5]] FP4nconj = [[528ACF4B2A3384EFC67F9DA321F99DF66FAFD1DC56600216B473D78CE14AC2BACD067ECA4C9D7DB3ED33621D44739CC96907A054F172D76972,35B49C24D074A68761E55B40EA05362E99D48BC60F60220209F31CA8554A3B787D396A097008460172E6279251214EC2D02487E30EC58BFFE2],[1218341B1CE1B4C5CE6734A14E5E1DD72D763350DDF508D6831C353F452EE31351158E834FD52E70297E12BE3D80E745C8B335F35276856F24,1D1829AA41D220DDE94E0782430FD3BA56B9250DB5A3797C40168CBD90EE62D1EEA90381A2180EC0B443FA32110C2BAF4F025A70613AF82606]] FP2sc = [2DC0D0985203837B102F8796D4207BE33C0339FCE5986FC8EE4616FE4D93C5FFF79FF50EA897431672C49540146136697D0CADBD6CC09F01D3,107009AE1F86F61E6960E145D7A8184E7F579489BDE8C8C70F18969A266FA54873731EAEB6D1536B37EDB924B938A7D3BB551B8BF988AA7A73] FP4pmul = [[458FEDA22F5FFB33DA0F4A4A11589AFA0B752483B3C0756EBD227259E6CA4106690F499BB591113C8F407DAE92C071DA7FCF11BF49A4E72A25,03450A66AEC0B9646E92F1B7CA9AE2CB440A6DBD657E646E19EB56BB109EA8FCC3A9D5C6F9601300D20E46BF59C164BD7A6D238C7730EE276C],[2F74A3BD800A43D4DC539C7BBC88240404CB61A66D913EDAC4681BECD22A354241915F2A3F1139113E202F6E95A71CE67E5EB72E1570F64A63,38643A8785D83F08AD73A649D59A7247A8609C76C7164B2C50F868B32DFC120D880BA8B620592663F12D4720ADAEC178F232E5227BA76F193D]] FP4imul = [[165450515A2E833B210383639DD7A064847CA40F1FD8D9FB76C00D639D8F82CF5D6AE67A407B55C9739B1B6087BC6EFF6D17FD58806944C9C8,525B36D97D32CBCFF0957A563211BA9D32D80804E3219FF4842E3215539A56B86A6BD54DFBCB42830EB764A5777889E186DB80E792D3A010F2],[3B6C4783919450D7489996FADD3C5CB66B723428B54D295DF595D0C0D47A6585CFF89880E9FC8B143049D068969C0F84EEEF0F9A92342B7675,3E169AA7639E5C40F5301FF2ED1579CCB54A5BB138659135BA1CB379DD79B06603E064D9E766A52B6AD2467DDD8B0827CABD938306D7C12ADA]] FP4sqr = [[208478E08634873443BFBD196F6B9F3470C5B434F993762B4AA4C279E5AA46FFC0F4BA902B937E30FBF61F0ED4BD1FA15E3523803F4DF54E78,32746399B3B0789CB8258B29328BC8502629137727F457A93E4AA7F4F9C6715D79E283EEF4C41C05120F7C21E681A380A354F3D67728FC79A3],[0CC262822ABE778B7F674F02E3A0D8BC9867A1584FACB412D7694D4551B2FDFBEBCF56061023572B0C9BCD7A099D98F5E3214C0E3AA9BAE0D8,2C745CFFCA71B0605C02F5D48B6F31FC4C969EA81F715E3FC16D58AECCFEDADEBDDDDAD974390686A8D7F7CBD0E9DFDF96ECD1DE515F736F4E]] FP4mul = [[048DFE50AF699FBE10C0748EBDA0BB61449237C3A0539A3E033531B7FE0321C2ED925790E8B2A69AA7EC1777BBB0158644DAA710F68E08535E,08D0A31A4E4ACCB940D9BA2C1B6DC34D5328783291FB3F0BEE6A6C97317D7B236495D67843D92902B4E3821318092BEA809950B6253EE70074],[199256A4015A2C15D48361E00E2960E0F4632F7748DC7FEE9F2C12987C4A775E4AA0D4C4725C7D4A1AF5980A2C010427C7AF4563E9B47148DE,14CEABFC6BD4CC1496A6F48F26D2DF66DA1F2AC245C0E91D9C243C74847392A660279B88191A03E301FC19D3C93322D1533B8C53F6486A10B6]] FP4inv = [[FB1D805FB0D22F3C6FE7CDC819D150DF3F17658E300B88046168021F1714BEDB6D392AD135386AEE082EC2D44DFD0B96DBBC9FCA89B765E1,197C4F2C5D0300B0483A21AECA45140D40C9B37BCC8F23007AF6C49CC46557BF4BDD4A3753F90491499943AB69F85A9B49E0C509A86BC5D85F],[25B60AFCDAF1A6868C69CDE54F8D40D12571C60F88F28E1AAF9A8A414BBEE92BF9C69E46E192148E266A526D87201F2718CA582107C7E2D980,0DB95FC5CDA7920B3E8CB0BF5E8E7F0E1C47EDF5EF02DB5BB7A68DCA77889EA1064C6E43E400AA6875B3D410DFC6FC3EA8D2995C6744EE8085]] FP4mulj = [[4A5563C63088E93F0FB93B2EA102DC1FD6FC74A162ACACB0665181BB093D33561B20669B426A081C90E0DE1581DFE63FD05B7B82F2BB8D4BC9,2F305DC55EB3D5A3B7B53C23916DF191842F585E93988252C332C1FCD61D45E53FBE9204F1ED3D30DDC20CF04E8D12F517B59063B3B17D952A],[02CA8A0A2B45D0676420706C73BAF40C908F9481E3FB1B3F6ED801AC73B1F059EBAD5CCF480F6AB92E73636C10F78DDFEDA2FFAB100D289939,1FA0BD308504AECFC8BAB2CEABAF5BD4666ADA982AFAFB541958BC90FFB2779C3B7A719024A4A26BA8C09DF70449DBE68686181CF2BA7402C9]] BIGsc = 0A4AB6D348DA0CBD2F715A1103851B343885009D8604F6D270FC9ECF74B680C5B99D6C8630F5857E85EF636062B8A52905534A4B68E99B370A FP4pow = [[25551FB6CFEED96678BBA2ADA752DD7B59BF6D12685A5BCB123875DB39994AB011326EE4FCB21228BDC5827AD6E01121151817C8B2023607EE,370C80738D611D1F18790D9AC1CB70E12C8CB7C752404F18C6DCDCE1BE2F80508FC151C51F2DBD04D6F362226642256FBD5D2C638404152212],[3C88993AECB3C7937CD2289DC8F93CC67213AF8CC45D759996A3830660B23ABB146C66ADE4D38AD015034C8D77A9F65B3661CE3FDC1FA6D81C,19DFD481140EAB6F5FC3F415AFD472D93BEAD9C60AB5B1B34012486BF0186A4528C31B7AD5E60741CEECFE9963977A35C98F53E95FB88FA710]] FP4frob = [[02CA8A0A2B45D0676420706C73BAF40C908F9481E3FB1B3F6ED801AC73B1F059EBAD5CCF480F6AB92E73636C10F78DDFEDA2FFAB100D289939,35B49C24D074A68761E55B40EA05362E99D48BC60F60220209F31CA8554A3B787D396A097008460172E6279251214EC2D02487E30EC58BFFE2],[4104E3553002B2DDB52E0F6922B59BDE931F0508B735B4EC22AFBD8214805056323801C55741294394F4C117C750871F7A114B8D9070D25FD1,0E2D9D2A30C43F1337C8438B8EBA69DFD019895391FCAEF8702D1E2F3C2AA970964ABA93633EC8F1F9FA153CDF699E895EEE03DC8674EF8E30]] FP4_xtrA = [[25F77B99834AFBC51423A0F9A8C3A816E0E5F1D6266A7BDCEED50B9E1B80131AC7563087EAD3FAF990A707762019176FB6BC8307DC143143A8,03E08D9ECBF98714F2937D37AC60555C6D819930DC889EAFFE8015D4D98F7F33B3302D4EC403A43BE9DFF06BED9993331DED4532EB2DFFE2A3],[540954139E89607AD46E1D2D0A8E712A4F40D1F72855B596EBCD07AD80DBE7B1A286F79AE50B588EB5AFF0D53C085EE6B476AEBCDCD792659A,1C09C03AD6739AF239EF1FBC3BE00E5985B1B72A665374E27EBB9106106F27F84F780C6230A068FBB9B6A166C0D692C8A3E6122697697AE0B4]] FP4_xtrD = [[1AEF64CC2FA8E6657B7EDC4087F5B71B4FA68B31319D3FAC6CF4BF20FE46664BE99A00F19B74A8BE9F0F5836B2CE03E182EF242A1F33A41C06,4888428DFF2070545150339B70E1A2AA5992C4A50C597E572EE5080C4F5E3539BBA17C684027BF9ADC3505BD3359165CECF3639C93341476BC],[30F2CAB86481E1171C35B845805D146AF35407FA0B96C5BFDDA1B7C3DC10C4228DFA730CAFCDB40B5F97F2F6849F67817487B7F4DF96C5BF20,114F56FEF89C9CC503FEF6C97BDA476DF9C98265505D33E21E4E98F099DEED6DE27C064323BC3B9AF5B926A69D970C94DE46E6BF125563B8AF]] # test 10 FP4_1 = [[209AF7EDDBE8E2E9505062D2223EE95FD278B14EB913EC0A049351CC0390B7957D986C1CC683B671D713FDABE33638049C19E8E46EFAD7216D,48E4FD04E483F7D56456CA8AB7782CD09F8EE02A3B96587B737BCF238B3ABD13790F265618F031468433D762227586E59D922A85C867F0C0C1],[0D344D87F75C19FD0C4635E9B813950DD90A79500FB6F7867BBCC9BF8991259EC969C84FEE556348C76B754CB3707C0FCEA6F8DC8A6CC5DB0C,31B61E4541870B2C3BF97E21168F7DCBEBB5FAC1C6BF849A69F57AB108DE29188D2A4159472EF56B15467A90C046347EB1BC320B4171C46E10]] FP4_2 = [[27440D1AD54CC3CA6A78099D72CDC806AC48925D14D65A46518401C4777203A2E586CEF20C67FD7913FEBBCFA755F8867E20F7A524C5FC5870,4105DF25C9C6F9CEE9294344E391C9DD492FB1364114B511DB12545E83AC77C6975EC51F8F6CEAF4AFE527EF36E5660F08008E04AD9ACCC0CD],[02D8D18632AFE95ED6EB4B32BE4F9D2415FA9BABE2E3371FF75954E7860E4138C3951BFE748720A67AC8E48E4350E2B12B15E675619E03A66D,0B7DE4D9DCEA9C1D4314E9700EA5D83B54543F458272C562D910576DD8C1E48D7E74706A18D6AFB7600CB563EDBE3DCA180008AE695AC13220]] FP4add = [[47DF0508B135A6B3BAC86C6F950CB1667EC143ABCDEA4650561753907B02BB38631F3B0ED2EBB3EAEB12B97B8A8C308B1A3AE08993C0D379DD,349582D558D19C4D22DFFFC0055564AAE87F2B02424FF0372B424A48B9EA81C557BA0FDC13B033CE187239C803EFC24B4EE8188A7482BD7EE3],[100D1F0E2A0C035BE331811C76633231EF0514FBF29A2EA673161EA70F9F66D78CFEE44E62DC83EF423459DAF6C15EC0F9BCDF51EC0AC98179,3D34031F1E71A7497F0E679125355607400A3A07493249FD4305D21EE1A00DA60B9EB1C36005A52275532FF4AE047248C9BC3AB9AACC85A030]] FP4neg = [[34BA61677990726DDA4FAB3D7375A8A32DC6B50F8147314C1EB8876D516BFB7F3B1B6F7CCE2931FB4492C7DD7234F2A4BA90B71B928528E13E,0C705C5070F55D81C6494384DE3C653260B08633FEC4C4DAAFD00A15C9C1F6013FA4B5437BBCB7269772EE2732F5A3C3B918757A39180F41EA],[48210BCD5E1D3B5A1E59D825DDA0FCF52734ED0E2AA425CFA78F0F79CB6B8D75EF4A1349A6578524543B503CA1FAAE998803A72377133A279F,239F3B1013F24A2AEEA68FEE7F25143714896B9C739B98BBB9565E884C1E89FC2B899A404D7DF30206604AF89524F62AA4EE6DF4C00E3B949B]] FP4sub = [[4EAC44285C157476107867444525B35C266F854FDE98AF19D65B2940E11B670750C578C44EC8A165DEBC0765914B6A2774A3913F4BB4DACBA8,07DF1DDF1ABCFE067B2D8745D3E662F3565F2EF3FA81A36998697AC5078E454CE1B0613689834651D44EAF72EB9020D695919C811ACD23FFF4],[0A5B7C01C4AC309E355AEAB6F9C3F7E9C30FDDA42CD3C066846374D80382E46605D4AC5179CE42A24CA290BE701F995EA391126728CEC2349F,2638396B649C6F0EF8E494B107E9A5909761BB7C444CBF3790E52343301C448B0EB5D0EF2E5845B3B539C52CD287F6B499BC295CD817033BF0]] FP4conj = [[209AF7EDDBE8E2E9505062D2223EE95FD278B14EB913EC0A049351CC0390B7957D986C1CC683B671D713FDABE33638049C19E8E46EFAD7216D,48E4FD04E483F7D56456CA8AB7782CD09F8EE02A3B96587B737BCF238B3ABD13790F265618F031468433D762227586E59D922A85C867F0C0C1],[48210BCD5E1D3B5A1E59D825DDA0FCF52734ED0E2AA425CFA78F0F79CB6B8D75EF4A1349A6578524543B503CA1FAAE998803A72377133A279F,239F3B1013F24A2AEEA68FEE7F25143714896B9C739B98BBB9565E884C1E89FC2B899A404D7DF30206604AF89524F62AA4EE6DF4C00E3B949B]] FP4nconj = [[34BA61677990726DDA4FAB3D7375A8A32DC6B50F8147314C1EB8876D516BFB7F3B1B6F7CCE2931FB4492C7DD7234F2A4BA90B71B928528E13E,0C705C5070F55D81C6494384DE3C653260B08633FEC4C4DAAFD00A15C9C1F6013FA4B5437BBCB7269772EE2732F5A3C3B918757A39180F41EA],[0D344D87F75C19FD0C4635E9B813950DD90A79500FB6F7867BBCC9BF8991259EC969C84FEE556348C76B754CB3707C0FCEA6F8DC8A6CC5DB0C,31B61E4541870B2C3BF97E21168F7DCBEBB5FAC1C6BF849A69F57AB108DE29188D2A4159472EF56B15467A90C046347EB1BC320B4171C46E10]] FP2sc = [033C6CACE612B81095298E53EAEF65B84CAC2F1D06FD58409D44FC25E6011E0E7E4A39A68AADB1DACE8EBA9787F3957D6518BDB593F10E9E3C,257A8638746285B339603D262451EA1B8E7694A99C608F378BE45FACA9DA3A19D1519764F34CE63AD2C459EB2A9932E331F539A887D8F391F1] FP4pmul = [[29554AD52ACC662C9D8BFDA5F8B999FFB1400BF69FD1231779A7376766074BD414C6F0D9D87A0606FD51C7BF571846A0B877512C3C4009407B,0E8ED89551C64B209F1B134726ABB48E3AAD36C7FDF145812CC764A4A527FB912B99540883847987654940E56CB98DBB32C1E51F17B89FF3C2],[3CDD0A36D19AD6FDD4F1A1345FD3C83A7734DC3F658B1A282B3BF797E20406946128A95063A7CEBDCC2953E8906CEFB2B2732962B3F6870B44,097245A875E29F37F63C11D9CF06084497539E71631987288D918CDE32F757F856CFD15DFC40E628D3156F7C42FC0A12FB56F77CAB9ADF922C]] FP4imul = [[2572AB5CBAC3FA2E52F34F3473187E55658008A9D2A1F457BF4A548021205B0340403A363C9AB0B93CBF9A6EFCA6782D78E95007E2519024D4,3AB773D6B252611E5CACBC735B4995409A4A14E87FCB4EFC184757AE9227C01E349D57D3CFB7607EE4432BB1E03393712B791EB4012776B41C],[218160725CC3948E43D7D727E2FBAB79A11EDD725313966436573E82811D9F805C042F35CC539521E7205A28F98931E4ED341FC0DC52F4B0C1,14BC51C4A260B9DA46A528DBDE84921C4828D0F8D8F416BF0926121AA6DFF2755AF90223994616A235387368176003258E48A265457FE7D139]] FP4sqr = [[2780FA9EB7C7A4E00CE20CEF6CE5C22C8983AF83AD97467E0A12346CF8AF64246AB20B1FD1D175A06AC4E2A5CBAB0A5FEDFBC0FC644D85DA8E,26184B0B8814C35744E5B4A6444ED477764F69F914C2038A9E004D772DD36EF8D4DBD4458B2FC631F70E4BCDD517EB4ACDAF4AF2CD0215D4D5],[1EA8F9203F445C0704DCAED84C6BD2CA28506390EDC43FE81BFF03649D0B6E8B88E279925CBAA9A4F5792287EDC42292CD50EAB28B6CE05989,505D87766B5C2EE49F26AB7EF7233004D304930F454C31F5BF642FE0636C742060EC1235934B6EFECC0AE3D33F592DEED7F81586380BD264F9]] FP4mul = [[3BC0EDA9CFEBC23E96A632231BBF24939D433337184E3069A1017B5FDB06B9C9E301548C3CA733D6C4F3E0CAA90915BAC642753085B66970C1,3985FFEFC8E4BB8255C19FB4DA5C7933F2D5EC3CA3AB3FF0D37D0DB0D8A4C1FC4AAE80CFCE518BAA63B91DBAF2BB5D9AF8B417C2092B529051],[5397A2207F5C2BD96E02205D62C0045D484B02FA22A7A3AC557BB1117F625EBFB21B59EC4327D6A436126315522045C9D52F97860B45AF609F,4B5A3AD559B0D7CBC5FAFC1BA3C898065D8C78990AFC8CE2789D40B69BA1F500B434E0483C9E656A43ED02C30ECD5C37A144602D45682CD310]] FP4inv = [[21E6A3768C72CC227B68C105A8BA92B1932DD56E24FFCD8C70AF65B0E5F31D8A262E882E94BC573C338250F76B7F47A2CA0A674BCE5C73E487,4897F633DE8C965276A7C0069CF409121CB6BF19FFB121FF249BB66AAD1C41572CB1747F93C4A4623DE9EE3858CE95E02B937E357D923CC2FA],[02502B0554076534536DB04B796954F7962EA7E2AE1393CAA83ACB852262A9F714969C82BA8A9D32584DD94512B4C92E977F6CCD201DCA7129,4DDE1BF512CEEECAAAE331A2DE378257754293AC4CA5E46640CBD5BB0ACAB859401A1CA9B5EB9841A938FC69CBD1E3169B13A25DA5531C73BE]] FP4mulj = [[30D388980B4E6427FAECC5D83738A944ED93E4EC8352904235132847D5AFAF9AF4F362903BD3564ACDCBC0454895723A739566D14A7B016FA7,3EEA6BCD38E32529483FB40ACEA312D9C4C07411D6767C20E5B24470926F4EB7569409A9358458B3DCB1EFDD73B6B08E80632AE7CBDE8A491C],[209AF7EDDBE8E2E9505062D2223EE95FD278B14EB913EC0A049351CC0390B7957D986C1CC683B671D713FDABE33638049C19E8E46EFAD7216D,48E4FD04E483F7D56456CA8AB7782CD09F8EE02A3B96587B737BCF238B3ABD13790F265618F031468433D762227586E59D922A85C867F0C0C1]] BIGsc = 3CCC07D6C27FAE37C34F4069B6467F7B6A7CBE11122E8AB167BDE1678C1CC27BD9FAB5AFF0DD75AEC5249E642C39D976B83C0F08C31B43D344 FP4pow = [[1D701DF43CE79F687D1DD687AFD4473AB7FACE1BD1375444B42B4F97D485071A6350D294F82D9A27CC074E032C1431DA35E0CA408A8FBE03CB,02DFAA4455BE470C42BC0538BA9236C962B4746237D2CB1B2834BAD858FED8C198E6DC8E5F1A26B1062473E50016CE5EC5E35C9642E4CF1985],[432DAE238AC7A96703DFFB5DE2909C705E468584F0D1411AAB464E4D287348B5431FD9C5D84003E3605BE802EB74059C342C5E605F26349D4B,2C49479A9E9A01419635B4782F823EEF342111FEB9233776A91FCEFF7101D09427D66C6C25F53F5B4A67415095D6373C2F0FFE28FCC88332B2]] FP4frob = [[209AF7EDDBE8E2E9505062D2223EE95FD278B14EB913EC0A049351CC0390B7957D986C1CC683B671D713FDABE33638049C19E8E46EFAD7216D,0C705C5070F55D81C6494384DE3C653260B08633FEC4C4DAAFD00A15C9C1F6013FA4B5437BBCB7269772EE2732F5A3C3B918757A39180F41EA],[136863D743A3C9CE504CDDE8441EB422BCB729568378359EDA6365F177D691616A1DEB799BFC72A8E07FCF0EE19FE9E3E417E7068D7AAE658A,3321D014516F4BDA2D80A2F1916CC20539D336F85138EB6E4AFF20D0447D06589DCB24DB71A2FB77DEE9B4EB2FB34ED057FA8CE5346D6F5E58]] FP4_xtrA = [[0BB4CE58D6E0B92C1074E4F624D5032D5A3F9B36DD3270650E23F11C94AFC00BF371A6F57D74C2D0A3689CD09F5B08EA8230123C4901F0655D,4C83B3576926EEB06663AD99E5FD7CECA16F1FB1CE2D2D00911186DDE6053844E57718752CBEEAFF6AC7601DB6570985BBFE15C81EC4C70BB7],[49D7CE88337982D896650FE336BD5FEA5C6700882356D30FB5345F651CF3A0FEE4DB44910BDE4C73D5F68E40AE30E45A14A05C181BB81D280A,53CE021C56187FB724483DD5A0E8B554704D104463420A24AB99D544147F5A55FAD23A6E1255C08DD9E94C08032FCB39DBD3F411FEED28B4CF]] FP4_xtrD = [[3BA06418556F346496E1555ABE1C816FE4D1B34475CA8BC024376A0E468AA80E28350E7FD976F129D843ACD75AA9C5000C728F3387D7D79A5F,3EF903AC69FF7E5AD1783BB000C79EDC37B07661124B8D3FFDA061A2C1575AFB54253ECC82A9347F25F4281C3B0332D23FE035E73F323458A9],[391194302DFC90011D691AABBC92FCE5DA6556310D322EF5137896E3B02DB9C91BB60A323965703684500D2154A51AB26A9EDC6BA0466C0FA1,091F115643779A8EC1D98BA1F8D90796A9F1BBD65E15007E4CB772CFCB2F602809D8DDB4F84F88FABF4A4DE2150F41998E1B399CB7EF5B3BC3]] # test 11 FP4_1 = [[51DE28328DD98CF493E416E0448D7954C3010E5B080498B1AFE1BF220FB7CA559BAAC8FC04B5649230ECC7770218303205BE5921B339852E47,37ADCD88822E208EE6E1A656AF353F0F1B1146AE98DEEE898BB514EFD188B97A6697864FB0176A4B2FA590A24D2297FC5684B109E72B57CE5D],[04CC00B9876B1318AAFD2E6218999138AFCBF1D7CF38775AC24467C1297F4C004DEED661CEB172E85DA63C4B81B0AC0D0B34A02422361992CC,41F4AF04B214A0689C3EA0D02B85F2C987DE790B5AB0EBFE91A190212228B387A731D42D8CBA274AD0A0314054A31B215CA01EA7608728B73B]] FP4_2 = [[3B369026AABAF1BB66FF483C2ABE115891082E7AFFDB1E222D35CEDED4FBB83044CA32DCB064CE1774A5577233D28495042FE2BE46015EB44D,442937F37B3E3BE42B3C5D19148C9B8AED361C9F68C2E041503D0BE70BDDFDE88F41B0E8B29E98BD5FB1F804C6966B378A9B7E483E60C13A28],[269627FD705E4332F83DC1685467766743329E8C33DAD05032EEA4932EB5C03FE399C8BB221D00B1DADF4A5B9E0469DBB045AA2E362005D998,4B2D876ADFEC082597E2D7CEE41FDABB998F5E51A1C6D71CB3C5AC9035B202EB617F219B18A501321E6137E7A280FBFCA9D3CF93DDF0EA4EDC]] FP4add = [[37BF5F03E31B2958D043510CD996F8AA53C9D677CD84997DB9CBB4C78FB6CF7127C1203F206D4A3C89EB595FE07F8A1DB3439BDFF7BAE3DFE9,2681AC26A7F3071BE77DF5602E0D48970807FCEFC746B174B8A6479D886A044E3D255B9ECE091A9B73B0C31DBE4DD88A8A758F52240C1905DA],[2B6228B6F7C9564BA33AEFCA6D01079FF2FE9064031347AAF5330C5458350C4031889F1CF0CE739A388586A71FB515E8BB7A4A5258561F6C64,37CCDD1A3C87533709816A8F79F13B82212E70FEC21CA5C5221B637802DE035E4FFD1A2F10B2400FD35AA39EA1B8EC74AFC94E3B3CF813036C]] FP4neg = [[03773122C79FC86296BBF72F512718AE3D3E5803325684A4736A1A174544E8BF1D09129D8FF783DAEAB9FE125352FA7750EC46DE4E467AD464,1DA78BCCD34B34C843BE67B8E67F52F3E52E1FAFA17C2ECC9796C4498373F99A521C5549E4957E21EC0134E7084892AD0025EEF61A54A8344E],[5089589BCE0E423E7FA2DFAD7D1B00CA507374866B22A5FB610771782B7D67146AC50537C5FB7584BE00893DD3BA7E9C4B75FFDBDF49E66FDF,1360AA50A364B4EE8E616D3F6A2E9F397860ED52DFAA315791AA491832D3FF8D1182076C07F2C1224B06944900C80F87FA0A8158A0F8D74B70]] FP4sub = [[16A7980BE31E9B392CE4CEA419CF67FC31F8DFE008297A8F82ABF0433ABC122556E0961F5450967ABC477004CE45AB9D018E76636D382679FA,48D9EEEA5C693A01E645574D305D35872E1A906D6A772B9E5EC3E2421AA76EA69009B1009225B9FAEB9A5E26DBF7576E2293D2C1AA4A9696E0],[338B32116C86253CDD5F7B0959E6ACD46CD8B9A9D5B8C460B2A19C674FC63ED52308E94041415AA39E6DB77939176CDAB19995F5ED9613BBDF,4C1C80EF27A1ED9A2EFBD710DD1AAA10EE8E8117F34532380127BCCA417363B0FE668E2C08C20E85CDE5BEE2078D49CE0976EF1384163E6B0A]] FP4conj = [[51DE28328DD98CF493E416E0448D7954C3010E5B080498B1AFE1BF220FB7CA559BAAC8FC04B5649230ECC7770218303205BE5921B339852E47,37ADCD88822E208EE6E1A656AF353F0F1B1146AE98DEEE898BB514EFD188B97A6697864FB0176A4B2FA590A24D2297FC5684B109E72B57CE5D],[5089589BCE0E423E7FA2DFAD7D1B00CA507374866B22A5FB610771782B7D67146AC50537C5FB7584BE00893DD3BA7E9C4B75FFDBDF49E66FDF,1360AA50A364B4EE8E616D3F6A2E9F397860ED52DFAA315791AA491832D3FF8D1182076C07F2C1224B06944900C80F87FA0A8158A0F8D74B70]] FP4nconj = [[03773122C79FC86296BBF72F512718AE3D3E5803325684A4736A1A174544E8BF1D09129D8FF783DAEAB9FE125352FA7750EC46DE4E467AD464,1DA78BCCD34B34C843BE67B8E67F52F3E52E1FAFA17C2ECC9796C4498373F99A521C5549E4957E21EC0134E7084892AD0025EEF61A54A8344E],[04CC00B9876B1318AAFD2E6218999138AFCBF1D7CF38775AC24467C1297F4C004DEED661CEB172E85DA63C4B81B0AC0D0B34A02422361992CC,41F4AF04B214A0689C3EA0D02B85F2C987DE790B5AB0EBFE91A190212228B387A731D42D8CBA274AD0A0314054A31B215CA01EA7608728B73B]] FP2sc = [067C33250F0853FC37A3F0D8202A17D4E4B174DAE5E02C5A039AE7DF9DB4C16EFA32CBCDB1A780C6C7D2DA698CA4DAB0F5B677707927AAF77A,1D37F025DBC2471D0BF50412782661F3645CD29CCDE0175D53CCFD91656A36D712C09979B073EDF49E213BDE256E194E523ED3E4CB24CB5AA8] FP4pmul = [[13CD44C435BF46C9D1E702B7AA04CFB3FBD2D11016E19076C4165C5C02650EF4717B23DC6DBBA66572E4916BA88A01F8B8ABFE5AE40120EB28,2CDFB8D62A73B972EC3118CE8C9106FB6109CCF328859781D5416CF94F1F21BE299EC11A5A527D0694D1132F3F4227F9FE8CDF8C77FAFE4298],[54C043B290E524F05AFFFF5031810D5D1DBAA044F3D6DE57B3101D35CFBD0BF30274C30529320E8B00F57265612AB756CDE1FD03C25E0B33D4,3B8FD1D77141D9B5BF0485B0950E2437B6239392D97C8F54203ED3E901C7B470BBAECA20067D998362A8618B5FC8D6127B6C0839C2D52618BA]] FP4imul = [[32AD6DF9893B817D474866366A2D9B349BCFF63E42F9EEE9A126D450A04B9B9D96592171F501C1DFF062D8D2142D62002D6FDB50F2BF33B6C3,2CC9EF5514F5458A05102B0555D90A850D305C9C9A92A15AA14BBA06316B0C4BADB4198364DCB461368F051F02D6EFE3592F2A62FEB16DFFA0],[2FF8073F4A2EBEF6ADE3CFD4F5FFAC36DDF7726E1834A98B96AC0D8B9EF8F8030B545FD212EE7D13A87E5AF310E6B882700E4169561CFFBBF8,3E3964D99E7CEEB3F011E5B49B4B7DCA4CF4EDDDF26B6A96B93CB0BA02AE1DBB7B0748946E8B2DF064B285C1F870E4AC3F96D289BAC79715A1]] FP4sqr = [[37F6B7C6EBC6FDA4DCFC2F8E9C82B50E1E1B34DC452A963ED267AC80149A2F379CEC5FA045C44FDDB32832184737B5F70B35EF09B8C9591123,47E387754B9E3113AF5D7C10EBD6AA8058FB5E7C84A5C382D44AEE13D9BE2B49642B61665EB08B9813BCA6C7E9CB62899CB67ED1B5651405F5],[1149E8C3FD4C48E1FF7244DF148EC6A7FE177CA762C385EA162F20EE2F52B69074467064880C7BB8F00F4CC52649BB89598155301B5EEDF696,29E8A96BFC20A08855B679B214FF9F8AE61F6FFAAF71E1B7F82A812F70CA455021F45C39C1F264644502FF36F6A12FC6CFCA08CFD8D202AA82]] FP4mul = [[4EABE2A56AD2247B9651F5698CE25399321C7292D6FD0F20457476CAD74E78D75825D0BAE4C06E9C2D2A43563052DE682341374CAEB3BF39BF,0AA31FF8D9ED86B9B388B03407275299BB91938431570D94B903FA6C46EAB788B602E9DFDF45D82FA10A88E3276BE86449C75A67198F215521],[0E51025A27FB7EA305E09C5D803CF3010D2D10320D9C43EDD3E4E37001DB4F1F18C4E28E184770B24A76EE48B3D1EEFF2F39B5880248F1A9A1,18A6B4C6ADB32D57DC5C8169390447BED0A4299802047218BDC8816A16A327246DA50DA4A0C53E62B617651073AAE97C4D1BDB104A3581BA45]] FP4inv = [[0764823E6C803B5C1BAD58193F2C9527FA7BA3C2C7126D67C12E24DFEC3B1075826AC218E541266CE572841988D8E1087C0AC4FCFD42D08DFB,25E2914C6E7584B3E0C0DA90C6283BC0B57B033AF70A538D2ABF70C076AD8046A4DED7A38D319A9632163EF9FFA8E4642DC52A7AABE71C7755],[122547B4AF66665DABD99E654C306BB19CAAE15F1F5514F154C8078E31DACC08550A50B18232223FE49F98276663CCFC3C863123D6FD68DEA8,22FCB0213A85AFAF4FAF3976AD1C4405795C655681975393215E75C7CEB9AFC7BAE0C30DCEB2E8A4460A8604622F678E8DA432876CAE52F2D9]] FP4mulj = [[182CAB0A2ACFC807395E9BA182C83072282CDF2AAEE2A8B253EEB0D95C534B8D5F70DDCDD6A4340AA8ACD0948278BB95053F217CC32EF0DE3C,46C0AFBE397FB381473BCF32441F840237AA6AE329E9635953E5F7E24BA7FF87F520AA8F5B6B9A332E466D8BD653C72E67D4BECB82BD424A07],[51DE28328DD98CF493E416E0448D7954C3010E5B080498B1AFE1BF220FB7CA559BAAC8FC04B5649230ECC7770218303205BE5921B339852E47,37ADCD88822E208EE6E1A656AF353F0F1B1146AE98DEEE898BB514EFD188B97A6697864FB0176A4B2FA590A24D2297FC5684B109E72B57CE5D]] BIGsc = 1F923E86B2C033D51949F69B0A8891750DB412749D74B284D507551D3DA74E0B7EC72279CA11ADBCB38479BD41F35B539F2C7179894DDB9EAD FP4pow = [[153E656AFFA409446CD13DC05A1D70C120D442377C3739A3775BED63B5617FAE7F77CB6094DD8D16303875B433FECADB2DE26C8E0E81B47E40,531BE9EA8D259A592179B8FAA5F441F546917B656B0B5BBBC561D427D7364956579364AAD388A152054E2B16E25B661BD350DD5E20D1A0CCEE],[4117A4859B4C8A7655C81E359EAD34E76638B6C83E944AA7A4EC012359FCE217D1F12A5086DBF8A08325754C97D158DB8D4A77E58BC59A511E,2928904D35FD9201688C09ED5D730480308A5DFB13FC4B0899E1012F38537322C7FB15C420C163ABB07BFFB82A4A0226D2A651C0465CB35A2E]] FP4frob = [[51DE28328DD98CF493E416E0448D7954C3010E5B080498B1AFE1BF220FB7CA559BAAC8FC04B5649230ECC7770218303205BE5921B339852E47,1DA78BCCD34B34C843BE67B8E67F52F3E52E1FAFA17C2ECC9796C4498373F99A521C5549E4957E21EC0134E7084892AD0025EEF61A54A8344E],[038746E2FC596D3836742305DFDE73BF559396096DFA4D500D17F8ED52366E450D4888A8CF7CAC6F2FE229778BFB6990D692242DC43CD86D61,3E8157133FBAAD25B46C0A1A5C236592A0DDF71EC4370684D3E4A738E39B48C5F41F855F10C7180BFC5F57473CFE5E9724BE4B6679B6531856]] FP4_xtrA = [[4DBC63AFDAC2AD8D00F22CBBFC78CC30D6A6846772AC3EE9E234F5017F850C9489740E29B474A5DBD01D49E2F347F9C83E4BDBB4EFC57B7954,1CD1DF6255FFEC05FEC9CF0B17A3927F759DCDEB84FCE31509020C60C2F46CB935B147DC9958A3839CEC70F8D2F7D53E0D2C8832213204FE73],[21CC5C8F113D1B931FBBED42BF244F5B62F2DCC8FFEC4CAF094AE5E0B97D8F1823DABF64D2B8B0A5A9BD041DC650DEAF77054BA1B4F096B435,51722377DD79D1643CEA514C321B5123D5BC52BA01A1CCA60C4EDAB121BC000E9099A5762438012F22BD0FF25A7C194C283175F39517841A80]] FP4_xtrD = [[3EE51A0C7B068E6A0A741DED3ED0E66A9897E4E2A9D79F87B93BE0AE9F2400B5D6FE84DB65B35793889C2E3CEDDDAAE5AD0E7CC655564EB9EB,2DDD45B99CBB454D0C3A3D732320BE652318377D8D4303C5E02C9D6D8BA96B694FB03060932E9F6ED0184B0CA4F15D3A4657BCBDE88E646BE6],[1AE1EA370C226F13556CA1A345C1E9195DAF60570134749F9AB7F07082514E9110241D28256F6189AB5BC55C29AB13A36FEA95785FCB211C2E,032754CAB55736AB38F39F3340A26117F55D9554F01D7F08D4D5EEFF0B224635FEF04D61B20CE21FAEF5D6A4F51110B6DBB5061E96E05413A2]] # test 12 FP4_1 = [[00,00],[00,00]] FP4_2 = [[01,01],[01,01]] FP4add = [[01,01],[01,01]] FP4neg = [[00,00],[00,00]] FP4sub = [[55555955557955572aa00e0f95b49203003f665e3a5b1d56234bd93954fcb314b8b3db9994ace86d1ba6c589556b2aa956aaa00001800002aa,55555955557955572aa00e0f95b49203003f665e3a5b1d56234bd93954fcb314b8b3db9994ace86d1ba6c589556b2aa956aaa00001800002aa],[55555955557955572aa00e0f95b49203003f665e3a5b1d56234bd93954fcb314b8b3db9994ace86d1ba6c589556b2aa956aaa00001800002aa,55555955557955572aa00e0f95b49203003f665e3a5b1d56234bd93954fcb314b8b3db9994ace86d1ba6c589556b2aa956aaa00001800002aa]] FP4conj = [[00,00],[00,00]] FP4nconj = [[00,00],[00,00]] FP2sc = [00,00] FP4pmul = [[00,00],[00,00]] FP4imul = [[00,00],[00,00]] FP4sqr = [[00,00],[00,00]] FP4mul = [[00,00],[00,00]] FP4mulj = [[00,00],[00,00]] FP4frob = [[00,00],[00,00]]