Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SCT072-1/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	cls_CHAINED_0.p	2024-10-04 18:33	403
	cls_conjecture_0.p	2024-10-04 18:33	110
	cls_conjecture_1.p	2024-10-04 18:33	146
	cls_that_0.p	2024-10-04 18:33	138