{"certification":{"candidate":{"gauge":{"kind":"none"},"index_shift":0,"operator":{"coefficients":[{"denominator":["1"],"numerator":["0"]},{"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":[["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":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":[["0","0","0"],["90","180","90"],["453","906","453"],["492","984","492"],["216","432","216"],["42","84","42"],["3","6","3"]]},"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"],["-72","-72"],["-294","-294"],["-369","-369"],["-183","-183"],["-39","-39"],["-3","-3"]]},"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":1,"shift":3}]},"exceptional_bases":[],"gauge":{"kind":"none"},"identifying_indices":[0,1,2,3],"index_shift":0,"input":{"first_index":0,"initial_polynomials":[["0"],["2"],["8","6"],["18","36","12"]],"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":["0"]},{"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":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"],["1152","13824","76032","253440","570240","912384","1064448","912384","570240","253440","76032","13824","1152"],["11040","127872","682560","2221440","4911840","7776000","9039744","7776000","4911840","2221440","682560","127872","11040"],["41856","467328","2419968","7691136","16718976","26198784","30352896","26198784","16718976","7691136","2419968","467328","41856"],["85056","932352","4769088","15042048","32557248","50909184","58944384","50909184","32557248","15042048","4769088","932352","85056"],["103296","1155072","6014208","19238784","42057216","66148992","76736256","66148992","42057216","19238784","6014208","1155072","103296"],["77952","946944","5212800","17304576","38735520","61738368","71927232","61738368","38735520","17304576","5212800","946944","77952"],["36480","527616","3209472","11339520","26388480","42972672","50410752","42972672","26388480","11339520","3209472","527616","36480"],["10176","198144","1411200","5482752","13513344","22700544","26893440","22700544","13513344","5482752","1411200","198144","10176"],["1536","47616","434688","1943808","5200512","9127680","10964736","9127680","5200512","1943808","434688","47616","1536"],["96","6528","88896","491136","1480224","2763264","3383424","2763264","1480224","491136","88896","6528","96"],["0","384","10752","83328","299904","612096","770304","612096","299904","83328","10752","384","0"],["0","0","576","8448","40128","93696","122880","93696","40128","8448","576","0","0"],["0","0","0","384","3072","8832","12288","8832","3072","384","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"],["-1152","-14976","-89856","-329472","-823680","-1482624","-1976832","-1976832","-1482624","-823680","-329472","-89856","-14976","-1152"],["-7584","-93984","-540864","-1915584","-4662240","-8239968","-10885248","-10885248","-8239968","-4662240","-1915584","-540864","-93984","-7584"],["-21408","-257184","-1444416","-5023296","-12070752","-21163104","-27849600","-27849600","-21163104","-12070752","-5023296","-1444416","-257184","-21408"],["-33696","-403872","-2270208","-7913472","-19064160","-33491808","-44121600","-44121600","-33491808","-19064160","-7913472","-2270208","-403872","-33696"],["-32160","-403104","-2345472","-8386944","-20567904","-36542304","-48402816","-48402816","-36542304","-20567904","-8386944","-2345472","-403104","-32160"],["-18912","-266976","-1676928","-6309120","-16000320","-29019072","-38817984","-38817984","-29019072","-16000320","-6309120","-1676928","-266976","-18912"],["-6624","-117984","-843648","-3442944","-9198912","-17216448","-23374272","-23374272","-17216448","-9198912","-3442944","-843648","-117984","-6624"],["-1248","-33504","-294912","-1362048","-3928128","-7690176","-10662336","-10662336","-7690176","-3928128","-1362048","-294912","-33504","-1248"],["-96","-5472","-68352","-381312","-1228992","-2564928","-3662784","-3662784","-2564928","-1228992","-381312","-68352","-5472","-96"],["0","-384","-9408","-71232","-271584","-621792","-925632","-925632","-621792","-271584","-71232","-9408","-384","0"],["0","0","-576","-7872","-39264","-103392","-163776","-163776","-103392","-39264","-7872","-576","0","0"],["0","0","0","-384","-3168","-10464","-18240","-18240","-10464","-3168","-384","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"],["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":[["0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["-2304","-29952","-179712","-658944","-1647360","-2965248","-3953664","-3953664","-2965248","-1647360","-658944","-179712","-29952","-2304"],["-22080","-277824","-1620864","-5808000","-14266560","-25375680","-33631488","-33631488","-25375680","-14266560","-5808000","-1620864","-277824","-22080"],["-83712","-1018368","-5774592","-20222208","-48820224","-85835520","-113103360","-113103360","-85835520","-48820224","-20222208","-5774592","-1018368","-83712"],["-170112","-2034816","-11402880","-39622272","-95198592","-166932864","-219707136","-219707136","-166932864","-95198592","-39622272","-11402880","-2034816","-170112"],["-206592","-2516736","-14338560","-50505984","-122592000","-216412416","-285770496","-285770496","-216412416","-122592000","-50505984","-14338560","-2516736","-206592"],["-155904","-2049792","-12319488","-45034752","-112080192","-200947776","-267331200","-267331200","-200947776","-112080192","-45034752","-12319488","-2049792","-155904"],["-72960","-1128192","-7474176","-29097984","-75456000","-138722304","-186766848","-186766848","-138722304","-75456000","-29097984","-7474176","-1128192","-72960"],["-20352","-416640","-3218688","-13787904","-37992192","-72427776","-99187968","-99187968","-72427776","-37992192","-13787904","-3218688","-416640","-20352"],["-3072","-98304","-964608","-4756992","-14288640","-28656384","-40184832","-40184832","-28656384","-14288640","-4756992","-964608","-98304","-3072"],["-192","-13248","-190848","-1160064","-3942720","-8486976","-12293376","-12293376","-8486976","-3942720","-1160064","-190848","-13248","-192"],["0","-768","-22272","-188160","-766464","-1824000","-2764800","-2764800","-1824000","-766464","-188160","-22272","-768","0"],["0","0","-1152","-18048","-97152","-267648","-433152","-433152","-267648","-97152","-18048","-1152","0","0"],["0","0","0","-768","-6912","-23808","-42240","-42240","-23808","-6912","-768","0","0","0"],["0","0","0","0","-192","-960","-1920","-1920","-960","-192","0","0","0","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","0","0","0","0","0","0","0","0","0","0","0","0","0"],["1728","24192","157248","628992","1729728","3459456","5189184","5930496","5189184","3459456","1729728","628992","157248","24192","1728"],["14976","202752","1279872","4995072","13470336","26560512","39498624","45010944","39498624","26560512","13470336","4995072","1279872","202752","14976"],["49152","642048","3930240","14953728","39530112","76836864","113285376","128724480","113285376","76836864","39530112","14953728","3930240","642048","49152"],["83328","1075968","6543744","24827136","65596032","127576320","188233344","213954048","188233344","127576320","65596032","24827136","6543744","1075968","83328"],["81024","1088256","6838656","26617344","71651136","141106560","209684160","238885632","209684160","141106560","71651136","26617344","6838656","1088256","81024"],["46464","705792","4806528","19748352","55147776","111244800","167591424","191786496","167591424","111244800","55147776","19748352","4806528","705792","46464"],["15360","297984","2326272","10427904","30846720","64558080","99276288","114361344","99276288","64558080","30846720","10427904","2326272","297984","15360"],["2688","79104","767616","3926016","12628224","27850752","44090880","51267072","44090880","27850752","12628224","3926016","767616","79104","2688"],["192","11904","164928","1028352","3732288","8860800","14602176","17197056","14602176","8860800","3732288","1028352","164928","11904","192"],["0","768","20736","176640","766080","2019840","3520128","4219392","3520128","2019840","766080","176640","20736","768","0"],["0","0","1152","17664","100992","310272","585984","720384","585984","310272","100992","17664","1152","0","0"],["0","0","0","768","7296","28416","60288","76800","60288","28416","7296","768","0","0","0"],["0","0","0","0","192","1152","2880","3840","2880","1152","192","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":[["-2304","-27648","-152064","-506880","-1140480","-1824768","-2128896","-1824768","-1140480","-506880","-152064","-27648","-2304","0"],["16320","147456","558720","1069824","740160","-1278720","-4094208","-5460480","-4404672","-2250240","-685440","-94464","4800","2304"],["57696","563328","2419872","5860992","8274432","5394240","-2814912","-10027008","-10659744","-6279168","-2041056","-243840","45120","12864"],["169824","1668864","7254912","18100608","27683328","24238848","5590656","-14128896","-20140320","-13385472","-4820736","-709248","76992","29952"],["326880","3142368","13550688","34014144","53389728","50476608","19744224","-15579648","-29309184","-21057504","-8159040","-1463616","26496","37440"],["427104","4166112","18094752","45605760","72081984","69777792","31268064","-14052864","-32949024","-24470112","-9710016","-1901184","-60480","26880"],["433440","4202976","18210720","45885408","72634176","70835712","33403296","-10464864","-28780320","-21353952","-8325120","-1624128","-84096","10944"],["325920","3204960","14046240","35630688","56522880","55133760","26428128","-6482208","-19641504","-14124384","-5211456","-944256","-49344","2304"],["169632","1797408","8229792","21373920","34225344","33359232","15970656","-3352800","-10500000","-7100064","-2371392","-369600","-15744","192"],["55392","712608","3585888","9790560","16038336","15649728","7347360","-1494048","-4369632","-2679072","-766656","-91776","-2688","0"],["9984","186912","1119552","3343008","5702016","5588928","2523936","-578208","-1396224","-734112","-165408","-12864","-192","0"],["768","28704","233952","813216","1486464","1470144","616992","-185184","-328128","-136992","-20928","-768","0","0"],["0","1920","28800","129504","266400","268608","98880","-43680","-51936","-15360","-1152","0","0","0"],["0","0","1536","11424","28608","30144","9216","-6240","-4800","-768","0","0","0","0"],["0","0","0","384","1344","1536","384","-384","-192","0","0","0","0","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["2304","29952","179712","658944","1647360","2965248","3953664","3953664","2965248","1647360","658944","179712","29952","2304","0"],["20352","192192","825408","2172288","4054272","5984064","7498944","7992576","6846336","4378944","1931712","519552","58368","-5952","-1728"],["40032","304608","945504","1414368","717696","-509184","343872","3985344","7064928","6485472","3435744","945504","43200","-43200","-8064"],["13536","-121056","-1683456","-7527360","-18404928","-27615936","-25118400","-10566912","4163040","9060384","5906688","1845696","142464","-71040","-15168"],["-128928","-1544544","-8079744","-24688512","-48917280","-64866720","-55732128","-25417248","2919168","12939456","8956320","3020064","395328","-44352","-14592"],["-308256","-3032736","-13855008","-38352672","-70292352","-87144192","-70160544","-29357472","4986336","15623136","10289088","3449088","533760","384","-7488"],["-334944","-3214944","-14295744","-38336640","-67704096","-80277792","-60802080","-22208160","7077312","14232384","8559072","2707104","419904","15552","-1920"],["-208992","-2153760","-9920544","-26868768","-46989312","-54132480","-38695584","-11821920","6521376","9541344","5123904","1464384","206976","8832","-192"],["-74976","-947616","-4807680","-13629120","-24146400","-27377568","-18501984","-4461216","4073856","4672896","2192352","538848","63168","2112","0"],["-14304","-266784","-1615776","-5010144","-9214848","-10413696","-6658464","-1140192","1782816","1643424","652416","129792","10752","192","0"],["-1152","-43392","-358560","-1298016","-2562528","-2927328","-1766304","-169248","541920","401376","127680","18432","768","0","0"],["0","-3072","-46944","-220320","-492480","-582336","-329760","-3744","109440","63360","14784","1152","0","0","0"],["0","0","-2688","-20928","-57984","-73920","-39552","3264","13440","5568","768","0","0","0","0"],["0","0","0","-768","-3072","-4416","-2304","384","768","192","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"],["-10944","-112896","-525312","-1459200","-2712384","-3624192","-3729792","-3193344","-2376000","-1444608","-582912","-55296","91968","57600","14976","1536"],["-19104","-155904","-530304","-896256","-490272","1000320","2406528","2140416","355104","-1167360","-1318272","-653568","-125280","24960","16512","2304"],["5376","122016","908544","3640416","9246144","15932736","19001088","15304128","7372416","836640","-1530624","-1163808","-380736","-46080","5376","1536"],["50976","563328","2908512","9234240","19943136","30575232","33602688","25859712","12713760","2550912","-1290720","-1212480","-421920","-67200","-2304","384"],["73152","756768","3685056","11097792","22813632","33318432","34827840","25426272","11856768","2325312","-961920","-870048","-278784","-40704","-1920","0"],["53664","574848","2858400","8626752","17451936","24696384","24661248","16895232","7127520","1023552","-692640","-461760","-117408","-12672","-384","0"],["21120","276192","1501440","4700544","9565440","13279776","12651840","7941984","2797248","78720","-412224","-182112","-31296","-1536","0","0"],["4320","83712","539040","1834944","3852384","5292480","4779264","2657280","658464","-169536","-180000","-49728","-4320","0","0","0"],["384","14688","127680","504384","1128960","1555296","1320768","610848","47424","-102720","-50688","-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) 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 [0, 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) D","kind":"preserver_image","operator":{"coefficients":[{"denominator":["1"],"numerator":["0"]},{"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) 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) 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"}