Rule 0 with 3.59 for class 0 with likelihood 77.50%: 388.64 < V2 ∧ 385.28 < V3 < 632.83 ∧ 461.69 < V4 ∧ V5 < 629.60 ∧ 440.57 < V9 < 537.90 ∧ V11 < 570.88 ∧ 399.76 < V14 < 593.94 ∧ 423.91 < V19 ∧ 447.54 < V20 ∧ 439.58 < V22 ∧ 449.02 < V24 < 510.94 ∧ V31 < 499.96 ∧ V32 < 594.23 ∧ 415.44 < V35 < 546.39 ∧ V37 < 514.74 ∧ 401.09 < V38 < 547.03 ∧ V40 < 480.13 ∧ 409.80 < V46 < 559.62 ∧ V50 < 550.58 ∧ 397.22 < V52 < 598.80 ∧ 409.26 < V55 ∧ 443.76 < V56 ∧ 349.35 < V57 < 566.51 ∧ 463.58 < V62 ∧ 378.49 < V63 < 607.25 ∧ 235.77 < V65 < 707.64 ∧ V67 < 603.26 ∧ 420.05 < V68 ∧ 455.67 < V70 ∧ 436.86 < V72 < 517.71 ∧ V73 < 550.10 ∧ 448.36 < V77 < 508.12 ∧ 401.52 < V79 < 620.29 ∧ 456.50 < V89 ∧ 401.44 < V90 < 630.76 ∧ V91 < 477.29 ∧ 402.51 < V96 < 589.19 ∧ 459.76 < V101 < 507.55 ∧ 465.13 < V103 ∧ 448.58 < V110 ∧ V115 < 577.38 ∧ 420.30 < V120 < 567.23 ∧ 469.99 < V121 < 483.14 ∧ 410.17 < V126 ∧ 442.46 < V127 ∧ V128 < 558.48 ∧ 459.56 < V129 < 494.09 ∧ 425.23 < V132 < 558.03 ∧ V136 < 627.50 ∧ V143 < 510.60 ∧ 457.09 < V144 < 508.82 ∧ V146 < 550.71 ∧ 465.96 < V149 < 491.58 ∧ 472.85 < V155 < 480.20 ∧ V157 < 528.06 ∧ 420.19 < V158 < 553.83 ∧ V159 < 570.96 ∧ V167 < 480.03 ∧ 397.66 < V170 ∧ 439.36 < V175 < 527.64 ∧ 386.84 < V180 < 630.50 ∧ V184 < 520.14 ∧ V189 < 638.62 ∧ V190 < 491.61 ∧ V191 < 542.84 ∧ 460.94 < V196 ∧ V209 < 520.00 ∧ V210 < 547.69 ∧ V211 < 534.85 ∧ V215 < 513.69 ∧ 382.86 < V216 < 622.56 ∧ 456.24 < V218 < 515.76 ∧ 432.38 < V219 < 577.01 ∧ 457.35 < V220 < 518.75 ∧ 381.57 < V221 < 564.15 ∧ 426.74 < V226 < 565.60 ∧ 428.48 < V227 < 537.60 ∧ 431.92 < V231 < 522.91 ∧ 442.17 < V233 < 522.80 ∧ V234 < 548.55 ∧ 444.05 < V236 < 565.03 ∧ 439.52 < V237 ∧ V240 < 492.14 ∧ 407.25 < V241 < 588.65 ∧ V244 < 518.11 ∧ V246 < 606.02 ∧ V247 < 569.72 ∧ 457.03 < V249 ∧ 399.43 < V252 < 575.07 ∧ 429.23 < V254 < 624.62 ∧ 460.24 < V260 ∧ 444.28 < V261 < 532.92 ∧ 463.27 < V262 ∧ V267 < 621.09 ∧ 450.59 < V268 ∧ V269 < 579.03 ∧ 446.84 < V270 ∧ 391.16 < V274 ∧ V275 < 521.60 ∧ V276 < 514.44 ∧ 467.66 < V289 ∧ 455.25 < V290 < 563.87 ∧ V295 < 605.77 ∧ 394.33 < V296 < 592.06 ∧ V302 < 528.69 ∧ 391.54 < V305 ∧ V308 < 505.91 ∧ 427.11 < V313 < 590.66 ∧ V316 < 573.57 ∧ 412.64 < V320 ∧ 438.81 < V323 < 552.29 ∧ 468.25 < V326 ∧ 411.29 < V327 < 549.22 ∧ 406.51 < V328 < 560.49 ∧ V337 < 742.01 ∧ 377.47 < V338 ∧ 267.35 < V339 < 769.26 ∧ 381.90 < V340 < 610.66 ∧ 420.97 < V344 ∧ 461.85 < V347 < 501.79 ∧ V349 < 545.30 ∧ V350 < 591.41 ∧ 459.41 < V351 < 504.19 ∧ 423.40 < V364 ∧ V366 < 606.39 ∧ V369 < 521.14 ∧ V375 < 576.84 ∧ V378 < 537.24 ∧ V383 < 618.16 ∧ 448.16 < V384 < 523.97 ∧ 471.85 < V388 < 482.30 ∧ V389 < 545.44 ∧ V390 < 588.70 ∧ 394.82 < V394 ∧ 463.64 < V400 ∧ V401 < 488.58 ∧ 474.73 < V405 ∧ 351.35 < V407 ∧ 419.12 < V409 < 555.23 ∧ 454.76 < V410 ∧ V412 < 607.41 ∧ 440.15 < V414 < 540.40 ∧ V425 < 508.57 ∧ V427 < 542.26 ∧ V428 < 605.91 ∧ V432 < 589.43 ∧ V434 < 639.27 ∧ 401.26 < V436 < 630.36 ∧ 405.16 < V438 ∧ V439 < 566.07 ∧ 450.63 < V440 < 514.37 ∧ 423.29 < V442 < 536.01 ∧ 356.76 < V443 < 693.53 ∧ V449 < 586.15 ∧ V451 < 528.07 ∧ 463.84 < V455 < 500.87 ∧ 391.31 < V461 < 593.98 ∧ 403.88 < V462 < 550.59 ∧ V469 < 543.62 ∧ 420.33 < V473 < 589.44 ∧ 473.28 < V474 < 482.46 ∧ 459.13 < V475 < 499.97 ∧ 444.90 < V477 < 527.32 ∧ 404.23 < V482 ∧ V484 < 601.42 ∧ 466.73 < V492 < 492.65 ∧ 397.97 < V496 < 624.95
Rule 2 with 2.64 for class 1 with likelihood 79.69%: 465.49 < V6 < 492.84 ∧ 364.30 < V7 ∧ 460.55 < V10 ∧ 404.75 < V11 ∧ 422.61 < V12 ∧ 444.04 < V21 < 520.34 ∧ 460.17 < V23 < 495.77 ∧ 385.14 < V25 < 622.59 ∧ 454.20 < V28 < 522.38 ∧ V30 < 554.21 ∧ 366.49 < V34 < 606.58 ∧ V36 < 587.25 ∧ 457.40 < V37 ∧ 397.80 < V42 ∧ 439.94 < V44 < 530.53 ∧ 436.58 < V45 ∧ 467.45 < V54 < 497.25 ∧ 385.50 < V58 < 583.52 ∧ 433.05 < V61 < 550.99 ∧ 410.72 < V66 < 590.21 ∧ 396.72 < V67 ∧ 429.59 < V73 ∧ V74 < 579.55 ∧ 460.20 < V75 < 503.06 ∧ 381.16 < V76 < 626.30 ∧ 413.48 < V78 < 572.19 ∧ V85 < 607.17 ∧ V87 < 487.26 ∧ V88 < 549.36 ∧ 474.72 < V91 ∧ V110 < 506.93 ∧ 406.71 < V111 < 588.12 ∧ 453.41 < V113 < 497.23 ∧ 434.31 < V119 < 577.68 ∧ V126 < 577.48 ∧ V139 < 497.26 ∧ 471.69 < V147 ∧ 457.90 < V152 < 518.82 ∧ 461.70 < V153 < 506.25 ∧ 396.25 < V161 < 548.18 ∧ 444.67 < V163 < 501.72 ∧ 415.66 < V165 < 614.35 ∧ 468.73 < V168 < 490.83 ∧ 364.39 < V171 < 623.87 ∧ 399.10 < V173 ∧ V176 < 579.18 ∧ 370.58 < V179 < 582.81 ∧ 368.58 < V187 ∧ 364.81 < V195 ∧ 468.31 < V197 ∧ 421.95 < V205 ∧ 471.23 < V206 < 479.19 ∧ V207 < 609.75 ∧ 444.79 < V209 ∧ 454.58 < V211 ∧ 410.78 < V213 < 556.01 ∧ V217 < 609.04 ∧ 416.49 < V223 ∧ 471.64 < V228 < 482.22 ∧ 474.74 < V229 ∧ 471.24 < V248 ∧ 421.93 < V251 ∧ 375.94 < V257 < 615.52 ∧ V260 < 508.55 ∧ 449.64 < V263 < 540.32 ∧ 442.54 < V271 < 530.44 ∧ 392.77 < V273 ∧ 474.75 < V277 ∧ V278 < 571.17 ∧ 433.86 < V279 < 556.38 ∧ V280 < 580.07 ∧ V281 < 481.06 ∧ 375.97 < V285 < 588.24 ∧ 383.03 < V286 < 594.24 ∧ V287 < 536.02 ∧ 430.86 < V300 < 546.97 ∧ 431.81 < V304 ∧ V306 < 558.75 ∧ 421.07 < V309 < 579.54 ∧ 391.85 < V314 < 583.31 ∧ 463.06 < V318 < 505.61 ∧ 346.83 < V319 < 580.52 ∧ 447.03 < V321 ∧ 458.60 < V324 < 496.70 ∧ 431.71 < V325 < 547.88 ∧ 401.83 < V330 < 640.10 ∧ 451.00 < V332 ∧ V334 < 559.04 ∧ 256.74 < V337 ∧ 400.76 < V343 < 571.79 ∧ 363.14 < V345 < 623.22 ∧ 457.38 < V346 < 510.47 ∧ V348 < 592.94 ∧ 387.33 < V352 < 590.96 ∧ 448.28 < V355 ∧ 380.83 < V357 < 622.71 ∧ 471.90 < V358 < 481.14 ∧ 375.60 < V360 < 606.56 ∧ 427.27 < V362 < 533.35 ∧ 420.69 < V367 < 557.83 ∧ V374 < 559.66 ∧ 385.93 < V376 < 583.70 ∧ 430.68 < V378 ∧ V379 < 638.48 ∧ V380 < 590.12 ∧ V392 < 595.16 ∧ 470.82 < V393 < 484.97 ∧ V394 < 582.86 ∧ V405 < 478.23 ∧ 419.21 < V418 ∧ 461.06 < V421 < 494.51 ∧ 439.64 < V422 < 517.36 ∧ 452.39 < V425 ∧ 467.20 < V430 ∧ 385.75 < V433 < 556.89 ∧ 449.75 < V437 < 503.53 ∧ V438 < 615.16 ∧ V446 < 481.18 ∧ 157.22 < V454 < 752.18 ∧ 336.83 < V456 < 693.67 ∧ 439.13 < V478 < 535.45 ∧ 377.12 < V479 < 580.85 ∧ 429.69 < V481 < 539.03 ∧ 421.00 < V484 ∧ V489 < 558.71 ∧ 399.98 < V495 < 588.74 ∧ V497 < 485.14 ∧ V500 < 579.46
Rule 3 with 1.47 for class 1 with likelihood 73.30%: 464.10 < V6 < 496.84 ∧ 363.45 < V7 < 606.95 ∧ 459.92 < V10 < 503.49 ∧ 383.13 < V11 ∧ 419.45 < V12 ∧ 443.66 < V17 < 504.93 ∧ 450.10 < V21 < 519.94 ∧ 458.41 < V23 < 494.06 ∧ 359.67 < V25 < 623.80 ∧ 451.37 < V28 < 520.62 ∧ V30 < 552.17 ∧ V34 < 580.65 ∧ V36 < 591.44 ∧ 461.99 < V37 ∧ 385.10 < V42 ∧ 444.85 < V44 < 514.01 ∧ 393.82 < V47 ∧ 469.59 < V54 < 496.93 ∧ 405.55 < V58 < 579.29 ∧ 431.71 < V61 < 531.59 ∧ 428.61 < V66 < 644.05 ∧ V70 < 489.48 ∧ 394.27 < V71 < 639.35 ∧ 432.40 < V73 ∧ 366.84 < V74 < 591.61 ∧ 465.05 < V75 < 503.46 ∧ 383.68 < V76 < 622.13 ∧ 411.77 < V78 < 569.22 ∧ 425.61 < V81 ∧ V83 < 589.52 ∧ V85 < 632.12 ∧ V87 < 492.08 ∧ 474.78 < V91 ∧ 419.44 < V100 ∧ V110 < 506.05 ∧ 407.44 < V111 < 577.19 ∧ 455.00 < V113 < 500.69 ∧ 399.40 < V115 ∧ 421.21 < V119 < 575.83 ∧ V126 < 597.66 ∧ 393.73 < V137 ∧ 457.98 < V139 < 496.88 ∧ 470.31 < V147 ∧ 354.11 < V151 ∧ 454.82 < V153 < 506.56 ∧ 437.51 < V159 ∧ 414.93 < V161 < 553.53 ∧ 452.70 < V163 < 511.64 ∧ 372.67 < V165 < 620.98 ∧ 470.42 < V168 < 490.92 ∧ 473.95 < V169 ∧ 386.27 < V171 ∧ 431.14 < V173 < 599.25 ∧ V178 < 498.62 ∧ 371.03 < V179 < 576.16 ∧ 369.07 < V187 < 615.35 ∧ 410.50 < V188 ∧ 439.30 < V193 < 542.82 ∧ 398.26 < V195 ∧ V199 < 480.07 ∧ 407.63 < V205 ∧ 471.85 < V206 < 479.08 ∧ V207 < 611.08 ∧ 444.65 < V209 ∧ 460.45 < V211 ∧ V217 < 590.93 ∧ V222 < 601.17 ∧ 427.08 < V223 ∧ 471.89 < V228 < 484.03 ∧ 474.80 < V229 ∧ 471.02 < V248 ∧ 416.54 < V251 ∧ V255 < 501.66 ∧ V256 < 583.86 ∧ 398.86 < V257 < 609.20 ∧ V260 < 515.92 ∧ 451.03 < V263 < 547.94 ∧ V264 < 564.78 ∧ 441.52 < V271 < 525.38 ∧ 362.36 < V273 < 575.57 ∧ 474.82 < V277 ∧ 434.27 < V279 < 543.63 ∧ V280 < 571.57 ∧ V281 < 480.05 ∧ 375.00 < V285 < 574.26 ∧ 391.31 < V286 < 566.05 ∧ V287 < 547.53 ∧ 377.76 < V295 ∧ 450.25 < V300 < 550.14 ∧ 470.43 < V303 ∧ 433.13 < V304 ∧ V306 < 553.11 ∧ 422.68 < V309 < 573.45 ∧ 397.09 < V314 < 577.75 ∧ V319 < 558.46 ∧ 453.73 < V321 ∧ 440.66 < V324 < 510.87 ∧ 407.42 < V330 < 612.82 ∧ 455.53 < V332 ∧ 384.03 < V334 < 573.43 ∧ 451.23 < V336 < 516.55 ∧ 403.64 < V343 < 561.67 ∧ 365.28 < V345 < 615.88 ∧ 465.34 < V346 < 507.42 ∧ V348 < 604.56 ∧ 394.43 < V352 < 576.15 ∧ 456.04 < V355 ∧ 386.56 < V357 < 639.61 ∧ 472.91 < V358 < 480.05 ∧ V360 < 609.33 ∧ 431.50 < V362 < 535.98 ∧ 423.19 < V367 < 558.35 ∧ V374 < 556.92 ∧ 398.39 < V379 < 631.01 ∧ 372.77 < V380 < 589.99 ∧ V392 < 600.80 ∧ V394 < 558.66 ∧ V398 < 599.95 ∧ V400 < 495.84 ∧ V410 < 492.88 ∧ 399.79 < V418 ∧ 394.86 < V419 < 632.30 ∧ V421 < 493.89 ∧ 437.17 < V422 < 515.55 ∧ 451.35 < V425 ∧ 451.89 < V427 ∧ 467.25 < V430 ∧ 409.05 < V433 < 566.52 ∧ 447.42 < V437 < 506.15 ∧ V438 < 612.76 ∧ 388.28 < V441 ∧ V445 < 542.80 ∧ V446 < 481.14 ∧ 459.68 < V448 ∧ 152.94 < V454 < 738.23 ∧ 300.94 < V456 < 674.16 ∧ 466.46 < V457 < 499.77 ∧ 440.04 < V478 < 530.31 ∧ 378.34 < V479 < 571.26 ∧ 432.36 < V481 < 540.76 ∧ 439.32 < V484 ∧ 407.72 < V489 < 563.25 ∧ 452.81 < V490 < 512.81 ∧ 419.96 < V495 < 586.32 ∧ V497 < 491.35
Rule 4 with 1.32 for class 1 with likelihood 71.27%: 460.58 < V6 < 492.28 ∧ 368.53 < V7 < 605.77 ∧ 460.94 < V10 < 504.44 ∧ 399.41 < V11 ∧ 412.87 < V12 ∧ 442.80 < V17 < 511.79 ∧ 448.64 < V21 < 520.05 ∧ 459.12 < V23 < 495.99 ∧ 387.56 < V25 < 622.19 ∧ 448.88 < V28 < 520.16 ∧ V30 < 549.50 ∧ V36 < 596.02 ∧ 451.97 < V37 ∧ 388.67 < V42 ∧ 439.05 < V44 < 519.23 ∧ 429.42 < V45 ∧ 471.19 < V54 < 496.54 ∧ 417.02 < V58 < 576.19 ∧ 428.43 < V61 < 546.44 ∧ 415.18 < V66 ∧ 403.15 < V67 ∧ 361.68 < V74 < 603.24 ∧ 461.22 < V75 < 503.53 ∧ 369.68 < V76 < 622.64 ∧ 412.55 < V78 < 566.96 ∧ 428.40 < V81 ∧ V83 < 596.30 ∧ V85 < 605.14 ∧ V87 < 490.35 ∧ 474.74 < V91 ∧ V110 < 505.14 ∧ 456.11 < V113 < 501.53 ∧ 385.41 < V115 ∧ 407.14 < V119 < 546.64 ∧ V124 < 597.11 ∧ 397.44 < V137 ∧ 458.72 < V139 < 493.50 ∧ V140 < 516.72 ∧ 471.29 < V147 ∧ 451.28 < V153 < 506.98 ∧ 312.06 < V154 < 720.98 ∧ 421.04 < V161 < 531.00 ∧ 449.61 < V163 < 507.80 ∧ 376.61 < V165 < 633.37 ∧ 467.32 < V168 < 491.28 ∧ 376.06 < V171 ∧ V176 < 562.57 ∧ 370.22 < V179 < 574.47 ∧ 405.66 < V187 < 622.63 ∧ 410.45 < V188 < 581.18 ∧ 381.49 < V195 ∧ 465.40 < V197 ∧ V199 < 480.12 ∧ 394.29 < V205 ∧ 471.37 < V206 < 479.13 ∧ V207 < 611.67 ∧ 435.17 < V209 ∧ 460.14 < V211 ∧ 415.10 < V213 < 562.11 ∧ V217 < 590.57 ∧ V222 < 618.69 ∧ 416.69 < V223 ∧ 471.80 < V228 < 483.11 ∧ 473.91 < V229 ∧ 400.96 < V245 < 560.14 ∧ 410.45 < V251 ∧ 432.62 < V257 < 616.84 ∧ V260 < 510.30 ∧ 439.26 < V263 < 544.74 ∧ 412.78 < V264 < 547.17 ∧ V270 < 573.12 ∧ 443.02 < V271 < 530.17 ∧ 384.33 < V273 ∧ V274 < 623.91 ∧ 474.76 < V277 < 477.28 ∧ 432.93 < V279 < 538.88 ∧ V280 < 574.62 ∧ V281 < 480.12 ∧ 395.36 < V285 < 584.17 ∧ V287 < 548.42 ∧ 361.50 < V288 ∧ 458.12 < V294 < 495.41 ∧ 385.67 < V295 ∧ 437.54 < V300 < 551.70 ∧ 467.20 < V303 ∧ 429.54 < V304 ∧ V306 < 562.14 ∧ 435.02 < V309 < 565.43 ∧ 440.41 < V312 ∧ 462.51 < V318 < 503.20 ∧ V320 < 632.17 ∧ 450.01 < V321 ∧ 456.33 < V324 < 503.44 ∧ 415.88 < V330 < 614.59 ∧ 460.92 < V332 ∧ V334 < 557.83 ∧ 453.82 < V336 < 520.52 ∧ 245.71 < V337 ∧ 410.66 < V343 < 587.91 ∧ 402.61 < V345 < 624.08 ∧ 457.85 < V346 < 506.95 ∧ V348 < 590.80 ∧ 370.38 < V352 < 581.70 ∧ 455.51 < V355 ∧ 389.80 < V357 < 624.90 ∧ 472.90 < V358 < 480.15 ∧ V360 < 604.61 ∧ 428.15 < V362 < 532.56 ∧ 419.24 < V367 < 557.55 ∧ 372.60 < V390 ∧ 472.01 < V393 < 484.63 ∧ V400 < 495.17 ∧ V410 < 496.24 ∧ 415.78 < V418 ∧ V421 < 490.88 ∧ 433.76 < V422 < 516.50 ∧ 456.30 < V425 ∧ 439.63 < V427 ∧ 445.93 < V437 < 497.37 ∧ V438 < 613.08 ∧ V445 < 552.87 ∧ V446 < 481.14 ∧ 458.53 < V448 ∧ 149.61 < V454 < 585.90 ∧ 335.56 < V456 < 681.35 ∧ 466.53 < V457 < 493.48 ∧ 443.97 < V478 < 536.67 ∧ 376.59 < V479 < 573.25 ∧ 429.31 < V481 < 533.69 ∧ V491 < 527.56 ∧ 405.85 < V495 < 580.92 ∧ 460.85 < V497 < 491.21 ∧ 424.14 < V500 < 575.47
Rule 1 with 1.00 for class 0 with likelihood 55.63%: 400.26 < V3 < 631.34 ∧ 361.33 < V5 < 584.48 ∧ 443.73 < V9 < 535.54 ∧ V11 < 580.57 ∧ 375.92 < V14 < 580.36 ∧ 435.00 < V19 ∧ 449.77 < V20 ∧ 442.25 < V22 ∧ 453.89 < V24 < 505.33 ∧ V26 < 572.99 ∧ V31 < 506.50 ∧ 428.74 < V32 < 595.31 ∧ 388.57 < V36 ∧ V37 < 509.56 ∧ 422.21 < V38 < 558.64 ∧ V40 < 479.94 ∧ V50 < 536.81 ∧ 435.61 < V55 < 579.08 ∧ 369.77 < V57 < 616.73 ∧ 406.70 < V59 < 634.64 ∧ 466.25 < V62 ∧ V63 < 592.78 ∧ V67 < 581.75 ∧ 426.41 < V68 ∧ 459.65 < V70 ∧ 445.86 < V77 < 501.94 ∧ 416.18 < V79 < 615.87 ∧ 456.31 < V89 < 493.56 ∧ 397.19 < V90 < 615.57 ∧ V91 < 477.21 ∧ 411.05 < V96 < 574.63 ∧ 461.41 < V101 < 502.70 ∧ 467.99 < V103 ∧ 447.93 < V104 ∧ V114 < 561.27 ∧ V115 < 567.85 ∧ 432.98 < V120 < 561.26 ∧ 469.25 < V121 < 481.85 ∧ 410.52 < V126 ∧ 452.74 < V127 ∧ V128 < 554.09 ∧ V129 < 498.51 ∧ 416.27 < V132 < 541.25 ∧ 465.87 < V134 ∧ V136 < 612.28 ∧ V143 < 508.14 ∧ 458.45 < V144 < 509.85 ∧ 468.20 < V149 < 491.51 ∧ 473.20 < V155 < 480.95 ∧ V157 < 543.52 ∧ V167 < 479.44 ∧ 404.09 < V170 ∧ 443.28 < V175 ∧ 397.24 < V180 < 612.73 ∧ V189 < 599.67 ∧ V191 < 544.45 ∧ 436.88 < V210 < 526.36 ∧ 399.31 < V216 < 609.51 ∧ 455.97 < V218 < 507.00 ∧ 457.53 < V220 < 506.18 ∧ V226 < 568.12 ∧ 456.62 < V227 < 531.80 ∧ 440.66 < V233 < 519.62 ∧ V234 < 542.67 ∧ 449.52 < V236 < 554.88 ∧ 445.72 < V237 ∧ V240 < 488.59 ∧ 416.37 < V241 < 565.71 ∧ V244 < 505.69 ∧ V246 < 563.51 ∧ 460.97 < V249 ∧ V253 < 488.59 ∧ 431.90 < V254 < 604.94 ∧ 451.40 < V256 ∧ 461.16 < V261 < 532.91 ∧ 463.72 < V262 ∧ 459.41 < V265 ∧ V267 < 618.21 ∧ 453.49 < V268 ∧ V269 < 569.00 ∧ 436.12 < V270 ∧ 380.96 < V274 ∧ V275 < 511.48 ∧ V276 < 511.13 ∧ V288 < 589.50 ∧ 471.16 < V289 ∧ 437.73 < V290 < 549.68 ∧ V302 < 524.42 ∧ V308 < 501.99 ∧ 412.50 < V310 < 544.55 ∧ 406.35 < V313 < 596.36 ∧ V316 < 571.62 ∧ 396.31 < V320 ∧ 445.81 < V323 < 539.73 ∧ 417.36 < V327 < 551.99 ∧ 423.27 < V328 < 554.05 ∧ 313.67 < V339 < 679.49 ∧ 403.39 < V340 < 610.30 ∧ 448.20 < V344 ∧ V347 < 497.50 ∧ V349 < 533.52 ∧ V350 < 581.06 ∧ 463.90 < V351 < 504.71 ∧ 426.28 < V364 < 568.72 ∧ 360.78 < V372 < 604.76 ∧ V373 < 541.41 ∧ V378 < 525.92 ∧ 466.83 < V381 < 494.75 ∧ V383 < 586.47 ∧ 443.60 < V384 < 518.70 ∧ 472.02 < V388 < 481.39 ∧ V389 < 545.17 ∧ V390 < 593.97 ∧ 466.33 < V391 ∧ 409.05 < V394 ∧ 473.00 < V403 < 479.12 ∧ 474.88 < V405 ∧ 404.74 < V409 < 544.53 ∧ 456.42 < V410 ∧ V412 < 586.28 ∧ 447.09 < V414 < 540.04 ∧ 397.13 < V416 ∧ 444.51 < V417 < 516.51 ∧ V424 < 477.17 ∧ V428 < 589.23 ∧ V432 < 589.20 ∧ V434 < 667.93 ∧ 394.53 < V436 < 643.59 ∧ V439 < 568.88 ∧ 399.12 < V443 < 679.87 ∧ V451 < 532.77 ∧ 444.08 < V453 ∧ 464.46 < V455 < 500.30 ∧ 404.41 < V461 < 570.01 ∧ V462 < 530.83 ∧ V468 < 621.32 ∧ V469 < 538.53 ∧ 431.50 < V473 < 575.40 ∧ 473.01 < V474 ∧ 461.88 < V475 < 498.64 ∧ 438.75 < V477 < 527.63 ∧ 407.04 < V482 ∧ V484 < 595.31 ∧ 436.72 < V491 ∧ 466.18 < V492 < 491.79 ∧ 407.80 < V496 < 626.70
