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 = 4 (dimension = 3)

RevLex-Index from to        

Warning: Range restricted to 1000 entries (1 to 1000)!

++++++++++++++++++++++-+++-+-++--++
++++++++++++++++++++++++----+--++--
++++++++++++++++++++++++-++++------
++++++++++++++++++++++++-+++++-----
++++++++++++++++++++++++++-------++
+++++++++++++++++++++++++++-------+
+++++++++++++++++++++++--++--------
++++++++++++++++++++++++++++--+--++
++++++++++++++++++++++++----++-++--
++++++++++++++++++++++++-++--------
++++++++++++++++++++++++-+++-------
++++++++++++++++++++++++++-+--+--++
++++++++++++++++++++++++++-+-++--++
++++++++++++++++++++++++++++--+---+
++++++++++++++++++++++++++++-++---+
++++++++++++++++++++++-+++-+--+--++
++++++++++++++++++++++-+++++--+--++
++++++++++++++++++++++-+++++-++--++
++++++++++++++++++++++++++++-++--++
+++++++++++++++++++++++-----+--+---
+++++++++++++++++++++++++----++-+++
++++++++++++++++++++++++++--------+
++++++++++++++++++++++++++++++-----
++++++++++++++++++++++-++----++-+++
++++++++++++++++++++++++----+--+---
+++++++++++++++++++++++++----++++++
++++++++++++++++++++++++++++++-+---
++++++++++++++++++++++++-+---------
++++++++++++++++++++++++++-+-++-+++
+++++++++++++++++++++++++++++++---+
++++++++++++++++++++++++++++++++---
+++++++++++++++++++++++++---+++++++
++++++++++++++++++++++++++----+--++
++++++++++++++++++++++++++++------+
++++++++++++++++++++++++++++-++-+++
++++++++++++++++++++++++++++++-++--
+++++++++++++++++++++++++++++++--++
+++++++++++++++++++++++++++++++++--
+++++++++++++++++++++++++--+-++-+++
+++++++++++++++++++++++++++++++----
+++++++++++++++++++++++++++++++-+++
++++++++++++++++++++++++++++++++++-
+++++++++++++++++++++++++++++++++++
0+++++++++++++++++++-+--++----+--++
0+++++++++++++++++++++-+++----+--++
0+++++++++++++++++++++-+++-+--+--++
++++++++++++++++0++--++++---++++++-
++++++++++++++++++++0+-+++----+--++
0+++++++++++++++++++++--++++------+
0+++++++++++++++++++++-+++++------+
0++++++++++++++++++++++-----+--+---
+++++++++++++++0++++++++++++++-----
++++++++++++++++0++-+++++-++++-++--
++++++++++++++++++++0----+--------+
++++++++++++++++++++0+-+++-+-++-+++
0++++++++++++++++++++++---+-+--+---
++++++++++++++++0++-+++++-+-++-++--
++++++++++++++++++++0----+---------
0+++++++++++++++++++++--++----+--++
0++++++++++++++++++++++--++--------
++++++++++++++++0++-+++++---++++++-
++++++++++++++++++++0+-++--------++
0+++++++++++++++++++++++--++++-++--
0+++++++++++++++++++++++-+---------
++++++++++++++++0-------------+++++
++++++++++++++++0++---+++---++-+++-
0+++++++++++++++++++++--++-+--+--++
0+++++++++++++++++++++++--+-++-++--
0+++++++++++++++++++++++-++--------
++++++++++++++++0-------------+-+++
++++++++++++++++0++--++++---++-+++-
++++++++++++++++0++-+++++--+++++++-
++++++++++++++++++++0+-+++-------++
0++++++++++++++++++++++--++-+------
0+++++++++++++++++++++++--+-+--++--
0+++++++++++++++++++++++-++-+------
++++++++++++++++0+--+-+-----+--+---
++++++++++++++++0++-+++++---++-+++-
++++++++++++++++0++-+++++---+++++++
++++++++++++++++0++-+++++--++++++++
0++++++++++++++++++++++--++-+--+---
0+++++++++++++++++++++++--+-+--+---
0+++++++++++++++++++++++-++-+--+---
++++++++++++++++0-+--+-++----++-+++
++++++++++++++++0++-++++----++-++--
++++++++++++++++0++-++++--+-++-++--
++++++++++++++++0++-+++++---++-++--
0++++++++++++++++++++++--+++-------
0+++++++++++++++++++++++----++-++--
0+++++++++++++++++++++++-+++-------
+++++++++++++++0++++++++++++-++---+
++++++++++++++++0-------------+--++
++++++++++++++++++++0+--++-------++
++++++++++++++++++++0+-++-------+++
0+++++++++++++++++++++-+++++--+--++
0+++++++++++++++++++++++----+--++--
0+++++++++++++++++++++++-++++------
+++++++++++++++0++++++++++++-++--++
++++++++++++++++0+--+-+-----+--++--
++++++++++++++++0++--++++---+++++++
++++++++++++++++++++0+-+++-+--+--++
0+++++++++++++++++++++-+++++--+---+
0+++++++++++++++++++++++----+--+---
0+++++++++++++++++++++++-++++--+---
+++++++++++++++0++++++++++++++-+---
++++++++++++++++0-+--+-++----++++++
++++++++++++++++0++-+-++----++-++--
++++++++++++++++++++0+-+++-+-++--++
0+++++++++++++++++++++-+++++--+--0+
0+++++++++++++++++++++++----+--+0--
0+++++++++++++++++++++++-++++--0---
++++++++++++++++++++0+-+++-+-0+--++
0+++++++++++++++++++----++----+--++
0++++++++++++++++++++++++-++++-++--
0+++++++++++++++++++++++++----+--++
++++++++++++++++0--------------++++
++++++++++++++++0++---+++---++++++-
0+++++++++++++++++++-+--++-+--+--++
0++++++++++++++++++++++++-+-++-++--
0+++++++++++++++++++++++++-+--+--++
++++++++++++++++0---------------+++
++++++++++++++++0++--++++--+++++++-
0+++++++++++++++++++++---+++-------
0++++++++++++++++++++++++++-+------
0+++++++++++++++++++++++++++-------
+++++++++++++++0+++++++++++++++---+
++++++++++++++++0-------+-----+--++
++++++++++++++++0+--+-+---+-+--+---
++++++++++++++++0++-+++++-+++++++++
0+++++++++++++++++++++---+++------+
0++++++++++++++++++++++++++-+--+---
0+++++++++++++++++++++++++++------+
+++++++++++++++0+++++++++++++++----
++++++++++++++++0------------------
++++++++++++++++0-+--+-++--+-++-+++
++++++++++++++++0++-++++--++++-++--
0++++++++++++++++++++++--++++--+---
0++++++++++++++++++++++++-+-+--+---
0+++++++++++++++++++++++++++--+---+
+++++++++++++++0++++++++++++++++---
++++++++++++++++0-----------------+
++++++++++++++++0-+----++----++-+++
++++++++++++++++0++-+-++--+-++-++--
0++++++++++++++++++++++--++++------
0++++++++++++++++++++++++-+-+--++--
0+++++++++++++++++++++++++++--+--++
+++++++++++++++0++++++++++++--+--++
++++++++++++++++0----------------++
++++++++++++++++0+----+-----+--+---
++++++++++++++++0++--++++--++++++++
0++++++++++++++++++++++--++++--0---
0++++++++++++++++++++++++-+-+--+0--
0+++++++++++++++++++++++++++--+--0+
++++++++++++++++0----------------0+
0+++++++++++++++++++++-+++++-++--++
0++++++++++++++++++++++++---+--++--
0+++++++++++++++++++++++++++-++--++
+++++++++++++++0++++++-+++++-++--++
++++++++++++++++0+----+-----+--++--
0+++++++++++++++++++++-+++++-++-+++
0++++++++++++++++++++++++---+--+++-
0+++++++++++++++++++++++++++-++-+++
+++++++++++++++0++++++++++++++-++--
+++++++++++++++0+++++++++++++++++--
++++++++++++++++0-+----++----++++++
++++++++++++++++0+----+-----+--+++-
0+++++++++++++++++++++-+++++-++-0++
0++++++++++++++++++++++--++-+--0---
0+++++++++++++++++++++++--+-+--+0--
0+++++++++++++++++++++++-++-+--0---
0++++++++++++++++++++++++---+--+0--
0+++++++++++++++++++++++++++-++-0++
++++++++++++++++0++-+++++---++-++0-
0+++++++++++++++++++++--++++--+--++
0++++++++++++++++++++++++++--------
0++++++++++++++++++++++++++++------
+++++++++++++++0+++++++++++++++--++
++++++++++++++++0-------+-----+-+++
++++++++++++++++0+--+-+---+-+--++--
++++++++++++++++0++-+++++-++++++++-
0+++++++++++++++++++++--++++--+---+
0++++++++++++++++++++++++++-------+
0++++++++++++++++++++++++++++--+---
+++++++++++++++0+++++++++++++--+---
++++++++++++++++0--------------+---
++++++++++++++++0-+--+-++--+-++++++
++++++++++++++++0++-+++++-+++++++--
0+++++++++++++++++++++++-+++++-++--
0+++++++++++++++++++++++++---------
0+++++++++++++++++++++++++++++-----
+++++++++++++++0++-++-+--++-+------
+++++++++++++++0+++++++++++++++-+++
++++++++++++++++0-------+-----+++++
++++++++++++++++0++---++----++-+++-
0+++++++++++++++++++++++-+++++-+---
0+++++++++++++++++++++++++--------+
0+++++++++++++++++++++++++++++-+---
+++++++++++++++0+-++-+-+++-+-++--++
+++++++++++++++0++++++++-+++++-+---
++++++++++++++++0--------------++--
++++++++++++++++0++---++----++-++--
0+++++++++++++++++++++++-+++++-----
0+++++++++++++++++++++++++-------++
0+++++++++++++++++++++++++++++-++--
+++++++++++++++0++-++-+--++--------
+++++++++++++++0++++++++++++-++-+++
++++++++++++++++0--------------+++-
++++++++++++++++0++---+++---+++++++
0+++++++++++++++++++++--++++--+--0+
0+++++++++++++++++++++++-+++++-0---
0+++++++++++++++++++++++++-------0+
0++++++++++++++++++++++++++-------0
0++++++++++++++++++++++++++++--0---
0+++++++++++++++++++++++++++++-+0--
++++++++++++++++0++-+++++-+++++++0-
0+++++++++++++++++++++++-+++++-+0--
0+++++++++++++++++++++++++--------0
0+++++++++++++++++++++++++++++-0---
++++++++++++++++0++---++----++-++0-
0++++++++++++++++++++++++------++--
0++++++++++++++++++++++++++++++--++
0++++++++++++++++++++++++++++++++--
+++++++++++++++0++-++----++--------
+++++++++++++++0++++++-+++++-++-+++
0++++++++++++++++++++++++------+++-
0++++++++++++++++++++++++++++++-+++
0+++++++++++++++++++++++++++++++++-
+++++++++++++++0+-++-+-+++-+-++-+++
+++++++++++++++0++-++----++-------+
+++++++++++++++0++++++++-+++++-++--
+++++++++++++++0++++++++++++++++++-
0++++++++++++++++++++++++------++++
0++++++++++++++++++++++++++++++++++
+++++++++++++++0++-++-+--++-+--+---
+++++++++++++++0+++++++++++++++++++
0+++++++++++++++++++++---+++------0
0++++++++++++++++++++++++------+0--
0++++++++++++++++++++++++++-+--0---
0+++++++++++++++++++++++++++------0
0++++++++++++++++++++++++++++++-0++
0+++++++++++++++++++++++++++++++0--
+++++++++++++++0+++++++++++++++---0
0++++++++++++++++++++++++------0+++
0++++++++++++++++++++++++++++++0---
0++++++++++++++++++++++++++++++0+++
+++++++++++++++0++++++++++++++++++0
0++++++++0+-+--+++++++---+++--+-++-
0+++++++++++++++++++++-+++-0--+--++
0+++++++++++++++++++++0+++++-++--++
+++++++++++++++0++++++-+++++-0+--++
0++++++++0+-+--+++++++--++++--+-++-
0+++++++++++++++++++++0+++++-++-+++
0++++++++++++++++++++++++-+0++-++--
0+++++++++++++++++++++++++-0--+--++
+++++++++++++++0++++++++++++++0++--
0++++++++0+-+--++++++++--+-+--+-++-
0++++++++++++++++++++++0-+++-------
+++++++++++++++0++++++++++++-0+---+
0++++++++0+-+--++++++++--+++----++-
0+++++++++++++++++++++0+++++--+---+
0++++++++++++++++++++++0-+---------
0++++++++++++++++++++++0-++++--+---
0+++++++++++++++++++++++--+0++-++--
+++++++++++++++0++++++++++++++0+---
++++++++++++++++0++-+-++--0-++-++--
0++++++++0+-+--++++++++--+++--+-++-
0+++++++++++++++++++++--++-0--+--++
0+++++++++++++++++++++0+++++--+--++
0++++++++++++++++++++++0-++--------
0++++++++++++++++++++++0-++++------
+++++++++++++++0++++++++++++-0+--++
++++++++++++++++0++-+++++--0++++++-
0++++++++0+-+--++++++++--+++--0-++-
0+++++++++++++++++++++0+++++--+--0+
0++++++++++++++++++++++0-+0--------
0++++++++++++++++++++++0-++++--0---
0++++++++0+-+--++++++++--+++-++-++-
0+++++++++++++++++++-+--++-0--+--++
0+++++++++++++++++++++0+++-+--+--++
0++++++++++++++++++++++0-++-+------
++++++++++++++++0++-+++++--0+++++++
0++++++++0+-+--++++++++--+++-++-+++
0+++++++++++++++++++-0--++----+--++
0+++++++++++++++++++++0+++----+--++
0++++++++++++++++++++++0-++-+--+---
++++++++++++++++0++-++++--0-++-++--
0++++++++0+-+--+++++++--0+++--+-++-
0++++++++0+-+--++++++++--+++-++-++0
0+++++++++++++++++++++0+++-0--+--++
0+++++++++++++++++++++0+++++-++-0++
0++++++++++++++++++++++0-++-+--0---
0++++++++0+-+--+++++++++-+-+-++-+++
0++++++++++++++++++0-+-++--+-++-+++
0+++++++++++++++++++0--------------
0+++++++++++++++++++++0+++++------+
0++++++++++++++++++++++0-----------
+++++++++++++++0++++++++++++0------
+++++++++++++++0+++++++++++++++-0++
0++++++++0+-+--+++++++++-+++-++-+++
0++++++++++++++++++0-+-++----++-+++
0+++++++++++++++++++0----+---------
0+++++++++++++++++++++0+++-------++
0++++++++++++++++++++++0--+-+--+---
+++++++++++++++0++++++++++++-++-0++
++++++++++++++++0++-+++++-0-++-++--
0++++++++0+-+--+++++++++-++++++-+++
0++++++++++++++++++0-+-++-----+-+++
0+++++++++++++++++++++0++--------++
0+++++++++++++++++++++++++++0++--++
+++++++++++++++0++++++-0++++--+--++
0++++++++0+-+--+++++++++++-+-++-+++
0++++++++++++++++++0+-+---+-+--+---
0+++++++++++++++++++0-------------+
0+++++++++++++++++++++0++++-------+
0++++++++++++++++++++++0-------+---
+++++++++++++++0++++++++0+++++-----
++++++++++++++++0++-+++++-++++0++--
0++++++++0+-+--+++++++++++++-++-+++
0++++++++++++++++++0+-+-----+--+---
0+++++++++++++++++++0----+--------+
0+++++++++++++++++++++0+++--------+
0++++++++++++++++++++++0----+--+---
+++++++++++++++0++++++++0+++++-+---
++++++++++++++++0++-0-++----++-++--
0++++++++0+-+--++++++++++++++++-+++
0++++++++++++++++++0-+-++-------+++
0++++++++++++++++++0+-+--------+---
0+++++++++++++++++++++0++-------+++
0+++++++++++++++++++++++++++0++-+++
+++++++++++++++0++++++0--+++-------
+++++++++++++++0++++++++0+++++-++--
0++++++++0+-+--+++++++0+++++-++-+++
0+++++++++++++++++++++0+++0-------+
+++++++++++++++0++++++++0+++++-0---
0++++++++0+++++++++++-+--++-+------
0+++++++++++++++++++++0------------
0+++++++++++++++++++++++++++0------
+++++++++++++++0++++++0+++++------+
0++++++++0++++++++++++-++++-------+
0+++++++++++++++++++0+-++--+-++-+++
+++++++++++++++0+++++++++++++0-----
0++++++++0+++++++++++++--++--------
0+++++++++++++++++++0+--++----+--++
0+++++++++++++++++++0+-+++----+--++
++++++++++++++++0++-0++++---++++++-
0++++++++0+++++++++++++--++-+------
0+++++++++++++++++++0+--++-------++
0+++++++++++++++++++0+-+++-------++
0+++++++++++++++++++++0--+---------
0+++++++++++++++++++++++-+++0------
+++++++++++++++0++++++0+++++--+---+
++++++++++++++++0++-0++++---++-+++-
0++++++++0++++++++++++++-++--------
0++++++++++++++++++0++++--+-++-++--
0+++++++++++++++++++0+-++-----+--++
0+++++++++++++++++++0+-+++-+--+--++
0++++++++++++++++++++0---+---------
++++++++++++++++0++--++++---++0+++-
++++++++++++++++0++-0++++---+++++++
0++++++++0++++++++++++++-++-+------
0++++++++++++++++++0++++--+-+--++--
0+++++++++++++++++++0+-++--------++
0+++++++++++++++++++++0--++--------
0+++++++++++++++++++++++++0+-++--++
+++++++++++++++0++++++0+++++--+--++
++++++++++++++++0++-+++++---++0+++-
0++++++++0++++++++++++++++--------+
0++++++++++++++++++0+++++-++++++++-
0++++++++++++++++++++0+-----+--+---
+++++++++++++++0+-++-+-+++-+-0+--++
+++++++++++++++0++++++++-++++0-+---
0++++++++0++++++++++++++++-------++
0++++++++++++++++++0+++++-+++++++--
0++++++++++++++++++0+++++-+++++++++
0++++++++++++++++++++0------------+
0++++++++++++++++++++0+--------+---
+++++++++++++++0++-++-+--++-0------
+++++++++++++++0++++++++++++0++-+++
0++++++++0+-+--+++++++++0+-+-++-+++
0++++++++0++++++++++++++++-------0+
0++++++++++++++++++0+++++-+++++++0-
0++++++++++++++++++0+++++-++++++++0
0+++++++++++++++++++0-------------0
0++++++++++++++++++++0+-----0--+---
0++++++++++++++++++++++0-------0---
0++++++++0++++++++++++++++----+--++
0++++++++++++++++++0++++--++++-++--
0++++++++++++++++++0+++++-++++-++--
0++++++++++++++++++++0-------------
0++++++++++++++++++++0+------------
++++++++++++++++0-------+-----+-0++
++++++++++++++++0++---+++---++0+++-
0++++++++0++++++++++++++++-+--+--++
0++++++++++++++++++0+++++-+-++-++--
0+++++++++++++++++++0+--+-----+--++
0+++++++++++++++++++0+--++-+--+--++
0++++++++++++++++++++0+--+---------
++++++++++++++++0-------------0-+++
++++++++++++++++0++-0++++--+++++++-
0++++++++0++++++++++++++++-+-++--++
0++++++++++++++++++0+++++-+-+--++--
0+++++++++++++++++++0+--+--------++
0++++++++++++++++++++++--+++0------
0+++++++++++++++++++++++++0+--+--++
+++++++++++++++0++++++0+++++-++---+
++++++++++++++++0-------------0--++
0++++++++0+++++++++++++++++--------
0++++++++++++++++++0+++++--++++++++
0+++++++++++++++++++0+-++-----+-+++
0+++++++++++++++++++0+-+++-+-++--++
0++++++++++++++++++++0---+--------+
+++++++++++++++0++++++++++++0++--++
++++++++++++++++0++-+0++----++-++--
0++++++++0+++++++++++++++++-------+
0++++++++++++++++++0+++++--+++++++-
0+++++++++++++++++++0+-++----++-+++
0+++++++++++++++++++0+-+++-+-++-+++
0++++++++++++++++++++0+---+-+--+---
+++++++++++++++0+++++++++++++0-+---
++++++++++++++++0++-+++++-+0++-++--
0++++++++0+-+--+++++++++0+++-++-+++
0++++++++0+++++++++++++++++-------0
0++++++++++++++++++0+++++--+++++++0
0+++++++++++++++++++0----+--------0
0+++++++++++++++++++0+-++----0+-+++
0+++++++++++++++++++0+-+++-+-++-0++
0+++++++++++++++++++++0+++-------0+
0++++++++0+++++++++++++++++-+------
0++++++++++++++++++0+++++--+-++++++
0+++++++++++++++++++0+-++-------+++
0+++++++++++++++++++++0--+++-------
0+++++++++++++++++++++++++0+-++-+++
+++++++++++++++0+++++++0-+++-------
+++++++++++++++0++++++++++++0++---+
0++++++++0++++++++++++++++++------+
0++++++++++++++++++0+++++---++++++-
0++++++++++++++++++++0+--++-+--+---
++++++++++++++++0++-++++--+0++-++--
0++++++++0++++++++++++++++++--+---+
0++++++++++++++++++0+++++---++-+++-
0++++++++++++++++++0+++++---+++++++
0++++++++++++++++++++0---++-------+
0++++++++++++++++++++0+--++-+------
++++++++++++++++0++-+0++--+-++-++--
++++++++++++++++0++-+++++-0++++++++
0++++++++0++++++++++++++++++--+--++
0++++++++++++++++++0++++----++-++--
0++++++++++++++++++0+++++---++-++--
0++++++++++++++++++++0---++--------
0++++++++++++++++++++0+--++--------
++++++++++++++++0+--0-+-----+--+---
++++++++++++++++0++-0++++--++++++++
0++++++++0+-+--+++++++++0++++++-+++
0++++++++0++++++++++++++++++--0---+
0++++++++++++++++++0+++++---++0+++-
0++++++++++++++++++0+++++---++++++0
0++++++++++++++++++++0+--++-+--0---
0+++++++++++++++++++++0++-------0++
0+++++++++++++++++++++++++++0++-0++
0++++++++0++++++++++++++++++-++--++
0++++++++++++++++++0++++----+--++--
0++++++++++++++++++0+++++---+--++--
0+++++++++++++++++++++-+++0+--+--++
0+++++++++++++++++++++-+++0+-++--++
+++++++++++++++0++++++0+++++-++--++
++++++++++++++++0+--0-+-----+--++--
0++++++++0+++++++++++++++++++------
0++++++++++++++++++0+++++----++++++
0++++++++++++++++++0+++++---+--+++-
0+++++++++++++++++++++--++0+--+--++
0+++++++++++++++++++++-+++0+-++-+++
+++++++++++++++0+++++++0-++++------
++++++++++++++++0++-+++++-0+++++++-
0++++++++0+++++++++++++++++++++----
0++++++++++++++++++0---------------
0++++++++++++++++++0+++++------++++
+++++++++++++++0+++++++++++++++0+++
0++++++++0+++++++++++++++++++++---+
0++++++++++++++++++0--------------+
0++++++++++++++++++0----+-----+--++
0++++++++++++++++++0+++++------+++-
0++++++++++++++++++0+++++-----+++++
+++++++++++++++0+-++-+-0++-+--+--++
+++++++++++++++0+++++++0-++++--+---
0++++++++0+++++++++++++++++++++--++
0++++++++++++++++++0-------------++
0++++++++++++++++++0----+--------++
0++++++++++++++++++0++++-------++--
0++++++++++++++++++0+++++------++--
+++++++++++++++0++-++-0--++--------
+++++++++++++++0++++++0+++++-++-+++
0++++++++0++++++++++++++++++++0----
0++++++++++++++++++0--------------0
0++++++++++++++++++0+++++------+++0
0++++++++++++++++++0+++++-----0++++
0++++++++0++++++++++++++0++-+------
0++++++++0++++++++++++++0+++-------
0++++++++++++++++++0+++++---++-++0-
0+++++++++++++++++++0+-++-------0++
0++++++++++++++++++++0---++-------0
0++++++++++++++++++++0+--++-0------
0+++++++++++++++++++++++++0+-++-0++
0++++++++0++++++++++++++0++--------
0++++++++0++++++++++++++0++++------
0++++++++++++++++++0+++++---+--++0-
0+++++++++++++++++++0+-++-----+-0++
0+++++++++++++++++++0+-+++-+-0+--++
0++++++++++++++++++++0---+--------0
0+++++++++++++++++++++-+++0+-++-0++
0++++++++0++++++++++++++0+---------
0++++++++0++++++++++++++0+++++-----
0++++++++++++++++++0-------------0+
0++++++++++++++++++0+++++------++0-
0++++++++++++++++++0+++++-++++0++--
0++++++++++++++++++++0------------0
0++++++++++++++++++++0+--------0---
0++++++++0+-+--++++++0---+-+-++-++-
0++++++++0+++++++++++++0-++-+------
0++++++++0+++++++++++++0-++++------
0++++++++++++++++++0+++++-0-+--++--
0+++++++++++++++++++++0--+0--------
0+++++++++++++++++++++0+++0+--+--++
+++++++++++++++0++++++0+++++-++--0+
0++++++++0+-+--++++++0+--+-+--+-++-
0++++++++0++++++++++++0--+---------
0++++++++0++++++++++++0+++-+-++--++
0++++++++++++++++++0+++++-0-++-++--
0++++++++++++++++++++0+--+0--------
0++++++++++++++++++++++0-+++0------
+++++++++++++++0++++++0+++++-0+---+
0++++++++0+-+--++++++0+--+++++--+++
0++++++++0++++++++++++0+++--------+
0++++++++0++++++++++++0++++-------+
0++++++++++++++++++0+-+---0-+--+---
0++++++++++++++++++0+++++-0+++++++-
0+++++++++++++++++++0+-++--0-++-+++
+++++++++++++++0++++++++0++++0-+---
0++++++++0+-+--++++++0+--++++++-+++
0++++++++0++++++++++++0+++-------++
0++++++++0++++++++++++0+++++------+
0++++++++++++++++++0-+-++--0-++-+++
0++++++++++++++++++0+++++--0++++++-
0++++++++++++++++++0+++++-0++++++++
+++++++++++++++0++++++++++++0++-0++
0++++++++0+-+--++++++0+--+++-++-+++
0++++++++0++++++++++++0+++----+--++
0++++++++0++++++++++++0+++++--+---+
0++++++++++++++++++0++++--+0++-++--
0++++++++++++++++++0+++++--0+++++++
0++++++++++++++++++++0---+0-------+
++++++++++++++++0++-+0++--0-++-++--
0++++++++0+-+--++++++0+--+++-++-++-
0++++++++0++++++++++++0+++-+--+--++
0++++++++0++++++++++++0+++++--+--++
0++++++++++++++++++0++++--0-++-++--
0+++++++++++++++++++0+--++-0--+--++
0++++++++++++++++++++0---+0--------
++++++++++++++++0++-0++++--0+++++++
0++++++++0+-+--++++++0+--+-+-++-+++
0++++++++0++++++++++++0--+++-------
0++++++++0++++++++++++0+++++-++---+
0++++++++++++++++++0+++++--0-++++++
0++++++++++++++++++0+++++-+0++-++--
0+++++++++++++++++++++0+++0+-++-+++
+++++++++++++++0+++++++0-+++0------
0++++++++0+-+--++++++0+--+-+-++-++-
0++++++++0++++++++++++0--++--------
0++++++++0++++++++++++0+++++-++--++
0++++++++++++++++++0++++--0-+--++--
0+++++++++++++++++++0+-+++-0--+--++
0+++++++++++++++++++++0+++0+-++--++
+++++++++++++++0++++++0+++++-0+--++
0++++++++0+-+--++++++0+--+-+-++-++0
0++++++++0+-+--++++++0+--+++-++-++0
0++++++++0++++++++++++0+++-0--+--++
0++++++++0++++++++++++0+++++--+--0+
0++++++++0++++++++++++0+++++-++--0+
0++++++++++++++++++++0---+0-------0
0+++++++++++++++++++++0+++0+-++-0++
0++++++++0+-+--++++++0+--+++++0-+++
0++++++++0++++++++++++0+++-------0+
0++++++++0++++++++++++0++++0------+
0++++++++++++++++++0+++++-0+++++++0
0++++++++0+-+--++++++0+--++++0--+++
0++++++++0++++++++++++0+++0-------+
+++++++++++++++0++++++++0++++0-0---
0++++++++0+-+--++++++0+--+-+-0+-++-
0++++++++0+-+--++++++0+--+++-0+-++-
0++++++++0++++++++++++0+++0+--+--++
0++++++++0++++++++++++0+++0+-++--++
+++++++++++++++0++++++0+++++-0+--0+
0++++++++0+-+--+++++0+--++-+-++-++-
0++++++++0+-+--+++++0+-+++-+-++-++-
0++++++++0++++++++++0----+---------
0++++++++++++++++++0-+-++----0+-+++
0++++++++++++++++++0++++----0--++--
0++++++++++++++++++0+++++---0--++--
+++++++++++++++0++++++0+++++-++-0++
0++++++++0+-+--+++++0+--++-+--+-++-
0++++++++0+-+--+++++0+-+++-+-++-+++
0++++++++0++++++++++0----+--------+
0++++++++++++++++++0+-+-----0--+---
0++++++++++++++++++0+++++----0+++++
0++++++++++++++++++0+++++---0--+++-
+++++++++++++++0+++++++0-++++--0---
0++++++++0+-+--+++++0+--++-+-0+-++-
0++++++++0+-+--+++++0+-+++-+-++-++0
0++++++++0++++++++++0----+--------0
0++++++++0++++++++++++0+++----0--++
0++++++++0++++++++++++0+++++--0---+
0++++++++++++++++++0+++++---0--++0-
0++++++++++++++++++0+++++--0++++++0
0++++++++0++++++++++0+--++-+--+--++
0++++++++++++++++++0+++++-+-+0-++--
++++++++++++++++0-------------0-0++
0++++++++0++++++++++0+--++----+--++
0++++++++0++++++++++0+-+++----+--++
0++++++++0++++++++++0+-+++-+--+--++
0++++++++++++++++++0++++----+0-++--
0++++++++++++++++++0++++--+-+0-++--
0++++++++++++++++++0+++++---+0-++--
++++++++++++++++0++-0++++---++0+++-
0++++++++0++++++++++0+--++-------++
0++++++++0++++++++++0+-+++-------++
0++++++++0++++++++++0+-+++-+-++--++
0++++++++++++++++++0+++++---0++++++
0++++++++++++++++++0+++++---+0-+++-
0++++++++++++++++++0+++++--+0++++++
+++++++++++++++0++++++0+++++--0---+
0++++++++0++++++++++0+--++----0--++
0++++++++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++++++++++++++++++++00--+---------
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+-+--++++++00--+-+-++-++-
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++++++++++++++++++++00--+0--------
0++++++++0+-+--++++++00--+++--+-++-
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+++++--00++++++
0++++++++0+-+--++++++00--+++--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+-+--++++++00--+0+-0+-++-
0++++++++0++++0+++++0+-0++-0--+--++
00+++0+++++++++0++++++++-+++++-+---
00+++0+++++++++0++++++++++++++-+---
+++++++++++++++0+0++0+-+++0+-++--++
++++++++++++++++00+--+0++---0++++++
00+++0+++++++++0+++++++++++++--+---
00+++0+++++++++0++++++++++++++-++--
+++++++++++++++00++0+++++0+++++++--
++++++++++++++++00+--+0++--+0++++++
00+++0+++++++++0++++++++-+++++-++--
00+++0+++++++++0++++++++++++++-----
00+++0+++++++++0++++++++++++++++---
00+++0+++++++++0+++++++++++++++++--
+++++++++++++++00++0+++++0++++++++-
+++++++++++++++0+0-+0----+0-------+
+++++++++++++++0+0++0+-+++0+-++-+++
00+++0+++++++++0+++++++++++++++---+
00+++0+++++++++0+++++++++++++++++++
+++++++++++++++00+-0+-+--0+-+--+---
+++++++++++++++00++0+++++0+++++++++
00+++0+++++++++0+++++++++++++++---0
00+++0+++++++++0++++++++++++++++++0
0++++++++++++++++++++++++------0000
0++++++++++++++++++++++++++++++0000
00+++0++++++0++0++++++++-+++++-++--
00+++0+++++++++0+++++++0-+++-------
00+++0+++++++++0+++++++++++++0-----
0++++++++++++++++++00+0++--+-++0+++
+++++++++++++++0+0-+0----+0-------0
00+++0++++++0++0++++++++++++++-+---
00+++0+++++++++0++++++0+++++-++--++
00+++0+++++++++0++++++++-++++0-+---
0++++++++++++++++++0+0+0----+--+0--
+++++++++++++++0+0++0+-+++0+-0+--++
00+++0++++++0++0++++++++++++++-++--
00+++0+++++++++0++++++0+++++--+--++
00+++0+++++++++0+++++++0-++++------
00+++0+++++++++0+++++++++++++0-+---
0++++++++++++++++++00+0++----++0+++
0++++++++++++++++++0+0+0--+-+--+0--
++++++++++++++++00+--00++---0++++++
00+++0++++++0++0++++++++++++++++---
00+++0+++++++++0++++++0+++++-++---+
00+++0+++++++++0++++++0+++++-++-+++
00+++0+++++++++0++++++++++++0++-+++
0++++++++++++++++++0-0-0+-------0++
0++++++++++++++++++0+0+0-------+0--
+++++++++++++++00++0+++++0++++0++--
00+++0++++++0++0+++++++++++++++++--
00+++0+++++++++0++++++0+++++--+---+
00+++0+++++++++0+++++++0-++++--+---
00+++0+++++++++0++++++++++++0++--++
0++++++++++++++++++0-0-0+-----+-0++
0++++++++++++++++++00+0++-----+0+++
+++++++++++++++0+0++0+-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++++00++++-++--
00+++0++++++0++0+++++++++++++0-+---
00+++0++++++0++0++++++++++++++0++--
00+++0+++++++++0++++++0+++++-++--0+
00+++0+++++++++0++++++0+++++-++-0++
0++++++++0+-+--+++++00--0+-+-++-+0-
0++++++++++++++++++00+0++----0+0+++
0++++++++++++++++++0+0+0----0--+0--
00+++0++++++0++0++++++++0+++++-+---
00+++0+++++++++0++++++0+++++-0+--++
0++++++++0++++++++++++000++-------0
0++++++++++++++++++0+0+0--0-+--+0--
00+++0++++++0++0++++++++0++++--+---
00+++0++++++0++0++++++++0+++++-++--
00+++0+++++++++0++++++0+++++-0+---+
00+++0+++++++++0+++++++0-+++0------
0++++++++0++++++++++++000+++------0
0++++++++++++++++++00+0++--0-++0+++
0++++++++++++++++++0+++++-00++0++0-
00+++0++++++0++0++++++++0++++0-+---
00+++0++++++0++0++++++++0+++++-+0--
00+++0+++++++++0++++++0+++++-0+--0+
0++++++++0+-+--+++++00--0+-+-0+-+0-
0++++++++0++++++++++++000+0-------0
00+++0++++++0++0+++++++0-++++--+---
00+++0+++++++++0++++++0+++++--0---+
0++++++++0++++++++++00--0+-------0+
0++++++++++++++++++00+0++-----00+++
00+++0++++++0000++++++++++++++++++0
00+++0+++++++++0++++++000+++------0
00+++0+++++++++0++++++++++++000---0
00000+++++++++++++++++++++++-++--++
0++++++++++++++0000+++-+++++-++--++
00000++++++++++++++++++++++++++--++
0++++++++++++++0000+++-+++++-++-+++
0++++++++++++++0000++++--++++------
0++++++++++++++0000++++++++++++++--
00000++++++++++++++++++++++++++-+++
0++++++++++++++0000+-+--++-+--+--++
0++++++++++++++0000++++--++++--+---
0++++++++++++++0000+++++++++++++++-
00000++++++++++++++++++++++++++++--
0++++++++++++++0000+++--++++--+--++
0++++++++++++++0000+++++-+++++-+---
0++++++++++++++0000++++++++++++--++
00000+++++++++++++++++++++++++++++-
0++++++++++++++0000+++---+++-------
0++++++++++++++0000+++--++++--+---+
0++++++++++++++0000+++++-+++++-----
0++++++++++++++0000+++++-+++++-++--
0++++++++++++++0000++++++++++++-+++
00000++++++++++++++++++++++++++++++
0++++++++++++++0000+----++----+--++
0++++++++++++++0000+++---+++------+
0++++++++++++++0000++++++++++++++++
00000+++++++++++++++++++++0-------+
0++++++++0+-+--0000++++--++++---++-
0++++++++0+-+--0000++++--++++---+++
0++++++++0+++++0000++-+--++-+------
0++++++++++++++0000+++++-+++++-0---
0++++++++++++++0000++++++++++++-0++
00000+++++++++++++++++++++0+-++--++
0++++++++0+-+--0000++-+--++-+---++-
0++++++++0+++++0000+++-+++++-++--++
0++++++++++++++0000+++-+++++-++-0++
00000+++++++++++++++++++++0+-++-+++
0++++++++0+-+--0000++-+--++-+---+++
0++++++++0+++++0000+++-+++++-++---+
0++++++++0+++++0000++++--++++------
0++++++++++++++0000++++--++++--0---
0++++++++++++++0000+++++++++++++0--
00000+++++++++++++++++++++0+-0+--++
0++++++++0+-+--0000++-+--++-+---+0-
0++++++++0++++00000++++--++++------
0++++++++0+++++0000+++-+++++-++--0+
00000++++++++++++++++++++0+-+--+---
0++++++++0+-+--0000+++--++++--+-++-
0++++++++0+-+--0000++++++++++++-+++
0++++++++++++++0000++++++++++++0---
00000++++++++++++++++++++0++++++++-
0++++++++0+++++0000+++--++++--+--++
0++++++++0+++++0000++++++++++++---+
0++++++++0+++++0000++++++++++++--++
0++++++++++++++0000+++--++++--+--0+
0++++++++++++++0000+++++-+++++-+0--
00000++++++++++++++++++++0+++++++++
0++++++++0+++++0000+++--++++--+---+
0++++++++0+++++0000+++++-+++++-----
0++++++++0+++++0000++++++++++++----
0++++++++++++++0000+++---+++------0
0++++++++++++++0000++++++++++++0+++
00000++++++++++++++++++++0+++++++0-
0++++++++0+-+--0000++++--++++---++0
0++++++++0++++00000+++--++++--+--++
0++++++++0+++++0000++++++++++++--0+
00000++++++++++++++++++++0++++0++--
0++++++++0++++00000++++++++++++--++
0++++++++0+++++0000+++--++++--+--0+
0++++++++0+++++0000++++++++++++---0
00000++++++++++++++++++++00+0++0+++
00+++0++++++0++0++++++0+++++0++0--0
00+++0++++++0++0++++++0+++++0++0++0
0++++++++++++++0000++++++++++++0000
000000+++++++++0++++++++++++++-+---
00+++0+++++++++0000+++++-+++++-+---
0++++++++++++++0000+0+-+++0+-++--++
0++++++++++++++0000+++0+++++0++--++
000000+++++++++0++++++++++++++-++--
00+++0+++++++++0000++++--++++------
00+++0+++++++++0000+++++-+++++-----
0++++++++++++++00000+++++0+++++++--
0++++++++++++++0000+++0--+++0------
0++++++++++++++0000+++0+++++0++-+++
000000+++++++++0+++++++++++++++---+
00+++0+++++++++0000++++++++++++++++
0++++++++++++++0000+-0--++-0--+--++
0++++++++++++++0000++0+--++0+--+---
000000+++++++++0+++++++++++++++---0
00+++0+++++++++0000+++++++++++++++0
0++++++++0+-+--0000+++--0+++--0-++-
0++++++++0+-+--0000+++++0+++++0-+++
000000+++++++++0++++++++++++++++---
00+++0+++++++++0000+++++-+++++-++--
00+++0+++++++++0000++++++++++++++--
0++++++++++++++0000+0----+0--------
0++++++++++++++0000+0+-+++0+-++-+++
0++++++++++++++0000++0+--++0+------
000000+++++++++0+++++++++++++++++--
00+++0+++++++++0000++++--++++--+---
00+++0+++++++++0000+++++++++++++---
0++++++++++++++00000+++++0++++++++-
0++++++++++++++0000+0----+0-------+
0++++++++++++++0000+0+--++0+--+--++
000000+++++++++0+++++++++++++++++++
00+++0+++++++++0000+++---+++------+
00+++0+++++++++0000++++++++++++---+
0++++++++++++++00000+-+--0+-+--+---
0++++++++++++++00000++++-0++++-++--
0++++++++++++++00000+++++0+++++++++
000000+++++++++0++++++++++++++++++0
00+++0+++++++++0000+++---+++------0
00+++0+++++++++0000++++++++++++---0
0++++++++0+++++0000+++--0+++--0---+
0++++++++0+++++0000+++++0+++++0----
000000+++++++++0+++++++++++++0-----
00+++0++++++0++0000+++++-+++++-++--
00+++0+++++++++0000+++++++++++++0--
0++++++++0+-+--0000+0+-+++0+-++-+++
0++++++++0+++++0000++0+--++0+------
0++++++++++++++0000+0----+0-------0
000000+++++++++0+++++++++++++0-+---
00+++0++++++0++0000+++++-+++++-+---
00+++0+++++++++0000+++++-+++++-0---
0++++++++0+-+--0000+0+-+++0+-++-++-
0++++++++0+++++0000+0+-+++0+-++--++
0++++++++++++++0000+++0+++++0++-0++
000000+++++++++0++++++++++++0------
00+++0++++++0++0000++++--++++--+---
00+++0+++++++++0000++++++++++++0---
0++++++++0+-+--0000+0----+0-----+--
0++++++++0+-+--0000+0+--++0+--+-++-
0++++++++++++++00000+++++0++++++++0
000000+++++++++0++++++++++++0++---+
00+++0++++++0++0000+++++++++++++++-
00+++0+++++++++0000++++++++++++0+++
0++++++++0+++++0000++0---++0------+
0++++++++0+++++0000++++0-++++0-----
0++++++++++++++0000++0+--++0+--0---
000000+++++++++0++++++++++++0++--++
00+++0++++++0++0000++++++++++++++--
00+++0+++++++++0000+++++-+++++-+0--
0++++++++0+++++0000+0----+0--------
0++++++++0+++++0000++0---++0-------
0++++++++++++++0000+0+-+++0+-++-0++
000000+++++++++0++++++++++++0++--0+
00+++0++++++0++0000++++++++++++++0-
0++++++++0++++00000+0----+0--------
0++++++++0+++++0000++0---++0------0
000000+++++++++0++++++++++++0++-+++
00+++0++++++0++0000+++++++++++++---
00+++0+++++++++0000++++--++++--0---
0++++++++0+++++0000+0----+0-------+
0++++++++0+++++0000+0+--++0+--+--++
0++++++++++++++00000+++++0+++++++0-
000000+++++++++0++++++++++++0++-0++
00+++0++++++0++0000+++++-+++++-+0--
00+++0++++++0++0000+++++++++++++0--
0++++++++0+-+--0000+0+-+++0+-++-++0
0++++++++0++++00000+0+-+++0+-++--++
0++++++++0+++++0000+0----+0-------0
000000+++++++++0++++++++++++000---0
00+++0++++++0000000+++++++++++++++0
00+++0++++++0++0++++++000+++0--0--0
00+++0++++++0++0++++++0+++++0000--0
00+++0+++++++++0000++++++++++++0000
000000+++++++++0+++++++++000++-++--
0++++++++0+-+--00000+++++0+++++00++
0++++++++0+++++00000+++++0+++++00--
000000+++++++++0+++++++++000+++++++
0++++++++0+++++00000+-+--0+-+--00--
0++++++++0+++++00000+++++0+++++00++
000000+++++++++0+++++++++000++++++0
0++++++++0++++000000+-+--0+-+--00--
0++++++++0++++000000+++++0+++++00++
000000++++++0++0++++++0+++++++++---
00+++0+++++++++0000+++0+++++0++-+++
00+++0+++++++++0000++++0-++++0-----
0++++++++++++++0000++00--++00------
000000++++++0++0++++++0++++++++++--
00+++0+++++++++0000+++0+++++0++--++
00+++0+++++++++0000++++0-++++0-+---
0++++++++++++++0000+0+-0++0+-0+--++
000000++++++0++0++++++0+++++++++++-
00+++0+++++++++0000+++0--+++0------
00+++0+++++++++0000+++0+++++0++---+
0++++++++++++++00000++++00++++0++--
000000++++++0++0++++++0+++++++0++--
00+++0++++++0++0000+++++0+++++0+---
00+++0++++++0++0000+++++0+++++0++--
00+++0+++++++++0000+++0+++++0++-0++
00+++0+++++++++0000++++0-++++0-0---
0++++++++0+++++0000+0+-0++0+-0+--++
000000++++++0++0++++++0+++++++0+0--
00+++0++++++0++0000+++++0+++++0+0--
0++++++++0++++00000+0+-0++0+-0+--++
000000++++++0++0++++++0++++++0-+---
00+++0++++++0++0000++++0-++++0-+---
00+++0+++++++++0000+++0+++++0++--0+
0++++++++0+-+--0000+0+-0++0+-0+-++-
000000++++++0++0++++++0++000++-++--
000000+++++++++0+++++++++000+0-+0--
00+++0++++++0++0000+++0+++++0++0++0
0++++++++0+-+--00000++++00++++000++
000000++++++0++0++++++0++000++++++-
000000+++++++++0+++++++++0000++0+++
00+++0++++++0++0000+++0--+++0--0--0
00+++0++++++0++0000+++0+++++0++0--0
0++++++++0+++++00000++++00++++000--
000000++++++0++0++++++0++000+0-+0--
00+++0++++++0000000+++0+++++0++0++0
00+++0++++++0++0000+++0+++++0++0000
000000++++++0++0++++++0++0000++0++0
0++++++++0++++000000++++00++++00000
000000000++++++0000++++++++++++++++
00+++0+++++++++0000000++-000++-++--
00+++0+++++++++0000000+++000+++++++
000000000++++++0000++++++++++++0+++
00+++0++++++0++0000000++-000++-++--
00+++0++++++0++0000000+++000++++++-
00+++0+++++++++0000000+++000++++++0
000000000++++++0000++++++++++++0000



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