Example	TCT		AProVE RNTS		AProVE 2016		AProVE 2017
	MAYBE	295.38	O(n^4)	110.28	TIMEOUT	300	O(n^4)	300
	O(n^3)	295.26	O(n^3)	5.84	O(n^3)	6.45	O(n^3)	8.73
	MAYBE	295.35	MAYBE	216.26	TIMEOUT	300	TIMEOUT	300
	O(n^1)	7.15	O(n^1)	4.48	O(n^1)	6.26	O(n^1)	6.85
	O(n^3)	9.72	O(n^3)	5.31	O(n^3)	3.72	O(n^3)	5.02
	O(n^2)	295.19	O(n^2)	6.59	O(n^2)	6.29	O(n^2)	9.11
	O(n^2)	295.35	O(n^2)	5.95	O(n^2)	6.31	O(n^2)	8.89
	MAYBE	295.23	O(n^1)	7.59	TIMEOUT	300	O(n^1)	299.93
	MAYBE	19.31	O(n^1)	7.14	MAYBE	234.4	O(n^1)	263.83
	O(n^1)	0.44	O(n^1)	4.79	O(n^2)	2.22	O(n^1)	4.86
	O(n^2)	2.5	O(n^2)	4.33	O(n^2)	2.32	O(n^2)	4.46
	O(n^1)	0.16	MAYBE	2.05	O(n^1)	2.13	O(n^1)	2.15
	O(n^1)	0.42	MAYBE	2.12	O(n^1)	2.08	O(n^1)	2.2
	MAYBE	295.17	MAYBE	2.09	TIMEOUT	300	MAYBE	299.81
	O(1)	0.09	O(1)	2.13	O(1)	1.71	O(1)	1.88
	O(n^2)	12.99	O(n^1)	5.19	O(n^2)	2.29	O(n^1)	5.66
	MAYBE	4.23	MAYBE	2.03	MAYBE	3.79	MAYBE	3.94
	O(1)	0.41	MAYBE	13.82	O(1)	1.8	O(1)	1.98
	O(n^1)	0.22	O(n^1)	3.51	O(n^1)	1.91	O(n^1)	3.63
	MAYBE	36.07	MAYBE	2.25	TIMEOUT	300	TIMEOUT	300
	O(n^1)	0.37	O(n^1)	4.24	O(n^1)	2.19	O(n^1)	4.55
	MAYBE	295.15	MAYBE	2.39	TIMEOUT	300	TIMEOUT	300
	O(n^1)	5.77	O(n^1)	5.71	O(n^2)	2.31	O(n^1)	6.01
	O(n^2)	43.05	O(n^1)	5.72	O(n^2)	2.32	O(n^1)	6.08
	O(n^2)	2.05	O(n^1)	3.7	O(n^1)	1.99	O(n^1)	3.74
	O(n^2)	40.46	O(n^1)	4.71	O(n^2)	2.48	O(n^1)	5.01
	O(n^2)	2.05	MAYBE	2.16	O(n^1)	2.49	O(n^1)	30.33
	O(n^2)	294.29	MAYBE	2.65	O(n^2)	2.07	O(n^2)	2.65
	MAYBE	295.17	MAYBE	69.83	TIMEOUT	300	MAYBE	299.92
	MAYBE	14.97	MAYBE	1.86	TIMEOUT	300	TIMEOUT	300
	O(n^1)	1.13	MAYBE	8.76	O(n^1)	1.89	O(n^1)	4.43
	O(n^1)	0.44	O(n^1)	3.03	O(n^1)	2.03	O(n^1)	3.16
	O(1)	0.1	O(1)	2.19	O(1)	1.7	O(1)	1.87
	O(n^1)	0.64	O(n^1)	3.75	O(n^1)	1.97	O(n^1)	3.78
	O(n^3)	295.21	O(n^3)	11.13	O(n^3)	5.83	O(n^3)	13.03
	MAYBE	295.15	MAYBE	2.12	TIMEOUT	300	MAYBE	299.96
	MAYBE	295.29	MAYBE	77.2	TIMEOUT	300	TIMEOUT	300
	O(n^1)	1.08	MAYBE	11.88	O(n^1)	2.13	O(n^1)	5.51
	MAYBE	295.07	MAYBE	1.94	TIMEOUT	300	MAYBE	300.0
	O(n^2)	20.93	O(n^1)	8.61	O(n^2)	2.71	O(n^1)	8.9
	O(n^3)	95.96	O(n^3)	8.21	O(n^3)	6.54	O(n^3)	9.93
	O(n^2)	6.69	O(n^1)	7.53	O(n^2)	2.86	O(n^1)	8.17
	O(n^2)	8.6	O(n^1)	10.62	O(n^2)	2.95	O(n^1)	11.26
	O(n^3)	83.46	O(n^3)	9.99	O(n^3)	6.72	O(n^3)	11.94
	O(n^2)	24.96	O(n^1)	9.52	O(n^2)	3.01	O(n^1)	10.3
	O(n^1)	7.05	O(n^1)	3.72	O(n^2)	5.42	O(n^1)	7.01
	O(n^2)	25.94	O(n^1)	6.27	O(n^2)	3.49	O(n^1)	7.74
	O(n^4)	211.08	O(n^3)	7.33	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.04	O(n^1)	60.9	TIMEOUT	300	O(n^1)	299.95
	MAYBE	295.19	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.17	O(n^2)	205.31	TIMEOUT	300	O(n^2)	299.96
	MAYBE	103.07	MAYBE	19.4	TIMEOUT	300	TIMEOUT	300
	O(n^2)	11.07	O(n^2)	7.53	O(n^2)	2.59	O(n^2)	8.55
	TIMEOUT	300	O(n^3)	11.78	TIMEOUT	300	O(n^3)	300
	O(n^1)	294.26	O(n^1)	4.71	O(n^1)	2.01	O(n^1)	5.04
	TIMEOUT	300	O(n^4)	16.34	TIMEOUT	300	TIMEOUT	300
	MAYBE	298.72	O(n^4)	16.18	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.1	MAYBE	9.85	O(n^1)	2.6	O(n^1)	6.03
	O(n^1)	44.88	MAYBE	3.12	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.15	MAYBE	1.95	TIMEOUT	300	TIMEOUT	300
	O(n^2)	102.81	MAYBE	1.88	TIMEOUT	300	TIMEOUT	300
	O(n^1)	5.63	O(n^1)	4.62	O(n^1)	2.11	O(n^1)	4.75
	MAYBE	295.37	MAYBE	2.11	TIMEOUT	300	TIMEOUT	300
	O(n^1)	295.22	MAYBE	1.94	O(n^1)	68.89	O(n^1)	74.74
	O(n^1)	296.89	MAYBE	2.01	O(n^1)	3.87	O(n^1)	4.59
	MAYBE	295.74	MAYBE	65.59	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.33	MAYBE	2.73	TIMEOUT	300	TIMEOUT	300
	MAYBE	3.72	MAYBE	37.29	MAYBE	4.26	MAYBE	9.43
	MAYBE	7.66	MAYBE	2.36	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.08	O(n^2)	145.89	TIMEOUT	300	O(n^2)	299.88
	MAYBE	295.3	O(n^2)	145.67	TIMEOUT	300	O(n^2)	299.91
	MAYBE	295.25	MAYBE	29.04	TIMEOUT	300	TIMEOUT	300
	MAYBE	31.01	MAYBE	64.56	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.3	MAYBE	69.43	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.04	O(n^2)	81.0	TIMEOUT	300	O(n^2)	300
	MAYBE	36.01	O(n^1)	26.77	TIMEOUT	300	O(n^1)	299.99
	MAYBE	295.1	MAYBE	30.29	TIMEOUT	300	MAYBE	299.92
	MAYBE	295.11	MAYBE	123.92	TIMEOUT	300	TIMEOUT	300
	MAYBE	79.72	O(n^1)	35.43	TIMEOUT	300	O(n^1)	299.88
	MAYBE	41.79	MAYBE	47.21	O(n^2)	3.4	O(n^2)	17.26
	MAYBE	295.08	MAYBE	11.83	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.4	MAYBE	29.47	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.2	MAYBE	8.66	O(n^1)	3.09	O(n^1)	6.31
	TIMEOUT	300	O(n^4)	17.77	TIMEOUT	300	TIMEOUT	300
	O(1)	0.43	O(1)	2.17	O(1)	1.8	O(1)	1.96
	MAYBE	295.51	MAYBE	58.99	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.15	O(n^2)	81.16	TIMEOUT	300	O(n^2)	300
	MAYBE	295.34	TIMEOUT	300	TIMEOUT	300	O(n^1)	300
	MAYBE	300	O(n^2)	98.61	TIMEOUT	300	O(n^2)	300
	MAYBE	30.96	O(n^2)	47.44	TIMEOUT	300	O(n^2)	299.81
	MAYBE	61.01	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.34	O(n^1)	10.27	O(n^2)	6.7	O(n^1)	11.11
	TIMEOUT	300	O(n^2)	138.41	TIMEOUT	300	O(n^2)	300.0
	MAYBE	43.02	O(n^2)	46.82	TIMEOUT	300	O(n^2)	299.86
	MAYBE	41.49	MAYBE	99.36	TIMEOUT	300	TIMEOUT	300
	MAYBE	85.56	MAYBE	84.35	TIMEOUT	300	TIMEOUT	300
	MAYBE	172.21	MAYBE	111.52	TIMEOUT	300	TIMEOUT	300
	MAYBE	50.97	MAYBE	48.59	TIMEOUT	300	TIMEOUT	300
	MAYBE	48.79	MAYBE	23.18	TIMEOUT	300	MAYBE	299.98
	MAYBE	181.39	O(n^2)	84.77	TIMEOUT	300	O(n^2)	299.86
	MAYBE	101.22	O(n^2)	13.35	TIMEOUT	300	O(n^2)	300
	MAYBE	295.15	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.32	O(n^3)	10.53	TIMEOUT	300	O(n^3)	300
	MAYBE	295.49	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	151.77	O(n^2)	27.04	TIMEOUT	300	O(n^2)	300
	MAYBE	111.99	O(n^1)	51.36	TIMEOUT	300	O(n^1)	300
	MAYBE	295.2	MAYBE	64.15	TIMEOUT	300	TIMEOUT	300
	MAYBE	52.5	MAYBE	2.41	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.14	MAYBE	2.0	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.16	O(n^1)	7.78	O(n^2)	93.27	O(n^1)	48.01
	MAYBE	295.06	O(n^2)	13.83	TIMEOUT	300	O(n^2)	300
	MAYBE	295.14	O(n^2)	8.89	TIMEOUT	300	O(n^2)	299.84
	MAYBE	295.11	O(n^2)	113.85	TIMEOUT	300	O(n^2)	299.93
	TIMEOUT	300	MAYBE	49.97	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.17	O(n^2)	10.28	TIMEOUT	300	O(n^2)	299.87
	MAYBE	295.32	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.17	MAYBE	72.76	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.18	O(n^3)	35.73	TIMEOUT	300	O(n^3)	300
	MAYBE	295.13	MAYBE	47.41	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.12	O(n^2)	55.57	TIMEOUT	300	O(n^2)	299.85
	MAYBE	295.07	MAYBE	94.29	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.2	MAYBE	89.4	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.47	O(n^1)	27.07	TIMEOUT	300	O(n^1)	299.98
	MAYBE	32.08	MAYBE	72.05	TIMEOUT	300	TIMEOUT	300
	MAYBE	23.35	MAYBE	97.63	TIMEOUT	300	TIMEOUT	300
	MAYBE	47.1	O(n^1)	13.39	O(n^2)	80.03	O(n^1)	105.31
	MAYBE	21.26	O(n^2)	48.47	TIMEOUT	300	O(n^2)	299.81
	MAYBE	295.14	O(n^1)	9.19	O(n^2)	113.32	O(n^1)	136.28
	MAYBE	295.27	MAYBE	97.23	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.32	MAYBE	71.55	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.07	O(n^2)	118.72	TIMEOUT	300	O(n^2)	300
	MAYBE	134.25	MAYBE	86.11	TIMEOUT	300	TIMEOUT	300
	MAYBE	76.3	MAYBE	2.4	TIMEOUT	300	TIMEOUT	300
	MAYBE	151.65	O(n^2)	73.37	TIMEOUT	300	O(n^2)	299.88
	MAYBE	295.34	O(n^2)	124.33	TIMEOUT	300	O(n^2)	299.86
	MAYBE	295.31	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	69.2	O(n^2)	71.77	TIMEOUT	300	O(n^2)	299.93
	MAYBE	12.3	O(n^1)	9.27	O(n^1)	3.01	O(n^1)	10.17
	MAYBE	295.12	MAYBE	60.47	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.28	MAYBE	123.25	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.2	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.27	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.18	MAYBE	118.33	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.18	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.21	MAYBE	122.7	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.18	MAYBE	118.45	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.19	MAYBE	2.0	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.23	MAYBE	2.03	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.18	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	178.67	MAYBE	43.81	TIMEOUT	300	TIMEOUT	300
	MAYBE	298.21	MAYBE	99.44	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.36	MAYBE	75.62	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.43	MAYBE	28.07	TIMEOUT	300	TIMEOUT	300
	MAYBE	299.36	MAYBE	69.24	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.19	MAYBE	114.69	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.38	MAYBE	89.25	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.13	MAYBE	16.3	TIMEOUT	300	MAYBE	299.87
	MAYBE	277.69	O(n^1)	16.97	TIMEOUT	300	O(n^1)	299.73
	MAYBE	295.12	O(n^2)	80.35	TIMEOUT	300	O(n^2)	299.79
	MAYBE	295.55	O(n^3)	71.63	TIMEOUT	300	O(n^3)	299.91
	MAYBE	295.09	O(n^3)	67.51	TIMEOUT	300	O(n^3)	299.99
	MAYBE	295.54	O(n^3)	132.48	TIMEOUT	300	O(n^3)	300
	MAYBE	295.07	O(n^1)	33.29	TIMEOUT	300	O(n^1)	299.97
	MAYBE	65.78	O(n^3)	95.91	TIMEOUT	300	O(n^3)	299.9
	MAYBE	295.28	O(n^1)	13.76	TIMEOUT	300	O(n^1)	299.87
	MAYBE	87.95	MAYBE	60.06	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.41	MAYBE	84.58	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.36	MAYBE	98.09	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.08	O(n^3)	53.44	TIMEOUT	300	O(n^3)	300
	MAYBE	295.17	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.21	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.15	MAYBE	51.52	TIMEOUT	300	TIMEOUT	300
	MAYBE	41.33	O(n^2)	35.91	TIMEOUT	300	O(n^2)	299.9
	MAYBE	295.08	O(n^2)	14.65	O(n^2)	63.61	O(n^2)	65.06
	MAYBE	206.42	O(n^2)	58.42	TIMEOUT	300	O(n^2)	299.78
	MAYBE	294.8	O(n^2)	57.73	TIMEOUT	300	O(n^2)	299.82
	MAYBE	295.14	O(n^2)	56.67	TIMEOUT	300	O(n^2)	299.89
	MAYBE	30.26	O(n^2)	61.36	TIMEOUT	300	O(n^2)	299.79
	MAYBE	295.35	O(n^2)	27.91	O(n^2)	201.98	O(n^2)	240.08
	MAYBE	295.23	O(n^2)	56.57	TIMEOUT	300	O(n^2)	300
	MAYBE	295.21	O(n^2)	53.29	TIMEOUT	300	O(n^2)	299.91
	MAYBE	295.2	O(n^1)	13.64	TIMEOUT	300	O(n^1)	300
	MAYBE	295.12	O(n^2)	16.91	TIMEOUT	300	O(n^2)	300
	MAYBE	28.41	O(n^2)	5.08	O(n^2)	76.2	O(n^2)	95.06
	MAYBE	295.19	O(n^1)	10.17	O(n^1)	184.07	O(n^1)	186.85
	MAYBE	295.17	O(n^2)	106.12	TIMEOUT	300	O(n^2)	300
	MAYBE	295.06	O(n^1)	6.84	O(n^2)	60.55	O(n^1)	60.89
	MAYBE	166.53	O(n^2)	11.71	O(n^2)	265.73	O(n^2)	254.7
	MAYBE	295.18	O(n^1)	12.93	O(n^2)	163.54	O(n^1)	176.48
	MAYBE	71.04	O(n^2)	5.37	O(n^2)	57.25	O(n^2)	56.46
	MAYBE	55.52	O(n^1)	64.33	TIMEOUT	300	O(n^1)	299.82
	MAYBE	21.42	O(n^1)	17.57	TIMEOUT	300	O(n^1)	299.72
	MAYBE	115.09	O(n^2)	14.96	TIMEOUT	300	O(n^2)	300
	MAYBE	28.37	O(n^2)	4.44	O(n^2)	47.6	O(n^2)	60.5
	MAYBE	295.46	O(n^2)	5.39	O(n^2)	132.4	O(n^2)	119.55
	MAYBE	298.79	O(n^1)	6.63	TIMEOUT	300	O(n^1)	299.94
	MAYBE	295.16	O(n^2)	11.22	TIMEOUT	300	O(n^2)	299.98
	MAYBE	89.52	MAYBE	2.49	TIMEOUT	300	TIMEOUT	300
	MAYBE	10.33	O(n^1)	7.55	O(n^1)	2.27	O(n^1)	7.91
	MAYBE	295.13	MAYBE	22.83	MAYBE	7.22	MAYBE	9.43
	O(n^1)	0.46	O(n^1)	5.68	O(n^1)	1.94	O(n^1)	5.92
	MAYBE	295.3	MAYBE	2.26	TIMEOUT	300	TIMEOUT	300
	O(1)	1.24	MAYBE	7.9	O(1)	1.75	O(1)	2.0
	MAYBE	295.16	MAYBE	19.01	TIMEOUT	300	TIMEOUT	300
	MAYBE	57.46	MAYBE	3.0	TIMEOUT	300	TIMEOUT	300
	MAYBE	67.94	MAYBE	3.17	TIMEOUT	300	TIMEOUT	300
	MAYBE	185.45	MAYBE	2.96	TIMEOUT	300	TIMEOUT	300
	O(n^4)	51.48	O(n^2)	14.2	O(n^2)	3.68	O(n^2)	15.36
	MAYBE	30.12	MAYBE	2.01	TIMEOUT	300	TIMEOUT	300
	MAYBE	22.64	MAYBE	1.97	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.32	MAYBE	1.94	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.15	MAYBE	2.04	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.26	MAYBE	1.93	TIMEOUT	300	TIMEOUT	300
	MAYBE	20.28	MAYBE	69.56	TIMEOUT	300	TIMEOUT	300
	MAYBE	300	MAYBE	2.1	TIMEOUT	300	TIMEOUT	300
	O(n^2)	252.74	O(n^2)	28.51	O(n^2)	4.17	O(n^2)	30.06
	MAYBE	295.09	O(n^2)	62.37	TIMEOUT	300	O(n^2)	300
	MAYBE	295.48	TIMEOUT	300	O(n^1)	10.85	O(n^1)	300
	TIMEOUT	300	MAYBE	2.12	TIMEOUT	300	TIMEOUT	300
	MAYBE	298.11	MAYBE	2.07	TIMEOUT	300	TIMEOUT	300
	O(n^4)	295.58	MAYBE	2.03	TIMEOUT	300	TIMEOUT	300
	O(n^1)	0.2	O(n^1)	2.86	O(n^1)	1.84	O(n^1)	3.02
	O(n^1)	0.4	O(n^1)	3.27	O(n^1)	1.98	O(n^1)	3.47
	O(n^1)	1.99	O(n^1)	3.41	O(n^2)	1.96	O(n^1)	3.61
	O(n^1)	28.26	O(n^1)	8.3	O(n^1)	2.27	O(n^1)	8.37
	MAYBE	14.17	MAYBE	13.01	O(n^2)	2.31	O(n^2)	8.02
	O(n^1)	0.14	O(n^1)	2.94	O(n^1)	1.87	O(n^1)	2.93
	MAYBE	26.5	MAYBE	1.9	TIMEOUT	300	TIMEOUT	300
	MAYBE	70.9	MAYBE	13.5	TIMEOUT	300	MAYBE	299.93
	O(n^1)	0.39	O(n^1)	3.35	O(n^1)	1.94	O(n^1)	3.65
	O(n^1)	3.65	EXP	20.98	O(n^1)	1.99	O(n^1)	21.27
	O(n^2)	56.52	O(n^3)	7.98	O(n^2)	2.78	O(n^2)	8.39
	MAYBE	295.26	MAYBE	28.44	O(n^1)	1.94	O(n^2)	8.14
	O(n^1)	8.3	MAYBE	58.91	O(n^1)	300	O(n^1)	300
	MAYBE	294.83	MAYBE	2.23	TIMEOUT	300	MAYBE	299.96
	O(n^1)	0.42	O(n^1)	4.9	O(n^1)	2.07	O(n^1)	5.24
	O(n^1)	0.46	O(n^1)	4.26	O(n^1)	1.99	O(n^1)	4.47
	O(n^1)	0.31	O(n^1)	3.68	O(n^1)	1.97	O(n^1)	3.9
	O(n^1)	0.13	O(n^1)	3.75	O(n^1)	1.88	O(n^1)	3.77
	MAYBE	28.82	MAYBE	3.01	MAYBE	88.62	MAYBE	2.89
	MAYBE	7.7	MAYBE	2.18	TIMEOUT	300	MAYBE	299.89
	MAYBE	64.53	MAYBE	123.97	TIMEOUT	300	TIMEOUT	300
	O(n^1)	99.12	O(n^1)	4.07	O(n^1)	1.95	O(n^1)	4.31
	O(n^1)	2.68	O(n^1)	9.23	O(n^1)	2.55	O(n^1)	9.44
	MAYBE	14.76	MAYBE	196.83	TIMEOUT	300	MAYBE	11.52
	O(n^1)	0.2	O(n^1)	3.55	O(n^1)	1.96	O(n^1)	3.51
	MAYBE	96.48	MAYBE	12.33	MAYBE	5.25	MAYBE	9.42
	O(n^1)	0.29	O(n^1)	4.66	O(n^1)	1.97	O(n^1)	4.53
	O(n^1)	0.39	O(n^1)	7.29	O(n^1)	2.05	O(n^1)	7.16
	O(n^1)	1.28	O(n^1)	6.28	O(n^1)	2.41	O(n^1)	6.57
	MAYBE	295.17	O(n^3)	127.34	TIMEOUT	300	O(n^3)	126.38
	MAYBE	295.23	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	102.96	MAYBE	12.29	TIMEOUT	300	MAYBE	299.86
	MAYBE	8.51	MAYBE	43.67	MAYBE	3.98	MAYBE	6.11
	MAYBE	296.06	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	175.55	MAYBE	227.71	TIMEOUT	300	MAYBE	228.17
	MAYBE	7.05	MAYBE	16.11	TIMEOUT	300	MAYBE	299.8
	O(n^1)	0.29	O(n^1)	3.85	O(n^1)	1.86	O(n^1)	4.07
	O(n^1)	0.91	O(n^1)	6.98	O(n^1)	2.0	O(n^1)	6.91
	O(n^1)	0.48	O(n^1)	8.32	O(n^1)	2.06	O(n^1)	8.16
	O(n^1)	1.07	O(n^1)	7.53	O(n^2)	2.33	O(n^1)	7.45
	O(n^1)	1.61	O(n^1)	13.08	O(n^2)	2.59	O(n^1)	13.0
	MAYBE	110.68	MAYBE	64.1	TIMEOUT	300	MAYBE	25.52
	MAYBE	54.22	MAYBE	109.01	TIMEOUT	300	MAYBE	26.13
	O(n^3)	7.27	O(n^3)	6.76	O(n^3)	2.65	O(n^3)	7.13
	O(n^3)	6.56	O(n^3)	5.47	O(n^3)	2.52	O(n^3)	5.74
	O(n^2)	294.89	O(n^2)	5.27	O(n^2)	5.45	O(n^2)	8.72
	O(n^1)	55.58	O(n^1)	6.42	O(n^1)	2.39	O(n^1)	6.48
	MAYBE	51.54	MAYBE	12.87	MAYBE	6.61	MAYBE	9.92
	MAYBE	96.28	MAYBE	14.29	TIMEOUT	300	MAYBE	299.8
	MAYBE	50.39	MAYBE	14.27	TIMEOUT	300	MAYBE	299.87
	O(n^1)	7.19	O(n^1)	22.33	O(n^2)	3.29	O(n^1)	22.3
	O(n^1)	2.16	O(n^1)	7.54	O(n^2)	2.35	O(n^1)	7.67
	O(n^1)	1.42	O(n^1)	7.63	O(n^2)	2.37	O(n^1)	7.57
	O(n^2)	8.32	O(n^2)	10.54	O(n^3)	4.49	O(n^2)	10.71
	MAYBE	49.2	MAYBE	80.86	TIMEOUT	300	MAYBE	28.01
	MAYBE	295.21	MAYBE	39.71	TIMEOUT	300	TIMEOUT	300
	MAYBE	39.61	MAYBE	15.71	TIMEOUT	300	MAYBE	299.98
	MAYBE	249.84	MAYBE	192.45	TIMEOUT	300	MAYBE	50.69
	O(n^1)	7.04	O(n^1)	3.79	O(n^1)	1.95	O(n^1)	3.93
	O(n^2)	3.44	O(n^2)	6.17	O(n^2)	2.29	O(n^2)	6.4
	O(n^3)	295.06	O(n^3)	5.73	O(n^3)	5.74	O(n^3)	9.15
	MAYBE	7.03	MAYBE	23.12	MAYBE	6.39	MAYBE	8.95
	MAYBE	56.02	MAYBE	22.37	TIMEOUT	300	MAYBE	6.89
	MAYBE	295.38	MAYBE	57.22	TIMEOUT	300	MAYBE	15.42
	MAYBE	92.46	MAYBE	175.95	TIMEOUT	300	MAYBE	57.91
	MAYBE	297.97	MAYBE	48.68	TIMEOUT	300	MAYBE	20.68
	O(n^1)	0.13	O(n^1)	4.41	O(n^1)	2.0	O(n^1)	4.54
	MAYBE	27.06	MAYBE	5.91	MAYBE	78.66	MAYBE	5.88
	O(n^1)	6.75	O(n^1)	20.73	O(n^1)	2.57	O(n^1)	21.53
	O(n^2)	295.2	O(n^2)	15.9	O(n^3)	4.92	O(n^2)	15.69
	MAYBE	7.03	MAYBE	7.36	MAYBE	5.01	MAYBE	5.91
	O(n^1)	0.42	O(n^1)	11.07	O(n^1)	2.24	O(n^1)	11.39
	O(n^1)	0.17	O(n^1)	4.29	O(n^1)	1.97	O(n^1)	4.45
	O(n^1)	0.53	O(n^1)	10.91	O(n^2)	2.06	O(n^1)	11.01
	O(n^1)	0.52	O(n^1)	10.96	O(n^1)	2.17	O(n^1)	11.16
	O(n^1)	0.33	O(n^1)	3.17	O(n^1)	1.97	O(n^1)	3.23
	O(n^1)	0.66	O(n^1)	4.0	O(n^1)	2.16	O(n^1)	4.24
	MAYBE	17.52	MAYBE	76.38	TIMEOUT	300	TIMEOUT	300
	MAYBE	19.74	MAYBE	86.18	TIMEOUT	300	TIMEOUT	300
	MAYBE	138.17	MAYBE	100.69	O(n^2)	14.16	MAYBE	18.85
	O(n^1)	26.73	O(n^1)	46.65	O(n^2)	7.95	O(n^1)	46.52
	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.88	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	296.47	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	296.03	TIMEOUT	300	TIMEOUT	300	MAYBE	244.91
	O(n^2)	295.16	O(n^2)	8.14	O(n^2)	3.1	O(n^2)	8.34
	O(n^2)	295.17	O(n^2)	8.29	O(n^2)	3.31	O(n^2)	8.41
	O(n^2)	6.25	O(n^2)	21.23	O(n^3)	4.13	O(n^2)	21.36
	MAYBE	41.38	MAYBE	108.67	TIMEOUT	300	MAYBE	26.06
	O(n^1)	0.23	O(n^1)	3.88	O(n^1)	1.92	O(n^1)	3.88
	O(n^1)	0.22	O(n^1)	3.5	O(n^1)	1.92	O(n^1)	3.62
	O(n^1)	0.28	O(n^1)	3.45	O(n^1)	1.94	O(n^1)	3.6
	O(n^1)	0.15	O(n^1)	2.89	O(n^1)	1.85	O(n^1)	2.95
	MAYBE	45.36	MAYBE	17.65	TIMEOUT	300	MAYBE	6.74
	O(n^2)	50.13	O(n^2)	20.28	TIMEOUT	300	O(n^2)	20.35
	MAYBE	295.28	MAYBE	145.87	TIMEOUT	300	MAYBE	25.12
	MAYBE	295.25	MAYBE	7.78	TIMEOUT	300	MAYBE	7.91
	MAYBE	295.85	O(n^4)	216.61	TIMEOUT	300	O(n^4)	216.62
	O(n^2)	19.99	O(n^2)	28.66	O(n^2)	4.66	O(n^2)	28.87
	O(n^1)	3.3	O(n^1)	14.45	O(n^1)	2.95	O(n^1)	13.91
	MAYBE	38.18	O(n^2)	50.22	TIMEOUT	300	O(n^2)	299.75
	MAYBE	148.1	O(n^2)	49.46	TIMEOUT	300	O(n^2)	299.88
	MAYBE	15.02	O(n^2)	51.58	TIMEOUT	300	O(n^2)	299.82
	MAYBE	295.2	O(n^2)	58.45	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.42	O(n^2)	92.84	TIMEOUT	300	O(n^2)	300
	MAYBE	295.13	O(n^2)	102.15	TIMEOUT	300	O(n^2)	299.9
	MAYBE	295.12	O(n^2)	107.02	TIMEOUT	300	O(n^2)	300
	MAYBE	295.15	O(n^2)	72.91	TIMEOUT	300	O(n^2)	300
	MAYBE	295.14	O(n^2)	76.94	TIMEOUT	300	O(n^2)	300
	MAYBE	88.77	O(n^2)	54.82	TIMEOUT	300	O(n^2)	299.9
	MAYBE	295.25	O(n^2)	58.82	TIMEOUT	300	O(n^2)	299.93
	MAYBE	20.72	MAYBE	83.55	TIMEOUT	300	TIMEOUT	300
	MAYBE	47.01	O(n^2)	85.51	TIMEOUT	300	O(n^2)	299.89
	MAYBE	173.92	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	62.33	O(n^2)	25.94	TIMEOUT	300	O(n^2)	299.89
	MAYBE	300	MAYBE	68.51	TIMEOUT	300	TIMEOUT	300
	MAYBE	7.03	MAYBE	7.41	MAYBE	5.02	MAYBE	6.05
	MAYBE	7.04	MAYBE	5.05	MAYBE	5.01	MAYBE	5.9
	MAYBE	7.05	MAYBE	3.97	MAYBE	5.08	MAYBE	5.89
	MAYBE	7.04	MAYBE	2.04	TIMEOUT	300	MAYBE	299.82
	MAYBE	7.03	MAYBE	8.64	MAYBE	63.38	MAYBE	64.62
	MAYBE	2.29	MAYBE	28.28	MAYBE	2.02	MAYBE	5.45
	MAYBE	295.23	MAYBE	72.11	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.2	O(n^2)	7.92	O(n^2)	4.04	O(n^2)	8.73
	MAYBE	295.22	MAYBE	152.15	TIMEOUT	300	TIMEOUT	300
	MAYBE	47.25	MAYBE	2.13	TIMEOUT	300	MAYBE	299.88
	MAYBE	295.21	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	O(n^1)	7.04	O(n^1)	3.45	O(n^1)	1.93	O(n^1)	3.52
	MAYBE	295.04	MAYBE	1.89	TIMEOUT	300	TIMEOUT	300
	MAYBE	56.57	MAYBE	2.31	TIMEOUT	300	TIMEOUT	300
	O(n^2)	4.78	O(n^1)	6.6	O(n^2)	2.37	O(n^1)	6.97
	O(n^1)	0.69	O(n^1)	2.27	O(n^1)	2.37	O(n^1)	2.65
	MAYBE	295.16	MAYBE	5.83	TIMEOUT	300	TIMEOUT	300
	O(n^1)	1.89	O(n^1)	3.8	O(n^1)	2.65	O(n^1)	4.89
	O(n^1)	4.24	O(n^1)	8.56	O(n^1)	3.51	O(n^1)	10.37
	O(n^1)	1.0	O(n^1)	4.47	O(n^1)	2.16	O(n^1)	4.73
	O(n^2)	63.72	O(n^2)	9.79	O(n^2)	3.45	O(n^2)	10.34
	O(n^2)	88.58	O(n^2)	8.93	O(n^2)	2.74	O(n^2)	9.8
	O(n^2)	2.46	O(n^2)	5.31	O(n^2)	2.01	O(n^2)	5.58
	MAYBE	298.09	MAYBE	106.53	TIMEOUT	300	TIMEOUT	300
	MAYBE	17.79	MAYBE	36.34	TIMEOUT	300	TIMEOUT	300
	O(n^1)	0.78	O(n^1)	5.26	O(n^1)	2.43	O(n^1)	5.49
	O(n^1)	1.07	O(n^1)	6.14	O(n^1)	2.48	O(n^1)	6.31
	O(n^1)	0.23	O(n^1)	3.72	O(n^1)	1.96	O(n^1)	3.94
	MAYBE	144.45	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	38.63	MAYBE	14.49	TIMEOUT	300	TIMEOUT	300
	O(n^1)	0.46	O(n^1)	4.62	O(n^1)	2.16	O(n^1)	4.94
	MAYBE	295.1	MAYBE	2.38	TIMEOUT	300	TIMEOUT	300
	MAYBE	76.18	MAYBE	21.07	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.3	O(n^2)	74.91	TIMEOUT	300	O(n^2)	300
	MAYBE	295.25	MAYBE	168.85	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.28	O(n^2)	69.73	TIMEOUT	300	O(n^2)	300
	O(n^1)	0.89	MAYBE	1.83	O(n^1)	2.06	O(n^1)	2.21
	MAYBE	295.18	MAYBE	28.3	O(n^1)	1.97	O(n^1)	8.11
	O(n^1)	0.2	O(n^1)	3.88	O(n^1)	1.91	O(n^1)	3.67
	O(n^1)	0.66	O(n^1)	3.87	O(n^2)	1.94	O(n^1)	3.99
	O(n^1)	0.41	O(n^1)	3.57	O(n^1)	1.98	O(n^1)	3.87
	MAYBE	4.7	MAYBE	12.43	TIMEOUT	300	MAYBE	299.78
	O(n^1)	0.44	O(n^1)	4.22	O(n^1)	2.01	O(n^1)	4.29
	TIMEOUT	300	MAYBE	104.8	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.22	MAYBE	184.15	TIMEOUT	300	TIMEOUT	300
	O(n^1)	1.54	MAYBE	25.02	O(n^1)	2.07	O(n^1)	8.38
	MAYBE	2.67	MAYBE	37.65	MAYBE	14.17	MAYBE	16.99
	MAYBE	50.06	O(n^2)	27.52	TIMEOUT	300	O(n^2)	299.79
	O(n^1)	2.7	O(n^1)	7.89	O(n^1)	5.93	O(n^1)	12.08
	O(n^3)	295.9	MAYBE	299.85	TIMEOUT	300	MAYBE	299.9
	O(n^3)	295.66	MAYBE	113.53	TIMEOUT	300	MAYBE	58.94
	O(n^2)	295.88	O(n^5)	300	TIMEOUT	300	O(n^5)	300
	O(n^2)	26.45	O(n^2)	32.03	O(n^2)	11.49	O(n^2)	31.83
	O(n^2)	63.96	O(n^2)	18.16	O(n^2)	9.18	O(n^2)	13.93
	O(n^2)	4.38	O(n^2)	19.7	O(n^2)	5.22	O(n^2)	19.72
	O(n^2)	294.43	O(n^2)	28.9	TIMEOUT	300	O(n^2)	27.84
	O(n^2)	298.06	O(n^2)	16.26	O(n^2)	11.0	O(n^2)	15.98
	MAYBE	296.02	O(n^2)	21.64	TIMEOUT	300	O(n^2)	21.14
	O(n^2)	295.33	O(n^2)	42.17	TIMEOUT	300	O(n^2)	43.89
	O(n^2)	295.34	O(n^2)	47.52	TIMEOUT	300	O(n^2)	45.98
	O(n^5)	169.03	MAYBE	72.88	TIMEOUT	300	MAYBE	72.38
	O(n^2)	295.29	MAYBE	45.57	TIMEOUT	300	MAYBE	24.96
	O(n^2)	53.16	O(n^2)	12.08	O(n^3)	8.16	O(n^2)	11.87
	MAYBE	295.16	MAYBE	25.94	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.16	O(n^2)	55.46	TIMEOUT	300	O(n^2)	55.34
	O(n^1)	2.17	O(n^1)	11.73	O(n^1)	2.42	O(n^1)	12.07
	O(n^5)	157.02	O(n^3)	71.94	TIMEOUT	300	O(n^3)	72.34
	O(n^2)	10.39	MAYBE	2.32	O(n^2)	2.68	O(n^2)	2.99
	O(n^1)	3.98	O(n^2)	4.53	O(n^1)	2.47	O(n^1)	5.01
	O(n^1)	0.86	O(n^1)	3.06	O(n^1)	1.84	O(n^1)	2.91
	O(n^3)	128.49	O(n^3)	6.66	O(n^3)	5.09	O(n^3)	7.7
	O(n^2)	63.83	O(n^3)	6.06	O(n^2)	3.03	O(n^2)	6.82
	O(n^2)	295.18	MAYBE	71.62	O(n^2)	7.91	O(n^2)	24.39
	O(n^2)	21.66	O(n^1)	11.81	O(n^2)	2.94	O(n^1)	12.6
	O(n^1)	1.01	MAYBE	9.95	O(n^1)	1.88	O(n^1)	5.45
	O(n^1)	0.47	O(n^1)	5.19	O(n^2)	2.26	O(n^1)	5.9
	O(1)	0.13	MAYBE	28.49	O(1)	1.76	O(1)	1.85
	O(n^2)	7.21	O(n^1)	5.71	O(n^2)	3.31	O(n^1)	6.76
	MAYBE	299.21	MAYBE	3.47	TIMEOUT	300	TIMEOUT	300
	O(1)	0.08	MAYBE	17.24	O(1)	1.75	O(1)	1.91
	MAYBE	295.06	MAYBE	2.11	TIMEOUT	300	MAYBE	299.81
	O(1)	0.6	O(1)	2.09	O(1)	1.74	O(1)	2.03
	O(n^1)	16.43	O(n^1)	8.18	O(n^1)	2.38	O(n^1)	8.35
	O(n^1)	0.54	O(n^1)	2.17	O(n^1)	2.29	O(n^1)	2.32
	MAYBE	295.31	MAYBE	49.35	TIMEOUT	300	TIMEOUT	300
	MAYBE	17.69	MAYBE	1.91	TIMEOUT	300	MAYBE	299.98
	MAYBE	295.15	MAYBE	4.97	TIMEOUT	300	TIMEOUT	300
	O(n^2)	295.29	O(n^3)	12.01	TIMEOUT	300	O(n^3)	300
	O(n^1)	3.45	O(n^1)	3.36	O(n^1)	2.32	O(n^1)	3.64
	O(n^1)	0.42	MAYBE	11.85	O(n^1)	1.95	O(n^1)	5.52
	O(n^2)	26.9	MAYBE	2.51	O(n^2)	4.74	O(n^2)	5.23
	MAYBE	295.14	O(n^1)	9.0	O(n^2)	43.54	O(n^1)	44.94
	MAYBE	32.77	MAYBE	2.73	TIMEOUT	300	TIMEOUT	300
	MAYBE	41.44	MAYBE	1.88	O(n^2)	4.4	O(n^2)	4.61
	MAYBE	39.49	O(n^3)	73.51	TIMEOUT	300	O(n^3)	299.91
	O(n^1)	4.66	O(n^1)	5.76	O(n^1)	2.08	O(n^1)	5.96
	MAYBE	45.57	MAYBE	299.88	TIMEOUT	300	TIMEOUT	300
	O(1)	6.06	O(1)	2.28	O(1)	1.75	O(1)	1.83
	MAYBE	295.93	MAYBE	3.85	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.67	O(n^2)	55.36	TIMEOUT	300	O(n^2)	300
	MAYBE	295.14	O(n^2)	7.72	O(n^2)	81.0	O(n^2)	87.71
	MAYBE	295.15	MAYBE	19.87	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.15	MAYBE	32.15	TIMEOUT	300	TIMEOUT	300
	MAYBE	296.57	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	O(1)	12.8	O(1)	2.26	O(1)	1.8	O(1)	1.88
	MAYBE	15.36	MAYBE	11.06	MAYBE	5.59	MAYBE	7.35
	O(1)	0.21	MAYBE	2.12	O(n^1)	2.35	O(n^1)	2.4
	O(n^1)	294.8	MAYBE	1.89	O(n^1)	10.31	O(n^1)	9.67
	O(1)	0.11	O(1)	2.17	O(1)	1.79	O(1)	1.94
	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.13	O(n^3)	6.73	TIMEOUT	300	O(n^3)	300
	MAYBE	295.04	O(n^2)	11.14	TIMEOUT	300	O(n^2)	300
	MAYBE	65.15	MAYBE	2.97	TIMEOUT	300	TIMEOUT	300
	O(1)	18.42	O(1)	2.15	O(1)	1.71	O(1)	2.05
	O(1)	0.09	O(1)	2.13	O(1)	1.76	O(1)	1.93
	O(n^2)	29.18	O(1)	2.08	O(1)	1.76	O(1)	1.93
	MAYBE	295.11	O(n^2)	41.27	TIMEOUT	300	O(n^2)	299.97
	MAYBE	85.33	MAYBE	91.93	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.11	MAYBE	120.06	TIMEOUT	300	TIMEOUT	300
	MAYBE	92.1	MAYBE	149.78	TIMEOUT	300	TIMEOUT	300
	MAYBE	34.96	O(n^3)	11.11	TIMEOUT	300	O(n^3)	300
	MAYBE	199.67	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.18	MAYBE	55.72	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.05	MAYBE	31.32	TIMEOUT	300	TIMEOUT	300
	TIMEOUT	300	O(n^2)	85.91	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.18	MAYBE	49.99	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.17	MAYBE	44.97	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.15	MAYBE	46.99	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.18	MAYBE	74.19	TIMEOUT	300	TIMEOUT	300
	O(n^1)	295.2	MAYBE	10.54	O(1)	1.82	O(1)	1.98
	MAYBE	77.16	MAYBE	109.67	TIMEOUT	300	TIMEOUT	300
	MAYBE	66.12	O(n^5)	124.9	TIMEOUT	300	O(n^5)	300
	MAYBE	295.93	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.16	MAYBE	143.75	TIMEOUT	300	TIMEOUT	300
	MAYBE	118.26	MAYBE	111.28	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.14	MAYBE	97.26	TIMEOUT	300	TIMEOUT	300
	MAYBE	87.0	MAYBE	68.32	TIMEOUT	300	TIMEOUT	300
	MAYBE	232.6	O(n^2)	37.74	TIMEOUT	300	O(n^2)	300
	MAYBE	173.7	O(n^3)	69.18	TIMEOUT	300	O(n^3)	300
	MAYBE	295.14	O(n^3)	116.55	TIMEOUT	300	O(n^3)	300
	MAYBE	129.08	MAYBE	1.96	O(n^1)	2.79	O(n^1)	2.92
	MAYBE	52.24	MAYBE	2.57	TIMEOUT	300	TIMEOUT	300
	MAYBE	300	MAYBE	1.99	O(n^2)	2.92	O(n^2)	3.22
	O(n^1)	0.88	O(n^1)	12.94	O(n^1)	2.19	O(n^1)	13.11
	O(n^1)	90.98	O(n^1)	2.78	O(n^1)	1.96	O(n^1)	3.04
	O(n^1)	0.43	O(n^1)	2.93	O(n^1)	2.08	O(n^1)	3.05
	O(n^1)	1.97	O(n^1)	4.0	O(n^1)	1.97	O(n^1)	4.12
	O(n^1)	0.29	O(n^1)	3.24	O(n^1)	1.96	O(n^1)	3.47
	O(n^1)	0.41	O(n^1)	4.08	O(n^1)	2.04	O(n^1)	4.28
	O(n^3)	20.31	O(n^3)	6.88	O(n^3)	3.67	O(n^3)	7.78
	O(n^1)	0.71	O(n^1)	4.07	O(n^1)	2.07	O(n^1)	4.3
	O(n^1)	0.71	O(n^1)	5.55	O(n^1)	2.1	O(n^1)	5.69
	MAYBE	4.3	EXP	6.6	MAYBE	12.21	EXP	14.5
	O(n^2)	4.02	O(n^2)	6.51	O(n^2)	2.44	O(n^2)	6.9
	O(n^1)	0.25	O(n^1)	3.66	O(n^2)	1.89	O(n^1)	3.79
	O(n^2)	1.75	O(n^2)	4.13	O(n^2)	2.18	O(n^2)	4.4
	O(n^2)	4.3	O(n^2)	5.98	O(n^2)	2.76	O(n^2)	6.38
	O(n^1)	0.26	O(n^1)	3.8	O(n^2)	1.91	O(n^1)	3.84
	MAYBE	5.03	EXP	4.72	MAYBE	12.77	EXP	13.67
	O(n^2)	3.07	O(n^2)	6.55	O(n^2)	2.31	O(n^2)	6.9
	MAYBE	25.61	MAYBE	13.95	TIMEOUT	300	MAYBE	299.97
	MAYBE	4.96	EXP	4.12	MAYBE	37.34	EXP	38.05
	MAYBE	18.69	MAYBE	72.73	TIMEOUT	300	TIMEOUT	300
	MAYBE	92.15	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.08	MAYBE	28.19	TIMEOUT	300	MAYBE	299.95
	MAYBE	5.07	MAYBE	2.13	TIMEOUT	300	TIMEOUT	300
	O(n^1)	0.61	O(n^1)	5.18	O(n^1)	1.85	O(n^1)	5.43
	O(1)	0.22	O(1)	2.1	O(1)	1.73	O(1)	1.89
	O(n^1)	0.23	O(n^1)	4.58	O(n^1)	2.16	O(n^1)	4.72
	O(n^1)	7.04	O(n^1)	3.46	O(n^1)	2.08	O(n^1)	3.64
	O(1)	0.18	MAYBE	57.35	O(n^1)	1.95	O(n^1)	19.94
	O(n^1)	0.64	O(n^1)	3.25	O(n^1)	1.93	O(n^1)	3.34
	O(n^2)	74.32	O(n^2)	5.74	O(n^2)	5.4	O(n^2)	9.19
	O(n^1)	0.28	O(n^1)	5.82	O(n^1)	2.0	O(n^1)	5.88
	O(n^1)	0.54	O(n^1)	4.83	O(n^1)	2.07	O(n^1)	5.26
	O(n^1)	12.99	O(n^1)	3.94	O(n^1)	1.95	O(n^1)	4.19
	MAYBE	83.51	EXP	7.86	MAYBE	12.31	EXP	13.27
	O(n^1)	1.46	O(n^1)	6.2	O(n^1)	2.2	O(n^1)	6.38
	O(n^1)	0.45	O(n^1)	4.46	O(n^1)	2.06	O(n^1)	4.76
	O(n^1)	0.12	O(n^1)	2.9	O(n^1)	1.82	O(n^1)	2.86
	O(1)	0.15	O(1)	2.16	O(1)	1.78	O(1)	1.88
	O(1)	0.32	O(1)	2.1	O(1)	1.74	O(1)	1.86
	O(n^1)	0.09	O(n^1)	2.56	O(n^1)	1.83	O(n^1)	2.66
	MAYBE	214.48	MAYBE	2.16	TIMEOUT	300	MAYBE	299.91
	MAYBE	190.25	MAYBE	3.25	TIMEOUT	300	TIMEOUT	300
	O(n^1)	0.4	O(n^1)	3.76	O(n^1)	2.02	O(n^1)	3.96
	O(n^1)	0.17	O(n^1)	2.93	O(n^1)	1.92	O(n^1)	3.08
	O(n^1)	0.15	O(n^1)	3.03	O(n^1)	1.89	O(n^1)	3.05
	O(n^1)	0.17	O(n^1)	2.85	O(n^1)	1.89	O(n^1)	2.89
	O(n^1)	1.59	MAYBE	1.9	O(n^2)	3.57	O(n^2)	4.09
	O(n^2)	4.21	EXP	6.73	O(n^2)	2.01	O(n^3)	6.79
	MAYBE	17.02	MAYBE	58.58	MAYBE	59.03	MAYBE	64.64
	O(1)	0.09	O(1)	2.19	O(1)	1.73	O(1)	1.85
	O(1)	1.84	O(1)	2.18	O(1)	1.74	O(1)	1.89
	O(n^2)	4.07	EXP	6.43	O(n^2)	2.04	O(n^2)	6.66
	O(n^1)	7.04	O(n^1)	3.31	O(n^1)	2.15	O(n^1)	3.61
	O(n^2)	6.33	O(n^1)	4.38	O(n^1)	2.04	O(n^1)	4.69
	O(n^1)	0.78	O(n^1)	3.42	O(n^1)	2.08	O(n^1)	3.57
	O(n^2)	75.0	O(n^2)	20.22	TIMEOUT	300	O(n^2)	300
	O(1)	0.15	MAYBE	12.58	O(1)	1.73	O(1)	1.88
	MAYBE	34.2	O(n^1)	4.41	O(n^1)	2.16	O(n^1)	4.61
	MAYBE	295.13	MAYBE	3.06	TIMEOUT	300	TIMEOUT	300
	O(n^1)	0.44	O(n^1)	3.24	O(n^1)	2.01	O(n^1)	3.4
	O(n^1)	16.52	O(n^1)	4.26	O(n^1)	1.89	O(n^1)	4.4
	MAYBE	295.15	MAYBE	39.81	TIMEOUT	300	MAYBE	299.94
	O(n^1)	1.18	O(n^1)	6.84	O(n^1)	2.22	O(n^1)	7.05
	O(n^1)	0.23	O(n^1)	3.54	O(n^1)	1.94	O(n^1)	3.61
	O(n^1)	45.77	MAYBE	8.08	O(n^1)	39.19	O(n^1)	41.05
	MAYBE	12.39	MAYBE	48.44	MAYBE	4.61	MAYBE	6.71
	MAYBE	295.64	MAYBE	2.09	MAYBE	85.84	MAYBE	86.49
	O(1)	0.07	MAYBE	9.0	O(1)	1.75	O(1)	1.77
	O(n^1)	0.88	O(n^1)	3.53	O(n^1)	2.13	O(n^1)	3.88
	MAYBE	13.39	MAYBE	2.32	TIMEOUT	300	MAYBE	299.98
	O(n^3)	20.78	MAYBE	1.86	MAYBE	35.9	MAYBE	36.15
	O(n^1)	0.13	O(n^1)	2.87	O(n^1)	1.82	O(n^1)	3.17
	O(1)	0.24	O(1)	2.14	O(1)	1.84	O(1)	1.94
	O(1)	0.12	O(1)	2.26	O(1)	1.78	O(1)	1.93
	O(n^1)	1.05	MAYBE	2.1	O(n^1)	1.94	O(n^1)	2.22
	O(n^1)	2.18	O(n^1)	8.04	O(n^1)	1.94	O(n^1)	7.83
	MAYBE	5.69	MAYBE	2.17	MAYBE	191.19	MAYBE	196.09
	O(1)	295.14	O(1)	2.81	O(1)	1.75	O(1)	1.9
	MAYBE	36.08	MAYBE	72.06	MAYBE	12.66	MAYBE	13.98
	MAYBE	297.89	MAYBE	107.65	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.2	MAYBE	164.27	TIMEOUT	300	TIMEOUT	300
	O(n^1)	168.86	O(n^1)	2.91	O(n^1)	1.88	O(n^1)	2.92
	O(n^1)	3.49	O(n^1)	2.59	O(n^1)	1.86	O(n^1)	2.69
	O(n^1)	295.13	O(n^1)	2.82	O(n^1)	1.85	O(n^1)	2.79
	MAYBE	14.35	MAYBE	2.26	O(n^1)	42.04	O(n^1)	24.97
	O(n^1)	0.97	O(n^1)	3.22	O(n^1)	2.09	O(n^1)	3.47
	O(n^1)	9.47	O(n^1)	6.34	O(n^1)	1.87	O(n^1)	6.43
	MAYBE	98.03	O(n^2)	7.5	MAYBE	104.85	O(n^2)	104.61
	MAYBE	1.91	O(1)	2.13	O(1)	1.86	O(1)	2.18
	MAYBE	38.93	O(n^2)	7.08	O(n^2)	8.74	O(n^2)	8.94
	O(n^3)	11.37	O(n^2)	5.71	O(n^2)	2.27	O(n^2)	6.03
	O(n^1)	39.02	O(n^1)	3.74	O(n^2)	5.76	O(n^1)	7.18
	MAYBE	295.35	MAYBE	120.05	TIMEOUT	300	TIMEOUT	300
	O(n^1)	295.05	O(n^1)	2.82	O(n^1)	1.86	O(n^1)	2.83
	MAYBE	22.66	O(n^1)	5.36	O(n^2)	4.17	O(n^1)	5.98
	MAYBE	295.14	O(n^1)	7.54	O(n^2)	13.63	O(n^1)	13.91
	MAYBE	294.97	O(n^1)	8.66	O(n^2)	17.47	O(n^1)	17.9
	MAYBE	132.86	O(n^1)	6.95	O(n^2)	10.4	O(n^1)	10.92
	O(n^2)	4.35	MAYBE	2.14	O(n^2)	2.52	O(n^1)	2.61
	O(n^3)	103.44	MAYBE	53.48	TIMEOUT	300	TIMEOUT	300
	O(n^1)	3.04	MAYBE	2.38	O(n^2)	62.35	O(n^3)	64.76
	MAYBE	300	MAYBE	3.32	TIMEOUT	300	TIMEOUT	300
	O(n^2)	295.38	O(n^3)	12.95	TIMEOUT	300	O(n^3)	300
	O(n^1)	0.6	MAYBE	11.84	O(n^1)	2.09	O(n^1)	5.5
	O(n^1)	0.47	MAYBE	11.86	O(n^1)	2.05	O(n^1)	5.43
	O(1)	0.1	MAYBE	12.42	O(1)	1.82	O(1)	1.95
	MAYBE	14.91	MAYBE	13.02	TIMEOUT	300	MAYBE	299.96
	MAYBE	2.26	MAYBE	12.88	MAYBE	60.57	MAYBE	61.36
	MAYBE	2.73	MAYBE	13.01	MAYBE	117.96	MAYBE	119.14
	MAYBE	8.43	MAYBE	13.02	MAYBE	161.72	MAYBE	162.75
	MAYBE	7.81	MAYBE	13.03	MAYBE	164.28	MAYBE	165.78
	MAYBE	44.13	MAYBE	24.42	MAYBE	3.51	MAYBE	6.58
	MAYBE	7.47	MAYBE	14.97	MAYBE	123.76	MAYBE	125.33
	MAYBE	28.8	MAYBE	7.87	MAYBE	6.7	MAYBE	6.87
	MAYBE	34.22	MAYBE	32.29	TIMEOUT	300	TIMEOUT	300
	MAYBE	10.57	MAYBE	13.56	MAYBE	128.92	MAYBE	129.82
	MAYBE	3.59	MAYBE	13.95	MAYBE	110.2	MAYBE	111.93
	MAYBE	7.46	MAYBE	12.85	TIMEOUT	300	MAYBE	299.86
	MAYBE	66.17	MAYBE	13.05	TIMEOUT	300	MAYBE	299.93
	MAYBE	4.51	MAYBE	2.14	TIMEOUT	300	MAYBE	299.86
	MAYBE	8.44	MAYBE	5.95	MAYBE	93.79	MAYBE	95.07
	MAYBE	8.48	MAYBE	14.11	TIMEOUT	300	TIMEOUT	300
	MAYBE	2.71	MAYBE	13.04	MAYBE	109.59	MAYBE	110.57
	MAYBE	7.04	MAYBE	4.04	MAYBE	5.48	MAYBE	5.98
	O(n^1)	1.37	O(n^1)	6.76	O(n^1)	2.16	O(n^1)	6.98
	MAYBE	75.74	MAYBE	34.84	MAYBE	4.8	MAYBE	12.63
	MAYBE	12.06	MAYBE	13.78	TIMEOUT	300	TIMEOUT	300
	MAYBE	7.03	MAYBE	6.27	MAYBE	5.18	MAYBE	6.84
	MAYBE	17.17	MAYBE	13.29	TIMEOUT	300	TIMEOUT	300
	MAYBE	5.24	MAYBE	12.92	MAYBE	61.17	MAYBE	63.41
	MAYBE	7.05	MAYBE	4.47	MAYBE	5.0	MAYBE	6.41
	MAYBE	3.66	MAYBE	12.97	MAYBE	110.74	MAYBE	110.15
	MAYBE	10.07	MAYBE	14.19	MAYBE	123.83	MAYBE	126.43
	MAYBE	11.28	MAYBE	21.52	TIMEOUT	300	MAYBE	299.99
	MAYBE	53.69	MAYBE	14.33	TIMEOUT	300	TIMEOUT	300
	MAYBE	18.01	MAYBE	13.02	TIMEOUT	300	TIMEOUT	300
	MAYBE	7.05	MAYBE	7.84	MAYBE	5.02	MAYBE	6.08
	MAYBE	19.4	MAYBE	5.33	TIMEOUT	300	MAYBE	299.97
	MAYBE	16.16	MAYBE	4.8	TIMEOUT	300	MAYBE	299.97
	MAYBE	59.26	MAYBE	2.47	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.39	MAYBE	15.5	TIMEOUT	300	TIMEOUT	300
	MAYBE	7.04	MAYBE	1.85	MAYBE	5.16	MAYBE	5.14
	MAYBE	2.44	MAYBE	12.96	MAYBE	61.61	MAYBE	61.38
	MAYBE	7.04	MAYBE	1.91	MAYBE	5.13	MAYBE	5.34
	MAYBE	23.14	MAYBE	8.81	MAYBE	5.27	MAYBE	6.7
	MAYBE	7.04	MAYBE	5.29	MAYBE	5.15	MAYBE	6.24
	MAYBE	8.21	MAYBE	12.55	TIMEOUT	300	MAYBE	299.79
	MAYBE	52.37	MAYBE	32.83	TIMEOUT	300	TIMEOUT	300
	MAYBE	44.1	MAYBE	14.16	MAYBE	21.19	MAYBE	21.96
	O(n^1)	8.19	O(n^1)	3.42	O(n^1)	1.87	O(n^1)	3.44
	MAYBE	13.08	O(n^1)	4.75	O(n^1)	2.2	O(n^1)	5.06
	MAYBE	13.69	O(n^1)	5.04	O(n^1)	2.4	O(n^1)	5.51
	O(n^1)	0.77	O(n^1)	4.01	O(n^1)	2.34	O(n^1)	4.5
	O(1)	1.62	O(1)	2.04	O(1)	1.74	O(1)	1.87
	MAYBE	69.13	MAYBE	299.85	TIMEOUT	300	TIMEOUT	300
	MAYBE	19.64	O(n^5)	11.88	TIMEOUT	300	O(n^5)	299.98
	O(n^10)	256.68	O(n^10)	14.11	TIMEOUT	300	O(n^10)	300
	O(n^5)	36.79	O(n^5)	8.4	TIMEOUT	300	O(n^5)	299.95
	O(n^2)	10.57	O(n^2)	17.79	O(n^2)	2.92	O(n^2)	19.05
	TIMEOUT	300	MAYBE	10.96	O(n^1)	5.08	O(n^1)	9.91
	O(n^1)	0.89	O(n^1)	12.54	O(n^1)	2.11	O(n^1)	12.63
	MAYBE	300	MAYBE	299.88	TIMEOUT	300	TIMEOUT	300
	O(n^2)	2.71	O(n^2)	9.66	O(n^2)	2.41	O(n^2)	10.15
	MAYBE	295.3	MAYBE	9.69	O(n^1)	2.39	O(n^1)	4.57
	O(n^1)	0.35	O(n^1)	8.92	O(n^1)	2.0	O(n^1)	9.16
	MAYBE	26.94	MAYBE	2.23	TIMEOUT	300	TIMEOUT	300
	O(1)	0.17	O(1)	2.19	O(1)	1.72	O(1)	2.03
	MAYBE	295.07	MAYBE	7.31	O(n^1)	2.68	O(n^1)	5.33
	MAYBE	295.1	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	O(n^3)	295.18	MAYBE	2.32	TIMEOUT	300	TIMEOUT	300
	MAYBE	7.03	MAYBE	8.62	MAYBE	5.12	MAYBE	8.02
	MAYBE	295.11	MAYBE	24.79	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.05	MAYBE	9.25	O(n^1)	2.74	O(n^1)	6.62
	MAYBE	294.94	MAYBE	2.51	TIMEOUT	300	TIMEOUT	300
	O(n^1)	295.32	MAYBE	6.34	O(n^1)	2.19	O(n^1)	4.45
	O(n^1)	1.76	O(n^1)	4.71	O(n^1)	1.84	O(n^1)	4.79
	O(n^1)	0.55	O(n^1)	3.53	O(n^1)	1.85	O(n^1)	3.66
	MAYBE	7.07	MAYBE	3.55	MAYBE	4.93	MAYBE	5.68
	O(1)	0.58	O(1)	4.44	O(1)	1.71	O(1)	1.9
	MAYBE	295.23	MAYBE	8.24	O(n^1)	3.23	O(n^1)	5.98
	MAYBE	11.34	MAYBE	2.56	TIMEOUT	300	TIMEOUT	300
	O(n^1)	6.1	O(n^1)	2.69	O(n^1)	3.48	O(n^1)	3.85
	MAYBE	9.21	MAYBE	19.44	TIMEOUT	300	MAYBE	299.81
	MAYBE	295.15	MAYBE	7.88	O(n^1)	2.35	O(n^1)	4.98
	O(n^1)	7.04	O(n^1)	4.4	O(n^1)	1.84	O(n^1)	4.34
	MAYBE	7.05	MAYBE	4.99	MAYBE	5.37	MAYBE	6.01
	O(n^1)	248.76	MAYBE	6.62	O(n^1)	2.19	O(n^1)	4.25
	O(n^1)	0.16	O(n^1)	3.89	O(n^1)	1.98	O(n^1)	4.06
	O(n^1)	0.18	O(n^1)	4.04	O(n^1)	1.87	O(n^1)	3.91
	O(1)	0.08	O(1)	2.09	O(1)	1.79	O(1)	1.92
	MAYBE	295.19	MAYBE	8.82	O(n^1)	3.1	O(n^1)	6.46
	MAYBE	295.07	MAYBE	2.45	TIMEOUT	300	TIMEOUT	300
	O(n^1)	1.74	O(n^1)	14.94	O(n^1)	2.11	O(n^1)	15.03
	MAYBE	7.04	MAYBE	5.87	MAYBE	5.0	MAYBE	7.46
	MAYBE	295.14	MAYBE	13.25	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.18	MAYBE	8.69	O(n^1)	3.17	O(n^1)	6.52
	O(n^1)	5.78	O(n^1)	2.42	O(n^1)	2.03	O(n^1)	2.43
	TIMEOUT	300	MAYBE	6.14	TIMEOUT	300	TIMEOUT	300
	MAYBE	30.78	MAYBE	20.8	MAYBE	59.87	MAYBE	60.94
	MAYBE	294.13	MAYBE	9.84	O(n^1)	2.55	O(n^1)	6.07
	MAYBE	295.14	MAYBE	2.41	TIMEOUT	300	MAYBE	299.97
	MAYBE	7.04	MAYBE	7.35	MAYBE	5.07	MAYBE	5.85
	MAYBE	295.34	MAYBE	9.54	O(n^1)	3.15	O(n^1)	7.86
	O(n^1)	0.56	O(n^1)	15.75	O(n^1)	2.04	O(n^1)	16.01
	MAYBE	44.35	MAYBE	2.6	TIMEOUT	300	TIMEOUT	300
	O(n^1)	295.06	EXP	6.36	O(n^2)	2.33	O(n^2)	6.71
	O(n^1)	295.25	MAYBE	2.05	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.07	MAYBE	2.37	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.05	MAYBE	2.51	TIMEOUT	300	TIMEOUT	300
	MAYBE	18.29	MAYBE	6.52	TIMEOUT	300	TIMEOUT	300
	O(n^1)	295.7	MAYBE	7.89	O(n^1)	2.33	O(n^1)	5.2
	MAYBE	295.04	MAYBE	8.62	MAYBE	6.03	MAYBE	9.24
	O(1)	0.4	O(1)	2.2	O(n^1)	1.96	O(1)	2.28
	MAYBE	7.03	MAYBE	4.71	MAYBE	5.02	MAYBE	6.44
	O(n^1)	292.76	MAYBE	6.41	O(n^1)	2.25	O(n^1)	4.51
	O(n^1)	0.35	O(n^1)	4.51	O(n^1)	2.0	O(n^1)	4.78
	O(n^1)	0.59	O(n^1)	4.49	O(n^1)	1.92	O(n^1)	4.51
	O(1)	0.08	O(1)	2.37	O(1)	1.76	O(1)	1.95
	MAYBE	295.17	MAYBE	8.34	O(n^1)	2.58	O(n^1)	5.53
	MAYBE	10.56	O(n^1)	88.03	TIMEOUT	300	O(n^1)	299.84
	O(n^1)	4.79	O(n^1)	5.14	O(n^1)	1.91	O(n^1)	5.47
	MAYBE	7.04	MAYBE	3.49	MAYBE	5.01	MAYBE	5.75
	MAYBE	3.42	O(1)	2.14	MAYBE	42.22	O(1)	2.32
	MAYBE	295.04	MAYBE	7.96	O(n^1)	2.5	O(n^1)	5.25
	O(n^1)	211.68	O(n^1)	5.66	O(n^1)	1.87	O(n^1)	5.7
	MAYBE	7.04	MAYBE	5.1	MAYBE	5.2	MAYBE	5.89
	O(n^1)	133.48	MAYBE	9.85	O(n^1)	2.31	O(n^1)	4.91
	O(n^1)	0.28	O(n^1)	5.91	O(n^1)	1.95	O(n^1)	6.14
	O(n^1)	0.9	O(n^1)	5.87	O(n^1)	1.95	O(n^1)	5.83
	O(1)	0.25	O(1)	2.11	O(1)	1.76	O(1)	1.86
	TIMEOUT	300	MAYBE	6.73	O(n^1)	3.28	O(n^1)	5.09
	O(n^1)	1.56	O(n^1)	14.86	O(n^1)	2.31	O(n^1)	15.27
	O(n^2)	164.69	MAYBE	2.92	TIMEOUT	300	TIMEOUT	300
	O(1)	0.22	O(1)	2.28	O(1)	1.76	O(1)	1.92
	O(1)	0.55	O(1)	2.28	O(1)	1.93	O(1)	1.97
	MAYBE	296.16	MAYBE	6.78	O(n^1)	3.62	O(n^1)	5.32
	O(n^1)	0.9	O(n^1)	12.45	O(n^2)	2.16	O(n^1)	12.93
	MAYBE	296.53	MAYBE	2.8	TIMEOUT	300	TIMEOUT	300
	O(n^3)	13.34	O(n^3)	6.44	TIMEOUT	300	O(n^3)	299.99
	O(n^3)	19.92	O(n^3)	10.09	TIMEOUT	300	O(n^3)	300
	MAYBE	295.48	MAYBE	8.05	O(n^1)	3.24	O(n^1)	6.19
	O(n^2)	20.67	MAYBE	2.64	TIMEOUT	300	TIMEOUT	300
	O(n^2)	56.12	MAYBE	2.57	TIMEOUT	300	TIMEOUT	300
	O(1)	0.17	O(1)	2.16	O(1)	1.78	O(1)	1.95
	O(n^1)	3.15	O(n^1)	11.25	O(n^1)	2.14	O(n^1)	11.61
	MAYBE	295.16	MAYBE	7.92	O(n^1)	2.72	O(n^1)	6.38
	O(n^1)	0.32	O(n^1)	7.7	O(n^1)	1.94	O(n^1)	8.06
	MAYBE	19.33	MAYBE	2.39	TIMEOUT	300	TIMEOUT	300
	O(n^1)	295.04	O(n^1)	4.75	O(n^1)	2.0	O(n^1)	4.99
	MAYBE	295.19	MAYBE	8.66	O(n^1)	3.05	O(n^1)	6.83
	MAYBE	25.29	MAYBE	2.78	TIMEOUT	300	TIMEOUT	300
	MAYBE	36.72	MAYBE	3.11	TIMEOUT	300	TIMEOUT	300
	MAYBE	23.05	MAYBE	63.34	TIMEOUT	300	TIMEOUT	300
	MAYBE	296.04	MAYBE	8.94	O(n^1)	3.26	O(n^1)	7.4
	MAYBE	17.42	MAYBE	2.72	TIMEOUT	300	TIMEOUT	300
	O(n^2)	74.16	MAYBE	2.93	TIMEOUT	300	TIMEOUT	300
	O(1)	0.13	O(1)	2.22	O(1)	1.86	O(1)	1.91
	MAYBE	11.15	MAYBE	13.38	TIMEOUT	300	TIMEOUT	300
	O(n^2)	100.51	MAYBE	9.75	O(n^1)	2.13	O(n^1)	4.4
	O(n^1)	0.22	O(n^1)	4.75	O(n^1)	2.0	O(n^1)	4.84
	O(n^2)	45.68	MAYBE	2.16	TIMEOUT	300	TIMEOUT	300
	O(n^1)	0.09	O(n^1)	2.68	O(n^1)	1.87	O(n^1)	2.72
	MAYBE	14.07	MAYBE	2.14	MAYBE	221.17	MAYBE	233.49
	O(n^1)	295.12	MAYBE	7.01	O(n^1)	2.86	O(n^1)	5.26
	O(n^1)	0.31	O(n^1)	4.68	O(n^1)	2.25	O(n^1)	4.93
	O(n^1)	4.03	O(n^1)	5.39	O(n^1)	4.78	O(n^1)	6.45
	O(1)	0.43	O(1)	2.17	O(n^1)	1.99	O(1)	2.26
	O(1)	0.4	O(1)	2.24	O(n^1)	2.18	O(1)	2.38
	MAYBE	296.44	MAYBE	9.84	O(n^1)	3.63	O(n^1)	8.17
	MAYBE	10.93	MAYBE	2.65	TIMEOUT	300	TIMEOUT	300
	TIMEOUT	300	MAYBE	3.15	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.15	MAYBE	57.63	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.24	MAYBE	7.99	O(n^1)	2.5	O(n^1)	6.57
	O(n^1)	0.36	O(n^1)	7.77	O(n^1)	1.96	O(n^1)	7.95
	MAYBE	18.02	MAYBE	2.38	TIMEOUT	300	TIMEOUT	300
	O(n^1)	0.34	O(n^1)	4.56	O(n^1)	2.01	O(n^1)	4.9
	O(n^1)	295.16	MAYBE	1.98	TIMEOUT	300	O(n^1)	300
	O(1)	0.15	O(1)	2.16	O(1)	1.79	O(1)	1.89
	O(n^1)	45.55	MAYBE	2.2	O(n^1)	300	O(n^1)	299.81
	MAYBE	295.18	MAYBE	9.17	O(n^1)	2.9	O(n^1)	6.84
	O(n^2)	18.43	MAYBE	2.54	TIMEOUT	300	TIMEOUT	300
	O(n^2)	55.44	MAYBE	3.19	TIMEOUT	300	TIMEOUT	300
	O(n^1)	1.15	O(n^1)	9.55	O(n^1)	2.81	O(n^1)	10.16
	MAYBE	295.95	MAYBE	2.2	TIMEOUT	300	TIMEOUT	300
	MAYBE	133.65	MAYBE	84.71	TIMEOUT	300	TIMEOUT	300
	TIMEOUT	300	MAYBE	299.94	TIMEOUT	300	TIMEOUT	300
	MAYBE	56.71	MAYBE	51.59	TIMEOUT	300	TIMEOUT	300
	MAYBE	296.4	MAYBE	8.72	O(n^1)	2.98	O(n^1)	7.08
	MAYBE	295.16	MAYBE	182.66	TIMEOUT	300	TIMEOUT	300
	MAYBE	215.47	MAYBE	2.52	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.16	EXP	5.27	TIMEOUT	300	EXP	299.82
	MAYBE	296.08	MAYBE	11.09	O(n^1)	3.69	O(n^1)	9.52
	MAYBE	22.18	MAYBE	2.83	TIMEOUT	300	TIMEOUT	300
	TIMEOUT	300	MAYBE	4.27	TIMEOUT	300	TIMEOUT	300
	MAYBE	25.86	MAYBE	65.72	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.93	MAYBE	2.29	TIMEOUT	300	TIMEOUT	300
	O(n^1)	1.19	O(n^1)	11.65	O(n^1)	2.3	O(n^1)	12.44
	TIMEOUT	300	MAYBE	3.02	TIMEOUT	300	TIMEOUT	300
	MAYBE	14.41	MAYBE	8.27	MAYBE	5.3	MAYBE	10.45
	O(n^1)	295.16	MAYBE	8.14	O(n^1)	2.59	O(n^1)	6.13
	O(n^1)	5.76	MAYBE	2.23	O(n^1)	2.59	O(n^1)	2.69
	MAYBE	19.83	MAYBE	2.58	TIMEOUT	300	TIMEOUT	300
	O(n^1)	0.5	O(1)	2.32	O(n^1)	2.04	O(1)	2.62
	MAYBE	296.22	MAYBE	11.39	O(n^1)	5.56	O(n^1)	9.51
	MAYBE	295.27	MAYBE	39.65	TIMEOUT	300	TIMEOUT	300
	TIMEOUT	300	MAYBE	7.73	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.21	MAYBE	30.05	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.63	MAYBE	9.67	O(n^1)	2.7	O(n^1)	5.11
	O(n^1)	9.81	MAYBE	141.56	O(n^2)	1.94	O(n^1)	10.19
	MAYBE	25.52	MAYBE	2.45	TIMEOUT	300	TIMEOUT	300
	O(1)	1.5	MAYBE	11.97	O(1)	1.74	O(1)	1.88
	O(n^1)	295.04	MAYBE	1.86	O(n^1)	300	O(n^1)	300
	MAYBE	294.92	MAYBE	12.39	MAYBE	5.66	MAYBE	9.23
	O(1)	0.14	O(1)	2.07	O(1)	1.71	O(1)	1.89
	MAYBE	295.15	MAYBE	8.73	O(n^1)	3.01	O(n^1)	6.75
	O(n^1)	0.58	O(n^1)	14.88	O(n^1)	2.01	O(n^1)	15.08
	O(n^2)	40.31	MAYBE	2.3	TIMEOUT	300	TIMEOUT	300
	O(1)	0.31	O(1)	2.17	O(1)	1.76	O(1)	2.03
	O(n^1)	0.5	O(n^1)	4.55	O(n^2)	1.99	O(n^1)	4.92
	MAYBE	295.15	MAYBE	11.22	O(n^1)	3.14	O(n^1)	6.97
	O(n^1)	9.39	O(n^1)	18.02	O(n^2)	2.09	O(n^1)	18.4
	TIMEOUT	300	MAYBE	2.95	TIMEOUT	300	TIMEOUT	300
	O(n^1)	295.15	EXP	7.77	O(n^2)	2.34	O(n^2)	8.32
	MAYBE	296.26	MAYBE	7.76	O(n^1)	3.17	O(n^1)	6.13
	MAYBE	20.4	MAYBE	299.94	TIMEOUT	300	TIMEOUT	300
	TIMEOUT	300	MAYBE	2.78	TIMEOUT	300	TIMEOUT	300
	MAYBE	113.54	MAYBE	10.62	TIMEOUT	300	TIMEOUT	300
	MAYBE	297.1	MAYBE	2.1	TIMEOUT	300	TIMEOUT	300
	MAYBE	12.73	MAYBE	2.59	TIMEOUT	300	TIMEOUT	300
	O(n^2)	52.76	MAYBE	2.7	TIMEOUT	300	TIMEOUT	300
	O(1)	0.31	O(1)	2.14	O(1)	1.8	O(1)	1.94
	MAYBE	295.05	MAYBE	2.67	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.15	MAYBE	10.13	O(n^1)	2.69	O(n^1)	6.41
	MAYBE	32.74	MAYBE	2.99	TIMEOUT	300	TIMEOUT	300
	MAYBE	1.69	MAYBE	9.86	MAYBE	4.55	MAYBE	4.69
	MAYBE	295.15	MAYBE	7.77	O(n^1)	2.5	O(n^1)	5.21
	MAYBE	295.13	MAYBE	13.36	MAYBE	123.13	MAYBE	121.91
	O(n^1)	7.04	MAYBE	13.62	O(n^1)	2.22	O(n^1)	5.98
	MAYBE	298.0	MAYBE	11.27	O(n^1)	4.9	O(n^1)	9.86
	O(n^1)	0.74	O(n^1)	10.73	O(n^1)	2.08	O(n^1)	10.58
	TIMEOUT	300	MAYBE	8.54	TIMEOUT	300	TIMEOUT	300
	O(n^2)	21.35	MAYBE	44.62	O(n^2)	3.01	O(n^2)	16.71
	O(n^1)	161.51	MAYBE	10.16	O(n^1)	2.14	O(n^1)	4.94
	O(n^1)	0.4	O(n^1)	4.37	O(n^1)	2.0	O(n^1)	4.53
	O(n^1)	0.62	O(n^1)	3.8	O(n^1)	1.96	O(n^1)	4.06
	MAYBE	7.1	MAYBE	9.05	MAYBE	5.09	MAYBE	7.37
	O(n^1)	295.11	MAYBE	2.15	TIMEOUT	300	TIMEOUT	300
	MAYBE	187.34	MAYBE	2.5	TIMEOUT	300	TIMEOUT	300
	TIMEOUT	300	MAYBE	3.07	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.1	MAYBE	2.34	TIMEOUT	300	TIMEOUT	300
	O(n^1)	295.24	MAYBE	2.11	TIMEOUT	300	TIMEOUT	300
	MAYBE	184.84	MAYBE	2.98	TIMEOUT	300	TIMEOUT	300
	O(n^3)	121.59	MAYBE	2.87	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.9	MAYBE	2.78	TIMEOUT	300	TIMEOUT	300
	MAYBE	296.31	MAYBE	2.35	TIMEOUT	300	TIMEOUT	300
	O(n^1)	0.79	O(n^1)	16.97	O(n^1)	2.43	O(n^1)	17.21
	TIMEOUT	300	MAYBE	3.41	TIMEOUT	300	TIMEOUT	300
	O(1)	0.53	O(1)	2.32	O(1)	1.94	O(1)	2.08
	MAYBE	296.27	MAYBE	6.22	O(n^1)	3.41	O(n^1)	4.53
	O(n^1)	6.96	O(n^1)	2.46	O(n^1)	2.27	O(n^1)	2.56
	TIMEOUT	300	MAYBE	3.34	TIMEOUT	300	TIMEOUT	300
	MAYBE	6.54	MAYBE	20.43	MAYBE	60.57	MAYBE	61.66
	O(n^1)	295.14	MAYBE	6.73	O(n^1)	2.87	O(n^1)	5.36
	O(n^1)	0.51	O(n^1)	4.54	O(n^1)	2.2	O(n^1)	4.86
	MAYBE	295.14	MAYBE	2.32	TIMEOUT	300	TIMEOUT	300
	O(n^1)	0.69	O(1)	2.15	O(1)	2.2	O(1)	2.31
	O(n^1)	0.88	O(1)	2.21	O(1)	2.28	O(1)	2.38
	MAYBE	295.87	MAYBE	6.72	O(n^1)	3.77	O(n^1)	5.4
	O(n^1)	0.76	O(n^1)	13.36	O(n^2)	2.2	O(n^1)	13.28
	TIMEOUT	300	MAYBE	2.9	TIMEOUT	300	TIMEOUT	300
	O(n^3)	35.47	O(n^3)	7.66	TIMEOUT	300	O(n^3)	300
	O(n^3)	41.49	O(n^3)	11.41	TIMEOUT	300	O(n^3)	300
	MAYBE	295.54	MAYBE	10.6	O(n^1)	5.03	O(n^1)	10.05
	O(n^1)	8.07	O(n^1)	14.61	O(n^1)	2.04	O(n^1)	14.92
	TIMEOUT	300	MAYBE	238.55	TIMEOUT	300	TIMEOUT	300
	O(n^1)	23.9	O(n^1)	18.32	O(n^1)	2.11	O(n^1)	18.09
	MAYBE	295.85	MAYBE	2.74	TIMEOUT	300	TIMEOUT	300
	MAYBE	298.51	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	296.3	MAYBE	2.97	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.25	MAYBE	3.89	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.11	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.45	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.23	MAYBE	299.99	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.78	MAYBE	299.96	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.25	MAYBE	2.16	O(n^1)	300	TIMEOUT	300
	MAYBE	159.93	MAYBE	3.29	TIMEOUT	300	TIMEOUT	300
	TIMEOUT	300	MAYBE	2.49	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.63	MAYBE	2.37	O(n^1)	300	TIMEOUT	300
	MAYBE	295.1	MAYBE	299.86	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.92	MAYBE	8.2	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.19	MAYBE	14.86	TIMEOUT	300	TIMEOUT	300
	MAYBE	43.16	MAYBE	3.22	TIMEOUT	300	TIMEOUT	300
	O(n^1)	295.07	MAYBE	1.99	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.07	MAYBE	9.73	MAYBE	68.08	MAYBE	71.98
	MAYBE	295.1	MAYBE	2.34	TIMEOUT	300	TIMEOUT	300
	O(n^1)	295.17	MAYBE	2.0	O(n^1)	300	O(n^1)	300
	MAYBE	295.14	MAYBE	27.39	TIMEOUT	300	MAYBE	299.87
	MAYBE	295.95	MAYBE	2.66	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.4	MAYBE	15.87	O(n^1)	23.79	O(n^1)	27.3
	MAYBE	295.45	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	296.45	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.71	MAYBE	22.27	O(n^1)	107.82	O(n^1)	133.46
	MAYBE	295.22	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.33	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.19	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.23	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.17	MAYBE	10.37	O(n^1)	11.34	O(n^1)	12.39
	MAYBE	295.67	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	299.84	MAYBE	35.34	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.2	MAYBE	13.02	O(n^1)	22.39	O(n^1)	24.96
	MAYBE	295.19	MAYBE	299.98	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.2	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.2	MAYBE	299.97	TIMEOUT	300	TIMEOUT	300
	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	296.66	MAYBE	11.44	O(n^1)	5.63	O(n^1)	11.65
	TIMEOUT	300	MAYBE	23.45	O(n^1)	2.46	O(n^1)	19.59
	MAYBE	295.89	MAYBE	299.95	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.45	MAYBE	11.43	O(n^1)	15.24	O(n^1)	15.83
	MAYBE	298.46	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	TIMEOUT	300	MAYBE	299.94	TIMEOUT	300	TIMEOUT	300
	O(n^1)	295.22	MAYBE	250.91	O(n^1)	2.51	O(n^1)	252.5
	O(n^1)	299.62	MAYBE	110.82	O(n^1)	2.2	O(n^1)	35.45
	MAYBE	296.4	MAYBE	9.69	O(n^1)	7.43	O(n^1)	9.52
	MAYBE	296.16	MAYBE	9.8	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.84	MAYBE	11.52	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.28	MAYBE	11.25	O(n^1)	12.34	O(n^1)	17.25
	MAYBE	295.82	O(n^3)	30.79	TIMEOUT	300	O(n^3)	300
	MAYBE	295.22	MAYBE	161.29	TIMEOUT	300	TIMEOUT	300
	O(n^2)	295.84	O(n^2)	10.12	TIMEOUT	300	O(n^2)	300
	MAYBE	295.57	MAYBE	299.95	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.77	MAYBE	6.27	O(n^1)	3.92	O(n^1)	5.02
	O(n^2)	39.22	MAYBE	2.97	TIMEOUT	300	TIMEOUT	300
	TIMEOUT	300	MAYBE	3.11	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.78	MAYBE	8.14	O(n^1)	6.21	O(n^1)	7.9
	O(n^2)	300	O(n^2)	2.9	O(n^2)	6.29	O(n^2)	8.71
	MAYBE	300	MAYBE	7.64	TIMEOUT	300	TIMEOUT	300
	O(n^1)	6.73	O(n^1)	4.82	O(n^1)	3.39	O(n^1)	8.64
	O(n^1)	8.67	MAYBE	6.98	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.11	MAYBE	8.13	O(n^1)	2.76	O(n^1)	6.18
	O(n^2)	2.08	O(n^2)	5.65	O(n^2)	2.15	O(n^2)	6.02
	MAYBE	295.21	MAYBE	2.44	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.17	MAYBE	6.01	O(n^1)	3.86	O(n^1)	4.91
	O(n^2)	298.11	O(n^2)	7.78	O(n^2)	3.78	O(n^2)	9.92
	TIMEOUT	300	MAYBE	28.37	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.28	MAYBE	3.21	TIMEOUT	300	TIMEOUT	300
	MAYBE	297.26	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	297.45	MAYBE	4.52	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.18	MAYBE	4.8	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.39	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.28	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.3	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	296.33	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	296.0	MAYBE	2.28	TIMEOUT	300	TIMEOUT	300
	TIMEOUT	300	MAYBE	5.7	TIMEOUT	300	TIMEOUT	300
	TIMEOUT	300	MAYBE	2.94	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.86	MAYBE	2.89	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.68	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	TIMEOUT	300	MAYBE	26.18	TIMEOUT	300	TIMEOUT	300
	MAYBE	243.59	MAYBE	17.08	TIMEOUT	300	TIMEOUT	300
	MAYBE	69.29	MAYBE	5.27	TIMEOUT	300	TIMEOUT	300
	O(n^1)	295.54	MAYBE	2.0	O(n^1)	300	O(n^1)	299.89
	MAYBE	295.86	MAYBE	2.48	TIMEOUT	300	TIMEOUT	300
	MAYBE	294.69	MAYBE	2.52	TIMEOUT	300	TIMEOUT	300
	MAYBE	296.14	MAYBE	2.28	TIMEOUT	300	TIMEOUT	300
	MAYBE	202.91	MAYBE	299.88	TIMEOUT	300	TIMEOUT	300
	MAYBE	297.24	MAYBE	3.14	TIMEOUT	300	TIMEOUT	300
	MAYBE	272.27	MAYBE	299.92	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.27	MAYBE	21.14	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.2	MAYBE	13.01	O(n^1)	9.81	O(n^1)	13.59
	MAYBE	294.95	MAYBE	300.0	TIMEOUT	300	TIMEOUT	300
	MAYBE	298.44	MAYBE	299.86	TIMEOUT	300	TIMEOUT	300
	MAYBE	294.41	MAYBE	15.23	O(n^1)	15.9	O(n^1)	20.95
	O(n^3)	291.34	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	TIMEOUT	300	MAYBE	300.0	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.26	MAYBE	3.06	TIMEOUT	300	TIMEOUT	300
	O(n^2)	217.36	MAYBE	299.99	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.21	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	O(n^1)	297.18	MAYBE	10.98	O(n^1)	3.05	O(n^1)	7.42
	O(n^2)	98.98	MAYBE	13.71	TIMEOUT	300	TIMEOUT	300
	MAYBE	300	MAYBE	5.14	TIMEOUT	300	TIMEOUT	300
	O(n^1)	296.08	MAYBE	10.64	O(n^1)	5.6	O(n^1)	8.45
	O(n^2)	23.31	MAYBE	299.93	O(n^2)	8.14	O(n^2)	299.94
	TIMEOUT	300	MAYBE	86.92	TIMEOUT	300	TIMEOUT	300
	MAYBE	31.14	MAYBE	2.46	TIMEOUT	300	TIMEOUT	300
	O(n^1)	9.7	MAYBE	6.04	O(n^1)	3.65	O(n^1)	8.64
	O(n^1)	41.75	MAYBE	17.21	TIMEOUT	300	TIMEOUT	300
	O(n^1)	295.09	MAYBE	7.95	O(n^1)	2.49	O(n^1)	5.92
	MAYBE	300	MAYBE	2.51	TIMEOUT	300	TIMEOUT	300
	O(n^1)	295.58	MAYBE	7.64	O(n^1)	2.71	O(n^1)	5.61
	MAYBE	298.95	MAYBE	2.53	TIMEOUT	300	TIMEOUT	300
	MAYBE	296.67	MAYBE	6.96	O(n^1)	4.2	O(n^1)	6.01
	MAYBE	295.2	MAYBE	6.41	TIMEOUT	300	TIMEOUT	300
	MAYBE	296.7	MAYBE	2.98	TIMEOUT	300	TIMEOUT	300
	MAYBE	296.15	MAYBE	9.91	O(n^1)	9.32	O(n^1)	11.01
	O(n^3)	295.34	O(n^3)	22.65	TIMEOUT	300	O(n^3)	300
	MAYBE	297.68	MAYBE	299.95	TIMEOUT	300	TIMEOUT	300
	O(n^2)	299.63	O(n^2)	6.42	TIMEOUT	300	O(n^2)	300
	MAYBE	295.5	MAYBE	299.83	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.37	MAYBE	9.21	O(n^1)	3.38	O(n^1)	7.18
	O(n^2)	23.05	MAYBE	2.65	TIMEOUT	300	TIMEOUT	300
	MAYBE	255.46	MAYBE	2.24	TIMEOUT	300	TIMEOUT	300
	MAYBE	296.26	MAYBE	5.78	O(n^1)	3.38	O(n^1)	4.44
	O(n^2)	12.55	O(n^2)	3.18	O(n^2)	4.45	O(n^2)	5.93
	TIMEOUT	300	MAYBE	5.22	TIMEOUT	300	TIMEOUT	300
	O(n^1)	1.56	O(n^1)	3.93	O(n^1)	2.85	O(n^1)	6.75
	O(n^1)	5.18	MAYBE	4.11	TIMEOUT	300	TIMEOUT	300
	O(n^1)	295.15	MAYBE	6.51	O(n^1)	2.54	O(n^1)	4.81
	O(n^1)	0.86	O(n^1)	4.3	O(n^1)	1.85	O(n^1)	4.33
	MAYBE	58.11	MAYBE	2.35	TIMEOUT	300	TIMEOUT	300
	O(n^1)	298.24	MAYBE	7.23	O(n^1)	3.13	O(n^1)	5.33
	O(n^1)	7.05	O(n^1)	5.18	O(n^1)	2.22	O(n^1)	5.51
	MAYBE	122.68	MAYBE	2.79	TIMEOUT	300	TIMEOUT	300
	O(1)	0.64	O(1)	2.74	O(1)	1.9	O(1)	2.25
	O(1)	58.36	O(1)	2.79	O(1)	1.91	O(1)	2.09
	O(n^3)	295.4	O(n^2)	10.58	O(n^2)	4.14	O(n^2)	13.34
	MAYBE	5.33	MAYBE	12.81	O(1)	3.13	O(1)	3.95
	MAYBE	295.14	MAYBE	1.95	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.1	MAYBE	1.97	TIMEOUT	300	TIMEOUT	300
	O(n^2)	295.36	MAYBE	2.29	O(n^2)	8.51	O(n^2)	11.41
	O(n^1)	62.64	O(n^1)	3.48	O(n^1)	2.02	O(n^1)	3.65
	O(n^1)	118.57	O(n^1)	2.97	O(n^1)	1.99	O(n^1)	2.97
	O(n^1)	6.2	MAYBE	12.2	O(n^1)	2.27	O(n^1)	4.74
	O(n^1)	0.47	MAYBE	36.32	O(n^1)	2.03	O(n^1)	6.22
	O(n^2)	11.45	MAYBE	2.2	O(n^1)	300	O(n^1)	299.9
	O(n^1)	295.15	MAYBE	2.1	O(n^1)	72.5	O(n^1)	73.95
	O(n^1)	295.14	MAYBE	2.1	O(n^1)	258.32	O(n^1)	259.55
	MAYBE	7.06	MAYBE	2.17	TIMEOUT	300	TIMEOUT	300
	MAYBE	10.3	MAYBE	2.08	MAYBE	7.31	MAYBE	7.41
	MAYBE	8.87	MAYBE	2.05	MAYBE	7.25	MAYBE	7.38
	MAYBE	9.05	MAYBE	2.09	MAYBE	67.74	MAYBE	77.81
	MAYBE	295.13	MAYBE	41.78	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.13	MAYBE	40.42	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.04	MAYBE	41.32	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.11	MAYBE	40.62	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.06	MAYBE	41.21	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.14	MAYBE	40.46	TIMEOUT	300	TIMEOUT	300
	TIMEOUT	300	MAYBE	41.81	TIMEOUT	300	TIMEOUT	300
	MAYBE	295.17	MAYBE	41.58	O(n^1)	300	O(n^1)	300
	MAYBE	295.2	MAYBE	40.48	TIMEOUT	300	TIMEOUT	300
	O(n^1)	2.07	O(n^1)	2.85	O(n^1)	2.03	O(n^1)	2.85
	MAYBE	6.3	MAYBE	16.4	TIMEOUT	300	TIMEOUT	300
	MAYBE	39.87	O(n^1)	2.82	O(n^1)	1.9	O(n^1)	2.92