Magma V2.19-8 Tue Aug 20 2013 16:19:03 on localhost [Seed = 526287466] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3204 geometric_solution 6.35193195 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 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 0 1 -1 0 0 1 -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.533160351407 0.758307226862 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.777298849894 0.987258874681 3 0 4 5 2310 0132 3201 2310 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 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.777298849894 0.987258874681 3 1 2 3 3012 0132 3201 1230 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 -1 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 0 0 0 0 0.307093276141 0.650193856443 2 6 1 6 2310 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.953624956532 0.756954244989 2 5 5 1 3201 3201 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.424915908119 0.683229432423 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539911439488 0.197109412689 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 5995175819693319499508493466462786666427067391302178937320900713721\ 2590390070300107/13668036400844432787463357979539279761359545594201\ 337425731464458993201095405892555*c_0110_6^31 - 5332171786980159435727308810413706478520536851769309397783358541234\ 8217714342900791/13668036400844432787463357979539279761359545594201\ 337425731464458993201095405892555*c_0110_6^30 + 1394738366674186194349705970574024939697777800949489421266873711293\ 046846896927104638/136680364008444327874633579795392797613595455942\ 01337425731464458993201095405892555*c_0110_6^29 + 3475870138597141641579537449733306124609695053681834888754431755961\ 28000464523224923/1366803640084443278746335797953927976135954559420\ 1337425731464458993201095405892555*c_0110_6^28 - 1259216830784670631549586936115882402410481142374554285688871802631\ 0744106947345720502/13668036400844432787463357979539279761359545594\ 201337425731464458993201095405892555*c_0110_6^27 + 1598447651704518491584858831333462369914254201873338181005842790765\ 4483752191993712062/13668036400844432787463357979539279761359545594\ 201337425731464458993201095405892555*c_0110_6^26 + 1252711798333646003292623682442782787185837585090304881769919143089\ 75684480820464151452/1366803640084443278746335797953927976135954559\ 4201337425731464458993201095405892555*c_0110_6^25 - 7172830598007759847999080308686490273769600871854391248943242724447\ 4529033483021929447/13668036400844432787463357979539279761359545594\ 201337425731464458993201095405892555*c_0110_6^24 - 1135012658160267233141451900324444458503584426266510399764694974468\ 08773899815465988623/1952576628692061826780479711362754251622792227\ 743048203675923494141885870772270365*c_0110_6^23 + 1063183089554777920306899475433386644850677725260236446422102697627\ 412331774937820983/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^22 + 2869713842040599552666400458915658141388604402789032430823884368576\ 446639278596907343533/136680364008444327874633579795392797613595455\ 94201337425731464458993201095405892555*c_0110_6^21 - 5292749688052935985625355923212304289814465979876851974812488521358\ 23476658243067552372/1366803640084443278746335797953927976135954559\ 4201337425731464458993201095405892555*c_0110_6^20 - 6770348228392884030428397772873434034443021981790031259876196983668\ 179548135500261312421/136680364008444327874633579795392797613595455\ 94201337425731464458993201095405892555*c_0110_6^19 + 4009239691786119635384041389226963802408451783215838620894035168035\ 84417341245807377007/1952576628692061826780479711362754251622792227\ 743048203675923494141885870772270365*c_0110_6^18 + 1069109402254034798484327386115985912275207424208652940840770075000\ 6702169529939154231891/13668036400844432787463357979539279761359545\ 594201337425731464458993201095405892555*c_0110_6^17 - 1415753983119964176954424156543010350676562883281815362449685897172\ 283962268668644769175/273360728016888655749267159590785595227190911\ 8840267485146292891798640219081178511*c_0110_6^16 - 9718201918116205316136872652730856029978142384213067447739806763518\ 157846108317939231488/136680364008444327874633579795392797613595455\ 94201337425731464458993201095405892555*c_0110_6^15 + 1025715280889299027400323365275761864977256810278966940815858768255\ 2688049292995036208126/13668036400844432787463357979539279761359545\ 594201337425731464458993201095405892555*c_0110_6^14 + 3523458581871956478135561531392610289133975110653764503552693132168\ 24478722636023467539/1952576628692061826780479711362754251622792227\ 743048203675923494141885870772270365*c_0110_6^13 - 3220809239017593297317895525641824630682059196336197815649892971948\ 3623267534054803456/55336179760503776467462987771414088102670225077\ 738208201341961372442109697999565*c_0110_6^12 + 4262032902293822454506853281533366905602220171070086357126817540615\ 734578622258533851228/136680364008444327874633579795392797613595455\ 94201337425731464458993201095405892555*c_0110_6^11 + 1591235510350735257653532926963903332098777490610645310353172278560\ 535863954795902571933/136680364008444327874633579795392797613595455\ 94201337425731464458993201095405892555*c_0110_6^10 - 5297740089356341500686216365369704255540714644140325639784859464356\ 508827150527217101233/136680364008444327874633579795392797613595455\ 94201337425731464458993201095405892555*c_0110_6^9 + 2392759051226144776027054924547072146340790439370324899961554364407\ 74082905500389724019/1952576628692061826780479711362754251622792227\ 743048203675923494141885870772270365*c_0110_6^8 + 2525347080574536956530420535551486152436263590951852356817878241964\ 069961417352173722421/136680364008444327874633579795392797613595455\ 94201337425731464458993201095405892555*c_0110_6^7 - 3116538439079581757487478541450639466307551924674935737183048495738\ 4172411985338431209/39051532573841236535609594227255085032455844554\ 8609640735184698828377174154454073*c_0110_6^6 - 2168862642619898874930073881755879707646134996181494396415795695613\ 589211910822404927/905167973565856475990950859572137732540367257894\ 12830633983208337703318512621805*c_0110_6^5 + 2942533390046326968455320381900337365480624850407109244447411100052\ 87576676609127233638/1366803640084443278746335797953927976135954559\ 4201337425731464458993201095405892555*c_0110_6^4 - 6025108400456917761399650987349649518773926129317807740308641762889\ 380341163293639296/136680364008444327874633579795392797613595455942\ 01337425731464458993201095405892555*c_0110_6^3 - 3538216744774315064113743976508911298261368324878444167740593284843\ 34874336574304184/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^2 - 1494991512997626169883458829125979741542759606194886780752152859540\ 7167690071295857254/13668036400844432787463357979539279761359545594\ 201337425731464458993201095405892555*c_0110_6 - 1992283378471033366656662149812489812168549375638402659408981957069\ 364458396237358133/136680364008444327874633579795392797613595455942\ 01337425731464458993201095405892555, c_0011_0 - 1, c_0011_4 + 768144810884018622514897190561460081786415244679842149800037\ 42382348442049173293/1501982022070816789831138239509810962786763252\ 11003707975071038010914297751713105*c_0110_6^31 + 2800962676555277730358823793791307639072653437911758530787541624700\ 0740697311138/30039640441416335796622764790196219255735265042200741\ 595014207602182859550342621*c_0110_6^30 - 1637915397294499615394147667966709374455414476823187810782955158546\ 660977486107206/150198202207081678983113823950981096278676325211003\ 707975071038010914297751713105*c_0110_6^29 - 3876242062711560220367710061902381468359179903012348455451127985099\ 14830664165314/3003964044141633579662276479019621925573526504220074\ 1595014207602182859550342621*c_0110_6^28 + 1393999513589507179515647261190740623243977579456937510718492495371\ 3451925237479003/15019820220708167898311382395098109627867632521100\ 3707975071038010914297751713105*c_0110_6^27 - 7993999969889471311615168420814274256917958228097724761246364789801\ 548979912575911/150198202207081678983113823950981096278676325211003\ 707975071038010914297751713105*c_0110_6^26 - 1647473857788795021855494798913729429479675868755888716924569120431\ 18432922843811893/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^25 - 6327518281660664059005608710230389197554883634850347488450713844232\ 0246031713644592/15019820220708167898311382395098109627867632521100\ 3707975071038010914297751713105*c_0110_6^24 + 1838818274142864255761748918011461544726649759479427209897916717192\ 76973452640669925/3003964044141633579662276479019621925573526504220\ 0741595014207602182859550342621*c_0110_6^23 + 7123017089219223631248107086418578471632261413642366143400176973631\ 96570200506443404/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^22 - 5594157236214812208962892514000265493377422323824805210320995217037\ 11596293555835968/3003964044141633579662276479019621925573526504220\ 0741595014207602182859550342621*c_0110_6^21 - 1724901630075152954009584346022883032521375303617678224065254677598\ 969250650599471037/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^20 + 6438809910715885534336514593664074194124492683884206361344816353647\ 439890499521727531/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^19 + 1892279387573831016726984229570219894963734384847717519325779135497\ 987671371242468003/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^18 - 1050562807921246523787867366269176603334460046329891800224086257727\ 7479768281460267908/15019820220708167898311382395098109627867632521\ 1003707975071038010914297751713105*c_0110_6^17 - 2645096938381494228174540258177087672898654465188115396334306784680\ 3119437537180253/15019820220708167898311382395098109627867632521100\ 3707975071038010914297751713105*c_0110_6^16 + 1008475120323185522537071444032931375034769079752686567540450207760\ 2558639862713896641/15019820220708167898311382395098109627867632521\ 1003707975071038010914297751713105*c_0110_6^15 - 4179177667952768316723031104908178093253705706992014198685704803244\ 174225383321634812/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^14 - 4784808243774275958687080941144616169572833006359604730577298111783\ 323818568035892717/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^13 + 1038603596095040056061058645411478888659860550304315895772724475864\ 527047979578871491/300396404414163357966227647901962192557352650422\ 00741595014207602182859550342621*c_0110_6^12 - 3657852973749273463401031059612527890747179113372424318666733084495\ 23267447881987950/3003964044141633579662276479019621925573526504220\ 0741595014207602182859550342621*c_0110_6^11 - 2789527823520257072899255574674927126858185765119843558922504992823\ 323813384433713174/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^10 + 3945529754610862759275871745049613767610421348943491310444713837868\ 105629699677561998/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^9 + 8542013936955372990019658518166039342840028202850453150344984656844\ 01251578034948359/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^8 - 1660352710868566721780083512034296611844377627937225382220749296970\ 223978466732325337/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^7 + 2075245584088539915324830048991889702154203326621201691700052584463\ 19852841693186826/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^6 + 1985143504089871706973853158212916324727287609474420357384974411395\ 443269456272262/994690080841600523066978966562788717077326657026514\ 622351463827886849653984855*c_0110_6^5 - 1212221677689024688583423731831135431315638311777708605743011730281\ 15704836204290986/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^4 - 7355237164871971325637873719470027326016300935631350118472922925515\ 216222570817330/300396404414163357966227647901962192557352650422007\ 41595014207602182859550342621*c_0110_6^3 - 9801603999543861431636412064822712731466727406360544009413751021337\ 74477959146635/3003964044141633579662276479019621925573526504220074\ 1595014207602182859550342621*c_0110_6^2 + 1356212291013078903582533058325757628092403765304513137809137202381\ 112563961730143/150198202207081678983113823950981096278676325211003\ 707975071038010914297751713105*c_0110_6 + 4296464921515665197410061546742653446907858845146420309093083682572\ 96084381277947/1501982022070816789831138239509810962786763252110037\ 07975071038010914297751713105, c_0101_0 + 459043385934008479217336317964812504473432607535223822914171\ 1837701055190277349/15019820220708167898311382395098109627867632521\ 1003707975071038010914297751713105*c_0110_6^31 + 1777883695520731254641286666169590443762791659680986838834011392560\ 187099889393/300396404414163357966227647901962192557352650422007415\ 95014207602182859550342621*c_0110_6^30 - 9633743933071729393233550155655006137055161295989664138771215281201\ 3082461993526/15019820220708167898311382395098109627867632521100370\ 7975071038010914297751713105*c_0110_6^29 - 1260969170055399850166801891427787414221909472145262712425660092612\ 13850582024913/1501982022070816789831138239509810962786763252110037\ 07975071038010914297751713105*c_0110_6^28 + 8069344321001418236690944429903261608697654786442413306687658637449\ 50164302081013/1501982022070816789831138239509810962786763252110037\ 07975071038010914297751713105*c_0110_6^27 - 3923159445737125071092450561630999312504395077486972995904735488359\ 42801213859763/1501982022070816789831138239509810962786763252110037\ 07975071038010914297751713105*c_0110_6^26 - 1957788713113638063594034240232978759047381955045219153742941327756\ 194068519213058/300396404414163357966227647901962192557352650422007\ 41595014207602182859550342621*c_0110_6^25 - 5011100850403358273166016204996106743782810639991209493156336167293\ 112830440886516/150198202207081678983113823950981096278676325211003\ 707975071038010914297751713105*c_0110_6^24 + 1066065458167057918692754970251690691493596483232677892240237738964\ 6290041295959339/30039640441416335796622764790196219255735265042200\ 741595014207602182859550342621*c_0110_6^23 + 4884185518666548748394650755855917133328682922539609567787747284828\ 6929637740156224/15019820220708167898311382395098109627867632521100\ 3707975071038010914297751713105*c_0110_6^22 - 1553908572346697005009236629683582673479555945814189214409424743098\ 15211686558473438/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^21 - 1197143130252472654949635142164185180630685834783579104520093332240\ 61930349624981012/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^20 + 3512679844645056328964615159429368381868245596606727082407279931252\ 96724706246518443/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^19 + 1539405088166004203507536928820042182823781212422455485057118410210\ 90451578059702888/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^18 - 5663523927477068782908475946850425434557098072151134991298068890462\ 47560176164723506/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^17 - 8157157106113147214983279102825934182980911840304138267772899965606\ 2226280054779177/15019820220708167898311382395098109627867632521100\ 3707975071038010914297751713105*c_0110_6^16 + 5304819775567799558975151118037677035750797955820170798953768053233\ 82835835574090652/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^15 - 1478786178913475669284328872593281473839940727436291459099646467688\ 06322109499665623/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^14 - 2591491733606674368689873552701367548349985677790411129347418405521\ 27697188917594052/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^13 + 4427626016627271382063174214905243891884106547108685270869237094583\ 8534862885637773/30039640441416335796622764790196219255735265042200\ 741595014207602182859550342621*c_0110_6^12 - 8012407600999406418902578758205163338110579637829407180678001455923\ 2578362188178696/15019820220708167898311382395098109627867632521100\ 3707975071038010914297751713105*c_0110_6^11 - 1402862230545844618100318801665479215341992412207269183975445340321\ 23729810754379253/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^10 + 3691728731776003222533920499240423397903090649613338887776056316223\ 6154244722166752/30039640441416335796622764790196219255735265042200\ 741595014207602182859550342621*c_0110_6^9 + 7396398969723523852697168696942987667705493241667768606446658019527\ 7377840818027114/15019820220708167898311382395098109627867632521100\ 3707975071038010914297751713105*c_0110_6^8 - 6452731148689687570191810302480328569290606960360774751713219930203\ 8503288313962684/15019820220708167898311382395098109627867632521100\ 3707975071038010914297751713105*c_0110_6^7 - 6265464653949167540055577325273633343675543180337169808365214034354\ 714444221792003/150198202207081678983113823950981096278676325211003\ 707975071038010914297751713105*c_0110_6^6 + 8176032488014556633900488216623299143658457112397593225143098728231\ 7156479783598/99469008084160052306697896656278871707732665702651462\ 2351463827886849653984855*c_0110_6^5 - 3154921959897184967744183848332130925606258002653936106944348468339\ 1627883265943/30039640441416335796622764790196219255735265042200741\ 595014207602182859550342621*c_0110_6^4 - 3062284963644977842115700350998808748427376791232908209613744906862\ 905732984677028/150198202207081678983113823950981096278676325211003\ 707975071038010914297751713105*c_0110_6^3 - 1127223230382964785819955941105402389012569870509451807217875040987\ 324129893321948/150198202207081678983113823950981096278676325211003\ 707975071038010914297751713105*c_0110_6^2 + 1051471777959863830296034708320934868449570590428886315928127693631\ 79522969187497/1501982022070816789831138239509810962786763252110037\ 07975071038010914297751713105*c_0110_6 - 2569190373501871008003035099715724140443423376582575770964647151943\ 506888852391/300396404414163357966227647901962192557352650422007415\ 95014207602182859550342621, c_0101_1 - 108721246890715446112479362496293088644118368692115552474758\ 2304226104925463511/30039640441416335796622764790196219255735265042\ 200741595014207602182859550342621*c_0110_6^31 - 1083361737749996655574170004908793443941007331373800799327079618358\ 1835935475151/15019820220708167898311382395098109627867632521100370\ 7975071038010914297751713105*c_0110_6^30 + 1137420738502217401826263788696901342397519003939920774138826084339\ 39479382248326/1501982022070816789831138239509810962786763252110037\ 07975071038010914297751713105*c_0110_6^29 + 3119728962410431762201243773955340807776907272366381061956039871882\ 6494061430881/30039640441416335796622764790196219255735265042200741\ 595014207602182859550342621*c_0110_6^28 - 9527992273077292225963400527994613866638684672820557725409491792830\ 04630305046236/1501982022070816789831138239509810962786763252110037\ 07975071038010914297751713105*c_0110_6^27 + 4094892184938676786757555043723860460619753008579476215326030358318\ 31269762896503/1501982022070816789831138239509810962786763252110037\ 07975071038010914297751713105*c_0110_6^26 + 1166666178107752036071572443248262090587758298275737080184470797188\ 3760678142349689/15019820220708167898311382395098109627867632521100\ 3707975071038010914297751713105*c_0110_6^25 + 1303605918701585057904844312345367422320478045417954173539187076241\ 110370076144209/300396404414163357966227647901962192557352650422007\ 41595014207602182859550342621*c_0110_6^24 - 6327560662027570679679876055564766744194241761499694027772668302165\ 8484444998316971/15019820220708167898311382395098109627867632521100\ 3707975071038010914297751713105*c_0110_6^23 - 6114231056966560033983608814471065344637822163848327961583177644478\ 0907110990515484/15019820220708167898311382395098109627867632521100\ 3707975071038010914297751713105*c_0110_6^22 + 3673273155498295475809449398124205589333971153490246454178702046570\ 7054345250184109/30039640441416335796622764790196219255735265042200\ 741595014207602182859550342621*c_0110_6^21 + 1517534879246390635709865543596309743496216100782707743300576171818\ 36492817540170864/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^20 - 4176429622433619200042421267443270031249908471891349116166796407755\ 57109079932133887/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^19 - 4053587966576885464746809816278115427715497402665069901564728818291\ 0638866568306453/30039640441416335796622764790196219255735265042200\ 741595014207602182859550342621*c_0110_6^18 + 6816481667895111264072504091816893829952253163667135030728419468933\ 43655286600521507/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^17 + 2433608702052800342790085143273514402554065273306358167752516358821\ 6786137189823370/30039640441416335796622764790196219255735265042200\ 741595014207602182859550342621*c_0110_6^16 - 1304713639353092568879665857472020442135874761935709425032722369687\ 36751342258886728/3003964044141633579662276479019621925573526504220\ 0741595014207602182859550342621*c_0110_6^15 + 1665470188399657336130109406435647708291494386151288142528757349559\ 07447268440562666/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^14 + 3365037749907656973775916591940388874837470760565161403790412666373\ 93940403389795379/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^13 - 2777776407520723322286653223074760355241308218753689396585620691314\ 07864400815133892/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^12 + 8281518757836350271023758823060060949509390397397576039212660143745\ 1825641001989942/15019820220708167898311382395098109627867632521100\ 3707975071038010914297751713105*c_0110_6^11 + 1888977545601475714690652114585950387886146820326896861324443150249\ 50905932656520516/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^10 - 4493884497100254406502286902650969909219981684443411101779323091436\ 1151132466794130/30039640441416335796622764790196219255735265042200\ 741595014207602182859550342621*c_0110_6^9 - 9808924376415498371337619779433897977433900418904208238954334646466\ 1116452820588824/15019820220708167898311382395098109627867632521100\ 3707975071038010914297751713105*c_0110_6^8 + 1648524336386678692246038581646745915609325997006841651667165236638\ 0239915029562404/30039640441416335796622764790196219255735265042200\ 741595014207602182859550342621*c_0110_6^7 + 5629720923683265260840149976268893154640275129309953069720065212903\ 464338106289178/150198202207081678983113823950981096278676325211003\ 707975071038010914297751713105*c_0110_6^6 - 1163347846488936837314360292713026325156294583716789079415045799169\ 91454099414252/9946900808416005230669789665627887170773266570265146\ 22351463827886849653984855*c_0110_6^5 + 2145809169902164981347847337270723417563327612710377536826804327776\ 890269555598022/150198202207081678983113823950981096278676325211003\ 707975071038010914297751713105*c_0110_6^4 + 4432685316227289853431933011151500617400063007095602767846566890939\ 063111222344486/150198202207081678983113823950981096278676325211003\ 707975071038010914297751713105*c_0110_6^3 + 1334210331938860450929686076367422514897933274620359039220422225280\ 814567171462663/150198202207081678983113823950981096278676325211003\ 707975071038010914297751713105*c_0110_6^2 - 1549757241123786879758022495588358238884072765084263524630450285082\ 33754893108719/1501982022070816789831138239509810962786763252110037\ 07975071038010914297751713105*c_0110_6 + 5258093491409911692603050297333578953004479424560496507236453941891\ 2908183752634/15019820220708167898311382395098109627867632521100370\ 7975071038010914297751713105, c_0101_2 + 757615864847012105907916947143921723034600472529170804598063\ 78273398754259604559/1501982022070816789831138239509810962786763252\ 11003707975071038010914297751713105*c_0110_6^31 + 1391107778786803106434655200217327670602225012669209860308399322612\ 69494199180651/1501982022070816789831138239509810962786763252110037\ 07975071038010914297751713105*c_0110_6^30 - 3227945295269614661345520194596293345050113753690365071811878884680\ 11397312127112/3003964044141633579662276479019621925573526504220074\ 1595014207602182859550342621*c_0110_6^29 - 1932834643862321897763469875892648758207586215890324285580472031459\ 123310149749811/150198202207081678983113823950981096278676325211003\ 707975071038010914297751713105*c_0110_6^28 + 1373075823120502837306802474037467448392456022446883181814554003037\ 8557152531271943/15019820220708167898311382395098109627867632521100\ 3707975071038010914297751713105*c_0110_6^27 - 7703219505560149140829197413141004297257290493630797950934076552237\ 514448659074516/150198202207081678983113823950981096278676325211003\ 707975071038010914297751713105*c_0110_6^26 - 3252958321815467247625189714869530536470470488520848842834155495568\ 1573071715067263/30039640441416335796622764790196219255735265042200\ 741595014207602182859550342621*c_0110_6^25 - 6444505137598537629820140313406538167736541038465330598525883866354\ 1630013463295646/15019820220708167898311382395098109627867632521100\ 3707975071038010914297751713105*c_0110_6^24 + 9065910008130931129581131814825605278251681394541960534260181001056\ 72974818767205911/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^23 + 1428262379751781421891287513934402723015212231086726953114809686457\ 00952785156794837/3003964044141633579662276479019621925573526504220\ 0741595014207602182859550342621*c_0110_6^22 - 2753126345134515223333204656015966299577774815592844946079046528438\ 324609989347964856/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^21 - 1737446384515223624287232123501616811981511130042550050315658987381\ 885893170291437097/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^20 + 1267959090644743927512918179412059061520799841362687871815953080193\ 822413512554008172/300396404414163357966227647901962192557352650422\ 00741595014207602182859550342621*c_0110_6^19 + 1948092600823605679452867526751928292905121110466024075064656479251\ 043887878312839557/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^18 - 2072435644200469825782535654267104221268878879183882849458230512402\ 307143788447770312/300396404414163357966227647901962192557352650422\ 00741595014207602182859550342621*c_0110_6^17 - 3043882006775781082759049349041673765590855009843547143830670044447\ 6477658080175319/30039640441416335796622764790196219255735265042200\ 741595014207602182859550342621*c_0110_6^16 + 9981659493946585916767598151312855918384288578864810690229292411550\ 811752204706109431/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^15 - 4014318627685068307057058473097933201813330570119896995626112568653\ 823221715658526741/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^14 - 4798186994922810357556407855640003183779408191701935727464400092221\ 285294029385553772/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^13 + 5090562690786321788870324939964236848467229505677086640594442946984\ 226031345465459227/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^12 - 1737773733817858197644220342829355064134010160277613395310075246827\ 131293103833213789/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^11 - 5585175911317798266616343065173030716617981223957435517032330689645\ 08001407415809932/3003964044141633579662276479019621925573526504220\ 0741595014207602182859550342621*c_0110_6^10 + 3873232606416746654083191567434113419931548239320712978123605191895\ 849848501130743701/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^9 + 1784349780605210797477678288148266800563720990814312674712562469598\ 14344427981008565/3003964044141633579662276479019621925573526504220\ 0741595014207602182859550342621*c_0110_6^8 - 1641154934060499138213566519902121537852492725031381462856113360073\ 537854787455020662/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^7 + 1885360277039433944439039959913129410198587968026494786280081522080\ 33220466050988568/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^6 + 1998851403336790950843756567557587607773366727302968043192630216200\ 826601946205322/994690080841600523066978966562788717077326657026514\ 622351463827886849653984855*c_0110_6^5 - 1179666444856906444114040109429008650470204618205321029558690867920\ 51127120230742759/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^4 - 3743012786503921709683693906523618317321424684743065072140009661645\ 3299972690620002/15019820220708167898311382395098109627867632521100\ 3707975071038010914297751713105*c_0110_6^3 - 5152056943060684209399309611005161045081431609209359551079620319580\ 618589077420999/150198202207081678983113823950981096278676325211003\ 707975071038010914297751713105*c_0110_6^2 + 1211212847348537034022414182629911376617357857441638842759720018433\ 270806737806879/150198202207081678983113823950981096278676325211003\ 707975071038010914297751713105*c_0110_6 + 8141549381841826883402253865978986698042987406282049259203133641880\ 5926063490803/30039640441416335796622764790196219255735265042200741\ 595014207602182859550342621, c_0101_3 - 684550649475962996955606544338918507942457403706867444132866\ 35974702321590788493/1501982022070816789831138239509810962786763252\ 11003707975071038010914297751713105*c_0110_6^31 - 1230237480226883996887085760612783587705396012766478559829114432108\ 57941716959284/1501982022070816789831138239509810962786763252110037\ 07975071038010914297751713105*c_0110_6^30 + 1462840433088546601033117262361110499696575138761473415698785703497\ 610715622481849/150198202207081678983113823950981096278676325211003\ 707975071038010914297751713105*c_0110_6^29 + 1689324156805852346298043108414324624119336847502729365978620102231\ 517676196004624/150198202207081678983113823950981096278676325211003\ 707975071038010914297751713105*c_0110_6^28 - 1246571674446680842166626417078485013990434821261685199056564534486\ 6299114576435949/15019820220708167898311382395098109627867632521100\ 3707975071038010914297751713105*c_0110_6^27 + 7443534291236835702285243804264020997295506765074910716278984372093\ 945076765063788/150198202207081678983113823950981096278676325211003\ 707975071038010914297751713105*c_0110_6^26 + 1466107838994550220549343408265812378455405363288455141102813814941\ 47538543809654497/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^25 + 5262354679210610740857831213340850382722819418914468722244193194530\ 5893742639759452/15019820220708167898311382395098109627867632521100\ 3707975071038010914297751713105*c_0110_6^24 - 8206808036837442738084677161050453256380206475493946906230544473190\ 42328485973556519/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^23 - 6139948048379740133057367524172374742504498860662476644299007133325\ 60979172194454136/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^22 + 2507968643968939855517379251171940282878328061221477709272924561098\ 210654393479884554/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^21 + 1474874724781002606000142023565401351021107580099977447903717486539\ 782283263985547931/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^20 - 5772257592662868246195693749784870266579935581427983397529590778431\ 939206250070390924/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^19 - 3089568002157658433284733900566017968542602190874920698379940868168\ 98442156825535248/3003964044141633579662276479019621925573526504220\ 0741595014207602182859550342621*c_0110_6^18 + 9392521496603305758625760210110505050960764840745754706895992503799\ 233860997771305552/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^17 - 2005250425811925643958003888602714048277773125681549096698970499046\ 50004480920675623/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^16 - 8968309175907192787262402919182325368271887062619509071111748421087\ 440804887064611763/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^15 + 3924103049572357567929456970700667736061597094414575904173316197732\ 099690763399166317/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^14 + 4152648624948149670145986973527052964323088539308169140065084003609\ 776175309705785666/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^13 - 4703635974694658232854096086321731142437993252084998869413586022664\ 130691529621758823/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^12 + 1745758184587662799618229501763047030874955414394970195958364633663\ 990878668954987331/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^11 + 2423809094518881973062243406977246385319399295186420266262792237831\ 083935705767759486/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^10 - 3566593370776015750673085079733043471447715050618744201230453018778\ 709955976380133121/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^9 - 6722046488260583886820916390227754524843803496554753533062369300330\ 82642558930080251/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^8 + 1487882846266637047451580361726094923620993199289163141818827341377\ 202169435966462386/150198202207081678983113823950981096278676325211\ 003707975071038010914297751713105*c_0110_6^7 - 2139480185057995975865901044457625456770146266975917040115434174347\ 70088596538979581/1501982022070816789831138239509810962786763252110\ 03707975071038010914297751713105*c_0110_6^6 - 1695836319307074134838707600741085576443806852225106267647193843916\ 257517491757646/994690080841600523066978966562788717077326657026514\ 622351463827886849653984855*c_0110_6^5 + 2228472738732910035173259890149321222173056474211727040943746785971\ 9736985489005649/30039640441416335796622764790196219255735265042200\ 741595014207602182859550342621*c_0110_6^4 + 2918198799604152557606514342898799100969036110414196147336477313499\ 7156305946285883/15019820220708167898311382395098109627867632521100\ 3707975071038010914297751713105*c_0110_6^3 + 4666434633068370743480258376421869679968709511165484633534293395800\ 127374820516706/150198202207081678983113823950981096278676325211003\ 707975071038010914297751713105*c_0110_6^2 - 1229893367179527983987580291390560427907454288917777692757923359932\ 995046449966313/150198202207081678983113823950981096278676325211003\ 707975071038010914297751713105*c_0110_6 - 4760089394954838032772124010582169372464696954467729039673800891194\ 19003174715838/1501982022070816789831138239509810962786763252110037\ 07975071038010914297751713105, c_0110_6^32 + 2*c_0110_6^31 - 21*c_0110_6^30 - 29*c_0110_6^29 + 177*c_0110_6^28 - 72*c_0110_6^27 - 2163*c_0110_6^26 - 1203*c_0110_6^25 + 11822*c_0110_6^24 + 11389*c_0110_6^23 - 34764*c_0110_6^22 - 28888*c_0110_6^21 + 79817*c_0110_6^20 + 39437*c_0110_6^19 - 132322*c_0110_6^18 - 24506*c_0110_6^17 + 131066*c_0110_6^16 - 31183*c_0110_6^15 - 71724*c_0110_6^14 + 56520*c_0110_6^13 - 11968*c_0110_6^12 - 40418*c_0110_6^11 + 44941*c_0110_6^10 + 20138*c_0110_6^9 - 19583*c_0110_6^8 - 1105*c_0110_6^7 + 4332*c_0110_6^6 - 886*c_0110_6^5 - 747*c_0110_6^4 - 155*c_0110_6^3 + 4*c_0110_6^2 + 9*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB