{"certification":{"candidate":{"gauge":{"kind":"none"},"index_shift":0,"operator":{"coefficients":[{"denominator":["1"],"numerator":["1"]},{"denominator":["1"],"numerator":["2"]},{"denominator":["1"],"numerator":["1"]}],"shape":"euler_polynomial"},"parent":{"first_index":0,"initial_polynomials":[["1"],["2"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["1","1"]]},"deriv_order":0,"offset":2,"sign":"none"}]},"schema":"polytool.recurrence.v1"},"parent_name":"Triangle T(n,k), read by rows, given by (2, -1/2, -1/2, 0, 0, 0, 0, 0, 0, 0, ...) DELTA (0, 1/2, -1/2, 0, 0, 0, 0, 0, 0, 0, ...) where DELTA is the operator defined in A084938."},"identifying_rows":2,"identity":{"certificate":{"certificate":{"dividend_relation":{"terms":[{"coeff":{"coeffs":[["25","60","-211","-902","-1200","-688","-144"],["0","75","150","-248","-813","-658","-168"],["0","0","60","70","-122","-205","-73"],["0","0","0","15","8","-21","-14"],["0","0","0","0","1","0","-1"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["0","75","180","-633","-2706","-3600","-2064","-432"],["0","0","225","450","-744","-2439","-1974","-504"],["0","0","0","180","210","-366","-615","-219"],["0","0","0","0","45","24","-63","-42"],["0","0","0","0","0","3","0","-3"]]},"deriv_order":1,"shift":0},{"coeff":{"coeffs":[["0","0","25","60","-211","-902","-1200","-688","-144"],["0","0","0","75","150","-248","-813","-658","-168"],["0","0","0","0","60","70","-122","-205","-73"],["0","0","0","0","0","15","8","-21","-14"],["0","0","0","0","0","0","1","0","-1"]]},"deriv_order":2,"shift":0},{"coeff":{"coeffs":[["25","-40","-366","-578","-343","-66"],["0","75","-10","-363","-379","-100"],["0","0","60","-20","-122","-53"],["0","0","0","15","-9","-12"],["0","0","0","0","1","-1"]]},"deriv_order":0,"shift":1},{"coeff":{"coeffs":[["0","75","-120","-1098","-1734","-1029","-198"],["0","0","225","-30","-1089","-1137","-300"],["0","0","0","180","-60","-366","-159"],["0","0","0","0","45","-27","-36"],["0","0","0","0","0","3","-3"]]},"deriv_order":1,"shift":1},{"coeff":{"coeffs":[["0","0","25","-40","-366","-578","-343","-66"],["0","0","0","75","-10","-363","-379","-100"],["0","0","0","0","60","-20","-122","-53"],["0","0","0","0","0","15","-9","-12"],["0","0","0","0","0","0","1","-1"]]},"deriv_order":2,"shift":1},{"coeff":{"coeffs":[["-25","40","261","338","178","36"],["0","-75","45","298","251","60"],["0","0","-60","35","105","37"],["0","0","0","-15","11","10"],["0","0","0","0","-1","1"]]},"deriv_order":0,"shift":2},{"coeff":{"coeffs":[["0","-75","120","783","1014","534","108"],["0","0","-225","135","894","753","180"],["0","0","0","-180","105","315","111"],["0","0","0","0","-45","33","30"],["0","0","0","0","0","-3","3"]]},"deriv_order":1,"shift":2},{"coeff":{"coeffs":[["0","0","-25","40","261","338","178","36"],["0","0","0","-75","45","298","251","60"],["0","0","0","0","-60","35","105","37"],["0","0","0","0","0","-15","11","10"],["0","0","0","0","0","0","-1","1"]]},"deriv_order":2,"shift":2}]},"exceptional_bases":[],"gauge":{"kind":"none"},"identifying_indices":[0,1],"index_shift":0,"input":{"first_index":0,"initial_polynomials":[["1"],["2"]],"recurrence":{"denominator":{"coeffs":[["-25","190","-69","2","-8","0"],["0","-75","285","-22","-5","0"],["0","0","-60","125","15","1"],["0","0","0","-15","19","2"],["0","0","0","0","-1","1"]]},"terms":[{"coeff":{"coeffs":[["-25","90","271","246","110","24","4"],["0","-75","90","348","261","90","12"],["0","0","-60","20","146","79","13"],["0","0","0","-15","0","21","6"],["0","0","0","0","-1","0","1"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["-25","190","106","52","-15","-2"],["0","-75","250","103","31","0"],["0","0","-60","110","44","5"],["0","0","0","-15","17","4"],["0","0","0","0","-1","1"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"},"input_valid_from_base":0,"multiplier":["1"],"operator":{"coefficients":[{"denominator":["1"],"numerator":["1"]},{"denominator":["1"],"numerator":["2"]},{"denominator":["1"],"numerator":["1"]}],"shape":"euler_polynomial"},"parent":{"first_index":0,"initial_polynomials":[["1"],["2"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["1","1"]]},"deriv_order":0,"offset":2,"sign":"none"}]},"schema":"polytool.recurrence.v1"},"parent_leader_shift":2,"parent_valid_from_base":0,"quotients":[{"differentiations":[{"coeff":{"coeffs":[["-18225000","-123930000","-135594000","1518069600","8413534800","22939145568","40675260672","50979284928","46696421592","31579428528","15662850768","5559039072","1340800128","197448192","13436928"],["18225000","32805000","-502281000","-2797464600","-6002002800","-3778546968","10646106048","32565602232","46133668584","41587023888","25500542472","10680281568","2942220672","482609664","35831808"],["-6075000","37665000","344817000","563371200","-1272979800","-6129764424","-9138182184","-3449392776","8687942064","16566822432","14674058496","7840033416","2587456224","488985984","40684032"],["675000","-17685000","-35883000","230380200","864658800","612555696","-1717058304","-4000821120","-2803966632","1004425272","3317839704","2722242168","1164522528","265196160","25505280"],["0","2025000","-10935000","-57861000","2457000","309747240","432726408","-137707560","-802128744","-622193616","88366032","423578160","279975744","82411776","9538560"],["0","0","1620000","-702000","-19488600","-20338560","43337160","84828384","2603448","-91421568","-63235080","13222224","33034176","14411520","2128896"],["0","0","0","405000","432000","-2246400","-3356640","3047760","7215264","285120","-5825952","-2752920","1272672","1261440","262656"],["0","0","0","0","27000","37800","-93960","-151416","106056","227448","-24408","-151848","-28512","38016","13824"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","-54675000","-371790000","-406782000","4554208800","25240604400","68817436704","122025782016","152937854784","140089264776","94738285584","46988552304","16677117216","4022400384","592344576","40310784"],["0","54675000","98415000","-1506843000","-8392393800","-18006008400","-11335640904","31938318144","97696806696","138401005752","124761071664","76501627416","32040844704","8826662016","1447828992","107495424"],["0","-18225000","112995000","1034451000","1690113600","-3818939400","-18389293272","-27414546552","-10348178328","26063826192","49700467296","44022175488","23520100248","7762368672","1466957952","122052096"],["0","2025000","-53055000","-107649000","691140600","2593976400","1837667088","-5151174912","-12002463360","-8411899896","3013275816","9953519112","8166726504","3493567584","795588480","76515840"],["0","0","6075000","-32805000","-173583000","7371000","929241720","1298179224","-413122680","-2406386232","-1866580848","265098096","1270734480","839927232","247235328","28615680"],["0","0","0","4860000","-2106000","-58465800","-61015680","130011480","254485152","7810344","-274264704","-189705240","39666672","99102528","43234560","6386688"],["0","0","0","0","1215000","1296000","-6739200","-10069920","9143280","21645792","855360","-17477856","-8258760","3818016","3784320","787968"],["0","0","0","0","0","81000","113400","-281880","-454248","318168","682344","-73224","-455544","-85536","114048","41472"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","-18225000","-123930000","-135594000","1518069600","8413534800","22939145568","40675260672","50979284928","46696421592","31579428528","15662850768","5559039072","1340800128","197448192","13436928"],["0","0","18225000","32805000","-502281000","-2797464600","-6002002800","-3778546968","10646106048","32565602232","46133668584","41587023888","25500542472","10680281568","2942220672","482609664","35831808"],["0","0","-6075000","37665000","344817000","563371200","-1272979800","-6129764424","-9138182184","-3449392776","8687942064","16566822432","14674058496","7840033416","2587456224","488985984","40684032"],["0","0","675000","-17685000","-35883000","230380200","864658800","612555696","-1717058304","-4000821120","-2803966632","1004425272","3317839704","2722242168","1164522528","265196160","25505280"],["0","0","0","2025000","-10935000","-57861000","2457000","309747240","432726408","-137707560","-802128744","-622193616","88366032","423578160","279975744","82411776","9538560"],["0","0","0","0","1620000","-702000","-19488600","-20338560","43337160","84828384","2603448","-91421568","-63235080","13222224","33034176","14411520","2128896"],["0","0","0","0","0","405000","432000","-2246400","-3356640","3047760","7215264","285120","-5825952","-2752920","1272672","1261440","262656"],["0","0","0","0","0","0","27000","37800","-93960","-151416","106056","227448","-24408","-151848","-28512","38016","13824"]]},"deriv_order":2}],"shift":0}],"row_annihilation":{"kind":"system","system":{"generators":[{"annihilator":{"terms":[{"coeff":{"coeffs":[["-12","0","0"],["4","-5","1"],["-1","2","-1"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["-16","8","14","-6"],["5","-6","-3","4"]]},"deriv_order":1,"shift":0},{"coeff":{"coeffs":[["-5","1","9","-1","-4"]]},"deriv_order":2,"shift":0},{"coeff":{"coeffs":[["6"]]},"deriv_order":0,"shift":1}]},"quotient":[{"coeff":{"coeffs":[["0","0","-12757500","-136323000","-664556400","-1953253440","-3852648360","-5368181040","-5412854160","-3974624640","-2105978940","-783558360","-193739040","-28460160","-1866240"],["0","0","17010000","138631500","468722700","777731220","366371100","-1097530884","-2712926844","-3164477220","-2297229660","-1087016760","-327206304","-56951424","-4354560"],["0","0","-8505000","-45927000","-64686600","109272240","487409400","630481968","168628392","-520412688","-776725200","-536553720","-210161952","-45007488","-4105728"],["0","0","1890000","3996000","-15190200","-57946320","-41356440","84644784","177543576","95354064","-57013848","-108125712","-63854784","-17922816","-2018304"],["0","0","-157500","522000","3189600","785160","-12204360","-15918696","5427072","23653368","13239684","-5301288","-8946144","-3740544","-548352"],["0","0","0","-67500","-4500","603900","648540","-1032300","-1840284","148500","1674612","721800","-400032","-374400","-78336"],["0","0","0","0","-9000","-12600","31320","50472","-35352","-75816","8136","50616","9504","-12672","-4608"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","0","-38272500","-408969000","-1993669200","-5859760320","-11557945080","-16104543120","-16238562480","-11923873920","-6317936820","-2350675080","-581217120","-85380480","-5598720"],["0","0","0","51030000","415894500","1406168100","2333193660","1099113300","-3292592652","-8138780532","-9493431660","-6891688980","-3261050280","-981618912","-170854272","-13063680"],["0","0","0","-25515000","-137781000","-194059800","327816720","1462228200","1891445904","505885176","-1561238064","-2330175600","-1609661160","-630485856","-135022464","-12317184"],["0","0","0","5670000","11988000","-45570600","-173838960","-124069320","253934352","532630728","286062192","-171041544","-324377136","-191564352","-53768448","-6054912"],["0","0","0","-472500","1566000","9568800","2355480","-36613080","-47756088","16281216","70960104","39719052","-15903864","-26838432","-11221632","-1645056"],["0","0","0","0","-202500","-13500","1811700","1945620","-3096900","-5520852","445500","5023836","2165400","-1200096","-1123200","-235008"],["0","0","0","0","0","-27000","-37800","93960","151416","-106056","-227448","24408","151848","28512","-38016","-13824"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","0","0","-12757500","-136323000","-664556400","-1953253440","-3852648360","-5368181040","-5412854160","-3974624640","-2105978940","-783558360","-193739040","-28460160","-1866240"],["0","0","0","0","17010000","138631500","468722700","777731220","366371100","-1097530884","-2712926844","-3164477220","-2297229660","-1087016760","-327206304","-56951424","-4354560"],["0","0","0","0","-8505000","-45927000","-64686600","109272240","487409400","630481968","168628392","-520412688","-776725200","-536553720","-210161952","-45007488","-4105728"],["0","0","0","0","1890000","3996000","-15190200","-57946320","-41356440","84644784","177543576","95354064","-57013848","-108125712","-63854784","-17922816","-2018304"],["0","0","0","0","-157500","522000","3189600","785160","-12204360","-15918696","5427072","23653368","13239684","-5301288","-8946144","-3740544","-548352"],["0","0","0","0","0","-67500","-4500","603900","648540","-1032300","-1840284","148500","1674612","721800","-400032","-374400","-78336"],["0","0","0","0","0","0","-9000","-12600","31320","50472","-35352","-75816","8136","50616","9504","-12672","-4608"]]},"deriv_order":2}],"step_multiplier":{"coeffs":[["729000","6123600","22832280","49595328","69161688","64210320","39686760","15746400","3639168","373248"],["-729000","-4665600","-12043080","-14719968","-4846392","9797760","14725800","9214560","2892672","373248"],["243000","1069200","1389960","-497664","-2793528","-2087856","445176","1391904","715392","124416"],["-27000","-64800","29160","180576","74520","-152928","-128520","23328","51840","13824"]]},"step_quotients":[[{"coeff":{"coeffs":[["-364500","-3426300","-14477940","-36213804","-59378508","-66686004","-51948540","-27716580","-9692784","-2006208","-186624","0"],["607500","4617000","14823000","25087320","20765808","-865080","-21261528","-24037560","-14079420","-4739472","-855360","-62208"],["-486000","-2867400","-6230520","-4243752","5690088","13053960","8166744","-2031480","-6051672","-3786912","-1088640","-124416"],["216000","896400","835920","-1464048","-3299184","-903312","2722032","2530224","29808","-976320","-504576","-82944"],["-49500","-114300","109260","434196","57924","-593748","-334332","319068","305352","-22176","-88704","-23040"],["4500","1800","-21960","-9576","42912","20232","-41976","-21240","20556","11088","-4032","-2304"]]},"deriv_order":0},{"coeff":{"coeffs":[["-1336500","-10983600","-38481480","-72330408","-70446672","-11351016","58909032","79025544","49932612","16168248","1547424","-528768","-124416"],["1944000","12684600","31726080","30583008","-15839712","-67779504","-60365088","-4968864","31749408","27521208","10660896","1959552","124416"],["-1053000","-5038200","-6752160","4878144","20739888","13863312","-11384064","-20476800","-6970536","5042088","5212512","1731456","207360"],["252000","757800","-156960","-2608416","-1813824","2855664","3784896","-494496","-2682144","-933336","537696","422784","78336"],["-22500","-27000","102600","135720","-176256","-272808","128952","274104","-17820","-137664","-24192","27648","9216"]]},"deriv_order":1},{"coeff":{"coeffs":[["-607500","-4981500","-16912800","-28460160","-16627032","24523560","57884544","45217440","2312388","-25506252","-23561280","-10544256","-2488320","-248832"],["607500","3766500","8164800","3382560","-15215688","-25934904","-7426080","20093184","22811868","5006772","-6951744","-6065280","-1990656","-248832"],["-202500","-850500","-615600","2209680","3989736","-416664","-5752944","-3420144","2513916","3421116","565056","-860544","-497664","-82944"],["22500","49500","-75600","-238320","40536","449064","143856","-403056","-256284","155484","161856","-3456","-36864","-9216"]]},"deriv_order":2}],[{"coeff":{"coeffs":[["0","81000","356400","382320","-522288","-1394496","-530064","1079568","1159920","90072","-422496","-238464","-41472"],["-391500","-1844100","-2328480","2134512","7594776","4234248","-4933008","-7068816","-1612332","2117340","1635984","426816","34560"],["130500","344700","-195840","-1251504","-505512","1559016","1370448","-615024","-1077372","-164484","261648","127296","16128"],["13500","18900","-60480","-94608","100008","189432","-65232","-189648","-2052","94932","21168","-19008","-6912"],["-4500","2700","23760","-12384","-52488","22680","62208","-20736","-41796","9468","15120","-1728","-2304"]]},"deriv_order":0},{"coeff":{"coeffs":[["364500","2292300","5154840","2681424","-8803080","-16849944","-6619968","11745648","15662484","4663980","-4213944","-4326048","-1544832","-207360"],["94500","240300","-272160","-1146096","-56808","2126088","1058832","-1849392","-1531548","648108","907632","36288","-200448","-55296"],["-139500","-258300","536760","1259856","-591912","-2424168","-209952","2264112","906228","-971388","-661752","97632","160128","32256"],["22500","4500","-129600","-33120","311976","96552","-401760","-145152","291924","119844","-113472","-51840","18432","9216"]]},"deriv_order":1},{"coeff":{"coeffs":[["-202500","-1053000","-1466100","1594080","6199416","3573072","-6169608","-9173088","-906228","5935032","3986172","-295488","-1358208","-580608","-82944"],["135000","432000","-156600","-1883520","-1186704","2937600","3557520","-1555200","-3956040","-604800","1904040","950400","-241920","-276480","-55296"],["-22500","-27000","125100","162720","-278856","-408528","305208","546912","-146772","-411768","-6372","165312","33408","-27648","-9216"]]},"deriv_order":2}]]},{"annihilator":{"terms":[{"coeff":{"coeffs":[["0","0"],["-6","-3"],["7","2"],["-1","1"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["18","36","18"],["-31","-35","-6"],["5","-1","-4"]]},"deriv_order":1,"shift":0},{"coeff":{"coeffs":[["15","42","39","12"],["-5","-4","5","4"]]},"deriv_order":2,"shift":0}]},"quotient":[{"coeff":{"coeffs":[["0","0","-4252500","-16281000","26584200","266386320","605886480","450973008","-609309864","-1910753712","-2330355420","-1692514440","-781348032","-224446464","-36329472","-2488320"],["0","0","4252500","5953500","-55703700","-172321020","-54333180","450487980","718741188","96726636","-887047848","-1211603832","-799888608","-298007424","-59761152","-4976640"],["0","0","-1417500","2065500","20943900","2689740","-105188220","-128055708","110829492","325469988","165996648","-151846704","-245464992","-137206656","-36398592","-3815424"],["0","0","157500","-949500","-1142100","9005940","11643300","-23645412","-45649116","7344540","61344432","34889040","-16211808","-25225344","-10142208","-1419264"],["0","0","0","67500","-238500","-557100","1575900","3003084","-2372076","-6398532","-269100","5420664","2543328","-1277568","-1239552","-258048"],["0","0","0","0","9000","-23400","-81720","74808","237240","-65592","-311400","-18072","192960","50688","-46080","-18432"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","0","-12757500","-81040500","-167378400","37353960","791927280","1543613760","1262540520","-45013320","-1147052340","-1227038220","-686688840","-224765280","-40590720","-3110400"],["0","0","0","12757500","49248000","-1425600","-272610360","-406253880","191624616","1081790640","1050700248","52417692","-715890312","-672205392","-296851392","-67080960","-6220800"],["0","0","0","-4252500","-3996000","38734200","63799920","-91444680","-271499040","-75869568","326206224","353519964","24132384","-179771832","-133874208","-40915584","-4769280"],["0","0","0","472500","-1746000","-6067800","9024120","30532680","-7973496","-68380704","-30830616","55696068","56441160","-876744","-23141088","-11376000","-1774080"],["0","0","0","0","202500","-243000","-1639800","851400","5473872","281592","-8285256","-3523176","5373036","4010976","-801792","-1377792","-322560"],["0","0","0","0","0","27000","-7200","-156960","5184","358416","50688","-403488","-111168","224568","85536","-49536","-23040"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","0","0","-4252500","-32683500","-102205800","-151282080","-52283880","180237960","310048560","184252320","-40780260","-141294780","-102905640","-38607840","-7620480","-622080"],["0","0","0","0","4252500","21141000","25174800","-48561120","-158562360","-114777648","107549856","238466592","126121860","-45304920","-92032848","-49719744","-12503808","-1244160"],["0","0","0","0","-1417500","-2592000","10157400","29503440","1888920","-65648880","-61884000","29793744","77000868","31351536","-18187416","-21453984","-7558272","-953856"],["0","0","0","0","157500","-477000","-2370600","962640","9614520","4343328","-14122512","-13681008","6023916","12511656","2769624","-3304800","-2072448","-354816"],["0","0","0","0","0","67500","-36000","-543600","-100800","1435464","762624","-1655280","-1323072","776556","941472","-16128","-244224","-64512"],["0","0","0","0","0","0","9000","3600","-43920","-19152","85824","40464","-83952","-42480","41112","22176","-8064","-4608"]]},"deriv_order":2}],"step_multiplier":{"coeffs":[["729000","6123600","22832280","49595328","69161688","64210320","39686760","15746400","3639168","373248"],["-729000","-4665600","-12043080","-14719968","-4846392","9797760","14725800","9214560","2892672","373248"],["243000","1069200","1389960","-497664","-2793528","-2087856","445176","1391904","715392","124416"],["-27000","-64800","29160","180576","74520","-152928","-128520","23328","51840","13824"]]},"step_quotients":[[{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0"],["607500","5589000","23109300","56550960","90698292","99616392","75879180","39579840","13530240","2737152","248832"],["-121500","315900","7178220","31795092","73585260","105375492","98769780","61065900","24101712","5520960","559872"],["-405000","-3564000","-12830400","-23797800","-21418344","-283824","21048336","23861304","13149216","3784320","456192"],["261000","1499400","3028320","1442592","-3740184","-6238296","-2473488","2151216","2749248","1145088","175104"],["-58500","-203400","-88020","459288","582804","-157464","-635292","-249336","166752","150912","32256"],["4500","6300","-15660","-25236","17676","37908","-4068","-25308","-4752","6336","2304"]]},"deriv_order":0},{"coeff":{"coeffs":[["-972000","-8164800","-29471040","-57962304","-61772544","-19486656","39299904","64618560","48063456","20497536","4852224","497664"],["-1579500","-19707300","-104290740","-315265284","-610774668","-799645932","-722340828","-448893900","-186664824","-48701088","-6936192","-373248"],["2835000","24381000","88614000","172202760","175561344","40978872","-128707056","-186860520","-127717560","-49748256","-10585728","-953856"],["-1422000","-8920800","-20872440","-16800624","15985944","44925984","31975416","-4287600","-21308904","-14396256","-4358016","-520704"],["297000","1243800","1178640","-2019816","-4614048","-1288152","3800304","3545352","41976","-1365984","-703872","-115200"],["-22500","-49500","53100","188820","12564","-260244","-131292","142812","124992","-12672","-36864","-9216"]]},"deriv_order":1},{"coeff":{"coeffs":[["1215000","14823000","82182600","274113720","613139544","969626376","1112249880","932900328","568056240","244975104","71041536","12441600","995328"],["-1822500","-17982000","-77468400","-187926480","-269650296","-197490960","26621136","227584080","259645500","162627264","61430400","13188096","1244160"],["1012500","7695000","23409000","32383800","5942160","-46344312","-66949416","-30183192","17954460","31389120","18050688","5059584","580608"],["-247500","-1332000","-2228400","479520","5839704","5733216","-1793520","-6756768","-3661164","1055808","1971072","820224","119808"],["22500","72000","-3600","-241920","-201384","247680","391536","-11520","-267804","-112320","49536","46080","9216"]]},"deriv_order":2}],[{"coeff":{"coeffs":[["972000","8488800","33164640","76598784","116655552","124102368","95745888","55080000","23942304","7661952","1617408","165888"],["621000","6026400","23688720","48231072","49885632","10091520","-39128400","-53029728","-33211080","-11222496","-1855872","-96768"],["-868500","-5189400","-11180520","-6897672","11679120","23584968","12387240","-5818392","-10747260","-5580432","-1270080","-99072"],["157500","513000","131400","-1253160","-1313280","669960","1576440","379080","-526140","-320400","-25920","11520"],["22500","63000","-34200","-235800","-88272","313272","245016","-155016","-200916","-1584","55872","16128"],["-4500","-1800","21960","9576","-42912","-20232","41976","21240","-20556","-11088","4032","2304"]]},"deriv_order":0},{"coeff":{"coeffs":[["-1944000","-17463600","-68791680","-152867088","-199630656","-125612208","43898112","176210640","184591872","110981664","41046912","8750592","829440"],["985500","6442200","16806960","19240416","-1071576","-31788720","-39886128","-16473888","11260188","19141272","11476512","3438720","428544"],["238500","1400400","2463120","-584928","-6642504","-5995584","2837520","7492320","3133764","-1660176","-1956672","-652032","-73728"],["-184500","-586800","47160","1988856","1587312","-2087496","-3130776","197352","2164356","846360","-414432","-358272","-69120"],["22500","27000","-102600","-135720","176256","272808","-128952","-274104","17820","137664","24192","-27648","-9216"]]},"deriv_order":1},{"coeff":{"coeffs":[["405000","3726000","14191200","27332640","21698928","-15878592","-55409184","-51915168","-9916344","23837328","25878528","12566016","3151872","331776"],["-472500","-3199500","-7754400","-4855680","12555864","26212680","11261376","-17813088","-24487812","-7287516","6575040","6638976","2322432","304128"],["180000","801000","691200","-1971360","-4030272","-32400","5609088","3823200","-2257632","-3576600","-726912","864000","534528","92160"],["-22500","-49500","75600","238320","-40536","-449064","-143856","403056","256284","-155484","-161856","3456","36864","9216"]]},"deriv_order":2}]]}],"restart_bases":[],"row_multiplier":{"coeffs":[["729000","6123600","22832280","49595328","69161688","64210320","39686760","15746400","3639168","373248"],["-729000","-4665600","-12043080","-14719968","-4846392","9797760","14725800","9214560","2892672","373248"],["243000","1069200","1389960","-497664","-2793528","-2087856","445176","1391904","715392","124416"],["-27000","-64800","29160","180576","74520","-152928","-128520","23328","51840","13824"]]},"start_base":0}},"shifted_parent_relation":{"terms":[{"coeff":{"coeffs":[["-1","-1"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["-1"]]},"deriv_order":0,"shift":1},{"coeff":{"coeffs":[["1"]]},"deriv_order":0,"shift":2}]},"statement":"w(n) E = sum_nu H_nu S^nu L' (with any remainder removed by row annihilators of the parent), where L' is the parent rule at P'_n = P_(n+0) (valid from base 0) and E the input rule gauged by lambda(n)/delta(n) and composed with (or conjugated through) T = f(n, theta) = 1 + (2) theta + (1) theta^2; so the candidate rows satisfy the input rule at every base n >= 0 (the exceptional bases checked exactly), and agreement on the 2 identifying rows gives Q_n = lambda(n) T_n(P_(n+0)) for every n >= 0"},"method":"operator_division"},"status":"certified"},"input_first_index":0,"interlacing":{"reason":"no parent theorem report with an interlacing conclusion","status":"none"},"lean_declarations":["RealRooted.isMultiplierSequence_eval_of_roots_nonpos","RealRooted.isPFMultiplierSequence_eval_of_roots_nonpos","RealRooted.isMultiplierSequence_iff_preserves"],"lift_summary":{"hypotheses":[{"evidence":"the polynomial with ascending coefficients [1, 2, 1] is fixed; exact check: real-rooted = true, coefficients of one sign = true","name":"euler_polynomial_roots_nonpositive","statement":"the polynomial in theta is real-rooted with every root <= 0 for every n >= n0","status":{"kind":"verified"}},{"evidence":"lambda(n) = 1","name":"gauge_finite_nonzero","statement":"lambda(n) is finite and nonzero for every n >= n0","status":{"kind":"verified"}},{"evidence":"delta(n) != 0 for every integer n in [0, +inf) (exact; Taylor shift: the coefficients of delta(n) at n = 0 + u have one sign)","name":"operator_coefficients_defined","sign_decision":{"certificate":{"condition":"nonzero","denominator":["1"],"method":{"kind":"taylor_shift","shifted_denominator":["1"],"shifted_numerator":["1"]},"numerator":["1"],"range":{"first":"0","last":null}},"decision":"holds"},"statement":"the operator coefficients are finite at every n >= n0 (their denominators do not vanish)","status":{"kind":"verified"}}],"identity":{"method":"forward_division","status":"certified"},"input_first_index":0,"input_interlacing":{"reason":"no parent theorem report with an interlacing conclusion","status":"not_proved"},"lean_replay":"not_attempted","operation":{"description":"f(n, theta) = 1 + (2) theta + (1) theta^2","kind":"preserver_image","operator":{"coefficients":[{"denominator":["1"],"numerator":["1"]},{"denominator":["1"],"numerator":["2"]},{"denominator":["1"],"numerator":["1"]}],"shape":"euler_polynomial"}},"parent":{"gauge":{"kind":"none"},"index_shift":0,"recurrence":{"first_index":0,"initial_polynomials":[["1"],["2"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["1","1"]]},"deriv_order":0,"offset":2,"sign":"none"}]},"schema":"polytool.recurrence.v1"},"relation":"Q_n = lambda(n) T_n(P_(n+0)) with T = f(n, theta) = 1 + (2) theta + (1) theta^2, for every n >= 0"},"parent_proof":{"route":"liu_wang_three_term","statement":"every parent row P_n, n >= 0, is zero or real-rooted with coefficients of one sign","status":"proved"},"root_transfer":{"input_conclusion":"every Q_n, n >= 0, is zero or real-rooted with roots in (-inf, 0]","input_root_region":{"upper":{"closed":true,"value":"0"}},"parent_hypothesis":"every parent row used is zero or real-rooted with all roots in (-inf, 0] (coefficients of one sign)","parent_root_region":{"upper":{"closed":true,"value":"0"}},"theorem":"Laguerre's theorem on multiplier sequences: if f is a real polynomial whose roots are all real and <= 0, then (f(k))_(k >= 0) is a multiplier sequence, so x^k -> f(k) x^k maps every real-rooted polynomial to a real-rooted polynomial or zero (Laguerre; see T. Craven and G. Csordas, Multiplier sequences for fields, Illinois J. Math. 21 (1977); Polya--Schur, Theorem 40 of P. Branden, arXiv:1410.6601: sum_k f(k) x^k / k! = f(theta) e^x = C e^x x^m prod (1 + x/a_j), a_j > 0); f(k) has one sign for k >= 0, so coefficients of one sign stay of one sign; applied to f(n, .) for each n"},"verdict":"proved"},"notes":["the division remainder is removed by row annihilators of the shifted parent"],"parent_proof":{"attempts":[{"detail":"the rule is not P_(n+k) = c(x) P_n with c free of n","route":"periodic_product","success":false,"variant":"P_(n+k) = c(x) P_n"},{"detail":"not applicable: expected one nonzero lag term","route":"product_recurrence","success":false,"variant":"product_recurrence"},{"detail":"no theorem matched (weighted_renewal_window: support must satisfy offset = 1 + ell * t_degree; fixed_delay_predecessor_window: only P_(n-1) and one term w(n) t P_(n-L) are supported)","route":"paper_theorem","success":false,"variant":"match_recurrence_theorems"},{"detail":"not applicable: c_2(n, x) = gamma(n) w(x) with w neither constant nor a constant times a square (x + v_0)^2","route":"three_term_recurrence","success":false,"variant":"three_term_recurrence"},{"detail":"not applicable: the rule is not f(n) P_n = c_0(n, x) P_(n-1) + c_1(n, x) P'_(n-1)","route":"liu_wang","success":false,"variant":"liu_wang"},{"detail":"HypothesisFailed: P_n = A_n(x) P_(n-1) + V_n(x) P'_(n-1) + W_n(x) P_(n-2) for n >= 2, with A_n(x) = (1), V_n(x) = 0, W_n(x) = (1) + (1) x; open hypotheses: seed_degree_step: degrees 0 and 0 (exact); seed_strict_interlacing: the Bezout test fails or the degrees do not differ by one (exact); degree_step_positive: fails at n = 2: lambda_n = 0 = 0 there (exact); multipliers_vanish_at_zero: [x^0] c_2(n, x) = 1 is not the zero polynomial; lag_coefficient_nonpositive: W_n is not separable with a factor of one sign on (-inf, 0), and the sufficient monomial test (-1)^k [x^k] W_n <= 0 fails for k = 0 (not a disproof): fails at n = 2: [x^0] W_n = 1 there (exact); derivative_or_lag_coefficient_negative: W_n is not separable with a factor of one sign on (-inf, 0), and the sufficient monomial test (-1)^k [x^k] W_n <= 0 fails for k = 0 (not a disproof): fails at n = 2: [x^0] W_n = 1 there (exact)","route":"liu_wang_derivative_lag","success":false,"variant":"liu_wang_derivative_lag"},{"detail":"not applicable: the rule is not f(n) P_n = c_0(n, x) P_(n-1) + gamma(n) (x - L)(x - U) P'_(n-1)","route":"ma_wang_interval","success":false,"variant":"ma_wang_interval"},{"detail":"P_n = A_n(x) P_(n-1) + B_n(x) P_(n-2) for n >= 2, with A_n(x) = (1), B_n(x) = (1) + (1) x: every P_n, n >= 0, is nonzero and real-rooted with every root in (-inf, -1] (so its coefficients have one sign); for n >= 1, P_(n-1) interlaces P_n (weakly, in the sense of Liu and Wang), and deg P_n - deg P_(n-1) is 0 or 1 for n >= 2","route":"liu_wang_three_term","success":true,"variant":"liu_wang_three_term"}],"conditional_on":[],"interlacing":{"from_index":1,"justification":{"premises":["every hypothesis of the theorem is verified exactly for every index: P_n = A_n(x) P_(n-1) + B_n(x) P_(n-2) for n >= 2, with A_n(x) = (1), B_n(x) = (1) + (1) x","every P_n, n >= 0, is nonzero and real-rooted with every root in (-inf, -1] (so its coefficients have one sign); for n >= 1, P_(n-1) interlaces P_n (weakly, in the sense of Liu and Wang), and deg P_n - deg P_(n-1) is 0 or 1 for n >= 2"],"theorem":"liu_wang_three_term: L. L. Liu and Y. Wang, Adv. Appl. Math. 38 (2007) 542-560, Theorem 2.1 and Corollary 2.4 (A unified approach to polynomial sequences with only real zeros; the lag row as the interlacer, b_n = 0), weak interlacing of consecutive rows, with nonnegativity of the coefficients replaced, where a root region is certified, by an exact root-location induction"},"kind":"weak","orientation":"previous_interlaces_next"},"route":"liu_wang_three_term","rows_checked":10,"statement":"every parent row P_n, n >= 0, is zero or real-rooted with coefficients of one sign","status":"proved"},"rows_compared":16,"schema":"polytool.recurrence-preserver-image.v1","statement":"proved: Q_n = lambda(n) T_n(P_(n+0)) with T = f(n, theta) = 1 + (2) theta + (1) theta^2 for every n >= 0, the side conditions hold for every n, and every parent row P_n, n >= 0, is zero or real-rooted with coefficients of one sign; so every Q_n, n >= 0, is zero or real-rooted with roots in (-inf, 0]"},"kind":"preserver_image"}