Adding io-tests

tests/bin/test-io

+#!/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."
+
+

tests/io_tests/small-GT/UN_101_em_0.lg

+# 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

tests/io_tests/small-GT/UN_101_em_1.lg

+# 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

tests/io_tests/small-GT/UN_101_em_10.lg

+# 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

tests/io_tests/small-GT/UN_101_em_2.lg

+# 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

tests/io_tests/small-GT/UN_101_em_3.lg

+# 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

tests/io_tests/small-GT/UN_101_em_4.lg

+# 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

tests/io_tests/small-GT/UN_101_em_5.lg

+# 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

tests/io_tests/small-GT/UN_101_em_6.lg

+# 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

tests/io_tests/small-GT/UN_101_em_7.lg

+# 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

tests/io_tests/small-GT/UN_101_em_8.lg

+# 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

tests/io_tests/small-GT/UN_101_em_9.lg

+# 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

tests/io_tests/small-out-extra/UN_101_em_0.lg

+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)])

tests/io_tests/small-out-extra/UN_101_em_1.lg

+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)])

tests/io_tests/small-out-extra/UN_101_em_10.lg

+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)])

tests/io_tests/small-out-extra/UN_101_em_11.lg

+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)])

tests/io_tests/small-out-extra/UN_101_em_2.lg

+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)])

tests/io_tests/small-out-extra/UN_101_em_3.lg

+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)])

tests/io_tests/small-out-extra/UN_101_em_4.lg

+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)])

tests/io_tests/small-out-extra/UN_101_em_5.lg

+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)])