Magma V2.19-8 Tue Aug 20 2013 23:39:12 on localhost [Seed = 525957960] Type ? for help. Type -D to quit. Loading file "K13n1158__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1158 geometric_solution 10.32581047 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0.590464810068 0.738291963155 0 5 6 3 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.275628275324 0.654344884430 7 0 8 6 0132 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.476625790157 0.923976202095 6 1 4 0 1230 1302 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1.056579284048 0.818989477447 3 5 0 6 2031 1302 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.339320642053 0.826085232985 7 1 9 4 1023 0132 0132 2031 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 -1 1 0 0 0 -1 1 1 -1 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.476625790157 0.923976202095 4 3 2 1 3012 3012 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.453268390348 1.297947503793 2 5 9 8 0132 1023 3012 0321 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 -1 1 0 -1 0 1 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.605648676539 1.238077545899 9 7 10 2 0321 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.959315276941 0.720713065125 8 7 10 5 0321 1230 1023 0132 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 0 0 0 1 0 -1 -1 0 0 1 -1 -1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.959315276941 0.720713065125 10 10 9 8 1230 3012 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.708814448158 0.643473004843 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0011_10']), 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_0110_5'], 'c_1001_7' : negation(d['c_0011_8']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0110_5'], 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_10' : negation(d['c_0101_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(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_10' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0101_6']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_6']), 'c_1100_4' : d['c_0101_1'], 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : negation(d['c_1001_0']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : d['c_0101_6'], 'c_1100_10' : d['c_0101_6'], 'c_1010_7' : d['c_0110_5'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_0110_5'], 'c_1010_9' : d['c_0011_3'], 'c_1010_8' : d['c_0110_5'], 'c_1100_8' : d['c_0101_6'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(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'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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_8'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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_10' : d['c_0011_10'], 'c_0101_7' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_8']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : negation(d['c_0011_8']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_6'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_8']), 'c_0110_8' : negation(d['c_0011_8']), 'c_0110_1' : d['c_0011_6'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_6'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_6'], 'c_0110_7' : negation(d['c_0011_8']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_6, c_0011_8, c_0101_1, c_0101_10, c_0101_6, c_0110_5, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 1467093851490334191848206174343153251804131211210408701215884235/14\ 0653734964608220554274296493854891196626116072132944703864*c_1001_0\ ^31 - 3491744303724415802377407042529903326862299532956444248403638\ 10227/2250459759433731528868388743901678259146017857154127115261824\ *c_1001_0^30 - 1906394005314859325448346425531762442039849423254571\ 570471865942429/225045975943373152886838874390167825914601785715412\ 7115261824*c_1001_0^29 - 122694162608465953373606584328825828932178\ 5318468107764028615795817/56261493985843288221709718597541956478650\ 4464288531778815456*c_1001_0^28 - 491958743844621069372007466076193\ 3256226664382456965214112008400345/22504597594337315288683887439016\ 78259146017857154127115261824*c_1001_0^27 + 640940368182283039797250544619705397025524846658518797271055293367/\ 281307469929216441108548592987709782393252232144265889407728*c_1001\ _0^26 + 51790174851516770341723063138899428562698255767429432998781\ 5392145/59222625248256092864957598523728375240684680451424397770048\ *c_1001_0^25 + 1473551694746609655270591851352402235260277282338387\ 3175239378623669/22504597594337315288683887439016782591460178571541\ 27115261824*c_1001_0^24 - 12194605315833040788144877932906620463535\ 3066384059267855944435315/14805656312064023216239399630932093810171\ 170112856099442512*c_1001_0^23 - 4094946313946590232204108878501033\ 7956828543738159567728588022994487/22504597594337315288683887439016\ 78259146017857154127115261824*c_1001_0^22 - 2426892593591090746643933754186092681318462555698784888248949251735\ /562614939858432882217097185975419564786504464288531778815456*c_100\ 1_0^21 + 5412678264024193090191697625990696321808242224726518881714\ 124121441/281307469929216441108548592987709782393252232144265889407\ 728*c_1001_0^20 + 1065022420324002089436749844964752064553909884092\ 2773683334635448167/56261493985843288221709718597541956478650446428\ 8531778815456*c_1001_0^19 - 138932026608601770979006781056521485054\ 03388178745386654770731123037/2250459759433731528868388743901678259\ 146017857154127115261824*c_1001_0^18 - 991446466341620036146599206631366250725091906071680456486282866963/\ 48923038248559381062356277041340831720565605590307111201344*c_1001_\ 0^17 - 785237902332792599510138582864348640228072902314222564583984\ 6121799/11252298797168657644341943719508391295730089285770635576309\ 12*c_1001_0^16 + 21832064510093370484450408738155794396636968591346\ 011962807601910971/225045975943373152886838874390167825914601785715\ 4127115261824*c_1001_0^15 + 996199443076832198825199793897174334057\ 4305309687452905276718072097/11252298797168657644341943719508391295\ 73008928577063557630912*c_1001_0^14 - 1917222012205007209585806229439355619562174128774688216831724422001\ /2250459759433731528868388743901678259146017857154127115261824*c_10\ 01_0^13 - 907532228368455633886438535864051024205706838610344727234\ 6751562503/22504597594337315288683887439016782591460178571541271152\ 61824*c_1001_0^12 - 20247660916757909769050394906862634035923216844\ 42752192361733855449/1125229879716865764434194371950839129573008928\ 577063557630912*c_1001_0^11 + 1037534898483070566142910299985503196\ 51707499290697602079763211855/1406537349646082205542742964938548911\ 96626116072132944703864*c_1001_0^10 + 529614025459549712463363643236835712492378710649367785080424522587/\ 562614939858432882217097185975419564786504464288531778815456*c_1001\ _0^9 + 275765950204826986155547615371700889046614407525140841169823\ 28777/97846076497118762124712554082681663441131211180614222402688*c\ _1001_0^8 - 3327562625417171783553478133870156042240661852340751890\ 76466297223/2250459759433731528868388743901678259146017857154127115\ 261824*c_1001_0^7 - 33668036219116317589170604668842953573544834558\ 5676050365106532261/22504597594337315288683887439016782591460178571\ 54127115261824*c_1001_0^6 - 556515870011977991758985930831389748116\ 27669253626368309375229683/1125229879716865764434194371950839129573\ 008928577063557630912*c_1001_0^5 + 6830503088780309769146232212945264142542682093462630074417037115/11\ 25229879716865764434194371950839129573008928577063557630912*c_1001_\ 0^4 + 2703000758823038321499857143617707248691476681112706481000533\ 4323/2250459759433731528868388743901678259146017857154127115261824*\ c_1001_0^3 + 643961710595934306300720463686596033766490988918439542\ 7774369671/11252298797168657644341943719508391295730089285770635576\ 30912*c_1001_0^2 + 170900588822130211538992164727130907909525992921\ 52274124469551/1223075956213984526558906926033520793014140139757677\ 7800336*c_1001_0 + 398495354914545478305047457623044134112888335685\ 622373801331819/225045975943373152886838874390167825914601785715412\ 7115261824, c_0011_0 - 1, c_0011_10 - 13976091164532793691970945244144150865866532410986994536945\ /3245164264678818206797862874255644003434871117094955904*c_1001_0^3\ 1 - 12937561069017087600939228408632908461277198638362919378529/202\ 822766542426137924866429640977750214679444818434744*c_1001_0^30 - 1121311356290640981069860817997929162482502471654308129587423/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^29 - 2842129510364783015355226582009261690563036795440722333983151/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^28 - 2692835806933787710388563342243638824308195284730427364769467/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^27 + 1708283303785449643083828708056406316225973533581466135083687/16225\ 82132339409103398931437127822001717435558547477952*c_1001_0^26 + 11867858929009127177535565563699539297336599334031538472024189/3245\ 164264678818206797862874255644003434871117094955904*c_1001_0^25 + 8292990326102545474378905611178721265062973243830914785592939/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^24 - 11937643431213593023061552100457870582828514373496244567322189/3245\ 164264678818206797862874255644003434871117094955904*c_1001_0^23 - 24722384952060210186152107946799246775837424948149962814925897/3245\ 164264678818206797862874255644003434871117094955904*c_1001_0^22 - 616307422152832504444221674842800152456996550061197751005737/405645\ 533084852275849732859281955500429358889636869488*c_1001_0^21 + 1689102067233978244471559224967103410468700405560016290430603/20282\ 2766542426137924866429640977750214679444818434744*c_1001_0^20 + 25572902065859150494161597333004413836092681949304916770448009/3245\ 164264678818206797862874255644003434871117094955904*c_1001_0^19 - 9375060619000253217389799790431236995126230439995282585362649/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^18 - 38529687282202236498338916419439359513635089332055750747183/4409190\ 577009263867931878905238646743797379235183364*c_1001_0^17 - 9490628592536883348396551046728509781813419516194438509882577/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^16 + 13829242132556563027518100058722760848696474120881623526417607/3245\ 164264678818206797862874255644003434871117094955904*c_1001_0^15 + 12670757766237739297597131111195225124678372534558200569377863/3245\ 164264678818206797862874255644003434871117094955904*c_1001_0^14 - 268014610211978168341021379560100714285342173948418471736537/811291\ 066169704551699465718563911000858717779273738976*c_1001_0^13 - 5848403505550599475758331853761527820585324445133332929293883/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^12 - 1375222561914905214789000512384957921552560131423405034515881/16225\ 82132339409103398931437127822001717435558547477952*c_1001_0^11 + 8218837429289992508304829805882421446587408415930771192321/25352845\ 817803267240608303705122218776834930602304343*c_1001_0^10 + 1421679167382389581503087385904248379902926133474834391312437/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^9 + 4857152352258215960673933698732477661022390442546125690303/35273524\ 616074110943455031241909173950379033881466912*c_1001_0^8 - 55963390458229793848043272236674145377988278104847635163341/8112910\ 66169704551699465718563911000858717779273738976*c_1001_0^7 - 238200230279926674710155156436388490538921954883691799244349/324516\ 4264678818206797862874255644003434871117094955904*c_1001_0^6 - 5144950747031518542920864467475484652078767018360366824871/20282276\ 6542426137924866429640977750214679444818434744*c_1001_0^5 + 9640802019181890657273044208376146086844026051108942289531/32451642\ 64678818206797862874255644003434871117094955904*c_1001_0^4 + 20512302162150655451208059582107865970644817407246475461083/3245164\ 264678818206797862874255644003434871117094955904*c_1001_0^3 + 5065420341186251843176404890441037668335257158259105150355/16225821\ 32339409103398931437127822001717435558547477952*c_1001_0^2 + 113827618486677362623346481519693609655529919176675292043/141094098\ 464296443773820124967636695801516135525867648*c_1001_0 + 359044935556119567956382605313485404366782263538005537141/324516426\ 4678818206797862874255644003434871117094955904, c_0011_3 - 14953219953664047542713659564200242886586678335910938308365/\ 3245164264678818206797862874255644003434871117094955904*c_1001_0^31 - 55313125223962479688353032329444218369965887785192346311167/81129\ 1066169704551699465718563911000858717779273738976*c_1001_0^30 - 1196686719986837442751913736758547197411054228037599314673375/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^29 - 3026951748921833881169385294244382987150974672801700507127499/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^28 - 2858286682556418481415067623259617957555586447869903952783083/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^27 + 1817484915091515423235214555932254100978232182339876520704603/16225\ 82132339409103398931437127822001717435558547477952*c_1001_0^26 + 12558388541684017200213704960959345772900788901729445808719033/3245\ 164264678818206797862874255644003434871117094955904*c_1001_0^25 + 8689131079722183866517465852632620375795674597540084433349539/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^24 - 12707601708340403033970890378253711992240425450616979382472073/3245\ 164264678818206797862874255644003434871117094955904*c_1001_0^23 - 26013123414029186827706232383101507947515625622586793371993441/3245\ 164264678818206797862874255644003434871117094955904*c_1001_0^22 - 308009275030072634626233207293394195710801285133839748149099/202822\ 766542426137924866429640977750214679444818434744*c_1001_0^21 + 893206563185703031070791452047443508485756331980808036843827/101411\ 383271213068962433214820488875107339722409217372*c_1001_0^20 + 26625189735815152957148750151804888182598992819354697883629469/3245\ 164264678818206797862874255644003434871117094955904*c_1001_0^19 - 10199262431814009078974784140172266808518068248681733087085369/3245\ 164264678818206797862874255644003434871117094955904*c_1001_0^18 - 161300976912761935848008230037244553405917559108904610333573/176367\ 62308037055471727515620954586975189516940733456*c_1001_0^17 - 9555649306134757913937480261382581767714631442061425336421109/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^16 + 14626392126346879996338220442967129236727352798646340475922007/3245\ 164264678818206797862874255644003434871117094955904*c_1001_0^15 + 13029507392466423178873877547848677369003395034085048518882027/3245\ 164264678818206797862874255644003434871117094955904*c_1001_0^14 - 166369117910948121833418315275327403586111261454767101812243/405645\ 533084852275849732859281955500429358889636869488*c_1001_0^13 - 6064542453964319287329262068704562863401848352085117775281675/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^12 - 1383988120932751054085786056228865656282823870823012216877877/16225\ 82132339409103398931437127822001717435558547477952*c_1001_0^11 + 17829018846427240429754911718597099934368130701108482056603/5070569\ 1635606534481216607410244437553669861204608686*c_1001_0^10 + 1450965657887361245786706942617569956940990001736703031297145/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^9 + 1196625444627866823498417393967507607776639607483529768631/88183811\ 54018527735863757810477293487594758470366728*c_1001_0^8 - 14735636796695047560985136903856731657671096384235866591279/2028227\ 66542426137924866429640977750214679444818434744*c_1001_0^7 - 239995592225233985407035238760698087160196579536130227076085/324516\ 4264678818206797862874255644003434871117094955904*c_1001_0^6 - 1269068995307698945405728636295379689520930168638914700101/50705691\ 635606534481216607410244437553669861204608686*c_1001_0^5 + 10378768067327930288202361971000759540359112534157139003407/3245164\ 264678818206797862874255644003434871117094955904*c_1001_0^4 + 20431595653416720088119003750555161013077840918586889190515/3245164\ 264678818206797862874255644003434871117094955904*c_1001_0^3 + 4985266164056697949669737422553722464617094393567312367739/16225821\ 32339409103398931437127822001717435558547477952*c_1001_0^2 + 110897645211719248028839640451831488196104430409991669799/141094098\ 464296443773820124967636695801516135525867648*c_1001_0 + 346229930915031907882444854023954241536961908378943555613/324516426\ 4678818206797862874255644003434871117094955904, c_0011_4 - c_1001_0, c_0011_6 - 4348762552843583348325786828640970673652016310505199520/2535\ 2845817803267240608303705122218776834930602304343*c_1001_0^31 - 64309704906018298055254797506333875406153680942165932039/2535284581\ 7803267240608303705122218776834930602304343*c_1001_0^30 - 347529602307182417436077566669487255364119036359957486480/253528458\ 17803267240608303705122218776834930602304343*c_1001_0^29 - 877965842725460510896057093197568521987910018301798927658/253528458\ 17803267240608303705122218776834930602304343*c_1001_0^28 - 826906244499628603853767312440449384774250548357731173678/253528458\ 17803267240608303705122218776834930602304343*c_1001_0^27 + 1056237502382912135690021277865729390318762446197536594639/25352845\ 817803267240608303705122218776834930602304343*c_1001_0^26 + 3634453028633482563356301706659730574907603146065016936133/25352845\ 817803267240608303705122218776834930602304343*c_1001_0^25 + 2500253513584590319306594703503237123895536253371168692303/25352845\ 817803267240608303705122218776834930602304343*c_1001_0^24 - 3692483013679958400413863058273317393525396050065144302129/25352845\ 817803267240608303705122218776834930602304343*c_1001_0^23 - 7512748792065754297022187887436553187176843265221147153188/25352845\ 817803267240608303705122218776834930602304343*c_1001_0^22 - 1387857434195710726238951428734711647126280008600393694253/25352845\ 817803267240608303705122218776834930602304343*c_1001_0^21 + 8276623525518041285523590520008069572254239750929467154644/25352845\ 817803267240608303705122218776834930602304343*c_1001_0^20 + 7658396627987890828664786046054153735927816472435183499338/25352845\ 817803267240608303705122218776834930602304343*c_1001_0^19 - 2985887958857822728225060139247690217163082112224110657051/25352845\ 817803267240608303705122218776834930602304343*c_1001_0^18 - 372139716681504392781264245944470978590687877094792971774/110229764\ 4252315966982969726309661685949344808795841*c_1001_0^17 - 2718266935672398640819652700679357525036296593929279547079/25352845\ 817803267240608303705122218776834930602304343*c_1001_0^16 + 4232711953060385397487359555925240469205936257220211787762/25352845\ 817803267240608303705122218776834930602304343*c_1001_0^15 + 3739515709580898865196948029545178682085526199681394944297/25352845\ 817803267240608303705122218776834930602304343*c_1001_0^14 - 397948505229828267298735807781859968941679603128090750324/253528458\ 17803267240608303705122218776834930602304343*c_1001_0^13 - 1744142746550241527526037632668858832589637990005585447996/25352845\ 817803267240608303705122218776834930602304343*c_1001_0^12 - 794457442952855145697275262184847388649267661698937493065/253528458\ 17803267240608303705122218776834930602304343*c_1001_0^11 + 330768497364268389871175612896532638509058639417965678392/253528458\ 17803267240608303705122218776834930602304343*c_1001_0^10 + 416720041465453144157068187306876544152735055761113911840/253528458\ 17803267240608303705122218776834930602304343*c_1001_0^9 + 5518978499252264315278953329127844537187899390247341115/11022976442\ 52315966982969726309661685949344808795841*c_1001_0^8 - 68353115498390268095067418554691458444290820952732502618/2535284581\ 7803267240608303705122218776834930602304343*c_1001_0^7 - 69116298758765225245766287778743226952965202025529262054/2535284581\ 7803267240608303705122218776834930602304343*c_1001_0^6 - 23417137295257112887175414485479398814805444391175400846/2535284581\ 7803267240608303705122218776834930602304343*c_1001_0^5 + 3096606310454267560228856041486590289006225938487176728/25352845817\ 803267240608303705122218776834930602304343*c_1001_0^4 + 5936956032438086846139428169803245003158280116196658619/25352845817\ 803267240608303705122218776834930602304343*c_1001_0^3 + 2894603068661695638748945848112125385967859669305833958/25352845817\ 803267240608303705122218776834930602304343*c_1001_0^2 + 30073846320531402634224512564929377452372969159126272/1102297644252\ 315966982969726309661685949344808795841*c_1001_0 + 107542148271534105357314570389745407143437077422219282/253528458178\ 03267240608303705122218776834930602304343, c_0011_8 + 5505697351277954386803927364843134279896074757552763793615/3\ 245164264678818206797862874255644003434871117094955904*c_1001_0^31 + 40775154780668062874627652705695548937419083669672320222949/1622582\ 132339409103398931437127822001717435558547477952*c_1001_0^30 + 441941351790895472047790068717101735289069001084118365345131/324516\ 4264678818206797862874255644003434871117094955904*c_1001_0^29 + 1122174664672852085813357259396297048762904849625589199543425/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^28 + 1074112717470615234290794783222730993222502674101178506641019/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^27 - 655199671147036042270513065154378943679265188618573094261559/162258\ 2132339409103398931437127822001717435558547477952*c_1001_0^26 - 4630880534464378680048737773273372707946999273232793987705019/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^25 - 3275528673958828925732360488393466831648362105014153345600655/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^24 + 4593434673348191200951163932762476653029973225651983124787323/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^23 + 9615718367706646265009902608525671730363525139321623065347473/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^22 + 496364270950898626108627388546273570178649740626909795203907/811291\ 066169704551699465718563911000858717779273738976*c_1001_0^21 - 2606088653674184889096352793335818162199652239935210508016439/81129\ 1066169704551699465718563911000858717779273738976*c_1001_0^20 - 9936573514795531576334217421047421108552216849754681039856947/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^19 + 3541920649944345833643804749930509221560797698315215175144849/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^18 + 118596768229086939332095823505182851605590362368150642388475/352735\ 24616074110943455031241909173950379033881466912*c_1001_0^17 + 3695145907462972302514722319734828585162281984174064597090435/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^16 - 5266919776184161176947943947071461477276360622346201446049707/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^15 - 4852425572748404044221254353388318843607602988276237131825905/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^14 + 195281156404824565209667919426993427373877315237199131757359/162258\ 2132339409103398931437127822001717435558547477952*c_1001_0^13 + 2214606304902236564471292374705535180555723541816673661118287/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^12 + 527872767172974583925665300071185781572885044888304316214611/162258\ 2132339409103398931437127822001717435558547477952*c_1001_0^11 - 98477014273220418563436156100881797128754589944233547857289/8112910\ 66169704551699465718563911000858717779273738976*c_1001_0^10 - 535933016557552049134507498638154242845052528500775976068415/324516\ 4264678818206797862874255644003434871117094955904*c_1001_0^9 - 3756233503107117307508879132425937078389588489941033100599/70547049\ 232148221886910062483818347900758067762933824*c_1001_0^8 + 41206974606945248714456218427955547767510127313972593899183/1622582\ 132339409103398931437127822001717435558547477952*c_1001_0^7 + 89216167327849978370404311179431830197315830531335878676813/3245164\ 264678818206797862874255644003434871117094955904*c_1001_0^6 + 7904794986525537894792002729462105428287177656511342282139/81129106\ 6169704551699465718563911000858717779273738976*c_1001_0^5 - 3186838116764922014966139569435318194435253641654529889577/32451642\ 64678818206797862874255644003434871117094955904*c_1001_0^4 - 7562689078165296940471426308195709825266334645157622933511/32451642\ 64678818206797862874255644003434871117094955904*c_1001_0^3 - 1910143566560690181513628127622085515766838852035688790805/16225821\ 32339409103398931437127822001717435558547477952*c_1001_0^2 - 43719959696327707533130666425973343576923614794388702905/1410940984\ 64296443773820124967636695801516135525867648*c_1001_0 - 142530166731668065497768450331379703397413566883962346409/324516426\ 4678818206797862874255644003434871117094955904, c_0101_1 + 3548598236787696173188010064643535980508817013994097590785/3\ 245164264678818206797862874255644003434871117094955904*c_1001_0^31 + 26065242153335643384816249812565554985874159173897047269121/1622582\ 132339409103398931437127822001717435558547477952*c_1001_0^30 + 278539285177716301295813686855711420488153312698395260281941/324516\ 4264678818206797862874255644003434871117094955904*c_1001_0^29 + 689797181296733593147781620946955240793072944919831798185511/324516\ 4264678818206797862874255644003434871117094955904*c_1001_0^28 + 609807038207958598713164760687850277657449299936108119232737/324516\ 4264678818206797862874255644003434871117094955904*c_1001_0^27 - 459298804619249829121283186151227294324566992392942032092083/162258\ 2132339409103398931437127822001717435558547477952*c_1001_0^26 - 2883934672043800942823781034924207859509583678243708604470905/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^25 - 1789470847009473420838149927071019984006510034674653198218497/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^24 + 3155180170873900631301641419509590368081205534632248330444285/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^23 + 5845972463651676727962591675219711260801451007829269469129331/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^22 + 81519164446361768956617036942758932057491469189623833051175/4056455\ 33084852275849732859281955500429358889636869488*c_1001_0^21 - 845368387411020351107812919366867316897451236717502614238185/405645\ 533084852275849732859281955500429358889636869488*c_1001_0^20 - 5670902407519586444900669761341873057546053133468229572219945/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^19 + 2852438541722580345885553488136603650428170030507924423936831/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^18 + 72781904209422461842535916595062606427553201683577656499525/3527352\ 4616074110943455031241909173950379033881466912*c_1001_0^17 + 1699689508063877610686769302230523674951043840252524627714229/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^16 - 3520743114564577021954600470514428960321486829843936817598281/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^15 - 2751942941000520799759895340938047070488861424894688205861931/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^14 + 250247489698348009649847740061428592631421876691163230644225/162258\ 2132339409103398931437127822001717435558547477952*c_1001_0^13 + 1348608468732099784935903304030589628432292200871737681388693/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^12 + 275286686087686926967414651862280115335454189120128678833483/162258\ 2132339409103398931437127822001717435558547477952*c_1001_0^11 - 37033632129207954261070452742332097297473801948958157804493/4056455\ 33084852275849732859281955500429358889636869488*c_1001_0^10 - 307573921632719770457271983556695785468776876735320632134517/324516\ 4264678818206797862874255644003434871117094955904*c_1001_0^9 - 1854708437626936708282347280196514998615752831716486998717/70547049\ 232148221886910062483818347900758067762933824*c_1001_0^8 + 28786970192107817587554327073145930310247744181064236733031/1622582\ 132339409103398931437127822001717435558547477952*c_1001_0^7 + 51053924415293106289003820987877700440720052530773682451763/3245164\ 264678818206797862874255644003434871117094955904*c_1001_0^6 + 4146596201984148197519845540155616536117064033446804859821/81129106\ 6169704551699465718563911000858717779273738976*c_1001_0^5 - 2845075757939701876549098374102465868426425063600927662031/32451642\ 64678818206797862874255644003434871117094955904*c_1001_0^4 - 4456122343955100813209822385516756796156740350475440561949/32451642\ 64678818206797862874255644003434871117094955904*c_1001_0^3 - 1077301993179201593140403247290469060276712976644181784545/16225821\ 32339409103398931437127822001717435558547477952*c_1001_0^2 - 23483148769465253703477101275604696939343873065586660147/1410940984\ 64296443773820124967636695801516135525867648*c_1001_0 - 74938546232292174034959364357911173994827273480285705679/3245164264\ 678818206797862874255644003434871117094955904, c_0101_10 + 890510335853259243709260891229659347546114388994636568675/2\ 02822766542426137924866429640977750214679444818434744*c_1001_0^31 + 105567795195641083492027709519386158039903168486590640797185/162258\ 2132339409103398931437127822001717435558547477952*c_1001_0^30 + 572525999718791119196516501860721500832540170117702346516831/162258\ 2132339409103398931437127822001717435558547477952*c_1001_0^29 + 363922832325794532937799773935515064488035822417340038473401/405645\ 533084852275849732859281955500429358889636869488*c_1001_0^28 + 1399271915336503227726509259109308510291573180171867429137971/16225\ 82132339409103398931437127822001717435558547477952*c_1001_0^27 - 105328087243142165294570426302851649022474874409785913565051/101411\ 383271213068962433214820488875107339722409217372*c_1001_0^26 - 2998759341529308483580738758445510528835334892826828427739365/81129\ 1066169704551699465718563911000858717779273738976*c_1001_0^25 - 4267302005081265736102310908181902172022236845329737910234607/16225\ 82132339409103398931437127822001717435558547477952*c_1001_0^24 + 369983045072219890713055588891707829992466869249246684865151/101411\ 383271213068962433214820488875107339722409217372*c_1001_0^23 + 12463174680966252479653367437618945422691652706439917267666981/1622\ 582132339409103398931437127822001717435558547477952*c_1001_0^22 + 654862008518478458511434708502807165104736489432322865284035/405645\ 533084852275849732859281955500429358889636869488*c_1001_0^21 - 210566979133460291898093589879631695691115023559462216814729/253528\ 45817803267240608303705122218776834930602304343*c_1001_0^20 - 3225878749039117432081682441367528792030649995357251540673423/40564\ 5533084852275849732859281955500429358889636869488*c_1001_0^19 + 4542516295497128574208441912497415014428782579152099745286615/16225\ 82132339409103398931437127822001717435558547477952*c_1001_0^18 + 307235944472970537764801975205271828856820814668498830126201/352735\ 24616074110943455031241909173950379033881466912*c_1001_0^17 + 2407332606352390036665669725889022723366152797770054738038417/81129\ 1066169704551699465718563911000858717779273738976*c_1001_0^16 - 6811543614205510168972175093449967831903381297613366773026001/16225\ 82132339409103398931437127822001717435558547477952*c_1001_0^15 - 3146203436794248364087904124106185518359104104666328680395435/81129\ 1066169704551699465718563911000858717779273738976*c_1001_0^14 + 503845874426859502321562647610609667211857903299636528543283/162258\ 2132339409103398931437127822001717435558547477952*c_1001_0^13 + 2872345520757254169985124764743390392262244049600235780407037/16225\ 82132339409103398931437127822001717435558547477952*c_1001_0^12 + 682473388950905919746944996665197671174857868610635753960259/811291\ 066169704551699465718563911000858717779273738976*c_1001_0^11 - 32021456840471188119213562500317122047569966449046020045023/1014113\ 83271213068962433214820488875107339722409217372*c_1001_0^10 - 173685237431544681547713738975024040974352242804512638078577/405645\ 533084852275849732859281955500429358889636869488*c_1001_0^9 - 9654119343011910432565220971030355197407640222666399140107/70547049\ 232148221886910062483818347900758067762933824*c_1001_0^8 + 107396462660638551692825527970713822210522689564968009526437/162258\ 2132339409103398931437127822001717435558547477952*c_1001_0^7 + 115290089962358409800312907668523653588071773008533075712735/162258\ 2132339409103398931437127822001717435558547477952*c_1001_0^6 + 20191381944076332585045382492511448692614492468665391624405/8112910\ 66169704551699465718563911000858717779273738976*c_1001_0^5 - 2165067424737278501644748465690877259151097603306237284101/81129106\ 6169704551699465718563911000858717779273738976*c_1001_0^4 - 9754299453066848476512174095376464900368796367033986840465/16225821\ 32339409103398931437127822001717435558547477952*c_1001_0^3 - 2423575551199690579038333332947871235069537367199372496449/81129106\ 6169704551699465718563911000858717779273738976*c_1001_0^2 - 1702830567344394840301542207939549501613866336055834147/22045952885\ 04631933965939452619323371898689617591682*c_1001_0 - 172402272115914991343670840117976590595941592378207461649/162258213\ 2339409103398931437127822001717435558547477952, c_0101_6 + 1, c_0110_5 - 14953219953664047542713659564200242886586678335910938308365/\ 3245164264678818206797862874255644003434871117094955904*c_1001_0^31 - 55313125223962479688353032329444218369965887785192346311167/81129\ 1066169704551699465718563911000858717779273738976*c_1001_0^30 - 1196686719986837442751913736758547197411054228037599314673375/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^29 - 3026951748921833881169385294244382987150974672801700507127499/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^28 - 2858286682556418481415067623259617957555586447869903952783083/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^27 + 1817484915091515423235214555932254100978232182339876520704603/16225\ 82132339409103398931437127822001717435558547477952*c_1001_0^26 + 12558388541684017200213704960959345772900788901729445808719033/3245\ 164264678818206797862874255644003434871117094955904*c_1001_0^25 + 8689131079722183866517465852632620375795674597540084433349539/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^24 - 12707601708340403033970890378253711992240425450616979382472073/3245\ 164264678818206797862874255644003434871117094955904*c_1001_0^23 - 26013123414029186827706232383101507947515625622586793371993441/3245\ 164264678818206797862874255644003434871117094955904*c_1001_0^22 - 308009275030072634626233207293394195710801285133839748149099/202822\ 766542426137924866429640977750214679444818434744*c_1001_0^21 + 893206563185703031070791452047443508485756331980808036843827/101411\ 383271213068962433214820488875107339722409217372*c_1001_0^20 + 26625189735815152957148750151804888182598992819354697883629469/3245\ 164264678818206797862874255644003434871117094955904*c_1001_0^19 - 10199262431814009078974784140172266808518068248681733087085369/3245\ 164264678818206797862874255644003434871117094955904*c_1001_0^18 - 161300976912761935848008230037244553405917559108904610333573/176367\ 62308037055471727515620954586975189516940733456*c_1001_0^17 - 9555649306134757913937480261382581767714631442061425336421109/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^16 + 14626392126346879996338220442967129236727352798646340475922007/3245\ 164264678818206797862874255644003434871117094955904*c_1001_0^15 + 13029507392466423178873877547848677369003395034085048518882027/3245\ 164264678818206797862874255644003434871117094955904*c_1001_0^14 - 166369117910948121833418315275327403586111261454767101812243/405645\ 533084852275849732859281955500429358889636869488*c_1001_0^13 - 6064542453964319287329262068704562863401848352085117775281675/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^12 - 1383988120932751054085786056228865656282823870823012216877877/16225\ 82132339409103398931437127822001717435558547477952*c_1001_0^11 + 17829018846427240429754911718597099934368130701108482056603/5070569\ 1635606534481216607410244437553669861204608686*c_1001_0^10 + 1450965657887361245786706942617569956940990001736703031297145/32451\ 64264678818206797862874255644003434871117094955904*c_1001_0^9 + 1196625444627866823498417393967507607776639607483529768631/88183811\ 54018527735863757810477293487594758470366728*c_1001_0^8 - 14735636796695047560985136903856731657671096384235866591279/2028227\ 66542426137924866429640977750214679444818434744*c_1001_0^7 - 239995592225233985407035238760698087160196579536130227076085/324516\ 4264678818206797862874255644003434871117094955904*c_1001_0^6 - 1269068995307698945405728636295379689520930168638914700101/50705691\ 635606534481216607410244437553669861204608686*c_1001_0^5 + 10378768067327930288202361971000759540359112534157139003407/3245164\ 264678818206797862874255644003434871117094955904*c_1001_0^4 + 20431595653416720088119003750555161013077840918586889190515/3245164\ 264678818206797862874255644003434871117094955904*c_1001_0^3 + 4985266164056697949669737422553722464617094393567312367739/16225821\ 32339409103398931437127822001717435558547477952*c_1001_0^2 + 110897645211719248028839640451831488196104430409991669799/141094098\ 464296443773820124967636695801516135525867648*c_1001_0 + 346229930915031907882444854023954241536961908378943555613/324516426\ 4678818206797862874255644003434871117094955904, c_1001_0^32 + 771/55*c_1001_0^31 + 3769/55*c_1001_0^30 + 7718/55*c_1001_0^29 + 1898/55*c_1001_0^28 - 21441/55*c_1001_0^27 - 3247/5*c_1001_0^26 + 3788/55*c_1001_0^25 + 71162/55*c_1001_0^24 + 59174/55*c_1001_0^23 - 55677/55*c_1001_0^22 - 23688/11*c_1001_0^21 - 16383/55*c_1001_0^20 + 112548/55*c_1001_0^19 + 79467/55*c_1001_0^18 - 48969/55*c_1001_0^17 - 80254/55*c_1001_0^16 - 1246/11*c_1001_0^15 + 41527/55*c_1001_0^14 + 18313/55*c_1001_0^13 - 6913/55*c_1001_0^12 - 11962/55*c_1001_0^11 - 2083/55*c_1001_0^10 + 223/5*c_1001_0^9 + 192/5*c_1001_0^8 + 43/11*c_1001_0^7 - 377/55*c_1001_0^6 - 269/55*c_1001_0^5 - 46/55*c_1001_0^4 + 21/55*c_1001_0^3 + 19/55*c_1001_0^2 + 6/55*c_1001_0 + 1/55 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.170 Total time: 0.380 seconds, Total memory usage: 32.09MB