Magma V2.19-8 Tue Aug 20 2013 17:55:58 on localhost [Seed = 2732791104] Type ? for help. Type -D to quit. Loading file "10_135__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_135 geometric_solution 10.68717497 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.586003800940 0.732210087621 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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.229827807752 0.868009315482 3 0 7 5 2031 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.009940948320 1.657503862587 5 6 2 0 0213 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 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.656326744286 0.825004269923 8 9 0 10 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.499981403305 0.271800350890 3 1 2 10 0213 0132 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 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.157362166081 0.620652966572 11 3 1 11 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.098782047805 0.946794488940 9 2 10 1 3120 1230 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.180167432328 0.437746025331 4 9 11 9 0132 3201 3120 3120 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 -1 1 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.861868225221 0.644399261635 8 4 8 7 3120 0132 2310 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.861868225221 0.644399261635 11 7 4 5 3120 3201 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 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 1.699390637788 1.962791895371 6 6 8 10 0132 1302 3120 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.890990422624 1.044822104767 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : negation(d['c_0011_4']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : negation(d['c_0011_7']), 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_11'], 'c_1001_2' : negation(d['c_0011_7']), 'c_1001_9' : negation(d['c_0011_4']), 'c_1001_8' : negation(d['c_0101_11']), 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(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' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_4']), 'c_1100_8' : negation(d['c_0101_11']), 'c_1100_5' : negation(d['c_1001_7']), 'c_1100_4' : d['c_0101_2'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_0011_10'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_1001_7']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : d['c_0101_2'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_0011_11'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0011_4']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : negation(d['c_0011_7']), 'c_1010_9' : negation(d['c_0011_7']), 'c_1010_8' : d['c_0011_4'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_4'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_11'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_1'], '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_0011_11'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_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_4, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_1001_0, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 16164222054508432417314164722722641138649646665751097936/1231322830\ 588874831205184101680607575773478057684434135*c_1001_7^20 - 102008432484232829538221198828225711958986458965810685648/123132283\ 0588874831205184101680607575773478057684434135*c_1001_7^19 + 134230322169672801833920992059965739107632452417483551028/246264566\ 117774966241036820336121515154695611536886827*c_1001_7^18 - 2430089330879684400365042180072326475386481898671064714774/12313228\ 30588874831205184101680607575773478057684434135*c_1001_7^17 + 182212862080647918583410695176496884458313790573934718748/286354146\ 64857554214074048876293199436592512969405445*c_1001_7^16 - 19514942092357174061866698257493245894328619344206623299881/1231322\ 830588874831205184101680607575773478057684434135*c_1001_7^15 + 41691678377659231292012614047550437882190785404088687603912/1231322\ 830588874831205184101680607575773478057684434135*c_1001_7^14 - 75318396590367730999040545758244431627795361364449494124933/1231322\ 830588874831205184101680607575773478057684434135*c_1001_7^13 + 24748020379467191016729894834936507424795238122301353558076/2462645\ 66117774966241036820336121515154695611536886827*c_1001_7^12 - 1235816455770245884149345569549598976577602655979721338073/84918815\ 90268102284173683459866259143265365915065063*c_1001_7^11 + 45231426361812660167777914589137107433973635469220463132233/2462645\ 66117774966241036820336121515154695611536886827*c_1001_7^10 - 246612256884708425891365424912266588120947450739115411849719/123132\ 2830588874831205184101680607575773478057684434135*c_1001_7^9 + 234241592407279356770603232726866315279705050065630060723708/123132\ 2830588874831205184101680607575773478057684434135*c_1001_7^8 - 189722185384341163520328683215982170513969746680244778630424/123132\ 2830588874831205184101680607575773478057684434135*c_1001_7^7 + 24712388254220611699254667138028806120970688838199707449400/2462645\ 66117774966241036820336121515154695611536886827*c_1001_7^6 - 60098079847111029432973791845711099443760677772748999720466/1231322\ 830588874831205184101680607575773478057684434135*c_1001_7^5 + 19386196068756872093381211202767373929022813290533519018008/1231322\ 830588874831205184101680607575773478057684434135*c_1001_7^4 - 3589022028983029304001500513618466136946573247427504412338/12313228\ 30588874831205184101680607575773478057684434135*c_1001_7^3 + 467281622458699411811451813373879399252677595673596629617/123132283\ 0588874831205184101680607575773478057684434135*c_1001_7^2 - 61568602995498644175065556148766447207039457820931888857/2462645661\ 17774966241036820336121515154695611536886827*c_1001_7 + 110799074018000946098865103867006273179752065270699930434/123132283\ 0588874831205184101680607575773478057684434135, c_0011_0 - 1, c_0011_10 + 905562989506205667582268143279961611709950340672/3726143742\ 987320001831366151762290102354263236097*c_1001_7^20 - 5649028208128928741666822204215270576662532506432/37261437429873200\ 01831366151762290102354263236097*c_1001_7^19 + 37077354609784518248807668579527479000485489178448/3726143742987320\ 001831366151762290102354263236097*c_1001_7^18 - 133019685001067842821779854686170166900031238699992/372614374298732\ 0001831366151762290102354263236097*c_1001_7^17 + 426085734958747776847955496538237079164053454258720/372614374298732\ 0001831366151762290102354263236097*c_1001_7^16 - 1055362884877355340440493822417909632277619251805020/37261437429873\ 20001831366151762290102354263236097*c_1001_7^15 + 2235185274228608603724991646374635573110229351411024/37261437429873\ 20001831366151762290102354263236097*c_1001_7^14 - 4019552268708787998115058408621956308732247661790850/37261437429873\ 20001831366151762290102354263236097*c_1001_7^13 + 6568227900482369640910169192603988312015984746085744/37261437429873\ 20001831366151762290102354263236097*c_1001_7^12 - 9480991179011431552265836091224070421624206668243248/37261437429873\ 20001831366151762290102354263236097*c_1001_7^11 + 11851209488645050284235485629659486176442232009253176/3726143742987\ 320001831366151762290102354263236097*c_1001_7^10 - 12874023461131764224448141512653471805898614249060734/3726143742987\ 320001831366151762290102354263236097*c_1001_7^9 + 12152884952980930786391088976195500436048943127084476/3726143742987\ 320001831366151762290102354263236097*c_1001_7^8 - 9807396436341195013618596856694302021492845036289244/37261437429873\ 20001831366151762290102354263236097*c_1001_7^7 + 6316209704558528033766249735730016289288733428493944/37261437429873\ 20001831366151762290102354263236097*c_1001_7^6 - 3082407593466966935006191929924858143510202102421448/37261437429873\ 20001831366151762290102354263236097*c_1001_7^5 + 1025252860165836883307213446865098990714870099889244/37261437429873\ 20001831366151762290102354263236097*c_1001_7^4 - 209521445392506423481887428786441339999599368956380/372614374298732\ 0001831366151762290102354263236097*c_1001_7^3 + 32305313275079085778107248722676851002242503597535/3726143742987320\ 001831366151762290102354263236097*c_1001_7^2 - 12748675919740760825231637387011720006743561536934/3726143742987320\ 001831366151762290102354263236097*c_1001_7 + 9844252207407908630948035134219055813613401002471/37261437429873200\ 01831366151762290102354263236097, c_0011_11 + 818830621776669082947410450327153343641498091296/3726143742\ 987320001831366151762290102354263236097*c_1001_7^20 - 5195059275121010387075772296992054152014304966816/37261437429873200\ 01831366151762290102354263236097*c_1001_7^19 + 34099524922112982405123508747167681582567752583976/3726143742987320\ 001831366151762290102354263236097*c_1001_7^18 - 123906766631193967701824412398148496355145154824924/372614374298732\ 0001831366151762290102354263236097*c_1001_7^17 + 398620354129337950190919401787572370008864696736568/372614374298732\ 0001831366151762290102354263236097*c_1001_7^16 - 995140332533774806860999428239293833727478213968266/372614374298732\ 0001831366151762290102354263236097*c_1001_7^15 + 2122307034367089928645171153950520188291874061546956/37261437429873\ 20001831366151762290102354263236097*c_1001_7^14 - 3839142687926051087442320381706725319747734636366888/37261437429873\ 20001831366151762290102354263236097*c_1001_7^13 + 6296559976408702029721844608823539899029272517110567/37261437429873\ 20001831366151762290102354263236097*c_1001_7^12 - 9130655825399265123688214057329668611726688615954050/37261437429873\ 20001831366151762290102354263236097*c_1001_7^11 + 11498461775605602543803875919245398350672665634185445/3726143742987\ 320001831366151762290102354263236097*c_1001_7^10 - 12548305509990979049444909129773488684177718988684854/3726143742987\ 320001831366151762290102354263236097*c_1001_7^9 + 11884446972188748219358581162072167071671159035466675/3726143742987\ 320001831366151762290102354263236097*c_1001_7^8 - 9626700535634742585672146859514566582734072223954742/37261437429873\ 20001831366151762290102354263236097*c_1001_7^7 + 6226695800377219891447214444968099001209624967872682/37261437429873\ 20001831366151762290102354263236097*c_1001_7^6 - 3013842259329194392115477905993630503485836299394394/37261437429873\ 20001831366151762290102354263236097*c_1001_7^5 + 941118786249528224566800236248894490110587818283040/372614374298732\ 0001831366151762290102354263236097*c_1001_7^4 - 154978237569747320954906913386915602254601736027000/372614374298732\ 0001831366151762290102354263236097*c_1001_7^3 + 7771401295349625493458509534268815265306403359585/37261437429873200\ 01831366151762290102354263236097*c_1001_7^2 - 9894984396247832671540806581953103212952886396162/37261437429873200\ 01831366151762290102354263236097*c_1001_7 + 8777265723749693401467249493439717059180154437567/37261437429873200\ 01831366151762290102354263236097, c_0011_4 + 1972244926626203389779505031408696959956718352784/3726143742\ 987320001831366151762290102354263236097*c_1001_7^20 - 12589570521231328210382975008150619499214582065712/3726143742987320\ 001831366151762290102354263236097*c_1001_7^19 + 82387274656712305793871096938146827267174978245580/3726143742987320\ 001831366151762290102354263236097*c_1001_7^18 - 300483466563223884964340008047523733451834840865254/372614374298732\ 0001831366151762290102354263236097*c_1001_7^17 + 963911483878334029080391300343567831696419422829818/372614374298732\ 0001831366151762290102354263236097*c_1001_7^16 - 2411238374914678681046531598974245827738508898548652/37261437429873\ 20001831366151762290102354263236097*c_1001_7^15 + 5132862151236697451136559765662369553349010845929332/37261437429873\ 20001831366151762290102354263236097*c_1001_7^14 - 9291639752125054969970062909000391278758800298414144/37261437429873\ 20001831366151762290102354263236097*c_1001_7^13 + 15225838007452953379742863125661035170227221398920566/3726143742987\ 320001831366151762290102354263236097*c_1001_7^12 - 22107071302069082301877247449450584986470671995349556/3726143742987\ 320001831366151762290102354263236097*c_1001_7^11 + 27817297197942718763318765802549384202966867160628524/3726143742987\ 320001831366151762290102354263236097*c_1001_7^10 - 30376132845910447043727018162710449562961378218442522/3726143742987\ 320001831366151762290102354263236097*c_1001_7^9 + 28832650649901470606766164316478269083841536772438926/3726143742987\ 320001831366151762290102354263236097*c_1001_7^8 - 23418637906059066311201116385060248706106807709863356/3726143742987\ 320001831366151762290102354263236097*c_1001_7^7 + 15225026419238339778663730831816757992648773616063312/3726143742987\ 320001831366151762290102354263236097*c_1001_7^6 - 7456155155590033830070264773898496740832678958857114/37261437429873\ 20001831366151762290102354263236097*c_1001_7^5 + 2466309088621687153488367334302404352402452346962307/37261437429873\ 20001831366151762290102354263236097*c_1001_7^4 - 468209622584392403364955806148932520543058990990044/372614374298732\ 0001831366151762290102354263236097*c_1001_7^3 + 41986719095265782003667320011613275998361752000705/3726143742987320\ 001831366151762290102354263236097*c_1001_7^2 - 20527810593793897416868106604871861787489332345834/3726143742987320\ 001831366151762290102354263236097*c_1001_7 + 20297535167077343134978246365432610895772787482997/3726143742987320\ 001831366151762290102354263236097, c_0011_7 - 932471012057572666568773880538136754801158640384/37261437429\ 87320001831366151762290102354263236097*c_1001_7^20 + 5825862530355895551952812520201218757188727665552/37261437429873200\ 01831366151762290102354263236097*c_1001_7^19 - 38249699175593991437694764408231839273204076038880/3726143742987320\ 001831366151762290102354263236097*c_1001_7^18 + 137428161947952150911537715081248020077604432034700/372614374298732\ 0001831366151762290102354263236097*c_1001_7^17 - 440641515113186939852322654134734494640625783274570/372614374298732\ 0001831366151762290102354263236097*c_1001_7^16 + 1092939195512140654600105751372397095239431693508480/37261437429873\ 20001831366151762290102354263236097*c_1001_7^15 - 2318290731348265547526949513980206100605244719164808/37261437429873\ 20001831366151762290102354263236097*c_1001_7^14 + 4175863252056296802516345485123204279668855698986882/37261437429873\ 20001831366151762290102354263236097*c_1001_7^13 - 6832888542413527872996198900290913187893413420365424/37261437429873\ 20001831366151762290102354263236097*c_1001_7^12 + 9877540474885321407403364188133727603422370627005366/37261437429873\ 20001831366151762290102354263236097*c_1001_7^11 - 12373008232878510508819533613966840859870328694269132/3726143742987\ 320001831366151762290102354263236097*c_1001_7^10 + 13474802007682635489772656415494128945007464269715103/3726143742987\ 320001831366151762290102354263236097*c_1001_7^9 - 12751194904076286708115916361522770012085529710336886/3726143742987\ 320001831366151762290102354263236097*c_1001_7^8 + 10315551504218437060376853568065077891749733540958006/3726143742987\ 320001831366151762290102354263236097*c_1001_7^7 - 6662936805830444475185004253405861758535836717254544/37261437429873\ 20001831366151762290102354263236097*c_1001_7^6 + 3263343817580424033173284704353358139518984736115269/37261437429873\ 20001831366151762290102354263236097*c_1001_7^5 - 1070588544534246785285002442115356008562102213580940/37261437429873\ 20001831366151762290102354263236097*c_1001_7^4 + 192534107242954445977009929572215649276017616889376/372614374298732\ 0001831366151762290102354263236097*c_1001_7^3 - 12645318727750133687464847196659024056390601927248/3726143742987320\ 001831366151762290102354263236097*c_1001_7^2 + 6992392227653612701676055279501397997120333319035/37261437429873200\ 01831366151762290102354263236097*c_1001_7 - 11369821548286397046593308084297052253674279542376/3726143742987320\ 001831366151762290102354263236097, c_0101_0 - 313035939904142734894688961036447860792665741712/37261437429\ 87320001831366151762290102354263236097*c_1001_7^20 + 2053725479444997079981247108478750634133528913040/37261437429873200\ 01831366151762290102354263236097*c_1001_7^19 - 13333851722133602503665593342830184809532220336252/3726143742987320\ 001831366151762290102354263236097*c_1001_7^18 + 49497076036723442374838627673232922130587721575182/3726143742987320\ 001831366151762290102354263236097*c_1001_7^17 - 157988193239399103882408291856048478996742509260402/372614374298732\ 0001831366151762290102354263236097*c_1001_7^16 + 398971415702766196667938678843803417163914343106962/372614374298732\ 0001831366151762290102354263236097*c_1001_7^15 - 848067301638002657653852361305535156396621090667410/372614374298732\ 0001831366151762290102354263236097*c_1001_7^14 + 1541294711238722539414683764947096080728686777213073/37261437429873\ 20001831366151762290102354263236097*c_1001_7^13 - 2520894018982246806565192133957911889898264404086350/37261437429873\ 20001831366151762290102354263236097*c_1001_7^12 + 3673702036753844921955093307949733770995658742698034/37261437429873\ 20001831366151762290102354263236097*c_1001_7^11 - 4620310094007081023390211481295354317163541992466558/37261437429873\ 20001831366151762290102354263236097*c_1001_7^10 + 5043813156599218344749889338265985008975954816163333/37261437429873\ 20001831366151762290102354263236097*c_1001_7^9 - 4789446065328472351108843117503838680829067165983060/37261437429873\ 20001831366151762290102354263236097*c_1001_7^8 + 3883794475809869913993370642497598361018184529401462/37261437429873\ 20001831366151762290102354263236097*c_1001_7^7 - 2526894014889269477929622406045147605012916116651982/37261437429873\ 20001831366151762290102354263236097*c_1001_7^6 + 1224914110978311762037465179012188583716607696032900/37261437429873\ 20001831366151762290102354263236097*c_1001_7^5 - 410096482937403284151776715985273210922815845466674/372614374298732\ 0001831366151762290102354263236097*c_1001_7^4 + 74357939792525971655352982436223023890076860880728/3726143742987320\ 001831366151762290102354263236097*c_1001_7^3 - 9851343758532609695425779822561106610087789518912/37261437429873200\ 01831366151762290102354263236097*c_1001_7^2 + 2593323814495152934387123939387596546915175018045/37261437429873200\ 01831366151762290102354263236097*c_1001_7 - 1517092741280959789057516983305187005056032325692/37261437429873200\ 01831366151762290102354263236097, c_0101_1 + 1268983751394057656092388973329225684105434208224/3726143742\ 987320001831366151762290102354263236097*c_1001_7^20 - 7995320731037026125872123145864084029017687301072/37261437429873200\ 01831366151762290102354263236097*c_1001_7^19 + 52409048189841730842767861991573685102686059341896/3726143742987320\ 001831366151762290102354263236097*c_1001_7^18 - 189364812416893421758597127221566400194852850063088/372614374298732\ 0001831366151762290102354263236097*c_1001_7^17 + 606944437667701805780489409217884586235458843109690/372614374298732\ 0001831366151762290102354263236097*c_1001_7^16 - 1509603151928818438482972800369127167416646178181250/37261437429873\ 20001831366151762290102354263236097*c_1001_7^15 + 3204483791815980430721552564163489175229893980582203/37261437429873\ 20001831366151762290102354263236097*c_1001_7^14 - 5778274543488347845175825851952509266976660952678036/37261437429873\ 20001831366151762290102354263236097*c_1001_7^13 + 9454625078918878787351357632691178322694024679679073/37261437429873\ 20001831366151762290102354263236097*c_1001_7^12 - 13682517914862152712819909903712874795935889068885762/3726143742987\ 320001831366151762290102354263236097*c_1001_7^11 + 17155760975146310897065412410356171568776331383997368/3726143742987\ 320001831366151762290102354263236097*c_1001_7^10 - 18678011741713153329314211190914013693351975534176380/3726143742987\ 320001831366151762290102354263236097*c_1001_7^9 + 17682883492084615640569788410318390827406229807224071/3726143742987\ 320001831366151762290102354263236097*c_1001_7^8 - 14323207507954086719518481242117711313094342858199158/3726143742987\ 320001831366151762290102354263236097*c_1001_7^7 + 9268445977514797395883750831363821641056636471823146/37261437429873\ 20001831366151762290102354263236097*c_1001_7^6 - 4539859369622107571130705502064227025540516259443272/37261437429873\ 20001831366151762290102354263236097*c_1001_7^5 + 1513845066924056270471459025714868954543491338086830/37261437429873\ 20001831366151762290102354263236097*c_1001_7^4 - 302300693888834494651613572944207533692880078165964/372614374298732\ 0001831366151762290102354263236097*c_1001_7^3 + 28772318465685805663837270951732413862535745274072/3726143742987320\ 001831366151762290102354263236097*c_1001_7^2 - 7478490387303632893178027385718651756846419974944/37261437429873200\ 01831366151762290102354263236097*c_1001_7 + 9654474181835256061879056997075486263006683684681/37261437429873200\ 01831366151762290102354263236097, c_0101_10 - 83338190076019818086998575654820544507959075136/37261437429\ 87320001831366151762290102354263236097*c_1001_7^20 + 588994277071227160882694351539337760271682955304/372614374298732000\ 1831366151762290102354263236097*c_1001_7^19 - 3777802476722948076314970474895219552860449805360/37261437429873200\ 01831366151762290102354263236097*c_1001_7^18 + 14688870514134948375819170772364394757474134409230/3726143742987320\ 001831366151762290102354263236097*c_1001_7^17 - 46868666307837238116327324533102071990116054198317/3726143742987320\ 001831366151762290102354263236097*c_1001_7^16 + 121195677309653076418246405353497032220781004392308/372614374298732\ 0001831366151762290102354263236097*c_1001_7^15 - 260008077324695106592467958140541076238660710371371/372614374298732\ 0001831366151762290102354263236097*c_1001_7^14 + 478378930339459304738701414733080980213717951471616/372614374298732\ 0001831366151762290102354263236097*c_1001_7^13 - 786085417067327413332659370962597977130281579217421/372614374298732\ 0001831366151762290102354263236097*c_1001_7^12 + 1158907568046096807158702588630489406884117700535812/37261437429873\ 20001831366151762290102354263236097*c_1001_7^11 - 1475868196779029373681897838092156716638398540593956/37261437429873\ 20001831366151762290102354263236097*c_1001_7^10 + 1620859952772880693095083318079146698825269842520044/37261437429873\ 20001831366151762290102354263236097*c_1001_7^9 - 1558054882350485416619750528851371730467794693941731/37261437429873\ 20001831366151762290102354263236097*c_1001_7^8 + 1280198195782618759127796908851080826306499574386780/37261437429873\ 20001831366151762290102354263236097*c_1001_7^7 - 847222941949329181686986704730470295522821552865844/372614374298732\ 0001831366151762290102354263236097*c_1001_7^6 + 411466789017958980569539149713458010492029105427214/372614374298732\ 0001831366151762290102354263236097*c_1001_7^5 - 139616159288152719342265663901183473363988936724480/372614374298732\ 0001831366151762290102354263236097*c_1001_7^4 + 26272999156266814703734111471845374359658579852676/3726143742987320\ 001831366151762290102354263236097*c_1001_7^3 + 8739794493687652471737192204934952354833744518842/37261437429873200\ 01831366151762290102354263236097*c_1001_7^2 - 5310491247288909109738675417651892900251558957142/37261437429873200\ 01831366151762290102354263236097*c_1001_7 + 2829056238954592440647369506854179535000558073167/37261437429873200\ 01831366151762290102354263236097, c_0101_11 + 932471012057572666568773880538136754801158640384/3726143742\ 987320001831366151762290102354263236097*c_1001_7^20 - 5825862530355895551952812520201218757188727665552/37261437429873200\ 01831366151762290102354263236097*c_1001_7^19 + 38249699175593991437694764408231839273204076038880/3726143742987320\ 001831366151762290102354263236097*c_1001_7^18 - 137428161947952150911537715081248020077604432034700/372614374298732\ 0001831366151762290102354263236097*c_1001_7^17 + 440641515113186939852322654134734494640625783274570/372614374298732\ 0001831366151762290102354263236097*c_1001_7^16 - 1092939195512140654600105751372397095239431693508480/37261437429873\ 20001831366151762290102354263236097*c_1001_7^15 + 2318290731348265547526949513980206100605244719164808/37261437429873\ 20001831366151762290102354263236097*c_1001_7^14 - 4175863252056296802516345485123204279668855698986882/37261437429873\ 20001831366151762290102354263236097*c_1001_7^13 + 6832888542413527872996198900290913187893413420365424/37261437429873\ 20001831366151762290102354263236097*c_1001_7^12 - 9877540474885321407403364188133727603422370627005366/37261437429873\ 20001831366151762290102354263236097*c_1001_7^11 + 12373008232878510508819533613966840859870328694269132/3726143742987\ 320001831366151762290102354263236097*c_1001_7^10 - 13474802007682635489772656415494128945007464269715103/3726143742987\ 320001831366151762290102354263236097*c_1001_7^9 + 12751194904076286708115916361522770012085529710336886/3726143742987\ 320001831366151762290102354263236097*c_1001_7^8 - 10315551504218437060376853568065077891749733540958006/3726143742987\ 320001831366151762290102354263236097*c_1001_7^7 + 6662936805830444475185004253405861758535836717254544/37261437429873\ 20001831366151762290102354263236097*c_1001_7^6 - 3263343817580424033173284704353358139518984736115269/37261437429873\ 20001831366151762290102354263236097*c_1001_7^5 + 1070588544534246785285002442115356008562102213580940/37261437429873\ 20001831366151762290102354263236097*c_1001_7^4 - 192534107242954445977009929572215649276017616889376/372614374298732\ 0001831366151762290102354263236097*c_1001_7^3 + 12645318727750133687464847196659024056390601927248/3726143742987320\ 001831366151762290102354263236097*c_1001_7^2 - 6992392227653612701676055279501397997120333319035/37261437429873200\ 01831366151762290102354263236097*c_1001_7 + 11369821548286397046593308084297052253674279542376/3726143742987320\ 001831366151762290102354263236097, c_0101_2 - 1367284553977794674945273750632856038060864468864/3726143742\ 987320001831366151762290102354263236097*c_1001_7^20 + 8844308668450920815851092820669796329885567951680/37261437429873200\ 01831366151762290102354263236097*c_1001_7^19 - 57724607297095412264780245201910375822377077922064/3726143742987320\ 001831366151762290102354263236097*c_1001_7^18 + 212391693973038840423851184016294994389074471613312/372614374298732\ 0001831366151762290102354263236097*c_1001_7^17 - 680843154597651504855782261255934096280289032115020/372614374298732\ 0001831366151762290102354263236097*c_1001_7^16 + 1711133058321115440695874163706028269722923112656230/37261437429873\ 20001831366151762290102354263236097*c_1001_7^15 - 3646539460497926618026806422056661368591607480144452/37261437429873\ 20001831366151762290102354263236097*c_1001_7^14 + 6616434877781748609688361666758836194643301246024354/37261437429873\ 20001831366151762290102354263236097*c_1001_7^13 - 10845206563364396304545624214186929733301221026717598/3726143742987\ 320001831366151762290102354263236097*c_1001_7^12 + 15782334978529945779269453003232341730497582764416975/3726143742987\ 320001831366151762290102354263236097*c_1001_7^11 - 19894336681847835392802910128010920463979195071405738/3726143742987\ 320001831366151762290102354263236097*c_1001_7^10 + 21746081925744087327272673775026612552173433869222258/3726143742987\ 320001831366151762290102354263236097*c_1001_7^9 - 20680203446889070709042321608705258252685325949982478/3726143742987\ 320001831366151762290102354263236097*c_1001_7^8 + 16843410691438047127508847466983775556209757287694132/3726143742987\ 320001831366151762290102354263236097*c_1001_7^7 - 11005893592829839924844704308555797452145355229573810/3726143742987\ 320001831366151762290102354263236097*c_1001_7^6 + 5421059474988397944002599223166232604912759658242820/37261437429873\ 20001831366151762290102354263236097*c_1001_7^5 - 1845659304812868117314693817441647488431004053052478/37261437429873\ 20001831366151762290102354263236097*c_1001_7^4 + 400469455693757528313514892976150601398375524331889/372614374298732\ 0001831366151762290102354263236097*c_1001_7^3 - 66130932138539513082609386133467560405957157313102/3726143742987320\ 001831366151762290102354263236097*c_1001_7^2 + 24935212656465898600786219376231541999160578942622/3726143742987320\ 001831366151762290102354263236097*c_1001_7 - 14217568978638251483225258941195747696252149144068/3726143742987320\ 001831366151762290102354263236097, c_1001_0 - 679826641884417811608141158345414138980082156800/37261437429\ 87320001831366151762290102354263236097*c_1001_7^20 + 4154202212129259629672520880908600931842453119680/37261437429873200\ 01831366151762290102354263236097*c_1001_7^19 - 27252069590769464085257356490376448740957861424288/3726143742987320\ 001831366151762290102354263236097*c_1001_7^18 + 96143239925855470264910610201050988887295741738256/3726143742987320\ 001831366151762290102354263236097*c_1001_7^17 - 305973919676604375038523842898905376551965035275504/372614374298732\ 0001831366151762290102354263236097*c_1001_7^16 + 748931989676093449245152611442779373154193664793140/372614374298732\ 0001831366151762290102354263236097*c_1001_7^15 - 1569595091933730315558270926391490342876740600752792/37261437429873\ 20001831366151762290102354263236097*c_1001_7^14 + 2793003299318636949771103278687358837712857204945310/37261437429873\ 20001831366151762290102354263236097*c_1001_7^13 - 4533848376486520650536114898524305443760576136870864/37261437429873\ 20001831366151762290102354263236097*c_1001_7^12 + 6486553104490608044979456991167996154501471526989002/37261437429873\ 20001831366151762290102354263236097*c_1001_7^11 - 8000342205829959539474997389586996197094541731358295/37261437429873\ 20001831366151762290102354263236097*c_1001_7^10 + 8585889561891285179253483280821056879278367013628500/37261437429873\ 20001831366151762290102354263236097*c_1001_7^9 - 8024518160299904925747512835704527436463708548356839/37261437429873\ 20001831366151762290102354263236097*c_1001_7^8 + 6390455348456599002681097078783675962648415335864014/37261437429873\ 20001831366151762290102354263236097*c_1001_7^7 - 4021422943113664737830784268905438516417215385250814/37261437429873\ 20001831366151762290102354263236097*c_1001_7^6 + 1927634637761785780469402303865192106427455454128972/37261437429873\ 20001831366151762290102354263236097*c_1001_7^5 - 653926891992429394572713047958837332625066433491991/372614374298732\ 0001831366151762290102354263236097*c_1001_7^4 + 142195754230224337343414651190451209104451657212206/372614374298732\ 0001831366151762290102354263236097*c_1001_7^3 - 16982908427022069771098683825392644575723215407103/3726143742987320\ 001831366151762290102354263236097*c_1001_7^2 + 807148341057570188916273834775212190739385181902/372614374298732000\ 1831366151762290102354263236097*c_1001_7 - 2670077113597311959043932765999282088604867117299/37261437429873200\ 01831366151762290102354263236097, c_1001_7^21 - 7*c_1001_7^20 + 183/4*c_1001_7^19 - 1427/8*c_1001_7^18 + 4675/8*c_1001_7^17 - 12241/8*c_1001_7^16 + 3376*c_1001_7^15 - 25459/4*c_1001_7^14 + 85821/8*c_1001_7^13 - 129225/8*c_1001_7^12 + 85255/4*c_1001_7^11 - 196217/8*c_1001_7^10 + 197167/8*c_1001_7^9 - 171633/8*c_1001_7^8 + 62269/4*c_1001_7^7 - 35829/4*c_1001_7^6 + 7679/2*c_1001_7^5 - 1125*c_1001_7^4 + 821/4*c_1001_7^3 - 259/8*c_1001_7^2 + 147/8*c_1001_7 - 53/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.070 Total time: 1.280 seconds, Total memory usage: 32.09MB