id	topic_id	thread_id	type	formula
q_253	A.31	3082747	question	F!→ V!p V!q
q_254	A.31	3082747	question	V!p
q_255	A.31	3082747	question	V!q
q_256	A.31	3082747	question	F!→ V!p V!q
q_257	A.31	3082747	question	V!p
q_258	A.31	3082747	question	V!q
q_259	A.31	3082747	question	V!p
q_260	A.31	3082747	question	V!q
q_261	A.31	3082747	question	F!→ V!p V!q
q_730	A.78	3237032	title	+!O!SUB O!SUP O!SUB O!sum U!eq V!n N!1 C!infinity O!SUB V!a V!n
q_731	A.78	3237032	title	+!O!SUB O!SUP O!SUB O!sum U!eq V!n N!1 C!infinity O!SUP O!SUB V!a V!n N!2
q_732	A.78	3237032	question	M!L-2 U!times V!italic-ε V!& V!g V!t N!0
q_733	A.78	3237032	question	O!sum O!SUB V!a V!n
q_734	A.78	3237032	question	O!geq M!L-2 U!times V!n V!& V!g V!t V!m V!N
q_735	A.78	3237032	question	U!eq F!abs +!O!SUB O!SUP O!SUB O!sum U!eq V!k U!plus V!m N!1 V!n F!abs O!SUB V!a V!k M!L-2 +!O!SUB O!SUP O!SUB O!sum U!eq V!k U!plus V!m N!1 V!n U!times F!abs O!SUB V!a V!k V!& V!l V!t O!root V!italic-ε N!2
q_736	A.78	3237032	question	O!geq M!L-2 U!times V!n V!& V!g V!t V!m V!N
q_737	A.78	3237032	question	O!form-seq U!and U!eq F!abs +!O!SUB O!SUP O!SUB O!sum U!eq V!k U!plus V!m N!1 V!n O!SUP O!SUB V!a V!k N!2 +!O!SUB O!SUP O!SUB O!sum U!eq V!k U!plus V!m N!1 V!n O!SUP O!SUB V!a V!k N!2 O!leq +!O!SUB O!SUP O!SUB O!sum U!eq V!k U!plus V!m N!1 V!n O!SUP O!SUB V!a V!k N!2 U!times O!SUP +!O!SUB O!SUP O!SUB O!sum U!eq V!k U!plus V!m N!1 V!n F!abs O!SUB V!a V!k N!2 V!& V!l V!t U!eq O!SUP O!root V!italic-ε N!2 N!2 V!italic-ε
q_738	A.78	3237032	question	O!sum O!SUP O!SUB V!a V!n N!2
q_1027	A.101	3163489	question	O!leq O!SUP V!n N!2 O!SUP N!2 V!n
q_1028	A.101	3163489	question	O!in O!forall V!n M!L-3 V!N U!times V!n V!& V!g V!t N!3
q_1029	A.101	3163489	question	U!eq V!n N!4
q_1030	A.101	3163489	question	V!k
q_1031	A.101	3163489	question	U!eq V!n V!k
q_1032	A.101	3163489	question	O!leq O!SUP V!k N!2 O!SUP N!2 V!k
q_1033	A.101	3163489	question	O!leq O!SUP U!plus V!k N!1 N!2 O!SUP N!2 U!plus V!k N!1
q_1034	A.101	3163489	question	U!and U!eq W! O!SUP V!k N!2 O!leq O!SUP V!k N!2 O!SUP N!2 V!k
q_1035	A.101	3163489	question	U!and U!eq W! U!times N!2 O!SUP V!k N!2 O!leq U!times N!2 O!SUP V!k N!2 O!SUP N!2 U!plus V!k N!1
q_1036	A.101	3163489	question	O!leq O!SUP U!plus V!k N!1 N!2 U!times N!2 O!SUP V!k N!2
q_1037	A.101	3163489	question	O!leq O!SUP U!plus V!k N!1 N!2 O!SUP N!2 U!plus V!k N!1
q_1038	A.101	3163489	question	U!times O!SUP U!plus V!k N!1 N!2 V!≤ N!2 O!SUP V!k N!2
q_1039	A.101	3163489	question	U!and U!eq W! U!plus O!SUP V!k N!2 U!times N!2 V!k N!1 O!leq U!plus O!SUP V!k N!2 U!times N!2 V!k N!1 U!times N!2 O!SUP V!k N!2
q_1040	A.101	3163489	question	U!and U!eq W! U!plus U!times N!2 V!k N!1 O!leq U!plus U!times N!2 V!k N!1 O!SUP V!k N!2
q_1041	A.101	3163489	question	U!and U!eq W! U!plus U!times N!2 V!k N!1 O!leq U!plus U!times N!2 V!k N!1 O!SUP N!2 V!k
q_1042	A.101	3163489	question	O!leq O!SUP U!plus V!k N!1 N!2 U!times N!2 O!SUP V!k N!2
q_1043	A.101	3163489	question	U!eq V!n N!4
q_1044	A.101	3163489	question	U!eq M!L-2 V!j V!k V!j
q_1045	A.101	3163489	question	O!leq U!plus U!times N!2 V!k N!1 O!SUP N!2 V!k