Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/PUZ046-1/VerificationProblems/iProver-SAT---3.7

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