Magma V2.19-8 Tue Aug 20 2013 23:50:58 on localhost [Seed = 4122189561] Type ? for help. Type -D to quit. Loading file "L13a4383__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a4383 geometric_solution 10.43682633 oriented_manifold CS_known -0.0000000000000006 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 0 0 2 0132 1230 3012 0132 1 1 1 1 0 1 0 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 0 5 0 0 5 -5 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.701481287812 1.716763633477 0 3 4 2 0132 0132 0132 2031 0 1 1 1 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 0 -1 0 0 6 -6 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.407968586131 0.438657457517 5 1 0 3 0132 1302 0132 2310 1 1 0 1 0 -1 1 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 6 -5 -1 -5 0 5 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.260583588792 0.393929601773 2 1 6 6 3201 0132 0132 3120 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 0 0 0 -1 0 1 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.185282489403 0.766367967234 7 8 5 1 0132 0132 3120 0132 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 0 0 0 0 0 0 0 6 0 0 -6 -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.742318256517 0.514879885696 2 6 4 8 0132 3120 3120 0132 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 0 0 0 0 0 0 0 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.144009512876 0.761668327899 3 5 9 3 3120 3120 0132 0132 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 0 0 0 0 0 0 0 0 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.651209028238 0.612562922391 4 10 10 11 0132 0132 2031 0132 1 1 0 1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 0 0 6 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.516689167102 0.583468202235 10 4 5 9 2031 0132 0132 0321 0 1 0 1 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 5 -5 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.765213028417 0.615885423542 11 8 11 6 1230 0321 3201 0132 0 0 0 1 0 0 0 0 -1 0 1 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 4 0 -5 1 0 1 0 -1 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.681350786429 1.080908419612 11 7 8 7 3012 0132 1302 1302 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 -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.617908578222 0.264975963913 9 9 7 10 2310 3012 0132 1230 1 1 0 0 0 0 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 -6 1 5 -4 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.250924584644 0.851175790422 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_3'], 'c_1001_11' : negation(d['c_0011_9']), 'c_1001_10' : negation(d['c_0011_9']), 'c_1001_5' : negation(d['c_1001_4']), 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0110_10']), 'c_1001_6' : d['c_1001_4'], 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : negation(d['c_0101_11']), 'c_1001_8' : negation(d['c_0011_6']), 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : negation(d['c_0110_10']), 's_0_10' : 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' : d['c_0011_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' : 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' : negation(d['c_0011_11']), 'c_1100_8' : negation(d['c_0101_11']), 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : d['c_0101_3'], 'c_1100_7' : d['c_0110_10'], 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_11']), 'c_1100_2' : d['c_0011_0'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_10'], 'c_1100_10' : d['c_0101_1'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_9']), 'c_1010_6' : d['c_0011_2'], 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : d['c_1001_4'], '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' : d['1'], 's_1_3' : d['1'], 's_1_2' : 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' : negation(d['c_0011_10']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : negation(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_0'], 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0110_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_1'], 'c_0101_6' : d['c_0011_11'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_11'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0101_1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_11'], 'c_0110_8' : negation(d['c_0011_9']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_3'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_11'], 'c_0011_10' : 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_2, c_0011_6, c_0011_9, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0110_10, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 5824659390648349546959457081613421002000940850272424561473654402980\ 02708108311198788210263721276/8475888634488405852970532808481828281\ 10742362764043937828648456194061194028511577390236266875*c_1001_4^1\ 9 - 844089621787394318381755417063746641109627082469838046241278977\ 6499130957249506319437556702084163/84758886344884058529705328084818\ 2828110742362764043937828648456194061194028511577390236266875*c_100\ 1_4^18 - 5536049671667887970212343087766756614988042844251614155635\ 6074088388535596153196475145750488057353/84758886344884058529705328\ 0848182828110742362764043937828648456194061194028511577390236266875\ *c_1001_4^17 - 2349435779463194722244937612664847685566882902550491\ 94386117549674781042366988360653025637335739971/8475888634488405852\ 9705328084818282811074236276404393782864845619406119402851157739023\ 6266875*c_1001_4^16 - 722597863110660116845442515946392569805963666\ 137045966964654940622917278181306133265641320898151249/847588863448\ 8405852970532808481828281107423627640439378286484561940611940285115\ 77390236266875*c_1001_4^15 - 31946310677490197867495994701590494047\ 5462179295448146859090644741741614400331651943600000734330351/16951\ 7772689768117059410656169636565622148472552808787565729691238812238\ 805702315478047253375*c_1001_4^14 - 2397310919977776250802810881011731188268572044338036990174092200372\ 10730934383338635384785338552729/7705353304080368957245938916801662\ 0737340214796731267075331677835823744911682870671839660625*c_1001_4\ ^13 - 3171522875717475148354911382225808670657586302852528442381945\ 513778217095272932144451471454425038891/847588863448840585297053280\ 848182828110742362764043937828648456194061194028511577390236266875*\ c_1001_4^12 - 28241970446665657677725556863808171930327962747226030\ 86901020168327414162455686700064482282411898747/8475888634488405852\ 9705328084818282811074236276404393782864845619406119402851157739023\ 6266875*c_1001_4^11 - 343699824737561609300288019037056004789965328\ 776783523722063752560377364174365858619572288096461122/169517772689\ 7681170594106561696365656221484725528087875657296912388122388057023\ 15478047253375*c_1001_4^10 - 12881269901415200557763562922762024719\ 8375251517659693793846961098262291684725123176466725499878076/16951\ 7772689768117059410656169636565622148472552808787565729691238812238\ 805702315478047253375*c_1001_4^9 - 7652910476714503575984584282301008870805405094678291588419504009417\ 78806540846965812157036281017/3685168971516698196943709916731229687\ 4380102728871475557767324182350486696891807712618968125*c_1001_4^8 + 1991604910987178958387163029442370653056397185721787426903617990811\ 0588833977774392919001851604444/16951777268976811705941065616963656\ 5622148472552808787565729691238812238805702315478047253375*c_1001_4\ ^7 + 58566598710856578083995682010749423895428723325621990361603433\ 542360104820963323081632749353168828/847588863448840585297053280848\ 182828110742362764043937828648456194061194028511577390236266875*c_1\ 001_4^6 + 102603317378788463455199511796883452943790456135660371020\ 8311668661594153438600614880812179473232/16951777268976811705941065\ 6169636565622148472552808787565729691238812238805702315478047253375\ *c_1001_4^5 + 10054119337494400446996008150884885579561310815999212\ 9845512061872956940593063278526184284295532/84758886344884058529705\ 3280848182828110742362764043937828648456194061194028511577390236266\ 875*c_1001_4^4 - 78951632572098440034610520199466941470059980058333\ 3114343508506656809201369277135366065143445903/84758886344884058529\ 7053280848182828110742362764043937828648456194061194028511577390236\ 266875*c_1001_4^3 + 92154598102139696109798304436236635472870409725\ 003293299877296010374671968034457950418553902189/169517772689768117\ 0594106561696365656221484725528087875657296912388122388057023154780\ 47253375*c_1001_4^2 - 662041126281920158155231225188651689116483297\ 29775364536933164619294079554662166366887331094976/8475888634488405\ 8529705328084818282811074236276404393782864845619406119402851157739\ 0236266875*c_1001_4 + 219368332330454527570469773512108305553481888\ 0319689074115506568382897452858784238812079394089/84758886344884058\ 5297053280848182828110742362764043937828648456194061194028511577390\ 236266875, c_0011_0 - 1, c_0011_10 - 18144091563101688735051599691686790296145244980982473852578\ 671654096764628689431312814/848274375178281534061766946261630508265\ 234205156085699584625281499673117366483366761*c_1001_4^19 - 2666547973285150634069233612818852228712298253519651593818079125107\ 38490603156149383812/8482743751782815340617669462616305082652342051\ 56085699584625281499673117366483366761*c_1001_4^18 - 1778918161926460514101373549225817511247707175149260920117007089339\ 335329926872858722132/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^17 - 7680656622311742391453782646601291540665632193041296243236644135816\ 692376536752622103869/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^16 - 2407287673491811646923845022979623748164355643686009583014854007362\ 8125854301065634572009/84827437517828153406176694626163050826523420\ 5156085699584625281499673117366483366761*c_1001_4^15 - 5467092793944260252964694848969133397937075514867353385086711279927\ 2703371277734353461496/84827437517828153406176694626163050826523420\ 5156085699584625281499673117366483366761*c_1001_4^14 - 9336778005076959060576162548769303911872899790008970589953042734886\ 6438080912075095162904/84827437517828153406176694626163050826523420\ 5156085699584625281499673117366483366761*c_1001_4^13 - 1182094473269884974804028937170573007531652779924904336823684109940\ 06586913414547590340766/8482743751782815340617669462616305082652342\ 05156085699584625281499673117366483366761*c_1001_4^12 - 1131139318518804994149054808624558435555256787896938996362302413830\ 46072274943685722583080/8482743751782815340617669462616305082652342\ 05156085699584625281499673117366483366761*c_1001_4^11 - 7854254254185821648173656949745219626032735700918412725865082455331\ 5675329544773937358965/84827437517828153406176694626163050826523420\ 5156085699584625281499673117366483366761*c_1001_4^10 - 3850384715433306988269648367776828729629362940442520218021895147826\ 5351857194634160770742/84827437517828153406176694626163050826523420\ 5156085699584625281499673117366483366761*c_1001_4^9 - 4561418296579758005468581832031507261365351783031846808041523007398\ 47398930327102287014/3688149457296876235051160635920132644631453065\ 8960247808027186152159700755064494207*c_1001_4^8 - 1125718726932193671905051095337985619501902398528157366616988432178\ 42847994957068371803/8482743751782815340617669462616305082652342051\ 56085699584625281499673117366483366761*c_1001_4^7 + 1614583043280713452852429856189594308641817201674383384110533359924\ 745332688042393818788/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^6 + 6766019668800343579556656118544094492156805405980647443785807018021\ 73487434979843399353/8482743751782815340617669462616305082652342051\ 56085699584625281499673117366483366761*c_1001_4^5 + 2840443263681210229624636129050868789499589079175107129802164955229\ 09973592836998135548/8482743751782815340617669462616305082652342051\ 56085699584625281499673117366483366761*c_1001_4^4 + 6911369509363434422823414710214172143728592811581282469117186119660\ 9781365148668907110/84827437517828153406176694626163050826523420515\ 6085699584625281499673117366483366761*c_1001_4^3 + 2586403965456995123500490276484736748035647624182196796644138158705\ 6304139959913086122/84827437517828153406176694626163050826523420515\ 6085699584625281499673117366483366761*c_1001_4^2 + 3089323694975537157252027839020528840498422299896752389774133137041\ 87923616099413213/8482743751782815340617669462616305082652342051560\ 85699584625281499673117366483366761*c_1001_4 + 1161723674070331865968835967860187031610839436799959470550446711766\ 755259269680975581/848274375178281534061766946261630508265234205156\ 085699584625281499673117366483366761, c_0011_11 - 24118196006607972117834836957148914801791792227894104678321\ 21610452131375401587144067/8482743751782815340617669462616305082652\ 34205156085699584625281499673117366483366761*c_1001_4^19 - 3349718773248012434733980601103221534313407160714400496496970443244\ 3108883305159149474/84827437517828153406176694626163050826523420515\ 6085699584625281499673117366483366761*c_1001_4^18 - 2088461427511928503399797253047241191330633734835836572773520662342\ 70161380813916486609/8482743751782815340617669462616305082652342051\ 56085699584625281499673117366483366761*c_1001_4^17 - 8446565687079351809274903545324968931252900829070175909399450481785\ 09344987828613832489/8482743751782815340617669462616305082652342051\ 56085699584625281499673117366483366761*c_1001_4^16 - 2471625876659017090091334206709984463028082211619704346652832630804\ 763987821745086411200/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^15 - 5090270193744000133177469922150261930359684340981894952348304744028\ 218867388862134724421/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^14 - 7789160257394863918805629757163449004713450655604449152777962239941\ 680460091808159918290/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^13 - 8426632302766612355820701214901791244561328861380598456096007480689\ 878655920235341976426/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^12 - 6806619609066376225745190215054460141820151686152744749009888726740\ 524151151226143598321/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^11 - 3575332270947582093931503180220040031287657284917936972393306143614\ 061976640276929656565/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^10 - 1287460098865634993318676788187625111351384213162100612466060070647\ 588981147167681052331/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^9 - 1807394316934941249304458923235776773945095869317666304071978818572\ 731554040788143328/368814945729687623505116063592013264463145306589\ 60247808027186152159700755064494207*c_1001_4^8 + 2857703481493864443820575863311877798495293123922913446979646677765\ 2795351291598977300/84827437517828153406176694626163050826523420515\ 6085699584625281499673117366483366761*c_1001_4^7 + 7229883892091580697614166348029385640767286149621255660676671754201\ 8868798776207953929/84827437517828153406176694626163050826523420515\ 6085699584625281499673117366483366761*c_1001_4^6 - 2028702471780035412211138651974032444545838784735239867228354149976\ 1050932185524253783/84827437517828153406176694626163050826523420515\ 6085699584625281499673117366483366761*c_1001_4^5 + 1205329263748150036720512332716624807742594694902229931149095515116\ 5808034900326047981/84827437517828153406176694626163050826523420515\ 6085699584625281499673117366483366761*c_1001_4^4 - 5096963810615289076867069733434815186617909892164098129006784414800\ 986574775771592671/848274375178281534061766946261630508265234205156\ 085699584625281499673117366483366761*c_1001_4^3 + 2228009608008368630708670491513576021862997422385504109224575580667\ 173963436168373886/848274375178281534061766946261630508265234205156\ 085699584625281499673117366483366761*c_1001_4^2 - 3811111584125595602452533522963076668782122376932050767082577155615\ 6698083585162592/84827437517828153406176694626163050826523420515608\ 5699584625281499673117366483366761*c_1001_4 - 1237933323059258560579066262406284221637744071332389761930665265212\ 32039351782594120/8482743751782815340617669462616305082652342051560\ 85699584625281499673117366483366761, c_0011_2 + 737472318316983830646862525517691067474097944340807533220/53\ 7083451725539091307961554093235756324368214548440602253*c_1001_4^19 + 10297100511804177861397617627003576790430484130146018779049/53708\ 3451725539091307961554093235756324368214548440602253*c_1001_4^18 + 64513247258441735640361149119929158956760744045168761504295/5370834\ 51725539091307961554093235756324368214548440602253*c_1001_4^17 + 261438094506813132320012167770154712378961810821959491242590/537083\ 451725539091307961554093235756324368214548440602253*c_1001_4^16 + 764295920783754597051333285565224528021492717604401044657730/537083\ 451725539091307961554093235756324368214548440602253*c_1001_4^15 + 1566505104231860236487325097847698770056877814825242025597872/53708\ 3451725539091307961554093235756324368214548440602253*c_1001_4^14 + 2353201821282248030807121708886587111803893024171227691954072/53708\ 3451725539091307961554093235756324368214548440602253*c_1001_4^13 + 2428328480088490537289719308774468477051636359629105474311509/53708\ 3451725539091307961554093235756324368214548440602253*c_1001_4^12 + 1730633752393728206926757693878829739566066031224221040187779/53708\ 3451725539091307961554093235756324368214548440602253*c_1001_4^11 + 587524761109194519493100527134135280532054339643934648049762/537083\ 451725539091307961554093235756324368214548440602253*c_1001_4^10 - 110486874709602843059554008978987276931207729909654763366020/537083\ 451725539091307961554093235756324368214548440602253*c_1001_4^9 - 14223978303808847728437392787858238928317655986654578822883/2335145\ 4422849525709041806699705902448885574545584374011*c_1001_4^8 - 157754308477350699934300585377977569529783019742860097037684/537083\ 451725539091307961554093235756324368214548440602253*c_1001_4^7 - 59620944449478067864013210965020497583147597271319575416674/5370834\ 51725539091307961554093235756324368214548440602253*c_1001_4^6 + 2811604827866491163482871517153126847056829430453080204417/53708345\ 1725539091307961554093235756324368214548440602253*c_1001_4^5 - 6901412380376227284812662189290502766481951942362072127402/53708345\ 1725539091307961554093235756324368214548440602253*c_1001_4^4 + 1238116502671514760810972772716531476518017260079103266254/53708345\ 1725539091307961554093235756324368214548440602253*c_1001_4^3 - 1534999793991072519209867628754058772155325303812209110255/53708345\ 1725539091307961554093235756324368214548440602253*c_1001_4^2 + 972668144722876725482688983397438823735658442116697219378/537083451\ 725539091307961554093235756324368214548440602253*c_1001_4 - 452583808581690706172816426793958408051856922299496301943/537083451\ 725539091307961554093235756324368214548440602253, c_0011_6 + 1, c_0011_9 - 764272964358797865728944455691005978001610785445387128417382\ 71558237403740248526426654/8482743751782815340617669462616305082652\ 34205156085699584625281499673117366483366761*c_1001_4^19 - 1107101033412216326095657279312638410655189187702893708567098289895\ 499548420190884144921/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^18 - 7259486319803490067063884823467195061327601490068453389541128694468\ 166457130719001047575/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^17 - 3081641821907328627684941583601486828244529807338324247472958083283\ 3613658779778045762531/84827437517828153406176694626163050826523420\ 5156085699584625281499673117366483366761*c_1001_4^16 - 9485664525145987756808238726236545926311190774874649725080690810882\ 8813405533223281673278/84827437517828153406176694626163050826523420\ 5156085699584625281499673117366483366761*c_1001_4^15 - 2100464303170823211646912039876372173066466521243590912596317941817\ 22925984483418794405121/8482743751782815340617669462616305082652342\ 05156085699584625281499673117366483366761*c_1001_4^14 - 3481082984491900416446464321729660857768643850289718026228527444336\ 26547228300286570898998/8482743751782815340617669462616305082652342\ 05156085699584625281499673117366483366761*c_1001_4^13 - 4220647341554277988613535279668819309546543621093549899443664726628\ 35244299751870699370465/8482743751782815340617669462616305082652342\ 05156085699584625281499673117366483366761*c_1001_4^12 - 3823107317952608752397894831662820341764818268613334542085183347593\ 93796133663886588576665/8482743751782815340617669462616305082652342\ 05156085699584625281499673117366483366761*c_1001_4^11 - 2420402648163547664924242195581797958165314075542778154694612463017\ 02900399710923341326458/8482743751782815340617669462616305082652342\ 05156085699584625281499673117366483366761*c_1001_4^10 - 1013573193087030561474176340325504820745215373388390786621305610868\ 50178668248560004269675/8482743751782815340617669462616305082652342\ 05156085699584625281499673117366483366761*c_1001_4^9 - 6192569572208427941210267571170980704264617890781574365973676981969\ 76218565658307736815/3688149457296876235051160635920132644631453065\ 8960247808027186152159700755064494207*c_1001_4^8 + 7748005665515364360689541533041363015840729103028522645689018163352\ 084379667885495671387/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^7 + 6908030203502774461795751333820058412495332594848797948927959248451\ 844909682503653209949/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^6 + 1307104411054223821480142334063781816361834829916233427479005899281\ 060357923537680696233/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^5 + 4849480138613337289253411142719742962417534204545916728914126145202\ 48543808196637970220/8482743751782815340617669462616305082652342051\ 56085699584625281499673117366483366761*c_1001_4^4 + 2265798893819888246712759678382450035297763927611497337963784934512\ 2988159998266181295/84827437517828153406176694626163050826523420515\ 6085699584625281499673117366483366761*c_1001_4^3 + 8150889141242263911867330140429659232758520198745076686346135399728\ 6054905709241991273/84827437517828153406176694626163050826523420515\ 6085699584625281499673117366483366761*c_1001_4^2 - 7304603805590478180283171212520409513177063539877398715577488951793\ 930262534445603054/848274375178281534061766946261630508265234205156\ 085699584625281499673117366483366761*c_1001_4 + 1817056922977409464337227123586397762442928213495668785581506371388\ 894958048776512816/848274375178281534061766946261630508265234205156\ 085699584625281499673117366483366761, c_0101_0 + 828484136385421848516097889975197284170548131087310522850831\ 69649826321791500294692/8482743751782815340617669462616305082652342\ 05156085699584625281499673117366483366761*c_1001_4^19 + 1786389443659033739625911675766814222479301724547651457728031961242\ 115817361196327075/848274375178281534061766946261630508265234205156\ 085699584625281499673117366483366761*c_1001_4^18 + 1620487692523683776558974709642934793311329714621009244274288499359\ 3967007061546587566/84827437517828153406176694626163050826523420515\ 6085699584625281499673117366483366761*c_1001_4^17 + 8689406618493989624844375037315559166003894545949893611257548704613\ 7366385003368825411/84827437517828153406176694626163050826523420515\ 6085699584625281499673117366483366761*c_1001_4^16 + 3253886146417571693051752691876612846836487703971639372933135928374\ 24503329747065803096/8482743751782815340617669462616305082652342051\ 56085699584625281499673117366483366761*c_1001_4^15 + 8990359688805551528758862039047973469924843782643173828152155077815\ 07216501382232607873/8482743751782815340617669462616305082652342051\ 56085699584625281499673117366483366761*c_1001_4^14 + 1823263898292000565892997426211401683625292781558687222342229203021\ 015853274451420797457/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^13 + 2787058979728436354796154810023089397831658360627705413462930505501\ 252944430838780050894/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^12 + 3138289306774422905749255744417178451856450313791621775289534869459\ 643499455418545646935/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^11 + 2668748350548969840853977410651661426645663693739647454071410303701\ 063115939730110461464/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^10 + 1612018373368450013756942704099098650567550035237833111712619002197\ 826486909815803820872/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^9 + 3121326595988292629622153693252295380525987920209297041505960916795\ 3320496375198730676/36881494572968762350511606359201326446314530658\ 960247808027186152159700755064494207*c_1001_4^8 + 1946080992678912674926633858672053218131957311770672468803920825750\ 53851033907624162241/8482743751782815340617669462616305082652342051\ 56085699584625281499673117366483366761*c_1001_4^7 + 5696199976458162467574912931712507795583497099055250984398896435929\ 2728377639699041618/84827437517828153406176694626163050826523420515\ 6085699584625281499673117366483366761*c_1001_4^6 + 6877645956064149213548775603560784169227014689852473615064547921908\ 137063684508360602/848274375178281534061766946261630508265234205156\ 085699584625281499673117366483366761*c_1001_4^5 + 4301702168408881828007740507175811285795118669531616837092602883761\ 913483773051111840/848274375178281534061766946261630508265234205156\ 085699584625281499673117366483366761*c_1001_4^4 - 2802629163768689566846829301529403264065575332086263332531536805365\ 313024985587793946/848274375178281534061766946261630508265234205156\ 085699584625281499673117366483366761*c_1001_4^3 - 1214228641706514340501313711987251993860090957555236706942705341113\ 140733704635771710/848274375178281534061766946261630508265234205156\ 085699584625281499673117366483366761*c_1001_4^2 - 1060905358798825810214750577598375086155678609343935587001828098914\ 871177077176852667/848274375178281534061766946261630508265234205156\ 085699584625281499673117366483366761*c_1001_4 - 1741059245543244457661214408530226692801829819686049282175496021257\ 228235502214319284/848274375178281534061766946261630508265234205156\ 085699584625281499673117366483366761, c_0101_1 + 198235934789999912692897474140487930385391875611622179303792\ 558116327690882344537677/848274375178281534061766946261630508265234\ 205156085699584625281499673117366483366761*c_1001_4^19 + 5226950904008726375352641795906834704708335997879408725116759729583\ 406300710435142286/848274375178281534061766946261630508265234205156\ 085699584625281499673117366483366761*c_1001_4^18 + 5239209624029249523138725405894269793588148462142687810261357249843\ 8838493271439087584/84827437517828153406176694626163050826523420515\ 6085699584625281499673117366483366761*c_1001_4^17 + 2955615122855580864689382982469300443500735081386788026534245909039\ 54939236270021488114/8482743751782815340617669462616305082652342051\ 56085699584625281499673117366483366761*c_1001_4^16 + 1142795745842798024897116757776210705457107806201991967756058836887\ 324026433965162178486/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^15 + 3246127112994437862957715463388457676130696122306486194727705642100\ 070073096660505366198/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^14 + 6707318257191625665977868508408826349010179140144561622838155045128\ 592342651525421334696/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^13 + 1039677122053957505152778774410206037243536189711138978962085688453\ 8245800920420828765530/84827437517828153406176694626163050826523420\ 5156085699584625281499673117366483366761*c_1001_4^12 + 1180151471822553624737731356748626951632708395373438064949042511941\ 5159293689735397826766/84827437517828153406176694626163050826523420\ 5156085699584625281499673117366483366761*c_1001_4^11 + 1008263669825531068162962488111516639840499950439640791208562082950\ 6964007651183377206748/84827437517828153406176694626163050826523420\ 5156085699584625281499673117366483366761*c_1001_4^10 + 6139073245691982792620397036784953494793158973522525816681675119903\ 181498106458060551065/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^9 + 1191440362310973009798005156735566674805689105852864224119395208756\ 15105336638557320857/3688149457296876235051160635920132644631453065\ 8960247808027186152159700755064494207*c_1001_4^8 + 7673207797177191916850142897523068004440599480785183544081309909994\ 62660616747934699463/8482743751782815340617669462616305082652342051\ 56085699584625281499673117366483366761*c_1001_4^7 + 2005681351215130041263544078523997099559804861443791246284571273168\ 61735211935183385368/8482743751782815340617669462616305082652342051\ 56085699584625281499673117366483366761*c_1001_4^6 + 1588047386450052828337556853146521657700849641436285092587994204092\ 3564032473582129461/84827437517828153406176694626163050826523420515\ 6085699584625281499673117366483366761*c_1001_4^5 + 5378898821523042579372067407965518967788295681823840480009241609434\ 357055489670401938/848274375178281534061766946261630508265234205156\ 085699584625281499673117366483366761*c_1001_4^4 - 1432258610818724815085438739272714864058171173932203657470017777268\ 8366285196064610384/84827437517828153406176694626163050826523420515\ 6085699584625281499673117366483366761*c_1001_4^3 - 6430466664976411456846187190234466453857265350582297654986067301191\ 692825809409617073/848274375178281534061766946261630508265234205156\ 085699584625281499673117366483366761*c_1001_4^2 - 4374510426649130298706504820215834884117306433928373451729753018215\ 453362535121727397/848274375178281534061766946261630508265234205156\ 085699584625281499673117366483366761*c_1001_4 - 2722557941093118163794802740308622524919452318184708701907807467262\ 263631049517760160/848274375178281534061766946261630508265234205156\ 085699584625281499673117366483366761, c_0101_11 + 47404426115102689017985388898491001421861653489338136294064\ 12785657163348269069709517/8482743751782815340617669462616305082652\ 34205156085699584625281499673117366483366761*c_1001_4^19 + 6867377231892246223326056521450417900319983288265057163122146677904\ 1013470560537691029/84827437517828153406176694626163050826523420515\ 6085699584625281499673117366483366761*c_1001_4^18 + 4506528870370343709573578381200450528192392434021928387717448533041\ 31101324520402823006/8482743751782815340617669462616305082652342051\ 56085699584625281499673117366483366761*c_1001_4^17 + 1916315930459127000916324118969839430307466797396792082373605423567\ 917114545723130478367/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^16 + 5914914517083832794351879477549583871892636980470762329277550034829\ 473020084219299309089/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^15 + 1316136074609961722768649060040393542194107607068201778333143968889\ 5882368592853706896389/84827437517828153406176694626163050826523420\ 5156085699584625281499673117366483366761*c_1001_4^14 + 2200568751409325250487425996893227950664218308760626070003467560861\ 7933909668131096639514/84827437517828153406176694626163050826523420\ 5156085699584625281499673117366483366761*c_1001_4^13 + 2712252013023722784257892962500028187565824799639658496814841996035\ 4075490545198162428911/84827437517828153406176694626163050826523420\ 5156085699584625281499673117366483366761*c_1001_4^12 + 2535846383203738281300839246454810143834280458324801525305877618690\ 9936605843128829055709/84827437517828153406176694626163050826523420\ 5156085699584625281499673117366483366761*c_1001_4^11 + 1717453520689848736974852257606643660802919845382776295927028319719\ 5595828569279826536507/84827437517828153406176694626163050826523420\ 5156085699584625281499673117366483366761*c_1001_4^10 + 8496354714258362338041529502235176770935092843192926654540709921378\ 539453405880733621650/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^9 + 1114490818883351824881651851145055565149417765467727709173425682840\ 86005163573744829876/3688149457296876235051160635920132644631453065\ 8960247808027186152159700755064494207*c_1001_4^8 + 4886161693230168217476865481461163144395374714922138968959075609469\ 49900511713311404920/8482743751782815340617669462616305082652342051\ 56085699584625281499673117366483366761*c_1001_4^7 - 7291762013878880143013278708226491043615457101566478451987288444767\ 1006361119168612856/84827437517828153406176694626163050826523420515\ 6085699584625281499673117366483366761*c_1001_4^6 - 4550230057085305272371987581861564677860473812850093590705734554130\ 896043134736715174/848274375178281534061766946261630508265234205156\ 085699584625281499673117366483366761*c_1001_4^5 - 5414086488658347678192448202582904203186788553985228659496212277268\ 4705101997298455277/84827437517828153406176694626163050826523420515\ 6085699584625281499673117366483366761*c_1001_4^4 - 1714425860512825588069333815245381640379789554360484259502818563391\ 2826992665963464697/84827437517828153406176694626163050826523420515\ 6085699584625281499673117366483366761*c_1001_4^3 - 1669527581704824814504280189902940621998483840091063195194564454307\ 8151603954282202669/84827437517828153406176694626163050826523420515\ 6085699584625281499673117366483366761*c_1001_4^2 - 7601629749669746064670816818884406466278468227631164692491241406733\ 41909679119909867/8482743751782815340617669462616305082652342051560\ 85699584625281499673117366483366761*c_1001_4 - 7294177259545570332601325827591516644267424291925151780718929578722\ 54095582119755946/8482743751782815340617669462616305082652342051560\ 85699584625281499673117366483366761, c_0101_3 - 214137440241439456261338845731335946122065039160760516632847\ 5959434069908159730802397/84827437517828153406176694626163050826523\ 4205156085699584625281499673117366483366761*c_1001_4^19 - 3074473653122825069652782923186046285528937763046508065058740587413\ 1083589694686121773/84827437517828153406176694626163050826523420515\ 6085699584625281499673117366483366761*c_1001_4^18 - 1999106452464048524541939271316103300645074225635215507369490794392\ 19822077529817036432/8482743751782815340617669462616305082652342051\ 56085699584625281499673117366483366761*c_1001_4^17 - 8438494050687013375296964732433801580203021963375503455661169799380\ 80939952610181858529/8482743751782815340617669462616305082652342051\ 56085699584625281499673117366483366761*c_1001_4^16 - 2585488867735767517973103619107974728845713803228531149029469573431\ 095739384139893278270/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^15 - 5692147835559513696335709608818049721735120400318502289237391897495\ 921684322067855372833/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^14 - 9407711222155405476047220712499465600218239249974983121511982486606\ 049124221281502969964/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^13 - 1134642428855072294346306491540933246296803833930173005363262102251\ 4836359693770857922175/84827437517828153406176694626163050826523420\ 5156085699584625281499673117366483366761*c_1001_4^12 - 1026652423398987329067722946581065599702773396458717855765384574197\ 9813675244364836305790/84827437517828153406176694626163050826523420\ 5156085699584625281499673117366483366761*c_1001_4^11 - 6398217610109379013445443452449769710367337797904013091704363308820\ 458292336055057083179/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^10 - 2676006283024660622501937534783877551922067787051882465642567360932\ 102025990697750442655/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^9 - 1438499888071626825590519942925236334340410619419366123308093490820\ 2307479761652941958/36881494572968762350511606359201326446314530658\ 960247808027186152159700755064494207*c_1001_4^8 + 1171172130350056763209430065580449868580811595539218613174333358267\ 88650585112771952713/8482743751782815340617669462616305082652342051\ 56085699584625281499673117366483366761*c_1001_4^7 + 1277760657697067350632284354289088845235854149448893216775714767062\ 75838335242515726975/8482743751782815340617669462616305082652342051\ 56085699584625281499673117366483366761*c_1001_4^6 - 3454536210810524118593806309396540345839631110164957611430981717367\ 9495944759282142826/84827437517828153406176694626163050826523420515\ 6085699584625281499673117366483366761*c_1001_4^5 + 1569615590936537857415753962953415641162466987169773069354724601927\ 1774030916940692450/84827437517828153406176694626163050826523420515\ 6085699584625281499673117366483366761*c_1001_4^4 - 6489284475125612691165710215195792605007906879506549365584112693396\ 267182119317049443/848274375178281534061766946261630508265234205156\ 085699584625281499673117366483366761*c_1001_4^3 + 6642832843366930451823589518024469801181369016403789939349341860110\ 240975768478139396/848274375178281534061766946261630508265234205156\ 085699584625281499673117366483366761*c_1001_4^2 - 2938368018466720128821596353213269772235940393207986659453816704285\ 637433677690768833/848274375178281534061766946261630508265234205156\ 085699584625281499673117366483366761*c_1001_4 + 5950543121236009406667370045958232973750334746088453636969406758973\ 78847854366310876/8482743751782815340617669462616305082652342051560\ 85699584625281499673117366483366761, c_0110_10 + 25085614950596271037569562330365931447728363366342078479463\ 2778484713845324078815028536/84827437517828153406176694626163050826\ 5234205156085699584625281499673117366483366761*c_1001_4^19 + 3537359769356232354027901241444061829821544007299242977606087627901\ 804505796793078616175/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^18 + 2243029501002419555866304620485492555563140521143517700787175609529\ 5236180478423151168770/84827437517828153406176694626163050826523420\ 5156085699584625281499673117366483366761*c_1001_4^17 + 9198778042323555967381154431393876363564721055103965157724345461987\ 2146837632375005572784/84827437517828153406176694626163050826523420\ 5156085699584625281499673117366483366761*c_1001_4^16 + 2724923043693370984424549604866563619958524301973194502321517731147\ 54604552580706010405396/8482743751782815340617669462616305082652342\ 05156085699584625281499673117366483366761*c_1001_4^15 + 5699993001701747224745304203840738693635484064767668323233097628662\ 64546946381950280977614/8482743751782815340617669462616305082652342\ 05156085699584625281499673117366483366761*c_1001_4^14 + 8787701582120694985356820185439082641848821965357886504644313906434\ 73812337585573383727064/8482743751782815340617669462616305082652342\ 05156085699584625281499673117366483366761*c_1001_4^13 + 9500842420501629680674001563327289290434318873629180972961895827065\ 94995144766495398997594/8482743751782815340617669462616305082652342\ 05156085699584625281499673117366483366761*c_1001_4^12 + 7315146152855834336443249111777215490244120238594718390995647511399\ 04515917864330885837292/8482743751782815340617669462616305082652342\ 05156085699584625281499673117366483366761*c_1001_4^11 + 3278349008783099686025194954129130516320566063490530092746336994142\ 73251452178194877380846/8482743751782815340617669462616305082652342\ 05156085699584625281499673117366483366761*c_1001_4^10 + 4693290557056366658899912563659386408588684937054207617054602842261\ 9653323470639322589747/84827437517828153406176694626163050826523420\ 5156085699584625281499673117366483366761*c_1001_4^9 - 2739191907073600922254705248600673411008559805907531969926534966154\ 690874440852206707916/368814945729687623505116063592013264463145306\ 58960247808027186152159700755064494207*c_1001_4^8 - 3178599208347500688422211460588687740967875084947110137517007027224\ 2401724142093128750779/84827437517828153406176694626163050826523420\ 5156085699584625281499673117366483366761*c_1001_4^7 - 8082422696326176611417672498035342195781245047511408278460051186303\ 867150295307940514994/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^6 + 5011657836411691084552347136755065303721676354838479681065020551777\ 764525778005645688634/848274375178281534061766946261630508265234205\ 156085699584625281499673117366483366761*c_1001_4^5 - 3886192021642790039714123184059280141555607505684500185155720779188\ 38400179619272924945/8482743751782815340617669462616305082652342051\ 56085699584625281499673117366483366761*c_1001_4^4 + 1979670954105569455156938907655647290685443437190373562359266761291\ 32339261419783991057/8482743751782815340617669462616305082652342051\ 56085699584625281499673117366483366761*c_1001_4^3 - 2988973459802668476900176029025349087417410214981065695910509766839\ 97980700619911572645/8482743751782815340617669462616305082652342051\ 56085699584625281499673117366483366761*c_1001_4^2 + 1075214727775136747828783172042508533258387561017290167451698159085\ 20326718308876403259/8482743751782815340617669462616305082652342051\ 56085699584625281499673117366483366761*c_1001_4 - 1842975397732631030221589169370645299554729887641969278573585061081\ 9810049916253839196/84827437517828153406176694626163050826523420515\ 6085699584625281499673117366483366761, c_1001_4^20 + 98357/6889*c_1001_4^19 + 633617/6889*c_1001_4^18 + 2642144/6889*c_1001_4^17 + 7976536/6889*c_1001_4^16 + 17174370/6889*c_1001_4^15 + 27506566/6889*c_1001_4^14 + 31682449/6889*c_1001_4^13 + 26853983/6889*c_1001_4^12 + 15076240/6889*c_1001_4^11 + 5049220/6889*c_1001_4^10 - 266351/6889*c_1001_4^9 - 776430/6889*c_1001_4^8 - 421292/6889*c_1001_4^7 + 7635/6889*c_1001_4^6 - 31173/6889*c_1001_4^5 + 2417/6889*c_1001_4^4 - 7480/6889*c_1001_4^3 + 2114/6889*c_1001_4^2 - 421/6889*c_1001_4 + 25/6889 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.150 Total time: 0.350 seconds, Total memory usage: 32.09MB