#FIG 3.2
Landscape
Center
Inches
Letter  
100.00
Single
-2
1200 2
0 32 #c7b696
0 33 #effbff
0 34 #dfcba6
0 35 #414141
0 36 #868286
0 37 #c7c3c7
0 38 #e7e3e7
0 39 #8e8e8e
0 40 #aeaaae
0 41 #515551
0 42 #414141
0 43 #868286
0 44 #c7c3c7
0 45 #868286
0 46 #c7c3c7
0 47 #e7e3e7
0 48 #8e8e8e
0 49 #8e8e8e
0 50 #414141
0 51 #868286
0 52 #c7c3c7
0 53 #e7e3e7
0 54 #414141
0 55 #868286
0 56 #c7c3c7
0 57 #e7e3e7
0 58 #868286
0 59 #c7c3c7
0 60 #e7e3e7
0 61 #c7b696
0 62 #effbff
0 63 #dfcba6
0 64 #c7b696
0 65 #effbff
0 66 #dfcba6
0 67 #aeaaae
0 68 #515551
0 69 #8e8e8e
0 70 #414141
0 71 #868286
0 72 #c7c3c7
0 73 #e7e3e7
0 74 #414141
0 75 #868286
0 76 #c7c3c7
0 77 #e7e3e7
0 78 #868286
0 79 #c7c3c7
0 80 #e7e3e7
0 81 #414141
0 82 #868286
0 83 #c7c3c7
0 84 #414141
0 85 #c7c3c7
0 86 #e7e3e7
0 87 #414141
0 88 #868286
0 89 #c7c3c7
0 90 #8e8e8e
0 91 #414141
0 92 #868286
0 93 #c7c3c7
0 94 #e7e3e7
0 95 #414141
0 96 #868286
0 97 #c7c3c7
0 98 #e7e3e7
0 99 #bebebe
0 100 #515151
0 101 #000049
0 102 #797979
0 103 #303430
0 104 #414541
0 105 #414141
0 106 #868286
0 107 #c7c3c7
0 108 #e7e3e7
6 4500 4050 5400 4500
2 2 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 5
	 4500 4050 5400 4050 5400 4500 4500 4500 4500 4050
4 0 0 50 0 16 12 0.0000 4 135 465 4650 4350 TRUE\001
-6
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
	0 0 1.00 60.00 120.00
	 4950 1725 4950 2475
2 2 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 5
	 4575 2475 5325 2475 5325 2925 4575 2925 4575 2475
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
	0 0 1.00 60.00 120.00
	 4800 2925 4800 4050
2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 1 2
	0 0 1.00 60.00 120.00
	 5175 2925 5175 4050
4 0 0 50 0 16 12 0.0000 4 135 435 5100 2100 initial\001
4 0 0 50 0 16 12 0.0000 4 135 600 4650 2775 FALSE\001
4 0 0 50 0 16 12 0.0000 4 180 3660 975 3525 scheduler: got reply with client_state DONE\001
4 0 0 50 0 16 12 0.0000 4 180 2010 5400 3525 validate: done checking\001