Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/LCL645-10.001/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	goal.p	2024-10-04 18:24	101
	ifeq_axiom.p	2024-10-04 18:24	143
	ifeq_axiom_001.p	2024-10-04 18:24	146
	main.p	2024-10-04 18:24	127
	main_1.p	2024-10-04 18:24	129
	main_2.p	2024-10-04 18:24	151
	main_3.p	2024-10-04 18:24	151
	main_4.p	2024-10-04 18:24	130
	main_5.p	2024-10-04 18:24	130