Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/PUZ028-3/VerificationProblems/Vampire-SAT---4.7

	Name	Last modified	Size	Description
	Parent Directory		-
	three_not_familiar_6_3_2.p	2024-10-04 18:26	179
	three_not_familiar_4_3_2.p	2024-10-04 18:26	179
	three_familiar_4_5_6.p	2024-10-04 18:26	163
	three_not_familiar_1_5_6.p	2024-10-04 18:26	179
	three_familiar_5_2_2.p	2024-10-04 18:26	163
	three_not_familiar_3_6_2.p	2024-10-04 18:26	179
	three_not_familiar_1_4_2.p	2024-10-04 18:26	179
	three_not_familiar_4_5_5.p	2024-10-04 18:26	179
	not_equal_5_3.p	2024-10-04 18:26	115
	three_not_familiar_1_2_6.p	2024-10-04 18:26	179
	not_equal_4_1.p	2024-10-04 18:26	115
	three_not_familiar_3_3_5.p	2024-10-04 18:26	179
	three_familiar_3_4_6.p	2024-10-04 18:26	163
	three_not_familiar_1_6_5.p	2024-10-04 18:26	179
	three_familiar_2_1_2.p	2024-10-04 18:26	163
	three_familiar_3_3_4.p	2024-10-04 18:26	163
	three_familiar_6_1_1.p	2024-10-04 18:26	163
	three_familiar_4_2_3.p	2024-10-04 18:26	163
	familiar_or_not_4_4.p	2024-10-04 18:26	193
	three_not_familiar_4_5_4.p	2024-10-04 18:26	179
	not_equal_1_4.p	2024-10-04 18:26	115
	three_familiar_3_3_1.p	2024-10-04 18:26	163
	three_familiar_6_4_3.p	2024-10-04 18:26	163
	three_familiar_6_4_1.p	2024-10-04 18:26	163
	familiar_or_not_4_2.p	2024-10-04 18:26	193
	three_familiar_1_1_3.p	2024-10-04 18:26	163
	three_familiar_3_4_5.p	2024-10-04 18:26	163
	three_familiar_3_4_3.p	2024-10-04 18:26	163
	familiar_or_not_3_3.p	2024-10-04 18:26	193
	three_familiar_4_6_5.p	2024-10-04 18:26	163
	three_not_familiar_4_4_3.p	2024-10-04 18:26	179
	three_familiar_5_3_2.p	2024-10-04 18:26	163
	not_equal_1_2.p	2024-10-04 18:26	115
	three_not_familiar_6_1_2.p	2024-10-04 18:26	179
	three_not_familiar_1_6_1.p	2024-10-04 18:26	179
	three_familiar_3_1_1.p	2024-10-04 18:26	163
	three_not_familiar_3_6_3.p	2024-10-04 18:26	179
	three_not_familiar_1_1_5.p	2024-10-04 18:26	179
	familiar_or_not_6_6.p	2024-10-04 18:26	193
	three_not_familiar_3_2_5.p	2024-10-04 18:26	179
	three_not_familiar_4_6_6.p	2024-10-04 18:26	179
	three_familiar_4_3_1.p	2024-10-04 18:26	163
	three_not_familiar_2_3_4.p	2024-10-04 18:26	179
	three_not_familiar_1_6_4.p	2024-10-04 18:26	179
	three_familiar_5_2_3.p	2024-10-04 18:26	163
	three_familiar_3_2_1.p	2024-10-04 18:26	163
	three_not_familiar_3_6_5.p	2024-10-04 18:26	179
	three_not_familiar_2_6_5.p	2024-10-04 18:26	179
	three_familiar_1_3_4.p	2024-10-04 18:26	163
	three_not_familiar_5_2_4.p	2024-10-04 18:26	179
	three_familiar_4_1_3.p	2024-10-04 18:26	163
	three_not_familiar_4_1_5.p	2024-10-04 18:26	179
	three_familiar_5_1_2.p	2024-10-04 18:26	163
	not_equal_4_6.p	2024-10-04 18:26	115
	three_familiar_3_4_4.p	2024-10-04 18:26	163
	three_not_familiar_1_5_1.p	2024-10-04 18:26	179
	three_familiar_2_1_5.p	2024-10-04 18:26	163
	three_familiar_5_3_1.p	2024-10-04 18:26	163
	three_familiar_5_6_5.p	2024-10-04 18:26	163
	three_familiar_1_4_2.p	2024-10-04 18:26	163
	three_not_familiar_3_4_5.p	2024-10-04 18:26	179
	three_familiar_5_3_3.p	2024-10-04 18:26	163
	three_not_familiar_2_5_1.p	2024-10-04 18:26	179
	three_not_familiar_4_5_3.p	2024-10-04 18:26	179
	three_not_familiar_5_1_3.p	2024-10-04 18:26	179
	three_familiar_6_1_4.p	2024-10-04 18:26	163
	three_familiar_2_1_6.p	2024-10-04 18:26	163
	three_not_familiar_5_4_3.p	2024-10-04 18:26	179
	three_familiar_6_6_2.p	2024-10-04 18:26	163
	three_familiar_5_4_1.p	2024-10-04 18:26	163
	three_not_familiar_6_2_3.p	2024-10-04 18:26	179
	three_familiar_2_3_6.p	2024-10-04 18:26	163
	three_not_familiar_3_6_1.p	2024-10-04 18:26	179
	three_not_familiar_1_1_6.p	2024-10-04 18:26	179
	three_not_familiar_1_1_4.p	2024-10-04 18:26	179
	three_familiar_2_4_2.p	2024-10-04 18:26	163
	three_familiar_4_2_4.p	2024-10-04 18:26	163
	three_familiar_6_4_6.p	2024-10-04 18:26	163
	three_familiar_4_3_6.p	2024-10-04 18:26	163
	three_familiar_4_5_1.p	2024-10-04 18:26	163
	three_not_familiar_2_1_3.p	2024-10-04 18:26	179
	familiar_or_not_4_3.p	2024-10-04 18:26	193
	three_familiar_1_4_1.p	2024-10-04 18:26	163
	three_familiar_3_2_6.p	2024-10-04 18:26	163
	three_not_familiar_2_4_2.p	2024-10-04 18:26	179
	three_familiar_1_1_4.p	2024-10-04 18:26	163
	three_familiar_2_5_6.p	2024-10-04 18:26	163
	not_equal_3_6.p	2024-10-04 18:26	115
	familiar_or_not_2_5.p	2024-10-04 18:26	193
	three_familiar_2_5_2.p	2024-10-04 18:26	163
	three_not_familiar_1_5_3.p	2024-10-04 18:26	179
	three_not_familiar_4_4_6.p	2024-10-04 18:26	179
	not_equal_5_1.p	2024-10-04 18:26	115
	familiar_or_not_6_1.p	2024-10-04 18:26	193
	three_familiar_2_3_1.p	2024-10-04 18:26	163
	three_familiar_6_5_4.p	2024-10-04 18:26	163
	three_not_familiar_4_6_1.p	2024-10-04 18:26	179
	not_equal_6_2.p	2024-10-04 18:26	115
	three_familiar_2_5_5.p	2024-10-04 18:26	163
	three_familiar_2_4_6.p	2024-10-04 18:26	163
	three_familiar_5_5_6.p	2024-10-04 18:26	163
	three_not_familiar_1_4_5.p	2024-10-04 18:26	179
	three_not_familiar_3_5_4.p	2024-10-04 18:26	179
	not_equal_3_2.p	2024-10-04 18:26	115
	three_familiar_5_1_5.p	2024-10-04 18:26	163
	three_not_familiar_6_3_5.p	2024-10-04 18:26	179
	three_not_familiar_6_1_4.p	2024-10-04 18:26	179
	three_familiar_5_3_6.p	2024-10-04 18:26	163
	three_not_familiar_5_1_4.p	2024-10-04 18:26	179
	three_familiar_1_3_1.p	2024-10-04 18:26	163
	three_not_familiar_3_4_3.p	2024-10-04 18:26	179
	three_not_familiar_4_2_5.p	2024-10-04 18:26	179
	not_equal_3_5.p	2024-10-04 18:26	115
	three_familiar_1_1_1.p	2024-10-04 18:26	163
	three_familiar_5_6_4.p	2024-10-04 18:26	163
	three_not_familiar_2_4_5.p	2024-10-04 18:26	179
	familiar_or_not_3_4.p	2024-10-04 18:26	193
	three_not_familiar_2_6_2.p	2024-10-04 18:26	179
	three_not_familiar_5_5_1.p	2024-10-04 18:26	179
	three_not_familiar_4_2_3.p	2024-10-04 18:26	179
	three_not_familiar_6_1_1.p	2024-10-04 18:26	179
	three_familiar_2_3_2.p	2024-10-04 18:26	163
	three_not_familiar_3_3_2.p	2024-10-04 18:26	179
	three_familiar_6_5_5.p	2024-10-04 18:26	163
	not_equal_2_5.p	2024-10-04 18:26	115
	three_not_familiar_6_2_1.p	2024-10-04 18:26	179
	three_not_familiar_3_3_3.p	2024-10-04 18:26	179
	three_familiar_2_3_5.p	2024-10-04 18:26	163
	three_familiar_5_3_4.p	2024-10-04 18:26	163
	three_not_familiar_3_2_3.p	2024-10-04 18:26	179
	three_familiar_5_1_6.p	2024-10-04 18:26	163
	three_not_familiar_4_1_6.p	2024-10-04 18:26	179
	three_familiar_1_6_6.p	2024-10-04 18:26	163
	three_not_familiar_1_1_2.p	2024-10-04 18:26	179
	three_familiar_2_4_3.p	2024-10-04 18:26	163
	not_equal_4_3.p	2024-10-04 18:26	115
	person_3.p	2024-10-04 18:26	104
	three_familiar_5_4_4.p	2024-10-04 18:26	163
	three_not_familiar_2_1_2.p	2024-10-04 18:26	179
	three_not_familiar_1_2_3.p	2024-10-04 18:26	179
	three_familiar_3_5_4.p	2024-10-04 18:26	163
	three_not_familiar_5_5_3.p	2024-10-04 18:26	179
	three_familiar_4_4_4.p	2024-10-04 18:26	163
	three_not_familiar_6_6_5.p	2024-10-04 18:26	179
	three_not_familiar_4_1_3.p	2024-10-04 18:26	179
	three_familiar_3_5_6.p	2024-10-04 18:26	163
	three_not_familiar_5_4_6.p	2024-10-04 18:26	179
	three_not_familiar_4_4_5.p	2024-10-04 18:26	179
	three_not_familiar_3_2_1.p	2024-10-04 18:26	179
	three_not_familiar_6_1_3.p	2024-10-04 18:26	179
	three_not_familiar_6_2_2.p	2024-10-04 18:26	179
	three_familiar_5_1_4.p	2024-10-04 18:26	163
	three_not_familiar_5_3_4.p	2024-10-04 18:26	179
	three_not_familiar_2_6_1.p	2024-10-04 18:26	179
	three_familiar_4_1_6.p	2024-10-04 18:26	163
	three_familiar_5_2_1.p	2024-10-04 18:26	163
	three_familiar_6_6_6.p	2024-10-04 18:26	163
	three_familiar_4_4_5.p	2024-10-04 18:26	163
	not_equal_3_4.p	2024-10-04 18:26	115
	three_familiar_1_6_2.p	2024-10-04 18:26	163
	three_familiar_2_6_2.p	2024-10-04 18:26	163
	person_6.p	2024-10-04 18:26	104
	three_familiar_5_6_3.p	2024-10-04 18:26	163
	familiar_or_not_2_4.p	2024-10-04 18:26	193
	person_4.p	2024-10-04 18:26	104
	three_familiar_5_6_6.p	2024-10-04 18:26	163
	three_not_familiar_1_1_3.p	2024-10-04 18:26	179
	three_not_familiar_3_5_2.p	2024-10-04 18:26	179
	three_not_familiar_5_3_1.p	2024-10-04 18:26	179
	three_familiar_4_4_6.p	2024-10-04 18:26	163
	three_not_familiar_5_1_1.p	2024-10-04 18:26	179
	three_not_familiar_3_2_2.p	2024-10-04 18:26	179
	three_familiar_1_2_5.p	2024-10-04 18:26	163
	three_familiar_2_1_4.p	2024-10-04 18:26	163
	three_familiar_6_2_4.p	2024-10-04 18:26	163
	three_not_familiar_1_6_3.p	2024-10-04 18:26	179
	three_not_familiar_6_5_3.p	2024-10-04 18:26	179
	three_familiar_4_1_1.p	2024-10-04 18:26	163
	three_familiar_6_2_2.p	2024-10-04 18:26	163
	three_not_familiar_2_4_6.p	2024-10-04 18:26	179
	three_familiar_3_1_4.p	2024-10-04 18:26	163
	three_familiar_4_4_2.p	2024-10-04 18:26	163
	three_familiar_6_4_2.p	2024-10-04 18:26	163
	not_equal_1_6.p	2024-10-04 18:26	115
	three_familiar_5_2_6.p	2024-10-04 18:26	163
	three_not_familiar_2_4_1.p	2024-10-04 18:26	179
	three_not_familiar_6_6_2.p	2024-10-04 18:26	179
	three_familiar_6_2_1.p	2024-10-04 18:26	163
	three_familiar_6_6_3.p	2024-10-04 18:26	163
	three_not_familiar_4_3_1.p	2024-10-04 18:26	179
	three_not_familiar_4_6_3.p	2024-10-04 18:26	179
	not_equal_6_3.p	2024-10-04 18:26	115
	three_familiar_6_4_4.p	2024-10-04 18:26	163
	three_not_familiar_3_6_4.p	2024-10-04 18:26	179
	three_familiar_4_1_5.p	2024-10-04 18:26	163
	three_not_familiar_4_2_6.p	2024-10-04 18:26	179
	three_not_familiar_2_5_6.p	2024-10-04 18:26	179
	three_familiar_3_5_2.p	2024-10-04 18:26	163
	three_not_familiar_1_3_3.p	2024-10-04 18:26	179
	three_familiar_2_1_1.p	2024-10-04 18:26	163
	three_familiar_2_6_1.p	2024-10-04 18:26	163
	three_familiar_3_4_2.p	2024-10-04 18:26	163
	three_familiar_1_5_2.p	2024-10-04 18:26	163
	three_familiar_4_4_1.p	2024-10-04 18:26	163
	three_familiar_4_6_1.p	2024-10-04 18:26	163
	three_not_familiar_4_2_1.p	2024-10-04 18:26	179
	three_familiar_3_6_5.p	2024-10-04 18:26	163
	three_not_familiar_5_2_5.p	2024-10-04 18:26	179
	three_familiar_6_3_2.p	2024-10-04 18:26	163
	three_not_familiar_3_1_4.p	2024-10-04 18:26	179
	not_equal_5_6.p	2024-10-04 18:26	115
	three_familiar_6_3_4.p	2024-10-04 18:26	163
	person_2.p	2024-10-04 18:26	104
	three_familiar_2_2_1.p	2024-10-04 18:26	163
	three_not_familiar_3_3_4.p	2024-10-04 18:26	179
	three_not_familiar_2_1_6.p	2024-10-04 18:26	179
	three_familiar_6_2_5.p	2024-10-04 18:26	163
	three_not_familiar_5_4_2.p	2024-10-04 18:26	179
	not_equal_1_3.p	2024-10-04 18:26	115
	not_equal_5_2.p	2024-10-04 18:26	115
	three_familiar_6_5_2.p	2024-10-04 18:26	163
	not_equal_1_5.p	2024-10-04 18:26	115
	three_familiar_3_2_4.p	2024-10-04 18:26	163
	three_not_familiar_6_4_3.p	2024-10-04 18:26	179
	three_not_familiar_6_1_5.p	2024-10-04 18:26	179
	three_not_familiar_6_4_4.p	2024-10-04 18:26	179
	three_familiar_2_1_3.p	2024-10-04 18:26	163
	familiar_or_not_3_2.p	2024-10-04 18:26	193
	three_not_familiar_3_1_3.p	2024-10-04 18:26	179
	three_not_familiar_2_2_4.p	2024-10-04 18:26	179
	familiar_or_not_1_3.p	2024-10-04 18:26	193
	three_familiar_1_2_1.p	2024-10-04 18:26	163
	three_not_familiar_3_5_1.p	2024-10-04 18:26	179
	three_familiar_1_3_3.p	2024-10-04 18:26	163
	three_not_familiar_6_5_4.p	2024-10-04 18:26	179
	three_familiar_2_6_5.p	2024-10-04 18:26	163
	three_familiar_2_3_3.p	2024-10-04 18:26	163
	three_not_familiar_3_4_6.p	2024-10-04 18:26	179
	three_familiar_3_5_5.p	2024-10-04 18:26	163
	three_not_familiar_4_1_4.p	2024-10-04 18:26	179
	three_not_familiar_4_1_2.p	2024-10-04 18:26	179
	three_familiar_1_2_6.p	2024-10-04 18:26	163
	three_familiar_6_6_4.p	2024-10-04 18:26	163
	three_not_familiar_3_5_5.p	2024-10-04 18:26	179
	three_familiar_1_5_5.p	2024-10-04 18:26	163
	familiar_or_not_2_1.p	2024-10-04 18:26	193
	three_not_familiar_5_5_4.p	2024-10-04 18:26	179
	three_familiar_3_1_2.p	2024-10-04 18:26	163
	three_familiar_5_3_5.p	2024-10-04 18:26	163
	three_familiar_1_2_4.p	2024-10-04 18:26	163
	three_not_familiar_2_2_1.p	2024-10-04 18:26	179
	three_familiar_2_5_3.p	2024-10-04 18:26	163
	three_not_familiar_1_5_4.p	2024-10-04 18:26	179
	three_familiar_2_2_2.p	2024-10-04 18:26	163
	three_familiar_6_3_1.p	2024-10-04 18:26	163
	familiar_or_not_3_6.p	2024-10-04 18:26	193
	three_familiar_1_6_5.p	2024-10-04 18:26	163
	three_not_familiar_5_4_4.p	2024-10-04 18:26	179
	three_not_familiar_3_6_6.p	2024-10-04 18:26	179
	three_not_familiar_6_5_2.p	2024-10-04 18:26	179
	three_familiar_2_4_1.p	2024-10-04 18:26	163
	familiar_or_not_2_2.p	2024-10-04 18:26	193
	familiar_or_not_6_5.p	2024-10-04 18:26	193
	three_familiar_4_5_3.p	2024-10-04 18:26	163
	three_familiar_3_2_3.p	2024-10-04 18:26	163
	three_familiar_5_5_3.p	2024-10-04 18:26	163
	three_not_familiar_4_6_4.p	2024-10-04 18:26	179
	three_familiar_1_5_1.p	2024-10-04 18:26	163
	three_not_familiar_4_3_3.p	2024-10-04 18:26	179
	three_not_familiar_6_2_6.p	2024-10-04 18:26	179
	three_not_familiar_1_3_6.p	2024-10-04 18:26	179
	three_familiar_5_4_6.p	2024-10-04 18:26	163
	three_familiar_4_2_5.p	2024-10-04 18:26	163
	three_not_familiar_6_2_5.p	2024-10-04 18:26	179
	three_familiar_6_5_3.p	2024-10-04 18:26	163
	three_familiar_1_5_4.p	2024-10-04 18:26	163
	not_equal_2_1.p	2024-10-04 18:26	115
	three_familiar_5_4_5.p	2024-10-04 18:26	163
	three_familiar_6_1_5.p	2024-10-04 18:26	163
	three_familiar_3_1_6.p	2024-10-04 18:26	163
	three_familiar_2_2_4.p	2024-10-04 18:26	163
	three_not_familiar_2_2_5.p	2024-10-04 18:26	179
	three_not_familiar_4_3_6.p	2024-10-04 18:26	179
	three_not_familiar_5_2_2.p	2024-10-04 18:26	179
	three_not_familiar_6_3_4.p	2024-10-04 18:26	179
	three_familiar_1_4_6.p	2024-10-04 18:26	163
	three_not_familiar_2_1_1.p	2024-10-04 18:26	179
	three_not_familiar_6_4_2.p	2024-10-04 18:26	179
	three_familiar_1_3_5.p	2024-10-04 18:26	163
	three_familiar_1_3_6.p	2024-10-04 18:26	163
	three_not_familiar_4_6_5.p	2024-10-04 18:26	179
	three_not_familiar_1_3_1.p	2024-10-04 18:26	179
	three_not_familiar_6_6_1.p	2024-10-04 18:26	179
	three_not_familiar_5_4_5.p	2024-10-04 18:26	179
	three_familiar_6_2_3.p	2024-10-04 18:26	163
	three_not_familiar_5_1_5.p	2024-10-04 18:26	179
	three_not_familiar_5_1_2.p	2024-10-04 18:26	179
	three_familiar_4_3_3.p	2024-10-04 18:26	163
	familiar_or_not_1_4.p	2024-10-04 18:26	193
	three_not_familiar_2_5_4.p	2024-10-04 18:26	179
	three_familiar_1_6_1.p	2024-10-04 18:26	163
	three_familiar_3_4_1.p	2024-10-04 18:26	163
	three_not_familiar_5_2_3.p	2024-10-04 18:26	179
	three_familiar_3_1_3.p	2024-10-04 18:26	163
	three_familiar_5_1_3.p	2024-10-04 18:26	163
	familiar_or_not_5_4.p	2024-10-04 18:26	193
	three_not_familiar_1_5_5.p	2024-10-04 18:26	179
	three_not_familiar_1_5_2.p	2024-10-04 18:26	179
	three_not_familiar_2_4_3.p	2024-10-04 18:26	179
	three_familiar_2_5_1.p	2024-10-04 18:26	163
	familiar_or_not_3_5.p	2024-10-04 18:26	193
	three_not_familiar_6_4_5.p	2024-10-04 18:26	179
	three_not_familiar_4_3_4.p	2024-10-04 18:26	179
	three_not_familiar_5_6_2.p	2024-10-04 18:26	179
	familiar_or_not_4_1.p	2024-10-04 18:26	193
	three_familiar_6_5_6.p	2024-10-04 18:26	163
	three_familiar_6_3_3.p	2024-10-04 18:26	163
	three_not_familiar_3_4_2.p	2024-10-04 18:26	179
	three_not_familiar_2_6_6.p	2024-10-04 18:26	179
	familiar_or_not_4_6.p	2024-10-04 18:26	193
	three_not_familiar_2_2_3.p	2024-10-04 18:26	179
	three_not_familiar_3_1_1.p	2024-10-04 18:26	179
	familiar_or_not_6_3.p	2024-10-04 18:26	193
	three_familiar_5_5_2.p	2024-10-04 18:26	163
	three_familiar_1_3_2.p	2024-10-04 18:26	163
	three_not_familiar_1_4_4.p	2024-10-04 18:26	179
	three_not_familiar_2_1_4.p	2024-10-04 18:26	179
	three_familiar_5_6_2.p	2024-10-04 18:26	163
	three_not_familiar_5_6_6.p	2024-10-04 18:26	179
	three_not_familiar_2_3_6.p	2024-10-04 18:26	179
	three_not_familiar_4_2_4.p	2024-10-04 18:26	179
	three_not_familiar_2_3_3.p	2024-10-04 18:26	179
	three_familiar_3_6_2.p	2024-10-04 18:26	163
	three_not_familiar_3_2_4.p	2024-10-04 18:26	179
	familiar_or_not_1_1.p	2024-10-04 18:26	193
	three_not_familiar_1_2_5.p	2024-10-04 18:26	179
	three_not_familiar_6_4_1.p	2024-10-04 18:26	179
	three_familiar_4_6_4.p	2024-10-04 18:26	163
	three_familiar_2_3_4.p	2024-10-04 18:26	163
	three_familiar_4_6_6.p	2024-10-04 18:26	163
	three_not_familiar_4_6_2.p	2024-10-04 18:26	179
	three_familiar_3_2_2.p	2024-10-04 18:26	163
	three_not_familiar_1_4_1.p	2024-10-04 18:26	179
	not_equal_6_4.p	2024-10-04 18:26	115
	three_familiar_2_4_4.p	2024-10-04 18:26	163
	three_not_familiar_1_6_2.p	2024-10-04 18:26	179
	three_not_familiar_2_5_2.p	2024-10-04 18:26	179
	three_familiar_1_2_2.p	2024-10-04 18:26	163
	three_familiar_4_3_4.p	2024-10-04 18:26	163
	not_equal_6_1.p	2024-10-04 18:26	115
	three_familiar_6_1_2.p	2024-10-04 18:26	163
	familiar_or_not_3_1.p	2024-10-04 18:26	193
	familiar_or_not_6_4.p	2024-10-04 18:26	193
	three_familiar_4_3_5.p	2024-10-04 18:26	163
	familiar_or_not_2_3.p	2024-10-04 18:26	193
	three_familiar_1_4_3.p	2024-10-04 18:26	163
	familiar_or_not_1_5.p	2024-10-04 18:26	193
	three_not_familiar_5_2_6.p	2024-10-04 18:26	179
	three_familiar_4_2_6.p	2024-10-04 18:26	163
	three_not_familiar_2_5_3.p	2024-10-04 18:26	179
	three_familiar_5_5_5.p	2024-10-04 18:26	163
	three_familiar_3_6_1.p	2024-10-04 18:26	163
	three_not_familiar_6_5_5.p	2024-10-04 18:26	179
	three_not_familiar_5_4_1.p	2024-10-04 18:26	179
	three_familiar_3_3_6.p	2024-10-04 18:26	163
	three_not_familiar_1_2_4.p	2024-10-04 18:26	179
	person_5.p	2024-10-04 18:26	104
	three_not_familiar_5_6_1.p	2024-10-04 18:26	179
	three_not_familiar_6_5_6.p	2024-10-04 18:26	179
	three_familiar_6_1_6.p	2024-10-04 18:26	163
	three_not_familiar_6_6_3.p	2024-10-04 18:26	179
	three_familiar_3_3_2.p	2024-10-04 18:26	163
	three_not_familiar_5_5_5.p	2024-10-04 18:26	179
	familiar_or_not_2_6.p	2024-10-04 18:26	193
	familiar_or_not_5_2.p	2024-10-04 18:26	193
	three_familiar_5_2_4.p	2024-10-04 18:26	163
	three_familiar_5_4_2.p	2024-10-04 18:26	163
	three_not_familiar_1_2_2.p	2024-10-04 18:26	179
	three_not_familiar_6_2_4.p	2024-10-04 18:26	179
	three_not_familiar_3_2_6.p	2024-10-04 18:26	179
	three_not_familiar_5_6_5.p	2024-10-04 18:26	179
	three_not_familiar_2_3_1.p	2024-10-04 18:26	179
	three_familiar_1_5_6.p	2024-10-04 18:26	163
	three_not_familiar_6_3_6.p	2024-10-04 18:26	179
	three_not_familiar_3_5_3.p	2024-10-04 18:26	179
	not_equal_6_5.p	2024-10-04 18:26	115
	three_familiar_1_5_3.p	2024-10-04 18:26	163
	three_not_familiar_4_4_1.p	2024-10-04 18:26	179
	three_familiar_2_4_5.p	2024-10-04 18:26	163
	three_not_familiar_5_5_2.p	2024-10-04 18:26	179
	not_equal_3_1.p	2024-10-04 18:26	115
	three_familiar_2_2_3.p	2024-10-04 18:26	163
	familiar_or_not_5_5.p	2024-10-04 18:26	193
	three_familiar_5_1_1.p	2024-10-04 18:26	163
	three_familiar_4_6_3.p	2024-10-04 18:26	163
	not_equal_4_5.p	2024-10-04 18:26	115
	three_familiar_6_6_1.p	2024-10-04 18:26	163
	three_not_familiar_2_3_2.p	2024-10-04 18:26	179
	three_not_familiar_2_6_4.p	2024-10-04 18:26	179
	three_not_familiar_1_6_6.p	2024-10-04 18:26	179
	three_familiar_6_1_3.p	2024-10-04 18:26	163
	three_not_familiar_6_1_6.p	2024-10-04 18:26	179
	three_not_familiar_3_1_2.p	2024-10-04 18:26	179
	three_not_familiar_5_3_3.p	2024-10-04 18:26	179
	three_not_familiar_6_6_6.p	2024-10-04 18:26	179
	three_not_familiar_4_4_2.p	2024-10-04 18:26	179
	three_not_familiar_5_6_4.p	2024-10-04 18:26	179
	three_familiar_6_2_6.p	2024-10-04 18:26	163
	three_familiar_3_2_5.p	2024-10-04 18:26	163
	not_equal_2_6.p	2024-10-04 18:26	115
	familiar_or_not_5_3.p	2024-10-04 18:26	193
	three_familiar_2_2_5.p	2024-10-04 18:26	163
	familiar_or_not_5_6.p	2024-10-04 18:26	193
	three_not_familiar_3_1_5.p	2024-10-04 18:26	179
	three_familiar_4_5_2.p	2024-10-04 18:26	163
	three_familiar_3_3_3.p	2024-10-04 18:26	163
	three_not_familiar_3_3_6.p	2024-10-04 18:26	179
	three_not_familiar_1_2_1.p	2024-10-04 18:26	179
	three_familiar_4_5_5.p	2024-10-04 18:26	163
	three_not_familiar_2_3_5.p	2024-10-04 18:26	179
	three_familiar_3_3_5.p	2024-10-04 18:26	163
	three_not_familiar_5_2_1.p	2024-10-04 18:26	179
	three_not_familiar_4_3_5.p	2024-10-04 18:26	179
	three_familiar_1_4_5.p	2024-10-04 18:26	163
	three_familiar_1_4_4.p	2024-10-04 18:26	163
	familiar_or_not_6_2.p	2024-10-04 18:26	193
	three_not_familiar_5_6_3.p	2024-10-04 18:26	179
	three_not_familiar_2_4_4.p	2024-10-04 18:26	179
	three_familiar_4_5_4.p	2024-10-04 18:26	163
	three_not_familiar_2_1_5.p	2024-10-04 18:26	179
	three_familiar_3_5_3.p	2024-10-04 18:26	163
	three_not_familiar_3_4_1.p	2024-10-04 18:26	179
	familiar_or_not_5_1.p	2024-10-04 18:26	193
	three_not_familiar_3_1_6.p	2024-10-04 18:26	179
	three_familiar_2_2_6.p	2024-10-04 18:26	163
	familiar_or_not_4_5.p	2024-10-04 18:26	193
	three_familiar_3_5_1.p	2024-10-04 18:26	163
	three_familiar_5_5_1.p	2024-10-04 18:26	163
	three_familiar_4_2_2.p	2024-10-04 18:26	163
	three_not_familiar_3_5_6.p	2024-10-04 18:26	179
	three_familiar_1_1_6.p	2024-10-04 18:26	163
	three_familiar_3_6_6.p	2024-10-04 18:26	163
	three_familiar_1_1_2.p	2024-10-04 18:26	163
	three_familiar_5_6_1.p	2024-10-04 18:26	163
	three_familiar_1_6_4.p	2024-10-04 18:26	163
	three_familiar_6_3_6.p	2024-10-04 18:26	163
	familiar_or_not_1_6.p	2024-10-04 18:26	193
	not_equal_5_4.p	2024-10-04 18:26	115
	three_familiar_3_1_5.p	2024-10-04 18:26	163
	three_familiar_6_4_5.p	2024-10-04 18:26	163
	three_not_familiar_1_1_1.p	2024-10-04 18:26	179
	three_not_familiar_6_4_6.p	2024-10-04 18:26	179
	three_familiar_3_6_4.p	2024-10-04 18:26	163
	three_not_familiar_5_1_6.p	2024-10-04 18:26	179
	three_not_familiar_2_2_2.p	2024-10-04 18:26	179
	not_equal_2_3.p	2024-10-04 18:26	115
	three_familiar_5_4_3.p	2024-10-04 18:26	163
	three_familiar_2_6_3.p	2024-10-04 18:26	163
	three_familiar_1_2_3.p	2024-10-04 18:26	163
	familiar_or_not_1_2.p	2024-10-04 18:26	193
	three_familiar_4_6_2.p	2024-10-04 18:26	163
	three_not_familiar_6_6_4.p	2024-10-04 18:26	179
	three_not_familiar_4_2_2.p	2024-10-04 18:26	179
	three_not_familiar_1_3_2.p	2024-10-04 18:26	179
	person_1.p	2024-10-04 18:26	104
	three_familiar_6_3_5.p	2024-10-04 18:26	163
	not_equal_4_2.p	2024-10-04 18:26	115
	three_not_familiar_1_3_4.p	2024-10-04 18:26	179
	three_familiar_4_1_2.p	2024-10-04 18:26	163
	three_familiar_1_6_3.p	2024-10-04 18:26	163
	three_not_familiar_6_3_1.p	2024-10-04 18:26	179
	three_not_familiar_5_3_2.p	2024-10-04 18:26	179
	three_familiar_6_6_5.p	2024-10-04 18:26	163
	three_not_familiar_1_3_5.p	2024-10-04 18:26	179
	three_familiar_6_5_1.p	2024-10-04 18:26	163
	three_familiar_4_3_2.p	2024-10-04 18:26	163
	three_familiar_2_6_6.p	2024-10-04 18:26	163
	three_not_familiar_5_5_6.p	2024-10-04 18:26	179
	three_familiar_4_2_1.p	2024-10-04 18:26	163
	three_familiar_1_1_5.p	2024-10-04 18:26	163
	three_not_familiar_4_1_1.p	2024-10-04 18:26	179
	three_not_familiar_2_6_3.p	2024-10-04 18:26	179
	three_familiar_2_5_4.p	2024-10-04 18:26	163
	three_not_familiar_3_4_4.p	2024-10-04 18:26	179
	three_not_familiar_4_5_6.p	2024-10-04 18:26	179
	three_not_familiar_4_5_2.p	2024-10-04 18:26	179
	three_familiar_5_5_4.p	2024-10-04 18:26	163
	not_equal_2_4.p	2024-10-04 18:26	115
	three_familiar_3_6_3.p	2024-10-04 18:26	163
	three_not_familiar_5_3_6.p	2024-10-04 18:26	179
	three_not_familiar_1_4_6.p	2024-10-04 18:26	179
	three_not_familiar_6_3_3.p	2024-10-04 18:26	179
	three_not_familiar_4_4_4.p	2024-10-04 18:26	179
	three_not_familiar_1_4_3.p	2024-10-04 18:26	179
	three_not_familiar_4_5_1.p	2024-10-04 18:26	179
	three_not_familiar_2_2_6.p	2024-10-04 18:26	179
	three_familiar_5_2_5.p	2024-10-04 18:26	163
	three_familiar_4_1_4.p	2024-10-04 18:26	163
	three_not_familiar_5_3_5.p	2024-10-04 18:26	179
	three_familiar_2_6_4.p	2024-10-04 18:26	163
	three_not_familiar_6_5_1.p	2024-10-04 18:26	179
	three_not_familiar_3_3_1.p	2024-10-04 18:26	179
	three_familiar_4_4_3.p	2024-10-04 18:26	163
	three_not_familiar_2_5_5.p	2024-10-04 18:26	179