Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/PUZ049-10/VerificationProblems/iProver-SAT---3.7

	Name	Last modified	Size	Description
	Parent Directory		-
	v4_up.p	2024-10-04 18:33	329
	v4_right.p	2024-10-04 18:33	339
	v4_left.p	2024-10-04 18:33	338
	v4_down.p	2024-10-04 18:33	331
	v3_up.p	2024-10-04 18:33	329
	v3_right.p	2024-10-04 18:33	339
	v3_left.p	2024-10-04 18:33	338
	v3_down.p	2024-10-04 18:33	331
	v2_up.p	2024-10-04 18:33	329
	v2_right.p	2024-10-04 18:33	339
	v2_left.p	2024-10-04 18:33	338
	v2_down.p	2024-10-04 18:33	331
	v1_up.p	2024-10-04 18:33	329
	v1_right.p	2024-10-04 18:33	339
	v1_left.p	2024-10-04 18:33	338
	v1_down.p	2024-10-04 18:33	331
	swap_blanks.p	2024-10-04 18:33	342
	s4_up.p	2024-10-04 18:33	326
	s4_right.p	2024-10-04 18:33	329
	s4_left.p	2024-10-04 18:33	328
	s4_down.p	2024-10-04 18:33	328
	s3_up.p	2024-10-04 18:33	326
	s3_right.p	2024-10-04 18:33	329
	s3_left.p	2024-10-04 18:33	328
	s3_down.p	2024-10-04 18:33	328
	s2_up.p	2024-10-04 18:33	326
	s2_right.p	2024-10-04 18:33	329
	s2_left.p	2024-10-04 18:33	328
	s2_down.p	2024-10-04 18:33	328
	s1_up.p	2024-10-04 18:33	326
	s1_right.p	2024-10-04 18:33	329
	s1_left.p	2024-10-04 18:33	328
	s1_down.p	2024-10-04 18:33	328
	intermediate_state.p	2024-10-04 18:33	324
	ifeq_axiom.p	2024-10-04 18:33	138
	h_up.p	2024-10-04 18:33	336
	h_right.p	2024-10-04 18:33	332
	h_left.p	2024-10-04 18:33	331
	h_down.p	2024-10-04 18:33	338
	goal_state.p	2024-10-04 18:33	261
	b_up.p	2024-10-04 18:33	344
	b_right.p	2024-10-04 18:33	347
	b_left.p	2024-10-04 18:33	346
	b_down.p	2024-10-04 18:33	346