Mathematica computations used in the paper: The smoothness of the real projective deformation spaces of orderable Coxeter 3-polytopes, Suhyoung Choi, Seungyeol Park: File 1, File 2