Magma V2.19-8 Tue Aug 20 2013 23:40:35 on localhost [Seed = 3381636446] Type ? for help. Type -D to quit. Loading file "K12n349__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n349 geometric_solution 11.39641916 oriented_manifold CS_known -0.0000000000000002 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.691440381925 0.715477867527 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 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 1.349858674890 0.699590762965 8 0 10 9 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 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.514206113634 0.737334144863 8 6 9 0 2031 2310 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 0 0 0 8 1 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.446588445361 0.806356778750 7 11 0 5 0132 0132 0132 3120 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 1 0 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.883888011815 0.866883924837 4 1 10 8 3120 0132 3120 1023 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 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.542337526101 0.596317168837 11 10 1 3 3120 3120 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.469927394207 0.693154166896 4 10 9 1 0132 1023 1302 0132 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 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.563106174812 0.464641139834 2 11 3 5 0132 1230 1302 1023 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 0 1 -1 0 0 0 -8 8 -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.485517757545 0.639889676409 7 11 2 3 2031 2031 0132 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 -1 0 0 1 0 -9 0 9 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.437555521802 0.856909647599 7 6 5 2 1023 3120 3120 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 0 0 0 0 0 0 0 0 -1 0 1 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.603128881055 0.471276457414 9 4 8 6 1302 0132 3012 3120 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 1 -1 0 1 0 -1 0 0 0 0 0 9 -8 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.509774153482 1.106779296729 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_0']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_1001_10']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : negation(d['c_1001_10']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0110_11']), 'c_1001_3' : d['c_0011_10'], 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : negation(d['c_0110_11']), 'c_1001_8' : d['c_0101_0'], 'c_1010_11' : negation(d['c_0011_6']), 'c_1010_10' : negation(d['c_0011_6']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_9']), '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' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_1100_8' : d['c_0101_10'], 'c_1100_5' : negation(d['c_0101_10']), 'c_1100_4' : negation(d['c_0101_5']), 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0101_5']), 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : negation(d['c_0101_5']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_0']), 'c_1100_10' : negation(d['c_0101_5']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0110_11']), 'c_1010_2' : negation(d['c_0110_11']), 'c_1010_1' : negation(d['c_1001_10']), 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : negation(d['c_0011_9']), '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' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_10'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_2'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_9']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_10'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : negation(d['c_0011_3']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_5']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : negation(d['c_0011_9']), 'c_0110_4' : negation(d['c_0011_9']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0110_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_3, c_0011_6, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_5, c_0110_11, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 6875830609917525879070427201766987799557191964529806750557214150949\ 298765/862865083947046525115850776781146221810472245252043968872066\ 8293033373*c_1001_10^21 - 51075649387189843430365745997509532033719\ 5447011830817503439236450736497653/32788873189987767954402329517683\ 5564287979453195776708171385395135268174*c_1001_10^20 - 1196427721283046542740701612785961175252222657169995814826038411446\ 064113609/327888731899877679544023295176835564287979453195776708171\ 385395135268174*c_1001_10^19 - 309357265778996303970718046367679174\ 55442249407184171933908790113435415738/2129147609739465451584566851\ 797633534337528916855692910203801267112131*c_1001_10^18 - 1859333891261483211882397077613337389829594656210423573872402052686\ 47848845/1057705586773798966271042887667211497703159526437989381198\ 0174036621554*c_1001_10^17 - 45700485752903559197455067916485028268\ 331329641511232214593990653086072777/212914760973946545158456685179\ 7633534337528916855692910203801267112131*c_1001_10^16 - 1122623417115870379204805185912349993099273428240399087903443242352\ 8578790328/16394436594993883977201164758841778214398972659788835408\ 5692697567634087*c_1001_10^15 - 79102763198526065142140360312696032\ 1768799826376983142867050174082274021843/11306507996547506191173217\ 075063295320275153558475058902461565349492006*c_1001_10^14 - 1972434210872950048886288338253289173970695503034482654981308336966\ 846709151/234206237071341199674302353697739688777128180854126220122\ 41813938233441*c_1001_10^13 - 2560611334125203206008544099863517642\ 9391580677907398037048608706535314807493/16394436594993883977201164\ 7588417782143989726597888354085692697567634087*c_1001_10^12 - 1811935046570334862234602056872435671345435755065804569460408395678\ 474609471/149040332681762581610919679625834347403627024179898503714\ 26608869784917*c_1001_10^11 - 4846420322617941531749787214103301525\ 3849293845547036040379639403316472068457/32788873189987767954402329\ 5176835564287979453195776708171385395135268174*c_1001_10^10 - 6773614665700557746764600483234504599541064584354627688668586283723\ 9442153023/32788873189987767954402329517683556428797945319577670817\ 1385395135268174*c_1001_10^9 - 334703800639631814989588209484783105\ 83719769605837638885977730513556575913997/3278887318998776795440232\ 95176835564287979453195776708171385395135268174*c_1001_10^8 - 7201688446912901946152176669676128024830161057426259259578794947742\ 778130367/327888731899877679544023295176835564287979453195776708171\ 385395135268174*c_1001_10^7 - 1295260912582387548700028641741954790\ 471624454537747706770307182841718156637/163944365949938839772011647\ 588417782143989726597888354085692697567634087*c_1001_10^6 - 1582857516571654153910767805034634797940143605825707971390655594431\ 540643233/163944365949938839772011647588417782143989726597888354085\ 692697567634087*c_1001_10^5 - 6841241425755931356108326202895357583\ 4227454621449534024766156880222326244/14904033268176258161091967962\ 583434740362702417989850371426608869784917*c_1001_10^4 + 1731461986097271788075810317809580036494124686354110732965869673176\ 503464495/327888731899877679544023295176835564287979453195776708171\ 385395135268174*c_1001_10^3 + 4729552746377307061930957659983807534\ 9410115769494519611729705853921811777/14904033268176258161091967962\ 583434740362702417989850371426608869784917*c_1001_10^2 + 7971813019699279075798780824695664635064691593853971959296668415305\ 4962809/32788873189987767954402329517683556428797945319577670817138\ 5395135268174*c_1001_10 + 33938997938811735210764499650812035375127\ 144776296657903655671798074163947/327888731899877679544023295176835\ 564287979453195776708171385395135268174, c_0011_0 - 1, c_0011_10 - 30291348633138838445075238591299714450243907628507670118626\ 99691/3187980976663568921997455559343518395108141899572074908621492\ 61*c_1001_10^21 - 6425983530596049916333051207072297108357765156356\ 440183666345263/318798097666356892199745555934351839510814189957207\ 490862149261*c_1001_10^20 - 143726411827047319536274517416962918009\ 34081413170086020669060240/3187980976663568921997455559343518395108\ 14189957207490862149261*c_1001_10^19 - 56793429375534771458611478501634419384472492153400557301515041587/3\ 18798097666356892199745555934351839510814189957207490862149261*c_10\ 01_10^18 - 23892426719892759488853531706021399824092212407129849219\ 71845200/1028380960214054490966921148175328514551013515990991906006\ 9331*c_1001_10^17 - 84622623063222059806299814828195051278573816906\ 391709700963760488/318798097666356892199745555934351839510814189957\ 207490862149261*c_1001_10^16 - 266328234839098815249724619045569416\ 687646607872372414341057580976/318798097666356892199745555934351839\ 510814189957207490862149261*c_1001_10^15 - 298593637903732335302833696225909251678663460598427550020280458168/\ 318798097666356892199745555934351839510814189957207490862149261*c_1\ 001_10^14 - 3264940575191115814655008833987649225783010628117073354\ 32002873891/3187980976663568921997455559343518395108141899572074908\ 62149261*c_1001_10^13 - 6189669933136123601923012644469035675186857\ 79119408324185301561684/3187980976663568921997455559343518395108141\ 89957207490862149261*c_1001_10^12 - 517745248202912618642168053860365760584403978723458471883476635829/\ 318798097666356892199745555934351839510814189957207490862149261*c_1\ 001_10^11 - 5589685279092843569568713646638458597494290449363014146\ 05052304918/3187980976663568921997455559343518395108141899572074908\ 62149261*c_1001_10^10 - 8332760634301597333536779646111268019097063\ 30189987267698215935866/3187980976663568921997455559343518395108141\ 89957207490862149261*c_1001_10^9 - 440067626509012460693483470717990090379230746368628387354752720882/\ 318798097666356892199745555934351839510814189957207490862149261*c_1\ 001_10^8 - 50241567549642127883582972651626750451345839839467467496\ 532066361/318798097666356892199745555934351839510814189957207490862\ 149261*c_1001_10^7 - 1374294269113569349778121619708450660621558775\ 8782594421543053286/31879809766635689219974555593435183951081418995\ 7207490862149261*c_1001_10^6 - 313270475507737520293987738977660478\ 25850280068956105571595624386/3187980976663568921997455559343518395\ 10814189957207490862149261*c_1001_10^5 - 19497200977932970205827104914758167616834116363727496768886745253/3\ 18798097666356892199745555934351839510814189957207490862149261*c_10\ 01_10^4 + 234569946919619785649904797433151685275038422538017050097\ 21350656/3187980976663568921997455559343518395108141899572074908621\ 49261*c_1001_10^3 + 16452183994232313576638621659084353411220993116\ 840238386148173465/318798097666356892199745555934351839510814189957\ 207490862149261*c_1001_10^2 + 5466309165432828536359761937375881907\ 90352680428206599964559815/3187980976663568921997455559343518395108\ 14189957207490862149261*c_1001_10 + 171382897232874614456568001297897779787920190238964271676237710/318\ 798097666356892199745555934351839510814189957207490862149261, c_0011_3 + 266009692005781820213004282332884289819643222816782501246022\ 0697/31879809766635689219974555593435183951081418995720749086214926\ 1*c_1001_10^21 + 56071780957843734244365445029639687535421835526241\ 41846810933895/3187980976663568921997455559343518395108141899572074\ 90862149261*c_1001_10^20 + 1255461538879999706146778060232064306936\ 7277800418049322962775667/31879809766635689219974555593435183951081\ 4189957207490862149261*c_1001_10^19 + 49792768837121009117453626194770600985408060672423772117810828820/3\ 18798097666356892199745555934351839510814189957207490862149261*c_10\ 01_10^18 + 20817642631868931204825091080402562025629597160898270003\ 75432940/1028380960214054490966921148175328514551013515990991906006\ 9331*c_1001_10^17 + 73902739633097935734724316411840678982726086925\ 855823201476282647/318798097666356892199745555934351839510814189957\ 207490862149261*c_1001_10^16 + 234305833998743541652321157751626223\ 921196741730909396503069999829/318798097666356892199745555934351839\ 510814189957207490862149261*c_1001_10^15 + 260603460209428452009493388740988167265396260301201723664765630045/\ 318798097666356892199745555934351839510814189957207490862149261*c_1\ 001_10^14 + 2856072988225976425117638219581317504159408684869042673\ 82430989071/3187980976663568921997455559343518395108141899572074908\ 62149261*c_1001_10^13 + 5461664804568095710153255591817360062912940\ 82190642218409650832339/3187980976663568921997455559343518395108141\ 89957207490862149261*c_1001_10^12 + 453260151510733030858210602793477540877354861961680003618644417360/\ 318798097666356892199745555934351839510814189957207490862149261*c_1\ 001_10^11 + 4929880921862866713853128613999343568940028304570329369\ 39629779630/3187980976663568921997455559343518395108141899572074908\ 62149261*c_1001_10^10 + 7387109035860645481569429218670656005202874\ 80761936344991697380412/3187980976663568921997455559343518395108141\ 89957207490862149261*c_1001_10^9 + 386363160909264082989010435541277872525143224371592285532560717245/\ 318798097666356892199745555934351839510814189957207490862149261*c_1\ 001_10^8 + 52479428499197084553775059294240577785838447899342755587\ 302177205/318798097666356892199745555934351839510814189957207490862\ 149261*c_1001_10^7 + 2805565751920022200002158588159525351891031229\ 2792004460328273791/31879809766635689219974555593435183951081418995\ 7207490862149261*c_1001_10^6 + 331550364491043856260487991531193667\ 32252722439525833596438605278/3187980976663568921997455559343518395\ 10814189957207490862149261*c_1001_10^5 + 17123523662453078626366473544585770086005562246980169084810159273/3\ 18798097666356892199745555934351839510814189957207490862149261*c_10\ 01_10^4 - 208074601115618318090582283055165946613988291530287955077\ 14768083/3187980976663568921997455559343518395108141899572074908621\ 49261*c_1001_10^3 - 13552150430465400302977327422078477660567436598\ 041508920100125271/318798097666356892199745555934351839510814189957\ 207490862149261*c_1001_10^2 - 1577653374065238135129684812749472361\ 7800311248504099386667277/31879809766635689219974555593435183951081\ 4189957207490862149261*c_1001_10 - 559216137160045573341851162554674131982026907356845068774902480/318\ 798097666356892199745555934351839510814189957207490862149261, c_0011_6 + 325342132273870394661985712078958376423875880058269454782355\ 235/318798097666356892199745555934351839510814189957207490862149261\ *c_1001_10^21 + 295374893663365718108338548789006713674655143788909\ 315134162701/318798097666356892199745555934351839510814189957207490\ 862149261*c_1001_10^20 + 719117876723867221561835093713492034758870\ 420465090232261341104/318798097666356892199745555934351839510814189\ 957207490862149261*c_1001_10^19 + 427251600620069466682159110798825\ 6427631732030628577236837607279/31879809766635689219974555593435183\ 9510814189957207490862149261*c_1001_10^18 + 21019391300775809587970457532642398264223015387266179804523328/1028\ 3809602140544909669211481753285145510135159909919060069331*c_1001_1\ 0^17 - 237694335359114775787005372031674505264408969892321151138273\ 459/318798097666356892199745555934351839510814189957207490862149261\ *c_1001_10^16 + 182336444730987244260548322396981670306108207589871\ 85259552439175/3187980976663568921997455559343518395108141899572074\ 90862149261*c_1001_10^15 - 1853487694032882718937253108796747458825\ 909788736662268613953773/318798097666356892199745555934351839510814\ 189957207490862149261*c_1001_10^14 - 2218840602137017785942268138721782578500859630905130050736868707/31\ 8798097666356892199745555934351839510814189957207490862149261*c_100\ 1_10^13 + 268503449752284528238462178401621846258134576876635911839\ 20400076/3187980976663568921997455559343518395108141899572074908621\ 49261*c_1001_10^12 - 2192042691264939227740049479772280479369352617\ 9385613986975520010/31879809766635689219974555593435183951081418995\ 7207490862149261*c_1001_10^11 - 29079712373413073207994741752169158\ 69991605805590151970766925539/3187980976663568921997455559343518395\ 10814189957207490862149261*c_1001_10^10 + 22761332638378060174422799985366246977772403568508667767711606348/3\ 18798097666356892199745555934351839510814189957207490862149261*c_10\ 01_10^9 - 558317827359117388595964892164971710980278924186049086736\ 72895343/3187980976663568921997455559343518395108141899572074908621\ 49261*c_1001_10^8 - 45065483840793078987387925635750936240374060612\ 525510246164957748/318798097666356892199745555934351839510814189957\ 207490862149261*c_1001_10^7 + 2305769342801848877041578211989492314\ 149226507315195033794402947/318798097666356892199745555934351839510\ 814189957207490862149261*c_1001_10^6 + 4367846628411630417275984538672373033045054483970641585791628801/31\ 8798097666356892199745555934351839510814189957207490862149261*c_100\ 1_10^5 - 1418243416966288433338537656990356574320658050820083889132\ 938233/318798097666356892199745555934351839510814189957207490862149\ 261*c_1001_10^4 - 3894997951032778078562545558911367867140876137493\ 194360494795576/318798097666356892199745555934351839510814189957207\ 490862149261*c_1001_10^3 + 1669891809587101403475479971926038799189\ 862633970945056443764391/318798097666356892199745555934351839510814\ 189957207490862149261*c_1001_10^2 + 1882534943602112200355440043164351929571945458920705481846766982/31\ 8798097666356892199745555934351839510814189957207490862149261*c_100\ 1_10 - 135924533769434942452032130911519227439826024468753293539214\ 854/318798097666356892199745555934351839510814189957207490862149261\ , c_0011_9 - 292307739516874387538287908796713382695006290509539645407129\ 2319/31879809766635689219974555593435183951081418995720749086214926\ 1*c_1001_10^21 - 58519812257293635943783576674587862696886311202888\ 59535622651447/3187980976663568921997455559343518395108141899572074\ 90862149261*c_1001_10^20 - 1329173807836839830257201502229405041768\ 3671164646359019836248180/31879809766635689219974555593435183951081\ 4189957207490862149261*c_1001_10^19 - 53498316233276505125655175390582257151139324602350747844611709816/3\ 18798097666356892199745555934351839510814189957207490862149261*c_10\ 01_10^18 - 21195467390846168060525968715003210091594596764536182366\ 44777717/1028380960214054490966921148175328514551013515990991906006\ 9331*c_1001_10^17 - 76187887873490253890245893900509394726762328195\ 124573185522816186/318798097666356892199745555934351839510814189957\ 207490862149261*c_1001_10^16 - 251285897659809824071372825515650081\ 238795015281329394880395992258/318798097666356892199745555934351839\ 510814189957207490862149261*c_1001_10^15 - 262019006715449124728466438479428228690784997141802051870669444829/\ 318798097666356892199745555934351839510814189957207490862149261*c_1\ 001_10^14 - 2949738095453487166770835540333766850848627754509992553\ 25022433226/3187980976663568921997455559343518395108141899572074908\ 62149261*c_1001_10^13 - 5759235013859636421946307130914834385552362\ 25696528871828017554180/3187980976663568921997455559343518395108141\ 89957207490862149261*c_1001_10^12 - 445887322177648977141074777489763616049019826249276002707861806188/\ 318798097666356892199745555934351839510814189957207490862149261*c_1\ 001_10^11 - 5130013660744535992334698386033489900280135052100762232\ 35942608186/3187980976663568921997455559343518395108141899572074908\ 62149261*c_1001_10^10 - 7677511160412959868705037217255666245042878\ 71867735629513779943600/3187980976663568921997455559343518395108141\ 89957207490862149261*c_1001_10^9 - 358681132654081624520239693577690709880755438832095583521315127903/\ 318798097666356892199745555934351839510814189957207490862149261*c_1\ 001_10^8 - 42353882188298653779801143481267684534784741120315321727\ 418563112/318798097666356892199745555934351839510814189957207490862\ 149261*c_1001_10^7 - 3155363031925695222512758092332712326789001610\ 0836620416644561164/31879809766635689219974555593435183951081418995\ 7207490862149261*c_1001_10^6 - 310080316725139594462499327006455149\ 09599573147643028423821153317/3187980976663568921997455559343518395\ 10814189957207490862149261*c_1001_10^5 - 15130434972790033111480079752408582756101073243419751903213901111/3\ 18798097666356892199745555934351839510814189957207490862149261*c_10\ 01_10^4 + 228067827048044810160787591027629267646694778081383055741\ 67600324/3187980976663568921997455559343518395108141899572074908621\ 49261*c_1001_10^3 + 11768130570478044973762601937113836062285837442\ 742134732089945332/318798097666356892199745555934351839510814189957\ 207490862149261*c_1001_10^2 - 3013442462656929480325617713097031668\ 13418046551621412529014060/3187980976663568921997455559343518395108\ 14189957207490862149261*c_1001_10 + 697737604636189925655547960414823903105635465934548129532067947/318\ 798097666356892199745555934351839510814189957207490862149261, c_0101_0 + 147681389457240592116902994116695573508665488911753717173266\ 9405/31879809766635689219974555593435183951081418995720749086214926\ 1*c_1001_10^21 + 30185532064468155511167751724276445201020530075262\ 00979319010366/3187980976663568921997455559343518395108141899572074\ 90862149261*c_1001_10^20 + 6795730722740702433084485007900295365299\ 965664826217548384678873/318798097666356892199745555934351839510814\ 189957207490862149261*c_1001_10^19 + 27193197558191763104329321679738364075985016708836977536825011461/3\ 18798097666356892199745555934351839510814189957207490862149261*c_10\ 01_10^18 + 10996768036791975044049617873992154036289979746863363610\ 75641498/1028380960214054490966921148175328514551013515990991906006\ 9331*c_1001_10^17 + 38986301600570548319732816355308333018961322709\ 143958007597428825/318798097666356892199745555934351839510814189957\ 207490862149261*c_1001_10^16 + 127119806337709360999043860998231958\ 196009532116271125692934039865/318798097666356892199745555934351839\ 510814189957207490862149261*c_1001_10^15 + 136221779877672690655019369332164895814373241207899793016545176357/\ 318798097666356892199745555934351839510814189957207490862149261*c_1\ 001_10^14 + 1504508893254821722369835090655461242803075387568985912\ 56879061330/3187980976663568921997455559343518395108141899572074908\ 62149261*c_1001_10^13 + 2911527547650518045553561640654305262334074\ 39405982448186736277939/3187980976663568921997455559343518395108141\ 89957207490862149261*c_1001_10^12 + 231932958010029235705433676833478704377173795815323290523208714278/\ 318798097666356892199745555934351839510814189957207490862149261*c_1\ 001_10^11 + 2586264830867218709115288742820508278706663593775663922\ 23512580889/3187980976663568921997455559343518395108141899572074908\ 62149261*c_1001_10^10 + 3877601106331208651829209985805731670431786\ 56693652309055199953585/3187980976663568921997455559343518395108141\ 89957207490862149261*c_1001_10^9 + 188869182082518693385222241964050213898918633904307160364868377087/\ 318798097666356892199745555934351839510814189957207490862149261*c_1\ 001_10^8 + 14951273478198155979921959484941172215621914211819945228\ 952277237/318798097666356892199745555934351839510814189957207490862\ 149261*c_1001_10^7 + 6316545615658167110690917943136158308485725879\ 063137542670177047/318798097666356892199745555934351839510814189957\ 207490862149261*c_1001_10^6 + 1698250671611377191080551599741822050\ 3398623611404338353059245074/31879809766635689219974555593435183951\ 0814189957207490862149261*c_1001_10^5 + 9429654902968658737285959897155098732502750017185012786403721472/31\ 8798097666356892199745555934351839510814189957207490862149261*c_100\ 1_10^4 - 1217569601056645735899715986069856218130851577877024028216\ 2177354/31879809766635689219974555593435183951081418995720749086214\ 9261*c_1001_10^3 - 637974225912165344314230812913876143234607281357\ 4374660499021703/31879809766635689219974555593435183951081418995720\ 7490862149261*c_1001_10^2 + 417947720076711332618234292771415636891\ 668158910778418616580452/318798097666356892199745555934351839510814\ 189957207490862149261*c_1001_10 - 752204316043032118762488854380405\ 23309507294027187476929641737/3187980976663568921997455559343518395\ 10814189957207490862149261, c_0101_1 + 186450900961355231948749153486853557927710904845033393074847\ 8745/31879809766635689219974555593435183951081418995720749086214926\ 1*c_1001_10^21 + 38353802880915969344232191777923913883386417533521\ 07713272795546/3187980976663568921997455559343518395108141899572074\ 90862149261*c_1001_10^20 + 8675982112183349287560027064493156488881\ 318228035873886185900921/318798097666356892199745555934351839510814\ 189957207490862149261*c_1001_10^19 + 34552096207732047991665539107199017754753240105815037958972817685/3\ 18798097666356892199745555934351839510814189957207490862149261*c_10\ 01_10^18 + 14100716200379488796448675558318362954757816923117638479\ 76871803/1028380960214054490966921148175328514551013515990991906006\ 9331*c_1001_10^17 + 50654508134120310931631750015018263117548985022\ 534908650280552174/318798097666356892199745555934351839510814189957\ 207490862149261*c_1001_10^16 + 162360161808141694308260902939346756\ 989375440016211126662035159647/318798097666356892199745555934351839\ 510814189957207490862149261*c_1001_10^15 + 175268066849548726680122708607843572997720047305983246707508746925/\ 318798097666356892199745555934351839510814189957207490862149261*c_1\ 001_10^14 + 1960006401984173513652137692963181705770024345956817246\ 02657091705/3187980976663568921997455559343518395108141899572074908\ 62149261*c_1001_10^13 + 3749414035044210174303673520990761694961649\ 78718732186982652904127/3187980976663568921997455559343518395108141\ 89957207490862149261*c_1001_10^12 + 301919314846429648928024208809644579372257339494926222116109047868/\ 318798097666356892199745555934351839510814189957207490862149261*c_1\ 001_10^11 + 3385848415121939513569727796972818764982752488602826282\ 81850568105/3187980976663568921997455559343518395108141899572074908\ 62149261*c_1001_10^10 + 5016627206135658323738040611450226965798261\ 03076573967224230819155/3187980976663568921997455559343518395108141\ 89957207490862149261*c_1001_10^9 + 250763972732749620043269528584016487953639972360658364959968445322/\ 318798097666356892199745555934351839510814189957207490862149261*c_1\ 001_10^8 + 32502131803268510823081833612204428858972381109525628167\ 381565780/318798097666356892199745555934351839510814189957207490862\ 149261*c_1001_10^7 + 1400251805418168658246572920524794120504044786\ 0674876907202894194/31879809766635689219974555593435183951081418995\ 7207490862149261*c_1001_10^6 + 174444677086821957489699075557621977\ 43674819811689819414675143242/3187980976663568921997455559343518395\ 10814189957207490862149261*c_1001_10^5 + 8847353016433052103856303144118390468143233112500497497625623993/31\ 8798097666356892199745555934351839510814189957207490862149261*c_100\ 1_10^4 - 1550916135803354270421012837446854074328972244771935915723\ 4954581/31879809766635689219974555593435183951081418995720749086214\ 9261*c_1001_10^3 - 847728444693061399323464629933144396219417905253\ 4735679788001717/31879809766635689219974555593435183951081418995720\ 7490862149261*c_1001_10^2 - 876293765801491530614142468124930125682\ 41302643229301587050206/3187980976663568921997455559343518395108141\ 89957207490862149261*c_1001_10 - 5575865847204949851158673814122246\ 52689934653790598130721913961/3187980976663568921997455559343518395\ 10814189957207490862149261, c_0101_10 + 13030210491055394626547542424746764171613927831477941720185\ 2418/31879809766635689219974555593435183951081418995720749086214926\ 1*c_1001_10^21 - 30445672897515620142089529583888278062733247790888\ 5528243291988/31879809766635689219974555593435183951081418995720749\ 0862149261*c_1001_10^20 - 56015616742615228512564106358321072920638\ 0314502428832874066084/31879809766635689219974555593435183951081418\ 9957207490862149261*c_1001_10^19 - 234507330940129822004367216778241578456431001739609891701936622/318\ 798097666356892199745555934351839510814189957207490862149261*c_1001\ _10^18 - 2421399959855227403559772801950443013424296464655041836266\ 79050/1028380960214054490966921148175328514551013515990991906006933\ 1*c_1001_10^17 - 96906467778463439845236484382437596883136904115742\ 70506703228496/3187980976663568921997455559343518395108141899572074\ 90862149261*c_1001_10^16 - 4049590221199098976399912366730139163778\ 901881891530570426763718/318798097666356892199745555934351839510814\ 189957207490862149261*c_1001_10^15 - 37272575900522894372006540949372227241792196257017466719743267151/3\ 18798097666356892199745555934351839510814189957207490862149261*c_10\ 01_10^14 - 39157256473621051961692334373246887415890673922270406886\ 921731764/318798097666356892199745555934351839510814189957207490862\ 149261*c_1001_10^13 - 334360244628704466055867775985276094214183754\ 42290964733401632892/3187980976663568921997455559343518395108141899\ 57207490862149261*c_1001_10^12 - 9259830506255832182796085078644288\ 2511372810458080234264653081730/31879809766635689219974555593435183\ 9510814189957207490862149261*c_1001_10^11 - 66911607826975665148045941561654286180101412616379239762281843206/3\ 18798097666356892199745555934351839510814189957207490862149261*c_10\ 01_10^10 - 67983855384045770883561817241061266739488582258960833500\ 244699645/318798097666356892199745555934351839510814189957207490862\ 149261*c_1001_10^9 - 1335779894149789631097667860278493055078382175\ 50775489486972778973/3187980976663568921997455559343518395108141899\ 57207490862149261*c_1001_10^8 - 72466772919075862756416471109507107\ 728699308249896265216998530614/318798097666356892199745555934351839\ 510814189957207490862149261*c_1001_10^7 - 8172300803337247372593199975029719918916481115880223248764885829/31\ 8798097666356892199745555934351839510814189957207490862149261*c_100\ 1_10^6 - 1408794323878414567573216611607316329647823992335696065558\ 580814/318798097666356892199745555934351839510814189957207490862149\ 261*c_1001_10^5 - 4993381028086569774224927358074836615990330888937\ 440848257205712/318798097666356892199745555934351839510814189957207\ 490862149261*c_1001_10^4 - 4107633951922669209835705559174967920924\ 727127149108282686204211/318798097666356892199745555934351839510814\ 189957207490862149261*c_1001_10^3 + 3905324886648497271341718664094676038695907312146659780250832729/31\ 8798097666356892199745555934351839510814189957207490862149261*c_100\ 1_10^2 + 2261487078031173170469059025927279476471198076571361615701\ 410231/318798097666356892199745555934351839510814189957207490862149\ 261*c_1001_10 + 508163525383809239595456604056145789243594938130504\ 16233470936/3187980976663568921997455559343518395108141899572074908\ 62149261, c_0101_2 + 240088289973958421952694567066690373188191510170248214758441\ 1080/31879809766635689219974555593435183951081418995720749086214926\ 1*c_1001_10^21 + 49459011543139767344158152885043040853545461846544\ 33841251949538/3187980976663568921997455559343518395108141899572074\ 90862149261*c_1001_10^20 + 1108738407466186461199314395224590673546\ 7744742619238407031836092/31879809766635689219974555593435183951081\ 4189957207490862149261*c_1001_10^19 + 44348008263250895154681266339551033586705673592099705104658854000/3\ 18798097666356892199745555934351839510814189957207490862149261*c_10\ 01_10^18 + 18067023903107526088622745750954393842332535759882517481\ 35043357/1028380960214054490966921148175328514551013515990991906006\ 9331*c_1001_10^17 + 63683374125074380931544896481314291730367076118\ 108808012803723960/318798097666356892199745555934351839510814189957\ 207490862149261*c_1001_10^16 + 207434923193613808980882569683427814\ 041585335716157792096723050486/318798097666356892199745555934351839\ 510814189957207490862149261*c_1001_10^15 + 224201328283167675072114553210378277020714125833089440856792107571/\ 318798097666356892199745555934351839510814189957207490862149261*c_1\ 001_10^14 + 2452719647547204109107286338545234802232523584920926255\ 56068635089/3187980976663568921997455559343518395108141899572074908\ 62149261*c_1001_10^13 + 4767223449935578218283742611930266501449899\ 83081628413597286492251/3187980976663568921997455559343518395108141\ 89957207490862149261*c_1001_10^12 + 382136310196267873382495754920045109168608258639578347861987033230/\ 318798097666356892199745555934351839510814189957207490862149261*c_1\ 001_10^11 + 4206799926639273790035656922162169243506147045228581313\ 06768266432/3187980976663568921997455559343518395108141899572074908\ 62149261*c_1001_10^10 + 6372718365663702225192645090628937589398775\ 92510461501063672470898/3187980976663568921997455559343518395108141\ 89957207490862149261*c_1001_10^9 + 311296152495844195150712068414616475610589959808651985851086015832/\ 318798097666356892199745555934351839510814189957207490862149261*c_1\ 001_10^8 + 22763007613741885936939998707597351464924198468688696249\ 967106221/318798097666356892199745555934351839510814189957207490862\ 149261*c_1001_10^7 + 1308919805030423274091048969994286908454952884\ 1854456720828304744/31879809766635689219974555593435183951081418995\ 7207490862149261*c_1001_10^6 + 251656320682042221256891702189323888\ 08143775166102956437883433996/3187980976663568921997455559343518395\ 10814189957207490862149261*c_1001_10^5 + 13978695341747919115153615135278723784459836439649921324249690630/3\ 18798097666356892199745555934351839510814189957207490862149261*c_10\ 01_10^4 - 191245275804488513865644321285371476469664875176851318722\ 06536400/3187980976663568921997455559343518395108141899572074908621\ 49261*c_1001_10^3 - 11342389781452087689775463987841491008584421148\ 251999943876567050/318798097666356892199745555934351839510814189957\ 207490862149261*c_1001_10^2 + 5799663837465877135870552050756130020\ 63059716131707477486002285/3187980976663568921997455559343518395108\ 14189957207490862149261*c_1001_10 - 313916629835466299024776093259940688365110753781735876871527134/318\ 798097666356892199745555934351839510814189957207490862149261, c_0101_5 - 163303363734399498116016866914137974047545882561988689585258\ 5857/31879809766635689219974555593435183951081418995720749086214926\ 1*c_1001_10^21 - 36246543165286702762053311989714901984054988978066\ 49972736304660/3187980976663568921997455559343518395108141899572074\ 90862149261*c_1001_10^20 - 8177772724447316508382297602456834327492\ 678848484866139758152533/318798097666356892199745555934351839510814\ 189957207490862149261*c_1001_10^19 - 31590250509469952465634860435099728971128336805717471681544266917/3\ 18798097666356892199745555934351839510814189957207490862149261*c_10\ 01_10^18 - 13998989268606556754186424449505254342714406758809314682\ 68481901/1028380960214054490966921148175328514551013515990991906006\ 9331*c_1001_10^17 - 51314962390429935344874161583160416211018727231\ 427749608834035676/318798097666356892199745555934351839510814189957\ 207490862149261*c_1001_10^16 - 150631203299184925202683929913216114\ 100400184903353522242977087321/318798097666356892199745555934351839\ 510814189957207490862149261*c_1001_10^15 - 177983177678172079655038270146346113399538998216653171344315780668/\ 318798097666356892199745555934351839510814189957207490862149261*c_1\ 001_10^14 - 2002968252011965888751819241172120404415489717123314709\ 12408562233/3187980976663568921997455559343518395108141899572074908\ 62149261*c_1001_10^13 - 3616191544831147209037035748510228712318427\ 31052585261933939521473/3187980976663568921997455559343518395108141\ 89957207490862149261*c_1001_10^12 - 323146826274417183415187544295521217079489036894015542069992426442/\ 318798097666356892199745555934351839510814189957207490862149261*c_1\ 001_10^11 - 3495774818591524787468369315622040027659405433149946534\ 55864654727/3187980976663568921997455559343518395108141899572074908\ 62149261*c_1001_10^10 - 4980783774160928179623784938188742638463223\ 14342125978703518836018/3187980976663568921997455559343518395108141\ 89957207490862149261*c_1001_10^9 - 300964736340932269127723547191723114945480526545919928006646551188/\ 318798097666356892199745555934351839510814189957207490862149261*c_1\ 001_10^8 - 79569197075004469743479139888696616654618246251949333751\ 401463924/318798097666356892199745555934351839510814189957207490862\ 149261*c_1001_10^7 - 2811142793337580702384483107360265961887509527\ 3687482409311812949/31879809766635689219974555593435183951081418995\ 7207490862149261*c_1001_10^6 - 221484464529094263520970089251437120\ 07349178667269826350405521812/3187980976663568921997455559343518395\ 10814189957207490862149261*c_1001_10^5 - 13896661465006288347988916040045154917347955628858621523546916826/3\ 18798097666356892199745555934351839510814189957207490862149261*c_10\ 01_10^4 + 104126051020164029061976485306402076280631182840107857031\ 27086525/3187980976663568921997455559343518395108141899572074908621\ 49261*c_1001_10^3 + 89054850467843051387873639867835818327523590688\ 29771043512086898/3187980976663568921997455559343518395108141899572\ 07490862149261*c_1001_10^2 + 19117473560889324033725541518552551393\ 92407159824820531740299096/3187980976663568921997455559343518395108\ 14189957207490862149261*c_1001_10 + 690719469688837181867458095638013807509832903937179406319684494/318\ 798097666356892199745555934351839510814189957207490862149261, c_0110_11 - 34319055532888407875978674228718090695811647945908303256540\ 73504/3187980976663568921997455559343518395108141899572074908621492\ 61*c_1001_10^21 - 7781904804750798814597537426461576926369076897643\ 734580838458904/318798097666356892199745555934351839510814189957207\ 490862149261*c_1001_10^20 - 173040837028445781827798567019761055839\ 87796346563851511143372298/3187980976663568921997455559343518395108\ 14189957207490862149261*c_1001_10^19 - 66747779705404589140761257738281487613235670992316824198168615534/3\ 18798097666356892199745555934351839510814189957207490862149261*c_10\ 01_10^18 - 30096394352733947338744330088496982349442052814266310443\ 88582944/1028380960214054490966921148175328514551013515990991906006\ 9331*c_1001_10^17 - 10778149550363031817742005560661745665562150261\ 5321223213203255000/31879809766635689219974555593435183951081418995\ 7207490862149261*c_1001_10^16 - 31662489354501311582282073284513064\ 4625967876203922533421856061465/31879809766635689219974555593435183\ 9510814189957207490862149261*c_1001_10^15 - 383044814710406886752380393640869600608980562881378605193223045247/\ 318798097666356892199745555934351839510814189957207490862149261*c_1\ 001_10^14 - 4178625451497515689455408947000796368733951815829291451\ 08483696100/3187980976663568921997455559343518395108141899572074908\ 62149261*c_1001_10^13 - 7599602704668848121169896401489197323287664\ 23003524986286573757063/3187980976663568921997455559343518395108141\ 89957207490862149261*c_1001_10^12 - 691300913435957042340746585140189291355266814348949292317510411421/\ 318798097666356892199745555934351839510814189957207490862149261*c_1\ 001_10^11 - 7193007255471007093331768549811442894180482102910812235\ 70157223797/3187980976663568921997455559343518395108141899572074908\ 62149261*c_1001_10^10 - 1047829816123899137141872047909305460584126\ 797429908466537242220186/318798097666356892199745555934351839510814\ 189957207490862149261*c_1001_10^9 - 638934917249245669572631181674614114849940118670971616451453062052/\ 318798097666356892199745555934351839510814189957207490862149261*c_1\ 001_10^8 - 13392660660850005499910424764656747456099412965712924897\ 7678229617/31879809766635689219974555593435183951081418995720749086\ 2149261*c_1001_10^7 - 404091823246597837799395231625274072444544457\ 62144922270098359745/3187980976663568921997455559343518395108141899\ 57207490862149261*c_1001_10^6 - 42562243683017825495014623832344746\ 901507297638569881784937503666/318798097666356892199745555934351839\ 510814189957207490862149261*c_1001_10^5 - 25755428380882814744682911649723999936621738633482525200017106004/3\ 18798097666356892199745555934351839510814189957207490862149261*c_10\ 01_10^4 + 239334749676231158738394607000597490103100773549179964970\ 92165617/3187980976663568921997455559343518395108141899572074908621\ 49261*c_1001_10^3 + 21738064507665530597664273455571121471246151541\ 615734818127770434/318798097666356892199745555934351839510814189957\ 207490862149261*c_1001_10^2 + 2896470942470312890905090815281897158\ 157826665508524950950723519/318798097666356892199745555934351839510\ 814189957207490862149261*c_1001_10 + 726291445337435974538462507982678113830005610859237611847295138/318\ 798097666356892199745555934351839510814189957207490862149261, c_1001_10^22 + 477/173*c_1001_10^21 + 1060/173*c_1001_10^20 + 3781/173*c_1001_10^19 + 6327/173*c_1001_10^18 + 7647/173*c_1001_10^17 + 18486/173*c_1001_10^16 + 26969/173*c_1001_10^15 + 30094/173*c_1001_10^14 + 48061/173*c_1001_10^13 + 53004/173*c_1001_10^12 + 52274/173*c_1001_10^11 + 69537/173*c_1001_10^10 + 57045/173*c_1001_10^9 + 21057/173*c_1001_10^8 + 4336/173*c_1001_10^7 + 2900/173*c_1001_10^6 + 2334/173*c_1001_10^5 - 598/173*c_1001_10^4 - 1720/173*c_1001_10^3 - 636/173*c_1001_10^2 - 72/173*c_1001_10 - 19/173 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 22.240 Total time: 22.449 seconds, Total memory usage: 143.97MB