| [ |
| { |
| "FP41" : "[[060AA4EA66AA8A0A204A8F6811C000F5D1014E9C2E3C1AEC016721FB6E220F2103E18B96C9B9B01D540AEBB7B5633C7C3511017C7091E479E29FA7BDC63A6E0A5420BF79D270,02CBC56E459E4590C0B3D7B9E2020AAAF36AE973B06255FE84A584A065629DF86668BAA703CCEE28EC6B1F0E67E288A11E88CDDA35473C7529BFBBC77348B456CFAA010F2078],[07F7D04B0EB6BA50E8A2FC451C3351AC9BEBE396B660C665A8B4EEE051984ED035AEB264E466B34FDEE36D72D60E593AB8FC60CF49D5D0A633DE7C9189B33A52F7F8095FED8F,045CCD79AC19DB0C83DC3E98C7BA266FF75017CAEB891C4A67C3389662E604A0668232638A04DA41E14D38BDE4DCAD6705F76926CF59088F74ADB17A9274719CC14547ED4790]]", |
| "FP42" : "[[0DA0E5CAFADCB56085BC42A34A45980C4CFCBE8E8C9F5AA27ABC1DBFD2054AD3986A277C1ED0DC81DD3EA37EEF340F8EF70CCA66C45501B7695DA83E82854360B499980DE88B,0B24E4E71865E5BE731D12463CB5BADFA4B917D3FBBF16D1EB00C1BEF4AC4DC61C4E64ECA9EE19BF3D0E68AAC4264CD8F9084ED98EFA5F13DD1A56A0FA83663611CE01F63996],[0F20A4AF51EEAB676FABE426BA02F4342FBB625D345E38723B7B9DBB1A4B0A22B572C01291DE685B1F58232F814E1F5D118ACD38BB6F0A02F75B8189F889CFB856E6263BC57A,0D85D67C7533936F022BAF049CFF9A5BF078ADCA43D598C7A48744554C3EF5F63F55CC389E88C8B0879F16BE5595FB486CA13117CDACADA6BBAD9AECFBC52569CFC5A1E0DECD]]", |
| "FP121" : "[[0C01F90ED4CEB4B6AE67847D636338F8EBFA0C7EBC0934F32CCC63AB3DFA28A10AD71C730309F98D2CA2A8FBCFB245C8B54ABD98A464D4CF36BF9E07A86DCABE02BB3D0ACE15,061BECC6ED41BF1986928B60A8AD0758B351F404CC2ADD8DE24A655ECF15EA9BAB0ED9B1D77707F8E10403C123691DAE8A5569DC274C0FD961DBD9176D32E9370EAF2AB34C2A],[0D5868275DC7815D91C01BA3A3CDD99330E0ADD223A2AE6E0CB2E3852949889E79F5D64B87179A5DE4BF14C923A3943617E42CD20FC16CCC904924B1DE86D85176E955EFFA13,0DF4116E96724798068B3AFC6A490AF5E10E17D936AD9B327B81A56C6248440335E3ED3A798FA8E3DD12F7E9FBF010CE116A3A46AF9C5EEA22256DA7E42707A30802350C96BD]]", |
| "FP122" : "[[0C01F90ED4CEB4B6AE67847D636338F8EBFA0C7EBC0934F32CCC63AB3DFA28A10AD71C730309F98D2CA2A8FBCFB245C8B54ABD98A464D4CF36BF9E07A86DCABE02BB3D0ACE15,061BECC6ED41BF1986928B60A8AD0758B351F404CC2ADD8DE24A655ECF15EA9BAB0ED9B1D77707F8E10403C123691DAE8A5569DC274C0FD961DBD9176D32E9370EAF2AB34C2A],[0D5868275DC7815D91C01BA3A3CDD99330E0ADD223A2AE6E0CB2E3852949889E79F5D64B87179A5DE4BF14C923A3943617E42CD20FC16CCC904924B1DE86D85176E955EFFA13,0DF4116E96724798068B3AFC6A490AF5E10E17D936AD9B327B81A56C6248440335E3ED3A798FA8E3DD12F7E9FBF010CE116A3A46AF9C5EEA22256DA7E42707A30802350C96BD]]", |
| "FP123" : "[[0BC20162A770C9AC52BB7B6C50B2EE70B6ED37588E81825CFE3FA345F6A92350BAC5EF3688CD22A25002F026FF6BCF9AAEBA63309E455E85F1CA3963A9D39F2A48B27E76B1CA,0D920BD78EC484BAD73CCF27CE7F00C7181E4C321F0050864DE8B7B3887FEB096BC57F6B2A369C5590383A8752627A2B15E4B624252D5DE5A6525275F3E0F4DE4ED626F886D4],[051F0C0F67308FD30EC51B1D1DFFA1103D9836B6AD5B70142114E3304999F9A0702F3E0EB3CC78F2BB1C5E77E907A4AEEA9E6E13D9AD57ACC8328C68AEE424BAB5998C89F9DA,0BFE954430A816C0C104A0B16D3880CD5D947DBCD7D9C107E8FF7B9B76F1F10C8AF4F2371BD48CE684CE92901C18A00D1900FE01E6233D14B31AA5FE28A3230319C83F7FE377]]", |
| "FP124" : "[[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]]", |
| "FP4xtrA" : "[[09B4928DEBC33EE813982456B3EC7080CDDAA953D7A241BF6C58EAB94F5AF5EEF5A5E310C5A42F154C6F501D7F7199290A94242E8112F352B56BC7968371CB5EEF4A2FE346BC,038205DC32A181FA4BA14040D9F566788B892F59123CC180B8D367286CE38C50B7457737FFAEF52F61CFDCB4B4F05BB9E44EC41F734B91F3DE01BFEAE0F7415F86FCCE33F4A2],[0311DBB1C5099043A668075B7C73B08806DF9DE94E392E20D021951D24E4AC2D5543B45FE2E38D08B4202A43B9BDAE578614E2166F6F63362403565ED9E7E85237F206E699E4,0E8935CF5765CFE2CA03C2A66BC1BFFAF6799E0F793C2D437E50A9DABED19FEB74492AABB139F07E7875E717BE21C1F0867564D8EDB5902BA4823EE691E0A403B0AB0892C46E]]", |
| "FP4xtrD" : "[[0256057EE754A5099E35E18D62AE793CBDEE44BC3627E7AA7E97CDC70B1A5D87F4DFD81A1A84801848D849DD78B7184290CCEE038503261747BF35EB1219CA387E307F5EE1F3,0717AAAEAA95959963140D76346C5457E812EB3AEAE979A894DC8A78291FBA3111A384F60E8833989B950E34996C948AC5FF3FB0E2A968BB278564679D0E810E4F68CD3C80D1],[0116D5B2E8ABD736FC4212F742776C4A8D37C562041BA9195CA82A8D7BA957DF5D326D0F604D0C76B0B8FD5FF48D719C894FFD092C19E5EBB7D7A1755E76BD1DA645EF8FA915,01FD1388630E7D54B4EAF82730989536F85EF0BC29B3C1EFF381EE40B4E4B34AC73E29B570D090C62477A3D30FDBC231686A7984244120E738E83D6045188D688103834332C6]]", |
| "FP4xtrpow" : "[[0D3377F6FDA2F01A7AA9F50DD34CBB579A0CEDF81B2AD975B8B97A2DB8AAF6382232F1A3BA290B211AF1BDCC55597C5721A5B98DDAA7F5CF0480F436746A4B7F85855FCBFDAC,0E00828308516C22E0535BBBCB158046AE40B1D5CC9E668569AAAE708197E5A91E310B93EBEA5507075ED4D4F7241BB3CF34DB255443AD325042FE2F2F941BDEEF26D33D73DF],[0A4E638CD1E31638B485A109602F6932B0450DF9F40D58C46383C9E43D98814EE69CAB6B924B8D163A268A272BCBE1AC644FD3EB831C8412B15122B94A54B03EECFB9ABD1BE2,04E413C7D5553F6D4BF0A796672A9F67A794FBBD4F57D0D6914605CA46F9DB12569583E7A15350789C56E378F50A9F4110037A62E8F24193929C90C9DE832E15E5FF2B305D69]]", |
| "FP4xtrpow2" : "[[0BC6E0ABF0E7E4CC0E5365FFBE2C2DF68B47BA2E2756BDAB2CC77CBC06FC72238CA91CE08AE041A4CD0C856CBC07A1FE72CE3EE9F10873495E2AE816F882398345A1A2089B8E,073E0DA33C8BDDCD4E03C208FC26CBB100BBDD88125846A7A645B6564B800FA441D0A731E79CD806DD66EF30C962230482225C52A27C969B1A62B97F1587D5A4F8A629918D11],[03724028A58985A34048431D37E7EE89EFFD0907B2DAFAB2EF5E043D863A2B60AFFEC9A929DE9D72550510D1BEE2725F65076A752548E3305141A56E675F1F7465FF63B785A5,0F82A79FA899527C59D9DE8E7076E37C01A64C2FFAFC2156D4AE76A3682647A9361D4DAD1B97929BE2C1CA2D1D8C2B85940C60E02A1EA70657613EB60C4281A931DEAB8F28F3]]" |
| }, |
| { |
| "FP41" : "[[062BF7D58D4E03FEA9E6197278EF268A55BA95B81D8852B45913A7D5011B2E7A6CFEB7F7952EA5F99D0AE32734AC73B2860158533AB5FD40B4E96263D2FFD4F75C3905545E14,0CD70E00B8F8735601D23640626F642FC5B427F41A4E882C55D3AB6662322207D42A9A9FD67004F0BAEBE4E0A8431F42E4B00523B47CB11067ACC2C512694C2E0F19F448F76F],[096FA09277A1C53C0E6A66274B95FF7B5254E8393625922F41750F6AA8B14EEE0574AE24BE86B3AAA76F532FFBC7320DD96E058EC5044526D9A8C7FF6931D10F5A7F856F0F52,0C5AA33D26F01E66EFECEEA2B826038F8F9288BFD5099814329FF56C2B432C47D41CD6BBA17388CCA7621D5618CB7B70108DA0452B857F41367AF4B9F5620C5DF43A88CB9E17]]", |
| "FP42" : "[[01C6434384B5A0F71188B180A02D44BFFB3EFB6D9DC7F37D033AFC146371348D3A2B1E0229568F62B8FF3FBE19EB0B4A9791CCB1363AF6284DC06BEEDABF5F2C74A1FE3C65D7,0C8A42E754ED5D8EFC9D738EEE1891323B9DEC4F1C0BD516117497CC78E0C8138F060897EC7DDE717DE674FC3182313D95A9BB5618A1E5AE576F59C378A1A560D835F15FC035],[0D36DB39D2FC5D36795733D8861C7F392E1B9871486E57CFB3C9C7F30EB48A36C386EE822FE741496943D147DF8BAE3F3859E86D3CC7EAE9C06FB1CD238294A8BA1F6CBDFA6E,05B2ADF2912792EEE4CCBBDAE5BE7D8A1A13CA5D14F7BD7B844ADD85E9DCB11DB26257E06DC65DA9C6B10341BE9358E286995F8E1A8E1667A05583020F5570A9A063899ACD3C]]", |
| "FP121" : "[[0A3FA1D479FC27590706B6A33AB1CC0BA2B160BF1225331A4E35D5D081C28E3B2938269C91630E09B8C1D8F234E42565065216E4B61DD39C10C74866CC4E0BE0FC82AAD498E5,0193AF782BF02C088EC52E08CA11F43437155039F012AAE9FFD63EA8E7F0E6D4D2AD42BF15E542D93FB5751904CA274C270675AFAF49B6529FB4A24A57CF8158E2CB1B7EB496],[0552239CDA8D03700A0E2CC4BAA502A781A214B0904279C0EAB80B608514EE7C5496D5F1139CD302F8390B216378DC3AC26A2DC02710FED69D0DFC25FBD6D641EB661A40E3D4,07787DC79C08A36DC3479346166FC019DEC8E0D9AA00B3A2ADAE5B0ABC5C16E3474AF41407EA3DFD6B93BA2DA859472E4772DE574DDA935226CA2F24CD604C1DA4B733A0DB94]]", |
| "FP122" : "[[0A3FA1D479FC27590706B6A33AB1CC0BA2B160BF1225331A4E35D5D081C28E3B2938269C91630E09B8C1D8F234E42565065216E4B61DD39C10C74866CC4E0BE0FC82AAD498E5,0193AF782BF02C088EC52E08CA11F43437155039F012AAE9FFD63EA8E7F0E6D4D2AD42BF15E542D93FB5751904CA274C270675AFAF49B6529FB4A24A57CF8158E2CB1B7EB496],[0552239CDA8D03700A0E2CC4BAA502A781A214B0904279C0EAB80B608514EE7C5496D5F1139CD302F8390B216378DC3AC26A2DC02710FED69D0DFC25FBD6D641EB661A40E3D4,07787DC79C08A36DC3479346166FC019DEC8E0D9AA00B3A2ADAE5B0ABC5C16E3474AF41407EA3DFD6B93BA2DA859472E4772DE574DDA935226CA2F24CD604C1DA4B733A0DB94]]", |
| "FP123" : "[[0A5E44A9E42F454D2B846197E4016BE12A58D2E3E4EBED1CFDAB6B65841E4CE6A39D5BD29BFB72EFBDBB91209DC54DBB6EA37D17882A9BC32D925A5B4BEA07D9E73EECA70375,05B1FE339840AFEE2066D033684A3454BEA367D887D847A4672842C1537A3973976986F31B8525F327C31CD463B8E7464CD378453D620074BB8AA09F7DDCF88BF937904DE40B],[0E708F68C71AE5CD461CC3B61D93255D705868746D6DF36C89F529AE75BDE2819E1F83A695948562BE1C2E99C847E46E8C7F6B32E37DDE2DF0D4CADC72EE69A299C6D5CC3217,0684B8A936D8A1019CA27C6AD4089FFE95F98845667CBE6CCDD9959A5FCAA627597AF2697DFC00322F27CB06E23857A5C707DF4E95AEF14842D9F5B8A42DF27C2FEE8A05D0FE]]", |
| "FP124" : "[[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]]", |
| "FP4xtrA" : "[[05B9B3C25848F074F6D36248E883AB30239A414017F73B980B7BCDF6A1FA2D78C1415DEA2ECA024B8B71BCF63F6AED194DDA0E265441491D12C247588F56B76145BC3B3EDFD1,021E917DD964CC5262897B973564BC18ED2DB6D217609A92567FDA1D752E3E87BF7FAD0EFD4F34CB647D21D2D1C964FF7F380F042BBD11A62FBB6592DCB377F6105E560B46CB],[08411E7D8729057F38DA7401C9AA31446111F52444A27479767981F88F6805C14548383A2BEE0AE225B5BC58787D7EE61B7540EA9B3473F238ACFBE2E646E7D51F69CBEE92BD,0EA821948ABD362B7A31CAC6ADF9C36EC4CBE05356DC079D2A8A0C49552570E3C6A6D7AB70CFA00BDAF5085CF3A437C692019D39CCBC8B242E734A1AE9EBF3526828987DCD73]]", |
| "FP4xtrD" : "[[06CF2C48EE77D312E8B2350A0B024AD7F6FA828C8652D1FE522999987F5A4CCF5C3CB95404669C1B1937837E0A2C0B2A63141B2D12B0C6EFC79E352F26EE4819C70B422729A8,0146367C945F137EAD697B248938C53264DF8492BDCCCF81F8AA1D4C40573BDF77A0CA22BA0FE25005DAF0EE6D6216101D22664D47691348329F7C7279865EB4315FA435A1EB],[0CABC0CB2DDB8F2FBBCF33C8B17BB4AD588ADF94DDB757E153819F2245A4A3CA7DDD21BEFF97F3D97F91EB4A73A728F62B1097E648687AB611332AD1D8CC26A70A2F91BCB1BC,0E1005F991DB57B01A4EC372AF1F96B4C73DE0A42EBD4BEDC771E86245130133EE1F7C56324F66DE83DBA0E24AA82104BBF80614E04904D87A7852AD20EBB59DF31B4DE31B0F]]", |
| "FP4xtrpow" : "[[0DCB36C801A076833EBEBA258AA3138C605FB8306027F55610435A272C64B9D55AD4D281CEFF0E4B75B2D8450F13ACA4FD816A721A2401C43AD076E808C9C86CA93D3179FB8A,05D1370576476B18CFE5F8C2781FBE57F5C793DB46CCC907D0791DE67BD4181979B378669FA11DA7ACA1F5C925C33535F7C3B866F9ED1B2F7437C496C05979987911A89A88CF],[08AC40CE8238D6325A014043B22EE0D7CFD49B325B1A52D661A349D58EE71776720CE78C76AF51A64A437162027546E64D5FAB2FF46061A7630D960311F7B655FAC9007C2AEB,0F2F959992B62EC34ED62EDBA768EB361A7019643F6C3B8A8096465FA24533FA8C61DFD2386F532B8C6AED84D1F2FC6D7036E485CAA86FDC892678A18162EB304292A005FE83]]", |
| "FP4xtrpow2" : "[[0F8D2603761C147A7DE3477CC123B8B1110173E3D7316B0A64848330AE6E67274620AFBD37D073E11F57C28725110B901D7957985C51F2FF696CC105B3AB8DE2986A53493457,0D9CDAF0BC9B74E5083CB5860D9FF621F07A01CB63E7B2E93FAB0BAA7249DCD7D0AA108BFC820998519EFC8879F48D65DA2DA54EF95ED3E9DFE92F50164BB8206508E28E305D],[061A549798CCCD187A78E0B4D183C5C88C3E1BEB03E12C1FA390826CE9A23B26BC0D1B17929CF4638AB2EDFC45053988735C5FD88BAFE8F5C900CC2D0AB23D49B2C9C25509C5,057F233DEF821F381E3694DC9D34645E8778774CCA967D0CCFEBF2C35CBEBACBF55FCA0068018CAB2DCBCB5BF97416B73B2959A81EEC88E45C520C6DBFB17F8CF704722169CA]]" |
| }, |
| { |
| "FP41" : "[[0352A47A6E721A27D71C1F2B4C9F7A3EF2F848D838A74F89B05E53B24AB4AB1600592AC49565B94FC420843BAF149FE9CC718D5F77CA96235626422BD714323C4D7FA3373522,01A61625143C0855EC2D4A619CA45F197EC00BDF8650E362C353D60E44F730C303F0AD0D9CF003560C799A5116DF0501DA53A87F3C6962D6A91EEF6B0E7B1610EE166D8CE6AC],[08C86EE3E89CDCF42EA860380DE6969DD7CA0FA732E8A53F6868D2231AE473F3F7C48B9B42921CAC306B18B7E4AB024501C0406BFD41382CCD82ACE64C18B5DBB03FD6B1DBF7,0666D1F14B573E41E782C94A6BCFBCE0AAEFE89493D698538F845D3B721071F7DFD8EF8859F517F7B1046308E5F52EDEFC418B65B06959663FB9A33249713C3F3723CF081CF2]]", |
| "FP42" : "[[0A22E7F93B7B75900CCE2447733A6F75C2A352AE831F6787312FDE6B68615E17C4919993E86D8E66BB6E57A57FBB60DF11B0693D2A129AD5440B1CE374C32B244160C982F9FA,09AB519B6A7552E4C366753288D10ABDEFD44B08979FBF882277E1B2FCBF7BE02A0233E174DE9EB630CA64FDCA5D7A838DDB69FE971B2A93DEA17BEC727B5367CFCE16DD36E2],[0855C87F97F2B2E41F5576F9E733E5E69B54FC3F3E5EBA7D6D53A96EF95355FC930BDD4EAF6A5B3F53A0A0A649652CF8A1F6207F866D4213B4270612609B944427183F25C4B0,06B6FC376D8DC5D0534C534D7C3B338450D51189E6B5D4A9B33A5CF591775A024012005CB2C1E9C6C25F6D16D8C9D5FD9FCD994754AEFC49C0573A9E03CFED53F3B008D78DB6]]", |
| "FP121" : "[[0A85306A3B10A816698CED838D05C526E230FE29F3E264A894903A07E2681CCACFCC8B13D445A039FAC61414DEF3000626E171CB3C6122D700D851154575B5045B2446E282F5,076964ACB462A9A7A6F1231781C802251C9B08ACA44DE9A32B89E92C77E97979335C3522306C0173344092B5EBF4A2C3C827B24C98E36D6A41C038245CF4CA3695D2BD3F2642],[06C9376487B93784FCC55F9ECA2ED32802DEB67BB4996AD00C7DC5851722B143BBB75250C98808233830BDC295AA8ED3A9F87397AC60D1CEB769EC7DB9169193B6E4348D717E,07CF2722E6974AE13FD161DAF10330A8C5F4A17EA95EA8B3C6BED62E4DA3167D4CBD01B40E9AF87D28AB7E12882E80764E0C35613266A346C24301D2A87583F638DD897AF7C4]]", |
| "FP122" : "[[0A85306A3B10A816698CED838D05C526E230FE29F3E264A894903A07E2681CCACFCC8B13D445A039FAC61414DEF3000626E171CB3C6122D700D851154575B5045B2446E282F5,076964ACB462A9A7A6F1231781C802251C9B08ACA44DE9A32B89E92C77E97979335C3522306C0173344092B5EBF4A2C3C827B24C98E36D6A41C038245CF4CA3695D2BD3F2642],[06C9376487B93784FCC55F9ECA2ED32802DEB67BB4996AD00C7DC5851722B143BBB75250C98808233830BDC295AA8ED3A9F87397AC60D1CEB769EC7DB9169193B6E4348D717E,07CF2722E6974AE13FD161DAF10330A8C5F4A17EA95EA8B3C6BED62E4DA3167D4CBD01B40E9AF87D28AB7E12882E80764E0C35613266A346C24301D2A87583F638DD897AF7C4]]", |
| "FP123" : "[[01ADA7CE61681E838BAEBEE53EEB1CCC828804D818EE3FEDA78C59F554D26D83D1DAEA24F4FFD7526531C09B266A53C3778DD435F8AE27980ECCC492505AEF8F51203DFD26C8,0DFA524BCB1C1B98A3FE605324229EB71B12BCCA6564E4093225082C6A3A339AE3A42E1D5C9B01A8F80538825AE9519237EF0DD75A5F53D6D97CF854065D45D7E5A553D42146],[0714182D41B2751A5AB32845FBA04134B106D1B7089221D984D2078C4C28246C04DA953872E476993F223209E1D1C1D8A65ACF563905AD5264E14023C131549508AA68FA2604,0D59ABD5D24BE9DC3B09DC2167C73DA249BABFA5794A368D65E5AF135B35FE3D9A55DEE569328123ACDDC0479538BFBD59A480BC73AF983DE71190AFDAC459BC2B2218D24C2C]]", |
| "FP124" : "[[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]]", |
| "FP4xtrA" : "[[076951D4382DE106878D7BFEF1FA0CEDA547C2442DA25B65E721012C5D0F9DBED1E9E51F3B09804E4F93C9E89E2BA1D09AA9713D3267DF81EFE1D6337BB9B31014967EA7CEB9,0EE9864B61FE523F6A1AC650F8A5063716DB901290C614B7BA0A057BEB7C3A385F9DAAB2C7EB2C4923C308F4176CDC041D9CF5A9D3A0FB5C99663F915B7875B66620E8FD9C9A],[028BCD57785AE21319DFE1CC870541067B8901D8233BCF76EFA02597C80253A4AF4A081BC5F0977FB2186378198F394A71CB03AC844D5829C4842AC707224E5A52828ADB3AB9,0480E8F6CFBAAC2960A24401B9C119A719F81DF5C25CE5A189A1A3E3852EB5690B7B33199B2D8D60E2BE0FC8FD2719CAA7673BB29C1E54D112EF253B5D45B15268186952E317]]", |
| "FP4xtrD" : "[[0C5D8C610C9AD12F33B25C51BF8C7A520CFDD0A657FA7C8504DFE9ABE932D2D205FC52AECE9690EDCBDB6F9AA34CC42D93A11423BC4E8E8D30E0456C9623C316C2EC8498011D,8FE1B599B0E898B0AD392DE395801644668A84FE05EB299214814369BCB4B753A5D00FB003E54B02DCA187EA1618D31EB2490FEB779B4DFBD5EB21DA104EE9D965130DEBE7],[07B2301749DDA376ACF909DB1FA681C7A788822513E382F9B280F865EB47CCE180E73E4661FA3F5B08145036A6302ABF7DB807C58BDD666D9A2CCBD2FE4034346A16D729617C,0C568D1030C541AB621EF66D3E8C16833B57397A1C1B5DD314F848221D67FB1A53F91431C8F4DA14F03BF4C9706793BD96ED6EA939D2B850311B380014CBA433C95A2D3CA3C8]]", |
| "FP4xtrpow" : "[[08CFE4674F2410121C2CEB737D406C793D8150CD57CA0E61CB0134281890DFE21B06252C5333507E83AE17FB6443F62770463D2D9A22567B2A262AEB12260BB55F7C927A1F36,0D23AA02B6DC3ECDCAC82A5D93EB10451B22DF36B6AB703B86788CEE7DD3A3E44FBC8531C847999E513788A227783B7F5F0071BF3BFD7B57692220A0E4EB0A55BB25B81435AE],[0283B64A8B9BF91749AEAAC6C9D41105CAEF567028D22FD672EDE416A45939B1683DDFC698BAE953D5A00F39CB5624E6746419F8CD3A0F44F00EB645958BDB19133CC721EB54,08A08D122BE559424EF1D6A98364899E87EBD0C1009F44BADE95E09D9B16407006227BF6D49CE5F624ADD1DF87CCD459C3D31B3079DCB2990F55C7DB433A7350F0EA8B9AFA92]]", |
| "FP4xtrpow2" : "[[09B057FB6BF4387C627E2A88CEF91D9F301B580C4D5FF67B35DD5B315257D903EF89D783D2E093E85AEDA55BDE63727D7E70DC73EF0A6137CA98EE3B0366AE9B3BEA7EED41DB,06D8A1F5D773872BB857E7AA5DA567DE53333A37DD55BE7669EA9EC826C91C65432083DB4E9C910C7540046B355F7D3E5D0AEEA7D46B234F03E0F2AD06055E84EBF2C7A3DA8B],[02FFCFE14B19694D2B98DA1DE79F6A8445E94B6C6CE4F2D91D7C5898477D093F5813700D222ADABBB66B36573DE389283E3061F3BE4E51B92E20189CCC71121793BC553BCE9D,0151AF39DEBE12DF33EEA6AD62BB923228A401DB7FAB5919C8616D4AAD78276EE9BCC19ADE5CB79452082DB6B70C9B9119100D2E448A0F851437F82E8E8FC4C34CACAD09CAC2]]" |
| }, |
| { |
| "FP41" : "[[07561ABB2A4D82B50E925CA2C2F9FAB809F2F6E79A9B454023DCC2B0817DED8507116E8D82E51DF277D3A3275E76C3CCB93D0DC20507C8CA1566FE27B385787FE0D9B7BAE563,070A73230618D599A7066EB927AA6DFCB6EAAFB9A9EE53DA2985F13311C45D3DBC66255E24CDEDD2CCDC44AF208355C1902E4FD87BDD18D20074C70A25E15C398181367E7F71],[0F599BE7EC24ACE7AE2D81523E6DBEBCEE66ACE773704F5CF650EDEF3B9567A34EB86DF93AA0B04789C30CD5AF64D57FCC6680832FF8EAD17ACA86A1DC5EAB15435C412480E9,089A152EC080A1C40C42BE060E49FDF4DBB3FF9C9E35F594AC6FCF14E102C3FA070BE69AA5CBA296C9C2E57E6DD0FD94EE125D36810D5D6DF14332809C3C1FCB1C0FFB8E9191]]", |
| "FP42" : "[[04D6631AC25D7FE4881B9B95BEB7A080BC9148D06A03FC1E5AC1FE4C3866DD07DD4EB29C47D88D38482491E9DACE2359812608059D0C3C2562AC311C1E3D95CD4AAE287E69E2,0918D3BE3BE30B441B44FB192366323B8D9C3E7FE86580E09918BBE9EB1BAEF8E8A877DA9EED25F0F5F0586F703CC5AEF2D2D85D845B7503CE6CD49C66C6499B3BE05059B3DC],[0641985FFBE073D736ED16D73AF2188FEA17A3AC77F1A87C67E51550E9AB15A219B34527766E8EE7ACCDE817F16EF8406A883273E615A8E8246454ED8B51AEDDF67BD7D1EE08,08D365642F9C91AFA3B4CCE8C3C0026D9E1C342F851CF9E2601512388B452CEB65CA379DB57F698A13CB337CF57AB7C151E9CB6022BA926A8D5A657971BC6F45340215E41418]]", |
| "FP121" : "[[0131E16872C1C33B911FEDAFE69C55043C49506AA2F2DCAFC607A8E47C8AF62EA63AA8DAFB9F7230FE35B00DBB5E79533965C59AFE41148DAEECC4FE28E97FFEE91635340BE9,09A98C4C814558BF988B7C95D63AB65B85DD0C88E736114329C1E90023DCF93B6AAD4638132ECC2C2801EE0C4BE0DE4E34570095F2E128CE2239934D2AEDB0109D4FCE696EE5],[059A1FD9D136C3EDB9B1F542931277C25FA8AEF9651D693F31D803EB18C743DC80F87E8BE02988ACD58D28712AD98E8FC7A1190CF23A95F2A30C2C94EDFAA4422A6FE86C95EA,09D7DE85C93B54EE9BD7B0760623B540C24D843A87DCBA3BF8D1628659FB35B1136D30A0FC8D5250348574545396B1ABFE7DDCEC66D1F68BFB679E15BBFCF3668A910D4DA186]]", |
| "FP122" : "[[0131E16872C1C33B911FEDAFE69C55043C49506AA2F2DCAFC607A8E47C8AF62EA63AA8DAFB9F7230FE35B00DBB5E79533965C59AFE41148DAEECC4FE28E97FFEE91635340BE9,09A98C4C814558BF988B7C95D63AB65B85DD0C88E736114329C1E90023DCF93B6AAD4638132ECC2C2801EE0C4BE0DE4E34570095F2E128CE2239934D2AEDB0109D4FCE696EE5],[059A1FD9D136C3EDB9B1F542931277C25FA8AEF9651D693F31D803EB18C743DC80F87E8BE02988ACD58D28712AD98E8FC7A1190CF23A95F2A30C2C94EDFAA4422A6FE86C95EA,09D7DE85C93B54EE9BD7B0760623B540C24D843A87DCBA3BF8D1628659FB35B1136D30A0FC8D5250348574545396B1ABFE7DDCEC66D1F68BFB679E15BBFCF3668A910D4DA186]]", |
| "FP123" : "[[029A0AFFB36DF3BFB2EB14E5F5200EFAB505257B958DEC5FEB057B00BB6E9E60736311371434990636EA69F64E62BCCE0AEF424C932E7344E3725525CE46E5F78369BB4976C0,03FE1D2079278491E1F4DFB9D83C2ED6965A2117C3A23942D5BB7411DE0D88D2DA93A81FD1128A15F95855FB8645683B91F59EB37368602F2A8B9BF2F8ACF399B901734C425D],[0828C74FACB403955BDBF2F1D46ABAA7E2A3338E089C8E17B8F28A4F3E7226D706A18EE1F8803A62217C45C23BE52B43F44D799B1C34F281F2E44086555FFC4C65F26885DAC1,0477BA76971993921EC1680F3DD40BEC3071249E8904557205CA9A3A68DB2AD090D19A297DCAB0E74856AEB40826D7AC3F76052AD410490BDDE846520EB3A1ED665FEFD20388]]", |
| "FP124" : "[[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]]", |
| "FP4xtrA" : "[[0202634338AFAFCF6A0BB134E078FE013088C6FF613BE7F01C6E9821233081EC4254B23AF5FFDA32C9A7E399616660461B6F9B5A3D50B84910EC62398A85E8A635BD4EFA7C6D,04347C6C55D4B4AAB8546C47E02EECD9E333556B5326AC086C7C01C63E5CC1889B246AA40D14536319D7CA438F0EE9B5DD6B94BC85F45DC20ACF0C87FC5D5ABBFFD30D101275],[0E719094D0FDDA1F14DF598862557987F5427213FCA09BED4AB0F192FBB06E7419A3148F9F5B741DCAB055CA9C61CB2567222CBD75607C24BE34CEDAD593C85E8B78D13A1951,012F6861C092CB5A6A5525DF06CA2F37D5FE72BA12F14856BFB94B0CD195EB826685C1B795D7E2655BE073E4CE43A47BDF737397A4F35500004E0D4687031B158BDC85985FF0]]", |
| "FP4xtrD" : "[[0DE2D3E2E4BBB0CFFBF60E895D2916B1D8E8643A9004FDF572E25D65A7580952C3EFBF15C364DE86818E58070B19DEB6BC2261C7CC805C0C90E99D86FBA7E998C47131209271,0E253EA66CDA28931029D7C4499CC64E0D2874A1B17CBD3D440FA057C493D52FE7792EBA385B9EC04ACAEDA892615F0D6834861B32AC1D0EEC01EC42286F7B3B7A4CE70F0E39],[0DE1903BA6EE53438465AE51E6B811A08AA7D20E91D3E5628AD5E3255FBE4156BF5013A9F8A8F16AF86FB52B111D9588FBD412AF314DF67F35232E675791A2FE818D14E628EE,07E0FA1EF8E0069A29897F31E1765FF7A5CC7F0CA8D16309D79E5100CDBDD19B9D026AF0662B1AE0417F48C0EA67AE571DB3133E84BC944D4C39A8609AC3277C61491F738B08]]", |
| "FP4xtrpow" : "[[0D42A6978F86E0EF862E05F3B3411D97F1084869E0A2E34151DDE5517EE1B5B49F6A3B1506F46C84D05859A1B99DAC7FD6937F922D49C9E336112BF55FD06F95926DDA930FED,0CD4682E1DC8A8ED0511DFB9D34AD6EDB9DC2456DBED38718CC678DA4D36389C9436997FC73A0B2F9F3564D0F828D3A8B299397C06F3FFBFCFC5A8C1B0312C832F5DD1FEB6D8],[0C19DC7F9BC2DE3AE5E02199433A3CE6D05AB3C2CA6FDD7E8676B4FD522C9C853D84FD6F29048C3F634F3CB90D8E22A2B6CDF979E6CCA8E5FFACFEBFA4199EA70EDF78096D96,0DC9388FEAFE8A531E4164EB1879B6B9E6A73E90211DE1F6EA558749ABD853A20F736A0DAF5578ECC8DE9AB4A5DBBCA23A87BD1DD284B90D6DEF302E18E18911CB2F07245932]]", |
| "FP4xtrpow2" : "[[3D4E2B90408A21A308EC65A71095FB52ADF12EDFEA2B2C245B89B9EDD755BF676B52DEE1F00F03ECF7A5789A0CAC7673CC5F4F435CA455F5B0A27C39BE8A1E2408CF4C5004,0667672B1B7E8F93A50353AFD353210B15E6D2361BFA85858C1ED98E68A8A2CD73CF927D766E827AE749A809714FFE82AFD6E5983AC4B8B183D4213F02BE5A3E2CD1E4F66526],[0F079251111DC0A10F9806CB5C01CC67F201419AEBCDE29B3997EBB7DB9D4B3D1B68D4EC654A3EF8B10D89DE16D5F7309A77146E3941D8B0C882BD507F3BC1130C14C161D9AD,08BD772456DD1C78BCD6EBB314604F3565BDB5E4C872B6EF0EF12E1AF58F48CBB17EF9F060789F5700F8FFB106F973B19C6E41DC6259AFECC84F0C1EC352F0AAFD8ED419BFCE]]" |
| }, |
| { |
| "FP41" : "[[074B8B2088A23CD5C87495B0E7334358C21A27CC06D0849007AFD9FDB4BBFB001E1CBC3046E0C871CFE3FA335148A03BF85053C13854E22CA89481BBA8B33D82DB10095E5382,04FB789F91FE865ABD2B80221FC0B994B1F57EAA8B8620F76153223D5E27293532B424E6A6A0D8FA86E29C0281FDF0AA1BE00956CC93E1338D62E473C998F14C93C22EC3BAA8],[C544C38EA91A5A39114DFBC874DE4A1A1F877D63755454DEB1CE09F717C1C556B2F8E46B8F8B37931B3631B72CB5460A801470E8C4026FFC2F89AD02C14521D7E6C9B548CD,0806BFD32DF4E9435A815B1EBA298443562C264E3B2B1507F8C8237B77DD7A0A3386AC5846AFDA1A954586950CEAF0BE5E57417F16D7C5D16DCD484DDFC9626D899930085C0A]]", |
| "FP42" : "[[049CB0DA29E68D04C1BD60CC3EAD0BF3E4931C6D9774BD6FE11A25687EDB470FE91880D000DC93D62B78AC76F6CB63500ECBC1BF59CD4F8E930F15222CC8E95BD9C59D6FE8D1,01DD9083AE7135D22B2139FB077DCC49C9E9177F41B33C8C9493857428E217CE1A6BC80D974BA59F2A370906B02B4A0BC512DEAB45F67FA317E05C66698307646F8DF9D07DA9],[02A639E0034C8A58C6065C4952DAB67885F75ECC6D4A290172407D872F778AB79EC928C45B503403F2D28EAE49E4D989BCF7B19D1AAE9E8FFDC5748717CEC55C71346856DDBA,0713AD749BF84E8D19430F6EEEF281E9D066190F685D376ABC3C7E0526106D61D6DB14A057E0D200D92B629D914DAD8654309BDC2D9535F5A5BDC1F6DEDDEDA0571D006B9067]]", |
| "FP121" : "[[0DE7B58A275F0CCF86F0AACA3D3217B4EF531695B705D8F838F9C79E5B8598916BB75E4142A00D2D1F01F57B85E1D33EB21418CB3028F9F5C631D8E3F883C8776E6F76642B85,08EE51ED2633F80C8B07619F2F58C877A6B5F08B549790CC552A2A14D95C9569D6A14BB1A1E2184E33DA287E2D177E6403778C3DAD19B771C33944059B7BA672CC52E386EDA5],[84FBD1EA94764C04187AB0695448C05496815C940AF323A9EFDBEA02BA1F2978D0E03B7553A6048EA5BBEFBE6E655BD40FB0332C079DE3B80EAFABC8AA79869DE80063C15A,06187F30FA929668DBAA6E1670CA4CB2E85F5176CC6543CD1540DB11EB994343C0C0FD0F9AF834F2713D96EE974792368B6D2AF7DCE5170404D232D1C9401AA30EB6ADB7E23F]]", |
| "FP122" : "[[0DE7B58A275F0CCF86F0AACA3D3217B4EF531695B705D8F838F9C79E5B8598916BB75E4142A00D2D1F01F57B85E1D33EB21418CB3028F9F5C631D8E3F883C8776E6F76642B85,08EE51ED2633F80C8B07619F2F58C877A6B5F08B549790CC552A2A14D95C9569D6A14BB1A1E2184E33DA287E2D177E6403778C3DAD19B771C33944059B7BA672CC52E386EDA5],[84FBD1EA94764C04187AB0695448C05496815C940AF323A9EFDBEA02BA1F2978D0E03B7553A6048EA5BBEFBE6E655BD40FB0332C079DE3B80EAFABC8AA79869DE80063C15A,06187F30FA929668DBAA6E1670CA4CB2E85F5176CC6543CD1540DB11EB994343C0C0FD0F9AF834F2713D96EE974792368B6D2AF7DCE5170404D232D1C9401AA30EB6ADB7E23F]]", |
| "FP123" : "[[0E6BB00B4EFD57100309A8ED0ACF765FAD845ABB7D0082499BBDB6853F4D8382BE0FD69C2A43A99B1ED1960A691988EAE16EFDF0356FD4296CFF459691CEEDA20648321FC8E1,07CBE954E9A0E28CD3D569DBEFDF038421C144EFEFF1308D9A24A1C2B473B774CB7D39CFF52B9FEBD812F027D21CB49D1BA5B59CAFAFCEF9C54A68FC6C83154BE5C1A109E6AA],[0A94E41235BDBFDA6D50B442774210E06105E56567B4369A7F33156E4531EFD3EB7B5AD02DFC9977B14FDEFACAB224CF7D8EFB53CF896FBAC0911986AF66E98233D20584FF55,0B72BA368DDB330CEB675AA2DA277F06FA786FE928581EF1976BDDA139190377F454345C4B81CA73EC178F20FC6A9410AF7F3578FAC08DC2D9ABCC4F322F715278726C517EC9]]", |
| "FP124" : "[[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]]", |
| "FP4xtrA" : "[[0EAAF75B45571F122761504B2D639514638D45D5AA90BB317751ACBE743D748E49B84E1904F138074902385F00CD2AABFBFD5DD99175CD72CB8996DAFD7E5E33E4BC67B16AFF,0F856459A5945A2D8B6D19CE59D1FE4132D2C50595E81EFBCF9831487A85097EBE58EAAE8A3FFB9BF75E09DF0B0D8BB934513617D49B869EE16DA0A1D9C31E5E0708DCFEEEF4],[0C47CE30E0D546DBD546C9EB89C490AB79656AF57A5A18DAFF2E189E52D98CF9843BEF538C422934FE3A24BE6599139382460613A53DD620F76B38082A7458EA0B1525ADE132,0183AB951DDF33D8878F062B0317D4E1A433314F2F5BA9DD14207BF0B7F72EF2E2C489E2DD0E3C121C128F7EA9B494337C6A96F6AE8DF616E6988657DE3A771C06FBD0F9F15E]]", |
| "FP4xtrD" : "[[0229BF27CF57E6A6AC58B4F0C29CC2B36273C44CCCAC8EC4880F7C2213776F9E24299A024CA107524A3A91ECEDD495900A09772551CC926538EF21AB0D2BC9A60D86CECF77D8,0E69812AEBEC00A7BD542C915297CAD1628FD8D6B558F92E12E745A20C676E4A19626B41E82C804093A2DCDD96128586C6DADAEFB69C163002A9B3131B4F8A904C3057D94F49],[0CB9F2524A77901A53375D4EEB42B055F72D4191BD2D7FE58267CCF5DAD1F8AA7E404EA9C4E4333B696F77581C1817873E1727AD90126B752A83F2481B7C612352C09773FDB2,0910C407519F1EE576109EA0AD66AE64BBCA62ECEAC47FC9B8369F9CF054713F0476BCA4899DFE3B0B70EDF34F7AD6156DF9FE267D4F94B330027787B59C996D8AC015AA3407]]", |
| "FP4xtrpow" : "[[076B08EF22F6E778D6A79072B126FD829A058653BAEC6D93A280D2581A8D21EDC285D4050405B3A7FDDFCC8465C8B253659BE44002B4E4635C701B1682144F4F5FFA0BC16C8A,BF42C8448EFB7B5C0FE3981BEF52755C7456442B744770432BD462F247BE79BB1E4CE7A2F4A900A5DC3179294F9AE41F5CB60F6BD0E5CFDEA760AF9F1434E79B9B46D596EA],[04E7C28630AB79DEC08ACCCC902FCE093E456418D8D5FFFF617A701A03604F8B2B9050E324A3967B2A9170CC07CC9A0B8262DDD17DDB4195781312DF862B09AC30F25A8BBA3F,BA4B1EC4C143B4853D212973128507EB2A0F4BB8893B8034CF683820901311B293BD7A248D65B83179DB53FBBE15F337A13D2318658189338CC4597BD1C79C0C6E1789A620]]", |
| "FP4xtrpow2" : "[[078FB13D5FAADEA06CF164A4771096CFE9D022688C02338816DBB1D97DB5EDE9F2267AE5146D884961C04D14DAA0551AB57020945F5349A4AE6C4AAA2EEFBDE23EFAEB0C75DC,046B060A8FF258A462D932867BE4E1E548E58A02767FEB9D926F5345C8C9EEBE59808E42009BE681D11A92CC34BEA101837FCB47D78F89A90897B03751C955E75B7ACC0A36AE],[08DFE1A7C401B6573275598F5BCA4F1FAC5A359667AE2B933D5F1ABB85D589FA01BD5F63F83682057162AE62F47AEAD6D98A1102AB6EC06093320FA533D595677849AA52F912,03FC5F37EA65DB2DEFCE352D99DC66137407ADF3E882CC90B79FF867B9B6B238661C036CE6E46D513FD138F5F88ED712B916630532BB08A13BDB088C73B48D1B36D4758D8010]]" |
| } |
| ] |
