Magma V2.19-8 Tue Aug 20 2013 23:55:27 on localhost [Seed = 2312102357] Type ? for help. Type -D to quit. Loading file "L14a21823__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14a21823 geometric_solution 10.75418599 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 1 3 0132 0132 2310 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.722920185142 0.564240617246 0 0 1 1 0132 3201 2031 1302 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562430894639 0.140945652001 4 0 4 3 0132 0132 3120 1230 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 1 0 -1 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.743227894318 1.105979969281 2 5 0 6 3012 0132 0132 0132 1 1 0 1 0 1 0 -1 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 -2 -1 3 1 0 0 -1 1 -3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.743227894318 1.105979969281 2 7 2 8 0132 0132 3120 0132 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 -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.743227894318 1.105979969281 6 3 9 10 0213 0132 0132 0132 1 1 1 0 0 -1 0 1 -1 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 -2 3 0 -3 0 0 0 0 0 -2 3 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.472058853731 0.294376355710 5 9 3 7 0213 0132 0132 2310 1 1 1 0 0 -1 1 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 -3 0 0 0 1 -1 -3 3 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.553214101277 0.446499999829 6 4 10 10 3201 0132 2103 3201 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.557605164810 1.084255777846 11 10 4 11 0132 1302 0132 2103 1 0 1 1 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 2 0 -2 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.372593722275 0.725300094450 11 6 11 5 2310 0132 3012 0132 1 1 0 1 0 1 -1 0 1 0 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 -3 3 0 -3 0 0 3 -1 0 0 1 2 -3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.682186639620 0.788627802615 7 7 5 8 2103 2310 0132 2031 1 1 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 0 0 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.817029240950 0.803819803181 8 9 9 8 0132 1230 3201 2103 1 0 1 1 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 -2 2 -1 0 1 0 1 -1 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.372593722275 0.725300094450 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_9']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_1001_10']), 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_1001_10'], 'c_1001_2' : d['c_1001_10'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : d['c_0011_10'], 'c_1010_11' : d['c_0101_9'], 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_6']), 'c_0101_10' : d['c_0101_10'], '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_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_9' : d['c_0101_9'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_9'], 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_6'], 'c_1100_10' : d['c_0101_9'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_1001_10']), 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : d['c_0011_10'], 'c_1010_3' : d['c_1001_5'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_1001_10'], 'c_1010_9' : d['c_1001_5'], 'c_1010_8' : negation(d['c_0101_9']), 'c_1100_8' : negation(d['c_0101_2']), '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_6']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_0']), '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_2'], 'c_0110_10' : d['c_0011_10'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0011_3'], '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_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_2'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_6'], 'c_0110_8' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_3']), 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0011_11'], 'c_0110_6' : negation(d['c_0101_10'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_9, c_1001_10, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 493738584882028605772179657759572149793461833077735/187148250348602\ 0731638384250442154393821036933*c_1001_10^22 + 7861721467588222906721683200466823605365702490434476/18714825034860\ 20731638384250442154393821036933*c_1001_10^21 + 3196174567691421517494425518424776495010921549926958/98499079130843\ 196402020223707481810201107207*c_1001_10^20 + 303150681943056811173884043142738980531679916418082901/187148250348\ 6020731638384250442154393821036933*c_1001_10^19 + 1098726088845940924179609568903766220870114246713495464/18714825034\ 86020731638384250442154393821036933*c_1001_10^18 + 3078216894924001557699976752429501097950235860838943221/18714825034\ 86020731638384250442154393821036933*c_1001_10^17 + 6927702336782267985161449550433240687408952340486922923/18714825034\ 86020731638384250442154393821036933*c_1001_10^16 + 12844251029045871895392783908297534977821660307940273650/1871482503\ 486020731638384250442154393821036933*c_1001_10^15 + 19953913364737865262930733095305673579995321935264771907/1871482503\ 486020731638384250442154393821036933*c_1001_10^14 + 26269567561451226322972630410647675171776145893471712053/1871482503\ 486020731638384250442154393821036933*c_1001_10^13 + 29514178248403358092194516647153128495471741020350200106/1871482503\ 486020731638384250442154393821036933*c_1001_10^12 + 28396989757378446644218709111571615083670591002033423383/1871482503\ 486020731638384250442154393821036933*c_1001_10^11 + 23403893592617021105066967852183964067436027653852206429/1871482503\ 486020731638384250442154393821036933*c_1001_10^10 + 16473079068549224606355678754850195477728938246505372466/1871482503\ 486020731638384250442154393821036933*c_1001_10^9 + 9836641232394702726600875877149773613657260042077964662/18714825034\ 86020731638384250442154393821036933*c_1001_10^8 + 4927903170205129437434155062310475473405440080029958880/18714825034\ 86020731638384250442154393821036933*c_1001_10^7 + 2035697215039496975440193078113399048753076304700029050/18714825034\ 86020731638384250442154393821036933*c_1001_10^6 + 675267276843168873040452739761373658708416585716346675/187148250348\ 6020731638384250442154393821036933*c_1001_10^5 + 172424114621669028728492072362079146651828606254058434/187148250348\ 6020731638384250442154393821036933*c_1001_10^4 + 31484086837694393902086033080920427058715879021003455/1871482503486\ 020731638384250442154393821036933*c_1001_10^3 + 3520661657798941796021852713991029884418781183194334/18714825034860\ 20731638384250442154393821036933*c_1001_10^2 + 822993590526573607286556416815513500841827408124/110738609673729037\ 37505232251137008247461757*c_1001_10 - 8222276153807798189576357511160716147594798253893/18714825034860207\ 31638384250442154393821036933, c_0011_0 - 1, c_0011_10 + 1918247435081597360856151654009690429082798/737765554122112\ 1743840927549058633076257*c_1001_10^22 + 29754526133661961907723790106258356108380738/7377655541221121743840\ 927549058633076257*c_1001_10^21 + 223475810550529402010987327640545\ 066924477141/7377655541221121743840927549058633076257*c_1001_10^20 + 1082520654659632853884290102160158904855205682/73776555412211217438\ 40927549058633076257*c_1001_10^19 + 3798708236743293460161799429278958689147290437/73776555412211217438\ 40927549058633076257*c_1001_10^18 + 10279006661487913168285777911706334917251727338/7377655541221121743\ 840927549058633076257*c_1001_10^17 + 22282118977989062897549204244700344269942017379/7377655541221121743\ 840927549058633076257*c_1001_10^16 + 39667875337564101794673072013765946685615137936/7377655541221121743\ 840927549058633076257*c_1001_10^15 + 58960331345328911628780361257311012287419857236/7377655541221121743\ 840927549058633076257*c_1001_10^14 + 73953414858184502278473581560155957723431808114/7377655541221121743\ 840927549058633076257*c_1001_10^13 + 78766408950492771315454843021158448623905261718/7377655541221121743\ 840927549058633076257*c_1001_10^12 + 71414303306723886153045744143742157217860138979/7377655541221121743\ 840927549058633076257*c_1001_10^11 + 55061148247033002536115881055746873601146564414/7377655541221121743\ 840927549058633076257*c_1001_10^10 + 35933913385828238755764173696622313179129442469/7377655541221121743\ 840927549058633076257*c_1001_10^9 + 19677181751276014112904711667874516007262313788/7377655541221121743\ 840927549058633076257*c_1001_10^8 + 8916989262028340058905509329500110602433376176/73776555412211217438\ 40927549058633076257*c_1001_10^7 + 3275961019442772823095064228332530527946271951/73776555412211217438\ 40927549058633076257*c_1001_10^6 + 946653844643128370798495347228829983506470278/737765554122112174384\ 0927549058633076257*c_1001_10^5 + 205550681078918999991817972847648\ 253001400009/7377655541221121743840927549058633076257*c_1001_10^4 + 31092993352975482911890748679480248269215167/7377655541221121743840\ 927549058633076257*c_1001_10^3 + 2792962478175293507371299075714150\ 123767717/7377655541221121743840927549058633076257*c_1001_10^2 + 63398165184373150641258579666930001162108/7377655541221121743840927\ 549058633076257*c_1001_10 - 130111626528946686041436767664764180166\ 57/7377655541221121743840927549058633076257, c_0011_11 - 174539157774683495452892240287200395961640/7377655541221121\ 743840927549058633076257*c_1001_10^22 - 3143944808787207301684589476664177383127688/73776555412211217438409\ 27549058633076257*c_1001_10^21 - 2702155600495128868313775107869254\ 0046541070/7377655541221121743840927549058633076257*c_1001_10^20 - 148102709538603702912341630784482180369700725/737765554122112174384\ 0927549058633076257*c_1001_10^19 - 582998711773419368063886757337225208409309298/737765554122112174384\ 0927549058633076257*c_1001_10^18 - 1758267303939173263854306136233142909700963722/73776555412211217438\ 40927549058633076257*c_1001_10^17 - 4228357985804613382572768658404806711984364650/73776555412211217438\ 40927549058633076257*c_1001_10^16 - 8325189932357002671914354621217298606067500572/73776555412211217438\ 40927549058633076257*c_1001_10^15 - 13662380570276001261973833424505445989583989419/7377655541221121743\ 840927549058633076257*c_1001_10^14 - 18914013407226005487252793584183339093467019116/7377655541221121743\ 840927549058633076257*c_1001_10^13 - 22255708264949253194703077904448764970310472866/7377655541221121743\ 840927549058633076257*c_1001_10^12 - 22344211199451062657963545492757689562203197060/7377655541221121743\ 840927549058633076257*c_1001_10^11 - 19149060380188137559908957117259636022676017126/7377655541221121743\ 840927549058633076257*c_1001_10^10 - 13966568724749572214266663350157504392772681530/7377655541221121743\ 840927549058633076257*c_1001_10^9 - 8610290082062303018134497818522674428433960171/73776555412211217438\ 40927549058633076257*c_1001_10^8 - 4434861348259315881139312161951656919131901916/73776555412211217438\ 40927549058633076257*c_1001_10^7 - 1874098902366948473216373424517994016384396930/73776555412211217438\ 40927549058633076257*c_1001_10^6 - 631847707560390844363629045064860133438954789/737765554122112174384\ 0927549058633076257*c_1001_10^5 - 162540104750151988867831490430950\ 250281172928/7377655541221121743840927549058633076257*c_1001_10^4 - 29489214696159284032920197014668037449612321/7377655541221121743840\ 927549058633076257*c_1001_10^3 - 3172833356746447833610433288665632\ 504806719/7377655541221121743840927549058633076257*c_1001_10^2 - 86275635872600881109033478425041313935134/7377655541221121743840927\ 549058633076257*c_1001_10 + 142299167045809488252904073975390794249\ 74/7377655541221121743840927549058633076257, c_0011_3 + 715885674624347477312817428056154466041193/73776555412211217\ 43840927549058633076257*c_1001_10^22 - 2974485547244164855561446031161995350657546/73776555412211217438409\ 27549058633076257*c_1001_10^21 - 1305553855200440440429316648983292\ 25606918289/7377655541221121743840927549058633076257*c_1001_10^20 - 1172055117682933808548896948838975374334093106/73776555412211217438\ 40927549058633076257*c_1001_10^19 - 6077821915872520572985761232483952249846547832/73776555412211217438\ 40927549058633076257*c_1001_10^18 - 22013871423240151018480043092187903521946274393/7377655541221121743\ 840927549058633076257*c_1001_10^17 - 60492349049512404977782372425555774869184192192/7377655541221121743\ 840927549058633076257*c_1001_10^16 - 132043755365339927997561419022977306057625355672/737765554122112174\ 3840927549058633076257*c_1001_10^15 - 235554441583999986383239948436482682253612729878/737765554122112174\ 3840927549058633076257*c_1001_10^14 - 349759600051217017655185346229231814556418782821/737765554122112174\ 3840927549058633076257*c_1001_10^13 - 437321572904539256116383229643664388324886454638/737765554122112174\ 3840927549058633076257*c_1001_10^12 - 463535925274450265308043359653970824659535313299/737765554122112174\ 3840927549058633076257*c_1001_10^11 - 417570472798390693372233657731192378523422315009/737765554122112174\ 3840927549058633076257*c_1001_10^10 - 319288016642967978396710676625726994341381929232/737765554122112174\ 3840927549058633076257*c_1001_10^9 - 206121527460956312659108475717495752183278261619/737765554122112174\ 3840927549058633076257*c_1001_10^8 - 111209931820158342849576465032197804932502574148/737765554122112174\ 3840927549058633076257*c_1001_10^7 - 49324810704211755799010947309486465916922452998/7377655541221121743\ 840927549058633076257*c_1001_10^6 - 17523360118361543531357705237382193102543345895/7377655541221121743\ 840927549058633076257*c_1001_10^5 - 4782934717851203369792598576389994270610239806/73776555412211217438\ 40927549058633076257*c_1001_10^4 - 932583864954931002868408084711602743651017558/737765554122112174384\ 0927549058633076257*c_1001_10^3 - 111545764137347875987140810613800\ 868689050044/7377655541221121743840927549058633076257*c_1001_10^2 - 4832780508853808107283785307305966383415054/73776555412211217438409\ 27549058633076257*c_1001_10 + 2780503665240509306796648447395353212\ 51457/7377655541221121743840927549058633076257, c_0011_6 - 17029555186939558663482749677169884326587986/737765554122112\ 1743840927549058633076257*c_1001_10^22 - 265514936192123173523506996030831330255510115/737765554122112174384\ 0927549058633076257*c_1001_10^21 - 2009506789402947438428791830624254742754132015/73776555412211217438\ 40927549058633076257*c_1001_10^20 - 9833851488584082153141748218857054005701258400/73776555412211217438\ 40927549058633076257*c_1001_10^19 - 34952637768055619566217902059113802582844482515/7377655541221121743\ 840927549058633076257*c_1001_10^18 - 96053413178319366105810967218290181363804687665/7377655541221121743\ 840927549058633076257*c_1001_10^17 - 212054252993580764489226910465709051357570373612/737765554122112174\ 3840927549058633076257*c_1001_10^16 - 385607330965537803589905598210638742027673583632/737765554122112174\ 3840927549058633076257*c_1001_10^15 - 587326632990131006242915519590102361450391240269/737765554122112174\ 3840927549058633076257*c_1001_10^14 - 757606206778527260245655432523320615188759703658/737765554122112174\ 3840927549058633076257*c_1001_10^13 - 833205967692640961717076731568283979686909401775/737765554122112174\ 3840927549058633076257*c_1001_10^12 - 783715131095629009589915356636816078754614682334/737765554122112174\ 3840927549058633076257*c_1001_10^11 - 630338468091498786308885454691283682481210387605/737765554122112174\ 3840927549058633076257*c_1001_10^10 - 431958690477348512574179935871347717994859504258/737765554122112174\ 3840927549058633076257*c_1001_10^9 - 250346771507151328903298104828864791065324525240/737765554122112174\ 3840927549058633076257*c_1001_10^8 - 121219210070129462443768853704857256694494626698/737765554122112174\ 3840927549058633076257*c_1001_10^7 - 48125041122186593682229090071673305201502559703/7377655541221121743\ 840927549058633076257*c_1001_10^6 - 15221306386985816903713575860546375042956589439/7377655541221121743\ 840927549058633076257*c_1001_10^5 - 3663827029410135220735125266343159603334326022/73776555412211217438\ 40927549058633076257*c_1001_10^4 - 619682875276904651032978191175255032655626934/737765554122112174384\ 0927549058633076257*c_1001_10^3 - 622157677232858293758377421860233\ 22457137522/7377655541221121743840927549058633076257*c_1001_10^2 - 2003207087971851835243348652137428422054645/73776555412211217438409\ 27549058633076257*c_1001_10 + 1219018431227266584694314342251867021\ 92863/7377655541221121743840927549058633076257, c_0101_0 - 7810827792982827114004652638951152663019894/7377655541221121\ 743840927549058633076257*c_1001_10^22 - 128007523645590145241239874140746116797280841/737765554122112174384\ 0927549058633076257*c_1001_10^21 - 1015879287314752755485943395534501479702625038/73776555412211217438\ 40927549058633076257*c_1001_10^20 - 5200812398859639895773761835447906225764075311/73776555412211217438\ 40927549058633076257*c_1001_10^19 - 19297141204036080562617076142363241546421941181/7377655541221121743\ 840927549058633076257*c_1001_10^18 - 55254360128418075737669712767685165240515088250/7377655541221121743\ 840927549058633076257*c_1001_10^17 - 126893472005186333161099228060806674481240590633/737765554122112174\ 3840927549058633076257*c_1001_10^16 - 239724037861259834383196957358199216993067846379/737765554122112174\ 3840927549058633076257*c_1001_10^15 - 378969668826970074260740979484152194000585460514/737765554122112174\ 3840927549058633076257*c_1001_10^14 - 507071769115286627668476866083911783715711528956/737765554122112174\ 3840927549058633076257*c_1001_10^13 - 578350479473060026929442936896286713143011992984/737765554122112174\ 3840927549058633076257*c_1001_10^12 - 564295566766195691920927651946393409562302893635/737765554122112174\ 3840927549058633076257*c_1001_10^11 - 471128689191675614070141928577550879161059543929/737765554122112174\ 3840927549058633076257*c_1001_10^10 - 335570506222257462238530320431711557125203377441/737765554122112174\ 3840927549058633076257*c_1001_10^9 - 202550131978272192933333076161771207294175902337/737765554122112174\ 3840927549058633076257*c_1001_10^8 - 102447378130889215492348348654088382668296218559/737765554122112174\ 3840927549058633076257*c_1001_10^7 - 42669401393162634514449051617229852324442796198/7377655541221121743\ 840927549058633076257*c_1001_10^6 - 14248918613034058897200638911553441258980728773/7377655541221121743\ 840927549058633076257*c_1001_10^5 - 3656935810802848652080727962925057977429106731/73776555412211217438\ 40927549058633076257*c_1001_10^4 - 670395562494764638232844117142113812763752434/737765554122112174384\ 0927549058633076257*c_1001_10^3 - 754015781615511278713576556117694\ 46197878129/7377655541221121743840927549058633076257*c_1001_10^2 - 3098478622074277115807742645807486885625172/73776555412211217438409\ 27549058633076257*c_1001_10 + 1688499928441980537426323405912429021\ 37430/7377655541221121743840927549058633076257, c_0101_1 - 14087393804208825465948344532385111278814186/737765554122112\ 1743840927549058633076257*c_1001_10^22 - 228428748009870827161099695015501985977335906/737765554122112174384\ 0927549058633076257*c_1001_10^21 - 1795082423359933381089144906585281961791306094/73776555412211217438\ 40927549058633076257*c_1001_10^20 - 9107236127074772971777240387719110343714615891/73776555412211217438\ 40927549058633076257*c_1001_10^19 - 33512936953466353080877374437628251599047030484/7377655541221121743\ 840927549058633076257*c_1001_10^18 - 95235225600566667920139358337227343359264468665/7377655541221121743\ 840927549058633076257*c_1001_10^17 - 217200555126711921951468352768035141461705241745/737765554122112174\ 3840927549058633076257*c_1001_10^16 - 407729563840907983147431264462741986612252224425/737765554122112174\ 3840927549058633076257*c_1001_10^15 - 640799008590453453150983187048516839944231117845/737765554122112174\ 3840927549058633076257*c_1001_10^14 - 852771071608329689047312179061017519976857995802/737765554122112174\ 3840927549058633076257*c_1001_10^13 - 967747530217959976193861281020653703580241623253/737765554122112174\ 3840927549058633076257*c_1001_10^12 - 939774005699336002645770414935028040849473255998/737765554122112174\ 3840927549058633076257*c_1001_10^11 - 781118895131563265823236619162503880144584384421/737765554122112174\ 3840927549058633076257*c_1001_10^10 - 554006245447477143513596539609028393235261022481/737765554122112174\ 3840927549058633076257*c_1001_10^9 - 333031111042123202574782551421287643837024993527/737765554122112174\ 3840927549058633076257*c_1001_10^8 - 167769199313571324891178029186926749438494867241/737765554122112174\ 3840927549058633076257*c_1001_10^7 - 69595226507290733441586921362436533772245256924/7377655541221121743\ 840927549058633076257*c_1001_10^6 - 23142302189394401905552058719559845227571162012/7377655541221121743\ 840927549058633076257*c_1001_10^5 - 5910677002377065731396013745568352254061003460/73776555412211217438\ 40927549058633076257*c_1001_10^4 - 1076510740558155876398875562321413428825807095/73776555412211217438\ 40927549058633076257*c_1001_10^3 - 119627648384126243577018521314599282500082155/737765554122112174384\ 0927549058633076257*c_1001_10^2 - 466301537042419629081950461134803\ 4258707643/7377655541221121743840927549058633076257*c_1001_10 + 285160002712069660400876935316105228095258/737765554122112174384092\ 7549058633076257, c_0101_10 + 2092208840722661654668162287305568455736651/737765554122112\ 1743840927549058633076257*c_1001_10^22 + 31247503467996003681813342521705562489679266/7377655541221121743840\ 927549058633076257*c_1001_10^21 + 225177153796372630153451950829278\ 324865886806/7377655541221121743840927549058633076257*c_1001_10^20 + 1042364803450084017896218976490128899221737568/73776555412211217438\ 40927549058633076257*c_1001_10^19 + 3479216029429035501494857210441529832687846291/73776555412211217438\ 40927549058633076257*c_1001_10^18 + 8905416406570523653641251618255292222173930859/73776555412211217438\ 40927549058633076257*c_1001_10^17 + 18138689949422393964041813153071899027713898027/7377655541221121743\ 840927549058633076257*c_1001_10^16 + 30089894087148513942598376559033477522226146948/7377655541221121743\ 840927549058633076257*c_1001_10^15 + 41234509274856548664845626548246317204878880182/7377655541221121743\ 840927549058633076257*c_1001_10^14 + 47022324442837835030207660959378504365189026690/7377655541221121743\ 840927549058633076257*c_1001_10^13 + 44672204101381847220651990007179018274189564195/7377655541221121743\ 840927549058633076257*c_1001_10^12 + 35154251761659054913825891899758408026826881377/7377655541221121743\ 840927549058633076257*c_1001_10^11 + 22569399275974670629848616224469802151620707089/7377655541221121743\ 840927549058633076257*c_1001_10^10 + 11447090514657947726206960011632898442096050801/7377655541221121743\ 840927549058633076257*c_1001_10^9 + 4261904874566804155123494920957713651706289551/73776555412211217438\ 40927549058633076257*c_1001_10^8 + 914349509313951194674341301093987090294003618/737765554122112174384\ 0927549058633076257*c_1001_10^7 - 778583131974963131432422791018793\ 92731092964/7377655541221121743840927549058633076257*c_1001_10^6 - 149774597694490753950404088674624090565223419/737765554122112174384\ 0927549058633076257*c_1001_10^5 - 585067815756121022480084549472361\ 43019391151/7377655541221121743840927549058633076257*c_1001_10^4 - 11059963143649859729477539962335638698902480/7377655541221121743840\ 927549058633076257*c_1001_10^3 - 7099052173345107676189892200853881\ 67007617/7377655541221121743840927549058633076257*c_1001_10^2 + 3285994340320674693887463320841754353989/73776555412211217438409275\ 49058633076257*c_1001_10 - 1907373249332345900504465964106853866951\ 1/7377655541221121743840927549058633076257, c_0101_2 - 1, c_0101_9 + 872114733524654949502696426476738737165517/73776555412211217\ 43840927549058633076257*c_1001_10^22 + 14885090166481717211405605917609795409815563/7377655541221121743840\ 927549058633076257*c_1001_10^21 + 122342273498078507515904700401256\ 423070313756/7377655541221121743840927549058633076257*c_1001_10^20 + 645539328337585472016370122585770066835718745/737765554122112174384\ 0927549058633076257*c_1001_10^19 + 2458375186166890861475060122025043393788315681/73776555412211217438\ 40927549058633076257*c_1001_10^18 + 7198769351338592048786049385580569758850304919/73776555412211217438\ 40927549058633076257*c_1001_10^17 + 16854194214193196862752731053844416911816615403/7377655541221121743\ 840927549058633076257*c_1001_10^16 + 32372025667178608383578523815631052794805262900/7377655541221121743\ 840927549058633076257*c_1001_10^15 + 51904207149138619192474023160860848011881808723/7377655541221121743\ 840927549058633076257*c_1001_10^14 + 70284894235130004808024682255849824592289862323/7377655541221121743\ 840927549058633076257*c_1001_10^13 + 80966518796179823140508873124035502477980794080/7377655541221121743\ 840927549058633076257*c_1001_10^12 + 79636598488102775772825816629817640039825078554/7377655541221121743\ 840927549058633076257*c_1001_10^11 + 66899079001873350831020560826854833287813582496/7377655541221121743\ 840927549058633076257*c_1001_10^10 + 47852475121149057925849823172268771964477577210/7377655541221121743\ 840927549058633076257*c_1001_10^9 + 28947412205379768573661283671169489765801996285/7377655541221121743\ 840927549058633076257*c_1001_10^8 + 14640905027392986588381355499850503372134853311/7377655541221121743\ 840927549058633076257*c_1001_10^7 + 6082542235875422277680917557049521092727191405/73776555412211217438\ 40927549058633076257*c_1001_10^6 + 2020179371732769623624890054864855059248265942/73776555412211217438\ 40927549058633076257*c_1001_10^5 + 513801748279021289210193782199058371700136223/737765554122112174384\ 0927549058633076257*c_1001_10^4 + 927832593187551235473696994053237\ 18688572268/7377655541221121743840927549058633076257*c_1001_10^3 + 10071902280505126222360727848019003291196102/7377655541221121743840\ 927549058633076257*c_1001_10^2 + 3119550393709875347441475553965751\ 32252377/7377655541221121743840927549058633076257*c_1001_10 - 41520371837775597718716916786803977587105/7377655541221121743840927\ 549058633076257, c_1001_10^23 + 21629/1309*c_1001_10^22 + 24789/187*c_1001_10^21 + 128641/187*c_1001_10^20 + 3396189/1309*c_1001_10^19 + 9912767/1309*c_1001_10^18 + 1369120/77*c_1001_10^17 + 45099053/1309*c_1001_10^16 + 73380375/1309*c_1001_10^15 + 101454498/1309*c_1001_10^14 + 120114259/1309*c_1001_10^13 + 122308708/1309*c_1001_10^12 + 107273970/1309*c_1001_10^11 + 80930340/1309*c_1001_10^10 + 52289190/1309*c_1001_10^9 + 1688640/77*c_1001_10^8 + 13228235/1309*c_1001_10^7 + 5023003/1309*c_1001_10^6 + 1528643/1309*c_1001_10^5 + 356848/1309*c_1001_10^4 + 59209/1309*c_1001_10^3 + 5941/1309*c_1001_10^2 + 18/119*c_1001_10 - 13/1309, c_1001_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.320 seconds, Total memory usage: 32.09MB