Magma V2.19-8 Tue Aug 20 2013 16:17:37 on localhost [Seed = 3153733469] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1852 geometric_solution 5.49410761 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.311430235361 0.478484595731 0 1 0 1 0132 2310 2310 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 0 0 0 0 0 0 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.163419297163 0.630912266284 4 3 5 0 0132 3012 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.891068288874 0.972284937982 2 4 0 5 1230 0132 0132 2310 0 0 0 0 0 -1 0 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 -1 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.891068288874 0.972284937982 2 3 6 6 0132 0132 0132 2310 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.416144397730 1.320206157989 3 5 5 2 3201 1230 3012 0132 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.220194171722 0.846701321121 4 6 6 4 3201 3201 2310 0132 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 -1 0 1 -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.685419130989 0.502611855464 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(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' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], '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_2']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_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_2, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 681313151763318305509647329869345036811659313307952631730797801/276\ 8673809411387998897683988614070627203133568776867741393728*c_0101_2\ ^28 - 3194523291874017331032927666349520185434442925855306174411185\ 969/1384336904705693999448841994307035313601566784388433870696864*c\ _0101_2^27 + 336514866761466217536619575492520768337405088995964165\ 64002481/8652105654410587496555262464418970710009792402427711691855\ 4*c_0101_2^26 + 913282826152921037821590515886660701071232865242272\ 75517499379007/2768673809411387998897683988614070627203133568776867\ 741393728*c_0101_2^25 - 3377650925340778406589941436237017508757824\ 1957603062675143877539/92289126980379599963256132953802354240104452\ 2925622580464576*c_0101_2^24 - 365525594441121638630893313953731235\ 137430996891109386976561396629/276867380941138799889768398861407062\ 7203133568776867741393728*c_0101_2^23 + 199425122869084502377448220706385718193796669213830753223340282831/\ 461445634901897999816280664769011771200522261462811290232288*c_0101\ _2^22 + 23874365871510982455685116136911358116219292027122887176438\ 5062033/34608422617642349986221049857675882840039169609710846767421\ 6*c_0101_2^21 - 784543764751300649142419675944162049194246512310222\ 603408744556653/461445634901897999816280664769011771200522261462811\ 290232288*c_0101_2^20 - 8048403361620881051863727565866726658592370\ 390669126749142456720303/276867380941138799889768398861407062720313\ 3568776867741393728*c_0101_2^19 + 323458324603057133251926056055861\ 5916166892907767956959599325019103/13843369047056939994488419943070\ 35313601566784388433870696864*c_0101_2^18 + 1461428287610448842200082549718692620226492555666940061701143920452\ 7/2768673809411387998897683988614070627203133568776867741393728*c_0\ 101_2^17 + 18115833562828599580773517193109876140422498808987498129\ 11077712525/2768673809411387998897683988614070627203133568776867741\ 393728*c_0101_2^16 - 1527228706549359284283312827959969650865241429\ 3133930874607588511035/27686738094113879988976839886140706272031335\ 68776867741393728*c_0101_2^15 - 12703460231841959125651164705552695\ 941467244598541864594019779600365/276867380941138799889768398861407\ 0627203133568776867741393728*c_0101_2^14 + 6845319987267467120766776122991092394159913501647650810134843099763\ /1384336904705693999448841994307035313601566784388433870696864*c_01\ 01_2^13 + 352400673207485420441902703296201424694634346434879165507\ 999738999/865210565441058749655526246441897071000979240242771169185\ 54*c_0101_2^12 - 96899426522499126762032108845862962245878006379206\ 3378985099014881/92289126980379599963256132953802354240104452292562\ 2580464576*c_0101_2^11 - 374557955868309643162499074333180482373006\ 2821065134229567558772519/13843369047056939994488419943070353136015\ 66784388433870696864*c_0101_2^10 - 414998883175743940259148772901503019970625605663502287416347400805/\ 461445634901897999816280664769011771200522261462811290232288*c_0101\ _2^9 + 160829585467224217244824948736485646700193200528359266006648\ 1563737/92289126980379599963256132953802354240104452292562258046457\ 6*c_0101_2^8 + 9418123692595333076718286536622076098073326519873549\ 62688906662901/2768673809411387998897683988614070627203133568776867\ 741393728*c_0101_2^7 - 18756724052061917968020700804308045540544935\ 58312534961755974083885/2768673809411387998897683988614070627203133\ 568776867741393728*c_0101_2^6 + 16469116988108682774362122269786160\ 089777589276955420787324468479/346084226176423499862210498576758828\ 400391696097108467674216*c_0101_2^5 + 312720947250488002452672551204997601547553682069730316014879699347/\ 2768673809411387998897683988614070627203133568776867741393728*c_010\ 1_2^4 - 94776424191365601191734732535656340052923016622053397790197\ 876037/276867380941138799889768398861407062720313356877686774139372\ 8*c_0101_2^3 - 1011129293503090418570688289473438541969381845385548\ 1026370576355/27686738094113879988976839886140706272031335687768677\ 41393728*c_0101_2^2 + 529093471306861584472399359306885062930301053\ 3613047726791435711/13843369047056939994488419943070353136015667843\ 88433870696864*c_0101_2 - 13230809554368714285449294810353392017346\ 81816665309994613299553/2768673809411387998897683988614070627203133\ 568776867741393728, c_0011_0 - 1, c_0011_2 + 286215558076711526371073031524001591819642782978853143937168\ /14420176090684312494258770774031617850016320670712852819759*c_0101\ _2^28 - 27132762644298527654261816157687330983621964914971318353366\ 59/14420176090684312494258770774031617850016320670712852819759*c_01\ 01_2^27 + 731368785330861802082120885092313864219376591334036097034\ 363/14420176090684312494258770774031617850016320670712852819759*c_0\ 101_2^26 + 38270830567182143358868543563697745805772748311591798353\ 810043/14420176090684312494258770774031617850016320670712852819759*\ c_0101_2^25 - 46412177865975173715484005658903226369378297102979885\ 165473561/144201760906843124942587707740316178500163206707128528197\ 59*c_0101_2^24 - 14863502239993800048444488581193920451083261142161\ 1864310667476/14420176090684312494258770774031617850016320670712852\ 819759*c_0101_2^23 + 5167123411980225153753348583877492267220018653\ 44246683127970958/1442017609068431249425877077403161785001632067071\ 2852819759*c_0101_2^22 + 749913328439861569904263564166629904907654\ 009721523474075331843/144201760906843124942587707740316178500163206\ 70712852819759*c_0101_2^21 - 20482082291412020162434403529243132476\ 70289739543723104431833543/1442017609068431249425877077403161785001\ 6320670712852819759*c_0101_2^20 - 318023757605346318329110715158831\ 3986198757323751315943445617630/14420176090684312494258770774031617\ 850016320670712852819759*c_0101_2^19 + 3015508634087252279312203517595057606649799603657263225430779025/14\ 420176090684312494258770774031617850016320670712852819759*c_0101_2^\ 18 + 58623474917365778487946716485643985680141425759890939436097181\ 00/14420176090684312494258770774031617850016320670712852819759*c_01\ 01_2^17 + 248393131530568859252068903599102449135928758943217605423\ 307870/14420176090684312494258770774031617850016320670712852819759*\ c_0101_2^16 - 64759373187499934934295231909974985106176067637960549\ 38136954788/1442017609068431249425877077403161785001632067071285281\ 9759*c_0101_2^15 - 479574229811312104144781973481668108585342652436\ 5797493546651301/14420176090684312494258770774031617850016320670712\ 852819759*c_0101_2^14 + 6191605867119464845732380199222005966398663\ 272111216207919253457/144201760906843124942587707740316178500163206\ 70712852819759*c_0101_2^13 + 42077209553863642534495050856902742225\ 32762165794038667883073462/1442017609068431249425877077403161785001\ 6320670712852819759*c_0101_2^12 - 151262615051595264837855401055063\ 6387114889689006628294640499323/14420176090684312494258770774031617\ 850016320670712852819759*c_0101_2^11 - 3094460567337558684533439706221330028640196091655638886050061918/14\ 420176090684312494258770774031617850016320670712852819759*c_0101_2^\ 10 - 80792821780366722913951563332357423783989529071721974230149276\ 1/14420176090684312494258770774031617850016320670712852819759*c_010\ 1_2^9 + 21029619201581864302556349501081343118190257582811890371132\ 17721/14420176090684312494258770774031617850016320670712852819759*c\ _0101_2^8 + 2339133585934468193063112456440894893740081998185652495\ 92840012/1442017609068431249425877077403161785001632067071285281975\ 9*c_0101_2^7 - 7819543094535518651942529874555987879355484436935776\ 90270080487/1442017609068431249425877077403161785001632067071285281\ 9759*c_0101_2^6 + 9881995970356319336098155329428916459480542060993\ 8216437877333/14420176090684312494258770774031617850016320670712852\ 819759*c_0101_2^5 + 11798496744643403401701677004893522005771458998\ 1888036642350166/14420176090684312494258770774031617850016320670712\ 852819759*c_0101_2^4 - 41580709799959662497590522455778283293501130\ 052486772651201495/144201760906843124942587707740316178500163206707\ 12852819759*c_0101_2^3 - 206723009089651999605511140085906808118911\ 7234884499957765880/14420176090684312494258770774031617850016320670\ 712852819759*c_0101_2^2 + 40328908674963736685863968763168735978919\ 85481494899623861255/1442017609068431249425877077403161785001632067\ 0712852819759*c_0101_2 - 559433066528527391217952270499985970519760\ 136066852630720616/144201760906843124942587707740316178500163206707\ 12852819759, c_0011_5 - 293306733958745475882923171726928164376350539987888035830063\ /14420176090684312494258770774031617850016320670712852819759*c_0101\ _2^28 + 27844382658778312197109250901047533964976571361516864257306\ 97/14420176090684312494258770774031617850016320670712852819759*c_01\ 01_2^27 - 784839966253415122736890938733779053169309799074253486637\ 737/14420176090684312494258770774031617850016320670712852819759*c_0\ 101_2^26 - 39227435743479743128640065287802953565573503822657729438\ 750969/14420176090684312494258770774031617850016320670712852819759*\ c_0101_2^25 + 48090588644421698426330310602358528938921339668566153\ 033079138/144201760906843124942587707740316178500163206707128528197\ 59*c_0101_2^24 + 15194375672082455214222693459145884236483637453435\ 9420300765744/14420176090684312494258770774031617850016320670712852\ 819759*c_0101_2^23 - 5318343224678314147740868993637513812181648156\ 47752785690998817/1442017609068431249425877077403161785001632067071\ 2852819759*c_0101_2^22 - 762444623373957702701412916520793946614085\ 951209256514369851191/144201760906843124942587707740316178500163206\ 70712852819759*c_0101_2^21 + 21126591027551189860890525062682610033\ 08609729440104057641289208/1442017609068431249425877077403161785001\ 6320670712852819759*c_0101_2^20 + 323657564509766529686363136885293\ 6944102780780839505650675514173/14420176090684312494258770774031617\ 850016320670712852819759*c_0101_2^19 - 3146944011534302921275769876289753216298528963549840192110390068/14\ 420176090684312494258770774031617850016320670712852819759*c_0101_2^\ 18 - 59899770021848065880745242260327262862579808380512985488081922\ 17/14420176090684312494258770774031617850016320670712852819759*c_01\ 01_2^17 - 158127987112192840698639729701929541905745157477389608344\ 125785/14420176090684312494258770774031617850016320670712852819759*\ c_0101_2^16 + 66810560168569718838943061749604817587906084957001644\ 56314731544/1442017609068431249425877077403161785001632067071285281\ 9759*c_0101_2^15 + 483532894574210100801017695193590027967715955323\ 0532606211578175/14420176090684312494258770774031617850016320670712\ 852819759*c_0101_2^14 - 6450226651096952982973207883602094735189097\ 061397075736028389593/144201760906843124942587707740316178500163206\ 70712852819759*c_0101_2^13 - 42656096666013014222008219671744258192\ 80709113424743422322476659/1442017609068431249425877077403161785001\ 6320670712852819759*c_0101_2^12 + 164090796257684243959384724552201\ 7924261668305358822533240491278/14420176090684312494258770774031617\ 850016320670712852819759*c_0101_2^11 + 3181428997615802242394726222667602676445339686211608625730142369/14\ 420176090684312494258770774031617850016320670712852819759*c_0101_2^\ 10 + 78234783494536154146921762895351571734881838768182543036732434\ 1/14420176090684312494258770774031617850016320670712852819759*c_010\ 1_2^9 - 21844297123664368058967532946381808350492649627000015056633\ 98811/14420176090684312494258770774031617850016320670712852819759*c\ _0101_2^8 - 2199441704855167522282859869379910183786606145750190719\ 07921754/1442017609068431249425877077403161785001632067071285281975\ 9*c_0101_2^7 + 8162537142475181130333367037847005311665267321906781\ 62149644740/1442017609068431249425877077403161785001632067071285281\ 9759*c_0101_2^6 - 1095638436777857171290098072915322824271245089541\ 83467331918256/1442017609068431249425877077403161785001632067071285\ 2819759*c_0101_2^5 - 1235842027864465002637886677137027229685647930\ 34679480604544792/1442017609068431249425877077403161785001632067071\ 2852819759*c_0101_2^4 + 4460929694528619621959012873216426427607344\ 6197381304927797906/14420176090684312494258770774031617850016320670\ 712852819759*c_0101_2^3 + 20070493143062466170161963675575493230352\ 89494784363241239600/1442017609068431249425877077403161785001632067\ 0712852819759*c_0101_2^2 - 4311639103930210252511757839969488325112\ 848362022627884021414/144201760906843124942587707740316178500163206\ 70712852819759*c_0101_2 + 62748876386210656507504339863086408252754\ 9686898941922832864/14420176090684312494258770774031617850016320670\ 712852819759, c_0011_6 + 35024519057564297944483870005128652297435018701471353469857/\ 14420176090684312494258770774031617850016320670712852819759*c_0101_\ 2^28 - 329087148249559318418173456507654184002590633304598949609699\ /14420176090684312494258770774031617850016320670712852819759*c_0101\ _2^27 + 62118968794675897705411338737955687868012254169666279852973\ /14420176090684312494258770774031617850016320670712852819759*c_0101\ _2^26 + 46868676384285945888816390885789094551389332649140766739054\ 06/14420176090684312494258770774031617850016320670712852819759*c_01\ 01_2^25 - 529190813580841268724033868664674488261510620761977853429\ 5885/14420176090684312494258770774031617850016320670712852819759*c_\ 0101_2^24 - 1859987788974403863610461673638493037187365220938511157\ 2680737/14420176090684312494258770774031617850016320670712852819759\ *c_0101_2^23 + 6172068802582765465895137780433743718308728350766379\ 9954932670/14420176090684312494258770774031617850016320670712852819\ 759*c_0101_2^22 + 9672849172588023730645583047435413955135727960681\ 2598229756822/14420176090684312494258770774031617850016320670712852\ 819759*c_0101_2^21 - 2424388201885039222223712682938035879431375871\ 56710344095741775/1442017609068431249425877077403161785001632067071\ 2852819759*c_0101_2^20 - 407742305740584463674742471110183612340784\ 763380387039676807216/144201760906843124942587707740316178500163206\ 70712852819759*c_0101_2^19 + 33497972108883519813078400760391464440\ 0411293969462067020191661/14420176090684312494258770774031617850016\ 320670712852819759*c_0101_2^18 + 7385823734207972664375737867543291\ 82180826084772182733704933168/1442017609068431249425877077403161785\ 0016320670712852819759*c_0101_2^17 + 87008537899125565707285828617630570226116264898399830388028414/1442\ 0176090684312494258770774031617850016320670712852819759*c_0101_2^16 - 775641505833815142732935679016215298250690905831675882932188246/1\ 4420176090684312494258770774031617850016320670712852819759*c_0101_2\ ^15 - 6388034987593014694668616235659802871262548230495237522697501\ 91/14420176090684312494258770774031617850016320670712852819759*c_01\ 01_2^14 + 703157849468564048859120273292096802509945345316884499773\ 522637/14420176090684312494258770774031617850016320670712852819759*\ c_0101_2^13 + 55848376168450140935846585657812420878241525022639077\ 3625718019/14420176090684312494258770774031617850016320670712852819\ 759*c_0101_2^12 - 1460749745843117599652125429359123848839461005128\ 91991179797054/1442017609068431249425877077403161785001632067071285\ 2819759*c_0101_2^11 - 378291514683479067654844856761457070851199842\ 981880589766982658/144201760906843124942587707740316178500163206707\ 12852819759*c_0101_2^10 - 12310351784882916391334356674976524127956\ 1244879053222348251292/14420176090684312494258770774031617850016320\ 670712852819759*c_0101_2^9 + 24555526045606782916892473926050917221\ 6206569330498779055582745/14420176090684312494258770774031617850016\ 320670712852819759*c_0101_2^8 + 43413829408842192962680534293784629\ 122400317823158653597118359/144201760906843124942587707740316178500\ 16320670712852819759*c_0101_2^7 - 934724101596564179482716506961224\ 57363542609896167511563828546/1442017609068431249425877077403161785\ 0016320670712852819759*c_0101_2^6 + 7414145576319039922979306534568481547116488259965463836386044/14420\ 176090684312494258770774031617850016320670712852819759*c_0101_2^5 + 14898316133638148398632505207674618817820743372061535945615449/1442\ 0176090684312494258770774031617850016320670712852819759*c_0101_2^4 - 4511965749448333644752469585090539525745087436154065579407532/14420\ 176090684312494258770774031617850016320670712852819759*c_0101_2^3 - 407590935643414281855299112132642561207298542110321279942134/144201\ 76090684312494258770774031617850016320670712852819759*c_0101_2^2 + 458931580865406115879442624932627713674243055609977077721539/144201\ 76090684312494258770774031617850016320670712852819759*c_0101_2 - 55078426120818905886100599631323295612933855093568144105510/1442017\ 6090684312494258770774031617850016320670712852819759, c_0101_0 - 126563812145241805876937247769582267662713584048402506324816\ /14420176090684312494258770774031617850016320670712852819759*c_0101\ _2^28 + 11992740898537565590752762713626276798731283973599583644945\ 40/14420176090684312494258770774031617850016320670712852819759*c_01\ 01_2^27 - 317645068208651146031396232021298970349481484867326145722\ 481/14420176090684312494258770774031617850016320670712852819759*c_0\ 101_2^26 - 16932253777078032927662030539432038532869651228585628759\ 344915/14420176090684312494258770774031617850016320670712852819759*\ c_0101_2^25 + 20460349958015097715547576073551511307404815692698490\ 322530479/144201760906843124942587707740316178500163206707128528197\ 59*c_0101_2^24 + 65907777715357397453824701071999220909183812948433\ 947525655623/144201760906843124942587707740316178500163206707128528\ 19759*c_0101_2^23 - 22841354054863073882389460362283583866435865458\ 6723054105326732/14420176090684312494258770774031617850016320670712\ 852819759*c_0101_2^22 - 3328321932981638194740461630238820417601216\ 65421362061977522261/1442017609068431249425877077403161785001632067\ 0712852819759*c_0101_2^21 + 905928996399469749279195134460027406246\ 569512803789380023946842/144201760906843124942587707740316178500163\ 20670712852819759*c_0101_2^20 + 14108753824431878194203796598812037\ 01978733352270889858878405065/1442017609068431249425877077403161785\ 0016320670712852819759*c_0101_2^19 - 1334106033470698200321300913855822604188254655048726480508724275/14\ 420176090684312494258770774031617850016320670712852819759*c_0101_2^\ 18 - 26017037385035423256071976808110357617763187543840267715302801\ 19/14420176090684312494258770774031617850016320670712852819759*c_01\ 01_2^17 - 107587151465022573380835634415587558094629215327171491945\ 660135/14420176090684312494258770774031617850016320670712852819759*\ c_0101_2^16 + 28715982084693826366532458910865058790783405659558093\ 49947450396/1442017609068431249425877077403161785001632067071285281\ 9759*c_0101_2^15 + 212414105225532905921805039342278195805221866783\ 7669488347365305/14420176090684312494258770774031617850016320670712\ 852819759*c_0101_2^14 - 2745246759298544076425340909520444595965281\ 855011169717936498872/144201760906843124942587707740316178500163206\ 70712852819759*c_0101_2^13 - 18735552332027817286521175423359783100\ 48703356116166257213335908/1442017609068431249425877077403161785001\ 6320670712852819759*c_0101_2^12 + 683907224208565860785637004099859\ 790578217559553948138895616927/144201760906843124942587707740316178\ 50016320670712852819759*c_0101_2^11 + 1369676982398311906592445757498356664858839460790381727362742133/14\ 420176090684312494258770774031617850016320670712852819759*c_0101_2^\ 10 + 35571923154909913747211701206116747326445127346937984714667455\ 1/14420176090684312494258770774031617850016320670712852819759*c_010\ 1_2^9 - 93477848905642475549141313505606114247047078740659462290938\ 8487/14420176090684312494258770774031617850016320670712852819759*c_\ 0101_2^8 - 10485082395734046387419626156547912789521333440722751990\ 6046538/14420176090684312494258770774031617850016320670712852819759\ *c_0101_2^7 + 35137418134293596159952978685445594920386856580815331\ 1223892536/14420176090684312494258770774031617850016320670712852819\ 759*c_0101_2^6 - 45127123745986107782060260848975128940932373042039\ 671762476055/144201760906843124942587707740316178500163206707128528\ 19759*c_0101_2^5 - 535120858830046820893154019557610288232738596654\ 25621151672463/1442017609068431249425877077403161785001632067071285\ 2819759*c_0101_2^4 + 1906402374692015905036233757517415276551910952\ 2153151294765791/14420176090684312494258770774031617850016320670712\ 852819759*c_0101_2^3 + 90132882465639065396411236467790682514582227\ 3844527645618023/14420176090684312494258770774031617850016320670712\ 852819759*c_0101_2^2 - 18306742217125029156542390982249358762252931\ 43228372831556593/1442017609068431249425877077403161785001632067071\ 2852819759*c_0101_2 + 267645351635089182575160706376743330963857717\ 224614352403850/144201760906843124942587707740316178500163206707128\ 52819759, c_0101_1 + 304157353661167443514868058430763654960650214500307287483180\ /14420176090684312494258770774031617850016320670712852819759*c_0101\ _2^28 - 28862684417679659282188876175054682756242205085271553706085\ 44/14420176090684312494258770774031617850016320670712852819759*c_01\ 01_2^27 + 804772610730578867249352130309547047434834427342286169209\ 355/14420176090684312494258770774031617850016320670712852819759*c_0\ 101_2^26 + 40661923362027004609381218560951867449649960941192960099\ 606679/14420176090684312494258770774031617850016320670712852819759*\ c_0101_2^25 - 49705005959567266949846312301585831668681244049220137\ 487315892/144201760906843124942587707740316178500163206707128528197\ 59*c_0101_2^24 - 15748444078121282270543533783005995515011046844373\ 7937511498365/14420176090684312494258770774031617850016320670712852\ 819759*c_0101_2^23 + 5505440883715638399330780685135812415838436922\ 78583713408577703/1442017609068431249425877077403161785001632067071\ 2852819759*c_0101_2^22 + 791785612548354739567155639906923997932517\ 301683224122520098418/144201760906843124942587707740316178500163206\ 70712852819759*c_0101_2^21 - 21840066110861522053930830736587389299\ 37961315008772023974500328/1442017609068431249425877077403161785001\ 6320670712852819759*c_0101_2^20 - 335981118645348914897612923761844\ 2618228137545640695852669567756/14420176090684312494258770774031617\ 850016320670712852819759*c_0101_2^19 + 3235894679445654472444512470818132266422997153989443098459718930/14\ 420176090684312494258770774031617850016320670712852819759*c_0101_2^\ 18 + 62030480591599274824642688074038301538143480372640604464825843\ 58/14420176090684312494258770774031617850016320670712852819759*c_01\ 01_2^17 + 208419337055452356019302173548919269321616492031027826176\ 933638/14420176090684312494258770774031617850016320670712852819759*\ c_0101_2^16 - 68903134836969915319077335330779897671362492959565342\ 48867587971/1442017609068431249425877077403161785001632067071285281\ 9759*c_0101_2^15 - 503698147816488360484443135875972042003155635240\ 7787165383303519/14420176090684312494258770774031617850016320670712\ 852819759*c_0101_2^14 + 6629435275304698593482011127882046760151785\ 595727251725121190994/144201760906843124942587707740316178500163206\ 70712852819759*c_0101_2^13 + 44166673983201289221697603614739935981\ 61821417430565782878814430/1442017609068431249425877077403161785001\ 6320670712852819759*c_0101_2^12 - 164618148248519154955424329904199\ 9568488448109945216244360992721/14420176090684312494258770774031617\ 850016320670712852819759*c_0101_2^11 - 3283540351314376068241308648011464058886023139978708764609448909/14\ 420176090684312494258770774031617850016320670712852819759*c_0101_2^\ 10 - 82733817252759337319167648470738474758912437062384296242459622\ 7/14420176090684312494258770774031617850016320670712852819759*c_010\ 1_2^9 + 22442062103043087239631202723730601808084586512452539458242\ 30742/14420176090684312494258770774031617850016320670712852819759*c\ _0101_2^8 + 2302563982096753977477157501734873631143904718133509555\ 35588993/1442017609068431249425877077403161785001632067071285281975\ 9*c_0101_2^7 - 8338959950186741814518147231335721486188644012540449\ 23551374003/1442017609068431249425877077403161785001632067071285281\ 9759*c_0101_2^6 + 1102533687977897938902680125381578814252776567709\ 95137856067646/1442017609068431249425877077403161785001632067071285\ 2819759*c_0101_2^5 + 1257970077615673815099608468474639826235351239\ 62515992029052333/1442017609068431249425877077403161785001632067071\ 2852819759*c_0101_2^4 - 4496082505363001636486021744241042986358926\ 7376331839302471470/14420176090684312494258770774031617850016320670\ 712852819759*c_0101_2^3 - 22095505827300649876825211499162241935486\ 04684400976581234535/1442017609068431249425877077403161785001632067\ 0712852819759*c_0101_2^2 + 4367552626204032851376063779095264781304\ 189010439780329190411/144201760906843124942587707740316178500163206\ 70712852819759*c_0101_2 - 60200885595537189930118014298323653294017\ 8446643987245971544/14420176090684312494258770774031617850016320670\ 712852819759, c_0101_2^29 - 9*c_0101_2^28 - 2*c_0101_2^27 + 135*c_0101_2^26 - 98*c_0101_2^25 - 598*c_0101_2^24 + 1557*c_0101_2^23 + 3490*c_0101_2^22 - 5910*c_0101_2^21 - 14565*c_0101_2^20 + 5247*c_0101_2^19 + 25621*c_0101_2^18 + 10644*c_0101_2^17 - 22358*c_0101_2^16 - 27648*c_0101_2^15 + 13737*c_0101_2^14 + 25222*c_0101_2^13 + 1653*c_0101_2^12 - 13473*c_0101_2^11 - 7996*c_0101_2^10 + 6069*c_0101_2^9 + 4376*c_0101_2^8 - 2384*c_0101_2^7 - 981*c_0101_2^6 + 595*c_0101_2^5 + 54*c_0101_2^4 - 80*c_0101_2^3 + 11*c_0101_2^2 + 5*c_0101_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB