Magma V2.19-8 Wed Aug 21 2013 00:38:58 on localhost [Seed = 3103698656] Type ? for help. Type -D to quit. Loading file "K14n2543__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n2543 geometric_solution 11.94786827 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -9 0 0 9 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.014829778252 1.547899471838 0 2 4 5 0132 3201 3201 0132 0 0 0 0 0 0 0 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 0 0 0 9 0 0 -9 0 0 0 0 1 8 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.518422939274 0.652782273409 6 0 1 6 0132 0132 2310 3201 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 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.203449329313 0.615362947779 7 8 9 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.918450412412 0.980725226822 1 5 0 6 2310 3120 0132 0213 0 0 0 0 0 1 0 -1 -1 0 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 -8 -1 9 9 0 -9 0 0 8 0 -8 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.937125192362 0.967910181370 10 4 1 8 0132 3120 0132 2310 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 9 -9 0 -8 0 8 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.448838723394 0.436117064542 2 2 9 4 0132 2310 3120 0213 0 0 0 0 0 0 -1 1 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 9 -9 -8 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.484330299731 1.464929483661 3 8 10 11 0132 0321 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.391754061283 0.559205666995 5 3 12 7 3201 0132 0132 0321 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -8 0 0 8 -1 1 0 0 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.224112477961 1.066742769134 10 12 6 3 1302 0132 3120 0132 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 1 0 0 -1 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.530617199439 0.645800658834 5 9 11 7 0132 2031 3201 0132 0 0 0 0 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 0 0 8 0 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.310049782803 0.739603279228 10 12 7 12 2310 0213 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.071001456001 1.153850521585 11 9 11 8 3120 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.688426097791 0.662120477080 ==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' : negation(d['c_0101_11']), 'c_1001_12' : d['c_1001_11'], 'c_1001_5' : negation(d['c_1001_2']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : negation(d['c_1001_0']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_11'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_0'], 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : negation(d['c_0011_12']), 's_3_11' : 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_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0011_12']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0101_6']), 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0101_6']), 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : negation(d['c_0011_0']), 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0101_6']), 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : negation(d['c_0011_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0011_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_11'], 'c_1010_8' : d['c_1001_11'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(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_12']), 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_3'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0101_0'], 'c_0110_12' : negation(d['c_0101_10']), 'c_0101_12' : d['c_0011_11'], '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_0101_1'], 'c_0101_3' : d['c_0101_11'], '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' : negation(d['c_0101_10']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0011_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_6, c_1001_0, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 6903469052346655258293576306085376/7925359798957949813987*c_1001_2^\ 33 - 23434369858103417367384866689109504/7925359798957949813987*c_1\ 001_2^32 + 41782055483708105898442537093067776/79253597989579498139\ 87*c_1001_2^31 + 245603500396643867280492199883733376/7925359798957\ 949813987*c_1001_2^30 + 11944387223031227554900735823244032/7925359\ 798957949813987*c_1001_2^29 - 1133771483908492796477497987381916528\ /7925359798957949813987*c_1001_2^28 - 927179625285206010275906024413988928/7925359798957949813987*c_1001_\ 2^27 + 2936701024053823233128399506855540728/7925359798957949813987\ *c_1001_2^26 + 4322339778614420535660763801610809292/79253597989579\ 49813987*c_1001_2^25 - 4283109663275909511794808493913561024/792535\ 9798957949813987*c_1001_2^24 - 218242285848209689819029781658922550\ 71/15850719597915899627974*c_1001_2^23 + 4150048943489121533360048854639661805/15850719597915899627974*c_100\ 1_2^22 + 17718424236334004779041194151975841519/7925359798957949813\ 987*c_1001_2^21 + 5021343706906659109286398440848020785/79253597989\ 57949813987*c_1001_2^20 - 38187156189018453547015502475677199415/15\ 850719597915899627974*c_1001_2^19 - 26128874437254693008838337926665183115/15850719597915899627974*c_10\ 01_2^18 + 25637221210989326471767607695075392219/158507195979158996\ 27974*c_1001_2^17 + 153230307669699830569367926810726113/7694524076\ 6582037029*c_1001_2^16 - 3547715310352915386651156783937306057/7925\ 359798957949813987*c_1001_2^15 - 2325282379151740089370137378069220\ 5291/15850719597915899627974*c_1001_2^14 - 4438831941763503033121497768108896171/15850719597915899627974*c_100\ 1_2^13 + 5112291174468023973085817195030249047/79253597989579498139\ 87*c_1001_2^12 + 5746552577405355259170550218022850025/158507195979\ 15899627974*c_1001_2^11 - 1896153843286696658411996987429070319/158\ 50719597915899627974*c_1001_2^10 - 2680294088915767021482763110893770429/15850719597915899627974*c_100\ 1_2^9 - 223782261802234461337864618366271991/7925359798957949813987\ *c_1001_2^8 + 258151652478831780153611018598381982/7925359798957949\ 813987*c_1001_2^7 + 149394654897757734605870618294107199/7925359798\ 957949813987*c_1001_2^6 + 11565971771313773358733084931096049/79253\ 59798957949813987*c_1001_2^5 - 36136683643808423690095507120331817/\ 15850719597915899627974*c_1001_2^4 - 8822505350860300115818788656513921/7925359798957949813987*c_1001_2^\ 3 - 1970244306566555275613127745806586/7925359798957949813987*c_100\ 1_2^2 - 458754609488399656475373044581011/15850719597915899627974*c\ _1001_2 - 22626368059108936808539371754887/15850719597915899627974, c_0011_0 - 1, c_0011_10 - 2*c_1001_2^2 + 1, c_0011_11 - 237938156519230464/847157489*c_1001_2^33 - 653722636844663808/847157489*c_1001_2^32 + 1930927682265909248/847157489*c_1001_2^31 + 7422093094317135616/847157489*c_1001_2^30 - 4875140947569069056/847157489*c_1001_2^29 - 38170061711615769696/847157489*c_1001_2^28 - 6578238803016347200/847157489*c_1001_2^27 + 116418798458806859376/847157489*c_1001_2^26 + 78900971471917629016/847157489*c_1001_2^25 - 229584698563473054256/847157489*c_1001_2^24 - 259245297845036352715/847157489*c_1001_2^23 + 293078647715272946323/847157489*c_1001_2^22 + 509880188667680848910/847157489*c_1001_2^21 - 209554988676739888288/847157489*c_1001_2^20 - 679531773208269012075/847157489*c_1001_2^19 - 3435855597611928417/847157489*c_1001_2^18 + 631775063183791867781/847157489*c_1001_2^17 + 196764422492334242802/847157489*c_1001_2^16 - 400497538395025244310/847157489*c_1001_2^15 - 243834132849222939303/847157489*c_1001_2^14 + 154966790429315827480/847157489*c_1001_2^13 + 165290517325256738858/847157489*c_1001_2^12 - 19221132421336180565/847157489*c_1001_2^11 - 67607031615971677455/847157489*c_1001_2^10 - 13446144296948941942/847157489*c_1001_2^9 + 14848661769676243025/847157489*c_1001_2^8 + 7551974587070553494/847157489*c_1001_2^7 - 686593594849623497/847157489*c_1001_2^6 - 1424348577490162345/847157489*c_1001_2^5 - 331259007687618025/847157489*c_1001_2^4 + 44589875924014464/847157489*c_1001_2^3 + 35232964470299354/847157489*c_1001_2^2 + 6516450788198253/847157489*c_1001_2 + 431135334294695/847157489, c_0011_12 - 1043509482565427200/847157489*c_1001_2^33 - 3727881983681733632/847157489*c_1001_2^32 + 5764189127288082432/847157489*c_1001_2^31 + 38482979023794224128/847157489*c_1001_2^30 + 7837597265952793856/847157489*c_1001_2^29 - 173621459757504514560/847157489*c_1001_2^28 - 169725917415715730464/847157489*c_1001_2^27 + 431522403375282080416/847157489*c_1001_2^26 + 737769787337702275984/847157489*c_1001_2^25 - 566900541793127190056/847157489*c_1001_2^24 - 1799342625638365922624/847157489*c_1001_2^23 + 83247788245393636735/847157489*c_1001_2^22 + 2832843189131085640360/847157489*c_1001_2^21 + 1171464831993885802049/847157489*c_1001_2^20 - 2927235541690574833578/847157489*c_1001_2^19 - 2473603318341780176045/847157489*c_1001_2^18 + 1798460945822511069462/847157489*c_1001_2^17 + 2792902616150794841083/847157489*c_1001_2^16 - 284023993935227687084/847157489*c_1001_2^15 - 1962825214281138310935/847157489*c_1001_2^14 - 562378924964307363397/847157489*c_1001_2^13 + 811038077670999727934/847157489*c_1001_2^12 + 556924805725662363252/847157489*c_1001_2^11 - 118577212465447991740/847157489*c_1001_2^10 - 239364317339620362716/847157489*c_1001_2^9 - 54282917212966400322/847157489*c_1001_2^8 + 41959716387342033834/847157489*c_1001_2^7 + 28371042805401049624/847157489*c_1001_2^6 + 3267515129204869659/847157489*c_1001_2^5 - 3098343392560804127/847157489*c_1001_2^4 - 1667220427646879916/847157489*c_1001_2^3 - 389920219996755061/847157489*c_1001_2^2 - 46957652089998359/847157489*c_1001_2 - 2381937011904161/847157489, c_0011_3 - 68790462743484416/847157489*c_1001_2^33 - 137378673664768000/847157489*c_1001_2^32 + 722086256831994880/847157489*c_1001_2^31 + 1795120700280256000/847157489*c_1001_2^30 - 3173968667930859520/847157489*c_1001_2^29 - 10717707911902815168/847157489*c_1001_2^28 + 6567380012161537280/847157489*c_1001_2^27 + 38672127764227198656/847157489*c_1001_2^26 - 571085398657236400/847157489*c_1001_2^25 - 93552123689141711984/847157489*c_1001_2^24 - 35960474140048144670/847157489*c_1001_2^23 + 158260117377239692034/847157489*c_1001_2^22 + 113756121792243365719/847157489*c_1001_2^21 - 187517495895726485450/847157489*c_1001_2^20 - 203508465997568168877/847157489*c_1001_2^19 + 147050255516924672691/847157489*c_1001_2^18 + 245755803897898630371/847157489*c_1001_2^17 - 57809435719971070550/847157489*c_1001_2^16 - 208156625270141287258/847157489*c_1001_2^15 - 19089771921305909248/847157489*c_1001_2^14 + 121510476914307407516/847157489*c_1001_2^13 + 44690497418415836579/847157489*c_1001_2^12 - 44601176092794702699/847157489*c_1001_2^11 - 31398644967064295186/847157489*c_1001_2^10 + 6813322889300934604/847157489*c_1001_2^9 + 11847350450320286321/847157489*c_1001_2^8 + 1813824408414321824/847157489*c_1001_2^7 - 2133824146543261473/847157489*c_1001_2^6 - 1035378237673021359/847157489*c_1001_2^5 - 4782753973500756/847157489*c_1001_2^4 + 129821062189016163/847157489*c_1001_2^3 + 45498863998660640/847157489*c_1001_2^2 + 6913153800242598/847157489*c_1001_2 + 416573995298611/847157489, c_0101_0 - 1024*c_1001_2^33 - 4096*c_1001_2^32 + 4096*c_1001_2^31 + 40192*c_1001_2^30 + 23808*c_1001_2^29 - 167200*c_1001_2^28 - 239328*c_1001_2^27 + 352816*c_1001_2^26 + 905144*c_1001_2^25 - 248472*c_1001_2^24 - 2004769*c_1001_2^23 - 669960*c_1001_2^22 + 2818668*c_1001_2^21 + 2334096*c_1001_2^20 - 2388374*c_1001_2^19 - 3652912*c_1001_2^18 + 736500*c_1001_2^17 + 3495754*c_1001_2^16 + 884638*c_1001_2^15 - 2048337*c_1001_2^14 - 1370387*c_1001_2^13 + 563311*c_1001_2^12 + 885106*c_1001_2^11 + 115202*c_1001_2^10 - 284584*c_1001_2^9 - 152938*c_1001_2^8 + 18618*c_1001_2^7 + 45320*c_1001_2^6 + 15023*c_1001_2^5 - 1676*c_1001_2^4 - 2926*c_1001_2^3 - 1078*c_1001_2^2 - 210*c_1001_2 - 21, c_0101_1 - 1003170872735421440/847157489*c_1001_2^33 - 3548107403644007424/847157489*c_1001_2^32 + 5670582036068112384/847157489*c_1001_2^31 + 36794510179344816384/847157489*c_1001_2^30 + 6181976613737738752/847157489*c_1001_2^29 - 167160679555867986080/847157489*c_1001_2^28 - 156935890180741721728/847157489*c_1001_2^27 + 420723668521122596304/847157489*c_1001_2^26 + 693223765890243294280/847157489*c_1001_2^25 - 571151490114392525312/847157489*c_1001_2^24 - 1706946495563415027581/847157489*c_1001_2^23 + 145510621010224162015/847157489*c_1001_2^22 + 2714367825626947597874/847157489*c_1001_2^21 + 1019297571090933671966/847157489*c_1001_2^20 - 2847377953596478644051/847157489*c_1001_2^19 - 2260707685785385142462/847157489*c_1001_2^18 + 1810284187877916312621/847157489*c_1001_2^17 + 2602674493779876291505/847157489*c_1001_2^16 - 371504677942372448851/847157489*c_1001_2^15 - 1859550575232717817290/847157489*c_1001_2^14 - 466141751642713360145/847157489*c_1001_2^13 + 788775439625426580145/847157489*c_1001_2^12 + 500349526535170465416/847157489*c_1001_2^11 - 129721988113588168240/847157489*c_1001_2^10 - 221745435050401908142/847157489*c_1001_2^9 - 44085354198792735495/847157489*c_1001_2^8 + 40684241841243346365/847157489*c_1001_2^7 + 25412741071416831374/847157489*c_1001_2^6 + 2416544112376277868/847157489*c_1001_2^5 - 2924021637904203434/847157489*c_1001_2^4 - 1484982534459317785/847157489*c_1001_2^3 - 336651257792465647/847157489*c_1001_2^2 - 39495716540307078/847157489*c_1001_2 - 1954212412181897/847157489, c_0101_10 - 1245590040392278016/847157489*c_1001_2^33 - 4488840894344438784/847157489*c_1001_2^32 + 6771574955913643008/847157489*c_1001_2^31 + 46240708763589146624/847157489*c_1001_2^30 + 10567239246709200128/847157489*c_1001_2^29 - 207936807881402909952/847157489*c_1001_2^28 - 208676036121921754656/847157489*c_1001_2^27 + 513607004848763610432/847157489*c_1001_2^26 + 898612222200918555728/847157489*c_1001_2^25 - 663123314847160075256/847157489*c_1001_2^24 - 2181660746155430469880/847157489*c_1001_2^23 + 57452299226031281711/847157489*c_1001_2^22 + 3421439019327498449149/847157489*c_1001_2^21 + 1476911977969018213520/847157489*c_1001_2^20 - 3517153969991624405982/847157489*c_1001_2^19 - 3051943129262127236113/847157489*c_1001_2^18 + 2136173383853073376526/847157489*c_1001_2^17 + 3419771107602114869205/847157489*c_1001_2^16 - 302801013339883224367/847157489*c_1001_2^15 - 2391552932013292414666/847157489*c_1001_2^14 - 708828510955821806327/847157489*c_1001_2^13 + 982463616486871214288/847157489*c_1001_2^12 + 686940171664175489830/847157489*c_1001_2^11 - 140342609147204032369/847157489*c_1001_2^10 - 293168389158064571169/847157489*c_1001_2^9 - 67620112568464631089/847157489*c_1001_2^8 + 51065510651060625386/847157489*c_1001_2^7 + 34824748793402120318/847157489*c_1001_2^6 + 4062441038882113805/847157489*c_1001_2^5 - 3782738946210833996/847157489*c_1001_2^4 - 2041245463833595918/847157489*c_1001_2^3 - 477513748676096052/847157489*c_1001_2^2 - 57480037365076867/847157489*c_1001_2 - 2913450539943342/847157489, c_0101_11 - 563123960308076544/847157489*c_1001_2^33 - 2036938789048132608/847157489*c_1001_2^32 + 3019383211811505152/847157489*c_1001_2^31 + 20909161078281845760/847157489*c_1001_2^30 + 5184353641231812864/847157489*c_1001_2^29 - 93517904874593542272/847157489*c_1001_2^28 - 95987658543895232160/847157489*c_1001_2^27 + 228720267098324199552/847157489*c_1001_2^26 + 409439050376978128944/847157489*c_1001_2^25 - 287469017734706815000/847157489*c_1001_2^24 - 987102400472961998676/847157489*c_1001_2^23 - 1254109286191120337/847157489*c_1001_2^22 + 1535004565309126087901/847157489*c_1001_2^21 + 707518097858823382494/847157489*c_1001_2^20 - 1556089464270204235360/847157489*c_1001_2^19 - 1417470886949277520037/847157489*c_1001_2^18 + 913056352673976270907/847157489*c_1001_2^17 + 1565020727066910982325/847157489*c_1001_2^16 - 83771597822202571943/847157489*c_1001_2^15 - 1078367467522863865550/847157489*c_1001_2^14 - 356020450430387288622/847157489*c_1001_2^13 + 431130666580295979351/847157489*c_1001_2^12 + 325217338598029293246/847157489*c_1001_2^11 - 52837364204211752928/847157489*c_1001_2^10 - 135035005957596183983/847157489*c_1001_2^9 - 35018801290356555305/847157489*c_1001_2^8 + 22382093369792128757/847157489*c_1001_2^7 + 16622031911278197328/847157489*c_1001_2^6 + 2278229735401087425/847157489*c_1001_2^5 - 1709047660208462550/847157489*c_1001_2^4 - 982969767300339841/847157489*c_1001_2^3 - 237599664362721859/847157489*c_1001_2^2 - 29383394887044038/847157489*c_1001_2 - 1527393046743200/847157489, c_0101_6 - c_1001_2, c_1001_0 + 68790462743484416/847157489*c_1001_2^33 + 137378673664768000/847157489*c_1001_2^32 - 722086256831994880/847157489*c_1001_2^31 - 1795120700280256000/847157489*c_1001_2^30 + 3173968667930859520/847157489*c_1001_2^29 + 10717707911902815168/847157489*c_1001_2^28 - 6567380012161537280/847157489*c_1001_2^27 - 38672127764227198656/847157489*c_1001_2^26 + 571085398657236400/847157489*c_1001_2^25 + 93552123689141711984/847157489*c_1001_2^24 + 35960474140048144670/847157489*c_1001_2^23 - 158260117377239692034/847157489*c_1001_2^22 - 113756121792243365719/847157489*c_1001_2^21 + 187517495895726485450/847157489*c_1001_2^20 + 203508465997568168877/847157489*c_1001_2^19 - 147050255516924672691/847157489*c_1001_2^18 - 245755803897898630371/847157489*c_1001_2^17 + 57809435719971070550/847157489*c_1001_2^16 + 208156625270141287258/847157489*c_1001_2^15 + 19089771921305909248/847157489*c_1001_2^14 - 121510476914307407516/847157489*c_1001_2^13 - 44690497418415836579/847157489*c_1001_2^12 + 44601176092794702699/847157489*c_1001_2^11 + 31398644967064295186/847157489*c_1001_2^10 - 6813322889300934604/847157489*c_1001_2^9 - 11847350450320286321/847157489*c_1001_2^8 - 1813824408414321824/847157489*c_1001_2^7 + 2133824146543261473/847157489*c_1001_2^6 + 1035378237673021359/847157489*c_1001_2^5 + 4782753973500756/847157489*c_1001_2^4 - 129821062189016163/847157489*c_1001_2^3 - 45498863998660640/847157489*c_1001_2^2 - 6913153800242598/847157489*c_1001_2 - 416573995298611/847157489, c_1001_11 + 486643410063084544/847157489*c_1001_2^33 + 1653657099853172736/847157489*c_1001_2^32 - 2957574071806042112/847157489*c_1001_2^31 - 17371220320639224576/847157489*c_1001_2^30 - 755067492761479936/847157489*c_1001_2^29 + 80456971699171051872/847157489*c_1001_2^28 + 65245127625630384800/847157489*c_1001_2^27 - 209528428588809677840/847157489*c_1001_2^26 - 305720816389899786184/847157489*c_1001_2^25 + 309149150038310500744/847157489*c_1001_2^24 + 775375528407066734147/847157489*c_1001_2^23 - 159780127161621749096/847157489*c_1001_2^22 - 1266560898764374710432/847157489*c_1001_2^21 - 337799671186476382153/847157489*c_1001_2^20 + 1377947283414362181547/847157489*c_1001_2^19 + 910835940533561030947/847157489*c_1001_2^18 - 943816031204425272178/847157489*c_1001_2^17 - 1115041642183496057304/847157489*c_1001_2^16 + 285317371314895060638/847157489*c_1001_2^15 + 832096935251258247466/847157489*c_1001_2^14 + 135727140926427852857/847157489*c_1001_2^13 - 374062858722237471427/847157489*c_1001_2^12 - 195522787707693789489/847157489*c_1001_2^11 + 75245110432596414143/847157489*c_1001_2^10 + 94148588310019453659/847157489*c_1001_2^9 + 12756680922875996696/847157489*c_1001_2^8 - 19032087555641581557/847157489*c_1001_2^7 - 10032680458947590007/847157489*c_1001_2^6 - 478612420099591926/847157489*c_1001_2^5 + 1298265950649925597/847157489*c_1001_2^4 + 583404029288563937/847157489*c_1001_2^3 + 122894593767877196/847157489*c_1001_2^2 + 13480362611259235/847157489*c_1001_2 + 621581182781849/847157489, c_1001_2^34 + 4*c_1001_2^33 - 4*c_1001_2^32 - 157/4*c_1001_2^31 - 93/4*c_1001_2^30 + 5225/32*c_1001_2^29 + 7479/32*c_1001_2^28 - 22051/64*c_1001_2^27 - 113143/128*c_1001_2^26 + 31059/128*c_1001_2^25 + 2004769/1024*c_1001_2^24 + 83745/128*c_1001_2^23 - 704667/256*c_1001_2^22 - 145881/64*c_1001_2^21 + 1194187/512*c_1001_2^20 + 228307/64*c_1001_2^19 - 184125/256*c_1001_2^18 - 1747877/512*c_1001_2^17 - 442319/512*c_1001_2^16 + 2048337/1024*c_1001_2^15 + 1370387/1024*c_1001_2^14 - 563311/1024*c_1001_2^13 - 442553/512*c_1001_2^12 - 57601/512*c_1001_2^11 + 35573/128*c_1001_2^10 + 76469/512*c_1001_2^9 - 9309/512*c_1001_2^8 - 5665/128*c_1001_2^7 - 15023/1024*c_1001_2^6 + 419/256*c_1001_2^5 + 1463/512*c_1001_2^4 + 539/512*c_1001_2^3 + 209/1024*c_1001_2^2 + 11/512*c_1001_2 + 1/1024 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 10.200 Total time: 10.410 seconds, Total memory usage: 64.12MB