Magma V2.19-8 Wed Aug 21 2013 01:04:53 on localhost [Seed = 3869310600] Type ? for help. Type -D to quit. Loading file "L14n24774__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n24774 geometric_solution 11.72533191 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 1230 0132 0132 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.805399568919 1.000970757613 0 4 0 5 0132 0132 3012 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 1 0 -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.512059712199 0.606424411433 5 6 7 0 0132 0132 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.494673379252 0.943897477873 4 4 0 8 0132 1302 0132 0132 1 1 1 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 0 0 0 0 0 -1 0 1 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.243047777046 0.613467269934 3 1 5 3 0132 0132 3012 2031 1 1 0 1 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 -1 0 1 0 0 1 -1 -2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.797363599619 0.646218421414 2 4 1 8 0132 1230 0132 1230 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.802745006695 0.537743072030 8 2 9 10 1230 0132 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.778371072811 0.653680501798 10 9 11 2 0132 1230 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 6 0 0 5 1 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.423100720542 0.620174760766 5 6 3 11 3012 3012 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.178022702984 2.101469647280 12 11 7 6 0132 3012 3012 0132 1 1 1 1 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 0 0 0 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.045697093814 0.900772529998 7 12 6 12 0132 1302 0132 0321 1 1 1 1 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 0 0 5 6 -5 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.500316674635 0.592535987261 9 12 8 7 1230 3201 0132 0132 1 1 1 1 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 0 0 -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.556574216156 0.423023840589 9 10 11 10 0132 0321 2310 2031 1 1 1 1 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.739102783494 0.776246940771 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_12']), 'c_1001_10' : d['c_0101_9'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0011_2'], 'c_1001_4' : d['c_0011_2'], 'c_1001_7' : negation(d['c_1001_12']), 'c_1001_6' : negation(d['c_0101_11']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : negation(d['c_0101_11']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_9'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0011_2'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : negation(d['c_1001_12']), 'c_1010_10' : d['c_0011_10'], 's_0_10' : d['1'], 's_3_10' : 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' : d['c_0101_11'], 'c_0101_10' : d['c_0011_8'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(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_1100_9' : d['c_1001_12'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_11'], 'c_1100_4' : negation(d['c_0011_2']), 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : d['c_1001_12'], 'c_1100_1' : d['c_0101_11'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : d['c_1001_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_9'], 'c_1010_6' : d['c_0101_9'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_0011_2'], 'c_1010_2' : negation(d['c_0101_11']), 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : negation(d['c_0101_12']), 'c_1100_8' : d['c_1100_0'], 's_3_1' : negation(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' : negation(d['c_0011_10']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : negation(d['c_0011_12']), 'c_0110_10' : negation(d['c_0011_12']), 'c_0110_12' : d['c_0101_9'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0101_7' : negation(d['c_0011_12']), 'c_0101_6' : d['c_0101_12'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_8'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_4'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_8'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0011_8'], 'c_0110_6' : d['c_0011_8']})} 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_12, c_0011_2, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_4, c_0101_9, c_1001_12, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 5570866372221522460844685903901644093760374145966473080667071/81379\ 6010408778436793521786051196990261244193628536223347*c_1100_0^12 + 556627112595877132337647009821893186341962515730554003733670683/325\ 5184041635113747174087144204787961044976774514144893388*c_1100_0^11 - 778902851120000257211705927940288961633285538633136479035915681/1\ 627592020817556873587043572102393980522488387257072446694*c_1100_0^\ 10 + 10971560469460492954825875063447804114285486098829924750059319\ 55/813796010408778436793521786051196990261244193628536223347*c_1100\ _0^9 - 372188031200199538895375763113519234587584807417617798249073\ 9513/1627592020817556873587043572102393980522488387257072446694*c_1\ 100_0^8 + 490754954339648754760986764314728786088403049929993198191\ 602031/141529740940657119442351614965425563523694642370180212756*c_\ 1100_0^7 - 28761450424940257887661131772429915497949662404743165605\ 55185967/813796010408778436793521786051196990261244193628536223347*\ c_1100_0^6 + 953681657935728345218119263128445482265802911178883969\ 8425943845/32551840416351137471740871442047879610449767745141448933\ 88*c_1100_0^5 - 238465373543248994691918767430747002154950289041367\ 1716005767643/16275920208175568735870435721023939805224883872570724\ 46694*c_1100_0^4 + 427661431638265642200609326588105592966728903168\ 237269797849811/813796010408778436793521786051196990261244193628536\ 223347*c_1100_0^3 - 22189323398841145655300075167053634256727025681\ 2091468315625499/32551840416351137471740871442047879610449767745141\ 44893388*c_1100_0^2 + 932537846742587718372968591174428892106956026\ 13222817784998755/3255184041635113747174087144204787961044976774514\ 144893388*c_1100_0 + 5121446710645208991062584800909442431176825756\ 743140410246879/325518404163511374717408714420478796104497677451414\ 4893388, c_0011_0 - 1, c_0011_10 - 215553810149108630334205360566160332043090205004/4445380809\ 8407343451342918161909573501718841963*c_1100_0^12 + 5394027339639674074239474543510707967910013872859/44453808098407343\ 451342918161909573501718841963*c_1100_0^11 - 15306203910182983392274228336586844924879500061629/4445380809840734\ 3451342918161909573501718841963*c_1100_0^10 + 43041952319562171913096293754533026691418098090730/4445380809840734\ 3451342918161909573501718841963*c_1100_0^9 - 73669464479046762247269644933895791584499912593992/4445380809840734\ 3451342918161909573501718841963*c_1100_0^8 + 111747752958284667374120382409265252879298360251618/444538080984073\ 43451342918161909573501718841963*c_1100_0^7 - 115085351948928456172764232093591038952698213075696/444538080984073\ 43451342918161909573501718841963*c_1100_0^6 + 95589601192452653191598961387729956703032260234451/4445380809840734\ 3451342918161909573501718841963*c_1100_0^5 - 48678197845684065924624401935221456989430315468403/4445380809840734\ 3451342918161909573501718841963*c_1100_0^4 + 17354099967460327351353473405895191628566744158127/4445380809840734\ 3451342918161909573501718841963*c_1100_0^3 - 2374350289953252255531975742990666764901137816329/44453808098407343\ 451342918161909573501718841963*c_1100_0^2 + 874928944756840929304314218414515563289936487546/444538080984073434\ 51342918161909573501718841963*c_1100_0 - 15879138037084847532293433357344916568264601279/4445380809840734345\ 1342918161909573501718841963, c_0011_12 + 92265804762820268029830018692667340924016564450/44453808098\ 407343451342918161909573501718841963*c_1100_0^12 - 4641224325214828366811234283439488226112996319453/88907616196814686\ 902685836323819147003437683926*c_1100_0^11 + 6849573447492956289314496519442386064333815223810/44453808098407343\ 451342918161909573501718841963*c_1100_0^10 - 38704819767757716772784993692480196142801980146095/8890761619681468\ 6902685836323819147003437683926*c_1100_0^9 + 68166697726468116507150252457459982132362579342127/8890761619681468\ 6902685836323819147003437683926*c_1100_0^8 - 52435081207736081047005153306950364599610996206512/4445380809840734\ 3451342918161909573501718841963*c_1100_0^7 + 112369811012126109308311839876815732169696744290341/889076161968146\ 86902685836323819147003437683926*c_1100_0^6 - 48406092746306187790346936825685893077763684504216/4445380809840734\ 3451342918161909573501718841963*c_1100_0^5 + 27031018526222961267914155606169855189693854122142/4445380809840734\ 3451342918161909573501718841963*c_1100_0^4 - 21595197658369535065939956768061768610800203371029/8890761619681468\ 6902685836323819147003437683926*c_1100_0^3 + 2183747693337066836191049036606259789522885039253/44453808098407343\ 451342918161909573501718841963*c_1100_0^2 - 1126660666283913401126949825523584196698659660533/88907616196814686\ 902685836323819147003437683926*c_1100_0 + 52820939444214378350584501582347202464402441915/4445380809840734345\ 1342918161909573501718841963, c_0011_2 + 87881913251043733028359627700692623722388012232/444538080984\ 07343451342918161909573501718841963*c_1100_0^12 - 2200722543965600605544138180937323976423471472260/44453808098407343\ 451342918161909573501718841963*c_1100_0^11 + 12558137918182978881842951844676436065114522474745/8890761619681468\ 6902685836323819147003437683926*c_1100_0^10 - 17647597533863247945196104441218347814735522559458/4445380809840734\ 3451342918161909573501718841963*c_1100_0^9 + 60557807524636682253082112852741577197395352301455/8890761619681468\ 6902685836323819147003437683926*c_1100_0^8 - 91817154753957831550953070755276808413702011554079/8890761619681468\ 6902685836323819147003437683926*c_1100_0^7 + 47311075802274013666768174974462645685616522932289/4445380809840734\ 3451342918161909573501718841963*c_1100_0^6 - 78292391138825900243287716549712201512444206504725/8890761619681468\ 6902685836323819147003437683926*c_1100_0^5 + 19683705378834309988033799473042789820647156424650/4445380809840734\ 3451342918161909573501718841963*c_1100_0^4 - 6665115752982448974793208789584351510140793126547/44453808098407343\ 451342918161909573501718841963*c_1100_0^3 + 1184911943965797779998462069745658732758930764227/88907616196814686\ 902685836323819147003437683926*c_1100_0^2 - 176143744826252607017828484577961397684617929579/444538080984073434\ 51342918161909573501718841963*c_1100_0 - 2706909518436077503503002857607722474522005275/88907616196814686902\ 685836323819147003437683926, c_0011_8 - 12069584467105585835260123388511026793761202476/444538080984\ 07343451342918161909573501718841963*c_1100_0^12 + 295001975603692011482481732033115576285573587603/444538080984073434\ 51342918161909573501718841963*c_1100_0^11 - 684291013686449603251144004264964723057145010365/444538080984073434\ 51342918161909573501718841963*c_1100_0^10 + 1988961420413365640090800670684998475384798345848/44453808098407343\ 451342918161909573501718841963*c_1100_0^9 - 2944235245931502144650070915480334257595994855020/44453808098407343\ 451342918161909573501718841963*c_1100_0^8 + 4447511933039629798749217004933149948134837367571/44453808098407343\ 451342918161909573501718841963*c_1100_0^7 - 3801509554138768556551269292838113439577662770468/44453808098407343\ 451342918161909573501718841963*c_1100_0^6 + 3037483306937903975157612657099794317132739279884/44453808098407343\ 451342918161909573501718841963*c_1100_0^5 - 1007057815578654590050353128919515288769293001039/44453808098407343\ 451342918161909573501718841963*c_1100_0^4 + 424943167829217353311688878640884147109784956848/444538080984073434\ 51342918161909573501718841963*c_1100_0^3 - 10808843806108160757491316350381908204471188631/4445380809840734345\ 1342918161909573501718841963*c_1100_0^2 + 112694012548909306091809796746988651359432001111/444538080984073434\ 51342918161909573501718841963*c_1100_0 + 22346390304063832096873522864803999368621335359/4445380809840734345\ 1342918161909573501718841963, c_0101_0 - 1, c_0101_1 - 10960270693529464158273162359421172691419001844/444538080984\ 07343451342918161909573501718841963*c_1100_0^12 + 284965154585058107433021700877212994247412458383/444538080984073434\ 51342918161909573501718841963*c_1100_0^11 - 2085672140408607495369053389405381034433802091839/88907616196814686\ 902685836323819147003437683926*c_1100_0^10 + 2871795267922727850837301991732520269826903584958/44453808098407343\ 451342918161909573501718841963*c_1100_0^9 - 11358127864583269272075714975474402425464549177369/8890761619681468\ 6902685836323819147003437683926*c_1100_0^8 + 17566524512079511191574201513812258167473194617629/8890761619681468\ 6902685836323819147003437683926*c_1100_0^7 - 10497964871253507688769283550860500291922693605144/4445380809840734\ 3451342918161909573501718841963*c_1100_0^6 + 18520704600642024439724319590747811629153263756057/8890761619681468\ 6902685836323819147003437683926*c_1100_0^5 - 5993039194447015616004341892048421796531710649359/44453808098407343\ 451342918161909573501718841963*c_1100_0^4 + 2359297733007518037550813181898204305475588821296/44453808098407343\ 451342918161909573501718841963*c_1100_0^3 - 1239787548630058814092786313864132021110958445719/88907616196814686\ 902685836323819147003437683926*c_1100_0^2 + 10607635762243260981401204904642643914056347133/4445380809840734345\ 1342918161909573501718841963*c_1100_0 - 47215693524899811065971417840153451780251939315/8890761619681468690\ 2685836323819147003437683926, c_0101_11 + 23029855160635049993533285747932199485180204320/44453808098\ 407343451342918161909573501718841963*c_1100_0^12 - 579967130188750118915503432910328570532986045986/444538080984073434\ 51342918161909573501718841963*c_1100_0^11 + 3454254167781506701871341397935310480548092112569/88907616196814686\ 902685836323819147003437683926*c_1100_0^10 - 4860756688336093490928102662417518745211701930806/44453808098407343\ 451342918161909573501718841963*c_1100_0^9 + 17246598356446273561375856806435070940656538887409/8890761619681468\ 6902685836323819147003437683926*c_1100_0^8 - 26461548378158770789072635523678558063742869352771/8890761619681468\ 6902685836323819147003437683926*c_1100_0^7 + 14299474425392276245320552843698613731500356375612/4445380809840734\ 3451342918161909573501718841963*c_1100_0^6 - 24595671214517832390039544904947400263418742315825/8890761619681468\ 6902685836323819147003437683926*c_1100_0^5 + 7000097010025670206054695020967937085301003650398/44453808098407343\ 451342918161909573501718841963*c_1100_0^4 - 2784240900836735390862502060539088452585373778144/44453808098407343\ 451342918161909573501718841963*c_1100_0^3 + 1261405236242275135607768946564895837519900822981/88907616196814686\ 902685836323819147003437683926*c_1100_0^2 - 123301648311152567073211001651631295273488348244/444538080984073434\ 51342918161909573501718841963*c_1100_0 + 91430529113586833774910208434364600046446952523/8890761619681468690\ 2685836323819147003437683926, c_0101_12 + 13846412814923322453281778489853145994075907410/44453808098\ 407343451342918161909573501718841963*c_1100_0^12 - 688592514259770892153462141551840375313227861317/889076161968146869\ 02685836323819147003437683926*c_1100_0^11 + 924056198556002518155724548509346419515459672140/444538080984073434\ 51342918161909573501718841963*c_1100_0^10 - 5012661580600841169648541687533509912896199603583/88907616196814686\ 902685836323819147003437683926*c_1100_0^9 + 8104103262861797277447037026950035943207501974947/88907616196814686\ 902685836323819147003437683926*c_1100_0^8 - 5777148165365848798728502256372029932885730961858/44453808098407343\ 451342918161909573501718841963*c_1100_0^7 + 10535583354147158676203563540439301563448288060007/8890761619681468\ 6902685836323819147003437683926*c_1100_0^6 - 3610340304305512991400569625573230049299674940038/44453808098407343\ 451342918161909573501718841963*c_1100_0^5 + 996709748120315091098979896861304925181910907530/444538080984073434\ 51342918161909573501718841963*c_1100_0^4 + 315874709034715840306862633250954674640917737551/889076161968146869\ 02685836323819147003437683926*c_1100_0^3 - 294948186447081084374864651967082324901520585671/444538080984073434\ 51342918161909573501718841963*c_1100_0^2 + 115648771498835839211248935717476754667671921583/889076161968146869\ 02685836323819147003437683926*c_1100_0 - 33905576533674791751786627319155402806709504718/4445380809840734345\ 1342918161909573501718841963, c_0101_4 + 110911768411678783021892913448624823207568216552/44453808098\ 407343451342918161909573501718841963*c_1100_0^12 - 2780689674154350724459641613847652546956457518246/44453808098407343\ 451342918161909573501718841963*c_1100_0^11 + 8006196042982242791857146621305873272831307293657/44453808098407343\ 451342918161909573501718841963*c_1100_0^10 - 22508354222199341436124207103635866559947224490264/4445380809840734\ 3451342918161909573501718841963*c_1100_0^9 + 38902202940541477907228984829588324069025945594432/4445380809840734\ 3451342918161909573501718841963*c_1100_0^8 - 59139351566058301170012853139477683238722440453425/4445380809840734\ 3451342918161909573501718841963*c_1100_0^7 + 61610550227666289912088727818161259417116879307901/4445380809840734\ 3451342918161909573501718841963*c_1100_0^6 - 51444031176671866316663630727329800887931474410275/4445380809840734\ 3451342918161909573501718841963*c_1100_0^5 + 26683802388859980194088494494010726905948160075048/4445380809840734\ 3451342918161909573501718841963*c_1100_0^4 - 9449356653819184365655710850123439962726166904691/44453808098407343\ 451342918161909573501718841963*c_1100_0^3 + 1223158590104036457803115508155277285139415793604/44453808098407343\ 451342918161909573501718841963*c_1100_0^2 - 299445393137405174091039486229592692958106277823/444538080984073434\ 51342918161909573501718841963*c_1100_0 - 91998300831965315639315373531134715756368339/4445380809840734345134\ 2918161909573501718841963, c_0101_9 - 12069584467105585835260123388511026793761202476/444538080984\ 07343451342918161909573501718841963*c_1100_0^12 + 295001975603692011482481732033115576285573587603/444538080984073434\ 51342918161909573501718841963*c_1100_0^11 - 684291013686449603251144004264964723057145010365/444538080984073434\ 51342918161909573501718841963*c_1100_0^10 + 1988961420413365640090800670684998475384798345848/44453808098407343\ 451342918161909573501718841963*c_1100_0^9 - 2944235245931502144650070915480334257595994855020/44453808098407343\ 451342918161909573501718841963*c_1100_0^8 + 4447511933039629798749217004933149948134837367571/44453808098407343\ 451342918161909573501718841963*c_1100_0^7 - 3801509554138768556551269292838113439577662770468/44453808098407343\ 451342918161909573501718841963*c_1100_0^6 + 3037483306937903975157612657099794317132739279884/44453808098407343\ 451342918161909573501718841963*c_1100_0^5 - 1007057815578654590050353128919515288769293001039/44453808098407343\ 451342918161909573501718841963*c_1100_0^4 + 424943167829217353311688878640884147109784956848/444538080984073434\ 51342918161909573501718841963*c_1100_0^3 - 10808843806108160757491316350381908204471188631/4445380809840734345\ 1342918161909573501718841963*c_1100_0^2 + 68240204450501962640466878585079077857713159148/4445380809840734345\ 1342918161909573501718841963*c_1100_0 + 22346390304063832096873522864803999368621335359/4445380809840734345\ 1342918161909573501718841963, c_1001_12 + 87985312418820296978587463749811409684767467992/44453808098\ 407343451342918161909573501718841963*c_1100_0^12 - 2215318053563464769189783198337741033830028983258/44453808098407343\ 451342918161909573501718841963*c_1100_0^11 + 6586317093533417939421307330899574095907560861915/44453808098407343\ 451342918161909573501718841963*c_1100_0^10 - 18509222658931248139312734661074770513701457675616/4445380809840734\ 3451342918161909573501718841963*c_1100_0^9 + 32742699614191386590159224793268344189605859970663/4445380809840734\ 3451342918161909573501718841963*c_1100_0^8 - 50134710671954928906131300557773764223757500760078/4445380809840734\ 3451342918161909573501718841963*c_1100_0^7 + 53862679401291560149459948133127793801736630131306/4445380809840734\ 3451342918161909573501718841963*c_1100_0^6 - 46056232429715519499269143643787036409319493203494/4445380809840734\ 3451342918161909573501718841963*c_1100_0^5 + 25713714856147487592109179322461628962207429948410/4445380809840734\ 3451342918161909573501718841963*c_1100_0^4 - 10029345628757993682864774736173276255201584743456/4445380809840734\ 3451342918161909573501718841963*c_1100_0^3 + 1977759812957774487100861286269416324525754207826/44453808098407343\ 451342918161909573501718841963*c_1100_0^2 - 476901242091454256415971072493208571605902623935/444538080984073434\ 51342918161909573501718841963*c_1100_0 + 44416629363046980510048346108996058356217136344/4445380809840734345\ 1342918161909573501718841963, c_1100_0^13 - 38427/1532*c_1100_0^12 + 55521/766*c_1100_0^11 - 78079/383*c_1100_0^10 + 541539/1532*c_1100_0^9 - 824987/1532*c_1100_0^8 + 216074/383*c_1100_0^7 - 181799/383*c_1100_0^6 + 385107/1532*c_1100_0^5 - 143235/1532*c_1100_0^4 + 11787/766*c_1100_0^3 - 1797/383*c_1100_0^2 + 247/766*c_1100_0 - 23/1532 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.710 Total time: 0.920 seconds, Total memory usage: 32.09MB