Magma V2.19-8 Tue Aug 20 2013 16:17:42 on localhost [Seed = 3330759210] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1931 geometric_solution 5.52483373 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 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.280856026329 0.227060425345 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 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.565943519974 1.513712657786 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.018376247104 1.029499574002 5 4 2 1 3201 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.018376247104 1.029499574002 6 3 6 2 0132 0132 1023 0132 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 -1 1 0 -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.676983032975 0.656839389543 5 5 2 3 1230 3012 0132 2310 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 0 0 0 0 0 0 0 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.181767986840 1.105885119698 4 6 4 6 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 -1 1 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.542083197493 0.141995276954 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t - 1363927178469019330008667100563157269992333661949947586700708434794\ 469149564918669634265278604069889/281155287154659794714357106096117\ 49848069338514223945153997289600089937717706472799174221426799425*c\ _0101_4^32 - 401036906578708354301237861072268776035033478100194040\ 75084897446352855584772545724808130514368824668/2811552871546597947\ 1435710609611749848069338514223945153997289600089937717706472799174\ 221426799425*c_0101_4^31 - 3021243356466832626535534658580036654522\ 6719563368402539164913173340689158482261914195022066912750501/56231\ 0574309319589428714212192234996961386770284478903079945792001798754\ 3541294559834844285359885*c_0101_4^30 + 8270327538256824125857033586539504986377509876416536656078509986507\ 1270143836620800009189753442269778/56231057430931958942871421219223\ 49969613867702844789030799457920017987543541294559834844285359885*c\ _0101_4^29 + 397471831358301508333808718156276053463466132271549079\ 491955890400185606961893842790811421971889284609/562310574309319589\ 4287142121922349969613867702844789030799457920017987543541294559834\ 844285359885*c_0101_4^28 - 3538405378093706062295608964047852060427\ 724279680537278716443475398735961231765397404725593634685520626/281\ 1552871546597947143571060961174984806933851422394515399728960008993\ 7717706472799174221426799425*c_0101_4^27 - 1095420114396247999016718142980967433209977252239361226280375936151\ 9113840553970868442335512092636391264/28115528715465979471435710609\ 6117498480693385142239451539972896000899377177064727991742214267994\ 25*c_0101_4^26 + 26039975056400095710289890675438782317995797149635\ 423636881017392471439101722232731609199222390119586553/281155287154\ 6597947143571060961174984806933851422394515399728960008993771770647\ 2799174221426799425*c_0101_4^25 + 608082093731135734622179438656372\ 8166212511141457948937692242319937435265407080436245695911368094686\ 786/562310574309319589428714212192234996961386770284478903079945792\ 0017987543541294559834844285359885*c_0101_4^24 - 1383024195033887866634898337149759970491045500565865532015122858480\ 08680455092773880698377868663257062766/2811552871546597947143571060\ 9611749848069338514223945153997289600089937717706472799174221426799\ 425*c_0101_4^23 + 7654955333740074353155441771735991160398050508726\ 00097316833765923396933746398064766871826957759999096/2811552871546\ 5979471435710609611749848069338514223945153997289600089937717706472\ 799174221426799425*c_0101_4^22 + 4598291077173515636053518444103721\ 0349328082022238080206850365363392788443135073749676700104418790327\ 0044/28115528715465979471435710609611749848069338514223945153997289\ 600089937717706472799174221426799425*c_0101_4^21 - 3417104161643620517308262730823393272933794447487033486043009789400\ 90123489353900484287598549187296023094/2811552871546597947143571060\ 9611749848069338514223945153997289600089937717706472799174221426799\ 425*c_0101_4^20 - 1389900586756719627699917620171104915589094799366\ 92907516979325067407321646456803838687062138774788435714/5623105743\ 0931958942871421219223499696138677028447890307994579200179875435412\ 94559834844285359885*c_0101_4^19 + 8237631378464969281198084982923146085571989619803965530332101930195\ 62315712178362953747172972825687681928/2811552871546597947143571060\ 9611749848069338514223945153997289600089937717706472799174221426799\ 425*c_0101_4^18 + 4125844624086716739532065424477207095050641332000\ 90865188500046546183797368309551800074113479213691763447/2811552871\ 5465979471435710609611749848069338514223945153997289600089937717706\ 472799174221426799425*c_0101_4^17 - 6970328343255520608173783573503764510536283502020202230213036753058\ 06297794543315030782643657774879119507/2811552871546597947143571060\ 9611749848069338514223945153997289600089937717706472799174221426799\ 425*c_0101_4^16 - 5362559374046421664763485444196282355062379167772\ 2101215474174958727129957841410971078883488821176823067/28115528715\ 4659794714357106096117498480693385142239451539972896000899377177064\ 72799174221426799425*c_0101_4^15 + 3218798856589594416565698507498752653176356185273833293437636843917\ 9811586207110507300036115286964607071/56231057430931958942871421219\ 2234996961386770284478903079945792001798754354129455983484428535988\ 5*c_0101_4^14 - 483330522272397389864994794210185682575875814878474\ 2392009601847507721532158483988552916248470850960181/28115528715465\ 9794714357106096117498480693385142239451539972896000899377177064727\ 99174221426799425*c_0101_4^13 + 86259446874205102170932692171471275\ 6149082085418070552093694058548634570644036960723644041261859203638\ 31/2811552871546597947143571060961174984806933851422394515399728960\ 0089937717706472799174221426799425*c_0101_4^12 + 4002995487384130212059840723552236909876024097798971622319027061106\ 642368039423761318157167611001767783/281155287154659794714357106096\ 1174984806933851422394515399728960008993771770647279917422142679942\ 5*c_0101_4^11 - 792433242060776923154818935822194274694620637592463\ 04213873976690702113789239358296168576610369583058274/2811552871546\ 5979471435710609611749848069338514223945153997289600089937717706472\ 799174221426799425*c_0101_4^10 - 1190132196822468075306267549148611\ 8676627095751049408095327427629485725525423064940220076930986491591\ 62/1222414291976781716149378722157032602089971239748867180608577808\ 699562509465498817355400931599975*c_0101_4^9 + 3051790947920541619773123352674289390936240012491422859006064589830\ 1856675061093404313085485283032435431/28115528715465979471435710609\ 6117498480693385142239451539972896000899377177064727991742214267994\ 25*c_0101_4^8 + 222190001926732468485214074633470248894620557794095\ 12402808302279626167041563280303336145230163706450016/2811552871546\ 5979471435710609611749848069338514223945153997289600089937717706472\ 799174221426799425*c_0101_4^7 + 17163156188897863004378492901681690\ 2468525535805342651543301185129348042274689046473761213281609946139\ 4/28115528715465979471435710609611749848069338514223945153997289600\ 089937717706472799174221426799425*c_0101_4^6 - 5620713904528436641334400638677498935166879397150202005501360395849\ 736906910874495138432615122722436932/281155287154659794714357106096\ 1174984806933851422394515399728960008993771770647279917422142679942\ 5*c_0101_4^5 - 3525397505733603325310678926895873669810251543267858\ 946806383215214155148180633286325864168174334179689/281155287154659\ 7947143571060961174984806933851422394515399728960008993771770647279\ 9174221426799425*c_0101_4^4 - 4632136525273152807715165853346639695\ 43290570877203955785650160859832597907292652673771995602827070972/2\ 8115528715465979471435710609611749848069338514223945153997289600089\ 937717706472799174221426799425*c_0101_4^3 + 3791911542429250606968313285309110265175303027468167105587892854487\ 6310385757819463645400252707140274/56231057430931958942871421219223\ 49969613867702844789030799457920017987543541294559834844285359885*c\ _0101_4^2 + 5841772290172489819287969241071388674353315939358494431\ 9511013973184052768347662756022465314487307933/28115528715465979471\ 4357106096117498480693385142239451539972896000899377177064727991742\ 21426799425*c_0101_4 + 70548994839845444792077989169945695520110810\ 49172486653619923074424803936508783546503940377580462683/2811552871\ 5465979471435710609611749848069338514223945153997289600089937717706\ 472799174221426799425, c_0011_0 - 1, c_0011_1 - 139507263452965756440457697913434539958466044676034269813590\ 34319250461099462583453410374140859/4889657167907126864597514888628\ 1304083598849589954687224343112347982500378619952694216037263999*c_\ 0101_4^32 - 4086865883790583002088416905115658734036499119846703330\ 99009054796210742589349255806659208408226/4889657167907126864597514\ 8886281304083598849589954687224343112347982500378619952694216037263\ 999*c_0101_4^31 - 1501409246711838964377206786996060201222922850219\ 354975246569788982763837258469527452091884042365/488965716790712686\ 4597514888628130408359884958995468722434311234798250037861995269421\ 6037263999*c_0101_4^30 + 437804277658130133960446772481807222199429\ 0846867538403867897955838611545515964788740698253309555/48896571679\ 0712686459751488862813040835988495899546872243431123479825003786199\ 52694216037263999*c_0101_4^29 + 19801708826914083234309608183777110\ 551499969191934432837584536965103118605337368134640601183951688/488\ 9657167907126864597514888628130408359884958995468722434311234798250\ 0378619952694216037263999*c_0101_4^28 - 3819160949610754504970432218093996171232707169951301615570657757304\ 9273060817106817045816743458844/48896571679071268645975148886281304\ 083598849589954687224343112347982500378619952694216037263999*c_0101\ _4^27 - 10722916088837123689642071360907057225881035806662066095212\ 5400784187982740180006943670197749795807/48896571679071268645975148\ 8862813040835988495899546872243431123479825003786199526942160372639\ 99*c_0101_4^26 + 27673330158916144283417198108055701183026650182262\ 4088690747655279039498508642753633614399949816556/48896571679071268\ 6459751488862813040835988495899546872243431123479825003786199526942\ 16037263999*c_0101_4^25 + 27729880507915870596897822064249028369781\ 3564098094020895132448833934690201202570097538482442186485/48896571\ 6790712686459751488862813040835988495899546872243431123479825003786\ 19952694216037263999*c_0101_4^24 - 1435683540333351116922837211238645553290747683677628991800943896778\ 142817525401111491180948255774862/488965716790712686459751488862813\ 04083598849589954687224343112347982500378619952694216037263999*c_01\ 01_4^23 + 173492388033268350027880785352295286469980877089195898399\ 914357020666646632857346532165009210304777/488965716790712686459751\ 4888628130408359884958995468722434311234798250037861995269421603726\ 3999*c_0101_4^22 + 463718232418004689858694429286600502139259129018\ 7140574974369598935827488900771740233775600162549415/48896571679071\ 2686459751488862813040835988495899546872243431123479825003786199526\ 94216037263999*c_0101_4^21 - 39962557852190341513795918713030717531\ 44463868099687110317937934855152456778905289229338782386374418/4889\ 6571679071268645975148886281304083598849589954687224343112347982500\ 378619952694216037263999*c_0101_4^20 - 6518865437290276048738340212358585492717207128448394875332206170722\ 896205653360964770014729315016159/488965716790712686459751488862813\ 04083598849589954687224343112347982500378619952694216037263999*c_01\ 01_4^19 + 901332860871960709330017536853502177888178715486766180322\ 5877043142647136755713672031012906072915127/48896571679071268645975\ 1488862813040835988495899546872243431123479825003786199526942160372\ 63999*c_0101_4^18 + 30098323051908229259748777267680658238536556108\ 92246980471084570479553824436346915567133768406117306/4889657167907\ 1268645975148886281304083598849589954687224343112347982500378619952\ 694216037263999*c_0101_4^17 - 7172272655013422686157769239440067109\ 975686057291678073953202929387906546357857648470920083437220778/488\ 9657167907126864597514888628130408359884958995468722434311234798250\ 0378619952694216037263999*c_0101_4^16 + 3592719709663487704355169110386316022188581484397460531199809192192\ 69578974103041998105402043542398/4889657167907126864597514888628130\ 4083598849589954687224343112347982500378619952694216037263999*c_010\ 1_4^15 + 1371437332081771096500692361520039087367322464556628561484\ 410063908701622305804430264270898714380907/488965716790712686459751\ 4888628130408359884958995468722434311234798250037861995269421603726\ 3999*c_0101_4^14 - 203368666375899673704687438104503831175590354187\ 642506333283006153164709363476634739583151324151556/488965716790712\ 6864597514888628130408359884958995468722434311234798250037861995269\ 4216037263999*c_0101_4^13 + 951626879401588461392867771435907112144\ 820025562494375342217989651764076185476397428444616895278109/488965\ 7167907126864597514888628130408359884958995468722434311234798250037\ 8619952694216037263999*c_0101_4^12 - 6852644670283823133525921270097761234006400758561955025615422890357\ 0198390476624419538941237499454/48896571679071268645975148886281304\ 083598849589954687224343112347982500378619952694216037263999*c_0101\ _4^11 - 76889801117739077248954707028309099628154687849698453412002\ 6575664723872181610589197630943905989842/48896571679071268645975148\ 8862813040835988495899546872243431123479825003786199526942160372639\ 99*c_0101_4^10 - 19730363426205174087729471908151418540309064266654\ 5585969418551031851381591083258102033860667588865/48896571679071268\ 6459751488862813040835988495899546872243431123479825003786199526942\ 16037263999*c_0101_4^9 + 306909939866084878548447612995682077973318\ 725098911411164215235821129547092235511177772008020044599/488965716\ 7907126864597514888628130408359884958995468722434311234798250037861\ 9952694216037263999*c_0101_4^8 + 1860912857948976411866828461440421\ 99463258342410642384071046083750052919453867063931264267784865301/4\ 8896571679071268645975148886281304083598849589954687224343112347982\ 500378619952694216037263999*c_0101_4^7 + 6930675223909207345257483967668018744181430065755982324350099138269\ 280102129222698902676851696065/488965716790712686459751488862813040\ 83598849589954687224343112347982500378619952694216037263999*c_0101_\ 4^6 - 5125868819516200421341628818180344284093492207451598516575774\ 9997400956104255798404395146393236669/48896571679071268645975148886\ 281304083598849589954687224343112347982500378619952694216037263999*\ c_0101_4^5 - 298305079850840219813238888714767023477623216952486787\ 80502652736312170376658849456302961338088438/4889657167907126864597\ 5148886281304083598849589954687224343112347982500378619952694216037\ 263999*c_0101_4^4 - 31055022776784996181253490114761329783408608357\ 12937795423973096928938502661704423434627123627014/4889657167907126\ 8645975148886281304083598849589954687224343112347982500378619952694\ 216037263999*c_0101_4^3 + 11682454015760492240370646815455324597743\ 63035190000901207267974848430051056778520783060442579668/4889657167\ 9071268645975148886281304083598849589954687224343112347982500378619\ 952694216037263999*c_0101_4^2 + 35062407310843486263784966930165344\ 6118082574079160049939878018390567676200469857877443730249519/48896\ 5716790712686459751488862813040835988495899546872243431123479825003\ 78619952694216037263999*c_0101_4 + 7914605725280929700183794124699652864588508117849697598085902810549\ 0431549226859293118251240737/48896571679071268645975148886281304083\ 598849589954687224343112347982500378619952694216037263999, c_0011_3 - 374492330426665873282440280103771868236264907153520534732323\ 93156829729987249797303584877147997/2444828583953563432298757444314\ 06520417994247949773436121715561739912501893099763471080186319995*c\ _0101_4^32 - 111056218235373114590493631877730207014513614903904678\ 0382256224829274895469524959995185900113569/24448285839535634322987\ 5744431406520417994247949773436121715561739912501893099763471080186\ 319995*c_0101_4^31 - 8844149098511158513242716814532118137918942647\ 37009616686686200341296406931621481337659781489054/4889657167907126\ 8645975148886281304083598849589954687224343112347982500378619952694\ 216037263999*c_0101_4^30 + 2079951468968625395916898229411008023441\ 554805663440041538813720732931986302653716289843894815277/488965716\ 7907126864597514888628130408359884958995468722434311234798250037861\ 9952694216037263999*c_0101_4^29 + 115475833894580349112917634515568\ 55270217407184289851358101290722812682503442962937094132787609983/4\ 8896571679071268645975148886281304083598849589954687224343112347982\ 500378619952694216037263999*c_0101_4^28 - 8449029903039190938995728110963049030445191210991837485942951325956\ 9077974397233236324997650840973/24448285839535634322987574443140652\ 0417994247949773436121715561739912501893099763471080186319995*c_010\ 1_4^27 - 3293825831177527082685340660332716226800122636995572741636\ 15957619854527260256194759394043448022682/2444828583953563432298757\ 4443140652041799424794977343612171556173991250189309976347108018631\ 9995*c_0101_4^26 + 649134567764276162588082047593692072407761627179\ 106723143711974173906690337248354325182009819892589/244482858395356\ 3432298757444314065204179942479497734361217155617399125018930997634\ 71080186319995*c_0101_4^25 + 20722231404256798259593099512046324210\ 5656583509549178831970332966192219862163712230646925294536679/48896\ 5716790712686459751488862813040835988495899546872243431123479825003\ 78619952694216037263999*c_0101_4^24 - 3656326782453647517070235570135656461277910392844615779547530928716\ 939127721001251273950733386065068/244482858395356343229875744431406\ 520417994247949773436121715561739912501893099763471080186319995*c_0\ 101_4^23 - 97699635124278612211441702977123282702733661084051844602\ 4146367891900300059336621917358789658854337/24448285839535634322987\ 5744431406520417994247949773436121715561739912501893099763471080186\ 319995*c_0101_4^22 + 1296903741006943700609236192930767631246109963\ 5230217480823848954678038148059000909357258408861108857/24448285839\ 5356343229875744431406520417994247949773436121715561739912501893099\ 763471080186319995*c_0101_4^21 - 6345783182212242830861035147469921\ 326064974762901976653213584346770246618330178183829902177828958887/\ 2444828583953563432298757444314065204179942479497734361217155617399\ 12501893099763471080186319995*c_0101_4^20 - 4490427539330136778088166066351109237784724195297162599770185786891\ 214709999087936003589190568465168/488965716790712686459751488862813\ 04083598849589954687224343112347982500378619952694216037263999*c_01\ 01_4^19 + 190303158784105440018260687937742774850756463818998687851\ 07208423335818920392352996264603127065707264/2444828583953563432298\ 7574443140652041799424794977343612171556173991250189309976347108018\ 6319995*c_0101_4^18 + 181323558719283748394359460732831402850180500\ 85948056820953807988231734426791161110435058338991261446/2444828583\ 9535634322987574443140652041799424794977343612171556173991250189309\ 9763471080186319995*c_0101_4^17 - 186779211136903190402727529409457\ 9496890244197280181758841268714737674631578193153648051386099571363\ 1/24448285839535634322987574443140652041799424794977343612171556173\ 9912501893099763471080186319995*c_0101_4^16 - 6256197935074210862068263986269314744458605437446711141080372354801\ 348955954867336057251229535852801/244482858395356343229875744431406\ 520417994247949773436121715561739912501893099763471080186319995*c_0\ 101_4^15 + 11368720230522947042650877855540913929568898513302322011\ 36056488170488120517153676642662932915491730/4889657167907126864597\ 5148886281304083598849589954687224343112347982500378619952694216037\ 263999*c_0101_4^14 + 4287990242028779242324867732535791651007535413\ 75431983712044913654753857750540735724364763691185682/2444828583953\ 5634322987574443140652041799424794977343612171556173991250189309976\ 3471080186319995*c_0101_4^13 + 216177685245165878546579389965215498\ 8943288047104198738570212086633902069761481452255800935589185943/24\ 4482858395356343229875744431406520417994247949773436121715561739912\ 501893099763471080186319995*c_0101_4^12 + 7764452125654343011504670166938637670300290486707029970825871359896\ 96588250818914858934677562223674/2444828583953563432298757444314065\ 20417994247949773436121715561739912501893099763471080186319995*c_01\ 01_4^11 - 236390234982829858865826855258918257443645052441065913088\ 8711345361241989726504133799748075061461862/24448285839535634322987\ 5744431406520417994247949773436121715561739912501893099763471080186\ 319995*c_0101_4^10 - 1206601394199378198024028434878139442886849037\ 759708524786956147306824137291726666681775793122389178/244482858395\ 3563432298757444314065204179942479497734361217155617399125018930997\ 63471080186319995*c_0101_4^9 + 792530028539601691439154913297199641\ 128489328476442321704475623413394880678721792779315544045266038/244\ 4828583953563432298757444314065204179942479497734361217155617399125\ 01893099763471080186319995*c_0101_4^8 + 8213720175185310542494750345025923649757611698987867161533845207422\ 43408309401862703736282124174318/2444828583953563432298757444314065\ 20417994247949773436121715561739912501893099763471080186319995*c_01\ 01_4^7 + 1264482585598873155511593784180800612696702729798458634920\ 64949385715652079644695979081130809617112/2444828583953563432298757\ 4443140652041799424794977343612171556173991250189309976347108018631\ 9995*c_0101_4^6 - 1645427341112953497064838435451611803874394321936\ 09630606998164208182106076651485112761399865399371/2444828583953563\ 4322987574443140652041799424794977343612171556173991250189309976347\ 1080186319995*c_0101_4^5 - 1282201022245947977055099584545072794342\ 31267509566100810844077267434618727844791936817547055623027/2444828\ 5839535634322987574443140652041799424794977343612171556173991250189\ 3099763471080186319995*c_0101_4^4 - 2502992482626371072368828666789040543425047231227232480140294759972\ 5109769163566675025921740820906/24448285839535634322987574443140652\ 0417994247949773436121715561739912501893099763471080186319995*c_010\ 1_4^3 + 10448428671118405661228023649662408332570136196681926768864\ 76774350345126240812910031830311143541/4889657167907126864597514888\ 6281304083598849589954687224343112347982500378619952694216037263999\ *c_0101_4^2 + 18358544622722713631300979089746607531494578340104461\ 88170156019252297513419944885088903635600274/2444828583953563432298\ 7574443140652041799424794977343612171556173991250189309976347108018\ 6319995*c_0101_4 + 207376873021073281997046822663755030434823693569\ 598883749025325028613309324062750772857529272184/244482858395356343\ 2298757444314065204179942479497734361217155617399125018930997634710\ 80186319995, c_0011_5 + 463324469945017014228898555203074348611611647472002892060086\ 64492446236327216174807932752158303/2444828583953563432298757444314\ 06520417994247949773436121715561739912501893099763471080186319995*c\ _0101_4^32 + 135670256893446529133490648964386837773945132735393378\ 2226884931210609246151412464990112371870211/24448285839535634322987\ 5744431406520417994247949773436121715561739912501893099763471080186\ 319995*c_0101_4^31 + 9935561425356229738600502309453460685128615001\ 80093636050004734764553330225449518540243380189402/4889657167907126\ 8645975148886281304083598849589954687224343112347982500378619952694\ 216037263999*c_0101_4^30 - 2926022612419759227993971514803801911590\ 372828942534061292014197125366957497689082134241682872956/488965716\ 7907126864597514888628130408359884958995468722434311234798250037861\ 9952694216037263999*c_0101_4^29 - 131317137699764037254206844449114\ 30492151897046707363313334102004966467894737554628129595139636349/4\ 8896571679071268645975148886281304083598849589954687224343112347982\ 500378619952694216037263999*c_0101_4^28 + 1279842909064361019774579708141557202091093413646338243065338965885\ 15653246864751521302422824163592/2444828583953563432298757444314065\ 20417994247949773436121715561739912501893099763471080186319995*c_01\ 01_4^27 + 355548719673977038966734339461501300854365087704207620107\ 096452775491586128840687552147946322315108/244482858395356343229875\ 7444314065204179942479497734361217155617399125018930997634710801863\ 19995*c_0101_4^26 - 92630787053671545030526348055189329484043098141\ 1254168802738758759003820789765179901197790874969791/24448285839535\ 6343229875744431406520417994247949773436121715561739912501893099763\ 471080186319995*c_0101_4^25 - 1828436875713911037796424672102814969\ 23824624229755891749312878972239570347026960030526391051116873/4889\ 6571679071268645975148886281304083598849589954687224343112347982500\ 378619952694216037263999*c_0101_4^24 + 4797946487590099802958793696562831951285392954834104805447430342111\ 662125042680164133626648852671722/244482858395356343229875744431406\ 520417994247949773436121715561739912501893099763471080186319995*c_0\ 101_4^23 - 62956388693254245293591505544871568763004123108316141116\ 3223541146408833332487322394203102924874512/24448285839535634322987\ 5744431406520417994247949773436121715561739912501893099763471080186\ 319995*c_0101_4^22 - 1547808171467746289832732419990127242639039769\ 3971188651071021424162918529693821349676948107255516538/24448285839\ 5356343229875744431406520417994247949773436121715561739912501893099\ 763471080186319995*c_0101_4^21 + 1351698973721940410239252593205715\ 0680156760372618001657372431562585080848368383099381675112440330018\ /244482858395356343229875744431406520417994247949773436121715561739\ 912501893099763471080186319995*c_0101_4^20 + 4343316254280983393539227923919927315906350190649722344420566379366\ 198290906557560863705636054143223/488965716790712686459751488862813\ 04083598849589954687224343112347982500378619952694216037263999*c_01\ 01_4^19 - 305355904677784915286375151609741196844083855442280980714\ 43459392972818629528796691063130596632699356/2444828583953563432298\ 7574443140652041799424794977343612171556173991250189309976347108018\ 6319995*c_0101_4^18 - 980811290798478199483339266927972513939769883\ 3927880524584346139011674317887232142982022631505841309/24448285839\ 5356343229875744431406520417994247949773436121715561739912501893099\ 763471080186319995*c_0101_4^17 + 2449224368680764255950170448868237\ 4902277320248119246162937474529969118294710613483934226080484112339\ /244482858395356343229875744431406520417994247949773436121715561739\ 912501893099763471080186319995*c_0101_4^16 - 1623029130151720893462962936670018274091615885632139656948177085473\ 261995177212240866094667609589126/244482858395356343229875744431406\ 520417994247949773436121715561739912501893099763471080186319995*c_0\ 101_4^15 - 95503452133637659060420753664530721558464693614297300743\ 2634246670094010191254831486150072737693223/48896571679071268645975\ 1488862813040835988495899546872243431123479825003786199526942160372\ 63999*c_0101_4^14 + 88684741125748497199202195336802632301358507344\ 6015407405938466764857270535583160915397796011411777/24448285839535\ 6343229875744431406520417994247949773436121715561739912501893099763\ 471080186319995*c_0101_4^13 - 3259860743452431199044586615266601305\ 640422579367080183494228201113407404534513135949477287385836397/244\ 4828583953563432298757444314065204179942479497734361217155617399125\ 01893099763471080186319995*c_0101_4^12 + 3055068259259928979779049976673519677985268707553818132125787332556\ 48138174898063055813184244057334/2444828583953563432298757444314065\ 20417994247949773436121715561739912501893099763471080186319995*c_01\ 01_4^11 + 261671972508728155130340577581069111253363222810292163436\ 1598361788332319736199412242838058180261793/24448285839535634322987\ 5744431406520417994247949773436121715561739912501893099763471080186\ 319995*c_0101_4^10 + 5806139961001582696084278837066057660585206012\ 96113102823385560044950190282618324639134602391612172/2444828583953\ 5634322987574443140652041799424794977343612171556173991250189309976\ 3471080186319995*c_0101_4^9 - 1042834728955000618203852707269480917\ 148749570003840323317620427945684807579149988843663575020906507/244\ 4828583953563432298757444314065204179942479497734361217155617399125\ 01893099763471080186319995*c_0101_4^8 - 6099367893315412779084370142615664288658220365227139400974017484137\ 40598498862560004382905965920587/2444828583953563432298757444314065\ 20417994247949773436121715561739912501893099763471080186319995*c_01\ 01_4^7 - 6807083905711596323238172813464163591484442624000547206674\ 267202784576006857194494008864808812678/244482858395356343229875744\ 4314065204179942479497734361217155617399125018930997634710801863199\ 95*c_0101_4^6 + 176609342364772857618455049370701414246374500723171\ 532217492143040962228604463153220915199766372624/244482858395356343\ 2298757444314065204179942479497734361217155617399125018930997634710\ 80186319995*c_0101_4^5 + 987868931958795052541176579323347864927618\ 45727350666296383892502810407360690837825756694411643708/2444828583\ 9535634322987574443140652041799424794977343612171556173991250189309\ 9763471080186319995*c_0101_4^4 + 6793161414960139336639657237049861\ 135293196982996513414805456927876854291245025577727465941243169/244\ 4828583953563432298757444314065204179942479497734361217155617399125\ 01893099763471080186319995*c_0101_4^3 - 9459544627657486311190378877011081671292908222210306211048427206228\ 71856734704022687356630064387/4889657167907126864597514888628130408\ 3598849589954687224343112347982500378619952694216037263999*c_0101_4\ ^2 - 10234131747191809694914523077627708952187463168420323721894897\ 16358089031549337127650722198817071/2444828583953563432298757444314\ 06520417994247949773436121715561739912501893099763471080186319995*c\ _0101_4 - 188844178676383841231019113010076128748460857683481279201\ 675141181706125151807523121805357881426/244482858395356343229875744\ 4314065204179942479497734361217155617399125018930997634710801863199\ 95, c_0101_0 + 375783138061205955865173124817657220831762927229448181141929\ 7796723591107909220554093971749933/48896571679071268645975148886281\ 304083598849589954687224343112347982500378619952694216037263999*c_0\ 101_4^32 + 11239834273991462117202846528958854158788108975944783584\ 6477585541367477077748447103781988761531/48896571679071268645975148\ 8862813040835988495899546872243431123479825003786199526942160372639\ 99*c_0101_4^31 + 47164387349327729544390789437962462310122924825483\ 0999749211435828239412319883326621366484607881/48896571679071268645\ 9751488862813040835988495899546872243431123479825003786199526942160\ 37263999*c_0101_4^30 - 94588385998986335325905923293645252743854595\ 3152098450688385061243608608525168704540885747269903/48896571679071\ 2686459751488862813040835988495899546872243431123479825003786199526\ 94216037263999*c_0101_4^29 - 61141572436135837187644814634781061693\ 21012541572690988324836506732518832188674267226499078533906/4889657\ 1679071268645975148886281304083598849589954687224343112347982500378\ 619952694216037263999*c_0101_4^28 + 7181705097853547646678106775970928398827158548273916574894874201969\ 326067002177521299135133918948/488965716790712686459751488862813040\ 83598849589954687224343112347982500378619952694216037263999*c_0101_\ 4^27 + 359402535078009559860637213110686515505023936401440102142905\ 93235078330827457301733842793449757719/4889657167907126864597514888\ 6281304083598849589954687224343112347982500378619952694216037263999\ *c_0101_4^26 - 5835354624519185844495794255613849489924684756225216\ 0546641240162261915079605837462236321814305849/48896571679071268645\ 9751488862813040835988495899546872243431123479825003786199526942160\ 37263999*c_0101_4^25 - 12439837392567338192260619003608604233910088\ 8617870822466923803325501213107625411357762384646420375/48896571679\ 0712686459751488862813040835988495899546872243431123479825003786199\ 52694216037263999*c_0101_4^24 + 35200937671391282245416777661006021\ 9418608094470216508703267621954946233093930727345143354978151025/48\ 8965716790712686459751488862813040835988495899546872243431123479825\ 00378619952694216037263999*c_0101_4^23 + 1999678721097790856307664351102724856588401956833791619565032445627\ 67532741260436687059203712263265/4889657167907126864597514888628130\ 4083598849589954687224343112347982500378619952694216037263999*c_010\ 1_4^22 - 1334362398875557349208365732497037018119166937283074645378\ 888587305997623342834829965389768851896215/488965716790712686459751\ 4888628130408359884958995468722434311234798250037861995269421603726\ 3999*c_0101_4^21 + 323970474026050456382309350428958543511587474949\ 013657175809219565977708070970798365071236721402416/488965716790712\ 6864597514888628130408359884958995468722434311234798250037861995269\ 4216037263999*c_0101_4^20 + 259366678709393450595852283561377566754\ 3665984638594943583908034804096654927390644039403353231535396/48896\ 5716790712686459751488862813040835988495899546872243431123479825003\ 78619952694216037263999*c_0101_4^19 - 1530349365205083672056193840529333624727540370090435702808344007517\ 619425403036385148709137297158149/488965716790712686459751488862813\ 04083598849589954687224343112347982500378619952694216037263999*c_01\ 01_4^18 - 252554572848302617227556907325119865400579790207594119747\ 3195117077530225036402726120318809381498082/48896571679071268645975\ 1488862813040835988495899546872243431123479825003786199526942160372\ 63999*c_0101_4^17 + 18185454106167046951882138296226244381044412977\ 14330470006421839311232537938877434450843685342698585/4889657167907\ 1268645975148886281304083598849589954687224343112347982500378619952\ 694216037263999*c_0101_4^16 + 1145254260169618265298471668548755994\ 829954716559667643893422385903230193848241871605488876848072426/488\ 9657167907126864597514888628130408359884958995468722434311234798250\ 0378619952694216037263999*c_0101_4^15 - 7182474945079571263724878279017374645655937956348760196456223709170\ 64608289568808670922089301567076/4889657167907126864597514888628130\ 4083598849589954687224343112347982500378619952694216037263999*c_010\ 1_4^14 - 1119456482059588374310735425171066380718497746737619507671\ 60362816121679663859354811365753121640939/4889657167907126864597514\ 8886281304083598849589954687224343112347982500378619952694216037263\ 999*c_0101_4^13 - 1769924911352586916794274285470315048234088258380\ 66298754379399928241559826742093257752230185311276/4889657167907126\ 8645975148886281304083598849589954687224343112347982500378619952694\ 216037263999*c_0101_4^12 - 1525699970581981523478593045905440346511\ 51437338554599287616975406834319782614165425804269854969837/4889657\ 1679071268645975148886281304083598849589954687224343112347982500378\ 619952694216037263999*c_0101_4^11 + 2567110638420204013984140798846340167234109933657560844270341006059\ 11706644662349311950140821996152/4889657167907126864597514888628130\ 4083598849589954687224343112347982500378619952694216037263999*c_010\ 1_4^10 + 1694545074275550686892815960189268730001949073745958960713\ 42068382736063325824621297547301904420640/4889657167907126864597514\ 8886281304083598849589954687224343112347982500378619952694216037263\ 999*c_0101_4^9 - 77534871892485099624073841550129829407493891904414\ 625545353892013850195205999300011966244320247092/488965716790712686\ 4597514888628130408359884958995468722434311234798250037861995269421\ 6037263999*c_0101_4^8 - 1036949220220354312006011261727887350737116\ 79069829811282693396463224346630455671856545663346756335/4889657167\ 9071268645975148886281304083598849589954687224343112347982500378619\ 952694216037263999*c_0101_4^7 - 20262664536648907514182066815480049\ 918276109435567288795562897697949548622119085899382643934276608/488\ 9657167907126864597514888628130408359884958995468722434311234798250\ 0378619952694216037263999*c_0101_4^6 + 1832873004048361455903138283090040420380061241395842867500039886364\ 7978926628946917830724982666682/48896571679071268645975148886281304\ 083598849589954687224343112347982500378619952694216037263999*c_0101\ _4^5 + 156433413583305822862827299537289598192562049156351812573084\ 36005736297440951414282322764768582104/4889657167907126864597514888\ 6281304083598849589954687224343112347982500378619952694216037263999\ *c_0101_4^4 + 36607559863518059949450321776198598542405831033112284\ 55191700831821484018852874336376093507555957/4889657167907126864597\ 5148886281304083598849589954687224343112347982500378619952694216037\ 263999*c_0101_4^3 - 63916445840190538277984655657143682456330138313\ 2764752954866314942234421171216656976829198493529/48896571679071268\ 6459751488862813040835988495899546872243431123479825003786199526942\ 16037263999*c_0101_4^2 - 202178034194480617441336834389257163408431\ 527857978020795853842057499265877934205314745622155424/488965716790\ 7126864597514888628130408359884958995468722434311234798250037861995\ 2694216037263999*c_0101_4 - 149660553712720285543365224914269549313\ 82643520906366235913921960128270893295657724169325255598/4889657167\ 9071268645975148886281304083598849589954687224343112347982500378619\ 952694216037263999, c_0101_1 + 132469105263480418003979138467950511768216658289233549882288\ 52315163224635707080228722919236681/4889657167907126864597514888628\ 1304083598849589954687224343112347982500378619952694216037263999*c_\ 0101_4^32 + 3885191666154497461644316682989734692114914916339057901\ 20325044505950140682080783230588139525578/4889657167907126864597514\ 8886281304083598849589954687224343112347982500378619952694216037263\ 999*c_0101_4^31 + 1438519256689322481411015685362821337485852517996\ 586960640107944668983247266658417972601194368228/488965716790712686\ 4597514888628130408359884958995468722434311234798250037861995269421\ 6037263999*c_0101_4^30 - 411883476805258875173674902965233966214961\ 0747618132236811471765904944347654212310152779661973058/48896571679\ 0712686459751488862813040835988495899546872243431123479825003786199\ 52694216037263999*c_0101_4^29 - 18978593116419749624413577318321584\ 150420703533774704902756430252627664282517539833221936389741916/488\ 9657167907126864597514888628130408359884958995468722434311234798250\ 0378619952694216037263999*c_0101_4^28 + 3574790130344317910914205359931522096553411225721745663295983175447\ 3741886582740919642797758292633/48896571679071268645975148886281304\ 083598849589954687224343112347982500378619952694216037263999*c_0101\ _4^27 + 10351539653189306679910006568149460106103707168225466236943\ 5514889127294278183970065206550741028272/48896571679071268645975148\ 8862813040835988495899546872243431123479825003786199526942160372639\ 99*c_0101_4^26 - 26043548720088420561106299438529353838793561636747\ 7148384408445414666672682591248938416234018643204/48896571679071268\ 6459751488862813040835988495899546872243431123479825003786199526942\ 16037263999*c_0101_4^25 - 27462399625918472294584440011289205404419\ 9514180217747948520310078878352935825006911987097227624088/48896571\ 6790712686459751488862813040835988495899546872243431123479825003786\ 19952694216037263999*c_0101_4^24 + 1362155552484561184840589003242245888967921342039351901177641686950\ 066494032654140741611762639338641/488965716790712686459751488862813\ 04083598849589954687224343112347982500378619952694216037263999*c_01\ 01_4^23 - 113747563327815685484100578780018659766523129268126527107\ 111295223281121986511590719199237352860447/488965716790712686459751\ 4888628130408359884958995468722434311234798250037861995269421603726\ 3999*c_0101_4^22 - 444722475767280782592985721160808828862136765092\ 6026528677435167222942176301802649067254445362120300/48896571679071\ 2686459751488862813040835988495899546872243431123479825003786199526\ 94216037263999*c_0101_4^21 + 36614564445756704711279942748949131429\ 65774355581440297472420066516438708738917753528897648163583726/4889\ 6571679071268645975148886281304083598849589954687224343112347982500\ 378619952694216037263999*c_0101_4^20 + 6433711946610658394825822866813169738365480322095917958713671102361\ 864979779346235511914704909134836/488965716790712686459751488862813\ 04083598849589954687224343112347982500378619952694216037263999*c_01\ 01_4^19 - 848773677779094440288163140277052125297824857247697878403\ 9462651552225149118263452601430183280948341/48896571679071268645975\ 1488862813040835988495899546872243431123479825003786199526942160372\ 63999*c_0101_4^18 - 32768327091215963141246347540652694850992065224\ 86023235042537080248077485414079547455021945810227590/4889657167907\ 1268645975148886281304083598849589954687224343112347982500378619952\ 694216037263999*c_0101_4^17 + 6992418244141153250465718421069246003\ 178320767354041949694971181717817834482729641285643594374514389/488\ 9657167907126864597514888628130408359884958995468722434311234798250\ 0378619952694216037263999*c_0101_4^16 - 1144066084617383141891596086955776361241162669749093166057881917664\ 03272506371801747128529506207063/4889657167907126864597514888628130\ 4083598849589954687224343112347982500378619952694216037263999*c_010\ 1_4^15 - 1511829757620485933384723803930617614840063881819471256421\ 449279141529884351451632404456462808352100/488965716790712686459751\ 4888628130408359884958995468722434311234798250037861995269421603726\ 3999*c_0101_4^14 + 221112942275032542217146604801061422780007119190\ 591427079043598641026798316150053376140505152370824/488965716790712\ 6864597514888628130408359884958995468722434311234798250037861995269\ 4216037263999*c_0101_4^13 - 874794170785261733610483280799966883368\ 686198300546108556814015424406318053820631386110225818664568/488965\ 7167907126864597514888628130408359884958995468722434311234798250037\ 8619952694216037263999*c_0101_4^12 + 1828680923498771934169771106885560072999325047116384586476445658779\ 5132645046073805134780463964495/48896571679071268645975148886281304\ 083598849589954687224343112347982500378619952694216037263999*c_0101\ _4^11 + 76257399012652729906821999989493843142688415436364284954614\ 0660521475990631823246637702631896675958/48896571679071268645975148\ 8862813040835988495899546872243431123479825003786199526942160372639\ 99*c_0101_4^10 + 20123642727295427495971994460030920750906143472487\ 8463037890874052314124938885009513902253149800879/48896571679071268\ 6459751488862813040835988495899546872243431123479825003786199526942\ 16037263999*c_0101_4^9 - 304268001726266102022496148270208144909070\ 813253270447989441707669517399685457865414879678496838380/488965716\ 7907126864597514888628130408359884958995468722434311234798250037861\ 9952694216037263999*c_0101_4^8 - 1847647714287698943735618108622706\ 03267684320365338978289158697501129454716874507469710523017875939/4\ 8896571679071268645975148886281304083598849589954687224343112347982\ 500378619952694216037263999*c_0101_4^7 - 3853685469261075360123694979007499418162399113073934868849030966589\ 860424070958124161140659829389/488965716790712686459751488862813040\ 83598849589954687224343112347982500378619952694216037263999*c_0101_\ 4^6 + 5038350657051923796385476736383351088326865092318246631541110\ 4947931154373936534334213858196379905/48896571679071268645975148886\ 281304083598849589954687224343112347982500378619952694216037263999*\ c_0101_4^5 + 291177490567913530941937840917485686379300096035527754\ 93344673474593281289990955874467301366856023/4889657167907126864597\ 5148886281304083598849589954687224343112347982500378619952694216037\ 263999*c_0101_4^4 + 28133736002503506110889523905999377409024314070\ 63457359886019440270417922220246118612452146927570/4889657167907126\ 8645975148886281304083598849589954687224343112347982500378619952694\ 216037263999*c_0101_4^3 - 14317908386694084597051109717766941028450\ 69399006322374238477275634031848340254738722659446802300/4889657167\ 9071268645975148886281304083598849589954687224343112347982500378619\ 952694216037263999*c_0101_4^2 - 32573367310439861629446860965650489\ 7110447033591189573577034079160793468507624889304302694239805/48896\ 5716790712686459751488862813040835988495899546872243431123479825003\ 78619952694216037263999*c_0101_4 - 4839407173035602871790916474958436031253604256544381441897004884240\ 5272295631434154184023950531/48896571679071268645975148886281304083\ 598849589954687224343112347982500378619952694216037263999, c_0101_4^33 + 29*c_0101_4^32 + 99*c_0101_4^31 - 345*c_0101_4^30 - 1325*c_0101_4^29 + 3149*c_0101_4^28 + 6854*c_0101_4^27 - 22035*c_0101_4^26 - 13904*c_0101_4^25 + 108304*c_0101_4^24 - 42966*c_0101_4^23 - 326509*c_0101_4^22 + 383139*c_0101_4^21 + 376487*c_0101_4^20 - 774742*c_0101_4^19 - 19507*c_0101_4^18 + 560522*c_0101_4^17 - 174001*c_0101_4^16 - 79469*c_0101_4^15 + 37164*c_0101_4^14 - 73111*c_0101_4^13 + 26435*c_0101_4^12 + 51842*c_0101_4^11 - 1344*c_0101_4^10 - 25226*c_0101_4^9 - 7112*c_0101_4^8 + 2981*c_0101_4^7 + 3806*c_0101_4^6 + 1122*c_0101_4^5 - 360*c_0101_4^4 - 139*c_0101_4^3 - 7*c_0101_4^2 + 4*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB