Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/PUZ028-2/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	person_1.p	2024-10-04 18:25	98
	person_2.p	2024-10-04 18:25	98
	person_3.p	2024-10-04 18:25	98
	person_4.p	2024-10-04 18:25	98
	person_5.p	2024-10-04 18:25	98
	person_6.p	2024-10-04 18:25	98
	not_equal_1_2.p	2024-10-04 18:25	109
	not_equal_1_3.p	2024-10-04 18:25	109
	not_equal_1_4.p	2024-10-04 18:25	109
	not_equal_1_5.p	2024-10-04 18:25	109
	not_equal_1_6.p	2024-10-04 18:25	109
	not_equal_2_1.p	2024-10-04 18:25	109
	not_equal_2_3.p	2024-10-04 18:25	109
	not_equal_2_4.p	2024-10-04 18:25	109
	not_equal_2_5.p	2024-10-04 18:25	109
	not_equal_2_6.p	2024-10-04 18:25	109
	not_equal_3_1.p	2024-10-04 18:25	109
	not_equal_3_2.p	2024-10-04 18:25	109
	not_equal_3_4.p	2024-10-04 18:25	109
	not_equal_3_5.p	2024-10-04 18:25	109
	not_equal_3_6.p	2024-10-04 18:25	109
	not_equal_4_1.p	2024-10-04 18:25	109
	not_equal_4_2.p	2024-10-04 18:25	109
	not_equal_4_3.p	2024-10-04 18:25	109
	not_equal_4_5.p	2024-10-04 18:25	109
	not_equal_4_6.p	2024-10-04 18:25	109
	not_equal_5_1.p	2024-10-04 18:25	109
	not_equal_5_2.p	2024-10-04 18:25	109
	not_equal_5_3.p	2024-10-04 18:25	109
	not_equal_5_4.p	2024-10-04 18:25	109
	not_equal_5_6.p	2024-10-04 18:25	109
	not_equal_6_1.p	2024-10-04 18:25	109
	not_equal_6_2.p	2024-10-04 18:25	109
	not_equal_6_3.p	2024-10-04 18:25	109
	not_equal_6_4.p	2024-10-04 18:25	109
	not_equal_6_5.p	2024-10-04 18:25	109
	three_familiar.p	2024-10-04 18:25	182
	familiar_or_not.p	2024-10-04 18:25	195
	three_not_familiar.p	2024-10-04 18:25	198