Magma V2.19-8 Tue Aug 20 2013 17:58:16 on localhost [Seed = 1865341751] Type ? for help. Type -D to quit. Loading file "10_25__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_25 geometric_solution 11.87577960 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 3 0132 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.286104227462 1.038371540886 0 4 5 2 0132 0132 0132 1023 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 -13 13 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.887157883874 1.195373704658 6 0 3 1 0132 0132 3201 1023 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 13 0 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.369264071079 0.403705103342 2 6 0 0 2310 2310 2031 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 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.286104227462 1.038371540886 7 1 6 8 0132 0132 1023 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 -12 12 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.474507980717 0.491058466537 7 9 8 1 2031 0132 0132 0132 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 -13 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.791483215279 1.083290126423 2 7 4 3 0132 0132 1023 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 1 0 -1 -13 0 12 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.887157883874 1.195373704658 4 6 5 10 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 0 1 0 0 0 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.097079932549 1.117254692663 10 11 4 5 3012 0132 0132 0132 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 12 -12 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.715096914255 0.432854745876 10 5 11 12 1302 0132 0132 0132 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 13 0 -13 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.556762869110 0.935289561026 12 9 7 8 0321 2031 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 -1 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.375687189090 1.541654684859 12 8 12 9 3120 0132 0213 0132 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 -12 12 0 -1 0 1 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.595722310621 0.442343739727 10 11 9 11 0321 0213 0132 3120 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 -12 13 -1 -1 0 0 1 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.595722310621 0.442343739727 ==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_0101_10'], 'c_1001_12' : d['c_1001_11'], 'c_1001_5' : d['c_1001_11'], 'c_1001_4' : d['c_0101_6'], 'c_1001_7' : d['c_0101_1'], 'c_1001_6' : d['c_0101_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_3']), 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : d['c_1001_1'], 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : d['c_1001_1'], 'c_1010_10' : negation(d['c_0011_5']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_11']), 'c_1100_8' : d['c_0011_3'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 'c_1100_7' : d['c_0101_5'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0101_3'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : negation(d['c_0011_3']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : d['c_0101_5'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_10'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_6'], 'c_1010_0' : negation(d['c_0101_3']), 'c_1010_9' : d['c_1001_11'], 'c_1010_8' : d['c_1001_11'], 's_3_1' : negation(d['1']), 's_3_0' : 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_11']), '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' : negation(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' : negation(d['c_0011_5']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_0']), '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_0011_10']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_12' : negation(d['c_0101_10']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_10'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), '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_0011_5']), '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' : negation(d['c_0101_10']), 'c_0110_8' : d['c_0101_5'], '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_1'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : negation(d['c_0101_0'])})} 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_5, c_0101_6, c_1001_1, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 49865223593228426020983651490157493899522023/7109186051949102214927\ 6005952462080920000*c_1001_11^31 - 376307244610950658892549134979038922224689227/710918605194910221492\ 76005952462080920000*c_1001_11^30 - 1225916833960103151732963607814673018570119851/71091860519491022149\ 276005952462080920000*c_1001_11^29 - 1242033642604365085271622601556310382310680419/71091860519491022149\ 276005952462080920000*c_1001_11^28 + 689031603603517288338664829656492941100000971/142183721038982044298\ 55201190492416184000*c_1001_11^27 + 10689671984709757606585192756983144966493905213/7109186051949102214\ 9276005952462080920000*c_1001_11^26 + 3545291161178639303253787133609261841866436697/71091860519491022149\ 276005952462080920000*c_1001_11^25 - 16282771967522157488125746143649809974422740331/7109186051949102214\ 9276005952462080920000*c_1001_11^24 - 2601729620758346224799952978296243636807841289/88864825649363777686\ 59500744057760115000*c_1001_11^23 - 8730259071185934216579785140017240386020372783/35545930259745511074\ 638002976231040460000*c_1001_11^22 - 4092825954763861251191322004564390638504811857/71091860519491022149\ 276005952462080920000*c_1001_11^21 + 62453607409258591753153091119877640734861536023/7109186051949102214\ 9276005952462080920000*c_1001_11^20 + 89594284450590857938193457621995564764190897507/7109186051949102214\ 9276005952462080920000*c_1001_11^19 - 29905159860668160396436677005408120034624980529/7109186051949102214\ 9276005952462080920000*c_1001_11^18 - 129996551981089696388996611223745138386708692597/710918605194910221\ 49276005952462080920000*c_1001_11^17 - 66316342196751684586895657083076271077255654291/7109186051949102214\ 9276005952462080920000*c_1001_11^16 + 17120004299558773117982722337851662804793166323/3554593025974551107\ 4638002976231040460000*c_1001_11^15 + 45412219884109764806132345760743488867950056091/3554593025974551107\ 4638002976231040460000*c_1001_11^14 + 2788608269676909926382949297900109975060078349/22216206412340944421\ 64875186014440028750*c_1001_11^13 - 8568072751495337113958775193207444385498148989/35545930259745511074\ 638002976231040460000*c_1001_11^12 - 105210465807357771658668517537865824342440068253/710918605194910221\ 49276005952462080920000*c_1001_11^11 - 48178517014375459106173298032672001252036357909/7109186051949102214\ 9276005952462080920000*c_1001_11^10 + 45473968723016380728661620261826086765542686563/7109186051949102214\ 9276005952462080920000*c_1001_11^9 + 10040681875672163981967018523469983372157419633/1421837210389820442\ 9855201190492416184000*c_1001_11^8 - 882548817924218080841457624656539451023727003/355459302597455110746\ 38002976231040460000*c_1001_11^7 - 141920391677286002029759429382771829725137209/444324128246818888432\ 975037202888005750*c_1001_11^6 - 6500656255994933020928956179959369\ 669925008883/71091860519491022149276005952462080920000*c_1001_11^5 + 4401607440781112807544554577392087729705904387/71091860519491022149\ 276005952462080920000*c_1001_11^4 + 295540867341534863063161722285444775966416109/710918605194910221492\ 7600595246208092000*c_1001_11^3 - 105004550419919251799941688532734\ 5540685933/1110810320617047221082437593007220014375*c_1001_11^2 - 407903262699333572393570027743106484897480799/710918605194910221492\ 76005952462080920000*c_1001_11 - 1061040248462189075448364507813609\ 79636646197/71091860519491022149276005952462080920000, c_0011_0 - 1, c_0011_10 - c_1001_11, c_0011_11 - 79015341509518463808973459114899233865/28436744207796408859\ 710402380984832368*c_1001_11^31 - 634273412567015297596883205456664\ 386061/28436744207796408859710402380984832368*c_1001_11^30 - 2234738310484836880689477106909128242925/28436744207796408859710402\ 380984832368*c_1001_11^29 - 295643418366727168999478556662947828967\ 7/28436744207796408859710402380984832368*c_1001_11^28 + 4270171035400772544275495971508747852057/28436744207796408859710402\ 380984832368*c_1001_11^27 + 190267506439062967735761688068882728171\ 71/28436744207796408859710402380984832368*c_1001_11^26 + 13521197687020049316462382181980313755575/2843674420779640885971040\ 2380984832368*c_1001_11^25 - 21471525661377990201227806443353294045\ 613/28436744207796408859710402380984832368*c_1001_11^24 - 2614884098941364893526592348998874668325/17772965129872755537319001\ 48811552023*c_1001_11^23 - 2103554899848935288672616276741765529752\ 1/14218372103898204429855201190492416184*c_1001_11^22 - 24131342027046777013777226728248536217231/2843674420779640885971040\ 2380984832368*c_1001_11^21 + 86955306676904127179069539624023619009\ 793/28436744207796408859710402380984832368*c_1001_11^20 + 179759179636582568223214590557060682989533/284367442077964088597104\ 02380984832368*c_1001_11^19 + 1977021121333055255792647690832044687\ 8049/28436744207796408859710402380984832368*c_1001_11^18 - 208508672289396475494370418997864344252595/284367442077964088597104\ 02380984832368*c_1001_11^17 - 1758137147141154609616021543458287180\ 74957/28436744207796408859710402380984832368*c_1001_11^16 + 1978365270207625939680283443213114709505/14218372103898204429855201\ 190492416184*c_1001_11^15 + 690330929011128228071403815155876528105\ 65/14218372103898204429855201190492416184*c_1001_11^14 + 22562773717823941161232127625447770982049/3554593025974551107463800\ 297623104046*c_1001_11^13 + 183093456107083788324172927940288241660\ 33/14218372103898204429855201190492416184*c_1001_11^12 - 157759902615804653342769794007815310238907/284367442077964088597104\ 02380984832368*c_1001_11^11 - 1268853232970671892732129543994412412\ 17363/28436744207796408859710402380984832368*c_1001_11^10 + 42109972418782504950405940995487973498285/2843674420779640885971040\ 2380984832368*c_1001_11^9 + 940837305160292840149672315157303652632\ 35/28436744207796408859710402380984832368*c_1001_11^8 + 9130006833768192601245485930423637967491/14218372103898204429855201\ 190492416184*c_1001_11^7 - 2162971621222764170480991106979641422811\ /1777296512987275553731900148811552023*c_1001_11^6 - 17587881974783480246123076657833504796461/2843674420779640885971040\ 2380984832368*c_1001_11^5 + 519533181264547215907540403018960038230\ 9/28436744207796408859710402380984832368*c_1001_11^4 + 2773312216185745101435753890239339527243/14218372103898204429855201\ 190492416184*c_1001_11^3 + 49433054290242642651786435800724804357/3\ 554593025974551107463800297623104046*c_1001_11^2 - 656358199722046309781453657119662145409/284367442077964088597104023\ 80984832368*c_1001_11 - 174749595701498490382419052600301921011/284\ 36744207796408859710402380984832368, c_0011_3 - 1, c_0011_5 - 37528718087097986514215871016305029421/710918605194910221492\ 7600595246208092*c_1001_11^31 - 29104872910614930144553050964986395\ 5453/7109186051949102214927600595246208092*c_1001_11^30 - 976758789500869033675342024437388682405/710918605194910221492760059\ 5246208092*c_1001_11^29 - 1090653671072942308497485621014081002273/\ 7109186051949102214927600595246208092*c_1001_11^28 + 2512912995697801557775131687346996292881/71091860519491022149276005\ 95246208092*c_1001_11^27 + 8686313397796972119447828110906893625987\ /7109186051949102214927600595246208092*c_1001_11^26 + 3982381400577782863566549855081320949791/71091860519491022149276005\ 95246208092*c_1001_11^25 - 1267712578834254393292977242208278336121\ 9/7109186051949102214927600595246208092*c_1001_11^24 - 4583493074837051994975045281283984279316/17772965129872755537319001\ 48811552023*c_1001_11^23 - 3690691606752255610183560992543628669694\ /1777296512987275553731900148811552023*c_1001_11^22 - 4234764084253879640203150773189646531215/71091860519491022149276005\ 95246208092*c_1001_11^21 + 4765077212098572109757094060800881091939\ 3/7109186051949102214927600595246208092*c_1001_11^20 + 77487975014345400345422619578352661973345/7109186051949102214927600\ 595246208092*c_1001_11^19 - 145528134409990365558580540706089106276\ 51/7109186051949102214927600595246208092*c_1001_11^18 - 109879664862385094812333246603890910037275/710918605194910221492760\ 0595246208092*c_1001_11^17 - 65312966219931015414372865848294479787\ 203/7109186051949102214927600595246208092*c_1001_11^16 + 13419646436761734817163739305866030072207/3554593025974551107463800\ 297623104046*c_1001_11^15 + 382936858349802141137501719145867779730\ 39/3554593025974551107463800297623104046*c_1001_11^14 + 19281690969740456507198996395231347012775/1777296512987275553731900\ 148811552023*c_1001_11^13 - 149602280023660414495202857691451212302\ 6/1777296512987275553731900148811552023*c_1001_11^12 - 88382627454176546700052176708519514733885/7109186051949102214927600\ 595246208092*c_1001_11^11 - 492919090814544428627501447382072049065\ 07/7109186051949102214927600595246208092*c_1001_11^10 + 36045193759595829173831386206119860306385/7109186051949102214927600\ 595246208092*c_1001_11^9 + 4657860154821341125780321724572663188670\ 5/7109186051949102214927600595246208092*c_1001_11^8 + 628925060438350087591836836959627247005/355459302597455110746380029\ 7623104046*c_1001_11^7 - 10239690400661281816470625632982881586097/\ 3554593025974551107463800297623104046*c_1001_11^6 - 7036876834551931099930665814264071405837/71091860519491022149276005\ 95246208092*c_1001_11^5 + 4076466534443915433702923494351548812511/\ 7109186051949102214927600595246208092*c_1001_11^4 + 1417273389117678134604838979754250643681/35545930259745511074638002\ 97623104046*c_1001_11^3 - 20488407942970485643246296594495133453/35\ 54593025974551107463800297623104046*c_1001_11^2 - 404487888985818909926474308949368832401/710918605194910221492760059\ 5246208092*c_1001_11 - 91602507470935272683592470153838637049/71091\ 86051949102214927600595246208092, c_0101_0 + 38158720686629523601906514108105441951/284367442077964088597\ 10402380984832368*c_1001_11^31 + 2978469066548366061811277614930918\ 37291/28436744207796408859710402380984832368*c_1001_11^30 + 992122542486485377142141468141824857123/284367442077964088597104023\ 80984832368*c_1001_11^29 + 1037457334129821920920834158141442652411\ /28436744207796408859710402380984832368*c_1001_11^28 - 2907698317558708110345412716903523165375/28436744207796408859710402\ 380984832368*c_1001_11^27 - 944501651321530049756699942350218714862\ 1/28436744207796408859710402380984832368*c_1001_11^26 - 3618654630639691136771842122434306934449/28436744207796408859710402\ 380984832368*c_1001_11^25 + 159321685697097633463005279363379003664\ 59/28436744207796408859710402380984832368*c_1001_11^24 + 2626370577791312485187097298249653847919/35545930259745511074638002\ 97623104046*c_1001_11^23 + 6148977837951362387306793157788601094655\ /14218372103898204429855201190492416184*c_1001_11^22 - 853672779232318983247766907681289720903/284367442077964088597104023\ 80984832368*c_1001_11^21 - 5554020110257830930549393158949983473681\ 5/28436744207796408859710402380984832368*c_1001_11^20 - 85929438239129930468376706789652681427755/2843674420779640885971040\ 2380984832368*c_1001_11^19 + 26699974960130320713024145656932536890\ 465/28436744207796408859710402380984832368*c_1001_11^18 + 139726451082995349564182653227427280483749/284367442077964088597104\ 02380984832368*c_1001_11^17 + 7057813286373173105626753380619014544\ 4731/28436744207796408859710402380984832368*c_1001_11^16 - 26562204513552177264914192629842340017643/1421837210389820442985520\ 1190492416184*c_1001_11^15 - 50211722668875387934162941293951775631\ 271/14218372103898204429855201190492416184*c_1001_11^14 - 5295638478290838586160916807043543529583/17772965129872755537319001\ 48811552023*c_1001_11^13 + 9749663674754332253971327008756806592081\ /14218372103898204429855201190492416184*c_1001_11^12 + 116930881810779542702511569332613100783653/284367442077964088597104\ 02380984832368*c_1001_11^11 + 5781136817594643050612011048707814430\ 2021/28436744207796408859710402380984832368*c_1001_11^10 - 55386985912305246107200733867805095655915/2843674420779640885971040\ 2380984832368*c_1001_11^9 - 623105500574854741041373048836595328359\ 89/28436744207796408859710402380984832368*c_1001_11^8 + 895159340475355923914834192515794648471/142183721038982044298552011\ 90492416184*c_1001_11^7 + 3749879511149052057632430113832989860431/\ 3554593025974551107463800297623104046*c_1001_11^6 + 9417147222346948179524692508034619966051/28436744207796408859710402\ 380984832368*c_1001_11^5 - 6797990956124834425477372472439511277643\ /28436744207796408859710402380984832368*c_1001_11^4 - 2053604457464624379669482469692659702453/14218372103898204429855201\ 190492416184*c_1001_11^3 + 11008112606988042976192431048257223375/1\ 777296512987275553731900148811552023*c_1001_11^2 + 668976392691299290324405009342726852895/284367442077964088597104023\ 80984832368*c_1001_11 + 130831596218537259759424982084123747357/284\ 36744207796408859710402380984832368, c_0101_1 - 41545561833850654295087343949832509501/284367442077964088597\ 10402380984832368*c_1001_11^31 - 2979890261944701147855945605706443\ 11849/28436744207796408859710402380984832368*c_1001_11^30 - 929535495241734766968016253529127395809/284367442077964088597104023\ 80984832368*c_1001_11^29 - 864864098750325124668396333645144082873/\ 28436744207796408859710402380984832368*c_1001_11^28 + 2470833700403362133307778192911912924621/28436744207796408859710402\ 380984832368*c_1001_11^27 + 662173227025335752196356047019613446409\ 5/28436744207796408859710402380984832368*c_1001_11^26 + 550924393024033700646396049464255881139/284367442077964088597104023\ 80984832368*c_1001_11^25 - 8431313279864716110262172642469414245473\ /28436744207796408859710402380984832368*c_1001_11^24 - 762324936493317118683013967376656468197/355459302597455110746380029\ 7623104046*c_1001_11^23 - 6282252133839717801618661337419250467285/\ 14218372103898204429855201190492416184*c_1001_11^22 - 11504498853118593733115092800946138397923/2843674420779640885971040\ 2380984832368*c_1001_11^21 + 36030355528361829586131624110839011395\ 757/28436744207796408859710402380984832368*c_1001_11^20 + 40252226279130119040514859618222348612921/2843674420779640885971040\ 2380984832368*c_1001_11^19 - 32116096346896426061837899246783375938\ 763/28436744207796408859710402380984832368*c_1001_11^18 - 37548492964907492588557918325272678790007/2843674420779640885971040\ 2380984832368*c_1001_11^17 + 96608787689810977262418458689746997934\ 87/28436744207796408859710402380984832368*c_1001_11^16 - 1472319172221630203288736713044414706243/14218372103898204429855201\ 190492416184*c_1001_11^15 + 135166336333286819472372950559850937958\ 1/14218372103898204429855201190492416184*c_1001_11^14 + 1608956377023545419494407277890469881968/17772965129872755537319001\ 48811552023*c_1001_11^13 - 8144011057001498772450492429296543564431\ /14218372103898204429855201190492416184*c_1001_11^12 - 23858526264515731019931892361627351881703/2843674420779640885971040\ 2380984832368*c_1001_11^11 + 22650284686626601028470492054009892601\ 241/28436744207796408859710402380984832368*c_1001_11^10 + 18865188134572684052806280488193608740665/2843674420779640885971040\ 2380984832368*c_1001_11^9 - 135441461951185678714349854383125278907\ 85/28436744207796408859710402380984832368*c_1001_11^8 - 8094856250621270884052565956242959480185/14218372103898204429855201\ 190492416184*c_1001_11^7 + 441556106275984508161098304729769356661/\ 3554593025974551107463800297623104046*c_1001_11^6 + 10101276547789025483776578256112129677063/2843674420779640885971040\ 2380984832368*c_1001_11^5 + 3572251115860429346417462268164392393/2\ 8436744207796408859710402380984832368*c_1001_11^4 - 1545508792832556008513984077865142335749/14218372103898204429855201\ 190492416184*c_1001_11^3 - 40280258017991461229407009775499795033/1\ 777296512987275553731900148811552023*c_1001_11^2 + 452379346168797262898601642823761187419/284367442077964088597104023\ 80984832368*c_1001_11 + 178040781011514818547108491202851969281/284\ 36744207796408859710402380984832368, c_0101_10 + 63551948080803814394330011052342582581/14218372103898204429\ 855201190492416184*c_1001_11^31 + 500346171698088580761089138990975\ 952025/14218372103898204429855201190492416184*c_1001_11^30 + 1715658169915331974640080585996495855353/14218372103898204429855201\ 190492416184*c_1001_11^29 + 207270605350572514343661729041190845661\ 7/14218372103898204429855201190492416184*c_1001_11^28 - 3917129399697719013109636738461764755181/14218372103898204429855201\ 190492416184*c_1001_11^27 - 150026861013483657333689362954368509186\ 55/14218372103898204429855201190492416184*c_1001_11^26 - 8550568964216612033662544770859751010427/14218372103898204429855201\ 190492416184*c_1001_11^25 + 197373383378290246993807292573464031920\ 69/14218372103898204429855201190492416184*c_1001_11^24 + 4045744525187577630870539918060041805009/17772965129872755537319001\ 48811552023*c_1001_11^23 + 1447568568136157697597296226644163199307\ 9/7109186051949102214927600595246208092*c_1001_11^22 + 12345653810300629823406109757465031773803/1421837210389820442985520\ 1190492416184*c_1001_11^21 - 76500805850561662989740948373018746302\ 645/14218372103898204429855201190492416184*c_1001_11^20 - 137709535759128689890355306052784396433449/142183721038982044298552\ 01190492416184*c_1001_11^19 + 6783447034003294724680909010793174520\ 171/14218372103898204429855201190492416184*c_1001_11^18 + 178892514565677734925372595572042097574559/142183721038982044298552\ 01190492416184*c_1001_11^17 + 1252806692666678242597149612385625319\ 80893/14218372103898204429855201190492416184*c_1001_11^16 - 13301351190838322234871867088061385629801/7109186051949102214927600\ 595246208092*c_1001_11^15 - 611905019298911850935304158962907190704\ 81/7109186051949102214927600595246208092*c_1001_11^14 - 17290790732173977894828022031253039768305/1777296512987275553731900\ 148811552023*c_1001_11^13 - 398341839820942082349080424216923576469\ 1/7109186051949102214927600595246208092*c_1001_11^12 + 140036913542244712570150990915146652557907/142183721038982044298552\ 01190492416184*c_1001_11^11 + 9255012235538710396567869622942224997\ 8711/14218372103898204429855201190492416184*c_1001_11^10 - 48640179607969599455849857436058263306945/1421837210389820442985520\ 1190492416184*c_1001_11^9 - 777022876623773491199606166461251102893\ 39/14218372103898204429855201190492416184*c_1001_11^8 - 4017483092689874370521938727164383657499/71091860519491022149276005\ 95246208092*c_1001_11^7 + 7889062368947622603404991829783061672915/\ 3554593025974551107463800297623104046*c_1001_11^6 + 12996675311673399366177307074266040966025/1421837210389820442985520\ 1190492416184*c_1001_11^5 - 562379044604740267389344193181100938462\ 1/14218372103898204429855201190492416184*c_1001_11^4 - 2321025863133975201131473846817224085155/71091860519491022149276005\ 95246208092*c_1001_11^3 - 28935389847877398635974334739780840813/35\ 54593025974551107463800297623104046*c_1001_11^2 + 608830840913130037001899833984235650877/142183721038982044298552011\ 90492416184*c_1001_11 + 147570077939229482915113052822349376427/142\ 18372103898204429855201190492416184, c_0101_3 - 3538322901051149676734409598368125383/3554593025974551107463\ 800297623104046*c_1001_11^31 - 293920025591380987215882124528998873\ 61/3554593025974551107463800297623104046*c_1001_11^30 - 52316271179125192726485309274864963197/1777296512987275553731900148\ 811552023*c_1001_11^29 - 66793996034900490278831027317226885610/177\ 7296512987275553731900148811552023*c_1001_11^28 + 248303272576600619654093511309841135017/355459302597455110746380029\ 7623104046*c_1001_11^27 + 1032831062213158133099377068386758087645/\ 3554593025974551107463800297623104046*c_1001_11^26 + 687069709240337994987922376249069413641/355459302597455110746380029\ 7623104046*c_1001_11^25 - 765030592254809681281268241395508957235/1\ 777296512987275553731900148811552023*c_1001_11^24 - 1345352969443949235785283262267008990508/17772965129872755537319001\ 48811552023*c_1001_11^23 - 1737496867511643697429535905066901752961\ /3554593025974551107463800297623104046*c_1001_11^22 - 185015402256087280251513820996632968389/355459302597455110746380029\ 7623104046*c_1001_11^21 + 5448089472816738234163170095283725970107/\ 3554593025974551107463800297623104046*c_1001_11^20 + 10615953113672133246367339325153953038477/3554593025974551107463800\ 297623104046*c_1001_11^19 + 144032559235446664989852956715523045889\ /3554593025974551107463800297623104046*c_1001_11^18 - 15692613198645989853699387336142356318037/3554593025974551107463800\ 297623104046*c_1001_11^17 - 583019470055069540169377435947452552438\ 9/1777296512987275553731900148811552023*c_1001_11^16 + 2034020879950792997244880024349182897226/17772965129872755537319001\ 48811552023*c_1001_11^15 + 5953201285500934572439676143910936098082\ /1777296512987275553731900148811552023*c_1001_11^14 + 5674261964621093904051975995418102599221/17772965129872755537319001\ 48811552023*c_1001_11^13 + 802358686040711842780050234348969038037/\ 3554593025974551107463800297623104046*c_1001_11^12 - 6369319904319097022957153450603031647615/17772965129872755537319001\ 48811552023*c_1001_11^11 - 9660425005570981530609976437624459097091\ /3554593025974551107463800297623104046*c_1001_11^10 + 4412466818783740042382539282273895873341/35545930259745511074638002\ 97623104046*c_1001_11^9 + 8200671019223756326921639045912104356589/\ 3554593025974551107463800297623104046*c_1001_11^8 + 1236196360977475723264440398110852770657/35545930259745511074638002\ 97623104046*c_1001_11^7 - 3384481913526106094397437682201306197823/\ 3554593025974551107463800297623104046*c_1001_11^6 - 1634877375213821684113454160664767237023/35545930259745511074638002\ 97623104046*c_1001_11^5 + 323360558419918880331513559921210061032/1\ 777296512987275553731900148811552023*c_1001_11^4 + 284178461580422018540317816389725698314/177729651298727555373190014\ 8811552023*c_1001_11^3 + 19787205198781214221824326948997697919/355\ 4593025974551107463800297623104046*c_1001_11^2 - 82708950130151264312793365496426912515/3554593025974551107463800297\ 623104046*c_1001_11 - 8694299476780150924354242268615645432/1777296\ 512987275553731900148811552023, c_0101_5 - 15098488500826578487718921072253908361/284367442077964088597\ 10402380984832368*c_1001_11^31 - 1333236402721548588634473432700001\ 10973/28436744207796408859710402380984832368*c_1001_11^30 - 529908252620407909324277593498798728885/284367442077964088597104023\ 80984832368*c_1001_11^29 - 956202231898726578023518527386049535061/\ 28436744207796408859710402380984832368*c_1001_11^28 + 174507150246354607377266714866655982745/284367442077964088597104023\ 80984832368*c_1001_11^27 + 3971764977209840786656117772486514644627\ /28436744207796408859710402380984832368*c_1001_11^26 + 5640091570498994728555902081521291205599/28436744207796408859710402\ 380984832368*c_1001_11^25 - 536885717607158613664436145617831053861\ /28436744207796408859710402380984832368*c_1001_11^24 - 590535494994598547080712144795409037946/177729651298727555373190014\ 8811552023*c_1001_11^23 - 7576036058469373032121065815436766840329/\ 14218372103898204429855201190492416184*c_1001_11^22 - 14700252367065161128796390420909849150759/2843674420779640885971040\ 2380984832368*c_1001_11^21 + 80121957955822440981484769792084077165\ 29/28436744207796408859710402380984832368*c_1001_11^20 + 43478345291969201966612816528728233980893/2843674420779640885971040\ 2380984832368*c_1001_11^19 + 35558151673875651515178908113344818890\ 233/28436744207796408859710402380984832368*c_1001_11^18 - 20748398260937919229621237135153726181323/2843674420779640885971040\ 2380984832368*c_1001_11^17 - 55509746864456808788350378847446393277\ 829/28436744207796408859710402380984832368*c_1001_11^16 - 18886714469409371927184897448175889220639/1421837210389820442985520\ 1190492416184*c_1001_11^15 + 35462267315736020974155065282631025962\ 65/14218372103898204429855201190492416184*c_1001_11^14 + 5813307445798904511274601151353291150503/35545930259745511074638002\ 97623104046*c_1001_11^13 + 2052458796412135228816927245757971155476\ 9/14218372103898204429855201190492416184*c_1001_11^12 - 7247299036136342256524984154061819892387/28436744207796408859710402\ 380984832368*c_1001_11^11 - 365514795599108797054887387475604120796\ 59/28436744207796408859710402380984832368*c_1001_11^10 - 18186484384262293381377535576366375159819/2843674420779640885971040\ 2380984832368*c_1001_11^9 + 104751795719506113377294704169272748609\ 55/28436744207796408859710402380984832368*c_1001_11^8 + 7148186177646747151338658010067771255443/14218372103898204429855201\ 190492416184*c_1001_11^7 + 134006230756843322081167363418750055061/\ 1777296512987275553731900148811552023*c_1001_11^6 - 4070569526381764228365570392267074907341/28436744207796408859710402\ 380984832368*c_1001_11^5 - 2279102354397614018472604253653680147131\ /28436744207796408859710402380984832368*c_1001_11^4 + 45794802066688810700268183385192482203/1421837210389820442985520119\ 0492416184*c_1001_11^3 + 29104340143878339420340837484720821724/177\ 7296512987275553731900148811552023*c_1001_11^2 + 129074186702560665724443424205199522511/284367442077964088597104023\ 80984832368*c_1001_11 + 37998670142875108439203695424140759005/2843\ 6744207796408859710402380984832368, c_0101_6 - 41545561833850654295087343949832509501/284367442077964088597\ 10402380984832368*c_1001_11^31 - 2979890261944701147855945605706443\ 11849/28436744207796408859710402380984832368*c_1001_11^30 - 929535495241734766968016253529127395809/284367442077964088597104023\ 80984832368*c_1001_11^29 - 864864098750325124668396333645144082873/\ 28436744207796408859710402380984832368*c_1001_11^28 + 2470833700403362133307778192911912924621/28436744207796408859710402\ 380984832368*c_1001_11^27 + 662173227025335752196356047019613446409\ 5/28436744207796408859710402380984832368*c_1001_11^26 + 550924393024033700646396049464255881139/284367442077964088597104023\ 80984832368*c_1001_11^25 - 8431313279864716110262172642469414245473\ /28436744207796408859710402380984832368*c_1001_11^24 - 762324936493317118683013967376656468197/355459302597455110746380029\ 7623104046*c_1001_11^23 - 6282252133839717801618661337419250467285/\ 14218372103898204429855201190492416184*c_1001_11^22 - 11504498853118593733115092800946138397923/2843674420779640885971040\ 2380984832368*c_1001_11^21 + 36030355528361829586131624110839011395\ 757/28436744207796408859710402380984832368*c_1001_11^20 + 40252226279130119040514859618222348612921/2843674420779640885971040\ 2380984832368*c_1001_11^19 - 32116096346896426061837899246783375938\ 763/28436744207796408859710402380984832368*c_1001_11^18 - 37548492964907492588557918325272678790007/2843674420779640885971040\ 2380984832368*c_1001_11^17 + 96608787689810977262418458689746997934\ 87/28436744207796408859710402380984832368*c_1001_11^16 - 1472319172221630203288736713044414706243/14218372103898204429855201\ 190492416184*c_1001_11^15 + 135166336333286819472372950559850937958\ 1/14218372103898204429855201190492416184*c_1001_11^14 + 1608956377023545419494407277890469881968/17772965129872755537319001\ 48811552023*c_1001_11^13 - 8144011057001498772450492429296543564431\ /14218372103898204429855201190492416184*c_1001_11^12 - 23858526264515731019931892361627351881703/2843674420779640885971040\ 2380984832368*c_1001_11^11 + 22650284686626601028470492054009892601\ 241/28436744207796408859710402380984832368*c_1001_11^10 + 18865188134572684052806280488193608740665/2843674420779640885971040\ 2380984832368*c_1001_11^9 - 135441461951185678714349854383125278907\ 85/28436744207796408859710402380984832368*c_1001_11^8 - 8094856250621270884052565956242959480185/14218372103898204429855201\ 190492416184*c_1001_11^7 + 441556106275984508161098304729769356661/\ 3554593025974551107463800297623104046*c_1001_11^6 + 10101276547789025483776578256112129677063/2843674420779640885971040\ 2380984832368*c_1001_11^5 + 3572251115860429346417462268164392393/2\ 8436744207796408859710402380984832368*c_1001_11^4 - 1545508792832556008513984077865142335749/14218372103898204429855201\ 190492416184*c_1001_11^3 - 40280258017991461229407009775499795033/1\ 777296512987275553731900148811552023*c_1001_11^2 + 452379346168797262898601642823761187419/284367442077964088597104023\ 80984832368*c_1001_11 + 178040781011514818547108491202851969281/284\ 36744207796408859710402380984832368, c_1001_1 + 63551948080803814394330011052342582581/142183721038982044298\ 55201190492416184*c_1001_11^31 + 5003461716980885807610891389909759\ 52025/14218372103898204429855201190492416184*c_1001_11^30 + 1715658169915331974640080585996495855353/14218372103898204429855201\ 190492416184*c_1001_11^29 + 207270605350572514343661729041190845661\ 7/14218372103898204429855201190492416184*c_1001_11^28 - 3917129399697719013109636738461764755181/14218372103898204429855201\ 190492416184*c_1001_11^27 - 150026861013483657333689362954368509186\ 55/14218372103898204429855201190492416184*c_1001_11^26 - 8550568964216612033662544770859751010427/14218372103898204429855201\ 190492416184*c_1001_11^25 + 197373383378290246993807292573464031920\ 69/14218372103898204429855201190492416184*c_1001_11^24 + 4045744525187577630870539918060041805009/17772965129872755537319001\ 48811552023*c_1001_11^23 + 1447568568136157697597296226644163199307\ 9/7109186051949102214927600595246208092*c_1001_11^22 + 12345653810300629823406109757465031773803/1421837210389820442985520\ 1190492416184*c_1001_11^21 - 76500805850561662989740948373018746302\ 645/14218372103898204429855201190492416184*c_1001_11^20 - 137709535759128689890355306052784396433449/142183721038982044298552\ 01190492416184*c_1001_11^19 + 6783447034003294724680909010793174520\ 171/14218372103898204429855201190492416184*c_1001_11^18 + 178892514565677734925372595572042097574559/142183721038982044298552\ 01190492416184*c_1001_11^17 + 1252806692666678242597149612385625319\ 80893/14218372103898204429855201190492416184*c_1001_11^16 - 13301351190838322234871867088061385629801/7109186051949102214927600\ 595246208092*c_1001_11^15 - 611905019298911850935304158962907190704\ 81/7109186051949102214927600595246208092*c_1001_11^14 - 17290790732173977894828022031253039768305/1777296512987275553731900\ 148811552023*c_1001_11^13 - 398341839820942082349080424216923576469\ 1/7109186051949102214927600595246208092*c_1001_11^12 + 140036913542244712570150990915146652557907/142183721038982044298552\ 01190492416184*c_1001_11^11 + 9255012235538710396567869622942224997\ 8711/14218372103898204429855201190492416184*c_1001_11^10 - 48640179607969599455849857436058263306945/1421837210389820442985520\ 1190492416184*c_1001_11^9 - 777022876623773491199606166461251102893\ 39/14218372103898204429855201190492416184*c_1001_11^8 - 4017483092689874370521938727164383657499/71091860519491022149276005\ 95246208092*c_1001_11^7 + 7889062368947622603404991829783061672915/\ 3554593025974551107463800297623104046*c_1001_11^6 + 12996675311673399366177307074266040966025/1421837210389820442985520\ 1190492416184*c_1001_11^5 - 562379044604740267389344193181100938462\ 1/14218372103898204429855201190492416184*c_1001_11^4 - 2321025863133975201131473846817224085155/71091860519491022149276005\ 95246208092*c_1001_11^3 - 28935389847877398635974334739780840813/35\ 54593025974551107463800297623104046*c_1001_11^2 + 608830840913130037001899833984235650877/142183721038982044298552011\ 90492416184*c_1001_11 + 147570077939229482915113052822349376427/142\ 18372103898204429855201190492416184, c_1001_11^32 + 8*c_1001_11^31 + 28*c_1001_11^30 + 36*c_1001_11^29 - 58*c_1001_11^28 - 246*c_1001_11^27 - 168*c_1001_11^26 + 296*c_1001_11^25 + 567*c_1001_11^24 + 538*c_1001_11^23 + 237*c_1001_11^22 - 1220*c_1001_11^21 - 2368*c_1001_11^20 - 208*c_1001_11^19 + 2896*c_1001_11^18 + 2518*c_1001_11^17 - 99*c_1001_11^16 - 2152*c_1001_11^15 - 2622*c_1001_11^14 - 458*c_1001_11^13 + 2285*c_1001_11^12 + 1932*c_1001_11^11 - 484*c_1001_11^10 - 1434*c_1001_11^9 - 423*c_1001_11^8 + 478*c_1001_11^7 + 341*c_1001_11^6 - 30*c_1001_11^5 - 101*c_1001_11^4 - 26*c_1001_11^3 + 9*c_1001_11^2 + 6*c_1001_11 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.470 Total time: 1.679 seconds, Total memory usage: 32.09MB