248 ≤ C(85,24,4) ≤ 394

Created by: A. West

Method of Construction: Local search

Lower Bound: Schonheim

  1  2  3  4  5  6  7  8 10 11 12 16 24 30 39 40 45 49 50 53 64 75 78 81
  1  2  3  4  5  6  7  8 10 11 12 16 28 30 39 51 52 53 62 66 69 73 76 85
  1  2  3  4  5  6  7  8 10 11 12 16 30 35 39 47 53 57 59 68 77 82 83 84
  1  2  3  4  5  6  7  8 10 11 12 16 30 39 44 45 49 53 58 72 74 78 79 81
  1  2  3  4  5  6  8 10 11 12 14 16 30 39 52 53 61 63 65 66 71 73 76 80
  1  2  3  4  5  7  8 13 14 18 20 23 25 26 32 34 36 37 41 43 48 54 67 70
  1  2  3  4  7 11 12 16 28 30 51 52 53 61 62 63 65 66 69 71 73 76 80 85
  1  2  3  6  7 10 11 12 16 24 30 39 40 44 45 49 50 53 58 64 72 74 75 79
  1  2  3  6  9 12 13 15 16 17 18 20 22 23 27 28 29 32 38 41 46 53 54 70
  1  2  3  9 13 14 17 21 24 30 33 37 59 60 61 62 63 65 67 72 81 83 84 85
  1  2  3  9 13 14 17 21 28 30 33 37 38 45 58 60 63 67 68 74 76 79 82 83
  1  2  3  9 13 17 21 28 30 33 35 37 40 44 50 57 60 61 67 69 73 77 78 80
  1  2  3  9 13 17 21 28 30 33 37 47 49 51 52 60 62 64 66 67 71 72 75 82
  1  2  3 10 11 13 18 19 20 21 23 30 31 32 33 39 41 42 54 55 56 60 70 76
  1  2  3 14 15 19 24 25 30 32 34 36 38 47 51 52 55 57 66 68 71 74 81 82
  1  2  3 14 15 19 25 30 32 34 35 36 38 49 55 57 62 64 65 66 72 75 77 85
  1  2  3 14 18 20 23 24 30 41 42 49 54 56 57 61 64 68 69 70 72 73 75 80
  1  2  3 14 22 26 27 29 30 31 40 43 44 46 48 50 62 65 68 71 72 78 80 85
  1  2  3 15 19 25 28 30 32 34 36 38 40 44 47 50 55 62 63 68 76 78 82 85
  1  2  3 15 19 25 30 32 34 36 38 45 55 58 59 61 69 73 74 76 79 80 83 84
  1  2  3 18 20 23 24 28 30 35 41 42 51 54 56 57 62 63 70 76 77 81 82 85
  1  2  3 18 20 23 30 40 41 42 44 50 51 52 54 56 59 66 70 71 78 83 84 85
  1  2  3 18 20 23 30 41 42 45 47 54 56 58 59 62 64 65 69 70 74 79 82 85
  1  2  3 22 24 26 27 28 29 30 31 43 46 47 48 57 61 69 73 78 80 81 82 85
  1  2  3 22 26 27 28 29 30 31 43 46 48 49 57 59 63 64 72 75 76 80 83 84
  1  2  3 22 26 27 29 30 31 35 43 45 46 48 51 52 57 58 66 71 74 77 79 80
  1  2  4  5  6  9 10 15 16 18 19 20 22 23 25 26 29 30 33 34 42 48 54 56
  1  2  4  5  7  8 10 11 12 16 24 30 40 44 50 53 58 64 72 74 75 78 79 81
  1  2  4  5 11 12 17 18 20 21 23 25 26 27 31 34 38 39 46 48 53 54 55 60
  1  2  6  7  8  9 11 15 16 18 20 21 22 23 29 31 36 37 39 43 54 55 60 67
  1  2  7  8 10 12 17 18 19 20 23 27 30 33 36 37 38 42 43 46 53 54 56 67
  1  3  4  5  6  7  8 10 11 12 16 28 30 39 51 53 61 62 63 65 69 71 80 85
  1  3  4  6  8 15 17 18 22 23 27 30 34 37 39 41 42 43 48 53 55 56 60 70
  1  3  4  8  9 10 11 12 16 18 19 21 23 29 31 33 34 37 38 41 43 46 48 70
  1  3  5  6  7 10 11 15 17 18 19 21 22 23 25 26 27 31 33 36 41 53 67 70
  1  3  5  7  9 12 16 18 23 25 26 29 30 36 38 39 41 42 46 55 56 60 67 70
  1  4  6  7 11 12 13 14 15 18 21 22 23 30 31 32 34 36 38 42 46 48 56 67
  1  4  7  9 10 13 14 16 17 18 19 23 27 29 32 33 34 36 39 48 53 55 60 67
  1  4  9 13 14 15 19 24 39 43 44 45 46 47 49 53 54 57 63 66 69 70 71 85
  1  4  9 13 14 15 19 28 35 39 40 43 46 51 52 53 54 58 70 72 76 80 83 85
  1  4  9 13 15 19 28 39 43 46 51 53 54 61 62 64 66 70 74 76 77 78 82 84
  1  4  9 13 15 19 39 43 44 46 50 52 53 54 57 59 65 68 70 72 73 75 79 81
  1  4 14 17 18 23 27 34 39 40 48 52 53 55 57 58 60 65 72 73 76 77 82 84
  1  4 14 17 18 23 27 34 39 47 48 50 51 53 55 57 60 75 76 78 79 80 81 85
  1  4 14 20 22 25 28 31 32 37 39 42 47 52 53 57 64 65 66 67 73 74 78 83
  1  4 14 20 22 25 31 32 37 39 40 42 52 53 58 59 63 64 67 68 69 71 72 73
  1  4 14 21 26 28 29 33 36 38 39 40 41 47 53 56 57 58 59 61 62 66 72 83
  1  4 17 18 23 24 27 28 34 39 44 45 48 49 53 55 59 60 61 62 66 68 78 83
  1  4 17 18 23 27 28 34 35 39 48 53 55 57 60 61 63 64 69 71 74 76 78 83
  1  4 20 22 24 25 28 31 32 35 37 39 42 50 53 61 62 66 67 75 79 81 83 85
  1  4 20 22 24 25 31 32 37 39 42 44 45 49 51 53 67 72 76 77 80 82 84 85
  1  4 21 24 26 29 33 35 36 38 39 41 44 45 49 52 53 56 57 65 73 74 83 84
  1  4 21 26 29 33 35 36 38 39 41 50 53 56 63 69 71 75 77 79 81 82 83 84
  1  4 21 26 29 33 36 38 39 41 50 51 53 56 59 64 68 71 74 76 77 78 80 85
  1  5  6  8 10 12 13 15 18 19 22 23 25 26 32 33 37 38 39 43 46 55 60 76
  1  5  8  9 11 13 16 17 18 21 23 25 26 27 28 29 30 31 32 37 42 43 53 56
  1  5  9 13 14 16 18 23 25 26 29 32 35 40 45 52 62 63 65 68 75 77 80 84
  1  5  9 13 16 18 23 24 25 26 28 29 32 50 51 61 62 72 73 74 76 78 80 84
  1  5  9 13 16 18 23 24 25 26 29 32 44 47 49 61 64 68 71 77 78 79 83 85
  1  5  9 13 16 18 23 24 25 26 29 32 44 57 58 59 64 65 66 69 76 77 81 82
  1  5 14 15 16 19 24 27 35 37 41 48 50 56 61 66 67 71 72 74 80 83 84 85
  1  5 14 15 16 19 27 28 37 41 48 49 51 56 57 59 66 67 73 75 78 79 80 82
  1  5 14 16 17 22 31 35 36 38 49 54 58 60 65 66 69 70 76 78 79 83 84 85
  1  5 14 16 17 22 31 36 38 44 47 51 54 58 60 61 62 64 70 71 75 79 81 85
  1  5 14 16 20 21 24 28 33 34 35 42 43 44 46 51 55 58 64 73 78 81 84 85
  1  5 15 16 19 24 27 37 41 44 47 48 52 56 58 62 63 64 67 68 77 80 81 83
  1  5 15 16 19 25 27 28 35 37 40 41 45 48 56 58 60 65 66 67 69 75 76 77
  1  5 16 17 22 24 31 36 38 50 52 54 57 58 59 60 62 63 70 72 73 74 80 82
  1  5 16 17 22 28 31 35 36 38 40 45 47 51 54 57 60 68 70 73 75 77 83 84
  1  5 16 20 21 24 33 34 35 42 43 44 46 49 52 55 62 63 71 75 78 79 80 81
  1  5 16 20 21 24 33 34 42 43 46 47 50 55 62 65 66 68 69 72 74 76 77 83
  1  5 16 20 21 28 33 34 40 42 43 45 46 49 51 55 57 59 61 71 75 77 82 85
  1  6  9 10 11 13 14 20 27 36 38 40 42 44 48 51 57 62 68 69 72 79 84 85
  1  6  9 10 11 13 14 20 27 36 38 42 45 48 50 59 63 64 66 73 80 82 83 85
  1  6  9 10 11 13 18 20 24 27 36 38 42 48 49 52 54 58 61 75 76 77 78 79
  1  6  9 10 11 13 20 27 28 35 36 38 40 42 47 48 49 59 65 71 74 80 81 85
  1  6 10 11 13 26 28 29 34 37 44 54 55 65 67 70 71 72 75 76 77 78 79 80
  1  6 10 11 14 15 18 19 21 22 23 24 28 31 33 58 65 71 72 75 78 80 82 83
  1  6 10 11 14 15 18 19 21 22 23 31 33 35 44 47 59 63 66 72 73 77 79 85
  1  6 10 11 14 15 18 19 21 22 23 31 33 45 47 50 51 62 64 69 75 77 83 85
  1  6 10 11 14 17 25 28 32 41 43 44 46 52 56 57 60 61 68 72 76 79 82 83
  1  6 10 11 14 26 29 34 37 40 49 51 54 55 62 67 69 70 71 74 77 81 82 83
  1  6 10 11 15 18 19 21 22 23 28 31 33 40 49 52 57 61 68 74 76 77 81 84
  1  6 10 11 17 24 25 28 32 41 43 45 46 47 50 56 57 60 64 65 68 71 80 84
  1  6 10 11 17 24 25 32 35 41 43 46 47 51 56 58 59 60 62 69 75 76 78 80
  1  6 10 11 17 25 32 40 41 43 46 49 51 56 60 63 66 73 74 77 79 81 83 85
  1  6 10 11 24 26 29 34 37 54 55 57 58 63 66 67 68 70 73 75 76 78 84 85
  1  6 10 11 26 28 29 34 35 37 45 47 50 52 54 55 59 61 63 64 67 70 76 85
  1  7  8  9 12 13 14 22 28 31 34 41 44 52 55 56 57 64 69 74 75 77 83 85
  1  7  8  9 12 13 14 22 31 34 41 45 51 55 56 59 61 63 65 72 73 77 78 81
  1  7  8  9 12 13 14 22 31 34 41 47 49 50 55 56 58 62 71 73 76 77 81 84
  1  7  8  9 12 13 22 24 31 34 35 40 41 51 55 56 64 66 68 77 79 80 82 83
  1  7  8 12 14 15 17 19 20 24 26 29 40 42 59 60 62 64 71 73 76 77 79 83
  1  7  8 12 14 15 17 19 20 26 29 42 44 47 51 60 61 63 65 72 74 75 84 85
  1  7  8 12 14 15 18 23 35 36 37 38 43 44 46 59 66 67 68 74 75 77 80 82
  1  7  8 12 14 21 25 27 28 32 33 45 48 49 50 52 54 58 59 69 70 77 80 85
  1  7  8 12 14 21 25 27 32 33 35 45 47 48 54 66 70 72 75 78 79 80 81 84
  1  7  8 12 15 17 19 20 26 28 29 35 42 45 52 60 62 68 69 72 78 81 82 85
  1  7  8 12 15 17 19 20 26 28 29 42 49 50 57 58 60 62 63 66 74 75 80 83
  1  7  8 12 18 23 24 28 36 37 38 40 43 46 47 52 64 66 67 69 79 81 84 85
  1  7  8 12 18 23 25 36 37 38 43 45 46 57 62 67 71 72 73 76 78 81 83 85
  1  7  8 12 18 23 35 36 37 38 43 44 46 49 50 51 58 61 63 65 67 68 79 82
  1  7  8 12 21 24 25 27 32 33 40 48 51 54 57 61 62 63 64 65 70 79 80 83
  1  7  8 12 21 25 27 32 33 35 44 48 52 54 62 68 70 71 73 74 75 76 78 82
  2  3  4  6  7 10 12 15 19 20 22 33 34 36 38 39 41 46 48 54 55 60 67 70
  2  3  4  7  9 11 16 17 20 21 27 29 30 31 34 36 41 42 48 53 54 56 67 70
  2  3  5  6  8 11 12 15 20 21 22 25 26 30 31 37 38 41 42 43 46 54 56 70
  2  3  5  8  9 10 16 17 19 20 25 26 27 29 33 37 39 41 43 53 54 55 60 70
  2  4  6  8 10 11 13 15 17 19 20 21 22 27 31 32 33 34 37 43 48 53 54 57
  2  4  7  9 14 15 16 18 20 31 33 36 40 48 49 51 57 62 69 72 74 81 82 83
  2  4  7  9 15 16 18 20 24 31 33 36 48 57 58 63 66 68 73 75 78 83 84 85
  2  4  7  9 15 16 18 20 25 28 31 33 36 44 48 60 65 71 72 77 79 80 83 84
  2  4  7  9 15 16 18 20 31 33 35 36 45 47 48 50 52 59 61 62 64 76 79 85
  2  4  7 13 14 16 19 21 22 23 27 38 41 42 44 52 61 62 72 76 77 79 82 83
  2  4  7 13 16 19 21 22 23 24 27 35 38 42 47 51 58 59 62 65 69 73 75 78
  2  4  7 13 16 19 21 22 23 27 28 38 40 42 49 52 63 65 66 73 74 77 81 85
  2  4  7 13 16 19 21 22 23 27 28 38 42 45 50 57 64 65 68 71 80 83 84 85
  2  4  7 14 16 17 24 28 29 32 34 46 54 56 58 61 65 67 71 75 78 80 82 83
  2  4  7 14 16 17 29 32 34 35 40 46 49 52 54 56 57 61 67 68 74 76 81 84
  2  4  7 14 16 17 29 32 34 35 44 46 47 54 56 59 63 66 67 72 73 79 83 85
  2  4  7 14 16 25 26 28 37 41 43 45 50 55 60 63 64 66 70 73 78 82 83 85
  2  4  7 16 17 27 28 29 32 34 45 46 50 51 54 56 62 64 66 67 69 71 77 80
  2  4  7 16 24 25 26 28 37 41 43 47 52 55 57 58 60 61 63 70 75 76 77 78
  2  4  7 16 25 26 28 35 37 40 41 43 47 49 55 59 60 65 70 71 74 76 80 81
  2  4  7 16 25 26 37 41 43 44 51 55 57 60 62 66 68 69 70 72 74 77 79 84
  2  4  8  9 12 13 16 20 21 29 30 32 34 37 38 39 42 43 46 48 54 55 56 60
  2  5  6  7  8 10 24 28 39 49 51 52 61 62 63 65 66 69 71 73 76 80 83 85
  2  5  6  7 13 14 15 17 20 22 25 26 27 30 32 36 39 42 53 54 55 56 60 67
  2  5  7  9 10 11 12 13 14 16 19 20 21 25 26 29 31 32 33 36 38 46 54 67
  2  5  9 10 14 22 25 27 33 44 53 54 55 56 59 66 68 71 74 75 77 79 80 81
  2  5  9 10 22 24 25 27 28 33 40 47 52 53 54 55 56 64 65 69 77 79 84 85
  2  5  9 10 22 25 27 28 33 41 45 53 54 55 56 57 62 71 72 73 76 78 81 83
  2  5  9 10 22 25 27 33 35 45 49 50 51 53 54 55 56 58 61 63 65 68 77 82
  2  5 10 13 14 21 24 31 32 34 40 41 48 53 59 62 64 70 71 73 76 77 79 84
  2  5 10 13 14 21 31 32 34 41 44 47 48 51 53 61 63 65 68 70 74 75 83 84
  2  5 10 13 21 24 31 32 34 41 48 49 50 53 57 58 63 66 70 75 76 79 80 83
  2  5 10 13 21 28 31 32 34 35 41 44 45 48 52 53 68 69 70 72 78 81 82 85
  2  5 10 14 15 23 24 29 35 36 37 40 42 45 46 53 60 64 66 68 79 80 82 83
  2  5 10 14 15 23 28 29 36 37 42 44 46 52 53 57 58 60 69 74 75 81 83 85
  2  5 10 14 15 23 29 36 37 42 45 46 51 53 59 60 61 63 65 72 77 78 81 85
  2  5 10 14 17 18 19 20 26 28 38 43 49 50 52 53 58 59 62 67 69 77 79 85
  2  5 10 15 23 28 29 36 37 42 46 47 49 50 53 57 58 60 62 69 71 73 76 84
  2  5 10 17 18 19 20 24 26 38 40 43 51 53 57 61 63 64 65 67 71 77 79 83
  2  5 10 17 18 19 20 24 26 38 43 45 47 50 53 66 67 72 76 77 78 80 81 84
  2  5 10 17 18 19 20 26 35 38 43 44 47 53 57 62 67 68 71 73 74 75 76 82
  2  6  8  9 14 19 29 33 38 41 46 47 52 57 64 65 70 73 74 77 78 82 84 85
  2  6  8  9 19 24 29 33 38 41 44 45 46 49 51 62 69 70 76 77 80 82 84 85
  2  6  8  9 19 28 29 33 35 38 41 46 50 61 62 65 66 68 70 74 75 79 81 83
  2  6  8  9 19 29 33 38 40 41 46 58 59 63 66 68 69 70 71 72 75 78 79 85
  2  6  8 13 14 15 21 26 35 36 43 47 50 51 54 56 57 64 75 76 79 80 81 85
  2  6  8 13 15 21 24 26 28 36 43 44 45 49 54 56 59 61 62 64 66 68 79 85
  2  6  8 13 15 21 26 28 35 36 41 43 54 56 63 64 69 71 74 77 78 80 83 85
  2  6  8 13 15 21 26 36 40 43 52 54 56 58 61 62 65 66 72 73 77 78 82 84
  2  6  8 14 17 23 24 25 31 35 42 44 45 48 49 52 55 61 65 67 71 73 78 83
  2  6  8 14 17 23 25 28 31 40 42 47 48 50 55 57 58 61 62 66 67 71 72 79
  2  6  8 14 18 20 22 24 27 32 34 37 44 45 47 49 50 57 59 60 63 69 71 77
  2  6  8 14 18 20 22 27 28 32 34 37 60 61 62 64 66 74 77 78 81 82 84 85
  2  6  8 14 18 20 22 27 32 34 35 37 40 47 51 58 60 68 72 76 77 80 83 85
  2  6  8 17 23 25 28 31 42 48 50 55 63 67 69 71 75 76 77 79 80 81 82 84
  2  6  8 17 23 25 31 42 48 51 55 57 59 64 67 68 73 74 76 78 79 80 81 85
  2  6  8 18 20 22 27 32 34 37 50 52 59 60 65 68 71 73 74 75 79 80 81 83
  2  9 11 12 14 23 24 26 32 33 34 35 39 42 43 47 50 61 68 71 72 74 84 85
  2  9 11 12 14 23 26 28 32 33 34 39 42 43 49 51 57 59 73 76 78 79 82 83
  2  9 11 12 23 26 32 33 34 39 40 42 43 45 65 66 69 72 74 75 76 80 81 83
  2  9 11 12 23 26 32 33 34 39 42 43 44 47 52 58 62 63 64 68 77 80 81 83
  2 11 12 13 14 18 20 21 24 25 29 35 39 46 49 55 65 66 69 76 78 79 81 84
  2 11 12 13 14 18 20 21 25 28 29 39 40 45 46 47 51 55 68 73 75 77 80 83
  2 11 12 13 18 20 21 24 25 29 39 46 50 52 55 57 59 62 63 72 74 79 80 82
  2 11 12 13 18 20 21 25 28 29 38 39 44 46 52 55 57 58 61 64 71 80 81 85
  2 11 12 14 15 17 22 27 28 35 36 39 41 44 45 51 58 64 67 70 73 76 81 84
  2 11 12 14 15 17 22 27 36 39 40 41 45 57 59 61 67 70 71 75 77 78 82 85
  2 11 12 14 19 31 35 37 38 39 40 45 47 48 52 54 56 58 60 62 63 75 80 84
  2 11 12 15 17 22 24 27 36 39 41 47 50 65 66 67 68 69 70 72 74 76 77 83
  2 11 12 15 17 22 27 36 39 41 45 49 52 62 63 67 70 73 74 76 78 79 80 85
  2 11 12 19 24 28 31 37 38 39 45 48 50 51 54 56 60 71 72 73 74 76 79 81
  2 11 12 19 28 31 37 38 39 44 48 54 56 57 58 59 60 64 65 66 69 76 81 82
  2 11 12 19 31 37 38 39 47 48 49 54 56 60 61 68 71 73 77 78 79 80 83 85
  3  4  5  6  8 24 39 40 44 45 49 50 58 64 72 73 74 75 78 79 81 82 83 85
  3  4  5  6  9 11 13 15 16 21 22 25 26 28 29 31 32 34 39 41 48 55 60 70
  3  4  5 10 12 13 17 19 25 26 27 30 32 33 34 38 41 42 46 48 53 56 70 83
  3  4  9 11 14 15 22 28 29 42 49 50 52 55 56 58 59 60 61 69 73 77 78 85
  3  4  9 11 15 22 24 29 40 42 44 51 55 56 57 60 61 63 64 65 76 79 83 85
  3  4  9 11 15 22 28 29 35 42 44 55 56 60 62 64 68 71 73 74 75 76 82 85
  3  4  9 11 15 22 28 29 40 42 45 47 49 55 56 60 66 72 77 78 80 81 84 85
  3  4 11 13 14 17 19 20 24 26 31 34 41 44 45 59 66 68 72 74 75 77 78 80
  3  4 11 13 17 19 20 24 26 28 31 34 40 41 45 47 52 61 64 69 73 79 84 85
  3  4 11 13 17 19 20 24 26 31 34 35 41 49 50 51 58 61 63 65 68 71 78 82
  3  4 11 13 17 19 20 26 31 34 41 45 51 57 61 62 65 71 72 73 76 78 81 83
  3  4 11 14 18 21 24 28 32 38 43 44 48 52 57 67 68 69 70 74 75 78 83 85
  3  4 11 14 18 21 32 38 43 45 48 51 59 61 63 65 67 70 72 77 78 80 81 82
  3  4 11 14 23 24 25 27 33 35 36 37 40 46 54 59 62 64 71 73 74 76 77 79
  3  4 11 14 23 25 27 33 35 36 37 46 49 50 54 57 58 62 66 77 80 82 83 85
  3  4 11 14 23 25 27 33 36 37 44 46 47 51 54 57 61 63 65 74 75 76 77 84
  3  4 11 15 23 25 27 28 33 35 36 37 45 46 52 54 68 69 72 76 78 81 82 85
  3  4 11 18 21 24 32 35 38 40 43 48 57 64 66 67 68 70 72 78 79 80 82 84
  3  4 11 18 21 28 32 38 40 43 45 47 48 49 50 58 62 67 70 71 73 76 83 84
  3  5  8  9 14 20 24 25 28 36 39 41 43 48 58 60 65 71 75 77 78 80 82 83
  3  5  8  9 20 25 35 36 39 41 43 44 47 48 59 60 63 65 66 71 72 73 79 85
  3  5  8  9 20 25 36 39 40 41 43 48 49 50 52 57 60 61 63 68 74 76 81 84
  3  5  8  9 20 25 36 39 41 43 45 48 49 50 51 60 62 64 69 71 73 77 79 82
  3  5  8 13 14 17 27 32 35 38 39 42 45 46 47 50 52 56 57 59 61 64 74 76
  3  5  8 13 14 17 27 32 38 39 40 42 45 46 49 51 56 62 64 69 74 81 82 83
  3  5  8 13 17 24 27 32 38 39 42 46 56 57 58 63 66 68 73 75 77 78 84 85
  3  5  8 13 17 27 28 32 38 39 40 42 44 46 56 65 66 71 72 76 77 79 80 82
  3  5  8 14 15 18 26 31 33 37 39 44 49 52 55 61 68 70 72 76 79 82 83 84
  3  5  8 14 19 21 22 23 29 34 35 39 45 50 54 63 64 66 67 71 73 82 83 85
  3  5  8 15 18 24 26 31 33 35 37 39 47 51 52 55 58 59 62 69 70 75 78 85
  3  5  8 15 18 26 28 31 33 37 39 45 50 55 57 61 64 65 68 70 71 76 80 84
  3  5  8 15 18 26 31 33 37 39 40 49 55 59 62 63 66 70 73 74 75 77 81 85
  3  5  8 19 21 22 23 24 29 34 39 41 47 52 54 58 61 67 72 75 76 77 78 80
  3  5  8 19 21 22 23 28 29 34 35 39 40 47 49 54 59 65 67 71 72 74 80 81
  3  5  8 19 21 22 23 29 34 39 44 47 51 54 57 62 64 67 68 69 72 76 79 84
  3  6  7  8  9 10 13 14 15 16 19 22 29 30 32 33 36 37 41 42 43 56 67 70
  3  6  7  9 14 23 26 28 31 32 35 38 44 51 53 54 58 60 64 68 73 81 83 84
  3  6  7  9 23 24 26 31 32 38 47 50 53 54 60 65 66 68 69 72 74 76 77 83
  3  6  7  9 23 26 31 32 38 40 45 50 53 54 57 59 60 61 71 75 77 79 82 85
  3  6  7  9 23 26 31 32 38 49 52 53 54 58 60 62 63 64 72 76 78 79 80 85
  3  6  7 13 14 17 18 22 24 25 28 29 35 36 50 53 58 61 70 71 72 74 84 85
  3  6  7 13 14 17 18 22 25 28 29 36 49 51 53 57 59 70 71 73 78 79 80 82
  3  6  7 13 17 18 22 25 29 36 40 45 50 53 65 66 69 70 72 75 76 79 80 85
  3  6  7 13 17 18 22 25 29 36 44 47 52 53 58 62 63 64 68 70 77 80 81 83
  3  6  7 14 15 20 21 27 35 40 41 45 46 49 52 53 55 62 63 67 75 80 84 85
  3  6  7 14 19 33 34 35 37 42 43 47 48 49 53 56 65 66 69 76 77 78 79 84
  3  6  7 15 20 21 24 27 28 41 46 47 50 51 52 53 55 63 67 71 72 73 74 77
  3  6  7 15 20 21 27 41 44 46 53 55 57 58 59 64 65 66 67 69 76 80 81 82
  3  6  7 15 20 21 27 41 46 47 49 53 55 61 67 68 71 76 77 78 79 83 84 85
  3  6  7 19 24 28 33 34 37 40 42 43 45 47 48 51 53 56 68 73 75 76 77 83
  3  6  7 19 24 33 34 37 42 43 44 48 53 56 58 61 64 66 71 72 74 76 81 85
  3  6  7 19 24 33 34 37 42 43 48 50 52 53 56 57 59 62 63 72 74 80 82 85
  3  7  8 11 12 13 14 17 21 27 31 32 36 37 38 39 41 43 46 53 55 60 67 70
  3  9 10 12 13 16 18 19 24 27 28 34 35 44 45 46 49 52 60 65 70 73 83 85
  3  9 10 12 14 16 18 19 27 28 34 40 46 47 57 58 60 61 62 64 66 70 72 85
  3  9 10 12 16 18 19 27 28 34 46 51 58 59 60 64 66 68 70 74 76 78 80 85
  3  9 10 12 16 18 19 27 34 46 50 60 63 68 69 70 71 75 77 78 79 81 82 84
  3 10 12 13 14 15 16 17 23 24 43 44 45 48 49 51 54 55 76 77 80 82 84 85
  3 10 12 13 14 15 16 17 23 40 43 48 50 54 55 58 59 63 68 69 71 72 76 77
  3 10 12 13 14 15 16 17 23 43 47 48 52 54 55 57 58 64 65 71 73 74 78 79
  3 10 12 13 15 16 17 23 28 35 43 48 50 54 55 61 62 66 75 79 80 81 83 84
  3 10 12 14 16 20 22 29 32 33 35 37 38 41 63 64 68 69 71 74 78 79 82 83
  3 10 12 14 16 20 22 29 32 33 37 38 41 47 50 51 57 75 76 79 80 81 83 85
  3 10 12 14 16 21 24 25 26 31 36 42 44 45 47 49 56 57 63 67 69 71 77 83
  3 10 12 16 20 22 24 28 29 32 33 37 38 41 44 45 49 59 61 62 65 66 68 72
  3 10 12 16 20 22 29 32 33 35 37 38 40 41 52 58 65 72 73 77 80 82 84 85
  3 10 12 16 21 25 26 28 31 35 36 40 42 51 54 56 58 67 72 76 79 80 83 85
  3 10 12 16 21 25 26 28 31 36 42 56 57 61 62 64 66 67 68 74 77 78 82 84
  3 10 12 16 21 25 26 31 35 36 42 50 52 56 59 65 67 68 73 75 76 79 81 85
  4  5  6  7  8  9 12 15 16 17 22 25 26 27 29 34 36 37 38 43 46 48 53 67
  4  5  6  9 12 14 15 17 21 24 25 28 34 35 37 38 41 44 57 63 72 76 77 81
  4  5  6  9 12 14 15 17 21 25 34 37 38 45 49 61 64 68 69 71 72 73 75 80
  4  5  6  9 12 15 17 21 25 34 37 38 40 44 50 51 52 59 66 71 78 79 83 84
  4  5  6  9 12 15 17 21 25 34 37 38 45 47 52 58 62 65 66 73 74 79 82 85
  4  5  6 12 13 14 19 24 32 33 36 47 55 57 60 61 67 68 69 73 76 80 81 82
  4  5  6 12 13 14 19 32 33 36 40 44 50 55 60 62 64 65 66 67 68 78 83 85
  4  5  6 12 13 19 28 32 33 36 47 49 55 59 60 63 64 67 72 75 76 83 84 85
  4  5  6 12 13 19 32 33 35 36 45 51 52 55 57 58 60 66 67 71 74 76 77 79
  4  5  6 12 14 18 22 24 26 41 42 46 47 48 51 52 54 65 66 68 71 72 80 81
  4  5  6 12 14 20 23 24 27 29 31 43 47 56 59 62 65 70 77 81 82 83 84 85
  4  5  6 12 14 20 23 27 28 29 31 43 45 56 58 63 66 68 70 74 75 76 79 85
  4  5  6 12 18 22 24 26 28 40 41 42 44 46 47 48 50 54 63 71 76 78 79 82
  4  5  6 12 18 22 26 35 41 42 45 46 48 49 54 57 62 64 65 72 75 77 81 85
  4  5  6 12 18 22 26 41 42 45 46 48 54 58 59 61 66 69 73 74 79 80 83 84
  4  5  6 12 20 23 24 27 29 31 35 40 43 44 50 56 57 61 69 70 73 77 78 80
  4  5  6 12 20 23 24 27 29 31 43 47 49 51 52 56 57 64 66 70 71 72 75 82
  4  5  7  8 10 11 19 21 25 26 30 31 33 34 36 37 39 42 43 48 55 56 60 67
  4  8  9 10 14 15 23 26 27 28 30 32 40 41 45 47 51 67 68 73 75 77 78 83
  4  8  9 10 14 15 23 26 27 30 32 35 41 49 59 65 66 67 69 73 76 78 79 84
  4  8  9 10 15 23 24 26 27 30 32 41 50 52 57 59 62 63 64 67 72 74 80 82
  4  8  9 10 15 23 26 27 28 30 32 35 38 41 44 58 61 64 67 71 77 81 84 85
  4  8 10 13 14 18 19 25 28 29 30 35 37 44 48 51 56 58 64 73 74 80 81 84
  4  8 10 13 18 19 24 25 29 30 37 47 48 50 56 65 66 68 69 72 74 76 77 83
  4  8 10 13 18 19 25 28 29 30 37 48 49 52 54 56 62 63 64 66 76 78 79 80
  4  8 10 13 18 19 25 29 30 37 40 45 48 56 57 59 61 62 71 75 80 82 83 85
  4  8 10 14 17 22 30 33 34 35 36 40 42 43 45 51 52 62 63 70 75 79 80 84
  4  8 10 14 20 21 24 30 31 35 38 46 50 54 55 59 60 61 71 72 74 82 84 85
  4  8 10 14 20 21 28 30 31 38 46 49 51 52 54 55 57 59 60 63 73 78 79 82
  4  8 10 17 22 24 28 30 33 34 36 42 43 45 49 50 51 52 61 70 72 73 74 85
  4  8 10 17 22 28 30 33 34 36 42 43 47 49 61 68 70 71 74 77 78 79 83 85
  4  8 10 17 22 30 33 34 36 42 43 44 57 58 59 64 65 66 69 70 76 81 82 83
  4  8 10 20 21 25 29 30 31 38 40 45 46 54 55 60 64 65 66 69 73 74 75 76
  4  8 10 20 21 30 31 38 44 46 47 52 54 55 58 60 62 63 64 68 77 80 81 83
  5  7  9 11 14 19 25 30 31 35 40 42 46 52 58 65 67 70 72 73 77 82 83 84
  5  7  9 11 14 19 25 30 31 42 46 47 50 51 57 59 67 70 75 76 79 80 81 85
  5  7  9 11 19 24 25 28 30 31 42 44 45 46 49 59 61 62 66 67 68 70 71 77
  5  7  9 11 19 25 28 30 31 35 38 42 46 63 64 66 67 69 70 71 74 77 78 83
  5  7 11 13 14 15 20 22 28 30 32 37 40 43 47 54 57 58 61 62 66 72 77 84
  5  7 11 13 15 20 22 24 30 32 35 37 43 44 45 49 52 54 64 65 71 73 76 83
  5  7 11 13 15 20 22 30 32 37 43 44 51 54 59 64 68 69 74 76 78 79 80 85
  5  7 11 13 15 20 22 30 32 37 43 50 54 57 63 69 71 75 77 79 81 82 84 85
  5  7 11 14 17 23 24 29 30 33 38 41 44 45 47 48 49 55 57 63 65 69 71 79
  5  7 11 14 18 21 26 27 30 34 36 45 47 52 56 57 60 64 65 68 73 74 78 80
  5  7 11 17 23 28 29 30 33 38 41 48 50 55 61 62 64 66 74 77 78 82 83 84
  5  7 11 17 23 29 30 33 35 38 40 41 48 51 55 58 63 72 75 76 80 81 83 85
  5  7 11 17 23 29 30 33 38 41 48 50 52 55 59 62 64 65 68 73 75 78 79 81
  5  7 11 18 21 24 26 27 30 34 36 40 56 58 59 60 63 68 69 71 72 80 82 83
  5  7 11 18 21 24 26 27 30 34 36 44 45 49 51 56 60 76 77 78 80 82 84 85
  5  7 11 18 21 26 27 28 30 34 35 36 40 50 56 60 61 62 66 75 78 79 81 83
  6  9 10 11 12 15 16 17 19 21 22 27 29 30 31 33 38 39 42 46 53 55 56 60
  6  9 14 16 18 22 24 30 38 39 40 43 55 56 59 62 64 67 71 73 76 77 79 85
  6  9 14 16 18 22 30 38 39 43 44 45 47 51 55 56 61 63 65 67 71 74 75 84
  6  9 14 16 18 22 30 38 39 43 49 50 55 56 57 58 60 61 66 67 72 76 80 83
  6  9 16 18 22 24 28 30 35 38 39 43 45 52 55 56 67 68 69 72 78 81 82 85
  6 13 14 16 23 28 30 31 34 36 37 39 40 41 46 49 50 52 58 59 69 77 81 85
  6 13 14 16 23 30 31 34 35 36 37 39 41 44 46 62 68 71 73 74 75 76 82 83
  6 13 16 23 24 30 31 34 36 37 39 40 41 46 51 57 61 63 64 65 66 73 79 83
  6 13 16 23 24 30 31 34 36 37 39 41 45 46 47 52 66 72 78 80 81 82 83 84
  6 14 15 16 21 29 30 32 35 39 42 44 48 57 59 60 66 68 70 74 75 77 80 83
  6 14 16 17 19 20 25 26 27 30 33 39 45 51 54 59 61 63 65 66 72 77 78 81
  6 15 16 21 24 28 29 30 32 39 40 42 47 48 52 60 64 68 69 70 78 79 84 85
  6 15 16 21 29 30 32 35 39 42 48 49 50 51 58 60 61 63 65 68 70 76 82 83
  6 15 16 21 29 30 32 39 42 45 48 57 60 62 70 71 72 73 76 77 78 81 82 83
  6 16 17 19 20 24 25 26 27 30 33 35 39 40 52 54 64 66 68 79 80 82 83 85
  6 16 17 19 20 24 25 26 27 30 33 39 47 49 50 54 58 62 66 71 73 76 84 85
  6 16 17 19 20 25 26 27 28 30 33 39 44 52 54 57 69 74 75 79 80 83 84 85
  7  9 10 14 17 21 24 27 29 31 37 39 43 51 52 58 63 66 68 71 76 78 79 81
  7  9 10 17 21 24 27 29 31 37 39 43 45 58 59 61 68 69 73 74 79 80 83 84
  7  9 10 17 21 27 28 29 31 37 39 40 43 44 47 50 63 65 73 76 78 80 81 82
  7  9 10 17 21 27 29 31 35 37 39 43 49 50 57 58 62 64 65 72 75 77 79 85
  7 10 13 14 22 26 33 39 40 46 48 49 60 61 64 67 68 69 72 73 75 77 80 83
  7 10 13 22 24 26 27 28 29 33 35 39 46 48 52 57 60 63 67 71 72 76 77 81
  7 10 13 22 26 33 39 40 44 46 48 50 51 52 59 60 66 67 71 73 77 78 83 84
  7 10 13 22 26 33 39 45 46 47 48 58 60 62 63 65 67 71 74 76 79 82 83 85
  7 10 14 15 20 23 24 25 34 38 39 40 47 49 56 61 69 70 71 73 74 80 81 82
  7 10 14 15 20 23 25 34 38 39 40 44 50 56 58 61 62 65 68 70 76 78 79 85
  7 10 14 18 19 24 32 36 39 41 42 44 54 55 57 59 62 65 69 77 81 83 84 85
  7 10 14 18 19 28 32 36 39 41 42 44 45 50 54 55 58 62 63 68 74 76 79 80
  7 10 14 18 19 32 35 36 39 40 41 42 44 50 54 55 57 61 69 73 77 78 80 85
  7 10 15 20 23 25 28 34 38 39 49 56 59 62 63 64 68 70 72 75 76 77 83 84
  7 10 15 20 23 25 34 35 38 39 45 51 52 56 57 58 66 70 71 74 77 79 84 85
  7 10 18 19 32 36 39 41 42 47 49 51 52 54 55 64 66 71 72 75 76 79 81 82
  8  9 11 14 16 17 18 21 37 40 41 42 44 47 50 53 54 62 65 68 77 78 82 85
  8  9 11 16 17 18 21 24 28 35 37 41 42 47 52 53 54 61 69 73 80 81 82 83
  8  9 11 16 17 18 21 28 35 37 41 42 45 51 52 53 54 57 58 66 71 74 77 79
  8  9 11 16 17 18 21 28 37 41 42 49 53 54 59 63 64 72 75 76 79 81 83 84
  8 11 13 14 16 20 23 24 33 35 49 51 52 53 56 58 60 66 67 68 70 71 81 83
  8 11 13 16 20 23 28 33 40 44 47 50 53 56 57 60 63 67 70 76 77 78 82 83
  8 11 13 16 20 23 33 35 49 53 56 57 60 62 64 65 67 70 72 75 76 77 80 85
  8 11 13 16 20 23 33 45 53 56 58 59 60 61 67 69 70 73 74 79 80 83 84 85
  8 11 14 15 16 22 24 25 26 34 38 46 48 53 59 62 65 68 78 81 82 83 84 85
  8 11 14 15 16 22 25 26 28 34 38 45 46 48 53 58 61 63 68 71 72 74 76 79
  8 11 14 16 19 24 27 28 29 31 32 35 36 43 53 55 57 63 68 76 77 81 82 83
  8 11 14 16 19 27 29 31 32 36 43 49 53 55 61 62 64 68 69 72 73 75 78 80
  8 11 15 16 22 25 26 34 35 38 40 44 46 48 50 53 57 61 69 73 74 77 78 80
  8 11 15 16 22 25 26 34 38 46 47 48 49 51 52 53 64 66 71 72 75 77 82 85
  8 11 16 19 27 29 31 32 36 40 43 44 50 51 52 53 55 59 66 68 71 78 83 84
  8 11 16 19 27 29 31 32 36 43 45 47 51 52 53 55 58 62 63 65 74 79 82 85
  9 12 14 20 27 29 30 34 36 38 44 48 52 53 54 61 67 71 72 76 79 80 82 83
  9 12 20 24 29 30 34 35 36 47 48 51 53 54 58 59 62 67 68 69 75 77 78 79
  9 12 20 28 29 30 34 36 45 48 50 53 54 57 64 65 67 68 71 77 79 80 82 84
  9 12 20 29 30 34 36 40 48 49 53 54 57 63 64 66 67 71 73 74 77 81 84 85
  9 14 17 19 20 21 22 23 26 32 35 36 37 46 47 48 55 56 57 59 68 70 82 84
  9 17 19 20 21 22 23 26 28 32 36 37 46 48 55 56 61 62 63 69 70 71 80 85
  9 17 19 20 21 22 23 26 32 35 36 37 46 47 48 55 56 57 59 70 77 82 83 84
  9 17 19 20 21 22 26 36 37 40 44 45 46 48 49 55 56 58 64 70 75 78 79 81
  9 17 19 20 21 23 26 28 32 37 46 48 51 52 55 56 61 65 66 69 71 73 76 85
  9 17 19 20 22 23 26 32 36 37 46 51 52 56 61 62 63 65 66 70 71 73 76 80
  9 17 19 22 23 24 26 32 36 37 40 44 45 48 49 50 56 58 70 72 74 75 78 79
  9 17 20 21 22 23 24 26 32 36 40 44 46 49 50 55 58 64 70 72 74 75 79 81
  9 17 20 21 22 23 28 36 37 46 48 51 52 55 56 62 63 65 66 69 70 73 76 80
  9 19 20 21 23 24 26 32 37 40 44 45 46 48 50 55 56 58 64 72 74 75 78 81
 12 13 14 24 26 27 28 30 37 38 42 53 55 58 65 68 70 71 75 78 80 82 83 85
 12 13 26 27 28 30 35 37 38 42 44 45 50 51 53 55 62 64 69 70 73 74 77 79
 12 13 26 27 30 35 37 38 42 44 47 53 55 58 59 63 66 70 72 73 77 79 84 85
 12 13 26 27 30 37 38 40 42 49 52 53 55 57 61 64 68 70 74 76 81 83 84 85
 12 14 15 17 18 30 31 32 33 44 46 51 53 56 57 62 65 68 69 72 73 79 80 84
 12 14 15 17 18 30 31 32 33 45 46 50 52 53 56 63 64 66 73 77 79 82 83 85
 12 14 19 21 22 23 25 30 35 41 43 45 47 50 52 53 59 60 61 64 76 77 81 82
 12 14 19 21 22 23 25 30 40 41 43 49 51 53 60 62 69 74 76 81 82 83 84 85
 12 15 17 18 24 30 31 32 33 40 45 46 52 53 56 58 61 64 72 75 76 77 78 80
 12 15 17 18 28 30 31 32 33 35 40 46 47 49 53 56 59 64 65 68 71 74 80 81
 12 19 21 22 23 24 25 30 35 41 43 53 57 58 60 63 66 68 73 75 78 80 84 85
 12 19 21 22 23 25 28 30 41 43 44 52 53 58 60 64 65 68 69 71 72 77 79 80
 13 14 15 18 24 25 27 29 31 33 34 38 41 42 43 44 50 54 58 60 64 67 72 77
 13 15 18 24 25 27 29 31 33 38 40 41 45 49 50 54 60 67 72 74 75 78 79 81
 13 15 18 25 27 28 29 31 33 34 41 42 43 51 61 62 65 66 67 69 71 73 76 85
 13 15 18 25 27 29 31 33 34 35 38 41 42 43 47 54 57 59 60 67 68 82 83 84
 13 15 18 25 27 29 31 33 38 41 42 43 52 54 59 60 61 63 66 67 71 73 80 85
 13 15 18 25 27 29 34 38 41 51 52 54 60 61 62 63 65 66 67 69 71 74 80 85
 13 15 24 25 27 29 31 33 34 38 40 41 42 43 44 50 58 62 64 72 75 76 77 81
 13 15 24 25 27 29 31 33 34 38 41 42 43 44 45 49 50 58 64 66 72 74 78 79
 13 18 24 25 29 34 40 42 43 44 45 49 50 54 58 60 64 67 72 74 75 78 79 81
 13 25 27 28 31 33 34 38 42 43 51 52 54 60 61 62 63 65 69 71 73 76 80 85
 14 19 21 22 26 28 32 36 48 51 52 55 61 62 63 65 66 69 70 71 73 76 80 85
 14 24 28 35 40 44 45 47 49 57 58 59 61 62 63 65 74 77 78 79 80 81 82 84
 14 24 28 35 40 44 47 49 50 51 52 59 61 63 64 66 68 69 72 73 74 75 76 82
 14 24 28 35 40 45 50 51 52 57 59 62 63 64 65 69 71 72 74 75 76 78 83 84
 14 24 28 40 44 45 50 51 52 57 58 59 62 63 65 66 68 71 73 75 77 81 82 84
 14 24 28 47 49 50 51 58 61 63 64 65 68 69 72 73 74 75 77 79 81 82 84 85
 15 18 27 31 33 34 38 40 41 42 43 44 45 49 54 58 60 64 67 74 75 78 79 81
 15 18 28 29 31 33 34 38 41 42 43 51 52 54 60 62 63 65 66 67 69 73 76 80
 17 19 20 21 22 23 24 32 36 37 45 46 48 49 50 55 56 64 70 72 74 78 79 81
 35 40 44 45 47 49 52 57 59 61 62 63 66 68 69 73 75 76 77 79 80 81 82 85
 35 40 44 47 49 50 51 52 58 59 61 64 65 66 69 71 74 75 76 78 80 82 83 84
 35 40 45 47 49 51 52 57 58 59 61 62 65 68 69 71 72 74 77 78 79 81 83 85
 35 44 45 47 49 50 51 57 58 61 62 63 64 66 68 69 71 72 73 78 80 81 83 84