digraph rfc3164 {
	rankdir=LR;
	node [ shape = point ];
	ENTRY;
	eof_1;
	eof_2;
	eof_3;
	eof_4;
	eof_5;
	eof_6;
	eof_7;
	eof_8;
	eof_9;
	eof_10;
	eof_11;
	eof_12;
	eof_13;
	eof_14;
	eof_15;
	eof_16;
	eof_17;
	eof_18;
	eof_19;
	eof_20;
	eof_21;
	eof_22;
	eof_23;
	eof_24;
	eof_25;
	eof_26;
	eof_27;
	eof_28;
	eof_29;
	eof_30;
	eof_31;
	eof_32;
	eof_33;
	eof_34;
	eof_35;
	node [ shape = circle, height = 0.2 ];
	err_1 [ label=""];
	err_2 [ label=""];
	err_3 [ label=""];
	err_4 [ label=""];
	err_5 [ label=""];
	err_6 [ label=""];
	err_7 [ label=""];
	err_8 [ label=""];
	err_9 [ label=""];
	err_10 [ label=""];
	err_11 [ label=""];
	err_12 [ label=""];
	err_13 [ label=""];
	err_14 [ label=""];
	err_15 [ label=""];
	err_16 [ label=""];
	err_17 [ label=""];
	err_18 [ label=""];
	err_19 [ label=""];
	err_20 [ label=""];
	err_21 [ label=""];
	err_22 [ label=""];
	err_23 [ label=""];
	err_24 [ label=""];
	err_25 [ label=""];
	err_26 [ label=""];
	err_27 [ label=""];
	err_28 [ label=""];
	err_29 [ label=""];
	err_30 [ label=""];
	err_31 [ label=""];
	err_32 [ label=""];
	err_33 [ label=""];
	err_34 [ label=""];
	node [ fixedsize = true, height = 0.65, shape = doublecircle ];
	35;
	node [ shape = circle ];
	1 -> 2 [ label = "'A' / mark" ];
	1 -> 20 [ label = "'D' / mark" ];
	1 -> 22 [ label = "'F' / mark" ];
	1 -> 24 [ label = "'J' / mark" ];
	1 -> 27 [ label = "'M' / mark" ];
	1 -> 29 [ label = "'N' / mark" ];
	1 -> 31 [ label = "'O' / mark" ];
	1 -> 33 [ label = "'S' / mark" ];
	1 -> err_1 [ label = "DEF / err_timestamp" ];
	2 -> 3 [ label = "'p'" ];
	2 -> 19 [ label = "'u'" ];
	2 -> err_2 [ label = "DEF / err_timestamp" ];
	3 -> 4 [ label = "'r'" ];
	3 -> err_3 [ label = "DEF / err_timestamp" ];
	4 -> 5 [ label = "SP" ];
	4 -> err_4 [ label = "DEF / err_timestamp" ];
	5 -> 6 [ label = "SP" ];
	5 -> 17 [ label = "'1'..'2'" ];
	5 -> 18 [ label = "'3'" ];
	5 -> err_5 [ label = "DEF / err_timestamp" ];
	6 -> 7 [ label = "'1'..'9'" ];
	6 -> err_6 [ label = "DEF / err_timestamp" ];
	7 -> 8 [ label = "SP" ];
	7 -> err_7 [ label = "DEF / err_timestamp" ];
	8 -> 9 [ label = "'0'..'1'" ];
	8 -> 16 [ label = "'2'" ];
	8 -> err_8 [ label = "DEF / err_timestamp" ];
	9 -> 10 [ label = "'0'..'9'" ];
	9 -> err_9 [ label = "DEF / err_timestamp" ];
	10 -> 11 [ label = "':'" ];
	10 -> err_10 [ label = "DEF / err_timestamp" ];
	11 -> 12 [ label = "'0'..'5'" ];
	11 -> err_11 [ label = "DEF / err_timestamp" ];
	12 -> 13 [ label = "'0'..'9'" ];
	12 -> err_12 [ label = "DEF / err_timestamp" ];
	13 -> 14 [ label = "':'" ];
	13 -> err_13 [ label = "DEF / err_timestamp" ];
	14 -> 15 [ label = "'0'..'5'" ];
	14 -> err_14 [ label = "DEF / err_timestamp" ];
	15 -> 35 [ label = "'0'..'9'" ];
	15 -> err_15 [ label = "DEF / err_timestamp" ];
	16 -> 10 [ label = "'0'..'3'" ];
	16 -> err_16 [ label = "DEF / err_timestamp" ];
	17 -> 7 [ label = "'0'..'9'" ];
	17 -> err_17 [ label = "DEF / err_timestamp" ];
	18 -> 7 [ label = "'0'..'1'" ];
	18 -> err_18 [ label = "DEF / err_timestamp" ];
	19 -> 4 [ label = "'g'" ];
	19 -> err_19 [ label = "DEF / err_timestamp" ];
	20 -> 21 [ label = "'e'" ];
	20 -> err_20 [ label = "DEF / err_timestamp" ];
	21 -> 4 [ label = "'c'" ];
	21 -> err_21 [ label = "DEF / err_timestamp" ];
	22 -> 23 [ label = "'e'" ];
	22 -> err_22 [ label = "DEF / err_timestamp" ];
	23 -> 4 [ label = "'b'" ];
	23 -> err_23 [ label = "DEF / err_timestamp" ];
	24 -> 25 [ label = "'a'" ];
	24 -> 26 [ label = "'u'" ];
	24 -> err_24 [ label = "DEF / err_timestamp" ];
	25 -> 4 [ label = "'n'" ];
	25 -> err_25 [ label = "DEF / err_timestamp" ];
	26 -> 4 [ label = "'l', 'n'" ];
	26 -> err_26 [ label = "DEF / err_timestamp" ];
	27 -> 28 [ label = "'a'" ];
	27 -> err_27 [ label = "DEF / err_timestamp" ];
	28 -> 4 [ label = "'r', 'y'" ];
	28 -> err_28 [ label = "DEF / err_timestamp" ];
	29 -> 30 [ label = "'o'" ];
	29 -> err_29 [ label = "DEF / err_timestamp" ];
	30 -> 4 [ label = "'v'" ];
	30 -> err_30 [ label = "DEF / err_timestamp" ];
	31 -> 32 [ label = "'c'" ];
	31 -> err_31 [ label = "DEF / err_timestamp" ];
	32 -> 4 [ label = "'t'" ];
	32 -> err_32 [ label = "DEF / err_timestamp" ];
	33 -> 34 [ label = "'e'" ];
	33 -> err_33 [ label = "DEF / err_timestamp" ];
	34 -> 4 [ label = "'p'" ];
	34 -> err_34 [ label = "DEF / err_timestamp" ];
	ENTRY -> 1 [ label = "IN" ];
	1 -> eof_1 [ label = "EOF / err_timestamp" ];
	2 -> eof_2 [ label = "EOF / err_timestamp" ];
	3 -> eof_3 [ label = "EOF / err_timestamp" ];
	4 -> eof_4 [ label = "EOF / err_timestamp" ];
	5 -> eof_5 [ label = "EOF / err_timestamp" ];
	6 -> eof_6 [ label = "EOF / err_timestamp" ];
	7 -> eof_7 [ label = "EOF / err_timestamp" ];
	8 -> eof_8 [ label = "EOF / err_timestamp" ];
	9 -> eof_9 [ label = "EOF / err_timestamp" ];
	10 -> eof_10 [ label = "EOF / err_timestamp" ];
	11 -> eof_11 [ label = "EOF / err_timestamp" ];
	12 -> eof_12 [ label = "EOF / err_timestamp" ];
	13 -> eof_13 [ label = "EOF / err_timestamp" ];
	14 -> eof_14 [ label = "EOF / err_timestamp" ];
	15 -> eof_15 [ label = "EOF / err_timestamp" ];
	16 -> eof_16 [ label = "EOF / err_timestamp" ];
	17 -> eof_17 [ label = "EOF / err_timestamp" ];
	18 -> eof_18 [ label = "EOF / err_timestamp" ];
	19 -> eof_19 [ label = "EOF / err_timestamp" ];
	20 -> eof_20 [ label = "EOF / err_timestamp" ];
	21 -> eof_21 [ label = "EOF / err_timestamp" ];
	22 -> eof_22 [ label = "EOF / err_timestamp" ];
	23 -> eof_23 [ label = "EOF / err_timestamp" ];
	24 -> eof_24 [ label = "EOF / err_timestamp" ];
	25 -> eof_25 [ label = "EOF / err_timestamp" ];
	26 -> eof_26 [ label = "EOF / err_timestamp" ];
	27 -> eof_27 [ label = "EOF / err_timestamp" ];
	28 -> eof_28 [ label = "EOF / err_timestamp" ];
	29 -> eof_29 [ label = "EOF / err_timestamp" ];
	30 -> eof_30 [ label = "EOF / err_timestamp" ];
	31 -> eof_31 [ label = "EOF / err_timestamp" ];
	32 -> eof_32 [ label = "EOF / err_timestamp" ];
	33 -> eof_33 [ label = "EOF / err_timestamp" ];
	34 -> eof_34 [ label = "EOF / err_timestamp" ];
	35 -> eof_35 [ label = "EOF / set_timestamp" ];
}
