Magma V2.19-8 Tue Aug 20 2013 23:48:39 on localhost [Seed = 1292576751] Type ? for help. Type -D to quit. Loading file "L12a1264__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12a1264 geometric_solution 11.02245514 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 1230 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 -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.687737374867 1.082701629761 0 4 4 5 0132 0132 1302 0132 1 1 1 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 5 -5 -1 0 1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.778809926534 0.737586226415 0 0 7 6 3012 0132 0132 0132 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.245924344729 0.852688305950 8 8 9 0 0132 2310 0132 0132 1 1 1 1 0 1 -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 0 5 -6 1 0 0 -1 1 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.222248789112 0.484629176638 1 1 10 10 2031 0132 0132 1230 1 1 0 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 6 -6 -5 0 0 5 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.323114387449 0.641056935289 8 11 1 8 2103 0132 0132 0321 1 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 5 -5 0 0 0 0 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.017774550405 0.381784363621 7 6 2 6 2310 1302 0132 2031 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.374886842706 1.300726357215 9 9 6 2 0132 1230 3201 0132 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.245924344729 0.852688305950 3 5 5 3 0132 0321 2103 3201 1 1 1 1 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 5 0 -5 0 0 0 0 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.936905846543 2.111091088999 7 11 7 3 0132 3201 3012 0132 1 1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 0 6 -1 0 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.687737374867 1.082701629761 4 11 11 4 3012 0321 3201 0132 1 1 1 0 0 0 1 -1 1 0 -1 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 -6 6 0 -6 0 -5 6 0 -1 -1 9 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.778809926534 0.737586226415 10 5 9 10 2310 0132 2310 0321 1 0 1 1 0 0 0 0 1 0 0 -1 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 1 -9 6 0 0 -6 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.778809926534 0.737586226415 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0011_7']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : negation(d['c_1001_11']), 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : negation(d['c_0011_7']), 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_11' : d['c_1001_4'], 'c_1010_10' : d['c_1001_4'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_7'], 'c_0101_10' : d['c_0011_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_6'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : negation(d['c_0011_11']), 'c_1100_7' : negation(d['c_0011_6']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_1' : negation(d['c_0011_11']), 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_0011_6']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_7']), 'c_1100_10' : negation(d['c_0011_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_1001_11'], 'c_1010_4' : d['c_0011_10'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : negation(d['c_1001_11']), 'c_1010_8' : d['c_1001_11'], 'c_1100_8' : negation(d['c_0011_3']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_7']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], '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_11' : negation(d['c_0011_10']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_11']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_2'], 'c_0101_8' : d['c_0101_0'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_3'], '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_6'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_6, c_0011_7, c_0101_0, c_0101_2, c_0101_3, c_0101_6, c_1001_11, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 23976169897278353756812146827914818467531430653266358391129072602/8\ 5197249761053210668321278761975550857785459088079080862662053625*c_\ 1001_4^19 + 2506872242471453199371057170341021911680420538905992926\ 44114414476/1703944995221064213366425575239511017155709181761581617\ 2532410725*c_1001_4^18 - 114324609472735070043476997453906509624829\ 2805693479376960206207287/85197249761053210668321278761975550857785\ 459088079080862662053625*c_1001_4^17 - 33963342025441420983483096104810818008708908329729932033552092956/1\ 444021182390732384208835233253822895894668798103035268858678875*c_1\ 001_4^16 + 18953087725881298788017234038941846094302222988964513982\ 793396287937/851972497610532106683212787619755508577854590880790808\ 62662053625*c_1001_4^15 + 19380735983617415846400216664838641915667\ 896087024384407058350236521/851972497610532106683212787619755508577\ 85459088079080862662053625*c_1001_4^14 - 2536898538983405360276587145642871218366570008710319765531073930790\ 6/85197249761053210668321278761975550857785459088079080862662053625\ *c_1001_4^13 - 6414158640672845130664298565921626958104069635994344\ 2590616877957774/85197249761053210668321278761975550857785459088079\ 080862662053625*c_1001_4^12 - 3278694841074911981811884189390570277\ 54946898681031580721084721943297/8519724976105321066832127876197555\ 0857785459088079080862662053625*c_1001_4^11 - 1517856997460823560907436479182670192027611783970925028741765887985\ 39/8519724976105321066832127876197555085778545908807908086266205362\ 5*c_1001_4^10 + 206778377164590780719631094018375394249834824144960\ 732001673058132613/170394499522106421336642557523951101715570918176\ 15816172532410725*c_1001_4^9 + 144618780786132328925449371032192873\ 3200329695945679224591225412995574/85197249761053210668321278761975\ 550857785459088079080862662053625*c_1001_4^8 - 1650955684541559757339175278540062695711619015461092684519459263979\ 161/851972497610532106683212787619755508577854590880790808626620536\ 25*c_1001_4^7 - 531293731166156912947175190036587332445778552736364\ 087741942596317639/170394499522106421336642557523951101715570918176\ 15816172532410725*c_1001_4^6 + 188918792768790512317465369424113911\ 72598976027098565934852716130176/1444021182390732384208835233253822\ 895894668798103035268858678875*c_1001_4^5 + 2464247241928791114304047661369007144352293940487109325943084852006\ 584/851972497610532106683212787619755508577854590880790808626620536\ 25*c_1001_4^4 - 319681034135560209753619597111210184291402809523817\ 620349857755937421/851972497610532106683212787619755508577854590880\ 79080862662053625*c_1001_4^3 - 112378299282789027341711561010726855\ 9802244504042160568418626347465577/85197249761053210668321278761975\ 550857785459088079080862662053625*c_1001_4^2 - 3761851309866099240877354289915551115341980417280284305295616579671\ /17039449952210642133664255752395110171557091817615816172532410725*\ c_1001_4 + 24111952884509404159351905608464141025309450441828361168\ 6918931328541/85197249761053210668321278761975550857785459088079080\ 862662053625, c_0011_0 - 1, c_0011_10 + 3934799256492293157540353505402226748334939106234719/164934\ 62332902431398897903747711099039500278244317651759*c_1001_4^19 - 199662838204527706669833393210003884966217177181804285/164934623329\ 02431398897903747711099039500278244317651759*c_1001_4^18 - 123055758381767084738149710699954469459707725875677263/164934623329\ 02431398897903747711099039500278244317651759*c_1001_4^17 + 348316497881959492209586608430791726221752691663492613/164934623329\ 02431398897903747711099039500278244317651759*c_1001_4^16 - 2523796046471880747101386746991061872284658015439200127/16493462332\ 902431398897903747711099039500278244317651759*c_1001_4^15 - 7511777544190316021914401397806806587917276864390760825/16493462332\ 902431398897903747711099039500278244317651759*c_1001_4^14 - 4513120217773427710807984927353766202720496346869080584/16493462332\ 902431398897903747711099039500278244317651759*c_1001_4^13 + 10385684252669740292115469013046775502026277398258253171/1649346233\ 2902431398897903747711099039500278244317651759*c_1001_4^12 + 70831855291791581636944907452827842654661545612993220980/1649346233\ 2902431398897903747711099039500278244317651759*c_1001_4^11 + 121442076665845100838753550989089073362704239371403533765/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^10 - 51210652236521077826242667825341950711065341564569910084/1649346233\ 2902431398897903747711099039500278244317651759*c_1001_4^9 - 413515215196512820894885943681059183037015596404449982053/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^8 - 254772141690444194667515722498436734754393285394971556121/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^7 + 442730504539254108584861619548066291408901496426929344950/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^6 + 564586773691025979365831253959020092440314324290630124642/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^5 - 99829597616370378207854634231228248082525390488163248133/1649346233\ 2902431398897903747711099039500278244317651759*c_1001_4^4 - 405042762676973812412054534166083002456367299524241317373/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^3 - 118383217042055625975276595001585053469437151139920615534/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^2 + 109876364740947946459022417692315129503372510169967306339/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4 + 55215494644634986807540724345728062986821579059600663136/1649346233\ 2902431398897903747711099039500278244317651759, c_0011_11 - 3934799256492293157540353505402226748334939106234719/164934\ 62332902431398897903747711099039500278244317651759*c_1001_4^19 + 199662838204527706669833393210003884966217177181804285/164934623329\ 02431398897903747711099039500278244317651759*c_1001_4^18 + 123055758381767084738149710699954469459707725875677263/164934623329\ 02431398897903747711099039500278244317651759*c_1001_4^17 - 348316497881959492209586608430791726221752691663492613/164934623329\ 02431398897903747711099039500278244317651759*c_1001_4^16 + 2523796046471880747101386746991061872284658015439200127/16493462332\ 902431398897903747711099039500278244317651759*c_1001_4^15 + 7511777544190316021914401397806806587917276864390760825/16493462332\ 902431398897903747711099039500278244317651759*c_1001_4^14 + 4513120217773427710807984927353766202720496346869080584/16493462332\ 902431398897903747711099039500278244317651759*c_1001_4^13 - 10385684252669740292115469013046775502026277398258253171/1649346233\ 2902431398897903747711099039500278244317651759*c_1001_4^12 - 70831855291791581636944907452827842654661545612993220980/1649346233\ 2902431398897903747711099039500278244317651759*c_1001_4^11 - 121442076665845100838753550989089073362704239371403533765/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^10 + 51210652236521077826242667825341950711065341564569910084/1649346233\ 2902431398897903747711099039500278244317651759*c_1001_4^9 + 413515215196512820894885943681059183037015596404449982053/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^8 + 254772141690444194667515722498436734754393285394971556121/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^7 - 442730504539254108584861619548066291408901496426929344950/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^6 - 564586773691025979365831253959020092440314324290630124642/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^5 + 99829597616370378207854634231228248082525390488163248133/1649346233\ 2902431398897903747711099039500278244317651759*c_1001_4^4 + 405042762676973812412054534166083002456367299524241317373/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^3 + 118383217042055625975276595001585053469437151139920615534/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^2 - 93382902408045515060124513944604030463872231925649654580/1649346233\ 2902431398897903747711099039500278244317651759*c_1001_4 - 55215494644634986807540724345728062986821579059600663136/1649346233\ 2902431398897903747711099039500278244317651759, c_0011_3 - 518603435840822275466291009426784401198647325343009/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^19 + 27841123295374918201405632845722088410537870901052401/1649346233290\ 2431398897903747711099039500278244317651759*c_1001_4^18 - 61444305354857842587261889485146343701882302278564790/1649346233290\ 2431398897903747711099039500278244317651759*c_1001_4^17 - 81060567213519709026857634069325153587225188013837220/1649346233290\ 2431398897903747711099039500278244317651759*c_1001_4^16 + 465102430626993915175283268757794619356134348230084537/164934623329\ 02431398897903747711099039500278244317651759*c_1001_4^15 - 6825109366795735669035868685198751866087614237190675/16493462332902\ 431398897903747711099039500278244317651759*c_1001_4^14 - 2148211506362276745169474222987695847329599356946460525/16493462332\ 902431398897903747711099039500278244317651759*c_1001_4^13 - 2791225306238677152849342984215895018428763464431807830/16493462332\ 902431398897903747711099039500278244317651759*c_1001_4^12 - 5279427126000510751063854035195919651170772731878413717/16493462332\ 902431398897903747711099039500278244317651759*c_1001_4^11 + 10808371047183967742405613781813968177698405618170172553/1649346233\ 2902431398897903747711099039500278244317651759*c_1001_4^10 + 49968316606191280325513078834524252520423945633417822568/1649346233\ 2902431398897903747711099039500278244317651759*c_1001_4^9 + 30215588540087812478016296436529654593344396772790771892/1649346233\ 2902431398897903747711099039500278244317651759*c_1001_4^8 - 120318689687153226260833975309609565858097931231670858678/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^7 - 136849018105545954320911049625144038229652416461733633559/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^6 + 97198188304802707990245940974704313189976597760963121648/1649346233\ 2902431398897903747711099039500278244317651759*c_1001_4^5 + 206083017144088080119046620658450983722750729535903123486/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^4 - 740849176405773723549380519274149889907035222350394499/164934623329\ 02431398897903747711099039500278244317651759*c_1001_4^3 - 122539920365246376712459637237995545482761514608436412550/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^2 - 45327696591904385010744778547922246764172368782956157365/1649346233\ 2902431398897903747711099039500278244317651759*c_1001_4 + 28970069410596087167263748879566490808772078457781646291/1649346233\ 2902431398897903747711099039500278244317651759, c_0011_6 - 168739174613652008729441543396496016261566870099937181/16493\ 462332902431398897903747711099039500278244317651759*c_1001_4^19 + 8568169380917712173492600243221127509327010199649133284/16493462332\ 902431398897903747711099039500278244317651759*c_1001_4^18 + 5011832361030478187738086877477374991237501323945199723/16493462332\ 902431398897903747711099039500278244317651759*c_1001_4^17 - 16811625045144603048798638409353592099265693927937535701/1649346233\ 2902431398897903747711099039500278244317651759*c_1001_4^16 + 110115649002623252109927754792508267230890772428591470846/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^15 + 319857760722743590054858812037071406392297422807130479224/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^14 + 158063128079216247049917406557640869757580318046144826866/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^13 - 480149277883224892629250503899302816079712606273288134056/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^12 - 3010847419916775349306881854725459475488677057718538976467/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^11 - 5036820798631005386030250847390726407814550916924429972254/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^10 + 2838093013748324853882937152111414307586524259470008121714/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^9 + 17973856249334581822007704090738255081945372811802697929942/1649346\ 2332902431398897903747711099039500278244317651759*c_1001_4^8 + 9329806787537715977434273372252242810600356449422302286937/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^7 - 21192011259684603919249140485995058165346230006301984625251/1649346\ 2332902431398897903747711099039500278244317651759*c_1001_4^6 - 22344370650693398227982010804113574847703714101256139938508/1649346\ 2332902431398897903747711099039500278244317651759*c_1001_4^5 + 7333192888029861004668165579153784500957135136107505614209/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^4 + 16988286723446426424079285798331059194077208063111629893471/1649346\ 2332902431398897903747711099039500278244317651759*c_1001_4^3 + 2867419902339300650846738693446359249654185158493427137288/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^2 - 4363854947723397419151741463908191482253618457604743739879/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4 - 1768408903791953008588142393777358539851887534629918792076/16493462\ 332902431398897903747711099039500278244317651759, c_0011_7 - 1, c_0101_0 - 1, c_0101_2 + 89278234609535863457090259778732625813671799095674464/164934\ 62332902431398897903747711099039500278244317651759*c_1001_4^19 - 4535539782325916693373491350262196302401072278441785933/16493462332\ 902431398897903747711099039500278244317651759*c_1001_4^18 - 2538504339880564934705354411924540455791820923866972691/16493462332\ 902431398897903747711099039500278244317651759*c_1001_4^17 + 8887384440167116825152529677182788188861972365137032860/16493462332\ 902431398897903747711099039500278244317651759*c_1001_4^16 - 57897027057216502306213991540771033926287216010056956714/1649346233\ 2902431398897903747711099039500278244317651759*c_1001_4^15 - 167965034467400821385036446597530435618922437293166647594/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^14 - 80896861469344925148565326073794875789329205412779587906/1649346233\ 2902431398897903747711099039500278244317651759*c_1001_4^13 + 262628725331493926246847423436673069021968683442116489893/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^12 + 1598742271814019736615662952630336259294378511999784936467/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^11 + 2629429066954212607433546181203264742111434782226915551109/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^10 - 1569539368460017411546900194301518234029221315049775471957/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^9 - 9616368463793276623847015982342273431499669567429112128524/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^8 - 4901298647891526285958773270206097034598185076182533992158/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^7 + 11509278957318828853643143277702868823320627719375649498870/1649346\ 2332902431398897903747711099039500278244317651759*c_1001_4^6 + 12249259930668739438771418449855034047883322738075635492754/1649346\ 2332902431398897903747711099039500278244317651759*c_1001_4^5 - 4168359151041996932340817899588310998234358104149712761400/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^4 - 9578166238690796649693665010385715097585105281229104684858/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^3 - 1566435904489965741722851772501747679463238857223065291708/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^2 + 2565221991472534574286974933847243061727605702333773110226/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4 + 995992968223414341768237943278134415767873927402909648856/164934623\ 32902431398897903747711099039500278244317651759, c_0101_3 + 28280135032647548910855841844665234931286817759208487/164934\ 62332902431398897903747711099039500278244317651759*c_1001_4^19 - 1438508845725066789107012454457359900836576497015557809/16493462332\ 902431398897903747711099039500278244317651759*c_1001_4^18 - 710529299095670328703037894055875102482696905129540348/164934623329\ 02431398897903747711099039500278244317651759*c_1001_4^17 + 2789827545565211532651069959410818748268385062822635554/16493462332\ 902431398897903747711099039500278244317651759*c_1001_4^16 - 18466394889408032784623388467451488778160118828040328613/1649346233\ 2902431398897903747711099039500278244317651759*c_1001_4^15 - 51954753034351707164595717873388021102512865820188577032/1649346233\ 2902431398897903747711099039500278244317651759*c_1001_4^14 - 23342103920017774408806073552438242212285329825511953042/1649346233\ 2902431398897903747711099039500278244317651759*c_1001_4^13 + 83427995656397762581013235403964773256001596614359018552/1649346233\ 2902431398897903747711099039500278244317651759*c_1001_4^12 + 501472254422822815497751703258593426635325306371055886211/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^11 + 803082972419460216378217127892333467877258632191169743626/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^10 - 530084683492588297198417236051821023954837928206279298622/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^9 - 2998175929526831435587431130401036801854614407009607663683/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^8 - 1399944066785883126311483340613248560398501216517340045865/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^7 + 3666154087391850479552765906209895799329416135205417887352/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^6 + 3707533882219146608795294171677067715871302235097161296817/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^5 - 1463136734758154801701089175557721003352955121248319545101/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^4 - 2984828917544778142579985633846631911358898375697640361340/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^3 - 399796380648968243381205870222051211576652123535549713096/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^2 + 841149856487988829697045715043542484116387126209854280592/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4 + 295918905908864919182735415498704743128175946769150026805/164934623\ 32902431398897903747711099039500278244317651759, c_0101_6 + 60998099576888314546234417934067390882384981336465977/164934\ 62332902431398897903747711099039500278244317651759*c_1001_4^19 - 3097030936600849904266478895804836401564495781426228124/16493462332\ 902431398897903747711099039500278244317651759*c_1001_4^18 - 1827975040784894606002316517868665353309124018737432343/16493462332\ 902431398897903747711099039500278244317651759*c_1001_4^17 + 6097556894601905292501459717771969440593587302314397306/16493462332\ 902431398897903747711099039500278244317651759*c_1001_4^16 - 39430632167808469521590603073319545148127097182016628101/1649346233\ 2902431398897903747711099039500278244317651759*c_1001_4^15 - 116010281433049114220440728724142414516409571472978070562/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^14 - 57554757549327150739759252521356633577043875587267634864/1649346233\ 2902431398897903747711099039500278244317651759*c_1001_4^13 + 179200729675096163665834188032708295765967086827757471341/164934623\ 32902431398897903747711099039500278244317651759*c_1001_4^12 + 1097270017391196921117911249371742832659053205628729050256/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^11 + 1826346094534752391055329053310931274234176150035745807483/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^10 - 1039454684967429114348482958249697210074383386843496173335/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^9 - 6618192534266445188259584851941236629645055160419504464841/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^8 - 3501354581105643159647289929592848474199683859665193946293/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^7 + 7843124869926978374090377371492973023991211584170231611518/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^6 + 8541726048449592829976124278177966332012020502978474195937/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^5 - 2705222416283842130639728724030589994881402982901393216299/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^4 - 6593337321146018507113679376539083186226206905531464323518/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^3 - 1166639523840997498341645902279696467886586733687515578612/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4^2 + 1724072134984545744589929218803700577611218576123918829634/16493462\ 332902431398897903747711099039500278244317651759*c_1001_4 + 700074062314549422585502527779429672639697980633759622051/164934623\ 32902431398897903747711099039500278244317651759, c_1001_11 - 1, c_1001_4^20 - 50*c_1001_4^19 - 69*c_1001_4^18 + 67*c_1001_4^17 - 576*c_1001_4^16 - 2388*c_1001_4^15 - 2542*c_1001_4^14 + 1832*c_1001_4^13 + 19966*c_1001_4^12 + 44147*c_1001_4^11 + 9385*c_1001_4^10 - 115362*c_1001_4^9 - 141937*c_1001_4^8 + 67180*c_1001_4^7 + 227058*c_1001_4^6 + 77678*c_1001_4^5 - 123882*c_1001_4^4 - 103979*c_1001_4^3 + 5380*c_1001_4^2 + 31667*c_1001_4 + 9755 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.290 seconds, Total memory usage: 32.09MB