Magma V2.19-8 Tue Aug 20 2013 17:57:22 on localhost [Seed = 3414851509] Type ? for help. Type -D to quit. Loading file "9_31__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 9_31 geometric_solution 11.68631221 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.624626370884 0.505524223698 0 4 4 5 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.416950980029 0.922855006776 0 0 3 6 3012 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.946813127099 1.275094822698 7 7 2 0 0132 1302 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.644511526379 0.731760740834 1 1 8 9 2031 0132 0132 0132 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 -8 9 1 0 -1 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.593420649124 0.899899047082 6 10 1 6 3012 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.416950980029 0.922855006776 5 7 2 5 3201 1230 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.416950980029 0.922855006776 3 8 6 3 0132 2031 3012 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 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.537116733093 1.105636237707 7 11 11 4 1302 0132 1302 0132 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 -1 1 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.537116733093 1.105636237707 10 11 4 10 2031 0321 0132 1230 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -9 9 0 0 0 0 0 -1 0 1 -9 8 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.032656115272 0.782893244939 9 5 9 11 3012 0132 1302 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 -9 0 9 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.624626370884 0.505524223698 8 8 10 9 2031 0132 0132 0321 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 8 0 0 -8 -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.644511526379 0.731760740834 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0011_10'], 'c_1001_5' : d['c_1001_11'], 'c_1001_4' : d['c_1001_11'], 'c_1001_7' : negation(d['c_0011_6']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0101_9'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : d['c_0101_9'], 'c_1001_8' : negation(d['c_0011_9']), 'c_1010_11' : negation(d['c_0011_9']), 'c_1010_10' : d['c_1001_11'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_9']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(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_0101_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0101_11'], 'c_1100_7' : negation(d['c_1001_0']), 'c_1100_6' : negation(d['c_0101_6']), 'c_1100_1' : d['c_0011_6'], 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_0101_6']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_9'], 'c_1100_10' : d['c_0101_9'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_0101_9'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_11'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : negation(d['c_0011_9']), 'c_1010_8' : d['c_1001_11'], 'c_1100_8' : d['c_0101_11'], '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'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : 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' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_11'], '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' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_9']), 'c_0110_10' : d['c_0101_11'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_11']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_10'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_6, c_0011_9, c_0101_0, c_0101_11, c_0101_2, c_0101_6, c_0101_9, c_1001_0, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 7 Groebner basis: [ t - 431/88*c_1001_11^6 + 107/22*c_1001_11^5 - 1055/88*c_1001_11^4 - 251/88*c_1001_11^3 - 295/44*c_1001_11^2 - 19/4*c_1001_11 + 161/88, c_0011_0 - 1, c_0011_10 + 1, c_0011_11 - 3/11*c_1001_11^6 - 7/11*c_1001_11^5 - 4/11*c_1001_11^4 - 19/11*c_1001_11^3 - 27/11*c_1001_11^2 - 2*c_1001_11 - 6/11, c_0011_6 + 2/11*c_1001_11^6 + 1/11*c_1001_11^5 - 1/11*c_1001_11^4 + 9/11*c_1001_11^3 + 7/11*c_1001_11^2 - c_1001_11 - 7/11, c_0011_9 - 1/11*c_1001_11^6 - 6/11*c_1001_11^5 - 5/11*c_1001_11^4 - 10/11*c_1001_11^3 - 20/11*c_1001_11^2 - 2*c_1001_11 - 13/11, c_0101_0 + c_1001_11, c_0101_11 + 1/11*c_1001_11^6 - 5/11*c_1001_11^5 + 5/11*c_1001_11^4 - 1/11*c_1001_11^3 - 2/11*c_1001_11^2 - c_1001_11 + 13/11, c_0101_2 + 1/11*c_1001_11^6 + 6/11*c_1001_11^5 + 5/11*c_1001_11^4 + 10/11*c_1001_11^3 + 20/11*c_1001_11^2 + 2*c_1001_11 + 13/11, c_0101_6 - 7/11*c_1001_11^6 + 2/11*c_1001_11^5 - 13/11*c_1001_11^4 - 15/11*c_1001_11^3 - 19/11*c_1001_11^2 - 14/11, c_0101_9 - 7/11*c_1001_11^6 + 2/11*c_1001_11^5 - 13/11*c_1001_11^4 - 15/11*c_1001_11^3 - 19/11*c_1001_11^2 - 14/11, c_1001_0 - 1/11*c_1001_11^6 + 5/11*c_1001_11^5 - 5/11*c_1001_11^4 + 1/11*c_1001_11^3 + 2/11*c_1001_11^2 + c_1001_11 - 13/11, c_1001_11^7 + 2*c_1001_11^5 + 2*c_1001_11^4 + 4*c_1001_11^3 + c_1001_11^2 + 2*c_1001_11 - 1 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_6, c_0011_9, c_0101_0, c_0101_11, c_0101_2, c_0101_6, c_0101_9, c_1001_0, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 3506825942328426167348350824919153/39790269798637703673497457168677\ 5*c_1001_11^19 + 45435552237031679270762282441617407/19895134899318\ 85183674872858433875*c_1001_11^18 + 32685127192507436943718641343411552/3979026979863770367349745716867\ 75*c_1001_11^17 + 573505495559159520030713964452862679/198951348993\ 1885183674872858433875*c_1001_11^16 + 1906240669454317830726897814287589172/19895134899318851836748728584\ 33875*c_1001_11^15 + 5267619191301211956809035670262231122/19895134\ 89931885183674872858433875*c_1001_11^14 + 12452178327967761339490578814068877236/1989513489931885183674872858\ 433875*c_1001_11^13 + 25057115195296834928914687261203623791/198951\ 3489931885183674872858433875*c_1001_11^12 + 43687920175798272210060733484206826103/1989513489931885183674872858\ 433875*c_1001_11^11 + 64028602441129945395140459587613834732/198951\ 3489931885183674872858433875*c_1001_11^10 + 76905882575752510838359822571077190931/1989513489931885183674872858\ 433875*c_1001_11^9 + 71580216058494937055361277050135929714/1989513\ 489931885183674872858433875*c_1001_11^8 + 47593705773344408147211939321871580583/1989513489931885183674872858\ 433875*c_1001_11^7 + 16896113105434324341001542326394245337/1989513\ 489931885183674872858433875*c_1001_11^6 - 3925997456672980740118557686675695841/19895134899318851836748728584\ 33875*c_1001_11^5 - 9693353994434897554735211007905952958/198951348\ 9931885183674872858433875*c_1001_11^4 - 1253712671985674901482189313481927111/39790269798637703673497457168\ 6775*c_1001_11^3 - 2337044127772363386143287130140034096/1989513489\ 931885183674872858433875*c_1001_11^2 - 552284265355429685697820135321546197/198951348993188518367487285843\ 3875*c_1001_11 - 105310374816434152378780041803503793/1989513489931\ 885183674872858433875, c_0011_0 - 1, c_0011_10 - 103634838382293491492260973696010/2705738346307363849797827\ 08747007*c_1001_11^19 - 470417816356593037427070397583748/270573834\ 630736384979782708747007*c_1001_11^18 - 93349896975110532852333244328194/15916107919455081469398982867471*c\ _1001_11^17 - 5601818612059405138771569093953451/270573834630736384\ 979782708747007*c_1001_11^16 - 19022268747387768312094569418763572/\ 270573834630736384979782708747007*c_1001_11^15 - 57121907762741614996161371144315284/2705738346307363849797827087470\ 07*c_1001_11^14 - 147843728355495656031113910799331925/270573834630\ 736384979782708747007*c_1001_11^13 - 330777553931082095690102457027771406/270573834630736384979782708747\ 007*c_1001_11^12 - 644485808824274026957132562640001027/27057383463\ 0736384979782708747007*c_1001_11^11 - 1090622593809926005289170203331243462/27057383463073638497978270874\ 7007*c_1001_11^10 - 1581610764342942283273991319620950948/270573834\ 630736384979782708747007*c_1001_11^9 - 1933765554603403131785760612531472402/27057383463073638497978270874\ 7007*c_1001_11^8 - 1955966735668755386374210633875623411/2705738346\ 30736384979782708747007*c_1001_11^7 - 1606726336679104132319142850421149188/27057383463073638497978270874\ 7007*c_1001_11^6 - 1048665750228039639208111031699060017/2705738346\ 30736384979782708747007*c_1001_11^5 - 531237419487639039555443597305067147/270573834630736384979782708747\ 007*c_1001_11^4 - 202584870046639547618383630886172147/270573834630\ 736384979782708747007*c_1001_11^3 - 57036976422491676669291555123092419/2705738346307363849797827087470\ 07*c_1001_11^2 - 11187673848148959174740519656006548/27057383463073\ 6384979782708747007*c_1001_11 - 1438505957677217838496386881656090/\ 270573834630736384979782708747007, c_0011_11 + 74821660104011983938366865440390/27057383463073638497978270\ 8747007*c_1001_11^19 + 264666320765797260599354726739592/2705738346\ 30736384979782708747007*c_1001_11^18 + 52675720915657587978701937293744/15916107919455081469398982867471*c\ _1001_11^17 + 3146080112422536887055077272059545/270573834630736384\ 979782708747007*c_1001_11^16 + 10605850810885121968086807036382655/\ 270573834630736384979782708747007*c_1001_11^15 + 30697537795264081855403066543386320/2705738346307363849797827087470\ 07*c_1001_11^14 + 76179549143063529192951307478915156/2705738346307\ 36384979782708747007*c_1001_11^13 + 162210692505635061649055187071957328/270573834630736384979782708747\ 007*c_1001_11^12 + 299960901907720256090951875375740395/27057383463\ 0736384979782708747007*c_1001_11^11 + 475779793962784798599883293421431402/270573834630736384979782708747\ 007*c_1001_11^10 + 635281045941137310512666338005129483/27057383463\ 0736384979782708747007*c_1001_11^9 + 693338257310067914626097820500737123/270573834630736384979782708747\ 007*c_1001_11^8 + 597613884993494048293181578484983105/270573834630\ 736384979782708747007*c_1001_11^7 + 384077020604370483605405431265718861/270573834630736384979782708747\ 007*c_1001_11^6 + 164418535759102292759714773253211947/270573834630\ 736384979782708747007*c_1001_11^5 + 28575453169318819200764625837564558/2705738346307363849797827087470\ 07*c_1001_11^4 - 13511102158595437243002930287847729/27057383463073\ 6384979782708747007*c_1001_11^3 - 110648769497697759473997516869486\ 96/270573834630736384979782708747007*c_1001_11^2 - 3161196026977667695485906461699589/27057383463073638497978270874700\ 7*c_1001_11 - 678380922500899033272343132648173/2705738346307363849\ 79782708747007, c_0011_6 - 65546999943967460077877488771680/270573834630736384979782708\ 747007*c_1001_11^19 - 245170179361980728501532651821734/27057383463\ 0736384979782708747007*c_1001_11^18 - 51304963760954765171135693855040/15916107919455081469398982867471*c\ _1001_11^17 - 3049118158749372730902060892879262/270573834630736384\ 979782708747007*c_1001_11^16 - 10297826783488046665248657760465930/\ 270573834630736384979782708747007*c_1001_11^15 - 30384259456394714649622804448846222/2705738346307363849797827087470\ 07*c_1001_11^14 - 77547318300093220959930488622753144/2705738346307\ 36384979782708747007*c_1001_11^13 - 170995464354368287496724972632178737/270573834630736384979782708747\ 007*c_1001_11^12 - 329195457749139101234900585305202857/27057383463\ 0736384979782708747007*c_1001_11^11 - 549281388626503344439928105789097966/270573834630736384979782708747\ 007*c_1001_11^10 - 785952329636116139096507377289130977/27057383463\ 0736384979782708747007*c_1001_11^9 - 947734669322534636161014367752114848/270573834630736384979782708747\ 007*c_1001_11^8 - 947057444242501323281729437798432655/270573834630\ 736384979782708747007*c_1001_11^7 - 768710483276794671095109625567970631/270573834630736384979782708747\ 007*c_1001_11^6 - 495597059020890933872044934106357129/270573834630\ 736384979782708747007*c_1001_11^5 - 246709575198058308112113885462904663/270573834630736384979782708747\ 007*c_1001_11^4 - 92019025273472689905603133632650649/2705738346307\ 36384979782708747007*c_1001_11^3 - 25558680030268301945319121970763219/2705738346307363849797827087470\ 07*c_1001_11^2 - 5681254217621846927722927576936552/270573834630736\ 384979782708747007*c_1001_11 - 1008812731166116133269012197641667/2\ 70573834630736384979782708747007, c_0011_9 + 74087303619869218734657922122435/270573834630736384979782708\ 747007*c_1001_11^19 + 334403536243300637597308427780563/27057383463\ 0736384979782708747007*c_1001_11^18 + 68076382126919023225836741139114/15916107919455081469398982867471*c\ _1001_11^17 + 4020407785117063026476725649775807/270573834630736384\ 979782708747007*c_1001_11^16 + 13712121552838949581831776338875513/\ 270573834630736384979782708747007*c_1001_11^15 + 41215637894038649335716809901827897/2705738346307363849797827087470\ 07*c_1001_11^14 + 107015796515029842974086160202614102/270573834630\ 736384979782708747007*c_1001_11^13 + 239752233902125842303174654742805940/270573834630736384979782708747\ 007*c_1001_11^12 + 467757286303046030342033270082507750/27057383463\ 0736384979782708747007*c_1001_11^11 + 791539209390019051685122964279286876/270573834630736384979782708747\ 007*c_1001_11^10 + 1147646446516871603501492244175174691/2705738346\ 30736384979782708747007*c_1001_11^9 + 1398375372075846279953670506935310113/27057383463073638497978270874\ 7007*c_1001_11^8 + 1403005741091919669235761198248796966/2705738346\ 30736384979782708747007*c_1001_11^7 + 1130554794056530479049307091118139364/27057383463073638497978270874\ 7007*c_1001_11^6 + 711517297157341578869658186375793570/27057383463\ 0736384979782708747007*c_1001_11^5 + 335864646302049211859410285985059970/270573834630736384979782708747\ 007*c_1001_11^4 + 113582865275234445217749464201140470/270573834630\ 736384979782708747007*c_1001_11^3 + 25899559947161396335270901375788701/2705738346307363849797827087470\ 07*c_1001_11^2 + 4348710010896473855897332866018207/270573834630736\ 384979782708747007*c_1001_11 + 264705770460213170506850662700417/27\ 0573834630736384979782708747007, c_0101_0 + 52379153674608149197483790235100/270573834630736384979782708\ 747007*c_1001_11^19 + 240083861277256530031149390062020/27057383463\ 0736384979782708747007*c_1001_11^18 + 47968211553621396595463927599921/15916107919455081469398982867471*c\ _1001_11^17 + 2892477568682059253425267779287260/270573834630736384\ 979782708747007*c_1001_11^16 + 9788397936975461362131770132785864/2\ 70573834630736384979782708747007*c_1001_11^15 + 29508280901419149978120209608919255/2705738346307363849797827087470\ 07*c_1001_11^14 + 76717606832266122451235720017073909/2705738346307\ 36384979782708747007*c_1001_11^13 + 172640652265504618815124789997443486/270573834630736384979782708747\ 007*c_1001_11^12 + 338395390008261914323522141441070623/27057383463\ 0736384979782708747007*c_1001_11^11 + 576723024075068464375847849781016201/270573834630736384979782708747\ 007*c_1001_11^10 + 843581341217804779350031575559899517/27057383463\ 0736384979782708747007*c_1001_11^9 + 1043200703543001779230459283275234340/27057383463073638497978270874\ 7007*c_1001_11^8 + 1069432331758830746917070239527616662/2705738346\ 30736384979782708747007*c_1001_11^7 + 892042826349148315444042942112692192/270573834630736384979782708747\ 007*c_1001_11^6 + 590597107970428174392956402894405863/270573834630\ 736384979782708747007*c_1001_11^5 + 302932912006905622089021780121823742/270573834630736384979782708747\ 007*c_1001_11^4 + 116843093090169193689476383364984562/270573834630\ 736384979782708747007*c_1001_11^3 + 34204967415928915911420512152975888/2705738346307363849797827087470\ 07*c_1001_11^2 + 7739910889938075792638173884335534/270573834630736\ 384979782708747007*c_1001_11 + 1229489825710955170334248195384077/2\ 70573834630736384979782708747007, c_0101_11 + 3908420425095619794401805510650/270573834630736384979782708\ 747007*c_1001_11^19 + 45473615279313433180978047267840/270573834630\ 736384979782708747007*c_1001_11^18 + 8027414031026225228399121260258/15916107919455081469398982867471*c_\ 1001_11^17 + 504318807277790755585552389106934/27057383463073638497\ 9782708747007*c_1001_11^16 + 1720661116160547296521589551522642/270\ 573834630736384979782708747007*c_1001_11^15 + 5526949428891137942771440646474088/27057383463073638497978270874700\ 7*c_1001_11^14 + 15118687286532918648400368986129455/27057383463073\ 6384979782708747007*c_1001_11^13 + 35914441338748444890892602650809079/2705738346307363849797827087470\ 07*c_1001_11^12 + 73664189440974602648203971999194418/2705738346307\ 36384979782708747007*c_1001_11^11 + 132059623379125726278198003953756095/270573834630736384979782708747\ 007*c_1001_11^10 + 203113336893668440902327429105533920/27057383463\ 0736384979782708747007*c_1001_11^9 + 265378523121053579270786047509086641/270573834630736384979782708747\ 007*c_1001_11^8 + 287304123420476284727559020534811513/270573834630\ 736384979782708747007*c_1001_11^7 + 253972213538343352594530876491066679/270573834630736384979782708747\ 007*c_1001_11^6 + 177563046039254267479971523858425641/270573834630\ 736384979782708747007*c_1001_11^5 + 95969770565825985597749504164527591/2705738346307363849797827087470\ 07*c_1001_11^4 + 37602409115738742585723626209627629/27057383463073\ 6384979782708747007*c_1001_11^3 + 106614440032697106683524153786263\ 91/270573834630736384979782708747007*c_1001_11^2 + 1862145866379658618142021810557917/27057383463073638497978270874700\ 7*c_1001_11 + 598308834350573685369170152605407/2705738346307363849\ 79782708747007, c_0101_2 - 14642108213095770075285037669295/270573834630736384979782708\ 747007*c_1001_11^19 + 48427973858168549046898649095574/270573834630\ 736384979782708747007*c_1001_11^18 + 7893067943280447833290860409283/15916107919455081469398982867471*c_\ 1001_11^17 + 485762673863823326505198559985145/27057383463073638497\ 9782708747007*c_1001_11^16 + 1769853615140229284000305991623197/270\ 573834630736384979782708747007*c_1001_11^15 + 6905881994836909687022366410705356/27057383463073638497978270874700\ 7*c_1001_11^14 + 21968752775688351978198152672565827/27057383463073\ 6384979782708747007*c_1001_11^13 + 58897753576296185877956419473837240/2705738346307363849797827087470\ 07*c_1001_11^12 + 132622802099390393194069340099736496/270573834630\ 736384979782708747007*c_1001_11^11 + 258797915662458320011414107314288874/270573834630736384979782708747\ 007*c_1001_11^10 + 430671564477540555753034385914558874/27057383463\ 0736384979782708747007*c_1001_11^9 + 604414879399884354076610838548051348/270573834630736384979782708747\ 007*c_1001_11^8 + 696224691184276772441126233056417023/270573834630\ 736384979782708747007*c_1001_11^7 + 646064675610856294584442756017640138/270573834630736384979782708747\ 007*c_1001_11^6 + 468727519525364276798554238268152470/270573834630\ 736384979782708747007*c_1001_11^5 + 259217776481159377445306424626150425/270573834630736384979782708747\ 007*c_1001_11^4 + 104051752074834582757986300834643590/270573834630\ 736384979782708747007*c_1001_11^3 + 29433550122494246588316405768413487/2705738346307363849797827087470\ 07*c_1001_11^2 + 5431592371415771398888441763231108/270573834630736\ 384979782708747007*c_1001_11 + 754766527091736676492248009368466/27\ 0573834630736384979782708747007, c_0101_6 - 9138182647217123531250282355720/2459762133006694408907115534\ 0637*c_1001_11^19 - 23080159562809410858561604875401/24597621330066\ 944089071155340637*c_1001_11^18 - 5385153858514925043883929992771/1\ 446918901768643769945362078861*c_1001_11^17 - 313064445221245141186927536870837/24597621330066944089071155340637*\ c_1001_11^16 - 1048241083360980832377546954929329/24597621330066944\ 089071155340637*c_1001_11^15 - 2938757903068929615645618990521784/2\ 4597621330066944089071155340637*c_1001_11^14 - 7170154814308896596376215224977191/24597621330066944089071155340637\ *c_1001_11^13 - 15014495932008501627865884472209718/245976213300669\ 44089071155340637*c_1001_11^12 - 2758869174929971030683077821380813\ 8/24597621330066944089071155340637*c_1001_11^11 - 43435457987489215962077843188562911/2459762133006694408907115534063\ 7*c_1001_11^10 - 58405347876002628644513134258307609/24597621330066\ 944089071155340637*c_1001_11^9 - 6552276231762164977086014913591625\ 4/24597621330066944089071155340637*c_1001_11^8 - 61123948937630145758087026434744532/2459762133006694408907115534063\ 7*c_1001_11^7 - 46476345743034653383220376213303336/245976213300669\ 44089071155340637*c_1001_11^6 - 28792701344095932593012617041044720\ /24597621330066944089071155340637*c_1001_11^5 - 13958085105898770177780716618717982/2459762133006694408907115534063\ 7*c_1001_11^4 - 5232754385264710621344372468677417/2459762133006694\ 4089071155340637*c_1001_11^3 - 1259166075109411123687054068908336/2\ 4597621330066944089071155340637*c_1001_11^2 - 198612358327016359563665545646408/24597621330066944089071155340637*\ c_1001_11 - 6715533083528510615972013664083/24597621330066944089071\ 155340637, c_0101_9 + 43434454368554970617892349331025/270573834630736384979782708\ 747007*c_1001_11^19 + 131926994433515062718572275781490/27057383463\ 0736384979782708747007*c_1001_11^18 + 30012139727038088203180821602228/15916107919455081469398982867471*c\ _1001_11^17 + 1732044785668745973646400267365327/270573834630736384\ 979782708747007*c_1001_11^16 + 5859905279211365083887458597072403/2\ 70573834630736384979782708747007*c_1001_11^15 + 16904456049813444320070680368124725/2705738346307363849797827087470\ 07*c_1001_11^14 + 42477817240297171307792645368555465/2705738346307\ 36384979782708747007*c_1001_11^13 + 91814837768365488934115857510961915/2705738346307363849797827087470\ 07*c_1001_11^12 + 173889624731692628841223416653841473/270573834630\ 736384979782708747007*c_1001_11^11 + 283938948237263000931743631402111793/270573834630736384979782708747\ 007*c_1001_11^10 + 397751682688012368414440997078377454/27057383463\ 0736384979782708747007*c_1001_11^9 + 467050781263961032990969320045756700/270573834630736384979782708747\ 007*c_1001_11^8 + 454346588450614819830009287485990326/270573834630\ 736384979782708747007*c_1001_11^7 + 356534994522576451284039615886632092/270573834630736384979782708747\ 007*c_1001_11^6 + 222475612464256092798203711043611132/270573834630\ 736384979782708747007*c_1001_11^5 + 106061671794597641254900578168307482/270573834630736384979782708747\ 007*c_1001_11^4 + 38917312049740747726476404608445661/2705738346307\ 36384979782708747007*c_1001_11^3 + 10423300351194620146122592543479098/2705738346307363849797827087470\ 07*c_1001_11^2 + 2539465456117450809473131780914090/270573834630736\ 384979782708747007*c_1001_11 + 79061715653247832594497525926528/270\ 573834630736384979782708747007, c_1001_0 - 55926647439324544954795132450025/270573834630736384979782708\ 747007*c_1001_11^19 - 182006084817810336337391917865570/27057383463\ 0736384979782708747007*c_1001_11^18 - 38665335679343194892604967759035/15916107919455081469398982867471*c\ _1001_11^17 - 2282114629409645468340644075865507/270573834630736384\ 979782708747007*c_1001_11^16 - 7706394532758232575161623945337611/2\ 70573834630736384979782708747007*c_1001_11^15 - 22252511795283575103298078002211761/2705738346307363849797827087470\ 07*c_1001_11^14 - 55611168923227732236208730636597130/2705738346307\ 36384979782708747007*c_1001_11^13 - 119668075138813372703943155446487876/270573834630736384979782708747\ 007*c_1001_11^12 - 225179087620153956693107767154366730/27057383463\ 0736384979782708747007*c_1001_11^11 - 365575581165189063710175299191363729/270573834630736384979782708747\ 007*c_1001_11^10 - 507368520034466535139433709333385334/27057383463\ 0736384979782708747007*c_1001_11^9 - 590148316157620029520242703497532633/270573834630736384979782708747\ 007*c_1001_11^8 - 569314864534344412260566601431281067/270573834630\ 736384979782708747007*c_1001_11^7 - 448746961585870214519243958116937053/270573834630736384979782708747\ 007*c_1001_11^6 - 288315030763690401151084411055932685/270573834630\ 736384979782708747007*c_1001_11^5 - 148814643947632349592212148666752512/270573834630736384979782708747\ 007*c_1001_11^4 - 61428671785846705502354880144880716/2705738346307\ 36384979782708747007*c_1001_11^3 - 18459464210891114950557485476429810/2705738346307363849797827087470\ 07*c_1001_11^2 - 3440344804056841817622641780811392/270573834630736\ 384979782708747007*c_1001_11 - 222128236140719056558085798556062/27\ 0573834630736384979782708747007, c_1001_11^20 + 19/5*c_1001_11^19 + 14*c_1001_11^18 + 243/5*c_1001_11^17 + 824/5*c_1001_11^16 + 2449/5*c_1001_11^15 + 6337/5*c_1001_11^14 + 14197/5*c_1001_11^13 + 27851/5*c_1001_11^12 + 47519/5*c_1001_11^11 + 70027/5*c_1001_11^10 + 87788/5*c_1001_11^9 + 92486/5*c_1001_11^8 + 80554/5*c_1001_11^7 + 57178/5*c_1001_11^6 + 32364/5*c_1001_11^5 + 2868*c_1001_11^4 + 4818/5*c_1001_11^3 + 1226/5*c_1001_11^2 + 219/5*c_1001_11 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.790 Total time: 1.000 seconds, Total memory usage: 32.09MB