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

	Name	Last modified	Size	Description
	Parent Directory		-
	h_down.p	2024-10-04 18:33	316
	v4_left.p	2024-10-04 18:33	316
	s1_left.p	2024-10-04 18:33	306
	v2_up.p	2024-10-04 18:33	307
	v2_right.p	2024-10-04 18:33	317
	v4_down.p	2024-10-04 18:33	309
	s2_right.p	2024-10-04 18:33	307
	s4_down.p	2024-10-04 18:33	306
	swap_blanks.p	2024-10-04 18:33	320
	v3_up.p	2024-10-04 18:33	307
	v1_left.p	2024-10-04 18:33	316
	s2_down.p	2024-10-04 18:33	306
	s2_up.p	2024-10-04 18:33	304
	s4_right.p	2024-10-04 18:33	307
	v3_left.p	2024-10-04 18:33	316
	s1_up.p	2024-10-04 18:33	304
	v2_left.p	2024-10-04 18:33	316
	s3_left.p	2024-10-04 18:33	306
	b_left.p	2024-10-04 18:33	324
	v2_down.p	2024-10-04 18:33	309
	s4_up.p	2024-10-04 18:33	304
	v3_down.p	2024-10-04 18:33	309
	s3_up.p	2024-10-04 18:33	304
	s2_left.p	2024-10-04 18:33	306
	b_up.p	2024-10-04 18:33	322
	s1_right.p	2024-10-04 18:33	307
	v1_up.p	2024-10-04 18:33	307
	h_up.p	2024-10-04 18:33	314
	h_left.p	2024-10-04 18:33	309
	v1_right.p	2024-10-04 18:33	317
	b_down.p	2024-10-04 18:33	324
	h_right.p	2024-10-04 18:33	310
	s1_down.p	2024-10-04 18:33	306
	v4_right.p	2024-10-04 18:33	317
	b_right.p	2024-10-04 18:33	325
	s3_right.p	2024-10-04 18:33	307
	v4_up.p	2024-10-04 18:33	307
	v3_right.p	2024-10-04 18:33	317
	v1_down.p	2024-10-04 18:33	309
	s3_down.p	2024-10-04 18:33	306
	s4_left.p	2024-10-04 18:33	306