{"certification":{"candidate":{"gauge":{"kind":"none"},"index_shift":0,"operator":{"coefficients":[{"denominator":["1"],"numerator":["1"]},{"denominator":["1"],"numerator":["1"]}],"shape":"euler_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":[["48","144","144","48"],["-60","-180","-180","-60"],["-262","-786","-786","-262"],["-225","-675","-675","-225"],["-85","-255","-255","-85"],["-15","-45","-45","-15"],["-1","-3","-3","-1"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["48","240","432","336","96"],["60","180","180","60","0"],["12","-214","-714","-738","-250"],["0","-225","-675","-675","-225"],["0","-85","-255","-255","-85"],["0","-15","-45","-45","-15"],["0","-1","-3","-3","-1"]]},"deriv_order":1,"shift":0},{"coeff":{"coeffs":[["0","24","96","144","96","24"],["0","30","120","180","120","30"],["0","6","24","36","24","6"]]},"deriv_order":2,"shift":0},{"coeff":{"coeffs":[["0","0","0"],["90","180","90"],["453","906","453"],["492","984","492"],["216","432","216"],["42","84","42"],["3","6","3"]]},"deriv_order":0,"shift":1},{"coeff":{"coeffs":[["-24","-72","-72","-24"],["-96","-198","-108","-6"],["-24","381","834","429"],["0","492","984","492"],["0","216","432","216"],["0","42","84","42"],["0","3","6","3"]]},"deriv_order":1,"shift":1},{"coeff":{"coeffs":[["0","-12","-36","-36","-12"],["0","-48","-144","-144","-48"],["0","-12","-36","-36","-12"]]},"deriv_order":2,"shift":1},{"coeff":{"coeffs":[["0","0"],["-72","-72"],["-294","-294"],["-369","-369"],["-183","-183"],["-39","-39"],["-3","-3"]]},"deriv_order":0,"shift":2},{"coeff":{"coeffs":[["0","0","0"],["36","0","-36"],["12","-270","-282"],["0","-369","-369"],["0","-183","-183"],["0","-39","-39"],["0","-3","-3"]]},"deriv_order":1,"shift":2},{"coeff":{"coeffs":[["0","0","0","0"],["0","18","36","18"],["0","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","0"],["0","12"],["0","67"],["0","96"],["0","52"],["0","12"],["0","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"],["2","4"],["3","16","9"],["4","36","54","16"]],"recurrence":{"denominator":{"coeffs":[["0"],["-12"],["-14"],["12"],["7"],["-6"],["1"]]},"terms":[{"coeff":{"coeffs":[["24","72","72","24"],["0","0","0","0"],["-8","-24","-24","-8"],["15","45","45","15"],["-5","-15","-15","-5"],["-3","-9","-9","-3"],["1","3","3","1"]]},"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":[["0","0","0"],["36","72","36"],["6","12","6"],["-60","-120","-60"],["9","18","9"],["12","24","12"],["-3","-6","-3"]]},"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"],["-72","-72"],["-30","-30"],["63","63"],["3","3"],["-15","-15"],["3","3"]]},"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":"euler_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","0"],["0","768","9216","50688","168960","380160","608256","709632","608256","380160","168960","50688","9216","768"],["0","7360","85248","455040","1480960","3274560","5184000","6026496","5184000","3274560","1480960","455040","85248","7360"],["0","27904","311552","1613312","5127424","11145984","17465856","20235264","17465856","11145984","5127424","1613312","311552","27904"],["0","56704","621568","3179392","10028032","21704832","33939456","39296256","33939456","21704832","10028032","3179392","621568","56704"],["0","68864","770048","4009472","12825856","28038144","44099328","51157504","44099328","28038144","12825856","4009472","770048","68864"],["0","51968","631296","3475200","11536384","25823680","41158912","47951488","41158912","25823680","11536384","3475200","631296","51968"],["0","24320","351744","2139648","7559680","17592320","28648448","33607168","28648448","17592320","7559680","2139648","351744","24320"],["0","6784","132096","940800","3655168","9008896","15133696","17928960","15133696","9008896","3655168","940800","132096","6784"],["0","1024","31744","289792","1295872","3467008","6085120","7309824","6085120","3467008","1295872","289792","31744","1024"],["0","64","4352","59264","327424","986816","1842176","2255616","1842176","986816","327424","59264","4352","64"],["0","0","256","7168","55552","199936","408064","513536","408064","199936","55552","7168","256","0"],["0","0","0","384","5632","26752","62464","81920","62464","26752","5632","384","0","0"],["0","0","0","0","256","2048","5888","8192","5888","2048","256","0","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"],["-1152","-13824","-76032","-253440","-570240","-912384","-1064448","-912384","-570240","-253440","-76032","-13824","-1152","0"],["-7584","-82944","-412992","-1233024","-2440800","-3328128","-3109248","-1845504","-463968","249600","305856","141696","33888","3456"],["-21408","-215328","-977088","-2603328","-4379616","-4444128","-1650816","2503296","5035680","4648224","2667840","975552","210144","20448"],["-33696","-318816","-1337856","-3144384","-4022112","-934560","6787584","14822784","17417376","13493088","7128576","2498880","528480","51360"],["-32160","-299808","-1190400","-2372736","-1329120","5514912","17746176","28333440","29606688","21489312","10851840","3668736","751968","71136"],["-18912","-189024","-729984","-1096320","1304256","9716448","22920384","33109248","32719296","22735200","10995456","3535872","679968","59040"],["-6624","-81504","-316032","-233472","2140608","9172032","19598400","27036480","25756224","17189568","7896576","2365824","409632","29856"],["-1248","-23328","-96768","49152","1554624","5823168","12038208","16231104","15010368","9585216","4120704","1116288","164640","8928"],["-96","-3936","-20736","53376","714816","2635584","5464896","7301952","6562752","3971520","1562496","366336","42144","1440"],["0","-288","-2880","17664","219552","858432","1837632","2457792","2141472","1208640","419904","79488","6144","96"],["0","0","-192","2880","44064","196512","448320","606528","508704","260640","75456","10176","384","0"],["0","0","0","192","5280","29664","75456","104640","83232","36960","8064","576","0","0"],["0","0","0","0","288","2592","7872","11328","8352","2976","384","0","0","0"],["0","0","0","0","0","96","384","576","384","96","0","0","0","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["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","0"],["4992","57696","304992","972096","2067648","3050784","3101472","1989504","456192","-526944","-679008","-402624","-141888","-28704","-2592"],["8448","86112","389472","990144","1378752","349344","-2857824","-7049088","-9544320","-8743008","-5668704","-2588736","-797760","-149664","-12960"],["6912","60000","190560","61440","-1603584","-6599520","-14942304","-22980096","-25572096","-21027168","-12754272","-5581824","-1675776","-310176","-26784"],["2688","14688","-61728","-889344","-4228224","-12061536","-23626848","-33585024","-35487360","-28035936","-16409184","-6930816","-2004096","-356256","-29472"],["384","-5856","-144480","-1073280","-4422144","-11922240","-22642368","-31434432","-32441280","-24940992","-14113344","-5705472","-1554432","-253920","-18528"],["0","-5088","-92640","-682368","-2862336","-7834944","-14983872","-20750784","-21141696","-15852480","-8618304","-3281664","-818304","-116448","-6624"],["0","-1248","-31200","-270336","-1248384","-3622464","-7154880","-10020288","-10127040","-7384512","-3814464","-1337472","-292608","-33504","-1248"],["0","-96","-5472","-66816","-369408","-1188288","-2484672","-3562944","-3582528","-2524224","-1217088","-379776","-68352","-5472","-96"],["0","0","-384","-9408","-70848","-269280","-616032","-917952","-919872","-619488","-271200","-71232","-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"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","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"],["0","2496","32640","199488","756480","1991616","3856512","5670720","6437376","5670720","3856512","1991616","756480","199488","32640","2496"],["0","4224","53760","323328","1217280","3201024","6210048","9152640","10400256","9152640","6210048","3201024","1217280","323328","53760","4224"],["0","3456","46848","297216","1165824","3154944","6232320","9274752","10570752","9274752","6232320","3154944","1165824","297216","46848","3456"],["0","1344","23424","170688","728064","2079360","4253184","6457728","7408896","6457728","4253184","2079360","728064","170688","23424","1344"],["0","192","6528","61248","301824","943488","2039040","3188352","3691776","3188352","2039040","943488","301824","61248","6528","192"],["0","0","768","12672","80640","290304","681984","1116288","1311744","1116288","681984","290304","80640","12672","768","0"],["0","0","0","1152","12288","56832","152832","267648","321024","267648","152832","56832","12288","1152","0","0"],["0","0","0","0","768","5952","20352","40128","49920","40128","20352","5952","768","0","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":[["0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["1728","21888","127296","449280","1070784","1812096","2223936","1976832","1235520","494208","82368","-29952","-22464","-5760","-576"],["14976","180672","1002048","3374208","7662336","12293952","14122944","11379456","5867136","1184832","-796224","-812928","-340992","-75072","-7104"],["49152","558336","2911872","9179136","19307904","28016640","27449856","15621120","182016","-8998656","-9290112","-5268480","-1844352","-376320","-34560"],["83328","905856","4508928","13424256","25973760","32377728","21300480","-5753088","-31473792","-39356544","-29602560","-14795136","-4859136","-958848","-86784"],["81024","881664","4321920","12278784","21145152","18514560","-6728256","-46884864","-76086336","-75305856","-50940864","-23888640","-7499904","-1428480","-125568"],["46464","549888","2756736","7428864","10113024","-835392","-33356352","-75544704","-99739776","-89702976","-56932416","-25286400","-7512960","-1344000","-109440"],["15360","225024","1198080","2953728","1748736","-10897920","-39446016","-72405504","-87490560","-74164224","-44609280","-18670080","-5147904","-830208","-57600"],["2688","58752","350976","707328","-1159680","-10141440","-28336896","-47920896","-55097088","-44577024","-25363968","-9861888","-2451072","-337536","-17664"],["192","8832","66624","63744","-1024704","-5427840","-14054208","-22987776","-25582656","-19795584","-10556352","-3728640","-799680","-86400","-2880"],["0","576","7488","-14208","-393984","-1922880","-4966848","-8073984","-8773248","-6467136","-3176640","-983424","-170112","-12480","-192"],["0","0","384","-4608","-87168","-456192","-1238016","-2044416","-2178816","-1513728","-665472","-170496","-21120","-768","0"],["0","0","0","-384","-10752","-68736","-207360","-356352","-372864","-239232","-89856","-17280","-1152","0","0"],["0","0","0","0","-576","-5760","-20928","-38400","-39360","-22656","-6720","-768","0","0","0"],["0","0","0","0","0","-192","-960","-1920","-1920","-960","-192","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"],["-6144","-87360","-580992","-2398656","-6878976","-14524224","-23337600","-29075904","-28334592","-21607872","-12794496","-5778240","-1926912","-447936","-64896","-4416"],["-17664","-231552","-1416960","-5370240","-14098176","-27156096","-39646464","-44668800","-39156480","-26708352","-14065920","-5622912","-1655040","-339840","-43776","-2688"],["-24576","-291840","-1597440","-5294976","-11671296","-17433984","-16407552","-5545728","9893376","20040960","19872768","12905088","5728512","1690752","301056","24576"],["-17664","-181632","-774144","-1436544","1023744","13527168","41188608","77441664","103162368","101845632","75507456","41792640","16846848","4693632","811008","65664"],["-6144","-38784","120576","2270592","12157440","38740800","85131648","137025216","166226688","153709248","108196224","57191232","22049280","5870976","968448","74880"],["-768","16512","390144","3070080","13688832","40471296","85344768","133390848","157585920","141691392","96568320","49088256","18011904","4490880","675840","45696"],["0","12288","239616","1905408","8716800","26297088","56070144","87768576","102853632","90788352","60008448","29135616","10007040","2267904","294912","15360"],["0","2688","74496","710784","3624192","11695104","25959168","41429760","48605952","42199296","26917632","12326400","3869184","763008","79104","2688"],["0","192","11904","161856","1000704","3621696","8602752","14215104","16809984","14344128","8750208","3704640","1025280","164928","11904","192"],["0","0","768","20736","175872","760704","2003712","3493248","4192512","3504000","2014464","765312","176640","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"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","-384","-5760","-40320","-174720","-524160","-1153152","-1921920","-2471040","-2471040","-1921920","-1153152","-524160","-174720","-40320","-5760","-384"],["0","-3072","-44544","-302592","-1277952","-3753984","-8126976","-13398528","-17132544","-17132544","-13398528","-8126976","-3753984","-1277952","-302592","-44544","-3072"],["0","-8832","-123264","-809856","-3325056","-9546624","-20313216","-33103488","-42083712","-42083712","-33103488","-20313216","-9546624","-3325056","-809856","-123264","-8832"],["0","-12288","-170496","-1119744","-4612608","-13312512","-28482048","-46622208","-59415552","-59415552","-46622208","-28482048","-13312512","-4612608","-1119744","-170496","-12288"],["0","-8832","-132480","-925056","-3990144","-11901696","-26034432","-43193856","-55395840","-55395840","-43193856","-26034432","-11901696","-3990144","-925056","-132480","-8832"],["0","-3072","-59904","-483840","-2284032","-7229952","-16455168","-27987456","-36329472","-36329472","-27987456","-16455168","-7229952","-2284032","-483840","-59904","-3072"],["0","-384","-14976","-157824","-868224","-3029760","-7338240","-12950016","-17100288","-17100288","-12950016","-7338240","-3029760","-868224","-157824","-14976","-384"],["0","0","-1536","-29184","-210432","-855552","-2274816","-4243968","-5753856","-5753856","-4243968","-2274816","-855552","-210432","-29184","-1536","0"],["0","0","0","-2304","-28416","-150912","-466560","-945792","-1330560","-1330560","-945792","-466560","-150912","-28416","-2304","0","0"],["0","0","0","0","-1536","-13824","-55296","-129024","-193536","-193536","-129024","-55296","-13824","-1536","0","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":[["2304","27648","152064","506880","1140480","1824768","2128896","1824768","1140480","506880","152064","27648","2304","0","0"],["-6144","-41472","-69696","225408","1357056","3192192","4430016","3863808","1990656","383232","-195264","-150912","-36096","-1152","576"],["-30624","-247680","-784800","-955200","952320","5273472","8657280","7263360","2221920","-1668480","-2169504","-1016640","-200640","1920","4800"],["-62112","-478560","-1350144","-857376","4734144","15345408","22567104","17873472","4813536","-4868832","-5930880","-2800416","-566784","5952","14784"],["-97824","-686880","-1552320","919008","12864288","32668416","44533344","34295424","9772800","-7960992","-10198752","-4941024","-1068288","-17856","22848"],["-112032","-729696","-1209408","3530304","20963136","47345952","61188768","45444384","12375072","-10400256","-12884832","-6157920","-1367424","-60096","19392"],["-92256","-549792","-455040","5419392","23952864","50071008","61763424","43680864","10275840","-11080704","-12399264","-5621856","-1204224","-68544","9024"],["-55008","-289440","164544","5417088","20439264","40395936","47732448","31807008","5772672","-9272640","-9080160","-3778848","-737280","-40512","2112"],["-20832","-105312","311232","3771840","13214496","25223328","28716192","17920608","2109120","-5958144","-5032608","-1847328","-306432","-13632","192"],["-4320","-27168","187008","1855680","6431328","12157536","13449696","7796832","335616","-2897664","-2075232","-639648","-81024","-2496","0"],["-384","-4704","60960","634560","2315040","4447968","4824480","2571552","-123360","-1052352","-614976","-147168","-12096","-192","0"],["0","-384","10560","143520","593376","1197792","1285344","614688","-103776","-273888","-122784","-19776","-768","0","0"],["0","0","768","19296","100416","223968","240768","98208","-33984","-46944","-14592","-1152","0","0","0"],["0","0","0","1152","9696","25728","28224","9216","-5664","-4608","-768","0","0","0","0"],["0","0","0","0","384","1344","1536","384","-384","-192","0","0","0","0","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["-1536","-18432","-99072","-309504","-599040","-658944","-109824","988416","1976832","2196480","1647360","868608","319488","78336","11520","768"],["-11136","-97152","-376896","-868032","-1351680","-1521408","-1120704","47808","1719936","2901120","2782272","1722048","693504","173568","24000","1344"],["-15072","-77664","-77856","299808","814848","125184","-2292480","-4122432","-2833632","361632","2185440","1750944","656064","93120","-10176","-3456"],["12672","211008","1134432","2849568","2953728","-2249088","-11432256","-16414080","-11720448","-2349120","3145824","2971296","1024128","50304","-60288","-12096"],["59040","527328","1833408","2504064","-2410656","-16236768","-31676064","-34149216","-19564800","-1032384","7540896","6004320","2131584","260928","-48960","-13824"],["80640","533376","1085856","-1453728","-13057056","-34096800","-50965056","-46349184","-21420000","3244512","12035808","8314272","2880576","452352","-3456","-7488"],["57696","288864","-86208","-4800576","-19122720","-40744032","-54033696","-44008224","-16640256","6266304","12352032","7626720","2480064","394560","14784","-1920"],["21888","83520","-543456","-4833120","-16454304","-32525280","-40513344","-30520128","-9460128","6006240","8756448","4809888","1408896","203904","8832","-192"],["4320","11040","-383808","-2862720","-9505248","-18446304","-22235424","-15708960","-3883776","3767808","4414752","2121120","532224","63168","2112","0"],["384","384","-136800","-1094688","-3829344","-7571808","-9009984","-6013632","-1103904","1659936","1583520","642720","129600","10752","192","0"],["0","0","-25248","-266208","-1063776","-2227872","-2660832","-1675680","-191136","512160","392832","127104","18432","768","0","0"],["0","0","-1920","-37440","-190944","-448416","-550656","-324288","-10080","105696","62784","14784","1152","0","0","0"],["0","0","0","-2304","-19200","-55104","-72000","-39552","2688","13248","5568","768","0","0","0","0"],["0","0","0","0","-768","-3072","-4416","-2304","384","768","192","0","0","0","0","0"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","-768","-10368","-64512","-244608","-628992","-1153152","-1537536","-1482624","-988416","-384384","0","104832","69888","24192","4608","384"],["1920","7104","-46080","-432384","-1607040","-3662784","-5803776","-6821760","-6196608","-4424640","-2416128","-889344","-113280","86976","57600","14976","1536"],["2304","-11040","-212352","-1045248","-2814336","-4920864","-6125952","-5977728","-5213952","-4442976","-3440256","-2059008","-802176","-139104","24960","16512","2304"],["-6144","-74496","-349152","-799104","-653472","1311168","4885056","7345152","6042048","1915008","-1483872","-2209152","-1287456","-391488","-46080","5376","1536"],["-13056","-84192","-118656","700128","4185024","11463264","19930368","23559168","18782976","9081504","1268736","-1564896","-1237056","-421152","-67200","-2304","384"],["-8064","-20160","252192","2023872","7394112","16907328","26417952","28934208","21856224","10434048","2025792","-955008","-850464","-275328","-40704","-1920","0"],["-1536","21024","359424","2085408","6842304","14629536","21584448","22305024","15752448","6863712","1073088","-638496","-448320","-116640","-12672","-384","0"],["0","16512","226656","1279872","4139136","8662272","12325152","12015168","7730016","2823360","133632","-392640","-179808","-31296","-1536","0","0"],["0","4320","79104","505632","1730112","3669216","5104704","4676736","2646912","680352","-156864","-177696","-49728","-4320","0","0","0"],["0","384","14688","126144","495936","1110528","1536096","1313088","613152","50496","-101952","-50688","-8160","-192","0","0","0"],["0","0","1152","18144","91584","230016","325440","256896","86784","-20736","-28224","-8160","-576","0","0","0","0"],["0","0","0","1152","9504","29376","44064","31680","5472","-6336","-3744","-576","0","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","0"],["0","960","9024","33408","46464","-73920","-475200","-1089792","-1545984","-1501632","-1024320","-485760","-153216","-28992","-2496"],["0","1152","4032","-28224","-257472","-959040","-2215296","-3563136","-4192128","-3677184","-2399040","-1136448","-370368","-74304","-6912"],["0","-3072","-39936","-235584","-853824","-2146944","-3967488","-5523840","-5827968","-4631040","-2728704","-1160256","-339264","-61824","-5376"],["0","-6528","-67584","-340992","-1104192","-2524608","-4239936","-5322432","-5021760","-3538368","-1816128","-641088","-137088","-12288","384"],["0","-4032","-46656","-252288","-830592","-1851840","-2953152","-3450240","-2946816","-1785024","-711360","-149760","3456","9792","1728"],["0","-768","-16320","-107712","-386496","-892224","-1411200","-1555968","-1178112","-571392","-131904","24768","27072","6720","384"],["0","0","-2304","-24768","-110784","-280704","-451584","-477312","-318336","-105984","13056","27456","9792","1152","0"],["0","0","0","-2304","-16704","-52416","-91584","-93888","-51264","-5184","10944","6336","1152","0","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 = f(n, theta) = 1 + (1) theta; 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.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, 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 + (1) theta","kind":"preserver_image","operator":{"coefficients":[{"denominator":["1"],"numerator":["1"]},{"denominator":["1"],"numerator":["1"]}],"shape":"euler_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 = f(n, theta) = 1 + (1) theta, 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 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":"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":"not applicable: expected one nonzero lag term","route":"product_recurrence","success":false,"variant":"product_recurrence"},{"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":"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":"Unresolved: row relation p(n, k) [x^k] P_n + q(n, k) [x^(k-1)] P_n = 0, n >= 0, with p = (1) (k - n - 2) (k) (k), q = (1) (k - n - 1) (k - n - 1) (k + 1); valuation v(n) = 0, degree d(n) = n; open hypotheses: multiplier_matching: no matching of the ratio factors (identity: R(n, j) = -q(n, j + v(n)) / p(n, j + v(n))) with a base binom(M, j), complements, pairs and reciprocal rising factorials holds for every n >= 0 + delay, delay <= 4, also after the reversal at the degree","route":"hypergeometric_row","success":false,"variant":"hypergeometric_row"},{"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 = f(n, theta) = 1 + (1) theta 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"}