{
"NTCIR12-MathWiki-1": [["math:U!times\tN!0.026838601\t0\t-", "math:N!0.026838601\t0!\t0\t0", "math:U!times\tV!normal-...\t0\t-", "math:V!normal-...\t0!\t0\t0"]],
"NTCIR12-MathWiki-2": [["math:V!P\t0!\t0\t-"]],
"NTCIR12-MathWiki-3": [["math:U!eq\tV!N\t0\t-", "math:V!N\t0!\t0\t0", "math:U!eq\tF!floor\t0\t-", "math:U!eq\tO!minus\t00\t-", "math:F!floor\tO!minus\t0\t0", "math:F!floor\t+!F!log\t01\t0", "math:F!floor\tN!0.5\t00\t0", "math:O!minus\tN!0.5\t0\t00", "math:N!0.5\t0!\t0\t000", "math:O!minus\t+!F!log\t1\t00", "math:O!minus\tO!divide\t11\t00", "math:O!minus\tO!SUB\t10\t00", "math:+!F!log\tO!SUB\t0\t001", "math:+!F!log\tN!2\t01\t001", "math:+!F!log\tF!log\t00\t001", "math:O!SUB\tF!log\t0\t0010", "math:F!log\t0!\t0\t00100", "math:O!SUB\tN!2\t1\t0010", "math:N!2\t0!\t0\t00101", "math:+!F!log\tO!divide\t1\t001", "math:+!F!log\tT!Frequency of most common item\t11\t001", "math:+!F!log\tT!Frequency of this item\t10\t001", "math:O!divide\tT!Frequency of this item\t0\t0011", "math:T!Frequency of this item\t0!\t0\t00110", "math:O!divide\tT!Frequency of most common item\t1\t0011", "math:T!Frequency of most common item\t0!\t0\t00111"]],
"NTCIR12-MathWiki-4": [["math:U!eq\tU!times\t0\t-", "math:U!eq\tV!B\t00\t-", "math:U!eq\tV!normal-\u2207\t00\t-", "math:U!times\tV!normal-\u2207\t0\t0", "math:V!normal-\u2207\t0!\t0\t00", "math:U!times\tV!B\t0\t0", "math:V!B\t0!\t0\t00", "math:U!eq\tU!plus\t0\t-", "math:U!eq\tO!SUB\t00\t-", "math:U!eq\tU!times\t00\t-", "math:U!plus\tU!times\t0\t0", "math:U!plus\tV!J\t00\t0", "math:U!plus\tO!SUB\t00\t0", "math:U!times\tO!SUB\t0\t00", "math:U!times\tN!0\t01\t00", "math:U!times\tV!\u03bc\t00\t00", "math:O!SUB\tV!\u03bc\t0\t000", "math:V!\u03bc\t0!\t0\t0000", "math:O!SUB\tN!0\t1\t000", "math:N!0\t0!\t0\t0001", "math:U!times\tV!J\t0\t00", "math:V!J\t0!\t0\t000", "math:U!plus\tO!SUB\t0\t0", "math:U!plus\tU!times\t01\t0", "math:U!plus\tF!normal-\u23df\t00\t0", "math:O!SUB\tF!normal-\u23df\t0\t00", "math:O!SUB\tU!times\t00\t00", "math:F!normal-\u23df\tU!times\t0\t000", "math:F!normal-\u23df\tV!E\t00\t000", "math:F!normal-\u23df\tO!divide\t00\t000", "math:F!normal-\u23df\tO!SUB\t00\t000", "math:F!normal-\u23df\tO!SUB\t00\t000", "math:U!times\tO!SUB\t0\t0000", "math:U!times\tN!0\t01\t0000", "math:U!times\tV!\u03bc\t00\t0000", "math:O!SUB\tV!\u03bc\t0\t00000", "math:V!\u03bc\t0!\t0\t60", "math:O!SUB\tN!0\t1\t00000", "math:N!0\t0!\t0\t5011", "math:U!times\tO!SUB\t0\t0000", "math:U!times\tN!0\t01\t0000", "math:U!times\tV!\u03b5\t00\t0000", "math:O!SUB\tV!\u03b5\t0\t00000", "math:V!\u03b5\t0!\t0\t60", "math:O!SUB\tN!0\t1\t00000", "math:N!0\t0!\t0\t5011", "math:U!times\tO!divide\t0\t0000", "math:U!times\tO!partialdiff\t01\t0000", "math:U!times\tO!partialdiff\t00\t0000", "math:O!divide\tO!partialdiff\t0\t00000", "math:O!partialdiff\t0!\t0\t60", "math:O!divide\tO!partialdiff\t1\t00000", "math:O!divide\tV!t\t10\t00000", "math:O!partialdiff\tV!t\t0\t5011", "math:V!t\t0!\t0\t501110", "math:U!times\tV!E\t0\t0000", "math:V!E\t0!\t0\t00000", "math:O!SUB\tU!times\t1\t00", "math:O!SUB\tV!term\t10\t00", "math:O!SUB\tV!normal-s\t10\t00", "math:O!SUB\tO!SUP\t10\t00", "math:U!times\tO!SUP\t0\t001", "math:U!times\tV!normal-\u2032\t01\t001", "math:U!times\tV!Maxwell\t00\t001", "math:O!SUP\tV!Maxwell\t0\t0010", "math:V!Maxwell\t0!\t0\t00100", "math:O!SUP\tV!normal-\u2032\t1\t0010", "math:V!normal-\u2032\t0!\t0\t00101", "math:U!times\tV!normal-s\t0\t001", "math:V!normal-s\t0!\t0\t0010", "math:U!times\tV!term\t0\t001", "math:V!term\t0!\t0\t0010"]],
"NTCIR12-MathWiki-5": [["math:U!plus\tN!1\t0\t-", "math:N!1\t0!\t0\t0", "math:U!plus\tO!continued-fraction\t0\t-", "math:U!plus\tU!plus\t01\t-", "math:U!plus\tN!1\t00\t-", "math:O!continued-fraction\tN!1\t0\t0", "math:N!1\t0!\t0\t00", "math:O!continued-fraction\tU!plus\t1\t0", "math:O!continued-fraction\tO!continued-fraction\t10\t0", "math:O!continued-fraction\tN!2\t10\t0", "math:U!plus\tN!2\t0\t01", "math:N!2\t0!\t0\t010", "math:U!plus\tO!continued-fraction\t0\t01", "math:U!plus\tU!plus\t01\t01", "math:U!plus\tN!1\t00\t01", "math:O!continued-fraction\tN!1\t0\t010", "math:N!1\t0!\t0\t0100", "math:O!continued-fraction\tU!plus\t1\t010", "math:O!continued-fraction\tO!continued-fraction\t10\t010", "math:O!continued-fraction\tN!5\t10\t010", "math:U!plus\tN!5\t0\t0101", "math:N!5\t0!\t0\t01010", "math:U!plus\tO!continued-fraction\t0\t0101", "math:U!plus\tU!plus\t01\t0101", "math:U!plus\tN!1\t00\t0101", "math:O!continued-fraction\tN!1\t0\t01010", "math:N!1\t0!\t0\t1011101120", "math:O!continued-fraction\tU!plus\t1\t01010", "math:O!continued-fraction\tO!continued-fraction\t10\t01010", "math:O!continued-fraction\tN!5\t10\t01010", "math:U!plus\tN!5\t0\t101110111011", "math:N!5\t0!\t0\t10111011101110", "math:U!plus\tO!continued-fraction\t0\t101110111011", "math:U!plus\tU!plus\t01\t101110111011", "math:U!plus\tN!1\t00\t101110111011", "math:O!continued-fraction\tN!1\t0\t10111011101110", "math:N!1\t0!\t0\t10111011101120", "math:O!continued-fraction\tU!plus\t1\t10111011101110", "math:O!continued-fraction\tV!normal-\u22f1\t10\t10111011101110", "math:O!continued-fraction\tN!4\t10\t10111011101110", "math:U!plus\tN!4\t0\t1011101110111011", "math:N!4\t0!\t0\t101110111011101110", "math:U!plus\tV!normal-\u22f1\t0\t1011101110111011", "math:V!normal-\u22f1\t0!\t0\t101110111011101110"]],
"NTCIR12-MathWiki-6": [["math:U!and\t+!O!SUP\t0\t-", "math:U!and\tO!SUP\t02\t-", "math:U!and\t+!O!SUP\t01\t-", "math:U!and\tO!SUB\t00\t-", "math:+!O!SUP\tO!SUB\t0\t0", "math:+!O!SUP\tN!120\t01\t0", "math:+!O!SUP\tO!SUP\t00\t0", "math:O!SUB\tO!SUP\t0\t00", "math:O!SUB\tN!302\t01\t00", "math:O!SUB\tV!normal-\u2192\t00\t00", "math:O!SUP\tV!normal-\u2192\t0\t000", "math:V!normal-\u2192\t0!\t0\t0000", "math:O!SUP\tN!302\t1\t000", "math:N!302\t0!\t0\t0001", "math:O!SUB\tN!120\t1\t00", "math:N!120\t0!\t0\t001", "math:+!O!SUP\t+!O!SUP\t1\t0", "math:+!O!SUP\tV!Ni\t12\t0", "math:+!O!SUP\tO!SUP\t11\t0", "math:+!O!SUP\tO!SUB\t10\t0", "math:+!O!SUP\tO!SUB\t0\t01", "math:+!O!SUP\tN!28\t01\t01", "math:+!O!SUP\tO!SUP\t00\t01", "math:O!SUB\tO!SUP\t0\t010", "math:O!SUB\tN!64\t01\t010", "math:O!SUB\tU!plus\t00\t010", "math:O!SUP\tU!plus\t0\t0100", "math:U!plus\t0!\t0\t01000", "math:O!SUP\tN!64\t1\t0100", "math:N!64\t0!\t0\t01001", "math:O!SUB\tN!28\t1\t010", "math:N!28\t0!\t0\t0101", "math:+!O!SUP\tO!SUP\t1\t01", "math:+!O!SUP\tN!238\t11\t01", "math:+!O!SUP\tO!SUB\t10\t01", "math:O!SUP\tO!SUB\t0\t011", "math:O!SUP\tN!92\t01\t011", "math:O!SUP\tV!normal-U\t00\t011", "math:O!SUB\tV!normal-U\t0\t0110", "math:V!normal-U\t0!\t0\t01100", "math:O!SUB\tN!92\t1\t0110", "math:N!92\t0!\t0\t01101", "math:O!SUP\tN!238\t1\t011", "math:N!238\t0!\t0\t0111", "math:+!O!SUP\tV!Ni\t2\t01", "math:V!Ni\t0!\t0\t012", "math:+!O!SUP\tO!SUP\t2\t0", "math:+!O!SUP\tU!times\t21\t0", "math:+!O!SUP\tV!Ubn\t20\t0", "math:O!SUP\tV!Ubn\t0\t02", "math:V!Ubn\t0!\t0\t020", "math:O!SUP\tU!times\t1\t02", "math:U!times\t0!\t0\t021", "math:U!and\tF!normal-\u2192\t0\t-", "math:U!and\tU!times\t00\t-", "math:F!normal-\u2192\tU!times\t0\t0", "math:F!normal-\u2192\tV!only\t00\t0", "math:F!normal-\u2192\tV!fission\t00\t0", "math:U!times\tV!fission\t0\t00", "math:V!fission\t0!\t0\t000", "math:U!times\tV!only\t0\t00", "math:V!only\t0!\t0\t000"]],
"NTCIR12-MathWiki-7": [["math:U!and\tF!normal-\u2192\t0\t-", "math:U!and\tO!SUP\t01\t-", "math:U!and\tN!0\t00\t-", "math:F!normal-\u2192\tN!0\t0\t0", "math:N!0\t0!\t0\t00", "math:F!normal-\u2192\tO!SUP\t1\t0", "math:F!normal-\u2192\tU!and\t11\t0", "math:F!normal-\u2192\tV!G\t10\t0", "math:O!SUP\tV!G\t0\t01", "math:V!G\t0!\t0\t010", "math:O!SUP\tU!and\t1\t01", "math:U!and\t0!\t0\t011", "math:U!and\t+!V!normal-\u2192\t0\t-", "math:U!and\tO!SUP\t01\t-", "math:U!and\tO!SUP\t00\t-", "math:+!V!normal-\u2192\tO!SUP\t0\t0", "math:+!V!normal-\u2192\tO!SUP\t01\t0", "math:+!V!normal-\u2192\tV!normal-\u2192\t00\t0", "math:O!SUP\tV!normal-\u2192\t0\t00", "math:V!normal-\u2192\t0!\t0\t000", "math:O!SUP\tO!SUP\t1\t00", "math:O!SUP\tU!and\t11\t00", "math:O!SUP\tV!\u03c0\t10\t00", "math:O!SUP\tV!\u03c0\t0\t001", "math:V!\u03c0\t0!\t0\t0010", "math:O!SUP\tU!and\t1\t001", "math:U!and\t0!\t0\t0011", "math:+!V!normal-\u2192\tO!SUP\t1\t0", "math:+!V!normal-\u2192\tU!and\t11\t0", "math:+!V!normal-\u2192\tV!X\t10\t0", "math:O!SUP\tV!X\t0\t01", "math:V!X\t0!\t0\t010", "math:O!SUP\tU!and\t1\t01", "math:U!and\t0!\t0\t011", "math:U!and\t+!V!normal-\u2192\t0\t-", "math:U!and\tO!SUP\t01\t-", "math:U!and\tO!SUP\t00\t-", "math:+!V!normal-\u2192\tO!SUP\t0\t0", "math:+!V!normal-\u2192\tO!SUP\t01\t0", "math:+!V!normal-\u2192\tV!normal-\u2192\t00\t0", "math:O!SUP\tV!normal-\u2192\t0\t00", "math:V!normal-\u2192\t0!\t0\t000", "math:O!SUP\tO!SUP\t1\t00", "math:O!SUP\tU!and\t11\t00", "math:O!SUP\tV!\u0131\t10\t00", "math:O!SUP\tV!\u0131\t0\t001", "math:V!\u0131\t0!\t0\t0010", "math:O!SUP\tU!and\t1\t001", "math:U!and\t0!\t0\t0011", "math:+!V!normal-\u2192\tO!SUP\t1\t0", "math:+!V!normal-\u2192\tU!and\t11\t0", "math:+!V!normal-\u2192\tV!H\t10\t0", "math:O!SUP\tV!H\t0\t01", "math:V!H\t0!\t0\t010", "math:O!SUP\tU!and\t1\t01", "math:U!and\t0!\t0\t011", "math:U!and\tF!normal-\u2192\t0\t-", "math:U!and\tN!0\t00\t-", "math:F!normal-\u2192\tN!0\t0\t0", "math:N!0\t0!\t0\t00"]],
"NTCIR12-MathWiki-8": [["math:U!eq\tV!w\t0\t-", "math:V!w\t0!\t0\t0", "math:U!eq\tO!cases\t0\t-", "math:U!eq\tO!leq\t03\t-", "math:U!eq\tO!divide\t02\t-", "math:U!eq\tO!gt\t01\t-", "math:U!eq\tO!SUP\t00\t-", "math:O!cases\tO!SUP\t0\t0", "math:O!cases\tU!times\t01\t0", "math:O!cases\tV!w\t00\t0", "math:O!SUP\tV!w\t0\t00", "math:V!w\t0!\t0\t000", "math:O!SUP\tU!times\t1\t00", "math:U!times\t0!\t0\t001", "math:O!cases\tO!gt\t1\t0", "math:O!cases\tO!divide\t11\t0", "math:O!cases\tU!times\t10\t0", "math:O!gt\tU!times\t0\t01", "math:O!gt\tO!SUP\t00\t01", "math:O!gt\tT!if\t00\t01", "math:U!times\tT!if\t0\t010", "math:T!if\t0!\t0\t0100", "math:U!times\tO!SUP\t0\t010", "math:U!times\tU!times\t01\t010", "math:U!times\tV!w\t00\t010", "math:O!SUP\tV!w\t0\t0100", "math:V!w\t0!\t0\t01000", "math:O!SUP\tU!times\t1\t0100", "math:U!times\t0!\t0\t01001", "math:O!gt\tO!divide\t1\t01", "math:O!gt\tN!2\t11\t01", "math:O!gt\tN!1\t10\t01", "math:O!divide\tN!1\t0\t011", "math:N!1\t0!\t0\t0110", "math:O!divide\tN!2\t1\t011", "math:N!2\t0!\t0\t0111", "math:O!cases\tO!divide\t2\t0", "math:O!cases\tN!2\t21\t0", "math:O!cases\tN!1\t20\t0", "math:O!divide\tN!1\t0\t02", "math:N!1\t0!\t0\t020", "math:O!divide\tN!2\t1\t02", "math:N!2\t0!\t0\t021", "math:O!cases\tO!leq\t3\t0", "math:O!cases\tO!divide\t31\t0", "math:O!cases\tU!times\t30\t0", "math:O!leq\tU!times\t0\t03", "math:O!leq\tO!SUP\t00\t03", "math:O!leq\tT!if\t00\t03", "math:U!times\tT!if\t0\t030", "math:T!if\t0!\t0\t0300", "math:U!times\tO!SUP\t0\t030", "math:U!times\tU!times\t01\t030", "math:U!times\tV!w\t00\t030", "math:O!SUP\tV!w\t0\t0300", "math:V!w\t0!\t0\t03000", "math:O!SUP\tU!times\t1\t0300", "math:U!times\t0!\t0\t03001", "math:O!leq\tO!divide\t1\t03", "math:O!leq\tN!2\t11\t03", "math:O!leq\tN!1\t10\t03", "math:O!divide\tN!1\t0\t031", "math:N!1\t0!\t0\t0310", "math:O!divide\tN!2\t1\t031", "math:N!2\t0!\t0\t0311"]],
"NTCIR12-MathWiki-9": [["math:U!eq\tM!M-2x1\t0\t-", "math:U!eq\tM!R!\t01\t-", "math:U!eq\tM!R!\t00\t-", "math:M!M-2x1\tM!R!\t0\t0", "math:M!M-2x1\tO!SUB\t00\t0", "math:M!R!\tO!SUB\t0\t00", "math:M!R!\tN!1\t01\t00", "math:M!R!\tV!V\t00\t00", "math:O!SUB\tV!V\t0\t000", "math:V!V\t0!\t0\t0000", "math:O!SUB\tN!1\t1\t000", "math:N!1\t0!\t0\t0001", "math:M!M-2x1\tM!R!\t1\t0", "math:M!M-2x1\tO!SUB\t10\t0", "math:M!R!\tO!SUB\t0\t01", "math:M!R!\tN!2\t01\t01", "math:M!R!\tV!I\t00\t01", "math:O!SUB\tV!I\t0\t010", "math:V!I\t0!\t0\t0100", "math:O!SUB\tN!2\t1\t010", "math:N!2\t0!\t0\t0101", "math:U!eq\tU!times\t0\t-", "math:U!eq\tM!M-2x1\t00\t-", "math:U!eq\tM!M-2x2\t00\t-", "math:U!times\tM!M-2x2\t0\t0", "math:U!times\tM!R!\t01\t0", "math:U!times\tM!R!\t00\t0", "math:M!M-2x2\tM!R!\t0\t00", "math:M!M-2x2\tO!SUB\t01\t00", "math:M!M-2x2\tO!SUB\t00\t00", "math:M!R!\tO!SUB\t0\t000", "math:M!R!\tN!11\t01\t000", "math:M!R!\tV!h\t00\t000", "math:O!SUB\tV!h\t0\t0000", "math:V!h\t0!\t0\t00000", "math:O!SUB\tN!11\t1\t0000", "math:N!11\t0!\t0\t00001", "math:M!R!\tO!SUB\t1\t000", "math:M!R!\tN!12\t11\t000", "math:M!R!\tV!h\t10\t000", "math:O!SUB\tV!h\t0\t0001", "math:V!h\t0!\t0\t00010", "math:O!SUB\tN!12\t1\t0001", "math:N!12\t0!\t0\t00011", "math:M!M-2x2\tM!R!\t1\t00", "math:M!M-2x2\tO!SUB\t11\t00", "math:M!M-2x2\tO!SUB\t10\t00", "math:M!R!\tO!SUB\t0\t001", "math:M!R!\tN!21\t01\t001", "math:M!R!\tV!h\t00\t001", "math:O!SUB\tV!h\t0\t0010", "math:V!h\t0!\t0\t00100", "math:O!SUB\tN!21\t1\t0010", "math:N!21\t0!\t0\t00101", "math:M!R!\tO!SUB\t1\t001", "math:M!R!\tN!22\t11\t001", "math:M!R!\tV!h\t10\t001", "math:O!SUB\tV!h\t0\t0011", "math:V!h\t0!\t0\t00110", "math:O!SUB\tN!22\t1\t0011", "math:N!22\t0!\t0\t00111", "math:U!times\tM!M-2x1\t0\t0", "math:U!times\tM!R!\t01\t0", "math:U!times\tM!R!\t00\t0", "math:M!M-2x1\tM!R!\t0\t00", "math:M!M-2x1\tO!SUB\t00\t00", "math:M!R!\tO!SUB\t0\t000", "math:M!R!\tN!1\t01\t000", "math:M!R!\tV!I\t00\t000", "math:O!SUB\tV!I\t0\t0000", "math:V!I\t0!\t0\t00000", "math:O!SUB\tN!1\t1\t0000", "math:N!1\t0!\t0\t00001", "math:M!M-2x1\tM!R!\t1\t00", "math:M!M-2x1\tO!SUB\t10\t00", "math:M!R!\tO!SUB\t0\t001", "math:M!R!\tN!2\t01\t001", "math:M!R!\tV!V\t00\t001", "math:O!SUB\tV!V\t0\t0010", "math:V!V\t0!\t0\t00100", "math:O!SUB\tN!2\t1\t0010", "math:N!2\t0!\t0\t00101"]],
"NTCIR12-MathWiki-10": [["math:U!eq\tU!times\t0\t-", "math:U!eq\tM!V-3\t00\t-", "math:U!eq\tV!L\t00\t-", "math:U!times\tV!L\t0\t0", "math:V!L\t0!\t0\t00", "math:U!times\tM!V-3\t0\t0", "math:U!times\tV!s\t02\t0", "math:U!times\tV!\u03b1\t01\t0", "math:U!times\tV!\u03bb\t00\t0", "math:M!V-3\tV!\u03bb\t0\t00", "math:V!\u03bb\t0!\t0\t000", "math:M!V-3\tV!\u03b1\t1\t00", "math:V!\u03b1\t0!\t0\t001", "math:M!V-3\tV!s\t2\t00", "math:V!s\t0!\t0\t002", "math:U!eq\t+!O!SUB\t0\t-", "math:U!eq\tO!divide\t01\t-", "math:U!eq\tO!SUP\t00\t-", "math:+!O!SUB\tO!SUP\t0\t0", "math:+!O!SUB\tC!infinity\t01\t0", "math:+!O!SUB\tO!SUB\t00\t0", "math:O!SUP\tO!SUB\t0\t00", "math:O!SUP\tU!eq\t01\t00", "math:O!SUP\tO!sum\t00\t00", "math:O!SUB\tO!sum\t0\t000", "math:O!sum\t0!\t0\t0000", "math:O!SUB\tU!eq\t1\t000", "math:O!SUB\tN!0\t10\t000", "math:O!SUB\tV!n\t10\t000", "math:U!eq\tV!n\t0\t0001", "math:V!n\t0!\t0\t00010", "math:U!eq\tN!0\t0\t0001", "math:N!0\t0!\t0\t00010", "math:O!SUP\tC!infinity\t1\t00", "math:C!infinity\t0!\t0\t001", "math:+!O!SUB\tO!divide\t1\t0", "math:+!O!SUB\tO!SUP\t11\t0", "math:+!O!SUB\tF!exp\t10\t0", "math:O!divide\tF!exp\t0\t01", "math:O!divide\tU!times\t00\t01", "math:F!exp\tU!times\t0\t010", "math:F!exp\tV!n\t00\t010", "math:F!exp\tV!\u03bb\t00\t010", "math:F!exp\tV!i\t00\t010", "math:F!exp\tV!\u03c0\t00\t010", "math:F!exp\tN!2\t00\t010", "math:U!times\tN!2\t0\t0100", "math:N!2\t0!\t0\t01000", "math:U!times\tV!\u03c0\t0\t0100", "math:V!\u03c0\t0!\t0\t01000", "math:U!times\tV!i\t0\t0100", "math:V!i\t0!\t0\t01000", "math:U!times\tV!\u03bb\t0\t0100", "math:V!\u03bb\t0!\t0\t01000", "math:U!times\tV!n\t0\t0100", "math:V!n\t0!\t0\t01000", "math:O!divide\tO!SUP\t1\t01", "math:O!divide\tV!s\t11\t01", "math:O!divide\tU!plus\t10\t01", "math:O!SUP\tU!plus\t0\t011", "math:O!SUP\tV!\u03b1\t00\t011", "math:O!SUP\tV!n\t00\t011", "math:U!plus\tV!n\t0\t0110", "math:V!n\t0!\t0\t01100", "math:U!plus\tV!\u03b1\t0\t0110", "math:V!\u03b1\t0!\t0\t01100", "math:O!SUP\tV!s\t1\t011", "math:V!s\t0!\t0\t0111"]],
"NTCIR12-MathWiki-11": [["math:U!eq\tU!plus\t0\t-", "math:U!eq\tV!c\t00\t-", "math:U!eq\tU!times\t00\t-", "math:U!eq\tU!times\t00\t-", "math:U!plus\tU!times\t0\t0", "math:U!plus\tO!SUP\t00\t0", "math:U!plus\tV!a\t00\t0", "math:U!times\tV!a\t0\t00", "math:V!a\t0!\t0\t000", "math:U!times\tO!SUP\t0\t00", "math:U!times\tN!2\t01\t00", "math:U!times\tV!x\t00\t00", "math:O!SUP\tV!x\t0\t000", "math:V!x\t0!\t0\t0000", "math:O!SUP\tN!2\t1\t000", "math:N!2\t0!\t0\t0001", "math:U!plus\tU!times\t0\t0", "math:U!plus\tV!x\t00\t0", "math:U!plus\tV!b\t00\t0", "math:U!times\tV!b\t0\t00", "math:V!b\t0!\t0\t000", "math:U!times\tV!x\t0\t00", "math:V!x\t0!\t0\t000", "math:U!plus\tV!c\t0\t0", "math:V!c\t0!\t0\t00", "math:U!eq\tN!0\t0\t-", "math:N!0\t0!\t0\t0"]],
"NTCIR12-MathWiki-12": [["math:U!times\tV!O\t0\t-", "math:V!O\t0!\t0\t0", "math:U!times\tU!times\t0\t-", "math:U!times\tF!log\t00\t-", "math:U!times\tV!n\t00\t-", "math:U!times\tV!m\t00\t-", "math:U!times\tV!m\t0\t0", "math:V!m\t0!\t0\t00", "math:U!times\tV!n\t0\t0", "math:V!n\t0!\t0\t00", "math:U!times\tF!log\t0\t0", "math:U!times\tV!m\t00\t0", "math:F!log\tV!m\t0\t00", "math:V!m\t0!\t0\t000"]],
"NTCIR12-MathWiki-13": [["math:U!eq\tO!direct-sum\t0\t-", "math:U!eq\tV!B\t01\t-", "math:U!eq\tV!A\t00\t-", "math:O!direct-sum\tV!A\t0\t0", "math:V!A\t0!\t0\t00", "math:O!direct-sum\tV!B\t1\t0", "math:V!B\t0!\t0\t01", "math:U!eq\tO!SUP\t0\t-", "math:U!eq\tV!c\t01\t-", "math:U!eq\tU!symmetric-difference\t00\t-", "math:O!SUP\tU!symmetric-difference\t0\t0", "math:O!SUP\tO!SUP\t00\t0", "math:O!SUP\tO!SUP\t00\t0", "math:U!symmetric-difference\tO!SUP\t0\t00", "math:U!symmetric-difference\tV!c\t01\t00", "math:U!symmetric-difference\tV!A\t00\t00", "math:O!SUP\tV!A\t0\t000", "math:V!A\t0!\t0\t0000", "math:O!SUP\tV!c\t1\t000", "math:V!c\t0!\t0\t0001", "math:U!symmetric-difference\tO!SUP\t0\t00", "math:U!symmetric-difference\tV!s\t01\t00", "math:U!symmetric-difference\tV!B\t00\t00", "math:O!SUP\tV!B\t0\t000", "math:V!B\t0!\t0\t0000", "math:O!SUP\tV!s\t1\t000", "math:V!s\t0!\t0\t0001", "math:O!SUP\tV!c\t1\t0", "math:V!c\t0!\t0\t01"]],
"NTCIR12-MathWiki-14": [["math:U!eq\tF!cos\t0\t-", "math:U!eq\tV!\u03b1\t00\t-", "math:F!cos\tV!\u03b1\t0\t0", "math:V!\u03b1\t0!\t0\t00", "math:U!eq\tU!plus\t0\t-", "math:U!eq\tU!times\t00\t-", "math:U!eq\tU!times\t00\t-", "math:U!plus\tU!times\t0\t0", "math:U!plus\tF!cos\t00\t0", "math:U!plus\tF!cos\t00\t0", "math:U!times\tF!cos\t0\t00", "math:U!times\tV!\u03b2\t00\t00", "math:F!cos\tV!\u03b2\t0\t000", "math:V!\u03b2\t0!\t0\t0000", "math:U!times\tF!cos\t0\t00", "math:U!times\tV!\u03b3\t00\t00", "math:F!cos\tV!\u03b3\t0\t000", "math:V!\u03b3\t0!\t0\t0000", "math:U!plus\tU!times\t0\t0", "math:U!plus\tF!cosh\t00\t0", "math:U!plus\tF!sin\t00\t0", "math:U!plus\tF!sin\t00\t0", "math:U!times\tF!sin\t0\t00", "math:U!times\tV!\u03b2\t00\t00", "math:F!sin\tV!\u03b2\t0\t000", "math:V!\u03b2\t0!\t0\t0000", "math:U!times\tF!sin\t0\t00", "math:U!times\tV!\u03b3\t00\t00", "math:F!sin\tV!\u03b3\t0\t000", "math:V!\u03b3\t0!\t0\t0000", "math:U!times\tF!cosh\t0\t00", "math:U!times\tO!divide\t00\t00", "math:F!cosh\tO!divide\t0\t000", "math:F!cosh\tV!k\t01\t000", "math:F!cosh\tV!a\t00\t000", "math:O!divide\tV!a\t0\t0000", "math:V!a\t0!\t0\t00000", "math:O!divide\tV!k\t1\t0000", "math:V!k\t0!\t0\t00001"]],
"NTCIR12-MathWiki-15": [["math:E!\tO!fragments\t0\t-", "math:O!fragments\t0!\t0\t0", "math:E!\tO!forall\t1\t-", "math:O!forall\t0!\t0\t1", "math:E!\t-!x\t2\t-", "math:-!x\t0!\t0\t2", "math:E!\tV!normal-,\t3\t-", "math:V!normal-,\t0!\t0\t3", "math:E!\t-!y\t4\t-", "math:-!y\t0!\t0\t4", "math:E!\tO!in\t5\t-", "math:O!in\t0!\t0\t5", "math:E!\t-!a\t6\t-", "math:-!a\t0!\t0\t6", "math:E!\tE!\t7\t-", "math:E!\tV!normal-]\t7C\t-", "math:E!\tE!\t7B\t-", "math:E!\t-!x\t7A\t-", "math:E!\tO!in\t79\t-", "math:E!\t-!z\t78\t-", "math:E!\tO!exists\t77\t-", "math:E!\tO!not\t76\t-", "math:E!\tV!normal-\u2192\t75\t-", "math:E!\t-!y\t74\t-", "math:E!\tU!neq\t73\t-", "math:E!\t-!x\t72\t-", "math:E!\tV!normal-[\t71\t-", "math:E!\tO!fragments\t70\t-", "math:E!\tO!fragments\t0\t7", "math:O!fragments\t0!\t0\t70", "math:E!\tV!normal-[\t1\t7", "math:V!normal-[\t0!\t0\t71", "math:E!\t-!x\t2\t7", "math:-!x\t0!\t0\t72", "math:E!\tU!neq\t3\t7", "math:U!neq\t0!\t0\t73", "math:E!\t-!y\t4\t7", "math:-!y\t0!\t0\t74", "math:E!\tV!normal-\u2192\t5\t7", "math:V!normal-\u2192\t0!\t0\t75", "math:E!\tO!not\t6\t7", "math:O!not\t0!\t0\t76", "math:E!\tO!exists\t7\t7", "math:O!exists\t0!\t0\t77", "math:E!\t-!z\t8\t7", "math:-!z\t0!\t0\t78", "math:E!\tO!in\t9\t7", "math:O!in\t0!\t0\t79", "math:E!\t-!x\tA\t7", "math:-!x\t0!\t0\t7A", "math:E!\tE!\tB\t7", "math:E!\tV!normal-]\tB9\t7", "math:E!\t-!y\tB8\t7", "math:E!\tO!leq\tB7\t7", "math:E!\t-!z\tB6\t7", "math:E!\tU!and\tB5\t7", "math:E!\t-!x\tB4\t7", "math:E!\tO!leq\tB3\t7", "math:E!\t-!z\tB2\t7", "math:E!\tV!normal-[\tB1\t7", "math:E!\tO!fragments\tB0\t7", "math:E!\tO!fragments\t0\t7B", "math:O!fragments\t0!\t0\t7B0", "math:E!\tV!normal-[\t1\t7B", "math:V!normal-[\t0!\t0\t7B1", "math:E!\t-!z\t2\t7B", "math:-!z\t0!\t0\t7B2", "math:E!\tO!leq\t3\t7B", "math:O!leq\t0!\t0\t7B3", "math:E!\t-!x\t4\t7B", "math:-!x\t0!\t0\t7B4", "math:E!\tU!and\t5\t7B", "math:U!and\t0!\t0\t7B5", "math:E!\t-!z\t6\t7B", "math:-!z\t0!\t0\t7B6", "math:E!\tO!leq\t7\t7B", "math:O!leq\t0!\t0\t7B7", "math:E!\t-!y\t8\t7B", "math:-!y\t0!\t0\t7B8", "math:E!\tV!normal-]\t9\t7B", "math:V!normal-]\t0!\t0\t7B9", "math:E!\tV!normal-]\tC\t7", "math:V!normal-]\t0!\t0\t7C", "math:E!\tV!normal-.\t8\t-", "math:V!normal-.\t0!\t0\t8"]],
"NTCIR12-MathWiki-16": [["math:U!eq\tO!SUB\t0\t-", "math:U!eq\tT!rms\t01\t-", "math:U!eq\tV!\u03c4\t00\t-", "math:O!SUB\tV!\u03c4\t0\t0", "math:V!\u03c4\t0!\t0\t00", "math:O!SUB\tT!rms\t1\t0", "math:T!rms\t0!\t0\t01", "math:U!eq\tO!root\t0\t-", "math:U!eq\tN!2\t01\t-", "math:U!eq\tO!divide\t00\t-", "math:O!root\tO!divide\t0\t0", "math:O!root\t+!O!SUB\t01\t0", "math:O!root\t+!O!SUB\t00\t0", "math:O!divide\t+!O!SUB\t0\t00", "math:O!divide\tU!times\t01\t00", "math:O!divide\tO!SUP\t00\t00", "math:+!O!SUB\tO!SUP\t0\t000", "math:+!O!SUB\tC!infinity\t01\t000", "math:+!O!SUB\tO!SUB\t00\t000", "math:O!SUP\tO!SUB\t0\t0000", "math:O!SUP\tN!0\t01\t0000", "math:O!SUP\tO!int\t00\t0000", "math:O!SUB\tO!int\t0\t00000", "math:O!int\t0!\t0\t60", "math:O!SUB\tN!0\t1\t00000", "math:N!0\t0!\t0\t5011", "math:O!SUP\tC!infinity\t1\t0000", "math:C!infinity\t0!\t0\t00001", "math:+!O!SUB\tU!times\t1\t000", "math:+!O!SUB\tV!\u03c4\t10\t000", "math:+!O!SUB\tV!d\t10\t000", "math:+!O!SUB\tV!\u03c4\t10\t000", "math:+!O!SUB\tO!SUB\t10\t000", "math:+!O!SUB\tO!SUP\t10\t000", "math:U!times\tO!SUP\t0\t0001", "math:U!times\tN!2\t01\t0001", "math:U!times\tO!minus\t00\t0001", "math:O!SUP\tO!minus\t0\t00010", "math:O!SUP\tF!normal- \u0304\t01\t00010", "math:O!SUP\tV!\u03c4\t00\t00010", "math:O!minus\tV!\u03c4\t0\t301120", "math:V!\u03c4\t0!\t0\t301130", "math:O!minus\tF!normal- \u0304\t1\t301120", "math:O!minus\tV!\u03c4\t10\t301120", "math:F!normal- \u0304\tV!\u03c4\t0\t30112011", "math:V!\u03c4\t0!\t0\t3011201110", "math:O!SUP\tN!2\t1\t00010", "math:N!2\t0!\t0\t30111011", "math:U!times\tO!SUB\t0\t0001", "math:U!times\tV!c\t01\t0001", "math:U!times\tV!A\t00\t0001", "math:O!SUB\tV!A\t0\t00010", "math:V!A\t0!\t0\t301120", "math:O!SUB\tV!c\t1\t00010", "math:V!c\t0!\t0\t30111011", "math:U!times\tV!\u03c4\t0\t0001", "math:V!\u03c4\t0!\t0\t00010", "math:U!times\tV!d\t0\t0001", "math:V!d\t0!\t0\t00010", "math:U!times\tV!\u03c4\t0\t0001", "math:V!\u03c4\t0!\t0\t00010", "math:O!divide\t+!O!SUB\t1\t00", "math:O!divide\tU!times\t11\t00", "math:O!divide\tO!SUP\t10\t00", "math:+!O!SUB\tO!SUP\t0\t001", "math:+!O!SUB\tC!infinity\t01\t001", "math:+!O!SUB\tO!SUB\t00\t001", "math:O!SUP\tO!SUB\t0\t0010", "math:O!SUP\tN!0\t01\t0010", "math:O!SUP\tO!int\t00\t0010", "math:O!SUB\tO!int\t0\t00100", "math:O!int\t0!\t0\t201130", "math:O!SUB\tN!0\t1\t00100", "math:N!0\t0!\t0\t20112011", "math:O!SUP\tC!infinity\t1\t0010", "math:C!infinity\t0!\t0\t00101", "math:+!O!SUB\tU!times\t1\t001", "math:+!O!SUB\tV!\u03c4\t10\t001", "math:+!O!SUB\tV!d\t10\t001", "math:+!O!SUB\tV!\u03c4\t10\t001", "math:+!O!SUB\tO!SUB\t10\t001", "math:U!times\tO!SUB\t0\t0011", "math:U!times\tV!c\t01\t0011", "math:U!times\tV!A\t00\t0011", "math:O!SUB\tV!A\t0\t00110", "math:V!A\t0!\t0\t202120", "math:O!SUB\tV!c\t1\t00110", "math:V!c\t0!\t0\t20211011", "math:U!times\tV!\u03c4\t0\t0011", "math:V!\u03c4\t0!\t0\t00110", "math:U!times\tV!d\t0\t0011", "math:V!d\t0!\t0\t00110", "math:U!times\tV!\u03c4\t0\t0011", "math:V!\u03c4\t0!\t0\t00110", "math:O!root\tN!2\t1\t0", "math:N!2\t0!\t0\t01"]],
"NTCIR12-MathWiki-17": [["math:U!eq\tO!minus\t0\t-", "math:U!eq\tV!normal-\u22ef\t07\t-", "math:U!eq\tO!divide\t06\t-", "math:U!eq\tO!divide\t05\t-", "math:U!eq\tO!divide\t04\t-", "math:U!eq\tO!divide\t03\t-", "math:U!eq\tO!divide\t02\t-", "math:U!eq\tN!1\t01\t-", "math:U!eq\tV!x\t00\t-", "math:O!minus\tV!x\t0\t0", "math:V!x\t0!\t0\t00", "math:O!minus\tN!1\t1\t0", "math:N!1\t0!\t0\t01", "math:O!minus\tO!divide\t2\t0", "math:O!minus\tN!2\t21\t0", "math:O!minus\tN!1\t20\t0", "math:O!divide\tN!1\t0\t02", "math:N!1\t0!\t0\t020", "math:O!divide\tN!2\t1\t02", "math:N!2\t0!\t0\t021", "math:O!minus\tO!divide\t3\t0", "math:O!minus\tN!4\t31\t0", "math:O!minus\tN!1\t30\t0", "math:O!divide\tN!1\t0\t03", "math:N!1\t0!\t0\t030", "math:O!divide\tN!4\t1\t03", "math:N!4\t0!\t0\t031", "math:O!minus\tO!divide\t4\t0", "math:O!minus\tN!5\t41\t0", "math:O!minus\tN!1\t40\t0", "math:O!divide\tN!1\t0\t04", "math:N!1\t0!\t0\t040", "math:O!divide\tN!5\t1\t04", "math:N!5\t0!\t0\t041", "math:O!minus\tO!divide\t5\t0", "math:O!minus\tN!6\t51\t0", "math:O!minus\tN!1\t50\t0", "math:O!divide\tN!1\t0\t05", "math:N!1\t0!\t0\t050", "math:O!divide\tN!6\t1\t05", "math:N!6\t0!\t0\t051", "math:O!minus\tO!divide\t6\t0", "math:O!minus\tN!9\t61\t0", "math:O!minus\tN!1\t60\t0", "math:O!divide\tN!1\t0\t06", "math:N!1\t0!\t0\t060", "math:O!divide\tN!9\t1\t06", "math:N!9\t0!\t0\t061", "math:O!minus\tV!normal-\u22ef\t7\t0", "math:V!normal-\u22ef\t0!\t0\t07", "math:U!eq\tN!1\t0\t-", "math:N!1\t0!\t0\t0"]],
"NTCIR12-MathWiki-18": [["math:U!eq\tO!SUP\t0\t-", "math:U!eq\tV!x\t01\t-", "math:U!eq\tO!SUB\t00\t-", "math:O!SUP\tO!SUB\t0\t0", "math:O!SUP\tV!i\t01\t0", "math:O!SUP\tV!P\t00\t0", "math:O!SUB\tV!P\t0\t00", "math:V!P\t0!\t0\t000", "math:O!SUB\tV!i\t1\t00", "math:V!i\t0!\t0\t001", "math:O!SUP\tV!x\t1\t0", "math:V!x\t0!\t0\t01", "math:U!eq\tU!times\t0\t-", "math:U!eq\tO!SUP\t00\t-", "math:U!eq\tO!SUP\t00\t-", "math:U!eq\tO!divide\t00\t-", "math:U!times\tO!divide\t0\t0", "math:U!times\tU!times\t01\t0", "math:U!times\tO!factorial\t00\t0", "math:O!divide\tO!factorial\t0\t00", "math:O!divide\tV!N\t00\t00", "math:O!factorial\tV!N\t0\t000", "math:V!N\t0!\t0\t0000", "math:O!divide\tU!times\t1\t00", "math:O!divide\tO!factorial\t10\t00", "math:O!divide\tO!factorial\t10\t00", "math:U!times\tO!factorial\t0\t001", "math:U!times\tO!SUB\t00\t001", "math:O!factorial\tO!SUB\t0\t0010", "math:O!factorial\tV!x\t01\t0010", "math:O!factorial\tV!n\t00\t0010", "math:O!SUB\tV!n\t0\t00100", "math:V!n\t0!\t0\t201130", "math:O!SUB\tV!x\t1\t00100", "math:V!x\t0!\t0\t20112011", "math:U!times\tO!factorial\t0\t001", "math:U!times\tO!minus\t00\t001", "math:O!factorial\tO!minus\t0\t0010", "math:O!factorial\tO!SUB\t01\t0010", "math:O!factorial\tV!N\t00\t0010", "math:O!minus\tV!N\t0\t00100", "math:V!N\t0!\t0\t201130", "math:O!minus\tO!SUB\t1\t00100", "math:O!minus\tV!x\t11\t00100", "math:O!minus\tV!n\t10\t00100", "math:O!SUB\tV!n\t0\t20112011", "math:V!n\t0!\t0\t2011201110", "math:O!SUB\tV!x\t1\t20112011", "math:V!x\t0!\t0\t20112021", "math:U!times\tO!SUP\t0\t0", "math:U!times\tO!SUB\t01\t0", "math:U!times\tO!SUB\t00\t0", "math:O!SUP\tO!SUB\t0\t00", "math:O!SUP\tV!x\t01\t00", "math:O!SUP\tV!p\t00\t00", "math:O!SUB\tV!p\t0\t000", "math:V!p\t0!\t0\t0000", "math:O!SUB\tV!x\t1\t000", "math:V!x\t0!\t0\t0001", "math:O!SUP\tO!SUB\t1\t00", "math:O!SUP\tV!x\t11\t00", "math:O!SUP\tV!n\t10\t00", "math:O!SUB\tV!n\t0\t001", "math:V!n\t0!\t0\t0010", "math:O!SUB\tV!x\t1\t001", "math:V!x\t0!\t0\t0011", "math:U!times\tO!SUP\t0\t0", "math:U!times\tO!minus\t01\t0", "math:U!times\tO!minus\t00\t0", "math:O!SUP\tO!minus\t0\t00", "math:O!SUP\tO!SUB\t01\t00", "math:O!SUP\tN!1\t00\t00", "math:O!minus\tN!1\t0\t000", "math:N!1\t0!\t0\t0000", "math:O!minus\tO!SUB\t1\t000", "math:O!minus\tV!x\t11\t000", "math:O!minus\tV!p\t10\t000", "math:O!SUB\tV!p\t0\t0001", "math:V!p\t0!\t0\t00010", "math:O!SUB\tV!x\t1\t0001", "math:V!x\t0!\t0\t00011", "math:O!SUP\tO!minus\t1\t00", "math:O!SUP\tO!SUB\t11\t00", "math:O!SUP\tV!N\t10\t00", "math:O!minus\tV!N\t0\t001", "math:V!N\t0!\t0\t0010", "math:O!minus\tO!SUB\t1\t001", "math:O!minus\tV!x\t11\t001", "math:O!minus\tV!n\t10\t001", "math:O!SUB\tV!n\t0\t0011", "math:V!n\t0!\t0\t00110", "math:O!SUB\tV!x\t1\t0011", "math:V!x\t0!\t0\t00111"]],
"NTCIR12-MathWiki-19": [["math:U!eq\tO!SUB\t0\t-", "math:U!eq\tU!times\t01\t-", "math:U!eq\tV!H\t00\t-", "math:O!SUB\tV!H\t0\t0", "math:V!H\t0!\t0\t00", "math:O!SUB\tU!times\t1\t0", "math:O!SUB\tV!j\t10\t0", "math:O!SUB\tV!i\t10\t0", "math:U!times\tV!i\t0\t01", "math:V!i\t0!\t0\t010", "math:U!times\tV!j\t0\t01", "math:V!j\t0!\t0\t010", "math:U!eq\tM!M-3x3\t0\t-", "math:U!eq\tM!R!\t02\t-", "math:U!eq\tM!R!\t01\t-", "math:U!eq\tM!R!\t00\t-", "math:M!M-3x3\tM!R!\t0\t0", "math:M!M-3x3\tO!divide\t02\t0", "math:M!M-3x3\tO!divide\t01\t0", "math:M!M-3x3\tO!divide\t00\t0", "math:M!R!\tO!divide\t0\t00", "math:M!R!\tU!times\t01\t00", "math:M!R!\t+!O!partialdiff\t00\t00", "math:O!divide\t+!O!partialdiff\t0\t000", "math:O!divide\tO!SUB\t01\t000", "math:O!divide\tO!SUP\t00\t000", "math:+!O!partialdiff\tO!SUP\t0\t0000", "math:+!O!partialdiff\tN!2\t01\t0000", "math:+!O!partialdiff\tO!partialdiff\t00\t0000", "math:O!SUP\tO!partialdiff\t0\t00000", "math:O!partialdiff\t0!\t0\t60", "math:O!SUP\tN!2\t1\t00000", "math:N!2\t0!\t0\t5011", "math:+!O!partialdiff\tO!SUB\t1\t0000", "math:+!O!partialdiff\tU!times\t11\t0000", "math:+!O!partialdiff\tV!V\t10\t0000", "math:O!SUB\tV!V\t0\t00001", "math:V!V\t0!\t0\t401110", "math:O!SUB\tU!times\t1\t00001", "math:O!SUB\tV!j\t10\t00001", "math:O!SUB\tV!i\t10\t00001", "math:U!times\tV!i\t0\t4021", "math:V!i\t0!\t0\t402110", "math:U!times\tV!j\t0\t4021", "math:V!j\t0!\t0\t402110", "math:O!divide\tU!times\t1\t000", "math:O!divide\tO!partialdiff\t10\t000", "math:O!divide\tO!partialdiff\t10\t000", "math:U!times\tO!partialdiff\t0\t0001", "math:U!times\tO!SUB\t00\t0001", "math:O!partialdiff\tO!SUB\t0\t00010", "math:O!partialdiff\tV!i\t01\t00010", "math:O!partialdiff\tV!x\t00\t00010", "math:O!SUB\tV!x\t0\t301120", "math:V!x\t0!\t0\t301130", "math:O!SUB\tV!i\t1\t301120", "math:V!i\t0!\t0\t30112011", "math:U!times\tO!partialdiff\t0\t0001", "math:U!times\tO!SUB\t00\t0001", "math:O!partialdiff\tO!SUB\t0\t00010", "math:O!partialdiff\tV!j\t01\t00010", "math:O!partialdiff\tV!x\t00\t00010", "math:O!SUB\tV!x\t0\t301120", "math:V!x\t0!\t0\t301130", "math:O!SUB\tV!j\t1\t301120", "math:V!j\t0!\t0\t30112011", "math:M!R!\tO!divide\t1\t00", "math:M!R!\tU!times\t11\t00", "math:M!R!\t+!O!partialdiff\t10\t00", "math:O!divide\t+!O!partialdiff\t0\t001", "math:O!divide\tO!SUB\t01\t001", "math:O!divide\tO!SUP\t00\t001", "math:+!O!partialdiff\tO!SUP\t0\t0010", "math:+!O!partialdiff\tN!2\t01\t0010", "math:+!O!partialdiff\tO!partialdiff\t00\t0010", "math:O!SUP\tO!partialdiff\t0\t00100", "math:O!partialdiff\t0!\t0\t201130", "math:O!SUP\tN!2\t1\t00100", "math:N!2\t0!\t0\t20112011", "math:+!O!partialdiff\tO!SUB\t1\t0010", "math:+!O!partialdiff\tU!times\t11\t0010", "math:+!O!partialdiff\tV!V\t10\t0010", "math:O!SUB\tV!V\t0\t00101", "math:V!V\t0!\t0\t2011101110", "math:O!SUB\tU!times\t1\t00101", "math:O!SUB\tV!j\t10\t00101", "math:O!SUB\tV!i\t10\t00101", "math:U!times\tV!i\t0\t20111021", "math:V!i\t0!\t0\t2011102110", "math:U!times\tV!j\t0\t20111021", "math:V!j\t0!\t0\t2011102110", "math:O!divide\tU!times\t1\t001", "math:O!divide\tO!partialdiff\t10\t001", "math:O!divide\tO!partialdiff\t10\t001", "math:U!times\tO!partialdiff\t0\t0011", "math:U!times\tO!SUB\t00\t0011", "math:O!partialdiff\tO!SUB\t0\t00110", "math:O!partialdiff\tV!i\t01\t00110", "math:O!partialdiff\tV!x\t00\t00110", "math:O!SUB\tV!x\t0\t202120", "math:V!x\t0!\t0\t202130", "math:O!SUB\tV!i\t1\t202120", "math:V!i\t0!\t0\t20212011", "math:U!times\tO!partialdiff\t0\t0011", "math:U!times\tO!SUB\t00\t0011", "math:O!partialdiff\tO!SUB\t0\t00110", "math:O!partialdiff\tV!j\t01\t00110", "math:O!partialdiff\tV!y\t00\t00110", "math:O!SUB\tV!y\t0\t202120", "math:V!y\t0!\t0\t202130", "math:O!SUB\tV!j\t1\t202120", "math:V!j\t0!\t0\t20212011", "math:M!R!\tO!divide\t2\t00", "math:M!R!\tU!times\t21\t00", "math:M!R!\t+!O!partialdiff\t20\t00", "math:O!divide\t+!O!partialdiff\t0\t002", "math:O!divide\tO!SUB\t01\t002", "math:O!divide\tO!SUP\t00\t002", "math:+!O!partialdiff\tO!SUP\t0\t0020", "math:+!O!partialdiff\tN!2\t01\t0020", "math:+!O!partialdiff\tO!partialdiff\t00\t0020", "math:O!SUP\tO!partialdiff\t0\t00200", "math:O!partialdiff\t0!\t0\t201230", "math:O!SUP\tN!2\t1\t00200", "math:N!2\t0!\t0\t20122011", "math:+!O!partialdiff\tO!SUB\t1\t0020", "math:+!O!partialdiff\tU!times\t11\t0020", "math:+!O!partialdiff\tV!V\t10\t0020", "math:O!SUB\tV!V\t0\t00201", "math:V!V\t0!\t0\t2012101110", "math:O!SUB\tU!times\t1\t00201", "math:O!SUB\tV!j\t10\t00201", "math:O!SUB\tV!i\t10\t00201", "math:U!times\tV!i\t0\t20121021", "math:V!i\t0!\t0\t2012102110", "math:U!times\tV!j\t0\t20121021", "math:V!j\t0!\t0\t2012102110", "math:O!divide\tU!times\t1\t002", "math:O!divide\tO!partialdiff\t10\t002", "math:O!divide\tO!partialdiff\t10\t002", "math:U!times\tO!partialdiff\t0\t0021", "math:U!times\tO!SUB\t00\t0021", "math:O!partialdiff\tO!SUB\t0\t00210", "math:O!partialdiff\tV!i\t01\t00210", "math:O!partialdiff\tV!x\t00\t00210", "math:O!SUB\tV!x\t0\t20121120", "math:V!x\t0!\t0\t20121130", "math:O!SUB\tV!i\t1\t20121120", "math:V!i\t0!\t0\t2012112011", "math:U!times\tO!partialdiff\t0\t0021", "math:U!times\tO!SUB\t00\t0021", "math:O!partialdiff\tO!SUB\t0\t00210", "math:O!partialdiff\tV!j\t01\t00210", "math:O!partialdiff\tV!z\t00\t00210", "math:O!SUB\tV!z\t0\t20121120", "math:V!z\t0!\t0\t20121130", "math:O!SUB\tV!j\t1\t20121120", "math:V!j\t0!\t0\t2012112011", "math:M!M-3x3\tM!R!\t1\t0", "math:M!M-3x3\tO!divide\t12\t0", "math:M!M-3x3\tO!divide\t11\t0", "math:M!M-3x3\tO!divide\t10\t0", "math:M!R!\tO!divide\t0\t01", "math:M!R!\tU!times\t01\t01", "math:M!R!\t+!O!partialdiff\t00\t01", "math:O!divide\t+!O!partialdiff\t0\t010", "math:O!divide\tO!SUB\t01\t010", "math:O!divide\tO!SUP\t00\t010", "math:+!O!partialdiff\tO!SUP\t0\t0100", "math:+!O!partialdiff\tN!2\t01\t0100", "math:+!O!partialdiff\tO!partialdiff\t00\t0100", "math:O!SUP\tO!partialdiff\t0\t01000", "math:O!partialdiff\t0!\t0\t101140", "math:O!SUP\tN!2\t1\t01000", "math:N!2\t0!\t0\t10113011", "math:+!O!partialdiff\tO!SUB\t1\t0100", "math:+!O!partialdiff\tU!times\t11\t0100", "math:+!O!partialdiff\tV!V\t10\t0100", "math:O!SUB\tV!V\t0\t01001", "math:V!V\t0!\t0\t1011201110", "math:O!SUB\tU!times\t1\t01001", "math:O!SUB\tV!j\t10\t01001", "math:O!SUB\tV!i\t10\t01001", "math:U!times\tV!i\t0\t10112021", "math:V!i\t0!\t0\t1011202110", "math:U!times\tV!j\t0\t10112021", "math:V!j\t0!\t0\t1011202110", "math:O!divide\tU!times\t1\t010", "math:O!divide\tO!partialdiff\t10\t010", "math:O!divide\tO!partialdiff\t10\t010", "math:U!times\tO!partialdiff\t0\t0101", "math:U!times\tO!SUB\t00\t0101", "math:O!partialdiff\tO!SUB\t0\t01010", "math:O!partialdiff\tV!i\t01\t01010", "math:O!partialdiff\tV!y\t00\t01010", "math:O!SUB\tV!y\t0\t1011101120", "math:V!y\t0!\t0\t1011101130", "math:O!SUB\tV!i\t1\t1011101120", "math:V!i\t0!\t0\t101110112011", "math:U!times\tO!partialdiff\t0\t0101", "math:U!times\tO!SUB\t00\t0101", "math:O!partialdiff\tO!SUB\t0\t01010", "math:O!partialdiff\tV!j\t01\t01010", "math:O!partialdiff\tV!x\t00\t01010", "math:O!SUB\tV!x\t0\t1011101120", "math:V!x\t0!\t0\t1011101130", "math:O!SUB\tV!j\t1\t1011101120", "math:V!j\t0!\t0\t101110112011", "math:M!R!\tO!divide\t1\t01", "math:M!R!\tU!times\t11\t01", "math:M!R!\t+!O!partialdiff\t10\t01", "math:O!divide\t+!O!partialdiff\t0\t011", "math:O!divide\tO!SUB\t01\t011", "math:O!divide\tO!SUP\t00\t011", "math:+!O!partialdiff\tO!SUP\t0\t0110", "math:+!O!partialdiff\tN!2\t01\t0110", "math:+!O!partialdiff\tO!partialdiff\t00\t0110", "math:O!SUP\tO!partialdiff\t0\t01100", "math:O!partialdiff\t0!\t0\t102130", "math:O!SUP\tN!2\t1\t01100", "math:N!2\t0!\t0\t10212011", "math:+!O!partialdiff\tO!SUB\t1\t0110", "math:+!O!partialdiff\tU!times\t11\t0110", "math:+!O!partialdiff\tV!V\t10\t0110", "math:O!SUB\tV!V\t0\t01101", "math:V!V\t0!\t0\t1021101110", "math:O!SUB\tU!times\t1\t01101", "math:O!SUB\tV!j\t10\t01101", "math:O!SUB\tV!i\t10\t01101", "math:U!times\tV!i\t0\t10211021", "math:V!i\t0!\t0\t1021102110", "math:U!times\tV!j\t0\t10211021", "math:V!j\t0!\t0\t1021102110", "math:O!divide\tU!times\t1\t011", "math:O!divide\tO!partialdiff\t10\t011", "math:O!divide\tO!partialdiff\t10\t011", "math:U!times\tO!partialdiff\t0\t0111", "math:U!times\tO!SUB\t00\t0111", "math:O!partialdiff\tO!SUB\t0\t01110", "math:O!partialdiff\tV!i\t01\t01110", "math:O!partialdiff\tV!y\t00\t01110", "math:O!SUB\tV!y\t0\t103120", "math:V!y\t0!\t0\t103130", "math:O!SUB\tV!i\t1\t103120", "math:V!i\t0!\t0\t10312011", "math:U!times\tO!partialdiff\t0\t0111", "math:U!times\tO!SUB\t00\t0111", "math:O!partialdiff\tO!SUB\t0\t01110", "math:O!partialdiff\tV!j\t01\t01110", "math:O!partialdiff\tV!y\t00\t01110", "math:O!SUB\tV!y\t0\t103120", "math:V!y\t0!\t0\t103130", "math:O!SUB\tV!j\t1\t103120", "math:V!j\t0!\t0\t10312011", "math:M!R!\tO!divide\t2\t01", "math:M!R!\tU!times\t21\t01", "math:M!R!\t+!O!partialdiff\t20\t01", "math:O!divide\t+!O!partialdiff\t0\t012", "math:O!divide\tO!SUB\t01\t012", "math:O!divide\tO!SUP\t00\t012", "math:+!O!partialdiff\tO!SUP\t0\t0120", "math:+!O!partialdiff\tN!2\t01\t0120", "math:+!O!partialdiff\tO!partialdiff\t00\t0120", "math:O!SUP\tO!partialdiff\t0\t01200", "math:O!partialdiff\t0!\t0\t10111230", "math:O!SUP\tN!2\t1\t01200", "math:N!2\t0!\t0\t1011122011", "math:+!O!partialdiff\tO!SUB\t1\t0120", "math:+!O!partialdiff\tU!times\t11\t0120", "math:+!O!partialdiff\tV!V\t10\t0120", "math:O!SUB\tV!V\t0\t01201", "math:V!V\t0!\t0\t101112101110", "math:O!SUB\tU!times\t1\t01201", "math:O!SUB\tV!j\t10\t01201", "math:O!SUB\tV!i\t10\t01201", "math:U!times\tV!i\t0\t1011121021", "math:V!i\t0!\t0\t101112102110", "math:U!times\tV!j\t0\t1011121021", "math:V!j\t0!\t0\t101112102110", "math:O!divide\tU!times\t1\t012", "math:O!divide\tO!partialdiff\t10\t012", "math:O!divide\tO!partialdiff\t10\t012", "math:U!times\tO!partialdiff\t0\t0121", "math:U!times\tO!SUB\t00\t0121", "math:O!partialdiff\tO!SUB\t0\t01210", "math:O!partialdiff\tV!i\t01\t01210", "math:O!partialdiff\tV!y\t00\t01210", "math:O!SUB\tV!y\t0\t1011121120", "math:V!y\t0!\t0\t1011121130", "math:O!SUB\tV!i\t1\t1011121120", "math:V!i\t0!\t0\t101112112011", "math:U!times\tO!partialdiff\t0\t0121", "math:U!times\tO!SUB\t00\t0121", "math:O!partialdiff\tO!SUB\t0\t01210", "math:O!partialdiff\tV!j\t01\t01210", "math:O!partialdiff\tV!z\t00\t01210", "math:O!SUB\tV!z\t0\t1011121120", "math:V!z\t0!\t0\t1011121130", "math:O!SUB\tV!j\t1\t1011121120", "math:V!j\t0!\t0\t101112112011", "math:M!M-3x3\tM!R!\t2\t0", "math:M!M-3x3\tO!divide\t22\t0", "math:M!M-3x3\tO!divide\t21\t0", "math:M!M-3x3\tO!divide\t20\t0", "math:M!R!\tO!divide\t0\t02", "math:M!R!\tU!times\t01\t02", "math:M!R!\t+!O!partialdiff\t00\t02", "math:O!divide\t+!O!partialdiff\t0\t020", "math:O!divide\tO!SUB\t01\t020", "math:O!divide\tO!SUP\t00\t020", "math:+!O!partialdiff\tO!SUP\t0\t0200", "math:+!O!partialdiff\tN!2\t01\t0200", "math:+!O!partialdiff\tO!partialdiff\t00\t0200", "math:O!SUP\tO!partialdiff\t0\t02000", "math:O!partialdiff\t0!\t0\t101240", "math:O!SUP\tN!2\t1\t02000", "math:N!2\t0!\t0\t10123011", "math:+!O!partialdiff\tO!SUB\t1\t0200", "math:+!O!partialdiff\tU!times\t11\t0200", "math:+!O!partialdiff\tV!V\t10\t0200", "math:O!SUB\tV!V\t0\t02001", "math:V!V\t0!\t0\t1012201110", "math:O!SUB\tU!times\t1\t02001", "math:O!SUB\tV!j\t10\t02001", "math:O!SUB\tV!i\t10\t02001", "math:U!times\tV!i\t0\t10122021", "math:V!i\t0!\t0\t1012202110", "math:U!times\tV!j\t0\t10122021", "math:V!j\t0!\t0\t1012202110", "math:O!divide\tU!times\t1\t020", "math:O!divide\tO!partialdiff\t10\t020", "math:O!divide\tO!partialdiff\t10\t020", "math:U!times\tO!partialdiff\t0\t0201", "math:U!times\tO!SUB\t00\t0201", "math:O!partialdiff\tO!SUB\t0\t02010", "math:O!partialdiff\tV!i\t01\t02010", "math:O!partialdiff\tV!z\t00\t02010", "math:O!SUB\tV!z\t0\t1012101120", "math:V!z\t0!\t0\t1012101130", "math:O!SUB\tV!i\t1\t1012101120", "math:V!i\t0!\t0\t101210112011", "math:U!times\tO!partialdiff\t0\t0201", "math:U!times\tO!SUB\t00\t0201", "math:O!partialdiff\tO!SUB\t0\t02010", "math:O!partialdiff\tV!j\t01\t02010", "math:O!partialdiff\tV!x\t00\t02010", "math:O!SUB\tV!x\t0\t1012101120", "math:V!x\t0!\t0\t1012101130", "math:O!SUB\tV!j\t1\t1012101120", "math:V!j\t0!\t0\t101210112011", "math:M!R!\tO!divide\t1\t02", "math:M!R!\tU!times\t11\t02", "math:M!R!\t+!O!partialdiff\t10\t02", "math:O!divide\t+!O!partialdiff\t0\t021", "math:O!divide\tO!SUB\t01\t021", "math:O!divide\tO!SUP\t00\t021", "math:+!O!partialdiff\tO!SUP\t0\t0210", "math:+!O!partialdiff\tN!2\t01\t0210", "math:+!O!partialdiff\tO!partialdiff\t00\t0210", "math:O!SUP\tO!partialdiff\t0\t02100", "math:O!partialdiff\t0!\t0\t10121130", "math:O!SUP\tN!2\t1\t02100", "math:N!2\t0!\t0\t1012112011", "math:+!O!partialdiff\tO!SUB\t1\t0210", "math:+!O!partialdiff\tU!times\t11\t0210", "math:+!O!partialdiff\tV!V\t10\t0210", "math:O!SUB\tV!V\t0\t02101", "math:V!V\t0!\t0\t101211101110", "math:O!SUB\tU!times\t1\t02101", "math:O!SUB\tV!j\t10\t02101", "math:O!SUB\tV!i\t10\t02101", "math:U!times\tV!i\t0\t1012111021", "math:V!i\t0!\t0\t101211102110", "math:U!times\tV!j\t0\t1012111021", "math:V!j\t0!\t0\t101211102110", "math:O!divide\tU!times\t1\t021", "math:O!divide\tO!partialdiff\t10\t021", "math:O!divide\tO!partialdiff\t10\t021", "math:U!times\tO!partialdiff\t0\t0211", "math:U!times\tO!SUB\t00\t0211", "math:O!partialdiff\tO!SUB\t0\t02110", "math:O!partialdiff\tV!i\t01\t02110", "math:O!partialdiff\tV!z\t00\t02110", "math:O!SUB\tV!z\t0\t10122120", "math:V!z\t0!\t0\t10122130", "math:O!SUB\tV!i\t1\t10122120", "math:V!i\t0!\t0\t1012212011", "math:U!times\tO!partialdiff\t0\t0211", "math:U!times\tO!SUB\t00\t0211", "math:O!partialdiff\tO!SUB\t0\t02110", "math:O!partialdiff\tV!j\t01\t02110", "math:O!partialdiff\tV!y\t00\t02110", "math:O!SUB\tV!y\t0\t10122120", "math:V!y\t0!\t0\t10122130", "math:O!SUB\tV!j\t1\t10122120", "math:V!j\t0!\t0\t1012212011", "math:M!R!\tO!divide\t2\t02", "math:M!R!\tU!times\t21\t02", "math:M!R!\t+!O!partialdiff\t20\t02", "math:O!divide\t+!O!partialdiff\t0\t022", "math:O!divide\tO!SUB\t01\t022", "math:O!divide\tO!SUP\t00\t022", "math:+!O!partialdiff\tO!SUP\t0\t0220", "math:+!O!partialdiff\tN!2\t01\t0220", "math:+!O!partialdiff\tO!partialdiff\t00\t0220", "math:O!SUP\tO!partialdiff\t0\t02200", "math:O!partialdiff\t0!\t0\t102230", "math:O!SUP\tN!2\t1\t02200", "math:N!2\t0!\t0\t10222011", "math:+!O!partialdiff\tO!SUB\t1\t0220", "math:+!O!partialdiff\tU!times\t11\t0220", "math:+!O!partialdiff\tV!V\t10\t0220", "math:O!SUB\tV!V\t0\t02201", "math:V!V\t0!\t0\t1022101110", "math:O!SUB\tU!times\t1\t02201", "math:O!SUB\tV!j\t10\t02201", "math:O!SUB\tV!i\t10\t02201", "math:U!times\tV!i\t0\t10221021", "math:V!i\t0!\t0\t1022102110", "math:U!times\tV!j\t0\t10221021", "math:V!j\t0!\t0\t1022102110", "math:O!divide\tU!times\t1\t022", "math:O!divide\tO!partialdiff\t10\t022", "math:O!divide\tO!partialdiff\t10\t022", "math:U!times\tO!partialdiff\t0\t0221", "math:U!times\tO!SUB\t00\t0221", "math:O!partialdiff\tO!SUB\t0\t02210", "math:O!partialdiff\tV!i\t01\t02210", "math:O!partialdiff\tV!z\t00\t02210", "math:O!SUB\tV!z\t0\t10221120", "math:V!z\t0!\t0\t10221130", "math:O!SUB\tV!i\t1\t10221120", "math:V!i\t0!\t0\t1022112011", "math:U!times\tO!partialdiff\t0\t0221", "math:U!times\tO!SUB\t00\t0221", "math:O!partialdiff\tO!SUB\t0\t02210", "math:O!partialdiff\tV!j\t01\t02210", "math:O!partialdiff\tV!z\t00\t02210", "math:O!SUB\tV!z\t0\t10221120", "math:V!z\t0!\t0\t10221130", "math:O!SUB\tV!j\t1\t10221120", "math:V!j\t0!\t0\t1022112011"]],
"NTCIR12-MathWiki-20": [["math:U!and\tU!eq\t0\t-", "math:U!and\tO!divide\t00\t-", "math:U!and\tO!SUB\t00\t-", "math:U!eq\tO!SUB\t0\t0", "math:U!eq\tU!times\t01\t0", "math:U!eq\tV!r\t00\t0", "math:O!SUB\tV!r\t0\t00", "math:V!r\t0!\t0\t000", "math:O!SUB\tU!times\t1\t00", "math:O!SUB\tV!y\t10\t00", "math:O!SUB\tV!x\t10\t00", "math:U!times\tV!x\t0\t001", "math:V!x\t0!\t0\t0010", "math:U!times\tV!y\t0\t001", "math:V!y\t0!\t0\t0010", "math:U!eq\tO!divide\t0\t0", "math:U!eq\tU!times\t01\t0", "math:U!eq\t+!O!SUB\t00\t0", "math:O!divide\t+!O!SUB\t0\t00", "math:O!divide\tU!times\t01\t00", "math:O!divide\tO!SUP\t00\t00", "math:+!O!SUB\tO!SUP\t0\t000", "math:+!O!SUB\tV!n\t01\t000", "math:+!O!SUB\tO!SUB\t00\t000", "math:O!SUP\tO!SUB\t0\t0000", "math:O!SUP\tU!eq\t01\t0000", "math:O!SUP\tO!sum\t00\t0000", "math:O!SUB\tO!sum\t0\t00000", "math:O!sum\t0!\t0\t60", "math:O!SUB\tU!eq\t1\t00000", "math:O!SUB\tN!1\t10\t00000", "math:O!SUB\tV!i\t10\t00000", "math:U!eq\tV!i\t0\t5011", "math:V!i\t0!\t0\t501110", "math:U!eq\tN!1\t0\t5011", "math:N!1\t0!\t0\t501110", "math:O!SUP\tV!n\t1\t0000", "math:V!n\t0!\t0\t00001", "math:+!O!SUB\tU!times\t1\t000", "math:+!O!SUB\tO!minus\t10\t000", "math:+!O!SUB\tO!minus\t10\t000", "math:U!times\tO!minus\t0\t0001", "math:U!times\tF!normal- \u0304\t01\t0001", "math:U!times\tO!SUB\t00\t0001", "math:O!minus\tO!SUB\t0\t00010", "math:O!minus\tV!i\t01\t00010", "math:O!minus\tV!x\t00\t00010", "math:O!SUB\tV!x\t0\t301120", "math:V!x\t0!\t0\t301130", "math:O!SUB\tV!i\t1\t301120", "math:V!i\t0!\t0\t30112011", "math:O!minus\tF!normal- \u0304\t1\t00010", "math:O!minus\tV!x\t10\t00010", "math:F!normal- \u0304\tV!x\t0\t30111011", "math:V!x\t0!\t0\t3011101110", "math:U!times\tO!minus\t0\t0001", "math:U!times\tF!normal- \u0304\t01\t0001", "math:U!times\tO!SUB\t00\t0001", "math:O!minus\tO!SUB\t0\t00010", "math:O!minus\tV!i\t01\t00010", "math:O!minus\tV!y\t00\t00010", "math:O!SUB\tV!y\t0\t301120", "math:V!y\t0!\t0\t301130", "math:O!SUB\tV!i\t1\t301120", "math:V!i\t0!\t0\t30112011", "math:O!minus\tF!normal- \u0304\t1\t00010", "math:O!minus\tV!y\t10\t00010", "math:F!normal- \u0304\tV!y\t0\t30111011", "math:V!y\t0!\t0\t3011101110", "math:O!divide\tU!times\t1\t00", "math:O!divide\tO!SUB\t10\t00", "math:O!divide\tO!SUB\t10\t00", "math:O!divide\tO!minus\t10\t00", "math:U!times\tO!minus\t0\t001", "math:U!times\tN!1\t01\t001", "math:U!times\tV!n\t00\t001", "math:O!minus\tV!n\t0\t0010", "math:V!n\t0!\t0\t00100", "math:O!minus\tN!1\t1\t0010", "math:N!1\t0!\t0\t00101", "math:U!times\tO!SUB\t0\t001", "math:U!times\tV!x\t01\t001", "math:U!times\tV!s\t00\t001", "math:O!SUB\tV!s\t0\t0010", "math:V!s\t0!\t0\t00100", "math:O!SUB\tV!x\t1\t0010", "math:V!x\t0!\t0\t00101", "math:U!times\tO!SUB\t0\t001", "math:U!times\tV!y\t01\t001", "math:U!times\tV!s\t00\t001", "math:O!SUB\tV!s\t0\t0010", "math:V!s\t0!\t0\t00100", "math:O!SUB\tV!y\t1\t0010", "math:V!y\t0!\t0\t00101", "math:U!and\tU!eq\t0\t-", "math:U!and\tO!divide\t00\t-", "math:U!eq\tO!divide\t0\t0", "math:U!eq\tO!root\t01\t0", "math:U!eq\t+!O!SUB\t00\t0", "math:O!divide\t+!O!SUB\t0\t00", "math:O!divide\tU!times\t01\t00", "math:O!divide\tO!SUP\t00\t00", "math:+!O!SUB\tO!SUP\t0\t000", "math:+!O!SUB\tV!n\t01\t000", "math:+!O!SUB\tO!SUB\t00\t000", "math:O!SUP\tO!SUB\t0\t0000", "math:O!SUP\tU!eq\t01\t0000", "math:O!SUP\tO!sum\t00\t0000", "math:O!SUB\tO!sum\t0\t00000", "math:O!sum\t0!\t0\t60", "math:O!SUB\tU!eq\t1\t00000", "math:O!SUB\tN!1\t10\t00000", "math:O!SUB\tV!i\t10\t00000", "math:U!eq\tV!i\t0\t5011", "math:V!i\t0!\t0\t501110", "math:U!eq\tN!1\t0\t5011", "math:N!1\t0!\t0\t501110", "math:O!SUP\tV!n\t1\t0000", "math:V!n\t0!\t0\t00001", "math:+!O!SUB\tU!times\t1\t000", "math:+!O!SUB\tO!minus\t10\t000", "math:+!O!SUB\tO!minus\t10\t000", "math:U!times\tO!minus\t0\t0001", "math:U!times\tF!normal- \u0304\t01\t0001", "math:U!times\tO!SUB\t00\t0001", "math:O!minus\tO!SUB\t0\t00010", "math:O!minus\tV!i\t01\t00010", "math:O!minus\tV!x\t00\t00010", "math:O!SUB\tV!x\t0\t301120", "math:V!x\t0!\t0\t301130", "math:O!SUB\tV!i\t1\t301120", "math:V!i\t0!\t0\t30112011", "math:O!minus\tF!normal- \u0304\t1\t00010", "math:O!minus\tV!x\t10\t00010", "math:F!normal- \u0304\tV!x\t0\t30111011", "math:V!x\t0!\t0\t3011101110", "math:U!times\tO!minus\t0\t0001", "math:U!times\tF!normal- \u0304\t01\t0001", "math:U!times\tO!SUB\t00\t0001", "math:O!minus\tO!SUB\t0\t00010", "math:O!minus\tV!i\t01\t00010", "math:O!minus\tV!y\t00\t00010", "math:O!SUB\tV!y\t0\t301120", "math:V!y\t0!\t0\t301130", "math:O!SUB\tV!i\t1\t301120", "math:V!i\t0!\t0\t30112011", "math:O!minus\tF!normal- \u0304\t1\t00010", "math:O!minus\tV!y\t10\t00010", "math:F!normal- \u0304\tV!y\t0\t30111011", "math:V!y\t0!\t0\t3011101110", "math:O!divide\tO!root\t1\t00", "math:O!divide\tN!2\t11\t00", "math:O!divide\t+!O!SUB\t10\t00", "math:O!root\t+!O!SUB\t0\t001", "math:O!root\tU!times\t01\t001", "math:O!root\tO!SUP\t00\t001", "math:+!O!SUB\tO!SUP\t0\t0010", "math:+!O!SUB\tV!n\t01\t0010", "math:+!O!SUB\tO!SUB\t00\t0010", "math:O!SUP\tO!SUB\t0\t00100", "math:O!SUP\tU!eq\t01\t00100", "math:O!SUP\tO!sum\t00\t00100", "math:O!SUB\tO!sum\t0\t201130", "math:O!sum\t0!\t0\t201140", "math:O!SUB\tU!eq\t1\t201130", "math:O!SUB\tN!1\t10\t201130", "math:O!SUB\tV!i\t10\t201130", "math:U!eq\tV!i\t0\t20113011", "math:V!i\t0!\t0\t2011301110", "math:U!eq\tN!1\t0\t20113011", "math:N!1\t0!\t0\t2011301110", "math:O!SUP\tV!n\t1\t00100", "math:V!n\t0!\t0\t20112011", "math:+!O!SUB\tU!times\t1\t0010", "math:+!O!SUB\t+!O!SUB\t10\t0010", "math:+!O!SUB\tO!SUP\t10\t0010", "math:U!times\tO!SUP\t0\t00101", "math:U!times\tN!2\t01\t00101", "math:U!times\tO!minus\t00\t00101", "math:O!SUP\tO!minus\t0\t2011101110", "math:O!SUP\tF!normal- \u0304\t01\t2011101110", "math:O!SUP\tO!SUB\t00\t2011101110", "math:O!minus\tO!SUB\t0\t2011101120", "math:O!minus\tV!i\t01\t2011101120", "math:O!minus\tV!x\t00\t2011101120", "math:O!SUB\tV!x\t0\t2011101130", "math:V!x\t0!\t0\t2011101140", "math:O!SUB\tV!i\t1\t2011101130", "math:V!i\t0!\t0\t201110113011", "math:O!minus\tF!normal- \u0304\t1\t2011101120", "math:O!minus\tV!x\t10\t2011101120", "math:F!normal- \u0304\tV!x\t0\t201110112011", "math:V!x\t0!\t0\t20111011201110", "math:O!SUP\tN!2\t1\t2011101110", "math:N!2\t0!\t0\t201110111011", "math:U!times\t+!O!SUB\t0\t00101", "math:U!times\tO!SUP\t01\t00101", "math:U!times\tO!SUP\t00\t00101", "math:+!O!SUB\tO!SUP\t0\t2011101110", "math:+!O!SUB\tV!n\t01\t2011101110", "math:+!O!SUB\tO!SUB\t00\t2011101110", "math:O!SUP\tO!SUB\t0\t2011101120", "math:O!SUP\tU!eq\t01\t2011101120", "math:O!SUP\tO!sum\t00\t2011101120", "math:O!SUB\tO!sum\t0\t2011101130", "math:O!sum\t0!\t0\t2011101140", "math:O!SUB\tU!eq\t1\t2011101130", "math:O!SUB\tN!1\t10\t2011101130", "math:O!SUB\tV!i\t10\t2011101130", "math:U!eq\tV!i\t0\t201110113011", "math:V!i\t0!\t0\t20111011301110", "math:U!eq\tN!1\t0\t201110113011", "math:N!1\t0!\t0\t20111011301110", "math:O!SUP\tV!n\t1\t2011101120", "math:V!n\t0!\t0\t201110112011", "math:+!O!SUB\tO!SUP\t1\t2011101110", "math:+!O!SUB\tN!2\t11\t2011101110", "math:+!O!SUB\tO!minus\t10\t2011101110", "math:O!SUP\tO!minus\t0\t201110111011", "math:O!SUP\tF!normal- \u0304\t01\t201110111011", "math:O!SUP\tO!SUB\t00\t201110111011", "math:O!minus\tO!SUB\t0\t20111011101110", "math:O!minus\tV!i\t01\t20111011101110", "math:O!minus\tV!y\t00\t20111011101110", "math:O!SUB\tV!y\t0\t20111011101120", "math:V!y\t0!\t0\t20111011101130", "math:O!SUB\tV!i\t1\t20111011101120", "math:V!i\t0!\t0\t2011101110112011", "math:O!minus\tF!normal- \u0304\t1\t20111011101110", "math:O!minus\tV!y\t10\t20111011101110", "math:F!normal- \u0304\tV!y\t0\t2011101110111011", "math:V!y\t0!\t0\t201110111011101110", "math:O!SUP\tN!2\t1\t201110111011", "math:N!2\t0!\t0\t201110111021", "math:O!root\tN!2\t1\t001", "math:N!2\t0!\t0\t0011"]],
"NTCIR12-MathWiki-21": [["math:U!times\tN!0.\t0\t-", "math:N!0.\t0!\t0\t0", "math:U!times\t?*1*\t0\t-", "math:?*1*\t0!\t0\t0", "math:U!times\tV!normal-...\t0\t-", "math:V!normal-...\t0!\t0\t0"]],
"NTCIR12-MathWiki-22": [["math:O!SUP\tV!P\t0\t-", "math:V!P\t0!\t0\t0", "math:O!SUP\t?*1*\t1\t-", "math:?*1*\t0!\t0\t1"]],
"NTCIR12-MathWiki-23": [["math:U!times\t?*1*\t0\t-", "math:?*1*\t0!\t0\t0", "math:U!times\tO!divide\t0\t-", "math:U!times\tU!times\t01\t-", "math:U!times\tU!times\t00\t-", "math:O!divide\tU!times\t0\t0", "math:O!divide\t?*2*\t00\t0", "math:O!divide\tV!Frequency\t00\t0", "math:U!times\tV!Frequency\t0\t00", "math:V!Frequency\t0!\t0\t000", "math:U!times\t?*2*\t0\t00", "math:?*2*\t0!\t0\t000", "math:O!divide\tU!times\t1\t0", "math:O!divide\t?*3*\t10\t0", "math:O!divide\tV!Frequency\t10\t0", "math:U!times\tV!Frequency\t0\t01", "math:V!Frequency\t0!\t0\t010", "math:U!times\t?*3*\t0\t01", "math:?*3*\t0!\t0\t010"]],
"NTCIR12-MathWiki-24": [["math:O!SUB\tF!normal-\u23df\t0\t-", "math:O!SUB\t?*1*\t00\t-", "math:F!normal-\u23df\t?*1*\t0\t0", "math:?*1*\t0!\t0\t00", "math:O!SUB\t?*2*\t1\t-", "math:?*2*\t0!\t0\t1"]],
"NTCIR12-MathWiki-25": [["math:U!plus\tN!1\t0\t-", "math:N!1\t0!\t0\t0", "math:U!plus\tO!continued-fraction\t0\t-", "math:U!plus\tU!plus\t01\t-", "math:U!plus\tN!1\t00\t-", "math:O!continued-fraction\tN!1\t0\t0", "math:N!1\t0!\t0\t00", "math:O!continued-fraction\tU!plus\t1\t0", "math:O!continued-fraction\tO!continued-fraction\t10\t0", "math:O!continued-fraction\t?*1*\t10\t0", "math:U!plus\t?*1*\t0\t01", "math:?*1*\t0!\t0\t010", "math:U!plus\tO!continued-fraction\t0\t01", "math:U!plus\t?*2*\t01\t01", "math:U!plus\tN!1\t00\t01", "math:O!continued-fraction\tN!1\t0\t010", "math:N!1\t0!\t0\t0100", "math:O!continued-fraction\t?*2*\t1\t010", "math:?*2*\t0!\t0\t0101"]],
"NTCIR12-MathWiki-26": [["math:F!normal-\u2192\tU!plus\t0\t-", "math:F!normal-\u2192\t?*1*\t00\t-", "math:F!normal-\u2192\tO!SUP\t00\t-", "math:U!plus\tO!SUP\t0\t0", "math:U!plus\tN!238\t01\t0", "math:U!plus\tO!SUB\t00\t0", "math:O!SUP\tO!SUB\t0\t00", "math:O!SUP\tN!92\t01\t00", "math:O!SUP\tV!normal-U\t00\t00", "math:O!SUB\tV!normal-U\t0\t000", "math:V!normal-U\t0!\t0\t0000", "math:O!SUB\tN!92\t1\t000", "math:N!92\t0!\t0\t0001", "math:O!SUP\tN!238\t1\t00", "math:N!238\t0!\t0\t001", "math:U!plus\t?*1*\t0\t0", "math:?*1*\t0!\t0\t00", "math:F!normal-\u2192\t?*2*\t1\t-", "math:?*2*\t0!\t0\t1"]],
"NTCIR12-MathWiki-27": [["math:+!V!normal-\u2192\tO!SUP\t0\t-", "math:+!V!normal-\u2192\tO!SUP\t01\t-", "math:+!V!normal-\u2192\tV!normal-\u2192\t00\t-", "math:O!SUP\tV!normal-\u2192\t0\t0", "math:V!normal-\u2192\t0!\t0\t00", "math:O!SUP\tO!SUP\t1\t0", "math:O!SUP\tU!and\t11\t0", "math:O!SUP\t?*2*\t10\t0", "math:O!SUP\t?*2*\t0\t01", "math:?*2*\t0!\t0\t010", "math:O!SUP\tU!and\t1\t01", "math:U!and\t0!\t0\t011", "math:+!V!normal-\u2192\tO!SUP\t1\t-", "math:+!V!normal-\u2192\tU!and\t11\t-", "math:+!V!normal-\u2192\t?*1*\t10\t-", "math:O!SUP\t?*1*\t0\t1", "math:?*1*\t0!\t0\t10", "math:O!SUP\tU!and\t1\t1", "math:U!and\t0!\t0\t11", "math:+!V!normal-\u2192\tO!SUP\t2\t-", "math:+!V!normal-\u2192\tU!and\t21\t-", "math:+!V!normal-\u2192\t?*3*\t20\t-", "math:O!SUP\t?*3*\t0\t2", "math:?*3*\t0!\t0\t20", "math:O!SUP\tU!and\t1\t2", "math:U!and\t0!\t0\t21"]],
"NTCIR12-MathWiki-28": [["math:U!eq\t?*1*\t0\t-", "math:?*1*\t0!\t0\t0", "math:U!eq\tO!cases\t0\t-", "math:U!eq\tM!M-2x2\t00\t-", "math:O!cases\tM!M-2x2\t0\t0", "math:O!cases\tM!R!\t01\t0", "math:O!cases\tM!R!\t00\t0", "math:M!M-2x2\tM!R!\t0\t00", "math:M!M-2x2\tO!gt\t01\t00", "math:M!M-2x2\t?*2*\t00\t00", "math:M!R!\t?*2*\t0\t000", "math:?*2*\t0!\t0\t0000", "math:M!R!\tO!gt\t1\t000", "math:M!R!\tO!divide\t12\t000", "math:M!R!\t?*3*\t11\t000", "math:M!R!\tT!if\t10\t000", "math:O!gt\tT!if\t0\t0001", "math:T!if\t0!\t0\t00010", "math:O!gt\t?*3*\t1\t0001", "math:?*3*\t0!\t0\t00011", "math:O!gt\tO!divide\t2\t0001", "math:O!gt\tN!2\t21\t0001", "math:O!gt\tN!1\t20\t0001", "math:O!divide\tN!1\t0\t00012", "math:N!1\t0!\t0\t30111210", "math:O!divide\tN!2\t1\t00012", "math:N!2\t0!\t0\t30111211", "math:M!M-2x2\tM!R!\t1\t00", "math:M!M-2x2\tO!leq\t11\t00", "math:M!M-2x2\t?*4*\t10\t00", "math:M!R!\t?*4*\t0\t001", "math:?*4*\t0!\t0\t0010", "math:M!R!\tO!leq\t1\t001", "math:M!R!\tO!divide\t12\t001", "math:M!R!\t?*3*\t11\t001", "math:M!R!\tT!if\t10\t001", "math:O!leq\tT!if\t0\t0011", "math:T!if\t0!\t0\t00110", "math:O!leq\t?*3*\t1\t0011", "math:?*3*\t0!\t0\t00111", "math:O!leq\tO!divide\t2\t0011", "math:O!leq\tN!2\t21\t0011", "math:O!leq\tN!1\t20\t0011", "math:O!divide\tN!1\t0\t00112", "math:N!1\t0!\t0\t20211210", "math:O!divide\tN!2\t1\t00112", "math:N!2\t0!\t0\t20211211"]],
"NTCIR12-MathWiki-29": [["math:U!eq\t?*1*\t0\t-", "math:?*1*\t0!\t0\t0", "math:U!eq\tU!times\t0\t-", "math:U!eq\tM!M-2x1\t00\t-", "math:U!eq\tM!M-2x2\t00\t-", "math:U!times\tM!M-2x2\t0\t0", "math:U!times\tM!R!\t01\t0", "math:U!times\tM!R!\t00\t0", "math:M!M-2x2\tM!R!\t0\t00", "math:M!M-2x2\t?*3*\t01\t00", "math:M!M-2x2\t?*2*\t00\t00", "math:M!R!\t?*2*\t0\t000", "math:?*2*\t0!\t0\t0000", "math:M!R!\t?*3*\t1\t000", "math:?*3*\t0!\t0\t0001", "math:M!M-2x2\tM!R!\t1\t00", "math:M!M-2x2\t?*5*\t11\t00", "math:M!M-2x2\t?*4*\t10\t00", "math:M!R!\t?*4*\t0\t001", "math:?*4*\t0!\t0\t0010", "math:M!R!\t?*5*\t1\t001", "math:?*5*\t0!\t0\t0011", "math:U!times\tM!M-2x1\t0\t0", "math:U!times\tM!R!\t01\t0", "math:U!times\tM!R!\t00\t0", "math:M!M-2x1\tM!R!\t0\t00", "math:M!M-2x1\t?*6*\t00\t00", "math:M!R!\t?*6*\t0\t000", "math:?*6*\t0!\t0\t0000", "math:M!M-2x1\tM!R!\t1\t00", "math:M!M-2x1\t?*7*\t10\t00", "math:M!R!\t?*7*\t0\t001", "math:?*7*\t0!\t0\t0010"]],
"NTCIR12-MathWiki-30": [["math:U!eq\tU!times\t0\t-", "math:U!eq\tM!V-3\t00\t-", "math:U!eq\tV!L\t00\t-", "math:U!times\tV!L\t0\t0", "math:V!L\t0!\t0\t00", "math:U!times\tM!V-3\t0\t0", "math:U!times\t?*3*\t02\t0", "math:U!times\t?*2*\t01\t0", "math:U!times\t?*1*\t00\t0", "math:M!V-3\t?*1*\t0\t00", "math:?*1*\t0!\t0\t000", "math:M!V-3\t?*2*\t1\t00", "math:?*2*\t0!\t0\t001", "math:M!V-3\t?*3*\t2\t00", "math:?*3*\t0!\t0\t002", "math:U!eq\t+!O!SUB\t0\t-", "math:U!eq\tO!divide\t01\t-", "math:U!eq\tO!SUP\t00\t-", "math:+!O!SUB\tO!SUP\t0\t0", "math:+!O!SUB\tC!infinity\t01\t0", "math:+!O!SUB\tO!SUB\t00\t0", "math:O!SUP\tO!SUB\t0\t00", "math:O!SUP\tU!eq\t01\t00", "math:O!SUP\tO!sum\t00\t00", "math:O!SUB\tO!sum\t0\t000", "math:O!sum\t0!\t0\t0000", "math:O!SUB\tU!eq\t1\t000", "math:O!SUB\tN!0\t10\t000", "math:O!SUB\t?*4*\t10\t000", "math:U!eq\t?*4*\t0\t0001", "math:?*4*\t0!\t0\t00010", "math:U!eq\tN!0\t0\t0001", "math:N!0\t0!\t0\t00010", "math:O!SUP\tC!infinity\t1\t00", "math:C!infinity\t0!\t0\t001", "math:+!O!SUB\tO!divide\t1\t0", "math:+!O!SUB\tO!SUP\t11\t0", "math:+!O!SUB\tF!exp\t10\t0", "math:O!divide\tF!exp\t0\t01", "math:O!divide\tU!times\t00\t01", "math:F!exp\tU!times\t0\t010", "math:F!exp\t?*4*\t00\t010", "math:F!exp\t?*1*\t00\t010", "math:F!exp\tV!i\t00\t010", "math:F!exp\tV!\u03c0\t00\t010", "math:F!exp\tN!2\t00\t010", "math:U!times\tN!2\t0\t0100", "math:N!2\t0!\t0\t01000", "math:U!times\tV!\u03c0\t0\t0100", "math:V!\u03c0\t0!\t0\t01000", "math:U!times\tV!i\t0\t0100", "math:V!i\t0!\t0\t01000", "math:U!times\t?*1*\t0\t0100", "math:?*1*\t0!\t0\t01000", "math:U!times\t?*4*\t0\t0100", "math:?*4*\t0!\t0\t01000", "math:O!divide\tO!SUP\t1\t01", "math:O!divide\t?*3*\t11\t01", "math:O!divide\tU!plus\t10\t01", "math:O!SUP\tU!plus\t0\t011", "math:O!SUP\t?*2*\t00\t011", "math:O!SUP\t?*4*\t00\t011", "math:U!plus\t?*4*\t0\t0110", "math:?*4*\t0!\t0\t01100", "math:U!plus\t?*2*\t0\t0110", "math:?*2*\t0!\t0\t01100", "math:O!SUP\t?*3*\t1\t011", "math:?*3*\t0!\t0\t0111"]],
"NTCIR12-MathWiki-31": [["math:U!eq\tU!plus\t0\t-", "math:U!eq\t?*3*\t00\t-", "math:U!eq\tU!times\t00\t-", "math:U!eq\tU!times\t00\t-", "math:U!plus\tU!times\t0\t0", "math:U!plus\tO!SUP\t00\t0", "math:U!plus\t?*1*\t00\t0", "math:U!times\t?*1*\t0\t00", "math:?*1*\t0!\t0\t000", "math:U!times\tO!SUP\t0\t00", "math:U!times\tN!2\t01\t00", "math:U!times\tV!x\t00\t00", "math:O!SUP\tV!x\t0\t000", "math:V!x\t0!\t0\t0000", "math:O!SUP\tN!2\t1\t000", "math:N!2\t0!\t0\t0001", "math:U!plus\tU!times\t0\t0", "math:U!plus\tV!x\t00\t0", "math:U!plus\t?*2*\t00\t0", "math:U!times\t?*2*\t0\t00", "math:?*2*\t0!\t0\t000", "math:U!times\tV!x\t0\t00", "math:V!x\t0!\t0\t000", "math:U!plus\t?*3*\t0\t0", "math:?*3*\t0!\t0\t00", "math:U!eq\tN!0\t0\t-", "math:N!0\t0!\t0\t0"]],
"NTCIR12-MathWiki-32": [["math:U!times\tV!O\t0\t-", "math:V!O\t0!\t0\t0", "math:U!times\tU!times\t0\t-", "math:U!times\tF!log\t00\t-", "math:U!times\t?*1*\t00\t-", "math:U!times\t?*1*\t0\t0", "math:?*1*\t0!\t0\t00", "math:U!times\tF!log\t0\t0", "math:U!times\t?*2*\t00\t0", "math:F!log\t?*2*\t0\t00", "math:?*2*\t0!\t0\t000"]],
"NTCIR12-MathWiki-33": [["math:U!eq\tU!times\t0\t-", "math:U!eq\tV!B\t00\t-", "math:U!eq\t?*1*\t00\t-", "math:U!eq\tV!A\t00\t-", "math:U!times\tV!A\t0\t0", "math:V!A\t0!\t0\t00", "math:U!times\t?*1*\t0\t0", "math:?*1*\t0!\t0\t00", "math:U!times\tV!B\t0\t0", "math:V!B\t0!\t0\t00", "math:U!eq\tO!SUP\t0\t-", "math:U!eq\t?*3*\t01\t-", "math:U!eq\t?*2*\t00\t-", "math:O!SUP\t?*2*\t0\t0", "math:?*2*\t0!\t0\t00", "math:O!SUP\t?*3*\t1\t0", "math:?*3*\t0!\t0\t01"]],
"NTCIR12-MathWiki-34": [["math:U!eq\tU!times\t0\t-", "math:U!eq\tV!\u03b1\t00\t-", "math:U!eq\t?*1*\t00\t-", "math:U!times\t?*1*\t0\t0", "math:?*1*\t0!\t0\t00", "math:U!times\tV!\u03b1\t0\t0", "math:V!\u03b1\t0!\t0\t00", "math:U!eq\tU!plus\t0\t-", "math:U!eq\tU!times\t00\t-", "math:U!eq\tU!times\t00\t-", "math:U!plus\tU!times\t0\t0", "math:U!plus\tV!\u03b3\t00\t0", "math:U!plus\t?*1*\t00\t0", "math:U!plus\tV!\u03b2\t00\t0", "math:U!plus\t?*1*\t00\t0", "math:U!times\t?*1*\t0\t00", "math:?*1*\t0!\t0\t000", "math:U!times\tV!\u03b2\t0\t00", "math:V!\u03b2\t0!\t0\t000", "math:U!times\t?*1*\t0\t00", "math:?*1*\t0!\t0\t000", "math:U!times\tV!\u03b3\t0\t00", "math:V!\u03b3\t0!\t0\t000", "math:U!plus\tU!times\t0\t0", "math:U!plus\t?*3*\t00\t0", "math:U!plus\tV!\u03b3\t00\t0", "math:U!plus\t?*2*\t00\t0", "math:U!plus\tV!\u03b2\t00\t0", "math:U!plus\t?*2*\t00\t0", "math:U!times\t?*2*\t0\t00", "math:?*2*\t0!\t0\t000", "math:U!times\tV!\u03b2\t0\t00", "math:V!\u03b2\t0!\t0\t000", "math:U!times\t?*2*\t0\t00", "math:?*2*\t0!\t0\t000", "math:U!times\tV!\u03b3\t0\t00", "math:V!\u03b3\t0!\t0\t000", "math:U!times\t?*3*\t0\t00", "math:?*3*\t0!\t0\t000"]],
"NTCIR12-MathWiki-35": [["math:E!\tO!fragments\t0\t-", "math:O!fragments\t0!\t0\t0", "math:E!\tO!forall\t1\t-", "math:O!forall\t0!\t0\t1", "math:E!\t-!x\t2\t-", "math:-!x\t0!\t0\t2", "math:E!\tV!normal-,\t3\t-", "math:V!normal-,\t0!\t0\t3", "math:E!\t-!y\t4\t-", "math:-!y\t0!\t0\t4", "math:E!\tO!in\t5\t-", "math:O!in\t0!\t0\t5", "math:E!\t?*1*\t6\t-", "math:?*1*\t0!\t0\t6", "math:E!\tE!\t7\t-", "math:E!\tV!normal-]\t77\t-", "math:E!\t?*2*\t76\t-", "math:E!\tV!normal-\u2192\t75\t-", "math:E!\t-!y\t74\t-", "math:E!\tU!neq\t73\t-", "math:E!\t-!x\t72\t-", "math:E!\tV!normal-[\t71\t-", "math:E!\tO!fragments\t70\t-", "math:E!\tO!fragments\t0\t7", "math:O!fragments\t0!\t0\t70", "math:E!\tV!normal-[\t1\t7", "math:V!normal-[\t0!\t0\t71", "math:E!\t-!x\t2\t7", "math:-!x\t0!\t0\t72", "math:E!\tU!neq\t3\t7", "math:U!neq\t0!\t0\t73", "math:E!\t-!y\t4\t7", "math:-!y\t0!\t0\t74", "math:E!\tV!normal-\u2192\t5\t7", "math:V!normal-\u2192\t0!\t0\t75", "math:E!\t?*2*\t6\t7", "math:?*2*\t0!\t0\t76", "math:E!\tV!normal-]\t7\t7", "math:V!normal-]\t0!\t0\t77"]],
"NTCIR12-MathWiki-36": [["math:U!eq\t?*1*\t0\t-", "math:?*1*\t0!\t0\t0", "math:U!eq\tO!root\t0\t-", "math:U!eq\tN!2\t01\t-", "math:U!eq\tO!divide\t00\t-", "math:O!root\tO!divide\t0\t0", "math:O!root\t+!O!SUB\t01\t0", "math:O!root\t+!O!SUB\t00\t0", "math:O!divide\t+!O!SUB\t0\t00", "math:O!divide\tU!times\t01\t00", "math:O!divide\tO!SUP\t00\t00", "math:+!O!SUB\tO!SUP\t0\t000", "math:+!O!SUB\tC!infinity\t01\t000", "math:+!O!SUB\tO!SUB\t00\t000", "math:O!SUP\tO!SUB\t0\t0000", "math:O!SUP\tN!0\t01\t0000", "math:O!SUP\tO!int\t00\t0000", "math:O!SUB\tO!int\t0\t00000", "math:O!int\t0!\t0\t60", "math:O!SUB\tN!0\t1\t00000", "math:N!0\t0!\t0\t5011", "math:O!SUP\tC!infinity\t1\t0000", "math:C!infinity\t0!\t0\t00001", "math:+!O!SUB\tU!times\t1\t000", "math:+!O!SUB\t?*1*\t10\t000", "math:+!O!SUB\tV!d\t10\t000", "math:+!O!SUB\t?*3*\t10\t000", "math:+!O!SUB\tO!SUP\t10\t000", "math:U!times\tO!SUP\t0\t0001", "math:U!times\tN!2\t01\t0001", "math:U!times\t?*2*\t00\t0001", "math:O!SUP\t?*2*\t0\t00010", "math:?*2*\t0!\t0\t301120", "math:O!SUP\tN!2\t1\t00010", "math:N!2\t0!\t0\t30111011", "math:U!times\t?*3*\t0\t0001", "math:?*3*\t0!\t0\t00010", "math:U!times\tV!d\t0\t0001", "math:V!d\t0!\t0\t00010", "math:U!times\t?*1*\t0\t0001", "math:?*1*\t0!\t0\t00010", "math:O!divide\t+!O!SUB\t1\t00", "math:O!divide\tU!times\t11\t00", "math:O!divide\tO!SUP\t10\t00", "math:+!O!SUB\tO!SUP\t0\t001", "math:+!O!SUB\tC!infinity\t01\t001", "math:+!O!SUB\tO!SUB\t00\t001", "math:O!SUP\tO!SUB\t0\t0010", "math:O!SUP\tN!0\t01\t0010", "math:O!SUP\tO!int\t00\t0010", "math:O!SUB\tO!int\t0\t00100", "math:O!int\t0!\t0\t201130", "math:O!SUB\tN!0\t1\t00100", "math:N!0\t0!\t0\t20112011", "math:O!SUP\tC!infinity\t1\t0010", "math:C!infinity\t0!\t0\t00101", "math:+!O!SUB\tU!times\t1\t001", "math:+!O!SUB\t?*1*\t10\t001", "math:+!O!SUB\tV!d\t10\t001", "math:+!O!SUB\t?*3*\t10\t001", "math:U!times\t?*3*\t0\t0011", "math:?*3*\t0!\t0\t00110", "math:U!times\tV!d\t0\t0011", "math:V!d\t0!\t0\t00110", "math:U!times\t?*1*\t0\t0011", "math:?*1*\t0!\t0\t00110", "math:O!root\tN!2\t1\t0", "math:N!2\t0!\t0\t01"]],
"NTCIR12-MathWiki-37": [["math:O!minus\tO!divide\t0\t-", "math:O!minus\t?*1*\t01\t-", "math:O!minus\tN!1\t00\t-", "math:O!divide\tN!1\t0\t0", "math:N!1\t0!\t0\t00", "math:O!divide\t?*1*\t1\t0", "math:?*1*\t0!\t0\t01", "math:O!minus\tO!divide\t1\t-", "math:O!minus\t?*2*\t11\t-", "math:O!minus\tN!1\t10\t-", "math:O!divide\tN!1\t0\t1", "math:N!1\t0!\t0\t10", "math:O!divide\t?*2*\t1\t1", "math:?*2*\t0!\t0\t11", "math:O!minus\tO!divide\t2\t-", "math:O!minus\t?*3*\t21\t-", "math:O!minus\tN!1\t20\t-", "math:O!divide\tN!1\t0\t2", "math:N!1\t0!\t0\t20", "math:O!divide\t?*3*\t1\t2", "math:?*3*\t0!\t0\t21", "math:O!minus\tO!divide\t3\t-", "math:O!minus\t?*4*\t31\t-", "math:O!minus\tN!1\t30\t-", "math:O!divide\tN!1\t0\t3", "math:N!1\t0!\t0\t30", "math:O!divide\t?*4*\t1\t3", "math:?*4*\t0!\t0\t31", "math:O!minus\tO!divide\t4\t-", "math:O!minus\t?*5*\t41\t-", "math:O!minus\tN!1\t40\t-", "math:O!divide\tN!1\t0\t4", "math:N!1\t0!\t0\t40", "math:O!divide\t?*5*\t1\t4", "math:?*5*\t0!\t0\t41"]],
"NTCIR12-MathWiki-38": [["math:U!times\tO!divide\t0\t-", "math:U!times\tU!times\t01\t-", "math:U!times\tO!factorial\t00\t-", "math:O!divide\tO!factorial\t0\t0", "math:O!divide\tV!N\t00\t0", "math:O!factorial\tV!N\t0\t00", "math:V!N\t0!\t0\t000", "math:O!divide\tU!times\t1\t0", "math:O!divide\tO!factorial\t10\t0", "math:O!divide\tO!factorial\t10\t0", "math:U!times\tO!factorial\t0\t01", "math:U!times\t?*1*\t00\t01", "math:O!factorial\t?*1*\t0\t010", "math:?*1*\t0!\t0\t0100", "math:U!times\tO!factorial\t0\t01", "math:U!times\tO!minus\t00\t01", "math:O!factorial\tO!minus\t0\t010", "math:O!factorial\t?*1*\t01\t010", "math:O!factorial\tV!N\t00\t010", "math:O!minus\tV!N\t0\t0100", "math:V!N\t0!\t0\t01000", "math:O!minus\t?*1*\t1\t0100", "math:?*1*\t0!\t0\t01001", "math:U!times\tO!SUP\t0\t-", "math:U!times\t?*1*\t01\t-", "math:U!times\tV!p\t00\t-", "math:O!SUP\tV!p\t0\t0", "math:V!p\t0!\t0\t00", "math:O!SUP\t?*1*\t1\t0", "math:?*1*\t0!\t0\t01", "math:U!times\tO!SUP\t0\t-", "math:U!times\tO!minus\t01\t-", "math:U!times\tO!minus\t00\t-", "math:O!SUP\tO!minus\t0\t0", "math:O!SUP\tV!p\t01\t0", "math:O!SUP\tN!1\t00\t0", "math:O!minus\tN!1\t0\t00", "math:N!1\t0!\t0\t000", "math:O!minus\tV!p\t1\t00", "math:V!p\t0!\t0\t001", "math:O!SUP\tO!minus\t1\t0", "math:O!SUP\t?*1*\t11\t0", "math:O!SUP\tV!N\t10\t0", "math:O!minus\tV!N\t0\t01", "math:V!N\t0!\t0\t010", "math:O!minus\t?*1*\t1\t01", "math:?*1*\t0!\t0\t011"]],
"NTCIR12-MathWiki-39": [["math:U!eq\tO!SUB\t0\t-", "math:U!eq\t?*1*\t01\t-", "math:U!eq\tV!H\t00\t-", "math:O!SUB\tV!H\t0\t0", "math:V!H\t0!\t0\t00", "math:O!SUB\t?*1*\t1\t0", "math:?*1*\t0!\t0\t01", "math:U!eq\tM!M-1x1\t0\t-", "math:U!eq\tM!R!\t00\t-", "math:M!M-1x1\tM!R!\t0\t0", "math:M!M-1x1\tO!divide\t00\t0", "math:M!R!\tO!divide\t0\t00", "math:M!R!\t?*3*\t01\t00", "math:M!R!\t+!O!partialdiff\t00\t00", "math:O!divide\t+!O!partialdiff\t0\t000", "math:O!divide\t?*2*\t01\t000", "math:O!divide\tO!SUP\t00\t000", "math:+!O!partialdiff\tO!SUP\t0\t0000", "math:+!O!partialdiff\tN!2\t01\t0000", "math:+!O!partialdiff\tO!partialdiff\t00\t0000", "math:O!SUP\tO!partialdiff\t0\t00000", "math:O!partialdiff\t0!\t0\t60", "math:O!SUP\tN!2\t1\t00000", "math:N!2\t0!\t0\t5011", "math:+!O!partialdiff\t?*2*\t1\t0000", "math:?*2*\t0!\t0\t00001", "math:O!divide\t?*3*\t1\t000", "math:?*3*\t0!\t0\t0001"]],
"NTCIR12-MathWiki-40": [["math:O!divide\t+!O!SUB\t0\t-", "math:O!divide\tU!times\t01\t-", "math:O!divide\tO!SUP\t00\t-", "math:+!O!SUB\tO!SUP\t0\t0", "math:+!O!SUB\tV!n\t01\t0", "math:+!O!SUB\tO!SUB\t00\t0", "math:O!SUP\tO!SUB\t0\t00", "math:O!SUP\tU!eq\t01\t00", "math:O!SUP\tO!sum\t00\t00", "math:O!SUB\tO!sum\t0\t000", "math:O!sum\t0!\t0\t0000", "math:O!SUB\tU!eq\t1\t000", "math:O!SUB\tN!1\t10\t000", "math:O!SUB\tV!i\t10\t000", "math:U!eq\tV!i\t0\t0001", "math:V!i\t0!\t0\t00010", "math:U!eq\tN!1\t0\t0001", "math:N!1\t0!\t0\t00010", "math:O!SUP\tV!n\t1\t00", "math:V!n\t0!\t0\t001", "math:+!O!SUB\tU!times\t1\t0", "math:+!O!SUB\tO!minus\t10\t0", "math:+!O!SUB\tO!minus\t10\t0", "math:U!times\tO!minus\t0\t01", "math:U!times\tF!normal- \u0304\t01\t01", "math:U!times\tO!SUB\t00\t01", "math:O!minus\tO!SUB\t0\t010", "math:O!minus\tV!i\t01\t010", "math:O!minus\t?*1*\t00\t010", "math:O!SUB\t?*1*\t0\t0100", "math:?*1*\t0!\t0\t01000", "math:O!SUB\tV!i\t1\t0100", "math:V!i\t0!\t0\t01001", "math:O!minus\tF!normal- \u0304\t1\t010", "math:O!minus\t?*1*\t10\t010", "math:F!normal- \u0304\t?*1*\t0\t0101", "math:?*1*\t0!\t0\t01010", "math:U!times\tO!minus\t0\t01", "math:U!times\tF!normal- \u0304\t01\t01", "math:U!times\tO!SUB\t00\t01", "math:O!minus\tO!SUB\t0\t010", "math:O!minus\tV!i\t01\t010", "math:O!minus\t?*2*\t00\t010", "math:O!SUB\t?*2*\t0\t0100", "math:?*2*\t0!\t0\t01000", "math:O!SUB\tV!i\t1\t0100", "math:V!i\t0!\t0\t01001", "math:O!minus\tF!normal- \u0304\t1\t010", "math:O!minus\t?*2*\t10\t010", "math:F!normal- \u0304\t?*2*\t0\t0101", "math:?*2*\t0!\t0\t01010", "math:O!divide\tO!root\t1\t-", "math:O!divide\tN!2\t11\t-", "math:O!divide\t+!O!SUB\t10\t-", "math:O!root\t+!O!SUB\t0\t1", "math:O!root\tU!times\t01\t1", "math:O!root\tO!SUP\t00\t1", "math:+!O!SUB\tO!SUP\t0\t10", "math:+!O!SUB\tV!n\t01\t10", "math:+!O!SUB\tO!SUB\t00\t10", "math:O!SUP\tO!SUB\t0\t100", "math:O!SUP\tU!eq\t01\t100", "math:O!SUP\tO!sum\t00\t100", "math:O!SUB\tO!sum\t0\t1000", "math:O!sum\t0!\t0\t10000", "math:O!SUB\tU!eq\t1\t1000", "math:O!SUB\tN!1\t10\t1000", "math:O!SUB\tV!i\t10\t1000", "math:U!eq\tV!i\t0\t10001", "math:V!i\t0!\t0\t11301110", "math:U!eq\tN!1\t0\t10001", "math:N!1\t0!\t0\t11301110", "math:O!SUP\tV!n\t1\t100", "math:V!n\t0!\t0\t1001", "math:+!O!SUB\tU!times\t1\t10", "math:+!O!SUB\t+!O!SUB\t10\t10", "math:+!O!SUB\tO!SUP\t10\t10", "math:U!times\tO!SUP\t0\t101", "math:U!times\tN!2\t01\t101", "math:U!times\tO!minus\t00\t101", "math:O!SUP\tO!minus\t0\t1010", "math:O!SUP\tF!normal- \u0304\t01\t1010", "math:O!SUP\tO!SUB\t00\t1010", "math:O!minus\tO!SUB\t0\t10100", "math:O!minus\tV!i\t01\t10100", "math:O!minus\t?*1*\t00\t10100", "math:O!SUB\t?*1*\t0\t11101130", "math:?*1*\t0!\t0\t11101140", "math:O!SUB\tV!i\t1\t11101130", "math:V!i\t0!\t0\t1110113011", "math:O!minus\tF!normal- \u0304\t1\t10100", "math:O!minus\t?*1*\t10\t10100", "math:F!normal- \u0304\t?*1*\t0\t1110112011", "math:?*1*\t0!\t0\t111011201110", "math:O!SUP\tN!2\t1\t1010", "math:N!2\t0!\t0\t10101", "math:U!times\t+!O!SUB\t0\t101", "math:U!times\tO!SUP\t01\t101", "math:U!times\tO!SUP\t00\t101", "math:+!O!SUB\tO!SUP\t0\t1010", "math:+!O!SUB\tV!n\t01\t1010", "math:+!O!SUB\tO!SUB\t00\t1010", "math:O!SUP\tO!SUB\t0\t10100", "math:O!SUP\tU!eq\t01\t10100", "math:O!SUP\tO!sum\t00\t10100", "math:O!SUB\tO!sum\t0\t11101130", "math:O!sum\t0!\t0\t11101140", "math:O!SUB\tU!eq\t1\t11101130", "math:O!SUB\tN!1\t10\t11101130", "math:O!SUB\tV!i\t10\t11101130", "math:U!eq\tV!i\t0\t1110113011", "math:V!i\t0!\t0\t111011301110", "math:U!eq\tN!1\t0\t1110113011", "math:N!1\t0!\t0\t111011301110", "math:O!SUP\tV!n\t1\t10100", "math:V!n\t0!\t0\t1110112011", "math:+!O!SUB\tO!SUP\t1\t1010", "math:+!O!SUB\tN!2\t11\t1010", "math:+!O!SUB\tO!minus\t10\t1010", "math:O!SUP\tO!minus\t0\t10101", "math:O!SUP\tF!normal- \u0304\t01\t10101", "math:O!SUP\tO!SUB\t00\t10101", "math:O!minus\tO!SUB\t0\t111011101110", "math:O!minus\tV!i\t01\t111011101110", "math:O!minus\t?*2*\t00\t111011101110", "math:O!SUB\t?*2*\t0\t111011101120", "math:?*2*\t0!\t0\t111011101130", "math:O!SUB\tV!i\t1\t111011101120", "math:V!i\t0!\t0\t11101110112011", "math:O!minus\tF!normal- \u0304\t1\t111011101110", "math:O!minus\t?*2*\t10\t111011101110", "math:F!normal- \u0304\t?*2*\t0\t11101110111011", "math:?*2*\t0!\t0\t1110111011101110", "math:O!SUP\tN!2\t1\t10101", "math:N!2\t0!\t0\t1110111021", "math:O!root\tN!2\t1\t1", "math:N!2\t0!\t0\t11"]],
}