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

	Name	Last modified	Size	Description
	Parent Directory		-
	person4.p	2024-10-04 18:29	143
	person3.p	2024-10-04 18:29	141
	person2.p	2024-10-04 18:29	150
	person1.p	2024-10-04 18:29	130
	parent_with_sons_only7.p	2024-10-04 18:29	167
	parent_with_sons_only6.p	2024-10-04 18:29	155
	parent_with_sons_only5.p	2024-10-04 18:29	156
	parent_with_sons_only4.p	2024-10-04 18:29	194
	parent_with_sons_only3.p	2024-10-04 18:29	182
	parent_with_sons_only2.p	2024-10-04 18:29	186
	parent_with_sons_only1.p	2024-10-04 18:29	152
	parent4.p	2024-10-04 18:29	159
	parent3.p	2024-10-04 18:29	133
	parent2.p	2024-10-04 18:29	134
	parent1.p	2024-10-04 18:29	122
	mother4.p	2024-10-04 18:29	157
	mother3.p	2024-10-04 18:29	131
	mother2.p	2024-10-04 18:29	130
	mother1.p	2024-10-04 18:29	122
	grandparent4.p	2024-10-04 18:29	169
	grandparent3.p	2024-10-04 18:29	143
	grandparent2.p	2024-10-04 18:29	144
	grandparent1.p	2024-10-04 18:29	132
	female2.p	2024-10-04 18:29	118
	female1.p	2024-10-04 18:29	122
	father3.p	2024-10-04 18:29	134
	father2.p	2024-10-04 18:29	124
	father1.p	2024-10-04 18:29	122