tagger benchmark

[IRC.git] / Robust / src / Benchmarks / mlp / tagger / original-java / maps / sources / lucida-math-extended-map.txt

diff --git a/Robust/src/Benchmarks/mlp/tagger/original-java/maps/sources/lucida-math-extended-map.txt b/Robust/src/Benchmarks/mlp/tagger/original-java/maps/sources/lucida-math-extended-map.txt
new file mode 100755 (executable)
index 0000000..5423c01
--- /dev/null
+++ b/Robust/src/Benchmarks/mlp/tagger/original-java/maps/sources/lucida-math-extended-map.txt
@@ -0,0 +1,133 @@
+LucidaMath-Extended\r
+\r
+\r
+161    parenleftbig\r
+\r
+162    parenrightbig\r
+163    bracketleftbig\r
+164    bracketrightbig\r
+165    floorleftbig\r
+166    floorrightbig\r
+167    ceilingleftbig\r
+168    ceilingrightbig\r
+169    braceleftbig\r
+170    bracerightbig\r
+173    angbracketleftbig\r
+174    angbracketrightbig\r
+175    vextendsingle\r
+176    vextenddouble\r
+177    slashbig\r
+178    backslashbig\r
+179    parenleftBig\r
+180    parenrightBig\r
+181    parenleftbigg\r
+182    parenrightbigg\r
+183    bracketleftbigg\r
+184    bracketrightbigg\r
+185    floorleftbigg\r
+186    floorrightbigg\r
+187    ceilingleftbigg\r
+188    ceilingrightbigg\r
+189    braceleftbigg\r
+190    bracerightbigg\r
+28     angbracketleftbigg\r
+29     angbracketrightbigg\r
+193    slashbigg\r
+194    backslashbigg\r
+195    parenleftBigg\r
+\r
+33     parenrightBigg\r
+34     bracketleftBigg\r
+35     bracketrightBigg\r
+36     floorleftBigg\r
+37     floorrightBigg\r
+38     ceilingleftBigg\r
+39     ceilingrightBigg\r
+40     braceleftBigg\r
+41     bracerightBigg\r
+42     angbracketleftBigg\r
+43     angbracketrightBigg\r
+44     slashBigg\r
+45     backslashBigg\r
+46     slashBig\r
+47     backslashBig\r
+48     parenlefttp\r
+49     parenrighttp\r
+50     bracketlefttp\r
+51     bracketrighttp\r
+52     bracketleftbt\r
+53     bracketrightbt\r
+54     bracketleftex\r
+55     bracketrightex\r
+56     bracelefttp\r
+57     bracerighttp\r
+58     braceleftbt\r
+59     bracerightbt\r
+60     braceleftmid\r
+61     bracerightmid\r
+62     braceex\r
+63     arrowvertex\r
+64     parenleftbt\r
+65     parenrightbt\r
+66     parenleftex\r
+67     parenrightex\r
+68     angbracketleftBig\r
+69     angbracketrightBig\r
+70     unionsqtext\r
+71     unionsqdisplay\r
+72     contintegraltext\r
+73     contintegraldisplay\r
+74     circledottext\r
+75     circledotdisplay\r
+76     circleplustext\r
+77     circleplusdisplay\r
+78     circlemultiplytext\r
+79     circlemultiplydisplay\r
+80     summationtext\r
+81     producttext\r
+82     integraltext\r
+83     uniontext\r
+84     intersectiontext\r
+85     unionmultitext\r
+86     logicalandtext\r
+87     logicalortext\r
+88     summationdisplay\r
+89     productdisplay\r
+90     integraldisplay\r
+91     uniondisplay\r
+92     intersectiondisplay\r
+93     unionmultidisplay\r
+94     logicalanddisplay\r
+95     logicalordisplay\r
+96     coproducttext\r
+97     coproductdisplay\r
+98     hatwide\r
+99     hatwider\r
+100    hatwidest\r
+101    tildewide\r
+102    tildewider\r
+103    tildewidest\r
+104    bracketleftBig\r
+105    bracketrightBig\r
+106    floorleftBig\r
+107    floorrightBig\r
+108    ceilingleftBig\r
+109    ceilingrightBig\r
+110    braceleftBig\r
+111    bracerightBig\r
+112    radicalbig\r
+113    radicalBig\r
+114    radicalbigg\r
+115    radicalBigg\r
+116    radicalbt\r
+117    radicalvertex\r
+118    radicaltp\r
+119    arrowvertexdbl\r
+120    arrowtp\r
+121    arrowbt\r
+122    bracehtipdownleft\r
+123    bracehtipdownright\r
+124    bracehtipupleft\r
+125    bracehtipupright\r
+126    arrowdbltp\r
+196    arrowdblbt\r