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

products/sources/formale Sprachen/GAP/pkg/hap/lib/Knots/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 19.6.2025 mit Größe 1 MB image not shown  

Quelle  census.txt   Sprache: Text

 
BindGlobal("HAP_knot_census",
[ [ [ [ 3, 1 ] ], 
      [ [ [ 0 ] ], [ [ 0, 3 ] ], [ [ 0, 0 ], [ 0, 2, 2 ] ], 
          [ [ 0, 0 ], [ 0, 2 ], [ 0, 3 ] ], [ [ 0 ], [ 0, 3 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 2 ], [ 0, 0, 2 ], 
              [ 0, 0, 2 ], [ 0, 2, 2, 2 ], [ 0, 3, 3 ] ], 
          [ [ 0 ], [ 0, 0 ], [ 0, 0 ], [ 0, 0 ], [ 0, 0 ], [ 0, 2, 2 ], 
              [ 0, 2, 2 ] ] ] ], 
  [ [ [ 4, 1 ] ], 
      [ [ [ 0 ] ], [ [ 0, 5 ] ], [ [ 0, 4, 4 ] ], 
          [ [ 0, 0 ], [ 0, 3, 3, 5 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 2 ], [ 0, 0, 2 ], [ 0, 11, 11 ] ], 
          [ [ 0, 0, 2, 4 ], [ 0, 0, 3 ], [ 0, 0, 3 ], [ 0, 0, 3 ], 
              [ 0, 0, 3 ], [ 0, 0, 5 ], [ 0, 0, 5 ], [ 0, 3, 4 ], 
              [ 0, 3, 4 ], [ 0, 4, 8 ], [ 0, 5, 8, 8 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 2, 7 ], 
              [ 0, 2, 7 ], [ 0, 2, 7 ], [ 0, 2, 7 ], [ 0, 29, 29 ] ] ] ], 
  [ [ [ 5, 1 ] ], 
      [ [ [ 0 ] ], [ [ 0, 5 ] ], [ [ 0 ] ], [ [ 0, 5 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 2, 2 ], 
              [ 0, 0, 2, 2 ], [ 0, 2, 2, 2, 2 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 2 ], [ 0, 0, 2 ], 
              [ 0, 0, 2 ], [ 0, 0, 2 ], [ 0, 0, 2 ], [ 0, 0, 2 ], 
              [ 0, 2, 2, 2 ], [ 0, 5 ] ], 
          [ [ 0 ], [ 0, 0, 5 ], [ 0, 0, 5 ], [ 0, 0, 5 ], [ 0, 0, 5 ], 
              [ 0, 0, 5 ], [ 0, 0, 5 ], [ 0, 2, 2, 5 ], [ 0, 2, 2, 5 ] ] ] ], 
  [ [ [ 5, 2 ] ], 
      [ [ [ 0 ] ], [ [ 0, 7 ] ], [ [ 0, 5, 5 ] ], [ [ 0, 3, 3, 7 ] ], 
          [ [ 0, 0, 3 ], [ 0, 3, 3 ], [ 0, 11, 11 ] ], 
          [ [ 0, 0, 0, 2 ], [ 0, 0, 2, 7 ], [ 0, 0, 3 ], [ 0, 0, 3 ], 
              [ 0, 0, 7 ], [ 0, 4, 5 ], [ 0, 5, 5, 7 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 2, 4 ], 
              [ 0, 0, 4 ], [ 0, 0, 4 ], [ 0, 2, 23 ], [ 0, 2, 23 ], 
              [ 0, 13, 13 ] ] ] ], 
  [ [ [ 6, 1 ] ], 
      [ [ [ 0 ] ], [ [ 0, 9 ] ], [ [ 0, 0 ], [ 0, 7, 7 ] ], 
          [ [ 0, 2, 3 ], [ 0, 5, 5, 9 ] ], 
          [ [ 0, 0 ], [ 0, 0 ], [ 0, 31, 31 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0, 3 ], [ 0, 0, 2, 3 ], [ 0, 0, 5 ], 
              [ 0, 0, 5 ], [ 0, 3, 7, 7, 27 ], [ 0, 3, 9 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 3, 3, 3 ], [ 0, 3, 3, 3 ], [ 0, 127, 127 ] ] ] ], 
  [ [ [ 6, 2 ] ], 
      [ [ [ 0 ] ], [ [ 0, 11 ] ], [ [ 0, 5, 5 ] ], [ [ 0, 11 ] ], 
          [ [ 0, 0, 3, 5 ], [ 0, 2, 2, 2, 2 ] ], 
          [ [ 0, 4, 8 ], [ 0, 5, 5, 11 ] ], 
          [ [ 0, 2, 2, 7 ], [ 0, 2, 2, 7 ], [ 0, 4, 4 ], [ 0, 4, 4 ], 
              [ 0, 29, 29 ] ] ] ], 
  [ [ [ 6, 3 ] ], 
      [ [ [ 0 ] ], [ [ 0, 13 ] ], [ [ 0, 7, 7 ] ], [ [ 0, 3, 3, 13 ] ], 
          [ [ 0, 0, 0 ], [ 0, 4, 4, 4, 4 ] ], 
          [ [ 0, 0, 2, 3, 4 ], [ 0, 0, 3, 13 ], [ 0, 0, 3, 13 ], 
              [ 0, 0, 4, 5 ], [ 0, 0, 4, 5 ], [ 0, 7, 7, 13 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 5, 5, 17 ], [ 0, 5, 5, 17 ], 
              [ 0, 5, 5, 17 ], [ 0, 5, 5, 17 ], [ 0, 43, 43 ] ] ] ], 
  [ [ [ 7, 1 ] ], 
      [ [ [ 0 ] ], [ [ 0, 7 ] ], [ [ 0 ] ], [ [ 0, 7 ] ], [ [ 0 ] ], 
          [ [ 0, 7 ] ], 
          [ [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], 
              [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], 
              [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], 
              [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], 
              [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2 ], 
              [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2 ], 
              [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2 ], 
              [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2 ], 
              [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2 ], 
              [ 0, 0, 2, 2, 2, 2 ], [ 0, 0, 2, 2, 2, 2 ], 
              [ 0, 0, 2, 2, 2, 2 ], [ 0, 2, 2, 2, 2, 2, 2 ] ] ] ], 
  [ [ [ 7, 2 ] ], 
      [ [ [ 0 ] ], [ [ 0, 11 ] ], [ [ 0, 8, 8 ] ], 
          [ [ 0, 0 ], [ 0, 5, 5, 11 ] ], [ [ 0, 0 ], [ 0, 0 ], [ 0, 31, 31 ] ]
            , 
          [ [ 0, 0, 3 ], [ 0, 0, 3 ], [ 0, 0, 4, 8 ], [ 0, 0, 7 ], 
              [ 0, 0, 7 ], [ 0, 3, 8, 16 ], [ 0, 11, 16, 16 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 3, 8 ], [ 0, 0, 3, 8 ], 
              [ 0, 2, 4, 7 ], [ 0, 2, 4, 7 ], [ 0, 83, 83 ] ] ] ], 
  [ [ [ 7, 3 ] ], 
      [ [ [ 0 ] ], [ [ 0, 13 ] ], [ [ 0, 4, 4 ] ], [ [ 0, 0 ], [ 0, 13 ] ], 
          [ [ 0, 0 ], [ 0, 19, 19 ] ], 
          [ [ 0, 0, 2, 4 ], [ 0, 0, 3 ], [ 0, 0, 3 ], [ 0, 4, 7 ], 
              [ 0, 4, 8 ], [ 0, 8, 8, 13 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 2, 3 ], [ 0, 0, 2, 4 ], [ 0, 0, 2, 4 ], [ 0, 2, 2, 7 ], 
              [ 0, 2, 2, 7 ], [ 0, 13, 13 ] ] ] ], 
  [ [ [ 7, 4 ] ], 
      [ [ [ 0 ] ], [ [ 0, 3, 5 ] ], [ [ 0, 0 ], [ 0, 11, 11 ] ], 
          [ [ 0, 2, 3, 3 ], [ 0, 3, 5, 7, 7 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 61, 61 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], 
              [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], 
              [ 0, 0, 0, 4 ], [ 0, 0, 0, 5 ], [ 0, 0, 2, 3, 3 ], 
              [ 0, 0, 2, 4 ], [ 0, 3, 3, 5 ], [ 0, 3, 5, 9, 11, 11 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 2, 3, 3 ], 
              [ 0, 0, 0, 2, 3, 3 ], [ 0, 0, 0, 2, 3, 3 ], 
              [ 0, 0, 0, 2, 3, 3 ], [ 0, 0, 0, 2, 3, 3 ], 
              [ 0, 0, 0, 2, 3, 3 ], [ 0, 0, 0, 2, 3, 3 ], 
              [ 0, 0, 0, 2, 3, 3 ], [ 0, 0, 0, 2, 3, 3 ], 
              [ 0, 0, 0, 2, 3, 3 ], [ 0, 0, 0, 2, 3, 3 ], 
              [ 0, 0, 0, 2, 3, 3 ], [ 0, 0, 0, 2, 3, 3 ], 
              [ 0, 0, 0, 2, 3, 3 ], [ 0, 0, 0, 2, 3, 3 ], 
              [ 0, 0, 0, 2, 3, 3 ], [ 0, 0, 0, 3 ], [ 0, 0, 0, 3 ], 
              [ 0, 251, 251 ] ] ] ], 
  [ [ [ 7, 5 ] ], 
      [ [ [ 0 ] ], [ [ 0, 17 ] ], [ [ 0, 7, 7 ] ], [ [ 0, 17 ] ], 
          [ [ 0, 3, 3, 3, 3 ] ], 
          [ [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 3 ], [ 0, 0, 3 ], 
              [ 0, 7, 7, 17 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 3, 16 ], [ 0, 0, 4 ], 
              [ 0, 3, 4, 4, 5 ], [ 0, 5, 8, 8 ], [ 0, 41, 41 ] ] ] ], 
  [ [ [ 7, 6 ] ], 
      [ [ [ 0 ] ], [ [ 0, 19 ] ], [ [ 0, 11, 11 ] ], [ [ 0, 5, 5, 19 ] ], 
          [ [ 0, 0, 3, 3 ], [ 0, 0, 5 ], [ 0, 0, 5 ], 
              [ 0, 2, 2, 2, 2, 3, 3, 3, 3 ] ], 
          [ [ 0, 0, 0 ], [ 0, 11, 11, 19 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0 ], [ 0, 0, 8, 17 ], [ 0, 2, 2, 2, 3, 3 ], 
              [ 0, 2, 2, 2, 3, 3 ], [ 0, 3, 5, 5, 13 ], [ 0, 41, 41 ] ] ] ], 
  [ [ [ 7, 7 ] ], 
      [ [ [ 0 ] ], [ [ 0, 3, 7 ] ], [ [ 0, 0 ], [ 0, 13, 13 ] ], 
          [ [ 0, 2, 3, 5, 5 ], [ 0, 3, 7, 7, 7 ] ], 
          [ [ 0, 0, 5, 5 ], [ 0, 0, 7, 7 ], [ 0, 2, 2, 2, 2, 19, 19 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 7 ], [ 0, 0, 0, 7 ], 
              [ 0, 0, 2, 3, 5, 5 ], [ 0, 0, 2, 4 ], [ 0, 0, 2, 4 ], 
              [ 0, 0, 2, 7 ], [ 0, 0, 2, 7 ], [ 0, 0, 2, 7 ], [ 0, 0, 2, 7 ], 
              [ 0, 2, 2, 8, 16 ], [ 0, 3, 3, 3, 7, 13, 13 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], 
              [ 0, 0, 0, 0, 2 ], [ 0, 0, 0, 0, 2 ], [ 0, 0, 0, 0, 2, 3 ], 
              [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2, 2 ], 
              [ 0, 0, 0, 2, 2, 3, 3 ], [ 0, 0, 0, 2, 8 ], [ 0, 0, 0, 2, 8 ], 
              [ 0, 0, 0, 3, 3 ], [ 0, 0, 0, 7 ], [ 0, 0, 0, 7 ], 
              [ 0, 0, 0, 7 ], [ 0, 0, 0, 7 ], [ 0, 0, 2, 2, 2, 3, 5, 5 ], 
              [ 0, 0, 2, 2, 8, 16 ], [ 0, 0, 2, 9 ], [ 0, 0, 2, 9 ], 
              [ 0, 0, 3, 4, 16 ], [ 0, 0, 3, 4, 16 ], [ 0, 2, 2, 7, 19 ], 
              [ 0, 2, 2, 7, 19 ], [ 0, 2, 2, 7, 19 ], [ 0, 2, 2, 7, 19 ], 
              [ 0, 421, 421 ] ] ] ], 
  [ [ [ 8, 1 ] ], 
      [ [ [ 0 ] ], [ [ 0, 13 ] ], [ [ 0, 2, 2, 5, 5 ] ], 
          [ [ 0, 0 ], [ 0, 7, 7, 13 ] ], [ [ 0, 3, 3 ], [ 0, 61, 61 ] ], 
          [ [ 0, 0, 0, 4 ], [ 0, 0, 2, 5, 5 ], [ 0, 0, 3 ], [ 0, 0, 3 ], 
              [ 0, 2, 2, 2, 3, 5, 5 ], [ 0, 5, 5, 8, 8, 13 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 5, 8 ], [ 0, 0, 5, 8 ], [ 0, 2, 31 ], 
              [ 0, 2, 31 ], [ 0, 337, 337 ] ] ] ], 
  [ [ [ 8, 2 ] ], 
      [ [ [ 0 ] ], [ [ 0, 17 ] ], [ [ 0 ] ], [ [ 0, 3, 3, 17 ] ], 
          [ [ 0, 0, 3, 7 ], [ 0, 19, 19 ] ], 
          [ [ 0, 0, 3 ], [ 0, 0, 3 ], [ 0, 0, 3 ], [ 0, 0, 3 ], 
              [ 0, 0, 3, 4, 17 ], [ 0, 0, 3, 17 ], [ 0, 3, 3, 4, 11 ], 
              [ 0, 17 ] ], 
          [ [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 4 ], [ 0, 0, 2, 2, 7 ],
              [ 0, 0, 3, 4, 5 ], [ 0, 0, 7 ], [ 0, 0, 11 ], [ 0, 0, 11 ], 
              [ 0, 0, 11 ], [ 0, 0, 11 ], [ 0, 2, 2, 2, 2, 2, 2 ], 
              [ 0, 2, 3, 3, 103 ], [ 0, 2, 3, 3, 103 ] ] ] ], 
  [ [ [ 8, 3 ] ], 
      [ [ [ 0 ] ], [ [ 0, 17 ] ], [ [ 0, 13, 13 ] ], [ [ 0, 9, 9, 17 ] ], 
          [ [ 0, 3, 7 ], [ 0, 3, 7 ], [ 0, 101, 101 ] ], 
          [ [ 0, 0, 0, 5 ], [ 0, 0, 0, 5 ], [ 0, 0, 0, 5 ], [ 0, 0, 0, 5 ], 
              [ 0, 0, 0, 5 ], [ 0, 0, 0, 5 ], [ 0, 0, 0, 5 ], [ 0, 0, 0, 5 ], 
              [ 0, 0, 2, 4 ], [ 0, 0, 2, 4 ], [ 0, 0, 2, 17 ], 
              [ 0, 0, 2, 17 ], [ 0, 5, 5, 13, 13, 17 ] ], 
          [ [ 0, 0, 0, 4, 8 ], [ 0, 0, 0, 4, 8 ], [ 0, 0, 0, 4, 8 ], 
              [ 0, 0, 0, 4, 8 ], [ 0, 0, 0, 4, 8 ], [ 0, 0, 0, 4, 8 ], 
              [ 0, 0, 0, 4, 8 ], [ 0, 0, 0, 4, 8 ], [ 0, 0, 0, 4, 8 ], 
              [ 0, 0, 0, 4, 8 ], [ 0, 0, 0, 4, 8 ], [ 0, 0, 0, 4, 8 ], 
              [ 0, 0, 0, 4, 8 ], [ 0, 0, 0, 4, 8 ], [ 0, 0, 0, 4, 8 ], 
              [ 0, 0, 0, 4, 8 ], [ 0, 0, 0, 5 ], [ 0, 0, 0, 5 ], 
              [ 0, 0, 2, 5 ], [ 0, 0, 2, 5 ], [ 0, 0, 2, 5 ], [ 0, 0, 2, 5 ], 
              [ 0, 701, 701 ] ] ] ], 
  [ [ [ 8, 4 ] ], 
      [ [ [ 0 ] ], [ [ 0, 19 ] ], [ [ 0, 8, 8 ] ], [ [ 0, 0 ], [ 0, 19 ] ], 
          [ [ 0, 0, 3, 7 ], [ 0, 0, 3, 8 ], [ 0, 19, 19 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 2 ], [ 0, 0, 4, 8 ], 
              [ 0, 2, 3, 8 ], [ 0, 3, 8, 16 ], [ 0, 16, 16, 19 ] ], 
          [ [ 0, 5, 5 ], [ 0, 127, 127 ] ] ] ], 
  [ [ [ 8, 5 ] ], 
      [ [ [ 0 ] ], [ [ 0, 3, 7 ] ], [ [ 0, 0, 2 ], [ 0, 4, 4 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 2, 5 ], [ 0, 0, 4 ], [ 0, 2, 4, 5 ], 
              [ 0, 3, 7 ] ], 
          [ [ 0, 0, 3, 4 ], [ 0, 2, 3, 3, 16 ], [ 0, 3, 3, 3, 3 ], [ 0, 9 ] ],
          [ [ 0, 0 ], [ 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 2, 2, 3 ], 
              [ 0, 0, 0, 2, 2, 7 ], [ 0, 0, 0, 2, 2, 7 ], [ 0, 0, 0, 4 ], 
              [ 0, 0, 0, 4 ], [ 0, 0, 0, 8 ], [ 0, 0, 2, 2, 3, 4 ], 
              [ 0, 0, 2, 2, 4, 5 ], [ 0, 0, 2, 2, 4, 5 ], [ 0, 0, 2, 8 ], 
              [ 0, 0, 3 ], [ 0, 0, 3 ], [ 0, 0, 3 ], [ 0, 0, 3 ], 
              [ 0, 2, 3, 4, 4, 4 ], [ 0, 3, 3, 7, 8, 8 ] ], 
          [ [ 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2, 2 ], 
              [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2, 3 ], [ 0, 0, 0, 2, 4 ], 
              [ 0, 0, 0, 3 ], [ 0, 0, 0, 8 ], [ 0, 0, 0, 8 ], 
              [ 0, 0, 2, 2, 2, 23 ], [ 0, 0, 2, 2, 2, 23 ], 
              [ 0, 0, 2, 2, 4, 7 ], [ 0, 0, 2, 2, 4, 7 ], [ 0, 0, 2, 4 ], 
              [ 0, 0, 2, 4, 8 ], [ 0, 0, 8 ], [ 0, 2, 4, 4, 4, 7 ], 
              [ 0, 2, 4, 4, 4, 7 ], [ 0, 3, 53 ], [ 0, 3, 53 ] ] ] ], 
  [ [ [ 8, 6 ] ], 
      [ [ [ 0 ] ], [ [ 0, 23 ] ], [ [ 0, 11, 11 ] ], [ [ 0, 3, 3, 23 ] ], 
          [ [ 0 ], [ 0, 0, 0 ], [ 0, 0, 7 ], [ 0, 3, 3, 7 ] ], 
          [ [ 0, 0 ], [ 0, 0 ], [ 0, 0, 2, 3 ], [ 0, 0, 2, 3, 8 ], 
              [ 0, 0, 3 ], [ 0, 0, 3 ], [ 0, 0, 3, 23 ], [ 0, 0, 3, 23 ], 
              [ 0, 3, 4, 7 ], [ 0, 11, 11, 23 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 3, 3, 4, 5 ], [ 0, 2, 3, 3 ], 
              [ 0, 2, 3, 3 ], [ 0, 2, 3, 7, 11 ], [ 0, 2, 3, 7, 11 ], 
              [ 0, 2, 3, 7, 11 ], [ 0, 2, 3, 7, 11 ], [ 0, 3, 7, 17 ], 
              [ 0, 3, 7, 17 ], [ 0, 169, 169 ] ] ] ], 
  [ [ [ 8, 7 ] ], 
      [ [ [ 0 ] ], [ [ 0, 23 ] ], [ [ 0, 5, 5 ] ], [ [ 0, 23 ] ], 
          [ [ 0, 0, 3 ], [ 0, 3, 3, 9 ], [ 0, 19, 19 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 2 ], [ 0, 0, 3 ], 
              [ 0, 0, 3 ], [ 0, 4, 13 ], [ 0, 5, 5, 23 ] ], 
          [ [ 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0, 5, 7 ], [ 0, 0, 0, 7 ], [ 0, 0, 2, 2, 3 ], 
              [ 0, 0, 2, 5, 7 ], [ 0, 0, 3, 9 ], [ 0, 2, 2, 2, 2, 2, 2 ], 
              [ 0, 2, 7 ], [ 0, 2, 7 ], [ 0, 5, 5, 7 ], [ 0, 5, 5, 7 ] ] ] ], 
  [ [ [ 8, 8 ] ], 
      [ [ [ 0 ] ], [ [ 0, 25 ] ], [ [ 0, 13, 13 ] ], [ [ 0, 5, 5, 25 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 2, 2, 3, 5 ], 
              [ 0, 0, 4 ], [ 0, 41, 41 ] ], 
          [ [ 0, 0, 2 ], [ 0, 0, 2 ], [ 0, 0, 2, 4 ], [ 0, 3, 4, 8 ], 
              [ 0, 13, 13, 25 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 3, 5 ], 
              [ 0, 4, 8 ], [ 0, 4, 8 ], [ 0, 5, 7 ], [ 0, 5, 7 ], 
              [ 0, 113, 113 ] ] ] ], 
  [ [ [ 8, 9 ] ], 
      [ [ [ 0 ] ], [ [ 0, 25 ] ], [ [ 0, 7, 7 ] ], [ [ 0, 25 ] ], 
          [ [ 0, 0, 0 ], [ 0, 11, 11 ] ], [ [ 0, 7, 7, 25 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], [ 0, 0, 0, 2, 2 ], 
              [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2 ], 
              [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2, 2, 2 ], 
              [ 0, 0, 0, 4, 4 ], [ 0, 0, 0, 8, 8 ], [ 0, 3, 3, 5, 7 ], 
              [ 0, 3, 3, 5, 7 ], [ 0, 4, 4, 4, 4, 4, 4 ] ] ] ], 
  [ [ [ 8, 10 ] ], 
      [ [ [ 0 ] ], [ [ 0, 27 ] ], [ [ 0, 0, 2 ], [ 0, 8, 8 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 8 ], [ 0, 2, 3, 8 ], [ 0, 2, 8, 11 ], 
              [ 0, 27 ] ], [ [ 0 ], [ 0, 0, 8 ], [ 0, 2, 3, 32 ], [ 0, 5, 9 ] 
             ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2, 9 ], [ 0, 0, 0, 4 ], 
              [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], 
              [ 0, 0, 0, 4, 4 ], [ 0, 0, 0, 4, 4, 9 ], [ 0, 0, 0, 9 ], 
              [ 0, 0, 2 ], [ 0, 0, 2, 2, 3, 8 ], [ 0, 0, 2, 2, 4 ], 
              [ 0, 0, 2, 3 ], [ 0, 0, 3, 8 ], [ 0, 0, 4, 4, 11 ], 
              [ 0, 0, 4, 4, 16 ], [ 0, 0, 9 ], [ 0, 2, 3, 3, 4 ] ], 
          [ [ 0 ], [ 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0 ], [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 4 ], 
              [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], [ 0, 0, 0, 4, 5 ], [ 0, 0, 2 ], 
              [ 0, 0, 2 ], [ 0, 0, 2, 2, 13 ], [ 0, 0, 2, 3, 7 ], 
              [ 0, 0, 2, 4 ], [ 0, 0, 2, 4, 17 ], [ 0, 0, 2, 5, 8 ], 
              [ 0, 0, 2, 8 ], [ 0, 0, 3 ], [ 0, 0, 3, 3, 4, 7 ], 
              [ 0, 0, 3, 3, 8 ], [ 0, 0, 3, 3, 32 ], [ 0, 0, 4, 4 ], 
              [ 0, 2, 2, 2, 2, 7 ], [ 0, 2, 2, 2, 2, 7 ], 
              [ 0, 2, 2, 2, 2, 49 ], [ 0, 2, 2, 2, 2, 49 ] ] ] ], 
  [ [ [ 8, 11 ] ], 
      [ [ [ 0 ] ], [ [ 0, 27 ] ], [ [ 0, 0 ], [ 0, 2, 2, 7, 7 ] ], 
          [ [ 0, 0 ], [ 0, 2, 3, 5, 7 ], [ 0, 5, 5, 27 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 3 ], [ 0, 0, 3 ], [ 0, 0, 8, 8 ], 
              [ 0, 31, 31 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 7, 7, 9 ], [ 0, 0, 0, 9 ], 
              [ 0, 0, 0, 9 ], [ 0, 0, 2, 3 ], [ 0, 0, 2, 3, 5, 7 ], 
              [ 0, 0, 2, 7, 7 ], [ 0, 2, 2, 2, 7, 7 ] ], 
          [ [ 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 0 ], 
              [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], 
              [ 0, 0, 0, 0 ], [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2 ], 
              [ 0, 0, 0, 2, 7 ], [ 0, 0, 0, 3 ], [ 0, 0, 0, 3 ], 
              [ 0, 0, 0, 4, 4 ], [ 0, 0, 0, 4, 4 ], [ 0, 0, 0, 4, 4 ], 
              [ 0, 0, 0, 7 ], [ 0, 0, 0, 8 ], [ 0, 0, 0, 8 ], [ 0, 0, 2 ], 
              [ 0, 0, 2 ], [ 0, 0, 2 ], [ 0, 0, 2 ], [ 0, 0, 9, 11, 11 ], 
              [ 0, 0, 17 ], [ 0, 0, 17 ], [ 0, 2, 2, 5, 7 ], 
              [ 0, 2, 2, 5, 7 ], [ 0, 2, 2, 11, 11 ], [ 0, 2, 2, 169 ], 
              [ 0, 2, 2, 169 ], [ 0, 2, 2, 169 ], [ 0, 2, 2, 169 ], 
              [ 0, 3, 4, 5, 16 ], [ 0, 3, 4, 5, 16 ], [ 0, 127, 127 ] ] ] ], 
  [ [ [ 8, 12 ] ], 
      [ [ [ 0 ] ], [ [ 0, 29 ] ], [ [ 0, 19, 19 ] ], [ [ 0, 11, 11, 29 ] ], 
          [ [ 0, 4, 4, 4, 4, 11, 11 ] ], [ [ 0, 5, 5, 19, 19, 29 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0, 9, 9 ], [ 0, 0, 2, 7 ], [ 0, 0, 2, 7 ], 
              [ 0, 0, 2, 7 ], [ 0, 0, 2, 7 ], [ 0, 0, 11, 13 ], 
              [ 0, 0, 11, 13 ], [ 0, 2, 2, 3, 11, 23 ], 
              [ 0, 2, 2, 3, 11, 23 ], [ 0, 1471, 1471 ] ] ] ], 
  [ [ [ 8, 13 ] ], 
      [ [ [ 0 ] ], [ [ 0, 29 ] ], [ [ 0, 16, 16 ] ], 
          [ [ 0, 0 ], [ 0, 7, 7, 29 ] ], [ [ 0, 0, 3, 7 ], [ 0, 9, 9, 9, 9 ] ]
            , 
          [ [ 0, 0 ], [ 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 8, 16 ], 
              [ 0, 5, 16, 32 ], [ 0, 29, 32, 32 ] ], 
          [ [ 0, 0, 0, 3 ], [ 0, 2, 2, 2, 7 ], [ 0, 2, 2, 2, 7 ], 
              [ 0, 3, 8, 11, 16 ], [ 0, 3, 8, 11, 16 ], [ 0, 3, 67 ], 
              [ 0, 3, 67 ], [ 0, 379, 379 ] ] ] ], 
  [ [ [ 8, 14 ] ], 
      [ [ [ 0 ] ], [ [ 0, 31 ] ], [ [ 0, 17, 17 ] ], [ [ 0, 7, 7, 31 ] ], 
          [ [ 0, 71, 71 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 2, 4 ], [ 0, 0, 2, 4 ], 
              [ 0, 2, 25, 32 ], [ 0, 2, 25, 32 ], [ 0, 17, 17, 31 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0 ], [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], [ 0, 0, 27 ], 
              [ 0, 3, 3, 5, 29 ], [ 0, 3, 3, 5, 49 ], [ 0, 3, 7, 19 ], 
              [ 0, 3, 7, 19 ], [ 0, 5, 11, 43 ], [ 0, 5, 11, 43 ], 
              [ 0, 41, 41 ] ] ] ], 
  [ [ [ 8, 15 ] ], 
      [ [ [ 0 ] ], [ [ 0, 3, 11 ] ], [ [ 0, 0, 2 ], [ 0, 16, 16 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 2, 5 ], [ 0, 2, 3, 4, 19 ], [ 0, 3, 4, 16 ], 
              [ 0, 3, 5, 5, 11 ] ], 
          [ [ 0, 0 ], [ 0, 0 ], [ 0, 0, 3, 3 ], [ 0, 2, 2, 3, 9, 19 ], 
              [ 0, 3, 3, 8, 8 ], [ 0, 31, 31 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 2, 2 ], 
              [ 0, 0, 0, 2, 2, 11 ], [ 0, 0, 0, 2, 3 ], [ 0, 0, 0, 2, 4 ], 
              [ 0, 0, 0, 3, 4 ], [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], 
              [ 0, 0, 0, 4 ], [ 0, 0, 0, 8, 8, 11 ], [ 0, 0, 2, 2, 3, 4, 19 ],
              [ 0, 0, 2, 3, 4, 8 ], [ 0, 0, 2, 5, 8, 16 ], [ 0, 0, 3, 3 ], 
              [ 0, 0, 3, 4, 16 ], [ 0, 2, 3, 4, 4, 4 ], [ 0, 2, 3, 11, 32 ], 
              [ 0, 2, 3, 11, 32 ], [ 0, 2, 16, 16, 32 ], 
              [ 0, 3, 3, 11, 13, 13 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 2, 2 ], 
              [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 3 ], [ 0, 0, 0, 2, 4 ], 
              [ 0, 0, 0, 3 ], [ 0, 0, 0, 3 ], [ 0, 0, 0, 3 ], [ 0, 0, 0, 3 ], 
              [ 0, 0, 0, 3 ], [ 0, 0, 0, 4 ], [ 0, 0, 2 ], [ 0, 0, 2 ], 
              [ 0, 0, 2, 2, 2, 4, 5 ], [ 0, 0, 2, 7, 139 ], [ 0, 0, 2, 101 ], 
              [ 0, 0, 2, 101 ], [ 0, 0, 3, 13 ], [ 0, 0, 4, 5, 67 ], 
              [ 0, 2, 2, 7, 9, 11 ], [ 0, 2, 2, 7, 9, 11 ], 
              [ 0, 2, 2, 7, 9, 11 ], [ 0, 2, 2, 7, 9, 11 ], [ 0, 4, 4, 1151 ],
              [ 0, 4, 4, 1151 ], [ 0, 5, 7, 8, 8 ], [ 0, 5, 7, 8, 8 ], 
              [ 0, 83, 83 ] ] ] ], 
  [ [ [ 8, 16 ] ], 
      [ [ [ 0 ] ], [ [ 0, 5, 7 ] ], [ [ 0, 11, 11 ] ], [ [ 0, 5, 7 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 2, 4 ], [ 0, 19, 19 ] ], 
          [ [ 0, 0 ], [ 0, 0 ], [ 0, 0 ], [ 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 2 ], [ 0, 0, 2 ], [ 0, 0, 2 ], [ 0, 0, 2 ], 
              [ 0, 0, 2, 2, 3, 7 ], [ 0, 0, 2, 3 ], [ 0, 0, 2, 3 ], 
              [ 0, 0, 2, 3 ], [ 0, 0, 2, 3, 5 ], [ 0, 0, 3 ], [ 0, 0, 3 ], 
              [ 0, 0, 4 ], [ 0, 0, 4 ], [ 0, 2, 3, 3, 5, 8 ], [ 0, 2, 4, 9 ], 
              [ 0, 2, 4, 9 ], [ 0, 5, 7, 11, 11 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0, 0 ], [ 0, 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2 ], [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2 ], 
              [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2 ], 
              [ 0, 0, 0, 2, 2, 2 ], [ 0, 0, 0, 2, 2, 2, 3 ], 
              [ 0, 0, 0, 2, 8 ], [ 0, 0, 2, 4, 5, 8 ], [ 0, 0, 2, 11 ], 
              [ 0, 0, 13 ], [ 0, 2, 2, 2, 19 ], [ 0, 2, 2, 2, 19 ], 
              [ 0, 2, 2, 3, 3, 17 ], [ 0, 2, 2, 3, 3, 17 ], 
              [ 0, 2, 2, 3, 4, 19 ], [ 0, 2, 2, 3, 4, 19 ], 
              [ 0, 2, 2, 3, 5, 23 ], [ 0, 3, 7, 7, 37 ], [ 0, 101 ], 
              [ 0, 101 ], [ 0, 113, 113 ] ] ] ], 
  [ [ [ 8, 17 ] ], 
      [ [ [ 0 ] ], [ [ 0, 37 ] ], [ [ 0, 13, 13 ] ], [ [ 0, 3, 3, 37 ] ], 
          [ [ 0, 0 ], [ 0, 0 ], [ 0, 0, 0 ], [ 0, 31, 31 ] ], 
          [ [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 2, 2, 2, 3 ], 
              [ 0, 0, 2, 3 ], [ 0, 0, 2, 3 ], [ 0, 0, 2, 37 ], 
              [ 0, 0, 2, 37 ], [ 0, 0, 3 ], [ 0, 0, 3 ], [ 0, 13, 13, 37 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 2, 3 ], [ 0, 0, 2, 3 ], [ 0, 2, 3, 7, 13 ], 
              [ 0, 2, 3, 7, 13 ], [ 0, 2, 3, 89 ], [ 0, 2, 3, 89 ], 
              [ 0, 4, 7, 73 ], [ 0, 4, 7, 73 ], [ 0, 197, 197 ] ] ] ], 
  [ [ [ 8, 18 ] ], 
      [ [ [ 0 ] ], [ [ 0, 3, 3, 5 ] ], 
          [ [ 0, 0, 3 ], [ 0, 0, 3 ], [ 0, 0, 3 ], [ 0, 0, 3 ], 
              [ 0, 2, 2, 8, 8 ] ], 
          [ [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], 
              [ 0, 0, 2, 2, 2 ], [ 0, 2, 3, 7, 7 ], [ 0, 2, 3, 7, 7 ], 
              [ 0, 2, 3, 7, 7 ], [ 0, 2, 3, 7, 7 ], [ 0, 3, 3, 3, 3, 5 ] ], 
          [ [ 0, 0, 0, 2, 2 ], [ 0, 0, 2, 2, 3, 3, 4 ], 
              [ 0, 0, 2, 2, 3, 3, 4 ], [ 0, 0, 4, 16 ], [ 0, 0, 4, 16 ], 
              [ 0, 3, 3, 8, 8 ], [ 0, 3, 3, 8, 8 ], [ 0, 3, 3, 8, 8 ], 
              [ 0, 3, 3, 8, 8 ], [ 0, 11, 11 ] ], 
          [ [ 0, 0 ], [ 0, 0 ], [ 0, 0 ], [ 0, 0 ], 
              [ 0, 0, 0, 0, 0, 4, 4, 5 ], [ 0, 0, 0, 2, 2, 8, 8 ], 
              [ 0, 0, 0, 2, 2, 8, 8 ], [ 0, 0, 0, 2, 2, 8, 8 ], 
              [ 0, 0, 0, 2, 2, 8, 8 ], [ 0, 0, 0, 3, 3 ], [ 0, 0, 0, 3, 3 ], 
              [ 0, 0, 0, 3, 3 ], [ 0, 0, 0, 3, 3 ], [ 0, 0, 0, 3, 4 ], 
              [ 0, 0, 0, 3, 4 ], [ 0, 0, 0, 3, 4 ], [ 0, 0, 0, 3, 4 ], 
              [ 0, 0, 0, 3, 5, 9 ], [ 0, 0, 0, 3, 5, 9 ], 
              [ 0, 0, 0, 3, 5, 9 ], [ 0, 0, 0, 3, 5, 9 ], 
              [ 0, 0, 2, 2, 2, 2, 2, 4, 8 ], [ 0, 0, 2, 2, 2, 2, 8, 8 ], 
              [ 0, 0, 2, 2, 2, 2, 8, 8 ], [ 0, 0, 2, 2, 2, 2, 8, 8 ], 
              [ 0, 0, 2, 2, 2, 2, 8, 8 ], [ 0, 0, 2, 3, 3, 3 ], 
              [ 0, 0, 2, 3, 3, 3 ], [ 0, 0, 2, 3, 3, 3, 3, 5 ], 
              [ 0, 0, 2, 3, 3, 3, 3, 5 ], [ 0, 0, 2, 3, 3, 7, 7 ], 
              [ 0, 0, 2, 3, 3, 7, 7 ], [ 0, 0, 2, 3, 3, 7, 7 ], 
              [ 0, 0, 2, 3, 3, 7, 7 ], [ 0, 0, 2, 3, 5, 5 ], 
              [ 0, 0, 2, 3, 5, 5 ], [ 0, 0, 2, 3, 5, 5 ], 
              [ 0, 0, 2, 3, 5, 5 ], [ 0, 0, 3, 7, 8 ], [ 0, 0, 3, 7, 8 ], 
              [ 0, 0, 3, 7, 8 ], [ 0, 0, 3, 7, 8 ], 
              [ 0, 2, 3, 3, 3, 5, 5, 8 ], [ 0, 2, 3, 3, 3, 5, 5, 8 ], 
              [ 0, 3, 3, 3, 3, 3, 5 ], [ 0, 3, 3, 3, 3, 3, 5 ], 
              [ 0, 3, 3, 3, 3, 3, 5 ], [ 0, 3, 3, 3, 3, 3, 5 ], 
              [ 0, 3, 4, 5, 5, 5 ], [ 0, 3, 4, 5, 5, 5 ], [ 0, 3, 4, 5, 32 ], 
              [ 0, 3, 4, 5, 32 ], [ 0, 3, 4, 5, 32 ], [ 0, 3, 4, 5, 32 ], 
              [ 0, 4, 4, 4, 4, 8, 16 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 0, 0, 2, 2 ], 
              [ 0, 0, 0, 0, 0, 2, 2 ], [ 0, 0, 0, 0, 2 ], [ 0, 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2, 2, 3, 3 ], [ 0, 0, 0, 2, 2, 3, 3 ], 
              [ 0, 0, 0, 2, 2, 3, 3 ], [ 0, 0, 0, 2, 2, 3, 3 ], 
              [ 0, 0, 0, 2, 2, 3, 3 ], [ 0, 0, 0, 2, 2, 3, 3 ], 
              [ 0, 0, 0, 2, 2, 3, 3 ], [ 0, 0, 0, 2, 2, 3, 3 ], 
              [ 0, 0, 0, 3, 3 ], [ 0, 0, 0, 3, 3 ], [ 0, 0, 0, 3, 3 ], 
              [ 0, 0, 0, 3, 3 ], [ 0, 0, 0, 3, 3, 5, 8 ], 
              [ 0, 0, 0, 3, 3, 5, 8 ], [ 0, 0, 0, 3, 3, 5, 8 ], 
              [ 0, 0, 0, 3, 3, 5, 8 ], [ 0, 0, 0, 7 ], [ 0, 0, 0, 7 ], 
              [ 0, 0, 2, 2, 5, 7 ], [ 0, 0, 2, 2, 5, 7 ], 
              [ 0, 0, 2, 2, 5, 7 ], [ 0, 0, 2, 2, 5, 7 ], 
              [ 0, 0, 2, 2, 5, 7 ], [ 0, 0, 2, 2, 5, 7 ], 
              [ 0, 0, 2, 2, 5, 7 ], [ 0, 0, 2, 2, 5, 7 ], [ 0, 0, 3, 7 ], 
              [ 0, 0, 3, 7 ], [ 0, 0, 3, 7 ], [ 0, 0, 3, 7 ], [ 0, 0, 3, 7 ], 
              [ 0, 0, 3, 7 ], [ 0, 0, 3, 7 ], [ 0, 0, 3, 7 ], [ 0, 0, 4, 17 ],
              [ 0, 0, 4, 17 ], [ 0, 0, 4, 17 ], [ 0, 0, 4, 17 ], 
              [ 0, 0, 5, 13, 29 ], [ 0, 0, 5, 13, 29 ], [ 0, 0, 5, 13, 29 ], 
              [ 0, 0, 5, 13, 29 ], [ 0, 0, 19 ], [ 0, 0, 19 ], [ 0, 0, 19 ], 
              [ 0, 0, 19 ], [ 0, 0, 19 ], [ 0, 0, 19 ], [ 0, 0, 19 ], 
              [ 0, 0, 19 ], [ 0, 2, 2, 7, 49 ], [ 0, 2, 2, 7, 49 ], 
              [ 0, 2, 2, 7, 49 ], [ 0, 2, 2, 7, 49 ], [ 0, 2, 2, 7, 49 ], 
              [ 0, 2, 2, 7, 49 ], [ 0, 2, 2, 7, 49 ], [ 0, 2, 2, 7, 49 ], 
              [ 0, 2, 4, 7, 23, 23 ], [ 0, 2, 4, 7, 23, 23 ], 
              [ 0, 2, 4, 7, 23, 23 ], [ 0, 2, 4, 7, 23, 23 ], [ 0, 2, 547 ], 
              [ 0, 2, 547 ], [ 0, 2, 547 ], [ 0, 2, 547 ], [ 0, 2, 547 ], 
              [ 0, 2, 547 ], [ 0, 2, 547 ], [ 0, 2, 547 ], [ 0, 2, 547 ], 
              [ 0, 2, 547 ], [ 0, 2, 547 ], [ 0, 2, 547 ], [ 0, 2, 547 ], 
              [ 0, 2, 547 ], [ 0, 2, 547 ], [ 0, 2, 547 ], [ 0, 29, 29 ] ] ] ]
    , 
  [ [ [ 8, 19 ] ], 
      [ [ [ 0 ] ], [ [ 0, 3 ] ], [ [ 0, 0, 2 ], [ 0, 4, 4 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 2 ], [ 0, 2, 4 ], 
              [ 0, 3, 3, 3 ] ], 
          [ [ 0 ], [ 0, 0, 3 ], [ 0, 0, 3 ], [ 0, 0, 3 ], [ 0, 2, 2, 3 ] ], 
          [ [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], 
              [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 2, 2 ], 
              [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 4 ], 
              [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], 
              [ 0, 0, 0, 4 ], [ 0, 0, 2, 2, 4 ], [ 0, 0, 2, 2, 4 ], 
              [ 0, 0, 2, 2, 4 ], [ 0, 0, 3, 3 ], [ 0, 0, 3, 3 ], 
              [ 0, 0, 3, 3 ], [ 0, 0, 3, 3 ], [ 0, 2, 2, 3, 3 ], 
              [ 0, 2, 4, 4, 4 ], [ 0, 3, 3, 4 ] ], 
          [ [ 0 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2 ], [ 0, 0, 2, 2, 2 ], [ 0, 0, 2, 2, 2 ], 
              [ 0, 0, 2, 2, 2 ], [ 0, 0, 2, 2, 2 ], [ 0, 0, 4, 4 ], 
              [ 0, 0, 4, 4 ], [ 0, 0, 4, 4 ], [ 0, 0, 4, 4 ], [ 0, 0, 4, 4 ], 
              [ 0, 0, 4, 4 ], [ 0, 2, 2, 4, 4 ], [ 0, 2, 2, 4, 4 ], 
              [ 0, 2, 3, 3, 3 ], [ 0, 2, 3, 3, 3 ] ] ] ], 
  [ [ [ 8, 20 ] ], 
      [ [ [ 0 ] ], [ [ 0, 9 ] ], [ [ 0, 0, 2 ], [ 0, 4, 4 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 2 ], [ 0, 0, 4 ], [ 0, 2, 8 ], [ 0, 9 ] ], 
          [ [ 0 ], [ 0, 0, 0 ], [ 0, 5, 9 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 2, 2 ], 
              [ 0, 0, 0, 2, 2, 3 ], [ 0, 0, 0, 2, 2, 3 ], [ 0, 0, 0, 4 ], 
              [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], [ 0, 0, 2, 2, 4 ], 
              [ 0, 0, 2, 2, 8 ], [ 0, 0, 2, 2, 8 ], [ 0, 0, 2, 4 ], 
              [ 0, 0, 3 ], [ 0, 0, 3 ], [ 0, 2, 4, 4, 4 ], [ 0, 3, 9, 9 ] ], 
          [ [ 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 5 ], [ 0, 0, 0, 5 ], 
              [ 0, 0, 0, 7 ], [ 0, 0, 2, 7 ], [ 0, 0, 2, 7 ], [ 0, 0, 4, 7 ], 
              [ 0, 0, 4, 7 ], [ 0, 2, 5, 7 ], [ 0, 2, 5, 7 ], [ 0, 4, 4, 7 ], 
              [ 0, 4, 4, 7 ] ] ] ], 
  [ [ [ 8, 21 ] ], 
      [ [ [ 0 ] ], [ [ 0, 3, 5 ] ], [ [ 0, 0, 2 ], [ 0, 8, 8 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 2 ], [ 0, 2, 4 ], [ 0, 3, 3, 3, 5 ], 
              [ 0, 3, 4, 8 ] ], 
          [ [ 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 2, 3 ], 
              [ 0, 0, 2, 4 ], [ 0, 2, 2, 3 ], [ 0, 11, 11 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2, 5 ], [ 0, 0, 0, 2, 5 ], 
              [ 0, 0, 0, 3 ], [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], 
              [ 0, 0, 0, 4, 4, 5 ], [ 0, 0, 2 ], [ 0, 0, 2 ], 
              [ 0, 0, 2, 2, 4 ], [ 0, 0, 2, 4, 4 ], [ 0, 0, 2, 4, 8 ], 
              [ 0, 0, 2, 5, 9 ], [ 0, 0, 2, 8, 8 ], [ 0, 0, 3 ], [ 0, 0, 3 ], 
              [ 0, 0, 3, 4 ], [ 0, 0, 3, 4 ], [ 0, 0, 3, 4, 8 ], 
              [ 0, 0, 4, 4 ], [ 0, 2, 2, 4, 16 ], [ 0, 3, 3, 5 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2, 3 ], [ 0, 0, 0, 2, 3 ], [ 0, 0, 2 ], [ 0, 0, 2 ], 
              [ 0, 0, 2 ], [ 0, 0, 2 ], [ 0, 0, 2, 3 ], [ 0, 0, 2, 3 ], 
              [ 0, 0, 2, 3 ], [ 0, 0, 2, 3 ], [ 0, 0, 2, 3, 4 ], 
              [ 0, 0, 2, 3, 9 ], [ 0, 0, 2, 23 ], [ 0, 0, 2, 23 ], 
              [ 0, 0, 3, 8 ], [ 0, 0, 3, 9 ], [ 0, 0, 4, 5 ], 
              [ 0, 2, 2, 2, 7 ], [ 0, 2, 2, 2, 7 ], [ 0, 4, 4, 7 ], 
              [ 0, 4, 4, 7 ], [ 0, 7, 61 ], [ 0, 7, 61 ], [ 0, 29, 29 ] ] ] ],
  [ [ [ 9, 1 ] ], 
      [ [ [ 0 ] ], [ [ 0, 9 ] ], [ [ 0, 0 ], [ 0, 2, 2 ] ], 
          [ [ 0, 0, 3 ], [ 0, 2, 3 ], [ 0, 9 ] ], [ [ 0 ], [ 0, 3, 9 ] ], 
          [ [ 0, 0, 0, 3 ], [ 0, 0, 0, 3 ], [ 0, 0, 0, 3 ], [ 0, 0, 2, 3 ], 
              [ 0, 0, 2, 3 ], [ 0, 0, 2, 3 ], [ 0, 2, 2, 2, 3 ], 
              [ 0, 3, 9, 9 ] ], 
          [ [ 0 ], [ 0, 0, 3, 3 ], [ 0, 0, 3, 3 ], [ 0, 0, 3, 3 ], 
              [ 0, 0, 3, 3 ], [ 0, 2, 2, 3, 3 ], [ 0, 2, 2, 3, 3 ] ] ] ], 
  [ [ [ 9, 2 ] ], 
      [ [ [ 0 ] ], [ [ 0, 3, 5 ] ], [ [ 0, 0 ], [ 0, 11, 11 ] ], 
          [ [ 0, 2, 5 ], [ 0, 3, 5, 7, 7 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 2 ], [ 0, 61, 61 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0, 5 ], [ 0, 0, 2, 5 ], [ 0, 0, 9 ], 
              [ 0, 0, 9 ], [ 0, 3, 3, 5 ], [ 0, 3, 5, 9, 11, 11 ], 
              [ 0, 4, 9 ] ], [ [ 0, 251, 251 ] ] ] ], 
  [ [ [ 9, 3 ] ], 
      [ [ [ 0 ] ], [ [ 0, 19 ] ], [ [ 0 ] ], [ [ 0, 3, 3, 19 ] ], 
          [ [ 0, 0, 3, 5 ], [ 0, 0, 3, 8 ], [ 0, 2, 2, 2, 2 ] ], 
          [ [ 0, 0, 3 ], [ 0, 0, 3 ], [ 0, 0, 3, 5, 19 ], [ 0, 0, 3, 19 ], 
              [ 0, 3, 3, 4, 13 ], [ 0, 4, 8 ], [ 0, 19 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 7 ], [ 0, 0, 7 ], [ 0, 0, 8 ], 
              [ 0, 0, 13 ], [ 0, 0, 13 ], [ 0, 2, 3, 3, 151 ], 
              [ 0, 2, 3, 3, 151 ], [ 0, 71, 71 ] ] ] ], 
  [ [ [ 9, 4 ] ], 
      [ [ [ 0 ] ], [ [ 0, 3, 7 ] ], [ [ 0, 0 ], [ 0, 7, 7 ] ], 
          [ [ 0, 2, 3 ], [ 0, 3, 7 ] ], 
          [ [ 0, 0, 7, 9 ], [ 0, 2, 2, 2, 2, 11, 11 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0, 7 ], [ 0, 0, 2, 3 ], [ 0, 3, 3, 7 ], 
              [ 0, 3, 7, 7, 7, 9 ], [ 0, 4, 16 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 3 ], [ 0, 0, 3, 8 ], [ 0, 2, 17 ], [ 0, 2, 17 ], 
              [ 0, 83, 83 ] ] ] ], 
  [ [ [ 9, 5 ] ], 
      [ [ [ 0 ] ], [ [ 0, 23 ] ], [ [ 0, 17, 17 ] ], [ [ 0, 11, 11, 23 ] ], 
          [ [ 0, 3, 7 ], [ 0, 151, 151 ] ], 
          [ [ 0, 0, 2, 8 ], [ 0, 0, 16 ], [ 0, 0, 16 ], 
              [ 0, 5, 5, 17, 17, 23 ] ], 
          [ [ 0, 0, 5, 5 ], [ 0, 0, 5, 5 ], [ 0, 1049, 1049 ] ] ] ], 
  [ [ [ 9, 6 ] ], 
      [ [ [ 0 ] ], [ [ 0, 27 ] ], [ [ 0, 0 ], [ 0, 2, 2 ] ], 
          [ [ 0, 0, 5 ], [ 0, 2, 5 ], [ 0, 3, 3, 27 ] ], 
          [ [ 0, 7, 9 ], [ 0, 19, 19 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0, 9 ], [ 0, 0, 0, 9 ], [ 0, 0, 2 ], 
              [ 0, 0, 2, 5 ], [ 0, 0, 2, 5 ], [ 0, 0, 81 ], [ 0, 0, 81 ], 
              [ 0, 2, 2, 2 ], [ 0, 3, 9, 27 ] ], 
          [ [ 0, 0 ], [ 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 17 ], 
              [ 0, 0, 17 ], [ 0, 2, 2 ], [ 0, 2, 2 ], [ 0, 5, 19 ], 
              [ 0, 5, 19 ], [ 0, 29, 29 ] ] ] ], 
  [ [ [ 9, 7 ] ], 
      [ [ [ 0 ] ], [ [ 0, 29 ] ], [ [ 0, 13, 13 ] ], [ [ 0, 3, 3, 29 ] ], 
          [ [ 0, 0, 7 ], [ 0, 2, 2, 2, 2 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 2, 29 ], [ 0, 0, 29 ], [ 0, 13, 13, 29 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 5 ], [ 0, 0, 0, 5 ], 
              [ 0, 0, 0, 5 ], [ 0, 0, 4, 5 ], [ 0, 0, 5 ], [ 0, 0, 5 ], 
              [ 0, 2, 2, 4, 8 ], [ 0, 2, 2, 4, 8 ], [ 0, 13, 25 ], 
              [ 0, 181, 181 ] ] ] ], 
  [ [ [ 9, 8 ] ], 
      [ [ [ 0 ] ], [ [ 0, 31 ] ], [ [ 0, 17, 17 ] ], [ [ 0, 7, 7, 31 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 13 ], [ 0, 71, 71 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 2, 5 ], [ 0, 0, 8 ], [ 0, 0, 9 ], 
              [ 0, 0, 9 ], [ 0, 2, 5, 7, 8 ], [ 0, 17, 17, 31 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 5 ], [ 0, 0, 5 ], 
              [ 0, 3, 3, 5, 5 ], [ 0, 5, 5, 9 ], [ 0, 41, 41 ] ] ] ], 
  [ [ [ 9, 9 ] ], 
      [ [ [ 0 ] ], [ [ 0, 31 ] ], [ [ 0 ] ], [ [ 0, 31 ] ], [ [ 0 ] ], 
          [ [ 0, 31 ] ], [ [ 0 ] ] ] ], 
  [ [ [ 9, 10 ] ], 
      [ [ [ 0 ] ], [ [ 0, 3, 11 ] ], [ [ 0, 0 ], [ 0, 13, 13 ] ], 
          [ [ 0, 2, 3, 7, 7 ], [ 0, 3, 11 ] ], 
          [ [ 0, 0, 7, 7 ], [ 0, 59, 59 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0, 3 ], [ 0, 0, 0, 11 ], [ 0, 0, 0, 11 ], 
              [ 0, 0, 2, 3, 7, 7 ], [ 0, 0, 3, 3, 9 ], [ 0, 0, 3, 3, 9 ], 
              [ 0, 3, 3, 3, 11, 13, 13 ] ], 
          [ [ 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0, 0, 0 ], [ 0, 0, 0, 3, 3 ], [ 0, 0, 2, 3, 5, 5, 8 ], 
              [ 0, 0, 3, 3, 3 ], [ 0, 2, 2, 2, 2, 3, 7 ], 
              [ 0, 2, 2, 2, 2, 3, 7 ], [ 0, 2, 2, 2, 2, 3, 7 ], 
              [ 0, 2, 2, 2, 2, 3, 7 ], [ 0, 3, 8, 8 ], [ 0, 3, 8, 8 ], 
              [ 0, 16, 16 ], [ 0, 16, 16 ], [ 0, 419, 419 ] ] ] ], 
  [ [ [ 9, 11 ] ], 
      [ [ [ 0 ] ], [ [ 0, 3, 11 ] ], [ [ 0, 0 ], [ 0, 7, 7 ] ], 
          [ [ 0, 2, 3, 5 ], [ 0, 3, 3, 3, 11 ] ], 
          [ [ 0, 0, 11 ], [ 0, 79, 79 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0, 11 ], [ 0, 0, 2, 3, 5 ], [ 0, 0, 3 ], 
              [ 0, 0, 3 ], [ 0, 0, 3, 3, 5, 11 ], [ 0, 0, 3, 3, 11 ], 
              [ 0, 3, 3, 3, 7, 7, 11 ], [ 0, 3, 4, 5, 13 ], [ 0, 9, 9, 11 ] ],
          [ [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 3, 3 ], 
              [ 0, 0, 0, 4 ], [ 0, 0, 2, 2, 3, 5 ], [ 0, 2, 2, 2, 2, 2, 2 ], 
              [ 0, 2, 7, 97 ], [ 0, 2, 7, 97 ], [ 0, 4, 32 ], [ 0, 4, 32 ], 
              [ 0, 5, 281 ], [ 0, 5, 281 ], [ 0, 5, 281 ], [ 0, 5, 281 ] ] ] ]
    , 
  [ [ [ 9, 12 ] ], 
      [ [ [ 0 ] ], [ [ 0, 5, 7 ] ], [ [ 0, 4, 4, 5, 5 ] ], 
          [ [ 0, 0 ], [ 0, 5, 7, 9, 9 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 2, 3 ], [ 0, 11, 11, 11, 11 ] ], 
          [ [ 0, 0, 2 ], [ 0, 0, 2 ], [ 0, 0, 2, 4, 5, 5 ], 
              [ 0, 0, 3, 5, 5, 7 ], [ 0, 0, 3, 5, 7 ], [ 0, 0, 9 ], 
              [ 0, 0, 9 ], [ 0, 4, 5, 5, 7, 8 ], [ 0, 4, 5, 9 ], 
              [ 0, 5, 5, 5, 7, 8, 8 ] ], 
          [ [ 0, 0, 0, 0 ], [ 0, 0, 0, 4, 5 ], [ 0, 0, 4, 32 ], 
              [ 0, 2, 2, 2, 2, 7 ], [ 0, 2, 2, 2, 2, 7 ], 
              [ 0, 2, 2, 2, 5, 7 ], [ 0, 2, 2, 2, 5, 7 ], 
              [ 0, 2, 2, 2, 5, 7 ], [ 0, 2, 2, 2, 5, 7 ], [ 0, 2, 2, 7, 101 ],
              [ 0, 2, 2, 7, 101 ], [ 0, 5, 9 ], [ 0, 13, 13, 29, 29 ] ] ] ], 
  [ [ [ 9, 13 ] ], 
      [ [ [ 0 ] ], [ [ 0, 37 ] ], [ [ 0, 16, 16 ] ], 
          [ [ 0, 0 ], [ 0, 3, 3, 37 ] ], 
          [ [ 0, 0, 13 ], [ 0, 3, 9, 13 ], [ 0, 29, 29 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 2, 3 ], [ 0, 0, 3, 5, 37 ], 
              [ 0, 0, 3, 37 ], [ 0, 0, 8, 16 ], [ 0, 3, 4, 17 ], 
              [ 0, 5, 16, 32 ], [ 0, 32, 32, 37 ] ], 
          [ [ 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 3 ], 
              [ 0, 0, 0, 9 ], [ 0, 0, 2, 3, 9, 9 ], [ 0, 0, 3, 11 ], 
              [ 0, 2, 233 ], [ 0, 2, 233 ], [ 0, 503, 503 ] ] ] ], 
  [ [ [ 9, 14 ] ], 
      [ [ [ 0 ] ], [ [ 0, 37 ] ], [ [ 0, 2, 2, 11, 11 ] ], 
          [ [ 0, 0 ], [ 0, 11, 11, 37 ] ], 
          [ [ 0, 3, 3, 13 ], [ 0, 191, 191 ] ], 
          [ [ 0, 0, 2, 3, 16 ], [ 0, 0, 2, 11, 11 ], 
              [ 0, 2, 2, 2, 3, 11, 11 ], [ 0, 8, 8, 11, 11, 37 ] ], 
          [ [ 0, 0, 0, 0, 2 ], [ 0, 0, 0, 2, 17 ], [ 0, 0, 0, 2, 17 ], 
              [ 0, 2, 2, 3, 5, 7, 9 ], [ 0, 2, 2, 5, 5 ], [ 0, 2, 2, 5, 5 ], 
              [ 0, 3, 3, 4, 49 ], [ 0, 3, 3, 4, 49 ], [ 0, 3, 3, 4, 49 ], 
              [ 0, 3, 3, 4, 49 ], [ 0, 523 ], [ 0, 523 ], [ 0, 1499, 1499 ] ] 
         ] ], 
  [ [ [ 9, 15 ] ], 
      [ [ [ 0 ] ], [ [ 0, 3, 13 ] ], [ [ 0, 0 ], [ 0, 23, 23 ] ], 
          [ [ 0, 2, 3, 5, 7 ], [ 0, 3, 11, 11, 13 ] ], 
          [ [ 0, 0, 5, 11 ], [ 0, 181, 181 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0, 13 ], [ 0, 0, 0, 13 ], 
              [ 0, 0, 2, 3, 5, 7 ], [ 0, 2, 2, 8, 32 ], 
              [ 0, 3, 3, 3, 13, 23, 23 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0, 2, 17 ], [ 0, 0, 0, 2, 17 ], [ 0, 2, 2, 3, 13 ], 
              [ 0, 2, 2, 3, 13 ], [ 0, 13, 13, 71, 71 ], [ 0, 13, 29 ], 
              [ 0, 13, 29 ], [ 0, 13, 29 ], [ 0, 13, 29 ] ] ] ], 
  [ [ [ 9, 16 ] ], 
      [ [ [ 0 ] ], [ [ 0, 3, 13 ] ], [ [ 0, 0, 2 ], [ 0, 8, 8 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 2, 7 ], [ 0, 2, 4, 11 ], [ 0, 3, 13 ], 
              [ 0, 4, 5, 16 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 3 ], [ 0, 0, 13 ], 
              [ 0, 3, 8, 8 ], [ 0, 19, 19 ] ], 
          [ [ 0, 0 ], [ 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 0 ], 
              [ 0, 0, 0, 0, 2 ], [ 0, 0, 0, 2, 2, 3 ], [ 0, 0, 0, 2, 2, 13 ], 
              [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], [ 0, 0, 0, 4, 4, 13 ], 
              [ 0, 0, 2, 2, 4, 11 ], [ 0, 0, 2, 3, 8 ], [ 0, 0, 2, 3, 8 ], 
              [ 0, 0, 2, 4, 7, 8 ], [ 0, 0, 2, 4, 8 ], [ 0, 0, 2, 8, 8 ], 
              [ 0, 0, 3 ], [ 0, 0, 3 ], [ 0, 0, 3 ], [ 0, 0, 3, 4 ], 
              [ 0, 0, 3, 4 ], [ 0, 0, 3, 11 ], [ 0, 0, 4, 5, 16 ], 
              [ 0, 3, 3, 13 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 3 ], [ 0, 0, 2, 3, 4 ], [ 0, 0, 2, 3, 5, 31 ], 
              [ 0, 0, 2, 19 ], [ 0, 0, 2, 19 ], [ 0, 0, 4, 4 ], 
              [ 0, 0, 8, 25 ], [ 0, 3, 3, 4, 4 ], [ 0, 3, 3, 4, 4 ], 
              [ 0, 3, 9, 17 ], [ 0, 3, 9, 17 ], [ 0, 4, 8 ], [ 0, 4, 8 ], 
              [ 0, 4, 8 ], [ 0, 4, 8 ], [ 0, 13, 13 ] ] ] ], 
  [ [ [ 9, 17 ] ], 
      [ [ [ 0 ] ], [ [ 0, 3, 13 ] ], [ [ 0, 0 ], [ 0, 11, 11 ] ], 
          [ [ 0, 2, 5, 9, 9 ], [ 0, 3, 13 ] ], [ [ 0, 0, 0 ], [ 0, 79, 79 ] ],
          [ [ 0, 0, 0 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 3, 4 ], 
              [ 0, 0, 0, 3, 4 ], [ 0, 0, 0, 13 ], [ 0, 0, 2, 4 ], 
              [ 0, 0, 2, 5, 9, 9 ], [ 0, 3, 3, 13 ], [ 0, 3, 9, 11, 11, 13 ] ]
            , 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], 
              [ 0, 0, 0, 2, 3, 3 ], [ 0, 0, 0, 2, 3, 3 ], [ 0, 0, 0, 3 ], 
              [ 0, 0, 0, 3 ], [ 0, 0, 2, 2, 8, 8 ], [ 0, 0, 2, 2, 27, 27 ], 
              [ 0, 0, 3, 3 ], [ 0, 0, 3, 3 ], [ 0, 0, 3, 3 ], [ 0, 0, 3, 3 ], 
              [ 0, 0, 5, 17 ], [ 0, 0, 5, 17 ], [ 0, 0, 7, 7, 8 ], 
              [ 0, 0, 31, 31 ], [ 0, 2, 2, 2, 2, 2, 2, 29, 29 ], 
              [ 0, 7, 11 ], [ 0, 7, 11 ], [ 0, 7, 11 ], [ 0, 7, 11 ] ] ] ], 
  [ [ [ 9, 18 ] ], 
      [ [ [ 0 ] ], [ [ 0, 41 ] ], [ [ 0, 19, 19 ] ], [ [ 0, 5, 5, 41 ] ], 
          [ [ 0, 0, 5 ], [ 0, 0, 5 ], [ 0, 11, 11 ] ], [ [ 0, 19, 19, 41 ] ], 
          [ [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 5, 9 ], 
              [ 0, 0, 2, 5, 25 ], [ 0, 0, 2, 7 ], [ 0, 0, 2, 7 ], 
              [ 0, 3, 5, 7, 17 ], [ 0, 3, 7, 8, 8 ], [ 0, 3, 7, 8, 8 ], 
              [ 0, 461, 461 ] ] ] ], 
  [ [ [ 9, 19 ] ], 
      [ [ [ 0 ] ], [ [ 0, 41 ] ], [ [ 0, 25, 25 ] ], [ [ 0, 13, 13, 41 ] ], 
          [ [ 0, 3, 3, 3, 3, 29, 29 ] ], [ [ 0, 5, 5, 25, 25, 41 ] ], 
          [ [ 0, 0 ], [ 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 2, 2, 7, 19, 41 ], [ 0, 5, 17, 19 ], [ 0, 5, 17, 19 ], 
              [ 0, 2437, 2437 ] ] ] ], 
  [ [ [ 9, 20 ] ], 
      [ [ [ 0 ] ], [ [ 0, 41 ] ], [ [ 0, 13, 13 ] ], [ [ 0, 41 ] ], 
          [ [ 0, 3, 8, 8 ], [ 0, 29, 29 ] ], 
          [ [ 0, 0, 2, 4 ], [ 0, 13, 13, 41 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 3 ], [ 0, 0, 0, 3 ], 
              [ 0, 0, 0, 11, 13 ], [ 0, 0, 2, 2, 9, 31 ], [ 0, 0, 4, 32 ], 
              [ 0, 2, 2, 2, 2, 2, 2, 13, 13 ], [ 0, 4, 4, 7 ], [ 0, 4, 4, 7 ] 
             ] ] ], 
  [ [ [ 9, 21 ] ], 
      [ [ [ 0 ] ], [ [ 0, 43 ] ], [ [ 0, 2, 2, 13, 13 ] ], 
          [ [ 0, 0 ], [ 0, 13, 13, 43 ] ], [ [ 0, 251, 251 ] ], 
          [ [ 0, 0, 2, 13, 13 ], [ 0, 0, 9 ], [ 0, 0, 9 ], 
              [ 0, 2, 2, 2, 5, 13, 13 ], [ 0, 8, 8, 13, 13, 43 ] ], 
          [ [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2, 8 ], 
              [ 0, 0, 0, 5, 13 ], [ 0, 0, 0, 9, 9 ], [ 0, 0, 2, 7 ], 
              [ 0, 0, 2, 7 ], [ 0, 0, 2, 9, 29 ], [ 0, 0, 5 ], [ 0, 0, 5 ], 
              [ 0, 0, 5 ], [ 0, 0, 5 ], [ 0, 0, 7 ], [ 0, 0, 7 ], 
              [ 0, 0, 17, 17 ], [ 0, 2, 2, 3, 7, 9, 13 ], 
              [ 0, 2, 2, 3, 7, 9, 13 ], [ 0, 2, 2, 5, 9, 13 ], 
              [ 0, 3, 5, 17 ], [ 0, 3, 5, 17 ], [ 0, 1721, 1721 ] ] ] ], 
  [ [ [ 9, 22 ] ], 
      [ [ [ 0 ] ], [ [ 0, 43 ] ], [ [ 0, 2, 2, 7, 7 ] ], 
          [ [ 0, 0, 2 ], [ 0, 43 ] ], 
          [ [ 0, 0 ], [ 0, 0, 0, 3 ], [ 0, 0, 0, 3 ], [ 0, 7, 7, 7, 7 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2, 3 ], 
              [ 0, 0, 2, 3 ], [ 0, 0, 3 ], [ 0, 0, 3 ], [ 0, 0, 3 ], 
              [ 0, 0, 3, 4, 4 ], [ 0, 0, 4, 7, 7 ], 
              [ 0, 2, 2, 2, 2, 7, 7, 43 ], [ 0, 3, 4, 7, 7, 16 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2 ], [ 0, 0, 2, 2 ], [ 0, 0, 2, 2 ], 
              [ 0, 0, 2, 2, 3, 3 ], [ 0, 0, 2, 3, 3, 19 ], [ 0, 0, 3, 11 ], 
              [ 0, 0, 5 ], [ 0, 2, 2 ], [ 0, 2, 2, 2, 7, 41 ], 
              [ 0, 2, 2, 2, 7, 41 ], [ 0, 2, 2, 4, 47 ], [ 0, 2, 2, 4, 47 ], 
              [ 0, 3, 3, 3, 3, 3, 3, 13, 13 ], [ 0, 7, 103 ], [ 0, 7, 103 ] ] 
         ] ], 
  [ [ [ 9, 23 ] ], 
      [ [ [ 0 ] ], [ [ 0, 5, 9 ] ], [ [ 0, 0 ], [ 0, 2, 2, 11, 11 ] ], 
          [ [ 0, 0, 3 ], [ 0, 2, 3, 7, 7 ], [ 0, 5, 7, 7, 9 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 2, 2, 7, 7 ], [ 0, 0, 2, 2, 8 ], 
              [ 0, 61, 61 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0, 0, 2 ], [ 0, 0, 0, 0, 2 ], 
              [ 0, 0, 0, 3 ], [ 0, 0, 0, 3 ], [ 0, 0, 0, 3, 5 ], 
              [ 0, 0, 0, 3, 5 ], [ 0, 0, 0, 3, 5, 11, 11 ], 
              [ 0, 0, 2, 3, 7, 7 ], [ 0, 0, 2, 3, 11, 11 ], [ 0, 0, 2, 7, 7 ],
              [ 0, 2, 2, 2, 3, 3, 11, 11 ], [ 0, 2, 2, 3, 8, 16 ], 
              [ 0, 3, 4, 7, 16 ], [ 0, 3, 4, 7, 16 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0, 2, 3 ], [ 0, 0, 0, 2, 3 ], [ 0, 0, 0, 2, 3, 3 ], 
              [ 0, 0, 0, 2, 3, 3 ], [ 0, 0, 2 ], [ 0, 0, 2 ], [ 0, 0, 2 ], 
              [ 0, 0, 2 ], [ 0, 0, 3, 5 ], [ 0, 0, 3, 5 ], [ 0, 0, 3, 5 ], 
              [ 0, 0, 3, 5 ], [ 0, 0, 5, 5, 7 ], [ 0, 0, 7, 9, 9 ], 
              [ 0, 0, 8, 8 ], [ 0, 0, 8, 8 ], [ 0, 2, 2, 32, 32 ], 
              [ 0, 2, 2, 32, 32 ], [ 0, 3, 83, 83 ], [ 0, 251, 251 ] ] ] ], 
  [ [ [ 9, 24 ] ], 
      [ [ [ 0 ] ], [ [ 0, 5, 9 ] ], [ [ 0, 0, 2 ], [ 0, 16, 16 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 16 ], [ 0, 2, 3, 3, 5, 8 ], [ 0, 2, 8, 19 ], 
              [ 0, 3, 3, 5, 9 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 2, 5 ], [ 0, 0, 2, 9 ], 
              [ 0, 3, 3, 5, 11, 11 ], [ 0, 11, 11 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2, 2, 3 ], [ 0, 0, 0, 2, 2, 3, 5 ], 
              [ 0, 0, 0, 2, 3, 5 ], [ 0, 0, 0, 3, 5, 8, 8 ], [ 0, 0, 0, 4 ], 
              [ 0, 0, 0, 4 ], [ 0, 0, 2 ], [ 0, 0, 2, 2, 3 ], 
              [ 0, 0, 2, 2, 3 ], [ 0, 0, 2, 2, 3, 3, 5, 8 ], 
              [ 0, 0, 2, 2, 3, 4, 11 ], [ 0, 0, 3 ], [ 0, 0, 3 ], 
              [ 0, 0, 3 ], [ 0, 0, 3 ], [ 0, 0, 4, 4, 19 ], [ 0, 0, 5, 9, 9 ],
              [ 0, 0, 8, 8, 32 ], [ 0, 2, 3, 4, 32 ], [ 0, 2, 3, 8, 49 ], 
              [ 0, 2, 3, 8, 49 ], [ 0, 3, 4, 4, 4 ], [ 0, 3, 4, 16, 16 ], 
              [ 0, 3, 5, 8, 8, 9, 9 ], [ 0, 4, 4, 5, 16, 32 ] ], 
          [ [ 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2, 4 ], [ 0, 0, 0, 2, 5 ], [ 0, 0, 0, 4 ], 
              [ 0, 0, 0, 4 ], [ 0, 0, 0, 5 ], [ 0, 0, 0, 8 ], [ 0, 0, 0, 8 ], 
              [ 0, 0, 0, 25 ], [ 0, 0, 2, 3 ], [ 0, 0, 2, 3, 5 ], 
              [ 0, 0, 2, 5, 5, 7, 11 ], [ 0, 0, 3, 4 ], 
              [ 0, 0, 3, 5, 7, 7, 8 ], [ 0, 0, 7, 8 ], [ 0, 0, 7, 11, 16 ], 
              [ 0, 0, 7, 11, 16 ], [ 0, 0, 7, 16 ], 
              [ 0, 2, 2, 2, 2, 7, 29, 29 ], [ 0, 2, 2, 2, 2, 7, 29, 29 ], 
              [ 0, 2, 2, 2, 7, 9 ], [ 0, 2, 2, 2, 7, 9 ], 
              [ 0, 2, 2, 2, 7, 49 ], [ 0, 2, 2, 2, 7, 49 ], 
              [ 0, 2, 3, 3, 343 ], [ 0, 2, 3, 3, 343 ], [ 0, 2, 4, 4, 343 ], 
              [ 0, 2, 4, 4, 343 ], [ 0, 7, 13, 16 ], [ 0, 7, 13, 16 ], 
              [ 0, 29, 29 ] ] ] ], 
  [ [ [ 9, 25 ] ], 
      [ [ [ 0 ] ], [ [ 0, 47 ] ], [ [ 0, 2, 2, 13, 13 ] ], 
          [ [ 0, 0, 2 ], [ 0, 11, 11, 47 ] ], 
          [ [ 0, 0, 0, 3 ], [ 0, 0, 0, 3 ], [ 0, 0, 7 ], [ 0, 181, 181 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 4 ], [ 0, 0, 2, 3, 7 ], 
              [ 0, 0, 3, 19 ], [ 0, 0, 4, 13, 13 ], 
              [ 0, 2, 2, 2, 2, 13, 13, 47 ], [ 0, 4, 13, 13, 32 ] ], 
          [ [ 0, 0 ], [ 0, 0, 0, 2, 2 ], [ 0, 0, 2, 2, 3, 3, 9 ], 
              [ 0, 2, 2, 2, 127 ], [ 0, 2, 2, 2, 127 ], [ 0, 2, 4, 1097 ], 
              [ 0, 2, 4, 1097 ], [ 0, 2, 7, 31, 37 ], [ 0, 2, 7, 31, 37 ], 
              [ 0, 2, 2039 ], [ 0, 2, 2039 ], [ 0, 3, 4, 4, 5 ], 
              [ 0, 503, 503 ] ] ] ], 
  [ [ [ 9, 26 ] ], 
      [ [ [ 0 ] ], [ [ 0, 47 ] ], [ [ 0, 17, 17 ] ], [ [ 0, 3, 3, 47 ] ], 
          [ [ 0, 0, 3, 17 ], [ 0, 3, 3, 3, 3 ], [ 0, 7, 9, 17 ] ], 
          [ [ 0, 0, 2, 5 ], [ 0, 0, 7, 47 ], [ 0, 0, 7, 47 ], 
              [ 0, 4, 5, 7, 23 ], [ 0, 17, 17, 47 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 3, 3, 13 ], [ 0, 2, 2, 2, 2, 2, 2, 43, 43 ], 
              [ 0, 2, 5, 5, 17, 23 ], [ 0, 2, 5, 5, 17, 23 ] ] ] ], 
  [ [ [ 9, 27 ] ], 
      [ [ [ 0 ] ], [ [ 0, 49 ] ], [ [ 0, 19, 19 ] ], [ [ 0, 5, 5, 49 ] ], 
          [ [ 0, 0 ], [ 0, 0 ], [ 0, 61, 61 ] ], [ [ 0, 19, 19, 49 ] ], 
          [ [ 0, 0, 0, 0 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], [ 0, 0, 2, 2, 9, 67 ], 
              [ 0, 0, 3, 4 ], [ 0, 0, 3, 4 ], [ 0, 0, 3, 4 ], [ 0, 0, 3, 4 ], 
              [ 0, 0, 3, 5, 13 ], [ 0, 0, 7, 8, 16 ], 
              [ 0, 2, 2, 2, 2, 2, 2, 43, 43 ] ] ] ], 
  [ [ [ 9, 28 ] ], 
      [ [ [ 0 ] ], [ [ 0, 3, 17 ] ], [ [ 0, 0, 2 ], [ 0, 4, 4, 5, 5 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 2, 7 ], [ 0, 2, 3, 4, 29 ], 
              [ 0, 3, 4, 7, 16 ], [ 0, 3, 5, 5, 17 ] ], 
          [ [ 0, 0, 2 ], [ 0, 0, 2 ], [ 0, 0, 4 ], [ 0, 2, 2, 3, 3, 7, 9 ], 
              [ 0, 41, 41 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2, 5, 5, 17 ], 
              [ 0, 0, 0, 2, 2, 17 ], [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], 
              [ 0, 0, 2, 2, 3, 3, 4 ], [ 0, 0, 2, 2, 3, 4, 29 ], 
              [ 0, 0, 2, 2, 4, 5, 5, 7 ], [ 0, 0, 3, 3, 5 ], 
              [ 0, 0, 3, 3, 7 ], [ 0, 0, 3, 4 ], [ 0, 0, 3, 4 ], 
              [ 0, 0, 3, 5, 5 ], [ 0, 0, 3, 7, 8, 8 ], [ 0, 0, 9 ], 
              [ 0, 0, 9 ], [ 0, 2, 4, 4, 4, 5, 5 ], [ 0, 3, 3, 8, 8, 17 ], 
              [ 0, 3, 4, 25 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2, 3 ], 
              [ 0, 0, 0, 2, 5 ], [ 0, 0, 0, 2, 5 ], [ 0, 0, 2, 2, 2, 5 ], 
              [ 0, 0, 2, 2, 2, 5 ], [ 0, 0, 2, 2, 3, 128 ], 
              [ 0, 0, 2, 4, 4, 9 ], [ 0, 0, 2, 4, 4, 9 ], 
              [ 0, 0, 2, 4, 9, 64 ], [ 0, 0, 3, 3, 9 ], [ 0, 0, 4 ], 
              [ 0, 0, 4 ], [ 0, 2, 2, 2, 2, 3, 7, 25 ], 
              [ 0, 2, 2, 2, 2, 3, 7, 25 ], [ 0, 2, 2, 2, 3, 937 ], 
              [ 0, 2, 2, 2, 3, 937 ], [ 0, 2, 2, 2, 3, 937 ], 
              [ 0, 2, 2, 2, 3, 937 ], [ 0, 2, 2, 4, 4, 7, 31 ], 
              [ 0, 2, 2, 4, 4, 7, 31 ], [ 0, 2, 4, 4, 4, 49 ], 
              [ 0, 2, 4, 4, 4, 49 ], [ 0, 2, 7, 103 ], [ 0, 2, 7, 103 ], 
              [ 0, 13, 13, 13, 13 ] ] ] ], 
  [ [ [ 9, 29 ] ], 
      [ [ [ 0 ] ], [ [ 0, 3, 17 ] ], [ [ 0, 0 ], [ 0, 4, 4, 5, 5 ] ], 
          [ [ 0, 0, 2 ], [ 0, 2, 3, 11 ], [ 0, 3, 5, 5, 17 ] ], 
          [ [ 0, 0 ], [ 0, 0, 2 ], [ 0, 0, 2 ], [ 0, 0, 4, 5 ], 
              [ 0, 3, 3, 11, 11 ], [ 0, 41, 41 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 2, 2, 5, 5, 17 ], 
              [ 0, 0, 0, 16 ], [ 0, 0, 0, 17 ], [ 0, 0, 2 ], [ 0, 0, 2 ], 
              [ 0, 0, 2, 2, 3, 5 ], [ 0, 0, 2, 2, 4, 5, 5 ], 
              [ 0, 0, 2, 3, 11 ], [ 0, 0, 2, 4 ], [ 0, 0, 2, 4 ], 
              [ 0, 0, 3, 3 ], [ 0, 0, 3, 4, 8 ], [ 0, 0, 9 ], 
              [ 0, 2, 3, 4, 64 ], [ 0, 2, 4, 4, 4, 5, 5 ], [ 0, 3, 3, 17 ] ], 
          [ [ 0, 0 ], [ 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 0 ], 
              [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2 ], [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2, 2 ], 
              [ 0, 0, 0, 2, 2, 2 ], [ 0, 0, 0, 2, 7 ], [ 0, 0, 0, 3 ], 
              [ 0, 0, 0, 3 ], [ 0, 0, 0, 3, 5 ], [ 0, 4, 4, 23 ], 
              [ 0, 4, 4, 23 ], [ 0, 13, 13, 13, 13 ] ] ] ], 
  [ [ [ 9, 30 ] ], 
      [ [ [ 0 ] ], [ [ 0, 53 ] ], [ [ 0, 2, 2, 11, 11 ] ], 
          [ [ 0, 0, 2 ], [ 0, 7, 7, 53 ] ], 
          [ [ 0, 0, 0, 3 ], [ 0, 121, 121 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 3 ], [ 0, 0, 4, 11, 11 ], 
              [ 0, 0, 4, 11, 11 ], [ 0, 2, 2, 2, 2, 11, 11, 53 ] ], 
          [ [ 0, 0, 0, 2, 2 ], [ 0, 0, 2, 37 ], [ 0, 0, 5 ], 
              [ 0, 2, 2, 2, 343 ], [ 0, 2, 2, 2, 343 ], 
              [ 0, 2, 2, 7, 9, 125 ], [ 0, 2, 2, 7, 9, 125 ], 
              [ 0, 2, 3, 2503 ], [ 0, 2, 3, 2503 ], [ 0, 2, 3511 ], 
              [ 0, 2, 3511 ], [ 0, 3, 25, 241 ], [ 0, 3, 47, 157 ], 
              [ 0, 883, 883 ] ] ] ], 
  [ [ [ 9, 31 ] ], 
      [ [ [ 0 ] ], [ [ 0, 5, 11 ] ], [ [ 0, 23, 23 ] ], 
          [ [ 0, 5, 7, 7, 11 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 2, 2, 9, 9 ], [ 0, 3, 3, 3, 4, 32 ], 
              [ 0, 3, 3, 3, 4, 32 ], [ 0, 101, 101 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 2, 2, 8 ], [ 0, 0, 2, 2, 8 ], 
              [ 0, 0, 2, 3, 4 ], [ 0, 0, 2, 3, 4 ], [ 0, 0, 3, 7 ], 
              [ 0, 0, 3, 7 ], [ 0, 2, 2, 2, 3, 3, 5, 7, 11 ], 
              [ 0, 2, 2, 2, 3, 3, 5, 7, 11 ], [ 0, 2, 3, 8, 8, 32 ], 
              [ 0, 5, 11, 23, 23 ] ], 
          [ [ 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 13, 13 ], 
              [ 0, 0, 2, 2, 3, 3, 8, 8 ], [ 0, 0, 2, 2, 9, 9 ], 
              [ 0, 0, 103, 103 ], [ 0, 2, 2, 2, 2, 2, 2, 3, 3, 3, 3, 3, 3 ], 
              [ 0, 4, 4, 5, 19, 37 ], [ 0, 4, 4, 5, 19, 37 ], 
              [ 0, 4, 4, 5, 19, 37 ], [ 0, 4, 4, 5, 19, 37 ], 
              [ 0, 7, 7, 8, 8 ], [ 0, 7, 7, 8, 8 ] ] ] ], 
  [ [ [ 9, 32 ] ], 
      [ [ [ 0 ] ], [ [ 0, 59 ] ], [ [ 0, 23, 23 ] ], [ [ 0, 5, 5, 59 ] ], 
          [ [ 0, 0 ], [ 0, 0 ], [ 0, 0, 2, 4 ], [ 0, 0, 3 ], [ 0, 11, 11 ] ], 
          [ [ 0, 0 ], [ 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 4 ], 
              [ 0, 0, 3, 4 ], [ 0, 23, 23, 59 ] ], 
          [ [ 0, 0 ], [ 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 2, 2 ], 
              [ 0, 2, 2, 3, 5, 49 ], [ 0, 2, 2, 5, 11, 125 ], 
              [ 0, 2, 3, 3, 7, 16 ], [ 0, 3, 7, 11, 29 ], [ 0, 743, 743 ] ] ] 
     ], 
  [ [ [ 9, 33 ] ], 
      [ [ [ 0 ] ], [ [ 0, 61 ] ], [ [ 0, 25, 25 ] ], [ [ 0, 7, 7, 61 ] ], 
          [ [ 0, 0 ], [ 0, 101, 101 ] ], 
          [ [ 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 2, 3, 3 ], [ 0, 0, 2, 4 ], 
              [ 0, 0, 3 ], [ 0, 2, 4, 19, 31 ], [ 0, 4, 16, 107 ], 
              [ 0, 25, 25, 61 ] ], 
          [ [ 0, 0 ], [ 0, 0 ], [ 0, 0 ], [ 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2, 4 ], [ 0, 0, 2 ], 
              [ 0, 2, 2, 3, 7, 11 ], [ 0, 2, 7, 13, 149 ], 
              [ 0, 2, 7, 37, 41 ], [ 0, 2, 19, 641 ], [ 0, 463, 463 ], 
              [ 0, 18587 ] ] ] ], 
  [ [ [ 9, 34 ] ], 
      [ [ [ 0 ] ], [ [ 0, 3, 23 ] ], [ [ 0, 0 ], [ 0, 31, 31 ] ], 
          [ [ 0, 2, 5, 13, 19 ], [ 0, 3, 11, 11, 23 ] ], 
          [ [ 0, 0, 3, 4 ], [ 0, 3, 3, 3, 3, 29, 29 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 23 ], [ 0, 0, 2, 2, 3 ], 
              [ 0, 0, 2, 3, 3 ], [ 0, 0, 2, 3, 3, 7 ], [ 0, 0, 2, 5, 13, 19 ],
              [ 0, 0, 3, 4 ], [ 0, 2, 2, 3, 3, 7, 7, 23 ], 
              [ 0, 3, 9, 23, 31, 31 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0, 2 ], [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2 ], 
              [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2, 3 ], 
              [ 0, 0, 0, 2, 2, 3 ], [ 0, 0, 0, 2, 3 ], [ 0, 0, 0, 5 ], 
              [ 0, 0, 0, 5 ], [ 0, 0, 2, 3, 8 ], [ 0, 0, 2, 31 ], 
              [ 0, 2, 5, 7, 256 ], [ 0, 2, 5, 7, 256 ], [ 0, 2, 8, 11, 41 ], 
              [ 0, 2, 8, 11, 41 ], [ 0, 13, 13, 181, 181 ], [ 0, 29, 1423 ], 
              [ 0, 41, 883 ], [ 0, 41, 883 ] ] ] ], 
  [ [ [ 9, 35 ] ], 
      [ [ [ 0 ] ], [ [ 0, 3, 9 ] ], 
          [ [ 0, 0 ], [ 0, 0 ], [ 0, 0 ], [ 0, 0, 2 ], [ 0, 4, 4, 5, 5 ] ], 
          [ [ 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 2, 3 ], [ 0, 0, 2, 3 ], 
              [ 0, 2, 5 ], [ 0, 2, 5 ], [ 0, 2, 5 ], [ 0, 3, 9, 13, 13 ] ], 
          [ [ 0, 0, 0, 2, 2, 3 ], [ 0, 0, 2, 2, 2, 3, 3 ], 
              [ 0, 0, 2, 2, 2, 3, 3 ], [ 0, 0, 3, 3 ], [ 0, 0, 3, 3 ], 
              [ 0, 0, 3, 3 ], [ 0, 0, 3, 3, 3 ], [ 0, 211, 211 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2 ], [ 0, 0, 0, 2, 2, 3, 3 ], [ 0, 0, 0, 2, 3 ], 
              [ 0, 0, 0, 2, 3 ], [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], 
              [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], 
              [ 0, 0, 0, 4 ], [ 0, 0, 0, 8 ], [ 0, 0, 0, 9 ], [ 0, 0, 0, 9 ], 
              [ 0, 0, 0, 9 ], [ 0, 0, 0, 11, 11 ], [ 0, 0, 2, 3, 11, 11 ], 
              [ 0, 0, 2, 3, 11, 11 ], [ 0, 0, 2, 4, 5, 5 ], [ 0, 0, 2, 5 ], 
              [ 0, 0, 2, 5 ], [ 0, 0, 2, 5 ], [ 0, 0, 3, 3, 4 ], 
              [ 0, 0, 3, 3, 4 ], [ 0, 0, 3, 3, 4 ], [ 0, 0, 3, 3, 5, 5 ], 
              [ 0, 0, 3, 5, 5 ], [ 0, 0, 3, 5, 5 ], [ 0, 0, 3, 5, 5 ], 
              [ 0, 2, 2, 2, 2, 9, 9 ], [ 0, 3, 27 ], [ 0, 3, 27 ], 
              [ 0, 3, 27 ], [ 0, 4, 5, 5, 8 ], [ 0, 5, 5, 8, 8, 9, 27 ] ], 
          [ [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2, 2 ], 
              [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 3, 4 ], [ 0, 0, 0, 3, 4 ], 
              [ 0, 0, 0, 3, 4 ], [ 0, 0, 0, 3, 19, 19 ], 
              [ 0, 0, 2, 2, 2, 8, 8 ], [ 0, 0, 2, 2, 2, 8, 8 ], 
              [ 0, 0, 2, 2, 4, 8, 8 ], [ 0, 0, 2, 3, 3, 19, 19 ], 
              [ 0, 0, 2, 3, 3, 19, 19 ], [ 0, 0, 2, 5, 5 ], 
              [ 0, 0, 3, 3, 3, 8, 8 ], [ 0, 0, 3, 3, 8, 8 ], 
              [ 0, 0, 3, 3, 8, 8 ], [ 0, 0, 3, 3, 8, 8 ], 
              [ 0, 41, 41, 43, 43 ] ] ] ], 
  [ [ [ 9, 36 ] ], 
      [ [ [ 0 ] ], [ [ 0, 37 ] ], [ [ 0, 2, 2, 5, 5 ] ], 
          [ [ 0, 0, 2 ], [ 0, 37 ] ], [ [ 0, 0, 0, 3 ], [ 0, 59, 59 ] ], 
          [ [ 0, 0, 0, 0 ], [ 0, 0, 2, 3 ], [ 0, 0, 3 ], [ 0, 0, 4, 5, 5 ], 
              [ 0, 0, 4, 5, 5 ], [ 0, 2, 2, 2, 2, 5, 5, 37 ] ], 
          [ [ 0, 0, 0, 3 ], [ 0, 0, 3, 3, 5, 13 ], [ 0, 2, 2, 4, 7 ], 
              [ 0, 2, 2, 4, 7 ], [ 0, 2, 17 ], [ 0, 2, 17 ], [ 0, 97, 97 ] ] 
         ] ], 
  [ [ [ 9, 37 ] ], 
      [ [ [ 0 ] ], [ [ 0, 3, 3, 5 ] ], 
          [ [ 0, 0 ], [ 0, 0 ], [ 0, 0 ], [ 0, 0, 2 ], [ 0, 4, 4, 7, 7 ] ], 
          [ [ 0, 0 ], [ 0, 0, 0 ], [ 0, 2, 3, 3, 19 ], [ 0, 2, 3, 3, 19 ], 
              [ 0, 2, 4, 5, 9 ], [ 0, 2, 4, 5, 9 ], [ 0, 2, 11 ], 
              [ 0, 3, 3, 3, 3, 5, 5, 5 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 2, 3 ], 
              [ 0, 0, 2, 3, 3 ], [ 0, 0, 2, 5, 5 ], [ 0, 0, 3, 5 ], 
              [ 0, 0, 3, 5 ], [ 0, 3, 9, 61 ], [ 0, 3, 9, 61 ], 
              [ 0, 11, 11, 31, 31 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 0 ], 
              [ 0, 0, 0, 0, 5 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2, 2, 3, 5 ], [ 0, 0, 0, 3, 5 ], [ 0, 0, 0, 3, 5 ], 
              [ 0, 0, 0, 3, 5 ], [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], 
              [ 0, 0, 0, 8 ], [ 0, 0, 2, 2, 2, 5 ], [ 0, 0, 2, 2, 2, 5 ], 
              [ 0, 0, 2, 2, 3 ], [ 0, 0, 2, 2, 3 ], [ 0, 0, 2, 3, 3, 19 ], 
              [ 0, 0, 2, 3, 3, 19 ], [ 0, 0, 2, 3, 4 ], [ 0, 0, 2, 3, 4 ], 
              [ 0, 0, 2, 4 ], [ 0, 0, 2, 4 ], [ 0, 0, 2, 4, 5 ], 
              [ 0, 0, 2, 4, 5 ], [ 0, 0, 2, 4, 5, 9 ], [ 0, 0, 2, 4, 5, 9 ], 
              [ 0, 0, 2, 4, 7, 7 ], [ 0, 0, 2, 11 ], [ 0, 0, 3 ], 
              [ 0, 0, 3 ], [ 0, 0, 4, 5 ], [ 0, 0, 4, 5 ], [ 0, 0, 4, 5, 9 ], 
              [ 0, 0, 5, 9, 9 ], [ 0, 0, 23 ], [ 0, 0, 23 ], 
              [ 0, 2, 2, 2, 2, 3, 4 ], [ 0, 2, 2, 2, 2, 3, 4 ], 
              [ 0, 3, 4, 4, 4, 4, 4 ], [ 0, 3, 4, 16, 16 ], 
              [ 0, 3, 5, 5, 5, 9 ], [ 0, 3, 5, 8, 8, 9 ], 
              [ 0, 3, 5, 8, 8, 9 ], [ 0, 3, 5, 9 ], [ 0, 4, 7, 7, 8 ], 
              [ 0, 5, 7, 7, 8, 8, 9, 9 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0, 3 ], 
              [ 0, 0, 0, 0, 3 ], [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2 ], 
              [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 9 ], 
              [ 0, 0, 0, 2, 9 ], [ 0, 0, 0, 3 ], [ 0, 0, 0, 3 ], 
              [ 0, 0, 0, 3 ], [ 0, 0, 0, 3 ], [ 0, 0, 0, 3 ], 
              [ 0, 0, 0, 4, 4 ], [ 0, 0, 0, 4, 4 ], [ 0, 0, 0, 4, 5 ], 
              [ 0, 0, 0, 4, 5 ], [ 0, 0, 2, 2, 2, 3, 47 ], [ 0, 0, 2, 2, 3 ], 
              [ 0, 0, 2, 2, 3 ], [ 0, 0, 2, 2, 3, 3, 5 ], 
              [ 0, 0, 2, 2, 3, 3, 5 ], [ 0, 0, 2, 2, 3, 3, 7 ], 
              [ 0, 0, 2, 2, 3, 3, 7 ], [ 0, 0, 2, 2, 9 ], [ 0, 0, 2, 2, 9 ], 
              [ 0, 0, 2, 2, 23 ], [ 0, 0, 2, 2, 23 ], [ 0, 0, 2, 3, 3, 3, 4 ],
              [ 0, 0, 2, 3, 3, 3, 4 ], [ 0, 0, 2, 3, 8 ], [ 0, 0, 2, 3, 8 ], 
              [ 0, 0, 2, 5, 11 ], [ 0, 0, 3, 9 ], [ 0, 0, 3, 9 ], 
              [ 0, 0, 3, 17 ], [ 0, 0, 3, 17 ], [ 0, 0, 4, 4 ], 
              [ 0, 0, 4, 4 ], [ 0, 0, 7 ], [ 0, 0, 7 ], 
              [ 0, 2, 2, 2, 2, 2, 7 ], [ 0, 2, 2, 2, 2, 2, 7 ], 
              [ 0, 2, 2, 2, 2, 2, 7 ], [ 0, 2, 2, 2, 2, 2, 7 ], 
              [ 0, 2, 2, 2, 2, 2, 7, 7, 7 ], [ 0, 2, 2, 2, 2, 2, 7, 7, 7 ], 
              [ 0, 2, 2, 2, 7, 8, 32 ], [ 0, 2, 2, 2, 7, 8, 32 ], 
              [ 0, 2, 2, 3, 7, 11 ], [ 0, 2, 2, 3, 7, 11 ], 
              [ 0, 2, 3, 3, 8, 8 ], [ 0, 2, 3, 3, 8, 8 ], [ 0, 2, 7 ], 
              [ 0, 2, 7 ], [ 0, 2, 7 ], [ 0, 2, 7 ], [ 0, 2, 7, 8, 8 ], 
              [ 0, 2, 7, 8, 8 ], [ 0, 7, 8, 81 ], [ 0, 7, 8, 81 ], 
              [ 0, 7, 8, 81 ], [ 0, 7, 8, 81 ], [ 0, 29, 29, 127, 127 ] ] ] ],
  [ [ [ 9, 38 ] ], 
      [ [ [ 0 ] ], [ [ 0, 3, 19 ] ], [ [ 0, 0 ], [ 0, 4, 4, 7, 7 ] ], 
          [ [ 0, 0, 4 ], [ 0, 2, 3, 5, 13 ], [ 0, 3, 9, 9, 19 ] ], 
          [ [ 0, 0 ], [ 0, 0 ], [ 0, 0, 2, 4 ], [ 0, 0, 5 ], 
              [ 0, 2, 2, 3, 3, 9 ], [ 0, 101, 101 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0, 2 ], [ 0, 0, 0, 2, 2, 7, 7, 19 ], [ 0, 0, 0, 2, 19 ],
              [ 0, 0, 0, 19 ], [ 0, 0, 2, 2 ], [ 0, 0, 2, 2 ], 
              [ 0, 0, 2, 2, 7, 7, 8 ], [ 0, 0, 2, 3, 5, 13 ], [ 0, 0, 3 ], 
              [ 0, 0, 3, 3, 4 ], [ 0, 0, 3, 9 ], [ 0, 0, 9 ], [ 0, 0, 9, 19 ],
              [ 0, 2, 3, 4, 4, 4, 7, 7 ], [ 0, 3, 3, 5, 5, 19 ], 
              [ 0, 4, 4, 16, 17 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0, 0 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 0, 2, 2 ], [ 0, 0, 0, 2, 2, 2 ], [ 0, 0, 0, 3 ], 
              [ 0, 0, 0, 3 ], [ 0, 0, 0, 5 ], [ 0, 0, 0, 8 ], [ 0, 0, 0, 8 ], 
              [ 0, 0, 3, 5 ], [ 0, 0, 7 ], [ 0, 0, 7 ], [ 0, 2, 2, 2, 7, 7 ], 
              [ 0, 2, 2, 2, 7, 7 ], [ 0, 2, 2, 2, 7, 433 ], 
              [ 0, 2, 2, 2, 7, 433 ], [ 0, 2, 2, 2, 41 ], [ 0, 2, 2, 2, 41 ], 
              [ 0, 2, 2, 4, 4, 17 ], [ 0, 2, 2, 4, 4, 17 ], 
              [ 0, 2, 7, 8, 13 ], [ 0, 2, 7, 8, 13 ], [ 0, 5, 3307 ], 
              [ 0, 5, 3307 ], [ 0, 7, 8, 8, 9 ], [ 0, 13, 13, 43, 43 ] ] ] ], 
  [ [ [ 9, 39 ] ], 
      [ [ [ 0 ] ], [ [ 0, 5, 11 ] ], [ [ 0, 32, 32 ] ], 
          [ [ 0, 0, 4 ], [ 0, 3, 3, 5, 5, 5, 11 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 2, 2, 2, 3 ], [ 0, 0, 3 ], [ 0, 0, 4 ], 
              [ 0, 0, 4 ], [ 0, 0, 5 ], [ 0, 0, 5 ], [ 0, 3, 7, 29 ], 
              [ 0, 11, 11, 31, 31 ] ], 
          [ [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], [ 0, 0, 0, 2 ], 
              [ 0, 0, 2, 2, 2, 2, 3 ], [ 0, 0, 2, 3 ], [ 0, 0, 2, 5, 5, 11 ], 
              [ 0, 0, 2, 8 ], [ 0, 0, 2, 32, 32 ], [ 0, 0, 3 ], 
              [ 0, 0, 3, 3, 4, 8 ], [ 0, 0, 5, 11 ], [ 0, 2, 2, 3, 32, 64 ], 
              [ 0, 2, 2, 5, 11, 64, 64 ], [ 0, 2, 3, 5, 13, 32 ], 
              [ 0, 3, 3, 3, 4, 8, 8 ], [ 0, 3, 4, 4, 4, 11 ], 
              [ 0, 3, 4, 4, 4, 11 ], [ 0, 4, 5, 9, 41 ] ], 
          [ [ 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 2, 2, 4 ], 
              [ 0, 0, 0, 2, 2, 4 ], [ 0, 0, 0, 2, 3 ], [ 0, 0, 0, 3 ], 
              [ 0, 0, 0, 7 ], [ 0, 0, 0, 7 ], [ 0, 0, 2, 5 ], [ 0, 0, 2, 5 ], 
              [ 0, 0, 4, 7, 7, 16 ], [ 0, 2, 2, 16 ], [ 0, 2, 2, 16 ], 
              [ 0, 2, 3, 4, 4 ], [ 0, 2, 3, 4, 4 ], [ 0, 2, 4, 8 ], 
              [ 0, 2, 4, 8 ], [ 0, 2, 7, 127 ], [ 0, 2, 7, 127 ], 
              [ 0, 2, 7, 127 ], [ 0, 2, 7, 127 ], [ 0, 2, 7, 541 ], 
              [ 0, 2, 7, 541 ], [ 0, 2, 41, 163 ], [ 0, 2, 41, 163 ], 
              [ 0, 11, 89 ], [ 0, 23, 97 ], [ 0, 23, 97 ], 
              [ 0, 29, 29, 83, 83 ] ] ] ], 
  [ [ [ 9, 40 ] ], 
      [ [ [ 0 ] ], [ [ 0, 3, 5, 5 ] ], [ [ 0, 0, 4 ], [ 0, 4, 4, 8, 8 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 4 ], [ 0, 0, 0, 4 ], 
              [ 0, 0, 0, 4 ], [ 0, 0, 2, 3, 5, 5 ], [ 0, 0, 2, 4, 4 ], 
              [ 0, 2, 8, 13, 13 ], [ 0, 3, 3, 3, 3, 3, 5, 5 ] ], 
          [ [ 0, 0, 0, 0, 2, 2, 2 ], [ 0, 0, 0, 2, 2, 3 ], [ 0, 0, 0, 5 ], 
              [ 0, 0, 0, 5 ], [ 0, 0, 0, 5 ], [ 0, 0, 0, 5 ], [ 0, 0, 0, 5 ], 
              [ 0, 0, 0, 5 ], [ 0, 0, 2, 2, 3, 3, 3 ], [ 0, 0, 2, 3, 11, 11 ],
              [ 0, 0, 2, 3, 11, 11 ], [ 0, 0, 2, 3, 11, 11 ], 
              [ 0, 0, 2, 3, 13 ], [ 0, 0, 2, 3, 13 ], [ 0, 0, 2, 3, 13 ], 
              [ 0, 0, 2, 8, 8 ], [ 0, 0, 2, 8, 8 ], [ 0, 0, 2, 8, 8 ], 
              [ 0, 3, 3, 3, 3, 13, 13 ], [ 0, 11, 11, 11, 11 ] ], 
          [ [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], [ 0, 0, 0 ], 
              [ 0, 0, 0 ], [ 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0 ], 
              [ 0, 0, 0, 0, 2 ], [ 0, 0, 0, 0, 2, 3 ], 
              [ 0, 0, 0, 0, 2, 4, 4, 4 ], [ 0, 0, 0, 0, 2, 5 ], 
              [ 0, 0, 0, 0, 3, 5, 5 ], [ 0, 0, 0, 2, 2, 4, 8, 8 ], 
              [ 0, 0, 0, 2, 2, 4, 8, 8 ], [ 0, 0, 0, 2, 2, 4, 8, 8 ], 
--> --------------------

--> maximum size reached

--> --------------------

Messung V0.5
C=97 H=94 G=95

¤ Dauer der Verarbeitung: 0.24 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland




Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

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

Software

     Produkte
     Quellcodebibliothek

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder
Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik

Monitoring

Montastic status badge