Magma V2.19-8 Tue Aug 20 2013 16:16:27 on localhost [Seed = 1899031952] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0732 geometric_solution 4.67976965 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.685600364753 0.066749245026 2 0 2 0 0132 2310 1023 0132 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 -1 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.869519624578 0.073922573169 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -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.797191972111 0.201486849499 4 2 5 2 0132 0132 0132 1023 0 0 0 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.978345925437 0.805757056360 3 5 6 5 0132 0213 0132 1230 0 0 0 0 0 1 -1 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 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.754664636315 0.783749467900 4 6 4 3 3012 1023 0213 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 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.754664636315 0.783749467900 5 6 6 4 1023 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.961750741690 0.519759295490 ==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' : 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_5'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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_5, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t + 2418209733583787392842921491355773051589113261579224753798433959031\ 75355788601476862434417598948/1551538934428520853335174152408390107\ 446472704846970804826310192739380551587187775570662455361*c_0101_6^\ 32 - 26320898660835161320635123119916442612282255802095939099228868\ 41590974073178742686051378351788208/1551538934428520853335174152408\ 390107446472704846970804826310192739380551587187775570662455361*c_0\ 101_6^31 + 52418531047562120791764824732279832297718036952703198665\ 20427080416208260526742438137835879372513/1551538934428520853335174\ 1524083901074464727048469708048263101927393805515871877755706624553\ 61*c_0101_6^30 + 27101029616558583152887647724006200791099752169437\ 10092061442349872818980473347089912076198723505/1410489940389564412\ 1228855930985364613149751862245189134784638115812550468974434323369\ 6586851*c_0101_6^29 - 172143088692870641282859148265065654579589076\ 332217231359453145310000643554013752266948479305909933/155153893442\ 8520853335174152408390107446472704846970804826310192739380551587187\ 775570662455361*c_0101_6^28 + 3219999505597951305730029720122081223\ 85174790223336492836095059667339619646505178786165426387734052/1551\ 5389344285208533351741524083901074464727048469708048263101927393805\ 51587187775570662455361*c_0101_6^27 - 9937523935947175577729151236937535380704626194936170465555719673576\ 05471678125261795358625054796/3301146668996852879436540749805085334\ 9924951166956825634602344526369798969940165437673669263*c_0101_6^26 - 14478125786645942033974811210897719778688427588523000546969007090\ 79146330512824427876767205561467045/1551538934428520853335174152408\ 390107446472704846970804826310192739380551587187775570662455361*c_0\ 101_6^25 + 27936048275406152761287121899282151502521817477325989461\ 13054766882739314089467212513840635144702610/1551538934428520853335\ 1741524083901074464727048469708048263101927393805515871877755706624\ 55361*c_0101_6^24 - 31305065633117758321399042078321591098831248665\ 48021998220004437267621731382774148787624194475480919/1551538934428\ 5208533351741524083901074464727048469708048263101927393805515871877\ 75570662455361*c_0101_6^23 - 47634134798178593699363628933723929385\ 68119358248422941490580465926307776096283315945160906462367343/1551\ 5389344285208533351741524083901074464727048469708048263101927393805\ 51587187775570662455361*c_0101_6^22 + 1164053964271820966570320301443420856895328586476167164672594278657\ 3545659776719793723901281259296773/15515389344285208533351741524083\ 90107446472704846970804826310192739380551587187775570662455361*c_01\ 01_6^21 + 179086389857970402450358093281309281877862169949163539175\ 41463061802658600102954232930771409244821429/1551538934428520853335\ 1741524083901074464727048469708048263101927393805515871877755706624\ 55361*c_0101_6^20 - 15835969584023099462056095666006456367193967009\ 029896111189842290303854607187984712167518722990857140/155153893442\ 8520853335174152408390107446472704846970804826310192739380551587187\ 775570662455361*c_0101_6^19 - 1578769148992643170591979838025922567\ 9785330252470035079679958337548886324754848399229190904426634227/15\ 5153893442852085333517415240839010744647270484697080482631019273938\ 0551587187775570662455361*c_0101_6^18 + 5424717273820640458340882282126466956751894379326965304731480954446\ 1142819300503509104894459412896002/15515389344285208533351741524083\ 90107446472704846970804826310192739380551587187775570662455361*c_01\ 01_6^17 + 402056880198650702641257222131295678700014699512687104175\ 58632044175447268421568359796225657700574930/1551538934428520853335\ 1741524083901074464727048469708048263101927393805515871877755706624\ 55361*c_0101_6^16 - 69722158818450697562741904042852171526756693617\ 440300806622042771570606376800189697144864176937042353/155153893442\ 8520853335174152408390107446472704846970804826310192739380551587187\ 775570662455361*c_0101_6^15 - 5609897238779611384749225987564136085\ 3884784264888921821066626811945532968419643602163013988252258352/15\ 5153893442852085333517415240839010744647270484697080482631019273938\ 0551587187775570662455361*c_0101_6^14 + 5381431122035942617336735067351453874858370457960804710264668584911\ 7388798344511570052898731585567140/15515389344285208533351741524083\ 90107446472704846970804826310192739380551587187775570662455361*c_01\ 01_6^13 + 646492360207085439438133269004174468138071550736745773357\ 942039602498926583125721785006515760592520/330114666899685287943654\ 0749805085334992495116695682563460234452636979896994016543767366926\ 3*c_0101_6^12 - 527716384270338770920894646494367970131498317339477\ 84777576521926741455523229547859324821737280839011/1551538934428520\ 8533351741524083901074464727048469708048263101927393805515871877755\ 70662455361*c_0101_6^11 - 20985849547275249714716441308466224491524\ 762114868290040487754873589119974944294641694847491945695550/155153\ 8934428520853335174152408390107446472704846970804826310192739380551\ 587187775570662455361*c_0101_6^10 + 7545016150202965658341361181862237472691786536649695504317801472855\ 48882883550928145802715486966755/3301146668996852879436540749805085\ 3349924951166956825634602344526369798969940165437673669263*c_0101_6\ ^9 + 17004740700642005008528538568791992993974634364584705643718904\ 005444857965099364521332292867055530273/155153893442852085333517415\ 2408390107446472704846970804826310192739380551587187775570662455361\ *c_0101_6^8 - 10913490283332275308327292134183740462690669162669608\ 436918925676042984892817396841569281302993854302/155153893442852085\ 3335174152408390107446472704846970804826310192739380551587187775570\ 662455361*c_0101_6^7 - 59789791501172237877479905060583412732841687\ 7489092366465857564647442704064454662187517900416106914/14104899403\ 8956441212288559309853646131497518622451891347846381158125504689744\ 343233696586851*c_0101_6^6 + 11478127020652387076032845660558336450\ 37037609225270174548224724468132526419974057532702617293171248/1551\ 5389344285208533351741524083901074464727048469708048263101927393805\ 51587187775570662455361*c_0101_6^5 + 9848699998785244827879930479365464984983687142345640305124096615321\ 71177191834992584727152940509104/1551538934428520853335174152408390\ 107446472704846970804826310192739380551587187775570662455361*c_0101\ _6^4 + 504172649362562134117617449160167252159118208458845106518703\ 42043646899740167061777583673170937197/1551538934428520853335174152\ 408390107446472704846970804826310192739380551587187775570662455361*\ c_0101_6^3 - 264251221245021992497768966446268174475011013210386874\ 81512548902594075103186522080051783939012367/1551538934428520853335\ 1741524083901074464727048469708048263101927393805515871877755706624\ 55361*c_0101_6^2 - 108942996181179499583660839763957535356771282907\ 14675449287034111505082133667758403322025945970287/1551538934428520\ 8533351741524083901074464727048469708048263101927393805515871877755\ 70662455361*c_0101_6 - 28160666964941807465860636556849597108802514\ 17515865389065183783407567549344527807252232008022202/1551538934428\ 5208533351741524083901074464727048469708048263101927393805515871877\ 75570662455361, c_0011_0 - 1, c_0011_1 + 976622222439965923619844246740036732659762701193776343198973\ 40855014908551573243362654020296/3001042426360775344942309772550077\ 577265904651541529603145667684215436269994560494333969933*c_0101_6^\ 32 - 11399543301532275018020135094719493479247690481439408800389073\ 90463493443165087631153711584169/3001042426360775344942309772550077\ 577265904651541529603145667684215436269994560494333969933*c_0101_6^\ 31 + 30127375959311560743574091102673701410017432885919395884682081\ 43291794260040137692642883519905/3001042426360775344942309772550077\ 577265904651541529603145667684215436269994560494333969933*c_0101_6^\ 30 + 96938789121818540027806463908866472634159123608550701936200010\ 58894497780656645068321561120811/3001042426360775344942309772550077\ 577265904651541529603145667684215436269994560494333969933*c_0101_6^\ 29 - 77226429141617314538426137954740708646542202298908604019001114\ 396302576202390927610249607815599/300104242636077534494230977255007\ 7577265904651541529603145667684215436269994560494333969933*c_0101_6\ ^28 + 1906070721195539056758556093979977074847726032625688337751442\ 85271365985030142389183567521350591/3001042426360775344942309772550\ 077577265904651541529603145667684215436269994560494333969933*c_0101\ _6^27 - 16711964444243726369570051130954793546765850023574147193362\ 7074952109003147817247392473730813084/30010424263607753449423097725\ 50077577265904651541529603145667684215436269994560494333969933*c_01\ 01_6^26 - 457135102713941316173019195746792596775552686630326170003\ 346309826784176418561566813375894382552/300104242636077534494230977\ 2550077577265904651541529603145667684215436269994560494333969933*c_\ 0101_6^25 + 1490025887588507613448149870872482532614747751110818890\ 617742491847903365713295325149405597306969/300104242636077534494230\ 9772550077577265904651541529603145667684215436269994560494333969933\ *c_0101_6^24 - 2422355834381802439702699184826209297381731305106882\ 871988358798304042384301405199862249692182016/300104242636077534494\ 2309772550077577265904651541529603145667684215436269994560494333969\ 933*c_0101_6^23 - 5269970086170571614580112749165552834754232143252\ 1661330381329485428629576606201344336142969408/30010424263607753449\ 4230977255007757726590465154152960314566768421543626999456049433396\ 9933*c_0101_6^22 + 478747701838201568874001478746702856477452570472\ 8195125932637186945698394026679447969952026722641/30010424263607753\ 4494230977255007757726590465154152960314566768421543626999456049433\ 3969933*c_0101_6^21 + 350277283973168908994265666932312160084507140\ 4251275366086686267840307541244225499493394319437537/30010424263607\ 7534494230977255007757726590465154152960314566768421543626999456049\ 4333969933*c_0101_6^20 - 931826615320639718873201641320135039471809\ 1709360585168426433951268686764281944698679418422503135/30010424263\ 6077534494230977255007757726590465154152960314566768421543626999456\ 0494333969933*c_0101_6^19 + 854060627507262067627043327118806421979\ 879431487019460407729672299312344446223065353102528238446/300104242\ 6360775344942309772550077577265904651541529603145667684215436269994\ 560494333969933*c_0101_6^18 + 2149656507960809630013719261885451070\ 2465314485618960066310878987252656382543931568130690890688646/30010\ 4242636077534494230977255007757726590465154152960314566768421543626\ 9994560494333969933*c_0101_6^17 - 607789211114365645534447269447078\ 513888167705878419096618328007731387981166428045642772434813517/300\ 1042426360775344942309772550077577265904651541529603145667684215436\ 269994560494333969933*c_0101_6^16 - 2836058050509453896184805637908632482592267463616604542544094412635\ 0471949661217332626269729392092/30010424263607753449423097725500775\ 77265904651541529603145667684215436269994560494333969933*c_0101_6^1\ 5 - 411550868407545699506983746318279016513575839769140807907710724\ 825578524995959077586861889075113/300104242636077534494230977255007\ 7577265904651541529603145667684215436269994560494333969933*c_0101_6\ ^14 + 2303886233096691080619087013303698343281907137918622727533173\ 4214128430177701267147018240462160570/30010424263607753449423097725\ 50077577265904651541529603145667684215436269994560494333969933*c_01\ 01_6^13 - 570373645696795287391685617872560649845338538393495358412\ 0406565404209936295709645956504104522377/30010424263607753449423097\ 72550077577265904651541529603145667684215436269994560494333969933*c\ _0101_6^12 - 177139794654459931588166286909858703758461799887562537\ 27002112717556382358806258448148297468753501/3001042426360775344942\ 3097725500775772659046515415296031456676842154362699945604943339699\ 33*c_0101_6^11 + 55056559747157335220093261513466004752455504663095\ 22923250395539433980666242008445329776726769820/3001042426360775344\ 9423097725500775772659046515415296031456676842154362699945604943339\ 69933*c_0101_6^10 + 10701595806923855300431072357880254642452052417\ 448507463603134516434006396355325887850259379612248/300104242636077\ 5344942309772550077577265904651541529603145667684215436269994560494\ 333969933*c_0101_6^9 - 16889668541252766938176430795632325498010831\ 17593898306365483961926128526401775582767535942849652/3001042426360\ 7753449423097725500775772659046515415296031456676842154362699945604\ 94333969933*c_0101_6^8 - 354812404321226278843058275546035285053188\ 4263012557848266939127040137809779342116550294119213586/30010424263\ 6077534494230977255007757726590465154152960314566768421543626999456\ 0494333969933*c_0101_6^7 + 1842039330788467129504974416332812139612\ 51438282860193974851354454022474944019487628108893317384/3001042426\ 3607753449423097725500775772659046515415296031456676842154362699945\ 60494333969933*c_0101_6^6 + 504987414730733659424609322156140603551\ 080823100479528610475055353081696002427050172032063636334/300104242\ 6360775344942309772550077577265904651541529603145667684215436269994\ 560494333969933*c_0101_6^5 - 11124284756137439342614537634020896841\ 38739934755692713928136714579879677838436224428441857207/3001042426\ 3607753449423097725500775772659046515415296031456676842154362699945\ 60494333969933*c_0101_6^4 - 119069376118103292524756117245763113402\ 87262987186743263463558097690822321717514528666673473818/3001042426\ 3607753449423097725500775772659046515415296031456676842154362699945\ 60494333969933*c_0101_6^3 - 259764647491883846779969047305908854885\ 6056497187563019588710385539397923399260805592973129916/30010424263\ 6077534494230977255007757726590465154152960314566768421543626999456\ 0494333969933*c_0101_6^2 - 1373396019916427946763401236320439158644\ 971751821699390508723411553654202768697699563460208524/300104242636\ 0775344942309772550077577265904651541529603145667684215436269994560\ 494333969933*c_0101_6 + 1458512906474884159613955242627614521914514\ 65286382994562455142081955481797678011770760928157/3001042426360775\ 3449423097725500775772659046515415296031456676842154362699945604943\ 33969933, c_0011_5 - 142283096728175400272101643725977716027175240834985202483846\ 776531293665935657482774265556457/300104242636077534494230977255007\ 7577265904651541529603145667684215436269994560494333969933*c_0101_6\ ^32 + 1660167531881788326131807723168389839632978266768976634921686\ 577777442396763563361528246245766/300104242636077534494230977255007\ 7577265904651541529603145667684215436269994560494333969933*c_0101_6\ ^31 - 4381761451767722904614873111397697740584988182195653612278081\ 022446773061986736864653837658646/300104242636077534494230977255007\ 7577265904651541529603145667684215436269994560494333969933*c_0101_6\ ^30 - 1414491636053733384217273540770452762336280729811602130738669\ 5117130777769004073917003663819935/30010424263607753449423097725500\ 77577265904651541529603145667684215436269994560494333969933*c_0101_\ 6^29 + 112458705410478621063887964167432522421769493766159399612297\ 687886411026428406115829398756701427/300104242636077534494230977255\ 0077577265904651541529603145667684215436269994560494333969933*c_010\ 1_6^28 - 2771894058527872709142737862178771450799213389866445819296\ 56033704735291815019176813989129032050/3001042426360775344942309772\ 550077577265904651541529603145667684215436269994560494333969933*c_0\ 101_6^27 + 24206628733690146193089164588044990634175541435379643267\ 7339595690225061627656297241652244788064/30010424263607753449423097\ 72550077577265904651541529603145667684215436269994560494333969933*c\ _0101_6^26 + 667694611351464331283472133663653473078701305008802767\ 842123410992491562077561515804589302011458/300104242636077534494230\ 9772550077577265904651541529603145667684215436269994560494333969933\ *c_0101_6^25 - 2168842621158693135354053973258912505553830444598162\ 431753073994071979801793539904259763359663921/300104242636077534494\ 2309772550077577265904651541529603145667684215436269994560494333969\ 933*c_0101_6^24 + 3519267067317094503414182044344127128735963638386\ 648752147235860065111274721092058331130103706557/300104242636077534\ 4942309772550077577265904651541529603145667684215436269994560494333\ 969933*c_0101_6^23 + 9635630167804138018480423106658087274826105477\ 5022013084674031390695498075172086559444185426434/30010424263607753\ 4494230977255007757726590465154152960314566768421543626999456049433\ 3969933*c_0101_6^22 - 698395279934490424561262398295622126807722528\ 0362994550683028847740131008500571217275280003882001/30010424263607\ 7534494230977255007757726590465154152960314566768421543626999456049\ 4333969933*c_0101_6^21 - 512591319121257239675668868605829803872076\ 7600753589922260706642880051188789631429281043693591287/30010424263\ 6077534494230977255007757726590465154152960314566768421543626999456\ 0494333969933*c_0101_6^20 + 135607535866791053149901349514607133576\ 92181966924708295428870599090947059489584537308606989084013/3001042\ 4263607753449423097725500775772659046515415296031456676842154362699\ 94560494333969933*c_0101_6^19 - 11859455720145490397378727190548591\ 11146887385835460017728132068608975044638439306223410091442624/3001\ 0424263607753449423097725500775772659046515415296031456676842154362\ 69994560494333969933*c_0101_6^18 - 3135082337588936024032026237221884509361292370783726879957818865513\ 6874761305262895400393576782135/30010424263607753449423097725500775\ 77265904651541529603145667684215436269994560494333969933*c_0101_6^1\ 7 + 773977614693280835219422281078843650715500133085442145293148214\ 423311262547650184575400844273640/300104242636077534494230977255007\ 7577265904651541529603145667684215436269994560494333969933*c_0101_6\ ^16 + 4135844636736717513106643882466613004950803830675755618039879\ 7830885295802104997266781511593222262/30010424263607753449423097725\ 50077577265904651541529603145667684215436269994560494333969933*c_01\ 01_6^15 + 734512388241745228120355026223887259211174575219077290568\ 081763098873807105225860202310863063897/300104242636077534494230977\ 2550077577265904651541529603145667684215436269994560494333969933*c_\ 0101_6^14 - 3361149199116589723479489752608070609620624069676767198\ 4767740642327977657225182660463022523419028/30010424263607753449423\ 0977255007757726590465154152960314566768421543626999456049433396993\ 3*c_0101_6^13 + 821547309611823814626239989328785357380747242615978\ 4943884743827583284578207997614569011176135583/30010424263607753449\ 4230977255007757726590465154152960314566768421543626999456049433396\ 9933*c_0101_6^12 + 258779505913318350923168444305156086724231278587\ 73194867687431845550090227311791325665052229681204/3001042426360775\ 3449423097725500775772659046515415296031456676842154362699945604943\ 33969933*c_0101_6^11 - 79586594824581875835508133877959842029527188\ 48220003860083777015903183110120317175237496175313254/3001042426360\ 7753449423097725500775772659046515415296031456676842154362699945604\ 94333969933*c_0101_6^10 - 15638818685928688980715945870746975136293\ 418824277585501886652310260145385439262393902240387443809/300104242\ 6360775344942309772550077577265904651541529603145667684215436269994\ 560494333969933*c_0101_6^9 + 24296395585579158650077432731598531101\ 71899086928807933881519312446977535735806640227143327760798/3001042\ 4263607753449423097725500775772659046515415296031456676842154362699\ 94560494333969933*c_0101_6^8 + 518573123530050882945285378692773385\ 7178810935748638333459436994893988010459621197715677077226968/30010\ 4242636077534494230977255007757726590465154152960314566768421543626\ 9994560494333969933*c_0101_6^7 - 2618056490261628742734423015788729\ 43548391786414664730550156395148388108202648662133377409153160/3001\ 0424263607753449423097725500775772659046515415296031456676842154362\ 69994560494333969933*c_0101_6^6 - 738608559111512878840438957315650\ 591287078215686072571477299530888270699950396214155787874746771/300\ 1042426360775344942309772550077577265904651541529603145667684215436\ 269994560494333969933*c_0101_6^5 + 1398991251625672145436455014134634203634273348345029704602022084333\ 763458358933326782986246230/300104242636077534494230977255007757726\ 5904651541529603145667684215436269994560494333969933*c_0101_6^4 + 1744774400217574967187182245713937962780317539146381317627400083432\ 0290524155843689613762174843/30010424263607753449423097725500775772\ 65904651541529603145667684215436269994560494333969933*c_0101_6^3 + 3769354011633799528052847183603788982099890384023989345571302002108\ 942329202130005536207312725/300104242636077534494230977255007757726\ 5904651541529603145667684215436269994560494333969933*c_0101_6^2 + 2009950583195946972577987240421945328901020477411805670201463949090\ 758824339747759037173532931/300104242636077534494230977255007757726\ 5904651541529603145667684215436269994560494333969933*c_0101_6 - 2121526573162779045966894878566252146843565255621653634895272344075\ 55404405832442958847596217/3001042426360775344942309772550077577265\ 904651541529603145667684215436269994560494333969933, c_0101_0 + 373462794984077781708752064815483778995211875506114194372609\ 59841679256796152402267332246714/3001042426360775344942309772550077\ 577265904651541529603145667684215436269994560494333969933*c_0101_6^\ 32 - 43599426883522087755332232428934115531471342034439606675383896\ 2480252254186363203005855162144/30010424263607753449423097725500775\ 77265904651541529603145667684215436269994560494333969933*c_0101_6^3\ 1 + 115304783928150289020489329530158379254931263911538653910184596\ 7776008918206365166341319194159/30010424263607753449423097725500775\ 77265904651541529603145667684215436269994560494333969933*c_0101_6^3\ 0 + 370318325568106256317279570743151351983355946697593980698574434\ 4377045818662799789903268233155/30010424263607753449423097725500775\ 77265904651541529603145667684215436269994560494333969933*c_0101_6^2\ 9 - 295333796376246892608202955474707000737646463550352530038370404\ 46261321794149512866882803447296/3001042426360775344942309772550077\ 577265904651541529603145667684215436269994560494333969933*c_0101_6^\ 28 + 72952629712297748084376971287912009274897521442037809762400070\ 362007247025080168772085891273056/300104242636077534494230977255007\ 7577265904651541529603145667684215436269994560494333969933*c_0101_6\ ^27 - 6415440714306207617345072623301968071348243161890150631447049\ 3289977995365354131623534786089237/30010424263607753449423097725500\ 77577265904651541529603145667684215436269994560494333969933*c_0101_\ 6^26 - 174333581810641404143532758260413776837910034734295989639748\ 347141652143021939347859718840837502/300104242636077534494230977255\ 0077577265904651541529603145667684215436269994560494333969933*c_010\ 1_6^25 + 5695800526248607811236902878912003144221659208969772808665\ 71731151270904160385407232077488795157/3001042426360775344942309772\ 550077577265904651541529603145667684215436269994560494333969933*c_0\ 101_6^24 - 92753072455723508781492032220915550612311623959156710300\ 5793979074110098044001726721679932874026/30010424263607753449423097\ 72550077577265904651541529603145667684215436269994560494333969933*c\ _0101_6^23 - 161542030832797191726990249699332433137207063585485587\ 32333765579577711450894836506365248232979/3001042426360775344942309\ 772550077577265904651541529603145667684215436269994560494333969933*\ c_0101_6^22 + 18255038566953739327282718148816949897441310548257650\ 58633946908163706201525890421712692957006814/3001042426360775344942\ 3097725500775772659046515415296031456676842154362699945604943339699\ 33*c_0101_6^21 + 13407405279332574309428248254053720449316020598616\ 67994373368347542293312902671790109021538445555/3001042426360775344\ 9423097725500775772659046515415296031456676842154362699945604943339\ 69933*c_0101_6^20 - 35630469141044972989783902544650141674832538737\ 64593516853711664024445381985647869976461218674735/3001042426360775\ 3449423097725500775772659046515415296031456676842154362699945604943\ 33969933*c_0101_6^19 + 33313596579202434491114386516571826786130351\ 7010185377849775379662154100437958927572149873229551/30010424263607\ 7534494230977255007757726590465154152960314566768421543626999456049\ 4333969933*c_0101_6^18 + 820525823090694460634628226656695112122981\ 3368363551361179847809149141735941775530519903408396130/30010424263\ 6077534494230977255007757726590465154152960314566768421543626999456\ 0494333969933*c_0101_6^17 - 233163627207331402488395111586922877426\ 111953749277440922083517091608165331600463186763543798375/300104242\ 6360775344942309772550077577265904651541529603145667684215436269994\ 560494333969933*c_0101_6^16 - 1082819539022186527191976122912301589\ 3356700908199413466629925066788956843721031742992183073091348/30010\ 4242636077534494230977255007757726590465154152960314566768421543626\ 9994560494333969933*c_0101_6^15 - 161055162373509413234694741595723\ 167042669855145580044971527167789040421589871891589666206998916/300\ 1042426360775344942309772550077577265904651541529603145667684215436\ 269994560494333969933*c_0101_6^14 + 8788088291332122523778521664556757462683023882602554003497475452729\ 023417911271994178579330830355/300104242636077534494230977255007757\ 7265904651541529603145667684215436269994560494333969933*c_0101_6^13 - 21687973146435634171385803779215525011808787636391436369466055035\ 64264008575451299189643253061263/3001042426360775344942309772550077\ 577265904651541529603145667684215436269994560494333969933*c_0101_6^\ 12 - 67556006172084989506592931435658516579503472030885804455648789\ 66458446885036016719675851600761836/3001042426360775344942309772550\ 077577265904651541529603145667684215436269994560494333969933*c_0101\ _6^11 + 20917371844770150934812958815868755666143797422475428966530\ 46509811355783293840628296643024297810/3001042426360775344942309772\ 550077577265904651541529603145667684215436269994560494333969933*c_0\ 101_6^10 + 40845223477519756802664319666370894310180989356506432240\ 91396990124815058972063591236393901190452/3001042426360775344942309\ 772550077577265904651541529603145667684215436269994560494333969933*\ c_0101_6^9 - 634951588641467107987708403358670712624969653288868078\ 735651314844929336749527266795075417699885/300104242636077534494230\ 9772550077577265904651541529603145667684215436269994560494333969933\ *c_0101_6^8 - 13545440633396395642112985793880584816493204550404044\ 92252551196805924160936316289585685893264331/3001042426360775344942\ 3097725500775772659046515415296031456676842154362699945604943339699\ 33*c_0101_6^7 + 649600868629174001011739707664820946712303562697799\ 86589652899585463253380083725194000162929036/3001042426360775344942\ 3097725500775772659046515415296031456676842154362699945604943339699\ 33*c_0101_6^6 + 192694238048379855370663592332800127429955927808401\ 171412820965685230645401109114347269544491686/300104242636077534494\ 2309772550077577265904651541529603145667684215436269994560494333969\ 933*c_0101_6^5 + 67707591762039290148899579370467727942088803846689\ 6754152167267346663424919143892293035175778/30010424263607753449423\ 0977255007757726590465154152960314566768421543626999456049433396993\ 3*c_0101_6^4 - 4515475620103277242336100297589232802841058076346777\ 863252411222497126688070295884706506271871/300104242636077534494230\ 9772550077577265904651541529603145667684215436269994560494333969933\ *c_0101_6^3 - 10240123258308640763029681557267406943412244850409587\ 38988619965981849929030348554906522011486/3001042426360775344942309\ 772550077577265904651541529603145667684215436269994560494333969933*\ c_0101_6^2 - 535274678967199274776844266354288611222648502606611951\ 673642113804432621733376431791669531417/300104242636077534494230977\ 2550077577265904651541529603145667684215436269994560494333969933*c_\ 0101_6 + 5397900784410950173472060669964196316711729844350044891852\ 8317986151021615145088763193639286/30010424263607753449423097725500\ 77577265904651541529603145667684215436269994560494333969933, c_0101_1 + 203250642853097319248916071995624058904128260571860779398510\ 312731859979022076223028528489164/300104242636077534494230977255007\ 7577265904651541529603145667684215436269994560494333969933*c_0101_6\ ^32 - 2371770092171850734856685295494411424783715169599306864746453\ 647615253156827863380794085720681/300104242636077534494230977255007\ 7577265904651541529603145667684215436269994560494333969933*c_0101_6\ ^31 + 6261798356072108509526021489091687412113228388995971942076225\ 038355892902769229481235047175193/300104242636077534494230977255007\ 7577265904651541529603145667684215436269994560494333969933*c_0101_6\ ^30 + 2020120130930067618641542664069628111125299618853427980315568\ 0105325593158130134940753253870066/30010424263607753449423097725500\ 77577265904651541529603145667684215436269994560494333969933*c_0101_\ 6^29 - 160675314052419546601407796726886413674009567891114620640280\ 646439529948012862928952587620861364/300104242636077534494230977255\ 0077577265904651541529603145667684215436269994560494333969933*c_010\ 1_6^28 + 3961241205870377666257471991617255145662951071399799362268\ 09937529187815974608380980702297697174/3001042426360775344942309772\ 550077577265904651541529603145667684215436269994560494333969933*c_0\ 101_6^27 - 34608268827611115480167118050573895561353458909468818265\ 8865083765725783193375459833698724955713/30010424263607753449423097\ 72550077577265904651541529603145667684215436269994560494333969933*c\ _0101_6^26 - 953775556851539442140653298023335503897304886869193401\ 629287094162456258492040200732238799150481/300104242636077534494230\ 9772550077577265904651541529603145667684215436269994560494333969933\ *c_0101_6^25 + 3099563105415582012601191029134622265254007265332980\ 084945539146181686102256666414469284148401247/300104242636077534494\ 2309772550077577265904651541529603145667684215436269994560494333969\ 933*c_0101_6^24 - 5029833253780207662467694842102679229879864050655\ 700899043464729939013382997642848842738738387494/300104242636077534\ 4942309772550077577265904651541529603145667684215436269994560494333\ 969933*c_0101_6^23 - 1347584797721321984644832766513083816925077066\ 03063888574854274038685907810183318428268302977815/3001042426360775\ 3449423097725500775772659046515415296031456676842154362699945604943\ 33969933*c_0101_6^22 + 99812967587649408551766206760908979017726308\ 46612656753754091560656702391197631108660856768142235/3001042426360\ 7753449423097725500775772659046515415296031456676842154362699945604\ 94333969933*c_0101_6^21 + 73114932473185842667066776973595547148895\ 06817029495748791113298020840861085143919919238471360136/3001042426\ 3607753449423097725500775772659046515415296031456676842154362699945\ 60494333969933*c_0101_6^20 - 19388279987181286500568579390504914322\ 836984622530576603900957966830797551980828168010654945453792/300104\ 2426360775344942309772550077577265904651541529603145667684215436269\ 994560494333969933*c_0101_6^19 + 1706293024212678160168183382552812\ 066153180444958408132563787577126732584926996329817029400712002/300\ 1042426360775344942309772550077577265904651541529603145667684215436\ 269994560494333969933*c_0101_6^18 + 4479823204468866685387644275053126307908718919014432267961326852217\ 0238113891507388770544108168281/30010424263607753449423097725500775\ 77265904651541529603145667684215436269994560494333969933*c_0101_6^1\ 7 - 115621572541534289171681648082559804229662157502599487345857497\ 3139455361447065422558373579110880/30010424263607753449423097725500\ 77577265904651541529603145667684215436269994560494333969933*c_0101_\ 6^16 - 591198340899144337054014388920237251918707058180340907823324\ 69388674610830256048998011482597692662/3001042426360775344942309772\ 550077577265904651541529603145667684215436269994560494333969933*c_0\ 101_6^15 - 99205259053078757887309647484990013876883590114179825076\ 2974855947317239035088278242628027734805/30010424263607753449423097\ 72550077577265904651541529603145667684215436269994560494333969933*c\ _0101_6^14 + 480637158787103796190359457938668712824349117269554687\ 71038115804182484954686401309853911750330392/3001042426360775344942\ 3097725500775772659046515415296031456676842154362699945604943339699\ 33*c_0101_6^13 - 11777510459315650454357946253552696156094151925708\ 390810148000976895243893514417361566484279869230/300104242636077534\ 4942309772550077577265904651541529603145667684215436269994560494333\ 969933*c_0101_6^12 - 3698846484579100415098932349706456050457698230\ 3842725694205537551244516957210594467015469492269706/30010424263607\ 7534494230977255007757726590465154152960314566768421543626999456049\ 4333969933*c_0101_6^11 + 114137360084233203912315362898313078058694\ 84329509152045957591848466552015151414720208210584885807/3001042426\ 3607753449423097725500775772659046515415296031456676842154362699945\ 60494333969933*c_0101_6^10 + 22357887324279558260554726441646172479\ 163345101748622799886183677368350393166883385374781956971867/300104\ 2426360775344942309772550077577265904651541529603145667684215436269\ 994560494333969933*c_0101_6^9 - 34972771685643534984001021746530374\ 22602184276730515970423938996071172244192394562581300203286475/3001\ 0424263607753449423097725500775772659046515415296031456676842154362\ 69994560494333969933*c_0101_6^8 - 742117974251791127502637073855562\ 5283049615731177295174933508090380278772311182509915583764085255/30\ 0104242636077534494230977255007757726590465154152960314566768421543\ 6269994560494333969933*c_0101_6^7 + 3799961082564411455476766619795069845607108042976600340528388336994\ 75311597777870611827735486821/3001042426360775344942309772550077577\ 265904651541529603145667684215436269994560494333969933*c_0101_6^6 + 1058787471949362709526039350245059159355533188993986044583622577398\ 301574599244808338972688962436/300104242636077534494230977255007757\ 7265904651541529603145667684215436269994560494333969933*c_0101_6^5 - 2240862678627715693765355588172476489771433297425610577859727568278\ 547985388897080488851690901/300104242636077534494230977255007757726\ 5904651541529603145667684215436269994560494333969933*c_0101_6^4 - 2515276403827215729791730848431518803376890007139331549253212369756\ 8133599542746709631073812328/30010424263607753449423097725500775772\ 65904651541529603145667684215436269994560494333969933*c_0101_6^3 - 5428547889561880268954671400078590880672198454101488828854977694925\ 795094891953679713620093350/300104242636077534494230977255007757726\ 5904651541529603145667684215436269994560494333969933*c_0101_6^2 - 2893247203321152480926547399739966203499996000767176205405862753500\ 047590403258559959168195872/300104242636077534494230977255007757726\ 5904651541529603145667684215436269994560494333969933*c_0101_6 + 3063728597931095787239386739180979155039480423689189416954758928453\ 15355091445889222939709744/3001042426360775344942309772550077577265\ 904651541529603145667684215436269994560494333969933, c_0101_4 - 193979779023640285106813352486261995220792719138938321874445\ 802130986747915430070674899406804/300104242636077534494230977255007\ 7577265904651541529603145667684215436269994560494333969933*c_0101_6\ ^32 + 2263681286164620484151310170055401458932077971434864966962602\ 652928545380313444506647677825537/300104242636077534494230977255007\ 7577265904651541529603145667684215436269994560494333969933*c_0101_6\ ^31 - 5977567349865470486219563364088544843475059497031617734565792\ 037543980561208241184202099410287/300104242636077534494230977255007\ 7577265904651541529603145667684215436269994560494333969933*c_0101_6\ ^30 - 1927345678778617421129059774958366662356459561749198614707524\ 4805906609524754436465747275310492/30010424263607753449423097725500\ 77577265904651541529603145667684215436269994560494333969933*c_0101_\ 6^29 + 153346061558048138599132925476836140840585555926815509319605\ 933758329491561747133527440550243789/300104242636077534494230977255\ 0077577265904651541529603145667684215436269994560494333969933*c_010\ 1_6^28 - 3781551378823013682635644924254875907573020040024177284170\ 58419955421896700069923396018038557666/3001042426360775344942309772\ 550077577265904651541529603145667684215436269994560494333969933*c_0\ 101_6^27 + 33071034722969494189298451618807611825434375059720581351\ 9484340179667757011256167550393681764563/30010424263607753449423097\ 72550077577265904651541529603145667684215436269994560494333969933*c\ _0101_6^26 + 909485422116263963478534044259383394839613629868477325\ 241346598154832391486848475227837597281514/300104242636077534494230\ 9772550077577265904651541529603145667684215436269994560494333969933\ *c_0101_6^25 - 2957910964595115671101605414630785057002206147719674\ 474151612139095379449897982231851487951422827/300104242636077534494\ 2309772550077577265904651541529603145667684215436269994560494333969\ 933*c_0101_6^24 + 4802829206637316427618939222389132781462124647074\ 206208715439564020634006580833565633663114544286/300104242636077534\ 4942309772550077577265904651541529603145667684215436269994560494333\ 969933*c_0101_6^23 + 1218341982327814342667635270754278356868382640\ 26137484069010830599305791581232888213018314212833/3001042426360775\ 3449423097725500775772659046515415296031456676842154362699945604943\ 33969933*c_0101_6^22 - 95175702611155047745658353158280921656237141\ 45578265864513878018396956914704460405133131325866662/3001042426360\ 7753449423097725500775772659046515415296031456676842154362699945604\ 94333969933*c_0101_6^21 - 69766431588227154728925640984915121279263\ 51898135625612103448623613263324126541406855342327400881/3001042426\ 3607753449423097725500775772659046515415296031456676842154362699945\ 60494333969933*c_0101_6^20 + 18496357796467118400489407189601779985\ 673639090395284644735224376840174347649706140082314924815963/300104\ 2426360775344942309772550077577265904651541529603145667684215436269\ 994560494333969933*c_0101_6^19 - 1645408618237809183542086765310561\ 801245113301702212254120271921444467272095014987423287957627217/300\ 1042426360775344942309772550077577265904651541529603145667684215436\ 269994560494333969933*c_0101_6^18 - 4272716077280429176917690154223074428458916353990235678492985180784\ 5256908837517287449579247688675/30010424263607753449423097725500775\ 77265904651541529603145667684215436269994560494333969933*c_0101_6^1\ 7 + 111250335226367744354413664089213145243903347421224598600686348\ 0761398722709860037068264808936618/30010424263607753449423097725500\ 77577265904651541529603145667684215436269994560494333969933*c_0101_\ 6^16 + 563698792684834539772475358959368481391516754306587947689659\ 57496062806976004087740706225798668460/3001042426360775344942309772\ 550077577265904651541529603145667684215436269994560494333969933*c_0\ 101_6^15 + 93309422007383454520976202002970933585333896893815457276\ 9816500758103617802491923451015610339086/30010424263607753449423097\ 72550077577265904651541529603145667684215436269994560494333969933*c\ _0101_6^14 - 458052000377065138205488379678702798115173541035371624\ 23142780081857942116476199307454684582575246/3001042426360775344942\ 3097725500775772659046515415296031456676842154362699945604943339699\ 33*c_0101_6^13 + 11248668521058865981782043516177337238670651545504\ 960876544269164689721889171249395161527675382820/300104242636077534\ 4942309772550077577265904651541529603145667684215436269994560494333\ 969933*c_0101_6^12 + 3524801158586156501000583781728598698043983549\ 5688795646784773771337472506896728961436971425725277/30010424263607\ 7534494230977255007757726590465154152960314566768421543626999456049\ 4333969933*c_0101_6^11 - 108840271305170296660136056428638134188604\ 82825302385668605042908078695110994414432630961397247034/3001042426\ 3607753449423097725500775772659046515415296031456676842154362699945\ 60494333969933*c_0101_6^10 - 21299606177335261904565554877634377150\ 143662836552553510242292942022824638975570150766780054659800/300104\ 2426360775344942309772550077577265904651541529603145667684215436269\ 994560494333969933*c_0101_6^9 + 33290809390178902084366323439039204\ 84283128339289152232989603209120747335021347089883558544488691/3001\ 0424263607753449423097725500775772659046515415296031456676842154362\ 69994560494333969933*c_0101_6^8 + 706265813732682340021268415319156\ 2680256680368264965919235353911817249881126496515521983691756407/30\ 0104242636077534494230977255007757726590465154152960314566768421543\ 6269994560494333969933*c_0101_6^7 - 3606300392103178962204811815606879892364164899520761909135302581970\ 22204099881826761666009311557/3001042426360775344942309772550077577\ 265904651541529603145667684215436269994560494333969933*c_0101_6^6 - 1005659086888447288959260869160080605668909703483575064020320273990\ 343106871237159479889946080483/300104242636077534494230977255007757\ 7265904651541529603145667684215436269994560494333969933*c_0101_6^5 + 2142769181889149045059164678768723871673114541829481084153924050888\ 159292091771287592257347036/300104242636077534494230977255007757726\ 5904651541529603145667684215436269994560494333969933*c_0101_6^4 + 2374133166469727089468414031681982920806906071604197588444454917296\ 7758143256324997453658795085/30010424263607753449423097725500775772\ 65904651541529603145667684215436269994560494333969933*c_0101_6^3 + 5134514446270788278399287622234659164059558989519117483857529585346\ 879511651794406616792296350/300104242636077534494230977255007757726\ 5904651541529603145667684215436269994560494333969933*c_0101_6^2 + 2736001456508704390616447614218331963202185888818122287038310432139\ 236490705819202971487146607/300104242636077534494230977255007757726\ 5904651541529603145667684215436269994560494333969933*c_0101_6 - 2887674896187408946512145691193705697215771476387344647578713013419\ 84645706932681615456836321/3001042426360775344942309772550077577265\ 904651541529603145667684215436269994560494333969933, c_0101_6^33 - 11*c_0101_6^32 + 23*c_0101_6^31 + 120*c_0101_6^30 - 724*c_0101_6^29 + 1420*c_0101_6^28 - 399*c_0101_6^27 - 5831*c_0101_6^26 + 12109*c_0101_6^25 - 14545*c_0101_6^24 - 17215*c_0101_6^23 + 48652*c_0101_6^22 + 68831*c_0101_6^21 - 71290*c_0101_6^20 - 55406*c_0101_6^19 + 225979*c_0101_6^18 + 141795*c_0101_6^17 - 294546*c_0101_6^16 - 199483*c_0101_6^15 + 233045*c_0101_6^14 + 100236*c_0101_6^13 - 220639*c_0101_6^12 - 65615*c_0101_6^11 + 147472*c_0101_6^10 + 56398*c_0101_6^9 - 47961*c_0101_6^8 - 22549*c_0101_6^7 + 6443*c_0101_6^6 + 3469*c_0101_6^5 - 130*c_0101_6^4 - 109*c_0101_6^3 - 32*c_0101_6^2 - 8*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB