| # FP4 ARITHMETICS - CURVE: BLS48, Modulo = 0x0fd17d842ffcfc5b23729047a56c867152acd4420536f405da950aecd56b379b89413016a7c025a415202086876b2ec137a9870d4228402967009a661df9eef6e60ffcf6ac0b, BIGmax = 2^560 |
| |
| # test 1 |
| FP4_1 = [[060AA4EA66AA8A0A204A8F6811C000F5D1014E9C2E3C1AEC016721FB6E220F2103E18B96C9B9B01D540AEBB7B5633C7C3511017C7091E479E29FA7BDC63A6E0A5420BF79D270,02CBC56E459E4590C0B3D7B9E2020AAAF36AE973B06255FE84A584A065629DF86668BAA703CCEE28EC6B1F0E67E288A11E88CDDA35473C7529BFBBC77348B456CFAA010F2078],[07F7D04B0EB6BA50E8A2FC451C3351AC9BEBE396B660C665A8B4EEE051984ED035AEB264E466B34FDEE36D72D60E593AB8FC60CF49D5D0A633DE7C9189B33A52F7F8095FED8F,045CCD79AC19DB0C83DC3E98C7BA266FF75017CAEB891C4A67C3389662E604A0668232638A04DA41E14D38BDE4DCAD6705F76926CF59088F74ADB17A9274719CC14547ED4790]] |
| FP4_2 = [[0DA0E5CAFADCB56085BC42A34A45980C4CFCBE8E8C9F5AA27ABC1DBFD2054AD3986A277C1ED0DC81DD3EA37EEF340F8EF70CCA66C45501B7695DA83E82854360B499980DE88B,0B24E4E71865E5BE731D12463CB5BADFA4B917D3FBBF16D1EB00C1BEF4AC4DC61C4E64ECA9EE19BF3D0E68AAC4264CD8F9084ED98EFA5F13DD1A56A0FA83663611CE01F63996],[0F20A4AF51EEAB676FABE426BA02F4342FBB625D345E38723B7B9DBB1A4B0A22B572C01291DE685B1F58232F814E1F5D118ACD38BB6F0A02F75B8189F889CFB856E6263BC57A,0D85D67C7533936F022BAF049CFF9A5BF078ADCA43D598C7A48744554C3EF5F63F55CC389E88C8B0879F16BE5595FB486CA13117CDACADA6BBAD9AECFBC52569CFC5A1E0DECD]] |
| FP12_1 = [[0C01F90ED4CEB4B6AE67847D636338F8EBFA0C7EBC0934F32CCC63AB3DFA28A10AD71C730309F98D2CA2A8FBCFB245C8B54ABD98A464D4CF36BF9E07A86DCABE02BB3D0ACE15,061BECC6ED41BF1986928B60A8AD0758B351F404CC2ADD8DE24A655ECF15EA9BAB0ED9B1D77707F8E10403C123691DAE8A5569DC274C0FD961DBD9176D32E9370EAF2AB34C2A],[0D5868275DC7815D91C01BA3A3CDD99330E0ADD223A2AE6E0CB2E3852949889E79F5D64B87179A5DE4BF14C923A3943617E42CD20FC16CCC904924B1DE86D85176E955EFFA13,0DF4116E96724798068B3AFC6A490AF5E10E17D936AD9B327B81A56C6248440335E3ED3A798FA8E3DD12F7E9FBF010CE116A3A46AF9C5EEA22256DA7E42707A30802350C96BD]] |
| FP12_2 = [[0C01F90ED4CEB4B6AE67847D636338F8EBFA0C7EBC0934F32CCC63AB3DFA28A10AD71C730309F98D2CA2A8FBCFB245C8B54ABD98A464D4CF36BF9E07A86DCABE02BB3D0ACE15,061BECC6ED41BF1986928B60A8AD0758B351F404CC2ADD8DE24A655ECF15EA9BAB0ED9B1D77707F8E10403C123691DAE8A5569DC274C0FD961DBD9176D32E9370EAF2AB34C2A],[0D5868275DC7815D91C01BA3A3CDD99330E0ADD223A2AE6E0CB2E3852949889E79F5D64B87179A5DE4BF14C923A3943617E42CD20FC16CCC904924B1DE86D85176E955EFFA13,0DF4116E96724798068B3AFC6A490AF5E10E17D936AD9B327B81A56C6248440335E3ED3A798FA8E3DD12F7E9FBF010CE116A3A46AF9C5EEA22256DA7E42707A30802350C96BD]] |
| FP12_3 = [[0BC20162A770C9AC52BB7B6C50B2EE70B6ED37588E81825CFE3FA345F6A92350BAC5EF3688CD22A25002F026FF6BCF9AAEBA63309E455E85F1CA3963A9D39F2A48B27E76B1CA,0D920BD78EC484BAD73CCF27CE7F00C7181E4C321F0050864DE8B7B3887FEB096BC57F6B2A369C5590383A8752627A2B15E4B624252D5DE5A6525275F3E0F4DE4ED626F886D4],[051F0C0F67308FD30EC51B1D1DFFA1103D9836B6AD5B70142114E3304999F9A0702F3E0EB3CC78F2BB1C5E77E907A4AEEA9E6E13D9AD57ACC8328C68AEE424BAB5998C89F9DA,0BFE954430A816C0C104A0B16D3880CD5D947DBCD7D9C107E8FF7B9B76F1F10C8AF4F2371BD48CE684CE92901C18A00D1900FE01E6233D14B31AA5FE28A3230319C83F7FE377]] |
| FP12_4 = [[052077996E8203069886B28A1FA7258647C64A7A74838B918C54058BDF9446D065E1022AA95ABE79EF59F68EA987BB38F3A3AF8A796429410EA2536F0DA03EA8C7C24309738E,0F8D17D34FC57D92C16EE43BF354E7E74D043FFC47C6E89B76B46E642768B29FA6C493EADDBB3E1525CDC69EB175036E38B55B06FE89C698AF142263225340C587EFBB0C25C7],[01B0B72599B048BB0A277801C7B6FBDE4EFFE8F2E3060593B8E0F89DBCC767D3D6CAE3A4044F52BB3C7C9ADD70E0C92A54AD2E6DA2F7289FEED90D2A9FDD59A8E02E32CCF74A,0D3B36A9BE17BBC589A9117690D4FA9B13A0E9B117FE61A17BF66FABB61EB1B6D11BBDBCA98FECCEFC43CC22EEDA771E785881A26CA987C1DB46C558705E32258E39FDBDA2BF]] |
| FP4add = [[03DA0D31318A430F829441C3B6991290CB5138E8B5A48188A18E34CE6ABC2259130A82FC40CA66FB1C296EB01D2C1D49F47444D5F2BEA607E4FCB5962AC5C27422AA5A910EF0,0DF0AA555E042B4F33D0EA001EB7C58A98240147AC216CD06FA6465F5A0EEBBE82B71F93ADBB07E8297987B92C08D57A17911CB3C4419B8906DA12686DCC1A8CE17803055A0E],[0746F77630A8695D34DC502430C9BF6F78FA71B1E5880AD2099B81AE9678215761E04260CE84F606E91B701BCFF149D692DDA6FAC31C9A7FC43963B564431B1468CE32A506FE,02112671F150722062955D55BF4D3A5A951BF1532A27C10C31B571FED9B9C2FB1C96CE8580CD7D4E53CC2EF5B30779EE3AEF13315ADD760CC95AB201703FA80FAAFAECD77A52]] |
| FP4neg = [[09C6D899C9527251032800DF93AC857B81AB85A5D6FAD919D92DE8F16749287A855FA47FDE067586C11534CED207F24502988590D1965BAF8460F2A857BF80EC91EF3D7CD99B,0D05B815EA5EB6CA62BEB88DC36A7BC65F41EACE54D49E0755EF864C700899A322D8756FA3F3377B28B501781F88A6201920B9330CE103B43D40DE9EAAB13AA01665FBE78B93],[07D9AD392146420A3ACF9402893934C4B6C0F0AB4ED62DA031E01C0C83D2E8CB53927DB1C3597254363CB313B15CD5867EAD263DF8526F8333221DD49446B4A3EE17F396BE7C,0B74B00A83E3214E9F9651AEDDB260015B5CBC7719ADD7BB72D1D256728532FB22BEFDB31DBB4B6233D2E7C8A28E815A31B21DE672CF3799F252E8EB8B857D5A24CAB509647B]] |
| FP4sub = [[083B3CA39BCAD104BE00DD0C6CE6EF5AD6B1644FA6D3B44F61400F287187FBE8F4B8943152A8F93F8BEC68BF4D9A5BAE75ADBE22EE6522EBE04299E561AF19A08597246295F0,07785E0B5D355C2D710955BB4AB8D63CA15EA5E1B9DA33327439CDCE462187CDD35B85D1019EFA0DC47CD6EA2B276A895D2A060DE8751D8AB3A5FF8C96BF3D17A3EBFC0F92ED],[08A8A91FECC50B449C69A866079CE3E9BEDD557B873981F947CE5C120CB87C49097D2268FA487098D4AB6AC9DC2B689EDF1B1AA3D08F06CCA383956DAF2359918721E01AD420,06A8748166E343F8A5231FDBD027128559843E42ACEA77889DD0FF2DEC124645B06D9641933C37356ECE428616B1E0DFD0FFBF1C43D49B122000B0F3B4A93B29D78FA30314CE]] |
| FP4conj = [[060AA4EA66AA8A0A204A8F6811C000F5D1014E9C2E3C1AEC016721FB6E220F2103E18B96C9B9B01D540AEBB7B5633C7C3511017C7091E479E29FA7BDC63A6E0A5420BF79D270,02CBC56E459E4590C0B3D7B9E2020AAAF36AE973B06255FE84A584A065629DF86668BAA703CCEE28EC6B1F0E67E288A11E88CDDA35473C7529BFBBC77348B456CFAA010F2078],[07D9AD392146420A3ACF9402893934C4B6C0F0AB4ED62DA031E01C0C83D2E8CB53927DB1C3597254363CB313B15CD5867EAD263DF8526F8333221DD49446B4A3EE17F396BE7C,0B74B00A83E3214E9F9651AEDDB260015B5CBC7719ADD7BB72D1D256728532FB22BEFDB31DBB4B6233D2E7C8A28E815A31B21DE672CF3799F252E8EB8B857D5A24CAB509647B]] |
| FP4nconj = [[09C6D899C9527251032800DF93AC857B81AB85A5D6FAD919D92DE8F16749287A855FA47FDE067586C11534CED207F24502988590D1965BAF8460F2A857BF80EC91EF3D7CD99B,0D05B815EA5EB6CA62BEB88DC36A7BC65F41EACE54D49E0755EF864C700899A322D8756FA3F3377B28B501781F88A6201920B9330CE103B43D40DE9EAAB13AA01665FBE78B93],[07F7D04B0EB6BA50E8A2FC451C3351AC9BEBE396B660C665A8B4EEE051984ED035AEB264E466B34FDEE36D72D60E593AB8FC60CF49D5D0A633DE7C9189B33A52F7F8095FED8F,045CCD79AC19DB0C83DC3E98C7BA266FF75017CAEB891C4A67C3389662E604A0668232638A04DA41E14D38BDE4DCAD6705F76926CF59088F74ADB17A9274719CC14547ED4790]] |
| FP2sc = [06BD2E990B90F7C011C0CD084C3EC3120426FED422EE2855C083C081EBF7F245FEBC768B0F15EBFDFF28EE1AE739852DA9F5E973ED1A13F54296EC2B8915B40274F2ED5344EE,01B6B167331761EC4448302C5A098AF6D455997D5379D8E2DEF8332841A17F7E62E682D29707A3707BDA79C498AC1D5ED40566A8512DC6E6D9460608CAF7B7E832E6B2AF82A6] |
| FP4pmul = [[0EAB8C2F5B44D7FF56676E6E88A1E82579ADDE6F1D5EB8DA88333EAA0DF7B3065EBB5DB7EA64757BB877FA9F9F621C8B942408B1580453BAFE9697AF66BD315CE20B9D0CF968,0CF1869EF73D8E1801FF86F195535D30751F03DCEF684019E3FE4D65EDC6657965D39012B9FB7D657D5DABA078211631220D12F4A90BA39EAAF934D8CA8A65B941C8B590B07C],[064C463172FE5F79A74D9913678856552C6D8120A04B61EC7538D638CEB93FE528AD3CAEF65A05257521573C0A5688CA2131469E65F6AA0E50BC9D70246A9EE93238EA5E99CC,0E1E709EA1B1CB8C2DB7A8EC05EE7552D8A422F94F27678109C84336A598E1167734BAC6ED4E32A5633D86D29F29983EE4BA9C917F74E65E9EBA259343C71949BE443FD23815]] |
| FP4imul = [[00,00],[00,00]] |
| FP4sqr = [[0E6B4F53B4A9B91DDECB005D862E7B285FF0E1F492A01D82816611BDE75E7BC9FCA2EF47ADF7E052F0EE214CE37D913AFAEEF0FC6626EF0B0CFE85669E8EA64D2671FE5286D3,0CAF358B35D220BAE47BBCE9F87069ADCEE8BE224BAE25A59E2793B8F3E4F621DE74FA4416220FEA746B4C516931A5CD0310DB654D37E1A57B04DBF6839FE9BBEEBCCF5AC1C1],[F8B2A0FB3B5EF04E6EAAB4AF7D4F62A80CD2769C911053E5D357B9ADE3F1DA7B16385C3F3FCB7B08124300CFDBEDE84F00C277DA9684C8B71B42B8690A376E9C65D9C67A02,0914F6193AD7C396D0A50B3D4690CEC85C6B956857D87D60FE908800C483E1A5837AF505048701E676FD52DDCD8D962494252E43C7B74FF1B68D74D13E299925E488F05F4FB1]] |
| FP4mul = [[0A1101BAF4BAABF823BB2D6C892F6A166AB8F3F67E01DD634A9ECA8232E8EDEFF779E73FBD7848DC53FD78EDD31605119044F3744ADDB0215AD4FC340621B066DC954483E90C,0F31D52B1CF7CB70531A5945DB10BB90054B4576C240C5C7C6BC8C89AE86C6D1A90FA4EA0ED78F14FE3FFA31F6F7366A11D1BB45D97B2F77D65D9F5A67F228D78C5359C79234],[051F9F66D72347A495E11CF23C740C41479D8D59E424A0AE440B3FEBB86DC68C4BA284CB7BC39C1678F8B69054988B267D55931F703F0E68C4D559B30F046A77737D2F84981B,0318D104AD725C7E5DE7029012D327A70BFE00465184508AF1E521FF86A6B654B6480E6D8EF98C85BA9D81C0C65BFB3A652D8088666AB5967256D9E657C68B97975B33489A7E]] |
| FP4div2 = [[0305527533554505102547B408E0007AE880A74E171E0D7600B390FDB711079081F0C5CB64DCD80EAA0575DBDAB19E3E1A8880BE3848F23CF14FD3DEE31D37052A105FBCE938,0165E2B722CF22C86059EBDCF101055579B574B9D8312AFF4252C25032B14EFC33345D5381E6771476358F8733F144508F4466ED1AA39E3A94DFDDE3B9A45A2B67D50087903C],[0BE4A6E79F59DB56060AC64660CFEC0EF74C5BEC5DCBDD35C1A4FCE69381C335DF77F13DC6136C79FA01C6FCAEBCC3FDF852F3EE45FF0867CD6F8B7BD3D694A4EF04032B4CCD,022E66BCD60CED8641EE1F4C63DD1337FBA80BE575C48E2533E19C4B3173025033411931C5026D20F0A69C5EF26E56B382FBB49367AC8447BA56D8BD493A38CE60A2A3F6A3C8]] |
| FP4sqrt = [[0C5B327C5BC4B03F6A4AFD132AC955896FF7F06D65B0143434164ACA7765ED7E82BCB6AC5F186BE9856314A99F39E5826C1FEA814A48F7D8A62CF8812D118FBC87FF7AB8C588,05FF6B546A2B11F94DC842A689999A382B7D0446284E8D86DED8793B29A0B375A89632F371A4BE06954F574579DD65B9661859219708E40313AD75187C472EA03B7FD232754A],[05125E15CBD1B691F95817AA10116C5AA4D3CD802F0E2FDFE8E0214370FA6799F42DAA0B8B1A1C075CAA498769CD3F298033B069B18ADDD8AA543BD304DF4D6DF3CB88BF2A65,0DBD1049E3ECF67047D0208B3088ABF116BC3CBD14948F6D1B920312BE5855B031A0DDB863459BC8FAC2520D9F821F9529E47B1FFE95E59205111E393B0C71735AE6A852C268]] |
| FP4divi = [[07F7D04B0EB6BA50E8A2FC451C3351AC9BEBE396B660C665A8B4EEE051984ED035AEB264E466B34FDEE36D72D60E593AB8FC60CF49D5D0A633DE7C9189B33A52F7F8095FED8F,045CCD79AC19DB0C83DC3E98C7BA266FF75017CAEB891C4A67C3389662E604A0668232638A04DA41E14D38BDE4DCAD6705F76926CF59088F74ADB17A9274719CC14547ED4790],[046B352C562467CD707F3390F9E105D062361C07EF4F38754306534DE9C2568CB525231EE6C34F23203B05630EA2E28EA9CCE7AB52EC9077862FB1C29CC1913091E560447974,0E320DC61F76DA1E73A734708D8D8B4BE3E1A1ADC64A118F1C343C3F510B7F073A84C79EC4C9C4A9E1503A31E0AAD4D3AC656D3C2482EC270A90A46AF481121D23D49DC1530F]] |
| FP4div2i = [[1E2311ED707846ADD3684292FA1CE7E52AF2EB678A98C576D4D2D3CDC56604E21C34B3210D40FBA8A6BA5F24B183B43A4F3A915183612300BC5EBCF56C85AF09E015C92F13,08B99AF35833B61907B87D318F744CDFEEA02F95D7123894CF86712CC5CC0940CD0464C71409B483C29A717BC9B95ACE0BEED24D9EB2111EE95B62F524E8E339828A8FDA8F20],[08D66A58AC48CF9AE0FE6721F3C20BA0C46C380FDE9E70EA860CA69BD384AD196A4A463DCD869E4640760AC61D45C51D5399CF56A5D920EF0C5F63853983226123CAC088F2E8,0C929E080EF0B7E1C3DBD89975AE902675166F19875D2F185DD36D91CCABC672EBC85F26E1D363AFAD8053DD39EA7AE62121536B06DD9824AE20AE6FCB08354361993E8BFA13]] |
| FP4inv = [[589CADA3F7E685DDC00109A4F346BFEC7046FCF91B90ABEDD18A488DF4D643F700067E59BC7FFE6CDCED4D68E8D32B66E7D5CAF47618D2C93237059EBB104CC9D130CF6576,0EE50CB4F5A2D5DAB9D402CBF528817D296E1DC90E28458806161F01E52EA6E44871FDA2E70803A2EBF42B62E941030818B8BBA112A260FCA7A2D74F954E1CF2B1A6D40A18D5],[0BEEA9548A53476E981E913A2ED6B6CDEAAF5184FD04E15886204A13433FCC23E5A3038B11D439ABA68B5CBDCF44113B25E9612FF1214937C6AA1619B2D743B6522F3DCC43EC,0786491843ECB35A9CB8023601060FD56186B439F644438A990F4DD2577E5AE789673382F09D8C73C9E1D77A04DF4293332057E9737A13A59E54EED41C9B19372592A1FDFE4B]] |
| FP4mulj = [[039B02D1629CDF4464C6BDAC54792B3CA49BCBCBCAD7AA1B40F1B649EEB24A2FCF2C80015A61D90DFD9634B4F131ABD3B304F7A87A7CC816BF30CB16F73EC8B636B2C172A5FF,0C549DC4BAD0955D6C7F3ADDE3ED781C933BFB61A1E9E2B010782776B47E53709C30E4C86E6B8D91C030A630BAEB06A1BEF3C9F6192ED935A88C2E0C1C27ABEFB93D514D351F],[060AA4EA66AA8A0A204A8F6811C000F5D1014E9C2E3C1AEC016721FB6E220F2103E18B96C9B9B01D540AEBB7B5633C7C3511017C7091E479E29FA7BDC63A6E0A5420BF79D270,02CBC56E459E4590C0B3D7B9E2020AAAF36AE973B06255FE84A584A065629DF86668BAA703CCEE28EC6B1F0E67E288A11E88CDDA35473C7529BFBBC77348B456CFAA010F2078]] |
| BIGsc1 = 038E130B757D36468D2ED94FE6BD0D52EFBD5BE0DB9633BCAEC9D762DC4670247FAC956B989AD2540717B41C22E3C748AF4CA0AF489C53323EED79F755A9007A8082866CABFD |
| BIGsc2 = 19 |
| FP4pow = [[0765400A1C84E10CDD2A3A7CF2CF5650A2512005D9112A6E918E48FCF211ABD21B83523BEF81139DC884CBB32DD4603557BE618A1915E081F232C2D23EC362545B5F4F5AE57E,0B1909E31B3615F55F53B9E9E057A9CA13E029760C3BBED24D67D84C848EFC57025FEA18053494A522898AAD0EFE96BC198759564BB1119A25913D7C2BB81D670FF84DD86228],[0F00C9A3C20414AB060A9CB82D7A3ED57A11C3D982C3BBB83B0A06977B8A4FBBF70B0B851614F10E4FB23F290608C6CABA326CCD07BAF0F947FD28DEE65ECEA6EE83B5F1DEEF,5B24DF4DA71835389F5871B506D1BDE103D8A070BFBF38F10D9DB12D5E99D759E777DD4FEDE26001099029305C2F4DBB1204C6E121E7DC6950C9EE5F57D9F09F68C09A02B8]] |
| FP4frob = [[060AA4EA66AA8A0A204A8F6811C000F5D1014E9C2E3C1AEC016721FB6E220F2103E18B96C9B9B01D540AEBB7B5633C7C3511017C7091E479E29FA7BDC63A6E0A5420BF79D270,0D05B815EA5EB6CA62BEB88DC36A7BC65F41EACE54D49E0755EF864C700899A322D8756FA3F3377B28B501781F88A6201920B9330CE103B43D40DE9EAAB13AA01665FBE78B93],[014BC1B771A4FCB9F5391B409D5C53FF84F18C3EC3D55DE99F5B1692305C04487E0C6FBB0A47D26D10458D6D2E862F871B8FFE9D9EE7D502F105FB5DFE9C4FA33F74C63633A0,04FBF5F9F5B7E955A33DCBEE54D7BA5FC752A18FC84BFBE55A8AD9F46F3EB06A62193075864DCBDBB45F9B162C7F35449E252059CDDE8437DCA2F5E62427144CEF6037A96BFF]] |
| FP4_xtrA = [[09B4928DEBC33EE813982456B3EC7080CDDAA953D7A241BF6C58EAB94F5AF5EEF5A5E310C5A42F154C6F501D7F7199290A94242E8112F352B56BC7968371CB5EEF4A2FE346BC,038205DC32A181FA4BA14040D9F566788B892F59123CC180B8D367286CE38C50B7457737FFAEF52F61CFDCB4B4F05BB9E44EC41F734B91F3DE01BFEAE0F7415F86FCCE33F4A2],[0311DBB1C5099043A668075B7C73B08806DF9DE94E392E20D021951D24E4AC2D5543B45FE2E38D08B4202A43B9BDAE578614E2166F6F63362403565ED9E7E85237F206E699E4,0E8935CF5765CFE2CA03C2A66BC1BFFAF6799E0F793C2D437E50A9DABED19FEB74492AABB139F07E7875E717BE21C1F0867564D8EDB5902BA4823EE691E0A403B0AB0892C46E]] |
| FP4_xtrD = [[0256057EE754A5099E35E18D62AE793CBDEE44BC3627E7AA7E97CDC70B1A5D87F4DFD81A1A84801848D849DD78B7184290CCEE038503261747BF35EB1219CA387E307F5EE1F3,0717AAAEAA95959963140D76346C5457E812EB3AEAE979A894DC8A78291FBA3111A384F60E8833989B950E34996C948AC5FF3FB0E2A968BB278564679D0E810E4F68CD3C80D1],[0116D5B2E8ABD736FC4212F742776C4A8D37C562041BA9195CA82A8D7BA957DF5D326D0F604D0C76B0B8FD5FF48D719C894FFD092C19E5EBB7D7A1755E76BD1DA645EF8FA915,01FD1388630E7D54B4EAF82730989536F85EF0BC29B3C1EFF381EE40B4E4B34AC73E29B570D090C62477A3D30FDBC231686A7984244120E738E83D6045188D688103834332C6]] |
| FP4_xtrpow = [[0D3377F6FDA2F01A7AA9F50DD34CBB579A0CEDF81B2AD975B8B97A2DB8AAF6382232F1A3BA290B211AF1BDCC55597C5721A5B98DDAA7F5CF0480F436746A4B7F85855FCBFDAC,0E00828308516C22E0535BBBCB158046AE40B1D5CC9E668569AAAE708197E5A91E310B93EBEA5507075ED4D4F7241BB3CF34DB255443AD325042FE2F2F941BDEEF26D33D73DF],[0A4E638CD1E31638B485A109602F6932B0450DF9F40D58C46383C9E43D98814EE69CAB6B924B8D163A268A272BCBE1AC644FD3EB831C8412B15122B94A54B03EECFB9ABD1BE2,04E413C7D5553F6D4BF0A796672A9F67A794FBBD4F57D0D6914605CA46F9DB12569583E7A15350789C56E378F50A9F4110037A62E8F24193929C90C9DE832E15E5FF2B305D69]] |
| FP4_xtrpow2 = [[0BC6E0ABF0E7E4CC0E5365FFBE2C2DF68B47BA2E2756BDAB2CC77CBC06FC72238CA91CE08AE041A4CD0C856CBC07A1FE72CE3EE9F10873495E2AE816F882398345A1A2089B8E,073E0DA33C8BDDCD4E03C208FC26CBB100BBDD88125846A7A645B6564B800FA441D0A731E79CD806DD66EF30C962230482225C52A27C969B1A62B97F1587D5A4F8A629918D11],[03724028A58985A34048431D37E7EE89EFFD0907B2DAFAB2EF5E043D863A2B60AFFEC9A929DE9D72550510D1BEE2725F65076A752548E3305141A56E675F1F7465FF63B785A5,0F82A79FA899527C59D9DE8E7076E37C01A64C2FFAFC2156D4AE76A3682647A9361D4DAD1B97929BE2C1CA2D1D8C2B85940C60E02A1EA70657613EB60C4281A931DEAB8F28F3]] |
| |
| # test 2 |
| FP4_1 = [[062BF7D58D4E03FEA9E6197278EF268A55BA95B81D8852B45913A7D5011B2E7A6CFEB7F7952EA5F99D0AE32734AC73B2860158533AB5FD40B4E96263D2FFD4F75C3905545E14,0CD70E00B8F8735601D23640626F642FC5B427F41A4E882C55D3AB6662322207D42A9A9FD67004F0BAEBE4E0A8431F42E4B00523B47CB11067ACC2C512694C2E0F19F448F76F],[096FA09277A1C53C0E6A66274B95FF7B5254E8393625922F41750F6AA8B14EEE0574AE24BE86B3AAA76F532FFBC7320DD96E058EC5044526D9A8C7FF6931D10F5A7F856F0F52,0C5AA33D26F01E66EFECEEA2B826038F8F9288BFD5099814329FF56C2B432C47D41CD6BBA17388CCA7621D5618CB7B70108DA0452B857F41367AF4B9F5620C5DF43A88CB9E17]] |
| FP4_2 = [[01C6434384B5A0F71188B180A02D44BFFB3EFB6D9DC7F37D033AFC146371348D3A2B1E0229568F62B8FF3FBE19EB0B4A9791CCB1363AF6284DC06BEEDABF5F2C74A1FE3C65D7,0C8A42E754ED5D8EFC9D738EEE1891323B9DEC4F1C0BD516117497CC78E0C8138F060897EC7DDE717DE674FC3182313D95A9BB5618A1E5AE576F59C378A1A560D835F15FC035],[0D36DB39D2FC5D36795733D8861C7F392E1B9871486E57CFB3C9C7F30EB48A36C386EE822FE741496943D147DF8BAE3F3859E86D3CC7EAE9C06FB1CD238294A8BA1F6CBDFA6E,05B2ADF2912792EEE4CCBBDAE5BE7D8A1A13CA5D14F7BD7B844ADD85E9DCB11DB26257E06DC65DA9C6B10341BE9358E286995F8E1A8E1667A05583020F5570A9A063899ACD3C]] |
| FP12_1 = [[0A3FA1D479FC27590706B6A33AB1CC0BA2B160BF1225331A4E35D5D081C28E3B2938269C91630E09B8C1D8F234E42565065216E4B61DD39C10C74866CC4E0BE0FC82AAD498E5,0193AF782BF02C088EC52E08CA11F43437155039F012AAE9FFD63EA8E7F0E6D4D2AD42BF15E542D93FB5751904CA274C270675AFAF49B6529FB4A24A57CF8158E2CB1B7EB496],[0552239CDA8D03700A0E2CC4BAA502A781A214B0904279C0EAB80B608514EE7C5496D5F1139CD302F8390B216378DC3AC26A2DC02710FED69D0DFC25FBD6D641EB661A40E3D4,07787DC79C08A36DC3479346166FC019DEC8E0D9AA00B3A2ADAE5B0ABC5C16E3474AF41407EA3DFD6B93BA2DA859472E4772DE574DDA935226CA2F24CD604C1DA4B733A0DB94]] |
| FP12_2 = [[0A3FA1D479FC27590706B6A33AB1CC0BA2B160BF1225331A4E35D5D081C28E3B2938269C91630E09B8C1D8F234E42565065216E4B61DD39C10C74866CC4E0BE0FC82AAD498E5,0193AF782BF02C088EC52E08CA11F43437155039F012AAE9FFD63EA8E7F0E6D4D2AD42BF15E542D93FB5751904CA274C270675AFAF49B6529FB4A24A57CF8158E2CB1B7EB496],[0552239CDA8D03700A0E2CC4BAA502A781A214B0904279C0EAB80B608514EE7C5496D5F1139CD302F8390B216378DC3AC26A2DC02710FED69D0DFC25FBD6D641EB661A40E3D4,07787DC79C08A36DC3479346166FC019DEC8E0D9AA00B3A2ADAE5B0ABC5C16E3474AF41407EA3DFD6B93BA2DA859472E4772DE574DDA935226CA2F24CD604C1DA4B733A0DB94]] |
| FP12_3 = [[0A5E44A9E42F454D2B846197E4016BE12A58D2E3E4EBED1CFDAB6B65841E4CE6A39D5BD29BFB72EFBDBB91209DC54DBB6EA37D17882A9BC32D925A5B4BEA07D9E73EECA70375,05B1FE339840AFEE2066D033684A3454BEA367D887D847A4672842C1537A3973976986F31B8525F327C31CD463B8E7464CD378453D620074BB8AA09F7DDCF88BF937904DE40B],[0E708F68C71AE5CD461CC3B61D93255D705868746D6DF36C89F529AE75BDE2819E1F83A695948562BE1C2E99C847E46E8C7F6B32E37DDE2DF0D4CADC72EE69A299C6D5CC3217,0684B8A936D8A1019CA27C6AD4089FFE95F98845667CBE6CCDD9959A5FCAA627597AF2697DFC00322F27CB06E23857A5C707DF4E95AEF14842D9F5B8A42DF27C2FEE8A05D0FE]] |
| FP12_4 = [[0CC32E16DA77FBFA42E54F89C199989CC6E0CEE3CF461A19376291BF0D62609E7EB7478BCE7AD2916E2CE0BF91B40DBC20FD9B38C37D6DCC4A0989CF69091D6C0BDBFEBF89B4,01F9C2259927E668DB7C7D6EE8CC2EC85D9A640378CAE4F2B3AB760C8BAA659D386E1FE2A3B72AED11E38267590EE566A25B9609849693D141ADEA9D8458CB10F122BA16EA45],[089E59F377D1718DBFD43CBE4CAA305994837D51E97B819B30379607663E73396AC51A6C3831A59618F4BF84D43FC06EEB3A8F704971CD9B32650D17EA73C593EFBBB69F6DBD,078A371E015091944674DF54D80B67284D54A60C36EC340A669CE366321F4A1EF78C54DA5A8914C36B6937727C4BBC132D355EC2B1FBFBFF26686D84268CB789FFBE809B22DC]] |
| FP4add = [[07F23B191203A4F5BB6ECAF3191C6B4A50F99125BB5046315C4EA3E9648C6307A729D5F9BE85355C560A22E54E977EFD1D93250470F0F36902A9CE52ADBF3423D0DB0390C3EB,098FD363DDE8D489DAFD1987AB1B6EF0AEA540013123693C8CB3384605A7B27FD9EF73211B2DBDBE23B23956525A21BF42B0396C8AF65695581B82226D110298013FE8B20B99],[06D4FE481AA12617644F09B82C45F8432DC3AC68795CF5F91AA9CC70E1FAA1893FBA6C9046ADCF4FFB9303F153E7B18BDA1E66EEBFA3EFE73317DF666EBA76C12E8EF5365DB5,023BD3AB881AB4FAB1471A35F877FAA856F97EDAE4CA6189DC55C8053FB4A5C9FD3DFE856779C0D258F300114FF3A5915F7D78C603EB557F6FCFDD55E6BD8E10AE8E156FBF48]] |
| FP4neg = [[09A585AEA2AEF85C798C76D52C7D5FE6FCF23E89E7AEA15181816317D45009211C42781F12917FAA78153D5F52BEBB0EB1A82EBA077242E8B21738024AFA19FF89D6F7A24DF7,02FA6F837704890521A05A0742FD22418CF8AC4DEAE86BD984C15F8673391593B5169576D15020B35A343BA5DF280F7E52F981E98DAB8F18FF53D7A10B90A2C8D6F608ADB49C],[0661DCF1B85B371F15082A2059D686F60057EC08CF1161D6991FFB822CB9E8AD83CC81F1E93971F96DB0CD568BA3FCB35E3B817E7D23FB028D57D266B4C81DE78B9077879CB9,0376DA47090CDDF43385A1A4ED4682E1C31A4B82302D5BF1A7F51580AA280B53B524595B064C9CD76DBE03306E9FB351271BE6C816A2C0E83085A5AC2897E298F1D5742B0DF4]] |
| FP4sub = [[0465B49208986307985D67F1D8C1E1CA5A7B9A4A7FC05F3755D8ABC09DA9F9ED32D399F56BD81696E40BA3691AC16867EE6F8BA2047B07186728F674F84075CAE7970717F83D,4CCB19640B15C70534C2B17456D2FD8A163BA4FE42B316445F1399E95159F445249207E9F2267F3D056FE476C0EE054F0649CD9BDACB62103D690199C7A6CD36E402E9373A],[0C0A42DCD4A26460B885C2966AE606B376E62409F2EE2E65684052646F67FC52CB2EEFB9365F9805534BA26EA3A6B28FD8BDA42ECA649A668039B09863A92B5D867015A7C0EF,06A7F54A95C88B780B2032C7D2678605757EBE62C011DA98AE5517E641667B2A21BA7EDB33AD2B22E0B11A145A38228D89F440B710F768D9962571B7E60C9BB453D6FF30D0DB]] |
| FP4conj = [[062BF7D58D4E03FEA9E6197278EF268A55BA95B81D8852B45913A7D5011B2E7A6CFEB7F7952EA5F99D0AE32734AC73B2860158533AB5FD40B4E96263D2FFD4F75C3905545E14,0CD70E00B8F8735601D23640626F642FC5B427F41A4E882C55D3AB6662322207D42A9A9FD67004F0BAEBE4E0A8431F42E4B00523B47CB11067ACC2C512694C2E0F19F448F76F],[0661DCF1B85B371F15082A2059D686F60057EC08CF1161D6991FFB822CB9E8AD83CC81F1E93971F96DB0CD568BA3FCB35E3B817E7D23FB028D57D266B4C81DE78B9077879CB9,0376DA47090CDDF43385A1A4ED4682E1C31A4B82302D5BF1A7F51580AA280B53B524595B064C9CD76DBE03306E9FB351271BE6C816A2C0E83085A5AC2897E298F1D5742B0DF4]] |
| FP4nconj = [[09A585AEA2AEF85C798C76D52C7D5FE6FCF23E89E7AEA15181816317D45009211C42781F12917FAA78153D5F52BEBB0EB1A82EBA077242E8B21738024AFA19FF89D6F7A24DF7,02FA6F837704890521A05A0742FD22418CF8AC4DEAE86BD984C15F8673391593B5169576D15020B35A343BA5DF280F7E52F981E98DAB8F18FF53D7A10B90A2C8D6F608ADB49C],[096FA09277A1C53C0E6A66274B95FF7B5254E8393625922F41750F6AA8B14EEE0574AE24BE86B3AAA76F532FFBC7320DD96E058EC5044526D9A8C7FF6931D10F5A7F856F0F52,0C5AA33D26F01E66EFECEEA2B826038F8F9288BFD5099814329FF56C2B432C47D41CD6BBA17388CCA7621D5618CB7B70108DA0452B857F41367AF4B9F5620C5DF43A88CB9E17]] |
| FP2sc = [074471E1AE7F8F2069ED934B03B60BE104B09F6A3A9A7C2058FB59524E0EE2E90F14196B807E4FD326975AE9B6A428E761E13DFD247703BCF0D6291C6A648AC128E2C15C727A,06F7BC34F9AD389003962EB1C574789ADF4963B684FD1DA5F02746A5AE6E6EC492A55F157C2CAC1F2530396E71AA4C770EE6B9B8901C91E016E14C9BF0007A9BC59440D1F96A] |
| FP4pmul = [[0AFD12C8183BA2AEEA8659FAAA123987164E178E9BF76C8277A3D689B59609FEAC16CCD436758096DC887DAF6AF89EB3288704CC8FC27156B82E2A65176F7762FE12D1D6707C,03BB690AB1A1DF37DA66DAD74118DF9BD73CAF884346360804203CEDF84B88E172E5643D91A1573D34A9A2D3588A4440675591D4A76C3CE9155C92F82CC0EA8EB9880946F9E8],[07E68984F3D912224B2B3AF376C45ABBF41C2BE0C97F15111B6DA59ABC38823A6ADCBB3AA8928EAF8B5E966936602B98453CD463F05966E0A717F5BE6E5A781C6E36A0D95880,0FA69C6D2A3EA23E24599A0E043EBC1CF5F18E812D1DC6132133B89095EE0704DE75F6AAA061116A43F36043D12A2D3523656CD4F12A7BEE3B1B1B8C9DC349969DC91494C207]] |
| FP4imul = [[062BF7D58D4E03FEA9E6197278EF268A55BA95B81D8852B45913A7D5011B2E7A6CFEB7F7952EA5F99D0AE32734AC73B2860158533AB5FD40B4E96263D2FFD4F75C3905545E14,0CD70E00B8F8735601D23640626F642FC5B427F41A4E882C55D3AB6662322207D42A9A9FD67004F0BAEBE4E0A8431F42E4B00523B47CB11067ACC2C512694C2E0F19F448F76F],[096FA09277A1C53C0E6A66274B95FF7B5254E8393625922F41750F6AA8B14EEE0574AE24BE86B3AAA76F532FFBC7320DD96E058EC5044526D9A8C7FF6931D10F5A7F856F0F52,0C5AA33D26F01E66EFECEEA2B826038F8F9288BFD5099814329FF56C2B432C47D41CD6BBA17388CCA7621D5618CB7B70108DA0452B857F41367AF4B9F5620C5DF43A88CB9E17]] |
| FP4sqr = [[03559E6FD916DEB5190BD7A75774117B4FC2D9BABC2C836129BBDE55AC257228ACF8F92C8703C26A3E2D2945EC19C3CE376D44C645F48147CA705F90AEF40311996D4FD939C5,0B22D4F9D652FDCF8D9B575DA8AB07209D9B0038ED32EBD4C9BC692C2F50485396B4CF4BBF2FC68D66929A29367D25D4AED8E9876E3A353F9AF86796805F081969838FD0E4BE],[099DFD2A6E950112C26CF7C1BFBC3C28068DE36476A32788AB2C8B39C9AD3D89FC34F58C2A4AB22845D365710383F39BAFDE13D600883091C4E235392462737F3B4083D53F23,052C3D0373F8173D5DE77674E4401606FAC5A36689E10FCB3CC70876C3F7E03FCF26FEF597287AE94A3786BCA07C58E5D2864C97CB66467F7483039F54218BD8F0B639428AEC]] |
| FP4mul = [[057C28454B7A13D042A28E1148F389E820383B5367E27A65C310EA019AD5F8B9B17D4AC1FB6DE599BE5525DEE97C52C3BF7087D1CFEC709215DA9A4A7FC062A4E00AFE09BFB5,01CEBCE70FCBB570ED791CB0B30A414EA7D83933FF240929CE2CDBF11A6538EE111C296C746DCBC14F3D8FE850A8133B621ED673573894040C6820D966575E9F9CE6D8D0E94A],[099094789159C6BCDF851278FAB6BBDD47D0E0BECF50E0FAAAED861EEBEC3E4B9A3A78FB3E172DA35E00BE6E91957FB644A49A4DD93DDF7DBD0662886365A7E9C4EBC3DB600D,09C09C24624B54F70426BAEC2448E340691C5AC4296DAB5BDB6B4FEF0580F5FCE7611A0ED062E917436E3A500785848098EBC583341498F779DDD77888A859F5AC40108E7557]] |
| FP4div2 = [[0315FBEAC6A701FF54F30CB93C7793452ADD4ADC0EC4295A2C89D3EA808D973D367F5BFBCA9752FCCE8571939A5639D94300AC299D5AFEA05A74B131E97FEA7BAE1C82AA2F0A,0E5445C2747AB7D892A2634403EDF5508C307E1B0FC2BE1918345B299BCEACD1AEB5E55B3F18154A680602B397D727020E2CC6187B52789CE756AE9598319D927A94F89FD1BD],[04B7D0493BD0E29E07353313A5CAFFBDA92A741C9B12C917A0BA87B55458A77702BA57125F4359D553B7A997FDE39906ECB702C7628222936CD463FFB498E887AD3FC2B787A9,0E161060AB768D6109AFBF752EC94500711FAE80ED20460D069A802C805731F1AEAF03692499D7385E411EEE501B5518A41B93A936D6DFB54EBDC79009ADFDAA6D2542E12511]] |
| FP4sqrt = [[05D6E1C25E7E0B45A2662B850847BB4BE590D0FFB52357FBE578BDDE9492DB200B5B6199CBC3358770A86F257C7BC8DC9BD413DB312375E13B597E10A941D51F50C6E3F35576,0E80F49CC25FFABC2247E9CC971904DD5D23C2B65054414694C8C2E2D6CC0B37D469C1E2E87D0A4719A0E51244ABC7EF95A24DADD365B55E7053FB22E16C245C28C4A2E543D2],[01BEA895D71451B0E1758BE9D94FB255C6273CE394B3FCEB2A2F883C448D7C42249C81839477D735BAF824E959B00F2FE4F987DFB778111DFE3806DCCCD802A1F81B230B024C,63C5CF319F2CD94E56BF08DE5FBA5BBF206956B07CBEFFC871FE64F23F7D994CD8AD1FF664B8BF5A8795B0D9E8C5AA1A97D5A3D6089BB3E92CA80967E23682A7E3E8E89244]] |
| FP4divi = [[096FA09277A1C53C0E6A66274B95FF7B5254E8393625922F41750F6AA8B14EEE0574AE24BE86B3AAA76F532FFBC7320DD96E058EC5044526D9A8C7FF6931D10F5A7F856F0F52,0C5AA33D26F01E66EFECEEA2B826038F8F9288BFD5099814329FF56C2B432C47D41CD6BBA17388CCA7621D5618CB7B70108DA0452B857F41367AF4B9F5620C5DF43A88CB9E17],[0198C4290B24BD7CC422DFB59AF902246460F4B5194FF36D6A29242746F10C735BF4114061EF42A3216B53C0AAC2321A1983EB34D6853713DACAC56163B7991742A17E5354BC,0B3E49D7ADD3B5D93DAF568AC776620B6153333F00FE94BEEBAA873F1B4115947836895F7480C24D9980911FFD80ED28CB2C19EEDDF779FC8CE1FD63AEB1B316CC7875F5A2B3]] |
| FP4div2i = [[030DC3A0BF468E1CF9623C06F1BF788551FCFC3067143058A85513E87BF7664081A82C32D54D41B139BE85D97023355A7B32841047E04A244C50F598B469B327CEEF0DE77299,08E3C8F61DE34072BC674CFDCADF80ADCC783D3DA4DC3C228AAADFEB811B20F41EF87D609B26EBF539A41A25AA2BC81EE971B97D14E2BE5905F54F0DCCCA29C5026514A09023],[0331885216497AF98845BF6B35F20448C8C1E96A329FE6DAD452484E8DE218E6B7E82280C3DE854642D6A781558464343307D669AD0A6E27B5958AC2C76F322E8542FCA6A978,06AB162B2BAA6F5757EC1CCDE9803DA56FF9923BFCC63577FCC003916116F38D672BE2A841415EF71DE101B97396AB905EAEACD079C6B3CFB2C360613F697736B2E0EEF4995B]] |
| FP4inv = [[0DFE79005888325F15EFDDD75936B09D0AEBD445A1576E3063623BDF2963B652491E1719FF5BB1A19ED307AA824F8BBA859BB0455359E3F32580304265F7F0C38A9345D9CA41,7F1BAAF1F9DA2782AFCC623DBD8B60FAD07361D2882BCE70080107EF8C5E2FE624B5155A35DD98C128088533DF61C21BEE11732158E12966BFFFA428AE4DB83D68897AFFBD],[0F0F511E69B230DC1D58A1E23F7C0B855EB0AC2D57CED9B526129F7B2BDCAF1F3176A64B1E8A3CB72BDEC3CFC1286D7FB8DE016C56FCEAB10FE61769D613A786B1D211CF75EA,0D905C2879978AF38869493979AE70F67F70186CA0B1D7BEEB50CACD166902064AEE3CB06773BFB0EA78EB14044D6C60D77F90C43CBCB8A5CFF1447BC9EF015296041CF499D4]] |
| FP4mulj = [[0CE67AD980AEA33041F007CC38DC825D156F33BB6652EE20E96A24EB52D95A41BA99077FC4D35082152D56606A66E55F0089EC56DBA7060F0A2E6DAB91C9B3A84C54F99A1D46,05F8C64B6E94E747DAE4C4825E4F7C998F3A9CB705F8363D997FF9E9FE89439A505054C9B83A16D339B14FFF8D277EBCB2521EC6AE61843EA92322534099EE7668AA1144015E],[062BF7D58D4E03FEA9E6197278EF268A55BA95B81D8852B45913A7D5011B2E7A6CFEB7F7952EA5F99D0AE32734AC73B2860158533AB5FD40B4E96263D2FFD4F75C3905545E14,0CD70E00B8F8735601D23640626F642FC5B427F41A4E882C55D3AB6662322207D42A9A9FD67004F0BAEBE4E0A8431F42E4B00523B47CB11067ACC2C512694C2E0F19F448F76F]] |
| BIGsc1 = 042424D5B1DAAD1202E6391E4F6C4EB46C3B72067268502D26D3AF30CFFC8FCF5AF2F8D24B0834D380E975455F3738A4ECBCCF1F8D1041CCD47A9928409CC378CA7D4F67E757 |
| BIGsc2 = 26 |
| FP4pow = [[065E21EEB04F8F6C54AFD5758052C357F054B54F7507BE36636961A6D6B935887D34CB6AE0D49D615D893FB0F24CE6DDABAEF06EDFEA84CB4689778436ACDC6B7FB95C490B79,0F60F2158CB4FACAD526F67E0A2A95005C053D32F4B43133DACF1B641FF7E5F2F22AF0BD3FF9CBFDFD7D2CE853BD0A78530157BA65C414EFA1C02A1287AF4D0042535ADD45CD],[08879E7A86E31E0B9ED36E15CEEC4862B45A7EFC792914A5D7E5DDB89FB7E839CD71DFCA9FE8923A615E5B445B2256D42F0265C0CFD4F9BBB9368E46928790C0CAE7CAE51C02,0A46F5A58F5CCBDAD2B5C8224828513FCB9ABAB6117248C12C32C66F7B97C77BA8F60B289CE1D08049E5C0D4B358F47084A9B7D641F6E5F4DE6963FC20BEED80C3CCA4952D1A]] |
| FP4frob = [[062BF7D58D4E03FEA9E6197278EF268A55BA95B81D8852B45913A7D5011B2E7A6CFEB7F7952EA5F99D0AE32734AC73B2860158533AB5FD40B4E96263D2FFD4F75C3905545E14,02FA6F837704890521A05A0742FD22418CF8AC4DEAE86BD984C15F8673391593B5169576D15020B35A343BA5DF280F7E52F981E98DAB8F18FF53D7A10B90A2C8D6F608ADB49C],[021F109F90B46E3823273DAEF4CFA76D83C1E8545E683291F1549FC6C0EF6D60E8C1F64741AE8E0CD4D8FE2166CB6AE37B9853CB3FE786124CC17E12A7430784C435086CE992,06C88819F59473D0165A4AE509A65A02472715F1D6B923B8791D8F809DAE30B6FC4874FCEA31F3B8FD9EEB439C7EEECBAD03451C015696A81867F5D872D148C6A8FEA5BA2AB9]] |
| FP4_xtrA = [[05B9B3C25848F074F6D36248E883AB30239A414017F73B980B7BCDF6A1FA2D78C1415DEA2ECA024B8B71BCF63F6AED194DDA0E265441491D12C247588F56B76145BC3B3EDFD1,021E917DD964CC5262897B973564BC18ED2DB6D217609A92567FDA1D752E3E87BF7FAD0EFD4F34CB647D21D2D1C964FF7F380F042BBD11A62FBB6592DCB377F6105E560B46CB],[08411E7D8729057F38DA7401C9AA31446111F52444A27479767981F88F6805C14548383A2BEE0AE225B5BC58787D7EE61B7540EA9B3473F238ACFBE2E646E7D51F69CBEE92BD,0EA821948ABD362B7A31CAC6ADF9C36EC4CBE05356DC079D2A8A0C49552570E3C6A6D7AB70CFA00BDAF5085CF3A437C692019D39CCBC8B242E734A1AE9EBF3526828987DCD73]] |
| FP4_xtrD = [[06CF2C48EE77D312E8B2350A0B024AD7F6FA828C8652D1FE522999987F5A4CCF5C3CB95404669C1B1937837E0A2C0B2A63141B2D12B0C6EFC79E352F26EE4819C70B422729A8,0146367C945F137EAD697B248938C53264DF8492BDCCCF81F8AA1D4C40573BDF77A0CA22BA0FE25005DAF0EE6D6216101D22664D47691348329F7C7279865EB4315FA435A1EB],[0CABC0CB2DDB8F2FBBCF33C8B17BB4AD588ADF94DDB757E153819F2245A4A3CA7DDD21BEFF97F3D97F91EB4A73A728F62B1097E648687AB611332AD1D8CC26A70A2F91BCB1BC,0E1005F991DB57B01A4EC372AF1F96B4C73DE0A42EBD4BEDC771E86245130133EE1F7C56324F66DE83DBA0E24AA82104BBF80614E04904D87A7852AD20EBB59DF31B4DE31B0F]] |
| FP4_xtrpow = [[0DCB36C801A076833EBEBA258AA3138C605FB8306027F55610435A272C64B9D55AD4D281CEFF0E4B75B2D8450F13ACA4FD816A721A2401C43AD076E808C9C86CA93D3179FB8A,05D1370576476B18CFE5F8C2781FBE57F5C793DB46CCC907D0791DE67BD4181979B378669FA11DA7ACA1F5C925C33535F7C3B866F9ED1B2F7437C496C05979987911A89A88CF],[08AC40CE8238D6325A014043B22EE0D7CFD49B325B1A52D661A349D58EE71776720CE78C76AF51A64A437162027546E64D5FAB2FF46061A7630D960311F7B655FAC9007C2AEB,0F2F959992B62EC34ED62EDBA768EB361A7019643F6C3B8A8096465FA24533FA8C61DFD2386F532B8C6AED84D1F2FC6D7036E485CAA86FDC892678A18162EB304292A005FE83]] |
| FP4_xtrpow2 = [[0F8D2603761C147A7DE3477CC123B8B1110173E3D7316B0A64848330AE6E67274620AFBD37D073E11F57C28725110B901D7957985C51F2FF696CC105B3AB8DE2986A53493457,0D9CDAF0BC9B74E5083CB5860D9FF621F07A01CB63E7B2E93FAB0BAA7249DCD7D0AA108BFC820998519EFC8879F48D65DA2DA54EF95ED3E9DFE92F50164BB8206508E28E305D],[061A549798CCCD187A78E0B4D183C5C88C3E1BEB03E12C1FA390826CE9A23B26BC0D1B17929CF4638AB2EDFC45053988735C5FD88BAFE8F5C900CC2D0AB23D49B2C9C25509C5,057F233DEF821F381E3694DC9D34645E8778774CCA967D0CCFEBF2C35CBEBACBF55FCA0068018CAB2DCBCB5BF97416B73B2959A81EEC88E45C520C6DBFB17F8CF704722169CA]] |
| |
| # test 3 |
| FP4_1 = [[0352A47A6E721A27D71C1F2B4C9F7A3EF2F848D838A74F89B05E53B24AB4AB1600592AC49565B94FC420843BAF149FE9CC718D5F77CA96235626422BD714323C4D7FA3373522,01A61625143C0855EC2D4A619CA45F197EC00BDF8650E362C353D60E44F730C303F0AD0D9CF003560C799A5116DF0501DA53A87F3C6962D6A91EEF6B0E7B1610EE166D8CE6AC],[08C86EE3E89CDCF42EA860380DE6969DD7CA0FA732E8A53F6868D2231AE473F3F7C48B9B42921CAC306B18B7E4AB024501C0406BFD41382CCD82ACE64C18B5DBB03FD6B1DBF7,0666D1F14B573E41E782C94A6BCFBCE0AAEFE89493D698538F845D3B721071F7DFD8EF8859F517F7B1046308E5F52EDEFC418B65B06959663FB9A33249713C3F3723CF081CF2]] |
| FP4_2 = [[0A22E7F93B7B75900CCE2447733A6F75C2A352AE831F6787312FDE6B68615E17C4919993E86D8E66BB6E57A57FBB60DF11B0693D2A129AD5440B1CE374C32B244160C982F9FA,09AB519B6A7552E4C366753288D10ABDEFD44B08979FBF882277E1B2FCBF7BE02A0233E174DE9EB630CA64FDCA5D7A838DDB69FE971B2A93DEA17BEC727B5367CFCE16DD36E2],[0855C87F97F2B2E41F5576F9E733E5E69B54FC3F3E5EBA7D6D53A96EF95355FC930BDD4EAF6A5B3F53A0A0A649652CF8A1F6207F866D4213B4270612609B944427183F25C4B0,06B6FC376D8DC5D0534C534D7C3B338450D51189E6B5D4A9B33A5CF591775A024012005CB2C1E9C6C25F6D16D8C9D5FD9FCD994754AEFC49C0573A9E03CFED53F3B008D78DB6]] |
| FP12_1 = [[0A85306A3B10A816698CED838D05C526E230FE29F3E264A894903A07E2681CCACFCC8B13D445A039FAC61414DEF3000626E171CB3C6122D700D851154575B5045B2446E282F5,076964ACB462A9A7A6F1231781C802251C9B08ACA44DE9A32B89E92C77E97979335C3522306C0173344092B5EBF4A2C3C827B24C98E36D6A41C038245CF4CA3695D2BD3F2642],[06C9376487B93784FCC55F9ECA2ED32802DEB67BB4996AD00C7DC5851722B143BBB75250C98808233830BDC295AA8ED3A9F87397AC60D1CEB769EC7DB9169193B6E4348D717E,07CF2722E6974AE13FD161DAF10330A8C5F4A17EA95EA8B3C6BED62E4DA3167D4CBD01B40E9AF87D28AB7E12882E80764E0C35613266A346C24301D2A87583F638DD897AF7C4]] |
| FP12_2 = [[0A85306A3B10A816698CED838D05C526E230FE29F3E264A894903A07E2681CCACFCC8B13D445A039FAC61414DEF3000626E171CB3C6122D700D851154575B5045B2446E282F5,076964ACB462A9A7A6F1231781C802251C9B08ACA44DE9A32B89E92C77E97979335C3522306C0173344092B5EBF4A2C3C827B24C98E36D6A41C038245CF4CA3695D2BD3F2642],[06C9376487B93784FCC55F9ECA2ED32802DEB67BB4996AD00C7DC5851722B143BBB75250C98808233830BDC295AA8ED3A9F87397AC60D1CEB769EC7DB9169193B6E4348D717E,07CF2722E6974AE13FD161DAF10330A8C5F4A17EA95EA8B3C6BED62E4DA3167D4CBD01B40E9AF87D28AB7E12882E80764E0C35613266A346C24301D2A87583F638DD897AF7C4]] |
| FP12_3 = [[01ADA7CE61681E838BAEBEE53EEB1CCC828804D818EE3FEDA78C59F554D26D83D1DAEA24F4FFD7526531C09B266A53C3778DD435F8AE27980ECCC492505AEF8F51203DFD26C8,0DFA524BCB1C1B98A3FE605324229EB71B12BCCA6564E4093225082C6A3A339AE3A42E1D5C9B01A8F80538825AE9519237EF0DD75A5F53D6D97CF854065D45D7E5A553D42146],[0714182D41B2751A5AB32845FBA04134B106D1B7089221D984D2078C4C28246C04DA953872E476993F223209E1D1C1D8A65ACF563905AD5264E14023C131549508AA68FA2604,0D59ABD5D24BE9DC3B09DC2167C73DA249BABFA5794A368D65E5AF135B35FE3D9A55DEE569328123ACDDC0479538BFBD59A480BC73AF983DE71190AFDAC459BC2B2218D24C2C]] |
| FP12_4 = [[059EEF451297F657A1C191D10D64D7BD3C54A32B7E50EFFA46694249631A2DFE1DC8270B40AD791DB7ADD5F8371EC726942EB964F65FF922DB4949918583A020B106F37C295B,0B0F03A741B4C5CB735F28A8EB62B98FF7DDB2EA327E1ADEDC05964DCFE3175C53809DCE5D05A24E6F1C644C1544096B8D71B634D19E25125C3E0DE2EB65D52058984412A106],[DDFFD3A5C03BCF9D28437BBE4FC54B7D3DD385B06EF8A243F342819BF62BB999E448F78DAE42C0CDCC97BD05789769A5E779F6800FADEEA87F0CA65756BABA82AC5DB0777C,02C985166ACBCDCE1CD761675EDE5AFE38A14A02528346401AE41B1975C49D3789AA602DFA6EA87C5521A1E5A3A6B6BB875F8924E2595705C76C97D49FAFB31086C385E2F5EE]] |
| FP4add = [[0D758C73A9ED8FB7E3EA4372BFD9E9B4B59B9B86BBC6B710E18E321DB316092DC4EAC4587DD347B67F8EDBE12ED000C8DE21F69CA1DD30F89A315F0F4BD75D608EE06CBA2F1C,0B5167C07EB15B3AAF93BF94257569D76E9456E81DF0A2EAE5CBB7C141B6ACA32DF2E0EF11CEA20C3D43FF4EE13C7F85682F127DD3848D6A87C06B5780F66978BDE4846A1D8E],[014CB9DF5092937D2A8B46EA4FADF613207237A46C106BB6FB2770A53ECC9255018F38D34A3C52476EEB98D7A6A5007C6C0CD9DE41863A171AA918928EBA5B28F14818E0F49C,0D1DCE28B8E504123ACF1C97E80AF064FBC4FA1E7A8C6CFD42BEBA310387CBFA1FEAEFE50CB701BE7363D01FBEBF04DC9C0F24AD051855B00010DDD04D4129932AD3D7DFAAA8]] |
| FP4neg = [[0C7ED909C18AE2334C56711C58CD0C325FB48B69CC8FA47C2A36B73A8AB68C8588E80552125A6C5450FF9C4AD8568ED76B37F9ADCA5DAA0610DA583A46E5BCBA989059BF76E9,0E2B675F1BC0F405374545E608C82757D3ECC8627EE610A3174134DE907406D8855083090AD0224E08A68635708C29BF5D55DE8E05BEDD52BDE1AAFB0F7ED8E5F7F98F69C55F],[07090EA047601F66F4CA300F9785EFD37AE2C49AD24E4EC6722C38C9BA86C3A7917CA47B652E08F7E4B507CEA2C02C7C35E946A144E707FC997DED7FD1E1391B35D02644D014,096AAB92E4A5BE193BEFC6FD399CC990A7BCEBAD71605BB24B10ADB1635AC5A3A968408E4DCB0DAC641BBD7DA175FFE23B67FBA791BEE6C32746F733D488B2B7AEEC2DEE8F19]] |
| FP4sub = [[09013A0562F3A0F2EDC08B2B7ED1913A8301CA6BBABEDC0859C38033B7BE8499C508C14754B8508D1DD24D1CB6C46DCBF26AAB2F8FE03B77791BBFAE804AF60EF22ED6AAE733,07CC420DD9C3B1CC4C396576B93FDACCE1989518F3E817E07B70FF481DA2EC7E632FA942CFD18A43F0CF55D9D3ECB93F8421C58DE776786C317E0DE4B9F9B1A0045853A65BD5],[72A66450AA2A100F52E93E26B2B0B73C751367F489EAC1FB1528B421911DF764B8AE4C9327C16CDCCA78119B45D54C5FCA1FEC76D3F619195BA6D3EB7D21978927978C1747,0F81533E0DC674CCB7A9064495010FCDACC7AB4CB257B7AFB6DF0B32B6044F9129081F424EF353D503C51678949687A2941D792B9DE29D45E66302FA639B3DE22983C3273B47]] |
| FP4conj = [[0352A47A6E721A27D71C1F2B4C9F7A3EF2F848D838A74F89B05E53B24AB4AB1600592AC49565B94FC420843BAF149FE9CC718D5F77CA96235626422BD714323C4D7FA3373522,01A61625143C0855EC2D4A619CA45F197EC00BDF8650E362C353D60E44F730C303F0AD0D9CF003560C799A5116DF0501DA53A87F3C6962D6A91EEF6B0E7B1610EE166D8CE6AC],[07090EA047601F66F4CA300F9785EFD37AE2C49AD24E4EC6722C38C9BA86C3A7917CA47B652E08F7E4B507CEA2C02C7C35E946A144E707FC997DED7FD1E1391B35D02644D014,096AAB92E4A5BE193BEFC6FD399CC990A7BCEBAD71605BB24B10ADB1635AC5A3A968408E4DCB0DAC641BBD7DA175FFE23B67FBA791BEE6C32746F733D488B2B7AEEC2DEE8F19]] |
| FP4nconj = [[0C7ED909C18AE2334C56711C58CD0C325FB48B69CC8FA47C2A36B73A8AB68C8588E80552125A6C5450FF9C4AD8568ED76B37F9ADCA5DAA0610DA583A46E5BCBA989059BF76E9,0E2B675F1BC0F405374545E608C82757D3ECC8627EE610A3174134DE907406D8855083090AD0224E08A68635708C29BF5D55DE8E05BEDD52BDE1AAFB0F7ED8E5F7F98F69C55F],[08C86EE3E89CDCF42EA860380DE6969DD7CA0FA732E8A53F6868D2231AE473F3F7C48B9B42921CAC306B18B7E4AB024501C0406BFD41382CCD82ACE64C18B5DBB03FD6B1DBF7,0666D1F14B573E41E782C94A6BCFBCE0AAEFE89493D698538F845D3B721071F7DFD8EF8859F517F7B1046308E5F52EDEFC418B65B06959663FB9A33249713C3F3723CF081CF2]] |
| FP2sc = [0ECA63ED5DFC269DF498AA0B897A9F0F62EF87A3CD104AEF560F3940BADEC8BACB94D39B30D5E7D71E59EC5EEC64E92A9D7465025F3C566186B61F8DC8D64C1FEB9A39D6F5D1,040F4D055CDD456170D8102657D87600EE18DC41DB86FA0201C202B0C0C5D7A72E492C9D92ABE0A2A050FF97C60F16415CBD8E591BFAFF36BD54A22AE0BB779F6C4C85FDAA2C] |
| FP4pmul = [[033D1684D5630379803B0DA7D565777098A36DA5F7808595765162BC7C0787EDB1FEB42AA3FB90ACC7796741DA27723C8B982FB640663E465CE02105F4C2DC55EAA67D3DEA9F,0A41888C89E4F015E91CFCC5EF2352E42C6F3968D95DE09BBFDB7E81460CE47B8EF568EC3DF7B209B92F7FECFCB9F0CB6DCE5D733324224916DDF875B2CEDC1415BFD172EE36],[09067ADC68BE4441A80D09EBE60E465F9FAEB6B0E42E440D502DDFEB493F2F6CFCEA8CC803696D60C4022A18F0C9FE99D27FA677EF9ADCCCF69CF9FFEBE45E6FF1AD327A1837,014C648A613575160F774873F47DB3A26A54B1AA038CED646940F21EECC8092EB32C3FF6A874EE54E0C8D9F1D8A2D4F30770BC34E69BC49C386D4B0EBF9D12902DA46C4A2FF1]] |
| FP4imul = [[06A548F4DCE4344FAE383E56993EF47DE5F091B0714E9F1360BCA7649569562C00B255892ACB729F884108775E293FD398E31ABEEF952C46AC4C8457AE2864789AFF466E6A44,034C2C4A287810ABD85A94C33948BE32FD8017BF0CA1C6C586A7AC1C89EE618607E15A1B39E006AC18F334A22DBE0A03B4A750FE78D2C5AD523DDED61CF62C21DC2CDB19CD58],[01BF6043A13CBD8D39DE30287660A6CA5CE74B0C609A5678F63C9959605DB04C6647E71FDD6413B44BB610E941EAD5C8CBD6F9CAB85A30303404BF667A377CC07A6FB06D0BE3,0CCDA3E296AE7C83CF059294D79F79C155DFD12927AD30A71F08BA76E420E3EFBFB1DF10B3EA2FEF6208C611CBEA5DBDF88316CB60D2B2CC7F73466492E2787E6E479E1039E4]] |
| FP4sqr = [[033157D1B9820923BE780A60B35EE85EA0418E14C41227928B078623A930F1627D6D782151A1DDE93EFC578B7A0AD53FF4DAA7D569BB7AAA762C2F5E2652389877DBCE0FBF56,03DC0DFFC228F9448907CDF11CDE3E4941E6A2440AA7B1EF18BC2D5FF3AB163D5B872A2AE9E3EBF71BCFD62A17D422D6D3599A0E644A60FB4E13C9F7F7067B0BB591EE27B93F],[05F2CFD3A8A0E5E9731AD9B2A945DAFD4AA13718B3492C80BC445F0C8AEA1C951A9F572684962BA6BC5E3F4D644554F6B1E10DFAD383363D66280C6C8408B773EFA726BC5599,0F5A66B1CA13C182B68BF4200C59233338243C92F9A52131D08498980EB24EC61D886537BCCACFC9A3534F3E2BE864C0D613DEEB1B2845AD18A88C019FE31AAC41228C2315EF]] |
| FP4mul = [[26C4B5270CC4DCFBFC620375AA18AF48BA2A72A3A69C9ED4E0219DC2EE0424F2A0651B5FFA83EF813ACA4AF88BD88C7229E0BF463ED961F62F0EF1B7CE0010821F7F353171,01694BC63BB23A75F338F38123117BD0942130F930E833970952EE49710020B87A89CB287E5D4DE81D14002C33645FA4E0116E5DB2591AE117D52794CBBD1E1C0372403FC0B8],[0C0C67D98831913B0F4B7A7839E18ADB52DC94B546AEAF5903F998203EA3838D1354DC3979FCED0E401982860E78564C1FCD7AB41D6C8E7166B57DD0E386F06FEA690AEA7AA6,0E6D10FD6AFC16C02C54A57220B6EE62178852C13A55FAEB4E7F10C0DF299B009F194EA1BB41F7F437BD070C8636E7EEF707F57683B00880C16B1B1AC2DBAA559FD44DFEC377]] |
| FP4div2 = [[01A9523D37390D13EB8E0F95A64FBD1F797C246C1C53A7C4D82F29D9255A558B002C95624AB2DCA7E210421DD78A4FF4E638C6AFBBE54B11AB132115EB8A191E26BFD19B9A91,D30B128A1E042AF616A530CE522F8CBF6005EFC32871B161A9EB07227B986181F85686CE7801AB063CCD288B6F8280ED29D43F9E34B16B548F77B5873D8B08770B36C67356],[0C4CF6340C4CECA7A90D783FD9A98E87953B71F49C0FCCA2A17EEE87F827D5C7C082DDD8F529212822C59C9F360B18831CB4E3BC9FB4BC2B1A41A3A6350952694B27E9D44401,033368F8A5AB9F20F3C164A535E7DE705577F44A49EB4C29C7C22E9DB90838FBEFEC77C42CFA8BFBD882318472FA976F7E20C5B2D834ACB31FDCD19924B89E1F9B91E7840E79]] |
| FP4sqrt = [[03D887F93DD3A6B53735ACE0466EC4EF094C8CD3CB089F509687A1B327576E417DA85C6C0CDBD3FEBE5D3ABD47CF454A7C0A2ED183BD3C966F7FA640667C1AE2D7742B1B3393,0BA6F1E80A2DF5FBAAA7CAB73075D3A524E44E01AAC89FAC5AE8AA8CADFB259A45184F286E0996D1398088C4FF5F747A50FE6A874BBD17676A307F2DFF8C0EF1422695FEB3A9],[05E61EFA2134C54D44D90E910142646F95A93E8197C2184CD70042773A7719F9FD8926E4410C5CC675E79838A5C672A3379779D0E3325FE3285366E2B735B251A895CBE9EB1D,03579C25AD843BD461E18CAC02AE511D9E637ED959C01A82FB63AC115EB695A6B61836D463B60A5443D66394B83D958B4D000F6AB44E0F041822D88F767838C34C189528A555]] |
| FP4divi = [[08C86EE3E89CDCF42EA860380DE6969DD7CA0FA732E8A53F6868D2231AE473F3F7C48B9B42921CAC306B18B7E4AB024501C0406BFD41382CCD82ACE64C18B5DBB03FD6B1DBF7,0666D1F14B573E41E782C94A6BCFBCE0AAEFE89493D698538F845D3B721071F7DFD8EF8859F517F7B1046308E5F52EDEFC418B65B06959663FB9A33249713C3F3723CF081CF2],[027C5D4FC157113EE1A4B4C674A1ECAC38DC2A5BDF7C197639D914E047D5EDEC8224EBE9192ADE52E84D0F4662F9D275D3629AEF5A19FC7CFFA298CB72C7A4269DCB08620DE7,0EFB365982E1F3722DFB25E2CD6EF8DE9890B5C5AC0BBDF2640FCC1AD28C7A720B0CF13B2B854AA7394CAB913B50614D3E9A949D2477A683107CF105B9AD60E1365B622184D0]] |
| FP4div2i = [[01BF6043A13CBD8D39DE30287660A6CA5CE74B0C609A5678F63C9959605DB04C6647E71FDD6413B44BB610E941EAD5C8CBD6F9CAB85A30303404BF667A377CC07A6FB06D0BE3,0CCDA3E296AE7C83CF059294D79F79C155DFD12927AD30A71F08BA76E420E3EFBFB1DF10B3EA2FEF6208C611CBEA5DBDF88316CB60D2B2CC7F73466492E2787E6E479E1039E4],[04F8BA9F82AE227DC349698CE943D95871B854B7BEF832EC73B229C08FABDBD90449D7D23255BCA5D09A1E8CC5F3A4EBA6C535DEB433F8F9FF453196E58F484D3B9610C41BCE,0E24EF2ED5C6EA893883BB7DF5716B4BDE74974952E087DEED8A8D48CFADBD488CD8B25FAF4A6FAA5D79369BEF3593D9458BA22D06C70CDCB9F947A55560D2CB86A6C74C5D95]] |
| FP4inv = [[084295FED174D47FAD923BB56A9A102657B5D1F1AAFE9486972C858A3894D3A05D6243EAA55D5F5DD17C6FB20130D81DDC544AFC20574432B316345AA25FC59239BB18C0C8A6,0C44DAB5B3D90A5E7640C21787172CDEB09BCE5E25018E43FA4E2786B816AF5FE2C3C742067C9239DCB71D829B71BD217CCFE8BEEBF472BFCB5532C84B3E93C587A4EF6937D4],[9856B169E8E47886672ED996CE91BB3194028BF4AEAC21DFC8C04668A4A201EDA7FB5027A8F375DED6C250823092EEC25510436FD45E3200AD2046E827949870519AB741ED,092906817234ED970C0C039E32E7E87AD5D80BAF7BF02A9561EB802455E25C70D0B8624EAB6820D8A99454FC486E8A35F6D4F75E08A22A4E9DD377E8A538023916FCBE9B7C35]] |
| FP4mulj = [[02619CF29D459EB2472596EDA216D9BD2CDA27129F120CEBD8E474E7A8D401FC17EB9C12E89D04B47F66B5AEFEB5D366057EB5064CD7DEC68DC909B402A7799C791C07A9BF05,0F2F40D533F41B36162B298279B6537E82B9F83BC6BF3D92F7ED2F5E8CF4E5EBD79D7B239C8734A3E16F7BC0CAA03123FE01CBD1ADAA91930D3C50189589F21AE763A5B9F8E9],[0352A47A6E721A27D71C1F2B4C9F7A3EF2F848D838A74F89B05E53B24AB4AB1600592AC49565B94FC420843BAF149FE9CC718D5F77CA96235626422BD714323C4D7FA3373522,01A61625143C0855EC2D4A619CA45F197EC00BDF8650E362C353D60E44F730C303F0AD0D9CF003560C799A5116DF0501DA53A87F3C6962D6A91EEF6B0E7B1610EE166D8CE6AC]] |
| BIGsc1 = 09F9875865ACC3B76317DE67AFF5E475C49823CC18CF2B94FF03BB1171683A132FBD37DC2D66EA39FF4028598FC8BBE460D9EBF4BA8568E727F47B7CEAF179E9F06B47B95343 |
| BIGsc2 = 1E |
| FP4pow = [[0322B779EF8ADF045F7C4C98D1900F5D4019F0FBA0D4FE96C22F03C029D7595261BCB5C548382EAB1EDC010BD8E20E2BF65F3C27119C9247B27D840D24A7F1B1F17CFAFD3491,06F5DFC5DBA240C786951A00B11D20A52EC65E37F101C908C37612ECDE5D58F31574F1855398FF4D426D3C1477838C801D175FA281F4B9725D36AC7E9FFFDC04B3CC82912F32],[0EE16264DB7AF007924F8934BA2FD58EEE6B5ADBB3328271C3E24CE0DE802306C9243C471F1CCB3DC93BAD2505E3D32BBDDF0DA14987D1ED1A7B6189EF2EB6D8F9E28B0BD460,0256272299D36B2A54628D95BB86FA4FECC208F2838ED213B385E297951351288FFF487686B5F7C4102BC5787ABBDDD1F578FAFC10B0E435DCCAF0F89AC54652516F6251C719]] |
| FP4frob = [[0352A47A6E721A27D71C1F2B4C9F7A3EF2F848D838A74F89B05E53B24AB4AB1600592AC49565B94FC420843BAF149FE9CC718D5F77CA96235626422BD714323C4D7FA3373522,0E2B675F1BC0F405374545E608C82757D3ECC8627EE610A3174134DE907406D8855083090AD0224E08A68635708C29BF5D55DE8E05BEDD52BDE1AAFB0F7ED8E5F7F98F69C55F],[0203789E21F736C74AF9FE6B774F8C25CE6BD53FECB44315EAEE701CAFD9478AEEF61E9668C6883B8B12D262B5CDECC797587C2E49AFFDA771BA762C7AA2D146C0B92E515CD4,0559CDA264BC5C9096B9D0994ECE467D150E2E68BD0C13A44BBAA407113D29566D71D9DA7D8D381450D83D7C46BC612E43E0496DE25BA4A2E9F14252A0E2CF5026AC130D9AD8]] |
| FP4_xtrA = [[076951D4382DE106878D7BFEF1FA0CEDA547C2442DA25B65E721012C5D0F9DBED1E9E51F3B09804E4F93C9E89E2BA1D09AA9713D3267DF81EFE1D6337BB9B31014967EA7CEB9,0EE9864B61FE523F6A1AC650F8A5063716DB901290C614B7BA0A057BEB7C3A385F9DAAB2C7EB2C4923C308F4176CDC041D9CF5A9D3A0FB5C99663F915B7875B66620E8FD9C9A],[028BCD57785AE21319DFE1CC870541067B8901D8233BCF76EFA02597C80253A4AF4A081BC5F0977FB2186378198F394A71CB03AC844D5829C4842AC707224E5A52828ADB3AB9,0480E8F6CFBAAC2960A24401B9C119A719F81DF5C25CE5A189A1A3E3852EB5690B7B33199B2D8D60E2BE0FC8FD2719CAA7673BB29C1E54D112EF253B5D45B15268186952E317]] |
| FP4_xtrD = [[0C5D8C610C9AD12F33B25C51BF8C7A520CFDD0A657FA7C8504DFE9ABE932D2D205FC52AECE9690EDCBDB6F9AA34CC42D93A11423BC4E8E8D30E0456C9623C316C2EC8498011D,8FE1B599B0E898B0AD392DE395801644668A84FE05EB299214814369BCB4B753A5D00FB003E54B02DCA187EA1618D31EB2490FEB779B4DFBD5EB21DA104EE9D965130DEBE7],[07B2301749DDA376ACF909DB1FA681C7A788822513E382F9B280F865EB47CCE180E73E4661FA3F5B08145036A6302ABF7DB807C58BDD666D9A2CCBD2FE4034346A16D729617C,0C568D1030C541AB621EF66D3E8C16833B57397A1C1B5DD314F848221D67FB1A53F91431C8F4DA14F03BF4C9706793BD96ED6EA939D2B850311B380014CBA433C95A2D3CA3C8]] |
| FP4_xtrpow = [[08CFE4674F2410121C2CEB737D406C793D8150CD57CA0E61CB0134281890DFE21B06252C5333507E83AE17FB6443F62770463D2D9A22567B2A262AEB12260BB55F7C927A1F36,0D23AA02B6DC3ECDCAC82A5D93EB10451B22DF36B6AB703B86788CEE7DD3A3E44FBC8531C847999E513788A227783B7F5F0071BF3BFD7B57692220A0E4EB0A55BB25B81435AE],[0283B64A8B9BF91749AEAAC6C9D41105CAEF567028D22FD672EDE416A45939B1683DDFC698BAE953D5A00F39CB5624E6746419F8CD3A0F44F00EB645958BDB19133CC721EB54,08A08D122BE559424EF1D6A98364899E87EBD0C1009F44BADE95E09D9B16407006227BF6D49CE5F624ADD1DF87CCD459C3D31B3079DCB2990F55C7DB433A7350F0EA8B9AFA92]] |
| FP4_xtrpow2 = [[09B057FB6BF4387C627E2A88CEF91D9F301B580C4D5FF67B35DD5B315257D903EF89D783D2E093E85AEDA55BDE63727D7E70DC73EF0A6137CA98EE3B0366AE9B3BEA7EED41DB,06D8A1F5D773872BB857E7AA5DA567DE53333A37DD55BE7669EA9EC826C91C65432083DB4E9C910C7540046B355F7D3E5D0AEEA7D46B234F03E0F2AD06055E84EBF2C7A3DA8B],[02FFCFE14B19694D2B98DA1DE79F6A8445E94B6C6CE4F2D91D7C5898477D093F5813700D222ADABBB66B36573DE389283E3061F3BE4E51B92E20189CCC71121793BC553BCE9D,0151AF39DEBE12DF33EEA6AD62BB923228A401DB7FAB5919C8616D4AAD78276EE9BCC19ADE5CB79452082DB6B70C9B9119100D2E448A0F851437F82E8E8FC4C34CACAD09CAC2]] |
| |
| # test 4 |
| FP4_1 = [[07561ABB2A4D82B50E925CA2C2F9FAB809F2F6E79A9B454023DCC2B0817DED8507116E8D82E51DF277D3A3275E76C3CCB93D0DC20507C8CA1566FE27B385787FE0D9B7BAE563,070A73230618D599A7066EB927AA6DFCB6EAAFB9A9EE53DA2985F13311C45D3DBC66255E24CDEDD2CCDC44AF208355C1902E4FD87BDD18D20074C70A25E15C398181367E7F71],[0F599BE7EC24ACE7AE2D81523E6DBEBCEE66ACE773704F5CF650EDEF3B9567A34EB86DF93AA0B04789C30CD5AF64D57FCC6680832FF8EAD17ACA86A1DC5EAB15435C412480E9,089A152EC080A1C40C42BE060E49FDF4DBB3FF9C9E35F594AC6FCF14E102C3FA070BE69AA5CBA296C9C2E57E6DD0FD94EE125D36810D5D6DF14332809C3C1FCB1C0FFB8E9191]] |
| FP4_2 = [[04D6631AC25D7FE4881B9B95BEB7A080BC9148D06A03FC1E5AC1FE4C3866DD07DD4EB29C47D88D38482491E9DACE2359812608059D0C3C2562AC311C1E3D95CD4AAE287E69E2,0918D3BE3BE30B441B44FB192366323B8D9C3E7FE86580E09918BBE9EB1BAEF8E8A877DA9EED25F0F5F0586F703CC5AEF2D2D85D845B7503CE6CD49C66C6499B3BE05059B3DC],[0641985FFBE073D736ED16D73AF2188FEA17A3AC77F1A87C67E51550E9AB15A219B34527766E8EE7ACCDE817F16EF8406A883273E615A8E8246454ED8B51AEDDF67BD7D1EE08,08D365642F9C91AFA3B4CCE8C3C0026D9E1C342F851CF9E2601512388B452CEB65CA379DB57F698A13CB337CF57AB7C151E9CB6022BA926A8D5A657971BC6F45340215E41418]] |
| FP12_1 = [[0131E16872C1C33B911FEDAFE69C55043C49506AA2F2DCAFC607A8E47C8AF62EA63AA8DAFB9F7230FE35B00DBB5E79533965C59AFE41148DAEECC4FE28E97FFEE91635340BE9,09A98C4C814558BF988B7C95D63AB65B85DD0C88E736114329C1E90023DCF93B6AAD4638132ECC2C2801EE0C4BE0DE4E34570095F2E128CE2239934D2AEDB0109D4FCE696EE5],[059A1FD9D136C3EDB9B1F542931277C25FA8AEF9651D693F31D803EB18C743DC80F87E8BE02988ACD58D28712AD98E8FC7A1190CF23A95F2A30C2C94EDFAA4422A6FE86C95EA,09D7DE85C93B54EE9BD7B0760623B540C24D843A87DCBA3BF8D1628659FB35B1136D30A0FC8D5250348574545396B1ABFE7DDCEC66D1F68BFB679E15BBFCF3668A910D4DA186]] |
| FP12_2 = [[0131E16872C1C33B911FEDAFE69C55043C49506AA2F2DCAFC607A8E47C8AF62EA63AA8DAFB9F7230FE35B00DBB5E79533965C59AFE41148DAEECC4FE28E97FFEE91635340BE9,09A98C4C814558BF988B7C95D63AB65B85DD0C88E736114329C1E90023DCF93B6AAD4638132ECC2C2801EE0C4BE0DE4E34570095F2E128CE2239934D2AEDB0109D4FCE696EE5],[059A1FD9D136C3EDB9B1F542931277C25FA8AEF9651D693F31D803EB18C743DC80F87E8BE02988ACD58D28712AD98E8FC7A1190CF23A95F2A30C2C94EDFAA4422A6FE86C95EA,09D7DE85C93B54EE9BD7B0760623B540C24D843A87DCBA3BF8D1628659FB35B1136D30A0FC8D5250348574545396B1ABFE7DDCEC66D1F68BFB679E15BBFCF3668A910D4DA186]] |
| FP12_3 = [[029A0AFFB36DF3BFB2EB14E5F5200EFAB505257B958DEC5FEB057B00BB6E9E60736311371434990636EA69F64E62BCCE0AEF424C932E7344E3725525CE46E5F78369BB4976C0,03FE1D2079278491E1F4DFB9D83C2ED6965A2117C3A23942D5BB7411DE0D88D2DA93A81FD1128A15F95855FB8645683B91F59EB37368602F2A8B9BF2F8ACF399B901734C425D],[0828C74FACB403955BDBF2F1D46ABAA7E2A3338E089C8E17B8F28A4F3E7226D706A18EE1F8803A62217C45C23BE52B43F44D799B1C34F281F2E44086555FFC4C65F26885DAC1,0477BA76971993921EC1680F3DD40BEC3071249E8904557205CA9A3A68DB2AD090D19A297DCAB0E74856AEB40826D7AC3F76052AD410490BDDE846520EB3A1ED665FEFD20388]] |
| FP12_4 = [[0A58D1E15188D09105E2964C7A930FFA8097DDD4DB72FBCE4478FCA98D808B55A68A82B6B8B3D76CB829749360E42EED9AA9AA5FE7656A5110EE2C0875F5C08164A6470B54E7,0EBC1B87E1F2631BF2BCAAF3BB968404C7FA365063A16077C335E731846C3C6BCBB0B3728361DAF0D3E33A187D8A5493964615E1C5265EB670CD288438712A34833B7A74382D],[05C8EF3A4FAA14A7BA3B7A7A43F31C294AD75D77EADD31A8A2A9637692D698F7A6D350CC58E356395ED9129C446F0A75E27E0450EF1CFE4CA202A9F0A19538BAD3008185F766,0D67755FA71B7FEE43847E198764AA41BA59783308A2ED198FBF499054BB8F5EE38E277F81F1B0F19F7B2D44F7C1DA4111E1A2B2F91266B84279F62779CB7B75452B2586A979]] |
| FP4add = [[0C2C7DD5ECAB029996ADF83881B19B38C6843FB8049F415E7E9EC0FCB9E4CA8CE4602129CABDAB2ABFF835113944E7263A6315C7A21404EF78132F43D1C30E4D2B87E0394F45,51C95D11FEE4829ED8D98AA5A419C6F1DA19F78D1CE0B4E809A2302774D49B1BCD6D221BFAEE1FADAC7C980954ECAF4B57A128BE104DAC67E101406EADB6DDD75189E18742],[05C9B6C3B8082463C1A807E1D3F350DB85D17C51E62B03D383A0F8534FD545A9DF2A830A094F198B2170D46719689EFEFF452BE9D3E65390382E412949B66AFC53C81BFFC2E6,019BFD0EC02037188C84FAA72C9D79F127235F8A1E1BFB7131EFD66096DCB949E394EE21B38AE67CC86DF874DBE086950852A189619FAFAF179CFD93EFFEA0196A02147BF99E]] |
| FP4neg = [[087B62C905AF79A614E033A4E2728BB948B9DD5A6A9BAEC5B6B8483C53ED4A16822FC18924DB07B19D4C7D5F28F46AF47E6C794B3D20775F51999C3E6A7476770536453BC6A8,08C70A6129E426C17C6C218E7DC218749BC224885B48A02BB10F19B9C3A6DA5DCCDB0AB882F237D14843DBD766E7D8FFA77B3734C64B2757668BD35BF81892BD648EC6782C9A],[77E19C43D84F7375450EF566FEC7B46446275A91C6A4A8E4441CFD99D5CFF83A88C21D6D1F755C8B5D13B0D80659416B43068A122F5557EC3613C4419B43E1A2B3BBD22B22,073768556F7C5A97172FD2419722887C76F8D4A56700FE712E253BD7F46873A18235497C01F4830D4B5D3B08199A312C499729D6C11AE2BB75BD67E581BDCF2BCA0001681A7A]] |
| FP4sub = [[027FB7A067F002D08676C10D04425A374D61AE1730974921C91AC4644917107D29C2BBF13B0C90BA2FAF113D83A8A073381705BC67FB8CA4B2BACD0B9547E2B2962B8F3C7B81,0DC31CE8FA32C6B0AF3403E7A9B0C2327BFB457BC6BFC6FF6B024035FC13E5E05CFEDD9A2DA0ED85EC0C0CC637B1BED3D504FE8839A9E3F799088CD3DD1501952BB0E31B77A0],[09180387F044391077406A7B037BA62D044F093AFB7EA6E08E6BD89E51EA5201350528D1C432215FDCF524BDBDF5DD3F61DE4E0F49E341E9566631B4510CFC374CE0695292E1,0F982D4EC0E10C6F8C008164EFF681F890449FAF1E4FEFB826EFC7C92B28CEAA2A82DF13980C5EB0CB17D287FFC17494D3D218E3A07B0B2CCAE9676D48799F7CCE1DE2A12984]] |
| FP4conj = [[07561ABB2A4D82B50E925CA2C2F9FAB809F2F6E79A9B454023DCC2B0817DED8507116E8D82E51DF277D3A3275E76C3CCB93D0DC20507C8CA1566FE27B385787FE0D9B7BAE563,070A73230618D599A7066EB927AA6DFCB6EAAFB9A9EE53DA2985F13311C45D3DBC66255E24CDEDD2CCDC44AF208355C1902E4FD87BDD18D20074C70A25E15C398181367E7F71],[77E19C43D84F7375450EF566FEC7B46446275A91C6A4A8E4441CFD99D5CFF83A88C21D6D1F755C8B5D13B0D80659416B43068A122F5557EC3613C4419B43E1A2B3BBD22B22,073768556F7C5A97172FD2419722887C76F8D4A56700FE712E253BD7F46873A18235497C01F4830D4B5D3B08199A312C499729D6C11AE2BB75BD67E581BDCF2BCA0001681A7A]] |
| FP4nconj = [[087B62C905AF79A614E033A4E2728BB948B9DD5A6A9BAEC5B6B8483C53ED4A16822FC18924DB07B19D4C7D5F28F46AF47E6C794B3D20775F51999C3E6A7476770536453BC6A8,08C70A6129E426C17C6C218E7DC218749BC224885B48A02BB10F19B9C3A6DA5DCCDB0AB882F237D14843DBD766E7D8FFA77B3734C64B2757668BD35BF81892BD648EC6782C9A],[0F599BE7EC24ACE7AE2D81523E6DBEBCEE66ACE773704F5CF650EDEF3B9567A34EB86DF93AA0B04789C30CD5AF64D57FCC6680832FF8EAD17ACA86A1DC5EAB15435C412480E9,089A152EC080A1C40C42BE060E49FDF4DBB3FF9C9E35F594AC6FCF14E102C3FA070BE69AA5CBA296C9C2E57E6DD0FD94EE125D36810D5D6DF14332809C3C1FCB1C0FFB8E9191]] |
| FP2sc = [0DBF0F5251C0426701F12F1827239C4B3EEA208387126F8FE017C07F93BC2BE8FEB65FC0C012B83C35C19B1366D52F0C670A08EEB0CCD38FB311A545BAD42F27D60381EFBE66,7785EBBA750A242CDA3B04BC1EF13BDFD3372E6F84ED213B04E124F3E0C84E88D96AFF17A807ED6671EEEDACCA93C56516AB56984A51FC85136173B3B9778FBAAE33CD1701] |
| FP4pmul = [[01B3CE9CCB7DB205BEF65807A522BB921EAF5FD45553ED87873FF8654DAD8519B6704CE935226740FD5A1BD137783FECAA7408DF6CCE91B1CE2E7CDACE7B342A2D54A564E354,03C3DDDDCB2BFE06FC62C5E43444033DDDDF3A815F30D4ECF43B559DFDAA6DBDBA9A68120C4CBCDCFAC88A421465CCD2E269F6928EB0B83D96381DE60A1837A11791B2B9F2C4],[092AB1A45AA0D697C2DB0231BCD7F1DAE03D8D7A86657E96E57B8522514163003D74346A073963B91AE06CC5B52F1D4F84FD046F43A6F296E77018809C296E6B365B9AEFAF97,0E379567489FD19FFFA85C90C8FB00AAEBDAA5FBA490D9AD67D6F81990B8B5C96B4994F6FCD005AC3E4C519CBFCD22FF784C33F60B1915CD1967F97B50E646E4255FC700786C]] |
| FP4imul = [[0630D2AD4EEB8BC4084485A0A38169B6CB2C1074CA9ADBBA91013D24AF0E90F38BF31B91E0EF3433525AC8EF93F91CA4F40DA238CCEF1A34D9346010FC967A88BC7D2A3A041E,054DDBE4E24D8471D1A0BBE3D192C384D2133AEAF8940788A1FCC8AC5FE1E01DABF14003C6A9A3D45174AD86DA1ED28378E1687C316F0A4C9A5DBAB853AA25B59E73A684D248],[0E69D8AF64740E00C3A3636770702F5425DA5E324FE3060B2DC8B3F407E9C7B2D9A6E9BE6061C58E7308E573FF5822FCF5E0736F0B9A4021A25E5F1959282351FDF4C9802AA5,09FCC2081184E8F10155A9CA8571736D406F2A93D56AECB82ABA6251CD9D14528BE283B949A2C22048288FF4C207C9FD928D909640FFD8206CC8FD1BB6BA706A6E1FF5B508A8]] |
| FP4sqr = [[0CBD8BD50959B9DEF5A837873DB085B09A217DC7C004946FE006D7D9D4E8ACC148D16C1A216EF4C75C157DCF409C378EF6F2F63E9467AD7754B6FF7044B8EBA1A014A39FB12C,0C68A768490ED76B3AC424EEF3851BD62850FFD3002270EBBC8677D112B1580FD704495FDA3754C1CF6356804BFCDBCF50E79EBEE83E0E8985EADFF0563844B7973F57156110],[0ED153742E9EF22A6EEFCC3CB4B5A109533420C3B5612EB4535E1D209369E147346197E4D2E7DC240F29DC8CC12A480BD25A1FC355ACA12F0D8F55EFDAC82AC1C6F48C8A7F32,067E4D45A7DBBF6D3476936D6A4EEA7F41115415719C6BE65953BDC3E1238143182BCDD1C253FB56C3199E4A9630E1EE7937DFDEC4CA199AD0B3DDC58044D6DD0F39254D13F1]] |
| FP4mul = [[05C89555CAA72A1260D2DB333A671027A79923B4D9E83F1D0DCD98FE5F9E694084E5A9F23DC244DF0EDAFF58C9CD2F1FAF58CCE1DE74B88069954D0C5104B0543004CB382DCF,053128591E6B986187EAA70F853ABE96B71013BBEDBB91C950F403E3417D6AE61AE79775C20F54C4CD595859981B262F278B1CD3545435FDF84C7A50E3C7C2720468FB194208],[0929451357DBE37BF3922F93C563068258046A60951ACB9E929FE5796FA238E8393FD602BE65FF308C6F2FF1F102D78F44BFED731A5305419EE8C1BAC48B10BD7F62DE5A8C93,03EEB7B0A54FFE8F0181B7E4AF4E5B0EB6E5E75E373879EC51BFBFB9C37C8708929A6005C7CC1EB77D39CE2F11A5EF952F1C83F923D2D5D2D25A1938A33A8C039FC240E353BC]] |
| FP4div2 = [[0B93CC1FAD253F881902767534334094AE4FE594CFE91CA2FF38E6CEAB74929048294F521552A1CB4679E1D6F2F0F946F8734A67A3980479BE33CC46E8BFB3BB6374DA58C8B7,0B6DF8539B0AE8FA653C7F80668B7A3704CBC1FDD792A3F0020D7E0FF397CA6CA2D3AABA664709BB70FE329AD3F7424163EBEB72DF02AC7DB3BAB0B821EDA59833C899BA95BE],[0F958CB60E10D4A168D008CCF1ED22972089C094BC53A1B16872FC6E08804F9F6BFCCF07F1306AF5CF7196AE1B680220820803C83910957D70E59083FD2C4D0614B61F0D967A,0C35C959783ECF0F97DAA726D9DB4233173069EF51B674CD43826D00DB36FDCAC8268B58A6C5E41D6F7183027A9E162B12DDF221E19ACECBAC21E6735D1B0761010FFC429ECE]] |
| FP4sqrt = [[0458145DA68895855CFAB1C3BF8568B9A00EBD6B2D9103B47EB148599CF6637BAD4151F5F6078CAD8D56832EC782A03152DAEA6C1CE38C97725C65C310E9D5EF2EFCD9C4FC78,6C4C3E3D0044675660E7A7F0040F34BD348A9965CAEA6DE378336FCBBC15BA8C178A7C23E49131C4671B29C85BEB675A3BAC363339D97379C2264A6211AD5B0DAA13EDC703],[07BF896A61B5135C24440802D754982E230280279652AB165329FCDD9B1C2A4F8A21859BF3D6DC7F81F0338BC2193B1C9B89A285E826C296B4886F83FB9CDCA757C6BE3AD5B4,0A33F9809DFC73D12D6C188F3A267FB0E78C190DF62047C8FDAE609C532893A15CC6B8C957EBA0625A73B684E158301BAE63C7FA1E562A3594A3120CCC9CBECBFAD645C13D69]] |
| FP4divi = [[0F599BE7EC24ACE7AE2D81523E6DBEBCEE66ACE773704F5CF650EDEF3B9567A34EB86DF93AA0B04789C30CD5AF64D57FCC6680832FF8EAD17ACA86A1DC5EAB15435C412480E9,089A152EC080A1C40C42BE060E49FDF4DBB3FF9C9E35F594AC6FCF14E102C3FA070BE69AA5CBA296C9C2E57E6DD0FD94EE125D36810D5D6DF14332809C3C1FCB1C0FFB8E9191],[073046EF18332C275ACC65ADF552345A606ED350A244CC8D26B159F1C9A1256161BBC9F5D3D985E2A257F3EB3F7D0CC724B5AECD407270CE0AEDE298ECB36A5CB12D771CB26A,0FABA9B81DE2A5CD6FAC9952D7C4C013A928B0AB0CE07B52DD69A22E1D8E6F77E3EB8B7EF8B48D943FA4714A687177BBA32228187D92E82D5C877ED75727E0D3B663BC587912]] |
| FP4div2i = [[0EE1BA4BA84C5D7438E8725CD76EF7088A20858CE1A9AAB4120CD0F1A1BF97AB142FABDBCD813AEAFE65F924D75E7C3E612379F91DC995798E9472DD9AC36733A0A8855255C7,0162ACD95104472CF512EBC47727757864BB2AF73734F7237E4A933CEC9A505884D69D1EA3D71F897E65AA765436CC68A47B335FBFF27AB27B85CA9B1A7E509F520FFA267717],[0E608DDE3066584EB598CB5BEAA468B4C0DDA6A14489991A4D62B3E393424AC2C37793EBA7B30BC544AFE7D67EFA198E496B5D9A80E4E19C15DBC531D966D4B9625AEE3964D4,0F85D5EC0BC84F3FBBE6A25E0A1CF9B5FFA48D14148A029FE03E396F65B1A7543E95E6E749A8F5846A28C20E4977C0B60E9AC923B8FD9031520E63489055D2B086B77BBA4619]] |
| FP4inv = [[0A56A4B7840179AD0239DDEF58D9ABFF83DD349B20BC0BB7DB15C30DBAD1957C7747F304B2FED783083B00A17A4CB91189DDCD8AA62EEF89A1FE5A9DA5F777257754EA7EB2FD,038C571961D49481F1AC72435E61290FD87AFCF383A155380F4AF117A44FFE10D5BFA2BFCA5DBBD20065252771CD6F2BC73698D80D1A0A04C5BEBB2BAF149386F2AF35D6E557],[0368D61DE1E28CA99284B1661E80AE46888A2FD942F13D05D0CB6EADB0A70A755E7C0F848140D7CD4315C1BDD81C019BDAC213861DB62847186905F08FE7FE6982CAF90B19D8,0E8DCDFEA4DE768B730BE1299228A7D5CEC15A9BFBE09DE8D1326353F3D9D168EF5D77DBC0998327BCB9C4E64CD049FF1C7BC534E7EF24051C955E6B2A03C5CC91B41E096899]] |
| FP4mulj = [[06BF86B92BA40B23A1EAC34C3023C0C812B2AD4AD53A59C849E11EDA5A92A3A947AC875E94D50DB0C00027574193D7EADE54234CAEEB8D638987542140228B4A274C4595EF58,082233927CA8525096FDAF10A74B3640776DD8420C6F50EBC82BB217472CF401CC83247D38AC2D3A3E65D1CD95CAA45382CF56AC6EDE0816050D1EBC5AA0DBE9795C3FBC666F],[07561ABB2A4D82B50E925CA2C2F9FAB809F2F6E79A9B454023DCC2B0817DED8507116E8D82E51DF277D3A3275E76C3CCB93D0DC20507C8CA1566FE27B385787FE0D9B7BAE563,070A73230618D599A7066EB927AA6DFCB6EAAFB9A9EE53DA2985F13311C45D3DBC66255E24CDEDD2CCDC44AF208355C1902E4FD87BDD18D20074C70A25E15C398181367E7F71]] |
| BIGsc1 = 03A5ED79BD5F5362825C90BB795297653E45D4F104832B76EF40F4FA57F43D1C79C227A478B22D13026DDCDEDBDBB5A0C62BAC5E78FE8D1ED6EE8AF9CEEC94B771BA748560E2 |
| BIGsc2 = 48 |
| FP4pow = [[0D08F3ED3DDC745A167A2F6712D4E74C59A84CB8A36DCF53A15E02A4C1090984CF824BA019063DFE71B1018C309EAA931E708172C8C388B89F7F74901156960A62D02EFC7AF4,0A06A1B1A83B37138E1843745182EC14737D8827BB8DCCF20EEE5D1C1FC569A82A53516E524C5E3AB66F77B12C20B0B181213EBB25A1F87E64C377026443ABD919CD8556C60D],[0B02705B81B236F175612529CFDCADDDE99B7FD904A41DB3ADE5ADF063691007FE2B4BB15B4A7941CB8F7E447F3B008693E72F1453B9A72B530C5818F949CA0D6CCFEB01A216,0294BD36B4F45E3F692E50B041F973EACBBF1F481C92EA78A578B972A922A5961B622E29E2CAE6ED9A46DB3EFE7933BEB30E31D9BE336991D254E790EA18AF260FFAEE553897]] |
| FP4frob = [[07561ABB2A4D82B50E925CA2C2F9FAB809F2F6E79A9B454023DCC2B0817DED8507116E8D82E51DF277D3A3275E76C3CCB93D0DC20507C8CA1566FE27B385787FE0D9B7BAE563,08C70A6129E426C17C6C218E7DC218749BC224885B48A02BB10F19B9C3A6DA5DCCDB0AB882F237D14843DBD766E7D8FFA77B3734C64B2757668BD35BF81892BD648EC6782C9A],[08EA954FEDFFEA7162FB6A0EC6A13DADB70794E0969F3CEAF099D3D16B141DB8E918440F6781E28E5D6CF3C2C63D0B13DBA3915DE8FF742F334F7C3B0D570B693F0B80D11BB8,0D7518DC02D1E9185E8F8430C36E5CA7EDD03212255AD8171DE492486C7DBEB9DB8E4D5A241AAB0D674AAB902861DF0A0856A45421BFB8A7FAD3A95D909290E963BEDF2FFD37]] |
| FP4_xtrA = [[0202634338AFAFCF6A0BB134E078FE013088C6FF613BE7F01C6E9821233081EC4254B23AF5FFDA32C9A7E399616660461B6F9B5A3D50B84910EC62398A85E8A635BD4EFA7C6D,04347C6C55D4B4AAB8546C47E02EECD9E333556B5326AC086C7C01C63E5CC1889B246AA40D14536319D7CA438F0EE9B5DD6B94BC85F45DC20ACF0C87FC5D5ABBFFD30D101275],[0E719094D0FDDA1F14DF598862557987F5427213FCA09BED4AB0F192FBB06E7419A3148F9F5B741DCAB055CA9C61CB2567222CBD75607C24BE34CEDAD593C85E8B78D13A1951,012F6861C092CB5A6A5525DF06CA2F37D5FE72BA12F14856BFB94B0CD195EB826685C1B795D7E2655BE073E4CE43A47BDF737397A4F35500004E0D4687031B158BDC85985FF0]] |
| FP4_xtrD = [[0DE2D3E2E4BBB0CFFBF60E895D2916B1D8E8643A9004FDF572E25D65A7580952C3EFBF15C364DE86818E58070B19DEB6BC2261C7CC805C0C90E99D86FBA7E998C47131209271,0E253EA66CDA28931029D7C4499CC64E0D2874A1B17CBD3D440FA057C493D52FE7792EBA385B9EC04ACAEDA892615F0D6834861B32AC1D0EEC01EC42286F7B3B7A4CE70F0E39],[0DE1903BA6EE53438465AE51E6B811A08AA7D20E91D3E5628AD5E3255FBE4156BF5013A9F8A8F16AF86FB52B111D9588FBD412AF314DF67F35232E675791A2FE818D14E628EE,07E0FA1EF8E0069A29897F31E1765FF7A5CC7F0CA8D16309D79E5100CDBDD19B9D026AF0662B1AE0417F48C0EA67AE571DB3133E84BC944D4C39A8609AC3277C61491F738B08]] |
| FP4_xtrpow = [[0D42A6978F86E0EF862E05F3B3411D97F1084869E0A2E34151DDE5517EE1B5B49F6A3B1506F46C84D05859A1B99DAC7FD6937F922D49C9E336112BF55FD06F95926DDA930FED,0CD4682E1DC8A8ED0511DFB9D34AD6EDB9DC2456DBED38718CC678DA4D36389C9436997FC73A0B2F9F3564D0F828D3A8B299397C06F3FFBFCFC5A8C1B0312C832F5DD1FEB6D8],[0C19DC7F9BC2DE3AE5E02199433A3CE6D05AB3C2CA6FDD7E8676B4FD522C9C853D84FD6F29048C3F634F3CB90D8E22A2B6CDF979E6CCA8E5FFACFEBFA4199EA70EDF78096D96,0DC9388FEAFE8A531E4164EB1879B6B9E6A73E90211DE1F6EA558749ABD853A20F736A0DAF5578ECC8DE9AB4A5DBBCA23A87BD1DD284B90D6DEF302E18E18911CB2F07245932]] |
| FP4_xtrpow2 = [[3D4E2B90408A21A308EC65A71095FB52ADF12EDFEA2B2C245B89B9EDD755BF676B52DEE1F00F03ECF7A5789A0CAC7673CC5F4F435CA455F5B0A27C39BE8A1E2408CF4C5004,0667672B1B7E8F93A50353AFD353210B15E6D2361BFA85858C1ED98E68A8A2CD73CF927D766E827AE749A809714FFE82AFD6E5983AC4B8B183D4213F02BE5A3E2CD1E4F66526],[0F079251111DC0A10F9806CB5C01CC67F201419AEBCDE29B3997EBB7DB9D4B3D1B68D4EC654A3EF8B10D89DE16D5F7309A77146E3941D8B0C882BD507F3BC1130C14C161D9AD,08BD772456DD1C78BCD6EBB314604F3565BDB5E4C872B6EF0EF12E1AF58F48CBB17EF9F060789F5700F8FFB106F973B19C6E41DC6259AFECC84F0C1EC352F0AAFD8ED419BFCE]] |
| |
| # test 5 |
| FP4_1 = [[074B8B2088A23CD5C87495B0E7334358C21A27CC06D0849007AFD9FDB4BBFB001E1CBC3046E0C871CFE3FA335148A03BF85053C13854E22CA89481BBA8B33D82DB10095E5382,04FB789F91FE865ABD2B80221FC0B994B1F57EAA8B8620F76153223D5E27293532B424E6A6A0D8FA86E29C0281FDF0AA1BE00956CC93E1338D62E473C998F14C93C22EC3BAA8],[C544C38EA91A5A39114DFBC874DE4A1A1F877D63755454DEB1CE09F717C1C556B2F8E46B8F8B37931B3631B72CB5460A801470E8C4026FFC2F89AD02C14521D7E6C9B548CD,0806BFD32DF4E9435A815B1EBA298443562C264E3B2B1507F8C8237B77DD7A0A3386AC5846AFDA1A954586950CEAF0BE5E57417F16D7C5D16DCD484DDFC9626D899930085C0A]] |
| FP4_2 = [[049CB0DA29E68D04C1BD60CC3EAD0BF3E4931C6D9774BD6FE11A25687EDB470FE91880D000DC93D62B78AC76F6CB63500ECBC1BF59CD4F8E930F15222CC8E95BD9C59D6FE8D1,01DD9083AE7135D22B2139FB077DCC49C9E9177F41B33C8C9493857428E217CE1A6BC80D974BA59F2A370906B02B4A0BC512DEAB45F67FA317E05C66698307646F8DF9D07DA9],[02A639E0034C8A58C6065C4952DAB67885F75ECC6D4A290172407D872F778AB79EC928C45B503403F2D28EAE49E4D989BCF7B19D1AAE9E8FFDC5748717CEC55C71346856DDBA,0713AD749BF84E8D19430F6EEEF281E9D066190F685D376ABC3C7E0526106D61D6DB14A057E0D200D92B629D914DAD8654309BDC2D9535F5A5BDC1F6DEDDEDA0571D006B9067]] |
| FP12_1 = [[0DE7B58A275F0CCF86F0AACA3D3217B4EF531695B705D8F838F9C79E5B8598916BB75E4142A00D2D1F01F57B85E1D33EB21418CB3028F9F5C631D8E3F883C8776E6F76642B85,08EE51ED2633F80C8B07619F2F58C877A6B5F08B549790CC552A2A14D95C9569D6A14BB1A1E2184E33DA287E2D177E6403778C3DAD19B771C33944059B7BA672CC52E386EDA5],[84FBD1EA94764C04187AB0695448C05496815C940AF323A9EFDBEA02BA1F2978D0E03B7553A6048EA5BBEFBE6E655BD40FB0332C079DE3B80EAFABC8AA79869DE80063C15A,06187F30FA929668DBAA6E1670CA4CB2E85F5176CC6543CD1540DB11EB994343C0C0FD0F9AF834F2713D96EE974792368B6D2AF7DCE5170404D232D1C9401AA30EB6ADB7E23F]] |
| FP12_2 = [[0DE7B58A275F0CCF86F0AACA3D3217B4EF531695B705D8F838F9C79E5B8598916BB75E4142A00D2D1F01F57B85E1D33EB21418CB3028F9F5C631D8E3F883C8776E6F76642B85,08EE51ED2633F80C8B07619F2F58C877A6B5F08B549790CC552A2A14D95C9569D6A14BB1A1E2184E33DA287E2D177E6403778C3DAD19B771C33944059B7BA672CC52E386EDA5],[84FBD1EA94764C04187AB0695448C05496815C940AF323A9EFDBEA02BA1F2978D0E03B7553A6048EA5BBEFBE6E655BD40FB0332C079DE3B80EAFABC8AA79869DE80063C15A,06187F30FA929668DBAA6E1670CA4CB2E85F5176CC6543CD1540DB11EB994343C0C0FD0F9AF834F2713D96EE974792368B6D2AF7DCE5170404D232D1C9401AA30EB6ADB7E23F]] |
| FP12_3 = [[0E6BB00B4EFD57100309A8ED0ACF765FAD845ABB7D0082499BBDB6853F4D8382BE0FD69C2A43A99B1ED1960A691988EAE16EFDF0356FD4296CFF459691CEEDA20648321FC8E1,07CBE954E9A0E28CD3D569DBEFDF038421C144EFEFF1308D9A24A1C2B473B774CB7D39CFF52B9FEBD812F027D21CB49D1BA5B59CAFAFCEF9C54A68FC6C83154BE5C1A109E6AA],[0A94E41235BDBFDA6D50B442774210E06105E56567B4369A7F33156E4531EFD3EB7B5AD02DFC9977B14FDEFACAB224CF7D8EFB53CF896FBAC0911986AF66E98233D20584FF55,0B72BA368DDB330CEB675AA2DA277F06FA786FE928581EF1976BDDA139190377F454345C4B81CA73EC178F20FC6A9410AF7F3578FAC08DC2D9ABCC4F322F715278726C517EC9]] |
| FP12_4 = [[0C2F6E8A085B05E24D50A752BCCCCA48C3AB12A3334A7D98D6FE23D91AFDBBF98CB90159E1BFB6540E0B854D255FA776C7469A840111503B8FC7F297ECF53494B093BF8A4ECE,055A25FD9D34EF97B2D018BD863FC2CF68AE7195636CADFC6A0CF69229AC0181B2FE126E6FC7EDA5A14290CE9C90EA241971575551287D67BFD8DAB9E6928165E1854B234478],[092565ABE25E3A9A941A608585A2DFDC482EE512AFF01664ECA1F81E86AB5884B5AFFA80C183E723E9682A7798F1F875B5BF57D1ED034A59603541B9E4BCE7DEA1935D92A134,084097549D5F2F6361FDAE80803E280AB72CD1B9A09B13ED47F6BE028BF4EFE92BB719D028B7A507963702A95771A20DE3E7B22AFDA38BB31382FD076F77B808D36E0E29155D]] |
| FP4add = [[0BE83BFAB288C9DA8A31F67D25E04F4CA6AD44399E4541FFE8C9FF663397421007353D0047BD5C47FB5CA6AA4814038C071C1580922231BB3BA396DDD57C26DEB4D5A6CE3C53,06D90923406FBC2CE84CBA1D273E85DE7BDE9629CD395D83F5E6A7B1870941034D1FECF43DEC7E99B119A50932293AB5E0F2E802128A60D6A54340DA331BF8B1035028943851],[036B7EA391F5A4B2FF17AA451B4F94C2A016E649D0BF7D5650F24B91268F4C7CF57C21A8C6DFBF3B85EDC4E001118ECFC777C60E0372A0FFF9F4FE341A900A7E491B320C2687,0F1A6D47C9ED37D073C46A8DA91C062D26923F5DA3884C72B504A1809DEDE76C0A61C0F89E90AC1B6E70E9329E389E44B287DD5B446CFBC7138B0A44BEA7500DE0B63073EC71]] |
| FP4neg = [[0885F263A75ABF855AFDFA96BE3943189092AC75FE666F75D2E530EF20AF3C9B6B2473E660DF5D32453C265336228E853F59334C09D35DFCBE6C18AA7546B1740AFFF3985889,0AD604E49DFE76006647102585ABCCDCA0B7559779B0D30E7941E8AF77440E66568D0B30011F4CA98E3D8484056D3E171BC97DB675945EF5D99DB5F25460FDAA524DCE32F163],[0F0C38C0A153E200EA61424BDCF7A827388D4CC4A1C19FB0FBE33CE2DE5375D6328E37323C309A6C8204EA54D03E797B2D29729C59643DB96AD110B91B38A9D50E293341633E,07CABDB102081317C8F13528EB43022DFC80ADF3CA0BDEFDE1CCE7715D8DBD9155BA83BE61104B897FDA99F17A803E02D952458E2B507A57F93352183E308C895C76CCEE5001]] |
| FP4sub = [[02AEDA465EBBAFD106B734E4A8863764DD870B5E6F5BC7202695B49535E0B3F035043B604604349BA46B4DBC5A7D3CEBE9849201DE87929E15856C997BEA5427014A6BEE6AB1,031DE81BE38D5088920A46271842ED4AE80C672B49D2E46ACCBF9CC93545116718485CD90F55335B5CAB92FBD1D2A69E56CD2AAB869D61907582880D6015E9E8243434F33CFF],[0DF08867BB598C5C967D81FA1B06AE42E6D4FCF2FB621F5947065B6F9D0B6EA9412B0036B7FF7CD7B568C809F4B30A7D8531E9E1103DA409656AAF8C08EC6EBC4CC25E55171E,F3125E91FC9AB6413E4BAFCB37025985C60D3ED2CDDD9D3C8BA57651CD0CA85CAB97B7EECF0819BC1A23F77B9D43380A26A5A2E9428FDBC80F865700EB74CD327C2F9CCBA3]] |
| FP4conj = [[074B8B2088A23CD5C87495B0E7334358C21A27CC06D0849007AFD9FDB4BBFB001E1CBC3046E0C871CFE3FA335148A03BF85053C13854E22CA89481BBA8B33D82DB10095E5382,04FB789F91FE865ABD2B80221FC0B994B1F57EAA8B8620F76153223D5E27293532B424E6A6A0D8FA86E29C0281FDF0AA1BE00956CC93E1338D62E473C998F14C93C22EC3BAA8],[0F0C38C0A153E200EA61424BDCF7A827388D4CC4A1C19FB0FBE33CE2DE5375D6328E37323C309A6C8204EA54D03E797B2D29729C59643DB96AD110B91B38A9D50E293341633E,07CABDB102081317C8F13528EB43022DFC80ADF3CA0BDEFDE1CCE7715D8DBD9155BA83BE61104B897FDA99F17A803E02D952458E2B507A57F93352183E308C895C76CCEE5001]] |
| FP4nconj = [[0885F263A75ABF855AFDFA96BE3943189092AC75FE666F75D2E530EF20AF3C9B6B2473E660DF5D32453C265336228E853F59334C09D35DFCBE6C18AA7546B1740AFFF3985889,0AD604E49DFE76006647102585ABCCDCA0B7559779B0D30E7941E8AF77440E66568D0B30011F4CA98E3D8484056D3E171BC97DB675945EF5D99DB5F25460FDAA524DCE32F163],[C544C38EA91A5A39114DFBC874DE4A1A1F877D63755454DEB1CE09F717C1C556B2F8E46B8F8B37931B3631B72CB5460A801470E8C4026FFC2F89AD02C14521D7E6C9B548CD,0806BFD32DF4E9435A815B1EBA298443562C264E3B2B1507F8C8237B77DD7A0A3386AC5846AFDA1A954586950CEAF0BE5E57417F16D7C5D16DCD484DDFC9626D899930085C0A]] |
| FP2sc = [014310C2DE20CE189DC24BB090DE29EA654832735B871AA1A170CF3B4346BD876F091602379EF39DDE5E9145EA2F303F665BF5EA3D9EA853D60E673109E09A19295709EECDE9,0930E65B66C39AF6DAA979F3732777FD2C60B4675ACB0AAC03EC1798E31A2B9C87D51A3F0CAD457F1AD7F6C6857FBBC17546A9BDA4BA44A58E5132B26D3FA24B8E170C8007D7] |
| FP4pmul = [[0114E7569797EB277C442093EB2C3759492BC8CF8289B852EA95F12A9E4AB6378C3CBA03CB243C13FE2A0BD55E5ED9817E37D3E7281CF3281521877329CD29208F436D621AD7,097E9961D365BA4210222F707127457F61F74F29C67AC3922765348FADBE3E8EA9A07F9EF13566BD23B714839D586C345A7F69663D56FB0027AF2FD104CE3EA0A941BD4FABB8],[0251381D2B51ACAA2E89724CD4457BC1EC42D37A5050428D207B0C53108B0C7D94C9AF77A745D68191E2067F80CF1363DF4CE6286ACD36BF9044BDE649516261B5C69C1C23DE,0DAAFD6432FA97FD9AE28489F36526D54CC9BFC2B39A93B03F9FF91C37A5ECC2CFF2B5BA8A66DC2723267D98ECDB1587D9E7BA573CBC71A6AC60EAD79D3A680A99D29DFB124B]] |
| FP4imul = [[0D5CAEFDF28BF6FBFE5FC67BF76086F1B5BBCAEE160B1E3A442A5D09FD84B464EF31C0AA73C2FC232A6FC846BDB7522EA997C7F79F2B48893B516C8884D3071486302882A1FD,041C64FA17FD1D0FD13B7040D9965FE17529266828E18FD7AAB77E08A3316D39418F6383F2C33E46066A4F83808C93E737D69E4DF02744A4CE8AF7690869D63B68F8BE183E95],[0315130E3AA46968E44537EF21D37928687E1DF58DD551537AC73827DC5F07155ACBE391AE3E2CDE4C6CD8C6DCB2D5182A0051C3A31009BFF0BE26B40B0514875F9B26D52334,78044457D9AC5723204BEB9DCD042AB356F0B4E23E6C142DF67814349F78F1BB985133CB3F1D222AD5D94724D565770A09F7E1D70E96F2E933EC6B4331ABC85A44C6341812]] |
| FP4sqr = [[EF57E4B09F63F719CF500AEB96C2F393FB3FA2D516A3DEBCDA2530A7842E02D721E24C32A27291D4E265CD08FAA746C300979A804E169523178ABC409855B4DD96E49572D1,088EF4E5DFEC110214389C8DECACB78973CE01E9C72E4716FAF87F2FF34A8918F58984F88DAE0C918C47F45C12A33819C6F166900D9B986DB66EE19490877E328DA4B86A188E],[0B2F68CB2D255B65E114C1575A58F3C1C2EE3296F642D73BC50430E1ECA2751FD0DA5CE0EDC51CCC43390AF4ADBEACFB2916FECBBE8A66953224DEEE15F9D6DFA2F304096C18,08D4C1E525B248B9E48078AADE802C4F621EEA9279A549BFA13B6392D604B4C626AA940AA3FE6FA9F606014FBD102359E8F5023591C84939BB6881521403C3895D9DB29027FE]] |
| FP4mul = [[0DE1218EFCD8BAC7D578F939E454E8E5421D047142E7F56AF38B05E66E48FE1DBE64218D5CD20968E92A518B5C3FA229F5AA699474F51B054142C33B9297CCABCF7AE29FE0EE,96CE7102B87183F1D144D7DF45F581B4C3C8F59DA5F1E763C0416BC5AD0759935D5ECDC41D488FB1D5CA43E26E30E05E751ACEB282B9736799C1A612C6FFE31EF345504D8F],[0C1A1FAB6A7BDFF5FBA0FD9559AC58BF5908C3681473A03D8022003113E79B4B18EDCAAA8196602637DA4F30482D92AB55300AE8028CD84E9EE315658435B24945F87889A6E6,04B475F96D63C7D49ED8A9B62DA516457BB69F645C11472D11762093122720A7700A8B1ADC9E893059CD72DA42E9C639F7C81ECD74BB5221CB0C61370095424FD9BCB357BEC7]] |
| FP4div2 = [[03A5C59044511E6AE43A4AD87399A1AC610D13E60368424803D7ECFEDA5DFD800F0E5E1823706438E7F1FD19A8A4501DFC2829E09C2A7116544A40DDD4599EC16D8804AF29C1,027DBC4FC8FF432D5E95C0110FE05CCA58FABF5545C3107BB0A9911EAF13949A995A127353506C7D43714E0140FEF8550DF004AB6649F099C6B17239E4CC78A649E11761DD54],[084B6123DF530B5AAE41EF21B6F0B25DB6662DDFB456242D5CA36C7B66417CB06FFA147D89A7D86DD41DAB5C1F4BF203A114CDBF1576214CB1981209905D9A0C5EFB6355FA6C,04035FE996FA74A1AD40AD8F5D14C221AB1613271D958A83FC6411BDBBEEBD0519C3562C2357ED0D4AA2C34A8675785F2F2BA0BF8B6BE2E8B6E6A426EFE4B136C4CC98042E05]] |
| FP4sqrt = [[3703126BC676057C6091D4B390592A42A68A480FEE007368CE7357D1067C83FBD816DA0B55A82C8A7CCFF4C4C958925B72F588F787393B8F7CBE8A16EEEEEB3BFB3EF53DED,07C21A7FC95CDA4317BFE61E9AC2B471F3F72F8A56270DF6589DD5F4C6003E25B5565FC105ACA4E45F06B7044751AA978B9B54DD4069CE142DB50DA92057E7AFDF608AB1A0A3],[0CA6527DD68DB4EBD72D23408503BE29BA86B56A33571F5FE93C18C6F34CDC6536E360AFB432CF9BA2DF05A6CF750FE9BDBF5BA2E2964F782E892B978CD638D5B1CDEFC9093A,04E4AB7191615AC5D88AD717E24C180D9FEDB34397C5B523A549D0E82104839F0AC6F8CFB2F5D794358E19FC9168B7B729B54D4CFEC38BF207EB15491D4FD2F2705409C77053]] |
| FP4divi = [[C544C38EA91A5A39114DFBC874DE4A1A1F877D63755454DEB1CE09F717C1C556B2F8E46B8F8B37931B3631B72CB5460A801470E8C4026FFC2F89AD02C14521D7E6C9B548CD,0806BFD32DF4E9435A815B1EBA298443562C264E3B2B1507F8C8237B77DD7A0A3386AC5846AFDA1A954586950CEAF0BE5E57417F16D7C5D16DCD484DDFC9626D899930085C0A],[062381E00D50619842D00AE98379FE76BA07D33B492B52C3B4817E1D8971921AA868708B76C0D0B62B634B1AE9A348730A182E8C027461B01AFBB317B9261767B7691C110715,0EA97443B4AB211D9DCE058041B3418F4A9A7FB14791C2398766AF0CAA20CEB6138CE471D7A02DE8709F716E1FC5D6F8497161D80C47BFACD967CBC22E6CC8DBC2690FA95F9E]] |
| FP4div2i = [[018A89871D5234B472229BF790E9BC94343F0EFAC6EAA8A9BD639C13EE2F838AAD65F1C8D71F166F26366C636E596A8C150028E1D18804DFF85F135A05828A43AFCD936A919A,3C02222BECD62B919025F5CEE6821559AB785A711F360A16FB3C0A1A4FBC78DDCC2899E59F8E91156AECA3926AB2BB8504FBF0EB874B797499F635A198D5E42D22631A0C09],[0C4703C01AA0C33085A015D306F3FCED740FA6769256A5876902FC3B12E3243550D0E116ED81A16C56C69635D34690E614305D1804E8C36035F7662F724C2ECF6ED238220E2A,0D816B03395945E018297AB8DDF9FCAD42882B2089EC906D3438532C7ED665D09DD898CD0780362CCC1EC255B8207F2F5B393CA2D6673F304BCEFD1E3EDFA2C09EC2225C1331]] |
| FP4inv = [[06A56CA84E743C0C6F79EBE6A0AEEB1631BF98634AC6331E93BE7ED60D08661EF6B24C32CE7941772432F17EA36723F6950453ABF7BD9FC900574B16DF2D8FDB7ADA3924F13C,0F4158E1133C46942380F79010EC5D34CF4823A45EF7AC76F46E33B9D4ADC6479EC5B5CA3CEE0E9872E5225FAF9020A09568357F303A08D60266F456E326B940D4B1CFB026B0],[011BEF45FD3DE1D4CE2E34AA9EA880F61DABB218A7E9FB28CEFBC1FE23CE4B5D96504A0914E24DC533B8DCD1D703522E0D75C8722A21CE4C72A86DE3931EAE565C3DEFC73D5B,0D67697B32BF97FFBA67EDA581AFD4D5DA6A2DB6713F90A8FC0A61652F7E282D51024722AF4BC1FB5F81963635790707828344E69705391BF82871572FB9F3ADFC3759B412E7]] |
| FP4mulj = [[0890027490B12D7202028324B3B7E07816A035712D813352C07EB57B54A57F56AC6D7CA2CC9FD6C112F5D02331ACF348E3D259FF14147CC7F562DBC540F1D1AB345D96A398CE,08CC0496BC9E039D9392A91A829E628D704BADCB9EA0695CD779F1856EF53BCF8A39A53CB23F65522860BCC6C417A60468D755EFFF9BC84169FCD1FAE28AA78F617FF9BDA4D7],[074B8B2088A23CD5C87495B0E7334358C21A27CC06D0849007AFD9FDB4BBFB001E1CBC3046E0C871CFE3FA335148A03BF85053C13854E22CA89481BBA8B33D82DB10095E5382,04FB789F91FE865ABD2B80221FC0B994B1F57EAA8B8620F76153223D5E27293532B424E6A6A0D8FA86E29C0281FDF0AA1BE00956CC93E1338D62E473C998F14C93C22EC3BAA8]] |
| BIGsc1 = 0EC67589C54489D9E937E979E3154B404E14DC2324C4A126EF4104713D6D77CDC5351F0B1D300242BA85E30005554511982AD1B54DE3711837C7DE83F579E17FE3713CC356D4 |
| BIGsc2 = 43 |
| FP4pow = [[02ABB508E5ABB051B2DCD0AC06E09E3D5CF2DB63722C65D871D965F5F452F25E6E5BA3339D7DBE0895AB23C6A7F0E7C89C31453D745A396DAB04FCBCD9DEEB7E2BD64F3552C8,0B13827D14F7EABBF7CC763B3A2FC088997C1DB83928823BB88C7C855F00160A38E95356028E954F6CC07D40CE58120FAA883A3C23B3D4A818A1BC8DAECAB7991F5506319146],[0BA4C27ABD2FB70358A8DC71D26F793A158E35B0EE8A02E046632C99A0F188BC9B56031629A751B973E17855B653335BD412E33844B593D161A43DB27F98A4E6BEF59B0C8059,09781C1DC2706FDDB47C2AC5B40F6351CBE1A82BBB92D40D8A330A6A0A4AF0F53AF13464FDD88BA20DBF328B6F73C897BFCFFEC98ED38B0C07430F8233FA5FD80987DA79D8F4]] |
| FP4frob = [[074B8B2088A23CD5C87495B0E7334358C21A27CC06D0849007AFD9FDB4BBFB001E1CBC3046E0C871CFE3FA335148A03BF85053C13854E22CA89481BBA8B33D82DB10095E5382,0AD604E49DFE76006647102585ABCCDCA0B7559779B0D30E7941E8AF77440E66568D0B30011F4CA98E3D8484056D3E171BC97DB675945EF5D99DB5F25460FDAA524DCE32F163],[01425BB4CB2C05B4E2AB348F0BBB9FC87A9E27F9BF077F5A11A1AD2EB613610100179859E2BA8E13098F9068FDA6F78111A0A95398216E2ACAE2DE5FDD696DE86FE51487606C,073A4B071531019284C25E4859138D9B45918CC1C5C99884FB571D720A289BD9EF8507B107AD740E79154D140B7E3AC82F8A972B33BC9E2C3D85EEE72D05FF227ECDC001911B]] |
| FP4_xtrA = [[0EAAF75B45571F122761504B2D639514638D45D5AA90BB317751ACBE743D748E49B84E1904F138074902385F00CD2AABFBFD5DD99175CD72CB8996DAFD7E5E33E4BC67B16AFF,0F856459A5945A2D8B6D19CE59D1FE4132D2C50595E81EFBCF9831487A85097EBE58EAAE8A3FFB9BF75E09DF0B0D8BB934513617D49B869EE16DA0A1D9C31E5E0708DCFEEEF4],[0C47CE30E0D546DBD546C9EB89C490AB79656AF57A5A18DAFF2E189E52D98CF9843BEF538C422934FE3A24BE6599139382460613A53DD620F76B38082A7458EA0B1525ADE132,0183AB951DDF33D8878F062B0317D4E1A433314F2F5BA9DD14207BF0B7F72EF2E2C489E2DD0E3C121C128F7EA9B494337C6A96F6AE8DF616E6988657DE3A771C06FBD0F9F15E]] |
| FP4_xtrD = [[0229BF27CF57E6A6AC58B4F0C29CC2B36273C44CCCAC8EC4880F7C2213776F9E24299A024CA107524A3A91ECEDD495900A09772551CC926538EF21AB0D2BC9A60D86CECF77D8,0E69812AEBEC00A7BD542C915297CAD1628FD8D6B558F92E12E745A20C676E4A19626B41E82C804093A2DCDD96128586C6DADAEFB69C163002A9B3131B4F8A904C3057D94F49],[0CB9F2524A77901A53375D4EEB42B055F72D4191BD2D7FE58267CCF5DAD1F8AA7E404EA9C4E4333B696F77581C1817873E1727AD90126B752A83F2481B7C612352C09773FDB2,0910C407519F1EE576109EA0AD66AE64BBCA62ECEAC47FC9B8369F9CF054713F0476BCA4899DFE3B0B70EDF34F7AD6156DF9FE267D4F94B330027787B59C996D8AC015AA3407]] |
| FP4_xtrpow = [[076B08EF22F6E778D6A79072B126FD829A058653BAEC6D93A280D2581A8D21EDC285D4050405B3A7FDDFCC8465C8B253659BE44002B4E4635C701B1682144F4F5FFA0BC16C8A,BF42C8448EFB7B5C0FE3981BEF52755C7456442B744770432BD462F247BE79BB1E4CE7A2F4A900A5DC3179294F9AE41F5CB60F6BD0E5CFDEA760AF9F1434E79B9B46D596EA],[04E7C28630AB79DEC08ACCCC902FCE093E456418D8D5FFFF617A701A03604F8B2B9050E324A3967B2A9170CC07CC9A0B8262DDD17DDB4195781312DF862B09AC30F25A8BBA3F,BA4B1EC4C143B4853D212973128507EB2A0F4BB8893B8034CF683820901311B293BD7A248D65B83179DB53FBBE15F337A13D2318658189338CC4597BD1C79C0C6E1789A620]] |
| FP4_xtrpow2 = [[078FB13D5FAADEA06CF164A4771096CFE9D022688C02338816DBB1D97DB5EDE9F2267AE5146D884961C04D14DAA0551AB57020945F5349A4AE6C4AAA2EEFBDE23EFAEB0C75DC,046B060A8FF258A462D932867BE4E1E548E58A02767FEB9D926F5345C8C9EEBE59808E42009BE681D11A92CC34BEA101837FCB47D78F89A90897B03751C955E75B7ACC0A36AE],[08DFE1A7C401B6573275598F5BCA4F1FAC5A359667AE2B933D5F1ABB85D589FA01BD5F63F83682057162AE62F47AEAD6D98A1102AB6EC06093320FA533D595677849AA52F912,03FC5F37EA65DB2DEFCE352D99DC66137407ADF3E882CC90B79FF867B9B6B238661C036CE6E46D513FD138F5F88ED712B916630532BB08A13BDB088C73B48D1B36D4758D8010]] |
| |
| # test 6 |
| FP4_1 = [[06762E244446BDD8E8E55F499B48C66612EB84C333265784FE33E640DCABA83A0F4D71F7324F90C2909E2621C25ABF3FEFA037295B1F8F4CC41AE1B3A940D672F66763211ED2,0A0CFAEB0E9096C32F7C439080724AE945EF468AEAAE165D5499A781BF73DEE388DBF928EBEB0890A91D953B4055E6147BCEFF73A6292D56F7E3485525B0BA7E270B451E8740],[09C1BEE879045E0217798212E9229BF030B147B9F5F11BFF00D4F3B3313A2086949690823194ACEACD9A9030164F5A6314DD6D94BC8CBB9A42914E22B8202435F1B43FB1AF57,0E9EB65F00899D9BEA75092219B6BF6488D4B554DDDB8283CFFCE191229AEC93B4931128297CB48205B30E97B95BFC9B9E33DBDEB6130ED9CBBE7DE15C7DD8F962AB3AC9C065]] |
| FP4_2 = [[0DD010EB69012CAEE5171C510E18B87948EB228E87AEA4972B86D37D2C201A8BA9E52778F818A7DB568D544EF989F73C02C40D7538D8A2C9F75307CFC037099014331E67D61F,0FC31C8011DE433D40309C9324BFB49974C45EC9A577EC89EBABB29CA5316531BA231CEB17F035CBF7DAB8C41228F66246B05A3309AD38991C831744F0991D60270AD5D25CC5],[0F9D29617F044022022CDF79DD21DA67BFFC14AD3BA11D3F73B72A4922D821B78A2584836841E5D34950B46AB95427C8013F6C2068BA8A31A366EB8BC0B5FC60380ED04CD9DD,06D277AA186B47F303B92B1AB41F1FC0DC05A0830A1FA7B7077C2FD1994D816EE73CF4B38439CE4B2E3650F3A6B41BE9F878CE96817698B6B2E7B9ACEA3FD89E6CA4F422193A]] |
| FP12_1 = [[07002E662563DD634D4EC17106BB0255214870826F4CB0610F02A475F362F6519A584220EBE07CB0EA7FFCBDE666E2BDB83553BCCF14BE56EB4FF867098CDDFB559C4B04E6D3,0820B0D3858A668728430428EF0765664499384353D0FD85BF7411EE892684C31BB35234FB8434DBCF1DC651846FAED193CCCD5D1DA8473F8AE7F1C9F08C5964FDB4A2FF7A0A],[043C23E7A6E71B7A29D52A4656C7A7DB9F8E5953970B50D857DE93629D443B4D140A216FCB3DCE2DC2637A8DB2D34402A390004E6E14DD7E5B968BBE761EC9D7D971454E9DBA,070A98E57FCB738F6DB980E882B6BBCBA5C4F6B8CFC89005B22CAFFC6A5B9FDD7399A33342C27FFC195D59F01CF8651DE2DD7831BB845837BF575E9E2444ACD7E690AB02FC56]] |
| FP12_2 = [[07002E662563DD634D4EC17106BB0255214870826F4CB0610F02A475F362F6519A584220EBE07CB0EA7FFCBDE666E2BDB83553BCCF14BE56EB4FF867098CDDFB559C4B04E6D3,0820B0D3858A668728430428EF0765664499384353D0FD85BF7411EE892684C31BB35234FB8434DBCF1DC651846FAED193CCCD5D1DA8473F8AE7F1C9F08C5964FDB4A2FF7A0A],[043C23E7A6E71B7A29D52A4656C7A7DB9F8E5953970B50D857DE93629D443B4D140A216FCB3DCE2DC2637A8DB2D34402A390004E6E14DD7E5B968BBE761EC9D7D971454E9DBA,070A98E57FCB738F6DB980E882B6BBCBA5C4F6B8CFC89005B22CAFFC6A5B9FDD7399A33342C27FFC195D59F01CF8651DE2DD7831BB845837BF575E9E2444ACD7E690AB02FC56]] |
| FP12_3 = [[0E20E6A6B3BFB2C601C50624791A5DA2EC690A8D721297FF9B61654018BD8ED8782C4262C98797EAAF12336B0DF42C7E9BEF25293698E6E25DF9F1C90C6B70EBBE69F6B84F58,C99D682869E22DB98402F7CE59BD29E0866025AB292C974C50F8A9CA13069D718CACBF725834A049A3249A4BEFAA772E54F74B8CB27039DA34D03E0EEDC2789B59DD71BB0B],[02FE3DBFFDA8E452C6C070E1A91B6BF7DCE3D036229EEEBD856130FE8C128147AC239C951115BC36ACE4B9F26F9770F5D1C5DD831851C9815376AE987C62C3E617AFECEC7DDE,02896FE5E8C0D10B7E3FC0201EA8F6FC33B457272A6F782DD74E654878B66D4F41D008624F298A2B35266D95895EE8987252C8C818889DA1315236462F874BCA9DDA0D97308C]] |
| FP12_4 = [[011B1356E662E976D33E8D60F050CB304FB54C67FE019CF12578302C26EF9E9E68275CC854BB300DC875282DEA6D3BB7C8283F3C43870BF29356787DD655689AFCAB703D389F,0DBCDF0AC188A86A171E94BF5ACFDB97D559A4B90C23D51B83F82B7E98945C8E56727165DBA6AC035D6A1264069F5E4506D9F6C16B0B0DAE2A437A8676726EA1AFB8920B4D91],[0F564743F42A2F2274CFC4C8395FAEE222D4098D49A201732320B7768C0EBD2197E4872BDF6030D4182C59452423F674E42EB517962915AC5C4957CEA55BF03AA95FFCF02750,0756D2201CC34F56ABFB43B0DC0031EC061BE988C7F9C2200E7D5B393FF5AC6845E3E1B2F0DECAEF65FA1929A56897391436169ECAD5E8CE2B9A919E2F91EA6735ACBEDAA799]] |
| FP4add = [[0474C18B7D4AEE2CAA89EB5303F4F86E0929D30FB59E08164F25AED133608B2A2FF1695982A812F9D20B59EA347987BABABABD9151CFF1ED546D4F1D4B7DF10C248A849248E6,09FE99E6F071DDA54C3A4FDBFFC579116806D1128AEF0EE165B04F318F3A0C79B9BDE5FD5C1B18B88BD82D78CB13ADB58AD5D2996DAE25C6AD65C533F84FE8E768061DFA37FA],[098D6AC5C80BA1C8F633D14520D7EFE69E0088252C5B453899F7130F7EA70AA2957AE4EEF2166D1A01CB241448385369DE7352A7E31F05A27EF79F485ADC319F43B31307DD29,059FB084E8F7E933CABBA3F5286958B4122D8195E2C43634FCE40675E67D3667128ED5C505F65D291EC93F04D8A4E9C45F032367F561676717A59D2828C3C2A0E94031F52D94]] |
| FP4neg = [[095B4F5FEBB63E823A8D30FE0A23C00B3FC14F7ED2109C80DC6124ABF8BF8F6179F3BE1F757094E18481FA64C5106F8148094FE3E708B0DCA2E5B8B274B91883EFA899D58D39,05C48299216C6597F3F64CB724FA3B880CBD8DB71A88DDA885FB636B15F758B8006536EDBBD51D136C028B4B471548ACBBDA87999BFF12D26F1D5210F8493478BF04B7D824CB],[060FBE9BB6F89E590BF90E34BC49EA8121FB8C880F45D806D9C01739A4311714F4AA9F94762B78B947859056711BD45E22CC1978859B848F246F4C4365D9CAC0F45BBD44FCB4,0132C7252F735EBF38FD87258BB5C70CC9D81EED275B71820A98295BB2D04B07D4AE1EEE7E4371220F6D11EECE0F32259975AB2E8C15314F9B421C84C17C15FD8364C22CEBA6]] |
| FP4sub = [[08779ABD0B428D852740D340329C945E1CAD3676B0AEA6F3AD421DB085F6C549EEA97A94E1F70E8B4F30F259503BF6C52485B0C1646F2CAC33C8744A0703BBD9C84441AFF4BE,0A1B5BEF2CAF4FE112BE3745011F1CC123D7BC034A6D1DD94382FFD1EFADB14D57FA0C547BBAF868C662FCFDB5981E736CC82C4DDEA434E74260CB7653118C14E6106C42D686],[09F6130B29FD1A3B38BF32E0B16D47F9C362074EBF86F2C567B2D456E3CD366A93B23C157112ECBB9969FC4BE466615C4B47888195FA7192062AFCFD156416CC9FB56C5B8185,07CC3EB4E81E55A8E6BBDE0765979FA3ACCF14D1D3BBDACCC880B1BF894D6B24CD561C74A542E636D77CBDA412A7E0B1A5BB0D48349C762318D6C434723E005AF60646A7A72B]] |
| FP4conj = [[06762E244446BDD8E8E55F499B48C66612EB84C333265784FE33E640DCABA83A0F4D71F7324F90C2909E2621C25ABF3FEFA037295B1F8F4CC41AE1B3A940D672F66763211ED2,0A0CFAEB0E9096C32F7C439080724AE945EF468AEAAE165D5499A781BF73DEE388DBF928EBEB0890A91D953B4055E6147BCEFF73A6292D56F7E3485525B0BA7E270B451E8740],[060FBE9BB6F89E590BF90E34BC49EA8121FB8C880F45D806D9C01739A4311714F4AA9F94762B78B947859056711BD45E22CC1978859B848F246F4C4365D9CAC0F45BBD44FCB4,0132C7252F735EBF38FD87258BB5C70CC9D81EED275B71820A98295BB2D04B07D4AE1EEE7E4371220F6D11EECE0F32259975AB2E8C15314F9B421C84C17C15FD8364C22CEBA6]] |
| FP4nconj = [[095B4F5FEBB63E823A8D30FE0A23C00B3FC14F7ED2109C80DC6124ABF8BF8F6179F3BE1F757094E18481FA64C5106F8148094FE3E708B0DCA2E5B8B274B91883EFA899D58D39,05C48299216C6597F3F64CB724FA3B880CBD8DB71A88DDA885FB636B15F758B8006536EDBBD51D136C028B4B471548ACBBDA87999BFF12D26F1D5210F8493478BF04B7D824CB],[09C1BEE879045E0217798212E9229BF030B147B9F5F11BFF00D4F3B3313A2086949690823194ACEACD9A9030164F5A6314DD6D94BC8CBB9A42914E22B8202435F1B43FB1AF57,0E9EB65F00899D9BEA75092219B6BF6488D4B554DDDB8283CFFCE191229AEC93B4931128297CB48205B30E97B95BFC9B9E33DBDEB6130ED9CBBE7DE15C7DD8F962AB3AC9C065]] |
| FP2sc = [0D1DEFA5E533F34ECEA01DD8FFB7D86CFA5EEA15D8C7C3257841488963DCA67D05F2D18D2CAC2F47E700DFE9E061C257087D6DD152CA9A064DD36D016183A7343B998D02C77C,016347C881DFC59E05F2657C880B5A0695ADA801545AD01104547027DEDE26A1081F24CBFF449E2E0C7727F3630603F1891D6CDF36417EA296C9BF4E94ACCB2D40D757ACA9D4] |
| FP4pmul = [[09A318ADF96565D0672D8EAB7996BB2D62B6C3A7EE31C8070D7ED3DC78513AF12BEB31756AFC5E20A76187CDC27ADFE1E9855566E4271F03950F4465E76400B092D390806842,0D455768794D9A423B48D3E3B724AEC994A5923A8A1C7A86809CE90B59241EBB74D94C501B7569C3373C5E89C57956D6C054A5E2A10B4DA495F5272311D1FF56D0857A7F8F99],[0F66151FBA94268249CE65BDB71E6C335C6E26272B191DB73A6941884AAB424B3B7EDFCAF1A8E32D7CFD4436F5CEE41E4F47C7F018F1F4D4D6FB49D948DF5A3A07754C940FAA,0132F24C075485E2A883571D9AD23F7E85261867A194D8DE484F1454F6E4DD4488C6539D09C341FAA618CC5A4605F2CDBDA5D2CA2A70D7AC86B595DBDEFEA0D8371A4BFBE075]] |
| FP4imul = [[ABEBACF567BC864595BBE0BD92D31BB93FEF4BF551CD8D41D9696AA483D9EB3A00D9A6AC0D8884A8D67D9BBCEF5EBD3ECE05B4434D4C2D068533B61250525103E4F5B84204,02CC6E0AB8DBFCBE8315A0FB91F5E33A65A5E3F085C193C1174124C23D01B39F10884D88A456B9E70E338894AB6BF222C40E681A78552236A26E9A776285D792110862B4A01F],[015441FDCD1EE0F90B07D9879D67785CFB6FE9DBBE10AFE97469A1B975E0FBCE4B2D424700A6EFA9C4A46F5CD94B37ABC1568EBFE846E98717D4B77B3EB2E829065547946892,09D399CA42BC229F067EEC8BEADFA331617439A0406DBC7BA59C3C225759C07461DA956E306EEFF9C7FEC6DC811F3405385D2F2485BE499B5EB60BCE568D81035518321611CD]] |
| FP4sqr = [[02707E7E4B31137ED3B36B5F0AD4BA5FE47DD538C61C071ED71F5BB20BA245E8C980F4D0C0A802DC3CD488870F9C07A211AAD5376F756F7266C2199BA8060AB8C18299DBCBCF,0965F39339C00757C7B057341AA89C8D3DDE6B43ABDF42F0C416851690D5611AB9244EC964E26B1BA5D475919E1D70D9B3ACB085271D42AFDA5C88CD7F2F5B34DED426035788],[0576E2F0121903BC4D219425F828F990DDE64878C5A022FC6F93A16DF895FF547C76D1E40B89D140AAE69B6E2A303D70609683C5D0B7EFB9B018BF813DF21571A6BEBCE61CA8,08D2C4E530FDAB60420A82AF36DB3BBEC4D16285A17C0578018828C345A39DEA4C50F9A6E8B8A7B3E1FEBED02BA2BE9EE15458CBF0B279D44E9EF34B97C6460BB59E9320B54E]] |
| FP4mul = [[02AC7660F966D846121F2A884C58CEF6312CC482C6E5AC96B6A429D3B3F2ABA08BC169147AF0739E7D67BBA773D2D684A8BC3744284CFC837E512D0A754291CE7148FF2B1A10,06AEFBAF715BDDB2038F9DF959832DE07C7995E70A9DE8C31CBF2D1E7FA92FEA27957ED1632E6A143D06599427B2247D2574776096F417E7E3F31E3F0A1594D7385D4DA495D6],[C2794039E1C8EEBF728CB2096D2E19DD9B7100D16C24F540144EC3766A6A3CD01FBEAB37CD68753877DB763EBA7552D4A5E16814E0F684A57892B14CBF5463A086208280A8,0CDEED318DE1D6C306DE865F061611A63DEE1273198B7785CCAD17338C7BED63C224BCD7BDA65CF4EBF61C993A801F79B1B09464E550E0F320082EBDC9A2D229296135BBF776]] |
| FP4div2 = [[033B171222235EEC7472AFA4CDA463330975C26199932BC27F19F3206E55D41D07A6B8FB9927C861484F1310E12D5F9FF7D01B94AD8FC7A6620D70D9D4A06B397B33B1908F69,05067D7587484B6197BE21C840392574A2F7A34575570B2EAA4CD3C0DFB9EF71C46DFC9475F58448548ECA9DA02AF30A3DE77FB9D31496AB7BF1A42A92D85D3F1385A28F43A0],[0CC99E365480AD2E9D76092D47479130C1AF0DFDFD9408026DB4FF500352AC110EEBE04C6CAA6947715D585B4EDD449226437A50FF5A7DE1D4C8F4446B0D09966BE21E542DB1,0F3819F198434CFB86F3CCB4DF91A2EAEDC0C4CB71893B44D548F63EFC0312179EEA209F689E6D130D69978F206395AE6AEEB175FC1DA781995F8C23BD3BE3F8245D9BE03638]] |
| FP4sqrt = [[09C8E5C6229D1D5F26FDF01649A5F1AAEA66E133E1AD4A8F53370FDBA98494D429E934B7E883A6361C7AEF4F436E1AF06C5A5D72A99C20B28E698826142604B722A5C5D06514,0DCE7EAC548CD3596006F28636F857FB52A932BD90933076697D2417339992D06B61BF96F0B15998C25302D56D32C24ACDF50DE40BDCED78ABBC8D70CCBA8A723D754838AAB4],[5B93ACC59B6CA6ED60C45466C28BC2CB762475D5DFFBEED9BBB68E1A479E89AB463173F06559F3E9BE91B32D04BA512B7599E0D4AF9E2E286C417AB24451A7568C04E53F18,0B2185E548A0E974F6923C5B00EFC8202BB2A809FB38BF0114F96707F7E9EC8C33A81BF816980B38E378B8662C28C2F882CB3B81B2E2EFF51A2DB61CD58893B8090A80E65BCD]] |
| FP4divi = [[09C1BEE879045E0217798212E9229BF030B147B9F5F11BFF00D4F3B3313A2086949690823194ACEACD9A9030164F5A6314DD6D94BC8CBB9A42914E22B8202435F1B43FB1AF57,0E9EB65F00899D9BEA75092219B6BF6488D4B554DDDB8283CFFCE191229AEC93B4931128297CB48205B30E97B95BFC9B9E33DBDEB6130ED9CBBE7DE15C7DD8F962AB3AC9C065],[08419487A96BAA4E0C30D16D0DDD88A7AC6D65A70EEA36F12966C6E14E0FC38ECC14B5900F1D4CA99CDDDDAE815852AA35B79B4E80A45E51DDFF15046778C8788EB9541FD309,01CB66636524EC75234B72237294C2419981E0E3DBC3DF6C2B32E0A071641B54BCC74398DCCDBBE70C3FB78CBEFD936A461764252584CF0519E43350BE37F2059851F0FEB437]] |
| FP4div2i = [[03B2004CC20BBFA90B8073DE2CD8B16F0EB5BB31E6AB43F82714DC798D0909719FEBF0EDBB6934318614FFD9A5338604F211541C36F1370B1E2201DF52465974FD58826CB2A3,0D6BEF39D1163EDCB17781FC8E00F857BEFC9667B6801101C564B8356FCAA18BDFE4F239AB39435FF645FCA8EB4CCA7604BE30B029FDDD8A307C615C9B01C2FBDF46789CD4BF],[B1AB8B22DA5840F4EF1292764E8ADE062DF70C189D79DC783882D5C6B44F820EE83B09767A73AF249B9AD67B45769333C5AF8FBF207C7A54FD8FA2B0F7A1FA3762AB48FA07,0396CCC6CA49D8EA4696E446E52984833303C1C7B787BED85665C140E2C836A9798E8731B99B77CE187F6F197DFB26D48C2EC84A4B099E0A33C866A17C6FE40B30A3E1FD686E]] |
| FP4inv = [[0712938DD3E9CAD139C035FC5D75D1444519D92129904864A0A69CBB0AC006BCCE8A54F37D38E25C7F8DB8E17FE66B0E625DE852DE8645C52F5E759054A1272736C2BEAD7EE4,070B2399165FFFE5D60485979369434988D8FC8261580CA60AC0204CF61A58AF07FC2A52FC2BB4EF655FBC28FA9C317F6ECEC7734C5978E2FE72AC3D26EB7C36B4FDE56025EA],[02646E712535321BC9AE2F976F231C1BC5BC92B218708AFB82F161149C9795B7907B51F7D503DCA2297972B35844691E891BA599CF26B33AD21701F967BE8A6ACB9540B665C3,0B49EC10F076C2C486455FF39E3EC7B3EA82080AAB42A25EC90A3C9D739ADC549FAE9714047324869775743F8DB9C7898485E9CBA72420BE4FDBD0D4DA6FDBBD60690F583933]] |
| FP4mulj = [[0AF4860DA877BCC15077093874D862FCFA8966A71D4C8D810B6D1D0EE40A6B8E6944AF70AFD81E0CDD07A21EE45E8C88AE5318C348A1ECE9DDD36AA7799C3A33751901DE9AFD,088EF7C34990FF42DE7BFAED5D6CD4E366D928CCCE95AA7CF63CCA577E69D57EBFE87193B3513BC8BE2D7E414840283D7B67C26630778A4AA74F319DF6A40E386E4F7D84C3B1],[06762E244446BDD8E8E55F499B48C66612EB84C333265784FE33E640DCABA83A0F4D71F7324F90C2909E2621C25ABF3FEFA037295B1F8F4CC41AE1B3A940D672F66763211ED2,0A0CFAEB0E9096C32F7C439080724AE945EF468AEAAE165D5499A781BF73DEE388DBF928EBEB0890A91D953B4055E6147BCEFF73A6292D56F7E3485525B0BA7E270B451E8740]] |
| BIGsc1 = 01F57270F00941B3DBDA3202E2CE54F7BADC170D07DACA9938D3D3CFDC10C02A8713D17E63BB6E1BBCD12D52D477C6786F410822A76D62AFB41C840CFCA7A64D34277368CC61 |
| BIGsc2 = 61 |
| FP4pow = [[39345A4F768672C1574AA113EBC0585BD36E8B00DBAFA311B9AEF693ABE125EBEB67A474D7375CD193C2E9AFC42E7411158F5F6769AD02228E6CCEE645B014C1E18B6112BB,085381CDC9FE6FFB82A9A9FE845CFB6517DBA294B6B326F5B507E242E21224900416FF041E81E659C0835D8D5AA7F03715E80AFEA6B76A87CE35C5713C4C40D8846D700A257C],[051EAD730DBA2DA448D4BA0A67A7808C6579CA5A27597542BCC1C0DE238AA68F9F22D649CAB4DAA2852B9D1717ECB95408737748675F0563D21BBD1E7CBDED64F0D58C7067C3,064EE6247A7288B45664E35EF48BF1302053CB561229D6415CB0DA7464F8D4DED3992649A547C74CC742C5984F7D39CC0B600FCA6A8601C5EE1D2B5C36F62BCB58D10B7F9898]] |
| FP4frob = [[06762E244446BDD8E8E55F499B48C66612EB84C333265784FE33E640DCABA83A0F4D71F7324F90C2909E2621C25ABF3FEFA037295B1F8F4CC41AE1B3A940D672F66763211ED2,05C48299216C6597F3F64CB724FA3B880CBD8DB71A88DDA885FB636B15F758B8006536EDBBD51D136C028B4B471548ACBBDA87999BFF12D26F1D5210F8493478BF04B7D824CB],[022A6E9F14E22EC9DC0C0FBCC22E5AD3BC09D66E34D870196C5C2DC9562AAD8C2C7EA3EEA32F60F4A3361070FB968DE6F34549A1FE27C8469F4AD24C34B42A2EF3ACB1129A68,092BD9C5492952ACA368C644EAF1B4B0505866F72CF4959028F54094AFB931F056E89848ECFBA480773D462C6077D5B89D6B5C7C1BBC7540FF8B90506BACBF254D1F3E43D75D]] |
| FP4_xtrA = [[0D85F169960B8AEA29DC95C8F790A2C55210A9429BAAB030B248D2782518335CEB064053CF5714F3F0B792E7A3426505F1932CBF88DC49D4BC314EAA8D98C75D31D779538048,07F77FEDBE955112BCA0A52F4F48AF7E797A9C7417EC20C58CF0E1AADBC7000C06E27A8FDD396C5CD495A003D97D42B794D440758A1AFC917950EB9A520A2DC163E09F4EC003],[0AFFF594B4F2F229721666D995FD03F39481920EB5633B94703D8DFA79913B7B00F0468DC521B8840A5E3AFAFA9A58A9B92B9AD062AE4C3CD54E4566DEEDED1F0961C9C76A8E,023FDF8448C3178E747F8D29C9DD16B482BAFBA71AD6F46C360F53D6D9F446D8D2D0FBFE2E19ABB69850DC889AF210CD368E6508A748AA7F3B5A0D3BD01E9F488FF7290A1A96]] |
| FP4_xtrD = [[05559FB9F2A09428255B3D1379AFB40511539FF465064C1AB54C9A1D27B62D10342740F903C906FB30B85CCA1251B7E36A13EDF1FB5E9102458CF09A737E4CC9BAC3D0903A36,051D7B414C9BD62C8C2A605ABF308D2C04ACB26FDBBA0A3BF57840FFE758DAEF30AD8C8E34CC7F9E68B96BA1A4DCD371F3B838AB1CF3282B5196928951C7D52F76CD98BCF513],[0928E33CD424C36558A208042501AAFFEC9C03AAAC4B66F496A87DE7859F08C61C62C2D1C6F3057230FB9B47CF63C37552A7D7E207A926C4CE3AC16090386EE6A4173F52CF4B,066D369AD216EDE1D00F74641F6FADA5312124AB52C52273EC57D60BE00307DAA2F4BBC9EC31C56FC3249AF28F845A53AE69026ED8881735181ABA4214CE1A10AED50EC6DE02]] |
| FP4_xtrpow = [[07FDBCF9E3A757399084369049BD9F3EB2A4FC2C42032D3317FD280E4789050508DB8AF5E0FDA54249AEF89388947A0E0A595F4A641A2CB69C6410FAB29C6B13F11399881FEC,0E2135E35BBFE94450B095D54B926FC7DD2F3FDE3D26D75E01FEEE6C022EF75807CB27E3A5C0DD221D716FC3BB2C47234F7B745C9930D9EF6D5BC256BEA104C7F437265AFE74],[0C91C9FA5C3A175B2784F9C5A9963F134D53870569B77A0AC3A7BF20CDA14D5E9888C6ECBB19FB34324AEACE733BD2A894C3216F62F84267C019F27968207937E3399E7FF48D,023A4ACC5A68E7E40F9EEE1391500D2C625B354AB736D05B8C73155E7CB185317A9EE0CB5D27BACE53248898683AE58C9F81F41D437657BB79C9F5926A4E1FA3782CF37A378B]] |
| FP4_xtrpow2 = [[0F4CCC9B3172F23224146B4E60FEE1134EB3B5A08FCC1926E86FDBB0F038F8D1B4C19ACCF60664B9DC166DF8D46876C81D294B614CB7A53EBE9293261CB42BD868CE1DE9EB30,0B025A719FB1064EC3CF0592D678F2346EC8B9181606478B1FE520F3FD434C896A7CAB3C483FB1991812252D2F439E09D85B7A0FE0F807442CAE683527E6C0814B6307117B66],[017EDF9EE1F4E9782469A9D82CF454BDA40D30023CB44FD5FCD71FE8402A0BF15913987CBF77CA4585B31C0E7F5CE37248ADE7CFA4552966D82E57F4B15CB9EBA8388D030391,C5BCE072E5F704A87FB6F13E3C6BF64CB5F9D796312513D266ACF9CF31E703C7D5FDC80E80341BC23F5E64E51246A364683A8E694C0DED1A47BE2D9B95110C5FBC245CBD11]] |
| |
| # test 7 |
| FP4_1 = [[0EED6CCBF0CC0FACF369101C97C9402185F0CE53CDE1C22257C025F255EA4EFAA0C00C7F1C1822C71551D0DFC2959EEED821F4158178D647034F5547DF4BD726A22C61CC2A44,0A0B5F43C43EA0A505C277EA84DABF9C3855503DAC473072B883749206412CB5B1BFFE95169ED6682130164475B8DF542012E04AB2A4228E7B2F636E3E966C95C206D9307ECB],[07C848F61EB0CDF8244970CF09E479CD7A12DAB868867350B10AD42488A27F694F24EA4CAA17100D239368CCC868784B3CF6FA3475B51AEF2C2E510135EF28BCA40F070F72E0,01D4C23B8D4C96071FC2DDAB6B7C115D93AFBE3568415F5317C31C97CC5472835FC8BBB6B3987210DD0F05B870C14E6545BB9A345556D416F521B182EFA9BA3CF9167CB402F7]] |
| FP4_2 = [[97525866C16B12358C85A2054D966D8530A38918DFA1980977CD2F47928F76EB2097486FB95FD1EBA7CA95A7C82C72E5BCF8D87D0640302C1433284281948A18B68F64CBE6,0283D077E1C489BC69769CC48F309AC401875C31FA83BF6EB55E32820FC84EE78E50B4F27065F71C9974756F9305D8F995BBD50E33A9B25D01187F0063211DBC30E0B755D938],[02E205B443AAA4D8F6B81EBD8C9EE419E901C17C9D5A8205BB17AAFEC9460B3FFF641A47B37603CBA41BA2E8C12992F940D8F4C35AF1E0A05B0D6A892E547EDBEB148944171C,0F915B2CD2D0A7F76FEAC4B8F0C2198A9E051F03A73357CE7547FF10D8B8C7971034F36399DABE24DB4031B2E90BD2B55FAD03BFC3B6E47426B5D4CDCCA4CC7DB1757CACBDA3]] |
| FP12_1 = [[0309ADEC503B14226BE41B29EE64499A8CF0144EDC2FFB670278CB01AE3601E1F05D9AE3816D9E644EF9947687B58E5488B281982B53FA5B7386FC782504B0EFC90B4348A5DE,0A9A43F3CA7DB5001D350BAAA67CC014A4F2455493C289105D3F8FB75D200890C82194D639C2673E916A1BCD65FA07A57F9A0461DA4E1CCB75CF76566026122CE0C1251B43DB],[03D63318F57A75DC0FBC1E28B534F73FD062052F60354CF03F15EDB2D728199FA255EF84A1C2560A706F874BABDE30EFB1D95AF48A10DFC3ABFB30CC543EBBF6C9BB8365D5D4,0EC0361A9AC0C1B1848524889A99186D181DEFE0245F7F4455F3998D7CBB34C9601FE61E163216090A20B5788E23A5B23422E40BB6AE1936E66D3AA35469D5EC24448D83FAD5]] |
| FP12_2 = [[0309ADEC503B14226BE41B29EE64499A8CF0144EDC2FFB670278CB01AE3601E1F05D9AE3816D9E644EF9947687B58E5488B281982B53FA5B7386FC782504B0EFC90B4348A5DE,0A9A43F3CA7DB5001D350BAAA67CC014A4F2455493C289105D3F8FB75D200890C82194D639C2673E916A1BCD65FA07A57F9A0461DA4E1CCB75CF76566026122CE0C1251B43DB],[03D63318F57A75DC0FBC1E28B534F73FD062052F60354CF03F15EDB2D728199FA255EF84A1C2560A706F874BABDE30EFB1D95AF48A10DFC3ABFB30CC543EBBF6C9BB8365D5D4,0EC0361A9AC0C1B1848524889A99186D181DEFE0245F7F4455F3998D7CBB34C9601FE61E163216090A20B5788E23A5B23422E40BB6AE1936E66D3AA35469D5EC24448D83FAD5]] |
| FP12_3 = [[0250ED430F4E31950E350EDABD52F687F70C3F4D6834EA2F133E5C24893A518A9C58C9AF94EEE8453003DF9191F16A75A8E109B89D5E0FC417FFE1B99064F00957FE10FF2AFC,CD31DB340F0C97EE296F9D144FF5366255D15B7275824F8F1E7813AC421E80CBFE4355B68844A7FA65B3BB407E092FD1C383BB2DD4417F23A54791C43FB5813B5AB25032BA],[0A6D86EEEDD6A98D43E41412D8F3A8666135170502370C64C156C8DF2B62E6B84E8D435C14961A456DFB6034D2D2A2C2ECACD659DB050B583E63E7852E140C2A513731584444,09F62A09806C1C68086F62C04184BE5D237FD3952FF41B535BFF8909DCF8A5EDB6A8BCA0667D6D67EF4FB2B0E02334E8259935BDB784BEABF272757DC86C033C64FD4642FC7F]] |
| FP12_4 = [[0116BBCEC8E7C3C22E76B1D69DB40046965831267F44AD231A44B58B263164FE2C082245D19A470CB61FCD9CBADCB7352B0291FF6750C427E0040C65F0C2F75FD016F8A02B76,015611677F58708C11A87B2E117EED9F8C4FE87752B830EC5BF3E99D85626D02E17CB95DA1424EECE6F7959ACFC10475F4BA5F0CBFEBB3C9F3A79FF84E95CF7751A665A8B8D4],[07494920F26BE5F916C088219165C18606C01C330DEDC5EE2A27FC3259A64BE0A078AB6B50A9ACF25256C8471F7227F1C996F940B77D2E3B0562B54D7086F2E3E2E35A95E845,0A8B44B9589AF2B537B3929101F8C67E4CFAAD32D7C53B7630253AC67236CB86659C81B0B7F6037A562E14CCBB10DAB5441FA0841C863D24AB4B4B12FF358392FA5096E2A340]] |
| FP4add = [[0F84BF24578D7ABF28F595BE9D16D68F0B2171DCE6C163BA6137F3219D7CDE718BE0A3C78BD1829900F99B756A5DCB61BDDEECEDFE7F16772F63887021CD6BB0BAE2F130F62A,0C8F2FBBA6032A616F3914AF140B5A6039DCAC6FA6CAEFE16DE1A71416097B9D4010B3878704CD84BAA48BB408BEB84DB5CEB558E64DD4EB7C47E26EA1B78A51F2E790865803],[0AAA4EAA625B72D11B018F8C96835DE763149C3505E0F5566C227F2351E88AA94E8904945D8D13D8C7AF0BB589920B447DCFEEF7D0A6FB8F873BBB8A6443A7988F23905389FC,01949FE4302041A36C3B121CB6D1A476DF0808F70A3DC31BB27610BBCFA2027EE6BC7F03A5B30A91A32F16E4D261F2596DBF16E6D6E57861B4D6EBEA9E5497C3C47BFC6A148F]] |
| FP4neg = [[E410B83F30ECAE3009802B0DA3464FCCBC05EE375531E382D4E4FA7F80E8A0E88123978BA802DCFFCE4FA6C4D58FD25F8792F7C0AF69E263B1451E3EAE17D043E39B2A81C7,05C61E406BBE5BB61DB0185D2091C6D51A57840458EFC3932211965ACF2A0AE5D781318191214F3BF3F00A4211B24F6D1796A6C28F841D9AEBD136F7DF638261240923C62D40],[0809348E114C2E62FF291F789B880CA3D899F9899CB080B5298A36C84CC8B8323A1C45C9FDA91596F18CB7B9BF02B675FAB28CD8CC73253A3AD24964E80AC63A4200F5E7392B,0DFCBB48A2B0665403AFB29C39F07513BEFD160C9CF594B2C2D1EE550916C5182978745FF427B39338111ACE16A9E05BF1EDECD8ECD16C1271DEE8E32E5034B9ECF98042A914]] |
| FP4sub = [[0E561A738A0AA49ABDDC8A7A927BA9B400C02ACAB502208A4E4858C30E57BF83B59F7536AC5EC2F529AA064A1ACD727BF264FB3D04729616D73B221F9CCA429C8975D2675E5E,07878ECBE27A16E89C4BDB25F5AA24D836CDF40BB1C371040325420FF678DDCE236F49A2A638DF4B87BBA0D4E2B3065A8A570B3C7EFA70317A16E46DDB754ED9912621DAA593],[04E64341DB06291F2D9152117D4595B39111193BCB2BF14AF5F32925BF5C74294FC0D004F6A10C417F77C5E4073EE551FC1E05711AC33A4ED120E678079AA9E0B8FA7DCB5BC4,0214E492EA78EA6AD34AA93A20267E4448577373C644FB8A7D102873C906E287D8D4F869C17DD99016EEF48C0F20AA711DB81D81D3C82FCC356C771B40FEDCB62DB0FCFDF15F]] |
| FP4conj = [[0EED6CCBF0CC0FACF369101C97C9402185F0CE53CDE1C22257C025F255EA4EFAA0C00C7F1C1822C71551D0DFC2959EEED821F4158178D647034F5547DF4BD726A22C61CC2A44,0A0B5F43C43EA0A505C277EA84DABF9C3855503DAC473072B883749206412CB5B1BFFE95169ED6682130164475B8DF542012E04AB2A4228E7B2F636E3E966C95C206D9307ECB],[0809348E114C2E62FF291F789B880CA3D899F9899CB080B5298A36C84CC8B8323A1C45C9FDA91596F18CB7B9BF02B675FAB28CD8CC73253A3AD24964E80AC63A4200F5E7392B,0DFCBB48A2B0665403AFB29C39F07513BEFD160C9CF594B2C2D1EE550916C5182978745FF427B39338111ACE16A9E05BF1EDECD8ECD16C1271DEE8E32E5034B9ECF98042A914]] |
| FP4nconj = [[E410B83F30ECAE3009802B0DA3464FCCBC05EE375531E382D4E4FA7F80E8A0E88123978BA802DCFFCE4FA6C4D58FD25F8792F7C0AF69E263B1451E3EAE17D043E39B2A81C7,05C61E406BBE5BB61DB0185D2091C6D51A57840458EFC3932211965ACF2A0AE5D781318191214F3BF3F00A4211B24F6D1796A6C28F841D9AEBD136F7DF638261240923C62D40],[07C848F61EB0CDF8244970CF09E479CD7A12DAB868867350B10AD42488A27F694F24EA4CAA17100D239368CCC868784B3CF6FA3475B51AEF2C2E510135EF28BCA40F070F72E0,01D4C23B8D4C96071FC2DDAB6B7C115D93AFBE3568415F5317C31C97CC5472835FC8BBB6B3987210DD0F05B870C14E6545BB9A345556D416F521B182EFA9BA3CF9167CB402F7]] |
| FP2sc = [0916E64ACE27943F404AA0F8F7172447FB6A7CDDE7E3EC317A6538A5E47FE184431E06950204061CB9FA5F288A20CA63ACA0CE4C24CF4A3D26C39050EFE5A53875BD08A536C0,06B55519179081C6FF1FAE3CFC7A72B2E66E7A120D5F9CD8E45A1761833F869114756F4937460B05A8FE46DBFAA937BC53F093A6E7874E51A535FE1F02B2994D0E38B35B5632] |
| FP4pmul = [[09F750C52EACF75B47D8F69910B3BF1B322FDA1E1C65F0F2B5E42B80A5B5F223A4A79035F963DAD1CD4B397FF52AF4D78B5F280E69F419B509728037BF0F56AA5E2D6193AA3F,0E9089BEE81DD704BBDCDEE5592DD99CADD6F7252FFA8698E3D8203FC9139F89ACE18D2A82638622B6E198C48D970DDF93D6F682E823544865E2183CE8F5E1ECB5EF43CB1368],[0F99B9BF67B1707AE648BD206503939DFBA929BDC1A8A2AB40EB90A30D7ADC55195EA6CB810535AF096EA838303847B4904FA8CC6066E9758686CEBF08F0922B5731541E0DF1,8D3A9733B55D3A686857FB17ACD4122211508ABA20EDFA157DA324E342EAD10742FCAE05B77EA7C5E472305B9B31B1EC045CB7F2620A3790768AB435E56600F8895E01754D]] |
| FP4imul = [[0A791932B4D7704603398F455398E0928644B0ACB937C8B0C997AD0DD865C3D6163A5A8961D01476164A429DEA69CFD2FA7C153EBE0BC4DB10D8FBB0A5E560154EBA59F7A161,0CCFC30A0980CECCB8371EA82CDAEA5559F964ABFA06469EC3559AA5A545656F8EBC673A9078958487C024072C13AFB51974AC9869600EDAAE1A85631D98BE9DD9F9203EF4A1],[0F0EBABC582ADB1A92D3844AF081CDEE371777CE68B8CBD87116E30188F88D40C85B1D9EAD0A1506AB3433BFA39C7440FE76CF203DEE21483B14B13B07A7167E0C3A306F592A,0AFC8D654FCB842ABE91320484E86831761E754071883BF28E92AB8EC9FAAF143EB466483592AC652E5A2252A487D65FA2659D3A0008F889BECA29119DFA5D6DD686EC3811CA]] |
| FP4sqr = [[622ED5BE9F2C64538F23D4A984F4390DA075521C6B4D80D2DBD3820250AF594DC7DFFF060FB598F1AAA16D6C28686565AB95FDC2316D8164B22A46B1FCD52A7FF041BAAAB9,0E1B747C62058DE87A0AB5EE6C26431A7D8E9A0C31DFBAC7E67237A94CFD3549C50EB0A8AE57AFEDAF778E341394D1408CA50BAF4133DE5188241B0ED80147DC6D5628D634AF],[0A4E0097D3DFDCCF8241A7DA277C116DB06835C88D6114B887E9FD07246CC3FEC9510D3633A787C16072A8EA3F8BBE53BB4EB1240677CAD273D58DB868DA6C792935E0905E92,09FCD8AFC7E9A7EEFC21CF2E717DB30EF4EC4BEA19860964A7796C3A1ECC08DA81894DFFBCAE04279C30127645F3DAC9072BDC13E41B5211E6EBAC3C3F0B3D22A11370A71E43]] |
| FP4mul = [[092CB49BFE00307E6A71286AADBCE5C3123E800DA33125C9BEA48DE6BBB8E699B9693D313F0802BB4D29AC0780CC98D972B7C6906FA1A32F0DEE27A7069E180DCCC27AC5F0F9,03BE5A05EB57C93EC2FEBCB99A35A3BABDD23BD5A7B1C892A48BB6473DDD5FEE4D8BB4E74400009E597A85A4D9DB35EED9F4C3E9A4A4D641F5DF6FEB7EC74931CD25371C2E6D],[091D847E1685F2C3ED14AA0BD06F83CA0FF21A30523A9A47231D3A3543EF1E675B0EB9D2B817B41D51E204D83FFDFD0311ECA89183731753DF85251A954A982F6E31C5DE7448,0E0013FAB635F606422339FDC8D41ADF15F7F285F98014A03D18A939A61FF88530B865931EEB016071AE9DE2660857AF312400DF7B35AB0729CD8AAF5585462C3BE3D2AAA9D0]] |
| FP4div2 = [[0776B665F86607D679B4880E4BE4A010C2F86729E6F0E1112BE012F92AF5277D5060063F8E0C11638AA8E86FE14ACF776C10FA0AC0BC6B2381A7AAA3EFA5EB93511630E61522,0CEE6E63FA1DCE80149A84191523A306C581123FD8BF123C498C3FBF6DD632289D809755DF2F7E061B281B657E92070AABDE33ABFA66315BF117FEEA2E482DC6540B6B13956B],[03E4247B0F5866FC1224B86784F23CE6BD096D5C344339A858856A1244513FB4A7927526550B880691C9B46664343C259E7B7D1A3ADA8D77961728809AF7945E52078387B970,08D31FDFDEA4C931219AB6F988744BE7732E493BB6BC29AC792C13C250DFD50F7484F5E6ADAC4BDA7917931F7C163E933EB290A0CBBF8A202E1125F486D1D499EF933CD55781]] |
| FP4sqrt = [[09B85259C448765321E41F645714238F8E3179BD6F04E48E6D880A7965D7DAAB110DC17CBD3A5A290267FB010CD22108CF1774AEF041BF02FB76B143FC1CA9360ECE110379D8,0A6D1CD271A2EF2406C56119D112312C29C5E364177C75E327B6954ED2A7839F725A9D57721FFFE30B688E22733D915A32532649FF837C2A3F05A5BABA5C04C00B2A5F2AA669],[0DBE914F0E4BF74058D8B3EA94C9490E0B9EF866D6C99A2EB88B5DDF81374BB4F32FC226AD20E561D690441454AA200D697E73E88EA7583D5F83F9A65AEC1D9417CA9E5D34FC,058B53249F8763093A46E8B7305D7D4CEB48589D0420B288546AE276ECFCB42D90D6075E5E46C7463A45778426F0E3E26818E8ED31E840E01C205E58961529AAF9507A60E210]] |
| FP4divi = [[07C848F61EB0CDF8244970CF09E479CD7A12DAB868867350B10AD42488A27F694F24EA4CAA17100D239368CCC868784B3CF6FA3475B51AEF2C2E510135EF28BCA40F070F72E0,01D4C23B8D4C96071FC2DDAB6B7C115D93AFBE3568415F5317C31C97CC5472835FC8BBB6B3987210DD0F05B870C14E6545BB9A345556D416F521B182EFA9BA3CF9167CB402F7],[0493A745C286D9FB6ADC7BDFBB9BBCA635CCA527BA78FF479AD747CBC360220A649F6D7EC57B69C590B0E34ED871A7C0E045A6A978FA5C560BBF0F27FFF42A62BF119F02FE82,0577B7FE01B7C6A99AE5FC0AC93F02F60288AB15F1CE312B1DAC2CC642E10AAB4D20911651236CA2907F32F59D4737933FCD39A139A9C6386F7054463EA2423302F53A2D8049]] |
| FP4div2i = [[0F9091EC3D619BF04892E19E13C8F39AF425B570D10CE6A16215A8491144FED29E49D499542E201A4726D19990D0F09679EDF468EB6A35DE585CA2026BDE5179481E0E1EE5C0,03A984771A992C0E3F85BB56D6F822BB275F7C6AD082BEA62F86392F98A8E506BF91776D6730E421BA1E0B70E1829CCA8B773468AAADA82DEA436305DF537479F22CF96805EE],[09274E8B850DB3F6D5B8F7BF7737794C6B994A4F74F1FE8F35AE8F9786C04414C93EDAFD8AF6D38B2161C69DB0E34F81C08B4D52F1F4B8AC177E1E4FFFE854C57E233E05FD04,0AEF6FFC036F8D5335CBF815927E05EC0511562BE39C62563B58598C85C215569A41222CA246D94520FE65EB3A8E6F267F9A734273538C70DEE0A88C7D44846605EA745B0092]] |
| FP4inv = [[088B9E90F59587FC98544ACB9E974AA56931BB30BCF089660A70D6E80A1EE732678D8C72ADD3EA1E86D86AD0796E695D83A5B0B1D7E64B14BAD32881EFEC36D6B75E84B0723A,04EC3D6DEB4CE45B9571334C55EC383708D6265AEAC77B27CD53F7003676C5042696FFE7132909FCDB522F3F96F28D0707DBB49E589052BB024FC1C605A69DEAE116196EBD1A],[066C80B4505AAC0E813E9A8C23B2A02D92DC2341C01FCC941975799753F81339FCDA921BCD30D86E7D7C5BC9004B01542CD383FAC6FF8A02A83BD867F2B7ECA9BE5D1761D01A,0BE5D3A33FC6E26A3FC6CC62ABAA0F2D32B9CF71A0AB00A5B06FF5FB7CBDE7CA9CEC0991767402780F4A3A65769918D2F0514D16D77BACD9213CB48E8B7F922CE3AAE1A238E8]] |
| FP4mulj = [[05F386BA916437F1048693239E68686FE6631C83004513FD9947B78CBC4E0CE5EF5C2E95F67E9DFC4684631457A729E5F73B6000205E46D8370C9F7E46456E7FAAF88A5B6FE9,099D0B31ABFD63FF440C4E7A75608B2B0DC298EDD0C7D2A3C8CDF0BC54F6F1ECAEEDA6035DAF821E00A26E853929C6B082B29468CB0BEF06215002842598E2F99D2583C375D7],[0EED6CCBF0CC0FACF369101C97C9402185F0CE53CDE1C22257C025F255EA4EFAA0C00C7F1C1822C71551D0DFC2959EEED821F4158178D647034F5547DF4BD726A22C61CC2A44,0A0B5F43C43EA0A505C277EA84DABF9C3855503DAC473072B883749206412CB5B1BFFE95169ED6682130164475B8DF542012E04AB2A4228E7B2F636E3E966C95C206D9307ECB]] |
| BIGsc1 = 081CCEA4DBAF9491817F94511D517DF35CDA78D1AE3268ABE12983310DDE6EAD5525931F3B85025845B3BBB24096CF7ED8F24058613CD82B5D67A2AA6F35C032A0A6F9931C31 |
| BIGsc2 = 1D |
| FP4pow = [[0E7A4EBA14C77C3314734D103EC7DE327657E8EC32D86EA969682927C2AE23EA22005C1962DF65394D7BBD218427288BC2BCC2EFE97A00615330B36A18615087BE8248D436CE,040494AE52B641E67151F18FF09B27487308B71BF43B32981B5FA26506E450DDD201939656CD484ED1311FB9D1B2A9D0510767AFF6FC7F72E9E87AB8CAF531DFBBA5B9123794],[0C5619F3A10382342A09A08D2CE12AD8EAED9D2D5DD49EF8DB6F3D1355C7F4BA8A1008036FFE4C16F3AE5C22AD4C10C0CE66D043E786D978CEF74B74F6DF48AB1372637735FF,0D34EA7E7AE0DC133B3AAC98F9EA3692884572AA0C5335743CBD23C2317AEB61029AC9D3B6F08964EA9D3A87D7A4CE179B81E0AD595F21102166568B8A70B9477DC9D2D775D5]] |
| FP4frob = [[0EED6CCBF0CC0FACF369101C97C9402185F0CE53CDE1C22257C025F255EA4EFAA0C00C7F1C1822C71551D0DFC2959EEED821F4158178D647034F5547DF4BD726A22C61CC2A44,05C61E406BBE5BB61DB0185D2091C6D51A57840458EFC3932211965ACF2A0AE5D781318191214F3BF3F00A4211B24F6D1796A6C28F841D9AEBD136F7DF638261240923C62D40],[0113997DC4CEF104E25FDF4072B750B307CF3DC5ECB251C99A396E9F1E03BA98EC6B7A39D5B2D3FBB67AF0606272530D402B52D6AD09A9EBAAA83D534430CADBE2AFB6F9AB04,0CA7766E81236AB4EAC1C56625CC3C3C16C00464BCF0E450151AC5418E3AB0B716601DD5D91A155F883737C13FAD437362B3DE8F5B4CBFFEFB68F11EB6433F86EADB5CF653F1]] |
| FP4_xtrA = [[07CFE9BE56D6CF5370B6399925F26AD9EFBAF64205B2351388A8C9DEA5EE36DDFA8572E87D877ABC63D1A5B08D251E33A09AF30D9716FFAAA628444C566F95BAEDA2F548683B,E56820CEF803ABA4B5D540EF507B3882BD176BC9D361D7D793FF37FFA3CE15B0D35ED72B8280C462D0DC4FC0369EC4665E19443A54392DC314E84BA3211C0527F1D4664D85],[0598ABD12C18D51157514A97B5B3836D036CF377D4D18E30469C1728F6AF425028CCE4FA234B129155A433761170A737A4390723C25539B5AF235A2CE460A242FF48B24D8328,0CACC603510236EA7C741592F539FFDBDEDFA237C1552E5868BED6203B096F9B8F7250C4FAF16124530A9B8B6553D5593D70B8C1383E5C140A3F4A397CA7D38BFADFAC536523]] |
| FP4_xtrD = [[022A50463D0105C0B3A2242AC4CB80D8A718812E8B15B147D8859D770152809B1ECA272E1D5FBB52F14740BAF5D3880A24BABBED439041462C14B4832F5904CB07B7780FAE47,09D63379098548F991F8566107DD4A535F90CDD2DE884DE85000597215E61379EACFE39528DA28C182378231AF8E41598428D2271E13D95DF8C5EE9878CE5DA7CF58736BE324],[0A0D14FFE1447C64A761F93095D87E9751E116F7593707540F6A9A6360468B35DE59B1B8E0158237927959FD48F18028FD931E7FAFB9C08765319554B6BECEFB8B43F1B89847,0DA65D26E282D3FD3BA78A854875D5CA1C4BC854EA08C80AD6FFA569B774EDE1411AC56D23DEE849564E1DE72776779392A3107C8EC8FA3FD12F0F421E5EB19C93406A0F2431]] |
| FP4_xtrpow = [[04EFEDC204326285C731C3734E0E7419E639A759B2EECFBDB25005328466B66F9C9D5E038652882D0B20649B05A1E88983DD878D12F2E5399BA13BAD725A4BADB2EAC3CD1320,04DEFE7C643777CDF6211868D11AA4949852FD24BDA005EB77179EBAC4940CCD9A44C1607A57793ED44D0AF68DA880D172FE81FCCC97DC64F8B8D3974E4C9ACADE22FCFE0192],[096CC4FF523E33650A68E61568820C474C1D9336A287E00C36208C63D269FF5B637C1B6653CD107B81173E8A865AAF5784CAEFFC036BA940AEF93F7648A40B380A5192F9AF8D,01EAC6CC5717E8CDB6F97A8FF919FAE36552455ACBED7D722CF119C49AA0FB1F5C6E12716BD7D4AB788FB5D3F8EA3B0951F2503806D09B9FC9F3B840F6D2AEB6593A093B1F06]] |
| FP4_xtrpow2 = [[0BE5BD59B8CEC3DAA0CCF6AFE1D45A7A43A255C63FDE14CF4BBD31AB673828FB2CF0DCD8C26F702A10FEF563791C175B24972CB42E6E928A7A648D366435D66666460B64ABE8,0620F9642D51B9B0979D1A324BE2E45810011410C026CFC55D3FDECED9D2EB61E192020E63252EC6F6BC61ED7652603C91AC8623919A951AE1F5F06EDD2C0E06256B26319596],[07EED64FA15764613AE28555B5DA8F7F3EDE48FBB4B7DE31C4E3CC30981E78D946B5F9C9E127B814EB9D98EB4D3F80FF0C3C1035EE8BF2AA642B0DA696C704D590C8444DD2BE,093C4A05C0E626AAA0A617B69506ED0D0A0FC669D221B9DD61054D5F4ED3B8DD5DB4DAC28F6CB789242FB189B939B0B9C238310A1F9DABFD21329939D48E7378E8D785D64704]] |
| |
| # test 8 |
| FP4_1 = [[07D0AB7F0C7EAFED935B165E7E749B8CF8E3060D8DEA84CC35ABE63FF521BE71005B1721E27CB55798A0315DFC1CDDF86A4CE6B281D285A6A37D67CF64B7BAF518438AD3037D,04CB94451A72AE3E73262E8ACCD6FF7EA78DC8FD9AA76FF64AC8DB8AB4CD1714432102D99B3306FE4F748BEE1C9A67148F492EC23D6435A7B77C0F104E9524D662FA36613143],[0D077943CBC32625A18FB127C51D1C5C4DB1BD7EFF6DF0BB1A9A4BD071C9AF5A90677AEED4B8E6A19306CB34BC40FDC9EFBB46CC30D3BD75BB844F860927D79468D5D82DD5A6,068B02F9392D06D929F4A3E986A451021689A291A314C510D66041B2BA4A81FFFB9B15A1C90623D7C00DAAC840101FA240539D644DDC81F71CF0FD836A1D1A958CA59195B342]] |
| FP4_2 = [[0ABDC7165943CA3F983BD107D05796C88BC9400C9A1DED12B15760707B7518D8C5DBC36BBD1BDEBE21DA9593544C364729B740760B21006A49F42425081D44169275A02B18B1,0A69945986CD05EAC1A9CDAB82D27DC1A99122D0A4751B6CA2E131004004A392476AFF825CE0E2B455C73CFBA89BB64E825EDA1BDB0358D0B8312161CA5E8E0D9CF6DD8743CF],[0FA577740E23142EA5BA9B7C10372B4773AADBC297173A7828506808D1D273433D26134E668F99773AFA10ACAF43CD7A7E6DD836D8ED4A8DB897B3B0DB1DC8E039A1C4805535,0E34E6A824909A2BDEFF5654A1581D486AEF6ABC565109F5DB0E96D678889C20A6E78942C8ECD455792D9A520D4E826B5F7FCC002A5A0FBD867C9D6F8210825906ED1B5B9AB6]] |
| FP12_1 = [[0AF97ECEFEA81B3B3D751D3563798358E127E6238505CC7C22272B0A4AD98676936AF3D69937F944A8D8EB9353F70EE3D6385C6C49E98A02164A77AE2FEC4FDD02C23C0C4E76,0DA2375F95B143AF0ED8BFAFCB8A2357BBB872B1EABB1882E44428342B6DB95BB5CB79DFF5B415B8CF4708A8765F6B796954A9A0D82149427B09E3E57435CDF43AB162E13F75],[0F9EBFE6B2C1F2D145ACAF5140976D2607EF0C56E7FAFD206858B364BE0402762734B67993942E08E78E7D7CB43DF082CD1BDFEEC0392AEBA4772422893AEB4D2F01919F9951,0304A7E56C3F3EF6527C5BE84A2AEAA76D14D51CE4DD3A8C5A420EBF00FC845508675FE0A0C0CDB4CA55319E699E8AB5A947801E0A21C5E63DE4B919667C1EF56DE993814872]] |
| FP12_2 = [[0AF97ECEFEA81B3B3D751D3563798358E127E6238505CC7C22272B0A4AD98676936AF3D69937F944A8D8EB9353F70EE3D6385C6C49E98A02164A77AE2FEC4FDD02C23C0C4E76,0DA2375F95B143AF0ED8BFAFCB8A2357BBB872B1EABB1882E44428342B6DB95BB5CB79DFF5B415B8CF4708A8765F6B796954A9A0D82149427B09E3E57435CDF43AB162E13F75],[0F9EBFE6B2C1F2D145ACAF5140976D2607EF0C56E7FAFD206858B364BE0402762734B67993942E08E78E7D7CB43DF082CD1BDFEEC0392AEBA4772422893AEB4D2F01919F9951,0304A7E56C3F3EF6527C5BE84A2AEAA76D14D51CE4DD3A8C5A420EBF00FC845508675FE0A0C0CDB4CA55319E699E8AB5A947801E0A21C5E63DE4B919667C1EF56DE993814872]] |
| FP12_3 = [[0C6106942EF4A3AB1BAFC2067E89AFCCF7589DA3D82B8B096DAD5BF8245F555DAFA1F602489C58BB6AE22D552FF29D4F443724EE7F5EE6E0A53880D542E6E574E0473481143E,18F4626832840B345AD71BC9B72DF7A757F64006C48EDD6E409352BAEF7207005C730C27D4E9789D48E222C25932AAE81BABE6F47DE62DD67E1E8D5D931F6DD1AE36ABE79E],[0EE25E28B63A991DF4C6A49C77751FF810B510E777FC81C179D3BBCA7871D6E47208DF3162B3F670E2DCDF92F66167BA78429A36BA55C4752A46E6BAA69577C3F64EB36D8FA1,0D8412433739AE870C064DFE3AE11F1BE340958568EF9E4D189DBA5475CFAAC65AD680FA76E11D47F132F2D85803134A8413A9C8D2960DF878F4554A31E9C427A1EE133B01A8]] |
| FP12_4 = [[05F231B4D823A3D9FCEC09E30004CCCA6A3F0FC2A502C9832A7C2DDA215F4CDBCD99098ABAC53D2632B70F28B41ED4057493677074AFE08163794E25A7B2E791DE518A1CFE80,04DAD3A62F44AC2DA1C6F15F298F1F6B517A3FEF7B2BD128CE07468B45B9276C83DDFA0DA3A01845A7E7BA8FD032CDC26A5481A111D2BA83686C10330D5EB0C412AEE1ED8B34],[0D3B204252A8DC3F9B01B288DAEA1F19A9340190BE382C8B5812AFF87FB0D38E94ED779984C04E4B5E4A6AB301F5F505B46F453C4A7EC5C34B4F1DCC01A28436BBE71B28E10D,082E2549A3FBB43ECB0A2EDB3F8912B2D870A0FF582B42D833D04D2CA837556733CF33CEB0A17F796F6F5807C9723742D2DEF845CE1442F653C3E3469F74BB6714F53FE1D64E]] |
| FP4add = [[02BCF51135C57DD20824571EA95FABE431FF71D822D17DD90C6E3BC39B2B9FAE3CF5AA76F7D86E71A55AA66AC8FDE57E5C5AA01B4ACB45E78670F18E4EDB1014C4A92E077023,0F35289EA13FB42934CFFC364FA97D40511EEBCE3F1C8B62EDAA0C8AF4D1BAA68A8C025BF813E9B2A53BC8E9C5361D6311A808DE18678E786FAD307218F3B2E3FFF113E87512],[0CDB7333A9E93DF923D7BC5C2FE7C1326EAFC4FF914E372D6855A8EC6E30EB02444C5E2693885A74B8E0BB5AE4199C83367F97F5C798C7DA0D1B68D0C64BB17DBC679FB77ED0,04EE6C1D2DC0A4A9E58169F6828FE7D92ECC390BF42EDB00D6D9CD9C5D67E68519416ECDEA32D289241B2493C5F3734C6829E257360E518B3C6D008CCE33ADF7AD82AFFAA1ED]] |
| FP4neg = [[0800D205237E4C6D901779E926F7EAE459C9CE34774C6F39A4E924ACE049792A88E618F4C543704C7C7FEF288B4E50C8CD5CA05AC055BA82C3833296B9423401CDCC7223A88E,0B05E93F158A4E1CB04C61BCD89586F2AB1F0B446A8F840F8FCC2F62209E208746202D3D0C8D1EA5C5AB94986AD0C7ACA860584B04C40A81AF848B55CF64CA208315C6957AC8],[02CA04406439D63581E2DF1FE04F6A1504FB16C305C9034ABFFABF1C63A18840F8D9B527D3073F0282195551CB2A30F747EE4041115482B3AB7C4AE014D217627D3A24C8D665,09467A8AF6CFF581F97DEC5E1EC8356F3C2331B062222EF50434C93A1B20B59B8DA61A74DEBA01CC551275BE475B0F1EF755E9A8F44BBE324A0F9CE2B3DCD461596A6B60F8C9]] |
| FP4sub = [[0CE461ECE337E2091E91D59E53898B35BFC69A42F9038BBF5EE990BC4F17DD33C3C083CCCD20FC3D8BE5BC512F3BD672783F2D49B8D9C565C089DE107A9465D56BDDE79E96D7,0A337D6FC3A2A4AED4EEF126EF71082E50A97A6EFB69488F827CB5774A33AB1D84F7336DE61249EE0ECD6F78FB69DF874493DBB3A4891D00664B8814A23085BFAC1355D0997F],[0D337F53ED9D0E521F47A5F35A5277862CB3B5FE6D8DAA48CCDEEEB4756273B2DC8297B715E972CE6D2CDB0E94685F10A8F6F5A29A0EB31169ED363B4C03FDAB154410A42C7C,082799D5449969086E67DDDC8AB8BA2AFE470C1751FAAF20D5E6B5C9172D1D7ADDF4BC75A7D975265C0030FCBA2CCBF8187D587165AAB262FD74FA7A060687336BC87330C497]] |
| FP4conj = [[07D0AB7F0C7EAFED935B165E7E749B8CF8E3060D8DEA84CC35ABE63FF521BE71005B1721E27CB55798A0315DFC1CDDF86A4CE6B281D285A6A37D67CF64B7BAF518438AD3037D,04CB94451A72AE3E73262E8ACCD6FF7EA78DC8FD9AA76FF64AC8DB8AB4CD1714432102D99B3306FE4F748BEE1C9A67148F492EC23D6435A7B77C0F104E9524D662FA36613143],[02CA04406439D63581E2DF1FE04F6A1504FB16C305C9034ABFFABF1C63A18840F8D9B527D3073F0282195551CB2A30F747EE4041115482B3AB7C4AE014D217627D3A24C8D665,09467A8AF6CFF581F97DEC5E1EC8356F3C2331B062222EF50434C93A1B20B59B8DA61A74DEBA01CC551275BE475B0F1EF755E9A8F44BBE324A0F9CE2B3DCD461596A6B60F8C9]] |
| FP4nconj = [[0800D205237E4C6D901779E926F7EAE459C9CE34774C6F39A4E924ACE049792A88E618F4C543704C7C7FEF288B4E50C8CD5CA05AC055BA82C3833296B9423401CDCC7223A88E,0B05E93F158A4E1CB04C61BCD89586F2AB1F0B446A8F840F8FCC2F62209E208746202D3D0C8D1EA5C5AB94986AD0C7ACA860584B04C40A81AF848B55CF64CA208315C6957AC8],[0D077943CBC32625A18FB127C51D1C5C4DB1BD7EFF6DF0BB1A9A4BD071C9AF5A90677AEED4B8E6A19306CB34BC40FDC9EFBB46CC30D3BD75BB844F860927D79468D5D82DD5A6,068B02F9392D06D929F4A3E986A451021689A291A314C510D66041B2BA4A81FFFB9B15A1C90623D7C00DAAC840101FA240539D644DDC81F71CF0FD836A1D1A958CA59195B342]] |
| FP2sc = [0901C4A33B5C52E0207A57D7859080294E24A217278BD0FEC679AEAD30F4F04CFD6BA2ECEE6EACCCBB779FE53AE50D28D9717FB20E64E02B1DF6FD9164FA5184B306E7BE9F97,0604207B96BD7311422E3D88B643A437436CC29824E6A183B14B2AEA9E9E6DECC74D73E0D1A24436CEE08C635CB6179CC20B16D33718F7E930BEB9ED68B0B9C26F33B43940DD] |
| FP4pmul = [[0FA024F89749C710AED0A2B8B4A00899AB8F8C5916EAB624468081AB3B1594FE2A598D663A30477685ECA23C3CF52319985A57298E0DB7A1BFEF1B9A8FE121D2DEB387AFEB5B,0AB834E1264BBA49264784C49E099876E8424A88843863EE9145653A08DADF15FC4A913C961FED32D2982D354B9E74B49E7DFFA27022C884F4D94982629E0F38C95D82C48D48],[02EC867BFF1B1B60E1173AD66A7B7CE4E0F6F81499C17D08F452A7E710B4262865FBD69D08D2C3C607B9524567282759550532B8EDB8802899DA48ACEB13570D65464B8E5CAE,01F8D2E8B5BC49060559C0B5C700095AE0242B6FF371B20EE9831299C5F5D9D2E6CA57367BF88C11E7A8EE1EE4D14947CD26C1D2A5AC3822FEC5ABDCCF540E6833D63F3DADC5]] |
| FP4imul = [[074037ECC77FDA6D9D25EBBE84EAAD86D62EAD98D1C4C583E7F42AF933AA8E4466BA11A93A288478ED00F7FE4E888587411DB9B9C648E712436C077967184FCEF7A8D4E1144A,01EE12DB5928CAFEDF26253C4F07EF93EF86D66B302627B05653EAF146C53256C364B3C5EEE4E5AC01EF9275B962740D7BAD3935296CF743366334A5EA2023EEE8B782BB00BF],[0C1CDD45A2651D3FB9B106B028AD264F827C092EE1EED100754EDC12F16BB570448E6C168A4D92369B8EEBD080AF06BF77CF4C530B00ED691D9B28ABAA353A3C5F88F86F7B53,0E2A19C830413739DECB5AD363A52A2BF869C9776B237B6A2777B6096D331EC8CEBB373F2FAAAF9E161F6A6CB19A7FED52F63FA39CB70D6EFC95B9CBAAD7DC290C67012A8EB8]] |
| FP4sqr = [[05ECD77C3323A8A62944D92BC354F06AAD08EBBBECE48FB59A0003D52EF02F83F23CB0F6071AB9DB4ECDEEDBE0FE6E7BD553A49C40DD9C0BF27C0A7CC6AAA48FE39DF42AC4B5,07900B4F11D47263C324CD92C9FA2B5C4E608DCF583510046C23F44C8A110F3D4F7D57A0533667ED56666F23BC65CB14731C50E26578283C4FDF7BA7B3890996A6FFC117A107],[0CCB11E4C1EF40B5CA3A13FF386F2FDC4E512C28A1BFCA6A81C0363095ADCCAE7F4978BF13F0D81A6B11728C7EC79CBC83FFCAD0929E2A595D2AA43E16F39ECBE59592FA045F,03E6139CA527ABB68D0DC810AC79CE421FD18AAFEA5D8D2C74BC9B802E1FC24CD3CA6FABE1CBFFFE608ACA4A2C777DB9FAB8E7DB2FCC7BF1F9CF38C543FFB56519BD0CFC1643]] |
| FP4mul = [[01C27F3CBC886932015373D35DF5A0D14DBB8DD10F9474D4B5A47B040230DE16D4C6DDF628B7CE2F3F99390E37E36BE951B84DE68565DE6EF4A9EA914ED7D9CE005F0BDD6FF9,060A9A28BEBDC482953D6141226725F88633BBC865049402FFD9CE2AE59F7DED32AF672C19E3EE487452430D895D303A08424BE1FE8FBEAE3BCE1E2D9C153DFD11E06B330476],[0E641D01BFF2934C9854FF8B8B0151EF590C6594B0BF620BED8038485442D0C0A75C7D4F901ADEB97E9B41DB5344AFA6A8CAED0796D0332B9F1D01C979E3494DB2966415414A,0BE1403C9EAA5390E12525F4828E7D295449C4775D8847F270B42808C2DAFFE299EF45BC711E3F23BE48348C3B02CA270D2B3418CA5A04E0BB7DA1901A6B7E0579D9105E70C0]] |
| FP4div2 = [[0BD114819E3DD6245B66D35311F090FF25C7ED27C990BC690820789665467B0644CE239C451E6D7DD6E028F241C4065CD0FB36DFE1FD62E8053F011AC158D4F5FF29C3E4D7C4,0A4E88E4A537D54CCB4C5F693921C2F7FD1D4E9FCFEF31FE12AEF33BC51C2757E631197821799651324A563A5202CAEAE3795AE7BFC63AE88F3E54BB364789E6A48519ABEEA7],[0683BCA1E5E19312D0C7D893E28E8E2E26D8DEBF7FB6F85D8D4D25E838E4D7AD4833BD776A5C7350C983659A5E207EE4F7DDA3661869DEBADDC227C30493EBCA346AEC16EAD3,0345817C9C96836C94FA51F4C35228810B44D148D18A62886B3020D95D2540FFFDCD8AD0E48311EBE006D56420080FD12029CEB226EE40FB8E787EC1B50E8D4AC652C8CAD9A1]] |
| FP4sqrt = [[038E4FC1EE01FB1548F2A06F3C3C84207B2DFABD1E19E18DFCC903A82ADB14A2F34503F4038DA1FC82F5CCCE3F45612F81C60157781A4701C106C5CD5CF20476571DF6421EBC,01A049A28E541EBA841F79300F280D59ECE31A1ABA702848DDD7A3B225C7D0F97029F15D6533F858155FBE087F6E43E1F0D31B9D58C4631AD4A86DE9D5870299ADCD89E33339],[0A91A772254461FAFD46B785634F98E83A298D221CC1EABBFECBF51902F04D1945D071F05C15ECD935D597770596D104C68294DB97E3F7F8320B9265A55E3A385D4B17649BD6,0B131B7A7378EDED393FF561D4C47947052A159D8DE648C5D25ED77E9FE721C5A6015E6D9F9D35397F3F0F783E1F4D5C26C237ADA5D765FA5B64A3C3D15960F8B6BEF5498CE3]] |
| FP4divi = [[0D077943CBC32625A18FB127C51D1C5C4DB1BD7EFF6DF0BB1A9A4BD071C9AF5A90677AEED4B8E6A19306CB34BC40FDC9EFBB46CC30D3BD75BB844F860927D79468D5D82DD5A6,068B02F9392D06D929F4A3E986A451021689A291A314C510D66041B2BA4A81FFFB9B15A1C90623D7C00DAAC840101FA240539D644DDC81F71CF0FD836A1D1A958CA59195B342],[064E1FE21378AF160340A274A5A5CD85D03867859448FA61403A60E554F76AC2A1BE0CFDBED7DE2AF40A5EA60C5BA2867CCB0ABA5F9B5DA72D7CBB6FD9A66FE5BD9EE09A1A60,0E4EF1E736F6FB8393581C5DCC9DB86A2A0235BA0B95699AE52385923540E3ED2AA425F2841B4E77708A4DCE97A9F34F4A27AB151FF11829F0FFEE0692E8A3E78B6B52BDC2EE]] |
| FP4div2i = [[0A3D750367894FF01FACD207E4CDB24748B6A6BBF9A4ED705A9F8CB40E282719978DC5C701B1A79F10ED75E2F116CCD2A7CD068B1F7F3AC2100804A5F455C031EB9BB364FF41,0D1605F2725A0DB253E947D30D48A2042D13452346298A21ACC08365749503FFF7362B43920C47AF801B559080203F4480A73AC89BB903EE39E1FB06D43A352B194B232B6684],[0C9C3FC426F15E2C068144E94B4B9B0BA070CF0B2891F4C28074C1CAA9EED585437C19FB7DAFBC55E814BD4C18B7450CF9961574BF36BB4E5AF976DFB34CDFCB7B3DC13434C0,0CCC664A3DF0FAAC033DA873F3CEEA630157973211F3DF2FEFB200379516903ECC071BCE6076774ACBF47B16A7E8B7DD5CA5CF1CFDB9F02A7AFF41A707D758D830C6A884D9D1]] |
| FP4inv = [[0D000A33C16A8D43E714CE80F3B823419D76D9A7FBEBBD98F400A19FE42F04DC3487F76C1AECFC0EE5B0341A9BC6C2FF29EDCF7398E730EC1CA867999276BE40A7229CC9DBBA,634CEB412DA8124D673926BEF2E45207FC56A4AC31EFF05C5FFDAB28F5D63B585148A275AC90D9F676AE846E22EF97FFA44A2A28D90AF60430A2674ECDBB2CF67B26FCA94E],[0C757BCB071FAF8846538F61C085B8700E7A21241FC2A06703863935C87E86F6DF441644B9ECEFD930A0501ED5272C56A7EFBA1C92AC08079044C08DCAC3BE01C85E2858F114,0484732AAC64DB71E4C3EA04AE7A47858F203BDC836C41E9AE0DA98E4AF9EA19917DD8FE94AED5E73C3773975617634B76B9756A1351376D9121584286A2B48EA761125893D2]] |
| FP4mulj = [[067C764A92961F4C779B0D3E3E78CB5A37281AED5C592BAA443A0A1DB77F2D5A94CC654D0BB2C2C9D2F9206C7C30DE27AF67A967E2F73B7E9E9352029F0ABCFEDC3046982264,03C0FEB8D4F330A3A811C4C9A654E6ED118E8BCE9D4BC1C61665829656A8F9BF02C16079F5FEE4D53DF4557674E5EEAAF8655D233C87FF437174B2A3554B03330F6B6CCCDCDD],[07D0AB7F0C7EAFED935B165E7E749B8CF8E3060D8DEA84CC35ABE63FF521BE71005B1721E27CB55798A0315DFC1CDDF86A4CE6B281D285A6A37D67CF64B7BAF518438AD3037D,04CB94451A72AE3E73262E8ACCD6FF7EA78DC8FD9AA76FF64AC8DB8AB4CD1714432102D99B3306FE4F748BEE1C9A67148F492EC23D6435A7B77C0F104E9524D662FA36613143]] |
| BIGsc1 = 025B22A7F4E33A785BC6A0E5763AEFFCAA76FCEC77F0DAA1FF70EB8A0168DCBF632C9FA60293379F93737CB7DC1E61D7B118543A22FE82B5EFF9775355C4CAF3DAC60B6043A5 |
| BIGsc2 = 4E |
| FP4pow = [[0B0AB2CAF662D0382FCB97C5245E4A43C01938C9684E4BD612A1F9093FFDD0C319CD05D1BA2DAF964D3C4E4C43CA99903E87BD7F6296BE9C5992A015CAE401177122F94B8790,0E0E47DCC3749334FFF026C288CEA8460863F103D1A668A705AD851F83827870CDCD8BEB8D3230A49597870670E86F2AF83EE2240EA53F18DB311FFE09CB10E12A0DDD41FF17],[0622BC94C1591E417C494785A15BC9B0D0FD83076AA60292ABEF6B603E23A27EA97CD560322AF8E46A5A3446CF7D89EC6E223DCD40931FAD088536572D7DAC1FE6B52D82AAA4,0DACA80EF667DF164C5A63DC12944E486459D6E5CC3339267B3191E8D19480B1036451C836594DE46922E727B9B377877D773BE3EB8ABC1DE4F19FB4E4BCA9937F2E1DC3BF96]] |
| FP4frob = [[07D0AB7F0C7EAFED935B165E7E749B8CF8E3060D8DEA84CC35ABE63FF521BE71005B1721E27CB55798A0315DFC1CDDF86A4CE6B281D285A6A37D67CF64B7BAF518438AD3037D,0B05E93F158A4E1CB04C61BCD89586F2AB1F0B446A8F840F8FCC2F62209E208746202D3D0C8D1EA5C5AB94986AD0C7ACA860584B04C40A81AF848B55CF64CA208315C6957AC8],[0991BEDF1DCE48642AA55D795515BDE2C8AAAB97719E6CFF7F3E3CC51B0C4D5589ACF2D2D2B91445B3A0308636C97054240A39ED4E9B0C6D82779DC6938E5929FB657111D929,04A1DF3C215E0C923E5644CE59CC1DE19544BD51AD9AA2AC1FE0D5823D712FF4ECAC2807DE57C5191360478B078847BBC33AEC35FBA1378867EFE91D35FD4E19EA91CCF06D37]] |
| FP4_xtrA = [[011B53A4A28393129D57C20FC66FB565CC87118B08395C76CD127D36D32E13A5C7DC76F041F53C79901F0DAA6EF6AB44134BFDB3336D56994C4FE9FCAC1E40C61E37CF203D36,0F3330DF1427F7BEA13FD466C50E928898AD9CA73DED4D17F7F4A7ADF6AC53FA4CAB407B44FF50B780328E24E207F2EBCF0B86202BF1121C7817BA58F6A912CA6E3FB4FBA4DC],[02495384297143CEB5FB44EAEFA3A6F88BFC9AFA207F2C8B2A2838BBBDD9BF5FBBC996DC7658B9CA1C4219940F263AEB1126E4B64EF3EFEB9858B4BFBD6D6E552BAD465E2B4E,0D55DB33E11A348F24339B37F767B32E10385256202067B47F59080DADD125D4041BFF61695F0FF215202331C10C863909FE3356B59E1E5A0F0626C3CE0D3C77EDA5F6DCEC39]] |
| FP4_xtrD = [[061CFE024A23452626013CB66BD83FC20DEFB3E2D6467A23093D42421A17EA3D7AC7B2C8E9E174D032ADACA6702FE14C38635E447F60D0E81281D5441B351D9C9926DB7B69C6,0DCA60490CEC1242004B00C4D5B8B2D051F1D016281D241DB1274823F5E218B0527C8203C4907F94CC9D77CE0A9C2BAC8C337A6B2CD7FD1647E7F7ED3458AEE0C71B514BEA8C],[07370963F97B944AC67455BF77D05BB2445AFEA2962DC3D501CAB7F7CE6ABC2C8D960E6F6DE25A1566DEC7E8E8733ACDF4234A4E6FF524F206320E7DED4F7006EB2149685795,012A9C0AE784BD0DBD847F9C1455E9D4FA37FB912B50234846E813F8CD498EB141BF6AD8CC182209CB85FF54252C8E3D43B69B96895D3FB6CCB09965FA3FFB994CF83330D0BC]] |
| FP4_xtrpow = [[0A5AEB21866E4CE3DB5CA35FADBE047E8C880C9AE9E82FF3D92971AA415218EBCF7A66AEE053D821E6A789715840A3446FBFC6DAB1309B6784B2341454F2AFA91AD736A47868,06D5255EB895455B93E2966C57D93A54E6FBB857C2214169DD704CF6EE9DA2B95D5203B7CC025325B192DEAB0D4816D803D705F548632D5EA57BB9C85BF0F95B95713E592CA7],[28C6DA54622BFD82E4D8A5552D13B5892C834C7D62C97892112970DEA1E788CE120010C77CAF928DAF7245E05A2D08AF7CD78E99DF866711AA22F80A4C0B34EA64EC0AA7CA,0732FDB1891F4CC21E426DA88331DE265B1659912366B9072EC2BF620935DDFEB8044545E8007BC63BDB376D959B7A254395111DA2C2EAED8BE15ABA058932A5F70595C3F45C]] |
| FP4_xtrpow2 = [[0ECD73C950388165F2AE198737404129947AA3A30FF9DD8681F23A3F034C737FE8CE9F533E35830C014FAAF6529A4B9937A60AD09CA1A227235C0682611B83DEB60153B3BF56,06DE4AABABF3DDC7AA7007D0945EFF70A31A23DB4907CB35EDB47F6C4FC652DFB5CEB7EDC1709E1DEED2E5FF0F069273A18B0531A2BA6E23590680807CB710A0309DA5F22465],[095C3959C20EC67C08AC81F34FBC9FE05CA565B9E19CE09818C34B47C2D2C3044F0A1DA425CA0642ABFC3A33F367FBED9410B8DA43DA03618729B1A1D590724B57A9E6A1AACB,060CE3CFC18F1A4F26FA726A2CDF01B4131A4956F015C49075C31E9442302CBADD12C7E5FE80617E031CD5CAE9A7F150944B04A59A870A3DE8046BA1326F73548ACEBFDB2F83]] |
| |
| # test 9 |
| FP4_1 = [[0C56C4C0F4B8175472E0D4339F371689D3C2F055DCD87AB0C2E4ACA25066808B33F4BAAA9203CE23B32A7402C7C24D8592AA7CBF27F21FDB136CED8D5EBA733E47BE02424B92,E59D9E05253D1F2237DBCB572DD0180882342E4C838EBE7E9CDAB21D3C8310ED56B2FC453D2B8DB3695087ABFA9A4981F681920B1C6E4FA5C21A6E4638554CA3FA42077336],[0211E6F70BCB7AA15201C10C9C763E0DB4A5FE6A28389CEC205159F4008C9970EA551FBFB3719CF89D0B3B56E37CC4E08B7BC592E76D030BFDCFD10CFA6B00E100224D3F7606,0CA8134CC6690121D15EB1D917BAC75A08190CA31C87E41AE112F80D9A272D90583EB9A1DFC94B620DA925027394AB13B4FB49442564B7899F0D817E578D6CDE827BA201186A]] |
| FP4_2 = [[02ECA1D0FBD398559B45CDC5BFA9D90F395BB12A0156A459722251893968BE93BEAA4554E3C5E849A18D843771AFF53F101A659E5546C6F5C2205332CF6FB404D41B2CE2979E,0E6458885467721176ABDC2629A7C41DEA06187A694E7AD365382FFCAB9E1127043400D5160B526A81DE2EC22B6A6E7F094C02ABF9823571B92FF96CA067AB3C6CF08F8C2AF5],[072723E0CC367A4737357FBE809A2C19ADE8F80494A57004909DB9E8FF62B7D1CADC6BCAF27644B2BA2712F6636E32D7DAD8446B553FD0E7C60A6860619AB0CDCF7CCAA91A64,091A538395F5FFD0B2A018313A62F3461C8D08546E614B885EF8CBA486B1169C5D7309A642797DEC8469A57B0E1BF023C7DDB4E6C40DD34155CBB1F52F4B10D87FCBB61C897E]] |
| FP12_1 = [[056D1DD027E70DD0F989F5A547B375BE642EBC21E83768EEC535897ACBE393305F7754E22A176D582DDCC35CDB4CF7B8A1DFF909F83D7C730A6E4A43A0A2F48879E1BF1F9809,0C64B2490D784F6840851A038C02794D458C878AE49F1B38B8E1E55DFDC06A61035EDBF669E2CF591D8E6ECC50E916F61185E665C22745C1D9F5C9ECCE3CF0891FF9EB0F28B3],[06DF7BE9E94DE8244F11B382146589F8FD32EE16DE8DFF9EBADA0903547DC7854D44F21AACB8E8C4F28B275835B3014E691870E85C7968AF66F9DB02C7950D40E7C28C734FF4,0443FE4749CF6BA214E75A47BC697B4805FFB5A11C280C3EE5CA5B89BFE16C55875AB41E9809EDCA64693665A6F35159B246B43BBE7C76EDA9AB65F02FB3E1CF4B76EC76F63D]] |
| FP12_2 = [[056D1DD027E70DD0F989F5A547B375BE642EBC21E83768EEC535897ACBE393305F7754E22A176D582DDCC35CDB4CF7B8A1DFF909F83D7C730A6E4A43A0A2F48879E1BF1F9809,0C64B2490D784F6840851A038C02794D458C878AE49F1B38B8E1E55DFDC06A61035EDBF669E2CF591D8E6ECC50E916F61185E665C22745C1D9F5C9ECCE3CF0891FF9EB0F28B3],[06DF7BE9E94DE8244F11B382146589F8FD32EE16DE8DFF9EBADA0903547DC7854D44F21AACB8E8C4F28B275835B3014E691870E85C7968AF66F9DB02C7950D40E7C28C734FF4,0443FE4749CF6BA214E75A47BC697B4805FFB5A11C280C3EE5CA5B89BFE16C55875AB41E9809EDCA64693665A6F35159B246B43BBE7C76EDA9AB65F02FB3E1CF4B76EC76F63D]] |
| FP12_3 = [[026022677EBB6DE6A05B4300BE7CE99E064698B3E7FE29AA3F91DE26AA80906F7E45900A9A8AC1CC867642EC098CA9466D1E7E14DF4AA7141E24C1D28C4EBE74FCEBD67236BD,0DCF8133A520AB8E3E7FEBF14D136F14BEC409A7028C5EEB96DC967347BD53292081C6C50D300B1D8BBE1C33EB910CDC706641CD83312A362416FA0152222E8DDA5FC57D298A],[08269BBE07D74B947C398570330453F01D0115C5231EC04306AF45A961D9AACFB0409CC48E675B10DBD214A6B44889CF2B32219C08CDDAB02662DE4D453A5A47F2DAD47DD54F,09CE6D4DE9D0EC9A92676BFF7F1085D80F1FE3A8D605653C3120896FB180D58AEEDD891FB8E99A4AADEB060F5564F3F661D7774969454B7984427ACC0DDA4E41F9D98DD26CE5]] |
| FP12_4 = [[05A7D3D12DBD7F0616933E3A78D68E59C673B310C9213F214F87F26A455BBE100BD6DCA0FFB1A7CCE4DCE384E8F654B9A5BF3DCC365762B844C3E9C2823AE794B1FB5AC3EAA6,0110E3D60508EC1A2499FE1EAD514293887E63BE8E58A2DCD2C90D3AE17F36CF3652405FF38E6233579D1F28C58E8EE64D5327BB2F83233051A8E0F46A3114FBEA94CAC702AF],[07C0E29D9D89DECEE57E04B46BFBFD48FB585259A0005789FFC51E3D1F1610D3C29DB1B3218889E335C9F5DC5D75AFBE2290F2346187C9F05C046B9F4C3D424EB1F78BB27F9E,0726348CF5224C63F08011C4B3972BC93B5F0B7D5A2DB348B6DFBBB9CAE692C7BDEB7E9D5B6C6CB6BECD6063CBE2225A3DD426CDAB39A90D13327ECA13E9CC881E9FE58C0BCE]] |
| FP4add = [[0F436691F08BAFAA0E26A1F95EE0EF990D1EA17FDE2F1F0A3506FE2B89CF3F1EF29EFFFF75C9B66D54B7F83A397242C4A2C4E25D7D38E6D0D58D40C02E2A27431BD92F24E330,0F49F626598CAF3098E3B7F180D59435F2884CA8B5D20991E3D50AAEC8DA9437F18AB3D15B487DF835477F49D76508C88B42843E049EA3C15EF213DAE6A0008910EAD1939E2B],[09390AD7D801F4E8893740CB1D106A27628EF66EBCDE0CF0B0EF13DCFFEF5142B5318B8AA5E7E1AB57324E4D46EAF7B8665409FE3CACD3F3C3DA396D5C05B1AECF9F17E8906A,05F0E94C2C620497608C39C2ACB1342ED1F940B585B23B9D6576B8C54B6D0C912C7093317A82A3AA7CF2A9F6FA456C76452F771DA74A4AA18DD8990D68DE8EC01C375B26F5DD]] |
| FP4neg = [[037AB8C33B44E506B091BC1406356FE77EE9E3EC285E795517B05E4A8504B710554C756C15BC578061F5AC83BFA8E13BA4FF0A4E1A36204E5393ACD8BF3F7BB89E51FAB46079,0EEBDFE62AD7BF3C013AB47C4E3EB6594A2AA013B8B365475BF8303AB82EB48A9BEA7D1A6282FA1661B6CFFEDB709477B5B3057B370BD1D9C13E7FF7D7C199AA4215BAEF38D5],[0DBF968D243181B9D170CF3B08F648639E06D5D7DCFE5719BA43B0F8D4DE9E2A9EEC1056F44E88AB7814E52FA3EE69E0AC2DC17A5ABB3D1D6930C959238EEE15E5EDAFB73605,03296A376993FB395213DE6E8DB1BF174A93C79EE8AF0FEAF98212DF3B440A0B31027674C7F6DA420776FB8413D683AD82AE3DC91CC3889FC7F318E7C66C821863945AF593A1]] |
| FP4sub = [[096A22EFF8E47EFED79B066DDF8D3D7A9A673F2BDB81D65750C25B1916FDC1F7754A7555AE3DE5DA119CEFCB5612584682901720D2AB58E5514C9A5A8F4ABF3973A2D55FB3F4,0252C299E0BAC768CEFE8FECD2F2926B7128EFF5E86C07F0F3F9B5A24709A9857263E23DD6F1FEC746AB424C07FB5A8BB05405F353C279075392BB67C3CA99071D19AF71F44C],[0ABC409A6F91FCB53E3ED195C14898655969DAA798CA20ED6A48AAF7D695193AA8B9E40B68BB7DE9F80448E70779C0C9E84D0834D455724D9EC60312B6CA3F0A16B57F8D07AD,038DBFC9307301511EBE99A7DD57D413EB8C044EAE269892821A2C69137616F3FACBAFFB9D4FCD75893F7F876578BAEFED1D945D6156E4484941CF8928425C0602AFEBE48EEC]] |
| FP4conj = [[0C56C4C0F4B8175472E0D4339F371689D3C2F055DCD87AB0C2E4ACA25066808B33F4BAAA9203CE23B32A7402C7C24D8592AA7CBF27F21FDB136CED8D5EBA733E47BE02424B92,E59D9E05253D1F2237DBCB572DD0180882342E4C838EBE7E9CDAB21D3C8310ED56B2FC453D2B8DB3695087ABFA9A4981F681920B1C6E4FA5C21A6E4638554CA3FA42077336],[0DBF968D243181B9D170CF3B08F648639E06D5D7DCFE5719BA43B0F8D4DE9E2A9EEC1056F44E88AB7814E52FA3EE69E0AC2DC17A5ABB3D1D6930C959238EEE15E5EDAFB73605,03296A376993FB395213DE6E8DB1BF174A93C79EE8AF0FEAF98212DF3B440A0B31027674C7F6DA420776FB8413D683AD82AE3DC91CC3889FC7F318E7C66C821863945AF593A1]] |
| FP4nconj = [[037AB8C33B44E506B091BC1406356FE77EE9E3EC285E795517B05E4A8504B710554C756C15BC578061F5AC83BFA8E13BA4FF0A4E1A36204E5393ACD8BF3F7BB89E51FAB46079,0EEBDFE62AD7BF3C013AB47C4E3EB6594A2AA013B8B365475BF8303AB82EB48A9BEA7D1A6282FA1661B6CFFEDB709477B5B3057B370BD1D9C13E7FF7D7C199AA4215BAEF38D5],[0211E6F70BCB7AA15201C10C9C763E0DB4A5FE6A28389CEC205159F4008C9970EA551FBFB3719CF89D0B3B56E37CC4E08B7BC592E76D030BFDCFD10CFA6B00E100224D3F7606,0CA8134CC6690121D15EB1D917BAC75A08190CA31C87E41AE112F80D9A272D90583EB9A1DFC94B620DA925027394AB13B4FB49442564B7899F0D817E578D6CDE827BA201186A]] |
| FP2sc = [0A0EC3F5B15C07EA272AA232E3ADDB5C19E9776E6E15FEF9D7ECC1DF37A200B8522F49D55102EAF895BF4373D89046D44D0459D09389747F26DC351471A4D82EF99B4969A9CD,01F36A093AA854F46B46E3A8524EDDA343E7FA5BC7AEE3A55CBBDAF02044837D4F33D00E027B70F1C2AB654FF15C1AD2DED227DBE50A2AD988F5E7DA2074EB6C52C6C5347A1A] |
| FP4pmul = [[0EAE5FA9C9ACF01265FD353F567274C99CD725BE892D8E82AAE9D3606E560B5755B9EF5B3B416B7759B877F5341AFA02C141FA73E3DB3CA4CB04CD40B1654DF652070610CB8C,0B0B2EB05222A20A04148475E14A81741112B784D3E74C3DD4F0C581278F6711CCF01C74869498107B5BFD484A220D75D3E9BEC6F46E40EA6B71D807A47EF594E4CD540330F6],[047DDE7FD501E897E2454AB97FE5C79B4AF628D3471E83BC149F4974E97AD8B6236B3510D5FE6A447F459FC08CC0AC7FA4670E870A6C8E52C0C6B3EABD7CB03288C371D495C4,02D5E389E76804F885CA63EF78A499F8F650C91F42FAB58F5CDC6B76A9579ADDC83EB834014E38CFB0CAC8AAB14F33F3DC2BA86A650E76CDFB2AABC0FBEC07F011F8D4EAA80D]] |
| FP4imul = [[03CD34EE85D2D080C2573FEF192D8DA6AE0A8922C77A1D62F7A7238582B0B6B4681EB4CCA19D8F451A92DCEF118F53A5475ABBA9B29F7DE03163CE0641F80028D990244A544E,072CECF02929E8F911BEDE5AB96E80C04411A172641C75F3F4E6D590E9E418876AB597E229E95C6D9B4A843D5FD4D24C0FB40C9058E3727D2E10D37231C2AA651FD2103B99B0],[BDBA342E5ED8AF6C9B781D3E4569FC52831F0F3C8DF35B27F5C4B32EF993EBC967CDE6F3CCC220D339BA30947AF8432434A589F93FD836877DEE01B55E18111B026D050425,0657A94D135A1EEBB6462D1ADD4B142850BB6B8CC4F568B3E9197EDFD0B61EDD8A6EAC870FC97937EE8864EC7022401659E11FD19E343B548E686D8E088FCD2AAF7D2240BB0E]] |
| FP4sqr = [[0CC7AE2D61C6489B5E6074F54AD19142F79A7105F3D99D1D202BE24CAB5972C67377087AEEA5D9B2ED0BC4A2BF6E1F9159B4FCDC3C0E541D70DD372FE9943BD1B54CAE834BB4,066DD6D2E13A3852E6B04F12BBCC1C92CEEB4C27569892218C6D6F767752EF536ACFF51ED936134DAAF3EE7C748FA4F0D9BDF19DF7D064332311BD57C765A3139002EAECCBD1],[02BA487508883CFFE05BB60CD4994E817690633B0E1A38A227C4049F21A951C8A703E4849B24812225355F40340E8A210B6C0D26F688D8C07F52F64F9477082B0B05425E5FFE,D4A59D1FD560A15C954AE9B9DB43E4D12AA99E43670C91C04C54FAB9A998029E2C98736AD437C8CFFFB144DFEA52E919EFA5BD74703AB1182F840EEC1D8B630439603C1D84]] |
| FP4mul = [[0A57E01F4881EB3419484382E92AEE61E83DF6D1C154FF891A346D25CF14E4A123AD6DB96E7B2CC9D2ABDBF80D40F3638BC2C20FEC7FC8B405451E712A808137B06C9EB65C3E,044F1EB37F46E9F0EED9F2E13615F9BF91132BFA3B184C6C81FF83B7E6E133CFAEC0DA1E63ECA8D2E705403AC4868BBBCB39F3C0D39788DA2CA03BFBFCE680DC3EA2B7CC2448],[04734D827C32E677EE2D3973DA44A8B7F8D9F268850209E6ED80EAA8C1E73F65EADACF79C160A30237BB0ABADEBBDE870E8DEB22468F765DEE5A7B501559A707CCF2583D5159,27D11A2649664B59B9DA2E2A64896B2400CF7F33DCF027AECC4A776F9A13A4C75D4E5E961ED84ED6841DFC9B4FB08CBBA909B1D73FE2C3CC7ECE80D544EA7BC6B9C4985EA6]] |
| FP4div2 = [[062B62607A5C0BAA39706A19CF9B8B44E9E1782AEE6C3D58617256512833404599FA5D554901E711D9953A0163E126C2C9553E5F93F90FED89B676C6AF5D399F23DF012125C9,72CECF02929E8F911BEDE5AB96E80C04411A172641C75F3F4E6D590E9E418876AB597E229E95C6D9B4A843D5FD4D24C0FB40C9058E3727D2E10D37231C2AA651FD2103B99B],[0108F37B85E5BD50A900E0864E3B1F06DA52FF35141C4E761028ACFA00464CB8752A8FDFD9B8CE7C4E859DAB71BE627045BDE2C973B68185FEE7E8867D3580708011269FBB03,065409A663348090E8AF58EC8BDD63AD040C86518E43F20D70897C06CD1396C82C1F5CD0EFE4A5B106D4928139CA5589DA7DA4A212B25BC4CF86C0BF2BC6B66F413DD1008C35]] |
| FP4sqrt = [[06CC3A1E7318E5D59C95EB7CF41F08D09C53DA64B5B9B24A648FE42AFFCCB82EFD1722955806E0BE143F22B3A3A55A57B75582F65A59A5492BC1A831F7E851245155114A8576,0EABAB84CB416BE53C5EE7AD2F900D3082CF887C1B9E49A77274E38E44D25CBD7446C475C89824515FEEF58F20AA93A419AAE6F8F269205EB51AF51E5540FBE623B66F1475D3],[048B54E563CFCFEC3C9D1DAE40EFA81D6DA84F09FF49ADB31CFE8A552C4E455DB881632771C72804C4487DCAAD5380D8CE33BC7C9310E4BB525F40AD3C900B8D4BC8F8753D,0683F2FE4B49426952B19F806B877681B238D4A50988D999B6EF3C7B9B485139F6DC9B368715CE723F20B0F9327C217859A6A4AB64BAEA781BE4C0F40DA0C1ACB933B1CF59F2]] |
| FP4divi = [[0211E6F70BCB7AA15201C10C9C763E0DB4A5FE6A28389CEC205159F4008C9970EA551FBFB3719CF89D0B3B56E37CC4E08B7BC592E76D030BFDCFD10CFA6B00E100224D3F7606,0CA8134CC6690121D15EB1D917BAC75A08190CA31C87E41AE112F80D9A272D90583EB9A1DFC94B620DA925027394AB13B4FB49442564B7899F0D817E578D6CDE827BA201186A],[069E312F7CEEAA39CA8C57FF7B327350EE22924214AE04B7A0C0C3AA36D181CE10A5B6D36BA07CD8B349E24539DE73E78A507F28998747155C9783FDD279644575DC2224DF64,0A18E9F2B8338F407B1E14138167E3386D0C762E3D0C7E0CB87121F4BBD638DE65F22C3F815CD459153F8EC8F98755232F4F8976B3BD6763B02B30D691B8DFFE142E1CD93FDD]] |
| FP4div2i = [[0423CDEE1796F542A403821938EC7C1B694BFCD4507139D840A2B3E8011932E1D4AA3F7F66E339F13A1676ADC6F989C116F78B25CEDA0617FB9FA219F4D601C200449A7EEC0C,097EA9155CD505E87F4AD36A8A090842BD85450433D8D42FE790E52E5EE32385273C432D17D271200632297E5FBE2766324D0B7B08A12EE9D71A68969120EAC61EE7470B84C9],[0D3C625EF9DD54739518AFFEF664E6A1DC452484295C096F418187546DA3039C214B6DA6D740F9B16693C48A73BCE7CF14A0FE51330E8E2AB92F07FBA4F2C88AEBB84449BEC8,04605661406A2225D2C997DF5D633FFF876C181A74E20813964D38FCA2413A2142A328685AF9830E155EFD0B6BA37B8526F58BE025528E9DF955C7470577D105424C3CBBD3AF]] |
| FP4inv = [[0B9CB233AAAED73C7C21058B7478F6036B573DA417957F56B75F0CA4278BFDB933768FBA6E96CF11829DE21016DEC475346798ACAAFB54ED0B00E7058A0392E5513BF134237F,0BE88C3C40ECA9812600F24C292C1647E6F2A1231E8B8400F46F85079B264C7D7AE8DC22726AD0103A251749C6D8644A476C2F42F3FDE274C836CCF71F913C578A3EDE07679D],[02697CD20618BDE5A29CA2E07BC4121F2714EDA057455098B67F60448281385422D93A6452869BC0950B91CF83A7BFA8D0A7A40A821A7067B4D2D05CDF8333AC95CF4E6C6BAA,0B05858CD33B7C73A76EF38A9A15C5A5BF0E31650A3695A61614E419188D47A9F805C0860DB46A11EB7C2CEB984D47A234E349E727BFB19F15257EF7074F727B7F059956B25A]] |
| FP4mulj = [[053B512E755F75DAA4159F7B2A27FD24FF39C60910E7ACD719D36CD33BD0A37C1B5796347B68773AA48236DAF753488E0E2A035C04308BABC5C2E9F4C0D782F963B6A83509A7,0EB9FA43D2347BC3236072E5B4310567BCBF0B0D44C08107016452019AB3C7014293D961933AE85AAAB4605957116FF440770ED70CD1BA959CDD528B51F86DBF829DEF408E70],[0C56C4C0F4B8175472E0D4339F371689D3C2F055DCD87AB0C2E4ACA25066808B33F4BAAA9203CE23B32A7402C7C24D8592AA7CBF27F21FDB136CED8D5EBA733E47BE02424B92,E59D9E05253D1F2237DBCB572DD0180882342E4C838EBE7E9CDAB21D3C8310ED56B2FC453D2B8DB3695087ABFA9A4981F681920B1C6E4FA5C21A6E4638554CA3FA42077336]] |
| BIGsc1 = 041F04821704CBDBCC733808DC29E70FDB66794F4ACB2F543CADAF87877A0631F469F95FCA46A7ADCA0B0DDA04D879E0C34288297968D59AEF7B275774DD8AAB94A2A5A8433A |
| BIGsc2 = 52 |
| FP4pow = [[06C20D75E6CCCAE0F7B6171B00E23CFD303DD08440F06A1784BBBDE343E41CE6833721AADCBE5D4DEBE54CD075B14366826639D5344D51E773B5FB897159CA67C12983B06439,0480FC797A082A7AC2C2AFF479297136CB94C76FF6B491FA416D59729C51D0E6B23C144BEE1AEA8A8D06BEFAAFDA5C7C79EA62B5565244AFB2875A3A373C951A78FA0AA85B9E],[0BA809E1E85F0FE26E69A4C437BA381741C55240D933A0F83BB9129479F6C605275E520105440A31EB155C19E2229A6E6931BE1C5B9371815CDE41FD2E6E2A3F1C3D8E9B9DF4,08941C9AEC0D5F6CD4B1D75F53A27303450AE30E18AB3337DF831EC4BE5AA8594761837BEAD2C99469A52BF414F2C3CDBB21C4FCB0EECA90DFB68CFAA3CF9427299C1D49E90D]] |
| FP4frob = [[0C56C4C0F4B8175472E0D4339F371689D3C2F055DCD87AB0C2E4ACA25066808B33F4BAAA9203CE23B32A7402C7C24D8592AA7CBF27F21FDB136CED8D5EBA733E47BE02424B92,0EEBDFE62AD7BF3C013AB47C4E3EB6594A2AA013B8B365475BF8303AB82EB48A9BEA7D1A6282FA1661B6CFFEDB709477B5B3057B370BD1D9C13E7FF7D7C199AA4215BAEF38D5],[029EFC8210E136314F4F0BFCA4F97D4CA4713B1EBF69CAB99E2B7BAC3FEA0E1E03CCEF662DB2C2DF1735303EDC721471EA14569256AA5FB0E0662A0958FB0647F6418A56C230,043D8107429A6FA70FF489803F13C416B06C80583DC2EF63ECD60FCE336D7CCAA9B643FFD37BE271E9AF9C5D54CC009CEB09315FC4E5FD78E6E6B3C764ACEAE4EFFE292D9BF0]] |
| FP4_xtrA = [[02881EA802CDCAB0F38C99C2DDDDEBC79B1E8990154D396120D19B901FADD7184BAC050DDE91EF7BE4AF2EEC81AB90E2413ADDBAA86EFC88F1774714A3FEA8FFDE9ED779B333,09D9966F43ED3E51E828A99B052191305D34E5D266306C45188E911EC41E4CD00541D9BFDDE213D9DDBACE5453AEB5BFF8C544C43B44426311F7F4A33055911BCD8C743B6FE1],[0EB9A541A9B165E1F5ED676F4B1AE730664684EF5FE8DC49BF0EA9EF66910BF1E3DD1B2609BB57BD1E5B528C2BFEB92401D0B3A2671364EDA8B61E6D7F686D8AF2A62D0D578A,0B663E44E4835231688AB7784220BDD220C57D160F79DAFD1912BD65D95DC40B478B4701397D9A1E1B4D8E1EE05CF9FCDC66F36BF1EE5EEE500928F372F8BAB2FB2FD89FD47E]] |
| FP4_xtrD = [[03EBA22FA853164D9C115CD5B1CFEAA0A2C1649C3F5F9BC174F793F4DFF7A94B94CEC33C725E630F9BD6FD23B754B3476C098A6B2E525490B103F67B4A19444C0BE0A6F5609B,04A29B96D6EFBE14A240977C0D707C62BDE6E3CABD9174A48F33BA123CD9E93190228F264EBBBC3244214D6D1C9A705DD5D0EE79E1978793D78D887B3AF4F87A480E66DDE565],[06DE1663201F3242845F38260D85CA9CDFDC600F5E8B727A6866B88722C284AA7BAE24040207BB135F4BD5EDFB0813E22263984CC562DED87AF29869894D09ED0B49DCDD4C0A,0A534EB27CAA6689DBE01E5443E44C278EAFEEA2773FE0C1A7DD3A29188CBB87C568DBA082A6A8E8D631DAC33FA87A4F4C3CB1387D11699AEF49ECA57D3E76292320A747A24D]] |
| FP4_xtrpow = [[0D9FE017C04E9591356B81B1BA562E2DD2CE94AD948235A427EBE7BE14DAB3137554717BC86854314EB4F69EAF9F19F28A7240D5539AE70675B4BCBF5036146281A4B012BADA,09B3E4770A8B1997561DB5AB79479B6DB2D4DF7110C6B127E260722B9992E0B8737F8F46608E19D131B9F4F1806F4DDB2EF85355AA60EEF34BDD77663F9A2B4C32225AFA9E40],[03106A80D42682335D33503A88F76A0DEDDA8F385EEDCB359CAECB2E6965EEEAB65EEA66B249DEAAB5E944A946C82AE4515C0FA9427604EF839D5ECF9D6097320E1D67A13465,0B891F5F1836551B98DC5B28E23CD33CCA9F1FB22C4F1806EBE1E80C9AB74A37B3FB9EE77D260FAEBADDBE5A01958D3FFA80FED0583F999483B321E4FF0194EF5C1505C8A580]] |
| FP4_xtrpow2 = [[025A7F1400834AB1D4D56EF6A0F43776A1D61EE8FC4B2A809490C2204B48A0C5F760FB3B7C8E4A241695555D59573839FBB20048036C09B41CC7A9F920E775BB8373B1000120,0CB957AC95064976FF9E4A8960864637A898DB844D7B78D5A0C9689B48281B819CB0E443AC70AC284D3D439BFEE303ED3B789291EA2BF21482802E0F5BE621D09DE283D9FEDA],[0A9BBCBA94A2B60169277AD11A420F63A3395E7A9776601D247C229AAAB1FEFA7F7DDD5A3CB45D0818F9ABAB48F09F04124273DE59753733B6D180BA5F1311C717126BD1898C,08DBE9277C958C97CAC53FDC0B80E17659028BE139CA3C16AF28BC26686DFD79F72FF7E5C962DF7521F9F952D2B55F44D2C9FDB2FB35BD94BBB4105532AE807F3A2E410FA254]] |
| |
| # test 10 |
| FP4_1 = [[0EDAF261D8AE3A38F7A397CB8A85A94BB75A5EB8F921D82748FBFE310501A5D7330A4A3039F3E2849286105221E3E2001DFCABDFF5FC62C21A249F90280FD3CBFCAD02580905,0C91BF56AF26B69F5CDF851756751BDE64D812EB1667670FBF695979258DE9EF8042BB3BBD20999413646026A780252EAA456CB27C20496A5FCF9085F9A90863BE83D83E7BA4],[0921E55D3382BDED352E5B9BE6794671BFBC16A45466CBFB40151CE166D4C858DC8795727C8FE9BDDA4A58E62EE4FE0C3DB6F49A276C313EE6476BAFDB607B748F9714F2EE9D,0A37C4094CF715C6DE7A47BF88EBEC26CAD4F22C1009AC5A54C9635B8295403D950BB28850A334ABF311C92834C40FEC34402CED26DBBDAEB6DEA656AFF398FFE36876B7C088]] |
| FP4_2 = [[0E037F4C56697DE7B679F142633C94F6241BD59110A353F3A8C179B2945C3EB7031DFBE97CF17D299A31592F431CDDD81B719E11B7115C68FC0BC3B7CB52E731FFF92B2EFF91,2D02D4C28711E10F0E5513D9239ACAB6643812CC9F9E5E35232296808653A5275E51377FBF31311D03FFF7047B19F0B92642AE424007867D5A63448F0AEB53F0B0A7B0BEF0],[088013B5DED46AB3020D5B412EAE183E6EBDBC9A424D35770045640B5E0D386E4B1AC1275A44718B4DBAE08F66FC830473AA16B139FE2A3A2EE6C9D5B622655500EDDACB2F78,0715A75EBF7C176BB57D5EBA3E105907A25105ED3BBE8E12C6A8301722E18FE641C323DFE831EC0E001335D459FB5291DBF49ABB0644FF8C7E1F94783EF361FBBBD4E6CAAC5C]] |
| FP12_1 = [[04F865B6105F087B2A293B8B4C08DD00E5A6D69BFECAB8D0533C0F4E2089766DCA8DC00BD944FC900BB732DA8386EE5394554E300ACE3D1020A31D15114BF40DF73F982CF04B,0A84F050E9B0F798D16973C0C435A89A2C1B99CCBEC5E779B08754DAD662FCF39E839F7AA6134E86613F6125865A7BA565A9848CCF7C8C349D327A2867E583D806C00CB1D79F],[04A5C553CE782B85F7C53049D4B5EED83EBD294DD4ADAFA08BF1E471FB9BD26A7122F146725893F765B9C2C6CC578438FEED880B8F22566B8068ADB609A4486B54D55896F0E3,0EB5D40FF78B639492DED93409A2E63FCAC760C50F0158B30613C0AD64750AA7213431E34AB5A99F97CCA9CC982F84DAAC71D7AF2E378DF2FB4B3918CD2B030914D848B2837E]] |
| FP12_2 = [[04F865B6105F087B2A293B8B4C08DD00E5A6D69BFECAB8D0533C0F4E2089766DCA8DC00BD944FC900BB732DA8386EE5394554E300ACE3D1020A31D15114BF40DF73F982CF04B,0A84F050E9B0F798D16973C0C435A89A2C1B99CCBEC5E779B08754DAD662FCF39E839F7AA6134E86613F6125865A7BA565A9848CCF7C8C349D327A2867E583D806C00CB1D79F],[04A5C553CE782B85F7C53049D4B5EED83EBD294DD4ADAFA08BF1E471FB9BD26A7122F146725893F765B9C2C6CC578438FEED880B8F22566B8068ADB609A4486B54D55896F0E3,0EB5D40FF78B639492DED93409A2E63FCAC760C50F0158B30613C0AD64750AA7213431E34AB5A99F97CCA9CC982F84DAAC71D7AF2E378DF2FB4B3918CD2B030914D848B2837E]] |
| FP12_3 = [[0E8BA5973A4B17E093152A4BA4B793186DD52D0A6C21D48F39407A7A7ADFA2C34799CA88539BF0B15476920B0B7BB7BF7D469DDCE7034A534CE2B1FED9DF6B2C19AC5F0515E6,0F7CA191D70E65E9EABE57D5E2AD70919A6293458DBDA1783534830DDA48F3B0579F72017F6B4FC342838D15BC4C9BED67F08E132AAF6851B8312502E92B12CD7A59CCBD8B99],[0FAF11BB456FE5E9446661F48B6E833C24CE161603F86A7559BB7C9B6AF9485F1E7A9B774BDCCBFD5AC67F83E1EE6D74C465B88BF9A13C6321EFCCD0594163C8978AF2F653B8,059AF46040026AE3C37E4906291434C9433ECED47955D6300FEC42C919D56DBF1282F098B520D03D6B13AFC0DDDCE2BECF720E258D4315CC284F510F7B9A4932DE6007FD6C0E]] |
| FP12_4 = [[08524E8F3AD398F56A695FB0F6B390A1E7790A523485FADC61EBB587C1431D9AB6D77B2453E4E4EEBB8BBAC631AE6311B5F5EF6FF8310984FEE6DE331BF5079F568D97507FF9,05A59A1C562AAF851F27F4070B20D71FDC967D5B9E9904A731CF7210CD5C8295ACD8E08E86D18BF245C15EFFFACEF4C099BCD5D30C5B012EE2BA4619F58A4864F5FCD8555CB6],[0AE02057AA543DDD3CAAC9AF66C373FDBCFCAD9CF0F17C2B21151D90DD0436179CA48731FD5F63B772ED2408CF82F47FECDC4FD05618E0C8A34BF529E3F17C5EA07972AD3572,052799103A44AE722F9A608D49E0C30A1FC2F6D2A218B3EC7D808B5978C7FF5A810EB9985FEA754FFCC9F55B1C0E57B59742C233468CB6CEB8DFDE08E2AE1BB685EAE468BA1B]] |
| FP4add = [[0D0CF429FF1ABBC58AAAF8C64855B7D088C96008048E381517286CF6C3F2ACF2ACE716030F253A0A179748FADD95911701C4C2E46AE57F01AF2FC8E1D568CC07169630905C8B,0CBEC22B71ADC8806BEDDA2B2F98B6A91B3C4AFDE307056DF48C7C0FA6143D94A7A10C733CDFCAC53068601DABFB3F1F636BAF60BE6050F0DD29F3CA88B3F3B7AF347FEF3A94],[01D07B8EE25A2C4513C926956FBAD83EDBCCFEFC917D0D6C65C575FFEF76C92B9E6126832F1435A512E518EF0E76524F79B7843E1F421B4FAE2D9B1F7388F1D2AA74F2C7720A,017BEDE3DC7630D770851632218FBEBD1A7923D74691466740DC8885D00B98884D8DA6519114FB15DE04DE76075433BCD88B409AEAF87D11CDFDA068D0ED0C04B92D608BC0D9]] |
| FP4neg = [[F68B22574EC2222BCEF87C1AE6DD259B5275890C151BDE91990CBBD06991C45636E5E66DCC431F829A103465874CC119ACDB2D4C2BDD674CDBFAD5F5EA1B2AE962FA9EA306,033FBE2D80D645BBC6930B304EF76A92EDD4C156EECF8CF61B2BB173AFDD4DAC08FE74DAEA9F8C1001BBC05FDFEB09928D641A5AC607F6BF073109E02450E693278C24B83067],[06AF9826FC7A3E6DEE4434ABBEF33FFF92F0BD9DB0D0280A9A7FEE0B6E966F42ACB99AA42B303BE63AD5C7A0588630B4F9F292731ABC0EEA80B92EB6429973825678E803BD6E,0599B97AE305E69444F848881C809A4A87D7E215F52D47AB85CBA79152D5F75DF4357D8E571CF0F8220E575E52A71ED503695A201B4C827AB021F40F6E0655F702A7863EEB83]] |
| FP4sub = [[D773158244BC514129A68927491455933E8927E87E8433A03A847E70A567202FEC4E46BD02655AF854B722DEC70428028B0DCE3EEB06591E18DBD85CBCEC99FCB3D7290974,0C64BC81EC9FA4BE4DD130037D518113AE73DAD849C7C8B18A4636E2A507964A58E46A043D616862F660602FA3050B3DF11F2A0439E041E3E2752D416A9E1D0FCDD3308DBCB4],[A1D1A754AE533A3321005AB7CB2E3350FE5A0A121996843FCFB8D608C78FEA916CD44B224B78328C8F7856C7E87B07CA0CDDE8ED6E0704B760A1DA253E161F8EA93A27BF25,03221CAA8D7AFE5B28FCE9054ADB931F2883EC3ED44B1E478E2133445FB3B05753488EA86871489DF2FE9353DAC8BD5A584B92322096BE2238BF11DE7100370427938FED142C]] |
| FP4conj = [[0EDAF261D8AE3A38F7A397CB8A85A94BB75A5EB8F921D82748FBFE310501A5D7330A4A3039F3E2849286105221E3E2001DFCABDFF5FC62C21A249F90280FD3CBFCAD02580905,0C91BF56AF26B69F5CDF851756751BDE64D812EB1667670FBF695979258DE9EF8042BB3BBD20999413646026A780252EAA456CB27C20496A5FCF9085F9A90863BE83D83E7BA4],[06AF9826FC7A3E6DEE4434ABBEF33FFF92F0BD9DB0D0280A9A7FEE0B6E966F42ACB99AA42B303BE63AD5C7A0588630B4F9F292731ABC0EEA80B92EB6429973825678E803BD6E,0599B97AE305E69444F848881C809A4A87D7E215F52D47AB85CBA79152D5F75DF4357D8E571CF0F8220E575E52A71ED503695A201B4C827AB021F40F6E0655F702A7863EEB83]] |
| FP4nconj = [[F68B22574EC2222BCEF87C1AE6DD259B5275890C151BDE91990CBBD06991C45636E5E66DCC431F829A103465874CC119ACDB2D4C2BDD674CDBFAD5F5EA1B2AE962FA9EA306,033FBE2D80D645BBC6930B304EF76A92EDD4C156EECF8CF61B2BB173AFDD4DAC08FE74DAEA9F8C1001BBC05FDFEB09928D641A5AC607F6BF073109E02450E693278C24B83067],[0921E55D3382BDED352E5B9BE6794671BFBC16A45466CBFB40151CE166D4C858DC8795727C8FE9BDDA4A58E62EE4FE0C3DB6F49A276C313EE6476BAFDB607B748F9714F2EE9D,0A37C4094CF715C6DE7A47BF88EBEC26CAD4F22C1009AC5A54C9635B8295403D950BB28850A334ABF311C92834C40FEC34402CED26DBBDAEB6DEA656AFF398FFE36876B7C088]] |
| FP2sc = [0B88603D62B57095C059D5D4C967AECAE66645926F931457F4800BEFC485B7A48F9DF5FC7D6308382DA1F050420A84669A51A06BAD8160DD06E88ACF80AC17F269036A8A9F9B,0B5A324B81A89C2F0F951FDD9DCAEC19DA7932444F0647C1A945A82E620F48B18A329233A6F755F3A13349ACC6AFBEF84FDB07A20CE7F04D6EBBB131B9458A6BEFD670354279] |
| FP4pmul = [[0FB13B333552A06FB9F59556561096F9DDB7D0FA07E34F9163D8B52AA0601B228B66B86601110FF4F06D09ACB6F0DE998B6AA4C30652926BC58EDD0D11487BA1B8B19BFBC0C3,077CD5C4D12F6746A19D33A63E16DD9A49CC55436E75BF0320E88F131C5B582E173D660D18C295F7E3F60DA9E172C433A1A9660A1E1EEC791EC5B98E8BF6E6FDCC8588F34758],[0CB70F2F345E5C05DE24F28A72D6B8697743510CC68540D80E8248BB817112F0847964197C295EDD8250C09E051493E5C78E4B3D403E95A08A4E769410283ACD51DE972BF79C,0C41CF4B93022ED823485E821641EBC209E2613C4996639B91C090B9BFB841E9952A5B9E0E9D897F0025CB8533E1EC3F616FB875BC50EBEB135D178974598609E9F3E6ED6CAB]] |
| FP4imul = [[0726994F1E382927992BD3EAB34EC01EDCC6B2709878F932BC33985281B517B481531AFCCB91C9887DB58EAEF5A97BF75095D275949D7787B344C8E078BEFA74B1952D62F0D5,02654B6ED871851C4BB9BBDC84264DB848DEDC75A521F364C0A0D8C87C0EB42AC190447B0FE45EB81AA67DAE2F93075B76CE20E98E08D39B8D47DBEAF51BC2C16832AF73A477],[03199CB1DFA7BF8F2D646714DF24D9C9203CA67CDD8A67B7FBD4CD4C7262F516127E50951A4E7B7842FC7D7700F504A8151EF62918047A67157FC5302082AC468DFFCBB9074E,0CDE70BEC4BED636210FB455952CAD26841C5E4276444B0FB62B47976C272C208F2356598EFC1DD721FF6FC935CCA587BFF1F11412F06A556AD0D50D99AEB62C805C3BA46891]] |
| FP4sqr = [[0F4BFFF6F0D684C2F0A59C002B8C99A300A527B71F01B50F3289AB3E6491C6B41BC923F7DA398CFED62A7BDDB3F26D7547243B5B6595788CE901715A2C4D26B11F41EE317DAD,F748B52E3BB751366B90E3FD99A654EC644EFFCA67862BEC2DE3C56BAD12FFB93352B24A022A47DFA75D66D32E13F24B5C232AAFFC2329BC1629836857E1A3F835DB8B8704],[07BD10121A86AA5F901E8E691A2BC1532A273A30EF2CA1F8DE6EC47767E857781F07FBD5CAF24571C179056BF43C708987F74B7FBEFB198710E7B4610B44789B1EFB76695CFA,0CC109D083CC4A5DFFFF056AD723384C2666E9C517596438F912023082BC36D5150056CEBEAA2F98D8BD114947275F28B5E03729DBD02DD0E770CC07905A7EA9393D932125CA]] |
| FP4mul = [[068FCF2004226D0F79B6D5A9D9ED69DAFE8293E6F34933D8FF209E35BB0C81FA7E8B103A47DFA8364848133E4E788D59B2AC5315809771124071A4808BEB37BB6C20822184DB,0583A9462BA86C819AC2D899BE11C7D0BC582BF5D188C4DF5594D76F57BDDE3E1F14A6FD9EF96F4BA9A650686635A240B899E4B5619F22C068BE4C8B91C172663FD1F100E400],[03CCE362D848C938C7868399D20746A97A4AB16365AAE465A788040E7547D3876301FDC67FFE1130FA80C8C863670F39C04F6FFF46D82365C978B3ADAA5E02425EDA8B426F50,0D8A6DB0D3D953B8174434F068E1B6CEFB4385528DDB5AA9691D2416D1F52FBAAD801B009900F716287814340B04485D82F9ECE5EEA86178BB3E0A415BBAA04925CF8420975E]] |
| FP4div2 = [[0F5637F304559B4A0D8B140997F917DE8503997D7F2C661691C8848EED366EB95E25BD2370DA041453D3186C54A78860AAD319769C125175C0929CFB2304E161715E7FA75A88,0648DFAB57935B4FAE6FC28BAB3A8DEF326C09758B33B387DFB4ACBC92C6F4F7C0215D9DDE904CCA09B2301353C012975522B6593E1024B52FE7C842FCD48431DF41EC1F3DD2],[0C79B170B1BFDD242C5075F1C5F2E671893475732CCEE0008D5513E71E1FFFFA32E462C4922807B0F7B53CB65B281666BAB03DD3B4CA38B426A4030AFCAD3535BAD388F4CD54,051BE204A67B8AE36F3D23DFC475F613656A79160804D62D2A64B1ADC14AA01ECA85D94428519A55F988E4941A6207F61A201676936DDED75B6F532B57F9CC7FF1B43B5BE044]] |
| FP4sqrt = [[07FC63B0B6403F297D9D1A85EA427A9DC46CCF0A42575D5EF5B48B934D06E86ABD95693B90CC359A1746783CAAC1F7F89CFE014196F50097579FC7DE13579DFB6217333505B2,8610796A2B40C72905DD12776BE48F2479EA9EDB874045EA670C0E55C0556D8C5EDF9DF07C9B80D589E5872E8060A1397316A1AB0DE77FAA445A5F2C56785DA9C72551A05F],[0BCF494210B0ED94F048400E48966CEEA81B2326E5F71B35B934AFA09BF6A60FA6EB9090EF8DF007F96972ED64C668E1202A9A4E0B9CB08CE8242C21D5ABC9AE68528AE568B5,0CE96B764F2D2090D54009FD883D5FD28E6A0D88E1EDE1F43534FB4CC6F97B726BC3C32B326919531939C4912457858928BC39662F99608EDA6B0082772DA020B1B3ED269CB2]] |
| FP4divi = [[0921E55D3382BDED352E5B9BE6794671BFBC16A45466CBFB40151CE166D4C858DC8795727C8FE9BDDA4A58E62EE4FE0C3DB6F49A276C313EE6476BAFDB607B748F9714F2EE9D,0A37C4094CF715C6DE7A47BF88EBEC26CAD4F22C1009AC5A54C9635B8295403D950BB28850A334ABF311C92834C40FEC34402CED26DBBDAEB6DEA656AFF398FFE36876B7C088],[05CD9A1A2BEBFA3E9888464D9DC71F5C64C2CEB10529259896E8265EAA922C159505EAAAA7AA2B3A486527F920FC6C36C84C48C297FA36018979CAD801DF769C6A906ECFEC4F,06C4253C833ABC60C4573EC9B8ADFC820015443A113E41772881331A7AFBBDD9EB3CD09115766E59CAFF382D8683B8F7E1F923EFE4261368D655C5ADF7C991C753F3696E8F55]] |
| FP4div2i = [[02724D3637087F7F46EA26F0278606722CCB5906A396A3F0A5952ED5F83E59162FCDFACE515FADD79F749145D65ECD5743C462270CB02254658E3CF998C707F2391E2CEF312F,049E0A8E69F12F329981FF376C6B51DC42FD10161ADC64AECEFDBBCA2FBF48DFA0D634F9F98643B3D10371C9E21CF11730D6D2CD0B8F3B3406BCB24741ED4308E0C0F078D505],[0B9B343457D7F47D31108C9B3B8E3EB8C9859D620A524B312DD04CBD5524582B2A0BD5554F54567490CA4FF241F8D86D909891852FF46C0312F395B003BEED38D520DD9FD89E,0D884A79067578C188AE7D93715BF904002A8874227C82EE51026634F5F77BB3D679A1222AECDCB395FE705B0D0771EFC3F247DFC84C26D1ACAB8B5BEF93238EA7E6D2DD1EAA]] |
| FP4inv = [[07D06715892D4F63F96B7338BE99A0409BF1A41B59CFDB72B807D8CDE3F2ED0F062F487197868348D6745B264AE32033F0CEC7F4CAA3AB190494FF7989E70FA85A629C86E146,0902339E90F5CF8B38D15E156D32EFA1EAC5DD4CAA6CE2954B73D36E077DD2209D7232C12B703AA6AFEDB932D563A7B84F298AC3B206639759A918C6B65141294BA93EC2A8CD],[05AF5C014586CCAE6034252322BD255FE0641E5140374F4174E00880B5269A3D0868562647AE9F71C11307CE996447D61747FDD902D08794A7D5586C36475CB8C23CD75429E1,010F22E36BDC9F589BF989951B5D747FAFE4C8AFDB719BF958974E32D97DE64FE3FED788375FE9A01F9F3143A710745495385CF0E27A03895C46AFEF94457FF57A4DE1DA3836]] |
| FP4mulj = [[0EBB9ED81688A4817A26A42402F9E0BC4793F8BA499413A6C5E0C472B9AABFB6D0BD1300D3ACDAB5FC58B044818C1CE141204EBA42B8B3B996695FBF4966D16B923E9B31DA20,03882BE2507CD758F0361313C9F8AC2737E4348E5F39844FBA49755013FED0FAE85217E42572F8C5B83C0187DC3DDF373A4D9A7A0C1FAEC4362577A06D5A257D8CEF8EB4031A],[0EDAF261D8AE3A38F7A397CB8A85A94BB75A5EB8F921D82748FBFE310501A5D7330A4A3039F3E2849286105221E3E2001DFCABDFF5FC62C21A249F90280FD3CBFCAD02580905,0C91BF56AF26B69F5CDF851756751BDE64D812EB1667670FBF695979258DE9EF8042BB3BBD20999413646026A780252EAA456CB27C20496A5FCF9085F9A90863BE83D83E7BA4]] |
| BIGsc1 = 0113DF7FB8A3354971052FFEAFF3F596A310FDA1C66AC5DB14ED5D87E3700B9A16FF6882B5388F75AF8E8913AEC98B0D2FE79AA34A8F1C052E36073AE5CFF576DCF4BCDDF8F2 |
| BIGsc2 = 22 |
| FP4pow = [[0B826D05EE0D5B5A5E78898880D7163495CAAD63FDC65761F4356AA8C5D4A3AA66A939578AF7F6407C71BDA0ACD782B461FACE0711F01ADF0C7A1852FA393A0950E9D82010DD,0A8C2B958A22C8EA587B01DD070A3F43BCE426FDAC29C0A0281932F16DFC7740A0F1C00B9B93307691813DBC4A300484E2A5861885CCC27948DD2D837D9496F9A423D975384B],[067BBEEC22961EBDAD97D0629EAF8F220A0A8174FF55DDED466958E5DEF112897907277F21ECF53C3D73D008C76210396D774C99242221EFA60EB8671AED14AF02B35F0733FA,02CAED66BF22905C1ACF73EA71B3AAE35D0A4BB936B33E87DF3D5F6273BC427C70158652507344337A6878715ACB7DDD1223647FFF15259FFF5A0CA223052D658A468A289EA4]] |
| FP4frob = [[0EDAF261D8AE3A38F7A397CB8A85A94BB75A5EB8F921D82748FBFE310501A5D7330A4A3039F3E2849286105221E3E2001DFCABDFF5FC62C21A249F90280FD3CBFCAD02580905,033FBE2D80D645BBC6930B304EF76A92EDD4C156EECF8CF61B2BB173AFDD4DAC08FE74DAEA9F8C1001BBC05FDFEB09928D641A5AC607F6BF073109E02450E693278C24B83067],[07CFF6A39B48412A287F3A2043E3FC473FAD1243779DD0593C3AA2D7B4EA5D7587A8014F68CF186EAB5E935484F7F105FABD3E15B49C5884D320955296B02838CB1316DC7769,0533AD44B95C12552E8107DF877AF80E10F91E49229B2BE94570C8D13A29361985F9C6B0D20B16766C1FAD24F2B36B30062062867FE92BD1F3894B29477C450601CA0D21BD36]] |
| FP4_xtrA = [[E1CCDF91905EB54062C6412E154ADF602025B6FBC62758EAE1944EEEF4019DC8A69DA0CD70B92BA482600088E4BB4D2D86BBD7FBF2BA0D13C6D921551125BC8158C67F15AE,0E40DE5625D1680D7E6099B38B8BC79EBECE77E631673D869D1AF2D40048400DFAAFD4FCAF12A8A82227346341E67B265A2509FAEC92EECFF38F2FB18EC16F672B3A3C260ED0],[07A9E22F1A005152AEDD7FC1BD8F38CAF6328781A3F4020902BBB6F0C3EC4B6543B4A87C41E4B34C87415F9D841F087AF0434DC13EF6D29CD13A0153F230687E1D866A735F36,042C409A736DA55816DD27E55DF0BD656A98D0C449AFA05A5E874684700F9745F0D03EE6E1BE858B2637AC971D884661CD299B144ED4128F0631077A2339DEE8DA2B837E85A6]] |
| FP4_xtrD = [[016798B76F770CAC24D0FCB0BBEDCD7CE49D3E8731F4F8C67B26B9C92FF9B2A13EF5BFAE0E11ED99C63E7BBFF795D83642D46AA8BBC4F3321BB8CC9FFA276E100BF7E67817AE,0776C5102FE842C8C391A7449B887B7AC80DD1ADA806A018228546ACCB67AE57CB303C681F414267E31EDE2693042717662457E03C0C10A7CA783D43B0F9AECA474E24FBE7D2],[0A2F5D48518F29DED708B55941B1C7C556F2933792C345E98403F34D6026B08E4ED5F6A41C51F34960ED96B1CA9B3DE0CBBBADA6CBAB3BDB7675F15AA40B808D5819A3588E29,018D96DABDC07D35760E745A9E2203B716B725992CFED4E1ED7AB30DDD1048192C955BB210704DA894A0628CA1D9217EAF0D82E9A53728DB872CE3E8B44DD2BB33EE86A34EC4]] |
| FP4_xtrpow = [[0449B6BF2B0C79918B3A12A23BDDDD1F1E55D62F41129789FA31D28F6F404FC9AFF24BA1324E46F3FA9D0A6CC346643D8AFAD6694C023E0355D2CA8A83DB9904A0F66C1AE786,4F3D2A4644678C49FBC09CFF574AC599FE8152326EA84C2C632218AA4723EAB17A1B264C6FE436F64C08CD245BC586FC59268C57CFFA2C6DB84369072C7FC2A3AB5AF08BC4],[198A4DC1690F699D9FD063523728D017D4EC5E3768A8BC49538AE5F576E162E11DDFAE32BA02D36EA038B351FCE657ABB321874CC7FCF0B6F54FA4A2893303AA03467B8E83,05E372E6DC3BDAFCD47122D3B7E68BD99AD53F0118DDD7F949972046DF5222F4C5B08C18913BD20554AF47AEDB96DBAA0E0C0FA0EAD28BE64625F043CD210CB2BFE5C9D4645E]] |
| FP4_xtrpow2 = [[052F6F23D66349356516EEF7D0080F82EB99753FFE294754AD38CF48EE83F6E15E16D7B1DAC5E538895F5A9D5BAC2014B922C478F49926B172612679B83C0562D02B315E3F84,02F6A3A7F6006057635327DDBCF49059AB3DD9C1E5BF7FCF6F39A53350DEDC3BA49622CB517E1881119592F6C19DF56A38237820886ABA76C92F093DB7EB9B5C6DD70060722E],[018286AD16551831D4E4BD9C71C0CC3560BD64D3E39ED5263CC87AE51A6AB0C73D285211D43E5FCECE74F56A65D1C51C8F353EF7398F2E1CB401F163928EFACEC053ED4A509F,0E22AFCDEA7958AF21B3E5F1475095B147751B27B178CC04D8A3F251A263C75EC6B239A9DCCFB98C6EF0C05458B6C00D4B45A1824AF1F18894C4FE72A2753FCB62EFCDDF2743]] |
| |
| Total time: 16.300 seconds, Total memory usage: 4.36MB |
