Magma V2.19-8 Tue Aug 20 2013 17:58:27 on localhost [Seed = 2134821853] Type ? for help. Type -D to quit. Loading file "10^2_111__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_111 geometric_solution 13.01724739 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 14 1 2 3 3 0132 0132 0132 1302 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.091733193771 1.079215406064 0 4 5 2 0132 0132 0132 1023 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 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.581010161889 0.963613119560 6 0 3 1 0132 0132 3201 1023 0 1 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 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.257535649686 0.438283402070 2 6 0 0 2310 2310 2031 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 -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.091733193771 1.079215406064 7 1 8 9 0132 0132 0132 0132 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.992248350692 1.674526681725 7 10 11 1 2031 0132 0132 0132 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.936599027552 1.142884561816 2 7 11 3 0132 0132 1023 3201 0 1 0 1 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 1 0 -1 0 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.581010161889 0.963613119560 4 6 5 12 0132 0132 1302 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 -1 0 1 1 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.579779090235 0.454960492833 13 11 13 4 0132 0132 3012 0132 1 0 1 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 1 -1 0 0 0 1 -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.155690894516 0.651221883933 13 10 4 12 3120 0213 0132 3201 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.584152092963 1.148954526538 12 5 9 11 3012 0132 0213 3120 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.137419818961 0.421595491654 10 8 6 5 3120 0132 1023 0132 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 -1 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 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.664459103395 0.707762109526 13 9 7 10 2103 2310 0132 1230 0 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 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.085367973212 0.884960962819 8 8 12 9 0132 1230 2103 3120 0 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 -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.742610258584 0.572780807978 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_6'], 'c_1001_10' : d['c_1001_1'], 'c_1001_13' : d['c_0011_12'], 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : negation(d['c_0011_11']), 'c_1001_4' : d['c_0101_6'], 'c_1001_7' : d['c_0101_1'], 'c_1001_6' : d['c_0101_11'], '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' : negation(d['c_0011_11']), 'c_1010_13' : negation(d['c_0011_9']), 'c_1010_12' : d['c_0011_9'], 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_0_13' : 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_9'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : negation(d['1']), 's_2_12' : d['1'], 's_2_13' : 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' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_12']), 'c_1100_8' : negation(d['c_0011_12']), 'c_0011_13' : d['c_0011_11'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_12']), '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' : d['c_0011_3'], 'c_1100_10' : negation(d['c_0101_11']), 'c_1100_13' : negation(d['c_0011_10']), 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0101_11'], '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' : negation(d['c_0101_11']), 'c_1010_8' : d['c_0101_6'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_5'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(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_11']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0101_13' : d['c_0101_12'], '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' : d['c_0101_5'], 'c_0110_10' : d['c_0101_5'], 'c_0110_13' : negation(d['c_0011_9']), 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : d['c_0101_12'], 'c_0011_7' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_1'], 's_3_12' : d['1'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_12'], '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' : d['c_0011_10'], 'c_0101_8' : negation(d['c_0011_9']), 'c_0011_10' : d['c_0011_10'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_9']), 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_9, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_3, c_0101_5, c_0101_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 10187649188526717163532567/45490967255201690739755*c_1001_1^17 - 104843179452934607491816/54480200305630767353*c_1001_1^16 + 387956317573594464509577432/45490967255201690739755*c_1001_1^15 - 1141510206764640587113653152/45490967255201690739755*c_1001_1^14 + 487075430654225155830802163/9098193451040338147951*c_1001_1^13 - 784019090892270393725895324/9098193451040338147951*c_1001_1^12 + 968978048044618944049857967/9098193451040338147951*c_1001_1^11 - 4620620131848467720800621674/45490967255201690739755*c_1001_1^10 + 3415064620125780022518220192/45490967255201690739755*c_1001_1^9 - 2018846639676069636403941199/45490967255201690739755*c_1001_1^8 + 215952811204680038503595906/9098193451040338147951*c_1001_1^7 - 624719124772760054887914534/45490967255201690739755*c_1001_1^6 + 377375723921197617094894224/45490967255201690739755*c_1001_1^5 - 38288879560836622596971462/9098193451040338147951*c_1001_1^4 + 69434224868710082429114027/45490967255201690739755*c_1001_1^3 - 17620930655132728097541173/45490967255201690739755*c_1001_1^2 + 7191621377475489411339189/45490967255201690739755*c_1001_1 - 2474520510757401585363746/45490967255201690739755, c_0011_0 - 1, c_0011_10 - 14797014836487275201/21542683783047367359*c_1001_1^17 + 1273075877525732041/128998106485313577*c_1001_1^16 - 1258462388780264060132/21542683783047367359*c_1001_1^15 + 1530446192850728945914/7180894594349122453*c_1001_1^14 - 3920322347244116081793/7180894594349122453*c_1001_1^13 + 7449787860731469520928/7180894594349122453*c_1001_1^12 - 32333777966469289319879/21542683783047367359*c_1001_1^11 + 35951728833217937839931/21542683783047367359*c_1001_1^10 - 10242795018726575013819/7180894594349122453*c_1001_1^9 + 20301925395716292201538/21542683783047367359*c_1001_1^8 - 10910806546564408728212/21542683783047367359*c_1001_1^7 + 1876066653414431110574/7180894594349122453*c_1001_1^6 - 3189507390139933286708/21542683783047367359*c_1001_1^5 + 578782774963368390256/7180894594349122453*c_1001_1^4 - 746906703163598104859/21542683783047367359*c_1001_1^3 + 208147925610634847128/21542683783047367359*c_1001_1^2 - 10578393646355373298/7180894594349122453*c_1001_1 + 12029709160464505919/21542683783047367359, c_0011_11 + 14250214439122345936/7180894594349122453*c_1001_1^17 - 581588831813317162/42999368828437859*c_1001_1^16 + 330807872402087645297/7180894594349122453*c_1001_1^15 - 682630654880618833384/7180894594349122453*c_1001_1^14 + 793808609798703886672/7180894594349122453*c_1001_1^13 - 90355944030116327733/7180894594349122453*c_1001_1^12 - 1570837680157329466738/7180894594349122453*c_1001_1^11 + 3378110739735049826553/7180894594349122453*c_1001_1^10 - 4085867786902614531559/7180894594349122453*c_1001_1^9 + 3305943592198448908521/7180894594349122453*c_1001_1^8 - 1904183598075669724468/7180894594349122453*c_1001_1^7 + 933879687553982480927/7180894594349122453*c_1001_1^6 - 531446168133735246814/7180894594349122453*c_1001_1^5 + 329630684494692934546/7180894594349122453*c_1001_1^4 - 166718760317349436670/7180894594349122453*c_1001_1^3 + 59120564538467345412/7180894594349122453*c_1001_1^2 - 4230409643111873173/7180894594349122453*c_1001_1 + 4209537318453579860/7180894594349122453, c_0011_12 + 5604446767002472690/7180894594349122453*c_1001_1^17 - 213722123417295426/42999368828437859*c_1001_1^16 + 107566540414134049855/7180894594349122453*c_1001_1^15 - 168978948225828417869/7180894594349122453*c_1001_1^14 + 26318797881052942285/7180894594349122453*c_1001_1^13 + 548269251769754213816/7180894594349122453*c_1001_1^12 - 1495938329407754671379/7180894594349122453*c_1001_1^11 + 2311648383368869950053/7180894594349122453*c_1001_1^10 - 2420904388128805510068/7180894594349122453*c_1001_1^9 + 1797150171593644717425/7180894594349122453*c_1001_1^8 - 989459439569949189567/7180894594349122453*c_1001_1^7 + 493573300343938543691/7180894594349122453*c_1001_1^6 - 291328398570403017835/7180894594349122453*c_1001_1^5 + 171814985318113863115/7180894594349122453*c_1001_1^4 - 82942490557212054281/7180894594349122453*c_1001_1^3 + 25516631060429824417/7180894594349122453*c_1001_1^2 + 4858114566490364213/7180894594349122453*c_1001_1 + 1470542205034210485/7180894594349122453, c_0011_3 - 1, c_0011_9 + 8777334168027546917/21542683783047367359*c_1001_1^17 - 335210643379495201/128998106485313577*c_1001_1^16 + 167223188120813466911/21542683783047367359*c_1001_1^15 - 85646840226263380168/7180894594349122453*c_1001_1^14 + 5315863269013390269/7180894594349122453*c_1001_1^13 + 304974929249949088096/7180894594349122453*c_1001_1^12 - 2433785757856920050635/21542683783047367359*c_1001_1^11 + 3734793643808118099115/21542683783047367359*c_1001_1^10 - 1300038323293226938294/7180894594349122453*c_1001_1^9 + 2877173473068261324923/21542683783047367359*c_1001_1^8 - 1543882402257062604793/21542683783047367359*c_1001_1^7 + 234227513781314746503/7180894594349122453*c_1001_1^6 - 373582611959985586786/21542683783047367359*c_1001_1^5 + 67592292686061706704/7180894594349122453*c_1001_1^4 - 82647994969715484397/21542683783047367359*c_1001_1^3 - 10457457360037848148/21542683783047367359*c_1001_1^2 + 13868301779172338645/7180894594349122453*c_1001_1 + 1721646131453227294/21542683783047367359, c_0101_0 - 42192361135732118613/7180894594349122453*c_1001_1^17 + 2133149231798620292/42999368828437859*c_1001_1^16 - 1553454604234661889515/7180894594349122453*c_1001_1^15 + 4494147897254454122644/7180894594349122453*c_1001_1^14 - 9409277313623898804327/7180894594349122453*c_1001_1^13 + 14823737060892327432626/7180894594349122453*c_1001_1^12 - 17878595955883984033299/7180894594349122453*c_1001_1^11 + 16609876260303488186349/7180894594349122453*c_1001_1^10 - 12013830003683930844096/7180894594349122453*c_1001_1^9 + 7122450225923974236583/7180894594349122453*c_1001_1^8 - 4023449043854780068907/7180894594349122453*c_1001_1^7 + 2471544965728045450173/7180894594349122453*c_1001_1^6 - 1477179687568921282303/7180894594349122453*c_1001_1^5 + 719309123417896408745/7180894594349122453*c_1001_1^4 - 270835554323608760741/7180894594349122453*c_1001_1^3 + 83695035976363789866/7180894594349122453*c_1001_1^2 - 34629093658036663286/7180894594349122453*c_1001_1 + 13241361233629422526/7180894594349122453, c_0101_1 - 1, c_0101_11 + c_1001_1, c_0101_12 + 24823888776606123173/7180894594349122453*c_1001_1^17 - 1079870093769066335/42999368828437859*c_1001_1^16 + 664364490820498651098/7180894594349122453*c_1001_1^15 - 1553530252019297239477/7180894594349122453*c_1001_1^14 + 2382203782503939941851/7180894594349122453*c_1001_1^13 - 2132921923327657572138/7180894594349122453*c_1001_1^12 + 177225262986793655192/7180894594349122453*c_1001_1^11 + 2639586943824684723310/7180894594349122453*c_1001_1^10 - 4391753553732090166886/7180894594349122453*c_1001_1^9 + 4027039030460085702252/7180894594349122453*c_1001_1^8 - 2427041956225685675428/7180894594349122453*c_1001_1^7 + 1155180363152695646006/7180894594349122453*c_1001_1^6 - 636387733953054790301/7180894594349122453*c_1001_1^5 + 412857445380080158969/7180894594349122453*c_1001_1^4 - 227615248138361313013/7180894594349122453*c_1001_1^3 + 86585798617927544402/7180894594349122453*c_1001_1^2 - 11096644511735472325/7180894594349122453*c_1001_1 + 7636292873884032211/7180894594349122453, c_0101_3 - 121816044178930161805/7180894594349122453*c_1001_1^17 + 6047948399579058661/42999368828437859*c_1001_1^16 - 4359826231928819931520/7180894594349122453*c_1001_1^15 + 12526889800705691046531/7180894594349122453*c_1001_1^14 - 26110649345545997734988/7180894594349122453*c_1001_1^13 + 41047824863329523114857/7180894594349122453*c_1001_1^12 - 49511894192029048183488/7180894594349122453*c_1001_1^11 + 46075455519629659247192/7180894594349122453*c_1001_1^10 - 33344153853223899060399/7180894594349122453*c_1001_1^9 + 19574440216622780068129/7180894594349122453*c_1001_1^8 - 10701101163185350309922/7180894594349122453*c_1001_1^7 + 6318735779240059548316/7180894594349122453*c_1001_1^6 - 3744350311735266695154/7180894594349122453*c_1001_1^5 + 1807061873337447981382/7180894594349122453*c_1001_1^4 - 649570658062824742452/7180894594349122453*c_1001_1^3 + 182700369172785070178/7180894594349122453*c_1001_1^2 - 85518913455660255749/7180894594349122453*c_1001_1 + 13219128193740670663/7180894594349122453, c_0101_5 - 10181347513235972237/21542683783047367359*c_1001_1^17 + 871774664692219528/128998106485313577*c_1001_1^16 - 897458812532094664286/21542683783047367359*c_1001_1^15 + 1140380689071255856539/7180894594349122453*c_1001_1^14 - 3056930885740141007647/7180894594349122453*c_1001_1^13 + 6097596413253119725375/7180894594349122453*c_1001_1^12 - 27878797953473689089563/21542683783047367359*c_1001_1^11 + 32810158740978269358569/21542683783047367359*c_1001_1^10 - 9944546252195643763646/7180894594349122453*c_1001_1^9 + 20977788794907515551726/21542683783047367359*c_1001_1^8 - 11769955686510830167529/21542683783047367359*c_1001_1^7 + 1994073170285523139019/7180894594349122453*c_1001_1^6 - 3289512758036134508894/21542683783047367359*c_1001_1^5 + 613373376283762371205/7180894594349122453*c_1001_1^4 - 847473038153697388517/21542683783047367359*c_1001_1^3 + 276695561956361477899/21542683783047367359*c_1001_1^2 - 13655859836156261043/7180894594349122453*c_1001_1 + 22038465984211668680/21542683783047367359, c_0101_6 + 8603906933902260419/7180894594349122453*c_1001_1^17 - 462012326236967174/42999368828437859*c_1001_1^16 + 355491729758519981462/7180894594349122453*c_1001_1^15 - 1081729187596081511976/7180894594349122453*c_1001_1^14 + 2375854860909059743144/7180894594349122453*c_1001_1^13 - 3912517618923545462121/7180894594349122453*c_1001_1^12 + 4893336497342575087947/7180894594349122453*c_1001_1^11 - 4629815512564280180538/7180894594349122453*c_1001_1^10 + 3266798227851005087771/7180894594349122453*c_1001_1^9 - 1719675877797227135239/7180894594349122453*c_1001_1^8 + 777266841723327683028/7180894594349122453*c_1001_1^7 - 441331792308780346394/7180894594349122453*c_1001_1^6 + 295789447435893974356/7180894594349122453*c_1001_1^5 - 143642346245053816222/7180894594349122453*c_1001_1^4 + 40400143834613029584/7180894594349122453*c_1001_1^3 - 7563267477695455327/7180894594349122453*c_1001_1^2 - 831843252531740581/7180894594349122453*c_1001_1 + 4698990998129586064/7180894594349122453, c_1001_1^18 - 147/17*c_1001_1^17 + 657/17*c_1001_1^16 - 1954/17*c_1001_1^15 + 4227/17*c_1001_1^14 - 6930/17*c_1001_1^13 + 8780/17*c_1001_1^12 - 8664/17*c_1001_1^11 + 6706/17*c_1001_1^10 - 4186/17*c_1001_1^9 + 2314/17*c_1001_1^8 - 77*c_1001_1^7 + 773/17*c_1001_1^6 - 409/17*c_1001_1^5 + 167/17*c_1001_1^4 - 50/17*c_1001_1^3 + c_1001_1^2 - 5/17*c_1001_1 + 1/17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.320 Total time: 0.530 seconds, Total memory usage: 32.09MB