Converts SPrSSψ to corresponding expression in Bashicu Matrix System version 4 below (0,0,0)(1,1,1)(2,2,1)(3,0,0). Note that this correspondence is unproven.