Magma V2.19-8 Wed Aug 21 2013 01:04:37 on localhost [Seed = 2084201474] Type ? for help. Type -D to quit. Loading file "L14n24550__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n24550 geometric_solution 12.40854883 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 1 1 0 1 0 1 -1 0 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 2 1 0 0 0 0 -1 -1 0 2 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.467431768409 0.721629435371 0 4 4 5 0132 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 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.774298304241 1.099424402172 0 0 4 6 3012 0132 0132 0132 1 1 1 0 0 -1 0 1 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 -3 -1 0 0 1 0 2 0 -2 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.662087048495 0.897127306193 5 7 8 0 0213 0132 0132 0132 1 1 1 1 0 -1 0 1 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 2 0 -2 0 0 0 0 -1 3 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.793175258170 0.816831025356 1 1 9 2 2031 0132 0132 0132 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 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.571802054333 0.607997289736 3 10 1 7 0213 0132 0132 1230 1 1 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 0 -1 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.575444408551 0.918075125371 11 8 2 10 0132 1023 0132 3120 1 1 1 1 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 0 3 -3 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.947151005461 1.111105098856 5 3 8 11 3012 0132 1023 2103 1 1 1 1 0 1 0 -1 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 -2 0 2 0 0 0 0 1 0 0 -1 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.153815780396 0.760288455387 6 12 7 3 1023 0132 1023 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 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.700309584634 0.463933634727 11 10 12 4 2103 0321 2103 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 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.687998673052 0.660930084076 6 5 12 9 3120 0132 0132 0321 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 0 1 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.851446846840 1.003034822174 6 12 9 7 0132 3201 2103 2103 1 1 1 1 0 0 0 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 -1 0 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.291306803265 1.150483412664 9 8 11 10 2103 0132 2310 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 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.632265349873 0.530893843254 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_9'], 'c_1001_10' : d['c_0101_7'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0101_8'], 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_8'], 'c_1001_3' : d['c_1001_12'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_0101_7'], 'c_1010_12' : d['c_0101_7'], 'c_1010_11' : negation(d['c_1001_12']), 'c_1010_10' : d['c_1001_4'], 's_0_10' : 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' : negation(d['c_0011_9']), '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_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_6'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : negation(d['c_0101_10']), 'c_1100_7' : negation(d['c_0101_6']), 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_0101_10']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_4']), 'c_1100_10' : d['c_0011_11'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_12'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : d['c_0101_7'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_8'], 'c_1010_2' : d['c_0101_8'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : d['c_1001_12'], '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_0011_11'], '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' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_11']), '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' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : negation(d['c_0011_9']), 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : negation(d['c_0011_9']), 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0011_3'], 'c_0101_9' : negation(d['c_0011_9']), '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_0101_4'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0011_3'], 'c_1100_9' : negation(d['c_0101_10']), 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0101_4'], 'c_0110_6' : negation(d['c_0011_9'])})} 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_9, c_0101_10, c_0101_2, c_0101_4, c_0101_6, c_0101_7, c_0101_8, c_1001_12, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 6946491062091032504397996041218947762383754451241476534591153089552\ 8360503/16341547643709740615761659878854665404707081119203973370659\ 757729719819578480*c_1001_4^18 - 1642200381387335737237218825075931\ 1552038017649026797550199224424134125771/46690136124884973187890456\ 7967276154420202317691542096304564506563423416528*c_1001_4^17 - 1962997074793910090140515936477271111229884439808263683942881325631\ 0928041/10542933963683703623072038631519138970778762012389660239135\ 3275675611739216*c_1001_4^16 - 983651494820130556905955397371769638\ 770310467866916193181274686155526274091/163415476437097406157616598\ 7885466540470708111920397337065975772971981957848*c_1001_4^15 - 1360505343868615886110556833764983219083691268096223948356481360140\ 7938664687/81707738218548703078808299394273327023535405596019866853\ 29878864859909789240*c_1001_4^14 - 4750559804514317163156561834631771084611913304974221711344636303536\ 186836859/125704212643921081659705075991189733882362162455415179774\ 3058286901524582960*c_1001_4^13 - 497302791705802791497959674515094\ 73562160636644877695179713076547054768167897/8170773821854870307880\ 829939427332702353540559601986685329878864859909789240*c_1001_4^12 - 3897662036937952080759430634319375220696808952511241551218649395549\ 397758759/240316877113378538467083233512568608892751192929470196627\ 349378378232640860*c_1001_4^11 + 4460433097112452363580045996988942\ 2397357747045385306120630451214211342911123/81707738218548703078808\ 29939427332702353540559601986685329878864859909789240*c_1001_4^10 - 6126387698894436211365698696724101370643221122687369030971456245473\ 2217554/10203264013305282602248788635648517360581344355147336020641\ 70687420068655*c_1001_4^9 + 342611565211526192699193655557833236603\ 99086897796555500513359722116745949599/1257042126439210816597050759\ 911897338823621624554151797743058286901524582960*c_1001_4^8 - 9781074458600405209069700881584233275637165191179321540130464639538\ 2638093209/40853869109274351539404149697136663511767702798009933426\ 6493943242995489462*c_1001_4^7 - 2996963929634730122068150788693296\ 681676727542384585842284261149596145473346/208438107700379344588796\ 68212824828322330460611229557870739486900152831095*c_1001_4^6 - 6849531283332604629866780379730412956835562583194053181913411224791\ 45007261589/2334506806244248659394522839836380772101011588457710481\ 522822532817117082640*c_1001_4^5 + 2466501535944053250027811765777432626752409822672809539851352030716\ 88010638463/8170773821854870307880829939427332702353540559601986685\ 329878864859909789240*c_1001_4^4 + 2072575494363630499577124698556838637724595686551245953801388295050\ 506789499823/163415476437097406157616598788546654047070811192039733\ 70659757729719819578480*c_1001_4^3 - 4839229798123960154291357929485547068080886351469503876373157345415\ 4309579667/16675048616030347567103734570259862657864368488983646296\ 5915895201222648760*c_1001_4^2 - 1188132230157041097631282042312013\ 70629646348395306953109341480685587202803491/2971190480674498293774\ 84725070084825540128747621890424921086504176723992336*c_1001_4 - 1557162037957896683897883165251936684079493788368643293412413141574\ 695840756927/817077382185487030788082993942733270235354055960198668\ 5329878864859909789240, c_0011_0 - 1, c_0011_10 + 36736417493623663610813762757867009850504459023025791/10573\ 38274553495425155510868504961016324955888915916340142*c_1001_4^18 + 156403411324082351620269495149708817487930649296108565/528669137276\ 747712577755434252480508162477944457958170071*c_1001_4^17 + 1679538411584535100586507489930412601967538063629789759/10573382745\ 53495425155510868504961016324955888915916340142*c_1001_4^16 + 2779658517556862854856794253252142766559071487076890811/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^15 + 15466179071125042370934213674787745215879698232021987481/1057338274\ 553495425155510868504961016324955888915916340142*c_1001_4^14 + 17730155733202144071192862880843017015351489119435523742/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^13 + 29297598902209551019556706121818491819671220929688514092/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^12 + 148296479725600804960923922332113162012124597733660118307/105733827\ 4553495425155510868504961016324955888915916340142*c_1001_4^11 - 11059923677809539380319999600009116820410092302549814262/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^10 + 490267424887832910207267911250837124681968025880498893437/105733827\ 4553495425155510868504961016324955888915916340142*c_1001_4^9 - 65303240201555969604410849783963393822538457518633365425/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^8 + 998383768482022597010029597560115584653125596103582207811/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^7 + 1652513329758082944579218949590421729029561332724503417905/10573382\ 74553495425155510868504961016324955888915916340142*c_1001_4^6 + 2737835883973602828198182330410384155861123828057694729785/10573382\ 74553495425155510868504961016324955888915916340142*c_1001_4^5 - 27239883513241774234541292159704094873947120303656157601/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^4 - 1466253509221892565243323278221490294427495134496495456599/10573382\ 74553495425155510868504961016324955888915916340142*c_1001_4^3 + 951168444774387314540198492530240802605875871568583893152/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^2 + 2140679961994864180869728200154227823038761205896483887151/52866913\ 7276747712577755434252480508162477944457958170071*c_1001_4 + 1126586173972885346103466566734440611283042546268659815624/52866913\ 7276747712577755434252480508162477944457958170071, c_0011_11 + 496218556323175303993458924542119574367423901576847/5286691\ 37276747712577755434252480508162477944457958170071*c_1001_4^18 + 21526873641856531741198524683935177361088406216533465/1057338274553\ 495425155510868504961016324955888915916340142*c_1001_4^17 + 72318482491361736768417557021867318872316728143891206/5286691372767\ 47712577755434252480508162477944457958170071*c_1001_4^16 + 656581839068883566299610329310147823282679249779548727/105733827455\ 3495425155510868504961016324955888915916340142*c_1001_4^15 + 966576734412124434267217152799129103438155371785365127/528669137276\ 747712577755434252480508162477944457958170071*c_1001_4^14 + 5073268759674986596548072223868408628981493036787249585/10573382745\ 53495425155510868504961016324955888915916340142*c_1001_4^13 + 5188236428832033616346519306380733634346149238999791908/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^12 + 8172749211739867784018692187539860702545687629618221351/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^11 + 39393619026492257849501900818835378760038172336528173079/1057338274\ 553495425155510868504961016324955888915916340142*c_1001_4^10 - 17895649378828758387026183017758260303613321909557195222/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^9 + 205705677774140208746709364088361993784095345676612236869/105733827\ 4553495425155510868504961016324955888915916340142*c_1001_4^8 - 99627663636394487389198761434674459368950559478845778118/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^7 + 466180829459568545739192365043421925557719985521668138831/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^6 - 79246252347347244438372854550531406880553245772893369849/1057338274\ 553495425155510868504961016324955888915916340142*c_1001_4^5 + 941902661426185248819298935166349377885194081059034516435/105733827\ 4553495425155510868504961016324955888915916340142*c_1001_4^4 - 412179931336023720435631381578020451590200978827373138299/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^3 - 168617373139232226212378829178991487911518921832232232097/105733827\ 4553495425155510868504961016324955888915916340142*c_1001_4^2 + 404187922352138987039575869809562099786133430451100848839/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4 + 300129175236022802431620166604380145065181532381921989138/528669137\ 276747712577755434252480508162477944457958170071, c_0011_3 - 1, c_0011_9 - 8447531233369674691494982662553503017925594153647175/5286691\ 37276747712577755434252480508162477944457958170071*c_1001_4^18 - 65874440605186968753407134862728003249470138807900859/5286691372767\ 47712577755434252480508162477944457958170071*c_1001_4^17 - 335723581938807081047104198595038984794734563513418092/528669137276\ 747712577755434252480508162477944457958170071*c_1001_4^16 - 1012517863773441838952581203202448287098814546211261035/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^15 - 2701382298977559871709611945536133881295260375633272732/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^14 - 5817207636469483320810133182892381775801199322755437737/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^13 - 8171500355165400245309844758164790742036547473101292446/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^12 - 25625504427599656341992183388287395550343024895751030521/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^11 + 27604802148628020371204463599535300181156393545337248767/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^10 - 120393923373543632391876684105267865057653899688977892720/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^9 + 109067926889599359992652302998563043779968642718757017622/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^8 - 482956099882592824267860367996748930941331516520998589122/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^7 - 74286018554456683687081606003629029127186882350911772109/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^6 - 404527708879824695664215029337809933606414343664168061677/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^5 + 331831298593339710096179120456849413503867642514828394913/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^4 + 297292751518762091285697698729656124922216546801815917179/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^3 - 652231808438064377233172105975037534695584544693311695633/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^2 - 530646417642988872672167680077404299765989777601591894780/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4 - 165322571943604679250669987495763283016827356624662986741/528669137\ 276747712577755434252480508162477944457958170071, c_0101_10 - 4407890322942295908622460269942162644882591391544676/528669\ 137276747712577755434252480508162477944457958170071*c_1001_4^18 - 40730872383326236372388684256301519350489905061575296/5286691372767\ 47712577755434252480508162477944457958170071*c_1001_4^17 - 225994642389013026840417837234475493189653318921054586/528669137276\ 747712577755434252480508162477944457958170071*c_1001_4^16 - 792997876373228559491708332902321624771541118112458891/528669137276\ 747712577755434252480508162477944457958170071*c_1001_4^15 - 2245393342512318861596910325426500222282068769151214210/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^14 - 5360078517724414911489466628475299134353984914258732348/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^13 - 9582100489492046417956011899605207742609388724266366465/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^12 - 21948344365240993343294264223482137572575913510680180779/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^11 - 9940375893391831025159613637133799385798230491671964860/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^10 - 52908477474570164178189196172210849377960480068665456527/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^9 - 44229292166074949717373777570637711973241819000435745430/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^8 - 201824952699167169190646812124527361965801003019021336480/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^7 - 402070209966229507307796590820168031471521495742319127285/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^6 - 407075608971940662899279552858893443126793923675555318015/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^5 - 167497583111438120356360177926324519898887829830282415379/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^4 - 54503805568207450377230702825270584593489622198311194518/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^3 - 188147195385183715366730430129385263373601055470369796336/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^2 - 1057276512257145744003495969469562061152828299064415839978/52866913\ 7276747712577755434252480508162477944457958170071*c_1001_4 - 343446068514473403264928874263761304170628667520404626262/528669137\ 276747712577755434252480508162477944457958170071, c_0101_2 + 8196573881121569775572763628987172391566857647849183/1057338\ 274553495425155510868504961016324955888915916340142*c_1001_4^18 + 35729488654474747219852544844521986559524914492414933/5286691372767\ 47712577755434252480508162477944457958170071*c_1001_4^17 + 380133998646358813729361979452593844711437878194595521/105733827455\ 3495425155510868504961016324955888915916340142*c_1001_4^16 + 1244720597856206797973268004997788881784562316008216141/10573382745\ 53495425155510868504961016324955888915916340142*c_1001_4^15 + 3331330462892264079696206838580627832675364369580721149/10573382745\ 53495425155510868504961016324955888915916340142*c_1001_4^14 + 7441186791737283454539041910541283026838345708952034255/10573382745\ 53495425155510868504961016324955888915916340142*c_1001_4^13 + 5749820964046653729134510763054182900649669899024061562/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^12 + 14253923773734964952154271354517026633269370275267900510/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^11 - 4696186488672387926906246085914481642448673382367568979/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^10 + 77299334477857133359986836852621921558853843319198502937/1057338274\ 553495425155510868504961016324955888915916340142*c_1001_4^9 + 7482805097047753733447427141913116562411196801684266463/10573382745\ 53495425155510868504961016324955888915916340142*c_1001_4^8 + 163386496967896961427674034946095317690090093880457166553/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^7 + 240681440629987024178753724861490132634524750546190843034/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^6 + 317037585709117713935210018023726823518953281840484792229/105733827\ 4553495425155510868504961016324955888915916340142*c_1001_4^5 - 175279172133431603335973525697264344820349597594693187235/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^4 - 293200987109500454081697013511830958017891321922902770424/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^3 + 241596989172217209533524623493033500735224181854708399581/105733827\ 4553495425155510868504961016324955888915916340142*c_1001_4^2 + 762021760836590426063325539545659025325608611030211257150/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4 - 26954533885106171259249215912932307509778874984697876361/1057338274\ 553495425155510868504961016324955888915916340142, c_0101_4 + 8196573881121569775572763628987172391566857647849183/1057338\ 274553495425155510868504961016324955888915916340142*c_1001_4^18 + 35729488654474747219852544844521986559524914492414933/5286691372767\ 47712577755434252480508162477944457958170071*c_1001_4^17 + 380133998646358813729361979452593844711437878194595521/105733827455\ 3495425155510868504961016324955888915916340142*c_1001_4^16 + 1244720597856206797973268004997788881784562316008216141/10573382745\ 53495425155510868504961016324955888915916340142*c_1001_4^15 + 3331330462892264079696206838580627832675364369580721149/10573382745\ 53495425155510868504961016324955888915916340142*c_1001_4^14 + 7441186791737283454539041910541283026838345708952034255/10573382745\ 53495425155510868504961016324955888915916340142*c_1001_4^13 + 5749820964046653729134510763054182900649669899024061562/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^12 + 14253923773734964952154271354517026633269370275267900510/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^11 - 4696186488672387926906246085914481642448673382367568979/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^10 + 77299334477857133359986836852621921558853843319198502937/1057338274\ 553495425155510868504961016324955888915916340142*c_1001_4^9 + 7482805097047753733447427141913116562411196801684266463/10573382745\ 53495425155510868504961016324955888915916340142*c_1001_4^8 + 163386496967896961427674034946095317690090093880457166553/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^7 + 240681440629987024178753724861490132634524750546190843034/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^6 + 317037585709117713935210018023726823518953281840484792229/105733827\ 4553495425155510868504961016324955888915916340142*c_1001_4^5 - 175279172133431603335973525697264344820349597594693187235/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^4 - 293200987109500454081697013511830958017891321922902770424/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^3 + 241596989172217209533524623493033500735224181854708399581/105733827\ 4553495425155510868504961016324955888915916340142*c_1001_4^2 + 233352623559842713485570105293178517163130666572253087079/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4 - 26954533885106171259249215912932307509778874984697876361/1057338274\ 553495425155510868504961016324955888915916340142, c_0101_6 + 4840879865941878514148805051040759783154930534849932/5286691\ 37276747712577755434252480508162477944457958170071*c_1001_4^18 + 39996069994734502366931586259750649065386935519036322/5286691372767\ 47712577755434252480508162477944457958170071*c_1001_4^17 + 212651125479061006479681237197994932691377462367465168/528669137276\ 747712577755434252480508162477944457958170071*c_1001_4^16 + 689828415861755023035741825893349990993094821823776458/528669137276\ 747712577755434252480508162477944457958170071*c_1001_4^15 + 1917068786761072466643256558968419418374200507072846154/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^14 + 4334947031833109832380421548112399133341390474129596634/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^13 + 6976957541412470211111675791362250346863322939774648817/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^12 + 18475033027895964452276927693100680105151148639922736652/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^11 - 6829205799531980721860253714114426577009601542066172476/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^10 + 69573796516140231512942295770240258461973236750701343860/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^9 - 41357135323270286312013626563125877467632237306951009785/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^8 + 290519871638473296936411285198069017517723348900105769606/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^7 + 131622465807431463679934274931317687926087420734728727709/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^6 + 391835928738881833653004986710832087980430264627979026476/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^5 - 109966345940360383898916005120541922254682386697022320827/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^4 - 199190992952885856615265721064176032439359143152982567664/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^3 + 308998150188919262304296357673991432885949693366345907745/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^2 + 666947787188916852901037609877212749675251617282014207002/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4 + 376043000008315620677298697486466655510428221124239440846/528669137\ 276747712577755434252480508162477944457958170071, c_0101_7 - 3938650762686428198101773650401364762416344253478114/5286691\ 37276747712577755434252480508162477944457958170071*c_1001_4^18 - 34760118075878519237608284899467673703948840517446306/5286691372767\ 47712577755434252480508162477944457958170071*c_1001_4^17 - 186311962333143232578277032829677594965243709530195219/528669137276\ 747712577755434252480508162477944457958170071*c_1001_4^16 - 617284129468508227079481528922149247895812090734939374/528669137276\ 747712577755434252480508162477944457958170071*c_1001_4^15 - 1666415954041920545994100770723212680769952381879313905/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^14 - 3772661881045171260385549102235566195006687035961300800/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^13 - 6064841635742916773486344985381622648597211275660492031/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^12 - 14798790657115694584942849504236210230437656292278358665/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^11 + 1729557412537796975372964625150207664511653122111753066/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^10 - 39670968003672491932820534659728537674350440201819846154/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^9 - 12608375176474778189058485468396654783743527332174681010/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^8 - 172320825811661943016635483070890536624177750874466714198/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^7 - 244987571779671388602296277922930833297974670281741179604/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^6 - 221719281274789636213851908392475114802327988176103436535/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^5 + 104270129666450561427607090015897895989694071420163188353/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^4 + 235712491352042112965968767357565758980823948468276631533/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^3 - 364364334507378371075734606366631120012132403591372408285/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^2 - 245170533597671457190788093604825542279010696705284184708/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4 - 353296633162258306950073288372867506594601855536202559517/528669137\ 276747712577755434252480508162477944457958170071, c_0101_8 + 1485185850762187252724846473094347174743003421850681/1057338\ 274553495425155510868504961016324955888915916340142*c_1001_4^18 + 4266581340259755147079041415228662505862021026621389/52866913727674\ 7712577755434252480508162477944457958170071*c_1001_4^17 + 45168252311763199230000494943396020671317046540334815/1057338274553\ 495425155510868504961016324955888915916340142*c_1001_4^16 + 134936233867303248098215646788911100201627327639336775/105733827455\ 3495425155510868504961016324955888915916340142*c_1001_4^15 + 502807110629880853590306279356211004073036644564971159/105733827455\ 3495425155510868504961016324955888915916340142*c_1001_4^14 + 1228707271928936210221801185683515239844435239307159013/10573382745\ 53495425155510868504961016324955888915916340142*c_1001_4^13 + 1227136577365816481977165028308067446213653040750587255/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^12 + 4221109254160999500122656338583653471881778364654836142/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^11 - 2133019310859592794954007628199944934560928159698603497/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^10 + 61848258554423329665897754687858595365092630182204184783/1057338274\ 553495425155510868504961016324955888915916340142*c_1001_4^9 - 90197075743588326357474680268164871497675671415586286033/1057338274\ 553495425155510868504961016324955888915916340142*c_1001_4^8 + 127133374670576335508737250251973699827633255019648603053/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^7 - 109058974822555560498819449930172444708437329811462115325/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^6 + 466634271768645953370799955397937352441907247415473260723/105733827\ 4553495425155510868504961016324955888915916340142*c_1001_4^5 + 65312826193071219437057520576722422565667210897670866408/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^4 + 94009994156614597466431292447654925578532178769920202760/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^3 + 376399311205621315075068091854949365036675204877983415909/105733827\ 4553495425155510868504961016324955888915916340142*c_1001_4^2 - 95073973647673573162287929668446275650356993748197050148/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4 + 779040533901737412613846610885865618530635317233176758053/105733827\ 4553495425155510868504961016324955888915916340142, c_1001_12 + 9248770188884174422771265320982922428037521926394608/528669\ 137276747712577755434252480508162477944457958170071*c_1001_4^18 + 80726942378060738739320270516052168415876840580611618/5286691372767\ 47712577755434252480508162477944457958170071*c_1001_4^17 + 438645767868074033320099074432470425881030781288519754/528669137276\ 747712577755434252480508162477944457958170071*c_1001_4^16 + 1482826292234983582527450158795671615764635939936235349/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^15 + 4162462129273391328240166884394919640656269276224060364/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^14 + 9695025549557524743869888176587698267695375388388328982/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^13 + 16559058030904516629067687690967458089472711664041015282/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^12 + 40423377393136957795571191916582817677727062150602917431/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^11 + 3111170093859850303299359923019372808788628949605792384/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^10 + 122482273990710395691131491942451107839933716819366800387/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^9 + 2872156842804663405360151007511834505609581693484735645/52866913727\ 6747712577755434252480508162477944457958170071*c_1001_4^8 + 492344824337640466127058097322596379483524351919127106086/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^7 + 533692675773660970987730865751485719397608916477047854994/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^6 + 798911537710822496552284539569725531107224188303534344491/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^5 + 57531237171077736457444172805782597644205443133260094552/5286691372\ 76747712577755434252480508162477944457958170071*c_1001_4^4 - 144687187384678406238035018238905447845869520954671373146/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^3 + 497145345574102977671026787803376696259550748836715704081/528669137\ 276747712577755434252480508162477944457958170071*c_1001_4^2 + 1195555162169314884326778145094294302665601971888471876909/52866913\ 7276747712577755434252480508162477944457958170071*c_1001_4 + 719489068522789023942227571750227959681056888644644067108/528669137\ 276747712577755434252480508162477944457958170071, c_1001_4^19 + 9*c_1001_4^18 + 50*c_1001_4^17 + 175*c_1001_4^16 + 503*c_1001_4^15 + 1201*c_1001_4^14 + 2154*c_1001_4^13 + 5031*c_1001_4^12 + 1774*c_1001_4^11 + 13960*c_1001_4^10 + 3653*c_1001_4^9 + 54474*c_1001_4^8 + 73693*c_1001_4^7 + 104363*c_1001_4^6 + 50392*c_1001_4^5 - 21614*c_1001_4^4 + 48168*c_1001_4^3 + 141128*c_1001_4^2 + 127708*c_1001_4 + 51397 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.420 Total time: 2.629 seconds, Total memory usage: 32.09MB