Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/PUZ049-1/VerificationProblems/Vampire-SAT---4.7

	Name	Last modified	Size	Description
	Parent Directory		-
	h_down.p	2024-10-04 18:28	322
	v4_left.p	2024-10-04 18:28	322
	s1_left.p	2024-10-04 18:28	312
	v2_up.p	2024-10-04 18:28	313
	intermediate_state.p	2024-10-04 18:28	316
	v2_right.p	2024-10-04 18:28	323
	v4_down.p	2024-10-04 18:28	315
	s2_right.p	2024-10-04 18:28	313
	s4_down.p	2024-10-04 18:28	312
	swap_blanks.p	2024-10-04 18:28	326
	v3_up.p	2024-10-04 18:28	313
	v1_left.p	2024-10-04 18:28	322
	s2_down.p	2024-10-04 18:28	312
	s2_up.p	2024-10-04 18:28	310
	v3_left.p	2024-10-04 18:28	322
	s4_right.p	2024-10-04 18:28	313
	s1_up.p	2024-10-04 18:28	310
	v2_left.p	2024-10-04 18:28	322
	s3_left.p	2024-10-04 18:28	312
	b_left.p	2024-10-04 18:28	330
	v2_down.p	2024-10-04 18:28	315
	goal_state.p	2024-10-04 18:28	254
	s4_up.p	2024-10-04 18:28	310
	v3_down.p	2024-10-04 18:28	315
	s3_up.p	2024-10-04 18:28	310
	s2_left.p	2024-10-04 18:28	312
	b_up.p	2024-10-04 18:28	328
	s1_right.p	2024-10-04 18:28	313
	v1_up.p	2024-10-04 18:28	313
	h_up.p	2024-10-04 18:28	320
	h_left.p	2024-10-04 18:28	315
	v1_right.p	2024-10-04 18:28	323
	b_down.p	2024-10-04 18:28	330
	h_right.p	2024-10-04 18:28	316
	s1_down.p	2024-10-04 18:28	312
	v4_right.p	2024-10-04 18:28	323
	b_right.p	2024-10-04 18:28	331
	s3_right.p	2024-10-04 18:28	313
	v4_up.p	2024-10-04 18:28	313
	v3_right.p	2024-10-04 18:28	323
	v1_down.p	2024-10-04 18:28	315
	s3_down.p	2024-10-04 18:28	312
	s4_left.p	2024-10-04 18:28	312