wolffd@0: digraph abstract {
wolffd@0: 	size="6,6";
wolffd@0: 	S24 -> 27;
wolffd@0: 	S24 -> 25;
wolffd@0: 	S1 -> 10;
wolffd@0: 	S1 -> 2;
wolffd@0: 	S35 -> 36;
wolffd@0: 	S35 -> 43;
wolffd@0: 	S30 -> 31;
wolffd@0: 	S30 -> 33;
wolffd@0: 	9 -> 42;
wolffd@0: 	9 -> T1;
wolffd@0: 	25 -> T1;
wolffd@0: 	25 -> 26;
wolffd@0: 	27 -> T24;
wolffd@0: 	2 -> 3;
wolffd@0: 	2 -> 16;
wolffd@0: 	2 -> 17;
wolffd@0: 	2 -> T1;
wolffd@0: 	2 -> 18;
wolffd@0: 	10 -> 11;
wolffd@0: 	10 -> 14;
wolffd@0: 	10 -> T1;
wolffd@0: 	10 -> 13;
wolffd@0: 	10 -> 12;
wolffd@0: 	31 -> T1;
wolffd@0: 	31 -> 32;
wolffd@0: 	33 -> T30;
wolffd@0: 	33 -> 34;
wolffd@0: 	42 -> 4;
wolffd@0: 	26 -> 4;
wolffd@0: 	3 -> 4;
wolffd@0: 	16 -> 15;
wolffd@0: 	17 -> 19;
wolffd@0: 	18 -> 29;
wolffd@0: 	11 -> 4;
wolffd@0: 	14 -> 15;
wolffd@0: 	37 -> 39;
wolffd@0: 	37 -> 41;
wolffd@0: 	37 -> 38;
wolffd@0: 	37 -> 40;
wolffd@0: 	13 -> 19;
wolffd@0: 	12 -> 29;
wolffd@0: 	43 -> 38;
wolffd@0: 	43 -> 40;
wolffd@0: 	36 -> 19;
wolffd@0: 	32 -> 23;
wolffd@0: 	34 -> 29;
wolffd@0: 	39 -> 15;
wolffd@0: 	41 -> 29;
wolffd@0: 	38 -> 4;
wolffd@0: 	40 -> 19;
wolffd@0: 	4 -> 5;
wolffd@0: 	19 -> 21;
wolffd@0: 	19 -> 20;
wolffd@0: 	19 -> 28;
wolffd@0: 	5 -> 6;
wolffd@0: 	5 -> T35;
wolffd@0: 	5 -> 23;
wolffd@0: 	21 -> 22;
wolffd@0: 	20 -> 15;
wolffd@0: 	28 -> 29;
wolffd@0: 	6 -> 7;
wolffd@0: 	15 -> T1;
wolffd@0: 	22 -> 23;
wolffd@0: 	22 -> T35;
wolffd@0: 	29 -> T30;
wolffd@0: 	7 -> T8;
wolffd@0: 	23 -> T24;
wolffd@0: 	23 -> T1;
wolffd@0: }