Magma V2.19-8 Wed Aug 21 2013 00:55:22 on localhost [Seed = 2034197251] Type ? for help. Type -D to quit. Loading file "L13a5057__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a5057 geometric_solution 12.34056022 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 0 2 0 0132 2310 0132 3201 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.145774068179 0.774390371094 0 2 4 3 0132 3201 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.125487312959 1.042174818408 5 6 1 0 0132 0132 2310 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.382993296474 1.485658362231 7 8 1 8 0132 0132 0132 3120 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.235447694311 0.862222715315 6 9 9 1 2031 0132 1302 0132 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.374246885762 0.895289345814 2 10 11 11 0132 0132 0132 1302 1 1 1 1 0 0 -1 1 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 1 -2 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.062103037866 0.937792801589 10 2 4 10 0132 0132 1302 2103 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.077408460129 0.829166464983 3 9 12 12 0132 2310 0213 0132 0 1 1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -2 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.780634927530 1.035173450776 3 3 9 11 3120 0132 0321 0321 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.477983415158 0.712700663401 4 4 8 7 2031 0132 0321 3201 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.602543120654 0.950813281382 6 5 12 6 0132 0132 2031 2103 1 0 1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.077408460129 0.829166464983 12 8 5 5 0132 0321 2031 0132 1 1 1 1 0 0 -1 1 0 0 -1 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 -1 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.189445806258 0.822050618825 11 7 7 10 0132 0213 0132 1302 0 1 1 1 0 -1 1 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -1 -1 0 0 0 0 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.195913255071 0.924505428425 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_2']), 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_12' : negation(d['c_0110_9']), 'c_1001_5' : negation(d['c_1001_2']), 'c_1001_4' : d['c_0110_9'], 'c_1001_7' : negation(d['c_0110_9']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_1001_2']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_2']), 'c_1001_8' : d['c_0011_3'], 'c_1010_12' : d['c_0101_10'], 'c_1010_11' : negation(d['c_1001_2']), 'c_1010_10' : negation(d['c_1001_2']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_3'], 'c_1100_8' : negation(d['c_0101_2']), 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : d['c_0101_11'], 'c_1100_4' : negation(d['c_0101_8']), 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : d['c_0011_4'], 'c_1100_1' : negation(d['c_0101_8']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0101_8']), 'c_1100_2' : negation(d['c_0011_0']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_11'], 'c_1100_10' : negation(d['c_0101_10']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0110_9']), 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : negation(d['c_0101_11']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : negation(d['c_0101_1']), 'c_1010_9' : d['c_0110_9'], 'c_1010_8' : negation(d['c_1001_2']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_10'], 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : negation(d['c_0011_4']), 'c_0110_12' : d['c_0101_11'], 'c_0101_12' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_8']), 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_11']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_0'], 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_8, c_0110_9, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 1973554779345023534656085233841588223368193792435247703821912227321\ 5265606017908752163940359826331845604171703/25633475831252447528105\ 7979447268894526902044727464997243076513246854663529399549292396342\ 588735078400000*c_1001_2^25 + 9694760508692180395169828945867169693\ 9457302657065236961908024407898096359455493615303674850968510334990\ 8977/91548127968758741171806421231167462331036444545523213301098754\ 7310195226890712676044272652102625280000*c_1001_2^24 - 1221884848851697751875966757954369565943358759326271685521342215971\ 791305790473466006770256409141131561480885757/256334758312524475281\ 0579794472688945269020447274649972430765132468546635293995492923963\ 42588735078400000*c_1001_2^23 + 17821304546714534556356468789263957\ 8897649929299269482188690603358527332713067990999515936302841334366\ 327953541/256334758312524475281057979447268894526902044727464997243\ 076513246854663529399549292396342588735078400000*c_1001_2^22 + 7518319852588874391690122607379745737655581469340579064801962300251\ 80683034745375423785192187297221441523386413/3661925118750349646872\ 2568492466984932414577818209285320439501892407809075628507041770906\ 084105011200000*c_1001_2^21 - 9746486140725716619762140244837325484\ 7480269018781375099355686614083588803184031443721193476388057037310\ 93874757/2563347583125244752810579794472688945269020447274649972430\ 76513246854663529399549292396342588735078400000*c_1001_2^20 + 3510809601127497401723313688644262623112768029002897546442197548462\ 156751370777980619990047934557771976948104841/256334758312524475281\ 0579794472688945269020447274649972430765132468546635293995492923963\ 42588735078400000*c_1001_2^19 + 22336663984994896576569084571636699\ 1889019653617243399454814234862610957080204487118776617885190455398\ 8353664459/36619251187503496468722568492466984932414577818209285320\ 439501892407809075628507041770906084105011200000*c_1001_2^18 - 3421802410237397439216479574053220782203342834392853243554536702516\ 9191238916551279584439177589030984881911536663/25633475831252447528\ 1057979447268894526902044727464997243076513246854663529399549292396\ 342588735078400000*c_1001_2^17 + 3413259167197391727630164157603324\ 6808140717021613412104891768409875280632516202853545649576845183418\ 293465261113/256334758312524475281057979447268894526902044727464997\ 243076513246854663529399549292396342588735078400000*c_1001_2^16 - 4757021211302548733530607533647627626100814857126859484626589535547\ 840435015609082145568966144475838689852580953/128167379156262237640\ 5289897236344472634510223637324986215382566234273317646997746461981\ 71294367539200000*c_1001_2^15 - 32957424030641149526832481553332421\ 8938988447039935877700154564702514202826736295017920632247871863938\ 24767617373/2563347583125244752810579794472688945269020447274649972\ 43076513246854663529399549292396342588735078400000*c_1001_2^14 + 1642923094441171770749638699161965677043793765672045685752406635098\ 540711616515533731419142887903759618777700807/523132159821478520981\ 7509784638140704630653974029897902919928841772544153661215291681558\ 012015001600000*c_1001_2^13 - 1470826230056607977992863984596714719\ 9907223780029626317663654119570035711433666060113063865143740043935\ 821675529/320418447890655594101322474309086118158627555909331246553\ 84564155856832941174943661549542823591884800000*c_1001_2^12 + 6453328344369803329472602268244878045928510338617271877171257640617\ 4175839301563316320368156798198986348431999049/12816737915626223764\ 0528989723634447263451022363732498621538256623427331764699774646198\ 171294367539200000*c_1001_2^11 - 1115438835006215556991029763124784\ 7469186442382302136424007538042596688978946278223340450122652048450\ 3042997747187/25633475831252447528105797944726889452690204472746499\ 7243076513246854663529399549292396342588735078400000*c_1001_2^10 + 7766789300524906903367378264498323700925094991841251005990120615313\ 0865899477698955691436198191687113870641952521/25633475831252447528\ 1057979447268894526902044727464997243076513246854663529399549292396\ 342588735078400000*c_1001_2^9 - 10939827850472976058825664260144398\ 8376953717224244081654590371284189886223140176610342916328732636086\ 71104349663/6408368957813111882026449486181722363172551118186624931\ 0769128311713665882349887323099085647183769600000*c_1001_2^8 + 2464377121479619188434321260233591728070823390405857329377748736887\ 632060775042110755340256927814612867498631889/320418447890655594101\ 3224743090861181586275559093312465538456415585683294117494366154954\ 2823591884800000*c_1001_2^7 - 6866012490444709773882764118988136583\ 7106069398109358708022523232477850537257008917957400488406640864186\ 21967167/2563347583125244752810579794472688945269020447274649972430\ 76513246854663529399549292396342588735078400000*c_1001_2^6 + 1762971444917017553601619536595427930226137527309961557877520395454\ 94206610686577102190752541789973177187229999/2563347583125244752810\ 5797944726889452690204472746499724307651324685466352939954929239634\ 258873507840000*c_1001_2^5 - 38646475852076087510367036216057899673\ 1423378848529190269718917952573775531188029949459869701224211316453\ 59417/3204184478906555941013224743090861181586275559093312465538456\ 4155856832941174943661549542823591884800000*c_1001_2^4 + 3559566938942172981257699011627232317471317818437691824477344737112\ 0738200786869729670324031629458543083414809/25633475831252447528105\ 7979447268894526902044727464997243076513246854663529399549292396342\ 588735078400000*c_1001_2^3 - 19013243943466989075491148058749193087\ 9940101704717352173943028709180174725007995233417427550696136499574\ 6587/25633475831252447528105797944726889452690204472746499724307651\ 324685466352939954929239634258873507840000*c_1001_2^2 + 4595574027753693000465108026765173227080266717810342897774665366727\ 3105636545274337795773650023680102252397/10770367996324557784918402\ 4977844073330631111230027309765998534977670026693025020711090900247\ 3676800000*c_1001_2 - 282702268190281541940559577109427013616223521\ 4154919277344028873165870131708051030195389421281289508321316673/25\ 6334758312524475281057979447268894526902044727464997243076513246854\ 663529399549292396342588735078400000, c_0011_0 - 1, c_0011_10 + 15408359754919852364104860881527463228466635387992766094591\ 7892913180681171720224682910969/73362349112696410317758753806482888\ 520865120314315326436380972046432970426001232575515648*c_1001_2^25 + 1514216840615157814505495612633125222292254883968188814696939429814\ 38769372921404196977983/9170293639087051289719844225810361065108140\ 039289415804547621505804121303250154071939456*c_1001_2^24 - 2224820249762169052616513071620634031585467154492018311623577634279\ 3224328064851535046043939/73362349112696410317758753806482888520865\ 120314315326436380972046432970426001232575515648*c_1001_2^23 + 5426425135751342606002447605099571256034689139386970382630914117763\ 9675257134980843219767403/73362349112696410317758753806482888520865\ 120314315326436380972046432970426001232575515648*c_1001_2^22 + 4190053193218752441898561390610757656204606115215544338977615219867\ 0123973498127520870162949/73362349112696410317758753806482888520865\ 120314315326436380972046432970426001232575515648*c_1001_2^21 - 3028610803143305631104578752149570891741887998535813679389166462359\ 91728116446882582688511819/7336234911269641031775875380648288852086\ 5120314315326436380972046432970426001232575515648*c_1001_2^20 + 4231312196027314158366011052256599225421442206797716217290670153448\ 55201376108447340068501015/7336234911269641031775875380648288852086\ 5120314315326436380972046432970426001232575515648*c_1001_2^19 - 1097262083545891822221364961878077437850500911457013575363967295880\ 0159082340764885492401501/73362349112696410317758753806482888520865\ 120314315326436380972046432970426001232575515648*c_1001_2^18 - 9099360171266899594599563026758775486218079659283907249206536539771\ 03125498890878715822472585/7336234911269641031775875380648288852086\ 5120314315326436380972046432970426001232575515648*c_1001_2^17 + 1661395215224213979410511935955432725340460524988207144851805564647\ 946755222726969799927511799/733623491126964103177587538064828885208\ 65120314315326436380972046432970426001232575515648*c_1001_2^16 - 7518036306262890960858660774507667931807062471432626551156395823977\ 14703630800761326144670447/3668117455634820515887937690324144426043\ 2560157157663218190486023216485213000616287757824*c_1001_2^15 + 2245191614374068553529328529766047401946760409933170887158007012815\ 93379690517663264386920413/7336234911269641031775875380648288852086\ 5120314315326436380972046432970426001232575515648*c_1001_2^14 + 1891256376955935347986336069931257330197332830222824777068963838025\ 457409626924205911518373081/733623491126964103177587538064828885208\ 65120314315326436380972046432970426001232575515648*c_1001_2^13 - 5290386084733930225002145642815255659095908495820612607801020818647\ 84797199100782984723135277/9170293639087051289719844225810361065108\ 140039289415804547621505804121303250154071939456*c_1001_2^12 + 3009515869876555846856861714063870609811969416967567156078788616655\ 467043516035417372176278495/366811745563482051588793769032414442604\ 32560157157663218190486023216485213000616287757824*c_1001_2^11 - 6537535250167555239532849370478240063855204707847745013874255122480\ 690876263912574724518479693/733623491126964103177587538064828885208\ 65120314315326436380972046432970426001232575515648*c_1001_2^10 + 5726645645370036544659103521953104263671650856349907473549965427105\ 451189643410968771944950215/733623491126964103177587538064828885208\ 65120314315326436380972046432970426001232575515648*c_1001_2^9 - 1038145077829236592179703789360478736447158217337847735210261648974\ 788790316102930621418287413/183405872781741025794396884516207221302\ 16280078578831609095243011608242606500308143878912*c_1001_2^8 + 3151972758877001195803635654183288845663969274528972782325434952877\ 49216381509844735472151145/9170293639087051289719844225810361065108\ 140039289415804547621505804121303250154071939456*c_1001_2^7 - 1287963656923746400819848782713720478411830934708889197736850605389\ 353869833499579886482844609/733623491126964103177587538064828885208\ 65120314315326436380972046432970426001232575515648*c_1001_2^6 + 2754031116972170954516631650451209699966960513432603771331689118842\ 46905804788015920612565029/3668117455634820515887937690324144426043\ 2560157157663218190486023216485213000616287757824*c_1001_2^5 - 2455834629274198374506152236076246902891259175173883050767444526054\ 0060494343500707475996331/91702936390870512897198442258103610651081\ 40039289415804547621505804121303250154071939456*c_1001_2^4 + 5666169886242926083137878597489279353966264976932933389861306451242\ 9716251516039855132899415/73362349112696410317758753806482888520865\ 120314315326436380972046432970426001232575515648*c_1001_2^3 - 6381166009028284287558937389953405122309518878528783544430196194779\ 832403975174798700572737/366811745563482051588793769032414442604325\ 60157157663218190486023216485213000616287757824*c_1001_2^2 + 1004796982123273323464414471957920756509235375568600813349707475225\ 877528889012753379375437/366811745563482051588793769032414442604325\ 60157157663218190486023216485213000616287757824*c_1001_2 - 1614479154048034489524084691975975436337689112793604557930943960240\ 02610325685337479677951/7336234911269641031775875380648288852086512\ 0314315326436380972046432970426001232575515648, c_0011_11 - 45952166908812539077286453453334927353600029839456577907443\ 9224831513624379836170268757903/36681174556348205158879376903241444\ 260432560157157663218190486023216485213000616287757824*c_1001_2^25 - 4036273353266209531286014399206928891569396474491143993878710069786\ 89517502255075915932777/2292573409771762822429961056452590266277035\ 009822353951136905376451030325812538517984864*c_1001_2^24 + 2635393081558256045816482943573987324640298468457121839930887093542\ 8787909852514518315560381/36681174556348205158879376903241444260432\ 560157157663218190486023216485213000616287757824*c_1001_2^23 + 1433113195532694422036236949833447817236580742489082911393086062272\ 707901954574919933757155/366811745563482051588793769032414442604325\ 60157157663218190486023216485213000616287757824*c_1001_2^22 - 1128353598688146783998923985884854610778092197010074624672726852699\ 88386536414039797640873291/3668117455634820515887937690324144426043\ 2560157157663218190486023216485213000616287757824*c_1001_2^21 + 1937678178259423122909326039327325924155415106083679269732827854921\ 41220216907726154693742605/3668117455634820515887937690324144426043\ 2560157157663218190486023216485213000616287757824*c_1001_2^20 - 6307650152230159594378206637394099070968135008221253784976525762454\ 5539645291730079458581833/36681174556348205158879376903241444260432\ 560157157663218190486023216485213000616287757824*c_1001_2^19 - 3144136388918947267235745239627261462517576467828037681308416730286\ 75534513869343210282327685/3668117455634820515887937690324144426043\ 2560157157663218190486023216485213000616287757824*c_1001_2^18 + 6779920840396860971079268320539081221330777919944151529445143912097\ 73434371017466708890641463/3668117455634820515887937690324144426043\ 2560157157663218190486023216485213000616287757824*c_1001_2^17 - 7013184257138703329004407794401180415980017614304834353252487137454\ 44462712545460002008766705/3668117455634820515887937690324144426043\ 2560157157663218190486023216485213000616287757824*c_1001_2^16 + 1275552428863583310145128385272606948250687338289638198938038656474\ 77976094837012359683652453/1834058727817410257943968845162072213021\ 6280078578831609095243011608242606500308143878912*c_1001_2^15 + 5866112436992997369863452815763499009017341914251134181645431215725\ 41931844033061543484448109/3668117455634820515887937690324144426043\ 2560157157663218190486023216485213000616287757824*c_1001_2^14 - 1603371516142928118573755195710388504598911311680982553135120243841\ 662578664896474027663813199/366811745563482051588793769032414442604\ 32560157157663218190486023216485213000616287757824*c_1001_2^13 + 1547088538667168657760596617786374827914942060030130442661709745483\ 26976457681509256666044635/2292573409771762822429961056452590266277\ 035009822353951136905376451030325812538517984864*c_1001_2^12 - 1425176397328606725003343604451215661498516059301030844462355604027\ 729284123703945446604899173/183405872781741025794396884516207221302\ 16280078578831609095243011608242606500308143878912*c_1001_2^11 + 2639196758578698115147714445195241823509657325409994029248861154761\ 517132417983558928471689347/366811745563482051588793769032414442604\ 32560157157663218190486023216485213000616287757824*c_1001_2^10 - 2036500300895217632534081128949808156290654617897276536355642352137\ 835819582584006024097159281/366811745563482051588793769032414442604\ 32560157157663218190486023216485213000616287757824*c_1001_2^9 + 3339459551556535263694398104200052465429757443307865695213437596794\ 28263462016320290392720917/9170293639087051289719844225810361065108\ 140039289415804547621505804121303250154071939456*c_1001_2^8 - 2347443931264327607419341591979589066760150948422598127593884027582\ 1190277895758761239424419/11462867048858814112149805282262951331385\ 17504911176975568452688225515162906269258992432*c_1001_2^7 + 3625351898527148705047077360251108593469319754152597040801571278886\ 51819995065843683383331503/3668117455634820515887937690324144426043\ 2560157157663218190486023216485213000616287757824*c_1001_2^6 - 7530529458827338609758745191289929202281528210822958052731092437518\ 6300928366618969637636947/18340587278174102579439688451620722130216\ 280078578831609095243011608242606500308143878912*c_1001_2^5 + 6576795957959930341500208366366463283165954935442612837661173185715\ 771175087813756544399175/458514681954352564485992211290518053255407\ 0019644707902273810752902060651625077035969728*c_1001_2^4 - 1526215788022576641731315617489501563949452506725166832794175580000\ 7542997315217645697105073/36681174556348205158879376903241444260432\ 560157157663218190486023216485213000616287757824*c_1001_2^3 + 1781787520574114995490243722605207028179988203770390061713285836693\ 737628251471222217412787/183405872781741025794396884516207221302162\ 80078578831609095243011608242606500308143878912*c_1001_2^2 - 3011679655184130098322028659266493353917336042683341825159241399229\ 41940374685737132607679/1834058727817410257943968845162072213021628\ 0078578831609095243011608242606500308143878912*c_1001_2 + 6028363646076556127180931629828542833896930472148119040096793729808\ 7878757861072626908849/36681174556348205158879376903241444260432560\ 157157663218190486023216485213000616287757824, c_0011_3 - 134374337277383866149795623802017011990929089843775742818721\ 21236355068988681577294091463571/5868987929015712825420700304518631\ 08166920962514522611491047776371463763408009860604125184*c_1001_2^2\ 5 - 239317687427154675858368885543501058449116898610867252579233301\ 62977331845854035000268097211/7336234911269641031775875380648288852\ 0865120314315326436380972046432970426001232575515648*c_1001_2^24 + 7329350456272270430461590352233962190486672518696220640881795997935\ 78873319449675776542827985/5868987929015712825420700304518631081669\ 20962514522611491047776371463763408009860604125184*c_1001_2^23 + 1756124404687116278128140740643833242113960521762110449415219974178\ 03632633166811531442246695/5868987929015712825420700304518631081669\ 20962514522611491047776371463763408009860604125184*c_1001_2^22 - 3238291452872730089201196902433331182131488123861917074007239992772\ 186542468603752061213438087/586898792901571282542070030451863108166\ 920962514522611491047776371463763408009860604125184*c_1001_2^21 + 5078167114913520103443867947703959076254309445963434510164145486679\ 373551748631060690186170713/586898792901571282542070030451863108166\ 920962514522611491047776371463763408009860604125184*c_1001_2^20 - 1033116979421149881181173379368321900888325905832341139135147002433\ 886418340686741341861931277/586898792901571282542070030451863108166\ 920962514522611491047776371463763408009860604125184*c_1001_2^19 - 9312176019812425860047667053834322709384085956268813291783383391225\ 633002644154525587340640385/586898792901571282542070030451863108166\ 920962514522611491047776371463763408009860604125184*c_1001_2^18 + 1831500285101465221203739089465323570805603277263446891533347342078\ 2566407271536719618640057235/58689879290157128254207003045186310816\ 6920962514522611491047776371463763408009860604125184*c_1001_2^17 - 1754910839899761257602611535287572431857415082982237224472542195050\ 1565857324752880347533206109/58689879290157128254207003045186310816\ 6920962514522611491047776371463763408009860604125184*c_1001_2^16 + 2209419706793523600912929710927498436688326946541414158236806096681\ 706657639541058518203007693/293449396450785641271035015225931554083\ 460481257261305745523888185731881704004930302062592*c_1001_2^15 + 1837376816090068459281369076280990371182028907469810825774083378761\ 4293412849447613016716169713/58689879290157128254207003045186310816\ 6920962514522611491047776371463763408009860604125184*c_1001_2^14 - 4431446343789944071878395505516504211438164626101897281120981301540\ 4621056035037277541438339571/58689879290157128254207003045186310816\ 6920962514522611491047776371463763408009860604125184*c_1001_2^13 + 8122765972258073454137942398046932594094046927850417684016871853090\ 194290280776961360829128673/733623491126964103177587538064828885208\ 65120314315326436380972046432970426001232575515648*c_1001_2^12 - 3586034105937954893115190289648554486732537756715934268270410316721\ 3467948317925105843832265917/29344939645078564127103501522593155408\ 3460481257261305745523888185731881704004930302062592*c_1001_2^11 + 6360816950249680786642267228392119310840924093219924802671121160814\ 0405389338818291095147729695/58689879290157128254207003045186310816\ 6920962514522611491047776371463763408009860604125184*c_1001_2^10 - 4661857887245853506491116454582594510684428704838439552104328637774\ 8828175818596041179135847213/58689879290157128254207003045186310816\ 6920962514522611491047776371463763408009860604125184*c_1001_2^9 + 7156415417057888374955308486407184365360550366413305671457893828853\ 059760039129601746976608659/146724698225392820635517507612965777041\ 730240628630652872761944092865940852002465151031296*c_1001_2^8 - 1855767182014118270744800102860898190908704486462886410898434822729\ 265141263610669667002912961/733623491126964103177587538064828885208\ 65120314315326436380972046432970426001232575515648*c_1001_2^7 + 6485969831042782344090962642158063137232698331504687067605138293489\ 622863292849330014042727835/586898792901571282542070030451863108166\ 920962514522611491047776371463763408009860604125184*c_1001_2^6 - 1201349107683666381620119476346198318880518468683420805863647277281\ 066371121360921307662733399/293449396450785641271035015225931554083\ 460481257261305745523888185731881704004930302062592*c_1001_2^5 + 9128671118536095923982069217095280897815342098665081976896110073487\ 5904071808835853690918133/73362349112696410317758753806482888520865\ 120314315326436380972046432970426001232575515648*c_1001_2^4 - 1823269467295596034334099383229912085062454952789773551901944837942\ 63712925476107782581944893/5868987929015712825420700304518631081669\ 20962514522611491047776371463763408009860604125184*c_1001_2^3 + 1708367801756363462214481177522915416437880851377380704459512654059\ 7305077029692767629945971/29344939645078564127103501522593155408346\ 0481257261305745523888185731881704004930302062592*c_1001_2^2 - 2138873949876736413655808823772874084449675450077138754828920892651\ 608046036021923299729735/293449396450785641271035015225931554083460\ 481257261305745523888185731881704004930302062592*c_1001_2 + 1562179175148075457880621133163549866976370585099320088708975617140\ 99589010155964561973861/5868987929015712825420700304518631081669209\ 62514522611491047776371463763408009860604125184, c_0011_4 - 1, c_0101_0 - 504981605636189765431161288389011926243067884370391568232338\ 525824309145390759612219054035/733623491126964103177587538064828885\ 20865120314315326436380972046432970426001232575515648*c_1001_2^25 - 9420315740547369916183479137116179392802049591515665511763597863641\ 57403941091981342805515/9170293639087051289719844225810361065108140\ 039289415804547621505804121303250154071939456*c_1001_2^24 + 2257839873444695630224815672896849965609429284140900419232806422675\ 7890077711789194108266513/73362349112696410317758753806482888520865\ 120314315326436380972046432970426001232575515648*c_1001_2^23 + 2381887932024425277182412745072642575778585948522999208196619556887\ 5377882606871346493692519/73362349112696410317758753806482888520865\ 120314315326436380972046432970426001232575515648*c_1001_2^22 - 1109183720845246697459782019968047223035366134683198535056743031237\ 58478625966437837874022983/7336234911269641031775875380648288852086\ 5120314315326436380972046432970426001232575515648*c_1001_2^21 + 1080640274484166819998962210867021212569516419002171946488846991991\ 86237680767007311425870617/7336234911269641031775875380648288852086\ 5120314315326436380972046432970426001232575515648*c_1001_2^20 + 6147394055499879623392918136973354930842508321403987822234311394985\ 5744863055636081879114163/73362349112696410317758753806482888520865\ 120314315326436380972046432970426001232575515648*c_1001_2^19 - 3264369412176803889050227831904048652019158163606378473067127472330\ 19621833316493746226484289/7336234911269641031775875380648288852086\ 5120314315326436380972046432970426001232575515648*c_1001_2^18 + 4417385741298892947895453273022408335524143039233928405135782583615\ 87001193244641082817899347/7336234911269641031775875380648288852086\ 5120314315326436380972046432970426001232575515648*c_1001_2^17 - 2859539193273676995831563462721723054223376541446920822664478661544\ 81143900068408006625917981/7336234911269641031775875380648288852086\ 5120314315326436380972046432970426001232575515648*c_1001_2^16 - 5278006302463053751606492037081881430051978945890182152509671664199\ 0098731907148620237504051/36681174556348205158879376903241444260432\ 560157157663218190486023216485213000616287757824*c_1001_2^15 + 6535863334397639215501159348505459604320489197299614666713130882720\ 85213880517301505663572529/7336234911269641031775875380648288852086\ 5120314315326436380972046432970426001232575515648*c_1001_2^14 - 1189727621196655481371836958689651007132015640958873753096162510682\ 840860445144125185352956723/733623491126964103177587538064828885208\ 65120314315326436380972046432970426001232575515648*c_1001_2^13 + 1888868681358872113564712502382625301642770878853993858520302978945\ 70947849137298661144250289/9170293639087051289719844225810361065108\ 140039289415804547621505804121303250154071939456*c_1001_2^12 - 7234888134426106463761443474976760771801933258948862274615894880913\ 08912777000005401315053117/3668117455634820515887937690324144426043\ 2560157157663218190486023216485213000616287757824*c_1001_2^11 + 1118693400677782890618492089988375190290250348404832866520809524911\ 372212973340883926879262175/733623491126964103177587538064828885208\ 65120314315326436380972046432970426001232575515648*c_1001_2^10 - 7064699294785171177841066094312617013507716098767033199746388269178\ 37928645245507360825760493/7336234911269641031775875380648288852086\ 5120314315326436380972046432970426001232575515648*c_1001_2^9 + 8768290744062348030720555344865329232552434886173702277412628035653\ 9687174393144023230077683/18340587278174102579439688451620722130216\ 280078578831609095243011608242606500308143878912*c_1001_2^8 - 1552757818207151570399356496580836944306677271330246797020923178792\ 0067846403857663225851889/91702936390870512897198442258103610651081\ 40039289415804547621505804121303250154071939456*c_1001_2^7 + 1858891323169766428138675153800093444108792476874894084019774736579\ 4172133086443119375545947/73362349112696410317758753806482888520865\ 120314315326436380972046432970426001232575515648*c_1001_2^6 + 5376290308567342079412621013256259483222783831368485866967160675074\ 868777282949382371626473/366811745563482051588793769032414442604325\ 60157157663218190486023216485213000616287757824*c_1001_2^5 - 1571705865503354669554183657189568339172274154502312289183422914958\ 795401871125656238529227/917029363908705128971984422581036106510814\ 0039289415804547621505804121303250154071939456*c_1001_2^4 + 6117191911737148809296563080051103200246866698994049477080739898867\ 094146941800632761088515/733623491126964103177587538064828885208651\ 20314315326436380972046432970426001232575515648*c_1001_2^3 - 1125418160941601395393315347766657148361701539914824815329621498587\ 121215597380048348258317/366811745563482051588793769032414442604325\ 60157157663218190486023216485213000616287757824*c_1001_2^2 + 2937118674754509260588904631467167545872116236542165554356897533950\ 93057745586354704302905/3668117455634820515887937690324144426043256\ 0157157663218190486023216485213000616287757824*c_1001_2 - 1102096229597221673742616657681781102221709665017643171195274685102\ 97093797087419951903067/7336234911269641031775875380648288852086512\ 0314315326436380972046432970426001232575515648, c_0101_1 - 239346659183783306166961643654385535250268395322659976769441\ 9541772629572858304904271068915/58689879290157128254207003045186310\ 8166920962514522611491047776371463763408009860604125184*c_1001_2^25 - 40439625111358062367073496302680280750795229405826593783163548289\ 06759229360655991559868507/7336234911269641031775875380648288852086\ 5120314315326436380972046432970426001232575515648*c_1001_2^24 + 1554954731663264611207800258772500447896387669561871744333864446446\ 57071398105580529384281329/5868987929015712825420700304518631081669\ 20962514522611491047776371463763408009860604125184*c_1001_2^23 - 6399539258144898387077082445675354307996248102418955826326370542618\ 4482664455310506826397177/58689879290157128254207003045186310816692\ 0962514522611491047776371463763408009860604125184*c_1001_2^22 - 6002750061442137635088533094652943731760376323201347094524439414276\ 11088122585781097626308711/5868987929015712825420700304518631081669\ 20962514522611491047776371463763408009860604125184*c_1001_2^21 + 1326242445667389355260632823920641463900229323599908493520258145064\ 495003299403196512185380729/586898792901571282542070030451863108166\ 920962514522611491047776371463763408009860604125184*c_1001_2^20 - 8402738025075948302639353387241638094325925906484236070372841062089\ 82785364639676213148875693/5868987929015712825420700304518631081669\ 20962514522611491047776371463763408009860604125184*c_1001_2^19 - 1535011563986088287941049579166492329605657500638005948602492811707\ 902881049578394457459273633/586898792901571282542070030451863108166\ 920962514522611491047776371463763408009860604125184*c_1001_2^18 + 4464771671798459841383988867036615388101428353668123361485980721751\ 509711814172914182745316595/586898792901571282542070030451863108166\ 920962514522611491047776371463763408009860604125184*c_1001_2^17 - 5469475397439567853974896915198105993916541073593944867191724487881\ 071431471112557856395421949/586898792901571282542070030451863108166\ 920962514522611491047776371463763408009860604125184*c_1001_2^16 + 1519732901093182573326876959328800902024351748853392604075133931781\ 382936686980814749750330989/293449396450785641271035015225931554083\ 460481257261305745523888185731881704004930302062592*c_1001_2^15 + 2672099310598770886841154118563125222129617824453552502884728376547\ 642493660759196797946454289/586898792901571282542070030451863108166\ 920962514522611491047776371463763408009860604125184*c_1001_2^14 - 1019096255863447169529270405103277003134708350593735303676577037951\ 9366454665248745449907630419/58689879290157128254207003045186310816\ 6920962514522611491047776371463763408009860604125184*c_1001_2^13 + 2155305165150193060137224776908522527424587892766106597413053477295\ 210840042541636728133211329/733623491126964103177587538064828885208\ 65120314315326436380972046432970426001232575515648*c_1001_2^12 - 1059385252059900597282833319854577029701460738088732579812250611107\ 4418064076178083229057077853/29344939645078564127103501522593155408\ 3460481257261305745523888185731881704004930302062592*c_1001_2^11 + 2070030329139115822047790666356450751678320221905300267778165241317\ 7713567617081495882933947903/58689879290157128254207003045186310816\ 6920962514522611491047776371463763408009860604125184*c_1001_2^10 - 1671530307425038265276903130802435379442487650495703403309890395547\ 7991184402173704271596752845/58689879290157128254207003045186310816\ 6920962514522611491047776371463763408009860604125184*c_1001_2^9 + 2845459071255609809057960670612866236201734255692209238747101190871\ 019369097959112599704744819/146724698225392820635517507612965777041\ 730240628630652872761944092865940852002465151031296*c_1001_2^8 - 8269188630953082962702203043174083247804356148593634337776185108073\ 70143798616527478744351265/7336234911269641031775875380648288852086\ 5120314315326436380972046432970426001232575515648*c_1001_2^7 + 3277227862754993993550733438737037169184135543838119094572912165960\ 464467669487303407052973051/586898792901571282542070030451863108166\ 920962514522611491047776371463763408009860604125184*c_1001_2^6 - 6924027449160398728648350744788416912748363493418702811319757647670\ 62173719778453740360852535/2934493964507856412710350152259315540834\ 60481257261305745523888185731881704004930302062592*c_1001_2^5 + 6199944194609274086552266383490152164712424359007333259739238184183\ 4018072846001828382817045/73362349112696410317758753806482888520865\ 120314315326436380972046432970426001232575515648*c_1001_2^4 - 1458752151207519003691918539839242105410235294283973624864231572564\ 96380062857319144509615325/5868987929015712825420700304518631081669\ 20962514522611491047776371463763408009860604125184*c_1001_2^3 + 1738148431835094347902399857354966023792519243542178760450125725170\ 4151199929003210068916947/29344939645078564127103501522593155408346\ 0481257261305745523888185731881704004930302062592*c_1001_2^2 - 3137988316068320260567306290402659222455607525020118793980515369211\ 436502140701738465569831/293449396450785641271035015225931554083460\ 481257261305745523888185731881704004930302062592*c_1001_2 + 1261905646189977365718182755257670205759359240262759223175396817292\ 358082612925184795454469/586898792901571282542070030451863108166920\ 962514522611491047776371463763408009860604125184, c_0101_10 - 11133178745380379979949969638613043916184962834821093166312\ 530008692892314040986046536903263/293449396450785641271035015225931\ 554083460481257261305745523888185731881704004930302062592*c_1001_2^\ 25 - 19182118858243785813984017522525105757220523826227537388016210\ 276536272388169879211782950743/366811745563482051588793769032414442\ 60432560157157663218190486023216485213000616287757824*c_1001_2^24 + 6801526363056840823183067390444841843359039317629092145873216067901\ 59752375326318564425207317/2934493964507856412710350152259315540834\ 60481257261305745523888185731881704004930302062592*c_1001_2^23 - 1464745820029788131257788129732170204012311000120963469651333740865\ 47281101024509381526003133/2934493964507856412710350152259315540834\ 60481257261305745523888185731881704004930302062592*c_1001_2^22 - 2712243265444860776739821232028168635730804581878272166048108999592\ 886613057878134899613784227/293449396450785641271035015225931554083\ 460481257261305745523888185731881704004930302062592*c_1001_2^21 + 5462802517276559678307589467826794631342461253684381897981465202650\ 002845842089673038287319613/293449396450785641271035015225931554083\ 460481257261305745523888185731881704004930302062592*c_1001_2^20 - 2980177099874240332769777093243037877465671958253958081032208529197\ 578289430331765725380426305/293449396450785641271035015225931554083\ 460481257261305745523888185731881704004930302062592*c_1001_2^19 - 7046813423196638764789467239144729629062377576217752246795380939796\ 339918612162627449805193989/293449396450785641271035015225931554083\ 460481257261305745523888185731881704004930302062592*c_1001_2^18 + 1871041527907705505510009234933337814541002421862156684154903404883\ 2049704695752496953222901983/29344939645078564127103501522593155408\ 3460481257261305745523888185731881704004930302062592*c_1001_2^17 - 2211159258562737094567821131268471812991682202215310462703590281391\ 3292139998974149654507666001/29344939645078564127103501522593155408\ 3460481257261305745523888185731881704004930302062592*c_1001_2^16 + 5704017878332793228489891460132195910527968953655490607057814683878\ 920702602891002807383802817/146724698225392820635517507612965777041\ 730240628630652872761944092865940852002465151031296*c_1001_2^15 + 1263383607230574670897416723547134603261578700271898886956857760567\ 1008800187739299569034180021/29344939645078564127103501522593155408\ 3460481257261305745523888185731881704004930302062592*c_1001_2^14 - 4368702255552439781260775000053813966578878381350715861529385957754\ 4183049150561354161335044671/29344939645078564127103501522593155408\ 3460481257261305745523888185731881704004930302062592*c_1001_2^13 + 9003152102054509631238158981503011205951252942583287653158835401837\ 438194582101894693313265845/366811745563482051588793769032414442604\ 32560157157663218190486023216485213000616287757824*c_1001_2^12 - 4341640989141366249847103929493026550051538821299347439488190001442\ 9821594189021195157279310193/14672469822539282063551750761296577704\ 1730240628630652872761944092865940852002465151031296*c_1001_2^11 + 8360572197071176628525755412216469315647146065926384011698033748726\ 4053646770759425907289490331/29344939645078564127103501522593155408\ 3460481257261305745523888185731881704004930302062592*c_1001_2^10 - 6653931763890881201796514678784019065239590114065523626176774737182\ 2454204020304401361493817185/29344939645078564127103501522593155408\ 3460481257261305745523888185731881704004930302062592*c_1001_2^9 + 1111873897129367204146367366537449050736413122675146772019516379882\ 4294828172482664720823452351/73362349112696410317758753806482888520\ 865120314315326436380972046432970426001232575515648*c_1001_2^8 - 3142493495388545557053844780556391521624691321489050814881519754074\ 282500684724548534525691509/366811745563482051588793769032414442604\ 32560157157663218190486023216485213000616287757824*c_1001_2^7 + 1201330565413879105305914533793511746275471010086190194981224806377\ 5673310002231254249491278855/29344939645078564127103501522593155408\ 3460481257261305745523888185731881704004930302062592*c_1001_2^6 - 2421819703948354391892697337010293563922250925973159131023090462943\ 059544206135604440672782899/146724698225392820635517507612965777041\ 730240628630652872761944092865940852002465151031296*c_1001_2^5 + 2024439088189884438024970554123845991271943021286998225980614588635\ 37962878008136235323217129/3668117455634820515887937690324144426043\ 2560157157663218190486023216485213000616287757824*c_1001_2^4 - 4394487249698401385568792866493551833337223132297935448306001263779\ 28190239683435583704330161/2934493964507856412710350152259315540834\ 60481257261305745523888185731881704004930302062592*c_1001_2^3 + 4608613943468488137712609978200651529677325064389763042540039019753\ 8463178913963779562497023/14672469822539282063551750761296577704173\ 0240628630652872761944092865940852002465151031296*c_1001_2^2 - 6762130956925979100442947092779684174856730132811966977708993495983\ 590833017508676363478435/146724698225392820635517507612965777041730\ 240628630652872761944092865940852002465151031296*c_1001_2 + 6699023625124194567039252470522704587103991480865093665046894117174\ 31063389383426170441721/2934493964507856412710350152259315540834604\ 81257261305745523888185731881704004930302062592, c_0101_11 - 34832736584387813085551504856197977481209851452169409434703\ 60737518539836650527447228825543/1467246982253928206355175076129657\ 77041730240628630652872761944092865940852002465151031296*c_1001_2^2\ 5 - 622027670497928945225802797100730448616266724840556822377882544\ 3276229607779258939052065063/18340587278174102579439688451620722130\ 216280078578831609095243011608242606500308143878912*c_1001_2^24 + 1879860371246158320337061628547808216358157563035067577238155549302\ 45635415016977881494933453/1467246982253928206355175076129657770417\ 30240628630652872761944092865940852002465151031296*c_1001_2^23 + 5152515151571371131553325167111526140294532683227322976143091722960\ 3035548190663788527116171/14672469822539282063551750761296577704173\ 0240628630652872761944092865940852002465151031296*c_1001_2^22 - 8273960040876177722974970207377414785763063784919049738871371456242\ 16433735739306679470695595/1467246982253928206355175076129657770417\ 30240628630652872761944092865940852002465151031296*c_1001_2^21 + 1270286049213874360584436774317539489698244038272435788116339490233\ 269016333547362551894701685/146724698225392820635517507612965777041\ 730240628630652872761944092865940852002465151031296*c_1001_2^20 - 2533451126687610364230960723625470266504258679424051232208431574756\ 95533551662767987070026009/1467246982253928206355175076129657770417\ 30240628630652872761944092865940852002465151031296*c_1001_2^19 - 2306428171020306677041556447171718852957998103297295290134526059437\ 246082577292546132310729597/146724698225392820635517507612965777041\ 730240628630652872761944092865940852002465151031296*c_1001_2^18 + 4556828886576768383056004682455287005939805022804401123191332557515\ 183073393968851797275763975/146724698225392820635517507612965777041\ 730240628630652872761944092865940852002465151031296*c_1001_2^17 - 4473679714646433935753974473565496676451031835366555588340923355298\ 320468221125346578562513897/146724698225392820635517507612965777041\ 730240628630652872761944092865940852002465151031296*c_1001_2^16 + 6785287913222984587056750347833933142787160667242475853454000791612\ 80555428066972777037303865/7336234911269641031775875380648288852086\ 5120314315326436380972046432970426001232575515648*c_1001_2^15 + 4324805959358216486086303096435881033628338747819381122701832388361\ 714070047566355157174105837/146724698225392820635517507612965777041\ 730240628630652872761944092865940852002465151031296*c_1001_2^14 - 1105596467348243649244614536786532781447527060741267414723111917171\ 6414630456235668428517037735/14672469822539282063551750761296577704\ 1730240628630652872761944092865940852002465151031296*c_1001_2^13 + 2080876786116058951452307339793010929920264045740327306470120939230\ 467795319341388771363949381/183405872781741025794396884516207221302\ 16280078578831609095243011608242606500308143878912*c_1001_2^12 - 9393564838717502439776932949508823956186401340047075858265605105589\ 404875706577862878165109609/733623491126964103177587538064828885208\ 65120314315326436380972046432970426001232575515648*c_1001_2^11 + 1714800704077997141707710044873295089806183662000275337202271065152\ 7916993153434961097292060643/14672469822539282063551750761296577704\ 1730240628630652872761944092865940852002465151031296*c_1001_2^10 - 1308945605098366365570879286067610517707644268445952777710428242917\ 8418391048079566302152078329/14672469822539282063551750761296577704\ 1730240628630652872761944092865940852002465151031296*c_1001_2^9 + 2117799828402313605362424196665598302924032018096368047202988357179\ 675843491643714395647311735/366811745563482051588793769032414442604\ 32560157157663218190486023216485213000616287757824*c_1001_2^8 - 5846877058618607921528819456597809907143407042277821523443196994970\ 82687565745785787893645653/1834058727817410257943968845162072213021\ 6280078578831609095243011608242606500308143878912*c_1001_2^7 + 2200849205784990898380975802498663300729809747929511409469756113120\ 409280548773076337634795887/146724698225392820635517507612965777041\ 730240628630652872761944092865940852002465151031296*c_1001_2^6 - 4428363453394047715608710702950654112645840786334204668390464216205\ 77129979967475072626900347/7336234911269641031775875380648288852086\ 5120314315326436380972046432970426001232575515648*c_1001_2^5 + 3701465475068193617687047279732739636145485350622125822242363658671\ 8971332580128762842256689/18340587278174102579439688451620722130216\ 280078578831609095243011608242606500308143878912*c_1001_2^4 - 8204761924099142589758777301224036364410829729277190855973321505240\ 3523242056373456596984649/14672469822539282063551750761296577704173\ 0240628630652872761944092865940852002465151031296*c_1001_2^3 + 8922665358237337708026312024095652247139471906375622097168178438004\ 449324468721309079777223/733623491126964103177587538064828885208651\ 20314315326436380972046432970426001232575515648*c_1001_2^2 - 1345840812806762272587163604039061254938567767626182900085857603923\ 313321502648585903527435/733623491126964103177587538064828885208651\ 20314315326436380972046432970426001232575515648*c_1001_2 + 2106165858485871077078795935104245819849326250641530642049506718187\ 06338408176061014411921/1467246982253928206355175076129657770417302\ 40628630652872761944092865940852002465151031296, c_0101_2 + 485556056406330571515382150362520342282322545339818371879003\ 617818727109166239645633491663/733623491126964103177587538064828885\ 20865120314315326436380972046432970426001232575515648*c_1001_2^25 + 7982397017892934906030162115696250807642106126375783883245302511492\ 64058378415872952516767/9170293639087051289719844225810361065108140\ 039289415804547621505804121303250154071939456*c_1001_2^24 - 3393194278887120672244492968696635664512012315568859426604060357997\ 3547042158544926785559589/73362349112696410317758753806482888520865\ 120314315326436380972046432970426001232575515648*c_1001_2^23 + 2458256154552458805679525329253586223504279573376811794907013097835\ 6913632414026464628120717/73362349112696410317758753806482888520865\ 120314315326436380972046432970426001232575515648*c_1001_2^22 + 1162221250889654115078141268952477335935630632207587317704051301972\ 96463770571339714447717651/7336234911269641031775875380648288852086\ 5120314315326436380972046432970426001232575515648*c_1001_2^21 - 3128305344981945320210473547344637813323040709275012020941222430247\ 36941918369364981935840781/7336234911269641031775875380648288852086\ 5120314315326436380972046432970426001232575515648*c_1001_2^20 + 2733703589940272998619984166658358016396830048749745964505515779547\ 94974687518575477844765713/7336234911269641031775875380648288852086\ 5120314315326436380972046432970426001232575515648*c_1001_2^19 + 2401342628416909103963756098010876356328966004693999934554698706939\ 71659353716306048947327317/7336234911269641031775875380648288852086\ 5120314315326436380972046432970426001232575515648*c_1001_2^18 - 1020777515494469456014094302936660253854789587577891969191029868068\ 809891069725909286428558991/733623491126964103177587538064828885208\ 65120314315326436380972046432970426001232575515648*c_1001_2^17 + 1463355338865320887524314526147663694755216130548407172886926751362\ 036281105967338493688434401/733623491126964103177587538064828885208\ 65120314315326436380972046432970426001232575515648*c_1001_2^16 - 5271449386047416593140770524072425546475722389785135381520223869026\ 11069766259379982920583985/3668117455634820515887937690324144426043\ 2560157157663218190486023216485213000616287757824*c_1001_2^15 - 3079003473521190913650708879421889920812382318140839626438471748415\ 86886034059255052430839749/7336234911269641031775875380648288852086\ 5120314315326436380972046432970426001232575515648*c_1001_2^14 + 2299887992564725664946085701856164738812774390706435767692191791814\ 101955405578771733876344111/733623491126964103177587538064828885208\ 65120314315326436380972046432970426001232575515648*c_1001_2^13 - 5398353256588442453844829263215738632637926950240213243107482465405\ 04172944011580443612687741/9170293639087051289719844225810361065108\ 140039289415804547621505804121303250154071939456*c_1001_2^12 + 2822548807312263322559539515960492704609721281081574153163369703944\ 837699459334997061008952225/366811745563482051588793769032414442604\ 32560157157663218190486023216485213000616287757824*c_1001_2^11 - 5814317489848580050869615645791802878227683964121640785668813570944\ 179868367203681317746343947/733623491126964103177587538064828885208\ 65120314315326436380972046432970426001232575515648*c_1001_2^10 + 4921947106656218712148719462625644920258980610225806537507754830098\ 159241981772943400139214321/733623491126964103177587538064828885208\ 65120314315326436380972046432970426001232575515648*c_1001_2^9 - 8713862530097634727570018691056948419406397052084223328798091933267\ 43563157064225221161024159/1834058727817410257943968845162072213021\ 6280078578831609095243011608242606500308143878912*c_1001_2^8 + 2604100739754665250373889045233770926974751549738119945177499176873\ 78999991276858017362618029/9170293639087051289719844225810361065108\ 140039289415804547621505804121303250154071939456*c_1001_2^7 - 1051195903030138512109636594310572749487776438225629041290292308761\ 021738879358444726466817719/733623491126964103177587538064828885208\ 65120314315326436380972046432970426001232575515648*c_1001_2^6 + 2227879384041079707572422136527876720248231067075838454931193950128\ 85788642506005601443159203/3668117455634820515887937690324144426043\ 2560157157663218190486023216485213000616287757824*c_1001_2^5 - 1965187697137151652349800407677941448162935425422661518014805198437\ 0282903200946146985111289/91702936390870512897198442258103610651081\ 40039289415804547621505804121303250154071939456*c_1001_2^4 + 4484162533293014184933245372159437878610538388084354507986635039457\ 0922452187491198291856193/73362349112696410317758753806482888520865\ 120314315326436380972046432970426001232575515648*c_1001_2^3 - 4961466168345781878145294469766499893512518800876375004766533437945\ 860323377291904729270223/366811745563482051588793769032414442604325\ 60157157663218190486023216485213000616287757824*c_1001_2^2 + 7505875375831647481871347464277461699226575651925782406415876793949\ 01476284761920379951027/3668117455634820515887937690324144426043256\ 0157157663218190486023216485213000616287757824*c_1001_2 - 1017220114893829624690966685777368275649791433826705258745781411014\ 81828296324077824493769/7336234911269641031775875380648288852086512\ 0314315326436380972046432970426001232575515648, c_0101_8 + 768019326774431466249617201268792212382137373341640903331412\ 2926790012501871749319366140117/58689879290157128254207003045186310\ 8166920962514522611491047776371463763408009860604125184*c_1001_2^25 + 13159426707487914802010205561753485268175471453581232850536477250\ 498754464190416772464020941/733623491126964103177587538064828885208\ 65120314315326436380972046432970426001232575515648*c_1001_2^24 - 4775496033782898324761247161406927962566661391893045259563035226162\ 97852787635471619945788839/5868987929015712825420700304518631081669\ 20962514522611491047776371463763408009860604125184*c_1001_2^23 + 1330551890697651127955562529214275735853110735296217673252508474501\ 41482782853622300236653151/5868987929015712825420700304518631081669\ 20962514522611491047776371463763408009860604125184*c_1001_2^22 + 1876737515549522906060841954888530398609858627994860497447985992182\ 084945618990603901713729345/586898792901571282542070030451863108166\ 920962514522611491047776371463763408009860604125184*c_1001_2^21 - 3910699566085682253169539731004693231031578437566028136026296038656\ 918287236261000647033268959/586898792901571282542070030451863108166\ 920962514522611491047776371463763408009860604125184*c_1001_2^20 + 2296259011697359763659467879859863914500906931363403797700002053515\ 282877007662190382416711819/586898792901571282542070030451863108166\ 920962514522611491047776371463763408009860604125184*c_1001_2^19 + 4811737221345528385657767663474338756739662029816080783985080865136\ 609054820106954340704638071/586898792901571282542070030451863108166\ 920962514522611491047776371463763408009860604125184*c_1001_2^18 - 1336327021860151147495225219637978096368346721471717364122342096236\ 4991179005489826684977806805/58689879290157128254207003045186310816\ 6920962514522611491047776371463763408009860604125184*c_1001_2^17 + 1612157101160362645341098664010357794844063129995000980736837024269\ 8743282130434091909113866171/58689879290157128254207003045186310816\ 6920962514522611491047776371463763408009860604125184*c_1001_2^16 - 4318566375884656211398360148078619972906125119615231930316952972852\ 098138009930080823873630795/293449396450785641271035015225931554083\ 460481257261305745523888185731881704004930302062592*c_1001_2^15 - 8647036047978343836266195307716647663680626621484919565059960629626\ 729918758600367213896840839/586898792901571282542070030451863108166\ 920962514522611491047776371463763408009860604125184*c_1001_2^14 + 3111532959429399192178923287164387604243846379420175198254345117593\ 7217162996944456399407957877/58689879290157128254207003045186310816\ 6920962514522611491047776371463763408009860604125184*c_1001_2^13 - 6466070599330706358123412181047309606822829085887152533339005926734\ 193554867328731548052010935/733623491126964103177587538064828885208\ 65120314315326436380972046432970426001232575515648*c_1001_2^12 + 3135897554766674190603795451195327413406539641184133657134608340944\ 5618061328765823142365854939/29344939645078564127103501522593155408\ 3460481257261305745523888185731881704004930302062592*c_1001_2^11 - 6062986783044088347001219709131078392070792405609520717218066167074\ 0204655473219955569340154857/58689879290157128254207003045186310816\ 6920962514522611491047776371463763408009860604125184*c_1001_2^10 + 4834975532139145763246743421285826486185165418855982627310656877565\ 4404341910692738931569001067/58689879290157128254207003045186310816\ 6920962514522611491047776371463763408009860604125184*c_1001_2^9 - 8073639419747889997657655114177058480247398055269578891079438081797\ 701277802281068843782369685/146724698225392820635517507612965777041\ 730240628630652872761944092865940852002465151031296*c_1001_2^8 + 2278267157236597806215586816510191083269420096194975694998812102847\ 599002570491470744567935639/733623491126964103177587538064828885208\ 65120314315326436380972046432970426001232575515648*c_1001_2^7 - 8701168756845017603890275570311237693289712507242189441341422622049\ 087779595960873762126081421/586898792901571282542070030451863108166\ 920962514522611491047776371463763408009860604125184*c_1001_2^6 + 1754530500927127786464850955831063570415858073693093880381784477508\ 583983163101720237168722417/293449396450785641271035015225931554083\ 460481257261305745523888185731881704004930302062592*c_1001_2^5 - 1474381352903146095739039756013393265741172961720535048960891233618\ 48590556325071245218125987/7336234911269641031775875380648288852086\ 5120314315326436380972046432970426001232575515648*c_1001_2^4 + 3247219058342908772995544265233941218436190679599788594077721702317\ 73929772469470901817361627/5868987929015712825420700304518631081669\ 20962514522611491047776371463763408009860604125184*c_1001_2^3 - 3499407168651081817388739627801340143304810473172383114133862128029\ 5597837977321180547980149/29344939645078564127103501522593155408346\ 0481257261305745523888185731881704004930302062592*c_1001_2^2 + 5164153738828557363056801932241468878652418364391660668867904499145\ 159593942056167595415297/293449396450785641271035015225931554083460\ 481257261305745523888185731881704004930302062592*c_1001_2 - 8726710344920763234314719461060746553899662465619663484445879051183\ 35783021425513807764083/5868987929015712825420700304518631081669209\ 62514522611491047776371463763408009860604125184, c_0110_9 + 104010609571911542496691225799370982309636760323737192863514\ 5451417746940299624763999497415/36681174556348205158879376903241444\ 260432560157157663218190486023216485213000616287757824*c_1001_2^25 + 1815704809494998134427214516283782044256202627335822697469893866539\ 638429988861677908433443/458514681954352564485992211290518053255407\ 0019644707902273810752902060651625077035969728*c_1001_2^24 - 6093588779652931667118962050352697241600916438690738213220281698826\ 0005334966957319135344173/36681174556348205158879376903241444260432\ 560157157663218190486023216485213000616287757824*c_1001_2^23 + 2060874126838551947512437232966420775782200480955864068123782323561\ 642530849440889132358325/366811745563482051588793769032414442604325\ 60157157663218190486023216485213000616287757824*c_1001_2^22 + 2547377626397324724382521896450400486205796435672442278139203823387\ 42863331445949989106651915/3668117455634820515887937690324144426043\ 2560157157663218190486023216485213000616287757824*c_1001_2^21 - 4595961221735155348810214229241031647352152923791583083878648521775\ 30251035832481940416953077/3668117455634820515887937690324144426043\ 2560157157663218190486023216485213000616287757824*c_1001_2^20 + 1861080955030197433395793038497228330423289924764212345537228815137\ 26255312715542991143270905/3668117455634820515887937690324144426043\ 2560157157663218190486023216485213000616287757824*c_1001_2^19 + 6872510863367138330444738306367200543380711622896899367127084597031\ 67656188605443387995192637/3668117455634820515887937690324144426043\ 2560157157663218190486023216485213000616287757824*c_1001_2^18 - 1593641016005156082160668653814289578809025316205751417735372965770\ 057546205380947826085116199/366811745563482051588793769032414442604\ 32560157157663218190486023216485213000616287757824*c_1001_2^17 + 1743250522145591141846407050967466653722190969860170826098981079227\ 664117321247415569853608105/366811745563482051588793769032414442604\ 32560157157663218190486023216485213000616287757824*c_1001_2^16 - 3785194610540931064604848048811038767255039581644558201889567551889\ 61211495352175469775448841/1834058727817410257943968845162072213021\ 6280078578831609095243011608242606500308143878912*c_1001_2^15 - 1250480702584960576395704950904066567784530778581357171957879391186\ 153475040595199470386618125/366811745563482051588793769032414442604\ 32560157157663218190486023216485213000616287757824*c_1001_2^14 + 3760826404687448337177404614090433003779327608548014751131655767593\ 995891798287044681026088615/366811745563482051588793769032414442604\ 32560157157663218190486023216485213000616287757824*c_1001_2^13 - 7473385405985938934521343546929821547738007749784442123381504345589\ 69703902428050366364246569/4585146819543525644859922112905180532554\ 070019644707902273810752902060651625077035969728*c_1001_2^12 + 3513813907757468488028763854247418697099565558535459736691219708438\ 477484353089680409609187513/183405872781741025794396884516207221302\ 16280078578831609095243011608242606500308143878912*c_1001_2^11 - 6628738945340411894154027564279114685959624737623626483379471269252\ 096317223507350227966076355/366811745563482051588793769032414442604\ 32560157157663218190486023216485213000616287757824*c_1001_2^10 + 5200162995486852769178577210028697699485869057408877282569924496040\ 294487590758564127320738809/366811745563482051588793769032414442604\ 32560157157663218190486023216485213000616287757824*c_1001_2^9 - 8617726915426209427756651175227912469043799540088062946981258956727\ 90747203503324354597007279/9170293639087051289719844225810361065108\ 140039289415804547621505804121303250154071939456*c_1001_2^8 + 2425630389982384916149892307115062984828056598613927560289193500670\ 48254761845532077172177105/4585146819543525644859922112905180532554\ 070019644707902273810752902060651625077035969728*c_1001_2^7 - 9261843954372403872692866864560916021304872897507258941628156089135\ 65943561998709931785525711/3668117455634820515887937690324144426043\ 2560157157663218190486023216485213000616287757824*c_1001_2^6 + 1872116293334560539038096165205153522964475361149011290466730432588\ 30343424047570472060349563/1834058727817410257943968845162072213021\ 6280078578831609095243011608242606500308143878912*c_1001_2^5 - 1565632731913055353331450755345770880152666631202545428264081304765\ 3475498838375291265340249/45851468195435256448599221129051805325540\ 70019644707902273810752902060651625077035969728*c_1001_2^4 + 3392952141155628028537155340371558299223513977495493786371195835259\ 9518242341376289103774345/36681174556348205158879376903241444260432\ 560157157663218190486023216485213000616287757824*c_1001_2^3 - 3546569705122886003512444203058560748627578732453689536519246640932\ 977460151466537391647191/183405872781741025794396884516207221302162\ 80078578831609095243011608242606500308143878912*c_1001_2^2 + 5111434961901555948473951389346167240843650481260858427986336870266\ 72758431138599896502139/1834058727817410257943968845162072213021628\ 0078578831609095243011608242606500308143878912*c_1001_2 - 3124105322311852079236615017251557112661696072045824507036894775222\ 2894080306860751791665/36681174556348205158879376903241444260432560\ 157157663218190486023216485213000616287757824, c_1001_2^26 + 12673/953*c_1001_2^25 - 64747/953*c_1001_2^24 + 38744/953*c_1001_2^23 + 233952/953*c_1001_2^22 - 577846/953*c_1001_2^21 + 446044/953*c_1001_2^20 + 532074/953*c_1001_2^19 - 1897590/953*c_1001_2^18 + 2562590/953*c_1001_2^17 - 1704183/953*c_1001_2^16 - 770849/953*c_1001_2^15 + 4279110/953*c_1001_2^14 - 7764479/953*c_1001_2^13 + 9962326/953*c_1001_2^12 - 10119279/953*c_1001_2^11 + 8489194/953*c_1001_2^10 - 5999261/953*c_1001_2^9 + 3604020/953*c_1001_2^8 - 1844665/953*c_1001_2^7 + 803833/953*c_1001_2^6 - 296046/953*c_1001_2^5 + 90303/953*c_1001_2^4 - 22331/953*c_1001_2^3 + 4216/953*c_1001_2^2 - 517/953*c_1001_2 + 17/953 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.500 Total time: 0.700 seconds, Total memory usage: 32.09MB