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 , ( V!n U!eq N!1 ) ) , C!infinity ) , O!SUB ( V!a , V!n ) )
q_731	A.78	3237032	title	+!O!SUB ( O!SUP ( O!SUB ( O!sum , ( V!n U!eq N!1 ) ) , C!infinity ) , O!SUP ( O!SUB ( V!a , V!n ) , N!2 ) )
q_732	A.78	3237032	question	M!L-2 ( ( V!italic-ε U!times V!& U!times V!g U!times V!t ) , N!0 )
q_733	A.78	3237032	question	O!sum ( O!SUB ( V!a , V!n ) )
q_734	A.78	3237032	question	( M!L-2 ( ( V!n U!times V!& U!times V!g U!times V!t ) , V!m ) O!geq V!N )
q_735	A.78	3237032	question	( F!abs ( +!O!SUB ( O!SUP ( O!SUB ( O!sum , ( V!k U!eq ( V!m U!plus N!1 ) ) ) , V!n ) , F!abs ( O!SUB ( V!a , V!k ) ) ) ) U!eq M!L-2 ( +!O!SUB ( O!SUP ( O!SUB ( O!sum , ( V!k U!eq ( V!m U!plus N!1 ) ) ) , V!n ) , ( F!abs ( O!SUB ( V!a , V!k ) ) U!times V!& U!times V!l U!times V!t ) ) , O!root ( V!italic-ε , N!2 ) ) )
q_736	A.78	3237032	question	( M!L-2 ( ( V!n U!times V!& U!times V!g U!times V!t ) , V!m ) O!geq V!N )
q_737	A.78	3237032	question	O!form-seq ( ( ( F!abs ( +!O!SUB ( O!SUP ( O!SUB ( O!sum , ( V!k U!eq ( V!m U!plus N!1 ) ) ) , V!n ) , O!SUP ( O!SUB ( V!a , V!k ) , N!2 ) ) ) U!eq +!O!SUB ( O!SUP ( O!SUB ( O!sum , ( V!k U!eq ( V!m U!plus N!1 ) ) ) , V!n ) , O!SUP ( O!SUB ( V!a , V!k ) , N!2 ) ) ) U!and ( +!O!SUB ( O!SUP ( O!SUB ( O!sum , ( V!k U!eq ( V!m U!plus N!1 ) ) ) , V!n ) , O!SUP ( O!SUB ( V!a , V!k ) , N!2 ) ) O!leq ( O!SUP ( +!O!SUB ( O!SUP ( O!SUB ( O!sum , ( V!k U!eq ( V!m U!plus N!1 ) ) ) , V!n ) , F!abs ( O!SUB ( V!a , V!k ) ) ) , N!2 ) U!times V!& U!times V!l U!times V!t ) ) ) , ( O!SUP ( O!root ( V!italic-ε , N!2 ) , N!2 ) U!eq 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!SUP ( V!n , N!2 ) O!leq O!SUP ( N!2 , V!n ) )
q_1028	A.101	3163489	question	( O!forall ( V!n ) O!in M!L-3 ( V!N , ( V!n U!times V!& U!times V!g U!times V!t ) , N!3 ) )
q_1029	A.101	3163489	question	( V!n U!eq N!4 )
q_1030	A.101	3163489	question	V!k
q_1031	A.101	3163489	question	( V!n U!eq V!k )
q_1032	A.101	3163489	question	( O!SUP ( V!k , N!2 ) O!leq O!SUP ( N!2 , V!k ) )
q_1033	A.101	3163489	question	( O!SUP ( ( V!k U!plus N!1 ) , N!2 ) O!leq O!SUP ( N!2 , ( V!k U!plus N!1 ) ) )
q_1034	A.101	3163489	question	( ( W! U!eq O!SUP ( V!k , N!2 ) ) U!and ( O!SUP ( V!k , N!2 ) O!leq O!SUP ( N!2 , V!k ) ) )
q_1035	A.101	3163489	question	( ( W! U!eq ( N!2 U!times O!SUP ( V!k , N!2 ) ) ) U!and ( ( N!2 U!times O!SUP ( V!k , N!2 ) ) O!leq O!SUP ( N!2 , ( V!k U!plus N!1 ) ) ) )
q_1036	A.101	3163489	question	( O!SUP ( ( V!k U!plus N!1 ) , N!2 ) O!leq ( N!2 U!times O!SUP ( V!k , N!2 ) ) )
q_1037	A.101	3163489	question	( O!SUP ( ( V!k U!plus N!1 ) , N!2 ) O!leq O!SUP ( N!2 , ( V!k U!plus N!1 ) ) )
q_1038	A.101	3163489	question	( O!SUP ( ( V!k U!plus N!1 ) , N!2 ) U!times V!≤ U!times N!2 U!times O!SUP ( V!k , N!2 ) )
q_1039	A.101	3163489	question	( ( W! U!eq ( O!SUP ( V!k , N!2 ) U!plus ( N!2 U!times V!k ) U!plus N!1 ) ) U!and ( ( O!SUP ( V!k , N!2 ) U!plus ( N!2 U!times V!k ) U!plus N!1 ) O!leq ( N!2 U!times O!SUP ( V!k , N!2 ) ) ) )
q_1040	A.101	3163489	question	( ( W! U!eq ( ( N!2 U!times V!k ) U!plus N!1 ) ) U!and ( ( ( N!2 U!times V!k ) U!plus N!1 ) O!leq O!SUP ( V!k , N!2 ) ) )
q_1041	A.101	3163489	question	( ( W! U!eq ( ( N!2 U!times V!k ) U!plus N!1 ) ) U!and ( ( ( N!2 U!times V!k ) U!plus N!1 ) O!leq O!SUP ( N!2 , V!k ) ) )
q_1042	A.101	3163489	question	( O!SUP ( ( V!k U!plus N!1 ) , N!2 ) O!leq ( N!2 U!times O!SUP ( V!k , N!2 ) ) )
q_1043	A.101	3163489	question	( V!n U!eq N!4 )
q_1044	A.101	3163489	question	( M!L-2 ( V!j , V!k ) U!eq V!j )
q_1045	A.101	3163489	question	( ( ( N!2 U!times V!k ) U!plus N!1 ) O!leq O!SUP ( N!2 , V!k ) )