{"id":"n-95452b52aae7dbf2","revision":0,"first_index":0,"fingerprint":"f6-6bae7ffb6b8d3725","name":"mobius_x_over_x_plus_one of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*1^j.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":0,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["1"],["9","11"],["81","198","121"],["729","2673","3267","1331"],["6561","32076","58806","47916","14641"],["59049","360855","882090","1078110","658845","161051"],["531441","3897234","11908215","19405980","17788815","8696754","1771561"],["4782969","40920957","150043509","305644185","373565115","273947751","111608343","19487171"],["43046721","420901272","1800522108","4401276264","6724172070","6574746024","4017900348","1403076312","214358881"],["387420489","4261625379","20834612964","59417229564","108931587534","133138606986","108483309396","56824590636","17363069361","2357947691"],["3486784401","42616253790","234389395845","763935808680","1633973813010","2396494925748","2440874461410","1704737719080","781338121245","212215292190","25937424601"],["31381059609","421900912521","2578283354295","9453705632415","23109058212570","39542166274842","48329314335918","42192258547230","25784158001085","10504656963405","2567805035499","285311670611"],["282429536481","4142299868388","27845460226386","113444467588980","311972285869695","610079136811848","869927658046524","911352784620168","696172266029295","378167650682580","138661471916946","30813660425988","3138428376721"],["2541865828329","40387423716783","296174440589742","1327300270791066","4055639716306035","8922407375873277","14540219427349044","17771379300093276","16290431025085503","11061403782465465","5407797404760894","1802599134920298","367196120076357","34522712143931"],["22876792454961","391447337562666","3109831626192291","15203621283606756","51101060425456041","124913703262225878","229008455980747443","319884827401678968","342099051526795563","278747375318129718","170345618249968161","75709163666652516","23133355564810491","4349861730135306","379749833583241"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","20","400","8000","160000","3200000","64000000","1280000000","25600000000","512000000000","10240000000000","204800000000000","4096000000000000","81920000000000000","1638400000000000000"],"nonn":true,"definitions":[{"position":0,"source":"derived:mobius_x_over_x_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"denominator":{"coeffs":[["1","1"]]},"terms":[{"coeff":{"coeffs":[["9","20","11"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":186466,"position":0,"claim":"real_rooted","from_index":0,"region_key":"[-1, 0]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{"lower":{"closed":true,"value":"-1"},"upper":{"closed":true,"value":"0"}}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in [-1, 0]","region_exact":null,"edges":["e-bc0b86b7da83bbc9"]},{"id":186467,"position":1,"claim":"one_signed_coefficients","from_index":0,"region_key":null,"provenance":"derived_from_edges","claim_data":{"alternating":false,"claim":"one_signed_coefficients","from_index":0},"label":"Coefficients of one sign","description":"Every nonzero row, n >= 0: the coefficients of P_n have one sign","region_exact":null,"edges":["e-bc0b86b7da83bbc9"]},{"id":186468,"position":2,"claim":"hadamard_kernel","from_index":0,"region_key":null,"provenance":"derived_from_edges","claim_data":{"claim":"hadamard_kernel","from_index":0},"label":"Hadamard kernel (Malo)","description":"Rows P_n, n >= 0, are Hadamard kernels (preserve real-rootedness)","region_exact":null,"edges":["e-bc0b86b7da83bbc9"]}],"region_exact":{},"incoming_edges":[{"id":"e-bc0b86b7da83bbc9","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"mobius\",\"a\":\"1\",\"b\":\"0\",\"c\":\"1\",\"e\":\"1\",\"schedule\":{\"first_index\":0,\"first_degree\":0,\"step\":1}}"},"operation_detail":"mobius, shift 0","conclusion_id":"n-95452b52aae7dbf2","premise_count":1,"theorem":"a real affine substitution x -> a x + b (a != 0), the reversal x^d p(1/x) (d >= deg p) and a real Mobius map (c x + e)^d p((a x + b)/(c x + e)) (a e - b c != 0, d >= deg p) map real roots to real roots: a root r of p gives the root (r - b)/a, 1/r (and 0) or (e r - b)/(a - c r) (and -e/c); for an input row that is a polynomial the degree condition holds automatically","lean_route":"fTransform","lean_declarations":["RealRooted.splits_fPolynomial"],"certificate_hash":"15164aad1599504fa0b2872ae8378e5690d495029156ca1dd927bd7c8cf5149e","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"lower":{"closed":true,"value":"-1"},"upper":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-20a6b63b1c7531be","role":"sequence","name":"basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*1^j.","uses":{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},"uses_text":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, 0]"}]}],"used_by":[],"used_by_total":0,"links":[{"id":"l-1b2a38eb8d7b94f7","kind":"candidate_equal","node_a_id":"n-95452b52aae7dbf2","node_b_id":"n-7153e756699bb014","fingerprint":null,"oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"reason":"no all-index equality certificate was found","rows_compared":15},"other_id":"n-7153e756699bb014","other":{"id":"n-7153e756699bb014","name":"reversal of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*9^j.","first_index":0,"fingerprint":"f6-6bae7ffb6b8d3725","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["9","11"],["81","198","121"]],"card_rows":[["1"],["9","11"],["81","198","121"],["729","2673","3267","1331"]],"row_sums_preview":["1","20","400","8000","160000","3200000","64000000","1280000000"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-4e096b5929fd3f2e","steps":["reverse"],"edges":["e-381fdb511447f5c3"],"text":"A038323 \u2192 reverse"},"headline":"A038323 \u2192 reverse","chain":null}},{"id":"l-364f7df0011ec2db","kind":"fingerprint_related","node_a_id":"n-95452b52aae7dbf2","node_b_id":"n-8156764a6e294c62","fingerprint":"f6-6bae7ffb6b8d3725","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6bae7ffb6b8d3725"},"other_id":"n-8156764a6e294c62","other":{"id":"n-8156764a6e294c62","name":"reversal of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*11^j.","first_index":0,"fingerprint":"f6-6bae7ffb6b8d3725","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["22","18"],["484","792","324"]],"card_rows":[["1"],["22","18"],["484","792","324"],["10648","26136","21384","5832"]],"row_sums_preview":["1","40","1600","64000","2560000","102400000","4096000000","163840000000"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-b7cf68162d40a956","steps":["basis A013609","reverse"],"edges":["e-59f75239fe41171d","e-78c6f1d51c77ef97"],"text":"A038277 \u2192 basis A013609 \u2192 reverse"},"headline":"A038277 \u2192 basis A013609 \u2192 reverse","chain":null}},{"id":"l-45a6ca00286651cf","kind":"fingerprint_related","node_a_id":"n-4e096b5929fd3f2e","node_b_id":"n-95452b52aae7dbf2","fingerprint":"f6-6bae7ffb6b8d3725","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6bae7ffb6b8d3725"},"other_id":"n-4e096b5929fd3f2e","other":{"id":"n-4e096b5929fd3f2e","name":"Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*9^j.","first_index":0,"fingerprint":"f6-6bae7ffb6b8d3725","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["11","9"],["121","198","81"]],"card_rows":[["1"],["11","9"],["121","198","81"],["1331","3267","2673","729"]],"row_sums_preview":["1","20","400","8000","160000","3200000","64000000","1280000000"],"regions":["(-inf, 0)","(-inf, 0]"],"region_exact":{},"oeis_ids":["A038323"],"derivation":{"root":"n-4e096b5929fd3f2e","steps":[],"edges":[],"text":"A038323"},"headline":"A038323: Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*9^j.","chain":null}},{"id":"l-5a40a4aa6e28da28","kind":"fingerprint_related","node_a_id":"n-95452b52aae7dbf2","node_b_id":"n-1f17a7a2f7f54d5c","fingerprint":"f6-6bae7ffb6b8d3725","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6bae7ffb6b8d3725"},"other_id":"n-1f17a7a2f7f54d5c","other":{"id":"n-1f17a7a2f7f54d5c","name":"derivative of basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*11^j.","first_index":0,"fingerprint":"f6-6bae7ffb6b8d3725","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["22"],["792","968"]],"card_rows":[["22"],["792","968"],["21384","52272","31944"],["513216","1881792","2299968","937024"]],"row_sums_preview":["0","22","1760","105600","5632000","281600000","13516800000","630784000000"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-b7cf68162d40a956","steps":["basis A013609","D"],"edges":["e-59f75239fe41171d","e-f8b03decdafd3042"],"text":"A038277 \u2192 basis A013609 \u2192 D"},"headline":"A038277 \u2192 basis A013609 \u2192 D","chain":null}},{"id":"l-69d614c5d2e637b5","kind":"fingerprint_related","node_a_id":"n-4113d906b9d95b00","node_b_id":"n-95452b52aae7dbf2","fingerprint":"f6-6bae7ffb6b8d3725","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6bae7ffb6b8d3725"},"other_id":"n-4113d906b9d95b00","other":{"id":"n-4113d906b9d95b00","name":"basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*3^j.","first_index":0,"fingerprint":"f6-6bae7ffb6b8d3725","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["121","198","81"],["1331","3267","2673","729"],["14641","47916","58806","32076","6561"]],"card_rows":[["121","198","81"],["1331","3267","2673","729"],["14641","47916","58806","32076","6561"],["161051","658845","1078110","882090","360855","59049"]],"row_sums_preview":["400","8000","160000","3200000","64000000","1280000000","25600000000","512000000000"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cfc5b48d32898a3e","steps":["reverse"],"edges":["e-9b28f01504767b0f"],"text":"A038301 \u2192 reverse"},"headline":"A038301 \u2192 reverse","chain":null}},{"id":"l-88fb82835d29a0bd","kind":"fingerprint_related","node_a_id":"n-b2ae2bce0e1523fc","node_b_id":"n-95452b52aae7dbf2","fingerprint":"f6-6bae7ffb6b8d3725","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6bae7ffb6b8d3725"},"other_id":"n-b2ae2bce0e1523fc","other":{"id":"n-b2ae2bce0e1523fc","name":"basis_map_A013609 of Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*11^j.","first_index":0,"fingerprint":"f6-6bae7ffb6b8d3725","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["18","22"],["324","792","484"]],"card_rows":[["1"],["18","22"],["324","792","484"],["5832","21384","26136","10648"]],"row_sums_preview":["1","40","1600","64000","2560000","102400000","4096000000","163840000000"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-b7cf68162d40a956","steps":["basis A013609"],"edges":["e-59f75239fe41171d"],"text":"A038277 \u2192 basis A013609"},"headline":"A038277 \u2192 basis A013609","chain":null}},{"id":"l-9cc6961155e9b11a","kind":"fingerprint_related","node_a_id":"n-95452b52aae7dbf2","node_b_id":"n-521827c5e15e2360","fingerprint":"f6-6bae7ffb6b8d3725","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6bae7ffb6b8d3725"},"other_id":"n-521827c5e15e2360","other":{"id":"n-521827c5e15e2360","name":"basis_map_A013609 of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*3^j.","first_index":0,"fingerprint":"f6-6bae7ffb6b8d3725","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["484","792","324"],["10648","26136","21384","5832"],["234256","766656","940896","513216","104976"]],"card_rows":[["484","792","324"],["10648","26136","21384","5832"],["234256","766656","940896","513216","104976"],["5153632","21083040","34499520","28226880","11547360","1889568"]],"row_sums_preview":["1600","64000","2560000","102400000","4096000000","163840000000","6553600000000","262144000000000"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-4397e742863fdbe2","steps":["basis A013610","basis A013609"],"edges":["e-c80be26a429cc3fc","e-9512493cef2d9dab"],"text":"A038305 \u2192 basis A013610 \u2192 basis A013609"},"headline":"A038305 \u2192 basis A013610 \u2192 basis A013609","chain":null}},{"id":"l-9f583d829ac6624c","kind":"fingerprint_related","node_a_id":"n-cfc5b48d32898a3e","node_b_id":"n-95452b52aae7dbf2","fingerprint":"f6-6bae7ffb6b8d3725","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6bae7ffb6b8d3725"},"other_id":"n-cfc5b48d32898a3e","other":{"id":"n-cfc5b48d32898a3e","name":"Triangle whose (i,j)-th entry is binomial(i,j)*9^(i-j)*11^j.","first_index":0,"fingerprint":"f6-6bae7ffb6b8d3725","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["81","198","121"],["729","2673","3267","1331"],["6561","32076","58806","47916","14641"]],"card_rows":[["81","198","121"],["729","2673","3267","1331"],["6561","32076","58806","47916","14641"],["59049","360855","882090","1078110","658845","161051"]],"row_sums_preview":["400","8000","160000","3200000","64000000","1280000000","25600000000","512000000000"],"regions":["(-inf, 0)","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cfc5b48d32898a3e","steps":[],"edges":[],"text":"A038301"},"headline":"Triangle whose (i,j)-th entry is binomial(i,j)*9^(i-j)*11^j.","chain":null}},{"id":"l-bc56fc78f7af2ffe","kind":"fingerprint_related","node_a_id":"n-95452b52aae7dbf2","node_b_id":"n-6a03653d7a50bc7a","fingerprint":"f6-6bae7ffb6b8d3725","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6bae7ffb6b8d3725"},"other_id":"n-6a03653d7a50bc7a","other":{"id":"n-6a03653d7a50bc7a","name":"derivative of Triangle whose (i,j)-th entry is binomial(i,j)*9^(i-j)*11^j.","first_index":0,"fingerprint":"f6-6bae7ffb6b8d3725","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["198","242"],["2673","6534","3993"],["32076","117612","143748","58564"]],"card_rows":[["198","242"],["2673","6534","3993"],["32076","117612","143748","58564"],["360855","1764180","3234330","2635380","805255"]],"row_sums_preview":["440","13200","352000","8800000","211200000","4928000000","112640000000","2534400000000"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cfc5b48d32898a3e","steps":["D"],"edges":["e-4169abb442691e46"],"text":"A038301 \u2192 D"},"headline":"A038301 \u2192 D","chain":null}},{"id":"l-c020cfec7d5433b4","kind":"fingerprint_related","node_a_id":"n-95452b52aae7dbf2","node_b_id":"n-ec8e2539152ade57","fingerprint":"f6-6bae7ffb6b8d3725","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6bae7ffb6b8d3725"},"other_id":"n-ec8e2539152ade57","other":{"id":"n-ec8e2539152ade57","name":"derivative of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*8^(i-j)*3^j.","first_index":0,"fingerprint":"f6-6bae7ffb6b8d3725","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["198","162"],["3267","5346","2187"],["47916","117612","96228","26244"]],"card_rows":[["198","162"],["3267","5346","2187"],["47916","117612","96228","26244"],["658845","2156220","2646270","1443420","295245"]],"row_sums_preview":["360","10800","288000","7200000","172800000","4032000000","92160000000","2073600000000"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cfc5b48d32898a3e","steps":["reverse","D"],"edges":["e-9b28f01504767b0f","e-bf8ca1b977f10a19"],"text":"A038301 \u2192 reverse \u2192 D"},"headline":"A038301 \u2192 reverse \u2192 D","chain":null}},{"id":"l-c1fb46d83f4e884f","kind":"fingerprint_related","node_a_id":"n-95452b52aae7dbf2","node_b_id":"n-3890397b83a674f9","fingerprint":"f6-6bae7ffb6b8d3725","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-6bae7ffb6b8d3725"},"other_id":"n-3890397b83a674f9","other":{"id":"n-3890397b83a674f9","name":"derivative of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*9^j.","first_index":0,"fingerprint":"f6-6bae7ffb6b8d3725","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["9"],["198","162"]],"card_rows":[["9"],["198","162"],["3267","5346","2187"],["47916","117612","96228","26244"]],"row_sums_preview":["0","9","360","10800","288000","7200000","172800000","4032000000"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-4e096b5929fd3f2e","steps":["D"],"edges":["e-8b0042cde2dad276"],"text":"A038323 \u2192 D"},"headline":"A038323 \u2192 D","chain":null}}],"oeis":[],"bfiles":[],"oeis_texts":[{"oeis_id":"","target":"node","first_row":0,"oeis_offset":0,"reversed":false,"trim_zeros":"none","regular_triangle":false,"rows_shown":10,"polytool_commit":"c48629374597092cc41ef4d6273f37991516f984","triangle_example":"Triangle begins:\n  0:         1;\n  1:         9,         11;\n  2:        81,        198,         121;\n  3:       729,       2673,        3267,        1331;\n  4:      6561,      32076,       58806,       47916,        14641;\n  5:     59049,     360855,      882090,     1078110,       658845,       161051;\n  6:    531441,    3897234,    11908215,    19405980,     17788815,      8696754,      1771561;\n  7:   4782969,   40920957,   150043509,   305644185,    373565115,    273947751,    111608343,    19487171;\n  8:  43046721,  420901272,  1800522108,  4401276264,   6724172070,   6574746024,   4017900348,  1403076312,   214358881;\n  9: 387420489, 4261625379, 20834612964, 59417229564, 108931587534, 133138606986, 108483309396, 56824590636, 17363069361, 2357947691;\n","recurrence_sentence":"The row polynomials satisfy (1+x)*P(n,x) = (9+20*x+11*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 1.","mathematica":"P[0, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[Together[((9 + 20*x + 11*x^2)*P[n - 1, x])/(1 + x)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 1; for(n = 1, N, my(i = n + 1); v[i] = ((9 + 20*x + 11*x^2)*v[i - 1])/(1 + x)); v};\nrow(n, p) = {my(c = Vecrev(p)); c};\nT(N) = {my(v = P(N)); concat(vector(#v, i, row(i - 1, v[i])))};\nT(9)","reading":{"first_row":0,"offset":0,"reversed":false,"trim_zeros":"none","regular_triangle":false}}],"derivation":{"root":"n-366b2525683554ec","steps":["basis A013609","x \u21a6 x/(x+1)"],"edges":["e-0da8e8e5bf86fd8d","e-bc0b86b7da83bbc9"],"text":"A038279 \u2192 basis A013609 \u2192 x \u21a6 x/(x+1)"},"headline":"A038279 \u2192 basis A013609 \u2192 x \u21a6 x/(x+1)","chain":null}