c FILE: MANN_a45.clq.b c c By: Carlo Mannino (mannino@iasi.rm.cnr.it) c c DESCRIPTION: Clique formulation of the Steiner Triple Problem, c translated from the set covering formulation c c Graph Size:1035 , Clique Size: 345 c c Clique Elements are: c 11 12 13 14 15 16 17 18 19 20 31 32 c 33 34 35 48 50 53 57 60 62 66 69 71 c 74 76 79 82 85 88 91 94 97 100 103 106 c 109 112 115 118 121 124 127 130 133 137 140 143 c 146 148 153 156 159 162 165 168 171 174 177 180 c 181 184 187 190 193 196 199 202 205 208 212 215 c 218 221 224 227 230 233 236 239 242 245 248 251 c 254 258 261 264 267 270 273 276 279 282 285 286 c 289 292 295 298 301 304 307 310 313 317 320 323 c 326 329 332 335 338 341 344 347 350 353 356 359 c 363 366 369 372 375 378 381 384 387 390 393 396 c 399 402 405 408 411 414 417 420 423 426 429 432 c 435 438 441 444 447 450 453 456 459 462 465 467 c 470 473 476 479 482 485 488 491 494 498 501 504 c 507 510 513 516 519 522 525 528 531 534 537 540 c 543 546 549 552 555 558 561 564 567 570 573 576 c 579 582 585 588 591 594 597 600 603 606 609 612 c 615 618 621 624 627 630 633 636 639 642 645 648 c 651 654 657 660 663 666 669 672 675 677 680 683 c 686 689 692 695 698 701 704 708 711 714 717 720 c 723 726 729 732 735 737 740 743 746 749 752 755 c 758 761 764 767 770 773 776 779 781 784 787 790 c 793 796 799 802 805 808 813 816 819 822 825 828 c 831 834 837 840 843 846 849 852 855 858 861 864 c 867 870 873 876 879 882 885 886 889 892 895 898 c 901 904 907 910 913 918 921 924 927 930 933 936 c 939 942 945 947 950 953 956 959 962 965 968 971 c 974 977 980 983 986 989 991 994 997 1000 1003 1008 c 1011 1014 1017 1020 1023 1026 1029 1032 1035 * c c EDGE DENSITY: 0.9963 c PSEUDOBOOLEAN 1035 p wcnf 1035 3015 1035 1 -1 0 1 -2 0 1 -3 0 1 -4 0 1 -5 0 1 -6 0 1 -7 0 1 -8 0 1 -9 0 1 -10 0 1 -11 0 1 -12 0 1 -13 0 1 -14 0 1 -15 0 1 -16 0 1 -17 0 1 -18 0 1 -19 0 1 -20 0 1 -21 0 1 -22 0 1 -23 0 1 -24 0 1 -25 0 1 -26 0 1 -27 0 1 -28 0 1 -29 0 1 -30 0 1 -31 0 1 -32 0 1 -33 0 1 -34 0 1 -35 0 1 -36 0 1 -37 0 1 -38 0 1 -39 0 1 -40 0 1 -41 0 1 -42 0 1 -43 0 1 -44 0 1 -45 0 1 -46 0 1 -47 0 1 -48 0 1 -49 0 1 -50 0 1 -51 0 1 -52 0 1 -53 0 1 -54 0 1 -55 0 1 -56 0 1 -57 0 1 -58 0 1 -59 0 1 -60 0 1 -61 0 1 -62 0 1 -63 0 1 -64 0 1 -65 0 1 -66 0 1 -67 0 1 -68 0 1 -69 0 1 -70 0 1 -71 0 1 -72 0 1 -73 0 1 -74 0 1 -75 0 1 -76 0 1 -77 0 1 -78 0 1 -79 0 1 -80 0 1 -81 0 1 -82 0 1 -83 0 1 -84 0 1 -85 0 1 -86 0 1 -87 0 1 -88 0 1 -89 0 1 -90 0 1 -91 0 1 -92 0 1 -93 0 1 -94 0 1 -95 0 1 -96 0 1 -97 0 1 -98 0 1 -99 0 1 -100 0 1 -101 0 1 -102 0 1 -103 0 1 -104 0 1 -105 0 1 -106 0 1 -107 0 1 -108 0 1 -109 0 1 -110 0 1 -111 0 1 -112 0 1 -113 0 1 -114 0 1 -115 0 1 -116 0 1 -117 0 1 -118 0 1 -119 0 1 -120 0 1 -121 0 1 -122 0 1 -123 0 1 -124 0 1 -125 0 1 -126 0 1 -127 0 1 -128 0 1 -129 0 1 -130 0 1 -131 0 1 -132 0 1 -133 0 1 -134 0 1 -135 0 1 -136 0 1 -137 0 1 -138 0 1 -139 0 1 -140 0 1 -141 0 1 -142 0 1 -143 0 1 -144 0 1 -145 0 1 -146 0 1 -147 0 1 -148 0 1 -149 0 1 -150 0 1 -151 0 1 -152 0 1 -153 0 1 -154 0 1 -155 0 1 -156 0 1 -157 0 1 -158 0 1 -159 0 1 -160 0 1 -161 0 1 -162 0 1 -163 0 1 -164 0 1 -165 0 1 -166 0 1 -167 0 1 -168 0 1 -169 0 1 -170 0 1 -171 0 1 -172 0 1 -173 0 1 -174 0 1 -175 0 1 -176 0 1 -177 0 1 -178 0 1 -179 0 1 -180 0 1 -181 0 1 -182 0 1 -183 0 1 -184 0 1 -185 0 1 -186 0 1 -187 0 1 -188 0 1 -189 0 1 -190 0 1 -191 0 1 -192 0 1 -193 0 1 -194 0 1 -195 0 1 -196 0 1 -197 0 1 -198 0 1 -199 0 1 -200 0 1 -201 0 1 -202 0 1 -203 0 1 -204 0 1 -205 0 1 -206 0 1 -207 0 1 -208 0 1 -209 0 1 -210 0 1 -211 0 1 -212 0 1 -213 0 1 -214 0 1 -215 0 1 -216 0 1 -217 0 1 -218 0 1 -219 0 1 -220 0 1 -221 0 1 -222 0 1 -223 0 1 -224 0 1 -225 0 1 -226 0 1 -227 0 1 -228 0 1 -229 0 1 -230 0 1 -231 0 1 -232 0 1 -233 0 1 -234 0 1 -235 0 1 -236 0 1 -237 0 1 -238 0 1 -239 0 1 -240 0 1 -241 0 1 -242 0 1 -243 0 1 -244 0 1 -245 0 1 -246 0 1 -247 0 1 -248 0 1 -249 0 1 -250 0 1 -251 0 1 -252 0 1 -253 0 1 -254 0 1 -255 0 1 -256 0 1 -257 0 1 -258 0 1 -259 0 1 -260 0 1 -261 0 1 -262 0 1 -263 0 1 -264 0 1 -265 0 1 -266 0 1 -267 0 1 -268 0 1 -269 0 1 -270 0 1 -271 0 1 -272 0 1 -273 0 1 -274 0 1 -275 0 1 -276 0 1 -277 0 1 -278 0 1 -279 0 1 -280 0 1 -281 0 1 -282 0 1 -283 0 1 -284 0 1 -285 0 1 -286 0 1 -287 0 1 -288 0 1 -289 0 1 -290 0 1 -291 0 1 -292 0 1 -293 0 1 -294 0 1 -295 0 1 -296 0 1 -297 0 1 -298 0 1 -299 0 1 -300 0 1 -301 0 1 -302 0 1 -303 0 1 -304 0 1 -305 0 1 -306 0 1 -307 0 1 -308 0 1 -309 0 1 -310 0 1 -311 0 1 -312 0 1 -313 0 1 -314 0 1 -315 0 1 -316 0 1 -317 0 1 -318 0 1 -319 0 1 -320 0 1 -321 0 1 -322 0 1 -323 0 1 -324 0 1 -325 0 1 -326 0 1 -327 0 1 -328 0 1 -329 0 1 -330 0 1 -331 0 1 -332 0 1 -333 0 1 -334 0 1 -335 0 1 -336 0 1 -337 0 1 -338 0 1 -339 0 1 -340 0 1 -341 0 1 -342 0 1 -343 0 1 -344 0 1 -345 0 1 -346 0 1 -347 0 1 -348 0 1 -349 0 1 -350 0 1 -351 0 1 -352 0 1 -353 0 1 -354 0 1 -355 0 1 -356 0 1 -357 0 1 -358 0 1 -359 0 1 -360 0 1 -361 0 1 -362 0 1 -363 0 1 -364 0 1 -365 0 1 -366 0 1 -367 0 1 -368 0 1 -369 0 1 -370 0 1 -371 0 1 -372 0 1 -373 0 1 -374 0 1 -375 0 1 -376 0 1 -377 0 1 -378 0 1 -379 0 1 -380 0 1 -381 0 1 -382 0 1 -383 0 1 -384 0 1 -385 0 1 -386 0 1 -387 0 1 -388 0 1 -389 0 1 -390 0 1 -391 0 1 -392 0 1 -393 0 1 -394 0 1 -395 0 1 -396 0 1 -397 0 1 -398 0 1 -399 0 1 -400 0 1 -401 0 1 -402 0 1 -403 0 1 -404 0 1 -405 0 1 -406 0 1 -407 0 1 -408 0 1 -409 0 1 -410 0 1 -411 0 1 -412 0 1 -413 0 1 -414 0 1 -415 0 1 -416 0 1 -417 0 1 -418 0 1 -419 0 1 -420 0 1 -421 0 1 -422 0 1 -423 0 1 -424 0 1 -425 0 1 -426 0 1 -427 0 1 -428 0 1 -429 0 1 -430 0 1 -431 0 1 -432 0 1 -433 0 1 -434 0 1 -435 0 1 -436 0 1 -437 0 1 -438 0 1 -439 0 1 -440 0 1 -441 0 1 -442 0 1 -443 0 1 -444 0 1 -445 0 1 -446 0 1 -447 0 1 -448 0 1 -449 0 1 -450 0 1 -451 0 1 -452 0 1 -453 0 1 -454 0 1 -455 0 1 -456 0 1 -457 0 1 -458 0 1 -459 0 1 -460 0 1 -461 0 1 -462 0 1 -463 0 1 -464 0 1 -465 0 1 -466 0 1 -467 0 1 -468 0 1 -469 0 1 -470 0 1 -471 0 1 -472 0 1 -473 0 1 -474 0 1 -475 0 1 -476 0 1 -477 0 1 -478 0 1 -479 0 1 -480 0 1 -481 0 1 -482 0 1 -483 0 1 -484 0 1 -485 0 1 -486 0 1 -487 0 1 -488 0 1 -489 0 1 -490 0 1 -491 0 1 -492 0 1 -493 0 1 -494 0 1 -495 0 1 -496 0 1 -497 0 1 -498 0 1 -499 0 1 -500 0 1 -501 0 1 -502 0 1 -503 0 1 -504 0 1 -505 0 1 -506 0 1 -507 0 1 -508 0 1 -509 0 1 -510 0 1 -511 0 1 -512 0 1 -513 0 1 -514 0 1 -515 0 1 -516 0 1 -517 0 1 -518 0 1 -519 0 1 -520 0 1 -521 0 1 -522 0 1 -523 0 1 -524 0 1 -525 0 1 -526 0 1 -527 0 1 -528 0 1 -529 0 1 -530 0 1 -531 0 1 -532 0 1 -533 0 1 -534 0 1 -535 0 1 -536 0 1 -537 0 1 -538 0 1 -539 0 1 -540 0 1 -541 0 1 -542 0 1 -543 0 1 -544 0 1 -545 0 1 -546 0 1 -547 0 1 -548 0 1 -549 0 1 -550 0 1 -551 0 1 -552 0 1 -553 0 1 -554 0 1 -555 0 1 -556 0 1 -557 0 1 -558 0 1 -559 0 1 -560 0 1 -561 0 1 -562 0 1 -563 0 1 -564 0 1 -565 0 1 -566 0 1 -567 0 1 -568 0 1 -569 0 1 -570 0 1 -571 0 1 -572 0 1 -573 0 1 -574 0 1 -575 0 1 -576 0 1 -577 0 1 -578 0 1 -579 0 1 -580 0 1 -581 0 1 -582 0 1 -583 0 1 -584 0 1 -585 0 1 -586 0 1 -587 0 1 -588 0 1 -589 0 1 -590 0 1 -591 0 1 -592 0 1 -593 0 1 -594 0 1 -595 0 1 -596 0 1 -597 0 1 -598 0 1 -599 0 1 -600 0 1 -601 0 1 -602 0 1 -603 0 1 -604 0 1 -605 0 1 -606 0 1 -607 0 1 -608 0 1 -609 0 1 -610 0 1 -611 0 1 -612 0 1 -613 0 1 -614 0 1 -615 0 1 -616 0 1 -617 0 1 -618 0 1 -619 0 1 -620 0 1 -621 0 1 -622 0 1 -623 0 1 -624 0 1 -625 0 1 -626 0 1 -627 0 1 -628 0 1 -629 0 1 -630 0 1 -631 0 1 -632 0 1 -633 0 1 -634 0 1 -635 0 1 -636 0 1 -637 0 1 -638 0 1 -639 0 1 -640 0 1 -641 0 1 -642 0 1 -643 0 1 -644 0 1 -645 0 1 -646 0 1 -647 0 1 -648 0 1 -649 0 1 -650 0 1 -651 0 1 -652 0 1 -653 0 1 -654 0 1 -655 0 1 -656 0 1 -657 0 1 -658 0 1 -659 0 1 -660 0 1 -661 0 1 -662 0 1 -663 0 1 -664 0 1 -665 0 1 -666 0 1 -667 0 1 -668 0 1 -669 0 1 -670 0 1 -671 0 1 -672 0 1 -673 0 1 -674 0 1 -675 0 1 -676 0 1 -677 0 1 -678 0 1 -679 0 1 -680 0 1 -681 0 1 -682 0 1 -683 0 1 -684 0 1 -685 0 1 -686 0 1 -687 0 1 -688 0 1 -689 0 1 -690 0 1 -691 0 1 -692 0 1 -693 0 1 -694 0 1 -695 0 1 -696 0 1 -697 0 1 -698 0 1 -699 0 1 -700 0 1 -701 0 1 -702 0 1 -703 0 1 -704 0 1 -705 0 1 -706 0 1 -707 0 1 -708 0 1 -709 0 1 -710 0 1 -711 0 1 -712 0 1 -713 0 1 -714 0 1 -715 0 1 -716 0 1 -717 0 1 -718 0 1 -719 0 1 -720 0 1 -721 0 1 -722 0 1 -723 0 1 -724 0 1 -725 0 1 -726 0 1 -727 0 1 -728 0 1 -729 0 1 -730 0 1 -731 0 1 -732 0 1 -733 0 1 -734 0 1 -735 0 1 -736 0 1 -737 0 1 -738 0 1 -739 0 1 -740 0 1 -741 0 1 -742 0 1 -743 0 1 -744 0 1 -745 0 1 -746 0 1 -747 0 1 -748 0 1 -749 0 1 -750 0 1 -751 0 1 -752 0 1 -753 0 1 -754 0 1 -755 0 1 -756 0 1 -757 0 1 -758 0 1 -759 0 1 -760 0 1 -761 0 1 -762 0 1 -763 0 1 -764 0 1 -765 0 1 -766 0 1 -767 0 1 -768 0 1 -769 0 1 -770 0 1 -771 0 1 -772 0 1 -773 0 1 -774 0 1 -775 0 1 -776 0 1 -777 0 1 -778 0 1 -779 0 1 -780 0 1 -781 0 1 -782 0 1 -783 0 1 -784 0 1 -785 0 1 -786 0 1 -787 0 1 -788 0 1 -789 0 1 -790 0 1 -791 0 1 -792 0 1 -793 0 1 -794 0 1 -795 0 1 -796 0 1 -797 0 1 -798 0 1 -799 0 1 -800 0 1 -801 0 1 -802 0 1 -803 0 1 -804 0 1 -805 0 1 -806 0 1 -807 0 1 -808 0 1 -809 0 1 -810 0 1 -811 0 1 -812 0 1 -813 0 1 -814 0 1 -815 0 1 -816 0 1 -817 0 1 -818 0 1 -819 0 1 -820 0 1 -821 0 1 -822 0 1 -823 0 1 -824 0 1 -825 0 1 -826 0 1 -827 0 1 -828 0 1 -829 0 1 -830 0 1 -831 0 1 -832 0 1 -833 0 1 -834 0 1 -835 0 1 -836 0 1 -837 0 1 -838 0 1 -839 0 1 -840 0 1 -841 0 1 -842 0 1 -843 0 1 -844 0 1 -845 0 1 -846 0 1 -847 0 1 -848 0 1 -849 0 1 -850 0 1 -851 0 1 -852 0 1 -853 0 1 -854 0 1 -855 0 1 -856 0 1 -857 0 1 -858 0 1 -859 0 1 -860 0 1 -861 0 1 -862 0 1 -863 0 1 -864 0 1 -865 0 1 -866 0 1 -867 0 1 -868 0 1 -869 0 1 -870 0 1 -871 0 1 -872 0 1 -873 0 1 -874 0 1 -875 0 1 -876 0 1 -877 0 1 -878 0 1 -879 0 1 -880 0 1 -881 0 1 -882 0 1 -883 0 1 -884 0 1 -885 0 1 -886 0 1 -887 0 1 -888 0 1 -889 0 1 -890 0 1 -891 0 1 -892 0 1 -893 0 1 -894 0 1 -895 0 1 -896 0 1 -897 0 1 -898 0 1 -899 0 1 -900 0 1 -901 0 1 -902 0 1 -903 0 1 -904 0 1 -905 0 1 -906 0 1 -907 0 1 -908 0 1 -909 0 1 -910 0 1 -911 0 1 -912 0 1 -913 0 1 -914 0 1 -915 0 1 -916 0 1 -917 0 1 -918 0 1 -919 0 1 -920 0 1 -921 0 1 -922 0 1 -923 0 1 -924 0 1 -925 0 1 -926 0 1 -927 0 1 -928 0 1 -929 0 1 -930 0 1 -931 0 1 -932 0 1 -933 0 1 -934 0 1 -935 0 1 -936 0 1 -937 0 1 -938 0 1 -939 0 1 -940 0 1 -941 0 1 -942 0 1 -943 0 1 -944 0 1 -945 0 1 -946 0 1 -947 0 1 -948 0 1 -949 0 1 -950 0 1 -951 0 1 -952 0 1 -953 0 1 -954 0 1 -955 0 1 -956 0 1 -957 0 1 -958 0 1 -959 0 1 -960 0 1 -961 0 1 -962 0 1 -963 0 1 -964 0 1 -965 0 1 -966 0 1 -967 0 1 -968 0 1 -969 0 1 -970 0 1 -971 0 1 -972 0 1 -973 0 1 -974 0 1 -975 0 1 -976 0 1 -977 0 1 -978 0 1 -979 0 1 -980 0 1 -981 0 1 -982 0 1 -983 0 1 -984 0 1 -985 0 1 -986 0 1 -987 0 1 -988 0 1 -989 0 1 -990 0 1 -991 0 1 -992 0 1 -993 0 1 -994 0 1 -995 0 1 -996 0 1 -997 0 1 -998 0 1 -999 0 1 -1000 0 1 -1001 0 1 -1002 0 1 -1003 0 1 -1004 0 1 -1005 0 1 -1006 0 1 -1007 0 1 -1008 0 1 -1009 0 1 -1010 0 1 -1011 0 1 -1012 0 1 -1013 0 1 -1014 0 1 -1015 0 1 -1016 0 1 -1017 0 1 -1018 0 1 -1019 0 1 -1020 0 1 -1021 0 1 -1022 0 1 -1023 0 1 -1024 0 1 -1025 0 1 -1026 0 1 -1027 0 1 -1028 0 1 -1029 0 1 -1030 0 1 -1031 0 1 -1032 0 1 -1033 0 1 -1034 0 1 -1035 0 1035 1 52 0 1035 1 55 0 1035 1 64 0 1035 1 73 0 1035 1 106 0 1035 1 121 0 1035 1 136 0 1035 1 367 0 1035 1 370 0 1035 1 379 0 1035 1 388 0 1035 1 421 0 1035 1 436 0 1035 1 451 0 1035 1 472 0 1035 1 475 0 1035 1 484 0 1035 1 493 0 1035 1 526 0 1035 1 541 0 1035 1 556 0 1035 1 991 0 1035 2 56 0 1035 2 58 0 1035 2 61 0 1035 2 67 0 1035 2 109 0 1035 2 124 0 1035 2 139 0 1035 2 373 0 1035 2 376 0 1035 2 382 0 1035 2 424 0 1035 2 439 0 1035 2 454 0 1035 2 478 0 1035 2 481 0 1035 2 487 0 1035 2 529 0 1035 2 544 0 1035 2 559 0 1035 2 580 0 1035 2 685 0 1035 2 994 0 1035 3 46 0 1035 3 59 0 1035 3 65 0 1035 3 70 0 1035 3 112 0 1035 3 127 0 1035 3 142 0 1035 3 361 0 1035 3 385 0 1035 3 427 0 1035 3 442 0 1035 3 457 0 1035 3 466 0 1035 3 490 0 1035 3 532 0 1035 3 547 0 1035 3 562 0 1035 3 583 0 1035 3 589 0 1035 3 688 0 1035 3 694 0 1035 3 997 0 1035 4 47 0 1035 4 49 0 1035 4 68 0 1035 4 74 0 1035 4 115 0 1035 4 130 0 1035 4 145 0 1035 4 364 0 1035 4 430 0 1035 4 445 0 1035 4 460 0 1035 4 469 0 1035 4 535 0 1035 4 550 0 1035 4 565 0 1035 4 571 0 1035 4 592 0 1035 4 598 0 1035 4 676 0 1035 4 697 0 1035 4 703 0 1035 4 1000 0 1035 5 50 0 1035 5 53 0 1035 5 62 0 1035 5 71 0 1035 5 118 0 1035 5 133 0 1035 5 148 0 1035 5 433 0 1035 5 448 0 1035 5 463 0 1035 5 538 0 1035 5 553 0 1035 5 568 0 1035 5 574 0 1035 5 577 0 1035 5 586 0 1035 5 595 0 1035 5 679 0 1035 5 682 0 1035 5 691 0 1035 5 700 0 1035 5 1003 0 1035 6 48 0 1035 6 63 0 1035 6 82 0 1035 6 85 0 1035 6 94 0 1035 6 103 0 1035 6 137 0 1035 6 397 0 1035 6 400 0 1035 6 409 0 1035 6 418 0 1035 6 502 0 1035 6 505 0 1035 6 514 0 1035 6 523 0 1035 6 661 0 1035 6 766 0 1035 6 781 0 1035 6 796 0 1035 6 886 0 1035 6 901 0 1035 6 1006 0 1035 7 51 0 1035 7 66 0 1035 7 86 0 1035 7 88 0 1035 7 91 0 1035 7 97 0 1035 7 140 0 1035 7 403 0 1035 7 406 0 1035 7 412 0 1035 7 508 0 1035 7 511 0 1035 7 517 0 1035 7 610 0 1035 7 664 0 1035 7 715 0 1035 7 769 0 1035 7 784 0 1035 7 799 0 1035 7 889 0 1035 7 904 0 1035 7 1009 0 1035 8 54 0 1035 8 69 0 1035 8 76 0 1035 8 89 0 1035 8 95 0 1035 8 100 0 1035 8 143 0 1035 8 391 0 1035 8 415 0 1035 8 496 0 1035 8 520 0 1035 8 613 0 1035 8 619 0 1035 8 667 0 1035 8 718 0 1035 8 724 0 1035 8 772 0 1035 8 787 0 1035 8 802 0 1035 8 892 0 1035 8 907 0 1035 8 1012 0 1035 9 57 0 1035 9 72 0 1035 9 77 0 1035 9 79 0 1035 9 98 0 1035 9 104 0 1035 9 146 0 1035 9 394 0 1035 9 499 0 1035 9 601 0 1035 9 622 0 1035 9 628 0 1035 9 670 0 1035 9 706 0 1035 9 727 0 1035 9 733 0 1035 9 775 0 1035 9 790 0 1035 9 805 0 1035 9 895 0 1035 9 910 0 1035 9 1015 0 1035 10 60 0 1035 10 75 0 1035 10 80 0 1035 10 83 0 1035 10 92 0 1035 10 101 0 1035 10 149 0 1035 10 604 0 1035 10 607 0 1035 10 616 0 1035 10 625 0 1035 10 673 0 1035 10 709 0 1035 10 712 0 1035 10 721 0 1035 10 730 0 1035 10 778 0 1035 10 793 0 1035 10 808 0 1035 10 898 0 1035 10 913 0 1035 10 1018 0 1035 11 78 0 1035 11 93 0 1035 11 113 0 1035 11 116 0 1035 11 125 0 1035 11 134 0 1035 11 138 0 1035 11 637 0 1035 11 640 0 1035 11 649 0 1035 11 658 0 1035 11 742 0 1035 11 745 0 1035 11 754 0 1035 11 763 0 1035 11 811 0 1035 11 826 0 1035 11 871 0 1035 11 916 0 1035 11 931 0 1035 11 976 0 1035 11 1021 0 1035 12 81 0 1035 12 96 0 1035 12 117 0 1035 12 119 0 1035 12 122 0 1035 12 128 0 1035 12 141 0 1035 12 643 0 1035 12 646 0 1035 12 652 0 1035 12 748 0 1035 12 751 0 1035 12 757 0 1035 12 814 0 1035 12 829 0 1035 12 850 0 1035 12 874 0 1035 12 919 0 1035 12 934 0 1035 12 955 0 1035 12 979 0 1035 12 1024 0 1035 13 84 0 1035 13 99 0 1035 13 107 0 1035 13 120 0 1035 13 126 0 1035 13 131 0 1035 13 144 0 1035 13 631 0 1035 13 655 0 1035 13 736 0 1035 13 760 0 1035 13 817 0 1035 13 832 0 1035 13 853 0 1035 13 859 0 1035 13 877 0 1035 13 922 0 1035 13 937 0 1035 13 958 0 1035 13 964 0 1035 13 982 0 1035 13 1027 0 1035 14 87 0 1035 14 102 0 1035 14 108 0 1035 14 110 0 1035 14 129 0 1035 14 135 0 1035 14 147 0 1035 14 634 0 1035 14 739 0 1035 14 820 0 1035 14 835 0 1035 14 841 0 1035 14 862 0 1035 14 868 0 1035 14 880 0 1035 14 925 0 1035 14 940 0 1035 14 946 0 1035 14 967 0 1035 14 973 0 1035 14 985 0 1035 14 1030 0 1035 15 90 0 1035 15 105 0 1035 15 111 0 1035 15 114 0 1035 15 123 0 1035 15 132 0 1035 15 150 0 1035 15 823 0 1035 15 838 0 1035 15 844 0 1035 15 847 0 1035 15 856 0 1035 15 865 0 1035 15 883 0 1035 15 928 0 1035 15 943 0 1035 15 949 0 1035 15 952 0 1035 15 961 0 1035 15 970 0 1035 15 988 0 1035 15 1033 0 1035 16 157 0 1035 16 160 0 1035 16 169 0 1035 16 178 0 1035 16 211 0 1035 16 226 0 1035 16 241 0 1035 16 578 0 1035 16 581 0 1035 16 590 0 1035 16 599 0 1035 16 632 0 1035 16 647 0 1035 16 662 0 1035 16 788 0 1035 16 791 0 1035 16 800 0 1035 16 809 0 1035 16 842 0 1035 16 857 0 1035 16 872 0 1035 16 992 0 1035 17 161 0 1035 17 163 0 1035 17 166 0 1035 17 172 0 1035 17 214 0 1035 17 229 0 1035 17 244 0 1035 17 371 0 1035 17 584 0 1035 17 587 0 1035 17 593 0 1035 17 635 0 1035 17 650 0 1035 17 665 0 1035 17 794 0 1035 17 797 0 1035 17 803 0 1035 17 845 0 1035 17 860 0 1035 17 875 0 1035 17 896 0 1035 17 995 0 1035 18 151 0 1035 18 164 0 1035 18 170 0 1035 18 175 0 1035 18 217 0 1035 18 232 0 1035 18 247 0 1035 18 374 0 1035 18 380 0 1035 18 572 0 1035 18 596 0 1035 18 638 0 1035 18 653 0 1035 18 668 0 1035 18 782 0 1035 18 806 0 1035 18 848 0 1035 18 863 0 1035 18 878 0 1035 18 899 0 1035 18 905 0 1035 18 998 0 1035 19 152 0 1035 19 154 0 1035 19 173 0 1035 19 179 0 1035 19 220 0 1035 19 235 0 1035 19 250 0 1035 19 362 0 1035 19 383 0 1035 19 389 0 1035 19 575 0 1035 19 641 0 1035 19 656 0 1035 19 671 0 1035 19 785 0 1035 19 851 0 1035 19 866 0 1035 19 881 0 1035 19 887 0 1035 19 908 0 1035 19 914 0 1035 19 1001 0 1035 20 155 0 1035 20 158 0 1035 20 167 0 1035 20 176 0 1035 20 223 0 1035 20 238 0 1035 20 253 0 1035 20 365 0 1035 20 368 0 1035 20 377 0 1035 20 386 0 1035 20 644 0 1035 20 659 0 1035 20 674 0 1035 20 854 0 1035 20 869 0 1035 20 884 0 1035 20 890 0 1035 20 893 0 1035 20 902 0 1035 20 911 0 1035 20 1004 0 1035 21 153 0 1035 21 168 0 1035 21 187 0 1035 21 190 0 1035 21 199 0 1035 21 208 0 1035 21 242 0 1035 21 452 0 1035 21 467 0 1035 21 482 0 1035 21 608 0 1035 21 611 0 1035 21 620 0 1035 21 629 0 1035 21 677 0 1035 21 692 0 1035 21 818 0 1035 21 821 0 1035 21 830 0 1035 21 839 0 1035 21 977 0 1035 21 1007 0 1035 22 156 0 1035 22 171 0 1035 22 191 0 1035 22 193 0 1035 22 196 0 1035 22 202 0 1035 22 245 0 1035 22 401 0 1035 22 455 0 1035 22 470 0 1035 22 485 0 1035 22 614 0 1035 22 617 0 1035 22 623 0 1035 22 680 0 1035 22 695 0 1035 22 824 0 1035 22 827 0 1035 22 833 0 1035 22 926 0 1035 22 980 0 1035 22 1010 0 1035 23 159 0 1035 23 174 0 1035 23 181 0 1035 23 194 0 1035 23 200 0 1035 23 205 0 1035 23 248 0 1035 23 404 0 1035 23 410 0 1035 23 458 0 1035 23 473 0 1035 23 488 0 1035 23 602 0 1035 23 626 0 1035 23 683 0 1035 23 698 0 1035 23 812 0 1035 23 836 0 1035 23 929 0 1035 23 935 0 1035 23 983 0 1035 23 1013 0 1035 24 162 0 1035 24 177 0 1035 24 182 0 1035 24 184 0 1035 24 203 0 1035 24 209 0 1035 24 251 0 1035 24 392 0 1035 24 413 0 1035 24 419 0 1035 24 461 0 1035 24 476 0 1035 24 491 0 1035 24 605 0 1035 24 686 0 1035 24 701 0 1035 24 815 0 1035 24 917 0 1035 24 938 0 1035 24 944 0 1035 24 986 0 1035 24 1016 0 1035 25 165 0 1035 25 180 0 1035 25 185 0 1035 25 188 0 1035 25 197 0 1035 25 206 0 1035 25 254 0 1035 25 395 0 1035 25 398 0 1035 25 407 0 1035 25 416 0 1035 25 464 0 1035 25 479 0 1035 25 494 0 1035 25 689 0 1035 25 704 0 1035 25 920 0 1035 25 923 0 1035 25 932 0 1035 25 941 0 1035 25 989 0 1035 25 1019 0 1035 26 183 0 1035 26 198 0 1035 26 218 0 1035 26 221 0 1035 26 230 0 1035 26 239 0 1035 26 243 0 1035 26 428 0 1035 26 431 0 1035 26 440 0 1035 26 449 0 1035 26 497 0 1035 26 512 0 1035 26 557 0 1035 26 707 0 1035 26 722 0 1035 26 767 0 1035 26 953 0 1035 26 956 0 1035 26 965 0 1035 26 974 0 1035 26 1022 0 1035 27 186 0 1035 27 201 0 1035 27 222 0 1035 27 224 0 1035 27 227 0 1035 27 233 0 1035 27 246 0 1035 27 434 0 1035 27 437 0 1035 27 443 0 1035 27 500 0 1035 27 515 0 1035 27 536 0 1035 27 560 0 1035 27 710 0 1035 27 725 0 1035 27 746 0 1035 27 770 0 1035 27 959 0 1035 27 962 0 1035 27 968 0 1035 27 1025 0 1035 28 189 0 1035 28 204 0 1035 28 212 0 1035 28 225 0 1035 28 231 0 1035 28 236 0 1035 28 249 0 1035 28 422 0 1035 28 446 0 1035 28 503 0 1035 28 518 0 1035 28 539 0 1035 28 545 0 1035 28 563 0 1035 28 713 0 1035 28 728 0 1035 28 749 0 1035 28 755 0 1035 28 773 0 1035 28 947 0 1035 28 971 0 1035 28 1028 0 1035 29 192 0 1035 29 207 0 1035 29 213 0 1035 29 215 0 1035 29 234 0 1035 29 240 0 1035 29 252 0 1035 29 425 0 1035 29 506 0 1035 29 521 0 1035 29 527 0 1035 29 548 0 1035 29 554 0 1035 29 566 0 1035 29 716 0 1035 29 731 0 1035 29 737 0 1035 29 758 0 1035 29 764 0 1035 29 776 0 1035 29 950 0 1035 29 1031 0 1035 30 195 0 1035 30 210 0 1035 30 216 0 1035 30 219 0 1035 30 228 0 1035 30 237 0 1035 30 255 0 1035 30 509 0 1035 30 524 0 1035 30 530 0 1035 30 533 0 1035 30 542 0 1035 30 551 0 1035 30 569 0 1035 30 719 0 1035 30 734 0 1035 30 740 0 1035 30 743 0 1035 30 752 0 1035 30 761 0 1035 30 779 0 1035 30 1034 0 1035 31 262 0 1035 31 265 0 1035 31 274 0 1035 31 283 0 1035 31 316 0 1035 31 331 0 1035 31 346 0 1035 31 684 0 1035 31 687 0 1035 31 696 0 1035 31 705 0 1035 31 738 0 1035 31 753 0 1035 31 768 0 1035 31 894 0 1035 31 897 0 1035 31 906 0 1035 31 915 0 1035 31 948 0 1035 31 963 0 1035 31 978 0 1035 31 993 0 1035 32 266 0 1035 32 268 0 1035 32 271 0 1035 32 277 0 1035 32 319 0 1035 32 334 0 1035 32 349 0 1035 32 477 0 1035 32 690 0 1035 32 693 0 1035 32 699 0 1035 32 741 0 1035 32 756 0 1035 32 771 0 1035 32 792 0 1035 32 900 0 1035 32 903 0 1035 32 909 0 1035 32 951 0 1035 32 966 0 1035 32 981 0 1035 32 996 0 1035 33 256 0 1035 33 269 0 1035 33 275 0 1035 33 280 0 1035 33 322 0 1035 33 337 0 1035 33 352 0 1035 33 480 0 1035 33 486 0 1035 33 678 0 1035 33 702 0 1035 33 744 0 1035 33 759 0 1035 33 774 0 1035 33 795 0 1035 33 801 0 1035 33 888 0 1035 33 912 0 1035 33 954 0 1035 33 969 0 1035 33 984 0 1035 33 999 0 1035 34 257 0 1035 34 259 0 1035 34 278 0 1035 34 284 0 1035 34 325 0 1035 34 340 0 1035 34 355 0 1035 34 468 0 1035 34 489 0 1035 34 495 0 1035 34 681 0 1035 34 747 0 1035 34 762 0 1035 34 777 0 1035 34 783 0 1035 34 804 0 1035 34 810 0 1035 34 891 0 1035 34 957 0 1035 34 972 0 1035 34 987 0 1035 34 1002 0 1035 35 260 0 1035 35 263 0 1035 35 272 0 1035 35 281 0 1035 35 328 0 1035 35 343 0 1035 35 358 0 1035 35 471 0 1035 35 474 0 1035 35 483 0 1035 35 492 0 1035 35 750 0 1035 35 765 0 1035 35 780 0 1035 35 786 0 1035 35 789 0 1035 35 798 0 1035 35 807 0 1035 35 960 0 1035 35 975 0 1035 35 990 0 1035 35 1005 0 1035 36 258 0 1035 36 273 0 1035 36 292 0 1035 36 295 0 1035 36 304 0 1035 36 313 0 1035 36 347 0 1035 36 363 0 1035 36 378 0 1035 36 558 0 1035 36 573 0 1035 36 588 0 1035 36 714 0 1035 36 717 0 1035 36 726 0 1035 36 735 0 1035 36 873 0 1035 36 924 0 1035 36 927 0 1035 36 936 0 1035 36 945 0 1035 36 1008 0 1035 37 261 0 1035 37 276 0 1035 37 296 0 1035 37 298 0 1035 37 301 0 1035 37 307 0 1035 37 350 0 1035 37 366 0 1035 37 381 0 1035 37 507 0 1035 37 561 0 1035 37 576 0 1035 37 591 0 1035 37 720 0 1035 37 723 0 1035 37 729 0 1035 37 822 0 1035 37 876 0 1035 37 930 0 1035 37 933 0 1035 37 939 0 1035 37 1011 0 1035 38 264 0 1035 38 279 0 1035 38 286 0 1035 38 299 0 1035 38 305 0 1035 38 310 0 1035 38 353 0 1035 38 369 0 1035 38 384 0 1035 38 510 0 1035 38 516 0 1035 38 564 0 1035 38 579 0 1035 38 594 0 1035 38 708 0 1035 38 732 0 1035 38 825 0 1035 38 831 0 1035 38 879 0 1035 38 918 0 1035 38 942 0 1035 38 1014 0 1035 39 267 0 1035 39 282 0 1035 39 287 0 1035 39 289 0 1035 39 308 0 1035 39 314 0 1035 39 356 0 1035 39 372 0 1035 39 387 0 1035 39 498 0 1035 39 519 0 1035 39 525 0 1035 39 567 0 1035 39 582 0 1035 39 597 0 1035 39 711 0 1035 39 813 0 1035 39 834 0 1035 39 840 0 1035 39 882 0 1035 39 921 0 1035 39 1017 0 1035 40 270 0 1035 40 285 0 1035 40 290 0 1035 40 293 0 1035 40 302 0 1035 40 311 0 1035 40 359 0 1035 40 375 0 1035 40 390 0 1035 40 501 0 1035 40 504 0 1035 40 513 0 1035 40 522 0 1035 40 570 0 1035 40 585 0 1035 40 600 0 1035 40 816 0 1035 40 819 0 1035 40 828 0 1035 40 837 0 1035 40 885 0 1035 40 1020 0 1035 41 288 0 1035 41 303 0 1035 41 323 0 1035 41 326 0 1035 41 335 0 1035 41 344 0 1035 41 348 0 1035 41 393 0 1035 41 408 0 1035 41 453 0 1035 41 534 0 1035 41 537 0 1035 41 546 0 1035 41 555 0 1035 41 603 0 1035 41 618 0 1035 41 663 0 1035 41 849 0 1035 41 852 0 1035 41 861 0 1035 41 870 0 1035 41 1023 0 1035 42 291 0 1035 42 306 0 1035 42 327 0 1035 42 329 0 1035 42 332 0 1035 42 338 0 1035 42 351 0 1035 42 396 0 1035 42 411 0 1035 42 432 0 1035 42 456 0 1035 42 540 0 1035 42 543 0 1035 42 549 0 1035 42 606 0 1035 42 621 0 1035 42 642 0 1035 42 666 0 1035 42 855 0 1035 42 858 0 1035 42 864 0 1035 42 1026 0 1035 43 294 0 1035 43 309 0 1035 43 317 0 1035 43 330 0 1035 43 336 0 1035 43 341 0 1035 43 354 0 1035 43 399 0 1035 43 414 0 1035 43 435 0 1035 43 441 0 1035 43 459 0 1035 43 528 0 1035 43 552 0 1035 43 609 0 1035 43 624 0 1035 43 645 0 1035 43 651 0 1035 43 669 0 1035 43 843 0 1035 43 867 0 1035 43 1029 0 1035 44 297 0 1035 44 312 0 1035 44 318 0 1035 44 320 0 1035 44 339 0 1035 44 345 0 1035 44 357 0 1035 44 402 0 1035 44 417 0 1035 44 423 0 1035 44 444 0 1035 44 450 0 1035 44 462 0 1035 44 531 0 1035 44 612 0 1035 44 627 0 1035 44 633 0 1035 44 654 0 1035 44 660 0 1035 44 672 0 1035 44 846 0 1035 44 1032 0 1035 45 300 0 1035 45 315 0 1035 45 321 0 1035 45 324 0 1035 45 333 0 1035 45 342 0 1035 45 360 0 1035 45 405 0 1035 45 420 0 1035 45 426 0 1035 45 429 0 1035 45 438 0 1035 45 447 0 1035 45 465 0 1035 45 615 0 1035 45 630 0 1035 45 636 0 1035 45 639 0 1035 45 648 0 1035 45 657 0 1035 45 675 0 1035 45 1035 0 1035 46 47 0 1035 46 48 0 1035 47 48 0 1035 49 50 0 1035 49 51 0 1035 50 51 0 1035 52 53 0 1035 52 54 0 1035 53 54 0 1035 55 56 0 1035 55 57 0 1035 56 57 0 1035 58 59 0 1035 58 60 0 1035 59 60 0 1035 61 62 0 1035 61 63 0 1035 62 63 0 1035 64 65 0 1035 64 66 0 1035 65 66 0 1035 67 68 0 1035 67 69 0 1035 68 69 0 1035 70 71 0 1035 70 72 0 1035 71 72 0 1035 73 74 0 1035 73 75 0 1035 74 75 0 1035 76 77 0 1035 76 78 0 1035 77 78 0 1035 79 80 0 1035 79 81 0 1035 80 81 0 1035 82 83 0 1035 82 84 0 1035 83 84 0 1035 85 86 0 1035 85 87 0 1035 86 87 0 1035 88 89 0 1035 88 90 0 1035 89 90 0 1035 91 92 0 1035 91 93 0 1035 92 93 0 1035 94 95 0 1035 94 96 0 1035 95 96 0 1035 97 98 0 1035 97 99 0 1035 98 99 0 1035 100 101 0 1035 100 102 0 1035 101 102 0 1035 103 104 0 1035 103 105 0 1035 104 105 0 1035 106 107 0 1035 106 108 0 1035 107 108 0 1035 109 110 0 1035 109 111 0 1035 110 111 0 1035 112 113 0 1035 112 114 0 1035 113 114 0 1035 115 116 0 1035 115 117 0 1035 116 117 0 1035 118 119 0 1035 118 120 0 1035 119 120 0 1035 121 122 0 1035 121 123 0 1035 122 123 0 1035 124 125 0 1035 124 126 0 1035 125 126 0 1035 127 128 0 1035 127 129 0 1035 128 129 0 1035 130 131 0 1035 130 132 0 1035 131 132 0 1035 133 134 0 1035 133 135 0 1035 134 135 0 1035 136 137 0 1035 136 138 0 1035 137 138 0 1035 139 140 0 1035 139 141 0 1035 140 141 0 1035 142 143 0 1035 142 144 0 1035 143 144 0 1035 145 146 0 1035 145 147 0 1035 146 147 0 1035 148 149 0 1035 148 150 0 1035 149 150 0 1035 151 152 0 1035 151 153 0 1035 152 153 0 1035 154 155 0 1035 154 156 0 1035 155 156 0 1035 157 158 0 1035 157 159 0 1035 158 159 0 1035 160 161 0 1035 160 162 0 1035 161 162 0 1035 163 164 0 1035 163 165 0 1035 164 165 0 1035 166 167 0 1035 166 168 0 1035 167 168 0 1035 169 170 0 1035 169 171 0 1035 170 171 0 1035 172 173 0 1035 172 174 0 1035 173 174 0 1035 175 176 0 1035 175 177 0 1035 176 177 0 1035 178 179 0 1035 178 180 0 1035 179 180 0 1035 181 182 0 1035 181 183 0 1035 182 183 0 1035 184 185 0 1035 184 186 0 1035 185 186 0 1035 187 188 0 1035 187 189 0 1035 188 189 0 1035 190 191 0 1035 190 192 0 1035 191 192 0 1035 193 194 0 1035 193 195 0 1035 194 195 0 1035 196 197 0 1035 196 198 0 1035 197 198 0 1035 199 200 0 1035 199 201 0 1035 200 201 0 1035 202 203 0 1035 202 204 0 1035 203 204 0 1035 205 206 0 1035 205 207 0 1035 206 207 0 1035 208 209 0 1035 208 210 0 1035 209 210 0 1035 211 212 0 1035 211 213 0 1035 212 213 0 1035 214 215 0 1035 214 216 0 1035 215 216 0 1035 217 218 0 1035 217 219 0 1035 218 219 0 1035 220 221 0 1035 220 222 0 1035 221 222 0 1035 223 224 0 1035 223 225 0 1035 224 225 0 1035 226 227 0 1035 226 228 0 1035 227 228 0 1035 229 230 0 1035 229 231 0 1035 230 231 0 1035 232 233 0 1035 232 234 0 1035 233 234 0 1035 235 236 0 1035 235 237 0 1035 236 237 0 1035 238 239 0 1035 238 240 0 1035 239 240 0 1035 241 242 0 1035 241 243 0 1035 242 243 0 1035 244 245 0 1035 244 246 0 1035 245 246 0 1035 247 248 0 1035 247 249 0 1035 248 249 0 1035 250 251 0 1035 250 252 0 1035 251 252 0 1035 253 254 0 1035 253 255 0 1035 254 255 0 1035 256 257 0 1035 256 258 0 1035 257 258 0 1035 259 260 0 1035 259 261 0 1035 260 261 0 1035 262 263 0 1035 262 264 0 1035 263 264 0 1035 265 266 0 1035 265 267 0 1035 266 267 0 1035 268 269 0 1035 268 270 0 1035 269 270 0 1035 271 272 0 1035 271 273 0 1035 272 273 0 1035 274 275 0 1035 274 276 0 1035 275 276 0 1035 277 278 0 1035 277 279 0 1035 278 279 0 1035 280 281 0 1035 280 282 0 1035 281 282 0 1035 283 284 0 1035 283 285 0 1035 284 285 0 1035 286 287 0 1035 286 288 0 1035 287 288 0 1035 289 290 0 1035 289 291 0 1035 290 291 0 1035 292 293 0 1035 292 294 0 1035 293 294 0 1035 295 296 0 1035 295 297 0 1035 296 297 0 1035 298 299 0 1035 298 300 0 1035 299 300 0 1035 301 302 0 1035 301 303 0 1035 302 303 0 1035 304 305 0 1035 304 306 0 1035 305 306 0 1035 307 308 0 1035 307 309 0 1035 308 309 0 1035 310 311 0 1035 310 312 0 1035 311 312 0 1035 313 314 0 1035 313 315 0 1035 314 315 0 1035 316 317 0 1035 316 318 0 1035 317 318 0 1035 319 320 0 1035 319 321 0 1035 320 321 0 1035 322 323 0 1035 322 324 0 1035 323 324 0 1035 325 326 0 1035 325 327 0 1035 326 327 0 1035 328 329 0 1035 328 330 0 1035 329 330 0 1035 331 332 0 1035 331 333 0 1035 332 333 0 1035 334 335 0 1035 334 336 0 1035 335 336 0 1035 337 338 0 1035 337 339 0 1035 338 339 0 1035 340 341 0 1035 340 342 0 1035 341 342 0 1035 343 344 0 1035 343 345 0 1035 344 345 0 1035 346 347 0 1035 346 348 0 1035 347 348 0 1035 349 350 0 1035 349 351 0 1035 350 351 0 1035 352 353 0 1035 352 354 0 1035 353 354 0 1035 355 356 0 1035 355 357 0 1035 356 357 0 1035 358 359 0 1035 358 360 0 1035 359 360 0 1035 361 362 0 1035 361 363 0 1035 362 363 0 1035 364 365 0 1035 364 366 0 1035 365 366 0 1035 367 368 0 1035 367 369 0 1035 368 369 0 1035 370 371 0 1035 370 372 0 1035 371 372 0 1035 373 374 0 1035 373 375 0 1035 374 375 0 1035 376 377 0 1035 376 378 0 1035 377 378 0 1035 379 380 0 1035 379 381 0 1035 380 381 0 1035 382 383 0 1035 382 384 0 1035 383 384 0 1035 385 386 0 1035 385 387 0 1035 386 387 0 1035 388 389 0 1035 388 390 0 1035 389 390 0 1035 391 392 0 1035 391 393 0 1035 392 393 0 1035 394 395 0 1035 394 396 0 1035 395 396 0 1035 397 398 0 1035 397 399 0 1035 398 399 0 1035 400 401 0 1035 400 402 0 1035 401 402 0 1035 403 404 0 1035 403 405 0 1035 404 405 0 1035 406 407 0 1035 406 408 0 1035 407 408 0 1035 409 410 0 1035 409 411 0 1035 410 411 0 1035 412 413 0 1035 412 414 0 1035 413 414 0 1035 415 416 0 1035 415 417 0 1035 416 417 0 1035 418 419 0 1035 418 420 0 1035 419 420 0 1035 421 422 0 1035 421 423 0 1035 422 423 0 1035 424 425 0 1035 424 426 0 1035 425 426 0 1035 427 428 0 1035 427 429 0 1035 428 429 0 1035 430 431 0 1035 430 432 0 1035 431 432 0 1035 433 434 0 1035 433 435 0 1035 434 435 0 1035 436 437 0 1035 436 438 0 1035 437 438 0 1035 439 440 0 1035 439 441 0 1035 440 441 0 1035 442 443 0 1035 442 444 0 1035 443 444 0 1035 445 446 0 1035 445 447 0 1035 446 447 0 1035 448 449 0 1035 448 450 0 1035 449 450 0 1035 451 452 0 1035 451 453 0 1035 452 453 0 1035 454 455 0 1035 454 456 0 1035 455 456 0 1035 457 458 0 1035 457 459 0 1035 458 459 0 1035 460 461 0 1035 460 462 0 1035 461 462 0 1035 463 464 0 1035 463 465 0 1035 464 465 0 1035 466 467 0 1035 466 468 0 1035 467 468 0 1035 469 470 0 1035 469 471 0 1035 470 471 0 1035 472 473 0 1035 472 474 0 1035 473 474 0 1035 475 476 0 1035 475 477 0 1035 476 477 0 1035 478 479 0 1035 478 480 0 1035 479 480 0 1035 481 482 0 1035 481 483 0 1035 482 483 0 1035 484 485 0 1035 484 486 0 1035 485 486 0 1035 487 488 0 1035 487 489 0 1035 488 489 0 1035 490 491 0 1035 490 492 0 1035 491 492 0 1035 493 494 0 1035 493 495 0 1035 494 495 0 1035 496 497 0 1035 496 498 0 1035 497 498 0 1035 499 500 0 1035 499 501 0 1035 500 501 0 1035 502 503 0 1035 502 504 0 1035 503 504 0 1035 505 506 0 1035 505 507 0 1035 506 507 0 1035 508 509 0 1035 508 510 0 1035 509 510 0 1035 511 512 0 1035 511 513 0 1035 512 513 0 1035 514 515 0 1035 514 516 0 1035 515 516 0 1035 517 518 0 1035 517 519 0 1035 518 519 0 1035 520 521 0 1035 520 522 0 1035 521 522 0 1035 523 524 0 1035 523 525 0 1035 524 525 0 1035 526 527 0 1035 526 528 0 1035 527 528 0 1035 529 530 0 1035 529 531 0 1035 530 531 0 1035 532 533 0 1035 532 534 0 1035 533 534 0 1035 535 536 0 1035 535 537 0 1035 536 537 0 1035 538 539 0 1035 538 540 0 1035 539 540 0 1035 541 542 0 1035 541 543 0 1035 542 543 0 1035 544 545 0 1035 544 546 0 1035 545 546 0 1035 547 548 0 1035 547 549 0 1035 548 549 0 1035 550 551 0 1035 550 552 0 1035 551 552 0 1035 553 554 0 1035 553 555 0 1035 554 555 0 1035 556 557 0 1035 556 558 0 1035 557 558 0 1035 559 560 0 1035 559 561 0 1035 560 561 0 1035 562 563 0 1035 562 564 0 1035 563 564 0 1035 565 566 0 1035 565 567 0 1035 566 567 0 1035 568 569 0 1035 568 570 0 1035 569 570 0 1035 571 572 0 1035 571 573 0 1035 572 573 0 1035 574 575 0 1035 574 576 0 1035 575 576 0 1035 577 578 0 1035 577 579 0 1035 578 579 0 1035 580 581 0 1035 580 582 0 1035 581 582 0 1035 583 584 0 1035 583 585 0 1035 584 585 0 1035 586 587 0 1035 586 588 0 1035 587 588 0 1035 589 590 0 1035 589 591 0 1035 590 591 0 1035 592 593 0 1035 592 594 0 1035 593 594 0 1035 595 596 0 1035 595 597 0 1035 596 597 0 1035 598 599 0 1035 598 600 0 1035 599 600 0 1035 601 602 0 1035 601 603 0 1035 602 603 0 1035 604 605 0 1035 604 606 0 1035 605 606 0 1035 607 608 0 1035 607 609 0 1035 608 609 0 1035 610 611 0 1035 610 612 0 1035 611 612 0 1035 613 614 0 1035 613 615 0 1035 614 615 0 1035 616 617 0 1035 616 618 0 1035 617 618 0 1035 619 620 0 1035 619 621 0 1035 620 621 0 1035 622 623 0 1035 622 624 0 1035 623 624 0 1035 625 626 0 1035 625 627 0 1035 626 627 0 1035 628 629 0 1035 628 630 0 1035 629 630 0 1035 631 632 0 1035 631 633 0 1035 632 633 0 1035 634 635 0 1035 634 636 0 1035 635 636 0 1035 637 638 0 1035 637 639 0 1035 638 639 0 1035 640 641 0 1035 640 642 0 1035 641 642 0 1035 643 644 0 1035 643 645 0 1035 644 645 0 1035 646 647 0 1035 646 648 0 1035 647 648 0 1035 649 650 0 1035 649 651 0 1035 650 651 0 1035 652 653 0 1035 652 654 0 1035 653 654 0 1035 655 656 0 1035 655 657 0 1035 656 657 0 1035 658 659 0 1035 658 660 0 1035 659 660 0 1035 661 662 0 1035 661 663 0 1035 662 663 0 1035 664 665 0 1035 664 666 0 1035 665 666 0 1035 667 668 0 1035 667 669 0 1035 668 669 0 1035 670 671 0 1035 670 672 0 1035 671 672 0 1035 673 674 0 1035 673 675 0 1035 674 675 0 1035 676 677 0 1035 676 678 0 1035 677 678 0 1035 679 680 0 1035 679 681 0 1035 680 681 0 1035 682 683 0 1035 682 684 0 1035 683 684 0 1035 685 686 0 1035 685 687 0 1035 686 687 0 1035 688 689 0 1035 688 690 0 1035 689 690 0 1035 691 692 0 1035 691 693 0 1035 692 693 0 1035 694 695 0 1035 694 696 0 1035 695 696 0 1035 697 698 0 1035 697 699 0 1035 698 699 0 1035 700 701 0 1035 700 702 0 1035 701 702 0 1035 703 704 0 1035 703 705 0 1035 704 705 0 1035 706 707 0 1035 706 708 0 1035 707 708 0 1035 709 710 0 1035 709 711 0 1035 710 711 0 1035 712 713 0 1035 712 714 0 1035 713 714 0 1035 715 716 0 1035 715 717 0 1035 716 717 0 1035 718 719 0 1035 718 720 0 1035 719 720 0 1035 721 722 0 1035 721 723 0 1035 722 723 0 1035 724 725 0 1035 724 726 0 1035 725 726 0 1035 727 728 0 1035 727 729 0 1035 728 729 0 1035 730 731 0 1035 730 732 0 1035 731 732 0 1035 733 734 0 1035 733 735 0 1035 734 735 0 1035 736 737 0 1035 736 738 0 1035 737 738 0 1035 739 740 0 1035 739 741 0 1035 740 741 0 1035 742 743 0 1035 742 744 0 1035 743 744 0 1035 745 746 0 1035 745 747 0 1035 746 747 0 1035 748 749 0 1035 748 750 0 1035 749 750 0 1035 751 752 0 1035 751 753 0 1035 752 753 0 1035 754 755 0 1035 754 756 0 1035 755 756 0 1035 757 758 0 1035 757 759 0 1035 758 759 0 1035 760 761 0 1035 760 762 0 1035 761 762 0 1035 763 764 0 1035 763 765 0 1035 764 765 0 1035 766 767 0 1035 766 768 0 1035 767 768 0 1035 769 770 0 1035 769 771 0 1035 770 771 0 1035 772 773 0 1035 772 774 0 1035 773 774 0 1035 775 776 0 1035 775 777 0 1035 776 777 0 1035 778 779 0 1035 778 780 0 1035 779 780 0 1035 781 782 0 1035 781 783 0 1035 782 783 0 1035 784 785 0 1035 784 786 0 1035 785 786 0 1035 787 788 0 1035 787 789 0 1035 788 789 0 1035 790 791 0 1035 790 792 0 1035 791 792 0 1035 793 794 0 1035 793 795 0 1035 794 795 0 1035 796 797 0 1035 796 798 0 1035 797 798 0 1035 799 800 0 1035 799 801 0 1035 800 801 0 1035 802 803 0 1035 802 804 0 1035 803 804 0 1035 805 806 0 1035 805 807 0 1035 806 807 0 1035 808 809 0 1035 808 810 0 1035 809 810 0 1035 811 812 0 1035 811 813 0 1035 812 813 0 1035 814 815 0 1035 814 816 0 1035 815 816 0 1035 817 818 0 1035 817 819 0 1035 818 819 0 1035 820 821 0 1035 820 822 0 1035 821 822 0 1035 823 824 0 1035 823 825 0 1035 824 825 0 1035 826 827 0 1035 826 828 0 1035 827 828 0 1035 829 830 0 1035 829 831 0 1035 830 831 0 1035 832 833 0 1035 832 834 0 1035 833 834 0 1035 835 836 0 1035 835 837 0 1035 836 837 0 1035 838 839 0 1035 838 840 0 1035 839 840 0 1035 841 842 0 1035 841 843 0 1035 842 843 0 1035 844 845 0 1035 844 846 0 1035 845 846 0 1035 847 848 0 1035 847 849 0 1035 848 849 0 1035 850 851 0 1035 850 852 0 1035 851 852 0 1035 853 854 0 1035 853 855 0 1035 854 855 0 1035 856 857 0 1035 856 858 0 1035 857 858 0 1035 859 860 0 1035 859 861 0 1035 860 861 0 1035 862 863 0 1035 862 864 0 1035 863 864 0 1035 865 866 0 1035 865 867 0 1035 866 867 0 1035 868 869 0 1035 868 870 0 1035 869 870 0 1035 871 872 0 1035 871 873 0 1035 872 873 0 1035 874 875 0 1035 874 876 0 1035 875 876 0 1035 877 878 0 1035 877 879 0 1035 878 879 0 1035 880 881 0 1035 880 882 0 1035 881 882 0 1035 883 884 0 1035 883 885 0 1035 884 885 0 1035 886 887 0 1035 886 888 0 1035 887 888 0 1035 889 890 0 1035 889 891 0 1035 890 891 0 1035 892 893 0 1035 892 894 0 1035 893 894 0 1035 895 896 0 1035 895 897 0 1035 896 897 0 1035 898 899 0 1035 898 900 0 1035 899 900 0 1035 901 902 0 1035 901 903 0 1035 902 903 0 1035 904 905 0 1035 904 906 0 1035 905 906 0 1035 907 908 0 1035 907 909 0 1035 908 909 0 1035 910 911 0 1035 910 912 0 1035 911 912 0 1035 913 914 0 1035 913 915 0 1035 914 915 0 1035 916 917 0 1035 916 918 0 1035 917 918 0 1035 919 920 0 1035 919 921 0 1035 920 921 0 1035 922 923 0 1035 922 924 0 1035 923 924 0 1035 925 926 0 1035 925 927 0 1035 926 927 0 1035 928 929 0 1035 928 930 0 1035 929 930 0 1035 931 932 0 1035 931 933 0 1035 932 933 0 1035 934 935 0 1035 934 936 0 1035 935 936 0 1035 937 938 0 1035 937 939 0 1035 938 939 0 1035 940 941 0 1035 940 942 0 1035 941 942 0 1035 943 944 0 1035 943 945 0 1035 944 945 0 1035 946 947 0 1035 946 948 0 1035 947 948 0 1035 949 950 0 1035 949 951 0 1035 950 951 0 1035 952 953 0 1035 952 954 0 1035 953 954 0 1035 955 956 0 1035 955 957 0 1035 956 957 0 1035 958 959 0 1035 958 960 0 1035 959 960 0 1035 961 962 0 1035 961 963 0 1035 962 963 0 1035 964 965 0 1035 964 966 0 1035 965 966 0 1035 967 968 0 1035 967 969 0 1035 968 969 0 1035 970 971 0 1035 970 972 0 1035 971 972 0 1035 973 974 0 1035 973 975 0 1035 974 975 0 1035 976 977 0 1035 976 978 0 1035 977 978 0 1035 979 980 0 1035 979 981 0 1035 980 981 0 1035 982 983 0 1035 982 984 0 1035 983 984 0 1035 985 986 0 1035 985 987 0 1035 986 987 0 1035 988 989 0 1035 988 990 0 1035 989 990 0 1035 991 992 0 1035 991 993 0 1035 992 993 0 1035 994 995 0 1035 994 996 0 1035 995 996 0 1035 997 998 0 1035 997 999 0 1035 998 999 0 1035 1000 1001 0 1035 1000 1002 0 1035 1001 1002 0 1035 1003 1004 0 1035 1003 1005 0 1035 1004 1005 0 1035 1006 1007 0 1035 1006 1008 0 1035 1007 1008 0 1035 1009 1010 0 1035 1009 1011 0 1035 1010 1011 0 1035 1012 1013 0 1035 1012 1014 0 1035 1013 1014 0 1035 1015 1016 0 1035 1015 1017 0 1035 1016 1017 0 1035 1018 1019 0 1035 1018 1020 0 1035 1019 1020 0 1035 1021 1022 0 1035 1021 1023 0 1035 1022 1023 0 1035 1024 1025 0 1035 1024 1026 0 1035 1025 1026 0 1035 1027 1028 0 1035 1027 1029 0 1035 1028 1029 0 1035 1030 1031 0 1035 1030 1032 0 1035 1031 1032 0 1035 1033 1034 0 1035 1033 1035 0 1035 1034 1035 0