Rule 0 with 3.51 for class 0 with likelihood 77.40%: 406.94 < V2 ∧ V3 < 632.26 ∧ 456.28 < V4 < 505.69 ∧ 371.77 < V5 < 650.26 ∧ 472.65 < V8 < 481.87 ∧ 440.26 < V9 ∧ V11 < 594.02 ∧ V12 < 564.07 ∧ 381.72 < V14 < 611.11 ∧ 445.94 < V20 ∧ 440.38 < V22 ∧ 430.95 < V26 < 581.81 ∧ 449.37 < V29 ∧ V33 < 618.12 ∧ V37 < 513.81 ∧ V40 < 480.13 ∧ 465.77 < V41 < 487.29 ∧ 408.58 < V46 < 555.58 ∧ 408.14 < V55 < 582.49 ∧ 443.34 < V56 ∧ 367.79 < V57 < 599.96 ∧ V63 < 589.58 ∧ V65 < 709.30 ∧ V67 < 604.27 ∧ 420.89 < V68 < 556.28 ∧ 456.48 < V70 ∧ 444.21 < V72 ∧ V73 < 540.39 ∧ V77 < 505.17 ∧ 396.76 < V79 < 615.40 ∧ 429.61 < V80 < 542.91 ∧ 455.44 < V89 < 498.65 ∧ 404.26 < V90 < 646.25 ∧ V95 < 497.92 ∧ V96 < 596.23 ∧ 432.09 < V99 < 517.73 ∧ 453.04 < V101 < 505.16 ∧ 438.22 < V104 ∧ V107 < 559.06 ∧ 416.42 < V120 < 558.83 ∧ 405.97 < V126 ∧ 450.88 < V127 ∧ 457.23 < V129 < 494.81 ∧ 418.52 < V132 < 551.41 ∧ V136 < 608.70 ∧ 449.94 < V140 ∧ V143 < 511.11 ∧ 459.01 < V144 < 510.07 ∧ 467.73 < V149 < 491.27 ∧ V158 < 551.48 ∧ V167 < 479.75 ∧ 400.81 < V170 < 637.99 ∧ 440.03 < V175 ∧ 404.67 < V180 ∧ V183 < 559.24 ∧ 381.92 < V189 < 643.66 ∧ V195 < 656.69 ∧ V201 < 548.32 ∧ V209 < 518.74 ∧ V210 < 550.85 ∧ 392.52 < V216 ∧ V219 < 574.66 ∧ V220 < 519.08 ∧ 380.82 < V221 < 566.94 ∧ V224 < 609.31 ∧ 375.62 < V225 < 589.19 ∧ 436.30 < V227 < 542.72 ∧ V231 < 523.12 ∧ 445.85 < V233 ∧ 442.02 < V236 < 554.46 ∧ V239 < 529.04 ∧ 394.97 < V241 < 585.26 ∧ 353.86 < V247 < 578.92 ∧ 418.19 < V252 < 579.82 ∧ V253 < 487.93 ∧ 430.63 < V254 < 631.38 ∧ V258 < 609.78 ∧ 455.60 < V259 ∧ V261 < 529.96 ∧ 465.55 < V262 ∧ 454.84 < V265 ∧ 440.18 < V270 < 561.30 ∧ 379.23 < V274 ∧ V275 < 520.63 ∧ V276 < 514.45 ∧ 403.54 < V278 ∧ 472.82 < V284 < 480.06 ∧ V288 < 603.06 ∧ 468.64 < V289 ∧ 435.69 < V290 < 557.98 ∧ 413.20 < V297 < 561.13 ∧ V302 < 523.67 ∧ V303 < 490.43 ∧ 390.38 < V305 ∧ 442.97 < V307 ∧ 414.45 < V311 ∧ V316 < 571.15 ∧ 380.19 < V320 ∧ 428.76 < V327 < 549.32 ∧ 403.11 < V328 < 580.70 ∧ V337 < 731.07 ∧ 457.20 < V339 < 795.09 ∧ 400.24 < V340 < 623.55 ∧ V341 < 617.93 ∧ 429.90 < V342 < 562.77 ∧ 438.03 < V344 ∧ V347 < 499.87 ∧ 382.91 < V348 ∧ V349 < 535.94 ∧ 462.28 < V351 < 505.46 ∧ 374.54 < V353 ∧ 458.17 < V362 ∧ 464.49 < V365 ∧ V375 < 571.57 ∧ 416.95 < V376 ∧ 402.57 < V380 ∧ V383 < 600.81 ∧ V384 < 523.53 ∧ 472.15 < V388 < 483.05 ∧ 441.47 < V389 < 550.75 ∧ 463.16 < V391 ∧ V401 < 488.93 ∧ 472.84 < V403 ∧ V404 < 553.23 ∧ 474.74 < V405 ∧ 416.03 < V409 < 556.27 ∧ V414 < 536.06 ∧ 399.86 < V416 ∧ 448.68 < V417 < 520.59 ∧ V428 < 599.30 ∧ V432 < 586.26 ∧ 428.24 < V435 < 544.75 ∧ 392.79 < V436 < 629.55 ∧ 257.30 < V443 < 693.25 ∧ 457.11 < V445 ∧ V449 < 574.20 ∧ V450 < 505.16 ∧ 455.58 < V452 < 499.56 ∧ V461 < 588.92 ∧ 357.27 < V473 < 587.06 ∧ 457.81 < V480 ∧ 395.76 < V484 < 592.14 ∧ 457.67 < V490 < 509.17 ∧ V492 < 492.78 ∧ 416.29 < V493 ∧ 397.12 < V496 < 631.23
Rule 3 with 2.84 for class 1 with likelihood 80.26%: 459.54 < V6 < 500.82 ∧ 370.00 < V7 < 599.78 ∧ V10 < 494.90 ∧ 403.78 < V11 ∧ V20 < 507.29 ∧ 374.62 < V25 < 633.97 ∧ 451.25 < V28 < 521.27 ∧ 412.90 < V34 < 580.99 ∧ V36 < 592.66 ∧ V44 < 531.51 ∧ 391.05 < V48 ∧ V54 < 497.27 ∧ 401.45 < V58 < 583.97 ∧ 417.80 < V61 < 549.77 ∧ 422.03 < V66 ∧ 422.92 < V67 ∧ 420.50 < V73 ∧ 375.60 < V74 < 584.74 ∧ 459.85 < V75 < 502.15 ∧ 368.94 < V76 < 625.75 ∧ V78 < 546.52 ∧ V85 < 608.93 ∧ 474.72 < V91 ∧ 403.85 < V100 < 597.22 ∧ 457.18 < V102 ∧ V104 < 517.42 ∧ V110 < 504.94 ∧ 411.21 < V111 < 583.56 ∧ 402.80 < V119 ∧ V123 < 511.27 ∧ V124 < 597.62 ∧ V127 < 519.15 ∧ 379.34 < V130 < 563.00 ∧ 415.07 < V131 < 597.72 ∧ 458.41 < V139 < 497.16 ∧ 450.00 < V143 ∧ 399.32 < V150 ∧ 459.10 < V152 < 512.11 ∧ 455.25 < V153 < 506.42 ∧ 287.67 < V154 < 698.27 ∧ 413.82 < V156 < 569.57 ∧ 416.74 < V157 < 545.58 ∧ 436.62 < V160 ∧ 395.15 < V161 < 545.52 ∧ 451.13 < V162 ∧ V163 < 507.65 ∧ 470.95 < V167 ∧ 468.00 < V168 < 490.35 ∧ V176 < 586.07 ∧ V178 < 497.97 ∧ 400.67 < V179 < 574.85 ∧ 400.36 < V181 < 584.32 ∧ V182 < 633.96 ∧ 413.99 < V184 < 550.19 ∧ 443.57 < V185 < 534.11 ∧ 413.77 < V186 < 559.70 ∧ 398.43 < V195 ∧ 467.73 < V197 ∧ 431.40 < V201 ∧ V202 < 541.01 ∧ 359.31 < V204 ∧ 415.91 < V205 ∧ 471.94 < V206 < 479.69 ∧ V207 < 614.84 ∧ 435.84 < V209 ∧ 414.36 < V213 ∧ V217 < 592.29 ∧ 377.31 < V222 < 596.66 ∧ 471.63 < V228 < 484.01 ∧ 474.75 < V229 ∧ 412.67 < V239 ∧ 470.86 < V248 < 489.88 ∧ 430.37 < V250 ∧ 412.89 < V251 < 564.79 ∧ 377.64 < V257 < 644.95 ∧ V260 < 508.56 ∧ 457.00 < V263 < 537.42 ∧ 444.48 < V266 ∧ 438.83 < V268 < 534.11 ∧ 408.10 < V269 ∧ 440.29 < V271 < 530.42 ∧ 474.80 < V277 ∧ V279 < 535.03 ∧ V280 < 580.73 ∧ 473.56 < V281 < 481.01 ∧ 370.61 < V282 ∧ 397.90 < V286 < 591.31 ∧ V287 < 538.59 ∧ 351.35 < V288 ∧ 429.49 < V292 < 592.85 ∧ 384.17 < V295 ∧ 394.76 < V298 < 611.60 ∧ V300 < 550.34 ∧ 465.19 < V303 ∧ V306 < 551.83 ∧ 429.97 < V309 < 587.69 ∧ 461.91 < V318 < 503.08 ∧ V319 < 584.01 ∧ 447.51 < V321 ∧ V324 < 510.93 ∧ 407.38 < V330 < 640.87 ∧ 457.87 < V332 ∧ 473.79 < V333 ∧ 386.95 < V335 < 558.31 ∧ 403.54 < V343 < 575.09 ∧ 379.92 < V345 < 623.05 ∧ 459.23 < V346 < 506.19 ∧ 396.67 < V350 < 608.09 ∧ 384.34 < V352 < 583.59 ∧ 454.41 < V355 ∧ V356 < 523.82 ∧ 377.60 < V357 < 637.96 ∧ V358 < 480.99 ∧ 356.19 < V360 < 610.34 ∧ V362 < 540.26 ∧ 456.26 < V367 < 560.81 ∧ 391.54 < V370 ∧ 459.31 < V377 < 503.46 ∧ V379 < 636.50 ∧ 446.57 < V386 ∧ 396.65 < V392 < 599.61 ∧ 369.24 < V394 < 561.30 ∧ 425.47 < V396 ∧ V398 < 602.38 ∧ 468.09 < V401 ∧ V403 < 479.24 ∧ 375.45 < V407 ∧ V410 < 496.65 ∧ 420.94 < V418 ∧ 406.01 < V419 ∧ V421 < 495.73 ∧ 437.24 < V422 < 520.89 ∧ 450.69 < V425 ∧ V426 < 532.11 ∧ 436.95 < V427 ∧ 361.15 < V429 < 596.72 ∧ 467.36 < V430 ∧ 410.34 < V433 < 557.93 ∧ 377.13 < V434 ∧ V438 < 629.75 ∧ 456.41 < V440 < 518.16 ∧ 379.56 < V441 ∧ V446 < 481.16 ∧ 159.49 < V454 < 770.47 ∧ 302.92 < V456 < 685.98 ∧ 412.34 < V461 ∧ V463 < 587.12 ∧ 361.38 < V464 < 588.05 ∧ 440.71 < V466 < 553.72 ∧ 428.13 < V469 < 536.19 ∧ V472 < 488.81 ∧ 442.89 < V478 < 539.15 ∧ 361.61 < V479 < 595.16 ∧ V481 < 541.04 ∧ 386.32 < V488 < 598.73 ∧ V489 < 557.92 ∧ V491 < 540.72 ∧ 152.55 < V494 < 761.25 ∧ V497 < 494.62
Rule 1 with 1.75 for class 0 with likelihood 67.47%: 411.54 < V2 ∧ V3 < 629.11 ∧ 461.74 < V4 < 509.72 ∧ 406.19 < V5 < 638.97 ∧ 472.88 < V8 < 481.83 ∧ V12 < 572.15 ∧ 388.51 < V14 < 610.87 ∧ 449.12 < V20 ∧ 430.47 < V22 ∧ 449.28 < V26 < 581.00 ∧ V31 < 503.82 ∧ V33 < 607.90 ∧ V37 < 512.88 ∧ V40 < 480.09 ∧ 468.96 < V41 < 487.72 ∧ 413.95 < V46 < 553.31 ∧ 412.59 < V55 < 572.54 ∧ 450.17 < V56 ∧ 367.47 < V57 < 561.42 ∧ V62 < 499.75 ∧ 377.26 < V63 < 606.01 ∧ 466.65 < V64 ∧ 217.12 < V65 < 700.71 ∧ 426.52 < V68 < 563.54 ∧ 458.14 < V70 ∧ V71 < 594.24 ∧ 444.93 < V72 < 516.38 ∧ V73 < 546.77 ∧ 403.01 < V79 ∧ 438.16 < V80 < 543.90 ∧ 457.23 < V89 < 496.04 ∧ 439.38 < V90 < 638.29 ∧ V96 < 583.60 ∧ 440.63 < V99 < 515.54 ∧ 456.32 < V101 < 506.72 ∧ V107 < 558.19 ∧ 426.23 < V109 ∧ 433.16 < V116 ∧ 423.99 < V120 < 545.18 ∧ 411.12 < V126 ∧ 453.66 < V127 ∧ V128 < 556.47 ∧ 460.01 < V129 < 501.54 ∧ 425.71 < V132 < 553.54 ∧ 411.98 < V135 ∧ V143 < 511.59 ∧ 458.20 < V144 < 506.77 ∧ 468.77 < V149 < 495.75 ∧ V158 < 545.39 ∧ V167 < 480.01 ∧ 429.13 < V170 < 629.41 ∧ 441.65 < V175 ∧ V183 < 533.54 ∧ 377.07 < V189 < 633.75 ∧ 468.55 < V190 < 491.58 ∧ V195 < 639.72 ∧ V201 < 542.93 ∧ V203 < 545.76 ∧ 406.42 < V207 ∧ V209 < 517.23 ∧ V210 < 542.68 ∧ V215 < 512.79 ∧ 425.06 < V216 ∧ V219 < 561.89 ∧ 404.22 < V221 < 566.25 ∧ V224 < 578.94 ∧ 408.67 < V225 < 605.90 ∧ 427.28 < V227 < 543.52 ∧ V231 < 516.27 ∧ 439.84 < V233 ∧ V234 < 534.08 ∧ 443.82 < V236 ∧ 447.98 < V237 ∧ V239 < 529.23 ∧ 394.70 < V242 < 603.45 ∧ V243 < 576.35 ∧ 398.30 < V252 < 569.84 ∧ V253 < 486.38 ∧ 419.41 < V254 < 633.45 ∧ V258 < 606.76 ∧ 463.18 < V259 ∧ V261 < 529.23 ∧ 463.46 < V262 ∧ 456.18 < V265 ∧ V267 < 606.14 ∧ 456.41 < V270 < 561.56 ∧ 380.78 < V274 ∧ V275 < 520.27 ∧ V276 < 514.03 ∧ 417.49 < V278 ∧ 421.86 < V279 ∧ 428.79 < V280 ∧ 473.58 < V284 < 479.53 ∧ 469.13 < V289 ∧ 442.31 < V290 < 558.39 ∧ 406.06 < V297 < 537.03 ∧ V302 < 517.53 ∧ V303 < 489.79 ∧ 415.37 < V305 ∧ 405.45 < V306 ∧ 457.23 < V307 ∧ 421.43 < V311 ∧ 404.71 < V313 < 585.10 ∧ V316 < 584.39 ∧ 390.99 < V320 ∧ 420.37 < V327 < 523.33 ∧ V332 < 511.30 ∧ V333 < 479.05 ∧ V337 < 704.70 ∧ 295.85 < V339 < 745.56 ∧ 378.04 < V340 < 600.71 ∧ 403.65 < V341 < 611.59 ∧ 423.12 < V342 < 559.09 ∧ 413.69 < V344 ∧ V347 < 499.82 ∧ 416.17 < V348 ∧ V349 < 531.94 ∧ 463.77 < V351 < 506.19 ∧ 458.80 < V354 < 523.83 ∧ 439.79 < V362 ∧ 428.45 < V375 < 582.62 ∧ 416.84 < V380 ∧ V383 < 604.89 ∧ V384 < 518.66 ∧ 444.17 < V387 ∧ 473.39 < V388 < 481.82 ∧ 445.21 < V389 < 547.42 ∧ V401 < 488.94 ∧ V404 < 556.32 ∧ 474.87 < V405 ∧ 401.36 < V409 < 555.48 ∧ 401.86 < V416 ∧ 453.03 < V417 < 511.61 ∧ V427 < 546.12 ∧ V428 < 609.34 ∧ V432 < 589.79 ∧ 440.55 < V435 < 547.26 ∧ 431.32 < V436 < 651.78 ∧ 425.46 < V442 ∧ 354.87 < V443 < 753.65 ∧ 446.10 < V445 ∧ 457.84 < V452 < 496.67 ∧ 464.01 < V455 ∧ 466.67 < V457 ∧ 414.24 < V458 < 583.49 ∧ V461 < 601.30 ∧ V468 < 629.54 ∧ 426.09 < V473 < 574.62 ∧ 473.92 < V474 ∧ 307.12 < V476 < 639.36 ∧ 441.77 < V477 < 518.94 ∧ 455.34 < V480 ∧ 411.70 < V482 ∧ 447.17 < V483 < 505.08 ∧ 390.19 < V484 < 600.79 ∧ 457.77 < V490 < 508.57 ∧ V492 < 492.04 ∧ 422.17 < V493 ∧ 379.88 < V496 < 615.16
Rule 4 with 1.61 for class 1 with likelihood 73.75%: 461.92 < V6 < 496.52 ∧ 371.15 < V7 ∧ 461.18 < V10 < 497.91 ∧ 384.82 < V11 ∧ V20 < 498.04 ∧ 391.33 < V25 < 610.94 ∧ 449.24 < V28 < 519.04 ∧ 379.53 < V34 < 603.18 ∧ V36 < 593.28 ∧ 402.45 < V47 ∧ 396.53 < V48 ∧ V54 < 496.50 ∧ 416.78 < V58 < 582.01 ∧ 438.11 < V61 < 544.90 ∧ 412.79 < V66 ∧ 404.59 < V67 ∧ 425.92 < V73 ∧ 370.49 < V74 < 577.64 ∧ 463.18 < V75 < 501.67 ∧ 376.93 < V76 < 624.28 ∧ 403.51 < V78 < 569.53 ∧ 445.17 < V84 ∧ V85 < 605.80 ∧ 474.75 < V91 ∧ 412.03 < V100 < 601.76 ∧ 453.50 < V102 < 510.67 ∧ V110 < 502.48 ∧ 365.66 < V112 ∧ 449.13 < V113 < 498.71 ∧ 403.74 < V119 < 550.63 ∧ V123 < 506.49 ∧ 351.55 < V124 < 583.55 ∧ V127 < 516.81 ∧ 403.03 < V130 < 569.75 ∧ 422.17 < V131 < 592.34 ∧ V134 < 489.72 ∧ 460.85 < V139 < 497.74 ∧ 451.06 < V143 ∧ 428.61 < V145 < 545.05 ∧ 353.85 < V151 < 621.61 ∧ 453.52 < V152 < 511.68 ∧ 455.26 < V153 < 506.27 ∧ 299.90 < V154 < 720.16 ∧ 433.72 < V156 < 568.50 ∧ 418.07 < V157 ∧ 441.31 < V159 ∧ 404.81 < V161 < 548.24 ∧ 447.05 < V162 ∧ 471.13 < V167 ∧ 471.07 < V168 < 489.41 ∧ V176 < 574.92 ∧ V178 < 499.34 ∧ 370.02 < V179 < 601.72 ∧ 396.22 < V181 ∧ 412.41 < V184 < 549.17 ∧ 445.09 < V185 < 539.05 ∧ 417.95 < V186 < 566.25 ∧ V200 < 568.21 ∧ 360.54 < V204 ∧ 427.60 < V205 ∧ 472.03 < V206 < 479.09 ∧ V207 < 605.55 ∧ 435.83 < V209 ∧ V217 < 593.01 ∧ 382.36 < V222 < 619.90 ∧ 471.73 < V228 < 483.43 ∧ 473.96 < V229 ∧ 430.99 < V250 ∧ 409.03 < V251 ∧ V256 < 583.29 ∧ 382.49 < V257 < 637.68 ∧ V260 < 516.40 ∧ 445.83 < V263 < 547.32 ∧ 418.92 < V264 < 568.96 ∧ 439.61 < V266 < 551.47 ∧ 439.02 < V268 < 528.75 ∧ 414.90 < V269 ∧ 445.50 < V271 < 530.06 ∧ 474.78 < V277 < 477.24 ∧ V279 < 547.94 ∧ V280 < 562.36 ∧ 473.35 < V281 < 480.18 ∧ 390.98 < V282 ∧ 396.61 < V286 < 589.79 ∧ V287 < 535.91 ∧ 423.48 < V292 < 605.85 ∧ 410.05 < V298 < 601.25 ∧ V300 < 542.85 ∧ 466.17 < V303 ∧ 433.91 < V304 ∧ V306 < 553.08 ∧ 409.59 < V309 < 574.65 ∧ 463.29 < V318 < 502.55 ∧ V319 < 565.01 ∧ 447.34 < V321 ∧ V324 < 495.35 ∧ 417.24 < V330 < 632.70 ∧ 443.77 < V332 ∧ 473.89 < V333 ∧ 409.06 < V334 < 580.32 ∧ 385.07 < V335 < 567.13 ∧ 401.65 < V343 < 575.71 ∧ 392.44 < V345 < 629.80 ∧ 459.96 < V346 < 509.33 ∧ V348 < 588.83 ∧ 394.55 < V350 < 597.05 ∧ 410.42 < V352 < 571.03 ∧ 446.20 < V355 ∧ V356 < 517.54 ∧ 384.98 < V357 < 644.94 ∧ V358 < 481.05 ∧ 360.44 < V360 < 611.97 ∧ V362 < 537.66 ∧ 364.62 < V363 ∧ 401.97 < V370 ∧ V374 < 552.85 ∧ V379 < 624.86 ∧ 447.16 < V386 ∧ 400.35 < V390 ∧ 403.39 < V392 < 608.81 ∧ 417.04 < V396 ∧ V398 < 599.59 ∧ 467.37 < V401 ∧ V410 < 496.27 ∧ 410.62 < V418 ∧ 389.14 < V419 < 623.41 ∧ V421 < 494.68 ∧ 437.56 < V422 < 517.89 ∧ 456.04 < V425 ∧ 437.63 < V426 < 531.16 ∧ 444.13 < V427 ∧ 466.26 < V430 ∧ 406.86 < V433 < 566.78 ∧ 381.55 < V434 ∧ 448.97 < V437 ∧ V438 < 610.71 ∧ 467.05 < V440 < 500.49 ∧ 378.91 < V441 ∧ 472.95 < V446 < 482.07 ∧ 338.71 < V456 < 674.29 ∧ V459 < 607.07 ∧ 426.41 < V461 ∧ 373.97 < V464 < 606.20 ∧ 429.93 < V466 < 551.00 ∧ 442.64 < V469 < 538.55 ∧ V472 < 491.36 ∧ V474 < 482.07 ∧ 444.62 < V478 < 532.53 ∧ 363.31 < V479 < 572.22 ∧ V481 < 530.42 ∧ 399.52 < V488 < 584.51 ∧ V489 < 554.60 ∧ V491 < 543.86 ∧ 140.59 < V494 < 630.76
Rule 2 with 1.00 for class 1 with likelihood 64.97%: 462.81 < V6 < 500.74 ∧ 373.00 < V7 ∧ 461.48 < V10 < 493.01 ∧ 398.41 < V11 ∧ 447.15 < V17 < 509.04 ∧ V20 < 500.48 ∧ 396.85 < V25 < 625.47 ∧ 455.47 < V28 < 511.28 ∧ 381.19 < V34 < 602.97 ∧ V36 < 570.92 ∧ 397.79 < V48 ∧ 406.99 < V58 < 580.27 ∧ V64 < 494.91 ∧ 424.62 < V66 ∧ 431.20 < V67 ∧ 431.03 < V73 ∧ 385.18 < V74 < 581.52 ∧ 464.26 < V75 < 500.18 ∧ 374.53 < V76 < 599.43 ∧ 411.99 < V78 < 572.89 ∧ 445.47 < V84 ∧ V85 < 604.91 ∧ V87 < 490.66 ∧ 474.77 < V91 ∧ 399.22 < V93 < 532.11 ∧ 397.98 < V100 < 592.73 ∧ V110 < 506.28 ∧ 408.84 < V111 < 589.69 ∧ 371.66 < V112 ∧ V124 < 587.11 ∧ 406.10 < V130 < 572.35 ∧ 430.39 < V131 < 589.22 ∧ 370.65 < V137 ∧ 461.30 < V139 < 496.31 ∧ 404.71 < V150 < 574.43 ∧ 456.39 < V152 < 521.87 ∧ 321.77 < V154 < 708.67 ∧ 422.83 < V156 < 567.49 ∧ 425.11 < V157 < 545.99 ∧ 406.41 < V161 < 538.00 ∧ 449.06 < V162 ∧ V163 < 506.74 ∧ 471.13 < V167 ∧ 469.19 < V168 < 490.65 ∧ V178 < 498.77 ∧ 377.47 < V179 < 577.09 ∧ 405.01 < V181 ∧ 415.94 < V184 < 547.25 ∧ 419.16 < V186 < 556.46 ∧ 407.09 < V191 ∧ 362.59 < V194 < 618.31 ∧ 439.89 < V201 ∧ 424.29 < V205 ∧ 471.73 < V206 < 479.01 ∧ 436.36 < V209 ∧ V217 < 601.08 ∧ 380.44 < V222 < 620.64 ∧ 471.84 < V228 < 483.75 ∧ 474.79 < V229 ∧ 470.78 < V248 < 489.05 ∧ 403.69 < V251 < 562.09 ∧ 387.20 < V257 < 622.43 ∧ 451.92 < V263 < 534.54 ∧ 440.78 < V268 < 519.66 ∧ 414.51 < V269 ∧ 445.88 < V271 < 529.32 ∧ 474.88 < V277 ∧ V279 < 543.02 ∧ V280 < 565.73 ∧ V281 < 480.04 ∧ 376.31 < V282 ∧ 407.31 < V286 < 543.99 ∧ V287 < 535.34 ∧ 424.46 < V292 < 586.95 ∧ 376.61 < V295 ∧ V300 < 547.61 ∧ 465.02 < V303 ∧ V306 < 559.90 ∧ 435.51 < V309 < 576.78 ∧ 460.85 < V318 < 504.33 ∧ V319 < 565.43 ∧ 450.65 < V321 ∧ V324 < 509.96 ∧ 470.46 < V326 < 497.04 ∧ 421.19 < V330 < 618.05 ∧ V331 < 578.15 ∧ 457.05 < V332 ∧ 473.91 < V333 ∧ 389.32 < V335 < 571.45 ∧ 401.80 < V343 < 572.40 ∧ 384.04 < V345 < 619.57 ∧ 457.75 < V346 < 502.65 ∧ 391.99 < V350 < 605.94 ∧ 369.99 < V352 < 577.49 ∧ 456.09 < V355 ∧ 394.28 < V357 < 630.21 ∧ 368.56 < V360 < 603.69 ∧ V367 < 560.01 ∧ 467.51 < V377 < 502.21 ∧ V379 < 611.33 ∧ 433.01 < V392 < 570.88 ∧ V394 < 557.64 ∧ 420.36 < V396 ∧ V398 < 584.15 ∧ V403 < 479.08 ∧ 409.61 < V407 < 597.98 ∧ V410 < 495.16 ∧ 426.11 < V418 ∧ V421 < 494.04 ∧ 437.87 < V422 < 515.79 ∧ 456.67 < V425 ∧ 445.49 < V426 < 531.73 ∧ 439.56 < V427 ∧ 467.16 < V430 ∧ 413.39 < V433 < 566.11 ∧ V438 < 616.80 ∧ 453.33 < V440 < 516.65 ∧ V446 < 481.01 ∧ 296.02 < V456 < 670.18 ∧ 431.47 < V461 ∧ V463 < 578.26 ∧ 381.70 < V464 < 582.38 ∧ 445.54 < V466 < 551.48 ∧ 434.22 < V468 ∧ 437.00 < V469 < 536.18 ∧ V472 < 491.52 ∧ 447.42 < V478 < 542.20 ∧ 397.77 < V479 < 604.92 ∧ 424.44 < V481 < 539.42 ∧ V491 < 535.34 ∧ 151.85 < V494 < 754.93 ∧ 411.80 < V495 ∧ V497 < 494.76
