Magma V2.19-8 Tue Aug 20 2013 16:17:59 on localhost [Seed = 3297073154] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2222 geometric_solution 5.66458431 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.567524660140 0.547556093879 0 2 3 0 3201 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 0 1 -1 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.728440180018 0.463038151211 4 1 3 5 0132 0132 1302 0132 0 0 0 0 0 1 0 -1 -1 0 0 1 -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 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.569973687797 0.530863855750 2 5 4 1 2031 2310 1023 0132 0 0 0 0 0 0 1 -1 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 1 -1 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.569973687797 0.530863855750 2 4 3 4 0132 1302 1023 2031 0 0 0 0 0 0 0 0 1 0 -1 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 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.614536677354 1.061860750269 6 6 2 3 0132 2310 0132 3201 0 0 0 0 0 -1 1 0 0 0 -1 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 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.279410605470 0.863335077153 5 6 6 5 0132 3201 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.848926194866 0.617531671083 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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' : negation(d['1']), '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_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : 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' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_6']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0011_1'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 10349503816136720615410769504984694541845085505424102162/7099571401\ 77777895906612086356515674670748369228227981*c_0101_6^26 - 441832420705353410689999537106173512430262369769320730007/283982856\ 0711111583626448345426062698682993476912911924*c_0101_6^25 + 1982804501254001588435945541375280064381405836436950052605/28398285\ 60711111583626448345426062698682993476912911924*c_0101_6^24 - 448255733075859147091825203392139923863924776977391311631/709957140\ 177777895906612086356515674670748369228227981*c_0101_6^23 - 391957134363007634844786117122093526968255227715195344167/692641112\ 36856380088449959644538114602024231144217364*c_0101_6^22 + 23676328067776324939174995600786459647006558949591578735427/1419914\ 280355555791813224172713031349341496738456455962*c_0101_6^21 + 15812556833897106003645173390731091663995485986677453967457/1419914\ 280355555791813224172713031349341496738456455962*c_0101_6^20 - 65717036811408670133708412453851181344764990590835803119823/7099571\ 40177777895906612086356515674670748369228227981*c_0101_6^19 + 8896608658701936662772237967163859259330165017288872197631/28398285\ 60711111583626448345426062698682993476912911924*c_0101_6^18 + 204796954889987164635053430929852838518067727345261263688199/709957\ 140177777895906612086356515674670748369228227981*c_0101_6^17 - 1908115681018344801902035747381623286674548458793835178698/17316027\ 809214095022112489911134528650506057786054341*c_0101_6^16 - 392727775079699148221208549277700752462558729250055405458580/709957\ 140177777895906612086356515674670748369228227981*c_0101_6^15 + 1125771154412267498037380468248310857986172206678408775630671/28398\ 28560711111583626448345426062698682993476912911924*c_0101_6^14 + 830185572352228466707968032613568607188059110268391930136587/141991\ 4280355555791813224172713031349341496738456455962*c_0101_6^13 - 1768451722472229868620088293103496854298181253539168842116059/28398\ 28560711111583626448345426062698682993476912911924*c_0101_6^12 - 856049759030907336772294497634775386030812371118533102585849/283982\ 8560711111583626448345426062698682993476912911924*c_0101_6^11 + 1347931196533229730242371881892077106687292999494873448425055/28398\ 28560711111583626448345426062698682993476912911924*c_0101_6^10 + 371583684257992958407869968653710010265142209245273215558597/283982\ 8560711111583626448345426062698682993476912911924*c_0101_6^9 - 798862017971167702651883354421578216711178423286416342402751/283982\ 8560711111583626448345426062698682993476912911924*c_0101_6^8 - 99134045937932661202314380324925734819135627668829482365333/2839828\ 560711111583626448345426062698682993476912911924*c_0101_6^7 + 394052365757982756791094498349327279918453947332070691089081/283982\ 8560711111583626448345426062698682993476912911924*c_0101_6^6 - 38254318135432111211082195812186476872021370212148839044553/1419914\ 280355555791813224172713031349341496738456455962*c_0101_6^5 - 1976474948767892490273694900359483126521903413879589970047/69264111\ 236856380088449959644538114602024231144217364*c_0101_6^4 + 38228140509677610765296198560229400157559786511556008364065/2839828\ 560711111583626448345426062698682993476912911924*c_0101_6^3 + 976577062554482843593995037549524286211667779438300441351/283982856\ 0711111583626448345426062698682993476912911924*c_0101_6^2 - 2029349012617200398591778793387167474673277439222119591507/14199142\ 80355555791813224172713031349341496738456455962*c_0101_6 + 680603636308253765703434786283819516519347761282553822177/283982856\ 0711111583626448345426062698682993476912911924, c_0011_0 - 1, c_0011_1 + 801832108326329420744139656555057538254111563951/23720586040\ 0193082494691642618281214390493942274717*c_0101_6^26 - 21661116436605044110452265095169131556111765836767/2372058604001930\ 82494691642618281214390493942274717*c_0101_6^25 + 166634891233543917968084892456158420916595953354331/237205860400193\ 082494691642618281214390493942274717*c_0101_6^24 - 545806363811419823775106779483181525403419657013001/237205860400193\ 082494691642618281214390493942274717*c_0101_6^23 - 224904406439813125452024432364238625935272800832263/237205860400193\ 082494691642618281214390493942274717*c_0101_6^22 + 6194845535755774527426786110273872490587996872982110/23720586040019\ 3082494691642618281214390493942274717*c_0101_6^21 - 9736112132028482178339228713870533930199926526742192/23720586040019\ 3082494691642618281214390493942274717*c_0101_6^20 - 25387225953016637548843217664771959541199179727514968/2372058604001\ 93082494691642618281214390493942274717*c_0101_6^19 + 67762975223665969928180523353508035798008904045955121/2372058604001\ 93082494691642618281214390493942274717*c_0101_6^18 + 76805763256701880115934022575035007922123408692788923/2372058604001\ 93082494691642618281214390493942274717*c_0101_6^17 - 226023663245947379707467107823981498362755930008150207/237205860400\ 193082494691642618281214390493942274717*c_0101_6^16 - 136678093018261460327279941118717480773872819872209240/237205860400\ 193082494691642618281214390493942274717*c_0101_6^15 + 471230225508437654307708048492529477600232223618647120/237205860400\ 193082494691642618281214390493942274717*c_0101_6^14 + 88414145898033520680365792248425438421242359594740258/2372058604001\ 93082494691642618281214390493942274717*c_0101_6^13 - 601314265244090145620668739065047719954566685356090350/237205860400\ 193082494691642618281214390493942274717*c_0101_6^12 + 44549441427384473524421148651735218910903212395168572/2372058604001\ 93082494691642618281214390493942274717*c_0101_6^11 + 458636030886096043246248178828481053065335389375839519/237205860400\ 193082494691642618281214390493942274717*c_0101_6^10 - 64922226218725572614869288362419845401944773927470806/2372058604001\ 93082494691642618281214390493942274717*c_0101_6^9 - 270306110243159268107750344414698082412051754103298089/237205860400\ 193082494691642618281214390493942274717*c_0101_6^8 + 47643425115876205874633231023943746258038739552317750/2372058604001\ 93082494691642618281214390493942274717*c_0101_6^7 + 125136881696563904124192388659654741403756589129530952/237205860400\ 193082494691642618281214390493942274717*c_0101_6^6 - 36815199412800334316774813582751463376468311072267908/2372058604001\ 93082494691642618281214390493942274717*c_0101_6^5 - 26686938526476092674378854753270869498434444431721913/2372058604001\ 93082494691642618281214390493942274717*c_0101_6^4 + 13355325006978964813097833193990622914069188595716129/2372058604001\ 93082494691642618281214390493942274717*c_0101_6^3 + 1000533786836174233622585796810978594528455026981698/23720586040019\ 3082494691642618281214390493942274717*c_0101_6^2 - 1688474713905537510641065769560743721349381106616779/23720586040019\ 3082494691642618281214390493942274717*c_0101_6 - 10177081882879541441382607096762018635104456166649/2372058604001930\ 82494691642618281214390493942274717, c_0011_3 + 49323135835639302263341285068462347557420699928881893/141991\ 4280355555791813224172713031349341496738456455962*c_0101_6^26 - 295089114956042423562389026162248855172078605982938660/709957140177\ 777895906612086356515674670748369228227981*c_0101_6^25 + 1501319449711340393576878124623156752078856569786727918/70995714017\ 7777895906612086356515674670748369228227981*c_0101_6^24 - 4792568045050399656761148573467124989715605793159445447/14199142803\ 55555791813224172713031349341496738456455962*c_0101_6^23 - 438489303272736404063454140192766557139220517266667755/346320556184\ 28190044224979822269057301012115572108682*c_0101_6^22 + 81453878187323877738882499631234074875560809435469562549/1419914280\ 355555791813224172713031349341496738456455962*c_0101_6^21 - 18594056352915722633169347306746202386260533318626490459/1419914280\ 355555791813224172713031349341496738456455962*c_0101_6^20 - 197565045602126324143775022562737163654961236314633011153/709957140\ 177777895906612086356515674670748369228227981*c_0101_6^19 + 175481278448152539445243488246475735011797625020984634136/709957140\ 177777895906612086356515674670748369228227981*c_0101_6^18 + 592060229113481633417235827444476287514956578735697341004/709957140\ 177777895906612086356515674670748369228227981*c_0101_6^17 - 17623073815544356966262483451051582196297703120828900472/1731602780\ 9214095022112489911134528650506057786054341*c_0101_6^16 - 2138789875043432403808843526034616120568166849220689236949/14199142\ 80355555791813224172713031349341496738456455962*c_0101_6^15 + 3424873667372741319501976664476387762750513996628497345041/14199142\ 80355555791813224172713031349341496738456455962*c_0101_6^14 + 914170973598015409377262816971888003484517454694112876248/709957140\ 177777895906612086356515674670748369228227981*c_0101_6^13 - 4480692083183788327081035467703406611269152087696082111881/14199142\ 80355555791813224172713031349341496738456455962*c_0101_6^12 - 196581722684066447288881308362009513697476188859093199819/709957140\ 177777895906612086356515674670748369228227981*c_0101_6^11 + 3150496307487973245604815243033065459486689551003450650639/14199142\ 80355555791813224172713031349341496738456455962*c_0101_6^10 + 41228332093228858426221150854455663613735668559790028536/7099571401\ 77777895906612086356515674670748369228227981*c_0101_6^9 - 1832347195963273743201303178411479199294019715726945964771/14199142\ 80355555791813224172713031349341496738456455962*c_0101_6^8 + 35974283707814510655049408671129643617661151354878738292/7099571401\ 77777895906612086356515674670748369228227981*c_0101_6^7 + 415769896211942497437762816301490730393131249287864674401/709957140\ 177777895906612086356515674670748369228227981*c_0101_6^6 - 199174068710911734663950516469115364775788906964011475139/141991428\ 0355555791813224172713031349341496738456455962*c_0101_6^5 - 1431441482413740603896235238254177340341857125087139901/17316027809\ 214095022112489911134528650506057786054341*c_0101_6^4 + 42143784714278308157676111872677779588306945880365653075/1419914280\ 355555791813224172713031349341496738456455962*c_0101_6^3 - 3169828933816347788283616509085144526083571348482170171/14199142803\ 55555791813224172713031349341496738456455962*c_0101_6^2 - 608160764166431298923907388398962951145485000496687637/709957140177\ 777895906612086356515674670748369228227981*c_0101_6 - 351430003872217052372870788341225055504576552833028938/709957140177\ 777895906612086356515674670748369228227981, c_0011_5 + 336539227200475853857198010409466534595206650188907/14199142\ 80355555791813224172713031349341496738456455962*c_0101_6^26 - 20477440397757480609282484628577535327596001453567891/7099571401777\ 77895906612086356515674670748369228227981*c_0101_6^25 + 201649831489503956640174540781051224625596728242781487/709957140177\ 777895906612086356515674670748369228227981*c_0101_6^24 - 1685122425835073257716693535499078489521472221771404647/14199142803\ 55555791813224172713031349341496738456455962*c_0101_6^23 + 24285318516248554404595083825483385007779874487309801/3463205561842\ 8190044224979822269057301012115572108682*c_0101_6^22 + 15047356023521975057911569256204209646601135312800909017/1419914280\ 355555791813224172713031349341496738456455962*c_0101_6^21 - 37346071194275652331990451037539297201723952937087193967/1419914280\ 355555791813224172713031349341496738456455962*c_0101_6^20 - 20973353996408849269641613498853540662265186286824066437/7099571401\ 77777895906612086356515674670748369228227981*c_0101_6^19 + 109077571098113956212285726675229937175627094539720351751/709957140\ 177777895906612086356515674670748369228227981*c_0101_6^18 + 37695272605986506002307238642266277407841477212666887888/7099571401\ 77777895906612086356515674670748369228227981*c_0101_6^17 - 8433412463969609839290846653808936662980938593755329509/17316027809\ 214095022112489911134528650506057786054341*c_0101_6^16 - 7479102868238845750903288027747479888934100765996087543/14199142803\ 55555791813224172713031349341496738456455962*c_0101_6^15 + 1334567483525385712549572337942738686975883229596320508519/14199142\ 80355555791813224172713031349341496738456455962*c_0101_6^14 - 198228952443251844793803167448870261725326842861230930582/709957140\ 177777895906612086356515674670748369228227981*c_0101_6^13 - 1472667686752109783430996698386902371253130200945523917321/14199142\ 80355555791813224172713031349341496738456455962*c_0101_6^12 + 376342577230363172903428064399000809550671883989260160900/709957140\ 177777895906612086356515674670748369228227981*c_0101_6^11 + 891854262240669804300409264727695492986705187928086804487/141991428\ 0355555791813224172713031349341496738456455962*c_0101_6^10 - 248324914986728433270435844542327706637961309311742798210/709957140\ 177777895906612086356515674670748369228227981*c_0101_6^9 - 486026572590295507736939531710653135663474168798611898951/141991428\ 0355555791813224172713031349341496738456455962*c_0101_6^8 + 145681715444318334463282934190933251389213641123683962979/709957140\ 177777895906612086356515674670748369228227981*c_0101_6^7 + 90918346220097910447273298581375172492267486237213358377/7099571401\ 77777895906612086356515674670748369228227981*c_0101_6^6 - 148141635446411190074585404249530358653928927988920078193/141991428\ 0355555791813224172713031349341496738456455962*c_0101_6^5 + 167849070223426209580525820660958250874551508349212385/173160278092\ 14095022112489911134528650506057786054341*c_0101_6^4 + 19377572659844786793157734297167544190910456384556780313/1419914280\ 355555791813224172713031349341496738456455962*c_0101_6^3 - 9700665292174419186770219400629028253893118192318336383/14199142803\ 55555791813224172713031349341496738456455962*c_0101_6^2 - 255043385048146522658746861515103831995138486801569009/709957140177\ 777895906612086356515674670748369228227981*c_0101_6 - 98805003932205306342916843928466295775598870535882058/7099571401777\ 77895906612086356515674670748369228227981, c_0101_0 - 157704805071294976764848288159151475651328290024011/23720586\ 0400193082494691642618281214390493942274717*c_0101_6^26 + 1534603111524349467979293258829200670197488894607881/23720586040019\ 3082494691642618281214390493942274717*c_0101_6^25 - 6051710916278360298890071166667268889027236613182656/23720586040019\ 3082494691642618281214390493942274717*c_0101_6^24 + 567254088523738599215362984731430133815767009339386/237205860400193\ 082494691642618281214390493942274717*c_0101_6^23 + 64073453847098123334790293432825087205269627945635687/2372058604001\ 93082494691642618281214390493942274717*c_0101_6^22 - 120934022601116658783274135200269097708032547058168341/237205860400\ 193082494691642618281214390493942274717*c_0101_6^21 - 256785356167347902234466853456069228161953420775243787/237205860400\ 193082494691642618281214390493942274717*c_0101_6^20 + 808842175599332706209965390276789351302551703229924439/237205860400\ 193082494691642618281214390493942274717*c_0101_6^19 + 803757150373716932535396377885240917628127705602931467/237205860400\ 193082494691642618281214390493942274717*c_0101_6^18 - 2669127950484303706651325967031180034933431666393038017/23720586040\ 0193082494691642618281214390493942274717*c_0101_6^17 - 1515563487095132333710971463246238829394424229758016767/23720586040\ 0193082494691642618281214390493942274717*c_0101_6^16 + 5536675172922287421448480080877842007846721368324579333/23720586040\ 0193082494691642618281214390493942274717*c_0101_6^15 + 1168951966172868535568263913992385135514555253189428931/23720586040\ 0193082494691642618281214390493942274717*c_0101_6^14 - 7184558803881867733769568486848774814100885264616070075/23720586040\ 0193082494691642618281214390493942274717*c_0101_6^13 + 144234307907379488326955326704811916224815709809098691/237205860400\ 193082494691642618281214390493942274717*c_0101_6^12 + 5749543880829137682189214112503789213618388676574819954/23720586040\ 0193082494691642618281214390493942274717*c_0101_6^11 - 455514508811162029259541688095209643958683427385505914/237205860400\ 193082494691642618281214390493942274717*c_0101_6^10 - 3495707726496103901500591078226279965139337084507006229/23720586040\ 0193082494691642618281214390493942274717*c_0101_6^9 + 362074657552828093031569285808912195746951149663469248/237205860400\ 193082494691642618281214390493942274717*c_0101_6^8 + 1657218935288783862376480186023545558529805874903470611/23720586040\ 0193082494691642618281214390493942274717*c_0101_6^7 - 317438188855905321588405856074745690893409185930818535/237205860400\ 193082494691642618281214390493942274717*c_0101_6^6 - 415943334327331578033996122570170722427846614892023283/237205860400\ 193082494691642618281214390493942274717*c_0101_6^5 + 133772455107462031234846831992877880081257719736907928/237205860400\ 193082494691642618281214390493942274717*c_0101_6^4 + 34965955959075399556097653405942512040565988306425951/2372058604001\ 93082494691642618281214390493942274717*c_0101_6^3 - 24617622501174905322893714906868957223390737519009310/2372058604001\ 93082494691642618281214390493942274717*c_0101_6^2 - 411188343177989212658937986051373423474169669426055/237205860400193\ 082494691642618281214390493942274717*c_0101_6 + 791064190370075417919069833564318738908490195218897/237205860400193\ 082494691642618281214390493942274717, c_0101_4 + 64470360406570663460947925117922547773358473858878275/709957\ 140177777895906612086356515674670748369228227981*c_0101_6^26 - 709055625513596873229281941606181521380822927228121337/709957140177\ 777895906612086356515674670748369228227981*c_0101_6^25 + 3288974329579818394620651591778424538970512269493356856/70995714017\ 7777895906612086356515674670748369228227981*c_0101_6^24 - 3581432084893427248956838882555448028003289973189552785/70995714017\ 7777895906612086356515674670748369228227981*c_0101_6^23 - 608171828019622307222390455753029674761185191909345606/173160278092\ 14095022112489911134528650506057786054341*c_0101_6^22 + 81749949543192000903333416159945018829624199336872509713/7099571401\ 77777895906612086356515674670748369228227981*c_0101_6^21 + 34494989441047820102291523298622356569511424363863790703/7099571401\ 77777895906612086356515674670748369228227981*c_0101_6^20 - 440528136067281339549784270722552930587403808047501573676/709957140\ 177777895906612086356515674670748369228227981*c_0101_6^19 + 106098312842597492101168825603794572738003480177857763996/709957140\ 177777895906612086356515674670748369228227981*c_0101_6^18 + 1378197214086277262669753534280370526886112312851072467121/70995714\ 0177777895906612086356515674670748369228227981*c_0101_6^17 - 18562806211573299435034070611028129547861005150941506689/1731602780\ 9214095022112489911134528650506057786054341*c_0101_6^16 - 2638862254850475310841966802888337675838829562326557431734/70995714\ 0177777895906612086356515674670748369228227981*c_0101_6^15 + 2255867686264187175885729428712658504909347588930465571876/70995714\ 0177777895906612086356515674670748369228227981*c_0101_6^14 + 2747586436324868898843036012723249706037934630754501755860/70995714\ 0177777895906612086356515674670748369228227981*c_0101_6^13 - 3286540508983567829709390681282216943835053109088673476277/70995714\ 0177777895906612086356515674670748369228227981*c_0101_6^12 - 1409535627714562063114753512764311977607424452655629238060/70995714\ 0177777895906612086356515674670748369228227981*c_0101_6^11 + 2395810006522081629832523680210426680165668493463850540681/70995714\ 0177777895906612086356515674670748369228227981*c_0101_6^10 + 691444677568753594251068749133601957680442829795904043409/709957140\ 177777895906612086356515674670748369228227981*c_0101_6^9 - 1398067675762204115816733282263760138959606810785014290972/70995714\ 0177777895906612086356515674670748369228227981*c_0101_6^8 - 226161572049652738946492316468717128486623257398172768158/709957140\ 177777895906612086356515674670748369228227981*c_0101_6^7 + 659848304549989258081962753583134723612456633780360073748/709957140\ 177777895906612086356515674670748369228227981*c_0101_6^6 - 93039212229884665381766757260011592412993475803709039125/7099571401\ 77777895906612086356515674670748369228227981*c_0101_6^5 - 2728394958594330456462220500259505755270542046291596941/17316027809\ 214095022112489911134528650506057786054341*c_0101_6^4 + 41998515399491733901837719302663347890477137049790208762/7099571401\ 77777895906612086356515674670748369228227981*c_0101_6^3 + 744396607562023026278035980638321453577378509950453171/709957140177\ 777895906612086356515674670748369228227981*c_0101_6^2 - 3424837771717943589814075618736676240593654308905255515/70995714017\ 7777895906612086356515674670748369228227981*c_0101_6 + 87450759519747081940951009131091446221062360299632597/7099571401777\ 77895906612086356515674670748369228227981, c_0101_6^27 - 10*c_0101_6^26 + 41*c_0101_6^25 - 14*c_0101_6^24 - 405*c_0101_6^23 + 876*c_0101_6^22 + 1419*c_0101_6^21 - 5560*c_0101_6^20 - 3708*c_0101_6^19 + 18255*c_0101_6^18 + 5040*c_0101_6^17 - 37565*c_0101_6^16 + 2033*c_0101_6^15 + 47303*c_0101_6^14 - 13077*c_0101_6^13 - 35939*c_0101_6^12 + 12506*c_0101_6^11 + 21239*c_0101_6^10 - 8106*c_0101_6^9 - 9829*c_0101_6^8 + 4749*c_0101_6^7 + 2080*c_0101_6^6 - 1510*c_0101_6^5 - 6*c_0101_6^4 + 204*c_0101_6^3 - 31*c_0101_6^2 - 6*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB