Magma V2.19-8 Tue Aug 20 2013 23:48:04 on localhost [Seed = 2345525709] Type ? for help. Type -D to quit. Loading file "K10n8__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10n8 geometric_solution 11.84304475 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -6 0 6 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.230344359349 1.257746952800 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 6 0 -6 0 -1 1 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.711873410638 1.379946111939 8 0 3 9 0132 0132 0213 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 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.172579871147 0.438191127212 9 2 10 0 1230 0213 0132 0132 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 0 6 -6 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.567243919868 0.386245768235 6 10 0 9 0132 0132 0132 1230 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.461218779601 1.042103745639 8 1 7 11 1023 0132 0213 0132 0 0 0 0 0 0 0 0 1 0 -1 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 0 1 5 0 -5 0 1 5 0 -6 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.292349822145 0.783634599680 4 12 1 7 0132 0132 0132 3120 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -5 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.615835196912 0.839896968938 6 5 12 1 3120 0213 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 0 -1 6 0 5 0 -5 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.340284000755 0.286313677740 2 5 10 9 0132 1023 1023 2103 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 -5 0 5 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.230344359349 1.257746952800 4 3 2 8 3012 3012 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 1 0 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.286189818166 1.147957006779 11 4 8 3 0132 0132 1023 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.461218779601 1.042103745639 10 12 5 12 0132 1023 0132 1302 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -6 0 0 6 0 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.045025197568 0.858664367323 11 6 11 7 1023 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.045025197568 0.858664367323 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_12'], 'c_1001_10' : d['c_0101_8'], 'c_1001_12' : negation(d['c_0011_7']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_5'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0101_12'], 'c_1001_0' : negation(d['c_0011_3']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_3']), 'c_1001_8' : d['c_0011_7'], 'c_1010_12' : d['c_1001_5'], 'c_1010_11' : d['c_0101_7'], 'c_1010_10' : d['c_1001_2'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_7'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_3']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_0101_12'], 'c_1100_4' : d['c_0110_9'], 'c_1100_7' : negation(d['c_0101_7']), 'c_1100_6' : negation(d['c_0101_7']), 'c_1100_1' : negation(d['c_0101_7']), 'c_1100_0' : d['c_0110_9'], 'c_1100_3' : d['c_0110_9'], 'c_1100_2' : negation(d['c_0011_3']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_12'], 'c_1100_10' : d['c_0110_9'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_12'], 'c_1010_6' : negation(d['c_0011_7']), 'c_1010_5' : d['c_0101_12'], 'c_1010_4' : d['c_0101_8'], 'c_1010_3' : negation(d['c_0011_3']), 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : d['c_0101_11'], 'c_1100_8' : negation(d['c_0110_9']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_7']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_7'], 'c_0110_10' : d['c_0101_11'], 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_9'], 'c_0101_5' : d['c_0011_7'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_9'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0011_3'], 'c_0110_1' : d['c_0011_9'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_9'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0011_9'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_7, c_0011_9, c_0101_1, c_0101_11, c_0101_12, c_0101_7, c_0101_8, c_0110_9, c_1001_2, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 5484249713306996827432844362045782391695175950784909563188828824208\ 576/264220662312120358671778472372486608527742875532950910258184945\ 1481*c_1001_5^23 - 344934867832501342347753748640511165916068085015\ 39866154456155600641264/2642206623121203586717784723724866085277428\ 755329509102581849451481*c_1001_5^22 + 5454762349075680636688881855860191788739133450139323382161839457630\ 5768/26422066231212035867177847237248660852774287553295091025818494\ 51481*c_1001_5^21 + 34642309031330662761316390268061476584808177631\ 8276429315210429808070261/26422066231212035867177847237248660852774\ 28755329509102581849451481*c_1001_5^20 + 1692952164993794639019138236139258459082603185432021896972273374624\ 732322/264220662312120358671778472372486608527742875532950910258184\ 9451481*c_1001_5^19 + 245335879332946315990023589647939596207638901\ 0464906380382030139090954835/26422066231212035867177847237248660852\ 77428755329509102581849451481*c_1001_5^18 - 2409450223079373217164888715602248840162840195636863613937882263093\ 7470182/26422066231212035867177847237248660852774287553295091025818\ 49451481*c_1001_5^17 - 62600319616444882980783995063843683833598177\ 52378522076734781261737596726/2642206623121203586717784723724866085\ 277428755329509102581849451481*c_1001_5^16 + 7283474936447228035360086362375359567739352773520297165880167039989\ 0711789/26422066231212035867177847237248660852774287553295091025818\ 49451481*c_1001_5^15 + 74889757041802872818285061574312459756693296\ 684823718357222746862389785191/264220662312120358671778472372486608\ 5277428755329509102581849451481*c_1001_5^14 - 1468442073321989435562397666163856473779338645125719616797956754265\ 4204255/26422066231212035867177847237248660852774287553295091025818\ 49451481*c_1001_5^13 - 37581807368239988127743913296464038932918449\ 912404762591898484261190145832/264220662312120358671778472372486608\ 5277428755329509102581849451481*c_1001_5^12 + 9012012418555793043224408871574537107622970903146930510559767614158\ 8719/21836418372902508981138716724998893266755609548177761178362392\ 161*c_1001_5^11 + 1861995863471273834560450831480896287618946501428\ 7187789189020735085664899/26422066231212035867177847237248660852774\ 28755329509102581849451481*c_1001_5^10 - 3402699613279872114481758917010022696727401628620118619813906888003\ 181901/264220662312120358671778472372486608527742875532950910258184\ 9451481*c_1001_5^9 - 3698701621078325735873077487808790392547512689\ 690865541409610973684444311/264220662312120358671778472372486608527\ 7428755329509102581849451481*c_1001_5^8 + 1516515376874163552397277230279040558366588186472983302277331971358\ 286538/264220662312120358671778472372486608527742875532950910258184\ 9451481*c_1001_5^7 + 1113737754746557823488778787407139854491354993\ 57201486962392484285068020/2642206623121203586717784723724866085277\ 428755329509102581849451481*c_1001_5^6 - 5050644556434190959441991851468899265467194981343538104370200043366\ 5618/26422066231212035867177847237248660852774287553295091025818494\ 51481*c_1001_5^5 + 143979773099789660131946200536359849865025947800\ 58237150933888147934391/2402006021019275987925258839749878259343117\ 05029955372961986313771*c_1001_5^4 - 5712915570568560417178363971510801468869731597686299008996403498288\ 4575/26422066231212035867177847237248660852774287553295091025818494\ 51481*c_1001_5^3 - 104623435361799957567667425816916997235377056492\ 73871206620520467034971/2642206623121203586717784723724866085277428\ 755329509102581849451481*c_1001_5^2 + 6484528785667968029738268112215830701895480357109733593986679163279\ 7/21836418372902508981138716724998893266755609548177761178362392161\ *c_1001_5 + 1311684112449588705608001723435026570267626375773645791\ 310306927493643/264220662312120358671778472372486608527742875532950\ 9102581849451481, c_0011_0 - 1, c_0011_10 - 60683246731201283258008225903690532221001511473869953485988\ 006592/247166194866342711573225886223093179165334775989664088174167\ 3949*c_1001_5^23 - 705832419993940861086792737031018668275179057674\ 809474602920832048/247166194866342711573225886223093179165334775989\ 6640881741673949*c_1001_5^22 - 269406776330257641953342066981828479\ 8695243701136291181092664400584/24716619486634271157322588622309317\ 91653347759896640881741673949*c_1001_5^21 - 5688602202405045621844910266681245878530320661274571829484825032907\ /2471661948663427115732258862230931791653347759896640881741673949*c\ _1001_5^20 + 283915606466009031823762025614962085111998108402222707\ 9007969861651/24716619486634271157322588622309317916533477598966408\ 81741673949*c_1001_5^19 + 67226072345266237769017638136754478851047\ 232540388162498367436918622/247166194866342711573225886223093179165\ 3347759896640881741673949*c_1001_5^18 + 3680896349215926783481166933953754472518826314511848513302766530708\ 6/2471661948663427115732258862230931791653347759896640881741673949*\ c_1001_5^17 - 32301998371528019042730188023239140189456060794239160\ 1369062237352350/24716619486634271157322588622309317916533477598966\ 40881741673949*c_1001_5^16 - 60596008086804994240175871451105904182\ 3651796215249050769666734963865/24716619486634271157322588622309317\ 91653347759896640881741673949*c_1001_5^15 - 3001388872813534537393877714376395544498067742967142255883385374950\ 91/2471661948663427115732258862230931791653347759896640881741673949\ *c_1001_5^14 + 1527773445461919286138133844393550260585277618138105\ 87748191641737526/2471661948663427115732258862230931791653347759896\ 640881741673949*c_1001_5^13 + 1352007979347191666953518819652428315\ 97924685608979891025029828065717/2471661948663427115732258862230931\ 791653347759896640881741673949*c_1001_5^12 - 6970505197737003290956916583105622107641508355131339224991041938277\ /224696540787584283248387169293721071968486159990603716521970359*c_\ 1001_5^11 - 7137499134050135968175596718604844751405038750747763378\ 1230224291965/24716619486634271157322588622309317916533477598966408\ 81741673949*c_1001_5^10 + 12955586698790090193531992865940022059025\ 786239665232745700840064715/247166194866342711573225886223093179165\ 3347759896640881741673949*c_1001_5^9 + 1321267097333449676604071422515951845774983656733652492525577452513\ 1/2471661948663427115732258862230931791653347759896640881741673949*\ c_1001_5^8 - 326863125165329248686328647064907649037764789754136368\ 4597530785396/24716619486634271157322588622309317916533477598966408\ 81741673949*c_1001_5^7 - 122674758634182165038345133151301679391358\ 0501041830092073668048112/24716619486634271157322588622309317916533\ 47759896640881741673949*c_1001_5^6 - 354428677317648585328914645231716239361736643702619078747359104383/\ 2471661948663427115732258862230931791653347759896640881741673949*c_\ 1001_5^5 - 37037833561638517608693260563563427909257247336110831774\ 38715665/2042695825341675302258065175397464290622601454460033786563\ 3669*c_1001_5^4 + 1306665276420051668957654691760135630252549231714\ 38579456725564862/2471661948663427115732258862230931791653347759896\ 640881741673949*c_1001_5^3 + 77475791955170387466167437793320089679\ 524759070282642603325180976/247166194866342711573225886223093179165\ 3347759896640881741673949*c_1001_5^2 - 2523997765051357580579319828168515346997345277768114871551586213/22\ 4696540787584283248387169293721071968486159990603716521970359*c_100\ 1_5 - 1029475687000836969601039474506203595559007456086961629407935\ 8230/24716619486634271157322588622309317916533477598966408817416739\ 49, c_0011_3 + 230848988639714089709587853406464062590743259850934423161441\ 523968/247166194866342711573225886223093179165334775989664088174167\ 3949*c_1001_5^23 + 259634605857471641634468677748959952226232614489\ 0923007672216726464/24716619486634271157322588622309317916533477598\ 96640881741673949*c_1001_5^22 + 93365345305740780885807686828246256\ 78651360665860960798033085249984/2471661948663427115732258862230931\ 791653347759896640881741673949*c_1001_5^21 + 1892512364376523385157922684944262830107253989549124395933532475720\ 4/2471661948663427115732258862230931791653347759896640881741673949*\ c_1001_5^20 - 15562579986181070940987021421849114417765004013300429\ 281484228030038/247166194866342711573225886223093179165334775989664\ 0881741673949*c_1001_5^19 - 245585041522160225880087567128251017015\ 289505938538107677095957562736/247166194866342711573225886223093179\ 1653347759896640881741673949*c_1001_5^18 - 5637975350778873813564883268171737075475106146658949354250642277994\ 1/2471661948663427115732258862230931791653347759896640881741673949*\ c_1001_5^17 + 11699390383123732894566433799366894010087395220915468\ 05692617591017297/2471661948663427115732258862230931791653347759896\ 640881741673949*c_1001_5^16 + 1923915067213035090246220860706213350\ 090298843046896621027766347702058/247166194866342711573225886223093\ 1791653347759896640881741673949*c_1001_5^15 + 7771027409889106244823947398972949412504557905510433280794477366929\ 48/2471661948663427115732258862230931791653347759896640881741673949\ *c_1001_5^14 - 5824194320906103613483163274114778896540613074277260\ 45186177893259862/2471661948663427115732258862230931791653347759896\ 640881741673949*c_1001_5^13 - 3865635059477904780394959303407799996\ 46430143329809451994663571197177/2471661948663427115732258862230931\ 791653347759896640881741673949*c_1001_5^12 + 2506240894225201894918975205069536509037617222651214631963137623558\ 1/224696540787584283248387169293721071968486159990603716521970359*c\ _1001_5^11 + 210734453052581514894405097572582763840464333491980401\ 993265232715371/247166194866342711573225886223093179165334775989664\ 0881741673949*c_1001_5^10 - 508629066577401114966951452805228846314\ 93872891175994272420603898419/2471661948663427115732258862230931791\ 653347759896640881741673949*c_1001_5^9 - 4160982046250747575933236414332594781027251343556125637315122885272\ 6/2471661948663427115732258862230931791653347759896640881741673949*\ c_1001_5^8 + 105822444398892905109917406009650627737630636578830662\ 04103953146609/2471661948663427115732258862230931791653347759896640\ 881741673949*c_1001_5^7 + 44911917243889490001753285859311009293338\ 01264746927917599092418231/2471661948663427115732258862230931791653\ 347759896640881741673949*c_1001_5^6 + 1073990719594265028225856602187474809537348817498848321883626271120\ /2471661948663427115732258862230931791653347759896640881741673949*c\ _1001_5^5 + 1069748875251666033946222295165187421561072998999655259\ 93409636798/2246965407875842832483871692937210719684861599906037165\ 21970359*c_1001_5^4 - 487706515069298904345448681898009135698204326\ 294205521063515912000/247166194866342711573225886223093179165334775\ 9896640881741673949*c_1001_5^3 - 2334165688415214551389157230703429\ 20870392866605484827294212332032/2471661948663427115732258862230931\ 791653347759896640881741673949*c_1001_5^2 + 8549418145363214469405844932145232000664167264739315596682350575/22\ 4696540787584283248387169293721071968486159990603716521970359*c_100\ 1_5 + 2491170203668891996251972563568864924113911518416531505415150\ 9486/24716619486634271157322588622309317916533477598966408817416739\ 49, c_0011_7 - 135001674404037167574873056757511032510025594438896818690831\ 60192/2471661948663427115732258862230931791653347759896640881741673\ 949*c_1001_5^23 - 1713535397121977630643265638966819332413976729184\ 17167937872363552/2471661948663427115732258862230931791653347759896\ 640881741673949*c_1001_5^22 - 7448431938354984940172302787365586564\ 94709026819244167467944667984/2471661948663427115732258862230931791\ 653347759896640881741673949*c_1001_5^21 - 1684271489522560248145245783824543984120408780186500814265975312490\ /2471661948663427115732258862230931791653347759896640881741673949*c\ _1001_5^20 - 671121674099033786143874285854501068228925245643960897\ 41006413476/2471661948663427115732258862230931791653347759896640881\ 741673949*c_1001_5^19 + 1673640261215515754650040448617944297480899\ 2412151838032758731037888/24716619486634271157322588622309317916533\ 47759896640881741673949*c_1001_5^18 + 2157403366561512533025288575970978237053709161721521710587945752564\ 4/2471661948663427115732258862230931791653347759896640881741673949*\ c_1001_5^17 - 83207877047343770574951537855416662274165375165906950\ 694375904622075/247166194866342711573225886223093179165334775989664\ 0881741673949*c_1001_5^16 - 196701763496214127299572949779212505272\ 288902954404946795019360599056/247166194866342711573225886223093179\ 1653347759896640881741673949*c_1001_5^15 - 1168848441787333403690784623714825804273335098628245757322045015596\ 91/2471661948663427115732258862230931791653347759896640881741673949\ *c_1001_5^14 + 4774240928849295350640872044423047513165973905682517\ 0817520230945633/24716619486634271157322588622309317916533477598966\ 40881741673949*c_1001_5^13 + 56703966194903076796615078001190410981\ 917033057842635959706657681652/247166194866342711573225886223093179\ 1653347759896640881741673949*c_1001_5^12 - 2052948645952711074982578946219149419990435726663429365817566846025\ /224696540787584283248387169293721071968486159990603716521970359*c_\ 1001_5^11 - 2767316679190993558288552916156943679508092477326609116\ 2337178002372/24716619486634271157322588622309317916533477598966408\ 81741673949*c_1001_5^10 + 40720942098237673128279187236081214990111\ 39463363353263176958412695/2471661948663427115732258862230931791653\ 347759896640881741673949*c_1001_5^9 + 5276805934222100072157490241451788800821696744765457991369540918532\ /2471661948663427115732258862230931791653347759896640881741673949*c\ _1001_5^8 - 1213722608304050745307246042209294840499672495783049563\ 147470124850/247166194866342711573225886223093179165334775989664088\ 1741673949*c_1001_5^7 - 3892684974613750185267621250207959685672702\ 14728043760626671530149/2471661948663427115732258862230931791653347\ 759896640881741673949*c_1001_5^6 - 100559056354257903909030149517681909865169260537489255926092443030/\ 2471661948663427115732258862230931791653347759896640881741673949*c_\ 1001_5^5 - 16928923038816929764072120565459125234900484793308204852\ 738364787/224696540787584283248387169293721071968486159990603716521\ 970359*c_1001_5^4 + 48907645383423354406177419818740725110392138167\ 548052481688300704/247166194866342711573225886223093179165334775989\ 6640881741673949*c_1001_5^3 + 3202808485240577334539655291996607073\ 4670231144950990216628566116/24716619486634271157322588622309317916\ 53347759896640881741673949*c_1001_5^2 - 819528044275459302890873175503814194376882561089477501862456433/224\ 696540787584283248387169293721071968486159990603716521970359*c_1001\ _5 - 49121245207055113716439540730321514241603794169959010723246389\ 68/2471661948663427115732258862230931791653347759896640881741673949\ , c_0011_9 - 192511187830948505653883645717146535403535947164169733812743\ 010816/247166194866342711573225886223093179165334775989664088174167\ 3949*c_1001_5^23 - 210572976668045158148892368176395849791443812565\ 8521505304223346560/24716619486634271157322588622309317916533477598\ 96640881741673949*c_1001_5^22 - 71721405993658954151817000932743946\ 54077301242704115514988889237248/2471661948663427115732258862230931\ 791653347759896640881741673949*c_1001_5^21 - 1394525017280303677149485808162729046279525882669391090891110230029\ 6/2471661948663427115732258862230931791653347759896640881741673949*\ c_1001_5^20 + 16131557695700378487594673344806338042627658598836040\ 183847679129572/247166194866342711573225886223093179165334775989664\ 0881741673949*c_1001_5^19 + 197793401060240165641709098019243269576\ 975254900216342521810387340148/247166194866342711573225886223093179\ 1653347759896640881741673949*c_1001_5^18 - 9974245429556722571216068557263386637570869326575631097581406354553\ /2471661948663427115732258862230931791653347759896640881741673949*c\ _1001_5^17 - 937549459605805323102129609161797518413777816531500339\ 650165921455879/247166194866342711573225886223093179165334775989664\ 0881741673949*c_1001_5^16 - 133529464995866733623264649324532555493\ 2595155727483234194293561390013/24716619486634271157322588622309317\ 91653347759896640881741673949*c_1001_5^15 - 4006634494594163322913305054959340231106097513300938382270793047047\ 55/2471661948663427115732258862230931791653347759896640881741673949\ *c_1001_5^14 + 4454517841097911567103650337180443708551872926273535\ 48401319611963207/2471661948663427115732258862230931791653347759896\ 640881741673949*c_1001_5^13 + 1916344791835443750498465815810287837\ 23647039896377720390948024153399/2471661948663427115732258862230931\ 791653347759896640881741673949*c_1001_5^12 - 1965984399158774315574822391768339621776902244474273312393632197399\ 8/224696540787584283248387169293721071968486159990603716521970359*c\ _1001_5^11 - 114486333560844006829255561412592373804813800106398255\ 046303939982201/247166194866342711573225886223093179165334775989664\ 0881741673949*c_1001_5^10 + 421720236347389759716194014057465897005\ 26574074044678236622628976817/2471661948663427115732258862230931791\ 653347759896640881741673949*c_1001_5^9 + 2062804624767757106359020116941630441781515597779377248798456212040\ 7/2471661948663427115732258862230931791653347759896640881741673949*\ c_1001_5^8 - 730103870500626314588264195586773495389646688534515310\ 4852996607940/24716619486634271157322588622309317916533477598966408\ 81741673949*c_1001_5^7 - 223692098215923644979186002716390313606032\ 9215757079161521392966416/24716619486634271157322588622309317916533\ 47759896640881741673949*c_1001_5^6 - 951934010976188810188261470095773962684588052477255518222996145116/\ 2471661948663427115732258862230931791653347759896640881741673949*c_\ 1001_5^5 - 53930009832094240703016315117132076344775615646412603349\ 100489825/224696540787584283248387169293721071968486159990603716521\ 970359*c_1001_5^4 + 36294175870097594841772794811764564083494981931\ 0524479368851624786/24716619486634271157322588622309317916533477598\ 96640881741673949*c_1001_5^3 + 107252568298651033240839839399930485\ 987592850966337475135389774556/247166194866342711573225886223093179\ 1653347759896640881741673949*c_1001_5^2 - 5368750994353909283009515457030752786622294232819836689508832298/22\ 4696540787584283248387169293721071968486159990603716521970359*c_100\ 1_5 - 1282404216994735083321067465568550067125582775879207258885884\ 9191/24716619486634271157322588622309317916533477598966408817416739\ 49, c_0101_1 - 135001674404037167574873056757511032510025594438896818690831\ 60192/2471661948663427115732258862230931791653347759896640881741673\ 949*c_1001_5^23 - 1713535397121977630643265638966819332413976729184\ 17167937872363552/2471661948663427115732258862230931791653347759896\ 640881741673949*c_1001_5^22 - 7448431938354984940172302787365586564\ 94709026819244167467944667984/2471661948663427115732258862230931791\ 653347759896640881741673949*c_1001_5^21 - 1684271489522560248145245783824543984120408780186500814265975312490\ /2471661948663427115732258862230931791653347759896640881741673949*c\ _1001_5^20 - 671121674099033786143874285854501068228925245643960897\ 41006413476/2471661948663427115732258862230931791653347759896640881\ 741673949*c_1001_5^19 + 1673640261215515754650040448617944297480899\ 2412151838032758731037888/24716619486634271157322588622309317916533\ 47759896640881741673949*c_1001_5^18 + 2157403366561512533025288575970978237053709161721521710587945752564\ 4/2471661948663427115732258862230931791653347759896640881741673949*\ c_1001_5^17 - 83207877047343770574951537855416662274165375165906950\ 694375904622075/247166194866342711573225886223093179165334775989664\ 0881741673949*c_1001_5^16 - 196701763496214127299572949779212505272\ 288902954404946795019360599056/247166194866342711573225886223093179\ 1653347759896640881741673949*c_1001_5^15 - 1168848441787333403690784623714825804273335098628245757322045015596\ 91/2471661948663427115732258862230931791653347759896640881741673949\ *c_1001_5^14 + 4774240928849295350640872044423047513165973905682517\ 0817520230945633/24716619486634271157322588622309317916533477598966\ 40881741673949*c_1001_5^13 + 56703966194903076796615078001190410981\ 917033057842635959706657681652/247166194866342711573225886223093179\ 1653347759896640881741673949*c_1001_5^12 - 2052948645952711074982578946219149419990435726663429365817566846025\ /224696540787584283248387169293721071968486159990603716521970359*c_\ 1001_5^11 - 2767316679190993558288552916156943679508092477326609116\ 2337178002372/24716619486634271157322588622309317916533477598966408\ 81741673949*c_1001_5^10 + 40720942098237673128279187236081214990111\ 39463363353263176958412695/2471661948663427115732258862230931791653\ 347759896640881741673949*c_1001_5^9 + 5276805934222100072157490241451788800821696744765457991369540918532\ /2471661948663427115732258862230931791653347759896640881741673949*c\ _1001_5^8 - 1213722608304050745307246042209294840499672495783049563\ 147470124850/247166194866342711573225886223093179165334775989664088\ 1741673949*c_1001_5^7 - 3892684974613750185267621250207959685672702\ 14728043760626671530149/2471661948663427115732258862230931791653347\ 759896640881741673949*c_1001_5^6 - 100559056354257903909030149517681909865169260537489255926092443030/\ 2471661948663427115732258862230931791653347759896640881741673949*c_\ 1001_5^5 - 16928923038816929764072120565459125234900484793308204852\ 738364787/224696540787584283248387169293721071968486159990603716521\ 970359*c_1001_5^4 + 48907645383423354406177419818740725110392138167\ 548052481688300704/247166194866342711573225886223093179165334775989\ 6640881741673949*c_1001_5^3 + 3202808485240577334539655291996607073\ 4670231144950990216628566116/24716619486634271157322588622309317916\ 53347759896640881741673949*c_1001_5^2 - 819528044275459302890873175503814194376882561089477501862456433/224\ 696540787584283248387169293721071968486159990603716521970359*c_1001\ _5 - 49121245207055113716439540730321514241603794169959010723246389\ 68/2471661948663427115732258862230931791653347759896640881741673949\ , c_0101_11 - 19251118783094850565388364571714653540353594716416973381274\ 3010816/24716619486634271157322588622309317916533477598966408817416\ 73949*c_1001_5^23 - 21057297666804515814889236817639584979144381256\ 58521505304223346560/2471661948663427115732258862230931791653347759\ 896640881741673949*c_1001_5^22 - 7172140599365895415181700093274394\ 654077301242704115514988889237248/247166194866342711573225886223093\ 1791653347759896640881741673949*c_1001_5^21 - 1394525017280303677149485808162729046279525882669391090891110230029\ 6/2471661948663427115732258862230931791653347759896640881741673949*\ c_1001_5^20 + 16131557695700378487594673344806338042627658598836040\ 183847679129572/247166194866342711573225886223093179165334775989664\ 0881741673949*c_1001_5^19 + 197793401060240165641709098019243269576\ 975254900216342521810387340148/247166194866342711573225886223093179\ 1653347759896640881741673949*c_1001_5^18 - 9974245429556722571216068557263386637570869326575631097581406354553\ /2471661948663427115732258862230931791653347759896640881741673949*c\ _1001_5^17 - 937549459605805323102129609161797518413777816531500339\ 650165921455879/247166194866342711573225886223093179165334775989664\ 0881741673949*c_1001_5^16 - 133529464995866733623264649324532555493\ 2595155727483234194293561390013/24716619486634271157322588622309317\ 91653347759896640881741673949*c_1001_5^15 - 4006634494594163322913305054959340231106097513300938382270793047047\ 55/2471661948663427115732258862230931791653347759896640881741673949\ *c_1001_5^14 + 4454517841097911567103650337180443708551872926273535\ 48401319611963207/2471661948663427115732258862230931791653347759896\ 640881741673949*c_1001_5^13 + 1916344791835443750498465815810287837\ 23647039896377720390948024153399/2471661948663427115732258862230931\ 791653347759896640881741673949*c_1001_5^12 - 1965984399158774315574822391768339621776902244474273312393632197399\ 8/224696540787584283248387169293721071968486159990603716521970359*c\ _1001_5^11 - 114486333560844006829255561412592373804813800106398255\ 046303939982201/247166194866342711573225886223093179165334775989664\ 0881741673949*c_1001_5^10 + 421720236347389759716194014057465897005\ 26574074044678236622628976817/2471661948663427115732258862230931791\ 653347759896640881741673949*c_1001_5^9 + 2062804624767757106359020116941630441781515597779377248798456212040\ 7/2471661948663427115732258862230931791653347759896640881741673949*\ c_1001_5^8 - 730103870500626314588264195586773495389646688534515310\ 4852996607940/24716619486634271157322588622309317916533477598966408\ 81741673949*c_1001_5^7 - 223692098215923644979186002716390313606032\ 9215757079161521392966416/24716619486634271157322588622309317916533\ 47759896640881741673949*c_1001_5^6 - 951934010976188810188261470095773962684588052477255518222996145116/\ 2471661948663427115732258862230931791653347759896640881741673949*c_\ 1001_5^5 - 53930009832094240703016315117132076344775615646412603349\ 100489825/224696540787584283248387169293721071968486159990603716521\ 970359*c_1001_5^4 + 36294175870097594841772794811764564083494981931\ 0524479368851624786/24716619486634271157322588622309317916533477598\ 96640881741673949*c_1001_5^3 + 107252568298651033240839839399930485\ 987592850966337475135389774556/247166194866342711573225886223093179\ 1653347759896640881741673949*c_1001_5^2 - 5368750994353909283009515457030752786622294232819836689508832298/22\ 4696540787584283248387169293721071968486159990603716521970359*c_100\ 1_5 - 1282404216994735083321067465568550067125582775879207258885884\ 9191/24716619486634271157322588622309317916533477598966408817416739\ 49, c_0101_12 - 11510177436680243373664437231714143810622768784555697476290\ 1840256/24716619486634271157322588622309317916533477598966408817416\ 73949*c_1001_5^23 - 12641122031344299370451942549861345063538603429\ 15225909969983763488/2471661948663427115732258862230931791653347759\ 896640881741673949*c_1001_5^22 - 4339397070633416347285611948505243\ 005643748081366595611388387715264/247166194866342711573225886223093\ 1791653347759896640881741673949*c_1001_5^21 - 8482731805937542990888507254477477848897464445696134623013639976014\ /2471661948663427115732258862230931791653347759896640881741673949*c\ _1001_5^20 + 939220630755827091110918450858004609866019669772155226\ 2634411374467/24716619486634271157322588622309317916533477598966408\ 81741673949*c_1001_5^19 + 11885700433345856037482155091247204145975\ 7263241895222249778645844107/24716619486634271157322588622309317916\ 53347759896640881741673949*c_1001_5^18 - 1394000772235016074992468080435718552511323922801408688047450200419\ /2471661948663427115732258862230931791653347759896640881741673949*c\ _1001_5^17 - 564948020036403297568856330965169843433477118760606575\ 027097880613148/247166194866342711573225886223093179165334775989664\ 0881741673949*c_1001_5^16 - 817856519157399730179747136546055736002\ 784700805776586004426646618614/247166194866342711573225886223093179\ 1653347759896640881741673949*c_1001_5^15 - 2558958854715153156564569270625149085081708966504753829641985702259\ 59/2471661948663427115732258862230931791653347759896640881741673949\ *c_1001_5^14 + 2638183133464083732148200795224080001503942256370355\ 87754850255260608/2471661948663427115732258862230931791653347759896\ 640881741673949*c_1001_5^13 + 1137339588905913117911579758871429438\ 41673413333912395114175666374101/2471661948663427115732258862230931\ 791653347759896640881741673949*c_1001_5^12 - 1203984965397202789009226420592625459481659368613675716542907310932\ 3/224696540787584283248387169293721071968486159990603716521970359*c\ _1001_5^11 - 683941576316641329115857371930733547887786743103294377\ 85131032769271/2471661948663427115732258862230931791653347759896640\ 881741673949*c_1001_5^10 + 2598099096551798953477376328497731171156\ 1307393677830849534985666746/24716619486634271157322588622309317916\ 53347759896640881741673949*c_1001_5^9 + 1113140582759491040971578682885674855443687073065270869717170857929\ 5/2471661948663427115732258862230931791653347759896640881741673949*\ c_1001_5^8 - 485080793567335002492731481593596019119347182464205677\ 6789836906978/24716619486634271157322588622309317916533477598966408\ 81741673949*c_1001_5^7 - 997967651936273869895696115142760448019595\ 163691857563050372477759/247166194866342711573225886223093179165334\ 7759896640881741673949*c_1001_5^6 - 581955884156177976235309821826129078192193001937685980426975397911/\ 2471661948663427115732258862230931791653347759896640881741673949*c_\ 1001_5^5 - 37040778863908371862792785041659092075932910124073724029\ 374372751/224696540787584283248387169293721071968486159990603716521\ 970359*c_1001_5^4 + 22057953198535140531869886191963256889053724636\ 0376245802652047192/24716619486634271157322588622309317916533477598\ 96640881741673949*c_1001_5^3 + 504442639596177800460050040639643726\ 48660051133878065809050594154/2471661948663427115732258862230931791\ 653347759896640881741673949*c_1001_5^2 - 3142236648152229243540247649611412163224131387180291966949586923/22\ 4696540787584283248387169293721071968486159990603716521970359*c_100\ 1_5 - 4974766866140924470329457712588484022136907256614813911926859\ 821/247166194866342711573225886223093179165334775989664088174167394\ 9, c_0101_7 + 147044186842117064298014188056544708549701513127014698247404\ 403776/247166194866342711573225886223093179165334775989664088174167\ 3949*c_1001_5^23 + 161673258310438983999889346691046195128373201998\ 9504373691329488336/24716619486634271157322588622309317916533477598\ 96640881741673949*c_1001_5^22 + 55640533345838927411636910056225653\ 25180791304625998709717213375400/2471661948663427115732258862230931\ 791653347759896640881741673949*c_1001_5^21 + 1090745440906679365215973733006027359942989696450940950092472765378\ 5/2471661948663427115732258862230931791653347759896640881741673949*\ c_1001_5^20 - 11880741219205974067952722702913539738911414137593309\ 472357221262088/247166194866342711573225886223093179165334775989664\ 0881741673949*c_1001_5^19 - 152059691272377059595844516540667838532\ 885669497764106009340298377316/247166194866342711573225886223093179\ 1653347759896640881741673949*c_1001_5^18 - 326824442080501440184062413349342142106650709234916751087076184710/\ 2471661948663427115732258862230931791653347759896640881741673949*c_\ 1001_5^17 + 7215761192086621099708548642362739451955796335351709635\ 80954514517708/2471661948663427115732258862230931791653347759896640\ 881741673949*c_1001_5^16 + 1056980834263316747077375802385921985184\ 386520667948929059807007133186/247166194866342711573225886223093179\ 1653347759896640881741673949*c_1001_5^15 + 3406314384960177639494958832399219058037074497464555374565878958753\ 90/2471661948663427115732258862230931791653347759896640881741673949\ *c_1001_5^14 - 3445568231616581271234798581532031709262113995673441\ 13930726045665692/2471661948663427115732258862230931791653347759896\ 640881741673949*c_1001_5^13 - 1643616111146735135707938603098756108\ 68799360360455771649863387988854/2471661948663427115732258862230931\ 791653347759896640881741673949*c_1001_5^12 + 1367044797565116282334773275888811165307977600063418731670457293156\ /20426958253416753022580651753974642906226014544600337865633669*c_1\ 001_5^11 + 95058030630559430130524103801836883083191858579519733540\ 075993793384/247166194866342711573225886223093179165334775989664088\ 1741673949*c_1001_5^10 - 316639041343846794124045372195359709026408\ 23773499565767531181951755/2471661948663427115732258862230931791653\ 347759896640881741673949*c_1001_5^9 - 1738055428074718441404953863912252688501085194755220126738366958193\ 9/2471661948663427115732258862230931791653347759896640881741673949*\ c_1001_5^8 + 555615137245943340202117637098280121402116400112585039\ 1340439640405/24716619486634271157322588622309317916533477598966408\ 81741673949*c_1001_5^7 + 183014864421015216272508821430092761552087\ 9197935485042449705890374/24716619486634271157322588622309317916533\ 47759896640881741673949*c_1001_5^6 + 748258240708609333872640180680974947840892368415871646177540731426/\ 2471661948663427115732258862230931791653347759896640881741673949*c_\ 1001_5^5 + 45785362109920396990091165788465373177062875137639904144\ 998515880/224696540787584283248387169293721071968486159990603716521\ 970359*c_1001_5^4 - 27949257244398198460298585271745451067017813850\ 8398596653061063889/24716619486634271157322588622309317916533477598\ 96640881741673949*c_1001_5^3 - 939498488771221338271965900651843775\ 01908974364047923401157462159/2471661948663427115732258862230931791\ 653347759896640881741673949*c_1001_5^2 + 388764329760072888755082947583447575989866807269419136347791660/204\ 26958253416753022580651753974642906226014544600337865633669*c_1001_\ 5 + 104184099600754491617513886496456345238485138641708575805394220\ 58/2471661948663427115732258862230931791653347759896640881741673949\ , c_0101_8 - 589192207016421138666881248361240742655699493623215275495002\ 974784/247166194866342711573225886223093179165334775989664088174167\ 3949*c_1001_5^23 - 644105060782478847944302381620958218185423088996\ 0981008002625884624/24716619486634271157322588622309317916533477598\ 96640881741673949*c_1001_5^22 - 21913819584988583422060686530935914\ 081101571320032641104911688567432/247166194866342711573225886223093\ 1791653347759896640881741673949*c_1001_5^21 - 4259022886425395824601532709417672010602097628943772426925777700995\ 3/2471661948663427115732258862230931791653347759896640881741673949*\ c_1001_5^20 + 49395935369285846537868312568771824387716032419746249\ 194614443058766/247166194866342711573225886223093179165334775989664\ 0881741673949*c_1001_5^19 + 604466014294031867761684522855214843547\ 432983965577177160414322772520/247166194866342711573225886223093179\ 1653347759896640881741673949*c_1001_5^18 - 3464253271743245043082589998749508160884278644718891855980258513401\ 3/2471661948663427115732258862230931791653347759896640881741673949*\ c_1001_5^17 - 28645453701939729001395609987395761390974340363385938\ 68220708446452934/2471661948663427115732258862230931791653347759896\ 640881741673949*c_1001_5^16 - 4057675879852549426607780348374968859\ 830468981522123318741379537953173/247166194866342711573225886223093\ 1791653347759896640881741673949*c_1001_5^15 - 1225734189386133508938978760264460592465943373391946321597738833722\ 808/247166194866342711573225886223093179165334775989664088174167394\ 9*c_1001_5^14 + 129789980448043567086958655507648318792368877105777\ 5934066453963462599/24716619486634271157322588622309317916533477598\ 96640881741673949*c_1001_5^13 + 52788887892065110790779950104926141\ 9934011358820580615433993535863125/24716619486634271157322588622309\ 31791653347759896640881741673949*c_1001_5^12 - 5939817707256425369109375786631154654898526738497030719555025974487\ 1/224696540787584283248387169293721071968486159990603716521970359*c\ _1001_5^11 - 326669979928838245062386529738141629269688507513564559\ 550569887114894/247166194866342711573225886223093179165334775989664\ 0881741673949*c_1001_5^10 + 123943638762421426235001865437639204637\ 725347418581232225072292388759/247166194866342711573225886223093179\ 1653347759896640881741673949*c_1001_5^9 + 5333563467320445227213242261548039640361199596668507809675690898233\ 1/2471661948663427115732258862230931791653347759896640881741673949*\ c_1001_5^8 - 214397281265559094032865231060243004867096799000356103\ 06320287915769/2471661948663427115732258862230931791653347759896640\ 881741673949*c_1001_5^7 - 55407857564700052025344636242424550552289\ 42351075406742441178806925/2471661948663427115732258862230931791653\ 347759896640881741673949*c_1001_5^6 - 3266045048166971407782182510157802456119000675744097815679082629887\ /2471661948663427115732258862230931791653347759896640881741673949*c\ _1001_5^5 - 1565216828062523534232086572822311302437399751566845980\ 01307887183/2246965407875842832483871692937210719684861599906037165\ 21970359*c_1001_5^4 + 104202558576669984969398190868347738230785223\ 5104436432990565118126/24716619486634271157322588622309317916533477\ 59896640881741673949*c_1001_5^3 + 250891181312577453403202576342853\ 479103248208829067904181121111990/247166194866342711573225886223093\ 1791653347759896640881741673949*c_1001_5^2 - 14867685698705073189448411693947738865975503774072211856520023589/2\ 24696540787584283248387169293721071968486159990603716521970359*c_10\ 01_5 - 340627806266553572276636674104990814941851147837514829393733\ 37688/2471661948663427115732258862230931791653347759896640881741673\ 949, c_0110_9 + 306897960141309734825757852213961862049382594103850786632259\ 456704/247166194866342711573225886223093179165334775989664088174167\ 3949*c_1001_5^23 + 339356642326621813823442589075227697900045032355\ 8058258056305171056/24716619486634271157322588622309317916533477598\ 96640881741673949*c_1001_5^22 + 11807715008439940172171856281282696\ 437508219628060080408261669199704/247166194866342711573225886223093\ 1791653347759896640881741673949*c_1001_5^21 + 2332249626607187253584667408176964327913760009940142051029218690083\ 5/2471661948663427115732258862230931791653347759896640881741673949*\ c_1001_5^20 - 23858285121846288282792599764972435251185436522893444\ 380339864767798/247166194866342711573225886223093179165334775989664\ 0881741673949*c_1001_5^19 - 319713016850106157328384486176960982662\ 219682373980799218894487393182/247166194866342711573225886223093179\ 1653347759896640881741673949*c_1001_5^18 - 1840582361888269736969873881534769119751741259196444578888970592967\ 3/2471661948663427115732258862230931791653347759896640881741673949*\ c_1001_5^17 + 15219215075574477217184430152323119589864744379982339\ 70798374362227268/2471661948663427115732258862230931791653347759896\ 640881741673949*c_1001_5^16 + 2286883178616403764866796680723092017\ 289089756386027797912258333006644/247166194866342711573225886223093\ 1791653347759896640881741673949*c_1001_5^15 + 7733041383770051975173057472721992942533882470528512672535768591310\ 91/2471661948663427115732258862230931791653347759896640881741673949\ *c_1001_5^14 - 7314842907726641803930777681681491305595000794889744\ 57123753145091576/2471661948663427115732258862230931791653347759896\ 640881741673949*c_1001_5^13 - 3582751145931524503330692142705011714\ 59554766719259746725713661876251/2471661948663427115732258862230931\ 791653347759896640881741673949*c_1001_5^12 + 3044171841050953479290882196535066313923911145414468069809854566861\ /20426958253416753022580651753974642906226014544600337865633669*c_1\ 001_5^11 + 21446429435958722996170842076525845938697006684992158109\ 8501819162469/24716619486634271157322588622309317916533477598966408\ 81741673949*c_1001_5^10 - 70949801657657972146792155565379710544587\ 178445378805789356061762375/247166194866342711573225886223093179165\ 3347759896640881741673949*c_1001_5^9 - 3807775540792744278550287406679580650915793036567162176023936872191\ 0/2471661948663427115732258862230931791653347759896640881741673949*\ c_1001_5^8 + 141007379826812091733813063287027090910434276896279092\ 50320603743540/2471661948663427115732258862230931791653347759896640\ 881741673949*c_1001_5^7 + 41400866943805754864294602121203728851237\ 88916294889208005731193582/2471661948663427115732258862230931791653\ 347759896640881741673949*c_1001_5^6 + 1547086209644527909328764360328843849452814320201827164355118015720\ /2471661948663427115732258862230931791653347759896640881741673949*c\ _1001_5^5 + 1078513391646448403038317072216780795873142155106327545\ 96827732956/2246965407875842832483871692937210719684861599906037165\ 21970359*c_1001_5^4 - 626342866833660375263011762495774452215074036\ 390118308337264239987/247166194866342711573225886223093179165334775\ 9896640881741673949*c_1001_5^3 - 1899247175724420752663795545146120\ 19547464465343032540211250371798/2471661948663427115732258862230931\ 791653347759896640881741673949*c_1001_5^2 + 923209060364067294011846808708444638007139923088780896722234673/204\ 26958253416753022580651753974642906226014544600337865633669*c_1001_\ 5 + 234912051685628297492470485136117037296731588903817758992998221\ 94/2471661948663427115732258862230931791653347759896640881741673949\ , c_1001_2 + 589192207016421138666881248361240742655699493623215275495002\ 974784/247166194866342711573225886223093179165334775989664088174167\ 3949*c_1001_5^23 + 644105060782478847944302381620958218185423088996\ 0981008002625884624/24716619486634271157322588622309317916533477598\ 96640881741673949*c_1001_5^22 + 21913819584988583422060686530935914\ 081101571320032641104911688567432/247166194866342711573225886223093\ 1791653347759896640881741673949*c_1001_5^21 + 4259022886425395824601532709417672010602097628943772426925777700995\ 3/2471661948663427115732258862230931791653347759896640881741673949*\ c_1001_5^20 - 49395935369285846537868312568771824387716032419746249\ 194614443058766/247166194866342711573225886223093179165334775989664\ 0881741673949*c_1001_5^19 - 604466014294031867761684522855214843547\ 432983965577177160414322772520/247166194866342711573225886223093179\ 1653347759896640881741673949*c_1001_5^18 + 3464253271743245043082589998749508160884278644718891855980258513401\ 3/2471661948663427115732258862230931791653347759896640881741673949*\ c_1001_5^17 + 28645453701939729001395609987395761390974340363385938\ 68220708446452934/2471661948663427115732258862230931791653347759896\ 640881741673949*c_1001_5^16 + 4057675879852549426607780348374968859\ 830468981522123318741379537953173/247166194866342711573225886223093\ 1791653347759896640881741673949*c_1001_5^15 + 1225734189386133508938978760264460592465943373391946321597738833722\ 808/247166194866342711573225886223093179165334775989664088174167394\ 9*c_1001_5^14 - 129789980448043567086958655507648318792368877105777\ 5934066453963462599/24716619486634271157322588622309317916533477598\ 96640881741673949*c_1001_5^13 - 52788887892065110790779950104926141\ 9934011358820580615433993535863125/24716619486634271157322588622309\ 31791653347759896640881741673949*c_1001_5^12 + 5939817707256425369109375786631154654898526738497030719555025974487\ 1/224696540787584283248387169293721071968486159990603716521970359*c\ _1001_5^11 + 326669979928838245062386529738141629269688507513564559\ 550569887114894/247166194866342711573225886223093179165334775989664\ 0881741673949*c_1001_5^10 - 123943638762421426235001865437639204637\ 725347418581232225072292388759/247166194866342711573225886223093179\ 1653347759896640881741673949*c_1001_5^9 - 5333563467320445227213242261548039640361199596668507809675690898233\ 1/2471661948663427115732258862230931791653347759896640881741673949*\ c_1001_5^8 + 214397281265559094032865231060243004867096799000356103\ 06320287915769/2471661948663427115732258862230931791653347759896640\ 881741673949*c_1001_5^7 + 55407857564700052025344636242424550552289\ 42351075406742441178806925/2471661948663427115732258862230931791653\ 347759896640881741673949*c_1001_5^6 + 3266045048166971407782182510157802456119000675744097815679082629887\ /2471661948663427115732258862230931791653347759896640881741673949*c\ _1001_5^5 + 1565216828062523534232086572822311302437399751566845980\ 01307887183/2246965407875842832483871692937210719684861599906037165\ 21970359*c_1001_5^4 - 104202558576669984969398190868347738230785223\ 5104436432990565118126/24716619486634271157322588622309317916533477\ 59896640881741673949*c_1001_5^3 - 250891181312577453403202576342853\ 479103248208829067904181121111990/247166194866342711573225886223093\ 1791653347759896640881741673949*c_1001_5^2 + 14867685698705073189448411693947738865975503774072211856520023589/2\ 24696540787584283248387169293721071968486159990603716521970359*c_10\ 01_5 + 340627806266553572276636674104990814941851147837514829393733\ 37688/2471661948663427115732258862230931791653347759896640881741673\ 949, c_1001_5^24 + 45/4*c_1001_5^23 + 325/8*c_1001_5^22 + 5353/64*c_1001_5^21 - 499/8*c_1001_5^20 - 16887/16*c_1001_5^19 - 16843/64*c_1001_5^18 + 39395/8*c_1001_5^17 + 33675/4*c_1001_5^16 + 130091/32*c_1001_5^15 - 114647/64*c_1001_5^14 - 52815/32*c_1001_5^13 + 57337/64*c_1001_5^12 + 58605/64*c_1001_5^11 - 2343/32*c_1001_5^10 - 5311/32*c_1001_5^9 + 939/64*c_1001_5^8 + 669/32*c_1001_5^7 + 31/4*c_1001_5^6 + 309/64*c_1001_5^5 - 35/32*c_1001_5^4 - 33/32*c_1001_5^3 + 3/16*c_1001_5^2 + 9/64*c_1001_5 + 1/64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.910 Total time: 1.120 seconds, Total memory usage: 64.12MB