new file mode 100644

@@ -0,0 +1,71 @@

+digraph abstract {

+	size="6,6";

+	S24 -> 27;

+	S24 -> 25;

+	S1 -> 10;

+	S1 -> 2;

+	S35 -> 36;

+	S35 -> 43;

+	S30 -> 31;

+	S30 -> 33;

+	9 -> 42;

+	9 -> T1;

+	25 -> T1;

+	25 -> 26;

+	27 -> T24;

+	2 -> 3;

+	2 -> 16;

+	2 -> 17;

+	2 -> T1;

+	2 -> 18;

+	10 -> 11;

+	10 -> 14;

+	10 -> T1;

+	10 -> 13;

+	10 -> 12;

+	31 -> T1;

+	31 -> 32;

+	33 -> T30;

+	33 -> 34;

+	42 -> 4;

+	26 -> 4;

+	3 -> 4;

+	16 -> 15;

+	17 -> 19;

+	18 -> 29;

+	11 -> 4;

+	14 -> 15;

+	37 -> 39;

+	37 -> 41;

+	37 -> 38;

+	37 -> 40;

+	13 -> 19;

+	12 -> 29;

+	43 -> 38;

+	43 -> 40;

+	36 -> 19;

+	32 -> 23;

+	34 -> 29;

+	39 -> 15;

+	41 -> 29;

+	38 -> 4;

+	40 -> 19;

+	4 -> 5;

+	19 -> 21;

+	19 -> 20;

+	19 -> 28;

+	5 -> 6;

+	5 -> T35;

+	5 -> 23;

+	21 -> 22;

+	20 -> 15;

+	28 -> 29;

+	6 -> 7;

+	15 -> T1;

+	22 -> 23;

+	22 -> T35;

+	29 -> T30;

+	7 -> T8;

+	23 -> T24;

+	23 -> T1;

+}