Catalog of Hyperplane Arrangements

The following table shows the number of abstract dissection types. Data can be accessed by clicking on the corresponding number (if available):

  card = 2 card = 3 card = 4 card = 5 card = 6 card = 7 card = 8 card = 9 card = 10
rank = 2 1 1 1 1 1 1 1 1 1
rank = 3 (dim = 2) 1 3 8 46 790 37 829 4 134 939 unknown
rank = 4 (dim = 3) 1 5 27 1 063 1 434 219 unknown unknown
rank = 5 (dim = 4) 1 7 71 44 956 unknown unknown
rank = 6 (dim = 5) 1 9 156 unknown unknown
rank = 7 (dim = 6) 1 11 325 unknown
rank = 8 (dim = 7) 1 13 646
rank = 9 (dim = 8) 1 15
rank = 10 (dim = 9) 1

Cardinality = 10, rank = 8 (dimension = 7)

RevLex-Index from to        
+++++++++++++++++++++++++++++++++++++++++++++
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+++++-+++++-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+++++
+++++++++0++++++++++++++0++++++++++0++++++0++
0++++++++++++++++0++++++++++++0++++++++0++++0
00+++++++0+++++++++++++++++++++++++++++++++++
+++++++++00+++---0+++---+++---++---+------+++
+++++++++00++++--0++++--++++--+++--++--+----+
+++++++++00+++++-0+++++-+++++-++++-+++-++-+--
+++++++++00++++++0+++++++++++++++++++++++++++
00+++++++0++++++++++++++0+++--+++--++--+----+
0++++++++++++++++00+++--0+++--+++--++--+----+
+++++++++00++++--0++++--++++--0--------+----+
+++++++++00+++++-0+++++-+++++-0--------++-+--
+++++++++00+++++-0+++++-+++++-0+---+------+--
+++++++++00++++++0++++++++++++0+---+------+++
+++++++++00++++++0++++++++++++0++--++--+----+
00+++++++0++++++++++++++0++++-++++-+++-++-+--
0++++++++++++++++00++++-0++++-++++-+++-++-+--
+++++++++00+++---0+++---+++---0-----------+++
+++++++++00++++--0++++--++++--0+---+--------+
+++++++++00+++++-0+++++-+++++-0++--++--+-----
+++++++++00++++++0++++++++++++0--------++++++
+++++++++00++++++0++++++++++++0+++-+++-++-+--
00+++++++0++++++++++++++0++++-++++-0+--+-----
0++++++++++++++++00++++-0++++-++++-0+--+-----
+++++++++00+++---0+++---+++---0-----------0++
+++++++++00++++++0++++++++++++0+++-+++-0-----
00+++++++0++++++++++++++0++++-++++-0++-++-+--
0++++++++++++++++00+++--0+++--+++--0--------+
0++++++++++++++++00++++-0++++-++++-0------+--
+++++++++00+++++-0+++++-+++++-0++--++--0-----
+++++++++00++++++0++++++++++++0++--++--0----+
+++++++++00++++++0++++++++++++0+++-+++-0+-+--
00+++++++0++++++++++++++0++++++++++++++++++++
0++++++++++++++++00+++++0++++++++++++++++++++
+++++++++00+++---0+++---+++---0+---+------+++
+++++++++00++++--0++++--++++--0++--++--+----+
+++++++++00++++--0++++--++++--+++--++--+----0
+++++++++00+++++-0+++++-+++++-0+++-+++-++-+--
+++++++++00++++++0++++++++++++0++++++++++++++
00+++++++0++++++++++++++0++++++++++0------+++
0++++++++++++++++00+++++0++++++++++0+++++++++
+++++++++00+++---0+++---+++---0+---+------0--
+++++++++00++++--0++++--++++--0++--++--+----0
00+++++++0++++++++++++++0++++++++++0+--+----+
0++++++++++++++++00++++-0++++-++++-0++-++-+--
0++++++++++++++++00+++++0++++++++++0++-++-+--
+++++++++00+++---0+++---+++---0+---+------0++
+++++++++00++++--0++++--++++--0+---+--------0
+++++++++00++++++0++++++++++++0++++++++0----+
00+++++++0++++++++++++++0++++++++++0++-++-+--
0++++++++++++++++00+++--0+++--+++--0+--+----+
0++++++++++++++++00+++++0++++++++++0+--+----+
+++++++++00++++--0++++--++++--0--------+----0
+++++++++00+++++-0+++++-+++++-0+++-+++-0-----
+++++++++00++++++0++++++++++++0++++++++0+-+--
00+++++++0++++++++++++++0++++++++++0+++++++++
0++++++++++++++++00+++--0+++--+++--++--+----0
0++++++++++++++++00+++++0++++++++++0------+++
+++++++++00++++--0++++--++++--0++--++--0----+
+++++++++00+++++-0+++++-+++++-0+++-+++-0+-+--
+++++++++00++++++0++++++++++++0++++++++0+++++
00+++++++0++++++++++++++0++++++++++0++++++0--
0++++++++++++++++00+++--0+++--+++--0+--+----0
0++++++++++++++++00+++++0++++++++++0++++++0--
0++++++++++++++++00+++++0++++++++++0++++++0++
+++++++++00++++--0++++--++++--0++--++--0----0
00+++++++0++++++++++++++0++++++++++0++++++0++
0++++++++++++++++00+++--0+++--+++--0--------0
0++++++++++++++++00++++-0++++-++++-0++-++-0--
0++++++++++++++++00+++++0++++++++++0++-++-0--
+++++++++00++++++0++++++++++++0++++++++0++++0
00+++++++0++++++++++++++00++--0++--++--+----+
+++++++++00++++++0++++++++++++00+--0+--+----+
00+++++++0++++++++++++++00++--0++--++--0----+
0++++++++++++++++00+++++0++++++++++00--0----+
+++++++++00++++++0++++++++++++00+--0+--+----0
00+++++++0++++++++++++++00++--0++--++--0----0
0++++++++++++++++00+++++0++++++++++00--0----0
00+++++++0++++++++++++++00+++-0+++-+++-++-+--
+++++++++00+++++-0+++++-+++++-00+--0+--+-----
+++++++++00++++++0++++++++++++00---0------+++
+++++++++00++++++0++++++++++++00++-0++-++-+--
00+++++++0++++++++++++++00+++-0+++-+++-0-----
00+++++++0++++++++++++++00+++-0+++-+++-0+-+--
0++++++++++++++++00+++++0++++++++++00+-0+-+--
+++++++++00++++++0++++++++++++00---0------0++
+++++++++00++++++0++++++++++++00++-0++-++-0--
00+++++++0++++++++++++++00++++0++++++++++++++
+++++++++00+++++-0+++++-+++++-00++-0++-++-+--
+++++++++00++++++0++++++++++++00+++0+++++++++
00+++++++0++++++++++++++00++++0++++++++0+-+--
0++++++++++++++++00++++-0++++-++++-00+-0+-+--
+++++++++00++++++0++++++++++++00+++0++++++0--
00+++++++0++++++++++++++00++++0++++++++0----+
00+++++++0++++++++++++++00++++0++++++++0+++++
0++++++++++++++++00+++++0++++++++++00++0+++++
+++++++++00+++++-0+++++-+++++-00++-0++-++-0--
+++++++++00++++++0++++++++++++00+++0++++++0++
00+++++++0++++++++++++++00++++0++++++++0++++0
0++++++++++++++++00+++++0++++++++++00++0++++0
00+++++++0++++++++++++++00++++0++++++++00-0--
00+++++++0++++++++++++++00++++0++++++++00+0++
+++++++++00++++++0++++++++++++00+++0++++++000
000++++++00++++++0+++++++++++++++++++++++++++
+++++++++000+++--00+++--0+++--+++--++--+----+
+++++++++000++++-00++++-0++++-++++-+++-++-+--
+++++++++000+++++00+++++0++++++++++++++++++++
000++++++00++++++0++++++++++++0++--++--+----+
0++++++++++++++++000++--00++--0++--++--+----+
+++++++++000++++-00++++-0++++-++++-0------+--
+++++++++000+++++00+++++0++++++++++0+--+----+
000++++++00++++++0++++++++++++0+++-+++-++-+--
0++++++++++++++++000+++-00+++-0+++-+++-++-+--
+++++++++000+++--00+++--0+++--+++--0--------+
+++++++++000++++-00++++-0++++-++++-0+--+-----
+++++++++000+++++00+++++0++++++++++0------+++
+++++++++000+++++00+++++0++++++++++0++-++-+--
000++++++00++++++0++++++++++++0+++-+++-0+-+--
0++++++++++++++++000+++-00+++-0+++-+++-0-----
+++++++++000+++++00+++++0++++++++++0++-++-0--
000++++++00++++++0++++++++++++0++++++++++++++
0++++++++++++++++000++++00++++0++++++++++++++
+++++++++000+++--00+++--0+++--+++--0+--+----+
+++++++++000+++--00+++--0+++--+++--++--+----0
+++++++++000++++-00++++-0++++-++++-0++-++-+--
+++++++++000+++++00+++++0++++++++++0+++++++++
000++++++00++++++0++++++++++++0++++++++0----+
0++++++++++++++++000++++00++++0++++++++0+++++
+++++++++000+++--00+++--0+++--+++--0+--+----0
000++++++00++++++0++++++++++++0++++++++0+-+--
0++++++++++++++++000+++-00+++-0+++-+++-0+-+--
0++++++++++++++++000++++00++++0++++++++0+-+--
+++++++++000+++--00+++--0+++--+++--0--------0
+++++++++000+++++00+++++0++++++++++0++++++0--
000++++++00++++++0++++++++++++0++++++++0+++++
0++++++++++++++++000++--00++--0++--++--0----+
0++++++++++++++++000++++00++++0++++++++0----+
+++++++++000++++-00++++-0++++-++++-0++-++-0--
+++++++++000+++++00+++++0++++++++++0++++++0++
000++++++00++++++0++++++++++++0++++++++0++++0
0++++++++++++++++000++--00++--0++--++--0----0
0++++++++++++++++000++++00++++0++++++++0++++0
000++++++00++++++0++++++++++++00++-0++-++-+--
00+++++++0++++++++++++++000++-00++-0++-++-+--
+++++++++000++++-00++++-0++++-++++-00--0-----
+++++++++000+++++00+++++0++++++++++00--0----+
+++++++++000+++++00+++++0++++++++++00+-0+-+--
000++++++00++++++0++++++++++++00++-0++-++-0--
00+++++++0++++++++++++++000++-00++-0++-++-0--
0++++++++++++++++000++++00++++0++++++++00-0--
+++++++++000+++++00+++++0++++++++++00--0----0
000++++++00++++++0++++++++++++00+++0+++++++++
00+++++++0++++++++++++++000+++00+++0+++++++++
+++++++++000+++--00+++--0+++--+++--00--0----+
+++++++++000++++-00++++-0++++-++++-00+-0+-+--
+++++++++000+++++00+++++0++++++++++00++0+++++
000++++++00++++++0++++++++++++00+++0++++++0--
00+++++++0++++++++++++++000+++00+++0++++++0++
0++++++++++++++++000++++00++++0++++++++00+0++
+++++++++000+++--00+++--0+++--+++--00--0----0
000++++++00++++++0++++++++++++00+++0++++++0++
00+++++++0++++++++++++++000+++00+++0++++++0--
0++++++++++++++++000+++-00+++-0+++-+++-00-0--
+++++++++000+++++00+++++0++++++++++00++0++++0
000++++++00++++++0++++++++++++00+++0++++++000
00+++++++0++++++++++++++000+++00+++0++++++000
000++++++00++++++0++++++++++++000+-00+-0+-+--
+++++++++000+++++00+++++0++++++++++000-00-0--
000++++++00++++++0++++++++++++000++00++0+++++
+++++++++000+++++00+++++0++++++++++000+00+0++
000++++++00++++++0++++++++++++000++00++0++++0
0++++++++++++++++000++++00++++0++++++++000000
0000+++++000+++++00+++++0++++++++++++++++++++
+++++++++0000++--000++--00++--0++--++--+----+
+++++++++0000+++-000+++-00+++-0+++-+++-++-+--
+++++++++0000++++000++++00++++0++++++++++++++
0000+++++000+++++00+++++0++++++++++0++-++-+--
0++++++++++++++++0000++-000++-00++-0++-++-+--
+++++++++0000+++-000+++-00+++-0+++-+++-0-----
+++++++++0000++++000++++00++++0++++++++0----+
+++++++++0000++++000++++00++++0++++++++0+-+--
0000+++++000+++++00+++++0++++++++++0+++++++++
0++++++++++++++++0000+++000+++00+++0+++++++++
+++++++++0000++--000++--00++--0++--++--0----+
+++++++++0000+++-000+++-00+++-0+++-+++-0+-+--
+++++++++0000++++000++++00++++0++++++++0+++++
0000+++++000+++++00+++++0++++++++++0++++++0--
0++++++++++++++++0000+++000+++00+++0++++++0++
+++++++++0000++--000++--00++--0++--++--0----0
0000+++++000+++++00+++++0++++++++++0++++++0++
0++++++++++++++++0000++-000++-00++-0++-++-0--
0++++++++++++++++0000+++000+++00+++0++++++0--
+++++++++0000++++000++++00++++0++++++++0++++0
0000+++++000+++++00+++++0++++++++++00+-0+-+--
00+++++++0++++++++++++++0000+-000+-00+-0+-+--
+++++++++0000++++000++++00++++0++++++++00-0--
0000+++++000+++++00+++++0++++++++++00++0+++++
00+++++++0++++++++++++++0000++000++00++0+++++
+++++++++0000+++-000+++-00+++-0+++-+++-00-0--
+++++++++0000++++000++++00++++0++++++++00+0++
0000+++++000+++++00+++++0++++++++++00++0++++0
00+++++++0++++++++++++++0000++000++00++0++++0
0++++++++++++++++0000+++000+++00+++0++++++000
0000+++++000+++++00+++++0++++++++++000+00+0++
000++++++00++++++0++++++++++++0000+000+00+0++
+++++++++0000++++000++++00++++0++++++++000000
0000+++++000+++++00+++++0++++++++++0000000000
00000++++0000++++000++++00++++0++++++++++++++
+++++++++00000++-0000++-000++-00++-0++-++-+--
+++++++++00000+++0000+++000+++00+++0+++++++++
00000++++0000++++000++++00++++0++++++++0+-+--
0++++++++++++++++00000+-0000+-000+-00+-0+-+--
+++++++++00000+++0000+++000+++00+++0++++++0--
00000++++0000++++000++++00++++0++++++++0+++++
0++++++++++++++++00000++0000++000++00++0+++++
+++++++++00000++-0000++-000++-00++-0++-++-0--
+++++++++00000+++0000+++000+++00+++0++++++0++
00000++++0000++++000++++00++++0++++++++0++++0
0++++++++++++++++00000++0000++000++00++0++++0
00000++++0000++++000++++00++++0++++++++00+0++
00+++++++0++++++++++++++00000+0000+000+00+0++
+++++++++00000+++0000+++000+++00+++0++++++000
00000++++0000++++000++++00++++0++++++++000000
000++++++00++++++0++++++++++++000000000000000
000000+++00000+++0000+++000+++00+++0+++++++++
+++++++++000000+-00000+-0000+-000+-00+-0+-+--
+++++++++000000++00000++0000++000++00++0+++++
000000+++00000+++0000+++000+++00+++0++++++0++
0++++++++++++++++000000+00000+0000+000+00+0++
+++++++++000000++00000++0000++000++00++0++++0
000000+++00000+++0000+++000+++00+++0++++++000
00+++++++0++++++++++++++000000000000000000000
000000000++++++++++++++++++++++++++++++++++++
0++++++++00000000++++++++++++++++++++++++++++
0000000000+++++++++++++++++++++++++++++++++++
00+++++++00000000++++++++++++++++++++++++++++
0++++++++000000000+++---+++---++---+------+++
0++++++++000000000++++--++++--+++--++--+----+
0++++++++000000000+++++-+++++-++++-+++-++-+--
0++++++++000000000+++++++++++++++++++++++++++
0000000000++++++++++++++0+++--+++--++--+----+
00+++++++00000000+++++++0+++--+++--++--+----+
0++++++++000000000+++++-+++++-0+---+------+--
0++++++++000000000++++++++++++0+---+------+++
0++++++++000000000++++++++++++0++--++--+----+
0000000000++++++++++++++0++++-++++-+++-++-+--
00+++++++00000000+++++++0++++-++++-+++-++-+--
0++++++++000000000+++++-+++++-0++--++--+-----
0++++++++000000000++++++++++++0--------++++++
0++++++++000000000++++++++++++0+++-+++-++-+--
0000000000++++++++++++++0++++-++++-0+--+-----
00+++++++00000000+++++++0++++-++++-0+--+-----
0++++++++000000000++++++++++++0+++-+++-0-----
0000000000++++++++++++++0++++++++++++++++++++
00+++++++00000000+++++++0++++++++++++++++++++
0++++++++000000000++++--++++--0++--++--+----+
0++++++++000000000+++++-+++++-0+++-+++-++-+--
0++++++++000000000++++++++++++0++++++++++++++
0000000000++++++++++++++0++++++++++0++-++-+--
00+++++++00000000+++++++0++++-++++-0++-++-+--
00+++++++00000000+++++++0++++++++++0+--+----+
00+++++++00000000+++++++0++++++++++0++-++-+--
0++++++++000000000++++++++++++0+++-+++-0+-+--
0++++++++000000000++++++++++++0++++++++0----+
0++++++++000000000++++++++++++0++++++++0+-+--
0000000000++++++++++++++0++++++++++0+++++++++
00+++++++00000000+++++++0++++++++++0------+++
00+++++++00000000+++++++0++++++++++0+++++++++
0++++++++000000000+++++-+++++-0+++-+++-0+-+--
0++++++++000000000++++++++++++0++++++++0+++++
0000000000++++++++++++++0++++++++++0++++++0++
00+++++++00000000+++++++0++++++++++0++++++0--
00+++++++00000000+++++++0++++++++++0++++++0++
0++++++++000000000++++++++++++0++++++++0++++0
00000000000++++++0+++++++++++++++++++++++++++
000++++++000000000+++++++++++++++++++++++++++
0++++++++0000000000+++--0+++--+++--++--+----+
0++++++++0000000000++++-0++++-++++-+++-++-+--
0++++++++0000000000+++++0++++++++++++++++++++
00000000000++++++0++++++++++++0++--++--+----+
000++++++000000000++++++++++++0++--++--+----+
00+++++++00000000+++++++00++--0++--++--+----+
0++++++++0000000000++++-0++++-++++-0------+--
0++++++++0000000000+++++0++++++++++0+--+----+
00000000000++++++0++++++++++++0+++-+++-++-+--
000++++++000000000++++++++++++0+++-+++-++-+--
00+++++++00000000+++++++00+++-0+++-+++-++-+--
0++++++++0000000000+++--0+++--+++--0--------+
0++++++++0000000000++++-0++++-++++-0+--+-----
0++++++++0000000000+++++0++++++++++0------+++
0++++++++0000000000+++++0++++++++++0++-++-+--
00000000000++++++0++++++++++++0+++-+++-0+-+--
000++++++000000000++++++++++++0+++-+++-0+-+--
00+++++++00000000+++++++00+++-0+++-+++-0-----
0++++++++0000000000+++++0++++++++++0++-++-0--
00000000000++++++0++++++++++++0++++++++++++++
000++++++000000000++++++++++++0++++++++++++++
00+++++++00000000+++++++00++++0++++++++++++++
0++++++++0000000000+++--0+++--+++--0+--+----+
0++++++++0000000000+++--0+++--+++--++--+----0
0++++++++0000000000++++-0++++-++++-0++-++-+--
0++++++++0000000000+++++0++++++++++0+++++++++
00000000000++++++0++++++++++++0++++++++0----+
000++++++000000000++++++++++++0++++++++0----+
00+++++++00000000+++++++00++++0++++++++0+++++
0++++++++0000000000+++--0+++--+++--0+--+----0
00000000000++++++0++++++++++++0++++++++0+-+--
000++++++000000000++++++++++++0++++++++0+-+--
00+++++++00000000+++++++00+++-0+++-+++-0+-+--
00+++++++00000000+++++++00++++0++++++++0+-+--
0++++++++0000000000+++--0+++--+++--0--------0
0++++++++0000000000+++++0++++++++++0++++++0--
00000000000++++++0++++++++++++0++++++++0+++++
000++++++000000000++++++++++++0++++++++0+++++
00+++++++00000000+++++++00++--0++--++--0----+
00+++++++00000000+++++++00++++0++++++++0----+
0++++++++0000000000++++-0++++-++++-0++-++-0--
0++++++++0000000000+++++0++++++++++0++++++0++
00000000000++++++0++++++++++++0++++++++0++++0
000++++++000000000++++++++++++0++++++++0++++0
00+++++++00000000+++++++00++--0++--++--0----0
00+++++++00000000+++++++00++++0++++++++0++++0
00000000000++++++0++++++++++++00++-0++-++-+--
000++++++000000000++++++++++++00++-0++-++-+--
0++++++++0000000000+++++0++++++++++00--0----+
0++++++++0000000000+++++0++++++++++00+-0+-+--
00000000000++++++0++++++++++++00++-0++-++-0--
000++++++000000000++++++++++++00++-0++-++-0--
00+++++++00000000+++++++00++++0++++++++00-0--
0++++++++0000000000+++++0++++++++++00--0----0
00000000000++++++0++++++++++++00+++0+++++++++
000++++++000000000++++++++++++00+++0+++++++++
0++++++++0000000000++++-0++++-++++-00+-0+-+--
0++++++++0000000000+++++0++++++++++00++0+++++
00000000000++++++0++++++++++++00+++0++++++0++
000++++++000000000++++++++++++00+++0++++++0--
000++++++000000000++++++++++++00+++0++++++0++
00+++++++00000000+++++++00++++0++++++++00+0++
0++++++++0000000000+++++0++++++++++00++0++++0
00000000000++++++0++++++++++++00+++0++++++000
000++++++000000000++++++++++++00+++0++++++000
000000000000+++++00+++++0++++++++++++++++++++
0000+++++0000000000+++++0++++++++++++++++++++
0++++++++00000000000++--00++--0++--++--+----+
0++++++++00000000000+++-00+++-0+++-+++-++-+--
0++++++++00000000000++++00++++0++++++++++++++
000000000000+++++00+++++0++++++++++0++-++-+--
0000+++++0000000000+++++0++++++++++0++-++-+--
00+++++++00000000+++++++000++-00++-0++-++-+--
0++++++++00000000000+++-00+++-0+++-+++-0-----
0++++++++00000000000++++00++++0++++++++0----+
0++++++++00000000000++++00++++0++++++++0+-+--
000000000000+++++00+++++0++++++++++0+++++++++
0000+++++0000000000+++++0++++++++++0+++++++++
00+++++++00000000+++++++000+++00+++0+++++++++
0++++++++00000000000++--00++--0++--++--0----+
0++++++++00000000000+++-00+++-0+++-+++-0+-+--
0++++++++00000000000++++00++++0++++++++0+++++
000000000000+++++00+++++0++++++++++0++++++0--
0000+++++0000000000+++++0++++++++++0++++++0--
00+++++++00000000+++++++000+++00+++0++++++0++
0++++++++00000000000++--00++--0++--++--0----0
000000000000+++++00+++++0++++++++++0++++++0++
0000+++++0000000000+++++0++++++++++0++++++0++
00+++++++00000000+++++++000++-00++-0++-++-0--
00+++++++00000000+++++++000+++00+++0++++++0--
0++++++++00000000000++++00++++0++++++++0++++0
000000000000+++++00+++++0++++++++++00+-0+-+--
0000+++++0000000000+++++0++++++++++00+-0+-+--
000++++++000000000++++++++++++000+-00+-0+-+--
0++++++++00000000000++++00++++0++++++++00-0--
000000000000+++++00+++++0++++++++++00++0+++++
0000+++++0000000000+++++0++++++++++00++0+++++
000++++++000000000++++++++++++000++00++0+++++
0++++++++00000000000+++-00+++-0+++-+++-00-0--
0++++++++00000000000++++00++++0++++++++00+0++
000000000000+++++00+++++0++++++++++00++0++++0
0000+++++0000000000+++++0++++++++++00++0++++0
000++++++000000000++++++++++++000++00++0++++0
00+++++++00000000+++++++000+++00+++0++++++000
000000000000+++++00+++++0++++++++++000+00+0++
0000+++++0000000000+++++0++++++++++000+00+0++
0++++++++00000000000++++00++++0++++++++000000
0000000000000++++000++++00++++0++++++++++++++
00000++++00000000000++++00++++0++++++++++++++
0++++++++000000000000++-000++-00++-0++-++-+--
0++++++++000000000000+++000+++00+++0+++++++++
0000000000000++++000++++00++++0++++++++0+-+--
00000++++00000000000++++00++++0++++++++0+-+--
00+++++++00000000+++++++0000+-000+-00+-0+-+--
0++++++++000000000000+++000+++00+++0++++++0--
0000000000000++++000++++00++++0++++++++0+++++
00000++++00000000000++++00++++0++++++++0+++++
00+++++++00000000+++++++0000++000++00++0+++++
0++++++++000000000000++-000++-00++-0++-++-0--
0++++++++000000000000+++000+++00+++0++++++0++
0000000000000++++000++++00++++0++++++++0++++0
00000++++00000000000++++00++++0++++++++0++++0
00+++++++00000000+++++++0000++000++00++0++++0
0000000000000++++000++++00++++0++++++++00+0++
00000++++00000000000++++00++++0++++++++00+0++
000++++++000000000++++++++++++0000+000+00+0++
0++++++++000000000000+++000+++00+++0++++++000
0000000000000++++000++++00++++0++++++++000000
00000++++00000000000++++00++++0++++++++000000
0000+++++0000000000+++++0++++++++++0000000000
00000000000000+++0000+++000+++00+++0+++++++++
000000+++000000000000+++000+++00+++0+++++++++
0++++++++0000000000000+-0000+-000+-00+-0+-+--
0++++++++0000000000000++0000++000++00++0+++++
00000000000000+++0000+++000+++00+++0++++++0++
000000+++000000000000+++000+++00+++0++++++0++
00+++++++00000000+++++++00000+0000+000+00+0++
0++++++++0000000000000++0000++000++00++0++++0
00000000000000+++0000+++000+++00+++0++++++000
000000+++000000000000+++000+++00+++0++++++000
000++++++000000000++++++++++++000000000000000
00000000000000000++++++++++++++++++++++++++++
00+++++++000000000000000+++++++++++++++++++++
000000000000000000+++++++++++++++++++++++++++
000++++++000000000000000+++++++++++++++++++++
00+++++++0000000000000000+++--+++--++--+----+
00+++++++0000000000000000++++-++++-+++-++-+--
00+++++++0000000000000000++++++++++++++++++++
000000000000000000++++++++++++0++--++--+----+
000++++++000000000000000++++++0++--++--+----+
00+++++++0000000000000000++++++++++0+--+----+
000000000000000000++++++++++++0+++-+++-++-+--
000++++++000000000000000++++++0+++-+++-++-+--
00+++++++0000000000000000++++-++++-0+--+-----
00+++++++0000000000000000++++++++++0------+++
00+++++++0000000000000000++++++++++0++-++-+--
000000000000000000++++++++++++0++++++++++++++
000++++++000000000000000++++++0++++++++++++++
00+++++++0000000000000000++++-++++-0++-++-+--
00+++++++0000000000000000++++++++++0+++++++++
000000000000000000++++++++++++0++++++++0+-+--
000++++++000000000000000++++++0+++-+++-0+-+--
000++++++000000000000000++++++0++++++++0+-+--
00+++++++0000000000000000++++++++++0++++++0--
000000000000000000++++++++++++0++++++++0+++++
000++++++000000000000000++++++0++++++++0----+
000++++++000000000000000++++++0++++++++0+++++
00+++++++0000000000000000++++++++++0++++++0++
000000000000000000++++++++++++0++++++++0++++0
000++++++000000000000000++++++0++++++++0++++0
0000000000000000000+++++0++++++++++++++++++++
0000+++++0000000000000000++++++++++++++++++++
00+++++++00000000000000000++--0++--++--+----+
00+++++++00000000000000000+++-0+++-+++-++-+--
00+++++++00000000000000000++++0++++++++++++++
0000000000000000000+++++0++++++++++0++-++-+--
0000+++++0000000000000000++++++++++0++-++-+--
000++++++000000000000000++++++00++-0++-++-+--
00+++++++00000000000000000+++-0+++-+++-0-----
00+++++++00000000000000000++++0++++++++0----+
00+++++++00000000000000000++++0++++++++0+-+--
0000000000000000000+++++0++++++++++0+++++++++
0000+++++0000000000000000++++++++++0+++++++++
000++++++000000000000000++++++00+++0+++++++++
00+++++++00000000000000000++--0++--++--0----+
00+++++++00000000000000000+++-0+++-+++-0+-+--
00+++++++00000000000000000++++0++++++++0+++++
0000000000000000000+++++0++++++++++0++++++0--
0000+++++0000000000000000++++++++++0++++++0--
000++++++000000000000000++++++00+++0++++++0++
00+++++++00000000000000000++--0++--++--0----0
0000000000000000000+++++0++++++++++0++++++0++
0000+++++0000000000000000++++++++++0++++++0++
000++++++000000000000000++++++00++-0++-++-0--
000++++++000000000000000++++++00+++0++++++0--
00+++++++00000000000000000++++0++++++++0++++0
0000000000000000000+++++0++++++++++00+-0+-+--
0000+++++0000000000000000++++++++++00+-0+-+--
00+++++++00000000000000000++++0++++++++00-0--
0000000000000000000+++++0++++++++++00++0+++++
0000+++++0000000000000000++++++++++00++0+++++
00+++++++00000000000000000++++0++++++++00+0++
0000000000000000000+++++0++++++++++00++0++++0
0000+++++0000000000000000++++++++++00++0++++0
000++++++000000000000000++++++00+++0++++++000
00000000000000000000++++00++++0++++++++++++++
00000++++00000000000000000++++0++++++++++++++
00+++++++000000000000000000++-00++-0++-++-+--
00+++++++000000000000000000+++00+++0+++++++++
00000000000000000000++++00++++0++++++++0+-+--
00000++++00000000000000000++++0++++++++0+-+--
000++++++000000000000000++++++000+-00+-0+-+--
00+++++++000000000000000000+++00+++0++++++0--
00000000000000000000++++00++++0++++++++0+++++
00000++++00000000000000000++++0++++++++0+++++
000++++++000000000000000++++++000++00++0+++++
00+++++++000000000000000000++-00++-0++-++-0--
00+++++++000000000000000000+++00+++0++++++0++
00000000000000000000++++00++++0++++++++0++++0
00000++++00000000000000000++++0++++++++0++++0
000++++++000000000000000++++++000++00++0++++0
00000000000000000000++++00++++0++++++++00+0++
00000++++00000000000000000++++0++++++++00+0++
0000+++++0000000000000000++++++++++000+00+0++
00+++++++000000000000000000+++00+++0++++++000
00000000000000000000++++00++++0++++++++000000
00000++++00000000000000000++++0++++++++000000
000000000000000000000+++000+++00+++0+++++++++
000000+++000000000000000000+++00+++0+++++++++
00+++++++0000000000000000000+-000+-00+-0+-+--
00+++++++0000000000000000000++000++00++0+++++
000000000000000000000+++000+++00+++0++++++0++
000000+++000000000000000000+++00+++0++++++0++
000++++++000000000000000++++++0000+000+00+0++
00+++++++0000000000000000000++000++00++0++++0
000000000000000000000+++000+++00+++0++++++000
000000+++000000000000000000+++00+++0++++++000
0000+++++0000000000000000++++++++++0000000000
000000000000000000000000+++++++++++++++++++++
000++++++000000000000000000000+++++++++++++++
0000000000000000000000000++++++++++++++++++++
0000+++++000000000000000000000+++++++++++++++
000++++++0000000000000000000000++--++--+----+
000++++++0000000000000000000000+++-+++-++-+--
000++++++0000000000000000000000++++++++++++++
0000000000000000000000000++++++++++0++-++-+--
0000+++++000000000000000000000+++++0++-++-+--
000++++++0000000000000000000000++++++++0----+
000++++++0000000000000000000000++++++++0+-+--
0000000000000000000000000++++++++++0+++++++++
0000+++++000000000000000000000+++++0+++++++++
000++++++0000000000000000000000+++-+++-0+-+--
000++++++0000000000000000000000++++++++0+++++
0000000000000000000000000++++++++++0++++++0++
0000+++++000000000000000000000+++++0++++++0--
0000+++++000000000000000000000+++++0++++++0++
000++++++0000000000000000000000++++++++0++++0
00000000000000000000000000++++0++++++++++++++
00000++++0000000000000000000000++++++++++++++
000++++++00000000000000000000000++-0++-++-+--
000++++++00000000000000000000000+++0+++++++++
00000000000000000000000000++++0++++++++0+-+--
00000++++0000000000000000000000++++++++0+-+--
0000+++++000000000000000000000+++++00+-0+-+--
000++++++00000000000000000000000+++0++++++0--
00000000000000000000000000++++0++++++++0+++++
00000++++0000000000000000000000++++++++0+++++
0000+++++000000000000000000000+++++00++0+++++
000++++++00000000000000000000000++-0++-++-0--
000++++++00000000000000000000000+++0++++++0++
00000000000000000000000000++++0++++++++0++++0
00000++++0000000000000000000000++++++++0++++0
0000+++++000000000000000000000+++++00++0++++0
00000000000000000000000000++++0++++++++00+0++
00000++++0000000000000000000000++++++++00+0++
000++++++00000000000000000000000+++0++++++000
000000000000000000000000000+++00+++0+++++++++
000000+++00000000000000000000000+++0+++++++++
000++++++000000000000000000000000+-00+-0+-+--
000++++++000000000000000000000000++00++0+++++
000000000000000000000000000+++00+++0++++++0++
000000+++00000000000000000000000+++0++++++0++
0000+++++000000000000000000000+++++000+00+0++
000++++++000000000000000000000000++00++0++++0
000000000000000000000000000+++00+++0++++++000
000000+++00000000000000000000000+++0++++++000
00000++++0000000000000000000000++++++++000000
000000000000000000000000000000+++++++++++++++
0000+++++00000000000000000000000000++++++++++
0000000000000000000000000000000++++++++++++++
00000++++00000000000000000000000000++++++++++
0000+++++000000000000000000000000000++-++-+--
0000+++++000000000000000000000000000+++++++++
0000000000000000000000000000000++++++++0+-+--
00000++++00000000000000000000000000++++0+-+--
0000+++++000000000000000000000000000++++++0--
0000000000000000000000000000000++++++++0+++++
00000++++00000000000000000000000000++++0+++++
0000+++++000000000000000000000000000++++++0++
0000000000000000000000000000000++++++++0++++0
00000++++00000000000000000000000000++++0++++0
00000000000000000000000000000000+++0+++++++++
000000+++000000000000000000000000000+++++++++
0000+++++0000000000000000000000000000+-0+-+--
0000+++++0000000000000000000000000000++0+++++
00000000000000000000000000000000+++0++++++0++
000000+++000000000000000000000000000++++++0++
00000++++00000000000000000000000000++++00+0++
0000+++++0000000000000000000000000000++0++++0
00000000000000000000000000000000+++0++++++000
000000+++000000000000000000000000000++++++000
00000000000000000000000000000000000++++++++++
00000++++000000000000000000000000000000++++++
000000000000000000000000000000000000+++++++++
000000+++000000000000000000000000000000++++++
00000++++0000000000000000000000000000000+-+--
00000++++0000000000000000000000000000000+++++
000000000000000000000000000000000000++++++0++
000000+++000000000000000000000000000000+++0++
00000++++0000000000000000000000000000000++++0
000000000000000000000000000000000000000++++++
000000+++000000000000000000000000000000000+++



Maintained by Lukas Finschi (finschi [at] ifor.math.ethz.ch)