Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/GRP125-4.004/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	column_surjectivity.p	2024-10-04 18:27	238
	e_1_is_not_e_2.p	2024-10-04 18:27	117
	e_1_is_not_e_3.p	2024-10-04 18:27	117
	e_1_is_not_e_4.p	2024-10-04 18:27	117
	e_2_is_not_e_1.p	2024-10-04 18:27	117
	e_2_is_not_e_3.p	2024-10-04 18:27	117
	e_2_is_not_e_4.p	2024-10-04 18:27	117
	e_3_is_not_e_1.p	2024-10-04 18:27	117
	e_3_is_not_e_2.p	2024-10-04 18:27	117
	e_3_is_not_e_4.p	2024-10-04 18:27	117
	e_4_is_not_e_1.p	2024-10-04 18:27	117
	e_4_is_not_e_2.p	2024-10-04 18:27	117
	e_4_is_not_e_3.p	2024-10-04 18:27	117
	element_1.p	2024-10-04 18:27	111
	element_2.p	2024-10-04 18:27	111
	element_3.p	2024-10-04 18:27	111
	element_4.p	2024-10-04 18:27	111
	product_idempotence.p	2024-10-04 18:27	125
	product_left_cancellation.p	2024-10-04 18:27	196
	product_right_cancellation.p	2024-10-04 18:27	197
	product_total_function1.p	2024-10-04 18:27	242
	product_total_function2.p	2024-10-04 18:27	194
	qg3.p	2024-10-04 18:27	181
	qg3_1.p	2024-10-04 18:27	183
	qg3_2.p	2024-10-04 18:27	183
	row_surjectivity.p	2024-10-04 18:27	235