c File:  johnson16-2-4.clq
c
c Source: Panos Pardalos pardalos@math.ufl.edu
c
c Reference: Johnson graph: johnsona-b-c is generated by
c            binary vectors of length a and weight b, with
c            two vertices adjacent if the hamming distance
c            between them is at least d.
c
c PSEUDOBOOLEAN 120
p wcnf 120 1800 120
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
120 1 2 0
120 1 3 0
120 1 4 0
120 1 5 0
120 1 7 0
120 1 8 0
120 1 11 0
120 1 12 0
120 1 16 0
120 1 17 0
120 1 22 0
120 1 23 0
120 1 29 0
120 1 30 0
120 1 37 0
120 1 38 0
120 1 46 0
120 1 47 0
120 1 56 0
120 1 57 0
120 1 67 0
120 1 68 0
120 1 79 0
120 1 80 0
120 1 92 0
120 1 93 0
120 1 106 0
120 1 107 0
120 2 3 0
120 2 4 0
120 2 6 0
120 2 7 0
120 2 9 0
120 2 11 0
120 2 13 0
120 2 16 0
120 2 18 0
120 2 22 0
120 2 24 0
120 2 29 0
120 2 31 0
120 2 37 0
120 2 39 0
120 2 46 0
120 2 48 0
120 2 56 0
120 2 58 0
120 2 67 0
120 2 69 0
120 2 79 0
120 2 81 0
120 2 92 0
120 2 94 0
120 2 106 0
120 2 108 0
120 3 5 0
120 3 6 0
120 3 8 0
120 3 9 0
120 3 12 0
120 3 13 0
120 3 17 0
120 3 18 0
120 3 23 0
120 3 24 0
120 3 30 0
120 3 31 0
120 3 38 0
120 3 39 0
120 3 47 0
120 3 48 0
120 3 57 0
120 3 58 0
120 3 68 0
120 3 69 0
120 3 80 0
120 3 81 0
120 3 93 0
120 3 94 0
120 3 107 0
120 3 108 0
120 4 5 0
120 4 6 0
120 4 7 0
120 4 10 0
120 4 11 0
120 4 14 0
120 4 16 0
120 4 19 0
120 4 22 0
120 4 25 0
120 4 29 0
120 4 32 0
120 4 37 0
120 4 40 0
120 4 46 0
120 4 49 0
120 4 56 0
120 4 59 0
120 4 67 0
120 4 70 0
120 4 79 0
120 4 82 0
120 4 92 0
120 4 95 0
120 4 106 0
120 4 109 0
120 5 6 0
120 5 8 0
120 5 10 0
120 5 12 0
120 5 14 0
120 5 17 0
120 5 19 0
120 5 23 0
120 5 25 0
120 5 30 0
120 5 32 0
120 5 38 0
120 5 40 0
120 5 47 0
120 5 49 0
120 5 57 0
120 5 59 0
120 5 68 0
120 5 70 0
120 5 80 0
120 5 82 0
120 5 93 0
120 5 95 0
120 5 107 0
120 5 109 0
120 6 9 0
120 6 10 0
120 6 13 0
120 6 14 0
120 6 18 0
120 6 19 0
120 6 24 0
120 6 25 0
120 6 31 0
120 6 32 0
120 6 39 0
120 6 40 0
120 6 48 0
120 6 49 0
120 6 58 0
120 6 59 0
120 6 69 0
120 6 70 0
120 6 81 0
120 6 82 0
120 6 94 0
120 6 95 0
120 6 108 0
120 6 109 0
120 7 8 0
120 7 9 0
120 7 10 0
120 7 11 0
120 7 15 0
120 7 16 0
120 7 20 0
120 7 22 0
120 7 26 0
120 7 29 0
120 7 33 0
120 7 37 0
120 7 41 0
120 7 46 0
120 7 50 0
120 7 56 0
120 7 60 0
120 7 67 0
120 7 71 0
120 7 79 0
120 7 83 0
120 7 92 0
120 7 96 0
120 7 106 0
120 7 110 0
120 8 9 0
120 8 10 0
120 8 12 0
120 8 15 0
120 8 17 0
120 8 20 0
120 8 23 0
120 8 26 0
120 8 30 0
120 8 33 0
120 8 38 0
120 8 41 0
120 8 47 0
120 8 50 0
120 8 57 0
120 8 60 0
120 8 68 0
120 8 71 0
120 8 80 0
120 8 83 0
120 8 93 0
120 8 96 0
120 8 107 0
120 8 110 0
120 9 10 0
120 9 13 0
120 9 15 0
120 9 18 0
120 9 20 0
120 9 24 0
120 9 26 0
120 9 31 0
120 9 33 0
120 9 39 0
120 9 41 0
120 9 48 0
120 9 50 0
120 9 58 0
120 9 60 0
120 9 69 0
120 9 71 0
120 9 81 0
120 9 83 0
120 9 94 0
120 9 96 0
120 9 108 0
120 9 110 0
120 10 14 0
120 10 15 0
120 10 19 0
120 10 20 0
120 10 25 0
120 10 26 0
120 10 32 0
120 10 33 0
120 10 40 0
120 10 41 0
120 10 49 0
120 10 50 0
120 10 59 0
120 10 60 0
120 10 70 0
120 10 71 0
120 10 82 0
120 10 83 0
120 10 95 0
120 10 96 0
120 10 109 0
120 10 110 0
120 11 12 0
120 11 13 0
120 11 14 0
120 11 15 0
120 11 16 0
120 11 21 0
120 11 22 0
120 11 27 0
120 11 29 0
120 11 34 0
120 11 37 0
120 11 42 0
120 11 46 0
120 11 51 0
120 11 56 0
120 11 61 0
120 11 67 0
120 11 72 0
120 11 79 0
120 11 84 0
120 11 92 0
120 11 97 0
120 11 106 0
120 11 111 0
120 12 13 0
120 12 14 0
120 12 15 0
120 12 17 0
120 12 21 0
120 12 23 0
120 12 27 0
120 12 30 0
120 12 34 0
120 12 38 0
120 12 42 0
120 12 47 0
120 12 51 0
120 12 57 0
120 12 61 0
120 12 68 0
120 12 72 0
120 12 80 0
120 12 84 0
120 12 93 0
120 12 97 0
120 12 107 0
120 12 111 0
120 13 14 0
120 13 15 0
120 13 18 0
120 13 21 0
120 13 24 0
120 13 27 0
120 13 31 0
120 13 34 0
120 13 39 0
120 13 42 0
120 13 48 0
120 13 51 0
120 13 58 0
120 13 61 0
120 13 69 0
120 13 72 0
120 13 81 0
120 13 84 0
120 13 94 0
120 13 97 0
120 13 108 0
120 13 111 0
120 14 15 0
120 14 19 0
120 14 21 0
120 14 25 0
120 14 27 0
120 14 32 0
120 14 34 0
120 14 40 0
120 14 42 0
120 14 49 0
120 14 51 0
120 14 59 0
120 14 61 0
120 14 70 0
120 14 72 0
120 14 82 0
120 14 84 0
120 14 95 0
120 14 97 0
120 14 109 0
120 14 111 0
120 15 20 0
120 15 21 0
120 15 26 0
120 15 27 0
120 15 33 0
120 15 34 0
120 15 41 0
120 15 42 0
120 15 50 0
120 15 51 0
120 15 60 0
120 15 61 0
120 15 71 0
120 15 72 0
120 15 83 0
120 15 84 0
120 15 96 0
120 15 97 0
120 15 110 0
120 15 111 0
120 16 17 0
120 16 18 0
120 16 19 0
120 16 20 0
120 16 21 0
120 16 22 0
120 16 28 0
120 16 29 0
120 16 35 0
120 16 37 0
120 16 43 0
120 16 46 0
120 16 52 0
120 16 56 0
120 16 62 0
120 16 67 0
120 16 73 0
120 16 79 0
120 16 85 0
120 16 92 0
120 16 98 0
120 16 106 0
120 16 112 0
120 17 18 0
120 17 19 0
120 17 20 0
120 17 21 0
120 17 23 0
120 17 28 0
120 17 30 0
120 17 35 0
120 17 38 0
120 17 43 0
120 17 47 0
120 17 52 0
120 17 57 0
120 17 62 0
120 17 68 0
120 17 73 0
120 17 80 0
120 17 85 0
120 17 93 0
120 17 98 0
120 17 107 0
120 17 112 0
120 18 19 0
120 18 20 0
120 18 21 0
120 18 24 0
120 18 28 0
120 18 31 0
120 18 35 0
120 18 39 0
120 18 43 0
120 18 48 0
120 18 52 0
120 18 58 0
120 18 62 0
120 18 69 0
120 18 73 0
120 18 81 0
120 18 85 0
120 18 94 0
120 18 98 0
120 18 108 0
120 18 112 0
120 19 20 0
120 19 21 0
120 19 25 0
120 19 28 0
120 19 32 0
120 19 35 0
120 19 40 0
120 19 43 0
120 19 49 0
120 19 52 0
120 19 59 0
120 19 62 0
120 19 70 0
120 19 73 0
120 19 82 0
120 19 85 0
120 19 95 0
120 19 98 0
120 19 109 0
120 19 112 0
120 20 21 0
120 20 26 0
120 20 28 0
120 20 33 0
120 20 35 0
120 20 41 0
120 20 43 0
120 20 50 0
120 20 52 0
120 20 60 0
120 20 62 0
120 20 71 0
120 20 73 0
120 20 83 0
120 20 85 0
120 20 96 0
120 20 98 0
120 20 110 0
120 20 112 0
120 21 27 0
120 21 28 0
120 21 34 0
120 21 35 0
120 21 42 0
120 21 43 0
120 21 51 0
120 21 52 0
120 21 61 0
120 21 62 0
120 21 72 0
120 21 73 0
120 21 84 0
120 21 85 0
120 21 97 0
120 21 98 0
120 21 111 0
120 21 112 0
120 22 23 0
120 22 24 0
120 22 25 0
120 22 26 0
120 22 27 0
120 22 28 0
120 22 29 0
120 22 36 0
120 22 37 0
120 22 44 0
120 22 46 0
120 22 53 0
120 22 56 0
120 22 63 0
120 22 67 0
120 22 74 0
120 22 79 0
120 22 86 0
120 22 92 0
120 22 99 0
120 22 106 0
120 22 113 0
120 23 24 0
120 23 25 0
120 23 26 0
120 23 27 0
120 23 28 0
120 23 30 0
120 23 36 0
120 23 38 0
120 23 44 0
120 23 47 0
120 23 53 0
120 23 57 0
120 23 63 0
120 23 68 0
120 23 74 0
120 23 80 0
120 23 86 0
120 23 93 0
120 23 99 0
120 23 107 0
120 23 113 0
120 24 25 0
120 24 26 0
120 24 27 0
120 24 28 0
120 24 31 0
120 24 36 0
120 24 39 0
120 24 44 0
120 24 48 0
120 24 53 0
120 24 58 0
120 24 63 0
120 24 69 0
120 24 74 0
120 24 81 0
120 24 86 0
120 24 94 0
120 24 99 0
120 24 108 0
120 24 113 0
120 25 26 0
120 25 27 0
120 25 28 0
120 25 32 0
120 25 36 0
120 25 40 0
120 25 44 0
120 25 49 0
120 25 53 0
120 25 59 0
120 25 63 0
120 25 70 0
120 25 74 0
120 25 82 0
120 25 86 0
120 25 95 0
120 25 99 0
120 25 109 0
120 25 113 0
120 26 27 0
120 26 28 0
120 26 33 0
120 26 36 0
120 26 41 0
120 26 44 0
120 26 50 0
120 26 53 0
120 26 60 0
120 26 63 0
120 26 71 0
120 26 74 0
120 26 83 0
120 26 86 0
120 26 96 0
120 26 99 0
120 26 110 0
120 26 113 0
120 27 28 0
120 27 34 0
120 27 36 0
120 27 42 0
120 27 44 0
120 27 51 0
120 27 53 0
120 27 61 0
120 27 63 0
120 27 72 0
120 27 74 0
120 27 84 0
120 27 86 0
120 27 97 0
120 27 99 0
120 27 111 0
120 27 113 0
120 28 35 0
120 28 36 0
120 28 43 0
120 28 44 0
120 28 52 0
120 28 53 0
120 28 62 0
120 28 63 0
120 28 73 0
120 28 74 0
120 28 85 0
120 28 86 0
120 28 98 0
120 28 99 0
120 28 112 0
120 28 113 0
120 29 30 0
120 29 31 0
120 29 32 0
120 29 33 0
120 29 34 0
120 29 35 0
120 29 36 0
120 29 37 0
120 29 45 0
120 29 46 0
120 29 54 0
120 29 56 0
120 29 64 0
120 29 67 0
120 29 75 0
120 29 79 0
120 29 87 0
120 29 92 0
120 29 100 0
120 29 106 0
120 29 114 0
120 30 31 0
120 30 32 0
120 30 33 0
120 30 34 0
120 30 35 0
120 30 36 0
120 30 38 0
120 30 45 0
120 30 47 0
120 30 54 0
120 30 57 0
120 30 64 0
120 30 68 0
120 30 75 0
120 30 80 0
120 30 87 0
120 30 93 0
120 30 100 0
120 30 107 0
120 30 114 0
120 31 32 0
120 31 33 0
120 31 34 0
120 31 35 0
120 31 36 0
120 31 39 0
120 31 45 0
120 31 48 0
120 31 54 0
120 31 58 0
120 31 64 0
120 31 69 0
120 31 75 0
120 31 81 0
120 31 87 0
120 31 94 0
120 31 100 0
120 31 108 0
120 31 114 0
120 32 33 0
120 32 34 0
120 32 35 0
120 32 36 0
120 32 40 0
120 32 45 0
120 32 49 0
120 32 54 0
120 32 59 0
120 32 64 0
120 32 70 0
120 32 75 0
120 32 82 0
120 32 87 0
120 32 95 0
120 32 100 0
120 32 109 0
120 32 114 0
120 33 34 0
120 33 35 0
120 33 36 0
120 33 41 0
120 33 45 0
120 33 50 0
120 33 54 0
120 33 60 0
120 33 64 0
120 33 71 0
120 33 75 0
120 33 83 0
120 33 87 0
120 33 96 0
120 33 100 0
120 33 110 0
120 33 114 0
120 34 35 0
120 34 36 0
120 34 42 0
120 34 45 0
120 34 51 0
120 34 54 0
120 34 61 0
120 34 64 0
120 34 72 0
120 34 75 0
120 34 84 0
120 34 87 0
120 34 97 0
120 34 100 0
120 34 111 0
120 34 114 0
120 35 36 0
120 35 43 0
120 35 45 0
120 35 52 0
120 35 54 0
120 35 62 0
120 35 64 0
120 35 73 0
120 35 75 0
120 35 85 0
120 35 87 0
120 35 98 0
120 35 100 0
120 35 112 0
120 35 114 0
120 36 44 0
120 36 45 0
120 36 53 0
120 36 54 0
120 36 63 0
120 36 64 0
120 36 74 0
120 36 75 0
120 36 86 0
120 36 87 0
120 36 99 0
120 36 100 0
120 36 113 0
120 36 114 0
120 37 38 0
120 37 39 0
120 37 40 0
120 37 41 0
120 37 42 0
120 37 43 0
120 37 44 0
120 37 45 0
120 37 46 0
120 37 55 0
120 37 56 0
120 37 65 0
120 37 67 0
120 37 76 0
120 37 79 0
120 37 88 0
120 37 92 0
120 37 101 0
120 37 106 0
120 37 115 0
120 38 39 0
120 38 40 0
120 38 41 0
120 38 42 0
120 38 43 0
120 38 44 0
120 38 45 0
120 38 47 0
120 38 55 0
120 38 57 0
120 38 65 0
120 38 68 0
120 38 76 0
120 38 80 0
120 38 88 0
120 38 93 0
120 38 101 0
120 38 107 0
120 38 115 0
120 39 40 0
120 39 41 0
120 39 42 0
120 39 43 0
120 39 44 0
120 39 45 0
120 39 48 0
120 39 55 0
120 39 58 0
120 39 65 0
120 39 69 0
120 39 76 0
120 39 81 0
120 39 88 0
120 39 94 0
120 39 101 0
120 39 108 0
120 39 115 0
120 40 41 0
120 40 42 0
120 40 43 0
120 40 44 0
120 40 45 0
120 40 49 0
120 40 55 0
120 40 59 0
120 40 65 0
120 40 70 0
120 40 76 0
120 40 82 0
120 40 88 0
120 40 95 0
120 40 101 0
120 40 109 0
120 40 115 0
120 41 42 0
120 41 43 0
120 41 44 0
120 41 45 0
120 41 50 0
120 41 55 0
120 41 60 0
120 41 65 0
120 41 71 0
120 41 76 0
120 41 83 0
120 41 88 0
120 41 96 0
120 41 101 0
120 41 110 0
120 41 115 0
120 42 43 0
120 42 44 0
120 42 45 0
120 42 51 0
120 42 55 0
120 42 61 0
120 42 65 0
120 42 72 0
120 42 76 0
120 42 84 0
120 42 88 0
120 42 97 0
120 42 101 0
120 42 111 0
120 42 115 0
120 43 44 0
120 43 45 0
120 43 52 0
120 43 55 0
120 43 62 0
120 43 65 0
120 43 73 0
120 43 76 0
120 43 85 0
120 43 88 0
120 43 98 0
120 43 101 0
120 43 112 0
120 43 115 0
120 44 45 0
120 44 53 0
120 44 55 0
120 44 63 0
120 44 65 0
120 44 74 0
120 44 76 0
120 44 86 0
120 44 88 0
120 44 99 0
120 44 101 0
120 44 113 0
120 44 115 0
120 45 54 0
120 45 55 0
120 45 64 0
120 45 65 0
120 45 75 0
120 45 76 0
120 45 87 0
120 45 88 0
120 45 100 0
120 45 101 0
120 45 114 0
120 45 115 0
120 46 47 0
120 46 48 0
120 46 49 0
120 46 50 0
120 46 51 0
120 46 52 0
120 46 53 0
120 46 54 0
120 46 55 0
120 46 56 0
120 46 66 0
120 46 67 0
120 46 77 0
120 46 79 0
120 46 89 0
120 46 92 0
120 46 102 0
120 46 106 0
120 46 116 0
120 47 48 0
120 47 49 0
120 47 50 0
120 47 51 0
120 47 52 0
120 47 53 0
120 47 54 0
120 47 55 0
120 47 57 0
120 47 66 0
120 47 68 0
120 47 77 0
120 47 80 0
120 47 89 0
120 47 93 0
120 47 102 0
120 47 107 0
120 47 116 0
120 48 49 0
120 48 50 0
120 48 51 0
120 48 52 0
120 48 53 0
120 48 54 0
120 48 55 0
120 48 58 0
120 48 66 0
120 48 69 0
120 48 77 0
120 48 81 0
120 48 89 0
120 48 94 0
120 48 102 0
120 48 108 0
120 48 116 0
120 49 50 0
120 49 51 0
120 49 52 0
120 49 53 0
120 49 54 0
120 49 55 0
120 49 59 0
120 49 66 0
120 49 70 0
120 49 77 0
120 49 82 0
120 49 89 0
120 49 95 0
120 49 102 0
120 49 109 0
120 49 116 0
120 50 51 0
120 50 52 0
120 50 53 0
120 50 54 0
120 50 55 0
120 50 60 0
120 50 66 0
120 50 71 0
120 50 77 0
120 50 83 0
120 50 89 0
120 50 96 0
120 50 102 0
120 50 110 0
120 50 116 0
120 51 52 0
120 51 53 0
120 51 54 0
120 51 55 0
120 51 61 0
120 51 66 0
120 51 72 0
120 51 77 0
120 51 84 0
120 51 89 0
120 51 97 0
120 51 102 0
120 51 111 0
120 51 116 0
120 52 53 0
120 52 54 0
120 52 55 0
120 52 62 0
120 52 66 0
120 52 73 0
120 52 77 0
120 52 85 0
120 52 89 0
120 52 98 0
120 52 102 0
120 52 112 0
120 52 116 0
120 53 54 0
120 53 55 0
120 53 63 0
120 53 66 0
120 53 74 0
120 53 77 0
120 53 86 0
120 53 89 0
120 53 99 0
120 53 102 0
120 53 113 0
120 53 116 0
120 54 55 0
120 54 64 0
120 54 66 0
120 54 75 0
120 54 77 0
120 54 87 0
120 54 89 0
120 54 100 0
120 54 102 0
120 54 114 0
120 54 116 0
120 55 65 0
120 55 66 0
120 55 76 0
120 55 77 0
120 55 88 0
120 55 89 0
120 55 101 0
120 55 102 0
120 55 115 0
120 55 116 0
120 56 57 0
120 56 58 0
120 56 59 0
120 56 60 0
120 56 61 0
120 56 62 0
120 56 63 0
120 56 64 0
120 56 65 0
120 56 66 0
120 56 67 0
120 56 78 0
120 56 79 0
120 56 90 0
120 56 92 0
120 56 103 0
120 56 106 0
120 56 117 0
120 57 58 0
120 57 59 0
120 57 60 0
120 57 61 0
120 57 62 0
120 57 63 0
120 57 64 0
120 57 65 0
120 57 66 0
120 57 68 0
120 57 78 0
120 57 80 0
120 57 90 0
120 57 93 0
120 57 103 0
120 57 107 0
120 57 117 0
120 58 59 0
120 58 60 0
120 58 61 0
120 58 62 0
120 58 63 0
120 58 64 0
120 58 65 0
120 58 66 0
120 58 69 0
120 58 78 0
120 58 81 0
120 58 90 0
120 58 94 0
120 58 103 0
120 58 108 0
120 58 117 0
120 59 60 0
120 59 61 0
120 59 62 0
120 59 63 0
120 59 64 0
120 59 65 0
120 59 66 0
120 59 70 0
120 59 78 0
120 59 82 0
120 59 90 0
120 59 95 0
120 59 103 0
120 59 109 0
120 59 117 0
120 60 61 0
120 60 62 0
120 60 63 0
120 60 64 0
120 60 65 0
120 60 66 0
120 60 71 0
120 60 78 0
120 60 83 0
120 60 90 0
120 60 96 0
120 60 103 0
120 60 110 0
120 60 117 0
120 61 62 0
120 61 63 0
120 61 64 0
120 61 65 0
120 61 66 0
120 61 72 0
120 61 78 0
120 61 84 0
120 61 90 0
120 61 97 0
120 61 103 0
120 61 111 0
120 61 117 0
120 62 63 0
120 62 64 0
120 62 65 0
120 62 66 0
120 62 73 0
120 62 78 0
120 62 85 0
120 62 90 0
120 62 98 0
120 62 103 0
120 62 112 0
120 62 117 0
120 63 64 0
120 63 65 0
120 63 66 0
120 63 74 0
120 63 78 0
120 63 86 0
120 63 90 0
120 63 99 0
120 63 103 0
120 63 113 0
120 63 117 0
120 64 65 0
120 64 66 0
120 64 75 0
120 64 78 0
120 64 87 0
120 64 90 0
120 64 100 0
120 64 103 0
120 64 114 0
120 64 117 0
120 65 66 0
120 65 76 0
120 65 78 0
120 65 88 0
120 65 90 0
120 65 101 0
120 65 103 0
120 65 115 0
120 65 117 0
120 66 77 0
120 66 78 0
120 66 89 0
120 66 90 0
120 66 102 0
120 66 103 0
120 66 116 0
120 66 117 0
120 67 68 0
120 67 69 0
120 67 70 0
120 67 71 0
120 67 72 0
120 67 73 0
120 67 74 0
120 67 75 0
120 67 76 0
120 67 77 0
120 67 78 0
120 67 79 0
120 67 91 0
120 67 92 0
120 67 104 0
120 67 106 0
120 67 118 0
120 68 69 0
120 68 70 0
120 68 71 0
120 68 72 0
120 68 73 0
120 68 74 0
120 68 75 0
120 68 76 0
120 68 77 0
120 68 78 0
120 68 80 0
120 68 91 0
120 68 93 0
120 68 104 0
120 68 107 0
120 68 118 0
120 69 70 0
120 69 71 0
120 69 72 0
120 69 73 0
120 69 74 0
120 69 75 0
120 69 76 0
120 69 77 0
120 69 78 0
120 69 81 0
120 69 91 0
120 69 94 0
120 69 104 0
120 69 108 0
120 69 118 0
120 70 71 0
120 70 72 0
120 70 73 0
120 70 74 0
120 70 75 0
120 70 76 0
120 70 77 0
120 70 78 0
120 70 82 0
120 70 91 0
120 70 95 0
120 70 104 0
120 70 109 0
120 70 118 0
120 71 72 0
120 71 73 0
120 71 74 0
120 71 75 0
120 71 76 0
120 71 77 0
120 71 78 0
120 71 83 0
120 71 91 0
120 71 96 0
120 71 104 0
120 71 110 0
120 71 118 0
120 72 73 0
120 72 74 0
120 72 75 0
120 72 76 0
120 72 77 0
120 72 78 0
120 72 84 0
120 72 91 0
120 72 97 0
120 72 104 0
120 72 111 0
120 72 118 0
120 73 74 0
120 73 75 0
120 73 76 0
120 73 77 0
120 73 78 0
120 73 85 0
120 73 91 0
120 73 98 0
120 73 104 0
120 73 112 0
120 73 118 0
120 74 75 0
120 74 76 0
120 74 77 0
120 74 78 0
120 74 86 0
120 74 91 0
120 74 99 0
120 74 104 0
120 74 113 0
120 74 118 0
120 75 76 0
120 75 77 0
120 75 78 0
120 75 87 0
120 75 91 0
120 75 100 0
120 75 104 0
120 75 114 0
120 75 118 0
120 76 77 0
120 76 78 0
120 76 88 0
120 76 91 0
120 76 101 0
120 76 104 0
120 76 115 0
120 76 118 0
120 77 78 0
120 77 89 0
120 77 91 0
120 77 102 0
120 77 104 0
120 77 116 0
120 77 118 0
120 78 90 0
120 78 91 0
120 78 103 0
120 78 104 0
120 78 117 0
120 78 118 0
120 79 80 0
120 79 81 0
120 79 82 0
120 79 83 0
120 79 84 0
120 79 85 0
120 79 86 0
120 79 87 0
120 79 88 0
120 79 89 0
120 79 90 0
120 79 91 0
120 79 92 0
120 79 105 0
120 79 106 0
120 79 119 0
120 80 81 0
120 80 82 0
120 80 83 0
120 80 84 0
120 80 85 0
120 80 86 0
120 80 87 0
120 80 88 0
120 80 89 0
120 80 90 0
120 80 91 0
120 80 93 0
120 80 105 0
120 80 107 0
120 80 119 0
120 81 82 0
120 81 83 0
120 81 84 0
120 81 85 0
120 81 86 0
120 81 87 0
120 81 88 0
120 81 89 0
120 81 90 0
120 81 91 0
120 81 94 0
120 81 105 0
120 81 108 0
120 81 119 0
120 82 83 0
120 82 84 0
120 82 85 0
120 82 86 0
120 82 87 0
120 82 88 0
120 82 89 0
120 82 90 0
120 82 91 0
120 82 95 0
120 82 105 0
120 82 109 0
120 82 119 0
120 83 84 0
120 83 85 0
120 83 86 0
120 83 87 0
120 83 88 0
120 83 89 0
120 83 90 0
120 83 91 0
120 83 96 0
120 83 105 0
120 83 110 0
120 83 119 0
120 84 85 0
120 84 86 0
120 84 87 0
120 84 88 0
120 84 89 0
120 84 90 0
120 84 91 0
120 84 97 0
120 84 105 0
120 84 111 0
120 84 119 0
120 85 86 0
120 85 87 0
120 85 88 0
120 85 89 0
120 85 90 0
120 85 91 0
120 85 98 0
120 85 105 0
120 85 112 0
120 85 119 0
120 86 87 0
120 86 88 0
120 86 89 0
120 86 90 0
120 86 91 0
120 86 99 0
120 86 105 0
120 86 113 0
120 86 119 0
120 87 88 0
120 87 89 0
120 87 90 0
120 87 91 0
120 87 100 0
120 87 105 0
120 87 114 0
120 87 119 0
120 88 89 0
120 88 90 0
120 88 91 0
120 88 101 0
120 88 105 0
120 88 115 0
120 88 119 0
120 89 90 0
120 89 91 0
120 89 102 0
120 89 105 0
120 89 116 0
120 89 119 0
120 90 91 0
120 90 103 0
120 90 105 0
120 90 117 0
120 90 119 0
120 91 104 0
120 91 105 0
120 91 118 0
120 91 119 0
120 92 93 0
120 92 94 0
120 92 95 0
120 92 96 0
120 92 97 0
120 92 98 0
120 92 99 0
120 92 100 0
120 92 101 0
120 92 102 0
120 92 103 0
120 92 104 0
120 92 105 0
120 92 106 0
120 92 120 0
120 93 94 0
120 93 95 0
120 93 96 0
120 93 97 0
120 93 98 0
120 93 99 0
120 93 100 0
120 93 101 0
120 93 102 0
120 93 103 0
120 93 104 0
120 93 105 0
120 93 107 0
120 93 120 0
120 94 95 0
120 94 96 0
120 94 97 0
120 94 98 0
120 94 99 0
120 94 100 0
120 94 101 0
120 94 102 0
120 94 103 0
120 94 104 0
120 94 105 0
120 94 108 0
120 94 120 0
120 95 96 0
120 95 97 0
120 95 98 0
120 95 99 0
120 95 100 0
120 95 101 0
120 95 102 0
120 95 103 0
120 95 104 0
120 95 105 0
120 95 109 0
120 95 120 0
120 96 97 0
120 96 98 0
120 96 99 0
120 96 100 0
120 96 101 0
120 96 102 0
120 96 103 0
120 96 104 0
120 96 105 0
120 96 110 0
120 96 120 0
120 97 98 0
120 97 99 0
120 97 100 0
120 97 101 0
120 97 102 0
120 97 103 0
120 97 104 0
120 97 105 0
120 97 111 0
120 97 120 0
120 98 99 0
120 98 100 0
120 98 101 0
120 98 102 0
120 98 103 0
120 98 104 0
120 98 105 0
120 98 112 0
120 98 120 0
120 99 100 0
120 99 101 0
120 99 102 0
120 99 103 0
120 99 104 0
120 99 105 0
120 99 113 0
120 99 120 0
120 100 101 0
120 100 102 0
120 100 103 0
120 100 104 0
120 100 105 0
120 100 114 0
120 100 120 0
120 101 102 0
120 101 103 0
120 101 104 0
120 101 105 0
120 101 115 0
120 101 120 0
120 102 103 0
120 102 104 0
120 102 105 0
120 102 116 0
120 102 120 0
120 103 104 0
120 103 105 0
120 103 117 0
120 103 120 0
120 104 105 0
120 104 118 0
120 104 120 0
120 105 119 0
120 105 120 0
120 106 107 0
120 106 108 0
120 106 109 0
120 106 110 0
120 106 111 0
120 106 112 0
120 106 113 0
120 106 114 0
120 106 115 0
120 106 116 0
120 106 117 0
120 106 118 0
120 106 119 0
120 106 120 0
120 107 108 0
120 107 109 0
120 107 110 0
120 107 111 0
120 107 112 0
120 107 113 0
120 107 114 0
120 107 115 0
120 107 116 0
120 107 117 0
120 107 118 0
120 107 119 0
120 107 120 0
120 108 109 0
120 108 110 0
120 108 111 0
120 108 112 0
120 108 113 0
120 108 114 0
120 108 115 0
120 108 116 0
120 108 117 0
120 108 118 0
120 108 119 0
120 108 120 0
120 109 110 0
120 109 111 0
120 109 112 0
120 109 113 0
120 109 114 0
120 109 115 0
120 109 116 0
120 109 117 0
120 109 118 0
120 109 119 0
120 109 120 0
120 110 111 0
120 110 112 0
120 110 113 0
120 110 114 0
120 110 115 0
120 110 116 0
120 110 117 0
120 110 118 0
120 110 119 0
120 110 120 0
120 111 112 0
120 111 113 0
120 111 114 0
120 111 115 0
120 111 116 0
120 111 117 0
120 111 118 0
120 111 119 0
120 111 120 0
120 112 113 0
120 112 114 0
120 112 115 0
120 112 116 0
120 112 117 0
120 112 118 0
120 112 119 0
120 112 120 0
120 113 114 0
120 113 115 0
120 113 116 0
120 113 117 0
120 113 118 0
120 113 119 0
120 113 120 0
120 114 115 0
120 114 116 0
120 114 117 0
120 114 118 0
120 114 119 0
120 114 120 0
120 115 116 0
120 115 117 0
120 115 118 0
120 115 119 0
120 115 120 0
120 116 117 0
120 116 118 0
120 116 119 0
120 116 120 0
120 117 118 0
120 117 119 0
120 117 120 0
120 118 119 0
120 118 120 0
120 119 120 0