Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SYO581+1/VerificationProblems/Vampire-SAT---4.7.CSA-Sat.s

	Name	Last modified	Size	Description
	Parent Directory		-
	goals_886.p	2024-10-04 18:30	617
	sos_01.p	2024-10-04 18:30	163
	sos_02.p	2024-10-04 18:30	163
	sos_03.p	2024-10-04 18:30	163
	sos_04.p	2024-10-04 18:30	163
	sos_05.p	2024-10-04 18:30	163
	sos_06.p	2024-10-04 18:30	163
	sos_07.p	2024-10-04 18:30	163
	sos_08.p	2024-10-04 18:30	163
	sos_09.p	2024-10-04 18:30	163
	sos_10.p	2024-10-04 18:30	163
	sos_11.p	2024-10-04 18:30	166
	sos_12.p	2024-10-04 18:30	166
	sos_13.p	2024-10-04 18:30	166
	sos_14.p	2024-10-04 18:30	166
	sos_15.p	2024-10-04 18:30	166
	sos_16.p	2024-10-04 18:30	166
	sos_17.p	2024-10-04 18:30	166
	sos_18.p	2024-10-04 18:30	166
	sos_19.p	2024-10-04 18:30	166
	sos_20.p	2024-10-04 18:30	166
	sos_21.p	2024-10-04 18:30	166
	sos_22.p	2024-10-04 18:30	166
	sos_23.p	2024-10-04 18:30	166
	sos_24.p	2024-10-04 18:30	166
	sos_25.p	2024-10-04 18:30	166
	sos_26.p	2024-10-04 18:30	166
	sos_27.p	2024-10-04 18:30	166
	sos_28.p	2024-10-04 18:30	166
	sos_29.p	2024-10-04 18:30	166
	sos_30.p	2024-10-04 18:30	166
	sos_31.p	2024-10-04 18:30	166
	sos_32.p	2024-10-04 18:30	166
	sos_33.p	2024-10-04 18:30	166
	sos_34.p	2024-10-04 18:30	166
	sos_35.p	2024-10-04 18:30	166
	sos_36.p	2024-10-04 18:30	166
	sos_37.p	2024-10-04 18:30	166
	sos_38.p	2024-10-04 18:30	166
	sos_39.p	2024-10-04 18:30	166
	sos_40.p	2024-10-04 18:30	166
	sos_41.p	2024-10-04 18:30	166
	sos_42.p	2024-10-04 18:30	166
	sos_43.p	2024-10-04 18:30	166
	sos_44.p	2024-10-04 18:30	166
	sos_45.p	2024-10-04 18:30	166
	sos_46.p	2024-10-04 18:30	166
	sos_47.p	2024-10-04 18:30	166
	sos_48.p	2024-10-04 18:30	166
	sos_49.p	2024-10-04 18:30	166
	sos_50.p	2024-10-04 18:30	166
	sos_51.p	2024-10-04 18:30	166
	sos_52.p	2024-10-04 18:30	166
	sos_53.p	2024-10-04 18:30	166
	sos_54.p	2024-10-04 18:30	166
	sos_55.p	2024-10-04 18:30	166
	sos_56.p	2024-10-04 18:30	166
	sos_57.p	2024-10-04 18:30	166
	sos_58.p	2024-10-04 18:30	166
	sos_59.p	2024-10-04 18:30	166
	sos_60.p	2024-10-04 18:30	166
	sos_61.p	2024-10-04 18:30	166
	sos_62.p	2024-10-04 18:30	166
	sos_63.p	2024-10-04 18:30	166
	sos_64.p	2024-10-04 18:30	166
	sos_65.p	2024-10-04 18:30	166
	sos_66.p	2024-10-04 18:30	166
	sos_67.p	2024-10-04 18:30	166
	sos_68.p	2024-10-04 18:30	166
	sos_69.p	2024-10-04 18:30	166
	sos_70.p	2024-10-04 18:30	166
	sos_71.p	2024-10-04 18:30	166
	sos_72.p	2024-10-04 18:30	166
	sos_73.p	2024-10-04 18:30	166
	sos_74.p	2024-10-04 18:30	166
	sos_75.p	2024-10-04 18:30	166
	sos_76.p	2024-10-04 18:30	166
	sos_77.p	2024-10-04 18:30	166
	sos_78.p	2024-10-04 18:30	166
	sos_79.p	2024-10-04 18:30	166
	sos_80.p	2024-10-04 18:30	166
	sos_81.p	2024-10-04 18:30	166
	sos_82.p	2024-10-04 18:30	166
	sos_83.p	2024-10-04 18:30	166
	sos_84.p	2024-10-04 18:30	166
	sos_85.p	2024-10-04 18:30	166
	sos_86.p	2024-10-04 18:30	166
	sos_87.p	2024-10-04 18:30	166
	sos_88.p	2024-10-04 18:30	166
	sos_89.p	2024-10-04 18:30	166
	sos_90.p	2024-10-04 18:30	166
	sos_91.p	2024-10-04 18:30	166
	sos_92.p	2024-10-04 18:30	166
	sos_93.p	2024-10-04 18:30	166
	sos_94.p	2024-10-04 18:30	166
	sos_95.p	2024-10-04 18:30	166
	sos_96.p	2024-10-04 18:30	166
	sos_97.p	2024-10-04 18:30	166
	sos_98.p	2024-10-04 18:30	166
	sos_99.p	2024-10-04 18:30	166
	sos_100.p	2024-10-04 18:30	167
	sos_101.p	2024-10-04 18:30	170
	sos_102.p	2024-10-04 18:30	170
	sos_103.p	2024-10-04 18:30	170
	sos_104.p	2024-10-04 18:30	170
	sos_105.p	2024-10-04 18:30	170
	sos_106.p	2024-10-04 18:30	170
	sos_107.p	2024-10-04 18:30	170
	sos_108.p	2024-10-04 18:30	170
	sos_109.p	2024-10-04 18:30	170
	sos_110.p	2024-10-04 18:30	170
	sos_111.p	2024-10-04 18:30	170
	sos_112.p	2024-10-04 18:30	170
	sos_113.p	2024-10-04 18:30	170
	sos_114.p	2024-10-04 18:30	170
	sos_115.p	2024-10-04 18:30	170
	sos_116.p	2024-10-04 18:30	170
	sos_117.p	2024-10-04 18:30	170
	sos_118.p	2024-10-04 18:30	170
	sos_119.p	2024-10-04 18:30	170
	sos_120.p	2024-10-04 18:30	170
	sos_121.p	2024-10-04 18:30	170
	sos_122.p	2024-10-04 18:30	170
	sos_123.p	2024-10-04 18:30	170
	sos_124.p	2024-10-04 18:30	170
	sos_125.p	2024-10-04 18:30	170
	sos_126.p	2024-10-04 18:30	170
	sos_127.p	2024-10-04 18:30	170
	sos_128.p	2024-10-04 18:30	170
	sos_129.p	2024-10-04 18:30	170
	sos_130.p	2024-10-04 18:30	170
	sos_131.p	2024-10-04 18:30	170
	sos_132.p	2024-10-04 18:30	170
	sos_133.p	2024-10-04 18:30	170
	sos_134.p	2024-10-04 18:30	170
	sos_135.p	2024-10-04 18:30	170
	sos_136.p	2024-10-04 18:30	170
	sos_137.p	2024-10-04 18:30	170
	sos_138.p	2024-10-04 18:30	170
	sos_139.p	2024-10-04 18:30	170
	sos_140.p	2024-10-04 18:30	170
	sos_141.p	2024-10-04 18:30	170
	sos_142.p	2024-10-04 18:30	170
	sos_143.p	2024-10-04 18:30	170
	sos_144.p	2024-10-04 18:30	170
	sos_145.p	2024-10-04 18:30	170
	sos_146.p	2024-10-04 18:30	170
	sos_147.p	2024-10-04 18:30	170
	sos_148.p	2024-10-04 18:30	170
	sos_149.p	2024-10-04 18:30	170
	sos_150.p	2024-10-04 18:30	170
	sos_151.p	2024-10-04 18:30	170
	sos_152.p	2024-10-04 18:30	170
	sos_153.p	2024-10-04 18:30	170
	sos_154.p	2024-10-04 18:30	170
	sos_155.p	2024-10-04 18:30	170
	sos_156.p	2024-10-04 18:30	170
	sos_157.p	2024-10-04 18:30	170
	sos_158.p	2024-10-04 18:30	170
	sos_159.p	2024-10-04 18:30	170
	sos_160.p	2024-10-04 18:30	170
	sos_161.p	2024-10-04 18:30	170
	sos_162.p	2024-10-04 18:30	170
	sos_163.p	2024-10-04 18:30	170
	sos_164.p	2024-10-04 18:30	170
	sos_165.p	2024-10-04 18:30	170
	sos_166.p	2024-10-04 18:30	170
	sos_167.p	2024-10-04 18:30	170
	sos_168.p	2024-10-04 18:30	170
	sos_169.p	2024-10-04 18:30	170
	sos_170.p	2024-10-04 18:30	170
	sos_171.p	2024-10-04 18:30	170
	sos_172.p	2024-10-04 18:30	170
	sos_173.p	2024-10-04 18:30	170
	sos_174.p	2024-10-04 18:30	170
	sos_175.p	2024-10-04 18:30	170
	sos_176.p	2024-10-04 18:30	170
	sos_177.p	2024-10-04 18:30	170
	sos_178.p	2024-10-04 18:30	170
	sos_179.p	2024-10-04 18:30	170
	sos_180.p	2024-10-04 18:30	170
	sos_181.p	2024-10-04 18:30	170
	sos_182.p	2024-10-04 18:30	170
	sos_183.p	2024-10-04 18:30	170
	sos_184.p	2024-10-04 18:30	170
	sos_185.p	2024-10-04 18:30	170
	sos_186.p	2024-10-04 18:30	170
	sos_187.p	2024-10-04 18:30	170
	sos_188.p	2024-10-04 18:30	170
	sos_189.p	2024-10-04 18:30	170
	sos_190.p	2024-10-04 18:30	170
	sos_191.p	2024-10-04 18:30	170
	sos_192.p	2024-10-04 18:30	170
	sos_193.p	2024-10-04 18:30	170
	sos_194.p	2024-10-04 18:30	170
	sos_195.p	2024-10-04 18:30	170
	sos_196.p	2024-10-04 18:30	170
	sos_197.p	2024-10-04 18:30	170
	sos_198.p	2024-10-04 18:30	170
	sos_199.p	2024-10-04 18:30	170
	sos_200.p	2024-10-04 18:30	170
	sos_201.p	2024-10-04 18:30	170
	sos_202.p	2024-10-04 18:30	170
	sos_203.p	2024-10-04 18:30	170
	sos_204.p	2024-10-04 18:30	170
	sos_205.p	2024-10-04 18:30	170
	sos_206.p	2024-10-04 18:30	170
	sos_207.p	2024-10-04 18:30	170
	sos_208.p	2024-10-04 18:30	170
	sos_209.p	2024-10-04 18:30	170
	sos_210.p	2024-10-04 18:30	170
	sos_211.p	2024-10-04 18:30	170
	sos_212.p	2024-10-04 18:30	170
	sos_213.p	2024-10-04 18:30	170
	sos_214.p	2024-10-04 18:30	170
	sos_215.p	2024-10-04 18:30	170
	sos_216.p	2024-10-04 18:30	170
	sos_217.p	2024-10-04 18:30	170
	sos_218.p	2024-10-04 18:30	170
	sos_219.p	2024-10-04 18:30	170
	sos_220.p	2024-10-04 18:30	170
	sos_221.p	2024-10-04 18:30	170
	sos_222.p	2024-10-04 18:30	170
	sos_223.p	2024-10-04 18:30	170
	sos_224.p	2024-10-04 18:30	170
	sos_225.p	2024-10-04 18:30	170
	sos_226.p	2024-10-04 18:30	170
	sos_227.p	2024-10-04 18:30	170
	sos_228.p	2024-10-04 18:30	170
	sos_229.p	2024-10-04 18:30	170
	sos_230.p	2024-10-04 18:30	170
	sos_231.p	2024-10-04 18:30	170
	sos_232.p	2024-10-04 18:30	170
	sos_233.p	2024-10-04 18:30	170
	sos_234.p	2024-10-04 18:30	170
	sos_235.p	2024-10-04 18:30	170
	sos_236.p	2024-10-04 18:30	170
	sos_237.p	2024-10-04 18:30	170
	sos_238.p	2024-10-04 18:30	170
	sos_239.p	2024-10-04 18:30	170
	sos_240.p	2024-10-04 18:30	170
	sos_241.p	2024-10-04 18:30	170
	sos_242.p	2024-10-04 18:30	170
	sos_243.p	2024-10-04 18:30	170
	sos_244.p	2024-10-04 18:30	170
	sos_245.p	2024-10-04 18:30	170
	sos_246.p	2024-10-04 18:30	170
	sos_247.p	2024-10-04 18:30	170
	sos_248.p	2024-10-04 18:30	170
	sos_249.p	2024-10-04 18:30	170
	sos_250.p	2024-10-04 18:30	170
	sos_251.p	2024-10-04 18:30	170
	sos_252.p	2024-10-04 18:30	170
	sos_253.p	2024-10-04 18:30	170
	sos_254.p	2024-10-04 18:30	170
	sos_255.p	2024-10-04 18:30	170
	sos_256.p	2024-10-04 18:30	170
	sos_257.p	2024-10-04 18:30	170
	sos_258.p	2024-10-04 18:30	170
	sos_259.p	2024-10-04 18:30	170
	sos_260.p	2024-10-04 18:30	170
	sos_261.p	2024-10-04 18:30	170
	sos_262.p	2024-10-04 18:30	170
	sos_263.p	2024-10-04 18:30	170
	sos_264.p	2024-10-04 18:30	170
	sos_265.p	2024-10-04 18:30	170
	sos_266.p	2024-10-04 18:30	170
	sos_267.p	2024-10-04 18:30	170
	sos_268.p	2024-10-04 18:30	170
	sos_269.p	2024-10-04 18:30	170
	sos_270.p	2024-10-04 18:30	170
	sos_271.p	2024-10-04 18:30	170
	sos_272.p	2024-10-04 18:30	170
	sos_273.p	2024-10-04 18:30	170
	sos_274.p	2024-10-04 18:30	170
	sos_275.p	2024-10-04 18:30	170
	sos_276.p	2024-10-04 18:30	170
	sos_277.p	2024-10-04 18:30	170
	sos_278.p	2024-10-04 18:30	170
	sos_279.p	2024-10-04 18:30	170
	sos_280.p	2024-10-04 18:30	170
	sos_281.p	2024-10-04 18:30	170
	sos_282.p	2024-10-04 18:30	170
	sos_283.p	2024-10-04 18:30	170
	sos_284.p	2024-10-04 18:30	170
	sos_285.p	2024-10-04 18:30	170
	sos_286.p	2024-10-04 18:30	170
	sos_287.p	2024-10-04 18:30	170
	sos_288.p	2024-10-04 18:30	170
	sos_289.p	2024-10-04 18:30	170
	sos_290.p	2024-10-04 18:30	170
	sos_291.p	2024-10-04 18:30	170
	sos_292.p	2024-10-04 18:30	170
	sos_293.p	2024-10-04 18:30	170
	sos_294.p	2024-10-04 18:30	170
	sos_295.p	2024-10-04 18:30	170
	sos_296.p	2024-10-04 18:30	170
	sos_297.p	2024-10-04 18:30	170
	sos_298.p	2024-10-04 18:30	170
	sos_299.p	2024-10-04 18:30	170
	sos_300.p	2024-10-04 18:30	170
	sos_301.p	2024-10-04 18:30	170
	sos_302.p	2024-10-04 18:30	170
	sos_303.p	2024-10-04 18:30	170
	sos_304.p	2024-10-04 18:30	170
	sos_305.p	2024-10-04 18:30	170
	sos_306.p	2024-10-04 18:30	170
	sos_307.p	2024-10-04 18:30	170
	sos_308.p	2024-10-04 18:30	170
	sos_309.p	2024-10-04 18:30	170
	sos_310.p	2024-10-04 18:30	170
	sos_311.p	2024-10-04 18:30	170
	sos_312.p	2024-10-04 18:30	170
	sos_313.p	2024-10-04 18:30	170
	sos_314.p	2024-10-04 18:30	170
	sos_315.p	2024-10-04 18:30	170
	sos_316.p	2024-10-04 18:30	170
	sos_317.p	2024-10-04 18:30	170
	sos_318.p	2024-10-04 18:30	170
	sos_319.p	2024-10-04 18:30	170
	sos_320.p	2024-10-04 18:30	241
	sos_321.p	2024-10-04 18:30	171
	sos_322.p	2024-10-04 18:30	171
	sos_323.p	2024-10-04 18:30	241
	sos_324.p	2024-10-04 18:30	171
	sos_325.p	2024-10-04 18:30	171
	sos_326.p	2024-10-04 18:30	171
	sos_327.p	2024-10-04 18:30	171
	sos_328.p	2024-10-04 18:30	171
	sos_329.p	2024-10-04 18:30	171
	sos_330.p	2024-10-04 18:30	241
	sos_331.p	2024-10-04 18:30	241
	sos_332.p	2024-10-04 18:30	171
	sos_333.p	2024-10-04 18:30	241
	sos_334.p	2024-10-04 18:30	241
	sos_335.p	2024-10-04 18:30	171
	sos_336.p	2024-10-04 18:30	241
	sos_337.p	2024-10-04 18:30	241
	sos_338.p	2024-10-04 18:30	241
	sos_339.p	2024-10-04 18:30	241
	sos_340.p	2024-10-04 18:30	303
	sos_341.p	2024-10-04 18:30	171
	sos_342.p	2024-10-04 18:30	171
	sos_343.p	2024-10-04 18:30	171
	sos_344.p	2024-10-04 18:30	171
	sos_345.p	2024-10-04 18:30	171
	sos_346.p	2024-10-04 18:30	665
	sos_347.p	2024-10-04 18:30	241
	sos_348.p	2024-10-04 18:30	241
	sos_349.p	2024-10-04 18:30	241
	sos_350.p	2024-10-04 18:30	241
	sos_351.p	2024-10-04 18:30	171
	sos_352.p	2024-10-04 18:30	171
	sos_353.p	2024-10-04 18:30	171
	sos_354.p	2024-10-04 18:30	171
	sos_355.p	2024-10-04 18:30	171
	sos_356.p	2024-10-04 18:30	171
	sos_357.p	2024-10-04 18:30	171
	sos_358.p	2024-10-04 18:30	171
	sos_359.p	2024-10-04 18:30	171
	sos_360.p	2024-10-04 18:30	171
	sos_361.p	2024-10-04 18:30	171
	sos_362.p	2024-10-04 18:30	171
	sos_363.p	2024-10-04 18:30	241
	sos_364.p	2024-10-04 18:30	241
	sos_365.p	2024-10-04 18:30	171
	sos_366.p	2024-10-04 18:30	241
	sos_367.p	2024-10-04 18:30	241
	sos_368.p	2024-10-04 18:30	241
	sos_369.p	2024-10-04 18:30	171
	sos_370.p	2024-10-04 18:30	171
	sos_371.p	2024-10-04 18:30	171
	sos_372.p	2024-10-04 18:30	241
	sos_373.p	2024-10-04 18:30	665
	sos_374.p	2024-10-04 18:30	665
	sos_375.p	2024-10-04 18:30	171
	sos_376.p	2024-10-04 18:30	241
	sos_377.p	2024-10-04 18:30	665
	sos_378.p	2024-10-04 18:30	665
	sos_379.p	2024-10-04 18:30	665
	sos_380.p	2024-10-04 18:30	241
	sos_381.p	2024-10-04 18:30	665
	sos_382.p	2024-10-04 18:30	241
	sos_383.p	2024-10-04 18:30	171
	sos_384.p	2024-10-04 18:30	171
	sos_385.p	2024-10-04 18:30	171
	sos_386.p	2024-10-04 18:30	171
	sos_387.p	2024-10-04 18:30	241
	sos_388.p	2024-10-04 18:30	171
	sos_389.p	2024-10-04 18:30	171
	sos_390.p	2024-10-04 18:30	171
	sos_391.p	2024-10-04 18:30	171
	sos_392.p	2024-10-04 18:30	241
	sos_393.p	2024-10-04 18:30	171
	sos_394.p	2024-10-04 18:30	241
	sos_395.p	2024-10-04 18:30	241
	sos_396.p	2024-10-04 18:30	241
	sos_397.p	2024-10-04 18:30	241
	sos_398.p	2024-10-04 18:30	171
	sos_399.p	2024-10-04 18:30	241
	sos_400.p	2024-10-04 18:30	241
	sos_401.p	2024-10-04 18:30	171
	sos_402.p	2024-10-04 18:30	665
	sos_403.p	2024-10-04 18:30	665
	sos_404.p	2024-10-04 18:30	171
	sos_405.p	2024-10-04 18:30	241
	sos_406.p	2024-10-04 18:30	171
	sos_407.p	2024-10-04 18:30	171
	sos_408.p	2024-10-04 18:30	171
	sos_409.p	2024-10-04 18:30	241
	sos_410.p	2024-10-04 18:30	241
	sos_411.p	2024-10-04 18:30	171
	sos_412.p	2024-10-04 18:30	241
	sos_413.p	2024-10-04 18:30	241
	sos_414.p	2024-10-04 18:30	241
	sos_415.p	2024-10-04 18:30	171
	sos_416.p	2024-10-04 18:30	171
	sos_417.p	2024-10-04 18:30	171
	sos_418.p	2024-10-04 18:30	241
	sos_419.p	2024-10-04 18:30	241
	sos_420.p	2024-10-04 18:30	665
	sos_421.p	2024-10-04 18:30	171
	sos_422.p	2024-10-04 18:30	241
	sos_423.p	2024-10-04 18:30	241
	sos_424.p	2024-10-04 18:30	241
	sos_425.p	2024-10-04 18:30	171
	sos_426.p	2024-10-04 18:30	171
	sos_427.p	2024-10-04 18:30	171
	sos_428.p	2024-10-04 18:30	241
	sos_429.p	2024-10-04 18:30	171
	sos_430.p	2024-10-04 18:30	171
	sos_431.p	2024-10-04 18:30	241
	sos_432.p	2024-10-04 18:30	241
	sos_433.p	2024-10-04 18:30	171
	sos_434.p	2024-10-04 18:30	241
	sos_435.p	2024-10-04 18:30	171
	sos_436.p	2024-10-04 18:30	241
	sos_437.p	2024-10-04 18:30	241
	sos_438.p	2024-10-04 18:30	241
	sos_439.p	2024-10-04 18:30	171
	sos_440.p	2024-10-04 18:30	171
	sos_441.p	2024-10-04 18:30	241
	sos_442.p	2024-10-04 18:30	665
	sos_443.p	2024-10-04 18:30	303
	sos_444.p	2024-10-04 18:30	241
	sos_445.p	2024-10-04 18:30	171
	sos_446.p	2024-10-04 18:30	171
	sos_447.p	2024-10-04 18:30	241
	sos_448.p	2024-10-04 18:30	241
	sos_449.p	2024-10-04 18:30	171
	sos_450.p	2024-10-04 18:30	171
	sos_451.p	2024-10-04 18:30	241
	sos_452.p	2024-10-04 18:30	171
	sos_453.p	2024-10-04 18:30	241
	sos_454.p	2024-10-04 18:30	171
	sos_455.p	2024-10-04 18:30	171
	sos_456.p	2024-10-04 18:30	171
	sos_457.p	2024-10-04 18:30	171
	sos_458.p	2024-10-04 18:30	171
	sos_459.p	2024-10-04 18:30	171
	sos_460.p	2024-10-04 18:30	171
	sos_461.p	2024-10-04 18:30	241
	sos_462.p	2024-10-04 18:30	171
	sos_463.p	2024-10-04 18:30	171
	sos_464.p	2024-10-04 18:30	171
	sos_465.p	2024-10-04 18:30	171
	sos_466.p	2024-10-04 18:30	171
	sos_467.p	2024-10-04 18:30	171
	sos_468.p	2024-10-04 18:30	241
	sos_469.p	2024-10-04 18:30	171
	sos_470.p	2024-10-04 18:30	171
	sos_471.p	2024-10-04 18:30	241
	sos_472.p	2024-10-04 18:30	171
	sos_473.p	2024-10-04 18:30	171
	sos_474.p	2024-10-04 18:30	241
	sos_475.p	2024-10-04 18:30	241
	sos_476.p	2024-10-04 18:30	171
	sos_477.p	2024-10-04 18:30	171
	sos_478.p	2024-10-04 18:30	171
	sos_479.p	2024-10-04 18:30	241
	sos_480.p	2024-10-04 18:30	241
	sos_481.p	2024-10-04 18:30	171
	sos_482.p	2024-10-04 18:30	241
	sos_483.p	2024-10-04 18:30	241
	sos_484.p	2024-10-04 18:30	241
	sos_485.p	2024-10-04 18:30	241
	sos_486.p	2024-10-04 18:30	171
	sos_487.p	2024-10-04 18:30	171
	sos_488.p	2024-10-04 18:30	171
	sos_489.p	2024-10-04 18:30	241
	sos_490.p	2024-10-04 18:30	171
	sos_491.p	2024-10-04 18:30	171
	sos_492.p	2024-10-04 18:30	171
	sos_493.p	2024-10-04 18:30	241
	sos_494.p	2024-10-04 18:30	241
	sos_495.p	2024-10-04 18:30	171
	sos_496.p	2024-10-04 18:30	171
	sos_497.p	2024-10-04 18:30	171
	sos_498.p	2024-10-04 18:30	171
	sos_499.p	2024-10-04 18:30	171
	sos_500.p	2024-10-04 18:30	241
	sos_501.p	2024-10-04 18:30	171
	sos_502.p	2024-10-04 18:30	171
	sos_503.p	2024-10-04 18:30	171
	sos_504.p	2024-10-04 18:30	171
	sos_505.p	2024-10-04 18:30	241
	sos_506.p	2024-10-04 18:30	171
	sos_507.p	2024-10-04 18:30	241
	sos_508.p	2024-10-04 18:30	171
	sos_509.p	2024-10-04 18:30	241
	sos_510.p	2024-10-04 18:30	171
	sos_511.p	2024-10-04 18:30	241
	sos_512.p	2024-10-04 18:30	171
	sos_513.p	2024-10-04 18:30	171
	sos_514.p	2024-10-04 18:30	241
	sos_515.p	2024-10-04 18:30	241
	sos_516.p	2024-10-04 18:30	171
	sos_517.p	2024-10-04 18:30	171
	sos_518.p	2024-10-04 18:30	171
	sos_519.p	2024-10-04 18:30	171
	sos_520.p	2024-10-04 18:30	171
	sos_521.p	2024-10-04 18:30	241
	sos_522.p	2024-10-04 18:30	665
	sos_523.p	2024-10-04 18:30	303
	sos_524.p	2024-10-04 18:30	241
	sos_525.p	2024-10-04 18:30	303
	sos_526.p	2024-10-04 18:30	138
	sos_527.p	2024-10-04 18:30	138
	sos_528.p	2024-10-04 18:30	138
	sos_529.p	2024-10-04 18:30	138
	sos_530.p	2024-10-04 18:30	138
	sos_531.p	2024-10-04 18:30	138
	sos_532.p	2024-10-04 18:30	138
	sos_533.p	2024-10-04 18:30	138
	sos_534.p	2024-10-04 18:30	138
	sos_535.p	2024-10-04 18:30	138
	sos_536.p	2024-10-04 18:30	138
	sos_537.p	2024-10-04 18:30	138
	sos_538.p	2024-10-04 18:30	138
	sos_539.p	2024-10-04 18:30	138
	sos_540.p	2024-10-04 18:30	138
	sos_541.p	2024-10-04 18:30	138
	sos_542.p	2024-10-04 18:30	138
	sos_543.p	2024-10-04 18:30	138
	sos_544.p	2024-10-04 18:30	138
	sos_545.p	2024-10-04 18:30	138
	sos_546.p	2024-10-04 18:30	138
	sos_547.p	2024-10-04 18:30	138
	sos_548.p	2024-10-04 18:30	138
	sos_549.p	2024-10-04 18:30	138
	sos_550.p	2024-10-04 18:30	138
	sos_551.p	2024-10-04 18:30	138
	sos_552.p	2024-10-04 18:30	138
	sos_553.p	2024-10-04 18:30	138
	sos_554.p	2024-10-04 18:30	138
	sos_555.p	2024-10-04 18:30	138
	sos_556.p	2024-10-04 18:30	138
	sos_557.p	2024-10-04 18:30	138
	sos_558.p	2024-10-04 18:30	138
	sos_559.p	2024-10-04 18:30	138
	sos_560.p	2024-10-04 18:30	138
	sos_561.p	2024-10-04 18:30	138
	sos_562.p	2024-10-04 18:30	138
	sos_563.p	2024-10-04 18:30	138
	sos_564.p	2024-10-04 18:30	138
	sos_565.p	2024-10-04 18:30	138
	sos_566.p	2024-10-04 18:30	138
	sos_567.p	2024-10-04 18:30	138
	sos_568.p	2024-10-04 18:30	138
	sos_569.p	2024-10-04 18:30	138
	sos_570.p	2024-10-04 18:30	138
	sos_571.p	2024-10-04 18:30	138
	sos_572.p	2024-10-04 18:30	138
	sos_573.p	2024-10-04 18:30	138
	sos_574.p	2024-10-04 18:30	138
	sos_575.p	2024-10-04 18:30	138
	sos_576.p	2024-10-04 18:30	138
	sos_577.p	2024-10-04 18:30	138
	sos_578.p	2024-10-04 18:30	138
	sos_579.p	2024-10-04 18:30	138
	sos_580.p	2024-10-04 18:30	138
	sos_581.p	2024-10-04 18:30	138
	sos_582.p	2024-10-04 18:30	138
	sos_583.p	2024-10-04 18:30	138
	sos_584.p	2024-10-04 18:30	138
	sos_585.p	2024-10-04 18:30	138
	sos_586.p	2024-10-04 18:30	138
	sos_587.p	2024-10-04 18:30	138
	sos_588.p	2024-10-04 18:30	138
	sos_589.p	2024-10-04 18:30	138
	sos_590.p	2024-10-04 18:30	138
	sos_591.p	2024-10-04 18:30	138
	sos_592.p	2024-10-04 18:30	138
	sos_593.p	2024-10-04 18:30	138
	sos_594.p	2024-10-04 18:30	138
	sos_595.p	2024-10-04 18:30	138
	sos_596.p	2024-10-04 18:30	138
	sos_597.p	2024-10-04 18:30	138
	sos_598.p	2024-10-04 18:30	138
	sos_599.p	2024-10-04 18:30	138
	sos_600.p	2024-10-04 18:30	138
	sos_601.p	2024-10-04 18:30	138
	sos_602.p	2024-10-04 18:30	138
	sos_603.p	2024-10-04 18:30	138
	sos_604.p	2024-10-04 18:30	138
	sos_605.p	2024-10-04 18:30	138
	sos_606.p	2024-10-04 18:30	138
	sos_607.p	2024-10-04 18:30	138
	sos_608.p	2024-10-04 18:30	138
	sos_609.p	2024-10-04 18:30	138
	sos_610.p	2024-10-04 18:30	138
	sos_611.p	2024-10-04 18:30	138
	sos_612.p	2024-10-04 18:30	138
	sos_613.p	2024-10-04 18:30	138
	sos_614.p	2024-10-04 18:30	138
	sos_615.p	2024-10-04 18:30	138
	sos_616.p	2024-10-04 18:30	138
	sos_617.p	2024-10-04 18:30	138
	sos_618.p	2024-10-04 18:30	138
	sos_619.p	2024-10-04 18:30	138
	sos_620.p	2024-10-04 18:30	138
	sos_621.p	2024-10-04 18:30	138
	sos_622.p	2024-10-04 18:30	138
	sos_623.p	2024-10-04 18:30	138
	sos_624.p	2024-10-04 18:30	138
	sos_625.p	2024-10-04 18:30	138
	sos_626.p	2024-10-04 18:30	138
	sos_627.p	2024-10-04 18:30	138
	sos_628.p	2024-10-04 18:30	138
	sos_629.p	2024-10-04 18:30	138
	sos_630.p	2024-10-04 18:30	138
	sos_631.p	2024-10-04 18:30	138
	sos_632.p	2024-10-04 18:30	138
	sos_633.p	2024-10-04 18:30	138
	sos_634.p	2024-10-04 18:30	138
	sos_635.p	2024-10-04 18:30	138
	sos_636.p	2024-10-04 18:30	138
	sos_637.p	2024-10-04 18:30	138
	sos_638.p	2024-10-04 18:30	138
	sos_639.p	2024-10-04 18:30	138
	sos_640.p	2024-10-04 18:30	138
	sos_641.p	2024-10-04 18:30	138
	sos_642.p	2024-10-04 18:30	138
	sos_643.p	2024-10-04 18:30	138
	sos_644.p	2024-10-04 18:30	138
	sos_645.p	2024-10-04 18:30	138
	sos_646.p	2024-10-04 18:30	138
	sos_647.p	2024-10-04 18:30	138
	sos_648.p	2024-10-04 18:30	138
	sos_649.p	2024-10-04 18:30	138
	sos_650.p	2024-10-04 18:30	138
	sos_651.p	2024-10-04 18:30	138
	sos_652.p	2024-10-04 18:30	138
	sos_653.p	2024-10-04 18:30	138
	sos_654.p	2024-10-04 18:30	138
	sos_655.p	2024-10-04 18:30	138
	sos_656.p	2024-10-04 18:30	138
	sos_657.p	2024-10-04 18:30	138
	sos_658.p	2024-10-04 18:30	138
	sos_659.p	2024-10-04 18:30	138
	sos_660.p	2024-10-04 18:30	138
	sos_661.p	2024-10-04 18:30	138
	sos_662.p	2024-10-04 18:30	138
	sos_663.p	2024-10-04 18:30	138
	sos_664.p	2024-10-04 18:30	138
	sos_665.p	2024-10-04 18:30	138
	sos_666.p	2024-10-04 18:30	138
	sos_667.p	2024-10-04 18:30	138
	sos_668.p	2024-10-04 18:30	138
	sos_669.p	2024-10-04 18:30	138
	sos_670.p	2024-10-04 18:30	138
	sos_671.p	2024-10-04 18:30	138
	sos_672.p	2024-10-04 18:30	138
	sos_673.p	2024-10-04 18:30	138
	sos_674.p	2024-10-04 18:30	138
	sos_675.p	2024-10-04 18:30	138
	sos_676.p	2024-10-04 18:30	138
	sos_677.p	2024-10-04 18:30	138
	sos_678.p	2024-10-04 18:30	138
	sos_679.p	2024-10-04 18:30	138
	sos_680.p	2024-10-04 18:30	138
	sos_681.p	2024-10-04 18:30	138
	sos_682.p	2024-10-04 18:30	138
	sos_683.p	2024-10-04 18:30	138
	sos_684.p	2024-10-04 18:30	138
	sos_685.p	2024-10-04 18:30	138
	sos_686.p	2024-10-04 18:30	138
	sos_687.p	2024-10-04 18:30	138
	sos_688.p	2024-10-04 18:30	138
	sos_689.p	2024-10-04 18:30	138
	sos_690.p	2024-10-04 18:30	138
	sos_691.p	2024-10-04 18:30	138
	sos_692.p	2024-10-04 18:30	138
	sos_693.p	2024-10-04 18:30	138
	sos_694.p	2024-10-04 18:30	138
	sos_695.p	2024-10-04 18:30	138
	sos_696.p	2024-10-04 18:30	138
	sos_697.p	2024-10-04 18:30	138
	sos_698.p	2024-10-04 18:30	138
	sos_699.p	2024-10-04 18:30	138
	sos_700.p	2024-10-04 18:30	138
	sos_701.p	2024-10-04 18:30	138
	sos_702.p	2024-10-04 18:30	138
	sos_703.p	2024-10-04 18:30	138
	sos_704.p	2024-10-04 18:30	138
	sos_705.p	2024-10-04 18:30	138
	sos_706.p	2024-10-04 18:30	138
	sos_707.p	2024-10-04 18:30	138
	sos_708.p	2024-10-04 18:30	138
	sos_709.p	2024-10-04 18:30	138
	sos_710.p	2024-10-04 18:30	138
	sos_711.p	2024-10-04 18:30	138
	sos_712.p	2024-10-04 18:30	138
	sos_713.p	2024-10-04 18:30	138
	sos_714.p	2024-10-04 18:30	138
	sos_715.p	2024-10-04 18:30	138
	sos_716.p	2024-10-04 18:30	138
	sos_717.p	2024-10-04 18:30	138
	sos_718.p	2024-10-04 18:30	138
	sos_719.p	2024-10-04 18:30	138
	sos_720.p	2024-10-04 18:30	138
	sos_721.p	2024-10-04 18:30	138
	sos_722.p	2024-10-04 18:30	138
	sos_723.p	2024-10-04 18:30	138
	sos_724.p	2024-10-04 18:30	138
	sos_725.p	2024-10-04 18:30	138
	sos_726.p	2024-10-04 18:30	138
	sos_727.p	2024-10-04 18:30	138
	sos_728.p	2024-10-04 18:30	138
	sos_729.p	2024-10-04 18:30	138
	sos_730.p	2024-10-04 18:30	138
	sos_731.p	2024-10-04 18:30	138
	sos_732.p	2024-10-04 18:30	138
	sos_733.p	2024-10-04 18:30	138
	sos_734.p	2024-10-04 18:30	138
	sos_735.p	2024-10-04 18:30	138
	sos_736.p	2024-10-04 18:30	138
	sos_737.p	2024-10-04 18:30	138
	sos_738.p	2024-10-04 18:30	138
	sos_739.p	2024-10-04 18:30	138
	sos_740.p	2024-10-04 18:30	138
	sos_741.p	2024-10-04 18:30	138
	sos_742.p	2024-10-04 18:30	138
	sos_743.p	2024-10-04 18:30	138
	sos_744.p	2024-10-04 18:30	138
	sos_745.p	2024-10-04 18:30	138
	sos_746.p	2024-10-04 18:30	138
	sos_747.p	2024-10-04 18:30	138
	sos_748.p	2024-10-04 18:30	138
	sos_749.p	2024-10-04 18:30	138
	sos_750.p	2024-10-04 18:30	138
	sos_751.p	2024-10-04 18:30	138
	sos_752.p	2024-10-04 18:30	138
	sos_753.p	2024-10-04 18:30	138
	sos_754.p	2024-10-04 18:30	138
	sos_755.p	2024-10-04 18:30	138
	sos_756.p	2024-10-04 18:30	138
	sos_757.p	2024-10-04 18:30	138
	sos_758.p	2024-10-04 18:30	138
	sos_759.p	2024-10-04 18:30	138
	sos_760.p	2024-10-04 18:30	138
	sos_761.p	2024-10-04 18:30	138
	sos_762.p	2024-10-04 18:30	138
	sos_763.p	2024-10-04 18:30	138
	sos_764.p	2024-10-04 18:30	138
	sos_765.p	2024-10-04 18:30	138
	sos_766.p	2024-10-04 18:30	138
	sos_767.p	2024-10-04 18:30	138
	sos_768.p	2024-10-04 18:30	138
	sos_769.p	2024-10-04 18:30	138
	sos_770.p	2024-10-04 18:30	138
	sos_771.p	2024-10-04 18:30	138
	sos_772.p	2024-10-04 18:30	138
	sos_773.p	2024-10-04 18:30	138
	sos_774.p	2024-10-04 18:30	138
	sos_775.p	2024-10-04 18:30	138
	sos_776.p	2024-10-04 18:30	138
	sos_777.p	2024-10-04 18:30	138
	sos_778.p	2024-10-04 18:30	138
	sos_779.p	2024-10-04 18:30	138
	sos_780.p	2024-10-04 18:30	138
	sos_781.p	2024-10-04 18:30	138
	sos_782.p	2024-10-04 18:30	138
	sos_783.p	2024-10-04 18:30	138
	sos_784.p	2024-10-04 18:30	138
	sos_785.p	2024-10-04 18:30	138
	sos_786.p	2024-10-04 18:30	138
	sos_787.p	2024-10-04 18:30	138
	sos_788.p	2024-10-04 18:30	138
	sos_789.p	2024-10-04 18:30	138
	sos_790.p	2024-10-04 18:30	138
	sos_791.p	2024-10-04 18:30	138
	sos_792.p	2024-10-04 18:30	138
	sos_793.p	2024-10-04 18:30	138
	sos_794.p	2024-10-04 18:30	138
	sos_795.p	2024-10-04 18:30	138
	sos_796.p	2024-10-04 18:30	138
	sos_797.p	2024-10-04 18:30	138
	sos_798.p	2024-10-04 18:30	138
	sos_799.p	2024-10-04 18:30	138
	sos_800.p	2024-10-04 18:30	138
	sos_801.p	2024-10-04 18:30	138
	sos_802.p	2024-10-04 18:30	138
	sos_803.p	2024-10-04 18:30	138
	sos_804.p	2024-10-04 18:30	138
	sos_805.p	2024-10-04 18:30	138
	sos_806.p	2024-10-04 18:30	138
	sos_807.p	2024-10-04 18:30	138
	sos_808.p	2024-10-04 18:30	138
	sos_809.p	2024-10-04 18:30	138
	sos_810.p	2024-10-04 18:30	138
	sos_811.p	2024-10-04 18:30	138
	sos_812.p	2024-10-04 18:30	138
	sos_813.p	2024-10-04 18:30	138
	sos_814.p	2024-10-04 18:30	138
	sos_815.p	2024-10-04 18:30	138
	sos_816.p	2024-10-04 18:30	138
	sos_817.p	2024-10-04 18:30	138
	sos_818.p	2024-10-04 18:30	138
	sos_819.p	2024-10-04 18:30	138
	sos_820.p	2024-10-04 18:30	138
	sos_821.p	2024-10-04 18:30	138
	sos_822.p	2024-10-04 18:30	138
	sos_823.p	2024-10-04 18:30	138
	sos_824.p	2024-10-04 18:30	138
	sos_825.p	2024-10-04 18:30	138
	sos_826.p	2024-10-04 18:30	138
	sos_827.p	2024-10-04 18:30	138
	sos_828.p	2024-10-04 18:30	138
	sos_829.p	2024-10-04 18:30	138
	sos_830.p	2024-10-04 18:30	138
	sos_831.p	2024-10-04 18:30	140
	sos_832.p	2024-10-04 18:30	140
	sos_833.p	2024-10-04 18:30	140
	sos_834.p	2024-10-04 18:30	140
	sos_835.p	2024-10-04 18:30	140
	sos_836.p	2024-10-04 18:30	140
	sos_837.p	2024-10-04 18:30	140
	sos_838.p	2024-10-04 18:30	140
	sos_839.p	2024-10-04 18:30	140
	sos_840.p	2024-10-04 18:30	140
	sos_841.p	2024-10-04 18:30	140
	sos_842.p	2024-10-04 18:30	140
	sos_843.p	2024-10-04 18:30	140
	sos_844.p	2024-10-04 18:30	140
	sos_845.p	2024-10-04 18:30	140
	sos_846.p	2024-10-04 18:30	140
	sos_847.p	2024-10-04 18:30	140
	sos_848.p	2024-10-04 18:30	140
	sos_849.p	2024-10-04 18:30	140
	sos_850.p	2024-10-04 18:30	140
	sos_851.p	2024-10-04 18:30	140
	sos_852.p	2024-10-04 18:30	140
	sos_853.p	2024-10-04 18:30	140
	sos_854.p	2024-10-04 18:30	140
	sos_855.p	2024-10-04 18:30	140
	sos_856.p	2024-10-04 18:30	140
	sos_857.p	2024-10-04 18:30	140
	sos_858.p	2024-10-04 18:30	140
	sos_859.p	2024-10-04 18:30	140
	sos_860.p	2024-10-04 18:30	140
	sos_861.p	2024-10-04 18:30	140
	sos_862.p	2024-10-04 18:30	140
	sos_863.p	2024-10-04 18:30	140
	sos_864.p	2024-10-04 18:30	140
	sos_865.p	2024-10-04 18:30	140
	sos_866.p	2024-10-04 18:30	140
	sos_867.p	2024-10-04 18:30	140
	sos_868.p	2024-10-04 18:30	140
	sos_869.p	2024-10-04 18:30	140
	sos_870.p	2024-10-04 18:30	140
	sos_871.p	2024-10-04 18:30	140
	sos_872.p	2024-10-04 18:30	140
	sos_873.p	2024-10-04 18:30	140
	sos_874.p	2024-10-04 18:30	140
	sos_875.p	2024-10-04 18:30	140
	sos_876.p	2024-10-04 18:30	140
	sos_877.p	2024-10-04 18:30	140
	sos_878.p	2024-10-04 18:30	140
	sos_879.p	2024-10-04 18:30	140
	sos_880.p	2024-10-04 18:30	140
	sos_881.p	2024-10-04 18:30	140
	sos_882.p	2024-10-04 18:30	140
	sos_883.p	2024-10-04 18:30	140
	sos_884.p	2024-10-04 18:30	140
	sos_885.p	2024-10-04 18:30	140