Magma V2.19-8 Wed Aug 21 2013 00:00:35 on localhost [Seed = 1157835850] Type ? for help. Type -D to quit. Loading file "K13n1541__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1541 geometric_solution 11.26148367 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 1 0 -1 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 4 -1 -3 1 0 0 -1 4 0 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.905782785447 1.018041385695 0 5 7 6 0132 0132 0132 0132 0 0 0 0 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 -4 4 0 -1 0 1 0 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.476410386158 0.438825408656 8 0 5 9 0132 0132 0321 0132 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 0 0 0 0 0 0 0 0 -4 4 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.452604648544 0.868918603924 6 10 4 0 0132 0132 2103 0132 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 0 0 -1 1 0 0 0 0 -1 1 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.566323122293 0.250319108292 3 9 0 10 2103 0132 0132 0132 0 0 0 0 0 -1 1 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 -3 3 0 0 0 1 -1 1 0 0 -1 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.637397177468 1.128381953296 8 1 2 11 1023 0132 0321 0132 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 0 0 0 0 0 0 0 0 4 -4 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.252792585936 0.738679430145 3 8 1 11 0132 0321 0132 1230 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 0 0 0 0 0 0 0 3 0 0 -3 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.025321237543 1.576941956454 12 10 9 1 0132 2310 2103 0132 0 0 0 0 0 0 1 -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 0 4 -4 1 0 0 -1 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.656533888408 0.707126613408 2 5 12 6 0132 1023 0132 0321 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 0 0 0 0 0 0 1.122698371498 0.966191648399 7 4 2 11 2103 0132 0132 0213 0 0 0 0 0 1 0 -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 3 0 -3 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.558095819702 0.657883515254 12 3 4 7 1302 0132 0132 3201 0 0 0 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 0 0 0 0 0 0 0 3 0 1 -4 3 -3 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.575659876504 0.602144153809 6 12 5 9 3012 0213 0132 0213 0 0 0 0 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 -3 0 3 0 0 0 0 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.816192903575 0.711239485717 7 10 11 8 0132 2031 0213 0132 0 0 0 0 0 -1 1 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 -3 3 0 -1 0 0 1 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.779203125310 0.482374600300 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_11'], 'c_1001_11' : negation(d['c_0110_10']), 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : negation(d['c_0110_10']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_4']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : negation(d['c_0110_10']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : d['c_0011_4'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : negation(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' : negation(d['c_0011_12']), 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_2_10' : d['1'], 's_2_11' : negation(d['1']), 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(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_1001_5'], 'c_1100_8' : d['c_1001_5'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_2'], 'c_1100_4' : d['c_0011_12'], 'c_1100_7' : d['c_0110_11'], 'c_1100_6' : d['c_0110_11'], 'c_1100_1' : d['c_0110_11'], 'c_1100_0' : d['c_0011_12'], 'c_1100_3' : d['c_0011_12'], 'c_1100_2' : d['c_1001_5'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_2'], 'c_1100_10' : d['c_0011_12'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0110_10']), 'c_1010_6' : d['c_0101_11'], 'c_1010_5' : negation(d['c_0110_10']), 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0101_11'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1001_5'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(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' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : d['c_0011_11'], 'c_0110_0' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0011_11'], 'c_0101_3' : d['c_0011_11'], 'c_0101_2' : negation(d['c_0011_10']), 'c_0101_1' : d['c_0011_11'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_7'], 'c_0101_8' : d['c_0101_7'], 's_1_12' : d['1'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0110_11']), 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : negation(d['c_0011_12']), 'c_0110_7' : d['c_0011_11'], 'c_0011_10' : d['c_0011_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_12, c_0011_4, c_0101_0, c_0101_11, c_0101_7, c_0110_10, c_0110_11, c_1001_0, c_1001_2, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 7705717030396467211259797737147222634586016068107751687/31853197032\ 816147868708088770311018476384885065440*c_1001_5^26 - 402860613317765896851614959497828138167320071165062460851/509651152\ 525058365899329420324976295622158161047040*c_1001_5^25 - 1491992149989995153893789732259306564334693523087113631787/50965115\ 2525058365899329420324976295622158161047040*c_1001_5^24 - 342042542995103681580102908174255810526997836873870807149/637063940\ 65632295737416177540622036952769770130880*c_1001_5^23 - 136916611942381608165835122611850952438864915894350459661/106177323\ 44272049289569362923437006158794961688480*c_1001_5^22 - 536866679041447645367553071414254069721380110776981559247/299794795\ 60297550935254671783822135036597538885120*c_1001_5^21 - 6382873085435973525889732245946995305102498523306590138499/16988371\ 7508352788633109806774992098540719387015680*c_1001_5^20 - 6332492460466130677816293420176717181235952938398531805653/16988371\ 7508352788633109806774992098540719387015680*c_1001_5^19 - 724454131782864414892711655844800720031863855579759748287/108436415\ 43086348210624030219680346715365067256320*c_1001_5^18 - 19757698847811610459133926546896783422394566908110242917073/5096511\ 52525058365899329420324976295622158161047040*c_1001_5^17 - 39581499821365271791520208501071629498869994919282631057163/5096511\ 52525058365899329420324976295622158161047040*c_1001_5^16 - 1530149579581758942326342529150059019629558849912777967257/50965115\ 252505836589932942032497629562215816104704*c_1001_5^15 - 14793713658265497740898058627479360792280492330209097786613/2548255\ 76262529182949664710162488147811079080523520*c_1001_5^14 - 13490768333142391736112965856578363833788585809834228113937/5096511\ 52525058365899329420324976295622158161047040*c_1001_5^13 - 80257330333609107820408651035817033275413332847724016931/9993159853\ 432516978418223927940711678865846295040*c_1001_5^12 - 565649375513184658299701444197197955126027031086475976791/999315985\ 3432516978418223927940711678865846295040*c_1001_5^11 + 3963376522194072227883311864359753955409633705247585870101/84941858\ 754176394316554903387496049270359693507840*c_1001_5^10 - 578592180141458935971236881734863086925827417935405541277/822017987\ 9436425256440797102015746703583196145920*c_1001_5^9 + 10188549347091075872419708510709557037561970403125444478327/1698837\ 17508352788633109806774992098540719387015680*c_1001_5^8 - 1459021670733484421619023808394832335231363963195781750663/21235464\ 688544098579138725846874012317589923376960*c_1001_5^7 + 5289766425215080091205068667011527798557720680016756948213/84941858\ 754176394316554903387496049270359693507840*c_1001_5^6 - 3299537322680691831732472681235982113001872772673338322021/63706394\ 065632295737416177540622036952769770130880*c_1001_5^5 + 130918041325797580484672983190824458267593145653633158769/424709293\ 7708819715827745169374802463517984675392*c_1001_5^4 - 3561810394501729620529551849324906048926734233211461685493/25482557\ 6262529182949664710162488147811079080523520*c_1001_5^3 + 2012276555803491925443629412441401247709917215491275643607/50965115\ 2525058365899329420324976295622158161047040*c_1001_5^2 - 1113465238701772574177345698518589919268041614950773441/16440359758\ 87285051288159420403149340716639229184*c_1001_5 - 857546987215622487399013276638022859162141049967287199/169883717508\ 352788633109806774992098540719387015680, c_0011_0 - 1, c_0011_10 - 10858548405116211989180284637310883392109/14080946234359858\ 326667540157879448884224*c_1001_5^26 - 48506360411798125620528919502665717789521/7040473117179929163333770\ 078939724442112*c_1001_5^25 - 3201860923509323524295894666413702100\ 70985/14080946234359858326667540157879448884224*c_1001_5^24 - 116760123431822262771975939647822755931543/176011827929498229083344\ 2519734931110528*c_1001_5^23 - 175586103923726829307223564231867908\ 3352369/14080946234359858326667540157879448884224*c_1001_5^22 - 458205903253116651295453918023181794107489/176011827929498229083344\ 2519734931110528*c_1001_5^21 - 132659737328031178094270905519876677\ 7495825/3520236558589964581666885039469862221056*c_1001_5^20 - 1209033124428812197846421898887515138394801/17601182792949822908334\ 42519734931110528*c_1001_5^19 - 48124484826410104380686357082518859\ 27499785/7040473117179929163333770078939724442112*c_1001_5^18 - 3739483766512624117842572550175916473460421/35202365585899645816668\ 85039469862221056*c_1001_5^17 - 79151258560208002906186539083888564\ 91005775/14080946234359858326667540157879448884224*c_1001_5^16 - 3955176401290378751848560088424009031796681/35202365585899645816668\ 85039469862221056*c_1001_5^15 - 40293537354809959203537666539440643\ 41107109/14080946234359858326667540157879448884224*c_1001_5^14 - 5385851839483251137959765658033031601698287/70404731171799291633337\ 70078939724442112*c_1001_5^13 - 11054871701314297326224465287473116\ 18533255/7040473117179929163333770078939724442112*c_1001_5^12 - 609784823108018935466057073487371720665729/140809462343598583266675\ 40157879448884224*c_1001_5^11 - 25820710695797658639625463690472277\ 05565841/3520236558589964581666885039469862221056*c_1001_5^10 + 383637450320554214180498712477548103558779/454224072076124462150565\ 811544498351104*c_1001_5^9 - 15147366415253768735875153265797819013\ 450233/14080946234359858326667540157879448884224*c_1001_5^8 + 7004977977621600942333696316250894253539805/70404731171799291633337\ 70078939724442112*c_1001_5^7 - 765959864050145432814619340827857536\ 5193043/7040473117179929163333770078939724442112*c_1001_5^6 + 1867897852115869599395689975085494275521787/17601182792949822908334\ 42519734931110528*c_1001_5^5 - 632146585528264167146324308976212374\ 9724435/7040473117179929163333770078939724442112*c_1001_5^4 + 7749466209679674597516878729692616884236027/14080946234359858326667\ 540157879448884224*c_1001_5^3 - 33925458775636334647953479763761330\ 99099489/14080946234359858326667540157879448884224*c_1001_5^2 + 29819127664374695202669085259755563985681/4542240720761244621505658\ 11544498351104*c_1001_5 - 13413046580098088626016837904862644434888\ 7/14080946234359858326667540157879448884224, c_0011_11 - 45593141622170469548872038854209745904941/14080946234359858\ 326667540157879448884224*c_1001_5^26 - 46940089337933833148198479874723133447313/7040473117179929163333770\ 078939724442112*c_1001_5^25 - 3784352339433716569662583791896510969\ 96321/14080946234359858326667540157879448884224*c_1001_5^24 - 47112571055854030543175421877849396797655/1760118279294982290833442\ 519734931110528*c_1001_5^23 - 1323942100201709485769638575125280357\ 831201/14080946234359858326667540157879448884224*c_1001_5^22 - 89285453317654009767649610704139318208741/1760118279294982290833442\ 519734931110528*c_1001_5^21 - 9022069405409244645606884230149217337\ 64435/3520236558589964581666885039469862221056*c_1001_5^20 + 58654884974691966466094009407307126151597/1760118279294982290833442\ 519734931110528*c_1001_5^19 - 2989039444307958395747026801578507235\ 152749/7040473117179929163333770078939724442112*c_1001_5^18 + 1313453587219447199164337362639322491856107/35202365585899645816668\ 85039469862221056*c_1001_5^17 - 94345824656210184877699622046449169\ 56216103/14080946234359858326667540157879448884224*c_1001_5^16 + 2042567295905796907327464382676646967194027/35202365585899645816668\ 85039469862221056*c_1001_5^15 - 81446945958586874990821314911715616\ 07868901/14080946234359858326667540157879448884224*c_1001_5^14 + 2263667319314937835263066986997296116907369/70404731171799291633337\ 70078939724442112*c_1001_5^13 + 73639140388954780740723264360921301\ 4671005/7040473117179929163333770078939724442112*c_1001_5^12 - 11435670655545360359896179036044725663198321/1408094623435985832666\ 7540157879448884224*c_1001_5^11 + 510175326355173639990324938242961\ 0970840909/3520236558589964581666885039469862221056*c_1001_5^10 - 821412152383686070815018123909913082733869/454224072076124462150565\ 811544498351104*c_1001_5^9 + 26800698292014211585636821869063048683\ 067215/14080946234359858326667540157879448884224*c_1001_5^8 - 13564760069015119778244988939603856231589563/7040473117179929163333\ 770078939724442112*c_1001_5^7 + 13602273286648840236511195658943472\ 511499189/7040473117179929163333770078939724442112*c_1001_5^6 - 3035303939878534264611155135607668870273549/17601182792949822908334\ 42519734931110528*c_1001_5^5 + 875866347926883084017615510288519846\ 6087165/7040473117179929163333770078939724442112*c_1001_5^4 - 9489249698686214107352416712637614937532005/14080946234359858326667\ 540157879448884224*c_1001_5^3 + 36151390194263782814442783583456134\ 88660879/14080946234359858326667540157879448884224*c_1001_5^2 - 28529143876115387712226549139439035012727/4542240720761244621505658\ 11544498351104*c_1001_5 + 10862980039549493151400127365713868716331\ 3/14080946234359858326667540157879448884224, c_0011_12 + 128425542512775109554281919083054687630689/7040473117179929\ 163333770078939724442112*c_1001_5^26 + 383022369783494959119403490736439337239207/704047311717992916333377\ 0078939724442112*c_1001_5^25 + 354823950872568536348564678527788679\ 444203/1760118279294982290833442519734931110528*c_1001_5^24 + 294842785159345490556046119222876346181403/880059139647491145416721\ 259867465555264*c_1001_5^23 + 5856799550535543788945059316551160525\ 878453/7040473117179929163333770078939724442112*c_1001_5^22 + 7244660631466227743483573640780315033608305/70404731171799291633337\ 70078939724442112*c_1001_5^21 + 16496551760555762846449910201486124\ 358801965/7040473117179929163333770078939724442112*c_1001_5^20 + 13119979709010775003953423179438277188331413/7040473117179929163333\ 770078939724442112*c_1001_5^19 + 2773456424083585215611832905555209\ 9788213935/7040473117179929163333770078939724442112*c_1001_5^18 + 8550714345343403924243837774738726707570915/70404731171799291633337\ 70078939724442112*c_1001_5^17 + 15917087092444979382109570994572118\ 467422635/3520236558589964581666885039469862221056*c_1001_5^16 + 1256423742414234907537603771416574628181319/35202365585899645816668\ 85039469862221056*c_1001_5^15 + 22326163670626514815929292753690778\ 635161911/7040473117179929163333770078939724442112*c_1001_5^14 + 4028971490327335253707404068061629932257961/70404731171799291633337\ 70078939724442112*c_1001_5^13 - 25869045544047598876478905706295772\ 53119609/7040473117179929163333770078939724442112*c_1001_5^12 + 6886878066172469095518571424554230408074643/17601182792949822908334\ 42519734931110528*c_1001_5^11 - 83334084838951337439355119970334133\ 16262451/1760118279294982290833442519734931110528*c_1001_5^10 + 1325325898815396692337738453649207865704485/22711203603806223107528\ 2905772249175552*c_1001_5^9 - 9853725643536485304698009120750186414\ 556131/1760118279294982290833442519734931110528*c_1001_5^8 + 20817629334033434342056766782742453448691631/3520236558589964581666\ 885039469862221056*c_1001_5^7 - 99853872575174523302754961227047986\ 81995351/1760118279294982290833442519734931110528*c_1001_5^6 + 8279276878402932888957244036400141005399773/17601182792949822908334\ 42519734931110528*c_1001_5^5 - 102930666208363136527815306078164293\ 87004287/3520236558589964581666885039469862221056*c_1001_5^4 + 9306232718356606985710826297564778821717667/70404731171799291633337\ 70078939724442112*c_1001_5^3 - 674503074607205055537169468406047131\ 328323/1760118279294982290833442519734931110528*c_1001_5^2 + 13695453242195759738199943994342924163643/2271120360380622310752829\ 05772249175552*c_1001_5 - 327233828828327856329781238470344107773/1\ 760118279294982290833442519734931110528, c_0011_4 - 203694771957614840987665767894535663657755/14080946234359858\ 326667540157879448884224*c_1001_5^26 - 354668050734286388102910326412727336252657/704047311717992916333377\ 0078939724442112*c_1001_5^25 - 256578675901567828831738891307314040\ 8152687/14080946234359858326667540157879448884224*c_1001_5^24 - 611180866225922158371556402957665491020319/176011827929498229083344\ 2519734931110528*c_1001_5^23 - 112346535592771907915959553933411933\ 20823815/14080946234359858326667540157879448884224*c_1001_5^22 - 4041186261573890101670246652056213697154331/35202365585899645816668\ 85039469862221056*c_1001_5^21 - 80002072713814862724325669084145788\ 03903293/3520236558589964581666885039469862221056*c_1001_5^20 - 8400673659919508022193540245104505786100329/35202365585899645816668\ 85039469862221056*c_1001_5^19 - 27105509835493390670431528417979862\ 231184879/7040473117179929163333770078939724442112*c_1001_5^18 - 4231603531007296312721248970049293115019153/17601182792949822908334\ 42519734931110528*c_1001_5^17 - 55656272019662707372747868577515947\ 032115761/14080946234359858326667540157879448884224*c_1001_5^16 - 6115892181904359542802732075039524341017963/35202365585899645816668\ 85039469862221056*c_1001_5^15 - 34322996710750239397806545550784111\ 628915275/14080946234359858326667540157879448884224*c_1001_5^14 - 9093156686838959042242863614767758856599875/70404731171799291633337\ 70078939724442112*c_1001_5^13 + 21800931216975432576165813835527040\ 61271619/7040473117179929163333770078939724442112*c_1001_5^12 - 37567866041764030717171828767534435634026171/1408094623435985832666\ 7540157879448884224*c_1001_5^11 + 217324222522760668190860423295253\ 2214641601/880059139647491145416721259867465555264*c_1001_5^10 - 1271904564173279740844209394030218793465567/45422407207612446215056\ 5811544498351104*c_1001_5^9 + 3485840116303996917002623511784815016\ 3758929/14080946234359858326667540157879448884224*c_1001_5^8 - 18924124786647062383387633609126047901136661/7040473117179929163333\ 770078939724442112*c_1001_5^7 + 17295042071163082668671587686952064\ 734875647/7040473117179929163333770078939724442112*c_1001_5^6 - 764337511278928675518575122892009087440243/440029569823745572708360\ 629933732777632*c_1001_5^5 + 52315609942803877538432341061214404983\ 46463/7040473117179929163333770078939724442112*c_1001_5^4 - 1405547645604403399573879134784090666549955/14080946234359858326667\ 540157879448884224*c_1001_5^3 - 13767866973178886599828949845373098\ 15311971/14080946234359858326667540157879448884224*c_1001_5^2 + 28600281098981677188197733879813753510323/4542240720761244621505658\ 11544498351104*c_1001_5 - 21931534208917779078157925239941548537097\ 7/14080946234359858326667540157879448884224, c_0101_0 - 2575617945379751973704147062427701346807073/7040473117179929\ 163333770078939724442112*c_1001_5^26 - 3713710922200500449632464286755623894599909/35202365585899645816668\ 85039469862221056*c_1001_5^25 - 27954812780353513734499111331600439\ 938149283/7040473117179929163333770078939724442112*c_1001_5^24 - 2827836051702917432783600727858662520990605/44002956982374557270836\ 0629933732777632*c_1001_5^23 - 115514066248853251168752129839956295\ 724250173/7040473117179929163333770078939724442112*c_1001_5^22 - 4318689125377956973076121613513637750087271/22001478491187278635418\ 0314966866388816*c_1001_5^21 - 163717522107219445039596294854761980\ 222828541/3520236558589964581666885039469862221056*c_1001_5^20 - 60979194759887046928707850374031626487322227/1760118279294982290833\ 442519734931110528*c_1001_5^19 - 1401318655451819615481991405854756\ 48485378573/1760118279294982290833442519734931110528*c_1001_5^18 - 35105937908299804375747760615546276986897837/1760118279294982290833\ 442519734931110528*c_1001_5^17 - 6706977641272705721855972119264906\ 04973221309/7040473117179929163333770078939724442112*c_1001_5^16 - 51661735470813281892424280287681663403735/2200147849118727863541803\ 14966866388816*c_1001_5^15 - 49788420897538887166458253756668234366\ 3769265/7040473117179929163333770078939724442112*c_1001_5^14 - 21665681931060940287032431276064206212029721/3520236558589964581666\ 885039469862221056*c_1001_5^13 + 5272643008586978723274479928768988\ 265338341/1760118279294982290833442519734931110528*c_1001_5^12 - 569397031850193190921173513716254913319687913/704047311717992916333\ 3770078939724442112*c_1001_5^11 + 364622123900576095006367762573704\ 628137453515/3520236558589964581666885039469862221056*c_1001_5^10 - 30434243046256057094229838672063332098738723/2271120360380622310752\ 82905772249175552*c_1001_5^9 + 931080595347014510416505492120431525\ 425220197/7040473117179929163333770078939724442112*c_1001_5^8 - 490918870985700188239254383200375297354145391/352023655858996458166\ 6885039469862221056*c_1001_5^7 + 4745383190865046181100682015194924\ 28617630785/3520236558589964581666885039469862221056*c_1001_5^6 - 202811390816689978642963047572200977279892751/176011827929498229083\ 3442519734931110528*c_1001_5^5 + 2725857118084275766974086825423515\ 83611878211/3520236558589964581666885039469862221056*c_1001_5^4 - 279038109130296987327474200034546577951639085/704047311717992916333\ 3770078939724442112*c_1001_5^3 + 1016719489806403301260068504827690\ 29589722427/7040473117179929163333770078939724442112*c_1001_5^2 - 784947600331721801961126059115344808756633/227112036038062231075282\ 905772249175552*c_1001_5 + 2943646051977764317174735427690841550536\ 395/7040473117179929163333770078939724442112, c_0101_11 - 690246839146251072250695300881278175037141/7040473117179929\ 163333770078939724442112*c_1001_5^26 - 126354661338487632983600586428958571355187/176011827929498229083344\ 2519734931110528*c_1001_5^25 - 266343038504508793296260500633697618\ 2703759/7040473117179929163333770078939724442112*c_1001_5^24 + 359858197486081891210914462595363316347265/440029569823745572708360\ 629933732777632*c_1001_5^23 + 1679357912537325394647643145609837819\ 051319/7040473117179929163333770078939724442112*c_1001_5^22 + 20741054022035582448859016238857231920250639/3520236558589964581666\ 885039469862221056*c_1001_5^21 + 1035342180253692219473497835096248\ 6724334885/3520236558589964581666885039469862221056*c_1001_5^20 + 81540189268511270094820712890247630637624039/3520236558589964581666\ 885039469862221056*c_1001_5^19 + 1858356068175458950690548683216617\ 9497428857/1760118279294982290833442519734931110528*c_1001_5^18 + 183873281036702134824868691047225463578152187/352023655858996458166\ 6885039469862221056*c_1001_5^17 + 507556713101893350007492630507954\ 29248115203/7040473117179929163333770078939724442112*c_1001_5^16 + 58891686495125912934511432474001294993728207/8800591396474911454167\ 21259867465555264*c_1001_5^15 + 43119826302793368132208168694254069\ 629030535/7040473117179929163333770078939724442112*c_1001_5^14 + 85284432318132103176016042946197809071349679/1760118279294982290833\ 442519734931110528*c_1001_5^13 + 5100357246188592559753235485925354\ 698032325/220014784911872786354180314966866388816*c_1001_5^12 - 105645489073236254789411367210719216749292799/704047311717992916333\ 3770078939724442112*c_1001_5^11 + 135734617667216938101492933260014\ 405498513119/1760118279294982290833442519734931110528*c_1001_5^10 - 17533548941466478920935797242656294788257877/2271120360380622310752\ 82905772249175552*c_1001_5^9 + 685554039502209548022943842053608576\ 350313913/7040473117179929163333770078939724442112*c_1001_5^8 - 318138958140203260785277034995938424950653175/352023655858996458166\ 6885039469862221056*c_1001_5^7 + 3403842549253655324743557676118566\ 70556906515/3520236558589964581666885039469862221056*c_1001_5^6 - 75597127009983996003693204991332087872031187/8800591396474911454167\ 21259867465555264*c_1001_5^5 + 234320726188343371106891265579478561\ 126583837/3520236558589964581666885039469862221056*c_1001_5^4 - 267522852920024361326460686094205233082512585/704047311717992916333\ 3770078939724442112*c_1001_5^3 + 1150352236940917399745357641791919\ 11090815745/7040473117179929163333770078939724442112*c_1001_5^2 - 1018893967215525249735676733605330728972063/22711203603806223107528\ 2905772249175552*c_1001_5 + 516841913354123040526989727043044175798\ 0991/7040473117179929163333770078939724442112, c_0101_7 - 3204201891632714366498216371192987497670951/1408094623435985\ 8326667540157879448884224*c_1001_5^26 - 2243379008430421869413355304388986086770465/35202365585899645816668\ 85039469862221056*c_1001_5^25 - 33893288097361070861766920639488903\ 166304721/14080946234359858326667540157879448884224*c_1001_5^24 - 3315894358958044172856180367320137965736605/88005913964749114541672\ 1259867465555264*c_1001_5^23 - 137770728919054164958077020823453354\ 157259883/14080946234359858326667540157879448884224*c_1001_5^22 - 78962383044932089501715044015532505006052835/7040473117179929163333\ 770078939724442112*c_1001_5^21 - 1939795481018252665814169807340177\ 70546768995/7040473117179929163333770078939724442112*c_1001_5^20 - 131683697033648090803099797204315710256128535/704047311717992916333\ 3770078939724442112*c_1001_5^19 - 822255482666048336705205094688832\ 80050987719/1760118279294982290833442519734931110528*c_1001_5^18 - 52815379537834109568562119678009737542301463/7040473117179929163333\ 770078939724442112*c_1001_5^17 - 7959594760790084577679289161816111\ 95686250075/14080946234359858326667540157879448884224*c_1001_5^16 + 4645777472452807540688344187451308716076019/88005913964749114541672\ 1259867465555264*c_1001_5^15 - 591098807699000146267017939925503656\ 795119155/14080946234359858326667540157879448884224*c_1001_5^14 + 205039386381748791904771733734276258598075/352023655858996458166688\ 5039469862221056*c_1001_5^13 + 129104583382666646494761508800119629\ 87121601/3520236558589964581666885039469862221056*c_1001_5^12 - 704798758112324158638814805132901469338184045/140809462343598583266\ 67540157879448884224*c_1001_5^11 + 30168940416649341040422184604892420782710361/4400295698237455727083\ 60629933732777632*c_1001_5^10 - 39432238810755410682567125539881638\ 227076827/454224072076124462150565811544498351104*c_1001_5^9 + 1227728023505230452883744982272899216636591063/14080946234359858326\ 667540157879448884224*c_1001_5^8 - 640390628124999679030807189491031043361349601/704047311717992916333\ 3770078939724442112*c_1001_5^7 + 6243778266707584913897450096461679\ 36991293997/7040473117179929163333770078939724442112*c_1001_5^6 - 133845503912208681568831502174434664636005787/176011827929498229083\ 3442519734931110528*c_1001_5^5 + 3637694115486283028252951548200677\ 80857933247/7040473117179929163333770078939724442112*c_1001_5^4 - 374900314707708380763024955681279185693288515/140809462343598583266\ 67540157879448884224*c_1001_5^3 + 138207156526991225639557495906844\ 090416766643/14080946234359858326667540157879448884224*c_1001_5^2 - 1074989098724021816680157125421446424272457/45422407207612446215056\ 5811544498351104*c_1001_5 + 416606611839091322036048383957134648313\ 0985/14080946234359858326667540157879448884224, c_0110_10 + 1957002497546304368059702512000799828289447/140809462343598\ 58326667540157879448884224*c_1001_5^26 + 2044821266882277965367128234603008261508205/70404731171799291633337\ 70078939724442112*c_1001_5^25 + 16144476274521022775197976053383102\ 894284243/14080946234359858326667540157879448884224*c_1001_5^24 + 1938406946575068999745717602092893618566499/17601182792949822908334\ 42519734931110528*c_1001_5^23 + 53045776241532947189029664707968832\ 702017699/14080946234359858326667540157879448884224*c_1001_5^22 + 5431822063162992724674656350960521947364075/35202365585899645816668\ 85039469862221056*c_1001_5^21 + 33192229746327753434209381225454446\ 469091443/3520236558589964581666885039469862221056*c_1001_5^20 - 14353406748282755577186007968714530688423283/3520236558589964581666\ 885039469862221056*c_1001_5^19 + 9187711940323465092641629682055634\ 0381789895/7040473117179929163333770078939724442112*c_1001_5^18 - 40652495635338248545984049552846343348078149/1760118279294982290833\ 442519734931110528*c_1001_5^17 + 2563526820463197558009264249345259\ 76419929869/14080946234359858326667540157879448884224*c_1001_5^16 - 124981439675214679338267224683442801217475725/352023655858996458166\ 6885039469862221056*c_1001_5^15 + 181721727373160567534730484316299\ 785178773559/14080946234359858326667540157879448884224*c_1001_5^14 - 170720617288335337116380797088426790999870369/704047311717992916333\ 3770078939724442112*c_1001_5^13 - 940537250585513799631503223753930\ 54392689195/7040473117179929163333770078939724442112*c_1001_5^12 + 379772542941453522414257527933477572833339879/140809462343598583266\ 67540157879448884224*c_1001_5^11 - 114611575907384732408609948846819575632992471/176011827929498229083\ 3442519734931110528*c_1001_5^10 + 326917129188076960134803294980910\ 93614819075/454224072076124462150565811544498351104*c_1001_5^9 - 1157008276207054191484560454263409647685403245/14080946234359858326\ 667540157879448884224*c_1001_5^8 + 564230621726090658676149709255812167051275801/704047311717992916333\ 3770078939724442112*c_1001_5^7 - 5800190928829797792536401591232689\ 42323655275/7040473117179929163333770078939724442112*c_1001_5^6 + 63355000367387041050463377564961706807203153/8800591396474911454167\ 21259867465555264*c_1001_5^5 - 372234761033675407485573501775901289\ 032376419/7040473117179929163333770078939724442112*c_1001_5^4 + 408598711629806198177101823516599824738975423/140809462343598583266\ 67540157879448884224*c_1001_5^3 - 166658051047602090394455986629467\ 874549516257/14080946234359858326667540157879448884224*c_1001_5^2 + 1418264164068757907455457928884295601438361/45422407207612446215056\ 5811544498351104*c_1001_5 - 670636566173104644730585014262357721103\ 1491/14080946234359858326667540157879448884224, c_0110_11 - 11933525542126271929915383283978243966081/14080946234359858\ 326667540157879448884224*c_1001_5^26 - 21096265116586564801964104991202840052647/7040473117179929163333770\ 078939724442112*c_1001_5^25 - 1438727687314676558878192912227152583\ 57193/14080946234359858326667540157879448884224*c_1001_5^24 - 32845674141311214162096789702043901164695/1760118279294982290833442\ 519734931110528*c_1001_5^23 - 5588450619951910663268068449036336862\ 87621/14080946234359858326667540157879448884224*c_1001_5^22 - 188771464808609372296507452182963847316183/352023655858996458166688\ 5039469862221056*c_1001_5^21 - 176461018720253792838852742534511671\ 204697/1760118279294982290833442519734931110528*c_1001_5^20 - 325909312531285930349399740813929129429355/352023655858996458166688\ 5039469862221056*c_1001_5^19 - 905871279708097286589416804706177695\ 754055/7040473117179929163333770078939724442112*c_1001_5^18 - 32503808012569519333075449821563719213251/8800591396474911454167212\ 59867465555264*c_1001_5^17 - 86000972526697319003462951918942404374\ 2183/14080946234359858326667540157879448884224*c_1001_5^16 + 29886754610467326156496277607869117505249/3520236558589964581666885\ 039469862221056*c_1001_5^15 + 4035548628613332572369872620741679850\ 33743/14080946234359858326667540157879448884224*c_1001_5^14 + 24853012057476872146794102774027078027991/7040473117179929163333770\ 078939724442112*c_1001_5^13 + 8386957805195025341479197958973510087\ 23723/7040473117179929163333770078939724442112*c_1001_5^12 - 1423278512150929975091010321673716602463665/14080946234359858326667\ 540157879448884224*c_1001_5^11 + 4269563754227913157638041407887686\ 14191667/3520236558589964581666885039469862221056*c_1001_5^10 - 26636181450244858447776803279658266026873/4542240720761244621505658\ 11544498351104*c_1001_5^9 + 577609937470906295147063096740523735451\ 943/14080946234359858326667540157879448884224*c_1001_5^8 - 346580990207429919655153563176301557083607/704047311717992916333377\ 0078939724442112*c_1001_5^7 + 2657212922106563603041119195820151580\ 67085/7040473117179929163333770078939724442112*c_1001_5^6 + 19487515288743752636740746193818846128931/1760118279294982290833442\ 519734931110528*c_1001_5^5 - 39186181636145244639856564764413825449\ 8703/7040473117179929163333770078939724442112*c_1001_5^4 + 878670279801627216519470398641761485386223/140809462343598583266675\ 40157879448884224*c_1001_5^3 - 489961572137450157578619200312196555\ 476321/14080946234359858326667540157879448884224*c_1001_5^2 + 5355738521476277782313531763930598796949/45422407207612446215056581\ 1544498351104*c_1001_5 - 25508673703385786788984882109470940593703/\ 14080946234359858326667540157879448884224, c_1001_0 + 512379360791130581103986936061066238201113/14080946234359858\ 326667540157879448884224*c_1001_5^26 + 695919899142148530246725808269449269591923/704047311717992916333377\ 0078939724442112*c_1001_5^25 + 524332576098082020556619847610618416\ 6996073/14080946234359858326667540157879448884224*c_1001_5^24 + 983531251616660630130657990188049889450893/176011827929498229083344\ 2519734931110528*c_1001_5^23 + 207431191395929608993300375733659927\ 94391757/14080946234359858326667540157879448884224*c_1001_5^22 + 5633976720464445660181763614529165727245845/35202365585899645816668\ 85039469862221056*c_1001_5^21 + 36128693851207017518359774448184925\ 85210843/880059139647491145416721259867465555264*c_1001_5^20 + 8675042450712307141993456149175555987556469/35202365585899645816668\ 85039469862221056*c_1001_5^19 + 48158774169270053747937060790995308\ 840350875/7040473117179929163333770078939724442112*c_1001_5^18 + 684098134247492249653205548772571927544819/176011827929498229083344\ 2519734931110528*c_1001_5^17 + 118792857068516397780928467149162723\ 988086599/14080946234359858326667540157879448884224*c_1001_5^16 - 4935291128182294516693944349450675431195573/35202365585899645816668\ 85039469862221056*c_1001_5^15 + 89853347654301398703079549035214047\ 445053369/14080946234359858326667540157879448884224*c_1001_5^14 - 638223742815478065811078126985920197457267/704047311717992916333377\ 0078939724442112*c_1001_5^13 - 475349239760510486993993906921128606\ 8066391/7040473117179929163333770078939724442112*c_1001_5^12 + 118193217351496734788357090832418492321997201/140809462343598583266\ 67540157879448884224*c_1001_5^11 - 39163501056260605339385447184226098127602235/3520236558589964581666\ 885039469862221056*c_1001_5^10 + 6462812618663646399031317431671281\ 246979169/454224072076124462150565811544498351104*c_1001_5^9 - 195638692446953393735502859167365551480516855/140809462343598583266\ 67540157879448884224*c_1001_5^8 + 103232658738897851372177264445399\ 528547483887/7040473117179929163333770078939724442112*c_1001_5^7 - 99888280599167458434038929973342432089031773/7040473117179929163333\ 770078939724442112*c_1001_5^6 + 21492348326804218499670987111577412\ 237053905/1760118279294982290833442519734931110528*c_1001_5^5 - 57035504305695171274376754359847009610035849/7040473117179929163333\ 770078939724442112*c_1001_5^4 + 57034942526819889681949869559074630\ 677508089/14080946234359858326667540157879448884224*c_1001_5^3 - 19509036763608996582110965727181895657590319/1408094623435985832666\ 7540157879448884224*c_1001_5^2 + 1372941941305140643337120320638231\ 55683171/454224072076124462150565811544498351104*c_1001_5 - 381186975400691331759535706626223296434089/140809462343598583266675\ 40157879448884224, c_1001_2 - 4209006594827974184833160176315266307280603/1408094623435985\ 8326667540157879448884224*c_1001_5^26 - 1531621367840469788270648643177826672345115/17601182792949822908334\ 42519734931110528*c_1001_5^25 - 46053987152889617157461675360270660\ 477622217/14080946234359858326667540157879448884224*c_1001_5^24 - 4708440384870729807160674217322202814593421/88005913964749114541672\ 1259867465555264*c_1001_5^23 - 191340666578166641638449360122249211\ 948927855/14080946234359858326667540157879448884224*c_1001_5^22 - 116076576715524774674588728947557231261105297/704047311717992916333\ 3770078939724442112*c_1001_5^21 - 271976139851937836177527856150875\ 767700011809/7040473117179929163333770078939724442112*c_1001_5^20 - 208750157362451539042980735178872312528328317/704047311717992916333\ 3770078939724442112*c_1001_5^19 - 233790236030249576916949615105081\ 054568328519/3520236558589964581666885039469862221056*c_1001_5^18 - 132311766512876692468338308978351594531026769/704047311717992916333\ 3770078939724442112*c_1001_5^17 - 111821791253958803186168413745200\ 3195220908315/14080946234359858326667540157879448884224*c_1001_5^16 - 5796872694962969805353676027202638686503315/176011827929498229083\ 3442519734931110528*c_1001_5^15 - 832775631610226274130475618337040\ 022000196751/14080946234359858326667540157879448884224*c_1001_5^14 - 3301989079863349178021366194453371552193037/44002956982374557270836\ 0629933732777632*c_1001_5^13 + 274093218815064939000531686795703131\ 587773/220014784911872786354180314966866388816*c_1001_5^12 - 939089678687303972985134796903707500365804629/140809462343598583266\ 67540157879448884224*c_1001_5^11 + 4535186265914000353443992927911135156655569/55003696227968196588545\ 078741716597204*c_1001_5^10 - 4901224058532658077396103352153962768\ 3959535/454224072076124462150565811544498351104*c_1001_5^9 + 1483163082330300485663125597580011184670685919/14080946234359858326\ 667540157879448884224*c_1001_5^8 - 786525553850778003118197396149800525072242237/704047311717992916333\ 3770078939724442112*c_1001_5^7 + 7570460713183054919206051247761805\ 22846325117/7040473117179929163333770078939724442112*c_1001_5^6 - 161580003582833608374131156982601413947461577/176011827929498229083\ 3442519734931110528*c_1001_5^5 + 4311272676343979479835938630122300\ 08668722587/7040473117179929163333770078939724442112*c_1001_5^4 - 438262469264984892799793946436362637640483311/140809462343598583266\ 67540157879448884224*c_1001_5^3 + 157623895585243720162063791854812\ 113123681995/14080946234359858326667540157879448884224*c_1001_5^2 - 1200518628042412732481232677134059362209589/45422407207612446215056\ 5811544498351104*c_1001_5 + 434275427544612066556994127891088452236\ 6721/14080946234359858326667540157879448884224, c_1001_5^27 + 99/43*c_1001_5^26 + 401/43*c_1001_5^25 + 505/43*c_1001_5^24 + 1567/43*c_1001_5^23 + 1329/43*c_1001_5^22 + 4468/43*c_1001_5^21 + 1372/43*c_1001_5^20 + 7990/43*c_1001_5^19 - 2098/43*c_1001_5^18 + 11613/43*c_1001_5^17 - 5437/43*c_1001_5^16 + 10359/43*c_1001_5^15 - 3297/43*c_1001_5^14 + 768/43*c_1001_5^13 + 10421/43*c_1001_5^12 - 17483/43*c_1001_5^11 + 24321/43*c_1001_5^10 - 25918/43*c_1001_5^9 + 27275/43*c_1001_5^8 - 26944/43*c_1001_5^7 + 24558/43*c_1001_5^6 - 18606/43*c_1001_5^5 + 11305/43*c_1001_5^4 - 5212/43*c_1001_5^3 + 1760/43*c_1001_5^2 - 390/43*c_1001_5 + 47/43 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.680 Total time: 5.879 seconds, Total memory usage: 118.59MB