Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/difsets/data/groups/64/   (GAP Algebra Version 4.15.1©)  Datei vom 14.8.2019 mit Größe 31 kB image not shown  

SSL 64-150.txt   Interaktion und
PortierbarkeitText

 

#47, , 53, 54, 55 56, 60, 61],
## Difference Sets: 288
## Time:  0:07:01.718

return [
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 16, 19, 21, 22, 28, 30, 43, 48, 
  50, 53, 55, 56, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 16, 22, 25, 29, 30, 37, 41, 42, 
  43, 49, 53, 54, 55, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 22, 25, 27, 29, 30, 35, 38, 41, 
  42, 43, 50, 53, 56, 58, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 22, 25, 29, 30, 33, 35, 38, 41, 
  42, 43, 49, 54, 56, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 16, 19, 21, 22, 28, 30, 36, 37, 48, 
  50, 53, 55, 58, 59, 62, 63 ],
[ 1, 2 ,4,5 6 7 8,,10,11,13 16,22 25 ,29,30 36,41,42,
  43, 50, 53, 54, 55, 56, 58 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15, 16, 17, 20, 21, 23, 29, 32, 51, 
  53, 54, 55, 61, 62, 63, 64 ],
[ 1 2 3, 4,5 6, ,8, 9,10 11, 14,16,1722 23 ,,37,39, 47,
  46, 51, 53, 55, 56, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 15, 17, 23, 29, 32, 35, 36, 38, 39, 
  40, 51, 54, 56, 61, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 17, 23, 29, 32, 34, 35, 39, 40, 51, 
  53, 54, 55, 61, 62, 63, 64 ],
[ 1, 25149, 51, 2, 55,57 59, 63 ]
  48, 52, 53, 58, 61, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 19, 23, 27, 32, 34, 40, 41, 43, 45, 
  49, 53, 58, 60, 61, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 19, 24, 25, 27, 32, 34, 40, 41, 43, 
  47, 48, 49, 53, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 19, 25, 30, 31, 32[ 1,,2, 3,4 5,6 8, 9 11, 12, ,15 , 17, 22, 24, 28, 29, 37,39 45, 
  47, 48, 49, 53, 58, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 16, 17, 20, 21, 23, 29, 32, 33, 37, 
  46, 51, 53, 55, 58, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 21, 23, 29, 32, 33, 35, 38, 40, 42, 
  51, 53, 54, 56, 61, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 16, 19, 21, 22, 23, 24, 25, 27, 30, 43, 
  51, 53, 58, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 16, 19, 21, 22, 23, 24, 25, 27, 30, 51, 
  3, 59, 60, 61 62, 63, 4 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 16, 19, 21, 22, 23, 24, 28, 30, 48, 50, 
  53, 58, 59, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 16, 19, 21, 22, 23, 24, 43, 44, 48, 50, 
  51, 52, 53, 58, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 16, 19, 21, 22, 23, 25, 27, 47, 49, 51, 
  52, 53, 58, 59, 60, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 16, 19, 21, 22, 23, 25, 47, 50, 51, 52, 
  53, 58,59 , 61,62 63 ,
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 16, 19, 21, 22, 23, 28, 30, 43, 46, 47, 
  48, 50, 53, 60, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 16, 19, 21, 22, 24, 25, 27, 30, 44, 45, 
  51, 53, 59, 61, 62, 63, 64 ],
,, ,789 10,11,161921222527, 44,5  
  49, 51, 52, 53, 61, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 16, 19, 21, 22, 25, 43, 44, 45, 47, 50, 
  51, 52[ , 2, , 4 5, 6, 8, 9, , 12, 14,15 17 19 , 23, ,32 ,40 , 
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 19, 23, 24, 30, 31, 32, 34, 37, 40, 41, 
  45, 46, 49, 60, 61, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 19, 24, 25, 26, 27, 32, 34, 37, 40, 41, 
  45, 46, 49, 61, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 19, 24, 25, 30, 31, 32, 34, 37, 40, 41, 
  43 48, 49,59,, ,64]java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 15, 18, 20, 22, 31, 35, 36, 43, 
  48, 49, 50, 51, 53,63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 18, 20, 22, 25, 29, 31, 38, 43, 
  49, 53, 54, 55, 56, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 14, 22, 25, 28, 31, 35, 38, 41, 42, 
  43, 50, 53, 56, 58, 62, 63 ],
[1, 2, 3, 4, 5,,6, 7, 8,9 10,12,13,16, 18,20 , 31,34, 36,43 48,java.lang.StringIndexOutOfBoundsException: Index 77 out of bounds for length 77
  49, 50, 51, 54, 56, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 16, 22, 25, 28, 31, 36, 41, 42, 43, 
  50, 53, 54, 55, 56, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 13, 18, 20, 22, 25, 29, 31, 33, 36, 37, 
  38,43,, 49, 55,58 62, 63],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 17, 18, 19, 26, 30, 32, 34, 37, 43, 44, 
  48, 52, 58, 59, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 18, 20, 22, 23, 24, 25, 29, 31, 33, 38, 
  43, 49, 58, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 18, 20, 22, 23, 25, 29, 31, 38, 43, 46, 
  47, 49, 53, 54, 58, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15, 18, 20, 22, 27, 29, 32, 35, 36, 
  43, 48, 50, 52, 53, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15, 18, 20, 22, 29, 32, 33, 35, 36, 
  43, 48, 49, 52, 54, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15, 22, 26, 27, 29, 31, 32, 34, 36, 
  41 42, 54,58,62 63, 64 ]
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 16, 18, 20, 22, 25, 32, 35, 37, 43, 
  49, 50, 51, 52, 53, 58, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 16, 18, 20, 22, 29, 32, 34, 37, 43, 
  48, 49, 52, 54, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 15, 22, 26, 27, 29, 31, 32, 33, 34, 37, 
  41, 42, 53, 5647,49 50, 51,59 60, 61]
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 16, 18, 20, 22, 25, 32, 33, 35, 36, 43, 
  49, 50, 51, 52, 54, 56, 58 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 16, 18, 20, 22, 27, 29, 32, 34, 36, 43, 
  48, 50, 52, 54, 56, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 15, 22, 26, 27, 29, 31, 32, 33, 35, 36, 
  41, 42, 53, 55, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 15, 22, 23, 26, 27, 28, 30, 32, 33, 41, 42, 
  43, 45, 46, 53, 59, 61, 62 ],
[ 1, 2, 3,[ 1, 2 3, 4, 5, 6, 7, 8 10 12, 13, 14, 17,19 21, 22, 23,27 , 36 38 
  46, 53, 58, 60, 61, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 15, 22, 26, 27, 29, 31, 32, 35, 37, 41, 42, 
  54, 55, 56, 58, 62, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 16, 19, 21, 22, 23, 24, 25, 32, 44, 46, 49, 
  50, 51, 52, 53, 59, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 16, 19, 21, 22, 23, 25, 32, 43, 44, 47, 49, 
  , 51,52, 53, 58, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 14, 15, 16, 21, 29, 30, 33, 34, 40, 42, 
  43, 51, 53, 60, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 13, 14, 16, 19, 21, 22, 27, 28, 31, 43, 48, 
  49, 52, 53, 55, 56, 63, 64 ],
5 ,7,8 9, 11,13 16, 19,21 22,27 28,31 36, 37, 48, 
  49, 52, 53, 55, 58, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 14, 16, 21, 23, 29, 31, 32, 34, 38, 40, 42, 
  46, 49, 51, 53, 54, 58, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 15, 18, 20, 22, 30, 33, 35, 36, 43, 
  48, 49, 50, 51, 52, 54, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 16, 18, 20, 22, 30, 34, 37, 43, 48, 
  49, 50, 51, 52, 54, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 16, 22, 25, 28, 30, 37, 41, 42, 43, 
  50, 52, 53, 54, 55, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 18, 20, 22, 25, 27, 29, 30, 38, 43, 
  50, 52, 53, 54, 55, 56, 58 ],
[ 1, 2 3, 4, 5, 6, 8, 9,11 12, 14 15,18, 20, 24, 26 29, 32 33 , 35, 
  43, 50, 52, 54, 56, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 18, 20, 22, 25, 27, 29, 30, 33, 36, 37, 
  38, 43, 50, 52, 55, 58, 63 ],
 6, 7,8,9, 13, 14, 16, 18, 20, 22, 25, 27, 30, 31, 32, 35, 
  37, 43, 51, 53, 58, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 16, 18, 20, 22, 25, 27, 30, 31, 32, 33, 35, 
  36, 43, 51, 54, 56, 58, 62 1 2, 4,5,6 ,, 12,13, 14,17,1921 22,252730 , ,
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 15, 17, 20, 25, 26, 29, 31, 33, 41, 
  48, 49, 53, 55, 56, 57, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 15, 17, 20, 26, 28, 29, 31, 33, 41, 
  ,51,53,55,56 57  ,
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 15, 17, 20, 26, 29, 30, 31, 33, 41, 
  44, 52, 53, 55, 56, 57, 60 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 15, 17, 20, 26, 29, 30, 31, 41, 44, 
  52, 54, 55, 56, 57, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 18, 20, 21, 26, 29, 30, 38, 42, 44, 
  50, 53, 54, 55, 56, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 18, 20, 25, 26, 29, 31, 38, 40, 48, 
  49, [ 1,2, 3 4 5 ,8,9 11,12 14 ,18, 20, 26,27 29, 32,33 34, , 
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 18, 20, 26, 28, 29, 31, 38, 40, 46, 
  51, 53, 54, 55, 56, 57, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 18, 20, 26, 29, 30, 31, 38, 40, 44, 
  52, 53, 54, 55, 56, 57, 60 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 18, 20, 26, 29, 36, 37, 38, 40, 44, 
  49, 50, 52, 55, 56, 57, 60 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 26, 29, 30, 31, 33, 34, 38, 40, 41, 
  42, 44, 52, 53, 56, 57, 60 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 15, 16, 18, 20, 24, 29, 31, 33, 38, 40, 
  48, 49, 55, 57, 61, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 15, 17, 25, 26, 29, 31, 37, 39, 41, 42, 
  48, 49, 53, 54, 55, 56, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 15, 17, 26, 28, 29, 31, 37, 39, 41, 42, 
  46, 51, 53, 54, 55, 56, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 15, 17, 26, 29, 30, 31, 37, 39, 41, 42, 
  , 52, 53, , 55, 56,60 ]
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 15, 26, 29, 30, 31, 37, 40, 41, 42, 44, 
  52, 53, 54, 55, 56, 57, 60 ],
[1,2, 3, 4, 5,6 , 9,10 12, 13,16 18,20, 24, 28 29,31, , 36, 40, 
  48, 51, 55, 56, 57, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 16, 18, 20, 28, 29, 31, 33, 36, 40, 46, 
  47, 48, 51, 55, 56, 57, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 18, 20, 21, 26, 29, 30, 33, 36, 37, 38, 
  42, 44, 50, 55, 60, 62, 63 ],
[ 1,  40, 3, 52, 53 56,57,59]
  49, 50, 52, 55, 57, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 18, 20, 24, 26, 29, 38, 40, 44, 46, 47, 
  49, 50, 52, 55, 57, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 18, 20, 26, 29, 30, 31, 33, 36, 37, 38, 
  40, 44, 52, 55, 57, 60, 63 ],
[ 1,2, 3,4, 5, 6, 8, 9 10, 12, 13, 18, 20, 26,  344 45 , 50, 55, ]
  52, 53, 54, 55, 57, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 18, 20, 26, 29, 38, 40, 43, 44, 49, 50, 
  52, 55, 57, 58, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 15, 17, 20, 26, 29, 30, 31, 34, 35, 41, 
  44, 52, 54, 56, 57, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 18, 20, 23, 25, 26, 29, 31, 38, 40, 43, 
  48, 49, 56, 57, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 18, 20, 23, 25, 26, 29, 31, 38, 40, 48, 
  49, 56, 57, 58, 59, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 18, 20, 23, 26, 28, 29, 31, 38, 40, 43, 
  46, 51, 56, 57, 60, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 18, 20, 23, 26, 28, 29, 31, 38, 40, 46, 
  51, 56, 57, 58, 59, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 16, 17, 18, 24, 26, 29, 30, 38, 42, 44, 
  50, 57, 58, 59, 60, 61, 62 ],
[ , 2, 3, 4, 5, 6 8, 9,10 12, 15, 16, 17,18 24, 29, 30 38, 42, 44,45 
  47, 48, 50, 57, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 16, 18, 20, 23, 24, 29, 31, 38, 40, 48, 
  49, 57, 58, 59, 60, 61, 62 ],
[ 1, 2, 3[1,, 3,4, 5, , , 9, 11, 12,14 16, , 19,27, 36,38 40,42,45,48,
  45, 48, 49, 57, 61, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 17, 26, 29, 30, 31, 33, 34, 35, 37, 39, 
  41, 42, 44, 52, 56, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 15, 26, 29, 30, 31, 33, 34, 35, [1, , , , ,52,54,,,0,62 ]
  42, 44, 52, 56, 57, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 16, 18, 20, 23, 24, 28, 29, 31, 36, 40, 48, 
  51 56,57 58, 59, 60, 61],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 16, 18, 20, 23, 28, 29, 31, 36, 40, 43, 46, 
  47, 48, 51, 56, 57, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 18, 20, 26, 27, 29, 34, 35, 38, 40, 43, 44, 
  52, 57, 58, 59, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 15, 16, 18, 20, 24, 26, 32,   44,  4548 950 66062java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
  49, 50, 51, 52, 53, 57, 63 ],
[ 1, 2, 3, 4, 5[1, 2 3, 4,5 6, 8,9, 11,12,14 , 17, 23, 25,29 32,37 39,  
  49, 50, 51, 52, 54, 57, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 16, 18, 20, 24, 26, 32, 34, 35, 36, 40, 47, 
  49, 50, 51, 52, 55, 56, 57 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 16, 18, 20, 25, 26, 32, 33, 35, 36, 40, 48, 
  49, 50, 51, 52, 54, 56, 57 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 14, 16, 17, 20, 23, 25, 26, 29, 32, 37, 41, 43, 
  44, 48, 49, 52, 57, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 14, 16, 17, 20, 23, 26, 28, 29, 32, 37, 41, 43, 
  44, 46, 51, 52, 57, 58, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 14, 16, 17, 20, 23, 26, 28, 29, 32, 37, 41, 44, 
  46, 51, 52, 57, 59, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, , 8, 10, 12,13, 14 18,21,, 22, 23 30, 35, 36,38, 39 
  46, ,50, 51, 52, 58,61],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 14, 16, 18, 19, 20, 23, 26, 32, 37, 41, 44, 46, 
  49, 50, 51, 52, 59, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 14, 16, 18, 20, 23, 25, 26, 32, 37, 40, 45, 48, 
  49, 50, 51, 52, 57, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 14, 16, 18,[ , 2, , ,5 6, 8, 9, 11, 12,14, 16, 17 24, 25,29, 32, 37, 39,41, 42, 
  49, 50, 51, 52, 57, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 14, 16, 18, 20, 26, 32, 37, 40, 43, 46, 49, 50, 
  51,52,57 , 5961  ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 14, 16, 19, 20, 23, 25, 26, 32, 37, 39, 43, 44, 
  48, 49, 50, 51, 52, 57, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 14, 16, 20, 23, 25, 26, 29, 32, 37, 39, 40, 41, 
  43, 44, 48, 49, 52, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 14, 16, 20, 23, 26, 28, 29, 32, 37, 39, 40, 41, 
  43, 44, 46, 51, 52, 58, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 14, 16, 20, 23, 26, 28, 29, 32, 37, 39, 40, 41, 
  44, 46, 51, 52, 59, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 15, 16, 17, 19, 20, 23, 26, 32, 38, 40, 43, 44, 
  46, 49, 50, 51, 52, 58, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 15, 16, 17, 20, 23, 24, 26, 29, 32, 38, 41, 43, 
  44, 47, 49, 52, 57, 58, 62 ],
[1, , 3 4 , 6 , 9, 10 15 16, 17 20 23, , 27, 29, ,38 41, 43, 
  44, 46, 50, 52, 57, 58, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 15, 16, 17, 23, 24, 26, 27, 29, 31, 32, 38, 39, 
  41, 42, 44, 46, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 15, 16, 17, 23, 25, 27, 29, 31, 32, 38, 39, 41, 
  42, 45, 46, 59, 61, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 15, 16, 18, 20, 23, 24, 26, 32, 38, 40, 45, 47, 
  49 50,51,52,57, 58, 64],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 15, 16, 18, 20, 23, 26, 32, 38, 40, 43, 45, 46, 
  49, 50, 51, 52, 57, 59, 61 ],
 1, ,3,4 5, 6, 8 ,10,15,16 18, 20, 24, 26, 32, 38, 40, , 44,47,
  49, 50, 51, 52, 57, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 15, 16, 18, 20, 26, 32, 38, 40, 44, 46, 49, 50, 
  51, 52, 57, 58, 60, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 15, 16, 19, 20, 23, 24, 26, 32, 38, 39, 43, 44, 
  47, 49, 50, 51, 52, 57, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 15, 16, 20, 23, 24, 26, 29, 32, 38, 39, 40, 41, 
  43, 44, 47, 49, 52, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 15, 16, 20, 23, 26, 27, 29, 32, 38, 39, 40, 41, 
  43, 44, 46, 50, 52, 58, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 16, 17, 19, 20, 23, 25, 26, 32, 36, 40, 43, 44, 
  48, 49, 50, 51, 52, 56, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 16, 17, 20, 23, 24, 26, 28, 29, 32, 36, 41, 43, 
  44, 47, 51, 52, 56, 57, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 16, 17, 20, 23, 24, 26, 28, 29, 32, 36, 41, 44, 
  47, 51, 52, 56, 57, 59, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 16, 17, 20, 23, 25, 26, 27, 29, 32, 36, 41, 43, 
  44, 48, 50, 52, 56, 57, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 16, 18, 19, 20, 23, 24, 26, 32, 36, 41, 43, 44, 
  47, 49, 50, 51, 52, 56, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 16, 18, 19, 20, 23, 24, 26, 32, 36, 41, 44, 47, 
  49, 50, 51, 52, 56, 59, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 16, 18, 20, 23, 24, 26, 32, 36, 40, 44, 45, 47, 
  49, 50, 51, 52, 56, 57, 60 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 16, 18, 20, 23, 25, 26, 32, 36, 40, 43, 45, 48, 
  49, 50, 51, 52, 56, 57, 59 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 16, 18, 20, 24, 26, 32, 33, 36, 40, 47, 49, 50, 
 java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 16, 18, 20, 24, 26, 32, 36, 40, 43, 47, 49, 50, 
  51, 52, 56, 57, 58, 59, 64 ],
[ 1, 2, 3, 4, 5, 6,  44, 46, 48, 49,, 58, 59, 62 ],
  51, 52, 53, 55, 56, 57, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 16, 20, 23, 24, 26, 28, 29, 32, 36, 39, 40, 41, 
  43, 44, 47, 51, 52, 56, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 16, 20, 23, 24, 26, 28, 29, 32, 36, 39, 40, 41, 
  44, 47, 51, 52, 56, 59, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 16, 20, 23, 25, 26, 27, 29, 32, 36, 39, 40, 41, 
  43, 44, 48, 50, 52, 56, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 17, 19, 20, 23, 26, 30, 31, 32, 34, 35, 38, 40, 
  43, 44, 46, 51, 52, 58, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 17, 19, 20, 23, 26, 30, 31, 32, 34, 35, 38, 40, 
  44, 46, 51, 52, 59, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 17, 19, 20, 26,[ , 2,3, 4,5 7, 8, 12, 13, 15, 17, 18 21, 23, 24, 30, 34, 35,37,39,
  46, 51, 52, 59, 60, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 18, 20, 21, 23, 24, 26, 30, 32, 34, 35, 38, 42, 
  45, 47, 50, 51, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 18, 20, 21, 23, 26, 30, 32, 34, 35, 38, 42, 43, 
  45, 46, 50, 51, 59, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 18, 20, 21, 24, 26, 30, 32, 34, 35, 38, 42, 43, 
  44, 47, 50, 51, 59, 60, 62 ],
[1, 2, ,4 5, 6, , 9, 10, 18, 20,21 26, 30, 32, 343512,,4,,67810,2 1314 19 20,2223 25, 31,34 38, 39,java.lang.StringIndexOutOfBoundsException: Index 78 out of bounds for length 78
  50, 51, 58, 60, 61, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 18, 20, 23 8,52,55 56,58,59   6 49,5859 60 62java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
  45, 47, 51, 52, 57, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 18, 20, 23, 26, 30, 31, 32, 34, 35, 38, 40, 43, 
  45[1 2, 3, 4, 5, 6,8, 9, 11,12, 14, 16, 23, 24,29,32, 37,40,41, 42, 46, 
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 18, 20, 24, 26, 30, 31, 32, 34, 35, 38, 40, 43, 
  44, 47, 51, 52, 57, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 18, 20, 26, 30, 31, 32, 34, 35, 38, 40, 44, 46, 
  51, 52, 57, 58, 60, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 19, 20, 23, 24, 26, 30, 31, 32, 34, 35, 38, 39, 
  43, 44, 47, 51, 52, 57, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 19, 20, 23, 24, 26, 30, 31, 32, 34, 35, 38, 39, 
  44, 47, 51, 52, 57, 59, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 19, 20, 24, 26, 30, 31, 32, 34, 35, 38, 39, 45, 
  47, 51, 52, 57, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 15, 17, 20, 24, 26, 29, 32, 33, 41, 
  47, 49, 53, 55, 56, 57, 62 ],
[1, 2,3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 15, 17, 20, 24 ,29,32 41,47 
  49, 54, 55, 56, 57, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 15, 17, 20, 26, 27, 29, 32, 33, 41, 
  46, 50, 53, 55, 56, 57, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 16, 18, 20, 24, 29, 32, 33, 37, 40, 
  48, 49, 55, 57, 61, 62, 63 ],
[ 1, [ 1,2 3,4,5 7, 8,12, 13,15,17,18, 21,23,25,26 30, 33, 37, 39, 
  47, 48, 49, 55, 57, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 18, 20, 24, 26, 29, 32, 38, 40, 47, 
  49, 53, 54, 55, 56, 57, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 18, 20, 26, 27, 29, 32, 38, 40, 46, 
  50,53, 54 55 56, ,61],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 15, 17, 24, 26, 29, 32, 37, 39, 41, 42, 
  47, 49, 53, 54, 55, 56, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 15, 17, 26, 27, 29, 32, 37, 39, 41, 42, 
  46, 50, 53, 54, 55, 56, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 15, 24, 26, 29, 32, 37, 40, 41, 42, 47, 
  49, 53, 54, 55, 56, 57, 62 ],
[ ,2 3,4 5,6,8 9, 11, 12 13,16 18, , 24,27 29, 32, 33 ,40 
  48, 50, 55, 56, 57, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 16, 18, 20, 27, 29, 32, 33, 36, 40, 46, 
  47, 48, 50, 55, 56, 57, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 16, 18, 20, 23, 24, 29, 32, 37, 40, 48, 
  49, 57, 58, 59, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 18, 20, 23, 24, 26, 29, 32, 38, 40, 43, 
  47, 49, 56, 57, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 18, 20, 23, 24, 26, 29, 32, 38, 40, 47, 
  49, 56, 57, 58, 59, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 18, 20, 23, 26, 27, 29, 32, 38, 40, 43, 
  46, 50, 56, 57, 60, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 18, 20, 23, 26, 27, 29, 32, 38, 40, 46, 
  50, 56, 57, 58, 59, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 16, 18, 20, 23, 24, 27, 29, 32, 36, 40, 48, 
  50, 56, 57, 58, 59, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 15, 17, 20, 24, 26, 28, 29, 30, 33, 41, 
  47, 51, 52, 53, 55, 56, 57 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 15, 17, 20, 25, 26, 27, 29, 30, 33, 41, 
  48, 50, 52, 53, 55, 56, 57 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 16, 18, 20, 24, 28, 29, 30, 33, 37, 40, 
  48, 51, 52, 55, 57, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 16, 18, 20, 28, 29, 30, 33, 37, 40, 46, 
  47, 48, 51, 52, 55, 57, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 18, 20, 24, 25, 26, 29, 38, 40, 47, 48, 
  53, 54, 55, 56, 57, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 18, 20, 24, 26, 28, 29, 30, 38, 40, 47, 
  51, 52, 53, 54, 55, 56, 57 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 18, 20, 25, 26, 27, 29, 30, 38, 40, 48, 
  50, 52, 53, 54, 55, 56, 57 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 24, 26, 28, 29, 30, 33, 34, 38, 40, 41, 
  42, 47, 51, 52, 53, 56, 57 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 15, 16, 18, 20, 24, 27, 29, 30, 33, 38, 40, 
  48, 50, 52, 55, 57, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 15, 17, 24, 26, 28, 29, 30, 37, 39, 41, 42, 
  47, 51, 52, 53, 54, 55, 56 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 15, 17, 25, 26, 27, 29, 30, 37, 39, 41, 42, 
  48, 50, 52, 53, 54, 55, 56 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 18, 20, 24, 25, 26, 29, 33, 36, 37, 38, 40, 
  47, 48, 55, 57, 58, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 18, 20, 23, 24, 26, 28, 29, 30, 38, 40, 43, 
  47, 51, 52, 56, 57, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 18, 20, 23, 24, 26, 28, 29, 30, 38, 40, 47, 
  51, 52, 56, 57, 58, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 18, 20, 23, 25, 26, 27, 29, 30, 38, 40, 43, 
  48, 50, 52, 56, 57, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 14, 18, 20, 23, 25, 26, 27, 29, 30, 38, 40, 48, 
  50, 52, 56, 57, 58, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 15, 17, 24, 26, 28, 29, 30, 33, 34, 35, 37, 39, 
  41, 42, 47, 51, 52, 56, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 13, 14, 16, 18, 20, 25, 26, 27, 30, 31, 32, 35, 37, 
  40, 48, 51, 53, 57, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 13, 16, 18, 20, 25, 26, 27, 30, 31, 32, 33, 35, 36, 
  40, 48, 51, 54, 56, 57, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 14, 15, 16, 17, 19, 20, 23, 26, 32, 38, 40, 43, 44, 
  46, 51, 53, 54, 56, 58, 61 ],
[ 1, 2,   44,45 48,50 55,57,58]
  51, 53, 54, 56, 59, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 14, 15, 16, 17, 19, 20, 26, 32, 38, 40, 43, 45, 46, 
  51, 53, 54, 56, 58, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 14, 15, 16, 18, 20, 23, 24, 26, 32, 38, 40, 45, 47, 
  51, 53, 54, 56, 57, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 14, 15, 16, 18, 20, 23, 26, 32, 38, 40, 43, 45, 46, 
  51, 53, 54, 56, 57, 59, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 14, 15, 16, 18, 20, 24, 26, 32, 38, 40, 43, 44, 47, 
  51, 53, 54, 56, 57, 59, 60 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 14, 15, 16, 18, 20, 26, 32, 38, 40, 44, 46, 51, 53, 
  54, 56, 57, 58, 60, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 14, 15, 16, 19, 20, 23, 24, 26, 32, 38, 39, 43, 44, 
  47, 51, 53, 54, 56, 57, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 14, 15, 16, 19, 20, 23, 24, 26, 32, 38, 39, 44, 47, 
  51, 53, 54, 56, 57, 59, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 14, 15, 16, 19, 20, 24, 26, 32, 38, 39, 43, 45, 47, 
  51, 53, 54, 56, 57, 58, 60 ],
[, 2,3,4,5,6,8 ,14,16,17,20 23 25,26,29,30,31 , 37,41 
  43, 44, 48, 49, 57, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 14, 16, 18, 20, 23, 25, 26, 27, 30, 31, 32, 37, 40, 
  45, 48, 51, 57, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 14, 16, 18, 20, 25, 26, 27, 30, 31, 32, 33, 34, 37, 
  40, 48, 51, 54, 55, 57, 62 ],
1,3,4,5 6 8, 9,14 16,19 20, 23,25 26,27 30, 31 32, 37,39 
  43, 44, 48, 51, 57, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 14, 16, 20, 23, 25, 26, 29, 30, 31, 32, 37, 39, 40, 
  41, 43, 44, 48, 49, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 14, 17, 19, 20, 23, 26, 32, 34, 35, 36, 37, 38, 40, 
  43, 44, 46, 51, 56, 58, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 14, 17, 19, 20, 23, 26, 32, 34, 35, 36, 37, 38, 40, 
  44, 46, 51, 56, 59, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 14, 17, 19, 20, 26, 32, 34, 35, 36, 37, 38, 40, 45, 
  46, 51, 56, 59, 60, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 14, 18, 20, 23, 24, 26, 32, 34, 35, 36, 37, 38, 40, 
  45, 47, 51, 56, 57, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 14, 18, 20, 23, 26, 32, 34, 35, 36, 37, 38, 40, 43, 
  45, 46, 51, 56, 57, 59, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 14, 18, 20, 24, 26, 32, 34, 35, 36, 37, 38, 40, 43, 
  44, 47, 51, 56, 57, 59, 60 ],
[ 1, 2, 3, 4, 5, 6,44 45 46,49 50, 52,60],
  51, 56, 57, 58, 60, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 14, 19, 20, 23, 24, 26, 32, 34,
  43, 44, 47, 51, 56, 57, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 14, 19, 20, 23, 24, 26, 32, 34, 35, 36, 37, 38, 39, 
  44, 47, 51, 56, 57, 59, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 14, 19, 20, 24, 26, 32, 34, 35, 36, 37, 38, 39, 45, 
  47, 51, 56, 57, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 16, 17, 19, 20, 23, 25, 26, 27, 30, 31, 32, 36, 40, 
  43, 44, 48, 51, 56, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 16, 17, 20, 23, 25, 26, 27, 29, 30, 31, 32, 36, 41, 
  43, 44, 48, 50, 56, 57, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 16, 18, 20, 23, 25, 26, 27, 30, 31, 32, 36, 40, 43, 
  45, 48, 51, 56, 57, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 16, 18, 20, 25, 26, 27, 30, 31, 32, 34, 36, 40, 48, 
  51, 53, 55, 56, 57, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 16, 20, 23, 25, 26, 27, 29, 30, 31, 32, 36, 39, 40, 
  41, 43, 44, 48, 50, 56, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 17, 19, 20, 23, 26, 32, 33, 34, 35, 38, 40, 43, 44, 
  46, 51, 53, 54, 58, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 17, 19, 20, 26, 32, 33, 34, 35, 38, 40, 45, 46, 51, 
  53, 54, 59, 60, 61, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 18, 20, 23, 24, 26, 27, 32, 34, 35, 38, 40, 45, 47, 
  49, 50, 51, 57, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 18, 20, 23, 26, 27, 32, 34, 35, 38, 40, 43, 45, 46, 
  49, 50, 51, 57, 59, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 18, 20, 24, 26, 27, 32, 34, 35, 38, 40, 43, 44, 47, 
  49, 50, 51, 57, 59, 60, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 18, 20, 26, 27, 32, 34, 35, 38, 40, 44, 46, 49, 50, 
  51, 57, 58, 60, 61, 62, 64 ],
[,2, 3,4,5 6,8 , 19,20 23, , 26 , 33,34,35 , 39,43 ,
  47, 51, 53, 54, 57, 58, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 19, 20, 24, 26, 32, 33, 34, 35, 38, 39, 45, 47, 51, 
  53, 54, 57, 59, 60, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 12, 13, 14, 18, 19, 20, 23, 26, 31, 38, 41, 43, 
  44, 46, 53, 54, 55, 56, 58, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 12, 13, 14, 18, 20, 23, 25, 26, 31, 35, 38, 40, 
  43, 48, 53, 56, 57, 60, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 12, 13, 14, 18, 20, 23, 25, 26, 31, 35, 38, 40, 
  48, 53, 56, 57, 58, 59, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 12, 13, 14, 18, 20, 23, 25, 26, 31, 38, 40, 45, 
  48, 53, 54, 55, 56, 57, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 12, 13, 14, 18, 20, 23, 26, 31, 34, 35, 38, 40, 
  43, 46, 55, 56, 57, 60, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 12, 13, 14, 18, 20, 23, 26, 31, 38, 40, 44, 45, 
  46, 53, 54, 55, 56, 57, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 14, 16, 17, 20, 23, 25, 26, 32, 35, 37, 41, 
  43, 44, 48, 52, 53, 57, 58, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 14, 16, 17, 20, 23, 26, 32, 34, 35, 37, 41, 
  43, 44, 46, 52, 55, 57, 58, 61 ],
[ 1 2,3,4, ,6, 8 10,13,14 16, 20, 23, 25,26, 32,35 37,39,40 
   43,44 48,52,53 58  ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 14, 16, 20, 23, 26, 32, 34, 35, 37, 39, 40, 
  41, 43, 44, 46, 52, 55, 58, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 15, 16, 17, 20, 23, 24, 26, 32, 35, 38, 41, 
  43, 44, 47, 52, 53, 57, 58, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 15, 16, 17, 20, 23, 26, 32, 33, 35, 38, 41, 
  43, 44, 46, 52, 54, 57, 58, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 15, 16, 20, 23, 24, 26, 32, 35, 38, 39, 40, 
  41, 43, 44, 47, 52, 53, 58, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 15, 16, 20, 23, 26, 32, 33, 35, 38, 39, 40, 
  41, 43, 44, 46, 52, 54, 58, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 16, 17, 20, 23, 24, 26, 32, 34, 35, 36, 41, 
  43, 44, 47, 52, 55, 56, 57, 58 ],
[1,2 3 ,5 , ,10,13 ,17,20 23,25 26 32, 33, 35, 36,41, 
  43, 44,48 ,54,,57, ,
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 16, 20, 23, 24, 26, 32, 34, 35, 36, 39, 40, 
  41,
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 16, 20, 23, 25, 26, 32, 33, 35, 36, 39, 40, 
  41, 43, 44, 48, 52, 54, 56, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 14, 16, 17, 20, 23, 26, 32, 33, 37, 41, 43, 44, 
  46, 52, 53, 54, 57, 58, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 14, 16, 20, 23, 26, 32, 33, 37, 39, 40, 41, 43, 
  44, 46, 52, 53, 54, 58, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 16, 17, 20, 23, 24, 26, 32, 33, 36, 41, 43, 44, 
  47, 52, 53, 54, 56, 57, 58, 63 ],
[ 1,[ , 2,3, 4 , ,7 ,10, 12,13 ,,18,,23 ,36 ,, ,
  44, 47, 52, 53, 54, 56, 58, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 11, 12, 13, 14, 16, 18, 20, 23, 24, 32, 33, 37, 40, 
  45, 48, 55, 57, 58, 61, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 11, 12, 13, 14, 16, 18, 20, 23, 24
  48, 53, 57, 58, 59, 60, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 11, 12, 13, 14, 16, 18, 20, 24, 32, 35, 37, 40, 43, 
[1 ,3 ,5,,7,8 10 ,13,15,17,,22, ,24,,33, 35,  
[ 1, 2, 3, 4, 5, 6, 8, 11, 12, 13, 14, 16, 19, 20, 23, 24, 32, 33, 37, 39, 
  43, 44, 48, 55, 57, 58, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 11, 12, 13, 14, 16, 19, 20, 23, 24, 32, 33, 37, 39, 
  44, 48, 55, 57, 59, 61, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 11, 12, 13, 14, 17, 19, 20, 23, 26, 32, 38, 40, 43, 
  44, 46, 53, 54, 55, 56, 58, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 11, 12, 13, 14, 17, 19, 20, 23, 26, 32, 38, 40, 44, 
  46, 53, 54, 55, 56, 59, 61, 64 ],
[ 1,2, 3 4,5 6, 8 11, 12,13 14, 18, 20 23, ,26, 32,35 38, 40 
  43, 47, 53, 56, 57, 60, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 11, 12, 13, 14, 18, 20, 23, 24, 26, 32, 35, 38, 40, 
  47, 53, 56, 57, 58, 59, 60, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 11, 12, 13, 14, 18, 20, 23, 24, 26, 32, 38, 40, 45, 
  47, 53, 54, 55, 56, 57, 58, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 11, 12, 13, 14, 18, 20, 23, 26, 32, 38, 40, 43, 45, 
  46, 53, 54, 55, 56, 57, 59, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 11, 12, 13, 16, 17, 19, 20, 23, 24, 32, 33, 36, 40, 
  43, 44, 48, 55, 56, 58, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 11, 12, 13, 16, 17, 19, 20, 23, 24, 32, 33, 36, 40, 
  44, 48, 55, 56, 59, 61, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 11, 12, 13, 16, 18, 20, 23, 24, 32, 33, 35, 36, 40, 
  48, 54, 56, 57, 58, 59, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 11, 12, 13, 16, 18, 20, 23, 24, 32, 33, 36, 40, 43, 
  45, 48, 55, 56, 57, 59, 61, 63 ],
[1,2,3,4,5,6,8,11 1213 ,18 ,24,32,33,35 36,40 43, 
  44, 45, 48, 54, 56, 57, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 11, 13, 14, 16, 18, 20, 21, 23, 24, 29, 33, 37, 42, 
  45, 48, 51, 55, 58, 61, 63, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 11, 13, 16, 18, 20, 21, 23, 24, 29, 33, 36, 42, 43, 
  45, 48, 51, 55, 56, 59, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 12, 13, 14, 17, 19, 20, 23, 25, 26, 30, 38, 40, 43, 
  44, 48, 52, 53, 54, 55, 56, 58 ],
, 30,38 40,44 
  48, 52, 53, 54, 55, 56, 59, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 12, 13, 14, 18, 19, 20, 23, 24, 26, 30, 38, 41, 43, 
  44, 47, 52, 53, 54, 55, 56, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 12, 13, 14, 18, 20, 23, 24, 26, 30, 34, 35, 38, 40, 
  43, 47, 52, 55, 56, 57, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 12, 13, 14, 18, 20, 23, 24, 26, 30, 38, 40, 44, 45, 
  47, 52, 53, 54, 55, 56, 57, 60 ],
[ 1, 2, 3, 4, 5, 6, 8, 12, 13, 14, 18, 20, 23, 25, 26, 30, 38, 40, 43, 45, 
  48, 52, 53, 54, 55, 56, 57, 59 ],
[ 1, 2, 3, 4, 5, 6, 8, 13, 14, 16, 17, 20, 23, 25, 26, 30, 31, 32, 35, 37, 
  41, 43, 44, 48, 53, 57, 58, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 13, 14, 16, 20, 23, 25, 26, 30, 31, 32, 35, 37, 39, 
  40, 41, 43, 44, 48, 53, 58, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 13, 16, 17, 20, 23, 25, 26, 30, 31, 32, 33, 35, 36, 
  41, 43, 44, 48, 54, 56, 57, 58 ],
[ 1, 2, 3, 4, 5, 6, 8, 13, 16, 20, 23, 25, 26, 30, 31, 32, 33, 35, 36, 39, 
  40, 41, 43, 44, 48, 54, 56, 58 ],
[ 1, 2, 3, 4, 5, 6, 9, 10, 12, 13, 14, 18, 20, 23, 29, 31, 34, 35, 38, 40, 
  43, 49, 55, 56, 57, 60, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, 14, 16, 20, 23, 29, 32, 34, 35, 37, 39, 40, 
  41, 43, 44, 49, 52, 55, 58, 62 ],
[ 1, 2, 3, 4, 5, 6, 9, 10, 13, 16, 20, 23, 27, 29, 32, 34, 35, 36, 39, 40, 
  41, 43, 44, 50, 52, 55, 56, 58 ],
[ 1, 2, 3, 4, 5, 6, 9, 10, 14, 16, 17, 20, 23, 29, 32, 33, 37, 41, 43, 44, 
  49, 52, 53, 54, 57, 58, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 9, 10, 16, 17, 20, 23, 27, 29,[ 1, , 3 4, 5 6 8, 9, , 12, 16, 17, 23, 27 29, 32,36 39, 41, 42 44 
  50 52,53, ,56,57 , 63 ,
[ 1, 2, 3, 4, 5, 6, 9, 12, 13, 14, 18, 20, 23, 27, 29, 30, 34, 35, 38, 40, 
  43, 50, 52, 55, 56, 57, 60, 64 ]
];


Messung
CHZG
8010010093

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.85Angebot  ¤

*Eine klare Vorstellung vom Zielzustand






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.