Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/GRP123-9.004/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	column_surjectivity.p	2024-10-04 18:29	238
	e_1_is_not_e_2.p	2024-10-04 18:29	117
	e_1_is_not_e_3.p	2024-10-04 18:29	117
	e_1_is_not_e_4.p	2024-10-04 18:29	117
	e_2_is_not_e_1.p	2024-10-04 18:29	117
	e_2_is_not_e_3.p	2024-10-04 18:29	117
	e_2_is_not_e_4.p	2024-10-04 18:29	117
	e_3_is_not_e_1.p	2024-10-04 18:29	117
	e_3_is_not_e_2.p	2024-10-04 18:29	117
	e_3_is_not_e_4.p	2024-10-04 18:29	117
	e_4_is_not_e_1.p	2024-10-04 18:29	117
	e_4_is_not_e_2.p	2024-10-04 18:29	117
	e_4_is_not_e_3.p	2024-10-04 18:29	117
	element_1.p	2024-10-04 18:29	111
	element_2.p	2024-10-04 18:29	111
	element_3.p	2024-10-04 18:29	111
	element_4.p	2024-10-04 18:29	111
	product1_idempotence.p	2024-10-04 18:29	127
	product1_left_cancellation.p	2024-10-04 18:29	199
	product1_right_cancellation.p	2024-10-04 18:29	200
	product1_total_function1.p	2024-10-04 18:29	247
	product1_total_function2.p	2024-10-04 18:29	197
	product2_idempotence.p	2024-10-04 18:29	127
	product2_left_cancellation.p	2024-10-04 18:29	199
	product2_right_cancellation.p	2024-10-04 18:29	200
	product2_total_function1.p	2024-10-04 18:29	247
	product2_total_function2.p	2024-10-04 18:29	197
	qg1a.p	2024-10-04 18:29	185
	row_surjectivity.p	2024-10-04 18:29	235