diff --git a/tests/bin/test-io b/tests/bin/test-io
new file mode 100755
index 0000000000000000000000000000000000000000..8d41816a3a8f0020c422b0cf63b972e1302890ed
--- /dev/null
+++ b/tests/bin/test-io
@@ -0,0 +1,56 @@
+#!/bin/bash
+
+# Without arguments, generate outputs
+if [ $# -eq 0 ]
+then
+	rm -fr Results_*
+	for branch in main repair-io
+	do
+		git checkout $branch
+		rm -f $branch-out
+
+		evaluate tests/io_tests/small-out tests/io_tests/small-GT
+		evaluate tests/io_tests/small-out-missing tests/io_tests/small-GT
+		evaluate tests/io_tests/small-out-extra tests/io_tests/small-GT
+
+		mkdir -f $branch-out
+		mv Results_* $branch-out
+	done
+fi
+
+# Compare differences, telling user what to look for in each case
+echo "[[ Summary.txt Differences ]]"
+echo "** Only differences in dates should be visible." 
+echo ""
+echo "[[ Press any key to continue ]]"
+read V
+diff repair-io-out/Results_small-out/Summary.txt main-out/Results_small-out/Summary.txt
+diff repair-io-out/Results_small-out-missing/Summary.txt main-out/Results_small-out-missing/Summary.txt
+diff repair-io-out/Results_small-out-extra/Summary.txt main-out/Results_small-out-extra/Summary.txt
+
+echo ""
+echo "[[ Directory differences ]]"
+echo "** New system produces a file (Correct.csv) missing in main branch version."
+echo "** Other differences should be only in dates."
+echo ""
+echo "[[ Press any key to continue ]]"
+read V
+
+echo ""
+diff repair-io-out/Results_small-out/ main-out/Results_small-out/
+diff repair-io-out/Results_small-out-missing/ main-out/Results_small-out-missing/
+diff repair-io-out/Results_small-out-extra/ main-out/Results_small-out-extra/
+
+echo ""
+echo "[[ Individual file .csv/.diff in Metrics/ ]]"
+echo "** No differences should be visible"
+echo "[[ Press any key to continue ]]"
+read V
+
+diff repair-io-out/Results_small-out/FileMetrics.csv main-out/Results_small-out/FileMetrics.csv
+diff repair-io-out/Results_small-out-missing/FileMetrics.csv main-out/Results_small-out-missing/FileMetrics.csv
+diff repair-io-out/Results_small-out-extra/FileMetrics.csv main-out/Results_small-out-extra/FileMetrics.csv
+
+echo "done."
+
+
diff --git a/tests/io_tests/small-GT/UN_101_em_0.lg b/tests/io_tests/small-GT/UN_101_em_0.lg
new file mode 100755
index 0000000000000000000000000000000000000000..f324587e64eda4564a1ab3e437579a10ac633ea3
--- /dev/null
+++ b/tests/io_tests/small-GT/UN_101_em_0.lg
@@ -0,0 +1,19 @@
+# IUD, CROHME_2016_em_0
+# Objects(8):
+O, -_1, -, 1.0, 9
+O, M_2, M, 1.0, 8
+O, 2_1, 2, 1.0, 2
+O, M_1, M, 1.0, 3
+O, x_1, x, 1.0, 0, 1
+O, +_1, +, 1.0, 4, 5
+O, 1_1, 1, 1.0, 10
+O, x_2, x, 1.0, 6, 7
+
+# Relations from SRT:
+EO, +_1, x_2, Right, 1.0
+EO, -_1, 1_1, Right, 1.0
+EO, 2_1, M_1, Right, 1.0
+EO, M_2, -_1, Right, 1.0
+EO, x_1, +_1, Right, 1.0
+EO, x_1, 2_1, Sup, 1.0
+EO, x_2, M_2, Sup, 1.0
diff --git a/tests/io_tests/small-GT/UN_101_em_1.lg b/tests/io_tests/small-GT/UN_101_em_1.lg
new file mode 100755
index 0000000000000000000000000000000000000000..776896a078ad7dfcf00232f718571509d0e23218
--- /dev/null
+++ b/tests/io_tests/small-GT/UN_101_em_1.lg
@@ -0,0 +1,15 @@
+# IUD, CROHME_2016_em_1
+# Objects(6):
+O, -_1, -, 1.0, 1
+O, 1_1, 1, 1.0, 0
+O, y_1, y, 1.0, 8
+O, +_1, +, 1.0, 4, 5
+O, x_1, x, 1.0, 2, 3
+O, i_1, i, 1.0, 6, 7
+
+# Relations from SRT:
+EO, +_1, i_1, Right, 1.0
+EO, -_1, x_1, Right, 1.0
+EO, 1_1, -_1, Right, 1.0
+EO, i_1, y_1, Right, 1.0
+EO, x_1, +_1, Right, 1.0
diff --git a/tests/io_tests/small-GT/UN_101_em_10.lg b/tests/io_tests/small-GT/UN_101_em_10.lg
new file mode 100755
index 0000000000000000000000000000000000000000..364b3317f3e069ba8d90e2b6b4b8addafd6f3e7e
--- /dev/null
+++ b/tests/io_tests/small-GT/UN_101_em_10.lg
@@ -0,0 +1,23 @@
+# IUD, CROHME_2016_em_10
+# Objects(10):
+O, _1, -, 1.0, 1
+O, 4_2, 4, 1.0, 8
+O, 1_2, 1, 1.0, 11
+O, _2, -, 1.0, 7
+O, =_1, =, 1.0, 3, 4
+O, 4_1, 4, 1.0, 2
+O, -_1, -, 1.0, 5
+O, 3_1, 3, 1.0, 6
+O, +_1, +, 1.0, 9, 10
+O, 1_1, 1, 1.0, 0
+
+# Relations from SRT:
+EO, +_1, 1_2, Right, 1.0
+EO, -_1, _2, Right, 1.0
+EO, =_1, -_1, Right, 1.0
+EO, _1, 1_1, Above, 1.0
+EO, _1, 4_1, Below, 1.0
+EO, _1, =_1, Right, 1.0
+EO, _2, +_1, Right, 1.0
+EO, _2, 3_1, Above, 1.0
+EO, _2, 4_2, Below, 1.0
diff --git a/tests/io_tests/small-GT/UN_101_em_2.lg b/tests/io_tests/small-GT/UN_101_em_2.lg
new file mode 100755
index 0000000000000000000000000000000000000000..b8c120c65f3361806852c278d4ee2207613bdef9
--- /dev/null
+++ b/tests/io_tests/small-GT/UN_101_em_2.lg
@@ -0,0 +1,15 @@
+# IUD, CROHME_2016_em_2
+# Objects(6):
+O, l_1, l, 1.0, 1
+O, l_2, l, 1.0, 5
+O, sum_1, \sum, 1.0, 0
+O, x_1, x, 1.0, 2, 3
+O, )_1, ), 1.0, 6
+O, (_1, (, 1.0, 4
+
+# Relations from SRT:
+EO, (_1, l_2, Right, 1.0
+EO, l_2, )_1, Right, 1.0
+EO, sum_1, l_1, Below, 1.0
+EO, sum_1, x_1, Right, 1.0
+EO, x_1, (_1, Sup, 1.0
diff --git a/tests/io_tests/small-GT/UN_101_em_3.lg b/tests/io_tests/small-GT/UN_101_em_3.lg
new file mode 100755
index 0000000000000000000000000000000000000000..362777e9925af952cac8abe6302826645a635e50
--- /dev/null
+++ b/tests/io_tests/small-GT/UN_101_em_3.lg
@@ -0,0 +1,9 @@
+# IUD, CROHME_2016_em_3
+# Objects(3):
+O, 2_1, 2, 1.0, 0
+O, cos_1, \cos, 1.0, 1, 2, 3
+O, alpha_1, \alpha, 1.0, 4
+
+# Relations from SRT:
+EO, 2_1, cos_1, Right, 1.0
+EO, cos_1, alpha_1, Right, 1.0
diff --git a/tests/io_tests/small-GT/UN_101_em_4.lg b/tests/io_tests/small-GT/UN_101_em_4.lg
new file mode 100755
index 0000000000000000000000000000000000000000..01697277ad41da6b77a4f56710e3f00213d615ed
--- /dev/null
+++ b/tests/io_tests/small-GT/UN_101_em_4.lg
@@ -0,0 +1,43 @@
+# IUD, CROHME_2016_em_4
+# Objects(20):
+O, d_1, d, 1.0, 0
+O, x_1, x, 1.0, 7, 8
+O, A_3, A, 1.0, 17, 18
+O, A_4, A, 1.0, 24, 23
+O, 1_2, 1, 1.0, 15
+O, x_2, x, 1.0, 21, 22
+O, 1_3, 1, 1.0, 26
+O, A_1, A, 1.0, 2, 1
+O, -_4, -, 1.0, 25
+O, -_2, -, 1.0, 11
+O, -_1, -, 1.0, 3
+O, d_3, d, 1.0, 16
+O, -_3, -, 1.0, 14
+O, 1_1, 1, 1.0, 4
+O, _1, -, 1.0, 5
+O, =_1, =, 1.0, 9, 10
+O, d_4, d, 1.0, 20
+O, A_2, A, 1.0, 12, 13
+O, _2, -, 1.0, 19
+O, d_2, d, 1.0, 6
+
+# Relations from SRT:
+EO, -_1, 1_1, Right, 1.0
+EO, -_2, A_2, Right, 1.0
+EO, -_3, 1_2, Right, 1.0
+EO, -_4, 1_3, Right, 1.0
+EO, =_1, -_2, Right, 1.0
+EO, A_1, -_1, Sup, 1.0
+EO, A_2, -_3, Sup, 1.0
+EO, A_2, _2, Right, 1.0
+EO, A_4, -_4, Sup, 1.0
+EO, _1, =_1, Right, 1.0
+EO, _1, d_1, Above, 1.0
+EO, _1, d_2, Below, 1.0
+EO, _2, A_4, Right, 1.0
+EO, _2, d_3, Above, 1.0
+EO, _2, d_4, Below, 1.0
+EO, d_1, A_1, Right, 1.0
+EO, d_2, x_1, Right, 1.0
+EO, d_3, A_3, Right, 1.0
+EO, d_4, x_2, Right, 1.0
diff --git a/tests/io_tests/small-GT/UN_101_em_5.lg b/tests/io_tests/small-GT/UN_101_em_5.lg
new file mode 100755
index 0000000000000000000000000000000000000000..b288abcf4c0dc65bf8322694c838bf154b154720
--- /dev/null
+++ b/tests/io_tests/small-GT/UN_101_em_5.lg
@@ -0,0 +1,21 @@
+# IUD, CROHME_2016_em_5
+# Objects(9):
+O, -_1, -, 1.0, 0
+O, +_1, +, 1.0, 8, 9
+O, 7_1, 7, 1.0, 11, 10
+O, 8_2, 8, 1.0, 3
+O, 8_1, 8, 1.0, 1
+O, ._1, ., 1.0, 2
+O, times_1, \times, 1.0, 5, 4
+O, 0_1, 0, 1.0, 7
+O, 1_1, 1, 1.0, 6
+
+# Relations from SRT:
+EO, +_1, 7_1, Right, 1.0
+EO, -_1, 8_1, Right, 1.0
+EO, ._1, 8_2, Right, 1.0
+EO, 0_1, +_1, Sup, 1.0
+EO, 1_1, 0_1, Right, 1.0
+EO, 8_1, ._1, Right, 1.0
+EO, 8_2, times_1, Right, 1.0
+EO, times_1, 1_1, Right, 1.0
diff --git a/tests/io_tests/small-GT/UN_101_em_6.lg b/tests/io_tests/small-GT/UN_101_em_6.lg
new file mode 100755
index 0000000000000000000000000000000000000000..48cc4735cdf05efa45ca5a42f27e4eba6c51bbdf
--- /dev/null
+++ b/tests/io_tests/small-GT/UN_101_em_6.lg
@@ -0,0 +1,55 @@
+# IUD, CROHME_2016_em_6
+# Objects(26):
+O, ge_1, \geq, 1.0, 1, 2
+O, n_1, n, 1.0, 4
+O, a_1, a, 1.0, 0
+O, -_2, -, 1.0, 9
+O, n_4, n, 1.0, 24
+O, (_2, (, 1.0, 12
+O, (_1, (, 1.0, 3
+O, -_3, -, 1.0, 17
+O, 1_1, 1, 1.0, 10
+O, -_1, -, 1.0, 5
+O, _3, -, 1.0, 23
+O, n_2, n, 1.0, 8
+O, 2_2, 2, 1.0, 22
+O, -_4, -, 1.0, 25
+O, 3_1, 3, 1.0, 6
+O, )_2, ), 1.0, 19
+O, 2_1, 2, 1.0, 13
+O, )_3, ), 1.0, 21
+O, )_1, ), 1.0, 11
+O, 3_2, 3, 1.0, 26
+O, _2, -, 1.0, 14
+O, n_3, n, 1.0, 16
+O, 1_2, 1, 1.0, 18
+O, c_1, c, 1.0, 20
+O, _1, -, 1.0, 7
+O, (_3, (, 1.0, 15
+
+# Relations from SRT:
+EO, (_1, _1, Right, 1.0
+EO, (_2, _2, Right, 1.0
+EO, (_3, n_3, Right, 1.0
+EO, )_1, (_2, Right, 1.0
+EO, )_2, c_1, Right, 1.0
+EO, )_3, _3, Sup, 1.0
+EO, -_1, 3_1, Right, 1.0
+EO, -_2, 1_1, Right, 1.0
+EO, -_3, 1_2, Right, 1.0
+EO, -_4, 3_2, Right, 1.0
+EO, 1_2, )_2, Right, 1.0
+EO, _1, )_1, Right, 1.0
+EO, _1, n_1, Above, 1.0
+EO, _1, n_2, Below, 1.0
+EO, _2, (_3, Below, 1.0
+EO, _2, )_3, Right, 1.0
+EO, _2, 2_1, Above, 1.0
+EO, _3, 2_2, Above, 1.0
+EO, _3, n_4, Below, 1.0
+EO, a_1, ge_1, Right, 1.0
+EO, ge_1, (_1, Right, 1.0
+EO, n_1, -_1, Right, 1.0
+EO, n_2, -_2, Right, 1.0
+EO, n_3, -_3, Right, 1.0
+EO, n_4, -_4, Right, 1.0
diff --git a/tests/io_tests/small-GT/UN_101_em_7.lg b/tests/io_tests/small-GT/UN_101_em_7.lg
new file mode 100755
index 0000000000000000000000000000000000000000..1aa30859cab4a1b77df77661b2bd81de1deb61c1
--- /dev/null
+++ b/tests/io_tests/small-GT/UN_101_em_7.lg
@@ -0,0 +1,19 @@
+# IUD, CROHME_2016_em_7
+# Objects(8):
+O, =_1, =, 1.0, 9, 10
+O, rarr_1, \rightarrow, 1.0, 5
+O, p_2, p, 1.0, 8
+O, 0_1, 0, 1.0, 11
+O, f_1, f, 1.0, 7
+O, infin_1, \infty, 1.0, 6
+O, p_1, p, 1.0, 4
+O, lim_1, \lim, 1.0, 0, 1, 2, 3
+
+# Relations from SRT:
+EO, =_1, 0_1, Right, 1.0
+EO, f_1, =_1, Right, 1.0
+EO, f_1, p_2, Sub, 1.0
+EO, lim_1, f_1, Right, 1.0
+EO, lim_1, p_1, Below, 1.0
+EO, p_1, rarr_1, Right, 1.0
+EO, rarr_1, infin_1, Right, 1.0
diff --git a/tests/io_tests/small-GT/UN_101_em_8.lg b/tests/io_tests/small-GT/UN_101_em_8.lg
new file mode 100755
index 0000000000000000000000000000000000000000..86410da0fba86deca1fe471cf9ee2abd1ea62f8c
--- /dev/null
+++ b/tests/io_tests/small-GT/UN_101_em_8.lg
@@ -0,0 +1,15 @@
+# IUD, CROHME_2016_em_8
+# Objects(6):
+O, cos_1, \cos, 1.0, 4, 5, 6
+O, x_1, x, 1.0, 0, 1
+O, )_1, ), 1.0, 9
+O, =_1, =, 1.0, 2, 3
+O, q_1, q, 1.0, 8
+O, (_1, (, 1.0, 7
+
+# Relations from SRT:
+EO, (_1, q_1, Right, 1.0
+EO, =_1, cos_1, Right, 1.0
+EO, cos_1, (_1, Right, 1.0
+EO, q_1, )_1, Right, 1.0
+EO, x_1, =_1, Right, 1.0
diff --git a/tests/io_tests/small-GT/UN_101_em_9.lg b/tests/io_tests/small-GT/UN_101_em_9.lg
new file mode 100755
index 0000000000000000000000000000000000000000..388a7a8586848da72646e81f493b07b5aaca4a72
--- /dev/null
+++ b/tests/io_tests/small-GT/UN_101_em_9.lg
@@ -0,0 +1,17 @@
+# IUD, CROHME_2016_em_9
+# Objects(7):
+O, t_3, t, 1.0, 11, 12
+O, 1_1, 1, 1.0, 8
+O, =_1, =, 1.0, 6, 7
+O, t_1, t, 1.0, 0, 1
+O, +_1, +, 1.0, 9, 10
+O, times_1, \times, 1.0, 2, 3
+O, t_2, t, 1.0, 4, 5
+
+# Relations from SRT:
+EO, +_1, t_3, Right, 1.0
+EO, 1_1, +_1, Right, 1.0
+EO, =_1, 1_1, Right, 1.0
+EO, t_1, times_1, Right, 1.0
+EO, t_2, =_1, Right, 1.0
+EO, times_1, t_2, Right, 1.0
diff --git a/tests/io_tests/small-out-extra/UN_101_em_0.lg b/tests/io_tests/small-out-extra/UN_101_em_0.lg
new file mode 100644
index 0000000000000000000000000000000000000000..a729b3b8f7772cb04b21b83403a2bf0b6b147486
--- /dev/null
+++ b/tests/io_tests/small-out-extra/UN_101_em_0.lg
@@ -0,0 +1,26 @@
+O, sym0, x, 1.0, 1, 0
+O, sym1, G, 1.0, 2
+O, sym2, \prime, 1.0, 3
+O, sym3, +, 1.0, 4, 5
+O, sym4, \in, 1.0, 6, 7
+O, sym5, I, 1.0, 8
+O, sym6, I, 1.0, 9, 10
+
+
+# Relations:
+R, sym3, sym4, Below, 1.0
+R, sym3, sym5, Inside, 1.0
+R, sym3, sym6, Inside, 1.0
+R, sym4, sym2, Right, 1.0
+R, sym5, sym0, Sup, 1.0
+R, sym5, sym1, Sup, 1.0
+
+
+# Top k symbols
+#(['1', '0'], [('x', 8.396134), ('\\{', 6.1452074), ('\\sigma', 5.932554), ('\\in', 5.895943), ('\\Delta', 5.8723965)])
+#(['2'], [('G', 9.504162), ('S', 8.751827), ('C', 6.5078034), ('\\theta', 6.0446787), ('a', 5.245551)])
+#(['3'], [('\\prime', 7.5214896), ('\\forall', 7.415002), ('M', 7.319584), ('\\mu', 7.316534), ('A', 6.6012244)])
+#(['4', '5'], [('+', 16.922638), ('T', 15.056359), ('I', 12.435536), ('\\in', 12.327513), ('P', 11.176288)])
+#(['6', '7'], [('\\in', 9.313211), ('\\lt', 8.385302), ('x', 8.212973), ('k', 7.4425077), ('2', 6.553683)])
+#(['8'], [('I', 8.8245125), ('\\mu', 8.208898), ('N', 7.548174), ('1', 7.0630674), ('u', 6.0486937)])
+#(['9', '10'], [('I', 10.507577), ('T', 8.1347885), ('\\in', 8.031169), ('L', 7.0555596), ('-', 7.04872)])
diff --git a/tests/io_tests/small-out-extra/UN_101_em_1.lg b/tests/io_tests/small-out-extra/UN_101_em_1.lg
new file mode 100644
index 0000000000000000000000000000000000000000..2c8d861e3feb3e6307e54094425b34a2062ca3d4
--- /dev/null
+++ b/tests/io_tests/small-out-extra/UN_101_em_1.lg
@@ -0,0 +1,20 @@
+O, sym0, \{, 1.0, 0
+O, sym1, -, 1.0, 1
+O, sym2, x, 1.0, 2, 3
+O, sym3, I, 1.0, 7, 4, 5, 6
+O, sym4, y, 1.0, 8
+
+
+# Relations:
+R, sym2, sym4, Above, 1.0
+R, sym3, sym0, Inside, 1.0
+R, sym3, sym1, Sup, 1.0
+R, sym3, sym2, Sup, 1.0
+
+
+# Top k symbols
+#(['0'], [('\\{', 10.897897), ('y', 8.639038), ('M', 8.163615), ('V', 8.0824585), ('\\forall', 7.8687944)])
+#(['1'], [('-', 20.585804), ('=', 15.111104), ('T', 13.395771), ('\\in', 11.6307), ('I', 11.1924515)])
+#(['2', '3'], [('x', 11.742023), ('\\in', 7.9301825), ('I', 7.5930376), ('\\Delta', 6.762449), ('\\sum', 6.7327056)])
+#(['7', '4', '5', '6'], [('I', 7.8613067), ('\\in', 7.447402), ('E', 6.106133), ('H', 5.787963), ('\\mu', 5.396449)])
+#(['8'], [('y', 8.95176), ('q', 8.09616), ('\\}', 8.07194), ('\\theta', 7.095082), ('g', 6.929609)])
diff --git a/tests/io_tests/small-out-extra/UN_101_em_10.lg b/tests/io_tests/small-out-extra/UN_101_em_10.lg
new file mode 100644
index 0000000000000000000000000000000000000000..a729b3b8f7772cb04b21b83403a2bf0b6b147486
--- /dev/null
+++ b/tests/io_tests/small-out-extra/UN_101_em_10.lg
@@ -0,0 +1,26 @@
+O, sym0, x, 1.0, 1, 0
+O, sym1, G, 1.0, 2
+O, sym2, \prime, 1.0, 3
+O, sym3, +, 1.0, 4, 5
+O, sym4, \in, 1.0, 6, 7
+O, sym5, I, 1.0, 8
+O, sym6, I, 1.0, 9, 10
+
+
+# Relations:
+R, sym3, sym4, Below, 1.0
+R, sym3, sym5, Inside, 1.0
+R, sym3, sym6, Inside, 1.0
+R, sym4, sym2, Right, 1.0
+R, sym5, sym0, Sup, 1.0
+R, sym5, sym1, Sup, 1.0
+
+
+# Top k symbols
+#(['1', '0'], [('x', 8.396134), ('\\{', 6.1452074), ('\\sigma', 5.932554), ('\\in', 5.895943), ('\\Delta', 5.8723965)])
+#(['2'], [('G', 9.504162), ('S', 8.751827), ('C', 6.5078034), ('\\theta', 6.0446787), ('a', 5.245551)])
+#(['3'], [('\\prime', 7.5214896), ('\\forall', 7.415002), ('M', 7.319584), ('\\mu', 7.316534), ('A', 6.6012244)])
+#(['4', '5'], [('+', 16.922638), ('T', 15.056359), ('I', 12.435536), ('\\in', 12.327513), ('P', 11.176288)])
+#(['6', '7'], [('\\in', 9.313211), ('\\lt', 8.385302), ('x', 8.212973), ('k', 7.4425077), ('2', 6.553683)])
+#(['8'], [('I', 8.8245125), ('\\mu', 8.208898), ('N', 7.548174), ('1', 7.0630674), ('u', 6.0486937)])
+#(['9', '10'], [('I', 10.507577), ('T', 8.1347885), ('\\in', 8.031169), ('L', 7.0555596), ('-', 7.04872)])
diff --git a/tests/io_tests/small-out-extra/UN_101_em_11.lg b/tests/io_tests/small-out-extra/UN_101_em_11.lg
new file mode 100644
index 0000000000000000000000000000000000000000..a729b3b8f7772cb04b21b83403a2bf0b6b147486
--- /dev/null
+++ b/tests/io_tests/small-out-extra/UN_101_em_11.lg
@@ -0,0 +1,26 @@
+O, sym0, x, 1.0, 1, 0
+O, sym1, G, 1.0, 2
+O, sym2, \prime, 1.0, 3
+O, sym3, +, 1.0, 4, 5
+O, sym4, \in, 1.0, 6, 7
+O, sym5, I, 1.0, 8
+O, sym6, I, 1.0, 9, 10
+
+
+# Relations:
+R, sym3, sym4, Below, 1.0
+R, sym3, sym5, Inside, 1.0
+R, sym3, sym6, Inside, 1.0
+R, sym4, sym2, Right, 1.0
+R, sym5, sym0, Sup, 1.0
+R, sym5, sym1, Sup, 1.0
+
+
+# Top k symbols
+#(['1', '0'], [('x', 8.396134), ('\\{', 6.1452074), ('\\sigma', 5.932554), ('\\in', 5.895943), ('\\Delta', 5.8723965)])
+#(['2'], [('G', 9.504162), ('S', 8.751827), ('C', 6.5078034), ('\\theta', 6.0446787), ('a', 5.245551)])
+#(['3'], [('\\prime', 7.5214896), ('\\forall', 7.415002), ('M', 7.319584), ('\\mu', 7.316534), ('A', 6.6012244)])
+#(['4', '5'], [('+', 16.922638), ('T', 15.056359), ('I', 12.435536), ('\\in', 12.327513), ('P', 11.176288)])
+#(['6', '7'], [('\\in', 9.313211), ('\\lt', 8.385302), ('x', 8.212973), ('k', 7.4425077), ('2', 6.553683)])
+#(['8'], [('I', 8.8245125), ('\\mu', 8.208898), ('N', 7.548174), ('1', 7.0630674), ('u', 6.0486937)])
+#(['9', '10'], [('I', 10.507577), ('T', 8.1347885), ('\\in', 8.031169), ('L', 7.0555596), ('-', 7.04872)])
diff --git a/tests/io_tests/small-out-extra/UN_101_em_2.lg b/tests/io_tests/small-out-extra/UN_101_em_2.lg
new file mode 100644
index 0000000000000000000000000000000000000000..9aa573d8e6f2595e564ccbffd08a9c5e86ea968c
--- /dev/null
+++ b/tests/io_tests/small-out-extra/UN_101_em_2.lg
@@ -0,0 +1,17 @@
+O, sym0, T, 1.0, 0
+O, sym1, \in, 1.0, 1
+O, sym2, I, 1.0, 2, 3
+O, sym3, \mu, 1.0, 4, 5, 6
+
+
+# Relations:
+R, sym2, sym0, Inside, 1.0
+R, sym2, sym1, Sup, 1.0
+R, sym2, sym3, Right, 1.0
+
+
+# Top k symbols
+#(['0'], [('T', 17.356964), ('-', 14.212632), ('\\sum', 12.753144), ('I', 11.760873), ('\\forall', 11.709812)])
+#(['1'], [('\\in', 12.896552), ('r', 9.976405), ('P', 9.813893), ('T', 9.720867), ('I', 8.374703)])
+#(['2', '3'], [('I', 7.2581306), ('\\lt', 6.612817), ('\\in', 6.5871944), ('\\neq', 6.471962), ('\\times', 6.4000716)])
+#(['4', '5', '6'], [('\\mu', 6.18714), ('I', 5.8992515), ('N', 5.5743866), ('u', 5.417416), ('G', 5.122639)])
diff --git a/tests/io_tests/small-out-extra/UN_101_em_3.lg b/tests/io_tests/small-out-extra/UN_101_em_3.lg
new file mode 100644
index 0000000000000000000000000000000000000000..df808b1dac327711489ce1ce4a7e7e5afaf0d88f
--- /dev/null
+++ b/tests/io_tests/small-out-extra/UN_101_em_3.lg
@@ -0,0 +1,17 @@
+O, sym0, \{, 1.0, 0
+O, sym1, \in, 1.0, 1
+O, sym2, \in, 1.0, 2, 3
+O, sym3, \}, 1.0, 4
+
+
+# Relations:
+R, sym1, sym3, Sub, 1.0
+R, sym2, sym0, Inside, 1.0
+R, sym2, sym1, Sub, 1.0
+
+
+# Top k symbols
+#(['0'], [('\\{', 13.607621), ('\\forall', 11.830705), ('\\Delta', 11.83065), ('T', 9.838196), ('I', 9.142617)])
+#(['1'], [('\\in', 11.706426), ('c', 8.747572), ('T', 8.694855), ('I', 8.689401), ('P', 7.886931)])
+#(['2', '3'], [('\\in', 11.179499), (',', 9.396549), ('\\sin', 8.249761), ('\\gt', 7.300568), ('I', 6.7198358)])
+#(['4'], [('\\}', 14.1509285), ('\\mu', 10.08643), ('L', 10.079722), ('X', 7.5427017), ('I', 6.895609)])
diff --git a/tests/io_tests/small-out-extra/UN_101_em_4.lg b/tests/io_tests/small-out-extra/UN_101_em_4.lg
new file mode 100644
index 0000000000000000000000000000000000000000..bb751411f179dcbf28469b9687e9eafc17bf6872
--- /dev/null
+++ b/tests/io_tests/small-out-extra/UN_101_em_4.lg
@@ -0,0 +1,53 @@
+O, sym0, T, 1.0, 0
+O, sym1, A, 1.0, 2, 1
+O, sym2, -, 1.0, 3
+O, sym3, I, 1.0, 4
+O, sym4, -, 1.0, 5
+O, sym5, a, 1.0, 8, 6, 7
+O, sym6, =, 1.0, 9, 10, 11
+O, sym7, A, 1.0, 13, 12
+O, sym8, +, 1.0, 14, 15
+O, sym9, d, 1.0, 16
+O, sym10, b, 1.0, 17, 18
+O, sym11, -, 1.0, 19
+O, sym12, d, 1.0, 20
+O, sym13, \in, 1.0, 22, 21
+O, sym14, k, 1.0, 24, 23
+O, sym15, I, 1.0, 26, 25
+
+
+# Relations:
+R, sym2, sym12, Above, 1.0
+R, sym3, sym9, Above, 1.0
+R, sym3, sym8, Above, 1.0
+R, sym3, sym10, Above, 1.0
+R, sym5, sym11, Inside, 1.0
+R, sym5, sym14, Inside, 1.0
+R, sym6, sym0, Sub, 1.0
+R, sym7, sym3, Sup, 1.0
+R, sym7, sym4, Sup, 1.0
+R, sym7, sym5, Sup, 1.0
+R, sym7, sym1, Sup, 1.0
+R, sym7, sym2, Sup, 1.0
+R, sym7, sym6, Sup, 1.0
+R, sym8, sym13, Inside, 1.0
+R, sym14, sym15, Sup, 1.0
+
+
+# Top k symbols
+#(['0'], [('T', 9.287973), ('\\Delta', 8.607839), ('d', 8.264719), ('\\{', 7.8652935), ('\\forall', 7.410329)])
+#(['2', '1'], [('A', 7.6077743), ('\\theta', 7.1449723), ('\\in', 5.977083), ('k', 5.976622), ('L', 5.433133)])
+#(['3'], [('-', 10.1391945), ('I', 8.907538), ('T', 8.587393), ('P', 6.7891164), ('\\ldots', 5.486129)])
+#(['4'], [('I', 9.962349), ('\\prime', 9.794038), ('1', 9.498001), ('T', 7.484714), ('M', 7.073248)])
+#(['5'], [('-', 19.91239), ('I', 13.595089), ('\\in', 11.712992), ('\\{', 10.864998), ('T', 8.519812)])
+#(['8', '6', '7'], [('a', 8.15768), ('\\in', 8.146306), ('I', 7.286691), ('\\sigma', 6.050026), ('\\mu', 5.9779563)])
+#(['9', '10', '11'], [('=', 26.352354), ('T', 22.378359), ('I', 17.860826), ('\\in', 17.477325), ('\\neq', 14.95716)])
+#(['13', '12'], [('A', 9.479235), ('\\theta', 8.5390215), ('I', 7.470682), ('M', 6.8791704), ('\\mu', 6.0767546)])
+#(['14', '15'], [('+', 6.7481956), ('\\prime', 6.25502), ('COMMA', 6.108961), ('P', 6.03195), ('\\ldots', 5.870945)])
+#(['16'], [('d', 9.087897), ('y', 6.8739576), ('\\sin', 6.437478), ('u', 5.995504), ('w', 5.7787027)])
+#(['17', '18'], [('b', 8.335287), ('N', 7.5025454), ('k', 7.475606), ('H', 6.7091293), ('A', 5.6875024)])
+#(['19'], [('-', 15.793432), ('\\sqrt', 13.566296), ('\\{', 11.73585), ('\\in', 9.275288), ('\\Delta', 8.083772)])
+#(['20'], [('d', 9.900089), ('u', 9.670531), ('N', 8.645205), ('v', 7.9993544), ('M', 7.9054837)])
+#(['22', '21'], [('\\in', 10.580679), ('\\cos', 9.839798), ('2', 9.695202), ('C', 9.14694), ('\\Delta', 8.898951)])
+#(['24', '23'], [('k', 8.92191), ('A', 8.633324), ('I', 6.832522), ('E', 6.4177303), ('R', 6.331655)])
+#(['26', '25'], [('I', 7.128731), ('\\mu', 6.8386426), ('\\prime', 6.1293845), ('j', 5.7363086), ('\\ldots', 5.600365)])
diff --git a/tests/io_tests/small-out-extra/UN_101_em_5.lg b/tests/io_tests/small-out-extra/UN_101_em_5.lg
new file mode 100644
index 0000000000000000000000000000000000000000..7cf49b959d98d88e8934ad3ca983e4fef91c0d19
--- /dev/null
+++ b/tests/io_tests/small-out-extra/UN_101_em_5.lg
@@ -0,0 +1,32 @@
+O, sym0, -, 1.0, 0
+O, sym1, 6, 1.0, 1
+O, sym2, COMMA, 1.0, 2
+O, sym3, \in, 1.0, 3
+O, sym4, x, 1.0, 4, 5
+O, sym5, COMMA, 1.0, 6
+O, sym6, 0, 1.0, 7
+O, sym7, +, 1.0, 8, 9
+O, sym8, I, 1.0, 10, 11
+
+
+# Relations:
+R, sym1, sym0, Above, 1.0
+R, sym1, sym2, Above, 1.0
+R, sym3, sym1, Above, 1.0
+R, sym4, sym5, Inside, 1.0
+R, sym5, sym6, Inside, 1.0
+R, sym6, sym7, Inside, 1.0
+R, sym6, sym8, Inside, 1.0
+R, sym7, sym3, Below, 1.0
+
+
+# Top k symbols
+#(['0'], [('-', 24.255575), ('T', 19.318886), ('\\{', 16.918486), ('\\in', 16.875862), ('=', 14.01645)])
+#(['1'], [('6', 11.460338), ('b', 10.830265), ('a', 10.731585), ('G', 9.305092), ('\\sigma', 7.4978733)])
+#(['2'], [(',', 16.760254), ('.', 11.36672), ('\\ldots', 10.158601), ('\\mu', 8.957737), ('I', 8.922055)])
+#(['3'], [('\\in', 8.144871), ('M', 7.059166), ('u', 6.7620335), ('\\Delta', 6.661337), ('r', 6.13617)])
+#(['4', '5'], [('x', 12.910072), ('k', 11.085196), ('X', 9.389327), ('\\times', 8.101736), ('\\mu', 6.7958922)])
+#(['6'], [(',', 8.546344), ('.', 5.7743735), ('d', 5.5848436), ('1', 5.1421137), ('\\mu', 4.9896774)])
+#(['7'], [('0', 8.435532), ('C', 8.426647), ('c', 6.0243654), ('N', 5.920013), ('\\sin', 5.5146875)])
+#(['8', '9'], [('+', 17.596985), ('H', 13.049231), ('\\neq', 12.449403), ('t', 12.12772), ('I', 11.433929)])
+#(['10', '11'], [('I', 16.072878), ('\\in', 9.158218), ('7', 8.735651), ('T', 8.082097), ('\\theta', 6.5148706)])
diff --git a/tests/io_tests/small-out-extra/UN_101_em_6.lg b/tests/io_tests/small-out-extra/UN_101_em_6.lg
new file mode 100644
index 0000000000000000000000000000000000000000..dada6034c69c7467d2d20fa7bd22278b24173aff
--- /dev/null
+++ b/tests/io_tests/small-out-extra/UN_101_em_6.lg
@@ -0,0 +1,53 @@
+O, sym0, \{, 1.0, 2, 1, 0
+O, sym1, (, 1.0, 3
+O, sym2, I, 1.0, 4
+O, sym3, -, 1.0, 5
+O, sym4, I, 1.0, 6, 7
+O, sym5, m, 1.0, 8
+O, sym6, +, 1.0, 9, 10
+O, sym7, M, 1.0, 12, 11
+O, sym8, 2, 1.0, 13
+O, sym9, -, 1.0, 14
+O, sym10, 4, 1.0, 15
+O, sym11, n, 1.0, 16
+O, sym12, I, 1.0, 17, 18
+O, sym13, k, 1.0, 20, 19
+O, sym14, \}, 1.0, 21
+O, sym15, P, 1.0, 26, 24, 23, 25, 22
+
+
+# Relations:
+R, sym1, sym0, Above, 1.0
+R, sym7, sym2, Above, 1.0
+R, sym7, sym3, Above, 1.0
+R, sym7, sym5, Above, 1.0
+R, sym7, sym4, Above, 1.0
+R, sym7, sym6, Above, 1.0
+R, sym7, sym9, Below, 1.0
+R, sym7, sym12, Sub, 1.0
+R, sym7, sym8, Sup, 1.0
+R, sym7, sym14, Below, 1.0
+R, sym7, sym13, Sub, 1.0
+R, sym7, sym10, Sub, 1.0
+R, sym7, sym1, Sub, 1.0
+R, sym12, sym11, Right, 1.0
+R, sym14, sym15, Sup, 1.0
+
+
+# Top k symbols
+#(['2', '1', '0'], [('\\{', 7.803736), ('\\in', 6.4871764), ('\\Delta', 6.2765117), ('\\sigma', 5.9078946), ('I', 5.435844)])
+#(['3'], [('(', 9.647993), ('\\{', 6.992358), ('T', 6.824644), ('P', 6.7381477), ('|', 6.461022)])
+#(['4'], [('I', 8.835899), ('r', 8.256548), ('a', 7.4924145), ('P', 6.4409595), ('\\prime', 6.411534)])
+#(['5'], [('-', 17.783403), ('I', 12.316467), ('\\in', 9.163381), ('\\rightarrow', 9.028996), ('\\lt', 7.894912)])
+#(['6', '7'], [('I', 9.770641), ('\\in', 7.8130217), ('T', 7.2507954), ('\\Delta', 6.9145765), ('S', 5.8762813)])
+#(['8'], [('m', 13.420319), ('n', 12.168062), ('r', 11.37657), ('T', 10.933935), ('\\sigma', 9.024876)])
+#(['9', '10'], [('+', 11.658321), ('I', 11.290508), ('T', 10.644144), ('\\ldots', 9.554182), ('COMMA', 9.413383)])
+#(['12', '11'], [('M', 8.84091), ('b', 8.100462), ('T', 7.548182), ('N', 7.367956), ('\\forall', 6.334282)])
+#(['13'], [('2', 15.997269), ('I', 12.851888), ('L', 11.825105), ('\\in', 11.766343), ('P', 11.329456)])
+#(['14'], [('-', 20.559254), ('\\in', 19.497555), ('\\{', 17.356129), ('\\sqrt', 16.009548), ('I', 14.794743)])
+#(['15'], [('4', 10.682622), ('u', 8.106894), ('\\pi', 7.2483044), ('T', 7.0563765), ('\\cos', 7.051087)])
+#(['16'], [('n', 15.297031), ('I', 13.245688), ('m', 12.038734), ('0', 10.251959), ('\\sigma', 9.979873)])
+#(['17', '18'], [('I', 12.27286), ('T', 10.978844), ('+', 9.7867155), ('\\ldots', 8.293273), ('\\pi', 8.007755)])
+#(['20', '19'], [('k', 9.459306), ('x', 7.353773), ('c', 6.299327), ('\\in', 6.049982), ('C', 5.865109)])
+#(['21'], [('\\}', 12.9643345), (')', 9.764316), ('H', 7.3469086), ('T', 7.333764), ('\\sqrt', 6.759252)])
+#(['26', '24', '23', '25', '22'], [('P', 5.5711403), ('\\}', 4.8450756), ('I', 4.214386), ('\\in', 4.1127534), ('L', 3.9752526)])
diff --git a/tests/io_tests/small-out-extra/UN_101_em_7.lg b/tests/io_tests/small-out-extra/UN_101_em_7.lg
new file mode 100644
index 0000000000000000000000000000000000000000..edf10160f1fefd9749dffcea152c265e4a7170e6
--- /dev/null
+++ b/tests/io_tests/small-out-extra/UN_101_em_7.lg
@@ -0,0 +1,26 @@
+O, sym0, \lim, 1.0, 2, 3, 1, 0
+O, sym1, n, 1.0, 4
+O, sym2, \rightarrow, 1.0, 5
+O, sym3, \infty, 1.0, 6
+O, sym4, A, 1.0, 8, 7
+O, sym5, =, 1.0, 9, 10
+O, sym6, 0, 1.0, 11
+
+
+# Relations:
+R, sym4, sym0, Above, 1.0
+R, sym4, sym1, Above, 1.0
+R, sym4, sym2, Sub, 1.0
+R, sym4, sym3, Sub, 1.0
+R, sym4, sym5, Sup, 1.0
+R, sym4, sym6, Right, 1.0
+
+
+# Top k symbols
+#(['2', '3', '1', '0'], [('\\lim', 13.048166), ('\\sin', 9.222469), ('M', 5.747844), ('\\log', 5.343444), ('P', 4.3354716)])
+#(['4'], [('n', 8.306002), ('P', 7.108791), ('\\mu', 5.66326), ('p', 5.4428368), ('R', 5.302314)])
+#(['5'], [('\\rightarrow', 13.19746), ('S', 7.364192), ('s', 6.695444), ('I', 6.5773635), ('\\{', 5.8767223)])
+#(['6'], [('\\infty', 12.0912), ('0', 8.387118), ('\\cos', 6.3030987), ('\\rightarrow', 6.235555), ('a', 5.9586725)])
+#(['8', '7'], [('A', 7.7319293), ('P', 7.0371594), ('\\in', 6.8761253), ('\\{', 5.9906654), ('I', 5.1020684)])
+#(['9', '10'], [('=', 27.400875), ('\\in', 22.650816), ('I', 20.200945), ('T', 15.866539), ('\\sqrt', 15.760594)])
+#(['11'], [('0', 10.923396), ('L', 9.996704), ('\\}', 8.829194), ('I', 8.268562), ('C', 7.9034348)])
diff --git a/tests/io_tests/small-out-extra/UN_101_em_8.lg b/tests/io_tests/small-out-extra/UN_101_em_8.lg
new file mode 100644
index 0000000000000000000000000000000000000000..10bd30855365d1d7c281b112f165995887c9075e
--- /dev/null
+++ b/tests/io_tests/small-out-extra/UN_101_em_8.lg
@@ -0,0 +1,26 @@
+O, sym0, x, 1.0, 1, 0
+O, sym1, =, 1.0, 2, 3
+O, sym2, c, 1.0, 4
+O, sym3, \cos, 1.0, 5, 6
+O, sym4, (, 1.0, 7
+O, sym5, u, 1.0, 8
+O, sym6, \}, 1.0, 9
+
+
+# Relations:
+R, sym2, sym0, Inside, 1.0
+R, sym2, sym1, Sup, 1.0
+R, sym2, sym3, Right, 1.0
+R, sym2, sym4, Sup, 1.0
+R, sym4, sym6, Sup, 1.0
+R, sym6, sym5, Inside, 1.0
+
+
+# Top k symbols
+#(['1', '0'], [('x', 9.521459), ('T', 6.7643266), ('I', 6.1560073), ('\\alpha', 6.1062393), ('\\{', 5.8198094)])
+#(['2', '3'], [('=', 20.77729), ('I', 19.656437), ('T', 18.069), ('\\in', 17.402702), ('\\neq', 15.439742)])
+#(['4'], [('c', 13.487324), ('L', 10.120785), ('\\cos', 9.884449), ('\\in', 9.141065), ('G', 8.260363)])
+#(['5', '6'], [('\\cos', 12.843888), ('\\sin', 10.771417), ('s', 7.904604), ('\\in', 7.0521255), ('S', 6.925196)])
+#(['7'], [('(', 14.8679), ('\\{', 8.373616), ('P', 8.282261), ('/', 6.9820538), ('[', 5.9852076)])
+#(['8'], [('u', 10.467104), ('q', 9.434972), ('g', 8.789204), ('N', 8.353209), ('w', 7.994211)])
+#(['9'], [('\\}', 15.233709), ('N', 10.467308), ('\\mu', 9.128147), ('|', 8.78665), ('j', 7.889769)])
diff --git a/tests/io_tests/small-out-extra/UN_101_em_9.lg b/tests/io_tests/small-out-extra/UN_101_em_9.lg
new file mode 100644
index 0000000000000000000000000000000000000000..d333e012369949811e9b4d35a80001cbb6d8589b
--- /dev/null
+++ b/tests/io_tests/small-out-extra/UN_101_em_9.lg
@@ -0,0 +1,26 @@
+O, sym0, \in, 1.0, 1, 0
+O, sym1, x, 1.0, 2, 3
+O, sym2, \in, 1.0, 4
+O, sym3, E, 1.0, 5
+O, sym4, =, 1.0, 6, 7
+O, sym5, T, 1.0, 8, 10, 9
+O, sym6, \theta, 1.0, 12, 11
+
+
+# Relations:
+R, sym2, sym0, Above, 1.0
+R, sym2, sym1, Above, 1.0
+R, sym4, sym2, Below, 1.0
+R, sym4, sym3, Above, 1.0
+R, sym4, sym5, Inside, 1.0
+R, sym5, sym6, Right, 1.0
+
+
+# Top k symbols
+#(['1', '0'], [('\\in', 8.0702), ('A', 6.2119865), ('I', 5.8797636), ('\\forall', 5.7623167), ('t', 5.591429)])
+#(['2', '3'], [('x', 13.867879), ('X', 9.457124), ('\\alpha', 9.339423), ('\\times', 9.076593), ('S', 8.590631)])
+#(['4'], [('\\in', 7.6186194), ('\\theta', 7.544298), ('E', 7.169051), ('G', 6.806433), ('b', 6.263254)])
+#(['5'], [('E', 9.195496), ('\\in', 8.873646), ('b', 7.9224806), ('R', 7.120266), ('P', 6.8206224)])
+#(['6', '7'], [('=', 21.089317), ('\\in', 19.20451), ('I', 15.263962), ('T', 15.151102), ('\\geq', 13.428904)])
+#(['8', '10', '9'], [('T', 6.4587865), ('I', 6.299816), ('\\pi', 5.705979), ('P', 5.2442346), ('H', 5.2055345)])
+#(['12', '11'], [('\\theta', 9.838667), ('L', 9.337872), ('I', 7.800894), ('k', 7.620603), ('\\in', 7.3494625)])
diff --git a/tests/io_tests/small-out-missing/UN_101_em_1.lg b/tests/io_tests/small-out-missing/UN_101_em_1.lg
new file mode 100644
index 0000000000000000000000000000000000000000..2c8d861e3feb3e6307e54094425b34a2062ca3d4
--- /dev/null
+++ b/tests/io_tests/small-out-missing/UN_101_em_1.lg
@@ -0,0 +1,20 @@
+O, sym0, \{, 1.0, 0
+O, sym1, -, 1.0, 1
+O, sym2, x, 1.0, 2, 3
+O, sym3, I, 1.0, 7, 4, 5, 6
+O, sym4, y, 1.0, 8
+
+
+# Relations:
+R, sym2, sym4, Above, 1.0
+R, sym3, sym0, Inside, 1.0
+R, sym3, sym1, Sup, 1.0
+R, sym3, sym2, Sup, 1.0
+
+
+# Top k symbols
+#(['0'], [('\\{', 10.897897), ('y', 8.639038), ('M', 8.163615), ('V', 8.0824585), ('\\forall', 7.8687944)])
+#(['1'], [('-', 20.585804), ('=', 15.111104), ('T', 13.395771), ('\\in', 11.6307), ('I', 11.1924515)])
+#(['2', '3'], [('x', 11.742023), ('\\in', 7.9301825), ('I', 7.5930376), ('\\Delta', 6.762449), ('\\sum', 6.7327056)])
+#(['7', '4', '5', '6'], [('I', 7.8613067), ('\\in', 7.447402), ('E', 6.106133), ('H', 5.787963), ('\\mu', 5.396449)])
+#(['8'], [('y', 8.95176), ('q', 8.09616), ('\\}', 8.07194), ('\\theta', 7.095082), ('g', 6.929609)])
diff --git a/tests/io_tests/small-out-missing/UN_101_em_10.lg b/tests/io_tests/small-out-missing/UN_101_em_10.lg
new file mode 100644
index 0000000000000000000000000000000000000000..6ae21a6c231b886274ae4f915cdecf72e22c7142
--- /dev/null
+++ b/tests/io_tests/small-out-missing/UN_101_em_10.lg
@@ -0,0 +1,29 @@
+O, sym0, M, 1.0, 0
+O, sym1, \in, 1.0, 2, 1
+O, sym2, =, 1.0, 3, 4, 5
+O, sym3, 3, 1.0, 6
+O, sym4, -, 1.0, 7
+O, sym5, u, 1.0, 8
+O, sym6, +, 1.0, 9, 10
+O, sym7, \}, 1.0, 11
+
+
+# Relations:
+R, sym2, sym3, Sub, 1.0
+R, sym2, sym4, Above, 1.0
+R, sym2, sym5, Sub, 1.0
+R, sym2, sym6, Sub, 1.0
+R, sym2, sym7, Above, 1.0
+R, sym3, sym0, Sup, 1.0
+R, sym4, sym1, Right, 1.0
+
+
+# Top k symbols
+#(['0'], [('M', 10.836979), ('1', 9.97379), ('\\Delta', 8.247076), ('A', 7.8690586), ('T', 7.7339687)])
+#(['2', '1'], [('\\in', 8.348132), ('I', 8.327071), ('\\{', 7.0614953), ('E', 7.0319247), ('P', 6.196377)])
+#(['3', '4', '5'], [('=', 14.288564), ('\\in', 12.107462), ('-', 11.980377), ('T', 9.901693), ('\\rightarrow', 9.303458)])
+#(['6'], [('3', 13.311916), ('8', 9.188426), ('s', 8.70648), ('a', 8.307456), ('S', 8.14164)])
+#(['7'], [('-', 13.0875025), ('\\in', 10.14876), ('I', 9.469515), ('\\sqrt', 7.4677515), ('\\Delta', 7.109129)])
+#(['8'], [('u', 7.432375), ('k', 6.495592), ('L', 6.308367), ('b', 5.6050196), ('N', 5.314392)])
+#(['9', '10'], [('+', 16.508865), ('H', 11.028186), ('t', 8.687841), ('I', 7.024298), ('\\pi', 7.021604)])
+#(['11'], [('\\}', 10.687254), ('y', 8.101448), ('\\mu', 7.610694), ('1', 6.7135015), ('d', 6.129201)])
diff --git a/tests/io_tests/small-out-missing/UN_101_em_2.lg b/tests/io_tests/small-out-missing/UN_101_em_2.lg
new file mode 100644
index 0000000000000000000000000000000000000000..9aa573d8e6f2595e564ccbffd08a9c5e86ea968c
--- /dev/null
+++ b/tests/io_tests/small-out-missing/UN_101_em_2.lg
@@ -0,0 +1,17 @@
+O, sym0, T, 1.0, 0
+O, sym1, \in, 1.0, 1
+O, sym2, I, 1.0, 2, 3
+O, sym3, \mu, 1.0, 4, 5, 6
+
+
+# Relations:
+R, sym2, sym0, Inside, 1.0
+R, sym2, sym1, Sup, 1.0
+R, sym2, sym3, Right, 1.0
+
+
+# Top k symbols
+#(['0'], [('T', 17.356964), ('-', 14.212632), ('\\sum', 12.753144), ('I', 11.760873), ('\\forall', 11.709812)])
+#(['1'], [('\\in', 12.896552), ('r', 9.976405), ('P', 9.813893), ('T', 9.720867), ('I', 8.374703)])
+#(['2', '3'], [('I', 7.2581306), ('\\lt', 6.612817), ('\\in', 6.5871944), ('\\neq', 6.471962), ('\\times', 6.4000716)])
+#(['4', '5', '6'], [('\\mu', 6.18714), ('I', 5.8992515), ('N', 5.5743866), ('u', 5.417416), ('G', 5.122639)])
diff --git a/tests/io_tests/small-out-missing/UN_101_em_3.lg b/tests/io_tests/small-out-missing/UN_101_em_3.lg
new file mode 100644
index 0000000000000000000000000000000000000000..df808b1dac327711489ce1ce4a7e7e5afaf0d88f
--- /dev/null
+++ b/tests/io_tests/small-out-missing/UN_101_em_3.lg
@@ -0,0 +1,17 @@
+O, sym0, \{, 1.0, 0
+O, sym1, \in, 1.0, 1
+O, sym2, \in, 1.0, 2, 3
+O, sym3, \}, 1.0, 4
+
+
+# Relations:
+R, sym1, sym3, Sub, 1.0
+R, sym2, sym0, Inside, 1.0
+R, sym2, sym1, Sub, 1.0
+
+
+# Top k symbols
+#(['0'], [('\\{', 13.607621), ('\\forall', 11.830705), ('\\Delta', 11.83065), ('T', 9.838196), ('I', 9.142617)])
+#(['1'], [('\\in', 11.706426), ('c', 8.747572), ('T', 8.694855), ('I', 8.689401), ('P', 7.886931)])
+#(['2', '3'], [('\\in', 11.179499), (',', 9.396549), ('\\sin', 8.249761), ('\\gt', 7.300568), ('I', 6.7198358)])
+#(['4'], [('\\}', 14.1509285), ('\\mu', 10.08643), ('L', 10.079722), ('X', 7.5427017), ('I', 6.895609)])
diff --git a/tests/io_tests/small-out-missing/UN_101_em_4.lg b/tests/io_tests/small-out-missing/UN_101_em_4.lg
new file mode 100644
index 0000000000000000000000000000000000000000..bb751411f179dcbf28469b9687e9eafc17bf6872
--- /dev/null
+++ b/tests/io_tests/small-out-missing/UN_101_em_4.lg
@@ -0,0 +1,53 @@
+O, sym0, T, 1.0, 0
+O, sym1, A, 1.0, 2, 1
+O, sym2, -, 1.0, 3
+O, sym3, I, 1.0, 4
+O, sym4, -, 1.0, 5
+O, sym5, a, 1.0, 8, 6, 7
+O, sym6, =, 1.0, 9, 10, 11
+O, sym7, A, 1.0, 13, 12
+O, sym8, +, 1.0, 14, 15
+O, sym9, d, 1.0, 16
+O, sym10, b, 1.0, 17, 18
+O, sym11, -, 1.0, 19
+O, sym12, d, 1.0, 20
+O, sym13, \in, 1.0, 22, 21
+O, sym14, k, 1.0, 24, 23
+O, sym15, I, 1.0, 26, 25
+
+
+# Relations:
+R, sym2, sym12, Above, 1.0
+R, sym3, sym9, Above, 1.0
+R, sym3, sym8, Above, 1.0
+R, sym3, sym10, Above, 1.0
+R, sym5, sym11, Inside, 1.0
+R, sym5, sym14, Inside, 1.0
+R, sym6, sym0, Sub, 1.0
+R, sym7, sym3, Sup, 1.0
+R, sym7, sym4, Sup, 1.0
+R, sym7, sym5, Sup, 1.0
+R, sym7, sym1, Sup, 1.0
+R, sym7, sym2, Sup, 1.0
+R, sym7, sym6, Sup, 1.0
+R, sym8, sym13, Inside, 1.0
+R, sym14, sym15, Sup, 1.0
+
+
+# Top k symbols
+#(['0'], [('T', 9.287973), ('\\Delta', 8.607839), ('d', 8.264719), ('\\{', 7.8652935), ('\\forall', 7.410329)])
+#(['2', '1'], [('A', 7.6077743), ('\\theta', 7.1449723), ('\\in', 5.977083), ('k', 5.976622), ('L', 5.433133)])
+#(['3'], [('-', 10.1391945), ('I', 8.907538), ('T', 8.587393), ('P', 6.7891164), ('\\ldots', 5.486129)])
+#(['4'], [('I', 9.962349), ('\\prime', 9.794038), ('1', 9.498001), ('T', 7.484714), ('M', 7.073248)])
+#(['5'], [('-', 19.91239), ('I', 13.595089), ('\\in', 11.712992), ('\\{', 10.864998), ('T', 8.519812)])
+#(['8', '6', '7'], [('a', 8.15768), ('\\in', 8.146306), ('I', 7.286691), ('\\sigma', 6.050026), ('\\mu', 5.9779563)])
+#(['9', '10', '11'], [('=', 26.352354), ('T', 22.378359), ('I', 17.860826), ('\\in', 17.477325), ('\\neq', 14.95716)])
+#(['13', '12'], [('A', 9.479235), ('\\theta', 8.5390215), ('I', 7.470682), ('M', 6.8791704), ('\\mu', 6.0767546)])
+#(['14', '15'], [('+', 6.7481956), ('\\prime', 6.25502), ('COMMA', 6.108961), ('P', 6.03195), ('\\ldots', 5.870945)])
+#(['16'], [('d', 9.087897), ('y', 6.8739576), ('\\sin', 6.437478), ('u', 5.995504), ('w', 5.7787027)])
+#(['17', '18'], [('b', 8.335287), ('N', 7.5025454), ('k', 7.475606), ('H', 6.7091293), ('A', 5.6875024)])
+#(['19'], [('-', 15.793432), ('\\sqrt', 13.566296), ('\\{', 11.73585), ('\\in', 9.275288), ('\\Delta', 8.083772)])
+#(['20'], [('d', 9.900089), ('u', 9.670531), ('N', 8.645205), ('v', 7.9993544), ('M', 7.9054837)])
+#(['22', '21'], [('\\in', 10.580679), ('\\cos', 9.839798), ('2', 9.695202), ('C', 9.14694), ('\\Delta', 8.898951)])
+#(['24', '23'], [('k', 8.92191), ('A', 8.633324), ('I', 6.832522), ('E', 6.4177303), ('R', 6.331655)])
+#(['26', '25'], [('I', 7.128731), ('\\mu', 6.8386426), ('\\prime', 6.1293845), ('j', 5.7363086), ('\\ldots', 5.600365)])
diff --git a/tests/io_tests/small-out-missing/UN_101_em_6.lg b/tests/io_tests/small-out-missing/UN_101_em_6.lg
new file mode 100644
index 0000000000000000000000000000000000000000..dada6034c69c7467d2d20fa7bd22278b24173aff
--- /dev/null
+++ b/tests/io_tests/small-out-missing/UN_101_em_6.lg
@@ -0,0 +1,53 @@
+O, sym0, \{, 1.0, 2, 1, 0
+O, sym1, (, 1.0, 3
+O, sym2, I, 1.0, 4
+O, sym3, -, 1.0, 5
+O, sym4, I, 1.0, 6, 7
+O, sym5, m, 1.0, 8
+O, sym6, +, 1.0, 9, 10
+O, sym7, M, 1.0, 12, 11
+O, sym8, 2, 1.0, 13
+O, sym9, -, 1.0, 14
+O, sym10, 4, 1.0, 15
+O, sym11, n, 1.0, 16
+O, sym12, I, 1.0, 17, 18
+O, sym13, k, 1.0, 20, 19
+O, sym14, \}, 1.0, 21
+O, sym15, P, 1.0, 26, 24, 23, 25, 22
+
+
+# Relations:
+R, sym1, sym0, Above, 1.0
+R, sym7, sym2, Above, 1.0
+R, sym7, sym3, Above, 1.0
+R, sym7, sym5, Above, 1.0
+R, sym7, sym4, Above, 1.0
+R, sym7, sym6, Above, 1.0
+R, sym7, sym9, Below, 1.0
+R, sym7, sym12, Sub, 1.0
+R, sym7, sym8, Sup, 1.0
+R, sym7, sym14, Below, 1.0
+R, sym7, sym13, Sub, 1.0
+R, sym7, sym10, Sub, 1.0
+R, sym7, sym1, Sub, 1.0
+R, sym12, sym11, Right, 1.0
+R, sym14, sym15, Sup, 1.0
+
+
+# Top k symbols
+#(['2', '1', '0'], [('\\{', 7.803736), ('\\in', 6.4871764), ('\\Delta', 6.2765117), ('\\sigma', 5.9078946), ('I', 5.435844)])
+#(['3'], [('(', 9.647993), ('\\{', 6.992358), ('T', 6.824644), ('P', 6.7381477), ('|', 6.461022)])
+#(['4'], [('I', 8.835899), ('r', 8.256548), ('a', 7.4924145), ('P', 6.4409595), ('\\prime', 6.411534)])
+#(['5'], [('-', 17.783403), ('I', 12.316467), ('\\in', 9.163381), ('\\rightarrow', 9.028996), ('\\lt', 7.894912)])
+#(['6', '7'], [('I', 9.770641), ('\\in', 7.8130217), ('T', 7.2507954), ('\\Delta', 6.9145765), ('S', 5.8762813)])
+#(['8'], [('m', 13.420319), ('n', 12.168062), ('r', 11.37657), ('T', 10.933935), ('\\sigma', 9.024876)])
+#(['9', '10'], [('+', 11.658321), ('I', 11.290508), ('T', 10.644144), ('\\ldots', 9.554182), ('COMMA', 9.413383)])
+#(['12', '11'], [('M', 8.84091), ('b', 8.100462), ('T', 7.548182), ('N', 7.367956), ('\\forall', 6.334282)])
+#(['13'], [('2', 15.997269), ('I', 12.851888), ('L', 11.825105), ('\\in', 11.766343), ('P', 11.329456)])
+#(['14'], [('-', 20.559254), ('\\in', 19.497555), ('\\{', 17.356129), ('\\sqrt', 16.009548), ('I', 14.794743)])
+#(['15'], [('4', 10.682622), ('u', 8.106894), ('\\pi', 7.2483044), ('T', 7.0563765), ('\\cos', 7.051087)])
+#(['16'], [('n', 15.297031), ('I', 13.245688), ('m', 12.038734), ('0', 10.251959), ('\\sigma', 9.979873)])
+#(['17', '18'], [('I', 12.27286), ('T', 10.978844), ('+', 9.7867155), ('\\ldots', 8.293273), ('\\pi', 8.007755)])
+#(['20', '19'], [('k', 9.459306), ('x', 7.353773), ('c', 6.299327), ('\\in', 6.049982), ('C', 5.865109)])
+#(['21'], [('\\}', 12.9643345), (')', 9.764316), ('H', 7.3469086), ('T', 7.333764), ('\\sqrt', 6.759252)])
+#(['26', '24', '23', '25', '22'], [('P', 5.5711403), ('\\}', 4.8450756), ('I', 4.214386), ('\\in', 4.1127534), ('L', 3.9752526)])
diff --git a/tests/io_tests/small-out-missing/UN_101_em_7.lg b/tests/io_tests/small-out-missing/UN_101_em_7.lg
new file mode 100644
index 0000000000000000000000000000000000000000..edf10160f1fefd9749dffcea152c265e4a7170e6
--- /dev/null
+++ b/tests/io_tests/small-out-missing/UN_101_em_7.lg
@@ -0,0 +1,26 @@
+O, sym0, \lim, 1.0, 2, 3, 1, 0
+O, sym1, n, 1.0, 4
+O, sym2, \rightarrow, 1.0, 5
+O, sym3, \infty, 1.0, 6
+O, sym4, A, 1.0, 8, 7
+O, sym5, =, 1.0, 9, 10
+O, sym6, 0, 1.0, 11
+
+
+# Relations:
+R, sym4, sym0, Above, 1.0
+R, sym4, sym1, Above, 1.0
+R, sym4, sym2, Sub, 1.0
+R, sym4, sym3, Sub, 1.0
+R, sym4, sym5, Sup, 1.0
+R, sym4, sym6, Right, 1.0
+
+
+# Top k symbols
+#(['2', '3', '1', '0'], [('\\lim', 13.048166), ('\\sin', 9.222469), ('M', 5.747844), ('\\log', 5.343444), ('P', 4.3354716)])
+#(['4'], [('n', 8.306002), ('P', 7.108791), ('\\mu', 5.66326), ('p', 5.4428368), ('R', 5.302314)])
+#(['5'], [('\\rightarrow', 13.19746), ('S', 7.364192), ('s', 6.695444), ('I', 6.5773635), ('\\{', 5.8767223)])
+#(['6'], [('\\infty', 12.0912), ('0', 8.387118), ('\\cos', 6.3030987), ('\\rightarrow', 6.235555), ('a', 5.9586725)])
+#(['8', '7'], [('A', 7.7319293), ('P', 7.0371594), ('\\in', 6.8761253), ('\\{', 5.9906654), ('I', 5.1020684)])
+#(['9', '10'], [('=', 27.400875), ('\\in', 22.650816), ('I', 20.200945), ('T', 15.866539), ('\\sqrt', 15.760594)])
+#(['11'], [('0', 10.923396), ('L', 9.996704), ('\\}', 8.829194), ('I', 8.268562), ('C', 7.9034348)])
diff --git a/tests/io_tests/small-out-missing/UN_101_em_8.lg b/tests/io_tests/small-out-missing/UN_101_em_8.lg
new file mode 100644
index 0000000000000000000000000000000000000000..10bd30855365d1d7c281b112f165995887c9075e
--- /dev/null
+++ b/tests/io_tests/small-out-missing/UN_101_em_8.lg
@@ -0,0 +1,26 @@
+O, sym0, x, 1.0, 1, 0
+O, sym1, =, 1.0, 2, 3
+O, sym2, c, 1.0, 4
+O, sym3, \cos, 1.0, 5, 6
+O, sym4, (, 1.0, 7
+O, sym5, u, 1.0, 8
+O, sym6, \}, 1.0, 9
+
+
+# Relations:
+R, sym2, sym0, Inside, 1.0
+R, sym2, sym1, Sup, 1.0
+R, sym2, sym3, Right, 1.0
+R, sym2, sym4, Sup, 1.0
+R, sym4, sym6, Sup, 1.0
+R, sym6, sym5, Inside, 1.0
+
+
+# Top k symbols
+#(['1', '0'], [('x', 9.521459), ('T', 6.7643266), ('I', 6.1560073), ('\\alpha', 6.1062393), ('\\{', 5.8198094)])
+#(['2', '3'], [('=', 20.77729), ('I', 19.656437), ('T', 18.069), ('\\in', 17.402702), ('\\neq', 15.439742)])
+#(['4'], [('c', 13.487324), ('L', 10.120785), ('\\cos', 9.884449), ('\\in', 9.141065), ('G', 8.260363)])
+#(['5', '6'], [('\\cos', 12.843888), ('\\sin', 10.771417), ('s', 7.904604), ('\\in', 7.0521255), ('S', 6.925196)])
+#(['7'], [('(', 14.8679), ('\\{', 8.373616), ('P', 8.282261), ('/', 6.9820538), ('[', 5.9852076)])
+#(['8'], [('u', 10.467104), ('q', 9.434972), ('g', 8.789204), ('N', 8.353209), ('w', 7.994211)])
+#(['9'], [('\\}', 15.233709), ('N', 10.467308), ('\\mu', 9.128147), ('|', 8.78665), ('j', 7.889769)])
diff --git a/tests/io_tests/small-out/UN_101_em_0.lg b/tests/io_tests/small-out/UN_101_em_0.lg
new file mode 100644
index 0000000000000000000000000000000000000000..a729b3b8f7772cb04b21b83403a2bf0b6b147486
--- /dev/null
+++ b/tests/io_tests/small-out/UN_101_em_0.lg
@@ -0,0 +1,26 @@
+O, sym0, x, 1.0, 1, 0
+O, sym1, G, 1.0, 2
+O, sym2, \prime, 1.0, 3
+O, sym3, +, 1.0, 4, 5
+O, sym4, \in, 1.0, 6, 7
+O, sym5, I, 1.0, 8
+O, sym6, I, 1.0, 9, 10
+
+
+# Relations:
+R, sym3, sym4, Below, 1.0
+R, sym3, sym5, Inside, 1.0
+R, sym3, sym6, Inside, 1.0
+R, sym4, sym2, Right, 1.0
+R, sym5, sym0, Sup, 1.0
+R, sym5, sym1, Sup, 1.0
+
+
+# Top k symbols
+#(['1', '0'], [('x', 8.396134), ('\\{', 6.1452074), ('\\sigma', 5.932554), ('\\in', 5.895943), ('\\Delta', 5.8723965)])
+#(['2'], [('G', 9.504162), ('S', 8.751827), ('C', 6.5078034), ('\\theta', 6.0446787), ('a', 5.245551)])
+#(['3'], [('\\prime', 7.5214896), ('\\forall', 7.415002), ('M', 7.319584), ('\\mu', 7.316534), ('A', 6.6012244)])
+#(['4', '5'], [('+', 16.922638), ('T', 15.056359), ('I', 12.435536), ('\\in', 12.327513), ('P', 11.176288)])
+#(['6', '7'], [('\\in', 9.313211), ('\\lt', 8.385302), ('x', 8.212973), ('k', 7.4425077), ('2', 6.553683)])
+#(['8'], [('I', 8.8245125), ('\\mu', 8.208898), ('N', 7.548174), ('1', 7.0630674), ('u', 6.0486937)])
+#(['9', '10'], [('I', 10.507577), ('T', 8.1347885), ('\\in', 8.031169), ('L', 7.0555596), ('-', 7.04872)])
diff --git a/tests/io_tests/small-out/UN_101_em_1.lg b/tests/io_tests/small-out/UN_101_em_1.lg
new file mode 100644
index 0000000000000000000000000000000000000000..2c8d861e3feb3e6307e54094425b34a2062ca3d4
--- /dev/null
+++ b/tests/io_tests/small-out/UN_101_em_1.lg
@@ -0,0 +1,20 @@
+O, sym0, \{, 1.0, 0
+O, sym1, -, 1.0, 1
+O, sym2, x, 1.0, 2, 3
+O, sym3, I, 1.0, 7, 4, 5, 6
+O, sym4, y, 1.0, 8
+
+
+# Relations:
+R, sym2, sym4, Above, 1.0
+R, sym3, sym0, Inside, 1.0
+R, sym3, sym1, Sup, 1.0
+R, sym3, sym2, Sup, 1.0
+
+
+# Top k symbols
+#(['0'], [('\\{', 10.897897), ('y', 8.639038), ('M', 8.163615), ('V', 8.0824585), ('\\forall', 7.8687944)])
+#(['1'], [('-', 20.585804), ('=', 15.111104), ('T', 13.395771), ('\\in', 11.6307), ('I', 11.1924515)])
+#(['2', '3'], [('x', 11.742023), ('\\in', 7.9301825), ('I', 7.5930376), ('\\Delta', 6.762449), ('\\sum', 6.7327056)])
+#(['7', '4', '5', '6'], [('I', 7.8613067), ('\\in', 7.447402), ('E', 6.106133), ('H', 5.787963), ('\\mu', 5.396449)])
+#(['8'], [('y', 8.95176), ('q', 8.09616), ('\\}', 8.07194), ('\\theta', 7.095082), ('g', 6.929609)])
diff --git a/tests/io_tests/small-out/UN_101_em_10.lg b/tests/io_tests/small-out/UN_101_em_10.lg
new file mode 100644
index 0000000000000000000000000000000000000000..6ae21a6c231b886274ae4f915cdecf72e22c7142
--- /dev/null
+++ b/tests/io_tests/small-out/UN_101_em_10.lg
@@ -0,0 +1,29 @@
+O, sym0, M, 1.0, 0
+O, sym1, \in, 1.0, 2, 1
+O, sym2, =, 1.0, 3, 4, 5
+O, sym3, 3, 1.0, 6
+O, sym4, -, 1.0, 7
+O, sym5, u, 1.0, 8
+O, sym6, +, 1.0, 9, 10
+O, sym7, \}, 1.0, 11
+
+
+# Relations:
+R, sym2, sym3, Sub, 1.0
+R, sym2, sym4, Above, 1.0
+R, sym2, sym5, Sub, 1.0
+R, sym2, sym6, Sub, 1.0
+R, sym2, sym7, Above, 1.0
+R, sym3, sym0, Sup, 1.0
+R, sym4, sym1, Right, 1.0
+
+
+# Top k symbols
+#(['0'], [('M', 10.836979), ('1', 9.97379), ('\\Delta', 8.247076), ('A', 7.8690586), ('T', 7.7339687)])
+#(['2', '1'], [('\\in', 8.348132), ('I', 8.327071), ('\\{', 7.0614953), ('E', 7.0319247), ('P', 6.196377)])
+#(['3', '4', '5'], [('=', 14.288564), ('\\in', 12.107462), ('-', 11.980377), ('T', 9.901693), ('\\rightarrow', 9.303458)])
+#(['6'], [('3', 13.311916), ('8', 9.188426), ('s', 8.70648), ('a', 8.307456), ('S', 8.14164)])
+#(['7'], [('-', 13.0875025), ('\\in', 10.14876), ('I', 9.469515), ('\\sqrt', 7.4677515), ('\\Delta', 7.109129)])
+#(['8'], [('u', 7.432375), ('k', 6.495592), ('L', 6.308367), ('b', 5.6050196), ('N', 5.314392)])
+#(['9', '10'], [('+', 16.508865), ('H', 11.028186), ('t', 8.687841), ('I', 7.024298), ('\\pi', 7.021604)])
+#(['11'], [('\\}', 10.687254), ('y', 8.101448), ('\\mu', 7.610694), ('1', 6.7135015), ('d', 6.129201)])
diff --git a/tests/io_tests/small-out/UN_101_em_2.lg b/tests/io_tests/small-out/UN_101_em_2.lg
new file mode 100644
index 0000000000000000000000000000000000000000..9aa573d8e6f2595e564ccbffd08a9c5e86ea968c
--- /dev/null
+++ b/tests/io_tests/small-out/UN_101_em_2.lg
@@ -0,0 +1,17 @@
+O, sym0, T, 1.0, 0
+O, sym1, \in, 1.0, 1
+O, sym2, I, 1.0, 2, 3
+O, sym3, \mu, 1.0, 4, 5, 6
+
+
+# Relations:
+R, sym2, sym0, Inside, 1.0
+R, sym2, sym1, Sup, 1.0
+R, sym2, sym3, Right, 1.0
+
+
+# Top k symbols
+#(['0'], [('T', 17.356964), ('-', 14.212632), ('\\sum', 12.753144), ('I', 11.760873), ('\\forall', 11.709812)])
+#(['1'], [('\\in', 12.896552), ('r', 9.976405), ('P', 9.813893), ('T', 9.720867), ('I', 8.374703)])
+#(['2', '3'], [('I', 7.2581306), ('\\lt', 6.612817), ('\\in', 6.5871944), ('\\neq', 6.471962), ('\\times', 6.4000716)])
+#(['4', '5', '6'], [('\\mu', 6.18714), ('I', 5.8992515), ('N', 5.5743866), ('u', 5.417416), ('G', 5.122639)])
diff --git a/tests/io_tests/small-out/UN_101_em_3.lg b/tests/io_tests/small-out/UN_101_em_3.lg
new file mode 100644
index 0000000000000000000000000000000000000000..df808b1dac327711489ce1ce4a7e7e5afaf0d88f
--- /dev/null
+++ b/tests/io_tests/small-out/UN_101_em_3.lg
@@ -0,0 +1,17 @@
+O, sym0, \{, 1.0, 0
+O, sym1, \in, 1.0, 1
+O, sym2, \in, 1.0, 2, 3
+O, sym3, \}, 1.0, 4
+
+
+# Relations:
+R, sym1, sym3, Sub, 1.0
+R, sym2, sym0, Inside, 1.0
+R, sym2, sym1, Sub, 1.0
+
+
+# Top k symbols
+#(['0'], [('\\{', 13.607621), ('\\forall', 11.830705), ('\\Delta', 11.83065), ('T', 9.838196), ('I', 9.142617)])
+#(['1'], [('\\in', 11.706426), ('c', 8.747572), ('T', 8.694855), ('I', 8.689401), ('P', 7.886931)])
+#(['2', '3'], [('\\in', 11.179499), (',', 9.396549), ('\\sin', 8.249761), ('\\gt', 7.300568), ('I', 6.7198358)])
+#(['4'], [('\\}', 14.1509285), ('\\mu', 10.08643), ('L', 10.079722), ('X', 7.5427017), ('I', 6.895609)])
diff --git a/tests/io_tests/small-out/UN_101_em_4.lg b/tests/io_tests/small-out/UN_101_em_4.lg
new file mode 100644
index 0000000000000000000000000000000000000000..bb751411f179dcbf28469b9687e9eafc17bf6872
--- /dev/null
+++ b/tests/io_tests/small-out/UN_101_em_4.lg
@@ -0,0 +1,53 @@
+O, sym0, T, 1.0, 0
+O, sym1, A, 1.0, 2, 1
+O, sym2, -, 1.0, 3
+O, sym3, I, 1.0, 4
+O, sym4, -, 1.0, 5
+O, sym5, a, 1.0, 8, 6, 7
+O, sym6, =, 1.0, 9, 10, 11
+O, sym7, A, 1.0, 13, 12
+O, sym8, +, 1.0, 14, 15
+O, sym9, d, 1.0, 16
+O, sym10, b, 1.0, 17, 18
+O, sym11, -, 1.0, 19
+O, sym12, d, 1.0, 20
+O, sym13, \in, 1.0, 22, 21
+O, sym14, k, 1.0, 24, 23
+O, sym15, I, 1.0, 26, 25
+
+
+# Relations:
+R, sym2, sym12, Above, 1.0
+R, sym3, sym9, Above, 1.0
+R, sym3, sym8, Above, 1.0
+R, sym3, sym10, Above, 1.0
+R, sym5, sym11, Inside, 1.0
+R, sym5, sym14, Inside, 1.0
+R, sym6, sym0, Sub, 1.0
+R, sym7, sym3, Sup, 1.0
+R, sym7, sym4, Sup, 1.0
+R, sym7, sym5, Sup, 1.0
+R, sym7, sym1, Sup, 1.0
+R, sym7, sym2, Sup, 1.0
+R, sym7, sym6, Sup, 1.0
+R, sym8, sym13, Inside, 1.0
+R, sym14, sym15, Sup, 1.0
+
+
+# Top k symbols
+#(['0'], [('T', 9.287973), ('\\Delta', 8.607839), ('d', 8.264719), ('\\{', 7.8652935), ('\\forall', 7.410329)])
+#(['2', '1'], [('A', 7.6077743), ('\\theta', 7.1449723), ('\\in', 5.977083), ('k', 5.976622), ('L', 5.433133)])
+#(['3'], [('-', 10.1391945), ('I', 8.907538), ('T', 8.587393), ('P', 6.7891164), ('\\ldots', 5.486129)])
+#(['4'], [('I', 9.962349), ('\\prime', 9.794038), ('1', 9.498001), ('T', 7.484714), ('M', 7.073248)])
+#(['5'], [('-', 19.91239), ('I', 13.595089), ('\\in', 11.712992), ('\\{', 10.864998), ('T', 8.519812)])
+#(['8', '6', '7'], [('a', 8.15768), ('\\in', 8.146306), ('I', 7.286691), ('\\sigma', 6.050026), ('\\mu', 5.9779563)])
+#(['9', '10', '11'], [('=', 26.352354), ('T', 22.378359), ('I', 17.860826), ('\\in', 17.477325), ('\\neq', 14.95716)])
+#(['13', '12'], [('A', 9.479235), ('\\theta', 8.5390215), ('I', 7.470682), ('M', 6.8791704), ('\\mu', 6.0767546)])
+#(['14', '15'], [('+', 6.7481956), ('\\prime', 6.25502), ('COMMA', 6.108961), ('P', 6.03195), ('\\ldots', 5.870945)])
+#(['16'], [('d', 9.087897), ('y', 6.8739576), ('\\sin', 6.437478), ('u', 5.995504), ('w', 5.7787027)])
+#(['17', '18'], [('b', 8.335287), ('N', 7.5025454), ('k', 7.475606), ('H', 6.7091293), ('A', 5.6875024)])
+#(['19'], [('-', 15.793432), ('\\sqrt', 13.566296), ('\\{', 11.73585), ('\\in', 9.275288), ('\\Delta', 8.083772)])
+#(['20'], [('d', 9.900089), ('u', 9.670531), ('N', 8.645205), ('v', 7.9993544), ('M', 7.9054837)])
+#(['22', '21'], [('\\in', 10.580679), ('\\cos', 9.839798), ('2', 9.695202), ('C', 9.14694), ('\\Delta', 8.898951)])
+#(['24', '23'], [('k', 8.92191), ('A', 8.633324), ('I', 6.832522), ('E', 6.4177303), ('R', 6.331655)])
+#(['26', '25'], [('I', 7.128731), ('\\mu', 6.8386426), ('\\prime', 6.1293845), ('j', 5.7363086), ('\\ldots', 5.600365)])
diff --git a/tests/io_tests/small-out/UN_101_em_5.lg b/tests/io_tests/small-out/UN_101_em_5.lg
new file mode 100644
index 0000000000000000000000000000000000000000..7cf49b959d98d88e8934ad3ca983e4fef91c0d19
--- /dev/null
+++ b/tests/io_tests/small-out/UN_101_em_5.lg
@@ -0,0 +1,32 @@
+O, sym0, -, 1.0, 0
+O, sym1, 6, 1.0, 1
+O, sym2, COMMA, 1.0, 2
+O, sym3, \in, 1.0, 3
+O, sym4, x, 1.0, 4, 5
+O, sym5, COMMA, 1.0, 6
+O, sym6, 0, 1.0, 7
+O, sym7, +, 1.0, 8, 9
+O, sym8, I, 1.0, 10, 11
+
+
+# Relations:
+R, sym1, sym0, Above, 1.0
+R, sym1, sym2, Above, 1.0
+R, sym3, sym1, Above, 1.0
+R, sym4, sym5, Inside, 1.0
+R, sym5, sym6, Inside, 1.0
+R, sym6, sym7, Inside, 1.0
+R, sym6, sym8, Inside, 1.0
+R, sym7, sym3, Below, 1.0
+
+
+# Top k symbols
+#(['0'], [('-', 24.255575), ('T', 19.318886), ('\\{', 16.918486), ('\\in', 16.875862), ('=', 14.01645)])
+#(['1'], [('6', 11.460338), ('b', 10.830265), ('a', 10.731585), ('G', 9.305092), ('\\sigma', 7.4978733)])
+#(['2'], [(',', 16.760254), ('.', 11.36672), ('\\ldots', 10.158601), ('\\mu', 8.957737), ('I', 8.922055)])
+#(['3'], [('\\in', 8.144871), ('M', 7.059166), ('u', 6.7620335), ('\\Delta', 6.661337), ('r', 6.13617)])
+#(['4', '5'], [('x', 12.910072), ('k', 11.085196), ('X', 9.389327), ('\\times', 8.101736), ('\\mu', 6.7958922)])
+#(['6'], [(',', 8.546344), ('.', 5.7743735), ('d', 5.5848436), ('1', 5.1421137), ('\\mu', 4.9896774)])
+#(['7'], [('0', 8.435532), ('C', 8.426647), ('c', 6.0243654), ('N', 5.920013), ('\\sin', 5.5146875)])
+#(['8', '9'], [('+', 17.596985), ('H', 13.049231), ('\\neq', 12.449403), ('t', 12.12772), ('I', 11.433929)])
+#(['10', '11'], [('I', 16.072878), ('\\in', 9.158218), ('7', 8.735651), ('T', 8.082097), ('\\theta', 6.5148706)])
diff --git a/tests/io_tests/small-out/UN_101_em_6.lg b/tests/io_tests/small-out/UN_101_em_6.lg
new file mode 100644
index 0000000000000000000000000000000000000000..dada6034c69c7467d2d20fa7bd22278b24173aff
--- /dev/null
+++ b/tests/io_tests/small-out/UN_101_em_6.lg
@@ -0,0 +1,53 @@
+O, sym0, \{, 1.0, 2, 1, 0
+O, sym1, (, 1.0, 3
+O, sym2, I, 1.0, 4
+O, sym3, -, 1.0, 5
+O, sym4, I, 1.0, 6, 7
+O, sym5, m, 1.0, 8
+O, sym6, +, 1.0, 9, 10
+O, sym7, M, 1.0, 12, 11
+O, sym8, 2, 1.0, 13
+O, sym9, -, 1.0, 14
+O, sym10, 4, 1.0, 15
+O, sym11, n, 1.0, 16
+O, sym12, I, 1.0, 17, 18
+O, sym13, k, 1.0, 20, 19
+O, sym14, \}, 1.0, 21
+O, sym15, P, 1.0, 26, 24, 23, 25, 22
+
+
+# Relations:
+R, sym1, sym0, Above, 1.0
+R, sym7, sym2, Above, 1.0
+R, sym7, sym3, Above, 1.0
+R, sym7, sym5, Above, 1.0
+R, sym7, sym4, Above, 1.0
+R, sym7, sym6, Above, 1.0
+R, sym7, sym9, Below, 1.0
+R, sym7, sym12, Sub, 1.0
+R, sym7, sym8, Sup, 1.0
+R, sym7, sym14, Below, 1.0
+R, sym7, sym13, Sub, 1.0
+R, sym7, sym10, Sub, 1.0
+R, sym7, sym1, Sub, 1.0
+R, sym12, sym11, Right, 1.0
+R, sym14, sym15, Sup, 1.0
+
+
+# Top k symbols
+#(['2', '1', '0'], [('\\{', 7.803736), ('\\in', 6.4871764), ('\\Delta', 6.2765117), ('\\sigma', 5.9078946), ('I', 5.435844)])
+#(['3'], [('(', 9.647993), ('\\{', 6.992358), ('T', 6.824644), ('P', 6.7381477), ('|', 6.461022)])
+#(['4'], [('I', 8.835899), ('r', 8.256548), ('a', 7.4924145), ('P', 6.4409595), ('\\prime', 6.411534)])
+#(['5'], [('-', 17.783403), ('I', 12.316467), ('\\in', 9.163381), ('\\rightarrow', 9.028996), ('\\lt', 7.894912)])
+#(['6', '7'], [('I', 9.770641), ('\\in', 7.8130217), ('T', 7.2507954), ('\\Delta', 6.9145765), ('S', 5.8762813)])
+#(['8'], [('m', 13.420319), ('n', 12.168062), ('r', 11.37657), ('T', 10.933935), ('\\sigma', 9.024876)])
+#(['9', '10'], [('+', 11.658321), ('I', 11.290508), ('T', 10.644144), ('\\ldots', 9.554182), ('COMMA', 9.413383)])
+#(['12', '11'], [('M', 8.84091), ('b', 8.100462), ('T', 7.548182), ('N', 7.367956), ('\\forall', 6.334282)])
+#(['13'], [('2', 15.997269), ('I', 12.851888), ('L', 11.825105), ('\\in', 11.766343), ('P', 11.329456)])
+#(['14'], [('-', 20.559254), ('\\in', 19.497555), ('\\{', 17.356129), ('\\sqrt', 16.009548), ('I', 14.794743)])
+#(['15'], [('4', 10.682622), ('u', 8.106894), ('\\pi', 7.2483044), ('T', 7.0563765), ('\\cos', 7.051087)])
+#(['16'], [('n', 15.297031), ('I', 13.245688), ('m', 12.038734), ('0', 10.251959), ('\\sigma', 9.979873)])
+#(['17', '18'], [('I', 12.27286), ('T', 10.978844), ('+', 9.7867155), ('\\ldots', 8.293273), ('\\pi', 8.007755)])
+#(['20', '19'], [('k', 9.459306), ('x', 7.353773), ('c', 6.299327), ('\\in', 6.049982), ('C', 5.865109)])
+#(['21'], [('\\}', 12.9643345), (')', 9.764316), ('H', 7.3469086), ('T', 7.333764), ('\\sqrt', 6.759252)])
+#(['26', '24', '23', '25', '22'], [('P', 5.5711403), ('\\}', 4.8450756), ('I', 4.214386), ('\\in', 4.1127534), ('L', 3.9752526)])
diff --git a/tests/io_tests/small-out/UN_101_em_7.lg b/tests/io_tests/small-out/UN_101_em_7.lg
new file mode 100644
index 0000000000000000000000000000000000000000..edf10160f1fefd9749dffcea152c265e4a7170e6
--- /dev/null
+++ b/tests/io_tests/small-out/UN_101_em_7.lg
@@ -0,0 +1,26 @@
+O, sym0, \lim, 1.0, 2, 3, 1, 0
+O, sym1, n, 1.0, 4
+O, sym2, \rightarrow, 1.0, 5
+O, sym3, \infty, 1.0, 6
+O, sym4, A, 1.0, 8, 7
+O, sym5, =, 1.0, 9, 10
+O, sym6, 0, 1.0, 11
+
+
+# Relations:
+R, sym4, sym0, Above, 1.0
+R, sym4, sym1, Above, 1.0
+R, sym4, sym2, Sub, 1.0
+R, sym4, sym3, Sub, 1.0
+R, sym4, sym5, Sup, 1.0
+R, sym4, sym6, Right, 1.0
+
+
+# Top k symbols
+#(['2', '3', '1', '0'], [('\\lim', 13.048166), ('\\sin', 9.222469), ('M', 5.747844), ('\\log', 5.343444), ('P', 4.3354716)])
+#(['4'], [('n', 8.306002), ('P', 7.108791), ('\\mu', 5.66326), ('p', 5.4428368), ('R', 5.302314)])
+#(['5'], [('\\rightarrow', 13.19746), ('S', 7.364192), ('s', 6.695444), ('I', 6.5773635), ('\\{', 5.8767223)])
+#(['6'], [('\\infty', 12.0912), ('0', 8.387118), ('\\cos', 6.3030987), ('\\rightarrow', 6.235555), ('a', 5.9586725)])
+#(['8', '7'], [('A', 7.7319293), ('P', 7.0371594), ('\\in', 6.8761253), ('\\{', 5.9906654), ('I', 5.1020684)])
+#(['9', '10'], [('=', 27.400875), ('\\in', 22.650816), ('I', 20.200945), ('T', 15.866539), ('\\sqrt', 15.760594)])
+#(['11'], [('0', 10.923396), ('L', 9.996704), ('\\}', 8.829194), ('I', 8.268562), ('C', 7.9034348)])
diff --git a/tests/io_tests/small-out/UN_101_em_8.lg b/tests/io_tests/small-out/UN_101_em_8.lg
new file mode 100644
index 0000000000000000000000000000000000000000..10bd30855365d1d7c281b112f165995887c9075e
--- /dev/null
+++ b/tests/io_tests/small-out/UN_101_em_8.lg
@@ -0,0 +1,26 @@
+O, sym0, x, 1.0, 1, 0
+O, sym1, =, 1.0, 2, 3
+O, sym2, c, 1.0, 4
+O, sym3, \cos, 1.0, 5, 6
+O, sym4, (, 1.0, 7
+O, sym5, u, 1.0, 8
+O, sym6, \}, 1.0, 9
+
+
+# Relations:
+R, sym2, sym0, Inside, 1.0
+R, sym2, sym1, Sup, 1.0
+R, sym2, sym3, Right, 1.0
+R, sym2, sym4, Sup, 1.0
+R, sym4, sym6, Sup, 1.0
+R, sym6, sym5, Inside, 1.0
+
+
+# Top k symbols
+#(['1', '0'], [('x', 9.521459), ('T', 6.7643266), ('I', 6.1560073), ('\\alpha', 6.1062393), ('\\{', 5.8198094)])
+#(['2', '3'], [('=', 20.77729), ('I', 19.656437), ('T', 18.069), ('\\in', 17.402702), ('\\neq', 15.439742)])
+#(['4'], [('c', 13.487324), ('L', 10.120785), ('\\cos', 9.884449), ('\\in', 9.141065), ('G', 8.260363)])
+#(['5', '6'], [('\\cos', 12.843888), ('\\sin', 10.771417), ('s', 7.904604), ('\\in', 7.0521255), ('S', 6.925196)])
+#(['7'], [('(', 14.8679), ('\\{', 8.373616), ('P', 8.282261), ('/', 6.9820538), ('[', 5.9852076)])
+#(['8'], [('u', 10.467104), ('q', 9.434972), ('g', 8.789204), ('N', 8.353209), ('w', 7.994211)])
+#(['9'], [('\\}', 15.233709), ('N', 10.467308), ('\\mu', 9.128147), ('|', 8.78665), ('j', 7.889769)])
diff --git a/tests/io_tests/small-out/UN_101_em_9.lg b/tests/io_tests/small-out/UN_101_em_9.lg
new file mode 100644
index 0000000000000000000000000000000000000000..d333e012369949811e9b4d35a80001cbb6d8589b
--- /dev/null
+++ b/tests/io_tests/small-out/UN_101_em_9.lg
@@ -0,0 +1,26 @@
+O, sym0, \in, 1.0, 1, 0
+O, sym1, x, 1.0, 2, 3
+O, sym2, \in, 1.0, 4
+O, sym3, E, 1.0, 5
+O, sym4, =, 1.0, 6, 7
+O, sym5, T, 1.0, 8, 10, 9
+O, sym6, \theta, 1.0, 12, 11
+
+
+# Relations:
+R, sym2, sym0, Above, 1.0
+R, sym2, sym1, Above, 1.0
+R, sym4, sym2, Below, 1.0
+R, sym4, sym3, Above, 1.0
+R, sym4, sym5, Inside, 1.0
+R, sym5, sym6, Right, 1.0
+
+
+# Top k symbols
+#(['1', '0'], [('\\in', 8.0702), ('A', 6.2119865), ('I', 5.8797636), ('\\forall', 5.7623167), ('t', 5.591429)])
+#(['2', '3'], [('x', 13.867879), ('X', 9.457124), ('\\alpha', 9.339423), ('\\times', 9.076593), ('S', 8.590631)])
+#(['4'], [('\\in', 7.6186194), ('\\theta', 7.544298), ('E', 7.169051), ('G', 6.806433), ('b', 6.263254)])
+#(['5'], [('E', 9.195496), ('\\in', 8.873646), ('b', 7.9224806), ('R', 7.120266), ('P', 6.8206224)])
+#(['6', '7'], [('=', 21.089317), ('\\in', 19.20451), ('I', 15.263962), ('T', 15.151102), ('\\geq', 13.428904)])
+#(['8', '10', '9'], [('T', 6.4587865), ('I', 6.299816), ('\\pi', 5.705979), ('P', 5.2442346), ('H', 5.2055345)])
+#(['12', '11'], [('\\theta', 9.838667), ('L', 9.337872), ('I', 7.800894), ('k', 7.620603), ('\\in', 7.3494625)])