{"certification":{"candidate":{"gauge":{"kind":"none"},"index_shift":0,"operator":{"coefficients":[{"denominator":["1"],"numerator":["1"]},{"denominator":["1"],"numerator":["1"]}],"shape":"derivative_polynomial"},"parent":{"first_index":0,"initial_polynomials":[["0"],["1"],["2","8"]],"recurrence":{"denominator":{"coeffs":[["2"],["-3"],["1"]]},"terms":[{"coeff":{"coeffs":[["0","0","0"],["1","4","-9"],["-1","-4","9"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["0","0","0","0"],["0","0","-4","-4"],["0","0","4","4"]]},"deriv_order":1,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["0","0"],["-4","-8"],["2","4"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","0","0"],["0","0","8"],["0","0","-4"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"},"parent_name":"theta_plus_one_squared of Exponential Riordan array [x*exp(x),x]."},"identifying_rows":2,"identity":{"certificate":{"certificate":{"dividend_relation":{"terms":[{"coeff":{"coeffs":[["-1","-4","-6","-4","-1"],["-5","-14","-18","-12","-3"],["-4","-15","-20","-12","-3"],["0","-5","-9","-5","-1"],["0","0","-1","-1","0"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["-1","-4","-6","-4","-1"],["-5","-14","-18","-12","-3"],["-4","-15","-20","-12","-3"],["0","-5","-9","-5","-1"],["0","0","-1","-1","0"]]},"deriv_order":1,"shift":0},{"coeff":{"coeffs":[["0","0","0","0"],["-3","2","-1","0"],["4","-4","3","0"],["0","5","0","1"],["0","0","1","0"]]},"deriv_order":0,"shift":1},{"coeff":{"coeffs":[["0","0","0","0"],["-3","2","-1","0"],["4","-4","3","0"],["0","5","0","1"],["0","0","1","0"]]},"deriv_order":1,"shift":1}]},"exceptional_bases":[],"gauge":{"kind":"none"},"identifying_indices":[0,1],"index_shift":0,"input":{"first_index":0,"initial_polynomials":[["0"],["1"]],"recurrence":{"denominator":{"coeffs":[["7","-11","5","-1"],["-11","25","-11","3"],["4","-19","9","-3"],["0","5","-4","1"],["0","0","1","0"]]},"terms":[{"coeff":{"coeffs":[["0","0","0","0","0"],["-3","-1","1","-1","0"],["4","0","-1","3","0"],["0","5","5","1","1"],["0","0","1","1","0"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"},"input_valid_from_base":1,"multiplier":["0","0","1"],"operator":{"coefficients":[{"denominator":["1"],"numerator":["1"]},{"denominator":["1"],"numerator":["1"]}],"shape":"derivative_polynomial"},"parent":{"first_index":0,"initial_polynomials":[["0"],["1"],["2","8"]],"recurrence":{"denominator":{"coeffs":[["2"],["-3"],["1"]]},"terms":[{"coeff":{"coeffs":[["0","0","0"],["1","4","-9"],["-1","-4","9"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["0","0","0","0"],["0","0","-4","-4"],["0","0","4","4"]]},"deriv_order":1,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["0","0"],["-4","-8"],["2","4"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","0","0"],["0","0","8"],["0","0","-4"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"},"parent_leader_shift":2,"parent_valid_from_base":1,"quotients":[],"row_annihilation":{"kind":"system","system":{"generators":[{"annihilator":{"terms":[{"coeff":{"coeffs":[["-1381","-44","-1"],["4229","6","-5"],["-2850","630","6"],["0","-600","0"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["-3720","-745","-26","-1"],["2400","1620","-36","-6"],["0","600","600","0"]]},"deriv_order":1,"shift":0},{"coeff":{"coeffs":[["-750","-750"]]},"deriv_order":2,"shift":0},{"coeff":{"coeffs":[["0"],["1"]]},"deriv_order":0,"shift":1}]},"quotient":[{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0","0","0","0"],["-3","2","8","-6","-6","6","0","-2","1","0","0","0","0"],["4","-31","-18","75","12","-57","14","13","-12","0","0","0","0"],["0","41","-90","-206","129","177","-96","-8","57","-4","0","0","0"],["0","0","166","18","-507","-180","228","-90","-103","36","0","0","0"],["0","0","0","339","492","-228","-369","102","-21","-105","6","0","0"],["0","0","0","0","375","843","447","-3","114","60","-36","0","0"],["0","0","0","0","0","231","621","536","188","93","47","-4","0"],["0","0","0","0","0","0","79","230","228","94","29","12","0"],["0","0","0","0","0","0","0","14","42","43","17","3","1"],["0","0","0","0","0","0","0","0","1","3","3","1","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0","0","0","0"],["-3","2","8","-6","-6","6","0","-2","1","0","0","0","0"],["4","-31","-18","75","12","-57","14","13","-12","0","0","0","0"],["0","41","-90","-206","129","177","-96","-8","57","-4","0","0","0"],["0","0","166","18","-507","-180","228","-90","-103","36","0","0","0"],["0","0","0","339","492","-228","-369","102","-21","-105","6","0","0"],["0","0","0","0","375","843","447","-3","114","60","-36","0","0"],["0","0","0","0","0","231","621","536","188","93","47","-4","0"],["0","0","0","0","0","0","79","230","228","94","29","12","0"],["0","0","0","0","0","0","0","14","42","43","17","3","1"],["0","0","0","0","0","0","0","0","1","3","3","1","0"]]},"deriv_order":1}],"step_multiplier":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0","0","0"],["0","0","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","-4","0","6","0","-4","0","1","0","0","0","0"],["0","12","12","-36","-36","36","36","-12","-12","0","0","0","0"],["0","0","58","112","-66","-228","-42","120","50","-4","0","0","0"],["0","0","0","144","396","180","-360","-360","-36","36","0","0","0"],["0","0","0","0","195","660","696","84","-249","-96","6","0","0"],["0","0","0","0","0","144","540","720","360","0","-36","0","0"],["0","0","0","0","0","0","58","228","332","208","42","-4","0"],["0","0","0","0","0","0","0","12","48","72","48","12","0"],["0","0","0","0","0","0","0","0","1","4","6","4","1"]]},"step_quotients":[[{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["2","0","-8","0","12","0","-8","0","2","0","0","0","0","0","0"],["-1467","-506","5899","2048","-8902","-3108","5982","2096","-1519","-530","7","0","0","0","0"],["-4319","-19304","-6559","53560","45878","-44640","-54874","5816","19945","4568","-71","0","0","0","0"],["-2850","-53598","-145908","-52436","238376","265228","-24444","-157920","-67494","-1246","2320","-28","0","0","0"],["0","-34800","-305942","-709744","-395062","584080","838488","243600","-124246","-82040","-11942","200","0","0","0"],["0","0","-172500","-1050996","-2229381","-1731138","386865","1392504","741207","105246","-14025","-3408","42","0","0"],["0","0","0","-445200","-2292885","-4566744","-4147297","-1188912","702043","582632","127929","7840","-174","0","0"],["0","0","0","0","-642150","-3085686","-5920776","-5642360","-2598056","-345562","120456","35092","1982","-28","0"],["0","0","0","0","0","-527400","-2440382","-4525472","-4245088","-2074240","-476550","-33832","1108","32","0"],["0","0","0","0","0","0","-251700","-1128288","-2010591","-1793882","-825871","-181604","-15989","-370","7"],["0","0","0","0","0","0","0","-69000","-299159","-508264","-421453","-171352","-29593","-1576","13"],["0","0","0","0","0","0","0","0","-10050","-41970","-67374","-50796","-17094","-1746","6"],["0","0","0","0","0","0","0","0","0","-600","-2400","-3600","-2400","-600","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["-1320","1475","5810","-5907","-10040","8878","8460","-5942","-3440","1503","530","-7","0","0","0","0"],["1080","-11545","-770","54387","416","-93962","-7428","71014","11288","-19965","-4586","71","0","0","0","0"],["2400","16380","-19900","-43036","117044","106372","-182536","-151476","81568","74080","1396","-2320","28","0","0","0"],["0","29400","133080","153350","6588","-14916","-38068","-242928","-183252","63100","81852","11994","-200","0","0","0"],["0","0","146400","637080","1101080","935657","212406","-585117","-906732","-561915","-117218","13681","3408","-42","0","0"],["0","0","0","380400","1755480","3427605","3686826","2172549","226032","-697563","-504942","-127677","-7908","174","0","0"],["0","0","0","0","554400","2730420","5741520","6759200","4799408","1915638","233220","-109500","-34800","-1982","28","0"],["0","0","0","0","0","462600","2364120","5121350","6134116","4413426","1900912","436778","33972","-1066","-32","0"],["0","0","0","0","0","0","225600","1168920","2536700","2983967","2051666","822387","176848","15917","370","-7"],["0","0","0","0","0","0","0","63600","328920","702695","795198","506229","176236","29409","1566","-13"],["0","0","0","0","0","0","0","0","9600","49020","101840","109154","62616","17624","1736","-6"],["0","0","0","0","0","0","0","0","0","600","3000","6000","6000","3000","600","0"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["-750","-750","3000","3000","-4500","-4500","3000","3000","-750","-750","0","0","0","0"],["-750","-9750","-15000","21000","49500","-4500","-51000","-15000","17250","8250","0","0","0","0"],["0","-9000","-61500","-109500","19500","220500","148500","-76500","-109500","-25500","3000","0","0","0"],["0","0","-43500","-235500","-439500","-211500","337500","481500","169500","-34500","-24000","0","0","0"],["0","0","0","-108000","-551250","-1073250","-882000","-45000","420750","258750","40500","-4500","0","0"],["0","0","0","0","-146250","-749250","-1530000","-1530000","-686250","-11250","94500","22500","0","0"],["0","0","0","0","0","-108000","-556500","-1159500","-1230000","-675000","-160500","-1500","3000","0"],["0","0","0","0","0","0","-43500","-223500","-465000","-495000","-277500","-73500","-6000","0"],["0","0","0","0","0","0","0","-9000","-45750","-93750","-97500","-52500","-12750","-750"],["0","0","0","0","0","0","0","0","-750","-3750","-7500","-7500","-3750","-750"]]},"deriv_order":2}],[{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["-2105280","-5363880","-2050120","3623808","1811068","-159144","1949316","1902384","395044","-3168","-28","0","0","0","0"],["12622170","30008730","2938105","-41167395","-38453496","-26782004","-28547658","-16120734","-2559466","61410","345","-7","0","0","0"],["-22168050","-24137940","113761865","273507846","249494786","139769290","63028284","9626838","-7089032","-1722126","16147","92","0","0","0"],["-4653000","-130943550","-434587260","-505450761","-97013238","303240315","342445617","191902209","58028541","5270535","-202473","-540","21","0","0"],["32242500","117634500","-96060900","-1015745760","-1899435948","-1658138196","-709343655","-85250412","53409657","24686760","2343111","-32172","-45","0","0"],["0","189067500","877725000","1374760050","321705840","-1574236431","-2152665264","-1279652010","-390625596","-54467160","-468336","199656","-60","-21","0"],["0","0","430425000","2104708500","4069789200","3746286480","1292580990","-458855370","-570120862","-196655622","-28210838","-993802","26622","-74","0"],["0","0","0","537952500","2632320000","5248289550","5420143290","3012659535","809102059","44454579","-21391917","-3216463","-33567","171","7"],["0","0","0","0","396900000","1898185500","3698111550","3753776460","2106232691","639297168","95274767","5269908","2697","-7276","55"],["0","0","0","0","0","175432500","810333000","1507125900","1434771660","734327208","194675316","23773884","856836","-22596","84"],["0","0","0","0","0","0","45382500","201015000","352133700","306012360","134624976","26945304","1809156","-22296","36"],["0","0","0","0","0","0","0","6300000","26604000","43408800","33595200","11872800","1375200","-7200","0"],["0","0","0","0","0","0","0","0","360000","1440000","2160000","1440000","360000","0","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["-4182150","-8652900","1136855","9419040","221375","-2310372","3865238","1974876","-1031264","-430296","-10061","-348","7","0","0","0"],["15811350","21128550","-38866615","-69551635","-19870680","-12028000","-25040578","3043494","13950898","3408802","15633","-1211","-8","0","0","0"],["-7029000","62815950","239948730","238266515","27790735","-72027259","-88993674","-102065028","-46612872","9106","1939280","44737","801","-21","0","0"],["-27022500","-143298000","-127752300","379058040","931249020","858840684","411684393","56522991","-86250651","-57954873","-8676993","69405","7239","-39","0","0"],["0","-176332500","-852034500","-1528875150","-1002090870","494878665","1367623251","1085518662","430535706","57813792","-14179596","-3200808","-51804","-453","21","0"],["0","0","-444330000","-2166223500","-4320924600","-4411591500","-2148059550","45626520","678607008","374060676","80959776","4121004","-269184","-9648","102","0"],["0","0","0","-575527500","-2853292500","-5897855850","-6558906000","-4159465635","-1368453340","-72392112","100704764","27063494","1769936","554","84","-7"],["0","0","0","0","-417825000","-2090713500","-4365297450","-4927135830","-3243865465","-1233123955","-233799333","-7236287","2744677","170523","3467","-55"],["0","0","0","0","0","-178177500","-894919500","-1866106200","-2085861540","-1344591220","-497615744","-96646660","-7108900","30880","14900","-84"],["0","0","0","0","0","0","-44617500","-224320500","-464249100","-506991780","-310254840","-103446096","-16431084","-775476","18636","-36"],["0","0","0","0","0","0","0","-6120000","-30744000","-62810400","-66194400","-37353600","-10358400","-1005600","7200","0"],["0","0","0","0","0","0","0","0","-360000","-1800000","-3600000","-3600000","-1800000","-360000","0","0"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["-2655000","-4357500","4390500","8944500","-1747500","-5188500","949500","973500","-943500","-372000","6000","0","0","0"],["3757500","-8385000","-46786500","-32922000","34864500","39087000","1561500","132000","6642000","2088000","-39000","0","0","0"],["6412500","46710000","64743000","-76287000","-235822500","-162832500","-6534000","27234000","8067000","3193500","1134000","-18000","0","0"],["0","50737500","265770000","511317000","353605500","-166167000","-438030000","-293202000","-94468500","-18616500","-2745000","63000","0","0"],["0","0","149850000","754425000","1546740000","1603251000","781924500","15642000","-167139000","-72531000","-11605500","-999000","18000","0"],["0","0","0","208687500","1069200000","2274502500","2580606000","1656787500","575631000","84631500","-1404000","-585000","-9000","0"],["0","0","0","0","148500000","768780000","1649137500","1884787500","1226145000","448149000","84763500","7081500","246000","-6000"],["0","0","0","0","0","56587500","292477500","620899500","691713000","426829500","140365500","21334500","1080000","-15000"],["0","0","0","0","0","0","11137500","56880000","117888000","125493000","70879500","19248000","1707000","-9000"],["0","0","0","0","0","0","0","900000","4500000","9000000","9000000","4500000","900000","0"]]},"deriv_order":2},{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0","0","0"],["-562500","-1125000","1125000","3375000","0","-3375000","-1125000","1125000","562500","0","0","0"],["-562500","-6187500","-14062500","-1687500","25312500","21937500","-6187500","-14062500","-4500000","0","0","0"],["0","-5062500","-32062500","-70875000","-52312500","33750000","79312500","43875000","5062500","-1687500","0","0"],["0","0","-16875000","-91125000","-194062500","-194062500","-67500000","33750000","35437500","8437500","0","0"],["0","0","0","-25312500","-133312500","-285187500","-312187500","-177187500","-42187500","1687500","1687500","0"],["0","0","0","0","-16875000","-87750000","-185625000","-202500000","-118125000","-33750000","-3375000","0"],["0","0","0","0","0","-5062500","-25875000","-53437500","-56250000","-30937500","-7875000","-562500"],["0","0","0","0","0","0","-562500","-2812500","-5625000","-5625000","-2812500","-562500"]]},"deriv_order":3}]]},{"annihilator":{"terms":[{"coeff":{"coeffs":[["4","-2","0"],["-4","7","0"],["0","-5","1"],["0","0","-1"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["1","0","-1","0"],["0","3","3","0"],["0","0","1","1"]]},"deriv_order":1,"shift":0}]},"quotient":[{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0","0","0","0"],["-4399","-3795","7230","3894","-4288","596","1482","-694","-25","-1","0","0","0"],["22146","31","-66663","-12820","37187","-13354","-10873","8140","203","3","0","0","0"],["-34770","71011","192415","-51496","-121494","75370","18776","-37702","2358","105","3","0","0"],["17400","-151920","-148892","308146","178709","-180006","24538","71978","-24067","-510","0","0","0"],["0","87150","-124800","-458617","-2279","267215","-72112","-24314","66905","-3879","-162","-3","0"],["0","0","145500","93750","-342682","-249662","84929","-24499","-44720","23732","285","-9","0"],["0","0","0","111000","163350","-99533","-204610","-45374","-22963","-27399","2998","82","1"],["0","0","0","0","42750","78420","-9698","-79103","-36140","-9326","-6878","49","6"],["0","0","0","0","0","8100","16020","90","-15444","-8172","-1152","-594","0"],["0","0","0","0","0","0","600","1200","0","-1200","-600","0","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0","0","0","0"],["-6660","-4545","12512","4644","-8068","1346","2240","-1444","-24","-1","0","0","0"],["20580","-19550","-86804","9081","58164","-22413","-10140","14879","200","3","0","0","0"],["-15600","102750","137129","-172469","-149142","94141","-9706","-57237","4604","103","3","0","0"],["0","-94500","81270","457539","120006","-191022","78228","70461","-37536","-510","0","0","0"],["0","0","-211650","-237600","317305","361233","-27039","43733","82785","-6123","-161","-3","0"],["0","0","0","-233250","-490650","-179325","102972","-22569","-17298","30465","288","-9","0"],["0","0","0","0","-139500","-365280","-293425","-80080","-39911","-23802","3755","82","1"],["0","0","0","0","0","-46650","-134550","-130709","-51296","-15378","-6848","49","6"],["0","0","0","0","0","0","-8250","-24720","-25254","-9942","-1752","-594","0"],["0","0","0","0","0","0","0","-600","-1800","-1800","-600","0","0"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0","0"],["-2250","-750","5250","750","-3750","750","750","-750","0","0","0"],["3000","-13500","-24750","15750","22500","-9000","-750","6750","0","0","0"],["0","21750","-3000","-82500","-38250","26250","-15000","-19500","2250","0","0"],["0","0","56250","92250","-15750","-51750","18000","4500","-13500","0","0"],["0","0","0","63750","159000","117750","34500","30750","16500","-2250","0"],["0","0","0","0","33750","96750","94500","40500","15750","6750","0"],["0","0","0","0","0","8250","24750","25500","10500","2250","750"],["0","0","0","0","0","0","750","2250","2250","750","0"]]},"deriv_order":2}],"step_multiplier":{"coeffs":[["0","0","0","0","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0"],["1","0","-3","0","3","0","-1","0","0","0"],["0","9","9","-18","-18","9","9","0","0","0"],["0","0","30","57","-6","-60","-24","3","0","0"],["0","0","0","45","117","81","-9","-18","0","0"],["0","0","0","0","30","87","81","21","-3","0"],["0","0","0","0","0","9","27","27","9","0"],["0","0","0","0","0","0","1","3","3","1"]]},"step_quotients":[[{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0","0","0"],["-4","-3","11","9","-9","-9","1","3","1","0","0","0"],["-4","-44","-54","60","114","12","-50","-28","-6","0","0","0"],["0","-41","-231","-330","21","348","219","26","-9","-3","0","0"],["0","0","-166","-720","-1059","-459","276","306","85","9","0","0"],["0","0","0","-339","-1332","-1956","-1242","-222","87","33","3","0"],["0","0","0","0","-375","-1401","-1995","-1329","-402","-42","0","0"],["0","0","0","0","0","-231","-826","-1113","-694","-199","-24","-1"],["0","0","0","0","0","0","-79","-269","-336","-184","-41","-3"],["0","0","0","0","0","0","0","-14","-45","-51","-23","-3"],["0","0","0","0","0","0","0","0","-1","-3","-3","-1"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","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","3","0","-8","-6","6","8","0","-3","-1","0","0","0"],["1","15","41","21","-57","-81","-13","39","28","6","0","0","0"],["0","12","99","249","210","-93","-282","-177","-30","9","3","0","0"],["0","0","58","364","852","879","237","-294","-274","-85","-9","0","0"],["0","0","0","144","786","1725","1899","1023","156","-81","-33","-3","0"],["0","0","0","0","195","984","2028","2172","1263","372","42","0","0"],["0","0","0","0","0","144","685","1320","1311","704","195","24","1"],["0","0","0","0","0","0","58","261","467","418","192","41","3"],["0","0","0","0","0","0","0","12","51","84","66","24","3"],["0","0","0","0","0","0","0","0","1","4","6","4","1"]]},"deriv_order":1}],[{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0","0","0"],["746","3734","6734","3766","-3710","-6734","-3766","-766","-4","0","0","0"],["-5913","-15808","-2833","37115","61975","47809","18817","2885","-46","-1","0","0"],["4291","-31353","-139008","-182380","-81534","22280","38808","16296","2291","5","0","0"],["10950","67839","32769","-284126","-565486","-453783","-183073","-36632","-1722","142","2","0"],["0","79650","371610","573348","213050","-303678","-359262","-151820","-29790","-1884","8","0"],["0","0","209400","892995","1480797","1169663","409404","20598","-20261","-3999","-84","-1"],["0","0","0","251250","1005480","1586340","1247127","509673","103698","9306","255","-9"],["0","0","0","0","156000","586569","852030","598665","209484","34227","1926","-21"],["0","0","0","0","0","52050","183121","240453","143114","37084","3333","-19"],["0","0","0","0","0","0","8850","28920","33654","15942","2352","-6"],["0","0","0","0","0","0","0","600","1800","1800","600","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0","0","0","0"],["1470","6655","9731","974","-11046","-9884","-980","2226","824","29","1","0","0"],["-5430","-5435","35342","89527","76041","7827","-29769","-19879","-4187","-40","3","0","0"],["-6900","-64290","-136869","-36613","200325","270433","136921","18003","-8545","-2683","-84","-2","0"],["0","-52200","-307380","-658716","-593907","-81171","252576","192942","54657","4965","-138","-12","0"],["0","0","-144900","-719550","-1440195","-1445423","-699062","-73779","68420","25565","2592","43","1"],["0","0","0","-186000","-854550","-1602150","-1558803","-817002","-207219","-12966","2691","246","9"],["0","0","0","0","-121500","-533220","-946035","-864240","-426489","-107556","-11229","-216","21"],["0","0","0","0","0","-42600","-180960","-305471","-258265","-112550","-22970","-1555","19"],["0","0","0","0","0","0","-7800","-32220","-51624","-39546","-14094","-1746","6"],["0","0","0","0","0","0","0","-600","-2400","-3600","-2400","-600","0"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0"],["0","0","0","0","0","0","0","0","0","0","0"],["750","3000","3000","-3000","-7500","-3000","3000","3000","750","0","0"],["750","9750","31500","38250","4500","-33750","-34500","-14250","-2250","0","0"],["0","6750","51000","140250","180000","99750","-3000","-29250","-12000","-1500","0"],["0","0","22500","132750","319500","400500","274500","96750","13500","0","0"],["0","0","0","33750","174000","369000","411750","255750","85500","13500","750"],["0","0","0","0","22500","105750","200250","193500","99000","24750","2250"],["0","0","0","0","0","6750","29250","49500","40500","15750","2250"],["0","0","0","0","0","0","750","3000","4500","3000","750"]]},"deriv_order":2}]]}],"restart_bases":[],"row_multiplier":{"coeffs":[["1","0","-3","0","3","0","-1","0","0","0"],["0","9","9","-18","-18","9","9","0","0","0"],["0","0","30","57","-6","-60","-24","3","0","0"],["0","0","0","45","117","81","-9","-18","0","0"],["0","0","0","0","30","87","81","21","-3","0"],["0","0","0","0","0","9","27","27","9","0"],["0","0","0","0","0","0","1","3","3","1"]]},"start_base":1}},"shifted_parent_relation":{"terms":[{"coeff":{"coeffs":[["2","8","-18"],["3","12","-27"],["1","4","-9"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["0","0","-8","-8"],["0","0","-12","-12"],["0","0","-4","-4"]]},"deriv_order":1,"shift":0},{"coeff":{"coeffs":[["0","0"],["-4","-8"],["-2","-4"]]},"deriv_order":0,"shift":1},{"coeff":{"coeffs":[["0","0","0"],["0","0","8"],["0","0","4"]]},"deriv_order":1,"shift":1},{"coeff":{"coeffs":[["0"],["1"],["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 1) and E the input rule gauged by lambda(n)/delta(n) and composed with (or conjugated through) T = phi(n, D) = 1 + (1) D; so the candidate rows satisfy the input rule at every base n >= 1 (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.splits_add_C_mul_derivative_all","RealRooted.splits_C_mul_add_derivative","Polynomial.Splits.derivative"],"lift_summary":{"hypotheses":[{"evidence":"the polynomial with ascending coefficients [1, 1] is fixed; exact check: real-rooted = true, coefficients of one sign = true","name":"derivative_polynomial_real_rooted","statement":"the polynomial in D is real-rooted 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":"phi(n, D) = 1 + (1) D","kind":"preserver_image","operator":{"coefficients":[{"denominator":["1"],"numerator":["1"]},{"denominator":["1"],"numerator":["1"]}],"shape":"derivative_polynomial"}},"parent":{"gauge":{"kind":"none"},"index_shift":0,"recurrence":{"first_index":0,"initial_polynomials":[["0"],["1"],["2","8"]],"recurrence":{"denominator":{"coeffs":[["2"],["-3"],["1"]]},"terms":[{"coeff":{"coeffs":[["0","0","0"],["1","4","-9"],["-1","-4","9"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["0","0","0","0"],["0","0","-4","-4"],["0","0","4","4"]]},"deriv_order":1,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["0","0"],["-4","-8"],["2","4"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","0","0"],["0","0","8"],["0","0","-4"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"},"relation":"Q_n = lambda(n) T_n(P_(n+0)) with T = phi(n, D) = 1 + (1) D, for every n >= 0"},"parent_proof":{"statement":"open: no route proved that every parent row P_n, n >= 0, is zero or real-rooted with coefficients of one sign; the first 10 parent rows pass the exact check (evidence only)","status":"open"},"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 differential operators: if phi is a real polynomial with only real roots, then phi(D) maps every real-rooted polynomial to a real-rooted polynomial or zero (write phi(D) = C D^j prod (1 + c_i D); D preserves real-rootedness by Rolle's theorem and p + c p' is real-rooted for every real c by Rolle's theorem applied to e^(x/c) p; Polya--Schur 1914); when the coefficients of phi have one sign, coefficients of one sign stay of one sign; applied to phi(n, .) for each n"},"verdict":"open"},"notes":["the division remainder is removed by row annihilators of the shifted parent"],"parent_proof":{"attempts":[{"detail":"the leader is not a nonzero constant","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: LHS must be a nonzero constant; fixed_delay_predecessor_window: LHS must be a nonzero constant)","route":"paper_theorem","success":false,"variant":"match_recurrence_theorems"},{"detail":"not applicable: the rule is not f(n) P_n = c_1(n, x) P_(n-1) + c_2(n, x) P_(n-2) with both terms nonzero","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":"not applicable: the rule is not f(n) P_n = c_0(n, x) P_(n-1) + c_1(n, x) P'_(n-1) + c_2(n, x) P_(n-2) with a derivative or a lag term","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":"not applicable: the rule is not f(n) P_n = c_1(n, x) P_(n-1) + c_d(n, x) P'_(n-1) + c_2(n, x) P_(n-2) with a nonzero lag term and a nonzero P_(n-1) or P'_(n-1) term","route":"liu_wang_three_term","success":false,"variant":"liu_wang_three_term"},{"detail":"HypothesisFailed: row relation p(n, k) [x^k] P_n + q(n, k) [x^(k-1)] P_n = 0, n >= 1, with p = (-1) (k) (k) (k), q = (-1) (k - n) (k + 1) (k + 1); valuation v(n) = 0, degree d(n) = n - 1; open hypotheses: earlier_rows: P_0 fails the exact check","route":"hypergeometric_row","success":false,"variant":"hypergeometric_row"}],"conditional_on":[],"rows_checked":10,"statement":"open: no route proved that every parent row P_n, n >= 0, is zero or real-rooted with coefficients of one sign; the first 10 parent rows pass the exact check (evidence only)","status":"not_proved"},"rows_compared":16,"schema":"polytool.recurrence-preserver-image.v1","statement":"Q_n = lambda(n) T_n(P_(n+0)) with T = phi(n, D) = 1 + (1) D for every n >= 0 is certified; the lift is Open (open: no route proved that every parent row P_n, n >= 0, is zero or real-rooted with coefficients of one sign; the first 10 parent rows pass the exact check (evidence only))"},"kind":"preserver_image"}