{
"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": [],
"NTCIR12-MathWiki-4": [],
"NTCIR12-MathWiki-5": [],
"NTCIR12-MathWiki-6": [],
"NTCIR12-MathWiki-7": [],
"NTCIR12-MathWiki-8": [],
"NTCIR12-MathWiki-9": [],
"NTCIR12-MathWiki-10": [],
"NTCIR12-MathWiki-11": [],
"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": [],
"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": [],
"NTCIR12-MathWiki-16": [],
"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": [],
"NTCIR12-MathWiki-19": [],
"NTCIR12-MathWiki-20": [],
"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": [],
"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": [],
"NTCIR12-MathWiki-25": [],
"NTCIR12-MathWiki-26": [],
"NTCIR12-MathWiki-27": [],
"NTCIR12-MathWiki-28": [],
"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": [],
"NTCIR12-MathWiki-31": [],
"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": [],
"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": [],
"NTCIR12-MathWiki-36": [],
"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": [],
"NTCIR12-MathWiki-39": [],
"NTCIR12-MathWiki-40": [],
}