[mathicgb] 166/393: adds homogeneous katsura examples

[Doug Torrance]

This is an automated email from the git hooks/post-receive script.

dtorrance-guest pushed a commit to branch upstream
in repository mathicgb.

commit 93e2e29cc6877bed5b831174834e515be1e46654
Author: Christian Eder <ederc at mathematik.uni-kl.de>
Date:   Wed Feb 13 10:25:45 2013 +0100

    adds homogeneous katsura examples
---
 .../hkatsura11-101/hkatsura11-101-trimmed.ideal       | 13 +++++++++++++
 .../hkatsura-101/hkatsura11-101/hkatsura11-101.ideal  | 13 +++++++++++++
 .../hkatsura12-101/hkatsura12-101-trimmed.ideal       | 14 ++++++++++++++
 .../hkatsura-101/hkatsura12-101/hkatsura12-101.ideal  | 14 ++++++++++++++
 .../hkatsura13-101/hkatsura13-101-trimmed.ideal       | 15 +++++++++++++++
 .../hkatsura-101/hkatsura13-101/hkatsura13-101.ideal  | 15 +++++++++++++++
 .../hkatsura14-101/hkatsura14-101-trimmed.ideal       | 16 ++++++++++++++++
 .../hkatsura-101/hkatsura14-101/hkatsura14-101.ideal  | 16 ++++++++++++++++
 .../hkatsura15-101/hkatsura15-101-trimmed.ideal       | 17 +++++++++++++++++
 .../hkatsura-101/hkatsura15-101/hkatsura15-101.ideal  | 17 +++++++++++++++++
 .../hkatsura16-101/hkatsura16-101-trimmed.ideal       | 18 ++++++++++++++++++
 .../hkatsura-101/hkatsura16-101/hkatsura16-101.ideal  | 18 ++++++++++++++++++
 .../hkatsura17-101/hkatsura17-101-trimmed.ideal       | 19 +++++++++++++++++++
 .../hkatsura-101/hkatsura17-101/hkatsura17-101.ideal  | 19 +++++++++++++++++++
 14 files changed, 224 insertions(+)

diff --git a/examples/hkatsura-101/hkatsura11-101/hkatsura11-101-trimmed.ideal b/examples/hkatsura-101/hkatsura11-101/hkatsura11-101-trimmed.ideal
new file mode 100644
index 0000000..fca756d
--- /dev/null
+++ b/examples/hkatsura-101/hkatsura11-101/hkatsura11-101-trimmed.ideal
@@ -0,0 +1,13 @@
+101 12 1 1 1 1 1 1 1 1 1 1 1 1 1
+11
+a+2b+2c+2d+2e+2f+2g+2h+2i+2j+2k-l
+fg-23g2+eh-46fh-40gh-41h2+di-46ei-40fi+19gi+30hi+47i2+cj-46dj-40ej+19fj+30gj-7hj+9ij+39j2+bk-46ck-40dk+19ek+30fk-7gk+9hk-23ik-2jk+36k2+12bl+48cl+7dl-10el-3fl+28gl-18hl-40il-38jl-12kl
+f2+2eg+47g2+2dh-7fh-19gh-18h2+2ci-7ei-19fi-36gi+43hi+8i2+2bj-7dj-19ej-36fj+43gj+16hj-16ij+24j2-4bk-11ck-23dk-40ek+39fk+12gk-20hk+44ik+2jk+26k2-24bl+5cl-14dl+20el+6fl+45gl+36hl-21il-25jl+25kl
+ef+dg+ch+bi-2bj-2cj-2dj-2ej-2fj-2gj-2hj-2ij-2j2+bk-2jk-50jl
+e2+2df+2cg+2bh-4bi-4ci-4di-4ei-4fi-4gi-4hi-4i2+2bj-4ij+2ck-4ik+il
+de+cf+bg-2bh-2ch-2dh-2eh-2fh-2gh-2h2+bi-2hi+cj-2hj+dk-2hk-50hl
+d2+2ce+2bf-4bg-4cg-4dg-4eg+5g2+2bh+4eh+18fh+38gh+38h2+2ci+4di+18ei+42fi-29gi+19hi-14i2+4cj+20dj+42ej-25fj+15gj-28hj+36ij-46j2+4bk+18ck+42dk-23ek+19fk-32gk+36hk+9ik-8jk+43k2+48bl-10cl+28dl-40el-12fl+12gl+29hl+42il+50jl-48kl
+cd+be-2bf-2cf-2df+bg+2dg+4eg+48g2+3ch+4dh+2eh-7fh-17gh-17h2+2bi+4ci+3di-5ei-19fi-34gi+45hi+9i2-2cj-9dj-20ej-40fj+41gj+14hj-18ij+21j2-4bk-13ck-25dk-42ek+36fk+10gk-22hk+42ik-4jk+23k2-24bl+5cl-14dl+20el-44fl+45gl+36hl-21il-24jl+26kl
+c2+2bd-4be-4ce+2bf+4cf+8df+4bg+10cg+4dg-4eg-4ch-6dh-12eh-8fh-8gh-8h2-8bi-16ci-16di-18ei-16fi-16gi-24hi-16i2-4cj-8dj-12ej-6fj-8gj-16hj-24ij-8j2+4bk+8ck+4dk-4ek+2gk-8hk-16ik-8jk+el+2hl+4il+2jl
+bc-2bd+3be+4ce-cf-6df-4bg-8cg-5dg+5g2+2ch+2dh+9eh+18fh+38gh+38h2+6bi+12ci+12di+26ei+47fi-25gi+23hi-10i2+6cj+20dj+44ej-29fj+12gj-32hj+36ij-50j2+10ck+34dk-29ek+9fk-44gk+25hk+ik-24jk+31k2+48bl-10cl-22dl-40el-11fl+13gl+30hl+42il-49jl-44kl
+b2+2bd-2ce+2df+4bg+4cg+4dg+2eg+10g2-4eh+14fh-49gh-49h2-4ci-4di+12ei+48fi+5gi-26hi+33i2-4cj+12dj+48ej+3fj-22gj-33hj-24ij-47j2+16ck-49dk+3ek-22fk-27gk-20hk+9ik-43jk+14k2-5bl-19cl-43dl+25el-18fl+30gl-31hl-il+19jl+29kl
diff --git a/examples/hkatsura-101/hkatsura11-101/hkatsura11-101.ideal b/examples/hkatsura-101/hkatsura11-101/hkatsura11-101.ideal
new file mode 100644
index 0000000..c502b86
--- /dev/null
+++ b/examples/hkatsura-101/hkatsura11-101/hkatsura11-101.ideal
@@ -0,0 +1,13 @@
+101 12 1 1 1 1 1 1 1 1 1 1 1 1 1
+11
+a+2b+2c+2d+2e+2f+2g+2h+2i+2j+2k-l
+a2+2b2+2c2+2d2+2e2+2f2+2g2+2h2+2i2+2j2+2k2-al
+2ab+2bc+2cd+2de+2ef+2fg+2gh+2hi+2ij+2jk-bl
+b2+2ac+2bd+2ce+2df+2eg+2fh+2gi+2hj+2ik-cl
+2bc+2ad+2be+2cf+2dg+2eh+2fi+2gj+2hk-dl
+c2+2bd+2ae+2bf+2cg+2dh+2ei+2fj+2gk-el
+2cd+2be+2af+2bg+2ch+2di+2ej+2fk-fl
+d2+2ce+2bf+2ag+2bh+2ci+2dj+2ek-gl
+2de+2cf+2bg+2ah+2bi+2cj+2dk-hl
+e2+2df+2cg+2bh+2ai+2bj+2ck-il
+2ef+2dg+2ch+2bi+2aj+2bk-jl
diff --git a/examples/hkatsura-101/hkatsura12-101/hkatsura12-101-trimmed.ideal b/examples/hkatsura-101/hkatsura12-101/hkatsura12-101-trimmed.ideal
new file mode 100644
index 0000000..ac37d60
--- /dev/null
+++ b/examples/hkatsura-101/hkatsura12-101/hkatsura12-101-trimmed.ideal
@@ -0,0 +1,14 @@
+101 13 1 1 1 1 1 1 1 1 1 1 1 1 1 1
+12
+a+2b+2c+2d+2e+2f+2g+2h+2i+2j+2k+2l-m
+g2+2fh-9gh+34h2+2ei-9fi-33gi+31hi+41i2+2dj-9ej-33fj+31gj-19hj+19ij+22j2+2ck-9dk-33ek+31fk-19gk+19hk+44ik-45jk-23k2+2bl-9cl-33dl+31el-19fl+19gl+44hl-45il-46jl+41kl+7l2-22bm+13cm+4dm-49em-45fm+16gm+33hm+6im+36jm+22km-36lm
+fg+eh-45gh+34h2+di-45fi-33gi+36hi-20i2+cj-45ej-33fj+36gj-40hj+42ij+40j2+bk-45dk-33ek+36fk-40gk+42hk-21ik-27jk+12k2-2bl-47cl-35dl+34el-42fl+40gl-23hl-29il+22jl+29kl-5l2+11bm+44cm-2dm-26em-28fm-8gm+34hm-3im-18jm-11km-32lm
+f2+2eg+2dh+2ci+2bj-4bk-4ck-4dk-4ek-4fk-4gk-4hk-4ik-4jk-4k2+2bl-4kl+km
+ef+dg+ch+bi-2bj-2cj-2dj-2ej-2fj-2gj-2hj-2ij-2j2+bk-2jk+cl-2jl-50jm
+e2+2df+2cg+2bh-4bi-4ci-4di-4ei-4fi-4gi-4hi-4i2+2bj-4ij+2ck-4ik+2dl-4il+im
+de+cf+bg-2bh-2ch-2dh-2eh-2fh-2gh-2h2+bi-2hi+cj-2hj+dk-2hk+el-2hl-50hm
+d2+2ce+2bf-4bg-4cg-4dg-4eg+2bh+4eh+8fh-18gh-31h2+2ci+4di+8ei-14fi+35gi-35hi-17i2+4cj+10dj-14ej+39fj-39gj-34hj+42ij+46j2+4bk+8ck-14dk+41ek-35fk-38gk+42hk-9ik+15jk-44k2-22cl+31dl-43el-40fl+30gl-17hl+7il+5jl-23kl+8l2-44bm+26cm+8dm+3em+11fm+33gm-35hm+12im-29jm+44km+31lm
+cd+be-2bf-2cf-2df+bg+2dg+4eg+3ch+4dh+2eh-2fh+11gh-33h2+2bi+4ci+3di+9fi+35gi-29hi-40i2-2cj-4dj+8ej+29fj-33gj+17hj-21ij-25j2-4bk-8ck+3dk+27ek-38fk+13gk-25hk-50ik+35jk+16k2+9cl+31dl-33el+15fl-20gl-46hl+43il+40jl+50kl-10l2+22bm-13cm-4dm+49em-5fm-16gm-33hm-6im-35jm-20km+37lm
+c2+2bd-4be-4ce+2bf+4cf+8df+4bg+10cg+4dg-4eg-4ch-6dh-12eh-8fh-8gh-8h2-8bi-16ci-16di-18ei-16fi-16gi-24hi-16i2-4cj-8dj-12ej-6fj-8gj-16hj-24ij-8j2+4bk+8ck+4dk-4ek+2gk-8hk-16ik-8jk+4cl+8dl-6hl-16il-8jl+em+2hm+4im+2jm
+bc-2bd+3be+4ce-cf-6df-4bg-8cg-5dg+2ch+2dh+9eh+8fh-18gh-31h2+6bi+12ci+12di+16ei-9fi+39gi-31hi-13i2+6cj+10dj-12ej+35fj-42gj-38hj+42ij+42j2-22dk+35ek-45fk-50gk+31hk-17ik-jk+45k2-26cl+21dl-49el-50fl+20gl-29hl-11jl-47kl-4l2-44bm+26cm-42dm+3em+12fm+34gm-34hm+12im-27jm+48km+35lm
+b2+2bd-2ce+2df+4bg+4cg+4dg+2eg-4eh-6fh+41gh+15h2-4ci-4di-8ei+37fi+32gi-33hi+27i2-4cj-8dj+37ej+30fj-29gj-45hj-12ij+36j2-4ck+41dk+30ek-29fk-39gk-8hk-27ik+3jk+42k2+45cl+38dl-25el-39fl-21hl+7il-15jl+12kl+45l2+13bm-48cm+18dm+10em+28fm-29gm+43hm+40im-38jm+11km-15lm
diff --git a/examples/hkatsura-101/hkatsura12-101/hkatsura12-101.ideal b/examples/hkatsura-101/hkatsura12-101/hkatsura12-101.ideal
new file mode 100644
index 0000000..e8c99c2
--- /dev/null
+++ b/examples/hkatsura-101/hkatsura12-101/hkatsura12-101.ideal
@@ -0,0 +1,14 @@
+101 13 1 1 1 1 1 1 1 1 1 1 1 1 1 1
+12
+a+2b+2c+2d+2e+2f+2g+2h+2i+2j+2k+2l-m
+a2+2b2+2c2+2d2+2e2+2f2+2g2+2h2+2i2+2j2+2k2+2l2-am
+2ab+2bc+2cd+2de+2ef+2fg+2gh+2hi+2ij+2jk+2kl-bm
+b2+2ac+2bd+2ce+2df+2eg+2fh+2gi+2hj+2ik+2jl-cm
+2bc+2ad+2be+2cf+2dg+2eh+2fi+2gj+2hk+2il-dm
+c2+2bd+2ae+2bf+2cg+2dh+2ei+2fj+2gk+2hl-em
+2cd+2be+2af+2bg+2ch+2di+2ej+2fk+2gl-fm
+d2+2ce+2bf+2ag+2bh+2ci+2dj+2ek+2fl-gm
+2de+2cf+2bg+2ah+2bi+2cj+2dk+2el-hm
+e2+2df+2cg+2bh+2ai+2bj+2ck+2dl-im
+2ef+2dg+2ch+2bi+2aj+2bk+2cl-jm
+f2+2eg+2dh+2ci+2bj+2ak+2bl-km
diff --git a/examples/hkatsura-101/hkatsura13-101/hkatsura13-101-trimmed.ideal b/examples/hkatsura-101/hkatsura13-101/hkatsura13-101-trimmed.ideal
new file mode 100644
index 0000000..dc9f957
--- /dev/null
+++ b/examples/hkatsura-101/hkatsura13-101/hkatsura13-101-trimmed.ideal
@@ -0,0 +1,15 @@
+101 14 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
+13
+a+2b+2c+2d+2e+2f+2g+2h+2i+2j+2k+2l+2m-n
+gh-3h2+fi-6gi-21hi-22i2+ej-6fj-21gj-44hj+26ij+44j2+dk-6ek-21fk-44gk+26hk-13ik+41jk-7k2+cl-6dl-21el-44fl+26gl-13hl+41il-14jl+24kl+27l2+bm-6cm-21dm-44em+26fm-13gm+41hm-14im+24jm-47km-25lm+45m2+2bn+8cn+18dn+32en+50fn-29gn-3hn+27in-40jn-2kn+40ln-15mn
+g2+2fh+7h2+2ei+14gi+44hi+45i2+2dj+14fj+44gj-11hj-50ij+14j2+2ck+14ek+44fk-11gk-50hk+28ik+21jk+15k2+2bl+14dl+44el-11fl-50gl+28hl+21il+30jl-46kl+48l2-4bm+10cm+40dm-15em+47fm+24gm+17hm+26im-50jm-9km+48lm+8m2-4bn-16cn-36dn+37en+fn-43gn+6hn+47in-21jn+4kn+21ln+31mn
+fg+eh+di+cj+bk-2bl-2cl-2dl-2el-2fl-2gl-2hl-2il-2jl-2kl-2l2+bm-2lm-50ln
+f2+2eg+2dh+2ci+2bj-4bk-4ck-4dk-4ek-4fk-4gk-4hk-4ik-4jk-4k2+2bl-4kl+2cm-4km+kn
+ef+dg+ch+bi-2bj-2cj-2dj-2ej-2fj-2gj-2hj-2ij-2j2+bk-2jk+cl-2jl+dm-2jm-50jn
+e2+2df+2cg+2bh-4bi-4ci-4di-4ei-4fi-4gi-4hi-4i2+2bj-4ij+2ck-4ik+2dl-4il+2em-4im+in
+de+cf+bg-2bh-2ch-2dh-2eh-2fh-8h2+bi+2fi-12gi-44hi-44i2+cj+2ej-12fj-42gj+11hj-49ij-13j2+3dk-12ek-42fk+13gk+50hk-26ik-19jk-14k2+2cl-12dl-41el+13fl-49gl-28hl-19il-28jl+48kl-47l2+2bm-12cm-42dm+13em-48fm-26gm-21hm-28im+48jm+7km-50lm-11m2+4bn+16cn+36dn-37en-fn+43gn+45hn-47in+21jn-4kn-21ln-30mn
+d2+2ce+2bf-4bg-4cg-4dg-4eg+2bh+4eh+8fh+16h2+2ci+4di+8ei+4fi+28gi-9hi-9i2+4cj+10dj+4ej+32fj-13gj-18hj+5ij+30j2+4bk+8ck+4dk+34ek-9fk-22gk+5hk-41ik+46jk+32k2-4cl+24dl-17el-24fl-7gl-49hl+38il-45jl+5kl-11l2-8bm+16cm-25dm-34em-11fm+42gm+30hm+48im-3jm-22km-17lm+10m2-8bn-32cn+29dn-27en+2fn+16gn+12hn-7in-42jn+8kn+44ln-37mn
+cd+be-2bf-2cf-2df+bg+2dg+4eg+3ch+4dh+2eh-2fh+2bi+4ci+3di-2fi-2cj-4dj-3ej-6fj-4gj-4hj-4ij-4j2-4bk-8ck-8dk-8ek-9fk-8gk-8hk-8ik-12jk-8k2-2cl-4dl-4el-6fl-3gl-4hl-4il-8jl-12kl-4l2+2bm+4cm+2dm-2fm+hm-4jm-8km-4lm-50fn+jn+2kn+ln
+c2+2bd-4be-4ce+2bf+4cf+8df+4bg+10cg+4dg-4eg-4ch-6dh-12eh-8fh-32h2-8bi-16ci-16di-18ei-8fi+37gi+10hi+10i2-4cj-8dj-4ej+47fj+26gj+36hj-18ij+41j2+4bk+8ck+12dk+49ek+34fk-47gk-2hk-19ik+17jk+45k2+12cl-40dl+34el-49fl+6gl-9hl+9il-19jl-10kl+14l2+8bm-48cm+38dm-45em+10fm-3gm+17hm-25im-18jm+28km+2lm-44m2+16bn-37cn+43dn-46en-4fn-30gn-22hn+18in-15jn-16kn+17ln-19mn
+bc-2bd+3be+4ce-cf-6df-4bg-8cg-5dg+2ch+2dh+9eh+8fh+16h2+6bi+12ci+12di+16ei+9fi+32gi-5hi-5i2+6cj+10dj+6ej+28fj-16gj-22hj+5ij+26j2-4dk+28ek-19fk-34gk-6hk-49ik+30jk+20k2-8cl+14dl-23el-34fl-17gl+40hl+31il+40jl-19kl-23l2-8bm+16cm-31dm-42em-21fm+32gm+20hm+40im-18jm-46km-41lm-2m2-8bn-32cn-21dn-27en+3fn+17gn+13hn-7in-40jn+12kn+48ln-33mn
+b2+2bd-2ce+2df+4bg+4cg+4dg+2eg-4eh-6fh+37h2-4ci-4di-8ei-4fi-25gi+20hi+20i2-4cj-8dj-4ej-27fj+24gj+42hj+33ij+50j2-4ck-27ek+24fk+48gk+37hk+ik+39jk+26k2+4cl-19dl+28el+48fl+45gl+7hl+43il-47jl+38kl+49l2+8bm-15cm+36dm-45em+49fm+15gm-50hm-41im+42jm-km+30lm+18m2+32bn+28cn-13dn+11en-2fn+49gn-36hn+44in-14jn-8kn-39ln-6mn
diff --git a/examples/hkatsura-101/hkatsura13-101/hkatsura13-101.ideal b/examples/hkatsura-101/hkatsura13-101/hkatsura13-101.ideal
new file mode 100644
index 0000000..993e1bf
--- /dev/null
+++ b/examples/hkatsura-101/hkatsura13-101/hkatsura13-101.ideal
@@ -0,0 +1,15 @@
+101 14 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
+13
+a+2b+2c+2d+2e+2f+2g+2h+2i+2j+2k+2l+2m-n
+a2+2b2+2c2+2d2+2e2+2f2+2g2+2h2+2i2+2j2+2k2+2l2+2m2-an
+2ab+2bc+2cd+2de+2ef+2fg+2gh+2hi+2ij+2jk+2kl+2lm-bn
+b2+2ac+2bd+2ce+2df+2eg+2fh+2gi+2hj+2ik+2jl+2km-cn
+2bc+2ad+2be+2cf+2dg+2eh+2fi+2gj+2hk+2il+2jm-dn
+c2+2bd+2ae+2bf+2cg+2dh+2ei+2fj+2gk+2hl+2im-en
+2cd+2be+2af+2bg+2ch+2di+2ej+2fk+2gl+2hm-fn
+d2+2ce+2bf+2ag+2bh+2ci+2dj+2ek+2fl+2gm-gn
+2de+2cf+2bg+2ah+2bi+2cj+2dk+2el+2fm-hn
+e2+2df+2cg+2bh+2ai+2bj+2ck+2dl+2em-in
+2ef+2dg+2ch+2bi+2aj+2bk+2cl+2dm-jn
+f2+2eg+2dh+2ci+2bj+2ak+2bl+2cm-kn
+2fg+2eh+2di+2cj+2bk+2al+2bm-ln
diff --git a/examples/hkatsura-101/hkatsura14-101/hkatsura14-101-trimmed.ideal b/examples/hkatsura-101/hkatsura14-101/hkatsura14-101-trimmed.ideal
new file mode 100644
index 0000000..88356e1
--- /dev/null
+++ b/examples/hkatsura-101/hkatsura14-101/hkatsura14-101-trimmed.ideal
@@ -0,0 +1,16 @@
+101 15 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
+14
+a+2b+2c+2d+2e+2f+2g+2h+2i+2j+2k+2l+2m+2n-o
+h2+2gi-37hi-8i2+2fj-37gj-16hj-36ij+2j2+2ek-37fk-16gk-36hk+4ik+3jk+31k2+2dl-37el-16fl-36gl+4hl+3il-39jl-21kl-22l2+2cm-37dm-16em-36fm+4gm+3hm-39im-21jm-44km-7lm+45m2+2bn-37cn-16dn-36en+4fn+3gn-39hn-21in-44jn-7kn-11ln+45mn+30n2-15bo+41co-34do-38eo+29fo-35go-28ho+50io-3jo+15ko+3lo-39mo-10no
+gh+fi-31hi-46i2+ej-31gj+9hj+19ij+50j2+dk-31fk+9gk+19hk-ik+50jk-15k2+cl-31el+9fl+19gl-hl+50il-30jl-39kl-39l2+bm-31dm+9em+19fm-gm+50hm-30im-39jm+23km-46lm-22m2-2bn-33cn+7dn+17en-3fn+48gn-32hn-41in+21jn-48kn-46ln+27mn+34n2-43bo+30co+17do+19eo+36fo-33go+14ho-25io-49jo+43ko+49lo-31mo-45no
+g2+2fh+2ei+2dj+2ck+2bl-4bm-4cm-4dm-4em-4fm-4gm-4hm-4im-4jm-4km-4lm-4m2+2bn-4mn+mo
+fg+eh+di+cj+bk-2bl-2cl-2dl-2el-2fl-2gl-2hl-2il-2jl-2kl-2l2+bm-2lm+cn-2ln-50lo
+f2+2eg+2dh+2ci+2bj-4bk-4ck-4dk-4ek-4fk-4gk-4hk-4ik-4jk-4k2+2bl-4kl+2cm-4km+2dn-4kn+ko
+ef+dg+ch+bi-2bj-2cj-2dj-2ej-2fj-2gj-2hj-2ij-2j2+bk-2jk+cl-2jl+dm-2jm+en-2jn-50jo
+e2+2df+2cg+2bh-4bi-4ci-4di-4ei-4fi-4gi-4hi-4i2+2bj-4ij+2ck-4ik+2dl-4il+2em-4im+2fn-4in+io
+de+cf+bg-2bh-2ch-2dh-2eh-2fh+bi+2fi+4gi-37hi-7i2+cj+2ej+4fj-35gj-16hj-34ij+3j2+3dk+4ek-35fk-14gk-36hk+6ik+5jk+32k2+2cl+4dl-34el-14fl-34gl+4hl+5il-37jl-19kl-21l2+2bm+4cm-35dm-14em-33fm+6gm+3hm-37im-19jm-42km-5lm+46m2-39cn-18dn-38en+2fn+2gn-43hn-23in-46jn-9kn-13ln+43mn+27n2-15bo+41co-34do-38eo+29fo-35go+23ho+50io-3jo+15ko+3lo-39mo-9no
+d2+2ce+2bf-4bg-4cg-4dg-4eg+2bh+4eh+8fh+2ci+4di+8ei+4fi-4gi-23hi+18i2+4cj+10dj+4ej-27gj+36hj-25ij-2j2+4bk+8ck+4dk+2ek-23fk+32gk-25hk-4ik-2jk+41k2-4cl-8dl-31el+30fl-37gl-12hl-10il-27jl+38kl+38l2-8bm-16cm-39dm+20em-41fm-22gm-18hm-35im+30jm-25km-6lm-3m2-27cn+28dn-33en-12fn-14gn-25hn+38in-17jn+10kn+10ln-9mn+35n2+30bo+19co-33do-25eo+43fo-30go-45ho+io+6jo-30ko-4lo-19mo+22no
+cd+be-2bf-2cf-2df+bg+2dg+4eg+3ch+4dh+2eh-2fh+2bi+4ci+3di-2fi-2cj-4dj-3ej-6fj-4gj-4hj-4ij-4j2-4bk-8ck-8dk-8ek-9fk-8gk-8hk-8ik-12jk-8k2-2cl-4dl-4el-6fl-3gl-4hl-4il-8jl-12kl-4l2+2bm+4cm+2dm-2fm+hm-4jm-8km-4lm+2cn+4dn+2en-2fn+in-4jn-8kn-4ln-50fo+jo+2ko+lo
+c2+2bd-4be-4ce+2bf+4cf+8df+4bg+10cg+4dg-4eg-4ch-6dh-12eh-8fh-8bi-16ci-16di-18ei-8fi+38hi-44i2-4cj-8dj-4ej+10fj-47gj+29hj+42ij+4j2+4bk+8ck+12dk+12ek-39fk+47gk-43hk+8ik+12jk+27k2+12cl+24dl-39el+45fl-35gl+18hl+4il+46jl+25kl+17l2+8bm+16cm-35dm+49em-31fm+24gm+12hm+40im+17jm+34km-20lm-18m2+46cn+29dn+50en+16fn+8gn+30hn-7in+12jn-36kn+49ln-30mn+7n2+41bo-38co-35do-50eo+15fo-39go-9ho+2io-10jo-41ko+12lo+46mo-36no
+bc-2bd+3be+4ce-cf-6df-4bg-8cg-5dg+2ch+2dh+9eh+8fh+6bi+12ci+12di+16ei+9fi-19hi+22i2+6cj+10dj+6ej-4fj-30gj+32hj-25ij-6j2-4dk-4ek-33fk+20gk-36hk-12ik-18jk+29k2-8cl-18dl-37el+20fl-47gl-24hl-17il-43jl+14kl+26l2-8bm-16cm-45dm+12em+50fm-32gm-28hm-43im+15jm-49km-30lm-15m2-27cn+26dn-37en-24fn-24gn-35hn+32in-33jn-13kn-14ln-33mn+23n2+30bo+19co+18do-25eo+44fo-29go-44ho+io+8jo-26ko-15mo+26no
+b2+2bd-2ce+2df+4bg+4cg+4dg+2eg-4eh-6fh-4ci-4di-8ei-4fi+2gi-25hi+13i2-4cj-8dj-4ej-21gj+28hj-49ij-24j2-4ck-21fk+34gk-45hk-46ik+29jk-10k2+4cl+8dl-17el+34fl-37gl-40hl+33il-18jl+7kl-46l2+8bm+12cm-9dm+42em-33fm-32gm+41hm-12im+11jm+11km-14lm-31m2-21cn+34dn-41en-40fn+37gn-20hn+3in+jn-26kn+25ln-50mn+19n2-19bo+26co+33do+3eo+36fo+31go-10ho+12io-4jo+43ko-49lo+23mo-40no
diff --git a/examples/hkatsura-101/hkatsura14-101/hkatsura14-101.ideal b/examples/hkatsura-101/hkatsura14-101/hkatsura14-101.ideal
new file mode 100644
index 0000000..d30f3e8
--- /dev/null
+++ b/examples/hkatsura-101/hkatsura14-101/hkatsura14-101.ideal
@@ -0,0 +1,16 @@
+101 15 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
+14
+a+2b+2c+2d+2e+2f+2g+2h+2i+2j+2k+2l+2m+2n-o
+a2+2b2+2c2+2d2+2e2+2f2+2g2+2h2+2i2+2j2+2k2+2l2+2m2+2n2-ao
+2ab+2bc+2cd+2de+2ef+2fg+2gh+2hi+2ij+2jk+2kl+2lm+2mn-bo
+b2+2ac+2bd+2ce+2df+2eg+2fh+2gi+2hj+2ik+2jl+2km+2ln-co
+2bc+2ad+2be+2cf+2dg+2eh+2fi+2gj+2hk+2il+2jm+2kn-do
+c2+2bd+2ae+2bf+2cg+2dh+2ei+2fj+2gk+2hl+2im+2jn-eo
+2cd+2be+2af+2bg+2ch+2di+2ej+2fk+2gl+2hm+2in-fo
+d2+2ce+2bf+2ag+2bh+2ci+2dj+2ek+2fl+2gm+2hn-go
+2de+2cf+2bg+2ah+2bi+2cj+2dk+2el+2fm+2gn-ho
+e2+2df+2cg+2bh+2ai+2bj+2ck+2dl+2em+2fn-io
+2ef+2dg+2ch+2bi+2aj+2bk+2cl+2dm+2en-jo
+f2+2eg+2dh+2ci+2bj+2ak+2bl+2cm+2dn-ko
+2fg+2eh+2di+2cj+2bk+2al+2bm+2cn-lo
+g2+2fh+2ei+2dj+2ck+2bl+2am+2bn-mo
diff --git a/examples/hkatsura-101/hkatsura15-101/hkatsura15-101-trimmed.ideal b/examples/hkatsura-101/hkatsura15-101/hkatsura15-101-trimmed.ideal
new file mode 100644
index 0000000..c3ae2ad
--- /dev/null
+++ b/examples/hkatsura-101/hkatsura15-101/hkatsura15-101-trimmed.ideal
@@ -0,0 +1,17 @@
+101 16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
+15
+a+2b+2c+2d+2e+2f+2g+2h+2i+2j+2k+2l+2m+2n+2o-p
+hi+8i2+gj+16hj+45ij+44j2+fk+16gk+45hk-13ik+44jk+7k2+el+16fl+45gl-13hl+44il+14jl-2kl-2l2+dm+16em+45fm-13gm+44hm+14im-2jm-4km+8lm+17m2+cn+16dn+45en-13fn+44gn+14hn-2in-4jn+8kn+34ln-27mn-37n2+bo+16co+45do-13eo+44fo+14go-2ho-4io+8jo+34ko-27lo+27mo-6no+38o2+47bp-14cp+19dp+45ep-37fp-25gp-20hp-22ip-31jp-47kp+31lp+mp-36np+21op
+h2+2gi-15i2+2fj-30hj+13ij+14j2+2ek-30gk+13hk+28ik+15jk-13k2+2dl-30fl+13gl+28hl+15il-26jl+6kl+5l2+2cm-30em+13fm+28gm+15hm-26im+6jm+10km-14lm-33m2+2bn-30dn+13en+28fn+15gn-26hn+6in+10jn-14kn+35ln-45mn-26n2-4bo-34co+9do+24eo+11fo-30go+2ho+6io-18jo+31ko-49lo+45mo+10no+22o2+7bp+28cp-38dp+11ep-27fp+50gp+40hp+44ip-39jp-7kp+39lp-2mp-29np-41op
+gh+fi+ej+dk+cl+bm-2bn-2cn-2dn-2en-2fn-2gn-2hn-2in-2jn-2kn-2ln-2mn-2n2+bo-2no-50np
+g2+2fh+2ei+2dj+2ck+2bl-4bm-4cm-4dm-4em-4fm-4gm-4hm-4im-4jm-4km-4lm-4m2+2bn-4mn+2co-4mo+mp
+fg+eh+di+cj+bk-2bl-2cl-2dl-2el-2fl-2gl-2hl-2il-2jl-2kl-2l2+bm-2lm+cn-2ln+do-2lo-50lp
+f2+2eg+2dh+2ci+2bj-4bk-4ck-4dk-4ek-4fk-4gk-4hk-4ik-4jk-4k2+2bl-4kl+2cm-4km+2dn-4kn+2eo-4ko+kp
+ef+dg+ch+bi-2bj-2cj-2dj-2ej-2fj-2gj-2hj-2ij-2j2+bk-2jk+cl-2jl+dm-2jm+en-2jn+fo-2jo-50jp
+e2+2df+2cg+2bh-4bi-4ci-4di-4ei-4fi-4gi+28i2+2bj+4gj-37hj-26ij-26j2+2ck+4fk-37gk-22hk+45ik-26jk+28k2+2dl+4el-37fl-22gl+49hl-30il-45jl-8kl-8l2+4dm-35em-22fm+49gm-26hm-49im-8jm-16km+32lm-33m2+4cn-37dn-22en-50fn-26gn-45hn-12in-16jn+32kn+35ln-7mn-47n2+4bo-37co-22do+49eo-26fo-43go-8ho-20io+32jo+35ko-7lo+7mo-24no-50o2-14bp+45cp-25dp-22ep-47fp+gp+21hp+14ip-23jp+14kp+23lp+4mp-43np-17op
+de+cf+bg-2bh-2ch-2dh-2eh-2fh+bi+2fi+4gi-14i2+cj+2ej+4fj+2gj-30hj+15ij+15j2+3dk+4ek+2fk-28gk+13hk+30ik+17jk-12k2+2cl+4dl+3el-28fl+15gl+28hl+17il-24jl+8kl+6l2+2bm+4cm+2dm-28em+16fm+30gm+15hm-24im+8jm+12km-12lm-32m2-2cn-32dn+11en+26fn+14gn-30hn+4in+8jn-16kn+33ln-47mn-29n2-4bo-36co+7do+22eo+9fo-32go-ho+4io-20jo+29ko+50lo+43mo+4no+19o2+7bp+28cp-38dp+11ep-27fp+50gp-10hp+44ip-39jp-7kp+39lp-2mp-28np-40op
+d2+2ce+2bf-4bg-4cg-4dg-4eg+2bh+4eh+8fh+2ci+4di+8ei+4fi-4gi+4cj+10dj+4ej-4gj+4bk+8ck+4dk+2ek-4gk-4cl-8dl-8el-6fl-12gl-8hl-8il-8jl-8kl-8l2-8bm-16cm-16dm-16em-16fm-18gm-16hm-16im-16jm-16km-24lm-16m2-4cn-8dn-8en-8fn-12gn-6hn-8in-8jn-8kn-16ln-24mn-8n2+4bo+8co+4do-4go+2io-8lo-16mo-8no+gp+2lp+4mp+2np
+cd+be-2bf-2cf-2df+bg+2dg+4eg+3ch+4dh+2eh-2fh+2bi+4ci+3di-2fi-2cj-4dj-3ej-6fj-4gj-4hj-4ij-4j2-4bk-8ck-8dk-8ek-9fk-8gk-8hk-8ik-12jk-8k2-2cl-4dl-4el-6fl-3gl-4hl-4il-8jl-12kl-4l2+2bm+4cm+2dm-2fm+hm-4jm-8km-4lm+2cn+4dn+2en-2fn+in-4jn-8kn-4ln+2do+4eo-3jo-8ko-4lo-50fp+jp+2kp+lp
+c2+2bd-4be-4ce+2bf+4cf+8df+4bg+10cg+4dg-4eg-4ch-6dh-12eh-8fh-8bi-16ci-16di-18ei-8fi-45i2-4cj-8dj-4ej+10fj+16gj+27hj+49ij+49j2+4bk+8ck+12dk+12ek+24fk+45gk-36hk-3ik-44jk-37k2+12cl+24dl+24el+43fl-28gl+7hl+49il+19jl-8l2+8bm+16cm+28dm+47em-24fm+13gm-44hm+13im-8jm-16km-21lm+43m2+8cn+27dn-44en+5fn-48gn+3hn-32in-38jn-37kn-31ln-14mn-n2+11co+41do-23eo+37fo+3go-36ho+37io+40jo-45ko-30lo-2mo+21no-23o2-28bp-11cp-50dp-43ep+7fp+2gp+44hp+30ip-44jp+28kp+46lp+8mp+19np-26op
+bc-2bd+3be+4ce-cf-6df-4bg-8cg-5dg+2ch+2dh+9eh+8fh+6bi+12ci+12di+16ei+9fi-28i2+6cj+10dj+6ej-4fj-11gj+33hj+22ij+22j2-4dk-4ek-14fk+21gk+11hk+44ik+10jk-40k2-8cl-18dl-18el+21fl+32hl+11il+21jl-24kl-12l2-8bm-16cm-26dm+13em-4fm+24gm+21im-23jm-24km+21lm+5m2-8cn+27dn+10en+32fn+4gn+29hn-6in-8jn+38kn+26ln-41mn+27n2+45co+24do-49eo+18fo+29go-2ho+12io-46jo+42ko-24lo-47mo-8no+38o2+14bp-45cp-25dp+22ep+48fp+gp-20hp-13ip+25jp-10kp-17lp+4mp+49np+21op
+b2+2bd-2ce+2df+4bg+4cg+4dg+2eg-4eh-6fh-4ci-4di-8ei-4fi+2gi+11i2-4cj-8dj-4ej+4gj+24hj-35ij-35j2-4ck+4fk+30gk-31hk+33ik+18jk-37k2+4cl+8dl+8el+30fl-23gl+39hl+22il+29jl-43kl+5l2+8bm+12cm+16dm+38em-19fm+47gm+30hm+35im-39jm+12km-16lm-10m2+4cn+30dn-27en+39fn+26gn+27hn-47in+2jn-28kn-34ln-18mn+3n2+18co-35do+31eo+18fo+27go+50ho-6io-36jo-44ko-30lo+8mo-49no-41o2+45bp-21cp+3dp+17ep+20fp+12gp-5hp-33ip+29jp-21kp+19lp+48mp-31np-20op
diff --git a/examples/hkatsura-101/hkatsura15-101/hkatsura15-101.ideal b/examples/hkatsura-101/hkatsura15-101/hkatsura15-101.ideal
new file mode 100644
index 0000000..597dac8
--- /dev/null
+++ b/examples/hkatsura-101/hkatsura15-101/hkatsura15-101.ideal
@@ -0,0 +1,17 @@
+101 16 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
+15
+a+2b+2c+2d+2e+2f+2g+2h+2i+2j+2k+2l+2m+2n+2o-p
+a2+2b2+2c2+2d2+2e2+2f2+2g2+2h2+2i2+2j2+2k2+2l2+2m2+2n2+2o2-ap
+2ab+2bc+2cd+2de+2ef+2fg+2gh+2hi+2ij+2jk+2kl+2lm+2mn+2no-bp
+b2+2ac+2bd+2ce+2df+2eg+2fh+2gi+2hj+2ik+2jl+2km+2ln+2mo-cp
+2bc+2ad+2be+2cf+2dg+2eh+2fi+2gj+2hk+2il+2jm+2kn+2lo-dp
+c2+2bd+2ae+2bf+2cg+2dh+2ei+2fj+2gk+2hl+2im+2jn+2ko-ep
+2cd+2be+2af+2bg+2ch+2di+2ej+2fk+2gl+2hm+2in+2jo-fp
+d2+2ce+2bf+2ag+2bh+2ci+2dj+2ek+2fl+2gm+2hn+2io-gp
+2de+2cf+2bg+2ah+2bi+2cj+2dk+2el+2fm+2gn+2ho-hp
+e2+2df+2cg+2bh+2ai+2bj+2ck+2dl+2em+2fn+2go-ip
+2ef+2dg+2ch+2bi+2aj+2bk+2cl+2dm+2en+2fo-jp
+f2+2eg+2dh+2ci+2bj+2ak+2bl+2cm+2dn+2eo-kp
+2fg+2eh+2di+2cj+2bk+2al+2bm+2cn+2do-lp
+g2+2fh+2ei+2dj+2ck+2bl+2am+2bn+2co-mp
+2gh+2fi+2ej+2dk+2cl+2bm+2an+2bo-np
diff --git a/examples/hkatsura-101/hkatsura16-101/hkatsura16-101-trimmed.ideal b/examples/hkatsura-101/hkatsura16-101/hkatsura16-101-trimmed.ideal
new file mode 100644
index 0000000..1dd11b7
--- /dev/null
+++ b/examples/hkatsura-101/hkatsura16-101/hkatsura16-101-trimmed.ideal
@@ -0,0 +1,18 @@
+101 17 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
+16
+a+2b+2c+2d+2e+2f+2g+2h+2i+2j+2k+2l+2m+2n+2o+2p-q
+i2+2hj-48ij+26j2+2gk-48hk-49ik-jk+48k2+2fl-48gl-49hl-il-5jl+40kl-34l2+2em-48fm-49gm-hm-5im+40jm+33km-26lm-18m2+2dn-48en-49fn-gn-5hn+40in+33jn-26kn-36ln+3mn-5n2+2co-48do-49eo-fo-5go+40ho+33io-26jo-36ko+3lo-10mo+26no+5o2+2bp-48cp-49dp-ep-5fp+40gp+33hp-26ip-36jp+3kp-10lp+26mp+10np+43op+12p2+13bq-49cq+16dq+6eq+22fq-37gq+31hq+24iq+43jq-13kq-43lq-47mq-25nq+23oq-4pq
+hi+gj+25ij+38j2+fk+25hk-25ik-49jk+27k2+el+25gl-25hl-49il-47jl-19kl-33l2+dm+25fm-25gm-49hm-47im-19jm+35km+14lm-41m2+cn+25en-25fn-49gn-47hn-19in+35jn+14kn+19ln+50mn+3n2+bo+25do-25eo-49fo-47go-19ho+35io+14jo+19ko+50lo+6mo-12no-2o2-2bp+23cp-27dp+50ep-49fp-21gp+33hp+12ip+17jp+48kp+4lp-14mp-6np+28op+43p2+44bq-26cq-8dq-3eq-11fq-32gq+35hq-12iq+29jq-44kq-29lq-27mq-38nq+39oq-48pq
+h2+2gi+2fj+2ek+2dl+2cm+2bn-4bo-4co-4do-4eo-4fo-4go-4ho-4io-4jo-4ko-4lo-4mo-4no-4o2+2bp-4op+oq
+gh+fi+ej+dk+cl+bm-2bn-2cn-2dn-2en-2fn-2gn-2hn-2in-2jn-2kn-2ln-2mn-2n2+bo-2no+cp-2np-50nq
+g2+2fh+2ei+2dj+2ck+2bl-4bm-4cm-4dm-4em-4fm-4gm-4hm-4im-4jm-4km-4lm-4m2+2bn-4mn+2co-4mo+2dp-4mp+mq
+fg+eh+di+cj+bk-2bl-2cl-2dl-2el-2fl-2gl-2hl-2il-2jl-2kl-2l2+bm-2lm+cn-2ln+do-2lo+ep-2lp-50lq
+f2+2eg+2dh+2ci+2bj-4bk-4ck-4dk-4ek-4fk-4gk-4hk-4ik-4jk-4k2+2bl-4kl+2cm-4km+2dn-4kn+2eo-4ko+2fp-4kp+kq
+ef+dg+ch+bi-2bj-2cj-2dj-2ej-2fj-2gj-2hj-2ij-2j2+bk-2jk+cl-2jl+dm-2jm+en-2jn+fo-2jo+gp-2jp-50jq
+e2+2df+2cg+2bh-4bi-4ci-4di-4ei-4fi-4gi+2bj+4gj+8hj+5ij-47j2+2ck+4fk+8gk+9hk+3ik+2jk-3k2+2dl+4el+8fl+9gl+7hl-2il-6jl-17kl+35l2+4dm+10em+9fm+7gm+2hm-10im-17jm-31km-48lm-34m2+4cn+8dn+9en+9fn+2gn-6hn-21in-31jn-48kn+33ln+10mn-8n2+4bo+8co+9do+7eo+2fo-4go-17ho-35io-48jo+33ko+10lo-16mo-45no+12o2+cp-dp-6ep-14fp-25gp-37hp+41ip+25jp+2kp-24lp+48mp+16np-19op+18p2+26bq+3cq+32dq+12eq+44fq+27gq-39hq+49iq-15jq-26kq+15lq+7mq-50nq+46oq-6pq
+de+cf+bg-2bh-2ch-2dh-2eh-2fh+bi+2fi+4gi+cj+2ej+4fj+2gj-2hj+50ij-25j2+3dk+4ek+2fk+48hk-50ik+3jk-47k2+2cl+4dl+3el+50gl+49hl+3il+7jl-38kl+35l2+2bm+4cm+2dm-50fm-50gm+hm+7im-38jm-31km+28lm+19m2-2cn-4dn+46en+47fn+hn-42in-35jn+24kn+34ln-5mn+2n2-4bo-8co+42do+43eo-5fo-go-47ho-39io+20jo+30ko-9lo+4mo-36no-12o2+48cp+47dp-ep+3fp-42gp-37hp+25ip+34jp-5kp+8lp-28mp-16np+48op-15p2-13bq+49cq-16dq-6eq-22fq+37gq+20hq-24iq-43jq+13kq+43lq+47mq+26nq-21oq+5pq
+d2+2ce+2bf-4bg-4cg-4dg-4eg+2bh+4eh+8fh+2ci+4di+8ei+4fi-4gi+4cj+10dj+4ej-4gj+4bk+8ck+4dk+2ek-4gk-4cl-8dl-8el-6fl-12gl-8hl-8il-8jl-8kl-8l2-8bm-16cm-16dm-16em-16fm-18gm-16hm-16im-16jm-16km-24lm-16m2-4cn-8dn-8en-8fn-12gn-6hn-8in-8jn-8kn-16ln-24mn-8n2+4bo+8co+4do-4go+2io-8lo-16mo-8no+4cp+8dp+4ep-4gp+2jp-8lp-16mp-8np+gq+2lq+4mq+2nq
+cd+be-2bf-2cf-2df+bg+2dg+4eg+3ch+4dh+2eh-2fh+2bi+4ci+3di-2fi-2cj-4dj-3ej-6fj-4gj-4hj-4ij-4j2-4bk-8ck-8dk-8ek-9fk-8gk-8hk-8ik-12jk-8k2-2cl-4dl-4el-6fl-3gl-4hl-4il-8jl-12kl-4l2+2bm+4cm+2dm-2fm+hm-4jm-8km-4lm+2cn+4dn+2en-2fn+in-4jn-8kn-4ln+2do+4eo-3jo-8ko-4lo+2ep+2fp+2gp-4jp-7kp-4lp-50fq+jq+2kq+lq
+c2+2bd-4be-4ce+2bf+4cf+8df+4bg+10cg+4dg-4eg-4ch-6dh-12eh-8fh-8bi-16ci-16di-18ei-8fi-4cj-8dj-4ej+10fj+16gj+16hj+10ij+7j2+4bk+8ck+12dk+12ek+24fk+34gk+26hk+14ik+12jk+2k2+12cl+24dl+24el+32fl+34gl+24hl+4il-4jl-18kl-23l2+8bm+16cm+28dm+36em+38fm+30gm+12hm-10im-26jm-46km+21lm+41m2+8cn+16dn+18en+22fn+8gn-20hn-50in+33jn+5kn-35ln+20mn-24n2+2do-6eo-8fo-20go+47ho+7io-19jo-49ko+4lo-48mo-21no-6cp-18dp-32ep-44fp+39gp+7hp-39ip+26jp-12kp+39lp-21mp+15op+12p2-49bq+6cq-37dq+25eq-13fq-47gq+25hq-iq-28jq+49kq+3 [...]
+bc-2bd+3be+4ce-cf-6df-4bg-8cg-5dg+2ch+2dh+9eh+8fh+6bi+12ci+12di+16ei+9fi+6cj+10dj+6ej-4fj-11gj-12hj-9ij+43j2-4dk-4ek-14fk-24gk-20hk-15ik-18jk-9k2-8cl-18dl-18el-24fl-31gl-27hl-17il-18jl-15kl+46l2-8bm-16cm-26dm-32em-35fm-35gm-28hm-18im-14jm-9km+6m2-8cn-18dn-21en-27fn-24gn-10hn+3in+7jn+17kn+28ln+43mn-12n2-7do-7eo-10fo-10go+7ho+27io+34jo+44ko-41lo-24mo+13no-24o2+3cp+7dp+10ep+10fp+13gp+27hp+50ip-37jp-24kp-8lp+14mp-48np-5op-30p2-26bq-3cq+19dq-12eq-43fq-25gq+40hq-48iq+17jq+30kq-9lq+mq-45nq-42oq+10pq
+b2+2bd-2ce+2df+4bg+4cg+4dg+2eg-4eh-6fh-4ci-4di-8ei-4fi+2gi-4cj-8dj-4ej+4gj+2hj-12ij-18j2-4ck+4fk+8gk-8hk-34ik+29jk+41k2+4cl+8dl+8el+8fl-28hl+33il-17jl+22kl-25l2+8bm+12cm+16dm+16em+4fm-20gm+41hm-11im+26jm-48km-33lm-14m2+4cn+8dn-4en-28fn+37gn-19hn+18in+43jn-45kn-42ln+50mn-43n2-4co-12do-36eo+29fo-19go+14ho+35io+48jo+49ko+38lo+17mo-32no+5o2-16cp-44dp+21ep-27fp+14gp+35hp+44ip+41jp+30kp+7lp-28mp+12np+40op+29p2+3bq+13cq+29dq-49eq-20fq+15gq-43hq+6iq-40jq+21kq-13lq-41mq+42nq+30oq+24pq
diff --git a/examples/hkatsura-101/hkatsura16-101/hkatsura16-101.ideal b/examples/hkatsura-101/hkatsura16-101/hkatsura16-101.ideal
new file mode 100644
index 0000000..90d9a87
--- /dev/null
+++ b/examples/hkatsura-101/hkatsura16-101/hkatsura16-101.ideal
@@ -0,0 +1,18 @@
+101 17 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
+16
+a+2b+2c+2d+2e+2f+2g+2h+2i+2j+2k+2l+2m+2n+2o+2p-q
+a2+2b2+2c2+2d2+2e2+2f2+2g2+2h2+2i2+2j2+2k2+2l2+2m2+2n2+2o2+2p2-aq
+2ab+2bc+2cd+2de+2ef+2fg+2gh+2hi+2ij+2jk+2kl+2lm+2mn+2no+2op-bq
+b2+2ac+2bd+2ce+2df+2eg+2fh+2gi+2hj+2ik+2jl+2km+2ln+2mo+2np-cq
+2bc+2ad+2be+2cf+2dg+2eh+2fi+2gj+2hk+2il+2jm+2kn+2lo+2mp-dq
+c2+2bd+2ae+2bf+2cg+2dh+2ei+2fj+2gk+2hl+2im+2jn+2ko+2lp-eq
+2cd+2be+2af+2bg+2ch+2di+2ej+2fk+2gl+2hm+2in+2jo+2kp-fq
+d2+2ce+2bf+2ag+2bh+2ci+2dj+2ek+2fl+2gm+2hn+2io+2jp-gq
+2de+2cf+2bg+2ah+2bi+2cj+2dk+2el+2fm+2gn+2ho+2ip-hq
+e2+2df+2cg+2bh+2ai+2bj+2ck+2dl+2em+2fn+2go+2hp-iq
+2ef+2dg+2ch+2bi+2aj+2bk+2cl+2dm+2en+2fo+2gp-jq
+f2+2eg+2dh+2ci+2bj+2ak+2bl+2cm+2dn+2eo+2fp-kq
+2fg+2eh+2di+2cj+2bk+2al+2bm+2cn+2do+2ep-lq
+g2+2fh+2ei+2dj+2ck+2bl+2am+2bn+2co+2dp-mq
+2gh+2fi+2ej+2dk+2cl+2bm+2an+2bo+2cp-nq
+h2+2gi+2fj+2ek+2dl+2cm+2bn+2ao+2bp-oq
diff --git a/examples/hkatsura-101/hkatsura17-101/hkatsura17-101-trimmed.ideal b/examples/hkatsura-101/hkatsura17-101/hkatsura17-101-trimmed.ideal
new file mode 100644
index 0000000..1d14cc9
--- /dev/null
+++ b/examples/hkatsura-101/hkatsura17-101/hkatsura17-101-trimmed.ideal
@@ -0,0 +1,19 @@
+101 18 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
+17
+a+2b+2c+2d+2e+2f+2g+2h+2i+2j+2k+2l+2m+2n+2o+2p+2q-r
+ij+50j2+hk-ik-6jk-7k2+gl-hl-6il-14jl-25kl+31l2+fm-gm-6hm-14im-25jm-39km+45lm-38m2+en-fn-6gn-14hn-25in-39jn+45kn+25ln+2mn-12n2+do-eo-6fo-14go-25ho-39io+45jo+25ko+2lo-24mo+48no+8o2+cp-dp-6ep-14fp-25gp-39hp+45ip+25jp+2kp-24lp+48mp+16np-19op+22p2+bq-cq-6dq-14eq-25fq-39gq+45hq+25iq+2jq-24kq+48lq+16mq-19nq+44oq+3pq+30q2+26br+3cr+32dr+12er+44fr+27gr-39hr+48ir-15jr-26kr+15lr+7mr-50nr+46or-8pr-10qr
+i2+2hj+2j2+2gk+4ik+14jk+15k2+2fl+4hl+14il+30jl-49kl+40l2+2em+4gm+14hm+30im-49jm-21km+13lm-24m2+2dn+4fn+14gn+30hn-49in-21jn+13kn-48ln-2mn+25n2+2co+4eo+14fo+30go-49ho-21io+13jo-48ko-2lo+50mo+7no-15o2+2bp+4dp+14ep+30fp-49gp-21hp+13ip-48jp-2kp+50lp+7mp-30np+40op-43p2-4bq+10dq+26eq+48fq-25gq+9hq+49iq-6jq+46kq+3lq-34mq+36nq+11oq-8pq+38q2+49br-6cr+37dr-24er+13fr+47gr-23hr+5ir+30jr-49kr-30lr-14mr-nr+9or+16pr+21qr
+hi+gj+fk+el+dm+cn+bo-2bp-2cp-2dp-2ep-2fp-2gp-2hp-2ip-2jp-2kp-2lp-2mp-2np-2op-2p2+bq-2pq-50pr
+h2+2gi+2fj+2ek+2dl+2cm+2bn-4bo-4co-4do-4eo-4fo-4go-4ho-4io-4jo-4ko-4lo-4mo-4no-4o2+2bp-4op+2cq-4oq+or
+gh+fi+ej+dk+cl+bm-2bn-2cn-2dn-2en-2fn-2gn-2hn-2in-2jn-2kn-2ln-2mn-2n2+bo-2no+cp-2np+dq-2nq-50nr
+g2+2fh+2ei+2dj+2ck+2bl-4bm-4cm-4dm-4em-4fm-4gm-4hm-4im-4jm-4km-4lm-4m2+2bn-4mn+2co-4mo+2dp-4mp+2eq-4mq+mr
+fg+eh+di+cj+bk-2bl-2cl-2dl-2el-2fl-2gl-2hl-2il-2jl-2kl-2l2+bm-2lm+cn-2ln+do-2lo+ep-2lp+fq-2lq-50lr
+f2+2eg+2dh+2ci+2bj-4bk-4ck-4dk-4ek-4fk-4gk-4hk-4ik-4jk-4k2+2bl-4kl+2cm-4km+2dn-4kn+2eo-4ko+2fp-4kp+2gq-4kq+kr
+ef+dg+ch+bi-2bj-2cj-2dj-2ej-2fj-2gj-2hj-3j2+bk+2hk-2ik-14jk-14k2+cl+2gl-2hl-12il-30jl-50kl-39l2+dm+2fm-2gm-12hm-28im+49jm+23km-11lm+25m2+3en-2fn-12gn-28hn-50in+21jn-11kn+50ln+4mn-24n2+2do-2eo-11fo-28go-50ho+23io-13jo+50ko+4lo-48mo-5no+16o2+2cp-2dp-12ep-28fp-49gp+23hp-11ip+48jp+4kp-48lp-5mp+32np-38op+44p2+2bq-2cq-12dq-28eq-50fq+23gq-10hq+50iq+2jq-48kq-5lq+32mq-38nq-13oq+6pq-41q2-49br+6cr-37dr+24er-13fr-47gr+23hr-5ir+21jr+49kr+30lr+14mr+nr-9or-16pr-20qr
+e2+2df+2cg+2bh-4bi-4ci-4di-4ei-4fi-4gi+2bj+4gj+8hj+6j2+2ck+4fk+8gk+4hk+8ik+32jk+32k2+2dl+4el+8fl+4gl+12hl+28il-37jl+7kl-19l2+4dm+10em+4fm+12gm+32hm-41im+7jm-38km+30lm-46m2+4cn+8dn+4en+14fn+32gn-37hn+3in-38jn+30kn+9ln-49n2+4bo+8co+4do+12eo+32fo-35go+7ho-42io+30jo+9ko+3mo+18no-28o2-4cp+4dp+24ep-45fp-gp-44hp+18ip+jp-8kp-5lp+10mp+37np-25op+9p2-8bq-4cq+16dq+48eq-9fq+47gq+14hq-9iq-16jq-13kq+2lq+29mq-33nq+18oq-28pq-31q2-3br-12cr-27dr-48er+26fr-7gr-46hr+11ir-41jr+3kr+41lr-28mr-2nr+18or+34pr+44qr
+de+cf+bg-2bh-2ch-2dh-2eh-2fh+bi+2fi+4gi+cj+2ej+4fj+2gj-2hj+3dk+4ek+2fk-2hk+2cl+4dl+3el-2hl+2bm+4cm+2dm+fm-2hm-2cn-4dn-4en-4fn-3gn-6hn-4in-4jn-4kn-4ln-4mn-4n2-4bo-8co-8do-8eo-8fo-8go-9ho-8io-8jo-8ko-8lo-8mo-12no-8o2-2cp-4dp-4ep-4fp-4gp-6hp-3ip-4jp-4kp-4lp-4mp-8np-12op-4p2+2bq+4cq+2dq-2hq+jq-4nq-8oq-4pq-50hr+nr+2or+pr
+d2+2ce+2bf-4bg-4cg-4dg-4eg+2bh+4eh+8fh+2ci+4di+8ei+4fi-4gi+4cj+10dj+4ej-4gj+4bk+8ck+4dk+2ek-4gk-4cl-8dl-8el-6fl-12gl-8hl-8il-8jl-8kl-8l2-8bm-16cm-16dm-16em-16fm-18gm-16hm-16im-16jm-16km-24lm-16m2-4cn-8dn-8en-8fn-12gn-6hn-8in-8jn-8kn-16ln-24mn-8n2+4bo+8co+4do-4go+2io-8lo-16mo-8no+4cp+8dp+4ep-4gp+2jp-8lp-16mp-8np+4dq+8eq+4fq-4gq+2kq-8lq-16mq-8nq+gr+2lr+4mr+2nr
+cd+be-2bf-2cf-2df+bg+2dg+4eg+3ch+4dh+2eh-2fh+2bi+4ci+3di-2fi-2cj-4dj-3ej-6fj-4gj-4hj-6j2-4bk-8ck-8dk-8ek-9fk-8gk-4hk-12ik-36jk-36k2-2cl-4dl-4el-6fl+gl-8hl-28il+37jl-11kl+19l2+2bm+4cm+2dm+2fm-4gm-23hm+45im-3jm+38km-26lm+50m2+2cn+4dn+6en-6fn-24gn+45hn+2in+42jn-30kn-5ln+8mn-48n2+6do-24fo+45go+ho+46io-25jo-9ko+4lo+5mo-10no+32o2+4cp-4dp-22ep+47fp+3gp+46hp-22ip-5jp+kp+lp-10mp-37np+25op-13p2+4bq-4cq-24dq+45eq+fq+50gq-20hq-iq+4jq-3kq-13lq-37mq+25nq-26oq+12pq+19q2+3br+12cr+27dr+48er+25fr+7gr+46hr [...]
+c2+2bd-4be-4ce+2bf+4cf+8df+4bg+10cg+4dg-4eg-4ch-6dh-12eh-8fh-8bi-16ci-16di-18ei-8fi-4cj-8dj-4ej+10fj+16gj+16hj+12j2+4bk+8ck+12dk+12ek+24fk+34gk+16hk+24ik-29jk-29k2+12cl+24dl+24el+32fl+24gl+34hl-37il+35jl+30kl-30l2+8bm+16cm+28dm+36em+28fm+40gm-29hm+29im+22jm+41km-25lm+17m2+8cn+16dn+8en+32fn-33gn+19hn-2in+19jn-41kn+18ln-5n2-8do+4eo-49fo+19go-6ho-7io+36jo+4ko-16lo-10mo+4no+21o2-16cp-8dp+28ep-5fp-14gp-7hp+16ip-22jp-32kp-24lp+4mp+42np+3op-6p2-16bq-8cq+24dq-25eq-34fq-23gq+8hq-38iq+49jq-42kq-12 [...]
+bc-2bd+3be+4ce-cf-6df-4bg-8cg-5dg+2ch+2dh+9eh+8fh+6bi+12ci+12di+16ei+9fi+6cj+10dj+6ej-4fj-11gj-12hj-12j2-4dk-4ek-14fk-24gk-11hk-24ik+29jk+29k2-8cl-18dl-18el-24fl-22gl-36hl+30il-43jl-38kl+22l2-8bm-16cm-26dm-32em-26fm-44gm+19hm-43im-37jm+44km+lm-33m2-8cn-18dn-12en-36fn+23gn-35hn-20in-41jn+18kn-50ln-40mn-19n2+2do-16eo+37fo-35go-16ho-21io+35jo-34ko-23lo-38mo+41no+48o2+12cp-2dp-44ep-15fp-10gp-21hp-50ip-14jp-6kp-22lp+42mp-5np+26op-34p2+12bq-38dq+5eq+10fq-9gq-44hq-2iq+10jq-2kq-42lq-5mq+27nq+33o [...]
+b2+2bd-2ce+2df+4bg+4cg+4dg+2eg-4eh-6fh-4ci-4di-8ei-4fi+2gi-4cj-8dj-4ej+4gj+2hj-24j2-4ck+4fk+8gk+4hk-46ik-43jk-43k2+4cl+8dl+8el+8fl+12gl-40hl-39il+17jl+25kl+44l2+8bm+12cm+16dm+16em+16fm-32gm-31hm+23im+29jm-11km+2lm+35m2+4cn+8dn+8en-40fn-35gn+15hn+21in-21jn-10kn-45ln-27mn+15n2-4co-48eo-43fo+15go+17ho-29io-18jo+46ko-39lo+32mo+39no-4cp+45dp+50ep+7fp+17gp-29hp-22ip+38jp-47kp+22lp+43mp+2np+14op-10p2+49cq+50dq-eq+9fq-29gq-22hq+38iq+50jq+14kq+35lq+8mq+18nq-18oq-pq-15q2+12br+49cr+9dr-6er+3fr+36gr [...]
diff --git a/examples/hkatsura-101/hkatsura17-101/hkatsura17-101.ideal b/examples/hkatsura-101/hkatsura17-101/hkatsura17-101.ideal
new file mode 100644
index 0000000..d77bbda
--- /dev/null
+++ b/examples/hkatsura-101/hkatsura17-101/hkatsura17-101.ideal
@@ -0,0 +1,19 @@
+101 18 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
+17
+a+2b+2c+2d+2e+2f+2g+2h+2i+2j+2k+2l+2m+2n+2o+2p+2q-r
+a2+2b2+2c2+2d2+2e2+2f2+2g2+2h2+2i2+2j2+2k2+2l2+2m2+2n2+2o2+2p2+2q2-ar
+2ab+2bc+2cd+2de+2ef+2fg+2gh+2hi+2ij+2jk+2kl+2lm+2mn+2no+2op+2pq-br
+b2+2ac+2bd+2ce+2df+2eg+2fh+2gi+2hj+2ik+2jl+2km+2ln+2mo+2np+2oq-cr
+2bc+2ad+2be+2cf+2dg+2eh+2fi+2gj+2hk+2il+2jm+2kn+2lo+2mp+2nq-dr
+c2+2bd+2ae+2bf+2cg+2dh+2ei+2fj+2gk+2hl+2im+2jn+2ko+2lp+2mq-er
+2cd+2be+2af+2bg+2ch+2di+2ej+2fk+2gl+2hm+2in+2jo+2kp+2lq-fr
+d2+2ce+2bf+2ag+2bh+2ci+2dj+2ek+2fl+2gm+2hn+2io+2jp+2kq-gr
+2de+2cf+2bg+2ah+2bi+2cj+2dk+2el+2fm+2gn+2ho+2ip+2jq-hr
+e2+2df+2cg+2bh+2ai+2bj+2ck+2dl+2em+2fn+2go+2hp+2iq-ir
+2ef+2dg+2ch+2bi+2aj+2bk+2cl+2dm+2en+2fo+2gp+2hq-jr
+f2+2eg+2dh+2ci+2bj+2ak+2bl+2cm+2dn+2eo+2fp+2gq-kr
+2fg+2eh+2di+2cj+2bk+2al+2bm+2cn+2do+2ep+2fq-lr
+g2+2fh+2ei+2dj+2ck+2bl+2am+2bn+2co+2dp+2eq-mr
+2gh+2fi+2ej+2dk+2cl+2bm+2an+2bo+2cp+2dq-nr
+h2+2gi+2fj+2ek+2dl+2cm+2bn+2ao+2bp+2cq-or
+2hi+2gj+2fk+2el+2dm+2cn+2bo+2ap+2bq-pr

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/mathicgb.git