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

	Name	Last modified	Size	Description
	Parent Directory		-
	deduced_354.p	2024-10-04 18:29	142
	event_159.p	2024-10-04 18:29	194
	deduced_272.p	2024-10-04 18:29	153
	deduced_50.p	2024-10-04 18:29	149
	event_157.p	2024-10-04 18:29	140
	deduced_353.p	2024-10-04 18:29	175
	deduced_30.p	2024-10-04 18:29	183
	event_207.p	2024-10-04 18:29	184
	deduced_305.p	2024-10-04 18:29	136
	event_232.p	2024-10-04 18:29	183
	event_111.p	2024-10-04 18:29	191
	deduced_167.p	2024-10-04 18:29	159
	deduced_299.p	2024-10-04 18:29	153
	deduced_326.p	2024-10-04 18:29	140
	event_76.p	2024-10-04 18:29	180
	deduced_42.p	2024-10-04 18:29	147
	deduced_181.p	2024-10-04 18:29	141
	deduced_87.p	2024-10-04 18:29	169
	event_143.p	2024-10-04 18:29	177
	deduced_29.p	2024-10-04 18:29	167
	event_6.p	2024-10-04 18:29	213
	a2_9.p	2024-10-04 18:29	298
	event_33.p	2024-10-04 18:29	174
	deduced_8.p	2024-10-04 18:29	184
	deduced_27.p	2024-10-04 18:29	154
	deduced_186.p	2024-10-04 18:29	156
	a2_13.p	2024-10-04 18:29	299
	a1_1.p	2024-10-04 18:29	213
	deduced_72.p	2024-10-04 18:29	147
	event_154.p	2024-10-04 18:29	177
	deduced_106.p	2024-10-04 18:29	155
	event_208.p	2024-10-04 18:29	170
	event_12.p	2024-10-04 18:29	197
	event_70.p	2024-10-04 18:29	210
	event_136.p	2024-10-04 18:29	177
	a1_6.p	2024-10-04 18:29	207
	event_242.p	2024-10-04 18:29	154
	deduced_172.p	2024-10-04 18:29	170
	deduced_66.p	2024-10-04 18:29	164
	deduced_282.p	2024-10-04 18:29	172
	event_92.p	2024-10-04 18:29	193
	event_10.p	2024-10-04 18:29	184
	event_172.p	2024-10-04 18:29	188
	deduced_208.p	2024-10-04 18:29	154
	event_126.p	2024-10-04 18:29	177
	event_5.p	2024-10-04 18:29	213
	event_51.p	2024-10-04 18:29	192
	deduced_229.p	2024-10-04 18:29	155
	event_233.p	2024-10-04 18:29	183
	deduced_241.p	2024-10-04 18:29	147
	event_46.p	2024-10-04 18:29	184
	deduced_159.p	2024-10-04 18:29	173
	deduced_228.p	2024-10-04 18:29	150
	event_77.p	2024-10-04 18:29	174
	event_105.p	2024-10-04 18:29	205
	deduced_246.p	2024-10-04 18:29	158
	event_131.p	2024-10-04 18:29	186
	deduced_342.p	2024-10-04 18:29	156
	deduced_125.p	2024-10-04 18:29	159
	deduced_173.p	2024-10-04 18:29	174
	event_189.p	2024-10-04 18:29	166
	event_97.p	2024-10-04 18:29	203
	event_69.p	2024-10-04 18:29	210
	deduced_233.p	2024-10-04 18:29	170
	event_245.p	2024-10-04 18:29	140
	deduced_337.p	2024-10-04 18:29	147
	deduced_281.p	2024-10-04 18:29	165
	a1_5.p	2024-10-04 18:29	178
	event_137.p	2024-10-04 18:29	199
	deduced_53.p	2024-10-04 18:29	140
	deduced_268.p	2024-10-04 18:29	143
	deduced_362.p	2024-10-04 18:29	153
	deduced_114.p	2024-10-04 18:29	156
	event_61.p	2024-10-04 18:29	181
	a2_6.p	2024-10-04 18:29	303
	deduced_143.p	2024-10-04 18:29	148
	deduced_313.p	2024-10-04 18:29	150
	a2_5.p	2024-10-04 18:29	307
	deduced_363.p	2024-10-04 18:29	153
	deduced_183.p	2024-10-04 18:29	178
	deduced_58.p	2024-10-04 18:29	141
	deduced_54.p	2024-10-04 18:29	160
	event_86.p	2024-10-04 18:29	203
	deduced_220.p	2024-10-04 18:29	152
	deduced_76.p	2024-10-04 18:29	153
	event_217.p	2024-10-04 18:29	177
	deduced_128.p	2024-10-04 18:29	148
	event_96.p	2024-10-04 18:29	192
	event_21.p	2024-10-04 18:29	144
	deduced_196.p	2024-10-04 18:29	163
	deduced_85.p	2024-10-04 18:29	168
	event_221.p	2024-10-04 18:29	181
	deduced_249.p	2024-10-04 18:29	147
	deduced_102.p	2024-10-04 18:29	156
	deduced_151.p	2024-10-04 18:29	150
	event_116.p	2024-10-04 18:29	170
	deduced_276.p	2024-10-04 18:29	156
	deduced_366.p	2024-10-04 18:29	156
	deduced_222.p	2024-10-04 18:29	153
	deduced_90.p	2024-10-04 18:29	166
	deduced_227.p	2024-10-04 18:29	143
	event_203.p	2024-10-04 18:29	138
	deduced_36.p	2024-10-04 18:29	149
	deduced_3.p	2024-10-04 18:29	164
	deduced_284.p	2024-10-04 18:29	152
	deduced_283.p	2024-10-04 18:29	181
	event_135.p	2024-10-04 18:29	191
	event_177.p	2024-10-04 18:29	183
	event_127.p	2024-10-04 18:29	170
	deduced_358.p	2024-10-04 18:29	142
	event_108.p	2024-10-04 18:29	184
	event_202.p	2024-10-04 18:29	188
	deduced_261.p	2024-10-04 18:29	151
	event_94.p	2024-10-04 18:29	226
	deduced_250.p	2024-10-04 18:29	166
	deduced_120.p	2024-10-04 18:29	161
	event_1.p	2024-10-04 18:29	173
	event_38.p	2024-10-04 18:29	209
	deduced_351.p	2024-10-04 18:29	169
	event_30.p	2024-10-04 18:29	181
	deduced_153.p	2024-10-04 18:29	166
	deduced_323.p	2024-10-04 18:29	140
	event_118.p	2024-10-04 18:29	186
	deduced_11.p	2024-10-04 18:29	168
	deduced_254.p	2024-10-04 18:29	147
	a2_3.p	2024-10-04 18:29	306
	deduced_329.p	2024-10-04 18:29	140
	deduced_298.p	2024-10-04 18:29	155
	event_7.p	2024-10-04 18:29	173
	deduced_331.p	2024-10-04 18:29	140
	a1_4.p	2024-10-04 18:29	201
	deduced_134.p	2024-10-04 18:29	157
	event_181.p	2024-10-04 18:29	183
	event_123.p	2024-10-04 18:29	188
	deduced_204.p	2024-10-04 18:29	164
	event_179.p	2024-10-04 18:29	199
	event_190.p	2024-10-04 18:29	171
	deduced_361.p	2024-10-04 18:29	153
	a2_1.p	2024-10-04 18:29	303
	deduced_192.p	2024-10-04 18:29	155
	deduced_71.p	2024-10-04 18:29	152
	deduced_237.p	2024-10-04 18:29	148
	deduced_163.p	2024-10-04 18:29	182
	deduced_95.p	2024-10-04 18:29	163
	deduced_123.p	2024-10-04 18:29	183
	deduced_176.p	2024-10-04 18:29	189
	deduced_161.p	2024-10-04 18:29	189
	deduced_103.p	2024-10-04 18:29	151
	deduced_109.p	2024-10-04 18:29	173
	deduced_334.p	2024-10-04 18:29	147
	event_124.p	2024-10-04 18:29	171
	deduced_356.p	2024-10-04 18:29	142
	deduced_296.p	2024-10-04 18:29	151
	event_236.p	2024-10-04 18:29	184
	a2_2.p	2024-10-04 18:29	304
	deduced_327.p	2024-10-04 18:29	140
	deduced_169.p	2024-10-04 18:29	159
	event_39.p	2024-10-04 18:29	169
	deduced_124.p	2024-10-04 18:29	157
	a1_3.p	2024-10-04 18:29	194
	deduced_180.p	2024-10-04 18:29	153
	event_184.p	2024-10-04 18:29	183
	deduced_321.p	2024-10-04 18:29	140
	event_107.p	2024-10-04 18:29	178
	deduced_230.p	2024-10-04 18:29	153
	event_66.p	2024-10-04 18:29	184
	event_27.p	2024-10-04 18:29	169
	deduced_6.p	2024-10-04 18:29	167
	deduced_262.p	2024-10-04 18:29	151
	deduced_2.p	2024-10-04 18:29	190
	deduced_68.p	2024-10-04 18:29	151
	event_178.p	2024-10-04 18:29	183
	deduced_17.p	2024-10-04 18:29	155
	deduced_7.p	2024-10-04 18:29	155
	deduced_226.p	2024-10-04 18:29	161
	deduced_338.p	2024-10-04 18:29	147
	event_78.p	2024-10-04 18:29	183
	event_112.p	2024-10-04 18:29	186
	deduced_63.p	2024-10-04 18:29	169
	event_174.p	2024-10-04 18:29	183
	event_2.p	2024-10-04 18:29	173
	deduced_127.p	2024-10-04 18:29	160
	event_140.p	2024-10-04 18:29	157
	event_50.p	2024-10-04 18:29	186
	event_36.p	2024-10-04 18:29	181
	event_18.p	2024-10-04 18:29	174
	deduced_165.p	2024-10-04 18:29	159
	deduced_202.p	2024-10-04 18:29	163
	deduced_301.p	2024-10-04 18:29	159
	deduced_251.p	2024-10-04 18:29	148
	event_114.p	2024-10-04 18:29	208
	deduced_315.p	2024-10-04 18:29	151
	event_212.p	2024-10-04 18:29	185
	deduced_9.p	2024-10-04 18:29	164
	event_67.p	2024-10-04 18:29	184
	event_49.p	2024-10-04 18:29	186
	deduced_45.p	2024-10-04 18:29	151
	event_74.p	2024-10-04 18:29	190
	deduced_357.p	2024-10-04 18:29	142
	deduced_257.p	2024-10-04 18:29	149
	deduced_14.p	2024-10-04 18:29	180
	deduced_170.p	2024-10-04 18:29	169
	deduced_132.p	2024-10-04 18:29	186
	deduced_270.p	2024-10-04 18:29	143
	deduced_16.p	2024-10-04 18:29	153
	deduced_206.p	2024-10-04 18:29	166
	event_173.p	2024-10-04 18:29	188
	event_35.p	2024-10-04 18:29	178
	deduced_343.p	2024-10-04 18:29	156
	deduced_309.p	2024-10-04 18:29	140
	event_216.p	2024-10-04 18:29	170
	deduced_265.p	2024-10-04 18:29	141
	deduced_116.p	2024-10-04 18:29	173
	event_101.p	2024-10-04 18:29	188
	event_104.p	2024-10-04 18:29	205
	event_170.p	2024-10-04 18:29	192
	event_89.p	2024-10-04 18:29	144
	deduced_154.p	2024-10-04 18:29	137
	deduced_225.p	2024-10-04 18:29	142
	deduced_216.p	2024-10-04 18:29	142
	event_115.p	2024-10-04 18:29	183
	event_73.p	2024-10-04 18:29	153
	event_106.p	2024-10-04 18:29	175
	deduced_234.p	2024-10-04 18:29	157
	event_132.p	2024-10-04 18:29	194
	deduced_210.p	2024-10-04 18:29	152
	deduced_41.p	2024-10-04 18:29	152
	deduced_158.p	2024-10-04 18:29	171
	deduced_73.p	2024-10-04 18:29	178
	deduced_105.p	2024-10-04 18:29	153
	deduced_69.p	2024-10-04 18:29	150
	deduced_99.p	2024-10-04 18:29	154
	deduced_253.p	2024-10-04 18:29	146
	event_65.p	2024-10-04 18:29	140
	event_246.p	2024-10-04 18:29	185
	event_24.p	2024-10-04 18:29	197
	event_234.p	2024-10-04 18:29	154
	deduced_67.p	2024-10-04 18:29	165
	event_130.p	2024-10-04 18:29	177
	a2_10.p	2024-10-04 18:29	299
	deduced_316.p	2024-10-04 18:29	155
	deduced_263.p	2024-10-04 18:29	155
	event_3.p	2024-10-04 18:29	180
	event_167.p	2024-10-04 18:29	175
	deduced_160.p	2024-10-04 18:29	172
	deduced_145.p	2024-10-04 18:29	150
	deduced_231.p	2024-10-04 18:29	141
	event_169.p	2024-10-04 18:29	192
	deduced_179.p	2024-10-04 18:29	154
	event_175.p	2024-10-04 18:29	185
	event_139.p	2024-10-04 18:29	194
	event_48.p	2024-10-04 18:29	163
	deduced_340.p	2024-10-04 18:29	181
	deduced_304.p	2024-10-04 18:29	136
	deduced_341.p	2024-10-04 18:29	156
	deduced_277.p	2024-10-04 18:29	143
	event_187.p	2024-10-04 18:29	199
	event_88.p	2024-10-04 18:29	156
	deduced_78.p	2024-10-04 18:29	169
	event_141.p	2024-10-04 18:29	211
	event_227.p	2024-10-04 18:29	140
	deduced_359.p	2024-10-04 18:29	142
	deduced_19.p	2024-10-04 18:29	171
	deduced_349.p	2024-10-04 18:29	167
	event_222.p	2024-10-04 18:29	134
	deduced_205.p	2024-10-04 18:29	168
	deduced_93.p	2024-10-04 18:29	162
	deduced_365.p	2024-10-04 18:29	153
	event_102.p	2024-10-04 18:29	197
	deduced_271.p	2024-10-04 18:29	143
	event_113.p	2024-10-04 18:29	208
	deduced_147.p	2024-10-04 18:29	144
	event_194.p	2024-10-04 18:29	191
	deduced_288.p	2024-10-04 18:29	155
	deduced_137.p	2024-10-04 18:29	162
	deduced_138.p	2024-10-04 18:29	160
	deduced_74.p	2024-10-04 18:29	149
	deduced_174.p	2024-10-04 18:29	172
	event_79.p	2024-10-04 18:29	169
	deduced_57.p	2024-10-04 18:29	136
	deduced_201.p	2024-10-04 18:29	183
	event_204.p	2024-10-04 18:29	138
	event_44.p	2024-10-04 18:29	169
	event_125.p	2024-10-04 18:29	194
	deduced_244.p	2024-10-04 18:29	157
	event_8.p	2024-10-04 18:29	186
	event_144.p	2024-10-04 18:29	177
	deduced_135.p	2024-10-04 18:29	158
	event_54.p	2024-10-04 18:29	139
	event_150.p	2024-10-04 18:29	195
	event_17.p	2024-10-04 18:29	144
	event_249.p	2024-10-04 18:29	194
	deduced_144.p	2024-10-04 18:29	147
	deduced_187.p	2024-10-04 18:29	155
	event_152.p	2024-10-04 18:29	167
	deduced_34.p	2024-10-04 18:29	155
	deduced_107.p	2024-10-04 18:29	157
	deduced_213.p	2024-10-04 18:29	143
	deduced_39.p	2024-10-04 18:29	150
	deduced_335.p	2024-10-04 18:29	147
	deduced_152.p	2024-10-04 18:29	149
	event_26.p	2024-10-04 18:29	186
	deduced_346.p	2024-10-04 18:29	156
	event_196.p	2024-10-04 18:29	175
	event_224.p	2024-10-04 18:29	134
	deduced_200.p	2024-10-04 18:29	154
	event_206.p	2024-10-04 18:29	175
	event_155.p	2024-10-04 18:29	177
	event_142.p	2024-10-04 18:29	211
	a1_7.p	2024-10-04 18:29	166
	deduced_43.p	2024-10-04 18:29	175
	deduced_111.p	2024-10-04 18:29	166
	event_153.p	2024-10-04 18:29	167
	deduced_333.p	2024-10-04 18:29	147
	deduced_255.p	2024-10-04 18:29	147
	deduced_280.p	2024-10-04 18:29	165
	event_192.p	2024-10-04 18:29	154
	deduced_214.p	2024-10-04 18:29	172
	deduced_178.p	2024-10-04 18:29	152
	deduced_302.p	2024-10-04 18:29	136
	a2_12.p	2024-10-04 18:29	299
	deduced_92.p	2024-10-04 18:29	175
	deduced_197.p	2024-10-04 18:29	165
	event_55.p	2024-10-04 18:29	185
	event_90.p	2024-10-04 18:29	200
	deduced_150.p	2024-10-04 18:29	148
	deduced_198.p	2024-10-04 18:29	167
	deduced_259.p	2024-10-04 18:29	166
	event_195.p	2024-10-04 18:29	177
	event_81.p	2024-10-04 18:29	191
	event_201.p	2024-10-04 18:29	188
	deduced_168.p	2024-10-04 18:29	159
	deduced_56.p	2024-10-04 18:29	148
	deduced_5.p	2024-10-04 18:29	168
	deduced_314.p	2024-10-04 18:29	151
	event_138.p	2024-10-04 18:29	199
	deduced_317.p	2024-10-04 18:29	153
	deduced_328.p	2024-10-04 18:29	140
	deduced_136.p	2024-10-04 18:29	158
	event_213.p	2024-10-04 18:29	185
	deduced_28.p	2024-10-04 18:29	185
	deduced_223.p	2024-10-04 18:29	157
	deduced_224.p	2024-10-04 18:29	155
	deduced_146.p	2024-10-04 18:29	149
	deduced_236.p	2024-10-04 18:29	160
	event_163.p	2024-10-04 18:29	191
	event_180.p	2024-10-04 18:29	185
	deduced_62.p	2024-10-04 18:29	141
	deduced_293.p	2024-10-04 18:29	179
	deduced_312.p	2024-10-04 18:29	140
	deduced_177.p	2024-10-04 18:29	150
	event_129.p	2024-10-04 18:29	170
	event_62.p	2024-10-04 18:29	177
	event_228.p	2024-10-04 18:29	170
	event_14.p	2024-10-04 18:29	169
	event_15.p	2024-10-04 18:29	190
	event_238.p	2024-10-04 18:29	184
	a1_2.p	2024-10-04 18:29	174
	deduced_49.p	2024-10-04 18:29	169
	deduced_162.p	2024-10-04 18:29	160
	event_225.p	2024-10-04 18:29	164
	event_223.p	2024-10-04 18:29	164
	deduced_32.p	2024-10-04 18:29	153
	event_34.p	2024-10-04 18:29	185
	deduced_311.p	2024-10-04 18:29	140
	event_109.p	2024-10-04 18:29	197
	event_241.p	2024-10-04 18:29	186
	event_56.p	2024-10-04 18:29	200
	event_183.p	2024-10-04 18:29	151
	deduced_279.p	2024-10-04 18:29	144
	deduced_130.p	2024-10-04 18:29	170
	event_84.p	2024-10-04 18:29	170
	event_19.p	2024-10-04 18:29	186
	deduced_194.p	2024-10-04 18:29	178
	deduced_18.p	2024-10-04 18:29	154
	deduced_20.p	2024-10-04 18:29	142
	deduced_133.p	2024-10-04 18:29	172
	deduced_352.p	2024-10-04 18:29	157
	deduced_175.p	2024-10-04 18:29	160
	deduced_319.p	2024-10-04 18:29	159
	event_237.p	2024-10-04 18:29	138
	deduced_13.p	2024-10-04 18:29	151
	deduced_31.p	2024-10-04 18:29	164
	event_120.p	2024-10-04 18:29	192
	deduced_278.p	2024-10-04 18:29	162
	deduced_46.p	2024-10-04 18:29	153
	deduced_252.p	2024-10-04 18:29	159
	event_185.p	2024-10-04 18:29	183
	deduced_203.p	2024-10-04 18:29	164
	deduced_97.p	2024-10-04 18:29	165
	deduced_310.p	2024-10-04 18:29	140
	deduced_207.p	2024-10-04 18:29	183
	event_219.p	2024-10-04 18:29	172
	event_164.p	2024-10-04 18:29	199
	deduced_96.p	2024-10-04 18:29	166
	event_31.p	2024-10-04 18:29	178
	event_57.p	2024-10-04 18:29	200
	event_37.p	2024-10-04 18:29	213
	deduced_303.p	2024-10-04 18:29	136
	deduced_65.p	2024-10-04 18:29	162
	event_199.p	2024-10-04 18:29	191
	deduced_295.p	2024-10-04 18:29	150
	deduced_164.p	2024-10-04 18:29	159
	event_80.p	2024-10-04 18:29	191
	event_243.p	2024-10-04 18:29	197
	deduced_108.p	2024-10-04 18:29	156
	event_211.p	2024-10-04 18:29	134
	deduced_235.p	2024-10-04 18:29	162
	deduced_188.p	2024-10-04 18:29	143
	deduced_274.p	2024-10-04 18:29	154
	event_75.p	2024-10-04 18:29	190
	event_182.p	2024-10-04 18:29	190
	deduced_339.p	2024-10-04 18:29	186
	deduced_142.p	2024-10-04 18:29	146
	deduced_308.p	2024-10-04 18:29	140
	deduced_64.p	2024-10-04 18:29	140
	deduced_360.p	2024-10-04 18:29	153
	deduced_48.p	2024-10-04 18:29	140
	event_16.p	2024-10-04 18:29	170
	deduced_307.p	2024-10-04 18:29	136
	deduced_82.p	2024-10-04 18:29	179
	deduced_258.p	2024-10-04 18:29	137
	deduced_345.p	2024-10-04 18:29	156
	deduced_285.p	2024-10-04 18:29	153
	deduced_217.p	2024-10-04 18:29	142
	deduced_190.p	2024-10-04 18:29	152
	event_166.p	2024-10-04 18:29	145
	deduced_94.p	2024-10-04 18:29	164
	event_171.p	2024-10-04 18:29	145
	deduced_260.p	2024-10-04 18:29	150
	event_247.p	2024-10-04 18:29	151
	event_4.p	2024-10-04 18:29	183
	deduced_256.p	2024-10-04 18:29	151
	deduced_350.p	2024-10-04 18:29	171
	deduced_139.p	2024-10-04 18:29	148
	deduced_199.p	2024-10-04 18:29	166
	deduced_195.p	2024-10-04 18:29	192
	deduced_318.p	2024-10-04 18:29	140
	event_128.p	2024-10-04 18:29	183
	deduced_4.p	2024-10-04 18:29	166
	deduced_232.p	2024-10-04 18:29	170
	event_121.p	2024-10-04 18:29	192
	event_9.p	2024-10-04 18:29	183
	deduced_247.p	2024-10-04 18:29	162
	deduced_330.p	2024-10-04 18:29	140
	deduced_59.p	2024-10-04 18:29	149
	deduced_212.p	2024-10-04 18:29	155
	deduced_364.p	2024-10-04 18:29	153
	event_59.p	2024-10-04 18:29	137
	event_134.p	2024-10-04 18:29	175
	event_45.p	2024-10-04 18:29	137
	deduced_166.p	2024-10-04 18:29	159
	event_119.p	2024-10-04 18:29	172
	event_229.p	2024-10-04 18:29	170
	event_145.p	2024-10-04 18:29	171
	event_148.p	2024-10-04 18:29	178
	deduced_21.p	2024-10-04 18:29	171
	event_72.p	2024-10-04 18:29	192
	deduced_25.p	2024-10-04 18:29	160
	a2_8.p	2024-10-04 18:29	304
	event_162.p	2024-10-04 18:29	191
	event_28.p	2024-10-04 18:29	144
	deduced_289.p	2024-10-04 18:29	143
	event_42.p	2024-10-04 18:29	184
	deduced_118.p	2024-10-04 18:29	159
	deduced_40.p	2024-10-04 18:29	153
	deduced_52.p	2024-10-04 18:29	152
	deduced_269.p	2024-10-04 18:29	143
	deduced_115.p	2024-10-04 18:29	144
	event_198.p	2024-10-04 18:29	175
	event_11.p	2024-10-04 18:29	201
	event_188.p	2024-10-04 18:29	166
	deduced_129.p	2024-10-04 18:29	177
	deduced_287.p	2024-10-04 18:29	157
	event_205.p	2024-10-04 18:29	168
	deduced_292.p	2024-10-04 18:29	170
	deduced_325.p	2024-10-04 18:29	179
	deduced_51.p	2024-10-04 18:29	154
	deduced_297.p	2024-10-04 18:29	151
	event_60.p	2024-10-04 18:29	181
	deduced_240.p	2024-10-04 18:29	147
	deduced_185.p	2024-10-04 18:29	154
	deduced_171.p	2024-10-04 18:29	170
	deduced_306.p	2024-10-04 18:29	136
	deduced_367.p	2024-10-04 18:29	172
	event_248.p	2024-10-04 18:29	198
	event_214.p	2024-10-04 18:29	138
	event_193.p	2024-10-04 18:29	175
	deduced_89.p	2024-10-04 18:29	171
	deduced_15.p	2024-10-04 18:29	151
	deduced_112.p	2024-10-04 18:29	153
	event_103.p	2024-10-04 18:29	183
	event_71.p	2024-10-04 18:29	192
	event_160.p	2024-10-04 18:29	175
	event_82.p	2024-10-04 18:29	177
	deduced_266.p	2024-10-04 18:29	159
	event_40.p	2024-10-04 18:29	171
	deduced_291.p	2024-10-04 18:29	163
	event_22.p	2024-10-04 18:29	191
	deduced_70.p	2024-10-04 18:29	153
	deduced_221.p	2024-10-04 18:29	153
	event_85.p	2024-10-04 18:29	173
	event_158.p	2024-10-04 18:29	194
	deduced_100.p	2024-10-04 18:29	154
	event_220.p	2024-10-04 18:29	181
	deduced_117.p	2024-10-04 18:29	170
	deduced_12.p	2024-10-04 18:29	156
	event_209.p	2024-10-04 18:29	181
	deduced_273.p	2024-10-04 18:29	154
	event_133.p	2024-10-04 18:29	194
	deduced_320.p	2024-10-04 18:29	141
	deduced_104.p	2024-10-04 18:29	182
	deduced_156.p	2024-10-04 18:29	176
	deduced_286.p	2024-10-04 18:29	153
	event_47.p	2024-10-04 18:29	184
	event_43.p	2024-10-04 18:29	169
	deduced_238.p	2024-10-04 18:29	177
	deduced_81.p	2024-10-04 18:29	171
	deduced_300.p	2024-10-04 18:29	141
	deduced_88.p	2024-10-04 18:29	172
	deduced_10.p	2024-10-04 18:29	170
	deduced_347.p	2024-10-04 18:29	166
	event_98.p	2024-10-04 18:29	150
	deduced_101.p	2024-10-04 18:29	157
	deduced_121.p	2024-10-04 18:29	160
	event_176.p	2024-10-04 18:29	199
	deduced_33.p	2024-10-04 18:29	152
	event_231.p	2024-10-04 18:29	186
	deduced_122.p	2024-10-04 18:29	155
	deduced_239.p	2024-10-04 18:29	147
	deduced_23.p	2024-10-04 18:29	158
	event_93.p	2024-10-04 18:29	196
	deduced_26.p	2024-10-04 18:29	159
	deduced_75.p	2024-10-04 18:29	151
	event_20.p	2024-10-04 18:29	163
	deduced_324.p	2024-10-04 18:29	140
	event_23.p	2024-10-04 18:29	191
	event_218.p	2024-10-04 18:29	186
	deduced_1.p	2024-10-04 18:29	177
	deduced_211.p	2024-10-04 18:29	157
	deduced_47.p	2024-10-04 18:29	152
	event_186.p	2024-10-04 18:29	190
	deduced_294.p	2024-10-04 18:29	165
	deduced_77.p	2024-10-04 18:29	152
	event_87.p	2024-10-04 18:29	203
	deduced_60.p	2024-10-04 18:29	154
	deduced_336.p	2024-10-04 18:29	147
	event_200.p	2024-10-04 18:29	177
	deduced_248.p	2024-10-04 18:29	160
	event_191.p	2024-10-04 18:29	171
	event_161.p	2024-10-04 18:29	175
	a2_4.p	2024-10-04 18:29	309
	deduced_79.p	2024-10-04 18:29	140
	deduced_126.p	2024-10-04 18:29	161
	deduced_245.p	2024-10-04 18:29	158
	deduced_219.p	2024-10-04 18:29	142
	deduced_275.p	2024-10-04 18:29	158
	deduced_35.p	2024-10-04 18:29	154
	deduced_191.p	2024-10-04 18:29	157
	deduced_155.p	2024-10-04 18:29	176
	deduced_332.p	2024-10-04 18:29	179
	event_215.p	2024-10-04 18:29	138
	event_100.p	2024-10-04 18:29	181
	deduced_22.p	2024-10-04 18:29	172
	deduced_209.p	2024-10-04 18:29	165
	event_151.p	2024-10-04 18:29	195
	event_83.p	2024-10-04 18:29	177
	event_95.p	2024-10-04 18:29	226
	deduced_193.p	2024-10-04 18:29	143
	event_122.p	2024-10-04 18:29	175
	event_147.p	2024-10-04 18:29	188
	event_210.p	2024-10-04 18:29	181
	event_156.p	2024-10-04 18:29	177
	event_239.p	2024-10-04 18:29	145
	deduced_182.p	2024-10-04 18:29	170
	a2_11.p	2024-10-04 18:29	299
	deduced_264.p	2024-10-04 18:29	153
	event_99.p	2024-10-04 18:29	180
	deduced_91.p	2024-10-04 18:29	197
	deduced_344.p	2024-10-04 18:29	156
	deduced_98.p	2024-10-04 18:29	160
	deduced_80.p	2024-10-04 18:29	173
	deduced_348.p	2024-10-04 18:29	167
	event_226.p	2024-10-04 18:29	140
	event_117.p	2024-10-04 18:29	177
	deduced_44.p	2024-10-04 18:29	149
	event_230.p	2024-10-04 18:29	177
	event_168.p	2024-10-04 18:29	138
	event_91.p	2024-10-04 18:29	200
	deduced_119.p	2024-10-04 18:29	158
	event_13.p	2024-10-04 18:29	203
	deduced_189.p	2024-10-04 18:29	172
	event_52.p	2024-10-04 18:29	139
	event_68.p	2024-10-04 18:29	177
	deduced_140.p	2024-10-04 18:29	166
	event_64.p	2024-10-04 18:29	207
	deduced_243.p	2024-10-04 18:29	147
	event_41.p	2024-10-04 18:29	184
	deduced_24.p	2024-10-04 18:29	157
	deduced_267.p	2024-10-04 18:29	143
	event_32.p	2024-10-04 18:29	197
	deduced_113.p	2024-10-04 18:29	158
	deduced_149.p	2024-10-04 18:29	146
	deduced_55.p	2024-10-04 18:29	150
	event_197.p	2024-10-04 18:29	145
	event_110.p	2024-10-04 18:29	184
	deduced_86.p	2024-10-04 18:29	170
	a2_7.p	2024-10-04 18:29	305
	event_63.p	2024-10-04 18:29	207
	deduced_290.p	2024-10-04 18:29	161
	event_240.p	2024-10-04 18:29	191
	deduced_242.p	2024-10-04 18:29	147
	event_25.p	2024-10-04 18:29	197
	event_58.p	2024-10-04 18:29	170
	deduced_61.p	2024-10-04 18:29	152
	deduced_157.p	2024-10-04 18:29	169
	event_146.p	2024-10-04 18:29	188
	event_53.p	2024-10-04 18:29	185
	deduced_355.p	2024-10-04 18:29	142
	deduced_38.p	2024-10-04 18:29	151
	deduced_218.p	2024-10-04 18:29	142
	event_235.p	2024-10-04 18:29	138
	deduced_322.p	2024-10-04 18:29	140
	deduced_148.p	2024-10-04 18:29	175
	deduced_84.p	2024-10-04 18:29	184
	event_29.p	2024-10-04 18:29	185
	deduced_184.p	2024-10-04 18:29	152
	event_244.p	2024-10-04 18:29	197
	event_149.p	2024-10-04 18:29	141
	deduced_83.p	2024-10-04 18:29	159
	deduced_37.p	2024-10-04 18:29	162
	deduced_110.p	2024-10-04 18:29	144
	event_165.p	2024-10-04 18:29	199
	deduced_141.p	2024-10-04 18:29	162
	deduced_215.p	2024-10-04 18:29	142
	deduced_131.p	2024-10-04 18:29	170