1p cnf 111 3862-1 23 03-23 24 04-2 -23 25 05-25 26 06-3 -25 27 07-27 28 08-4 -27 29 09-29 30 010-5 -29 31 011-31 32 012-6 -31 013-2 24 014-24 33 015-3 -24 26 016-26 34 017-4 -26 28 018-28 35 019-5 -28 30 020-30 36 021-6 -30 32 022-32 37 023-7 -32 024-3 33 025-33 38 026-4 -33 34 027-34 39 028-5 -34 35 029-35 40 030-6 -35 36 031-36 41 032-7 -36 37 033-37 42 034-8 -37 035-4 38 036-38 43 037-5 -38 39 038-39 44 039-6 -39 40 040-40 45 041-7 -40 41 042-41 46 043-8 -41 42 044-42 47 045-9 -42 046-5 43 047-43 48 048-6 -43 44 049-44 49 050-7 -44 45 051-45 50 052-8 -45 46 053-46 51 054-9 -46 47 055-47 52 056-10 -47 057-6 48 058-48 53 059-7 -48 49 060-49 54 061-8 -49 50 062-50 55 063-9 -50 51 064-51 56 065-10 -51 52 066-52 57 067-11 -52 068-7 53 069-53 58 070-8 -53 54 071-54 59 072-9 -54 55 073-55 60 074-10 -55 56 075-56 61 076-11 -56 57 077-57 62 078-12 -57 079-8 58 080-58 63 081-9 -58 59 082-59 64 083-10 -59 60 084-60 65 085-11 -60 61 086-61 66 087-12 -61 62 088-62 67 089-13 -62 090-9 63 091-63 68 092-10 -63 64 093-64 69 094-11 -64 65 095-65 70 096-12 -65 66 097-66 71 098-13 -66 67 099-67 72 0100-14 -67 0101-10 68 0102-68 73 0103-11 -68 69 0104-69 74 0105-12 -69 70 0106-70 75 0107-13 -70 71 0108-71 76 0109-14 -71 72 0110-72 77 0111-15 -72 0112-11 73 0113-73 78 0114-12 -73 74 0115-74 79 0116-13 -74 75 0117-75 80 0118-14 -75 76 0119-76 81 0120-15 -76 77 0121-77 82 0122-16 -77 0123-12 78 0124-78 83 0125-13 -78 79 0126-79 84 0127-14 -79 80 0128-80 85 0129-15 -80 81 0130-81 86 0131-16 -81 82 0132-82 87 0133-17 -82 0134-13 83 0135-83 88 0136-14 -83 84 0137-84 89 0138-15 -84 85 0139-85 90 0140-16 -85 86 0141-86 91 0142-17 -86 87 0143-87 92 0144-18 -87 0145-14 88 0146-88 93 0147-15 -88 89 0148-89 94 0149-16 -89 90 0150-90 95 0151-17 -90 91 0152-91 96 0153-18 -91 92 0154-92 97 0155-19 -92 0156-15 93 0157-93 98 0158-16 -93 94 0159-94 99 0160-17 -94 95 0161-95 100 0162-18 -95 96 0163-96 101 0164-19 -96 97 0165-97 102 0166-20 -97 0167-16 98 0168-98 103 0169-17 -98 99 0170-99 104 0171-18 -99 100 0172-100 105 0173-19 -100 101 0174-101 106 0175-20 -101 102 0176-102 107 0177-21 -102 0178-17 103 0179-18 -103 104 0180-19 -104 105 0181-20 -105 106 0182-21 -106 107 0183-22 -107 0184-108 1 0185-108 -12 0186-108 2 0187-108 11 0188-109 1 0189-109 -2 0190-109 11 0191-109 12 0192-110 12 0193-110 -1 0194-110 17 0195-110 18 0196-111 12 0197-111 -17 0198-111 1 0199-111 18 0200108 109 110 111 02012 5 6 7 10 11 13 14 15 19 20 22 02022 3 6 7 8 11 13 15 16 20 21 22 02031 3 6 7 8 11 12 14 15 16 20 21 02041 3 4 7 8 9 12 14 16 17 21 22 02051 2 4 7 8 9 13 15 16 17 21 22 02062 4 5 8 9 10 12 13 15 17 18 22 02072 3 5 8 9 10 12 14 16 17 18 22 02083 5 6 9 10 11 12 13 14 16 18 19 02093 4 6 9 10 11 12 13 15 17 18 19 02101 4 6 7 10 11 13 14 15 17 19 20 02111 4 5 7 10 11 13 14 16 18 19 20 02121 2 5 7 8 11 14 15 16 18 20 21 02131 2 5 6 8 11 14 15 17 19 20 21 02141 2 3 6 8 9 15 16 17 19 21 22 02151 2 3 6 7 9 15 16 18 20 21 22 02162 3 4 7 9 10 12 16 17 18 20 22 02172 3 4 7 8 10 12 16 17 19 21 22 02183 4 5 8 10 11 12 13 17 18 19 21 02193 4 5 8 9 11 12 13 17 18 20 22 02201 4 5 6 9 11 13 14 18 19 20 22 02211 4 5 6 9 10 12 13 14 18 19 21 02221 2 5 6 7 10 12 14 15 19 20 21 02232 5 6 7 9 11 13 14 15 21 22 02242 4 6 7 8 11 13 14 20 21 22 02251 3 6 7 8 10 12 14 15 16 22 02261 3 5 7 8 9 12 14 15 21 22 02272 4 7 8 9 11 12 13 15 16 17 02282 4 6 8 9 10 12 13 15 16 22 02291 3 5 8 9 10 13 14 16 17 18 02303 5 7 9 10 11 12 13 14 16 17 02312 4 6 9 10 11 14 15 17 18 19 02321 4 6 8 10 11 13 14 15 17 18 02331 3 5 7 10 11 15 16 18 19 20 02341 2 5 7 9 11 14 15 16 18 19 02351 2 4 6 8 11 16 17 19 20 21 02361 2 3 6 8 10 15 16 17 19 20 02371 2 3 5 7 9 17 18 20 21 22 02382 3 4 7 9 11 16 17 18 20 21 02392 3 4 6 8 10 12 18 19 21 22 02401 3 4 5 8 10 17 18 19 21 22 02413 4 5 7 9 11 12 13 19 20 22 02422 4 5 6 9 11 12 18 19 20 22 02431 4 5 6 8 10 12 13 14 20 21 02441 3 5 6 7 10 12 13 19 20 21 02452 5 6 7 9 11 13 14 15 16 22 02462 4 6 7 8 11 13 19 20 21 22 02471 3 6 7 8 10 12 14 15 16 17 02481 3 5 7 8 9 12 14 20 21 22 02492 4 7 8 9 11 13 15 16 17 18 02502 4 6 8 9 10 12 13 15 21 22 02511 3 5 8 9 10 14 16 17 18 19 02523 5 7 9 10 11 12 13 14 16 22 02532 4 6 9 10 11 15 17 18 19 20 02541 4 6 8 10 11 12 13 14 15 17 02551 3 5 7 10 11 16 18 19 20 21 02561 2 5 7 9 11 13 14 15 16 18 02571 2 4 6 8 11 17 19 20 21 22 02581 2 3 6 8 10 14 15 16 17 19 02591 2 3 5 7 9 12 18 20 21 22 02602 3 4 7 9 11 15 16 17 18 20 02612 3 4 6 8 10 12 13 19 21 22 02621 3 4 5 8 10 16 17 18 19 21 02633 4 5 7 9 11 12 13 14 20 22 02642 4 5 6 9 11 17 18 19 20 22 02651 4 5 6 8 10 12 13 14 15 21 02661 3 5 6 7 10 12 18 19 20 21 02673 5 7 9 13 19 20 21 02684 6 8 10 14 15 16 22 02694 6 8 10 14 20 21 22 02705 7 9 11 12 15 16 17 02715 7 9 11 12 15 21 22 02721 6 8 10 13 16 17 18 02731 6 8 10 12 13 16 22 02742 7 9 11 14 17 18 19 02752 7 9 11 12 13 14 17 02761 3 8 10 15 18 19 20 02771 3 8 10 13 14 15 18 02782 4 9 11 16 19 20 21 02792 4 9 11 14 15 16 19 02801 3 5 10 17 20 21 22 02811 3 5 10 15 16 17 20 02822 4 6 11 12 18 21 22 02832 4 6 11 16 17 18 21 02841 3 5 7 12 13 19 22 02851 3 5 7 17 18 19 22 02862 4 6 8 12 13 14 20 02872 4 6 8 12 18 19 20 02883 5 7 9 13 14 15 21 02892 4 6 7 9 11 13 14 21 22 02901 3 5 7 8 10 12 14 15 22 02912 4 6 8 9 11 12 13 15 16 02921 3 5 7 9 10 13 14 16 17 02932 4 6 8 10 11 14 15 17 18 02941 3 5 7 9 11 15 16 18 19 02951 2 4 6 8 10 16 17 19 20 02962 3 5 7 9 11 17 18 20 21 02971 3 4 6 8 10 18 19 21 22 02982 4 5 7 9 11 12 19 20 22 02991 3 5 6 8 10 12 13 20 21 03002 3 6 7 9 11 13 15 16 19 22 03012 4 6 7 10 11 13 16 19 20 22 03021 3 4 7 8 10 12 14 16 17 20 03031 3 5 7 8 11 12 14 17 20 21 03042 4 5 8 9 11 13 15 17 18 21 03051 2 4 6 8 9 13 15 18 21 22 03061 3 5 6 9 10 14 16 18 19 22 03072 3 5 7 9 10 12 14 16 19 22 03082 4 6 7 10 11 12 15 17 19 20 03093 4 6 8 10 11 12 13 15 17 20 03101 3 5 7 8 11 13 16 18 20 21 03111 4 5 7 9 11 13 14 16 18 21 03121 2 4 6 8 9 14 17 19 21 22 03131 2 5 6 8 10 14 15 17 19 22 03142 3 5 7 9 10 12 15 18 20 22 03152 3 6 7 9 11 12 15 16 18 20 03163 4 6 8 10 11 12 13 16 19 21 03171 3 4 7 8 10 13 16 17 19 21 03181 4 5 7 9 11 13 14 17 20 22 03192 4 5 8 9 11 14 17 18 20 22 03201 2 5 6 8 10 12 14 15 18 21 03211 3 5 6 9 10 12 15 18 19 21 03222 5 7 10 11 13 14 15 16 19 20 03232 3 6 8 11 15 16 19 20 21 22 03241 3 6 8 11 14 15 16 17 20 21 03251 3 4 7 9 12 16 17 20 21 22 03261 2 4 7 9 15 16 17 18 21 22 03272 4 5 8 10 12 13 17 18 21 22 03282 3 5 8 10 12 16 17 18 19 22 03293 5 6 9 11 12 13 14 18 19 22 03303 4 6 9 11 12 13 17 18 19 20 03311 4 6 7 10 12 13 14 15 19 20 03321 4 5 7 10 13 14 18 19 20 21 03332 5 7 8 11 13 14 15 16 20 21 03342 5 6 8 11 14 15 19 20 21 22 03351 3 6 8 9 14 15 16 17 21 22 03361 3 6 7 9 12 15 16 20 21 22 03372 4 7 9 10 12 15 16 17 18 22 03382 4 7 8 10 12 13 16 17 21 22 03393 5 8 10 11 12 13 16 17 18 19 03403 5 8 9 11 12 13 14 17 18 22 03411 4 6 9 11 13 14 17 18 19 20 03421 4 6 9 10 12 13 14 15 18 19 03431 2 5 7 10 14 15 18 19 20 21 03443 6 8 13 15 16 17 18 20 03455 7 10 15 17 18 19 20 22 03464 7 9 14 16 17 18 19 21 03476 8 11 12 16 18 19 20 21 03485 8 10 15 17 18 19 20 22 03491 7 9 13 17 19 20 21 22 03506 9 11 12 16 18 19 20 21 03512 8 10 12 14 18 20 21 22 03521 7 10 13 17 19 20 21 22 03533 9 11 12 13 15 19 21 22 03542 8 11 12 14 18 20 21 22 03551 4 10 12 13 14 16 20 22 03561 3 9 12 13 15 19 21 22 03572 5 11 12 13 14 15 17 21 03582 4 10 12 13 14 16 20 22 03591 3 6 13 14 15 16 18 22 03603 5 11 12 13 14 15 17 21 03612 4 7 12 14 15 16 17 19 03621 4 6 13 14 15 16 18 22 03633 5 8 13 15 16 17 18 20 03642 5 7 12 14 15 16 17 19 03654 6 9 14 16 17 18 19 21 03663 4 7 10 13 16 17 18 19 20 22 03673 6 9 10 13 15 16 17 18 19 22 03684 5 8 11 12 14 17 18 19 20 21 03694 7 10 11 12 14 16 17 18 19 20 03701 5 6 9 13 15 18 19 20 21 22 03711 5 8 11 13 15 17 18 19 20 21 03722 6 7 10 12 14 16 19 20 21 22 03731 2 6 9 14 16 18 19 20 21 22 03743 7 8 11 12 13 15 17 20 21 22 03752 3 7 10 12 15 17 19 20 21 22 03761 4 8 9 12 13 14 16 18 21 22 03773 4 8 11 12 13 16 18 20 21 22 03782 5 9 10 12 13 14 15 17 19 22 03791 4 5 9 12 13 14 17 19 21 22 03803 6 10 11 12 13 14 15 16 18 20 03812 5 6 10 12 13 14 15 18 20 22 03821 4 7 11 13 14 15 16 17 19 21 03833 6 7 11 12 13 14 15 16 19 21 03841 2 5 8 14 15 16 17 18 20 22 03851 4 7 8 13 14 15 16 17 20 22 03862 3 6 9 12 15 16 17 18 19 21 03872 5 8 9 12 14 15 16 17 18 21 0388