Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

SSL 64-169.txt   Sprache: Text

 

## Group: [64, 169]
## Difference Sets: 796
## Time:  0:13:21.067

return [
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 18, 26, 29, 30, 33, 36, 38, 
  39, 40, 45, 52, 54, 58, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 18, 26, 29, 30, 34, 36, 38, 
  39, 40, 45, 52, 55, 58, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 17, 26, 29, 30, 33, 36, 37, 
  39, 41, 45, 52, 54, 58, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 17, 26, 29, 30, 34, 36, 37, 
  39, 41, 45, 52, 55, 58, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 16, 19, 20, 24, 28, 42, 43, 45, 
  46, 48, 49, 50, 58, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 16, 19, 20, 24, 28, 42, 44, 45, 
  46, 48, 49, 50, 58, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 16, 19, 20, 25, 27, 42, 43, 45, 
  46, 47, 49, 51, 58, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 16, 19, 20, 25, 27, 42, 44, 45, 
  46, 47, 49, 51, 58, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 19, 22, 24, 25, 27, 36, 42, 43, 
  45, 47, 49, 54, 58, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 19, 29, 30, 31, 34, 37, 39, 
  41, 43, 45, 46, 52, 54, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 16, 18, 19, 20, 30, 37, 41, 42, 
  43, 45, 46, 49, 58, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 19, 20, 22, 25, 31, 37, 38, 39, 
  40, 45, 51, 55, 58, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 20, 22, 25, 26, 27, 28, 31, 40, 
  45, 46, 51, 55, 58, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 20, 22, 25, 26, 27, 31, 40, 43, 
  45, 46, 49, 55, 59, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 16, 17, 19, 20, 30, 38, 40, 42, 
  43, 45, 46, 49, 58, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 16, 18, 21, 32, 36, 40, 41, 42, 
  43, 45, 47, 50, 54, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 16, 21, 32, 36, 39, 40, 42, 43, 
  44, 45, 47, 50, 54, 57, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 17, 18, 21, 24, 32, 33, 37, 38, 
  41, 42, 43, 50, 58, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 15, 17, 21, 23, 24, 32, 33, 37, 38, 
  39, 42, 45, 50, 57, 58, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 16, 17, 18, 20, 21, 32, 33, 36, 38, 
  41, 43, 45, 47, 50, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 16, 17, 18, 21, 24, 27, 32, 36, 38, 
  41, 42, 43, 45, 54, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 16, 17, 21, 24, 27, 32, 36, 38, 39, 
  42, 43, 44, 45, 54, 57, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 16, 21, 25, 26, 27, 28, 30, 39, 42, 
  43, 45, 50, 55, 58, 59, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 17, 18, 21, 23, 24, 32, 33, 36, 37, 
  41, 42, 45, 50, 56, 58, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 17, 21, 24, 32, 33, 36, 37, 39, 42, 
  43, 50, 56, 57, 58, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 17, 22, 25, 26, 29, 31, 34, 37, 42, 
  44, 51, 58, 59, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 19, 20, 22, 25, 26, 27, 30, 33, 44, 
  45, 46, 50, 51, 56, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 20, 24, 25, 27, 29, 32, 35, 38, 40, 
  42, 44, 45, 46, 51, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15, 18, 21, 27, 32, 35, 38, 40, 41, 
  42, 43, 44, 47, 54, 59, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15, 21, 23, 27, 32, 35, 38, 39, 40, 
  42, 44, 45, 47, 54, 57, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 16, 17, 19, 20, 22, 23, 28, 31, 36, 
  43, 44, 48, 54, 57, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 16, 17, 19, 20, 22, 25, 31, 33, 39, 
  43, 45, 51, 53, 56, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 16, 17, 22, 23, 31, 36, 40, 41, 42, 
  43, 45, 48, 51, 54, 58, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 16, 18, 19, 20, 23, 30, 35, 37, 41, 
  42, 43, 46, 49, 53, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 16, 18, 19, 25, 30, 36, 39, 44, 45, 
  47, 48, 49, 51, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 16, 18, 19, 27, 30, 36, 39, 43, 45, 
  46, 47, 50, 51, 59, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 16, 18, 27, 29, 30, 36, 40, 41, 43, 
  45, 46, 47, 49, 59, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 16, 19, 22, 23, 28, 31, 40, 42, 43, 
  44, 48, 53, 54, 56, 57, 59 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 16, 22, 31, 36, 39, 41, 42, 43, 44, 
  48, 51, 54, 57, 58, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 17, 20, 22, 25, 26, 29, 31, 35, 44, 
  49, 51, 55, 59, 60, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 17, 22, 23, 26, 27, 28, 31, 34, 35, 
  42, 46, 48, 51, 58, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 17, 22, 23, 26, 27, 31, 34, 35, 42, 
  43, 46, 48, 49, 59, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 18, 19, 25, 26, 30, 37, 38, 39, 44, 
  45, 46, 49, 51, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 18, 21, 22, 23, 26, 29, 33, 36, 38, 
  39, 40, 52, 54, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 18, 21, 22, 23, 26, 29, 34, 36, 38, 
  39, 40, 52, 55, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 18, 21, 23, 27, 32, 35, 36, 40, 41, 
  42, 44, 45, 47, 54, 56, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 21, 27, 32, 35, 36, 39, 40, 42, 43, 
  44, 47, 54, 56, 57, 59, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 22, 26, 28, 29, 31, 35, 40, 42, 43, 
  44, 48, 55, 60, 61, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 16, 17, 19, 20, 23, 30, 35, 38, 40, 
  42, 43, 46, 49, 53, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 16, 19, 20, 21, 24, 27, 32, 34, 39, 
  41, 43, 44, 45, 56, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 16, 19, 20, 21, 32, 34, 36, 41, 43, 
  44, 45, 47, 50, 57, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 16, 19, 21, 32, 39, 41, 42, 43, 44, 
  45, 47, 50, 55, 56, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 17, 21, 22, 23, 26, 29, 33, 36, 37, 
  39, 41, 52, 54, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 17, 21, 22, 23, 26, 29, 34, 36, 37, 
  39, 41, 52, 55, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 18, 21, 23, 26, 27, 28, 32, 34, 42, 
  45, 46, 47, 50, 53, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 18, 21, 23, 26, 27, 29, 32, 34, 42, 
  44, 47, 49, 53, 59, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 18, 21, 26, 28, 32, 34, 42, 43, 46, 
  47, 49, 53, 59, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 19, 20, 21, 23, 24, 32, 37, 38, 39, 
  41, 45, 50, 55, 58, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 20, 21, 23, 24, 26, 27, 29, 32, 41, 
  43, 44, 49, 55, 60, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 20, 21, 24, 26, 28, 32, 41, 43, 46, 
  49, 55, 58, 59, 60, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 21, 23, 24, 27, 28, 32, 41, 42, 43, 
  44, 47, 48, 50, 53, 55, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 21, 23, 24, 28, 32, 41, 42, 43, 47, 
  48, 49, 53, 55, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 21, 23, 28, 32, 41, 42, 43, 44, 46, 
  48, 49, 53, 55, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 16, 17, 18, 20, 22, 23, 31, 33, 36, 37, 
  40, 43, 45, 48, 51, 58, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 16, 17, 18, 22, 23, 25, 28, 31, 36, 37, 
  40, 42, 43, 45, 54, 58, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 16, 17, 19, 22, 25, 31, 33, 37, 42, 43, 
  45, 51, 56, 57, 59, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 16, 18, 19, 21, 24, 27, 32, 38, 39, 42, 
  43, 44, 45, 55, 56, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 16, 18, 20, 22, 31, 33, 36, 37, 39, 43, 
  44, 48, 51, 57, 58, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 16, 21, 24, 27, 28, 30, 39, 42, 43, 45, 
  46, 50, 54, 58, 59, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 18, 21, 24, 25, 27, 32, 34, 38, 42, 44, 
  45, 47, 50, 51, 59, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 18, 21, 24, 25, 32, 34, 38, 42, 45, 47, 
  49, 51, 58, 59, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 18, 21, 25, 27, 32, 34, 38, 42, 45, 46, 
  50, 51, 58, 59, 61, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 20, 21, 23, 24, 25, 29, 32, 38, 41, 45, 
  47, 49, 50, 53, 55, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 20, 24, 25, 27, 29, 32, 34, 38, 40, 42, 
  43, 44, 45, 46, 51, 55, 59 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 21, 22, 23, 24, 26, 27, 29, 30, 33, 43, 
  48, 51, 54, 56, 57, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 21, 22, 23, 24, 26, 27, 29, 30, 34, 43, 
  48, 51, 55, 56, 57, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 21, 22, 23, 24, 26, 28, 29, 30, 33, 44, 
  48, 50, 54, 56, 57, 59, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 21, 22, 23, 24, 26, 28, 29, 30, 34, 44, 
  48, 50, 55, 56, 57, 59, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 21, 22, 23, 24, 27, 30, 33, 43, 46, 47, 
  49, 50, 54, 56, 57, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 21, 22, 23, 24, 27, 30, 34, 43, 46, 47, 
  49, 50, 55, 56, 57, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 21, 22, 23, 24, 28, 30, 33, 43, 46, 47, 
  49, 51, 54, 56, 57, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 21, 22, 23, 24, 28, 30, 34, 43, 46, 47, 
  49, 51, 55, 56, 57, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 21, 23, 24, 26, 29, 32, 34, 38, 41, 42, 
  44, 49, 50, 53, 59, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 21, 24, 26, 32, 34, 38, 41, 42, 43, 46, 
  49, 51, 53, 59, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 22, 23, 25, 26, 28, 31, 34, 35, 37, 40, 
  42, 46, 50, 51, 58, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 22, 23, 25, 26, 31, 34, 35, 37, 40, 42, 
  43, 46, 49, 50, 59, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 16, 17, 20, 23, 32, 38, 39, 40, 
  42, 44, 45, 59, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 16, 17, 20, 32, 38, 39, 40, 42, 
  44, 58, 59, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 16, 18, 20, 23, 32, 38, 39, 41, 
  42, 44, 45, 59, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 16, 18, 20, 32, 38, 39, 41, 42, 
  44, 58, 59, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 17, 19, 20, 23, 32, 36, 37, 41, 
  42, 43, 45, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 17, 19, 20, 32, 36, 37, 41, 42, 
  43, 58, 60, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 18, 19, 20, 23, 32, 36, 37, 40, 
  42, 44, 45, 59, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 18, 19, 20, 32, 36, 37, 40, 42, 
  44, 58, 59, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 18, 20, 23, 31, 36, 38, 39, 40, 
  42, 44, 45, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 18, 20, 31, 36, 38, 39, 40, 42, 
  43, 58, 59, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 16, 17, 20, 23, 31, 38, 39, 41, 
  42, 43, 58, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 16, 17, 20, 23, 31, 38, 39, 41, 
  42, 44, 58, 59, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 16, 17, 20, 23, 32, 37, 39, 40, 
  42, 43, 45, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 16, 17, 20, 31, 38, 39, 41, 42, 
  44, 45, 59, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 16, 17, 20, 32, 37, 39, 40, 42, 
  43, 58, 60, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 16, 18, 20, 23, 31, 38, 39, 40, 
  42, 43, 58, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 16, 18, 20, 23, 31, 38, 39, 40, 
  42, 44, 58, 59, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 16, 18, 20, 23, 32, 37, 39, 41, 
  42, 43, 45, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 16, 18, 20, 31, 38, 39, 40, 42, 
  43, 45, 60, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 16, 18, 20, 32, 37, 39, 41, 42, 
  43, 58, 60, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 17, 19, 20, 23, 32, 36, 38, 41, 
  42, 43, 45, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 17, 19, 20, 32, 36, 38, 41, 42, 
  43, 58, 60, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 17, 20, 23, 31, 36, 37, 39, 41, 
  42, 44, 45, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 17, 20, 31, 36, 37, 39, 41, 42, 
  43, 58, 59, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 18, 19, 20, 23, 32, 36, 38, 40, 
  42, 44, 45, 59, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 15, 18, 19, 20, 32, 36, 38, 40, 42, 
  44, 58, 59, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 16, 19, 20, 23, 24, 28, 32, 42, 43, 
  48, 50, 58, 59, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 16, 19, 20, 23, 24, 28, 32, 42, 44, 
  48, 50, 58, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 16, 19, 20, 24, 25, 27, 28, 32, 42, 
  43, 45, 46, 49, 59, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 16, 19, 20, 24, 25, 27, 28, 32, 42, 
  44, 45, 46, 49, 60, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 16, 19, 20, 24, 27, 32, 42, 43, 45, 
  48, 51, 59, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 16, 19, 20, 24, 27, 32, 42, 44, 45, 
  48, 51, 60, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 17, 22, 23, 25, 26, 28, 29, 30, 34, 
  37, 42, 46, 58, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 17, 22, 24, 25, 28, 34, 37, 42, 45, 
  48, 50, 51, 52, 58, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 17, 22, 24, 28, 34, 37, 42, 43, 45, 
  46, 50, 51, 52, 59, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 21, 22, 23, 25, 28, 30, 37, 41, 45, 
  46, 48, 50, 58, 60, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 15, 19, 22, 30, 37, 39, 40, 42, 43, 
  45, 48, 51, 54, 59, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 16, 17, 18, 22, 25, 30, 35, 36, 40, 
  42, 44, 51, 55, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 18, 21, 22, 25, 27, 30, 33, 34, 44, 
  45, 46, 48, 51, 59, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 22, 23, 27, 28, 35, 40, 42, 43, 44, 
  46, 47, 51, 52, 55, 59, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 14, 22, 25, 29, 30, 35, 40, 42, 44, 47, 
  48, 49, 51, 55, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 16, 19, 20, 24, 25, 32, 35, 42, 43, 45, 
  46, 49, 50, 51, 53, 59, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 16, 19, 20, 24, 25, 32, 35, 42, 44, 45, 
  46, 49, 50, 51, 53, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 16, 20, 21, 23, 28, 32, 35, 43, 46, 48, 
  50, 51, 55, 57, 60, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 22, 23, 26, 27, 30, 34, 35, 37, 40, 42, 
  43, 45, 46, 48, 49, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 22, 26, 27, 28, 30, 34, 35, 37, 40, 42, 
  43, 44, 46, 48, 51, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15, 19, 20, 22, 25, 26, 27, 37, 40, 
  45, 46, 49, 55, 57, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15, 19, 20, 22, 25, 26, 28, 29, 37, 
  40, 44, 49, 55, 57, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 16, 17, 18, 20, 22, 26, 28, 29, 36, 
  40, 44, 48, 55, 61, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 16, 18, 19, 20, 23, 30, 32, 37, 41, 
  42, 43, 58, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 16, 18, 19, 20, 30, 32, 37, 41, 42, 
  44, 45, 59, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 16, 19, 20, 22, 25, 34, 36, 40, 43, 
  45, 47, 48, 49, 50, 57, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 16, 19, 20, 22, 28, 34, 36, 40, 43, 
  45, 46, 47, 50, 51, 57, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 16, 19, 22, 25, 39, 40, 42, 43, 45, 
  47, 48, 49, 50, 55, 56, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 16, 19, 22, 26, 28, 36, 40, 42, 44, 
  48, 50, 51, 55, 57, 58, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 16, 19, 22, 28, 39, 40, 42, 43, 45, 
  46, 47, 50, 51, 55, 56, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 17, 19, 20, 23, 30, 32, 36, 38, 40, 
  42, 44, 45, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 18, 19, 20, 23, 30, 32, 36, 38, 41, 
  42, 43, 45, 59, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 19, 24, 25, 26, 27, 28, 29, 30, 32, 
  33, 36, 38, 39, 54, 57, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 19, 24, 25, 26, 27, 28, 29, 30, 32, 
  34, 36, 38, 39, 55, 57, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 19, 24, 27, 30, 32, 33, 36, 38, 39, 
  47, 50, 54, 57, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 19, 24, 27, 30, 32, 34, 36, 38, 39, 
  47, 50, 55, 57, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 19, 25, 27, 30, 32, 33, 36, 38, 39, 
  48, 50, 54, 57, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 19, 25, 27, 30, 32, 34, 36, 38, 39, 
  48, 50, 55, 57, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 19, 26, 29, 30, 32, 33, 36, 38, 39, 
  47, 48, 50, 51, 54, 57, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 19, 26, 29, 30, 32, 34, 36, 38, 39, 
  47, 48, 50, 51, 55, 57, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 15, 16, 17, 19, 20, 23, 30, 32, 38, 40, 
  42, 43, 58, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 15, 16, 17, 19, 20, 30, 32, 38, 40, 42, 
  44, 45, 59, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 15, 17, 19, 20, 23, 30, 32, 36, 37, 40, 
  42, 44, 45, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 15, 17, 19, 20, 30, 32, 36, 37, 40, 42, 
  43, 58, 59, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 15, 18, 19, 20, 23, 30, 32, 36, 37, 41, 
  42, 43, 45, 59, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 15, 18, 19, 20, 30, 32, 36, 37, 41, 42, 
  44, 58, 60, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 15, 19, 20, 22, 25, 26, 27, 28, 36, 40, 
  45, 46, 51, 55, 56, 57, 59 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 15, 19, 24, 25, 26, 27, 28, 29, 30, 32, 
  33, 36, 37, 39, 54, 57, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 15, 19, 24, 25, 26, 27, 28, 29, 30, 32, 
  34, 36, 37, 39, 55, 57, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 15, 19, 24, 27, 30, 32, 33, 36, 37, 39, 
  47, 50, 54, 57, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 15, 19, 24, 27, 30, 32, 34, 36, 37, 39, 
  47, 50, 55, 57, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 15, 19, 25, 27, 30, 32, 33, 36, 37, 39, 
  48, 50, 54, 57, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 15, 19, 25, 27, 30, 32, 34, 36, 37, 39, 
  48, 50, 55, 57, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 15, 19, 26, 29, 30, 32, 33, 36, 37, 39, 
  47, 48, 50, 51, 54, 57, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 15, 19, 26, 29, 30, 32, 34, 36, 37, 39, 
  47, 48, 50, 51, 55, 57, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 16, 17, 18, 20, 21, 30, 33, 36, 38, 41, 
  43, 44, 45, 47, 50, 52, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 16, 17, 18, 22, 24, 25, 28, 34, 37, 40, 
  42, 48, 50, 51, 56, 58, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 16, 17, 19, 20, 22, 24, 25, 28, 29, 34, 
  37, 39, 44, 48, 56, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 16, 17, 19, 20, 22, 26, 28, 34, 36, 37, 
  44, 48, 50, 51, 57, 58, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 16, 17, 19, 22, 24, 25, 28, 29, 36, 37, 
  42, 44, 48, 55, 57, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 16, 18, 22, 24, 25, 34, 37, 39, 42, 48, 
  49, 50, 56, 57, 58, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 16, 18, 22, 24, 28, 34, 37, 39, 42, 46, 
  50, 51, 56, 57, 58, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 19, 20, 22, 24, 25, 29, 36, 38, 39, 40, 
  45, 48, 51, 55, 56, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 15, 17, 18, 21, 22, 23, 26, 29, 30, 32, 
  33, 43, 54, 56, 57, 58, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 15, 17, 18, 21, 22, 23, 26, 29, 30, 32, 
  34, 43, 55, 56, 57, 58, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 15, 17, 19, 20, 22, 24, 29, 37, 46, 49, 
  51, 53, 54, 57, 60, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 15, 17, 19, 22, 23, 26, 28, 29, 33, 37, 
  42, 46, 48, 53, 57, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 15, 17, 22, 23, 25, 28, 29, 37, 40, 41, 
  42, 43, 47, 48, 53, 54, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 15, 18, 22, 23, 26, 28, 29, 34, 35, 37, 
  39, 42, 48, 49, 57, 59, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 15, 19, 22, 25, 27, 28, 35, 37, 40, 42, 
  44, 47, 48, 51, 55, 57, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 16, 17, 19, 20, 22, 23, 26, 27, 28, 36, 
  43, 48, 51, 54, 57, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 16, 17, 22, 26, 29, 36, 40, 41, 42, 43, 
  45, 48, 51, 54, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 16, 18, 22, 25, 29, 35, 36, 39, 42, 45, 
  47, 48, 49, 51, 55, 57, 59 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 16, 19, 22, 27, 28, 33, 36, 39, 40, 42, 
  44, 46, 47, 51, 61, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 18, 19, 23, 25, 26, 29, 32, 37, 38, 39, 
  44, 45, 49, 50, 52, 59, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 18, 22, 25, 26, 29, 33, 37, 38, 39, 42, 
  44, 46, 49, 51, 57, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 18, 23, 25, 26, 27, 28, 32, 37, 38, 40, 
  41, 44, 45, 50, 52, 59, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 22, 25, 26, 27, 31, 32, 35, 40, 42, 43, 
  44, 45, 46, 49, 55, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 16, 17, 18, 22, 24, 25, 27, 28, 36, 37, 40, 
  42, 43, 45, 48, 51, 54, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 16, 18, 24, 28, 32, 37, 40, 41, 43, 46, 49, 
  52, 56, 58, 60, 61, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 16, 20, 21, 25, 27, 28, 30, 31, 43, 44, 45, 
  46, 51, 53, 54, 57, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 16, 23, 24, 27, 28, 32, 37, 39, 40, 43, 45, 
  46, 50, 52, 56, 57, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 19, 20, 22, 23, 24, 25, 27, 29, 32, 44, 45, 
  48, 52, 53, 55, 56, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 21, 22, 23, 24, 25, 26, 29, 30, 32, 33, 43, 
  50, 51, 54, 56, 57, 58, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 21, 22, 23, 24, 25, 26, 29, 30, 32, 34, 43, 
  50, 51, 55, 56, 57, 58, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 21, 22, 23, 26, 29, 30, 32, 33, 37, 38, 40, 
  41, 43, 54, 56, 57, 58, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 21, 22, 23, 26, 29, 30, 32, 34, 37, 38, 40, 
  41, 43, 55, 56, 57, 58, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 21, 22, 24, 25, 26, 29, 30, 32, 33, 44, 45, 
  50, 51, 54, 56, 57, 59, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 21, 22, 24, 25, 26, 29, 30, 32, 34, 44, 45, 
  50, 51, 55, 56, 57, 59, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 22, 24, 29, 31, 32, 34, 35, 37, 40, 42, 43, 
  45, 46, 49, 51, 59, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 16, 17, 20, 23, 32, 37, 39, 41, 
  42, 43, 58, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 16, 17, 20, 23, 32, 37, 39, 41, 
  42, 44, 58, 59, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 16, 17, 20, 32, 37, 39, 41, 42, 
  44, 45, 59, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 16, 18, 20, 23, 32, 37, 39, 40, 
  42, 43, 58, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 16, 18, 20, 23, 32, 37, 39, 40, 
  42, 44, 58, 59, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 16, 18, 20, 32, 37, 39, 40, 42, 
  43, 45, 60, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 18, 20, 23, 32, 36, 38, 39, 40, 
  42, 43, 45, 59, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 18, 20, 32, 36, 38, 39, 40, 42, 
  44, 58, 60, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 15, 17, 20, 23, 32, 36, 37, 39, 41, 
  42, 43, 45, 59, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 15, 17, 20, 32, 36, 37, 39, 41, 42, 
  44, 58, 60, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 16, 18, 20, 21, 23, 27, 34, 36, 38, 40, 
  41, 43, 44, 47, 52, 53, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 14, 16, 18, 19, 20, 23, 30, 31, 37, 41, 
  42, 44, 58, 59, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 14, 16, 18, 19, 20, 30, 31, 37, 41, 42, 
  43, 45, 60, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 14, 17, 19, 20, 23, 30, 31, 36, 38, 40, 
  42, 44, 45, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 14, 17, 19, 20, 30, 31, 36, 38, 40, 42, 
  43, 58, 59, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 14, 18, 19, 20, 23, 30, 31, 36, 38, 41, 
  42, 43, 45, 59, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 14, 18, 19, 20, 30, 31, 36, 38, 41, 42, 
  44, 58, 60, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 15, 16, 17, 19, 20, 23, 30, 31, 38, 40, 
  42, 44, 58, 59, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 15, 16, 17, 19, 20, 30, 31, 38, 40, 42, 
  43, 45, 60, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 15, 16, 19, 21, 23, 27, 28, 33, 36, 39, 
  41, 42, 44, 46, 48, 50, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 15, 17, 19, 20, 23, 30, 31, 36, 37, 40, 
  42, 44, 45, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 15, 18, 19, 20, 23, 30, 31, 36, 37, 41, 
  42, 43, 45, 59, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 16, 17, 21, 25, 27, 28, 36, 38, 39, 42, 
  43, 46, 50, 54, 57, 58, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 16, 17, 24, 25, 29, 34, 36, 37, 39, 43, 
  45, 46, 47, 48, 54, 57, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 16, 18, 19, 20, 21, 26, 27, 36, 38, 39, 
  43, 46, 47, 50, 51, 54, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 16, 18, 19, 21, 24, 26, 27, 33, 38, 42, 
  50, 51, 56, 57, 58, 59, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 20, 23, 25, 28, 31, 32, 35, 38, 40, 42, 
  43, 45, 47, 49, 51, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 14, 15, 17, 18, 21, 22, 23, 26, 29, 30, 31, 
  33, 44, 54, 56, 57, 58, 59 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 14, 15, 17, 18, 21, 22, 23, 26, 29, 30, 31, 
  34, 44, 55, 56, 57, 58, 59 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 14, 15, 17, 18, 21, 23, 26, 27, 28, 34, 38, 
  41, 42, 46, 47, 50, 53, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 14, 16, 17, 18, 23, 27, 29, 34, 35, 41, 46, 
  49, 50, 53, 54, 56, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 14, 16, 17, 23, 27, 28, 29, 34, 35, 39, 46, 
  50, 51, 53, 54, 56, 57, 59 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 21, 22, 23, 24, 25, 26, 29, 30, 31, 33, 44, 
  50, 51, 54, 56, 57, 58, 59 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 21, 22, 23, 24, 25, 26, 29, 30, 31, 34, 44, 
  50, 51, 55, 56, 57, 58, 59 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 21, 22, 23, 26, 29, 30, 31, 33, 37, 38, 40, 
  41, 44, 54, 56, 57, 58, 59 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 21, 22, 23, 26, 29, 30, 31, 34, 37, 38, 40, 
  41, 44, 55, 56, 57, 58, 59 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 21, 22, 24, 25, 26, 29, 30, 31, 33, 43, 45, 
  50, 51, 54, 56, 57, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 21, 22, 24, 25, 26, 29, 30, 31, 34, 43, 45, 
  50, 51, 55, 56, 57, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 15, 17, 24, 26, 27, 30, 35, 36, 41, 
  48, 49, 50, 52, 54, 55, 57 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 15, 17, 24, 26, 28, 30, 35, 36, 41, 
  48, 49, 51, 52, 54, 55, 57 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 15, 17, 24, 28, 29, 30, 35, 36, 41, 
  46, 47, 50, 52, 54, 55, 57 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 15, 17, 25, 28, 29, 30, 35, 36, 41, 
  46, 48, 50, 52, 54, 55, 57 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 15, 18, 24, 27, 29, 30, 35, 36, 40, 
  46, 47, 51, 52, 54, 55, 57 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 15, 18, 25, 26, 27, 30, 35, 36, 40, 
  47, 49, 50, 52, 54, 55, 57 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 15, 18, 25, 26, 28, 30, 35, 36, 40, 
  47, 49, 51, 52, 54, 55, 57 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 15, 18, 25, 27, 29, 30, 35, 36, 40, 
  46, 48, 51, 52, 54, 55, 57 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 18, 24, 25, 26, 27, 28, 29, 30, 33, 
  36, 38, 39, 40, 52, 54, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 18, 24, 25, 26, 27, 28, 29, 30, 34, 
  36, 38, 39, 40, 52, 55, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 18, 24, 27, 30, 33, 36, 38, 39, 40, 
  47, 50, 52, 54, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 18, 24, 27, 30, 34, 36, 38, 39, 40, 
  47, 50, 52, 55, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 15, 17, 24, 25, 26, 27, 28, 29, 30, 33, 
  36, 37, 39, 41, 52, 54, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 15, 17, 24, 25, 26, 27, 28, 29, 30, 34, 
  36, 37, 39, 41, 52, 55, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 15, 17, 24, 27, 30, 33, 36, 37, 39, 41, 
  47, 50, 52, 54, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 15, 17, 24, 27, 30, 34, 36, 37, 39, 41, 
  47, 50, 52, 55, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 14, 15, 16, 17, 20, 23, 24, 28, 40, 42, 45, 
  46, 48, 49, 50, 54, 55, 57 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 14, 15, 16, 17, 20, 23, 25, 27, 40, 42, 45, 
  46, 47, 49, 51, 54, 55, 57 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 14, 15, 16, 17, 20, 24, 28, 40, 42, 46, 48, 
  49, 50, 54, 55, 57, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 14, 15, 16, 17, 20, 25, 27, 40, 42, 46, 47, 
  49, 51, 54, 55, 57, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 14, 15, 16, 18, 20, 23, 24, 28, 41, 42, 45, 
  46, 48, 49, 50, 54, 55, 57 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 14, 15, 16, 18, 20, 23, 25, 27, 41, 42, 45, 
  46, 47, 49, 51, 54, 55, 57 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 14, 15, 16, 18, 20, 24, 28, 41, 42, 46, 48, 
  49, 50, 54, 55, 57, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 14, 15, 16, 18, 20, 25, 27, 41, 42, 46, 47, 
  49, 51, 54, 55, 57, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 15, 17, 19, 20, 25, 26, 27, 30, 36, 40, 
  42, 48, 51, 53, 59, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 15, 17, 19, 20, 25, 26, 27, 30, 40, 42, 
  43, 44, 48, 49, 51, 53, 56 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 15, 18, 19, 20, 24, 26, 27, 30, 36, 41, 
  42, 47, 51, 53, 59, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 15, 18, 19, 20, 24, 26, 27, 30, 41, 42, 
  43, 44, 47, 49, 51, 53, 56 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 16, 17, 20, 24, 28, 29, 37, 39, 41, 42, 
  43, 44, 46, 48, 51, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 16, 17, 20, 25, 28, 29, 37, 39, 41, 42, 
  43, 44, 46, 47, 51, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 16, 18, 19, 20, 24, 25, 27, 28, 30, 37, 
  41, 42, 43, 46, 49, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 16, 18, 19, 20, 24, 27, 30, 37, 41, 42, 
  43, 48, 51, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 16, 18, 19, 20, 24, 28, 37, 41, 42, 43, 
  44, 46, 48, 49, 50, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 16, 18, 19, 20, 25, 27, 37, 41, 42, 43, 
  44, 46, 47, 49, 51, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 16, 18, 20, 24, 28, 29, 37, 39, 40, 42, 
  43, 44, 46, 48, 51, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 16, 18, 20, 25, 28, 29, 37, 39, 40, 42, 
  43, 44, 46, 47, 51, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 17, 19, 20, 25, 26, 27, 30, 38, 40, 42, 
  43, 44, 48, 51, 53, 56, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 17, 19, 20, 25, 26, 27, 36, 38, 40, 42, 
  43, 44, 48, 49, 51, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 17, 19, 20, 25, 26, 28, 36, 38, 40, 42, 
  43, 44, 48, 49, 50, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 18, 19, 20, 24, 26, 27, 30, 38, 41, 42, 
  43, 44, 47, 51, 53, 56, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 18, 19, 20, 24, 26, 27, 36, 38, 41, 42, 
  43, 44, 47, 49, 51, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 18, 19, 20, 24, 26, 28, 36, 38, 41, 42, 
  43, 44, 47, 49, 50, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 18, 20, 24, 26, 28, 29, 36, 38, 39, 40, 
  42, 43, 44, 47, 51, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 18, 20, 25, 26, 27, 29, 36, 38, 39, 40, 
  42, 43, 44, 48, 50, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 18, 21, 22, 23, 24, 27, 28, 29, 35, 36, 
  38, 39, 40, 47, 52, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 18, 21, 22, 23, 25, 27, 28, 29, 35, 36, 
  38, 39, 40, 48, 52, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 18, 21, 22, 24, 25, 26, 27, 35, 36, 38, 
  39, 40, 45, 50, 52, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 18, 21, 22, 24, 25, 26, 28, 35, 36, 38, 
  39, 40, 45, 51, 52, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 15, 16, 17, 19, 20, 24, 25, 27, 28, 30, 38, 
  40, 42, 43, 46, 49, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 15, 16, 17, 19, 20, 24, 27, 30, 38, 40, 42, 
  43, 48, 51, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 15, 16, 17, 19, 20, 24, 28, 38, 40, 42, 43, 
  44, 46, 48, 49, 50, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 15, 16, 17, 19, 20, 25, 27, 38, 40, 42, 43, 
  44, 46, 47, 49, 51, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 15, 16, 17, 20, 24, 27, 29, 38, 39, 41, 42, 
  43, 44, 46, 48, 50, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 15, 16, 17, 20, 25, 27, 29, 38, 39, 41, 42, 
  43, 44, 46, 47, 50, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 15, 16, 18, 20, 24, 27, 29, 38, 39, 40, 42, 
  43, 44, 46, 48, 50, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 15, 16, 18, 20, 25, 27, 29, 38, 39, 40, 42, 
  43, 44, 46, 47, 50, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 15, 17, 19, 20, 25, 26, 27, 36, 37, 40, 42, 
  43, 44, 48, 49, 51, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 15, 17, 19, 20, 25, 26, 28, 36, 37, 40, 42, 
  43, 44, 48, 49, 50, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 15, 17, 19, 20, 25, 26, 30, 36, 37, 40, 42, 
  43, 44, 48, 50, 51, 53, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 15, 17, 19, 20, 25, 26, 30, 37, 40, 42, 48, 
  49, 50, 51, 53, 56, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 15, 17, 20, 24, 26, 28, 29, 36, 37, 39, 41, 
  42, 43, 44, 47, 51, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 15, 17, 20, 25, 26, 27, 29, 36, 37, 39, 41, 
  42, 43, 44, 48, 50, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 15, 17, 21, 22, 23, 24, 27, 28, 29, 35, 36, 
  37, 39, 41, 47, 52, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 15, 17, 21, 22, 23, 25, 27, 28, 29, 35, 36, 
  37, 39, 41, 48, 52, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 15, 17, 21, 22, 24, 25, 26, 27, 35, 36, 37, 
  39, 41, 45, 50, 52, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 15, 17, 21, 22, 24, 25, 26, 28, 35, 36, 37, 
  39, 41, 45, 51, 52, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 15, 18, 19, 20, 24, 26, 27, 36, 37, 41, 42, 
  43, 44, 47, 49, 51, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 15, 18, 19, 20, 24, 26, 28, 36, 37, 41, 42, 
  43, 44, 47, 49, 50, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 15, 18, 19, 20, 24, 26, 30, 36, 37, 41, 42, 
  43, 44, 47, 50, 51, 53, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 15, 18, 19, 20, 24, 26, 30, 37, 41, 42, 47, 
  49, 50, 51, 53, 56, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 15, 17, 19, 20, 23, 25, 26, 27, 28, 30, 33, 
  36, 40, 42, 48, 49, 55, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 15, 17, 19, 20, 23, 25, 26, 27, 30, 33, 40, 
  42, 48, 49, 51, 55, 56, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 15, 17, 19, 20, 25, 26, 27, 28, 30, 35, 36, 
  40, 42, 48, 49, 59, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 15, 17, 19, 20, 25, 26, 27, 30, 34, 36, 40, 
  42, 45, 48, 51, 54, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 15, 17, 19, 20, 25, 26, 28, 30, 33, 36, 40, 
  42, 45, 48, 50, 55, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 15, 17, 19, 20, 25, 26, 30, 33, 36, 40, 42, 
  45, 48, 49, 50, 51, 55, 58 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 15, 17, 20, 23, 24, 26, 28, 29, 30, 36, 41, 
  42, 47, 51, 54, 55, 57, 58 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 15, 17, 20, 23, 25, 26, 27, 29, 30, 36, 41, 
  42, 48, 50, 54, 55, 57, 58 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 15, 18, 19, 20, 23, 24, 26, 27, 28, 30, 33, 
  36, 41, 42, 47, 49, 55, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 15, 18, 19, 20, 23, 24, 26, 27, 30, 33, 41, 
  42, 47, 49, 51, 55, 56, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 15, 18, 19, 20, 24, 26, 27, 28, 30, 35, 36, 
  41, 42, 47, 49, 59, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 15, 18, 19, 20, 24, 26, 27, 30, 34, 36, 41, 
  42, 45, 47, 51, 54, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 15, 18, 19, 20, 24, 26, 28, 30, 33, 36, 41, 
  42, 45, 47, 50, 55, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 15, 18, 19, 20, 24, 26, 30, 33, 36, 41, 42, 
  45, 47, 49, 50, 51, 55, 58 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 15, 18, 20, 24, 26, 28, 29, 30, 36, 40, 42, 
  45, 47, 51, 54, 55, 57, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 15, 18, 20, 25, 26, 27, 29, 30, 36, 40, 42, 
  45, 48, 50, 54, 55, 57, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 16, 17, 20, 24, 28, 29, 35, 37, 39, 41, 42, 
  46, 48, 51, 52, 53, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 16, 18, 19, 20, 24, 28, 35, 37, 41, 42, 46, 
  48, 49, 50, 52, 53, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 16, 18, 19, 20, 25, 27, 35, 37, 41, 42, 46, 
  47, 49, 51, 52, 53, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 16, 18, 20, 25, 28, 29, 35, 37, 39, 40, 42, 
  46, 47, 51, 52, 53, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 17, 19, 20, 23, 25, 26, 27, 28, 30, 33, 36, 
  38, 40, 42, 48, 55, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 17, 19, 20, 25, 26, 27, 35, 36, 38, 40, 42, 
  48, 49, 51, 52, 53, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 18, 19, 20, 23, 24, 26, 27, 28, 30, 33, 36, 
  38, 41, 42, 47, 55, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 18, 19, 20, 24, 26, 27, 35, 36, 38, 41, 42, 
  47, 49, 51, 52, 53, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 18, 20, 24, 26, 28, 29, 35, 36, 38, 39, 40, 
  42, 47, 51, 52, 53, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 18, 20, 25, 26, 27, 29, 35, 36, 38, 39, 40, 
  42, 48, 50, 52, 53, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 18, 21, 22, 23, 26, 29, 31, 32, 33, 36, 38, 
  39, 40, 43, 44, 52, 54, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 18, 21, 22, 23, 26, 29, 31, 32, 34, 36, 38, 
  39, 40, 43, 44, 52, 55, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 15, 16, 17, 19, 20, 24, 28, 35, 38, 40, 42, 46, 
  48, 49, 50, 52, 53, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 15, 16, 17, 19, 20, 25, 27, 35, 38, 40, 42, 46, 
  47, 49, 51, 52, 53, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 15, 16, 17, 20, 24, 27, 29, 35, 38, 39, 41, 42, 
  46, 48, 50, 52, 53, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 15, 16, 18, 20, 25, 27, 29, 35, 38, 39, 40, 42, 
  46, 47, 50, 52, 53, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 15, 17, 19, 20, 25, 26, 28, 35, 36, 37, 40, 42, 
  48, 49, 50, 52, 53, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 15, 17, 20, 24, 26, 28, 29, 35, 36, 37, 39, 41, 
  42, 47, 51, 52, 53, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 15, 17, 20, 25, 26, 27, 29, 35, 36, 37, 39, 41, 
  42, 48, 50, 52, 53, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 15, 17, 21, 22, 23, 26, 29, 31, 32, 33, 36, 37, 
  39, 41, 43, 44, 52, 54, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 15, 17, 21, 22, 23, 26, 29, 31, 32, 34, 36, 37, 
  39, 41, 43, 44, 52, 55, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 15, 18, 19, 20, 24, 26, 28, 35, 36, 37, 41, 42, 
  47, 49, 50, 52, 53, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 14, 15, 17, 20, 23, 28, 31, 36, 41, 42, 44, 
  45, 46, 50, 54, 55, 57, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 14, 15, 17, 20, 28, 31, 36, 41, 42, 43, 46, 
  50, 54, 55, 57, 58, 59, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 11, 12, 14, 15, 17, 20, 23, 28, 32, 36, 41, 42, 43, 
  45, 46, 50, 54, 55, 57, 59 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 11, 12, 14, 15, 17, 20, 28, 32, 36, 41, 42, 44, 46, 
  50, 54, 55, 57, 58, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 14, 16, 18, 19, 30, 31, 32, 37, 41, 42, 
  43, 46, 49, 54, 55, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 13, 15, 16, 17, 19, 30, 31, 32, 38, 40, 42, 
  43, 46, 49, 54, 55, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 14, 16, 18, 19, 30, 31, 32, 33, 34, 35, 37, 
  41, 42, 43, 46, 49, 53, 60 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 11, 15, 16, 17, 19, 30, 31, 32, 33, 34, 35, 38, 
  40, 42, 43, 46, 49, 53, 60 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 18, 19, 26, 27, 28, 31, 34, 38, 41, 
  42, 46, 49, 53, 54, 56, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 18, 19, 26, 27, 31, 34, 38, 41, 42, 
  46, 51, 53, 54, 56, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 18, 19, 26, 27, 31, 36, 38, 41, 42, 
  46, 49, 51, 54, 55, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 18, 19, 26, 28, 31, 36, 38, 41, 42, 
  46, 49, 50, 54, 55, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 18, 25, 26, 27, 28, 31, 35, 36, 38, 
  39, 40, 42, 48, 53, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 18, 25, 26, 29, 31, 36, 38, 39, 40, 
  42, 48, 49, 54, 55, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 18, 26, 27, 28, 31, 34, 35, 36, 38, 
  39, 40, 42, 46, 55, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 18, 26, 28, 29, 31, 36, 38, 39, 40, 
  42, 46, 51, 54, 55, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 18, 26, 31, 34, 35, 36, 38, 39, 40, 
  42, 46, 50, 51, 55, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 19, 25, 26, 27, 28, 31, 34, 38, 39, 
  42, 48, 49, 53, 54, 56, 57 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 19, 25, 26, 27, 31, 36, 38, 39, 42, 
  48, 49, 51, 54, 55, 57, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 15, 16, 17, 24, 27, 28, 31, 35, 38, 39, 
  41, 42, 46, 48, 53, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 15, 16, 17, 24, 29, 31, 38, 39, 41, 42, 
  46, 48, 49, 54, 55, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 15, 16, 17, 24, 31, 35, 38, 39, 41, 42, 
  46, 48, 50, 51, 53, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 15, 16, 17, 25, 29, 31, 38, 39, 41, 42, 
  46, 47, 49, 54, 55, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 15, 16, 18, 24, 27, 28, 31, 35, 38, 39, 
  40, 42, 46, 48, 53, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 15, 16, 18, 24, 31, 35, 38, 39, 40, 42, 
  46, 48, 50, 51, 53, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 15, 16, 19, 24, 28, 31, 38, 39, 42, 46, 
  48, 49, 50, 54, 55, 57, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 15, 17, 25, 26, 27, 28, 31, 35, 36, 37, 
  39, 41, 42, 48, 53, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 16, 17, 24, 27, 28, 31, 34, 35, 36, 39, 
  41, 42, 46, 48, 55, 56, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 16, 17, 24, 28, 29, 31, 36, 39, 41, 42, 
  46, 48, 51, 54, 55, 56, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 16, 17, 24, 31, 34, 35, 36, 39, 41, 42, 
  46, 48, 50, 51, 55, 56, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 16, 18, 19, 24, 28, 31, 36, 41, 42, 46, 
  48, 49, 50, 54, 55, 56, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 15, 17, 20, 23, 25, 26, 29, 31, 39, 41, 
  43, 44, 48, 49, 56, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 15, 17, 20, 23, 26, 28, 29, 31, 39, 41, 
  43, 44, 46, 51, 56, 58, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 15, 18, 19, 20, 23, 24, 29, 31, 41, 43, 
  46, 48, 49, 56, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 15, 19, 20, 23, 24, 28, 29, 31, 39, 43, 
  46, 48, 51, 56, 57, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 18, 19, 23, 26, 27, 31, 36, 38, 41, 42, 
  43, 44, 46, 49, 51, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 18, 19, 23, 26, 27, 31, 36, 38, 41, 42, 
  46, 49, 51, 59, 60, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 18, 19, 23, 26, 28, 31, 36, 38, 41, 42, 
  43, 44, 46, 49, 50, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 18, 19, 23, 26, 28, 31, 36, 38, 41, 42, 
  46, 49, 50, 59, 60, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 18, 23, 25, 26, 27, 28, 31, 36, 38, 39, 
  40, 42, 45, 48, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 18, 23, 25, 26, 29, 31, 36, 38, 39, 40, 
  42, 43, 44, 48, 49, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 18, 23, 25, 26, 29, 31, 36, 38, 39, 40, 
  42, 48, 49, 59, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 18, 23, 25, 26, 31, 36, 38, 39, 40, 42, 
  45, 48, 50, 51, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 18, 23, 26, 27, 28, 31, 36, 38, 39, 40, 
  42, 44, 45, 46, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 18, 23, 26, 28, 29, 31, 36, 38, 39, 40, 
  42, 43, 44, 46, 51, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 18, 23, 26, 28, 29, 31, 36, 38, 39, 40, 
  42, 46, 51, 59, 60, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 18, 23, 26, 31, 36, 38, 39, 40, 42, 44, 
  45, 46, 50, 51, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 19, 23, 25, 26, 27, 31, 36, 38, 39, 42, 
  43, 44, 48, 49, 51, 57, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 19, 23, 25, 26, 27, 31, 36, 38, 39, 42, 
  48, 49, 51, 57, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 16, 17, 20, 23, 26, 27, 28, 31, 38, 39, 
  41, 43, 46, 60, 61, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 16, 17, 23, 24, 27, 28, 31, 38, 39, 41, 
  42, 45, 46, 48, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 16, 17, 23, 24, 29, 31, 38, 39, 41, 42, 
  43, 44, 46, 48, 49, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 16, 17, 23, 24, 29, 31, 38, 39, 41, 42, 
  46, 48, 49, 59, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 16, 17, 23, 24, 31, 38, 39, 41, 42, 45, 
  46, 48, 50, 51, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 16, 17, 23, 25, 27, 28, 31, 38, 39, 41, 
  42, 45, 46, 47, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 16, 17, 23, 25, 29, 31, 38, 39, 41, 42, 
  43, 44, 46, 47, 49, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 16, 17, 23, 25, 29, 31, 38, 39, 41, 42, 
  46, 47, 49, 59, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 16, 17, 23, 25, 31, 38, 39, 41, 42, 45, 
  46, 47, 50, 51, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 16, 17, 23, 26, 27, 28, 31, 38, 39, 41, 
  42, 43, 46, 58, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 16, 17, 23, 26, 27, 28, 31, 38, 39, 41, 
  42, 44, 46, 58, 59, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 16, 17, 23, 26, 31, 38, 39, 41, 42, 43, 
  46, 50, 51, 58, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 16, 17, 23, 26, 31, 38, 39, 41, 42, 44, 
  46, 50, 51, 58, 59, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 16, 19, 20, 23, 24, 27, 28, 31, 38, 39, 
  43, 46, 48, 57, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 16, 19, 23, 24, 28, 31, 38, 39, 42, 43, 
  44, 46, 48, 49, 50, 57, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 16, 17, 20, 23, 25, 26, 27, 28, 31, 36, 39, 
  41, 43, 48, 56, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 16, 17, 23, 24, 27, 28, 31, 36, 39, 41, 42, 
  44, 45, 46, 48, 56, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 16, 17, 23, 24, 28, 29, 31, 36, 39, 41, 42, 
  43, 44, 46, 48, 51, 56, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 16, 17, 23, 24, 28, 29, 31, 36, 39, 41, 42, 
  46, 48, 51, 56, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 16, 17, 23, 24, 31, 36, 39, 41, 42, 44, 45, 
  46, 48, 50, 51, 56, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 16, 17, 23, 25, 26, 27, 28, 31, 36, 39, 41, 
  42, 43, 48, 56, 58, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 16, 17, 23, 25, 26, 27, 28, 31, 36, 39, 41, 
  42, 44, 48, 56, 58, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 16, 18, 19, 20, 23, 24, 27, 28, 31, 36, 41, 
  43, 46, 48, 56, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 16, 18, 19, 23, 24, 28, 31, 36, 41, 42, 43, 
  44, 46, 48, 49, 50, 56, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 20, 21, 22, 23, 24, 25, 27, 28, 31, 33, 36, 
  39, 44, 45, 55, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 20, 21, 22, 23, 31, 33, 36, 39, 44, 45, 47, 
  48, 50, 51, 55, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 16, 18, 19, 26, 27, 28, 30, 32, 33, 37, 
  41, 42, 46, 53, 55, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 16, 18, 19, 26, 27, 28, 30, 32, 34, 37, 
  41, 42, 46, 53, 54, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 16, 19, 25, 26, 27, 28, 30, 32, 33, 37, 
  39, 42, 48, 53, 55, 57, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 16, 19, 25, 26, 27, 28, 30, 32, 34, 37, 
  39, 42, 48, 53, 54, 57, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 17, 19, 25, 26, 27, 28, 30, 32, 35, 36, 
  38, 40, 42, 48, 53, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 17, 19, 25, 26, 27, 30, 32, 35, 38, 40, 
  42, 48, 51, 53, 56, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 17, 19, 25, 26, 28, 30, 32, 35, 38, 40, 
  42, 48, 50, 53, 56, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 17, 19, 25, 26, 29, 30, 32, 36, 38, 40, 
  42, 48, 49, 54, 55, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 17, 19, 25, 26, 30, 32, 35, 36, 38, 40, 
  42, 48, 50, 51, 53, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 17, 19, 26, 27, 28, 30, 32, 34, 35, 36, 
  38, 40, 42, 46, 55, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 17, 19, 26, 27, 30, 32, 34, 35, 38, 40, 
  42, 46, 51, 55, 56, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 17, 19, 26, 28, 29, 30, 32, 36, 38, 40, 
  42, 46, 51, 54, 55, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 17, 19, 26, 30, 32, 34, 35, 36, 38, 40, 
  42, 46, 50, 51, 55, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 18, 19, 24, 26, 27, 28, 30, 32, 35, 36, 
  38, 41, 42, 47, 53, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 18, 19, 24, 26, 27, 30, 32, 35, 38, 41, 
  42, 47, 51, 53, 56, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 18, 19, 24, 26, 28, 30, 32, 35, 38, 41, 
  42, 47, 50, 53, 56, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 18, 19, 24, 26, 29, 30, 32, 36, 38, 41, 
  42, 47, 49, 54, 55, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 18, 19, 24, 26, 30, 32, 35, 36, 38, 41, 
  42, 47, 50, 51, 53, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 18, 19, 26, 27, 28, 30, 32, 33, 35, 36, 
  38, 41, 42, 46, 54, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 18, 19, 26, 27, 29, 30, 32, 36, 38, 41, 
  42, 46, 50, 54, 55, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 18, 19, 26, 27, 30, 32, 33, 35, 38, 41, 
  42, 46, 51, 54, 56, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 18, 19, 26, 30, 32, 33, 35, 36, 38, 41, 
  42, 46, 50, 51, 54, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 19, 24, 26, 27, 28, 30, 32, 34, 35, 36, 
  38, 39, 42, 47, 55, 57, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 19, 24, 26, 27, 30, 32, 34, 35, 38, 39, 
  42, 47, 51, 55, 56, 57, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 19, 24, 26, 28, 29, 30, 32, 36, 38, 39, 
  42, 47, 51, 54, 55, 57, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 19, 24, 26, 30, 32, 34, 35, 36, 38, 39, 
  42, 47, 50, 51, 55, 57, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 19, 25, 26, 27, 28, 30, 32, 33, 35, 36, 
  38, 39, 42, 48, 54, 57, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 19, 25, 26, 27, 29, 30, 32, 36, 38, 39, 
  42, 48, 50, 54, 55, 57, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 19, 25, 26, 27, 30, 32, 33, 35, 38, 39, 
  42, 48, 51, 54, 56, 57, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 19, 25, 26, 30, 32, 33, 35, 36, 38, 39, 
  42, 48, 50, 51, 54, 57, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 15, 16, 17, 19, 26, 27, 28, 30, 32, 33, 38, 
  40, 42, 46, 53, 55, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 15, 16, 17, 19, 26, 27, 28, 30, 32, 34, 38, 
  40, 42, 46, 53, 54, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 15, 16, 19, 24, 26, 27, 28, 30, 32, 33, 38, 
  39, 42, 47, 53, 55, 57, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 15, 16, 19, 24, 26, 27, 28, 30, 32, 34, 38, 
  39, 42, 47, 53, 54, 57, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 15, 17, 19, 25, 26, 27, 28, 30, 32, 35, 36, 
  37, 40, 42, 48, 53, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 15, 17, 19, 25, 26, 30, 32, 35, 36, 37, 40, 
  42, 48, 50, 51, 53, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 15, 18, 19, 24, 26, 27, 28, 30, 32, 35, 36, 
  37, 41, 42, 47, 53, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 15, 18, 19, 24, 26, 30, 32, 35, 36, 37, 41, 
  42, 47, 50, 51, 53, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 16, 17, 19, 25, 26, 27, 28, 30, 32, 33, 36, 
  40, 42, 48, 53, 55, 56, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 16, 17, 19, 25, 26, 27, 28, 30, 32, 34, 36, 
  40, 42, 48, 53, 54, 56, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 16, 18, 19, 24, 26, 27, 28, 30, 32, 33, 36, 
  41, 42, 47, 53, 55, 56, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 16, 18, 19, 24, 26, 27, 28, 30, 32, 34, 36, 
  41, 42, 47, 53, 54, 56, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 14, 17, 19, 23, 25, 26, 29, 30, 32, 36, 38, 40, 
  42, 43, 44, 48, 49, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 14, 17, 19, 23, 25, 26, 29, 30, 32, 36, 38, 40, 
  42, 48, 49, 59, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 14, 18, 19, 23, 24, 26, 29, 30, 32, 36, 38, 41, 
  42, 43, 44, 47, 49, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 14, 18, 19, 23, 24, 26, 29, 30, 32, 36, 38, 41, 
  42, 47, 49, 59, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 16, 17, 19, 23, 25, 26, 27, 28, 30, 32, 36, 40, 
  42, 43, 48, 56, 58, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 16, 18, 19, 23, 24, 26, 27, 28, 30, 32, 36, 41, 
  42, 43, 47, 56, 58, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 16, 17, 24, 27, 28, 32, 35, 37, 39, 
  41, 42, 46, 48, 53, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 16, 17, 24, 29, 32, 37, 39, 41, 42, 
  46, 48, 49, 54, 55, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 16, 17, 24, 32, 35, 37, 39, 41, 42, 
  46, 48, 50, 51, 53, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 16, 17, 25, 29, 32, 37, 39, 41, 42, 
  46, 47, 49, 54, 55, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 16, 18, 24, 27, 28, 32, 35, 37, 39, 
  40, 42, 46, 48, 53, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 16, 18, 24, 32, 35, 37, 39, 40, 42, 
  46, 48, 50, 51, 53, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 16, 19, 24, 28, 32, 37, 39, 42, 46, 
  48, 49, 50, 54, 55, 57, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 17, 19, 26, 27, 28, 32, 34, 38, 40, 
  42, 46, 49, 53, 54, 56, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 17, 19, 26, 27, 32, 34, 38, 40, 42, 
  46, 51, 53, 54, 56, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 17, 19, 26, 27, 32, 36, 38, 40, 42, 
  46, 49, 51, 54, 55, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 17, 19, 26, 28, 32, 36, 38, 40, 42, 
  46, 49, 50, 54, 55, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 18, 24, 26, 27, 28, 32, 35, 36, 38, 
  39, 40, 42, 47, 53, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 18, 24, 26, 29, 32, 36, 38, 39, 40, 
  42, 47, 49, 54, 55, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 18, 26, 27, 28, 32, 33, 35, 36, 38, 
  39, 40, 42, 46, 54, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 18, 26, 27, 29, 32, 36, 38, 39, 40, 
  42, 46, 50, 54, 55, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 18, 26, 32, 33, 35, 36, 38, 39, 40, 
  42, 46, 50, 51, 54, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 19, 24, 26, 27, 28, 32, 34, 38, 39, 
  42, 47, 49, 53, 54, 56, 57 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 19, 24, 26, 27, 32, 36, 38, 39, 42, 
  47, 49, 51, 54, 55, 57, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 15, 17, 24, 26, 27, 28, 32, 35, 36, 37, 
  39, 41, 42, 47, 53, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 16, 17, 19, 24, 28, 32, 36, 40, 42, 46, 
  48, 49, 50, 54, 55, 56, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 16, 17, 24, 27, 28, 32, 33, 35, 36, 39, 
  41, 42, 46, 48, 54, 56, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 16, 17, 24, 27, 29, 32, 36, 39, 41, 42, 
  46, 48, 50, 54, 55, 56, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 16, 17, 24, 32, 33, 35, 36, 39, 41, 42, 
  46, 48, 50, 51, 54, 56, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 16, 17, 23, 24, 27, 28, 32, 37, 39, 41, 
  42, 45, 46, 48, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 16, 17, 23, 24, 29, 32, 37, 39, 41, 42, 
  43, 44, 46, 48, 49, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 16, 17, 23, 24, 29, 32, 37, 39, 41, 42, 
  46, 48, 49, 59, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 16, 17, 23, 24, 32, 37, 39, 41, 42, 45, 
  46, 48, 50, 51, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 16, 17, 23, 25, 27, 28, 32, 37, 39, 41, 
  42, 45, 46, 47, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 16, 17, 23, 25, 29, 32, 37, 39, 41, 42, 
  43, 44, 46, 47, 49, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 16, 17, 23, 25, 29, 32, 37, 39, 41, 42, 
  46, 47, 49, 59, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 16, 17, 23, 25, 32, 37, 39, 41, 42, 45, 
  46, 47, 50, 51, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 16, 17, 23, 26, 27, 28, 32, 37, 39, 41, 
  42, 43, 46, 58, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 16, 17, 23, 26, 27, 28, 32, 37, 39, 41, 
  42, 44, 46, 58, 59, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 16, 17, 23, 26, 32, 37, 39, 41, 42, 43, 
  46, 50, 51, 58, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 16, 17, 23, 26, 32, 37, 39, 41, 42, 44, 
  46, 50, 51, 58, 59, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 16, 19, 23, 24, 28, 32, 37, 39, 42, 43, 
  44, 46, 48, 49, 50, 57, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 17, 19, 23, 26, 27, 32, 36, 38, 40, 42, 
  43, 44, 46, 49, 51, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 17, 19, 23, 26, 27, 32, 36, 38, 40, 42, 
  46, 49, 51, 59, 60, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 17, 19, 23, 26, 28, 32, 36, 38, 40, 42, 
  43, 44, 46, 49, 50, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 17, 19, 23, 26, 28, 32, 36, 38, 40, 42, 
  46, 49, 50, 59, 60, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 18, 23, 24, 26, 27, 28, 32, 36, 38, 39, 
  40, 42, 45, 47, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 18, 23, 24, 26, 29, 32, 36, 38, 39, 40, 
  42, 43, 44, 47, 49, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 18, 23, 24, 26, 29, 32, 36, 38, 39, 40, 
  42, 47, 49, 59, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 18, 23, 24, 26, 32, 36, 38, 39, 40, 42, 
  45, 47, 50, 51, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 18, 23, 26, 27, 28, 32, 36, 38, 39, 40, 
  42, 43, 45, 46, 59, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 18, 23, 26, 27, 29, 32, 36, 38, 39, 40, 
  42, 43, 44, 46, 50, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 18, 23, 26, 27, 29, 32, 36, 38, 39, 40, 
  42, 46, 50, 59, 60, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 18, 23, 26, 32, 36, 38, 39, 40, 42, 43, 
  45, 46, 50, 51, 59, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 19, 23, 24, 26, 27, 32, 36, 38, 39, 42, 
  43, 44, 47, 49, 51, 57, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 19, 23, 24, 26, 27, 32, 36, 38, 39, 42, 
  47, 49, 51, 57, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 16, 17, 19, 23, 24, 28, 32, 36, 40, 42, 43, 
  44, 46, 48, 49, 50, 56, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 16, 17, 23, 24, 26, 27, 28, 32, 36, 39, 41, 
  42, 43, 47, 56, 58, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 16, 17, 23, 24, 26, 27, 28, 32, 36, 39, 41, 
  42, 44, 47, 56, 58, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 16, 17, 23, 24, 27, 28, 32, 36, 39, 41, 42, 
  43, 45, 46, 48, 56, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 16, 17, 23, 24, 27, 29, 32, 36, 39, 41, 42, 
  43, 44, 46, 48, 50, 56, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 16, 17, 23, 24, 27, 29, 32, 36, 39, 41, 42, 
  46, 48, 50, 56, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 16, 17, 23, 24, 32, 36, 39, 41, 42, 43, 45, 
  46, 48, 50, 51, 56, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 20, 21, 22, 23, 24, 25, 27, 28, 32, 33, 36, 
  39, 43, 45, 55, 59, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 20, 21, 22, 23, 32, 33, 36, 39, 43, 45, 47, 
  48, 50, 51, 55, 59, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 13, 14, 16, 18, 19, 26, 27, 28, 30, 31, 33, 37, 
  41, 42, 46, 53, 55, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 13, 14, 16, 18, 19, 26, 27, 28, 30, 31, 34, 37, 
  41, 42, 46, 53, 54, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 13, 14, 17, 19, 26, 27, 28, 30, 31, 34, 35, 36, 
  38, 40, 42, 46, 55, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 13, 14, 17, 19, 26, 27, 28, 30, 31, 34, 35, 38, 
  40, 42, 46, 49, 55, 56, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 13, 14, 17, 19, 26, 28, 29, 30, 31, 36, 38, 40, 
  42, 46, 51, 54, 55, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 13, 14, 17, 19, 26, 30, 31, 34, 35, 36, 38, 40, 
  42, 46, 50, 51, 55, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 13, 14, 18, 19, 26, 27, 28, 30, 31, 33, 35, 36, 
  38, 41, 42, 46, 54, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 13, 14, 18, 19, 26, 27, 28, 30, 31, 33, 35, 38, 
  41, 42, 46, 49, 54, 56, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 13, 14, 18, 19, 26, 27, 29, 30, 31, 36, 38, 41, 
  42, 46, 50, 54, 55, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 13, 14, 18, 19, 26, 30, 31, 33, 35, 36, 38, 41, 
  42, 46, 50, 51, 54, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 13, 15, 16, 17, 19, 26, 27, 28, 30, 31, 33, 38, 
  40, 42, 46, 53, 55, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 13, 15, 16, 17, 19, 26, 27, 28, 30, 31, 34, 38, 
  40, 42, 46, 53, 54, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 14, 16, 18, 19, 23, 26, 27, 28, 30, 31, 37, 41, 
  42, 44, 46, 58, 59, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 14, 17, 19, 23, 26, 27, 28, 30, 31, 36, 38, 40, 
  42, 44, 45, 46, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 14, 17, 19, 23, 26, 27, 28, 30, 31, 38, 40, 42, 
  44, 45, 46, 49, 56, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 14, 17, 19, 23, 26, 28, 29, 30, 31, 36, 38, 40, 
  42, 43, 44, 46, 51, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 14, 17, 19, 23, 26, 28, 29, 30, 31, 36, 38, 40, 
  42, 46, 51, 59, 60, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 14, 17, 19, 23, 26, 30, 31, 36, 38, 40, 42, 44, 
  45, 46, 50, 51, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 14, 18, 19, 23, 26, 27, 28, 30, 31, 36, 38, 41, 
  42, 43, 45, 46, 59, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 14, 18, 19, 23, 26, 27, 28, 30, 31, 38, 41, 42, 
  43, 45, 46, 49, 56, 59, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 14, 18, 19, 23, 26, 27, 29, 30, 31, 36, 38, 41, 
  42, 43, 44, 46, 50, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 14, 18, 19, 23, 26, 27, 29, 30, 31, 36, 38, 41, 
  42, 46, 50, 59, 60, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 14, 18, 19, 23, 26, 30, 31, 36, 38, 41, 42, 43, 
  45, 46, 50, 51, 59, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 15, 16, 17, 19, 23, 26, 27, 28, 30, 31, 38, 40, 
  42, 44, 46, 58, 59, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 16, 17, 24, 27, 28, 30, 34, 35, 37, 39, 
  41, 42, 46, 48, 52, 55, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 16, 17, 24, 28, 29, 30, 37, 39, 41, 42, 
  46, 48, 51, 52, 54, 55, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 16, 17, 24, 30, 34, 35, 37, 39, 41, 42, 
  46, 48, 50, 51, 52, 55, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 16, 17, 25, 27, 28, 30, 34, 35, 37, 39, 
  41, 42, 46, 47, 52, 55, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 16, 17, 25, 28, 29, 30, 37, 39, 41, 42, 
  46, 47, 51, 52, 54, 55, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 16, 17, 25, 30, 34, 35, 37, 39, 41, 42, 
  46, 47, 50, 51, 52, 55, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 16, 18, 19, 24, 28, 30, 37, 41, 42, 46, 
  48, 49, 50, 52, 54, 55, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 16, 18, 19, 25, 27, 30, 37, 41, 42, 46, 
  47, 49, 51, 52, 54, 55, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 17, 19, 25, 26, 27, 28, 30, 34, 38, 40, 
  42, 48, 49, 52, 53, 54, 56 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 17, 19, 25, 26, 27, 30, 36, 38, 40, 42, 
  48, 49, 51, 52, 54, 55, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 17, 19, 25, 26, 28, 30, 34, 38, 40, 42, 
  48, 50, 52, 53, 54, 56, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 17, 19, 25, 26, 28, 30, 36, 38, 40, 42, 
  48, 49, 50, 52, 54, 55, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 18, 19, 24, 26, 27, 28, 30, 34, 38, 41, 
  42, 47, 49, 52, 53, 54, 56 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 18, 19, 24, 26, 27, 30, 34, 38, 41, 42, 
  47, 51, 52, 53, 54, 56, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 18, 19, 24, 26, 27, 30, 36, 38, 41, 42, 
  47, 49, 51, 52, 54, 55, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 18, 19, 24, 26, 28, 30, 36, 38, 41, 42, 
  47, 49, 50, 52, 54, 55, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 18, 24, 26, 27, 28, 30, 34, 35, 36, 38, 
  39, 40, 42, 47, 52, 55, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 18, 24, 26, 28, 29, 30, 36, 38, 39, 40, 
  42, 47, 51, 52, 54, 55, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 18, 24, 26, 30, 34, 35, 36, 38, 39, 40, 
  42, 47, 50, 51, 52, 55, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 18, 25, 26, 27, 28, 30, 33, 35, 36, 38, 
  39, 40, 42, 48, 52, 54, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 18, 25, 26, 27, 29, 30, 36, 38, 39, 40, 
  42, 48, 50, 52, 54, 55, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 18, 25, 26, 30, 33, 35, 36, 38, 39, 40, 
  42, 48, 50, 51, 52, 54, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 15, 16, 17, 19, 24, 28, 30, 38, 40, 42, 46, 
  48, 49, 50, 52, 54, 55, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 15, 16, 17, 19, 25, 27, 30, 38, 40, 42, 46, 
  47, 49, 51, 52, 54, 55, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 15, 16, 17, 24, 27, 28, 30, 33, 35, 38, 39, 
  41, 42, 46, 48, 52, 54, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 15, 16, 17, 24, 27, 29, 30, 38, 39, 41, 42, 
  46, 48, 50, 52, 54, 55, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 15, 16, 17, 24, 30, 33, 35, 38, 39, 41, 42, 
  46, 48, 50, 51, 52, 54, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 15, 16, 17, 25, 27, 28, 30, 33, 35, 38, 39, 
  41, 42, 46, 47, 52, 54, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 15, 16, 17, 25, 27, 29, 30, 38, 39, 41, 42, 
  46, 47, 50, 52, 54, 55, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 15, 16, 17, 25, 30, 33, 35, 38, 39, 41, 42, 
  46, 47, 50, 51, 52, 54, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 15, 17, 24, 26, 28, 29, 30, 36, 37, 39, 41, 
  42, 47, 51, 52, 54, 55, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 15, 17, 25, 26, 27, 29, 30, 36, 37, 39, 41, 
  42, 48, 50, 52, 54, 55, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 15, 17, 19, 20, 23, 24, 28, 29, 30, 40, 43, 
  46, 48, 51, 52, 56, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 15, 17, 19, 20, 23, 25, 28, 29, 30, 40, 43, 
  44, 46, 47, 51, 52, 56, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 15, 17, 20, 23, 24, 26, 28, 29, 30, 39, 41, 
  43, 44, 47, 51, 52, 56, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 15, 17, 20, 23, 24, 26, 28, 29, 30, 39, 41, 
  43, 47, 51, 52, 56, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 15, 17, 20, 23, 25, 26, 27, 29, 30, 39, 41, 
  43, 44, 48, 50, 52, 56, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 15, 17, 20, 23, 25, 26, 27, 29, 30, 39, 41, 
  43, 48, 50, 52, 56, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 15, 18, 19, 20, 23, 24, 27, 29, 30, 41, 43, 
  46, 48, 50, 52, 56, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 15, 18, 19, 20, 23, 25, 27, 29, 30, 41, 43, 
  44, 46, 47, 50, 52, 56, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 16, 17, 23, 24, 27, 28, 30, 37, 39, 41, 42, 
  44, 45, 46, 48, 52, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 16, 17, 23, 24, 28, 29, 30, 37, 39, 41, 42, 
  43, 44, 46, 48, 51, 52, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 16, 17, 23, 24, 28, 29, 30, 37, 39, 41, 42, 
  46, 48, 51, 52, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 16, 17, 23, 24, 30, 37, 39, 41, 42, 44, 45, 
  46, 48, 50, 51, 52, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 16, 17, 23, 25, 26, 27, 28, 30, 37, 39, 41, 
  42, 43, 48, 52, 58, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 16, 17, 23, 25, 26, 27, 28, 30, 37, 39, 41, 
  42, 44, 48, 52, 58, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 16, 17, 23, 25, 26, 30, 37, 39, 41, 42, 43, 
  48, 50, 51, 52, 58, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 16, 17, 23, 25, 26, 30, 37, 39, 41, 42, 44, 
  48, 50, 51, 52, 58, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 16, 17, 23, 25, 27, 28, 30, 37, 39, 41, 42, 
  44, 45, 46, 47, 52, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 16, 17, 23, 25, 28, 29, 30, 37, 39, 41, 42, 
  43, 44, 46, 47, 51, 52, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 16, 17, 23, 25, 28, 29, 30, 37, 39, 41, 42, 
  46, 47, 51, 52, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 16, 17, 23, 25, 30, 37, 39, 41, 42, 44, 45, 
  46, 47, 50, 51, 52, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 16, 17, 24, 28, 29, 30, 37, 39, 41, 42, 43, 
  44, 45, 46, 48, 51, 52, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 16, 17, 24, 28, 29, 30, 37, 39, 41, 42, 45, 
  46, 48, 51, 52, 58, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 16, 17, 25, 28, 29, 30, 37, 39, 41, 42, 43, 
  44, 45, 46, 47, 51, 52, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 16, 17, 25, 28, 29, 30, 37, 39, 41, 42, 45, 
  46, 47, 51, 52, 58, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 16, 18, 19, 20, 23, 24, 27, 28, 30, 37, 41, 
  43, 46, 48, 52, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 16, 18, 19, 20, 23, 25, 30, 37, 41, 43, 44, 
  46, 47, 50, 51, 52, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 16, 18, 19, 23, 24, 28, 30, 37, 41, 42, 43, 
  44, 46, 48, 49, 50, 52, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 16, 18, 19, 23, 25, 27, 30, 37, 41, 42, 43, 
  44, 46, 47, 49, 51, 52, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 17, 19, 23, 25, 26, 27, 30, 36, 38, 40, 42, 
  43, 44, 48, 49, 51, 52, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 17, 19, 23, 25, 26, 27, 30, 36, 38, 40, 42, 
  48, 49, 51, 52, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 17, 19, 23, 25, 26, 28, 30, 36, 38, 40, 42, 
  43, 44, 48, 49, 50, 52, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 17, 19, 23, 25, 26, 28, 30, 36, 38, 40, 42, 
  48, 49, 50, 52, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 17, 19, 25, 26, 27, 30, 36, 38, 40, 42, 43, 
  44, 45, 48, 49, 51, 52, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 17, 19, 25, 26, 27, 30, 36, 38, 40, 42, 45, 
  48, 49, 51, 52, 58, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 17, 19, 25, 26, 28, 30, 36, 38, 40, 42, 43, 
  44, 45, 48, 49, 50, 52, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 17, 19, 25, 26, 28, 30, 36, 38, 40, 42, 45, 
  48, 49, 50, 52, 58, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 18, 19, 23, 24, 26, 27, 30, 36, 38, 41, 42, 
  43, 44, 47, 49, 51, 52, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 18, 19, 23, 24, 26, 27, 30, 36, 38, 41, 42, 
  47, 49, 51, 52, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 18, 19, 23, 24, 26, 28, 30, 36, 38, 41, 42, 
  43, 44, 47, 49, 50, 52, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 18, 19, 23, 24, 26, 28, 30, 36, 38, 41, 42, 
  47, 49, 50, 52, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 18, 19, 24, 26, 27, 30, 36, 38, 41, 42, 43, 
  44, 45, 47, 49, 51, 52, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 18, 19, 24, 26, 27, 30, 36, 38, 41, 42, 45, 
  47, 49, 51, 52, 58, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 18, 19, 24, 26, 28, 30, 36, 38, 41, 42, 43, 
  44, 45, 47, 49, 50, 52, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 18, 19, 24, 26, 28, 30, 36, 38, 41, 42, 45, 
  47, 49, 50, 52, 58, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 18, 23, 24, 26, 27, 28, 30, 36, 38, 39, 40, 
  42, 44, 45, 47, 52, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 18, 23, 24, 26, 28, 29, 30, 36, 38, 39, 40, 
  42, 43, 44, 47, 51, 52, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 18, 23, 24, 26, 28, 29, 30, 36, 38, 39, 40, 
  42, 47, 51, 52, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 18, 23, 24, 26, 30, 36, 38, 39, 40, 42, 44, 
  45, 47, 50, 51, 52, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 18, 23, 25, 26, 27, 28, 30, 36, 38, 39, 40, 
  42, 43, 45, 48, 52, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 18, 23, 25, 26, 27, 29, 30, 36, 38, 39, 40, 
  42, 43, 44, 48, 50, 52, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 18, 23, 25, 26, 27, 29, 30, 36, 38, 39, 40, 
  42, 48, 50, 52, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 18, 23, 25, 26, 30, 36, 38, 39, 40, 42, 43, 
  45, 48, 50, 51, 52, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 15, 16, 17, 19, 20, 23, 24, 27, 28, 30, 38, 40, 
  43, 46, 48, 52, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 15, 16, 17, 19, 20, 23, 25, 30, 38, 40, 43, 44, 
  46, 47, 50, 51, 52, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 15, 16, 17, 19, 23, 24, 28, 30, 38, 40, 42, 43, 
  44, 46, 48, 49, 50, 52, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 15, 16, 17, 19, 23, 25, 27, 30, 38, 40, 42, 43, 
  44, 46, 47, 49, 51, 52, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 15, 16, 17, 23, 24, 26, 27, 28, 30, 38, 39, 41, 
  42, 43, 47, 52, 58, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 15, 16, 17, 23, 24, 26, 27, 28, 30, 38, 39, 41, 
  42, 44, 47, 52, 58, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 15, 16, 17, 23, 24, 26, 30, 38, 39, 41, 42, 43, 
  47, 50, 51, 52, 58, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 15, 16, 17, 23, 24, 26, 30, 38, 39, 41, 42, 44, 
  47, 50, 51, 52, 58, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 15, 16, 17, 23, 24, 27, 28, 30, 38, 39, 41, 42, 
  43, 45, 46, 48, 52, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 15, 16, 17, 23, 24, 27, 29, 30, 38, 39, 41, 42, 
  43, 44, 46, 48, 50, 52, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 15, 16, 17, 23, 24, 27, 29, 30, 38, 39, 41, 42, 
  46, 48, 50, 52, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 15, 16, 17, 23, 24, 30, 38, 39, 41, 42, 43, 45, 
  46, 48, 50, 51, 52, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 15, 16, 17, 23, 25, 27, 28, 30, 38, 39, 41, 42, 
  43, 45, 46, 47, 52, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 15, 16, 17, 23, 25, 27, 29, 30, 38, 39, 41, 42, 
  43, 44, 46, 47, 50, 52, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 15, 16, 17, 23, 25, 27, 29, 30, 38, 39, 41, 42, 
  46, 47, 50, 52, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 15, 16, 17, 23, 25, 30, 38, 39, 41, 42, 43, 45, 
  46, 47, 50, 51, 52, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 15, 16, 17, 24, 27, 29, 30, 38, 39, 41, 42, 43, 
  44, 45, 46, 48, 50, 52, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 15, 16, 17, 24, 27, 29, 30, 38, 39, 41, 42, 45, 
  46, 48, 50, 52, 58, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 15, 16, 17, 25, 27, 29, 30, 38, 39, 41, 42, 43, 
  44, 45, 46, 47, 50, 52, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 15, 16, 17, 25, 27, 29, 30, 38, 39, 41, 42, 45, 
  46, 47, 50, 52, 58, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 12, 13, 14, 18, 23, 25, 26, 31, 35, 36, 38, 39, 
  40, 42, 43, 44, 48, 53, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 12, 13, 15, 16, 17, 23, 24, 31, 38, 39, 41, 42, 
  45, 46, 48, 54, 55, 58, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 12, 13, 15, 16, 17, 23, 26, 31, 38, 39, 41, 42, 
  43, 46, 54, 55, 58, 60, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 12, 13, 15, 16, 17, 23, 26, 31, 38, 39, 41, 42, 
  44, 46, 54, 55, 58, 59, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 12, 13, 16, 17, 23, 25, 26, 31, 36, 39, 41, 42, 
  43, 48, 54, 55, 56, 58, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 12, 14, 15, 17, 20, 23, 25, 26, 31, 33, 34, 39, 
  41, 43, 44, 48, 54, 55, 56, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 14, 16, 18, 19, 23, 26, 30, 32, 33, 37, 41, 
  42, 43, 44, 46, 53, 55, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 14, 16, 18, 19, 23, 26, 30, 32, 33, 37, 41, 
  42, 46, 53, 55, 59, 60, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 14, 16, 18, 19, 23, 26, 30, 32, 34, 37, 41, 
  42, 43, 44, 46, 53, 54, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 14, 16, 18, 19, 23, 26, 30, 32, 34, 37, 41, 
  42, 46, 53, 54, 59, 60, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 14, 16, 18, 19, 23, 26, 30, 32, 37, 41, 42, 
  43, 46, 54, 55, 58, 60, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 14, 16, 19, 23, 25, 26, 30, 32, 33, 37, 39, 
  42, 43, 44, 48, 53, 55, 57, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 14, 16, 19, 23, 25, 26, 30, 32, 33, 37, 39, 
  42, 48, 53, 55, 57, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 14, 16, 19, 23, 25, 26, 30, 32, 34, 37, 39, 
  42, 43, 44, 48, 53, 54, 57, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 14, 16, 19, 23, 25, 26, 30, 32, 34, 37, 39, 
  42, 48, 53, 54, 57, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 14, 16, 19, 23, 25, 26, 30, 32, 37, 39, 42, 
  43, 48, 54, 55, 57, 58, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 14, 17, 19, 23, 25, 26, 30, 32, 35, 36, 38, 
  40, 42, 43, 44, 48, 53, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 14, 17, 19, 23, 25, 26, 30, 32, 35, 36, 38, 
  40, 42, 48, 53, 59, 60, 63, 64 ],
[ 1, 2, 3, 4, 5,[?xml="1.0"encoding="UTF-8"?>
  41, 42, 43, 44, 47java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
 ,3, ,5 6 ,10,13,14  ,23, 24 26 ,32, 35 36 ,
  41, 42, 47, 53, 59, 60, 63, 64 ],
[ 1, 2divContSect "java.lang.StringIndexOutOfBoundsException: Range [44, 42) out of bounds for length 176
  42, 43, 44, 46, 53, 55, 61, 64 ],
[ 1, 2, 3, 4,5, 6 8 10,13,1516, 17,19 23,26,30,32 34,,40 
  2,43 44, 46, 53,54,61, ],
[1,2,3,4 5,6,8 10,13,15,,17,19,23,30 32,38,40,42,
  43, 46, 54, 55, S"br/><span class="nocss">  </span><a href="chap11_mj.html#X7AFE88F37FC58083">11.2-3 CompressPeriodicList</a></span>
[ 26, 30, 32, ,38 39 
  42, 43, 44, 47, 53, 55, 57, 64 ],
 ,2 3, ,5, 6,8 10,13 15 16 , 23,24 26 30 32,33 38 39,
  42,class""
[ 1, 2, 3, span=java.lang.StringIndexOutOfBoundsException: Range [20, 19) out of bounds for length 146
  43, 47, 54, 55, 57, 58, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 16, 17, 19, 23, 25, 26, 30, 32, 33, 36, 40, 
  4244 48 53 55 56,64]
[, , ,4,5, , ,10,13,16,1723 , ,30,3233 36 ,
  42, 48, 53, 55, 56, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 16, 17, 19, 23, 25, 26, 30, 32, 34, 36, 40, 
  42,43, 44, 48, 53 54, 56,64 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 16, 17, 19, 23, 25, 26, 30, 32, 34, 36, 40,</pan>
  42, 48, 53, 54, 56, 59, 60, 64 ],
[1 2,,5,6 , 10, 13 16, 17, 19 23,25, 26 30 ,36,40,42 
  43, 48, 54, 55, 56, 58, 60, 63 ],
[1, , 3, 4 5, , 8 10,13, 16, 17 19,25 26, 30 32 33,36,40,42,
  45, 48,53,55 56, 58,59 60],
[java.lang.StringIndexOutOfBoundsException: Index 7 out of bounds for length 7
  43, 44, 45, 48, 53, 54, 56, 58 ],
 ,,3,,8,10 , 16 18 19,23 24, 26,30, 32,34 36,41 
  42, 43, 44, 47>class"ocss>  </span><a href="chap11_mj.html#X7F7E6457877F69EC">11.8-7 MagmaHomomorphismByImagesNC
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 16, 18, 19, 23, 24, 26, 30, 32, 34, 36hspan class"ContSS">br><pan "nocss>n;;/>a href".tml"118-12AlgebraHomomorphismByFunction/java.lang.StringIndexOutOfBoundsException: Range [157, 156) out of bounds for length 157
42,47,53,54 56 59 ,64 ,
[,2,3,4 ,6 8, 10, 13, 16 18, 19, 23,24,26, 30 32,36,41,42, 
  43, 47, 54,<pan class"ontSS><br/> class="nocss">  </span><a href="chap11_mj.html#X835FBD72853595BE">11.9-2 SEARCH@</a></span>
"width"100%>tr><td class"dleft"<code ""#;TensorSum<code>( <var class="Arg">objects</var>, <var class="Arg">...</var> )</td><td class="tdright">( function )</td></pThis function is similarinsyntax to <class"func>java.lang.StringIndexOutOfBoundsException: Range [75, 73) out of bounds for length 424
  43, 44, 45, 47, 53, 54, 56, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 11, 12, 13, 14, 16, 17, 23, 24, 32, 37, 39, 41, 42, 
  45, 46, 48, 54, 55, 58, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 11, 12, 13, 14, 16, 17, 23, 26, 32, 37, 39, 41, 42, 
  43, 46, 54, 55, 58, java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
 , , ,5,6,8, 11, 12,13,14,16,17 23,26,32 37 ,41 42 
  44,,54 55,58,59 61 63]
[ 1, 2 3,4 5,6 8, ,12, 13,14, 18,23,24 26 32,35,36, ,39,
  40div"unc"< class"unc"width"100%"<java.lang.StringIndexOutOfBoundsException: Range [59, 54) out of bounds for length 249
[1,2,3,,5,611 ,13, 16,17,23 ,26,32 ,39,41 42 
  43, 47, 54, 55, 56, 58, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 11, 12, 14, 15, 17, 20, 23, 24, 26, 32, 33, 34, 39, 
  41, 43, 44, 47, 54, 55, 56, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 11, 13, 14, 16, 18, 19, 23, 26, 30, 31, 33, 37, 41, 
  42, 43, 44, <Thecommand aperiodic listby decreeing that  entries afterthe end of liststart atposition< =Arg">/var>.<>
[ 1, 2, 3, 4, 5, 6, 8, 11, 13, 14, 16, 18, 19, 23, 26, 30, 31, 34, 37, 41, 
  , , , 53, 54, 61,64],
[ 1, 2, 3, 4, 5, 6, 8, 11, 13, 14, 16, 18, 19, 23, 26, 30, 31, 37, 41, 42, 
  44, 46, 54, 55, 58, 59, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 11, 13, 15, 16, 17, 19, 23, 26, 30, 31, 38, 40, 42, 
  s classclass"GAPprompt">gapgt;</span class"">emove(l,5)<span
 ,2, ,4 5 6,8 ,13,14,16, 1730 ,35 37 , 41,
  , 43 44,46 ,52 55,,
[ ,2,3,4 5 , 8  13 14,16 ,23 ,30,34 ,37 39,41,
 42, 46 , 52,55 59,60, 64],
[ 1, 2, 3, 4, 5, 6, 8, 12, 13, 14, 16, 17, 23, 24, 30, 37, 39, 41, 42, 44, 
  45, 46, 48, 52, 54, 55, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 12, 13, 14, 16, 17, 23, 25, 26, 30, 37, 39, 41, 42, 
  43, 48, 52, 54, 55, 58, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 12, 13, 14, 16, 17, 23, 25, 26, 30, 37, 39, 41, 42, 
  44, 48, 52, 54, 55, 58, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 12, 13, 15, 16, 17, 23, 24, 26, 30, 38, 39, 41, 42, 
  43, 47,java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
[ 1, 2, 3, 4, 5, 6, 8, 12, 13, 15, 16, 17, 23, 24, 26, 30, 38, 39, 41, 42, 
  44, 47, 52, 54, 55, 58, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 12, 13, 15, 16, 17, 23, 24, 30, 33, 35, 38, 39, 41, 
  42,43 ,46, 48,52,54, 64 ]
[ 1, 2, 3, 4, 5, 6, 8, 12, 13, 15, 16, 17, 23, 24, 30, 33, 35, 38, 39, 41, 
  42, 46, 48, 52, 54, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 12, 13, 15,rue
  ,,48 52, 54,55 59,63 ],
 ,2,3,45 6,9,10, 12, 13, 14, 18, 23, 28, 29, 31, 35, 36, 38 39,java.lang.StringIndexOutOfBoundsException: Index 75 out of bounds for length 75
  40, 42, 43, 44, 51, 53, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, 14, 16, 18, 19, 23, 29, 30, 32, 33, 37, 41, 
  42, 43, 44, 49, 53, 55, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, 14, 16, 18,19 23, 29 30,32,33 37,41 
  42, 49, 53, 55, 59, 60, 62, 64 ],
[1 2,3 4, 5,6 9, 10, 13, 14, 16, 18, 19, 23, 29, 30, ,34 37,41, 
  42, 43, 44, 49, 53, 54, 62, 64 ],
[ 1 2, 3,4,5, 6, 9,10,13 14,16, 18,19,23, 29, 30,32 34 37 ,java.lang.StringIndexOutOfBoundsException: Index 75 out of bounds for length 75
  42, 49, 53, 54, 59, 60, 62, 64 ]
[ 2,3,4 5,6 9 10,13,14, 16, 18, 19,23 30,32 33, 37, 41,42 
  45, 50, 51, 53, 55, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, 14, 16, 18, 19, 23, 30, 32, 34, 37, 41, 42, 
  45 ,51,53 54 58, 62, 64 ]
[ 1, 2, <iv="><table class=func"width="%"><r>tdtdleft">code class="unc>#8227;Ball</code> <var class="Arg"<> var class="">radius</var> )/td>tdclass=tdright>&;function </td</tr>/><div
  42, 43, 44, 51, 53, 55, 57, 64 ],
<Returns: The word Theword  growth  thesemigroup var class=A"></ar>./p>
  42, 51, 53, 55, 57, 59, 60, 64 ],
[ 1, 2, 3, 
  42, 43, 44, 51, 53, 54, 57, 64 ],
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, 14, 16, 19, 23, 28, 29, 30, 32, 34, 37, 39, 
  42, 51, 53, 54, 57, 59, 60, 64 ],
[ 1, 2,  between0and java.lang.StringIndexOutOfBoundsException: Range [86, 68) out of bounds for length 89
  45, 51, 53, 55, 57, 58, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, 14, 16, 19, 28, 29, 30, 32, 34, 37, 39, 42, 
  43, 44, 45, 51, 53, 54, 57, 58 ],
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, 14, 17, 19, 23, 28, 29, 30, 32, 35, 36, 38, 
  40,42 43,44, 51,53 63,64],
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, 14, 17, 19, 23, 28, 29, 30, 32, 35, 36, 38, 
  40, 42, 51, 53, 59, 60, 63
 1,2, 3, 4, , 6,9 10, ,14,17,19, , 29, 30, 32, ,35 36, 38 
  40,42,,43, 44,49, 55, 62,64],
[ 1,2 3, 4,5 6, 9,10, 13, 14, 17,19,23, 29 30,32, 34, 35 36 38,java.lang.StringIndexOutOfBoundsException: Index 75 out of bounds for length 75
  40, 42, 49, 55,intecodec>and not a record, the command is interpreted as <code class=code">WordGrowth(...,rec(spheresizes:=n))</code>.</p>
[ 1, 2, 3, ,5,6,9, 10,13 14,17 19, 23,30, 32 34,35java.lang.StringIndexOutOfBoundsException: Index 75 out of bounds for length 75
  42, 45, 50, 51, mpt>><span "java.lang.StringIndexOutOfBoundsException: Range [102, 60) out of bounds for length 123
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, 14, 17, 19, 27, 28, 30, 32, 34, 35, 36, 38  [db  a]]
  40,,43 44, 55,59, 60, 62]java.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 35
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, 14, 18, 19, 23, 27, 29, 30, 32, 35, 36, 38, 
  41,42, 43 44 50, 53, 63,64 ,
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, 14, 18, 19, 23, 27, 29, 30, 32, 35, 36, 38, 
  41, 42, 50, 53, 59, 60, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, 14, 18, 19, 23, 29, 30, 32, 33, 35, 36, 38, 
  java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
[ 1, 2, 3, 4, 5, 6, 9, 10, 13
  41, 42, 49, 54, 59, 60, 62, 64 ],
[ 1, 2, 3, 4, 5java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  42,45  , , 58, 62 64 ,
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, 14, 18, 19, 27, 28, 30, 32, 33, 35, 36, 38, 
  41, 42, 43, 44, 54, 59, 60, 62 ],
[1,2,3,4,5,6, 9,10, 13 14, 19, 23,27 29,30, 32, 34,35 36, 38 
  39  ,44, ,55, 57,64 ,
[1,2 3, 4 5, 6, 9,10, 13, ,19,23 27 29, 30, 32, 34, , 36, 38, 
  , ,50, 55,,57 , 60,64 ,
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, 14, 19, 23, 28, 29, 30, 32, 33, 35, 36, 38, 
  39, 42, 43, 44, 51, 54, 57, 64 ],
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, 14, 19, 23, 28, 29, 30, 32, 33, 35, 36, 38, 
  39, 42, 51, 54, 57, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, 15, 16, 17, 19, 23, 29x1 2,x3^^,x4^2 x2x3x4 x4x1x4***x1x4x1
  42 , , , ,60 62,64 ],
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, 15, 16, 17, 19, 23, 29, 30, 32, 34, java.lang.StringIndexOutOfBoundsException: Index 67 out of bounds for length 12
42,,53 54,59, 60,62 64 ]java.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 35
[1,2 3 4, 5,6, , ,13,15,16 17 19, 23 30 32 33, 38,40 42, 
  45, 50, 51, 53, 55, 58, 62, 64 ],
[ 1, , ,4 ,6,9,10,13,15 16 17 19 , ,32 34 38,, 42 
  45, 50, 51, 53, 54, 58, 62, pover<var=Arg"g/var>  elements of <java.lang.StringIndexOutOfBoundsException: Range [78, 77) out of bounds for length 102
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, 15, 16, 19, 23, 27, 29, 30, 32, 33, 38, 39, 
  42, , 44 50,53,55,57,64 ]
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, 15, 16, 19, 23, 27, 29, 30, 32, 33, 38, 39, 
  42, 50, 53, 55, 57, 59, 60, 64 ],
 1 , 3 4 5 , 9 10,13 15,16 19, ,29, 30, 32, 33, 38, 39, 42, 
  45, 0,53 55 57 58 59 60]
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, 15, 17, 19, 23, 28, 29, 30, 32, 35, 36, span"APprompt>>gt;/pan><spanclass=GAPinput"ShortMonoidWordInSet(GrigorchukGroup,</span>
  40, 42, 43, 44, 51, 53, 63, 64 ],
[, 23, 28, 29, 30,32 35 36, 37 
  40, 42, 51, 53, 59, 60, 63, 64aid"X84472A637B648C47" name="/a>/>
[1, 2, 3, 4,5 6, 9,10, 13, 15,18,19, 23,27 29 ,  35,36,37,
  41, 42, 43, 44, 50, 53, 63, 64 ],
[1,2 3, 4 5,6,9, 10, 13, 5, ,19, ,27 29,,32,35 , 37, 
  41, 42, 50, 53, 59, 60, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, <>Returns  []surfacebraidgroup <class=Arg"</var> <p>
  42,43 44,51,53, 55,56, 64 ,
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, 16, 17, 19, 23, 28, 29, 30, 32, 33, 36, 40, 
  42,51 53 , 56 ,60 64],
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, 16, 17, 19, 23, 28, 29, 30, 32, 34, 36, 40, 
  42, 43, 44, 51, 53, 54, 56, 64 ],
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, 16, 17, 19, 23, 28java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  42, 51, 53, 54, 56, 59, 60, 64 ],
[1,2, 3,4 5 6,9 ,13,16 18 ,23,27 29 ,32,34 , 41, 
  42, 43, , ,53,54, 56, 4 ]java.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 35
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, 16, 18, 19, 23, 27, 29, 30, 32, 34, 36, 41, 
  42, 50, 53, 54, 56, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 9, 11, 12, 13, 14, 18, 23, 27, 29, 32, 35, 36, 38, 39, 
  40,42, 43, 44, 50 ,63,64]java.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 35
[1, 2, 3,4,5 6, 9, 11, 13,14 16 18 19 23 29, , 31, 33, 37 41, 
  42, 49, 53, 55, 59, 60, 62, 64 ],
[ 1 2 3 4 5 6,,11, 13, 14,16,18, 19 23 29,30, 31,34 37 41,
  42, 49, 53, 54, 59, 60, 62, 64 ],
[ ,2 3 , 5 6, 9 11, 13, , 17,19, 23 29,30, 31,34 35 ,38,
  40, 42, 43, 44, 49, 55, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 9, 11, 13, 14, 17, 19, 23, 29, 30, 31, 34, 35, 36, 38, 
  40, 42, 49,55, 59,60 62 64],
[ java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  41, 42, 43, 44, 49, 54, 62, 64 ],
[
  41,42,49,54,59,,62,64 ],
[ 1, 2, 3, 4, 5, 6, 9, 482=X7D792C6985BF482B>/>/>
 4243 44 , 50 52 55 64 ,
[ 1, 2, 3, 4, 5, 6, 9, 12, 13=X80571java.lang.StringIndexOutOfBoundsException: Range [56, 52) out of bounds for length 62
  42, 49, 50, 52, 55, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 9, 12, 13, 14, 18, 19, 23, 28, 30, 33, 35, 36, 38, 41, 
  42, 43, 44, 49, 50, 52, 54, 64 ],
[ 1, 2, 3, 4, 5, 6, 9, 12, 13, 14, 18, 19, 23, 28, 30, 33, 35, 36, 38, 41, 
  42, 49, 50, 52, 54, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 7, 8, 9, 10, 14, 15, 17, 18, 21, 23, 25, 26, 29, 30, 32, 43, 
  48, 49, 56, 57, 58, 60, 62 ],
[ 1, 2, 3, 4, 5, 7, 8, 9, 11, 12, 13, 14, 18, 21, 24, 25, 27, 28, 32, 35, 36, 
  38h4" <>/java.lang.StringIndexOutOfBoundsException: Index 69 out of bounds for length 69
[ 1, 2, 3
  ,,51,53 57, 61 63 ]java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
[, 2,,4, ,7 8 ,11,12 13 14 , ,25, 28 32 35 , 38,40java.lang.StringIndexOutOfBoundsException: Index 78 out of bounds for length 78
 41 ,50 , ,61,63 ,
[ 1, 2, 3, 4, 5, 7, 8, 9, 11, 12, 13, 18,p="X80EEB0F58467ED68 name="X80EEB0F58467ED68>a/>
  40, 46, 48, 53, 56, 62, 63 ],
[ 1, 2, 3, 4, 5, 7, 8, 9, 11, 12, 13, 18, 21, 24, 32, 35, 37, 38, 39, 40, 46, 
  48, 50, 51, 53 56, 62,63 ],
[ 1, 2, 3, 4, 5, 7, 8,h5.73LinearRepresentationByImages
  ,49,50,, ,57,63],
[ 1, 2, 3, 4, 5, 7, 8, 9, 11, 14, 15, 17, 18, 21, 23, 26, 28, 29, 30, 31, 44, 
  46, 51, 56, 57, 58, 59, 61 ],
[ 1, 2, 3, 4, 5, 7, 8, 9, 12, 14, 15, 17, 18, 21, 23, 24, 28, 30, 44, 45, 46, 
  48, 49, 50, 52, 56, 57, 60 ],
[ 1, 2, 3, 4, 5, 7, 8, 9, 12, 14, 15, 17, 21, 23, 24, 27, 28, 30h5.75ProjectiveExtensionh5>
  45, 46, 48, 52, 56, 60, 62 ],
[ 1, 2, 3, 4, 5, 7, 8, 9, 12, 14, 15, 17, 21, 23, 24, 28, 29, 30, 39, 41, 43, 
  44, 46, 48, 51, 52, 56, 64 ],
[ 1 2, ,4,5,7,8,9,12 14, 15 17 21, , 25 26,27 28,30 39, 41,
  43, 48, 52, 56, 58, 60, 62 ],
[ 1, 2, 3, 4, 5, 7, 8, 9, 12, 14, 15java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  48, 52, 56, 58, 59, 62, 64 ],
[1, 2 3 ,5,7 8 ,12,14 15,18 , ,23,24,28 30 41 43,44,
  46 48, 49, , 52,, 56, 64 ],
[ 1, 2, 3, 4, 5, 7, 8, 9, 12, 14, 15, 18, 21, 23, 24, 27, 28, 30, 39, 40, 44, 
  45,46,48 ,56 60 62]java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
[ 1, 2,[1,4,2]
  44, 46, 48, 51, 52, 56, 64 ],
[ 1 2 3 4 5 ,8,9 12 ,15,18 21,23 25 ,2728, 30 ,40,
  43, 48, 52, 56, 58, 60, 62 ],
[ 1, 2, 3, 4, 5, 7, 8, 9, 12, 14, 17, 18, 21, 23, 24, 25, 28, 30, 36, 38, 44, 
  45, 49, 50, 52, 57, 60, 61 ],
[ 1, 2, 3, 4, 5, 7, 8, 9, 12, 14, 18, 21, 23, 24, 25, 27, java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  40, 44, 45, 52, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 7, <>Thelargestindex  that <ode class"code"ti]/code <var class=Arg"x<><p>
  45, 49, 50, 52, 57, 60, 61 ],
[ 1, 2, 3, 4, 5, 7, 8, 9, 12, 14, 21, 24, 25, 28, 30, 36, 38, 40, 41, 43, 49, 
  50, 52, 57, 58, 59, 61, 64 ],
[ 1, 2, 3, 4, 5, 7, 8, 9, 12, 15, 16, 17, 21, 23, 24, 25, 27, 28, 30<5>.8-4 RenameSubobjects</h5>
  41, 43, 52, 58, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 7, 8, 9, 14, 18, 21, 23, 25, 26, 29, 31, 32, 36, 38, 39, 40, 
  43,44,48,49 ,62,64 ,
[ 1, 2, 3, 4, 5, 7, 8, 9, 14, 18, 21, 23, 26, 28, 29, 31, 32"> =
  43, 44, 46, 51, 52, 61, 64 ]
];


Messung
CHZG
829910093

¤ Dauer der Verarbeitung: 0.150 Sekunden  (vorverarbeitet am  2026-11-04) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover


Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Open Source Software

     Quellcodebibliothek
     Eigene Quellcodes
     Fremde Quellcodes
     Suchen

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik

Statistik
#Sources=1104857
#Domains=439099