input = """
p cnf 2 2
c 2 steps(23)
c 3 time(0)
c 4 time(1)
c 5 time(2)
c 6 time(3)
c 7 time(4)
c 8 time(5)
c 9 time(6)
c 10 time(7)
c 11 time(8)
c 12 time(9)
c 13 time(10)
c 14 time(11)
c 15 time(12)
c 16 time(13)
c 17 time(14)
c 18 time(15)
c 19 time(16)
c 20 time(17)
c 21 time(18)
c 22 time(19)
c 23 time(20)
c 24 time(21)
c 25 time(22)
c 26 time(23)
c 27 disk(1)
c 28 disk(2)
c 29 disk(3)
c 30 disk(4)
c 31 disk(5)
c 32 disk(6)
c 33 disk(7)
c 34 disk(8)
c 35 disk(9)
c 36 disk(10)
c 37 disk(11)
c 38 disk(12)
c 39 disk(13)
c 40 disk(14)
c 41 disk(15)
c 42 disk(16)
c 43 disk(17)
c 44 disk(18)
c 45 disk(19)
c 46 disk(20)
c 47 disk(21)
c 48 on0(5,1)
c 49 on0(6,5)
c 50 on0(7,6)
c 51 on0(8,7)
c 52 on0(9,8)
c 53 on0(10,9)
c 54 on0(11,10)
c 55 on0(12,11)
c 56 on0(13,12)
c 57 on0(16,3)
c 58 on0(17,16)
c 59 on0(18,17)
c 60 on0(19,18)
c 61 on0(20,19)
c 62 on0(21,20)
c 63 on0(14,4)
c 64 on0(15,14)
c 65 ongoal(5,1)
c 66 ongoal(6,5)
c 67 ongoal(7,6)
c 68 ongoal(8,7)
c 69 ongoal(9,8)
c 70 ongoal(10,9)
c 71 ongoal(11,2)
c 72 ongoal(12,11)
c 73 ongoal(13,12)
c 74 ongoal(14,13)
c 75 ongoal(15,14)
c 76 ongoal(16,3)
c 77 ongoal(17,16)
c 78 ongoal(18,17)
c 79 ongoal(19,18)
c 80 ongoal(20,19)
c 81 ongoal(21,20)
c 82 on(0,14,15)
c 83 on(0,4,14)
c 84 on(0,20,21)
c 85 on(0,19,20)
c 86 on(0,18,19)
c 87 on(0,17,18)
c 88 on(0,16,17)
c 89 on(0,3,16)
c 90 on(0,12,13)
c 91 on(0,11,12)
c 92 on(0,10,11)
c 93 on(0,9,10)
c 94 on(0,8,9)
c 95 on(0,7,8)
c 96 on(0,6,7)
c 97 on(0,5,6)
c 98 on(0,1,5)
c 99 onG(23,20,21)
c 100 onG(23,19,20)
c 101 onG(23,18,19)
c 102 onG(23,17,18)
c 103 onG(23,16,17)
c 104 onG(23,3,16)
c 105 onG(23,14,15)
c 106 onG(23,13,14)
c 107 onG(23,12,13)
c 108 onG(23,11,12)
c 109 onG(23,2,11)
c 110 onG(23,9,10)
c 111 onG(23,8,9)
c 112 onG(23,7,8)
c 113 onG(23,6,7)
c 114 onG(23,5,6)
c 115 onG(23,1,5)
c 116 move(22,21)
c 117 noMove(22,21)
c 119 move(21,21)
c 120 noMove(21,21)
c 122 move(20,21)
c 123 noMove(20,21)
c 125 move(19,21)
c 126 noMove(19,21)
c 128 move(18,21)
c 129 noMove(18,21)
c 131 move(17,21)
c 132 noMove(17,21)
c 134 move(16,21)
c 135 noMove(16,21)
c 137 move(15,21)
c 138 noMove(15,21)
c 140 move(14,21)
c 141 noMove(14,21)
c 143 move(13,21)
c 144 noMove(13,21)
c 146 move(12,21)
c 147 noMove(12,21)
c 149 move(11,21)
c 150 noMove(11,21)
c 152 move(10,21)
c 153 noMove(10,21)
c 155 move(9,21)
c 156 noMove(9,21)
c 158 move(8,21)
c 159 noMove(8,21)
c 161 move(7,21)
c 162 noMove(7,21)
c 164 move(6,21)
c 165 noMove(6,21)
c 167 move(5,21)
c 168 noMove(5,21)
c 170 move(4,21)
c 171 noMove(4,21)
c 173 move(3,21)
c 174 noMove(3,21)
c 176 move(2,21)
c 177 noMove(2,21)
c 179 move(1,21)
c 180 noMove(1,21)
c 182 move(0,21)
c 183 noMove(0,21)
c 185 move(22,20)
c 186 noMove(22,20)
c 188 move(21,20)
c 189 noMove(21,20)
c 191 move(20,20)
c 192 noMove(20,20)
c 194 move(19,20)
c 195 noMove(19,20)
c 197 move(18,20)
c 198 noMove(18,20)
c 200 move(17,20)
c 201 noMove(17,20)
c 203 move(16,20)
c 204 noMove(16,20)
c 206 move(15,20)
c 207 noMove(15,20)
c 209 move(14,20)
c 210 noMove(14,20)
c 212 move(13,20)
c 213 noMove(13,20)
c 215 move(12,20)
c 216 noMove(12,20)
c 218 move(11,20)
c 219 noMove(11,20)
c 221 move(10,20)
c 222 noMove(10,20)
c 224 move(9,20)
c 225 noMove(9,20)
c 227 move(8,20)
c 228 noMove(8,20)
c 230 move(7,20)
c 231 noMove(7,20)
c 233 move(6,20)
c 234 noMove(6,20)
c 236 move(5,20)
c 237 noMove(5,20)
c 239 move(4,20)
c 240 noMove(4,20)
c 242 move(3,20)
c 243 noMove(3,20)
c 245 move(2,20)
c 246 noMove(2,20)
c 248 move(1,20)
c 249 noMove(1,20)
c 251 move(0,20)
c 252 noMove(0,20)
c 254 move(22,19)
c 255 noMove(22,19)
c 257 move(21,19)
c 258 noMove(21,19)
c 260 move(20,19)
c 261 noMove(20,19)
c 263 move(19,19)
c 264 noMove(19,19)
c 266 move(18,19)
c 267 noMove(18,19)
c 269 move(17,19)
c 270 noMove(17,19)
c 272 move(16,19)
c 273 noMove(16,19)
c 275 move(15,19)
c 276 noMove(15,19)
c 278 move(14,19)
c 279 noMove(14,19)
c 281 move(13,19)
c 282 noMove(13,19)
c 284 move(12,19)
c 285 noMove(12,19)
c 287 move(11,19)
c 288 noMove(11,19)
c 290 move(10,19)
c 291 noMove(10,19)
c 293 move(9,19)
c 294 noMove(9,19)
c 296 move(8,19)
c 297 noMove(8,19)
c 299 move(7,19)
c 300 noMove(7,19)
c 302 move(6,19)
c 303 noMove(6,19)
c 305 move(5,19)
c 306 noMove(5,19)
c 308 move(4,19)
c 309 noMove(4,19)
c 311 move(3,19)
c 312 noMove(3,19)
c 314 move(2,19)
c 315 noMove(2,19)
c 317 move(1,19)
c 318 noMove(1,19)
c 320 move(0,19)
c 321 noMove(0,19)
c 323 move(22,18)
c 324 noMove(22,18)
c 326 move(21,18)
c 327 noMove(21,18)
c 329 move(20,18)
c 330 noMove(20,18)
c 332 move(19,18)
c 333 noMove(19,18)
c 335 move(18,18)
c 336 noMove(18,18)
c 338 move(17,18)
c 339 noMove(17,18)
c 341 move(16,18)
c 342 noMove(16,18)
c 344 move(15,18)
c 345 noMove(15,18)
c 347 move(14,18)
c 348 noMove(14,18)
c 350 move(13,18)
c 351 noMove(13,18)
c 353 move(12,18)
c 354 noMove(12,18)
c 356 move(11,18)
c 357 noMove(11,18)
c 359 move(10,18)
c 360 noMove(10,18)
c 362 move(9,18)
c 363 noMove(9,18)
c 365 move(8,18)
c 366 noMove(8,18)
c 368 move(7,18)
c 369 noMove(7,18)
c 371 move(6,18)
c 372 noMove(6,18)
c 374 move(5,18)
c 375 noMove(5,18)
c 377 move(4,18)
c 378 noMove(4,18)
c 380 move(3,18)
c 381 noMove(3,18)
c 383 move(2,18)
c 384 noMove(2,18)
c 386 move(1,18)
c 387 noMove(1,18)
c 389 move(0,18)
c 390 noMove(0,18)
c 392 move(22,17)
c 393 noMove(22,17)
c 395 move(21,17)
c 396 noMove(21,17)
c 398 move(20,17)
c 399 noMove(20,17)
c 401 move(19,17)
c 402 noMove(19,17)
c 404 move(18,17)
c 405 noMove(18,17)
c 407 move(17,17)
c 408 noMove(17,17)
c 410 move(16,17)
c 411 noMove(16,17)
c 413 move(15,17)
c 414 noMove(15,17)
c 416 move(14,17)
c 417 noMove(14,17)
c 419 move(13,17)
c 420 noMove(13,17)
c 422 move(12,17)
c 423 noMove(12,17)
c 425 move(11,17)
c 426 noMove(11,17)
c 428 move(10,17)
c 429 noMove(10,17)
c 431 move(9,17)
c 432 noMove(9,17)
c 434 move(8,17)
c 435 noMove(8,17)
c 437 move(7,17)
c 438 noMove(7,17)
c 440 move(6,17)
c 441 noMove(6,17)
c 443 move(5,17)
c 444 noMove(5,17)
c 446 move(4,17)
c 447 noMove(4,17)
c 449 move(3,17)
c 450 noMove(3,17)
c 452 move(2,17)
c 453 noMove(2,17)
c 455 move(1,17)
c 456 noMove(1,17)
c 458 move(0,17)
c 459 noMove(0,17)
c 461 move(22,16)
c 462 noMove(22,16)
c 464 move(21,16)
c 465 noMove(21,16)
c 467 move(20,16)
c 468 noMove(20,16)
c 470 move(19,16)
c 471 noMove(19,16)
c 473 move(18,16)
c 474 noMove(18,16)
c 476 move(17,16)
c 477 noMove(17,16)
c 479 move(16,16)
c 480 noMove(16,16)
c 482 move(15,16)
c 483 noMove(15,16)
c 485 move(14,16)
c 486 noMove(14,16)
c 488 move(13,16)
c 489 noMove(13,16)
c 491 move(12,16)
c 492 noMove(12,16)
c 494 move(11,16)
c 495 noMove(11,16)
c 497 move(10,16)
c 498 noMove(10,16)
c 500 move(9,16)
c 501 noMove(9,16)
c 503 move(8,16)
c 504 noMove(8,16)
c 506 move(7,16)
c 507 noMove(7,16)
c 509 move(6,16)
c 510 noMove(6,16)
c 512 move(5,16)
c 513 noMove(5,16)
c 515 move(4,16)
c 516 noMove(4,16)
c 518 move(3,16)
c 519 noMove(3,16)
c 521 move(2,16)
c 522 noMove(2,16)
c 524 move(1,16)
c 525 noMove(1,16)
c 527 move(0,16)
c 528 noMove(0,16)
c 530 move(22,15)
c 531 noMove(22,15)
c 533 move(21,15)
c 534 noMove(21,15)
c 536 move(20,15)
c 537 noMove(20,15)
c 539 move(19,15)
c 540 noMove(19,15)
c 542 move(18,15)
c 543 noMove(18,15)
c 545 move(17,15)
c 546 noMove(17,15)
c 548 move(16,15)
c 549 noMove(16,15)
c 551 move(15,15)
c 552 noMove(15,15)
c 554 move(14,15)
c 555 noMove(14,15)
c 557 move(13,15)
c 558 noMove(13,15)
c 560 move(12,15)
c 561 noMove(12,15)
c 563 move(11,15)
c 564 noMove(11,15)
c 566 move(10,15)
c 567 noMove(10,15)
c 569 move(9,15)
c 570 noMove(9,15)
c 572 move(8,15)
c 573 noMove(8,15)
c 575 move(7,15)
c 576 noMove(7,15)
c 578 move(6,15)
c 579 noMove(6,15)
c 581 move(5,15)
c 582 noMove(5,15)
c 584 move(4,15)
c 585 noMove(4,15)
c 587 move(3,15)
c 588 noMove(3,15)
c 590 move(2,15)
c 591 noMove(2,15)
c 593 move(1,15)
c 594 noMove(1,15)
c 596 move(0,15)
c 597 noMove(0,15)
c 599 move(22,14)
c 600 noMove(22,14)
c 602 move(21,14)
c 603 noMove(21,14)
c 605 move(20,14)
c 606 noMove(20,14)
c 608 move(19,14)
c 609 noMove(19,14)
c 611 move(18,14)
c 612 noMove(18,14)
c 614 move(17,14)
c 615 noMove(17,14)
c 617 move(16,14)
c 618 noMove(16,14)
c 620 move(15,14)
c 621 noMove(15,14)
c 623 move(14,14)
c 624 noMove(14,14)
c 626 move(13,14)
c 627 noMove(13,14)
c 629 move(12,14)
c 630 noMove(12,14)
c 632 move(11,14)
c 633 noMove(11,14)
c 635 move(10,14)
c 636 noMove(10,14)
c 638 move(9,14)
c 639 noMove(9,14)
c 641 move(8,14)
c 642 noMove(8,14)
c 644 move(7,14)
c 645 noMove(7,14)
c 647 move(6,14)
c 648 noMove(6,14)
c 650 move(5,14)
c 651 noMove(5,14)
c 653 move(4,14)
c 654 noMove(4,14)
c 656 move(3,14)
c 657 noMove(3,14)
c 659 move(2,14)
c 660 noMove(2,14)
c 662 move(1,14)
c 663 noMove(1,14)
c 665 move(0,14)
c 666 noMove(0,14)
c 668 move(22,13)
c 669 noMove(22,13)
c 671 move(21,13)
c 672 noMove(21,13)
c 674 move(20,13)
c 675 noMove(20,13)
c 677 move(19,13)
c 678 noMove(19,13)
c 680 move(18,13)
c 681 noMove(18,13)
c 683 move(17,13)
c 684 noMove(17,13)
c 686 move(16,13)
c 687 noMove(16,13)
c 689 move(15,13)
c 690 noMove(15,13)
c 692 move(14,13)
c 693 noMove(14,13)
c 695 move(13,13)
c 696 noMove(13,13)
c 698 move(12,13)
c 699 noMove(12,13)
c 701 move(11,13)
c 702 noMove(11,13)
c 704 move(10,13)
c 705 noMove(10,13)
c 707 move(9,13)
c 708 noMove(9,13)
c 710 move(8,13)
c 711 noMove(8,13)
c 713 move(7,13)
c 714 noMove(7,13)
c 716 move(6,13)
c 717 noMove(6,13)
c 719 move(5,13)
c 720 noMove(5,13)
c 722 move(4,13)
c 723 noMove(4,13)
c 725 move(3,13)
c 726 noMove(3,13)
c 728 move(2,13)
c 729 noMove(2,13)
c 731 move(1,13)
c 732 noMove(1,13)
c 734 move(0,13)
c 735 noMove(0,13)
c 737 move(22,12)
c 738 noMove(22,12)
c 740 move(21,12)
c 741 noMove(21,12)
c 743 move(20,12)
c 744 noMove(20,12)
c 746 move(19,12)
c 747 noMove(19,12)
c 749 move(18,12)
c 750 noMove(18,12)
c 752 move(17,12)
c 753 noMove(17,12)
c 755 move(16,12)
c 756 noMove(16,12)
c 758 move(15,12)
c 759 noMove(15,12)
c 761 move(14,12)
c 762 noMove(14,12)
c 764 move(13,12)
c 765 noMove(13,12)
c 767 move(12,12)
c 768 noMove(12,12)
c 770 move(11,12)
c 771 noMove(11,12)
c 773 move(10,12)
c 774 noMove(10,12)
c 776 move(9,12)
c 777 noMove(9,12)
c 779 move(8,12)
c 780 noMove(8,12)
c 782 move(7,12)
c 783 noMove(7,12)
c 785 move(6,12)
c 786 noMove(6,12)
c 788 move(5,12)
c 789 noMove(5,12)
c 791 move(4,12)
c 792 noMove(4,12)
c 794 move(3,12)
c 795 noMove(3,12)
c 797 move(2,12)
c 798 noMove(2,12)
c 800 move(1,12)
c 801 noMove(1,12)
c 803 move(0,12)
c 804 noMove(0,12)
c 806 move(22,11)
c 807 noMove(22,11)
c 809 move(21,11)
c 810 noMove(21,11)
c 812 move(20,11)
c 813 noMove(20,11)
c 815 move(19,11)
c 816 noMove(19,11)
c 818 move(18,11)
c 819 noMove(18,11)
c 821 move(17,11)
c 822 noMove(17,11)
c 824 move(16,11)
c 825 noMove(16,11)
c 827 move(15,11)
c 828 noMove(15,11)
c 830 move(14,11)
c 831 noMove(14,11)
c 833 move(13,11)
c 834 noMove(13,11)
c 836 move(12,11)
c 837 noMove(12,11)
c 839 move(11,11)
c 840 noMove(11,11)
c 842 move(10,11)
c 843 noMove(10,11)
c 845 move(9,11)
c 846 noMove(9,11)
c 848 move(8,11)
c 849 noMove(8,11)
c 851 move(7,11)
c 852 noMove(7,11)
c 854 move(6,11)
c 855 noMove(6,11)
c 857 move(5,11)
c 858 noMove(5,11)
c 860 move(4,11)
c 861 noMove(4,11)
c 863 move(3,11)
c 864 noMove(3,11)
c 866 move(2,11)
c 867 noMove(2,11)
c 869 move(1,11)
c 870 noMove(1,11)
c 872 move(0,11)
c 873 noMove(0,11)
c 875 move(22,10)
c 876 noMove(22,10)
c 878 move(21,10)
c 879 noMove(21,10)
c 881 move(20,10)
c 882 noMove(20,10)
c 884 move(19,10)
c 885 noMove(19,10)
c 887 move(18,10)
c 888 noMove(18,10)
c 890 move(17,10)
c 891 noMove(17,10)
c 893 move(16,10)
c 894 noMove(16,10)
c 896 move(15,10)
c 897 noMove(15,10)
c 899 move(14,10)
c 900 noMove(14,10)
c 902 move(13,10)
c 903 noMove(13,10)
c 905 move(12,10)
c 906 noMove(12,10)
c 908 move(11,10)
c 909 noMove(11,10)
c 911 move(10,10)
c 912 noMove(10,10)
c 914 move(9,10)
c 915 noMove(9,10)
c 917 move(8,10)
c 918 noMove(8,10)
c 920 move(7,10)
c 921 noMove(7,10)
c 923 move(6,10)
c 924 noMove(6,10)
c 926 move(5,10)
c 927 noMove(5,10)
c 929 move(4,10)
c 930 noMove(4,10)
c 932 move(3,10)
c 933 noMove(3,10)
c 935 move(2,10)
c 936 noMove(2,10)
c 938 move(1,10)
c 939 noMove(1,10)
c 941 move(0,10)
c 942 noMove(0,10)
c 944 move(22,9)
c 945 noMove(22,9)
c 947 move(21,9)
c 948 noMove(21,9)
c 950 move(20,9)
c 951 noMove(20,9)
c 953 move(19,9)
c 954 noMove(19,9)
c 956 move(18,9)
c 957 noMove(18,9)
c 959 move(17,9)
c 960 noMove(17,9)
c 962 move(16,9)
c 963 noMove(16,9)
c 965 move(15,9)
c 966 noMove(15,9)
c 968 move(14,9)
c 969 noMove(14,9)
c 971 move(13,9)
c 972 noMove(13,9)
c 974 move(12,9)
c 975 noMove(12,9)
c 977 move(11,9)
c 978 noMove(11,9)
c 980 move(10,9)
c 981 noMove(10,9)
c 983 move(9,9)
c 984 noMove(9,9)
c 986 move(8,9)
c 987 noMove(8,9)
c 989 move(7,9)
c 990 noMove(7,9)
c 992 move(6,9)
c 993 noMove(6,9)
c 995 move(5,9)
c 996 noMove(5,9)
c 998 move(4,9)
c 999 noMove(4,9)
c 1001 move(3,9)
c 1002 noMove(3,9)
c 1004 move(2,9)
c 1005 noMove(2,9)
c 1007 move(1,9)
c 1008 noMove(1,9)
c 1010 move(0,9)
c 1011 noMove(0,9)
c 1013 move(22,8)
c 1014 noMove(22,8)
c 1016 move(21,8)
c 1017 noMove(21,8)
c 1019 move(20,8)
c 1020 noMove(20,8)
c 1022 move(19,8)
c 1023 noMove(19,8)
c 1025 move(18,8)
c 1026 noMove(18,8)
c 1028 move(17,8)
c 1029 noMove(17,8)
c 1031 move(16,8)
c 1032 noMove(16,8)
c 1034 move(15,8)
c 1035 noMove(15,8)
c 1037 move(14,8)
c 1038 noMove(14,8)
c 1040 move(13,8)
c 1041 noMove(13,8)
c 1043 move(12,8)
c 1044 noMove(12,8)
c 1046 move(11,8)
c 1047 noMove(11,8)
c 1049 move(10,8)
c 1050 noMove(10,8)
c 1052 move(9,8)
c 1053 noMove(9,8)
c 1055 move(8,8)
c 1056 noMove(8,8)
c 1058 move(7,8)
c 1059 noMove(7,8)
c 1061 move(6,8)
c 1062 noMove(6,8)
c 1064 move(5,8)
c 1065 noMove(5,8)
c 1067 move(4,8)
c 1068 noMove(4,8)
c 1070 move(3,8)
c 1071 noMove(3,8)
c 1073 move(2,8)
c 1074 noMove(2,8)
c 1076 move(1,8)
c 1077 noMove(1,8)
c 1079 move(0,8)
c 1080 noMove(0,8)
c 1082 move(22,7)
c 1083 noMove(22,7)
c 1085 move(21,7)
c 1086 noMove(21,7)
c 1088 move(20,7)
c 1089 noMove(20,7)
c 1091 move(19,7)
c 1092 noMove(19,7)
c 1094 move(18,7)
c 1095 noMove(18,7)
c 1097 move(17,7)
c 1098 noMove(17,7)
c 1100 move(16,7)
c 1101 noMove(16,7)
c 1103 move(15,7)
c 1104 noMove(15,7)
c 1106 move(14,7)
c 1107 noMove(14,7)
c 1109 move(13,7)
c 1110 noMove(13,7)
c 1112 move(12,7)
c 1113 noMove(12,7)
c 1115 move(11,7)
c 1116 noMove(11,7)
c 1118 move(10,7)
c 1119 noMove(10,7)
c 1121 move(9,7)
c 1122 noMove(9,7)
c 1124 move(8,7)
c 1125 noMove(8,7)
c 1127 move(7,7)
c 1128 noMove(7,7)
c 1130 move(6,7)
c 1131 noMove(6,7)
c 1133 move(5,7)
c 1134 noMove(5,7)
c 1136 move(4,7)
c 1137 noMove(4,7)
c 1139 move(3,7)
c 1140 noMove(3,7)
c 1142 move(2,7)
c 1143 noMove(2,7)
c 1145 move(1,7)
c 1146 noMove(1,7)
c 1148 move(0,7)
c 1149 noMove(0,7)
c 1151 move(22,6)
c 1152 noMove(22,6)
c 1154 move(21,6)
c 1155 noMove(21,6)
c 1157 move(20,6)
c 1158 noMove(20,6)
c 1160 move(19,6)
c 1161 noMove(19,6)
c 1163 move(18,6)
c 1164 noMove(18,6)
c 1166 move(17,6)
c 1167 noMove(17,6)
c 1169 move(16,6)
c 1170 noMove(16,6)
c 1172 move(15,6)
c 1173 noMove(15,6)
c 1175 move(14,6)
c 1176 noMove(14,6)
c 1178 move(13,6)
c 1179 noMove(13,6)
c 1181 move(12,6)
c 1182 noMove(12,6)
c 1184 move(11,6)
c 1185 noMove(11,6)
c 1187 move(10,6)
c 1188 noMove(10,6)
c 1190 move(9,6)
c 1191 noMove(9,6)
c 1193 move(8,6)
c 1194 noMove(8,6)
c 1196 move(7,6)
c 1197 noMove(7,6)
c 1199 move(6,6)
c 1200 noMove(6,6)
c 1202 move(5,6)
c 1203 noMove(5,6)
c 1205 move(4,6)
c 1206 noMove(4,6)
c 1208 move(3,6)
c 1209 noMove(3,6)
c 1211 move(2,6)
c 1212 noMove(2,6)
c 1214 move(1,6)
c 1215 noMove(1,6)
c 1217 move(0,6)
c 1218 noMove(0,6)
c 1220 move(22,5)
c 1221 noMove(22,5)
c 1223 move(21,5)
c 1224 noMove(21,5)
c 1226 move(20,5)
c 1227 noMove(20,5)
c 1229 move(19,5)
c 1230 noMove(19,5)
c 1232 move(18,5)
c 1233 noMove(18,5)
c 1235 move(17,5)
c 1236 noMove(17,5)
c 1238 move(16,5)
c 1239 noMove(16,5)
c 1241 move(15,5)
c 1242 noMove(15,5)
c 1244 move(14,5)
c 1245 noMove(14,5)
c 1247 move(13,5)
c 1248 noMove(13,5)
c 1250 move(12,5)
c 1251 noMove(12,5)
c 1253 move(11,5)
c 1254 noMove(11,5)
c 1256 move(10,5)
c 1257 noMove(10,5)
c 1259 move(9,5)
c 1260 noMove(9,5)
c 1262 move(8,5)
c 1263 noMove(8,5)
c 1265 move(7,5)
c 1266 noMove(7,5)
c 1268 move(6,5)
c 1269 noMove(6,5)
c 1271 move(5,5)
c 1272 noMove(5,5)
c 1274 move(4,5)
c 1275 noMove(4,5)
c 1277 move(3,5)
c 1278 noMove(3,5)
c 1280 move(2,5)
c 1281 noMove(2,5)
c 1283 move(1,5)
c 1284 noMove(1,5)
c 1286 move(0,5)
c 1287 noMove(0,5)
c 1289 move(22,4)
c 1290 noMove(22,4)
c 1292 move(21,4)
c 1293 noMove(21,4)
c 1295 move(20,4)
c 1296 noMove(20,4)
c 1298 move(19,4)
c 1299 noMove(19,4)
c 1301 move(18,4)
c 1302 noMove(18,4)
c 1304 move(17,4)
c 1305 noMove(17,4)
c 1307 move(16,4)
c 1308 noMove(16,4)
c 1310 move(15,4)
c 1311 noMove(15,4)
c 1313 move(14,4)
c 1314 noMove(14,4)
c 1316 move(13,4)
c 1317 noMove(13,4)
c 1319 move(12,4)
c 1320 noMove(12,4)
c 1322 move(11,4)
c 1323 noMove(11,4)
c 1325 move(10,4)
c 1326 noMove(10,4)
c 1328 move(9,4)
c 1329 noMove(9,4)
c 1331 move(8,4)
c 1332 noMove(8,4)
c 1334 move(7,4)
c 1335 noMove(7,4)
c 1337 move(6,4)
c 1338 noMove(6,4)
c 1340 move(5,4)
c 1341 noMove(5,4)
c 1343 move(4,4)
c 1344 noMove(4,4)
c 1346 move(3,4)
c 1347 noMove(3,4)
c 1349 move(2,4)
c 1350 noMove(2,4)
c 1352 move(1,4)
c 1353 noMove(1,4)
c 1355 move(0,4)
c 1356 noMove(0,4)
c 1358 move(22,3)
c 1359 noMove(22,3)
c 1361 move(21,3)
c 1362 noMove(21,3)
c 1364 move(20,3)
c 1365 noMove(20,3)
c 1367 move(19,3)
c 1368 noMove(19,3)
c 1370 move(18,3)
c 1371 noMove(18,3)
c 1373 move(17,3)
c 1374 noMove(17,3)
c 1376 move(16,3)
c 1377 noMove(16,3)
c 1379 move(15,3)
c 1380 noMove(15,3)
c 1382 move(14,3)
c 1383 noMove(14,3)
c 1385 move(13,3)
c 1386 noMove(13,3)
c 1388 move(12,3)
c 1389 noMove(12,3)
c 1391 move(11,3)
c 1392 noMove(11,3)
c 1394 move(10,3)
c 1395 noMove(10,3)
c 1397 move(9,3)
c 1398 noMove(9,3)
c 1400 move(8,3)
c 1401 noMove(8,3)
c 1403 move(7,3)
c 1404 noMove(7,3)
c 1406 move(6,3)
c 1407 noMove(6,3)
c 1409 move(5,3)
c 1410 noMove(5,3)
c 1412 move(4,3)
c 1413 noMove(4,3)
c 1415 move(3,3)
c 1416 noMove(3,3)
c 1418 move(2,3)
c 1419 noMove(2,3)
c 1421 move(1,3)
c 1422 noMove(1,3)
c 1424 move(0,3)
c 1425 noMove(0,3)
c 1427 move(22,2)
c 1428 noMove(22,2)
c 1430 move(21,2)
c 1431 noMove(21,2)
c 1433 move(20,2)
c 1434 noMove(20,2)
c 1436 move(19,2)
c 1437 noMove(19,2)
c 1439 move(18,2)
c 1440 noMove(18,2)
c 1442 move(17,2)
c 1443 noMove(17,2)
c 1445 move(16,2)
c 1446 noMove(16,2)
c 1448 move(15,2)
c 1449 noMove(15,2)
c 1451 move(14,2)
c 1452 noMove(14,2)
c 1454 move(13,2)
c 1455 noMove(13,2)
c 1457 move(12,2)
c 1458 noMove(12,2)
c 1460 move(11,2)
c 1461 noMove(11,2)
c 1463 move(10,2)
c 1464 noMove(10,2)
c 1466 move(9,2)
c 1467 noMove(9,2)
c 1469 move(8,2)
c 1470 noMove(8,2)
c 1472 move(7,2)
c 1473 noMove(7,2)
c 1475 move(6,2)
c 1476 noMove(6,2)
c 1478 move(5,2)
c 1479 noMove(5,2)
c 1481 move(4,2)
c 1482 noMove(4,2)
c 1484 move(3,2)
c 1485 noMove(3,2)
c 1487 move(2,2)
c 1488 noMove(2,2)
c 1490 move(1,2)
c 1491 noMove(1,2)
c 1493 move(0,2)
c 1494 noMove(0,2)
c 1496 move(22,1)
c 1497 noMove(22,1)
c 1499 move(21,1)
c 1500 noMove(21,1)
c 1502 move(20,1)
c 1503 noMove(20,1)
c 1505 move(19,1)
c 1506 noMove(19,1)
c 1508 move(18,1)
c 1509 noMove(18,1)
c 1511 move(17,1)
c 1512 noMove(17,1)
c 1514 move(16,1)
c 1515 noMove(16,1)
c 1517 move(15,1)
c 1518 noMove(15,1)
c 1520 move(14,1)
c 1521 noMove(14,1)
c 1523 move(13,1)
c 1524 noMove(13,1)
c 1526 move(12,1)
c 1527 noMove(12,1)
c 1529 move(11,1)
c 1530 noMove(11,1)
c 1532 move(10,1)
c 1533 noMove(10,1)
c 1535 move(9,1)
c 1536 noMove(9,1)
c 1538 move(8,1)
c 1539 noMove(8,1)
c 1541 move(7,1)
c 1542 noMove(7,1)
c 1544 move(6,1)
c 1545 noMove(6,1)
c 1547 move(5,1)
c 1548 noMove(5,1)
c 1550 move(4,1)
c 1551 noMove(4,1)
c 1553 move(3,1)
c 1554 noMove(3,1)
c 1556 move(2,1)
c 1557 noMove(2,1)
c 1559 move(1,1)
c 1560 noMove(1,1)
c 1562 move(0,1)
c 1563 noMove(0,1)
c 1565 where(22,21)
c 1566 noWhere(22,21)
c 1568 where(21,21)
c 1569 noWhere(21,21)
c 1571 where(20,21)
c 1572 noWhere(20,21)
c 1574 where(19,21)
c 1575 noWhere(19,21)
c 1577 where(18,21)
c 1578 noWhere(18,21)
c 1580 where(17,21)
c 1581 noWhere(17,21)
c 1583 where(16,21)
c 1584 noWhere(16,21)
c 1586 where(15,21)
c 1587 noWhere(15,21)
c 1589 where(14,21)
c 1590 noWhere(14,21)
c 1592 where(13,21)
c 1593 noWhere(13,21)
c 1595 where(12,21)
c 1596 noWhere(12,21)
c 1598 where(11,21)
c 1599 noWhere(11,21)
c 1601 where(10,21)
c 1602 noWhere(10,21)
c 1604 where(9,21)
c 1605 noWhere(9,21)
c 1607 where(8,21)
c 1608 noWhere(8,21)
c 1610 where(7,21)
c 1611 noWhere(7,21)
c 1613 where(6,21)
c 1614 noWhere(6,21)
c 1616 where(5,21)
c 1617 noWhere(5,21)
c 1619 where(4,21)
c 1620 noWhere(4,21)
c 1622 where(3,21)
c 1623 noWhere(3,21)
c 1625 where(2,21)
c 1626 noWhere(2,21)
c 1628 where(1,21)
c 1629 noWhere(1,21)
c 1631 where(0,21)
c 1632 noWhere(0,21)
c 1634 where(22,20)
c 1635 noWhere(22,20)
c 1637 where(21,20)
c 1638 noWhere(21,20)
c 1640 where(20,20)
c 1641 noWhere(20,20)
c 1643 where(19,20)
c 1644 noWhere(19,20)
c 1646 where(18,20)
c 1647 noWhere(18,20)
c 1649 where(17,20)
c 1650 noWhere(17,20)
c 1652 where(16,20)
c 1653 noWhere(16,20)
c 1655 where(15,20)
c 1656 noWhere(15,20)
c 1658 where(14,20)
c 1659 noWhere(14,20)
c 1661 where(13,20)
c 1662 noWhere(13,20)
c 1664 where(12,20)
c 1665 noWhere(12,20)
c 1667 where(11,20)
c 1668 noWhere(11,20)
c 1670 where(10,20)
c 1671 noWhere(10,20)
c 1673 where(9,20)
c 1674 noWhere(9,20)
c 1676 where(8,20)
c 1677 noWhere(8,20)
c 1679 where(7,20)
c 1680 noWhere(7,20)
c 1682 where(6,20)
c 1683 noWhere(6,20)
c 1685 where(5,20)
c 1686 noWhere(5,20)
c 1688 where(4,20)
c 1689 noWhere(4,20)
c 1691 where(3,20)
c 1692 noWhere(3,20)
c 1694 where(2,20)
c 1695 noWhere(2,20)
c 1697 where(1,20)
c 1698 noWhere(1,20)
c 1700 where(0,20)
c 1701 noWhere(0,20)
c 1703 where(22,19)
c 1704 noWhere(22,19)
c 1706 where(21,19)
c 1707 noWhere(21,19)
c 1709 where(20,19)
c 1710 noWhere(20,19)
c 1712 where(19,19)
c 1713 noWhere(19,19)
c 1715 where(18,19)
c 1716 noWhere(18,19)
c 1718 where(17,19)
c 1719 noWhere(17,19)
c 1721 where(16,19)
c 1722 noWhere(16,19)
c 1724 where(15,19)
c 1725 noWhere(15,19)
c 1727 where(14,19)
c 1728 noWhere(14,19)
c 1730 where(13,19)
c 1731 noWhere(13,19)
c 1733 where(12,19)
c 1734 noWhere(12,19)
c 1736 where(11,19)
c 1737 noWhere(11,19)
c 1739 where(10,19)
c 1740 noWhere(10,19)
c 1742 where(9,19)
c 1743 noWhere(9,19)
c 1745 where(8,19)
c 1746 noWhere(8,19)
c 1748 where(7,19)
c 1749 noWhere(7,19)
c 1751 where(6,19)
c 1752 noWhere(6,19)
c 1754 where(5,19)
c 1755 noWhere(5,19)
c 1757 where(4,19)
c 1758 noWhere(4,19)
c 1760 where(3,19)
c 1761 noWhere(3,19)
c 1763 where(2,19)
c 1764 noWhere(2,19)
c 1766 where(1,19)
c 1767 noWhere(1,19)
c 1769 where(0,19)
c 1770 noWhere(0,19)
c 1772 where(22,18)
c 1773 noWhere(22,18)
c 1775 where(21,18)
c 1776 noWhere(21,18)
c 1778 where(20,18)
c 1779 noWhere(20,18)
c 1781 where(19,18)
c 1782 noWhere(19,18)
c 1784 where(18,18)
c 1785 noWhere(18,18)
c 1787 where(17,18)
c 1788 noWhere(17,18)
c 1790 where(16,18)
c 1791 noWhere(16,18)
c 1793 where(15,18)
c 1794 noWhere(15,18)
c 1796 where(14,18)
c 1797 noWhere(14,18)
c 1799 where(13,18)
c 1800 noWhere(13,18)
c 1802 where(12,18)
c 1803 noWhere(12,18)
c 1805 where(11,18)
c 1806 noWhere(11,18)
c 1808 where(10,18)
c 1809 noWhere(10,18)
c 1811 where(9,18)
c 1812 noWhere(9,18)
c 1814 where(8,18)
c 1815 noWhere(8,18)
c 1817 where(7,18)
c 1818 noWhere(7,18)
c 1820 where(6,18)
c 1821 noWhere(6,18)
c 1823 where(5,18)
c 1824 noWhere(5,18)
c 1826 where(4,18)
c 1827 noWhere(4,18)
c 1829 where(3,18)
c 1830 noWhere(3,18)
c 1832 where(2,18)
c 1833 noWhere(2,18)
c 1835 where(1,18)
c 1836 noWhere(1,18)
c 1838 where(0,18)
c 1839 noWhere(0,18)
c 1841 where(22,17)
c 1842 noWhere(22,17)
c 1844 where(21,17)
c 1845 noWhere(21,17)
c 1847 where(20,17)
c 1848 noWhere(20,17)
c 1850 where(19,17)
c 1851 noWhere(19,17)
c 1853 where(18,17)
c 1854 noWhere(18,17)
c 1856 where(17,17)
c 1857 noWhere(17,17)
c 1859 where(16,17)
c 1860 noWhere(16,17)
c 1862 where(15,17)
c 1863 noWhere(15,17)
c 1865 where(14,17)
c 1866 noWhere(14,17)
c 1868 where(13,17)
c 1869 noWhere(13,17)
c 1871 where(12,17)
c 1872 noWhere(12,17)
c 1874 where(11,17)
c 1875 noWhere(11,17)
c 1877 where(10,17)
c 1878 noWhere(10,17)
c 1880 where(9,17)
c 1881 noWhere(9,17)
c 1883 where(8,17)
c 1884 noWhere(8,17)
c 1886 where(7,17)
c 1887 noWhere(7,17)
c 1889 where(6,17)
c 1890 noWhere(6,17)
c 1892 where(5,17)
c 1893 noWhere(5,17)
c 1895 where(4,17)
c 1896 noWhere(4,17)
c 1898 where(3,17)
c 1899 noWhere(3,17)
c 1901 where(2,17)
c 1902 noWhere(2,17)
c 1904 where(1,17)
c 1905 noWhere(1,17)
c 1907 where(0,17)
c 1908 noWhere(0,17)
c 1910 where(22,16)
c 1911 noWhere(22,16)
c 1913 where(21,16)
c 1914 noWhere(21,16)
c 1916 where(20,16)
c 1917 noWhere(20,16)
c 1919 where(19,16)
c 1920 noWhere(19,16)
c 1922 where(18,16)
c 1923 noWhere(18,16)
c 1925 where(17,16)
c 1926 noWhere(17,16)
c 1928 where(16,16)
c 1929 noWhere(16,16)
c 1931 where(15,16)
c 1932 noWhere(15,16)
c 1934 where(14,16)
c 1935 noWhere(14,16)
c 1937 where(13,16)
c 1938 noWhere(13,16)
c 1940 where(12,16)
c 1941 noWhere(12,16)
c 1943 where(11,16)
c 1944 noWhere(11,16)
c 1946 where(10,16)
c 1947 noWhere(10,16)
c 1949 where(9,16)
c 1950 noWhere(9,16)
c 1952 where(8,16)
c 1953 noWhere(8,16)
c 1955 where(7,16)
c 1956 noWhere(7,16)
c 1958 where(6,16)
c 1959 noWhere(6,16)
c 1961 where(5,16)
c 1962 noWhere(5,16)
c 1964 where(4,16)
c 1965 noWhere(4,16)
c 1967 where(3,16)
c 1968 noWhere(3,16)
c 1970 where(2,16)
c 1971 noWhere(2,16)
c 1973 where(1,16)
c 1974 noWhere(1,16)
c 1976 where(0,16)
c 1977 noWhere(0,16)
c 1979 where(22,15)
c 1980 noWhere(22,15)
c 1982 where(21,15)
c 1983 noWhere(21,15)
c 1985 where(20,15)
c 1986 noWhere(20,15)
c 1988 where(19,15)
c 1989 noWhere(19,15)
c 1991 where(18,15)
c 1992 noWhere(18,15)
c 1994 where(17,15)
c 1995 noWhere(17,15)
c 1997 where(16,15)
c 1998 noWhere(16,15)
c 2000 where(15,15)
c 2001 noWhere(15,15)
c 2003 where(14,15)
c 2004 noWhere(14,15)
c 2006 where(13,15)
c 2007 noWhere(13,15)
c 2009 where(12,15)
c 2010 noWhere(12,15)
c 2012 where(11,15)
c 2013 noWhere(11,15)
c 2015 where(10,15)
c 2016 noWhere(10,15)
c 2018 where(9,15)
c 2019 noWhere(9,15)
c 2021 where(8,15)
c 2022 noWhere(8,15)
c 2024 where(7,15)
c 2025 noWhere(7,15)
c 2027 where(6,15)
c 2028 noWhere(6,15)
c 2030 where(5,15)
c 2031 noWhere(5,15)
c 2033 where(4,15)
c 2034 noWhere(4,15)
c 2036 where(3,15)
c 2037 noWhere(3,15)
c 2039 where(2,15)
c 2040 noWhere(2,15)
c 2042 where(1,15)
c 2043 noWhere(1,15)
c 2045 where(0,15)
c 2046 noWhere(0,15)
c 2048 where(22,14)
c 2049 noWhere(22,14)
c 2051 where(21,14)
c 2052 noWhere(21,14)
c 2054 where(20,14)
c 2055 noWhere(20,14)
c 2057 where(19,14)
c 2058 noWhere(19,14)
c 2060 where(18,14)
c 2061 noWhere(18,14)
c 2063 where(17,14)
c 2064 noWhere(17,14)
c 2066 where(16,14)
c 2067 noWhere(16,14)
c 2069 where(15,14)
c 2070 noWhere(15,14)
c 2072 where(14,14)
c 2073 noWhere(14,14)
c 2075 where(13,14)
c 2076 noWhere(13,14)
c 2078 where(12,14)
c 2079 noWhere(12,14)
c 2081 where(11,14)
c 2082 noWhere(11,14)
c 2084 where(10,14)
c 2085 noWhere(10,14)
c 2087 where(9,14)
c 2088 noWhere(9,14)
c 2090 where(8,14)
c 2091 noWhere(8,14)
c 2093 where(7,14)
c 2094 noWhere(7,14)
c 2096 where(6,14)
c 2097 noWhere(6,14)
c 2099 where(5,14)
c 2100 noWhere(5,14)
c 2102 where(4,14)
c 2103 noWhere(4,14)
c 2105 where(3,14)
c 2106 noWhere(3,14)
c 2108 where(2,14)
c 2109 noWhere(2,14)
c 2111 where(1,14)
c 2112 noWhere(1,14)
c 2114 where(0,14)
c 2115 noWhere(0,14)
c 2117 where(22,13)
c 2118 noWhere(22,13)
c 2120 where(21,13)
c 2121 noWhere(21,13)
c 2123 where(20,13)
c 2124 noWhere(20,13)
c 2126 where(19,13)
c 2127 noWhere(19,13)
c 2129 where(18,13)
c 2130 noWhere(18,13)
c 2132 where(17,13)
c 2133 noWhere(17,13)
c 2135 where(16,13)
c 2136 noWhere(16,13)
c 2138 where(15,13)
c 2139 noWhere(15,13)
c 2141 where(14,13)
c 2142 noWhere(14,13)
c 2144 where(13,13)
c 2145 noWhere(13,13)
c 2147 where(12,13)
c 2148 noWhere(12,13)
c 2150 where(11,13)
c 2151 noWhere(11,13)
c 2153 where(10,13)
c 2154 noWhere(10,13)
c 2156 where(9,13)
c 2157 noWhere(9,13)
c 2159 where(8,13)
c 2160 noWhere(8,13)
c 2162 where(7,13)
c 2163 noWhere(7,13)
c 2165 where(6,13)
c 2166 noWhere(6,13)
c 2168 where(5,13)
c 2169 noWhere(5,13)
c 2171 where(4,13)
c 2172 noWhere(4,13)
c 2174 where(3,13)
c 2175 noWhere(3,13)
c 2177 where(2,13)
c 2178 noWhere(2,13)
c 2180 where(1,13)
c 2181 noWhere(1,13)
c 2183 where(0,13)
c 2184 noWhere(0,13)
c 2186 where(22,12)
c 2187 noWhere(22,12)
c 2189 where(21,12)
c 2190 noWhere(21,12)
c 2192 where(20,12)
c 2193 noWhere(20,12)
c 2195 where(19,12)
c 2196 noWhere(19,12)
c 2198 where(18,12)
c 2199 noWhere(18,12)
c 2201 where(17,12)
c 2202 noWhere(17,12)
c 2204 where(16,12)
c 2205 noWhere(16,12)
c 2207 where(15,12)
c 2208 noWhere(15,12)
c 2210 where(14,12)
c 2211 noWhere(14,12)
c 2213 where(13,12)
c 2214 noWhere(13,12)
c 2216 where(12,12)
c 2217 noWhere(12,12)
1 2 0
1 -2 0
"""

output = """
sat
"""
