| [ |
| { |
| "FP41" : "[[2EA047FF96322B613B922C0BD1764C17B58ECF4554087940B18A0CACF50A1DBB9235DDAF1F60D776E4BD010E543FB67A12E884AADC5E1404792BE0DCC83EDD9D,D7CEBE57B93CA88219F7FC43852BAE23A0F5249A15E1ECC5E4F8FB6B66D138226B57B16D45039F463C0C95C08E077DE55F6F8CD7C1C522D6B854F9993BDBE99D],[202472A34A5FF1CFA7308931F63367F51E6F6532D20641FF92549B69D0C5F761BA293AC1484B96475C1B7E630C3115253E371D525CA0DC9D40C5DD3A792E0947,BE42F7B379C7C58045F69AE96F68722590214E209FBD579289C04B5A9D0EB414FB67E5CAE530ADEA4A71C44CF172FA8497526ECC71AC22538059775556E709E4]]", |
| "FP42" : "[[C846FE8DF8EF1B212662C39880907D9541F160DF474B9D79704D83C35420BF63071BE11CF12F6E19B4647F2AA2D7162F1AB1E4B465E7A1DA02A30F6A8251CF78,2C39956D5A013AA632991C379E62752474F308E55D83B7CD9A8A47B3256CA5B545497273A665E6C50CC1258DDB524E4BFB80BDBE3B0E20D10E9F7690AF0C17DB],[BEDB3958169930CC4A62B39D67A39B139585A39C635C6606388742A6B4BBE47E7BBC0BB9FE4AEE8921B6BB51D1AB4BD3DEF7539A8C8BBB777484BBEF08354C6B,0BAB98F7C66966AEAED6A673640B501954B18B1A7A86840B905739973F32B5BC8CACA15E6551CFFC5DA9E90BF721A283E89E08DE0BC78DBA10E8F104F667F480]]", |
| "FP121" : "[[B222C6BF4C3452B4D2B635D01B1076ECEB5A5F9E6293B5CAD757E9DA7A11BE027E2151C70F138328E32FDECF6E41CD06AB06392042611DC375531A793078E0F1,88AD639A0899EA4D9DD9B741AA9E964A75F2BD839AF3AA7CF9876B77E58DA8ADEA12317B4281E86B779F41A044FEAC16EFE59462BAA355AB61294120816FCFE6],[2E89D4CAE29F84F7AECE501982B60CD4709E94888AC58C1D633DF86ECB98DADF50CD8A48CFAFF868FBE812053AF567A0A7922EC86895070005426AF135001C8E,0DBADFD72000FDC3A72BB128B588DF2A60FE334FA64A4B85FC644B1A012DB0D69B6295DC8F9A4C511BABFA925F34A5A9217F8BB082FA25F0B521741A188E44CA]]", |
| "FP122" : "[[B222C6BF4C3452B4D2B635D01B1076ECEB5A5F9E6293B5CAD757E9DA7A11BE027E2151C70F138328E32FDECF6E41CD06AB06392042611DC375531A793078E0F1,88AD639A0899EA4D9DD9B741AA9E964A75F2BD839AF3AA7CF9876B77E58DA8ADEA12317B4281E86B779F41A044FEAC16EFE59462BAA355AB61294120816FCFE6],[2E89D4CAE29F84F7AECE501982B60CD4709E94888AC58C1D633DF86ECB98DADF50CD8A48CFAFF868FBE812053AF567A0A7922EC86895070005426AF135001C8E,0DBADFD72000FDC3A72BB128B588DF2A60FE334FA64A4B85FC644B1A012DB0D69B6295DC8F9A4C511BABFA925F34A5A9217F8BB082FA25F0B521741A188E44CA]]", |
| "FP123" : "[[36205BA0F63A6A140877FE38FF1B707807D28BF96A139AC8DBE39669BC3CEEDD8E06AC555F5946A5063405105F4F15E725A24A8EE7209AE2BF49DD0D9F295193,3CA10DDEAB9A12169EB15717D1A0C5DD42AD9B2CFF57BC4E8602AC2AEAE8CE0EE95B5B32E145248535307C89BB533E0BA8F62960D86454560D580EC2F3355F64],[315CCE98A1514F177BC1E2472BACF35B9D87DAC67E8B50C995A93A8DC6726730B25AE629F3D903B2755EFC552B861249C65357CB6479D6F5630C7C355AFC3D8E,92D2B620E15564E00DEE6977FD23EA4332C1653F51699682763DD886867EA440A01490A467BD8FBAAECEF101027827787BF7A25087FE7EE3A1B83702316F7545]]", |
| "FP124" : "[[70BCC38F3E74A332A63D6F4C7647A868E6461A126A383AAC1A85089E57F1B61092D5BB5EFFC12CC7DE57877C069B105F229900D847DE37092325A4E30718E56C,8617DDD5E89027D99579E104F1C46A514543CCB716F84EB61A3D9D822EA12A5817804F7705C9EB5D220E8563658E8F5113D84E91267B23C88591AC794B393721],[C15A31DD836FBA9E208A2C12575973FD6528ACCCD8518BFE6BD093830C3974EBCB3C00FA702CEA9D041D56FEF673BC453EE9F8A515E1861C93168048EB5A0208,C3D3E0E947140BDA5DF6028FB4CAA06EBC412A5C6C427192D59A464CE2EA99C7339F45097E36C3414E4F0B43FB738FFFD6A53E424D6A21A3D64C0FC8859E4F18]]", |
| "FP4add" : "[[F6E7468D8F21468261F4EFA45206C9ACF78030249B5416BA21D79070492ADD1E9951BECC1090459099218038F716CCA92D9A695F4245B5DE7BCEF0474A90AD15,040853C5133DE3284C91187B239436C9142221DD9A9A518BBEC75F5D7A8CEE925F5A54C23EAAED526441556FBE365C4FC985F4C79D86DF4012094820C83A1245],[DEFFABFB60F9229BF1933CCF5DD70308B3F508CF3562A805CADBDE108581DBE035E5467B469684D07DD239B4DDDC60F91D2E70ECE92C9814B54A9929816355B2,C9EE90AB40312C2EF4CD415CD373C23EE4D2D93B1A43DB9E1A1784F1DC4169D1881487294A827DE6A81BAD58E8949D087FF077AA7D73B00D9142685A4D4EFE64]]", |
| "FP4neg" : "[[D15FB80069CDD49EC46DD3F42E83A0674C373C5C84C2D9C70F31D7141CA6D189BF10F16F8D5DC141FFCF64D056E3B9677E81D12382EE50633BBF472C5A6F1196,283141A846C3577DE60803BC7ACE3E5B60D0E707C2E96641DBC2E855AADFB722E5EF1DB167BAF972A87FD01E1D1BF1FC31FAC8F69D874190FC962E6FE6D20596],[DFDB8D5CB5A00E3058CF76CE09C68489E356A66F06C511082E67485740EAF7E3971D945D647302718870E77B9EF25ABC5333387C02AB87CA74254ACEA97FE5EC,41BD084C86383A7FBA09651690917A5971A4BD81390DFB7536FB986674A23B3055DEE953C78DEACE9A1AA191B9B0755CFA17E701EDA042143491B0B3CBC6E54F]]", |
| "FP4sub" : "[[665949719D431040152F687350DFBB0175637A07E5882ECF01F86CAAB29A4D9DDC60CBB0DAF0021614E4E7C25C8C102C89A0F5C4D5C2D6922B73F97B689AFD58,AB9528EA5F3B6DDBE75EE00BE6C938FF2C021BB4B85E34F84A6EB3B84164926D260E3EF99E9DB8812F4B7032B2B52F9963EECF1986B70205A9B583088CCFD1C2],[6149394B33C6C1035CCDD5948E89B9608AAFCD3847752F011A893C842DBB02288FB3FE25F6BF40771EF128EFE5A93932F0AA1F862F61858D812C495493A6AC0F,B2975EBBB35E5ED1971FF4760B5D220C3B6FC3062536D386F96911C35DDBFE586EBB446C7FDEDDEDECC7DB40FA515800AEB465EE65E494996F708650607F1564]]", |
| "FP4conj" : "[[2EA047FF96322B613B922C0BD1764C17B58ECF4554087940B18A0CACF50A1DBB9235DDAF1F60D776E4BD010E543FB67A12E884AADC5E1404792BE0DCC83EDD9D,D7CEBE57B93CA88219F7FC43852BAE23A0F5249A15E1ECC5E4F8FB6B66D138226B57B16D45039F463C0C95C08E077DE55F6F8CD7C1C522D6B854F9993BDBE99D],[DFDB8D5CB5A00E3058CF76CE09C68489E356A66F06C511082E67485740EAF7E3971D945D647302718870E77B9EF25ABC5333387C02AB87CA74254ACEA97FE5EC,41BD084C86383A7FBA09651690917A5971A4BD81390DFB7536FB986674A23B3055DEE953C78DEACE9A1AA191B9B0755CFA17E701EDA042143491B0B3CBC6E54F]]", |
| "FP4nconj" : "[[D15FB80069CDD49EC46DD3F42E83A0674C373C5C84C2D9C70F31D7141CA6D189BF10F16F8D5DC141FFCF64D056E3B9677E81D12382EE50633BBF472C5A6F1196,283141A846C3577DE60803BC7ACE3E5B60D0E707C2E96641DBC2E855AADFB722E5EF1DB167BAF972A87FD01E1D1BF1FC31FAC8F69D874190FC962E6FE6D20596],[202472A34A5FF1CFA7308931F63367F51E6F6532D20641FF92549B69D0C5F761BA293AC1484B96475C1B7E630C3115253E371D525CA0DC9D40C5DD3A792E0947,BE42F7B379C7C58045F69AE96F68722590214E209FBD579289C04B5A9D0EB414FB67E5CAE530ADEA4A71C44CF172FA8497526ECC71AC22538059775556E709E4]]", |
| "FP2sc" : "[17CE9FED25B18B1C7B2709F806672C2350F50A27F01C9BE23A83D0AF472237F634688F3D4387298E2A75CB56C6E23BE09B9C7016685F92DEAA6F229450820E5A,4F51C4750AA2C6274682F135408E9E29A67A6862DA8AFA93E5B6ECFD5477952D410BA99996DFCB1CE5B6781921D72025A44B5343A666D5AECE899EF2CED4113D]", |
| "FP4pmul" : "[[0F98D721609DEF40687BAFCEF2FDA6109960233756CE5361184F3984B12F285EA82CAA2C24D0E0E9710D0E4D693C676DDA49369047173D763CE7E72F13154650,F6C4B69735F064B9019B56FE5FD85B9E102D709B2AAC7F484B577BB15070CFD2677066B8B7953C7C5CB414D975AB45742D02F4A1D7D2F5D284E14BBB000A9600],[EB332A72405C01A9BF4FF89306D5A8ECB149FA228E968002E394500CF35D03816498A6FBD581EF1B4C2BF9066D370584EBD7C4B8A6168620FAF06D9CA02FBA62,DC93EB62E050C8742422253BA9AA1856D3F099BE870C6CA0CFFF1AB87752A1A2AD618B4401F766789A2A9B8E5FE81579311B337DD9C80CB219AD757F0C89CA44]]", |
| "FP4imul" : "[[00,00],[00,00]]", |
| "FP4sqr" : "[[BF3B048B4C546DC8C0F9FC0FC14CB6CA8A3BA44F950BA07725BE2D5C1C99F022DCD3F3B41C99732D86EBAF62746650B3FFA7DC0AD5B1046FCEDE30DCF18874CF,AF05EEBF60F5F1BD723E4EE6D3B695037D71696F3F9B53F281239ABFC5DDD2F2BC9D14EE378D97B3E5AD74A22E68E57DA19B095205C8B1880DD4B78B335C313A],[BC95F7799890CA81F1853626991804D6807A829E17DF18476546CA26ABB7C8AF2866CDE7ECE0B0967C72110B2D1F2663BE7E71758C57DEBDDA79CFA6256E5560,6190EFBFE21C026210170DCA4FB2FC60919EFA9E2600FC3C021DEF66711940FC19DD48241D22A65C45D5B188E61EB8192022EF856668D8514665CDD28121220E]]", |
| "FP4mul" : "[[9F76705A5E4B94FFA9C20875CB267F54585AB49300060DCA28ECD7891C62913FADA1EC52A1D23201A093189A354B6A49E89C25229B973AA7D3B4017D3B6BF86A,4B0323643406AC3CB395F5D46791B8210915A1EEF38CBEB314F0DF8730E35BBCC52996B24D01B76E14F3FBD96314B47B864F29E46AC7E38943CF0568B91822F6],[64D787F9B34FD502CC6E4E8845DF9709F3AE715641BF5757A73FE4D9CB577A605217A2A789872B0073BC0D66457FF33DC896144786D7D6D52E762000038CB032,90CAD5487C6D57D849B7CCC4581E888EEC48AAD920EFF1CAEF37FF4D75B72D5F088070C163D54DB5979DE8EEA5575D25C3F0AED12CE41165318DABDD5253BC68]]", |
| "FP4inv" : "[[E371A8FAC305F19C1C79C25BCFD5A2B532C843D46DE31A8074126039E26E78D0259E4A3BB15D3D407088EEC3CF5520BE04018FF0602E693F68FF61F120FC7967,70A17C81B1D759FCF2833637848B9F37BF5D1F8687862A2418EFC951EEE8D05163D5A9FA4CC973E3DD81345F60DC383D5E6F1B8A68D1E796A0E84C46178EFEF0],[7D771716267F1C9F40C1ECF1C9CCAB0CCFF8111E4E4CB8B16C3A7C8396CFE6A32F208FA7FB32E45766255B1183914F9FA610597A37A5095D5F2A2D6E302288E2,7863F1C71CED3EAC965D23431678D0311FEDAB9C1B59B5402771CB099DD6B451E1A6494AA688D4308F0080E120A5BB54A39378B80CF383321621093C63CBA09F]]", |
| "FP4mulj" : "[[61E17AEFD0982C4F6139EE4886C4E24E901422B40B143D74C95033D045683292100824150FD98115F6361FF4C5E18A82384F04544A411EB175578DEE44F4EE96,DE676A56C427B74FED27241B659BDA1AAE90B35371C399921C14E6C46DD4AB76B591208C2D7C4431A68D42AFFDA40FA9D5898C1ECE4CFEF0C11F548FD015132B],[2EA047FF96322B613B922C0BD1764C17B58ECF4554087940B18A0CACF50A1DBB9235DDAF1F60D776E4BD010E543FB67A12E884AADC5E1404792BE0DCC83EDD9D,D7CEBE57B93CA88219F7FC43852BAE23A0F5249A15E1ECC5E4F8FB6B66D138226B57B16D45039F463C0C95C08E077DE55F6F8CD7C1C522D6B854F9993BDBE99D]]", |
| "BIGsc1" : "F75FE69D30E91F04E95DCFFD55DA5AAB8AD38FAC7B582EC5FCE5F174B65910A8039CDD21FFD00CE26F1AAC3FC8AD2928B8A338DCB3DCC0DDF5F54B4DF7DB9D64", |
| "BIGsc2" : "59", |
| "FP4pow" : "[[82F3CA50557A8136C5FD7016A8875423B31150E6922F0A409D8A03BD324EE44502377D3B8095A9A994CB04A145705B6776CFDB46900BE78710E07BC1C5DBC8B3,519BABCDFD2207D91610BE5F0F67D2C2D818A3AB08AAF8BD91185104BCAA6471BCC7A906D71D5BACE450EB8CFF45892B2222CAF504C68EB792C07A5C00618582],[10010310AE7A9DDBB6468BF7B0636A17531B01CD22FD5221DE328A5B403FB2E2819406D307B4E40FEE464D95F55A7AEC849C21D6DAA7AB8C2BDCDEF9C07C3436,660FEEBF75FF98E2B319FED424C09613B0D91D661DC540D55E991307F2A1C9A9D1CABDAA583C50C58740926D65287748D09E2A1301A90B2515179EFFCC52106E]]", |
| "FP4frob" : "[[2EA047FF96322B613B922C0BD1764C17B58ECF4554087940B18A0CACF50A1DBB9235DDAF1F60D776E4BD010E543FB67A12E884AADC5E1404792BE0DCC83EDD9D,283141A846C3577DE60803BC7ACE3E5B60D0E707C2E96641DBC2E855AADFB722E5EF1DB167BAF972A87FD01E1D1BF1FC31FAC8F69D874190FC962E6FE6D20596],[612D23630B101664F71F0B83509F58310CBA86EE92A668AE48D83663430E909AF8A3B6AF3218C0AA98F3FEE9AB179DDDB7272B9591B6A30E861AF9464238C8CB,892A357AED820834541DE4AE551A810B404A991525DDDBF64330D224AA6857509FEF101C18D13B22AA9D79B8B818E0A56B2B21EF23FA81923DBA85C27571BA4E]]", |
| "FP4xtrA" : "[[775C1B8D0E52E10976B3F4AF6071C4152725EB858AD9B9C7874E57ABD8C49C99431BA1AC36110E8C5863030A3D51D992F051E12634F50425B2CB33C5B11ED306,588911E7D32AEABF500F656E7DF4629924398C95E5E25271988B6F8B5BB761334BBF901B77EA23B6862645F97C9C5311D508E8CCF958ED590B2AEDA3DF9D703A],[0D5CBE8AF7F4A9163B6ACBEFA803BF1DD9FC2086FA068F6020884D43D8B689A2A14E5ABB79AC69A853E9F64228AEB984AA58A9BA9639311CB5F51DFB6CD00255,689F1043E126C159CB2FE799B9C974E13447A87E803885FA3731922B36BB94EC28E7FFCEC4B63B8230A8D61FB1E0EBD570A5A11880518E227198FA9057B94D13]]", |
| "FP4xtrD" : "[[61FA748C1FF0170649D5A3F81E601E9B1F1E05C4ECFAADF5C2AA14023285B4ABB8683855DDD7C43FBD71AD45CBE6E3BFD9D6D2B51CF4DC66DC866F23610AB995,FF68720FEE7CA0B93E4E565FC95311BA3F13377EC56E207638A96B6B1B9D4138887B505107038A9936AD14DE68A0C97605909B3F40D734AA0701146B01003C66],[FCDEDCC02D50AE213FE6488A857ED4C0BD594D03BBEB9C4689F000FA4D43B7729CB9436A7D77DD2534A90DD1458150AE3AECAC1A459997F85C058A1B17CA67EE,DE16DF26D5AB8D629C04439D2E89F42CB01B8B3D8CB0585954E2A25A9985B9E0BF66449B3AC56977F62CD4441DE13D40BD5D774FEA74B890922D94740C4146A3]]", |
| "FP4xtrpow" : "[[D2DCB337C35B7DD596937FE501AA58AF74AA73045F47F72BA7A97CB5AAEB71CE057A257753F9270A8A2431C7A391E69B0625393817F7B49CC9F5E05782FF97A3,BB9673CF26988A60093BF0AFF0D86E4C0FA566626E77CDB9D3328F6CA510A618406D3E47CB1A797CC9305DB3DC25EDDA82B041E15211B52700955241CFEE36C9],[46F2AAB90FEFB13E2E6D99CD0863C44B1A1FC7678DAB410C24A53CE7429DEA28CCB1F6E79FF9A87FC32AEFC973FA8549A08C416B5EE0BDF5C5316680B509D79A,7CD569DE85AFDAD51326990E444A19126A4914108CCE9B20725355AAF0E9086538E49D31CEE524F5FD62416D6FD2E5B8C6D269E82F65FCC44A71E92EBBEB5AAE]]", |
| "FP4xtrpow2" : "[[286A691742B247F464AF0996A1C302403711AA2D79194B0BDD878091D7E0D396E25E7B53AF9B1985EC98756E698AE5B0BF95B28CE56E95AC24760F55D578FEB1,2D28716C9ACE11F13A93FBC65E1E7CECE159E1277245F3F6F12AA5564DEBD3D48D1CBF805386301C5A79F4A1A196929FB3BF466E7D46C38BA766AF0D5CA6B5F3],[51F321F13D131EB16C9E232C0AD7401DDA0F6E7D3D5E4098D148BE958C863A405FF6FC2C354C6DBEE7F9F094390C3C10E75D6D2F3C3D42FCD5781C6AA844C254,6C3E3B391E66CFA1F733BBEC8FCBB39463BF12A1859B0871C8134F00C2C289FE6CCBE3BAF6A03DB2CE1B575CB555E8A5CC2727D11811825C0949C027E150FA2C]]" |
| }, |
| { |
| "FP41" : "[[4BE5218236CC08B99D869C0355C5A9C78C3A28449C4F096386C0165764708A01CBC568D8E38BFDEE097424BD8E0E880F0F38E767F5C0129D04396C18FDDC8498,328AD60A191A830F2A6E07CF8E0B5AFCBA09F5F1B29089F3D856196D96007AEB3F6BAC6528C4D198A0F0F50E3A8EB51FB43D63F8AF4C87EEFE67C2646BCA08AA],[BDBE20105A065775855F07CB07C459E32EBF2B4E57D304D6270B9DD18A32D88D1AF1B8278114A5A2936E705D047B877D70DC5BBAB4548A56074F1E72B3F06607,1F5C8959412F8ADEAD52B08B431D2B6176ACABACD3396D9FE0207AA83E0D90867F1E7C354FA3BC617CC4BE12B67C5D9992A8F8A6D9D7F61E11828CC3E64E4791]]", |
| "FP42" : "[[022C5FC34C6FCF650208FD0D1158FC5E4019FC00F647655419EF7EE388D186A52D6B0280E8CCC45381E02398F9F51D088A3652899B87AFA1713B2E0D58FA460A,A171C547595B9B69F996BC300EE4E722D6084216072414395EE2AE5439FA33D215C3700D0658F58F30EB5F3A88B2EB82F59A8BCA75D8156CC1A43481A4EF396A],[8531BB2F92FCC4EBE834D0430DB50815B2BE2C361BCCFD8E7FCC368D169DDA287FC7573874DE5AF671038BF998FD2CBB3E6F187D9BE6C043D0BC292E09FF58C1,D7FBBD595D49E8D1B2630EAB19877AD4DC6552C5B8256F48B2CF628AAFB37720DD90D01ACEE153E01E1871C0E15F83DAB2DCA95DA4C894494185382CD61C2551]]", |
| "FP121" : "[[E8DD1BF295BA012D7EF7E47A90D12E50F1842B894B1ACC5C3271CD1FC4D33B129F2B99C43FF5330B7503AB8DE9E60D7370F2A43D8B1C0FAE01214B06E8636E27,EA9FB21CB68F93448C44E45E750E308F5898B26CC6161B6481F487D7ECD5E9CCD5611D07BD95443B0FC60F30744B5A99F28861B4FF251B30FCC02D6A8DA8D62C],[B0F9D9B9EE70AEF43514071B513FA2543A03E323806B1475F201C8B926A66E4DBC0786B1FC51731A33C3D22216AC90E13AB4E4D039938D58DD63494459E4BE4D,8DE5BBACE986E3018EBDF5E11B6810FC23CAED0AD07951A0EEB10443D140F2DA583B6271DF43C425E04AE87E8C02A6F8596B4D96AEAE7D96ABB135CF49C48523]]", |
| "FP122" : "[[E8DD1BF295BA012D7EF7E47A90D12E50F1842B894B1ACC5C3271CD1FC4D33B129F2B99C43FF5330B7503AB8DE9E60D7370F2A43D8B1C0FAE01214B06E8636E27,EA9FB21CB68F93448C44E45E750E308F5898B26CC6161B6481F487D7ECD5E9CCD5611D07BD95443B0FC60F30744B5A99F28861B4FF251B30FCC02D6A8DA8D62C],[B0F9D9B9EE70AEF43514071B513FA2543A03E323806B1475F201C8B926A66E4DBC0786B1FC51731A33C3D22216AC90E13AB4E4D039938D58DD63494459E4BE4D,8DE5BBACE986E3018EBDF5E11B6810FC23CAED0AD07951A0EEB10443D140F2DA583B6271DF43C425E04AE87E8C02A6F8596B4D96AEAE7D96ABB135CF49C48523]]", |
| "FP123" : "[[2D3BF13839DD4A1CEB2236BD424C4BD8B068770CDF667B9F099AB60DF6E2177F56F0344F90D80A9D8AC33EFA5460583804A849ECBBD18E226D9DBC3458E54F7C,890D722B77EBE29964A252AB2CFF97987BC48B03F8478F6E7995D5FA4A5247C9B92741D66C6EE62F8C217852A45AE057FA8CE4C113AF74FC9D0EC20D982AB6C3],[FACB8CBC17F41D3F36B5AFED621BBE63B8B87A40C7F66F88F007F07DEB938ED27E2619C4B17AB3F9BFFCFC970B1BEF5A71CE509EA7F090490A4FA98BC9C1DF19,6EA867FC914CD96A2218CD181D6201C144109C2C383A0FEAE920340B08832C5CF447871D65BAD8102C1F6087FB1FF56673FDCFCDDE0A7729C88E47C89B54F075]]", |
| "FP124" : "[[9FAFB11F7D2E6F3A3C8F0803763CF1A40273D5403F5FDC1890791E50049172CDE0B27C2D3D44096E3BDA91ABD0F6CA29F45CE11FCF653C3D8527C7E4D9A3C13D,22ADC3021C65B7E6335F72C10140B9ABAAAB00ADDA143B301B9493B6CC85E2C5BCCA1A7AE76306BC4FEEC4988AC55EFE0D10C8A7AE67BB3FA7C0C6DE1792DA05],[1EE9D6E404B9D8036086F84B4EE1CAF11AE7FAA567A4E667C412F78261826047FFDC17B39BF0053B3034254A1217F9A3927E7CF0C3716647FA6270E5A25FA134,08DD533F98C25401FC269AF189E8D39A14A5B41401C74B298FF2D5E6D03B04A0964F83599C633F957BBAD474B179992961F0E76F1C5D9726AA5BEEC99EE1A831]]", |
| "FP4add" : "[[4E118145833BD81E9F8F9910671EA625CC54244592966EB7A0AF953AED4210A6F9306B59CC58C2418B5448568803A517996F39F19147C23E75749A2656D6CAA2,D3FC9B5172761E792404C3FF9CF0421F90123807B9B49E2D3738C7C1CFFAAEBD552F1C722F1DC727D1DC5448C341A0A2A9D7EFC325249D5BC00BF6E610B94214],[42EFDB3FED031C616D93D80E157F7579DFB74BE29AD4AF5CE61BF09D8F1FC37049724041493467E01FE59677F25544571DE11E69F0EEE63223201F979B41CF95,F75846B29E7973B05FB5BF365CA4A6365311FE728B5EDCE892EFDD32EDC107A75CAF4C501E8510419ADD2FD397DBE1744585A2047EA08A675307C4F0BC6A6CE2]]", |
| "FP4neg" : "[[B41ADE7DC933F746627963FCAA3442B7758BE35D3C7C49A439FBCD69AD40654385816645C9329ACADB1841211D14E7D282316E66698C51CAB0B1BBF024D16A9B,CD7529F5E6E57CF0D591F83071EE918247BC15B0263AC913E865CA537BB0745A11DB22B983F9C720439B70D07094BAC1DD2CF1D5AFFFDC78B68365A4B6E3E689],[4241DFEFA5F9A88A7AA0F834F835929BD306E05380F84E3199B045EF877E16B8365516F72BA9F316511DF581A6A7E864208DFA13AAF7DA11AD9C09966EBD892C,E0A376A6BED0752152AD4F74BCDCC11D8B195FF50591E567E09B6918D3A35EBED22852E95D1ADC5767C7A7CBF4A71247FEC15D2785746E49A3689B453C5FA7A2]]", |
| "FP4sub" : "[[49B8C1BEEA5C39549B7D9EF6446CAD694C202C43A607A40F6CD09773DB9F035C9E5A6657FABF399A8794012494196B06850294DE5A3862FB92FE3E0BA4E23E8E,911910C2BFBEE7A530D74B9F7F206058E5C7BF7D8437C8C23A2F4EDA6DB7365E7AEF0B76CF2A74C25491FBB25CFF397E500D2DFC98C0D6E9F1AEB5EBE988BE73],[388C64E0C70992899D2A3787FA0F51CD7C00FF183C060747A73F67447394FE649B2A60EF0C364AAC226AE4636B7E5AC2326D433D186DCA123692F544A9F10D46,4760CBFFE3E5A20CFAEFA1E0298F9D0B9C0D6488F3DF515EEE0CFBDEA00B08AAF2D47B392D81013A4338B230804049A07136A517945BC63C84E87CA032E01173]]", |
| "FP4conj" : "[[4BE5218236CC08B99D869C0355C5A9C78C3A28449C4F096386C0165764708A01CBC568D8E38BFDEE097424BD8E0E880F0F38E767F5C0129D04396C18FDDC8498,328AD60A191A830F2A6E07CF8E0B5AFCBA09F5F1B29089F3D856196D96007AEB3F6BAC6528C4D198A0F0F50E3A8EB51FB43D63F8AF4C87EEFE67C2646BCA08AA],[4241DFEFA5F9A88A7AA0F834F835929BD306E05380F84E3199B045EF877E16B8365516F72BA9F316511DF581A6A7E864208DFA13AAF7DA11AD9C09966EBD892C,E0A376A6BED0752152AD4F74BCDCC11D8B195FF50591E567E09B6918D3A35EBED22852E95D1ADC5767C7A7CBF4A71247FEC15D2785746E49A3689B453C5FA7A2]]", |
| "FP4nconj" : "[[B41ADE7DC933F746627963FCAA3442B7758BE35D3C7C49A439FBCD69AD40654385816645C9329ACADB1841211D14E7D282316E66698C51CAB0B1BBF024D16A9B,CD7529F5E6E57CF0D591F83071EE918247BC15B0263AC913E865CA537BB0745A11DB22B983F9C720439B70D07094BAC1DD2CF1D5AFFFDC78B68365A4B6E3E689],[BDBE20105A065775855F07CB07C459E32EBF2B4E57D304D6270B9DD18A32D88D1AF1B8278114A5A2936E705D047B877D70DC5BBAB4548A56074F1E72B3F06607,1F5C8959412F8ADEAD52B08B431D2B6176ACABACD3396D9FE0207AA83E0D90867F1E7C354FA3BC617CC4BE12B67C5D9992A8F8A6D9D7F61E11828CC3E64E4791]]", |
| "FP2sc" : "[0F6CDE7F415847712DE983D2403DDD053B657E252880D6B435552CAC8B3522153B34B6FE8C709F83D808D119C54A99DCF9152D896EC96BD0E1E9A1C1B58152ED,585EA9E72FBD43431BA8F8C80EB496B6DA038120F4F18F405C8BE08C64A4BAD223489A937693DBA628903C0F18085F7938D46A2EA763DDF9E084F73718656429]", |
| "FP4pmul" : "[[65AB810F082277ADE8C1CB67F98B8FB6A28F6FC545DF83DD913EABFF69787498E4985C952B154BB3D4D85F111C0B8724C102243AAC3120A2C5E6FB81D9A437B5,10B52F81A9548A685E43DDAB2A04BA084706A227880DE28F83C82B9C0F343B3625A8FAF708A6842FA86B4C8382B21B0E4705237F3D679715C10E3BA143EAE45C],[BD86389E6C480379D65425B66A7756517727266F8D8917E7B3431D585910B366349EDF922F284C072B601CDA7E03CD993AD80982AB94D2FEE8A5DD109B4402C3,4092F02AEFD5B6E8C0881D13A6000A0688846A60BF61E5A12DC2C2930CE129133663AC0C0D9D044C7D103A49ED708D890D2E67C740360CEB84C2757A3BF35807]]", |
| "FP4imul" : "[[4BE5218236CC08B99D869C0355C5A9C78C3A28449C4F096386C0165764708A01CBC568D8E38BFDEE097424BD8E0E880F0F38E767F5C0129D04396C18FDDC8498,328AD60A191A830F2A6E07CF8E0B5AFCBA09F5F1B29089F3D856196D96007AEB3F6BAC6528C4D198A0F0F50E3A8EB51FB43D63F8AF4C87EEFE67C2646BCA08AA],[BDBE20105A065775855F07CB07C459E32EBF2B4E57D304D6270B9DD18A32D88D1AF1B8278114A5A2936E705D047B877D70DC5BBAB4548A56074F1E72B3F06607,1F5C8959412F8ADEAD52B08B431D2B6176ACABACD3396D9FE0207AA83E0D90867F1E7C354FA3BC617CC4BE12B67C5D9992A8F8A6D9D7F61E11828CC3E64E4791]]", |
| "FP4sqr" : "[[806225FE089B3B847BF341416BC88AFA7B9876CABB00ED7848F9ACBB97A1CDDD05C0939249F859ECF6B06174A8B7E985C568FBA77248BF2B983B4A4A1B839561,215E23C0990E6E4D579592673C540EA7BC4A770FF6FBA67DD870BE961C06BFAEFD022D9802FEE4F9B80F7529CBAF5CA147B5D3217770904E61291C1FD7D005E6],[065698D9EC0DA6E1BEE007EF3DFBF9729659C0E5AF39EB5ABA26470987FF9E0C87C2AB686C1D992155B5A82313470ABC89E5E336896B6890E848DCBA37D2F59F,21D56E1B2942DB05C7688FC41BD063D8B276F406B71EE6731015FB25C3C85DF1573DE0F24597B3A77D748678ED29AEBA52904C7699F6F563CF30D19245C45BBE]]", |
| "FP4mul" : "[[224F89C81164370A21791AF964CE4177364C1A18C80EDB527DB0FBA10A813FB81463E9092742D00266900C196E481965F7836339E03CE15103BA2C49053693A3,7639D7C01FE51C2A8107667957BC3E9DEDB04C91E6C04B8691E238C6EFF77B9F8D93252DEAFB35A74B730C19AC2544796C3A615E47E8BA057401C61A98670BD9],[0D05D95213671246D005B8F2496C32DE927CCD8F956C65926D76608A28110500DC6D6187F88C244D6AB75D071A7CE1FCB1AC1B23E4201E0050DEF647F887596E,BB8B9B27A9A9C6F8F0E5E00326DBB2DFEF0BE620D3F5BE503E5223079C90FF8CDD4527430AAABBDEE7B2D507D3772291152719BE45A9842ADB18CAD8281C2172]]", |
| "FP4inv" : "[[DC358365C8412341534C1D5D22B8A4E301A376147EF34B3F9DC6C4BD287C4DA62DF295C6EC4D88FB4F06E70FE68DF9FCA5852B4918725C3D588B01DB3A35A6EE,C77E8E6BE14C4F91C4FD8F805F5F85477987AA39D01FA9A1A84FEFF941FA2DBAA5C86D0D2D54555F398C7609E2D741BE53FF25D7B599E6C5B55C7081A3018E72],[92E96735C84B2593405B3951AB185BC8D1F9ECFC0AB3C11C63FA06CAB88724425BC41E808F6FF0D71AAEFD4271635C150B1CAF1054869D991723C1EEDBD29C62,12EC5AAA80D41A75533260FBDC64A6D6F7537BC4EE0EE52F9377D35E083DF5F35BD01B89AC7D47B6B15FE4A17BCDF5D0DFF234EB93BF7781EA5DC81A79999EDF]]", |
| "FP4mulj" : "[[9E6196B718D6CC96D80C573FC4A72E81B8127FA18499973646EB23294C2548069BD33BF23170E94116A9B24A4DFF29E3DE336313DA7C9437F5CC91AECDA21E76,DD1AA9699B35E25432B1B8564AE18544A56BD6FB2B0C7276072C1879C84069139A10345CD0B8620410332E6FBAF7E517038554618E2C807418D1AB369A3EAD98],[4BE5218236CC08B99D869C0355C5A9C78C3A28449C4F096386C0165764708A01CBC568D8E38BFDEE097424BD8E0E880F0F38E767F5C0129D04396C18FDDC8498,328AD60A191A830F2A6E07CF8E0B5AFCBA09F5F1B29089F3D856196D96007AEB3F6BAC6528C4D198A0F0F50E3A8EB51FB43D63F8AF4C87EEFE67C2646BCA08AA]]", |
| "BIGsc1" : "EDE3A347E6A85CBA07A8DEB44B345C0FB1DF49D89BA30E9A5E7809580C35A5FED61E0E5B6E9701782A9406B0DCC5C60FA7B220172925502188F8DE7A31E14099", |
| "BIGsc2" : "21", |
| "FP4pow" : "[[7552A2E99F72F979F8FB17FBA3390678F67C26CCECA55803E5277A67FC8C23BB952FD8ED8FF616B11D7E599A8C11571B73C89AED42F23E1912A6204F850C9D97,6ED872E8BB956220A57BFFC80668909980CEB3BB9662EE8DE1A5210083104862C9F0B5B1B31A2D51D19E02A3316C493CC025B1DA352BF0424E9F5AD504F376F0],[967784A616144EEA54A6217D54A188ABA02503BF957F612BC3D4A9FAFC7BF78FBFE993D6BEF37D641243D789BDFCE0CF25BDFBCDCD93C4C6A5CC4890DA47A3D8,C35DD7B2CFE8DE228B67CFB6237AD3B0253888BD2A934BD7210CBEF9F1F2A4F7FC7EFF766AB7B667098591487EA3ECA72261229C40BEE63D8A0EE862C6F81908]]", |
| "FP4frob" : "[[4BE5218236CC08B99D869C0355C5A9C78C3A28449C4F096386C0165764708A01CBC568D8E38BFDEE097424BD8E0E880F0F38E767F5C0129D04396C18FDDC8498,CD7529F5E6E57CF0D591F83071EE918247BC15B0263AC913E865CA537BB0745A11DB22B983F9C720439B70D07094BAC1DD2CF1D5AFFFDC78B68365A4B6E3E689],[C946FB4681641839D15D70B1CEA70FEBBB57BAEE38E31E1B129A05258BE827D9DFB1245E4CB181A3FF5A3CCA822DBCFB6833C343F59E022766BC1C96ED7A66AF,2088245EDAAC7B7E36F2F0479B48CB7D1ED78AF6CB97812F3A039E3D3FD595ECFAB37F10B2C0DD12FD3BAA9B3D83DEE97271628665461C5F22452FEF36153D04]]", |
| "FP4xtrA" : "[[2FB8D2EB62996918FFF681D6AB97C8EE96DF47F7E27495EA2BDFEDD68D12B3A865F78265647658702B5AC6469257BD188117C3834163CC3984F0161019ADAF3B,D95E43FD844026C3BD91A678558C69A6CCC29064B432359DC6BE17D4B69E173E690BAD23F2BEC4F2924F0956A177FABE144ABAFC931733A1571B993C2CC8EC1D],[C7A74EFEE654371AF15DFDEB55977B961C896EB408CA2F4589DAEE265474C2654D2A900DD3A88AE16596803BAE5B527A16E9A702455868B86877248E9755B3E6,7C41EDB8E131BBAA27B7563DE8940105E801E04FDC0E48351E625BFB5B5815EFCA0157C5A7BC7C3BB1AC455841928A9DB2E51DF3185929F08A8B051FD807EDFF]]", |
| "FP4xtrD" : "[[E897E2F99B032A1140E6093AC03723EA64EA31E35B2E2DB8FC3563CDE071A91EBF7C90FF2F9EF6C9C8547DD837BE4949386182A5E614FE5944B39A2142787B64,BC4877AC66D9682F02B982C82037452D49FC96CE6AA5E59DE8806F7C01B6B91DCF71A3EC5E33DA815AB9F0EC01B5624370A560FE7823E4D81944BF6022E9E3C5],[81D2D8FAA01A55CCC99E17854D8AC0B9F2120BE08614A1FF47819EEB8AB45FE16C5F4C98C1884BAD980622FE711AA9D5DA3444DD92C818D541FBF1967D05D27A,608E80CDABA1F0C3220DF0DAA20ABA9B9FD04B605D91C1B2D056F0763FE37EFE557AD95CE4DF2C6A76FE029E5A2269ED77E23DC44DA6E19FF235EB1A1260EAE0]]", |
| "FP4xtrpow" : "[[47E516241294539BD2BC69722AD813A8DBA3E0A09A7F571AED1766B217932BD07C5D650434BE3000FF021DE15BB18F7F454E67C6D79A1FA6F86CFEB3ABA57DFB,D1FE0EE0CC685AD0D8309FF537A947EA50A064D2703B159BF16F1FCA45DF98D049EF84B59E0798A67F3C7B57C42DA419A98BAB7F4A92D096B77657788EBE72FA],[A62A2E432C0567A33454362D1A666F260DACB6BD88556179A3935C092DEF2EC6D6A6BE4A0CBE93DA45B2FA444B5AB61E49CE531EB0FBEE8EC6815F552488B9BE,AD27D546E0632444A087AA60191A3872061BA7FEAD48B9FCAD88FECBE0DEA56F6B172F88FA56D56C72DCCD6F3680CF36F817D2EBD9FF4E256B2967F285FD7834]]", |
| "FP4xtrpow2" : "[[990EED8B137B0B17A557A2C57360CCE607A90772E77DAAA9D62B510C3C6AA72E4E7702CD0E6647A1EDD998A2108AAFD3D1E044374876958639DD7C831222F933,109EF7991A0D4DEC61671E3687AB71B54A03741D246F620FEDFB9A6B062A00BA9657374A2EAD3A2EAE938011395379BB30445CEE84A5BA22A25A243A12C9B639],[417A20FAA202B3F21DD6EACF73B0066FD97E4C8371B4CEBA1EFD1EF3954C374D653ACB740A84E9675CCC076EBF6EE74F32A4B172513774E3FEB89FF1D44D6EAA,159D92BF26EF5698726AF57E7E018250254F588A7C2458950AC70A2A19DB302BFAD0427B79A2819CC1FC4EEC5CD59544B763F755EFD9CF2FC4573043C167D00C]]" |
| }, |
| { |
| "FP41" : "[[8E32EEC7AF61CD3BDA2CCABAB7DBC73CC275B643D0D5D92992614231634201ED73A6A0DD550981BE096339D5BFE0C9A0892B572DF45A5AC5A66E9343468845EC,D1371A53B839C4249C0F9F0525909D9BAAB0CC141ABA5B30B0E0C4746DA4E6579556CBAD330B67CCC7FBC3205A3A5BA1B9E1A9E8B8161A9DA2E0D2D0B9EE93EA],[0BE58AB1BCB16EB60CCFCEDE6FAAD4579F4268F004FADFC61D67D745E9D12258C5EEFC561DF6E7CB87DF9F7BA857D61DB7685F3DB0314AFE9544665836E90B35,44E4050665F37A473FC276D77D8C8FD1CEBA22CE7FDFF27468F6EB040C1ED1B9A79D5B417B1CE3B868F8EF5D461D22EF9301E66EFB7485BCD0C550AD93E4E75C]]", |
| "FP42" : "[[653845B8F573FD883008C1F684606C9B84F03766B03E035BF92F671037A7C45FB2C7766110F5876E75F32B06D72E2CAACB63050C6B8EBD763C6E1294C8B0F7F8,7164FDA694BB4C95A875548009F8419F58784417E66EFAE6E48710B5C15A599B4B673C8F52193892E2CFBCDB497B35451A91C86F3C97E07D13507AF987E0A38B],[60550E788C32231207A3F92D0AFBA49510BCB109A90E5ECCF0850F57579B2A48DFE95FBD870EF4205AEA97A67AD62E93D68E1977DB0ABF0370E533FC68002214,BE7B4A22857DAB749C8A8180E849A99A581F9E4B074B1EBE86EABBA13AD1DF84F73E2EAAB03F46D2574CABD1BA2FB041D134BF019C406C6F8E2BF80F70C8A260]]", |
| "FP121" : "[[445F65B6E886BC24C46B366AB973268E39B2D5D81DEF3A6FA87BD0C78C29C230B50E09D2DC47A61075DB3674DD9092FFC5D8C8F52D0B0DEE478F2A4C8DF879C1,8FF7447C28EC1C8664338DC5209466A601230FCAE7B309C21FC906942A5BDBDE436815FA6BEF3C82591AC2818E9280CB3255DDE0F40450D1D25F65DD7698411B],[26195F971BF7F3F1FE0399F913C0BA82F26FDD6413C20BA6B871E9EE198FC0A26CA538AF8162E0805A5E772CDE3881545BF26636800A4E7FF9DE4A77EADA80E2,92FA0DF01EC62EE04261D75E7E2818E43E53162DB0B0715B2331004FFC122710E5743579CC7A55277CCC98A07CB363ADCCBA603396CBFD5CE75C879A4551BBD6]]", |
| "FP122" : "[[445F65B6E886BC24C46B366AB973268E39B2D5D81DEF3A6FA87BD0C78C29C230B50E09D2DC47A61075DB3674DD9092FFC5D8C8F52D0B0DEE478F2A4C8DF879C1,8FF7447C28EC1C8664338DC5209466A601230FCAE7B309C21FC906942A5BDBDE436815FA6BEF3C82591AC2818E9280CB3255DDE0F40450D1D25F65DD7698411B],[26195F971BF7F3F1FE0399F913C0BA82F26FDD6413C20BA6B871E9EE198FC0A26CA538AF8162E0805A5E772CDE3881545BF26636800A4E7FF9DE4A77EADA80E2,92FA0DF01EC62EE04261D75E7E2818E43E53162DB0B0715B2331004FFC122710E5743579CC7A55277CCC98A07CB363ADCCBA603396CBFD5CE75C879A4551BBD6]]", |
| "FP123" : "[[B20251C1BEDD49B4BA2EB4AC4E8095EE9267499CDE03F29EF6D7A8B0EDB2826B83A38A69BCE3D0C20358F8893C59503FD8CAB903E375EDAFD0A9BC412BED4B5F,AE8761B35A3538384171AC66B6436BDCA313F19CC6DC2FAD76A5AEA1A330DE4171D02BC15E10C81E082CEC807A07904DEBEA532553A050EDE298D7CAC8AEC8B0],[7B429956E9AFC68C8679C28EE3035D9389952A1B5E3896AA4F5B1C198B7C501B30EEECB1B67A00F79C0015BC9E5F7B48E7559183443DCE56B5D3FA769E3AF8D1,1A1DD9A92FF9C8B225D551A0501FCBFBBD8253166DAFFFA2FAF5BFA2CD9DC342596309E402FCBD3EA2873833633BA6A71B5F118B94B6AB974446BAF3690D3B69]]", |
| "FP124" : "[[8327EA99DF6A86FE19514148DBE70614F734F42AD988E0462210672B557E2E90D2F2B32A3214D4F79E67FC40365933528C9CE0A0F03FA895BAB1E3B24EDD4C20,2866E33FA4E3A78A5ABBCB8A82054C1FE104D28E09A232BC0F295526A42E652B5DA6E9191F2D451CA2A8BA5506AB0299C6B41E037B413576A5F56468B0B1BDC0],[ADB1DF1B31F6E45437CD60681D64250EAF3A4819B2A7E0425888FDA3E0D7D0CB52E9818D56D8DF4AC9211BA4B4816984066C103E56C9EBF8162A11929BBB9EA7,CA4DEC0FEFB3743F620D733C59062E0D1DA4AE15E901276E10ECCD634BAE8B105A63D49C5D6B5FCDA73015180CAE0937CFF3F7218361FDA96006E9145F46A236]]", |
| "FP4add" : "[[F36B3480A4D5CAC40A358CB13C3C33D84765EDAA8113DC858B90A9419AE9C64D266E173E65FF092C7F5664DC970EF64B548E5C3A5FE9183BE2DCA5D80F393DE4,429C17FA4CF510BA4484F3852F8EF2BC0163048A285E030FD4ABF1691D4E50AD8F77391DD86607A6C63F1A1CF892210543091C89956196B3014625C11F214842],[6C3A992A48E391C81473C80B7AA678ECAFFF19F9AE093E930DECE69D416C4CA1A5D85C13A505DBEBE2CA3722232E04B18DF678B58B3C0A0206299A549EE92D49,035F4F28EB7125BBDC4CF85865DC4CED2513B577AE5FBE2B2F25C2E4353FC1F94D94BACD7E9D91D1DBB935505529634FD2CC4FA238688DC4AA0620B3E1FF9A89]]", |
| "FP4neg" : "[[71CD1138509E32C425D33545481E25423F50555E07F579DE2E5AA18FAE6EED57DDA02E4157B516FADB292C08EB42A641083EFEA06AF209A20E7C94C5DC25A947,2EC8E5AC47C63BDB63F060FADA694EE357153F8DBE10F7D70FDB1F4CA40C08EDBBF0037179B330EC1C90A2BE50E9143FD788ABE5A73649CA120A553868BF5B49],[F41A754E434E9149F3303121904F18276283A2B1D3D07341A3540C7B27DFCCEC8B57D2C88EC7B0ED5CACC66302CB99C3DA01F690AF1B19691FA6C1B0EBC4E3FE,BB1BFAF99A0C85B8C03D8928826D5CAD330BE8D358EB609357C4F8BD05921D8BA9A973DD31A1B5007B93768165064CF1FE686F5F63D7DEAAE425D75B8EC907D7]]", |
| "FP4sub" : "[[28FAA90EB9EDCFB3AA2408C4337B5AA13D857EDD2097D5CD9931DB212B9A3D8DC0DF2A7C4413FA4F93700ECEE8B29CF5BDC8522188CB9D4F6A0080AE7DD74DF4,5FD21CAD237E778EF39A4A851B985BFC523887FC344B6049CC59B3BEAC4A8CBC49EF8F1DE0F22F39E52C064510BF265C9F4FE1797B7E3A208F9057D7320DF05F],[AB907C39307F4BA4052BD5B164A91C41904BC38834B7D400ED9EABAFA3E6E755374C6BB743A68C6411816DB3D8A5176B72449B943472F062D94A5A64F196D854,8668BAE3E075CED2A337F556953CD2B678609025516026BDA2C81323E2FDE17A01A5FBB5779C359EF638A96A3710E28F53377D3BBE807DB4F78480A745CA342F]]", |
| "FP4conj" : "[[8E32EEC7AF61CD3BDA2CCABAB7DBC73CC275B643D0D5D92992614231634201ED73A6A0DD550981BE096339D5BFE0C9A0892B572DF45A5AC5A66E9343468845EC,D1371A53B839C4249C0F9F0525909D9BAAB0CC141ABA5B30B0E0C4746DA4E6579556CBAD330B67CCC7FBC3205A3A5BA1B9E1A9E8B8161A9DA2E0D2D0B9EE93EA],[F41A754E434E9149F3303121904F18276283A2B1D3D07341A3540C7B27DFCCEC8B57D2C88EC7B0ED5CACC66302CB99C3DA01F690AF1B19691FA6C1B0EBC4E3FE,BB1BFAF99A0C85B8C03D8928826D5CAD330BE8D358EB609357C4F8BD05921D8BA9A973DD31A1B5007B93768165064CF1FE686F5F63D7DEAAE425D75B8EC907D7]]", |
| "FP4nconj" : "[[71CD1138509E32C425D33545481E25423F50555E07F579DE2E5AA18FAE6EED57DDA02E4157B516FADB292C08EB42A641083EFEA06AF209A20E7C94C5DC25A947,2EC8E5AC47C63BDB63F060FADA694EE357153F8DBE10F7D70FDB1F4CA40C08EDBBF0037179B330EC1C90A2BE50E9143FD788ABE5A73649CA120A553868BF5B49],[0BE58AB1BCB16EB60CCFCEDE6FAAD4579F4268F004FADFC61D67D745E9D12258C5EEFC561DF6E7CB87DF9F7BA857D61DB7685F3DB0314AFE9544665836E90B35,44E4050665F37A473FC276D77D8C8FD1CEBA22CE7FDFF27468F6EB040C1ED1B9A79D5B417B1CE3B868F8EF5D461D22EF9301E66EFB7485BCD0C550AD93E4E75C]]", |
| "FP2sc" : "[424C31D627CAF5BEFFD690D3613A01CD5706EBF3E36E902646E52774B298CE83A4A24C5A400917BE178D9F7E51A38F754222F1B76BB187014D3ED69686BDA0BA,EB0061836613BC58CAC1530859D9F0CEC089532A7B4AE7D34F8C55B618813E4D3C34CB7DF8B7A95F0BF540AB8AF828ACA7AEACA1FF495E6F1347E13D6E7F8245]", |
| "FP4pmul" : "[[9B23B047FC8E5A609894BF8AD36A3B7C88D7F997AE29C5EDD23A6C14B576DB133FBF92DC340AA574825DD1822129752FB4692428AFC792A39C428B05A0BD892E,85E0E31734DE6322D7ED1382B8316F41EF8937359CA52D1B06594499AD027E3B91F48CD2729A4CD0F63C72A63C28C2D05B587FC5B6586C445A639EDB2F5A4E6F],[B2DED435C3D9D634C7F63017062B6FCB6A03A5A23D43293F573D3A7985563B88840B4964EDFEBE082BE6E4F8B510F74CCFBC2FEAD32AAA864AF6E80ED311A08B,0D63A6D41EEDDC4C77553F1795EC1D0DAA3DB48DABA9556A51DF2A8A4685D7F52F9773640BF682C2DA18362A437A8477D263D6CAD6CB2473C9B00D72E6A422D0]]", |
| "FP4imul" : "[[1C65DD8F5EC39A77B45995756FBDA1FA832560E5C8E05F4B6406A0A1B4D314959606729BFD546AC32E3A0DCCD49E235F80EC588D8968512397F1FE7D6A629CA5,A26E34A770738849381F3E0A4B274EB8539B8C865CA96359A105A527C998DD69D966C83BB95836E0AB6B206209514761E258FE0310DFD0D390D67D98512F38A1],[17CB15637962DD6C199F9DBCDF55A8AF3E84D1E009F5BF8C3ACFAE8BD3A244B18BDDF8AC3BEDCF970FBF3EF750AFAC3B6ED0BE7B606295FD2A88CCB06DD2166A,89C80A0CCBE6F48E7F84EDAEFB191FA39D74459CFFBFE4E8D1EDD608183DA3734F3AB682F639C770D1F1DEBA8C3A45DF2603CCDDF6E90B79A18AA15B27C9CEB8]]", |
| "FP4sqr" : "[[4C940012D00A141D835095B26D003D9AB9DB8B7FAF8D5CBB41A604F19350B8E6F446D74ED0654EE21D616C8204BBF71BC65D79E76CEB87808310558F48195D73,66CCFD50C0639DC7D715DB6BD57BBAFC2976B506D603B037F55DF1720865D8C6741EDF38CE5F1211DB9FB04D285E33EDA7DE6EC9B30C435C17777786E64398AF],[6B2AD06D2566AC7818CDB715D69FAD4F02B7956A99DFCCAF93E3BFF3014A892B3CD9E255EFAF5016E5BE18E2ECE118E3A8DF0550FB648D7120081CED8ABB7F5F,20DA3D284D08CCFF608183F959A9CC2E475AB88F96DEDB5DAD4FCB0383F6DD2A3312409F3DE5A3F6A9EB5D01FAC12A06C8F2ABE1E92DF4EF935C213A3F712D93]]", |
| "FP4mul" : "[[3D23C1CC61AF4AB9C3C18829E6A898E542835FD20C57DF471EB58655DC1F4EA3EBA6BFD99C183C535F5A659A45818F5CE4115736801561DA64F618CF4D25DFBB,D939000E9D083C9C004D253F3A209999E6465D099C7E1806515921E39AEA55A0DA813C1084070E97037808F3560E97EBEC33A8F123D982ED4AF880ADE6F0044D],[18822C9D16F16ABE86AB31F783DC31C3E7777F4470D4C0544FBFB965B357F38A959774478D76E1DB7EFE1FC5B1EC5D3A2FE9B67A35003381987272A4EA9DC791,D6BCE2970BA54FD32B6D33076C380E8163BA5663F19BB56008E6D681940014817A4F565A6E50FD55763B75F02855418A6D0064A2A790BAEA6078FAC841C6F32E]]", |
| "FP4inv" : "[[126CBBFF9AC06F59260D397E0DBB5A1FE56975A418232488B5BB29640CED44A1F210E874F50851A7E4E4E3639999D39D904842F06A4B1DDF69E55A9F50BC9EEA,4D418874071B06BC9767B80701E042446D464F86CDC251631CEE4676708999A6C0940B4F1B579E4B390F852D6594338A79D83248D0ED99C0ED4AABCE3668C1BD],[2A193804DA9956240E89A1B9F49EFCC16257871D9655FE0E8831AFAED40B158AB2BE42AE2D3B1507668CF03DF468CBC14AF24A9198D56C5397786F61C0E07379,214F90E669B270D6431573498DE7B8F6739E8E1C89FF3482512A80A83D12947C1D6EF0109A4474311E2059DE633CC7556906EAFA5EB9BE5ABABD77663E278F76]]", |
| "FP4mulj" : "[[C70185AB56BDF46ECD0D5806F2183104D24E51C35DE64059752CD002EF633FE46F9870334F989CCC037315FD0D5E230FB5D0CE9D140929A9796A3DB3C5B2130C,50C98FB822A4E8FD4C9245B5ED3764296DFC8BBE84DAD23A865EC249F5EFF4126D8C57979913CB83F0D88ED8EE74F90D4A6A45ACABA5D0BB6609B705CACDF291],[8E32EEC7AF61CD3BDA2CCABAB7DBC73CC275B643D0D5D92992614231634201ED73A6A0DD550981BE096339D5BFE0C9A0892B572DF45A5AC5A66E9343468845EC,D1371A53B839C4249C0F9F0525909D9BAAB0CC141ABA5B30B0E0C4746DA4E6579556CBAD330B67CCC7FBC3205A3A5BA1B9E1A9E8B8161A9DA2E0D2D0B9EE93EA]]", |
| "BIGsc1" : "025770C7F6ED6FCD95C1CD890F44E2BFD90D9227CFDD8FA0E5ACD4BEDAFCCD6B4CB25B0F5F13B7E7E63836D8C69886135652EAF5891A90BEFEF420AC1C92EC40", |
| "BIGsc2" : "1B", |
| "FP4pow" : "[[9B1A83AA9141D97649C00B7535A571B2CE200B80063D9C2E9F12EFD86489D5112D9DAAA40E05BC6BACC02B51B337CBB98CA01E1091F14989A2DB4716F93703BB,28A90074BA6D308755B02212F23C4CF55E1347AA26A47F699EFDF27130BD987950FCEBF6D84274509DC113EB0551248FF0C262C81C41F85BCFFF70F340B0555F],[F9526266B07DD1B3BB4A0EC8F5DD80698947D4629778C6C14AF41F07283A67B196C9F57A4619E24D2C78C8A22624C8B422E5D4C4041841F3BE105F5CA2F8DA81,D4A6B8A4DF5430E729D63E50435AB97C050AF1D504CFFA907E142704EC97237A4DFC9F78262B3AD8BE3FC604D4E65B8D8EC7759E719F154FF47C5C54A7C96913]]", |
| "FP4frob" : "[[8E32EEC7AF61CD3BDA2CCABAB7DBC73CC275B643D0D5D92992614231634201ED73A6A0DD550981BE096339D5BFE0C9A0892B572DF45A5AC5A66E9343468845EC,2EC8E5AC47C63BDB63F060FADA694EE357153F8DBE10F7D70FDB1F4CA40C08EDBBF0037179B330EC1C90A2BE50E9143FD788ABE5A73649CA120A553868BF5B49],[5828A5941DF026C4351AEB48F16E8DF321DA4970C4E388A0E9284E59F2C489ACA4ADF52237D072C88CF4D718BB5BBAA748FD192D4B01D94C0232A7F38137EAC4,4488C75AED76F6FDBE54C1E6F0D3DD21D7134F6A0860ECDA9F14B95910C5C95F052EFF5692566C526F39493133D12723733FE090FAE5E4C3E9FB3B96B965F049]]", |
| "FP4xtrA" : "[[7BA644382E532BF84B840208C339D499E443D7D9E4B5715EEB9D10846EF992870CF914A7F608FBF07D7897D60F2D3893E4472D6BC1FEDD13BD44B27C8914CE07,C34F812F9184F292C42C5A5C2359B01B90B6FC2A3C5CB290FA5AD05E6C54E6FADE7C803A945022DD636C927E632BB4E4263782CCA12EE42B70318AE63E460C83],[5BE4A878651626905394B234E278726D7BD1D129105EB94A3E406933CD461ADBDB81DA2CCB82120994CD88B8530AD1BDC743F47B8DFAD98567941423052E0C7F,65645C66806534C88E40457868F4BAEFF5170A13B7EE869CD197E7B61EA91EC33FDC71800F83798462DE3E874AF8DB8404283C0769E3409A091981756AD583DC]]", |
| "FP4xtrD" : "[[302E2283714679A5CEF7003CFD429BA036B62A99E6ACFD6FDD9F644FDE7DA4515E4064B2D310E41EEF275EB5301DD3BC45712159E383365CEB1E5711DDB6C0CE,C45EC8A94FF0157E9EF69D618A4E58C2D7A1342252259FE61514300B507DEAA1EBFEE61BC1C573EA14C0F5C9CA305C6D56EFC6950178D6F03B8C21F7B7C24F41],[82F5E5D09EC989E4326D54D2B5F555FE413C674AA3D58C3BCEB36E7ED4ECCDDCC8B7DB022B9D1FADF57D57DA3D90C51F17AFC3CC5BC7236E4A90E99DF88D95C9,AAA2473518EFC18DE00671A854C2EBD1E4CEFE2C969EC0467F3DA10B9C34809D824CF722341F6B677BDD3BBC86FB6FE5EEF678BFE017006934E6C295673AFC4B]]", |
| "FP4xtrpow" : "[[ACE9DC1D7645D2E6C91C05C3AEE7DC2F968BD8AEE752EFE6DB8983C38370BD946A9985AC36D6D0C23DCC9D300C1DBFB4F0B50D27246673B69148D2A1AA086447,03BCD8961174E05DCF087977A086E30840F1EC421D3C78DE0B3386038BDF870464DDCB906ACE951986FBB165214D4F6D00220E78EAD165F11DCD5C64AF3559F8],[9F566B0711CD63000A81C76C10EC83BF99BE4CC7C11855B1D489BFC4611707BE4DD6914BBC6E973C77680475915318EA43FDA2418F70DBE90F20795433761DD1,67DCD21F5C93467B955D20B1C0F2B88DFFB7D27C0BBE1ED77CE22D2ADF8B9EFB885A0FF5AC272F7767845B26E4FFF959D1A00E24EC07DEB39113D53DCBB2610F]]", |
| "FP4xtrpow2" : "[[A78F6052CF8DE040DC65D40515160DBF1B11F93E2D4E9561C697802B8CC0D77C08D6D9C20D2D6BC0489381D59D18384345FAB8C6316D04658141446D5D541DD2,5389702A4912410072FD4461A21C72E28A327F964A1003304F716C09EB90CB0DABD67966718959E512B54CFD41BEF6B87E4A88AC51CBF2B900267936D13C8E9D],[DE7A3679301C9554B807E068ABB58A4E9D7BD6CDCF8608F7AD16F8C9A2154EA533106D1F4B8608042373A833BC0A096CE8BD096609D4D3AD2D7F3A4C09B5A19A,DD83B03C1EB51801E6A5FC1EC0F88BBCA37CA3F62B3D266AE7165E23AB431473BC732DA8B3C94770BF254B69C82D43C1F48E0982AAB182D3FA0261D5B89F21B1]]" |
| }, |
| { |
| "FP41" : "[[2234FDF5309F87B631CB66AB26A27160B703CE50EECC6B066A8BAD70DDB787BFD4EE0A6F1349EC438EB873CD45DE6B6D7FF6B0FDADFD137C72F1EAD4D5CDA495,E6FF5FABAF4FFC35C0206368C0229D4FFFCA0B849499706806D3EF9BCCC5126EF70643F4110F7AE7D363CA71BE97FA3D58AD3D3D006FBF849B0A158F3E4B1E6D],[82ED93C75FB48EECA53D560C752AA3E26AE6F6B091A19250F95D03196F2F079768A6CAFCDA0BC77094A3B7205D92A9CE12B700CD8B3E66B89CFD30CEB259143B,9D3F990A41425A73B3A064785B8309E8FD12F89A56A7DC5EF7971CA71600CF310166789915B5E4B4694B7249668DDD94CC2BFD20DDF127C682217587AA1E6B78]]", |
| "FP42" : "[[B54A7C87EB4313DD86A55087957BC27786F5E6495CD6661284FB77C0C57543A2DD0F792B9C5535EB23FA9DBCC6E8C97DA307F278E0B6F4EA7BAFABCCF8AF0216,AE7FE09899B1B34CD87519898171B42C1D6EC1F91DF93AED856A1E3C7B8B30CA581C0DA935239E82D8A48CB306E514A4CCD5C38EE9787424C167A8F66B5BB3D3],[23F0318A51278BCBA38382767FB291011799B642BE494DA542C014DA1436923EF7C0D105BDC37CF0E26823E667DE502B51E4976E2034D043C771BFCA8A899901,3CCF427DD75465639532DCF95E6DB38EE8AB13CB4B7E5C1F39ED69754567B41083723AAE9A0D88142B7E200ADD8847F68FFE1EBB6589A1F1521C949E9377AB20]]", |
| "FP121" : "[[AC85456C73E898B175441945CF60288B8A5B49AAB29FB44A612D528D3A8D19AA2B8C08D87C7C35517A20D091D1C46B7675D2F1DC28FAFF32D679D8E9AE0F64CF,C00D11B2432E457CA0E41E0DEE344F4065CC54822EADC31EEACA7E680444813DF2EF40421E50312F122B76E797CBB42B9255500630C5F4C284333E7B7556ECCE],[23D180E8D827DBBCF9C0063A6D20B92CB4C85ABEFFE978DEAC9AC3E6C38874030E8B17E39C68B9ABE5505F9EF295532223E8C9921C4B1E4124CBE16D56A5A57A,1110E1771CA2772FACBCD63893DDDA970DF990335B644ED28D11580ADAE98A9CBDE87A9E975EF4B1DB34625C634AD94B75F98771E18A36BC0F6F241EABF9938E]]", |
| "FP122" : "[[AC85456C73E898B175441945CF60288B8A5B49AAB29FB44A612D528D3A8D19AA2B8C08D87C7C35517A20D091D1C46B7675D2F1DC28FAFF32D679D8E9AE0F64CF,C00D11B2432E457CA0E41E0DEE344F4065CC54822EADC31EEACA7E680444813DF2EF40421E50312F122B76E797CBB42B9255500630C5F4C284333E7B7556ECCE],[23D180E8D827DBBCF9C0063A6D20B92CB4C85ABEFFE978DEAC9AC3E6C38874030E8B17E39C68B9ABE5505F9EF295532223E8C9921C4B1E4124CBE16D56A5A57A,1110E1771CA2772FACBCD63893DDDA970DF990335B644ED28D11580ADAE98A9CBDE87A9E975EF4B1DB34625C634AD94B75F98771E18A36BC0F6F241EABF9938E]]", |
| "FP123" : "[[5AD6077BD3355FC409BABFCF5612A7BF9EA4154D56F03D09715D0BF9A0012BEE01347C19D6202045E4446CD95F424DE95F64916CDEE1A8725642B10F46C602DF,83589AF7E49F1FF7A42715F55168EC9DBEB8B5DC75BF365EE96109254CF319F57675D75251466AF3F942FE4AA417165D59511769929FDF505CAD57EDC17207E6],[2262FA5F450C9930E0E6F3BC655C9FDE5BF229342D376FC7CD88E80F68B30438798C5385EEEE15231613048DAF80850BFDDA03DC8EB337D92786473763A6537E,B58A8BD2446A589CD624A677803C4D4B7FC1D6A2D1309A6A22BDB5CFAA90C28133BC0B6D43F100E281D36E2075DE962FFACCA4F70C9A9AECCC9DB4576820DF8A]]", |
| "FP124" : "[[3CB97A80A8083A025DA4EA3AB78199F7BABA17D2DB52CCD0A9AD812E270A4F0D9DEF83064523DC516AD29D79B571ACBD57BA33BFB09DA56D12BEE90440E49F2B,251F7AB350F3D700B73BEA74AA6B06D219136E531ED86648224EA311B62E2438954946473D18C12114804F51D64D867C520B869ABDDBED673C6A3452A4F423CC],[9F98E59E3356146F5D2F6E668B62F484634532D9712D0018F3A71BDECB5C7A6DE76049F673B76C7EA66DDA13BD4FE3FA7580B5CE2F8CEB7BEBFDFEBA5432416A,8275FAFA22EB2E2720C935C1F33D504AF54A95E5503B533042B5FB65764AFD60D52F3B7600F472D8CEB614EF3A44B225A2A61ABEBD4524DC879EA5BCCA96CA34]]", |
| "FP4add" : "[[D77F7A7D1BE29B93B870B732BC1E33D83DF9B49A4BA2D118EF872531A32CCB62B1FD839AAF9F222EB2B3118A0CC734EB22FEA3768EB40866EEA196A1CE7CA6AB,957F40444901AF8298957CF2419A64FD1B72C1DBD9C7584DCB822A17369F53F3FDDB827E997480B1C77BF1461A599F009418AAFD8A9BCF41A786967C86F8E30D],[A6DDC551B0DC1AB848C0D882F4DD34E38280ACF34FEADFF63C1D17F3836599D660679C0297CF4461770BDB06C570F9F9649B983BAB7336FC646EF0993CE2AD3C,DA0EDB881896BFD748D34171B9F0BD77E5BE0C65A226387E3184861C5B68834184D8B347AFC36CC894C992544416258B5C2A1BDC437AC9B7D43E0A263D961698]]", |
| "FP4neg" : "[[DDCB020ACF607849CE349954D9577B1E4AC23D50E9FEE8015630365033F967857C58C4AF9974AC7555D3F211654504741173A4D0B14F50EB41F93D344CE04A9E,1900A05450B003CA3FDF9C973FD74F2F01FC001D4431E29FB9E7F42544EBDCD65A408B2A9BAF1DD111289B6CEC8B75A438BD18915EDCA4E319E11279E462D0C6],[7D126C38A04B71135AC2A9F38ACF489C96DF14F14729C0B6C75EE0A7A281E7ADE8A00421D2B2D1484FE8AEBE4D90C6137EB35500D40DFDAF17EDF73A7054DAF8,62C066F5BEBDA58C4C5F9B87A476E29604B31307822376A8C924C719FBB020144FE056859708B4047B40F3954495924CC53E58AD815B3CA132C9B281788F83BB]]", |
| "FP4sub" : "[[6CEA816D455C73D8AB26162391209B6831D3F3A96AC157FBA64C197129F333624925606223B34F114F4A3BEF2A1911D16E5914532C9282F9AC2D6710FFCC91B2,387F7F13159E48E8E7AB49DF3EB0E923E25B498B76A0357A8169D15F5139E1A49EEA364ADBEBDC64FABF3DBEB7B2E5988BD779AE16F74B5FD9A26C98D2EF6A9A],[5EFD623D0E8D032101B9D395F57812E1534D406DD35844ABB69CEE3F5AF8755870E5F9F71C484A7FB23B9339F5B459A2C0D2695F6B099674D58B710427CF7B3A,6070568C69EDF5101E6D877EFD15565A1467E4CF0B29803FBDA9B331D0991B207DF43DEA7BA85CA03DCD523E8905959E3C2DDE65786785D53004E0E916A6C058]]", |
| "FP4conj" : "[[2234FDF5309F87B631CB66AB26A27160B703CE50EECC6B066A8BAD70DDB787BFD4EE0A6F1349EC438EB873CD45DE6B6D7FF6B0FDADFD137C72F1EAD4D5CDA495,E6FF5FABAF4FFC35C0206368C0229D4FFFCA0B849499706806D3EF9BCCC5126EF70643F4110F7AE7D363CA71BE97FA3D58AD3D3D006FBF849B0A158F3E4B1E6D],[7D126C38A04B71135AC2A9F38ACF489C96DF14F14729C0B6C75EE0A7A281E7ADE8A00421D2B2D1484FE8AEBE4D90C6137EB35500D40DFDAF17EDF73A7054DAF8,62C066F5BEBDA58C4C5F9B87A476E29604B31307822376A8C924C719FBB020144FE056859708B4047B40F3954495924CC53E58AD815B3CA132C9B281788F83BB]]", |
| "FP4nconj" : "[[DDCB020ACF607849CE349954D9577B1E4AC23D50E9FEE8015630365033F967857C58C4AF9974AC7555D3F211654504741173A4D0B14F50EB41F93D344CE04A9E,1900A05450B003CA3FDF9C973FD74F2F01FC001D4431E29FB9E7F42544EBDCD65A408B2A9BAF1DD111289B6CEC8B75A438BD18915EDCA4E319E11279E462D0C6],[82ED93C75FB48EECA53D560C752AA3E26AE6F6B091A19250F95D03196F2F079768A6CAFCDA0BC77094A3B7205D92A9CE12B700CD8B3E66B89CFD30CEB259143B,9D3F990A41425A73B3A064785B8309E8FD12F89A56A7DC5EF7971CA71600CF310166789915B5E4B4694B7249668DDD94CC2BFD20DDF127C682217587AA1E6B78]]", |
| "FP2sc" : "[6B6EDCC35E16521B5C0BB47E2485434152FA4900423DFCEF3D1B4AF3E67A0AA6FAE14D2D57DBC8F4B847453E341CF6179097643F0A2BDB0F5C7AB2BD23479725,FED955A47598CDA7B00426CE0460C059A7CE947167DDC33DDD38F969AA0016D6A2B0BC844C569106F2A3E7789B53D08DBBA0DF7F467DD970593383950BA53FDF]", |
| "FP4pmul" : "[[13C577528EED0A562F64C392393EFF5153DFA04045A13B3061B664357AD2BEF1DDDF7E18C237E1B6D037F80B8B8879EEFE97AE54A86A7C92C59C1B1D833A52D6,8048B5DC27397C95022C0216E877D4C0295939E77AEED7CFEF309F83A5DC791BAEAB6FE9C2C26403EAD27D37E782E998528295F4E0754C5AD6F0A68778D2539B],[EE7B41D202427B454BB47828B064337C365223D3C2F310AFE1EF3127BBA183119B6AAAE62B03A7727DB80E3EF75278161F67724676788D3A955BBD864B4DEF32,2DACF19D2D3347566832B1BAC87E8E2ABC6774FF10BEF182B8A6DFB5D5BCB2583DAAAAD2F7C81402873C872D4FADC65AAEBA476A78937DFA2B88C1BC9A64D112]]", |
| "FP4imul" : "[[669EF9DF91DE97229562340173E75422250B6AF2CC6541133FA308529926973F7ECA1F4D39DDC4CAAC295B67D19B42487FE412F909F73A7558D5C07E8168EDBF,B4FE1F030DEFF4A140612A3A4073FEF1FBD20B4A0C35AB289304075142ED58C242852D9ED9B13F45B1129397E5810EF4E7330C1A42B675BE6747F09B75857CE1],[88C8BB561F1DACC5EFB802255F85FF283EEED86FDC1963EB2B5B258B3BDC2780E8AD91D7E164BD98D95EBF826D948D88A6BAAC9A426ECFC2220C6A62F45D4D7E,D7BECB1EC3C70F5B1AE12D69128F313BF572DE2D2B2C42152609723430517E4DB2EC9AAC946315645755F0FD888628DCD319A1943A8712EBD179388DDBAD5335]]", |
| "FP4sqr" : "[[6B16FC1EA09252026F76FC93146CC8F50BDA943EBECCFACD821687E524BC1FB7ED4F6540B98AC0337F50A9F7B7EDAF21037F7C1EFEE9234E33DA52EAE8E7F80B,3071A13B1EE9844A92E62BA78F284DB5351D8631C4F2FCA97C8F876506F34DBC77A03330D94F7BB2A2043228209028991065617BD0CA3BD1949DAFCC4D263FFF],[73807FFE7D9BDFF3CCE8028F11C64EA8913495D3FA30823F6A3F4B4AE1D4CB0C5163334CB56A4E01723BE00D8100A2E3FF1AAD77496DB8AC7BDDDEC044C4BC17,2A5B99FDBE8788D27D67A401045987DF40187D498E4919BAD35D630C7C9764F6F5D27F084C1B452953529A4E4A021F0C6B7ABA55C2DC5B1EC6F5D2B62693FC1D]]", |
| "FP4mul" : "[[BC4174E3192DBA3C7393918298FE5D7A167F9663FBC2DF199E9400CF86ACBD2BEE99FF07C299F0664B62248C7FB09BA0D3BE487F4F0938FFD2845FC77327C705,DF4E0B76D347EB8143133187B3EB291BC09F1D7F2A932AFAC0170B39667C3A15DEFAFBE8664D9B949B25B79B2899896D5BDCC849E1866609987722B0EAE45377],[0659109B20A2EB39707AB5C9274974E493BCDD1E997D1F98435DE237FD18C8C3381366EE92480BF891C509D422E567D96841BAA9186E6FD75C460714E8387E4D,C37CF8B141BCDC27AD9FFEE639C12D431CB5E9FD4AADA7A8C69D7E8A5EAA285D7A187ED68A58803066782494A0ECCF976D2115F24180911BFD421107213392B5]]", |
| "FP4inv" : "[[16E3B1CA86FD07813FDE64A06F1ABDCCDC78522A4434B588DB8C9244322F33F3762B5F22AFB7870E60D49F3E15FB6852DF8E768E360109B22AA04B904FB6BC37,061C0F7220B2E3F6FC9F01D9D36F6D190294AE4876A3F5AB59E44035A6D81A83F8A85DF561B94A9C5A09B91CDD6A8DF04C11AFEF4C0A7313BC7EB80F5B1D84B0],[C5BC3392D931E5AD68F7B27714547697BDCC1C83C6BB780CA9D53D981109312A7795862F7D31BF9E8A9F675151167C1257A4E5FD8529F8F98828D82A81CADC33,BA74085ADAEEEFCEDF14B54A941A0DFD8293822EBC010391EC99E68E68C8AB7429112ED0AECB87C3179C9F8C4C2DB3694036815B31622A2477B2806BC9A0D208]]", |
| "FP4mulj" : "[[E5ADFABD1E723478F19CF19419A186786F9A09B813C508F9C281CA336ADF27ABB887218271147B750FE4AAB5A2283C1AD7F5597B0C99A359CFC6E3502AE897F6,202D2CD1A0F6E96058DDBA84D0B3C14C6633E3A90F7E1BA830383BFF737EE78318C674774303136C1962C38B18FD17814D78A82009E32A176A337E4D39C99080],[2234FDF5309F87B631CB66AB26A27160B703CE50EECC6B066A8BAD70DDB787BFD4EE0A6F1349EC438EB873CD45DE6B6D7FF6B0FDADFD137C72F1EAD4D5CDA495,E6FF5FABAF4FFC35C0206368C0229D4FFFCA0B849499706806D3EF9BCCC5126EF70643F4110F7AE7D363CA71BE97FA3D58AD3D3D006FBF849B0A158F3E4B1E6D]]", |
| "BIGsc1" : "06DF9707B4FE9ACBCEFCDCFE69827EB9B10C13DD4D744322F9144F450C6A084454302C8A3F95235C51E9DE610F5C054BF18186A3D1E8CC1B297914BDD2C0B433", |
| "BIGsc2" : "19", |
| "FP4pow" : "[[34EBD6B0D0F8833F2C27079E248B6247F3F9FC06DFD657C46688C205BDF519DE88C72109193500F628B9CD264A085ED7722CB1848E59867E617EFE45EA6D9B9A,E1F59CA539C7C05391BE690198FB79D45C03E5C5559405B16920826E4486AC7F85379735F2F7CA8FC429ACBC543D236FF2A4B0F400858238791EDB0CE1B81A03],[1CBD4C9F9CDF6FECACDBF27050FFFCFE1C5CEC6AB314D3FAC301239BCCC639A5443CB53307DEB84B90DE74E4BA8C9A743D59A02A17D7795F77BA1C18C2875CE5,22ACA1DA5669288EC81208A5E2822F75B240DB6444D2DCF78FF856C6D57DA12770EE368B345DED3AEEF3F84FA6FBD2656EF549B02D09F8CC8026B02BE20BBFFD]]", |
| "FP4frob" : "[[2234FDF5309F87B631CB66AB26A27160B703CE50EECC6B066A8BAD70DDB787BFD4EE0A6F1349EC438EB873CD45DE6B6D7FF6B0FDADFD137C72F1EAD4D5CDA495,1900A05450B003CA3FDF9C973FD74F2F01FC001D4431E29FB9E7F42544EBDCD65A408B2A9BAF1DD111289B6CEC8B75A438BD18915EDCA4E319E11279E462D0C6],[1BC728E9639C75F4FDEFC782CD08CC07DA915A45A5FF4B9331CB30475F98BA14BDA209487DB9F3EC12DF722B75BDF38BE568AC599C1E562B042EA557104CECC6,B9B02887DD724FDA0F610C193AEB78F13673560C8486F16DA015ED060266C491788733B7969E22AA0391BC43E820AD0AAE1878F7D9BB3FFB050FC2348145B658]]", |
| "FP4xtrA" : "[[3C105ED17FB867813986A295564C36F8E41A59BB5C9D35D07945434A964E2E58758F6E39419CF14DF1CD000A6912195A050403156855A88CA00354F236406006,D083E464E8AC2689A2C3F1AD97F9896989A507C91793D48049C95761FF1BB329744EEDFA41DA2BF9D9D751777815D4C5558660758B86A077BB110C7C7FB70C93],[464EC5CA1AC8E38C0154B3BD503161C0BACBB74A3511737AE66B572EAB912347F962E290BCA1A415C7CE06D960A16EA1B48C8646F47CFF12CB891C8EEACD07DA,17977724F9DFA1344127C24B7577EE0A5C845F92F839A6BB448FC38473FDE16200D3E42FB029E0C50BE1319CDCA39D7AEA164BDAB2C4283FAC77DEA4E8A3D8AD]]", |
| "FP4xtrD" : "[[26AD00343F5342960BE02F3CC727E6339DD2F79CE13424C0ACFF2D03694D10384373506292F6E7AC61DFC25D2C30D84603921A23A2EEFC554DF67D413D4CAEE1,6272E1E3C0498BDF12A564D60ED6EC133915866C4D56C1E8F05F6FAF90CB07692C21498610ADB754C4556901F9A713E181DF929E8E838597C85FD4C015EBE18B],[795BA78D3D04FDCD1762AEA7FC21A9EE653C779344A853D99C3D6DBCAE81EAF5D169FA27BCC34429B6F6E86F9102869E931E5944009E21B600ED185486C8F55A,64DACC12410C3DB9E4A86CF1BB65AF32387862DC62CD7F7101CFB89996E81413A758A11BCAC875D9415D19026BFA6A5472685EC91F724644164D95BC5822E3DA]]", |
| "FP4xtrpow" : "[[2560BD3B2BE5E43D825C7F14B51A13276305FF1F9DE79C7FF7B28E9E2D761905AE5D105447CEF5C89A58244F5E94076EAE987BDF4AA027220031A1FE8FF327C0,99BAA416C33C989512766333D81EAC41D71D6ACB86E075E880B18C6A298192DC6856C5238957D42410633683EE4D09EA6BA658DB18A7EB130A6A5176D16F1DD9],[07EE9A74203E8F482B8F82EBA60E8EDF6179A746DA9B13463F08F2F1CB10E9FAF05CBBBA473A0CB58BE153BFA1BF4851C707F3EE23923D7241E7B670DA203ED6,C19D1F2E356FDD07EA9122D2C9D5F5298F8AC587AA808D1694F175954609CC8C3CC89C178C1CDC776B217BB9BFF7F1D4E6FF9B671BD992B6BE9FA1C5F1A71A21]]", |
| "FP4xtrpow2" : "[[974097E2636B4AB3777FBACA53FBC6E0092D34875F2C32C01DA241C95FCD3B2AC314A06E6A3F3FFCCF9BAE575A0E6EB5A89675D679E5158C138F652832B12F9F,CD8F32CDAB8FDE04C07747C5DE24DFF2D4A3D54E2B4F75F97B75A14F073EDB4F1D6E6CA6715174EA945511963B2EF307ED0B5EF8F4F408D1A9749571D5FC1CCE],[181B731BFEF34648A57B32F31859646316B27CA957639F18E408BD86A535804C88BC42FDB55DEF440BBC63DAC33B1056550DCB805AE7C074EE4493A3039DC77A,33CA0580069DD0512C0803EB4C0CB4DBF8895E288B1D280566BE9DCFDAD1E53556FA3ABFCFDCF9868D9EE1160E837E69C59132175B3663EC56DBEBCA40026547]]" |
| }, |
| { |
| "FP41" : "[[C06D6A39F380A757D0E15ED2098B9DDDD1BB36CA215F10082BE07DC513BC4E2418C166FDC578712C97525F35586D0ED85393145668FB7D8F3E11A0898357470C,1015DFA334D474C93D487880A10E676AD5A3FAC03BB74FF1368FDF47BA5A1BA9105DAC5D09DEDC0728A2AC8FEE6F3B680273F2F9E388751384409C62FE1AF57D],[3E98F17A7B2E82FC6DA0957CF10BECD3D722D4A5F8C2E8FE6B383166C8678693C4AAD486D0EE0BA140759ECD7BDCAF26D4F15ADAA547B31A0548D9A2353AFB76,7C9AB19A982B18A2C5D94098A815CF6184253FB991F26EADCF3259E2E4E376783E235044F876E83BAA03F5D7EAAC9D3E3DC60AEF899191E9C85016D950F651DD]]", |
| "FP42" : "[[328C19485AE2D20D92CA1EBE4BACD367B9F278ADD8941F101B0F6EB2450170E7171D13160DE9F9180AB4A2A839BFF39C8648F79A90BB3D04142F21A19D6DBC4D,2E47F1978FAD6FFE1AF22387083020446C09079AB43DB39FD7AB8B6E52A9890B9FD3FA9DB1AFACCC89B7A0E31B628CC480D4782F989F46577E35960430B79BAB],[F38867F37D2AF4C9D16ACB79580B6794414AF0968598ABB63CCCD79A49BC7862A42917FD8824C7DF34B135A1120BE947DD0BE71F21F0004DF02305B494F47CA2,EAB6669B7CAEF0AF2713D46DABE7878EEA4FCA7C521AF14212448B0714CAD2D35ED59A19DA06E41491453F6C85B874C107990DFA2BB82F845DD1A859E7397E91]]", |
| "FP121" : "[[AF48EFDD8C4446ACBB105CD95A943CB083A1AA559A9BAAAA3B33AC52779A1A31AF98339EBBC04B7D1EA3DE6E95B11567B7714ADAB4A06BCDF365521474C69BB8,D3B0313ED80765DD148113621A09C08F374F0F58A7B8BE9549083AB24493253AED10002966E62DC592F62990466D8A73EDD71CAAC9D55CA240890754B9F510E8],[E34504E97D882C5AD7DFC115262AEE63DA5BD4D47F317025976EE4E689076CB059D2A5543CAD501B35E16CD457580D64276ED46D328339D64627D9F382FC13EF,723D71A38ECE9BB554E594A74B47575127CA100E3080F957337CDDC38F84D0B3F8105BA0EE93F423671E690A24B4FD10F096EBCDF5FC8B8753C4EB6848315D80]]", |
| "FP122" : "[[AF48EFDD8C4446ACBB105CD95A943CB083A1AA559A9BAAAA3B33AC52779A1A31AF98339EBBC04B7D1EA3DE6E95B11567B7714ADAB4A06BCDF365521474C69BB8,D3B0313ED80765DD148113621A09C08F374F0F58A7B8BE9549083AB24493253AED10002966E62DC592F62990466D8A73EDD71CAAC9D55CA240890754B9F510E8],[E34504E97D882C5AD7DFC115262AEE63DA5BD4D47F317025976EE4E689076CB059D2A5543CAD501B35E16CD457580D64276ED46D328339D64627D9F382FC13EF,723D71A38ECE9BB554E594A74B47575127CA100E3080F957337CDDC38F84D0B3F8105BA0EE93F423671E690A24B4FD10F096EBCDF5FC8B8753C4EB6848315D80]]", |
| "FP123" : "[[FE8E7C7BD0B2F339C013E596DABA46568E0ECB50A7D9168B4B93EFDB5FE59C210378F7F4F023401320A91DDF264B87AF1D02AD97095635C7E4CA6A2E821C38CC,1C1773ED9F2B59927560B83826E945ADAC6EA0A6A8D2E2CFABDF622F75089988DBE5423CDDF9DBF6D2957B88F73A1DA31D1B41859A530B8C338E39BC44EA9E7D],[89CA522600C0796A347E10D052D4BA5E271589899979450A036429479998E0FA1EAD82AD34763DE70DEA8DE4F42A7ABE00E565BB8B5A2EB4BA107B48BBDFB29B,DE1916C7158F5461DB90012B9E4008D16F082BC29E9454931797DA7A633E5D543BD78B5AF370B336CFC5AC9F5DAA4225070AFDBD9A2C00DBC15C6BAE81D68420]]", |
| "FP124" : "[[0AB62CF42D96F419D06AE3066AF7267D35F2625F4A1E856A2FCDD64E625B286A09816CBF3F3DB0B901D5ED6212A5DD06E97E284285D5A5D18E9F1FDD6B92D3CA,57A0262F7DEDF0C42431B29B27C28F64C0BC8BC253B6B884C75486E48448FCF786DD7BA3FBD5DAF37C4B53032866AF54107BA5E4F8ACB218DE0829A5063B84E6],[ED8B1120BCFFD0389B8FF93BAB8423EDE97867EBB943EA6DF9A8EC950E3C89CB38DB4519842E063BD6710A891EAA15DF8B14EF19EDBF8D4D63D16266B4522432,FE5886EFA62EBEB7309FB0C0899F11F2F9D9C8681C82145AD393EB99E52F368058070F441C47990861E28B9DC23F8D854F407B02EC0BF6D5929893FA4AA562AD]]", |
| "FP4add" : "[[F2F983824E63796563AB7D90553871458BADAF77F9F32F1846EFEC7758BDBF0B2FDE7A13D3626A44A20701DD922D0274D9DC0BF0F9B6BA935240C22B20C50359,3E5DD13AC481E4C7583A9C07A93E87AF41AD025AEFF503910E3B6AB60D03A4B4B031A6FABB8E88D3B25A4D7309D1C82C83486B297C27BB6B027632672ED29128],[3221596DF85977C63F0B60F6491D67E916A7B99AA59041ACE749254000730FB1178D1D65AC543AC7909A6E8FE2C5288D2092EC2B67EB4F004080B74DA78188E5,6751183614DA0951ECED150654036A716CAEFE940B420CE820BB0128E7FD5A064BB21B4025BF339756BCCF65C541A21DB3F4C31B55FD5D067136972A1581E13B]]", |
| "FP4neg" : "[[3F9295C60C7F58A82F1EA12DF66E4EA1300AD4D7B76C42FF94DB65FBFDF4A12138856820E746278C4D3A06A952B661093DD74177F650E6D876D9877F9F56A827,EFEA205CCB2B8B36C2B7877F5EEB85142C2210E19D1403168A2C04795756D39C40E922C1A2DFBCB1BBE9B94EBCB434798EF662D47BC3EF5430AA8BA62492F9B6],[C1670E8584D17D03925F6A830EEDFFAB2AA336FBE0086A095583B25A494968B18C9BFA97DBD08D17A416C7112F46C0BABC78FAF3BA04B14DAFA24E66ED72F3BD,83654E6567D4E75D3A26BF6757E41D1D7DA0CBE846D8E459F18989DE2CCD78CD13237ED9B447B07D3A887006C076D2A353A44ADED5BAD27DEC9B112FD1B79D56]]", |
| "FP4sub" : "[[8DE150F1989DD54A3E174013BDDECA7617C8BE1C48CAF0F810D10F12CEBADD3D01A453E7B78E78148C9DBC8D1EAD1B3BCD4A1CBBD840408B29E27EE7E5E98ABF,E1CDEE0BA52704CB225654F998D833A56B60FEC76044EF591FA0379A796181E2C1D080DE04EDC7F38377718B7E301E851309D098AA359323BAF62E67F0114905],[4B108986FE038E329C35CA0398FA71BE979DEFB14BF5904FEF273D8D905BFD7671C88BA7F587DC7AF050CF0B14F435C0894FC989E2A41733CA10FBF6C2F46E07,91E44AFF1B7C27F39EC56C2AFC2834519B9B80DF18A2D0737DA9B29CE1C992EA30948549CB2E9CDFFD4B1C4A1017985EC79752C3BD25C6CD1F6996888C6AC27F]]", |
| "FP4conj" : "[[C06D6A39F380A757D0E15ED2098B9DDDD1BB36CA215F10082BE07DC513BC4E2418C166FDC578712C97525F35586D0ED85393145668FB7D8F3E11A0898357470C,1015DFA334D474C93D487880A10E676AD5A3FAC03BB74FF1368FDF47BA5A1BA9105DAC5D09DEDC0728A2AC8FEE6F3B680273F2F9E388751384409C62FE1AF57D],[C1670E8584D17D03925F6A830EEDFFAB2AA336FBE0086A095583B25A494968B18C9BFA97DBD08D17A416C7112F46C0BABC78FAF3BA04B14DAFA24E66ED72F3BD,83654E6567D4E75D3A26BF6757E41D1D7DA0CBE846D8E459F18989DE2CCD78CD13237ED9B447B07D3A887006C076D2A353A44ADED5BAD27DEC9B112FD1B79D56]]", |
| "FP4nconj" : "[[3F9295C60C7F58A82F1EA12DF66E4EA1300AD4D7B76C42FF94DB65FBFDF4A12138856820E746278C4D3A06A952B661093DD74177F650E6D876D9877F9F56A827,EFEA205CCB2B8B36C2B7877F5EEB85142C2210E19D1403168A2C04795756D39C40E922C1A2DFBCB1BBE9B94EBCB434798EF662D47BC3EF5430AA8BA62492F9B6],[3E98F17A7B2E82FC6DA0957CF10BECD3D722D4A5F8C2E8FE6B383166C8678693C4AAD486D0EE0BA140759ECD7BDCAF26D4F15ADAA547B31A0548D9A2353AFB76,7C9AB19A982B18A2C5D94098A815CF6184253FB991F26EADCF3259E2E4E376783E235044F876E83BAA03F5D7EAAC9D3E3DC60AEF899191E9C85016D950F651DD]]", |
| "FP2sc" : "[25D0DF0D1FE408FB735312D2056D1CF5BEAABA03F54BF4DBE0405B0CA33305185E5384D2DFBDDE52DEF9755154F05EBD1D1427F7CC7D5F7E629127DDC2070A87,DE031C5422BFB375706987EA0A5089793C80160085F0DBA3EEC84B5A104010918D997034B92566747A6AAAF9299656C0B0421A01D676EB8B24C32CD0B53B4E0C]", |
| "FP4pmul" : "[[66C2C5E0ACC7C94AC6FB8B0E60D91DAAD5E140DEB79CF293F8A44B80C972940F3A4229774775ECFE1624573704713D3924C4E6A04D692F5415A6B28F1E7DDF16,E687A13508D1C44FE4ACD718E2B31BA041F350C9AB610D410ACA167017388114C329163E3D97E429BD4A24E211D98DF46F5E82A5030C5F97002F7F1EF55BFB3F],[5460043C4D57888854603897FD36E7CE56055A8F922CE7E3CFE9F4864E3D5FF605A93503D335C2007F42A4A84056180F3B948D8C32EAC399F27B580FB867B332,708775F98E488E50A7FF914B38DEB43FE68751CF83562631B46365C22F60AFC82A80ED08AEA0E0A32E8AC4B67DEA3C187798A3D066ACE7A686A0DC808E190A52]]", |
| "FP4imul" : "[[01B5A8E7CE029D5F43857B482640B1FA419AB842FB1A47096D4E4BD119DE6AC06F312E9B0FA5FA87AFA44B396049EBBC9A0D4FEE8608C905D9850A0AA5534E97,40577E8CD351D324F521E20284399DAB568FEB00EEDD3FC4DA3F7D1EE9686EA44176B174277B701CA28AB23FB9BCEDA009CFCBE78E21D44E1102718BF86BD5F4],[FA63C5E9ECBA0BF1B68255F3C42FB34F5C8B5297E30BA3F9ACE0C59B219E1A4F12AB521B43B82E8501D67B35EF72BC9B53C56B6A951ECC6815236688D4EBEDD8,F26AC66A60AC628B17650262A05D51070ECEF3446EFE67AF7C0D83CA81DCEA9BA74671F5351D0835C3837180FF8F051765ADD5EFC6F9E33F6C55335C212B5841]]", |
| "FP4sqr" : "[[7219C320CA0F287DF268948294EA5BB78D59EE20C1A8407B790B34E8ABF2E424D3D5DD33353B945EC5F5424F68F2E877C9FF4FC706421AE2483FD3CF385BF64A,F7E22B0ADEDBFD3891A206656AC37F4F38C9CC3D9FBB95F09E59DFC2006B4B2DB14A427410ADAA8D559619F6BC96CF910EC9BFC805779395281577D4DA674DE1],[B339C8EA898CC5632A1DB0F2806FEC3DEFFA4F6ABF32D5F1F073CA67BF80771483FCBABE898C992E7E53FA2B7EACE3AB2FAAA8674CA794D2C2862391F43D891B,E3A6990BA8B6DCE1EFD98E8F7794DCBE2BADC28710DF6F08AB87032A2DA566952A095DD6B89B3B9AA64DA51332455DD0AE8EDF64D3B66AE595D1821097EE9236]]", |
| "FP4mul" : "[[1451CCB73EB408027527F9043EB9A6C53F4A717308BE47864D8A15502B778358AA3C15D27CCEB6E049580FC8FED6B8630E6A27DFA6BDB1902C2CE18FE2C69514,7E80832883E8F5794F5173977720DA4B9781F59C549AACC3359EBE4129177A2A9A3C0361AC4428173DE95D49E83D3461B89CB57118C86E8D3D8C8A0710C52277],[E1A9FEE4B8A9FA5AE2AD1EAAE45EE2741FFB2E4AD974BDA3DA9FF1070E830B5B12C4E526C1BA154C2E6E20AA48C52B2C948D6558F7FF29C45BE4BCCCB26007AA,B1E8E9B05407C227645C13A4A1A1DCEBB5B24E7D0976C533DEBCCBA34960E1C4618729CD3B30E9707A40E5CCD12021DFCA43D22FA4F3F6C77EBBF690A31C46DF]]", |
| "FP4inv" : "[[36C8CFC910720FD70D8AE953C6323CD149EB979129BBD3112AE17A0D9F73671ADC7F97F2F72C412B339852E1E306864BE5DC3DA76EE93673C1B48072B6D0366D,B2BF8461ED6789512453F39222307EE9CE4DB3EB7B147267420A7604597830E3284FDEB865D948C1C033E107369DF5C613869CEC13FDD514014B44B65E86AC46],[7E6DAD2F9A9C56C277DF1A38EEFE41F8B293F421F1CED3827388B8DAAA74589534B324E4C3643FB6854CAD3C2704911D748336E9C3A2FAFAF08666F13C5EFEE3,CB2BB17B5DE42AF0890388F3462002D1BD3C29E1DD68F2665A0168997196EB97F029E48989F55ECDC47446E0B18140C216CD1393548F1DD9116BC86A60777597]]", |
| "FP4mulj" : "[[C1FE3FDFE3036A59A7C754E448F009F154C3A08E3F9BCD585CC1BB44F534FF60D7CE53608535BC1E7AFE0ED43C5381CA2895A5B97B028597F1E3EAD206F298CC,BB33A31513599B9F3379D6159921BC355B48145F8AB557AC3A6A8B49AD4AFD0C02CE24CBC964F3DCEA7994A566894C6512B765CA2ED94503CD98F07B86314D53],[C06D6A39F380A757D0E15ED2098B9DDDD1BB36CA215F10082BE07DC513BC4E2418C166FDC578712C97525F35586D0ED85393145668FB7D8F3E11A0898357470C,1015DFA334D474C93D487880A10E676AD5A3FAC03BB74FF1368FDF47BA5A1BA9105DAC5D09DEDC0728A2AC8FEE6F3B680273F2F9E388751384409C62FE1AF57D]]", |
| "BIGsc1" : "F3A6A3FD3A082ABB4CDBB4C04040CB3576C8ECD7BCAF5ED851138080CF8CE0A0451F0998A17163AB56D231FB8D39E1D238281C1CEE3D518ACFA5EC1B402617AA", |
| "BIGsc2" : "60", |
| "FP4pow" : "[[EA0EF62EE82DDA72A56AC502ED191AB5175FB9F923E9C19DF15B144B33C4DBEE9A63DDC2A411CF64A85486D0FCB8226233786EA5DDD737648B8EDB9693AC511D,6DEB8F9BF56D20A8A28BDEF285543529130CC27AD67EE44690E2AFE96546167DEA7D527B9ED675556E5F9017A9FC85D66AB0632E334AC3EDD1E93C012E707560],[41C0034095855E0B5B83332054217FF5E903DFE0414F5061DE49F7295D30E81D54F7162DF8C3BA3DF85AD6BAB990E0D8AC35955BD45114FBCA65FB77C36A05B5,D168F083F3D833F6551A54106E12C1DFD26000BD8033EC0D9CB55E4DC898FDE5F34643022A6676A8E2183B2629C6631EC35D6E18BC50E413F7286E246FD85D8F]]", |
| "FP4frob" : "[[C06D6A39F380A757D0E15ED2098B9DDDD1BB36CA215F10082BE07DC513BC4E2418C166FDC578712C97525F35586D0ED85393145668FB7D8F3E11A0898357470C,EFEA205CCB2B8B36C2B7877F5EEB85142C2210E19D1403168A2C04795756D39C40E922C1A2DFBCB1BBE9B94EBCB434798EF662D47BC3EF5430AA8BA62492F9B6],[F3AAC43EEA1EE3FC44498902F36BEFB36F064877C8F02BDB0190F253081227723EC29EE3B9D0E4F291A2E915F9F56A657C48E97636F1BC3472D5A51EF54DF7E0,A1880227039C5995FFEE69BD3C7CBC3B021698418EFE36F6507A222A2B5D05956306BC2B2123DF35E294A4646FC44CCD4E6955ABF2EFA1C8B8B92F51B2FB9C98]]", |
| "FP4xtrA" : "[[5424F14D414417CB2D43ACBF4CC907434A6C12B1A73502B9EBE6F7355190338E40DD1F365FA181896E6F608A9A23661A83DCAF17EDC85C5C0C8AC3E227C29F33,252AA0450987D7A1D4CEA1253DB0B35CE260006FF6DC12ABEA95C7526F98A1528293743E4E6D5B17A06D27F77930125D74F0CBE1D6A88ECA4C35F4D6D79188D4],[4E8E6CBE7652E98C055250A1B9478EC6FA3AE11F40494979CF1CA596B009103BD28C0F55B29AD720A6FE34B3BEC6217820B6EB0D8EF0DF6F3E83B4E0A79DC005,E11BDA4905750520149E885F9EB640F9C116301E56DE0EE752C12F38EF25EEAA5761BD463394C9ECC27F13D94BDF970DF3604597A636CDD2C6B2C894688E9223]]", |
| "FP4xtrD" : "[[F13EEEACE30DD9CE50A5D6DE81C6F8F9ED6F97D03080C67AA2C200E0A7DC266744E0AD7503C7E37760694FA20E5FAA8A45ADD2B6F2E3E89335F2E2CE77094698,D7B66BC4753313A61711156428A6B0798D81D6BD284CF60E313A21328BB713DB908EE9B9FCEFF27F0450C0D6DFB858C109E1D9D43E66A96E1F943F0EDE3162E7],[306BABDF7FE9CB5C055EDBEC628DD9669C79ED14D7ED54E7062849743E9E94F6BC0B94AD7EAA17B81AB2D1E7CB42D2174823084E37EA969F182CAECD3C0590D4,DCDBFC40D90D0E277B8C0FC0C7C68F02323236585BF8F95C892FD32EE5BB644055092F41FCCA735915C92AE45C7B286B98B09F75878D2A51718687BA172D46BD]]", |
| "FP4xtrpow" : "[[3E288A05191E464A78EC4A71134E1D5824B8FFCF0798C7967431C662F9D361C464583B4E7D0EA222B7AE6F93CB096A6D225DBA9D1373D869418AA6BE045FE3,AA8232B6B2F9F6147F8E70BF61A82D5FD55E734DCFFA92A0CFDB94B80AAF7330A9577719F273375028A70A6046E49C4D95040121BEC908274F29DE44CEFD4420],[35661384C210D5DD3AE79712AC995595A9B41B69C32FF2EBDB6B6201D4568306B517E5E81731734952A6E679331192F5268C9046D4FE420B9D813DBFCBD7F4F8,9DF1A7C8FE37ECE450D1A422C7B1F0A99D64C965759AD34A4216D0FF82E14962B1756D3D9F18638B8C61D5F12A63D110A5EEE692CA10E38CA6FFBF11EC4E1E4A]]", |
| "FP4xtrpow2" : "[[7EC4C7198F2967F1BC08292BDFBC9ED851507C8CAE6B1812A7689456AF50664CC21CFA69570DE780B6561E9515092BA9AD6F281FAD147DC8B99DE2589F633D6B,ADC3B3BC0A019AFBD81CCD7780579F2CA74A305DF478BE20919F0CE39C88FF863162B6B876A404057FE8CD3E027CFD5A207B3DFB18791502E857DDB0DEA28212],[BFF1EBFA036FC7E701668CAACD3421B59A7614B32F34D976604CB26EDB46053A16091ED803159474286AB1E3C8A26CF15769BA4F026F6137A0244456774F6C57,F702FF9B0451E988260A1481EF9585946AFB17E13A6408AECB38DAD3E58A0EBA234935BAB26A56581F140EEF3A579C6369A9D7E9D745FD39BA353BB1DD825CD1]]" |
| } |
| ] |
