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 1532 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 -52 normal -130 normal 163 normal -49 normal -130 normal -59 normal -62 normal -20 normal -92 normal 114 normal -76 normal -70 normal -31 normal -50 normal -13 normal -21 normal -31 normal 327 normal -28 normal -104 normal -46 normal -8 normal 198 normal 371 normal 352 normal -4 normal 170 normal -46 normal 0 normal -78 normal -70 normal 90 normal -89 normal 157 normal 103 normal 259 normal -51 normal 181 normal -23 normal -5 normal -24 normal -45 normal -70 normal 138 normal 248 normal -39 normal 188 normal -105 normal -15 normal 401 normal -111 normal -44 normal 299 normal 236 normal -78 normal -59 normal 379 normal 72 normal -17 normal 302 normal -124 normal -112 normal -33 normal -48 normal 287 normal -66 normal -7 normal -63 normal -19 normal -78 normal -118 normal -16 normal 102 normal 80 normal 106 normal 324 normal 248 normal 125 normal 78 normal 364 normal 59 normal 40 normal 140 normal 328 normal 105 normal 176 normal 387 normal 344 normal 146 normal 48 normal 33 normal 270 normal 97 normal 133 normal 410 normal 174 normal 288 normal 65 normal 254 normal 83 normal 305 normal 107 normal 145 normal 389 normal 258 normal 66 normal 193 normal 144 normal 125 normal 324 normal 133 normal 144 normal 97 normal 133 normal 103 normal 121 normal 272 normal 93 normal 99 normal 103 normal 288 normal 156 normal 228 normal 69 normal 294 normal 138 normal 317 normal 129 normal 138 normal 375 normal 86 normal 199 normal 146 normal 115 normal 104 normal 419 normal 100 normal 91 normal 152 normal 374 normal 293 normal 148 normal 265 normal 138 normal 378 normal 193 normal 206 normal 52 normal 325 normal 397 normal 66 normal 71 normal 134 normal 188 normal 151 normal 9 normal 297 normal 163 normal 379 normal 134 normal 410 normal 131 normal 120 normal 375 normal 343 normal 58 normal 258 normal 124 normal 96 normal 128 normal 317 normal 322 normal 106 normal 74 normal 108 normal 381 normal 299 normal 298 normal 112 normal 382 normal 404 normal 147 normal 10 normal 417 normal 211 normal 95 contingent 5 contingent 2 contingent 7 contingent 15 contingent 2 contingent 8 contingent 2 contingent 3 contingent 20 contingent 11 contingent 15 contingent 16 contingent 2 contingent 3 contingent 17 contingent 2 contingent 3 contingent 6 contingent 18 contingent 15 contingent 7 contingent 12 contingent 7 contingent 3 contingent 7 contingent 18 contingent 19 contingent 7 contingent 17 contingent 8 contingent 15 contingent 5 contingent 20 contingent 8 contingent 3 contingent 12 contingent 3 contingent 13 contingent 2 contingent 4 contingent 11 contingent 11 contingent 6 contingent 20 contingent 17 contingent 7 contingent 2 contingent 20 contingent 2 contingent 10 contingent -2 contingent -1 contingent -1 contingent -13 contingent -1 contingent -1 contingent -1 contingent -1 contingent -16 contingent -8 contingent -13 contingent -7 contingent -1 contingent -1 contingent -15 contingent -1 contingent -1 contingent -1 contingent -11 contingent -9 contingent -2 contingent -11 contingent -5 contingent -1 contingent -2 contingent -17 contingent -15 contingent -5 contingent -14 contingent -3 contingent -13 contingent -1 contingent -13 contingent -1 contingent -1 contingent -4 contingent -1 contingent -12 contingent -1 contingent -1 contingent -2 contingent -9 contingent -1 contingent -15 contingent -10 contingent -1 contingent -1 contingent -14 contingent -1 contingent -9 normal 78 normal 64 normal 79 normal 117 normal -31 normal 64 normal 406 normal -107 normal 134 normal -54 normal -40 normal 83 normal 126 normal -31 normal 94 normal 121 normal 302 normal -7 normal 120 normal 90 normal 293 normal -90 normal 132 normal 353 normal 287 normal -33 normal 37 normal -23 normal 33 normal 344 normal -30 normal 129 normal 253 normal 106 normal -35 normal -80 normal 18 normal 401 normal -78 normal 199 normal 89 normal 290 normal 380 normal 216 normal -26 normal 74 normal 297 normal -52 normal 82 normal 140 normal -54 normal 103 normal 174 normal 102 normal 236 normal -78 normal 83 normal 290 normal -5 normal 17 normal 198 normal 97 normal 366 normal -3 normal 124 normal 176 normal 31 normal 338 normal -115 normal -54 normal 81 normal 241 normal -76 normal 85 normal 385 normal 74 normal -10 normal 89 normal -69 normal 129 normal 211 normal -24 normal 133 normal 216 normal 108 normal 414 normal 403 normal -107 normal 110 normal 98 normal -88 normal 65 normal 304 normal -42 normal 95 normal 162 normal 112 normal -35 normal -21 normal 63 normal 200 normal -44 normal 95 normal -17 normal 139 normal 187 normal -138 normal 134 normal 258 normal -27 normal 129 normal 162 normal -34 normal 125 normal 152 normal -94 normal 149 normal 311 normal -98 normal 35 normal 346 normal 130 normal -21 normal 205 normal -23 normal 86 normal 272 normal 304 normal 198 normal -3 normal 20 normal 372 normal 344 normal -20 normal 114 normal 296 normal -24 normal 76 normal 163 normal 410 normal 356 normal -26 normal 119 normal -118 normal 66 normal 370 normal 134 normal -118 normal 93 normal 416 normal -47 normal 146 normal 80 normal 92 normal -144 normal -121 normal 93 normal -42 normal 130 normal 415 normal 109 normal -54 normal 121 normal 379 normal 383 normal -62 normal 120 normal -114 normal 133 normal 311 normal -93 normal 124 normal 348 normal -106 normal 117 normal 266 normal 119 normal 247 normal -39 normal 120 normal -68 normal 332 normal -54 normal 107 normal 347 normal 115 normal -51 normal 95 normal 314 normal 246 normal 80 normal -26 normal 95 normal 281 normal 104 normal -37 normal 89 normal 370 normal -42 normal 70 normal -13 normal 123 normal 80 normal 133 normal 194 normal -38 normal 372 normal -78 normal 140 normal 108 normal 194 normal -3 normal 107 normal 298 normal 315 normal -80 normal 113 normal 383 normal 402 normal -14 normal 79 normal 419 normal 230 normal -49 normal 168 normal 98 normal 300 normal -48 normal 5 normal 246 normal 388 normal 114 normal -5 normal 78 normal 200 normal 24 normal 297 normal -49 normal 370 normal -118 normal 144 normal -105 normal 111 normal 240 normal -109 normal 18 normal 328 normal -3 normal 31 normal 395 normal -23 normal 136 normal 97 normal 361 normal -33 normal 339 normal 136 normal 96 normal -10 normal 82 normal 401 normal 342 normal 364 normal -47 normal 130 normal 81 normal 303 normal 92 normal -32 normal -8 normal 97 normal 170 normal -6 normal 132 normal 397 normal 365 normal -91 normal 149 normal 198 normal -145 normal 54 normal 264 normal 270 normal -8 normal 128 normal -73 normal 84 normal 407 normal -11 normal 113 normal 206 normal -103 normal 127 normal 384 normal 144 normal -39 normal 416 normal -51 normal 293 normal 136 normal -39 normal 69 normal 104 normal -54 normal 44 normal 343 normal -28 normal 137 normal 86 normal 345 normal -37 normal 73 normal 336 normal 140 normal -16 normal 40 normal 168 normal 253 normal -10 normal 78 normal 298 normal 117 normal -20 normal -10 normal 39 normal 140 normal 97 normal -50 normal 38 normal -31 normal 86 normal 328 normal -66 normal 106 normal 206 normal 330 normal 138 normal -98 normal 137 normal 293 normal 248 normal 412 normal -8 normal 96 normal 230 normal -6 normal 65 normal -44 normal 132 normal 59 normal -128 normal 121 normal -127 normal 114 normal 65 normal -46 normal 70 normal -35 normal 122 normal 379 normal -20 normal 101 normal -12 normal 133 normal 104 normal -18 normal 25 normal 200 normal 109 normal 236 normal -14 normal 142 normal 402 normal 164 normal -25 normal 146 normal 206 normal 97 normal 145 normal -56 normal -51 normal 301 normal 133 normal -19 normal 95 normal -59 normal 131 normal 343 normal 104 normal 347 normal -98 normal 84 normal 324 normal -51 normal 71 normal 287 normal -39 normal 140 normal 343 normal 97 normal -64 normal 115 normal -133 normal 124 normal 378 normal 44 normal -70 normal 102 normal -58 normal 23 normal 217 normal 373 normal -22 normal 141 normal 393 normal -89 normal 76 normal -14 normal 124 normal -36 normal 148 normal 342 normal 329 normal -41 normal 22 normal -1 normal 95 normal 115 normal 283 normal -19 normal 152 normal 317 normal -7 normal 139 normal 411 normal -26 normal 129 normal -71 normal 146 normal 407 normal 395 normal 199 normal -74 normal 76 normal 316 normal 242 normal -43 normal 101 normal 332 normal -70 normal 105 normal 308 normal -35 normal 148 normal 210 normal 205 normal -41 normal 62 normal 77 normal 304 normal 388 normal -15 normal -100 normal 88 normal 132 normal 391 normal -15 normal 134 normal 140 normal 253 normal -74 normal 229 normal 335 normal -28 normal 96 normal 345 normal -3 normal 38 normal -14 normal 99 normal -52 normal 106 normal 110 normal 85 normal 247 normal 186 normal -87 normal 133 normal 104 normal -102 normal -39 normal 22 normal 224 normal -3 normal 88 normal -40 normal 76 normal -56 normal 66 normal 330 normal -16 normal 49 normal 336 normal 0 normal 145 normal -7 normal 99 normal 93 normal 344 normal -96 normal -37 normal 102 normal 230 normal -30 normal 143 normal 337 normal -25 normal 120 normal 401 normal -86 normal 88 normal 411 normal -49 normal 75 normal 357 normal -60 normal 63 normal 230 normal 134 normal 193 normal -45 normal 113 normal 290 normal 139 normal -28 normal 104 normal -79 normal 60 normal 252 normal 114 normal -8 normal 128 normal 324 normal -121 normal 103 normal -21 normal 90 normal -2 normal 108 normal 332 normal -52 normal 137 normal 303 normal 78 normal 210 normal 356 normal -80 normal 45 normal 39 normal -13 normal -46 normal 385 normal 132 normal -33 normal 82 normal 253 normal 366 normal -111 normal 78 normal -25 normal 142 normal -96 normal 80 normal -56 normal 138 normal 302 normal -29 normal 113 normal -58 normal 100 normal 9 normal 152 normal -81 normal 369 normal -82 normal 22 normal -16 normal 58 normal 92 normal 254 normal -1 normal 97 normal -67 normal 144 normal -55 normal 117 normal -84 normal 80 normal 162 normal -73 normal 124 normal 327 normal 108 normal -100 normal 149 normal 95 normal 414 normal -142 normal -92 normal 41 normal -22 normal 83 normal 284 normal -21 normal 35 normal 276 normal 146 normal 341 normal -33 normal 136 normal 253 normal -54 normal 84 normal 347 normal 223 normal -56 normal 135 normal -45 normal 149 normal -110 normal 7 normal 85 normal 142 normal -3 normal -50 normal 138 normal 311 normal 135 normal 350 normal -10 normal 85 normal 315 normal -1 normal 126 normal -80 normal 7 normal 193 normal -3 normal 146 normal -34 normal 94 normal -62 normal 89 normal 175 normal -125 normal 40 normal 107 normal 391 normal 270 normal -9 normal 210 normal -90 normal 105 normal 92 normal -49 normal 105 normal 400 normal -104 normal 105 normal 326 normal -35 normal 148 normal 78 normal -77 normal 130 normal 200 normal 222 normal -113 normal 92 normal -71 normal 125 normal 85 normal -85 normal -127 normal 138 normal -32 normal 301 normal 314 normal 97 normal 217 normal 73 normal 290 normal 330 normal -21 normal 63 normal -90 normal 103 normal -70 normal 62 normal 382 normal 272 normal 316 normal -48 normal 149 normal -40 normal 148 normal -82 normal 128 normal 247 normal 130 normal 277 normal 264 normal -40 normal -72 normal 157 normal 128 normal 339 normal -3 normal 138 normal -22 normal 140 normal -69 normal 56 normal 376 normal 23 normal 158 normal 210 normal -3 normal 109 normal 205 normal -18 normal 82 normal 379 normal 281 normal -74 normal 63 normal -40 normal 137 normal 188 normal 163 normal 123 normal -30 normal -45 normal 78 normal -16 normal 29 normal 391 normal -13 normal 105 normal 240 normal 241 normal 367 normal -56 normal 132 normal 308 normal 358 normal -111 normal 74 normal 169 normal -13 normal 113 normal -47 normal 128 normal 120 normal 313 normal -88 normal 91 normal 372 normal 230 normal -34 normal 114 normal -18 normal 109 normal -3 normal 62 normal -27 normal 148 normal 369 normal 132 normal -71 normal 121 normal -88 normal 104 normal -66 normal 137 normal 121 normal 352 normal 133 normal 235 normal -38 normal 399 normal 198 normal 194 normal -70 normal 94 normal -29 normal 300 normal 108 normal 222 normal -107 normal 96 normal 198 normal -19 normal 69 normal 104 normal -13 normal 127 normal -45 normal 98 normal 334 normal 331 normal -87 normal 119 normal 205 normal 393 normal 348 normal 217 normal -46 normal 100 normal 113 normal -63 normal 120 normal 0 normal 337 normal 116 normal 126 normal 206 normal 284 normal -102 normal 132 normal 389 normal 369 normal 342 normal -77 normal 96 normal 265 normal 122 normal 357 normal -100 normal 126 normal -3 normal 35 normal 299 normal -35 normal 131 normal 399 normal -27 normal 119 normal 310 normal 0 normal 66 normal 118 normal -10 normal -64 normal 281 normal 73 normal -48 normal 53 normal 406 normal -41 normal 90 normal 348 normal -7 normal 129 normal 321 normal -54 normal 45 normal -86 normal 135 normal 327 normal -25 normal 69 normal 133 normal 138 normal 206 normal -8 normal -52 normal 121 normal 217 normal -21 normal 54 normal 174 normal 188 normal -39 normal 102 normal 205 normal 330 normal -52 normal 125 normal -43 normal 99 normal 116 normal 210 normal 0 normal 105 normal 353 normal -97 normal 148 normal 246 normal 280 normal -22 normal 134 normal 138 normal 133 normal -46 normal -82 normal 116 normal 133 normal -22 normal 97 normal -20 normal 105 normal -71 normal 129 normal 114 normal 85 normal 265 normal -62 normal 116 normal -91 normal 118 normal 248 normal -76 normal 137 normal 143 normal -133 normal 285 normal -32 normal 71 normal -131 normal 76 normal 319 normal -35 normal 115 normal -100 normal 131 normal -98 normal 12 normal 0 normal 116 normal 168 normal -69 normal 126 normal 210 normal 78 normal 186 normal -32 normal 117 normal 373 normal 107 normal -34 normal 351 normal -120 normal 144 normal 200 normal -28 normal 113 normal 361 normal -104 normal 99 normal -20 normal 81 normal -18 normal 81 normal 265 normal 360 normal -65 normal 84 normal -13 normal 141 normal 352 normal -114 normal 107 normal 274 normal 121 normal 297 normal -51 normal -41 normal 260 normal 89 normal 388 normal -52 normal 74 normal -49 normal 90 normal -45 normal 55 normal 359 normal -17 normal 57 normal 109 normal 409 normal 284 normal -12 normal -45 normal 135 normal -41 normal 80 normal 111 normal -22 normal 224 normal -29 normal 79 normal 116 normal 403 normal 400 normal -40 normal 59 normal -32 normal 120 normal -56 normal 26 normal 248 normal -2 normal 116 normal -3 normal 114 normal -39 normal 140 normal 338 normal -92 normal 129 normal -61 normal 229 normal 110 normal 366 normal -56 normal 253 normal 310 normal -30 normal 96 normal 174 normal 396 normal -22 normal 110 normal 281 normal -45 normal 94 normal 222 normal 277 normal -10 normal 148 normal 122 normal 85 normal -80 normal 40 normal 102 normal -27 normal 149 normal 94 normal 272 normal 234 normal -47 normal -78 normal 188 normal 85 normal 216 normal 258 normal -38 normal 74 normal 315 normal -20 normal 145 normal 411 normal 407 normal -21 normal 146 normal 405 normal -55 normal 112 normal 275 normal 150 normal 395 normal -97 normal 132 normal 91 normal 366 normal -53 normal 85 normal 128 normal 414 normal 174 normal -25 normal -136 normal 381 normal 43 normal 140 normal 359 normal -37 normal 69 normal -24 normal 37 normal 299 normal 390 normal -26 normal 130 normal -56 normal 69 normal 212 normal -119 normal 104 normal 327 normal -44 normal 110 normal 224 normal -30 normal 24 normal 303 normal 131 normal 204 normal -4 normal -2 normal 114 normal 198 normal 146 normal 258 normal 406 normal -140 normal 81 normal -54 normal 27 normal 182 normal 385 normal -5 normal 100 normal 96 normal -38 normal 144 normal -77 normal 63 normal -3 normal 61 normal 67 normal 188 normal -77 normal 74 normal 112 normal 270 normal -17 normal -15 normal 295 normal 109 normal 95 normal -5 normal 38 normal -26 normal 95 normal 270 normal 308 normal 180 normal -68 normal 89 normal 126 normal 299 normal 97 normal -29 normal 54 normal -10 normal 140 normal 319 normal 348 normal 285 normal -73 normal 120 normal 130 normal 170 normal 297 normal -110 normal -98 normal 300 normal 316 normal 281 normal 116 normal -59 normal 355 normal 280 normal 107 normal -13 normal 116 normal 109 normal 348 normal -7 normal 93 normal 110 normal -72 normal 94 normal -40 normal 135 normal 393 normal 319 normal -134 normal 129 normal 122 normal 295 normal 362 normal 307 normal -89 normal -43 normal 306 normal 342 normal 113 normal 222 normal 211 normal -65 normal 33 normal 229 normal -15 normal 419 normal 89 normal 283 normal 107 normal 417 normal -12 normal 414 normal 198 normal -50 normal 138 normal -94 normal 120 normal 174 normal 270 normal -24 normal 105 normal -22 normal 61 normal 144 normal 120 normal 114 normal -36 normal -36 normal 309 normal 89 normal -77 normal 101 normal 205 normal 364 normal 393 normal -73 normal 98 normal 306 normal -65 normal 96 normal 205 normal 124 normal 90 normal -85