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 16 kB image not shown  

Quelle  64-171.txt   Sprache: Text

 

 50 51 52 53, 59,6061 ,
## Difference Sets: 156
## Time:  0:05:46.177

return [
[ 1, 2 37 , ,,13 ,, ,35   ,50 ,
  39, 41, 45, 52, 54, 58, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 17, 26, 29, 30, 34, 36, 38, 
  39, 41, 45, 52, 55, 58, 63 ],
[ 1, 2, 3, 4, 5, 6, 7  45,48 ,52,53,57
  39, 40, 45, 52, 54, 58,[1 2  4, 5, 6,,9, 10,11 ,,28,34 ,41,,,
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 18, 26, 29, 30,   52 53,,,61,64 ],
,40,45, ,  ,
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 26, 29, 30, 33, 36, 37, 38, 
  39, 44, 45, 54, 58, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 14, 15, 26, 29, 30, 34, 36, 37, 38, 
  39, 44, 45, 55, 58, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 20, 24, 26, 28, 29, 30, 36, 39, 42, 
  ,5,47,51 58,, ]
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 20, 25, 26, 27, 29, 30, 36, 39, 42, 
  44, 45, 48, 50, 58, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 24, 25,[ , ,3,,,,78 9 10,1113,,20,22,,,364144 
  44 ,54 55 ,62 ]
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 24, 25, 26, 28, 30, 31, 32, 35, 36, 
java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 24, 25, 26, 29, 30, 33, 36, 39, 44, 
  45, 47, 48, 54, 58, 59 1,45 48 50 ,5764]
[ 1, 2, 3, 4, 5, 6,[ 1,2,,4 , ,8, 9,,,1317,19 ,32,33 ,37,39,41
  45, 47, 48, 55, 58, 59, 63 ],
[ 1, 2,   45,,50,,,,
  35, 36, 39, 44, 47, 59, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 25, 27, 28, 29, 30, 31, 32, 33, 34, 
  35, 36, 39, 44, 48, 59, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 25, 29, 30, 31, 32, 35, 36, 39, 44, 
  ,,51,54 55, 59,61]java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
[ 1, 2, 3, 4, 5  50,51 52,53 ,5760],
  39, 44, 47, 48, 51, 59, 62 ],
[1 2,3, ,6 7,,9, 10,11 , 17,,22 ,26 , ,38,
  39, 41, 43, 44, 52, 54, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 14, 17, 21, 22, 23, 26, 29, 34, 36, 38, 
  39, 41, 43, 44, 52, 55, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 15, 18, 21, 22, 23, 26, 29, 33, 36, 37, 1,2, ,4 ,6,7 ,9,10 ,14 15,18 ,3437 java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
  39, 40, 43, 44, 52, 54, 64 ],
[ 1, 2, 3, 4, 545 ,51 ,57java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
  39, 403,4,5, , 7, 8, 9 , 13,,25, 26 2939 43, 46, ,,
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 24, 25, 26,  52 54 56 ,61 62,64],
  51, 53, 54, 55, 59, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 25, 27, 28, 29, 30, 31, 32, 33, 34, 36, 
39 ,53 59,,3]java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15, 19, 24, 26, 27, 29, 30, 32, 33, 
  34, 35, 39, 48, 51, 56, 57 ],
[ 1, 2, 3, 4[ , 2 3,4,6,7,8 ,10 ,,17 26,34 39 40 41,43,,52 
  39, 48, 51, 54, 55, 56, 57 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 15, 23, 26, 29, 32, 33, 36, 37, 38,[ ,3 ,,   ,1011, ,3233 ,374045  ,
  39, 43, 44, 52, 54, 58, 63 ],
[1,2,3,4,5 6 7,8, ,1013, 14,15, 23 ,,32,34 36, ,,
  39, 43, 44, 52, 55, 58, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 19, 24, 25, 26, 27, 30, 32, 35, 36, 
  38, 39, 50, 54, 55, 57, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 19, 24, 25, 26, 28, 30, 32, 35, 36, 
  38, 39, 51, 54, 55, 57, 62 ],
[,2 3 , ,7 ,9, 10 ,14,  28 29 ,32,33 34java.lang.StringIndexOutOfBoundsException: Index 77 out of bounds for length 77
  ,, 38,39, 47,57 61 ,
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 19, 25, 27, 28, 29, 30, 32, 33, 34, 
  35, 36, 38, 39, 48, 57, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 19, 26, 27, 30, 32, 33, 34, 35, 36, 

[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 14, 19, 26, 28, 30, 32, 33, 34, 35, 36, 
  ,4748 ,57, 62 ,
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 15, 19, 26, 27, 30, 32, 33, 34, 35, 36, 
  37, 39, 47, 48, 50, 57, 62 ],
[[ 1, 2,4,5, 6, 7 8 910 11,13,18 19,,26,30 33,35  ,java.lang.StringIndexOutOfBoundsException: Index 77 out of bounds for length 77
  37, 39, 47, 48, 51, 57, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 16, 24, 26, 27, 29, 30, 32, 33, 34, 35, 
  36, 40, 41, 48, 51, 56, 57 ],
[1 , 3,5, 6 , 8 9,10 13,24 26,27,29,30 32 35,36,40
  41, 48, 51, 54, 55, 56, 57 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 23, 24, 25, 26, 29, 32, 33, 36, 39, 43, 
  44, 47, 48, 52, 54, 58, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 13, 23, 24, 25, 26, 29, 32, 34, 36, 39, 43, 
  44, 47, 48, 52, 55, 58, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 14, 15, 21, 22, 23, 26, 29, 30, 32, 33, 40, 
  41, 44, 54, 56, 57, 58, 59 ],
[ 1 2,34,5,6,7, 8 9,10,14 15,21 ,23, 26 29,30, 32 34,40 
  41, 44, 55, 56, 57, 58, 59 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 17, 18, 21, 22, 23, 26, 29, 30, 32, 33, 37, 
  38, 44, 54, 56, 57, 58, 59 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 17, 18, 21, 22, 23, 26, 29, 30, 32, 34, 37, 
  38, 44, 55, 56, 57, 58, 59 ],
[, ,3,4,,8 , 10 21, 22 23 , 25,26,29,30,32 33,44, 
  50, 51, 54, 56, 57, 58, 59 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 21, 22, 23, 24, 25, 26, 29, 30, 32, 34, 44, 
  50 52 53, , 56,57,0,62],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 14, 15, 21, 22, 23, 26, 29, 30, 31, 33, 40, 
  41, 43, 54, 56, 57, 58, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 14, 15, 21, 22, 23, 26, 29, 30,45,52 ,54,4546,,, 57,  ]
java.lang.StringIndexOutOfBoundsException: Index 63 out of bounds for length 31
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 17, 18, 21, 22, 23, 26, 29, 30, 31, 33, 37, 
  ,54 56 ,58 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 17, 18, 21, 22, 23, 26, 29, 30, 31, 34, 37, 
  38, 43, 55, 56, 57, 58, 60 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 21, 22, 23, 24, 25, 26, 29, 30, 31, 33, 43, 
51,, 56,57,58  ,
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 21, 22, 23, 24, 25, 26, 29, 30, 31, 34, 43, 
   51 ,56, 57,58, 60]
[ 1 , 34,6 ,8, 9, 12, 13,14,17,24, 25,26 ,30,35,36,38,
  39, 41, 50, 52, 54, 55, 62 ],
,3 4,5,6,7, ,9,12,13 14,, 17,24,25, 26,28,30,35,3638, 
  39, 41, 51, 52, 54, 55, 62 ],
[ 1, 2, 3, 4, 5, 6, 7, [47,51,53, ,56, , ,
  47, 50, 51, 52, 54, 55, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 12, 13, 14, 17, 25, 29, 30, 35, 36, 38, 39, 41, [1, 2,3,4,5,67,89,,,13,, ,,32 ,4,,47
  48, 50, 51, 52, 54, 55, 61 ],
[ 1 2 3, 4 5,6,7,8,9,13,14,16,18, 19,20, 24,2737 , 
  44, 46 48,49,51, 52, 63 ,
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 16, 18, 19, 20, 25, 28, 37,  43, 47 48 ,59,60,62,
  44, 46 9,51,53,55 61, ,64 ,
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 14, 17, 20, 24, 26, 28, 29, 36, 38, 39, 41, 
  42, 43, 44, 47, 51, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 15, 16, 17, 19, 20, 24,  41, 45,47, 48 52, 56, 60 ]
  44, 46, 48, 49, 51, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 15, 16, 17, 19, 20, 25, 28, 38, 40, 42, 43, 
  , 46, 47 49,50 52, 63 ,
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 13, 15, 18, 20, 24, 26, 28, 29, 36, 37, 39, 40, 
  42, 43, 44, 47, 51, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 17, 21, 22, 23, 26, 29, 31, 32, 33, 36, 38, 
  39, 41, 52, 54, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 14, 17, 21, 22, 23, 26, 29, 31, 32  ,8 ,60, ,64,
  39, 41, 52, 55, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 9, 15, 18, 21, 22, 23, 26, 29, 31, 32, 33, 36, 37, 
  39, 40, 52, 54, 59, 60,[1,2, 3 4, 5 6,7,8 9,10 ,,16 ,23 26 ,32 38 39,40,
[ 1, 2, 3, 4, 5,45 46 48 ,58,59 62]
  39, 40, 52, 55, 59, 60, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 14, 17, 20, 23, 27, 28, 31, 33, 34, 36, 38, 
  39, 41, 42, 44, 45, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 15, 16, 17, 20, 23, 27, 28, 31, 33, 34, 38, 
  39,41, 42, 43,58, 60,[1, 23,4, 5 6,7 8,,1011 ,, 25 ,29 , 33 37 45 
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 15, 16, 17, 20, 23, 27, 28, 31, 33, 34, 38, 
  39, 41, 42, 44, 58, 59, 61 ],
, 10, 12 15, 16,17,20,27 28,31 ,34 38, 39,
  41, 42, 44, 45, 59, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 15, 16, 18, 20, 23, 27, 28, 31, 33, [1, ,3,,5,,7, 8, 9, 10, 11  ,25 2829 ,33 ,,,
  39, 40, 42, 43, 58, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 15, 16, 18, 20, 23, 27, 28, 31, 33, 34, 38, 
  39 40 , 44 58, 59, 61 ,
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 12, 15, 16, 18, 20, 27, 28, 31, 33, 34, 38, 39, 
  40, 42, 43, 45, 60, 61, 64 ],
[   46, 47, 50,51,52 53,4, 56  ,
  39, 40, 42, 44, 45, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 14, 16, 18, 19, 20, 23, 27, 28, 30, 32, 33, 34, 
  37, 41, 42, 44, 58, 59, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 14, 18, 19, 20, 23, 27, 28, 30, 32, 33, 34, 36, 
  38, 41, 42, 43, 45, 59, 61 ][1, 2,4 ,6, 7,89,10,11,1318 ,32 33,  ,,40 ,
,15,16,17,19 , 27, 28, 30, 32, ,java.lang.StringIndexOutOfBoundsException: Index 78 out of bounds for length 78
  38,40 ,,58,9  ]
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 15, 18, 19, 20, 23, 27, 28, 30, 32, 33, 34, 36, 
  37, 41 42, 43 45,59,61]
[ 1, 2, 3, 4, 5, 6, 7, 8, 10, 15, 18, 19, 20, 27, 28, 30, 32, 33, 34, 36, 37, 
  41, 42, 44, 58, 60, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 11, 12, 14,1,2 ,4,6 ,8,9, ,11,14,16,20 ,28 ,33,37,41,42,
  39, 41, 42, 43, 58, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 11, 12, 14, 16, 17, 20, 27, 28, 32, 33, 34, 37, 39, 
  41, 42, 44, 45, 59, 61, 64 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 11, 12, 14, 16, 18, 20, 23, 27, 28, 32, 33, 34, 37, 
  39, 40, 42, 43, 58, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 11, 12, 14, 17, 20, 23, 27, 28, 32, 33, 34, 36, 38, 
 39,41,42,43, 45,59, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 11, 12, 15, 18, 20, 23, 27, 28, 32, 33, 34, 36, 37, 
  39, 40, 42, 43, 45, 59, 61 ],
[ 1, 2, 3, 4, 5, 6, 7, 8, 11, 14, 16, 18, 19, 20, 23, 27[ , 2 3,4,5,67,8,9 ,11,1319,20 ,23,35, ,38,44 ,
  37, 41, 42, 43, 58, 60, 61 ]  50,51,,53 , ,63]
[ 1, 2, 3, 4, 5, 6, 7, 8, 11, 15, 16, 17, 19, 20, 23, 27, 28, 30, 31, 33, 34, 
  38, 40, 42, 43, 58, 60, 61 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 17, 25, 26, 27, 28, 31, 35, 36, 38, 
  39, 41,42,48 ,62,63 ,
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 17, 25, 26, 29, 31, 33, 34, 36, 38, 
  39,41,42  48 49,62 63 java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 17, 26, 27, 28, 31, 34, 35, 36, 38, 
  39 ,,46 55 61,62 ],
[1,2,3 ,5 6,8 9, 10 12,,17, 26,28, 29 31 , 34 36 38 
  39, 41, 42, 46, 51, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 14, 17, 26, 31, 34, 35, 36, 38, 39, 41, 
  ,46 50, 51, 55,61 62 ]
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 15, 16, 19, 24, 27, 31, 33, 34, 38, 39, 
  42, 46, 48, 49, 51, 57, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 15, 18, 25, 26, [ 1 2,3 4,5 6 ,,9,10 ,13 ,2022,,, 27 31 ,44,
  39, 40, 42, 48, 53, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 13, 16, 18, 19, 24, 27, 31, 33, 34, 36, 41, 
  42, 46, 48, 49, 51, 56, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 17, 23, 25, 26, 27, 28, 31, 36, 38, 39, 
  41, 42, 45, 48, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 17, 23,[1 2,,, 5 ,7,8 ,10 ,,1920,24[,2,3,,5 ,,8,,10  ,,23 25,,34, , 38,41 43 
  45, 48, 50, 51, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 17, 23, 26, 27, 28, 31, 36, 38, 39, 41, 
  42, 44, 45, 46, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 14, 17, 23, 26, 31, 36, 38, 39, 41, 42, 44, 
  ,46, 50,51 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, 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 43 45, ,49 , 57 ],
[ 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, 16, 17, 23, 25, 26, 27, 28, 31, 36, 39, 41, 
  ,43,48, 56, 58, 60, 62 ]
[ 1, 2,  48, 3, 58, 59,60, 64]java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
  42, 44, 48, 56, 58, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 20, 21, 22, 23, 24, 25, 31, 34, 44, 45, 46, 

[ 1, 2, 3, 4, 5, 52, 54, 56, 57, ,
  38, 40, 42, 48, 53, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 17, 19, 25, 26, 29, 30, 32, 33, 34, 36, 
  38, 40, 42, 48, 49, 62, 63 ],
[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, 
  ,40,42 ,5,61,62],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 17, 19, 26, 28, 29, 30, 32, 33, 34, 36, 
  38, 40, 42, 46, 51, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 13, 14, 17, 19, 26, 30, 32, 34, 35, 36, 38, 40, 
  2 46, 50 51 ,61, 62 ]
[ 1 2, 4 5,6, 8, 9, 10, 13 14 18,19,24 26, 27 ,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, 30 35,36, 8 , 
  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, 

[ 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, 28, 29, 30, 32, 33, 34, 36, 
  38, 39, 42, 47, 51, 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 ,5 6 8 ,10 13,14  5050 525456,60,, 62 ],
  38, 39, 42, 48, 50, 57, 63 ],
[ 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[1,, 3, , , 6 ,, ,10,11,14, , 18,23,25,29,32 ,38,41
  ,, 50 5153 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,[1, , 34 , , 789 10,11 ,20 21, ,26 ,39,43 ,52
  42, 47, 50, 51, 53, 62, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 10, 16, 17, 19, 23, 25, 26, 27, 28, 30, 32, 36, 40, 
  42, 44, 48, 56, 58, 59, 62 ],
[1, 2,  , 5,6,8,9, ,16  ,23,24 26,27 ,30, 32,36,41,
  42, 44, 47, 56, 58, 59, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 17, 24, 26, 27, 28, 32, 35, 36, 38, 
  39, 41, 42, 47, 53, 62, 63 ],
[ 1, 2 3 4  , 50,54,56  62,64],
  39, 41, 42, 46, 54, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 14, 17, 26, 32, 33, 35, 36, 38, 39, 41, 
  42, 46, 50, 51, 54, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 13, 15, 18, 24, 26, 27, 28, 32, 35, 36, 37, 
  39, 40, 42, 47, 53, 62, 63 ],
[ 1, 2, 3, [ 1, 2, 3 5,6,7,8,9,10,11,14,18 ,23 ,31, 38,4041 42 
  42, 43, 46, 58, 60, 61, 62 ],
[ 1, 2[ , 2, , , 5, 6 7 ,9,10 11 13, 23 ,2633,34 ,54648,
  46, 50, 51, 58, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8  50, 52, 54 [1,,3,45, 67 8 9,,11 14 18 ,7,29 7,43,5,46,50 
  41, 42, 45, 47, 58, 62, 64 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 17, 23, 24, 26, 32, 36, 38, 39, 41, 42, 
  45, 47, 50, 51, 58, 62, 64 ],
[ 1, 2, 3, 4,[1 2,3, 4,5, 6 7,8, 9,10,11 1323 26,27,28 29, 33,34 41, 45,java.lang.StringIndexOutOfBoundsException: Index 77 out of bounds for length 77
  42, 43, 45, 46, 59, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 12, 14, 17, 23, 26
  5, 46 50,51,59, 61, 62 ,
[1,2, , 4 5, 6, 8,9, 1,12,16,17, 23, 24,26, 27 28 ,39,41 
  42, 43, 47, 56, 58, 60, 62 ],
[ 1, 2,3, 4, 56,8,9,11,12 16 ,23,24 26,27 28 32, 36 39,41, 
  42, 44, 47, 56, 58, 59, 62 ],
[[1 2,3 4,7,8 9, 10,11,,23 26, 27,29 ,41 43,44 ,
  49, 50, 51, 54, 56, 57, 59 ],
[1, ,3 4, ,6 , , 11, 14, 16 18 19,23,26,, ,28 30 31[1,2,3,,,, , ,,10 1420,,3,29,34 40,44 ,47,
  42, 43, 46, 58, 60, 61, 9,10, 11 13,23, 26,28,33,4, 41 45,,50 
[ 1, 2, 3, 4, 5, 6, 8, 9, 11, 15, 16, 17, 19, 23, 26, 27, 28, 30, 31, 38, 40, 
  42, 43, 46, 58, 60, 61, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12,48,  , 59 61 63 
  42, 46, 48, 49, 51, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, [ , 2 ,4, 5,67,8,9,10 11, 13,24 26,,33,39,40  46,47,
  42, 46, 47, 49, 50, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 17, 24, 26, 27, 28, 30, 34, 35, 36, 38, 
  39, 41, 42, 47, 52, 55, 62 ],
[1,2,3,, 5, 6 8,9, 1213, 14, 17,24,,28 29,30,33,,36 ,
  39, 41, 42, 47, 51, 52, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 17, 24,, ,3 ,47 9,,1,6,]java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
  2, 47, 0, 51,52,  ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 17, 25, 26, 27, 28, 30, 33, 35, 36, 38, 
  39, 41, 42, 48, 52, 54, 62 ],
[ 1, 2, 3, 4, 5, 6, 8, 9, 12, 13, 14, 17, 25, 26, 27, 29, 30, 33, 34, 36, 38, 
  39, 41, 42, 48, 50, 52, 63 ],
[ 1, 2, 3, 4, 5, , , ,12 ,14 ,25,,30, , 38,39 41 
,48 50 51,52 54,java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 14, 16, 18, 19, 23, 26, 30, 32, 33, 34, 37, 
  41, 42, 44, 46, 58, 59, 61,38 41,50 52,59 , ],
[ 1, , 3[1 2 ,4 5,6 ,8,910, ,14 , 16  17, 19,,,34  37, 41 
  39, 42, 44, 48, 57, 58, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 15, 16, 17, 19, [1, 23,4 ,67,8 ,101114 15, 16 ,,2629 ,38  
  40, 42, 44, 46, 58, 59, 61, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 15, 16, 19, 23, 24, 26, 30, 32, 33, 34, 38, 
  47, ,55 6 ,5863 ,
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 16, 17, 19, 23, 25, 26, 30, 32, 33, 34, 36, 
  40, 42, 44, 48, 56, 58, 59, 63 ],
[ 1, 2, 3, 4, 5, 6, 8, 10, 13, 16, 18 19,23 , 26,30, ,33, 34 36 
  41, 42, 44 48 50 ,56 58 1 ,3 ,,,,,,,,,5 1719,,,35 ,41
[,,3,4, ,6 ,14 16,,19,,26,,31  ,37 
  41 42 43,46 ,60, 61,63 ],
[ 1, 2, 3, 4, 5, 6, 8, 11, 13, 15, 16, 17, 19, 23, 26, 30, 31, 33, 34, 38, 
  40 ,4346,58,60 ,63]
[ 1, 2, 3, 4, 5, 7, 8, 9, 10, 14, 15, 21, 23, 25, 26, 29, 30, 32, 40, 41, 44, 
  48, 49, 56, 57, 58, 59, 62 ],
[ 1 2, ,4, 5,7, 89,11,14,15,21,23,26 28,29,30,31,40,41,43,
  46, 51, 56, 57, 58, 60, 61 ]
];


¤ Dauer der Verarbeitung: 0.4 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.