Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SWV551-1.007/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	a1.p	2024-10-04 18:28	142
	a2.p	2024-10-04 18:28	172
	goal.p	2024-10-04 18:28	102
	hyp0.p	2024-10-04 18:28	118
	hyp1.p	2024-10-04 18:28	118
	hyp2.p	2024-10-04 18:28	120
	hyp3.p	2024-10-04 18:28	120
	hyp4.p	2024-10-04 18:28	120
	hyp5.p	2024-10-04 18:28	120
	hyp6.p	2024-10-04 18:28	120
	hyp7.p	2024-10-04 18:28	120
	hyp8.p	2024-10-04 18:28	120
	hyp9.p	2024-10-04 18:28	120
	hyp10.p	2024-10-04 18:28	121
	hyp11.p	2024-10-04 18:28	121
	hyp12.p	2024-10-04 18:28	121
	hyp13.p	2024-10-04 18:28	121
	hyp14.p	2024-10-04 18:28	115
	hyp15.p	2024-10-04 18:28	115
	hyp16.p	2024-10-04 18:28	117
	hyp17.p	2024-10-04 18:28	117
	hyp18.p	2024-10-04 18:28	117
	hyp19.p	2024-10-04 18:28	117
	hyp20.p	2024-10-04 18:28	117
	hyp21.p	2024-10-04 18:28	117
	hyp22.p	2024-10-04 18:28	117
	hyp23.p	2024-10-04 18:28	117
	hyp24.p	2024-10-04 18:28	117
	hyp25.p	2024-10-04 18:28	117
	hyp26.p	2024-10-04 18:28	117
	hyp27.p	2024-10-04 18:28	117
	hyp28.p	2024-10-04 18:28	106