s coverystretch 2 s multiedgesize 200 s coverenablecurves 0 // Graph Lips v A 0 0 0 v B 200 0 0 e A B 3 // Cover of Lips and Tetra c v A_z_1 v A_w_2 v A_x_1 v A_y_2 v A_z_0 v A_w_1 v A_x_0 v A_y_1 v A_z_2 v A_w_0 v A_x_2 v A_y_0 v B_x_0 v B_y_1 v B_z_2 v B_w_0 v B_x_2 v B_y_0 v B_z_1 v B_w_2 v B_x_1 v B_y_2 v B_z_0 v B_w_1 e A_x_0 B_y_0 e A_y_0 B_x_0 e A_x_2 B_z_0 e A_z_0 B_x_2 e A_x_1 B_w_0 e A_w_0 B_x_1 e A_y_2 B_z_2 e A_z_2 B_y_2 e A_y_1 B_w_2 e A_w_2 B_y_1 e A_z_1 B_w_1 e A_w_1 B_z_1 e A_x_1 B_y_1 e A_y_1 B_x_1 e A_x_0 B_z_1 e A_z_1 B_x_0 e A_x_2 B_w_1 e A_w_1 B_x_2 e A_y_0 B_z_0 e A_z_0 B_y_0 e A_y_2 B_w_0 e A_w_0 B_y_2 e A_z_2 B_w_2 e A_w_2 B_z_2 e A_x_2 B_y_2 e A_y_2 B_x_2 e A_x_1 B_z_2 e A_z_2 B_x_1 e A_x_0 B_w_2 e A_w_2 B_x_0 e A_y_1 B_z_1 e A_z_1 B_y_1 e A_y_0 B_w_1 e A_w_1 B_y_0 e A_z_0 B_w_0 e A_w_0 B_z_0