Magma V2.19-8 Wed Aug 21 2013 00:58:03 on localhost [Seed = 492505008] Type ? for help. Type -D to quit. Loading file "L13n4664__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4664 geometric_solution 11.95496427 oriented_manifold CS_known -0.0000000000000006 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 3012 0132 1 1 1 0 0 1 0 -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 -3 -1 4 0 0 0 0 1 0 0 -1 -3 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.226127099268 1.416897872042 0 0 5 4 0132 1230 0132 0132 1 1 0 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 -2 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.296903580029 0.543606127501 4 0 6 4 0132 0132 0132 2031 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 0 0 0 0 0 0 0 3 -3 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.539587147929 0.793576404025 7 8 0 6 0132 0132 0132 2310 1 1 1 1 0 -1 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 -4 0 1 0 0 -1 -4 4 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.225596536625 1.155343268805 2 2 1 9 0132 1302 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 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.414076752152 0.861723385827 8 6 10 1 3120 3120 0132 0132 1 1 1 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.228172817751 0.976474185723 3 5 11 2 3201 3120 0132 0132 1 1 1 1 0 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 -3 3 0 0 0 0 0 0 0 0 1 3 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.196481915637 0.474524618843 3 11 9 12 0132 1230 0213 0132 1 1 1 1 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 0 -3 3 -1 0 0 1 1 -1 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.802122092458 0.745583365699 12 3 9 5 0132 0132 3201 3120 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 -4 4 0 0 0 0 0 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.895535920278 0.744580492851 8 7 4 10 2310 0213 0132 0132 1 1 1 1 0 -1 0 1 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 3 0 -3 0 0 0 0 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.278099229300 0.694757360920 11 12 9 5 0213 2103 0132 0132 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 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.028465758594 2.250108311359 10 12 7 6 0213 0321 3012 0132 1 1 1 1 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 0 0 0 -3 0 3 0 0 0 0 0 -4 0 4 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.409343364298 1.743546555869 8 10 7 11 0132 2103 0132 0321 1 1 1 1 0 0 1 -1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 3 0 0 -1 1 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.718193316290 0.429610967997 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : d['c_0011_12'], 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : negation(d['c_1001_5']), 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0011_5']), 'c_1001_9' : d['c_1001_7'], 'c_1001_8' : negation(d['c_0101_2']), 'c_1010_12' : negation(d['c_1001_5']), 'c_1010_11' : negation(d['c_1001_5']), 'c_1010_10' : d['c_1001_5'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : negation(d['1']), 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : d['c_0011_11'], '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_12' : negation(d['1']), 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : 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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : d['c_0011_12'], 'c_1100_6' : negation(d['c_1001_7']), 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0011_6'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : negation(d['c_1001_7']), 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_1'], 'c_1100_11' : negation(d['c_1001_7']), 'c_1100_10' : d['c_1100_1'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : d['c_1001_7'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : negation(d['c_0011_5']), 'c_1010_9' : d['c_0011_12'], 'c_1010_8' : negation(d['c_0011_5']), 'c_1100_8' : negation(d['c_0011_9']), '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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_12'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_12']), '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_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_9']), 'c_0110_10' : d['c_0011_9'], 'c_0110_12' : negation(d['c_0011_11']), 'c_0101_12' : d['c_0101_1'], 'c_0101_7' : d['c_0011_9'], 'c_0101_6' : negation(d['c_0011_9']), 'c_0101_5' : d['c_0011_9'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], '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_2'], 'c_0101_8' : negation(d['c_0011_11']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_11'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_9'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_5, c_0011_6, c_0011_9, c_0101_0, c_0101_1, c_0101_2, c_1001_5, c_1001_7, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 77748228249340661854056796291529986392892463973662305/4081909375825\ 1207352932923144070942347366862016301056*c_1100_1^16 + 1176806483764636944070118463276972030691977700195751933/20409546879\ 125603676466461572035471173683431008150528*c_1100_1^15 + 88065764257084371086900061958926579721487144904449059/2387081506330\ 47996215982006690473347060624924071936*c_1100_1^14 + 48697419579499262442651426393679442009961931065878501771/4081909375\ 8251207352932923144070942347366862016301056*c_1100_1^13 + 21751790943211778272803947165578009822870759028514379517/1020477343\ 9562801838233230786017735586841715504075264*c_1100_1^12 + 198502678700102732190199103683154407206787855503368582401/204095468\ 79125603676466461572035471173683431008150528*c_1100_1^11 - 18585924162740128986476245293625582200871541820864091/1395047633569\ 7610168466480910482208594452105952256*c_1100_1^10 + 20643665062292087452859145540933897567270090720366183607/1133863715\ 506977982025914531779748398537968389341696*c_1100_1^9 - 14294492381761315738669225221007871341755829160370604193/2148373355\ 697431965943838060214260123545624316647424*c_1100_1^8 - 407189119579123385113511842882918829225596205032089050773/136063645\ 86083735784310974381356980782455620672100352*c_1100_1^7 + 61316831807319504416106161495012603169020542511896532483/2551193359\ 890700459558307696504433896710428876018816*c_1100_1^6 - 69662224601672770387614365478511615476236426432395571809/9718831847\ 20266841736498170096927198746830048007168*c_1100_1^5 - 173508207872971811633731226909336565815920266044517634441/136063645\ 86083735784310974381356980782455620672100352*c_1100_1^4 + 1365746475802851197928383864027405712502143887274050808325/13606364\ 586083735784310974381356980782455620672100352*c_1100_1^3 + 272670888095922200222051084048486016726339319962859523885/408190937\ 58251207352932923144070942347366862016301056*c_1100_1^2 - 110402401100042209220646114130601316245657620929055108265/408190937\ 58251207352932923144070942347366862016301056*c_1100_1 + 387934547490040468332511163475333082456963403849421397847/408190937\ 58251207352932923144070942347366862016301056, c_0011_0 - 1, c_0011_10 - 121875245328661319398139927752386553/1068235645307471174708\ 07562386738582856*c_1100_1^16 + 24363585328436223433347584688917026\ 3383/6836708129967815518131683992751269302784*c_1100_1^15 + 1278624039443237853381038142650932269385/68367081299678155181316839\ 92751269302784*c_1100_1^14 + 17898914303425940543381572403282051729\ 41/3418354064983907759065841996375634651392*c_1100_1^13 + 4804605961931266678847358003760993836749/68367081299678155181316839\ 92751269302784*c_1100_1^12 + 33662268526221269699154266454662944418\ 329/6836708129967815518131683992751269302784*c_1100_1^11 - 5801846084917223566423579560281666488395/97667258999540221687595485\ 6107324186112*c_1100_1^10 + 101219241511528483371098761726152224739\ 857/6836708129967815518131683992751269302784*c_1100_1^9 - 122803811300703368567683972886271293745899/683670812996781551813168\ 3992751269302784*c_1100_1^8 - 1327063978266571534454941458633070810\ 8143/3418354064983907759065841996375634651392*c_1100_1^7 + 133382393924811606477193437785682478630891/683670812996781551813168\ 3992751269302784*c_1100_1^6 - 5403385487683406156910108671653168944\ 6411/976672589995402216875954856107324186112*c_1100_1^5 + 280016425033446384219115310360761277410241/683670812996781551813168\ 3992751269302784*c_1100_1^4 + 1206888307301766006408763189051692878\ 42747/3418354064983907759065841996375634651392*c_1100_1^3 - 193868895152265468150474489986422596469651/683670812996781551813168\ 3992751269302784*c_1100_1^2 + 2060466398820182646988952906722443355\ 7469/3418354064983907759065841996375634651392*c_1100_1 - 11572572246108942363399671697974332387287/6836708129967815518131683\ 992751269302784, c_0011_11 - 2584421982899865276519888921129173221/888772056895816017357\ 11891905766500936192*c_1100_1^16 + 94385895794673912737349554984960092873/8887720568958160173571189190\ 5766500936192*c_1100_1^15 + 4372096729894948607180946390358012983/4\ 4438602844790800867855945952883250468096*c_1100_1^14 - 1418883757273988965122704562704573289615/88877205689581601735711891\ 905766500936192*c_1100_1^13 - 6685042524762149036660736535868588096\ 927/88877205689581601735711891905766500936192*c_1100_1^12 - 3173513770359540225765632579684626326109/88877205689581601735711891\ 905766500936192*c_1100_1^11 - 1159688561527807759515353980882543873\ 4665/12696743669940228819387413129395214419456*c_1100_1^10 + 51488529229627850984846380895349333319997/8887720568958160173571189\ 1905766500936192*c_1100_1^9 - 8388794641988409760923012666897113413\ 5133/44438602844790800867855945952883250468096*c_1100_1^8 + 55275059366631401648432307932616946157943/8887720568958160173571189\ 1905766500936192*c_1100_1^7 + 2717883651961687744265241517768190887\ 24923/88877205689581601735711891905766500936192*c_1100_1^6 - 48589259297232553954341849198986042517529/1269674366994022881938741\ 3129395214419456*c_1100_1^5 + 3278097913818586942380233005922255211\ 41485/44438602844790800867855945952883250468096*c_1100_1^4 + 64528252363193729553966822037683652357569/8887720568958160173571189\ 1905766500936192*c_1100_1^3 - 3920317870585209723218221355465879680\ 03393/44438602844790800867855945952883250468096*c_1100_1^2 + 25158755430278786235531210655856543116157/8887720568958160173571189\ 1905766500936192*c_1100_1 - 753587299917579664014547043639961381684\ 1/22219301422395400433927972976441625234048, c_0011_12 - 3004369365899375518494049496654778665/111096507111977002169\ 63986488220812617024*c_1100_1^16 + 384091109227118429593954053833721971411/444386028447908008678559459\ 52883250468096*c_1100_1^15 + 17021283839318270491269145899224195132\ 99/44438602844790800867855945952883250468096*c_1100_1^14 + 1972254854922815743177372890839841036427/22219301422395400433927972\ 976441625234048*c_1100_1^13 + 2597531675464083592691061138916167040\ 405/44438602844790800867855945952883250468096*c_1100_1^12 + 44090721823342489292690526417102786845663/4443860284479080086785594\ 5952883250468096*c_1100_1^11 - 148470538729030774050168511732837381\ 91631/6348371834970114409693706564697607209728*c_1100_1^10 + 180202789765368706163088515375468897957975/444386028447908008678559\ 45952883250468096*c_1100_1^9 - 286420049832389960902374063410537645\ 086819/44438602844790800867855945952883250468096*c_1100_1^8 + 10757777932723634256776741758147479086227/1110965071119770021696398\ 6488220812617024*c_1100_1^7 + 2902425708415379942777577436595909205\ 92505/44438602844790800867855945952883250468096*c_1100_1^6 - 99662294612366724102345611484580638378107/6348371834970114409693706\ 564697607209728*c_1100_1^5 + 81152028506176071664224106674363255765\ 7871/44438602844790800867855945952883250468096*c_1100_1^4 + 122373588255160136044769583409112873805903/222193014223954004339279\ 72976441625234048*c_1100_1^3 - 635674651167360700466441971498727958\ 943387/44438602844790800867855945952883250468096*c_1100_1^2 + 23825167593488729274377079551960877499853/1110965071119770021696398\ 6488220812617024*c_1100_1 - 522135328786654909639573423932021772838\ 45/44438602844790800867855945952883250468096, c_0011_5 - 11260060480837831329724234028373529443/177754411379163203471\ 423783811533001872384*c_1100_1^16 + 5533635994232468066122743396666664559/27774126777994250542409966220\ 55203154256*c_1100_1^15 + 1787253873019011269466798169563051243513/\ 177754411379163203471423783811533001872384*c_1100_1^14 + 4223293064998410603497794973657602445293/17775441137916320347142378\ 3811533001872384*c_1100_1^13 + 133096451890993411048532955606589964\ 7177/88877205689581601735711891905766500936192*c_1100_1^12 + 9323556888833076804007828221385934979679/44438602844790800867855945\ 952883250468096*c_1100_1^11 - 3053644243970122370864294474798523722\ 611/6348371834970114409693706564697607209728*c_1100_1^10 + 36279309565468970358970933658240153644669/8887720568958160173571189\ 1905766500936192*c_1100_1^9 - 1609530035897163422375219740476797798\ 09539/177754411379163203471423783811533001872384*c_1100_1^8 - 233908618422435826961404107121226237457001/177754411379163203471423\ 783811533001872384*c_1100_1^7 + 20121922057456151572736501145631361\ 5964497/88877205689581601735711891905766500936192*c_1100_1^6 - 20232092873729062799141121755687969453851/6348371834970114409693706\ 564697607209728*c_1100_1^5 + 37724438301599422337303635444435301839\ 9109/177754411379163203471423783811533001872384*c_1100_1^4 + 871225645123932210092590855507690527858257/177754411379163203471423\ 783811533001872384*c_1100_1^3 - 59352043210842586157232813110324559\ 3109363/177754411379163203471423783811533001872384*c_1100_1^2 - 446168885735972406050723605296208758861399/177754411379163203471423\ 783811533001872384*c_1100_1 + 1785460651316230970319326761218101332\ 4667/177754411379163203471423783811533001872384, c_0011_6 - 257105633003288786112616506624868625/88877205689581601735711\ 891905766500936192*c_1100_1^16 + 6579487790701277777895420622601111\ 461/88877205689581601735711891905766500936192*c_1100_1^15 + 41518126768548107242159855334821110465/4443860284479080086785594595\ 2883250468096*c_1100_1^14 + 491344529468165802152729981075504953205\ /88877205689581601735711891905766500936192*c_1100_1^13 + 1654340143630792023809593238244693709117/88877205689581601735711891\ 905766500936192*c_1100_1^12 + 4598861637712852155496569118290230636\ 955/88877205689581601735711891905766500936192*c_1100_1^11 + 1329727257753119388927038769871181922539/12696743669940228819387413\ 129395214419456*c_1100_1^10 + 1731877584340564234910181670585419280\ 9749/88877205689581601735711891905766500936192*c_1100_1^9 + 2933194874757765308279459319575535930091/44438602844790800867855945\ 952883250468096*c_1100_1^8 + 17421314870695884355059424135411578444\ 215/88877205689581601735711891905766500936192*c_1100_1^7 - 31386306055800554873180869744490538311205/8887720568958160173571189\ 1905766500936192*c_1100_1^6 - 9951343005985114321429486070995408346\ 341/12696743669940228819387413129395214419456*c_1100_1^5 + 853996897399333625431596980362464951599/444386028447908008678559459\ 52883250468096*c_1100_1^4 - 151616601992378283125590537398052265544\ 283/88877205689581601735711891905766500936192*c_1100_1^3 + 37960048089379201557825005265439965532843/4443860284479080086785594\ 5952883250468096*c_1100_1^2 + 1438793005192580313514813589218455342\ 30141/88877205689581601735711891905766500936192*c_1100_1 + 2668459083131180402101204678170845702543/27774126777994250542409966\ 22055203154256, c_0011_9 - 14165176481475673470876289489008849789/253934873398804576387\ 74826258790428838912*c_1100_1^16 + 218057858641317690674303575122783236897/126967436699402288193874131\ 29395214419456*c_1100_1^15 + 25161581269943617554716438867255218038\ 53/25393487339880457638774826258790428838912*c_1100_1^14 + 7658880941931491645333883757313569365839/25393487339880457638774826\ 258790428838912*c_1100_1^13 + 3075259331100820054440135708085554905\ 449/6348371834970114409693706564697607209728*c_1100_1^12 + 33518100210328465558717391690173917597229/1269674366994022881938741\ 3129395214419456*c_1100_1^11 - 216554370766360756947306107110692197\ 97601/12696743669940228819387413129395214419456*c_1100_1^10 + 42135359942024673142640880292290573844407/6348371834970114409693706\ 564697607209728*c_1100_1^9 - 15543256384101560989782172191406858446\ 8487/25393487339880457638774826258790428838912*c_1100_1^8 - 100558168553158430278943388305672951037139/253934873398804576387748\ 26258790428838912*c_1100_1^7 + 516770298963719513036191021115451193\ 4009/793546479371264301211713320587200901216*c_1100_1^6 - 297763715838791513224722942699133882401361/126967436699402288193874\ 13129395214419456*c_1100_1^5 + 233256664529055843786790326833167128\ 167633/25393487339880457638774826258790428838912*c_1100_1^4 + 516321718719310849345667490520322793850355/253934873398804576387748\ 26258790428838912*c_1100_1^3 - 721190854261994735703642324972828213\ 81847/25393487339880457638774826258790428838912*c_1100_1^2 + 59661397088667040825147172238343593978171/2539348733988045763877482\ 6258790428838912*c_1100_1 + 904323127586528872223444477288220926917\ 9/25393487339880457638774826258790428838912, c_0101_0 + 4786562503001472004746115350466543081/8887720568958160173571\ 1891905766500936192*c_1100_1^16 - 190363680883406321566528424507774\ 83955/11109650711197700216963986488220812617024*c_1100_1^15 - 697539182273216894826048229305604243543/888772056895816017357118919\ 05766500936192*c_1100_1^14 - 17522669641119166973688708242787479195\ 67/88877205689581601735711891905766500936192*c_1100_1^13 - 789189278092811441800321858199301577567/444386028447908008678559459\ 52883250468096*c_1100_1^12 - 22920628225412149666869778147165541264\ 69/11109650711197700216963986488220812617024*c_1100_1^11 + 1388476570958696399879722146758656082443/31741859174850572048468532\ 82348803604864*c_1100_1^10 - 37195224074323317728324306738365693673\ 773/44438602844790800867855945952883250468096*c_1100_1^9 + 132368693968284032210714595051972917666153/888772056895816017357118\ 91905766500936192*c_1100_1^8 - 471291350849446374808736676830688077\ 76809/88877205689581601735711891905766500936192*c_1100_1^7 - 13769859053147526605335095268106080352785/4443860284479080086785594\ 5952883250468096*c_1100_1^6 + 8138759762668169543859694046294086314\ 379/3174185917485057204846853282348803604864*c_1100_1^5 - 305268904381785374676485356098287965789499/888772056895816017357118\ 91905766500936192*c_1100_1^4 + 146396282163338769528225174137778205\ 71941/88877205689581601735711891905766500936192*c_1100_1^3 + 28200081080264726655231898398954663002273/8887720568958160173571189\ 1905766500936192*c_1100_1^2 - 4087062718544463166266339210595954536\ 5575/88877205689581601735711891905766500936192*c_1100_1 + 52412892035870568837197282668023478508619/8887720568958160173571189\ 1905766500936192, c_0101_1 - 1, c_0101_2 - 2187317451928565020946305994544505219/3418354064983907759065\ 841996375634651392*c_1100_1^16 + 1331180275365176179213680930092270\ 82833/6836708129967815518131683992751269302784*c_1100_1^15 + 825197112935041442744461358650267017973/683670812996781551813168399\ 2751269302784*c_1100_1^14 + 330956451019377365706698590043278172433\ /854588516245976939766460499093908662848*c_1100_1^13 + 4678377612590950909994379621459080194063/68367081299678155181316839\ 92751269302784*c_1100_1^12 + 22182831800307940543730395731891849711\ 187/6836708129967815518131683992751269302784*c_1100_1^11 - 812527400891236593834806543935529647845/976672589995402216875954856\ 107324186112*c_1100_1^10 + 4819948414421646752678672703507051751659\ 1/6836708129967815518131683992751269302784*c_1100_1^9 - 28249050330463190538114539706513486503211/6836708129967815518131683\ 992751269302784*c_1100_1^8 - 73053285128740696384495257777725338255\ 7/106823564530747117470807562386738582856*c_1100_1^7 + 43569254713297831654569276243319863771605/6836708129967815518131683\ 992751269302784*c_1100_1^6 - 24071332358086978879873562645145148726\ 661/976672589995402216875954856107324186112*c_1100_1^5 + 10443170183304214068705018164762765916629/6836708129967815518131683\ 992751269302784*c_1100_1^4 + 44325853425842568687478535153633708755\ 381/1709177032491953879532920998187817325696*c_1100_1^3 + 27366953081997424663544702471076712262101/6836708129967815518131683\ 992751269302784*c_1100_1^2 + 33237950642516065307949960392130336201\ 81/1709177032491953879532920998187817325696*c_1100_1 + 1528738976422932806013564406303516165777/68367081299678155181316839\ 92751269302784, c_1001_5 - 5752371323334719101136933461201400735/6836708129967815518131\ 683992751269302784*c_1100_1^16 + 4432111497014996681557554513282325\ 7467/1709177032491953879532920998187817325696*c_1100_1^15 + 1016085503956819084498869598602812649957/68367081299678155181316839\ 92751269302784*c_1100_1^14 + 30820801174223208773234847113752725877\ 21/6836708129967815518131683992751269302784*c_1100_1^13 + 2459609872266940333703625704112660534379/34183540649839077590658419\ 96375634651392*c_1100_1^12 + 67807992493182897640267316087711025014\ 05/1709177032491953879532920998187817325696*c_1100_1^11 - 328201978296535326522300885848737973377/122084073749425277109494357\ 013415523264*c_1100_1^10 + 3476753964959634694281771118437276124546\ 9/3418354064983907759065841996375634651392*c_1100_1^9 - 65833350338815051873591020566346866173291/6836708129967815518131683\ 992751269302784*c_1100_1^8 - 37413378244440698050840847787876553050\ 729/6836708129967815518131683992751269302784*c_1100_1^7 + 33911446697819466200825963542995049703525/3418354064983907759065841\ 996375634651392*c_1100_1^6 - 27315280341158461432649101871800759827\ 5/7630254609339079819343397313338470204*c_1100_1^5 + 104734874811351090237536176924475419133417/683670812996781551813168\ 3992751269302784*c_1100_1^4 + 1987605379692890263792107027584820258\ 71557/6836708129967815518131683992751269302784*c_1100_1^3 - 35760212348283672336895396594835530785531/6836708129967815518131683\ 992751269302784*c_1100_1^2 + 24612397501158374445121531436637823798\ 401/6836708129967815518131683992751269302784*c_1100_1 - 1220990880414006325823012733974116246129/68367081299678155181316839\ 92751269302784, c_1001_7 - 57127359383145979330716572364782004319/888772056895816017357\ 11891905766500936192*c_1100_1^16 + 868556922882715155377840314871276594145/444386028447908008678559459\ 52883250468096*c_1100_1^15 + 10810598721692634970162317373123113454\ 579/88877205689581601735711891905766500936192*c_1100_1^14 + 34910815435483411835649383345576434886237/8887720568958160173571189\ 1905766500936192*c_1100_1^13 + 122018064662721003620579156869556125\ 453/173588292362464065890062288878450197141*c_1100_1^12 + 146487837520858039611995856816442138441193/444386028447908008678559\ 45952883250468096*c_1100_1^11 - 46165644769164781654627231506453517\ 49723/6348371834970114409693706564697607209728*c_1100_1^10 + 80489008714777465024666158520221365065679/1110965071119770021696398\ 6488220812617024*c_1100_1^9 - 3613712645465059463789300975455242526\ 81561/88877205689581601735711891905766500936192*c_1100_1^8 - 590382017400426709563941120575263235843209/888772056895816017357118\ 91905766500936192*c_1100_1^7 + 133753501304267814159054930354666922\ 679915/22219301422395400433927972976441625234048*c_1100_1^6 - 161439331830557919879892900228941170896467/634837183497011440969370\ 6564697607209728*c_1100_1^5 + 1374692061777534501440284301026408868\ 19375/88877205689581601735711891905766500936192*c_1100_1^4 + 2153327776151435288623293290590900589735529/88877205689581601735711\ 891905766500936192*c_1100_1^3 + 43169048624472492374173114265487719\ 0472999/88877205689581601735711891905766500936192*c_1100_1^2 + 316716643860341570952821152960923282479553/888772056895816017357118\ 91905766500936192*c_1100_1 + 16387091664114297609702995077646271700\ 285/88877205689581601735711891905766500936192, c_1100_1^17 - 31*c_1100_1^16 - 171*c_1100_1^15 - 506*c_1100_1^14 - 773*c_1100_1^13 - 4610*c_1100_1^12 + 3952*c_1100_1^11 - 13050*c_1100_1^10 + 13547*c_1100_1^9 + 3900*c_1100_1^8 - 13139*c_1100_1^7 + 46590*c_1100_1^6 - 27411*c_1100_1^5 - 27786*c_1100_1^4 + 13126*c_1100_1^3 - 9754*c_1100_1^2 + 1012*c_1100_1 - 513 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.820 Total time: 1.030 seconds, Total memory usage: 32.09MB