c File: hamming6-4.clq c c Source: Panos Pardalos pardalos@math.ufl.edu c c Reference: hamminga-b is a Hamming graph on a-bit words with c an edge if and only if the two words are at least c hamming distance b apart c c PSEUDOBOOLEAN 64 p wcnf 64 1376 64 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 64 1 2 0 64 1 3 0 64 1 4 0 64 1 5 0 64 1 6 0 64 1 7 0 64 1 8 0 64 1 9 0 64 1 10 0 64 1 11 0 64 1 12 0 64 1 13 0 64 1 14 0 64 1 15 0 64 1 17 0 64 1 18 0 64 1 19 0 64 1 20 0 64 1 21 0 64 1 22 0 64 1 23 0 64 1 25 0 64 1 26 0 64 1 27 0 64 1 29 0 64 1 33 0 64 1 34 0 64 1 35 0 64 1 36 0 64 1 37 0 64 1 38 0 64 1 39 0 64 1 41 0 64 1 42 0 64 1 43 0 64 1 45 0 64 1 49 0 64 1 50 0 64 1 51 0 64 1 53 0 64 1 57 0 64 2 3 0 64 2 4 0 64 2 5 0 64 2 6 0 64 2 7 0 64 2 8 0 64 2 9 0 64 2 10 0 64 2 11 0 64 2 12 0 64 2 13 0 64 2 14 0 64 2 16 0 64 2 17 0 64 2 18 0 64 2 19 0 64 2 20 0 64 2 21 0 64 2 22 0 64 2 24 0 64 2 25 0 64 2 26 0 64 2 28 0 64 2 30 0 64 2 33 0 64 2 34 0 64 2 35 0 64 2 36 0 64 2 37 0 64 2 38 0 64 2 40 0 64 2 41 0 64 2 42 0 64 2 44 0 64 2 46 0 64 2 49 0 64 2 50 0 64 2 52 0 64 2 54 0 64 2 58 0 64 3 4 0 64 3 5 0 64 3 6 0 64 3 7 0 64 3 8 0 64 3 9 0 64 3 10 0 64 3 11 0 64 3 12 0 64 3 13 0 64 3 15 0 64 3 16 0 64 3 17 0 64 3 18 0 64 3 19 0 64 3 20 0 64 3 21 0 64 3 23 0 64 3 24 0 64 3 25 0 64 3 27 0 64 3 28 0 64 3 31 0 64 3 33 0 64 3 34 0 64 3 35 0 64 3 36 0 64 3 37 0 64 3 39 0 64 3 40 0 64 3 41 0 64 3 43 0 64 3 44 0 64 3 47 0 64 3 49 0 64 3 51 0 64 3 52 0 64 3 55 0 64 3 59 0 64 4 5 0 64 4 6 0 64 4 7 0 64 4 8 0 64 4 9 0 64 4 10 0 64 4 11 0 64 4 12 0 64 4 14 0 64 4 15 0 64 4 16 0 64 4 17 0 64 4 18 0 64 4 19 0 64 4 20 0 64 4 22 0 64 4 23 0 64 4 24 0 64 4 26 0 64 4 27 0 64 4 28 0 64 4 32 0 64 4 33 0 64 4 34 0 64 4 35 0 64 4 36 0 64 4 38 0 64 4 39 0 64 4 40 0 64 4 42 0 64 4 43 0 64 4 44 0 64 4 48 0 64 4 50 0 64 4 51 0 64 4 52 0 64 4 56 0 64 4 60 0 64 5 6 0 64 5 7 0 64 5 8 0 64 5 9 0 64 5 10 0 64 5 11 0 64 5 13 0 64 5 14 0 64 5 15 0 64 5 16 0 64 5 17 0 64 5 18 0 64 5 19 0 64 5 21 0 64 5 22 0 64 5 23 0 64 5 24 0 64 5 25 0 64 5 29 0 64 5 30 0 64 5 31 0 64 5 33 0 64 5 34 0 64 5 35 0 64 5 37 0 64 5 38 0 64 5 39 0 64 5 40 0 64 5 41 0 64 5 45 0 64 5 46 0 64 5 47 0 64 5 49 0 64 5 53 0 64 5 54 0 64 5 55 0 64 5 61 0 64 6 7 0 64 6 8 0 64 6 9 0 64 6 10 0 64 6 12 0 64 6 13 0 64 6 14 0 64 6 15 0 64 6 16 0 64 6 17 0 64 6 18 0 64 6 20 0 64 6 21 0 64 6 22 0 64 6 23 0 64 6 24 0 64 6 26 0 64 6 29 0 64 6 30 0 64 6 32 0 64 6 33 0 64 6 34 0 64 6 36 0 64 6 37 0 64 6 38 0 64 6 39 0 64 6 40 0 64 6 42 0 64 6 45 0 64 6 46 0 64 6 48 0 64 6 50 0 64 6 53 0 64 6 54 0 64 6 56 0 64 6 62 0 64 7 8 0 64 7 9 0 64 7 11 0 64 7 12 0 64 7 13 0 64 7 14 0 64 7 15 0 64 7 16 0 64 7 17 0 64 7 19 0 64 7 20 0 64 7 21 0 64 7 22 0 64 7 23 0 64 7 24 0 64 7 27 0 64 7 29 0 64 7 31 0 64 7 32 0 64 7 33 0 64 7 35 0 64 7 36 0 64 7 37 0 64 7 38 0 64 7 39 0 64 7 40 0 64 7 43 0 64 7 45 0 64 7 47 0 64 7 48 0 64 7 51 0 64 7 53 0 64 7 55 0 64 7 56 0 64 7 63 0 64 8 10 0 64 8 11 0 64 8 12 0 64 8 13 0 64 8 14 0 64 8 15 0 64 8 16 0 64 8 18 0 64 8 19 0 64 8 20 0 64 8 21 0 64 8 22 0 64 8 23 0 64 8 24 0 64 8 28 0 64 8 30 0 64 8 31 0 64 8 32 0 64 8 34 0 64 8 35 0 64 8 36 0 64 8 37 0 64 8 38 0 64 8 39 0 64 8 40 0 64 8 44 0 64 8 46 0 64 8 47 0 64 8 48 0 64 8 52 0 64 8 54 0 64 8 55 0 64 8 56 0 64 8 64 0 64 9 10 0 64 9 11 0 64 9 12 0 64 9 13 0 64 9 14 0 64 9 15 0 64 9 16 0 64 9 17 0 64 9 18 0 64 9 19 0 64 9 21 0 64 9 25 0 64 9 26 0 64 9 27 0 64 9 28 0 64 9 29 0 64 9 30 0 64 9 31 0 64 9 33 0 64 9 34 0 64 9 35 0 64 9 37 0 64 9 41 0 64 9 42 0 64 9 43 0 64 9 44 0 64 9 45 0 64 9 46 0 64 9 47 0 64 9 49 0 64 9 57 0 64 9 58 0 64 9 59 0 64 9 61 0 64 10 11 0 64 10 12 0 64 10 13 0 64 10 14 0 64 10 15 0 64 10 16 0 64 10 17 0 64 10 18 0 64 10 20 0 64 10 22 0 64 10 25 0 64 10 26 0 64 10 27 0 64 10 28 0 64 10 29 0 64 10 30 0 64 10 32 0 64 10 33 0 64 10 34 0 64 10 36 0 64 10 38 0 64 10 41 0 64 10 42 0 64 10 43 0 64 10 44 0 64 10 45 0 64 10 46 0 64 10 48 0 64 10 50 0 64 10 57 0 64 10 58 0 64 10 60 0 64 10 62 0 64 11 12 0 64 11 13 0 64 11 14 0 64 11 15 0 64 11 16 0 64 11 17 0 64 11 19 0 64 11 20 0 64 11 23 0 64 11 25 0 64 11 26 0 64 11 27 0 64 11 28 0 64 11 29 0 64 11 31 0 64 11 32 0 64 11 33 0 64 11 35 0 64 11 36 0 64 11 39 0 64 11 41 0 64 11 42 0 64 11 43 0 64 11 44 0 64 11 45 0 64 11 47 0 64 11 48 0 64 11 51 0 64 11 57 0 64 11 59 0 64 11 60 0 64 11 63 0 64 12 13 0 64 12 14 0 64 12 15 0 64 12 16 0 64 12 18 0 64 12 19 0 64 12 20 0 64 12 24 0 64 12 25 0 64 12 26 0 64 12 27 0 64 12 28 0 64 12 30 0 64 12 31 0 64 12 32 0 64 12 34 0 64 12 35 0 64 12 36 0 64 12 40 0 64 12 41 0 64 12 42 0 64 12 43 0 64 12 44 0 64 12 46 0 64 12 47 0 64 12 48 0 64 12 52 0 64 12 58 0 64 12 59 0 64 12 60 0 64 12 64 0 64 13 14 0 64 13 15 0 64 13 16 0 64 13 17 0 64 13 21 0 64 13 22 0 64 13 23 0 64 13 25 0 64 13 26 0 64 13 27 0 64 13 29 0 64 13 30 0 64 13 31 0 64 13 32 0 64 13 33 0 64 13 37 0 64 13 38 0 64 13 39 0 64 13 41 0 64 13 42 0 64 13 43 0 64 13 45 0 64 13 46 0 64 13 47 0 64 13 48 0 64 13 53 0 64 13 57 0 64 13 61 0 64 13 62 0 64 13 63 0 64 14 15 0 64 14 16 0 64 14 18 0 64 14 21 0 64 14 22 0 64 14 24 0 64 14 25 0 64 14 26 0 64 14 28 0 64 14 29 0 64 14 30 0 64 14 31 0 64 14 32 0 64 14 34 0 64 14 37 0 64 14 38 0 64 14 40 0 64 14 41 0 64 14 42 0 64 14 44 0 64 14 45 0 64 14 46 0 64 14 47 0 64 14 48 0 64 14 54 0 64 14 58 0 64 14 61 0 64 14 62 0 64 14 64 0 64 15 16 0 64 15 19 0 64 15 21 0 64 15 23 0 64 15 24 0 64 15 25 0 64 15 27 0 64 15 28 0 64 15 29 0 64 15 30 0 64 15 31 0 64 15 32 0 64 15 35 0 64 15 37 0 64 15 39 0 64 15 40 0 64 15 41 0 64 15 43 0 64 15 44 0 64 15 45 0 64 15 46 0 64 15 47 0 64 15 48 0 64 15 55 0 64 15 59 0 64 15 61 0 64 15 63 0 64 15 64 0 64 16 20 0 64 16 22 0 64 16 23 0 64 16 24 0 64 16 26 0 64 16 27 0 64 16 28 0 64 16 29 0 64 16 30 0 64 16 31 0 64 16 32 0 64 16 36 0 64 16 38 0 64 16 39 0 64 16 40 0 64 16 42 0 64 16 43 0 64 16 44 0 64 16 45 0 64 16 46 0 64 16 47 0 64 16 48 0 64 16 56 0 64 16 60 0 64 16 62 0 64 16 63 0 64 16 64 0 64 17 18 0 64 17 19 0 64 17 20 0 64 17 21 0 64 17 22 0 64 17 23 0 64 17 24 0 64 17 25 0 64 17 26 0 64 17 27 0 64 17 28 0 64 17 29 0 64 17 30 0 64 17 31 0 64 17 33 0 64 17 34 0 64 17 35 0 64 17 37 0 64 17 41 0 64 17 49 0 64 17 50 0 64 17 51 0 64 17 52 0 64 17 53 0 64 17 54 0 64 17 55 0 64 17 57 0 64 17 58 0 64 17 59 0 64 17 61 0 64 18 19 0 64 18 20 0 64 18 21 0 64 18 22 0 64 18 23 0 64 18 24 0 64 18 25 0 64 18 26 0 64 18 27 0 64 18 28 0 64 18 29 0 64 18 30 0 64 18 32 0 64 18 33 0 64 18 34 0 64 18 36 0 64 18 38 0 64 18 42 0 64 18 49 0 64 18 50 0 64 18 51 0 64 18 52 0 64 18 53 0 64 18 54 0 64 18 56 0 64 18 57 0 64 18 58 0 64 18 60 0 64 18 62 0 64 19 20 0 64 19 21 0 64 19 22 0 64 19 23 0 64 19 24 0 64 19 25 0 64 19 26 0 64 19 27 0 64 19 28 0 64 19 29 0 64 19 31 0 64 19 32 0 64 19 33 0 64 19 35 0 64 19 36 0 64 19 39 0 64 19 43 0 64 19 49 0 64 19 50 0 64 19 51 0 64 19 52 0 64 19 53 0 64 19 55 0 64 19 56 0 64 19 57 0 64 19 59 0 64 19 60 0 64 19 63 0 64 20 21 0 64 20 22 0 64 20 23 0 64 20 24 0 64 20 25 0 64 20 26 0 64 20 27 0 64 20 28 0 64 20 30 0 64 20 31 0 64 20 32 0 64 20 34 0 64 20 35 0 64 20 36 0 64 20 40 0 64 20 44 0 64 20 49 0 64 20 50 0 64 20 51 0 64 20 52 0 64 20 54 0 64 20 55 0 64 20 56 0 64 20 58 0 64 20 59 0 64 20 60 0 64 20 64 0 64 21 22 0 64 21 23 0 64 21 24 0 64 21 25 0 64 21 26 0 64 21 27 0 64 21 29 0 64 21 30 0 64 21 31 0 64 21 32 0 64 21 33 0 64 21 37 0 64 21 38 0 64 21 39 0 64 21 45 0 64 21 49 0 64 21 50 0 64 21 51 0 64 21 53 0 64 21 54 0 64 21 55 0 64 21 56 0 64 21 57 0 64 21 61 0 64 21 62 0 64 21 63 0 64 22 23 0 64 22 24 0 64 22 25 0 64 22 26 0 64 22 28 0 64 22 29 0 64 22 30 0 64 22 31 0 64 22 32 0 64 22 34 0 64 22 37 0 64 22 38 0 64 22 40 0 64 22 46 0 64 22 49 0 64 22 50 0 64 22 52 0 64 22 53 0 64 22 54 0 64 22 55 0 64 22 56 0 64 22 58 0 64 22 61 0 64 22 62 0 64 22 64 0 64 23 24 0 64 23 25 0 64 23 27 0 64 23 28 0 64 23 29 0 64 23 30 0 64 23 31 0 64 23 32 0 64 23 35 0 64 23 37 0 64 23 39 0 64 23 40 0 64 23 47 0 64 23 49 0 64 23 51 0 64 23 52 0 64 23 53 0 64 23 54 0 64 23 55 0 64 23 56 0 64 23 59 0 64 23 61 0 64 23 63 0 64 23 64 0 64 24 26 0 64 24 27 0 64 24 28 0 64 24 29 0 64 24 30 0 64 24 31 0 64 24 32 0 64 24 36 0 64 24 38 0 64 24 39 0 64 24 40 0 64 24 48 0 64 24 50 0 64 24 51 0 64 24 52 0 64 24 53 0 64 24 54 0 64 24 55 0 64 24 56 0 64 24 60 0 64 24 62 0 64 24 63 0 64 24 64 0 64 25 26 0 64 25 27 0 64 25 28 0 64 25 29 0 64 25 30 0 64 25 31 0 64 25 32 0 64 25 33 0 64 25 41 0 64 25 42 0 64 25 43 0 64 25 45 0 64 25 49 0 64 25 50 0 64 25 51 0 64 25 53 0 64 25 57 0 64 25 58 0 64 25 59 0 64 25 60 0 64 25 61 0 64 25 62 0 64 25 63 0 64 26 27 0 64 26 28 0 64 26 29 0 64 26 30 0 64 26 31 0 64 26 32 0 64 26 34 0 64 26 41 0 64 26 42 0 64 26 44 0 64 26 46 0 64 26 49 0 64 26 50 0 64 26 52 0 64 26 54 0 64 26 57 0 64 26 58 0 64 26 59 0 64 26 60 0 64 26 61 0 64 26 62 0 64 26 64 0 64 27 28 0 64 27 29 0 64 27 30 0 64 27 31 0 64 27 32 0 64 27 35 0 64 27 41 0 64 27 43 0 64 27 44 0 64 27 47 0 64 27 49 0 64 27 51 0 64 27 52 0 64 27 55 0 64 27 57 0 64 27 58 0 64 27 59 0 64 27 60 0 64 27 61 0 64 27 63 0 64 27 64 0 64 28 29 0 64 28 30 0 64 28 31 0 64 28 32 0 64 28 36 0 64 28 42 0 64 28 43 0 64 28 44 0 64 28 48 0 64 28 50 0 64 28 51 0 64 28 52 0 64 28 56 0 64 28 57 0 64 28 58 0 64 28 59 0 64 28 60 0 64 28 62 0 64 28 63 0 64 28 64 0 64 29 30 0 64 29 31 0 64 29 32 0 64 29 37 0 64 29 41 0 64 29 45 0 64 29 46 0 64 29 47 0 64 29 49 0 64 29 53 0 64 29 54 0 64 29 55 0 64 29 57 0 64 29 58 0 64 29 59 0 64 29 61 0 64 29 62 0 64 29 63 0 64 29 64 0 64 30 31 0 64 30 32 0 64 30 38 0 64 30 42 0 64 30 45 0 64 30 46 0 64 30 48 0 64 30 50 0 64 30 53 0 64 30 54 0 64 30 56 0 64 30 57 0 64 30 58 0 64 30 60 0 64 30 61 0 64 30 62 0 64 30 63 0 64 30 64 0 64 31 32 0 64 31 39 0 64 31 43 0 64 31 45 0 64 31 47 0 64 31 48 0 64 31 51 0 64 31 53 0 64 31 55 0 64 31 56 0 64 31 57 0 64 31 59 0 64 31 60 0 64 31 61 0 64 31 62 0 64 31 63 0 64 31 64 0 64 32 40 0 64 32 44 0 64 32 46 0 64 32 47 0 64 32 48 0 64 32 52 0 64 32 54 0 64 32 55 0 64 32 56 0 64 32 58 0 64 32 59 0 64 32 60 0 64 32 61 0 64 32 62 0 64 32 63 0 64 32 64 0 64 33 34 0 64 33 35 0 64 33 36 0 64 33 37 0 64 33 38 0 64 33 39 0 64 33 40 0 64 33 41 0 64 33 42 0 64 33 43 0 64 33 44 0 64 33 45 0 64 33 46 0 64 33 47 0 64 33 49 0 64 33 50 0 64 33 51 0 64 33 52 0 64 33 53 0 64 33 54 0 64 33 55 0 64 33 57 0 64 33 58 0 64 33 59 0 64 33 61 0 64 34 35 0 64 34 36 0 64 34 37 0 64 34 38 0 64 34 39 0 64 34 40 0 64 34 41 0 64 34 42 0 64 34 43 0 64 34 44 0 64 34 45 0 64 34 46 0 64 34 48 0 64 34 49 0 64 34 50 0 64 34 51 0 64 34 52 0 64 34 53 0 64 34 54 0 64 34 56 0 64 34 57 0 64 34 58 0 64 34 60 0 64 34 62 0 64 35 36 0 64 35 37 0 64 35 38 0 64 35 39 0 64 35 40 0 64 35 41 0 64 35 42 0 64 35 43 0 64 35 44 0 64 35 45 0 64 35 47 0 64 35 48 0 64 35 49 0 64 35 50 0 64 35 51 0 64 35 52 0 64 35 53 0 64 35 55 0 64 35 56 0 64 35 57 0 64 35 59 0 64 35 60 0 64 35 63 0 64 36 37 0 64 36 38 0 64 36 39 0 64 36 40 0 64 36 41 0 64 36 42 0 64 36 43 0 64 36 44 0 64 36 46 0 64 36 47 0 64 36 48 0 64 36 49 0 64 36 50 0 64 36 51 0 64 36 52 0 64 36 54 0 64 36 55 0 64 36 56 0 64 36 58 0 64 36 59 0 64 36 60 0 64 36 64 0 64 37 38 0 64 37 39 0 64 37 40 0 64 37 41 0 64 37 42 0 64 37 43 0 64 37 45 0 64 37 46 0 64 37 47 0 64 37 48 0 64 37 49 0 64 37 50 0 64 37 51 0 64 37 53 0 64 37 54 0 64 37 55 0 64 37 56 0 64 37 57 0 64 37 61 0 64 37 62 0 64 37 63 0 64 38 39 0 64 38 40 0 64 38 41 0 64 38 42 0 64 38 44 0 64 38 45 0 64 38 46 0 64 38 47 0 64 38 48 0 64 38 49 0 64 38 50 0 64 38 52 0 64 38 53 0 64 38 54 0 64 38 55 0 64 38 56 0 64 38 58 0 64 38 61 0 64 38 62 0 64 38 64 0 64 39 40 0 64 39 41 0 64 39 43 0 64 39 44 0 64 39 45 0 64 39 46 0 64 39 47 0 64 39 48 0 64 39 49 0 64 39 51 0 64 39 52 0 64 39 53 0 64 39 54 0 64 39 55 0 64 39 56 0 64 39 59 0 64 39 61 0 64 39 63 0 64 39 64 0 64 40 42 0 64 40 43 0 64 40 44 0 64 40 45 0 64 40 46 0 64 40 47 0 64 40 48 0 64 40 50 0 64 40 51 0 64 40 52 0 64 40 53 0 64 40 54 0 64 40 55 0 64 40 56 0 64 40 60 0 64 40 62 0 64 40 63 0 64 40 64 0 64 41 42 0 64 41 43 0 64 41 44 0 64 41 45 0 64 41 46 0 64 41 47 0 64 41 48 0 64 41 49 0 64 41 50 0 64 41 51 0 64 41 53 0 64 41 57 0 64 41 58 0 64 41 59 0 64 41 60 0 64 41 61 0 64 41 62 0 64 41 63 0 64 42 43 0 64 42 44 0 64 42 45 0 64 42 46 0 64 42 47 0 64 42 48 0 64 42 49 0 64 42 50 0 64 42 52 0 64 42 54 0 64 42 57 0 64 42 58 0 64 42 59 0 64 42 60 0 64 42 61 0 64 42 62 0 64 42 64 0 64 43 44 0 64 43 45 0 64 43 46 0 64 43 47 0 64 43 48 0 64 43 49 0 64 43 51 0 64 43 52 0 64 43 55 0 64 43 57 0 64 43 58 0 64 43 59 0 64 43 60 0 64 43 61 0 64 43 63 0 64 43 64 0 64 44 45 0 64 44 46 0 64 44 47 0 64 44 48 0 64 44 50 0 64 44 51 0 64 44 52 0 64 44 56 0 64 44 57 0 64 44 58 0 64 44 59 0 64 44 60 0 64 44 62 0 64 44 63 0 64 44 64 0 64 45 46 0 64 45 47 0 64 45 48 0 64 45 49 0 64 45 53 0 64 45 54 0 64 45 55 0 64 45 57 0 64 45 58 0 64 45 59 0 64 45 61 0 64 45 62 0 64 45 63 0 64 45 64 0 64 46 47 0 64 46 48 0 64 46 50 0 64 46 53 0 64 46 54 0 64 46 56 0 64 46 57 0 64 46 58 0 64 46 60 0 64 46 61 0 64 46 62 0 64 46 63 0 64 46 64 0 64 47 48 0 64 47 51 0 64 47 53 0 64 47 55 0 64 47 56 0 64 47 57 0 64 47 59 0 64 47 60 0 64 47 61 0 64 47 62 0 64 47 63 0 64 47 64 0 64 48 52 0 64 48 54 0 64 48 55 0 64 48 56 0 64 48 58 0 64 48 59 0 64 48 60 0 64 48 61 0 64 48 62 0 64 48 63 0 64 48 64 0 64 49 50 0 64 49 51 0 64 49 52 0 64 49 53 0 64 49 54 0 64 49 55 0 64 49 56 0 64 49 57 0 64 49 58 0 64 49 59 0 64 49 60 0 64 49 61 0 64 49 62 0 64 49 63 0 64 50 51 0 64 50 52 0 64 50 53 0 64 50 54 0 64 50 55 0 64 50 56 0 64 50 57 0 64 50 58 0 64 50 59 0 64 50 60 0 64 50 61 0 64 50 62 0 64 50 64 0 64 51 52 0 64 51 53 0 64 51 54 0 64 51 55 0 64 51 56 0 64 51 57 0 64 51 58 0 64 51 59 0 64 51 60 0 64 51 61 0 64 51 63 0 64 51 64 0 64 52 53 0 64 52 54 0 64 52 55 0 64 52 56 0 64 52 57 0 64 52 58 0 64 52 59 0 64 52 60 0 64 52 62 0 64 52 63 0 64 52 64 0 64 53 54 0 64 53 55 0 64 53 56 0 64 53 57 0 64 53 58 0 64 53 59 0 64 53 61 0 64 53 62 0 64 53 63 0 64 53 64 0 64 54 55 0 64 54 56 0 64 54 57 0 64 54 58 0 64 54 60 0 64 54 61 0 64 54 62 0 64 54 63 0 64 54 64 0 64 55 56 0 64 55 57 0 64 55 59 0 64 55 60 0 64 55 61 0 64 55 62 0 64 55 63 0 64 55 64 0 64 56 58 0 64 56 59 0 64 56 60 0 64 56 61 0 64 56 62 0 64 56 63 0 64 56 64 0 64 57 58 0 64 57 59 0 64 57 60 0 64 57 61 0 64 57 62 0 64 57 63 0 64 57 64 0 64 58 59 0 64 58 60 0 64 58 61 0 64 58 62 0 64 58 63 0 64 58 64 0 64 59 60 0 64 59 61 0 64 59 62 0 64 59 63 0 64 59 64 0 64 60 61 0 64 60 62 0 64 60 63 0 64 60 64 0 64 61 62 0 64 61 63 0 64 61 64 0 64 62 63 0 64 62 64 0 64 63 64 0