270 ≤ C(72,20,4) ≤ 451

Created by: LJCR

Method of Construction: Dynamic programming construction

Lower Bound: Schonheim

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