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

	Name	Last modified	Size	Description
	Parent Directory		-
	i_0_1.p	2024-10-04 18:29	2.0K
	i_0_2.p	2024-10-04 18:29	2.0K
	i_0_3.p	2024-10-04 18:29	3.3K
	i_0_4.p	2024-10-04 18:29	1.8K
	i_0_5.p	2024-10-04 18:29	4.1K
	i_0_6.p	2024-10-04 18:29	1.8K
	i_0_7.p	2024-10-04 18:29	3.3K
	i_0_8.p	2024-10-04 18:29	2.4K
	i_0_9.p	2024-10-04 18:29	1.8K
	i_0_10.p	2024-10-04 18:29	2.2K
	i_0_11.p	2024-10-04 18:29	2.0K
	i_0_12.p	2024-10-04 18:29	2.0K
	i_0_13.p	2024-10-04 18:29	1.8K
	i_0_14.p	2024-10-04 18:29	3.3K
	i_0_15.p	2024-10-04 18:29	1.8K
	i_0_16.p	2024-10-04 18:29	3.3K
	i_0_17.p	2024-10-04 18:29	3.3K
	i_0_18.p	2024-10-04 18:29	4.1K
	i_0_19.p	2024-10-04 18:29	2.4K
	i_0_20.p	2024-10-04 18:29	2.2K
	i_0_21.p	2024-10-04 18:29	1.8K
	i_0_22.p	2024-10-04 18:29	2.2K
	i_0_23.p	2024-10-04 18:29	2.4K
	i_0_24.p	2024-10-04 18:29	2.2K
	i_0_25.p	2024-10-04 18:29	2.2K
	i_0_26.p	2024-10-04 18:29	3.7K
	i_0_27.p	2024-10-04 18:29	3.3K
	i_0_28.p	2024-10-04 18:29	2.9K
	i_0_29.p	2024-10-04 18:29	1.8K
	i_0_30.p	2024-10-04 18:29	4.6K
	i_0_31.p	2024-10-04 18:29	1.8K
	i_0_32.p	2024-10-04 18:29	2.9K
	i_0_33.p	2024-10-04 18:29	2.9K
	i_0_34.p	2024-10-04 18:29	2.8K
	i_0_35.p	2024-10-04 18:29	2.9K
	i_0_36.p	2024-10-04 18:29	2.0K
	i_0_37.p	2024-10-04 18:29	3.7K
	i_0_38.p	2024-10-04 18:29	4.1K
	i_0_39.p	2024-10-04 18:29	3.3K
	i_0_40.p	2024-10-04 18:29	3.3K
	i_0_41.p	2024-10-04 18:29	1.8K
	i_0_42.p	2024-10-04 18:29	3.3K
	i_0_43.p	2024-10-04 18:29	4.5K
	i_0_44.p	2024-10-04 18:29	1.8K
	i_0_45.p	2024-10-04 18:29	3.7K
	i_0_46.p	2024-10-04 18:29	1.8K
	i_0_47.p	2024-10-04 18:29	1.8K
	i_0_48.p	2024-10-04 18:29	2.0K
	i_0_49.p	2024-10-04 18:29	2.2K
	i_0_50.p	2024-10-04 18:29	2.9K
	i_0_51.p	2024-10-04 18:29	1.8K
	i_0_52.p	2024-10-04 18:29	1.8K
	i_0_53.p	2024-10-04 18:29	1.8K
	i_0_54.p	2024-10-04 18:29	2.9K
	i_0_55.p	2024-10-04 18:29	2.9K
	i_0_56.p	2024-10-04 18:29	3.3K
	i_0_57.p	2024-10-04 18:29	3.7K
	i_0_58.p	2024-10-04 18:29	1.8K
	i_0_59.p	2024-10-04 18:29	1.8K
	i_0_60.p	2024-10-04 18:29	1.8K
	i_0_61.p	2024-10-04 18:29	3.3K
	i_0_62.p	2024-10-04 18:29	3.7K
	i_0_63.p	2024-10-04 18:29	2.0K
	i_0_64.p	2024-10-04 18:29	4.1K
	i_0_65.p	2024-10-04 18:29	2.6K
	i_0_66.p	2024-10-04 18:29	2.0K
	i_0_67.p	2024-10-04 18:29	3.7K
	i_0_68.p	2024-10-04 18:29	3.7K
	i_0_69.p	2024-10-04 18:29	2.0K
	i_0_70.p	2024-10-04 18:29	4.1K
	i_0_71.p	2024-10-04 18:29	3.3K
	i_0_72.p	2024-10-04 18:29	2.2K
	i_0_73.p	2024-10-04 18:29	3.3K
	i_0_74.p	2024-10-04 18:29	3.7K
	i_0_75.p	2024-10-04 18:29	2.2K
	i_0_76.p	2024-10-04 18:29	2.4K
	i_0_77.p	2024-10-04 18:29	2.4K
	i_0_78.p	2024-10-04 18:29	1.8K
	i_0_79.p	2024-10-04 18:29	3.3K
	i_0_80.p	2024-10-04 18:29	2.9K
	i_0_81.p	2024-10-04 18:29	3.3K
	i_0_82.p	2024-10-04 18:29	1.8K
	i_0_83.p	2024-10-04 18:29	2.0K
	i_0_84.p	2024-10-04 18:29	3.7K
	i_0_85.p	2024-10-04 18:29	1.8K
	i_0_86.p	2024-10-04 18:29	2.9K
	i_0_87.p	2024-10-04 18:29	2.0K
	i_0_88.p	2024-10-04 18:29	1.8K
	i_0_89.p	2024-10-04 18:29	2.0K
	i_0_90.p	2024-10-04 18:29	1.8K
	i_0_91.p	2024-10-04 18:29	4.1K
	i_0_92.p	2024-10-04 18:29	2.9K
	i_0_93.p	2024-10-04 18:29	2.0K
	i_0_94.p	2024-10-04 18:29	4.6K
	i_0_95.p	2024-10-04 18:29	2.6K
	i_0_96.p	2024-10-04 18:29	2.4K
	i_0_97.p	2024-10-04 18:29	2.9K
	i_0_98.p	2024-10-04 18:29	2.4K
	i_0_99.p	2024-10-04 18:29	2.0K
	i_0_100.p	2024-10-04 18:29	4.6K
	i_0_101.p	2024-10-04 18:29	2.9K
	i_0_102.p	2024-10-04 18:29	1.8K
	i_0_103.p	2024-10-04 18:29	4.6K
	i_0_104.p	2024-10-04 18:29	1.8K
	i_0_105.p	2024-10-04 18:29	1.8K
	i_0_106.p	2024-10-04 18:29	1.8K
	i_0_107.p	2024-10-04 18:29	2.9K
	i_0_108.p	2024-10-04 18:29	1.8K
	i_0_109.p	2024-10-04 18:29	2.9K
	i_0_110.p	2024-10-04 18:29	1.8K
	i_0_111.p	2024-10-04 18:29	2.0K
	i_0_112.p	2024-10-04 18:29	2.9K
	i_0_113.p	2024-10-04 18:29	2.0K
	i_0_114.p	2024-10-04 18:29	2.0K
	i_0_115.p	2024-10-04 18:29	4.2K
	i_0_116.p	2024-10-04 18:29	1.8K
	i_0_117.p	2024-10-04 18:29	2.2K
	i_0_118.p	2024-10-04 18:29	2.4K
	i_0_119.p	2024-10-04 18:29	1.8K
	i_0_120.p	2024-10-04 18:29	2.9K
	i_0_121.p	2024-10-04 18:29	2.0K
	i_0_122.p	2024-10-04 18:29	2.0K
	i_0_123.p	2024-10-04 18:29	2.0K
	i_0_124.p	2024-10-04 18:29	1.8K
	i_0_125.p	2024-10-04 18:29	2.2K
	i_0_126.p	2024-10-04 18:29	1.8K
	i_0_127.p	2024-10-04 18:29	2.2K
	i_0_128.p	2024-10-04 18:29	1.8K
	i_0_129.p	2024-10-04 18:29	2.0K
	i_0_130.p	2024-10-04 18:29	2.0K
	i_0_131.p	2024-10-04 18:29	1.8K
	i_0_132.p	2024-10-04 18:29	1.8K
	i_0_133.p	2024-10-04 18:29	4.1K
	i_0_134.p	2024-10-04 18:29	2.0K
	i_0_135.p	2024-10-04 18:29	5.0K
	i_0_136.p	2024-10-04 18:29	3.3K
	i_0_137.p	2024-10-04 18:29	2.2K
	i_0_138.p	2024-10-04 18:29	3.7K
	i_0_139.p	2024-10-04 18:29	2.0K
	i_0_140.p	2024-10-04 18:29	2.4K
	i_0_141.p	2024-10-04 18:29	2.0K
	i_0_142.p	2024-10-04 18:29	2.0K
	i_0_143.p	2024-10-04 18:29	4.6K
	i_0_144.p	2024-10-04 18:29	1.8K
	i_0_145.p	2024-10-04 18:29	3.3K
	i_0_146.p	2024-10-04 18:29	1.6K
	i_0_147.p	2024-10-04 18:29	2.2K
	i_0_148.p	2024-10-04 18:29	4.2K
	i_0_149.p	2024-10-04 18:29	4.1K
	i_0_150.p	2024-10-04 18:29	1.8K
	i_0_151.p	2024-10-04 18:29	3.7K
	i_0_152.p	2024-10-04 18:29	2.4K
	i_0_153.p	2024-10-04 18:29	2.9K
	i_0_154.p	2024-10-04 18:29	3.7K
	i_0_155.p	2024-10-04 18:29	4.1K
	i_0_156.p	2024-10-04 18:29	1.8K
	i_0_157.p	2024-10-04 18:29	2.2K
	i_0_158.p	2024-10-04 18:29	2.0K
	i_0_159.p	2024-10-04 18:29	3.3K
	i_0_160.p	2024-10-04 18:29	1.8K
	i_0_161.p	2024-10-04 18:29	2.0K
	i_0_162.p	2024-10-04 18:29	2.4K
	i_0_163.p	2024-10-04 18:29	2.4K
	i_0_164.p	2024-10-04 18:29	1.8K
	i_0_165.p	2024-10-04 18:29	2.9K
	i_0_166.p	2024-10-04 18:29	1.8K
	i_0_167.p	2024-10-04 18:29	2.9K
	i_0_168.p	2024-10-04 18:29	2.9K
	i_0_169.p	2024-10-04 18:29	4.1K
	i_0_170.p	2024-10-04 18:29	3.3K
	i_0_171.p	2024-10-04 18:29	3.3K
	i_0_172.p	2024-10-04 18:29	4.1K
	i_0_173.p	2024-10-04 18:29	3.7K
	i_0_174.p	2024-10-04 18:29	1.8K
	i_0_175.p	2024-10-04 18:29	2.9K
	i_0_176.p	2024-10-04 18:29	3.3K
	i_0_177.p	2024-10-04 18:29	2.0K
	i_0_178.p	2024-10-04 18:29	3.3K
	i_0_179.p	2024-10-04 18:29	4.1K
	i_0_180.p	2024-10-04 18:29	3.7K
	i_0_181.p	2024-10-04 18:29	3.3K
	i_0_182.p	2024-10-04 18:29	4.2K
	i_0_183.p	2024-10-04 18:29	2.4K
	i_0_184.p	2024-10-04 18:29	1.8K
	i_0_185.p	2024-10-04 18:29	4.6K
	i_0_186.p	2024-10-04 18:29	1.8K
	i_0_187.p	2024-10-04 18:29	1.8K
	i_0_188.p	2024-10-04 18:29	1.8K
	i_0_189.p	2024-10-04 18:29	3.7K
	i_0_190.p	2024-10-04 18:29	2.9K
	i_0_191.p	2024-10-04 18:29	3.7K
	i_0_192.p	2024-10-04 18:29	2.2K
	i_0_193.p	2024-10-04 18:29	1.8K
	i_0_194.p	2024-10-04 18:29	2.4K
	i_0_195.p	2024-10-04 18:29	4.1K
	i_0_196.p	2024-10-04 18:29	4.5K
	i_0_197.p	2024-10-04 18:29	1.8K
	i_0_198.p	2024-10-04 18:29	2.0K
	i_0_199.p	2024-10-04 18:29	4.6K
	i_0_200.p	2024-10-04 18:29	3.7K
	i_0_201.p	2024-10-04 18:29	1.8K
	i_0_202.p	2024-10-04 18:29	3.7K
	i_0_203.p	2024-10-04 18:29	2.0K
	i_0_204.p	2024-10-04 18:29	2.6K
	i_0_205.p	2024-10-04 18:29	2.8K
	i_0_206.p	2024-10-04 18:29	1.8K
	i_0_207.p	2024-10-04 18:29	1.8K
	i_0_208.p	2024-10-04 18:29	2.0K
	i_0_209.p	2024-10-04 18:29	1.8K
	i_0_210.p	2024-10-04 18:29	2.0K
	i_0_211.p	2024-10-04 18:29	3.7K
	i_0_212.p	2024-10-04 18:29	3.3K
	i_0_213.p	2024-10-04 18:29	2.0K
	i_0_214.p	2024-10-04 18:29	3.3K
	i_0_215.p	2024-10-04 18:29	2.0K
	i_0_216.p	2024-10-04 18:29	1.8K
	i_0_217.p	2024-10-04 18:29	3.7K
	i_0_218.p	2024-10-04 18:29	2.9K
	i_0_219.p	2024-10-04 18:29	1.8K
	i_0_220.p	2024-10-04 18:29	2.0K
	i_0_221.p	2024-10-04 18:29	3.3K
	i_0_222.p	2024-10-04 18:29	4.1K
	i_0_223.p	2024-10-04 18:29	2.0K
	i_0_224.p	2024-10-04 18:29	2.2K
	i_0_225.p	2024-10-04 18:29	2.0K
	i_0_226.p	2024-10-04 18:29	3.3K
	i_0_227.p	2024-10-04 18:29	1.8K
	i_0_228.p	2024-10-04 18:29	2.2K
	i_0_229.p	2024-10-04 18:29	2.0K
	i_0_230.p	2024-10-04 18:29	2.0K
	i_0_231.p	2024-10-04 18:29	1.6K
	i_0_232.p	2024-10-04 18:29	2.0K
	i_0_233.p	2024-10-04 18:29	4.6K
	i_0_234.p	2024-10-04 18:29	4.6K
	i_0_235.p	2024-10-04 18:29	3.7K
	i_0_236.p	2024-10-04 18:29	2.0K
	i_0_237.p	2024-10-04 18:29	3.3K
	i_0_238.p	2024-10-04 18:29	1.8K
	i_0_239.p	2024-10-04 18:29	3.3K
	i_0_240.p	2024-10-04 18:29	2.2K
	i_0_241.p	2024-10-04 18:29	1.8K
	i_0_242.p	2024-10-04 18:29	4.6K
	i_0_243.p	2024-10-04 18:29	1.8K
	i_0_244.p	2024-10-04 18:29	2.2K
	i_0_245.p	2024-10-04 18:29	2.4K
	i_0_246.p	2024-10-04 18:29	2.9K
	i_0_247.p	2024-10-04 18:29	2.4K
	i_0_248.p	2024-10-04 18:29	1.8K
	i_0_249.p	2024-10-04 18:29	1.8K
	i_0_250.p	2024-10-04 18:29	1.8K
	i_0_251.p	2024-10-04 18:29	1.8K
	i_0_252.p	2024-10-04 18:29	2.2K
	i_0_253.p	2024-10-04 18:29	1.8K
	i_0_254.p	2024-10-04 18:29	1.8K
	i_0_255.p	2024-10-04 18:29	2.2K
	i_0_256.p	2024-10-04 18:29	2.0K
	i_0_257.p	2024-10-04 18:29	3.7K
	i_0_258.p	2024-10-04 18:29	2.0K
	i_0_259.p	2024-10-04 18:29	2.9K
	i_0_260.p	2024-10-04 18:29	2.0K
	i_0_261.p	2024-10-04 18:29	1.8K
	i_0_262.p	2024-10-04 18:29	2.0K
	i_0_263.p	2024-10-04 18:29	2.0K
	i_0_264.p	2024-10-04 18:29	2.0K
	i_0_265.p	2024-10-04 18:29	1.8K
	i_0_266.p	2024-10-04 18:29	2.0K
	i_0_267.p	2024-10-04 18:29	2.4K
	i_0_268.p	2024-10-04 18:29	1.8K
	i_0_269.p	2024-10-04 18:29	3.3K
	i_0_270.p	2024-10-04 18:29	4.1K
	i_0_271.p	2024-10-04 18:29	3.7K
	i_0_272.p	2024-10-04 18:29	1.8K
	i_0_273.p	2024-10-04 18:29	1.8K
	i_0_274.p	2024-10-04 18:29	3.3K
	i_0_275.p	2024-10-04 18:29	4.6K
	i_0_276.p	2024-10-04 18:29	2.4K
	i_0_277.p	2024-10-04 18:29	2.0K
	i_0_278.p	2024-10-04 18:29	1.8K
	i_0_279.p	2024-10-04 18:29	4.2K
	i_0_280.p	2024-10-04 18:29	3.3K
	i_0_281.p	2024-10-04 18:29	3.7K
	i_0_282.p	2024-10-04 18:29	2.9K
	i_0_283.p	2024-10-04 18:29	3.3K
	i_0_284.p	2024-10-04 18:29	2.0K
	i_0_285.p	2024-10-04 18:29	1.8K
	i_0_286.p	2024-10-04 18:29	1.8K
	i_0_287.p	2024-10-04 18:29	2.0K
	i_0_288.p	2024-10-04 18:29	2.2K
	i_0_289.p	2024-10-04 18:29	1.8K
	i_0_290.p	2024-10-04 18:29	4.5K
	i_0_291.p	2024-10-04 18:29	3.3K
	i_0_292.p	2024-10-04 18:29	2.0K
	i_0_293.p	2024-10-04 18:29	3.7K
	i_0_294.p	2024-10-04 18:29	2.4K
	i_0_295.p	2024-10-04 18:29	3.7K
	i_0_296.p	2024-10-04 18:29	1.8K
	i_0_297.p	2024-10-04 18:29	1.8K
	i_0_298.p	2024-10-04 18:29	2.4K
	i_0_299.p	2024-10-04 18:29	2.0K
	i_0_300.p	2024-10-04 18:29	4.1K
	i_0_301.p	2024-10-04 18:29	1.8K
	i_0_302.p	2024-10-04 18:29	2.8K
	i_0_303.p	2024-10-04 18:29	3.3K
	i_0_304.p	2024-10-04 18:29	2.9K
	i_0_305.p	2024-10-04 18:29	3.3K
	i_0_306.p	2024-10-04 18:29	2.0K
	i_0_307.p	2024-10-04 18:29	2.4K
	i_0_308.p	2024-10-04 18:29	2.2K
	i_0_309.p	2024-10-04 18:29	2.4K
	i_0_310.p	2024-10-04 18:29	3.3K
	i_0_311.p	2024-10-04 18:29	3.3K
	i_0_312.p	2024-10-04 18:29	3.3K
	i_0_313.p	2024-10-04 18:29	3.3K
	i_0_314.p	2024-10-04 18:29	1.8K
	i_0_315.p	2024-10-04 18:29	2.0K
	i_0_316.p	2024-10-04 18:29	2.0K
	i_0_317.p	2024-10-04 18:29	1.8K
	i_0_318.p	2024-10-04 18:29	1.8K
	i_0_319.p	2024-10-04 18:29	2.8K
	i_0_320.p	2024-10-04 18:29	2.0K
	i_0_321.p	2024-10-04 18:29	2.0K
	i_0_322.p	2024-10-04 18:29	2.6K
	i_0_323.p	2024-10-04 18:29	1.8K
	i_0_324.p	2024-10-04 18:29	4.1K
	i_0_325.p	2024-10-04 18:29	3.7K
	i_0_326.p	2024-10-04 18:29	3.3K
	i_0_327.p	2024-10-04 18:29	1.8K
	i_0_328.p	2024-10-04 18:29	2.9K
	i_0_329.p	2024-10-04 18:29	2.9K
	i_0_330.p	2024-10-04 18:29	4.5K
	i_0_331.p	2024-10-04 18:29	1.8K
	i_0_332.p	2024-10-04 18:29	2.4K
	i_0_333.p	2024-10-04 18:29	1.8K
	i_0_334.p	2024-10-04 18:29	2.0K
	i_0_335.p	2024-10-04 18:29	3.3K
	i_0_336.p	2024-10-04 18:29	4.1K
	i_0_337.p	2024-10-04 18:29	2.0K
	i_0_338.p	2024-10-04 18:29	3.3K
	i_0_339.p	2024-10-04 18:29	4.1K
	i_0_340.p	2024-10-04 18:29	1.8K
	i_0_341.p	2024-10-04 18:29	3.3K
	i_0_342.p	2024-10-04 18:29	2.4K
	i_0_343.p	2024-10-04 18:29	2.6K
	i_0_344.p	2024-10-04 18:29	4.1K
	i_0_345.p	2024-10-04 18:29	3.3K
	i_0_346.p	2024-10-04 18:29	2.0K
	i_0_347.p	2024-10-04 18:29	2.8K
	i_0_348.p	2024-10-04 18:29	2.0K
	i_0_349.p	2024-10-04 18:29	3.7K
	i_0_350.p	2024-10-04 18:29	2.0K
	i_0_351.p	2024-10-04 18:29	2.0K
	i_0_352.p	2024-10-04 18:29	2.2K
	i_0_353.p	2024-10-04 18:29	2.4K
	i_0_354.p	2024-10-04 18:29	1.8K
	i_0_355.p	2024-10-04 18:29	3.3K
	i_0_356.p	2024-10-04 18:29	2.0K
	i_0_357.p	2024-10-04 18:29	3.3K
	i_0_358.p	2024-10-04 18:29	3.3K
	i_0_359.p	2024-10-04 18:29	3.7K
	i_0_360.p	2024-10-04 18:29	2.0K
	i_0_361.p	2024-10-04 18:29	3.3K
	i_0_362.p	2024-10-04 18:29	3.7K
	i_0_363.p	2024-10-04 18:29	3.7K
	i_0_364.p	2024-10-04 18:29	2.6K
	i_0_365.p	2024-10-04 18:29	3.3K
	i_0_366.p	2024-10-04 18:29	3.3K
	i_0_367.p	2024-10-04 18:29	3.7K
	i_0_368.p	2024-10-04 18:29	2.0K
	i_0_369.p	2024-10-04 18:29	1.8K
	i_0_370.p	2024-10-04 18:29	1.8K
	i_0_371.p	2024-10-04 18:29	1.8K
	i_0_372.p	2024-10-04 18:29	2.9K
	i_0_373.p	2024-10-04 18:29	4.1K
	i_0_374.p	2024-10-04 18:29	3.3K
	i_0_375.p	2024-10-04 18:29	1.8K
	i_0_376.p	2024-10-04 18:29	1.8K
	i_0_377.p	2024-10-04 18:29	3.7K
	i_0_378.p	2024-10-04 18:29	3.3K
	i_0_379.p	2024-10-04 18:29	2.4K
	i_0_380.p	2024-10-04 18:29	1.8K
	i_0_381.p	2024-10-04 18:29	1.8K
	i_0_382.p	2024-10-04 18:29	1.8K
	i_0_383.p	2024-10-04 18:29	3.7K
	i_0_384.p	2024-10-04 18:29	2.0K
	i_0_385.p	2024-10-04 18:29	4.1K
	i_0_386.p	2024-10-04 18:29	2.0K
	i_0_387.p	2024-10-04 18:29	1.6K
	i_0_388.p	2024-10-04 18:29	2.4K
	i_0_389.p	2024-10-04 18:29	4.1K
	i_0_390.p	2024-10-04 18:29	2.0K
	i_0_391.p	2024-10-04 18:29	2.4K
	i_0_392.p	2024-10-04 18:29	3.3K
	i_0_393.p	2024-10-04 18:29	1.8K
	i_0_394.p	2024-10-04 18:29	2.9K
	i_0_395.p	2024-10-04 18:29	3.3K
	i_0_396.p	2024-10-04 18:29	2.0K
	i_0_397.p	2024-10-04 18:29	2.9K
	i_0_398.p	2024-10-04 18:29	2.4K
	i_0_399.p	2024-10-04 18:29	1.8K
	i_0_400.p	2024-10-04 18:29	4.1K
	i_0_401.p	2024-10-04 18:29	2.8K
	i_0_402.p	2024-10-04 18:29	2.9K
	i_0_403.p	2024-10-04 18:29	3.3K
	i_0_404.p	2024-10-04 18:29	2.8K
	i_0_405.p	2024-10-04 18:29	1.8K
	i_0_406.p	2024-10-04 18:29	2.0K
	i_0_407.p	2024-10-04 18:29	3.3K
	i_0_408.p	2024-10-04 18:29	1.8K
	i_0_409.p	2024-10-04 18:29	4.1K
	i_0_410.p	2024-10-04 18:29	2.0K
	i_0_411.p	2024-10-04 18:29	2.0K
	i_0_412.p	2024-10-04 18:29	4.6K
	i_0_413.p	2024-10-04 18:29	2.4K
	i_0_414.p	2024-10-04 18:29	2.0K
	i_0_415.p	2024-10-04 18:29	3.3K
	i_0_416.p	2024-10-04 18:29	1.8K
	i_0_417.p	2024-10-04 18:29	1.8K
	i_0_418.p	2024-10-04 18:29	4.1K
	i_0_419.p	2024-10-04 18:29	3.7K
	i_0_420.p	2024-10-04 18:29	1.8K
	i_0_421.p	2024-10-04 18:29	2.9K
	i_0_422.p	2024-10-04 18:29	1.8K
	i_0_423.p	2024-10-04 18:29	1.8K
	i_0_424.p	2024-10-04 18:29	2.0K
	i_0_425.p	2024-10-04 18:29	2.4K
	i_0_426.p	2024-10-04 18:29	2.9K
	i_0_427.p	2024-10-04 18:29	3.3K
	i_0_428.p	2024-10-04 18:29	1.8K
	i_0_429.p	2024-10-04 18:29	3.3K
	i_0_430.p	2024-10-04 18:29	3.7K
	i_0_431.p	2024-10-04 18:29	1.8K
	i_0_432.p	2024-10-04 18:29	1.8K
	i_0_433.p	2024-10-04 18:29	1.8K
	i_0_434.p	2024-10-04 18:29	2.0K
	i_0_435.p	2024-10-04 18:29	5.0K
	i_0_436.p	2024-10-04 18:29	2.4K
	i_0_437.p	2024-10-04 18:29	3.7K
	i_0_438.p	2024-10-04 18:29	3.7K
	i_0_439.p	2024-10-04 18:29	2.4K
	i_0_440.p	2024-10-04 18:29	1.8K
	i_0_441.p	2024-10-04 18:29	1.8K
	i_0_442.p	2024-10-04 18:29	2.4K
	i_0_443.p	2024-10-04 18:29	1.8K
	i_0_444.p	2024-10-04 18:29	1.6K
	i_0_445.p	2024-10-04 18:29	2.4K
	i_0_446.p	2024-10-04 18:29	4.5K
	i_0_447.p	2024-10-04 18:29	2.0K
	i_0_448.p	2024-10-04 18:29	1.8K
	i_0_449.p	2024-10-04 18:29	3.3K
	i_0_450.p	2024-10-04 18:29	4.6K
	i_0_451.p	2024-10-04 18:29	2.8K
	i_0_452.p	2024-10-04 18:29	2.4K
	i_0_453.p	2024-10-04 18:29	2.9K
	i_0_454.p	2024-10-04 18:29	3.3K
	i_0_455.p	2024-10-04 18:29	4.1K
	i_0_456.p	2024-10-04 18:29	2.0K
	i_0_457.p	2024-10-04 18:29	2.9K
	i_0_458.p	2024-10-04 18:29	3.7K
	i_0_459.p	2024-10-04 18:29	2.4K
	i_0_460.p	2024-10-04 18:29	4.1K
	i_0_461.p	2024-10-04 18:29	1.8K
	i_0_462.p	2024-10-04 18:29	2.0K
	i_0_463.p	2024-10-04 18:29	4.2K
	i_0_464.p	2024-10-04 18:29	1.8K
	i_0_465.p	2024-10-04 18:29	3.7K
	i_0_466.p	2024-10-04 18:29	2.8K
	i_0_467.p	2024-10-04 18:29	4.6K
	i_0_468.p	2024-10-04 18:29	1.8K
	i_0_469.p	2024-10-04 18:29	2.0K
	i_0_470.p	2024-10-04 18:29	1.8K
	i_0_471.p	2024-10-04 18:29	4.1K
	i_0_472.p	2024-10-04 18:29	1.8K
	i_0_473.p	2024-10-04 18:29	2.0K
	i_0_474.p	2024-10-04 18:29	2.9K
	i_0_475.p	2024-10-04 18:29	1.8K
	i_0_476.p	2024-10-04 18:29	3.7K
	i_0_477.p	2024-10-04 18:29	4.2K
	i_0_478.p	2024-10-04 18:29	4.6K
	i_0_479.p	2024-10-04 18:29	2.2K
	i_0_480.p	2024-10-04 18:29	2.4K
	i_0_481.p	2024-10-04 18:29	2.0K
	i_0_482.p	2024-10-04 18:29	1.8K
	i_0_483.p	2024-10-04 18:29	4.1K
	i_0_484.p	2024-10-04 18:29	2.9K
	i_0_485.p	2024-10-04 18:29	2.9K
	i_0_486.p	2024-10-04 18:29	2.2K
	i_0_487.p	2024-10-04 18:29	2.8K
	i_0_488.p	2024-10-04 18:29	2.0K
	i_0_489.p	2024-10-04 18:29	3.7K
	i_0_490.p	2024-10-04 18:29	2.2K
	i_0_491.p	2024-10-04 18:29	4.6K
	i_0_492.p	2024-10-04 18:29	1.8K
	i_0_493.p	2024-10-04 18:29	2.9K
	i_0_494.p	2024-10-04 18:29	2.0K
	i_0_495.p	2024-10-04 18:29	3.3K
	i_0_496.p	2024-10-04 18:29	2.0K
	i_0_497.p	2024-10-04 18:29	4.1K
	i_0_498.p	2024-10-04 18:29	3.3K
	i_0_499.p	2024-10-04 18:29	2.0K
	i_0_500.p	2024-10-04 18:29	2.0K
	i_0_501.p	2024-10-04 18:29	2.9K
	i_0_502.p	2024-10-04 18:29	2.2K
	i_0_503.p	2024-10-04 18:29	1.8K
	i_0_504.p	2024-10-04 18:29	2.9K
	i_0_505.p	2024-10-04 18:29	1.8K
	i_0_506.p	2024-10-04 18:29	1.8K
	i_0_507.p	2024-10-04 18:29	1.8K
	i_0_508.p	2024-10-04 18:29	1.8K
	i_0_509.p	2024-10-04 18:29	3.7K
	i_0_510.p	2024-10-04 18:29	3.3K
	i_0_511.p	2024-10-04 18:29	1.8K
	i_0_512.p	2024-10-04 18:29	2.9K
	i_0_513.p	2024-10-04 18:29	3.7K
	i_0_514.p	2024-10-04 18:29	2.9K
	i_0_515.p	2024-10-04 18:29	2.8K
	i_0_516.p	2024-10-04 18:29	1.8K
	i_0_517.p	2024-10-04 18:29	3.3K
	i_0_518.p	2024-10-04 18:29	4.1K
	i_0_519.p	2024-10-04 18:29	3.7K
	i_0_520.p	2024-10-04 18:29	3.3K
	i_0_521.p	2024-10-04 18:29	2.0K
	i_0_522.p	2024-10-04 18:29	2.2K
	i_0_523.p	2024-10-04 18:29	2.0K
	i_0_524.p	2024-10-04 18:29	2.2K
	i_0_525.p	2024-10-04 18:29	3.7K
	i_0_526.p	2024-10-04 18:29	2.9K
	i_0_527.p	2024-10-04 18:29	3.3K
	i_0_528.p	2024-10-04 18:29	2.0K
	i_0_529.p	2024-10-04 18:29	1.8K
	i_0_530.p	2024-10-04 18:29	1.8K
	rule_false.p	2024-10-04 18:29	106
	rule_true.p	2024-10-04 18:29	102
	true_not_false.p	2024-10-04 18:29	113