(deffacts diagram1 " nondeterministic fsa with three states"
(circle 1 9 10) 
(circle 1 18 10) 
(circle 1 12 15) 
(circle 0.7 12 15) 
(curve a 5.5 8 8.1 9.1) 
(line 8.1 9.1 7.8 8.8) 
(line 7.7 9.3 8.1 9.1) 
(curve b 9.9 9.9 17.1 9.3) 
(line 10 9.2 9.9 9.9) 
(line 11 9.8 9.89 9.89) 
(label b 0) 
(curve c 10 10 17 10) 
(label c 1) 
(line 16.6 9.8 17 10) 
(line 16.6 10.2 17 10) 
(curve d 19 10 18 9) 
(label d 0) 
(label d 1) 
(line 17.6 8.9 18 9) 
(line 18 9 18.1 8.6) 
(curve e 9.8 10.8 11.3 14.3) 
(label e 0) 
(line 11.1 14.2 11.3 14.3) 
(line 11.3 14.1 11.3 14.3) 
(curve f 12.7 14.3 17.2 10.8) 
(label f 1) 
(line 12.5 14 12.7 14.3) 
(line 12.7 14.3 13 14) 
(curve g 12.8 15.8 18 11) 
(label g epsilon) 
(line 17.8 11.2 18 11) 
(line 18.2 11.2 18 11))