blob: e1c1c4713d33ea53efc18888b4be9aadafb873b9 [file] [log] [blame]
[
{
"FP121" : "[[[F9213336ED5BE613A52170D125C3B2FA3F7850B89B34EE987CE8F5454B792B34122B2E7584C99BF47292F5CA1C1B1EFF0A9347FA6A7BE88F8682070C34265A9E,F9003B73B449EBA3534EF5D0E61A204ED1D289E77BCA0ECCC0391BB275B65E1DD13269E85BBBF0689C882EB4A6E2B2B56336324D94295DE09587E0490374164B],[5AEDD15DD2B3FEC3B05714A66781EEDB9EAA2D8A6ADE4158608A07D263CC574B042A15EC51E8D22BA71E7D5835DF3FF486D122656DBF04BD4E09ABE0AD786145,064A2AB0587B2523965B3A61A3F66A7FAA4B57CA873C28556482B1D0B463E8DD1572140C203D82F18C1D90CFEEEB834CA8EE377A806311F0EF268B8E6EAB3AA3]],[[A1039675FCE58A05DE750116989B7C17D945075A19BF06D91B2A3C763004FF7F472979CF68E27981A1D4BD058C6F7AD12799962715961EF0842AA407339BE91C,DD371E72C836E98B04A92FDA83E13BC7A0DE863171BD25AE6DB1F19A9D8770EF1076368C73EA7B82183924940DD132B14D4E140792AB872F3D33BB65F2485C2F],[A929572FE849750313FE4746CEFF49495E779B0441635538B430A31218C5B67C206DAB2D748935EEC991BBC63CDF5758D879F73E99D364D7C213041B666D5B6B,918C665C538B88B6D5F68171B54DCEAA8BC77A2CFC646D0DB70D12E54DF9F5111353E8B99811B9556120E35BCDB79B7B731CB37672B8B8B2BE90D500ECB4D519]],[[AF3C6EAB4AAA25574AA4B5439C2C17A743643D43FF5D5851BB3EBAE13A445A2A95F5BC32F663864D14B9937CCF3D6103717A9897A4511FF0E82B54876B934517,A1775EE205A3E73A6C280315680BAFD5610455DB547853AFDE1ED7A6EE7D86D401978C23E1541A0005A4952E95B2B5020B8F2B55BC3B384433D54D22EBC0FDFD],[5A48E0B6924B7EDF925C66A56A2C230518A9824240B62A5542F28CDFECF93CB6676AB25881289ECF3A65A7CFC39481515389EC8F18FAC6DC67F4920297ADCE55,46703A982425E0B05540ED1DAB117749A1AB156488728D4D6E539EBC937F1F106A87BDB383A11464A3E61617447FEF43D50B1C9472ECD1BD607A8FD10C5880E3]]]",
"FP122" : "[[[FC8449DE97893FDAD5AB0D626F3FFB28A131C51FDBD030A7F0F81FB5388248B363BA24FF3EADC28B6CE628919DF7DF8A04FAD9029ED5DD7C0E38DA34B6BC92EE,D2F90627A051DA5E82A58FB4D3990D7DBD95E72BCA59261BA74BC60087783A43C433762ADDD03CEFA7692F9118FB4F76CAC845AC138E3186D90512387271EA78],[6717AF27FA2453446C9EF9A9D76D0B781EC1CD121B1B976C4551258338BF19352FFD06AF603A7110503AC965507911C498C42F9005FCA93930C070B2ED37B076,18C8CF9EF58267FF0E35E8A603F67F95967130F53A5475901C5F0AA0D2E38E98DB9B59F50CF180C8CEDD90D0702051FCCCF48DE10447DAA5A007679FBB965FC1]],[[C69A1667B721DCA40D7B47CEF2ED68BA5FE54436F0DEEAE9E7A1F48C84392FFCF699F33D0F1C34674E9A4C3EF60DD2FBF4B947CB3F66A37CA585EC0B448D10B8,B21E2EEB68570FEC647CE18D3F48A735C39E74796CFFEA6B9E3DAF9DC7D5BB9524BAFCB8C99B531988DC55942D7659C813E79671FB3AB1C331E0877A1B52348F],[D09D3A504C3F73ED7A1CA38C51194A052C7AD94C2AEF0DCE980DC0A3703B0FB16B043556C8E8966A9B25BC746DA7E9E9915D2A388C9B4047789919872AE6D374,ADC0F9739DFD2149A2521B0CDF276DFF77399F2C4418B565D38C4390703B98EAC1D7472D327A93CDC4F87B0BA687481A76587ED9F5463A884C75656A7134133D]],[[CF4F2A503FEF06ADD48EEBBD9C319543110B02D7BF37578641A209AD6B9784E5B845483A507A2DBFB5302189C306594C890030D842AE9D674FFDF9AB4946CB16,C3E483F8CB5F4A3B1437EAB62729E27D2C13FC70DAD6B30F1331C68E2EE5558FAB558E11D3ADBE86DFE8E48652D8AE9366596CCA2B199C743AC1776A2B20D89D],[BD6E2DC3E0BBCE0967429F7228251DA04C8AE2B6CA1FED97F23AB75EABB64CBEBD79479409A8C81E67CA77EDF31AA999C1D333CC2C0901557F230E56FEEA0465,DD5706F310C31BC9E9A4D3119F27F4F761742974535B0C45F84F281500A01D25162FD73E882B53279B74F1A3306D061F5CF3021224F37DC4B398DD538DD39CE4]]]",
"FP123" : "[[[B4A14E9CD1243833BED6FC86141D98141F9E88769DA9A7CC19DFEF8BEFB5D6C50A7E5F480745E8D454784E550C79043BF41E758CD1408CD6606DC3E002FEE2B5,28E311F967AB12D42B43C6574C75FFFF8EEF6B02649863B95235C82741CF7FC534DC5A82E8D712833792B96F5327396B5ACE2AE71F7A96407B6D2F54D15879F2],[B66593C8B36A3BA9390B3BB070E6782CBF4A5DDD186C40558751902DC10D1F8AB418E37225F02697466E6B96A844459F8447D9509DCFA702B83812E6B99BF6CD,A66036E3F18053622497D8337B81A886B5A0448E83E701D1390BCDDD3212E709B185D009C601326E94BEDD7A02843B41BC543D28C1D92D6FE29BCD6F059D5C58]],[[8BD406D6407859E3E394F370365D06AEAD296B91E60DAAC381511429795C6D38420E260F4C4C4FB80057B94BDE72686A3FC0E6DD70B32B4A6D980ABE6F030AA5,8F664F32108A5E251FC529E1B5708439D5E72B40CA73C4009E8E1397BDA4F6DEBE8B31E908492E6ABA12AD3466373F4C81235372CB7873CB6A2A6B51AE2EA34D],[F26F4CF8871EABAC769C8DA9EFFDC9569ABF5E38414AECBE9F4489B765E6E79B4A67F11CFC38E72E4919001526F694990242FD514651F8FFCC17956A4300F058,AAE3D87197BE59D2A11175BAAFA32913A307CAF1C61B2639438D7604B21E626C8D4555D1BE2E247917CD572A839FA4EA51A9813627C963000EB0143356795FFE]],[[CDC7C79BD30BC0F2AEE70C46D2071EE7CF642BD80A2EE8A690A5A21219AD1A047CCC9E79F59C5173BE2F1C4DBDA80B3F10B7715FE4593F03DC22B2F7B81C7B76,73E521E67A92FF3BEE28FF919FEB5660C2F4C3B16DF064A15AEDB70D2082F81937F3184DD1EA7971850FDBB10B8F29175A5B56C8BEC0656F63544D1DE3DD7B87],[E17707EEE73CC60C1FFEE26C7C04816153936414426CAFCF4138E2CC0EB82951DCB97EC13E60FC53FEF50DD24B4FE89C527BDD6C38563605860BE32530066691,F85C3A3A77C19D4ABD3D34B72446E11E765258E9E9C4477955719E6D0F761DA8F9557164298C050FD4656BDF1C2FDE5FCF68D40312E2B7CEF8829E13FD565A8E]]]",
"FP124" : "[[[7E7CB46D0FA48FA7C50A7950A8EE0A3B849CA7FFE21DB41FFF32769E3C0A3E0A3FA784560DD7F984C31BB79F5475CE36C45B79AE392D8BACA387D7093F53F929,DDD2581CAEFD570E951444E72C996228062CA4C01E71379B1BBB149B05E22C1A77B4CFCF0416AE18415ED7E23F19B212AF33C260F817F53042B0B0C1D8648D52],[9F053304EF81271641B065649987CE30386D642D8AA5DB7646DDCD1E00970B9DD961ED5AAEE9FB2FDD3542487692FF9775B000E71808DC025B1B9082FC72FC15,2925F0405EBCF32D6A6DBCF0BE798C1E6F405BEDEEDDC33598425CDC5EDEE283E0538797CF6AE39FD47E2245ABF29CE6C6D14441733C8737CB0BCFA0B65D8E32]],[[619601404EDDFFCE0502068F01F3E9635C4E27AAAE7F671354544AC99A42FBA500DDAE742C31CA0B1DE927FC3E446B869A674B7FAF3F4BA083F84C974D4079AD,5CB80F40A611771A69D26FFE553725DB11FE5451153BCE34AFD457B86C0681417515216FC87780F44528B3BC39DADF603859E0135E88268F37D079D5993709],[4D3CBF1D35A78772DA0FA249F9B1F46DCA8749354A14F62033B92F3DCA6CE8C558A0BEEF5D9EEDAEDCB694C08FDDE71DA2381584E7E90CB5E71EDE7033FB4ED9,E9C3C7C2650A128E0666BA8AE5E0BBA7F120211BAEE9E49EA445DA8ED15173239509EDDBEC3B720E6F83E9142DAE7F825612ADB761C447E8DC34A33AA2FA8831]],[[40B547F6B84F422FEE249A3AA5F661A1CF52CA4827B8E634302070B4AE952513C34F36BED49925C4896575B21DE95ABDC963B693471F76CDF3AD4BA9542D9979,8B4AF451847DCCEDC82D3288E1FDE5D9242DDFA37BEE7136E894D35870D45965A7E55D2953BDC7DC4A4EB8906943D5B631D3FE57DB30F07F708DDE914A03026E],[C377B348FC2498F3BA050DB1EFD9B65C45325E4D2D7B8741CBAFF108CAFC3207AD156E520747DA15A84E903F5BCA15627BAC59A97C3BDC8F996F225580C9321B,C160F15B563A795A2C2E6B2BB19FBDA8BB0A2CB40C427B43770796E1156CD21FD892ED5ED7EF14E61C9237454298F6B062E00859F78C35B7B4CAA11B740B7B95]]]",
"FP12c" : "[[[058CF6D596DE5CBF0BC269F3A805BEFF9405D8D6E2A4F00EEDE4ABB475532F3E2CF706B157E08126FCD81CC2C3A494CC342BAA6ED3696B4634594B88C3E83364,F81D55D636C839DC49E7C949558119EB4D6DA85F581E986DE0BBAEDBB4F8B0BCDC7DA6BCFCD27304554C7778106F44C517738CFBEB29E8E00AC576D659622B8D],[6180C01E3F11ED7260CB4E647E6455FA3971B35E546CF166EC146B99287A6E81CAB515376471BFBD2D8B43E830C105616E1EA33862747E7198DF72DCAA196574,292ACA15BC5C28298A14602C6A1C25535B643B163ED11DBC42367301CAE24D50E1FC62A5FB600257B9AFEB8FE431F3BA54BB676AA2E1C8C1E8EC5DD1E99A2953]],[[F3BB8E8860EF95370DCB12FA0AA47726C290337CA7136A524F96664E8E9C4F6A456E680F655C81DD634F0C2F5E232F1D6594E9FA40F857E04AEF4C3DA2DBD494,941C9857055B6AFBC47A208049E5D75202189606D3C7D2A6131AADEFEEE19272FF640E11D375CED02C0BF6094C09C0BCD639F554F9257073473ECA499524F6EE],[75EFE7BBE02D3A2E77A24465955CE4B01219DD0CC81DA6CCF4239A9645D0A0ABD9746A5BA5B73DDF1F513257BABA8CC9AA9C20B4A7B4D22B0FDA8E506A2F2A76,909C54293FD236232867DCBC12A502A95534A5CEB436095A474B517C43FD037C61C62C39D918F69205A1867981B0ED0357937CBBFBB94D6FD239E3C894817EBA]],[[EE0ED29610BA1A900D06A2D86B5A14CCD9B9219F68F93092D659887C8144A5D3F1897946CA79A8F4395D27C4086342F4D137BC9A3A29EA439D6AC27BABDC9ACB,8AF1E6D88B1D3DE1E0F8AB7CAEAEF82D987DC9D34AF38DA2816A30B34A749F9888E615A5CACD1E9C5B1026F5D70C14F1AD02EEB2D8EDEAA1B5E24AE2348FFD66],[361F905E56104BA876EE0F1C72A2179D7A6C2B05BEB01C70DC924A962A7F31C06F490572D4229B906BE3D0EE27BF9301A5D4DCACE4E90D5E0841BA8A6C70B637,7F400C8C44CEB8ECF2EF7791E285DACE517537F36FEC9F85FD77F0604F17D0EDFAAA895615FF87F927A76815C0A3B99416360A13913C90A55F26319AF7D91F34]]]",
"FP12smulymtype" : "[[[FC8449DE97893FDAD5AB0D626F3FFB28A131C51FDBD030A7F0F81FB5388248B363BA24FF3EADC28B6CE628919DF7DF8A04FAD9029ED5DD7C0E38DA34B6BC92EE,D2F90627A051DA5E82A58FB4D3990D7DBD95E72BCA59261BA74BC60087783A43C433762ADDD03CEFA7692F9118FB4F76CAC845AC138E3186D90512387271EA78],[6717AF27FA2453446C9EF9A9D76D0B781EC1CD121B1B976C4551258338BF19352FFD06AF603A7110503AC965507911C498C42F9005FCA93930C070B2ED37B076,18C8CF9EF58267FF0E35E8A603F67F95967130F53A5475901C5F0AA0D2E38E98DB9B59F50CF180C8CEDD90D0702051FCCCF48DE10447DAA5A007679FBB965FC1]],[[00,00],[00,00]],[[00,00],[BD6E2DC3E0BBCE0967429F7228251DA04C8AE2B6CA1FED97F23AB75EABB64CBEBD79479409A8C81E67CA77EDF31AA999C1D333CC2C0901557F230E56FEEA0465,DD5706F310C31BC9E9A4D3119F27F4F761742974535B0C45F84F281500A01D25162FD73E882B53279B74F1A3306D061F5CF3021224F37DC4B398DD538DD39CE4]]]",
"FP12smulydtype" : "[[[FC8449DE97893FDAD5AB0D626F3FFB28A131C51FDBD030A7F0F81FB5388248B363BA24FF3EADC28B6CE628919DF7DF8A04FAD9029ED5DD7C0E38DA34B6BC92EE,D2F90627A051DA5E82A58FB4D3990D7DBD95E72BCA59261BA74BC60087783A43C433762ADDD03CEFA7692F9118FB4F76CAC845AC138E3186D90512387271EA78],[6717AF27FA2453446C9EF9A9D76D0B781EC1CD121B1B976C4551258338BF19352FFD06AF603A7110503AC965507911C498C42F9005FCA93930C070B2ED37B076,18C8CF9EF58267FF0E35E8A603F67F95967130F53A5475901C5F0AA0D2E38E98DB9B59F50CF180C8CEDD90D0702051FCCCF48DE10447DAA5A007679FBB965FC1]],[[C69A1667B721DCA40D7B47CEF2ED68BA5FE54436F0DEEAE9E7A1F48C84392FFCF699F33D0F1C34674E9A4C3EF60DD2FBF4B947CB3F66A37CA585EC0B448D10B8,B21E2EEB68570FEC647CE18D3F48A735C39E74796CFFEA6B9E3DAF9DC7D5BB9524BAFCB8C99B531988DC55942D7659C813E79671FB3AB1C331E0877A1B52348F],[00,00]],[[00,00],[00,00]]]",
"FP12smulmtype" : "[[[F52D142C2F9ECAD91445890DE1CD778A1A80608F57FA44D4D0CFA31FBE2698BC03FC6CCD7E257CBC4F7463C456C716DE784B968D4F7F6DE729BA043BB9F2F1C2,1248244B4B7AA60C26357A94C353314BF0F9AD06CA8181940295229986A65E2C7C7182603CAE59595A422194070BA28A2761E1F3FEEAF9B8BB51A33366AFD9A2],[4A047C73053CB0C5F2974F3FF22E5368BD31827B178EB41478EAECF03A40400C89EDEEBD467223A50B8CCF5FC3D31A411578B0B177CFE63006ACA3653E93AAE9,557BC393E4DD9AF7215CDB6346A8C15BDADD247C54D8F70D7D56377CD04CE153C066752DF690F6A639B0E8BA78207995FDBBD746CC8E8283465DAC0ADEE4ADD2]],[[B4D0FE6DAE5D940388EE6286D3865C9F27E5FB1213D8A58FD128B2D82C5128B51E636A70A1B27CBFE893C5C945DF7C91DE5DA6ED4B57F8841594541C64B21550,0E43F1774AAA4C4915824C183F1D36332CD3B8229D857534DACDBDB52EFA979749BD0258974411D14FC8D434F87EF8FEE2A1E2D908ED14CAFE2D57708B6F4EC6],[2F027A20F88D5239A596B0326A3C0E900A404EB57223B1505E549915765520C0134D1E8C574562319F9FF79FC3514BED0041A50F419F926BE7C8DC48443F60AE,AC469DFDAC76541E439C220ACABAF85C9D0D8021DCC0E18DDA8F47C3CDF2A0CEF78BE3CE18EC1531B21E64E83E6972DB5CE76A93CA2F957969C41149F14429E2]],[[6B5880780EB2591C3A61A4454A387009F7C511260AFD838EB08D87E6FA1BFF2CD76AFD4DF37857ED290FF61AA67E96E499FCA8BD00F65695B3D4A74C770B983D,1E424A3F1C8291ADA8227C08467421BF7A859925EEF2E343D3CBCECA61BE4854220870C32DC0665E37EB993178C953880CFB8E2A881B02328CF8468E8A225C51],[219C6BB4AD06019CAEA9D568ADAF4203BA1D68B73B52E53A4CD92218E6672E9428D1BA7B94FA1A6090C4313CA5B9A549687F30700B7B14445A128E4FBE9EB429,C49E8FB03F39C02F8C4609622DDC04FA06A4C2D5C252471A88A4D80248B4C53016DC03046113AF84A4C876632F51D9D704465E12CC54710E818F3E2333BBD21A]]]",
"FP12smuldtype" : "[[[30DE1F6F406989546D1609131B2FCD3303BD72BE0DE576790B6DA5765306644405BEFBFA04A91BB6F8C8B460829E7EE6FC40097AAD09DFA1CBBBD7E65BE8509A,A22B722C390CBDDEA69A65C36B5A3C166B59838B9AABA29CA629D86BEE8F53F7F9B43DDF2F0AA8351D431D4CDD376FE24D6D24FE51E38542F59407F4F56DD446],[14E1663D8C3B0C6A2808B915785FBE4762F6DF9BECD178429001C561BF64ED1EC0A38CC01F5E03112D83250C77ADCFE49FCE011B28F1A2337B2076B2DDA55D6A,116C23A83B2AA28BFBE870E4A40D5DE05C2906A5A04087E4EAA5508B9D8F4EEFDD5406A8C96BE55AE5A01A417C18FA7F60F66768CA87FB8B45D61B00971C0761]],[[7DCE20B0834F98C310399DDB7A2567C29B208FF438E4BAB7856720D0010E94AB64E1F21409880CCFBD55E2AD15CA666C26494651B160FB8B2A5A03265D8BA1B0,E3850943BE7A8D4C7ECBFEB871C52EBA61B72D3B69A532E7159AF14094436BD4A8BD3D79CBACDECF6249D335E9D1D2D48C1448CF9B48A015D23EF7B9F4C6FF8D],[D0FC09254B6FD437C60BD9CBDCB5AF26F8B986F6C9BCFEBE0E3AC416062E50D0C5282E71C4B524F783C9FFEF6DDFDC04319EF9B840408602B01341A45676FDE6,47E2FA3106059BA81473B937CD62EB303F15A4BBE0C2B2EAC7B4C998F6E9513C504ABF9CBA127BA75845A04404BC21CC284503167E913F89244F6EDF2A966F9D]],[[56F614EE642EE1B48F4A8BA4AC2327286D717A40245ADCEDFD6333872B69DDB09FF139AE7489F52FE9C2F2731C3A1DB17F557D107689D4DE0A81DEAD2E872480,E5D55E44B39CED350E09A7EC98E04F2E458A7284EF667709A39B1B075D5279C3C8FAADD533DEFF116A0C3E14CFBEACC4DE6FD919B6753675188E52E97EC91DCF],[0E1A3EDADDF6E6E4830251D6E559C85E309B4C462F3E703765D1F283DA1FCC699B5D6D2AADF0936F8CAEE2A89247C1FED567C108DC96075B5017B5DC0DDF9DA3,0A818FFEA3E60EE08382603535975652D3F0617F69906D30B4750420752AF2C4E9012CA404A5B67622FF37A3CD556A2F578686216A537A1051E45666A25E1B6F]]]",
"FP12mul" : "[[[2F5E59E6247020D82FC49818AC731F18634D6FEE86D3AA7339B369F5460DB2FDD81A003DBA6DCE180C072928B15CF6218DD6096CD8DC522AFAB0CBE31371A7FF,2E91C2CE4F29995B7CC36E2C2F42A31512A42DDEE113EC74E8837B832B8228F36B00AF842810F389F2EBBDF7AB2F0E3D679882660994502A08C64CA867F1DF59],[2564A60BC43099758E78DB3534CB24C7F09638B0193585A2ABF0D704DC7CEE5CD7818D47151E362F03026C7BD78B7F52AABD0014A678C471CF37DE024827A807,B488DFCDE37F088052E77D7D7CA3C1EBC2D3769E0919C5894B4AF915F9238F66FD4A5FAB72E228861129B7E10751CCFA75D89F050DDF6361182A5D2B657D76A4]],[[234E9DB4E3C30F07AE8BEF7172A2C0DF4975ACE316FAAC235054DC7800152419BDCEFB0EA80E2AF3CCE2DAEFE201719A5708C065C08D45F5671BCA1FEAFFE0E5,5B5BCADFFB3A4534D4DD3938D083819923CC17009D898E1848DE0F06C0E32FFFFB08F4A3EF8373CE38BEB732D6B47C2FEEACC888CF7EFF21B190AD2FA87BF18A],[278F261853079D84A7867EE4CF02A29D845435A70F13D72872E7DC693978E79DE5CE4855463F89C46CA30D9F005A5162194DF4BDF9FDFDBFC64624619B83C522,AC82A89D1045987199F6F9E1DCCE803525BA3ADA74108F63D5827C9262FEC393107332C381E315BE2007813950FC52E3E865FF8BAE11C41A167E767E4C72CF05]],[[AF2F4B0E74F71153D0A448C581389F89278BF69A8667DF7723A5D734CF2840327923F085B8EB869A5607D3AD43D3414B27D6E61E461AC791BD79F8F1A6E65D28,160B37F3652DFA6382958BADC2FD6059BAF32397213C486C4673CA096AB68ABA5816999F4C181831367B6103E0F06580DBD945CDFE601FC1872F1FD8BE9068B5],[363A0536FDD5FDF9531E325A0931A8BD477791A3A93F6A239D66E82D01266789B865910867E9090D8260D722F1BF8557A03CAFBB4B74F4812DE0828E6B444657,4A2DA37F80CD95967A623F4D13ED5701FFE3669EC135C8210F2CEA280010013A88B91106DAD273479C9A4AAE31B3B000AF110211DE9155303AEA69C131F69D8B]]]",
"FP12inv" : "[[[F9213336ED5BE613A52170D125C3B2FA3F7850B89B34EE987CE8F5454B792B34122B2E7584C99BF47292F5CA1C1B1EFF0A9347FA6A7BE88F8682070C34265A9E,F9003B73B449EBA3534EF5D0E61A204ED1D289E77BCA0ECCC0391BB275B65E1DD13269E85BBBF0689C882EB4A6E2B2B56336324D94295DE09587E0490374164B],[A5122EA22D4C013C4FA8EB599877FDA3631BDE176DED11AF6031DBEEADE497FA4D1CB9325AD5C68D3D6DE88675442FED0A993368F18D5FAA66E17C2875358DEE,F9B5D54FA784DADC69A4C59E5C0381FF577AB3D7518F2AB25C3931F05D4D06683BD4BB128C8115C7586ED50EBC37EC94E87C1E53DEE95276C5C49C7AB402B490]],[[5EFC698A031A75FA218AFEE9675E706728810447BF0C4C2EA591A74AE1ABEFC60A1D554F43DC1F3742B7A8D91EB3F51069D0BFA749B6457730C08401EF120617,22C8E18D37C91674FB56D0257C18B0B760E78570670E2D595309F22674297E5640D0989238D41D36CC53414A9D523D30441C41C6CCA0DD3877B76CA330659304],[A929572FE849750313FE4746CEFF49495E779B0441635538B430A31218C5B67C206DAB2D748935EEC991BBC63CDF5758D879F73E99D364D7C213041B666D5B6B,918C665C538B88B6D5F68171B54DCEAA8BC77A2CFC646D0DB70D12E54DF9F5111353E8B99811B9556120E35BCDB79B7B731CB37672B8B8B2BE90D500ECB4D519]],[[AF3C6EAB4AAA25574AA4B5439C2C17A743643D43FF5D5851BB3EBAE13A445A2A95F5BC32F663864D14B9937CCF3D6103717A9897A4511FF0E82B54876B934517,A1775EE205A3E73A6C280315680BAFD5610455DB547853AFDE1ED7A6EE7D86D401978C23E1541A0005A4952E95B2B5020B8F2B55BC3B384433D54D22EBC0FDFD],[A5B71F496DB481206DA3995A95CDC979E91C895F981528B27DC956E124B7B28EE9DC1CC62B95F9E9AA26BE0EE78EEE903DE0693F46519D8B4CF696068B0020DE,B98FC567DBDA1F4FAABF12E254E87535601AF63D5058C5BA526845047E31D034E6BF116B291D845440A64FC766A3809DBC5F3939EC5F92AA5470983816556E50]]]",
"FP12frob" : "[[[F9213336ED5BE613A52170D125C3B2FA3F7850B89B34EE987CE8F5454B792B34122B2E7584C99BF47292F5CA1C1B1EFF0A9347FA6A7BE88F8682070C34265A9E,06FFC48C4BB6145CACB10A2F19DFCC302FF381BA5D01443B0082C80E9BFA9127801465365102A8504804372A0440BD2C2E342380CB2306871F6347C01F39D8E8],[C3977EFD60DEE20D9CE6EBA257E5D8848E03675A1AF3FBBDFCF1E764D73F9962077F09E82DB31C63EAD5833CEE3A7525C58E5CA37DD6E45164668634399761B4,F3812D111C891733AF4EF01EFBDDFE33D3FC7BA39A4DE380E84FA823B4B047FCB22D6C95CEAD732906200B5F55132F26DB7B4BC85B98C668AAA5E91AC73179FF]],[[7D25F5DF799C763A0D039BE04B9DC9FE1C2DD978832623E4A493D38B1C7E1F0E4C9C73EBF900A3D2A9D95C5D85ECE1C33EF15C7961AEDBC57BB4F89B3AEFC319,110969BBB54DCFBD7CF71C1793B921D5264B39627D588727390C20CEB78418B29072D3FCF8C292CDDCD488D6C5BB558D992F35601C94A136B54D771B5A4AEBB7],[5FCF14B44B0FCD641ED84D7B7E3661FFA84980B77B3252DD2E881CBD7E817B6ABECFBF9E1EC14FAF13E8ABA0201DF1250513D82D670A6739F3D711FF1499AD1C,D0783C0CA2862382E55DE0F6ED1D20011FCE12F90560D39F1C72AE83E13505C57114CFA55549A1AA28EA743C7D38A00EF117FF2730ADEE0B22E8384F2FB58955]],[[CAABF50FECD8E52A40C9E9EE9ACB0115CCF68A3E138BBF09AE49B35E76A322EA6944F9AD0E97ED562915FB6974CACE2A9E5CA4B4D69A471A77CC2CF5BD31DF61,01FACD4A296BB3492643CDB54D1CE024A915626C6115DBCE2B14B6275F2CA3D4F17B4261CFB1031375AC8F54A71DDE251249B3AA0278B286F466B5C812FC09D7],[4ABEEBF84E725756088AFE9B3BEF8994C7F6EE5999899BCB7E836A61ECB24EEF1E601527466681B9F73C8BDA19CA0574B2FAD1A575976642B0F36D34940F6B79,D950C52980DF45D51DEBCCDA7D9CBA93D57B97EA107AD15E833CAFB2C4C48797C63C953C42C87A1933F06F165EAE2B54CEE9C172253EAA7852F7631486F5FD9F]]]",
"FP12conj" : "[[[F9213336ED5BE613A52170D125C3B2FA3F7850B89B34EE987CE8F5454B792B34122B2E7584C99BF47292F5CA1C1B1EFF0A9347FA6A7BE88F8682070C34265A9E,F9003B73B449EBA3534EF5D0E61A204ED1D289E77BCA0ECCC0391BB275B65E1DD13269E85BBBF0689C882EB4A6E2B2B56336324D94295DE09587E0490374164B],[A5122EA22D4C013C4FA8EB599877FDA3631BDE176DED11AF6031DBEEADE497FA4D1CB9325AD5C68D3D6DE88675442FED0A993368F18D5FAA66E17C2875358DEE,F9B5D54FA784DADC69A4C59E5C0381FF577AB3D7518F2AB25C3931F05D4D06683BD4BB128C8115C7586ED50EBC37EC94E87C1E53DEE95276C5C49C7AB402B490]],[[5EFC698A031A75FA218AFEE9675E706728810447BF0C4C2EA591A74AE1ABEFC60A1D554F43DC1F3742B7A8D91EB3F51069D0BFA749B6457730C08401EF120617,22C8E18D37C91674FB56D0257C18B0B760E78570670E2D595309F22674297E5640D0989238D41D36CC53414A9D523D30441C41C6CCA0DD3877B76CA330659304],[A929572FE849750313FE4746CEFF49495E779B0441635538B430A31218C5B67C206DAB2D748935EEC991BBC63CDF5758D879F73E99D364D7C213041B666D5B6B,918C665C538B88B6D5F68171B54DCEAA8BC77A2CFC646D0DB70D12E54DF9F5111353E8B99811B9556120E35BCDB79B7B731CB37672B8B8B2BE90D500ECB4D519]],[[AF3C6EAB4AAA25574AA4B5439C2C17A743643D43FF5D5851BB3EBAE13A445A2A95F5BC32F663864D14B9937CCF3D6103717A9897A4511FF0E82B54876B934517,A1775EE205A3E73A6C280315680BAFD5610455DB547853AFDE1ED7A6EE7D86D401978C23E1541A0005A4952E95B2B5020B8F2B55BC3B384433D54D22EBC0FDFD],[A5B71F496DB481206DA3995A95CDC979E91C895F981528B27DC956E124B7B28EE9DC1CC62B95F9E9AA26BE0EE78EEE903DE0693F46519D8B4CF696068B0020DE,B98FC567DBDA1F4FAABF12E254E87535601AF63D5058C5BA526845047E31D034E6BF116B291D845440A64FC766A3809DBC5F3939EC5F92AA5470983816556E50]]]",
"FP12usquare" : "[[[906395327493FA1F01D408B333525A06CBFE310B150095975979E066282F0FE4F2C2FBDDABD7FB74AD1C4A3E47486F40F2415581A2BBDC3CE7604C0FD2D20FA3,877E86896EEDBB44622DBEE8F9DC6C061CA5805C23EC2386E8069BAB44499D6A1C7F806272A8A85085EEBA6C9F20B6FD47028F90CD86D1752C625997769D2AA7],[695916B87D99F852E4F72F7A6969D71B59B8885EF85333D53C5F10766A43A58E338AD6268D3671AE41BAA1DC341015E7B907104EFA769E2F1CE9246E99521E7C,E214ADA9EFDA291B41289BFB82D06B6FA7A7F200CECD42F0F41E80A54235241A1C6A0EB6DC53AA5672D87CFF38232774EBF1EBDFAE0417635267633658DFBE23]],[[A0BC6E563A210AFFF48DB56164AA5E59828D5C9FEB0967E2CC905607EEAE8B5A62FC639E91E4A213DBEF1FC0E75042415C8CC6B56B164B4D35A059CD560F1EB1,6D27AB8F570347287074EB3913DF6515E9C9BB3BE53D9DDFC285C85DA739C7A4ECA30C012E1D64BD26651BAAE94C6D74360585A387621CBBE28250506C10C35E],[253B42ADAD563FD7A3CDCF9F6335CE0F55473EE3F0874111D2E14ED5C6A0EBC5E2CBAB7F70B24E90CFCB6AF96885E86E2C60FF38E9F7FC6DC2A45030B6B206EF,570A4C14FF0B29359200179E124D9C4E47E9278F6F0FAA5B9A7F023B549F3A619BE8E1D07D87AADCAE1628C4913B081D973787A8E0C356F8E332BF9B085980B2]],[[5F8C7EDD451C529501C03EAC9CFA3A3E7C505AF59417145BFDFC6911066C7BA11D9BAE296BEB4EFDF96D62BB5057EBE68C43AB8F51ECBE05BA6708E8B94C81F3,6A87233BFF1ED1883907855E39B7D586CE6798E9B6C9F9699BE7C0D04D3B3AE2CB6434702B512616BC4DA8EAE961E3B9FEDB459C70C2336E6003F321E0216B89],[CD4AFA777183A1F0F6F31DE2C0A0C28E98B8D2D7C201F028F333E65EEDE9C22F0E78437CA9ADF14B9471F5EAC94A710A23E7B3606FE8B17C9CA4231FF7BD794B,0629A7E2998A483BBB266ED573B326B8E97ABECC71975ED8A4FF53D356BD725310F8ACB06AE7B312B899B68ECE959595B6CCF6BE47613D82658643D9A740EAC1]]]",
"FP12square" : "[[[906395327493FA1F01D408B333525A06CBFE310B150095975979E066282F0FE4F2C2FBDDABD7FB74AD1C4A3E47486F40F2415581A2BBDC3CE7604C0FD2D20FA3,877E86896EEDBB44622DBEE8F9DC6C061CA5805C23EC2386E8069BAB44499D6A1C7F806272A8A85085EEBA6C9F20B6FD47028F90CD86D1752C625997769D2AA7],[695916B87D99F852E4F72F7A6969D71B59B8885EF85333D53C5F10766A43A58E338AD6268D3671AE41BAA1DC341015E7B907104EFA769E2F1CE9246E99521E7C,E214ADA9EFDA291B41289BFB82D06B6FA7A7F200CECD42F0F41E80A54235241A1C6A0EB6DC53AA5672D87CFF38232774EBF1EBDFAE0417635267633658DFBE23]],[[A0BC6E563A210AFFF48DB56164AA5E59828D5C9FEB0967E2CC905607EEAE8B5A62FC639E91E4A213DBEF1FC0E75042415C8CC6B56B164B4D35A059CD560F1EB1,6D27AB8F570347287074EB3913DF6515E9C9BB3BE53D9DDFC285C85DA739C7A4ECA30C012E1D64BD26651BAAE94C6D74360585A387621CBBE28250506C10C35E],[253B42ADAD563FD7A3CDCF9F6335CE0F55473EE3F0874111D2E14ED5C6A0EBC5E2CBAB7F70B24E90CFCB6AF96885E86E2C60FF38E9F7FC6DC2A45030B6B206EF,570A4C14FF0B29359200179E124D9C4E47E9278F6F0FAA5B9A7F023B549F3A619BE8E1D07D87AADCAE1628C4913B081D973787A8E0C356F8E332BF9B085980B2]],[[5F8C7EDD451C529501C03EAC9CFA3A3E7C505AF59417145BFDFC6911066C7BA11D9BAE296BEB4EFDF96D62BB5057EBE68C43AB8F51ECBE05BA6708E8B94C81F3,6A87233BFF1ED1883907855E39B7D586CE6798E9B6C9F9699BE7C0D04D3B3AE2CB6434702B512616BC4DA8EAE961E3B9FEDB459C70C2336E6003F321E0216B89],[CD4AFA777183A1F0F6F31DE2C0A0C28E98B8D2D7C201F028F333E65EEDE9C22F0E78437CA9ADF14B9471F5EAC94A710A23E7B3606FE8B17C9CA4231FF7BD794B,0629A7E2998A483BBB266ED573B326B8E97ABECC71975ED8A4FF53D356BD725310F8ACB06AE7B312B899B68ECE959595B6CCF6BE47613D82658643D9A740EAC1]]]",
"BIGsc1" : "064ED7610E978797674E66939C277B665F07D623C7BBCEAE1BA6E45B78EFDC7BD3448BAC3F62DF85AC6388E057628E1DDCAB1790A7A18B7FB4A65B33255F74F5",
"BIGsc2" : "6CFCEF17098E06E384987E654ECDA25BBED6EDCF8426213973432FCD051CDBE4044B50938CC000053D19302F771F44C59B2C379E99B24F0082ECB4D673C04778",
"BIGsc3" : "31200BC5FBE0853CDA02F6DF5BF081BA10C775214E47ED8A6763C2191C98A91B1835BDDE795C80F98720B3196AA9C07E40BDE702859AC624FFFDEF01BE92787D",
"BIGsc4" : "01DE45E07FA58D9C9C1BB3C8F35291F243F8DA2BB6E3372140D3CCD86A8A93C9A1785C70131D7DC60586F4B46E52B90C162AE2B2555B7CAA4CFDAD870A7BC3F5",
"BIGscs" : "D783F65386D69DD35CF0F1C7B9760A38D45D940F42F64BCBE731AF426555A56C",
"BIGsco" : "FFFFFFFFFFFFFFFFFFFFFFFFFFF9EC7F01C60BA1D8CB5307C0BBE3C111B0EF445146CF1EACBE98B8E48C65DEAB2679A34A10313E04F9A2B406A64A5F519A09ED",
"FP12pow" : "[[[4A2077B26DD255EA823A9A8050E4168A826CC08369CD313D3E7216414F8867FB0661C1BD7E9728E8513E98C999E4D58F08E73FAEE8D32C1A29B7EA715FAFCEFB,78C0D3DAB556D8D1DA1E5188E88A476AD478B8A09E5B62447CDB3A1C49D3F80EB75C35AA68CE5E849FDDACBFE16B98AA5BB29548D8A740406C8B5338926BC9F5],[EBFB3B649966FF1E6540E435C61AEE9D859B4B5839BFD082E72DB47FA34DFC777384C973AF32BA3C36105C1A3FBF368D913A011DDB90B40501CC332416C06DD3,B0FDB1DCD038F1702829B5548E88A3B42F3CD61C5CFD8EEAB1761B2CB9B49226B27D8D8805751AA6B7113DDC9E5D53A901B062579A20B6C0597F3B9FB0F9609B]],[[4A951A191EEF73363C4E03CD264AE0077B4AC23E1F41A9CCCDB261422EEA1D1BF2064368987FA941010DDF10A217141777C981FA98AC8DB0C2F7DB3263A909D2,F2B1AE2ECC648FB57332DFAD55579FD4E9807EE51D3395A91F1B9CE1E9F4BE96CADB61E07EE7F6CF3103A3822C27314DC83640AE77250E174734420EAA14CC63],[8857F902D604C3F5C911534B379A16D3DCF48F1D065A1390FF9380276EB46554F10D5C877055392A11737733BFE11FFAC55F8CE2BAA0BE9FC510251ECABB4694,5F115AA91930D16ABFE8A460B3A2EA71BD3346D3CB0D150FC6041FECE369B300EE015B87ED9F8D8954D10F1515EB1D5D5334897238949F4A53E3FA973A67B9FC]],[[9AC6DEE8C29DB3E04C4D20A758AB98F17D290E6B9B1F087C52763593E28F737A12BBEDFF55F581BECE3C8A04539A03495A95CBA9FC1A13FFC9B1373D0471A314,7997841F7EED82AC037314DB1BF90EA85704CC2824B361072E0B17EF78ED7137E7E52F7D17E2F54F5FD9CF929792DC21DBF12375D06BDD35E0DEC425392B0B74],[57693AA4BC8CF8E3EC5A97FF87876129EE6DAB145DA6DA6C847E5E0C4DDBC8C5D03B59D9C83C053DFC6EB164ACFE303CD09CC89C8C545D50D659ACEC99EA9C6C,422F82DC4F8E50E66C94F259AD05F61ABFC48195BCB5BA12070D9F2DBE4F82E99D28C5887C7FD2B3BD6BA8F209D02E084C468E9C2FF4779573ECF53BAB205F97]]]",
"FP12pinpow" : "[[[F9213336ED5BE613A52170D125C3B2FA3F7850B89B34EE987CE8F5454B792B34122B2E7584C99BF47292F5CA1C1B1EFF0A9347FA6A7BE88F8682070C34265A9E,F9003B73B449EBA3534EF5D0E61A204ED1D289E77BCA0ECCC0391BB275B65E1DD13269E85BBBF0689C882EB4A6E2B2B56336324D94295DE09587E0490374164B],[5AEDD15DD2B3FEC3B05714A66781EEDB9EAA2D8A6ADE4158608A07D263CC574B042A15EC51E8D22BA71E7D5835DF3FF486D122656DBF04BD4E09ABE0AD786145,064A2AB0587B2523965B3A61A3F66A7FAA4B57CA873C28556482B1D0B463E8DD1572140C203D82F18C1D90CFEEEB834CA8EE377A806311F0EF268B8E6EAB3AA3]],[[A1039675FCE58A05DE750116989B7C17D945075A19BF06D91B2A3C763004FF7F472979CF68E27981A1D4BD058C6F7AD12799962715961EF0842AA407339BE91C,DD371E72C836E98B04A92FDA83E13BC7A0DE863171BD25AE6DB1F19A9D8770EF1076368C73EA7B82183924940DD132B14D4E140792AB872F3D33BB65F2485C2F],[A929572FE849750313FE4746CEFF49495E779B0441635538B430A31218C5B67C206DAB2D748935EEC991BBC63CDF5758D879F73E99D364D7C213041B666D5B6B,918C665C538B88B6D5F68171B54DCEAA8BC77A2CFC646D0DB70D12E54DF9F5111353E8B99811B9556120E35BCDB79B7B731CB37672B8B8B2BE90D500ECB4D519]],[[AF3C6EAB4AAA25574AA4B5439C2C17A743643D43FF5D5851BB3EBAE13A445A2A95F5BC32F663864D14B9937CCF3D6103717A9897A4511FF0E82B54876B934517,A1775EE205A3E73A6C280315680BAFD5610455DB547853AFDE1ED7A6EE7D86D401978C23E1541A0005A4952E95B2B5020B8F2B55BC3B384433D54D22EBC0FDFD],[5A48E0B6924B7EDF925C66A56A2C230518A9824240B62A5542F28CDFECF93CB6676AB25881289ECF3A65A7CFC39481515389EC8F18FAC6DC67F4920297ADCE55,46703A982425E0B05540ED1DAB117749A1AB156488728D4D6E539EBC937F1F106A87BDB383A11464A3E61617447FEF43D50B1C9472ECD1BD607A8FD10C5880E3]]]",
"FP12compows" : "[[D466038FDD1E7E5C575A143F3E8EEF46B7F1E52DEFC177010F1678F597DB554D466379D3CACAB3BF9FD6AF7CD8CC24BACC6FFC51841AE971FCB1A9246BDCE818,1BF9482A6650C92F9558BC8CE91D199ED3DC1D8B16AE48FDAC386B4343AF7DC325B330B1D9309FD8E926FA76B8674B909A0A03E53792B0CB104D0D05BD47808C],[2B3FADDF419B92C46AE4B473F3912311970BB367E89C90834F5A8E977AE309E56848852E4F3FA1282E4BF0F96D4C8AE27EFFC3D054CAE8A3D405C80D81458E63,1B2BB8F929912603856095F9DBF8EDB9209DE4AE8BD08F2CA335DBCB7FD07AD1818A0E72F4541A0A9B778ECA483A2C72A9131D03A809A0FD8ED7A817A2BCE13E]]",
"FP12compow" : "[[DF35A0F9E676DF301CDAF894CC379092786E3EA1A20F93DF9553B94D530A5A0441C01E8D6CD3148EA8262A62B05CF9D62EF9EA1026B0A787D08AD1AFDC605402,98203082BAF2527C9D4C7C426C6D61968A7D87D5C6C9D00FB9238C98DD273147A0DA33A2042829C4E9BA73933A974DDD19E3F2BC28737DC53E314786C3E65430],[2245434C0D9C2E9C5CCD5BED5ECADC447DDF7D9C94CC38DDA23F9F9CFC27073C40B8200BB72892F38268BC73589153BCF7648ED9FE1D3B170A5EB7C17E00E10D,D3E39B55C3A7AB7A31A41BE3FDF6BC506BB564C26735267F92BA1C17D64C19E1DC4D6FB5DCBC0E5468763284A6C8A2D8BC0498B38A7BF0E9D999D0A79B23FFDB]]",
"FP12pow4" : "[[[453DD7A01E6D5D3315515F9B51667133685627EE263E354E2F4B04D2198B6E628390A51CFA9B996FCC9D508EA3D4AA6EEAF73264AC75C4EBECE31DBC8F95CA4E,24C3583ADBBA196B8CF37641CA7C17854B7A70D7D1E740A46FEA0336F47ABA47D2A7DD33FE9F06891ECE09CBDCD0475C544785DD45DB507669B6AAE1E32DBE9A],[53A59F28F7ABB1ED7229541731654A198BD7B88673BB502A63FBCE89E0E35C16C233C4A8416087CEEBB6DD1B1258C169BE8CB6AF45245A22A684C64F2662D111,EBD7A61ECC8BDED22A66620CE26C51D4A0C532C3238CD49888A4320BE18C0CDF2BB62A72524EC0AFC5B1246285ED02B05E9A06EA0C9667F1D307995C6445175E]],[[4AD33E20FB75D2A3ADF49E7448A8182322EA01AAB68E9D7E1058076628F6882428C8AFDDBB4C2B692A0301D04EE8EC5FD0051DF6CB588D3A6E3C204FB02FB0A2,EEEEE89226D21FBA7862DA5A1A4668A144FFC24D4820011C52B79F2A850A6B22A16ADB0EE98DA05424A97EEFB11E9AD01CA219253604E0700A933E6D3C8C8B49],[2B96D551C9B2DAE2DC977772E8237309CC3F3D7F8E11FC378B2B1537F2AB2D89F1E6FF9F88D129A3A1655584A20BA98EFDB0C87EEF17B7BF21FF220A803E963F,B4D1EB7159FD12D99893CB31B7F52A76EF0A24A475EB06E2704241983BC097C8E1BA6A73FC3138F8C2104BFE37CEDC299E713DA6254AA755D9E25E5FB11A8E6C]],[[913B4631651F1F7300901ED49C66BE39812B43738972B54DD210446D11B3567CA11736A8042CD48401B0D2C9354D8DAB1992C0D32C48BC0FC61A7E4F3A6AD988,D8617BA6904742EF7B85FF082DEE7B9F4EB0FABC3715784FA33200E081B7B7CD406E5F42531DAFEF9B47D26058D7005490CBC86CACE1E7C4518FB97A2EEB5C41],[23DFD25A1DCD3BBED1AF73719075A4911D0DC9C09F56C031669E60EFD45F081964C0972EAEB3B00D4CB79DF9C7BD44111C1CC684F12341B84CE915B7418FF014,A930E54BAC34F819CC27AF90AC96251DA60E7B39A030CDCB2EEBCD1D0F017D0C92BDFFCA3854CAB3A6CD9C2C20BBD4FC4149F1606E50CAA088E50CE52F7060F7]]]",
"FP4trace" : "[[EB6399A4C813B23AEF64527371573FF0BADCDAE6200825B9F543184DBF09A31193F3ED2334DFA26B8EA015A0FE0A7D39FCE52C5280DAF0DF29AFC51257173174,EB00B25B1CDDC2E9F9ECE172B25A87EE71EB8672C1C78656BF338B953DC13BCED1099F7BB9B69FC80C7FC0609E61385D06CDEB4BFDE350D256C150C8C500647B],[10C97419781BFC4B11053DF3368BE013DA387CFD67CF710160E233B619B4169BBB3772A648FBDDCA10CF1229F67A4FFC03091161E9F0A9D03531DB98E5BB349C,12DE801109716F6AC311AF24EBE33F7EFEE2075F95B479002D8815721D2BBA9740563C2460B888D4A458B26FCCC289E5FACAA66F812935D2CD73A2AB4C01AFE9]]"
},
{
"FP121" : "[[[735CCE2A97A505AE1304FE7019070BD8022356D8B1695B3D755A2D5ACF49C18AD77A70A131D14B3E77C2E2AC9883B4AAFA0C79192AF9AFB48FDAF2B9DFC5E5C6,1831ABA2BE44054B18568BB50366E21F54A65A9FCC4733A11B447817D5C4E38D154578F2F3060472DA0A5FFE8A0B87B1A7FF721ADCE6E72C13D183D3C3AC6862],[83F4800D17721AFF560BD353481519E81472E9F96D73555C07262B0A307DC411C18503988E26BE62D411B52ECBAB6E1466F4B75F64B9BEBC4D1DE0B2564BFE86,977D4CDB079E4F60B897F2319BA872798A5F340DAEA5357E9D667F0E75371AE442B64C0E21D40411EAFB77581D8DD91A4DF04F1290BD6C56582E0681897CA7EB]],[[A4A2466BF6D9CDA643368248E4B4752305D3A37254DFE2229DD377C5FD0F8238FE8D6DA0558CA9A689F29B9A4BF6326E77C2D01B786B67D8178CBC6FB85AFC69,51ECB76C6537E26700240D9123D3C3A2BC684E1A9F703C8B793F5BD4115274CC926562186EFA368D8331FB26712853BE900D2BD5F26E775D25F73387A6059241],[078995EDD12A9435483CD131ABFFF406846368E0F234E65B0379C807CA9E1112301626A23648ABCBB4BDF12AECCB03285F0E04AD6DD88B8067E2EDE7BDAE2E20,17D1E45C7414EFE9EA26CB24E4187B8BF923EF525ED9941ECEAA9F2C25E94D09A1063F5F1215E8FF5ABCB8352E06C1158298EC00FF69D4EE933D25EE6A174B58]],[[812EEA86B4AACC8CCD52A8AD83F04894B5CC8D35FA0BCFCB6D80625B1BC3DDA8E7051998A09220EBBF431EC8050D25516BDEB623FBB69B1F730A42CD1BDAF3CC,5CD090D3BD98D6D90595D3C7F1BE17B58F2FF4D5145BF9BC64A19CA8550D48F8C684ECB2A1B1C3E2C4BF9E55DA3A9F3163C39733E10154C493EFE25FE6000DBE],[AF0EEE0626D9F8AE8F6DB4F3A2CA2FF43F9C5AAF56BD5CCB5C2600648813BDDCE075A6667D6827BD9C966E0A2A855C78DA29A2D6C9220166B591B358AA45BA5A,FDEF797B9D0FE9AE73E29385EB0F17542EFC0A5876FB0900EF68DEFF4B2F1C5860DB15C8BAF72DEA7DA138E453C9DA9F79ECD5A8D52EA3053635D83FDCEEA027]]]",
"FP122" : "[[[71DA6CBBD03A7E0011A76457A9C9F64ABD3BBC8AE884FF1D92AB8C3E0E8AAD4BFEC875BB3C7415537492457F51458190A24E23F64C675344B0A9217FF50BD2DF,F346EAEEBF37436C216508B4283BA3D369A15AFA383CE2EBF5E8CE7A4AB020373DD8F78CEB6D477F524313FD768EED4961D8751DDB62BD977B7A91422BDAAE29],[D66691D0E22464E447C14FE90320F43C4BDC39F2D0A13A36E9A2809C4D6318E18FC7CA0E6E7460B5EFE3D1C49A9914086E1C7E507E719031DE935A99FA70D09D,6296E883AE9C58416AABBC05F678BCFC89601433CE457B32664A0330E9E3A0F6BAC9AD870E42529B38FA802F4B58270C90996CC8A25F141A208E364A38A6BF5C]],[[4BC3BF6907218D6572486580DAFEC0765174192E079E28EBA02ADA86C3C540AEEE9601DACF708BE3E3BBEBE5710DC0FCA96A8886EB935B8A6E0A0ED157A0799B,E0BABF7E3D6F1987E5B18C6A26AFFE1E2F8BD0C99544CAD210D4E1FA9F879FA19886B094DF8BD01D33A84F85DFD883A90FEEE7FA393358F8648389C63A142B65],[F88695E020BC8600760C043819C29A63BA5CD31F1C5494C9A97485E48A37007BB29E4D15CA29AC75C3B2056824E8C97A08F939E31B59AC8CFCCB2347930900B7,9600786F6B1A8B0D71BE6278F708CDF6E82E6B2A405F07932E5A724142BA32A47951F2877FA79DADE8BA96A22753AC1DE19E0ABE7C0D4DB67B6E18EDCD9C5297]],[[8BA47F9BF4AE821839163BA53AA2C6DE12344C546017892A02E118FEFCA3A5E0773A46F78DE6BC8361C510174D5934EF4626F7E712C90665AB5526B1F289D71A,13A0785B6835045AD22CDED8682BEC08049E7AC1F8481DBD942FA073E324801DBA93A586499B6DB6E1A09ECE3112FEAD9D338C38F5455A2558F05A1F0490BC20],[F3C9D174253F2248D1AA482EA0804B515C401B479840E6338DE435F8F6E62DF21720948B69B4F0812D377AA664CFBA18261DB808EC73EF51C1CE67FDFAE53A3B,C8F3CB4F85CF67E9A81DDA51AAF29DD11623DF765451A2FCEDE2A8B40AD99558ED1E0D18D2513C57F997D8A9BA6E5EC3CF594521ABED17D06911F76A0F54C0E9]]]",
"FP123" : "[[[11359D2547BA5324248A328EAAE7CAFBC4F50336DE8C92FD6399F986DCF82B4EA73C09468E5E4D6E9BA7E16E3B1060408BD59F79242BBC3D8BA94149C7197DC2,D8A22578A6832F45FE921EBE9358D79B74BC6710D4E7C1F0B2A8240AF355B53D7D44995151A16B066F23492E01E4233B618A13875AA1E7AC77401FC470B41DCA],[71B3B0E2F58639991C47E822C5064B7583399A9529A810E1C11F2DC4BFB435432A3A51F2C5F6AE0FBC11F7C17EEA85995DC15E95313E3F569DBBFBD6FDB07AC6,77A3FBFFC6AB35AB10F5B2E2B74F36318B9BF8EE413D331EB2DA950D3F6C1C23DA25F421BC7AA0DF532A39CB648852E87CF1BC89CE048CC5049227A7F363F71A]],[[988E2188C99D3107B4B7F41CB4C1CFDD53D1FCB37B44DAF6A112664A521DFDF4FBF4BB8E6868EED9AF830324722C9CA85DFD6C776517123583F94F123F195920,3C79CEFD3A32D413D03B9D3A9ECC42DA04E8D8C276F07A203EEE4105F234C17E0419B63A12918C8272D8AB104BE82186392A6AF2E1969307FB889A9DC0E777E7],[AF0E5205736174054B334BC7F0EEB140544C9D380BCE46F36963CFA9CD584FBCB8D94C3F66372DCB70ED820152C53D7C541934057991710E25CCC573330DEDCF,018846DF0975B1D5BC445E667CEF1E16D427A6A39EF821ABAE639AB59E471A46DD7F4F5D2BCF2BBC3C0F7A109FDC9F2B0B3D1CBEBED7A19300F24739F5A44089]],[[BBD501019F89BBB35A01D50E9C6B650140DA92C2728FC0739A1B2DAD2DFB8083896EA6D675C5E74DF56EEAAB52BB84EC44D7EB86FC987183D834E97D9E73700D,CD14A133BA4C267B8DBAD46997CF13BC9021CBF60393D60B7DE823EFBAC12CD3B0056EE9A69999C6E32A45C17FF94E3D801AFDE02B8277870E820EAB44DC5B2C],[A11743A4A4818B346294E6E2B3D18A6FA112205BCC772C7DF19A6492AF50C5CA340F6A01485C7643804D512F819DEB3C80789BC6E169E94D4804A42B6B0AA091,BDC05846D6D96C713AE8B6CB226FC94323CE8E2F796CEC3491756D819FBA44C2D81DE9A17369E6BF4BEF147443464A29AAF5D391001A8D9930290E116493F77A]]]",
"FP124" : "[[[B7843CFC8A6EB6AE4FD6D27863C34B0138DB36ADF565648CF721D336E8A27063CB2217BB512F3E3F722FCCD4467BEC1485E6BA511E31F1C59FF401C4700BE99D,D5C2D220133453241040E6BDF6BE3740657312566EA2CB3193E995174746BDBB46BECCABD191BE5067501B5AC42897DBFD43F2C5CC7A102E8B26332C82E5C238],[9055A91F924D801EEDCD5162B17847AF20FFDF6A6A1090DDA701AB68C79B9B34D9DAC1B3CAF1E784C4B9B659EA860E319E23FB63A06634594143391DC2E8F850,7A4EE7EC9A5D63492703DE6269F556E6D7A9CD08534CA80C889A206F23568741BD2A82330426B8D65462DE2F963ADD6126EDAA1ABD3F0D6AD7A04568E84CF6DF]],[[2391C5CBDEFEED11C973F13E289F97D3E864E3E02620C4D81430FE62F60A91E22C1CC13BAE8FD12D39FF531EA8816280B1EC87AA5A4AD64D4E6ED8B0FA53153A,ADDBF5E68CFF595CC00E133EA509491B1984A0889D82430B8BDC7EBB3B466F3668662E5D7D9E87FD90EC7E3F71414B60A790BE780A55E1DE419212A85B7CE30B],[F015FFE689980C94AA4D37FFBD797064CADA54A5C34EB7A0B263C5B84176D47F9378A73E86580A6673CF5E25F711F14485E1B5A6C939627F3E22349EB0F0A6B3,8A8A28428878248D7D7356253CF4E9A63883F1086943C8F46077E12EC4FB2C52CBDC2DBEC0ECD110BF8A45F8D12BC827B0AA6F8EFDA7205747A792E5DB205847]],[[E7C629FBDFCB938362048BE3AB0B5E1F1C4610E5D288FBB277F64A01A62606BAFF7ADB9DA21E87219F9CAF8DD9468172280B602FE3420C24EA33ECA61926AA9F,07C1F12A6F08E5C96C821768606CC8BAA09482F8AE5B4BD7D65EF580C4603655D40FD4D351FAA408ECD9484F51197607E546D853246CA6022049FDEEABD222F5],[8C8CB43303E505A9FD814967EBB374B144EC083F6B5590E95D65814C653A3EF0DA73377E75D02C5D359E7D3E763E41F7FBA33377C67ACA0F9D81DBA88EDFB358,CECC4E062CA93D964882A0614D907F4AC696041D3896D2F5F4C0FB756025512DB74BAEEC1C14BB30E7FD666ED0BA58CB1DB7BB2154BA19AE64AEA54AFE5BCF89]]]",
"FP12c" : "[[[19DE6ED481260F6934686A44E5FD4C945A8CAF5D832063794E4B39FA39BE3DE053E0FA0DD8E1230DFAE7367F870A8CB0126AC1654A3E09E604063519C05EB45E,4D6DA4BB0BFD10F2B32E6B0EE41743FDD856B041FE703B432A3A5F9F030DD1B2499D5082A38A6B6FBE6BE7D5269F083B2045F26E149DA93E19DC7980A62201AA],[8C9AAB1CDCD1C0DE5659CBA5E327399677E2E4611E10F9E7563752C1D877B3F9613EA8F6C36790516D9AABE02B13CE9EC5A03D141DD649F4188DC3F5ABF42B39,8ED2A4184626A6785A78F08A4235C723CB1CE2082DBC8663D23C1EDEE854B1A7D248451BA8EA70805305E19E0B212BD4DD38666DD884BAB2673B8DA4E1958B4D]],[[F6CFA0533487C0ECF0BEADD6FDA057AFF748C65515EDF9863F995C89BE42376D58984AF6431D609EC268A102BE2A888BCE47F59333DC826B378D847CDFDEB5EF,655246855130B083DBAADF5C8E1CC2768B7140AAAB4609990E32B6626C05FAB8DEA9821BDBED4C54B72815D8F06F544646A147956B66D8860F25B59880068B91],[FE5E7B6F4F2C09F672D12260A876E3227CDB3D4A0DD16CD742661141F5F026895B32925917620F4B8485800B45D66673B21C818A873783E3AE33DE0A96DEFFA5,08EC2D66BDA0CE04136A43B5D3FD061E54AB3067B76D55351A75CDBEF5C37BB3B796B4F36EEEC55187DDAF5FECB7D88C746F753EEC18F8444DDCB2402EDCEE63]],[[5F82ACB161E9BDC66666CDE669A374114978BE2AEF70C95CD8DF56C1425C6969FDE9EC83440E5F0E4F9826FCA7B2A5FA54F76FCC25F5BB6EDFB3EB66E5CAFD0E,A35BDCC6737A831310C20EE1B1FECC4D08C56F88CAFFD16C5B2C7DAE79CA15A7583B1C7E06CBED96166DB13CD0247C2F07C50C6778C72F0340FD87D8C420C40F],[7AAE2CF8047CA6DB5C63262FDDB36FE01FC0C6F3147FAD2DC7F589A554E0A710F39E792DCFC919FCF85A4ECD4B4F5125A12E557A1BC96E4F6D35470FD60159B1,40F2F7C99D3837EE5E0A70634BE1D9F1DB4E1B3950B553BEACF35694DC8F043A41C815375E2450D1CEAA15D624EDA113EDCEEC47C6E7B582C9AFCD1A877210CC]]]",
"FP12smulymtype" : "[[[71DA6CBBD03A7E0011A76457A9C9F64ABD3BBC8AE884FF1D92AB8C3E0E8AAD4BFEC875BB3C7415537492457F51458190A24E23F64C675344B0A9217FF50BD2DF,F346EAEEBF37436C216508B4283BA3D369A15AFA383CE2EBF5E8CE7A4AB020373DD8F78CEB6D477F524313FD768EED4961D8751DDB62BD977B7A91422BDAAE29],[D66691D0E22464E447C14FE90320F43C4BDC39F2D0A13A36E9A2809C4D6318E18FC7CA0E6E7460B5EFE3D1C49A9914086E1C7E507E719031DE935A99FA70D09D,6296E883AE9C58416AABBC05F678BCFC89601433CE457B32664A0330E9E3A0F6BAC9AD870E42529B38FA802F4B58270C90996CC8A25F141A208E364A38A6BF5C]],[[00,00],[00,00]],[[00,00],[F3C9D174253F2248D1AA482EA0804B515C401B479840E6338DE435F8F6E62DF21720948B69B4F0812D377AA664CFBA18261DB808EC73EF51C1CE67FDFAE53A3B,C8F3CB4F85CF67E9A81DDA51AAF29DD11623DF765451A2FCEDE2A8B40AD99558ED1E0D18D2513C57F997D8A9BA6E5EC3CF594521ABED17D06911F76A0F54C0E9]]]",
"FP12smulydtype" : "[[[71DA6CBBD03A7E0011A76457A9C9F64ABD3BBC8AE884FF1D92AB8C3E0E8AAD4BFEC875BB3C7415537492457F51458190A24E23F64C675344B0A9217FF50BD2DF,F346EAEEBF37436C216508B4283BA3D369A15AFA383CE2EBF5E8CE7A4AB020373DD8F78CEB6D477F524313FD768EED4961D8751DDB62BD977B7A91422BDAAE29],[D66691D0E22464E447C14FE90320F43C4BDC39F2D0A13A36E9A2809C4D6318E18FC7CA0E6E7460B5EFE3D1C49A9914086E1C7E507E719031DE935A99FA70D09D,6296E883AE9C58416AABBC05F678BCFC89601433CE457B32664A0330E9E3A0F6BAC9AD870E42529B38FA802F4B58270C90996CC8A25F141A208E364A38A6BF5C]],[[4BC3BF6907218D6572486580DAFEC0765174192E079E28EBA02ADA86C3C540AEEE9601DACF708BE3E3BBEBE5710DC0FCA96A8886EB935B8A6E0A0ED157A0799B,E0BABF7E3D6F1987E5B18C6A26AFFE1E2F8BD0C99544CAD210D4E1FA9F879FA19886B094DF8BD01D33A84F85DFD883A90FEEE7FA393358F8648389C63A142B65],[00,00]],[[00,00],[00,00]]]",
"FP12smulmtype" : "[[[FDE0E8F15B3AA061D40F1738A07AC896C558E0DC368980FEAB3517EC561A50937E8663A5CC3BDC68AC016E3609F0054B1DBA852EB37FA9F26FBCE27CAEBA0A6A,A58FA5B633826243CD4B0D67A13F954E7518B485AC9AFFC9A8365A39D8D88C30121A066F757725C2993E8BFBD87101E0C150059E230A5A42AB1ADCDAA6B105D2],[51C07C8812A4FC62C759F080326C7CE485CAB75835E7716E246345AF399588766204C15E6E3451F799C7AB0270241729B3D03BA677D051CC85310989CBE57629,35C05AB04851D0B1F5C59F0163A1F8D21438F35B9E4623192C1F0871AF4191570D03AEC01B825D48A4BE712FC082DE89BAAB2D566912C298A70106852D917261]],[[8A0310F4A9FFC74DA91CEAED408D68A158F9C644F98299322DC0569CC9578EA8C6C65A9EAC7F47D941045B090F08A2027D88B168BBC7A01135E06616441B405C,1DB38A8247B586E1D30C77990C50AE7C1823AB521F74DFB8048972EF1ACF638CBB5228C1BD06C05DAB14C3097A5172EC65D211AF02ACF25D002CAE6C3ABB915C],[FA0F65C3B82D96B7980EC2D641BB7F276D2160CC231942D065F90E181DAE08DA800DA78F3BAE7144D6B7A9E45C461F2CA490CE8CCADE834C661E33178065E602,E1303C33354D7F55BBAD4C3C87F6C443EC4CFAC4769D36E85485267D73BC50792300C3EB43AD78F0C1950D9EE374C9162EEBD75332416EE10FB13CC752207627]],[[C1C8ADB93BABF66449E24EBF746ACB84637EA7428BAC772DF2B1F8ADB7FB6AF9879CFC4EA06030D91A5562B663741AD8296272237B72822EF50B8A62DE50F176,11474B36C149031CA00AAE56B1ACB4DE7D61BCEC3AC34C28166BC4195AA6C7523BA4C5CF809F38D48AFB58A44F05614C88015B3AD284ABB8A009C93D2E240F46],[C03C9C7835C175A8DC030DFF65D27E532A02BA6752D41783B3D4C88BDB8CC4CFD916FF8EE0364DF2A9E0F42C6A9CA531079F561B6424B27FC43044A8C51A9AE4,C7BC1BDBB1020C6339AE4B6D942A2B9F3D07D6431705971E7E8F338F5F139EAD294347514D69A8EDB2E1D410BFFDA848D46690B26EC93B87EBD5067421CE8B27]]]",
"FP12smuldtype" : "[[[AEDEC834E6783D8EFE69ACA029474FE587E90102752F8C31CDC570137D27EE9DFD09097911D93F8B7EAD901AEF879BD4BF0F6F176D496C9CE242F26D470CAC32,2F180EAD903F877A62C773C067AE4597B58A6C393ABD5C0AA8DC785E24C47980C3E1ADBADE117A95853DA6DF8F8A93315C34CDCEC701078974FD90EB8F077A4D],[10D2E55A76974E19EE2D8B79E5178E78841BC42B5DDE5BFC6F6912F25C086EA9A1AA7FC1EE653BE2890EE8ECD0B5CD7E6280B252F0B0A399D11D7A86F79B2E55,4C7C3BD0E721760E471E387857D85D6F116FE7E3A28936C9084F79C531D1350543385A78214736007150DF0B348F746D60C788090227FC5DA9FD341AD2612082]],[[2BF038C01EB28E989936E41E17D6952BD03439F7320DCA5ABBD2F7798CDAE49251F894BE618E81CE969DD72F7F944A786E87ECCC052F6ADDA3BC2A79C014A994,C6617F6452AE4DFFF0581C6A479AA2867EFC7B808F8D8F8935DD91935419885382D67E4109603CB00D9DF25F39DB507791084A92CE3B4926039BD5E045B0B321],[AC921E9494FEC5E768A12B4A74CDB60F271D58BB352DA961168E5E7A02A77F11AB7E92E0DE03B5397668C441B488FE00ED681DD37C3F0FDE938B423C61D879CE,ACD0D0567C0697F57CA07BCFA3D2C84B1F4AC41A21A4476C3455DE42C32F388ACABD436D889823CC399CB9678DB3ED49D1A0A8405D0D1CFDBED586800B719E4E]],[[87F869E0FCFAD5BA84FE9E6ADCAFF132EF22FC01A47E2C849ED29CC739C4565CD8947E0CCB1A0A21B878C26C9D0A9272FD4249642968B442554C05A0B72D6F55,EE2DACCCA79ED76CA15BB26A0CD08A6DC55808C64C0287F91E43B27BD14425C49349A4A570227218A2EE8962A90F3D43D883BAA4AA87DEBEBFC69CE151AECBA0],[4B6AADF8F949ADBC2BD17447577BA67ED9C5E6A260F93D95EB9029EF1156227C326808912367886A7B4B207E90EB84C95006C2D89AFC972F8B6457DDD1F81096,5636BBE155A20B5A3095D96E7276BCD941C9C9937885F5FBE96E6E1558DBFA7BFCDBE1FF2BB849666407968B05A2FCC33EF56E2E1AEFD2909FB62F00F2E61BA0]]]",
"FP12mul" : "[[[2AD35B1CEF2E7E31FA1D9D359B91DCEC2955156F4870B71EF3AC0FC46400B7D3A2DD16E9C43949AE3DDDF5F8E0BB3A69974E7FDC89009134CCF75B843C534899,10404771B8B8527675C90E4AB896AD55B91190B5AE498BC669020F75CBA7A650E0ED040691F3196ADBECE701BD2BFCC9066FD7401EC658BA90CB3CB8A5895C13],[83CB5206BDEC685551C0FB32B6E93AEB4B9841D6E2884A9EA9862CA7EFDEC0C79E697126541717855B035DA74B537C6C407F6AFC781CC4E42BC2B0E0F4CBE79A,78163A62A082ED6DF09CD5B4DEDCEDBD1BACA1EBFBA167430B6DFE97AA7A6CAE5EC36A897B971EB160707DA7B3C946C9FBE466DFD1185C62EEB40BDCCB11279D]],[[5E805159BC2E6945EE7722A78811A68747AE6CD47F5D44DD84B966CFAE30B8ABE31ACA8D3C73865FCD76DDB38335A45268E1AD32775261E97EA1842A2A4C1A58,E18B8121618E0718A8C7D0BDDAB41C7514EE7BB6605576DE92158115C26EE30CEE80A6CB167F321084A2D679D2F093056445B999A73B2531199853C2C6748756],[957A2CC50B74A2720791CD8F7811F6538895D68514D9F83464A2883F43110C172A68B4F3171D91AB18F350BC669A29F06D94D29C60B72D7B598560715AA84221,E41A3F8913BFC02610B2A64EA63497C2DBCBA22A325C8F76C0F6CF4566DCFCDDA22D92CD17724554FA7C22E74E6512F919971755E7C79741E19EDEB57F8D0203]],[[CFF4FA238C8EC90E4F9D105BF9254D2607D43055C70E26DDA6A3CD375CD4CC5BF72896B1D41898A9F17C1BC403D655F0CD7FD5D9093D7E2DF3AB0098448DEBF0,33DF3E057FFA056FC41C4E286E9135224D2052D9835D2AD9409BBEC3984C54FDE9C838F050B1B9CAC27309046D276E2F04A68FBC2392178FEABE24A08B7C1B69],[40403C81314B25A746769F00FD463192A875CA7300458292D600A135A275D78ECCC8ADA0D6C2FE169536D76F498658232D171406D26A6BC8E7A1E5C159D9C75F,A13FC2FEDE989CE6679B65849BE12388087936F98384EC6D59CD65F4F213ED48B6FAE99A07C54D7A6AF7BB8774EBE97FBDA50FA48B218734EC35F5C5564A11F7]]]",
"FP12inv" : "[[[735CCE2A97A505AE1304FE7019070BD8022356D8B1695B3D755A2D5ACF49C18AD77A70A131D14B3E77C2E2AC9883B4AAFA0C79192AF9AFB48FDAF2B9DFC5E5C6,1831ABA2BE44054B18568BB50366E21F54A65A9FCC4733A11B447817D5C4E38D154578F2F3060472DA0A5FFE8A0B87B1A7FF721ADCE6E72C13D183D3C3AC6862],[7C0B7FF2E88DE500A9F42CACB7E4D296ED5321A86B57FDABB995B8B6E1332B338FC1CB861E97DA56107AB0AFDF7801CD2A759E6EFA92A5AB67CD4756CC61F0AD,6882B324F861B09F47680DCE64517A057766D7942A261D89235564B29C79D4610E9083108AEA94A6F990EE868D9596C7437A06BBCE8EF8115CBD218799314748]],[[5B5DB99409263259BCC97DB71B45775BFBF2682F83EB70E522E86BFB14A16D0C52B9617E5731EF125A99CA445F2D3D7319A785B2E6E0FC8F9D5E6B996A52F2CA,AE1348939AC81D98FFDBF26EDC2628DC455DBD87395B167C477C87ED005E7A78BEE16D063DC4622B615A6AB839FB1C23015D29F86CDDED0A8EF3F4817CA85CF2],[078995EDD12A9435483CD131ABFFF406846368E0F234E65B0379C807CA9E1112301626A23648ABCBB4BDF12AECCB03285F0E04AD6DD88B8067E2EDE7BDAE2E20,17D1E45C7414EFE9EA26CB24E4187B8BF923EF525ED9941ECEAA9F2C25E94D09A1063F5F1215E8FF5ABCB8352E06C1158298EC00FF69D4EE933D25EE6A174B58]],[[812EEA86B4AACC8CCD52A8AD83F04894B5CC8D35FA0BCFCB6D80625B1BC3DDA8E7051998A09220EBBF431EC8050D25516BDEB623FBB69B1F730A42CD1BDAF3CC,5CD090D3BD98D6D90595D3C7F1BE17B58F2FF4D5145BF9BC64A19CA8550D48F8C684ECB2A1B1C3E2C4BF9E55DA3A9F3163C39733E10154C493EFE25FE6000DBE],[50F111F9D926075170924B0C5D2FBC8AC229B0F2820DF63C6495E35C899D316870D128B82F5670FB47F5F7D4809E1368B740B2F7962A6300FF5974B0786834D9,0210868462F016518C1D6C7A14EAD52AD2CA014961D04A06D15304C1C681D2ECF06BB955F1C76ACE66EB2CFA57599542177D80258A1DC1627EB54FC945BF4F0C]]]",
"FP12frob" : "[[[735CCE2A97A505AE1304FE7019070BD8022356D8B1695B3D755A2D5ACF49C18AD77A70A131D14B3E77C2E2AC9883B4AAFA0C79192AF9AFB48FDAF2B9DFC5E5C6,E7CE545D41BBFAB4E7A9744AFC930A5FAD1FB1020C841F66A5776BA93BEC0BB83C01562BB9B894460A8205E02117E82FE96AE3B382657D3BA119A4355F0186D1],[BDBB5D6E4E56CEF4898269740A40702525F7498FC82199ADA8108E355D35BD821956FD05641D49BA7CD895AA4E370225746F9EF8492FACC871A5124C9ACB0753,41F539BCC4414785D39A1649C6F2972C5042D3EF2A60DBAEA21AC389B5F0D543E43D16EDD6291D7CB7208F03900746D79E6FF639CBD956A3668E7F19FE3EBE2F]],[[AC7F195DF31FB9A3C23DF885B218B4CF0640D8FBB9AF56E4870BF67972513A1D8CDB49BF62AA39EDD7381AA5A398121D2E83E5833B5C06F8172A82324EE75A72,9343F926579FBAA36EACA5728F9E53FDAAF8F71B85AEA6948C88285BA5312B680707428C8DFC13A400F6291CF525CF3F1776F88B41737EC75750E9B9F211F10D],[396F20CC90CE1FC0BD0B3713FD73691BD19D26C5A9520603B450BFA619BC071629E325E8BD3B15432B65022C725029F5626302116CC808D0E999DE630FF5AC12,9F015D29DAF05D46838460280F17F8894A0766D927F77CF432052525524EDEBF6ED491A73E8F8385305F25852E9E014C0B5470EBCC920C8F23976C2A648D1E77]],[[7603442771BD5E5A3E6271FC0F160274B38E729ED2C17BC860B7C054404CA666A6EE2B4EF2483B5A78993647FC389582C3FF1125DD0757D9077DD0FAEEA2086E,3596C5615984120A8204ED79567E2DC44EAAD199015973294FA46E5174A95E24A3EEDF028A0F65BF448BD2265B6BFC0AB99EAA88EE9828F3159973B6783841D8],[017F2C85D8E1A578035E0C8E72B7F4C7E2EAAD833372CCA5DD15BD1F7B7D0BC7D57204302035D07803538759A555E8105736F9EDA77DE5E1B0B50FC4D5266484,02D16CCA2D30284A3DDD6F9331AFDF7A21679FA00AAFE2AE5282F82DEBA093EF53C60ABA40807750AF23694D358306F18744A8B9CC6890597C8A6B6F5F774452]]]",
"FP12conj" : "[[[735CCE2A97A505AE1304FE7019070BD8022356D8B1695B3D755A2D5ACF49C18AD77A70A131D14B3E77C2E2AC9883B4AAFA0C79192AF9AFB48FDAF2B9DFC5E5C6,1831ABA2BE44054B18568BB50366E21F54A65A9FCC4733A11B447817D5C4E38D154578F2F3060472DA0A5FFE8A0B87B1A7FF721ADCE6E72C13D183D3C3AC6862],[7C0B7FF2E88DE500A9F42CACB7E4D296ED5321A86B57FDABB995B8B6E1332B338FC1CB861E97DA56107AB0AFDF7801CD2A759E6EFA92A5AB67CD4756CC61F0AD,6882B324F861B09F47680DCE64517A057766D7942A261D89235564B29C79D4610E9083108AEA94A6F990EE868D9596C7437A06BBCE8EF8115CBD218799314748]],[[5B5DB99409263259BCC97DB71B45775BFBF2682F83EB70E522E86BFB14A16D0C52B9617E5731EF125A99CA445F2D3D7319A785B2E6E0FC8F9D5E6B996A52F2CA,AE1348939AC81D98FFDBF26EDC2628DC455DBD87395B167C477C87ED005E7A78BEE16D063DC4622B615A6AB839FB1C23015D29F86CDDED0A8EF3F4817CA85CF2],[078995EDD12A9435483CD131ABFFF406846368E0F234E65B0379C807CA9E1112301626A23648ABCBB4BDF12AECCB03285F0E04AD6DD88B8067E2EDE7BDAE2E20,17D1E45C7414EFE9EA26CB24E4187B8BF923EF525ED9941ECEAA9F2C25E94D09A1063F5F1215E8FF5ABCB8352E06C1158298EC00FF69D4EE933D25EE6A174B58]],[[812EEA86B4AACC8CCD52A8AD83F04894B5CC8D35FA0BCFCB6D80625B1BC3DDA8E7051998A09220EBBF431EC8050D25516BDEB623FBB69B1F730A42CD1BDAF3CC,5CD090D3BD98D6D90595D3C7F1BE17B58F2FF4D5145BF9BC64A19CA8550D48F8C684ECB2A1B1C3E2C4BF9E55DA3A9F3163C39733E10154C493EFE25FE6000DBE],[50F111F9D926075170924B0C5D2FBC8AC229B0F2820DF63C6495E35C899D316870D128B82F5670FB47F5F7D4809E1368B740B2F7962A6300FF5974B0786834D9,0210868462F016518C1D6C7A14EAD52AD2CA014961D04A06D15304C1C681D2ECF06BB955F1C76ACE66EB2CFA57599542177D80258A1DC1627EB54FC945BF4F0C]]]",
"FP12usquare" : "[[[776584BA78AF720A8740EA163870FED527ACEE75C06E98B5493961CAB897FB8F01D190C32AA1A20A3226B7F3FDB781F2AB8299DED68F0301D51B6C4B74AE1DA3,3F8023C8F3BA8CA221A7F84208F1D4FAA518FC6464A69DA7FE2B29842ECAC7F3E14B2D6B7D78D3A488AA6B12C7865F8556BB346AEB4D807B131E0B9F23E100F3],[9627C022B5D290E75961FC9056BE3AACDC990DA31A55A9FA13B74BE44D42A62AE0EFAD530370C9FB47DAB36E7814FB1BE50946F618EC64EC542443B93F476AFC,7A6ED274CBB07C69E28788433F578DFFEAE2913D55D9D691C597145A6DB6E76537F955028DDD08212B73A2D6682A941C435A0EE9AEB5222CFDAA153F923088B8]],[[E9A1F5019039D4726B609F930A2A82A2B06DB1109822BBBF574C7E08F465EFEB7C090AFD09038CD4D21E0E90021EE85AFCB541AD6E4F2D019E7FAECAD011B376,41E47B5241383F8FE98B1A794510C7B96F6CED061A0A2298248C6461D447B58C1CFCB7B357A54399E4E66CDC09F4F43D19EB79BD82F1F104B849E5BDC0FD5295],[C0F3B8EDD4FC35327B0BD9A54C560CAA19E98081283D61ECAD1912FE5104CCF3638183A1C6D5FD7E7877ED74F4C1101E1E3EE4780463C57E338F3AEACB9361DC,67CD1AE0EA5E974BF109B9F8992CD1F4732836966DF857B20AEF6DAA971E10A9E9DE15247DAA0F08574AB5486260B22186963C6AFD8327F438A7B722E7312D81]],[[B0DA7EC6B551B2DADA1F594501DE7F22BB3D41614C336DC57C6208DFF8C51F85DB44A7BEBC41C28816C639153C084326CEDB9BDA14AB0F0401D84C2E58BE0B69,A6D1887A16661091776D996444049EF097BE64CAC676E096A4A811F166232FC2F7FC8FC72FEE83240704E62993340CD1CE92EF7CE76DC4983B1C6CA12E637F06],[0AB8D09522D217D234A9EA352B2874ED3C751C9FDC6A029EB17B1761FC41875929369004FE972BF9660CC9B7B42407C87B56D4FBD031E689AC6FFDF391BC671D,7E65B07B874D4A52D6E70D4B2D5C475861364623F4C3C50DD3F961E02BCB7EE29697586988372FA29D9F05E3A7D4086826C27DEC85AD1EA84FFE8DF5A5566A81]]]",
"FP12square" : "[[[776584BA78AF720A8740EA163870FED527ACEE75C06E98B5493961CAB897FB8F01D190C32AA1A20A3226B7F3FDB781F2AB8299DED68F0301D51B6C4B74AE1DA3,3F8023C8F3BA8CA221A7F84208F1D4FAA518FC6464A69DA7FE2B29842ECAC7F3E14B2D6B7D78D3A488AA6B12C7865F8556BB346AEB4D807B131E0B9F23E100F3],[9627C022B5D290E75961FC9056BE3AACDC990DA31A55A9FA13B74BE44D42A62AE0EFAD530370C9FB47DAB36E7814FB1BE50946F618EC64EC542443B93F476AFC,7A6ED274CBB07C69E28788433F578DFFEAE2913D55D9D691C597145A6DB6E76537F955028DDD08212B73A2D6682A941C435A0EE9AEB5222CFDAA153F923088B8]],[[E9A1F5019039D4726B609F930A2A82A2B06DB1109822BBBF574C7E08F465EFEB7C090AFD09038CD4D21E0E90021EE85AFCB541AD6E4F2D019E7FAECAD011B376,41E47B5241383F8FE98B1A794510C7B96F6CED061A0A2298248C6461D447B58C1CFCB7B357A54399E4E66CDC09F4F43D19EB79BD82F1F104B849E5BDC0FD5295],[C0F3B8EDD4FC35327B0BD9A54C560CAA19E98081283D61ECAD1912FE5104CCF3638183A1C6D5FD7E7877ED74F4C1101E1E3EE4780463C57E338F3AEACB9361DC,67CD1AE0EA5E974BF109B9F8992CD1F4732836966DF857B20AEF6DAA971E10A9E9DE15247DAA0F08574AB5486260B22186963C6AFD8327F438A7B722E7312D81]],[[B0DA7EC6B551B2DADA1F594501DE7F22BB3D41614C336DC57C6208DFF8C51F85DB44A7BEBC41C28816C639153C084326CEDB9BDA14AB0F0401D84C2E58BE0B69,A6D1887A16661091776D996444049EF097BE64CAC676E096A4A811F166232FC2F7FC8FC72FEE83240704E62993340CD1CE92EF7CE76DC4983B1C6CA12E637F06],[0AB8D09522D217D234A9EA352B2874ED3C751C9FDC6A029EB17B1761FC41875929369004FE972BF9660CC9B7B42407C87B56D4FBD031E689AC6FFDF391BC671D,7E65B07B874D4A52D6E70D4B2D5C475861364623F4C3C50DD3F961E02BCB7EE29697586988372FA29D9F05E3A7D4086826C27DEC85AD1EA84FFE8DF5A5566A81]]]",
"BIGsc1" : "E7A6EB3AD6148025276BBE286259F5B16C71423285475943BA90546BEBF1232198DEA3F4B7AEE4400B30B9369D573BC2304F922DD91BD07A41104EA3DBFF129F",
"BIGsc2" : "DB3CA8FD8648F3718BD6AB1BFB1AE39C11244536EC6E3248688B2E5F817420E2C104B4FB658EAEED3393ACF8B618A7896E6428A7B30816CA6CF4A926441F0BFE",
"BIGsc3" : "447AC653FE25C0E566A26D50CF4D16063269AA3CE891A9E0C1C2F77BE76C3C3DBC1265F7DF1D1123E632B21250F833FA6C93B378460B168CC12D49F3178985F8",
"BIGsc4" : "91CFA3D082ACA60B29A04F00FDA191BBE07436F2B381860DA9CF9B399F02A72C7A249148183084A1A0BABF0E14BB4574F1F79C90D7180D75E37251EB66415F94",
"BIGscs" : "6E117EC083393571E32A093DCB75888364ACFFF073A734B6147ACE191425C1C8",
"BIGsco" : "FFFFFFFFFFFFFFFFFFFFFFFFFFF9EC7F01C60BA1D8CB5307C0BBE3C111B0EF445146CF1EACBE98B8E48C65DEAB2679A34A10313E04F9A2B406A64A5F519A09ED",
"FP12pow" : "[[[77B0210AEFA37E6C6249174A9FA03E12AC52442CE7251873149607373E36A339DCD3BD5D495CAD6C389341D6E1EA15B8329EFF887ECFF016E2A9D60C4D9B4B22,2745C4D7DC377766D2FD96E603ACFDAADEE3CD1480446B477B7268A7D87E00DC1942D56108E8BE91FA05681EB247EACD9DBC6A3B8CA3D9FDF5FCCF73D59B2F98],[044AB3655E175EBA3F1E60AA39949A61F5FF3C268179FE20A684BF720D10BB71E39BB6F433A83AFDA1C7E927B02C03316C85994BA11822D3EE00C6307BCC93A8,A2DF23716BFF7C5352AD89C8F2931705436EEB0C0DA4961B0B91BD951EF39E9CB063ED1A276D3BEEFD8E88BDB717FC77EF5A12268259865A0AD4C3E4771ED251]],[[55E32E06922F37CCE4DA0C8CC00A5CB7522C56002454EEF00A3EC6DAF2450310DE5EC73E501CD021F09EF3BEE4E4E4410B58327F282B95D6867DC787F51F176D,ED18997E4A6BB954D4981783382163F2B40E542370D8D461E00D42FF0C60F7B45F22CFD128170C80CE65C033E8AB06D79F23359D7144373E769841C592739F06],[800F22433EA6C6A93049937B3681148A7DE8DCB57A1FD411C67468BBA79957548CC5BBD2167A8046005D5F61F3F632E2D20E0DD673F769858756963F65D54E99,8072AB08F6731136EB942729980CAAA394307FEB3719692E8C55343DFB8943A727CE616932627D2679C5F16BD32A6A55F603357EE2A4E15ECA5BA2C5B5FE3FF4]],[[DC6E90CEB808E5C422442BF1E0AC706F9E6B3FE2E4C92243CAFAA0384703A5FD9DE6330EC077BD0416DF5D1856E74EF609748B5E56B3F62181C0DF345450D86E,E758A2FA74353E6E1AF7C5B62FA6C59230D425A5E57E83AD43ED40F96A5FD1DF5D78AA328BEFB9C7E047DAA1247E7E3C861BB5E6C1ECACF33205476BEB938016],[7AF8342EB2AA97253CCFC9B4219DBF7B57F8C7960EB55BFAE17DB63883C098D02B497E8E161440567CFFB5E2568269CE7766472BCBF8C6063C496315E1A497C4,0FD3F0D81A65F4167DBF31485B02079AD21EDEF9D27079477C4A2151E660D3A74C809E7B0172C57F5A6F6199752DB2364795210891678AEBAD26FBC8B7184A8F]]]",
"FP12pinpow" : "[[[776584BA78AF720A8740EA163870FED527ACEE75C06E98B5493961CAB897FB8F01D190C32AA1A20A3226B7F3FDB781F2AB8299DED68F0301D51B6C4B74AE1DA3,3F8023C8F3BA8CA221A7F84208F1D4FAA518FC6464A69DA7FE2B29842ECAC7F3E14B2D6B7D78D3A488AA6B12C7865F8556BB346AEB4D807B131E0B9F23E100F3],[9627C022B5D290E75961FC9056BE3AACDC990DA31A55A9FA13B74BE44D42A62AE0EFAD530370C9FB47DAB36E7814FB1BE50946F618EC64EC542443B93F476AFC,7A6ED274CBB07C69E28788433F578DFFEAE2913D55D9D691C597145A6DB6E76537F955028DDD08212B73A2D6682A941C435A0EE9AEB5222CFDAA153F923088B8]],[[E9A1F5019039D4726B609F930A2A82A2B06DB1109822BBBF574C7E08F465EFEB7C090AFD09038CD4D21E0E90021EE85AFCB541AD6E4F2D019E7FAECAD011B376,41E47B5241383F8FE98B1A794510C7B96F6CED061A0A2298248C6461D447B58C1CFCB7B357A54399E4E66CDC09F4F43D19EB79BD82F1F104B849E5BDC0FD5295],[C0F3B8EDD4FC35327B0BD9A54C560CAA19E98081283D61ECAD1912FE5104CCF3638183A1C6D5FD7E7877ED74F4C1101E1E3EE4780463C57E338F3AEACB9361DC,67CD1AE0EA5E974BF109B9F8992CD1F4732836966DF857B20AEF6DAA971E10A9E9DE15247DAA0F08574AB5486260B22186963C6AFD8327F438A7B722E7312D81]],[[B0DA7EC6B551B2DADA1F594501DE7F22BB3D41614C336DC57C6208DFF8C51F85DB44A7BEBC41C28816C639153C084326CEDB9BDA14AB0F0401D84C2E58BE0B69,A6D1887A16661091776D996444049EF097BE64CAC676E096A4A811F166232FC2F7FC8FC72FEE83240704E62993340CD1CE92EF7CE76DC4983B1C6CA12E637F06],[0AB8D09522D217D234A9EA352B2874ED3C751C9FDC6A029EB17B1761FC41875929369004FE972BF9660CC9B7B42407C87B56D4FBD031E689AC6FFDF391BC671D,7E65B07B874D4A52D6E70D4B2D5C475861364623F4C3C50DD3F961E02BCB7EE29697586988372FA29D9F05E3A7D4086826C27DEC85AD1EA84FFE8DF5A5566A81]]]",
"FP12compows" : "[[EF933DD7C1743CA97BED5B51472C96B32CFA48BDF8A42D3CB30F0486C4D38B86996F1DE2034EF34EED51F09EC7862940CB929A5AFA5688EFEAAE30D64F4A8482,107F9359B9E9B76AA676D94C6500AEA6AE57AE84FFE64854DAB5E40F6E7808F39A4EC059066C6487AFD899CC9D1A976441365D804294DC5B4452A9A484DFFBBE],[169EA720DFE46BDA2FC7558A2945FBE5106A861C5A8F32C52690822F841604C2E0304F405415C6860665F4093501A24F01C8F4F8A8BFA33AA36F57D24F0FDED4,88534929969C3E04201E709187D37EEF41F1A29B701D7AF72A3AAEEAFE341FA2B9122A72DBFED8083C1DB576487119ED53B192F9B6DFA4D310821A84751A6FD5]]",
"FP12compow" : "[[2C30E1681AB28F662B9B48D705CB57454BA3BE897E96DC27AEDD2150E252D51EE7660DC5D19815CDB028EF563CA956DBF71E121BA5908CE74611F2C99FAF43,46241B1CD9636600B1A6856398FF6FEC9B832169C935856829379C0AEA47CD1807EF742E1FE4F2D050F71EEAB363254E91FAC09BE84468B753DD23EB3CC1E4EB],[DE05F73D73438798433229058330464E5CD5525EEAA97D339246C64C9B3F8192CA4755C1479B1C9B358387200A7BCFF2DBE93CA2149CB13DD54E45F84E4BFC57,8CC21ACA1EF77B243925E4CD27DDD8472ADCA4C1B88745C8EAE4A09BCEB8A01ACEC91632781CFBC23594FCE0F0AEB6891F1D0C2A76F16B13F5F234CB18F502E8]]",
"FP12pow4" : "[[[3CE204F95726BA7ADEC8397CC29DF65801354EF245D13742F5E10712518EE62C18926A1BDCA86857551A0D983491AC76258EC9E571F1A845080C2429798C4B20,44A87619445FDA1C99E43C7602534C49B44B9BFBBAA3DE4BC6834A1FBEE9D30F403F56E8A5895EC64065364783522FF1915A9E3A2E4D542EAF08AEFC05EDD002],[46AA89072B30E8A86A31121015E0BC4F8C705658B015CDF18EB0575116FB64C7B299396CB47B3E8AA7D129CC9AB7A1AFCDB16D9FA51AB9DE88B9020AC8702DFC,708EC240D461CF57364926BAE0D2B10ADDED0EF5151DD5B9288E397F7CAD8A0D40828AD5AC4D4663B46BD09172C7A15C8640AFE7F036CD5069B2281C6ADF7C86]],[[91AD652105FD6A4D28213D31A29B474CAE31C6CBD270817579F3977FC0AEEE707D452193840F67C5EA54263B799C863F86F72FD215738D57A5CA94182795599A,0BF39EFCC4457E71BD6E1151646F3D58D5F2DDB04961AF92B25EF910667113DE7DA49ABA7B8FA32CD1C2C60860D1D47E79388C762851510CD1485ACD149F9AAB],[3F009A20A57FD1235032324C14B5EA5479364E68B8C46EFFEC2904A931678A3F160A431F1B77B7E11C40E1F88EEE91454FB932B34F35D1C1BEBFAF942A2EE601,34C579F244213E15A140B0BFA9AC460B6FD75C10C6C4589DF5CACBBE0C08669ED2A6ADAD9D231BD65359F127103A356431F26C91A1929E5717C883142033A384]],[[C84FC627AC20A7B1694E6C4902D1219793B9071143D85EEFE1F0961B68520D1B7C65751723F2DD4E3177441AA8E2CA0A0586AD06CBF839CF2CEDFC1931908563,8523A0F6CA8BC15925B560DD5C6AF67FBB5EE64DF7FA3C2428DC690960C50C8707911FDC65A41A430CBEB6363E083D1B3602914C4A7E2406D0402CDE05D25AB5],[E3ECAA20DE9588C3B877E0A3350F4E4197DCD5FB2C1C69080B6719ACAC8961AB32D7FF4F7AFEF1E23330F89DA3FFD78004581C917B8FF7C6D9A3F0EB69F97D16,E1F49135C2F3039AEBDAC954E5583C30F28C902C33B11E22F810B89779BF0E1975FD19C2C7B33BCAFA99FECF28957E06644D8655D5EFC80C50029DB220CCA4AB]]]",
"FP4trace" : "[[5A166A7FC6EF110A390EFB504B1B370904A3F8E83B70BEB09F52A44F5C2C555B352882C4E8B5490282BC42271E67AE1F5CBB157D21A0AAB5FAA5B0247CA3C21F,489502E83ACC0FE14903A31F0A34A65DFDF30FDF64D59AE351CD6847814EAAA73FD06AD8D9120D588E1F1FFB9E229714F7FE565096B4B5843B748B7B4B053926],[8BDD8027465650FE022379F9D84561393B92B24A6F8EAD0C54B69D5D7FC85CEFF3483BAAFDB5A26F97A8B9ADB7DEDA5BA373D04FCEE0D7CD326E7A0DE0360C5F,C677E69116DAEE2229C7D694D2FF6AED9D57908733244D741777996A4DF4616776DC150BB8BD737CDC660029AD861B6D5866976952EBE09B539EEB7B79C8088E]]"
},
{
"FP121" : "[[[1A2541C8A522082C83D0DF0864082D6E4DCF5E3955B328A2DBA91A6F11EDB67D2FA505EDC242FC12783886D8AB15E3099E485177DE18D3FEE38A31F5B07A6632,7181E00E9DD8FBEC71B80F5C211D3F3BCC0F1DC86EF9BA5266B31E9FDC32E3CEC4C956D694C69F405B377F87BE5AF5FDA112E3954AD3564434FAD852648E4D5F],[24164787C20022189324145854C5FF119FFB9CAD2294414CA194B0C584DEB1F2D128A1D3AAB44DF2E0384A91FEBAFB2E31D67140BD6F1B4CDA8A735A82D075D5,F71944AEA29BFF80CBFDDD434E1F6A21136FE4D774A83CB4C130DD1CB34928C5665DE38669AA4F4D94D3FBDA73343971599A6AC550E19E49D84BBAB282075300]],[[F44A15A9182EC62EC9F30E5A06240303E2C4F5D7A3D55D845EE5D5BD63CA356347304BC9473552341DC52D2C359B76CDACDDEA6C673A03EA9351A0FB52A7D45B,DA3918AAAB7F8D52BE6F346B3BB1B04155B74AD814FFA041BA3159532BC474A0655AEDAFEAC5B2FF12122AD84D10359F22E2793778DE5EB4D590BB942D6C1BF3],[CAF413881DFCB9E2F02E2C9B0B8CA8F302000F9E1494C696329A2A1DBF1D59B9D5FBCBCB73B8075D66A69166CCB2D72D66E51B6F530679B3792F7ED0748F5653,5073F945638BE5778B2EA57373A0D35FC45C8921F18F685F0F230B5DD9F4DCE1C737CA7FFB3A7023D0D0D15AB40C3725EB15D76D3B6120A59EB7AE0F2C490BED]],[[E5F3CA82D919090D1553154C905E381ED26CBECC8FEB273CC449D0A0FEA82E70E885B53A5F175589A8EF980C4A07EB0A82B759FF9D39C68D7A8F6CAB03BD0CBF,7C2863A7CB4644CB4456220F57595A690F0C090FC7FF64ABDCEDCC744929E58A10C5E2300DC42BB5A66D6F601C483ED07FD8A38E4B61A86C028783B72C2B142C],[F1AE84907BB1F3754C5E7BF6697FDCE34D882EEC19CA1CB9622F00605DBE94BDD731BC72968D81CD9551D57AA67CF8D70B70EC8A3E8BFA3B1ED0AD006D13D63B,3B00C2642BCB3F6514FB4F7CFBE72E3577AD2BCEB0EE994A7F4062AE9A65749C341F46201E4AEB3D83491C882D343D9BEC5CE587D7F3002ACA01F89A183ADED5]]]",
"FP122" : "[[[512E596212A526D72FEFA3ACA406B8BAE50326848031893758A82D2460DC053C53BBE6A41FC25A949A01C533427533638AB074B82DBA1EA258877DE45E983DA2,DF64D50A35B50CAF5A63E862E4B3F22FA0C72D7B5C59961E0EFF3A0E29AE11D56C17F6A7A334EA9F7B713ABA4E2A87278277CD33AA5F8C11E83A0CB7DBB6D44E],[F9EFB700C57871B9FE0F303654AE86C81ACFC1C0B55184087E4CCD941EDD6FE72F7352AB173318FA3790152DCD079DE199E5AF8B74C5F676EAC7173540B8DEF0,5AB819AC722858E7F691C1EF16975C1BFB06AAFCB2D5A0888790EB7602BB24E056DA607CD71C024277C8B896391FA058949B3E68923B12D36355A4FE800FF969]],[[A26C0FB792D8B36B299CDC8E3C0A1A2824D5C205E8516B6B1A8D1A2367A4D384F3DB52783D055ED9A2CA911A960D035DBCCEE58B62F0B4049C4A10B542ABBBD1,A6AFE9308DEF71C257B93244380BAC3576D84A51385EDD6123561DBD6A0028BA2587F343CE80B5E075EB6F6471D1A39F83DF6E88E11B6C8E8F171215B334AC2E],[9BD8E143A6145C7F7E2A7ABF3B0E50F7DDB3CFEE767B42FCBCC90FFAD221192437C155E0B4425F3CB2211B8AB0B8911AA7C7F46E5D2E8CFAF9485AE45BA65A10,B31D110979E06766FF614CBF8CC7C2B265BED1F761FD9F99AC511A2A307ADA6F613A1D499B373A577C8F779EC149EF7DA244C8820EF54588A189F88B914ED2D5]],[[9CAE5C7B6B613FD6AFBAA64BCB6768C356A56254104ACF61C61F524A58BF6BA5B004FA4FEBF07D783351C551F857F22CE65A8AAF9F61E2870587FF5F67A1C1E3,653547C9A82D080804F26CC76E2C9567044DACBF85BB54C85FFDA44155C4B4D82AA71C66A851939C0CEE137148D5150AF420FEF6D0A07F7ED4946C7E751FE7A6],[0C39E4FB1B000FE8482EC11DE061C4D11C239D701DF0AA8B41477BB530448E6D0C0D1FAAFBC3915A78761F11A0D98995F8E0A720502C7F91E24C7082B734AE23,C58A751CF8D796318EA30EBFEEDFB5A73E8259E4DD82A9A190B72C1F0AD500CDC78F147680FDA4F79DC63232DFAB4565680FC406509B8F55C391B3A972692923]]]",
"FP123" : "[[[5CBBAC0C6BCE55A15B81E6095BFD29C0CB1ADE0C4950C3037692A9050C137A910C606272B78888FA452946238AE324104C7EDE6EDE848124A6F47B029BA98BC2,E5375B358AC529C1B121903CAF20558EE2EA4CFE3861CCF2E84030C4E762F292EB467806914637CBBDB59BBAEC73309464B4C8EF66955EC06017BD9180C6997D],[D0AFE1492E6F1EE5E68A7F17554B586D8DFBE2F647869DEA7B8290EC30958B51F3F01C136CE60B0446549D2268002C91CD37E091BF61DF06CCB90AC7825B1958,2EB35B1842354238EBC77328972F3A59016FD90EADC34ED166E44D34A674FDDE8F84A9756331143B55A79FF86B971E88603A7E6FE69D62A8D3893D4BF601E6E3]],[[B46EF3B805634E27E93E719C89B2B7EEDD184468FA6B8EDCD6B9E49D6E1763694876F206418BE57EA994BA3BFB9E10F8D0E9F76560A8F1A5D718937BA86CFF0B,AFB6B4E337C48199019BB145EC10DDDA6B962D566523A2B7897686F27F1FE591F27610F757ED77BFEBC7C0EBD4CED0DF70DD10133AD0E80B423E4D7E24D44EE2],[722BF6CF2FE3A403C2C988944FAB2D10B0BFB449CA70F9717D1B9DA2AC1398ACBDCFA952D2EFDE3925CA77B6BDF578B77A9DF4C88661ABB90047CCB41982D579,41539096935FA9059A298B98014CC3D33C09509F8621CADE28FEC999CB5F2C9EB6B4C984E577F9ED546A0F9F825FF913F2AE125841B048CBF7DEE25D9165B1B9]],[[011F26F967B74F73E39C9EE9504B6D7DD7A04A9C38C4E29014A1487C0700B1B91C52E0FE243CE5121BF3A5FA89AFE83ED4C2DFB3F3D263B8329805F178FB6C2D,94E596B79C929350E9FFA5E9059CA7EA59CD7753FD3061F1329361FA10C5FADF74915325E113A2AAC8729D04D74D83DDF208AC94419A049D851A926C04AE8163],[030F472835D7E93014D875896A3978A04C00962A9ABD1685BD3A79992033B237B26AC443EF856A26A9EBD0DAA25313AF5F9722013FF031232DC5A2ABC06D67AD,E87A9F2C0C97C4BE0ADD360122CC594D20B8E3DB06A5B2D2323A3672DB6C8556A694FA8ADD916BAD23EBC3C73491D550F326E4C0D7775252913F879B65128B31]]]",
"FP124" : "[[[DB4432F6914444EA95DCBCD81B2BCCD1D3570201C73B285F6CC9DE7FE6B640568E40D37B32B19D36B2975EFD3CE7BB14885E4CD159671A5F803E16DD307580BA,FE9390D3AF34A778EF37B0EBB73B0A50C545CC0FE073043C87A26FD6C53F2D701E10EB3F34A3663D2B455742E484A018F9354C856ABEB9CC43293602CB6F5127],[19829C88DDE5A45C1742BEA498327DE29C25B43B703982434260E48B7ACF34AD859D429EE960B0858271323722E3F441ACB69BB738FB896001D33596E023C907,FFA51620E65529DC2C512150C5B82875BF4CE9B91E43E48CA604CBD858041F369203220883E9E1B5AE98B81B9D21F3B60BA4CDF9C8554DD2E0A36C8E8C95A23B]],[[DF61AE98B6C6A24CB65C35097A3038377A1F6C9A17491D6CDDC7A33CE922700B22FE1ACC3B6A80F9217D88A2D22D66B488EF267896AED10CE28040EBE557438F,750E7DEDA8977C2C8325088A4FABAC39E2ED821674E3C57682EAD82DDBD8705BEA68AD9BFD8ED0A09F189A1B15A3AD829ADEE36DCBE5C23C9CB2247F3D58F4C1],[A0E7CAB2458E6FFEAA8C15905B8D77FA44C65D599430FD8D540CE6F1F4AF36F9701E98E91C809D4F81AF69911C7EB5069669515596A7E4A19D54E3CFA8FF3672,529EA4A1379EDEE999124726EAC0FF169AD8B45609A14CE60C57F26F38984CF2E24BD8924798439087628D2BF8A33D6306E83934CB27B8FA20EAD6F1A8A23C2B]],[[574BEEFC7B939067140E87D589FEF371384CE11973F8F3DB612413B91C475262A91DF752F1D0B61003F18E3809A730C72980DC7C9FE9F249EE38AF983771CF37,40BDD72D7B125148C89EAC7CC0AC34885A7C1E8D410745D6D243B2F071794D9C0558B39AB9581BF567F5F08A32CE863F0614DEB5EDDB503ADD2C655BF05669C3],[DA3ED921584CD14D0F50A910F01B8709F3949098625C54118D662CA89E89E37AC088461ABE7EB8AD232C7AF2A82665F2C3835429AA6A4A390558A997116565A7,5E5109A2DC08CB59FFD95D2362B59500A1CF341E4FF8DB45D6C1C7432AD3F2BD7839E473CC1D5572688C9F42B9A1134D13545615CECB97D1871F2F8E2AE52954]]]",
"FP12c" : "[[[6D08699090FEC0C2BE06D389F28956785DE7ECEB173D3CA3D6A87DDCAA6F66C63C2A1158E1F45A241FD929EEB6BBD9BE443DB99282CABB1DFFB36438832694,9F696E6A73FD93D846D82ABB813E8693A1A719E7C0C2110A79C289DEF0FDF4BB4A64B2FCDB3ACB9F418F0FFA569945F905296FF79F3E21558AD57AE06F3897D5],[EF7904F50D6A55ABF7B9EE2D17696DF828EF48787E9770369C20D5BBFB196E68A987F9C6E6DAEBF01357E90824E1BA6649D48540FFFEC28A8FEEB7AB6839ED9C,3D134D2AC6298EBA6BAF375B1FA065B95513F1EF1DF9613944B809BCE2AD8C4481B5764906A38DD9606E2CC9EEA6C19EEE3D8C4AA6B5896D2FF383BF312A7BD9]],[[931A5EE8827741D9AE774FCFB956CBE5D3410BED84CDAB78AE8C1814ACA6FA7AC520ED05DA0B052078E79E10FB8F1A8726FD73690C9DFB5914753F4C1B8F9723,1FF6ABCA3D0F4A2806B25D722E0A0BE9ACA80FDCB6EF82EEA338BBC70F500431A1D857D3A7B0472026C2B00C115BED43172F5E0E62ED0B98554ECA95BB0BFFA7],[08EAFD0F8D3674D023EB0D341958BC2DEB05544B356013A4FCC2CB5E443CDB82FEE83D70EF9CB7E708F0166936C86C09E740EC2695EDE0F0BE43CF924A7558D4,192C964DDB618AA323094854B5289718B617D1F14090459864A708CDECFED5D616D70BCF496D330ACB9EEE65215B08DB9A7F4E44FA2B67D260626670715389F2]],[[7F2CF196A775A25F90B0FFF49774CA9FF2CCE48AB3603B6BC55D4E32FD70A3699B645D0911E21753158F0B9A0D6C44DE558282588564F6F46C268E599C5282DF,F7C0E4DB6D2F2B6F46D23F1E636C8ADF62DE08AF5F25FB3AC0206AF55DB1C7B8AC2C4ED9368BB7E5B3D7322FAC0F683A854FA33388CE945B6B0ACCF82BAD4535],[5EDBE05AB2A5A58AEA7453C9032EF101C814DDB78E1DCCAFEF7FC2A0A37DD145D004D5893DECC6C8BC537F47D2484FA71900C321D795F90662B9CAAD2E80C489,8EEB16C595DDA8E47B95FBC6F56ADE1116EFF2BFD55A075B63B19C61FEC4ED6CB314E8D28C8634AFE08688AC800A5D8E22EE80BD2429278651C0F1373976FEC6]]]",
"FP12smulymtype" : "[[[512E596212A526D72FEFA3ACA406B8BAE50326848031893758A82D2460DC053C53BBE6A41FC25A949A01C533427533638AB074B82DBA1EA258877DE45E983DA2,DF64D50A35B50CAF5A63E862E4B3F22FA0C72D7B5C59961E0EFF3A0E29AE11D56C17F6A7A334EA9F7B713ABA4E2A87278277CD33AA5F8C11E83A0CB7DBB6D44E],[F9EFB700C57871B9FE0F303654AE86C81ACFC1C0B55184087E4CCD941EDD6FE72F7352AB173318FA3790152DCD079DE199E5AF8B74C5F676EAC7173540B8DEF0,5AB819AC722858E7F691C1EF16975C1BFB06AAFCB2D5A0888790EB7602BB24E056DA607CD71C024277C8B896391FA058949B3E68923B12D36355A4FE800FF969]],[[00,00],[00,00]],[[00,00],[0C39E4FB1B000FE8482EC11DE061C4D11C239D701DF0AA8B41477BB530448E6D0C0D1FAAFBC3915A78761F11A0D98995F8E0A720502C7F91E24C7082B734AE23,C58A751CF8D796318EA30EBFEEDFB5A73E8259E4DD82A9A190B72C1F0AD500CDC78F147680FDA4F79DC63232DFAB4565680FC406509B8F55C391B3A972692923]]]",
"FP12smulydtype" : "[[[512E596212A526D72FEFA3ACA406B8BAE50326848031893758A82D2460DC053C53BBE6A41FC25A949A01C533427533638AB074B82DBA1EA258877DE45E983DA2,DF64D50A35B50CAF5A63E862E4B3F22FA0C72D7B5C59961E0EFF3A0E29AE11D56C17F6A7A334EA9F7B713ABA4E2A87278277CD33AA5F8C11E83A0CB7DBB6D44E],[F9EFB700C57871B9FE0F303654AE86C81ACFC1C0B55184087E4CCD941EDD6FE72F7352AB173318FA3790152DCD079DE199E5AF8B74C5F676EAC7173540B8DEF0,5AB819AC722858E7F691C1EF16975C1BFB06AAFCB2D5A0888790EB7602BB24E056DA607CD71C024277C8B896391FA058949B3E68923B12D36355A4FE800FF969]],[[A26C0FB792D8B36B299CDC8E3C0A1A2824D5C205E8516B6B1A8D1A2367A4D384F3DB52783D055ED9A2CA911A960D035DBCCEE58B62F0B4049C4A10B542ABBBD1,A6AFE9308DEF71C257B93244380BAC3576D84A51385EDD6123561DBD6A0028BA2587F343CE80B5E075EB6F6471D1A39F83DF6E88E11B6C8E8F171215B334AC2E],[00,00]],[[00,00],[00,00]]]",
"FP12smulmtype" : "[[[F35CE849560AF3C55D58A4E312B2A6B64E4D0CE7E403C74F5E7069DA1BFB9CA3E7153A0ED02004A61EA6B6B21BD5D90324894B8068E303365542BCF2CBBC27D9,145B1E1EDA08838995FE42A3D83264F6878EA23CEDBE3C156D379A438FB1881B04943A2B3D0C4823E2A9BD19B04195FD6F419C74740DBBB40AE3ACA9F9EA7913],[5B2196A13F1C82A30C797ED9CD91134401CBA519260C47CBCAC8034766CA9A6911AC5371D464E9CF9F178E65704039E16B89619A739466E9A9F73483084181AF,4A0108D46508FE282BB14DCEBC776EA29EBBA74EB092CDDE46F1C6241C18B8FAB6CD0C0E1BC72C0FD4864FC3F7A35DFBE8662DD8D3C495195B5A98494285D468]],[[E233E2E39C3D6712645C089309694F7991B31A9E220806B5C769AFCA341A39574FE85635678EC4BE03D3242046B157E8AEF40ED23512A333836A4874F7F98882,2D1E3234E9D91140F64AB30C1AB40053405C1E2C9D6EE27ABDAC12D69EB31108617AD63F88602DA739395AD2A629F3AFB40DA3B57C8046CEB70F64FB40E15100],[DBEB55B1B0D5C40C3444DFED5E16DE65EE8200F4DD0F782B356D216591CEB0B64F5CAECBAF5590E1FEB39CDDD3357BF179888DB2A70430120BB01B8CDCC9C7A1,EDD72317F93445188A8711BE531C20BE77761D54A6249B94EC910C9998324FAB1581A528F4633D88BFDA6317B5581AFB31AF38EA5694008162B3A09633FBAA6B]],[[3DFBE284845315400BCB639936A6127A471F09462C4039D5D0CBD4A215B67F9398FBB40E52DAAAF7CA0AF6DE29A84B62531854AC182CFA30972E5D2BB70C1420,FEDDD69CB39A566E8BCA77694E8371938A1EE7B1A3A691451BFD12BFD786502D71F8248AB8A27287C6ADB4DAA4DC0890C25283705E7F21599E0957E1A530F19E],[BB8934896C43A626916AE488D17A5BDC30DE7DE4C54C9F29248498CE607243136BAFE8E1AFD4EF09353F2A3493575B9B9F72F1F7A3CB8FDE3491C0C7C15B7136,ECAD40596BACC037729240769EB098CABED44419D3865EBE8C4FD8B326644EB2C3F43482606B6314F699B7A0D1E0F7B5ABDFDFA603E56B4C280B86CA63374390]]]",
"FP12smuldtype" : "[[[C020180A97B0B17DCD18130F3C3BE284490958D2141D3C63A9D9A9447624129856366ADEB975D1307E7BA91C3F148FAFE3EF72349B7FD9D2194C05B55106DD56,2D5359B74A9EB45E468E7E62261A39CC743D7ABF76D493562124D5835451D823235BAAF2DFB8EC786AE8B460AC23C35A2B5F09CA5370A0EF9B3AA060FAF69E07],[48978C9FE87D3D1C3FADE89C85AFDEBA7C81C8D407EA91861407750493AA254D4779D40AA7F8E221ED36B1583C43DC9F7E387A1C1CF2CDA6C925D8508E115B,5C16FDB0728B6763CF9AEDA658ED1C8F90D38EF6AC96B7106FE818399C287AD15A9691152F9E163593817D4D42416D7A4B0E445100D9AB4CAC18314D3A24722D]],[[2A5C67A9B45009FF572DE9B096D6EA52AB7C894B287677D4D45D8CA69A1D8B0A7A52A18809313CB37659E8C241B9032616B8FBEC984052DCE554172C931BDE96,8752B637BB2F689D942D3081F01E8FC6EC4E588124B8C1A17CFBC4810FAFC9F49C4C7AF593563C69863A48C5D4AB7BF39BA9505C3D363E40E1B1EC304929C676],[0D8CEDA7AC36A1D3AA5E6C63CF03957789EB036EE250FA3E033AD2C475766A88099C3E32D7816927796453256A3D539F91A2215A4B87A10787935B43883FA581,F8396222A483128157AC697B04A9DA6EA933396E10A98C7FB3BA00E49BFE2F99AD8EFFA0AB09231C7CA28BD96959E0BF099AEC05D6C80F4A32388913874C80B8]],[[3963F861152440B1CC05DD68CDA55AF9B162F82320023C7B36193C269D796FBD854C8DDC0E025C9A37A0C5FE4B407C93422CFB8AD6AFC9D284467207417FB7B7,3EB6D3F57F1CEF137FCC74EE63632AF1581539D61FEE0923D05694556A87D5206FC5CA5AFFF639833E071477C4C2A9B52888AC10600A2D028F89D4A787978120],[EBA50C3E4925C811C18D9CE98F0845D20F85F1FB7AAB22DDE79C982D139C08616A2F4DB4C6C37E9D2BC0E7D7A8B4A268FD61BACEF463D3F72B75DBC7CA30853B,2C2A7B8F5A69C08E91E48407F083AD6D1AB46AD4A68468DD79D6CD19153358266D6D3DF03C506980B30951B9B8AC63F54DBFD9C22C70F6EF8BD0E4EC5469FD82]]]",
"FP12mul" : "[[[136EBEF0118A6EB3A33043962A7CF24AEADD4E35767A62E3FE3E55ECFAC69CD93E6544CCF23D2C45F32E062655D80B96F633144B0B33F685208F76D25505B6ED,01100A9374240C24A8CC487183A9EDEEF6FEFADC4FCADCE8DC0A3173740C9E09E987FA4C095DB0E273FF78451B2B1B1C2CAD29113C5A3BB980E51ACF32D467AA],[DA0EF02C9C0B7C6C29BBDBA097EA194CFE3023C57FE2C4CBEE9733684705A1C179EAE9D70EA4D2F295A98EC51A96720A45194429F784FB1A777020B613AD857E,C0C021F9D331D6333612E2AA745BFE0B956423F7EB98F9A812BE2AD6885787FF2BF7DBD8AFD2242A020C99A04F27E56E88175AF4D806A183B1B3A0E95C1345A5]],[[01EDC794FA4EAC3955564C980EEF77590A1790531EAD952C1274A5703D251B2DFE9AFC9D5E0685AED6273B0148DF9917AEDF7EE9E45AE5B792CA7808D5B3571C,315FF402BA28EB2509DF86213B016018DD1F71F531AFABB98935608C0CC40B4FAE850F74E5E6F676B42C188C73DE27F3AA1F72E416BD00488821F09380C19CDB],[67A4A1E50972A74F3A8CC06E46952E73FD920E5D19C40EFFC48123B1D2E71A0EAE21F74D85660BDC9956055FA98BE9ED3287C37ABA04B52039693B6739F4544F,294B056FD858CB3D955999FAED3896E0E932DFF7DE37BBA8056156C7E0025B4CE929979CF1AEFE1DD5E510F80F1EDD0834BFADBDFFD394E263FD428262C1A9DC]],[[4F5D19A01C8FB5562C8148B937BFA1A96D4EEFA7D94515182CC4C16F6E51466B9D7BB14D4B824D0708435466D3FBB2429A00F240B1B5548EED04F2CF76900762,827B9C05A42E58E8B71FDEE2F52851AAD949A92588E80F181A0EDCCB1AA3CC405011170977C9DDCA9247E774A530789696E2115C7DD02DAB321A70E7D29D0A28],[3F4B3F23B6C6C6ECCA4ABD1885E977C3A36C1A0AF7741472E2FE073E7C668868B9942E31B0FD6D4D1B59AAC58D266803267B8A2EE25FB539C00D7C1698CFD1FE,973B046B5499FF48FB16F18150F2B7136C2D805389E91F9A5C7EF36C2E72ECCD1EFE184C7FC59AE924755C18A6F42543DAF04DC0DA522AE11F9C90B1DC324CDA]]]",
"FP12inv" : "[[[1A2541C8A522082C83D0DF0864082D6E4DCF5E3955B328A2DBA91A6F11EDB67D2FA505EDC242FC12783886D8AB15E3099E485177DE18D3FEE38A31F5B07A6632,7181E00E9DD8FBEC71B80F5C211D3F3BCC0F1DC86EF9BA5266B31E9FDC32E3CEC4C956D694C69F405B377F87BE5AF5FDA112E3954AD3564434FAD852648E4D5F],[DBE9B8783DFFDDE76CDBEBA7AB33ED6D61CA6EF4B63711BB1F2732FB8CD23D52801E2D4B020A4AC604541B4CAC6874B35F93E48DA1DD491ADA60B4AE9FDD795E,08E6BB515D64007F340222BCB1DA825DEE5626CA64231652FF8B06A45E67C67FEAE8EB984314496B4FB86A0437EF367037CFEB090E6AC61DDC9F6D56A0A69C33]],[[0BB5EA56E7D139D1360CF1A5F9D5E97B1F0115CA34F5F58361D60E03ADE6B9E20A16835565894684C6C738B27587F913E48C6B61F812607D2199870DD0061AD8,25C6E755548072AD4190CB94C4483C3DAC0EC0C9C3CBB2C6068A8A6DE5EC7AA4EBEBE16EC1F8E5B9D27A3B065E133A426E87DC96E66E05B2DF5A6C74F541D340],[CAF413881DFCB9E2F02E2C9B0B8CA8F302000F9E1494C696329A2A1DBF1D59B9D5FBCBCB73B8075D66A69166CCB2D72D66E51B6F530679B3792F7ED0748F5653,5073F945638BE5778B2EA57373A0D35FC45C8921F18F685F0F230B5DD9F4DCE1C737CA7FFB3A7023D0D0D15AB40C3725EB15D76D3B6120A59EB7AE0F2C490BED]],[[E5F3CA82D919090D1553154C905E381ED26CBECC8FEB273CC449D0A0FEA82E70E885B53A5F175589A8EF980C4A07EB0A82B759FF9D39C68D7A8F6CAB03BD0CBF,7C2863A7CB4644CB4456220F57595A690F0C090FC7FF64ABDCEDCC744929E58A10C5E2300DC42BB5A66D6F601C483ED07FD8A38E4B61A86C028783B72C2B142C],[0E517B6F844E0C8AB3A18409967A0F9BB43DDCB5BF01364E5E8CE360B3F25A877A1512AC163116EB4F3A906404A6770A85F9694420C06A2C961A7B08B59A18F8,C4FF3D9BD434C09AEB04B0830412BE498A18DFD327DCB9BD417B8112774B7AA91D2788FE8E73AD7B614349567DEF3245A50D70468759643CEAE92F6F0A73105E]]]",
"FP12frob" : "[[[1A2541C8A522082C83D0DF0864082D6E4DCF5E3955B328A2DBA91A6F11EDB67D2FA505EDC242FC12783886D8AB15E3099E485177DE18D3FEE38A31F5B07A6632,8E7E1FF1622704138E47F0A3DEDCAD4335B6EDD969D198B55A08C521357E0B768C7D784817F7F9788954E656ECC879E3F057723914790E237FF04FB6BE1FA1D4],[58340C8EE8E85B995F209E8304B1E889A0209EAD88E202AA249EFA8EE87AF649CB030271D45120DDE133276837BE3663F34398A8385C251C015556C74A9EBF96,26D667D2FDEC80062AE3A669CE9F17AE0F32032264DD524196C53505520C28FF9F3C53BF9764DCA5805F0C274C3CADC920764E2086F0464DAE7BE895B839A947]],[[01352BFC513F8213D028FFFF10468893AC084D738922B53FCA4BB763DECA5263B45574B1E7BD36467FEFBC0843A2CB33F1C3A26EF23ED4AE81E25AE4C529650C,8ABAC32F95F01F4DCC4970057EA6403A224E735E3354299CAD72720D1116D50DF98E8C017CCD6E6250075E31604818AF480F1E7E4CA531837B97C9DDC08F752F],[36D4397C0D844C5EB06C9AA892DE406C74E03ED7540CD0B0D104B5EE07E65AF709C318355E0138251A2BA7D4DB50EED322602B9B165C178E97BD1C92104A9D23,62304F9D1EB83BACD48DDA415BFEFE35C118D93F47682E0851EF5488A960E58154D1153D96F6AF3F7C4AAF4C6C25612A5DC802E6F4169D426C34CAFD8E88A2F7]],[[803F3B31C27498FAC1D989434F6AAE2536F7A43535A990486C4DCFB701D95302DBE647DEE865B1E3868BE8990D624C02AFE5A68C875D4FE28EEF948DCFFBCCF2,F095884D17B62B6D4E5E306FD215316228C8143D4EF4463D1E45C81C91D1BE2910974B653C9F4668B5D5AFF6ED3D343DD14272E866D41DA3E53B5B85E5951647],[AD8275FC1C1AB09B786F281444331DA915CD3673A0D6D7E948A19338C6764C87E21FCD5695D94EC41E2646304C8F4C738436E250FA88F51BF00885ADAD0A95AA,C210D8C46D8524DAEB65A01FC2577BDA5A2F8960184106BFB4A9BB69961ACF4CAE9A4AB3669558CCA454D3EA9B62DC1CBDBEFC6A1AA860495763140ED23BF186]]]",
"FP12conj" : "[[[1A2541C8A522082C83D0DF0864082D6E4DCF5E3955B328A2DBA91A6F11EDB67D2FA505EDC242FC12783886D8AB15E3099E485177DE18D3FEE38A31F5B07A6632,7181E00E9DD8FBEC71B80F5C211D3F3BCC0F1DC86EF9BA5266B31E9FDC32E3CEC4C956D694C69F405B377F87BE5AF5FDA112E3954AD3564434FAD852648E4D5F],[DBE9B8783DFFDDE76CDBEBA7AB33ED6D61CA6EF4B63711BB1F2732FB8CD23D52801E2D4B020A4AC604541B4CAC6874B35F93E48DA1DD491ADA60B4AE9FDD795E,08E6BB515D64007F340222BCB1DA825DEE5626CA64231652FF8B06A45E67C67FEAE8EB984314496B4FB86A0437EF367037CFEB090E6AC61DDC9F6D56A0A69C33]],[[0BB5EA56E7D139D1360CF1A5F9D5E97B1F0115CA34F5F58361D60E03ADE6B9E20A16835565894684C6C738B27587F913E48C6B61F812607D2199870DD0061AD8,25C6E755548072AD4190CB94C4483C3DAC0EC0C9C3CBB2C6068A8A6DE5EC7AA4EBEBE16EC1F8E5B9D27A3B065E133A426E87DC96E66E05B2DF5A6C74F541D340],[CAF413881DFCB9E2F02E2C9B0B8CA8F302000F9E1494C696329A2A1DBF1D59B9D5FBCBCB73B8075D66A69166CCB2D72D66E51B6F530679B3792F7ED0748F5653,5073F945638BE5778B2EA57373A0D35FC45C8921F18F685F0F230B5DD9F4DCE1C737CA7FFB3A7023D0D0D15AB40C3725EB15D76D3B6120A59EB7AE0F2C490BED]],[[E5F3CA82D919090D1553154C905E381ED26CBECC8FEB273CC449D0A0FEA82E70E885B53A5F175589A8EF980C4A07EB0A82B759FF9D39C68D7A8F6CAB03BD0CBF,7C2863A7CB4644CB4456220F57595A690F0C090FC7FF64ABDCEDCC744929E58A10C5E2300DC42BB5A66D6F601C483ED07FD8A38E4B61A86C028783B72C2B142C],[0E517B6F844E0C8AB3A18409967A0F9BB43DDCB5BF01364E5E8CE360B3F25A877A1512AC163116EB4F3A906404A6770A85F9694420C06A2C961A7B08B59A18F8,C4FF3D9BD434C09AEB04B0830412BE498A18DFD327DCB9BD417B8112774B7AA91D2788FE8E73AD7B614349567DEF3245A50D70468759643CEAE92F6F0A73105E]]]",
"FP12usquare" : "[[[09FC149C1A7159A3480D4DBDD18DE84576A6673FEF0364419D3F69CF0D6857CE26F70470A67BF6D37EE73EFEB06143239E4FC1FB9498A45C4696521FD3A7433D,FD364F8C0083DFA0A5D41E30DA12D1AAFD16857705607A1A61444434FC12F0DC3548A82814A2A9132D7378168D9AF3FE563A1C35480BA77F52703717A0E56B74],[5197BC1DC2C6D6D9B7B3E1776C387FA2CFC5821F7292E3DFE84FE60A13A7EE43D341CEE076C12638930F24C3B1AEF979941E63688FA2E1328A25D2FC0FBE4B69,BEA862C2A95FDAD638A2B38CB94B5107AAFD7C478179CBEF2BEF041B598341AAEA47F968CDB65C32CCEDEE6C4970B8282B1DB806E353EBF138653757FD43F45C]],[[CEF72C3B898725DB71222E3A06F4A0D7836B1D37BB971C37D15D03F74B8E41F0E367D7583096B6F35B09E1DE9A13096F305B747E36A0ADB9365EDAB7060B824E,C8ED713F2B332A0C52F69A7EED1F1CA41BC8D1DFDDE65B1B871E1580FAD18D61F56DFBF2E49044F054A5D5CA7B342DE38A183E7CCB0515C0357D174254BAC5CE],[CE0B2DC5D29480C977C1BE3C081F0E6A1C0BEAED73E1B90EDDB23C749D1AB3FBD3856C536787CEE7DDE44ECB29A001DE436C8AC7060E4A56E328E0A4B8FA0825,0E284069B6D6B05A7356FDA54A196AB25C29DF017DBCFB9A0D0AAB298B70CC08DC4A6B4698E5AB1ABBEEC58D9BF756137815DA3B0FB04A0EC071538583A5F4AF]],[[3E5A07DC02C5FCB799A2E48252FDD7886471677F4FB2CDE6DC28F980E8849455AD0DB61E9528A5BE18E8E76E94A60D228617EDD62DF3356DCA03EC052A997072,16F300B6A164C3F19450759AC30047556D9E943742D631A82C2EF75016360BC4347A21F2F2FBFF864C388D0401FB33A1060AEA06F7D07092A5950BE4FF68DB4F],[EAA49EFBD0B38F8011AA7FD039DE1E007CF6E12F5B903362615FB249FCAA226BD4F6DDC32DDD6A0E037CE4D6E180F5B3A40E7AF8324B9B57A82E39A9B3FC38CF,16CFAB1C4B376E86CD8CB2C5F6986A43BFD922A6EA94DD6D936796A4FFDB6B0DD46C5F23FFF75FE4C2BEDBEFB7B4CA7575B73BEDE41582D92DD20B0C3332BAF4]]]",
"FP12square" : "[[[09FC149C1A7159A3480D4DBDD18DE84576A6673FEF0364419D3F69CF0D6857CE26F70470A67BF6D37EE73EFEB06143239E4FC1FB9498A45C4696521FD3A7433D,FD364F8C0083DFA0A5D41E30DA12D1AAFD16857705607A1A61444434FC12F0DC3548A82814A2A9132D7378168D9AF3FE563A1C35480BA77F52703717A0E56B74],[5197BC1DC2C6D6D9B7B3E1776C387FA2CFC5821F7292E3DFE84FE60A13A7EE43D341CEE076C12638930F24C3B1AEF979941E63688FA2E1328A25D2FC0FBE4B69,BEA862C2A95FDAD638A2B38CB94B5107AAFD7C478179CBEF2BEF041B598341AAEA47F968CDB65C32CCEDEE6C4970B8282B1DB806E353EBF138653757FD43F45C]],[[CEF72C3B898725DB71222E3A06F4A0D7836B1D37BB971C37D15D03F74B8E41F0E367D7583096B6F35B09E1DE9A13096F305B747E36A0ADB9365EDAB7060B824E,C8ED713F2B332A0C52F69A7EED1F1CA41BC8D1DFDDE65B1B871E1580FAD18D61F56DFBF2E49044F054A5D5CA7B342DE38A183E7CCB0515C0357D174254BAC5CE],[CE0B2DC5D29480C977C1BE3C081F0E6A1C0BEAED73E1B90EDDB23C749D1AB3FBD3856C536787CEE7DDE44ECB29A001DE436C8AC7060E4A56E328E0A4B8FA0825,0E284069B6D6B05A7356FDA54A196AB25C29DF017DBCFB9A0D0AAB298B70CC08DC4A6B4698E5AB1ABBEEC58D9BF756137815DA3B0FB04A0EC071538583A5F4AF]],[[3E5A07DC02C5FCB799A2E48252FDD7886471677F4FB2CDE6DC28F980E8849455AD0DB61E9528A5BE18E8E76E94A60D228617EDD62DF3356DCA03EC052A997072,16F300B6A164C3F19450759AC30047556D9E943742D631A82C2EF75016360BC4347A21F2F2FBFF864C388D0401FB33A1060AEA06F7D07092A5950BE4FF68DB4F],[EAA49EFBD0B38F8011AA7FD039DE1E007CF6E12F5B903362615FB249FCAA226BD4F6DDC32DDD6A0E037CE4D6E180F5B3A40E7AF8324B9B57A82E39A9B3FC38CF,16CFAB1C4B376E86CD8CB2C5F6986A43BFD922A6EA94DD6D936796A4FFDB6B0DD46C5F23FFF75FE4C2BEDBEFB7B4CA7575B73BEDE41582D92DD20B0C3332BAF4]]]",
"BIGsc1" : "191EA3962894B70B67629B277C69A62C4583146AA3EC015247991D8A3D14BC54A77A248C9A3A2D54858F2EEF06EDCED8E40369E58EC21C26A68D0CD5EECF5D74",
"BIGsc2" : "E185088D87E7FC1E7240900B4FE8C7E0DE749B2C3A73E2A9D1F05C868B384EBA14C0BE4D2E15A75F2823BEF99D7A46625D8A4F30AB591120EEC10319BC41CD6A",
"BIGsc3" : "86A3F382FC895F00A649D3A7DB36C6CC0B3B34DCCBB5465F52F646ACBF2FDF4435D801E20BD701DEDB8FEECD1E6B7B98AF60F2583658B079A1B438BA2F543991",
"BIGsc4" : "5314299EBD1CD3090A84900F7A5C1C2482918AF7BCDEF058697BF730FF6B5B48379557B20A1C45CB3AF1AE3D70B83565271AFA71E6AEE754F6BD030DBAB0294A",
"BIGscs" : "7955B3485CD2E1071628D289EACB3C914746E29B960EAC63F9AC3797648E54CC",
"BIGsco" : "FFFFFFFFFFFFFFFFFFFFFFFFFFF9EC7F01C60BA1D8CB5307C0BBE3C111B0EF445146CF1EACBE98B8E48C65DEAB2679A34A10313E04F9A2B406A64A5F519A09ED",
"FP12pow" : "[[[DD069B0461B530D02ABD08958742095B24CB6536ECA3336A6B8A5CA60A95E2AC17694D0FE6BC89E306130C13FC338C903DEF8BC565FB6E986AFDDE90576CB767,994FF75296B9BDC4B82C490EFD23FBC90076EC00622170D2C5A559B62354AD2ECB4B8F567B2E84B091D2CCBC805E71E440634D54D899C476F03F7831758E5C7A],[E0B60221D21B7852BECDA681741D0E7135D5BCC23A0EE0223259D15CDE789F5436DEB0AE167695ECD93BFDC93CD3426E1F6C1E79756BB321C26254B57D217AAF,7D4E070FD33A2E61FB137BCD689BF9BE2B24EBC30CA476803FE454492E610D010B8378744B08C03FBF2637330D253AA6A8DD41AED2C9E163A54F5BABF6623068]],[[2D1FB99497DCD4D13E029959000DCF9B48729F79419DF9A582F929511A536EDFFE5344FF75EB5AA62A1064A47EAE08A7E0B41E11276DECB121593ED3C0F6AB27,F7E9974596ABC2186940F2DAB8007159AE966C0F92BA38B170DB2A16FBADFE9B40E600FA2F3A91E227A1E33B6FF3C23D6EDDA87C378530157152C8E06109C1DB],[7B012B2E689FE15561BCCB9E880A928387E64DDDE7CFA0A736B152291E53F33FC348A6ECD05A2270F0798C8685DB0E60C0479A1E90EB05E29E3F5F5FE70E1D15,D9ED1B359FEBBBCA901914B8BEBED122E42D7B81CB377143856B8C618D6CF7920C66B3B4F676F647D5D5548AD47C3675FA373BF7107BA157384F1F02845E7D5F]],[[F7D266F1D1899AECAB066D341A1EF8DC9A3A86C4140B87C8DE630EFC79BD18AED7C303D83B03B4EF17E5ECCABE7C9D24B8CF91340B2DB9899F9E192CCD25420E,1B64F31D90CA99B3272CEF795E9AD7661B5A30894131BCCBD3AC2CD53E1ADBAB921A1E9DF80D21D0D400C3B39004672D625595437398666F3B652373FB719CE9],[D8C8BC096A71103677171781770F8B27602D3B2685CFBC7C31BB11546F391F1CFCBFBF805725BF2639E5E6554FDCA19CBCA1AADED5814036E33F476E9EF690AD,81A5EE85F87E806F0603FAE1375992649EAC00FF4F88B7EDBC52CBA2BAE5C85ECAC989F7762A03731E97B379819C3166DF3648B2135CD481D911D76736CA460E]]]",
"FP12pinpow" : "[[[FD86837873E28A58DC7E1837F11B05A557F78730AD18C6E59E9023C6E01D965865E38A5193822F99D77B2909C9870157B08DCBCDF8799825D09FB19E2CDB275A,5831433E41A8BFE4BF37CE15A2F2DCA48A07DC322297FFC67A8EE92773C709370DEF21C3865984EE7503DC629A4ED33F581EE15CEC8E0D3C5E03A6C979299D88],[DED7C137E581782E01BB005F4A31F322446DF4B40C2999E662FFB68503B27099707ABF927827A16B09EE8F41E731AC0F74AEFC587ACD257103E1F14CF9F01CFF,83AE762F4BE53EBC0AFDD07A9E1462AE6D7B0358DE954CAB57950D0EC6AF3FEC35777439FFFC49625FFC704F510FEA7ED34663767E69CBD59C96F160E4D9EAD0]],[[DF32210D9A2CBE1AB7312FDE56E213892A66EC05B15223C55A64C4C6B10397071FBDA677D4CA13C5CF6A3C2CD715A043CF05DD36BD5E9446EAA79AA4E9BB3EB6,C4B07370D7D215A3B63C8236686927BE662CCB029E5B488F32B1EF98FCBCAC8CA09FF0781D93651B5F8BF49868BE448704F6D467AF679874FC5D2344FBA8AFE6],[C581314C600347D68F67827C40DE167230EC6E3007309E4BC9054E0ADE4ABDB642769E771F2B33DF4605E1DD739840CBAB24AD563018AA89AED672476ED39D97,8EC6768E129853CFB3DF96022585D0F4C2ABD86DCEC4B645B1CBAD26D43E9C860871D521562BE263C1EEAB2864D539580F027897DB4BFBECB87BB7FB0CECA4E5]],[[08B6499E1B87E1985A4F8C310E70C89807A0C0FFC23FC03E78A49E2AD913132B65AC8BFADDE3A2240C8574CC76935468B8932050AB4C90B87C8958D2E9673A33,995DDF286AB4161270DA3B854BD33F5EC61D2DC4D091AAA53E2ECA10F56309564C494728095E21E5F88ACD737ED142FB2861AC035FDE3FCC4832B0055C23A764],[7EF34836101A6F070034BC1157BFCD040E8CC02F35030EE5B19801D459959BA42651644264003698F77485EB31543C6C5AD1B06B475FF02CB81F5E539BE3774F,E83F4F93F65DA01B158F662C1F34EBF4F49E98BDBA6ED63B35A620C0EAFCEF303B329F091B2B4F0177B8129DF42471B67D5DF71FADCE352C66534FCA6B9CA14F]]]",
"FP12compows" : "[[4A711DB33820825DE352C193E810A84A2E7B06AC2F1A822DA5B6F286CE6DA17CF01FCBD4AC4C29F9475AE23C1DA064025298B4651571FA4D675CA56EE832AF36,ED6C0471DC0081C671E839803AE2E5B075C0BBD18CD27B51FEA11CD270F0C0F48037C42782A0DCF46951DE843869B076B06E72C03AF274351BC69912AA440B5E],[9A88487E32BAD6D8190DE8B850782F22095E3BC18F9662F754A5C78CED95C4D35B54A134DFFD53846C4D1220F5FB3A3836A4E9E30DBE7E8CD5BB7E42501B5BC6,FC48AD8C711C12FF4E5B554CAE991622BCE11A71A01DBB494E8E709B0D9A2425BA61E63D04C1B3C0A4DA710A643E1F49FB5D82E5EA3200C0C15C23CC1B80A7E9]]",
"FP12compow" : "[[C398B03CE17249B958EDD383EEA63091020ECF43BBC8B674E4AB001697661882B2104D8BBDE22F63D379FEC136F75A61581D54AF6F9419590DA8418BF1F59CE5,99BF10EFC47DC90E50B86C310D5346A60921585ED05832E6465F00FFA024DA805569DA88F000C15ACAE86153186A99C1CFFC16CAA45E6C9CEBC3698327BD1178],[1ED728DF29636F046B11E8D872023B2C9447569D79633E3876B4EE257318BD29536D561C45F213A3EFD428D32D2D7FF1C74C5C6E1A91E056429FF497C120B203,C0DE8E3A87004B5332AEE1A8560171AE250821E3F4AC225C20D94B420A9575B1485E2FFC7A05D96B6FE750A2F0F821E860EC241138E23CAE8691CC485623FF5A]]",
"FP12pow4" : "[[[391308CB5085FADA3473ECC2A3EB209BBFF3838AAEC109E54CCA70900351402FCABFFB03C74B949996DED0F86132386599BDA48D7354A7CA433D08517FD49144,1494C7DF23783FB53E07C219E107827D2B2D65A04B795362497869C199447B11D6EFD3313570616DF540C0BA33BD919382DA09B1E54FBF6193CB1627BBFA9908],[706F9B7E9BECF70459876F952930E0A6CE54DE35082747D155A36CB1EE5C2B46660A37FB9B3B9BB570CABBA26B3BA9DD0D01CDB8E1B823194A0C6884BC4A7A36,85E89CC0B228A5EE33DBE58CD8284B927F7AC3A535381BCE2101639B4E113402A7AE14591FEE546AE41BF38937F71A051C65293DACD6103F9344509096E9594B]],[[A93E6214AE771335045416E6807277FC8FC169B2DEFBE5A7CF514B06A875F6213D77E02D2C96C3F08803489AC184AC29DBBD036ED4C26C6702146A5C482B533B,DCD2D3DB17F9DC1B97E4B009C6C703D4D2F1802336EB4546E74C1E1BAD714CF1886C305667CA20BB75C75158355DBBC5235D6A482564E5507063DFFEA61EFB24],[68DE043DA1756B8EF9D4654208BAB48145538E4E0F20440FF79FC12EBB097325A926FDEBC52EA96A780F92B3A9402037414E3E536F7382923ECC8DCABB3FC54C,E644B89AF9F1F1A65DA6D71DE42280FD0D07C8E06EB04FDFB7819153D731108A59A1F8BC62EA6F36C0B44F96A55A729E421F841A7BB8E4E97012CB708E11E88C]],[[16D64DD6A822BE4EF8AE450105309D07E303F16952BC113DEF5EDD454073E88629166CE0900A926B4F0C1C9088E8F194B0334FA05DDA35929769422A5FBED6AC,17D0822EB6FF785B959C23B719330F5620BA409F2ADBBD0EC193A82BDA2A737CB4729CA64FC0DD03967CA94B48912389A80FB596EC6279C8DEA54FCBCD181806],[1B843086C6678FF3F5838C3BE9F058BBE9335821FCB9EBCD929B49C824B05701C91E2B2ABAC7AF1A504D90CDA8715A11E103185DB942E471432C0BD9FF6342EE,9E4CE3CAF45DE9751DDA9C57713F014D79E0CA132039A25AF21391DE568C1116133CCCD6B1B0F5525E444D8E3365CB59192D77AD3120FB77ADE085CB6C001D47]]]",
"FP4trace" : "[[4E6FC559EF6618858B729D192C18884AE96E1AAC011979E892FB4F4D35C923778EEF11C946C8F43768A9948A0141A91CDAD8F4679A4A7BFCAA9E95E1116F3296,5485A02BD98AF3C555282E14635DD13462674DB77421DBEF735D781E82E7BC26FD153565119545082D1A18B88FED721751CE54F1812D9E64EA0560EE0AFCF8EA],[6C42D69746006649B96C3D08FE51FD34DFF2D60767BCC3E5E4BE12508E9C15D87379E57B001CE9D8A0A8DFB5FC30F18A958353C2384D51E68F9F5A0F8871617F,E54BCE0BE7D3FE8263F997C9EA6A656536C39742AC62100EC21ACFD3F6799BC5908C0C55E381BC76F56327D20355CC90E9FA94B3340C120E1F0CE00540BA1A9A]]"
},
{
"FP121" : "[[[76703F810B451F96C8D18184977DAF333C7F2399C9C41CEAAB48B120F4B3F8C857EF85B4929956952F5EA1B6763E9519B22BA6DD463218D75CC549575F93CF06,1FE669EF1D0B0881EB6E3FB9823B68F7C4CDF3A91AE975F264AF65681AAB774618A25EE4DDEDEE8C01235EDDDA54D3506F370169A04EF06FAC8E956422469C91],[6C18A3482B32E3EB72573A39120A2EEF8B287FEE37B141DFA4EA3C2A92D20AFA173E6A50438A78AFA5CAC0F39B9F9CB9741B3FE5A0FE09F605F5B1BC35AFD483,3C459949E25AD7CDDAB5087A28508E3BA3ECA5AFE3C85B26F8A8F69D498FFB15E0F68A2222B4E412D31C701999E2F288855E687AD51C6679881F03D238FAFC5A]],[[6D6A6D1C4F328CEA15819C28F338597E68F2F9FCEB04B8EB73D562A6C09DEDEEDD09B47D217F39A583E0AED7EBB046CF732B9EF8E7B19349D1EEB4C8C121296B,8675C3F7FFD543D4D1C7FB6E48277B15CDDD179FE10A5E196CC31F1263BCA65250669FCB758896FCF6EC87119295900B9CE5629EBB4E2111D694991138002C74],[02C54B34F258B41B7C4E4F4F83476B67C89064C8823E0CF0E9564DA5A68849B05478BEA7C75BF0C1603D5F473A371022B5AAD15EF1222FF038F8B354A3F4B98E,02B0B7F82434E1564C3DBB0DC7F54ECC0B1953A890F8FB90EB8F45D4A0DADC01EA8DA12EF8E77EB24F649AE26C38194581E4FEC11D2A85A9D61A7F45F8F295BF]],[[3EA480E52D7766A05A1E6C2E5508F884258FB8E6BBF953BF01771774E0F286B53E5393454CF0C80066837FD0A457D2BB0FE7B909E5E7EA4EEDF8548332D37EFE,6B8572621E3ECBC79EB07DCA5CB9C407E1FEAA7E3F49A882DD427592B2F77D156E3C1F78D9FC5252BF649A9FCFAEE032C0D11E83D4B4BB5BA77E765CF7BCC79F],[EB99B440669AA213A494090DC1F55638695FDE904621B676B6FBC5D933ACC2CA5111ED379BF8E00D2C07165D5CC6DE9B6CD5D3472257911C90559343CB476E64,0720A68C7863745A7027E97C374219D5B96093FC0FD4CDDAB35B8D26B852CC0A6D2A09BB2C1E6A16F1A220E59AE7E72F71A13126CD485CE947FB309F26B0AC12]]]",
"FP122" : "[[[1D9E10C01116570F4B76D1E57AF8062F58EF0DB416E1F0CE1F2CB3C6BCC59A29CBC2DDBE5A5C90673E472B735602282A8AF3DE4E727FC1ED8E6D75EBC16E4934,EA90CEEB223627A70335F70A1FF98FB89044BD78F16F0C19A3F23884574A1BAC24464FE825B1776A4996EB09DB8DCF688821ED94552D67D5BD28458E51B22462],[B2D120FC80CF30EF50F27F982649D3CE47C5BDA2134B3B799B8B62BF67B8E79E346D0C0B7B6A8DEA580B74B61FA248C9BAECEB8627B34C892346482EBA0BD929,38C94A30642B9D89EB79980403905424E1C8C12CE5C45DA99F17B463937F4D23211DDE7407F36AD09D0A03E869D7E84C6A3657BC90453D15F198370DA9B5736C]],[[C4CB966680FC8B639D31B7314D80BD9DCC8B94B3C64D4D1659E911D886CCC21F99E8A38410E525762CF079860E6195939CAD6D4C1A0B0F4194E0E93BA16F076B,8AC8B9094A4601C021A7E7880075F52F080EBB54B25E5F774245B323A877AC5C187815E1148E50ECB7302E0FEC16829C6BC1CD0852000A1FFAFAFC7C78AE270C],[9AAC8F10B989BAF1B805078E5DF7228E828854B959CB60770EA8CF43C9CB0F0E30F15CBD10D7816D6373994E4B069AA8B903F1D3D87EDF4BDA350002BA2BEE95,C2F992D0FFF0CB4134C506F641615507D0A68527491C8D453A7B2C9A7092573E00805BC30791DFD3F2C58DB63E6DD1436B5439A9F92AD0FF7B47C658209DD5A9]],[[A42218409B82C207E1159259686152B8054D67FD940FDFA346473DF6DA889598F353AF1B00B959CC386D8B597450DCB85B18092E8431D71095211268ADF3C1EF,C5AD349B9AE0A9363B04F9FFEF9B91F21F556713D4FB8B69E76FE7E129591A36C4814A58B0E58167EF5E6373211AF251DD5152A670F9D62E1FC3ADF8C54774F6],[5082D63220DE952CAE8DE870FFA2486A29144E54DD13B277270695BBBB6D675C075C168C65C7E63043DC494BA2A5658C593D0C6B76DCB28E994B80AA76868C2B,12DAE96A119B033F371184DC0B3C2C30862C9E00D8511F647F6097C617843D459A4ABCFEB26128E688AA7614681697AD9653EE5EF307D9C6E0E08C493A443EDA]]]",
"FP123" : "[[[1935DC0E914D2F6559484FE8BB563C730BEF7F291D113E8780CAA99B8D886C575DAE77E8A763BE22A54DFC1DF50E59FAA98D60AA74763CFA3991840973A70B4C,D8B5A1283EA02D285411ABE0E466DD313F56A104983649F8C380AE40A3F24772583837A3E66C4697BA74C135001C38C8AF0B4546A1BFCDB0156A49F3547037FD],[976AFA75F6EBE7084FFAC0B4ABDAD56EB5188E688EFD635118D64F17E60EAB5280FD320B99887BBEE0039E3FADA1D415AC298E216AE4C4115EED7B5EA680F1CF,10C9FF13B9C91D2F2B0345260B7891E37863CB52DA5BA65289A51E47D7E7E14F3328C82515A6036B162DD25E71EB6B3FC9283266291AE0718ED6D065F6CB4F40]],[[4FD4F534067634C42AF98084A9E58DF5802C571044E7933FB5FD671ADDAD83B31433409EE8268E0515B576CDF25084ABF576BE45B6E9631BFE637F4CBDD56A30,49CA4D9FF803F5D1E48F8F4F5DF697843E4423A801C2D83F1326708181B9E0C5569CC743DD62D6743C686AFAA63A7F4E3BFCA6E48C3C40BA1529FE8C5D86AF74],[6A3D312D94EF37DF435895D5CA54839145B3FDCDBF565159F82AD70CFF3FC0A820FFE1C939B6AC80EB9B8402D60392292B8CF363B671B92280F38D7544FBC455,6897C94591A1A209C2A484EAF5BA72754586617301491F04D8AC4C6C0500588CE62E7AC727857D883E00A629603E24637461EE37EA8A43ECABB03E2BD86B8D45]],[[E9091593D55071653D6370D912872DF1F99892E78E558A0D9DC7A57FB245B0E2EC7FF39C7228E7028784F534D76EE4519CF9BD54ED8BBEE5134A6B8A411272E6,45F1C673A768BA9D4C856BDEC76126137835D53C11FC5665D12E139F1C82719DA5BEB883942ADA3C715EBCC0D4370ED6802DDFF3136BEF917885F8E30D86E6C5],[7755AF983A13819E7BFD4E8AACEA124C181377838C7F0DC3293FFDB2050E6DA76ADBBE0594703EAE9A4ACAC2F693DC313AD510FFE25B42FE21841872F18FF111,2FB847347BCC2722F4B2F5426F72DC27D3B9D9D9585F2BBAE7925C6ED4A5B6E7261E6E2A500F2F908EA1FE6D3B151B7793AF6B8C6588ACF10DFDA5CA97C5CA8C]]]",
"FP124" : "[[[98F22158501F5A15D43FC9844950FA6E1CB7645415CDBFA06FF019AC5B740D12455A4567923C79222CB54995CF40215603BB9BA37B6638F13C8605CDF390FFEE,7A2F0C67DD2C3C3BFF8B71FFA35B907D444D21544ECAD3FB87F38912003DA39BE47CF27E509D088C0B77322316B6E1986AACEADD61123166B4B5350CE8276AFE],[6C475B4428019B71908AA18F3DF9542089E590DFD69360B5B0E5DF40DCF54FFD9ABA4E096F824559C3F1626C3913ED53E0AEE43AC3EA3A2DDC2850DA18FB69D4,C703DC5F92A5143A84E27DC7F77ED24B85A76370EAF62DA6A55D07DB5F32687E9DDC53A779808C0401B63A9C044F93AD31797535EBF788F519C891F605E816F3]],[[AD657E01EB0C58FF0800B6215F5001611B796BE11CCE8653739E7690E169D4A7EA1E03A5554C09EB81B2E67507F20494A407ADC7ADBB2135629753D0A2264885,4D5D5E139A0B421D787A6DC7EA2DBDE8E1F2063C5B31B1C214D30D6ECC7A86FC47E91DCB115A6E79A47DED36D44E572C398D374608A5E7CB445323EA8FA33DC7],[514D84248912C884999BFFD277B38D074037B5949E71D54D223B4753E3E7B889D5B645278848AA3C9BC73F25F9D99A6C090F13BE792FD11EBE89A7D2705C44CA,A5EFDDB8F150757F9002B9965829247BE5A8B90794D0522DC8A79615B943ADCFD0F2D98F494D80F1C1300BC9FE052D7BBB8241765C07F8C26993874081679BBC]],[[118E7515D9249082FF9F0E0527870ED20A9BA0F14544DC2B66B6AB11E8C69A097CC2B0C895E98866A0C2F1742F8F2A525330CE3B0342C764070965C50A2960D0,BDBFA23E618A9FFCCAA6C5EA71D1E513DD59503B595D7F8121EEADC4D2BFC7AD3B749EABA3B56E5F0C24D1BABDFFE2BF17B8D74CB8EA0B12312064B161B042C2],[4FE144F47EF80090385615287AED888F0DAC00CA7DBDC951529403D7C95DA090C44043577E9104C7030B872EF86C2F535705814D73E26EC43A825DFEDE6C217E,C450523E60E870BA72A6EC59CFB9380E6AC4A62FA1CE6A5B91F61BA6F2496304B38BD22FBDEB71A813AD37915350E2B2BC462E636D3043FBF30098E8D2DD28CA]]]",
"FP12c" : "[[[815140154ACA2D08EC7981D22A34E110A01F011EE5F4F199AC572FC3B9A174EA594A74985428566755B6DC6B72DFB8CC28C35DC0968D54A2B14EE485B0ACA09B,9CF37F2C13C007189D1B559713FE4030EE65FDB831BB1132D85254B9D2AF4C47549EC5F53EC87728D2255683A24BD42C5B2FF0DC6BB6AF805F326CD35A526B5A],[A4FCCA0755566F2BF0FB5F8BAB87348021E89942A90EFB1288DF551F0341D594354A979E45B7B1F46DDF318DB8A87957EF27A81EDB6D9399D35CAF45DC3C1186,B5ED4A3BA9C3D7CFC618F8EBFB212E3A53C45DC843DB22CFA99FB510590CB3912307614F0E51C560416B6C4FC715CD2B6234070A630BCF54167A1451D3B53F35]],[[80FC9D5B72EF5B2E00539FE8E3A58ABD6F9FD7F69642692907368F5A58C78570E1E40EFC0A0442D32813FE8B96A1F136D239BF82CC9D1E691550175ECEDAFF63,CE219362DF5CC7653C7DAE17DA43EE8973B772CAF23FDC3A56A34A9563564ACE24931317F2BA50AD54CCF6CF42CC1FC795DE8DCB8B078102DB3A7AEDD3C15453],[E21C322979E4604901108A52028D4B5E1ED03754767B0333AFC1906FB4E65DBAC3F25C6807FB39D38C131D831280C53881112C33B682F07DC58F43EC945F76F3,7D4B9344EBC9E39099893B1EF2B24F8C368AD8CB9C80429EAFE3EB96450E3AFC4FBE43EF75715672D1C27208D5F52E85446EBF976165DA78B2F60A08BE289439]],[[40FCBFC385A6356B70977ADF2E7A72E9D0B51A9E489C14DF7E7055C80380DF1E58118D5E0F0CDA818C1E99C0B36756E1621C66B032DADC35A809F5503AA4ECD7,CAC14A9D7ADA3741330669CE1B962EFB7D750BFCE407E38E96D9869F8358E15C295D7F20B660B691915BF207150A426AF5240E6999B37445EDB5D8E3CE82C316],[2CE997304E0FF6484563C510B5FF94AB60244E0820D358F9909F9AA4DD116EC141CE6E549B383594531AAF876FE623863F99F5BBD2304786EA6B10DC85058902,2AAA7207A363ACBEEE0F61217A6FFFA482985162CBCDC0DA1B33D411BE10E5E3FAE64EDB4E9C3957C17DB80F29E3B53EC6ACE917F3311B8488F1BD3C6273CEE3]]]",
"FP12smulymtype" : "[[[1D9E10C01116570F4B76D1E57AF8062F58EF0DB416E1F0CE1F2CB3C6BCC59A29CBC2DDBE5A5C90673E472B735602282A8AF3DE4E727FC1ED8E6D75EBC16E4934,EA90CEEB223627A70335F70A1FF98FB89044BD78F16F0C19A3F23884574A1BAC24464FE825B1776A4996EB09DB8DCF688821ED94552D67D5BD28458E51B22462],[B2D120FC80CF30EF50F27F982649D3CE47C5BDA2134B3B799B8B62BF67B8E79E346D0C0B7B6A8DEA580B74B61FA248C9BAECEB8627B34C892346482EBA0BD929,38C94A30642B9D89EB79980403905424E1C8C12CE5C45DA99F17B463937F4D23211DDE7407F36AD09D0A03E869D7E84C6A3657BC90453D15F198370DA9B5736C]],[[00,00],[00,00]],[[00,00],[5082D63220DE952CAE8DE870FFA2486A29144E54DD13B277270695BBBB6D675C075C168C65C7E63043DC494BA2A5658C593D0C6B76DCB28E994B80AA76868C2B,12DAE96A119B033F371184DC0B3C2C30862C9E00D8511F647F6097C617843D459A4ABCFEB26128E688AA7614681697AD9653EE5EF307D9C6E0E08C493A443EDA]]]",
"FP12smulydtype" : "[[[1D9E10C01116570F4B76D1E57AF8062F58EF0DB416E1F0CE1F2CB3C6BCC59A29CBC2DDBE5A5C90673E472B735602282A8AF3DE4E727FC1ED8E6D75EBC16E4934,EA90CEEB223627A70335F70A1FF98FB89044BD78F16F0C19A3F23884574A1BAC24464FE825B1776A4996EB09DB8DCF688821ED94552D67D5BD28458E51B22462],[B2D120FC80CF30EF50F27F982649D3CE47C5BDA2134B3B799B8B62BF67B8E79E346D0C0B7B6A8DEA580B74B61FA248C9BAECEB8627B34C892346482EBA0BD929,38C94A30642B9D89EB79980403905424E1C8C12CE5C45DA99F17B463937F4D23211DDE7407F36AD09D0A03E869D7E84C6A3657BC90453D15F198370DA9B5736C]],[[C4CB966680FC8B639D31B7314D80BD9DCC8B94B3C64D4D1659E911D886CCC21F99E8A38410E525762CF079860E6195939CAD6D4C1A0B0F4194E0E93BA16F076B,8AC8B9094A4601C021A7E7880075F52F080EBB54B25E5F774245B323A877AC5C187815E1148E50ECB7302E0FEC16829C6BC1CD0852000A1FFAFAFC7C78AE270C],[00,00]],[[00,00],[00,00]]]",
"FP12smulmtype" : "[[[96DBA9B3D8E5ACEE04BC6D5AEE4F4FC52890B896B7F0A67CD2BBC08EAD4CAFEA0B73A7A10F1D55042065CDE7D3AEAB7450EF4EA79AC07E6419A3E645480FE66E,956863445C9B91FEA4C2E357E36D2D4F96256B690FF6F75D9D69934BCEEA7C0FC854585BB46D49AA15308EF07C9CD37AD90C80D1CC198780B0094372BD4B2ADE],[F659B8DCC05758D8BB47E507408A42DAC29850FC6A3EEEC2BC9F0015E5B24676F6F43E5A874E813DB7DDC06589AA0A0E96BBB79E8174621EAA2489337EAE0430,50E10186E2B09B68FA2CE39C4B46FF3434A1E6B758D312510EF3B32BB9B99D215F376108018439AE4AB3DA07500023A2D144820AA59B77410DFBAE4FCF62B310]],[[FF390853FB59CF41340EAC8242561D5E62C87FBC6C7D684AA0A18C0EAB20486E42EC168CC9971B4753848D97A41E6FF79F59D944BE4D33CCE1448E32F9100AAE,F644FED6737E0F5A0358A18175F24D0A7279173983F0F4C99D6199189DF44A9F10468FF69689082FBE1E97CC78078C5D9959B3BCF36515F99E5009BBE36D114B],[A6E964169534EBC0C33D8A82873D38CD2879C6223E1CB206B6F60D639A81151A0FAC3C2EDC7B1FDC6993EA9436D576E5BC7D69BB87DAFB2B9134D6750444958E,CF4D7D355CBFF8355F3072F0C68BE1ECF76F8B0BABD7BA8E120DD9F096A4FDB6B1B9EA1193A33FEE6E0FD490AB4AE32BD9F51585C4178E6404A9B266C3FA28BC]],[[3B319E5E85BDA33B212C873A125345E492C445F0B99FE7E84FCA7AB1EAA5ABD91D82B1C0A779A3E50221FDB607E8E75CCBE64EDCB107746DE0C9916B39C0C691,2703F5479D8FD07892F86BC648D4539EC0A668AE5F3E2154FFB02C78570429A7A07D5D9D01B9C8C27BF1162086A9517720692EB8CC7BDC06C45DCAFB24330F0B],[C7FAF535CF598466DD3B71E57828D73EDBD04C4F7D7658C84172E4896E343E5D6148B983306485E1DF0032DFCF8B96D94ED79C0B7D44D7684FD1364FE15EC3C8,441FED19970C01269A162558866918AF6A51B1B008B1DF485CB0922A01D5C6EFCAA02365D8C97920578746547A9B885F50B73C3557A4A6CB8B08743B67ADD9BE]]]",
"FP12smuldtype" : "[[[DA45667B3D503DBCCD282BDD774B216EF5B7BC1735763B13E79DD3BF1B67A24623FED4B98D3E2E5C3757CE261B2FAAD447EB6576F3335D2F9706ACF603070C9A,3F4C6B1B220D86670A9B58B7A5FF10FF02DB312E40EE5B59674F9CDE18F333318BD19CF158227EB6DC704DFAA0BE940D7817953C023734960F152E484A7CCE43],[BD347B94A70190C94F61467E2F8AD1F72FC16C44B9AF321CCFB7FD6CF690FA759B0F8D034F93AF60424D000EBACC253B6C4D362A517A58AC0E2660F595ADACF2,219EA81752AA59725D1189D5D760B3E8C3F5CDCB3FA98D035CB7F33D4979514B5B8C7F218F7DD7797FA9A160D3F8423B207BC3F0EF780A756B06BCE5FC88F275]],[[D1B5EEED7D4F5DFDEF10140924FE851A7784781E5A9E15A94A871EA148F72009F0F2C88F46AB6FA27C678340544938278705614B75CBA60E30DB1CD119B0254A,157B9D9251E4B27AD75C57312FFED22F2C0DF4E187669412B31841A0C6CD11915816C7A2EA52C62A871198C15CD94AA84D58AA0C43DC97C93DA3587B99AD4B40],[CD94D66D228329FB19F3CDB690AD82C29523FD2DEF8BEE047891EA599D0C7859F5E72A1A204E551DA4E30DEB71E152448D64CEA8E1C02F35C654DB1E8DD7DBEC,9148EB7D4782ABBAAD8DCD4E1EFFBC4F0FA2984377A04099F79E7780106D2FBA3188A5CCFFBC3235AB7A601F9322D7817E5B2E019CD826C75AA2163C02C8DCE8]],[[0794083CDA79B200CFB425B8F1B1AF0834C9936BDDAB5B8A5A887C6A28BFF905079104061D2584E903DB3B5A4B8C0B1BD88E4A38933209FDF8E78A8DEE37F605,352F2737337B0BDCF13A2281CC6DB8BC7011AB02F31F701877016B373D0F1ABF18EC5BA63A396A2D0E64D96C7EE7ECDB0519A25BC17C516DAD563535922018B9],[0A6A49085DCE8B7667FF003C107B019F4CB2C1AF38DD17EAFBA2EE979D0C41149FB689D829647DB97D19AA40006BE99812C14068EAAF13ADC77AEFF5FBCD6FCC,EF2EDAE594C45C925142B470793A6ACD64940E79B5D28DBCDB66E0C11358CCCC39BEA4FE1EE9EB94F94992B1F57ABFF4AE102C949A47EEFAB4E7DC6EF986338A]]]",
"FP12mul" : "[[[11FAF179CC6EEB0F5530941E8AFBE7D7CCA0F15710FA0F235FE7A21FA66FF53509CCF632171DA29DEC8AA6F6605DF0FAF313C3FEE5C5955430A0D80694C001FA,5C97D8172651155B684041142ADEB69430B3D0585B8FD398998DC250FF41D552D8C765AFBE48EBD52DCA395496A0BA91944B3698904185EE86DB624A3663A04A],[423A4FE105BDF3D1E61076512D5D3E0627E92A716EC5FE548ADD5175E97B1FA7BCFDCE2205B617E7DAD60347E269EF2AEB8BD995298967D16D57518D9342762C,2F6C322EE2175A2663DBBA2F9BA40E96B1D33DC401295058E9DC06B5071F41AEFFC0B36B2F115DEAC77E52BEE03E1FB5863D76CDC49A0D89326083D9D661A470]],[[AE3113FDBF0ADD3E316CBA36BFD0287180C682862AB49A98D5B235E9E0721ACE43AB1FFBCE2E83D5A6E5681464478E188D0CEA954B005CF1BEA08E2BB5282AD7,A0AF907AB98EACC76DCDA512EB2A706E6AFFCD4555C594B61DBB9AD2B0C43A2EBE7DE8E892E59347EF6D3C6BF825414EFE7C78043CEA50ECD073231D4BF1BCBF],[1A9922D4680C30AF3145BE050B0CC22EC30C9EFB571BB88E76502DDACCBCB829B7B4B2C599A586A76E9D028A4FE40728EDBE533CA0CD4AB21ABF82A7B4FE1433,4C93059B14F50E87DE31F0AEF9B2B739A35183C3D5FDA071F91D671D15A3EF462B40F3746062C7B84E2B7903DD367BC9BA29D1F6575F814A64B17A039DCE1DA9]],[[7EFCA91A1254CA295843D3D78D9E609F4C2C6BF7E3CB99CBB5F1CD50B52913AA2D036BBC6558EB7EB7E4886F5884FE6377AF1F7C4E0673C5F3D804FE1B14D89B,42C31990BAF78172F45B8CC5FFE81A403102F6871FC76E900D25DA32BE6B2A518C3BBD7C593C2D45390C3180A2590235C11CD1375978DC92DFBAC5E57696378C],[D0A7C57C734FDC4C3BFC5EABBB9F3EF5F846F017129CE74F74ED91D39758B1BFE1246D41363AC31B1CFC894E6E23D49A0A4480E0D921C78DA68CC3B5A96B6407,C0DC82717DFE1C2365B3A560731F4BA1F15BE7AB7DC27AD823E593E2B31C0CE19D42CDF021E8162A347B234F9794AFF178C6C5CF21405E03B92A5C3B2180F1BB]]]",
"FP12inv" : "[[[76703F810B451F96C8D18184977DAF333C7F2399C9C41CEAAB48B120F4B3F8C857EF85B4929956952F5EA1B6763E9519B22BA6DD463218D75CC549575F93CF06,1FE669EF1D0B0881EB6E3FB9823B68F7C4CDF3A91AE975F264AF65681AAB774618A25EE4DDEDEE8C01235EDDDA54D3506F370169A04EF06FAC8E956422469C91],[93E75CB7D4CD1C148DA8C5C6EDEFBD8F769D8BB3A11A11281BD1A7967EDEE44B3A0864CE693420093EC1A4EB0F83D3281D4F15E8BE4E5A71AEF5764CECFE1AB0,C3BA66B61DA52832254AF785D7A95E435DD965F1F502F7E0C812ED23C820F42F705044FC8A09B4A6116FF5C511407D590C0BED538A2FFDEE2CCC2436E9B2F2D9]],[[929592E3B0CD7315EA7E63D70CC1930098D311A4EDC69A1C4CE6811A51130156743D1AA18B3F5F1360ABB706BF7329121E3EB6D5779AD11DE2FC7340618CC5C8,798A3C08002ABC2B2E380491B7D2716933E8F401F7C0F4EE53F8C4AEADF448F300E02F53373601BBED9FDECD188DDFD5F484F32FA3FE4355DE568EF7EAADC2BF],[02C54B34F258B41B7C4E4F4F83476B67C89064C8823E0CF0E9564DA5A68849B05478BEA7C75BF0C1603D5F473A371022B5AAD15EF1222FF038F8B354A3F4B98E,02B0B7F82434E1564C3DBB0DC7F54ECC0B1953A890F8FB90EB8F45D4A0DADC01EA8DA12EF8E77EB24F649AE26C38194581E4FEC11D2A85A9D61A7F45F8F295BF]],[[3EA480E52D7766A05A1E6C2E5508F884258FB8E6BBF953BF01771774E0F286B53E5393454CF0C80066837FD0A457D2BB0FE7B909E5E7EA4EEDF8548332D37EFE,6B8572621E3ECBC79EB07DCA5CB9C407E1FEAA7E3F49A882DD427592B2F77D156E3C1F78D9FC5252BF649A9FCFAEE032C0D11E83D4B4BB5BA77E765CF7BCC79F],[14664BBF99655DEC5B6BF6F23E04964698662D1192A99C9109C01DE7DE042C7B0034E1E710C5B8ABB8854F814E5C9146249482873CF4D34B249594C5576680CF,F8DF5973879C8BA58FD81683C8B7D2A9486577A5C8F6852D0D60569A595E233AE41CC56380A02EA1F2EA44F9103B88B21FC924A79204077E6CEFF769FBFD4321]]]",
"FP12frob" : "[[[76703F810B451F96C8D18184977DAF333C7F2399C9C41CEAAB48B120F4B3F8C857EF85B4929956952F5EA1B6763E9519B22BA6DD463218D75CC549575F93CF06,E0199610E2F4F77E1491C0467DBE83873CF817F8BDE1DD155C0C7E58F70577FF38A47039CED0AA2CE3690700D0CE9C9122335464BEFD73F8085C92A5006752A2],[11CDA972124F2B4E65F80DB2808B4593A33EF718053F01A9513C1128F54F91D07E765FDD40D507B862100948954A9405DEEF7286C2A5E7E146E07E0C940695FE,DA02208B34D6A981C3E8E748D0D80905CB5AC50AC2778C1E5065034FA5A9584E587ED3A3B788426EE8780FD97EB0AD0945B5A9CB30CC8003F63EC8A0206DBDF8]],[[0A2471C12C4C25D0B17594A8FA4E7E1D74674E74B93E713A48544B4434357325198693CB10C97D84F5C7E7CF3CE056100163A5E9462DA981416D2EA841F8E0D9,640A864C01E7350B05E37C6041E0B0AEDAE0D083E5AB600003C4B9D1A6C826010D590B1C8C65AFBB12333B0EE9F3FCFC64F71A6B75B90E413B41BBE19FB3004A],[C21E6847DA0B83EE08F6311919B11E8039D91D5E78593E8B5CF5C385B36456C56FCA378BF988265057F10579518E9F3E7255D83E22E910AF2F58E8B0FB5E34FF,CE902D2AFB3EADFFBD2D616897F98AB159B27457D144571777B0AA18C31D89C9442E90C62BF93C05396709D6A60470F3EA98AEC01980CAEA865F56A1C6A60067]],[[0E120F6F59162533A5D1429D8A2B6BA42D07BF22C75C71B6DB28A72D48189A1094F4E5E5AD5AEB74BD837B5C567417ADB5C01E64E95C649578F7BB57B35D9E7F,A28D22CC57E9AE0D0436C54F14C20BD72B5F9B57EC6233C00FE04C0E361147632EE70E67E354A175B35135F2652E031E4F561B961AFB04C0CB3AB4E3F7440698],[3DD4F41B9C914221126AF4812B97B746AC913E1691A46885B93763A75D16F0C41876683D43DBF8111A34D31CEF8B66C3CDA5D20F2DB4F74E9ABF36C6A7DE9456,5A90DD256E881CA200722578BEA418BE5AFB9315D1579C3957E3EF148360C5AB787018963D31F9C51049E745C273EA9DD468824E5D68B9B55C29CD2E7E8684DB]]]",
"FP12conj" : "[[[76703F810B451F96C8D18184977DAF333C7F2399C9C41CEAAB48B120F4B3F8C857EF85B4929956952F5EA1B6763E9519B22BA6DD463218D75CC549575F93CF06,1FE669EF1D0B0881EB6E3FB9823B68F7C4CDF3A91AE975F264AF65681AAB774618A25EE4DDEDEE8C01235EDDDA54D3506F370169A04EF06FAC8E956422469C91],[93E75CB7D4CD1C148DA8C5C6EDEFBD8F769D8BB3A11A11281BD1A7967EDEE44B3A0864CE693420093EC1A4EB0F83D3281D4F15E8BE4E5A71AEF5764CECFE1AB0,C3BA66B61DA52832254AF785D7A95E435DD965F1F502F7E0C812ED23C820F42F705044FC8A09B4A6116FF5C511407D590C0BED538A2FFDEE2CCC2436E9B2F2D9]],[[929592E3B0CD7315EA7E63D70CC1930098D311A4EDC69A1C4CE6811A51130156743D1AA18B3F5F1360ABB706BF7329121E3EB6D5779AD11DE2FC7340618CC5C8,798A3C08002ABC2B2E380491B7D2716933E8F401F7C0F4EE53F8C4AEADF448F300E02F53373601BBED9FDECD188DDFD5F484F32FA3FE4355DE568EF7EAADC2BF],[02C54B34F258B41B7C4E4F4F83476B67C89064C8823E0CF0E9564DA5A68849B05478BEA7C75BF0C1603D5F473A371022B5AAD15EF1222FF038F8B354A3F4B98E,02B0B7F82434E1564C3DBB0DC7F54ECC0B1953A890F8FB90EB8F45D4A0DADC01EA8DA12EF8E77EB24F649AE26C38194581E4FEC11D2A85A9D61A7F45F8F295BF]],[[3EA480E52D7766A05A1E6C2E5508F884258FB8E6BBF953BF01771774E0F286B53E5393454CF0C80066837FD0A457D2BB0FE7B909E5E7EA4EEDF8548332D37EFE,6B8572621E3ECBC79EB07DCA5CB9C407E1FEAA7E3F49A882DD427592B2F77D156E3C1F78D9FC5252BF649A9FCFAEE032C0D11E83D4B4BB5BA77E765CF7BCC79F],[14664BBF99655DEC5B6BF6F23E04964698662D1192A99C9109C01DE7DE042C7B0034E1E710C5B8ABB8854F814E5C9146249482873CF4D34B249594C5576680CF,F8DF5973879C8BA58FD81683C8B7D2A9486577A5C8F6852D0D60569A595E233AE41CC56380A02EA1F2EA44F9103B88B21FC924A79204077E6CEFF769FBFD4321]]]",
"FP12usquare" : "[[[75920E203B2BCD24EBA505ECEA6BCC2E7CDF4BBA70292EADCCD6827BD65C71254E422CE86E5AC3E99695E74B53C580DFB42A3DE280FF9A20624DB57626E78132,FDBE5ED945895BA806C834F920A137456B0E18765367341EAA11C995D130D44FF2AB50ACD47DF2EB5E55112472CF8F4DE77524C2F546F4C051BC2CE7F4CF1849],[8932C3BBFEA57CDAE082F7167DB9968E7F273E4846DBC0F82C8BEDF812BB6E0DA320925E905D292D9DB527C4A5A9BE9EE9941163BCD3AE19B9283CDC906AC050,2A3C724F2EBCFC854DEB70B06FB5AAB035AF8CEFF3328FC76FDEF0A89BB5123CDA60E5C69B93659A294E4A18116366C8DA32EEBEED3E99C8404DBFD424F5CC1B]],[[558A73578642C22FE0080CB44A04FFADA2E50484FF3F2615E31E01F6518D47813E34783FF4D010F8B71E73D17DC35B297F8C883A3B480A1B2501B0EC89AF6093,89664946C5F45C81EAE6CEF4314863F559599594DD62169820BA4B6671DE445E9EC9E1731D9322FEE2DBCA8160267A870EA41ED49D2AE0CD0045CA96023D8C76],[D3DBEF28921C9D04C44D954A5408FCB2642B2FC4025E0C37C68AE3B7B81973BDFABDC82CC1B922097F48AA6509B7D98A6271EFEC4CA62966BD05F48297FB159E,DDCD368334E52584D75AB0B256BFF2E2E0C7324C22CAE37D5E4A14D5C52C30C850C33968286FDF8DBEAB44A31F2A14C68F2F4984D6D1365EF7EEDC80B0784AE1]],[[35E6B3EECD69E1EEBE143D85A31FD6CFFDCD20FEA4477C3D85DEC626A94B961394E9BC913F66F414C397126C9842A28C51822BBB9B932519919101C9CD0DD852,64EDA90FEE7278F4AE43C804740A4610879386F694EAAA5F6112CF28E4E6E12EF9163DBA0B9CA317C79AEECDBD9FA71C845E2022524AEB1AEB0541101CDE26E0],[52E1D4236F9F607A5E43E3E8F47763933FD0EBB4760D67A121228AB40DCA111966F202567A168EBAA20E6C84B21CEA3133DD445C356B2E38A423DC8AFAED0D5E,64579B8A2EAD49F4685F48C8971E2B26169D2A26182A947419EAA6CCBCB5A5CB96568DEDB5103D64435E3A96EF45E58F06D77ECEF12ECCA0FAA4E2AA376A22EE]]]",
"FP12square" : "[[[75920E203B2BCD24EBA505ECEA6BCC2E7CDF4BBA70292EADCCD6827BD65C71254E422CE86E5AC3E99695E74B53C580DFB42A3DE280FF9A20624DB57626E78132,FDBE5ED945895BA806C834F920A137456B0E18765367341EAA11C995D130D44FF2AB50ACD47DF2EB5E55112472CF8F4DE77524C2F546F4C051BC2CE7F4CF1849],[8932C3BBFEA57CDAE082F7167DB9968E7F273E4846DBC0F82C8BEDF812BB6E0DA320925E905D292D9DB527C4A5A9BE9EE9941163BCD3AE19B9283CDC906AC050,2A3C724F2EBCFC854DEB70B06FB5AAB035AF8CEFF3328FC76FDEF0A89BB5123CDA60E5C69B93659A294E4A18116366C8DA32EEBEED3E99C8404DBFD424F5CC1B]],[[558A73578642C22FE0080CB44A04FFADA2E50484FF3F2615E31E01F6518D47813E34783FF4D010F8B71E73D17DC35B297F8C883A3B480A1B2501B0EC89AF6093,89664946C5F45C81EAE6CEF4314863F559599594DD62169820BA4B6671DE445E9EC9E1731D9322FEE2DBCA8160267A870EA41ED49D2AE0CD0045CA96023D8C76],[D3DBEF28921C9D04C44D954A5408FCB2642B2FC4025E0C37C68AE3B7B81973BDFABDC82CC1B922097F48AA6509B7D98A6271EFEC4CA62966BD05F48297FB159E,DDCD368334E52584D75AB0B256BFF2E2E0C7324C22CAE37D5E4A14D5C52C30C850C33968286FDF8DBEAB44A31F2A14C68F2F4984D6D1365EF7EEDC80B0784AE1]],[[35E6B3EECD69E1EEBE143D85A31FD6CFFDCD20FEA4477C3D85DEC626A94B961394E9BC913F66F414C397126C9842A28C51822BBB9B932519919101C9CD0DD852,64EDA90FEE7278F4AE43C804740A4610879386F694EAAA5F6112CF28E4E6E12EF9163DBA0B9CA317C79AEECDBD9FA71C845E2022524AEB1AEB0541101CDE26E0],[52E1D4236F9F607A5E43E3E8F47763933FD0EBB4760D67A121228AB40DCA111966F202567A168EBAA20E6C84B21CEA3133DD445C356B2E38A423DC8AFAED0D5E,64579B8A2EAD49F4685F48C8971E2B26169D2A26182A947419EAA6CCBCB5A5CB96568DEDB5103D64435E3A96EF45E58F06D77ECEF12ECCA0FAA4E2AA376A22EE]]]",
"BIGsc1" : "8DEFFB0EEE246728AB4B970536BC9490E2A4FB9C2ADD021E4009E1D71544693E66032C4E67296AB773095C1ADA36F9079949F93C5A671603C57382015B396B06",
"BIGsc2" : "4AE1EF5977AA83E249F1C28814B0A9423FD1B1FADA91E609E20A3F6ED87559B810FB56F131163642341397BCCC4D5543CEC483E5CD46BCDA55388536E832768B",
"BIGsc3" : "AD18822578AE5C392CDCB2B50E9F39B6A98E11A62F654C8B30988B15862CCA85F11F5F617011F2E83ACB7A11EFE6C6E9EFD0D4629029DE61FE6ADEAD89FA44B9",
"BIGsc4" : "E1A5361EE6D2661E42A648DE8DC6FF87B69C9C8E42706A47AFCF5E83267D38075378590AB6E59337EB2679F1AF7DC7E9DD3E5D2EB47A22320BEF2C63AE6B4D14",
"BIGscs" : "2DF98667F72E97E816BFAE58E9596876899A8E0EA87668EF211BBE7D6B4B4658",
"BIGsco" : "FFFFFFFFFFFFFFFFFFFFFFFFFFF9EC7F01C60BA1D8CB5307C0BBE3C111B0EF445146CF1EACBE98B8E48C65DEAB2679A34A10313E04F9A2B406A64A5F519A09ED",
"FP12pow" : "[[[B6F70E65494791CE64119797DA004D007FCE8939911346C4D71A817EFA99D1D43CCE451A741D3959EE53AB687D2865B2F077409065243D92F518D9C02C2BECF5,188390F4D100AFBC896958136E383781484A427CE98972087E2657FC6DECC7642F9BC130805C627CC6CA224AB93A5E9BECF51ED08359543C6F8D4726B465B122],[8D4FD6E6A4D423A81FCFFAFAA8DFFE9596D371FFD378AC6CB2A9C7E71510C5684225F4D454D7BABC4903761EC90FB78C34FD04D27EB4465C12036E04805F42AF,F1093F64C3C53B69D6AF0DF79751019FDEF12BB8222FE55AA10A9E4FF0D15FC11BFF470E25F7BA6717407A1EF9572EE2F63BEE59119CFF4789421C8CF17D748A]],[[A47A893DF62DF76E844776DA380704CFB86B7B518C1861EC5BD23639CB09B0157E9BDD3FBD78A04DF7F149F92AA94C0AD9B56074B6815E7C5CDDAC33729ACB3E,E67C1DDA2E1A9AA420A19DDF912D1A8C114CADED0597536D4324A8C1F6AE410BF37A51248B4AB5D918E52DA694EDE0290145F558E6E455B5D756FFE85E9D1B68],[CE70DB40AF225658E1DF5470F9D8B87813F85D7D0AA74C1DAD44B2C09255AED8115664ACA9C82DCD73F0E74B16F6710CA7D32DC7461E760F832BEABDF1917982,3944D869B859EF638F13AC6265F265C69565A248B5750AE6F08F39B3708CD75F5CA220AB7BA4C3743527002692F203537880F35C9AEB18947DE6B40AEE80E0E5]],[[9FC2A84CEDDF0B12C856F3988043E412C50BA75D19CC0C78E9558E6BA6BB918FFC1C8FF9A8BD14EBA27EACF50812BA4229BDB04EA3C4F11C016720BE9FA0364F,F7622BE33F1B2A10AE2BCE5A4E6D549EBFD8EC462205D7C28DEC49C946ECB9127EDA18C991EAF8E6F0F351BC46B06AF32BEE862BEF81AD24D3326447331516C7],[1C2CF6E70E7381EB3A3CD2AB5C25725A51F369F0C66400CBE30D8CC562844026D1D5B921FF7ADE7C0BAD6BC1D3BC3967D184A76D6EC481FA9C9808BA6132ABEC,66B8BF70F0948F3F47A5C7BACEE0EA227EDE890C2E933F6D115BB871907AADB2C7F562B0C486DA21E055F2A7DD29ED6F812CA951A6146214CFC6E746A813DC8A]]]",
"FP12pinpow" : "[[[8FA68B8FAECE3FB0A8E7C7619E2BBEBA954B3DE866605F4279C808E6BDB7C4026225D402CEAF2B61C58704E6B0FF440B6831683076E81A8A01EDAD263F76FEDE,201CBEE7C373DBD0AC84D97C98C3E2C41700482DD8D194FF15C13D256880F98E59BD53DF7C051E65B73049BCB1FE0C491E3B1E48EC17394132108B0AD2A22642],[1DD51C730063A0371BE26EF0776B55FF937303D114632AF4D4EC966CFFE105E17644481168F64A6E0D6C10BD124EB0DFAEAAC90138EE94A2BB56DCAC2160F97B,8145E430A7EF132C44088828E4CA1151236A3D519904CE2F1376641D1F363A6683273DC41417CF14E3ADFD5B4C3FBDF6ED2B043A1CBE96841F48B85C28B8BEBA]],[[28031ABC01B2B99498115E4761ED27D5F68EDCE033B43115681C6C394A8C8043C8C83568B1439AA075119802980F3B60FA92F63F9517A6066F4159358627AC52,E81DCB2E3376A8D162BF7A8669233E2B8594B9985EFDAA674704BC70124E908CB114154AC2B1D36789CBD7C38C7109928F5EA15BBB93D1A3A2CDD0217CC7BD21],[9E2DD3E47EB8860FF7EDD3F863B6425DF620A781A70095D3410A071FEBEF62B017D277ED9939F56F2E806E518B12370826CA70C3A7A4875E54E4D0E091FAAA55,1127657CB2468AC8326CCE5C11B708B15948AD4799D1AE9ED0CFE21EF8CFD5290FD6001379BF64009C3EAE38E32001ECA8B255A2EEF7451CBEF8EA5C9F287EE6]],[[D44EDDEA2F9290D60306550374F5E775FF5EE22F236959DA81288942BBBB87E7B99AB8993C54A5B2FB5A0914884E6DED5449BBD317804A2C03A10BF74EFC37E8,7265E069CF9C38AEA748B76A68251EC80C635BD17B17B30C4D1BF53C0C12CEECC57447394654BCEB49F8F187219690078BECB64E1056C12BE1F5AEE481A0223F],[0EC58B6E3A34C6D45BF9CA662FFAF3898EFAA5B123750685B14525AFEBFDFA9B93C65A0323D901D034AD60B2E69C1B53E18F0E4691032974499F367E8B63509A,12B703F0B35582CD41D6D2751A783F517E3C84FEDFFB989CA876815EE8E707354F7A93EBCB776EAD07DA12C669FD83BD5AE0806CB8B96B2A72E10CA7467B4299]]]",
"FP12compows" : "[[F0C40250F63CE7C0DCB9EB7BC701BA488973D0BAD8319E61543C4FB3EA93A30FB0BF1ECF0EC750FAEFE3AB262B5FEBA6D3F77E183F5133F1A0F4899A6173CE46,C2249658608280590079005594D57211A629F72CD4EA994A5D28B113631BA2B93105E49D3D141782866C20F75B0B1DC68F8B13FBEE5A89D97AC51D49BDC69A34],[6CCD2E08CDEA1F28CB12509D24DB28382495716FE67BCA3AE3D0077C75EE0387AC2633B12D657AA64A51571B91D7E0F50267D0E4229B2D8CC8A444774EBF246A,55E21E178F430065C2B2AEA719D7942F169537BF2F0DF7C15C9F95128C4062B103F5DE45BEA50E54890F2CE5B3C0695730E9489FEC92D5FABF59695F135C2680]]",
"FP12compow" : "[[4CCAFAB13AEF4D786D57003DDB0880CBF711080E1F068D3E08FBF2D1AD58111FB10B906A68F838C6CC6AD22345C461D7C0EA71E23A21BBA17BD6482DCA292C9A,2DCE16E269E1D6365D0FAB3D96531F3502E461E27290C68EB4B408C46D08D1E74CBF71732F7B817D9D13BC1F362F5F19F302E97AEC277B836F4E44600DFA32EC],[153C9A3A2D83B695E8DA0924129CFA073C90E58F2475CF29C93E90937A950D998072D2DB83DB3AC1821D1914DC2E9FC90BE1161BE61E8F5F094ABA763DB272C2,8BA0AEC79D602D074C7A4C883301ABFF3E100B24535EC9A05CA704DB2B09E342DC876BDB1A37A232AD02EC4E7780B15200927D9CD3BDC3D94EE4ED01A15DE1FD]]",
"FP12pow4" : "[[[F33FAD3DE39BF2B9F0C5EF1E746A222E6575A282D5DB464A3E27E4A977EBDEA461FE9C8DCF7DFA3F8345284EC803DA192A4CFA99730AE5CA110D016FE75774E8,08942B0CDCE9723985B2A4E88C7FEE241637D66DF7E27BC5F90F4460C36835399732A29E8EFD4A0FE86DA9001B20D290D5E2A5C74839E95ED1E485E27F9B8768],[CE10027DE46A6A6130E3BCD34AC129A809307976C36382F81A7F7FDE58B3F7C4FE8BB634FAA354160B125008D59A6141AB76E40773B4F97C8F8E8DFCADCBAAAD,5DEE931222620A23BB7C9F82FA61092423562FE52712AE1636B9D6BB14388CDE47519382FC1442FE42A81C617A6FAB0562515D146A5DFA72B06FD2D83709C39B]],[[C707BA27BA7C0FC6E19DD6860833DB51F47204F7110EDCBF2CE64C30F22DF838AF058A5419BCE7417F2D66631BAA8ED1B41F8A75ED45C90BA90F4D4D4C0DDBBE,A271083D85B89136686B2E9D6689B4E989AF9DE4D7380A5FCB0227140BCEC2F50871EFADB7E6A8D4BAE196A73490829B6D738EBD45B132D90C7A3393114AD6F9],[70D119E45F266B3E3CB07963353464B248B63B940541BD383B6CEEF0F2AEF8687A4576FA4E6FD3B5100B38F5B7D745B849B9CD71AEB73575491639AB654868DE,05F31F56BEA6C3E225A3ABA107C8BB7EDC8BB71DFBA4FBBD1E8C4A750CB411C50BDBC947E1017B4606516E6A29D63AEACAEB7EFAAA22FA60A90F5D00E20EAB19]],[[5A86F4B4C3C559EDA5DBC563F2F966AE91D2A659DF6EC8673641F509FCA66AC1C5FCC3BBFC5B4153EE7B95F99E65FCC8026A99D6237BB3B4D1D34197E2E1CC67,0522F2CF6E1A0972498C93013A35781276E81FB4494A495EE82BF769DAFA0F20E7771241532DFB0EBBA40503E1E95D008F048BEA46724CDB354F1467B6A60612],[D02D4FFAB6418C8EDE2FA84225EEC18CA7D552A5513BB2576EE30ABBD8E05D725349497553D4265CA0FC510A0DCBEF1FB70F519A5B94DD5BC27338788D6AD623,1F21E4D0F88E9A232404D2E59ABF6EDED43ECC13215673231B8702FB5109EE446C6A98ED6CC77D9F061ABBC830A4690CAF7495F98A99E6A28CDC455959BC981B]]]",
"FP4trace" : "[[6350BE8321CF5EC45A74848DC67F211AB3B75F2B848103B8411E2FA1CC6AFB13B687C1FF0B0D6B06A98F7F44B7984F6B85189EC97349E61E6164B3FCFC0D7DDF,5FB33DCD57211985C24ABF2C86B23AE74E69DAFB50BC61D72E0E3038500265D249E71CAE99C9CBA4036A1C998EFE79F14DA5043CE0ECD14F05ABC02C66D3D5B3],[4449E9D88198ABC25705AEAB3624A04F9FB37428CE4872972E02D0BEA6C531A8F4746FD21DE0D1560CD3DCFC27BB664ACAE769E283ADB97A5CF5ED2B7E618E56,B4D0CBDDA7108769901F196E78F1AAB2EBC5F10FAB591174E9FAE3D7DCAFF141A2E39E66681EAC387955504CCDA8D799901B39707F55336C985D0B76AAF0F50E]]"
},
{
"FP121" : "[[[5108C86A0735724A3BB3E7B39A9B5E19FB6A88B3371C6BC9A36E8C0AA690F1C28004EE4261B7756EAF44D87BC0D4AEFF3D6CB7B0A0EC0C5800F5587B7179F524,6F720923E3CFC2868FB8369B5226D824F2B15E150C352EDED7E9EAAEBAA3DB70029B5F6467B12918599B5078AE10AF346E2A003B5D1034C12BC257181EF569A5],[6ED3DA0359BAFE97D1AA10E7E58AC727BAFB821D54CB5907A5AADB536E93A49796BACACB96CAD0D499CCB65D6214BB2DDD30C64BE43D4FBA6CE49F98E0AB3102,9AA0C13B9D82DC0102B044121766C58F1DA1D5840CE66569730E09606A665771199B704C235DFDA30FE0C943E4F71982531B5C74F07E3541B57A51912AEE26EF]],[[F7F4C9E58AE2F6B344415CEE24D5B67433A37B1BB27EEE6052B45ACEBD69ED9DF3434CB0A2AFF0D8B8C334980930514FC54DC8F5A5A15361911C4839E379DF7A,45AE8BBB6187C152B405E89DD58A4A4674DC3137E0B3CE2383AC46D100F24B5136F8AA3EEE9AFCFC837B2B18F3C181675C2798063C7E83E66B3FB0EEC1DE7367],[51C86A9E264E5DA245726931D9F48EE399A1BB8C196F90F87B1F58D5C4BA5F18226152511AB57BC751E85AB1950BC6051F2B0F65AC252160140F4A0060E5C3C3,E5CD5E50FB74AA46B49972C183BB8CB10AAF6606E205DC39772814F726AADCA7730B450B920458F3F7CB79D31D9EBE16520E41664653E04C567C63A8CB4C762B]],[[CB71150D116E2DB6C096BFD4E1C00CE3514F8B4B03E29932F26BC21C16FC29CE792AE9CB3CC699DA98FDBCA86CDCF90D1EE13A29087FE775D13CB701F61FB170,D879FDCDAB9F6E92BAA39739438EC095D2879BFA3A457F590129094152641DFBD68F6C3C229AA1A335B720A16ABF7CA6CCBC0666683326AC06484343C6807567],[9E7D7C566DDD3B4AE69DCE992696790149E36098C65F70BD5D0CB64F4754EA8522B1338D53539322A7846046DE3F3CC85B2E31E5CD0CA3D2FE562ADEE591AD29,CB57F4672410887B9A3BF8F2E23ABF3861228C81827658B0550DEFF2009A398E801EB46B83FB093A84715E6F3E049C14B26C651C4917FE43A2C3A32FB07562E5]]]",
"FP122" : "[[[068E150BA94B7DAE1A3026712BD0F121018509BC21F62959397227A088D905A7B13CECBA358724969450CE8C31C2764E9C048980B18A74FFA4C5554EF53F8651,4E31BFC908B29B726E8C8C64DAF84393DBF82A0285BFD54DA4F99826327EADB8D91AF249A789F1D2911188D3DEA5BB53D6C1DB3D8A5A59460F24779FE37F12A6],[4BAEA1878420A6AD47B2A7ADDBE6BC7E6E7DDAF5E9303CBC2250978CAD90D69531DD55948164FC76CD0D0ADC56152C259F8674107743275C8869A8F20B06640C,B989FC0D50BA91EA959B952C76E3A93CD9BBF3BBB614D6C707A62ACC1F992A3A6D8EE4C2A327F2F5A3882E2D6AA2ACB3C4A1A30B3A39C8524619869B512D1272]],[[FFCAC9E6AD6F6FFC9841241EB1F41C4BE15657F5B5B4D0EEFB7AA11098AE60A4FAE0B94B26FBCE1E8E86938231D1EA328C61314E6A2089FD0F9171A4984BF85A,9BED4DCF2B2961153F793C111B89CC8AB5267999445E9FC7D8C0D360314A06895D957C3FD4F311FACBFDA183E5B889C366A0A56BEF702EBA5DDF864BFCE3197D],[6797DCC1EF3C86B36E90819F994FF0EAD1BC2349CA825163F576356EA9A8C092DC2CBB4D3253D78F408D7B57D317A73B3F599C74629E5478438541E8AC4E5E4F,2AC14B95694ED9ABA9001941FB4BF40849B8E0C956CC02A726553E848D7C582FB6570F53DD3ACA3C63EC3200C56894A01882E3D028237EC1F91BAECFC47D29E6]],[[B2E04B6062FF576B4ECFA58AB2037AD6310DC50E52C6F42AF77388D539931F90FA455988F76B1A12291E0AC29383109DC189D185AE9BE5FAD639D2AA9C6A0157,300A576774121C5083D8636AA52995CB631EBBE2355FAC966A2C56C06F0FD92057445EB361180D8E27953D39C95B0B05069E98BA6478EAE92552DA2E066BC73E],[B5AD7C1C70D6F78D6C756A824FBEDE29C0E4FCC7857E5355CC935C6A3A5A8B4E3F788A53A90CC1782EB404E73DCA4FB8290B9B51E6F414F62F9CDD1D55321857,B0E9F7AFFDDB060D59930A87A414401D34BA05F75E4BB9B99822894BBC4362ECE5474D5FE1BB2E9CC3640BECDEC9531EA3A9C8931F02284044B2517893C92753]]]",
"FP123" : "[[[33154CB5418EF2817E10836675C143CA6CA7F439FE32BBB4B39FE50431647091A8A4FEFAC32A1B70D1F0FE8A80C9A7F225E6C6BF8A36233E734BC047D84F19EA,226CC18CED45DF4549E83512FE6E166309B59FC31F50FF776EE356EE8C7390C74C781F3EE11F456A350AFE614E003338FA2BEFA4B39E8981D0898554591569EF],[8C559676C14D968CBE5C283EE473DF34F4CEB86EDB8401DE90645D19E45937B109CC19D17F36A06627D22F1818A9D1573C592DE5CB6244CEA062424E45F5E2AB,6DAFB5F9D9517647879CB47EA10FA482385F5F2460598369E9EB6A70CBE6A0C971564F7937E32FA44AA567F6DC33FB9E57AE88EBFAC5CD781708D90A7FD07E63]],[[AA863F60C77F59DAE3A2C4BF998DAABB6A5780BCB381167089967BF04B3D48C981D571D18FEEE685448CB2A7845347EB3309A853019EE5987AF0CADB7D650E7B,99942C276B854E11F33D47BEC07EB12BD07152D9075A1E252181224110498EBB3645A21F868AF695D5AE884696ED52A9DCAB45EB249A2AACEEB97D1E2ACD69FA],[E41CD4B2EAF4CE8DD6BF4EC88124985775BF920E14B530E5B0C8B33037EDF85E8B98EF669078CB0B5C25A46701579376ADE18206C0E048054CB1CE32A24445A5,28029B1F6253DB9CAF0BAF0DACBD363CA31BF90241A3C9B59F0B63B7519C46BCB48D20C7654A79946F481F4579D79B0DF43C302655301B864597692A1C6651D5]],[[86BB9906E7C8D07FEB63BEAB18962FD038C43C2B0E080AD603BA139B0837ABF0ECB8E677BDE060389D164CFDFDA8CF0DCC7FF2488838D00DA3A932B6A938D08E,C4B0D43FC57AEF1BA06823F01684CEA4938E9D1B7EA15F83491A43303C1F7F1C80D5F4F6291CC5723BD88BCC512736A2784716A3FE079820250D17499BE59907],[8D34E396039443B0B70B621175B5B944EE73D5EE48879739E847CFA5C782640970DFBA78CCBAC598AB583F663BEE167B2ED1D52FCFE46EBE86D7A4DD146C77E6,8A4DFD96DD215430F1B6F7AFAB5A489F43A014DF52554FDD109770F243876469FF4C09BCAE4885574D13A931637B681539422F9884CCC09A4B99FAB62E1DA8B3]]]",
"FP124" : "[[[804D3330BD2AB01196D0FE36EF5CB474B7FAE21C07073CC6C7267DFEFFEFAF6855657D9ED2316A54B8102245ED811C25F68B83285E018E523D51C860FDA113CE,CFA684DA9F22F3AABF46D658B979C9836F620BB2951C2F2FAC820209BF7B3C094D62A60439EAE47642F9BCFB1EAF8D436DB94FF2F58BF6E110A802C2DFF44C9E],[2E709D621386A9223F67B12C5C1D76C5EB57AACA8DD946762141042C11CA91B7E307E93686C3CCB4FC1E45FAA4AA81B376D862C1F3022AFF437CE49E677D223A,80E0435F942B3D5C94193B8C4685F9B175AA54D6FDD969D51187420DECB4FBA1AE19C014788528D3401347B5936EC8852D33308B3551A6073083B334E762C5A9]],[[444A983333FBCBE7331580E8CB71BABBFCA05996E06A2FEDAC6758293411F66B7526D7B660167E3398614FC1F39E27664EE79D72C4A4DBD2C0217AA41F3E61AE,B541D88561F1AE78451C4AD3B59EBE0134A7F1199C047E2F5A15FE8D5A4D8F1DA09E268B26C4D273F2BB71707A4CF157C671F55040366B005634199FB882079C],[DD2C37E3CB91EC01EA45C52B270B60E3E92575E8FA5F30ABCDCBB0F63A507CEE657D84B99E9353E483B32DDEF7BA03EAFE9996F454A3B09D2015E22070D7C41C,63D2C2E1F7729A5C39EAF39004F283CF582B8AEED9F5AE091F5C0433CC732A4B4B5CB7C9EB944606BE175BD87412394F7382AC107FF770FE832C2DB697CE8B77]],[[B0FD559550AC20AC1BF4D2E472B8EC514AA1F17C08A27250F1F6A54221D417C2933B2999308CD1E98BEF8175B03A21DF6058A136E53BB4579EBF3DD01A423DC9,589BE59F7793A09CF42D04989675C020D48C089084BB2A84E9D18BD40AEFF6C0B0DAB7691345C33B7142C22EE06302FE6CE4A9D42F1E3E08BDDE75247B844F89],[8BC764638E3B7B59AD1301828D2AEB206626F9390F7CB480FEBA5AF5453A85D7A8CA7DF839DED025782A880C5310F2AAD6362ECFDA42568E6F1571850FFE4386,0F01BB2689C10CFFEDAED120EBB8FCED88C11DC1A860FDCB481CD87959EAB7D73E23F1C60FF29C5E7DED80082D4BCEA3C8D7FA25519A58DA1E6FEB4419EF9172]]]",
"FP12c" : "[[[42C303011725CB23F313DBA68807B10B94B76ECD3308755D9BDABF2E891DAA800242565524BB517DD218C5C28A20349241CFF44D82F5B7A30FE743E6CEFDB18A,8E7FFC591EFC2DA96C9B0B8488B7C049522CE1094B2096487BE3E297F2D71674FD160738C64AC4CC105D05BDED4C7CEA6D4875EE5A58B54CCA058C57CDF20340],[C8F995CD57E1F08E2485CE5DF2267B1C9593515CF72019522E80554F5904A84F44B746BB9DC959C112C7ED2AEA300590043BBF884647170BDB1E8225A6A0C6B4,C0ABD57BA749733C695B78AA7B9338750A9B64654A7D62DB605B8ACE072B86C5FF9D97DD66B7B1AB3F48FB6019009AAB2FC21CEDAD0A8783C53AA6EBB1F7B7CE]],[[743FA90BF663F4304DD0802F55D4F0A3E8A0BF3E9C3059BC4431613B32886D26DFD3C770876484A00C8FC3780EF721B100D272C02259B83938502182143D734C,0A772213881887481FE6DB3AE79E1A396B979EBE32D02AECAC2A11B318BCB95C4A186136334D6F832B73AE7E975D71A8AA63C8FEF3F7ECF636B8795AE3E6B969],[30B11A2B0FEDE5AF4AB68E654EC28836FDB286319CE3AA668D0F94E2FA6E7DD045F5743B5CCF3458253B7B8F8B1CD285B7177182B08148B38EAF6A95EE6BABC1,4C8A6DA833F2122F931E74026F67E70642E42CADAD7C69D321648D0D3FEAAC536A44E1AB725E5DCAFDA6CDFB581F6FDF66373CACB876A1A03447AD697EC1E360]],[[58DCCBD6B0F9D9B58B1711B3A18CC4F45CF38CCEEA2E5110E4BA6D53B4001A099C476C0131C3318CA2609024968A2B366CC416AE1187AB5C7FB2BA40E5A7CB69,E0B1AFC7798C63B0873265E262791568B6F1DEE47689D4A72156937BE1CBDA97974D5008E56919A4D293E2F3F3700DBF28E5C73A91E1DE5B43BCD0C1B5EDCA32],[78DDF90A165019F044966A42D694A6FAA6C4AD5F45D9E90D3006FF914937FA847E2D71151F7C4133425610DC7EA0E9A6F147D353B0144FC10D49632C8856D2A9,B5B2BC417ABE0E90683E13340D53435AC72BC9FDEEC684A20BD8FACDD660E6F08EF56CCA264C66600DDD41FF9C32C0225B9E0E953B3CD85349B555E76A9D8482]]]",
"FP12smulymtype" : "[[[068E150BA94B7DAE1A3026712BD0F121018509BC21F62959397227A088D905A7B13CECBA358724969450CE8C31C2764E9C048980B18A74FFA4C5554EF53F8651,4E31BFC908B29B726E8C8C64DAF84393DBF82A0285BFD54DA4F99826327EADB8D91AF249A789F1D2911188D3DEA5BB53D6C1DB3D8A5A59460F24779FE37F12A6],[4BAEA1878420A6AD47B2A7ADDBE6BC7E6E7DDAF5E9303CBC2250978CAD90D69531DD55948164FC76CD0D0ADC56152C259F8674107743275C8869A8F20B06640C,B989FC0D50BA91EA959B952C76E3A93CD9BBF3BBB614D6C707A62ACC1F992A3A6D8EE4C2A327F2F5A3882E2D6AA2ACB3C4A1A30B3A39C8524619869B512D1272]],[[00,00],[00,00]],[[00,00],[B5AD7C1C70D6F78D6C756A824FBEDE29C0E4FCC7857E5355CC935C6A3A5A8B4E3F788A53A90CC1782EB404E73DCA4FB8290B9B51E6F414F62F9CDD1D55321857,B0E9F7AFFDDB060D59930A87A414401D34BA05F75E4BB9B99822894BBC4362ECE5474D5FE1BB2E9CC3640BECDEC9531EA3A9C8931F02284044B2517893C92753]]]",
"FP12smulydtype" : "[[[068E150BA94B7DAE1A3026712BD0F121018509BC21F62959397227A088D905A7B13CECBA358724969450CE8C31C2764E9C048980B18A74FFA4C5554EF53F8651,4E31BFC908B29B726E8C8C64DAF84393DBF82A0285BFD54DA4F99826327EADB8D91AF249A789F1D2911188D3DEA5BB53D6C1DB3D8A5A59460F24779FE37F12A6],[4BAEA1878420A6AD47B2A7ADDBE6BC7E6E7DDAF5E9303CBC2250978CAD90D69531DD55948164FC76CD0D0ADC56152C259F8674107743275C8869A8F20B06640C,B989FC0D50BA91EA959B952C76E3A93CD9BBF3BBB614D6C707A62ACC1F992A3A6D8EE4C2A327F2F5A3882E2D6AA2ACB3C4A1A30B3A39C8524619869B512D1272]],[[FFCAC9E6AD6F6FFC9841241EB1F41C4BE15657F5B5B4D0EEFB7AA11098AE60A4FAE0B94B26FBCE1E8E86938231D1EA328C61314E6A2089FD0F9171A4984BF85A,9BED4DCF2B2961153F793C111B89CC8AB5267999445E9FC7D8C0D360314A06895D957C3FD4F311FACBFDA183E5B889C366A0A56BEF702EBA5DDF864BFCE3197D],[00,00]],[[00,00],[00,00]]]",
"FP12smulmtype" : "[[[E56DE939CF184443A897A42A4FD600F190412D2FEB6FA414ADEC4462E938207B84DD949AC1EE256676530F39DDEC8C9FF52BAC33095C5661AF02524A77F86268,51318D17DD520A9A891DCCEEE8D8F528E82E7CA4568595024FAE9CC00755587224460F27C45C48D52762792AC5E766A517483672FDCE43F02C5F0DEEF7584896],[907D02ECBA02DB3039C95E4029CDDD393282A9FA2280FAA92E1C4FE78B074FD7AB476D27826A492491C4E97301A8E5C28D590DF26C58950BF662D829A5F17ECC,01B909920FD42FCD8229A657820C755981F171FA9D2C66DBB0FD1C75882DD8455EE123D463D2B7652A2E18795DD208AC36FB9C1A411EE0F13D2C163D078855A1]],[[0496AE023FF85A9DB99F1DC95B031FB37958E41BFF7A2B2FE55FBA52C4650CD13A2E7018372BF587E891DC7197F2C71CE32A4F6EE06E5C1F0AD55E6E6B319437,5BB80CDEB84042D9AA2E091F862F91F3972C9C9BCCEC24D94BFA35E6C507BAA045895E31245F8CE5D31146761FF7FE4BAD1EE30E139807B7FC6F9046FEA99E3E],[96E81F896D9555E136A605D486AA151E3004C596779DB391F91E29CD0EE1551983F7407DC0E50B1F55BA1905EFB819FD36C4C3E415D691CDB3BDC418715A249E,92019A98BA388EAA36CF1713D05994F725F81926B4FBB79757012B4CF587ED4F704099BF079FA3E731F408F23AC06688A6AAB62626FA83ECDADF6AE220321203]],[[B47DDA2BD503F8C4108031F78B5E5C171A88348670644701B2FA3CD4F7E7F12487AD1B7F402BC315C6E3D9560AC896EFABA935CF7FA5C90C74FB36304A0E3FAA,7D5C1E83F06EDCB458A18617FE9464D60BEF98A48A4AD13E4313B660514EC30ADC20351EF0162A1BD6907B4B0D49F3B2B193320F58E50684D1692946A2CF8FAC],[D3F1384C325388BD30BE73B6B696B8D2496B7390918697F1DE6236C620A8FBE397EE79BD1847D42A43F6775BB8329EDE04CB0AB5B0537566233283F00D8B34E6,F3A1A08AF465C4488AE783231516D0086B13684B76963C92292218061ECA4B150907C7C0CC230708F702CD00467FC12B537F03063C957C64479EFC5FBA845891]]]",
"FP12smuldtype" : "[[[EB8E458888BC5D419C611C6CD52710E371543B0196B223AAA4726E49A5D38E3CD13B19DB8962EA932F50DC0CA941F2CBEBD4BB0014AD96C0E164EC0B5557416F,85078D00280479AD7FBF8EA22800DD7B13E8CFFF50D9C8771784194FAC63F72922949AC1CFD286AEC9FD4512D37A87DE32B8A4FA2D2997EE3A8E401CCE1DC321],[317A73C68A04914ADD29B04E02A16C3BACA2F273B9BE80C1C8232F3512459BBC07872D9F6B61651FC6D37B963E9A26303AF74EEBAFCDC38CAE6CD352372F524C,6148C32D3B2DEF32FAB46ECCA7CD20107F78D76FE00F1EA98931ABCD3DD99EECFB75ACBF7BA2BE8026042D4E38AB6C1B79BC07660EA9DE1C87B85DA19686EEE0]],[[E49BA7F12DC1708C9039BA24ACFC9AF75E8B3354455353E7D0E8283B94D86A3AA650CE49ABCC13BD6EF8B7FF18178869667DCB95A14270E0CE6D9E9ECA516401,AE0D22371C02C6FB0C8EF1A52BF5F1303F2136F01A09CDF671E6C33C8F7DEFD98751760B56546DC8B50D88620D9CFF0389823FD0D397B1EDEFE212B9D70ABE66],[F2B29C9048FBEA4F35990A31E21DE423ADA3E44165BE67FA820474747DD621D845CE1A23771E1625A20E6C92D321909537406D3D3341528EA86082AD1D6EA96E,BD181ECAE23B5B6556EDDBA6D209F8496866B4E2CEC93DCCFD3400499612A2ACB9195DFF98EC9A87458AD504707082FFBF28671491B7E6552F9B50EC5D19FBA8]],[[18F2F62444E23B5CDEF53C4AA0BFCA2519D1E9B4E7B98CA6D805BB01884EC8EE56956F5352B5300A19450DE7D2713C7B5CDCE0FDB6E0A74833657C6913C01F10,C9F31FF5FF92FD2F55608A8BD7A36CDD9AC55F1A1C47F37584E02A81DE99188C9B3EF8869B333C8B1627D1740EB96F5949ABDB92C3D620547D8B0ABFEF501941],[935FF7FD11652CB9CB08552A0AB9FF3BF448F48D968ED7C037FE67C04E46B99B2AA8AACC3FDEC61301FC97E1603FF70A1AE379E5E61223BF90C4182CEB121787,7A7E5C106A3354A20176E1DB9FAF6AA0A8C336BFC031FCC6DC7BCFF5C4E80AE15A085A54033ECAC702BC8BD70E73B3D58D63374FCE9843B741532E0FEFFD1B52]]]",
"FP12mul" : "[[[6D327ABB1EBE22BB250B65A7F4CDE9588B73F43D64FBBA04960DEF41F5723DBDCF9D757F945435A5B01A947979234A7AFB36C2632AF971D5FF67A6EBB2C9E55B,635D946A25833C2328977E41BC68DA90492203824BC1E9DE3EE9D3AA5577C1B5E88538F0F37F595C43F62AE4F1879D8E1853307AC553D2B5C3E61A2FF7944D4A],[C052344D934B96ED01556D4A772750DB70F8F9FBB5B485ADE0D4C3D5A3AAA867C5202A65D12030618330F51985C9F0130BBD7CEF3A0D30B9DA74AAFA4DD9CED0,75FA22FBA3F903D69659C4744941519928D662930571C008895B62024DA5EC6D1FA220B5B2A19FAF4B287D9A3F135F3BD2536A17A07855FDCB6008449A203A9A]],[[86E4553C25947A98E3553F1B0E26B5C488639C645BB1A8BE1C4831CEA0330228B3833924676C02E28400EF62264B07E2F503B4C0309BBB4076D7EE7FA1DDBE,56ABE8F5B0A7209760A4CB99C49ACB643400AC07E1426C89D8CCEC0464BC98D4B6D7C85E8CA45787211717E2B29964908F52C4D49C0C3ED4B29D29B24D9D3C31],[4E9BC979A8B2E6063E37059C84E5FE8D224FAD0AE1377A7F0521607411EB5F2E16CD97DB0B95894817CF2F44784698E086BE356B1B664666A82EBEEAE9F8628D,0B5CA7690DBD62D6901BDAC7DDD626CE5C98F1582BEB6856FC4E5BD1C5786D6BF9A27D71A0924AB6A8EA740941D7F7CEC33B1561C00BD0F5F63B89706F315C62]],[[F2047040C397EB4A049F6C9C66122BAACEBAA5F051EC993B0E7B692EF4E8DF636C74EAC062195F34908445F117DBC2CCA08A69F5B13D461324B11BBA6B60061E,09C16F992B2B442D4ECAD71A9474240B3EC43A70AAC4361FA66C9393D348BEA9B6E919B61FFB7AF5A3A7786FDBFFEE5B07790E277F9A7D2694B016890C94C5CA],[840DBE900912B7C5D9223FBC3DDBA9BC19B79ACA6BC114429FF47B56DD016FD3895FF8AA520E49D5583FF200901D22EAEA9F2D229E2C47F8075FFD3EC191B222,4C5621509AE7D19C3051E216BC5CD28B27AC3EE1CEC29AFFFBB8EB95867F15F76DAEAE5D02C524EC74BFCABE7DA9C1A9D9BDF102596B6411A53F22B09D4A037A]]]",
"FP12inv" : "[[[5108C86A0735724A3BB3E7B39A9B5E19FB6A88B3371C6BC9A36E8C0AA690F1C28004EE4261B7756EAF44D87BC0D4AEFF3D6CB7B0A0EC0C5800F5587B7179F524,6F720923E3CFC2868FB8369B5226D824F2B15E150C352EDED7E9EAAEBAA3DB70029B5F6467B12918599B5078AE10AF346E2A003B5D1034C12BC257181EF569A5],[912C25FCA64501682E55EF181A6F255746CA898483FFFA001B11086DA31D4AADBA8C045315F3C7E44ABFAF81490EB4B3B4398F827B0F14AD480688704202BE31,655F3EC4627D23FEFD4FBBEDE89326EFE424361DCBE4ED9E4DADDA60A74A97D437AB5ED289609B15D4AB9C9AC62C565F3E4EF9596ECE2F25FF70D677F7BFC844]],[[080B361A751D094CBBBEA311DB24360ACE229086264C64A76E0788F2544701A75E03826E0A0EA7E02BC93146A1F31E91CC1C8CD8B9AB110623CEDFCF3F340FB9,BA5174449E783EAD4BFA17622A6FA2388CE9DA69F81784E43D0F9CF010BEA3F41A4E24DFBE239BBC61113AC5B761EE7A3542BDC822CDE08149AB771A60CF7BCC],[51C86A9E264E5DA245726931D9F48EE399A1BB8C196F90F87B1F58D5C4BA5F18226152511AB57BC751E85AB1950BC6051F2B0F65AC252160140F4A0060E5C3C3,E5CD5E50FB74AA46B49972C183BB8CB10AAF6606E205DC39772814F726AADCA7730B450B920458F3F7CB79D31D9EBE16520E41664653E04C567C63A8CB4C762B]],[[CB71150D116E2DB6C096BFD4E1C00CE3514F8B4B03E29932F26BC21C16FC29CE792AE9CB3CC699DA98FDBCA86CDCF90D1EE13A29087FE775D13CB701F61FB170,D879FDCDAB9F6E92BAA39739438EC095D2879BFA3A457F590129094152641DFBD68F6C3C229AA1A335B720A16ABF7CA6CCBC0666683326AC06484343C6807567],[618283A99222C4B519623166D963737DB7E2AB09126BE24A63AF2D71CA5C04C02E959B91596B05963D080597CCE43319363C23E8923FC094B694FD2A3D1C420A,34A80B98DBEF778465C4070D1DBF2D46A0A37F205654FA576BADF3CF1116B5B6D1281AB328C38F7E601B076F6D1ED3CCDEFDF0B216346624122784D972388C4E]]]",
"FP12frob" : "[[[5108C86A0735724A3BB3E7B39A9B5E19FB6A88B3371C6BC9A36E8C0AA690F1C28004EE4261B7756EAF44D87BC0D4AEFF3D6CB7B0A0EC0C5800F5587B7179F524,908DF6DC1C303D797047C964ADD3145A0F14AD8CCC962428E8D1F912570D13D54EAB6FBA450D6FA08AF11565FD12C0AD23405593023C2FA68928D0F103B8858E],[FE2BA1DDCD10DF0E8EA8B8E88421F32CFC01A7C3412007D4CE4324C44548D09E1B8DA29A68D9D17C20D690570AEA22409C7BF47B5D88134E65ADFCDC75B06664,3FCEDBDC54B62317EEE87CB191BBDCC1009460E1C281A8B52FC1F57A8980E27DB8B6885FAC6D7BA2F7C2B8ED61ECA889BE8F23D4AE7C1623EFCA8768B8158FAC]],[[582387E4D7A37E66116363E5C4F054F78B7EC4EE09D877B71B277DE6A6B3F77E9142D36AB67428A592BEBDD8EB2ACC1D914D77A787213DB382452AA258DD51D3,F0BABF91BC05D2B169CF5ED3A629A96B53E2CBA85D55CBA1D448B17C507D2B191F54C3088333CD990DF8CEE77B608E238C0CAC0EFBE35EB039F6D75ECFC2FF95],[5935E0A22193C872B3B646BD594E6F65F7F0120C89467162578430572112A24A2233455EC2D50A0901B2F47736DD0B89E9BA8E378FE12CBD0C407538881C6FCB,4FD6CDC243FF56F5968BFF6F621F2E6AC6E600500DC21B73D3746AB43A57065E9A1A70B27516C9E1B01D53F42D2B322DBEB73AFDB3E04F7646489E93C7A2CA48]],[[E7EEEC3F33B0E8FCD845F5CF475433BCE0CE83B3E39642C001490703D84F713B12D73CDFDEACD2EA47BB31D977300DDCEA30BFC357E0191D4CDAF925C8E02E42,2F1E158BA6FE4288D6F30447A1FBCB992421CEBEBC538AB290525D72214E161B4C18DB59CBA3BECBD4731D808E8CAE57498A041DFB5E68DD60CACE188E109764],[FB59CC5E9D648D690DCF706C3EC9F9BE8AA6FB6ECBDF514BE7722B199BAAC312643AFFA528C6A04C8861EF64458F80E0CA9A97791DAC47EB9E16C15668B2C433,F4721A917BC4A702E06EBBD8A598A7BDB91B071F50CFBB829FABEDBA6E9AB2A275D0D2567E4F050C5DB94F1F5D8ACAF2CFD6B01757A0E191FAA6208688331F93]]]",
"FP12conj" : "[[[5108C86A0735724A3BB3E7B39A9B5E19FB6A88B3371C6BC9A36E8C0AA690F1C28004EE4261B7756EAF44D87BC0D4AEFF3D6CB7B0A0EC0C5800F5587B7179F524,6F720923E3CFC2868FB8369B5226D824F2B15E150C352EDED7E9EAAEBAA3DB70029B5F6467B12918599B5078AE10AF346E2A003B5D1034C12BC257181EF569A5],[912C25FCA64501682E55EF181A6F255746CA898483FFFA001B11086DA31D4AADBA8C045315F3C7E44ABFAF81490EB4B3B4398F827B0F14AD480688704202BE31,655F3EC4627D23FEFD4FBBEDE89326EFE424361DCBE4ED9E4DADDA60A74A97D437AB5ED289609B15D4AB9C9AC62C565F3E4EF9596ECE2F25FF70D677F7BFC844]],[[080B361A751D094CBBBEA311DB24360ACE229086264C64A76E0788F2544701A75E03826E0A0EA7E02BC93146A1F31E91CC1C8CD8B9AB110623CEDFCF3F340FB9,BA5174449E783EAD4BFA17622A6FA2388CE9DA69F81784E43D0F9CF010BEA3F41A4E24DFBE239BBC61113AC5B761EE7A3542BDC822CDE08149AB771A60CF7BCC],[51C86A9E264E5DA245726931D9F48EE399A1BB8C196F90F87B1F58D5C4BA5F18226152511AB57BC751E85AB1950BC6051F2B0F65AC252160140F4A0060E5C3C3,E5CD5E50FB74AA46B49972C183BB8CB10AAF6606E205DC39772814F726AADCA7730B450B920458F3F7CB79D31D9EBE16520E41664653E04C567C63A8CB4C762B]],[[CB71150D116E2DB6C096BFD4E1C00CE3514F8B4B03E29932F26BC21C16FC29CE792AE9CB3CC699DA98FDBCA86CDCF90D1EE13A29087FE775D13CB701F61FB170,D879FDCDAB9F6E92BAA39739438EC095D2879BFA3A457F590129094152641DFBD68F6C3C229AA1A335B720A16ABF7CA6CCBC0666683326AC06484343C6807567],[618283A99222C4B519623166D963737DB7E2AB09126BE24A63AF2D71CA5C04C02E959B91596B05963D080597CCE43319363C23E8923FC094B694FD2A3D1C420A,34A80B98DBEF778465C4070D1DBF2D46A0A37F205654FA576BADF3CF1116B5B6D1281AB328C38F7E601B076F6D1ED3CCDEFDF0B216346624122784D972388C4E]]]",
"FP12usquare" : "[[[0BECC5FF6B9B08C79486B7E5B79DC3CCEB656BE8DA0FAB8C887031C6C3CA7EC9B44728B9D9AAD0B5C488EC9608D6EDAA9F584A6016B90859AEA2B9B44C7EC852,9271BD36B6C5802E3807C9F7524E5FDED1FB8A5F70F847360F31DC3285A828EC0634EB9E1A322E9771853D6057215BAD73C70606ED01877D8B9D7C0932755293],[D3337752BFC84A928E380DA1A137404E3828A417D97A9EC6C561C6C023D6FF26F8508500406566BADBC0D2A1CC1F289EB6297B479F4507C8B2B4146C98320810,596D871149701973BDE046804BA710D72A2334D261447D33ECB495FA5C53391243BF454628269901A4E006B04261293D267FED00DF8C5AAE065EB759EBDA2A6C]],[[765FCBF95A3E33D2788687AB12B8B84928C77A02AF5F6DCB896E57E1B4289223D8438F022F86675BF906EE3C9AE045EC804C9FDD37BC4B633FF7A44668811ABD,AB70850E55FE0291F38122238B04E9A2D44E6BA37F9EE66469D6398AC1812AF86A799E99D0E60A93680C4BC1E61224F5EE1B406203247B66AC82DB6BBC1BD13E],[59C9CD06E1FBB1AE3C0A51727570E791F3DA57FF5D3FDB6934F852B791ABC1348DDF2401F303D211D0855C7E8099772B57AE65C05DD349E1307A07AEED50FFAC,67B871D698361A32144CEEEA6AB3ADD280AF318CB18285DB66E79CD0E5FF2E60E9365C92558256D7EAFA4D03D099A6C911F6CCA503D8A3EE8E2450EE4ECDE336]],[[4E90AAE379FB5C1A686520F11CD0BF4BD629B57F2053443C75DB7AD75C4F03E9CFCE4B2BCBC7B9685108570625CD4E3413113E848C8081CFEF22F4DA4A68531E,384B296F8BC46E4BCD9DF1AC2B9C92B9A7AEE0FD9D708EDE9F473FD00C7045720B22015757796235BF73C37E036B7C79B3597525C8669AD2052469E32D880FE9],[E3D1461FF6269B0C742C135E9C580AB1FEE2C56CE2A1CDCB3DF976F5A649A257AEBF5739CC3D2DB6122550B0621B05F7A477B69AF45C80C77A1D6B32BA2DD662,313AB08147A8F8F845B6C08EFB81DC771DD973EFBCA825D4D2BFB91CC460F8EAB1B1DBBFA2650B89B66150280DD2E121C8EADBB3AB396843D0F12A89E690C6C4]]]",
"FP12square" : "[[[0BECC5FF6B9B08C79486B7E5B79DC3CCEB656BE8DA0FAB8C887031C6C3CA7EC9B44728B9D9AAD0B5C488EC9608D6EDAA9F584A6016B90859AEA2B9B44C7EC852,9271BD36B6C5802E3807C9F7524E5FDED1FB8A5F70F847360F31DC3285A828EC0634EB9E1A322E9771853D6057215BAD73C70606ED01877D8B9D7C0932755293],[D3337752BFC84A928E380DA1A137404E3828A417D97A9EC6C561C6C023D6FF26F8508500406566BADBC0D2A1CC1F289EB6297B479F4507C8B2B4146C98320810,596D871149701973BDE046804BA710D72A2334D261447D33ECB495FA5C53391243BF454628269901A4E006B04261293D267FED00DF8C5AAE065EB759EBDA2A6C]],[[765FCBF95A3E33D2788687AB12B8B84928C77A02AF5F6DCB896E57E1B4289223D8438F022F86675BF906EE3C9AE045EC804C9FDD37BC4B633FF7A44668811ABD,AB70850E55FE0291F38122238B04E9A2D44E6BA37F9EE66469D6398AC1812AF86A799E99D0E60A93680C4BC1E61224F5EE1B406203247B66AC82DB6BBC1BD13E],[59C9CD06E1FBB1AE3C0A51727570E791F3DA57FF5D3FDB6934F852B791ABC1348DDF2401F303D211D0855C7E8099772B57AE65C05DD349E1307A07AEED50FFAC,67B871D698361A32144CEEEA6AB3ADD280AF318CB18285DB66E79CD0E5FF2E60E9365C92558256D7EAFA4D03D099A6C911F6CCA503D8A3EE8E2450EE4ECDE336]],[[4E90AAE379FB5C1A686520F11CD0BF4BD629B57F2053443C75DB7AD75C4F03E9CFCE4B2BCBC7B9685108570625CD4E3413113E848C8081CFEF22F4DA4A68531E,384B296F8BC46E4BCD9DF1AC2B9C92B9A7AEE0FD9D708EDE9F473FD00C7045720B22015757796235BF73C37E036B7C79B3597525C8669AD2052469E32D880FE9],[E3D1461FF6269B0C742C135E9C580AB1FEE2C56CE2A1CDCB3DF976F5A649A257AEBF5739CC3D2DB6122550B0621B05F7A477B69AF45C80C77A1D6B32BA2DD662,313AB08147A8F8F845B6C08EFB81DC771DD973EFBCA825D4D2BFB91CC460F8EAB1B1DBBFA2650B89B66150280DD2E121C8EADBB3AB396843D0F12A89E690C6C4]]]",
"BIGsc1" : "0C974EDFBF47AAA6989F0E05740DD73AE29062E9A44335607DD93A1E6B06E688DF5CD1E51E9C1B9D3D11AF28044485368647294951A9F3BF3265693F1A94F705",
"BIGsc2" : "6B3BCA3FB1E859E6935ED104D6422C53868B55EFD9847F2FE855C741C370B9DC8FF31566626EF5A2D30935603531AEF9E1819B8FE74D9B366F3B279F71560E81",
"BIGsc3" : "72D1368EBC5D6FA198C098D6784477D6AD967230B1A54A6445DA00267A4F2989A2BB7C225A0F162FC554753DCF572668C8C4AB3BB04094D464A7A60EAFE3FE7D",
"BIGsc4" : "639E3A89E28A6E657DBA794E22531F5EA91E24EF4733798932884C7B80B28AF806C0E675AD3D8A3FF4A4C6E7DB347B78371A34D1D4306B69B3F0A59EF8DD85F2",
"BIGscs" : "9D9890E533804B0E213A72BD55D1FBC0B181A5476FD7BB041E4F8A8D3A0EFD76",
"BIGsco" : "FFFFFFFFFFFFFFFFFFFFFFFFFFF9EC7F01C60BA1D8CB5307C0BBE3C111B0EF445146CF1EACBE98B8E48C65DEAB2679A34A10313E04F9A2B406A64A5F519A09ED",
"FP12pow" : "[[[D7F1DA3437D643D6D399A250CE2C41E777662439041AEB921448011B8DCAA6091F0AAAE17EB2051AD7D28F233EE90403AB4411B1F28895D1AAF16A879FB45D6D,790EF594966AD88B17FA006099836748026D600D67C1B4DF2AF79939EDA41F3927FBB9B2B7159EF33C8443577FE4E182FA91BEDF0FE5834AA0FA1A014F115B9B],[1604F1ED816AC238893DFDCAD4D2B42EFD8052761DE64A1C74B7F50F85B1F308A24424B3EBDE13EFF3287D68172B7995C4554D0CCF7BF5848325B32A8553ECEE,7E6EF78D98BB5A49818A3CF5AD27DA54060E4BD7C0B381A3F5440553DE0ABC1EF5CA55B6FF477CCC9A9AA803642292E8A9C6A897FA964C256B31262A35605158]],[[3C77C99607674B07989A4D46BCE779C4C0ACE4B37DC5D65432766C9281A23B4EB0F1DA4FB797C609FE8F360936B0ED27FFE9F004F827326160E143373CA23BBD,2F36AC69FB4E71B8A6A46D98AA9AAE5F0CA1A7C3EF83F93C974D92066FB06304B05C403FBABD059416D3BAC88C494032A1A96CD02B7DD98C801977FD0DE83791],[8F7EA01A733C76F049A36E91F9E025FC986E3D015D1B01DFB3A29094C52FB6753B2399FBC4C5D5CE359DD04C8FEAB6D8D89F395E6D105C474B3695086D897B36,147ECFB89BCEDECE9BECEC537D6EA81FCA72891A70FCCDE48F7CB0991705EFD26937536ED273A7980BA3F6B704A732CEDCC4B1F7695F183B4A441D307E0ED3D6]],[[9284085FF3AFBA8812BED8B4F12DAFC7C709465C8111E9A63FDBF1E6E95A3510B51C9E940B09D1DD0C5128D566A012A9431C1EC36E19981AD105B242D0455487,24B4E5DB248ACF1283DE5C1E9D15E0C0BD345B99A77115B5EBF93EE0CEFB40C653F8F73BB710588B4583250100E1BEF7CCEBC002D6061088E43AC74BD93A0A2F],[CAB836D957004ED49BEFF392BE27B3DD4FD2CCC426F6F3AEEF9F75460B30D0657239354D935CAE0798FC53E19090C4A04FB06D9CB0E4D177E15A29A048F80626,7148068E9261162C07BB0FB0ABDD154B609927F1DA3C8B51936D464FCCF3FDAE0C9F971019513EDB9070555FD59A86EFC407E6B33698C8AD823749A8CC354737]]]",
"FP12pinpow" : "[[[CC4BDF5FE1803CD3D745DC287531D0CEFD1BF59D4A89A1A6D13B8DD191319C4469951CC08185A7199AECA0CA76F2197E658E02A9526B7EF85F66BE0E413E7FA9,A68FFC5C0EB7826BC8CBD4934E9E176494118ADB242718F3AE344675EDBD2D8FE39387077BC24DD1DD5E1B831D9DD069171F655DF78648FE1F5C6C1013EEF9A0],[8B459681DB2C5E301121223A65CD75BA9456A680C3D96C5C11DE2CC73F56FE461381E82FB884ABCBF04301479BE706B8373BA034B4901E94DDDFED9410B2BC37,C3BFDEE7806296EF11B7388E0198418B10B538536AF597C05F3F9D9144FB9CD78DB0CB1AE789F5F8125A187CA9FC187BC96FCF53E8B538D23649AC62B819BD18]],[[20AE1F1EEF56EE9CF4104B1039627A591008D97CA3E791F1C0EA81CB00A19DBF0E7F07C14B8023527C786E194EA89193305E45CBD4DB12A074EB3693209067F6,CC098057232CB7E5CA811FFF95525DF10113FBCDE205A2D032BAA79841CBA04ADDDE8311BA8A2D5FEEA1A45572749EC374749BA76EBA81C6124F6893ACB3C204],[52CCA613436BD6EC3D424573950EE86692FACE864BEA6E657CF309DCD15EF1D0F817D1441D04F6417A024DF097E4FCB205AC6A575C434C2B7C49F2CD9B6562C4,C65C8EA39C117A3CCAABD377337BC93D1B48D501A1480F3EA8A401CB26FED8141705F0CF8EA21CD5D6D47617DF07608870068297AB41ED23B4194757AA37AEA8]],[[06C3ADBBD651EDDC7714D019C2626B3CC389A8164649910C2CF2412180243325FDDB83F2EAD8310938A8C65D22947F62296CFC3AA07A6563947B0393304B38B5,8BD89AA93A8564F647704C5AAE3875773BC13AECC65FBC3E9CE0CB907826994D59F896FC07AF67EAED46A5D61FB1F8FC702781684603B9E9F6C1EF8352777D1B],[700EA6A9F34DC426EFA756C2369983AB99A017CCFB1A3C467AA47BC9039E5BC15D6E78196DDC7939B2664553BE8579BCDAE9A0E25B8106E667460D9F7F38586F,B30CF6988CCB91726AB1C2C08C229876353EFA005A9D0607B526B5ABE42847C9F32F6C9D90073C002E1E2E158E688820B4A9B1DAEC800D7BCAD1672C725F2065]]]",
"FP12compows" : "[[2E0151091D308361D8633C2BECDD426779AD12499B5202422BF37FB473F9FEDA4597AA5CD4306A5D80F604E4600699F09A484ADC06CE8C3842E1A2CEDA515CD8,5E70ED7F21AD4C926EF9CF8818E33534805C7AB151BEB2EB849242318011CF00DC340D12C98F24DD657F337CCA0404476A24AA0A23D8CCDB5FB537AEA87952A3],[C4D7F826B70F099982CE427D21586386F0B17FF69094F4BDDB70049E22E2A16EDE6996E5AC2B58B66B0678F604F38483BE8C6B489094251E21827E78ED201812,CD4FB86FFF344D630CCAD7962A294110A7979D353133DE25A6B6CE4BD25583D02571E54B03BBED3C8ACE546631D516B12BB28D065330A7AE0528E93350281B2E]]",
"FP12compow" : "[[9260500A1DEA0993DD743E658C670448ACF8FFA874F2AA860E9033098C9F940640ED08F942BCC2D1644157703B36D2AA8CAF5EB24B038AD396FBB93BE0067600,1A39319EC15CEC8B405A444458930102EC3A8333FE786C820A0BDC595D5D6B0DA3494521E406E3607989DDD88C09CAD58C22E7D3964090A70AEAD3F1D2B8F703],[0CBB07AECDDF5D3D9600FFB0F9B7624E05F9EF66F49CEEC5FFAB05F9C806DC18C14D55FD71A366CC8EFD86755DCDF12266687E01868C1C73BB9611CFD30FD45A,FA7F998BB8EEA5E85746DCBEB49A1BB08C683A068B64006B67CEC0E10FAB6B0A747E931B74EA7AAFD0D5C890A38F1A04B6832D0DD1D5445FEDE1208B9A404BBA]]",
"FP12pow4" : "[[[04CC0E805C65B7B5BC2B1767D75D7E1B37DEF5DDBE2226E535B4F6B92B06F988BF577FD18197B4B99B9D5BBA09E1EECB432249FFDD3665EB692838B4CEF24434,E98C9439CE57AF64167FE4C601A7C6377316771C870389967FE9E214F7AA41A59F6790C4D06A04E7138ADE324B15DEB296746E9A103EE689446308B94C2C264D],[A0097B468AFC87E6267C22E3B2548E3AB75C54A4552D7A18EEEB1A15EEA86FFE8461F1548279FB83FB74A4532424B38202200BE71D3F2AD22873222D567647D9,230E258E98B022DD1D48F32DB2FDEE1C7DB75BECE682A506A4B4FA9A7CBA09BFC18BD44224AA5D0E5EEBC80979103415A97CAC401496511004EAC83CF39AB5A2]],[[6499515530CDD477F66CE168739845FE802E967B34A916D546928FE90757A86E3E5D1A57E1FF46707B2F803B56D9FF52C0018A990A2A1B62F09383D5EB5A35C3,D5EF626293FE3B3B36F35A24E16DC1455DF7E7771DDF2A6069DF9B7BE58DC0845FF5CB32E746FCE8F76A5DEDACFC6F0467E30BF3127E56C668E1604936CFE1F7],[1998C4159974A5986A977CAB7963452CAE575917E1E5EFA73A795563AB51635E03DED3B9980BCDFF8597110D4C262550965806FC4EBF5480E7562E48EB9308A5,1340564812C8B437CC01DFBDE2A2F800FD1B4D10DC568379B76D30E3AB8C79C91B6512C1EFF208ECD72C0A8F5594F5DA7C4835E54A4A6E21EE01B0409CAF174D]],[[27777C7E1EA0DAE8486059534D03991A1185E1620F4B3CDC8A4EE6D0E23A3DCDF5C8862844F7F3FDC42ED31C130AFD3B3E1786C00DD951CCF8F8375D76A6405C,91B2FD7F44AAB7C4DB332E4FD3AACF3121CD4617163FD64C358150633A7E46EE92AD3CCACB1BC67DF41FABBC60A4E2AF47FE30A0CAB2D200312BA9142E59A326],[DEEC1F0376E963B71F8EDF8D8EC05631F09ECF740A6D4AA2B754C03DEF82D6D080A7D778111826D3493C9326AED8BECCE56187E223379965AF1B9E715346520A,F01F2D730208F8E62311E28FFCD01DB749F662D3AFC5B5C3C0B07BCD8C84391D9CDA510980EE6BE865D752083CA8F88916658B7E7C3F0A8DDD1819829EEA9A23]]]",
"FP4trace" : "[[F31A593E15A056DEB31BB71ACFD21A4DF23F9A19A555435CEA4BA41FF3B2D547800ECAC72526604C0DCE8973427E0CFDB8462711E2C4250802E00972546DDF6C,4E561B6BAB6F4793AF28A3D1F67A9BEFD64E0E9D4BD43994C701DC4B1E3AA30AB68B4F0E8A54E29028458B8B5F0E9DBBB913AAE3B7E439DBCE5BDD3F3A324DBC],[4C7B8E0A0D30FBC774FE32B7B0A668F82F2C7AB62596B80F3044AE393A09FE8172E9914417A1D9C4E8D9BD397B1AC1A80627FD154D6B8AC791C2B6C17F53A3D3,CFE243B2D88894030810CC36463A642E571F74EA4DE7DD34986E38602D82170DFB8B81C5BD5B60304B15F5ED03C1DCA567E7BF90722E3B5D6B83CCAA5E1C859A]]"
}
]