Rule 3 with 4.97 for class 0 with likelihood 84.73%: 392.65 < V2 < 575.21 ∧ 442.29 < V9 < 534.75 ∧ V12 < 588.39 ∧ 376.58 < V14 < 582.60 ∧ 423.42 < V18 < 544.62 ∧ 449.23 < V21 ∧ 441.12 < V24 < 510.86 ∧ 427.87 < V27 < 571.00 ∧ 398.29 < V32 < 605.07 ∧ 391.62 < V33 < 600.16 ∧ V38 < 545.19 ∧ V39 < 489.53 ∧ V40 < 480.03 ∧ V45 < 588.25 ∧ 408.79 < V46 < 558.45 ∧ V52 < 584.48 ∧ 412.22 < V57 < 619.69 ∧ 465.61 < V62 < 499.12 ∧ 408.84 < V63 < 607.49 ∧ 460.91 < V64 ∧ 419.35 < V68 < 562.28 ∧ 452.07 < V72 < 524.05 ∧ 377.94 < V74 ∧ 448.45 < V77 < 510.29 ∧ 393.87 < V79 < 610.48 ∧ 394.81 < V82 < 622.76 ∧ V84 < 524.19 ∧ 456.72 < V89 < 495.70 ∧ 389.32 < V90 < 617.89 ∧ 409.08 < V96 < 591.67 ∧ 452.42 < V101 < 506.04 ∧ V107 < 571.67 ∧ 426.25 < V116 < 539.02 ∧ 419.59 < V120 ∧ 437.88 < V126 ∧ 466.34 < V134 ∧ 422.61 < V135 ∧ 465.16 < V139 ∧ 390.44 < V142 < 609.90 ∧ 447.18 < V143 < 507.29 ∧ 457.23 < V144 < 508.83 ∧ 468.02 < V149 < 490.49 ∧ V157 < 528.92 ∧ V164 < 495.95 ∧ 428.93 < V166 ∧ V167 < 480.17 ∧ 392.53 < V170 ∧ V171 < 615.77 ∧ V174 < 480.22 ∧ 438.89 < V175 < 518.83 ∧ 371.07 < V189 < 633.01 ∧ V190 < 491.43 ∧ V201 < 546.48 ∧ V203 < 544.89 ∧ 472.85 < V206 ∧ 412.48 < V207 ∧ 398.89 < V214 < 584.57 ∧ 392.56 < V216 < 638.03 ∧ V219 < 570.64 ∧ 400.41 < V221 < 560.36 ∧ V224 < 599.32 ∧ 428.21 < V226 ∧ 434.73 < V231 < 524.81 ∧ 446.93 < V233 ∧ 443.25 < V236 < 557.89 ∧ 414.07 < V241 ∧ 417.57 < V246 < 632.16 ∧ 462.11 < V249 < 514.31 ∧ 417.88 < V252 < 588.89 ∧ 410.28 < V254 < 633.26 ∧ 402.99 < V256 ∧ 456.99 < V260 ∧ 452.89 < V265 < 503.05 ∧ 447.82 < V270 ∧ V275 < 521.92 ∧ V283 < 525.58 ∧ 473.75 < V284 < 480.05 ∧ 468.09 < V289 < 490.36 ∧ 436.08 < V290 < 557.49 ∧ V295 < 572.74 ∧ 422.81 < V299 < 568.29 ∧ 352.06 < V301 < 569.28 ∧ V302 < 531.35 ∧ 389.18 < V305 ∧ V310 < 541.42 ∧ 411.71 < V313 < 609.26 ∧ 434.02 < V314 < 597.10 ∧ V315 < 513.06 ∧ V316 < 560.99 ∧ 399.29 < V320 < 639.46 ∧ V323 < 555.06 ∧ 420.33 < V327 < 550.79 ∧ V332 < 515.34 ∧ 389.61 < V335 ∧ 452.61 < V339 < 619.46 ∧ 415.34 < V340 < 631.27 ∧ V341 < 595.86 ∧ 420.02 < V342 < 566.16 ∧ 414.25 < V344 ∧ V347 < 500.83 ∧ 387.51 < V348 ∧ 413.40 < V349 < 546.25 ∧ 463.37 < V365 < 493.69 ∧ V384 < 524.15 ∧ V388 < 483.17 ∧ 364.01 < V407 < 594.54 ∧ 399.62 < V409 < 548.59 ∧ V414 < 535.79 ∧ 446.12 < V417 < 513.04 ∧ V424 < 477.36 ∧ V432 < 591.93 ∧ V434 < 659.93 ∧ 430.19 < V435 < 541.54 ∧ 404.61 < V436 < 624.36 ∧ 434.81 < V453 ∧ 462.46 < V455 < 500.29 ∧ 387.27 < V458 < 558.09 ∧ 395.07 < V461 < 596.31 ∧ V462 < 549.49 ∧ 455.85 < V467 < 508.08 ∧ V468 < 640.32 ∧ 351.63 < V473 < 557.03 ∧ 472.80 < V474 < 482.93 ∧ 458.98 < V475 < 499.27 ∧ 458.84 < V480 < 509.15 ∧ 403.53 < V482 ∧ 443.41 < V483 < 504.90 ∧ 388.43 < V484 < 605.81 ∧ V485 < 600.99 ∧ 428.41 < V493 ∧ 389.90 < V496 < 633.41
Rule 6 with 3.58 for class 1 with likelihood 84.17%: V1 < 499.61 ∧ 416.12 < V3 < 622.79 ∧ 366.17 < V7 < 601.77 ∧ V8 < 480.20 ∧ 460.34 < V10 < 493.26 ∧ 404.92 < V11 ∧ 444.31 < V15 < 522.39 ∧ V20 < 502.95 ∧ V23 < 496.04 ∧ 380.77 < V25 < 617.54 ∧ 463.12 < V28 < 522.46 ∧ 411.69 < V34 < 601.48 ∧ V36 < 584.01 ∧ 466.85 < V39 ∧ 413.83 < V43 < 529.36 ∧ 403.10 < V47 ∧ 471.01 < V54 < 497.90 ∧ 384.02 < V58 < 582.64 ∧ 421.76 < V61 < 532.72 ∧ 425.51 < V66 < 599.68 ∧ 389.25 < V71 < 641.02 ∧ V74 < 603.06 ∧ 462.37 < V75 < 503.99 ∧ 375.78 < V76 < 604.41 ∧ 408.34 < V78 < 567.62 ∧ V83 < 596.34 ∧ 443.51 < V84 ∧ 410.09 < V85 < 601.78 ∧ 465.50 < V87 < 491.53 ∧ 474.71 < V91 ∧ 419.54 < V100 ∧ 453.77 < V102 ∧ V110 < 507.22 ∧ 411.44 < V111 ∧ 377.91 < V112 ∧ 426.21 < V114 < 551.68 ∧ 369.09 < V115 ∧ 401.63 < V119 < 557.09 ∧ V124 < 592.98 ∧ 346.38 < V130 < 598.82 ∧ 411.02 < V131 < 597.81 ∧ V134 < 490.43 ∧ V139 < 490.00 ∧ V150 < 604.40 ∧ 351.43 < V151 < 625.14 ∧ 449.99 < V152 < 513.90 ∧ 453.44 < V153 < 509.65 ∧ 347.69 < V154 < 712.16 ∧ 394.73 < V161 < 524.46 ∧ 448.68 < V162 < 501.74 ∧ 397.60 < V165 < 614.96 ∧ 471.81 < V167 ∧ 467.56 < V168 < 489.86 ∧ V170 < 630.58 ∧ 413.29 < V173 ∧ V178 < 498.75 ∧ 370.77 < V179 < 581.43 ∧ 411.82 < V184 < 548.49 ∧ 439.22 < V195 < 645.32 ∧ V198 < 508.75 ∧ 440.06 < V201 ∧ V202 < 537.52 ∧ 438.11 < V205 ∧ 469.01 < V208 ∧ 440.11 < V209 ∧ 419.99 < V213 ∧ V217 < 598.65 ∧ 471.70 < V228 < 483.23 ∧ 474.76 < V229 ∧ 454.69 < V235 < 534.71 ∧ 417.11 < V250 ∧ 421.00 < V251 ∧ 374.11 < V257 < 645.52 ∧ V260 < 514.74 ∧ 438.59 < V263 < 548.73 ∧ 444.50 < V266 ∧ V268 < 518.19 ∧ 443.18 < V271 < 527.35 ∧ 474.75 < V277 ∧ V279 < 541.91 ∧ 395.08 < V280 < 558.67 ∧ 473.97 < V281 < 480.19 ∧ 394.88 < V287 < 545.93 ∧ 424.60 < V292 < 572.46 ∧ 461.76 < V293 ∧ V297 < 546.13 ∧ 407.10 < V298 < 611.52 ∧ 467.91 < V303 < 488.18 ∧ 438.47 < V304 ∧ 397.98 < V306 < 555.87 ∧ V307 < 518.22 ∧ 430.38 < V309 < 573.03 ∧ 467.20 < V318 < 502.80 ∧ 464.03 < V326 < 491.90 ∧ 416.58 < V330 < 622.77 ∧ 456.60 < V332 ∧ V334 < 568.20 ∧ 319.12 < V337 ∧ 421.05 < V338 < 597.36 ∧ 405.91 < V343 < 580.79 ∧ V345 < 617.04 ∧ 458.23 < V346 < 507.19 ∧ 445.50 < V350 < 611.01 ∧ 395.74 < V352 < 580.76 ∧ 384.51 < V353 < 604.06 ∧ 442.73 < V355 ∧ 434.40 < V356 < 523.70 ∧ 395.69 < V357 < 574.20 ∧ 472.98 < V358 < 481.43 ∧ 374.12 < V360 < 601.79 ∧ 429.39 < V362 < 534.38 ∧ 421.64 < V367 < 562.12 ∧ 411.59 < V374 < 554.07 ∧ 474.46 < V388 ∧ 469.61 < V393 < 484.78 ∧ 428.46 < V396 ∧ 401.37 < V406 ∧ 411.70 < V418 ∧ V421 < 493.34 ∧ 437.15 < V422 < 511.83 ∧ 474.73 < V424 ∧ 445.15 < V426 ∧ 443.72 < V427 ∧ 455.02 < V437 < 507.64 ∧ V438 < 631.97 ∧ 374.52 < V441 ∧ 472.71 < V446 < 481.22 ∧ 457.33 < V448 < 524.59 ∧ 189.98 < V454 < 767.40 ∧ 319.99 < V456 ∧ 455.06 < V466 < 541.45 ∧ 421.00 < V468 ∧ 439.73 < V478 < 536.41 ∧ 386.97 < V479 < 569.75 ∧ 430.18 < V481 < 528.32 ∧ V482 < 573.79 ∧ V491 < 538.72 ∧ 384.39 < V495 < 583.51
Rule 8 with 2.85 for class 1 with likelihood 81.66%: 389.57 < V3 < 614.32 ∧ 368.82 < V7 < 592.31 ∧ 399.62 < V11 ∧ V20 < 501.49 ∧ V23 < 496.16 ∧ 361.58 < V25 < 635.43 ∧ 449.60 < V28 < 517.10 ∧ 372.65 < V34 < 587.16 ∧ V36 < 580.10 ∧ 467.10 < V39 ∧ 392.84 < V47 ∧ 394.48 < V48 ∧ 466.54 < V54 < 497.60 ∧ V56 < 546.45 ∧ 396.12 < V58 < 565.74 ∧ 432.91 < V61 < 527.25 ∧ 423.51 < V66 < 572.53 ∧ 389.37 < V71 < 641.51 ∧ V74 < 606.16 ∧ 461.89 < V75 < 500.42 ∧ 377.47 < V76 < 600.63 ∧ 443.83 < V84 ∧ 395.37 < V85 < 600.32 ∧ 461.32 < V87 < 491.18 ∧ 474.72 < V91 ∧ V98 < 545.62 ∧ 403.79 < V100 ∧ 453.79 < V102 ∧ V104 < 517.25 ∧ V110 < 501.13 ∧ 403.27 < V111 ∧ 354.41 < V112 ∧ 419.15 < V114 < 566.66 ∧ 380.84 < V115 ∧ 402.73 < V119 < 569.09 ∧ V124 < 597.03 ∧ V139 < 496.96 ∧ 369.02 < V151 < 622.55 ∧ 458.61 < V152 < 517.70 ∧ 449.71 < V153 < 507.55 ∧ 351.05 < V154 < 726.87 ∧ 398.21 < V161 < 554.52 ∧ V163 < 507.85 ∧ 409.56 < V165 < 603.31 ∧ 470.82 < V167 ∧ 468.07 < V168 < 491.14 ∧ 434.06 < V173 ∧ V178 < 498.45 ∧ 390.10 < V179 ∧ 402.13 < V181 < 576.25 ∧ 413.90 < V184 < 550.60 ∧ 471.40 < V197 ∧ 450.78 < V201 ∧ V202 < 545.29 ∧ 420.58 < V205 ∧ V207 < 617.15 ∧ 451.01 < V209 ∧ V217 < 594.61 ∧ 425.73 < V223 ∧ 471.74 < V228 < 483.96 ∧ 473.85 < V229 ∧ 430.92 < V232 ∧ V235 < 522.69 ∧ 471.02 < V248 < 487.27 ∧ 404.36 < V251 ∧ 387.17 < V257 < 641.13 ∧ V260 < 514.27 ∧ 448.63 < V263 < 544.89 ∧ 438.07 < V266 ∧ 435.72 < V268 < 523.74 ∧ V269 < 562.00 ∧ 439.29 < V271 < 519.03 ∧ 436.73 < V275 ∧ 474.80 < V277 ∧ 393.50 < V280 < 557.51 ∧ V281 < 480.14 ∧ 386.49 < V286 < 559.98 ∧ 400.09 < V287 < 561.94 ∧ V292 < 564.34 ∧ 439.05 < V293 ∧ V297 < 545.72 ∧ 416.21 < V298 < 585.42 ∧ 467.07 < V303 < 491.75 ∧ 438.69 < V304 ∧ 378.58 < V306 < 557.10 ∧ 411.70 < V309 < 556.55 ∧ 459.86 < V318 < 501.99 ∧ 358.57 < V319 < 563.74 ∧ V324 < 502.01 ∧ 463.56 < V326 < 497.26 ∧ 417.88 < V330 < 639.98 ∧ 456.21 < V332 ∧ 253.94 < V337 ∧ 411.49 < V343 < 576.39 ∧ 372.34 < V345 < 628.14 ∧ 458.90 < V346 < 505.05 ∧ 453.08 < V350 < 621.57 ∧ 395.24 < V352 < 576.86 ∧ 452.66 < V355 ∧ 435.97 < V356 < 515.70 ∧ 372.35 < V357 < 629.14 ∧ 471.82 < V358 < 480.28 ∧ 376.68 < V360 < 620.69 ∧ 427.53 < V362 < 542.76 ∧ 377.27 < V363 ∧ 423.59 < V367 < 558.29 ∧ 410.05 < V374 < 554.58 ∧ 466.95 < V377 < 505.01 ∧ V379 < 619.07 ∧ 418.63 < V383 ∧ V393 < 484.59 ∧ 426.72 < V396 ∧ 394.27 < V399 ∧ V405 < 478.26 ∧ 408.23 < V406 ∧ V410 < 496.73 ∧ 394.05 < V419 < 620.92 ∧ V421 < 497.03 ∧ 438.04 < V422 < 517.26 ∧ 474.72 < V424 ∧ 450.69 < V425 ∧ 445.92 < V426 ∧ 436.85 < V427 ∧ 468.83 < V430 ∧ 413.92 < V433 < 564.44 ∧ 453.30 < V437 < 503.51 ∧ V438 < 627.69 ∧ 376.04 < V441 < 585.01 ∧ 472.93 < V446 < 481.88 ∧ 453.84 < V448 < 524.34 ∧ 361.37 < V449 ∧ 144.45 < V454 < 700.40 ∧ 424.24 < V463 < 578.23 ∧ 445.40 < V466 < 557.69 ∧ 431.17 < V469 ∧ 344.41 < V470 < 555.85 ∧ 440.12 < V478 < 541.56 ∧ 397.45 < V479 < 581.57 ∧ 431.12 < V481 < 544.93 ∧ V491 < 532.49 ∧ 393.38 < V495 < 581.77
Rule 2 with 2.79 for class 0 with likelihood 77.11%: 397.17 < V2 < 574.69 ∧ 438.28 < V9 < 530.72 ∧ V12 < 583.59 ∧ 388.64 < V14 < 596.86 ∧ 415.98 < V18 < 574.97 ∧ 450.21 < V21 ∧ 441.62 < V24 < 509.94 ∧ 434.54 < V27 < 569.21 ∧ V31 < 492.98 ∧ 400.21 < V33 < 619.39 ∧ 415.91 < V35 < 551.91 ∧ V38 < 539.88 ∧ V40 < 480.21 ∧ V45 < 564.97 ∧ 424.73 < V46 < 536.95 ∧ 383.36 < V51 ∧ V52 < 594.60 ∧ 398.52 < V57 < 619.60 ∧ 469.17 < V62 < 500.32 ∧ V63 < 582.48 ∧ 448.38 < V77 < 506.32 ∧ 452.17 < V79 < 599.42 ∧ V82 < 623.89 ∧ V84 < 519.38 ∧ 463.08 < V89 < 499.31 ∧ 397.10 < V90 < 622.38 ∧ 421.21 < V92 < 568.08 ∧ 393.41 < V96 < 581.58 ∧ 457.20 < V101 < 498.92 ∧ 466.90 < V103 ∧ V107 < 560.16 ∧ 430.62 < V116 < 530.52 ∧ 422.85 < V120 ∧ 405.72 < V122 ∧ 415.82 < V126 ∧ V128 < 566.86 ∧ 450.59 < V133 ∧ 419.53 < V135 ∧ 462.62 < V139 ∧ 443.68 < V140 ∧ 397.24 < V142 < 588.95 ∧ V143 < 505.57 ∧ 458.17 < V144 < 508.73 ∧ V146 < 529.61 ∧ V147 < 490.66 ∧ 465.68 < V149 < 491.23 ∧ V157 < 527.60 ∧ V164 < 498.40 ∧ 418.92 < V166 ∧ V167 < 479.11 ∧ 400.63 < V170 ∧ V171 < 610.86 ∧ 396.26 < V172 < 636.74 ∧ V173 < 605.82 ∧ 473.59 < V174 < 480.13 ∧ 440.34 < V175 < 514.36 ∧ V187 < 601.32 ∧ 364.93 < V189 < 615.62 ∧ V191 < 545.96 ∧ 431.85 < V192 < 593.86 ∧ V197 < 491.26 ∧ V201 < 547.89 ∧ V203 < 537.92 ∧ 404.22 < V207 ∧ 432.95 < V210 < 531.93 ∧ 432.69 < V214 < 579.01 ∧ V215 < 516.92 ∧ 382.91 < V216 < 637.41 ∧ 451.00 < V218 < 513.92 ∧ 376.43 < V221 < 567.13 ∧ V224 < 561.47 ∧ V225 < 594.59 ∧ 423.81 < V226 ∧ 435.49 < V231 < 516.88 ∧ 439.70 < V233 ∧ 437.43 < V236 < 559.28 ∧ 440.06 < V237 ∧ V239 < 528.73 ∧ 417.09 < V241 ∧ 416.12 < V243 < 558.19 ∧ 421.13 < V246 < 627.51 ∧ 384.92 < V247 < 580.64 ∧ 456.80 < V249 < 512.17 ∧ 403.43 < V252 < 584.06 ∧ 424.35 < V254 < 626.74 ∧ 417.73 < V256 ∧ 458.93 < V260 ∧ V261 < 536.00 ∧ 453.91 < V265 < 502.51 ∧ V267 < 623.22 ∧ 456.27 < V270 ∧ 367.39 < V274 ∧ V275 < 520.85 ∧ V276 < 510.27 ∧ 472.80 < V284 < 480.12 ∧ 468.71 < V289 < 486.89 ∧ 435.25 < V290 < 556.46 ∧ V295 < 591.47 ∧ 424.84 < V299 < 570.09 ∧ 367.22 < V301 < 577.03 ∧ V302 < 526.38 ∧ V308 < 507.84 ∧ V310 < 539.85 ∧ 417.18 < V313 < 598.64 ∧ 412.68 < V314 < 592.83 ∧ V316 < 585.64 ∧ 413.69 < V320 ∧ 438.25 < V323 < 551.15 ∧ 408.95 < V327 < 549.62 ∧ 408.42 < V328 < 566.65 ∧ V332 < 513.43 ∧ 399.51 < V335 < 625.08 ∧ 295.85 < V339 < 772.60 ∧ 384.65 < V340 < 608.62 ∧ 400.79 < V341 < 619.68 ∧ 411.70 < V342 < 562.77 ∧ 425.63 < V344 ∧ V347 < 500.75 ∧ 379.31 < V348 ∧ 426.29 < V349 < 532.44 ∧ 422.23 < V364 < 562.97 ∧ 465.09 < V365 < 495.00 ∧ 464.51 < V381 < 496.98 ∧ V383 < 631.47 ∧ V384 < 524.60 ∧ 430.10 < V385 < 513.82 ∧ 443.55 < V387 < 560.50 ∧ V401 < 489.10 ∧ 396.90 < V402 ∧ 349.69 < V407 < 576.91 ∧ 413.87 < V409 < 559.45 ∧ 407.07 < V412 < 608.33 ∧ 400.27 < V413 ∧ V414 < 534.09 ∧ 451.88 < V417 < 506.72 ∧ V431 < 541.39 ∧ V432 < 589.90 ∧ V434 < 658.62 ∧ 427.80 < V435 < 541.76 ∧ 391.55 < V436 ∧ 306.64 < V443 < 748.64 ∧ 434.51 < V453 ∧ 463.12 < V455 < 500.25 ∧ 386.20 < V458 < 554.97 ∧ 398.56 < V461 < 603.35 ∧ 405.64 < V462 < 534.47 ∧ 434.08 < V465 ∧ 455.85 < V467 < 505.21 ∧ V468 < 631.18 ∧ V469 < 543.15 ∧ 411.59 < V473 < 578.04 ∧ 467.53 < V475 < 500.33 ∧ 401.34 < V482 ∧ 447.49 < V483 < 505.51 ∧ 390.30 < V484 < 603.02 ∧ V485 < 586.77 ∧ 388.55 < V496 < 628.55
Rule 9 with 2.79 for class 1 with likelihood 79.80%: V1 < 494.67 ∧ 370.51 < V7 < 597.38 ∧ V8 < 480.14 ∧ 456.01 < V10 < 492.61 ∧ 371.62 < V11 ∧ 412.67 < V12 ∧ V20 < 507.10 ∧ V23 < 494.74 ∧ 373.37 < V25 < 615.90 ∧ 448.04 < V28 < 518.19 ∧ 394.70 < V34 < 580.37 ∧ V36 < 584.36 ∧ 466.21 < V39 ∧ V42 < 606.96 ∧ 415.61 < V43 < 521.47 ∧ 406.45 < V47 ∧ 396.02 < V48 ∧ 465.04 < V54 < 497.30 ∧ 387.72 < V58 < 566.70 ∧ 415.97 < V61 < 534.47 ∧ 406.08 < V66 < 610.47 ∧ 389.78 < V71 < 649.43 ∧ V74 < 612.89 ∧ 462.84 < V75 < 503.40 ∧ 378.15 < V76 < 621.46 ∧ 412.15 < V78 < 562.84 ∧ 426.90 < V83 < 599.00 ∧ 445.50 < V84 ∧ 443.00 < V85 < 608.00 ∧ V87 < 492.97 ∧ 474.72 < V91 ∧ V98 < 536.41 ∧ 394.17 < V100 ∧ 453.94 < V102 < 510.19 ∧ V104 < 509.90 ∧ V105 < 597.37 ∧ V110 < 505.69 ∧ 410.60 < V111 ∧ 354.39 < V112 ∧ 414.86 < V114 < 557.74 ∧ 373.42 < V115 ∧ 403.85 < V119 < 570.95 ∧ V124 < 582.37 ∧ 346.89 < V130 < 596.90 ∧ V139 < 499.15 ∧ V150 < 576.12 ∧ 355.49 < V151 < 620.97 ∧ 455.03 < V152 < 514.19 ∧ 454.49 < V153 < 505.35 ∧ 338.77 < V154 < 706.65 ∧ 396.17 < V161 < 542.76 ∧ 364.73 < V165 < 610.37 ∧ 468.77 < V168 < 485.28 ∧ 403.50 < V173 ∧ V178 < 498.45 ∧ 371.48 < V179 < 572.92 ∧ 400.63 < V181 < 618.05 ∧ 413.44 < V184 < 550.70 ∧ 430.60 < V201 ∧ V202 < 530.10 ∧ 450.59 < V205 ∧ V207 < 616.35 ∧ 447.26 < V209 ∧ V217 < 604.37 ∧ 424.06 < V223 ∧ 471.82 < V228 < 484.17 ∧ 474.76 < V229 ∧ 445.02 < V232 ∧ V235 < 537.54 ∧ 407.26 < V251 ∧ 379.23 < V257 < 642.63 ∧ V260 < 515.27 ∧ 446.62 < V263 < 548.89 ∧ 444.01 < V266 ∧ 439.96 < V268 < 532.52 ∧ V269 < 573.61 ∧ 438.96 < V271 < 521.11 ∧ 354.09 < V273 ∧ 474.80 < V277 < 477.26 ∧ V279 < 539.63 ∧ 388.20 < V280 < 572.45 ∧ 473.76 < V281 < 480.12 ∧ 399.06 < V286 < 552.49 ∧ 396.81 < V287 < 554.92 ∧ 427.31 < V292 < 599.93 ∧ V294 < 496.06 ∧ V297 < 530.81 ∧ 391.28 < V298 < 613.44 ∧ 465.55 < V303 < 489.73 ∧ 430.01 < V304 ∧ 412.22 < V306 < 555.83 ∧ 444.24 < V309 < 572.98 ∧ 461.88 < V318 < 501.60 ∧ 351.66 < V319 < 580.87 ∧ 440.00 < V324 < 500.21 ∧ 433.58 < V325 < 542.14 ∧ 465.67 < V326 < 497.61 ∧ 447.44 < V330 < 638.95 ∧ V331 < 586.49 ∧ 407.13 < V343 < 588.62 ∧ 374.59 < V345 < 616.80 ∧ 458.98 < V346 < 505.96 ∧ 426.38 < V350 < 602.44 ∧ 369.12 < V352 < 589.30 ∧ 434.44 < V356 < 522.58 ∧ 372.38 < V357 < 598.15 ∧ 472.50 < V358 ∧ 368.37 < V360 < 623.36 ∧ 461.28 < V367 < 560.38 ∧ 412.28 < V374 < 554.88 ∧ 459.44 < V377 < 504.13 ∧ V379 < 633.37 ∧ V386 < 500.87 ∧ 473.86 < V388 ∧ 470.08 < V393 < 484.41 ∧ 424.78 < V396 ∧ 402.46 < V406 ∧ V410 < 496.09 ∧ 399.24 < V418 ∧ 406.31 < V419 < 649.69 ∧ V421 < 494.52 ∧ 439.18 < V422 < 518.52 ∧ 474.72 < V424 ∧ 465.82 < V425 ∧ 448.80 < V426 ∧ 437.37 < V427 ∧ 467.26 < V430 ∧ 392.31 < V433 < 543.43 ∧ 441.67 < V437 ∧ V438 < 628.52 ∧ 367.82 < V441 ∧ 472.62 < V446 < 482.02 ∧ 461.33 < V448 < 523.68 ∧ 361.81 < V449 ∧ 175.18 < V454 < 757.22 ∧ 332.95 < V456 ∧ 446.08 < V466 < 560.67 ∧ 427.91 < V469 ∧ 345.28 < V470 < 604.61 ∧ 443.23 < V478 < 531.72 ∧ 398.92 < V479 < 586.52 ∧ 425.97 < V481 < 540.13 ∧ V482 < 569.80 ∧ V491 < 538.09 ∧ 384.00 < V495 < 585.74
Rule 5 with 2.74 for class 1 with likelihood 80.88%: V1 < 496.87 ∧ 383.79 < V3 < 600.50 ∧ 364.41 < V7 < 600.31 ∧ V8 < 480.08 ∧ 403.92 < V11 ∧ V20 < 501.04 ∧ V23 < 494.30 ∧ 363.93 < V25 < 624.49 ∧ 449.05 < V28 < 520.52 ∧ 358.46 < V34 < 602.91 ∧ V36 < 590.08 ∧ 466.64 < V39 ∧ V42 < 592.77 ∧ V44 < 517.03 ∧ 407.83 < V47 ∧ 467.73 < V54 < 497.35 ∧ V56 < 543.53 ∧ 401.36 < V58 < 567.63 ∧ 418.47 < V61 < 541.19 ∧ 423.30 < V66 < 622.40 ∧ 387.69 < V71 < 648.51 ∧ V74 < 581.36 ∧ 463.47 < V75 < 503.24 ∧ 410.40 < V78 < 570.35 ∧ 382.41 < V85 < 604.36 ∧ V87 < 491.49 ∧ 474.71 < V91 ∧ 462.54 < V102 ∧ V110 < 506.02 ∧ 406.45 < V111 ∧ 374.35 < V112 ∧ 416.21 < V114 < 566.48 ∧ 369.24 < V115 ∧ 396.70 < V119 < 569.42 ∧ V124 < 600.80 ∧ V127 < 514.71 ∧ V139 < 493.33 ∧ 352.88 < V151 < 618.72 ∧ 446.25 < V152 < 511.75 ∧ 449.72 < V153 < 504.89 ∧ 306.23 < V154 < 709.68 ∧ 474.77 < V155 ∧ 420.76 < V161 < 550.55 ∧ 373.68 < V165 < 581.84 ∧ 470.86 < V167 ∧ 467.37 < V168 < 491.58 ∧ V170 < 617.96 ∧ 416.80 < V173 ∧ V178 < 498.64 ∧ 372.75 < V179 < 586.33 ∧ 410.99 < V184 < 549.89 ∧ 427.43 < V201 ∧ V202 < 545.39 ∧ 417.57 < V205 ∧ V207 < 576.88 ∧ 471.12 < V208 ∧ 451.96 < V215 ∧ V217 < 604.17 ∧ 411.48 < V223 ∧ 471.63 < V228 < 483.51 ∧ 474.76 < V229 ∧ V235 < 548.10 ∧ 422.09 < V250 ∧ 407.86 < V251 ∧ V256 < 592.24 ∧ 400.19 < V257 < 645.02 ∧ V260 < 520.42 ∧ 437.53 < V263 < 548.07 ∧ V264 < 547.68 ∧ 443.91 < V266 ∧ V268 < 513.79 ∧ 440.06 < V271 < 526.06 ∧ 436.56 < V275 ∧ 474.78 < V277 ∧ V279 < 543.02 ∧ 401.61 < V280 < 571.16 ∧ V281 < 480.18 ∧ 391.69 < V286 < 535.56 ∧ 397.52 < V287 < 550.04 ∧ 420.16 < V292 < 605.65 ∧ V297 < 543.77 ∧ 379.64 < V298 < 601.28 ∧ 465.99 < V303 < 489.25 ∧ 428.94 < V304 ∧ V306 < 559.28 ∧ 416.38 < V309 < 589.10 ∧ 462.68 < V318 < 503.02 ∧ V324 < 511.63 ∧ 421.62 < V330 < 620.57 ∧ 452.60 < V332 ∧ V334 < 579.57 ∧ 281.78 < V337 ∧ 400.96 < V343 < 584.77 ∧ 410.16 < V345 < 625.52 ∧ 461.95 < V346 < 507.56 ∧ V348 < 590.30 ∧ 440.97 < V350 < 627.01 ∧ 397.59 < V352 < 590.45 ∧ 442.10 < V355 ∧ 444.96 < V356 < 528.89 ∧ 386.43 < V357 < 602.43 ∧ 472.90 < V358 < 481.10 ∧ 372.45 < V360 < 624.14 ∧ 429.28 < V362 < 539.04 ∧ 421.42 < V374 < 564.76 ∧ V379 < 642.07 ∧ 472.78 < V388 ∧ V393 < 484.89 ∧ 426.39 < V396 ∧ V403 < 479.13 ∧ V405 < 478.24 ∧ 391.22 < V406 ∧ 397.51 < V418 ∧ V421 < 492.32 ∧ 433.14 < V422 < 518.39 ∧ 474.72 < V424 ∧ 449.30 < V425 ∧ 452.07 < V426 ∧ 442.75 < V427 ∧ 448.60 < V437 ∧ V438 < 618.40 ∧ 472.90 < V446 < 482.06 ∧ 454.91 < V448 < 526.78 ∧ 338.65 < V449 ∧ 139.44 < V454 < 594.39 ∧ 371.98 < V456 ∧ 440.09 < V466 < 556.00 ∧ 426.83 < V469 ∧ 440.46 < V478 < 534.33 ∧ 348.73 < V479 < 582.14 ∧ 426.22 < V481 < 530.52 ∧ V482 < 552.22 ∧ V491 < 544.46 ∧ 436.35 < V495 < 588.15
Rule 4 with 2.27 for class 0 with likelihood 69.92%: V5 < 631.94 ∧ 439.39 < V9 < 527.22 ∧ V11 < 580.76 ∧ V12 < 573.65 ∧ 387.51 < V14 < 579.62 ∧ 427.75 < V18 < 573.03 ∧ 453.24 < V21 ∧ 442.41 < V24 < 509.09 ∧ 435.28 < V27 < 536.29 ∧ 401.55 < V33 < 618.93 ∧ 411.69 < V35 < 553.20 ∧ V38 < 548.84 ∧ V40 < 480.17 ∧ 420.04 < V46 < 535.44 ∧ V52 < 625.85 ∧ 377.48 < V57 < 610.74 ∧ V59 < 620.37 ∧ 463.01 < V62 < 498.74 ∧ V63 < 584.65 ∧ 424.10 < V68 < 563.98 ∧ 454.53 < V70 ∧ 437.25 < V72 < 531.92 ∧ 448.93 < V77 < 506.11 ∧ 402.01 < V79 ∧ 433.46 < V82 < 630.76 ∧ V84 < 517.84 ∧ 460.66 < V89 < 495.43 ∧ 392.66 < V90 < 626.38 ∧ 449.19 < V92 < 569.72 ∧ 400.34 < V96 < 588.10 ∧ 455.91 < V101 < 504.97 ∧ V107 < 558.05 ∧ 401.48 < V108 < 599.80 ∧ 430.20 < V116 < 527.89 ∧ 431.30 < V120 ∧ 409.04 < V126 ∧ 439.45 < V133 ∧ 466.01 < V134 ∧ 418.78 < V135 ∧ 441.78 < V140 ∧ 392.74 < V142 < 600.13 ∧ 450.83 < V143 < 512.89 ∧ 459.53 < V144 < 508.02 ∧ 465.40 < V149 < 492.40 ∧ V155 < 480.21 ∧ V157 < 545.57 ∧ V164 < 496.20 ∧ 420.69 < V166 ∧ V167 < 479.34 ∧ 400.04 < V170 ∧ V171 < 593.36 ∧ 415.71 < V172 < 628.81 ∧ 474.00 < V174 ∧ 439.81 < V175 < 505.41 ∧ V187 < 572.37 ∧ 367.02 < V189 < 613.79 ∧ V190 < 492.93 ∧ V201 < 547.40 ∧ V203 < 550.74 ∧ 473.81 < V206 ∧ 411.20 < V207 ∧ V210 < 540.94 ∧ 410.18 < V214 < 577.41 ∧ 402.20 < V216 < 637.81 ∧ V218 < 506.62 ∧ 380.58 < V221 < 562.55 ∧ V224 < 600.70 ∧ 424.84 < V226 ∧ 436.98 < V227 ∧ 437.02 < V231 < 511.76 ∧ 444.51 < V233 ∧ 443.31 < V236 < 560.03 ∧ V238 < 484.87 ∧ V239 < 523.66 ∧ 407.55 < V241 ∧ 460.30 < V244 < 519.94 ∧ 433.61 < V246 < 633.71 ∧ 460.59 < V249 < 512.58 ∧ 400.36 < V252 < 582.58 ∧ 445.03 < V254 < 630.43 ∧ 410.80 < V256 ∧ 461.12 < V260 ∧ V261 < 528.33 ∧ 450.73 < V265 < 500.17 ∧ V275 < 515.59 ∧ V276 < 514.89 ∧ 472.81 < V284 < 480.10 ∧ 468.72 < V289 < 489.91 ∧ 435.06 < V290 < 555.00 ∧ 425.81 < V299 < 567.31 ∧ 362.18 < V301 < 561.15 ∧ V302 < 529.44 ∧ V308 < 505.01 ∧ V310 < 543.26 ∧ V316 < 585.11 ∧ 401.92 < V320 ∧ V323 < 549.14 ∧ 415.17 < V327 < 553.69 ∧ V332 < 511.90 ∧ 411.92 < V335 ∧ 449.65 < V339 < 675.48 ∧ 398.76 < V341 < 608.67 ∧ 425.44 < V342 < 564.48 ∧ 429.29 < V344 ∧ V347 < 503.08 ∧ 429.93 < V349 < 543.10 ∧ V363 < 590.25 ∧ 426.15 < V364 < 563.19 ∧ 467.08 < V365 < 494.56 ∧ V384 < 521.74 ∧ 429.60 < V387 ∧ 465.36 < V391 ∧ V401 < 488.32 ∧ 357.85 < V407 < 556.67 ∧ 421.30 < V409 < 558.95 ∧ V414 < 535.90 ∧ 457.30 < V417 < 511.69 ∧ V424 < 477.32 ∧ V432 < 573.74 ∧ V434 < 665.25 ∧ 427.49 < V435 < 535.22 ∧ 390.73 < V436 ∧ 347.29 < V443 < 722.44 ∧ 462.56 < V455 < 500.34 ∧ 412.21 < V458 < 562.77 ∧ 400.06 < V461 < 589.37 ∧ 412.67 < V462 < 546.16 ∧ 456.34 < V467 < 506.05 ∧ V468 < 634.93 ∧ V469 < 542.21 ∧ 382.99 < V473 < 598.30 ∧ 461.05 < V475 < 499.80 ∧ 310.02 < V476 < 686.82 ∧ 458.60 < V480 < 523.47 ∧ 406.51 < V482 ∧ 452.54 < V483 < 502.00 ∧ 412.68 < V484 < 601.64 ∧ V485 < 597.07 ∧ V488 < 577.44 ∧ V492 < 491.55 ∧ 378.12 < V496 < 620.64
Rule 1 with 1.40 for class 0 with likelihood 62.19%: 435.66 < V9 < 530.00 ∧ 384.67 < V14 < 579.53 ∧ 413.78 < V18 < 584.37 ∧ 451.29 < V21 ∧ 441.77 < V24 < 502.64 ∧ 437.01 < V27 < 555.05 ∧ V31 < 495.34 ∧ V32 < 596.14 ∧ 397.91 < V33 < 607.07 ∧ V38 < 542.14 ∧ V39 < 487.63 ∧ V40 < 480.06 ∧ 420.75 < V46 < 547.78 ∧ 383.84 < V51 ∧ V52 < 575.88 ∧ 403.45 < V57 < 612.43 ∧ 465.69 < V62 < 501.58 ∧ V67 < 608.22 ∧ 428.90 < V68 < 553.14 ∧ 455.79 < V70 ∧ 442.90 < V72 ∧ 396.22 < V74 ∧ 450.63 < V77 < 500.46 ∧ 414.01 < V79 < 574.82 ∧ 438.07 < V80 ∧ 454.62 < V82 < 585.10 ∧ 461.21 < V89 < 498.31 ∧ 419.64 < V90 < 628.18 ∧ 431.30 < V92 ∧ 411.26 < V96 < 570.49 ∧ 457.38 < V101 < 500.89 ∧ 466.82 < V103 ∧ V107 < 565.69 ∧ 418.59 < V108 < 601.97 ∧ 442.07 < V116 < 525.04 ∧ 451.95 < V118 < 526.70 ∧ 431.14 < V120 ∧ 470.76 < V121 < 481.18 ∧ 440.21 < V126 ∧ 466.05 < V134 ∧ 421.38 < V135 ∧ V137 < 624.56 ∧ 447.24 < V140 ∧ 396.27 < V142 < 591.47 ∧ V143 < 506.12 ∧ 463.43 < V144 < 500.58 ∧ V146 < 521.01 ∧ V147 < 490.37 ∧ 467.43 < V149 < 495.64 ∧ V157 < 536.98 ∧ V164 < 496.03 ∧ 427.95 < V166 ∧ V167 < 478.09 ∧ V171 < 592.54 ∧ 407.34 < V172 < 625.95 ∧ V173 < 587.79 ∧ 431.33 < V175 < 514.15 ∧ V180 < 621.12 ∧ 382.21 < V189 < 611.44 ∧ V190 < 491.15 ∧ V197 < 493.71 ∧ V201 < 535.91 ∧ V203 < 541.69 ∧ 472.91 < V206 ∧ 409.41 < V207 ∧ 426.07 < V210 < 539.33 ∧ 414.92 < V214 < 578.54 ∧ 382.18 < V216 < 629.93 ∧ V219 < 560.36 ∧ 381.15 < V221 < 567.42 ∧ V224 < 604.76 ∧ 416.49 < V226 ∧ 435.93 < V227 ∧ 438.11 < V231 < 515.87 ∧ 446.65 < V233 ∧ 442.91 < V236 < 557.20 ∧ 409.60 < V241 ∧ 415.85 < V243 < 568.07 ∧ 426.74 < V246 ∧ 459.37 < V249 < 511.54 ∧ 398.08 < V252 < 567.36 ∧ 425.18 < V254 < 626.42 ∧ 422.68 < V256 ∧ 464.56 < V260 ∧ 454.79 < V265 < 502.72 ∧ V267 < 607.49 ∧ 458.48 < V270 ∧ V275 < 520.65 ∧ V276 < 506.12 ∧ V283 < 520.70 ∧ 473.86 < V284 < 479.38 ∧ 470.07 < V289 < 490.97 ∧ 454.96 < V290 < 556.14 ∧ 414.98 < V296 < 583.97 ∧ 435.13 < V297 ∧ 427.30 < V299 ∧ 381.47 < V301 < 573.26 ∧ V302 < 526.54 ∧ V310 < 539.28 ∧ 425.98 < V314 < 584.28 ∧ V315 < 509.67 ∧ 411.30 < V320 ∧ V323 < 537.00 ∧ 406.47 < V327 < 541.94 ∧ V332 < 511.58 ∧ 405.82 < V335 < 626.82 ∧ 294.85 < V339 < 740.54 ∧ 404.38 < V340 < 583.63 ∧ 404.71 < V341 < 604.28 ∧ 416.69 < V342 < 558.98 ∧ V347 < 500.21 ∧ 413.88 < V349 < 530.54 ∧ 463.42 < V351 < 500.14 ∧ 466.82 < V365 < 496.04 ∧ V383 < 620.09 ∧ V384 < 518.17 ∧ 438.21 < V387 ∧ 369.87 < V407 < 574.63 ∧ 414.70 < V409 < 555.67 ∧ 411.41 < V413 ∧ 453.81 < V417 < 507.01 ∧ V434 < 651.73 ∧ 440.03 < V435 < 540.96 ∧ 396.48 < V436 ∧ 342.18 < V443 < 730.32 ∧ 437.04 < V453 ∧ 463.39 < V455 < 498.74 ∧ 407.19 < V458 < 558.87 ∧ 402.50 < V461 < 588.10 ∧ V462 < 520.95 ∧ 458.33 < V467 < 504.99 ∧ V468 < 624.79 ∧ V469 < 541.26 ∧ 406.39 < V473 < 567.91 ∧ 462.17 < V475 < 499.26 ∧ 330.71 < V476 < 681.64 ∧ 451.95 < V480 < 516.59 ∧ 409.73 < V482 ∧ 452.47 < V483 < 502.64 ∧ 394.06 < V484 < 590.18 ∧ V485 < 580.76 ∧ 425.06 < V493 ∧ 381.91 < V496 < 625.45
Rule 7 with 1.37 for class 1 with likelihood 65.27%: V1 < 497.49 ∧ 376.56 < V3 < 602.43 ∧ 419.91 < V5 ∧ 372.76 < V7 < 582.59 ∧ V10 < 493.99 ∧ 399.68 < V11 ∧ 381.39 < V13 < 576.43 ∧ V20 < 501.26 ∧ V23 < 494.22 ∧ 364.99 < V25 < 618.00 ∧ 450.81 < V28 < 516.37 ∧ V34 < 603.12 ∧ V36 < 601.04 ∧ 466.34 < V39 ∧ V42 < 613.12 ∧ 467.84 < V54 < 497.16 ∧ 410.26 < V58 < 572.33 ∧ 419.01 < V61 < 531.23 ∧ 388.11 < V66 < 593.63 ∧ 394.52 < V71 < 637.17 ∧ V74 < 594.26 ∧ 463.27 < V75 < 502.74 ∧ 380.37 < V76 < 614.42 ∧ 413.01 < V78 < 574.53 ∧ 396.43 < V83 < 576.86 ∧ 446.96 < V84 ∧ 430.94 < V85 < 604.48 ∧ V87 < 492.78 ∧ 474.75 < V91 ∧ 424.05 < V100 ∧ 455.50 < V102 < 496.75 ∧ V104 < 514.31 ∧ V105 < 588.56 ∧ V110 < 501.88 ∧ 412.74 < V111 ∧ 399.52 < V112 ∧ 455.52 < V114 < 564.38 ∧ 401.15 < V115 ∧ 407.30 < V119 < 546.59 ∧ V124 < 572.63 ∧ 355.64 < V130 < 597.15 ∧ V139 < 495.41 ∧ V150 < 587.72 ∧ 453.19 < V152 < 512.69 ∧ 454.80 < V153 < 504.77 ∧ 364.20 < V154 < 715.14 ∧ 400.30 < V161 < 549.41 ∧ 451.83 < V162 < 503.98 ∧ 366.77 < V165 < 607.89 ∧ 471.16 < V167 ∧ 469.15 < V168 < 490.80 ∧ V170 < 610.85 ∧ 409.62 < V173 ∧ V178 < 499.03 ∧ 373.65 < V179 < 568.30 ∧ 403.51 < V181 ∧ 412.24 < V184 < 546.71 ∧ 414.00 < V195 < 644.91 ∧ 469.64 < V197 ∧ V198 < 507.17 ∧ 429.67 < V201 ∧ V202 < 531.35 ∧ 425.66 < V205 ∧ V207 < 613.76 ∧ 468.39 < V208 ∧ V217 < 599.02 ∧ 471.94 < V228 < 483.77 ∧ 474.81 < V229 ∧ 424.57 < V234 ∧ V235 < 532.26 ∧ 400.20 < V251 ∧ 385.59 < V257 < 640.93 ∧ 454.38 < V263 < 548.61 ∧ 447.74 < V266 ∧ 432.01 < V268 < 530.20 ∧ V269 < 560.40 ∧ 446.85 < V271 < 513.19 ∧ 474.79 < V277 < 477.22 ∧ V279 < 528.06 ∧ 399.81 < V280 < 568.64 ∧ 473.89 < V281 < 480.03 ∧ 416.53 < V287 < 541.30 ∧ 457.34 < V291 < 577.86 ∧ V292 < 585.92 ∧ V297 < 542.90 ∧ 394.34 < V298 < 613.19 ∧ 468.39 < V303 < 490.51 ∧ 438.53 < V304 ∧ V306 < 553.11 ∧ 437.10 < V309 < 574.25 ∧ 468.01 < V318 < 499.08 ∧ 377.59 < V319 < 546.38 ∧ V324 < 496.06 ∧ 466.33 < V326 < 496.88 ∧ 447.19 < V330 < 619.89 ∧ 453.15 < V332 ∧ V334 < 576.30 ∧ 407.46 < V338 < 585.98 ∧ 406.23 < V343 < 572.54 ∧ 356.31 < V345 < 584.25 ∧ 461.18 < V346 < 508.95 ∧ 405.79 < V350 < 602.94 ∧ 377.74 < V352 < 575.57 ∧ 446.46 < V355 ∧ 438.99 < V356 < 528.88 ∧ 402.91 < V357 < 619.13 ∧ 471.89 < V358 < 480.93 ∧ 371.01 < V360 < 604.77 ∧ 432.55 < V362 < 545.76 ∧ 438.60 < V367 < 557.92 ∧ 421.11 < V374 < 551.33 ∧ 402.80 < V379 < 613.15 ∧ V394 < 538.37 ∧ 428.65 < V396 ∧ V405 < 478.16 ∧ 386.70 < V406 ∧ V421 < 492.29 ∧ 437.53 < V422 < 516.05 ∧ 474.76 < V424 ∧ 448.08 < V426 ∧ 442.58 < V427 ∧ 457.63 < V437 ∧ V438 < 618.74 ∧ 375.30 < V441 ∧ 472.85 < V446 < 480.96 ∧ 459.21 < V448 < 520.61 ∧ 162.49 < V454 < 747.96 ∧ V459 < 587.10 ∧ 441.92 < V466 < 558.48 ∧ 354.66 < V470 < 608.80 ∧ 440.87 < V478 < 542.34 ∧ 397.61 < V479 < 583.08 ∧ 426.22 < V481 < 538.93 ∧ V491 < 527.79 ∧ 388.53 < V495 < 581.64
Rule 0 with 1.00 for class 0 with likelihood 61.16%: 412.36 < V2 < 567.35 ∧ 442.17 < V9 < 528.13 ∧ V12 < 565.18 ∧ 394.76 < V14 < 577.67 ∧ 419.50 < V18 < 591.64 ∧ 450.49 < V21 ∧ 443.35 < V24 < 505.14 ∧ 432.27 < V27 < 554.87 ∧ V31 < 495.54 ∧ 419.73 < V33 < 613.35 ∧ 414.60 < V35 < 556.65 ∧ V38 < 537.56 ∧ V39 < 487.46 ∧ V40 < 479.09 ∧ V45 < 560.87 ∧ 425.95 < V46 < 547.56 ∧ V52 < 591.59 ∧ 386.20 < V57 < 592.41 ∧ V59 < 617.13 ∧ 464.40 < V62 < 497.21 ∧ V63 < 585.67 ∧ V67 < 589.94 ∧ 439.54 < V68 < 562.56 ∧ 458.10 < V70 ∧ 438.05 < V72 < 519.08 ∧ 456.23 < V77 < 502.49 ∧ 417.07 < V79 < 561.35 ∧ V82 < 602.17 ∧ V84 < 515.16 ∧ V86 < 574.18 ∧ 463.48 < V89 < 498.33 ∧ 401.23 < V90 < 619.39 ∧ V91 < 477.21 ∧ 436.26 < V92 < 612.37 ∧ 408.35 < V96 < 585.99 ∧ 460.40 < V101 < 503.13 ∧ 466.47 < V103 ∧ V107 < 549.21 ∧ 449.11 < V116 < 518.71 ∧ 458.29 < V118 < 525.12 ∧ 432.47 < V120 ∧ 433.59 < V126 ∧ V128 < 562.33 ∧ 444.34 < V133 < 543.48 ∧ 465.99 < V134 ∧ 434.66 < V135 ∧ 466.97 < V139 ∧ 445.37 < V140 ∧ 405.00 < V142 < 599.94 ∧ 449.31 < V143 < 510.89 ∧ 460.80 < V144 < 507.45 ∧ V146 < 528.99 ∧ 467.43 < V149 < 495.80 ∧ V157 < 536.76 ∧ V164 < 496.27 ∧ 425.39 < V166 ∧ V167 < 480.02 ∧ 396.73 < V170 ∧ V171 < 594.88 ∧ V173 < 583.35 ∧ 473.45 < V174 < 479.85 ∧ 439.68 < V175 < 502.01 ∧ V183 < 552.97 ∧ V187 < 583.60 ∧ 373.82 < V189 < 601.69 ∧ V190 < 491.01 ∧ V197 < 493.43 ∧ V201 < 542.35 ∧ V203 < 531.24 ∧ 473.02 < V206 ∧ 412.48 < V207 ∧ 428.53 < V210 < 543.05 ∧ 423.30 < V214 < 573.25 ∧ V215 < 511.81 ∧ 402.12 < V216 < 630.55 ∧ 449.40 < V218 < 512.11 ∧ 389.01 < V221 < 564.20 ∧ V224 < 587.90 ∧ 417.48 < V226 ∧ 431.77 < V227 ∧ 441.87 < V231 < 517.43 ∧ 441.55 < V236 < 555.17 ∧ 402.25 < V239 < 522.83 ∧ 419.70 < V241 ∧ 421.71 < V243 < 544.45 ∧ 430.91 < V246 < 630.88 ∧ 459.86 < V249 < 511.52 ∧ 401.10 < V252 < 586.28 ∧ 429.98 < V254 < 624.75 ∧ 460.03 < V255 ∧ 428.83 < V256 ∧ 469.85 < V260 ∧ V261 < 526.37 ∧ 451.86 < V265 < 499.72 ∧ V267 < 607.12 ∧ 395.56 < V274 ∧ V275 < 516.67 ∧ V276 < 504.43 ∧ 472.94 < V284 < 479.67 ∧ V288 < 601.30 ∧ 469.05 < V289 < 488.75 ∧ 443.72 < V290 < 548.12 ∧ 437.82 < V299 < 558.58 ∧ 379.01 < V301 < 575.40 ∧ V302 < 524.61 ∧ V308 < 503.86 ∧ V310 < 535.61 ∧ 430.45 < V313 < 591.43 ∧ 420.92 < V314 < 591.42 ∧ V317 < 503.44 ∧ 412.00 < V320 ∧ 440.57 < V323 < 542.66 ∧ 420.83 < V327 < 539.12 ∧ 407.53 < V328 < 568.76 ∧ V332 < 512.06 ∧ 414.21 < V335 < 627.39 ∧ 330.09 < V339 < 715.47 ∧ 425.16 < V340 < 594.52 ∧ 406.99 < V341 < 602.14 ∧ 414.25 < V342 < 557.41 ∧ 412.41 < V344 ∧ V347 < 500.72 ∧ 391.85 < V348 ∧ 425.69 < V349 < 528.43 ∧ 462.98 < V351 < 491.21 ∧ 432.22 < V364 < 562.28 ∧ 467.51 < V365 < 495.46 ∧ V384 < 515.24 ∧ V385 < 511.32 ∧ 445.31 < V387 < 565.24 ∧ 475.01 < V405 ∧ 353.38 < V407 < 573.02 ∧ 417.34 < V409 < 553.17 ∧ 402.54 < V413 ∧ 454.74 < V417 < 510.02 ∧ V424 < 477.20 ∧ V431 < 533.62 ∧ V432 < 576.08 ∧ V434 < 623.13 ∧ 430.01 < V435 < 539.27 ∧ 406.21 < V436 ∧ 359.03 < V443 < 686.28 ∧ 464.01 < V455 < 499.18 ∧ 388.86 < V458 < 567.47 ∧ 402.79 < V461 < 598.59 ∧ 419.07 < V462 < 532.03 ∧ 456.57 < V467 < 504.10 ∧ V468 < 620.96 ∧ 403.44 < V473 < 565.21 ∧ 473.10 < V474 ∧ 463.54 < V475 < 499.40 ∧ 411.87 < V482 ∧ 452.69 < V483 < 504.30 ∧ 402.81 < V484 < 599.56 ∧ V485 < 556.81 ∧ 380.93 < V496 < 614.55
