| [ |
| { |
| "FP121" : "[[[0B26E8A5514CAC244D87C266931D46CEBA6F2098AEA71EDF4D76F410D8C3AA66B3D42B7C1B6DD240DF4A126CEA5FA926D1C307C70D2776682CF4,11EE2DFA47CD55625A4DF71E1FBC34C342C76C9CC1689985174E4AAA0511FE8F1C161189FBC5F102CE63A46316D869CEDBCD5612073CB3E721A1],[1512F74A12D557E2253F54684BC82C98ED7F90CC97897D320240C4BE5C7852FEB3C4236C2BBDC60BFFF05EAD0D80BFA8BE737A26980159DE38E6,0E62177CA5E05D47DEA9AF2BBB445CD0FD166F864FC30E84389D9EB6C4A09B0950BCE3F025C75C70B2F3B18B5A19425FAACB146288ED91D8DD3A]],[[0B69E6365DCD11A208F2B144477AAB431D753563319173127A3180511F2A6FF3916845401D7524E72D582FDA12247B1682AB90F2328D45C8F864,015F2D72F3F35C0A94D86EFDA1B8B6E3B95558DFE8E39B870B85C5121B2056E9F9F685741BC72C67C5251BDE48FC88ED3D99401D93A645E55AF6],[03B9D6B7615A9730AFA16A1EE5202B7F97D7EBA7E1E4C2554A6EC280CA587E527DBCF0DA843F2136FE00F24F77FA6033E09F42FDD8CBD504F8A3,1185FF172124875063A63192E551C3AC636A1E659FC843D1AD94E87F06D28CACD3394B43EC1FDAA38B69D8B0D11C3B25D087897608332918CFED]],[[02D3019E5AD71D8A66E48A97B7DED6D0C4BD8247F7D31DBBCE1CB10BF387F362CEC158468DCE36743BF2F456B7584CB169435D7E3EDDE8D74C6E,0D3C51054946CCEB5337DBBC97FE3DE47DF068A2311F2F1E966A1E543546ED153985B5D8856147A6E6F224AEC7D13E4EDD10B8991BB25B58018C],[1005B471E4170917A1EC81979D2B906EFD16239D49D5B332DE796195840F48FC6D2C0520D989426D7417799C1CB49C22C9765DFBE391A3DD81EA,0C781C60B32CBBF6B40329C8EBA0DFCF30E97A5669B933A706D96A6BFEC2290AB46E33D62DBAAC37110AC3E5EF076A042A34512D78F17FB82213]]]", |
| "FP122" : "[[[0DD874F015D9CDB75CE573B0FA2EF9D8E26C9032F29FA5ACA2AB1784BD70A0E0FAA4B134DAD659A843BEC7CA7AE7962A85FE1C1113D0FF099962,122F990336DF944883304B653158366625064918EA18FE71DF8B16B20A2E4BDE981ED43BD88D05E031D26ED4B0D1B79EF46A6F060F3F65145A84],[141E363CCB984C1FA1ECB5C8CD315560A0CA4B4F55DEC8D63D0142001FD55B0DA8814A0B930B21996DFCCFE7A137CAFB80DF15CE1F06BAC50170,04EC6BC7FB446CD9AD75A77DD9F8DE235C388D57DF688409E4C119458C50E8E760F5F23E3F5F44D872A652EB478E66B1C6A7C1D75BB624B2B163]],[[04D040ABAFBE510209CCABDCAD61E488F15022A7EDCEC00A43949C663EE40EA8556858B8695548E93E9442D80810F35799524D0F4577464C14A4,0D70ADE0199F437AFEAD4AA5921771CD675C7E2D6ADAD51301591338545AFFB225ABC1B7B8C20A8D77CA1F9AEE9E2BC021538CABA2E68613B6C1],[146C01D8718BEA9B1FB2B869DEE1EF9638994ADEA992EACBFFAADBEB87CAA38530BA9DE09A89FEADC6EC9A6A73733FF0D5F540B46EA37B066C7D,0C1FDB638A51DCEC0167E084074612131698CB2982A0231818ADA2CDA208157615CA1F8C7910B74338521D4374682BD41E31039C411D2DE9A666]],[[02E9C19EE9CD8C2231FD0C222E4A62CE2BB0BCD5B38AB657AD3493879507863E4865B7E1B3E3CE05480AEFA38E1808FE3EBB3410FDC7A467298E,02D7FA81AB710F0E0D1551241DD6B85E4E197418603AD1372BE8A1E909AB982F0B4D8D2705907F237C7D791244910518AE521E88752ED448A166],[0510A873D835BE1D52A1360BCBC87C448EFB0DD585B458C105A5317BC2C13B16B4D6E0C4935F1B844AB694E05250988557ECA562B0304C6FFBAC,0F45F3E8B917C45DC1D018489D82E87E740704CAC5023DF698BE2FFDEBDF1ADF6A427BCB153CE9AE5EC0C367E6DE205E9F245381B013195A1995]]]", |
| "FP123" : "[[[10875BD48599A0B5D0864AFEF22A832E6EE401AAFEEA1C6A9E0309BA330360670A56C553388E59DB9199342C45DEC3CE78B548926F84F474329B,063E0C6135C80F155BC650116F983B445932DE37A97EC5018ED8949F39BF0733A3313FBE7E8EC1B4A55D3E1B956408728FD8394D48291E97ABAF],[107F58D9A95B6D83F52CA59D1B83C7D993020101913C8E79BB994655096747963DE1158DA13D7C9A613C7B03081E6C255D035474F2F470050AAA,0145792A6A928B4BC38DB8F346795AC454F9382BA233B69814EEDD1D385F86F9243A36B72FE424C5705CF8C230E0C1862AFC0B034DBFD9E8B450]],[[011443AE2A08DE4888D136B435642ACB12C6791E64A3DC0EE82987B292A3367D1C5033A7CE8821E130C07A62D368FCA0B3F724F8252F007896A4,027F49D3831A381C17F5DA1A7DAD529B24F40DA940F5CC0CC535F1C58BDD8A9D405BF9F6A67306A91B54FAB801F47C75F138C4E9EAFD258EE844],[0C40F15762C731DE912F9B4A158DFD38DF4CEE45A8EBC6BF2B6ACF8B5ED38BCF30D9C100A7A6915C313E9C6C2E02C31CB9E4C13664E8851A61E2,121B42AB12408921410C251413DAC02451C050E556B96108045590E9C9A449DB1F72DA17CB4B33D97F17DB86DDB70B416838B98733B1C7931D54]],[[14CF853E6667987B01ECAD4789E330E1177FEEBA710308955E21C520B851F4CB43E976756A3AEA5F0E5E6D911A2DB28EA3D870A66C5148D50A04,0BD9527160A3E18FBB7EC5DC7452E74DD3BC29EE186E3D5C1207245FAE3FD814993B964D76C7AFAF1F0A0091916AEDFF5FF136A52A39AA4AB4DF],[06E1DC2079EFD0DDD2299454249E72DEC1992201B0E3642A0371928F2F10FAC06E7A98D6F48F484D3A993E609515CA56CA3F03711FCF5D4AD662,116CF5AE724E951629C78142BCD5822811A6C36303C704257680F9B3BD155B652EE956D486F0505EA99C2908D147D85DF6E9568CBBFB972F8C69]]]", |
| "FP124" : "[[[0B33287E70589BAEFDCEAD6A596761E0955D6A97526699F814807AD91057C1E8FE51B744C6DC268175E92D9F55874E471F5D4975331E27F768AC,11F09B57AFFA8E92945ED70452AB39FD43EA9051B19A50518E5A5282866DB5920A82A857692C3AAD92581A974B48B7E9374A99E22D7FBFED2FEE],[140D5365625AA679BE55593D9CEDE2AFEF41A25E1AB57DD33450EBECC6836EE76DD9F0D4E8D081706C80283E53F30EAC546EB42EF9CE2552A867,042E112881CEAB9F31CB049E5E054E4B6A9456ACE1C3F1FD7D977261C8F4BD4B45615C014E3424B176DD17510BFFAD212626ADB62132B0DE8CDC]],[[08CBF04D0490B902012C70A6F6D690F60498C47E72FE9B87BF3F54375B280DF123FDC016454DB75BE3117923FBD02B607BBDF178579A721257AE,0408855CF0E8FBD459101430B3B71C11255BB4455731B0CF8C77426822E9697F6821851B866A097B1C8D94724313685183B8323A25B03CF74DFC],[04DBA469EA13C91070296DB58CFE5CAFCCEDF3199E858032756455974D2C3F159EB02A0025844C67058613EAB4664E70D781C598B8A8BE52EA15,0E1139275903FDB01A7F921D34BDAF8ADCE9FFBA7DCA5E5118D54CE8FC6CCE27C0357024ACE6AFBC0D7197CADD5CE184FCFC767662B2E460D7C9]],[[04616021EB0E96A2622A13E08B9B2E059409546B35B1D66BF7AA6C736143451D079787672CA07328F0C453D1503735E4FEBE4BA5C5AC2B7E3549,119694F77DB479E982354DD2B5E751261B91906E06AD9BC067C0218401BAA904E49A527F6796422164FBE355562F72E6D6E9DEAB5CB9FACB70B4],[085E639655594536A2BF8EB9EC58D6344B356AF3A61ECF72C3739C7F6BB60F027B9F572F4CACE8A11E5557FADCDD0313E3316412ED4BFB30E5A8,5BE6A4CF393A54325D956F0EE36D3B7CB012E20FCDFFF767AFC911350D17A49355E50344058D1F7BCBA6B705C3FE6A63BC919842B7B9A40877]]]", |
| "FP12c" : "[[[0F9C72E89E395B4CA7FD992B7DA3E3C691FACFDB5A64C69A48FF31B477B6063D4CC490D053F0AD0D95BE543162AF586A8CE296BFEA2F33FBF685,0C64E521EB5F7091024BDBFE9EFEE81F4BAFAF6693D8734EF27AA53E8FCC06E25B1BD2E245308D6C5B149A9C661D9A1126507026C509F1B974DD],[0456B4B07F79D19374491F203D29A9FE05A944057D46EFC565D480225E08B093C05EC6B38B7ED2B344761D9A8D66291B5DD82339444FF3226F99,095BF4BA1F53A646E12DBF32E703D2AB982466A5DEBBDAC08179FF874E0A5B67181F08EEC0E6CCF7C826BC2B5B8709FF5167D6185559ACAB418A]],[[0A35233D8A0D3055BFA5D5D76A0FB2CE2CC2F6A80A0554DBAED25B657E8CCF42EE71248F1FC3CC512783751AF6DD7EC12F84A14519838211289D,149F4B40B23865F2BD8C1C44F0FA0906B79F4047F5E74C88F583D2A50AFA537FF3F4F8C864C3A6BDB30AD3CC88B7D8591128A9106A889FE88117],[07B67E51A98086EAFADBE7B7F65C775CCD7F5433C849E7C59753D93695661CD55D0797D0C462F71B059D11FA880F21E8D8B0651513D108A12FA4,0ABF53B1C5480D344387BED5B0E12FA26C18BA88EB55F66C7F007A584160DAC1D47068EAEFA6776A9D9CA22161C8AB07BB89A7EBC640E9FE4047]],[[0948B57A7CC98ADD4241CB3324DDA95D9FCE7A745C9916D5CCB905E6068090A6DB8E2479EA20798147D1DF4AB4E28EBE2E62B8E6ACB493345A4D,06EC1197508C0BB5A3D7B0E8EACC44391435F85CB901AB8210DA3DCAED77930D34574843ABBADBD0B75B816807A85A76BB56E85DA5F06559163D],[03E09FBAF9382FF6CE03EB985BE83830B27F21ADDE72A92F4F4DBBD4B863208D1798AC6D4B4C46A7450C4ADF3A74448B4A59A24A9AFB577C776F,07785380DB2B39DDCBC63369D78689D0213022AD1AC5FBA9CE052B6560DD35D7EBED0BEAD85BD55FF9F88F3BFFC2A958421ADD1079D789CCF38B]]]", |
| "FP12smulymtype" : "[[[0DD874F015D9CDB75CE573B0FA2EF9D8E26C9032F29FA5ACA2AB1784BD70A0E0FAA4B134DAD659A843BEC7CA7AE7962A85FE1C1113D0FF099962,122F990336DF944883304B653158366625064918EA18FE71DF8B16B20A2E4BDE981ED43BD88D05E031D26ED4B0D1B79EF46A6F060F3F65145A84],[141E363CCB984C1FA1ECB5C8CD315560A0CA4B4F55DEC8D63D0142001FD55B0DA8814A0B930B21996DFCCFE7A137CAFB80DF15CE1F06BAC50170,04EC6BC7FB446CD9AD75A77DD9F8DE235C388D57DF688409E4C119458C50E8E760F5F23E3F5F44D872A652EB478E66B1C6A7C1D75BB624B2B163]],[[00,00],[00,00]],[[00,00],[0510A873D835BE1D52A1360BCBC87C448EFB0DD585B458C105A5317BC2C13B16B4D6E0C4935F1B844AB694E05250988557ECA562B0304C6FFBAC,0F45F3E8B917C45DC1D018489D82E87E740704CAC5023DF698BE2FFDEBDF1ADF6A427BCB153CE9AE5EC0C367E6DE205E9F245381B013195A1995]]]", |
| "FP12smulydtype" : "[[[0DD874F015D9CDB75CE573B0FA2EF9D8E26C9032F29FA5ACA2AB1784BD70A0E0FAA4B134DAD659A843BEC7CA7AE7962A85FE1C1113D0FF099962,122F990336DF944883304B653158366625064918EA18FE71DF8B16B20A2E4BDE981ED43BD88D05E031D26ED4B0D1B79EF46A6F060F3F65145A84],[141E363CCB984C1FA1ECB5C8CD315560A0CA4B4F55DEC8D63D0142001FD55B0DA8814A0B930B21996DFCCFE7A137CAFB80DF15CE1F06BAC50170,04EC6BC7FB446CD9AD75A77DD9F8DE235C388D57DF688409E4C119458C50E8E760F5F23E3F5F44D872A652EB478E66B1C6A7C1D75BB624B2B163]],[[04D040ABAFBE510209CCABDCAD61E488F15022A7EDCEC00A43949C663EE40EA8556858B8695548E93E9442D80810F35799524D0F4577464C14A4,0D70ADE0199F437AFEAD4AA5921771CD675C7E2D6ADAD51301591338545AFFB225ABC1B7B8C20A8D77CA1F9AEE9E2BC021538CABA2E68613B6C1],[00,00]],[[00,00],[00,00]]]", |
| "FP12smulmtype" : "[[[04814B98481F81E1832A3A95F181CD6DA5378E0EBE9119DD29BA2E0CC58172F95D518B80336D12ECF0093EC38FD700FBA64DB62E0B1CEF22BE86,047CDA880A5F557A12F361831E27D75225421D9CFF95C0DA7F2ED710EE2FBAF705DAEC7406E93B28FDF190F162B11589039DB460750D44CA53FE],[0EB52193F46C09A56B1EEB2C3EE14123256716CF481495BF69E1A1D87C96107960C74F7A982C24BB386B682232D68944CFC1C02151D976ACD0B7,077ED19E7FC8A98338F740A2394E22E376DB0856EF90B8D2A27919008C0494A7F3FAC5B9DFC6AD9ED9B8729C461924B0DD23A19392B3ED342F6E]],[[088F3C19661304F84C7F64D29FB098B1523F4DCE4B7CFDA7A89796C646977A78172D6E8C40119E5F9180EAE2C0638082A4AA72591BFFD7A09452,05BB9DD36395C11380820DBCF5EC40BD4A2A245EFF32464C8E6B8DA1A5F5B1350AF965532B025B5469638DDCE7E6CDC661CDE105FEC59BB56126],[0638C1C6F7686C478AC7B579540C8E7487486FD20C0E9182D3CD9941152D74D82E76990A25CAED73F5063CF3613C750DFC2446C11DF2D1DB417D,056A2D37B507D03583A310157D5DCFBE5C764D29D793DAE3F72C14F42C2D1A2C0E455C7A3BEFAC3A5358F24E705C8CBDB2D7ED44E1283977EFE2]],[[0659130C1BE7841A331E5BB145C3ADF6ABD8881DB09238A3C5ECD3CFFC8F819BCAC024D68207F798BE07F7978FE3933D9BAB60A7E3ABD0A913D0,029E0E6D0F0D1C029E57049314D54D52663DD3101FFAC643CFA619A0587E8BAEA74066A0C9732A04053E3567C560C98AB45F129BDAA4F7F35182],[11F5A70C7216417AAF3C16C49EE6D15BDE4964CE6A6A6CA13D7F760FFA83453A2E3C7152FCA2C7D6631B13034D5CF6AA3F90F72FF459B12209F0,08155052F8338DBBE9A55FB7A9DCA498E3FF2AE5F2D36C6C5F41445AE332DFE1D2F05D08FD49D1B6EAAC22DEC8BBA7FEDA412F790271726F571A]]]", |
| "FP12smuldtype" : "[[[0783408A8AD5940E32D90230EB610211C685A0B9209CFB06EAAD99FDCB67DD48AB6DD14E0F6717DCFFCABF6717FDB341661074F7745590731591,0E17E1E3A0B889D2CF7C7E5EDB486F680986C129FEF5A44E332915C82AD194F22947CD4810B743027821AA1EB3B5411F3753BFC251E668DD62D8],[0CF0C44CFB41A878CC89E179ABA877D5B52ED0A1A15F1B97E29852A85ED9DCB8A4AEA7C455407B8BC4365CFB61E52F517BBBEA3BC710C9E6B4BF,06CD7054148B3B9B1223287A460C537E49AF061E050E64FF0E189CFFF975CB710CE404A459F8788D43E7241F27F96DCF3FAE9A09FCDAE45F3D96]],[[14ABFC7A12E4790E33E445384009CD5D42E1EAEF0604E298141FD40004775246F29F2922CC2D3C7C704BB0D5B5635FBB3002828C42CF188346A0,0C547E20237B0A999F37DFF80A431ADCE684FBF8E8F691FAC4A9720CF01169AE5AFCBC9C18C500BF3A1102542FDED6B1D055686303A44FE31585],[0336647A7CD09AC96F9484494DCBE886AC6FC4F82E915EBECBDE1F1134DEEA44803328F842B3EA2B7E15413F3A0D7C58967C95806D7575CFFEAD,0F61C38C1E4B8DB9097F312D342435F601B821BCA6C1DEDD6BFF65B3705BDE6A259A8234CC7A851F7FF8A5963956101EE5F6EFB9DA8B418E5BEF]],[[0E9BB503D9734B5AFFABEF7D0CFA85CBBB532699DF7AD0B6960C3EEAD948325E81749CC23F6303AACB652189AFBFE5D924F3DA0AB147994B97E2,14DCC05F9C6D0CDD33192F94C31B3CCF4C4807EE1C322854EA2F9416D42D3C85924CD4D2FEF4DE5E94717FF0BF6E356746E26E7C364C0B18DFC2],[0D013ED18BCEEFCE39415FB0A434D59658154FCD6ECCF6FA35CF079ECB6C8CB69558A83263B17DA3332875FCEA856479ED22B2F6E0BE2B1ED01A,03EA561FF90E090AF04BCD541729699B1528B92CBA1DA8D0560C4599BF89E325E0A6721F17C172708E3C94CB30ED79C180AD25B9D7E691D5555D]]]", |
| "FP12mul" : "[[[0A2E60161DC70234ED6B0E9A3E907690946BB7416D3AE99FA0A4E0EEFE15A79BDC7F3C2D11198B616566F304D65C2EFC9F253F5FA64FFE18D350,0BA70C4F43804D7BE5922376A99673170D988D961D17F8AF4630BE8CE2D74590AD4C237E4D2261AA14C3FE966F0C94A29E0C64615D313FF548A3],[0E4D6CC2023BDF140834ABFBA87D729C095471683E02AB54B90A61162D489A8656847F1363E37259EDFFF5E289DABC8BA32DFF56D89018B61C69,0F66AB04C4AC285F471B2A696C44145C40E67C50C77BE00B2911CFCB8B607B274B28B2CFDDD3A298DE3B0AF11D53562831603941B290DE1E98A1]],[[0F085E31F8E6CAB68C5116EEF2CB9EE27789F8F8CDA07CD0E81FE324849CB52DE41918D573282CE2DC1751DFC0BA6789044EA983B187B6800D19,0AEA761425692FC062022C0FA9F78053008B3CE976E8E908DBE4FE5D7E34263971A6CF1BA26B43E5AC32458F6B7C94F05D1D9F1DAFD21E2D33B6],[076D7F03F379C0E5F4F586E89217C96E995F6C214260AAB3FAAD8293EA340FF26209FC798194F2ED0AD3098480DAA4C077D915AED513026572B7,068BF6DC124507C10CCCBFFF545963B1822215B83D5E9A2CE02F39E6E64B9D0FF524C8F9DB10BA82C38977714ED8108B6EE8C7C4529021F2B3F0]],[[0226A509AEF0E52A13A34CFF26711176370202385AC96E6C94B1EE5C8F94B0CB486FA05A55ADDDD6A43DBE026EE903BABFFE7015B0686D396C72,130805EE234EFDC2EC34B3C759AB8FFB04696AF58DB63B49498C2B77FA20DB968101F5DAF83634FE4DCB4779BFE4A5F7B943080F2D0B2D41E41F],[083ACF9117D19541EF74240AB5032B1FDADC20526BF27FF365D871C46A4663DCCBCA694B691BB375E84E29BD8692AEAB1E05D779CB35B924F8F1,0629081A6392DA38DC077549223839CDABB6AC2850435611CC492224C63DF8783105745DFD2576548B5EC5DF461C214E7E54594F87114E46DD06]]]", |
| "FP12inv" : "[[[0B26E8A5514CAC244D87C266931D46CEBA6F2098AEA71EDF4D76F410D8C3AA66B3D42B7C1B6DD240DF4A126CEA5FA926D1C307C70D2776682CF4,11EE2DFA47CD55625A4DF71E1FBC34C342C76C9CC1689985174E4AAA0511FE8F1C161189FBC5F102CE63A46316D869CEDBCD5612073CB3E721A1],[425DFB427802733516822BC8CB3324819EA20C234327491243C6844C67A75D68FBEBBA7ED38F73004FA172F28495AC8C37308567FF50CC71C5,06F33DC8AF6CFD0D7BAC2768594F02EC7207C3526B0995F6DBE6EC8BE43F5F52CC032B3684C9F90E4D4C4E94A5EC12F59FDF9649771318D1CD71]],[[09EB6F0EF78048B35163254FCD18B47A51A8FD75893B31689A530AF189B58A688B57C9E68D1C3097D2E7D045EDE0DA3EC7FF19B9CD7364E1B247,13F627D26159FE4AC57D679672DAA8D9B5C8D9F8D1E908F408FEC6308DBFA37222C989B28ECA29173B1AE441B708CC680D116A8E6C5A64C54FB5],[03B9D6B7615A9730AFA16A1EE5202B7F97D7EBA7E1E4C2554A6EC280CA587E527DBCF0DA843F2136FE00F24F77FA6033E09F42FDD8CBD504F8A3,1185FF172124875063A63192E551C3AC636A1E659FC843D1AD94E87F06D28CACD3394B43EC1FDAA38B69D8B0D11C3B25D087897608332918CFED]],[[02D3019E5AD71D8A66E48A97B7DED6D0C4BD8247F7D31DBBCE1CB10BF387F362CEC158468DCE36743BF2F456B7584CB169435D7E3EDDE8D74C6E,0D3C51054946CCEB5337DBBC97FE3DE47DF068A2311F2F1E966A1E543546ED153985B5D8856147A6E6F224AEC7D13E4EDD10B8991BB25B58018C],[054FA0D37136513DB86954FC7767CF4E72080F3B70F6F148360B29AD24D0B15FAF940A05D10813118C288683E350B93281344CB01C6F06CD28C1,08DD38E4A2209E5EA652ACCB28F27FEE3E34B882511370D40DAB20D6AA1DD1516851DB507CD6A947EF353C3A10FDEB512076597E870F2AF28898]]]", |
| "FP12frob" : "[[[0B26E8A5514CAC244D87C266931D46CEBA6F2098AEA71EDF4D76F410D8C3AA66B3D42B7C1B6DD240DF4A126CEA5FA926D1C307C70D2776682CF4,0367274B0D8004F30007DF75F4D72AFA2C56C63BF9640AF5FD364098A3CDFBCD00A9FD9CAECB647C31DC5BBCE92CEB866EDD5499F8C3F6C3890A],[0F71ED974C21E9E930F2208716256B48A0CD5129BD0F1D293059DB222A97C884221B1FE1A8129468C88F360C949BF08FF220478D8EAA4DAC4813,0A666AB4356EF1695B4B0A56703886E3E8AA5B417E8DC6C2F7970867C6037A813B645DFE566C6CBEDE00550E4E067905C9092382F3B92FA4E2DA]],[[8D0583EEF3FF0B15E46CAE26BB9DF3036DEE6A677AFD8B92A0E1F8388B091C485CF4A5D629B045243C18D2BE5A3BE3E72341E3F78322BB3332,152D75B21ED6A163B9EFC84BAFE5A86446C72A3DEB6E55755802EF430451C6AF5C9CE9DBD0B18E0AB5EAD093C56FBE709E7E6085F1004368183D],[027416B842ABC34643A32E042ED0CD2BDCBEC5CB60D73B9FF272E892C54675E5A7EBD24D48CD46B775E2CCFA831D8CC40E60F577FE8937C8CA0D,123AAB660B7775B32612B4A630DDC1DCDE3E645D870F33082EC6B1FAE9125120945FD11B158E7C2B6328463A0EA301304AB7A71E6770601409FC]],[[1390CB6F3CEA1D27B6C34540ED2D8C17E9DD9BE57A48C04C20A53E6922219DE464004A4CF70407D5488B3154D9E7ECCE91EE99C70CD373D6CAEC,06E34CCA71F20164E085858D122322F8395C54C21E9A71DB15733DC2EA77EC4C661BFF4E0A12E4541739534963A8F3E20AE05378A42CA94E3FF7],[038FCD948DD2D8DBB4674FB3D1A85B96EF15C645B8B0D7C350BEE0706F1BA8AA3E606D56C479D6345EF614D0D267A333D3EA59364A3E97947593,126523A1A82C0C375D650BB8F67C3974BABB74E95A4E4DAF05D46AC62EEA6213BB0D8014B44A3B5E471532FB367CA3EBE7C39D2AED5BF5BE4C14]]]", |
| "FP12conj" : "[[[0B26E8A5514CAC244D87C266931D46CEBA6F2098AEA71EDF4D76F410D8C3AA66B3D42B7C1B6DD240DF4A126CEA5FA926D1C307C70D2776682CF4,11EE2DFA47CD55625A4DF71E1FBC34C342C76C9CC1689985174E4AAA0511FE8F1C161189FBC5F102CE63A46316D869CEDBCD5612073CB3E721A1],[425DFB427802733516822BC8CB3324819EA20C234327491243C6844C67A75D68FBEBBA7ED38F73004FA172F28495AC8C37308567FF50CC71C5,06F33DC8AF6CFD0D7BAC2768594F02EC7207C3526B0995F6DBE6EC8BE43F5F52CC032B3684C9F90E4D4C4E94A5EC12F59FDF9649771318D1CD71]],[[09EB6F0EF78048B35163254FCD18B47A51A8FD75893B31689A530AF189B58A688B57C9E68D1C3097D2E7D045EDE0DA3EC7FF19B9CD7364E1B247,13F627D26159FE4AC57D679672DAA8D9B5C8D9F8D1E908F408FEC6308DBFA37222C989B28ECA29173B1AE441B708CC680D116A8E6C5A64C54FB5],[03B9D6B7615A9730AFA16A1EE5202B7F97D7EBA7E1E4C2554A6EC280CA587E527DBCF0DA843F2136FE00F24F77FA6033E09F42FDD8CBD504F8A3,1185FF172124875063A63192E551C3AC636A1E659FC843D1AD94E87F06D28CACD3394B43EC1FDAA38B69D8B0D11C3B25D087897608332918CFED]],[[02D3019E5AD71D8A66E48A97B7DED6D0C4BD8247F7D31DBBCE1CB10BF387F362CEC158468DCE36743BF2F456B7584CB169435D7E3EDDE8D74C6E,0D3C51054946CCEB5337DBBC97FE3DE47DF068A2311F2F1E966A1E543546ED153985B5D8856147A6E6F224AEC7D13E4EDD10B8991BB25B58018C],[054FA0D37136513DB86954FC7767CF4E72080F3B70F6F148360B29AD24D0B15FAF940A05D10813118C288683E350B93281344CB01C6F06CD28C1,08DD38E4A2209E5EA652ACCB28F27FEE3E34B882511370D40DAB20D6AA1DD1516851DB507CD6A947EF353C3A10FDEB512076597E870F2AF28898]]]", |
| "FP12usquare" : "[[[13C41E0A551D6A5E793229C5E245ED0731EFD707456126D2610DD5A08EA7D46A86825C9D02D54E196D87C32A7226E59B7270280F8EACFEF8107E,03F4DD6FB28B66DC2F5B76784EB8D453CEFCC9B102C00C3378E82118C7AECF97A716A2FC55659A0AEACA7798E1ABE4DB9E0D542233A579A07AAC],[0828865994B5B710202C743D660D23A079BF8F82850DDF4102FE71CB131ACAB3675C8F43965687FC2AAE17A4E1E2550C5BC2727D1A00B17C0468,0E86CEC4B88B5E6DEA134015D1D0619447877F60FAD22D74C6AB58873ED64A24B2685CA3704270B488B5E2B80A336FB1B51F671E2429F3BF3B6D]],[[01992204E100C9752FF74E0B31E79BF13A72F435AF82CB07FAE06F19181E8ED301FF1ED1666678D872B5A626C9D48B6A24A3B3AEFA9582C26617,0253128E739B0DDEE8CC3D1482A2C090B018E3CF2AD5E8F0520DCBB335B321100509C17D35E43E97D8B8FBB335CCF05BEBA36BABC1AFB463C3E9],[0C01DCA82D78CB722D8692EE2A35CD83EC8E97D926B8BED1EF9DFE01B0726954CD24A4E57C2FD11804332F7FE958BA621BF3BB4512693A95CB0E,11C220B58BE38024BDB59E9D46D49DCEBA35D5BB45FF3849443E922DE1458948BF5A30AE8CA8E91AC8D7470C4D9A95FB1F6A264F5BEE57D222D8]],[[07C7E1CF24F5D0C8045653A8D76CFB8DA6EA11AE0AB8125210E7FAEBFE918BA694F485A4F726D547DDF6FD5B5936456C316E44FA9E92024DD6D8,0DD072C74069543CD30A5652E5C3C5BD75B5CBC9428BABCA1C7273625397F6EFE5742031CAD5BF0D08C0C4B82741DF90F526007CEDB96883A4D4],[14A193DB3F4ECB7174D790B5E578B3BB9165F930EBC0C2135AC411DDD8C08185BC0ECED0D641E943E77B469530B2E3112DA864337C6389E79273,03DBCD1749CC669E653F1F8CD9649DA54FC0A1657344E0B5C93751FAD7219B2B3F8B097C5EC0BE912D46EB942C8D329E6D377C483ADBE63C3B2E]]]", |
| "FP12square" : "[[[13C41E0A551D6A5E793229C5E245ED0731EFD707456126D2610DD5A08EA7D46A86825C9D02D54E196D87C32A7226E59B7270280F8EACFEF8107E,03F4DD6FB28B66DC2F5B76784EB8D453CEFCC9B102C00C3378E82118C7AECF97A716A2FC55659A0AEACA7798E1ABE4DB9E0D542233A579A07AAC],[0828865994B5B710202C743D660D23A079BF8F82850DDF4102FE71CB131ACAB3675C8F43965687FC2AAE17A4E1E2550C5BC2727D1A00B17C0468,0E86CEC4B88B5E6DEA134015D1D0619447877F60FAD22D74C6AB58873ED64A24B2685CA3704270B488B5E2B80A336FB1B51F671E2429F3BF3B6D]],[[01992204E100C9752FF74E0B31E79BF13A72F435AF82CB07FAE06F19181E8ED301FF1ED1666678D872B5A626C9D48B6A24A3B3AEFA9582C26617,0253128E739B0DDEE8CC3D1482A2C090B018E3CF2AD5E8F0520DCBB335B321100509C17D35E43E97D8B8FBB335CCF05BEBA36BABC1AFB463C3E9],[0C01DCA82D78CB722D8692EE2A35CD83EC8E97D926B8BED1EF9DFE01B0726954CD24A4E57C2FD11804332F7FE958BA621BF3BB4512693A95CB0E,11C220B58BE38024BDB59E9D46D49DCEBA35D5BB45FF3849443E922DE1458948BF5A30AE8CA8E91AC8D7470C4D9A95FB1F6A264F5BEE57D222D8]],[[07C7E1CF24F5D0C8045653A8D76CFB8DA6EA11AE0AB8125210E7FAEBFE918BA694F485A4F726D547DDF6FD5B5936456C316E44FA9E92024DD6D8,0DD072C74069543CD30A5652E5C3C5BD75B5CBC9428BABCA1C7273625397F6EFE5742031CAD5BF0D08C0C4B82741DF90F526007CEDB96883A4D4],[14A193DB3F4ECB7174D790B5E578B3BB9165F930EBC0C2135AC411DDD8C08185BC0ECED0D641E943E77B469530B2E3112DA864337C6389E79273,03DBCD1749CC669E653F1F8CD9649DA54FC0A1657344E0B5C93751FAD7219B2B3F8B097C5EC0BE912D46EB942C8D329E6D377C483ADBE63C3B2E]]]", |
| "BIGsc1" : "08680C440682CC1D5604D8E9A26DB0882584B7AA372699F6685D4F412D3AA5999C710C586A2AF7E7F4FB7EA89C519F3A7FE5FCDEB079C8D20739", |
| "BIGsc2" : "021BFEA771C6284FCE994DD78EDB5F9FBF436DD2634D77A0120DF7F56DCA17065520E158825818A959A1898D5965BE7D78971852C74EA3D47D8F", |
| "BIGsc3" : "08E80709BA28B3F27B728A2952D0AF7497EF807B695F1133165259A3CC524EA0C643B91932B47A46F3E85377FB136D9EED439C71BAE57F7B695B", |
| "BIGsc4" : "093D7DB97F3761051773728321753C40598515DB20475C69C80DFD9E5061345DADFDE90E9F21CB94C25D491DCFA5F70815A54D7D1635275EC6A4", |
| "BIGscs" : "0805640827C0FE38D38487FA34F50AA1429D7BBB66CBE8423208DEFACDE0082F488D655D172C4D", |
| "BIGsco" : "0FFFFFF7FFFC0180017FE05FD000E801FC017FFC80001100007FEFFFEFFFFC0000000000000001", |
| "FP12pow" : "[[[0D9E409D3DE1B3FEB7878EAD6385730B42AC8E8D5B95867A15B0BCBE084B9679F41EDF02CCADD21A1AB2BD0EED41D19AD4D64DDCC411757EB1FA,011E3DB7FE527C5F5B5C56A4D7C228C10E0895CFB4CA7AA0012C90C8EC125CCDD0C9A22C923C5BC8B8BCE415DA5708B86B167DC182054637CADB],[118AD8C4FAAEEFE7582D6CC23AD62FB33E53225877A39A6A5C063414ED2527078C631B9E5A549B23BF306E9B83D89CC6E0695E4341E7A915D78A,06D78D64BFF2EA95D0D03191FF289FD31FC72D49B236431FA08E999F6244FF3398A48B437D98C3C04DB4CBA474E5CEE2705737BBD8EAAD831A41]],[[0C6C6EE76F754460CA56CDBAD05E928C5F0768132A0703E1E224ABF47C5DF2E2299B299DE223D8C3A2860F70257776504BD4F54DDF1101B538DE,09315D9D759C8B8A56FE83B84B80F29A29F1016E7FCC72E69B0948563A2ACCE38AD4C3F69D3ADB16787AD00168A261F44ABC856A70E9140E4029],[150C89206DF4941B6E34FEA24930F088AE8C0786F830EBEAB91BDECC22308BCB991362C962D0FF04A646FBC9ECAC3425027181CDF00A86B61344,048C5967D99F8ABCA042C30F5A6DEA786A59DC33338927B4CAAFA06C36620CA1BDBF2591B5C0827EDFB177E86091D9B51FE8D51A3A24B421F130]],[[13CB323654DD0CC34C3281C516502959B1A3EA745A867162BD675421B4C31804A2F41418DA549FFB7A98819495138B4402D985EC097320A4D4C4,107CBFEB6BD97DE8375AB4AEF8670B8B23B04EC1E1DC2074E5D59142DD143C3AED31E09098C943D57A55B884CB02B75A8D9494F3B0DB076B0242],[132F047E1F41CF2492BAAC29C78253838797D90FC0AFEBCF42EE904B760299910EB881208C0E224C5AB4B692C72F28AF00FF06C1777165C08BC6,03FCA916B9C1C788AE7DF8E07C5415B61EFC8014F382DC6A0E067D0B4B2EEB089462C47796138CB7E36DE7873C4823D86CC96AB11338BC37C70C]]]", |
| "FP12pinpow" : "[[[0B26E8A5514CAC244D87C266931D46CEBA6F2098AEA71EDF4D76F410D8C3AA66B3D42B7C1B6DD240DF4A126CEA5FA926D1C307C70D2776682CF4,11EE2DFA47CD55625A4DF71E1FBC34C342C76C9CC1689985174E4AAA0511FE8F1C161189FBC5F102CE63A46316D869CEDBCD5612073CB3E721A1],[1512F74A12D557E2253F54684BC82C98ED7F90CC97897D320240C4BE5C7852FEB3C4236C2BBDC60BFFF05EAD0D80BFA8BE737A26980159DE38E6,0E62177CA5E05D47DEA9AF2BBB445CD0FD166F864FC30E84389D9EB6C4A09B0950BCE3F025C75C70B2F3B18B5A19425FAACB146288ED91D8DD3A]],[[0B69E6365DCD11A208F2B144477AAB431D753563319173127A3180511F2A6FF3916845401D7524E72D582FDA12247B1682AB90F2328D45C8F864,015F2D72F3F35C0A94D86EFDA1B8B6E3B95558DFE8E39B870B85C5121B2056E9F9F685741BC72C67C5251BDE48FC88ED3D99401D93A645E55AF6],[03B9D6B7615A9730AFA16A1EE5202B7F97D7EBA7E1E4C2554A6EC280CA587E527DBCF0DA843F2136FE00F24F77FA6033E09F42FDD8CBD504F8A3,1185FF172124875063A63192E551C3AC636A1E659FC843D1AD94E87F06D28CACD3394B43EC1FDAA38B69D8B0D11C3B25D087897608332918CFED]],[[02D3019E5AD71D8A66E48A97B7DED6D0C4BD8247F7D31DBBCE1CB10BF387F362CEC158468DCE36743BF2F456B7584CB169435D7E3EDDE8D74C6E,0D3C51054946CCEB5337DBBC97FE3DE47DF068A2311F2F1E966A1E543546ED153985B5D8856147A6E6F224AEC7D13E4EDD10B8991BB25B58018C],[1005B471E4170917A1EC81979D2B906EFD16239D49D5B332DE796195840F48FC6D2C0520D989426D7417799C1CB49C22C9765DFBE391A3DD81EA,0C781C60B32CBBF6B40329C8EBA0DFCF30E97A5669B933A706D96A6BFEC2290AB46E33D62DBAAC37110AC3E5EF076A042A34512D78F17FB82213]]]", |
| "FP12compows" : "[[03096B3F5EC30B0216C7AA44F5D7127CF2374C8C664743FE729BB2EC2BC1B0F55312783B26B1D738719B27FD671D065F729A9C030302BBCFB321,0F26E71D24112C4278B618BA302CB4DC016C4A8F507097A08B8C40A147BDA5964C18EB3417B4432C823773B267EE1F3BF224134CF8A0C92C0587],[04048F01F931E9F38FECCD16C4B02E676A52129ED6C3D9F19190EBD8C4CF2F961E68D6E463BF273F9948412473CD51B7DD91824777A0639C58FA,09D8ADBBF40D5413F98F5592950A293E209A13C57F756BE33F202044B16B860B1C3194BAF6A48401F80ADAE12DDAB0E49873E12B6B6A5D62B704]]", |
| "FP12compow" : "[[11F0B7A9F2AA2493ED7861F676CB6F800803A2503CC80F3C10275813625A4A2F1E7FE97C6B22A3208E5CA1B5FA0FBE6F59CC6DF1EB91C7925D68,1254CC682B2AD8500B57A74690E827823444AC4A7FC7F4C16D1C598C2D80769B3905823E2F8F561F2D7FD0AF804F3F30816720F16FA1C35C9CC3],[0B2BDD879EFA53F8EF254CE513658C571B8435C0261AFBB1482772F93B6B245140BCE1FDA1A2C3EDCF6F15994099E39C03B196F453A9B3ED3495,06057A032057035A631DCFB2BFED0D51845157BD6597287D2C71153D7EEC48D844B37E16247C5A18C3AFCBE9F3F185701C7B43EAF499225F3CA7]]", |
| "FP12pow4" : "[[[071633CA9227FEE3F96D8D272AD70A1AE63CE530C993D33804F1087DCCCF7D1719965C74DC45DA00E33D2DCAC64C7E306C370661576167D2DF49,1107306C17CBCC74C3F50E0795492A2C1F77B1F1121B5803C9485C972F329FC46CD802F3CE70643D3AB6CC3E73BD5DC5936A3D3C0CA318CDA678],[01532D055D5D6FB3C4226EDB830FDF482E58AF9194E0C99DC611C363CAA09FE72150A61DE0EFB5973A7D22C8B3A66D6B7D3B81641584EC068F11,0F8BF7F94323D5C69C28E5DBB353ECBB680C7A07091B1A4D77C2C5315257E9C9886B66C426BB58B5BF49E6B309404B3990B8499F4125EDE0211B]],[[15306E85804003189FA8A03D27C56FC591158121C083820F83ECF0488BED4270C19FF5C7CE58ADCE879B3AC0ECBE84551A7B4EDAE73D6834E722,12BA56B22E449066529343D591643EB1D2E096ED50C71359F5BA05C97A053E893B1EEE481F948BD721CF892E6BD9D7AFE8DD50EF35C8707CA946],[0E8CDB6310992EADEF73BB5B57AECC3A770C1F0CF7A5EB0A30D9F2BCD23D17AFD60BC1251C38C5BE19962E97BF39EFA0225605F00AB7460482C5,140A587851572FAB4131BFE957EAEA3575B695FC238FAFB7BFAB33A888F14B839B4BD10D06CCFECAAA92BCBFAB296705C288E87CB858DDB2DF1B]],[[12996BA9E6E649E239F52AB63964CCE98A85DE9DF028712FF923489ED22AC2562F0D0A4A84F3A8D84511582A2EEEAB76F30411CEB85B1EC0D8E9,14CADD467DDFFB8C0AFAD0585C1A31D00805BD75EB28B0C7B1C278B6B772BC5DB56C71A1D85F6E9987590AECD15D2CCCAD97C212B15CD264CC29],[07F3CAF5D69115FA6627AD7101F437BDAAE3719D5C55F73785C737E0183E227D6F784C0F967D583F862F6FC9D88E0D1A3119D55AC35A76C3A2E2,0EB593F9A701DF0ABEA2E2E8D7F2FC755A32DDE6D167175551927583A7042AE82F066D021041BA2D57D4AE97EE19507647528D998DBE036D0A97]]]", |
| "FP4trace" : "[[0C1F64AA9E98AA178E41709FA4C474AEC02F2EF15128B822D3E050EFE16B04D7FEBC734DA7B821439D9E3726BF19A61F2A9E6CA92775B88DDC31,0B1FDF642CCD4B7C5A3E3832360DDECEEA19E024CEA083991CE1C978BD7606F51AC216509E2F280A6AAAECE9447E92C1FE12ACDE15B4C6600F8D],[148E3B538DE552FBBB125010BA31C64FEA424CB451032E9FDDB937B5C3A90443E1CC4BF72E16A725FF511BC72877944FA605191BC802B845555C,7B9BEB4706632CE751605B08A656F81906E8E179AFE29680CFC59EFC21DC63B8B68D831C336A54185B14620E411C746B0BE7CF9AC760354258]]" |
| }, |
| { |
| "FP121" : "[[[1149B5598DCD3EB6E7D95F53C76B6C784151B9F7DE128D337396A61073A7171FA72AAE2163D6F5DF32019205BD1C972BBD7679905D545D14B7D4,010BC65FA7E0BE2FB1095D9E58DEEE3D625E7EFE72F5CB69980993034AB1C2C3D1F8423A71AF10904DF903896916ABFC994FA1CA243B5E22ED84],[024DC5FB86248AB55595EC5F857E560D61D5A454DB90FB39DB662F52C42E3C8EFEA9CCFD08AE1E3156F67B6747734F837751969AA6E6C4AAF0A9,01389D3EB9F917ACBEA6E943F05434036977E957FA8DFFF72D57CBC767FABBB1E408AE1C1B2A697C5117D54BE27035770AE83A88154FA3E4280C]],[[12217A6B089CA30C23B725AC24C31FA0A87C7A6BA2482520DA1AC7B9B9B62645CA16FCA171321E5B6CAB2E8F8E193E289D1222AA14C83B5CDC7A,34FD86CB9CCCF57A31FEAC4226E4A03E4221B228979124DFC2F40A6CBE0A7B6287E1C0365DA501D45A46172A800748E19501B2DA8D88BE2837],[0D726DE1EFA3290262E444755A590F7B12501420CD2E3E9B2450CDECDD0FD9179031701B60C950FDAE9F1394AF417F5CBE9AF0987960565E897E,07441704E44A762D893557CC4D58B5EE6498D48D7F99098B0AE11B9F33F4687CB038F08B12D48DB2E755F7059FFC0C9E2013F145BE61E7355104]],[[0DB179CDACD6657733C0665A6B9E47958EE3B6AD2588A433F7DEC24D508F9DCF844FD691B01C9CAD4C00C0A0F7E6E161551A3EADA97F43452C4B,089174EA4EFB2175120BE5FB8FE82EECAF53CAC44055091EF13A1DC13B1DFE721B454342382B0347A726CBCEDBAFEABE6B9F0C4B2BEF28AF72D5],[1244DA938E0E01606A702F367CAC67B6678B32D460706D529DBFE9F71DE11B57E37DBA8F4A4B25113979CB3048A3600F90F7925367F597728BCB,06599FE83E4C2C10E84AB7586DFCD3648330F5915CE7516816CC89514CEFB565D9640C0B686D0885A0A4943C2B03E0A062B906CE27FD4E2D62D6]]]", |
| "FP122" : "[[[0A72CC29CB6052A2D0443596F4ED6F34345A301CE2E1E401B8D9E6F3AD7F8859C504C203358A20EF58A63A1D08BE4865C7EE6C5CBE1FD0C39FD3,04F5DAAF47666271A4914738C4302C00ED70A595918683E9FA7B4C2B2261B06124A51A8A57C86C283EF05315F50A5498A30708DBDDDC4FEED9E4],[04BF9F8CA5D630325DFBF064AE9661460859A507F3B46E2110772743C2886FE80192CF04CBD0C39400FC96E8C221ADA40F9C07E88EE2C7789EBE,0399BDB3C2AEE8031745FC20CAAF836523D2A5BA43CD290891E45127E88702B1B6990189913EA533559EDB189397E7A30269704600DA85F02C1D]],[[12CBCEB4D7699090C8E7144E6CFA3A52A17669772FC00E7BA9D661C70F42FFAFB8A4CEC0C1A6092123BEDA027244326D65542017FDCBA9327C81,1453B25AD50967EF40692704338628B1872376A1B4B8FE6429C669976279E8CF4D7AA9EFD6D3AA6B83D6857E1456E9338E6BFC1DC1B6637B2B60],[02E99F3ED3E45CFAB3CD10F2F018E50C6F77E0EBD387FA69F2F4B90D4EED60364A12D4D6733BE958416C3E625009C7F1A45E0649ADCB80FAA015,11DDCF3CF4CFB8E70726A0A44051259FF7A9743296BE7AAB8FAAB084D78A28CE946176310C00DDC265BFFAA0BD3552391D148AF89834B72A8DB9]],[[0682C360EC58ACC912D7D82333F6791ED70D209F2406CCB9B5064AA5487E7088CBFE2CC24797787FFE7E205C5A560914D083D25E4C646AB3C6AF,15534460C5CA93EA0432CCA98BD7689F5DEF0BEB1C3EB74541E53456B2D81D0A96C150EF5615415C0F7E7EDDF687A16E9F2FB997609ECED689BA],[1471882135B4AFA1382D18F31FC5218B08589E56A331EE025080DC6554CD13D3CF90BA3F707B81045BB057B957CC7247619BDAF33461DD02F016,0E1B5718D82E6369B53DC8F26759FEF36D104E196145FAA8DA8C08B4973D09D4DAA8A8B10E501D098072CFD094C7AB48579EB459187193E77248]]]", |
| "FP123" : "[[[0F271F0A41557F64A092E74C81EF45B44F98E8277DE7E67511257660E75580071CDE6377AE5A2BBC1C40049907B1D607E6251E988CAF90375C90,14D76616504ACEA299D284C8AA0775AB01E53BE46C10E541B59545C779E2486C0267311FD583347932A5F4422BB2828BD1196328425F2940EA6C],[093E897572D30947421E6C34C15D7700F76DE5E912754BFEDBF30563CA2983C537B29377DAA1C11F3A87ADACD02C5F459D5CD0132067B8798F78,0621CF13EDDD501520F56508B6FD108D5FC41602EA9656BB0F781B6388FE8EE2E3A3FC5D8A7B221F7BDEB938D2B2092D659F0108F866EFC83ED6]],[[06175552F454D90DB6362C14BC9ADE863C798594D0BF14D4A3C97DE01982CD70B5DBF833219B343DFC980662DD9C2973E0EA000DA9C7180C09F8,06EE1AE657BAC85030BFDFD0DEEB571639C6A821A857D99E38997A80E29E634B29C606BA50E5F241F440A4F7A002C26A9AE9AE949C4E45886E28],[085A98649EC9ED97E8EFA824985EABFD33A68FCD28BA02249EBB7BA55BDC3FCB6AABAE61CA95C028524E620A5BAF48B38A96D69A5F30923D442C,12A11E5585B150E8D032D6D54083DBB2F9F437FB2D2EB3467ADF4C0F3180D653B9E6B9D063645651D13BFBD0B890AE88629648078E7495CEA11D]],[[110B8EAC6CAE3D6484D548A355EB37AD53144C503E0574AE4C4295F7C90EC58E67AB520F15B2BAF9115515A8B84D685976BAC52A5445D70BE404,12A875B70143544BED1041887E2BA9F523CA5F33E73D412036469CE69A1B451EFDA34A7E1523F58C6DA3038D98B95AE035758B56C1BF991E153A],[0E2B5086047DDB4104928449E9378878356D28358153D3222189DF421868ADD96592E84256EBD9D8A99A8E3272324AFA170B7A8310C93D731CAE,112CCF22B368D538C8E4139CFEE91CFD45D7D8ACEAE316EDCEA7636C7213A0A4FAACC07ABE1D60B11582AC74F06AC59D5E10BFEDC51652AFD604]]]", |
| "FP124" : "[[[096BA46B0D78D10CB551C5FF0AFDA734A8393F261982951FD6E4BBDDD2504DF1F7C283716D41387AE8B0A5730B1D2E935A0350AA49029204B9C1,0B8C0C45C313E92E22F455ED021FF265558B8FBD9F9AAEBE4F88CED01A47D0981323C670B62BE243FD22F1230585AC056110028F4A3E595490FD],[0BA4E0A2F714B8C760FC43D9819519809D3080FC5455EFCB8B6826BCADE7B057966CE6A46F5CF08A1C232D7D395E3BD81BF4E48BF8019228C35A,04B3F570D2FF7FED2874CB2D1A27DE10C24E633ACE5CEEF0125ECC5884C2F31C088EAEB6B73DEBE8905B9B9AA65761BF84E025FE69EEDC58C29D]],[[09CCEF922D8ACE20D4F0370481918E82FB87C671C3ABF4DD886C51660E9ACDB9713417EE471FBC6310D962084E7287A77FFDAB720E1883518531,0F6557DA7876DF6B88BDF3211704F3B7B0C57449217F89A673951ACBC0E5D57EEEBF605888B29FCAA92982963BFB44121D5382E054F05A09D669],[0D8CD51B0475B1FA9DFFF8F9FD8FBA42F82B3A2797DC7D3A51C6B5722015AC6275BACF8543CAC5FEB253859CE739785FA491FF55225E3B96F1EC,02FA834E3EF6E34F6D3805E102C29FA93E634571F1CD5C2B8A3A1728C4B9D67F26DD893F09B3952042FE11A0BC0EA20E226F957A59ABC6B45253]],[[051F7722A4EC6C34AB507E766B09C731129DE82414BFE5D1B951A6E200D5E779E67EB6C6DFEFE1E3F915DC958BEC31CA52E466E7756DA2B11EEC,0C26F9A30D2713E38A79AB23206CB2193B47E9C1F6F3D164F922779DAD2AC675518860817E4DB836ED99CBC9F1863BE6DB968C23B1DCD541BF32],[0E066789DE862D2F8CB796C14AF59852D4545E39CFBDDB67E8129DCB07818362536A2502366D5A3EDEF6CC769442B76EA6EF1BDB794AD4B0790F,0A7425FCFDAE339631C69CE3ACE67781BADC8423B72A10806E3FFB24BAC89079AF51D126DC5A8BCB8A7B778019AB4024227D6D60932C9A413DF2]]]", |
| "FP12c" : "[[[06EBAA75D5262FC8B1EB69420E8FE7EA65764344335240CB6E76117484889C7B340E63A78827C3E9B10C53E89B0770DE757E6E10EB586F9ED01A,0C8CD86262C807ABEB348D15FD66C9AD308F37E8A4C4008075C56AE7C3E044F5AE1CC4C556F7EFBAE7A2CCF2BA349F6EA055D33518D220841745],[2DBE1B0C4675F73F4FEB20D761DA6AC6398C663C9D96C8D68181E56A29FF3F403FC753FB8A22B3559A9C65A567BAC8BD35E45ECD6F1A106C2D,0C18AD3CA586088C328D039BCC32AAB972B15AFAD2C6C5B70A9852550B154AB62634AAA51F7947B4F50145E9DDB7372D5BE6C564ACBE86487781]],[[25AC03C65C28DA39014389D9A2ACE5A9ACE75304B99B9E415569AF5EAB1045FB8B4F1B7E03F76E53A2D5456BF1600784FC6817406CD15776F9,0E8D32DFD30CEE4A3C3EA8B04C16355289E16EF622499A0D11100B0653D3746E1844F562FFA0E88DCA1DA103DD4B16086CBF525321B22072F88F],[F561D8BAF72A977D81F884C49DC4C8679D3672A0AAE0E34596DE4E5FF39A7CD4B4831A59AF1D33A13419C580A4594A1A1317767E7DB0D68E14,03338EE12C6111076FEA7984A86690219F6EA1128239A80C3F4253C4F6FFFEE03652201F634E8B6BF4BD57017D2F9DF28139430A165BF61A11DE]],[[10D6C15E0EFB17F6CEA4FE79B4879E1058E60F7D1522FF52265ECF43197EB5B916CB0E7C31DFBF23FAC47F3EEA4D01F0AE6314595C2628979B06,14622F0767B136E0F954F2C33983109C77794DDAFD4306A38DD64B1EFD1CB30FCD2D3DC53A4046AEDA1FD06B3DAFB36DBD8F49ED4D298172B6D0],[0BFE21488220D6F9AC5D2939D6A35A19795553F3CB6B879BB43A897E0B501CB8F275D7256B4462B951687EA985FA2932D885F2D3E0BBA5A9954C,100E3903BC298468108C736E695751AE8C3F819F8C495AC93E657A8FC939B5BE43DA9A401747908602E16156D3BC0521E0AB75C97BFD066B3E]]]", |
| "FP12smulymtype" : "[[[0A72CC29CB6052A2D0443596F4ED6F34345A301CE2E1E401B8D9E6F3AD7F8859C504C203358A20EF58A63A1D08BE4865C7EE6C5CBE1FD0C39FD3,04F5DAAF47666271A4914738C4302C00ED70A595918683E9FA7B4C2B2261B06124A51A8A57C86C283EF05315F50A5498A30708DBDDDC4FEED9E4],[04BF9F8CA5D630325DFBF064AE9661460859A507F3B46E2110772743C2886FE80192CF04CBD0C39400FC96E8C221ADA40F9C07E88EE2C7789EBE,0399BDB3C2AEE8031745FC20CAAF836523D2A5BA43CD290891E45127E88702B1B6990189913EA533559EDB189397E7A30269704600DA85F02C1D]],[[00,00],[00,00]],[[00,00],[1471882135B4AFA1382D18F31FC5218B08589E56A331EE025080DC6554CD13D3CF90BA3F707B81045BB057B957CC7247619BDAF33461DD02F016,0E1B5718D82E6369B53DC8F26759FEF36D104E196145FAA8DA8C08B4973D09D4DAA8A8B10E501D098072CFD094C7AB48579EB459187193E77248]]]", |
| "FP12smulydtype" : "[[[0A72CC29CB6052A2D0443596F4ED6F34345A301CE2E1E401B8D9E6F3AD7F8859C504C203358A20EF58A63A1D08BE4865C7EE6C5CBE1FD0C39FD3,04F5DAAF47666271A4914738C4302C00ED70A595918683E9FA7B4C2B2261B06124A51A8A57C86C283EF05315F50A5498A30708DBDDDC4FEED9E4],[04BF9F8CA5D630325DFBF064AE9661460859A507F3B46E2110772743C2886FE80192CF04CBD0C39400FC96E8C221ADA40F9C07E88EE2C7789EBE,0399BDB3C2AEE8031745FC20CAAF836523D2A5BA43CD290891E45127E88702B1B6990189913EA533559EDB189397E7A30269704600DA85F02C1D]],[[12CBCEB4D7699090C8E7144E6CFA3A52A17669772FC00E7BA9D661C70F42FFAFB8A4CEC0C1A6092123BEDA027244326D65542017FDCBA9327C81,1453B25AD50967EF40692704338628B1872376A1B4B8FE6429C669976279E8CF4D7AA9EFD6D3AA6B83D6857E1456E9338E6BFC1DC1B6637B2B60],[00,00]],[[00,00],[00,00]]]", |
| "FP12smulmtype" : "[[[064F41F3CE47D2F9F240B0E6399EE86C6CD52162B304F69BA23A9065BCA0CF90B58DA5B55CB5C82E643D9C9568E64F9637EE9B2D00AB40C68BE1,01A4B9174277BEB976882AD74EE34C65651FF3E6364DECA8E2D71CA4FA098BC42C02851D45965AAB5CEBEEFA3EDADC72B65F56CC23654B0F3505],[102266E3874A1D42D4C12545079213D3EDF6D0FAB9C7F5A202D3E8BA4ADD1B44838F34EA2151B65262101CCF775E7547B06CB0CFE7F130E2E75F,0E69C86D8C0C1D8C325421AA25AFEA190A80BC6132D2A77082D226AEAAF13C3EB76F5880FF103605FEE71D0BBE1C9A6C46FB6E46A39678FA4719]],[[0C474AE932C516EFAB6535E234DB22E15A7739B9608EBED10A5D804ECEAEFDF0F74027929F5F1CB43F618B55BB1B1E13CD95A537CAFE4A775D38,0C70267FF5C2CFB8F4F63A5652E8AC6C316743E5B3B845A335D60041EE1A57170D15755A31D955AE8174245CBB424F92A2CF008DBF4049A56EB2],[0120030A35081909DDE0091056619D51949918B18F7046362BA008FE2165B30D88A4DDEAC55D2F83B6ECB3DD39EE2CA6095BC7F35B3322EF0E9E,07C9AF1D8DA46BC155D2C7D2D7D9F40152CEC4D1BE92C242E5CE6BE2FE6E6C701632DAF46FF277FB1BEE3C80C4966CCA9C46299F53E8E17E4B84]],[[0803D6062FB92092E9B92CAF17A3104CC17248A1AA14EDD318C0737DD8793980AB3A1DAD9A186DCBBC590C3433CAE677644784FCA6C142B0F077,0396D5FCD913ECA57AEE5D20CC2DDC883DFD00CC951C4ADA4C35561C5EC97CEA91F957F7ED0BE8E5A7D570E8BB309589D0878158FBA24518A43B],[64317812648380E662A628D0B917FC8C167117A0474CDE71A1D608BB92EC9E24CCC06A58443FFA9761E90969C67D1CEEC8CD956CBAFB75C8DA,14E0A8F3301C633F4D89A38C1C03008308B505BE5B13DD1F52324E4144EE22396F5DEDDECC66064B5E3CDB22FCEB937C1C93663A9DDC5345E916]]]", |
| "FP12smuldtype" : "[[[05B168BF45EA00AAC5EC7A83E51ED63F3648C92DF085AC50E388830ABF8734455CF43478712D9277976DFD5BB06041EE5239B0123FCBFE6C23AD,097D0ED8C9CC41B13F426A30528A8C16E5BE02E9924069B60D7F4DBD3874ECCD29F64095B82D8BE60A17A8BC46447751F41501DD74B58476C168],[D8A0122D8069A45C7FB56BC4106E9DF1412273C65CB81DB55082B966814083AC814FDA14440D70E6E2775ABE5CDE916C5393E4108F61E86BA2,07F806769D63F3A06E8C61EFD95AA51F1BBE8CAEE26DA52C181A4D0F2BEE622A4B21E173E96712875F6A47019ED0D27AFE8A8CAB039CD596F4E2]],[[093C684ACB8A10315AA104E2BDCBFA50CEFC5FECF3D7B0FAC09BD960FA24C0410FFA63AF43598336FF7CDC0014D9FEF58CDCB74EDF17E1D09E64,11C31C359C9597686921BB611E774C1F3847A370191CF96B9730D22AC0BD53B8972C5C078ED4D56621947FDFFA2C985A833A9E35BE36F111BD1A],[0E30AF57B05BC885994E93B249AC7227722271AFEF1C29C7F53E77820F7FEE3AF609A772A056728BDA2792B16D26364A0B9528E072F42BF1D6FD,0C281AA95DF2E0B05DEF33DBFE07777B3BF0EDB9E6AC9A794E7FA782696AFC4A1CC11F887112671DAA20BC1AC6106161DFFCA4AAB60F98B84BF0]],[[01B27D52976D8BEF2E8BDA0F1C8934C6937F3ABCEC542A2776C67E647D11E382B25BDB0029E2EBFAE85E6C831896B503EFE5810D384788584914,03D8E72D97C6DEB6884CD5EED9289E9F5C00F58544EF73DC1A7F5C476594DDB905F55D49B56DDF39D1BBD1D3EEB1EDA2469F2C63DA7D7289C8B5],[079EA530B9C5674D0099D56B629BA5876D87DFB8C6718E9826710E1E5E4C36CB331B12FC0789756AF96B7FE41E949304BEC439CE9B188DFA7B71,11C6BC4E8211368D25243EA77AA08E40FAFC49388BFE0F28F4999999AA6DDF4B765BA74E8031B3D7895C36776FCA86782A21192F5723F8C0A859]]]", |
| "FP12mul" : "[[[0F86D9844A0EF860537F21149304673BC8C8CCE2FD77AA4F34F11E06D7CDFE6568B08BCE73DE8FFC09F36758923A5F2E88E236DD63B1E976EDE3,04597EE33E8C699C405C50CA85EDE2AC532092F98E284E2AF2278218171AFDDB728C60462197411773839BA7301626B57AAB66AEDF97EC59563B],[100081F89CC90C0FDE6C0B14B94684CE84BB5D3BE860EBE07469820B2DFE809AEDB8DBB193A73E7E01CD7D82A6761EAB3931E8384ACB31C72434,B23E85A4454830ABBBC54CA96AF80E1DCC44E17F6D5CD88E24727D82426251E1E8B90E45B00438E918E4EAE7BBA56DD5EB109D6E9E3412D652]],[[0D7085B68499081974DC1882ED20C821F274588444772839F877C738896DCE4FCF1C1D9ED2791CD12D41C6325551D8632CE03640204652C5F7BA,098A371BDC71955D63F42AD9C529ED5647121BAC7D178A229B0F2007681531D0D3026203393C433943DBA6A96577DE7B206447E57E56C598DF4B],[0525BA28E8067CEA301F828DB46033139B8DAFB454D0AB0DB1703DE4539E52BAE2CA8248D7DD921F97FDA5EBE4A0621841A49A5EDC404DBB9A25,0AF4529E67F6D1B804B5F71BA78331DAA97A7D34DF1CAC31EC43FE58EF6B1632B9D8C1255DD13616F37F9C6C8BC18C82EF4AEB3075D25D7C92C2]],[[018ACA04A88271AC1186D4B5D97CA027241E60568AD17C3CE20CB31FE54ACD40A9CF912605A7F8367A23F9BDF65DBFBC99F716E2856B96587776,145D01666E36F5544D6516076BAFEFE666C8E039B1C76E7A89476908A5DD6ADBBE6ABB61647541F2FED267EE6AF298E0B89275CCEFE0B4379D51],[0486ECCFE0B7711EF6129614C2A06B7D84D5D52C619F4B6D7C808F45F5EF65A3C38887EA061D811DED71C823E3BA6A52D9169B9C121FA184F27B,76AE7C40AF521EA3BFB3B0749139EC75A24D9FDF9611009A62DD1DD8B58318AA05E41B1C0B5A92CBC2D1F74739EBEFF01232F9F57E05F9EA38]]]", |
| "FP12inv" : "[[[1149B5598DCD3EB6E7D95F53C76B6C784151B9F7DE128D337396A61073A7171FA72AAE2163D6F5DF32019205BD1C972BBD7679905D545D14B7D4,010BC65FA7E0BE2FB1095D9E58DEEE3D625E7EFE72F5CB69980993034AB1C2C3D1F8423A71AF10904DF903896916ABFC994FA1CA243B5E22ED84],[13078F49CF28CFA004BFEA348F1509B00D488E83DF3BA941391E5BEFE4B1BDCD1E164229A1E3374DA94984B8B89205D1D35914115919E5FFBA02,141CB8069B5442A89BAEED50243F2BBA05A64980C03EA483E72CBF7B40E53EAA38B7610A8F66EC02AF282AD41D951FDE3FC27023EAB106C6829F]],[[0333DADA4CB0B749369EB0E7EFD0401CC6A1B86D18847F5A3A69C388EF29D41652A91285395F37239394D19071EC172CAD988801EB386F4DCE31,152057BE89B08D5FE023D7E7D26C7B1D30DC11269235135634C197383C21EFE0BA382D667433B07D2BE5BA08D5854E0C6915A8F9257321EC8274],[0D726DE1EFA3290262E444755A590F7B12501420CD2E3E9B2450CDECDD0FD9179031701B60C950FDAE9F1394AF417F5CBE9AF0987960565E897E,07441704E44A762D893557CC4D58B5EE6498D48D7F99098B0AE11B9F33F4687CB038F08B12D48DB2E755F7059FFC0C9E2013F145BE61E7355104]],[[0DB179CDACD6657733C0665A6B9E47958EE3B6AD2588A433F7DEC24D508F9DCF844FD691B01C9CAD4C00C0A0F7E6E161551A3EADA97F43452C4B,089174EA4EFB2175120BE5FB8FE82EECAF53CAC44055091EF13A1DC13B1DFE721B454342382B0347A726CBCEDBAFEABE6B9F0C4B2BEF28AF72D5],[03107AB1C73F58F4EFE5A75D97E6F807079300045A5C372876C4A14B8AFEDF04394254976046306DC6C634EFB761F545B9B31858980B13381EE0,0EFBB55D17012E44720B1F3BA6968C58EBED3D475DE55312FDB801F15BF044F6435C031B42244CF95F9B6BE3D50174B4E7F1A3DDD8035C7D47D5]]]", |
| "FP12frob" : "[[[1149B5598DCD3EB6E7D95F53C76B6C784151B9F7DE128D337396A61073A7171FA72AAE2163D6F5DF32019205BD1C972BBD7679905D545D14B7D4,14498EE5AD6C9C25A94C78F5BBB471800CBFB3DA47D6D9117C7AF83F5E2E37984AC7CCEC38E244EEB246FC9696EEA958B15B08E1DBC54C87BD27],[0E6E74DF1B3FFF60035D35DBCF034FB299CA71193167F3EE3A270D77DB31211C12D573F269D002118BA9F09B8A5A87D17C0D3D8C0E04C2FF4804,0DCEAA78A275FA39B8A045710C14B8474BC5E492EEAFBEE0A13FE80A77A59B2834517E9CDA1AB566E12D276A6EBD6651E85DC2587C886A7726F7]],[[073A13485542A7A39EE55F557D80DDE553FA58774C7CBBDC0755920D4AA9DB1217D57CE71B02A38FA65AB6E0C45634FBC8519550752073A26243,1238FFBDEDA0D780D834C77F62872C06AE880017E8FA46CBFDBB6DED794DC78249ED14673529AFB8D0D98E62DE9750A5482843A695FE36F65972],[15377FD7FD4E878FE1D074CA56F6A135B14A1003B578A8D67E7D83E193252022197452039451D9450ED2CAA3E25F82591B651CB247DBB661EF43,148048A630FF2D9B92A5C5984607070613EF27A7B1CA7C1B9CEABAC013A389924CEBC8B22CB975DACCB89D907559BDCB74D3C39850DE63F346D1]],[[0FA9D276E5BD46848234666B3C2CAC789D4F124F6093A07E6EE70A7260460338DD04369FD9D77BB16807E274D2BFE078D1D34921FC13A077ADB7,123F18907FE37BC53632F0FD4A6173BFDE453F9B408340C0C90A5E0BBD96D2B9ACA9523237B658B6AC9AE5E234ECE9F95F16BFF3B59AE0AD0417],[05852E5C2466C2B9DB3829331E217B452215A86C406E1CAFA0E937882AEE64DAC6163E4AA1CFA5EEAEDB932CD8C5D960E9FF2E51493646DA1B3A,070BAF2A91D783D28F9CA8C423FFEEC0DB41AE8E7C8A8BFE067F9BD814F9FC36DE33295A0F6A08C75613C039F2563098152D973D455339B41656]]]", |
| "FP12conj" : "[[[1149B5598DCD3EB6E7D95F53C76B6C784151B9F7DE128D337396A61073A7171FA72AAE2163D6F5DF32019205BD1C972BBD7679905D545D14B7D4,010BC65FA7E0BE2FB1095D9E58DEEE3D625E7EFE72F5CB69980993034AB1C2C3D1F8423A71AF10904DF903896916ABFC994FA1CA243B5E22ED84],[13078F49CF28CFA004BFEA348F1509B00D488E83DF3BA941391E5BEFE4B1BDCD1E164229A1E3374DA94984B8B89205D1D35914115919E5FFBA02,141CB8069B5442A89BAEED50243F2BBA05A64980C03EA483E72CBF7B40E53EAA38B7610A8F66EC02AF282AD41D951FDE3FC27023EAB106C6829F]],[[0333DADA4CB0B749369EB0E7EFD0401CC6A1B86D18847F5A3A69C388EF29D41652A91285395F37239394D19071EC172CAD988801EB386F4DCE31,152057BE89B08D5FE023D7E7D26C7B1D30DC11269235135634C197383C21EFE0BA382D667433B07D2BE5BA08D5854E0C6915A8F9257321EC8274],[0D726DE1EFA3290262E444755A590F7B12501420CD2E3E9B2450CDECDD0FD9179031701B60C950FDAE9F1394AF417F5CBE9AF0987960565E897E,07441704E44A762D893557CC4D58B5EE6498D48D7F99098B0AE11B9F33F4687CB038F08B12D48DB2E755F7059FFC0C9E2013F145BE61E7355104]],[[0DB179CDACD6657733C0665A6B9E47958EE3B6AD2588A433F7DEC24D508F9DCF844FD691B01C9CAD4C00C0A0F7E6E161551A3EADA97F43452C4B,089174EA4EFB2175120BE5FB8FE82EECAF53CAC44055091EF13A1DC13B1DFE721B454342382B0347A726CBCEDBAFEABE6B9F0C4B2BEF28AF72D5],[03107AB1C73F58F4EFE5A75D97E6F807079300045A5C372876C4A14B8AFEDF04394254976046306DC6C634EFB761F545B9B31858980B13381EE0,0EFBB55D17012E44720B1F3BA6968C58EBED3D475DE55312FDB801F15BF044F6435C031B42244CF95F9B6BE3D50174B4E7F1A3DDD8035C7D47D5]]]", |
| "FP12usquare" : "[[[058B2910470ABEC24AEE204142EF5C93F231CAE3F94823BECD6BBF5A0069B3A6F4908B75C392ED26720AE826FEF8FD613F55A70C70D8967CD4EE,0D69BBB17D875434C21549D83CDDCDC55029F239BF9347C562D73B9C4D488EBC9916A0C560A35F88B8B89A4E3974880B02640450066C82689938],[064DA51D8F786F8595063BAE0CD08448F055CBB0E5632C1C086302603FC448486C2155F2FCB6DBD85B4ADACD1322D42DAEB62467914EA48E0316,11650E7F6F2BC46510BD2562CEBFEC7E42F811851057371689C8790C533E374608C711079B990277105879D9E90079D39A222AF0B97949475409]],[[0E99C56BF67CD495D48D8AF0247C848CD8A682B33995195AFD6382143069C291020A89814C26BB422D3A6293D115D0ED84E37AB1E19B8FB399E7,12651B6D6F18B4EB7FD627AC2E93F403CF82B80CE6F30297C836F5FCD3767E4FE17A27E84996D0F4D2214F3BD61ABEFE144CD0445B69FA0516EC],[0137D725878AB3AFC7A0B2A9FA74230185A8F510636B02C12D07B64299CD989A8490C572238D2591A6402E90F3C216A409A84F76188BD09A262C,08D4281ECF846B69210E30E77C0D06BCD79FB2581810377B88C60BFDBBCB16D051CCF2A82A59751B6B93E9CD611A893CF1C6DD94D5E77C7178A3]],[[06F8A8A5E67BECECB115AEB3572B792AECCE750471E18B91542F820FF00E92C3146330F8B26BBD3E67DAFF26CDACC8DBF9BB5B0E41044139BAD3,0D7009C68A53726DC55AA589907A19C8016E6E6D69385613259984CEA53CE86DAFB9D4D472C3D47669FA55DF03B791A78950882686064A9AC62A],[0FD216C5F1A326B3A0134B2EC9668DF091093B746A6B7E0FD239A4FCB592E742E2C9366D20C9AFC78224E71DD2C19AA28EF942B7BC2B78D9C1FF,08AEF7EFCB5D0E2403140A6A4F38D6708D295AA643B8C3AB38B6A685D5FCFD580CA936042D3ECFE84C0A76A103393383729B9D8DBC30460EF802]]]", |
| "FP12square" : "[[[058B2910470ABEC24AEE204142EF5C93F231CAE3F94823BECD6BBF5A0069B3A6F4908B75C392ED26720AE826FEF8FD613F55A70C70D8967CD4EE,0D69BBB17D875434C21549D83CDDCDC55029F239BF9347C562D73B9C4D488EBC9916A0C560A35F88B8B89A4E3974880B02640450066C82689938],[064DA51D8F786F8595063BAE0CD08448F055CBB0E5632C1C086302603FC448486C2155F2FCB6DBD85B4ADACD1322D42DAEB62467914EA48E0316,11650E7F6F2BC46510BD2562CEBFEC7E42F811851057371689C8790C533E374608C711079B990277105879D9E90079D39A222AF0B97949475409]],[[0E99C56BF67CD495D48D8AF0247C848CD8A682B33995195AFD6382143069C291020A89814C26BB422D3A6293D115D0ED84E37AB1E19B8FB399E7,12651B6D6F18B4EB7FD627AC2E93F403CF82B80CE6F30297C836F5FCD3767E4FE17A27E84996D0F4D2214F3BD61ABEFE144CD0445B69FA0516EC],[0137D725878AB3AFC7A0B2A9FA74230185A8F510636B02C12D07B64299CD989A8490C572238D2591A6402E90F3C216A409A84F76188BD09A262C,08D4281ECF846B69210E30E77C0D06BCD79FB2581810377B88C60BFDBBCB16D051CCF2A82A59751B6B93E9CD611A893CF1C6DD94D5E77C7178A3]],[[06F8A8A5E67BECECB115AEB3572B792AECCE750471E18B91542F820FF00E92C3146330F8B26BBD3E67DAFF26CDACC8DBF9BB5B0E41044139BAD3,0D7009C68A53726DC55AA589907A19C8016E6E6D69385613259984CEA53CE86DAFB9D4D472C3D47669FA55DF03B791A78950882686064A9AC62A],[0FD216C5F1A326B3A0134B2EC9668DF091093B746A6B7E0FD239A4FCB592E742E2C9366D20C9AFC78224E71DD2C19AA28EF942B7BC2B78D9C1FF,08AEF7EFCB5D0E2403140A6A4F38D6708D295AA643B8C3AB38B6A685D5FCFD580CA936042D3ECFE84C0A76A103393383729B9D8DBC30460EF802]]]", |
| "BIGsc1" : "12EC0C3BB8C63E0C98E32B84612B909B42272E9CAE0C2BCF7298681934EA3E3C57664436F38A340CE97B81B29F18107F701F0DE97DD5AB67E2DD", |
| "BIGsc2" : "0229311D37F047C9D3639B937EE5AADDA5702CB358E6DD860B788083C37C4B0E8CF9260E9AE613C430548252BD6D702E98DC77578503158D15A8", |
| "BIGsc3" : "0D672DE444FBF6FB0E5F30BEB92D1E306CE7747CE1B6B1DE3CBEB5ED06BFAF4928683E4C069DBDB1190D80F32DC1F1AC0C5817BF95EEE9822C17", |
| "BIGsc4" : "0344D2B28C3786AC61CFB50BD154372333D932AE08E1E0F284CDC514AB600287DDFC353D4C8323E3BE65535434E1848BD00D4706C8BF14F086E5", |
| "BIGscs" : "0722636AC3F72A9DA6B93F1CE3F80FD7431FA3B8739AB0426E2AAA8F82A514407AADFCA47D6377", |
| "BIGsco" : "0FFFFFF7FFFC0180017FE05FD000E801FC017FFC80001100007FEFFFEFFFFC0000000000000001", |
| "FP12pow" : "[[[0F5934085EDA7B1A3A5DF5A0402280E5104F2DF78EC6311BD22E1815C563FCDB7AEE855A699A7FEE1749C5F77719673071E58BEDE2D1CA88B28F,02397C2100D300C3E0734496C1ACCABFE37C97D2A4BAF0AB932AF55E757A8EE4D1234EE5C2720208BCBA659B3D07A89D7CC6816555443B910EBE],[108204ADA6C92F5676D59BD99C123A4CCF4CF95F4F61695B56E38DDAB738DA5FE556257270A6AAFD378055F9D57C22CD7629681FD325599AF53F,0F3B695EBB5AA11CBC5BB7B2B329895CC10C57F9ACCF1B91B87FD4BEF0C75A305F07333C9A53884747F32037A8C4BFB84E74B39910CA7E6472C5]],[[1224D114977ED972C0D84C54148E2BCBAD15DA153039DDDEE40D89C7C102DCD19DE6A9351062A3A38C8F68AD589487F28559252FFF732ED9D9FF,0AC363949BBF4B9C502FAC9842A564DBCDAED78B1ADAB70350E280094B32C67F7BD9281099460F925FFC933834762B3825508F16A22A832C6A45],[0A895D8BF5AE824D39A5274C173DA1965C3B0DF08F696BF92C1CD80A5238337294BD8DE116203BFDE980EEF81C27CA13F95819AD8C3D092B75DC,0CE680A64C96D1C8238A450FC2FCA9C96BB7A166AB6A8A4A6CF48D42A01EE8D7FD1FE887FA0FA4A36070B9544D68BE6E2EDE0DE0CA2C5C94C62F]],[[0EC6231ABE0EEE71D93A543CB2761F024B20ED41E4DA7EFD64D4F53F8037E751231E3DA17BEFF9A47367691D2B8B93D470C35A040D5FA10F9DE0,01F2FDDAA19D6BB2F7A08A964F2D94891AAB85CBC663A31F5FE41640E02DADACB6AB0725BDB97CF20B6568693ED7B0218984887FE21216F8257A],[A65A2CCA3C9CBBA38BCB2628EA370CB35B6277C7B2D30A9972158DCDFB096C62B455FDBC1106849FDB22A1CC70DAE080BEABC6E836F97F2D5F,11BC11D21A28C9733A283124B95ACBD1CA63B711413F600D28E7BF82BA63901E8B859BA03263E7EE8A4D5F33DD055A891B33AF569EDF17C0497C]]]", |
| "FP12pinpow" : "[[[058B2910470ABEC24AEE204142EF5C93F231CAE3F94823BECD6BBF5A0069B3A6F4908B75C392ED26720AE826FEF8FD613F55A70C70D8967CD4EE,0D69BBB17D875434C21549D83CDDCDC55029F239BF9347C562D73B9C4D488EBC9916A0C560A35F88B8B89A4E3974880B02640450066C82689938],[064DA51D8F786F8595063BAE0CD08448F055CBB0E5632C1C086302603FC448486C2155F2FCB6DBD85B4ADACD1322D42DAEB62467914EA48E0316,11650E7F6F2BC46510BD2562CEBFEC7E42F811851057371689C8790C533E374608C711079B990277105879D9E90079D39A222AF0B97949475409]],[[0E99C56BF67CD495D48D8AF0247C848CD8A682B33995195AFD6382143069C291020A89814C26BB422D3A6293D115D0ED84E37AB1E19B8FB399E7,12651B6D6F18B4EB7FD627AC2E93F403CF82B80CE6F30297C836F5FCD3767E4FE17A27E84996D0F4D2214F3BD61ABEFE144CD0445B69FA0516EC],[0137D725878AB3AFC7A0B2A9FA74230185A8F510636B02C12D07B64299CD989A8490C572238D2591A6402E90F3C216A409A84F76188BD09A262C,08D4281ECF846B69210E30E77C0D06BCD79FB2581810377B88C60BFDBBCB16D051CCF2A82A59751B6B93E9CD611A893CF1C6DD94D5E77C7178A3]],[[06F8A8A5E67BECECB115AEB3572B792AECCE750471E18B91542F820FF00E92C3146330F8B26BBD3E67DAFF26CDACC8DBF9BB5B0E41044139BAD3,0D7009C68A53726DC55AA589907A19C8016E6E6D69385613259984CEA53CE86DAFB9D4D472C3D47669FA55DF03B791A78950882686064A9AC62A],[0FD216C5F1A326B3A0134B2EC9668DF091093B746A6B7E0FD239A4FCB592E742E2C9366D20C9AFC78224E71DD2C19AA28EF942B7BC2B78D9C1FF,08AEF7EFCB5D0E2403140A6A4F38D6708D295AA643B8C3AB38B6A685D5FCFD580CA936042D3ECFE84C0A76A103393383729B9D8DBC30460EF802]]]", |
| "FP12compows" : "[[0D7E4A3C5337E7AE900972EF5AD072765EC70915E8F447E7898AF74FC5C2991B15E34B710C7CBC1B9471CDADA54C50BBDC459F9BCF4476389A92,06FB6E4346ED4907809DEEF069DE0C8563CA9EB0EB431F916C77469D173627BFC8E0E98066815DBCD2584372C10C4E2F7320D67C7ECCEE33692F],[01D5B31A89BD06D8C7E58F06C67A1B115BAE974CA56766FDE58A1FA147D057E73A229E8A5C8C448EDA09F00B16CE7880A3316BE88BB1991612B0,0CB0513272B32AFCE7E59402355582C8CFD0DBBF548D9336EDD6DCAC4249DC4C2878BDBADCDBE05920113FF4E60F4B0A2E793FB4267DA6CB3FC0]]", |
| "FP12compow" : "[[107BFC57AC9F063B2D43DBDF56CBC573BF97B8EA39E4F04EB768E72D1D5727A97D4241ABCF91F1EDB7C38156AB05A0B6357F35C49B0FA99EF240,1188BED260503CBF72A5DFF72340C1E19E9494AD44CAC8AEA0265830F2A7429A80B2DC9A9710467155847079B8493E2BE7797D9923B84660AB04],[07177194F6CAB005D7A9525C1B511A00417D73EE1BD877864C40AE8EF2BCC692E84CBA5063A54116DE38CBB6FCA70922AE70F8FC7E6CBF9BF25A,14B7CB4D2D0673FB71865D09E907F96238EB757F3D799F68D454011788B75CB3BA80F360FC00B3369DFB799FBBE0D497C9274A2FC577227F7669]]", |
| "FP12pow4" : "[[[0284A6A76825E316E493A848DDF45CEBE39A349B91D2742E90E67B083B181631C7B03618E48C7D096C615A36BAEA9F67D777266AFA4929E54A06,14120F454925AE7A1E3183005321812E3DA61E7871045E8C3928CBE8A6B8FBD404A65E7B76977215222A5526FC0F39CE4CFEB4000F1ED310E81A],[0C8B77EF1B537AFB507D1C090DE86A82BF5473E13274CCCA6A9790585C3DC03B4C8B0EF9ACE3CCC7AD45DB7333ACB5B7616DE7BE48F3CEA182DB,082013896D78349D98CF596AC8806AD0AA757EAB89095CD5A3A660354067D1D2B982B70B01A75F6CE0CF155F7C4D5F0416CE9DD6F2EA4CB406FD]],[[0E3FDC3DAEAEF08CD47926D1052ABFBA141C4986976571E5F975DC433C294C118E11F887A74EAE372598B55E1D234977E864044966C02EDD37D1,04C978A348069E1C6C6FB3D311A0743BF5F02C6D9DDEB2BE4ADE3704B52FC26C74C93D57FB46BB49A04E47148B0863E553466EF34A984C08AAED],[14D64BF68B483A34BE3CD3C00D66B07CB72D93B88A2095EFBD3EEC9370A2013333554D5798A742AD8B891E801E459273A8DCA8182F5277385015,01007361AB28EF992768D570F729134F577B970F83BEA072F87CF7EFFE5027FFC1586753BC8F90D0DB0B36C5E63E4E89481F8A26CF8B347A5346]],[[084B4A1D0E0E750F73CB6B7D0FDDC0B24832F2B48CF2216AF0B7103E0FB06C8CB561413541C838CC444756B2B1A8CF5D8AC1F515E3A2843AC01C,0FD5829A934181ECE6474965679A1B921EA1DB675FBA44CB515F302AB9B5A648757629F9F9BDD114361DA733D69CFB6CE71DE9E8771A509187C8],[0C5CA56EC57BE2B14F0EADE0A01A696190A18EA60137EF7850DF7BB2FF10CB45D16E8AF2DA5FBDF4DD172E057817EF7E005E06BE8E08FC002F1E,068CF88A530E41D555B0921F9B20CDFCD40D0C22FFD421649F838327D3CF2EC29224EDCBD9AD944F19E60D725C4CE472D3082C5995E354A6C719]]]", |
| "FP4trace" : "[[09327581FECD077A02E070D32D1B85EDE5B8C836249E5EA431BADBAC093550A6BBFFEC16D662369F9584B5D1374B1AD8A30E175917FBC1E8D226,0323531EF7A23A8F131C18DB0A9CCAB8271B7CFB58E1623CC81CB909E015484B75E8C6AF550D31B0E9EB0A9C3B4403F5CBEEE55E6CB21A68C88C],[06E951F2926DA02000C1C51E907B02282580ECFE92B2F1AD92328DF84C8AB5ACFBFD66F71A0A5A9404E37235D659EE8A65F4C3CFF4B44E00D1FB,03A9D7BC2DEB47063BF4BBCBD0FC9C0A3C67BC07EFA9FFE58807635637F03315AC1A0A54517F3C74F3477FE3A750A06520B8AF983FEEEBAC7824]]" |
| }, |
| { |
| "FP121" : "[[[0F542EDDA6C8E3A1496AE44BB9DED3BEFEC5BE26E06D31E5F454334E5E0E4EF38F346225C0A6DF995E7BD0A269716B69BA0458A832A0AE32BCB6,117B603166FA3B389AF52FA4BC920A9FF21F5415E15F63E3D178ADB956E626ED01DD7CD0EE557D7E2626D473E16BFFE9164CE556D339C124D0BB],[12184DD9A636CC9EF9338D545DF55238050E8CFDF889EC70BD52D19A62AE115047E8CE17F4D7E87411C2F3FF6EA4432EBFD3A6A7D1648D0B12CB,0B419DB8CFF10E00119651A38FA0437063AD52207745A56F504002FDB897C393F2C95C39925AF9FE44F4E4BB23388526E6E6146C9059FE746063]],[[E9CFB6CC2CD3A67471C69B6E60C35ABF552233CA72FA59220F97468D7B84FE7E3890D3B69EC7A9B15F9F77FB6E8C5A9414CF3E5780EBBFA347,0D1D907124FCABFB7192392A22E268C37349905A334D82F1303623BCE4D4E6A0946CF30692594A7AAB0DD60DD8F0A63913FDE9C6722D93E94899],[0FEF1264C2409170E892B4E1B4CA222BA2F9F997321A1D953148AA0B96843466C711B967EA09DDFE5BEC0902CFA0FC771B54D50A3DC8886A91BF,0761932AC3DCC4C44786FC12041FA3728DCCCAB5803AC52B4F2FA283B51FF7835AC99F28AD09745E0930C866416C7096858787E9EDDBF2B7169B]],[[01BB6CC1F296E28BB2BFDA55D2EFAB63163667ED8CEBB5D5B30DA0CB69B8A634765F737E91F385D0B7A36897213D1C3A50D6942DA803C1A605ED,1008B37050654ED0F7230842BD295091835BF85D778150920969D65AF3DD10C4E16D060E101B34A3B9B0E3E19DF91C86891C659C0D0333F5271D],[11C7EDF912D69B4D0348F7E8D37DA056E705284E8A3AD8589095AA0190DEB3F4F9A6EE01421E5142F8435F479A28BB390587532F788C0160B1D6,0579887F778B1B97F3E9F178E945587B30A9168E2757E1803F87EE3F7F2C883076F8BFB98E332050173F9CFFBF0175CA59423EF3739575276654]]]", |
| "FP122" : "[[[0F7635635D0922086A9C8CEFE732EF725AB6C1839963DA712465FD938BA4B034AC11D156F1D02D9349A9F63DA9ED2B92E1AC20FA119996B92547,03BFAC35E91218109F02497B4F44468A6349B10B0E41CDA53665EE3DD1A14153CD08146F60CE51C1BA15E99B40EEAAFAC0377F4512294B735E86],[B960C73C89C041D6C2B5DA9E77E8A57F3621D59E1F4B2377AB68BFEE32BEA10225AEBC74A356BE300FCCD69EED94F48D3A1420D7AD77C1828A,099C9C897A419A7C23CE6C1AB2101398D70BBA8D5D7585ECFB20418D00B80FFB91DAE1E2AD970C85D8AAB053C177FC41889648FFB59E02D2D6F4]],[[01EB20278347E88257CBC28B9FCC193448BBEA9BC85E48116DEF6D29F6C77253A236C9FEB5B0B633589A05DDFDB9A779AE3CDB900D31F6835BA0,0512FE2AC632BCDD7681C4C86EF08ED7267EC804A891AC97CF7E405C8549473EB13E10B41CCB7C7BD7D8D670470F0D57726B70E044CB5D7A2BC5],[109F57836A6C086FAADA551A64D93B6537E096189F73EBD40CC9F35D744A7EEF491D34206927D89A63685A5C96BE8208F5EDC4399FEB597B09F5,08BE62164BC6E53B2DE614A51D778F9D9B915BB41A322991733F36F989324471387355609E2C031BDB663D1A5251E8258E2D0FFEC0299713A7E0]],[[076BD7ECC8B653FE2FC57B42D0D4E22B5EB99FF2579B43B6476CA2282D194421E8416CB0CC6E4C2982AD10E07FDD8E6265B6145784D4635901BF,0757D9325976380CFEDE5D71F8733151B29F5E222DF4D46BE07A7A07551F366B97F828202C19991606EB5DF6EF6AC5719CEE13B3C6A6A87AF126],[0B565D4A8CD3EDBCC21F687036F173AECB9F9A2BB313540E7D7DD759E33E664076E1EDAEDEF03948B37C51268B4F3F21BB023D3DF5BFE37251C5,10E5DF64367C6F6A355C1FB19F741435E9B2433E4CA2FF6DB2841B1BDC197F2AC324356D9D100F0817D0825443206540928B1339E92C8C552462]]]", |
| "FP123" : "[[[01E43EA28BF8A2E6D27D834EFCC651966B06F1A38751F7EE2053F783C89BB820D0995415AF2115C808E14D48947D3F4C7F8847239C5B937BD91A,11040E0401CE3ADA0939670D96783FF8792278916A4775EDF9AC491123C438419D67128747B62BDB5B0D0D857DF57F307DF99D828B7D4EAA374C],[103ED207E4D627FF33A80F1A1CC1C84A27F227F6E86AFB992ABA0CAAFD60CA435516FD16046349EBFDE73D96309ED4E962A3D15186BFD5EBAAF4,1221DE9260B68ED1657F0B64A60C3EDF397A3C28BAFC96645F97099D80EC550DD7EBDD63C97B05FDE80EB7C96059097D07861EEB8EE088037CD7]],[[0D7122C0D52EF6DAD89EA8912F47E63C699A22631591A0DA08A06D13840CE5CD6A7BDDFFC171DC1B40C0F3A803CE102F221AEE573E0FF2008A48,2BC104D7F7F69FC5AF5CB2662F941802C286752E5126887D00CCDE1F8442A2BE3839040E74063485FDCBDC58855D84D9D0A86CB1C9907CEC8E],[0E58B72401A0AB588199881F2BF92325E612CD6A95285784AD063FC0FF74B44025EE573FB96D88FFE6806E2C8480681D18C172D88B42AE12C382,0982165287B1E9CC64310F702FECAAA52E19E0621A6D3577E6A507C3F02FB3DB9AFADC734C9D8BC5BEEB4BF83476071AED8B68FC03F5A114D371]],[[0AA2AD8C5C711313A8514E37DB475C0544E0F796A48D5EBD85AA7B4EF11425AA15A888125F4F8402F16D80EE5CFC117BD8DF53653C8D5EDF0D5F,108CAD45ABF9EBEB231635997E84AD336B05D150D7C1F891BD3FF749ED43C02FB91924375F32ECE861CC0600646B81C62FC93B53D64639ED705F],[06C931E710726A3D1D9CD0454771405F4E24C59ADDDEBE181798CFB73C06A9BAF34E4E24841E6F13A7DBA875520ACCE1E65FC59A766AC3CD3025,10DE8608A82919FBD648D9EE08C05044B67514C345F4FDCAE7F7CD8D7097603530FFB221546E1930AFF7A3EB0D2F9630AC6C50611DC422A7DB2A]]]", |
| "FP124" : "[[[0522DBF5A8A89A8EAEA0D27B027E997B649E324AA5FDD5D07759DC41546A3189744E81F1A791C28CFFE4AC48D90FEE6AA4AFA4D13B9C7C288072,02FBC36EA36107542C19730C8B65B9B3CAD7B05802FA168863A860939D2B62E8FFB288D0131976EBF71118429E7551173E9D008E3404C63F042F],[0CE28EEB930699ACC5FCF81E038924BFBADDBE5141B1F72509BE6943C6A31071A9117839E91A5CCE227580C197521F9B0F0E843893CCA8BF63B0,0A6098897F0095A59BDC7D16617F48971EFD91F3BE073CD28F76C5B0E55549FA795775E2EF30808A231DE7C76DE39B8758526AE8A8AC7196B222]],[[145FC84A365FC9695B490E1B7F1470C61B6108C30F6F6EAFB46FC572A88A8F7EB30A4CA516EE6D70DEEA3A9750A01F141D22C04ED0BE230F080A,015B97213C0739B4F4C3E7AA560543AFB0B1C5CABC0660FE00E3C9CBE83D5A09A18DE71B0104FE456D6DA7F68FAD3E180DA9A3853080DB0C99EB],[136CB39A4B67FDDA88D640F84553028DBEFA95E173B0F4793403AFB972DD6C5CF7EEE516AB826E20E29050F3DC0D518EF42358B2EBE808335957,0FE45C353B3AB98BD8957FF968E6800CA73EBB1EFFB720A7D03446C040F8546F3719DE4EF26259A355EF5BDEADD48C6330191DC31C52A2093B2A]],[[D5E8571E417247A0781E72ADB67DB88176004F2B70E992D1CD2222915A489D512FC9631315BBEF3184ACDE5BB04AFC7FD7D818E5981212ABB3,E70F372A133BBE3D05B7E63934D7E3941423E6D55AC5A9989FC1A1067A3ADF1BA98D5B795E03B0B4EC4849E220CFDEA0EA4DF1F22B8EDC56E3],[0D0E1EAE61CC8E19957003348F4C195DE5D672211F5FFD7D81CE1E71321AC2C973F5C87DFACC78C4CD2B448FC7FDE81CAE5B58B5FFFF3BD9FE11,04A05B005A4D66B15BE55575AB8E91360D5D5930B6207311426BAB18EB51E0A26125EA027394A16E34626DD6FCB1427208A451BDFF520A4C1656]]]", |
| "FP12c" : "[[[12C8C31D19209DB4A965269483686105BC6B2705181A39E143ABFB3E36AEF6013203A566A28B13391621344E89B153A8104526144A310194D24D,052DB11971498C1D44A8B5BC72F746B0C861895CF529F925CE926FC545F7980581022D077C88580EF71F5F4996226F2860EC7BAAAE933351D1D1],[0A2C8945677A97A7FCAEF9E76D356D9AB7F1BEC13D44446BAF28D18BD98827E0CF88D92D065B1E8B9EC5E64C1E2B82B10D8DE18FF92ED4ED38BD,062E4DF180F35C1C211E69E10B04B3292EDEE05DBAA6BA735BAE5D8E05DFD5F2FA04369BA4FEC900F798245033BEBDD42552D47BA92A396B518D]],[[09831EF7E99CA3A65EED28E0B0B6E47C8EE00455AFBFBF2B6E2438FF1D27E19544918A3C5C771C7396DC7DF05E2F104EA3F2F6941767B548A8A9,01C819FFEC5AE33651C1D8D776DA2043C7477D31ED945F0CA416AC9BE489BA059E6A75FC717D7130F7CFF346B76895D60A5BEAAC6DC841C271DA],[120BEC8CD874E508F1A9052EF78E2BCE10034E5EDA0EFD464A2C903FA3ADC8E30AC7C24D9DBBF496C011EA5CE4BE55179A27E3546A19F84BC289,04478ED585496109C5C1C6005F402C52E8FF891B45AB6163CA9434BAB2312D5AA8278EC4FBA3A42FD42F389F69C24A706F905E12B2CE63D42831]],[[14A79DA8C58626D6EBB67F0459B442BB1A53E98A277DD2AC1024F378E90CC0E6E4F92ED974D76EEF84BDFA3611BD156A67FE9380341DCA34D798,05682C210A919FAAA9A7C4816144EF5BBD43DF6FA370F49912A62034A729A6E2205FF26049A0E649CC1A6213F5826C9D5D822700C818A4B41E94],[14F90E5BF236D8627757659D0C843AB1BF241DED3752749D230D24CCFC48B627B1304B64230FCC6851273ABA24A6570DC4BC1ED7DA39E0566786,0B9CEC151FCBB55EAAF18C5087814397E98E7DBCC5FDDADE892043529AE77D7EE5AECBABF0F608565C7FC0B2CEAE685E5076FD383F7F7DA65E10]]]", |
| "FP12smulymtype" : "[[[0F7635635D0922086A9C8CEFE732EF725AB6C1839963DA712465FD938BA4B034AC11D156F1D02D9349A9F63DA9ED2B92E1AC20FA119996B92547,03BFAC35E91218109F02497B4F44468A6349B10B0E41CDA53665EE3DD1A14153CD08146F60CE51C1BA15E99B40EEAAFAC0377F4512294B735E86],[B960C73C89C041D6C2B5DA9E77E8A57F3621D59E1F4B2377AB68BFEE32BEA10225AEBC74A356BE300FCCD69EED94F48D3A1420D7AD77C1828A,099C9C897A419A7C23CE6C1AB2101398D70BBA8D5D7585ECFB20418D00B80FFB91DAE1E2AD970C85D8AAB053C177FC41889648FFB59E02D2D6F4]],[[00,00],[00,00]],[[00,00],[0B565D4A8CD3EDBCC21F687036F173AECB9F9A2BB313540E7D7DD759E33E664076E1EDAEDEF03948B37C51268B4F3F21BB023D3DF5BFE37251C5,10E5DF64367C6F6A355C1FB19F741435E9B2433E4CA2FF6DB2841B1BDC197F2AC324356D9D100F0817D0825443206540928B1339E92C8C552462]]]", |
| "FP12smulydtype" : "[[[0F7635635D0922086A9C8CEFE732EF725AB6C1839963DA712465FD938BA4B034AC11D156F1D02D9349A9F63DA9ED2B92E1AC20FA119996B92547,03BFAC35E91218109F02497B4F44468A6349B10B0E41CDA53665EE3DD1A14153CD08146F60CE51C1BA15E99B40EEAAFAC0377F4512294B735E86],[B960C73C89C041D6C2B5DA9E77E8A57F3621D59E1F4B2377AB68BFEE32BEA10225AEBC74A356BE300FCCD69EED94F48D3A1420D7AD77C1828A,099C9C897A419A7C23CE6C1AB2101398D70BBA8D5D7585ECFB20418D00B80FFB91DAE1E2AD970C85D8AAB053C177FC41889648FFB59E02D2D6F4]],[[01EB20278347E88257CBC28B9FCC193448BBEA9BC85E48116DEF6D29F6C77253A236C9FEB5B0B633589A05DDFDB9A779AE3CDB900D31F6835BA0,0512FE2AC632BCDD7681C4C86EF08ED7267EC804A891AC97CF7E405C8549473EB13E10B41CCB7C7BD7D8D670470F0D57726B70E044CB5D7A2BC5],[00,00]],[[00,00],[00,00]]]", |
| "FP12smulmtype" : "[[[10AF303B1F8E2F606F23A16AA63367115FAEA63BEC7BCFDF94547EBC98E2D8A46B4995677DE573B2D7480584EF9D3404470A74EFC77DC399B9C3,0B0DD21D6A5ADDCB9EDB012A181E628BBEC22B46B4EBA635DF424CD581F451ADBF479A9C751EDC014DBDA2E0111B289B266BB15490B653769D06],[08EFA5C1165B69B66907D0988BC52EF4CFBDF75A744641AE8FE78D2C242EF754506DBDD8B725EBB2A622564BABBB3DED24029C876CEA44FE0735,E83EE6264630E2581FF69FC68D9F1F8F4C23FA7E99EC288E094E597CB06DDC008B114D8D2FCE80E38425D3562CD222AD759F77C1200FED4BCF]],[[05018C0B5F4B5F6FCE3FD767AB80D5DD896E20FDE24A326FAC5DEFC82768470A4F44D712034F26DB7F148D95E8E0212F3EDBF9ACF3B5562C20B8,EC64D6A718018E07BF563883DCF7AA90548C4C5C8148C401B8BE544039E963B96E21F04EC8738C60713645ADA99D163383A28511C333EFBA08],[02478496F80867E0340D387D46ACA034DA9CE46E1E53F6EC9B37A3ACC42334457B550FC41CD71C484EC071EABD85B8ABF765E012725753A139FB,05CCE7E5BE8C28E47A9A14DEF862FD877E212DE4C8A13298A56E61434F17311AE2ED3E8844D640776A5360AAE3E7576674C351909F00DD85CEBE]],[[0946059303719CC582863A0AFB01A1C2A752CB76E91E054B4EFC9A3022A69527594532EEEEADC2A85E6859D964C7E2364A6CBFDBF830797B0615,14409ECA84FEB6BE90D6A6EEE547411515C1491609ADFE863D481488787E0FA813454C392861B6003E1901E43ABB8FC1F55E164CC090526E3F56],[0E8F96BD1BAA1215FDA14BA862C6FD2E984046AC65AD3A520704AADBCE2ED99A725EA4B5FA089FC2A128AFD9D069A5F66C0C032F24105F10C5EE,0FD9FDE8CEF62B6F053FD5B2E011FA2140EFF70EB8B4F0CC64AEDCBC80C349671BCB6ABC1C7AD1FA3B1852822300EF796BC0927FE0E0D1564AEC]]]", |
| "FP12smuldtype" : "[[[1460116A83D57FA86DECE972B93CEEFCC554C3DCD61F302D65F369FAFB6BE3A426290894578A77C7676CE05870E2702DA32551AD353BFA4E37DF,03773A7C6A6B77AB976454E25488F8F7B31DCF27A1681ABAE6A7937A6294E5516F4842F1D6056F67CD19CBD9F6323F604047FA89747EDBF9CCC7],[0306DFBC8F966AA0A0E2966430D6547C25FA63B278C987EAC6EBE26920A2624627BC6ADCE8982251BDD42675E3FD8BC88AA3FFE7A9DB71B347E2,0E20B2B5D8B894562F68CEECE4C41EDA7EA76F0B6D792F4EB1AB7353A9D42A6D2D595D15B9907E0EE4703658271A4FFDC5FEA627228B27242987]],[[0E9C71E908AEEF0E4A32E4900F16115CA6A4FE9DCE543C842711A4197A977217A65E7C51FC01FD8C561042F2980D68E876484C2895CBD7A3525E,14B2A518E1369F9CFA03086E0896F3557424A72A22120D6CA02170F18D80F2238D8376D9CF7144B1BAB26BC622A235FA5DEE5375AD6FE46A9762],[037DCA13955107B48DA673C61571C17A7ACA78648959DE0E6F76BEC9390DA1F9018C57305FC41AB04C0BB2122508300EF1C1A37FF0EE4982C279,0E144A13822565DD023AFE8BA370F3678249812384F543959FF4E2C6ED63AE253CB1D9687DE82773E53F3334D3859A86F9A819C7DF6BAA237230]],[[CC252AD8FC2A11E6A333B6F7E07AAD8D843C742E04C66E484D8A1F1001BDEA05EC5FE8F2F6D886A0237E143C609955BCE0E19447DA0F6AB0C0,01754BBD9FA2C2AB7EF3D71462DDF2FB57755F8E1AE04783B38178451243C509C173BC7262331E5EBC033856BF514DDA157387E68D2C740D0F67],[127310F3A09C7C5D9AE22FE97839DFE3AB3DF4A7B8F8E01A4F8AB7FE07087EFA42B1B949CADD9CB039F7C4D780E246BFE24DA0222C5FC3B2831B,0F692BE35FE3E82A4FE18A9BD039B355035F44E0231E69DEB8651037E9D2C5B8A3D813AA4B1CD9C786A5B803133A886A879F2D2669E83AB2A12E]]]", |
| "FP12mul" : "[[[0D57885A7D39B80F3046CCE70D7C15EB6B3962D39A806343AB16B6E95714E8EA13374C3196FD09CFEC7D568E8C01D417A145AA1890074834598C,01042079E2FEC98A2044A53B9DD386EC3FDB3A60D21214D44004BC1DACC0BFF4D1A81EE567B66FE15DF9F5B3A0B83F05A58A501E955DD7456B76],[0E792C23A7F9BD49E706E9D6BD0F00EC74FA991495A254E86F222BC18BCA2A829E52C5CFDDB6B0362FBFCF6FC465028933B1A763F7A5F612BCC8,041C63E5EC87E265051164C444CB392DB43BB7353ACC39FFE1444A6C8967F8CF039E3153B122967A6E9644DEF13CD1DB96FED7BB36FEB10F1380]],[[0D8AAD79898F4E34F3B779626CE0DB714CB1B1812F755A0AB1FE678254E1AA1F8D7EAECBC9E9A732C7EC099B59309FA2BC758FCAF4E921EA98CF,0B01FCC826909660F97BE1F0B6749BAB9F4DDE92075BB9FBFFA3B6275142CFEC3293E36E35EF5F949550A446F50E8B3141CD0DA5851F1D704358],[0E88DF2D05970571430249CA6AE9E2AE33310AA0C58EE90620C8BF680B47E5FDBD46D64363FE3B368DEFE32368C5EAE006BBC825BAD6390F0B98,0EC55ADAF9712C637AB538CBB0ED9E849D7C01AAACA82D020864390D3660B4D885E4530226A125334F89CF9720A74E1074824AC6A494A14AB29A]],[[794629AE3C66427E2D699ED66BC456004B8C049C2F6E5C4733B88346AF487C66EF9B68D19C533DA0B0671EC0CA461376B64E0EDAE9BB39F9AB,037593E2A9EF153E7D92A1B03F7C8D1371EF87E1ADB1CCEA2B42396F0EDAE19A645038079FF12BC1CDB1989824082AB7E58DED3AAAE751A52BA1],[EDB00CF46701DCDC0611BB638859233F3E795B8C07E7A7AB00E424959DFF9D178E7E4454C5E2AEA28B93DFFA21BB215E230E06B1C5AD310592,079F88354CB257DB517502AA63B8F91CEA02EB83C22802FC7909B6EF6DBCF23632FBEDB9F7BBBCBDAF510E4A727CBF24A18D03FBB7691AAAD6AE]]]", |
| "FP12inv" : "[[[0F542EDDA6C8E3A1496AE44BB9DED3BEFEC5BE26E06D31E5F454334E5E0E4EF38F346225C0A6DF995E7BD0A269716B69BA0458A832A0AE32BCB6,117B603166FA3B389AF52FA4BC920A9FF21F5415E15F63E3D178ADB956E626ED01DD7CD0EE557D7E2626D473E16BFFE9164CE556D339C124D0BB],[033D076BAF168DB66122493FB69E0D856A0FA5DAC242B80A5731B9A84631E90BD4D7410EB5B96D0AEE7D0C20916112268AD704042E9C1D9F97E0,0A13B78C855C4C5548BF84F084F31C4D0B70E0B84386FF0BC4448844F04836C829F6B2ED18365B80BB4B1B64DCCCD02E63C4963F6FA6AC364A48]],[[146B858E892086AEE5E40FF8A6329C62AFC910A4F059AA21F274F3FC1B64755D9E877E52F3F28DD54EE060A80496C8FAB695DB6DA87FBEEB0764,0837C4D43050AE59E8C39D69F1B0F6F9FBD4A27E877F2189E44E6785C40B13BB88531C2018380B0455322A122714AF1C36ACC0E58DD316C16212],[0FEF1264C2409170E892B4E1B4CA222BA2F9F997321A1D953148AA0B96843466C711B967EA09DDFE5BEC0902CFA0FC771B54D50A3DC8886A91BF,0761932AC3DCC4C44786FC12041FA3728DCCCAB5803AC52B4F2FA283B51FF7835AC99F28AD09745E0930C866416C7096858787E9EDDBF2B7169B]],[[01BB6CC1F296E28BB2BFDA55D2EFAB63163667ED8CEBB5D5B30DA0CB69B8A634765F737E91F385D0B7A36897213D1C3A50D6942DA803C1A605ED,1008B37050654ED0F7230842BD295091835BF85D778150920969D65AF3DD10C4E16D060E101B34A3B9B0E3E19DF91C86891C659C0D0333F5271D],[038D674C4276BF08570CDEAB4115BF6688190A8A3091CC2283EEE14118014667231921256873043C07FCA0D865DC9A1C4523577C8774A949F8D5,0FDBCCC5DDC23EBD666BE51B2B4E07423E751C4A9374C2FAD4FC9D0329B3722BA5C74F6D1C5E352EE90063204103DF8AF1686BB88C6B35834457]]]", |
| "FP12frob" : "[[[0F542EDDA6C8E3A1496AE44BB9DED3BEFEC5BE26E06D31E5F454334E5E0E4EF38F346225C0A6DF995E7BD0A269716B69BA0458A832A0AE32BCB6,03D9F513EE531F1CBF60A6EF5801551D7CFEDEC2D96D4097430BDD8951F9D36F1AE29255BC3BD800DA192BAC1E99556C345DC5552CC6E985D9F0],[10E6D6D390F7553CBC78A7686E5B567F923561CB70EC2626A7F0F1FAE2E22C5A606EF61ED99391F0D17E327D9BC3F68B984F2E1211EE02B7132D,0C9E8B003FD8ECE0027867A42B4A94B08D301EBC34535CB5189AC9F15B56D7F7AF9F9B45DB5A00D0757F43E5E3AC60BC2AF1512EA9240BCD06CC]],[[0FF18383C5436060477AC4272E1F86937964EACFBFA2C410BBA70D71857D847FE727ACC9B4F05FD6AFC6EF18B64A91396075EE088C9D8ECBE59D,10A52C99796B0B48D8217CB46C733F5AE2C4B0EB1A6CAAB31BC3FEC2D0D815E445D91B5B559FCF2E92ED636D65050A7A4C15E2FA1793AAC9FB10],[0A14632190D4B9C16200B050266AC39A70C3814094BA814E9FDC5FB2AFB86E31D01D5F38856E186BE4DA58034FFF33FB4243357E5C1DAD16E041,0677DE5085645E871E76DCCC176AF647574BF166F9068A0B780D9CF0BD2CD6E582DCC67C8AB5CD462B08D6F93AC36F5858F65B57F68494B0BA79]],[[1511CC231E1500BDFB90AD99865D0B3E0691A125C2F49F74456667DDC170B8DA7159F669128973E41FB2E5B3E334C0554586A449B06561018E45,0E73D50E458C8CC40A7376F9326945102F31D64735606264EC4175499F74DF276B16F9901957515E15DCC06237294A1C97BB2E003C913761D377],[0576CFBAD1E92A3AA72876EAEDF77A0335AA21EABCF22FDE02DE4D2EC530EE402A430E0E1252D65083B0B57EFE6E6A371B1BCC4BB87FEBB0465E,11525F63EEFB4ED2DA85AFDAD0D823BDFA372184BFB714C8F017977617A53A9300DC06EB0B1147CFE624640039B8EA3FB97B6463B96F02BD2507]]]", |
| "FP12conj" : "[[[0F542EDDA6C8E3A1496AE44BB9DED3BEFEC5BE26E06D31E5F454334E5E0E4EF38F346225C0A6DF995E7BD0A269716B69BA0458A832A0AE32BCB6,117B603166FA3B389AF52FA4BC920A9FF21F5415E15F63E3D178ADB956E626ED01DD7CD0EE557D7E2626D473E16BFFE9164CE556D339C124D0BB],[033D076BAF168DB66122493FB69E0D856A0FA5DAC242B80A5731B9A84631E90BD4D7410EB5B96D0AEE7D0C20916112268AD704042E9C1D9F97E0,0A13B78C855C4C5548BF84F084F31C4D0B70E0B84386FF0BC4448844F04836C829F6B2ED18365B80BB4B1B64DCCCD02E63C4963F6FA6AC364A48]],[[146B858E892086AEE5E40FF8A6329C62AFC910A4F059AA21F274F3FC1B64755D9E877E52F3F28DD54EE060A80496C8FAB695DB6DA87FBEEB0764,0837C4D43050AE59E8C39D69F1B0F6F9FBD4A27E877F2189E44E6785C40B13BB88531C2018380B0455322A122714AF1C36ACC0E58DD316C16212],[0FEF1264C2409170E892B4E1B4CA222BA2F9F997321A1D953148AA0B96843466C711B967EA09DDFE5BEC0902CFA0FC771B54D50A3DC8886A91BF,0761932AC3DCC4C44786FC12041FA3728DCCCAB5803AC52B4F2FA283B51FF7835AC99F28AD09745E0930C866416C7096858787E9EDDBF2B7169B]],[[01BB6CC1F296E28BB2BFDA55D2EFAB63163667ED8CEBB5D5B30DA0CB69B8A634765F737E91F385D0B7A36897213D1C3A50D6942DA803C1A605ED,1008B37050654ED0F7230842BD295091835BF85D778150920969D65AF3DD10C4E16D060E101B34A3B9B0E3E19DF91C86891C659C0D0333F5271D],[038D674C4276BF08570CDEAB4115BF6688190A8A3091CC2283EEE14118014667231921256873043C07FCA0D865DC9A1C4523577C8774A949F8D5,0FDBCCC5DDC23EBD666BE51B2B4E07423E751C4A9374C2FAD4FC9D0329B3722BA5C74F6D1C5E352EE90063204103DF8AF1686BB88C6B35834457]]]", |
| "FP12usquare" : "[[[104D568E425E2764BD140AA64F102C2EDF078A4FA1C6B5158963A1FA18E34F45D9E3B1ABBB18E07B2C1740F3D056F088C6AF64C523737A969992,11673336294D7FCF01998BC1668FC9A3846E574B908B1CCA7BDBA73A71A0C9883A462B81EEE3B8C7EEC001903BDE6DE9506AA02290DAA4AD36D0],[108EFBE487223F9FF677A12E5EB35B29FDAC507F453CE115C9EDDE35A72BC769CA772B2CD2A1D680815D98BC6A345756893B7BE0C43117934712,0F59976BD1A09A59D536A2A82624C4E47155295DD8E120A1F3E536637325CBF04AE40AD37BC41395C19A70B86AC6DE69EC3DE49DCD3DA3DDB4D8]],[[02F139370E127D345E48B79339DACC4781C221B75D764545AE1B024E4DC6FD205B65638402D592651AE35ACF6DE46A6614E505B8E5AA5B5E26F4,13557EFB610C241501AC17D319C64922FA65908D9C45054F5996316D74230D103047B3CD6D061CACD6AC4384CB8A5423DA5CB390FC6177B476],[0AA158C16A180C28C3D28A68416D1031F1489FD09C473193CCAE387358EE8101713BB3E37A27F9A826B913B95247A52F34EF41386A8CBA508622,0201032D331AA7B10850250FDD524E51642CE6B92EC66FF7A3F7FF4C8B4E41C20C4537C5AFADDEEA49C8092911111A969AEED08E04396E2393D3]],[[06388322FC2CCC7BD33445AACA4003D050F15AECD2958DEE6352F94BC064D6000205EA970E4DBD3B4D536C62A9A96282710985E7475AF421DE4D,10100630CCE00DA7798013FEC4B3447C7FE22B72464C6C03147C29DD549D386626813A4946F5C14DE8F06FEC9E43BE1688C80053EDD7F383CF8B],[12EA32AC4B4CB8D7828A9CA6D02DA7A9D35E8D4D82B88DB75695E10281B2FA9028834F33611CA009F20A9942F4B96473DEF7D55FC33A08297329,0E092EF2FEFC2CED727750FC948D6FDCFAAF3504B4A64F288D2D87627E95F6EE2FAD3472EB9A0771E06657DBC62A2A655687DA4734D5CD6CE1EA]]]", |
| "FP12square" : "[[[104D568E425E2764BD140AA64F102C2EDF078A4FA1C6B5158963A1FA18E34F45D9E3B1ABBB18E07B2C1740F3D056F088C6AF64C523737A969992,11673336294D7FCF01998BC1668FC9A3846E574B908B1CCA7BDBA73A71A0C9883A462B81EEE3B8C7EEC001903BDE6DE9506AA02290DAA4AD36D0],[108EFBE487223F9FF677A12E5EB35B29FDAC507F453CE115C9EDDE35A72BC769CA772B2CD2A1D680815D98BC6A345756893B7BE0C43117934712,0F59976BD1A09A59D536A2A82624C4E47155295DD8E120A1F3E536637325CBF04AE40AD37BC41395C19A70B86AC6DE69EC3DE49DCD3DA3DDB4D8]],[[02F139370E127D345E48B79339DACC4781C221B75D764545AE1B024E4DC6FD205B65638402D592651AE35ACF6DE46A6614E505B8E5AA5B5E26F4,13557EFB610C241501AC17D319C64922FA65908D9C45054F5996316D74230D103047B3CD6D061CACD6AC4384CB8A5423DA5CB390FC6177B476],[0AA158C16A180C28C3D28A68416D1031F1489FD09C473193CCAE387358EE8101713BB3E37A27F9A826B913B95247A52F34EF41386A8CBA508622,0201032D331AA7B10850250FDD524E51642CE6B92EC66FF7A3F7FF4C8B4E41C20C4537C5AFADDEEA49C8092911111A969AEED08E04396E2393D3]],[[06388322FC2CCC7BD33445AACA4003D050F15AECD2958DEE6352F94BC064D6000205EA970E4DBD3B4D536C62A9A96282710985E7475AF421DE4D,10100630CCE00DA7798013FEC4B3447C7FE22B72464C6C03147C29DD549D386626813A4946F5C14DE8F06FEC9E43BE1688C80053EDD7F383CF8B],[12EA32AC4B4CB8D7828A9CA6D02DA7A9D35E8D4D82B88DB75695E10281B2FA9028834F33611CA009F20A9942F4B96473DEF7D55FC33A08297329,0E092EF2FEFC2CED727750FC948D6FDCFAAF3504B4A64F288D2D87627E95F6EE2FAD3472EB9A0771E06657DBC62A2A655687DA4734D5CD6CE1EA]]]", |
| "BIGsc1" : "E72DB7BCD0461B4E34576295266BD5D16B91E1EAC91DAA999A1086FE53761367CF790810E59F526E46A60D72078E5EDB43ECBE247A227A90EE", |
| "BIGsc2" : "6DF3AF3C21FD8A932BAAE0E4FEBA4C7E4D11D1971BC9C21695A125A552830A5FDBDEE77D2FD808974D68F1701FC186F46D2D93A1AB5DDC554B", |
| "BIGsc3" : "0C2F8AC08CB7B20FD49C1333C7EB49335710EE0D9E8A314BCC6811A5E75FC678BE31DF4F4DDB3F6267CB8E18E5C960003F16DC310D5D7DC6ECD6", |
| "BIGsc4" : "038C4CA8CEC23A312C3906900077081CFE6EDFF34C44939DF891A7789F3319E83E60CFADF5FA3591AC44BE189223F3D249D88845727FAC77BD58", |
| "BIGscs" : "0F4B3D016360A952776FF68F62410E58AF112BDDB11BF2FE0DE9B876A05C41213BC07587E0129A", |
| "BIGsco" : "0FFFFFF7FFFC0180017FE05FD000E801FC017FFC80001100007FEFFFEFFFFC0000000000000001", |
| "FP12pow" : "[[[1529A82CA1F9649E537005EDA63B5D408C845EBA7DF88045A484AF4947CF079B737206D5111875766D8FCEF632B2EBAF5548CE59359F31C67C73,11EF3C8082CC095428CED8C97A9BCDA2D5500B30E3960D228ADA58C185E366F17CF25AEA4ED8415AEAEB8CC8A0E0B69D37B89EB34E88BC06102C],[0E5379EDFB7AC3008A0A86EA2A163EB1165BA39785A40C9515FDB10D4E3D1877B6452421E3D30C6ABA8C38EE7400641CCCE70E06222E093A620A,082995900B1EDD000E4E61B1FD8A9D120DBFF85C56992142E9441AA91702080FBE267D9FAB4368F30C57CEB0D226C043D792AE99EE3EBE5B8654]],[[07606CCB44CDC163436EC4A4827998A8FE248AAAB9D9249FE0EA7A5494B1695939A867FAC2F28B52A11E926FE2CF1E40828E40581F7A185E64AA,0B84C8EBC88AB99A352623454B022DEC40B5CC60F6AE06E5E1C2803E017BA2B04779C73A5BE4D3F4078F547003E32C36CB9E211BCA1A5101DA37],[1436AFCCCEB3D3A9472366488DE8F10D0066E4729BD1ACAA2CDC87FD16088CDFF3DB76FCDDB1F5DAB33B26DE59CF66497BD850098A3C5E338300,1064F05E3ABCDA7C7D3F7CF3262D71A85265BBFA6EE0185931FBDA4B7EC480A94CD9F9AD7ED7833DE08F16B68D246949D0968715177576C77F3F]],[[11E1989A14317A8CBBB356725A2C57675E6452F7B9AE3C5CBD1C1974F89568491CF4F698D34812BF578B248A8845FD3050E091BF56551BB449B4,043CB2DE7B61187B520EAB9F19DD3B3C668112EE9DF202E51428030A350620ADF5B187E590B55436FBEACA1DEBE83EA3AE5FD6F9415AB755F9A3],[06F96CCF275259910EDA731D21FD9355BD4DF7606C82113ABC3FBC586934790F9A9C276566C8D8DB0F6C748D47829128472057290F0C012A2153,134B3D66F4D64B2E8EA94DB2A4FE239A44ADB27E2775417F0862FA5874207DCB9FCF1EA3EADDC099C7D23CF5559BBBC0B7213F103E7A4DB38C98]]]", |
| "FP12pinpow" : "[[[0E2DCA2A9D393D4EFE0E367BC8BDE976E6038276204B69FD05F97A7BB1461E7A7A97B11C06107EBEA55B38D7E51EFB00292B20FDFEC0A0527733,14A09ADD0D0F7606AF14C0EF1AC578DCC3715C86A9F487BD5A69EB91AF95FC93EB21F4D4FD098DE18C32B80A21171AC1D9EEA2C27CBE36F4827C],[050959D762081F523A4D50CA0859EA6BB8D5C9AC56ABF2CEFE91C18638746C319665AB2C525276D3BEFC74D07F292BF99058B612FDCD68F4E7F9,06FED9E5504120BA37BE4A81739864D632F05681F0454EC10CB3BC291440EE3C38AC636A0BA96A8A01914F2370D50B25144F849EBB942CFA3180]],[[0C7E09D33C09A2A57BE034CC7F433D13DAF9C8C8F6A794285FDFC9B97C9B497BFE44EFCA6854C7BFA7A6B9FB6C0A1835058F9CD2ACF840B2A1F6,03973302D01E9C6D564536AE1BACE50E72495B71DE0B60F22BB84E47E7C617F3F1BD46233217F4E8E5F0E5A21B03C9B9E86BE5547C16B8C4A30D],[0B803018388BF84EFE6192C870E5EA27238A0725C47972584F761DB445FE0A13C33BCAD646D1552F6B62901A3D07DDBB51ACE2C91211AF4C3FE8,019AAD26433DAC2FB24B33A39EAE8BD378C32CFC145368BB4630FBF48CEB33C4C1A3C6C7F3A0F553D96A8E0B75C6B7E1462256910247F1AB2E48]],[[04DE2CBE75E3A84AF82AF454C44F70144F575CC07CB1EE35C2C20949F33D2B13D8AAA17411EF7A77E6CFF33EFE33A4B69EA7860906254C154EFA,0E474FD942F06D78A6935C3EEA5BC2F648BF2F0B3EAE00CDF5E2B571AC0423D1C009CDA8623B277DDF63A5F094B85A90A1DACE116750F9EE0C96],[05DC8F33588FCACF6D0E81D567A215BEEC86BB2BF7F81A4A5BEA643BFA052A815643C9C579F600C56B0B29F6CAFF7621A2A0AA12DEBF6E12ED33,120276560DEC82FE63B18D2D285786234AAB74098B3AA095798CE12DD2406A64BD4B5EE3B725B721C2486073F12A2589B3E795D5B69EDA0C19BE]]]", |
| "FP12compows" : "[[091FCF6EC7958A4514540933E01B689967346E48495366864BBA4968004DAA767AAACDCB96AF94CA70808F22400D20C7C4AD87B1179CAC80FAAE,0F57AB6DCEFD49FBF59973EEC886E43F8FD7749486535A3EEBE1E2072DEF5438E54F7083A41167E0E5EB5FAC4F30F63E27C86155EC038E861DD8],[14C26737F4715AADC219AC2805EC5AD3493993DAB9EBC6B21EA1216F803D22340B1B5911BCB523DE6A31355AE4C3C385025F982C5769C5CE9CE1,12B71714044572C18CB64DA94CE72D96251BA0D0B6663277B65430F74B735ADD2E31BF3EF6906D9502E473BCDE6039095019713FD3F5618C2AB6]]", |
| "FP12compow" : "[[109A5F0C192621AD9255CE61D6135BDDD5B77B0ED2ACE7D73407D9F041DA77077539D2565C16371D7D69957B3E03F85F555C62BF04EF13143632,04FAFE410B270B278497F3E51087CA03F75AF36630A9148EF6A42E604FBCC367EE4C23C91BCBBE093DACBF7A86CA6AEA7A8CC70444C1A188DCCE],[15513C05E59D3586786ED9E453CD9469BCC0649A4FA82BF0835933D9DB728F73E91D25A1202AF1B62409B06C45D6898CF4F2329704C791BCC339,05BEC3743259D4D04BEEC4E86F4C72764B635D3A1E4E603C8629090CB4A27C1562F39C7C5E5784577B3705DC666FE3DC09144B6B3361A7A8B63C]]", |
| "FP12pow4" : "[[[0AD187F3B776F75A9DA51D5D9488047B2E53E3F6FBA057ACDC3DBE64B25F0545FD004D8290869BCE9C7BC0826D26B5FA7A8528B27162292A8349,11C577A6047ECA61EF4EADCD347DFDCBD2E228A9D6425C2FB684DC1955761605E9BDC72B19D4CECDCCEC07583EAF147B39FD224C630FF63F32E2],[0167A6045666B5DD6B94EB8317CBCBEB1BFFD11D60C6E67B4641AF0383FF4BD57828CDA7A1A5115DAF23F7B80CD8084E435F59585EDED0281415,08C1B95E73326C0716AC5114E62D7E396AFFCDD105EEBB857FDA3C1D7A39DC93AD5C3D386B556A0EA666FAA3C0AB32488E69294785485E48AABB]],[[0240851285EB4A35ABB3384E2AB2F5FE4889609931967ECF26336A90A97B80221017791DF0FB8F46E7C84E0935E58F2DEDEE9020B21BC5EA1820,082C0024F976D2D77EA9819FCE0398E4A8150D1FB62FA1D0820CB7FEBD8D7E98024E73C056CFC4AC73551E03F688102754736226012B215FFCB0],[0EA6B9D380F3B0DBB435663F9CE71BF86A7B1274A99433E89A97F62CB2DF0990206EC63CA6FB7F299370C4C3B87BE1129E99A41716AF05D48836,0339EC6393FB89922927A6BEAD63E5D4D281F46D63954ACE4B6BF3583E56D172160A00CB4A7A54822655C72AAC09DC119D0A00B6BE05EDE00EC4]],[[0A0F82CA613DB83CD9CB7C9A3483305DE6AB26387C560627A4E8D24F79C5307AD8C4F37F472D49803BE4C27CC5B45B25DF4DB2E7A65E08FDD7A0,1330FA2032BE70F72E8A6AC63B84C693A043B5F3CB0C77F6C973EA42F5A240921A24079A21CA9A7DF90EBA7F19C0519499EC8E00C934DD6AACD3],[0C1BA52E63597FCBF970F0BA68B8DF4DDABB3C68F61F366678E2F6F2C8F1CDCD55F2A214ABE28086DE49055D637C1802433352B50525AE0D9D3C,D6F92FCEAB8E0E0BC72B4DA814D97372D56DBFC480ADE951BD504DEC0750B94119A0305375691C66C009C4D9FAF5BDDDC21AF2DFC74AE958EF]]]", |
| "FP4trace" : "[[0351E20E49BFF6392794FFBB0475BBC21E14D4C32BAE4CBBB3F38365C86AF822741D0823ECD1F3CE1AF371A73C49979298B7B4A097E0B542E0CC,09C776098A53FCFF1C33E1C60C8F6064F82196902E84E2B54B60F2A6B2F2800ECC18582575DDCD7C71F47D1BA4395510AD915AAC79ABEE191CDB],[0B9E3F024809B13236EEFAD4F0B9372D30EF414874047C5C0EEF5E49D64A3F389E3A4BFA89650E5E34C8DBBE4BE21EE1AA259E9F742C51CBE30B,0C6F83E51A85CFAADA6D1E569A4D6A93BBE9C388AB044BD2DC3B7DB680E7505FBB9C05860C7F987BCE9EAE1169A43A1F6A079299B10D50B2767E]]" |
| }, |
| { |
| "FP121" : "[[[07B22097DC71F54FA41750AE17C03ABC755FFE81929C9EAE2A2A9EE23E9C5662FE95F13DC2550CF58CB15E9A77761493E586A786BF9138A67595,0AE2B6C46DBCA28DDD0239313F51F4388B3862A9C2C96AFB9B63475C3BAFEA109FB47AB8B92DFBDD3E15C63881C89C3DECBDF6831D09034B1C18],[11DE4AFB68063642636759E8F19575861D6FF7EF383701A7758A927E3151D9A293196E11ACD1266C94A37A7C3934E0A9F02C62F5894A44FE5445,11302C777BD90D173A47496FF7770806A352B6D57990B75525D7FD7EBB3A8E83025C2AD4E91403B81DA2C3E81EB48FF8CB157E0F162153AB01B2]],[[1462627F8C5C7AD769B009CEDF9E2E09EEEAD4BD78208C9243890BA84E219318AABE0530879E207FFFC95A9D04071088A29D7C4DEFA8265E185E,1111315B3FD914CCCB0A60EE7081CD5903F7750B4BC3B68BB5B3708522ACA52D2D122F3875AE13BD2BCBF39BA5850D1290384D17BE394FF5F8FE],[0AC226543739CA0969857B3194725B5E6E4CC6012C7E399C108D95CA22182E85808B4342B89CFFC92648D97EFF35AA15E9C5C0C5E6A94A406F94,943127E253A1E153E61DB44E3673168B6173955B2DA561B59F71350DBB20AD82BACF3E0A030F5C2859DC6E6212D7EC9737F501A0239D119F39]],[[10ED0713ED0A6B62DA3CC4718BA0DB14C5D5FEFD844B58920A2F19010B69F915AAE03A19E643D3F1505D5E7E2E794E7AFCC665FA6DDCD07CFA69,027E8C9D3E89F4E22CFA2A84B6715A99A991943DE426B8571E40094A5C95BAD146CAEBDD22D94E660B7F3458C15E6EDE3C62C4D4520A7160D9DE],[119216E83DF573BC9714836EFA9011AE62C8A542D9950A4EEB0F4C8F6E8EBAD53FF3D3B42331A056A23B2A3D4C9C02DDFAA3C95124760D6A5039,13AF164786B7538555C6E4AF96F278072C77930CD5E2EF003705E9A06041501B98F243C68982E1AF4338182BCEC29B68D542B34B997207982270]]]", |
| "FP122" : "[[[0744D2ACD40430C1D437776A39D05A13339B754F8D9A53FFE43CC7AC9E7C6B0BF31C9CAEDE97209E69BA6A9BA77A09378ADB087B9AECEEED826B,122C60D8D141863E8A72A96615C6058423C2F57E95F5C82D9380E6E535ABC1FB873ADF2FF2605441CB3A07B140DBAB05AA72EB61C89747523FDA],[08472F6ABF7D1C15E04D007C2E091C2F0907E97FAE21E6E58FA7CF119AE895CE5F4062133ADF987FDF2AA22BB170106C62BE7E6E8BDB56B86B76,048C64200140E64C02404BE7C18A26974C8143C97957744124607B64AB8C32D2A63A1421DC1ABAEA04286159B1A3075A59C5B288EA698AA959CC]],[[033F4C01C7606A377D049498DDE8832DEC0D745F039C69D03545BBAB6C381A9ADFCA974BACCFD54078C21F785FE79C616F47A406A00633EE4075,04CE75B23A6EBD412944EBDF2AF5FA74AC76CBC813B575F5E46F0D20BA9B99D5E136681DBB33509AD9C633D54D141B069E6167F9993F67DD1AB5],[13868C98E010EA26CADA469474190CEACA75791A4A69EBD78CD074ACD0DEE430AB6384B477AD3C525F5B0BA188A938ABAE56917F159ABF82A2A6,0776D7C689D5DF6703B30ACA374108A4B8F22A261E1A9CD589FAEDDA9E90A6A14507DF36270F61E3F6931927A1182007780E963B1CE008602CF0]],[[07C3DC4B56393A4D165FF494E71CE813C4B1E1C20A29DD88C37CD95B2C75D4F17BF56DF27DFF936CE9163B184C3B621A2DA606A3A406E2AE0E86,0480F14BE9C29392CB3537AF2243122905A2A7B59D33608D27FF35D49552AECDC187B38DB91FB2A6E4F214FDC489CA8385AA69FBC360F6E932D7],[05FC6F4091C9BC2C13D36C50F2C633D0ED9E48FD8E6B61DEBD21C7FA3124926DC6F3A9B42C32FD512E4EED9CCFFFD9E3EBEF4557EF7FC70135D5,0256CD5F2E115E1CC24C4679F99B03B5497CCB6FF0507C2B0F01A4E45635EABC148BB1CCA4BC5C2362899DABAA1C750BB2CEAC023B790C0211DE]]]", |
| "FP123" : "[[[08CE4D4538E1C151B2A5A247C4E12BE71E785B0AC7F093EDB7C4F5F174CA02C8605E6C20AA7090EDA325891C6CA4FE87F8C76AA63EC12272B273,111CFB60DE09B4B396CCD82B5ABFC93B74EF15F80E92DFE2D1F4CE29F148CAF04FF98A2715832696DC47DCC343FA545245361E24E25EAA14259C],[46AD705A5460075EB6F6D1FC6AB8630AB2E4C264D3091C5C454B57C95A8A18B6A60427A0C2F315C3EC25DD99051411FCC6557D9EA649F7F616,0F7685C2417532BE0FC20B382F93F911CC38F58FBC64E9F58DB36D16F8D9A9AD2FBEC8E9BB9D6123F8C68494AD87887B84F14DFE463CBAD579F1]],[[13C76CD676582BB4B2B6F7BAFA8B7170BDD8596887249B62CFD2F537BF6C817BBBB51ABCF890CB3C4F57E75AA5AAA5D2A52733DDB119EACB8476,08BD7C9E0C631806104BAD6F989ABB4C118D8AFC51F28E2C16DE5ABD2C7A8EA0E6FD878E119F278B2B720DBCE1BA6909D1941FF5BBD691ECDECD],[0874389EA2A7FB3B9E7CCE1A492F4BAB552216314AF18F08215D0DC2AFEA0504248095A1C8C1410741DE03D9F2C23CA7A0E33BE91262225D1BA5,10CF436D076913D457455F38F8B0AB560B0EF1346EA29D5CE6CDDF0728D1B88A6E573A958EB69D9168E8F29297AD0B6BC10EC7AA41D41ABE2BED]],[[0E326EEE38ED02236CB26EC9825ECC27544277FB6A41FB98E021B54EC7D6E44786795BF5FCAA48B386828ADD3FA681E2DBF47EB5845FE1DC3D19,0E187C7B50B224192D1A3CC643C98264892B79B8ADF47AA4EE0BEEC58FD713402D15FE1F1174B0D8267C3D77DB03A761ED5B5CF92659F2AF05A2],[07313A61211F018146A5EC52C3D38F4FF846CB453C9D6560EC0716E4FC315BBD14792C5008762371647EE25B2327E981F4E6A367593559FD7BB7,04898FB563E9FDF292FC76F4BE4AF507950F47CC1124341C538E9A216BA34703C5382A9E54079BAEF07C273C22747ED5EDE7EF84A1B12068DC96]]]", |
| "FP124" : "[[[0E6AED5B66712CB2725E605B2762E820FA7F03BB42A41332B4D30490434003152FDF9F89AA5D2318844E25067E29A6FA584A5E24544C13BAC3B5,024800619D5745796B24C649BF546DE6BEB9DBE318996D9ABF8F6C1FED4A2ABBDEA936A710F2B2CD4C20D960BBF76FF5A1EAA61111824362493B],[0A1200D9D73EDFD85B7A0231151381F409A3AC71A9A19BEC85F43AF15D050C89B7F872FEBA6DF99E4622A4E1E5841E90F6080E0DDDAD575D33F0,0D03D0FCFD7EFF3ED5554E14FB02777822FBF392F7899A4ED7B8D9BEB3A74AB6AB0B54F535F375BAD275C142D41981C973868011B98EFC52BC44]],[[14B0F1DF2D77C0C9142F5761C14196FF4DD1EE28D566E2C750132D5BBAF3668C4268F06E2AA171AF904B86E38E98400D5C5635D7F809CE9B3E9A,C64856F9E82D3F60E3D1484C328169833AFBEB873B6FD7F82283BAC72D298DCEEAB3FB17D2CD43AF3EAA42CEB47ED8E7476F0BDFF098C40850],[0BD16EAB2ABDEE3D4A17D97D1A4AA1373B6DA0AFA42027A5159B7906C5C8D59D76EFD734D61A6F5C625AEB95D6762075106A6795D3833D4E3DE8,0DBFE01A1A256A1D9C74C235D3A0E5EE6560AB92ED441BA75BC37AF3D37E9D9E6AAFB75DF5DC161150BBEC8E32A17522FF8ABD864321EB612EBB]],[[0BA5F6251636F03AE8EBB8AF2440A2C3215EB79950261E81C94A78192EB569771F8C28DE4FACE9E094E03AF46B76E9694545ABE3C19E232FEBCD,012FDB18B7D6C0E108567DC46A751DA1A8798479AB1297C2BB3057B6CDC1BBF5DE3EB0990D6ACAD0CCF35D55201FE9DB4A3874EDA8F29D12C7A2],[03DCD456334DB6EA536F654A72B07E39D46E8ABCC5C555B7E9C22B5B497D7E665122339DE112ADD21B18CE879837DDCB5D1D1B96D7415E0701CD,152A7E5218DF1D260221CABC6D300A15444977753A54AA8C795F04158766BF318B13ECB98CDC6C9FA3C19B2A621C3C84A000D3B728BED5E8EDD4]]]", |
| "FP12c" : "[[[13FE83E7D86E1D2E2CE5854A4DB0D5FC887B494A975624FE02EA8E9AE55035EA97CDE7F6910DD541EBA289C25AA6BEDFBFA655DBB4715B3B53AC,0C4AD2070C6ACD32935EBE42B91BD2AB81B4D50A55BA311AA7A88D979B237376FA10F79D72A91CB05BC056B08DC739CE0FE962CD9705AD610456],[018B599869F9EFCA0449FCA470339689FCB99BF0919E5C6F0289F0DCDC82D87E5F3B23363163331554284B470D0C7AC60185183BFDAD5F9252C3,0132F90AED2E1176AC31770E734CBF68FE0F7A31EF042DF48C466792751FB7D9FFCE75ACFC735A5CA6F93EA8EE306B4ABE65AC4B6CAE5AEAAAA4]],[[11558E6B4EE1C85BBBC72E52AD471E9D83116F62B50A9F6B8BC4C8686FB09A09DA542975748054F2C4D8ECC8F8EFBCE17CEECACEA6F8F4D90B79,086E57B731117C82CDD2F9FFCA52923DDF9ADBC53FCE4D6A5892E0678A1F62121FE3D7989A8B63D70F225C9CF155D22F12052403F162111FB3A4],[14F32358227C0F67A2F1264F0971F214415443BE066B3609219F5A8F2301270D4D5AF48202F811A906A1530A377835D9C83C67C37C5CFBBE5BA4,0F1BBEC31ED77518186F06B7BC6ECA90F6BB79984304BFA9F6926EB21723B2C147D2EC16FDEAB0E3B4295B438EDC37F9CCC1213E3319902226D7]],[[0337FB8C7E12556AEAD0D74EEB587A8415B287D23465CA342CB8F3FF9047E58F964F85E57914B35F5F0861770CE832232FBB93A195B638176E42,09DFE82ECA5577D66555D7CDA90EE56D1553C0FD25A797E3B9FEE4C129162223B9E9C89380F434A9D099050ECA649B1E8066E0962515110BE507],[0FF26D2EDD67086F0F0E753CAC61E449CD70AB6FB32001AEB04531F62ACBE0A53DA8A41AC2E5CC32CADAD8E710E80CE982C09E29537C0B4F68C9,02ACFFC121D701E333A5E6C57CFD9CE2B6604180CF586A7FF3C0475236E2548C37ADF8B3F73B5834C1473FD2B3BCDEBCDDE76616EC3860703A32]]]", |
| "FP12smulymtype" : "[[[0744D2ACD40430C1D437776A39D05A13339B754F8D9A53FFE43CC7AC9E7C6B0BF31C9CAEDE97209E69BA6A9BA77A09378ADB087B9AECEEED826B,122C60D8D141863E8A72A96615C6058423C2F57E95F5C82D9380E6E535ABC1FB873ADF2FF2605441CB3A07B140DBAB05AA72EB61C89747523FDA],[08472F6ABF7D1C15E04D007C2E091C2F0907E97FAE21E6E58FA7CF119AE895CE5F4062133ADF987FDF2AA22BB170106C62BE7E6E8BDB56B86B76,048C64200140E64C02404BE7C18A26974C8143C97957744124607B64AB8C32D2A63A1421DC1ABAEA04286159B1A3075A59C5B288EA698AA959CC]],[[00,00],[00,00]],[[00,00],[05FC6F4091C9BC2C13D36C50F2C633D0ED9E48FD8E6B61DEBD21C7FA3124926DC6F3A9B42C32FD512E4EED9CCFFFD9E3EBEF4557EF7FC70135D5,0256CD5F2E115E1CC24C4679F99B03B5497CCB6FF0507C2B0F01A4E45635EABC148BB1CCA4BC5C2362899DABAA1C750BB2CEAC023B790C0211DE]]]", |
| "FP12smulydtype" : "[[[0744D2ACD40430C1D437776A39D05A13339B754F8D9A53FFE43CC7AC9E7C6B0BF31C9CAEDE97209E69BA6A9BA77A09378ADB087B9AECEEED826B,122C60D8D141863E8A72A96615C6058423C2F57E95F5C82D9380E6E535ABC1FB873ADF2FF2605441CB3A07B140DBAB05AA72EB61C89747523FDA],[08472F6ABF7D1C15E04D007C2E091C2F0907E97FAE21E6E58FA7CF119AE895CE5F4062133ADF987FDF2AA22BB170106C62BE7E6E8BDB56B86B76,048C64200140E64C02404BE7C18A26974C8143C97957744124607B64AB8C32D2A63A1421DC1ABAEA04286159B1A3075A59C5B288EA698AA959CC]],[[033F4C01C7606A377D049498DDE8832DEC0D745F039C69D03545BBAB6C381A9ADFCA974BACCFD54078C21F785FE79C616F47A406A00633EE4075,04CE75B23A6EBD412944EBDF2AF5FA74AC76CBC813B575F5E46F0D20BA9B99D5E136681DBB33509AD9C633D54D141B069E6167F9993F67DD1AB5],[00,00]],[[00,00],[00,00]]]", |
| "FP12smulmtype" : "[[[076B1801677DF2C88888589380678623B9AACAAA7B257B08CB56A7A3919A439CFA4CA609CF0FE3C0BC9F24F6AA52F7E351E680FD902A7182DA79,080A16202CAB047F35B1DC3D3D19080B0F8AAF66A729FAE426386DC5E1A750CE1758823F8647C6F5DE4816E15EE4E30A0C6219C0DD7472A22C76],[01EEEC652AD2F6CF5539D877A42024E25B9E7719A5AB3F0F2995232A89D3E7F2819B17811D7FC67DD965A9D8243422859612FCAFF512CB329E22,076ABE694605E2084A4BE13011FB4A7FD358AFA11BFCF70A1F42052EFFA98F88C32FC56348AB21694E62209327C32F73DF13B862D45BA864E797]],[[1103FDF9D35F00B88B84EBADA8C48C4EB5597A11DE31EC48ECF145D3C17CCC6E6BB543EE3F66D67C882CA05B585A87F8C9DE8FAA31F03969FE24,0803AA0874E34A9803F14FEF47B3FEE65ABF03DF779D8F69D6FD2AF059961257017B1AB83190F0E35FD03B49EDA380C29C44B771D97E84F7A207],[094B5771555271B083D917EE3E882A75B5F50BBF315AA5463736C1C74275AB292FD9393E0E353B6749D7C6CD1A14D95216E5A0E3DCBBEADB978C,0DF16362039D73A3AB2DED0A2C8037413CFD0D59DA79F771BCFAE76EFDE205B4060D54B8A0BE8E3E301F4B4822D1AFF45312783BAD5D951972F2]],[[A658C6D1BB7BDC584B5FF5708B30BEA99109E6F2A982D965C8809D71CE24CB7D4C309743A0A2284180411D74C717451F6FDA689B351D63CE58,0A027597B8E134036F63EA407B30707BB35CDD5D5E044CA46616D19D621FEB751A03850BDF5600384DE0EF757E13844A89D2C7632E50AD6B4410],[0E46B8ADD1AE9E229CE707A27FFB799463B607FB4D9CF371418D2BDF0E697426E7AD61ED91F72CD4AB6E46F46CE79DFB7AFF755E67DCCC27039B,0DB8CF3F578069EBF01C2F15F1A12F8D9CDDD29133C81BAEDA33623072F568E2A1715A266829055F0D50AC8EB89A4961CCE51FB6B436E3F37E3D]]]", |
| "FP12smuldtype" : "[[[0E0478DE0094D185049AF3E2D34655824592A8861B1DE383637A6D0664DE538A41B9F90CFA7A221E1FA80C42207141BBE8806246A2F97F09DA14,060166E67769FF0027819654D7B7C4A70B677395D624261660EFBFD9A1177E7BD758E148D6DF124FC39316E8A89F173E758F3EDE6D4351BE9C13],[02BA2AA062BC27FC59E7296D9DD6FF328A00A17C3B021C02ED20BB7E389427BC60B5CFF8B2EB16DD275E9734DFC1C7A0002990635DBE07B5A574,0B3583D2EE000AD59DB5AA8EF58E61666B7C74B75FB7B0F3C24B1EA0BF56A4E7203783ADC10D145E4960465F9A55597FB144D6F1985E778FFF41]],[[0EB67E8D0000444C4118910704A4F4987A17D4C6CE60752054051E22994FDA5C918B50F2379DBCC3B1F62871A9327366675E808B07D531662EAC,02AD5179A35E7DC38BE126BEA594957946AAF7BBE18BA885DDC17073FC5D6E97BF11F904CDA65528D7EF494B0B380ADEC6AECCB167F4F97A34EB],[0FF09EF6B9FF3EB0244600FEA2DB9053DACE2485BD3523109046F513F06DEFEB5F35965129E2422B78D20DB5174A461BE47B3723199FBA7BA34D,0F2A6E791759CEC88F71DAB4D78ED34D74572E8FD64D81483D75DDBAD2A9E21E98A6A8DCAC678A8F009EB9CF664F5CF6E48D32FA8253424A7BB8]],[[05A8CCC7EE4DD1C92C8895337AF4238CDE76D9BCB251014D877441690379C617E94449717B8FD0BB47E5A0CA9B0A0464D64F5320361811ABF98D,07F45D8A7264205A436BC04E49B5C724E67C92AAFC5E4B6889AA5BD4220392671BE4691104CC19C06027B46ECE5991BFC27BB7CD994FEE619B31],[13AB536BF49F48C7245FF2B7DC50A2F75ED81A00FC304F36799355DD317E0B2D723DF8638BC7FF9FE6619C316598C166E4048CB571F8C3A4575E,129A268812A4DEF18F763F8E7E9EC70FC0142AE37C6FA240EEB3C9467C087DEAEB12F0C3DA0FE23F819797409C31C2587B282A3555720ECED7EB]]]", |
| "FP12mul" : "[[[07656F98BEE506EB25EB7C8A72AF33A9FAA4B7C3BCEEF908A20A93D228526E3AFF2CB6D07D6612B35CA5D8B0B8D22E291924CEDA81B63F197696,149D839C5224D239346917680770691824419E6BD8638BDEC214E824FFB7091D275416A1EB88CD6B0EBF8A6598804F52B64A9898211F0F828EC4],[023B8D635E8FAEC10F8C4101CFFC7F5F832DC35AC49C0F450AA9CC038E1741CB29D288504141F7045E67E8950F1044E0D0AA06D52A6058655117,13EE0EEAD183528B8B47B90D8358BA8F58E109A00592C11CE549B358C67FBC04D115D008E7D3A00DA848BFABF8C4F1C556504F8A4BECB94523A2]],[[0FAF86B8D32F9263A16E1139F7503F9235C2C1BC6481AB80840D0E290D9B8E5A0BC7571209D19908A702549D0C69439E9041E2FB69F60E859D23,0D527C4489D540C5BD4C8776D43D287DB6626AEE1CEB78AD4FF31CDF3E9D7EC06AA156D95690A0004A30F7EB89A83BB80879404F3E9423D5534A],[018356A905794EFF8CA903589BB37526D32B9266CCD6B68F8B4135D149BFF6E11CE13EBDDC1828115FC824E5FA54BE120E891BF7AFD7529AFFA0,04D2C8B337E4771F73C62C172ABFEC25AF2ED4D99EA6E1985FD74EA8B3B98195E2A953E84D906BC4291A9E6B76B04CB537C8869863B151174C05]],[[0A34BB92E458689C000BBDC8F67F9FFD8CD6A388A86C0A0C2D926D9BE2D521D5F3DFFCE2151705C3B9CDA5D5741DEEE9EE8DD70EC900AA381AE7,10C6424D198EFD697CAE40CCEAF70046F1D6DA5B3CCD56CC44B0E01348B8638979520D4F6EC82D2DCD5ED4A5A8B92BE727FF2CD81B56354AD8B3],[0F1CC3559EDD547A7FE359C01CB3530AEE94C03FC861980D08F47802FD69D9D89F03F8DE8C68AC428FFFCB739800E68FD3632AFA5606A4737C54,04DC56EAC05E5475CB1AD794E7DBC7EEBD0ACF8B1C16E6C3695E83B6B31F069B9D0715A31411DA1E5C58C968EBE759274BBC94A4808D292E6849]]]", |
| "FP12inv" : "[[[07B22097DC71F54FA41750AE17C03ABC755FFE81929C9EAE2A2A9EE23E9C5662FE95F13DC2550CF58CB15E9A77761493E586A786BF9138A67595,0AE2B6C46DBCA28DDD0239313F51F4388B3862A9C2C96AFB9B63475C3BAFEA109FB47AB8B92DFBDD3E15C63881C89C3DECBDF6831D09034B1C18],[03770A49ED472412F6EE7CAB22FDEA3751AE3AE98295A2D39EF9F8C4778E20B989A6A114FDC02F126B9C85A3C6D074AB5A7E47B676B665AC5666,042528CDD9744D3E200E8D241D1C57B6CBCB7C03413BED25EEAC8DC3EDA56BD91A63E451C17D51C6E29D3C37E150C55C7F952C9CE9DF56FFA8F9]],[[F2F2C5C8F0DF7DF0A5CCC534F531B380335E1B42AC17E8D0FB7F9A5ABE6743720209F622F334FF0076A582FBFE44CCA80D2E5E1058844C924D,044423EA157445888F4B75A5A41192646B26BDCD6F08EDEF5ED11ABD8633552EEFADDFEE34E341C1D4740C845A804842BA725D9441C75AB4B1AD],[0AC226543739CA0969857B3194725B5E6E4CC6012C7E399C108D95CA22182E85808B4342B89CFFC92648D97EFF35AA15E9C5C0C5E6A94A406F94,943127E253A1E153E61DB44E3673168B6173955B2DA561B59F71350DBB20AD82BACF3E0A030F5C2859DC6E6212D7EC9737F501A0239D119F39]],[[10ED0713ED0A6B62DA3CC4718BA0DB14C5D5FEFD844B58920A2F19010B69F915AAE03A19E643D3F1505D5E7E2E794E7AFCC665FA6DDCD07CFA69,027E8C9D3E89F4E22CFA2A84B6715A99A991943DE426B8571E40094A5C95BAD146CAEBDD22D94E660B7F3458C15E6EDE3C62C4D4520A7160D9DE],[03C33E5D1757E698C34153251A034E0F0C558D95E1379A2C29753EB33A513F86DCCC3B72875FB5285E04D5E2B36952775006E15ADB8A9D405A72,01A63EFDCE9606D0048EF1E47DA0E7B642A69FCBE4E9B57ADD7EA1A2489EAA4083CDCB60210E73CFBD07E7F43142B9EC7567F760668EA312883B]]]", |
| "FP12frob" : "[[[07B22097DC71F54FA41750AE17C03ABC755FFE81929C9EAE2A2A9EE23E9C5662FE95F13DC2550CF58CB15E9A77761493E586A786BF9138A67595,0A729E80E790B7C77D539D62D5416B84E3E5D02EF803397F792143E66D30104B7D0B946DF16359A1C22A39E77E3CB9175DECB428E2F7A75F8E93],[11B49638690CD4E2993FE4DA1EFAFA645384EA7A950A4196D633889E90925B3BF19004D0C8A80BCA67B63FADD42EEC0A3B64E9FED67862F9FA1A,0210E8DF5FB0CC229000EC493B985CB59039997F06879C159C294AEAD5B449913CBCCC25B1D86A13ED604DD7DF9E2E1D42D46E5BF5CBA7979ABE]],[[0A2E492365360D893F92BFF975DE9177663FFA9AEAB656BA7A014AB92CEBABEA545640328D15E0F8295E05F1067E6A9396E3B6EBCFA066BC7525,046A9DB6BC18AD6D9786F872DEAF13CBF4E8B582A499014783373FE9014DB3118C8698ED571279A60CB5009FAC1243B1E370D22E9AD3B6D1D2BD],[06C61B84B6A1FAF5D5269BA7E2F053173463BC79E2D736475CE8E1911BC4CD2D9CEA39D11FD4E28E83DCDD4C0FB165B25597025F684DA5CC4E77,1016DD4BB2D633ECE851DA14CB2F3BD932B41173F82A7E1F61C51E22ECD3B22B183BEF5345DF7B73D0AD8827B9CC2DE415B11FD067AF3BCEBACD]],[[010642AAEAD3C75B9EE54DA7D8041EBF3FF679D2AA9ED34B000DA3C2890374F709AC475D54A98E1AB7A22A7D59981DC0C63E890B4F57AD644B7E,13EA591369490DE1A61E3CAF9332EFB63B56C45F132AD5A311827AFA57C1ABDB678BFF64823B9FEA2009935874FFC72B8AFC9EB3C1D5899C1EF0],[13ABAA89506D88240C036D3C3A7906D15B7D22D386EE7AE2B2D79AAE247BDC1D48B05795A142ADE6B3F18E2B3464A029F51E9AFA3316E9C719AA,118F9210A894793D21BBE182072C074C01E95354A8C355B47E8BFF20E6BA4BC96FD7D6F3320014E0073A57105FB03B7AC0FA2CA6A1F80802B6DA]]]", |
| "FP12conj" : "[[[07B22097DC71F54FA41750AE17C03ABC755FFE81929C9EAE2A2A9EE23E9C5662FE95F13DC2550CF58CB15E9A77761493E586A786BF9138A67595,0AE2B6C46DBCA28DDD0239313F51F4388B3862A9C2C96AFB9B63475C3BAFEA109FB47AB8B92DFBDD3E15C63881C89C3DECBDF6831D09034B1C18],[03770A49ED472412F6EE7CAB22FDEA3751AE3AE98295A2D39EF9F8C4778E20B989A6A114FDC02F126B9C85A3C6D074AB5A7E47B676B665AC5666,042528CDD9744D3E200E8D241D1C57B6CBCB7C03413BED25EEAC8DC3EDA56BD91A63E451C17D51C6E29D3C37E150C55C7F952C9CE9DF56FFA8F9]],[[F2F2C5C8F0DF7DF0A5CCC534F531B380335E1B42AC17E8D0FB7F9A5ABE6743720209F622F334FF0076A582FBFE44CCA80D2E5E1058844C924D,044423EA157445888F4B75A5A41192646B26BDCD6F08EDEF5ED11ABD8633552EEFADDFEE34E341C1D4740C845A804842BA725D9441C75AB4B1AD],[0AC226543739CA0969857B3194725B5E6E4CC6012C7E399C108D95CA22182E85808B4342B89CFFC92648D97EFF35AA15E9C5C0C5E6A94A406F94,943127E253A1E153E61DB44E3673168B6173955B2DA561B59F71350DBB20AD82BACF3E0A030F5C2859DC6E6212D7EC9737F501A0239D119F39]],[[10ED0713ED0A6B62DA3CC4718BA0DB14C5D5FEFD844B58920A2F19010B69F915AAE03A19E643D3F1505D5E7E2E794E7AFCC665FA6DDCD07CFA69,027E8C9D3E89F4E22CFA2A84B6715A99A991943DE426B8571E40094A5C95BAD146CAEBDD22D94E660B7F3458C15E6EDE3C62C4D4520A7160D9DE],[03C33E5D1757E698C34153251A034E0F0C558D95E1379A2C29753EB33A513F86DCCC3B72875FB5285E04D5E2B36952775006E15ADB8A9D405A72,01A63EFDCE9606D0048EF1E47DA0E7B642A69FCBE4E9B57ADD7EA1A2489EAA4083CDCB60210E73CFBD07E7F43142B9EC7567F760668EA312883B]]]", |
| "FP12usquare" : "[[[03130A660041B7121F57EBF5CAA88B2F18A9F577EC787CC1ECB3ECC0362E23FE3DF8C4A7D7992D5C7D66E856B66C730456ACCF28F6CC234D7736,04C8E7E8569ED6757D5729DC38B1F627EA80AE768D2F23AFC898128E1F4BC9953F8598EFDDDBE72A863FF840961816D49D3DA883F63FD0D72847],[0994D3F8651F071211388325B0BF0F7F63E075AF2473A0882F9210C5D7420DB4E3BA7D8E5EA6ECB4CF4F197346CA528E1E34CB848830171485CB,2C1085C2813216BB69653B6922067C4F2CCBA51D84D5C2E09BDB9AF36AAC004B1B0A57581CC6C512165D03D48F532CCA7012FB3D9576931FAA]],[[0BECB29D4411FF421462A87C02D99EA400384031900FD44D618AB21163A8A7E7093CB96EB493809146510C0DF59CFA982DC54C1C486A6653FC27,0903D292DF49E3AABC556F115753B482AA1C59E2A6814570FA02973255C801F2C38255A73351582BA50B26D17E69EBD51F02E20DC2C2F4DFF400],[0BB99D386FD14E3854E560C4BB38F64D2B01073182DA9A2884F873714E0FA956EE9EDFB62CAC31D40190FAF93BD58CB37A14B54CC6B76647B73A,0D90C1017746B2442EB2A77F4659D9ABB2238AE1D452AC48508CB006E57F3EC53FDA5F9C8D35441E19452772FA56701F80E9CED0B65F77AEEBC7]],[[02CF1E75ADA56BF1FC1E3944795D1C92F5ACEFA6405C9F4D24A8656C5EACE7F74EC41BA2B8BE9816F5ACB7AD6C8C71E7CA5F50C2D24213C94BDB,13F419345FE6F07321FD6DE0A705A96F044618F694B5519EC5BCD5B982151C86AEDB9468FCECB7A4EF0F003EB046458A8DB1809384F9C6255F90],[072B38593CB95F63793D3DB3B2A257753C8F5F43A648DBE9F1574D8C2FA9E683AECC0AD708DAF17D83CDCB7CB0CCE0581716CAA63CECB8471738,09C55898648AC2765CB92C3CA792C1AB18693F3B59F8E10E047E39E3776DD15A0C11E6563849D0F260ECDAC5ACA9807400A745717554549B7AC6]]]", |
| "FP12square" : "[[[03130A660041B7121F57EBF5CAA88B2F18A9F577EC787CC1ECB3ECC0362E23FE3DF8C4A7D7992D5C7D66E856B66C730456ACCF28F6CC234D7736,04C8E7E8569ED6757D5729DC38B1F627EA80AE768D2F23AFC898128E1F4BC9953F8598EFDDDBE72A863FF840961816D49D3DA883F63FD0D72847],[0994D3F8651F071211388325B0BF0F7F63E075AF2473A0882F9210C5D7420DB4E3BA7D8E5EA6ECB4CF4F197346CA528E1E34CB848830171485CB,2C1085C2813216BB69653B6922067C4F2CCBA51D84D5C2E09BDB9AF36AAC004B1B0A57581CC6C512165D03D48F532CCA7012FB3D9576931FAA]],[[0BECB29D4411FF421462A87C02D99EA400384031900FD44D618AB21163A8A7E7093CB96EB493809146510C0DF59CFA982DC54C1C486A6653FC27,0903D292DF49E3AABC556F115753B482AA1C59E2A6814570FA02973255C801F2C38255A73351582BA50B26D17E69EBD51F02E20DC2C2F4DFF400],[0BB99D386FD14E3854E560C4BB38F64D2B01073182DA9A2884F873714E0FA956EE9EDFB62CAC31D40190FAF93BD58CB37A14B54CC6B76647B73A,0D90C1017746B2442EB2A77F4659D9ABB2238AE1D452AC48508CB006E57F3EC53FDA5F9C8D35441E19452772FA56701F80E9CED0B65F77AEEBC7]],[[02CF1E75ADA56BF1FC1E3944795D1C92F5ACEFA6405C9F4D24A8656C5EACE7F74EC41BA2B8BE9816F5ACB7AD6C8C71E7CA5F50C2D24213C94BDB,13F419345FE6F07321FD6DE0A705A96F044618F694B5519EC5BCD5B982151C86AEDB9468FCECB7A4EF0F003EB046458A8DB1809384F9C6255F90],[072B38593CB95F63793D3DB3B2A257753C8F5F43A648DBE9F1574D8C2FA9E683AECC0AD708DAF17D83CDCB7CB0CCE0581716CAA63CECB8471738,09C55898648AC2765CB92C3CA792C1AB18693F3B59F8E10E047E39E3776DD15A0C11E6563849D0F260ECDAC5ACA9807400A745717554549B7AC6]]]", |
| "BIGsc1" : "1178C57B592987FDC06EBB945DD4AF90833B4BB27BAE7EDA6F417F6A8B211C1AD46CA62F98676806FEA59690C6C23436ACB18564841021064A16", |
| "BIGsc2" : "0E0226C16A2D56B4C150F5383DA7C3613C11003CD7878DF3A43CC825C55A94874CA967D4D2EE0391AA8E6243FA6623D0DBF570F91C6BE2E25F35", |
| "BIGsc3" : "1030FBD8EF9CAADB72B30CC3BC3BED5FA784216012F0014D0DCD3CB7FD2A21FCAF7AA5BB5A85255CA6DA4F346D6F56405E6966CE77453C796A2F", |
| "BIGsc4" : "1320D174C8FBC1DA901D54263020C507897EE2885814CEBA3A525B2B80A7E55C5747F71BDE3DA1B537DA605FAA8A18E469B2E5DE39047CA248B7", |
| "BIGscs" : "098858C64E2433897635E6168F1E48F03CFEE01647EA234E7CAA20C04F456B0972967E749DD11A", |
| "BIGsco" : "0FFFFFF7FFFC0180017FE05FD000E801FC017FFC80001100007FEFFFEFFFFC0000000000000001", |
| "FP12pow" : "[[[093449795A3D1DD90FAC2B286B0B4F498398DCE4928B148CA307ADC14C0034122E77673D6080880F041CCE70EE793872653CC3E7A91065455D76,07AE2BB354BFDB586BFA7B69DDB00266F61EC59048AA9903F91086355066C2091E9C28FF3E8A57017FAC1E4A6239B2618220C95F4956EAC76A0E],[0FE16EB0FAE965FFF997A6097E44E6197B13E0D65251F129959435CFC1317E6206D8064FCD6F5C1B499406CA2CA5109F9CE757C0C0A7240AA4C9,0638C84A322A300FE72F54161E0AC9B5CB1F8B7D5E6CFDE88E8CBEDC7FA2DC1AC45DEF20478E08FA6177D3B947736B6CB10B3C96AE940C980F03]],[[0F6B2DD711CA8DFE4B3BD843E288614AE3B1EB03D7FA17D29B3405F512F1AC0A12F621883D4CDC702E5A5DAE885FAA9F06D8B2E37F7C6CA66910,0E79435E65299BD2079E2696379D824556CD913620571A35CE8C2D2C05CE63C6D195971EAEF40D30A97CE65ACEB13523F55A9E6AAECC43FF7650],[11A2DBB13AB4BB56721437A79C9D0989D34A541E7DE1AD5E2B63291C7B3B2792C48678B2E50E3F2AEB91188513CD364DC11A0A789941F5C75B31,08835231991D60FD9AA04914EE5735CC490E0F0BFAFE5757225DD4E212A0EDAA76D99B0457C314D09CC2787397F8C217AB0C1087ACCD2A8A9483]],[[102C9CB148C33CE37947A4D40B8F707D71098FF4A859D3F949D55AFCCDDEB85A8B6784BCC97760153927555C2DC4245800D0018D52661AAD6451,02A93DD44B03F97F10E6E59DAE42500D1AD3877F21126E2F8373F0F2853D43C2E1774AAE933CD3EBAB941764B59E3405DE1BF3783ED20978DB79],[0954F0E9E99EAC9B4B78B5F9F8983E8C0154F1C97ACDFA1D31DCF7D2C47FA4FF996A50BAC1ACD39F8E4D58AE4B3480319063918B65C46015F383,0AC58E2FFD286A67B8C13FC43EEDC4AB55ED42B038CAE2FA0E5BC6047E75C81744B699F77F59E4042468C7BCC38B748F1E411FD6E8E856214716]]]", |
| "FP12pinpow" : "[[[0CB8CF156E813B5D4F0C08B665F905E357ADA815D78BF1B3E19516CCC8A2A8F1D04BDB49F8EFF75BE2FA449087C85E2D2449D8A597EC30F01FB6,081E0222468A8587813BACF806831CD0286BEA7145325E4415ACCA0701744B32E64DD874C711514ADA5B5835328ABFF0FA6557760E476133C5D1],[0BA5ECFD3C288A22AEB51101650859DDBDC0937D83251D8D4BAA832852E8DE8F4F0E0323F3AACF8E49FD50EA6EFE1F0F827A54EF74C2D309EE47,0D18D306BD142C06B1B107DA344EE77100A4469446339170B208608F889D7830039DD41D3D63BFD9FBCA3E638C42A5D469BF5B5E67DB94A223A0]],[[1440334006D4B1718117233153942CD177514390317E90CD51D062E91CA1586613D65E4D36502ECF326381FED36C78D722A9C5A14BAD8101E673,0456A5302CD4219210E926878881459E1797C574CCF4B72AB3531A446EA490A2A449A2928657BE28B1C551AF83BA8AE99516C2EE4031CEB9390F],[39F0D2978650B941EF78A37A5B8D261FC3ABE43BE02236AA877849F607ECEEC299B4247336F76A65715BF8704282A5ED9DA3EC5374A3086684,04C24F9A2BC02DB504A94AF7F6BB40EF8A5D517B7D460896BD9342D55F9A11B9F6A37DF8B45E2A163E72773F68BF00EDD888502120E05EDC9ED1]],[[0E7496D9086473E39930AADFE71737C84E16E33777BC8E04505EE963257E20F7491A4EF9CB6C0BCDF7AD02D6F60F5543D57E5CF723E78335BA54,14F18A3C1CB7977072E81EBFC9BB95B2A0945721F18E34C27BA69B7C72F326D87BAAADEDE4EF7DF2D806766323519F55C5AD04A307AF446B4BF6],[108C868698E275054447D9C78815A97C4EE3F362E840825A1D5CC5737A6859EDFC2C06EA99557AE5F6C40335FAC2081850443A6759C3B933ADED,09C9510F1897C99462DD54B3D1E0EDDB007224EA29689A40CC87471C8D0A256643E525B220F57B524C6CAFA56BBD2AE1E9F7C8AC0AB3651422EC]]]", |
| "FP12compows" : "[[11E1B25D0B7179CC5FCF6B8C398CD6A293E2E50ACA07F519AA1905B3408E8DBB3EFF09DE06C20D9354D85CD8B2C988BBB878DAC08DB6C4BBB437,0EC1A4EEF2A564FDB8F73660D9B59A792A3CF07DF0987C1DBC9D057BB40916280BFDA1AB5014660A3721088D4DB5FFCA267300041900CAA666B6],[0BD8FAD33B3552606E4E5FBC7D78788F321B872B636686C0EDFFA8C7D8130E15D292352F55CAE576EA12550D4A49EF3E260F40E3CC0EF4976C2D,0F7C561042F8C10FE5E381C969F8075D561CC28DC1E5084849F131F4E1270B88DB6A44DF03E8BB2F5F7E54700D3EC4D5F4E203A3F78782E74084]]", |
| "FP12compow" : "[[0293EFD2142A306BA81C58935AE2792E140B6A931CFFD5AFC8B06E27C344CAB0B0FF47B782B58307D45C5D1E072E70732F857EAFFA0098D077D6,0D2A3FBD7D181AB1702A35406885C3865E4A59C3AAB4E86AB9AAFD9AE14DBC0870FB2DDD2B5C17B5F04453AF06424ACC4DDBA7873C516975AC07],[138B913222B45A44545531B252BB2201D42B0E60C82619F7D8CA2FCD0CC2A05FF1BF69E17D7C7590EEE7A83368F910B80A2CA06B2DFDB37D0957,14B2CC374D030037ACAEA72D9D14BDA7602D2106123ADF42808207B9E8C2AD71349607B8B8C00C0F26FD8CE1341A31EBF5F93A0B0DC20F5397EB]]", |
| "FP12pow4" : "[[[0527F8DB7CE72B665281237D5B182CD2BA2CDC601A0ADD1244F8E73ACF905504DF85B759D1CB5A18F025A1445F7401DBD7B4BEF8E0E1C85F3E9A,03A9835D44EC5C4434686C4EABF37B19C763322D02D12394B2BCDAD66838C6F42B8531A67922035D144044589AEE07C16A9AA79713F7B5142D12],[0DECDBEC3425AD94E45C0717159EC6C4C169D79D3C24FF8B646BE70EF24A5BE55CCB144A73DC04C4C9F142C5E75BD5DFB99081D60FF61DC4446C,0737747A3E80D52851BE7FA0957EAD53D459963DB8663B3E0136D438A325366F6C08219942B97530E542D8293D1EF7E3493B3D02428042D01F78]],[[033AAF687BA71DB06BF6AFCD15C4084532D2107F3F6E997556474DAEAC03934D00D92B3307FE045C3CE9C0E055E712A5FF10F7D5CA34E7356761,0964A4A9458E2E69DD3D733994EB2A9DEC7E0A0C6DD0A0C65A33C056A2928AABC9508B57D114C843D6C9624F16A70E6EEC20CD0C8FB6FFBA0667],[025982BB70A90545C4497B90F0FE8B9A0BFD39746BBC9E69E80C5870C9A30206E47662D9F16C39880819891FF930AFA8012CA7253CE810A9BA5D,0957D32FF70FBBD4FEA34237B65C4A27DD515BDC67141086128C67F87E5554837F34073C1C44502D6A6C4D8298121FB5CB863D5E6A12FDE4B3F7]],[[12359D8BD1185D780E6D4FE5A127C4AE3AB1AB826D5FDA55C6646AF210045F381009EED8C67BE08D83F008B7C88D97D7F6AE66CD79528057C911,01DA518CC6B1C859D52EC4883418299072370C71623384221DDE852F4B95C9E597211488CCAD3656891C7460ACEB63431792D0DAE930829B296D],[07C63F7D0E89376A91E2CC55D9CFB3D57AC3C22611071A83D54EFEEDBF3BCE0590DB51912184CC9E5319E8DE5CF6569C5CCBD3AA99F21874F9F0,094E1FF6E8FEBC17B622E8F4F09DDA6B046684C52E5628B0B13D2E2927E65B76C70E7008C5881B58D04444DEBDA9D918E9703BCDF9919D3A7E7E]]]", |
| "FP4trace" : "[[01C10C824008859991F01B7632AD5077F101C8ABFD09378F69FB516412F508CCDF01C4929C6DD161A5D41BAF665CE86665E94BE83EB2FF48B614,0B52CF07F3E88D543CB0D4FFA9627CEC328AF5248D8F9C77BDA54AD20A2FC3D5C25D610380F89E18BA01528985547F647B8F38DD571A5F36A99D],[0AF036678D77EE1C758A6092AB99A1177A13821C330BBC003796A0F54235982F7FCC2BE7B150C847BD6A6F34AB93F7533B2FD3889BDD79A5A779,08E5DADBC8F0729AFA2A2F27BD3E58990BBBBECEF718DD09487EE1F6DFEFB6D0CD9462316619602A58684B785C13053FCBEB24D54262A5ABAFC0]]" |
| }, |
| { |
| "FP121" : "[[[DDA082220126E0073334D1CC12523F5A78437E8C2AE23D6D1D12B89BEE1D66E40ECEC1E90F20EE8B29F6E330F3F909E7403939CABBFBACA419,099012417C749738C5D23DC6FCB4723F7047611FA6E9B08CE9AE50D8D17F9A424DFB4A8E6FE83E317F04B72AF946F7EB1AB41C6C521DD65B1A29],[0DF452D3D7571F9BF3FEA131FDCE4D7CF1D1DC32945CB33100A6850B10D60B12B42D62534C0636AB1B188B24FFDB081F3B549FD06F65FFB13F2B,04F65A1E4FB6567A8168934BFF0FD484DCCD1F0CFEA200F5DCDCEC1C4F9A1FF73B37FB9D1632932B7DB263AFFF47BD9B74A010ADA9D1D1ED4BC8]],[[12945C6D8E803874622489F0676D60E7D9C9774F3858378439D601AD262C6F8E9C26238880F60A0727F741C1055830AB5BCEF711AD2E40F7D9F1,107449DF9140185BB419C89183B9C5873B7DB85ED1B84D4DBD0F36DDE0A2528E202A943D0282BAA87179D557EF30989BAEB5FA702E30973C6D84],[0B696C8ABDD5AD7EF0F394DC9D00C03121967EBB6D553104E572A457DAE392DF4DC375F0126A9A3EFBD38809FF123314A0E3A70C892774C7ADB8,0CD621CDE4313C4E29D8D869A3073B2D25C9669EE6E11FCED46942A2B9B29CD8DA6DED442177293577851FECF528597F7A7AE041692C73D5A696]],[[01D9929FDB8C75564B43B0512EC5976302DF9DC933B1AEFE2B0D89D1B880D69EA77214F155C9BE3B9FA519FBD6D039A3DCA356A16A0364370E6A,1144BF35560FD89E023DBC7D3FB7CB2077A2795C505927959964A00369B9122E5FE39992893882A632148AC24DB057F01143AE50EC9B52AAC442],[0C52464AE24522AE1DED1F5DC4E381C8C703401364752E09CF507CDD1F95BF4902B925F46F224484ED6EA34E4D13F30AB9EFEF827EA9B90889C9,0F39B53DD9BA266490143FA86975E002F644048C41803D859614B97300308BE173A065ACF3F6F6E8D638ABF8535200FFB8325E9B2496FCF469BC]]]", |
| "FP122" : "[[[0217C0FD882A9533A3E80489CAF916CBBBA393CFCE91CB1614DD6373FFEF3F3872101EAB876CCA773D6665C19B9D572383C6072D4B795B9D5F8F,13C15A47348993D4F667EDBD87F3158D57F00E50753D39F42ABAFAA9C574D1617C92A4C2211032BCF7B89353B4E5886F99D6946199D5D2162AC3],[11723EE219BF83C66886FCEB26E5EF75BC555B00E2F33452F13519E0BD0A2F0A74DFC2B927D3449BCA7C0999AF78BED03B98A002195579877BD5,08EDFF3AA780A384212A102423FB5945B7F8B1A30309E1F1CAB104FCA8273C8DD15EC18A9E1FD59F653F9380AE02D636527E96D9FE8EB2917410]],[[0F117E6F970B88AE693424FBA74CDDCDD3C5829A9BA6BDB441FBEAF0A7DCB7797B79242939B28DB4C1185EAB3E5CCCF54C9168ADA180749435EB,09896C0EC472067FA6B11DDCA533207B710E9953E3DAF4982446E1EF5962B6A1EB116C81B204CA040A93C48FA8C79F7A5A4A74DC6B024CEE4103],[0CBF315349516EBD35EC95C5C806E17D582DB887F30DB749752B60A5F08F2E08BC1442E82A85A3F203221F27BE99E1ACF9638E6E94207D2F72EF,1553002E703AC4907182CCE130521C6EE177F4ED30BD2880B40B24D92511501DE3ECB470977CF7CF3355757F0284F9DE820AB4D896C9F91CB99B]],[[1339E94A7EB0CB42422957C17617767F197CA0522866FF900FB347780EA8E43B1B6D6AD61323D2DA423FE10ECF3C6756D193BF200C479C487A5C,0584CD18C8668B9AC9D6073ED7E285FA3D8DF6D0A8BC30E979591FFBCAD3BDCC4FAA540B362E7BF1CC43F5C7D0D24AB1B077F62373A82AB8983E],[08AE0EC97EBF80BC02F30BEE636F9F2B7C55281621D766C0DBBAD6CAFE36EA5E8CA2369E59C9A607BDB77F6C6C06F978BDAABD3888ACF59D77FF,11F5200216D5B8DD0900C873431D1033EA0202EC5E238531787EB87F1577D1DD44EE0FAF459166555142368B3286D47B308B216CEE88EEF5C296]]]", |
| "FP123" : "[[[06E3E3B7C94088CDFBD5734D735702A1CEEBF2D7881A9375A1BD0590434A38263DD31F2F096C41245D1188D26CF9E4D8E2DF54527F543484E329,01EB98E32271244B5F225249A0BAF9D48859B7920727A3AB89E2AD901DB993CF64297223C05365DE1F265331B4771082E8E6431A73D6F091577D],[07B5B3AB4EF936C64AED5B78563708B56231736CFA82E564EC5B0A46636DE2B68CD1DF2E336E79C5535F81AECD9A0354B76526D8067BE647EC64,11F449A185D001AAC73D5EADD9B4904FD6A74383FCAE8BAC872C8EF100483036456A95A32D20E239D29922EADC778714A921FE21C380725807D1]],[[14C0D54EA3CE893CD2FF41BB1359298AC72DBB9C0F3A7D9168F4CD2265C4F4C669EC22BE7165ABE63D1A95333AF2366BE36EF3D8D6A4EC60D50A,01B639F837636B8BF6DA176A1FCBCFADE65D607254FE9BBDB13BD336D9D15BFEBEF8424AE6B48DD628DE1A358EB7AFE24BB1FC7EDF9E50ADB09E],[0262C4989FD23B756DDD24E11D4BEF577CB589551EC495B0DFBA4EF13FF4EED379AB1C87B982811000CBC0D5982C5C5E8527B87C9D0D7F05D8A1,E9CBB5692CEF78D5B6D5AC8B95743FE0F96BA7866848242693A101351C97EE5702605A0F87E48D1F21C6F320C9F9EE30F5CC5E4F3ECDC54A4C]],[[051D6DBCA164C33F86D15F0054760C3BE25A22920A733448D0D1C2932B6147103067E789F487BCE72CBE8892EAA3989E3534239225A97AE9CFBA,B63BE7BA8D839D31FF3438199DA6CA3A969CE4253985E08A6A9534CE7D3F564D2680B6B7508F432C2BAEB15C4F8AC1C32E1E864E7017CC81A2],[104014817A29F7D952ABE4642CCC8C94F19C09E4E6CB9BB81E997554F21454657C3E48FB5E5CC9030B16ED60F9F4E66148AF9E4BD4232D1D9962,1308328718A8F43FB55BAF271FAC94FF306753F98D16A57C1F3D7CAB37B4C86767CE8875CA7C69D33407BDFB40F51E14CF5C8BF5E76EECDC3807]]]", |
| "FP124" : "[[[01C178DEA7C3A684ADCA93EC71FE58CE5D4E28D9EE27860B202E9E51F8248D5968386DA9D46A195726C008385A4291CC0988717CC75057406989,0E8177D1117C7EAD96E32FD59ED6A58E4F80A75A804EB828CC9B053724308D874FD5508650D383060763AE53DA5BD6294A3470F4D77411778F5F],[015BDF891F9DC4F4CFEB28B0892D7557CAF13070937F341BEF58FED49D68CEFB044C4D1083BA05524FF3208F33F56AE0CAF6C0B066366F5AFB21,138F5632024A09F06C450F5BD926DD7E5F38DCC9F0B0EC5B782DD36146C33DA43CC15F796B48A8E69C3A1B80F26C729A36669B899C4419850A84]],[[0CE31BDAA8B736D2A40A8EF059F9A6036D0FB5C834201AC9883B8CDBC4DE7295EAC0C033193AADC4AD363D128B9B77052597C9C6ED0E30526588,200B402486B802B27F7A875F617CD2C18300ACB734AF09CC82AC5EF0B9789639D90888DA3F57CB87938D031ED95691E9C4BF17C091B625F8D6],[09178E883A5B51F1529C8307B69C8A386BA21E821AEB1DB6FD158797B062B35A74C779334BD7833282D38276D6174E7B39BD579DE5157B45C80B,04C997725A2C63755883060D63F1B98E6B6A8C614CF804DD02D55AC532EF802069489C2B826B28B1B66BB96FED468D714B2C36852385ABD94F70]],[[112DA3EF9C9CA7FABE4FBEA08BDE67BCB4DBC636D1B4967EDC2AA73622F09DABD3D54C0FDD2F15FC4404D53BDB6EF83895C997128B26970E361C,0F06FE560E4270D9F6EBF72679F5EF3C12AD844EC604054D41718495EB0D7C916CE75DF4E7BB204EBAA255B96AEFF2A4FA82D80272B7D50D1F70],[0C4B935E469922E60266FAC51CF8F7F9FB50A718B445AF6D6505C019BA726867B9136C438AF543B8562E111F16CF30C436E808C6AA8E56B7B3F1,0C185C11A7933DA5335DE65017DFD8BE647DF91B031509ED3D275C8AC4EA06FCBD33711C32E41A79ED2DC7F15A55609DC53F8EC9D159E52259E9]]]", |
| "FP12c" : "[[[0EEA9E4B6A78A56F8790629CA635A242CBA5191DF4DBDD457E27104CF91745CAB7DC7D5A0AF3BB670554EF66170AB98D1C164E03D28814D1CDF1,0F0729A8318F73F5BE3AADD3D15ED3075863EAED45E72B7B72440AB4D9C12FB525F2B670CB7ADCFC9E855685F2E9B0D3E24987E688F133D6F756],[094F331ED9077ABB5A68FCE71887B7863C9BB5E073EBBA9D710655A1F2B272580B0E109A8FD980005F466AECFCCAD8AB7AA56B3D11A2EFB402A0,020EFED7497E5EBDABC329B09A831356C04694ACFFCB748A932CA88BF050C1EC7EDD60C8906F4A801494F7E03820304068690393571819307CA6]],[[07BA96CE587F86447CA0987059B7AEC185120CDD11F69DA6774B4377717DA91FAF668560BBF56BB0DB228AFA3915A778F842A85943DADF17D2D0,1129DC87CDC84AD6C0B055B7E345C4570F4D67135F81B4C5E278F6DAFD2BC4B54ECC2759757182BE189ABA6134E1A3339323A384C4D7F969829C],[027DAEB86C45827CB9799C64B1D27516CCC9436C02346AA7F6BE6491A496CDDD8C2F9C48FC0BBA0CE5A4BD5F2068A2D2258F6FE2EB3FE0D47149,10D6D22FC2838D53D5B148D9415B94CC203FB823E511D9819F4019A520174EB3B0C0C4326AD75D64D07F19EED176B73395DF3CADF3F08124B927]],[[13673EED4AB196C3A31DB58C5C8DADFB76CD569270AECB0DFFEB349CD5E3FDB5441D9889ADC80FD90633B0C3A10F7615E052D88F19CDC9698B71,095E1FF7EF681A262697FB83013FF0AC901B574AE3BC79C46BE57F2245B437C2DD65790C37EC8D9071C7B71F90902DBBF4A790644A026D4CDF19],[42163DF57C5930521B9EBCE79AE4173BD3EFC910C0F080C0F093E9F658326C27D44BAAE2323B6B384CC877B23BDC4FA4D4B7A0567129BD97A5,06251E4CAA4534063CA0B68BF936412F1C2AF6F445A8396807DB619DA0A354A83574C906CEA2DC71CEA5E6E6B0DFA8612C6E5BA602455B1AADEA]]]", |
| "FP12smulymtype" : "[[[0217C0FD882A9533A3E80489CAF916CBBBA393CFCE91CB1614DD6373FFEF3F3872101EAB876CCA773D6665C19B9D572383C6072D4B795B9D5F8F,13C15A47348993D4F667EDBD87F3158D57F00E50753D39F42ABAFAA9C574D1617C92A4C2211032BCF7B89353B4E5886F99D6946199D5D2162AC3],[11723EE219BF83C66886FCEB26E5EF75BC555B00E2F33452F13519E0BD0A2F0A74DFC2B927D3449BCA7C0999AF78BED03B98A002195579877BD5,08EDFF3AA780A384212A102423FB5945B7F8B1A30309E1F1CAB104FCA8273C8DD15EC18A9E1FD59F653F9380AE02D636527E96D9FE8EB2917410]],[[00,00],[00,00]],[[00,00],[08AE0EC97EBF80BC02F30BEE636F9F2B7C55281621D766C0DBBAD6CAFE36EA5E8CA2369E59C9A607BDB77F6C6C06F978BDAABD3888ACF59D77FF,11F5200216D5B8DD0900C873431D1033EA0202EC5E238531787EB87F1577D1DD44EE0FAF459166555142368B3286D47B308B216CEE88EEF5C296]]]", |
| "FP12smulydtype" : "[[[0217C0FD882A9533A3E80489CAF916CBBBA393CFCE91CB1614DD6373FFEF3F3872101EAB876CCA773D6665C19B9D572383C6072D4B795B9D5F8F,13C15A47348993D4F667EDBD87F3158D57F00E50753D39F42ABAFAA9C574D1617C92A4C2211032BCF7B89353B4E5886F99D6946199D5D2162AC3],[11723EE219BF83C66886FCEB26E5EF75BC555B00E2F33452F13519E0BD0A2F0A74DFC2B927D3449BCA7C0999AF78BED03B98A002195579877BD5,08EDFF3AA780A384212A102423FB5945B7F8B1A30309E1F1CAB104FCA8273C8DD15EC18A9E1FD59F653F9380AE02D636527E96D9FE8EB2917410]],[[0F117E6F970B88AE693424FBA74CDDCDD3C5829A9BA6BDB441FBEAF0A7DCB7797B79242939B28DB4C1185EAB3E5CCCF54C9168ADA180749435EB,09896C0EC472067FA6B11DDCA533207B710E9953E3DAF4982446E1EF5962B6A1EB116C81B204CA040A93C48FA8C79F7A5A4A74DC6B024CEE4103],[00,00]],[[00,00],[00,00]]]", |
| "FP12smulmtype" : "[[[06C7F2806D99BE4C97AEE61C448EBD6AF6F3903E2BD4705BF33404886416C28305E456E42E665DB71F3AA8CEDF41960274D7CFA31F9A024A665A,059E5BED3B2ADDCD1D8BAC7685ACC06AC1AE45EE181E6200CF80D8D5E4CA0934C23972E6A500BECBB245071CEB89915195611DB3AA63A0C2715E],[D38B899FD2D0081E722542A375F0BE32C61D5DB551AAC3087EFBA38E54CA74E449DCBF63B5C0B76546AD54AC557B3C331897929AA3FFE20A58,0A9ED65C114B82E371DCBBEAC715B683D579DD6948A64D770C64F46B75600879B3EB153C4BAF44C974E407E1B757C39F9524BE3B4264FD780955]],[[11EAB9723D443B4FA5CB372B9121F298E372B058EAAE044BB0A6935C2C042FD5E57DA91C4D6CD73533E7EC69ACF8763A8192C9724352779A73C5,08D9C2C8068613064E7595E93311140E7A30C7CAAF1E020B01156CF811AB57EB88FC5D5E823D06235A79A94D35406B60027F04CFA0EBF2C0CB54],[0990573FDFF320F8D62925504D34D4585723DAA04C6FCED85DD5B959037AEFCB41AB148D5AD17829CDFDB6B26A2690E281820991B715F562A682,0379E44A93E61540144950E0DFA30EC6C12CF7362D22DA5C6CA08F437D2E031FF35AECDA5CE5985AAED678851646E710016B94AEF7360B5B447F]],[[10A0DD9FF503A5C014F45B92130CE4BABC1CB51468BBAB283EDBE7D863D244B7A77FA232B71530E2B13E948E8D86609D294A9EE7808A4D142B96,05E52EEDDBB61931963BE52055B0450F822D7F4B3CC350FE027F1CF53463A34272F196B45BE7A17B3794CB85103D4CDC7FF45A9D347E635571DD],[57D1D2404F90E2072C0FF29583DDCA3DDF7BF1EF3561641CBBA4A388D3B5D1DEEF44E5B4579404554BCFCAAD7E4A0B6C7B3B7188F2A3FE05D3,1466095435C9247BCD72E49B400C55F8CD6DAC6804E83659EF6295409BCEB55872E2DEB88809370A29E2D7CC4E2B20D4B46C3CAFEF55B1DFAAC3]]]", |
| "FP12smuldtype" : "[[[03ACF852484A6E86F67BE98EB2773DF9D3F88AF89943A1BAE3A6CDFAAC048ADD47D5D2FAD6BD90E91781D7E5DA69C08DBB9DDD8A72DE08B23DC5,05060AA05F1E3517D6127F1A709A9AD6B3F758A95BAE32BF9AB58365EC77C9FB2164F5FE7DC1944E0D39B8549EC0FA18DD9DA2192E57009B92A2],[01A4EEA30B97B1B960821115C04ACEEF008360F2EF45BF1EC0E24B256D9DE9ABDC11E6E68B5BB64992DEB72443440B1EF4144C575D203AFEF608,123B4BAE5BEEEF3F732267A3DAA6B6AE50083D190F39A97E0B81C76DEE6ECF8410E64C3D98B9FA2F6D6FC18C6AD56C8AF3F73C71E10E47FF4ED9]],[[15485ACB5978750FDD08D29C5A9286A81AB13E4790963061ADCA79FCE54E96976F740438D08763FBB6F3491CED6157F5975D0131130B2C805C44,0B92D43ECE256F40C05FB491E143D6BB5492492DA07F5FC5CC5581BE13A5FC8D6C6F48C65FA3FE0C43E2C069FD870F2E9A98A3AD75A44C63865E],[0CC6518FA333B706D4AB0B32DC4456C5AEB3E109005BBFD01DF9AB765D8CF006E4AF10433460C1A2C8EEA9E29E893B4ACA4E7B0AD7092AA9322C,13080174ABB09354765C8A3820FDB8237CEF9A828DB7193D5849691A5CF86EDA557999C78559E0C404F8000534877071CD84D3F6B8E1747B301C]],[[02088B039841CC89F42B0A3730D3FB9BB7BFC1858B8D70F92BD47849DEF0437C0EEFF884FABD3BFF0D75A2E57C5B4E13081A571094718BBFC983,139087619A81400437A0558AD06CC99CA7309EB88F6DC8C5A28453B4AC2D2D05FD53652D782B6A91B303F4C4D19C3E528B08714D502D2F918034],[0DBAE95D05E1E14B8238546F9BC9F62F7BBC92304D1276D86759BDAF86E0FC564701E7D8B937626D9E3D652E98199D5DB01CF502313D51823E6C,08F6C9762C4ED40BDF1E39C6DDAE90B7C15657A4A628E18A01F4EC8BA3332DE3A3A5D02D6DAEE8D5E6CDB612D32301B68480EEA9DAAE8E2053CD]]]", |
| "FP12mul" : "[[[1052A1F1A89E7DD0F5FB1169A5DE4308F43D8C9C03BF14D9BA8FFE7A3A53C9F46C31830534F3146AD82FDB1298ABA1DE31F967F31DBEFE691FD0,1066C81D55841738F8692462760062252348914CBD7FB3B440791EA4673CB15914B1631F0F7750A24EFD7EC8A963F9EDEA5C7D16BA4CC8224554],[0E5DA4DE6154B5E8F5E653178D87921B323BE550BB4323E931C5745F06B884F85F8A56EEC91468A5D854F66A8F3CD5936AC45B238A453B88D737,05F47F9AB2D6808E56BE3F0E716F61B5881C7207FDDA80C1C326BF92B956F0AD45EA681C0152A05235CAB656D91AD57FA4E2925069DC86F74B2F]],[[097F54148EF46BA13F72C67D20F2B2AF87F5BBA8C22B062925930FE404A7870179695DAAA85A941F6FCF64EAFBC2834F00681178C2C3302F804A,05B322601B77CE247BCDCFB2EF38E99E79B622E55140D1C4BED2BED5BC10DCE904B7C64C65D0EF91B18CCB8ECE962C1CB59DEA1DB22C3CBE4E84],[14B38DBC9C8F7A6D13892B2F78ECA69BEC1D57952E381880AC1A8E4D8E2D0B8126E19E35FCFD77DBEADF15A517982940E5B5A5E8681475A32AE8,112B08B3CD155DA6935D489A30054F767D7B008C8E496FE8A233B5B3919BE149991ED0EC74DE2022C5C5AE79F02136AF9AF148C9594594807C70]],[[0BFF070F15C0688BF0A20E126E6EC8113EE79215CB3A6A147DB07AFFAA94C16D8C1349E54470B400CDD9A10510AB68F30412B39499D309C002D2,0C098DF1EFD473F9E819652F8B0046284CFAC56EE7A72C1DD81F8664A99244CA180458B3A1C2A97F8FDC9273C8133729399ACBA7F367AD466C49],[0616CA5C0D079D9AA57A7A636552FA9F26831F9E0CBF9825E2E7B84B11C204083EED0CD20CFDEF8F415C71B0FEC0690253E8DF4D78589A2234EF,09E6F6E0107E42991CD377A6C58B6D6C40B1106E360D7511FDA85A55A9CFCE8F92CBE2B42610A9B38B49A945AECF817CABD3776FEA2ADFB87E63]]]", |
| "FP12inv" : "[[[DDA082220126E0073334D1CC12523F5A78437E8C2AE23D6D1D12B89BEE1D66E40ECEC1E90F20EE8B29F6E330F3F909E7403939CABBFBACA419,099012417C749738C5D23DC6FCB4723F7047611FA6E9B08CE9AE50D8D17F9A424DFB4A8E6FE83E317F04B72AF946F7EB1AB41C6C521DD65B1A29],[076102717DF63AB96657356216C512407D4C56A6266FF14A13DE06379809EF496892ACD35E8B1ED3E52774FB002A4D360F560ADB909AAAF96B80,105EFB27059703DAD8ED434815838B38925113CBBC2AA38537A79F265945DA64E1881389945EC253828D9C7000BD97B9D60A99FE562ED8BD5EE3]],[[02C0F8D7C6CD21E0F8314CA3AD25FED59554BB8982746CF6DAAE899582B38ACD8099EB9E299B4B77D848BE5EFAAD24A9EEDBB39A52D269B2D0BA,04E10B65C40D41F9A63C0E0290D99A3633A07A79E914572D57755464C83DA7CDFC957AE9A80E9AD68EC62AC810D4BCB99BF4B03BD1D0136E3D27],[0B696C8ABDD5AD7EF0F394DC9D00C03121967EBB6D553104E572A457DAE392DF4DC375F0126A9A3EFBD38809FF123314A0E3A70C892774C7ADB8,0CD621CDE4313C4E29D8D869A3073B2D25C9669EE6E11FCED46942A2B9B29CD8DA6DED442177293577851FECF528597F7A7AE041692C73D5A696]],[[01D9929FDB8C75564B43B0512EC5976302DF9DC933B1AEFE2B0D89D1B880D69EA77214F155C9BE3B9FA519FBD6D039A3DCA356A16A0364370E6A,1144BF35560FD89E023DBC7D3FB7CB2077A2795C505927959964A00369B9122E5FE39992893882A632148AC24DB057F01143AE50EC9B52AAC442],[09030EFA730837A73C68B7364FAFDDF4A81AF2C55657767145340E65894A3B131A06E9323B6F10FA12D15CD1B2F1624A90BABB298156F1A220E2,061BA0077B9333F0CA4196EBAB1D7FBA78DA2E4C794C66F57E6FD1CFA8AF6E7AA91FA979B69A5E962A075427ACB3545592784C10DB69ADB640EF]]]", |
| "FP12frob" : "[[[DDA082220126E0073334D1CC12523F5A78437E8C2AE23D6D1D12B89BEE1D66E40ECEC1E90F20EE8B29F6E330F3F909E7403939CABBFBACA419,0BC54303D8D8C31C948398CD17DEED7DFED6D1B913E2F3EE2AD63A69D7606019CEC4C4983AA9174D813B48F506BE5D6A2FF68E3FADE2D44F9082],[05F4802CDB657438CD5F7A79F92B84207F980FB2BF5BDC275382DD8E5B444743B37B67D986530E6286E370AD1188512277BF3C8EAF506948916D,1417682309B62D46C7C39392215AA3C16C421387C7D2E503FB384D4900189AC69288C631018EAC05BAB0D15BBCE323EDC5636AE580DB296BE1EF]],[[76DEB888A3558CBB34102926514EDB09B5EB9D266831A3C310A79A8E21B236D2E7986423A76C90C171836E090B8413D217B6196C22578D3AB8,053C656E977564AE9EDDC27DDFC46927713A82D51884F73CB60A7C08C363CF9A6866187B0EF2E7DB77B92E210C82EF3CBD651A59181E730D12C6],[05DA322B708452FE8F40E5DE7EEA7B4E0E373D6891AB93710B3A37D1135CFA1AC6C1B946D74919248858A158A1E0CD73A7E748E647BE6CC90E54,0C70A89A9A5D9134DC70489594B34F91DDE53B745E77D13D392456D1872692A83F563E0053BE727D7EF12E33737C3435F7F1235B9D76E2951A87]],[[03B9E6450315612821DCBCA44B0DCAC2A5A43BD6DB96432B520FCBB37E94BDE34CFDC08CD66248DC5DC796B21AEDF8EF8200ECA4E307401E6D3F,02E24D8466BBD678D9AFF3FBA15FD093C5C69D92548CB5AED4ED1FC0072BF5038F438AC77320C9726B2DD4B5889A9F5BEF1433B818A0DDE69A43],[0C2832A4027ABEF5A848B12B199CE5F3CF6E844F932884A8B36019060E2B28BAA59666569747F9CA38FCF3DF8C8466360E9EDCF2FCE964C909D0,068B76C461F5A67C03ED5E1C44BA2A76607894D94F33357F1D8EBF6C48CD0C2468B0E6AAF1AACE7067BE1451935A0B01C42D5BB0D0045CFEE1B8]]]", |
| "FP12conj" : "[[[DDA082220126E0073334D1CC12523F5A78437E8C2AE23D6D1D12B89BEE1D66E40ECEC1E90F20EE8B29F6E330F3F909E7403939CABBFBACA419,099012417C749738C5D23DC6FCB4723F7047611FA6E9B08CE9AE50D8D17F9A424DFB4A8E6FE83E317F04B72AF946F7EB1AB41C6C521DD65B1A29],[076102717DF63AB96657356216C512407D4C56A6266FF14A13DE06379809EF496892ACD35E8B1ED3E52774FB002A4D360F560ADB909AAAF96B80,105EFB27059703DAD8ED434815838B38925113CBBC2AA38537A79F265945DA64E1881389945EC253828D9C7000BD97B9D60A99FE562ED8BD5EE3]],[[02C0F8D7C6CD21E0F8314CA3AD25FED59554BB8982746CF6DAAE899582B38ACD8099EB9E299B4B77D848BE5EFAAD24A9EEDBB39A52D269B2D0BA,04E10B65C40D41F9A63C0E0290D99A3633A07A79E914572D57755464C83DA7CDFC957AE9A80E9AD68EC62AC810D4BCB99BF4B03BD1D0136E3D27],[0B696C8ABDD5AD7EF0F394DC9D00C03121967EBB6D553104E572A457DAE392DF4DC375F0126A9A3EFBD38809FF123314A0E3A70C892774C7ADB8,0CD621CDE4313C4E29D8D869A3073B2D25C9669EE6E11FCED46942A2B9B29CD8DA6DED442177293577851FECF528597F7A7AE041692C73D5A696]],[[01D9929FDB8C75564B43B0512EC5976302DF9DC933B1AEFE2B0D89D1B880D69EA77214F155C9BE3B9FA519FBD6D039A3DCA356A16A0364370E6A,1144BF35560FD89E023DBC7D3FB7CB2077A2795C505927959964A00369B9122E5FE39992893882A632148AC24DB057F01143AE50EC9B52AAC442],[09030EFA730837A73C68B7364FAFDDF4A81AF2C55657767145340E65894A3B131A06E9323B6F10FA12D15CD1B2F1624A90BABB298156F1A220E2,061BA0077B9333F0CA4196EBAB1D7FBA78DA2E4C794C66F57E6FD1CFA8AF6E7AA91FA979B69A5E962A075427ACB3545592784C10DB69ADB640EF]]]", |
| "FP12usquare" : "[[[136D665C5F897924FC3F29503E9B672172819C3BD09399AC5C20FF4DD46B62F756F99F3FC3BC1EAD6E6575F0C718D51C4B68E12170E3C105747D,0D48DF6A72EDC3F6EBA316D8E9B12DBAC2538FD0B94D1C70F759BEBAF503A39F29F405C2CDE57BEDE08FE5184FF73FEB08327C9AD7BA80D0A770],[033E4F7FFD1DEE8130AF9DE58B7CADE440F23B2170404C191C59FC85B7F60671ED9B77D0A9C16C96EA75575E770E3296AB4EF5C05C252F75A9BA,0F3CAD0785E2389D119CD8CADF4C460CD9CAC3B5D03F095F3FAA90985E843072197E2A1CBB9AC62714DCBBE0CCD68890ACC72E9898B5B7B52826]],[[03285E9517667A9782A2FCE0BE32EA59498500E02944CE3F91935F57A2DC671AA664B99357E8CC38500B9E99EB2AB6B8474B13CB00CFF588FC3D,1361569DEF1FBC40F206116FF69C091BB6235ED4CAAF8ABDC9B4326FFC979237B6BF5788D34015AA2E4E1E0B5E8BFC98CCF33DCB032BDF0C2842],[011506A60968199DBA08A6D2606D157DEB1922780DC7B1DF86D6DD61CCCC53D54A63B5677EAE1FEDD9BB1C8A37671A8E196645A3B9D6B3CBE865,1037C4ADEE3423C589ACD85C532D5E15B3844651C64257A9FD1D668A091AD4BDA50B3EE2F8F55A470288B95433C889429FF6122F274D37544006]],[[145E906B196EA3829DC16EDF2C4AF006C4182EEF1CB8CD04443276175BB9DAB381F8283716B7AF1B7A36C52AECBF79BDEF744B74D20EEE1A4223,08F3DC2D298AA5A38C3DB767BE11470DC88308263330C6F9493D109A1309603BBCBCD09E2B048F3C23FDF9CF45AFB81F099E4465A922D5EC2F3C],[154034DB9496077819AC3A3D50886051CC1F663D08B399B805EB3E9FD6015FF4A74F1D7D3A9789CFC11B9BF823A301985AECC092EDF584CC3913,081479EA828180CE526CFB2E24FE94B4A5B807022387450936C6BBDB4EED68F2DB48F6EE27D336D284894AD2C130A2EF6EEDE099ABEEEC1875F5]]]", |
| "FP12square" : "[[[136D665C5F897924FC3F29503E9B672172819C3BD09399AC5C20FF4DD46B62F756F99F3FC3BC1EAD6E6575F0C718D51C4B68E12170E3C105747D,0D48DF6A72EDC3F6EBA316D8E9B12DBAC2538FD0B94D1C70F759BEBAF503A39F29F405C2CDE57BEDE08FE5184FF73FEB08327C9AD7BA80D0A770],[033E4F7FFD1DEE8130AF9DE58B7CADE440F23B2170404C191C59FC85B7F60671ED9B77D0A9C16C96EA75575E770E3296AB4EF5C05C252F75A9BA,0F3CAD0785E2389D119CD8CADF4C460CD9CAC3B5D03F095F3FAA90985E843072197E2A1CBB9AC62714DCBBE0CCD68890ACC72E9898B5B7B52826]],[[03285E9517667A9782A2FCE0BE32EA59498500E02944CE3F91935F57A2DC671AA664B99357E8CC38500B9E99EB2AB6B8474B13CB00CFF588FC3D,1361569DEF1FBC40F206116FF69C091BB6235ED4CAAF8ABDC9B4326FFC979237B6BF5788D34015AA2E4E1E0B5E8BFC98CCF33DCB032BDF0C2842],[011506A60968199DBA08A6D2606D157DEB1922780DC7B1DF86D6DD61CCCC53D54A63B5677EAE1FEDD9BB1C8A37671A8E196645A3B9D6B3CBE865,1037C4ADEE3423C589ACD85C532D5E15B3844651C64257A9FD1D668A091AD4BDA50B3EE2F8F55A470288B95433C889429FF6122F274D37544006]],[[145E906B196EA3829DC16EDF2C4AF006C4182EEF1CB8CD04443276175BB9DAB381F8283716B7AF1B7A36C52AECBF79BDEF744B74D20EEE1A4223,08F3DC2D298AA5A38C3DB767BE11470DC88308263330C6F9493D109A1309603BBCBCD09E2B048F3C23FDF9CF45AFB81F099E4465A922D5EC2F3C],[154034DB9496077819AC3A3D50886051CC1F663D08B399B805EB3E9FD6015FF4A74F1D7D3A9789CFC11B9BF823A301985AECC092EDF584CC3913,081479EA828180CE526CFB2E24FE94B4A5B807022387450936C6BBDB4EED68F2DB48F6EE27D336D284894AD2C130A2EF6EEDE099ABEEEC1875F5]]]", |
| "BIGsc1" : "09BC6AD5A0C04FF196982F0A6FFE01F22EF40CE4D17B454122B169120D42552C4DFD8077F1CE8F6F26DBE8571162564580906A89CB260273535F", |
| "BIGsc2" : "0C694E4A757E42AA12F60A785C2EBDE04EF827D89CF389697317F91D9E505C77006BA2FDB3818C7E7C19AA455C21EA8CCFA2B885C690FFB3A3AB", |
| "BIGsc3" : "10E11AF22333B38CD9C791D3D5EA1BC9EB529782358427D7D12D7008D1756A6A384801BC11A2F6F84E693482BB9A1D49D1D4FD5A8843FDA583AD", |
| "BIGsc4" : "0414CC10EFF8CABE095B85CFB1036A60821AE5D05BACC27FA2CA3CDD879EF68C717BEDC7D3B11AB22240B2523B37FADBA69993A32FD6B81CF9B8", |
| "BIGscs" : "080FA7D121E9B103BD1A8D7A9CD9DBA69BF1D8B39CA5BAC062831496D6AD862DA60B97085D7904", |
| "BIGsco" : "0FFFFFF7FFFC0180017FE05FD000E801FC017FFC80001100007FEFFFEFFFFC0000000000000001", |
| "FP12pow" : "[[[04A0E31865D6E47CAD5E7725E52053553A33D562F370343AA1A661F040D4B858370DF74D7BC6D5BB9DAD4DA3CF675CF3A91E5B8783A9654D80FB,132E6763FF785EC0350CDC69B2E0ABEA6B8E3523754E7B1A6189C5460B3D54C5AF5B5C87C26AD89145DE2E1B83E30AB1DCECB3CFA7CEAFDA4A69],[0AA8955F10A09D64BD5C974E4D8A042A89D8E3183D83750F4652C90C635E9D5476795BA4E2A7DB9A196DDD55366E02CB5086F3A118BF98BF9CC2,041FC63F00CEAD16D1F83C1D63665D6B92AA50C43986D1C1A487492F6C30C7276DA05F77F8A767E1B03D909DE3C772DF881772416B6EA8EAC09C]],[[0185BFEA1C77F125B6C7462CFC2452D0A77FE6A64785260A54601EF02FE11F9AB275A34F8EC51C08FFDD959A99CD1FC565FE89FB3FE29D909A7D,01B45FAF0B01ABF92E23FC1222E1EB4A58DBAD8FF8E27C99EE7BA4478B9E39F398540E0018A00397C0E059BA6231AEB5626B09376DA337E071EB],[019C05EA0A1FAEA3563BC022FE704610CAB7C8C8EDD1D45CB7195D4A4D22EF7A541BB43525E3225A06A0331628268966AD36603C60F7902DADA6,063B4B24C292E50DE1FE8422F2146E574CCC2F00325994B8288F2CDD78CFF4EEE21FAD1085145ABAE615BF436CCA08CE263A9BAEE400D8A2F613]],[[08B0B6902D8AFBFD369BB8E4B70242D6B8775BBCCE96B212F7E0D7DB9C554013C9D746AFC48E7552D5B737B9818125F66EDEE1D988A68733B27B,0AD9700DCAEC4F0240531666F0D8FAE83DE754CF6BF11A2B350B217FD003D9DADFF4909323A9E868CB2FE35169681E4C79823D8F87786C694FC2],[14560021C8231AB660D2C6A0A9916360A5D5DA4B162921460868F81F830E433271CBB912FC865CE876A865D5CCBA56138D9C8B191FBE62023C16,0A79F5BF46C2919F20EBD4CDB0B5823937C7E37E60A0964EF67C309A601827937DD0F1229D6E1F02C7170C033D4AF5964BD18279FF6DAFBF8F34]]]", |
| "FP12pinpow" : "[[[04792D03D94FCFBD2E13AAB0BDBE64CAF498288EA414651F14552D483D9E182FC7A5E4B3ED0FB89BAA6A234B216274F35D80E0550DC06AD1AF24,0F3136E989D89B5B290FE88E7E56224624DFADD3E9B5DB03C7EBB62DCFF63FD1FE4E9EF58ADE94810173D5AAE39A6DA4A4E692B3A6489E85C3C8],[04C371CFE3FC0F997827F6ABE3586C75301297A83A6BCD7D1589F3FCA9A88B8980B180B35471D1818BB1C260D7973D0A1E5C279B768E83355122,0B130E1B169FC90628327277EA0BE5A7F86F9D95ECD7C17EA0EA7DDF62FEBF8E7360A076D21B004D5A992F14A51F4A6CFA1FCAB15848F9FD51AA]],[[0DB888C0F2BBC1EAE6E2539D0681D6A7255ECFD129583D7CAFC9F05B14EC2626760A19EA95ED64891203B8A177A98DE72C1FB60304F81151805A,02D907948D410729087F84C3858BD5A9AA6ECC31EC256E98DFD3E7196265A8F69FB51F8E71B9EF9C299CEC9FBD40F12B3F9862C936914482A19F],[0BD34774D4C201E91240956D3ABFF50C71DF0270172A81AB8F199291FB3E7BF8C408548C3A000710E61108F5F94E0D6E02C6E9B6E823D3F67B97,10C2B8C85D59C6139DA7EEE1C90820AD62FF77ADD77F231ECC51F8FF7E1027FDA88371B9B3EE48027CA5112C7F2E346DD01B8B451425B4E996E8]],[[092FF7BA2C9B1CC6B2A194F769C932AAFD15B5BC275CD71B30ABE8E22D6397F0E8B793BD388ECD02C691E72B312FD3AA6B9E13354A90721FAB9E,07127A1AA928450C6D502F1A751212B4ED3A6E4D7AE639C82CF5DE3E7BD166B83FA6344C71A0EBE096A8BD97B0361B43D2A3FD9114F1593FA3F2],[043C6A3AB9A73A94AE5114953E6FD351BA2E3BAB7F5A938A4D085CC26FEE888659CEEAACC09F8CA2CFDC782308943772522D83A026C9E39A257E,01E287E418A4DAE267FED6161F8B639D726C91697F01615D2317A1781CA31DE4D2980605C2F4CA06717D7AC3DECCFE3AC7AEA327EEDB12048D90]]]", |
| "FP12compows" : "[[0A32E6EA6B6BEDF4D0BB299216AFE3BC751B0F1B0BCBE833A611DFD7670218F92FEC048806412029772B9FD573AA0E42E743D5E64713D1481E,138738789D23C9D781025E958CF1E3122F2CF60FBBDE821ABE78D4B06581DC25DE3B8968A959EE1D9D7216ED6A48E44C931AD11FD130887F6B62],[097481F2458A1C940FF172B4527F539C90F9D2FCB09A6BA937D4F7F13DCCAE10C56E7B47DCDE4B83AD929E9E75D37789FC6259DFBA6937ED9BB9,0C1F80C9BD4CAE1393F98BE9F8BF8E421ADBA7DFBD9A00F9ED973DF1831AD068BC6DA84FF5E25C4D8678AAB2A8C0DD380C9CF847333D625860EC]]", |
| "FP12compow" : "[[09FB42492031F7C944B24A478D7AC11A625219338EDFBFCED0C1F11736FA94C8FF540B8365D17E775A05DC2AC0D5E83BA8D58F37564BF1D85AA2,0B92CEA6DE04FC4BA110AECA924AD9A850E3360043A2D07014D04E0C17D9AFC6C66531821EA9DF9E544B93F5EF58C6B3A52FAB9F496696837DA6],[01ADB07758A4E10C81DD791CF443549DCC0AD41616AF5995AC165F6A4DB054EA43D9E6CFED99F3678002B5F783F794741C7F9A8CB739E9768E45,02A56072854A3972BDE07E546079F75A2C454C6473D1CF969155604B942C08B8844C983F37A532E9DEA14E031F112670CE0B2649B14A2220CFA7]]", |
| "FP12pow4" : "[[[0E2506449E3EAF0F53A1924A8812009C8F6880A12D925126CE2822E58A7E66E8071DF50CE7FC68BE7C013FC9BCE11276B32E8EA90D0C2944DFE6,12487A603714934E7ECBFF6FE40184ECD59F1D86151798A3C07A3C40F5E9588DB72BFB22C24E6CBBAF3FF01248B8A75FFA02440AED5C1FBC507A],[09DE514A75CF10983372FA8BFA7F253CB01838F738B3BB6E2D1EF887BFE9A47860DDC61B9A8FCFCBB6C99CC708D536527B09AD89B8968585539F,099A16C835A3185B3024F139D9F862D794EA3BA000A5CEFC7716E4DFFBAF6EFEC7987600F2F73964D233743A9EF4A013A09F6121EB52FE8D8F3E]],[[105E168B9DDB3C577187B6D3B01D3B871E18AD3143CA04FC9B71C7D1267FC5091065764C3D05743E31B26D7B7E22042A49ABB2479C2486A993DD,7E0498C10DEE2F7760957AED1BDA64C954F56132345D80481F2D67A3FE337ADFA4C2721C5D85A8535F0984A1789C8740B8FAD9136B6745461E],[0E373F069604DCBA90ACB5D72EDB6C6ED6C3C367F3DCDF42FD735206C343BA907403811A0F0D697974943C1B8FEC43FBF90CBFD42907D5B21723,1304F47EBD37C062F9E556A05C1614B54685F2FA242625C39E7EEA808E1667B1C278783214CEC88BA497CE5A750D3971BA6B726720E07D0AFC97]],[[0268FB47EDF2F4DA8A7CB9E8EEA7CC24A503AA57AB6C36E9BDF6C28FD55F482204624628DF801EF9FBCDBD1C5EE2F18EEAF9E994C9DAD18BE839,063A54E0DA135D1C1037E1F57930962929C39B7D06D68FA75D6D32A26AC366AF0AFCB1136658AC6837D10BCB962A4043C9E19E4F53F31D1C9BC7],[049ECE3B8AA46C6EB61DAF7CCE4232DFD6F98167C4B78A5E5D12673CA0052C057BF249A6F687B401261B81B9576CA3F5F3697129D14EC9524E8C,0B7A8CD0C8E7869C8C06ADE71667E5136875BB2A0441EF51E9E8F1C4E7A0B2D9776D60F716EBCF539B537B10BAE934FFFDC19663CCEE744E8554]]]", |
| "FP4trace" : "[[0298E186660374A015999E756436F6BE0F68CA7BA480A6B847573829D3CA5834AC2C6C45BB2D62CBA17DE4A992DBEB1DB5C0ABAD6033F305EC4B,075AE17F20106B54F720E2C0E189F700E1B7F08639F06D2BA8866747CB9ED46ACD31D084A52765157CCE2560EBCF926C0571AA98F658D866A3D0],[1487A33630B8047E81A60D01E4D788B9665761BF02497517ED6F03DE89A226DBFFC817D339814E825109A14EFF8BC308675334C54E31546912D6,0EE30E5AEF23036F8439B9E3FD2F7D8E96675D26FBE602E19696C454EECE5FE5B1A7F2D74297B98279172B0FFDD738D25DE03208FD7575C7E358]]" |
| } |
| ] |