Magma V2.19-8 Tue Aug 20 2013 17:57:07 on localhost [Seed = 4305932] Type ? for help. Type -D to quit. Loading file "11_511__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_511 geometric_solution 10.46194552 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 2 1 3 0132 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 1 -1 0 0 0 0 6 0 0 -6 7 -1 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.685343305174 0.741649660737 0 0 4 4 0132 0213 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 -7 0 0 7 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.484793488706 1.142664155375 4 0 5 3 0213 0132 0132 0213 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 0 0 0 0 -1 1 0 0 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.063685822424 0.627072750545 5 6 0 2 0132 0132 0132 0213 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 -1 1 0 0 0 0 0 0 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.170452571532 0.765891862476 2 1 1 7 0213 0213 0132 0132 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 0 1 1 0 -1 0 0 1 0 -1 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.327923264584 0.727293137684 3 8 6 2 0132 0132 0321 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 0 0 0 0 0 0 0 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.611547406574 0.848560952593 9 3 5 8 0132 0132 0321 0132 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 0 -1 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.242134970592 1.086167600395 9 10 4 11 3201 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.772569868060 0.472623642025 9 5 6 11 1023 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.257702457398 0.330907055168 6 8 10 7 0132 1023 0321 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 6 -7 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.464687163508 1.388727605362 11 7 9 11 1230 0132 0321 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.386841138470 0.385400645475 8 10 7 10 3201 3012 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.169040697969 0.734799850173 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : negation(d['c_0011_10']), 'c_1001_5' : d['c_0011_11'], 'c_1001_4' : d['c_1001_0'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : d['c_1001_2'], 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : d['c_1001_7'], '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_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_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' : negation(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_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1001_6'], 'c_1100_4' : d['c_1001_7'], 'c_1100_7' : d['c_1001_7'], 'c_1100_6' : d['c_0011_11'], 'c_1100_1' : d['c_1001_7'], 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_1001_0'], 'c_1100_2' : d['c_1001_6'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_7'], 'c_1100_10' : negation(d['c_0101_10']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_1001_7'], 'c_1010_3' : d['c_1001_6'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : d['c_0011_11'], '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' : negation(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' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_3'], 'c_0011_8' : d['c_0011_3'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0110_6' : negation(d['c_0101_10']), '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_11']), 'c_0110_10' : d['c_0011_11'], 'c_0110_0' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0101_7' : d['c_0101_5'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0101_9' : negation(d['c_0101_10']), 'c_0101_8' : negation(d['c_0101_10']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_5']), 'c_0110_8' : negation(d['c_0101_11']), 'c_0110_1' : negation(d['c_0011_0']), 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_7' : d['c_0101_11'], 'c_1100_8' : d['c_0011_11']})} 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_4, c_0101_10, c_0101_11, c_0101_5, c_1001_0, c_1001_2, c_1001_6, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 34799474632904076072996613284434027085108118684548501502441/6835670\ 624710451118552372074028834948292092973055322495*c_1001_7^29 - 2295235694493522249888102125941955802343222871989034962757/22785568\ 74903483706184124024676278316097364324351774165*c_1001_7^28 + 491946917276861622480879226303458622495343546626661320238426/683567\ 0624710451118552372074028834948292092973055322495*c_1001_7^27 + 140722119511379643143709306542309107547680142838650122291948/227855\ 6874903483706184124024676278316097364324351774165*c_1001_7^26 + 1390633315016203755618434251683517151098315063704397432021418/68356\ 70624710451118552372074028834948292092973055322495*c_1001_7^25 + 3114971802136103006787449514662497612812046594269570728830141/22785\ 56874903483706184124024676278316097364324351774165*c_1001_7^24 - 12257990850920400972931714358640607699163965461948129847736297/6835\ 670624710451118552372074028834948292092973055322495*c_1001_7^23 + 7900877139068015756703668152312166984938494588817027151027647/75951\ 8958301161235394708008225426105365788108117258055*c_1001_7^22 - 102095586912934669494640471189858167994558708360366854495076559/683\ 5670624710451118552372074028834948292092973055322495*c_1001_7^21 + 257223774561453913806748362828021437219659192319384841239475562/683\ 5670624710451118552372074028834948292092973055322495*c_1001_7^20 - 308318210399887208798005665515399662833231393324923719371031876/683\ 5670624710451118552372074028834948292092973055322495*c_1001_7^19 + 481885680441307034544404512193543927555468682556451355800610134/683\ 5670624710451118552372074028834948292092973055322495*c_1001_7^18 - 13801647868659013689724366156750008146493627310307619017981210/1953\ 04874991727174815782059257966712808345513515866357*c_1001_7^17 + 11383434779095211044349416547943704957587108368823865493692609/1395\ 03482136947982011272899469976223434532509654190255*c_1001_7^16 - 104363363099697282039518186965517464073647236406554214579837492/136\ 7134124942090223710474414805766989658418594611064499*c_1001_7^15 + 582294078172240088015011490787424903840866591076269519326498773/683\ 5670624710451118552372074028834948292092973055322495*c_1001_7^14 - 54722592433330154602762897323299063802523227138209678937830/7816661\ 66347678801435377023902668376019679013499751*c_1001_7^13 + 7892358631679847158533533909034077828624734497727523506757647/15190\ 3791660232247078941601645085221073157621623451611*c_1001_7^12 - 259390027844597760490361770921633554910143169187288250667143868/683\ 5670624710451118552372074028834948292092973055322495*c_1001_7^11 + 77027084204815520286085249825762428841016438995393157326153906/2278\ 556874903483706184124024676278316097364324351774165*c_1001_7^10 - 834803238465548862573537553265969440477560107229814198034398/361675\ 69442912439780700381344067909779323243243678955*c_1001_7^9 + 2829194262314651212596250868395777824309894105472163006461019/25317\ 2986100387078464902669408475368455262702705752685*c_1001_7^8 - 4528285853834000999591452036755128466177632112614266239620452/75951\ 8958301161235394708008225426105365788108117258055*c_1001_7^7 + 31436642505935230370473249254387288036967357784561557857731749/6835\ 670624710451118552372074028834948292092973055322495*c_1001_7^6 - 1969818239995751061483824583574814260277220173658194921492398/75951\ 8958301161235394708008225426105365788108117258055*c_1001_7^5 + 1313639807824540919731096852121517596817159632154621026515637/13671\ 34124942090223710474414805766989658418594611064499*c_1001_7^4 - 3599109442673714037185697890336183066412671243744681841755618/68356\ 70624710451118552372074028834948292092973055322495*c_1001_7^3 + 2028260174871156669401837532645772017351303619191733172931281/68356\ 70624710451118552372074028834948292092973055322495*c_1001_7^2 - 6454995493338336092580083063193929807904200156782858292498/82357477\ 406150013476534603301552228292675818952473765*c_1001_7 + 57386768436928832193729990017374387283508286356282848171654/6835670\ 624710451118552372074028834948292092973055322495, c_0011_0 - 1, c_0011_10 - 681496958912839554211004679942798087340102/6784971646346405\ 454136168009234040206769603*c_1001_7^29 - 699022438619753871782700464828504564147334/678497164634640545413616\ 8009234040206769603*c_1001_7^28 - 100689099832767706052539101155182\ 03326376300/6784971646346405454136168009234040206769603*c_1001_7^27 - 20169987214615482137251881963170283266669222/67849716463464054541\ 36168009234040206769603*c_1001_7^26 - 45821838656972094712667705730314992219683283/6784971646346405454136\ 168009234040206769603*c_1001_7^25 - 226870120803428813136856572437279062746457629/678497164634640545413\ 6168009234040206769603*c_1001_7^24 - 11140827592514771069820450276607867740977313/6784971646346405454136\ 168009234040206769603*c_1001_7^23 - 1269332994846681519795388654464088134619918698/67849716463464054541\ 36168009234040206769603*c_1001_7^22 + 443996729055440812233598679946719217683065144/678497164634640545413\ 6168009234040206769603*c_1001_7^21 - 3742567683982275322127424827284314883796526459/67849716463464054541\ 36168009234040206769603*c_1001_7^20 + 1180855740081885920326212907937874330953510813/67849716463464054541\ 36168009234040206769603*c_1001_7^19 - 5864803369686528457079299218938526906720037817/67849716463464054541\ 36168009234040206769603*c_1001_7^18 + 1645800015133164081532522641888134852727801108/67849716463464054541\ 36168009234040206769603*c_1001_7^17 - 5806873268436310931666832115176838005726923072/67849716463464054541\ 36168009234040206769603*c_1001_7^16 + 2310922550914440923589982886740220745973832583/67849716463464054541\ 36168009234040206769603*c_1001_7^15 - 5602844115191864489880491560363705568747416921/67849716463464054541\ 36168009234040206769603*c_1001_7^14 + 1129134773519099538002364464506412624378295799/67849716463464054541\ 36168009234040206769603*c_1001_7^13 - 2364352630543709679832504141017029988695175619/67849716463464054541\ 36168009234040206769603*c_1001_7^12 + 1334096670046701121239896669522032559082500299/67849716463464054541\ 36168009234040206769603*c_1001_7^11 - 1706778031019117455223653646749747167879346061/67849716463464054541\ 36168009234040206769603*c_1001_7^10 + 49018297158407964270360647319557335516767257/6784971646346405454136\ 168009234040206769603*c_1001_7^9 - 123326462375770865879478127182418006425479024/678497164634640545413\ 6168009234040206769603*c_1001_7^8 + 299575488623121982250126262796309918918860593/678497164634640545413\ 6168009234040206769603*c_1001_7^7 - 163745945655569382409056812454657765180642625/678497164634640545413\ 6168009234040206769603*c_1001_7^6 - 79376227154640697477871962957504715548875519/6784971646346405454136\ 168009234040206769603*c_1001_7^5 + 14822011359686764577392236678868208438408015/6784971646346405454136\ 168009234040206769603*c_1001_7^4 + 34575346750897184534193669200977886074512816/6784971646346405454136\ 168009234040206769603*c_1001_7^3 - 2265567072245822773107433757326789846249520/67849716463464054541361\ 68009234040206769603*c_1001_7^2 - 723642556632932875557477409799414\ 26522332/81746646341522957278749012159446267551441*c_1001_7 + 3828892697684955325560291545428703472532939/67849716463464054541361\ 68009234040206769603, c_0011_11 - 399542541188364113928263896081254706663368/6784971646346405\ 454136168009234040206769603*c_1001_7^29 + 81552888580932684314321110984745615322067/6784971646346405454136168\ 009234040206769603*c_1001_7^28 - 5572928464487268225036684347349755\ 907021847/6784971646346405454136168009234040206769603*c_1001_7^27 - 4863995020011270031294849003098333852045795/67849716463464054541361\ 68009234040206769603*c_1001_7^26 - 14871922566928587246948322104243803627489979/6784971646346405454136\ 168009234040206769603*c_1001_7^25 - 106792083526732770397952168923849991130908842/678497164634640545413\ 6168009234040206769603*c_1001_7^24 + 143783234229341523739001678354446051928429134/678497164634640545413\ 6168009234040206769603*c_1001_7^23 - 798541128313779177562799022414689886869109807/678497164634640545413\ 6168009234040206769603*c_1001_7^22 + 1140117324375230112828408732627172297305393191/67849716463464054541\ 36168009234040206769603*c_1001_7^21 - 2796292101875454192978659205889368369536077153/67849716463464054541\ 36168009234040206769603*c_1001_7^20 + 3266295398098210778591977501198388818868102023/67849716463464054541\ 36168009234040206769603*c_1001_7^19 - 4915878220017550767246030859242677733726902986/67849716463464054541\ 36168009234040206769603*c_1001_7^18 + 4684235419420790817889095210022852326822537366/67849716463464054541\ 36168009234040206769603*c_1001_7^17 - 5174403330106974377832525680982359541459988933/67849716463464054541\ 36168009234040206769603*c_1001_7^16 + 4614266222599971147681246501214201539116008848/67849716463464054541\ 36168009234040206769603*c_1001_7^15 - 5211420551503282875678964865713836216130170868/67849716463464054541\ 36168009234040206769603*c_1001_7^14 + 4034504993061580714225490959947440800720437551/67849716463464054541\ 36168009234040206769603*c_1001_7^13 - 2540532099403520658403974530708067278980822991/67849716463464054541\ 36168009234040206769603*c_1001_7^12 + 1589361018016449605774622966935539855734121281/67849716463464054541\ 36168009234040206769603*c_1001_7^11 - 1651267692807310071399320033557839794393496968/67849716463464054541\ 36168009234040206769603*c_1001_7^10 + 1151232871254276857306733742513318109118052411/67849716463464054541\ 36168009234040206769603*c_1001_7^9 - 270323311705833968216039941317551953673384507/678497164634640545413\ 6168009234040206769603*c_1001_7^8 + 46674181380869825145386412527142384956089001/6784971646346405454136\ 168009234040206769603*c_1001_7^7 - 130290748864376759394004567456126159121703284/678497164634640545413\ 6168009234040206769603*c_1001_7^6 + 122182258933572064342397806971171233801785010/678497164634640545413\ 6168009234040206769603*c_1001_7^5 + 602270689324068973917715007196743062890341/678497164634640545413616\ 8009234040206769603*c_1001_7^4 + 7221728891315213903794722856494165\ 275722587/6784971646346405454136168009234040206769603*c_1001_7^3 - 2617180711158566176634302140447225092016745/67849716463464054541361\ 68009234040206769603*c_1001_7^2 - 930915976910674636498787962450991\ 97800939/81746646341522957278749012159446267551441*c_1001_7 + 4513329101920464579283004133237564286468900/67849716463464054541361\ 68009234040206769603, c_0011_3 + 205595109135815909476921625269582090460276/67849716463464054\ 54136168009234040206769603*c_1001_7^29 + 54268540685750445934922660235067793092666/6784971646346405454136168\ 009234040206769603*c_1001_7^28 + 2844013717523087865531338591470245\ 467317664/6784971646346405454136168009234040206769603*c_1001_7^27 + 3833060073941455336511064952470955889746174/67849716463464054541361\ 68009234040206769603*c_1001_7^26 + 8772493516975727965981507429120753256802108/67849716463464054541361\ 68009234040206769603*c_1001_7^25 + 58308726543199131253757533970610446817717693/6784971646346405454136\ 168009234040206769603*c_1001_7^24 - 48549449492893646498385799132925050961154409/6784971646346405454136\ 168009234040206769603*c_1001_7^23 + 374798975932273277139938943053872705219061102/678497164634640545413\ 6168009234040206769603*c_1001_7^22 - 396245324227501148332732976262429173457756733/678497164634640545413\ 6168009234040206769603*c_1001_7^21 + 1161515054113790872169245580046784995137015625/67849716463464054541\ 36168009234040206769603*c_1001_7^20 - 1021185778686575165066870622262533478154534696/67849716463464054541\ 36168009234040206769603*c_1001_7^19 + 1753376055067725044161255718451428281665664862/67849716463464054541\ 36168009234040206769603*c_1001_7^18 - 1280699390036943497770171873151821845137824325/67849716463464054541\ 36168009234040206769603*c_1001_7^17 + 1589757197183138065394033039263849580671542517/67849716463464054541\ 36168009234040206769603*c_1001_7^16 - 1225818977279147086353939735639720740368706793/67849716463464054541\ 36168009234040206769603*c_1001_7^15 + 1656189725907376764665172255161951396946342032/67849716463464054541\ 36168009234040206769603*c_1001_7^14 - 916054001231816118638566462468587182413107039/678497164634640545413\ 6168009234040206769603*c_1001_7^13 + 410839745533753980024800377129241540905371365/678497164634640545413\ 6168009234040206769603*c_1001_7^12 - 306356356247259095474758603612626631260476306/678497164634640545413\ 6168009234040206769603*c_1001_7^11 + 555522384157071646785661104942679534079354490/678497164634640545413\ 6168009234040206769603*c_1001_7^10 - 211756198597684756700846928922773238913209064/678497164634640545413\ 6168009234040206769603*c_1001_7^9 - 111814801445015642648829699678974749827676506/678497164634640545413\ 6168009234040206769603*c_1001_7^8 + 34303435502201295076313434673457174844673449/6784971646346405454136\ 168009234040206769603*c_1001_7^7 + 130653730687933722818746664519487786791326109/678497164634640545413\ 6168009234040206769603*c_1001_7^6 - 25084537111481534799439889960763071745742724/6784971646346405454136\ 168009234040206769603*c_1001_7^5 - 35798685846215847131196246211145975291414638/6784971646346405454136\ 168009234040206769603*c_1001_7^4 + 4900654418402798440127663874716738156048313/67849716463464054541361\ 68009234040206769603*c_1001_7^3 + 188538719937239031421791540242104\ 73531775855/6784971646346405454136168009234040206769603*c_1001_7^2 + 13905049322077642401698929096975746128977/8174664634152295727874901\ 2159446267551441*c_1001_7 - 417150257522177808985834720954627155885\ 6737/6784971646346405454136168009234040206769603, c_0011_4 + 92665465187070938687520672369578855289427/678497164634640545\ 4136168009234040206769603*c_1001_7^29 + 23952644693902717498036875391129756667107/6784971646346405454136168\ 009234040206769603*c_1001_7^28 + 1282934193682600039244875742379451\ 272610696/6784971646346405454136168009234040206769603*c_1001_7^27 + 1720983174043425314095952262060882781604829/67849716463464054541361\ 68009234040206769603*c_1001_7^26 + 3960802167885254473351901039820629627726408/67849716463464054541361\ 68009234040206769603*c_1001_7^25 + 26282619560425850226778911003207580512820194/6784971646346405454136\ 168009234040206769603*c_1001_7^24 - 21979900530708557993663669729772183781704026/6784971646346405454136\ 168009234040206769603*c_1001_7^23 + 169388359749646541798064643666410704638409160/678497164634640545413\ 6168009234040206769603*c_1001_7^22 - 179806502967791459095233528405042567520980819/678497164634640545413\ 6168009234040206769603*c_1001_7^21 + 526561501235341569738962798736498282884612211/678497164634640545413\ 6168009234040206769603*c_1001_7^20 - 465213953931037729212877936696133624492839263/678497164634640545413\ 6168009234040206769603*c_1001_7^19 + 798695388568145064166338166104094425771193520/678497164634640545413\ 6168009234040206769603*c_1001_7^18 - 586283978400241308143956040081639709887283688/678497164634640545413\ 6168009234040206769603*c_1001_7^17 + 727395752017317349621548810888150677571488313/678497164634640545413\ 6168009234040206769603*c_1001_7^16 - 561486953969700501520299233262355136427365120/678497164634640545413\ 6168009234040206769603*c_1001_7^15 + 755697774425344271199550133998918565795631844/678497164634640545413\ 6168009234040206769603*c_1001_7^14 - 421872412931669809472323370916375197721215708/678497164634640545413\ 6168009234040206769603*c_1001_7^13 + 194613586371953334104361547095699335348844988/678497164634640545413\ 6168009234040206769603*c_1001_7^12 - 142028378514725923586295360090385608877179447/678497164634640545413\ 6168009234040206769603*c_1001_7^11 + 250667573478905655926906125881129355527547996/678497164634640545413\ 6168009234040206769603*c_1001_7^10 - 97691416497134588398683088507220071526484026/6784971646346405454136\ 168009234040206769603*c_1001_7^9 - 49148513023447773700663168176273683232968224/6784971646346405454136\ 168009234040206769603*c_1001_7^8 + 15083234653683390009811742277041780896913157/6784971646346405454136\ 168009234040206769603*c_1001_7^7 + 44006124811654848700047093250704580540452766/6784971646346405454136\ 168009234040206769603*c_1001_7^6 - 11276895871389335734702153601904472125236868/6784971646346405454136\ 168009234040206769603*c_1001_7^5 - 17011434660075303903128927661111311292526056/6784971646346405454136\ 168009234040206769603*c_1001_7^4 + 2123763326077360889820187549612047546053437/67849716463464054541361\ 68009234040206769603*c_1001_7^3 + 139787372831618291014856128224915\ 39690738729/6784971646346405454136168009234040206769603*c_1001_7^2 + 6707970843771361579571298493704996221465/81746646341522957278749012\ 159446267551441*c_1001_7 - 5525179866648728845870731601090820551635\ 221/6784971646346405454136168009234040206769603, c_0101_10 - 326520527042865508553048563096751801219534/6784971646346405\ 454136168009234040206769603*c_1001_7^29 - 87636634925089619434869209487631169726441/6784971646346405454136168\ 009234040206769603*c_1001_7^28 - 4513825664924286183731148029572584\ 503265428/6784971646346405454136168009234040206769603*c_1001_7^27 - 6106906361175157746227321554499479856825443/67849716463464054541361\ 68009234040206769603*c_1001_7^26 - 13916247155826466730056006140779485372499080/6784971646346405454136\ 168009234040206769603*c_1001_7^25 - 92607622858838696877418415103658069080919824/6784971646346405454136\ 168009234040206769603*c_1001_7^24 + 76796666635817567623058868882077833545246401/6784971646346405454136\ 168009234040206769603*c_1001_7^23 - 594014812171381510634770827043815170897085467/678497164634640545413\ 6168009234040206769603*c_1001_7^22 + 625782552194111850621827088583494805871177365/678497164634640545413\ 6168009234040206769603*c_1001_7^21 - 1836420765477593103094830328550003939137678951/67849716463464054541\ 36168009234040206769603*c_1001_7^20 + 1607891081009540660032464593964103526647820435/67849716463464054541\ 36168009234040206769603*c_1001_7^19 - 2761899597670785088602302246921925509616678622/67849716463464054541\ 36168009234040206769603*c_1001_7^18 + 2009205852487199892435077277221971271559513334/67849716463464054541\ 36168009234040206769603*c_1001_7^17 - 2495975050794869808190432382466886278043817973/67849716463464054541\ 36168009234040206769603*c_1001_7^16 + 1922716521695577686474985686491021479787087710/67849716463464054541\ 36168009234040206769603*c_1001_7^15 - 2613126473764269848304241775252540884777570273/67849716463464054541\ 36168009234040206769603*c_1001_7^14 + 1430591774328858974277303089525422983209169659/67849716463464054541\ 36168009234040206769603*c_1001_7^13 - 681097153707132366174073618202928296356010303/678497164634640545413\ 6168009234040206769603*c_1001_7^12 + 476697597025163104899910967767504412577113480/678497164634640545413\ 6168009234040206769603*c_1001_7^11 - 1012594437561059588063212141305075877137526715/67849716463464054541\ 36168009234040206769603*c_1001_7^10 + 330087776686432120543966573774453991551612276/678497164634640545413\ 6168009234040206769603*c_1001_7^9 + 107415606069420147168799518435704109599612691/678497164634640545413\ 6168009234040206769603*c_1001_7^8 - 55127774480002397295339162086773846992805766/6784971646346405454136\ 168009234040206769603*c_1001_7^7 - 242858831833850442912429897240436243016261829/678497164634640545413\ 6168009234040206769603*c_1001_7^6 + 39775148988609714444258690151912123275125514/6784971646346405454136\ 168009234040206769603*c_1001_7^5 + 36691407932839134366806712913514838540327308/6784971646346405454136\ 168009234040206769603*c_1001_7^4 - 7954286116983841242904179483135488898436250/67849716463464054541361\ 68009234040206769603*c_1001_7^3 - 165783939653889955375861245871344\ 56005703996/6784971646346405454136168009234040206769603*c_1001_7^2 - 21038761052082872122052856984317060693125/8174664634152295727874901\ 2159446267551441*c_1001_7 + 278951895401809048163824160151341101352\ 6186/6784971646346405454136168009234040206769603, c_0101_11 + 481028002184801146115755902312949505519499/6784971646346405\ 454136168009234040206769603*c_1001_7^29 + 53502656586408463352740675990493165368762/6784971646346405454136168\ 009234040206769603*c_1001_7^28 + 6346994413125135468450484218708400\ 810365263/6784971646346405454136168009234040206769603*c_1001_7^27 + 7657213559264830751949281070763966518903169/67849716463464054541361\ 68009234040206769603*c_1001_7^26 + 14953135052596444599590377421825548285787616/6784971646346405454136\ 168009234040206769603*c_1001_7^25 + 124791142337472090044468810371521488527827383/678497164634640545413\ 6168009234040206769603*c_1001_7^24 - 152978878415836292340562499691100752498236194/678497164634640545413\ 6168009234040206769603*c_1001_7^23 + 799467352625157700927034305731984831063243803/678497164634640545413\ 6168009234040206769603*c_1001_7^22 - 1062011842951259972819066457664882012637999996/67849716463464054541\ 36168009234040206769603*c_1001_7^21 + 2339831872043716799206514079569294556973730092/67849716463464054541\ 36168009234040206769603*c_1001_7^20 - 2622412884691047919643563402818885844656157891/67849716463464054541\ 36168009234040206769603*c_1001_7^19 + 3009971048252811760031246059182032085640068435/67849716463464054541\ 36168009234040206769603*c_1001_7^18 - 3229098222380418508000944239590601038220882645/67849716463464054541\ 36168009234040206769603*c_1001_7^17 + 2164350053650200881265504351949711601178689216/67849716463464054541\ 36168009234040206769603*c_1001_7^16 - 3088963383288340896907833311463792892585380808/67849716463464054541\ 36168009234040206769603*c_1001_7^15 + 2766138399266215094336880258126071942310203536/67849716463464054541\ 36168009234040206769603*c_1001_7^14 - 2242251022737157558458803038512191510511150185/67849716463464054541\ 36168009234040206769603*c_1001_7^13 - 162220487057815834181633575633303320998080187/678497164634640545413\ 6168009234040206769603*c_1001_7^12 - 768699502959352978875909216138948282560461925/678497164634640545413\ 6168009234040206769603*c_1001_7^11 + 1077975039078848055719829625273661359990770661/67849716463464054541\ 36168009234040206769603*c_1001_7^10 - 504730050392119192072656605552837055567837628/678497164634640545413\ 6168009234040206769603*c_1001_7^9 - 464576453672688829835239720629499286685567168/678497164634640545413\ 6168009234040206769603*c_1001_7^8 + 82019501211769414092416283786700505617470044/6784971646346405454136\ 168009234040206769603*c_1001_7^7 + 220751489501010356477504940412376836018842512/678497164634640545413\ 6168009234040206769603*c_1001_7^6 - 61170663924549688410901561988381328056950478/6784971646346405454136\ 168009234040206769603*c_1001_7^5 - 62414661809208396200011057295369635183438490/6784971646346405454136\ 168009234040206769603*c_1001_7^4 + 12560739928195222826575427126695109197272556/6784971646346405454136\ 168009234040206769603*c_1001_7^3 + 1094946641497238294408480602810229934375728/67849716463464054541361\ 68009234040206769603*c_1001_7^2 + 316249195664813557496601003863626\ 71815780/81746646341522957278749012159446267551441*c_1001_7 - 1224429787488311637942643114307295439300031/67849716463464054541361\ 68009234040206769603, c_0101_5 + 14382318936393102380413670794652701441282/678497164634640545\ 4136168009234040206769603*c_1001_7^29 + 4335829477276811189374078958616641076074/67849716463464054541361680\ 09234040206769603*c_1001_7^28 + 19777157519319477530699965819904978\ 9146704/6784971646346405454136168009234040206769603*c_1001_7^27 + 275107263655740268396306461832503570413045/678497164634640545413616\ 8009234040206769603*c_1001_7^26 + 605859979730284539490604282111182\ 324418604/6784971646346405454136168009234040206769603*c_1001_7^25 + 4075598667583167958193531086146876662507176/67849716463464054541361\ 68009234040206769603*c_1001_7^24 - 3296193543034169728645832058809968095939491/67849716463464054541361\ 68009234040206769603*c_1001_7^23 + 25720675623634957142229708605089944346470056/6784971646346405454136\ 168009234040206769603*c_1001_7^22 - 26444880336251854659475603502505785037049554/6784971646346405454136\ 168009234040206769603*c_1001_7^21 + 77966455892059772561847803275566156156762767/6784971646346405454136\ 168009234040206769603*c_1001_7^20 - 66182563902684552134942557073312047610664886/6784971646346405454136\ 168009234040206769603*c_1001_7^19 + 113523008553883391517734886354007101218707198/678497164634640545413\ 6168009234040206769603*c_1001_7^18 - 79866040873709208107022560156422648648761508/6784971646346405454136\ 168009234040206769603*c_1001_7^17 + 99301054891128589490566429543193710270163470/6784971646346405454136\ 168009234040206769603*c_1001_7^16 - 75965977888765915043441302744863992539189101/6784971646346405454136\ 168009234040206769603*c_1001_7^15 + 105742683044242227653656928133975221715562451/678497164634640545413\ 6168009234040206769603*c_1001_7^14 - 54378629992198857189413615781390940119217867/6784971646346405454136\ 168009234040206769603*c_1001_7^13 + 18352535956858267695520396487298076222820515/6784971646346405454136\ 168009234040206769603*c_1001_7^12 - 16972478395873046483660760303975961610233204/6784971646346405454136\ 168009234040206769603*c_1001_7^11 + 38435232389767593560099182799428928739836356/6784971646346405454136\ 168009234040206769603*c_1001_7^10 - 12428862606018427160089676985775319562759474/6784971646346405454136\ 168009234040206769603*c_1001_7^9 - 12987626297134697224738011327597028446877530/6784971646346405454136\ 168009234040206769603*c_1001_7^8 + 2894162542572526819183071948295994494096033/67849716463464054541361\ 68009234040206769603*c_1001_7^7 + 102187985862272621951126419829255\ 15584920373/6784971646346405454136168009234040206769603*c_1001_7^6 - 1819877436248122157893939586085632666503949/67849716463464054541361\ 68009234040206769603*c_1001_7^5 - 127198907191650216009425166725148\ 74715883962/6784971646346405454136168009234040206769603*c_1001_7^4 + 448041233096474390874153233281543479271998/678497164634640545413616\ 8009234040206769603*c_1001_7^3 - 8779796920363569709292516137944010\ 361461399/6784971646346405454136168009234040206769603*c_1001_7^2 + 463493356893802904604738110812518062617/817466463415229572787490121\ 59446267551441*c_1001_7 + 71857934081708152494110626173389270001321\ /6784971646346405454136168009234040206769603, c_1001_0 - 419930593232558869421812136047739885044794/67849716463464054\ 54136168009234040206769603*c_1001_7^29 + 92665465187070938687520672369578855289427/6784971646346405454136168\ 009234040206769603*c_1001_7^28 - 5855075660561921454407333029277228\ 633960009/6784971646346405454136168009234040206769603*c_1001_7^27 - 5016024704805783002082306298336647003061214/67849716463464054541361\ 68009234040206769603*c_1001_7^26 - 15496171148491488332198345315896452505231725/6784971646346405454136\ 168009234040206769603*c_1001_7^25 - 111940041564300993487068248509355578644636736/678497164634640545413\ 6168009234040206769603*c_1001_7^24 + 153101658716658628792166176089625025796347982/678497164634640545413\ 6168009234040206769603*c_1001_7^23 - 840844557334198353366197335022864959619052326/678497164634640545413\ 6168009234040206769603*c_1001_7^22 + 1210816230966392537964158741064805619549498280/67849716463464054541\ 36168009234040206769603*c_1001_7^21 - 2951768348895912556148615438456173548701666013/67849716463464054541\ 36168009234040206769603*c_1001_7^20 + 3471114820982044362124709496703250356818707739/67849716463464054541\ 36168009234040206769603*c_1001_7^19 - 5199091531441673864204966146362305348602802025/67849716463464054541\ 36168009234040206769603*c_1001_7^18 + 4979104444198268609260477980459344981392117790/67849716463464054541\ 36168009234040206769603*c_1001_7^17 - 5477635528373087019169223800765713890889044200/67849716463464054541\ 36168009234040206769603*c_1001_7^16 + 4898146404003092040718986946114303215836382321/67849716463464054541\ 36168009234040206769603*c_1001_7^15 - 5514148370554499807481151565809399340645665556/67849716463464054541\ 36168009234040206769603*c_1001_7^14 + 4291933300036722510600630131656936137757842118/67849716463464054541\ 36168009234040206769603*c_1001_7^13 - 2697056367065673763999701524023029894893909600/67849716463464054541\ 36168009234040206769603*c_1001_7^12 + 1672769274550560554469140265983743730706519868/67849716463464054541\ 36168009234040206769603*c_1001_7^11 - 1743223730510472892691665034840417790552978969/67849716463464054541\ 36168009234040206769603*c_1001_7^10 + 1184173282234884022651594504315255119982125058/67849716463464054541\ 36168009234040206769603*c_1001_7^9 - 290439558790879109463294858953132678762044472/678497164634640545413\ 6168009234040206769603*c_1001_7^8 - 11354759632517475452700075931977093578936764/6784971646346405454136\ 168009234040206769603*c_1001_7^7 - 135251917723572685243197002428049097949123095/678497164634640545413\ 6168009234040206769603*c_1001_7^6 + 120853423373213121804238714147440979503650068/678497164634640545413\ 6168009234040206769603*c_1001_7^5 - 358700447342805129735038064663235114072224/678497164634640545413616\ 8009234040206769603*c_1001_7^4 - 2121074059240089259734704902158871\ 0142973996/6784971646346405454136168009234040206769603*c_1001_7^3 - 2495473199480786673819745946913091189439297/67849716463464054541361\ 68009234040206769603*c_1001_7^2 + 461966372404211167707825027093443\ 42212178/81746646341522957278749012159446267551441*c_1001_7 + 4756067512358611705322539135454913536829535/67849716463464054541361\ 68009234040206769603, c_1001_2 + c_1001_7, c_1001_6 - 424266422709835680611186215006356526120868/67849716463464054\ 54136168009234040206769603*c_1001_7^29 + 96246355103379596706312405295666886320671/6784971646346405454136168\ 009234040206769603*c_1001_7^28 - 5914448140171765187097434429189941\ 682753824/6784971646346405454136168009234040206769603*c_1001_7^27 - 5032209608143950343975950077867068568387256/67849716463464054541361\ 68009234040206769603*c_1001_7^26 - 15602249789630160033397703262719183569945069/6784971646346405454136\ 168009234040206769603*c_1001_7^25 - 112987308340057540677307345030530726383964409/678497164634640545413\ 6168009234040206769603*c_1001_7^24 + 155426505018990221291743125534107849260377826/678497164634640545413\ 6168009234040206769603*c_1001_7^23 - 850067827960201392610147635091097874156382132/678497164634640545413\ 6168009234040206769603*c_1001_7^22 + 1227787462373463634215421578704741945606637995/67849716463464054541\ 36168009234040206769603*c_1001_7^21 - 2986434605375216437905133540994966243597270511/67849716463464054541\ 36168009234040206769603*c_1001_7^20 + 3519723693798120413741377921217363158947572527/67849716463464054541\ 36168009234040206769603*c_1001_7^19 - 5262401475579757990294961678966650342802002827/67849716463464054541\ 36168009234040206769603*c_1001_7^18 + 5047328640278246876296969988332265937510007056/67849716463464054541\ 36168009234040206769603*c_1001_7^17 - 5544514742160577396968051076353340529064667923/67849716463464054541\ 36168009234040206769603*c_1001_7^16 + 4962028790494670062539928851332461954919299778/67849716463464054541\ 36168009234040206769603*c_1001_7^15 - 5580883248325667265437201471789778799363483411/67849716463464054541\ 36168009234040206769603*c_1001_7^14 + 4351504168077242071602191003535066397943887479/67849716463464054541\ 36168009234040206769603*c_1001_7^13 - 2730709651325904437895096884916231442356989036/67849716463464054541\ 36168009234040206769603*c_1001_7^12 + 1689173824265259860285558409924325552562291778/67849716463464054541\ 36168009234040206769603*c_1001_7^11 - 1762766762900056332123234948031155426294189381/67849716463464054541\ 36168009234040206769603*c_1001_7^10 + 1203762392923823153868942390537597738390551026/67849716463464054541\ 36168009234040206769603*c_1001_7^9 - 294628130037727015496715161272947416385855885/678497164634640545413\ 6168009234040206769603*c_1001_7^8 - 16424688039516006995624623770416942047878181/6784971646346405454136\ 168009234040206769603*c_1001_7^7 - 136064004652684500820918764597384909646373752/678497164634640545413\ 6168009234040206769603*c_1001_7^6 + 133199373800031922743290475379294883982060698/678497164634640545413\ 6168009234040206769603*c_1001_7^5 - 662918491075348496805054589998251578931402/678497164634640545413616\ 8009234040206769603*c_1001_7^4 - 1227273816373699876186998250490352\ 0065658495/6784971646346405454136168009234040206769603*c_1001_7^3 - 2418884596611827495858629843753308577106252/67849716463464054541361\ 68009234040206769603*c_1001_7^2 - 381485768534589390175839472105828\ 44428590/81746646341522957278749012159446267551441*c_1001_7 + 4799214469167791012463780147838871641153381/67849716463464054541361\ 68009234040206769603, c_1001_7^30 + 14*c_1001_7^28 + 15*c_1001_7^27 + 41*c_1001_7^26 + 276*c_1001_7^25 - 302*c_1001_7^24 + 1950*c_1001_7^23 - 2480*c_1001_7^22 + 6601*c_1001_7^21 - 7012*c_1001_7^20 + 11273*c_1001_7^19 - 9955*c_1001_7^18 + 11648*c_1001_7^17 - 9932*c_1001_7^16 + 11794*c_1001_7^15 - 8421*c_1001_7^14 + 5418*c_1001_7^13 - 3520*c_1001_7^12 + 3813*c_1001_7^11 - 2223*c_1001_7^10 + 459*c_1001_7^9 - 90*c_1001_7^8 + 358*c_1001_7^7 - 183*c_1001_7^6 - 26*c_1001_7^5 + 10*c_1001_7^4 + 11*c_1001_7^3 + 8*c_1001_7^2 - 10*c_1001_7 + 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.420 Total time: 0.620 seconds, Total memory usage: 32.09MB