id	topic_id	thread_id	type	formula
q_253	A.31	3082747	question	"F!→	V!p	0	- V!p	0!	0	0 F!→	V!q	1	- V!q	0!	0	1"
q_254	A.31	3082747	question	"V!p	0!	0	-"
q_255	A.31	3082747	question	"V!q	0!	0	-"
q_256	A.31	3082747	question	"F!→	V!p	0	- V!p	0!	0	0 F!→	V!q	1	- V!q	0!	0	1"
q_257	A.31	3082747	question	"V!p	0!	0	-"
q_258	A.31	3082747	question	"V!q	0!	0	-"
q_259	A.31	3082747	question	"V!p	0!	0	-"
q_260	A.31	3082747	question	"V!q	0!	0	-"
q_261	A.31	3082747	question	"F!→	V!p	0	- V!p	0!	0	0 F!→	V!q	1	- V!q	0!	0	1"
q_732	A.78	3237032	question	"M!L-2	U!times	0	- M!L-2	V!t	00	- M!L-2	V!g	00	- M!L-2	V!&	00	- M!L-2	V!italic-ε	00	- U!times	V!italic-ε	0	0 V!italic-ε	0!	0	00 U!times	V!&	0	0 V!&	0!	0	00 U!times	V!g	0	0 V!g	0!	0	00 U!times	V!t	0	0 V!t	0!	0	00 M!L-2	N!0	1	- N!0	0!	0	1"
q_734	A.78	3237032	question	"O!geq	M!L-2	0	- O!geq	V!m	01	- O!geq	U!times	00	- M!L-2	U!times	0	0 M!L-2	V!t	00	0 M!L-2	V!g	00	0 M!L-2	V!&	00	0 M!L-2	V!n	00	0 U!times	V!n	0	00 V!n	0!	0	000 U!times	V!&	0	00 V!&	0!	0	000 U!times	V!g	0	00 V!g	0!	0	000 U!times	V!t	0	00 V!t	0!	0	000 M!L-2	V!m	1	0 V!m	0!	0	01 O!geq	V!N	1	- V!N	0!	0	1"
q_736	A.78	3237032	question	"O!geq	M!L-2	0	- O!geq	V!m	01	- O!geq	U!times	00	- M!L-2	U!times	0	0 M!L-2	V!t	00	0 M!L-2	V!g	00	0 M!L-2	V!&	00	0 M!L-2	V!n	00	0 U!times	V!n	0	00 V!n	0!	0	000 U!times	V!&	0	00 V!&	0!	0	000 U!times	V!g	0	00 V!g	0!	0	000 U!times	V!t	0	00 V!t	0!	0	000 M!L-2	V!m	1	0 V!m	0!	0	01 O!geq	V!N	1	- V!N	0!	0	1"
q_1029	A.101	3163489	question	"U!eq	V!n	0	- V!n	0!	0	0 U!eq	N!4	0	- N!4	0!	0	0"
q_1030	A.101	3163489	question	"V!k	0!	0	-"
q_1031	A.101	3163489	question	"U!eq	V!n	0	- V!n	0!	0	0 U!eq	V!k	0	- V!k	0!	0	0"
q_1043	A.101	3163489	question	"U!eq	V!n	0	- V!n	0!	0	0 U!eq	N!4	0	- N!4	0!	0	0"
q_1044	A.101	3163489	question	"U!eq	M!L-2	0	- U!eq	V!k	01	- U!eq	V!j	00	- M!L-2	V!j	0	0 V!j	0!	0	00 M!L-2	V!k	1	0 V!k	0!	0	01 U!eq	V!j	0	- V!j	0!	0	0"