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 = 7, rank = 3 (dimension = 2)

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++-+++-++++
+++++++++++++++++++-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+
0++++++0+++++++++---+++++++-----++-
0++++++0+++++++++---+++++++---++--+
0+++++++++++++++++--+++0++-+++-++++
0+++++++++++++++++++++++0----------
++++++++++++++++++--++00-----------
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++++++++++--+++++++------+-
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-+----
++++++++++++++++++--++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++++++++++++++-+---+++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++++++++++++++++++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+++++++++++++++++++++++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++++++++++++++++++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++++++++++++++++++++++0++--0+---++
0++++++0++++++0-+---++++--+---+---+
0++++++0+++++++++---+++-++-0++-+++-
0++++++0+++++++++++-+++-++-0++---++
0++++++0+++++++++++-++++++++0-++---
0+++++++++++++++++--+++0++---+--0+-
0+++++++++++++++++--+++++++0----0+-
0++++++++++++++++++++++++00--------
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++-
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++++++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----
0000+++++++++++++++++++++++++-+----
0000+++++++++++++++++++++++++-++---
0++++++++++++++-+---000++++++++++++
0+++++++++++++++++--000++++++-+++++
0000++++++++++++++++++++++++--++---
0000++++++++++++++++++++++++++++---
0+++++++++++++++++--000++-++--++--+
0+++++++++++++++++--000++++++-+++-+
0000+++++++++++++++++++++++++-+++--
0000+++++++++++++++++++++++++++----
0000+++++++++++++++++++++++++++++--
0+++++++++++++++++--000+--+---+----
0+++++++++++++++++--000++-++--++---
0+++++++++++++++++--000++++++++++++
0+++++++++++++++++++000+++++++++++-
0000++++++++++++++++++++++++++----+
0000+++++++++++++++++++++++++++++++
0+++++++++++++++++++000++-++--++---
0+++++++++++++++++++000++++++++++++
0000++++++++++++++++++++++++++----0
0000++++++++++++++++++++++++++++++0
0++++++++++++++++++0000++-++--++---
0++++++++++++++++++0000++++++++++++
0000++++++++++++0++++++++++++-++---
0000++++++++++++++++++++++++0-+----
0++++++0+++++++++---+++0++0--0--++-
0++++++0++++++++++--000++++++-+++++
0++++++++++++++-+---000++++++0+++++
0000++++++++++++0++++++++++++-+++--
0000+++++++++++++++++++++++0-------
0000++++++++++++++++++++++++0------
0++++++0+++++++++---+++0++0--0-+++-
0++++++0+++++++++---+++0++0++0-++++
0++++++0+++++++++++-000++++++-+++++
0+++++++++++++++++--000++-++--++--0
0000++++++++++++0++++++++++++++----
0000++++++++++++++++++++++0+++-++++
0++++++0+++++++++---000++-++--++--+
0++++++0+++++++++---000++++++-+++-+
0+++++++++++++++++++000++++++++++0-
0000++++++++++++0+++++++++++++++---
0000++++++++++++++++++++++0+++--+++
0000++++++++++++++++++++++++0-++---
0++++++0+++++++++---000++++++-+++++
0++++++0++++++++++--000++-++--++--+
0++++++0++++++++++--000++++++-+++-+
0+++++++++++++++++--000++++++-+++0+
0000++++++++++++0++++++++++++++++--
0000++++++++++++++++++++++0+++---++
0000+++++++++++++++++++++++0--+----
0++++++0++++++++++--000+--+---+----
0++++++0++++++++++--000++-++--++---
0++++++0+++++++++++-000++++++-+++-+
0+++++++++++++++++--000++++++0+++++
0000++++++++++++0+++++++++++++++++-
0000++++++++++++++++++++++0--------
0000++++++++++++++++++++++0+++----+
0++++++0+++++++++++-000+--+---+----
0++++++0+++++++++++-000++-++--++---
0++++++0+++++++++++-000++++++-+++--
0+++++++++++++++++++000++++++0+++--
0000++++++++++++0++++++++++++0++---
0000++++++++++++++++++++++++0-+0---
0++++++0+++++++0++--000++-++--++--+
0++++++0++++++++++--000++++++-+++0+
0000++++++++++++0++++++++++++0+----
0000++++++++++++0++++++++++++0+++--
0000++++++++++++++++++++++0+++-0+++
0++++++0+++++++0++--000+--+---+----
0++++++0+++++++0++--000++-++--++---
0++++++0+++++++++---000++++++-+++0+
0++++++0+++++++++++-000++++++-+++0+
0000++++++++++++0+++++++++++0-+----
0000++++++++++++0+++++++++++0-++---
0000++++++++++++++++++++++0+++--0++
0++++++0++++++0-+---000+--+---+---+
0++++++0+++++++0++--000++++++-+++++
0++++++0+++++++++---+++0++0--0-0++-
0++++++0++++++++++--000++-++--++--0
0000++++++++++++0+++++++++++0-+0---
0000++++++++++++0++++++++++++0+0---
0++++++0++++++0-+---000+--+---+---0
0++++++0+++++++0+0--000++++++-+++++
0++++++0+++++++0++--000++-++--++--0
0000++++++++++++0++++++++++0--+----
0000++++++++++++++++++++++0+++---0+
0++++++0++++++0-+---000++++++-+++++
0++++++0+++++++++++-000++++++-+++-0
0000++++++++++++0+++++++++0+++0---0
0000++++++++++++0+++++++++0+++0+++0
0++++++++++++++++++0000++++++0+++00
0000000000+++++++++++++++++++++++++
0000++++++++++++++++000000++--++---
0000++++++++++++++++000000+++-+++--
0000++++++++++++++++000000+++++++++
0000000000++++++++++++++++++++0++++
0000++++++++++++0+++000000+++-+++--
0000++++++++++++0+++000000++++++++-
0000++++++++++++++++000000++++++++0
00000000000000000000+++++++++++++++
0000000000++++++++++0000000000+++++



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