Number of contingents in the graph 0 Number of observed propositions in the graph 0 Network Type CSTNU Number of edges in the graph 0 Number of vertices in the graph 0 Graph Name Proposition Observed. Value specification: [a-zA-F] The x coordinate for the visualitation. A positive value. 0 Label. Format: [¬[a-zA-F]|[a-zA-F]]+|⊡ ⊡ The y coordinate for the visualitation. A positive value. 0 Labeled Potential Values. Format: {[('node name (no case modification)', 'integer', 'label') ]+}|{} Type: Possible values: normal|contingent|constraint|derived|internal. normal Value for STN edge. Format: 'integer' Case Value. Format: 'LC(NodeName):integer' or 'UC(NodeName):integer' 50 STNU 1559 501 150.0 0.0 300.0 13500.0 750.0 12000.0 450.0 4500.0 750.0 7050.0 600.0 8100.0 600.0 9300.0 600.0 3300.0 600.0 13050.0 300.0 13650.0 450.0 4350.0 750.0 11400.0 300.0 2100.0 300.0 7200.0 600.0 10350.0 600.0 7950.0 300.0 3150.0 600.0 2250.0 600.0 6900.0 600.0 10800.0 300.0 7500.0 450.0 10800.0 600.0 450.0 300.0 7350.0 300.0 12150.0 450.0 11850.0 750.0 10350.0 450.0 450.0 300.0 3300.0 150.0 8400.0 600.0 13350.0 600.0 10950.0 600.0 9750.0 450.0 2550.0 750.0 450.0 300.0 7050.0 300.0 0.0 600.0 1950.0 750.0 13200.0 450.0 10650.0 300.0 6150.0 150.0 7050.0 600.0 5700.0 300.0 1950.0 300.0 6000.0 450.0 4650.0 450.0 14850.0 750.0 14100.0 150.0 11100.0 300.0 1200.0 750.0 13050.0 150.0 8850.0 300.0 14700.0 600.0 9600.0 600.0 300.0 450.0 3000.0 450.0 9600.0 450.0 3750.0 150.0 10050.0 150.0 3450.0 150.0 5850.0 600.0 4500.0 600.0 10500.0 150.0 1050.0 300.0 2550.0 750.0 11550.0 750.0 5400.0 600.0 900.0 300.0 13200.0 450.0 11100.0 450.0 12450.0 600.0 1650.0 600.0 4350.0 450.0 8400.0 450.0 5850.0 150.0 5100.0 600.0 0.0 450.0 13650.0 300.0 8550.0 300.0 5700.0 600.0 8400.0 300.0 1350.0 750.0 6600.0 750.0 12900.0 150.0 2550.0 600.0 5550.0 450.0 300.0 150.0 8550.0 450.0 5250.0 600.0 12750.0 150.0 6000.0 300.0 12300.0 450.0 7050.0 450.0 2100.0 450.0 1050.0 600.0 10200.0 450.0 12900.0 450.0 12150.0 150.0 6300.0 600.0 7050.0 150.0 11850.0 150.0 2700.0 150.0 3900.0 600.0 1800.0 600.0 9150.0 600.0 12000.0 300.0 5850.0 450.0 14700.0 150.0 12900.0 300.0 8400.0 750.0 7200.0 150.0 7200.0 150.0 8700.0 300.0 4800.0 450.0 9450.0 450.0 0.0 450.0 2700.0 450.0 4800.0 450.0 9750.0 750.0 8400.0 750.0 4200.0 300.0 9750.0 750.0 2550.0 150.0 6600.0 150.0 12750.0 450.0 14250.0 750.0 1650.0 450.0 6900.0 600.0 150.0 750.0 2400.0 450.0 12750.0 450.0 14100.0 450.0 10050.0 600.0 11550.0 450.0 2250.0 450.0 1950.0 750.0 3300.0 600.0 10650.0 750.0 600.0 750.0 3600.0 450.0 9150.0 450.0 13950.0 150.0 10800.0 750.0 11100.0 750.0 750.0 150.0 1500.0 150.0 150.0 450.0 10500.0 300.0 3750.0 150.0 6750.0 150.0 13050.0 750.0 11700.0 750.0 3450.0 150.0 12450.0 300.0 13800.0 300.0 2250.0 600.0 5250.0 300.0 5100.0 150.0 3600.0 450.0 1650.0 450.0 4050.0 450.0 2850.0 450.0 2400.0 300.0 6600.0 600.0 11700.0 600.0 1500.0 450.0 6000.0 300.0 6900.0 750.0 9750.0 600.0 2400.0 750.0 8100.0 750.0 5550.0 300.0 14850.0 150.0 11400.0 150.0 12600.0 450.0 10950.0 450.0 11400.0 300.0 1650.0 600.0 14250.0 150.0 6450.0 300.0 11550.0 300.0 1800.0 750.0 14700.0 600.0 13500.0 750.0 10800.0 450.0 8250.0 600.0 9450.0 450.0 13050.0 600.0 3000.0 750.0 4350.0 150.0 1800.0 750.0 13500.0 150.0 1950.0 150.0 4650.0 600.0 4200.0 450.0 11700.0 750.0 12600.0 450.0 3450.0 450.0 3300.0 150.0 4800.0 300.0 9600.0 750.0 14550.0 150.0 7650.0 600.0 4650.0 600.0 2700.0 750.0 11850.0 750.0 13650.0 300.0 9450.0 0.0 0.0 600.0 600.0 600.0 1050.0 750.0 5100.0 300.0 2400.0 450.0 9900.0 150.0 9600.0 450.0 12000.0 300.0 14100.0 150.0 12300.0 150.0 6150.0 600.0 14400.0 150.0 2250.0 750.0 5700.0 600.0 14550.0 600.0 7200.0 450.0 9300.0 600.0 11850.0 750.0 8700.0 150.0 11250.0 150.0 750.0 450.0 12300.0 450.0 6750.0 600.0 2100.0 300.0 7800.0 300.0 12900.0 150.0 3750.0 300.0 4950.0 450.0 3150.0 600.0 13650.0 600.0 8250.0 600.0 750.0 750.0 7500.0 300.0 450.0 300.0 3450.0 600.0 2850.0 300.0 12450.0 750.0 10200.0 750.0 3150.0 150.0 8250.0 750.0 14250.0 450.0 6600.0 600.0 12450.0 750.0 0.0 450.0 5400.0 600.0 7650.0 300.0 11400.0 750.0 1950.0 300.0 11850.0 450.0 6300.0 450.0 8850.0 600.0 6300.0 300.0 2850.0 600.0 7800.0 750.0 4650.0 300.0 12000.0 600.0 9000.0 750.0 150.0 600.0 13950.0 600.0 13800.0 750.0 13800.0 750.0 5250.0 300.0 600.0 750.0 9000.0 450.0 10200.0 600.0 8550.0 150.0 10500.0 450.0 3900.0 450.0 9000.0 600.0 8850.0 300.0 300.0 150.0 14400.0 450.0 4200.0 300.0 10050.0 750.0 12150.0 750.0 8850.0 150.0 12150.0 750.0 11250.0 300.0 5550.0 600.0 3600.0 150.0 13500.0 150.0 12000.0 450.0 1350.0 300.0 10200.0 750.0 6150.0 600.0 3900.0 600.0 5100.0 150.0 9150.0 150.0 4200.0 600.0 5400.0 750.0 4050.0 450.0 10350.0 450.0 5550.0 750.0 12450.0 750.0 6000.0 450.0 7650.0 300.0 1500.0 300.0 8100.0 750.0 1200.0 300.0 3600.0 300.0 10500.0 750.0 3000.0 300.0 8250.0 750.0 2100.0 300.0 6750.0 750.0 14400.0 450.0 11550.0 300.0 4050.0 750.0 4800.0 300.0 11250.0 150.0 8100.0 300.0 8700.0 750.0 13350.0 600.0 6150.0 300.0 8850.0 300.0 12600.0 150.0 7950.0 150.0 13350.0 750.0 9450.0 600.0 6000.0 600.0 8700.0 300.0 5250.0 150.0 3300.0 300.0 13950.0 750.0 9300.0 750.0 1350.0 150.0 5550.0 300.0 10650.0 750.0 7350.0 750.0 3750.0 300.0 9000.0 750.0 2850.0 600.0 3750.0 150.0 14100.0 150.0 9300.0 750.0 300.0 300.0 5400.0 600.0 14850.0 300.0 9150.0 600.0 9900.0 450.0 1200.0 750.0 9150.0 450.0 6150.0 750.0 3900.0 600.0 11400.0 300.0 750.0 450.0 150.0 450.0 4950.0 750.0 10500.0 300.0 150.0 750.0 12300.0 600.0 7350.0 150.0 11550.0 150.0 13200.0 750.0 2700.0 750.0 1500.0 600.0 5850.0 150.0 10950.0 600.0 6600.0 150.0 2850.0 150.0 9900.0 300.0 7650.0 750.0 10950.0 300.0 9300.0 300.0 7950.0 150.0 3150.0 300.0 12750.0 750.0 7800.0 750.0 900.0 750.0 7650.0 450.0 11250.0 150.0 1200.0 300.0 3000.0 600.0 3450.0 600.0 4050.0 600.0 7500.0 150.0 2100.0 600.0 1200.0 750.0 7950.0 300.0 11700.0 150.0 1350.0 750.0 9600.0 600.0 14100.0 300.0 4500.0 150.0 6900.0 300.0 1050.0 150.0 13650.0 450.0 6450.0 600.0 13200.0 150.0 900.0 450.0 8700.0 150.0 10200.0 750.0 4950.0 300.0 10350.0 150.0 300.0 150.0 4350.0 150.0 7500.0 300.0 3900.0 150.0 7350.0 750.0 1800.0 450.0 13200.0 750.0 6750.0 150.0 5400.0 750.0 9900.0 450.0 8550.0 750.0 4500.0 750.0 14850.0 600.0 11250.0 150.0 9450.0 300.0 11100.0 600.0 6750.0 450.0 7200.0 450.0 900.0 300.0 10950.0 300.0 2700.0 600.0 12150.0 450.0 12600.0 300.0 14400.0 600.0 12600.0 150.0 4500.0 150.0 13950.0 600.0 6450.0 300.0 13050.0 600.0 11100.0 750.0 8250.0 600.0 12900.0 750.0 10050.0 750.0 10650.0 450.0 13500.0 450.0 14550.0 150.0 14850.0 450.0 13800.0 450.0 7800.0 300.0 4650.0 300.0 900.0 600.0 12300.0 750.0 12750.0 150.0 9750.0 300.0 14550.0 750.0 6900.0 450.0 1800.0 450.0 7500.0 300.0 4350.0 600.0 4950.0 150.0 14550.0 600.0 4800.0 150.0 10650.0 750.0 5850.0 750.0 6450.0 150.0 13800.0 450.0 7350.0 150.0 450.0 300.0 10800.0 150.0 2400.0 150.0 9000.0 450.0 1500.0 450.0 7950.0 750.0 2250.0 600.0 14700.0 300.0 14250.0 600.0 10050.0 750.0 8550.0 450.0 5100.0 150.0 3000.0 300.0 6300.0 150.0 10350.0 450.0 5700.0 150.0 600.0 300.0 9900.0 150.0 1650.0 450.0 14400.0 750.0 13950.0 150.0 5250.0 450.0 13350.0 450.0 8100.0 150.0 7800.0 750.0 1050.0 150.0 4050.0 300.0 4200.0 150.0 5700.0 450.0 750.0 150.0 11700.0 150.0 14250.0 450.0 3600.0 300.0 13350.0 750.0 6300.0 150.0 14700.0 600.0 1350.0 300.0 6450.0 150.0 4950.0 600.0 2550.0 450.0 600.0 600.0 3150.0 normal -4 normal -16 normal -35 normal -41 normal -60 normal -62 normal -12 normal 365 normal -37 normal 162 normal 158 normal -25 normal -104 normal 152 normal -93 normal -15 normal -17 normal -98 normal 316 normal -7 normal -55 normal 122 normal -21 normal -29 normal -51 normal -51 normal 416 normal 271 normal -26 normal 110 normal -63 normal -99 normal -59 normal -36 normal 414 normal 276 normal -71 normal -18 normal -97 normal -30 normal -79 normal -13 normal 286 normal -24 normal 385 normal -89 normal -75 normal -52 normal 276 normal -82 normal -7 normal 294 normal 377 normal 103 normal 254 normal -26 normal 328 normal 150 normal -14 normal -91 normal -30 normal 404 normal 0 normal 405 normal 279 normal -4 normal -30 normal -1 normal -35 normal -97 normal -18 normal -63 normal -45 normal 343 normal 299 normal 247 normal 276 normal 11 normal 318 normal 128 normal 43 normal 410 normal 176 normal 129 normal 98 normal 136 normal 223 normal 151 normal 96 normal 82 normal 402 normal 85 normal 176 normal 88 normal 277 normal 47 normal 266 normal 102 normal 315 normal 373 normal 369 normal 241 normal 42 normal 246 normal 124 normal 132 normal 359 normal 119 normal 409 normal 93 normal 363 normal 343 normal 15 normal 186 normal 92 normal 139 normal 122 normal 118 normal 305 normal 79 normal 120 normal 91 normal 247 normal 421 normal 109 normal 285 normal 137 normal 79 normal 65 normal 47 normal 342 normal 381 normal 82 normal 163 normal 149 normal 96 normal 112 normal 416 normal 147 normal 320 normal 41 normal 397 normal 136 normal 139 normal 175 normal 8 normal 301 normal 341 normal 327 normal 138 normal 315 normal 122 normal 145 normal 356 normal 49 normal 307 normal 84 normal 137 normal 376 normal 58 normal 150 normal 282 normal 116 normal 77 normal 103 normal 93 normal 285 normal 175 normal 142 normal 127 normal 327 normal 64 normal 122 normal 192 normal 126 normal 138 normal 349 normal 236 normal 81 normal 402 normal 415 normal 129 normal 404 normal 276 normal 121 contingent 13 contingent 3 contingent 12 contingent 2 contingent 15 contingent 8 contingent 11 contingent 7 contingent 3 contingent 19 contingent 17 contingent 9 contingent 16 contingent 8 contingent 6 contingent 14 contingent 14 contingent 18 contingent 17 contingent 20 contingent 2 contingent 19 contingent 6 contingent 20 contingent 14 contingent 15 contingent 19 contingent 4 contingent 7 contingent 7 contingent 4 contingent 18 contingent 15 contingent 16 contingent 18 contingent 15 contingent 13 contingent 20 contingent 4 contingent 13 contingent 8 contingent 6 contingent 16 contingent 9 contingent 5 contingent 20 contingent 16 contingent 16 contingent 18 contingent 19 contingent -11 contingent -1 contingent -5 contingent -1 contingent -8 contingent -6 contingent -8 contingent -6 contingent -1 contingent -17 contingent -10 contingent -7 contingent -9 contingent -5 contingent -3 contingent -11 contingent -13 contingent -11 contingent -11 contingent -17 contingent -1 contingent -14 contingent -3 contingent -17 contingent -13 contingent -6 contingent -13 contingent -1 contingent -1 contingent -3 contingent -1 contingent -10 contingent -9 contingent -12 contingent -13 contingent -8 contingent -8 contingent -11 contingent -3 contingent -10 contingent -1 contingent -1 contingent -12 contingent -3 contingent -1 contingent -13 contingent -15 contingent -15 contingent -17 contingent -10 normal 48 normal 206 normal 339 normal 109 normal 67 normal -48 normal 129 normal 114 normal 259 normal -19 normal 109 normal -85 normal 292 normal 133 normal -7 normal 26 normal -2 normal 140 normal 192 normal 180 normal -90 normal 132 normal 301 normal 323 normal 139 normal -29 normal 118 normal 182 normal 374 normal -65 normal 137 normal 297 normal -116 normal 95 normal 338 normal -20 normal 80 normal 389 normal 108 normal -80 normal 397 normal -8 normal 121 normal 341 normal -11 normal 125 normal 127 normal 122 normal 200 normal -77 normal 145 normal 272 normal 182 normal 146 normal 204 normal -79 normal 51 normal 407 normal -49 normal 142 normal -109 normal 111 normal 329 normal -65 normal 116 normal 406 normal 103 normal -55 normal 38 normal 370 normal 94 normal 418 normal -6 normal -75 normal 132 normal 271 normal 326 normal -78 normal 78 normal 199 normal -24 normal 144 normal 417 normal 162 normal -44 normal 145 normal 216 normal 157 normal -45 normal 85 normal 358 normal -81 normal 114 normal 98 normal 145 normal 300 normal -53 normal 110 normal 354 normal -35 normal 133 normal 314 normal 100 normal -46 normal 92 normal 286 normal -11 normal 76 normal 284 normal 254 normal -74 normal 103 normal -99 normal 62 normal -40 normal 124 normal 404 normal 163 normal -133 normal 78 normal 234 normal 86 normal -56 normal 108 normal 364 normal 102 normal -15 normal 144 normal 265 normal -125 normal 104 normal 134 normal -89 normal 369 normal 365 normal -20 normal 130 normal 205 normal 264 normal -41 normal 79 normal 420 normal 395 normal 376 normal -46 normal 30 normal 192 normal -17 normal 111 normal 385 normal 422 normal 297 normal -98 normal 148 normal 318 normal -55 normal 103 normal 164 normal 364 normal 352 normal -28 normal 84 normal 175 normal -40 normal 103 normal 223 normal 151 normal 141 normal -8 normal 236 normal 194 normal -14 normal 104 normal 103 normal 198 normal -11 normal 115 normal 279 normal -22 normal 50 normal 338 normal 366 normal -4 normal 71 normal 206 normal 80 normal -21 normal 143 normal 342 normal 264 normal -81 normal 116 normal -65 normal 107 normal 204 normal 121 normal -68 normal 328 normal 67 normal -80 normal 384 normal -101 normal 67 normal 313 normal -7 normal 40 normal 270 normal 277 normal -1 normal 119 normal -88 normal 140 normal -79 normal 22 normal 211 normal -6 normal 95 normal 26 normal -90 normal 314 normal -58 normal 76 normal 144 normal -6 normal 137 normal 186 normal -80 normal 115 normal 366 normal -16 normal 112 normal 228 normal 164 normal -105 normal 302 normal 95 normal 336 normal 206 normal -28 normal 115 normal 103 normal -95 normal 70 normal 352 normal 118 normal -23 normal 334 normal -23 normal 49 normal 230 normal -32 normal 104 normal 361 normal 128 normal -32 normal 102 normal 298 normal 115 normal -71 normal 88 normal 151 normal -24 normal 149 normal 343 normal 114 normal -52 normal 94 normal 194 normal 139 normal -31 normal 99 normal 170 normal -89 normal 123 normal 25 normal 344 normal 337 normal -10 normal -42 normal 88 normal 236 normal -3 normal 118 normal 281 normal 235 normal -88 normal 46 normal 80 normal 325 normal 206 normal -41 normal 56 normal 170 normal 394 normal 371 normal -40 normal 98 normal 169 normal -44 normal 32 normal 363 normal -1 normal 114 normal -52 normal 326 normal 85 normal 158 normal 87 normal -61 normal 411 normal -12 normal 82 normal 276 normal 421 normal -81 normal 65 normal -19 normal 134 normal -24 normal 96 normal 339 normal 258 normal -79 normal 79 normal 359 normal -70 normal 49 normal 334 normal 96 normal 0 normal 123 normal 146 normal 302 normal 235 normal -27 normal -79 normal 145 normal 271 normal -57 normal 13 normal 253 normal -69 normal 86 normal 120 normal -82 normal 79 normal 259 normal 78 normal -65 normal 63 normal 223 normal 86 normal -63 normal 147 normal 84 normal -62 normal 79 normal 170 normal 234 normal -50 normal 133 normal 358 normal 110 normal 296 normal -114 normal -96 normal 66 normal 351 normal 270 normal -46 normal 131 normal 139 normal -5 normal 50 normal -29 normal 259 normal 127 normal 100 normal 132 normal 164 normal 340 normal 0 normal 66 normal 296 normal -9 normal 100 normal 389 normal -95 normal 60 normal 301 normal 306 normal -57 normal 93 normal 200 normal 56 normal 247 normal -20 normal 316 normal -75 normal 158 normal 56 normal 180 normal 374 normal -37 normal 69 normal 151 normal -11 normal 142 normal -68 normal 113 normal 216 normal 266 normal -60 normal 139 normal 282 normal -37 normal 101 normal 247 normal 376 normal 349 normal -34 normal 102 normal 406 normal 157 normal -32 normal 125 normal 330 normal 114 normal -3 normal 254 normal -53 normal 145 normal 398 normal -143 normal 147 normal 336 normal -123 normal 133 normal 281 normal 140 normal -23 normal 142 normal -42 normal 85 normal 181 normal -75 normal 27 normal 174 normal 0 normal 57 normal 392 normal 139 normal 91 normal -32 normal 122 normal -46 normal 110 normal 355 normal 84 normal -86 normal 136 normal 376 normal -23 normal 135 normal -86 normal 63 normal 158 normal -47 normal 96 normal 240 normal 390 normal -3 normal 119 normal 399 normal 258 normal 308 normal -15 normal 120 normal 204 normal 132 normal -112 normal 53 normal 95 normal -19 normal 355 normal -84 normal 54 normal -39 normal 136 normal 132 normal 117 normal 300 normal -63 normal -114 normal 122 normal -25 normal 41 normal -38 normal 148 normal 373 normal 325 normal -100 normal 135 normal 348 normal 324 normal 406 normal -25 normal 98 normal 136 normal -48 normal 253 normal -3 normal 82 normal 246 normal -5 normal 66 normal -21 normal 54 normal -39 normal 137 normal 266 normal -55 normal 168 normal 41 normal 164 normal -80 normal 76 normal 258 normal -72 normal 126 normal 75 normal -33 normal 352 normal 377 normal -13 normal 103 normal 86 normal -101 normal 84 normal -77 normal 77 normal 162 normal -16 normal 93 normal 353 normal 419 normal -14 normal 139 normal 304 normal -61 normal 146 normal 115 normal 157 normal 348 normal -15 normal 67 normal 276 normal 135 normal -98 normal 272 normal 0 normal 350 normal 55 normal 86 normal 351 normal -21 normal 135 normal -124 normal 72 normal -6 normal 78 normal 182 normal -63 normal 87 normal 410 normal 364 normal 224 normal -59 normal 138 normal 408 normal 369 normal -121 normal 66 normal 156 normal 128 normal 346 normal -32 normal -120 normal 359 normal 58 normal 366 normal -58 normal 118 normal 229 normal -26 normal 111 normal 223 normal 381 normal -101 normal 80 normal 400 normal -7 normal 114 normal 92 normal -42 normal 85 normal 281 normal 297 normal -85 normal 85 normal 322 normal -31 normal 146 normal 293 normal 135 normal -75 normal -87 normal 91 normal 296 normal -7 normal 59 normal -43 normal 69 normal 218 normal 121 normal 289 normal -69 normal 34 normal -54 normal 128 normal 322 normal -44 normal 131 normal 313 normal 132 normal -94 normal 87 normal 216 normal 180 normal -75 normal 120 normal 141 normal -23 normal -39 normal 137 normal 362 normal -17 normal 138 normal 358 normal 309 normal -34 normal 133 normal -54 normal 30 normal 408 normal -23 normal 33 normal 393 normal 132 normal -27 normal 43 normal 306 normal -5 normal 95 normal 234 normal -50 normal 73 normal 80 normal 85 normal 322 normal -56 normal -7 normal 136 normal 286 normal 272 normal -16 normal 91 normal -44 normal 73 normal 218 normal -50 normal 77 normal 192 normal 265 normal -70 normal 97 normal -7 normal 77 normal -11 normal 81 normal 128 normal 270 normal -2 normal 65 normal 119 normal -40 normal -72 normal 76 normal -61 normal 108 normal 423 normal -60 normal 80 normal 182 normal -1 normal 105 normal 311 normal 403 normal -5 normal 125 normal 108 normal -61 normal 90 normal -66 normal 148 normal 81 normal 103 normal 0 normal -3 normal 136 normal 198 normal -87 normal 147 normal 403 normal 288 normal -2 normal 43 normal 403 normal -33 normal 124 normal 86 normal -30 normal 36 normal 84 normal -12 normal 138 normal -74 normal 93 normal -20 normal 135 normal 142 normal 228 normal 407 normal -116 normal -9 normal 86 normal -69 normal 107 normal 156 normal 354 normal -102 normal 62 normal -13 normal 77 normal 148 normal -19 normal 335 normal -37 normal 144 normal 200 normal -3 normal 40 normal -30 normal 129 normal 292 normal 98 normal 357 normal -92 normal 157 normal -76 normal 127 normal -1 normal 135 normal 348 normal -18 normal 147 normal 354 normal 254 normal -62 normal 126 normal -59 normal 145 normal 351 normal -121 normal 13 normal -114 normal 363 normal 187 normal 139 normal 120 normal -9 normal 137 normal 289 normal -3 normal 65 normal 132 normal 98 normal -63 normal 57 normal -11 normal 104 normal 144 normal -28 normal 72 normal 381 normal 84 normal -1 normal 78 normal -1 normal 144 normal -119 normal 53 normal 89 normal -23 normal 392 normal 128 normal -35 normal 54 normal -21 normal 115 normal -93 normal 116 normal 204 normal -57 normal 145 normal 92 normal -93 normal 105 normal -47 normal 136 normal -89 normal 50 normal 194 normal -46 normal 24 normal 218 normal 121 normal 33 normal 180 normal -8 normal 399 normal -26 normal 80 normal 102 normal 146 normal -72 normal 72 normal 210 normal -29 normal 53 normal 241 normal -72 normal 108 normal 200 normal -48 normal 134 normal 266 normal -23 normal 132 normal 264 normal 122 normal 293 normal -15 normal 63 normal -46 normal 30 normal 43 normal -8 normal -6 normal 93 normal -53 normal 118 normal -38 normal 145 normal 346 normal 252 normal -75 normal 89 normal 334 normal -28 normal 384 normal 111 normal 333 normal -58 normal 119 normal 114 normal 381 normal 204 normal -3 normal 54 normal 126 normal -38 normal -51 normal 74 normal -57 normal 69 normal -1 normal 132 normal 280 normal 265 normal 258 normal -108 normal 43 normal 96 normal 175 normal -33 normal 72 normal -46 normal 102 normal 359 normal 247 normal -91 normal 62 normal -39 normal 92 normal 54 normal 168 normal -2 normal -31 normal 110 normal 175 normal 211 normal -76 normal 53 normal -23 normal 103 normal 289 normal 80 normal 410 normal -19 normal 122 normal 347 normal -111 normal 103 normal -10 normal 102 normal 346 normal 369 normal -22 normal 145 normal 58 normal -62 normal -59 normal 97 normal 397 normal 152 normal -90 normal 105 normal -88 normal 109 normal -32 normal 138 normal -74 normal 147 normal 425 normal 264 normal 146 normal 360 normal -131 normal 65 normal -64 normal 141 normal 276 normal -38 normal 146 normal 52 normal 398 normal 252 normal -125 normal -100 normal 81 normal -25 normal 100 normal 92 normal -93 normal 90 normal 301 normal 128 normal -37 normal 90 normal 350 normal -79 normal 76 normal 259 normal 96 normal -6 normal 81 normal 383 normal -6 normal 57 normal -44 normal 80 normal 299 normal 217 normal 252 normal 39 normal 418 normal -41 normal 175 normal -125 normal 140 normal -122 normal 86 normal 242 normal 156 normal 230 normal -5 normal 44 normal 317 normal -44 normal 117 normal 86 normal 422 normal -67 normal 54 normal 41 normal -44 normal -36 normal 119 normal 198 normal -54 normal 77 normal 117 normal 343 normal -55 normal 186 normal -90 normal 325 normal 139 normal 199 normal -38 normal 47 normal -30 normal 104 normal 128 normal 293 normal -23 normal 108 normal -27 normal 66 normal -51 normal 139 normal -124 normal 120 normal 413 normal -50 normal 127 normal -34 normal 296 normal 92 normal 279 normal 132 normal -54 normal 216 normal 187 normal -47 normal 127 normal 325 normal 85 normal 280 normal 156 normal -119 normal 127 normal 311 normal -29 normal 114 normal 98 normal 285 normal -76 normal 103 normal 391 normal 116 normal -5 normal 61 normal 418 normal -60 normal 145 normal 115 normal 296 normal 385 normal -119 normal -99 normal 375 normal 386 normal 234 normal 51 normal 85 normal 410 normal 96 normal -18 normal 140 normal 85 normal 253 normal -117 normal 55 normal 278 normal 223 normal 228 normal -65 normal 27 normal -2 normal 140 normal 204 normal -45 normal 130 normal 378 normal 127 normal -114 normal 124 normal 105 normal 126 normal 369 normal -83 normal -78 normal 122 normal 421 normal 129 normal -81 normal 109 normal -59 normal 106 normal -20 normal 25 normal 228 normal 79 normal 247 normal -14 normal 119 normal 120 normal 259 normal -11 normal 122 normal 308 normal -106 normal 123 normal 425 normal -11 normal 119 normal 118 normal 423 normal -64 normal -42 normal 79 normal 309 normal 116 normal 242 normal -78 normal 145 normal -18 normal 128 normal 91 normal -75 normal 142 normal 298 normal -45 normal 31 normal -13 normal 91 normal 400 normal 223 normal 79 normal -46 normal 116 normal 47 normal 180 normal 120 normal -58 normal 148 normal 409 normal -65 normal -14 normal 31 normal 390 normal 170 normal 134 normal -29 normal 128 normal 175 normal 316 normal 182 normal -115 normal 36 normal -1 normal 130 normal 363 normal 162 normal -65 normal 133 normal 200 normal -106 normal 68 normal 115 normal -41 normal 137 normal 106 normal 115 normal 0 normal -8 normal 258 normal 96 normal 216 normal 131 normal 0 normal 139 normal 114 normal -124 normal 223 normal 199 normal 413 normal 112 normal 366 normal 216 normal -75 normal 113 normal 193 normal -43 normal 43 normal 338 normal -14 normal 131 normal 218 normal 104 normal -126 normal 148 normal 140 normal 78 normal -113 normal -9 normal 78 normal 129 normal 163 normal 103 normal -87 normal 70 normal 284 normal 0 normal 136 normal 58 normal 259 normal -84 normal 259 normal -21 normal 79 normal 217 normal -34 normal 64 normal 271 normal 132 normal -36 normal 72 normal 345 normal -10 normal 132 normal 136 normal 425 normal 242 normal -14 normal -26 normal 116 normal 359 normal 100 normal 164 normal -35 normal 14 normal 276 normal 163 normal 110 normal -11 normal 40 normal -23 normal 141 normal 106 normal 355 normal -80