Tool	YES	NO	MAYBE	TIMEOUT
AProVE 07	1089 [3.3]	238 [2.3]	357 [33.5]	377
AProVE-Rat-Full	1119 [4.4]	238 [3.9]	338 [39.8]	366
AProVE-Rat	1118 [4.3]	238 [2.9]	331 [36.8]	374

Example	AProVE 07		AProVE-Rat-Full		AProVE-Rat
	YES	14.29	YES	13.38	YES	13.38
	YES	5.68	YES	7.62	YES	7.25
	MAYBE	22.50	MAYBE	36.20	MAYBE	36.66
	YES	29.61	YES	21.91	YES	56.73
	KILLED	120.00	MAYBE	51.38	MAYBE	22.81
	YES	20.98	YES	31.46	YES	31.36
	YES	11.34	YES	11.35	YES	11.64
	NO	2.44	NO	2.68	NO	2.71
	NO	3.83	NO	4.30	NO	4.61
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	27.05	MAYBE	26.79	MAYBE	58.71
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	19.13	MAYBE	18.89	MAYBE	23.51
	MAYBE	53.74	MAYBE	19.78	MAYBE	73.05
	MAYBE	55.08	MAYBE	61.81	MAYBE	31.56
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	27.67	MAYBE	33.22	MAYBE	32.30
	MAYBE	18.77	MAYBE	21.25	MAYBE	21.24
	MAYBE	16.50	MAYBE	26.64	MAYBE	26.66
	MAYBE	19.24	MAYBE	31.07	MAYBE	30.33
	MAYBE	24.07	MAYBE	37.01	MAYBE	31.83
	MAYBE	17.16	MAYBE	26.93	MAYBE	27.90
	MAYBE	21.83	MAYBE	31.56	KILLED	120.00
	MAYBE	24.75	MAYBE	45.34	MAYBE	44.95
	MAYBE	13.67	MAYBE	16.06	MAYBE	14.50
	MAYBE	33.53	MAYBE	47.22	MAYBE	46.25
	MAYBE	63.87	MAYBE	88.11	MAYBE	87.75
	MAYBE	15.87	MAYBE	26.52	MAYBE	26.43
	MAYBE	22.86	MAYBE	25.31	MAYBE	26.94
	MAYBE	18.05	MAYBE	28.98	MAYBE	28.93
	MAYBE	18.86	MAYBE	30.97	MAYBE	29.97
	MAYBE	16.94	MAYBE	28.20	MAYBE	27.24
	MAYBE	94.77	MAYBE	50.56	KILLED	120.00
	MAYBE	70.82	MAYBE	53.77	MAYBE	73.19
	MAYBE	17.17	MAYBE	26.93	MAYBE	27.30
	MAYBE	17.55	MAYBE	23.44	MAYBE	21.52
	MAYBE	16.83	MAYBE	28.19	MAYBE	29.16
	MAYBE	17.09	MAYBE	32.48	MAYBE	32.83
	MAYBE	16.57	MAYBE	27.08	MAYBE	28.10
	MAYBE	16.81	MAYBE	26.40	MAYBE	27.67
	MAYBE	19.73	MAYBE	34.29	MAYBE	31.04
	MAYBE	20.87	MAYBE	33.81	MAYBE	35.22
	MAYBE	16.54	MAYBE	26.32	MAYBE	28.03
	MAYBE	18.63	MAYBE	29.28	MAYBE	28.12
	MAYBE	17.62	MAYBE	25.05	MAYBE	24.35
	MAYBE	21.73	MAYBE	33.03	MAYBE	32.98
	MAYBE	20.19	MAYBE	33.77	MAYBE	33.02
	KILLED	120.00	YES	65.16	YES	99.92
	MAYBE	9.09	MAYBE	9.46	MAYBE	12.31
	MAYBE	15.37	MAYBE	23.03	MAYBE	24.12
	YES	2.17	YES	2.64	YES	1.72
	MAYBE	25.53	MAYBE	42.37	MAYBE	41.66
	YES	0.92	YES	0.99	YES	1.03
	YES	0.92	YES	0.98	YES	0.92
	NO	1.87	NO	1.95	NO	2.06
	NO	2.50	NO	2.53	NO	2.48
	YES	3.09	YES	4.43	YES	4.00
	YES	5.05	YES	8.16	YES	8.71
	YES	2.97	YES	7.31	YES	7.91
	YES	3.47	YES	4.47	YES	4.97
	YES	2.00	YES	2.64	YES	2.64
	MAYBE	20.00	MAYBE	24.35	MAYBE	26.22
	MAYBE	46.44	MAYBE	68.41	MAYBE	66.10
	KILLED	120.00	KILLED	120.00	MAYBE	80.91
	MAYBE	71.31	MAYBE	98.69	MAYBE	101.49
	KILLED	120.00	MAYBE	114.20	MAYBE	119.47
	YES	9.33	YES	7.42	YES	9.86
	YES	0.98	YES	1.12	YES	1.03
	YES	1.05	YES	1.39	YES	1.33
	MAYBE	15.45	MAYBE	23.29	MAYBE	23.55
	YES	2.23	YES	2.86	YES	2.61
	YES	29.88	YES	54.08	YES	51.31
	YES	1.66	YES	1.63	YES	1.73
	YES	2.36	YES	2.50	YES	2.54
	YES	2.51	YES	2.69	YES	2.63
	YES	3.64	YES	3.63	YES	3.62
	YES	4.95	YES	5.03	YES	5.32
	YES	3.52	YES	3.64	YES	3.76
	YES	3.57	YES	3.65	YES	3.55
	YES	3.63	YES	3.40	YES	3.52
	YES	2.10	YES	2.15	YES	2.19
	YES	1.89	YES	1.93	YES	1.91
	MAYBE	27.90	MAYBE	41.72	YES	25.04
	MAYBE	21.17	MAYBE	37.17	MAYBE	78.58
	MAYBE	29.81	MAYBE	38.69	MAYBE	40.50
	YES	0.87	YES	0.98	YES	0.98
	MAYBE	22.89	MAYBE	33.63	MAYBE	32.46
	MAYBE	17.32	MAYBE	32.09	MAYBE	32.20
	MAYBE	15.51	MAYBE	91.69	KILLED	120.00
	MAYBE	44.92	MAYBE	62.53	MAYBE	65.22
	MAYBE	22.45	MAYBE	35.14	MAYBE	35.56
	MAYBE	39.67	MAYBE	31.10	MAYBE	29.52
	MAYBE	21.16	MAYBE	29.16	MAYBE	30.07
	MAYBE	16.97	MAYBE	26.13	MAYBE	25.91
	MAYBE	26.69	MAYBE	37.76	MAYBE	38.58
	MAYBE	12.13	MAYBE	18.03	MAYBE	18.76
	MAYBE	34.46	MAYBE	55.55	MAYBE	55.29
	MAYBE	12.24	MAYBE	15.98	MAYBE	15.73
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	47.32	YES	79.49	YES	79.00
	MAYBE	87.35	YES	25.01	YES	30.34
	YES	1.04	YES	1.03	YES	1.08
	YES	28.09	YES	40.75	YES	40.48
	KILLED	120.00	YES	58.37	YES	60.98
	YES	78.11	YES	43.84	YES	65.63
	MAYBE	34.01	MAYBE	45.72	MAYBE	34.82
	YES	2.21	YES	3.25	YES	2.63
	MAYBE	20.21	MAYBE	24.00	MAYBE	24.93
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	10.13	YES	15.43	YES	14.75
	MAYBE	52.14	KILLED	120.00	MAYBE	54.95
	YES	0.98	YES	1.03	YES	1.03
	YES	28.12	YES	49.37	YES	51.94
	YES	2.75	YES	3.03	YES	3.08
	YES	8.58	YES	12.78	YES	13.64
	YES	13.83	YES	25.42	YES	23.73
	YES	0.87	YES	0.93	YES	0.91
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	28.15	YES	40.92	YES	38.87
	YES	12.65	YES	22.26	YES	21.92
	MAYBE	21.22	MAYBE	30.86	MAYBE	29.71
	KILLED	120.00	YES	21.64	YES	6.20
	YES	0.87	YES	0.92	YES	0.99
	YES	1.25	YES	1.34	YES	1.40
	MAYBE	44.64	MAYBE	65.81	MAYBE	69.17
	YES	0.87	YES	0.98	YES	0.92
	YES	1.05	YES	1.16	YES	1.06
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	25.53	MAYBE	43.13	MAYBE	45.47
	MAYBE	25.68	MAYBE	33.56	MAYBE	34.21
	MAYBE	20.31	MAYBE	30.65	MAYBE	30.52
	MAYBE	20.35	MAYBE	27.69	MAYBE	27.29
	MAYBE	17.47	MAYBE	24.03	MAYBE	24.10
	MAYBE	52.58	MAYBE	92.59	MAYBE	115.61
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	37.42	MAYBE	58.46	MAYBE	58.70
	YES	1.55	YES	1.61	YES	2.18
	MAYBE	60.70	MAYBE	103.47	MAYBE	107.41
	YES	73.62	YES	43.80	YES	44.30
	MAYBE	27.20	MAYBE	31.86	MAYBE	31.16
	MAYBE	33.98	MAYBE	33.72	MAYBE	31.04
	MAYBE	78.00	KILLED	120.00	KILLED	120.00
	MAYBE	43.84	MAYBE	74.12	MAYBE	77.44
	YES	11.51	YES	25.96	YES	15.92
	MAYBE	16.53	MAYBE	29.00	MAYBE	26.02
	MAYBE	78.20	MAYBE	90.95	MAYBE	83.88
	MAYBE	18.88	MAYBE	24.81	MAYBE	24.20
	MAYBE	22.48	MAYBE	28.34	MAYBE	27.78
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	48.41	MAYBE	32.65	MAYBE	32.77
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	17.81	MAYBE	29.37	MAYBE	29.66
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	6.38	NO	8.41	NO	8.90
	MAYBE	75.16	MAYBE	101.81	MAYBE	99.39
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	17.21	MAYBE	23.52	MAYBE	21.84
	MAYBE	23.00	MAYBE	35.37	MAYBE	32.72
	MAYBE	32.29	MAYBE	42.35	MAYBE	41.70
	MAYBE	23.93	MAYBE	35.81	MAYBE	34.73
	MAYBE	17.86	MAYBE	55.45	KILLED	120.00
	KILLED	120.00	MAYBE	25.62	MAYBE	25.82
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	35.92	MAYBE	28.35	MAYBE	58.68
	MAYBE	51.03	KILLED	120.00	KILLED	120.00
	MAYBE	13.23	MAYBE	13.95	MAYBE	13.50
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	MAYBE	61.50	KILLED	120.00
	YES	2.40	YES	3.37	YES	2.86
	KILLED	120.00	MAYBE	99.91	MAYBE	103.61
	MAYBE	40.60	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	16.20	MAYBE	18.37	MAYBE	17.28
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	14.29	MAYBE	16.85	MAYBE	15.83
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	MAYBE	94.88	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	93.08	MAYBE	24.27	KILLED	120.00
	MAYBE	86.14	KILLED	120.00	KILLED	120.00
	MAYBE	20.82	MAYBE	22.11	MAYBE	22.06
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	20.03	MAYBE	28.95	MAYBE	30.09
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	33.93	MAYBE	114.31	MAYBE	57.59
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	YES	36.57	YES	38.22
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	88.11	MAYBE	18.64	MAYBE	16.76
	MAYBE	30.33	MAYBE	46.63	MAYBE	50.76
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	71.27	MAYBE	24.79	MAYBE	24.21
	MAYBE	16.46	MAYBE	22.71	MAYBE	23.30
	MAYBE	16.82	MAYBE	28.42	MAYBE	24.73
	MAYBE	67.46	MAYBE	84.79	MAYBE	77.93
	KILLED	120.00	MAYBE	104.08	MAYBE	104.93
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	25.52	MAYBE	17.17	MAYBE	22.06
	MAYBE	41.09	MAYBE	41.26	MAYBE	41.56
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	MAYBE	28.35	KILLED	120.00
	MAYBE	22.94	MAYBE	27.27	MAYBE	26.03
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	MAYBE	104.28	MAYBE	37.76
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	78.65	KILLED	120.00	KILLED	120.00
	MAYBE	25.26	KILLED	120.00	MAYBE	34.27
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	MAYBE	27.85
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	MAYBE	41.54	MAYBE	43.03
	MAYBE	21.35	MAYBE	34.09	MAYBE	42.48
	MAYBE	23.94	MAYBE	30.88	MAYBE	24.71
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	18.88	MAYBE	28.51	MAYBE	28.44
	MAYBE	17.05	MAYBE	27.96	MAYBE	26.36
	MAYBE	25.41	MAYBE	23.30	MAYBE	16.05
	MAYBE	28.47	MAYBE	100.59	MAYBE	20.48
	KILLED	120.00	MAYBE	62.43	MAYBE	63.86
	MAYBE	11.04	MAYBE	15.25	MAYBE	14.26
	NO	9.00	NO	12.74	NO	12.52
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	21.46	MAYBE	32.92	MAYBE	31.59
	MAYBE	33.02	MAYBE	42.99	MAYBE	38.25
	MAYBE	50.89	MAYBE	55.28	MAYBE	57.10
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	32.10	MAYBE	28.52	MAYBE	25.96
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	MAYBE	88.94	MAYBE	93.20
	MAYBE	17.50	MAYBE	51.35	MAYBE	28.52
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	MAYBE	74.57	MAYBE	72.46
	MAYBE	18.04	MAYBE	26.75	MAYBE	24.91
	MAYBE	18.04	MAYBE	20.90	MAYBE	19.72
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	46.38	KILLED	120.00	MAYBE	17.61
	KILLED	120.00	MAYBE	33.60	KILLED	120.00
	KILLED	120.00	MAYBE	59.47	MAYBE	44.40
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	36.63	YES	31.02	YES	30.26
	MAYBE	17.14	MAYBE	34.34	MAYBE	32.04
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	45.52	MAYBE	23.12	MAYBE	20.57
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	14.75	MAYBE	25.68	MAYBE	25.65
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	18.72	MAYBE	23.05	MAYBE	23.84
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	16.36	MAYBE	24.01	MAYBE	23.95
	MAYBE	18.47	MAYBE	19.38	MAYBE	20.08
	KILLED	120.00	KILLED	120.00	MAYBE	89.63
	MAYBE	16.53	MAYBE	21.02	MAYBE	16.84
	MAYBE	17.19	MAYBE	20.05	MAYBE	21.06
	MAYBE	25.89	MAYBE	35.30	MAYBE	33.94
	KILLED	120.00	KILLED	120.00	MAYBE	17.02
	MAYBE	79.70	KILLED	120.00	KILLED	120.00
	MAYBE	14.25	MAYBE	15.84	MAYBE	13.67
	KILLED	120.00	KILLED	120.00	MAYBE	46.07
	MAYBE	68.99	MAYBE	74.07	MAYBE	69.07
	MAYBE	24.94	MAYBE	29.80	MAYBE	28.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	14.66	MAYBE	19.73	MAYBE	19.05
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	22.71	MAYBE	20.22	MAYBE	21.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	17.52	MAYBE	25.44	MAYBE	23.92
	MAYBE	18.95	MAYBE	38.77	MAYBE	37.20
	MAYBE	46.05	MAYBE	46.62	MAYBE	48.94
	MAYBE	14.72	MAYBE	16.22	MAYBE	16.33
	MAYBE	14.67	MAYBE	17.36	MAYBE	14.84
	MAYBE	14.74	MAYBE	19.40	MAYBE	19.15
	MAYBE	15.82	MAYBE	21.67	MAYBE	19.48
	MAYBE	14.62	MAYBE	16.89	MAYBE	14.46
	MAYBE	15.05	MAYBE	20.17	MAYBE	17.45
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	15.33	MAYBE	17.12	MAYBE	16.84
	MAYBE	39.27	MAYBE	53.73	MAYBE	36.87
	MAYBE	14.62	MAYBE	17.02	MAYBE	16.64
	MAYBE	14.51	MAYBE	17.11	MAYBE	16.89
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	13.33	MAYBE	15.32	MAYBE	14.79
	MAYBE	16.52	MAYBE	16.34	MAYBE	17.70
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	13.95	MAYBE	16.98	MAYBE	16.59
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	20.63	MAYBE	80.37	MAYBE	29.25
	YES	97.44	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	17.73	MAYBE	20.64	MAYBE	21.04
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	26.91	MAYBE	32.25	MAYBE	32.16
	MAYBE	58.66	MAYBE	23.03	MAYBE	18.65
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	2.70	YES	3.54	YES	3.79
	MAYBE	14.71	MAYBE	19.98	MAYBE	16.14
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	38.75	MAYBE	69.98	KILLED	120.00
	MAYBE	31.58	MAYBE	30.59	MAYBE	21.60
	MAYBE	18.18	MAYBE	21.22	MAYBE	22.96
	MAYBE	18.13	MAYBE	26.13	MAYBE	26.52
	MAYBE	37.38	MAYBE	37.38	MAYBE	34.85
	MAYBE	21.02	MAYBE	18.13	MAYBE	18.54
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	3.13	YES	4.79	YES	4.79
	MAYBE	16.94	MAYBE	20.61	MAYBE	19.75
	MAYBE	21.73	MAYBE	27.12	MAYBE	27.07
	MAYBE	16.97	MAYBE	20.64	MAYBE	21.35
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	16.23	MAYBE	19.36	MAYBE	19.02
	MAYBE	15.84	MAYBE	20.09	MAYBE	15.81
	MAYBE	21.19	MAYBE	32.01	MAYBE	31.50
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	15.36	MAYBE	18.87	MAYBE	17.79
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	15.56	MAYBE	19.78	MAYBE	19.11
	MAYBE	17.32	MAYBE	23.32	MAYBE	20.90
	MAYBE	19.60	MAYBE	30.97	MAYBE	29.15
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	17.63	MAYBE	26.41	MAYBE	25.18
	MAYBE	105.09	MAYBE	27.31	MAYBE	26.77
	MAYBE	17.03	MAYBE	19.34	MAYBE	17.95
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	108.40	KILLED	120.00	KILLED	120.00
	MAYBE	21.77	MAYBE	29.66	MAYBE	29.84
	MAYBE	16.19	MAYBE	16.86	MAYBE	17.84
	MAYBE	70.52	MAYBE	68.54	MAYBE	67.32
	MAYBE	13.02	MAYBE	14.22	MAYBE	13.76
	MAYBE	18.95	MAYBE	52.62	MAYBE	54.61
	MAYBE	15.67	MAYBE	25.46	MAYBE	24.35
	MAYBE	25.63	MAYBE	44.30	MAYBE	37.07
	MAYBE	11.92	MAYBE	16.38	MAYBE	17.09
	MAYBE	25.13	MAYBE	34.02	MAYBE	33.65
	MAYBE	26.82	MAYBE	33.07	MAYBE	31.29
	MAYBE	22.80	MAYBE	87.19	KILLED	120.00
	MAYBE	20.13	MAYBE	27.90	MAYBE	29.19
	KILLED	120.00	MAYBE	106.55	KILLED	120.00
	YES	2.41	YES	3.05	YES	3.22
	YES	2.44	YES	3.27	YES	3.82
	MAYBE	15.54	MAYBE	19.93	MAYBE	24.55
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	16.00	MAYBE	22.48	MAYBE	22.25
	MAYBE	18.54	MAYBE	31.30	MAYBE	26.12
	MAYBE	22.23	MAYBE	28.36	MAYBE	28.45
	MAYBE	24.31	MAYBE	27.52	MAYBE	31.07
	MAYBE	19.79	MAYBE	27.89	MAYBE	28.93
	MAYBE	33.80	MAYBE	43.64	MAYBE	44.59
	MAYBE	36.23	MAYBE	45.15	MAYBE	45.82
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	35.60	MAYBE	48.51	MAYBE	45.20
	MAYBE	20.23	MAYBE	20.92	MAYBE	21.00
	MAYBE	20.56	MAYBE	23.88	MAYBE	22.44
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	51.52	KILLED	120.00	MAYBE	22.14
	MAYBE	17.42	MAYBE	23.92	MAYBE	20.17
	MAYBE	20.20	MAYBE	27.73	KILLED	120.00
	MAYBE	21.52	MAYBE	24.63	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	13.74	MAYBE	16.68	MAYBE	16.13
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	YES	13.80	YES	13.59
	YES	2.73	YES	2.88	YES	2.96
	YES	2.45	YES	3.48	YES	3.09
	YES	75.68	YES	69.01	YES	69.12
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	16.58	MAYBE	24.52	MAYBE	17.87
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	3.11	YES	4.32	YES	3.89
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	16.34	MAYBE	22.69	MAYBE	17.28
	MAYBE	14.07	MAYBE	19.84	MAYBE	19.02
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	45.97	MAYBE	46.59	MAYBE	47.46
	MAYBE	28.96	MAYBE	34.54	MAYBE	27.06
	MAYBE	21.18	MAYBE	34.58	MAYBE	21.38
	YES	2.46	YES	2.64	YES	2.74
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	33.76	MAYBE	33.98	MAYBE	33.94
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	15.02	MAYBE	17.71	MAYBE	19.53
	MAYBE	22.09	MAYBE	23.34	MAYBE	21.78
	MAYBE	17.88	MAYBE	20.54	MAYBE	19.03
	MAYBE	19.92	MAYBE	22.91	MAYBE	22.16
	MAYBE	23.45	MAYBE	65.04	MAYBE	23.27
	MAYBE	12.77	MAYBE	15.26	MAYBE	15.00
	MAYBE	15.37	MAYBE	19.35	MAYBE	17.98
	MAYBE	17.44	MAYBE	24.03	MAYBE	16.57
	MAYBE	17.52	MAYBE	19.45	MAYBE	19.57
	MAYBE	20.25	MAYBE	25.09	MAYBE	24.27
	MAYBE	47.15	MAYBE	62.10	MAYBE	34.08
	MAYBE	18.29	MAYBE	19.57	MAYBE	19.96
	MAYBE	18.92	MAYBE	22.52	MAYBE	22.38
	MAYBE	16.63	MAYBE	20.13	MAYBE	15.72
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	59.49	KILLED	120.00	MAYBE	56.65
	MAYBE	34.33	MAYBE	41.30	MAYBE	37.83
	MAYBE	25.06	MAYBE	28.50	MAYBE	26.73
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	14.21	MAYBE	16.73	MAYBE	15.54
	MAYBE	11.71	MAYBE	14.68	MAYBE	13.13
	MAYBE	13.32	MAYBE	14.00	MAYBE	13.32
	KILLED	120.00	MAYBE	112.06	MAYBE	22.39
	MAYBE	14.89	MAYBE	16.88	MAYBE	17.06
	MAYBE	19.00	MAYBE	22.82	MAYBE	42.19
	MAYBE	23.13	MAYBE	27.96	MAYBE	25.44
	MAYBE	12.71	MAYBE	13.68	MAYBE	15.13
	MAYBE	12.08	MAYBE	21.93	MAYBE	22.19
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	31.81	MAYBE	35.81	MAYBE	35.00
	MAYBE	15.12	MAYBE	21.35	MAYBE	17.01
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	112.84	MAYBE	57.27	MAYBE	75.79
	MAYBE	15.42	MAYBE	24.51	MAYBE	17.33
	MAYBE	26.11	MAYBE	36.22	MAYBE	31.44
	MAYBE	28.65	MAYBE	31.98	KILLED	120.00
	MAYBE	36.31	MAYBE	39.92	MAYBE	41.53
	MAYBE	19.03	MAYBE	27.24	MAYBE	18.89
	MAYBE	12.95	MAYBE	14.44	MAYBE	13.32
	MAYBE	21.91	MAYBE	35.05	MAYBE	34.38
	MAYBE	14.44	MAYBE	16.41	MAYBE	16.17
	MAYBE	21.15	MAYBE	30.22	MAYBE	30.27
	MAYBE	20.25	MAYBE	28.07	MAYBE	23.39
	MAYBE	63.31	KILLED	120.00	KILLED	120.00
	MAYBE	16.48	MAYBE	25.50	MAYBE	25.91
	MAYBE	25.56	MAYBE	42.43	MAYBE	43.27
	MAYBE	18.34	MAYBE	27.61	MAYBE	27.52
	MAYBE	22.01	MAYBE	24.39	MAYBE	24.61
	MAYBE	42.99	YES	3.19	YES	3.40
	MAYBE	14.88	MAYBE	17.82	MAYBE	18.60
	MAYBE	13.76	MAYBE	65.57	MAYBE	17.11
	MAYBE	31.13	MAYBE	46.87	MAYBE	44.64
	KILLED	120.00	YES	2.92	YES	2.47
	MAYBE	18.53	MAYBE	30.96	MAYBE	31.88
	MAYBE	24.83	MAYBE	35.69	MAYBE	35.76
	MAYBE	32.78	MAYBE	50.64	MAYBE	56.67
	MAYBE	25.12	MAYBE	27.19	MAYBE	24.57
	MAYBE	17.80	YES	3.00	YES	2.63
	MAYBE	15.28	YES	3.14	YES	3.05
	MAYBE	17.06	YES	3.62	YES	3.86
	MAYBE	13.91	MAYBE	15.56	MAYBE	13.44
	MAYBE	21.25	MAYBE	52.91	MAYBE	15.26
	MAYBE	18.69	YES	3.38	YES	3.49
	MAYBE	18.25	MAYBE	40.80	MAYBE	43.04
	MAYBE	16.39	YES	2.85	YES	3.37
	MAYBE	49.94	YES	4.90	YES	3.47
	KILLED	120.00	YES	3.11	YES	3.43
	MAYBE	20.18	YES	2.92	YES	3.50
	MAYBE	18.12	YES	3.60	YES	3.37
	MAYBE	45.63	MAYBE	63.23	MAYBE	64.16
	MAYBE	17.64	YES	6.95	YES	7.34
	MAYBE	68.71	YES	20.59	MAYBE	68.09
	MAYBE	21.37	YES	11.31	MAYBE	23.60
	MAYBE	56.88	YES	11.48	YES	11.19
	MAYBE	29.30	MAYBE	30.08	MAYBE	31.71
	MAYBE	19.55	YES	7.14	YES	7.31
	MAYBE	17.23	MAYBE	20.20	MAYBE	19.39
	MAYBE	12.42	MAYBE	14.29	MAYBE	13.50
	MAYBE	18.06	MAYBE	26.43	MAYBE	22.86
	MAYBE	32.80	MAYBE	27.34	MAYBE	27.93
	MAYBE	60.17	MAYBE	58.02	MAYBE	73.64
	MAYBE	22.64	MAYBE	19.88	MAYBE	31.27
	MAYBE	98.11	KILLED	120.00	KILLED	120.00
	KILLED	120.00	MAYBE	22.75	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	13.65	MAYBE	15.38	MAYBE	14.59
	MAYBE	32.18	MAYBE	32.39	MAYBE	32.54
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	74.58	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	48.89	MAYBE	41.40	MAYBE	40.37
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	106.31	MAYBE	108.85	MAYBE	113.36
	YES	0.91	YES	0.98	YES	0.98
	YES	0.87	YES	0.98	YES	0.98
	YES	0.92	YES	0.98	YES	0.98
	YES	0.86	YES	0.98	YES	0.98
	YES	0.92	YES	0.98	YES	1.03
	YES	0.86	YES	0.98	YES	0.92
	YES	0.86	YES	0.94	YES	0.97
	YES	7.31	YES	15.11	YES	14.70
	YES	1.30	YES	1.40	YES	1.53
	YES	1.33	YES	1.36	YES	1.36
	YES	1.45	YES	2.01	YES	1.90
	YES	0.86	YES	1.04	YES	0.92
	YES	0.99	YES	1.00	YES	0.98
	YES	0.99	YES	1.04	YES	1.04
	YES	3.44	YES	3.98	YES	3.32
	YES	1.03	YES	0.99	YES	1.03
	YES	1.35	YES	2.03	YES	1.56
	YES	2.27	YES	3.43	YES	3.25
	YES	1.27	YES	1.34	YES	1.33
	YES	0.87	YES	0.96	YES	0.98
	YES	1.67	YES	2.72	YES	2.44
	YES	3.80	YES	10.38	YES	9.46
	YES	4.59	YES	8.84	YES	3.71
	YES	0.87	YES	0.92	YES	0.92
	YES	0.86	YES	0.92	YES	0.92
	YES	0.90	YES	0.97	YES	0.98
	YES	1.00	YES	1.14	YES	1.22
	YES	0.88	YES	1.03	YES	0.98
	YES	0.95	YES	0.98	YES	0.98
	YES	0.86	YES	0.97	YES	0.98
	YES	0.95	YES	0.98	YES	1.04
	YES	0.92	YES	0.98	YES	0.98
	YES	0.92	YES	0.99	YES	0.98
	YES	0.98	YES	1.05	YES	1.10
	YES	0.93	YES	0.98	YES	0.98
	YES	0.93	YES	1.00	YES	0.98
	YES	0.87	YES	0.98	YES	0.97
	YES	0.90	YES	0.97	YES	0.98
	YES	0.98	YES	0.98	YES	1.05
	YES	0.92	YES	0.94	YES	0.98
	NO	1.17	NO	1.41	NO	1.22
	YES	0.86	YES	1.05	YES	0.93
	NO	1.12	NO	1.16	NO	1.19
	YES	0.87	YES	0.98	YES	0.92
	NO	1.30	NO	1.34	NO	1.38
	YES	0.92	YES	0.98	YES	0.98
	YES	0.92	YES	0.98	YES	0.98
	YES	0.86	YES	0.97	YES	0.98
	YES	0.86	YES	0.96	YES	0.97
	YES	0.92	YES	0.97	YES	1.04
	YES	0.86	YES	0.92	YES	0.98
	YES	0.87	YES	0.98	YES	0.97
	YES	0.88	YES	0.97	YES	0.98
	YES	0.86	YES	0.92	YES	0.97
	YES	0.92	YES	0.96	YES	0.98
	YES	0.92	YES	1.04	YES	0.98
	YES	0.87	YES	0.98	YES	0.92
	YES	0.87	YES	0.97	YES	0.98
	YES	0.87	YES	0.97	YES	0.98
	YES	0.86	YES	0.98	YES	0.98
	YES	0.92	YES	0.97	YES	0.98
	YES	0.93	YES	0.97	YES	0.98
	YES	0.92	YES	0.96	YES	0.92
	YES	0.86	YES	0.92	YES	0.92
	YES	1.34	YES	1.38	YES	1.44
	YES	1.50	YES	1.50	YES	1.45
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	YES	69.99	YES	73.22
	KILLED	120.00	KILLED	120.00	YES	74.83
	YES	1.30	YES	1.35	YES	1.43
	YES	0.87	YES	0.97	YES	0.98
	MAYBE	29.84	MAYBE	36.96	MAYBE	29.87
	YES	83.58	YES	86.92	YES	90.15
	YES	17.59	YES	24.12	YES	16.16
	YES	1.19	YES	1.35	YES	1.22
	YES	1.23	YES	1.27	YES	1.35
	YES	1.39	YES	1.61	YES	1.52
	MAYBE	24.81	MAYBE	36.20	MAYBE	35.86
	YES	8.86	YES	9.21	YES	9.59
	YES	0.87	YES	0.92	YES	0.92
	YES	1.22	YES	1.16	YES	1.24
	YES	8.00	YES	13.19	YES	13.73
	YES	0.86	YES	0.92	YES	0.92
	YES	0.87	YES	0.91	YES	0.92
	MAYBE	21.98	MAYBE	32.73	MAYBE	22.70
	YES	0.92	YES	0.97	YES	1.03
	YES	0.91	YES	1.03	YES	1.03
	MAYBE	7.91	MAYBE	17.84	MAYBE	18.67
	MAYBE	30.29	MAYBE	43.59	MAYBE	44.29
	YES	3.14	YES	4.45	YES	4.23
	YES	0.93	YES	1.00	YES	0.98
	YES	0.86	YES	0.92	YES	0.92
	YES	8.96	YES	14.74	YES	14.83
	YES	0.91	YES	0.98	YES	1.04
	NO	1.12	NO	1.22	NO	1.22
	YES	0.92	YES	0.97	YES	0.97
	YES	0.87	YES	0.97	YES	0.97
	YES	55.30	YES	68.43	YES	66.86
	YES	0.88	YES	0.92	YES	0.92
	YES	0.86	YES	0.92	YES	0.98
	YES	1.79	YES	2.69	YES	2.35
	YES	0.95	YES	0.98	YES	0.92
	YES	0.94	YES	0.92	YES	0.98
	YES	0.86	YES	0.92	YES	0.92
	YES	0.86	YES	0.92	YES	0.92
	YES	0.86	YES	0.93	YES	0.92
	YES	0.87	YES	0.97	YES	0.92
	YES	2.97	YES	3.76	YES	2.78
	YES	0.87	YES	0.94	YES	0.98
	YES	1.04	YES	1.13	YES	1.14
	YES	0.92	YES	0.94	YES	0.97
	YES	1.95	YES	2.12	YES	2.14
	YES	0.87	YES	0.98	YES	0.92
	YES	0.87	YES	0.92	YES	0.92
	YES	3.23	YES	3.68	YES	3.73
	YES	2.09	YES	2.96	YES	2.20
	MAYBE	29.26	YES	28.03	MAYBE	30.73
	YES	8.86	YES	11.63	YES	11.81
	YES	7.53	YES	13.46	YES	14.69
	YES	0.86	YES	0.92	YES	0.98
	MAYBE	101.14	MAYBE	117.56	MAYBE	100.28
	YES	0.98	YES	0.99	YES	0.97
	YES	9.75	YES	15.96	YES	11.12
	YES	1.53	YES	1.67	YES	1.99
	MAYBE	10.38	MAYBE	13.13	MAYBE	12.61
	NO	2.70	NO	2.52	NO	3.01
	YES	1.72	YES	1.94	YES	1.98
	YES	3.96	YES	3.22	YES	4.22
	MAYBE	21.66	MAYBE	30.32	MAYBE	31.89
	YES	2.19	YES	3.17	YES	2.81
	YES	1.06	YES	1.10	YES	1.12
	MAYBE	15.13	MAYBE	24.12	MAYBE	22.96
	MAYBE	15.98	MAYBE	23.39	MAYBE	22.49
	MAYBE	16.10	MAYBE	25.78	MAYBE	16.85
	YES	11.77	YES	19.45	YES	18.91
	YES	2.65	YES	3.58	YES	2.76
	YES	0.92	YES	1.03	YES	0.97
	MAYBE	106.79	YES	8.42	YES	4.36
	MAYBE	46.06	MAYBE	57.55	MAYBE	63.04
	MAYBE	21.18	MAYBE	27.13	MAYBE	21.27
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	39.20	YES	20.19	YES	20.32
	YES	22.55	YES	9.28	YES	10.09
	YES	18.91	YES	27.68	YES	26.57
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	2.48	YES	2.09	YES	2.84
	YES	1.74	YES	2.46	YES	2.68
	MAYBE	37.39	MAYBE	54.01	MAYBE	54.27
	YES	1.14	YES	1.31	YES	1.17
	YES	1.56	YES	2.02	YES	1.69
	MAYBE	27.05	YES	2.94	YES	2.90
	MAYBE	27.51	MAYBE	42.96	MAYBE	41.51
	NO	2.60	NO	2.87	NO	2.52
	NO	1.61	NO	1.84	NO	1.61
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	0.87	YES	0.98	YES	0.98

Example	AProVE 07		AProVE-Rat-Full		AProVE-Rat
	YES	2.41	YES	2.90	YES	2.67
	YES	1.22	YES	1.30	YES	1.34
	YES	1.60	YES	1.71	YES	1.67
	YES	1.14	YES	1.12	YES	1.14
	YES	1.09	YES	1.31	YES	1.15
	YES	0.99	YES	1.11	YES	1.10
	YES	1.57	YES	1.54	YES	1.54
	YES	1.44	YES	1.60	YES	1.51
	YES	1.20	YES	1.39	YES	1.41
	YES	1.53	YES	1.77	YES	2.07
	YES	1.20	YES	1.18	YES	1.20
	YES	1.08	YES	1.15	YES	1.22
	YES	1.20	YES	1.26	YES	1.28
	YES	0.98	YES	1.03	YES	0.99
	YES	0.98	YES	0.97	YES	0.98
	YES	0.87	YES	0.92	YES	0.92
	YES	0.98	YES	1.02	YES	1.03
	YES	1.27	YES	1.39	YES	1.22
	YES	0.98	YES	1.09	YES	1.09
	YES	0.92	YES	0.97	YES	0.97
	YES	0.87	YES	0.98	YES	0.96
	YES	1.21	YES	1.38	YES	1.38
	YES	1.02	YES	1.31	YES	1.14
	YES	1.40	YES	1.38	YES	1.52
	YES	1.21	YES	1.38	YES	1.35
	YES	1.50	YES	1.55	YES	1.64
	YES	1.09	YES	1.15	YES	1.12
	YES	1.26	YES	1.25	YES	1.28
	YES	1.03	YES	1.07	YES	1.09
	YES	0.97	YES	1.07	YES	1.03
	YES	1.15	YES	1.31	YES	1.20
	YES	1.26	YES	1.40	YES	1.39
	YES	0.92	YES	0.98	YES	1.04
	YES	0.92	YES	1.03	YES	1.07
	YES	0.93	YES	1.03	YES	1.02
	YES	0.97	YES	1.05	YES	1.03
	YES	1.48	YES	1.69	YES	1.84
	YES	1.48	YES	1.61	YES	1.67
	YES	2.37	YES	2.14	YES	2.43
	YES	1.15	YES	1.22	YES	1.37
	YES	1.47	YES	1.80	YES	1.78
	YES	1.48	YES	1.56	YES	1.67
	YES	1.51	YES	1.82	YES	2.10
	YES	1.33	YES	1.44	YES	1.39
	YES	1.28	YES	1.89	YES	1.82
	YES	1.56	YES	1.61	YES	1.61
	YES	1.55	YES	1.55	YES	1.44
	YES	0.86	YES	0.97	YES	1.04
	YES	1.59	YES	1.56	YES	1.93
	YES	1.67	YES	2.07	YES	1.89
	YES	4.31	YES	14.59	YES	14.42
	YES	33.00	YES	40.02	YES	39.49
	YES	12.90	YES	18.28	YES	18.17
	YES	1.55	YES	1.95	YES	1.81
	YES	1.00	YES	1.10	YES	1.14
	YES	0.98	YES	1.10	YES	1.09
	YES	1.46	YES	2.05	YES	1.78
	YES	1.71	YES	1.76	YES	1.65
	YES	1.20	YES	1.26	YES	1.28
	YES	1.89	YES	2.34	YES	1.93
	YES	1.60	YES	2.59	YES	1.84
	YES	1.05	YES	1.18	YES	1.15
	YES	1.11	YES	1.32	YES	1.27
	YES	26.12	YES	33.04	YES	26.56
	YES	2.69	YES	3.49	YES	3.88
	YES	8.12	YES	14.26	YES	8.20
	YES	1.17	YES	1.31	YES	1.25
	YES	16.51	YES	22.24	YES	16.90
	YES	20.99	YES	31.69	YES	23.21
	YES	1.68	YES	1.74	YES	2.14
	YES	1.80	YES	1.94	YES	1.93
	YES	1.20	YES	1.26	YES	1.32
	YES	1.15	YES	1.26	YES	1.20
	YES	0.93	YES	1.16	YES	1.07
	YES	1.05	YES	1.11	YES	1.16
	YES	1.83	YES	1.87	YES	2.06
	YES	1.62	YES	2.84	YES	1.91
	YES	1.54	YES	2.53	YES	1.84
	YES	3.63	YES	7.19	YES	7.08
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	1.54	YES	1.62	YES	1.57
	YES	12.74	YES	18.29	YES	17.83
	YES	12.37	YES	17.62	YES	18.03
	YES	2.12	YES	2.17	YES	2.16
	YES	14.25	YES	19.60	YES	19.36
	YES	1.41	YES	1.59	YES	1.54
	YES	1.49	YES	1.58	YES	1.56
	YES	14.10	YES	24.89	YES	21.26
	YES	1.28	YES	1.31	YES	1.27
	YES	3.21	YES	2.06	YES	2.02
	YES	7.69	YES	13.06	YES	13.16
	YES	1.37	YES	1.60	YES	1.61
	YES	1.33	YES	1.74	YES	1.65
	YES	1.34	YES	1.49	YES	1.43
	YES	11.92	YES	1.84	YES	1.92
	YES	2.06	YES	1.60	YES	1.67
	YES	2.97	YES	1.76	YES	1.65
	YES	1.37	YES	1.41	YES	1.44
	YES	3.46	YES	1.82	YES	1.87
	YES	1.04	YES	1.16	YES	1.15
	YES	1.09	YES	1.17	YES	1.21
	YES	1.02	YES	1.10	YES	1.09
	NO	1.27	NO	1.52	NO	1.43
	YES	2.27	YES	2.27	YES	2.27
	YES	1.03	YES	1.10	YES	1.10
	YES	0.92	YES	0.97	YES	0.98
	YES	1.75	YES	6.92	YES	7.00
	YES	1.33	YES	1.45	YES	1.44
	YES	1.65	YES	1.87	YES	1.78
	YES	1.50	YES	1.67	YES	1.56
	YES	1.22	YES	1.30	YES	1.32
	YES	1.14	YES	1.32	YES	1.27
	YES	1.15	YES	1.19	YES	1.20
	YES	1.39	YES	1.50	YES	1.49
	YES	1.28	YES	1.39	YES	1.39
	YES	1.27	YES	1.38	YES	1.50
	YES	1.14	YES	1.15	YES	1.20
	YES	1.77	YES	1.91	YES	1.90
	YES	1.25	YES	1.31	YES	1.33
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	6.43	YES	6.61	YES	6.63
	YES	1.61	YES	1.37	YES	1.67
	YES	1.44	YES	1.56	YES	1.56
	YES	1.43	YES	1.56	YES	1.50
	YES	1.89	YES	1.94	YES	1.89
	YES	2.15	YES	2.66	YES	2.29
	YES	3.02	YES	3.88	YES	3.88
	YES	2.27	YES	3.44	YES	2.76
	YES	1.43	YES	1.50	YES	1.49
	YES	1.79	YES	2.11	YES	2.09
	YES	1.48	YES	1.56	YES	1.55
	YES	1.78	YES	2.04	YES	1.78
	YES	1.24	YES	1.35	YES	1.33
	YES	1.53	YES	1.73	YES	1.83
	YES	1.27	YES	1.34	YES	1.33
	YES	1.74	YES	1.99	YES	1.79
	YES	1.55	YES	1.94	YES	1.61
	YES	2.12	YES	2.33	YES	2.41
	YES	1.35	YES	1.50	YES	1.44
	YES	1.28	YES	1.39	YES	1.41
	YES	1.22	YES	1.30	YES	1.30
	YES	3.18	YES	3.95	YES	4.11
	YES	2.16	YES	2.52	YES	2.38
	YES	2.15	YES	2.24	YES	2.17
	YES	2.17	YES	2.20	YES	2.36
	YES	1.44	YES	1.53	YES	1.49
	YES	1.45	YES	1.38	YES	1.45
	YES	1.30	YES	1.43	YES	1.36
	YES	1.38	YES	1.50	YES	1.52
	YES	2.00	YES	2.04	YES	2.02
	YES	1.40	YES	1.49	YES	1.50
	YES	7.30	YES	7.69	YES	7.77
	YES	1.51	YES	1.55	YES	1.60
	YES	1.34	YES	1.38	YES	1.44
	YES	1.44	YES	1.56	YES	1.53
	YES	1.52	YES	1.62	YES	1.68
	YES	2.28	YES	2.64	YES	2.51
	YES	2.15	YES	2.14	YES	2.49
	MAYBE	52.66	MAYBE	61.55	MAYBE	59.62
	YES	1.43	YES	1.67	YES	1.45
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	1.31	YES	1.38	YES	1.48
	YES	2.60	YES	2.93	YES	2.55
	YES	1.59	YES	1.62	YES	1.66
	YES	1.04	YES	1.07	YES	1.09
	YES	0.97	YES	1.04	YES	1.09
	YES	0.87	YES	0.92	YES	0.93
	YES	0.86	YES	0.91	YES	0.92
	YES	0.87	YES	0.98	YES	1.02
	YES	0.87	YES	0.92	YES	1.03
	YES	1.10	YES	1.13	YES	1.11
	YES	0.91	YES	1.03	YES	1.02
	YES	1.21	YES	1.28	YES	1.37
	YES	1.14	YES	1.15	YES	1.12
	YES	7.64	YES	7.65	YES	7.37
	YES	1.03	YES	1.14	YES	1.15
	YES	0.98	YES	1.06	YES	1.20
	YES	1.20	YES	1.23	YES	1.32
	YES	1.09	YES	1.16	YES	1.15
	YES	0.98	YES	1.08	YES	1.09
	YES	0.97	YES	1.10	YES	1.08
	YES	1.61	YES	2.02	YES	2.02
	YES	1.10	YES	1.09	YES	1.10
	YES	1.05	YES	1.15	YES	1.16
	MAYBE	41.50	MAYBE	48.64	MAYBE	48.20
	YES	1.42	YES	1.60	YES	1.42
	YES	9.62	YES	10.76	YES	10.71
	YES	1.49	YES	1.70	YES	1.75
	MAYBE	86.16	MAYBE	95.19	MAYBE	90.59
	MAYBE	31.13	MAYBE	40.46	MAYBE	35.81
	YES	1.66	YES	1.96	YES	2.11
	YES	1.37	YES	1.79	YES	1.89
	YES	13.46	YES	13.80	YES	13.84
	YES	1.51	YES	1.89	YES	1.87
	KILLED	120.00	YES	2.08	YES	2.12
	YES	1.31	YES	1.43	YES	1.40
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	1.32	NO	1.51	NO	1.39
	YES	1.04	YES	1.14	YES	1.10
	NO	1.74	NO	1.73	NO	1.78
	YES	1.05	YES	1.15	YES	1.15
	YES	1.04	YES	1.17	YES	1.11
	YES	1.09	YES	1.22	YES	1.16
	YES	1.17	YES	1.20	YES	1.20
	YES	1.24	YES	1.33	YES	1.35
	YES	22.06	YES	22.91	YES	22.50
	YES	23.18	YES	22.21	YES	21.99
	YES	1.19	YES	1.24	YES	1.26
	YES	1.20	YES	1.31	YES	1.30
	YES	1.12	YES	1.28	YES	1.21
	YES	0.98	YES	1.09	YES	1.15
	YES	1.28	YES	1.28	YES	1.28
	YES	0.98	YES	1.04	YES	1.05
	YES	0.92	YES	1.03	YES	1.03
	YES	1.03	YES	1.15	YES	1.14
	YES	1.15	YES	1.22	YES	1.24
	YES	1.09	YES	1.15	YES	1.20
	YES	1.04	YES	1.07	YES	1.08
	YES	1.10	YES	1.21	YES	1.08
	YES	0.92	YES	1.08	YES	1.03
	YES	1.03	YES	1.09	YES	1.09
	YES	1.09	YES	1.18	YES	1.20
	YES	1.17	YES	1.16	YES	1.26
	YES	1.11	YES	1.20	YES	1.23
	MAYBE	110.52	MAYBE	109.93	KILLED	120.00
	YES	1.49	YES	1.79	YES	1.84
	YES	1.36	YES	1.54	YES	1.50
	NO	5.83	NO	8.77	NO	8.16
	YES	1.27	YES	1.33	YES	1.39
	YES	1.04	YES	1.17	YES	1.18
	NO	1.54	NO	15.76	NO	2.01
	YES	0.98	YES	1.09	YES	1.09
	NO	2.53	NO	5.29	NO	4.96
	NO	1.51	NO	1.68	NO	1.55
	YES	1.28	YES	1.40	YES	1.36
	YES	0.94	YES	1.05	YES	1.04
	NO	3.74	NO	6.15	NO	5.91
	NO	2.26	NO	2.30	NO	2.29
	YES	1.22	YES	1.31	YES	1.33
	YES	1.16	YES	1.24	YES	1.34
	YES	1.49	YES	1.59	YES	1.50
	YES	1.06	YES	1.14	YES	1.16
	YES	1.26	YES	1.25	YES	1.27
	YES	1.03	YES	1.15	YES	1.10
	YES	1.54	YES	1.83	YES	1.72
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	100.95	MAYBE	109.14	MAYBE	97.86
	YES	1.26	YES	1.33	YES	1.32
	YES	1.10	YES	1.14	YES	1.21
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	81.08	MAYBE	82.86	MAYBE	79.44
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	1.03	YES	1.11	YES	1.16
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	83.80	MAYBE	83.56	MAYBE	85.27
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.94	NO	1.05	NO	1.06
	NO	0.96	NO	1.06	NO	1.08
	NO	0.99	NO	1.06	NO	1.05
	NO	0.94	NO	1.04	NO	1.05
	NO	0.95	NO	1.06	NO	1.06
	NO	1.05	NO	1.21	NO	1.17
	NO	1.01	NO	1.10	NO	1.19
	YES	1.57	YES	1.71	YES	1.71
	YES	1.66	YES	1.67	YES	2.01
	YES	1.16	YES	1.32	YES	1.26
	YES	1.33	YES	1.79	YES	1.52
	YES	1.12	YES	1.26	YES	1.17
	YES	3.11	YES	3.02	YES	2.94
	YES	0.94	YES	1.04	YES	1.04
	YES	1.00	YES	1.16	YES	1.11
	YES	1.24	YES	1.28	YES	1.20
	YES	3.53	YES	3.92	YES	3.67
	YES	1.00	YES	1.09	YES	1.10
	YES	1.04	YES	1.10	YES	1.09
	YES	1.26	YES	1.31	YES	1.31
	YES	1.32	YES	1.26	YES	1.58
	YES	1.28	YES	1.47	YES	1.40
	YES	1.04	YES	1.14	YES	1.16
	YES	1.26	YES	1.50	YES	1.61
	YES	1.04	YES	1.15	YES	1.19
	YES	1.24	YES	1.42	YES	1.26
	YES	1.09	YES	1.09	YES	1.16
	MAYBE	15.47	MAYBE	20.79	MAYBE	20.60
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	12.45	YES	2.45	YES	2.13
	YES	0.98	YES	1.09	YES	1.11
	YES	1.04	YES	1.08	YES	1.06
	YES	0.97	YES	1.04	YES	1.09
	YES	0.98	YES	1.05	YES	1.03
	YES	0.97	YES	1.09	YES	1.09
	NO	1.36	NO	1.48	NO	1.50
	NO	3.39	NO	3.52	NO	3.51
	NO	1.11	NO	1.76	NO	1.78
	NO	1.15	NO	3.79	NO	1.36
	NO	1.15	NO	1.27	NO	1.28
	NO	1.22	NO	6.48	NO	1.41
	NO	1.16	NO	1.37	NO	1.19
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	0.94	YES	0.97	YES	0.98
	YES	0.87	YES	0.98	YES	0.97
	YES	0.92	YES	0.96	YES	0.99
	YES	0.97	YES	1.13	YES	1.14
	YES	1.10	YES	1.50	YES	1.32
	YES	0.97	YES	1.04	YES	1.05
	YES	1.74	YES	1.61	YES	1.60
	YES	1.21	YES	1.18	YES	1.20
	YES	1.21	YES	1.23	YES	1.28
	YES	1.61	YES	1.85	YES	1.73
	NO	1.33	NO	7.08	NO	1.50
	YES	1.23	YES	1.34	YES	1.35
	YES	6.23	YES	11.44	YES	11.54
	YES	9.03	YES	18.87	YES	19.66
	YES	2.89	YES	8.43	YES	8.06
	YES	2.78	YES	3.46	YES	3.44
	YES	0.98	YES	1.10	YES	1.09
	YES	1.39	YES	1.50	YES	1.56
	YES	1.38	YES	1.40	YES	1.35
	YES	2.96	YES	4.27	YES	2.16
	YES	1.99	YES	2.66	YES	2.06
	YES	1.20	YES	1.26	YES	1.26
	YES	1.03	YES	1.13	YES	1.21
	NO	1.08	NO	1.16	NO	1.17
	NO	1.11	NO	1.30	NO	1.42
	NO	1.30	NO	6.38	NO	1.38
	NO	1.05	NO	1.18	NO	1.16
	NO	1.46	NO	1.57	NO	1.55
	NO	1.10	NO	1.20	NO	1.15
	NO	1.10	NO	1.17	NO	1.16
	NO	1.05	NO	1.16	NO	1.16
	NO	1.33	NO	1.46	NO	1.58
	YES	0.98	YES	1.09	YES	1.09
	NO	1.58	NO	1.67	NO	1.73
	NO	1.45	NO	1.65	NO	1.61
	NO	1.50	NO	1.56	NO	1.56
	NO	1.50	NO	1.72	NO	1.70
	NO	1.56	NO	1.61	NO	1.64
	NO	1.21	NO	1.28	NO	1.33
	NO	1.00	NO	1.21	NO	1.18
	NO	1.51	NO	1.62	NO	1.61
	NO	1.05	NO	1.11	NO	1.15
	NO	1.13	NO	1.28	NO	1.40
	NO	1.63	NO	1.70	NO	1.79
	NO	1.51	NO	1.72	NO	1.61
	NO	1.50	NO	1.61	NO	1.55
	NO	1.61	NO	1.60	NO	1.68
	NO	1.88	NO	2.20	NO	1.93
	NO	4.16	NO	5.07	NO	4.61
	NO	1.73	NO	1.81	NO	1.79
	NO	1.56	NO	1.70	NO	1.66
	NO	1.44	NO	1.61	NO	1.62
	NO	1.39	NO	1.44	NO	1.63
	YES	1.05	YES	1.21	YES	1.26
	NO	1.34	NO	1.36	NO	1.40
	NO	1.55	NO	1.72	NO	1.78
	NO	1.54	NO	1.61	NO	1.66
	NO	1.90	NO	2.00	NO	1.96
	NO	1.51	NO	1.60	NO	1.61
	NO	1.17	NO	1.09	NO	1.12
	NO	1.44	NO	1.61	NO	1.60
	NO	1.51	NO	1.64	NO	1.67
	NO	1.23	NO	1.35	NO	1.33
	NO	1.87	NO	2.03	NO	2.01
	NO	1.55	NO	1.67	NO	1.72
	NO	1.05	NO	1.20	NO	1.17
	NO	1.50	NO	1.64	NO	1.67
	NO	1.51	NO	1.57	NO	1.57
	NO	2.20	NO	2.18	NO	2.24
	NO	1.56	NO	1.68	NO	1.78
	NO	1.06	NO	1.19	NO	1.17
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	1.04	NO	1.19	NO	1.23
	NO	1.15	NO	1.21	NO	1.28
	NO	1.79	NO	1.95	NO	1.91
	NO	1.17	NO	1.27	NO	1.40
	NO	3.21	NO	3.29	NO	3.15
	NO	14.65	NO	14.20	NO	14.50
	YES	1.15	YES	1.20	YES	1.20
	NO	1.34	NO	1.51	NO	1.50
	NO	1.05	NO	1.16	NO	1.16
	NO	1.62	NO	1.72	NO	1.80
	YES	0.92	YES	1.05	YES	0.98
	YES	1.03	YES	1.15	YES	1.09
	YES	0.97	YES	1.15	YES	1.15
	YES	1.09	YES	1.20	YES	1.17
	YES	1.16	YES	1.30	YES	1.61
	YES	1.39	YES	1.51	YES	1.51
	YES	1.48	YES	1.85	YES	1.76
	YES	1.46	YES	1.50	YES	1.71
	YES	0.92	YES	0.98	YES	0.99
	YES	1.10	YES	1.26	YES	1.33
	YES	1.03	YES	1.09	YES	1.03
	YES	0.98	YES	1.09	YES	1.07
	YES	0.86	YES	0.98	YES	0.97
	YES	1.50	YES	1.78	YES	1.71
	YES	2.07	YES	3.61	YES	2.35
	YES	0.97	YES	1.03	YES	1.06
	YES	0.98	YES	1.03	YES	1.09
	YES	1.05	YES	1.05	YES	1.09
	YES	0.92	YES	0.97	YES	0.98
	YES	1.14	YES	1.38	YES	1.33
	YES	0.98	YES	1.09	YES	1.09
	YES	2.05	YES	2.32	YES	2.04
	YES	1.21	YES	1.56	YES	1.32
	YES	1.56	YES	1.78	YES	1.34
	YES	2.72	YES	2.26	YES	2.58
	YES	1.15	YES	1.26	YES	1.26
	YES	1.04	YES	1.09	YES	1.14
	YES	2.78	YES	3.71	YES	3.28
	YES	1.34	YES	1.84	YES	1.48
	YES	1.37	YES	1.98	YES	1.49
	MAYBE	15.23	MAYBE	19.88	MAYBE	20.23
	YES	1.56	YES	6.69	YES	1.72
	YES	1.89	YES	2.21	YES	2.02
	YES	1.90	YES	12.29	YES	2.22
	YES	2.85	YES	3.75	YES	3.05
	YES	1.37	YES	6.50	YES	6.58
	YES	1.43	YES	2.98	YES	2.50
	YES	1.33	YES	1.88	YES	1.64
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	1.49	YES	4.65	YES	1.78
	YES	4.50	YES	7.59	YES	4.51
	YES	2.21	YES	5.89	YES	2.49
	YES	1.45	YES	3.94	YES	1.70
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	3.08	YES	3.74	YES	3.82
	YES	2.52	YES	2.12	YES	3.45
	YES	2.28	YES	2.75	YES	3.04
	YES	1.62	YES	2.10	YES	1.91
	YES	9.37	YES	2.62	YES	2.69
	YES	1.58	YES	1.75	YES	1.68
	YES	1.89	YES	3.09	YES	2.39
	YES	1.65	YES	2.15	YES	1.88
	YES	1.49	YES	1.77	YES	1.54
	YES	1.99	YES	4.40	YES	3.87
	YES	1.54	YES	1.84	YES	1.80
	YES	2.21	YES	3.81	YES	2.39
	YES	1.31	YES	1.98	YES	1.48
	YES	1.82	YES	6.93	YES	2.25
	YES	1.64	YES	6.56	YES	2.07
	YES	1.85	YES	6.86	YES	1.98
	YES	1.43	YES	1.89	YES	1.68
	YES	1.87	YES	2.40	YES	1.99
	YES	2.20	YES	3.51	YES	2.50
	YES	1.69	YES	7.28	YES	2.12
	YES	2.80	YES	3.55	YES	3.39
	YES	1.64	YES	1.60	YES	1.62
	YES	13.41	YES	21.66	YES	18.73
	YES	1.50	YES	1.71	YES	1.62
	YES	3.63	YES	9.22	YES	9.18
	YES	2.94	YES	8.24	YES	8.54
	YES	1.56	YES	1.61	YES	1.62
	YES	8.48	YES	17.98	YES	18.82
	YES	1.46	YES	1.80	YES	1.82
	YES	2.70	YES	8.49	YES	8.13
	YES	1.69	YES	1.85	YES	1.85
	YES	2.37	YES	7.62	YES	8.01
	YES	2.96	YES	8.91	YES	8.74
	YES	1.33	YES	1.39	YES	1.45
	YES	3.40	YES	2.87	YES	2.35
	YES	2.46	YES	3.55	YES	2.61
	YES	2.90	YES	3.79	YES	3.61
	YES	1.75	YES	7.37	YES	7.42
	YES	1.68	YES	6.85	YES	6.93
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	2.33	YES	7.48	YES	7.79
	YES	1.51	YES	7.10	YES	6.90
	YES	1.61	YES	2.25	YES	1.79
	YES	1.54	YES	2.02	YES	1.78
	MAYBE	94.88	MAYBE	106.78	MAYBE	101.95
	YES	1.38	YES	1.77	YES	1.49
	NO	69.44	NO	76.65	NO	72.40
	YES	16.32	YES	22.20	YES	21.96
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	4.03	YES	14.09	YES	4.35
	YES	2.36	YES	8.25	YES	8.35
	YES	4.08	YES	10.20	YES	9.95
	YES	31.95	YES	45.31	YES	39.75
	YES	2.24	YES	3.88	YES	4.70
	YES	6.72	YES	13.11	YES	7.25
	YES	4.91	YES	9.46	YES	5.22
	YES	1.76	YES	4.59	YES	3.91
	YES	2.47	YES	3.44	YES	2.57
	MAYBE	85.44	YES	1.54	YES	1.55
	YES	1.42	YES	1.89	YES	1.67
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	2.19	YES	2.58	YES	2.87
	YES	3.21	YES	8.52	YES	8.40
	YES	30.89	YES	33.15	YES	31.03
	YES	1.76	YES	3.88	YES	3.71
	YES	1.97	YES	2.48	YES	2.02
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	9.34	YES	10.60	YES	10.33
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	1.09	NO	1.22	NO	1.17
	YES	9.53	YES	16.04	YES	15.75
	YES	1.37	YES	1.94	YES	1.85
	YES	1.04	YES	1.09	YES	1.09
	YES	1.03	YES	1.20	YES	1.16
	YES	7.87	YES	8.63	YES	8.28
	MAYBE	8.88	MAYBE	9.50	MAYBE	9.40
	YES	1.79	YES	1.89	YES	1.90
	YES	1.44	YES	2.26	YES	2.46
	MAYBE	110.20	MAYBE	108.61	MAYBE	107.06
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	1.50	NO	1.70	NO	1.64
	NO	1.35	NO	1.59	NO	1.57
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	2.97	MAYBE	3.14	MAYBE	3.05
	MAYBE	4.04	MAYBE	4.26	MAYBE	4.24
	MAYBE	2.72	MAYBE	3.13	MAYBE	3.07
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	2.19	YES	1.73	YES	1.87
	YES	2.76	YES	3.63	YES	3.08
	YES	1.39	YES	1.63	YES	1.49
	YES	4.11	YES	9.76	YES	4.54
	YES	1.74	YES	2.17	YES	2.21
	YES	7.94	YES	13.21	YES	13.16
	YES	2.13	YES	2.00	YES	2.31
	YES	1.74	YES	1.96	YES	1.97
	YES	2.30	YES	2.48	YES	2.40
	YES	2.17	YES	5.91	YES	2.69
	YES	4.07	YES	11.91	YES	10.43
	YES	3.88	YES	19.20	YES	19.18
	KILLED	120.00	YES	3.13	YES	3.33
	MAYBE	97.18	MAYBE	102.28	MAYBE	103.70
	YES	1.51	YES	1.52	YES	1.61
	MAYBE	52.18	MAYBE	58.20	MAYBE	57.02
	YES	1.66	YES	2.07	YES	1.96
	YES	1.71	YES	2.26	YES	2.46
	YES	1.28	YES	1.33	YES	1.42
	YES	1.46	YES	1.73	YES	1.84
	YES	1.29	YES	1.46	YES	1.42
	YES	1.48	YES	1.81	YES	1.73
	YES	1.54	YES	1.88	YES	2.01
	YES	1.09	YES	1.18	YES	1.20
	YES	8.00	YES	8.36	YES	8.67
	YES	1.55	YES	1.67	YES	1.82
	YES	1.77	YES	2.30	YES	2.25
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	86.83	MAYBE	90.30	MAYBE	90.36
	YES	1.72	YES	2.01	YES	1.73
	YES	1.06	YES	1.14	YES	1.12
	YES	1.06	YES	1.09	YES	1.10
	YES	0.98	YES	1.15	YES	1.06
	YES	0.98	YES	1.05	YES	1.03
	NO	2.08	NO	4.51	NO	3.30
	YES	0.97	YES	1.10	YES	1.15
	YES	0.99	YES	1.09	YES	1.09
	YES	1.13	YES	1.17	YES	1.20
	YES	1.00	YES	1.05	YES	1.05
	YES	1.20	YES	1.27	YES	1.26
	YES	1.00	YES	1.03	YES	1.05
	YES	1.10	YES	1.15	YES	1.22
	YES	1.21	YES	1.23	YES	1.25
	YES	1.07	YES	1.21	YES	1.14
	YES	1.03	YES	1.10	YES	1.09
	YES	1.03	YES	1.15	YES	1.15
	YES	0.99	YES	1.15	YES	1.10
	YES	0.98	YES	1.08	YES	1.09
	YES	1.08	YES	1.16	YES	1.12
	YES	1.03	YES	1.15	YES	1.12
	YES	0.98	YES	1.10	YES	1.22
	YES	1.04	YES	1.09	YES	1.15
	YES	1.10	YES	1.15	YES	1.15
	YES	0.98	YES	1.05	YES	1.07
	YES	1.04	YES	1.22	YES	1.11
	YES	1.23	YES	1.22	YES	1.26
	YES	1.02	YES	1.15	YES	1.15
	YES	0.93	YES	1.04	YES	1.10
	YES	1.04	YES	1.15	YES	1.17
	YES	1.04	YES	1.09	YES	1.15
	YES	1.09	YES	1.10	YES	1.05
	YES	1.24	YES	1.22	YES	1.22
	YES	1.04	YES	1.15	YES	1.12
	YES	1.15	YES	1.26	YES	1.31
	YES	1.03	YES	1.10	YES	1.09
	YES	0.99	YES	1.06	YES	1.03
	YES	0.93	YES	1.03	YES	1.03
	YES	0.98	YES	1.10	YES	1.03
	YES	1.25	YES	1.28	YES	1.29
	YES	1.09	YES	1.10	YES	1.10
	YES	1.04	YES	1.17	YES	1.15
	YES	1.08	YES	1.15	YES	1.23
	YES	1.10	YES	1.16	YES	1.20
	YES	1.26	YES	1.34	YES	1.26
	YES	1.03	YES	1.26	YES	1.16
	YES	0.87	YES	0.98	YES	0.98
	YES	0.87	YES	0.93	YES	0.97
	YES	0.95	YES	0.99	YES	0.98
	YES	0.97	YES	1.04	YES	1.04
	YES	0.98	YES	0.99	YES	0.98
	YES	0.96	YES	1.10	YES	1.09
	YES	1.24	YES	1.33	YES	1.28
	YES	0.97	YES	1.07	YES	1.09
	YES	0.98	YES	1.09	YES	1.03
	YES	0.96	YES	1.09	YES	1.07
	YES	0.97	YES	1.09	YES	1.03
	YES	0.98	YES	1.05	YES	1.10
	YES	1.07	YES	1.14	YES	1.15
	YES	0.92	YES	1.00	YES	0.99
	YES	0.97	YES	1.10	YES	1.15
	YES	1.12	YES	1.32	YES	1.23
	YES	1.04	YES	1.14	YES	1.05
	YES	1.81	YES	2.44	YES	2.38
	YES	1.02	YES	1.15	YES	1.12
	YES	0.96	YES	1.03	YES	1.03
	YES	1.03	YES	1.10	YES	1.09
	NO	1.40	NO	1.45	NO	1.50
	YES	0.93	YES	1.04	YES	1.08
	YES	0.94	YES	1.04	YES	1.09
	YES	1.06	YES	1.10	YES	1.11
	YES	1.01	YES	1.09	YES	1.15
	YES	0.99	YES	1.10	YES	1.09
	YES	0.98	YES	1.09	YES	1.09
	YES	1.05	YES	1.15	YES	1.20
	YES	1.03	YES	1.14	YES	1.22
	YES	0.98	YES	1.10	YES	1.09
	YES	1.09	YES	1.14	YES	1.22
	YES	1.45	YES	1.62	YES	1.59
	YES	0.99	YES	1.14	YES	1.09
	YES	0.98	YES	1.03	YES	1.15
	YES	1.00	YES	1.09	YES	1.09
	YES	1.04	YES	1.10	YES	1.10
	YES	1.09	YES	1.17	YES	1.10
	YES	0.99	YES	1.09	YES	1.08
	YES	1.39	YES	1.61	YES	1.65
	YES	0.98	YES	1.08	YES	1.03
	YES	1.21	YES	1.28	YES	1.28
	YES	1.18	YES	1.26	YES	1.29
	YES	1.10	YES	1.21	YES	1.14
	YES	1.10	YES	1.25	YES	1.20
	YES	1.42	YES	1.36	YES	1.38
	YES	1.03	YES	1.10	YES	1.09
	YES	1.83	YES	2.18	YES	2.27
	YES	0.86	YES	0.98	YES	0.92
	NO	1.00	NO	1.11	NO	1.12
	YES	0.86	YES	0.98	YES	0.97
	YES	0.87	YES	0.96	YES	0.99
	YES	0.93	YES	0.92	YES	0.93
	YES	1.09	YES	1.15	YES	1.15
	YES	0.98	YES	1.09	YES	1.03
	NO	2.94	NO	3.37	NO	3.55
	YES	1.04	YES	1.09	YES	1.12
	YES	1.04	YES	1.17	YES	1.09
	YES	1.10	YES	1.23	YES	1.21
	YES	0.98	YES	0.97	YES	1.04
	YES	0.92	YES	1.02	YES	1.02
	YES	0.87	YES	0.98	YES	0.98
	YES	2.06	YES	2.10	YES	2.15
	YES	1.03	YES	1.05	YES	1.04
	NO	1.23	NO	1.46	NO	1.46
	YES	0.93	YES	0.98	YES	0.97
	YES	1.14	YES	1.28	YES	1.26
	YES	1.03	YES	1.21	YES	1.14
	YES	1.03	YES	1.09	YES	1.16
	NO	2.65	NO	3.74	NO	3.83
	YES	0.92	YES	1.09	YES	1.01
	YES	0.95	YES	1.04	YES	1.13
	YES	1.01	YES	1.08	YES	1.17
	YES	1.10	YES	1.17	YES	1.17
	YES	1.15	YES	1.25	YES	1.20
	YES	1.36	YES	1.52	YES	1.39
	YES	0.94	YES	1.03	YES	1.03
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	1.18	YES	1.28	YES	1.22
	YES	1.46	YES	1.91	YES	1.56
	YES	1.03	YES	1.05	YES	1.05
	YES	8.99	YES	14.31	YES	14.29
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	1.88	YES	2.29	YES	2.42
	YES	1.89	YES	6.73	YES	1.96
	YES	1.72	YES	1.83	YES	1.78
	YES	8.33	YES	13.56	YES	13.50
	YES	2.08	YES	3.03	YES	2.92
	YES	9.30	YES	14.98	YES	9.84
	NO	1.89	NO	1.85	NO	1.97
	YES	2.27	YES	2.56	YES	2.42
	YES	8.04	YES	13.53	YES	8.18
	YES	0.98	YES	1.12	YES	1.10
	YES	17.21	YES	23.75	YES	23.49
	YES	1.79	YES	2.33	YES	2.35
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	1.16	YES	1.24	YES	1.26
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.91	NO	0.91	NO	0.93
	YES	1.09	YES	1.21	YES	1.22
	YES	1.58	YES	1.60	YES	1.61
	YES	1.03	YES	1.10	YES	1.09
	YES	1.65	YES	2.16	YES	2.26
	YES	2.78	YES	3.55	YES	3.09
	NO	0.87	NO	0.93	NO	0.92
	YES	1.02	YES	1.10	YES	1.14
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	2.27	NO	7.78	NO	2.50
	YES	1.43	YES	1.66	YES	1.37
	YES	2.79	YES	4.19	YES	3.53
	NO	1.27	NO	1.24	NO	1.20
	NO	1.44	NO	6.53	NO	1.75
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	1.39	NO	7.32	NO	6.51
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	1.08	NO	1.27	NO	1.22
	NO	1.39	NO	9.31	NO	6.65
	YES	1.08	YES	1.17	YES	1.16
	YES	0.92	YES	0.98	YES	0.98
	YES	0.93	YES	0.98	YES	0.98
	YES	0.92	YES	1.01	YES	0.99
	NO	0.96	NO	1.05	NO	1.06
	YES	0.92	YES	0.98	YES	0.98
	YES	3.24	YES	2.92	YES	3.08
	MAYBE	110.63	YES	5.11	YES	3.86
	YES	1.29	YES	1.44	YES	1.44
	YES	2.97	YES	3.72	YES	2.85
	NO	0.86	NO	0.98	NO	0.91
	YES	1.09	YES	1.20	YES	1.20
	YES	36.12	YES	50.02	YES	37.78
	YES	0.94	YES	1.11	YES	1.05
	YES	1.04	YES	1.15	YES	1.14
	YES	1.39	YES	1.78	YES	1.69
	NO	1.00	NO	1.24	NO	1.17
	YES	0.98	YES	1.04	YES	1.05
	YES	1.16	YES	1.24	YES	1.19
	YES	0.86	YES	0.97	YES	0.99
	YES	0.91	YES	0.98	YES	0.97
	YES	0.99	YES	1.17	YES	1.11
	YES	0.87	YES	0.99	YES	0.92
	YES	0.86	YES	0.97	YES	0.98
	YES	2.95	YES	3.73	YES	3.43
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	1.22	YES	1.26	YES	1.27
	YES	3.48	YES	5.26	YES	4.58
	NO	1.44	NO	1.55	NO	1.62
	MAYBE	113.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	109.86	MAYBE	117.65	MAYBE	108.41
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.87	NO	0.92	NO	0.98
	NO	1.23	NO	1.33	NO	1.34
	YES	26.06	YES	34.06	YES	26.43
	NO	1.28	NO	1.41	NO	1.22
	NO	2.65	NO	4.88	NO	2.80
	MAYBE	108.40	MAYBE	112.20	MAYBE	105.44
	NO	1.07	NO	1.27	NO	1.39
	NO	1.10	NO	1.22	NO	1.25
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	1.57	YES	2.04	YES	2.13
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.86	NO	0.92	NO	0.92
	YES	1.03	YES	1.21	YES	1.14
	YES	2.79	YES	3.26	YES	2.91
	NO	2.00	NO	11.02	NO	2.63
	YES	1.82	YES	2.00	YES	1.99
	YES	4.28	YES	5.44	YES	6.01
	NO	0.87	NO	0.92	NO	0.93
	NO	1.97	NO	2.06	NO	2.06
	YES	4.07	YES	7.30	YES	4.83
	NO	1.16	NO	1.22	NO	1.38
	YES	0.98	YES	0.97	YES	0.98
	YES	1.30	YES	1.34	YES	1.37
	NO	0.98	NO	1.11	NO	1.14
	NO	1.10	NO	1.27	NO	1.22
	YES	1.16	YES	1.17	YES	1.18
	YES	0.94	YES	0.98	YES	0.98
	YES	0.92	YES	1.02	YES	0.98
	YES	1.80	YES	1.88	YES	1.82
	YES	0.86	YES	0.95	YES	0.92
	YES	0.86	YES	0.92	YES	1.04
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	99.49	MAYBE	98.14	MAYBE	101.26
	NO	5.38	NO	6.25	NO	5.41
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	1.05	NO	1.16	NO	1.12
	MAYBE	100.00	MAYBE	98.22	MAYBE	99.05
	YES	24.37	YES	32.65	YES	26.09
	NO	1.33	NO	2.04	NO	1.38
	NO	1.27	NO	2.12	NO	1.44
	NO	3.31	NO	8.13	NO	4.18
	NO	0.99	NO	1.07	NO	1.08
	NO	1.19	NO	2.19	NO	1.42
	YES	0.91	YES	0.97	YES	1.06
	YES	2.24	YES	2.64	YES	2.52
	YES	0.91	YES	0.99	YES	1.02
	YES	4.13	YES	5.05	YES	5.66
	YES	0.86	YES	0.93	YES	0.98
	YES	0.86	YES	0.97	YES	0.98
	YES	4.09	YES	4.71	YES	5.32
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	2.37	YES	3.32	YES	2.46
	YES	8.71	YES	11.80	YES	13.14
	YES	1.03	YES	1.14	YES	1.12
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	4.02	YES	5.37	YES	5.23
	YES	1.78	YES	1.65	YES	1.56
	YES	2.75	YES	3.85	YES	3.96
	YES	7.11	YES	11.47	YES	9.28
	YES	1.16	YES	1.12	YES	1.14
	YES	1.09	YES	1.18	YES	1.17
	YES	3.03	YES	3.12	YES	3.65
	YES	2.48	YES	3.54	YES	2.69
	YES	1.54	YES	1.66	YES	1.72
	YES	3.66	YES	5.18	YES	5.44
	YES	0.99	YES	1.08	YES	1.04
	YES	1.34	YES	1.50	YES	1.61
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	1.03	YES	1.15	YES	1.18
	MAYBE	108.47	MAYBE	118.42	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.87	NO	0.92	NO	0.92
	YES	1.04	YES	1.09	YES	1.12
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.87	NO	0.91	NO	0.92
	MAYBE	106.69	MAYBE	107.24	MAYBE	108.99
	YES	3.45	YES	4.03	YES	3.88
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	3.68	YES	5.32	YES	4.95
	YES	4.20	YES	12.83	YES	11.40
	YES	1.09	YES	1.14	YES	1.14
	NO	1.49	NO	1.63	NO	1.61
	YES	1.21	YES	1.26	YES	1.28
	NO	2.22	NO	3.65	NO	3.11
	YES	1.39	YES	1.69	YES	1.37
	YES	2.28	YES	2.09	YES	2.13
	YES	0.92	YES	0.93	YES	0.97
	NO	1.29	NO	1.89	NO	1.78
	YES	2.33	YES	2.61	YES	2.52
	YES	1.27	YES	1.39	YES	1.34
	YES	1.27	YES	1.38	YES	1.39
	YES	3.36	YES	4.78	YES	3.42
	YES	0.98	YES	0.98	YES	0.98
	YES	1.15	YES	1.27	YES	1.27
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	1.54	YES	2.29	YES	2.01
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.87	NO	0.98	NO	0.91
	YES	1.32	YES	1.37	YES	1.32
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	1.03	YES	1.09	YES	1.16
	MAYBE	115.27	MAYBE	119.81	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.86	NO	0.92	NO	0.96
	YES	0.97	YES	1.05	YES	1.09
	YES	1.67	YES	1.64	YES	1.67
	YES	1.03	YES	1.09	YES	1.09
	YES	1.10	YES	1.17	YES	1.21
	YES	1.33	YES	1.31	YES	1.32
	NO	0.92	NO	0.93	NO	0.92
	YES	0.98	YES	1.15	YES	1.09
	YES	2.95	YES	4.03	YES	3.82
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	2.29	YES	3.34	YES	4.14
	YES	6.25	YES	13.80	YES	12.92
	NO	0.87	NO	0.92	NO	0.92
	YES	1.49	YES	1.45	YES	1.63
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	5.69	NO	11.53	NO	7.29
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.93	NO	0.92	NO	0.91
	NO	5.79	NO	12.38	NO	7.96
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	1.09	YES	1.11	YES	1.15
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.90	NO	0.93	NO	0.91
	YES	1.07	YES	1.15	YES	1.09
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.86	NO	0.92	NO	0.92
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	5.14	YES	5.99	YES	6.39
	NO	4.58	NO	13.80	NO	5.05
	YES	2.80	YES	3.00	YES	2.99
	YES	9.28	YES	15.26	YES	12.83
	NO	0.86	NO	0.98	NO	0.92
	NO	2.30	NO	2.40	NO	2.40
	YES	1.99	YES	2.07	YES	2.48
	YES	1.19	YES	1.28	YES	1.23
	YES	1.23	YES	1.27	YES	1.37
	YES	2.34	YES	3.05	YES	3.17
	NO	0.92	NO	0.92	NO	0.92
	YES	1.03	YES	1.14	YES	1.15
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.86	NO	0.98	NO	0.92
	NO	8.54	NO	19.09	NO	11.02
	YES	1.74	YES	1.86	YES	1.82
	YES	1.04	YES	1.15	YES	1.12
	YES	2.11	YES	2.52	YES	2.77
	YES	5.93	YES	9.49	YES	8.11
	NO	0.92	NO	0.91	NO	0.92
	YES	1.04	YES	1.09	YES	1.15
	YES	1.30	YES	2.34	YES	1.42
	NO	1.22	NO	1.19	NO	1.27
	YES	0.85	YES	0.94	YES	0.98
	YES	0.92	YES	0.97	YES	1.02
	YES	0.86	YES	0.92	YES	0.91
	NO	1.14	NO	1.22	NO	1.30
	YES	1.91	YES	2.70	YES	2.47
	YES	1.96	YES	2.39	YES	2.08
	YES	2.27	YES	1.94	YES	1.80
	YES	2.73	YES	3.89	YES	3.05
	YES	0.99	YES	1.04	YES	1.06
	YES	1.18	YES	1.28	YES	1.34
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	1.52	YES	1.80	YES	1.39
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.81	NO	0.92	NO	0.98
	YES	1.10	YES	1.15	YES	1.27
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	1.14	YES	1.20	YES	1.22
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.87	NO	0.98	NO	0.91
	YES	1.03	YES	1.16	YES	1.15
	YES	3.12	YES	4.26	YES	3.27
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	3.11	YES	3.66	YES	4.51
	YES	3.84	YES	15.98	YES	4.52
	YES	1.03	YES	1.16	YES	1.14
	YES	1.66	YES	2.41	YES	1.78
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	1.05	NO	1.18	NO	1.16
	MAYBE	78.43	MAYBE	85.50	MAYBE	79.22
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	1.07	NO	1.16	NO	1.17
	NO	1.11	NO	1.18	NO	1.24
	YES	19.67	YES	29.22	YES	20.80
	NO	1.23	NO	1.28	NO	1.35
	YES	1.16	YES	1.22	YES	1.29
	YES	1.55	YES	1.48	YES	1.67
	NO	1.18	NO	1.29	NO	1.05
	NO	1.26	NO	1.35	NO	1.32
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	1.10	YES	1.26	YES	1.23
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.82	NO	0.92	NO	0.92
	YES	1.17	YES	1.26	YES	1.21
	YES	0.92	YES	0.96	YES	0.98
	YES	0.92	YES	1.04	YES	0.99
	YES	0.92	YES	0.98	YES	0.97
	YES	2.37	YES	3.36	YES	2.99
	YES	0.84	YES	0.98	YES	0.92
	NO	1.10	NO	1.22	NO	1.23
	YES	3.19	YES	3.65	YES	3.31
	NO	3.71	NO	12.46	NO	4.61
	YES	2.13	YES	2.29	YES	2.13
	YES	3.38	YES	4.93	YES	4.48
	NO	0.86	NO	0.92	NO	0.97
	NO	2.57	NO	12.40	NO	2.85
	YES	2.74	YES	3.32	YES	2.93
	NO	4.14	NO	13.53	NO	4.91
	YES	1.52	YES	1.60	YES	1.62
	YES	4.29	YES	7.05	YES	5.26
	NO	0.83	NO	0.96	NO	0.92
	NO	2.39	NO	7.40	NO	2.62
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.86	NO	0.93	NO	0.92
	NO	2.55	NO	5.82	NO	5.89
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	MAYBE	116.52	MAYBE	113.21	MAYBE	119.45
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.87	NO	0.92	NO	0.92
	NO	1.57	NO	1.72	NO	1.71
	YES	2.17	YES	2.68	YES	2.59
	YES	1.34	YES	1.33	YES	1.39
	YES	1.60	YES	1.53	YES	1.55
	YES	4.28	YES	4.56	YES	4.31
	YES	0.92	YES	1.00	YES	0.98
	YES	1.07	YES	1.14	YES	1.24
	YES	4.53	YES	6.23	YES	5.25
	YES	1.67	YES	2.31	YES	1.84
	YES	3.33	YES	4.44	YES	4.34
	YES	5.87	YES	12.26	YES	12.08
	YES	1.10	YES	1.22	YES	1.21
	YES	1.17	YES	1.27	YES	1.19
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	1.09	YES	1.21	YES	1.22
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.91	NO	0.92	NO	0.92
	YES	1.15	YES	1.15	YES	1.15
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	6.74	YES	11.15	YES	9.30
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.88	NO	0.93	NO	0.93
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	9.77	YES	14.56	YES	11.98
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.86	NO	1.05	NO	0.99
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	10.42	NO	20.59	NO	16.33
	YES	2.07	YES	2.21	YES	2.20
	YES	92.74	YES	104.76	YES	100.49
	NO	0.92	NO	0.92	NO	0.93
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	10.16	NO	33.39	NO	15.17
	YES	2.62	YES	2.74	YES	2.74
	YES	14.69	YES	24.95	YES	22.86
	NO	0.86	NO	0.93	NO	0.93
	NO	7.25	NO	27.21	NO	11.00
	NO	10.69	NO	21.26	NO	17.19
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	1.40	NO	1.51	NO	1.45
	NO	1.55	NO	1.66	NO	1.80
	NO	5.89	NO	15.83	NO	6.98
	NO	0.88	NO	0.92	NO	0.98
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	1.59	NO	5.90	NO	1.79
	NO	2.23	NO	2.50	NO	2.42
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.86	NO	0.91	NO	0.99
	NO	1.59	NO	6.79	NO	1.75
	NO	1.29	NO	1.40	NO	1.55
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.94	NO	0.96	NO	0.98
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.94	NO	1.10	NO	1.04
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.87	NO	0.99	NO	1.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.94	NO	1.03	NO	0.98
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	1.37	YES	1.35	YES	1.37
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.87	NO	0.92	NO	0.92
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	1.83	YES	2.06	YES	1.96
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.93	NO	0.94	NO	0.94
	YES	1.85	YES	2.11	YES	2.24
	YES	1.20	YES	1.26	YES	1.26
	YES	8.75	YES	13.45	YES	11.91
	YES	6.24	YES	8.41	YES	8.35
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	12.33	YES	17.77	YES	15.31
	NO	0.87	NO	0.92	NO	0.97
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.86	NO	0.98	NO	0.94
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	6.55	YES	15.41	YES	11.92
	YES	5.38	YES	7.10	YES	6.38
	YES	2.91	YES	4.04	YES	4.10
	YES	3.74	YES	5.17	YES	5.03
	YES	5.78	YES	9.31	YES	8.01
	NO	0.88	NO	0.92	NO	0.92
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	3.72	YES	5.95	YES	5.83
	YES	6.28	YES	7.89	YES	8.01
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.86	NO	1.04	NO	0.94
	YES	3.71	YES	5.59	YES	5.98
	YES	2.86	YES	3.65	YES	3.76
	YES	2.77	YES	3.38	YES	3.24
	YES	1.06	YES	1.15	YES	1.09
	YES	2.23	YES	2.21	YES	2.73
	YES	3.69	YES	4.03	YES	3.65
	NO	0.87	NO	0.93	NO	0.92
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	1.23	YES	1.33	YES	1.36
	YES	3.29	YES	4.14	YES	3.95
	YES	6.74	YES	10.17	YES	12.16
	NO	0.92	NO	0.91	NO	0.99
	YES	1.17	YES	1.33	YES	1.33
	YES	0.98	YES	1.09	YES	1.21
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.88	NO	0.99	NO	0.94
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.89	NO	0.98	NO	1.10
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.86	NO	0.92	NO	0.92
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	18.48	NO	36.91	NO	25.11
	YES	6.47	YES	9.98	YES	8.08
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.87	NO	0.98	NO	0.98
	NO	14.39	NO	31.10	NO	21.49
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	1.84	NO	1.78	NO	1.97
	NO	2.58	NO	5.45	NO	2.95
	NO	12.95	NO	23.07	NO	16.20
	NO	0.88	NO	0.92	NO	0.92
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	2.44	NO	9.12	NO	2.84
	NO	6.67	NO	16.12	NO	10.73
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	0.87	NO	0.98	NO	0.92
	NO	2.17	NO	7.25	NO	2.61
	NO	1.64	NO	1.73	NO	1.86
	YES	11.07	YES	13.87	YES	14.03
	YES	5.40	YES	9.19	YES	8.54
	YES	11.68	YES	16.31	YES	14.49
	YES	48.74	YES	78.92	YES	73.58
	NO	0.86	NO	0.93	NO	0.92
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	4.34	YES	4.40	YES	4.82
	YES	9.70	YES	13.04	YES	15.34
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	19.55	NO	30.51	NO	21.96
	YES	4.42	YES	8.50	YES	10.23
	YES	2.92	YES	3.57	YES	3.31
	YES	2.42	YES	2.63	YES	2.57
	YES	1.84	YES	1.85	YES	1.89
	YES	2.06	YES	2.23	YES	2.25
	YES	2.23	YES	2.47	YES	2.35
	NO	0.81	NO	0.92	NO	0.99
	YES	4.06	YES	4.18	YES	4.20
	YES	1.72	YES	1.79	YES	1.80
	YES	2.06	YES	2.27	YES	2.24
	YES	3.12	YES	3.17	YES	3.31
	NO	3.48	NO	12.57	NO	3.92
	YES	1.77	YES	1.82	YES	1.83
	YES	1.95	YES	2.04	YES	2.06
	YES	1.55	YES	1.66	YES	1.75
	YES	1.05	YES	1.10	YES	1.18
	YES	1.38	YES	1.44	YES	1.54
	YES	1.32	YES	1.58	YES	1.52
	NO	0.87	NO	0.92	NO	0.93
	YES	1.73	YES	1.83	YES	1.85
	YES	1.07	YES	1.30	YES	1.21
	YES	1.40	YES	1.58	YES	1.67
	YES	1.46	YES	1.51	YES	1.51
	YES	0.97	YES	1.20	YES	1.14
	YES	1.04	YES	1.24	YES	1.20
	YES	0.99	YES	1.09	YES	1.14
	YES	5.62	YES	7.78	YES	7.15
	YES	3.32	YES	5.60	YES	5.16
	YES	5.12	YES	7.49	YES	6.43
	YES	16.26	YES	28.33	YES	25.89
	NO	0.86	NO	0.92	NO	0.92
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	6.93	YES	10.66	YES	10.80
	YES	3.87	YES	4.95	YES	4.42
	YES	39.36	YES	51.58	YES	52.55
	NO	0.89	NO	0.94	NO	0.98
	YES	6.29	YES	12.12	YES	8.46
	YES	5.12	YES	6.52	YES	8.05
	YES	3.06	YES	4.02	YES	3.89
	YES	2.30	YES	2.63	YES	2.19
	YES	3.26	YES	3.44	YES	4.65
	YES	4.86	YES	12.31	YES	11.56
	NO	0.86	NO	0.92	NO	0.98
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	1.77	YES	1.82	YES	2.31
	YES	3.53	YES	3.19	YES	4.00
	YES	10.29	YES	19.81	YES	19.58
	NO	0.87	NO	0.93	NO	0.92
	YES	2.15	YES	2.50	YES	2.27
	YES	2.88	YES	2.62	YES	2.56
	YES	1.78	YES	1.98	YES	1.84
	YES	0.96	YES	1.04	YES	1.04
	YES	1.29	YES	1.39	YES	1.49
	YES	1.46	YES	1.54	YES	1.61
	NO	0.87	NO	0.92	NO	0.97
	YES	1.61	YES	1.66	YES	1.63
	YES	1.15	YES	1.21	YES	1.21
	YES	1.39	YES	1.54	YES	1.45
	YES	1.65	YES	1.74	YES	1.73
	NO	0.86	NO	0.92	NO	0.91
	YES	1.23	YES	1.20	YES	1.27
	YES	0.98	YES	1.03	YES	1.04
	YES	0.98	YES	0.98	YES	1.04
	YES	0.91	YES	0.98	YES	0.99
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	1.09	YES	1.15	YES	1.25
	YES	0.92	YES	1.09	YES	1.10
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	1.15	YES	1.20	YES	1.15
	YES	1.59	YES	1.66	YES	1.72
	YES	1.03	YES	1.06	YES	1.05
	YES	1.20	YES	1.33	YES	1.38
	YES	1.50	YES	1.61	YES	1.61
	YES	2.62	YES	2.63	YES	2.88
	YES	1.22	YES	1.30	YES	1.30
	YES	1.08	YES	1.13	YES	1.10
	YES	1.14	YES	1.27	YES	1.26
	YES	0.87	YES	0.98	YES	0.98
	YES	1.31	YES	1.54	YES	1.51
	YES	0.92	YES	1.03	YES	1.03
	YES	1.01	YES	1.14	YES	1.10
	YES	1.25	YES	1.31	YES	1.26
	YES	0.97	YES	1.10	YES	1.04
	YES	1.25	YES	1.34	YES	1.34
	YES	0.93	YES	1.03	YES	1.03
	YES	15.15	YES	20.37	YES	20.21
	YES	15.18	YES	20.16	YES	20.43
	YES	1.25	YES	1.82	YES	1.88
	YES	1.34	YES	5.47	YES	6.55
	YES	8.26	YES	9.18	YES	9.26
	MAYBE	19.28	MAYBE	20.42	MAYBE	20.13
	NO	1.52	NO	4.59	NO	5.29
	MAYBE	32.39	MAYBE	38.57	MAYBE	39.28
	MAYBE	15.33	MAYBE	20.93	MAYBE	20.34
	NO	1.39	NO	3.19	NO	3.06
	MAYBE	16.02	MAYBE	20.89	MAYBE	20.99
	NO	1.33	NO	2.59	NO	2.94
	MAYBE	15.74	MAYBE	20.68	MAYBE	20.80
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	NO	2.01	NO	3.86	NO	3.43
	YES	1.10	YES	1.22	YES	1.17
	YES	1.13	YES	1.20	YES	1.26
	YES	9.39	YES	12.12	YES	16.03
	YES	1.78	YES	2.12	YES	1.83
	YES	1.78	YES	2.37	YES	2.75
	YES	0.98	YES	1.09	YES	1.15
	YES	1.09	YES	1.10	YES	1.09
	YES	1.03	YES	1.16	YES	1.17
	YES	1.03	YES	1.18	YES	1.08
	YES	0.99	YES	1.10	YES	1.15
	YES	1.03	YES	1.09	YES	1.09
	YES	1.03	YES	1.15	YES	1.15
	YES	1.05	YES	1.15	YES	1.15
	YES	1.03	YES	1.14	YES	1.16
	YES	1.03	YES	1.09	YES	1.09
	YES	1.01	YES	1.08	YES	1.10
	YES	1.31	YES	1.44	YES	1.36
	YES	0.98	YES	1.03	YES	1.06
	YES	1.03	YES	1.14	YES	1.10
	YES	1.03	YES	1.16	YES	1.14
	YES	1.03	YES	1.15	YES	1.15
	YES	1.03	YES	1.10	YES	1.09
	YES	1.02	YES	1.13	YES	1.15
	YES	1.03	YES	1.15	YES	1.15
	YES	1.04	YES	1.10	YES	1.14
	YES	1.03	YES	1.09	YES	1.13
	YES	1.03	YES	1.14	YES	1.14
	YES	1.02	YES	1.14	YES	1.21
	YES	1.08	YES	1.14	YES	1.15
	YES	1.03	YES	1.18	YES	1.15
	YES	1.03	YES	1.15	YES	1.15
	YES	1.03	YES	1.14	YES	1.16
	YES	1.04	YES	1.12	YES	1.17
	YES	1.07	YES	1.14	YES	1.15
	YES	0.99	YES	1.09	YES	1.09
	YES	1.03	YES	1.15	YES	1.15
	YES	1.04	YES	1.15	YES	1.20
	YES	1.03	YES	1.14	YES	1.11
	YES	0.97	YES	1.05	YES	1.03
	YES	1.20	YES	1.45	YES	1.50
	YES	0.97	YES	1.15	YES	1.09
	YES	0.98	YES	1.08	YES	1.05
	YES	1.03	YES	1.18	YES	1.09
	YES	1.03	YES	1.14	YES	1.10
	YES	1.04	YES	1.10	YES	1.08
	YES	1.04	YES	1.21	YES	1.14
	YES	1.09	YES	1.15	YES	1.14
	YES	1.04	YES	1.04	YES	1.11
	YES	0.94	YES	1.04	YES	1.03
	YES	1.08	YES	1.25	YES	1.19
	YES	1.14	YES	1.21	YES	1.25
	YES	2.69	YES	3.56	YES	3.12
	YES	1.31	YES	1.32	YES	1.39
	YES	1.00	YES	1.05	YES	1.09
	YES	1.15	YES	1.31	YES	1.26
	YES	1.10	YES	1.21	YES	1.15
	YES	1.51	YES	1.58	YES	1.84
	YES	1.15	YES	1.20	YES	1.21
	MAYBE	78.79	MAYBE	77.69	MAYBE	74.60
	MAYBE	109.49	MAYBE	106.82	MAYBE	110.34
	YES	1.27	YES	1.33	YES	1.33
	YES	1.32	YES	1.48	YES	1.38
	YES	1.11	YES	1.16	YES	1.22
	YES	1.08	YES	1.22	YES	1.20
	YES	1.04	YES	1.16	YES	1.18
	YES	1.03	YES	1.16	YES	1.15
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	1.15	YES	1.22	YES	1.18
	YES	16.50	YES	18.88	YES	18.45
	MAYBE	88.33	MAYBE	93.04	MAYBE	91.87
	YES	18.81	YES	24.14	YES	24.18
	YES	18.25	YES	23.22	YES	22.49
	YES	1.09	YES	1.22	YES	1.18
	YES	1.28	YES	1.37	YES	1.32
	YES	1.21	YES	1.31	YES	1.34
	YES	1.88	YES	2.47	YES	2.33
	YES	8.22	YES	8.24	YES	8.89
	YES	1.78	YES	2.08	YES	2.28
	YES	1.24	YES	1.31	YES	1.26
	YES	1.39	YES	1.54	YES	1.48
	MAYBE	118.41	MAYBE	104.17	MAYBE	105.41
	YES	1.80	YES	1.96	YES	2.08
	YES	1.50	YES	1.92	YES	1.84
	MAYBE	28.82	MAYBE	34.28	MAYBE	36.19
	YES	3.38	YES	1.37	YES	1.43
	KILLED	120.00	KILLED	120.00	KILLED	120.00
	YES	1.33	YES	1.59	YES	1.33