1p cnf 61 185 2e 1 2 3 4 5 6 7 0 3a 34 35 0 4e 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 0 51 -8 0 64 -8 0 7-4 -1 8 0 8-1 -9 0 9-4 -9 0 104 1 9 0 1110 -8 0 1210 -9 0 13-10 9 8 0 147 -11 0 15-11 10 0 16-7 11 -10 0 17-7 -12 0 18-12 -10 0 197 12 10 0 2013 -11 0 2113 -12 0 22-13 12 11 0 234 -14 0 247 -14 0 25-7 -4 14 0 261 -15 0 27-15 -13 0 28-1 15 13 0 2916 -14 0 3016 -15 0 31-16 15 14 0 323 -17 0 336 -17 0 34-6 -3 17 0 35-3 -18 0 36-6 -18 0 376 3 18 0 3819 -17 0 3919 -18 0 40-19 18 17 0 41-20 16 0 42-20 19 0 4320 -19 -16 0 44-21 -16 0 45-21 -19 0 4621 19 16 0 4722 -20 0 4822 -21 0 49-22 21 20 0 50-2 23 0 51-5 23 0 525 2 -23 0 532 -24 0 545 -24 0 55-5 -2 24 0 563 -25 0 57-25 -22 0 58-25 23 0 59-3 25 -23 22 0 606 -26 0 61-26 16 0 62-26 23 0 63-6 26 -23 -16 0 6427 -24 0 6527 -25 0 6627 -26 0 67-27 26 25 24 0 68-28 -27 0 69-28 23 0 7028 27 -23 0 713 -29 0 726 -29 0 73-29 -27 0 74-6 -3 29 27 0 75-30 -27 0 76-30 -22 0 77-30 16 0 7830 27 22 -16 0 792 -31 0 803 -31 0 815 -31 0 826 -31 0 83-6 -5 -3 -2 31 0 842 -32 0 855 -32 0 86-32 -22 0 87-32 16 0 88-5 -2 32 22 -16 0 8933 -28 0 9033 -29 0 9133 -30 0 9233 -31 0 9333 -32 0 94-33 32 31 30 29 28 0 957 -36 0 9635 -36 0 97-7 -35 36 0 98-7 -37 0 99-35 -37 0 1007 35 37 0 10138 -36 0 10238 -37 0 103-38 37 36 0 1044 -39 0 1057 -39 0 106-7 -4 39 0 10740 38 0 108-1 40 0 1091 -40 -38 0 11041 -39 0 11141 -40 0 112-41 40 39 0 1133 -42 0 1146 -42 0 115-6 -3 42 0 116-3 -43 0 117-6 -43 0 1186 3 43 0 11944 -42 0 12044 -43 0 121-44 43 42 0 122-45 41 0 123-45 44 0 12445 -44 -41 0 125-46 -41 0 126-46 -44 0 12746 44 41 0 12847 -45 0 12947 -46 0 130-47 46 45 0 1312 -48 0 1325 -48 0 133-5 -2 48 0 1343 -49 0 135-49 -47 0 13634 -49 0 137-3 -34 49 47 0 1386 -50 0 139-50 41 0 14034 -50 0 141-6 -34 50 -41 0 14251 -48 0 14351 -49 0 14451 -50 0 145-51 50 49 48 0 146-52 -51 0 14734 -52 0 148-34 52 51 0 1493 -53 0 1506 -53 0 151-53 -51 0 152-6 -3 53 51 0 153-54 -51 0 154-54 -47 0 155-54 41 0 15654 51 47 -41 0 1572 -55 0 1583 -55 0 1595 -55 0 1606 -55 0 161-6 -5 -3 -2 55 0 1622 -56 0 1635 -56 0 164-56 -47 0 165-56 41 0 166-5 -2 56 47 -41 0 16757 -52 0 16857 -53 0 16957 -54 0 17057 -55 0 17157 -56 0 172-57 56 55 54 53 52 0 173-58 -51 -27 0 174-58 51 27 0 17558 -51 27 0 17658 51 -27 0 177-59 -57 -33 0 178-59 57 33 0 17959 -57 33 0 18059 57 -33 0 181-60 -47 -22 0 182-60 47 22 0 18360 -47 22 0 18460 47 -22 0 185-61 -38 -13 0 186-61 38 13 0 18761 -38 13 0 18861 38 -13 0 18961 60 59 58 0 190