Tool	YES	MAYBE	TIMEOUT
Induction Technique	0	1001 [4.36]	81
Induction Technique & Improvements	0	1010 [4.28]	72
TCT2	373 [35.75]	549 [229.68]	160
TCT3	386 [52.19]	675 [157.82]	21
AProVE	411 [20.33]	137 [30.12]	534

Example	Induction Technique		Induction Technique & Improvements		TCT2		TCT3		AProVE
	Ω(n^1),INF	2.54	Ω(n^1),INF	2.36	MAYBE	299.32	MAYBE	292.26	TIMEOUT	300
	Ω(n^3),INF	2.23	Ω(n^3),INF	2.22	Ω(1),O(n^3)	33.29	Ω(1),O(n^3)	23.92	Ω(1),O(n^3)	12.88
	Ω(n^1),INF	2.22	Ω(n^1),INF	2.14	TIMEOUT	300	MAYBE	292.09	TIMEOUT	300
	MAYBE	1.46	Ω(n^1),INF	1.61	Ω(1),O(n^1)	5.12	Ω(1),O(n^1)	7.09	Ω(1),O(n^1)	12.27
	Ω(n^2),INF	2.42	Ω(n^2),INF	2.68	Ω(1),O(n^3)	21.27	Ω(1),O(n^3)	9.27	Ω(1),O(n^3)	2.57
	Ω(n^1),INF	8.43	Ω(n^1),INF	8.56	Ω(1),O(n^2)	30.25	Ω(1),O(n^2)	292.22	Ω(1),O(n^2)	12.57
	Ω(n^1),INF	2.3	Ω(n^1),INF	2.28	Ω(1),O(n^2)	30.26	Ω(1),O(n^2)	292.34	Ω(1),O(n^2)	12.62
	Ω(n^1),INF	2.33	Ω(n^1),INF	2.23	MAYBE	49.25	MAYBE	14.32	MAYBE	296.85
	Ω(n^1),INF	2.27	Ω(n^1),INF	2.4	MAYBE	56.68	MAYBE	20.32	TIMEOUT	300
	Ω(n^1),INF	1.52	Ω(n^1),INF	1.56	Ω(1),O(n^1)	0.88	Ω(1),O(n^1)	0.44	Ω(1),O(n^2)	2.22
	Ω(n^2),INF	2.44	Ω(n^2),INF	2.57	Ω(1),O(n^2)	4.21	Ω(1),O(n^2)	2.18	Ω(1),O(n^2)	2.17
	Ω(n^1),INF	1.41	Ω(n^1),INF	1.44	Ω(1),O(n^1)	0.42	Ω(1),O(n^1)	0.17	Ω(1),O(n^2)	2.12
	Ω(n^1),INF	1.48	Ω(n^1),INF	1.5	Ω(1),O(n^1)	2.19	Ω(1),O(n^1)	0.41	Ω(1),O(n^1)	2.16
	MAYBE	1.29	Ω(n^1),INF	1.78	TIMEOUT	300	MAYBE	20.64	TIMEOUT	300
	MAYBE	1.41	MAYBE	1.32	Ω(1),O(1)	0.24	Ω(1),O(1)	0.06	Ω(1),O(1)	1.72
	Ω(n^1),INF	2.22	Ω(n^1),INF	2.42	Ω(1),O(n^2)	18.54	Ω(1),O(n^2)	4.56	Ω(1),O(n^2)	2.25
	MAYBE	2.39	Ω(2^n),INF	2.66	MAYBE	299.4	MAYBE	11.33	MAYBE	3.83
	MAYBE	1.37	MAYBE	1.42	Ω(1),O(1)	1.25	Ω(1),O(1)	0.45	Ω(1),O(1)	1.75
	Ω(n^1),INF	1.65	Ω(n^1),INF	1.75	Ω(1),O(n^1)	0.42	Ω(1),O(n^1)	0.31	Ω(1),O(n^1)	1.93
	Ω(n^1),INF	3.88	Ω(n^1),INF	7.66	MAYBE	299.27	MAYBE	39.78	TIMEOUT	300
	MAYBE	1.58	MAYBE	1.67	Ω(1),O(n^1)	2.7	Ω(1),O(n^1)	0.44	Ω(1),O(n^1)	2.27
	Ω(2^n),INF	1.88	Ω(2^n),INF	1.88	TIMEOUT	300	MAYBE	35.29	TIMEOUT	300
	Ω(n^1),INF	2.19	Ω(n^1),INF	2.1	Ω(1),O(n^1)	30.25	Ω(1),O(n^1)	8.26	Ω(1),O(n^2)	3.41
	Ω(n^1),INF	2.14	Ω(n^1),INF	2.13	Ω(1),O(n^2)	35.01	Ω(1),O(n^2)	41.72	Ω(1),O(n^2)	3.89
	MAYBE	3.77	Ω(n^1),INF	14.6	Ω(1),O(n^1)	15.38	Ω(1),O(n^2)	2.74	Ω(1),O(n^1)	2.06
	Ω(n^1),INF	1.9	Ω(n^1),INF	1.97	Ω(1),O(n^1)	19.41	Ω(1),O(n^2)	11.14	Ω(1),O(n^3)	2.61
	MAYBE	2.16	MAYBE	2.4	Ω(1),O(n^1)	5.96	Ω(1),O(n^2)	2.11	Ω(1),O(n^1)	2.54
	Ω(n^1),INF	1.46	Ω(n^1),INF	1.45	Ω(1),O(n^2)	30.33	Ω(1),O(n^2)	140.22	Ω(1),O(n^2)	2.05
	MAYBE	1.22	MAYBE	1.29	MAYBE	299.27	MAYBE	292.08	TIMEOUT	300
	Ω(n^1),INF	2.27	Ω(n^1),INF	2.39	MAYBE	50.7	MAYBE	16.28	MAYBE	291.98
	MAYBE	1.36	MAYBE	1.28	Ω(1),O(n^1)	4.49	Ω(1),O(n^1)	1.75	Ω(1),O(n^1)	1.92
	MAYBE	1.27	MAYBE	1.57	Ω(1),O(n^1)	1.55	Ω(1),O(n^1)	0.76	Ω(1),O(n^1)	1.96
	MAYBE	1.33	MAYBE	1.38	Ω(1),O(1)	0.29	Ω(1),O(1)	0.11	Ω(1),O(1)	1.75
	MAYBE	1.33	MAYBE	1.57	Ω(1),O(n^1)	1.72	Ω(1),O(n^1)	0.65	Ω(1),O(n^1)	2.07
	Ω(n^3),INF	2.46	Ω(n^3),INF	2.43	Ω(1),O(n^3)	43.24	Ω(1),O(n^3)	30.9	Ω(1),O(n^3)	5.88
	MAYBE	1.42	Ω(n^1),INF	1.66	MAYBE	299.27	MAYBE	174.6	TIMEOUT	300
	Ω(n^2),INF	2.47	Ω(n^2),INF	2.61	MAYBE	299.17	MAYBE	292.18	TIMEOUT	300
	MAYBE	1.23	MAYBE	1.22	Ω(1),O(n^1)	2.91	Ω(1),O(n^1)	1.05	Ω(1),O(n^1)	2.06
	Ω(n^1),INF	2.48	Ω(n^1),INF	2.47	MAYBE	66.04	MAYBE	292.16	MAYBE	184.89
	Ω(n^1),INF	2.7	Ω(n^1),INF	3.49	Ω(1),O(n^2)	28.25	Ω(1),O(n^2)	18.72	Ω(1),O(n^2)	3.13
	Ω(n^1),INF	1.64	Ω(n^1),INF	1.63	Ω(1),O(n^3)	41.75	Ω(1),O(n^3)	60.53	Ω(1),O(n^3)	6.65
	Ω(n^1),INF	1.64	Ω(n^1),INF	1.73	Ω(1),O(n^2)	5.68	Ω(1),O(n^2)	19.04	Ω(1),O(n^2)	2.92
	Ω(n^1),INF	1.63	Ω(n^1),INF	1.69	Ω(1),O(n^2)	6.98	Ω(1),O(n^2)	28.36	Ω(1),O(n^2)	2.92
	Ω(n^1),INF	1.7	Ω(n^1),INF	1.75	Ω(1),O(n^3)	42.54	Ω(1),O(n^3)	55.43	Ω(1),O(n^3)	7.65
	Ω(n^1),INF	2.92	Ω(n^1),INF	3.43	Ω(1),O(n^2)	29.11	Ω(1),O(n^2)	17.13	Ω(1),O(n^2)	3.16
	Ω(n^1),INF	4.24	Ω(n^1),INF	4.37	Ω(1),O(n^1)	5.11	Ω(1),O(n^1)	7.04	Ω(1),O(n^2)	12.41
	Ω(n^1),INF	2.76	Ω(n^1),INF	2.69	Ω(1),O(n^3)	39.34	Ω(1),O(n^2)	11.61	Ω(1),O(n^2)	3.9
	Ω(n^1),INF	1.66	Ω(n^1),INF	1.69	Ω(1),O(n^4)	59.26	Ω(1),O(n^4)	90.77	TIMEOUT	300
	Ω(n^1),INF	2.75	Ω(n^1),INF	3.56	MAYBE	299.24	MAYBE	261.67	TIMEOUT	300
	Ω(n^1),INF	16.77	Ω(n^1),INF	4.51	TIMEOUT	300	MAYBE	292.19	TIMEOUT	300
	Ω(n^1),INF	4.6	Ω(n^1),INF	4.33	MAYBE	299.26	MAYBE	292.2	TIMEOUT	300
	Ω(n^2),INF	2.81	Ω(n^2),INF	4.72	TIMEOUT	300	MAYBE	112.31	TIMEOUT	300
	Ω(n^2),INF	2.59	Ω(n^2),INF	2.73	Ω(1),O(n^2)	16.01	Ω(1),O(n^2)	6.62	Ω(1),O(n^2)	2.35
	Ω(n^2),INF	2.75	Ω(n^2),INF	2.86	MAYBE	299.39	MAYBE	292.42	TIMEOUT	300
	Ω(n^1),INF	3.53	Ω(n^1),INF	3.42	Ω(1),O(n^1)	11.86	Ω(1),O(n^1)	24.42	Ω(1),O(n^1)	2.03
	Ω(n^3),INF	2.49	Ω(n^3),INF	2.47	MAYBE	299.35	MAYBE	292.27	TIMEOUT	300
	Ω(n^3),INF	2.59	Ω(n^3),INF	2.64	MAYBE	299.38	MAYBE	292.5	TIMEOUT	300
	MAYBE	1.36	Ω(n^1),INF	1.69	MAYBE	299.21	MAYBE	292.14	Ω(1),O(n^3)	29.07
	Ω(n^1),INF	1.95	Ω(n^1),INF	1.97	Ω(1),O(n^1)	77.1	Ω(1),O(n^2)	67.07	TIMEOUT	300
	Ω(n^1),INF	1.85	Ω(n^1),INF	1.95	MAYBE	299.18	MAYBE	292.15	TIMEOUT	300
	MAYBE	1.38	Ω(n^1),INF	1.68	MAYBE	299.18	Ω(1),O(n^2)	292.24	TIMEOUT	300
	MAYBE	44.22	Ω(n^1),INF	45.09	Ω(1),O(n^1)	2.7	Ω(1),O(n^1)	6.0	Ω(1),O(n^1)	3.28
	Ω(n^1),INF	1.95	Ω(n^1),INF	2.09	MAYBE	299.28	MAYBE	292.3	TIMEOUT	300
	MAYBE	1.43	Ω(n^1),INF	1.73	Ω(1),O(n^1)	61.24	Ω(1),O(n^1)	292.32	Ω(1),O(n^1)	156.2
	MAYBE	1.44	Ω(n^1),INF	1.78	Ω(1),O(n^1)	299.36	Ω(1),O(n^1)	293.47	Ω(1),O(n^1)	21.56
	TIMEOUT	300	TIMEOUT	300	MAYBE	299.15	MAYBE	292.14	TIMEOUT	300
	Ω(n^1),INF	2.89	Ω(n^1),INF	2.97	TIMEOUT	300	MAYBE	292.11	TIMEOUT	300
	MAYBE	1.28	MAYBE	1.58	MAYBE	30.92	MAYBE	3.55	MAYBE	3.99
	MAYBE	1.87	Ω(n^1),INF	2.66	MAYBE	299.39	MAYBE	8.84	TIMEOUT	300
	Ω(n^1),INF	2.64	Ω(n^1),INF	2.68	MAYBE	299.16	MAYBE	292.22	TIMEOUT	300
	Ω(n^1),INF	2.59	Ω(n^1),INF	3.12	MAYBE	299.34	MAYBE	291.96	TIMEOUT	300
	Ω(n^3),INF	3.77	Ω(n^4),INF	3.68	MAYBE	299.44	MAYBE	292.13	TIMEOUT	300
	Ω(n^2),INF	3.46	Ω(n^2),INF	300	MAYBE	299.43	MAYBE	34.97	TIMEOUT	300
	Ω(n^1),INF	7.8	Ω(n^1),INF	7.82	MAYBE	299.17	MAYBE	292.14	TIMEOUT	300
	Ω(n^1),INF	2.03	Ω(n^1),INF	1.96	TIMEOUT	300	MAYBE	234.0	TIMEOUT	300
	Ω(n^1),INF	1.77	Ω(n^1),INF	1.73	MAYBE	299.16	MAYBE	31.9	TIMEOUT	300
	Ω(n^1),INF	1.79	Ω(n^1),INF	1.93	MAYBE	299.39	MAYBE	292.4	TIMEOUT	300
	Ω(n^2),INF	2.62	Ω(n^2),INF	2.59	MAYBE	299.44	MAYBE	292.24	TIMEOUT	300
	Ω(n^1),INF	1.63	Ω(n^1),INF	1.74	MAYBE	299.33	MAYBE	28.79	TIMEOUT	300
	Ω(n^1),INF	1.57	Ω(n^1),INF	1.61	MAYBE	299.69	MAYBE	46.69	Ω(1),O(n^2)	3.94
	Ω(n^1),INF	4.6	Ω(n^1),INF	4.78	MAYBE	299.36	MAYBE	227.36	TIMEOUT	300
	Ω(n^3),INF	4.08	Ω(n^3),INF	4.46	MAYBE	299.35	MAYBE	292.61	TIMEOUT	300
	MAYBE	1.72	Ω(n^1),INF	2.22	MAYBE	299.18	MAYBE	292.28	Ω(1),O(n^2)	18.83
	Ω(n^3),INF	2.52	Ω(n^3),INF	2.66	MAYBE	299.68	MAYBE	292.75	TIMEOUT	300
	MAYBE	1.24	MAYBE	1.32	Ω(1),O(1)	0.13	Ω(1),O(1)	0.2	Ω(1),O(1)	1.81
	Ω(n^1),INF	2.21	Ω(n^1),INF	3.2	MAYBE	299.32	MAYBE	292.23	TIMEOUT	300
	Ω(n^1),INF	2.27	Ω(n^1),INF	3.27	MAYBE	299.35	MAYBE	292.12	TIMEOUT	300
	Ω(n^1),INF	2.47	Ω(n^1),INF	2.48	MAYBE	299.32	MAYBE	292.69	TIMEOUT	300
	Ω(n^1),INF	3.35	Ω(n^1),INF	3.37	MAYBE	299.4	MAYBE	292.27	TIMEOUT	300
	Ω(n^1),INF	2.79	Ω(n^1),INF	2.87	MAYBE	299.38	MAYBE	14.73	TIMEOUT	300
	Ω(n^1),INF	3.69	Ω(n^1),INF	3.92	MAYBE	299.5	MAYBE	73.02	TIMEOUT	300
	Ω(n^1),INF	3.53	Ω(n^1),INF	3.6	MAYBE	299.18	MAYBE	205.99	Ω(1),O(n^2)	9.91
	Ω(n^1),INF	2.26	Ω(n^1),INF	2.39	TIMEOUT	300	MAYBE	292.1	TIMEOUT	300
	Ω(n^1),INF	2.87	Ω(n^1),INF	3.07	MAYBE	299.21	MAYBE	18.02	TIMEOUT	300
	Ω(n^1),INF	2.4	Ω(n^1),INF	2.34	MAYBE	299.21	MAYBE	30.66	TIMEOUT	300
	Ω(n^1),INF	2.08	Ω(n^1),INF	2.14	MAYBE	299.21	MAYBE	39.35	TIMEOUT	300
	Ω(n^1),INF	2.31	Ω(n^1),INF	2.25	MAYBE	299.44	MAYBE	164.02	TIMEOUT	300
	Ω(n^1),INF	3.05	Ω(n^1),INF	2.91	MAYBE	299.47	MAYBE	43.63	TIMEOUT	300
	Ω(n^2),INF	3.9	Ω(n^2),INF	4.07	MAYBE	299.32	MAYBE	64.75	TIMEOUT	300
	Ω(n^1),INF	2.05	Ω(n^1),INF	1.96	MAYBE	299.38	MAYBE	224.67	TIMEOUT	300
	Ω(n^1),INF	2.06	Ω(n^1),INF	2.12	MAYBE	299.29	MAYBE	33.13	TIMEOUT	300
	Ω(n^1),INF	2.63	Ω(n^1),INF	2.6	MAYBE	299.44	MAYBE	292.61	TIMEOUT	300
	Ω(n^2),INF	3.36	Ω(n^3),INF	3.34	MAYBE	299.54	MAYBE	292.15	TIMEOUT	300
	Ω(n^1),INF	2.22	Ω(n^1),INF	2.15	TIMEOUT	300	MAYBE	292.47	TIMEOUT	300
	Ω(n^1),INF	2.43	Ω(n^1),INF	2.45	TIMEOUT	300	MAYBE	187.42	TIMEOUT	300
	Ω(n^1),INF	1.61	Ω(n^1),INF	1.61	TIMEOUT	300	MAYBE	109.05	TIMEOUT	300
	Ω(n^2),INF	2.58	Ω(n^2),INF	2.43	TIMEOUT	300	MAYBE	111.61	TIMEOUT	300
	MAYBE	3.89	Ω(2^n),INF	1.76	MAYBE	299.48	MAYBE	35.04	TIMEOUT	300
	Ω(n^1),INF	2.66	Ω(n^1),INF	2.88	MAYBE	299.52	MAYBE	292.21	TIMEOUT	300
	Ω(n^1),INF	1.92	Ω(n^1),INF	1.89	MAYBE	299.44	MAYBE	292.2	Ω(1),O(n^2)	50.14
	Ω(n^1),INF	1.93	Ω(n^1),INF	1.95	MAYBE	299.17	MAYBE	292.16	TIMEOUT	300
	Ω(n^1),INF	1.95	Ω(n^1),INF	1.89	MAYBE	299.29	MAYBE	292.08	TIMEOUT	300
	Ω(n^1),INF	1.88	Ω(n^1),INF	1.92	MAYBE	299.17	MAYBE	292.23	TIMEOUT	300
	Ω(n^2),INF	5.22	Ω(n^2),INF	5.39	MAYBE	299.22	MAYBE	297.96	TIMEOUT	300
	Ω(n^1),INF	1.92	Ω(n^1),INF	1.82	MAYBE	299.17	MAYBE	292.17	TIMEOUT	300
	Ω(n^1),INF	2.5	Ω(n^1),INF	2.47	MAYBE	299.48	MAYBE	292.17	TIMEOUT	300
	Ω(n^2),INF	1.99	Ω(n^2),INF	1.81	TIMEOUT	300	MAYBE	292.32	TIMEOUT	300
	Ω(n^1),INF	2.13	Ω(n^1),INF	3.32	TIMEOUT	300	MAYBE	213.47	TIMEOUT	300
	Ω(n^1),INF	2.09	Ω(n^1),INF	2.05	TIMEOUT	300	MAYBE	65.33	TIMEOUT	300
	Ω(n^1),INF	2.35	Ω(n^1),INF	2.32	TIMEOUT	300	MAYBE	100.68	TIMEOUT	300
	Ω(n^1),INF	2.18	Ω(n^1),INF	2.21	MAYBE	299.32	MAYBE	292.6	TIMEOUT	300
	Ω(n^1),INF	2.1	Ω(n^1),INF	2.01	MAYBE	299.15	MAYBE	292.24	TIMEOUT	300
	Ω(n^1),INF	1.72	Ω(n^1),INF	1.69	TIMEOUT	300	MAYBE	292.1	TIMEOUT	300
	Ω(n^2),INF	3.95	Ω(n^2),INF	3.83	MAYBE	299.24	MAYBE	36.77	TIMEOUT	300
	Ω(n^1),INF	3.58	Ω(n^1),INF	3.24	MAYBE	299.22	MAYBE	21.6	TIMEOUT	300
	Ω(n^1),INF	1.71	Ω(n^1),INF	1.67	MAYBE	299.58	MAYBE	66.18	Ω(1),O(n^2)	88.35
	Ω(n^1),INF	2.49	Ω(n^1),INF	2.55	MAYBE	299.24	MAYBE	12.95	TIMEOUT	300
	Ω(n^1),INF	1.78	Ω(n^1),INF	1.74	MAYBE	299.4	MAYBE	292.08	Ω(1),O(n^2)	116.97
	Ω(n^2),INF	2.9	Ω(n^2),INF	2.94	TIMEOUT	300	MAYBE	292.28	TIMEOUT	300
	Ω(n^1),INF	2.57	Ω(n^1),INF	2.44	MAYBE	299.46	MAYBE	292.3	TIMEOUT	300
	Ω(n^1),INF	1.51	Ω(n^1),INF	1.62	MAYBE	299.18	MAYBE	200.82	TIMEOUT	300
	Ω(n^2),INF	2.89	Ω(n^2),INF	2.97	MAYBE	299.32	MAYBE	296.49	TIMEOUT	300
	Ω(n^1),INF	2.21	Ω(n^1),INF	2.18	TIMEOUT	300	MAYBE	105.96	TIMEOUT	300
	Ω(n^1),INF	5.11	Ω(n^1),INF	5.04	MAYBE	299.22	MAYBE	73.98	TIMEOUT	300
	Ω(n^1),INF	1.53	Ω(n^1),INF	1.6	MAYBE	299.38	MAYBE	253.7	TIMEOUT	300
	Ω(n^1),INF	3.4	Ω(n^1),INF	3.44	TIMEOUT	300	MAYBE	293.79	TIMEOUT	300
	Ω(n^1),INF	1.78	Ω(n^1),INF	1.71	MAYBE	299.35	MAYBE	112.98	TIMEOUT	300
	Ω(n^1),INF	1.67	Ω(n^1),INF	1.58	TIMEOUT	300	MAYBE	8.77	Ω(1),O(n^2)	4.04
	Ω(n^1),INF	1.63	Ω(n^1),INF	1.63	MAYBE	299.35	MAYBE	63.04	TIMEOUT	300
	MAYBE	5.6	Ω(n^1),INF	5.51	TIMEOUT	300	MAYBE	292.2	TIMEOUT	300
	Ω(n^1),INF	2.35	Ω(n^1),INF	2.31	MAYBE	299.33	MAYBE	292.18	TIMEOUT	300
	Ω(n^1),INF	9.52	Ω(n^1),INF	9.22	MAYBE	299.34	MAYBE	292.33	TIMEOUT	300
	Ω(n^1),INF	2.06	Ω(n^1),INF	2.19	MAYBE	299.36	MAYBE	292.15	TIMEOUT	300
	MAYBE	1.53	Ω(n^1),INF	1.89	MAYBE	299.66	MAYBE	292.59	TIMEOUT	300
	MAYBE	5.1	Ω(n^1),INF	5.61	MAYBE	299.33	MAYBE	292.18	TIMEOUT	300
	Ω(n^1),INF	1.79	Ω(n^1),INF	2.03	MAYBE	299.55	MAYBE	292.35	TIMEOUT	300
	MAYBE	1.63	Ω(n^1),INF	2.22	TIMEOUT	300	MAYBE	292.15	TIMEOUT	300
	Ω(n^1),INF	2.46	Ω(n^1),INF	2.78	MAYBE	299.3	MAYBE	292.82	TIMEOUT	300
	Ω(n^1),INF	2.62	Ω(n^1),INF	2.74	TIMEOUT	300	MAYBE	292.41	TIMEOUT	300
	Ω(n^1),INF	1.8	Ω(n^1),INF	1.7	MAYBE	299.49	MAYBE	38.9	TIMEOUT	300
	Ω(n^1),INF	1.61	Ω(n^1),INF	1.76	TIMEOUT	300	MAYBE	292.29	TIMEOUT	300
	Ω(n^2),INF	1.89	Ω(n^2),INF	1.84	MAYBE	299.43	MAYBE	292.25	TIMEOUT	300
	Ω(n^1),INF	1.94	Ω(n^1),INF	2.08	MAYBE	299.67	MAYBE	292.34	TIMEOUT	300
	Ω(n^2),INF	2.02	Ω(n^2),INF	1.98	TIMEOUT	300	MAYBE	292.41	TIMEOUT	300
	Ω(n^2),INF	2.16	Ω(n^2),INF	2.21	TIMEOUT	300	MAYBE	292.24	TIMEOUT	300
	Ω(n^2),INF	2.07	Ω(n^2),INF	2.01	TIMEOUT	300	MAYBE	292.23	TIMEOUT	300
	Ω(n^1),INF	1.78	Ω(n^1),INF	1.94	TIMEOUT	300	MAYBE	292.18	TIMEOUT	300
	Ω(n^1),INF	1.82	Ω(n^1),INF	1.8	TIMEOUT	300	MAYBE	34.74	TIMEOUT	300
	Ω(n^2),INF	1.94	Ω(n^2),INF	1.8	MAYBE	299.16	MAYBE	292.17	TIMEOUT	300
	Ω(n^1),INF	1.63	Ω(n^1),INF	1.64	MAYBE	299.23	MAYBE	36.74	TIMEOUT	300
	Ω(n^1),INF	1.72	Ω(n^1),INF	1.69	MAYBE	299.24	MAYBE	47.16	TIMEOUT	300
	Ω(n^1),INF	1.75	Ω(n^1),INF	1.72	MAYBE	299.35	MAYBE	87.88	TIMEOUT	300
	Ω(n^1),INF	1.76	Ω(n^1),INF	1.77	TIMEOUT	300	MAYBE	62.67	TIMEOUT	300
	Ω(n^1),INF	1.73	Ω(n^1),INF	1.71	MAYBE	299.22	MAYBE	61.1	TIMEOUT	300
	Ω(n^1),INF	1.64	Ω(n^1),INF	1.69	MAYBE	299.32	MAYBE	292.1	TIMEOUT	300
	Ω(n^2),INF	2.11	Ω(n^2),INF	1.98	MAYBE	299.36	MAYBE	87.11	TIMEOUT	300
	Ω(n^2),INF	2.09	Ω(n^2),INF	2.01	TIMEOUT	300	MAYBE	292.4	TIMEOUT	300
	Ω(n^1),INF	2.01	Ω(n^1),INF	2.03	MAYBE	299.4	MAYBE	292.29	TIMEOUT	300
	Ω(n^1),INF	1.77	Ω(n^1),INF	1.75	TIMEOUT	300	MAYBE	233.49	TIMEOUT	300
	Ω(n^1),INF	1.94	Ω(n^1),INF	1.95	MAYBE	299.51	MAYBE	292.48	TIMEOUT	300
	Ω(n^1),INF	2.31	Ω(n^1),INF	2.43	TIMEOUT	300	MAYBE	292.29	TIMEOUT	300
	Ω(n^1),INF	1.79	Ω(n^1),INF	1.83	MAYBE	299.36	MAYBE	292.16	TIMEOUT	300
	Ω(n^1),INF	1.99	Ω(n^1),INF	1.85	MAYBE	299.18	MAYBE	28.33	TIMEOUT	300
	Ω(n^1),INF	2.0	Ω(n^1),INF	1.91	MAYBE	299.13	MAYBE	128.2	Ω(1),O(n^2)	60.82
	Ω(n^1),INF	1.63	Ω(n^1),INF	1.61	MAYBE	299.18	MAYBE	123.85	TIMEOUT	300
	Ω(n^1),INF	2.73	Ω(n^1),INF	2.56	TIMEOUT	300	MAYBE	91.27	TIMEOUT	300
	Ω(n^1),INF	1.59	Ω(n^1),INF	1.65	MAYBE	299.2	MAYBE	154.63	TIMEOUT	300
	Ω(n^1),INF	3.93	Ω(n^1),INF	3.67	MAYBE	299.35	MAYBE	31.4	TIMEOUT	300
	Ω(n^1),INF	2.2	Ω(n^1),INF	2.19	MAYBE	299.16	MAYBE	292.09	Ω(1),O(n^2)	213.17
	Ω(n^1),INF	2.17	Ω(n^1),INF	2.23	MAYBE	299.3	MAYBE	292.25	TIMEOUT	300
	Ω(n^1),INF	2.41	Ω(n^1),INF	2.21	MAYBE	299.17	MAYBE	292.49	TIMEOUT	300
	Ω(n^1),INF	1.52	Ω(n^1),INF	1.64	MAYBE	299.61	MAYBE	292.16	TIMEOUT	300
	Ω(n^1),INF	1.61	Ω(n^1),INF	1.69	TIMEOUT	300	MAYBE	292.22	TIMEOUT	300
	Ω(n^1),INF	1.58	Ω(n^1),INF	1.6	MAYBE	299.23	MAYBE	14.9	Ω(1),O(n^2)	76.08
	Ω(n^1),INF	1.72	Ω(n^1),INF	1.64	MAYBE	299.17	MAYBE	292.05	Ω(1),O(n^1)	187.81
	Ω(n^1),INF	2.76	Ω(n^1),INF	2.8	MAYBE	299.17	MAYBE	292.14	TIMEOUT	300
	Ω(n^1),INF	1.52	Ω(n^1),INF	1.51	MAYBE	299.48	MAYBE	292.06	Ω(1),O(n^3)	66.09
	Ω(n^1),INF	1.58	Ω(n^1),INF	1.64	MAYBE	299.23	MAYBE	142.85	Ω(1),O(n^2)	284.56
	Ω(n^1),INF	1.58	Ω(n^1),INF	1.7	MAYBE	299.33	MAYBE	292.29	Ω(1),O(n^2)	167.0
	Ω(n^1),INF	1.64	Ω(n^1),INF	1.65	MAYBE	299.24	MAYBE	19.94	Ω(1),O(n^2)	71.56
	Ω(n^1),INF	2.14	Ω(n^1),INF	2.28	MAYBE	299.27	MAYBE	32.27	TIMEOUT	300
	Ω(n^1),INF	1.56	Ω(n^1),INF	1.55	TIMEOUT	300	MAYBE	21.41	TIMEOUT	300
	Ω(n^1),INF	1.54	Ω(n^1),INF	1.67	MAYBE	299.52	MAYBE	107.24	TIMEOUT	300
	Ω(n^1),INF	1.55	Ω(n^1),INF	1.56	MAYBE	299.27	MAYBE	13.26	Ω(1),O(n^3)	69.99
	Ω(n^1),INF	1.57	Ω(n^1),INF	1.6	MAYBE	299.27	MAYBE	292.2	Ω(1),O(n^2)	115.77
	Ω(n^1),INF	1.49	Ω(n^1),INF	1.57	TIMEOUT	300	MAYBE	294.43	TIMEOUT	300
	Ω(n^1),INF	1.68	Ω(n^1),INF	1.53	MAYBE	299.94	MAYBE	292.17	TIMEOUT	300
	MAYBE	1.84	Ω(n^1),INF	2.5	MAYBE	299.39	MAYBE	22.21	TIMEOUT	300
	Ω(n^1),INF	1.8	Ω(n^1),INF	1.78	TIMEOUT	300	MAYBE	10.16	Ω(1),O(n^1)	2.64
	MAYBE	1.46	MAYBE	1.6	MAYBE	299.14	MAYBE	292.23	MAYBE	7.95
	Ω(n^1),INF	1.86	Ω(n^1),INF	1.75	Ω(1),O(n^1)	0.96	Ω(1),O(n^1)	0.81	Ω(1),O(n^1)	2.0
	Ω(n^1),INF	5.41	Ω(n^1),INF	6.0	MAYBE	299.65	MAYBE	292.14	TIMEOUT	300
	MAYBE	1.29	MAYBE	1.26	Ω(1),O(1)	3.0	Ω(1),O(1)	1.14	Ω(1),O(1)	1.82
	Ω(n^2),INF	2.72	Ω(n^2),INF	2.81	MAYBE	299.43	MAYBE	196.4	TIMEOUT	300
	Ω(n^1),INF	2.28	Ω(n^1),INF	1.92	TIMEOUT	300	MAYBE	97.65	TIMEOUT	300
	Ω(n^1),INF	2.62	Ω(n^1),INF	2.03	MAYBE	299.3	MAYBE	71.79	TIMEOUT	300
	Ω(n^1),INF	1.74	Ω(n^1),INF	1.59	MAYBE	299.53	MAYBE	54.41	TIMEOUT	300
	Ω(n^1),INF	2.43	Ω(n^1),INF	2.43	Ω(1),O(n^2)	299.38	Ω(1),O(n^4)	69.75	Ω(1),O(n^2)	9.87
	Ω(n^1),INF	6.2	Ω(n^2),INF	5.87	MAYBE	299.4	MAYBE	50.73	TIMEOUT	300
	Ω(n^1),INF	5.66	Ω(n^2),INF	5.62	MAYBE	299.22	MAYBE	20.71	TIMEOUT	300
	Ω(n^1),INF	3.8	Ω(n^1),INF	3.93	MAYBE	299.4	MAYBE	292.4	TIMEOUT	300
	Ω(n^1),INF	3.22	Ω(n^1),INF	3.35	MAYBE	299.37	MAYBE	292.42	TIMEOUT	300
	Ω(n^1),INF	3.21	Ω(n^1),INF	3.2	MAYBE	299.36	MAYBE	292.12	TIMEOUT	300
	Ω(n^1),INF	5.85	Ω(n^2),INF	5.61	MAYBE	67.88	MAYBE	31.42	TIMEOUT	300
	Ω(n^1),INF	3.37	Ω(n^1),INF	3.43	MAYBE	299.66	MAYBE	292.38	TIMEOUT	300
	Ω(n^2),INF	3.32	Ω(n^2),INF	3.26	MAYBE	299.47	Ω(1),O(n^2)	293.41	Ω(1),O(n^2)	5.63
	Ω(n^1),INF	6.21	Ω(n^1),INF	5.86	TIMEOUT	300	MAYBE	292.83	TIMEOUT	300
	TIMEOUT	300	TIMEOUT	300	MAYBE	299.26	MAYBE	292.34	Ω(1),O(n^1)	8.53
	Ω(n^1),INF	17.22	Ω(n^1),INF	16.09	TIMEOUT	300	MAYBE	292.9	TIMEOUT	300
	Ω(n^1),INF	17.06	Ω(n^1),INF	17.08	MAYBE	299.27	TIMEOUT	300	TIMEOUT	300
	Ω(n^1),INF	3.19	Ω(n^1),INF	3.39	MAYBE	299.4	Ω(1),O(n^4)	292.43	TIMEOUT	300
	MAYBE	1.25	Ω(n^1),INF	1.57	Ω(1),O(n^1)	0.23	Ω(1),O(n^1)	0.32	Ω(1),O(n^1)	1.92
	MAYBE	1.34	Ω(n^1),INF	1.78	Ω(1),O(n^1)	0.66	Ω(1),O(n^1)	0.81	Ω(1),O(n^1)	2.24
	MAYBE	2.34	Ω(n^1),INF	2.64	Ω(1),O(n^1)	2.48	Ω(1),O(n^1)	1.91	Ω(1),O(n^1)	2.02
	MAYBE	3.0	Ω(n^1),INF	3.16	Ω(1),O(n^1)	45.38	Ω(1),O(n^1)	34.43	Ω(1),O(n^2)	2.22
	MAYBE	1.66	Ω(n^1),INF	2.19	MAYBE	37.91	MAYBE	13.93	TIMEOUT	300
	MAYBE	1.38	Ω(n^1),INF	1.74	Ω(1),O(n^1)	0.22	Ω(1),O(n^1)	0.4	Ω(1),O(n^1)	1.97
	MAYBE	1.39	Ω(n^1),INF	1.66	MAYBE	299.18	MAYBE	42.78	TIMEOUT	300
	Ω(n^2),INF	3.33	Ω(n^2),INF	3.51	TIMEOUT	300	MAYBE	66.09	TIMEOUT	300
	MAYBE	1.3	Ω(n^1),INF	1.87	Ω(1),O(n^1)	0.5	Ω(1),O(n^1)	0.51	Ω(1),O(n^1)	1.98
	MAYBE	1.34	Ω(n^1),INF	1.63	Ω(1),O(n^1)	3.85	Ω(1),O(n^1)	4.38	Ω(1),O(n^1)	2.21
	Ω(n^1),INF	2.38	Ω(n^1),INF	2.41	Ω(1),O(n^2)	24.21	Ω(1),O(n^2)	14.86	Ω(1),O(n^2)	2.89
	MAYBE	1.44	Ω(n^1),INF	1.78	MAYBE	299.27	MAYBE	292.39	Ω(1),O(n^1)	8.52
	MAYBE	1.37	MAYBE	1.67	Ω(1),O(n^1)	9.02	Ω(1),O(n^1)	7.9	Ω(1),O(n^1)	300
	MAYBE	2.07	Ω(n^1),INF	1.88	TIMEOUT	300	MAYBE	28.82	TIMEOUT	300
	MAYBE	1.23	MAYBE	1.27	Ω(1),O(n^1)	1.38	Ω(1),O(n^1)	0.59	Ω(1),O(n^1)	2.11
	TIMEOUT	300	Ω(n^1),INF	2.14	Ω(1),O(n^1)	0.75	Ω(1),O(n^1)	0.71	Ω(1),O(n^1)	2.01
	TIMEOUT	300	Ω(n^1),INF	2.07	Ω(1),O(n^1)	0.78	Ω(1),O(n^1)	0.59	Ω(1),O(n^1)	2.06
	Ω(n^1),INF	2.03	Ω(n^1),INF	2.1	Ω(1),O(n^1)	0.49	Ω(1),O(n^1)	0.26	Ω(1),O(n^1)	1.92
	MAYBE	8.0	Ω(n^1),INF	7.6	MAYBE	299.34	MAYBE	49.21	MAYBE	43.49
	MAYBE	1.37	Ω(n^1),INF	1.52	MAYBE	299.86	MAYBE	8.52	TIMEOUT	300
	Ω(n^1),INF	2.33	Ω(n^1),INF	2.66	MAYBE	299.69	MAYBE	69.24	TIMEOUT	300
	Ω(n^1),INF	2.51	Ω(n^1),INF	2.49	Ω(1),O(n^1)	1.56	Ω(1),O(n^1)	292.45	Ω(1),O(n^1)	1.99
	Ω(n^1),INF	2.08	Ω(n^1),INF	2.23	Ω(1),O(n^1)	3.72	Ω(1),O(n^1)	2.35	Ω(1),O(n^1)	2.46
	MAYBE	2.28	Ω(n^1),INF	2.39	MAYBE	39.5	MAYBE	12.69	TIMEOUT	300
	Ω(n^1),INF	1.71	Ω(n^1),INF	1.7	Ω(1),O(n^1)	0.45	Ω(1),O(n^1)	0.31	Ω(1),O(n^1)	1.9
	MAYBE	1.3	MAYBE	1.25	MAYBE	37.36	MAYBE	292.53	MAYBE	12.41
	Ω(n^1),INF	1.43	Ω(n^1),INF	1.49	Ω(1),O(n^1)	0.67	Ω(1),O(n^1)	0.46	Ω(1),O(n^1)	2.0
	Ω(n^1),INF	1.47	Ω(n^1),INF	1.5	Ω(1),O(n^1)	1.56	Ω(1),O(n^1)	0.56	Ω(1),O(n^1)	2.02
	Ω(n^1),INF	11.59	Ω(n^1),INF	12.17	Ω(1),O(n^1)	2.6	Ω(1),O(n^1)	1.06	Ω(1),O(n^1)	2.43
	Ω(n^1),INF	2.61	Ω(n^1),INF	2.67	MAYBE	299.17	MAYBE	292.14	TIMEOUT	300
	Ω(n^1),INF	2.74	Ω(n^1),INF	2.67	MAYBE	299.18	MAYBE	292.21	TIMEOUT	300
	MAYBE	1.34	MAYBE	1.3	TIMEOUT	300	MAYBE	292.47	TIMEOUT	300
	Ω(n^1),INF	2.94	Ω(n^1),INF	3.01	MAYBE	299.2	MAYBE	8.36	MAYBE	3.95
	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300	MAYBE	293.01	TIMEOUT	300
	Ω(n^1),INF	5.37	Ω(n^1),INF	5.26	MAYBE	299.29	MAYBE	292.25	TIMEOUT	300
	MAYBE	1.27	MAYBE	1.23	MAYBE	299.62	MAYBE	7.08	TIMEOUT	300
	Ω(n^1),INF	1.41	Ω(n^1),INF	1.48	Ω(1),O(n^1)	0.48	Ω(1),O(n^1)	0.39	Ω(1),O(n^1)	1.99
	Ω(n^1),INF	1.77	Ω(n^1),INF	1.69	Ω(1),O(n^1)	1.22	Ω(1),O(n^1)	1.03	Ω(1),O(n^1)	2.11
	Ω(n^1),INF	5.32	Ω(n^1),INF	3.63	Ω(1),O(n^1)	1.72	Ω(1),O(n^1)	1.2	Ω(1),O(n^2)	2.18
	Ω(n^1),INF	1.66	Ω(n^1),INF	1.71	Ω(1),O(n^1)	2.73	Ω(1),O(n^1)	1.43	Ω(1),O(n^1)	2.39
	Ω(n^1),INF	1.83	Ω(n^1),INF	1.91	Ω(1),O(n^1)	3.16	Ω(1),O(n^1)	3.0	Ω(1),O(n^2)	2.41
	Ω(n^1),INF	2.48	Ω(n^1),INF	2.57	TIMEOUT	300	MAYBE	92.16	TIMEOUT	300
	Ω(n^1),INF	2.37	Ω(n^1),INF	2.69	MAYBE	299.57	MAYBE	32.25	TIMEOUT	300
	Ω(n^3),INF	2.45	Ω(n^3),INF	2.45	Ω(1),O(n^3)	26.34	Ω(1),O(n^3)	8.22	Ω(1),O(n^3)	2.6
	Ω(n^3),INF	2.58	Ω(n^3),INF	2.49	Ω(1),O(n^3)	25.81	Ω(1),O(n^3)	8.76	Ω(1),O(n^3)	2.56
	Ω(n^2),INF	2.16	Ω(n^2),INF	2.07	Ω(1),O(n^2)	18.76	Ω(1),O(n^2)	25.88	Ω(1),O(n^2)	12.57
	Ω(n^1),INF	1.58	Ω(n^1),INF	1.68	Ω(1),O(n^1)	30.24	Ω(1),O(n^1)	292.44	Ω(1),O(n^1)	2.58
	MAYBE	1.39	MAYBE	1.25	TIMEOUT	300	MAYBE	292.48	MAYBE	13.27
	Ω(n^1),INF	1.71	Ω(n^1),INF	1.78	TIMEOUT	300	MAYBE	292.76	TIMEOUT	300
	TIMEOUT	300	Ω(n^1),INF	2.21	MAYBE	299.39	MAYBE	292.49	TIMEOUT	300
	MAYBE	1.69	MAYBE	1.83	Ω(1),O(n^1)	30.66	Ω(1),O(n^1)	292.7	Ω(1),O(n^1)	2.61
	MAYBE	1.6	MAYBE	1.7	Ω(1),O(n^1)	2.85	Ω(1),O(n^1)	2.41	Ω(1),O(n^1)	2.22
	MAYBE	1.65	MAYBE	1.72	Ω(1),O(n^1)	2.82	Ω(1),O(n^1)	2.13	Ω(1),O(n^1)	2.3
	Ω(n^1),INF	1.79	Ω(n^1),INF	1.77	Ω(1),O(n^2)	24.07	Ω(1),O(n^2)	12.82	Ω(1),O(n^2)	3.22
	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300	MAYBE	53.6	TIMEOUT	300
	Ω(n^1),INF	259.36	Ω(n^1),INF	2.93	TIMEOUT	300	MAYBE	292.49	TIMEOUT	300
	TIMEOUT	300	Ω(n^3),INF	4.06	MAYBE	299.21	MAYBE	29.96	TIMEOUT	300
	Ω(n^1),INF	2.48	Ω(n^1),INF	2.46	MAYBE	299.44	MAYBE	110.44	TIMEOUT	300
	Ω(n^1),INF	2.04	Ω(n^1),INF	2.11	Ω(1),O(n^1)	0.55	Ω(1),O(n^1)	7.1	Ω(1),O(n^1)	2.02
	Ω(n^1),INF	300	Ω(n^1),INF	300	Ω(1),O(n^2)	17.35	Ω(1),O(n^2)	4.04	Ω(1),O(n^2)	2.48
	Ω(n^3),INF	2.13	Ω(n^3),INF	2.16	Ω(1),O(n^3)	34.05	Ω(1),O(n^3)	28.51	Ω(1),O(n^3)	12.76
	MAYBE	1.26	MAYBE	1.4	MAYBE	299.65	MAYBE	7.04	MAYBE	13.58
	TIMEOUT	300	Ω(n^1),INF	3.02	MAYBE	51.85	MAYBE	15.5	TIMEOUT	300
	Ω(n^1),INF	1.84	Ω(n^1),INF	2.05	TIMEOUT	300	MAYBE	293.36	TIMEOUT	300
	Ω(n^1),INF	1.98	Ω(n^1),INF	1.98	MAYBE	299.23	MAYBE	142.94	TIMEOUT	300
	TIMEOUT	300	TIMEOUT	300	MAYBE	299.27	MAYBE	196.38	TIMEOUT	300
	MAYBE	1.92	MAYBE	2.01	Ω(1),O(n^1)	0.78	Ω(1),O(n^1)	0.24	Ω(1),O(n^1)	2.01
	Ω(n^1),INF	1.61	Ω(n^1),INF	1.64	MAYBE	299.39	MAYBE	22.13	MAYBE	30.89
	MAYBE	9.2	Ω(n^1),INF	10.22	Ω(1),O(n^1)	8.95	Ω(1),O(n^1)	7.32	Ω(1),O(n^1)	3.04
	Ω(n^1),INF	300	Ω(n^1),INF	300	Ω(1),O(n^2)	30.28	Ω(1),O(n^2)	96.95	Ω(1),O(n^2)	3.75
	MAYBE	1.16	MAYBE	1.18	MAYBE	7.76	MAYBE	7.05	MAYBE	12.14
	Ω(n^1),INF	1.66	Ω(n^1),INF	1.68	Ω(1),O(n^1)	2.65	Ω(1),O(n^1)	0.48	Ω(1),O(n^1)	2.0
	Ω(n^1),INF	1.71	Ω(n^1),INF	1.69	Ω(1),O(n^1)	0.69	Ω(1),O(n^1)	0.29	Ω(1),O(n^1)	1.93
	Ω(n^1),INF	3.09	Ω(n^1),INF	1.77	Ω(1),O(n^1)	2.12	Ω(1),O(n^1)	0.79	Ω(1),O(n^2)	2.01
	Ω(n^1),INF	1.72	Ω(n^1),INF	1.74	Ω(1),O(n^1)	2.38	Ω(1),O(n^1)	0.57	Ω(1),O(n^1)	2.04
	Ω(n^1),INF	1.58	Ω(n^1),INF	1.64	Ω(1),O(n^1)	0.37	Ω(1),O(n^1)	0.27	Ω(1),O(n^1)	2.02
	Ω(n^1),INF	2.16	Ω(n^1),INF	2.12	Ω(1),O(n^1)	1.27	Ω(1),O(n^1)	0.76	Ω(1),O(n^1)	2.05
	Ω(n^1),INF	2.22	Ω(n^1),INF	2.92	MAYBE	299.5	MAYBE	18.52	TIMEOUT	300
	Ω(n^1),INF	2.1	Ω(n^1),INF	3.34	MAYBE	299.5	MAYBE	20.14	TIMEOUT	300
	MAYBE	2.68	Ω(n^1),INF	2.98	MAYBE	299.25	MAYBE	29.3	Ω(1),O(n^2)	7.2
	MAYBE	4.07	Ω(n^1),INF	4.97	Ω(1),O(n^2)	95.72	Ω(1),O(n^1)	19.51	Ω(1),O(n^1)	5.93
	Ω(n^1),INF	17.47	Ω(n^1),INF	17.34	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	Ω(n^1),INF	17.35	Ω(n^1),INF	17.4	MAYBE	299.75	MAYBE	293.24	TIMEOUT	300
	Ω(n^1),INF	16.89	Ω(n^1),INF	17.34	MAYBE	299.73	MAYBE	292.35	TIMEOUT	300
	Ω(n^1),INF	17.1	Ω(n^1),INF	17.0	TIMEOUT	300	MAYBE	292.87	TIMEOUT	300
	TIMEOUT	300	TIMEOUT	300	Ω(1),O(n^2)	30.07	Ω(1),O(n^2)	18.39	Ω(1),O(n^2)	2.99
	MAYBE	5.25	Ω(n^1),INF	5.34	Ω(1),O(n^2)	30.12	Ω(1),O(n^2)	93.18	Ω(1),O(n^2)	4.0
	Ω(n^1),INF	1.73	Ω(n^1),INF	1.7	Ω(1),O(n^2)	21.72	Ω(1),O(n^2)	9.44	Ω(1),O(n^2)	2.68
	Ω(n^1),INF	2.08	Ω(n^1),INF	2.37	TIMEOUT	300	MAYBE	32.61	TIMEOUT	300
	Ω(n^1),INF	1.39	Ω(n^1),INF	1.46	Ω(1),O(n^1)	0.62	Ω(1),O(n^1)	0.33	Ω(1),O(n^1)	1.93
	Ω(n^1),INF	1.42	Ω(n^1),INF	1.4	Ω(1),O(n^1)	0.7	Ω(1),O(n^1)	0.35	Ω(1),O(n^1)	1.96
	Ω(n^1),INF	1.51	Ω(n^1),INF	1.57	Ω(1),O(n^1)	0.33	Ω(1),O(n^1)	0.48	Ω(1),O(n^1)	1.93
	Ω(n^1),INF	2.63	Ω(n^1),INF	2.77	Ω(1),O(n^1)	0.23	Ω(1),O(n^1)	0.32	Ω(1),O(n^1)	1.98
	Ω(n^2),INF	1.79	Ω(n^2),INF	1.84	MAYBE	299.21	MAYBE	42.22	TIMEOUT	300
	Ω(n^1),INF	2.81	Ω(n^1),INF	2.62	Ω(1),O(n^2)	35.19	Ω(1),O(n^2)	46.77	TIMEOUT	300
	Ω(n^1),INF	2.45	Ω(n^1),INF	2.39	MAYBE	299.33	MAYBE	292.21	TIMEOUT	300
	Ω(n^1),INF	2.77	Ω(n^1),INF	2.63	MAYBE	299.41	MAYBE	292.47	TIMEOUT	300
	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300	MAYBE	294.79	TIMEOUT	300
	MAYBE	121.16	Ω(n^1),INF	124.48	Ω(1),O(n^2)	50.79	Ω(1),O(n^2)	13.66	Ω(1),O(n^2)	4.01
	Ω(n^1),INF	1.85	Ω(n^1),INF	1.86	Ω(1),O(n^1)	30.63	Ω(1),O(n^1)	6.09	Ω(1),O(n^1)	4.14
	Ω(n^1),INF	1.59	Ω(n^1),INF	1.52	MAYBE	299.23	MAYBE	12.58	TIMEOUT	300
	Ω(n^1),INF	1.63	Ω(n^1),INF	1.7	MAYBE	299.35	MAYBE	23.65	TIMEOUT	300
	Ω(n^1),INF	1.66	Ω(n^1),INF	1.62	MAYBE	299.38	MAYBE	14.03	TIMEOUT	300
	Ω(n^1),INF	1.82	Ω(n^1),INF	1.81	MAYBE	299.28	MAYBE	292.17	TIMEOUT	300
	Ω(n^1),INF	2.11	Ω(n^1),INF	2.2	MAYBE	299.53	MAYBE	292.25	TIMEOUT	300
	Ω(n^1),INF	1.57	Ω(n^1),INF	1.64	TIMEOUT	300	MAYBE	96.31	TIMEOUT	300
	Ω(n^1),INF	1.55	Ω(n^1),INF	1.56	MAYBE	299.89	MAYBE	292.17	TIMEOUT	300
	Ω(n^1),INF	1.82	Ω(n^1),INF	1.91	MAYBE	299.36	MAYBE	292.17	TIMEOUT	300
	Ω(n^1),INF	1.79	Ω(n^1),INF	1.9	MAYBE	299.17	MAYBE	291.98	TIMEOUT	300
	Ω(n^1),INF	1.6	Ω(n^1),INF	1.65	MAYBE	299.24	MAYBE	70.74	TIMEOUT	300
	Ω(n^1),INF	2.46	Ω(n^1),INF	2.56	MAYBE	299.19	MAYBE	292.24	TIMEOUT	300
	Ω(n^1),INF	2.22	Ω(n^1),INF	2.23	MAYBE	299.35	MAYBE	31.04	TIMEOUT	300
	Ω(n^1),INF	1.66	Ω(n^1),INF	1.71	MAYBE	299.78	MAYBE	43.98	TIMEOUT	300
	Ω(2^n),INF	2.28	Ω(2^n),INF	2.29	MAYBE	299.35	MAYBE	173.47	TIMEOUT	300
	Ω(n^1),INF	1.74	Ω(n^1),INF	1.78	MAYBE	299.33	MAYBE	59.8	TIMEOUT	300
	Ω(n^2),INF	2.56	Ω(n^2),INF	2.58	MAYBE	299.55	MAYBE	292.2	TIMEOUT	300
	MAYBE	1.2	MAYBE	1.29	MAYBE	7.92	MAYBE	7.04	MAYBE	12.11
	MAYBE	1.27	MAYBE	1.19	MAYBE	8.6	MAYBE	7.05	MAYBE	12.42
	MAYBE	1.22	MAYBE	1.21	MAYBE	8.73	MAYBE	7.04	MAYBE	12.21
	MAYBE	1.26	MAYBE	1.23	TIMEOUT	300	MAYBE	7.04	TIMEOUT	300
	MAYBE	1.33	MAYBE	1.25	MAYBE	13.24	MAYBE	7.03	MAYBE	71.6
	MAYBE	1.41	MAYBE	1.56	MAYBE	10.01	MAYBE	2.08	MAYBE	2.06
	Ω(n^1),INF	5.38	Ω(n^1),INF	3.59	MAYBE	299.56	MAYBE	291.96	TIMEOUT	300
	Ω(n^1),INF	1.67	Ω(n^1),INF	1.71	MAYBE	299.37	MAYBE	292.14	Ω(1),O(n^2)	4.25
	Ω(n^1),INF	2.65	Ω(n^1),INF	2.73	MAYBE	299.29	MAYBE	291.95	TIMEOUT	300
	Ω(2^n),INF	1.68	Ω(2^n),INF	1.68	MAYBE	299.74	MAYBE	51.26	TIMEOUT	300
	TIMEOUT	300	TIMEOUT	300	MAYBE	299.17	MAYBE	293.04	TIMEOUT	300
	MAYBE	1.33	Ω(n^1),INF	1.87	Ω(1),O(n^1)	5.11	Ω(1),O(n^1)	7.05	Ω(1),O(n^1)	2.02
	MAYBE	1.38	Ω(n^1),INF	1.6	MAYBE	299.92	MAYBE	292.08	TIMEOUT	300
	Ω(n^1),INF	3.58	Ω(n^1),INF	8.16	MAYBE	299.26	MAYBE	55.05	TIMEOUT	300
	Ω(n^1),INF	1.72	Ω(n^1),INF	1.75	Ω(1),O(n^2)	19.81	Ω(1),O(n^2)	5.78	Ω(1),O(n^2)	2.31
	Ω(n^1),INF	2.14	Ω(n^1),INF	2.14	Ω(1),O(n^1)	1.6	Ω(1),O(n^1)	0.89	Ω(1),O(n^1)	2.56
	Ω(n^1),INF	3.91	Ω(n^1),INF	4.51	MAYBE	299.17	MAYBE	292.46	TIMEOUT	300
	Ω(n^1),INF	2.28	Ω(n^1),INF	2.34	Ω(1),O(n^1)	2.84	Ω(1),O(n^1)	2.04	Ω(1),O(n^1)	2.93
	TIMEOUT	300	TIMEOUT	300	Ω(1),O(n^1)	5.24	Ω(1),O(n^1)	5.38	Ω(1),O(n^1)	3.67
	Ω(n^1),INF	2.16	Ω(n^1),INF	2.38	Ω(1),O(n^1)	1.27	Ω(1),O(n^1)	1.24	Ω(1),O(n^1)	2.14
	Ω(n^1),INF	2.13	Ω(n^1),INF	2.1	Ω(1),O(n^2)	30.23	Ω(1),O(n^2)	19.91	Ω(1),O(n^2)	4.36
	Ω(n^1),INF	2.06	Ω(n^1),INF	2.07	Ω(1),O(n^2)	25.18	Ω(1),O(n^2)	15.73	Ω(1),O(n^2)	2.94
	Ω(n^1),INF	2.15	Ω(n^1),INF	2.11	Ω(1),O(n^2)	4.38	Ω(1),O(n^2)	2.74	Ω(1),O(n^2)	2.13
	Ω(n^1),INF	2.95	Ω(n^1),INF	3.1	MAYBE	299.43	MAYBE	292.31	TIMEOUT	300
	Ω(n^1),INF	2.55	Ω(n^1),INF	2.47	Ω(1),POLY	43.08	MAYBE	19.79	TIMEOUT	300
	Ω(n^1),INF	2.11	Ω(n^1),INF	2.14	Ω(1),O(n^1)	1.66	Ω(1),O(n^1)	0.77	Ω(1),O(n^1)	2.36
	Ω(n^1),INF	2.03	Ω(n^1),INF	1.94	Ω(1),O(n^1)	2.28	Ω(1),O(n^1)	1.3	Ω(1),O(n^1)	2.26
	Ω(n^1),INF	2.1	Ω(n^1),INF	1.99	Ω(1),O(n^1)	0.64	Ω(1),O(n^1)	0.28	Ω(1),O(n^1)	1.99
	TIMEOUT	300	TIMEOUT	300	MAYBE	299.44	MAYBE	148.94	TIMEOUT	300
	Ω(n^2),INF	300	Ω(n^2),INF	300	Ω(1),POLY	80.92	MAYBE	47.13	TIMEOUT	300
	Ω(n^1),INF	2.15	Ω(n^1),INF	2.24	Ω(1),O(n^1)	0.85	Ω(1),O(n^1)	0.87	Ω(1),O(n^1)	2.09
	Ω(n^1),INF	5.07	Ω(n^1),INF	5.11	MAYBE	299.35	MAYBE	65.8	TIMEOUT	300
	MAYBE	1.31	Ω(n^1),INF	1.66	MAYBE	299.42	MAYBE	80.61	TIMEOUT	300
	Ω(n^1),INF	2.14	Ω(n^1),INF	2.12	MAYBE	299.49	MAYBE	292.15	TIMEOUT	300
	Ω(n^1),INF	2.06	Ω(n^1),INF	2.09	TIMEOUT	300	MAYBE	292.32	TIMEOUT	300
	Ω(n^1),INF	2.08	Ω(n^1),INF	2.16	TIMEOUT	300	MAYBE	292.21	TIMEOUT	300
	TIMEOUT	300	TIMEOUT	300	Ω(1),O(n^1)	0.61	Ω(1),O(n^1)	0.89	Ω(1),O(n^2)	2.07
	MAYBE	1.44	Ω(n^1),INF	1.7	MAYBE	299.34	MAYBE	292.17	Ω(1),O(n^1)	8.1
	Ω(n^1),INF	2.07	Ω(n^1),INF	2.06	Ω(1),O(n^1)	0.57	Ω(1),O(n^1)	0.23	Ω(1),O(n^1)	1.97
	MAYBE	3.88	MAYBE	3.15	Ω(1),O(n^1)	1.63	Ω(1),O(n^1)	0.56	Ω(1),O(n^1)	1.99
	MAYBE	1.64	MAYBE	1.68	Ω(1),O(n^1)	0.54	Ω(1),O(n^1)	0.22	Ω(1),O(n^1)	2.03
	MAYBE	1.91	MAYBE	1.99	MAYBE	299.24	MAYBE	3.28	TIMEOUT	300
	Ω(n^1),INF	2.13	Ω(n^1),INF	2.14	Ω(1),O(n^1)	1.44	Ω(1),O(n^1)	0.59	Ω(1),O(n^1)	2.07
	Ω(n^1),INF	1.7	Ω(n^1),INF	1.65	TIMEOUT	300	MAYBE	293.03	TIMEOUT	300
	Ω(n^1),INF	2.75	Ω(n^1),INF	3.09	MAYBE	299.31	MAYBE	292.19	TIMEOUT	300
	TIMEOUT	300	TIMEOUT	300	Ω(1),O(n^1)	3.9	Ω(1),O(n^1)	1.36	Ω(1),O(n^1)	2.03
	MAYBE	1.26	MAYBE	1.65	MAYBE	299.22	MAYBE	3.49	MAYBE	14.59
	Ω(n^1),INF	1.66	Ω(n^1),INF	1.71	MAYBE	299.4	MAYBE	19.38	TIMEOUT	300
	Ω(n^1),INF	2.06	Ω(n^1),INF	2.15	Ω(1),O(n^1)	5.35	Ω(1),O(n^1)	5.14	Ω(1),O(n^1)	13.15
	TIMEOUT	300	TIMEOUT	300	Ω(1),O(n^2)	70.34	MAYBE	292.86	TIMEOUT	300
	Ω(n^1),INF	27.64	Ω(n^1),INF	42.87	Ω(1),O(n^3)	64.25	Ω(1),O(n^3)	291.99	TIMEOUT	300
	TIMEOUT	300	TIMEOUT	300	Ω(1),O(n^2)	60.17	MAYBE	292.45	TIMEOUT	300
	Ω(n^1),INF	27.22	Ω(n^1),INF	40.99	Ω(1),O(n^2)	31.14	Ω(1),O(n^2)	22.73	Ω(1),O(n^2)	5.51
	Ω(n^1),INF	20.16	Ω(n^1),INF	19.88	Ω(1),O(n^2)	31.61	Ω(1),O(n^2)	18.63	Ω(1),O(n^2)	5.67
	Ω(n^1),INF	13.42	Ω(n^1),INF	19.2	Ω(1),O(n^2)	30.3	Ω(1),O(n^2)	4.17	Ω(1),O(n^2)	3.24
	MAYBE	38.85	Ω(n^1),INF	44.88	Ω(1),O(n^2)	35.25	Ω(1),O(n^2)	292.43	TIMEOUT	300
	Ω(n^1),INF	4.15	Ω(n^1),INF	4.63	Ω(1),O(n^2)	31.84	Ω(1),O(n^2)	33.46	Ω(1),O(n^2)	7.26
	MAYBE	4.41	Ω(n^1),INF	5.93	TIMEOUT	300	MAYBE	292.34	TIMEOUT	300
	MAYBE	125.91	Ω(n^1),INF	179.67	Ω(1),O(n^2)	34.21	Ω(1),O(n^2)	292.33	TIMEOUT	300
	MAYBE	14.64	MAYBE	14.86	Ω(1),O(n^2)	49.74	Ω(1),O(n^2)	292.84	TIMEOUT	300
	MAYBE	1.74	MAYBE	1.78	TIMEOUT	300	MAYBE	292.83	TIMEOUT	300
	Ω(n^1),INF	3.69	Ω(n^1),INF	3.53	MAYBE	299.18	Ω(1),O(n^2)	292.36	TIMEOUT	300
	MAYBE	3.83	Ω(n^1),INF	4.39	Ω(1),O(n^2)	27.39	Ω(1),O(n^2)	59.15	Ω(1),O(n^2)	3.39
	MAYBE	1.68	MAYBE	1.56	MAYBE	299.17	MAYBE	292.66	TIMEOUT	300
	Ω(n^2),INF	4.0	Ω(n^2),INF	4.36	TIMEOUT	300	MAYBE	292.5	TIMEOUT	300
	MAYBE	182.66	Ω(n^1),INF	1.93	Ω(1),O(n^1)	4.5	Ω(1),O(n^1)	2.57	Ω(1),O(n^1)	2.45
	TIMEOUT	300	TIMEOUT	300	Ω(1),O(n^6)	155.08	Ω(1),O(n^6)	274.5	TIMEOUT	300
	Ω(n^1),INF	2.51	Ω(n^1),INF	1.94	Ω(1),O(n^2)	19.58	Ω(1),O(n^2)	9.48	Ω(1),O(n^2)	2.7
	Ω(n^1),INF	2.26	Ω(n^1),INF	2.19	Ω(1),O(n^1)	3.17	Ω(1),O(n^1)	5.04	Ω(1),O(n^1)	3.39
	MAYBE	1.83	MAYBE	2.05	Ω(1),O(n^1)	1.64	Ω(1),O(n^1)	0.68	Ω(1),O(n^2)	2.41
	Ω(n^1),INF	1.58	Ω(n^1),INF	1.58	Ω(1),O(n^3)	42.45	Ω(1),O(n^3)	58.44	Ω(1),O(n^3)	5.23
	Ω(n^1),INF	1.65	Ω(n^1),INF	1.75	Ω(1),O(n^2)	23.26	Ω(1),O(n^2)	35.89	Ω(1),O(n^2)	3.05
	Ω(n^1),INF	1.65	Ω(n^1),INF	1.69	Ω(1),O(n^2)	30.3	Ω(1),O(n^2)	292.19	Ω(1),O(n^2)	14.06
	Ω(n^1),INF	3.33	Ω(n^1),INF	4.24	Ω(1),O(n^2)	28.58	Ω(1),O(n^2)	12.92	Ω(1),O(n^2)	3.11
	MAYBE	1.37	Ω(n^1),INF	1.66	Ω(1),O(n^1)	2.16	Ω(1),O(n^1)	1.32	Ω(1),O(n^1)	1.97
	Ω(n^1),INF	2.46	Ω(n^1),INF	2.64	Ω(1),O(n^1)	1.22	Ω(1),O(n^1)	0.49	Ω(1),O(n^2)	2.15
	MAYBE	1.33	MAYBE	1.34	Ω(1),O(1)	0.52	Ω(1),O(1)	0.14	Ω(1),O(1)	1.77
	Ω(n^1),INF	1.58	Ω(n^1),INF	1.65	Ω(1),O(n^3)	39.6	Ω(1),O(n^2)	4.34	Ω(1),O(n^2)	3.75
	Ω(n^1),INF	5.72	Ω(n^1),INF	5.69	MAYBE	299.81	MAYBE	293.23	TIMEOUT	300
	MAYBE	1.39	MAYBE	1.4	Ω(1),O(n^1)	0.2	Ω(1),O(1)	0.15	Ω(1),O(1)	1.74
	MAYBE	1.24	Ω(2^n),INF	1.76	TIMEOUT	300	MAYBE	181.97	TIMEOUT	300
	MAYBE	1.19	MAYBE	1.25	Ω(1),O(n^1)	3.19	Ω(1),O(1)	0.61	Ω(1),O(1)	1.83
	MAYBE	2.65	Ω(n^1),INF	2.74	Ω(1),O(n^1)	49.9	Ω(1),O(n^1)	28.48	Ω(1),O(n^1)	2.21
	MAYBE	1.42	Ω(n^1),INF	1.75	Ω(1),O(n^1)	0.73	Ω(1),O(n^1)	0.71	Ω(1),O(n^1)	2.28
	Ω(n^2),INF	2.4	Ω(n^2),INF	2.39	MAYBE	299.31	MAYBE	292.25	TIMEOUT	300
	Ω(n^1),INF	2.2	Ω(n^1),INF	2.18	MAYBE	53.43	MAYBE	17.59	TIMEOUT	300
	Ω(n^1),INF	2.4	Ω(n^1),INF	2.77	MAYBE	299.38	MAYBE	292.24	TIMEOUT	300
	Ω(n^2),INF	1.97	Ω(n^2),INF	2.24	Ω(1),O(n^3)	61.17	Ω(1),O(n^2)	292.34	TIMEOUT	300
	MAYBE	2.6	Ω(n^1),INF	2.58	Ω(1),O(n^1)	3.89	Ω(1),O(n^1)	3.31	Ω(1),O(n^1)	2.79
	MAYBE	1.24	MAYBE	1.31	Ω(1),O(n^1)	0.77	Ω(1),O(n^1)	0.38	Ω(1),O(n^1)	2.02
	MAYBE	2.17	Ω(n^1),INF	1.7	MAYBE	299.45	Ω(1),O(n^2)	22.36	Ω(1),O(n^2)	4.98
	Ω(n^1),INF	1.71	Ω(n^1),INF	1.69	MAYBE	299.12	MAYBE	76.59	Ω(1),O(n^2)	54.02
	MAYBE	1.32	MAYBE	1.34	TIMEOUT	300	MAYBE	36.44	TIMEOUT	300
	Ω(n^1),INF	1.53	Ω(n^1),INF	1.64	MAYBE	299.23	MAYBE	33.47	Ω(1),O(n^2)	8.72
	MAYBE	1.43	Ω(n^1),INF	3.43	MAYBE	299.28	MAYBE	50.52	TIMEOUT	300
	Ω(n^1),INF	2.04	Ω(n^1),INF	2.08	Ω(1),O(n^1)	17.97	Ω(1),O(n^1)	4.92	Ω(1),O(n^1)	2.57
	Ω(n^1),INF	91.9	Ω(n^1),INF	90.16	MAYBE	299.51	MAYBE	37.27	TIMEOUT	300
	MAYBE	1.26	MAYBE	1.21	Ω(1),O(1)	13.1	Ω(1),O(1)	4.87	Ω(1),O(1)	1.75
	MAYBE	1.34	Ω(n^1),INF	1.75	TIMEOUT	300	MAYBE	292.87	TIMEOUT	300
	Ω(n^1),INF	2.06	Ω(n^1),INF	2.12	MAYBE	299.5	MAYBE	292.82	TIMEOUT	300
	Ω(n^1),INF	1.55	Ω(n^1),INF	1.54	MAYBE	299.47	MAYBE	292.18	Ω(1),O(n^2)	87.89
	Ω(n^2),INF	2.64	Ω(n^2),INF	2.62	MAYBE	299.52	MAYBE	292.68	TIMEOUT	300
	Ω(n^2),INF	2.59	Ω(n^2),INF	2.68	MAYBE	299.32	MAYBE	292.15	TIMEOUT	300
	Ω(n^1),INF	1.99	Ω(n^1),INF	2.02	MAYBE	299.35	MAYBE	292.34	TIMEOUT	300
	MAYBE	1.25	MAYBE	1.23	Ω(1),O(1)	30.13	Ω(1),O(1)	13.85	Ω(1),O(1)	1.77
	MAYBE	1.23	MAYBE	1.25	MAYBE	103.23	MAYBE	15.1	MAYBE	13.07
	MAYBE	1.27	MAYBE	1.27	Ω(1),O(n^1)	1.04	Ω(1),O(1)	0.27	Ω(1),O(n^1)	2.99
	MAYBE	1.19	MAYBE	1.27	Ω(1),O(n^1)	300	Ω(1),O(n^1)	19.59	Ω(1),O(n^1)	9.39
	MAYBE	1.38	MAYBE	1.44	Ω(1),O(1)	0.44	Ω(1),O(1)	0.12	Ω(1),O(1)	1.78
	TIMEOUT	300	TIMEOUT	300	MAYBE	299.6	TIMEOUT	300	TIMEOUT	300
	Ω(n^1),INF	1.53	Ω(n^1),INF	1.65	MAYBE	299.48	MAYBE	292.29	TIMEOUT	300
	Ω(n^1),INF	1.92	Ω(n^1),INF	1.83	MAYBE	299.36	MAYBE	62.32	TIMEOUT	300
	MAYBE	1.46	Ω(n^1),INF	2.32	MAYBE	299.42	MAYBE	76.54	TIMEOUT	300
	MAYBE	1.3	MAYBE	1.21	Ω(1),O(1)	30.42	Ω(1),O(1)	17.89	Ω(1),O(1)	1.81
	MAYBE	1.25	MAYBE	1.33	Ω(1),O(1)	0.2	Ω(1),O(1)	0.1	Ω(1),O(1)	1.77
	MAYBE	1.36	MAYBE	1.38	MAYBE	299.32	MAYBE	19.81	Ω(1),O(1)	33.2
	Ω(n^1),INF	1.88	Ω(n^1),INF	1.94	MAYBE	299.5	MAYBE	292.16	TIMEOUT	300
	Ω(n^2),INF	2.17	Ω(n^2),INF	2.14	TIMEOUT	300	MAYBE	108.24	TIMEOUT	300
	Ω(n^2),INF	2.68	Ω(n^2),INF	2.61	MAYBE	299.32	MAYBE	292.07	TIMEOUT	300
	Ω(n^2),INF	2.07	Ω(n^2),INF	2.09	MAYBE	299.51	MAYBE	115.7	TIMEOUT	300
	Ω(n^1),INF	2.09	Ω(n^1),INF	2.15	MAYBE	299.42	MAYBE	62.13	TIMEOUT	300
	MAYBE	1.6	MAYBE	1.78	MAYBE	299.48	MAYBE	251.55	TIMEOUT	300
	Ω(n^1),INF	2.33	Ω(n^1),INF	2.35	MAYBE	299.54	MAYBE	292.35	TIMEOUT	300
	Ω(n^2),INF	2.76	Ω(n^2),INF	2.73	TIMEOUT	300	MAYBE	292.7	TIMEOUT	300
	Ω(n^1),INF	3.48	Ω(n^1),INF	3.66	TIMEOUT	300	MAYBE	299.94	TIMEOUT	300
	Ω(n^2),INF	2.62	Ω(n^2),INF	2.65	TIMEOUT	300	MAYBE	292.25	TIMEOUT	300
	Ω(n^2),INF	2.55	Ω(n^2),INF	2.65	MAYBE	299.33	MAYBE	292.11	TIMEOUT	300
	Ω(n^2),INF	3.11	Ω(n^2),INF	3.12	MAYBE	299.2	MAYBE	292.22	TIMEOUT	300
	Ω(n^2),INF	2.86	Ω(n^2),INF	2.76	TIMEOUT	300	MAYBE	292.16	TIMEOUT	300
	MAYBE	1.39	MAYBE	1.35	TIMEOUT	300	Ω(1),O(n^1)	292.55	Ω(1),O(n^2)	2.98
	Ω(n^1),INF	2.08	Ω(n^1),INF	2.15	MAYBE	299.38	MAYBE	70.52	TIMEOUT	300
	Ω(n^1),INF	2.19	Ω(n^1),INF	2.25	MAYBE	299.44	MAYBE	68.98	TIMEOUT	300
	Ω(n^1),INF	2.19	Ω(n^1),INF	2.26	MAYBE	299.32	MAYBE	292.8	TIMEOUT	300
	Ω(n^1),INF	4.13	Ω(n^1),INF	4.61	TIMEOUT	300	MAYBE	292.21	TIMEOUT	300
	Ω(n^1),INF	2.26	Ω(n^1),INF	2.26	TIMEOUT	300	MAYBE	149.06	TIMEOUT	300
	Ω(n^1),INF	2.38	Ω(n^1),INF	2.51	MAYBE	299.25	MAYBE	164.91	TIMEOUT	300
	Ω(n^1),INF	2.13	Ω(n^1),INF	2.37	MAYBE	299.33	MAYBE	102.08	TIMEOUT	300
	Ω(n^1),INF	1.9	Ω(n^1),INF	1.92	MAYBE	299.35	MAYBE	142.57	TIMEOUT	300
	Ω(n^1),INF	2.34	Ω(n^1),INF	2.42	MAYBE	299.47	MAYBE	62.91	TIMEOUT	300
	Ω(n^1),INF	2.37	Ω(n^1),INF	2.31	TIMEOUT	300	MAYBE	292.26	TIMEOUT	300
	MAYBE	1.38	Ω(n^1),INF	1.83	MAYBE	299.43	MAYBE	174.31	TIMEOUT	300
	Ω(n^1),INF	3.2	Ω(n^1),INF	3.34	MAYBE	299.41	MAYBE	25.43	TIMEOUT	300
	Ω(n^1),INF	4.6	Ω(n^1),INF	4.83	MAYBE	299.65	MAYBE	292.26	TIMEOUT	300
	MAYBE	1.27	MAYBE	1.29	Ω(1),O(n^1)	2.11	Ω(1),O(n^1)	0.98	Ω(1),O(n^2)	2.0
	MAYBE	1.28	Ω(n^1),INF	1.76	Ω(1),O(n^1)	299.26	Ω(1),O(n^1)	12.77	Ω(1),O(n^1)	13.91
	MAYBE	1.27	Ω(n^1),INF	1.63	Ω(1),O(n^1)	0.66	Ω(1),O(n^1)	0.34	Ω(1),O(n^1)	1.97
	TIMEOUT	300	TIMEOUT	300	Ω(1),O(n^1)	3.94	Ω(1),O(n^1)	2.69	Ω(1),O(n^1)	2.97
	Ω(n^1),INF	1.97	Ω(n^1),INF	2.01	Ω(1),O(n^1)	0.42	Ω(1),O(n^1)	0.34	Ω(1),O(n^1)	2.0
	Ω(n^1),INF	2.15	Ω(n^1),INF	2.15	Ω(1),O(n^1)	0.63	Ω(1),O(n^1)	0.29	Ω(1),O(n^1)	1.96
	Ω(n^3),INF	3.66	Ω(n^3),INF	3.97	Ω(1),O(n^3)	31.54	Ω(1),O(n^3)	11.38	Ω(1),O(n^3)	3.68
	Ω(n^1),INF	2.37	Ω(n^1),INF	2.42	Ω(1),O(n^1)	1.96	Ω(1),O(n^1)	0.69	Ω(1),O(n^1)	2.04
	Ω(n^1),INF	2.07	Ω(n^1),INF	1.89	Ω(1),O(n^1)	0.89	Ω(1),O(n^1)	0.68	Ω(1),O(n^1)	2.09
	MAYBE	8.12	Ω(2^n),INF	8.14	MAYBE	10.21	MAYBE	4.02	MAYBE	12.23
	Ω(n^1),INF	3.64	Ω(n^2),INF	3.67	Ω(1),O(n^2)	8.15	Ω(1),O(n^2)	3.94	Ω(1),O(n^2)	2.52
	MAYBE	15.77	Ω(n^1),INF	4.34	Ω(1),O(n^1)	0.48	Ω(1),O(n^1)	0.27	Ω(1),O(n^2)	1.93
	Ω(n^1),INF	2.87	Ω(n^1),INF	3.05	Ω(1),O(n^2)	4.27	Ω(1),O(n^2)	1.53	Ω(1),O(n^2)	2.24
	Ω(n^2),INF	2.68	Ω(n^2),INF	2.48	Ω(1),O(n^2)	24.99	Ω(1),O(n^2)	5.09	Ω(1),O(n^2)	2.67
	MAYBE	6.21	Ω(n^1),INF	1.89	Ω(1),O(n^1)	0.45	Ω(1),O(n^1)	0.4	Ω(1),O(n^1)	1.93
	MAYBE	2.13	Ω(n^1),INF	2.57	MAYBE	32.65	MAYBE	4.26	MAYBE	13.16
	Ω(n^1),INF	4.62	Ω(n^1),INF	3.52	Ω(1),O(n^2)	5.62	Ω(1),O(n^2)	4.29	Ω(1),O(n^2)	2.45
	Ω(n^2),INF	5.47	Ω(n^2),INF	300	MAYBE	299.21	MAYBE	17.86	TIMEOUT	300
	MAYBE	1.86	Ω(n^1),INF	2.06	MAYBE	17.72	MAYBE	3.5	MAYBE	37.47
	Ω(n^1),INF	2.61	Ω(n^1),INF	2.67	MAYBE	299.34	MAYBE	19.01	TIMEOUT	300
	Ω(n^1),INF	2.54	Ω(3^n),INF	2.85	MAYBE	299.35	MAYBE	102.66	TIMEOUT	300
	Ω(n^1),INF	2.81	Ω(n^1),INF	2.52	MAYBE	299.11	MAYBE	40.87	TIMEOUT	300
	MAYBE	2.2	Ω(n^1),INF	2.58	MAYBE	299.22	MAYBE	3.56	TIMEOUT	300
	TIMEOUT	300	Ω(n^1),INF	3.19	Ω(1),O(n^1)	2.45	Ω(1),O(n^1)	0.63	Ω(1),O(n^1)	1.83
	MAYBE	1.21	MAYBE	1.15	Ω(1),O(1)	0.48	Ω(1),O(1)	0.33	Ω(1),O(1)	1.72
	Ω(n^1),INF	2.1	Ω(n^1),INF	2.24	Ω(1),O(n^1)	1.48	Ω(1),O(n^1)	0.23	Ω(1),O(n^1)	1.98
	MAYBE	1.32	Ω(n^1),INF	1.74	Ω(1),O(n^1)	5.24	Ω(1),O(n^1)	7.13	Ω(1),O(n^1)	1.99
	MAYBE	1.36	MAYBE	1.36	Ω(1),O(1)	0.77	Ω(1),O(1)	0.22	Ω(1),O(n^1)	2.07
	Ω(n^1),INF	2.05	Ω(n^1),INF	2.04	Ω(1),O(n^1)	2.14	Ω(1),O(n^1)	0.55	Ω(1),O(n^1)	3.41
	Ω(n^2),INF	2.17	Ω(n^2),INF	2.15	Ω(1),O(n^2)	25.87	Ω(1),O(n^2)	10.79	Ω(1),O(n^2)	12.53
	Ω(n^1),INF	1.47	Ω(n^1),INF	1.41	Ω(1),O(n^1)	2.15	Ω(1),O(n^1)	0.35	Ω(1),O(n^1)	1.98
	Ω(n^1),INF	1.81	Ω(n^1),INF	1.92	Ω(1),O(n^1)	1.47	Ω(1),O(n^1)	1.04	Ω(1),O(n^1)	2.04
	Ω(n^1),INF	1.49	Ω(n^1),INF	1.52	Ω(1),O(n^1)	30.3	Ω(1),O(n^1)	10.32	Ω(1),O(n^1)	2.57
	Ω(n^1),INF	5.43	Ω(n^1),INF	5.03	MAYBE	299.37	MAYBE	83.21	MAYBE	12.05
	MAYBE	1.32	Ω(n^1),INF	1.69	Ω(1),O(n^1)	6.0	Ω(1),O(n^1)	2.62	Ω(1),O(n^1)	2.33
	TIMEOUT	300	Ω(n^1),INF	7.95	Ω(1),O(n^1)	5.43	Ω(1),O(n^1)	1.09	Ω(1),O(n^1)	1.98
	MAYBE	1.24	Ω(n^1),INF	1.58	Ω(1),O(n^1)	0.63	Ω(1),O(n^1)	0.3	Ω(1),O(n^1)	1.91
	MAYBE	1.17	MAYBE	1.15	Ω(1),O(1)	0.64	Ω(1),O(1)	0.52	Ω(1),O(1)	1.79
	MAYBE	1.22	MAYBE	1.21	Ω(1),O(n^1)	3.03	Ω(1),O(1)	0.71	Ω(1),O(1)	1.77
	MAYBE	1.25	Ω(n^1),INF	1.59	Ω(1),O(n^1)	0.38	Ω(1),O(n^1)	0.23	Ω(1),O(n^1)	1.95
	MAYBE	1.73	Ω(n^1),INF	1.87	MAYBE	299.52	MAYBE	41.95	TIMEOUT	300
	Ω(n^1),INF	2.93	Ω(n^1),INF	2.97	MAYBE	299.39	MAYBE	214.38	TIMEOUT	300
	MAYBE	1.24	Ω(n^1),INF	1.9	Ω(1),O(n^1)	0.66	Ω(1),O(n^1)	0.64	Ω(1),O(n^1)	1.98
	Ω(n^1),INF	2.11	Ω(n^1),INF	2.05	Ω(1),O(n^1)	0.32	Ω(1),O(n^1)	0.37	Ω(1),O(n^1)	1.93
	MAYBE	1.33	Ω(n^1),INF	1.65	Ω(1),O(n^1)	0.33	Ω(1),O(n^1)	0.51	Ω(1),O(n^2)	1.99
	MAYBE	1.38	MAYBE	1.39	Ω(1),O(n^1)	0.2	Ω(1),O(n^1)	0.35	Ω(1),O(n^1)	1.9
	MAYBE	1.48	MAYBE	1.49	Ω(1),O(n^1)	4.01	Ω(1),O(n^1)	1.53	Ω(1),O(n^2)	3.66
	TIMEOUT	300	TIMEOUT	300	Ω(1),O(n^2)	4.63	Ω(1),O(n^2)	5.36	Ω(1),O(n^3)	2.02
	MAYBE	1.25	Ω(n^1),INF	1.65	TIMEOUT	300	MAYBE	19.2	TIMEOUT	300
	MAYBE	1.21	MAYBE	1.26	Ω(1),O(1)	0.54	Ω(1),O(1)	0.11	Ω(1),O(1)	1.8
	MAYBE	1.24	MAYBE	1.21	Ω(1),O(1)	5.31	Ω(1),O(1)	2.53	Ω(1),O(1)	1.77
	MAYBE	1.93	Ω(n^1),INF	2.48	Ω(1),O(n^2)	29.01	Ω(1),O(n^2)	7.77	Ω(1),O(n^2)	2.03
	MAYBE	3.83	MAYBE	3.98	Ω(1),O(n^1)	5.11	Ω(1),O(n^1)	7.13	Ω(1),O(n^1)	2.19
	MAYBE	25.62	Ω(n^1),INF	2.26	Ω(1),O(n^1)	30.18	Ω(1),O(n^2)	5.64	Ω(1),O(n^1)	2.07
	MAYBE	1.35	MAYBE	1.34	Ω(1),O(n^1)	1.33	Ω(1),O(n^1)	0.86	Ω(1),O(n^1)	2.07
	Ω(n^1),INF	1.91	Ω(n^2),INF	3.09	Ω(1),O(n^2)	20.31	Ω(1),O(n^2)	43.95	TIMEOUT	300
	MAYBE	1.21	MAYBE	1.26	Ω(1),O(1)	0.73	Ω(1),O(1)	0.62	Ω(1),O(1)	1.79
	MAYBE	1.49	Ω(n^1),INF	1.97	MAYBE	43.81	MAYBE	20.03	TIMEOUT	300
	Ω(n^1),INF	2.48	Ω(n^1),INF	2.81	MAYBE	299.37	MAYBE	292.68	TIMEOUT	300
	MAYBE	2.15	Ω(n^1),INF	2.26	Ω(1),O(n^1)	0.59	Ω(1),O(n^1)	0.32	Ω(1),O(n^1)	1.9
	Ω(n^1),INF	2.11	Ω(n^1),INF	2.12	Ω(1),O(n^1)	299.98	Ω(1),O(n^1)	5.9	Ω(1),O(n^1)	3.84
	TIMEOUT	300	Ω(n^1),INF	1.8	MAYBE	299.12	MAYBE	292.15	TIMEOUT	300
	TIMEOUT	300	TIMEOUT	300	Ω(1),O(n^1)	2.38	Ω(1),O(n^1)	1.76	Ω(1),O(n^2)	2.13
	MAYBE	1.24	MAYBE	1.24	Ω(1),O(n^1)	1.11	Ω(1),O(n^1)	0.44	Ω(1),O(n^1)	2.0
	Ω(n^1),INF	2.42	Ω(n^1),INF	2.54	Ω(1),O(n^1)	14.89	Ω(1),O(n^1)	8.18	Ω(1),O(n^1)	54.81
	MAYBE	3.35	Ω(2^n),INF	2.81	MAYBE	299.26	MAYBE	12.62	MAYBE	4.59
	MAYBE	1.3	Ω(n^1),INF	1.64	MAYBE	299.23	MAYBE	26.96	MAYBE	92.73
	MAYBE	1.22	MAYBE	1.23	Ω(1),O(1)	0.28	Ω(1),O(1)	0.11	Ω(1),O(1)	1.81
	MAYBE	1.32	Ω(n^1),INF	1.61	Ω(1),O(n^1)	1.24	Ω(1),O(n^1)	1.14	Ω(1),O(n^1)	2.15
	Ω(n^1),INF	1.76	Ω(n^1),INF	1.82	MAYBE	299.36	MAYBE	16.94	TIMEOUT	300
	Ω(n^1),INF	2.17	Ω(n^1),INF	1.98	MAYBE	299.42	Ω(1),O(n^3)	24.96	MAYBE	56.28
	MAYBE	1.26	Ω(n^1),INF	1.64	Ω(1),O(n^1)	0.21	Ω(1),O(n^1)	0.13	Ω(1),O(n^1)	2.02
	MAYBE	1.33	MAYBE	1.37	Ω(1),O(1)	2.03	Ω(1),O(1)	0.17	Ω(1),O(1)	1.92
	MAYBE	1.28	MAYBE	1.29	Ω(1),O(1)	0.82	Ω(1),O(1)	0.1	Ω(1),O(1)	1.77
	MAYBE	1.24	MAYBE	1.36	Ω(1),O(n^1)	2.03	Ω(1),O(n^1)	0.74	Ω(1),O(n^1)	2.02
	MAYBE	5.63	Ω(n^1),INF	5.69	Ω(1),O(n^1)	3.06	Ω(1),O(n^1)	1.98	Ω(1),O(n^1)	1.97
	MAYBE	2.43	Ω(2^n),INF	2.82	TIMEOUT	300	MAYBE	4.77	MAYBE	189.32
	MAYBE	1.42	MAYBE	1.35	Ω(1),O(1)	30.47	Ω(1),O(1)	294.24	Ω(1),O(1)	1.74
	MAYBE	5.1	Ω(2^n),INF	2.85	MAYBE	30.17	MAYBE	25.06	MAYBE	12.43
	MAYBE	108.23	Ω(n^1),INF	28.66	TIMEOUT	300	MAYBE	292.53	TIMEOUT	300
	Ω(n^1),INF	5.83	Ω(2^n),INF	2.44	MAYBE	299.46	MAYBE	292.33	TIMEOUT	300
	Ω(n^1),INF	1.63	Ω(n^1),INF	1.56	Ω(1),O(n^1)	30.08	Ω(1),O(n^1)	120.61	Ω(1),O(n^1)	1.95
	MAYBE	1.23	Ω(n^1),INF	1.67	Ω(1),O(n^1)	4.31	Ω(1),O(n^1)	4.49	Ω(1),O(n^1)	1.94
	Ω(n^1),INF	1.57	Ω(n^1),INF	1.56	Ω(1),O(n^1)	2.43	Ω(1),O(n^1)	292.14	Ω(1),O(n^1)	1.95
	MAYBE	3.27	MAYBE	3.28	MAYBE	299.22	MAYBE	12.27	Ω(1),O(n^1)	23.87
	MAYBE	1.35	Ω(n^1),INF	1.66	Ω(1),O(n^1)	2.13	Ω(1),O(n^1)	1.07	Ω(1),O(n^1)	2.89
	Ω(n^1),INF	1.6	Ω(n^1),INF	1.61	Ω(1),O(n^1)	11.58	Ω(1),O(n^1)	3.95	Ω(1),O(n^1)	1.97
	Ω(n^1),INF	2.19	Ω(n^1),INF	2.22	TIMEOUT	300	MAYBE	24.87	MAYBE	105.37
	MAYBE	1.35	MAYBE	1.34	MAYBE	299.33	MAYBE	2.56	Ω(1),O(1)	1.87
	Ω(n^1),INF	1.47	Ω(n^1),INF	1.56	MAYBE	299.23	MAYBE	24.86	Ω(1),O(n^2)	8.81
	Ω(n^1),INF	3.03	Ω(n^1),INF	3.24	Ω(1),O(n^2)	33.69	Ω(1),O(n^3)	12.16	Ω(1),O(n^2)	2.28
	Ω(n^1),INF	1.74	Ω(n^1),INF	1.72	Ω(1),O(n^1)	7.63	Ω(1),O(n^1)	7.09	Ω(1),O(n^2)	12.65
	Ω(n^1),INF	2.26	Ω(n^1),INF	2.24	TIMEOUT	300	MAYBE	292.32	TIMEOUT	300
	Ω(n^1),INF	1.56	Ω(n^1),INF	1.62	Ω(1),O(n^1)	0.64	Ω(1),O(n^1)	292.04	Ω(1),O(n^1)	1.93
	Ω(n^1),INF	1.62	Ω(n^1),INF	1.64	MAYBE	299.42	MAYBE	12.01	Ω(1),O(n^2)	4.74
	Ω(n^1),INF	1.7	Ω(n^1),INF	1.77	MAYBE	299.2	MAYBE	292.55	Ω(1),O(n^2)	15.23
	Ω(n^1),INF	1.61	Ω(n^1),INF	1.72	MAYBE	299.98	MAYBE	171.88	Ω(1),O(n^2)	22.18
	Ω(n^1),INF	1.69	Ω(n^1),INF	1.72	MAYBE	299.37	MAYBE	94.83	Ω(1),O(n^2)	13.53
	MAYBE	2.18	MAYBE	2.48	Ω(1),O(n^1)	8.76	Ω(1),O(n^2)	3.91	Ω(1),O(n^1)	2.49
	Ω(n^2),INF	1.7	Ω(n^2),INF	1.7	Ω(1),O(n^5)	74.39	Ω(1),O(n^3)	47.06	TIMEOUT	300
	Ω(n^1),INF	1.43	Ω(n^1),INF	1.51	Ω(1),O(n^1)	5.04	Ω(1),O(n^1)	4.0	Ω(1),O(n^2)	63.29
	Ω(n^1),INF	5.5	Ω(n^1),INF	5.65	MAYBE	299.38	MAYBE	293.98	TIMEOUT	300
	Ω(n^1),INF	3.28	Ω(n^2),INF	3.64	Ω(1),O(n^3)	58.71	Ω(1),O(n^2)	216.35	TIMEOUT	300
	MAYBE	1.24	MAYBE	1.18	Ω(1),O(n^1)	1.73	Ω(1),O(n^1)	1.08	Ω(1),O(n^1)	2.08
	MAYBE	1.28	MAYBE	1.21	Ω(1),O(n^1)	0.79	Ω(1),O(n^1)	1.02	Ω(1),O(n^1)	2.11
	MAYBE	1.31	MAYBE	1.2	Ω(1),O(1)	0.27	Ω(1),O(1)	0.21	Ω(1),O(1)	1.72
	Ω(n^2),INF	300	Ω(n^2),INF	2.91	MAYBE	30.16	MAYBE	9.74	TIMEOUT	300
	MAYBE	1.5	MAYBE	1.36	MAYBE	15.6	MAYBE	3.68	MAYBE	62.05
	Ω(n^1),INF	1.77	Ω(n^1),INF	1.61	MAYBE	15.64	MAYBE	3.42	MAYBE	118.71
	Ω(n^1),INF	2.56	Ω(n^1),INF	2.3	MAYBE	20.85	MAYBE	6.95	MAYBE	161.71
	Ω(n^1),INF	2.08	Ω(n^1),INF	1.81	MAYBE	21.25	MAYBE	4.58	MAYBE	164.05
	Ω(n^1),INF	2.59	Ω(n^1),INF	2.86	MAYBE	299.28	MAYBE	51.16	MAYBE	4.07
	Ω(n^1),INF	2.01	Ω(n^1),INF	2.08	MAYBE	20.6	MAYBE	3.94	MAYBE	125.98
	MAYBE	1.22	MAYBE	1.23	MAYBE	9.99	MAYBE	15.1	MAYBE	13.82
	Ω(n^3),INF	3.05	Ω(n^3),INF	2.97	MAYBE	299.38	MAYBE	33.77	TIMEOUT	300
	Ω(n^1),INF	2.4	Ω(n^1),INF	2.28	MAYBE	22.04	MAYBE	3.34	MAYBE	130.63
	Ω(n^1),INF	1.81	Ω(n^1),INF	1.78	MAYBE	16.32	MAYBE	2.57	MAYBE	110.42
	Ω(n^1),INF	2.38	Ω(n^1),INF	2.39	MAYBE	23.75	MAYBE	4.17	TIMEOUT	300
	Ω(n^1),INF	300	Ω(n^1),INF	300	TIMEOUT	300	MAYBE	18.58	TIMEOUT	300
	MAYBE	1.29	MAYBE	1.54	MAYBE	299.38	MAYBE	6.46	TIMEOUT	300
	MAYBE	1.3	MAYBE	1.38	MAYBE	299.18	MAYBE	10.85	MAYBE	101.26
	Ω(n^1),INF	300	Ω(n^1),INF	300	MAYBE	30.09	MAYBE	8.11	TIMEOUT	300
	Ω(n^1),INF	1.74	Ω(n^1),INF	1.57	MAYBE	16.78	MAYBE	2.78	MAYBE	111.34
	MAYBE	1.29	MAYBE	1.29	MAYBE	9.53	MAYBE	7.05	MAYBE	12.14
	Ω(n^1),INF	1.67	Ω(n^1),INF	1.65	Ω(1),O(n^1)	4.08	Ω(1),O(n^1)	1.49	Ω(1),O(n^1)	2.3
	Ω(n^1),INF	2.01	Ω(n^1),INF	2.08	TIMEOUT	300	MAYBE	17.58	MAYBE	4.8
	Ω(n^1),INF	4.71	Ω(n^1),INF	4.83	MAYBE	30.11	MAYBE	8.87	TIMEOUT	300
	MAYBE	1.26	MAYBE	1.3	MAYBE	9.57	MAYBE	7.07	MAYBE	12.32
	Ω(n^1),INF	2.59	Ω(n^1),INF	2.53	MAYBE	32.06	MAYBE	9.63	TIMEOUT	300
	MAYBE	1.56	MAYBE	1.43	MAYBE	17.83	MAYBE	3.94	MAYBE	62.58
	MAYBE	1.25	MAYBE	1.35	MAYBE	8.53	MAYBE	7.08	MAYBE	12.15
	Ω(n^1),INF	1.88	Ω(n^1),INF	1.67	MAYBE	15.58	MAYBE	3.64	MAYBE	111.62
	Ω(n^1),INF	2.05	Ω(n^1),INF	1.99	MAYBE	19.53	MAYBE	3.38	MAYBE	123.34
	Ω(n^1),INF	2.42	Ω(n^1),INF	4.08	MAYBE	299.54	MAYBE	11.94	TIMEOUT	300
	MAYBE	1.78	Ω(n^1),INF	3.09	MAYBE	235.93	MAYBE	27.71	TIMEOUT	300
	Ω(n^2),INF	300	Ω(n^2),INF	5.19	MAYBE	30.2	MAYBE	12.24	TIMEOUT	300
	MAYBE	1.28	MAYBE	1.29	MAYBE	10.0	MAYBE	7.05	MAYBE	12.23
	TIMEOUT	300	Ω(n^2),INF	1.69	MAYBE	18.17	MAYBE	18.74	TIMEOUT	300
	MAYBE	1.34	Ω(n^1),INF	1.86	MAYBE	18.4	MAYBE	11.36	TIMEOUT	300
	MAYBE	1.56	MAYBE	1.65	MAYBE	299.5	MAYBE	88.15	TIMEOUT	300
	Ω(n^2),INF	6.26	Ω(n^2),INF	6.37	MAYBE	299.44	MAYBE	292.22	TIMEOUT	300
	MAYBE	1.23	MAYBE	1.26	MAYBE	8.28	MAYBE	7.04	MAYBE	12.42
	MAYBE	1.6	MAYBE	1.25	MAYBE	15.58	MAYBE	3.13	MAYBE	61.34
	MAYBE	1.26	MAYBE	1.4	MAYBE	8.27	MAYBE	7.07	MAYBE	12.48
	MAYBE	1.21	MAYBE	1.29	MAYBE	299.27	MAYBE	8.2	MAYBE	12.29
	MAYBE	1.24	MAYBE	1.31	MAYBE	9.03	MAYBE	7.05	MAYBE	12.3
	MAYBE	1.4	MAYBE	1.5	TIMEOUT	300	MAYBE	10.65	TIMEOUT	300
	Ω(n^3),INF	2.97	Ω(n^3),INF	3.03	MAYBE	299.27	MAYBE	24.43	TIMEOUT	300
	MAYBE	1.3	MAYBE	1.5	MAYBE	240.98	MAYBE	33.59	MAYBE	21.45
	MAYBE	1.42	Ω(n^1),INF	1.6	Ω(1),O(n^1)	11.34	Ω(1),O(n^1)	8.32	Ω(1),O(n^1)	1.94
	Ω(n^1),INF	2.11	Ω(n^1),INF	2.22	TIMEOUT	300	MAYBE	12.95	Ω(1),O(n^1)	2.28
	Ω(n^1),INF	2.05	Ω(n^1),INF	2.08	MAYBE	299.4	MAYBE	19.17	Ω(1),O(n^1)	2.42
	MAYBE	1.31	Ω(n^1),INF	1.58	Ω(1),O(n^1)	1.04	Ω(1),O(n^1)	0.67	Ω(1),O(n^1)	2.36
	MAYBE	1.35	MAYBE	1.33	Ω(1),O(1)	7.36	Ω(1),O(1)	1.42	Ω(1),O(1)	1.82
	MAYBE	2.98	MAYBE	2.97	Ω(1),POLY	211.69	MAYBE	74.54	TIMEOUT	300
	MAYBE	1.6	MAYBE	1.67	Ω(1),POLY	34.99	MAYBE	12.48	TIMEOUT	300
	MAYBE	2.18	Ω(n^1),INF	2.5	Ω(1),O(n^10)	111.98	MAYBE	292.27	TIMEOUT	300
	MAYBE	1.62	Ω(n^1),INF	2.05	Ω(1),O(n^5)	42.41	Ω(1),O(n^5)	64.32	TIMEOUT	300
	MAYBE	2.89	Ω(n^1),INF	3.59	Ω(1),O(n^2)	27.74	Ω(1),O(n^2)	12.63	Ω(1),O(n^2)	2.88
	MAYBE	190.8	Ω(n^1),INF	208.77	MAYBE	299.73	MAYBE	294.86	Ω(1),O(n^1)	178.81
	MAYBE	1.36	Ω(n^1),INF	1.85	Ω(1),O(n^1)	2.48	Ω(1),O(n^1)	0.95	Ω(1),O(n^1)	2.03
	Ω(n^1),INF	8.34	Ω(n^1),INF	8.33	MAYBE	299.9	TIMEOUT	300	TIMEOUT	300
	MAYBE	0.23	MAYBE	0.25	MAYBE	0.05	MAYBE	0.41	MAYBE	0.36
	Ω(n^2),INF	2.46	Ω(n^2),INF	2.57	Ω(1),O(n^2)	6.14	Ω(1),O(n^2)	3.85	Ω(1),O(n^2)	2.15
	MAYBE	1.53	Ω(n^1),INF	2.05	MAYBE	299.62	MAYBE	292.29	Ω(1),O(n^1)	64.89
	MAYBE	1.3	Ω(n^1),INF	1.69	Ω(1),O(n^1)	1.46	Ω(1),O(n^1)	0.79	Ω(1),O(n^1)	2.04
	MAYBE	1.36	Ω(n^1),INF	1.88	MAYBE	299.22	MAYBE	13.31	TIMEOUT	300
	MAYBE	0.22	MAYBE	0.21	MAYBE	0.03	MAYBE	0.05	MAYBE	0.34
	MAYBE	1.25	MAYBE	1.15	Ω(1),O(1)	0.63	Ω(1),O(1)	0.21	Ω(1),O(1)	1.81
	MAYBE	1.43	Ω(n^1),INF	2.07	MAYBE	299.73	MAYBE	292.26	Ω(1),O(n^3)	69.39
	MAYBE	10.74	Ω(n^1),INF	15.48	MAYBE	299.16	MAYBE	62.37	TIMEOUT	300
	Ω(n^1),INF	1.78	Ω(n^1),INF	1.69	Ω(1),O(n^2)	299.27	Ω(1),O(n^3)	54.25	TIMEOUT	300
	MAYBE	1.3	MAYBE	1.3	MAYBE	9.62	MAYBE	7.12	MAYBE	12.18
	MAYBE	1.49	Ω(n^1),INF	2.42	MAYBE	299.17	MAYBE	14.42	TIMEOUT	300
	MAYBE	1.41	Ω(n^1),INF	2.09	MAYBE	299.15	MAYBE	292.31	Ω(1),O(n^2)	52.5
	MAYBE	2.43	Ω(n^1),INF	3.1	MAYBE	299.36	MAYBE	75.93	TIMEOUT	300
	MAYBE	1.35	Ω(n^1),INF	1.68	Ω(1),O(n^1)	86.96	Ω(1),O(n^1)	292.16	Ω(1),O(n^1)	36.31
	MAYBE	1.26	MAYBE	1.34	Ω(1),O(n^1)	4.75	Ω(1),O(n^1)	1.18	Ω(1),O(n^1)	1.96
	MAYBE	1.34	MAYBE	1.31	Ω(1),O(n^1)	2.43	Ω(1),O(n^1)	0.79	Ω(1),O(n^1)	1.93
	MAYBE	1.25	MAYBE	1.24	MAYBE	8.69	MAYBE	7.06	MAYBE	12.14
	MAYBE	1.31	MAYBE	1.28	Ω(1),O(n^1)	2.36	Ω(1),O(1)	0.51	Ω(1),O(1)	1.75
	MAYBE	2.06	Ω(n^1),INF	2.83	TIMEOUT	300	MAYBE	292.19	Ω(1),O(n^1)	84.56
	MAYBE	1.42	Ω(n^1),INF	1.8	MAYBE	299.24	MAYBE	11.85	TIMEOUT	300
	Ω(n^1),INF	2.16	Ω(n^1),INF	2.62	Ω(1),O(n^1)	19.48	Ω(1),O(n^1)	11.24	Ω(1),O(n^1)	3.09
	MAYBE	0.24	MAYBE	0.23	MAYBE	0.15	MAYBE	0.13	MAYBE	0.35
	MAYBE	1.34	MAYBE	1.47	MAYBE	34.2	MAYBE	10.46	TIMEOUT	300
	MAYBE	1.34	Ω(n^1),INF	1.66	MAYBE	299.17	MAYBE	292.67	Ω(1),O(n^1)	22.89
	MAYBE	87.55	Ω(n^1),INF	87.59	Ω(1),O(n^1)	12.82	Ω(1),O(n^1)	7.05	Ω(1),O(n^1)	1.92
	MAYBE	1.23	MAYBE	1.2	MAYBE	10.58	MAYBE	7.12	MAYBE	12.46
	MAYBE	1.39	Ω(n^1),INF	1.6	Ω(1),O(n^1)	52.91	Ω(1),O(n^1)	262.98	Ω(1),O(n^1)	37.18
	Ω(n^1),INF	1.54	Ω(n^1),INF	1.57	Ω(1),O(n^1)	0.44	Ω(1),O(n^1)	0.31	Ω(1),O(n^1)	1.87
	MAYBE	1.8	Ω(n^1),INF	1.94	Ω(1),O(n^1)	0.87	Ω(1),O(n^1)	0.26	Ω(1),O(n^1)	1.9
	MAYBE	1.22	MAYBE	1.22	Ω(1),O(1)	0.47	Ω(1),O(1)	0.11	Ω(1),O(1)	1.76
	MAYBE	1.73	Ω(n^1),INF	2.19	MAYBE	299.36	MAYBE	292.42	Ω(1),O(n^3)	73.64
	Ω(n^1),INF	1.69	Ω(n^1),INF	1.7	MAYBE	299.18	MAYBE	292.47	TIMEOUT	300
	Ω(n^1),INF	1.69	Ω(n^1),INF	1.72	Ω(1),O(n^1)	4.23	Ω(1),O(n^1)	3.71	Ω(1),O(n^1)	2.16
	MAYBE	1.24	MAYBE	1.23	MAYBE	8.3	MAYBE	7.28	MAYBE	12.14
	Ω(n^1),INF	1.7	Ω(n^1),INF	1.74	MAYBE	299.19	MAYBE	292.24	TIMEOUT	300
	MAYBE	1.87	Ω(n^1),INF	2.86	MAYBE	299.27	MAYBE	292.22	Ω(1),O(n^2)	72.17
	Ω(n^1),INF	1.58	Ω(n^1),INF	1.59	Ω(1),O(n^1)	8.6	Ω(1),O(n^1)	5.64	Ω(1),O(n^1)	2.03
	Ω(n^2),INF	2.1	Ω(n^2),INF	2.03	MAYBE	299.44	MAYBE	295.5	TIMEOUT	300
	MAYBE	0.24	MAYBE	0.24	MAYBE	0.04	MAYBE	0.04	MAYBE	0.35
	MAYBE	2.68	MAYBE	2.82	MAYBE	299.24	MAYBE	32.83	MAYBE	60.32
	MAYBE	1.39	Ω(n^1),INF	1.73	MAYBE	299.19	MAYBE	292.25	Ω(1),O(n^2)	28.12
	Ω(n^1),INF	1.57	Ω(n^1),INF	1.62	MAYBE	299.35	MAYBE	86.06	TIMEOUT	300
	MAYBE	1.23	MAYBE	1.18	MAYBE	8.47	MAYBE	7.05	MAYBE	12.2
	MAYBE	1.62	Ω(n^1),INF	2.33	MAYBE	299.2	MAYBE	293.08	Ω(1),O(n^2)	67.8
	MAYBE	1.22	MAYBE	1.26	Ω(1),O(n^1)	1.29	Ω(1),O(n^1)	0.72	Ω(1),O(n^2)	2.04
	MAYBE	1.46	MAYBE	1.53	MAYBE	299.48	MAYBE	31.75	TIMEOUT	300
	MAYBE	0.23	MAYBE	0.23	MAYBE	0.03	MAYBE	0.03	MAYBE	0.35
	MAYBE	1.99	MAYBE	2.15	Ω(1),O(n^2)	30.06	Ω(1),O(n^1)	292.15	Ω(1),O(n^2)	2.33
	MAYBE	1.77	Ω(n^1),INF	2.47	Ω(1),O(n^1)	299.2	Ω(1),O(n^1)	292.17	TIMEOUT	300
	MAYBE	1.34	MAYBE	1.47	TIMEOUT	300	MAYBE	35.21	TIMEOUT	300
	Ω(n^1),INF	4.62	Ω(n^1),INF	4.71	MAYBE	299.26	MAYBE	64.63	TIMEOUT	300
	MAYBE	0.25	MAYBE	0.23	MAYBE	0.06	MAYBE	0.03	MAYBE	0.35
	MAYBE	1.54	MAYBE	1.54	MAYBE	43.49	MAYBE	17.46	TIMEOUT	300
	MAYBE	1.27	MAYBE	1.37	Ω(1),O(n^1)	37.27	Ω(1),O(n^1)	292.15	Ω(1),O(n^1)	21.9
	MAYBE	1.32	MAYBE	1.32	MAYBE	299.16	MAYBE	292.53	MAYBE	14.14
	MAYBE	1.32	MAYBE	1.38	Ω(1),O(n^1)	0.72	Ω(1),O(1)	0.82	Ω(1),O(n^1)	1.89
	MAYBE	1.25	MAYBE	1.3	MAYBE	7.41	MAYBE	7.09	MAYBE	12.15
	MAYBE	1.36	Ω(n^1),INF	1.8	Ω(1),O(n^1)	92.66	Ω(1),O(n^1)	292.44	Ω(1),O(n^1)	52.15
	Ω(n^1),INF	1.61	Ω(n^1),INF	1.51	Ω(1),O(n^1)	0.91	Ω(1),O(n^1)	0.37	Ω(1),O(n^1)	1.93
	MAYBE	1.85	Ω(n^1),INF	1.82	Ω(1),O(n^1)	0.75	Ω(1),O(n^1)	0.64	Ω(1),O(n^1)	1.95
	MAYBE	1.18	MAYBE	1.26	Ω(1),O(1)	0.18	Ω(1),O(1)	0.16	Ω(1),O(1)	1.74
	MAYBE	1.3	Ω(n^1),INF	1.71	MAYBE	299.2	MAYBE	292.15	Ω(1),O(n^3)	37.97
	MAYBE	1.31	Ω(n^1),INF	1.7	MAYBE	299.35	MAYBE	12.98	TIMEOUT	300
	MAYBE	1.85	Ω(n^1),INF	1.96	Ω(1),O(n^1)	9.52	Ω(1),O(n^1)	5.16	Ω(1),O(n^1)	2.0
	MAYBE	1.22	MAYBE	1.19	MAYBE	7.71	MAYBE	7.12	MAYBE	12.14
	MAYBE	1.35	MAYBE	1.44	MAYBE	299.45	MAYBE	5.23	MAYBE	56.64
	MAYBE	1.38	Ω(n^1),INF	1.74	Ω(1),O(n^2)	167.84	MAYBE	292.27	Ω(1),O(n^1)	29.24
	Ω(n^1),INF	1.54	Ω(n^1),INF	1.57	Ω(1),O(n^1)	2.18	Ω(1),O(n^1)	59.43	Ω(1),O(n^1)	1.96
	MAYBE	1.25	MAYBE	1.31	MAYBE	11.03	MAYBE	7.09	MAYBE	12.46
	MAYBE	1.48	Ω(n^1),INF	1.87	Ω(1),O(n^1)	123.03	Ω(1),O(n^1)	173.63	Ω(1),O(n^1)	69.02
	MAYBE	1.36	Ω(n^1),INF	2.04	Ω(1),O(n^1)	1.27	Ω(1),O(n^1)	0.52	Ω(1),O(n^1)	1.96
	MAYBE	1.32	Ω(n^1),INF	1.88	Ω(1),O(n^1)	2.25	Ω(1),O(n^1)	1.12	Ω(1),O(n^1)	1.96
	MAYBE	1.28	MAYBE	1.44	Ω(1),O(1)	0.81	Ω(1),O(1)	0.31	Ω(1),O(1)	1.79
	MAYBE	3.21	Ω(n^1),INF	4.09	TIMEOUT	300	TIMEOUT	300	Ω(1),O(n^2)	103.3
	MAYBE	1.37	MAYBE	1.42	Ω(1),O(n^1)	2.74	Ω(1),O(n^1)	1.66	Ω(1),O(n^1)	2.14
	Ω(n^1),INF	1.84	Ω(n^1),INF	1.85	MAYBE	299.24	Ω(1),O(n^2)	166.17	TIMEOUT	300
	MAYBE	1.14	MAYBE	1.22	Ω(1),O(1)	0.67	Ω(1),O(1)	0.52	Ω(1),O(1)	1.81
	MAYBE	1.3	MAYBE	1.39	Ω(1),O(1)	1.39	Ω(1),O(1)	0.53	Ω(1),O(1)	1.85
	MAYBE	4.38	Ω(n^1),INF	5.22	MAYBE	299.18	TIMEOUT	300	Ω(1),O(n^1)	107.65
	MAYBE	1.32	MAYBE	1.29	Ω(1),O(n^1)	4.04	Ω(1),O(n^1)	1.24	Ω(1),O(n^1)	1.96
	Ω(n^1),INF	4.84	Ω(n^1),INF	4.96	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	Ω(n^3),INF	2.59	Ω(n^3),INF	2.69	MAYBE	69.46	Ω(1),O(n^3)	13.77	TIMEOUT	300
	Ω(n^3),INF	2.53	Ω(n^3),INF	2.64	MAYBE	52.47	Ω(1),O(n^3)	16.01	TIMEOUT	300
	MAYBE	1.76	Ω(n^1),INF	2.53	MAYBE	299.83	MAYBE	294.42	Ω(1),O(n^3)	74.63
	MAYBE	1.39	MAYBE	1.4	Ω(1),O(n^1)	30.07	Ω(1),O(n^3)	14.06	TIMEOUT	300
	MAYBE	1.51	Ω(n^1),INF	5.66	Ω(1),O(n^2)	299.66	Ω(1),O(n^2)	30.31	TIMEOUT	300
	MAYBE	1.2	MAYBE	1.16	Ω(1),O(1)	0.35	Ω(1),O(1)	0.24	Ω(1),O(1)	1.76
	MAYBE	1.28	MAYBE	1.35	Ω(1),O(n^1)	3.35	Ω(1),O(n^1)	2.71	Ω(1),O(n^1)	2.21
	MAYBE	1.44	Ω(n^1),INF	2.23	MAYBE	299.23	MAYBE	292.38	Ω(1),O(n^2)	59.92
	MAYBE	1.28	MAYBE	1.22	Ω(1),O(n^1)	0.82	Ω(1),O(n^1)	0.49	Ω(1),O(n^2)	1.99
	MAYBE	1.47	MAYBE	1.45	TIMEOUT	300	MAYBE	26.29	TIMEOUT	300
	MAYBE	0.23	MAYBE	0.24	MAYBE	0.04	MAYBE	0.03	MAYBE	0.34
	MAYBE	1.98	MAYBE	2.13	Ω(1),O(n^1)	0.99	Ω(1),O(n^1)	292.12	Ω(1),O(n^2)	2.06
	MAYBE	1.79	Ω(n^1),INF	2.57	MAYBE	299.16	MAYBE	292.17	Ω(1),O(n^2)	94.98
	MAYBE	1.62	Ω(n^1),INF	1.95	MAYBE	299.4	MAYBE	20.91	TIMEOUT	300
	MAYBE	1.32	MAYBE	1.43	MAYBE	299.51	MAYBE	12.69	TIMEOUT	300
	MAYBE	0.23	MAYBE	0.24	MAYBE	1.06	MAYBE	0.03	MAYBE	0.35
	MAYBE	1.36	MAYBE	1.43	MAYBE	44.76	MAYBE	10.5	TIMEOUT	300
	MAYBE	1.83	Ω(n^1),INF	2.76	TIMEOUT	300	MAYBE	298.47	Ω(1),O(n^1)	80.42
	MAYBE	1.45	MAYBE	1.45	TIMEOUT	300	MAYBE	12.72	TIMEOUT	300
	Ω(n^1),INF	1.74	Ω(n^1),INF	1.71	MAYBE	299.59	Ω(1),O(n^2)	105.09	TIMEOUT	300
	MAYBE	1.19	MAYBE	1.23	Ω(1),O(1)	0.82	Ω(1),O(1)	0.31	Ω(1),O(1)	1.83
	MAYBE	1.51	MAYBE	1.49	MAYBE	30.27	MAYBE	8.76	TIMEOUT	300
	MAYBE	1.47	Ω(n^1),INF	1.84	Ω(1),O(n^3)	69.59	Ω(1),O(n^2)	79.95	Ω(1),O(n^2)	54.34
	MAYBE	1.3	Ω(n^1),INF	1.7	Ω(1),O(n^1)	0.64	Ω(1),O(n^1)	0.51	Ω(1),O(n^1)	1.98
	MAYBE	1.35	Ω(n^1),INF	1.64	Ω(1),O(n^2)	12.5	Ω(1),O(n^2)	46.09	TIMEOUT	300
	MAYBE	1.21	Ω(n^1),INF	1.61	Ω(1),O(n^1)	0.4	Ω(1),O(n^1)	0.19	Ω(1),O(n^1)	1.89
	MAYBE	1.43	MAYBE	1.57	MAYBE	299.56	MAYBE	6.8	MAYBE	222.14
	MAYBE	1.49	Ω(n^1),INF	2.09	Ω(1),O(n^1)	299.15	Ω(1),O(n^1)	292.4	Ω(1),O(n^1)	72.11
	Ω(n^1),INF	1.57	Ω(n^1),INF	1.53	Ω(1),O(n^1)	0.94	Ω(1),O(n^1)	0.84	Ω(1),O(n^1)	2.15
	Ω(n^1),INF	1.7	Ω(n^1),INF	1.62	Ω(1),O(n^1)	13.86	Ω(1),O(n^1)	6.7	Ω(1),O(n^1)	5.07
	MAYBE	1.25	MAYBE	1.25	Ω(1),O(n^1)	0.63	Ω(1),O(1)	0.69	Ω(1),O(n^1)	2.18
	MAYBE	1.29	MAYBE	1.28	Ω(1),O(n^1)	1.02	Ω(1),O(1)	1.21	Ω(1),O(n^1)	2.28
	MAYBE	4.57	Ω(n^1),INF	5.8	MAYBE	299.23	MAYBE	293.1	Ω(1),O(n^2)	81.16
	MAYBE	1.28	MAYBE	1.31	MAYBE	299.41	MAYBE	9.56	TIMEOUT	300
	MAYBE	1.5	MAYBE	1.68	MAYBE	299.92	TIMEOUT	300	TIMEOUT	300
	MAYBE	0.23	MAYBE	0.22	MAYBE	0.04	MAYBE	0.03	MAYBE	0.35
	Ω(n^1),INF	2.23	Ω(n^1),INF	2.34	MAYBE	299.24	MAYBE	288.24	TIMEOUT	300
	MAYBE	1.52	Ω(n^1),INF	2.17	MAYBE	299.5	MAYBE	292.35	Ω(1),O(n^3)	59.95
	MAYBE	1.21	MAYBE	1.28	Ω(1),O(n^1)	1.44	Ω(1),O(n^1)	0.49	Ω(1),O(n^1)	1.94
	MAYBE	1.45	MAYBE	1.42	MAYBE	299.46	MAYBE	15.9	TIMEOUT	300
	MAYBE	0.23	MAYBE	0.24	MAYBE	0.15	MAYBE	0.03	MAYBE	0.32
	MAYBE	2.27	Ω(n^1),INF	1.49	Ω(1),O(n^1)	1.66	Ω(1),O(n^1)	0.55	Ω(1),O(n^1)	2.05
	MAYBE	1.42	Ω(n^1),INF	1.86	Ω(1),O(n^1)	299.28	Ω(1),O(n^1)	292.4	Ω(1),O(n^1)	300
	MAYBE	1.15	MAYBE	1.2	Ω(1),O(1)	0.46	Ω(1),O(1)	0.14	Ω(1),O(1)	1.88
	Ω(n^1),INF	1.61	Ω(n^1),INF	1.62	Ω(1),O(n^1)	8.02	Ω(1),O(n^1)	4.42	Ω(1),O(n^1)	300
	MAYBE	0.23	MAYBE	0.23	MAYBE	0.16	MAYBE	0.02	MAYBE	0.64
	MAYBE	1.82	Ω(n^1),INF	2.58	TIMEOUT	300	MAYBE	292.6	Ω(1),O(n^1)	81.03
	Ω(n^2),INF	2.26	Ω(n^2),INF	2.25	Ω(1),O(n^2)	299.56	Ω(1),O(n^2)	21.56	TIMEOUT	300
	Ω(n^1),INF	2.0	Ω(n^1),INF	2.08	Ω(1),O(n^2)	71.92	Ω(1),O(n^2)	64.39	TIMEOUT	300
	MAYBE	0.23	MAYBE	0.22	MAYBE	0.05	MAYBE	0.05	MAYBE	0.35
	Ω(n^1),INF	2.12	Ω(n^1),INF	2.13	Ω(1),O(n^1)	2.22	Ω(1),O(n^1)	1.92	Ω(1),O(n^2)	2.28
	TIMEOUT	300	Ω(n^1),INF	300	MAYBE	299.36	MAYBE	293.28	TIMEOUT	300
	Ω(n^2),INF	2.2	Ω(n^2),INF	2.15	TIMEOUT	300	MAYBE	110.51	TIMEOUT	300
	Ω(n^1),INF	6.96	Ω(n^1),INF	11.46	TIMEOUT	300	MAYBE	292.97	TIMEOUT	300
	MAYBE	0.25	MAYBE	0.24	MAYBE	0.05	MAYBE	0.63	MAYBE	0.36
	Ω(n^1),INF	1.6	Ω(n^1),INF	1.58	MAYBE	299.23	MAYBE	55.54	TIMEOUT	300
	MAYBE	1.55	Ω(n^1),INF	2.37	MAYBE	299.3	MAYBE	292.39	Ω(1),O(n^2)	76.69
	MAYBE	1.28	MAYBE	1.26	MAYBE	299.27	MAYBE	78.24	TIMEOUT	300
	MAYBE	1.39	MAYBE	1.47	TIMEOUT	300	MAYBE	16.54	TIMEOUT	300
	MAYBE	0.23	MAYBE	0.23	MAYBE	0.04	MAYBE	0.03	MAYBE	0.34
	Ω(n^1),INF	2.11	Ω(n^1),INF	2.13	MAYBE	299.16	MAYBE	15.1	TIMEOUT	300
	MAYBE	242.3	Ω(n^1),INF	255.72	TIMEOUT	300	MAYBE	292.86	Ω(1),O(n^1)	146.89
	MAYBE	1.74	Ω(n^1),INF	1.93	MAYBE	299.59	MAYBE	17.99	TIMEOUT	300
	MAYBE	42.92	Ω(n^1),INF	66.56	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	0.22	MAYBE	0.24	MAYBE	1.16	MAYBE	0.03	MAYBE	0.36
	MAYBE	1.37	MAYBE	1.48	MAYBE	41.0	MAYBE	10.49	TIMEOUT	300
	MAYBE	20.49	Ω(n^1),INF	22.24	MAYBE	299.21	MAYBE	296.72	TIMEOUT	300
	MAYBE	1.43	Ω(n^1),INF	1.86	Ω(1),O(n^1)	8.9	Ω(1),O(n^1)	2.08	Ω(1),O(n^1)	2.16
	Ω(n^1),INF	8.12	Ω(n^1),INF	8.07	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	0.24	MAYBE	0.23	MAYBE	0.16	MAYBE	0.07	MAYBE	0.37
	MAYBE	1.39	MAYBE	1.48	MAYBE	30.51	MAYBE	7.78	MAYBE	2.09
	MAYBE	1.51	Ω(n^1),INF	1.87	Ω(1),O(n^1)	299.47	Ω(1),O(n^1)	292.22	Ω(1),O(n^1)	38.22
	MAYBE	2.27	Ω(n^1),INF	2.61	Ω(1),O(n^1)	20.46	Ω(1),O(n^1)	8.17	Ω(1),O(n^1)	2.41
	MAYBE	2.24	Ω(n^1),INF	2.71	MAYBE	299.51	MAYBE	30.99	TIMEOUT	300
	MAYBE	0.24	MAYBE	0.22	MAYBE	0.16	MAYBE	0.08	MAYBE	0.34
	MAYBE	1.25	MAYBE	1.25	Ω(1),O(n^1)	3.14	Ω(1),O(n^1)	0.69	Ω(1),O(n^1)	2.11
	TIMEOUT	300	Ω(n^1),INF	300	TIMEOUT	300	MAYBE	293.05	Ω(1),O(n^2)	253.55
	Ω(n^1),INF	2.28	Ω(n^1),INF	2.61	MAYBE	299.18	MAYBE	292.81	TIMEOUT	300
	Ω(n^1),INF	53.49	Ω(n^1),INF	99.16	TIMEOUT	300	MAYBE	292.81	TIMEOUT	300
	MAYBE	0.24	MAYBE	0.24	MAYBE	0.05	MAYBE	0.05	MAYBE	0.37
	MAYBE	2.04	Ω(n^1),INF	2.36	MAYBE	299.19	MAYBE	194.3	TIMEOUT	300
	MAYBE	1.61	Ω(n^1),INF	2.26	TIMEOUT	300	MAYBE	292.41	Ω(1),O(n^3)	74.28
	MAYBE	1.33	MAYBE	1.39	Ω(1),O(n^1)	30.07	Ω(1),O(n^1)	3.54	Ω(1),O(n^1)	1.97
	MAYBE	2.41	Ω(n^1),INF	2.94	MAYBE	299.38	MAYBE	18.09	TIMEOUT	300
	MAYBE	0.23	MAYBE	0.22	MAYBE	1.3	MAYBE	0.03	MAYBE	0.35
	MAYBE	1.34	MAYBE	1.41	Ω(1),O(n^1)	2.44	Ω(1),O(1)	1.53	Ω(1),O(1)	1.72
	MAYBE	1.27	MAYBE	1.35	Ω(1),O(n^1)	45.38	Ω(1),O(n^1)	292.21	Ω(1),O(n^1)	300
	MAYBE	1.3	MAYBE	1.31	MAYBE	128.37	MAYBE	292.07	MAYBE	12.82
	MAYBE	1.23	MAYBE	1.21	Ω(1),O(1)	0.43	Ω(1),O(1)	0.15	Ω(1),O(1)	1.71
	MAYBE	1.46	Ω(n^1),INF	2.3	MAYBE	299.59	MAYBE	292.22	Ω(1),O(n^1)	59.64
	MAYBE	1.28	MAYBE	1.28	Ω(1),O(n^1)	2.8	Ω(1),O(n^1)	1.29	Ω(1),O(n^1)	2.01
	Ω(n^1),INF	4.15	Ω(n^1),INF	5.33	Ω(1),O(n^2)	18.91	Ω(1),O(n^2)	44.8	TIMEOUT	300
	MAYBE	1.18	MAYBE	1.22	Ω(1),O(1)	0.43	Ω(1),O(1)	0.27	Ω(1),O(1)	1.8
	MAYBE	1.26	MAYBE	1.32	Ω(1),O(n^1)	1.82	Ω(1),O(n^1)	0.63	Ω(1),O(n^1)	2.07
	MAYBE	2.26	Ω(n^1),INF	3.24	MAYBE	299.34	MAYBE	292.64	Ω(1),O(n^3)	102.33
	MAYBE	1.26	MAYBE	1.28	Ω(1),O(n^1)	30.49	Ω(1),O(n^1)	5.47	Ω(1),O(n^2)	2.03
	MAYBE	1.54	MAYBE	1.63	TIMEOUT	300	MAYBE	292.92	TIMEOUT	300
	MAYBE	0.23	MAYBE	0.24	MAYBE	0.05	MAYBE	0.06	MAYBE	0.36
	MAYBE	1.96	MAYBE	2.27	Ω(1),O(n^2)	30.1	Ω(1),O(n^1)	292.28	Ω(1),O(n^2)	3.68
	MAYBE	1.81	Ω(n^1),INF	2.94	MAYBE	299.37	MAYBE	292.82	Ω(1),O(n^1)	79.42
	Ω(n^1),INF	2.14	Ω(n^1),INF	2.18	MAYBE	299.76	MAYBE	21.89	TIMEOUT	300
	Ω(n^2),INF	2.33	Ω(n^2),INF	2.25	MAYBE	299.26	TIMEOUT	300	TIMEOUT	300
	MAYBE	0.23	MAYBE	0.24	MAYBE	0.16	MAYBE	0.08	MAYBE	0.36
	Ω(n^1),INF	2.0	Ω(n^1),INF	2.06	TIMEOUT	300	MAYBE	20.71	TIMEOUT	300
	MAYBE	1.71	Ω(n^1),INF	2.42	TIMEOUT	300	MAYBE	293.0	TIMEOUT	300
	MAYBE	1.34	MAYBE	1.38	TIMEOUT	300	MAYBE	12.24	TIMEOUT	300
	Ω(n^1),INF	1.73	Ω(n^1),INF	1.76	MAYBE	299.21	Ω(1),O(n^2)	60.74	TIMEOUT	300
	MAYBE	1.21	MAYBE	1.17	Ω(1),O(1)	2.15	Ω(1),O(1)	0.43	Ω(1),O(1)	1.91
	MAYBE	1.55	MAYBE	1.57	TIMEOUT	300	MAYBE	75.9	TIMEOUT	300
	MAYBE	1.43	Ω(n^1),INF	1.72	MAYBE	299.35	MAYBE	292.26	Ω(1),O(n^1)	23.34
	Ω(n^1),INF	1.55	Ω(n^1),INF	1.55	TIMEOUT	300	MAYBE	20.44	TIMEOUT	300
	MAYBE	1.21	MAYBE	1.22	MAYBE	12.33	MAYBE	0.96	MAYBE	4.44
	MAYBE	1.43	Ω(n^1),INF	1.76	Ω(1),O(n^2)	75.56	MAYBE	292.09	Ω(1),O(n^2)	27.88
	MAYBE	1.24	MAYBE	1.27	MAYBE	299.16	MAYBE	292.21	MAYBE	206.98
	TIMEOUT	300	TIMEOUT	300	Ω(1),O(n^1)	5.35	Ω(1),O(n^1)	7.08	Ω(1),O(n^1)	2.19
	TIMEOUT	300	Ω(n^1),INF	300	MAYBE	299.88	TIMEOUT	300	Ω(1),O(n^2)	235.78
	MAYBE	1.25	MAYBE	1.24	Ω(1),O(n^1)	1.91	Ω(1),O(n^1)	0.92	Ω(1),O(n^1)	1.99
	Ω(n^1),INF	15.44	MAYBE	23.47	MAYBE	299.92	MAYBE	292.74	TIMEOUT	300
	MAYBE	0.24	MAYBE	0.24	MAYBE	0.18	MAYBE	0.53	MAYBE	0.37
	Ω(n^2),INF	3.79	Ω(n^2),INF	3.24	Ω(1),O(n^2)	30.42	Ω(1),O(n^2)	8.11	Ω(1),O(n^2)	2.91
	MAYBE	1.44	Ω(n^1),INF	1.76	Ω(1),O(n^1)	77.98	Ω(1),O(n^1)	55.65	Ω(1),O(n^1)	47.62
	MAYBE	1.33	Ω(n^1),INF	1.72	Ω(1),O(n^1)	0.93	Ω(1),O(n^1)	0.48	Ω(1),O(n^1)	1.96
	MAYBE	1.36	Ω(n^1),INF	1.48	Ω(1),O(n^1)	0.84	Ω(1),O(n^1)	0.73	Ω(1),O(n^1)	1.95
	MAYBE	1.26	MAYBE	1.3	MAYBE	11.77	MAYBE	7.04	MAYBE	12.22
	MAYBE	1.97	Ω(n^1),INF	2.83	Ω(1),O(n^1)	299.21	Ω(1),O(n^1)	292.45	TIMEOUT	300
	MAYBE	2.15	Ω(n^1),INF	1.88	MAYBE	299.23	MAYBE	18.87	TIMEOUT	300
	Ω(n^1),INF	1.92	Ω(n^1),INF	1.92	MAYBE	299.44	MAYBE	292.52	TIMEOUT	300
	MAYBE	0.25	MAYBE	0.23	MAYBE	0.17	MAYBE	0.15	MAYBE	0.35
	MAYBE	2.39	Ω(n^1),INF	2.01	MAYBE	299.56	MAYBE	24.45	TIMEOUT	300
	MAYBE	1.65	Ω(n^1),INF	2.43	Ω(1),O(n^1)	299.49	Ω(1),O(n^1)	292.84	TIMEOUT	300
	MAYBE	1.38	MAYBE	1.43	MAYBE	299.61	MAYBE	27.05	TIMEOUT	300
	MAYBE	1.47	MAYBE	1.52	MAYBE	299.39	Ω(1),O(n^3)	28.51	TIMEOUT	300
	MAYBE	0.23	MAYBE	0.23	MAYBE	0.17	MAYBE	0.05	MAYBE	0.35
	MAYBE	1.35	MAYBE	1.44	MAYBE	299.56	MAYBE	37.38	TIMEOUT	300
	MAYBE	13.7	Ω(n^1),INF	14.72	MAYBE	299.45	MAYBE	293.26	TIMEOUT	300
	MAYBE	1.37	Ω(n^1),INF	1.88	Ω(1),O(n^1)	5.99	Ω(1),O(n^1)	1.16	Ω(1),O(n^1)	2.18
	Ω(n^1),INF	3.57	Ω(n^1),INF	3.58	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	0.23	MAYBE	0.24	MAYBE	0.08	MAYBE	0.41	MAYBE	0.35
	MAYBE	1.25	MAYBE	1.28	Ω(1),O(1)	1.58	Ω(1),O(1)	0.58	Ω(1),O(1)	1.83
	MAYBE	3.34	Ω(n^1),INF	4.49	MAYBE	299.23	TIMEOUT	300	Ω(1),O(n^2)	100.73
	Ω(n^1),INF	1.71	Ω(n^1),INF	1.7	Ω(1),O(n^1)	30.17	Ω(1),O(n^1)	11.57	Ω(1),O(n^2)	2.12
	Ω(n^5),INF	3.86	Ω(2^n),INF	123.16	TIMEOUT	300	MAYBE	293.0	TIMEOUT	300
	MAYBE	0.25	MAYBE	0.22	MAYBE	0.16	MAYBE	0.05	MAYBE	0.36
	MAYBE	2.66	MAYBE	2.5	MAYBE	299.44	MAYBE	8.43	MAYBE	61.75
	MAYBE	1.45	Ω(n^1),INF	2.15	Ω(1),O(n^1)	299.44	Ω(1),O(n^1)	292.36	Ω(1),O(n^1)	66.97
	Ω(n^1),INF	1.59	Ω(n^1),INF	1.64	Ω(1),O(n^1)	1.35	Ω(1),O(n^1)	0.61	Ω(1),O(n^1)	2.13
	Ω(n^1),INF	1.67	Ω(n^1),INF	1.65	MAYBE	299.64	MAYBE	242.71	TIMEOUT	300
	MAYBE	1.25	MAYBE	1.32	Ω(1),O(n^1)	5.73	Ω(1),O(n^1)	0.78	Ω(1),O(1)	2.32
	MAYBE	1.29	MAYBE	1.28	Ω(1),O(n^1)	6.11	Ω(1),O(n^1)	1.06	Ω(1),O(1)	2.31
	MAYBE	50.96	Ω(n^1),INF	52.11	MAYBE	299.39	MAYBE	293.08	Ω(1),O(n^1)	126.63
	MAYBE	1.25	MAYBE	1.25	Ω(1),O(n^1)	4.48	Ω(1),O(n^1)	1.62	Ω(1),O(n^1)	2.05
	Ω(n^1),INF	5.38	Ω(n^1),INF	5.45	TIMEOUT	300	MAYBE	292.99	TIMEOUT	300
	Ω(n^3),INF	2.67	Ω(n^3),INF	2.96	MAYBE	52.21	Ω(1),O(n^3)	11.97	TIMEOUT	300
	Ω(n^3),INF	2.71	Ω(n^3),INF	2.86	MAYBE	58.02	Ω(1),O(n^3)	14.84	TIMEOUT	300
	TIMEOUT	300	Ω(n^1),INF	300	TIMEOUT	300	MAYBE	297.96	Ω(1),O(n^1)	226.25
	MAYBE	1.19	MAYBE	1.21	Ω(1),O(n^1)	1.92	Ω(1),O(n^1)	4.73	Ω(1),O(n^1)	2.03
	MAYBE	6.11	MAYBE	6.27	TIMEOUT	300	MAYBE	293.02	TIMEOUT	300
	MAYBE	0.24	MAYBE	0.24	MAYBE	0.04	MAYBE	0.03	MAYBE	0.35
	MAYBE	1.22	MAYBE	1.31	Ω(1),O(n^1)	2.12	Ω(1),O(n^1)	25.77	Ω(1),O(n^1)	2.05
	TIMEOUT	300	Ω(n^1),INF	300	TIMEOUT	300	MAYBE	291.72	TIMEOUT	300
	MAYBE	8.26	Ω(n^1),INF	8.97	TIMEOUT	300	MAYBE	292.71	TIMEOUT	300
	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300	MAYBE	296.19	TIMEOUT	300
	MAYBE	0.25	MAYBE	0.24	MAYBE	0.26	MAYBE	0.04	MAYBE	0.37
	TIMEOUT	300	Ω(n^1),INF	300	MAYBE	299.74	MAYBE	292.26	TIMEOUT	300
	MAYBE	3.34	Ω(n^1),INF	4.0	TIMEOUT	300	MAYBE	292.18	TIMEOUT	300
	TIMEOUT	300	TIMEOUT	300	MAYBE	299.35	MAYBE	292.09	TIMEOUT	300
	MAYBE	0.26	MAYBE	0.25	MAYBE	0.2	MAYBE	0.05	MAYBE	0.38
	MAYBE	1.6	MAYBE	1.74	MAYBE	299.64	MAYBE	292.14	TIMEOUT	300
	MAYBE	1.95	MAYBE	2.07	MAYBE	299.35	MAYBE	292.16	TIMEOUT	300
	MAYBE	9.93	Ω(n^1),INF	10.98	MAYBE	299.55	MAYBE	292.49	TIMEOUT	300
	MAYBE	3.83	Ω(n^1),INF	4.2	MAYBE	299.25	MAYBE	172.78	TIMEOUT	300
	Ω(n^1),INF	2.56	Ω(n^1),INF	2.55	MAYBE	299.48	TIMEOUT	300	TIMEOUT	300
	MAYBE	0.24	MAYBE	0.24	MAYBE	1.25	MAYBE	0.16	MAYBE	0.37
	TIMEOUT	300	Ω(n^1),INF	300	MAYBE	299.49	MAYBE	292.58	TIMEOUT	300
	MAYBE	2.14	Ω(n^1),INF	2.82	MAYBE	299.59	MAYBE	292.25	TIMEOUT	300
	Ω(n^1),INF	78.96	Ω(n^1),INF	81.68	TIMEOUT	300	MAYBE	297.78	TIMEOUT	300
	MAYBE	0.23	MAYBE	0.25	MAYBE	0.17	MAYBE	0.07	MAYBE	0.36
	MAYBE	1.45	MAYBE	1.54	MAYBE	299.31	MAYBE	292.48	TIMEOUT	300
	MAYBE	1.74	MAYBE	1.8	TIMEOUT	300	MAYBE	38.06	TIMEOUT	300
	MAYBE	1.51	Ω(n^1),INF	2.37	Ω(1),O(n^1)	299.18	Ω(1),O(n^1)	292.17	Ω(1),O(n^1)	300
	MAYBE	1.37	MAYBE	1.88	MAYBE	299.15	MAYBE	292.24	MAYBE	75.01
	MAYBE	2.32	Ω(n^1),INF	2.42	MAYBE	299.17	MAYBE	55.02	TIMEOUT	300
	MAYBE	0.22	MAYBE	0.24	MAYBE	0.16	MAYBE	0.06	MAYBE	0.35
	MAYBE	1.61	Ω(n^1),INF	2.46	Ω(1),O(n^1)	299.32	Ω(1),O(n^1)	292.34	Ω(1),O(n^1)	300
	MAYBE	1.3	MAYBE	1.45	MAYBE	299.28	MAYBE	135.57	TIMEOUT	300
	Ω(n^1),INF	1.81	Ω(n^1),INF	1.86	MAYBE	299.61	MAYBE	81.73	TIMEOUT	300
	MAYBE	0.23	MAYBE	0.23	MAYBE	1.52	MAYBE	0.03	MAYBE	0.35
	TIMEOUT	300	Ω(n^1),INF	300	MAYBE	299.46	MAYBE	292.27	TIMEOUT	300
	TIMEOUT	300	TIMEOUT	300	MAYBE	299.44	MAYBE	292.28	TIMEOUT	300
	TIMEOUT	300	TIMEOUT	300	MAYBE	299.87	MAYBE	293.01	TIMEOUT	300
	MAYBE	0.25	MAYBE	0.26	MAYBE	0.1	MAYBE	0.03	MAYBE	0.4
	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300	MAYBE	292.56	TIMEOUT	300
	TIMEOUT	300	TIMEOUT	300	MAYBE	299.3	MAYBE	292.62	TIMEOUT	300
	TIMEOUT	300	TIMEOUT	300	MAYBE	299.3	MAYBE	292.4	TIMEOUT	300
	MAYBE	0.27	MAYBE	0.26	MAYBE	0.35	MAYBE	0.16	MAYBE	0.42
	MAYBE	6.86	MAYBE	6.92	MAYBE	99.64	MAYBE	292.37	TIMEOUT	300
	MAYBE	31.15	MAYBE	32.17	MAYBE	299.45	MAYBE	292.19	TIMEOUT	300
	TIMEOUT	300	Ω(n^1),INF	300	MAYBE	299.67	MAYBE	292.32	TIMEOUT	300
	MAYBE	185.07	Ω(n^1),INF	186.97	TIMEOUT	300	MAYBE	295.54	TIMEOUT	300
	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300	MAYBE	294.85	TIMEOUT	300
	MAYBE	0.25	MAYBE	0.27	MAYBE	0.19	MAYBE	0.11	MAYBE	0.38
	TIMEOUT	300	Ω(n^1),INF	300	MAYBE	299.47	MAYBE	292.59	TIMEOUT	300
	TIMEOUT	300	TIMEOUT	300	MAYBE	299.41	MAYBE	292.19	TIMEOUT	300
	TIMEOUT	300	TIMEOUT	300	MAYBE	299.27	MAYBE	292.43	TIMEOUT	300
	MAYBE	0.27	MAYBE	0.26	MAYBE	0.06	MAYBE	0.04	MAYBE	0.4
	MAYBE	3.43	MAYBE	3.54	MAYBE	299.21	MAYBE	292.17	TIMEOUT	300
	MAYBE	6.18	MAYBE	6.03	TIMEOUT	300	MAYBE	293.16	TIMEOUT	300
	TIMEOUT	300	Ω(n^1),INF	300	MAYBE	299.65	MAYBE	292.76	TIMEOUT	300
	MAYBE	1.24	MAYBE	1.26	Ω(1),O(n^1)	30.53	Ω(1),O(n^1)	295.9	Ω(1),O(n^1)	3.96
	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300	MAYBE	292.74	TIMEOUT	300
	MAYBE	0.22	MAYBE	0.22	MAYBE	0.23	MAYBE	0.03	MAYBE	0.37
	TIMEOUT	300	Ω(n^1),INF	300	MAYBE	299.74	MAYBE	292.27	TIMEOUT	300
	MAYBE	1.26	MAYBE	1.29	Ω(1),POLY	39.8	MAYBE	292.15	TIMEOUT	300
	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300	MAYBE	295.07	TIMEOUT	300
	MAYBE	0.24	MAYBE	0.22	MAYBE	0.18	MAYBE	0.09	MAYBE	0.38
	MAYBE	1.27	MAYBE	1.26	Ω(1),O(n^1)	30.41	Ω(1),O(n^1)	292.44	Ω(1),O(n^1)	2.63
	MAYBE	1.24	MAYBE	1.24	Ω(1),O(n^1)	30.51	Ω(1),O(n^1)	296.17	Ω(1),O(n^1)	2.27
	TIMEOUT	300	Ω(n^1),INF	300	MAYBE	299.75	MAYBE	293.33	TIMEOUT	300
	MAYBE	2.29	Ω(n^1),INF	2.9	TIMEOUT	300	MAYBE	292.94	TIMEOUT	300
	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300	MAYBE	295.91	TIMEOUT	300
	MAYBE	0.26	MAYBE	0.23	MAYBE	0.05	MAYBE	0.13	MAYBE	0.37
	TIMEOUT	300	Ω(n^1),INF	300	MAYBE	299.23	MAYBE	292.45	TIMEOUT	300
	Ω(n^2),INF	3.16	Ω(n^2),INF	3.5	TIMEOUT	300	MAYBE	292.18	TIMEOUT	300
	TIMEOUT	300	Ω(n^1),INF	300	MAYBE	299.34	MAYBE	292.26	TIMEOUT	300
	MAYBE	0.23	MAYBE	0.25	MAYBE	0.31	MAYBE	0.49	MAYBE	0.38
	Ω(n^1),INF	2.62	Ω(n^1),INF	2.33	MAYBE	299.97	Ω(1),O(n^2)	292.61	TIMEOUT	300
	MAYBE	1.59	Ω(n^1),INF	3.09	TIMEOUT	300	MAYBE	292.17	TIMEOUT	300
	MAYBE	32.42	Ω(n^1),INF	34.35	TIMEOUT	300	MAYBE	293.02	Ω(1),O(n^1)	126.65
	MAYBE	1.69	Ω(n^1),INF	2.03	TIMEOUT	300	Ω(1),O(n^2)	37.77	TIMEOUT	300
	Ω(n^1),INF	2.4	Ω(n^1),INF	3.11	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	0.23	MAYBE	0.23	MAYBE	0.05	MAYBE	0.06	MAYBE	0.36
	TIMEOUT	300	Ω(n^1),INF	300	MAYBE	299.27	MAYBE	293.33	TIMEOUT	300
	Ω(n^2),INF	2.2	Ω(n^2),INF	2.23	Ω(1),O(n^5)	123.84	Ω(1),O(n^2)	300	Ω(1),O(n^2)	6.67
	Ω(n^1),INF	22.41	Ω(n^1),INF	21.71	TIMEOUT	300	MAYBE	292.89	TIMEOUT	300
	MAYBE	0.25	MAYBE	0.25	MAYBE	0.18	MAYBE	0.04	MAYBE	0.37
	Ω(n^1),INF	1.68	Ω(n^1),INF	1.78	Ω(1),O(n^1)	33.45	Ω(1),O(n^1)	6.08	Ω(1),O(n^1)	2.99
	MAYBE	1.51	Ω(n^1),INF	2.54	Ω(1),O(n^1)	52.06	Ω(1),O(n^1)	11.78	TIMEOUT	300
	MAYBE	1.53	Ω(n^1),INF	2.36	MAYBE	299.25	MAYBE	292.4	Ω(1),O(n^2)	59.71
	Ω(n^2),INF	2.45	Ω(n^2),INF	2.5	Ω(1),O(n^2)	15.2	Ω(1),O(n^2)	2.89	Ω(1),O(n^2)	2.29
	Ω(n^1),INF	1.96	Ω(n^2),INF	3.7	MAYBE	299.4	MAYBE	292.21	TIMEOUT	300
	MAYBE	0.23	MAYBE	0.23	MAYBE	0.17	MAYBE	0.02	MAYBE	0.35
	MAYBE	2.55	Ω(n^1),INF	3.66	MAYBE	299.52	MAYBE	292.1	Ω(1),O(n^1)	102.95
	Ω(n^2),INF	2.23	Ω(n^2),INF	2.18	Ω(1),O(n^2)	32.71	MAYBE	297.46	Ω(1),O(n^2)	4.0
	Ω(n^1),INF	2.9	Ω(n^2),INF	5.93	TIMEOUT	300	MAYBE	293.08	TIMEOUT	300
	MAYBE	0.24	MAYBE	0.23	MAYBE	0.16	MAYBE	0.05	MAYBE	0.36
	TIMEOUT	300	Ω(n^1),INF	300	TIMEOUT	300	MAYBE	292.33	TIMEOUT	300
	MAYBE	5.33	Ω(n^1),INF	5.69	TIMEOUT	300	MAYBE	298.08	TIMEOUT	300
	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300	MAYBE	296.58	TIMEOUT	300
	MAYBE	0.25	MAYBE	0.24	MAYBE	0.06	MAYBE	0.15	MAYBE	0.39
	TIMEOUT	300	Ω(n^1),INF	300	MAYBE	299.31	MAYBE	292.49	TIMEOUT	300
	MAYBE	2.89	Ω(n^1),INF	3.27	TIMEOUT	300	MAYBE	292.26	TIMEOUT	300
	TIMEOUT	300	TIMEOUT	300	MAYBE	299.24	MAYBE	293.4	TIMEOUT	300
	MAYBE	0.25	MAYBE	0.25	MAYBE	0.08	MAYBE	0.08	MAYBE	0.41
	MAYBE	1.77	MAYBE	1.84	MAYBE	299.31	MAYBE	292.48	TIMEOUT	300
	MAYBE	1.92	MAYBE	2.02	MAYBE	299.82	MAYBE	292.18	TIMEOUT	300
	TIMEOUT	300	Ω(n^1),INF	300	MAYBE	299.67	MAYBE	292.88	TIMEOUT	300
	MAYBE	3.77	Ω(n^1),INF	4.09	TIMEOUT	300	MAYBE	292.89	TIMEOUT	300
	Ω(n^1),INF	6.3	Ω(n^1),INF	6.25	TIMEOUT	300	MAYBE	292.96	TIMEOUT	300
	MAYBE	0.24	MAYBE	0.24	MAYBE	1.34	MAYBE	0.06	MAYBE	0.36
	TIMEOUT	300	Ω(n^1),INF	300	MAYBE	299.57	MAYBE	293.08	TIMEOUT	300
	MAYBE	1.98	Ω(n^1),INF	2.81	TIMEOUT	300	MAYBE	291.97	TIMEOUT	300
	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300	MAYBE	293.0	TIMEOUT	300
	MAYBE	0.24	MAYBE	0.24	MAYBE	0.04	MAYBE	0.04	MAYBE	0.37
	MAYBE	1.47	MAYBE	1.53	MAYBE	299.26	MAYBE	140.98	TIMEOUT	300
	MAYBE	1.73	MAYBE	1.75	MAYBE	299.35	MAYBE	58.33	TIMEOUT	300
	MAYBE	1.84	Ω(n^1),INF	2.75	Ω(1),O(n^1)	299.47	Ω(1),O(n^1)	292.16	Ω(1),O(n^1)	300
	MAYBE	1.34	MAYBE	1.93	MAYBE	299.3	MAYBE	121.43	TIMEOUT	300
	MAYBE	2.37	Ω(n^1),INF	2.63	MAYBE	299.52	MAYBE	38.92	TIMEOUT	300
	MAYBE	0.23	MAYBE	0.23	MAYBE	0.6	MAYBE	0.03	MAYBE	0.36
	MAYBE	16.6	Ω(n^1),INF	17.21	MAYBE	299.33	MAYBE	294.1	Ω(1),O(n^1)	300
	MAYBE	1.3	Ω(n^1),INF	1.71	TIMEOUT	300	MAYBE	49.03	TIMEOUT	300
	Ω(n^1),INF	3.38	Ω(n^1),INF	3.34	TIMEOUT	300	MAYBE	296.99	TIMEOUT	300
	MAYBE	0.23	MAYBE	0.23	MAYBE	1.58	MAYBE	0.06	MAYBE	0.36
	MAYBE	1.3	Ω(n^1),INF	1.63	MAYBE	299.21	MAYBE	47.49	TIMEOUT	300
	MAYBE	1.36	MAYBE	1.94	MAYBE	299.15	MAYBE	55.47	TIMEOUT	300
	TIMEOUT	300	Ω(n^1),INF	300	MAYBE	299.33	MAYBE	292.16	TIMEOUT	300
	MAYBE	4.96	Ω(n^1),INF	6.42	TIMEOUT	300	MAYBE	293.12	TIMEOUT	300
	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300	MAYBE	296.69	TIMEOUT	300
	MAYBE	0.24	MAYBE	0.24	MAYBE	0.17	MAYBE	0.1	MAYBE	0.38
	TIMEOUT	300	Ω(n^1),INF	300	MAYBE	196.48	MAYBE	292.78	TIMEOUT	300
	Ω(n^2),INF	2.56	Ω(n^2),INF	2.68	MAYBE	299.4	MAYBE	292.13	TIMEOUT	300
	Ω(n^2),INF	300	Ω(n^2),INF	300	MAYBE	299.39	MAYBE	292.23	TIMEOUT	300
	MAYBE	1.36	MAYBE	1.36	MAYBE	207.6	MAYBE	292.47	TIMEOUT	300
	Ω(n^1),INF	2.41	Ω(n^1),INF	2.43	MAYBE	299.24	Ω(1),O(n^2)	236.1	TIMEOUT	300
	MAYBE	2.47	Ω(n^1),INF	3.52	MAYBE	299.46	MAYBE	293.17	TIMEOUT	300
	MAYBE	8.73	Ω(n^1),INF	9.59	Ω(1),O(n^1)	299.3	Ω(1),O(n^1)	292.65	Ω(1),O(n^2)	69.37
	Ω(n^2),INF	8.38	Ω(n^2),INF	8.51	MAYBE	299.76	Ω(1),O(n^2)	204.63	TIMEOUT	300
	Ω(n^1),INF	17.62	Ω(n^1),INF	17.31	TIMEOUT	300	MAYBE	295.27	TIMEOUT	300
	MAYBE	0.23	MAYBE	0.23	MAYBE	0.15	MAYBE	0.03	MAYBE	0.36
	TIMEOUT	300	Ω(n^1),INF	300	TIMEOUT	300	Ω(1),O(n^1)	292.93	Ω(1),O(n^1)	288.33
	Ω(n^2),INF	6.73	Ω(n^2),INF	6.83	Ω(1),O(n^2)	37.5	Ω(1),O(n^2)	33.57	Ω(1),O(n^2)	7.33
	Ω(n^1),INF	300	Ω(n^1),INF	300	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	1.28	MAYBE	1.53	MAYBE	34.24	MAYBE	26.64	TIMEOUT	300
	Ω(n^1),INF	2.81	Ω(n^1),INF	3.13	Ω(1),O(n^1)	25.34	Ω(1),O(n^1)	15.44	Ω(1),O(n^1)	3.56
	Ω(n^1),INF	3.58	Ω(n^1),INF	3.47	Ω(1),O(n^1)	299.5	Ω(1),O(n^1)	76.74	TIMEOUT	300
	MAYBE	1.42	Ω(n^1),INF	2.08	Ω(1),O(n^1)	249.93	Ω(1),O(n^1)	292.31	Ω(1),O(n^1)	46.56
	Ω(n^1),INF	1.55	Ω(n^1),INF	1.46	TIMEOUT	300	MAYBE	292.21	TIMEOUT	300
	MAYBE	0.25	MAYBE	0.23	MAYBE	0.16	MAYBE	0.03	MAYBE	0.35
	MAYBE	1.58	Ω(n^1),INF	2.14	Ω(1),O(n^1)	299.67	Ω(1),O(n^1)	292.45	Ω(1),O(n^1)	58.93
	Ω(n^1),INF	1.58	Ω(n^1),INF	1.59	TIMEOUT	300	MAYBE	292.19	TIMEOUT	300
	TIMEOUT	300	Ω(n^1),INF	300	MAYBE	299.5	TIMEOUT	300	Ω(1),O(n^1)	226.96
	MAYBE	1.84	Ω(n^1),INF	2.4	MAYBE	299.93	MAYBE	292.27	TIMEOUT	300
	Ω(n^1),INF	16.57	Ω(n^1),INF	18.42	TIMEOUT	300	MAYBE	297.47	TIMEOUT	300
	MAYBE	0.23	MAYBE	0.22	MAYBE	0.19	MAYBE	0.15	MAYBE	0.36
	TIMEOUT	300	Ω(n^1),INF	300	MAYBE	299.49	MAYBE	292.45	TIMEOUT	300
	Ω(n^2),INF	2.86	Ω(n^2),INF	3.05	MAYBE	299.4	Ω(1),O(n^3)	187.56	TIMEOUT	300
	TIMEOUT	300	Ω(n^1),INF	300	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	0.26	MAYBE	0.24	MAYBE	0.04	MAYBE	0.06	MAYBE	0.37
	Ω(n^1),INF	2.08	Ω(n^1),INF	2.13	MAYBE	299.25	Ω(1),O(n^2)	293.04	TIMEOUT	300
	MAYBE	1.5	Ω(n^1),INF	2.66	MAYBE	299.48	MAYBE	292.22	TIMEOUT	300
	MAYBE	1.93	Ω(n^1),INF	2.89	MAYBE	299.12	MAYBE	292.24	Ω(1),O(n^2)	80.45
	Ω(n^2),INF	2.27	Ω(n^2),INF	2.15	Ω(1),O(n^2)	299.3	Ω(1),O(n^2)	34.29	TIMEOUT	300
	Ω(n^1),INF	1.81	Ω(n^1),INF	2.44	MAYBE	299.54	MAYBE	292.13	TIMEOUT	300
	MAYBE	0.23	MAYBE	0.23	MAYBE	0.15	MAYBE	0.12	MAYBE	0.36
	MAYBE	9.08	Ω(n^1),INF	10.4	MAYBE	299.4	MAYBE	292.98	Ω(1),O(n^1)	131.72
	Ω(n^2),INF	2.16	Ω(n^2),INF	2.12	Ω(1),O(n^2)	35.18	Ω(1),O(n^2)	19.43	Ω(1),O(n^2)	4.55
	Ω(n^1),INF	2.38	Ω(n^1),INF	2.6	TIMEOUT	300	TIMEOUT	300	TIMEOUT	300
	MAYBE	0.24	MAYBE	0.24	MAYBE	0.15	MAYBE	0.05	MAYBE	0.36
	Ω(n^1),INF	1.6	Ω(n^1),INF	1.68	Ω(1),O(n^1)	8.88	Ω(1),O(n^1)	1.69	Ω(1),O(n^1)	2.8
	Ω(n^1),INF	1.72	Ω(n^1),INF	1.77	Ω(1),O(n^1)	42.43	Ω(1),O(n^1)	8.19	TIMEOUT	300
	MAYBE	1.42	Ω(n^1),INF	2.0	Ω(1),O(n^1)	95.15	Ω(1),O(n^1)	292.16	Ω(1),O(n^1)	56.6
	Ω(n^1),INF	1.96	Ω(n^1),INF	1.93	Ω(1),O(n^1)	1.0	Ω(1),O(n^1)	0.29	Ω(1),O(n^1)	1.96
	Ω(n^1),INF	1.76	Ω(n^2),INF	2.63	TIMEOUT	300	MAYBE	18.56	TIMEOUT	300
	MAYBE	0.23	MAYBE	0.22	MAYBE	0.04	MAYBE	0.03	MAYBE	0.36
	MAYBE	1.63	Ω(n^1),INF	2.29	Ω(1),O(n^1)	299.25	Ω(1),O(n^1)	292.09	Ω(1),O(n^1)	60.96
	Ω(n^1),INF	1.79	Ω(n^1),INF	1.79	Ω(1),O(n^1)	5.11	Ω(1),O(n^1)	7.04	Ω(1),O(n^1)	2.35
	Ω(n^1),INF	1.93	Ω(n^2),INF	3.24	MAYBE	299.72	MAYBE	21.5	TIMEOUT	300
	MAYBE	0.24	MAYBE	0.23	MAYBE	0.04	MAYBE	0.03	MAYBE	0.34
	MAYBE	1.3	MAYBE	1.32	Ω(1),O(1)	3.57	Ω(1),O(1)	0.65	Ω(1),O(1)	1.79
	MAYBE	1.33	MAYBE	1.33	Ω(1),O(1)	30.18	Ω(1),O(1)	44.17	Ω(1),O(1)	1.8
	Ω(n^1),INF	2.66	Ω(n^1),INF	2.52	Ω(1),O(n^3)	49.47	Ω(1),O(n^3)	292.33	TIMEOUT	300
	MAYBE	1.28	MAYBE	1.25	TIMEOUT	300	MAYBE	3.17	Ω(1),O(1)	3.28
	Ω(n^1),INF	2.49	Ω(n^1),INF	2.71	MAYBE	299.4	MAYBE	292.16	TIMEOUT	300
	Ω(n^1),INF	2.64	Ω(n^1),INF	2.67	MAYBE	299.51	MAYBE	292.33	TIMEOUT	300
	Ω(n^1),INF	3.6	Ω(n^1),INF	3.93	MAYBE	299.58	Ω(1),O(n^2)	292.49	Ω(1),O(n^2)	14.24
	Ω(n^1),INF	1.51	Ω(n^1),INF	1.54	Ω(1),O(n^1)	30.37	Ω(1),O(n^1)	5.51	Ω(1),O(n^1)	2.08
	MAYBE	1.31	Ω(n^1),INF	1.76	Ω(1),O(n^1)	299.95	Ω(1),O(n^1)	20.9	Ω(1),O(n^1)	2.53
	Ω(n^1),INF	1.68	Ω(n^1),INF	1.73	Ω(1),O(n^1)	14.22	Ω(1),O(n^1)	5.2	Ω(1),O(n^1)	2.29
	MAYBE	1.58	Ω(n^1),INF	1.95	Ω(1),O(n^1)	2.14	Ω(1),O(n^1)	0.55	Ω(1),O(n^1)	1.99
	Ω(n^1),INF	1.54	Ω(n^1),INF	1.54	MAYBE	299.23	Ω(1),O(n^2)	21.98	Ω(1),O(n^1)	300
	MAYBE	1.27	Ω(n^1),INF	1.64	Ω(1),O(n^1)	10.57	Ω(1),O(n^1)	17.97	Ω(1),O(n^1)	72.43
	MAYBE	1.3	Ω(n^1),INF	1.72	Ω(1),O(n^1)	17.12	Ω(1),O(n^1)	10.79	Ω(1),O(n^1)	256.51
	MAYBE	1.4	MAYBE	1.67	TIMEOUT	300	MAYBE	11.04	TIMEOUT	300
	MAYBE	1.27	MAYBE	1.68	MAYBE	299.38	MAYBE	8.81	MAYBE	14.23
	MAYBE	1.25	MAYBE	1.6	MAYBE	299.54	MAYBE	8.6	MAYBE	14.79
	MAYBE	5.84	MAYBE	6.0	TIMEOUT	300	MAYBE	13.59	MAYBE	67.98
	MAYBE	1.35	Ω(n^1),INF	1.65	MAYBE	299.46	MAYBE	94.47	TIMEOUT	300
	MAYBE	1.3	Ω(n^1),INF	1.65	MAYBE	299.6	MAYBE	151.58	TIMEOUT	300
	MAYBE	1.3	Ω(n^1),INF	1.77	MAYBE	299.27	MAYBE	131.94	TIMEOUT	300
	MAYBE	1.3	Ω(n^1),INF	1.67	MAYBE	299.34	MAYBE	292.12	TIMEOUT	300
	MAYBE	1.3	Ω(n^1),INF	1.67	MAYBE	299.26	MAYBE	107.08	TIMEOUT	300
	MAYBE	1.27	Ω(n^1),INF	1.66	MAYBE	299.35	MAYBE	292.05	TIMEOUT	300
	MAYBE	1.34	Ω(n^1),INF	1.62	MAYBE	299.17	MAYBE	292.13	TIMEOUT	300
	MAYBE	1.35	Ω(n^1),INF	1.64	MAYBE	299.32	MAYBE	292.18	Ω(1),O(n^1)	300
	MAYBE	1.35	Ω(n^1),INF	1.74	MAYBE	299.17	MAYBE	292.21	TIMEOUT	300
	MAYBE	1.34	Ω(n^1),INF	1.69	Ω(1),O(n^1)	299.4	Ω(1),O(n^1)	2.26	Ω(1),O(n^1)	300
	MAYBE	1.31	Ω(n^1),INF	1.72	TIMEOUT	300	MAYBE	5.32	TIMEOUT	300
	MAYBE	1.32	Ω(n^1),INF	1.68	MAYBE	299.29	MAYBE	7.25	TIMEOUT	300