Magma V2.19-8 Wed Aug 21 2013 00:05:33 on localhost [Seed = 2867643435] Type ? for help. Type -D to quit. Loading file "K13n2104__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2104 geometric_solution 11.39527529 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 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 0 0 0 0 1 -1 -6 0 0 6 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.153740039077 1.745525305842 0 5 6 6 0132 0132 2310 0132 0 0 0 0 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 0 0 0 1 0 -1 6 0 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.425075984583 0.856745431081 5 0 8 7 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 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.100115244082 0.419286635961 4 5 9 0 0213 1230 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 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.397360060848 0.758219071174 3 10 0 11 0213 0132 0132 0132 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 -1 0 -6 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.187651657284 0.829837335777 2 1 3 10 0132 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 -1 0 1 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.839801323369 0.799101886759 11 1 1 12 0321 3201 0132 0132 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 1 -1 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.501674158203 0.489249398916 12 12 2 11 1302 3012 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 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.941875570902 0.904061960214 12 9 10 2 3201 2031 2103 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 0 0 1 0 0 -1 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.334158686951 0.944626262142 8 10 11 3 1302 1302 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.301714885099 0.737523214673 8 4 5 9 2103 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 -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.275945188471 0.723525883264 6 7 4 9 0321 1302 0132 0132 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 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.087686496865 0.818837344795 7 7 6 8 1230 2031 0132 2310 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 1 0 6 -7 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.941875570902 0.904061960214 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0110_7'], 'c_1001_10' : d['c_0110_7'], 'c_1001_12' : negation(d['c_0110_7']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0011_9'], 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0110_7'], 'c_1001_0' : negation(d['c_0011_12']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0011_9'], 'c_1001_9' : d['c_0110_10'], 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : d['c_0011_7'], 'c_1010_11' : d['c_0110_10'], 'c_1010_10' : d['c_0011_9'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0101_0']), 'c_0101_10' : negation(d['c_0011_7']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0110_10']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_3']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0110_10']), 'c_1100_6' : d['c_0011_6'], 'c_1100_1' : d['c_0011_6'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0110_10']), 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : negation(d['c_1001_3']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : negation(d['c_0110_7']), 'c_1010_5' : d['c_0110_7'], 'c_1010_4' : d['c_0110_7'], 'c_1010_3' : negation(d['c_0011_12']), 'c_1010_2' : negation(d['c_0011_12']), 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_0011_9'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : 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' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_6'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_6'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0110_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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_6']), 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0011_7'], 'c_0101_12' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_6'], 'c_0101_7' : negation(d['c_0011_12']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_12']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : negation(d['c_0011_7']), 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_6']), 'c_0101_8' : negation(d['c_0011_7']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : negation(d['c_0011_7']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_12']), 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_7' : d['c_0110_7'], 'c_0011_10' : d['c_0011_10']})} 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_3, c_0011_6, c_0011_7, c_0011_9, c_0101_0, c_0110_10, c_0110_7, c_1001_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 1973116475194186087596262965771129432322605965930124773270074927071\ 856/267233654111393352154084209487375381696677233940672619565540922\ 5*c_1100_0^17 - 487153825883016315032480276912070346784786000712256\ 08850364527436038162/2672336541113933521540842094873753816966772339\ 406726195655409225*c_1100_0^16 - 3881538265966397102573794564974582\ 4918390852462569417654303548512496433/10689346164455734086163368379\ 49501526786708935762690478262163690*c_1100_0^15 - 3592102934024027855602086511437191106234098938722654400656783987207\ 58142/2672336541113933521540842094873753816966772339406726195655409\ 225*c_1100_0^14 + 6173505637588138248750273797449973951002116977608\ 3339057750661462112946/26723365411139335215408420948737538169667723\ 39406726195655409225*c_1100_0^13 + 2326266319689107710702017761098396537511831013094237673670274550020\ 46327/5344673082227867043081684189747507633933544678813452391310818\ 450*c_1100_0^12 + 1513099735905124536138528417777528275068336125634\ 344201601535364533235826/267233654111393352154084209487375381696677\ 2339406726195655409225*c_1100_0^11 - 5862513795854636096663832921295646596447023062189907778127994322042\ 19059/5344673082227867043081684189747507633933544678813452391310818\ 450*c_1100_0^10 + 7876733775947192480323902568303879050872946561106\ 8405576971467570589313/53446730822278670430816841897475076339335446\ 78813452391310818450*c_1100_0^9 - 231962690062409054177442662637822\ 6320403975313385349796549005955496647366/26723365411139335215408420\ 94873753816966772339406726195655409225*c_1100_0^8 + 7584730365067267739217649362714624089769090815775813807448752540164\ 18428/2672336541113933521540842094873753816966772339406726195655409\ 225*c_1100_0^7 - 17476249917733463812911093772309134297946332185565\ 6619170207883067445151/53446730822278670430816841897475076339335446\ 78813452391310818450*c_1100_0^6 + 569943599178716401103885218670232\ 906893238406651618355417145314087100262/267233654111393352154084209\ 4873753816966772339406726195655409225*c_1100_0^5 - 6577574101182172447698527710781101950669103223746194322434669549464\ 59/534467308222786704308168418974750763393354467881345239131081845*\ c_1100_0^4 + 329478614977136773819182360324998059614440769533703031\ 7977841251913749/14445062384399640656977524837155426037658228861657\ 9794359751850*c_1100_0^3 - 2875617359101310704171742277745789534550\ 2305432180859772569543641964043/26723365411139335215408420948737538\ 16966772339406726195655409225*c_1100_0^2 + 4473544838616665379936501753585513769841051535479564997221479040634\ 918/267233654111393352154084209487375381696677233940672619565540922\ 5*c_1100_0 - 727714704534074181350153454439799049132322693470434221\ 099434945773097/534467308222786704308168418974750763393354467881345\ 2391310818450, c_0011_0 - 1, c_0011_10 + 20237453492242169837609292580787489629256681216322993/23794\ 17940270366164043802359559405822036673297492653*c_1100_0^17 - 497677005488306788303678748034752145507805392466556532/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^16 - 1043718904230216927948689633427713272489371973518576592/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^15 - 3790647007894640891156651542099151085474528223381697259/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^14 + 253438474332026824656851248202135139426529861174565490/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^13 + 1183687425946822301138347489542437699916673170440459402/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^12 + 15636102861649354343561278782141235088611914104695225318/2379417940\ 270366164043802359559405822036673297492653*c_1100_0^11 - 1467276265883730966449332879873313525275202972819555819/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^10 + 402445898937415405690983065156057120880049069905822038/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^9 - 23757915690777584672272497132004864157158718369301737338/2379417940\ 270366164043802359559405822036673297492653*c_1100_0^8 + 5460047037447088602676509518221666527931429142846524788/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^7 - 580215617530065131143568685967244985803329460622802069/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^6 + 5824520380179278134323461726780624045141332814391723286/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^5 + 533581874787906507627548623117595498248104811821860684/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^4 + 734593109929253112630856855987419242604823904186089349/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^3 - 213064692233133092129716540164849721208927467234859061/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^2 + 30397783039980410197452937221608492587593138815350631/2379417940270\ 366164043802359559405822036673297492653*c_1100_0 - 864959754548723081537274038506822781636654515095832/237941794027036\ 6164043802359559405822036673297492653, c_0011_11 - 17828778894714829101172967105559703509393329603877275/23794\ 17940270366164043802359559405822036673297492653*c_1100_0^17 + 440609558096583381649342255679546464489092861937416186/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^16 + 866166303147634691942444825262410872482754868701114871/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^15 + 3228912237435793462039613239224651985569040453239148185/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^14 - 622775880427470175535770888289379212351242870715018440/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^13 - 998221517444064584714941141223227839576850788201961947/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^12 - 13621891101275871698207204234776445284733765684223476538/2379417940\ 270366164043802359559405822036673297492653*c_1100_0^11 + 2962278006863036163378817998957238120726587135940716809/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^10 - 561146790653826855423660592753231499838109052068550733/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^9 + 20867005838506300560805872368890784324914027217011870577/2379417940\ 270366164043802359559405822036673297492653*c_1100_0^8 - 7347073575543172786203750683612232729311383986858390199/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^7 + 1157837656434471279786389381454375566693432216088218437/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^6 - 5043664514472452748904577790947747433120541580780324748/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^5 + 121540398117209011242956935782795642464417887524120496/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^4 - 610145674099095038550257015765728392577821320161730989/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^3 + 228996561779210117025873115366680584714569371572328984/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^2 - 58053664774300938247348312542884121754759789896933295/2379417940270\ 366164043802359559405822036673297492653*c_1100_0 + 5302906969136773159309483379802202322394079148333938/23794179402703\ 66164043802359559405822036673297492653, c_0011_12 - 15209068250324282675176359922201239710671276004142875/23794\ 17940270366164043802359559405822036673297492653*c_1100_0^17 + 376024636756924621529664870452810989810644419909203947/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^16 + 735028188625729363004732724538170572655096033384921271/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^15 + 2746566080226126500973246543545613069991077693018598816/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^14 - 562306414765214450697577785790722312723881577545685926/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^13 - 852879328268171815754181450987380852294174494640545485/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^12 - 11625671319619562947619961920932365118793600970404321551/2379417940\ 270366164043802359559405822036673297492653*c_1100_0^11 + 2648251538586972937280569569731255227516111338521307260/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^10 - 485259496898892182315028755043944193843936739997413264/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^9 + 17865821509710995277727167910132996538227547928873299804/2379417940\ 270366164043802359559405822036673297492653*c_1100_0^8 - 6448616289788258240870767420176873799103577767397425249/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^7 + 1024041029286648161810064219962065039485080037240993104/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^6 - 4401163570399065604842201705741853166234366812793716179/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^5 + 154118492874673014494212387813796653353226909707494577/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^4 - 499491185666533976067086707844117556740315952269686574/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^3 + 224403421701617797958452950292163415999590575541071731/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^2 - 47371910534387330907665421601191151686370147824498211/2379417940270\ 366164043802359559405822036673297492653*c_1100_0 + 3947794761150559999333153212121027785387756746560258/23794179402703\ 66164043802359559405822036673297492653, c_0011_3 + 16476524262576244744176869309148341441315885723064182/237941\ 7940270366164043802359559405822036673297492653*c_1100_0^17 - 407740178156210389143913742841984266376675840302974209/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^16 - 787017327373630950817055006195236226668119516019348005/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^15 - 2954363550002865299644331549019713328595848753934700516/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^14 + 684328885011126907545039865826116324684870941994184331/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^13 + 932494194571176732260938263565864787441481788106978715/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^12 + 12577413884805884548223026314208724174819572123376339885/2379417940\ 270366164043802359559405822036673297492653*c_1100_0^11 - 3167896159668259213059113001238311485357024886127988776/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^10 + 504715691978731854422924709191652183848118220273788835/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^9 - 19381648552468356621336250741428922715831085270852966636/2379417940\ 270366164043802359559405822036673297492653*c_1100_0^8 + 7442577551504935693667242375891971406953991795837138806/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^7 - 1146545300839737422696226546312285628213373333345293258/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^6 + 4797230264061262589783788796716812144281508576702424599/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^5 - 299814385416568439390578913421387327216186124208081686/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^4 + 526076120259960174250832231559252396231027489480908950/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^3 - 264788602142011915302233906975423168683147011720869909/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^2 + 52420735642126015076985021561913339341604770591006227/2379417940270\ 366164043802359559405822036673297492653*c_1100_0 - 5353636638465228570603680603393387884387582179066319/23794179402703\ 66164043802359559405822036673297492653, c_0011_6 + 24089908952114406858331577305782293144054047991487871/237941\ 7940270366164043802359559405822036673297492653*c_1100_0^17 - 595778241815829588854543602219286631328253248213939595/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^16 - 1159673992128075181879362961887378967842438517483074999/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^15 - 4340021088729093998205791457490212333992450265947998049/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^14 + 927989085956930700506686981429488706773783800546325688/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^13 + 1355659779488893187046077199608805573795485190728575243/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^12 + 18409070517027863401214306120992956818405999769266583758/2379417940\ 270366164043802359559405822036673297492653*c_1100_0^11 - 4342805096553643002522025062624468886042326952842925756/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^10 + 760180313685235706099144268541148918535657084827739026/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^9 - 28324172478884072507861644812737664156072628761944814325/2379417940\ 270366164043802359559405822036673297492653*c_1100_0^8 + 10448280874187127151109055980440766361349624757609586299/2379417940\ 270366164043802359559405822036673297492653*c_1100_0^7 - 1647584494345251589670029211458955450660760064010815329/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^6 + 7004797438577433521136895222554670431853978555001547704/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^5 - 327713793957822910263790182412364722449974345774742900/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^4 + 792863249419426960085469389548852346383798209913502066/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^3 - 366320837746988651747370753401592397486645952968369400/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^2 + 74352068555387089422838690304708227801144166798345883/2379417940270\ 366164043802359559405822036673297492653*c_1100_0 - 6357029662961655646362074657188801029085703770647799/23794179402703\ 66164043802359559405822036673297492653, c_0011_7 - 6304470139899355433162485607766536046961235043391057/2379417\ 940270366164043802359559405822036673297492653*c_1100_0^17 + 158363483000471163379471146547245878468817614718254780/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^16 + 243414161360316618314060199173012497222728490919697913/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^15 + 1008665019793446097903622213271453156237218590986245870/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^14 - 703517337606293161521490494369314774307186250306122793/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^13 - 333295546433483444274326324935664224190255803744377602/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^12 - 4677485798853593546567786989197268039625378127932445163/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^11 + 3028819119733662478562735047481021474233951863175748325/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^10 - 340297904690255003589524011446583458754194209033662980/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^9 + 7471087881402823234833466215103510814186451819174748130/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^8 - 5607319916454079465863423021136705636768234531922699199/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^7 + 1033830962770306024498248212081860001883229309613827127/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^6 - 1908448687657221011624566629085299215548030222114201835/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^5 + 796507000554464988883314874563953406818327659268359334/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^4 - 121116007316699597465792992006238647131844859371260396/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^3 + 183800168674313380814287997743614843908291238919425173/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^2 - 44127064961207263840070348381856383464564506442986565/2379417940270\ 366164043802359559405822036673297492653*c_1100_0 + 3780641333936049844560319875803424516042525865821920/23794179402703\ 66164043802359559405822036673297492653, c_0011_9 - 6013129507411530846885414719276128675682685220995134/2379417\ 940270366164043802359559405822036673297492653*c_1100_0^17 + 149679271200051973792400904817525429566417711825132281/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^16 + 266011735750235340113025311240951465447871189745602417/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^15 + 1026214948411131487887354822834377834785714031672213828/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^14 - 427776182948768529746050706924880047238563437125090708/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^13 - 381285130171271996189013699416162398699780506766043796/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^12 - 4533254878130659418694779941079442832734253622100912475/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^11 + 1851093094414353751257342354472132004663816719363931445/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^10 - 28461392247305154327733970080441163066651356491282226/2379417940270\ 366164043802359559405822036673297492653*c_1100_0^9 + 7066009174738438864337582347168929332029290917620463339/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^8 - 3745632922929309249614638622423080613178927499526186055/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^7 + 318226799927228609445948059057219188086310404708608713/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^6 - 1695249953628183210036325926840713780667490372871438394/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^5 + 363562380311250376128913620561769927263133857259090822/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^4 - 84912550937585159034493984729263231050431314633584625/2379417940270\ 366164043802359559405822036673297492653*c_1100_0^3 + 134286133538524856009241108569950656032599950740655940/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^2 - 20980712614076760570651874307481229415044467261612313/2379417940270\ 366164043802359559405822036673297492653*c_1100_0 + 1615722348676016623619037743162602448020731889171715/23794179402703\ 66164043802359559405822036673297492653, c_0101_0 - 9223354103465036706273101431098498566676429532049809/2379417\ 940270366164043802359559405822036673297492653*c_1100_0^17 + 224288037975939033658340921043084090560040593416762603/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^16 + 537775792220632367298555603030182640674500602601660767/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^15 + 1862191912393820703846283639542673502929791432692778970/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^14 + 366270717884799448748901766515969632203809650384088493/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^13 - 542374876117742579634507067174016235394804610821454978/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^12 - 7281882417724935198902362372010384592073548394707693053/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^11 - 1295392559779081946327039941083275652622071985093038479/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^10 - 121284569651191998881558466252644426360454772611258333/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^9 + 10814928690729292198870975795155382892479262768369019512/2379417940\ 270366164043802359559405822036673297492653*c_1100_0^8 + 478421274425145356868963724289893913376363198847701209/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^7 - 231665635532880939790753595615884712828047233378195792/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^6 - 2665097980601276704549469334474831040500638487094176342/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^5 - 962164504259646973217472802878964086452065746096624996/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^4 - 444929299750020529797842291162204648882520064239591037/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^3 + 11118410419392676884480861255799626150287764705298140/2379417940270\ 366164043802359559405822036673297492653*c_1100_0^2 + 11505984525179675454714622180317259178267362260788900/2379417940270\ 366164043802359559405822036673297492653*c_1100_0 - 92651708546708900264672665378254155747098728283471/2379417940270366\ 164043802359559405822036673297492653, c_0110_10 + 28205236606813322801694856638401339023712014525671057/23794\ 17940270366164043802359559405822036673297492653*c_1100_0^17 - 695388179261655240858905116424094702099052468814009987/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^16 - 1411405177283158121402091224579398053598514165499257739/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^15 - 5185799367064079396938412171303428958872515398042135273/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^14 + 697413771610816800856320283134039191268613699438082428/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^13 + 1674670114035452451544263298051377862669056220235399996/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^12 + 21687429081947820597804661993438901924170893432806884304/2379417940\ 270366164043802359559405822036673297492653*c_1100_0^11 - 3425042892519530597941158459065931553472177674959856177/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^10 + 492843334412658213132022563981758271841616903109541252/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^9 - 33138847936656398097496256364790197625545381727493551310/2379417940\ 270366164043802359559405822036673297492653*c_1100_0^8 + 9673400032760536947831262683686132932614324055431037995/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^7 - 980273882418270322043844702111488417741567122715713458/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^6 + 8120141324488927957472872758952894860302647062954630339/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^5 + 253009495277722546895182480629927818142173873441739837/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^4 + 886156256933728683783150584004020505057802116789094865/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^3 - 377349031999217956249440978836410160739257949166880301/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^2 + 50796479069675878929102380754990292390770099089329322/2379417940270\ 366164043802359559405822036673297492653*c_1100_0 - 2798292370049900861309512123571197416982766248621267/23794179402703\ 66164043802359559405822036673297492653, c_0110_7 - 22803880150063801221978678375415239950544481064494912/237941\ 7940270366164043802359559405822036673297492653*c_1100_0^17 + 563203817904038219112835776802044625135469691137841315/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^16 + 1116902762395871491347183452473092075456224383199567567/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^15 + 4142434923427508137951852903848522474779345952013345493/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^14 - 744984400134983292460737813845580498963292389923411500/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^13 - 1332811155587660865521077932059098497173916889873749233/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^12 - 17460894581890571538238905822172706308655718163341343799/2379417940\ 270366164043802359559405822036673297492653*c_1100_0^11 + 3529798356061658771953185896922388574817463703389711545/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^10 - 493528759736614974607252045196741206804064772421801059/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^9 + 26749599673246391513317470786911592878938297910917166189/2379417940\ 270366164043802359559405822036673297492653*c_1100_0^8 - 8983063901658666833517337118025186891234511205912354829/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^7 + 1091219075021002665829018610778378002561048116324892296/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^6 - 6502950450428549276044533739686301513916206010924333680/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^5 + 77034192070008910029308870576232104727376085056703499/2379417940270\ 366164043802359559405822036673297492653*c_1100_0^4 - 712639702770967968853469821094586566041754826058468454/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^3 + 315677727288650821703174227869900609406501011075127685/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^2 - 58787715472555053236194027807471883744071387264598345/2379417940270\ 366164043802359559405822036673297492653*c_1100_0 + 4689703807730048593105663697110889550003021180825918/23794179402703\ 66164043802359559405822036673297492653, c_1001_3 - 8768643365854961159361085583649116463898526486147931/2379417\ 940270366164043802359559405822036673297492653*c_1100_0^17 + 217477385578634664693003336211742555066217213045439403/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^16 + 407176336120061972771042740582341088711252818855587899/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^15 + 1542772310039905261994758987261762358514268469982880508/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^14 - 464309470956292299755391085961129741380742019126490951/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^13 - 525189311996909069138648728940642817631896145520497503/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^12 - 6662281646848470861180657468166631458295252123219956879/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^11 + 2073568183717003917653561912279686031455891604703473748/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^10 - 157835715682680117559372268642630021960877194733175381/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^9 + 10311902848539349512374570867271108012657042625212405938/2379417940\ 270366164043802359559405822036673297492653*c_1100_0^8 - 4538952436459261023400740694344392147689457409972112080/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^7 + 522886117450097821323731438672654578178934397282427668/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^6 - 2521350444154658809311673300607941445806937953020425894/23794179402\ 70366164043802359559405822036673297492653*c_1100_0^5 + 314958436185285323622103172795261345617795320018160801/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^4 - 225393479413780573046318582907198021596949470727515694/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^3 + 165928463536815228249665847799380912254118138241196923/237941794027\ 0366164043802359559405822036673297492653*c_1100_0^2 - 27970758507031593377679939886179252104467806278955129/2379417940270\ 366164043802359559405822036673297492653*c_1100_0 + 2178294536652836105382815018812647816408437514285854/23794179402703\ 66164043802359559405822036673297492653, c_1100_0^18 - 1165/47*c_1100_0^17 - 2198/47*c_1100_0^16 - 8334/47*c_1100_0^15 + 2299/47*c_1100_0^14 + 2601/47*c_1100_0^13 + 35771/47*c_1100_0^12 - 10495/47*c_1100_0^11 + 1725/47*c_1100_0^10 - 55346/47*c_1100_0^9 + 23467/47*c_1100_0^8 - 4004/47*c_1100_0^7 + 13802/47*c_1100_0^6 - 1407/47*c_1100_0^5 + 1498/47*c_1100_0^4 - 820/47*c_1100_0^3 + 179/47*c_1100_0^2 - 20/47*c_1100_0 + 1/47 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 21.990 Total time: 22.210 seconds, Total memory usage: 82.50MB