private static void writeMarking2(String id, String label, PrintWriter writer) {
        if (printoutput) {
            System.out.println("marking p_" + id + label + "0 0");
            System.out.println("marking p_" + id + label + "1 1");
        }