#FIG 3.2
Landscape
Center
Inches
Letter  
60.00
Single
-2
1200 2
1 1 0 1 -1 7 0 0 -1 0.000 1 0.0000 2342 1587 2042 1021 2342 1587 4384 2608
1 3 0 1 -1 7 0 0 0 0.000 1 0.0000 691 1323 18 18 691 1323 704 1336
1 2 0 1 -1 7 0 0 -1 0.000 1 0.0000 3109 1268 530 353 2580 915 3639 1621
1 2 0 1 -1 7 0 0 -1 0.000 1 0.0000 2395 2167 819 388 1576 1779 3215 2555
2 1 0 1 -1 7 0 0 -1 0.000 0 0 -1 1 0 2
	1 1 1.00 60.00 120.00
	 1960 2020 2140 2350
2 1 0 1 -1 7 0 0 -1 0.000 0 0 -1 0 0 1
	 2235 2340
2 1 0 1 -1 7 0 0 -1 0.000 0 0 -1 1 0 2
	1 1 1.00 60.00 120.00
	 2240 2330 2430 2215
2 1 0 1 -1 7 0 0 -1 0.000 0 0 -1 1 0 2
	1 1 1.00 60.00 120.00
	 2430 2165 2105 2025
3 2 0 1 -1 7 0 0 -1 0.000 0 1 0 5
	1 1 1.00 60.00 120.00
	 683 1332 555 1587 1066 1779 1193 2225 1800 2025
	 0.000 -1.000 -1.000 -1.000 0.000
4 0 -1 0 0 0 11 0.0000 3 165 1425 3044 503 states satisfying $\\phi$\001
4 0 -1 0 0 0 11 0.0000 3 165 990 764 1375 $\\sat\\E_fG\\phi$\001
4 0 -1 0 0 0 11 0.0000 2 165 525 1985 2435 $\\psi_2$\001
4 0 -1 0 0 0 11 0.0000 2 165 525 1905 2000 $\\psi_1$\001
4 0 -1 0 0 0 11 0.0000 2 165 525 2455 2220 $\\psi_3$\001
4 0 -1 0 0 0 11 0.0000 3 105 540 2850 1275 fair SCC\001
4 0 -1 0 0 0 11 0.0000 3 105 540 2250 1950 fair SCC\001