1% EXPECT: valid 2p : BOOLEAN; 3q : BOOLEAN; 4r : BOOLEAN; 5s : BOOLEAN; 6t : BOOLEAN; 7u : BOOLEAN; 8v : BOOLEAN; 9P1 : BOOLEAN; 10P2 : BOOLEAN; 11P3 : BOOLEAN; 12P4 : BOOLEAN; 13P6 : BOOLEAN; 14P5 : BOOLEAN; 15a41 : BOOLEAN = 16 IF p THEN FALSE 17 ELSE TRUE 18 ENDIF; 19a42 : BOOLEAN = 20 IF a41 THEN FALSE 21 ELSE TRUE 22 ENDIF; 23a45 : BOOLEAN = 24 IF p THEN p 25 ELSE a41 26 ENDIF; 27a46 : BOOLEAN = 28 IF q THEN FALSE 29 ELSE TRUE 30 ENDIF; 31a49 : BOOLEAN = 32 IF s THEN t 33 ELSE FALSE 34 ENDIF; 35a58 : BOOLEAN = 36 IF q THEN q 37 ELSE a46 38 ENDIF; 39a59 : BOOLEAN = 40 IF r THEN FALSE 41 ELSE TRUE 42 ENDIF; 43a61 : BOOLEAN = 44 IF s THEN FALSE 45 ELSE TRUE 46 ENDIF; 47a62 : BOOLEAN = 48 IF s THEN s 49 ELSE a61 50 ENDIF; 51a65 : BOOLEAN = 52 IF t THEN FALSE 53 ELSE TRUE 54 ENDIF; 55a67 : BOOLEAN = 56 IF u THEN FALSE 57 ELSE TRUE 58 ENDIF; 59a73 : BOOLEAN = 60 IF p THEN q 61 ELSE FALSE 62 ENDIF; 63a74 : BOOLEAN = 64 IF q THEN p 65 ELSE FALSE 66 ENDIF; 67a77 : BOOLEAN = 68 IF r THEN TRUE 69 ELSE s 70 ENDIF; 71a78 : BOOLEAN = 72 IF s THEN TRUE 73 ELSE r 74 ENDIF; 75a81 : BOOLEAN = 76 IF t THEN u 77 ELSE a67 78 ENDIF; 79a82 : BOOLEAN = 80 IF u THEN t 81 ELSE a65 82 ENDIF; 83a88 : BOOLEAN = 84 IF q THEN r 85 ELSE FALSE 86 ENDIF; 87a89 : BOOLEAN = 88 IF p THEN a88 89 ELSE FALSE 90 ENDIF; 91a92 : BOOLEAN = 92 IF s THEN TRUE 93 ELSE t 94 ENDIF; 95a94 : BOOLEAN = 96 IF t THEN TRUE 97 ELSE u 98 ENDIF; 99a95 : BOOLEAN = 100 IF s THEN TRUE 101 ELSE a94 102 ENDIF; 103a105 : BOOLEAN = 104 IF t THEN u 105 ELSE FALSE 106 ENDIF; 107a111 : BOOLEAN = 108 IF p THEN q 109 ELSE TRUE 110 ENDIF; 111a112 : BOOLEAN = 112 IF q THEN r 113 ELSE TRUE 114 ENDIF; 115a114 : BOOLEAN = 116 IF p THEN r 117 ELSE TRUE 118 ENDIF; 119a116 : BOOLEAN = 120 IF s THEN t 121 ELSE a65 122 ENDIF; 123a121 : BOOLEAN = 124 IF a46 THEN a41 125 ELSE TRUE 126 ENDIF; 127a126 : BOOLEAN = 128 IF a59 THEN a61 129 ELSE 130 IF a61 THEN FALSE 131 ELSE TRUE 132 ENDIF 133 ENDIF; 134a130 : BOOLEAN = 135 IF q THEN TRUE 136 ELSE r 137 ENDIF; 138a132 : BOOLEAN = 139 IF p THEN r 140 ELSE FALSE 141 ENDIF; 142a133 : BOOLEAN = 143 IF a73 THEN TRUE 144 ELSE a132 145 ENDIF; 146a138 : BOOLEAN = 147 IF a92 THEN 148 IF s THEN TRUE 149 ELSE u 150 ENDIF 151 ELSE FALSE 152 ENDIF; 153a143 : BOOLEAN = 154 IF a114 THEN a112 155 ELSE FALSE 156 ENDIF; 157a145 : BOOLEAN = 158 IF 159 IF 160 IF p THEN TRUE 161 ELSE q 162 ENDIF THEN r 163 ELSE TRUE 164 ENDIF THEN a143 165 ELSE 166 IF a143 THEN FALSE 167 ELSE TRUE 168 ENDIF 169 ENDIF; 170a147 : BOOLEAN = 171 IF s THEN t 172 ELSE TRUE 173 ENDIF; 174a148 : BOOLEAN = 175 IF s THEN u 176 ELSE TRUE 177 ENDIF; 178a149 : BOOLEAN = 179 IF a147 THEN TRUE 180 ELSE a148 181 ENDIF; 182a153 : BOOLEAN = 183 IF a73 THEN r 184 ELSE TRUE 185 ENDIF; 186a154 : BOOLEAN = 187 IF a114 THEN TRUE 188 ELSE a112 189 ENDIF; 190a158 : BOOLEAN = 191 IF a147 THEN a148 192 ELSE FALSE 193 ENDIF; 194a162 : BOOLEAN = 195 IF p THEN a112 196 ELSE TRUE 197 ENDIF; 198a167 : BOOLEAN = 199 IF a46 THEN TRUE 200 ELSE a59 201 ENDIF; 202a171 : BOOLEAN = 203 IF a61 THEN a65 204 ELSE FALSE 205 ENDIF; 206a176 : BOOLEAN = 207 IF p THEN q 208 ELSE r 209 ENDIF; 210a178 : BOOLEAN = 211 IF p THEN a46 212 ELSE a59 213 ENDIF; 214a183 : BOOLEAN = 215 IF s THEN a65 216 ELSE 217 IF a65 THEN FALSE 218 ELSE TRUE 219 ENDIF 220 ENDIF; 221a187 : BOOLEAN = 222 IF a41 THEN TRUE 223 ELSE q 224 ENDIF; 225a192 : BOOLEAN = 226 IF 227 IF r THEN s 228 ELSE FALSE 229 ENDIF THEN TRUE 230 ELSE 231 IF a59 THEN t 232 ELSE FALSE 233 ENDIF 234 ENDIF; 235a197 : BOOLEAN = 236 IF a111 THEN 237 IF a41 THEN r 238 ELSE TRUE 239 ENDIF 240 ELSE FALSE 241 ENDIF; 242a200 : BOOLEAN = 243 IF a49 THEN TRUE 244 ELSE a171 245 ENDIF; 246a204 : BOOLEAN = 247 IF p THEN q 248 ELSE a46 249 ENDIF; 250a205 : BOOLEAN = 251 IF q THEN p 252 ELSE TRUE 253 ENDIF; 254a206 : BOOLEAN = 255 IF a111 THEN a205 256 ELSE FALSE 257 ENDIF; 258a210 : BOOLEAN = 259 IF p THEN a46 260 ELSE TRUE 261 ENDIF; 262a214 : BOOLEAN = 263 IF a73 THEN FALSE 264 ELSE TRUE 265 ENDIF; 266a221 : BOOLEAN = 267 IF 268 IF p THEN a46 269 ELSE FALSE 270 ENDIF THEN r 271 ELSE TRUE 272 ENDIF; 273a225 : BOOLEAN = 274 IF a187 THEN a132 275 ELSE TRUE 276 ENDIF; 277a228 : BOOLEAN = 278 IF q THEN r 279 ELSE a59 280 ENDIF; 281a231 : BOOLEAN = 282 IF a204 THEN r 283 ELSE a59 284 ENDIF; 285a237 : BOOLEAN = 286 IF q THEN a132 287 ELSE 288 IF a41 THEN s 289 ELSE FALSE 290 ENDIF 291 ENDIF; 292a288 : BOOLEAN = 293 IF 294 IF 295 IF p THEN a41 296 ELSE a42 297 ENDIF THEN FALSE 298 ELSE TRUE 299 ENDIF THEN 300 IF 301 IF a45 THEN 302 IF 303 IF q THEN TRUE 304 ELSE a46 305 ENDIF THEN 306 IF 307 IF r THEN r 308 ELSE TRUE 309 ENDIF THEN 310 IF 311 IF a49 THEN s 312 ELSE TRUE 313 ENDIF THEN 314 IF u THEN 315 IF u THEN TRUE 316 ELSE v 317 ENDIF 318 ELSE TRUE 319 ENDIF 320 ELSE FALSE 321 ENDIF 322 ELSE FALSE 323 ENDIF 324 ELSE FALSE 325 ENDIF 326 ELSE FALSE 327 ENDIF THEN 328 IF 329 IF a58 THEN 330 IF 331 IF r THEN r 332 ELSE a59 333 ENDIF THEN a62 334 ELSE FALSE 335 ENDIF 336 ELSE FALSE 337 ENDIF THEN 338 IF 339 IF a45 THEN 340 IF a62 THEN 341 IF 342 IF t THEN t 343 ELSE a65 344 ENDIF THEN 345 IF a67 THEN a67 346 ELSE 347 IF a67 THEN FALSE 348 ELSE TRUE 349 ENDIF 350 ENDIF 351 ELSE FALSE 352 ENDIF 353 ELSE FALSE 354 ENDIF 355 ELSE FALSE 356 ENDIF THEN 357 IF 358 IF 359 IF a73 THEN a74 360 ELSE 361 IF a74 THEN FALSE 362 ELSE TRUE 363 ENDIF 364 ENDIF THEN 365 IF 366 IF a77 THEN a78 367 ELSE 368 IF a78 THEN FALSE 369 ELSE TRUE 370 ENDIF 371 ENDIF THEN 372 IF a81 THEN a82 373 ELSE 374 IF a82 THEN FALSE 375 ELSE TRUE 376 ENDIF 377 ENDIF 378 ELSE FALSE 379 ENDIF 380 ELSE FALSE 381 ENDIF THEN 382 IF 383 IF 384 IF 385 IF a73 THEN r 386 ELSE FALSE 387 ENDIF THEN a89 388 ELSE 389 IF a89 THEN FALSE 390 ELSE TRUE 391 ENDIF 392 ENDIF THEN 393 IF 394 IF a92 THEN TRUE 395 ELSE u 396 ENDIF THEN a95 397 ELSE 398 IF a95 THEN FALSE 399 ELSE TRUE 400 ENDIF 401 ENDIF 402 ELSE FALSE 403 ENDIF THEN 404 IF 405 IF 406 IF 407 IF p THEN p 408 ELSE FALSE 409 ENDIF THEN p 410 ELSE a41 411 ENDIF THEN 412 IF 413 IF 414 IF q THEN TRUE 415 ELSE q 416 ENDIF THEN q 417 ELSE a46 418 ENDIF THEN 419 IF 420 IF 421 IF r THEN a77 422 ELSE FALSE 423 ENDIF THEN r 424 ELSE a59 425 ENDIF THEN 426 IF 427 IF t THEN TRUE 428 ELSE a105 429 ENDIF THEN t 430 ELSE a65 431 ENDIF 432 ELSE FALSE 433 ENDIF 434 ELSE FALSE 435 ENDIF 436 ELSE FALSE 437 ENDIF THEN 438 IF a58 THEN 439 IF 440 IF 441 IF 442 IF a111 THEN a112 443 ELSE FALSE 444 ENDIF THEN a114 445 ELSE TRUE 446 ENDIF THEN 447 IF 448 IF a116 THEN a81 449 ELSE FALSE 450 ENDIF THEN 451 IF s THEN u 452 ELSE a67 453 ENDIF 454 ELSE TRUE 455 ENDIF 456 ELSE FALSE 457 ENDIF THEN 458 IF 459 IF 460 IF a111 THEN a121 461 ELSE 462 IF a121 THEN FALSE 463 ELSE TRUE 464 ENDIF 465 ENDIF THEN 466 IF 467 IF r THEN s 468 ELSE a61 469 ENDIF THEN a126 470 ELSE 471 IF a126 THEN FALSE 472 ELSE TRUE 473 ENDIF 474 ENDIF 475 ELSE FALSE 476 ENDIF THEN 477 IF 478 IF 479 IF 480 IF p THEN a130 481 ELSE FALSE 482 ENDIF THEN a133 483 ELSE 484 IF a133 THEN FALSE 485 ELSE TRUE 486 ENDIF 487 ENDIF THEN 488 IF 489 IF s THEN TRUE 490 ELSE a105 491 ENDIF THEN a138 492 ELSE 493 IF a138 THEN FALSE 494 ELSE TRUE 495 ENDIF 496 ENDIF 497 ELSE FALSE 498 ENDIF THEN 499 IF 500 IF a145 THEN 501 IF 502 IF s THEN a94 503 ELSE TRUE 504 ENDIF THEN a149 505 ELSE 506 IF a149 THEN FALSE 507 ELSE TRUE 508 ENDIF 509 ENDIF 510 ELSE FALSE 511 ENDIF THEN 512 IF 513 IF 514 IF a153 THEN a154 515 ELSE 516 IF a154 THEN FALSE 517 ELSE TRUE 518 ENDIF 519 ENDIF THEN 520 IF 521 IF s THEN a105 522 ELSE TRUE 523 ENDIF THEN a158 524 ELSE 525 IF a158 THEN FALSE 526 ELSE TRUE 527 ENDIF 528 ENDIF 529 ELSE FALSE 530 ENDIF THEN 531 IF 532 IF a153 THEN a162 533 ELSE 534 IF a162 THEN FALSE 535 ELSE TRUE 536 ENDIF 537 ENDIF THEN 538 IF 539 IF 540 IF a42 THEN p 541 ELSE a41 542 ENDIF THEN 543 IF 544 IF 545 IF a88 THEN FALSE 546 ELSE TRUE 547 ENDIF THEN a167 548 ELSE 549 IF a167 THEN FALSE 550 ELSE TRUE 551 ENDIF 552 ENDIF THEN 553 IF 554 IF a92 THEN FALSE 555 ELSE TRUE 556 ENDIF THEN a171 557 ELSE 558 IF a171 THEN FALSE 559 ELSE TRUE 560 ENDIF 561 ENDIF 562 ELSE FALSE 563 ENDIF 564 ELSE FALSE 565 ENDIF THEN 566 IF 567 IF 568 IF 569 IF a176 THEN FALSE 570 ELSE TRUE 571 ENDIF THEN a178 572 ELSE 573 IF a178 THEN FALSE 574 ELSE TRUE 575 ENDIF 576 ENDIF THEN 577 IF 578 IF a116 THEN FALSE 579 ELSE TRUE 580 ENDIF THEN a183 581 ELSE 582 IF a183 THEN FALSE 583 ELSE TRUE 584 ENDIF 585 ENDIF 586 ELSE FALSE 587 ENDIF THEN 588 IF 589 IF 590 IF a111 THEN a187 591 ELSE 592 IF a187 THEN FALSE 593 ELSE TRUE 594 ENDIF 595 ENDIF THEN 596 IF 597 IF r THEN s 598 ELSE t 599 ENDIF THEN a192 600 ELSE 601 IF a192 THEN FALSE 602 ELSE TRUE 603 ENDIF 604 ENDIF 605 ELSE FALSE 606 ENDIF THEN 607 IF 608 IF 609 IF a176 THEN a197 610 ELSE 611 IF a197 THEN FALSE 612 ELSE TRUE 613 ENDIF 614 ENDIF THEN 615 IF a116 THEN a200 616 ELSE 617 IF a200 THEN FALSE 618 ELSE TRUE 619 ENDIF 620 ENDIF 621 ELSE FALSE 622 ENDIF THEN 623 IF 624 IF a204 THEN a206 625 ELSE 626 IF a206 THEN FALSE 627 ELSE TRUE 628 ENDIF 629 ENDIF THEN 630 IF 631 IF a111 THEN TRUE 632 ELSE a205 633 ENDIF THEN 634 IF 635 IF a46 THEN TRUE 636 ELSE 637 IF 638 IF a210 THEN p 639 ELSE FALSE 640 ENDIF THEN FALSE 641 ELSE TRUE 642 ENDIF 643 ENDIF THEN 644 IF 645 IF a210 THEN a214 646 ELSE 647 IF a214 THEN FALSE 648 ELSE TRUE 649 ENDIF 650 ENDIF THEN 651 IF a145 THEN 652 IF 653 IF a162 THEN a153 654 ELSE 655 IF a153 THEN FALSE 656 ELSE TRUE 657 ENDIF 658 ENDIF THEN 659 IF 660 IF 661 IF p THEN a130 662 ELSE TRUE 663 ENDIF THEN a221 664 ELSE 665 IF a221 THEN FALSE 666 ELSE TRUE 667 ENDIF 668 ENDIF THEN 669 IF 670 IF 671 IF p THEN a112 672 ELSE FALSE 673 ENDIF THEN a225 674 ELSE 675 IF a225 THEN FALSE 676 ELSE TRUE 677 ENDIF 678 ENDIF THEN 679 IF 680 IF 681 IF p THEN a228 682 ELSE 683 IF a228 THEN FALSE 684 ELSE TRUE 685 ENDIF 686 ENDIF THEN a231 687 ELSE 688 IF a231 THEN FALSE 689 ELSE TRUE 690 ENDIF 691 ENDIF THEN 692 IF 693 IF 694 IF p THEN a88 695 ELSE 696 IF a46 THEN s 697 ELSE FALSE 698 ENDIF 699 ENDIF THEN a237 700 ELSE 701 IF a237 THEN FALSE 702 ELSE TRUE 703 ENDIF 704 ENDIF THEN 705 IF 706 IF 707 IF P1 THEN 708 IF P2 THEN TRUE 709 ELSE P3 710 ENDIF 711 ELSE 712 IF P3 THEN TRUE 713 ELSE P4 714 ENDIF 715 ENDIF THEN 716 IF 717 IF P3 THEN 718 IF P6 THEN FALSE 719 ELSE TRUE 720 ENDIF 721 ELSE 722 IF P4 THEN P1 723 ELSE TRUE 724 ENDIF 725 ENDIF THEN 726 IF 727 IF 728 IF P2 THEN P5 729 ELSE FALSE 730 ENDIF THEN FALSE 731 ELSE TRUE 732 ENDIF THEN 733 IF P2 THEN P5 734 ELSE TRUE 735 ENDIF 736 ELSE FALSE 737 ENDIF 738 ELSE FALSE 739 ENDIF 740 ELSE FALSE 741 ENDIF THEN 742 IF 743 IF P3 THEN P6 744 ELSE TRUE 745 ENDIF THEN FALSE 746 ELSE TRUE 747 ENDIF 748 ELSE TRUE 749 ENDIF 750 ELSE FALSE 751 ENDIF 752 ELSE FALSE 753 ENDIF 754 ELSE FALSE 755 ENDIF 756 ELSE FALSE 757 ENDIF 758 ELSE FALSE 759 ENDIF 760 ELSE FALSE 761 ENDIF 762 ELSE FALSE 763 ENDIF 764 ELSE FALSE 765 ENDIF 766 ELSE FALSE 767 ENDIF 768 ELSE FALSE 769 ENDIF 770 ELSE FALSE 771 ENDIF 772 ELSE FALSE 773 ENDIF 774 ELSE FALSE 775 ENDIF 776 ELSE FALSE 777 ENDIF 778 ELSE FALSE 779 ENDIF 780 ELSE FALSE 781 ENDIF 782 ELSE FALSE 783 ENDIF 784 ELSE FALSE 785 ENDIF 786 ELSE FALSE 787 ENDIF 788 ELSE FALSE 789 ENDIF 790 ELSE FALSE 791 ENDIF 792 ELSE FALSE 793 ENDIF 794 ELSE FALSE 795 ENDIF 796 ELSE FALSE 797 ENDIF 798 ELSE FALSE 799 ENDIF 800 ELSE FALSE 801 ENDIF 802 ELSE FALSE 803 ENDIF 804 ELSE FALSE 805 ENDIF; 806QUERY a288; 807