Magma V2.19-8 Tue Aug 20 2013 23:39:34 on localhost [Seed = 1360475421] Type ? for help. Type -D to quit. Loading file "K14a12740__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14a12740 geometric_solution 8.75746557 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 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 -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.702310103764 0.631068762432 0 5 5 3 0132 0132 1302 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 0 0 0 0 1 -1 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.269864282494 1.212427644627 4 0 7 6 0213 0132 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 1 -1 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.908569462013 0.772076473263 7 6 1 0 2310 1023 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 0 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.514127541435 1.549962495963 2 8 0 5 0213 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.242294706645 0.343530440764 1 1 4 8 2031 0132 2031 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.825082339681 0.785858005898 3 9 2 9 1023 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.558848755112 0.732195846876 8 8 3 2 2031 0321 3201 0132 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 -1 1 0 0 0 0 -1 0 0 1 3 -4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.513202527207 1.269832353963 5 4 7 7 3201 0132 1302 0321 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 -3 4 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.513202527207 1.269832353963 10 6 10 6 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.647099620168 0.134951212741 9 10 9 10 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.620263302104 0.043155346981 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0101_9'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_0']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0011_7'], 'c_1001_0' : d['c_0110_6'], 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : d['c_0011_4'], 'c_1010_10' : d['c_0011_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : 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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_10'], 'c_1100_8' : negation(d['c_0101_0']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0101_5'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0011_10']), 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : d['c_0011_7'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0110_6'], 'c_1010_2' : d['c_0110_6'], 'c_1010_1' : d['c_0101_6'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0110_6'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : 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_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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_9'], 'c_0101_7' : negation(d['c_0101_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_7']), 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : negation(d['c_0011_7']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0011_7'], 'c_0110_4' : negation(d['c_0101_6']), 'c_0110_7' : d['c_0011_4'], 'c_0110_6' : d['c_0110_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_4, c_0011_7, c_0101_0, c_0101_10, c_0101_5, c_0101_6, c_0101_9, c_0110_6, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t - 4389743190892912005357878500984167028911471967347136917560034433256\ 284524671962534645493244680552487622/134060903862792505896858531291\ 1518807017467911493971410054222231566519064006997770403982423758353\ 8550751*c_1001_2^28 + 183088813286493409025496347953618052636435783\ 704883260145745954941725552654364784745153092375957348655229/120654\ 8134765132553071726781620366926315721120344574269048800008409867157\ 60629799336358418138251846956759*c_1001_2^27 - 3273872562745382975267114379286948079584530725483268316289230270117\ 99434102022750152687378351900039281629/1206548134765132553071726781\ 6203669263157211203445742690488000084098671576062979933635841813825\ 1846956759*c_1001_2^26 + 302364058586969941351265896678052354236246\ 40684274852796379042420298454051729987051788037229340852829231/1340\ 6090386279250589685853129115188070174679114939714100542222315665190\ 640069977704039824237583538550751*c_1001_2^25 - 5667808375601784966768782158715828188093098796251091251601505954958\ 37784934459123463282961614035906324523/1206548134765132553071726781\ 6203669263157211203445742690488000084098671576062979933635841813825\ 1846956759*c_1001_2^24 + 275196153292415355058690519096646342734987\ 8740374872070845224027770732203173604455909108126728254844858051/12\ 0654813476513255307172678162036692631572112034457426904880000840986\ 715760629799336358418138251846956759*c_1001_2^23 - 5621268071798122047397816610064979632281749628309175796794037820444\ 812873054608622962444262726507686955802/120654813476513255307172678\ 1620366926315721120344574269048800008409867157606297993363584181382\ 51846956759*c_1001_2^22 + 69270892974175271855139472446434755107730\ 8589793136529826844330487561636018293208696144470919132249927310/17\ 2364019252161793295960968802909560902245874334939181292685715487123\ 87965804257048051202591178835279537*c_1001_2^21 - 5630542539021346253416753315826689423017107666964944396823593902610\ 19459268276543062512344148464960274603/1723640192521617932959609688\ 0290956090224587433493918129268571548712387965804257048051202591178\ 835279537*c_1001_2^20 + 2416987972767468331480366050364534028575425\ 7787515861063736038894359541650924944001366981373315638397142806/12\ 0654813476513255307172678162036692631572112034457426904880000840986\ 715760629799336358418138251846956759*c_1001_2^19 - 6158547484561603224913567026561795243478367447529511930231465438167\ 1090093903041724571161704254407907165573/12065481347651325530717267\ 8162036692631572112034457426904880000840986715760629799336358418138\ 251846956759*c_1001_2^18 + 1592124421262927361251033650859689835853\ 3371464352078857459815070243010521868622531845864976387297667935712\ /402182711588377517690575593873455642105240373448191423016266669469\ 95571920209933112119472712750615652253*c_1001_2^17 - 2779552816926764144784371981213457873908334666002494089047579763184\ 9323412797852668724658457181766942160273/12065481347651325530717267\ 8162036692631572112034457426904880000840986715760629799336358418138\ 251846956759*c_1001_2^16 + 2886130368717084058407188641749881239994\ 6524694120036417175718495877231410920076733254418035229835201934038\ 7/12065481347651325530717267816203669263157211203445742690488000084\ 0986715760629799336358418138251846956759*c_1001_2^15 - 2292385941121107218842668780367386770426888765543788784576188397458\ 85519402166388997366383207175825538786604/4021827115883775176905755\ 9387345564210524037344819142301626666946995571920209933112119472712\ 750615652253*c_1001_2^14 + 8776085170335237289582527887663709637528\ 3582986752564849310475636022963295198863130994245911410907043270089\ /172364019252161793295960968802909560902245874334939181292685715487\ 12387965804257048051202591178835279537*c_1001_2^13 - 8334204792591520418619805923610549629596468573429623852708142920144\ 6541639545331339951354223615111456293696/12065481347651325530717267\ 8162036692631572112034457426904880000840986715760629799336358418138\ 251846956759*c_1001_2^12 + 1371183061166910547711692313869596148623\ 0550435827960434982214247655559498919056258331553412011419471220079\ 16/1206548134765132553071726781620366926315721120344574269048800008\ 40986715760629799336358418138251846956759*c_1001_2^11 - 3090566522244126801144375591182152708590190575275515896001705035969\ 5448714102239637603769529696385425308112/92102911050773477333719601\ 6504096890317344366675247533625038174358677219546792361346247466704\ 212572189*c_1001_2^10 + 5705808938176031809543703001806931602411711\ 96724219629163337927321412961045705884357464351936193447532256802/1\ 7236401925216179329596096880290956090224587433493918129268571548712\ 387965804257048051202591178835279537*c_1001_2^9 + 5378980519565945862534806420593911668886935777150537202687838012207\ 78039023485356515573908766395611744169176/1206548134765132553071726\ 7816203669263157211203445742690488000084098671576062979933635841813\ 8251846956759*c_1001_2^8 + 2890738354065963815036963621278116932687\ 7992279338713696132542053912816183730292593526569602136859358244024\ /574546730840539310986536562676365203007486247783130604308952384957\ 0795988601419016017067530392945093179*c_1001_2^7 - 6511719645051375993747067794219375383082048182118982844397140639141\ 795518731040793128187192093744467486825729/120654813476513255307172\ 6781620366926315721120344574269048800008409867157606297993363584181\ 38251846956759*c_1001_2^6 + 108118303841465041179634109228998390504\ 8110404766233083273330394910359865618811856806633953892496238255947\ 4776/12065481347651325530717267816203669263157211203445742690488000\ 0840986715760629799336358418138251846956759*c_1001_2^5 - 1818182083327240417004432222437103847881466105331533232119755556505\ 164284698536921631850419468099416948053464/120654813476513255307172\ 6781620366926315721120344574269048800008409867157606297993363584181\ 38251846956759*c_1001_2^4 - 854382437040304530398395352493771535600\ 2659777135122650985860847962662824612455728858141261673206192522680\ 57/4021827115883775176905755938734556421052403734481914230162666694\ 6995571920209933112119472712750615652253*c_1001_2^3 + 3809313241701564572227449543603094139679206624596184008569270904592\ 244935587585306682267362558070442147407635/120654813476513255307172\ 6781620366926315721120344574269048800008409867157606297993363584181\ 38251846956759*c_1001_2^2 + 660330641028332085456808754220849627798\ 1009137075582466936228343753702881126695735731014015839653878740578\ 053/120654813476513255307172678162036692631572112034457426904880000\ 840986715760629799336358418138251846956759*c_1001_2 - 1482803894430942549859432617810829636544868600082142912818873131220\ 795285249781231090584428386403511074077945/120654813476513255307172\ 6781620366926315721120344574269048800008409867157606297993363584181\ 38251846956759, c_0011_0 - 1, c_0011_10 + 12255560705690126350290219614648478626085554696676045962489\ 48674342032788010824/1664412446620330111733081554359889991344630053\ 8321367811142363788811710144829488639831*c_1001_2^28 - 2044484290393406441886276582277919321018680152098063304516196481279\ 2318761483297/16644124466203301117330815543598899913446300538321367\ 811142363788811710144829488639831*c_1001_2^27 + 1017984163157617883497943687959153529321555803574218710526845269896\ 51051419086038/1664412446620330111733081554359889991344630053832136\ 7811142363788811710144829488639831*c_1001_2^26 - 2545620323593927622408160676399737955179914821246123820409379557022\ 93401965730364/1664412446620330111733081554359889991344630053832136\ 7811142363788811710144829488639831*c_1001_2^25 + 3062164350613810168592490378533527120495905465037508391032684306666\ 52957183719074/1664412446620330111733081554359889991344630053832136\ 7811142363788811710144829488639831*c_1001_2^24 - 3876593698465553339084637973688895687203377502121238021824482236054\ 68912633823309/1664412446620330111733081554359889991344630053832136\ 7811142363788811710144829488639831*c_1001_2^23 + 1503043629946992044312231276411399445887976811283669023531455458906\ 605336426095060/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^22 - 3849672114417948329058445959818847880337027656078737932371600643805\ 907507579697840/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^21 + 4836637571439132194911766733449486381407912974760558430229465395934\ 178872621580899/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^20 - 3066532933645351920703843511599641565936847512530246632031150551355\ 524654733290812/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^19 + 1079280232443997717391948370528566409412693135841270500271009891929\ 2720336357051886/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^18 - 3563868334475125440396171037250792904273512539075428987566862827860\ 2936261901287517/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^17 + 4960857870107348581441395582432595583043555408686948492486847338429\ 1278253389310605/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^16 - 2611657445722849542601374139605609673030532796490408379766851705182\ 9810081662056155/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^15 + 1121330926440340660306243652802419757108074399034087871078568795881\ 51636182516081518/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^14 - 4446776289101255230652454537230501327040190188707741877072544950361\ 46590988588031360/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^13 + 5761789235971555002320093380594411084782923500182448351783665340662\ 10549310659250621/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^12 - 1536566893349405328030919907091754865555430910581020144767578639442\ 42039743524081941/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^11 + 5395374762773998905547581061376884312320321166200209417857037373309\ 72834509741566504/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^10 - 1837511738614610571284269797808405771442020272214825246596798508215\ 388047880791106515/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^9 + 3368224185368772911643550582205766785895604739405742150709855414623\ 213937409899235970/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^8 + 9760697192201848613703264345044664576386589662022295905596131610213\ 070667798586261/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^7 - 2011007280471306321698312928153682682908228386493712637784083584005\ 167979358616912684/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^6 - 1207502406965116514767930999916178363022484877332334239060278480535\ 68129048211532923/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^5 + 3758587457725276688312864674642409602330476727866169171633414712972\ 084802181910656925/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^4 + 2062658323096676278236431871494571388992266750651117548939180064550\ 61579695502123930/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^3 - 2442169854335148921126883958738225623982581922408582933385058833812\ 16634009829110059/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^2 + 1080881566774937330734278543017766872118514918501710285861264777654\ 1436877257511375936/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2 - 8035042026384121429722711924248878079731312262547348701717158329289\ 14668521025273759/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831, c_0011_4 - 262651371066926159464061870182545086571788284039068213074281\ 55613897602309216433/1664412446620330111733081554359889991344630053\ 8321367811142363788811710144829488639831*c_1001_2^28 + 1278718093577890385612777829497228308672432111621770621194636270181\ 87135174388943/1664412446620330111733081554359889991344630053832136\ 7811142363788811710144829488639831*c_1001_2^27 - 2263873360809351056729410852656996178873075548786996684652222107286\ 58410661952420/1664412446620330111733081554359889991344630053832136\ 7811142363788811710144829488639831*c_1001_2^26 + 1513901942493140616962026752164513896328078212504361726799208182468\ 50732317783541/1664412446620330111733081554359889991344630053832136\ 7811142363788811710144829488639831*c_1001_2^25 - 3881538680334280526229621585191055761121043554880908499312754414538\ 39949221407999/1664412446620330111733081554359889991344630053832136\ 7811142363788811710144829488639831*c_1001_2^24 + 2261362162713659548649188594023946626731967158559911408610237050150\ 780454459163112/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^23 - 4602908557692232747203837965827544074496787162226635594252010376720\ 588199033791721/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^22 + 3241943111669821112846054383449966906668702723298287586859624799398\ 381986307698630/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^21 - 2019935994921984027147320360340391912437358591380884273529217679495\ 928615921734065/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^20 + 2071508038973908461239525620321553514737848143202862138476034790820\ 2961995708997067/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^19 - 5414915839821649561037421642700262166929365183247899045628904111844\ 7139637425387075/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^18 + 3633451065741295902040290922137116947653923714430828721414846360481\ 2742536364943160/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^17 - 3848664801088712345169725881479034546386818778872398179525910751412\ 448431136661227/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^16 + 2297225188778165712900159696819821241366749885502047367498504819844\ 76713142485179594/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^15 - 6093265663478835114705693057640871690879024156133680501492408009382\ 04947407286288755/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^14 + 4282459988136469042140034024603792473820614268427234294315050885271\ 43763454379286479/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^13 + 1257645871729478732928067346845465176122767866781227585663500513871\ 30708286482230778/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^12 + 1343362509190370014492451974155869034569955972810370712912699690985\ 591364582097094807/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^11 - 4281223013317700949249335552139606269093090057627653920276994907327\ 684133917548879882/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^10 + 3315052875159835599684776051122157477730488618722585273418398166870\ 421938855880946059/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^9 + 1948538812224080679670642601017050582008396785234033271355194182163\ 001154624904185869/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^8 + 1207367297973656840932283489205414917196942781600645211308783490996\ 603591689267104864/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^7 - 1241963473365201952111955031585161642298551017796715060050882400561\ 9946427798018778021/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^6 + 1022407183382024196096573109812066257257176038793995120963094575149\ 0439429285330468544/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^5 + 4213448351063521119084749370198013470549686139654404857126232860563\ 786102251773204660/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^4 - 5976322020484496449636932998882917540360744539823146438584961941234\ 625633409525369034/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^3 - 4908653196374474570595431316287120833304424180773561091519048226104\ 006731846506909907/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^2 - 3735902881834187816395393338613781849785696967203964707609690619739\ 616783047165172893/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2 - 9215931594200351269120119917979707752807867265705235167378796469431\ 95664069619844037/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831, c_0011_7 - 374553299638575702493955965909778586111156840397407138383819\ 427037820659449241542/166441244662033011173308155435988999134463005\ 38321367811142363788811710144829488639831*c_1001_2^28 + 1725870080207878103496344992429289546156956236456752825578835507966\ 734512633645627/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^27 - 2966708755867637718305830949677213507000301804236112896512732744902\ 204254086971950/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^26 + 2075580638290563538016977054567514323068234154787002521808265827403\ 034175261349735/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^25 - 4629483703485710226990794772297655100076975893686019497809774960410\ 657659879526769/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^24 + 2565308733814623323660639399550384913919950327617040291896686613248\ 7396351764639506/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^23 - 5187387798244444731102824989730485223063091283614818728253759848254\ 7716998961602988/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^22 + 3898207517880243118516401756230928640558534299210867624049414548069\ 1453260744260679/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^21 - 2522589558326725067753535911721808052135127267721456296132089654185\ 6834104038867778/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^20 + 2228290492508361278533294375264716845438308080547178173445575536957\ 71691003903923111/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^19 - 5772248144385834816431547153423293375044190541853758778144182671686\ 78904251441690266/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^18 + 3898733113762466116858456102905938880780916263569089918030634040190\ 22522719966228394/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^17 - 1280130746472154746650674871745205506659300003080984546441336330819\ 20101617102952602/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^16 + 2678931367116419840009164475803063992631431181386427427513385426966\ 095726209438050773/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^15 - 6478401489544887912214215730004103478156994230444743853640445919484\ 186467543736248430/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^14 + 5040609884887462370804469840208787913852827081514073618294586655415\ 689604683988072427/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^13 + 7905583095672322637605571318250208820867288094625772482073980955991\ 39644512994319217/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^12 + 1228601080306804284467674579005260122330344931235138898750112158948\ 8261628299297350734/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^11 - 3887508103332858529377974180032723585579411849532087532103771737078\ 5236197363483671736/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^10 + 3451636256288450785296508008070259738057590424814503999366252091907\ 0544423798497357194/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^9 + 1399942172380174901085459562850562699722620660634079134175649631357\ 0945583136774196508/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^8 + 1573338156787307261384629049689662001774704033649175755985318391244\ 613038538133385630/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^7 - 6815862539044136512916319481512240659552798596597188371979550839852\ 8510572099904580592/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^6 + 1008334129885250279704509111696369358089222767132167202539952973494\ 04898784270610575138/1664412446620330111733081554359889991344630053\ 8321367811142363788811710144829488639831*c_1001_2^5 - 2105080961939973110644660998306358900736256982173679500669277212466\ 880423150635194216/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^4 - 3916116028798973953223678368142756813037363291322421586218695609398\ 5029814916774543977/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^3 + 3134732230340578420362143369259518478971723086014008366860194808030\ 2239191641030408273/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^2 + 6272587045221521977236153727100850756831433654298997387583957251360\ 7337419118557574436/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2 - 1569478871582046151612125974164748435937817440406693030377018839058\ 4852746187277295412/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831, c_0101_0 + 347825582675039022087682229225548308897378397460129083330033\ 859714943677906381667/166441244662033011173308155435988999134463005\ 38321367811142363788811710144829488639831*c_1001_2^28 - 1590864138422088332321819654905274441649904721356386391923924115963\ 563394276718622/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^27 + 2725783086666835056571997154111492494812412205766400986287203771432\ 641219976663735/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^26 - 1973447650457485533643473346501076901188925262499495270195736154512\ 999850723130788/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^25 + 4375575683829259173898880063768649715491884920087262150872552977838\ 956723240638009/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^24 - 2327514501165145352055740774524023103000993836120918998244888005577\ 8399328930685895/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^23 + 4670555789056143482681235856787222759513479509146043559362362265873\ 9204784916934565/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^22 - 3567925160138515044740317765984743017400671600658071749072874966825\ 0942008063270075/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^21 + 2421206533496560643664086924757137151283806018968917415395868987486\ 9763303824069803/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^20 - 2002331872049033231865548406064144967381159380555476722382268429721\ 64344362796004472/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^19 + 5152161359526768216075108853489057107900131937809685896381063155773\ 72089973356086800/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^18 - 3505429288632898656531622135073259850411283749093703776396861887956\ 81178495195069232/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^17 + 1395602186577735839366372077702441869604155596499592169135832196833\ 65196401065869488/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^16 - 2436012167927578152384871197930421758811031568725913941762745247247\ 325379935882583241/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^15 + 5759395297205821049594098658085437251277895467971467233939649379682\ 700001311275488192/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^14 - 4602025711950968129914710900854678280821749863569162149578900360864\ 168997512133480949/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^13 - 4194497894767139650110605321330041010856922269741865369164568127531\ 43998947676209356/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^12 - 1077049909010089836675245134638689890574523799072410257620097034923\ 9600927624228100332/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^11 + 3373675471957888962909816940055978276100636224866244280295087941949\ 7172993912275037279/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^10 - 3064490945262898278188193811939772565194753362674521441686113339032\ 4162363130725372127/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^9 - 1162873409284436915437701274582205053423814302465453275284100060446\ 0691085164783981427/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^8 + 8258605405909780888390107165246837881903514978465230505401506093119\ 10254500637356375/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^7 + 5137305909544623695725247315729959261520872058083113665816974605808\ 8227805655362718789/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^6 - 8836684532389986742014016949452257451387693635537406843304350493304\ 8550144333530019108/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^5 + 8536507230156924040030343644208212999766687685365438251127173319808\ 331620593620283682/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^4 + 3488963935410840799644712341423388301019396314031951142399399709823\ 9927129456227360589/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^3 - 4187322324589138396429795994344932001001467815929331117781563813257\ 0130779655457494384/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^2 - 5948070075815886545549208498292064869952883333957889345098274299988\ 1802019115421265767/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2 + 1619190767019691351098340044740926499423184968954590399176597255234\ 3881878431739592241/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831, c_0101_10 - 99945363885890358840634223150046108102136827683586626340999\ 094759318408957583103/166441244662033011173308155435988999134463005\ 38321367811142363788811710144829488639831*c_1001_2^28 + 3329686877400026525172133164809298129800684372942443241437930515373\ 78076688054013/1664412446620330111733081554359889991344630053832136\ 7811142363788811710144829488639831*c_1001_2^27 - 2730620341886451109773937582225151719511694878709888990303529470985\ 28907787188648/1664412446620330111733081554359889991344630053832136\ 7811142363788811710144829488639831*c_1001_2^26 - 1053282490279421670073099612856807825460478924529389965617818698605\ 53923643652458/1664412446620330111733081554359889991344630053832136\ 7811142363788811710144829488639831*c_1001_2^25 - 1147601658884181529523294259915998860864950139851864959121154328467\ 608648907526830/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^24 + 5804799941889207753110270507473017210714760212682822354905567730750\ 139021286351467/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^23 - 6536139869078193761517769626420273663924847666073239945187675017322\ 134562266694416/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^22 - 1094973309164170006742496596971467553237059689968171551245899333543\ 741193982161616/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^21 - 5347905707894265157457782141169982080478672756532029394548444128568\ 404705538090177/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^20 + 6043802427187022144444550688017847019476039024179417546751600281163\ 5072491309302239/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^19 - 9030607736066572774221722832899924851996547127463927680778649242859\ 9590301004267097/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^18 - 3215521567238509364687139670435309358305913214430492129919104259522\ 6560383729811350/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^17 - 3786090173996546784832359503921728280273582568122414474376196933863\ 3282885779107701/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^16 + 7648384332838008419698223994357294715791083931297030030576418835209\ 79597154043760990/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^15 - 8854717586768987695500199682848756774346258477418719443200335405693\ 55408275050361219/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^14 - 1530719591482442715684800097669283774930976163563955790717520785388\ 23120327617864251/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^13 + 4207101790680848388995608902178271585788095466557198254797922916667\ 88939458817551926/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^12 + 4625193854626277629985263519859264531972841981571943414057945824404\ 617050736926172923/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^11 - 6797432957069805213967881403400424775828273481803362958549028233259\ 652366977198779032/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^10 + 1241491367793757924847954202664149198841229771475341787893789172377\ 53176115495133049/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^9 + 5120009181505113017376229029450911319572925024052177413920350927432\ 111844688674294517/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^8 + 1212007206151454211579142865339049783982927322262623037301128979327\ 4984370169184206138/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^7 - 1825135997990654965590549503091358963297405367615601080509945710504\ 3715782810689563511/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^6 + 1382384215301070759680986432861019377052667458543042616981208127668\ 8864734337676937344/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^5 + 7222760759817339529133254577581784323046400575193189262457565037299\ 265287145978851790/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^4 + 5717497810795742996021006095746251240486444172981666906726691892934\ 966144137457219852/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^3 - 1677521745985535018434237132294355758734279390558737176577671242836\ 438541891818888119/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^2 + 2539603782118343248815137897043204990165169023596955648850570479133\ 3726454193695406897/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2 + 7763022525336055240708889117183210750171742856416603977776055314093\ 1612351924564177/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831, c_0101_5 - 292117006085719020484066377661868718604179689486173903299513\ 354148609990624593699/166441244662033011173308155435988999134463005\ 38321367811142363788811710144829488639831*c_1001_2^28 + 1283808370289261259236774696493343366611469632329374934168346298218\ 714819419106969/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^27 - 2122456175686727184841791114504845645643764430147730128956122553819\ 377896358163335/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^26 + 1828162346432837522454677947638412572267863919173005722193546729861\ 566049864543555/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^25 - 5050645136950063746448503103830431990712408189056650143591284848237\ 690051426840191/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^24 + 2115693465736200635855694627769095930212470254244332544500433504109\ 7418721541508673/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^23 - 3824873175704525048587511099310236868694189233519407834104428488916\ 8770508223446459/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^22 + 3189180900351676944342231198047092700986316652566191631107368838724\ 9463181302108512/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^21 - 4193191329244385176661431530637717454665309947301174429740886965920\ 3852910130170696/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^20 + 2028754266617846201894156252314296948439403479117845548138930274471\ 09311014923099006/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^19 - 4316592701414781935548824666587104208301552496721467477288945101013\ 67214666637117464/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^18 + 2868059780210565776364557945011709001851720096736143386563575779292\ 57992010336792578/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^17 - 3258290525201675582168333905375183081545903672139712472772687298454\ 72367555200693597/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^16 + 2432061814013812390953756150245271430398532522460163292388604540999\ 585031323707570221/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^15 - 4695259867063316769201980678725952356249723513516847941211301491172\ 810470789656350324/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^14 + 3709182573322793484340016759568797418929569788919782937327643491459\ 073786273640575434/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^13 - 2069379587264454808433795447433726152707444356226952129243876628274\ 850067459428217211/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^12 + 1379935718093743185523132553133757780118519379905670916773818648354\ 9924543626236283710/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^11 - 2939399435852328955583232737578299994335165020449328041951118130917\ 6442382595223355507/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^10 + 2388418518663187297233652110416054338807214988456434182506939980488\ 5892326207624339742/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^9 - 2577734555289859775080868158290311116364268425486564386554693027475\ 317231934190417215/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^8 + 2840187644996505112996109471732904630248957817450728120784979673898\ 6725169161596952622/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^7 - 5452329693204202609624610905307273909912083971103798063451445738195\ 1809562652885689702/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^6 + 6150139953410559867096794519498586048690337771141252601989548980542\ 9779488438690875102/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^5 - 1477060761436656221867900491144731384022271042184841799455214432859\ 8558323953692615831/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^4 + 1204554529587211903702439430845339980605847256566233204687115610084\ 8739244727245688295/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^3 + 1424356386486220186050944277659134100906839606835283560757339239259\ 7203320687680130459/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^2 + 4155042769208639669964971128076865409922761603436012503251098925683\ 1066171486630035530/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2 - 2749849391434938425710615795114350377914099744814090701425650469028\ 837341453947657849/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831, c_0101_6 - 140731309574502605585493967001428874164736437669655617296438\ 826731451236586151566/166441244662033011173308155435988999134463005\ 38321367811142363788811710144829488639831*c_1001_2^28 + 5490820744197003095923555841438527285226899068955485122196177656575\ 98307205142259/1664412446620330111733081554359889991344630053832136\ 7811142363788811710144829488639831*c_1001_2^27 - 7203456778950346934253815036410548138265292626104849035372535958378\ 47968400987097/1664412446620330111733081554359889991344630053832136\ 7811142363788811710144829488639831*c_1001_2^26 + 5296948745483537784563420381296932282401138050395972735353044564056\ 12447433133328/1664412446620330111733081554359889991344630053832136\ 7811142363788811710144829488639831*c_1001_2^25 - 2741586380794945160070704448859816282597308227782633020847172130316\ 993622481282688/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^24 + 1029459881061463118069883863454705648559457611287281717989371005538\ 7783148130425904/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^23 - 1428102952258768464474871251156496808652378320548340561186135840615\ 8892675957389021/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^22 + 8120850890433402481181391199556552726519843668139957623211909698149\ 206032599436011/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^21 - 2285417614806698322234064031456953406343553907378221624685410959860\ 5306955761795809/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^20 + 1082001508113091881530105911263379917977168711098505294014815280414\ 32307180433064080/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^19 - 1725914868533621712453514462757537432773040949135989206231848678078\ 77062356053815322/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^18 + 4313859782773977836234463984894159269812927101511619368549464877374\ 1257686857553892/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^17 - 1753103214394401877350361203573523658147558709671305396245423502091\ 84576531244913457/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^16 + 1316071903414469231017500438636755977925429522420256024958899406984\ 910030952454524235/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^15 - 1804264979839721269307326962425086056806525891189350461080739065497\ 818989518714291396/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^14 + 6670574637368159619792205340834041102394576435251447404184560281873\ 57433889904566699/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^13 - 1213307077898646264907929180397514501948536796320916308478001523246\ 155247257482741666/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^12 + 8773881052627193836650799241512151685922726370288509460713577215581\ 279075634319104000/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^11 - 1234198583331443347597460806238844764081945316559165971364168108615\ 6730165378928327444/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^10 + 3939421384055335965426455953497883098432167965770160117007620729305\ 143954745160280966/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^9 - 8042379601575682105567020114434765470299527047255123654288449314293\ 4800769626923128/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^8 + 2722788632096300075945295102826589701227247726131570915765877053962\ 6901455793951311371/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^7 - 2639253864774845320482357270130830307480021571160153775696230857937\ 3787774687435345791/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^6 + 7250163484417689326029255090386196701297249436473554764714489224353\ 300667550569310045/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^5 + 7497815138325646248633892866608507118619156792981373349123209324469\ 533528634139403095/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^4 + 2235491235135428691655127378102891845897386611876228478290565297866\ 2276241342988512427/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^3 + 4170350567968363491694406086310098001002487710261252781058741633240\ 440111898546937547/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^2 + 1297074103154537634999646182370165081472928271968640216569688735780\ 4145565179288573991/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2 + 9212191178785241074900912771111337433935147603169572771159572978701\ 687870034218035963/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831, c_0101_9 - 364095965453908249224815942337641770806477653067901097975873\ 92248024197268831895/1664412446620330111733081554359889991344630053\ 8321367811142363788811710144829488639831*c_1001_2^28 + 9735727591712073827344424499915475721297866904672738643695419800787\ 9280897850693/16644124466203301117330815543598899913446300538321367\ 811142363788811710144829488639831*c_1001_2^27 + 2316011743166076939663587063955239625346055731977561506166199617393\ 0079937817222/16644124466203301117330815543598899913446300538321367\ 811142363788811710144829488639831*c_1001_2^26 - 3247462258672165735556567544401282653654579898199282369011822704431\ 58235395663650/1664412446620330111733081554359889991344630053832136\ 7811142363788811710144829488639831*c_1001_2^25 - 8339813886146046495120093943440167731153431865304280703678010997753\ 8651766554000/16644124466203301117330815543598899913446300538321367\ 811142363788811710144829488639831*c_1001_2^24 + 1681103404737127262710695676562918698813298239578586483148502575179\ 514777844035530/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^23 - 6535840463004937070837294578148850687868795971631428656227212623341\ 05530159462724/1664412446620330111733081554359889991344630053832136\ 7811142363788811710144829488639831*c_1001_2^22 - 4573830551058668053076724961494362042033781253972561620053393011761\ 957728797390341/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^21 + 3286355239815510852377840462711069939794441864243111282564321723218\ 176797621606298/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^20 + 1843440493100482740148521613787663566145695916941626306750251460817\ 2266566796895222/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^19 - 1985408804783833063607088186956069594961596888939235022980929587479\ 7025941589595643/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^18 - 5251402508760387199175196564947381214367059114182459346027202787793\ 1489226872967632/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^17 + 3689872004737156490507897087024028734382935242825722565933557387594\ 6125098203511733/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^16 + 2477152311814638575807168402399293116029308646948410801334184032466\ 93314125557597362/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^15 - 1788390336620161377720433669626860456447222670747140010112630986676\ 87080323444668857/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^14 - 5441391417541508269035710628720282223325358479981838284165974928790\ 48857303216519177/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^13 + 7895299416101717689506041695986404972144414005349308946329277061321\ 77569950286065644/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^12 + 1493866207054845987535262133739682772091666955924487755479593138349\ 708293703190752153/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^11 - 1788136539323796519029200541925422619579862934873072710971898922044\ 825138390507085350/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^10 - 2071191054374100504283052662365654202391642009243638411997596447873\ 677045295745364938/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^9 + 5478735842365562096953986886975780249512093629405219457084404722237\ 617573222621765939/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^8 + 4081865687599994450615833267876377848150297190520889966944813662268\ 236551059299015487/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^7 - 8368303629138311854231816281466894585341855739564503365456670020640\ 047602710936320150/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^6 + 4981911813225509417321617735021712089191734149519959715611769868498\ 151899462261677508/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^5 + 6840229991290645969417484672828471380497523474268856828847931107528\ 266378259943452195/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^4 + 1822001812134593533769239769974156605383050895806440879423931577084\ 945174648790207159/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^3 - 1216976971667147677022286969706560374380257969526917333671995688796\ 997408192056657331/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^2 + 2007711395262600277884893946217370035560055308856267837967554864935\ 5740349587489493280/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2 - 1010819562878521887840769145427244804311444976039990491128335871225\ 971841064504660034/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831, c_0110_6 - 143853231132612242367474886439401615767192423541914878573268\ 171537454995369403986/166441244662033011173308155435988999134463005\ 38321367811142363788811710144829488639831*c_1001_2^28 + 5313356302057060949319495583493527724500978634944850871552114725019\ 19260331954034/1664412446620330111733081554359889991344630053832136\ 7811142363788811710144829488639831*c_1001_2^27 - 6176479993938224976084421687504394578589057180459345658515201111829\ 40968017477453/1664412446620330111733081554359889991344630053832136\ 7811142363788811710144829488639831*c_1001_2^26 + 2907031247864333208629601145727410365043160824380734564555240925464\ 80248696693225/1664412446620330111733081554359889991344630053832136\ 7811142363788811710144829488639831*c_1001_2^25 - 2238871447973590610429743657154539853418966740756158876287625425395\ 313537378901061/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^24 + 9427794658516885474638690335671071002499926860602075039182269267726\ 085618186323182/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^23 - 1271068080762353304584621630925329649501001038879207716568707524758\ 9625204763543142/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^22 + 4973513685251639633173893531886697114786602288712115215517400884022\ 505832888073266/166441244662033011173308155435988999134463005383213\ 67811142363788811710144829488639831*c_1001_2^21 - 1607847175857181059617570691618527050147307917947551237111370381665\ 4806633778091618/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^20 + 9757072312219182639250141364195722256103048062388285979121893729302\ 1879603294291878/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^19 - 1595944060164482096710934898523049329449762931278860662078200900072\ 99209709409002766/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^18 + 1871461378368442768632942961907246911786008750030226990714111402670\ 9197905123348342/16644124466203301117330815543598899913446300538321\ 367811142363788811710144829488639831*c_1001_2^17 - 1256711293536249621991609731675094338323910615895668664816873543132\ 39612638616622645/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^16 + 1204336806443449564850494187647894252545890742252557500394533746728\ 496430851588131717/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^15 - 1628427132195024540127473789615741522502074469885084061529615313041\ 901257821886837257/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^14 + 4765194711703639086837823574595585954818810832880723744378728213314\ 65320419149443382/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^13 - 4225053758664600866559912104685504308162735576244464305626381856909\ 61693825830805643/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^12 + 7481213450824177778756184778741668406187254553005606992569026685993\ 613477195411312603/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^11 - 1161740879579473999484384700023369441707734236401900488783164102086\ 3865457022744101230/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^10 + 3523289840730649168448245993631102558965322191673268435227899152281\ 540207203128608280/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^9 + 2374033046992431193762229161307826711966785623032009850446319225775\ 254929891946273114/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^8 + 2069676032805591018562074124066925865147857794673549306241329172449\ 1769282418033531461/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^7 - 2660370215369214749594400494399310078919064071395185341232772219966\ 1529534613271270702/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^6 + 1819415584096528142980716489089687249720691787694826427159778630086\ 6040973408217310767/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^5 + 4937488532724417580707052243779062131527377804528839329335864894663\ 222095922694125209/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831*c_1001_2^4 + 1200669618063837841530032680287767710036708378248858623749201041163\ 3744381583936810669/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2^3 + 2038407041184593676184272663840000288197687081575859900762629274547\ 88214295678986573/1664412446620330111733081554359889991344630053832\ 1367811142363788811710144829488639831*c_1001_2^2 + 2396221042404887046352158899025111842996387051937321270943073342137\ 9047939006394892065/16644124466203301117330815543598899913446300538\ 321367811142363788811710144829488639831*c_1001_2 + 3210837618867205295805994567123870991660273852460141399601139784906\ 152466827714969530/166441244662033011173308155435988999134463005383\ 21367811142363788811710144829488639831, c_1001_2^29 - 5*c_1001_2^28 + 10*c_1001_2^27 - 10*c_1001_2^26 + 17*c_1001_2^25 - 75*c_1001_2^24 + 168*c_1001_2^23 - 176*c_1001_2^22 + 147*c_1001_2^21 - 650*c_1001_2^20 + 1784*c_1001_2^19 - 1790*c_1001_2^18 + 1172*c_1001_2^17 - 7579*c_1001_2^16 + 20088*c_1001_2^15 - 22048*c_1001_2^14 + 8088*c_1001_2^13 - 35700*c_1001_2^12 + 115158*c_1001_2^11 - 139212*c_1001_2^10 + 25105*c_1001_2^9 - 11862*c_1001_2^8 + 169850*c_1001_2^7 - 334324*c_1001_2^6 + 149051*c_1001_2^5 + 43647*c_1001_2^4 - 120274*c_1001_2^3 - 130643*c_1001_2^2 + 97118*c_1001_2 - 17137 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.750 Total time: 0.960 seconds, Total memory usage: 32.09MB