Rule 3 with 3.78 for class 1 with likelihood 83.29%: 463.40 < V6 < 500.06 ∧ 369.58 < V11 ∧ 377.35 < V13 < 589.80 ∧ 438.50 < V17 < 510.05 ∧ V20 < 502.57 ∧ 444.55 < V21 ∧ 347.16 < V25 < 622.19 ∧ 450.70 < V28 ∧ 392.40 < V34 < 597.64 ∧ V36 < 584.67 ∧ 395.65 < V48 < 618.95 ∧ 465.83 < V54 < 497.50 ∧ 398.93 < V58 < 576.60 ∧ 431.27 < V66 ∧ V70 < 488.04 ∧ 408.08 < V73 ∧ 464.47 < V75 < 499.26 ∧ 382.09 < V76 < 629.04 ∧ 413.17 < V78 < 553.87 ∧ 395.73 < V82 < 654.04 ∧ V85 < 608.01 ∧ V87 < 490.89 ∧ 474.69 < V91 ∧ V97 < 487.55 ∧ 406.30 < V100 ∧ V103 < 502.73 ∧ V104 < 522.15 ∧ V110 < 507.02 ∧ 364.07 < V112 < 567.35 ∧ 448.86 < V113 < 502.29 ∧ 412.34 < V114 ∧ 404.94 < V119 < 577.13 ∧ 396.64 < V124 < 609.68 ∧ V125 < 537.87 ∧ 385.61 < V130 < 599.46 ∧ 414.49 < V131 < 598.35 ∧ 458.78 < V139 < 494.52 ∧ V150 < 596.46 ∧ 437.48 < V153 < 508.29 ∧ 336.58 < V154 < 686.62 ∧ V161 < 542.87 ∧ 376.70 < V165 < 631.08 ∧ 468.00 < V168 < 488.69 ∧ 376.03 < V171 ∧ V178 < 499.98 ∧ 399.38 < V179 < 576.94 ∧ 393.90 < V181 ∧ 411.67 < V184 < 548.00 ∧ 447.97 < V185 < 534.57 ∧ 378.57 < V187 ∧ V198 < 508.06 ∧ V200 < 589.87 ∧ 427.84 < V201 ∧ 359.08 < V204 ∧ 424.88 < V205 < 587.85 ∧ 471.87 < V206 < 479.21 ∧ V207 < 587.66 ∧ 434.46 < V209 ∧ 454.91 < V215 ∧ V217 < 595.78 ∧ 383.65 < V222 < 604.05 ∧ 422.23 < V223 ∧ 474.22 < V229 ∧ V232 < 543.98 ∧ 427.62 < V234 < 538.74 ∧ 451.99 < V237 < 514.58 ∧ 402.69 < V245 ∧ 398.73 < V251 ∧ 378.51 < V257 < 648.09 ∧ 389.57 < V258 < 631.91 ∧ V262 < 493.72 ∧ 447.95 < V263 < 546.83 ∧ 408.56 < V264 < 592.29 ∧ 454.32 < V266 ∧ 431.96 < V268 < 535.18 ∧ 445.39 < V271 ∧ V274 < 552.71 ∧ 474.71 < V277 ∧ V279 < 547.54 ∧ 396.10 < V280 < 578.62 ∧ 473.80 < V281 < 480.07 ∧ 380.25 < V286 < 563.43 ∧ 417.05 < V287 < 546.93 ∧ V291 < 576.08 ∧ 457.34 < V294 < 491.11 ∧ 427.39 < V300 < 549.12 ∧ 466.45 < V303 ∧ 436.56 < V304 ∧ 392.66 < V306 < 563.84 ∧ 434.34 < V309 < 573.88 ∧ 397.41 < V316 ∧ 467.88 < V318 < 503.35 ∧ 443.81 < V321 < 511.47 ∧ 443.22 < V324 < 497.64 ∧ V328 < 546.98 ∧ 395.79 < V330 < 640.34 ∧ 458.44 < V332 ∧ 404.81 < V343 < 579.57 ∧ V345 < 638.14 ∧ V346 < 505.84 ∧ 371.16 < V352 < 587.05 ∧ V354 < 513.97 ∧ 455.52 < V355 ∧ 390.06 < V357 < 642.19 ∧ 472.03 < V358 < 480.66 ∧ 356.51 < V360 < 587.81 ∧ 369.54 < V363 ∧ 423.19 < V367 < 577.93 ∧ 392.08 < V376 < 581.52 ∧ 429.47 < V378 < 547.44 ∧ 378.13 < V380 < 597.82 ∧ V382 < 554.15 ∧ 424.18 < V383 ∧ 446.80 < V386 ∧ V393 < 484.08 ∧ 415.93 < V396 ∧ V397 < 510.73 ∧ 380.76 < V399 ∧ V400 < 501.80 ∧ V403 < 479.17 ∧ 462.87 < V408 ∧ V410 < 495.51 ∧ 401.61 < V413 < 589.04 ∧ 396.00 < V418 ∧ 385.83 < V419 < 624.53 ∧ V421 < 495.05 ∧ V422 < 521.52 ∧ 450.92 < V425 ∧ 444.80 < V427 ∧ 466.86 < V430 ∧ 442.77 < V437 ∧ V438 < 619.24 ∧ 472.82 < V446 < 481.15 ∧ 457.39 < V447 ∧ 460.51 < V448 < 518.68 ∧ 444.99 < V450 ∧ 329.70 < V456 < 686.24 ∧ 401.24 < V459 < 602.29 ∧ 397.79 < V460 < 560.05 ∧ 440.72 < V466 < 560.63 ∧ 401.80 < V468 < 583.67 ∧ 423.25 < V469 ∧ 405.33 < V471 < 628.46 ∧ V472 < 490.38 ∧ 448.62 < V478 < 539.57 ∧ 348.87 < V479 < 595.59 ∧ 426.27 < V481 < 531.39 ∧ 390.09 < V488 ∧ 455.30 < V490 < 501.47 ∧ V491 < 536.80 ∧ V493 < 548.37 ∧ 459.83 < V497 < 498.75 ∧ 465.42 < V498
Rule 1 with 3.58 for class 0 with likelihood 80.01%: V3 < 632.95 ∧ V7 < 585.47 ∧ 441.17 < V9 < 537.56 ∧ V11 < 570.03 ∧ V12 < 582.03 ∧ 351.35 < V14 < 584.11 ∧ V18 < 578.77 ∧ 445.42 < V20 ∧ 441.89 < V24 < 510.48 ∧ 421.70 < V27 < 546.17 ∧ V38 < 550.10 ∧ V40 < 480.16 ∧ 408.69 < V46 < 558.33 ∧ V47 < 597.44 ∧ 426.33 < V55 < 583.77 ∧ 366.24 < V57 < 568.19 ∧ 465.22 < V62 < 502.07 ∧ 388.60 < V63 < 607.62 ∧ 456.15 < V72 < 524.71 ∧ V73 < 538.45 ∧ 448.36 < V77 < 502.56 ∧ 416.60 < V79 ∧ V84 < 521.00 ∧ 455.70 < V89 < 499.25 ∧ 406.95 < V90 < 642.20 ∧ V91 < 477.28 ∧ V96 < 594.24 ∧ V98 < 516.80 ∧ 452.71 < V101 < 504.53 ∧ V107 < 556.20 ∧ 386.72 < V108 < 587.91 ∧ 430.30 < V116 ∧ 449.80 < V118 < 521.90 ∧ 415.14 < V120 < 548.46 ∧ V121 < 482.45 ∧ 418.52 < V125 ∧ 409.13 < V126 < 607.20 ∧ 449.27 < V127 ∧ V129 < 498.02 ∧ 417.29 < V132 < 557.17 ∧ 465.35 < V134 ∧ 408.55 < V135 < 547.83 ∧ 393.58 < V136 < 604.36 ∧ V143 < 512.56 ∧ 460.17 < V144 < 509.92 ∧ 433.41 < V146 < 557.78 ∧ 411.59 < V148 ∧ 469.17 < V149 < 496.68 ∧ 427.63 < V158 < 553.43 ∧ V167 < 480.14 ∧ 397.26 < V170 ∧ 395.41 < V172 ∧ 433.26 < V175 < 518.72 ∧ 460.23 < V178 ∧ V180 < 603.38 ∧ V183 < 563.29 ∧ 381.41 < V189 < 647.10 ∧ 411.06 < V192 < 588.02 ∧ 440.06 < V193 < 551.07 ∧ V197 < 493.21 ∧ 456.04 < V198 ∧ 419.29 < V200 ∧ 408.20 < V207 ∧ 455.55 < V211 < 535.38 ∧ V212 < 591.12 ∧ 387.00 < V216 < 631.36 ∧ V219 < 575.70 ∧ V220 < 515.17 ∧ V221 < 570.75 ∧ 391.36 < V224 < 571.35 ∧ V225 < 565.52 ∧ 424.98 < V227 < 540.85 ∧ 473.87 < V228 ∧ 453.59 < V230 < 553.32 ∧ 435.07 < V231 < 523.54 ∧ 442.50 < V233 ∧ 433.38 < V236 < 559.58 ∧ 465.26 < V240 ∧ 406.72 < V241 < 586.94 ∧ V243 < 577.96 ∧ 411.82 < V246 < 581.28 ∧ 370.08 < V247 ∧ 457.32 < V249 < 512.83 ∧ 406.94 < V252 < 588.87 ∧ 470.33 < V253 < 489.95 ∧ 436.51 < V254 < 615.34 ∧ 408.91 < V256 ∧ 454.38 < V259 ∧ 469.16 < V260 < 518.28 ∧ V261 < 532.84 ∧ 460.80 < V262 ∧ 453.18 < V265 ∧ V266 < 538.58 ∧ 367.80 < V267 < 619.55 ∧ V269 < 574.51 ∧ 435.81 < V270 ∧ 381.65 < V274 ∧ V275 < 519.88 ∧ 418.02 < V279 ∧ 472.80 < V284 < 479.28 ∧ V288 < 597.07 ∧ 467.90 < V289 ∧ 434.34 < V293 < 562.13 ∧ 406.97 < V296 < 606.91 ∧ 417.02 < V297 < 567.38 ∧ V302 < 530.23 ∧ 392.72 < V305 ∧ 399.11 < V320 ∧ 378.36 < V322 < 558.94 ∧ 438.28 < V327 < 548.10 ∧ 455.63 < V339 < 767.16 ∧ 405.98 < V341 < 612.64 ∧ 422.39 < V342 < 565.23 ∧ 428.74 < V344 ∧ V347 < 500.67 ∧ 382.53 < V348 ∧ 424.81 < V349 < 542.39 ∧ 459.09 < V351 < 501.21 ∧ 468.20 < V365 ∧ 453.30 < V368 < 521.08 ∧ 457.89 < V369 ∧ 464.64 < V381 ∧ V384 < 524.91 ∧ 471.90 < V388 < 483.07 ∧ 442.48 < V389 < 551.67 ∧ 465.90 < V391 ∧ 472.86 < V403 ∧ 404.79 < V409 < 545.38 ∧ 454.99 < V410 ∧ 381.37 < V412 < 617.77 ∧ 451.76 < V417 < 513.90 ∧ 386.53 < V428 < 605.96 ∧ V432 < 586.53 ∧ V434 < 640.70 ∧ 389.75 < V436 < 626.23 ∧ 394.84 < V438 ∧ V439 < 564.19 ∧ 276.90 < V443 < 685.47 ∧ V449 < 576.69 ∧ V452 < 494.49 ∧ 462.33 < V455 < 498.45 ∧ 464.63 < V457 ∧ 394.40 < V461 < 583.76 ∧ 430.51 < V462 < 545.74 ∧ 456.33 < V467 < 509.04 ∧ V469 < 543.44 ∧ 383.44 < V473 < 592.64 ∧ 473.35 < V474 ∧ 460.03 < V475 < 497.69 ∧ 458.20 < V480 < 516.92 ∧ 453.92 < V483 < 505.61 ∧ 397.13 < V484 < 580.65 ∧ 443.49 < V487 < 499.96 ∧ V492 < 492.67 ∧ V499 < 614.80
Rule 0 with 3.05 for class 0 with likelihood 78.85%: V3 < 628.72 ∧ 442.28 < V9 < 541.26 ∧ V12 < 577.48 ∧ 372.25 < V14 < 592.75 ∧ 462.78 < V15 < 515.71 ∧ V18 < 573.88 ∧ 448.21 < V20 ∧ 416.74 < V35 ∧ V38 < 541.93 ∧ V40 < 480.14 ∧ 446.37 < V44 ∧ 411.34 < V46 < 557.24 ∧ V47 < 583.72 ∧ 390.21 < V51 ∧ 402.11 < V55 < 576.86 ∧ 376.11 < V57 < 597.94 ∧ V60 < 541.71 ∧ 468.10 < V62 < 501.09 ∧ 381.20 < V63 < 607.44 ∧ 440.41 < V72 < 526.14 ∧ V73 < 546.16 ∧ 451.37 < V77 < 509.27 ∧ V84 < 516.96 ∧ 415.89 < V88 ∧ 456.14 < V89 < 497.60 ∧ V96 < 595.24 ∧ V98 < 537.29 ∧ V99 < 512.92 ∧ 455.84 < V101 < 506.46 ∧ V107 < 565.27 ∧ 391.29 < V108 < 590.11 ∧ 448.38 < V110 ∧ 451.43 < V118 < 526.00 ∧ 429.76 < V120 < 558.30 ∧ V121 < 482.06 ∧ 426.31 < V125 ∧ 410.04 < V126 ∧ 447.09 < V127 ∧ V129 < 497.94 ∧ 425.29 < V132 < 558.05 ∧ 467.23 < V134 ∧ 376.75 < V136 < 621.42 ∧ V143 < 510.23 ∧ 456.78 < V144 < 508.43 ∧ 431.03 < V146 < 536.68 ∧ 431.41 < V148 ∧ 465.85 < V149 < 496.80 ∧ 418.70 < V156 ∧ V157 < 534.11 ∧ 417.71 < V158 < 552.53 ∧ V167 < 480.10 ∧ 411.56 < V170 < 667.97 ∧ 407.59 < V172 ∧ V174 < 480.12 ∧ 429.92 < V175 < 516.58 ∧ V180 < 605.84 ∧ V183 < 533.16 ∧ 376.54 < V189 < 624.36 ∧ 441.40 < V193 < 548.48 ∧ 455.68 < V198 ∧ V201 < 541.57 ∧ 403.69 < V207 ∧ V209 < 519.50 ∧ 432.38 < V210 < 548.87 ∧ V212 < 585.00 ∧ V219 < 568.77 ∧ V221 < 548.84 ∧ 380.71 < V224 < 581.08 ∧ 406.48 < V225 < 587.70 ∧ 426.30 < V227 < 544.05 ∧ 473.87 < V228 ∧ 449.12 < V230 < 536.61 ∧ 432.10 < V231 < 517.22 ∧ 447.99 < V233 ∧ 439.28 < V235 < 551.99 ∧ 444.69 < V236 < 562.33 ∧ 470.94 < V238 < 488.94 ∧ 463.85 < V240 ∧ 411.30 < V241 < 574.15 ∧ V243 < 551.33 ∧ 408.95 < V246 < 601.52 ∧ 370.30 < V247 < 557.06 ∧ 458.34 < V249 < 509.22 ∧ 397.12 < V252 < 554.67 ∧ 465.97 < V253 < 487.44 ∧ 429.56 < V254 < 628.81 ∧ 416.10 < V256 ∧ 454.19 < V259 ∧ 462.98 < V260 < 518.87 ∧ V261 < 527.52 ∧ 461.64 < V262 ∧ 454.33 < V265 ∧ V266 < 556.34 ∧ 372.37 < V267 < 616.62 ∧ V269 < 579.03 ∧ 452.37 < V270 ∧ 398.93 < V274 ∧ V275 < 520.42 ∧ 417.88 < V278 ∧ 421.38 < V279 ∧ 473.84 < V284 < 479.26 ∧ 383.19 < V287 ∧ V288 < 589.39 ∧ 468.11 < V289 ∧ 442.06 < V290 < 563.76 ∧ 437.29 < V293 < 554.66 ∧ 395.36 < V297 < 565.06 ∧ V302 < 529.32 ∧ 417.01 < V305 ∧ V310 < 527.21 ∧ 403.32 < V313 < 582.69 ∧ V316 < 572.18 ∧ 415.32 < V320 ∧ 419.17 < V327 < 528.57 ∧ 402.16 < V328 ∧ V333 < 479.06 ∧ 376.09 < V338 < 560.33 ∧ 270.37 < V339 < 655.69 ∧ 403.80 < V341 < 610.13 ∧ 423.67 < V342 < 563.57 ∧ 415.65 < V344 ∧ V347 < 500.48 ∧ 380.06 < V348 ∧ V349 < 525.85 ∧ 460.19 < V351 < 503.98 ∧ V363 < 606.51 ∧ 462.24 < V368 ∧ 451.11 < V369 ∧ V371 < 599.49 ∧ 424.85 < V375 < 586.47 ∧ 438.42 < V382 ∧ V383 < 619.91 ∧ V384 < 523.36 ∧ 471.93 < V388 < 482.52 ∧ 428.97 < V389 < 545.13 ∧ V390 < 579.58 ∧ 463.36 < V391 ∧ 470.93 < V395 < 487.94 ∧ V401 < 489.13 ∧ 472.95 < V403 ∧ 416.17 < V409 < 554.02 ∧ 459.67 < V410 ∧ 388.62 < V412 < 631.91 ∧ 451.72 < V417 < 510.88 ∧ 391.72 < V428 < 598.50 ∧ V431 < 553.43 ∧ V432 < 590.29 ∧ V434 < 671.33 ∧ 413.23 < V436 < 629.09 ∧ 401.36 < V438 ∧ 433.55 < V442 ∧ 319.91 < V443 < 722.38 ∧ V449 < 587.99 ∧ V451 < 535.94 ∧ V452 < 497.91 ∧ 465.03 < V455 < 494.84 ∧ 468.84 < V457 ∧ 421.69 < V458 ∧ 395.03 < V461 < 599.06 ∧ 404.65 < V462 < 532.62 ∧ 460.88 < V467 < 507.53 ∧ V469 < 543.03 ∧ 417.17 < V473 < 555.11 ∧ 472.01 < V474 < 482.04 ∧ 463.01 < V475 < 498.87 ∧ 319.96 < V476 < 671.91 ∧ V477 < 526.49 ∧ 404.84 < V482 ∧ 443.90 < V483 < 505.90 ∧ 389.26 < V484 < 589.19 ∧ V492 < 487.99
Rule 2 with 1.58 for class 1 with likelihood 72.52%: 465.88 < V6 < 492.74 ∧ 407.75 < V11 ∧ 412.71 < V13 ∧ 445.78 < V16 ∧ 438.68 < V17 < 500.31 ∧ V20 < 501.55 ∧ 379.49 < V25 < 610.55 ∧ 450.12 < V28 ∧ 413.55 < V34 < 608.20 ∧ 371.61 < V36 < 570.15 ∧ 446.19 < V37 ∧ 407.25 < V48 < 618.14 ∧ 414.98 < V58 < 570.20 ∧ V61 < 542.14 ∧ V70 < 493.34 ∧ 425.94 < V73 ∧ 464.71 < V75 < 500.63 ∧ 369.80 < V76 < 618.86 ∧ 405.09 < V78 < 549.21 ∧ 442.54 < V84 ∧ 474.76 < V91 ∧ 414.52 < V100 ∧ V103 < 499.19 ∧ V104 < 506.15 ∧ V110 < 506.33 ∧ 404.62 < V111 < 593.34 ∧ 366.42 < V112 < 608.99 ∧ 454.80 < V113 < 500.96 ∧ V119 < 575.07 ∧ V122 < 523.01 ∧ 378.80 < V124 < 593.33 ∧ V125 < 528.85 ∧ 376.00 < V130 < 561.54 ∧ 462.00 < V139 < 499.68 ∧ V153 < 504.66 ∧ 425.14 < V157 ∧ 450.16 < V160 ∧ V161 < 524.32 ∧ 387.97 < V165 < 632.10 ∧ V166 < 556.55 ∧ 471.04 < V168 < 489.58 ∧ 473.86 < V169 ∧ 438.48 < V173 ∧ V178 < 500.30 ∧ 378.01 < V179 < 587.06 ∧ 417.57 < V184 < 542.94 ∧ 402.83 < V187 < 603.28 ∧ 396.23 < V195 ∧ V200 < 565.92 ∧ 455.03 < V201 ∧ 386.33 < V205 < 562.97 ∧ 472.65 < V206 < 478.31 ∧ V207 < 642.55 ∧ V217 < 593.98 ∧ 385.64 < V222 < 622.00 ∧ 430.41 < V223 ∧ 473.95 < V229 ∧ V232 < 543.50 ∧ 430.64 < V234 < 521.02 ∧ 459.62 < V237 < 518.88 ∧ 433.73 < V244 < 523.61 ∧ 416.04 < V245 ∧ V248 < 490.04 ∧ 429.73 < V251 ∧ 380.27 < V257 < 634.48 ∧ 397.86 < V258 < 617.06 ∧ 440.02 < V261 ∧ V262 < 496.24 ∧ 445.87 < V263 < 547.87 ∧ 393.95 < V264 < 598.44 ∧ 442.63 < V268 < 533.29 ∧ 449.79 < V271 ∧ 474.78 < V277 ∧ V279 < 542.39 ∧ 399.90 < V280 < 543.10 ∧ 474.66 < V281 < 480.23 ∧ 401.64 < V286 < 577.42 ∧ V287 < 529.72 ∧ V291 < 568.92 ∧ V294 < 492.95 ∧ 433.83 < V300 < 551.54 ∧ 379.60 < V301 ∧ 443.04 < V302 ∧ 466.98 < V303 < 492.51 ∧ 432.96 < V304 ∧ 383.94 < V306 < 548.94 ∧ 405.76 < V309 < 557.61 ∧ 459.00 < V318 < 505.18 ∧ 450.20 < V321 < 517.63 ∧ V324 < 511.21 ∧ 406.80 < V330 < 618.66 ∧ 452.73 < V332 ∧ 405.64 < V343 < 567.11 ∧ V345 < 613.63 ∧ V346 < 508.81 ∧ V348 < 610.81 ∧ 391.32 < V352 < 583.82 ∧ 442.11 < V355 ∧ 384.53 < V357 < 626.87 ∧ 363.92 < V360 < 624.91 ∧ 358.60 < V363 ∧ 447.71 < V367 < 576.03 ∧ 400.13 < V376 < 576.42 ∧ 432.08 < V378 < 550.27 ∧ 446.97 < V386 ∧ 429.20 < V396 ∧ V397 < 510.54 ∧ 386.19 < V399 ∧ V400 < 496.75 ∧ V410 < 495.59 ∧ 403.41 < V413 < 576.60 ∧ V421 < 494.11 ∧ V422 < 511.49 ∧ 458.48 < V425 ∧ 449.32 < V427 ∧ V429 < 568.27 ∧ 467.24 < V430 ∧ 389.48 < V433 < 565.65 ∧ 453.43 < V437 ∧ V438 < 618.22 ∧ V446 < 482.15 ∧ 449.32 < V447 ∧ 454.74 < V448 < 526.65 ∧ 448.76 < V450 ∧ 218.60 < V454 < 723.91 ∧ 356.80 < V456 < 685.11 ∧ 353.07 < V459 < 618.37 ∧ 404.04 < V460 < 596.37 ∧ 453.65 < V466 < 553.94 ∧ 399.04 < V468 < 617.55 ∧ V471 < 625.07 ∧ 442.29 < V478 < 534.46 ∧ V479 < 576.42 ∧ 437.44 < V481 < 539.77 ∧ V486 < 512.66 ∧ 381.39 < V488 < 585.58 ∧ 454.02 < V490 < 505.66 ∧ V491 < 528.86 ∧ V493 < 545.17 ∧ 384.22 < V495 < 591.42 ∧ 461.50 < V497 < 493.04 ∧ 451.75 < V498
Rule 4 with 1.00 for class 1 with likelihood 65.82%: V4 < 508.46 ∧ 460.00 < V6 < 493.46 ∧ 401.38 < V11 ∧ 433.95 < V16 ∧ 447.96 < V17 < 515.40 ∧ V20 < 500.25 ∧ 444.94 < V21 < 514.32 ∧ 381.94 < V25 < 609.68 ∧ 453.16 < V28 < 516.42 ∧ 390.13 < V34 < 610.38 ∧ 345.80 < V36 < 594.52 ∧ 454.04 < V37 ∧ 407.81 < V48 < 615.02 ∧ 464.79 < V54 < 496.03 ∧ 409.92 < V58 < 573.54 ∧ V61 < 542.29 ∧ 431.93 < V66 ∧ 420.78 < V67 ∧ 469.03 < V75 < 499.40 ∧ 385.89 < V76 < 613.84 ∧ 405.16 < V78 < 539.95 ∧ 452.49 < V84 ∧ V87 < 490.76 ∧ 474.79 < V91 ∧ V94 < 538.19 ∧ V97 < 487.68 ∧ 398.71 < V100 < 602.56 ∧ V103 < 500.17 ∧ V104 < 517.21 ∧ V105 < 601.13 ∧ V110 < 502.93 ∧ 411.59 < V111 < 588.19 ∧ 376.57 < V112 < 599.69 ∧ 450.97 < V113 < 497.87 ∧ 418.99 < V114 ∧ 433.74 < V119 < 560.37 ∧ 402.55 < V124 < 596.70 ∧ V125 < 532.61 ∧ 417.76 < V131 < 580.22 ∧ 460.33 < V152 < 514.41 ∧ 448.86 < V153 < 504.42 ∧ 425.32 < V157 ∧ V161 < 548.77 ∧ 385.88 < V165 < 597.50 ∧ V166 < 559.11 ∧ 467.16 < V168 < 490.56 ∧ 473.96 < V169 ∧ 385.90 < V171 ∧ 373.60 < V179 < 583.58 ∧ 416.48 < V184 < 542.71 ∧ 457.71 < V185 < 539.73 ∧ 371.33 < V187 < 616.79 ∧ 408.78 < V191 ∧ 390.35 < V194 ∧ 426.09 < V195 ∧ 450.15 < V201 ∧ 396.37 < V205 < 574.47 ∧ 471.92 < V206 < 479.10 ∧ V207 < 609.27 ∧ V217 < 571.22 ∧ 375.91 < V222 < 620.44 ∧ 424.98 < V223 ∧ 474.87 < V229 ∧ 434.61 < V234 < 527.84 ∧ 454.35 < V237 < 504.68 ∧ 468.75 < V248 < 490.28 ∧ 401.25 < V251 ∧ 377.67 < V257 < 638.34 ∧ 450.82 < V263 < 540.65 ∧ 402.64 < V264 < 589.30 ∧ 450.84 < V271 ∧ V274 < 571.83 ∧ 474.77 < V277 < 477.21 ∧ V279 < 564.91 ∧ 387.75 < V280 < 571.78 ∧ 473.92 < V281 < 480.09 ∧ 390.91 < V286 < 574.49 ∧ V287 < 554.57 ∧ V291 < 567.47 ∧ 459.35 < V294 < 493.04 ∧ 395.76 < V298 < 595.39 ∧ 440.55 < V300 < 549.15 ∧ 380.40 < V301 ∧ 465.45 < V303 < 492.13 ∧ 430.95 < V304 ∧ 383.85 < V306 < 564.98 ∧ 423.26 < V309 < 576.41 ∧ 452.13 < V321 < 517.13 ∧ V324 < 502.61 ∧ 433.28 < V325 ∧ V330 < 618.09 ∧ 404.19 < V343 < 570.30 ∧ V346 < 506.93 ∧ 375.93 < V352 < 581.38 ∧ 448.54 < V355 ∧ 385.45 < V357 < 611.70 ∧ 471.99 < V358 < 480.48 ∧ 365.87 < V360 < 610.74 ∧ 359.55 < V363 ∧ 396.52 < V370 < 575.02 ∧ 404.12 < V376 < 577.48 ∧ 432.84 < V378 < 536.34 ∧ 375.44 < V380 < 573.72 ∧ V382 < 541.53 ∧ 451.33 < V386 ∧ 427.70 < V396 ∧ 401.91 < V399 ∧ V400 < 498.16 ∧ V402 < 579.15 ∧ V403 < 478.98 ∧ V406 < 564.08 ∧ 465.31 < V408 ∧ V410 < 492.06 ∧ 414.99 < V413 < 581.38 ∧ 412.21 < V419 < 618.39 ∧ V420 < 598.95 ∧ 435.29 < V422 < 510.62 ∧ 451.24 < V425 ∧ 445.41 < V427 ∧ V429 < 568.06 ∧ 467.02 < V430 ∧ 388.85 < V433 < 564.96 ∧ 443.44 < V437 ∧ V438 < 625.17 ∧ V446 < 481.07 ∧ 450.30 < V447 ∧ 456.34 < V448 < 517.09 ∧ 332.06 < V456 < 686.58 ∧ 404.42 < V460 < 596.39 ∧ 457.27 < V466 < 553.86 ∧ 397.29 < V468 < 586.97 ∧ 437.48 < V469 ∧ 401.67 < V471 < 630.92 ∧ 443.74 < V478 < 515.69 ∧ 347.37 < V479 < 591.39 ∧ 428.09 < V481 < 524.18 ∧ 449.98 < V486 < 503.17 ∧ 455.81 < V490 < 506.40 ∧ V491 < 529.84 ∧ V493 < 546.12 ∧ 393.99 < V495 < 604.56 ∧ 461.38 < V497 < 486.76 ∧ 459.13 < V498
