{"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":[["1"],["2","2"],["3","8","3"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["3","3"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["-3","-6","-3"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["1","3","3","1"]]},"deriv_order":0,"offset":3,"sign":"none"}]},"schema":"polytool.recurrence.v1"},"parent_name":"Triangle read by rows: T(n, k) = (n-k+1)*(k+1)*binomial(n, k)."},"identifying_rows":4,"identity":{"certificate":{"certificate":{"dividend_relation":{"terms":[{"coeff":{"coeffs":[["72","240","288","144","24"],["-30","-60","0","60","30"],["-256","-762","-750","-238","6"],["-225","-675","-675","-225","0"],["-85","-255","-255","-85","0"],["-15","-45","-45","-15","0"],["-1","-3","-3","-1","0"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["96","336","432","240","48"],["0","60","180","180","60"],["-250","-738","-714","-214","12"],["-225","-675","-675","-225","0"],["-85","-255","-255","-85","0"],["-15","-45","-45","-15","0"],["-1","-3","-3","-1","0"]]},"deriv_order":1,"shift":0},{"coeff":{"coeffs":[["24","96","144","96","24"],["30","120","180","120","30"],["6","24","36","24","6"]]},"deriv_order":2,"shift":0},{"coeff":{"coeffs":[["-12","-36","-36","-12"],["42","36","-54","-48"],["441","870","417","-12"],["492","984","492","0"],["216","432","216","0"],["42","84","42","0"],["3","6","3","0"]]},"deriv_order":0,"shift":1},{"coeff":{"coeffs":[["-24","-72","-72","-24"],["-6","-108","-198","-96"],["429","834","381","-24"],["492","984","492","0"],["216","432","216","0"],["42","84","42","0"],["3","6","3","0"]]},"deriv_order":1,"shift":1},{"coeff":{"coeffs":[["-12","-36","-36","-12"],["-48","-144","-144","-48"],["-12","-36","-36","-12"]]},"deriv_order":2,"shift":1},{"coeff":{"coeffs":[["0","0","0"],["-54","-36","18"],["-288","-282","6"],["-369","-369","0"],["-183","-183","0"],["-39","-39","0"],["-3","-3","0"]]},"deriv_order":0,"shift":2},{"coeff":{"coeffs":[["0","0","0"],["-36","0","36"],["-282","-270","12"],["-369","-369","0"],["-183","-183","0"],["-39","-39","0"],["-3","-3","0"]]},"deriv_order":1,"shift":2},{"coeff":{"coeffs":[["0","0","0"],["18","36","18"],["6","12","6"]]},"deriv_order":2,"shift":2},{"coeff":{"coeffs":[["0"],["12"],["67"],["96"],["52"],["12"],["1"]]},"deriv_order":0,"shift":3},{"coeff":{"coeffs":[["0"],["12"],["67"],["96"],["52"],["12"],["1"]]},"deriv_order":1,"shift":3}]},"exceptional_bases":[],"gauge":{"kind":"none"},"identifying_indices":[0,1,2,3],"index_shift":0,"input":{"first_index":0,"initial_polynomials":[["1"],["4","2"],["11","14","3"],["22","54","30","4"]],"recurrence":{"denominator":{"coeffs":[["0"],["-12"],["-14"],["12"],["7"],["-6"],["1"]]},"terms":[{"coeff":{"coeffs":[["36","120","144","72","12"],["6","24","36","24","6"],["-14","-48","-60","-32","-6"],["15","45","45","15","0"],["-5","-15","-15","-5","0"],["-3","-9","-9","-3","0"],["1","3","3","1","0"]]},"deriv_order":0,"offset":3,"sign":"none"},{"coeff":{"coeffs":[["12","48","72","48","12"],["6","24","36","24","6"],["-6","-24","-36","-24","-6"]]},"deriv_order":1,"offset":3,"sign":"none"},{"coeff":{"coeffs":[["-24","-72","-72","-24"],["12","0","-36","-24"],["18","48","42","12"],["-60","-120","-60","0"],["9","18","9","0"],["12","24","12","0"],["-3","-6","-3","0"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["-24","-72","-72","-24"],["-24","-72","-72","-24"],["12","36","36","12"]]},"deriv_order":1,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["0","0","0"],["-54","-36","18"],["-36","-42","-6"],["63","63","0"],["3","3","0"],["-15","-15","0"],["3","3","0"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","0","0"],["18","36","18"],["-6","-12","-6"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"},"input_valid_from_base":1,"multiplier":["1"],"operator":{"coefficients":[{"denominator":["1"],"numerator":["1"]},{"denominator":["1"],"numerator":["1"]}],"shape":"derivative_polynomial"},"parent":{"first_index":0,"initial_polynomials":[["1"],["2","2"],["3","8","3"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["3","3"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["-3","-6","-3"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["1","3","3","1"]]},"deriv_order":0,"offset":3,"sign":"none"}]},"schema":"polytool.recurrence.v1"},"parent_leader_shift":3,"parent_valid_from_base":0,"quotients":[{"differentiations":[{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0","0","0"],["768","9216","50688","168960","380160","608256","709632","608256","380160","168960","50688","9216","768"],["7360","85248","455040","1480960","3274560","5184000","6026496","5184000","3274560","1480960","455040","85248","7360"],["27904","311552","1613312","5127424","11145984","17465856","20235264","17465856","11145984","5127424","1613312","311552","27904"],["56704","621568","3179392","10028032","21704832","33939456","39296256","33939456","21704832","10028032","3179392","621568","56704"],["68864","770048","4009472","12825856","28038144","44099328","51157504","44099328","28038144","12825856","4009472","770048","68864"],["51968","631296","3475200","11536384","25823680","41158912","47951488","41158912","25823680","11536384","3475200","631296","51968"],["24320","351744","2139648","7559680","17592320","28648448","33607168","28648448","17592320","7559680","2139648","351744","24320"],["6784","132096","940800","3655168","9008896","15133696","17928960","15133696","9008896","3655168","940800","132096","6784"],["1024","31744","289792","1295872","3467008","6085120","7309824","6085120","3467008","1295872","289792","31744","1024"],["64","4352","59264","327424","986816","1842176","2255616","1842176","986816","327424","59264","4352","64"],["0","256","7168","55552","199936","408064","513536","408064","199936","55552","7168","256","0"],["0","0","384","5632","26752","62464","81920","62464","26752","5632","384","0","0"],["0","0","0","256","2048","5888","8192","5888","2048","256","0","0","0"],["0","0","0","0","64","256","384","256","64","0","0","0","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0","0","0"],["768","9216","50688","168960","380160","608256","709632","608256","380160","168960","50688","9216","768"],["7360","85248","455040","1480960","3274560","5184000","6026496","5184000","3274560","1480960","455040","85248","7360"],["27904","311552","1613312","5127424","11145984","17465856","20235264","17465856","11145984","5127424","1613312","311552","27904"],["56704","621568","3179392","10028032","21704832","33939456","39296256","33939456","21704832","10028032","3179392","621568","56704"],["68864","770048","4009472","12825856","28038144","44099328","51157504","44099328","28038144","12825856","4009472","770048","68864"],["51968","631296","3475200","11536384","25823680","41158912","47951488","41158912","25823680","11536384","3475200","631296","51968"],["24320","351744","2139648","7559680","17592320","28648448","33607168","28648448","17592320","7559680","2139648","351744","24320"],["6784","132096","940800","3655168","9008896","15133696","17928960","15133696","9008896","3655168","940800","132096","6784"],["1024","31744","289792","1295872","3467008","6085120","7309824","6085120","3467008","1295872","289792","31744","1024"],["64","4352","59264","327424","986816","1842176","2255616","1842176","986816","327424","59264","4352","64"],["0","256","7168","55552","199936","408064","513536","408064","199936","55552","7168","256","0"],["0","0","384","5632","26752","62464","81920","62464","26752","5632","384","0","0"],["0","0","0","256","2048","5888","8192","5888","2048","256","0","0","0"],["0","0","0","0","64","256","384","256","64","0","0","0","0"]]},"deriv_order":1}],"shift":0}],"row_annihilation":{"kind":"system","system":{"generators":[{"annihilator":{"terms":[{"coeff":{"coeffs":[["-6","-16","-6","0"],["7","8","-2","-2"],["-7","2","-2","0"],["6","0","0","0"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["-12","0","-2","6","2"],["20","-6","0","2","0"],["-12","-6","0","0","0"]]},"deriv_order":1,"shift":0},{"coeff":{"coeffs":[["-1","4","5"],["6","6","0"]]},"deriv_order":2,"shift":0},{"coeff":{"coeffs":[["2"]]},"deriv_order":0,"shift":2}]},"quotient":[{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["576","6912","38592","133632","323136","582912","817344","912384","817344","582912","323136","133632","38592","6912","576"],["5952","66528","341184","1062336","2241216","3392544","3825216","3328128","2342592","1415712","758592","343488","116544","25056","2496"],["24672","263904","1298880","3885120","7849248","11245728","11655936","8749440","4708512","1830432","597696","240192","108000","32352","4224"],["54816","575328","2796096","8294400","16648032","23649696","24097536","17358336","8340192","2210208","10560","-172032","-21600","13152","3456"],["72480","775392","3839424","11579904","23568672","33859872","34791168","25155072","11972640","2924064","-293376","-462336","-129120","-8736","1344"],["59232","686496","3597120","11297280","23678688","34758336","36297600","26612160","12904800","3343296","-152832","-428160","-127776","-12384","192"],["29856","410400","2378496","7977216","17479872","26438208","28152768","20910144","10288320","2822592","56832","-235392","-68832","-5856","0"],["8928","164640","1117440","4132992","9642048","15163200","16498752","12359232","6090816","1707456","105984","-84480","-22176","-1248","0"],["1440","42144","366336","1563264","3977472","6583104","7342080","5514816","2675712","735168","59328","-19968","-3936","-96","0"],["96","6144","79488","419904","1208832","2142624","2460672","1841472","861312","220704","17856","-2880","-288","0","0"],["0","384","10176","75456","260640","508704","606528","448320","196512","44064","2880","-192","0","0","0"],["0","0","576","8064","36960","83232","104640","75456","29664","5280","192","0","0","0","0"],["0","0","0","384","2976","8352","11328","7872","2592","288","0","0","0","0","0"],["0","0","0","0","96","384","576","384","96","0","0","0","0","0","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["0","1152","14976","89856","329472","823680","1482624","1976832","1976832","1482624","823680","329472","89856","14976","1152"],["-2592","-28704","-141888","-402624","-679008","-526944","456192","1989504","3101472","3050784","2067648","972096","304992","57696","4992"],["-12960","-149664","-797760","-2588736","-5668704","-8743008","-9544320","-7049088","-2857824","349344","1378752","990144","389472","86112","8448"],["-26784","-310176","-1675776","-5581824","-12754272","-21027168","-25572096","-22980096","-14942304","-6599520","-1603584","61440","190560","60000","6912"],["-29472","-356256","-2004096","-6930816","-16409184","-28035936","-35487360","-33585024","-23626848","-12061536","-4228224","-889344","-61728","14688","2688"],["-18528","-253920","-1554432","-5705472","-14113344","-24940992","-32441280","-31434432","-22642368","-11922240","-4422144","-1073280","-144480","-5856","384"],["-6624","-116448","-818304","-3281664","-8618304","-15852480","-21141696","-20750784","-14983872","-7834944","-2862336","-682368","-92640","-5088","0"],["-1248","-33504","-292608","-1337472","-3814464","-7384512","-10127040","-10020288","-7154880","-3622464","-1248384","-270336","-31200","-1248","0"],["-96","-5472","-68352","-379776","-1217088","-2524224","-3582528","-3562944","-2484672","-1188288","-369408","-66816","-5472","-96","0"],["0","-384","-9408","-71232","-271200","-619488","-919872","-917952","-616032","-269280","-70848","-9408","-384","0","0"],["0","0","-576","-7872","-39264","-103392","-163776","-163776","-103392","-39264","-7872","-576","0","0","0"],["0","0","0","-384","-3168","-10464","-18240","-18240","-10464","-3168","-384","0","0","0","0"],["0","0","0","0","-96","-480","-960","-960","-480","-96","0","0","0","0","0"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["576","8064","52416","209664","576576","1153152","1729728","1976832","1729728","1153152","576576","209664","52416","8064","576"],["2496","32640","199488","756480","1991616","3856512","5670720","6437376","5670720","3856512","1991616","756480","199488","32640","2496"],["4224","53760","323328","1217280","3201024","6210048","9152640","10400256","9152640","6210048","3201024","1217280","323328","53760","4224"],["3456","46848","297216","1165824","3154944","6232320","9274752","10570752","9274752","6232320","3154944","1165824","297216","46848","3456"],["1344","23424","170688","728064","2079360","4253184","6457728","7408896","6457728","4253184","2079360","728064","170688","23424","1344"],["192","6528","61248","301824","943488","2039040","3188352","3691776","3188352","2039040","943488","301824","61248","6528","192"],["0","768","12672","80640","290304","681984","1116288","1311744","1116288","681984","290304","80640","12672","768","0"],["0","0","1152","12288","56832","152832","267648","321024","267648","152832","56832","12288","1152","0","0"],["0","0","0","768","5952","20352","40128","49920","40128","20352","5952","768","0","0","0"],["0","0","0","0","192","1152","2880","3840","2880","1152","192","0","0","0","0"]]},"deriv_order":2}],"step_multiplier":{"coeffs":[["16","192","1056","3520","7920","12672","14784","12672","7920","3520","1056","192","16"],["64","704","3584","11200","24000","37248","43008","37248","24000","11200","3584","704","64"],["96","1024","5152","16128","34848","54528","63168","54528","34848","16128","5152","1024","96"],["64","768","4224","14016","31296","49728","57856","49728","31296","14016","4224","768","64"],["16","320","2144","7872","18688","30784","36256","30784","18688","7872","2144","320","16"],["0","64","640","2880","7616","13184","15744","13184","7616","2880","640","64","0"],["0","0","96","640","2016","3840","4736","3840","2016","640","96","0","0"],["0","0","0","64","320","704","896","704","320","64","0","0","0"],["0","0","0","0","16","64","96","64","16","0","0","0","0"]]},"step_quotients":[[{"coeff":{"coeffs":[["48","624","3744","13728","34320","61776","82368","82368","61776","34320","13728","3744","624","48"],["192","2304","12864","44352","105600","183744","240768","240768","183744","105600","44352","12864","2304","192"],["288","3360","18528","63840","152928","268128","353088","353088","268128","152928","63840","18528","3360","288"],["192","2496","14976","54720","135936","243072","322752","322752","243072","135936","54720","14976","2496","192"],["48","1008","7392","30048","79680","148416","201120","201120","148416","79680","30048","7392","1008","48"],["0","192","2112","10560","31488","62400","86784","86784","62400","31488","10560","2112","192","0"],["0","0","288","2208","7968","17568","25728","25728","17568","7968","2208","288","0","0"],["0","0","0","192","1152","3072","4800","4800","3072","1152","192","0","0","0"],["0","0","0","0","48","240","480","480","240","48","0","0","0","0"]]},"deriv_order":0}],[{"coeff":{"coeffs":[["-48","-720","-5024","-21616","-64080","-138512","-225280","-280368","-268752","-198000","-110880","-46160","-13744","-2736","-320","-16"],["-104","-1536","-10688","-46448","-140856","-315328","-537392","-708336","-725976","-576512","-350304","-159056","-51848","-11328","-1456","-80"],["152","1392","4288","-1888","-58168","-225616","-512272","-804192","-924504","-795952","-514848","-246944","-85000","-19696","-2704","-160"],["736","7840","37616","105216","180736","163936","-37440","-369888","-629216","-649440","-462800","-233600","-82304","-19232","-2656","-160"],["1024","11344","58224","181008","373040","519712","461600","176832","-151728","-313888","-273488","-148928","-53088","-11920","-1504","-80"],["728","9024","50560","169200","375776","578272","616624","426688","135840","-64544","-108368","-66784","-23688","-4864","-496","-16"],["280","4432","28384","103872","247008","403360","459504","356896","169440","23968","-27600","-21728","-7368","-1232","-80","0"],["48","1312","10544","43936","113296","195296","231680","187296","96304","23648","-4144","-5120","-1520","-160","0","0"],["0","192","2448","12608","36576","67312","82240","66800","34176","8848","-400","-880","-160","0","0","0"],["0","0","288","2272","7960","16096","20384","16304","7736","1696","-80","-80","0","0","0","0"],["0","0","0","192","1048","2480","3264","2496","1016","144","-16","0","0","0","0","0"],["0","0","0","0","48","192","288","192","48","0","0","0","0","0","0","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["-32","-480","-3280","-13504","-37232","-71968","-98384","-91520","-48048","4576","34320","34112","19760","7456","1808","256","16"],["-160","-2320","-15296","-60880","-163232","-310224","-425216","-413072","-258720","-57904","72512","97168","62624","25360","6528","976","64"],["-416","-5808","-36960","-142688","-373600","-699344","-955456","-945024","-638592","-228944","51744","130848","91936","38096","9856","1472","96"],["-704","-9248","-56256","-210368","-539200","-996608","-1355840","-1352352","-950272","-406304","-23104","105472","82624","33856","8256","1120","64"],["-736","-9280","-55568","-207072","-530896","-981280","-1334112","-1332800","-949600","-436000","-74976","54304","49408","19392","4176","448","16"],["-416","-5712","-36480","-141456","-370624","-692192","-944064","-941792","-670336","-314144","-69440","18272","20384","7184","1216","80","0"],["-96","-2096","-15872","-67040","-184800","-355072","-489024","-485152","-339616","-156288","-36448","4064","5728","1616","160","0","0"],["0","-384","-4224","-21472","-65152","-131072","-183488","-180768","-122624","-53280","-11584","768","1024","160","0","0","0"],["0","0","-576","-4256","-15264","-33600","-48592","-47104","-30128","-11712","-2032","160","80","0","0","0","0"],["0","0","0","-384","-2144","-5456","-8256","-7888","-4576","-1392","-128","16","0","0","0","0","0"],["0","0","0","0","-96","-432","-768","-672","-288","-48","0","0","0","0","0","0","0"]]},"deriv_order":1},{"coeff":{"coeffs":[["40","560","3640","14560","40040","80080","120120","137280","120120","80080","40040","14560","3640","560","40"],["208","2704","16384","61408","159280","302896","436128","483648","415536","275440","138688","51424","13264","2128","160"],["432","5344","31104","112992","286240","534624","758448","829248","701424","456480","224992","81504","20544","3232","240"],["448","5600","33088","121920","311808","583968","824608","891008","739648","468768","222720","76608","17920","2528","160"],["232","3376","21976","85920","227376","433152","614032","657952","534352","326016","146160","46176","9496","1072","40"],["48","1168","9312","40608","114720","226656","325440","345760","272736","157920","65088","17952","2928","208","0"],["0","192","2352","12640","39968","83680","122864","129664","98480","52768","19040","4192","432","0","0"],["0","0","288","2368","9088","21088","32288","33728","24128","11488","3328","448","0","0","0"],["0","0","0","192","1192","3312","5400","5600","3672","1392","232","0","0","0","0"],["0","0","0","0","48","240","480","480","240","48","0","0","0","0","0"]]},"deriv_order":2}],[{"coeff":{"coeffs":[["384","4208","20688","59680","110192","130944","89056","8976","-47520","-51216","-26224","-5952","688","800","192","16"],["1504","15368","71320","197384","357336","430160","318448","81168","-108720","-148760","-87880","-24920","248","2496","704","64"],["3408","33840","153800","419288","751280","901984","684192","226752","-137088","-227616","-139368","-41848","-1408","3344","1024","96"],["5128","50336","225624","606120","1073272","1286072","1001912","398808","-88688","-230040","-144592","-42304","-1616","2752","768","64"],["5280","52648","237280","637008","1123144","1339256","1048304","451216","-19784","-163088","-104096","-29056","-912","1536","320","16"],["4160","41464","186480","498424","872992","1033936","809176","362816","18568","-86696","-54152","-13400","-232","512","64","0"],["2400","24000","109320","294544","515392","604368","465920","209176","21440","-33744","-20296","-4216","32","80","0","0"],["920","10160","47848","130376","228536","266232","202072","89192","11152","-9800","-5152","-784","0","0","0","0"],["240","2808","14544","42192","75704","87576","64640","27472","3784","-1888","-832","-80","0","0","0","0"],["0","432","2936","9312","17560","20752","15016","5952","776","-224","-64","0","0","0","0","0"],["0","0","240","1240","2720","3264","2256","824","96","-16","0","0","0","0","0","0"],["0","0","0","48","192","288","192","48","0","0","0","0","0","0","0","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["-96","-1536","-10496","-41392","-105808","-184640","-223168","-182512","-91344","-16896","8448","3952","-2416","-2752","-1088","-208","-16"],["-912","-11408","-63904","-212736","-469056","-719040","-776320","-574992","-259968","-33936","35680","19040","-2688","-6432","-2880","-592","-48"],["-2776","-31152","-158824","-487312","-1000560","-1437824","-1455744","-998640","-394824","-10192","82488","39920","704","-6912","-3152","-624","-48"],["-4656","-49032","-236864","-692592","-1357952","-1861280","-1789904","-1154464","-411744","19624","104832","48832","4640","-4352","-1904","-304","-16"],["-4960","-50512","-237464","-676784","-1291608","-1716976","-1591160","-977136","-320344","28672","83456","36256","4624","-1536","-624","-64","0"],["-3440","-35712","-168816","-478312","-899040","-1167760","-1049824","-621144","-195264","15264","43776","17552","2288","-288","-80","0","0"],["-1608","-17584","-85288","-244864","-461760","-594784","-523152","-299072","-91160","3536","14808","5248","640","0","0","0","0"],["-432","-5416","-29472","-90208","-173984","-223328","-192848","-107248","-32192","-440","3120","912","80","0","0","0","0"],["0","-912","-6520","-22208","-45720","-60432","-51480","-27168","-7720","-448","336","64","0","0","0","0","0"],["0","0","-624","-3336","-7840","-10608","-8896","-4488","-1152","-64","16","0","0","0","0","0","0"],["0","0","0","-144","-624","-1056","-864","-336","-48","0","0","0","0","0","0","0","0"]]},"deriv_order":1},{"coeff":{"coeffs":[["80","1000","5720","19760","45760","74360","85800","68640","34320","5720","-5720","-5200","-2080","-440","-40"],["528","6040","31616","100008","212344","316976","336600","247632","111936","12408","-22352","-18040","-6984","-1472","-136"],["1288","13960","69696","211728","434600","630768","654168","471744","210744","26632","-35120","-27792","-10152","-1984","-168"],["1704","18400","91472","275960","560144","800040","813312","575000","256064","41016","-29464","-24048","-8152","-1376","-88"],["1496","16360","81504","244760","492528","695616","697992","487016","216592","40992","-14840","-12768","-3768","-488","-16"],["872","9656","49176","150760","306952","433056","428408","291952","127440","26568","-4112","-4152","-960","-64","0"],["240","3400","19800","64720","135096","191264","187160","124368","52216","10840","-560","-736","-96","0","0"],["0","624","4856","18056","40592","59144","57008","35928","13904","2664","-8","-64","0","0","0"],["0","0","528","3000","7664","11544","11040","6568","2160","264","-16","0","0","0","0"],["0","0","0","144","672","1248","1152","528","96","0","0","0","0","0","0"]]},"deriv_order":2},{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0","0","0"],["-40","-480","-2640","-8800","-19800","-31680","-36960","-31680","-19800","-8800","-2640","-480","-40"],["-168","-1848","-9360","-28920","-60840","-92016","-102816","-85680","-52920","-23640","-7248","-1368","-120"],["-264","-2760","-13464","-40536","-83784","-124944","-137424","-111984","-66936","-28584","-8280","-1464","-120"],["-184","-2040","-10488","-32784","-69048","-102984","-111424","-88008","-50184","-19968","-5160","-744","-40"],["-48","-792","-4872","-16608","-36432","-55080","-59040","-44952","-23808","-8352","-1752","-168","0"],["0","-144","-1272","-5160","-12432","-19464","-20544","-14712","-6960","-1992","-264","0","0"],["0","0","-144","-904","-2544","-4200","-4400","-2904","-1104","-184","0","0","0"],["0","0","0","-48","-240","-480","-480","-240","-48","0","0","0","0"]]},"deriv_order":3}]]},{"annihilator":{"terms":[{"coeff":{"coeffs":[["-4","-4","0"],["2","2","-1"],["-1","0","0"],["1","0","0"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["-2","-3","0","1"],["3","0","0","0"],["-2","-1","0","0"]]},"deriv_order":1,"shift":0},{"coeff":{"coeffs":[["0","0"],["1","1"]]},"deriv_order":2,"shift":0},{"coeff":{"coeffs":[["2"]]},"deriv_order":0,"shift":1}]},"quotient":[{"coeff":{"coeffs":[["-384","-5760","-40320","-174720","-524160","-1153152","-1921920","-2471040","-2471040","-1921920","-1153152","-524160","-174720","-40320","-5760","-384"],["-3648","-50304","-325056","-1307904","-3671616","-7632768","-12163008","-15155712","-14908608","-11586432","-7056192","-3304704","-1150656","-280704","-42816","-3072"],["-15936","-198336","-1150848","-4137984","-10342848","-19128384","-27236352","-30704256","-27960768","-20809536","-12650880","-6172416","-2323008","-629184","-108288","-8832"],["-46848","-546816","-2964096","-9881088","-22602624","-37480704","-46440192","-43794432","-31965696","-18605568","-9174144","-4133376","-1700736","-561408","-121344","-12288"],["-95616","-1091328","-5784192","-18785280","-41504256","-65390976","-74667648","-61148928","-34095360","-10816128","-60672","1522560","518784","-19200","-49152","-8832"],["-128640","-1488384","-7983744","-26172672","-58170816","-91761024","-104073792","-83214336","-43057728","-9472896","4689984","5048832","2037888","397824","21120","-3072"],["-109824","-1358976","-7670784","-26154624","-59962176","-97041216","-112689792","-92644992","-50456640","-13785408","2774784","4399104","1888512","392064","31488","-384"],["-57600","-831744","-5177088","-18880512","-45464832","-76439040","-91734528","-78159360","-45199872","-15141888","-526080","2098176","987648","195840","13824","0"],["-17664","-337536","-2453376","-9890304","-25514880","-45043584","-56042880","-49251456","-29667456","-11087232","-1626240","556416","322560","56448","2688","0"],["-2880","-86400","-799680","-3730176","-10570176","-19850880","-25711680","-23181312","-14247744","-5556864","-1080000","49920","65088","8832","192","0"],["-192","-12480","-170112","-983424","-3177024","-6469824","-8781312","-8087424","-4980288","-1930944","-396672","-14592","7488","576","0","0"],["0","-768","-21120","-170496","-665472","-1513728","-2178816","-2044416","-1238016","-456192","-87168","-4608","384","0","0","0"],["0","0","-1152","-17280","-89856","-239232","-372864","-356352","-207360","-68736","-10752","-384","0","0","0","0"],["0","0","0","-768","-6720","-22656","-39360","-38400","-20928","-5760","-576","0","0","0","0","0"],["0","0","0","0","-192","-960","-1920","-1920","-960","-192","0","0","0","0","0","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["-768","-11520","-80640","-349440","-1048320","-2306304","-3843840","-4942080","-4942080","-3843840","-2306304","-1048320","-349440","-80640","-11520","-768"],["-4416","-64896","-447936","-1926912","-5778240","-12794496","-21607872","-28334592","-29075904","-23337600","-14524224","-6878976","-2398656","-580992","-87360","-6144"],["-2688","-43776","-339840","-1655040","-5622912","-14065920","-26708352","-39156480","-44668800","-39646464","-27156096","-14098176","-5370240","-1416960","-231552","-17664"],["24576","301056","1690752","5728512","12905088","19872768","20040960","9893376","-5545728","-16407552","-17433984","-11671296","-5294976","-1597440","-291840","-24576"],["65664","811008","4693632","16846848","41792640","75507456","101845632","103162368","77441664","41188608","13527168","1023744","-1436544","-774144","-181632","-17664"],["74880","968448","5870976","22049280","57191232","108196224","153709248","166226688","137025216","85131648","38740800","12157440","2270592","120576","-38784","-6144"],["45696","675840","4490880","18011904","49088256","96568320","141691392","157585920","133390848","85344768","40471296","13688832","3070080","390144","16512","-768"],["15360","294912","2267904","10007040","29135616","60008448","90788352","102853632","87768576","56070144","26297088","8716800","1905408","239616","12288","0"],["2688","79104","763008","3869184","12326400","26917632","42199296","48605952","41429760","25959168","11695104","3624192","710784","74496","2688","0"],["192","11904","164928","1025280","3704640","8750208","14344128","16809984","14215104","8602752","3621696","1000704","161856","11904","192","0"],["0","768","20736","176640","765312","2014464","3504000","4192512","3493248","2003712","760704","175872","20736","768","0","0"],["0","0","1152","17664","100992","310272","585984","720384","585984","310272","100992","17664","1152","0","0","0"],["0","0","0","768","7296","28416","60288","76800","60288","28416","7296","768","0","0","0","0"],["0","0","0","0","192","1152","2880","3840","2880","1152","192","0","0","0","0","0"]]},"deriv_order":1},{"coeff":{"coeffs":[["-384","-5760","-40320","-174720","-524160","-1153152","-1921920","-2471040","-2471040","-1921920","-1153152","-524160","-174720","-40320","-5760","-384"],["-3072","-44544","-302592","-1277952","-3753984","-8126976","-13398528","-17132544","-17132544","-13398528","-8126976","-3753984","-1277952","-302592","-44544","-3072"],["-8832","-123264","-809856","-3325056","-9546624","-20313216","-33103488","-42083712","-42083712","-33103488","-20313216","-9546624","-3325056","-809856","-123264","-8832"],["-12288","-170496","-1119744","-4612608","-13312512","-28482048","-46622208","-59415552","-59415552","-46622208","-28482048","-13312512","-4612608","-1119744","-170496","-12288"],["-8832","-132480","-925056","-3990144","-11901696","-26034432","-43193856","-55395840","-55395840","-43193856","-26034432","-11901696","-3990144","-925056","-132480","-8832"],["-3072","-59904","-483840","-2284032","-7229952","-16455168","-27987456","-36329472","-36329472","-27987456","-16455168","-7229952","-2284032","-483840","-59904","-3072"],["-384","-14976","-157824","-868224","-3029760","-7338240","-12950016","-17100288","-17100288","-12950016","-7338240","-3029760","-868224","-157824","-14976","-384"],["0","-1536","-29184","-210432","-855552","-2274816","-4243968","-5753856","-5753856","-4243968","-2274816","-855552","-210432","-29184","-1536","0"],["0","0","-2304","-28416","-150912","-466560","-945792","-1330560","-1330560","-945792","-466560","-150912","-28416","-2304","0","0"],["0","0","0","-1536","-13824","-55296","-129024","-193536","-193536","-129024","-55296","-13824","-1536","0","0","0"],["0","0","0","0","-384","-2688","-8064","-13440","-13440","-8064","-2688","-384","0","0","0","0"]]},"deriv_order":2}],"step_multiplier":{"coeffs":[["16","192","1056","3520","7920","12672","14784","12672","7920","3520","1056","192","16"],["64","704","3584","11200","24000","37248","43008","37248","24000","11200","3584","704","64"],["96","1024","5152","16128","34848","54528","63168","54528","34848","16128","5152","1024","96"],["64","768","4224","14016","31296","49728","57856","49728","31296","14016","4224","768","64"],["16","320","2144","7872","18688","30784","36256","30784","18688","7872","2144","320","16"],["0","64","640","2880","7616","13184","15744","13184","7616","2880","640","64","0"],["0","0","96","640","2016","3840","4736","3840","2016","640","96","0","0"],["0","0","0","64","320","704","896","704","320","64","0","0","0"],["0","0","0","0","16","64","96","64","16","0","0","0","0"]]},"step_quotients":[[{"coeff":{"coeffs":[["16","192","1056","3520","7920","12672","14784","12672","7920","3520","1056","192","16"],["64","704","3584","11200","24000","37248","43008","37248","24000","11200","3584","704","64"],["96","1024","5152","16128","34848","54528","63168","54528","34848","16128","5152","1024","96"],["64","768","4224","14016","31296","49728","57856","49728","31296","14016","4224","768","64"],["16","320","2144","7872","18688","30784","36256","30784","18688","7872","2144","320","16"],["0","64","640","2880","7616","13184","15744","13184","7616","2880","640","64","0"],["0","0","96","640","2016","3840","4736","3840","2016","640","96","0","0"],["0","0","0","64","320","704","896","704","320","64","0","0","0"],["0","0","0","0","16","64","96","64","16","0","0","0","0"]]},"deriv_order":0}],[{"coeff":{"coeffs":[["-16","-208","-1256","-4672","-11968","-22352","-31416","-33792","-27984","-17776","-8536","-3008","-736","-112","-8"],["-40","-464","-2552","-8896","-22120","-41680","-61368","-71424","-65592","-46960","-25640","-10304","-2872","-496","-40"],["16","192","880","1760","-224","-10496","-30576","-52032","-61296","-52544","-33072","-15008","-4672","-896","-80"],["152","1600","7792","23168","46360","64128","59024","28832","-6776","-25440","-23344","-12576","-4280","-864","-80"],["208","2256","11544","36416","78064","118624","129152","98304","46992","7232","-7712","-6656","-2528","-496","-40"],["136","1712","9624","32320","72736","115680","132528","108512","60736","20096","1216","-2176","-1000","-176","-8"],["48","800","5184","19072","45616","75424","88592","74080","42848","15648","2544","-416","-256","-32","0"],["8","224","1856","7808","20192","34976","42048","35200","19984","7136","1264","-32","-40","0","0"],["0","32","416","2176","6352","11696","14328","11840","6432","2096","312","0","0","0","0"],["0","0","48","384","1352","2736","3464","2784","1368","368","40","0","0","0","0"],["0","0","0","32","176","416","544","416","176","32","0","0","0","0","0"],["0","0","0","0","8","32","48","32","8","0","0","0","0","0","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["-8","-128","-912","-3864","-10904","-21648","-30976","-31944","-22968","-10208","-1232","1752","1368","496","96","8"],["-40","-592","-3920","-15552","-41528","-79088","-110464","-113760","-84504","-41776","-9616","3328","3960","1648","352","32"],["-96","-1320","-8272","-31552","-82048","-153640","-212448","-217872","-162720","-83256","-23376","1952","5120","2312","512","48"],["-144","-1856","-11184","-41632","-106448","-196704","-269120","-274112","-204816","-106784","-33168","-1344","3952","1856","384","32"],["-136","-1712","-10256","-38152","-97504","-179808","-244848","-247392","-183008","-95040","-30768","-3312","1880","928","160","8"],["-72","-1008","-6448","-24928","-65056","-120960","-164432","-164576","-119872","-61088","-19664","-2688","536","272","32","0"],["-16","-360","-2736","-11536","-31600","-60240","-82432","-81632","-57840","-28256","-8688","-1248","80","40","0","0"],["0","-64","-720","-3648","-10992","-21920","-30368","-29696","-20272","-9248","-2544","-320","0","0","0","0"],["0","0","-96","-720","-2568","-5584","-7984","-7672","-4904","-1984","-448","-40","0","0","0","0"],["0","0","0","-64","-360","-912","-1360","-1280","-744","-240","-32","0","0","0","0","0"],["0","0","0","0","-16","-72","-128","-112","-48","-8","0","0","0","0","0","0"]]},"deriv_order":1},{"coeff":{"coeffs":[["8","104","624","2288","5720","10296","13728","13728","10296","5720","2288","624","104","8"],["40","488","2768","9680","23320","40920","53856","53856","40920","23320","9680","2768","488","40"],["80","944","5232","18032","43088","75312","98976","98976","75312","43088","18032","5232","944","80"],["80","976","5584","19760","48144","85200","112640","112640","85200","48144","19760","5584","976","80"],["40","584","3728","14128","35936","65248","87312","87312","65248","35936","14128","3728","584","40"],["8","200","1584","6768","18528","35136","47984","47984","35136","18528","6768","1584","200","8"],["0","32","400","2128","6576","13328","18752","18752","13328","6576","2128","400","32","0"],["0","0","48","400","1520","3440","5088","5088","3440","1520","400","48","0","0"],["0","0","0","32","200","552","880","880","552","200","32","0","0","0"],["0","0","0","0","8","40","80","80","40","8","0","0","0","0"]]},"deriv_order":2}],[{"coeff":{"coeffs":[["120","1216","5480","14304","23368","23360","10872","-4800","-11832","-9024","-3560","-544","120","64","8"],["432","4088","17520","44560","73392","78440","47424","1248","-26544","-25656","-12112","-2544","208","216","32"],["848","8016","34640","89312","149832","165536","111200","25728","-29360","-35280","-17952","-4256","88","288","48"],["1152","11064","47968","123480","207936","235184","171056","61792","-14784","-31160","-16720","-3896","32","208","32"],["1120","10896","47744","124320","211680","242384","181864","77072","2408","-18144","-10624","-2384","40","96","8"],["816","8032","35728","93688","159888","184152","141040","64552","9264","-7424","-4672","-944","16","24","0"],["432","4416","20008","53328","92000","105968","80712","37760","7624","-1936","-1488","-240","8","0","0"],["160","1768","8432","22960","39824","45888","34832","16168","3504","-280","-288","-40","0","0","0"],["40","480","2488","7232","12968","14912","11008","4960","1120","0","-40","0","0","0","0"],["0","72","496","1576","2960","3488","2544","1064","208","8","0","0","0","0","0"],["0","0","40","208","456","544","376","144","24","0","0","0","0","0","0"],["0","0","0","8","32","48","32","8","0","0","0","0","0","0","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["-16","-328","-2424","-9672","-24112","-39960","-44696","-32568","-13104","-184","2648","1032","-144","-232","-72","-8"],["-208","-2624","-14416","-46264","-97232","-140928","-142752","-97896","-39216","-1984","7216","3512","80","-512","-192","-24"],["-648","-6928","-33608","-98296","-192840","-264952","-255840","-166328","-61544","-912","11752","5448","440","-488","-192","-24"],["-1016","-10128","-46864","-131968","-249280","-328600","-303776","-189432","-67592","-992","12144","5536","608","-280","-96","-8"],["-976","-9728","-44616","-123440","-228184","-293992","-264800","-159680","-54792","-1496","8032","3520","464","-80","-24","0"],["-624","-6512","-30328","-84272","-154896","-196128","-172152","-101280","-34752","-2264","3584","1472","176","-8","0","0"],["-280","-3056","-14856","-42200","-78064","-98544","-85360","-48904","-16432","-1712","904","368","40","0","0","0"],["-72","-928","-5024","-15272","-29152","-36816","-31296","-17536","-5880","-784","128","40","0","0","0","0"],["0","-152","-1104","-3744","-7608","-9928","-8392","-4464","-1384","-208","-8","0","0","0","0","0"],["0","0","-104","-560","-1312","-1752","-1448","-736","-208","-24","0","0","0","0","0","0"],["0","0","0","-24","-104","-176","-144","-56","-8","0","0","0","0","0","0","0"]]},"deriv_order":1},{"coeff":{"coeffs":[["16","184","960","2992","6160","8712","8448","5280","1584","-440","-704","-336","-80","-8"],["104","1120","5504","16280","32120","44088","42240","26928","9240","-880","-2816","-1480","-376","-40"],["248","2576","12280","35432","68584","92984","88912","57872","22120","1024","-4104","-2424","-648","-72"],["320","3344","16000","46240","89496","121200","115872","76024","30624","3896","-3200","-2072","-536","-56"],["272","2896","14032","40848","79232","107088","102032","67096","27976","5088","-1360","-1048","-232","-16"],["152","1672","8392","25112","49560","67440","64024","41624","17312","3640","-192","-288","-48","0"],["40","584","3360","10784","21992","30192","28456","18176","7408","1608","56","-32","0","0"],["0","104","824","3032","6664","9464","8872","5416","2040","416","32","0","0","0"],["0","0","88","504","1280","1888","1752","1016","336","48","0","0","0","0"],["0","0","0","24","112","208","192","88","16","0","0","0","0","0"]]},"deriv_order":2},{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0","0"],["-8","-88","-440","-1320","-2640","-3696","-3696","-2640","-1320","-440","-88","-8"],["-32","-328","-1544","-4416","-8544","-11760","-11760","-8544","-4416","-1544","-328","-32"],["-48","-480","-2232","-6360","-12312","-16968","-16968","-12312","-6360","-2232","-480","-48"],["-32","-352","-1760","-5272","-10520","-14704","-14704","-10520","-5272","-1760","-352","-32"],["-8","-136","-824","-2728","-5744","-8224","-8224","-5744","-2728","-824","-136","-8"],["0","-24","-216","-864","-2016","-3024","-3024","-2016","-864","-216","-24","0"],["0","0","-24","-152","-424","-680","-680","-424","-152","-24","0","0"],["0","0","0","-8","-40","-80","-80","-40","-8","0","0","0"]]},"deriv_order":3}]]},{"annihilator":{"terms":[{"coeff":{"coeffs":[["0","0","0"],["0","-3","-1"],["-2","0","-1"],["0","-1","0"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["1","3","3","1"],["1","2","2","1"],["0","1","1","0"]]},"deriv_order":1,"shift":0}]},"quotient":[{"coeff":{"coeffs":[["-768","-8064","-36864","-92544","-122112","-12672","287232","646272","836352","756096","506880","256896","97536","26496","4608","384"],["9984","85056","297792","502272","215808","-778176","-1760448","-1760256","-850176","37056","355776","285696","145152","53952","13248","1536"],["31104","296160","1219584","2736480","3256512","800448","-3741696","-6555456","-5584896","-2823840","-913152","-250656","-75840","-5376","8448","2304"],["115008","1095936","4582848","10880928","15551808","12124032","1101504","-8445888","-9723840","-5462784","-1750080","-460512","-221376","-87168","-9792","1536"],["237120","2221536","9325440","22732032","34574592","31860576","13388928","-5305248","-10818048","-6211776","-1408128","14880","-44736","-74112","-16896","384"],["322560","3094176","13152768","32344800","49921344","47918880","24030336","-1491456","-10440384","-5988480","-750144","546144","183552","-13440","-9408","0"],["345216","3268704","13823040","33962496","52463616","50536224","25913856","-288672","-9599232","-5488896","-558144","608544","226176","13824","-2304","0"],["271680","2605920","11114688","27388416","42180480","40191072","19994112","-869856","-7822080","-4349376","-539904","356448","133440","9600","-192","0"],["148800","1524768","6768384","17025984","26337408","24764832","11690496","-1267104","-5119104","-2694720","-382080","132960","45120","2304","0","0"],["51072","630048","3062592","8077056","12730944","11856672","5230272","-1010592","-2551104","-1227264","-172032","33696","8064","192","0","0"],["9600","172224","993600","2858784","4678272","4344096","1769088","-526752","-942528","-391776","-46656","5376","576","0","0","0"],["768","27552","215808","722784","1266624","1181472","432192","-187488","-246720","-82752","-6720","384","0","0","0","0"],["0","1920","27648","120000","237312","226176","71040","-44352","-42240","-10368","-384","0","0","0","0","0"],["0","0","1536","11040","26880","27264","7296","-6240","-4224","-576","0","0","0","0","0","0"],["0","0","0","384","1344","1536","384","-384","-192","0","0","0","0","0","0","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["768","9216","50688","169728","389376","658944","878592","988416","988416","878592","658944","389376","169728","50688","9216","768"],["10176","83712","289728","525312","456384","-66816","-695616","-1004544","-927936","-590592","-150720","156672","203328","106752","28224","3072"],["26112","190944","534816","511200","-840864","-3316992","-5002560","-4673088","-3431232","-2616864","-2000736","-1109664","-320544","-192","24960","4608"],["23136","36480","-663552","-3848160","-10070784","-15427584","-14458560","-7690560","-1621536","-180480","-1168128","-1428960","-740928","-168576","-4416","3072"],["-76416","-955872","-5042784","-15208896","-29164032","-36426144","-27863904","-8856096","5233248","7171776","2916672","-69024","-505440","-178368","-19200","768"],["-231648","-2237760","-9988704","-26781984","-46848576","-53901792","-37431648","-8492928","11138784","13169952","6552000","1477728","-24960","-79296","-11328","0"],["-278016","-2607456","-11274720","-29227968","-49382400","-54728928","-36113952","-6592416","12073824","13289472","6703488","1801824","199584","-9408","-2688","0"],["-187104","-1863552","-8335008","-21892128","-36855552","-40120032","-25553760","-3964800","8777184","9039264","4366464","1160160","152640","5760","-192","0"],["-70656","-861600","-4246176","-11700864","-20074944","-21769056","-13453728","-1719456","4646112","4377792","1940544","468768","56544","2112","0","0"],["-13920","-252096","-1485792","-4489824","-8038272","-8779872","-5264352","-499200","1820256","1522080","592896","120096","10560","192","0","0"],["-1152","-42240","-340416","-1205664","-2328288","-2592672","-1499808","-78624","520032","371616","119136","17856","768","0","0","0"],["0","-3072","-45792","-210816","-463104","-538272","-298080","1728","103104","59616","14208","1152","0","0","0","0"],["0","0","-2688","-20544","-56256","-71040","-37632","3264","12864","5376","768","0","0","0","0","0"],["0","0","0","-768","-3072","-4416","-2304","384","768","192","0","0","0","0","0","0"]]},"deriv_order":1},{"coeff":{"coeffs":[["-768","-10368","-64512","-244608","-628992","-1153152","-1537536","-1482624","-988416","-384384","0","104832","69888","24192","4608","384"],["-9024","-94848","-458496","-1366272","-2860224","-4574592","-5909376","-6285312","-5379264","-3493248","-1554432","-361728","33984","52608","14976","1536"],["-16800","-147840","-586752","-1411200","-2408352","-3430272","-4719744","-6243840","-6999264","-5965440","-3591168","-1394304","-273888","11136","16512","2304"],["-768","42144","437376","1932768","4952256","7997760","7953408","3648192","-1889664","-4620768","-3851136","-1842336","-504384","-56832","5376","1536"],["37920","428160","2226528","7025856","14893920","22095360","22957824","15816192","5637024","-1081344","-2572896","-1486656","-446496","-66432","-2304","384"],["65088","663456","3180480","9436608","19109952","27412128","27927360","19532640","8286720","902592","-1261440","-863136","-259200","-37248","-1920","0"],["52128","542208","2642976","7853760","15667488","21873984","21549312","14539008","5984736","759744","-643104","-407616","-103968","-11904","-384","0"],["21120","271584","1451904","4478976","9004032","12376608","11697216","7305312","2585280","104832","-357312","-162528","-28992","-1536","0","0"],["4320","83712","534432","1801536","3747552","5109312","4591488","2554752","648096","-147648","-167328","-47424","-4320","0","0","0"],["384","14688","127680","502848","1120512","1536864","1301568","603168","49728","-99648","-49920","-8160","-192","0","0","0"],["0","1152","18144","91584","230016","325440","256896","86784","-20736","-28224","-8160","-576","0","0","0","0"],["0","0","1152","9504","29376","44064","31680","5472","-6336","-3744","-576","0","0","0","0","0"],["0","0","0","384","1728","2880","1920","0","-576","-192","0","0","0","0","0","0"]]},"deriv_order":2},{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["960","9024","33408","46464","-73920","-475200","-1089792","-1545984","-1501632","-1024320","-485760","-153216","-28992","-2496"],["1152","4032","-28224","-257472","-959040","-2215296","-3563136","-4192128","-3677184","-2399040","-1136448","-370368","-74304","-6912"],["-3072","-39936","-235584","-853824","-2146944","-3967488","-5523840","-5827968","-4631040","-2728704","-1160256","-339264","-61824","-5376"],["-6528","-67584","-340992","-1104192","-2524608","-4239936","-5322432","-5021760","-3538368","-1816128","-641088","-137088","-12288","384"],["-4032","-46656","-252288","-830592","-1851840","-2953152","-3450240","-2946816","-1785024","-711360","-149760","3456","9792","1728"],["-768","-16320","-107712","-386496","-892224","-1411200","-1555968","-1178112","-571392","-131904","24768","27072","6720","384"],["0","-2304","-24768","-110784","-280704","-451584","-477312","-318336","-105984","13056","27456","9792","1152","0"],["0","0","-2304","-16704","-52416","-91584","-93888","-51264","-5184","10944","6336","1152","0","0"],["0","0","0","-768","-4224","-9216","-9600","-3840","1152","1536","384","0","0","0"]]},"deriv_order":3}],"step_multiplier":{"coeffs":[["4","36","144","336","504","504","336","144","36","4"],["12","96","348","756","1092","1092","756","348","96","12"],["12","96","360","816","1212","1212","816","360","96","12"],["4","48","216","524","792","792","524","216","48","4"],["0","12","72","204","336","336","204","72","12","0"],["0","0","12","48","84","84","48","12","0","0"],["0","0","0","4","12","12","4","0","0","0"]]},"step_quotients":[[],[{"coeff":{"coeffs":[["-4","-44","-220","-660","-1320","-1848","-1848","-1320","-660","-220","-44","-4"],["-20","-204","-954","-2706","-5184","-7056","-6972","-5004","-2556","-884","-186","-18"],["-40","-390","-1766","-4902","-9258","-12474","-12222","-8706","-4422","-1528","-324","-32"],["-40","-400","-1858","-5258","-10036","-13544","-13178","-9238","-4568","-1516","-304","-28"],["-20","-240","-1236","-3706","-7290","-9942","-9610","-6576","-3108","-956","-168","-12"],["-4","-84","-530","-1766","-3678","-5134","-4934","-3258","-1432","-388","-54","-2"],["0","-14","-138","-562","-1290","-1870","-1786","-1122","-442","-96","-8","0"],["0","0","-18","-110","-300","-468","-446","-258","-84","-12","0","0"],["0","0","0","-10","-42","-74","-70","-36","-8","0","0","0"],["0","0","0","0","-2","-6","-6","-2","0","0","0","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["4","48","264","880","1980","3168","3696","3168","1980","880","264","48","4"],["14","158","824","2630","5730","8988","10416","8988","5730","2630","824","158","14"],["18","206","1094","3558","7878","12492","14532","12492","7878","3558","1094","206","18"],["10","138","822","2868","6618","10722","12556","10722","6618","2868","822","138","10"],["2","50","374","1476","3664","6178","7328","6178","3664","1476","374","50","2"],["0","8","98","486","1360","2434","2940","2434","1360","486","98","8","0"],["0","0","12","94","324","642","800","642","324","94","12","0","0"],["0","0","0","8","44","104","136","104","44","8","0","0","0"],["0","0","0","0","2","8","12","8","2","0","0","0","0"]]},"deriv_order":1}],[{"coeff":{"coeffs":[["-4","-36","-140","-300","-360","-168","168","360","300","140","36","4"],["-22","-190","-730","-1626","-2268","-1932","-756","300","594","362","110","14"],["-60","-496","-1846","-4044","-5690","-5198","-2838","-526","446","390","132","18"],["-74","-622","-2360","-5276","-7602","-7212","-4320","-1322","96","246","84","10"],["-50","-476","-1930","-4458","-6510","-6210","-3782","-1292","-96","98","32","2"],["-24","-246","-1058","-2544","-3792","-3620","-2166","-726","-78","24","6","0"],["-6","-80","-394","-1012","-1536","-1440","-822","-256","-26","4","0","0"],["0","-14","-92","-264","-420","-390","-204","-52","-4","0","0","0"],["0","0","-10","-42","-72","-64","-30","-6","0","0","0","0"],["0","0","0","-2","-6","-6","-2","0","0","0","0","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["8","84","396","1100","1980","2376","1848","792","0","-220","-132","-36","-4"],["32","306","1320","3380","5670","6444","4872","2160","180","-430","-288","-84","-10"],["52","488","2076","5256","8718","9778","7294","3258","446","-402","-274","-74","-8"],["52","492","2090","5240","8554","9418","6930","3148","600","-186","-144","-32","-2"],["32","312","1364","3486","5728","6264","4528","2030","442","-30","-38","-6","0"],["8","114","578","1572","2634","2862","2022","884","202","8","-4","0","0"],["0","20","144","454","812","892","608","246","52","4","0","0","0"],["0","0","16","76","154","172","112","40","6","0","0","0","0"],["0","0","0","4","14","18","10","2","0","0","0","0","0"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0"],["-4","-40","-180","-480","-840","-1008","-840","-480","-180","-40","-4"],["-10","-94","-402","-1032","-1764","-2100","-1764","-1032","-402","-94","-10"],["-8","-82","-376","-1016","-1792","-2156","-1792","-1016","-376","-82","-8"],["-2","-34","-192","-574","-1062","-1296","-1062","-574","-192","-34","-2"],["0","-6","-52","-190","-388","-488","-388","-190","-52","-6","0"],["0","0","-6","-34","-82","-108","-82","-34","-6","0","0"],["0","0","0","-2","-8","-12","-8","-2","0","0","0"]]},"deriv_order":2}]]}],"restart_bases":[],"row_multiplier":{"coeffs":[["64","768","4224","14080","31680","50688","59136","50688","31680","14080","4224","768","64"],["256","2816","14336","44800","96000","148992","172032","148992","96000","44800","14336","2816","256"],["384","4096","20608","64512","139392","218112","252672","218112","139392","64512","20608","4096","384"],["256","3072","16896","56064","125184","198912","231424","198912","125184","56064","16896","3072","256"],["64","1280","8576","31488","74752","123136","145024","123136","74752","31488","8576","1280","64"],["0","256","2560","11520","30464","52736","62976","52736","30464","11520","2560","256","0"],["0","0","384","2560","8064","15360","18944","15360","8064","2560","384","0","0"],["0","0","0","256","1280","2816","3584","2816","1280","256","0","0","0"],["0","0","0","0","64","256","384","256","64","0","0","0","0"]]},"start_base":1}},"shifted_parent_relation":{"terms":[{"coeff":{"coeffs":[["-1","-3","-3","-1"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["3","6","3"]]},"deriv_order":0,"shift":1},{"coeff":{"coeffs":[["-3","-3"]]},"deriv_order":0,"shift":2},{"coeff":{"coeffs":[["1"]]},"deriv_order":0,"shift":3}]},"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 = 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 4 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":[["1"],["2","2"],["3","8","3"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["3","3"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["-3","-6","-3"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["1","3","3","1"]]},"deriv_order":0,"offset":3,"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 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":"no theorem matched (weighted_renewal_window: coefficient of P_(n-1) must be 1 after normalization; fixed_delay_predecessor_window: coefficient of P_(n-1) must be 1 (+ w(n) t) after normalization)","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":"the parent equals the flagged entry, but the flag gives real-rootedness only and one-signed coefficients are not shown: the weight of the coefficient of x^s of P_(n-2) in the coefficient of x^(s+0) is not shown to be >= 0 for n >= 3","route":"attestation","success":false,"variant":"oeis_catalog:A141611:lean_proved"},{"detail":"no lean_proved catalog entry equals the parent; 1 with the same first index and seeds differ in the rule or in later initial rows (oeis_catalog:A145596:lean_proved)","route":"attestation","success":false,"variant":"oeis_catalog"}],"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"}