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