Magma V2.19-8 Wed Aug 21 2013 01:07:25 on localhost [Seed = 1048061744] Type ? for help. Type -D to quit. Loading file "L14n33289__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n33289 geometric_solution 11.57301393 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 1 1 0 1 0 -1 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 -1 4 0 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.900329358953 0.848155873749 0 5 7 6 0132 0132 0132 0132 0 1 1 1 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 -3 2 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.366147527762 0.452309690422 8 0 8 9 0132 0132 3120 0132 1 0 1 1 0 -1 1 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 3 -3 0 0 0 1 -1 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.223339982074 1.027575299497 6 4 7 0 0132 2310 3201 0132 1 1 1 1 0 0 0 0 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 0 -1 1 0 0 0 0 0 -3 0 3 3 -4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.811696368923 0.359216458835 9 10 0 3 1302 0132 0132 3201 1 1 1 1 0 0 1 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 4 -3 0 0 3 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.732880193652 0.349435140906 10 1 7 11 2310 0132 0321 0132 0 1 1 1 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 3 -2 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.520508611520 0.904715175632 3 9 1 9 0132 1302 0132 1230 0 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 0 -1 1 0 0 -1 1 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.992891946718 0.715907752077 3 11 5 1 2310 0132 0321 0132 0 1 1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 -1 0 0 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.108493681371 0.794859977623 2 10 2 11 0132 2310 3120 1023 1 0 1 1 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 0 1 0 0 -1 1 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.223339982074 1.027575299497 6 4 2 6 3012 2031 0132 2031 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 -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.337346795756 0.477794756443 12 4 5 8 0132 0132 3201 3201 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.771498988176 0.923922429988 12 7 5 8 1023 0132 0132 1023 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 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 0 0 0 0 0 0.680201822805 0.340108759157 10 11 12 12 0132 1023 2031 1302 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.689346424024 0.465859584517 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : negation(d['c_0101_5']), 'c_1001_12' : negation(d['c_0101_10']), 'c_1001_5' : d['c_0110_9'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_2'], 'c_1001_6' : d['c_0110_9'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0110_4']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0110_4']), 'c_1001_8' : negation(d['c_1001_2']), 'c_1010_12' : negation(d['c_0101_12']), 'c_1010_11' : d['c_0101_2'], 'c_1010_10' : d['c_1001_2'], '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' : negation(d['1']), 'c_0101_11' : negation(d['c_0101_10']), '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' : negation(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' : negation(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' : negation(d['c_0011_10']), 'c_1100_8' : negation(d['c_0101_2']), 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : negation(d['c_0011_10']), 'c_1100_7' : d['c_0110_9'], 'c_1100_6' : d['c_0110_9'], 'c_1100_1' : d['c_0110_9'], 'c_1100_0' : negation(d['c_0011_10']), 'c_1100_3' : negation(d['c_0011_10']), 'c_1100_2' : negation(d['c_0101_8']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0101_8']), 'c_1100_11' : d['c_0101_2'], 'c_1100_10' : negation(d['c_0011_0']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0101_8'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0110_4']), 'c_1010_2' : negation(d['c_0110_4']), 'c_1010_1' : d['c_0110_9'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : negation(d['c_0101_12']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_12'], '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_10'], 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_12']), 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : negation(d['c_0101_5']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_9']), 'c_0101_3' : d['c_0011_9'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_9']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_9']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : negation(d['c_0101_10']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0011_9']), 'c_0110_6' : 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_9, c_0101_0, c_0101_10, c_0101_12, c_0101_2, c_0101_5, c_0101_8, c_0110_4, c_0110_9, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 35356866489799158172715943033826295134714100778272084333879671/8381\ 989480489586889286190551442144305501983155682219955616*c_1001_2^17 + 130530624519199496788646217771417310631493752158173539319900537/209\ 5497370122396722321547637860536076375495788920554988904*c_1001_2^16 + 1832145959342344435032625150672123275056655554195439341954577581/\ 4190994740244793444643095275721072152750991577841109977808*c_1001_2\ ^15 + 1620163571201641463596701652991821757555057467275444752335363\ 3819/8381989480489586889286190551442144305501983155682219955616*c_1\ 001_2^14 + 20093246700836162928494402133198558945730246486046549395\ 4821709/33130393203516153712593638543249582235185704172656995872*c_\ 1001_2^13 + 1518534560922259306850468969742783403429313188524888749\ 0604818783/10477486850611983611607738189302680381877478944602774944\ 52*c_1001_2^12 + 23079679862837085214622547958397612837124843668558\ 9545481088696439/83819894804895868892861905514421443055019831556822\ 19955616*c_1001_2^11 + 89057383971103788863059732288013690765881401\ 943201083621100106095/209549737012239672232154763786053607637549578\ 8920554988904*c_1001_2^10 + 112225248386612302128569740018372830608\ 340010240698854744351864491/209549737012239672232154763786053607637\ 5495788920554988904*c_1001_2^9 + 1432279536107880507705785663734233\ 6112682613278094592489026432352/26193717126529959029019345473256700\ 9546936973615069373613*c_1001_2^8 + 372834929834454167175353853774166835980035034757121427815585397321/\ 8381989480489586889286190551442144305501983155682219955616*c_1001_2\ ^7 + 11790959054874640656569591421315831369633679131071973891444085\ 1795/4190994740244793444643095275721072152750991577841109977808*c_1\ 001_2^6 + 561271418778207323922886081874791415547433810480492663757\ 94180845/4190994740244793444643095275721072152750991577841109977808\ *c_1001_2^5 + 19288964890833245985488838126939289083766202211637846\ 196717045749/419099474024479344464309527572107215275099157784110997\ 7808*c_1001_2^4 + 4580528084084604908544549683551264408635540878120\ 539651392713999/419099474024479344464309527572107215275099157784110\ 9977808*c_1001_2^3 + 1505621009245439778197164696306327036189958824\ 310088343881346211/838198948048958688928619055144214430550198315568\ 2219955616*c_1001_2^2 + 9640781676848210979342137780409049308803047\ 9238159571982240003/41909947402447934446430952757210721527509915778\ 41109977808*c_1001_2 + 18217539932214163503896328367018052927323993\ 469146231968514749/838198948048958688928619055144214430550198315568\ 2219955616, c_0011_0 - 1, c_0011_10 - 343818671920060692077018433425321338350542456/9023924232369\ 760513206386159044998565687743*c_1001_2^17 - 1672187346771723674782724189265259194189965367/30079747441232535044\ 02128719681666188562581*c_1001_2^16 - 11503729121273663091904195476608764811701706085/3007974744123253504\ 402128719681666188562581*c_1001_2^15 - 49449110791894395107446294639557751327795580079/3007974744123253504\ 402128719681666188562581*c_1001_2^14 - 449005748711525495416677014868907984736168081756/902392423236976051\ 3206386159044998565687743*c_1001_2^13 - 343091138771115419912859724090799906618028003458/300797474412325350\ 4402128719681666188562581*c_1001_2^12 - 1869740095204460635918417170951794150763776181176/90239242323697605\ 13206386159044998565687743*c_1001_2^11 - 2748379268993742271966331006035192112565281123461/90239242323697605\ 13206386159044998565687743*c_1001_2^10 - 3272054096382212985966880407886750525242623527151/90239242323697605\ 13206386159044998565687743*c_1001_2^9 - 1039211792504620457137765356510221658024829834813/30079747441232535\ 04402128719681666188562581*c_1001_2^8 - 777476339212610004468402751728858900873542039553/300797474412325350\ 4402128719681666188562581*c_1001_2^7 - 1337864919203818874836852880410725491094131476561/90239242323697605\ 13206386159044998565687743*c_1001_2^6 - 190566642023758078306742893602361119678256245331/300797474412325350\ 4402128719681666188562581*c_1001_2^5 - 176245758340898917429755244376494579561530498341/902392423236976051\ 3206386159044998565687743*c_1001_2^4 - 38305268427903989707548640593943525194752043554/9023924232369760513\ 206386159044998565687743*c_1001_2^3 - 2013897217993515727348586552679087073965674157/30079747441232535044\ 02128719681666188562581*c_1001_2^2 - 253077570772897791292037191847703686311590147/300797474412325350440\ 2128719681666188562581*c_1001_2 - 635224080611321677408093737566632\ 16217491254/9023924232369760513206386159044998565687743, c_0011_9 - 67829061940634905157784865330753384379276346/300797474412325\ 3504402128719681666188562581*c_1001_2^17 - 1041424720764334569337495365311262412009202724/30079747441232535044\ 02128719681666188562581*c_1001_2^16 - 7542945228437059470598573547119392283291080752/30079747441232535044\ 02128719681666188562581*c_1001_2^15 - 34162365329588672473216755832249904533376038479/3007974744123253504\ 402128719681666188562581*c_1001_2^14 - 108878011348460052821045816774807962615604873184/300797474412325350\ 4402128719681666188562581*c_1001_2^13 - 262050390533185797463794477702459957003755402847/300797474412325350\ 4402128719681666188562581*c_1001_2^12 - 498385231435227744608882770455927201752229740488/300797474412325350\ 4402128719681666188562581*c_1001_2^11 - 767073254488638203891784142830699172600155277790/300797474412325350\ 4402128719681666188562581*c_1001_2^10 - 959890912362046202287191178787632264771749553382/300797474412325350\ 4402128719681666188562581*c_1001_2^9 - 967334581355159681335221022230391804402728622346/300797474412325350\ 4402128719681666188562581*c_1001_2^8 - 770836619532817936712127339592514893372851744827/300797474412325350\ 4402128719681666188562581*c_1001_2^7 - 474192273710563883482319588717461883650062254201/300797474412325350\ 4402128719681666188562581*c_1001_2^6 - 218685635033045526459045556868308667421619880182/300797474412325350\ 4402128719681666188562581*c_1001_2^5 - 73079434402869640348975086232969880324764006553/3007974744123253504\ 402128719681666188562581*c_1001_2^4 - 17170870013411741928684392411484714165366885111/3007974744123253504\ 402128719681666188562581*c_1001_2^3 - 2856451743688951827038273988449355958687750778/30079747441232535044\ 02128719681666188562581*c_1001_2^2 - 362159819148544752448269646643665012780795793/300797474412325350440\ 2128719681666188562581*c_1001_2 - 324547878243540460039917993808593\ 97704334736/3007974744123253504402128719681666188562581, c_0101_0 + 142492167483250643506492226076976999453553527/90239242323697\ 60513206386159044998565687743*c_1001_2^17 + 626998824588014951537687958238095078752743977/300797474412325350440\ 2128719681666188562581*c_1001_2^16 + 3865191858299541417333296576666040734076776844/30079747441232535044\ 02128719681666188562581*c_1001_2^15 + 14712238690851369314496495379815704113872393801/3007974744123253504\ 402128719681666188562581*c_1001_2^14 + 117150261298720920154893896994894479574233676703/902392423236976051\ 3206386159044998565687743*c_1001_2^13 + 78248862687837474510583379527599272392103945716/3007974744123253504\ 402128719681666188562581*c_1001_2^12 + 371293015937269127901488060687495872401348204610/902392423236976051\ 3206386159044998565687743*c_1001_2^11 + 467132140021665088362574471260332187699187934831/902392423236976051\ 3206386159044998565687743*c_1001_2^10 + 458418225626390857132963892036423508484700589679/902392423236976051\ 3206386159044998565687743*c_1001_2^9 + 112960399185227975257574068337738642736250151210/300797474412325350\ 4402128719681666188562581*c_1001_2^8 + 59875551165794277732983236855717616687648923886/3007974744123253504\ 402128719681666188562581*c_1001_2^7 + 62736304850940216296113131786080138441725310681/9023924232369760513\ 206386159044998565687743*c_1001_2^6 + 3694119598349958898864019139712521596432988024/30079747441232535044\ 02128719681666188562581*c_1001_2^5 - 1362132462703994465754761826475995949334473271/90239242323697605132\ 06386159044998565687743*c_1001_2^4 - 1735664960667207502885552354680578532323691173/90239242323697605132\ 06386159044998565687743*c_1001_2^3 - 212441231569434324733772706708954035693705219/300797474412325350440\ 2128719681666188562581*c_1001_2^2 - 35432474416051964074809204860524330514210757/3007974744123253504402\ 128719681666188562581*c_1001_2 - 1003901368882003633319088756380618\ 8103751760/9023924232369760513206386159044998565687743, c_0101_10 - 23605172277446412815453645769833020839181604/90239242323697\ 60513206386159044998565687743*c_1001_2^17 - 24783599103267797023968514378076464834920880/3007974744123253504402\ 128719681666188562581*c_1001_2^16 + 469999423737624029368991303238458767548345610/300797474412325350440\ 2128719681666188562581*c_1001_2^15 + 4886968049908835600261082012053994191919940834/30079747441232535044\ 02128719681666188562581*c_1001_2^14 + 70770521989864246915641593140922590134394646869/9023924232369760513\ 206386159044998565687743*c_1001_2^13 + 73586535802017370062955462544924667679937971947/3007974744123253504\ 402128719681666188562581*c_1001_2^12 + 503790855658663775758769337287425495783954311601/902392423236976051\ 3206386159044998565687743*c_1001_2^11 + 896403682580565245741779923987501971043663849437/902392423236976051\ 3206386159044998565687743*c_1001_2^10 + 1274235929942788958879661415160456737374383451100/90239242323697605\ 13206386159044998565687743*c_1001_2^9 + 480834164022552036932653766984034876611817400747/300797474412325350\ 4402128719681666188562581*c_1001_2^8 + 425594662444569376538836736224716291167490520361/300797474412325350\ 4402128719681666188562581*c_1001_2^7 + 860713844950246619455474497125648203918581086513/902392423236976051\ 3206386159044998565687743*c_1001_2^6 + 142586043191876036856799006477736189614607724435/300797474412325350\ 4402128719681666188562581*c_1001_2^5 + 150535215687355699456801821305542987366438671805/902392423236976051\ 3206386159044998565687743*c_1001_2^4 + 35975964045683689718975447036480491663922265184/9023924232369760513\ 206386159044998565687743*c_1001_2^3 + 1946946196750560525733372659715921782153489146/30079747441232535044\ 02128719681666188562581*c_1001_2^2 + 250452536434515358743966300371785908574483276/300797474412325350440\ 2128719681666188562581*c_1001_2 + 769563270383994049175139279022853\ 57169723731/9023924232369760513206386159044998565687743, c_0101_12 + 22249536463444471938487077521166181261523087/30079747441232\ 53504402128719681666188562581*c_1001_2^17 + 352185132906081273329592185260843881850168097/300797474412325350440\ 2128719681666188562581*c_1001_2^16 + 2642008545359315802222927403684728930052306470/30079747441232535044\ 02128719681666188562581*c_1001_2^15 + 12441992732471519218183908261914023609966004339/3007974744123253504\ 402128719681666188562581*c_1001_2^14 + 41329882258244973771713396414504800264208533041/3007974744123253504\ 402128719681666188562581*c_1001_2^13 + 103670596814616087523088290905962458027407350459/300797474412325350\ 4402128719681666188562581*c_1001_2^12 + 205170139702126973403132540935423283459820675776/300797474412325350\ 4402128719681666188562581*c_1001_2^11 + 328498420293033895946657458954734731389493312464/300797474412325350\ 4402128719681666188562581*c_1001_2^10 + 428739274819786076087172874235405621258314450504/300797474412325350\ 4402128719681666188562581*c_1001_2^9 + 452796509312182282959268792307309673755873889864/300797474412325350\ 4402128719681666188562581*c_1001_2^8 + 380054456354446407919230102468195418116411228632/300797474412325350\ 4402128719681666188562581*c_1001_2^7 + 247110128826256213306724986726451090187158167906/300797474412325350\ 4402128719681666188562581*c_1001_2^6 + 120395275918011159578355761153872652083658205258/300797474412325350\ 4402128719681666188562581*c_1001_2^5 + 42132791363220681969157003673012037190908762856/3007974744123253504\ 402128719681666188562581*c_1001_2^4 + 10096460669276269119360201337921182602810489700/3007974744123253504\ 402128719681666188562581*c_1001_2^3 + 1636983852543414855162742425562117426916867694/30079747441232535044\ 02128719681666188562581*c_1001_2^2 + 207145376571827715335772991249087258172643829/300797474412325350440\ 2128719681666188562581*c_1001_2 + 215654870930570761107767985941467\ 93879468792/3007974744123253504402128719681666188562581, c_0101_2 - 565929233501804937981968536479602135495485633/17145456041502\ 5449750921337021854972748067117*c_1001_2^17 - 9459832445851655759860417205575024952189192365/17145456041502544975\ 0921337021854972748067117*c_1001_2^16 - 71596097237911970474155397618759946144842787829/1714545604150254497\ 50921337021854972748067117*c_1001_2^15 - 327372441645831697718471460319085623043752911502/171454560415025449\ 750921337021854972748067117*c_1001_2^14 - 1018677578982983330484992173945684924425085369169/17145456041502544\ 9750921337021854972748067117*c_1001_2^13 - 2318970995071292838395812162948514645676788895749/17145456041502544\ 9750921337021854972748067117*c_1001_2^12 - 1354530347586531339604634717710657974907689416967/57151520138341816\ 583640445673951657582689039*c_1001_2^11 - 5605882039468367547709758432513279466613131591637/17145456041502544\ 9750921337021854972748067117*c_1001_2^10 - 1997749722831314023042687883700993183262703458599/57151520138341816\ 583640445673951657582689039*c_1001_2^9 - 1558331454712968503624514657991336322862638278752/57151520138341816\ 583640445673951657582689039*c_1001_2^8 - 763798989488244385328363846733597502457005991756/571515201383418165\ 83640445673951657582689039*c_1001_2^7 - 299984518307053373161156256837143365472195170311/171454560415025449\ 750921337021854972748067117*c_1001_2^6 + 459562906853895569511537013333466009844961707340/171454560415025449\ 750921337021854972748067117*c_1001_2^5 + 120502570007524647556945268301013837318262485018/571515201383418165\ 83640445673951657582689039*c_1001_2^4 + 125250482621100712087016700384041699839473690281/171454560415025449\ 750921337021854972748067117*c_1001_2^3 + 24936382800095458916934018901393261686727602059/1714545604150254497\ 50921337021854972748067117*c_1001_2^2 + 3767593683777015228082527252190474045542088814/17145456041502544975\ 0921337021854972748067117*c_1001_2 + 127638212015678928869632948862682235281288660/571515201383418165836\ 40445673951657582689039, c_0101_5 - 171557202366854336717501358785399769824237971/90239242323697\ 60513206386159044998565687743*c_1001_2^17 - 834614742732633354976718791815853430566878793/300797474412325350440\ 2128719681666188562581*c_1001_2^16 - 5728518574089943131475112170541612153996586918/30079747441232535044\ 02128719681666188562581*c_1001_2^15 - 24497116903710282783469585258137021917388722327/3007974744123253504\ 402128719681666188562581*c_1001_2^14 - 220598789909060188677674822874703056976995966568/902392423236976051\ 3206386159044998565687743*c_1001_2^13 - 166698190805263577439509525445083060594966691354/300797474412325350\ 4402128719681666188562581*c_1001_2^12 - 896547601679543000796619892858641631728393806472/902392423236976051\ 3206386159044998565687743*c_1001_2^11 - 1297753155563706849922370559081930267671914262135/90239242323697605\ 13206386159044998565687743*c_1001_2^10 - 1515676965978841533760781326441193639623712393968/90239242323697605\ 13206386159044998565687743*c_1001_2^9 - 469368145128653147864215091462075447915551386111/300797474412325350\ 4402128719681666188562581*c_1001_2^8 - 339784053786510395814657339493140262177517079007/300797474412325350\ 4402128719681666188562581*c_1001_2^7 - 561830734456170410378288846317440135635406270365/902392423236976051\ 3206386159044998565687743*c_1001_2^6 - 76778059910165355136453593930735169193862865736/3007974744123253504\ 402128719681666188562581*c_1001_2^5 - 69013813475693040353823439796564747205894450097/9023924232369760513\ 206386159044998565687743*c_1001_2^4 - 15102614500660052705160532982215251733740513793/9023924232369760513\ 206386159044998565687743*c_1001_2^3 - 818778509664298373368183063808947963455060170/300797474412325350440\ 2128719681666188562581*c_1001_2^2 - 102337327665909155682809193050166856785172998/300797474412325350440\ 2128719681666188562581*c_1001_2 - 286035174796747565856827376100411\ 04027468264/9023924232369760513206386159044998565687743, c_0101_8 - 1488523189944023817863629998705727175923327085/1143030402766\ 83633167280891347903315165378078*c_1001_2^17 - 36422592143151706035333152190199793987009391844/1714545604150254497\ 50921337021854972748067117*c_1001_2^16 - 278292316231352120448559237951867766487796993549/171454560415025449\ 750921337021854972748067117*c_1001_2^15 - 2643594127403274134075230694459571675237666396719/34290912083005089\ 9501842674043709945496134234*c_1001_2^14 - 8780526296012663123204806763880660252366848228477/34290912083005089\ 9501842674043709945496134234*c_1001_2^13 - 10936262772828603797325050097084287208164775835139/1714545604150254\ 49750921337021854972748067117*c_1001_2^12 - 42818171330402622914894386412641582828306381557637/3429091208300508\ 99501842674043709945496134234*c_1001_2^11 - 11274619729030550926256335296979281899412855993758/5715152013834181\ 6583640445673951657582689039*c_1001_2^10 - 43418489281913302849280290109288245116386687778254/1714545604150254\ 49750921337021854972748067117*c_1001_2^9 - 14959297846329251717360083595126027069969933455167/5715152013834181\ 6583640445673951657582689039*c_1001_2^8 - 24434629341941980222054811091525596429209265259335/1143030402766836\ 33167280891347903315165378078*c_1001_2^7 - 7689440870856813963446946246734427163571788319667/57151520138341816\ 583640445673951657582689039*c_1001_2^6 - 10854655034261497750300548120938709550072458329873/1714545604150254\ 49750921337021854972748067117*c_1001_2^5 - 3686125610823529297579109624758016305341895279367/17145456041502544\ 9750921337021854972748067117*c_1001_2^4 - 291487159582114706991903972702201810171809670656/571515201383418165\ 83640445673951657582689039*c_1001_2^3 - 290680975009091294969167755573493597669046977235/342909120830050899\ 501842674043709945496134234*c_1001_2^2 - 18261409176467203187927366326303904511390863290/1714545604150254497\ 50921337021854972748067117*c_1001_2 - 3323440757082863476279734786026615629153157879/34290912083005089950\ 1842674043709945496134234, c_0110_4 + 40316944365440143519007090323225360502881174/300797474412325\ 3504402128719681666188562581*c_1001_2^17 + 598053878789582446943414497975621079948457943/300797474412325350440\ 2128719681666188562581*c_1001_2^16 + 4167649112695035823383639780828043449398940400/30079747441232535044\ 02128719681666188562581*c_1001_2^15 + 18074644657048362678536215190625337263387340097/3007974744123253504\ 402128719681666188562581*c_1001_2^14 + 54922554385280691704482523219933736482741496262/3007974744123253504\ 402128719681666188562581*c_1001_2^13 + 125696609195516582121547527164505967603060102727/300797474412325350\ 4402128719681666188562581*c_1001_2^12 + 226869600944664025849412790347204890568265239911/300797474412325350\ 4402128719681666188562581*c_1001_2^11 + 329900297675610882387728267184527564534252348908/300797474412325350\ 4402128719681666188562581*c_1001_2^10 + 386134674825312855374803493646538078720983094137/300797474412325350\ 4402128719681666188562581*c_1001_2^9 + 357819211567309501258267921541381647433637963233/300797474412325350\ 4402128719681666188562581*c_1001_2^8 + 255783294504292095344507050216700207558671852544/300797474412325350\ 4402128719681666188562581*c_1001_2^7 + 136435591872503848191924025176593906329967471878/300797474412325350\ 4402128719681666188562581*c_1001_2^6 + 52151257157372304319670941680337347321673210087/3007974744123253504\ 402128719681666188562581*c_1001_2^5 + 13729820382401311016607753508098071362760436187/3007974744123253504\ 402128719681666188562581*c_1001_2^4 + 2527279345520808711620334356421525108120783723/30079747441232535044\ 02128719681666188562581*c_1001_2^3 + 391128474355537349185362458308210185378714135/300797474412325350440\ 2128719681666188562581*c_1001_2^2 + 53392648729046434833441344381538245459215145/3007974744123253504402\ 128719681666188562581*c_1001_2 + 4116994432758341223174342743986668\ 483039480/3007974744123253504402128719681666188562581, c_0110_9 + 13448934417820452801825469155945152394601550317/102872736249\ 0152698505528022131129836488402702*c_1001_2^17 + 30373319933098214374250408225635409880137441749/1714545604150254497\ 50921337021854972748067117*c_1001_2^16 + 64649823338400540662107003060658450713351936274/5715152013834181658\ 3640445673951657582689039*c_1001_2^15 + 1547460369023716416931928476049730347262616780939/34290912083005089\ 9501842674043709945496134234*c_1001_2^14 + 13087303333766865382712295192525244911072794235811/1028727362490152\ 698505528022131129836488402702*c_1001_2^13 + 4697552755053820070641186113797362399435176323467/17145456041502544\ 9750921337021854972748067117*c_1001_2^12 + 48478016334916025430326960691087960504736620240361/1028727362490152\ 698505528022131129836488402702*c_1001_2^11 + 33820200037457605122547184194557376859500776231046/5143636812450763\ 49252764011065564918244201351*c_1001_2^10 + 38205743022515544226788696258521771178010129425179/5143636812450763\ 49252764011065564918244201351*c_1001_2^9 + 11540312870937017146300525624480017878590485748270/1714545604150254\ 49750921337021854972748067117*c_1001_2^8 + 16561650705103918334561783034321509014477725742387/3429091208300508\ 99501842674043709945496134234*c_1001_2^7 + 13855234558948916182829192065011393915059895550165/5143636812450763\ 49252764011065564918244201351*c_1001_2^6 + 646244238347089034052570563335393290073776926316/571515201383418165\ 83640445673951657582689039*c_1001_2^5 + 1737442410131524143494935205574653268479016503186/51436368124507634\ 9252764011065564918244201351*c_1001_2^4 + 338162104389738898632183565551788861710930167551/514363681245076349\ 252764011065564918244201351*c_1001_2^3 + 9335993153138344352113257844799287195992438199/11430304027668363316\ 7280891347903315165378078*c_1001_2^2 + 1583513120611053644791653575136378940935277100/17145456041502544975\ 0921337021854972748067117*c_1001_2 + 664770291658118080307128598701669837457802173/102872736249015269850\ 5528022131129836488402702, c_1001_1 - 1, c_1001_2^18 + 7007/457*c_1001_2^17 + 50970/457*c_1001_2^16 + 233319/457*c_1001_2^15 + 756862/457*c_1001_2^14 + 1866773/457*c_1001_2^13 + 3659425/457*c_1001_2^12 + 5839687/457*c_1001_2^11 + 7643360/457*c_1001_2^10 + 8170556/457*c_1001_2^9 + 7050039/457*c_1001_2^8 + 4828439/457*c_1001_2^7 + 2569156/457*c_1001_2^6 + 1034392/457*c_1001_2^5 + 305940/457*c_1001_2^4 + 65075/457*c_1001_2^3 + 10137/457*c_1001_2^2 + 1217/457*c_1001_2 + 97/457 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.860 Total time: 1.070 seconds, Total memory usage: 32.09MB