(* deq-NP-NP-0.m == lclm of the following operators, which according
to Maple are irreducible. the first three of them have algebraic solutions,
the last one doesn't. *)
{OrePolynomial[{{3*t^2*(-1 + 4*t)*(1 + 4*t)*(8 - 330*t - 1976*t^2 - 
      3660*t^3 + 2183*t^4), {2}}, 
   {t*(-184 + 6600*t + 36792*t^2 - 64920*t^3 - 624717*t^4 - 936960*t^5 + 
      454064*t^6), {1}}, {-264 + 7320*t + 31372*t^2 - 117750*t^3 - 
     601987*t^4 - 731040*t^5 + 279424*t^6, {0}}}, 
  OreAlgebraObject[{Der[t]}, Factor, Factor[#1 + #2] & , #1*#2 & , None], 
  DegreeLexicographic], OrePolynomial[{{9*t^3*(-1 + 4*t)^3*(1 + 4*t)^2, {3}}, 
   {72*t^2*(-1 + 4*t)^2*(1 + 4*t)*(-1 + 20*t^2), {2}}, 
   {16*t*(-1 + 4*t)*(8 - 3*t - 374*t^2 - 48*t^3 + 3488*t^4), {1}}, 
   {8*(-5 + 33*t + 396*t^2 - 1360*t^3 - 4288*t^4 + 14336*t^5), {0}}}, 
  OreAlgebraObject[{Der[t]}, Factor, Factor[#1 + #2] & , #1*#2 & , None], 
  DegreeLexicographic], OrePolynomial[
  {{3*t^2*(-1 + 4*t)*(1 + 4*t)*(-5 - 342*t - 1141*t^2 - 3528*t^3 + 286*t^4), 
    {2}}, {2*t*(55 + 3189*t + 3984*t^2 - 53688*t^3 - 226326*t^4 - 
      476376*t^5 + 32032*t^6), {1}}, 
   {2*(75 + 3156*t - 6589*t^2 - 109920*t^3 - 294956*t^4 - 427716*t^5 + 
      22880*t^6), {0}}}, OreAlgebraObject[{Der[t]}, Factor, 
   Factor[#1 + #2] & , #1*#2 & , None], DegreeLexicographic], 
 OrePolynomial[{{-(t^3*(1 + 2*t)*(-1 + 4*t)*(1 + 4*t)*(1 - 4*t + 8*t^2)), 
    {2}}, {-(t^2*(-7 + 20*t + 96*t^2 - 256*t^3 + 128*t^4 + 1024*t^5)), {1}}, 
   {-4*t*(-2 + 7*t + 28*t^2 - 40*t^3 + 80*t^4 + 128*t^5), {0}}}, 
  OreAlgebraObject[{Der[t]}, Factor, Factor[#1 + #2] & , #1*#2 & , None], 
  DegreeLexicographic]}
