31386083theoremsPT2026-03-30 20:44:07UF31386084theoremNDBT31352989stencilsPTRT31401652theoremsPT