Rule 2 with 3.64 for class 1 with likelihood 81.73%: 461.61 < V6 < 500.24 ∧ 403.82 < V11 ∧ 412.52 < V12 ∧ V15 < 509.66 ∧ 440.18 < V21 ∧ V23 < 492.71 ∧ 372.86 < V25 < 631.84 ∧ 449.13 < V28 < 515.74 ∧ V36 < 587.77 ∧ 451.67 < V37 ∧ 418.78 < V43 < 556.23 ∧ V44 < 522.02 ∧ 393.35 < V47 ∧ 397.43 < V58 < 564.87 ∧ 466.11 < V69 < 494.75 ∧ 429.64 < V73 ∧ 463.99 < V75 < 503.73 ∧ 403.72 < V78 < 573.10 ∧ 423.41 < V81 ∧ 442.75 < V84 ∧ V85 < 602.26 ∧ V87 < 490.71 ∧ 431.69 < V88 < 550.15 ∧ 474.71 < V91 ∧ 407.47 < V100 ∧ V104 < 505.95 ∧ 399.18 < V105 < 590.91 ∧ V108 < 568.79 ∧ 461.46 < V110 < 506.48 ∧ 362.22 < V112 ∧ 449.21 < V113 < 503.72 ∧ 392.75 < V115 ∧ 396.79 < V119 < 564.70 ∧ 424.39 < V122 < 527.13 ∧ 362.36 < V124 < 594.07 ∧ 458.08 < V139 < 494.66 ∧ 454.31 < V143 ∧ 457.45 < V152 < 512.27 ∧ V153 < 507.23 ∧ 408.56 < V156 < 572.20 ∧ 395.51 < V161 < 549.59 ∧ 373.69 < V165 < 635.28 ∧ 471.81 < V167 ∧ 468.72 < V168 < 490.92 ∧ 428.86 < V173 ∧ V176 < 604.96 ∧ V178 < 498.73 ∧ 389.34 < V179 < 603.53 ∧ 393.84 < V181 ∧ 410.80 < V184 < 552.81 ∧ 444.11 < V185 < 535.43 ∧ 369.56 < V195 ∧ 472.76 < V199 ∧ 440.59 < V201 ∧ 421.72 < V202 < 549.18 ∧ 356.28 < V204 ∧ 410.92 < V205 ∧ 471.79 < V206 < 478.40 ∧ 414.82 < V213 ∧ 451.38 < V215 ∧ V217 < 593.62 ∧ 450.96 < V220 < 510.54 ∧ 437.51 < V223 < 560.97 ∧ 471.63 < V228 < 483.15 ∧ 432.01 < V243 ∧ 419.96 < V250 ∧ 422.34 < V251 ∧ 387.18 < V257 < 644.27 ∧ 440.68 < V263 < 542.30 ∧ 440.63 < V266 < 567.97 ∧ 338.68 < V267 < 598.30 ∧ 440.65 < V271 < 527.88 ∧ 432.26 < V275 ∧ 474.72 < V277 ∧ V279 < 552.65 ∧ 391.09 < V280 < 560.78 ∧ V281 < 480.21 ∧ 389.25 < V286 < 594.36 ∧ V287 < 536.51 ∧ V290 < 550.36 ∧ 364.55 < V295 ∧ V296 < 582.16 ∧ 441.73 < V298 < 602.40 ∧ 429.34 < V300 < 550.09 ∧ 467.18 < V303 < 490.12 ∧ 432.20 < V304 ∧ V309 < 580.05 ∧ 466.08 < V318 ∧ 386.40 < V319 ∧ 449.76 < V321 ∧ 404.01 < V322 ∧ V325 < 547.07 ∧ 410.59 < V330 < 628.85 ∧ 390.29 < V331 < 586.85 ∧ 450.32 < V332 ∧ 402.88 < V334 < 565.24 ∧ 257.03 < V337 ∧ 401.33 < V343 < 589.01 ∧ 399.02 < V345 < 632.55 ∧ 457.59 < V346 < 507.67 ∧ 403.56 < V352 < 583.78 ∧ 447.77 < V355 < 556.12 ∧ V356 < 524.62 ∧ 385.98 < V357 ∧ 471.05 < V358 < 480.27 ∧ 364.46 < V360 < 627.00 ∧ V361 < 577.95 ∧ 428.09 < V362 < 545.17 ∧ V364 < 543.94 ∧ 421.06 < V367 < 551.61 ∧ 368.80 < V372 ∧ 435.39 < V373 ∧ 388.76 < V376 < 580.91 ∧ 464.89 < V377 ∧ 432.01 < V378 < 550.63 ∧ 379.40 < V380 < 595.04 ∧ V382 < 549.29 ∧ 447.40 < V386 ∧ V392 < 593.97 ∧ 469.95 < V393 < 485.08 ∧ 409.42 < V394 < 570.68 ∧ V395 < 484.12 ∧ V400 < 500.09 ∧ 466.73 < V408 < 489.21 ∧ V421 < 494.64 ∧ 435.78 < V422 < 519.78 ∧ 369.63 < V429 < 580.79 ∧ 467.17 < V430 ∧ 422.44 < V431 ∧ 409.43 < V433 < 567.89 ∧ V438 < 622.79 ∧ V446 < 481.21 ∧ 459.08 < V448 < 522.69 ∧ 167.72 < V454 < 596.51 ∧ 336.85 < V456 < 715.15 ∧ V460 < 567.16 ∧ 442.35 < V465 ∧ 445.87 < V466 < 557.54 ∧ 424.75 < V469 ∧ V474 < 482.35 ∧ 439.67 < V478 < 537.94 ∧ V479 < 577.33 ∧ 426.59 < V481 < 530.13 ∧ V482 < 562.96 ∧ 412.93 < V489 < 555.16 ∧ V491 < 542.27 ∧ 458.51 < V497 < 496.03
Rule 1 with 3.28 for class 0 with likelihood 80.62%: 398.89 < V2 ∧ V3 < 632.24 ∧ V5 < 633.01 ∧ V9 < 533.03 ∧ V12 < 578.01 ∧ 375.49 < V14 < 605.45 ∧ 453.10 < V15 ∧ 445.96 < V20 ∧ 428.27 < V22 ∧ 441.35 < V24 < 507.99 ∧ V27 < 538.66 ∧ V33 < 601.83 ∧ 403.59 < V35 ∧ V40 < 480.16 ∧ 409.51 < V50 < 551.12 ∧ V52 < 586.64 ∧ 411.77 < V55 < 578.49 ∧ 440.26 < V56 ∧ 350.14 < V57 < 574.05 ∧ 421.67 < V60 ∧ 465.39 < V62 < 500.28 ∧ 389.87 < V63 < 610.94 ∧ V67 < 605.98 ∧ 419.89 < V68 < 546.26 ∧ 456.36 < V70 ∧ 410.21 < V71 ∧ V73 < 541.19 ∧ 448.19 < V77 < 502.17 ∧ V84 < 519.79 ∧ 460.11 < V89 < 499.17 ∧ 396.33 < V90 < 636.49 ∧ V95 < 499.14 ∧ 402.29 < V96 < 595.32 ∧ V99 < 522.06 ∧ 454.32 < V101 < 506.15 ∧ 464.95 < V103 ∧ V112 < 610.65 ∧ 424.34 < V116 ∧ V118 < 518.72 ∧ 415.40 < V120 < 562.94 ∧ 422.38 < V126 ∧ 456.43 < V127 ∧ V128 < 556.22 ∧ V129 < 493.59 ∧ 420.78 < V132 < 556.55 ∧ V136 < 604.06 ∧ 440.78 < V140 ∧ V143 < 510.57 ∧ 457.19 < V144 < 507.73 ∧ 465.85 < V149 < 490.27 ∧ 449.83 < V153 ∧ V157 < 527.18 ∧ 401.67 < V158 < 546.88 ∧ V167 < 480.09 ∧ V169 < 480.04 ∧ 398.80 < V170 ∧ 429.18 < V175 ∧ 393.53 < V176 ∧ 380.88 < V180 < 631.99 ∧ 441.51 < V188 ∧ 379.09 < V189 < 636.85 ∧ 419.50 < V191 < 558.10 ∧ V195 < 653.50 ∧ 458.29 < V196 < 506.58 ∧ V197 < 496.79 ∧ V203 < 545.49 ∧ 400.79 < V207 ∧ V210 < 531.92 ∧ V215 < 510.82 ∧ 450.28 < V218 < 508.36 ∧ V219 < 569.77 ∧ 397.17 < V221 < 566.43 ∧ V224 < 607.99 ∧ 434.80 < V227 < 533.11 ∧ 429.11 < V231 < 523.07 ∧ 439.66 < V233 ∧ V234 < 549.03 ∧ V235 < 554.97 ∧ 444.48 < V236 < 565.07 ∧ 439.42 < V237 ∧ 462.52 < V240 ∧ 408.13 < V241 < 589.67 ∧ 438.39 < V244 < 525.76 ∧ 396.53 < V245 < 620.05 ∧ 396.81 < V246 < 602.03 ∧ 456.77 < V249 < 512.18 ∧ V253 < 488.92 ∧ 435.24 < V254 < 612.85 ∧ 437.33 < V256 ∧ 453.44 < V259 ∧ V261 < 532.86 ∧ 464.61 < V262 ∧ 458.76 < V270 ∧ 374.83 < V274 ∧ V275 < 520.80 ∧ 451.22 < V276 < 515.17 ∧ 394.97 < V278 < 574.67 ∧ 420.17 < V279 ∧ V283 < 527.11 ∧ 473.83 < V284 < 480.08 ∧ 468.61 < V289 ∧ 422.35 < V292 ∧ 460.45 < V294 ∧ 400.63 < V297 < 555.06 ∧ V302 < 527.31 ∧ 388.16 < V305 ∧ V308 < 506.94 ∧ 416.53 < V313 < 598.33 ∧ V316 < 583.94 ∧ V318 < 496.27 ∧ 397.29 < V320 ∧ V321 < 513.80 ∧ 431.62 < V323 < 554.23 ∧ 411.11 < V328 < 568.14 ∧ 381.89 < V338 ∧ 304.56 < V339 < 750.11 ∧ 394.31 < V340 < 618.60 ∧ V341 < 611.69 ∧ 412.79 < V342 < 558.92 ∧ 436.23 < V344 ∧ V347 < 501.31 ∧ 384.63 < V348 ∧ 459.72 < V351 < 504.99 ∧ 443.20 < V375 < 579.20 ∧ 464.65 < V381 < 501.35 ∧ 399.18 < V383 < 621.86 ∧ V384 < 524.98 ∧ 471.99 < V388 ∧ 431.68 < V389 < 550.63 ∧ 462.85 < V391 < 489.49 ∧ 470.74 < V395 ∧ 417.85 < V402 ∧ 472.86 < V403 ∧ 474.80 < V405 ∧ 415.50 < V409 < 552.69 ∧ 459.60 < V417 < 511.53 ∧ V424 < 477.31 ∧ V425 < 517.92 ∧ V428 < 610.39 ∧ V431 < 552.58 ∧ V432 < 592.66 ∧ 428.23 < V435 < 542.76 ∧ 397.63 < V436 < 643.81 ∧ 406.83 < V438 ∧ V439 < 565.14 ∧ 380.36 < V443 < 700.92 ∧ V449 < 573.16 ∧ V452 < 498.02 ∧ 434.46 < V453 ∧ 461.30 < V457 < 497.42 ∧ 402.48 < V458 < 566.96 ∧ V461 < 593.13 ∧ 409.68 < V462 < 549.39 ∧ 456.12 < V467 < 508.20 ∧ V469 < 532.99 ∧ 396.93 < V473 < 596.90 ∧ 473.00 < V474 ∧ 458.66 < V475 < 497.88 ∧ 322.41 < V476 < 678.16 ∧ 433.26 < V477 < 524.72 ∧ 458.54 < V480 < 517.83 ∧ 402.19 < V482 ∧ 443.34 < V483 ∧ 387.57 < V484 < 584.16 ∧ 434.58 < V491 ∧ 450.37 < V493 ∧ 402.29 < V495 ∧ 380.96 < V496 < 629.03 ∧ V498 < 516.72
Rule 0 with 2.27 for class 0 with likelihood 73.17%: 396.26 < V2 ∧ V3 < 625.42 ∧ V5 < 650.68 ∧ V9 < 530.38 ∧ V12 < 572.80 ∧ 378.27 < V14 < 588.91 ∧ V19 < 533.13 ∧ 448.15 < V20 ∧ 439.33 < V24 < 507.89 ∧ 399.42 < V32 < 606.39 ∧ V33 < 587.02 ∧ 412.98 < V35 ∧ 400.60 < V50 < 535.12 ∧ V52 < 570.26 ∧ 351.33 < V57 < 574.51 ∧ 426.08 < V60 ∧ 468.39 < V62 < 499.54 ∧ 395.62 < V63 < 607.87 ∧ 459.72 < V64 ∧ V67 < 602.35 ∧ 421.59 < V68 < 560.09 ∧ 459.40 < V70 ∧ V72 < 514.14 ∧ 448.28 < V77 < 507.65 ∧ 403.72 < V79 ∧ 456.71 < V89 < 498.02 ∧ 406.43 < V90 < 630.98 ∧ V95 < 498.06 ∧ 397.63 < V96 < 587.07 ∧ V99 < 519.02 ∧ 469.59 < V103 ∧ 437.34 < V104 ∧ V109 < 578.04 ∧ 425.89 < V116 ∧ V118 < 516.99 ∧ 422.78 < V120 < 547.30 ∧ 407.25 < V126 ∧ 453.55 < V127 ∧ V129 < 493.56 ∧ 423.91 < V132 < 549.54 ∧ 468.09 < V134 ∧ 410.53 < V135 ∧ V136 < 599.46 ∧ 450.63 < V140 ∧ V143 < 511.91 ∧ 456.83 < V144 < 507.40 ∧ 467.35 < V149 ∧ V157 < 528.78 ∧ 413.34 < V158 < 549.08 ∧ V167 < 479.95 ∧ 419.23 < V170 ∧ V174 < 480.06 ∧ 429.23 < V175 ∧ 397.28 < V176 ∧ 446.88 < V177 < 512.89 ∧ V180 < 630.35 ∧ 378.48 < V189 < 625.50 ∧ V190 < 487.15 ∧ 419.83 < V191 < 556.77 ∧ V196 < 504.95 ∧ V197 < 496.04 ∧ V201 < 543.77 ∧ V203 < 543.81 ∧ 405.59 < V207 ∧ V210 < 521.83 ∧ V212 < 595.00 ∧ V215 < 515.49 ∧ V216 < 589.56 ∧ 453.35 < V218 < 507.98 ∧ 416.95 < V221 < 563.43 ∧ V224 < 582.82 ∧ 418.77 < V226 ∧ 435.36 < V227 < 546.78 ∧ 446.12 < V233 ∧ 443.75 < V236 < 564.40 ∧ 440.64 < V237 ∧ 462.16 < V240 ∧ 416.11 < V241 < 590.23 ∧ 446.93 < V244 < 523.05 ∧ 388.26 < V245 < 604.55 ∧ 459.89 < V249 < 511.40 ∧ V253 < 489.44 ∧ 416.73 < V254 < 626.92 ∧ 455.58 < V259 ∧ V261 < 533.92 ∧ 461.95 < V262 ∧ 436.02 < V270 ∧ 381.74 < V274 ∧ V275 < 517.93 ∧ 453.15 < V276 < 512.00 ∧ 421.52 < V278 ∧ V283 < 520.38 ∧ 472.88 < V284 < 480.02 ∧ 468.22 < V289 ∧ 461.96 < V294 ∧ 407.51 < V297 < 566.42 ∧ V302 < 522.82 ∧ 403.40 < V305 ∧ 431.95 < V313 < 587.08 ∧ V316 < 579.52 ∧ V318 < 494.29 ∧ 418.31 < V320 ∧ V321 < 507.91 ∧ 445.94 < V323 < 555.29 ∧ 376.50 < V338 ∧ 295.20 < V339 < 611.52 ∧ 399.16 < V340 < 620.32 ∧ 411.30 < V342 < 552.20 ∧ 422.53 < V344 ∧ V347 < 499.73 ∧ 458.97 < V351 < 504.44 ∧ V363 < 602.14 ∧ 426.66 < V364 ∧ 417.64 < V374 ∧ 423.78 < V375 < 583.47 ∧ 465.34 < V381 < 500.07 ∧ V383 < 613.78 ∧ V384 < 523.37 ∧ V385 < 530.75 ∧ 472.35 < V388 ∧ 426.63 < V389 < 547.49 ∧ 464.51 < V391 ∧ 474.85 < V405 ∧ 358.25 < V407 ∧ 393.59 < V409 < 555.20 ∧ 398.58 < V416 ∧ 452.50 < V425 < 515.19 ∧ V428 < 588.56 ∧ V431 < 554.66 ∧ V434 < 613.93 ∧ 406.20 < V436 ∧ 404.76 < V438 ∧ 353.95 < V443 < 667.79 ∧ V449 < 601.37 ∧ V452 < 501.51 ∧ 437.19 < V453 ∧ 467.04 < V457 < 497.56 ∧ 420.29 < V458 < 587.50 ∧ 380.69 < V459 ∧ V461 < 609.23 ∧ 408.01 < V462 < 548.08 ∧ 457.33 < V467 < 506.50 ∧ V468 < 630.43 ∧ 375.81 < V473 < 587.21 ∧ 473.87 < V474 ∧ 460.71 < V475 < 499.85 ∧ 315.41 < V476 < 654.01 ∧ 433.70 < V477 < 521.08 ∧ 455.12 < V480 < 511.60 ∧ 401.89 < V482 ∧ 444.56 < V483 ∧ 389.32 < V484 < 600.34 ∧ 414.79 < V495 < 601.94 ∧ 396.24 < V496 < 616.46 ∧ V498 < 518.20
Rule 3 with 1.31 for class 1 with likelihood 67.31%: V4 < 512.18 ∧ 462.85 < V6 < 494.50 ∧ 408.87 < V11 ∧ V23 < 492.98 ∧ 376.53 < V25 < 613.61 ∧ 459.69 < V28 < 513.35 ∧ 466.40 < V31 ∧ 391.26 < V33 ∧ 392.28 < V34 < 575.18 ∧ V36 < 586.09 ∧ 459.50 < V37 ∧ 429.63 < V43 < 561.84 ∧ V44 < 512.86 ∧ 420.49 < V58 < 580.68 ∧ 460.74 < V75 < 502.83 ∧ 413.27 < V78 < 565.24 ∧ 425.47 < V81 ∧ 414.75 < V83 < 585.64 ∧ 446.24 < V84 ∧ V85 < 601.01 ∧ V87 < 490.26 ∧ 431.93 < V88 < 548.66 ∧ 474.76 < V91 < 477.34 ∧ 394.64 < V100 ∧ 460.00 < V102 < 508.90 ∧ V104 < 517.85 ∧ 373.02 < V105 < 578.67 ∧ V108 < 566.21 ∧ 453.69 < V110 < 502.29 ∧ 369.84 < V112 ∧ 453.28 < V113 < 495.23 ∧ 370.28 < V115 ∧ 411.36 < V119 < 577.16 ∧ 436.04 < V122 < 568.89 ∧ 460.88 < V139 < 496.53 ∧ 449.39 < V143 ∧ 448.88 < V152 < 519.65 ∧ V153 < 509.68 ∧ V156 < 563.17 ∧ 406.03 < V161 < 542.74 ∧ 408.84 < V165 < 631.95 ∧ V166 < 544.62 ∧ 471.04 < V167 ∧ 467.57 < V168 < 489.88 ∧ 423.00 < V173 < 631.84 ∧ 458.79 < V178 < 498.85 ∧ 370.32 < V179 < 553.13 ∧ 396.81 < V181 ∧ 421.22 < V184 < 550.56 ∧ 472.88 < V199 ∧ 446.36 < V201 ∧ 432.88 < V202 < 541.57 ∧ 368.20 < V204 ∧ 425.84 < V205 ∧ 471.85 < V206 < 479.21 ∧ 419.38 < V213 ∧ 445.70 < V215 ∧ V217 < 596.65 ∧ 449.95 < V220 < 510.89 ∧ 406.78 < V223 < 565.35 ∧ 471.93 < V228 < 482.92 ∧ 418.66 < V243 ∧ 434.95 < V250 ∧ 413.31 < V251 ∧ 390.07 < V257 < 628.51 ∧ 462.64 < V263 < 549.86 ∧ 437.55 < V266 ∧ 369.96 < V267 < 590.63 ∧ 438.22 < V268 < 532.49 ∧ 444.44 < V271 < 526.21 ∧ 430.00 < V275 ∧ 474.83 < V277 ∧ V279 < 530.91 ∧ 401.19 < V280 < 575.91 ∧ V281 < 479.97 ∧ 395.29 < V286 < 583.23 ∧ V287 < 528.18 ∧ V290 < 553.46 ∧ 407.63 < V295 ∧ V296 < 582.79 ∧ 414.75 < V298 < 588.04 ∧ 428.28 < V299 < 567.67 ∧ 435.84 < V300 < 546.75 ∧ 468.57 < V303 < 489.20 ∧ 426.46 < V304 ∧ V306 < 557.61 ∧ 402.06 < V316 ∧ 467.64 < V318 ∧ 459.65 < V321 ∧ 405.12 < V322 ∧ V325 < 548.51 ∧ 408.06 < V330 < 621.29 ∧ 386.93 < V331 < 584.67 ∧ 452.41 < V332 ∧ 405.79 < V343 < 581.30 ∧ 369.72 < V345 < 625.20 ∧ 457.35 < V346 < 503.89 ∧ V348 < 576.10 ∧ 394.27 < V350 < 596.07 ∧ 385.38 < V352 < 584.83 ∧ 446.36 < V355 < 556.01 ∧ V356 < 530.81 ∧ 383.46 < V357 ∧ 472.88 < V358 ∧ 360.90 < V360 < 593.73 ∧ V361 < 566.93 ∧ V364 < 544.92 ∧ 424.81 < V367 < 559.78 ∧ 364.03 < V372 ∧ 442.44 < V373 ∧ V374 < 551.13 ∧ 467.58 < V377 < 506.73 ∧ 395.05 < V380 < 595.27 ∧ 419.99 < V382 < 524.89 ∧ 448.22 < V386 < 497.10 ∧ V392 < 593.17 ∧ 470.10 < V393 < 483.91 ∧ 393.56 < V394 < 552.87 ∧ V395 < 484.15 ∧ V398 < 591.90 ∧ 413.83 < V399 ∧ V400 < 498.68 ∧ 466.74 < V408 < 486.72 ∧ V421 < 490.65 ∧ 437.89 < V422 < 516.10 ∧ 359.69 < V429 < 570.81 ∧ 466.94 < V430 ∧ 443.89 < V437 ∧ V438 < 623.17 ∧ V446 < 480.89 ∧ 463.56 < V448 < 511.34 ∧ 317.24 < V454 < 753.39 ∧ 343.01 < V456 < 710.38 ∧ 446.90 < V465 ∧ 437.27 < V466 < 553.45 ∧ 435.52 < V469 ∧ V470 < 597.60 ∧ V474 < 483.00 ∧ 443.17 < V478 < 541.66 ∧ V479 < 577.97 ∧ 433.28 < V481 < 536.87 ∧ V482 < 570.42 ∧ 433.47 < V489 < 554.44 ∧ V491 < 531.46 ∧ 458.36 < V497 < 494.35
Rule 4 with 1.00 for class 1 with likelihood 64.62%: 462.54 < V6 < 492.59 ∧ 379.15 < V7 ∧ 395.96 < V11 ∧ 423.53 < V12 ∧ 446.16 < V21 < 524.54 ∧ V23 < 494.12 ∧ 374.01 < V25 < 614.40 ∧ 453.22 < V28 < 514.47 ∧ V34 < 605.35 ∧ V36 < 586.94 ∧ 446.46 < V37 ∧ 429.32 < V43 < 561.94 ∧ 411.57 < V58 < 573.92 ∧ V64 < 493.12 ∧ 439.07 < V73 ∧ 464.90 < V75 < 498.96 ∧ 439.13 < V78 < 571.54 ∧ 427.00 < V81 ∧ V87 < 490.81 ∧ 427.16 < V88 < 547.03 ∧ 474.79 < V91 ∧ 404.91 < V100 < 566.02 ∧ V104 < 518.52 ∧ 368.08 < V105 < 580.59 ∧ V108 < 563.27 ∧ 455.06 < V110 < 505.61 ∧ 450.95 < V113 < 497.45 ∧ 404.45 < V119 < 569.84 ∧ 429.45 < V122 < 570.27 ∧ 427.89 < V131 < 599.57 ∧ 459.38 < V139 < 496.70 ∧ V153 < 509.86 ∧ 409.02 < V156 < 564.70 ∧ 401.45 < V161 < 546.81 ∧ V163 < 510.54 ∧ 385.18 < V165 < 623.71 ∧ 470.97 < V167 ∧ 468.38 < V168 < 490.07 ∧ 401.24 < V173 < 632.79 ∧ 462.28 < V178 < 499.17 ∧ 374.15 < V179 < 574.68 ∧ 399.45 < V181 ∧ 420.14 < V184 < 548.97 ∧ 456.25 < V185 < 533.76 ∧ 373.31 < V187 ∧ 389.75 < V195 ∧ 472.90 < V199 ∧ 451.08 < V201 ∧ 432.77 < V202 < 543.18 ∧ 408.89 < V205 ∧ 471.86 < V206 < 478.17 ∧ 415.04 < V213 ∧ V217 < 582.80 ∧ 450.11 < V220 < 505.75 ∧ 437.61 < V223 < 570.52 ∧ 472.18 < V228 < 482.55 ∧ 425.97 < V230 ∧ 439.70 < V243 ∧ 436.64 < V250 ∧ 413.68 < V251 ∧ 378.09 < V257 < 643.11 ∧ V260 < 503.83 ∧ 450.03 < V263 < 548.36 ∧ 436.29 < V266 < 548.09 ∧ 378.06 < V267 < 595.01 ∧ 435.12 < V268 < 516.65 ∧ 446.31 < V271 < 518.24 ∧ 429.83 < V275 ∧ 474.82 < V277 ∧ V279 < 544.10 ∧ 418.18 < V280 < 573.47 ∧ V281 < 480.06 ∧ 406.14 < V286 < 576.01 ∧ V287 < 535.57 ∧ 388.89 < V295 ∧ V296 < 586.72 ∧ 383.08 < V298 < 596.20 ∧ 429.97 < V299 < 570.71 ∧ 428.21 < V300 < 549.92 ∧ 467.42 < V303 < 492.43 ∧ 427.58 < V304 ∧ 418.50 < V309 < 586.04 ∧ 439.25 < V312 ∧ 465.09 < V318 ∧ 458.31 < V321 ∧ 412.32 < V322 ∧ V325 < 537.23 ∧ 418.79 < V330 < 622.40 ∧ 391.71 < V331 < 580.07 ∧ 404.24 < V343 < 572.86 ∧ 411.90 < V345 < 632.25 ∧ 458.76 < V346 < 503.39 ∧ V348 < 588.75 ∧ 396.77 < V352 < 568.02 ∧ 452.11 < V355 < 551.46 ∧ V356 < 528.38 ∧ 382.68 < V357 ∧ 472.71 < V358 ∧ 381.79 < V360 < 604.62 ∧ V361 < 570.18 ∧ 435.11 < V362 < 533.37 ∧ 370.75 < V363 ∧ V364 < 549.51 ∧ 442.16 < V367 < 574.03 ∧ 368.50 < V372 ∧ 441.29 < V373 ∧ V374 < 555.22 ∧ 426.98 < V376 < 580.87 ∧ 461.11 < V377 ∧ 443.67 < V378 < 532.23 ∧ 446.09 < V386 ∧ V392 < 594.70 ∧ 470.18 < V393 < 484.10 ∧ V394 < 556.41 ∧ V398 < 594.49 ∧ V400 < 500.65 ∧ V405 < 478.14 ∧ 466.35 < V408 ∧ V421 < 496.20 ∧ 439.23 < V422 < 518.33 ∧ 366.21 < V429 < 576.81 ∧ 468.02 < V430 ∧ 449.17 < V437 ∧ V438 < 620.66 ∧ 382.10 < V441 < 609.71 ∧ V446 < 481.81 ∧ 209.31 < V454 < 749.92 ∧ 300.29 < V456 < 696.66 ∧ V460 < 555.46 ∧ 437.19 < V465 ∧ 444.72 < V466 < 556.60 ∧ 435.95 < V469 ∧ V474 < 482.24 ∧ 444.30 < V478 < 530.96 ∧ V479 < 593.45 ∧ 446.21 < V481 < 531.05 ∧ V482 < 573.02 ∧ 416.07 < V489 < 555.55 ∧ V491 < 533.85 ∧ 459.28 < V497 < 486.60
