Example	TcT		AProVE		TcT preproc		AProVE Lower
	MAYBE	59.12	MAYBE	3.88	MAYBE	61.4	Ω(n^1),INF	6.02
	Ω(1),O(n^3)	32.4	Ω(1),O(n^3)	7.13	Ω(1),O(n^3)	29.41	Ω(n^3),INF	3.38
	MAYBE	59.13	MAYBE	2.62	MAYBE	61.16	Ω(n^1),INF	3.19
	Ω(1),O(n^1)	0.41	Ω(1),O(n^2)	5.82	Ω(1),O(n^1)	2.43	Ω(n^1),INF	1.79
	MAYBE	59.06	Ω(1),O(n^3)	3.47	Ω(1),O(n^3)	11.06	Ω(n^2),INF	2.66
	MAYBE	59.12	Ω(1),O(n^2)	6.37	Ω(1),O(n^2)	6.68	Ω(n^1),INF	8.56
	MAYBE	59.11	Ω(1),O(n^2)	6.03	Ω(1),O(n^2)	7.05	Ω(n^1),INF	2.4
	MAYBE	59.13	MAYBE	2.44	MAYBE	61.06	Ω(n^1),INF	2.49
	MAYBE	59.14	MAYBE	2.0	MAYBE	60.94	Ω(n^1),INF	2.58
	Ω(1),O(n^1)	0.49	Ω(1),O(n^2)	2.82	Ω(1),O(n^1)	4.25	Ω(n^1),INF	1.77
	MAYBE	59.13	Ω(1),O(n^2)	2.37	Ω(1),O(n^2)	2.58	Ω(n^2),INF	2.52
	Ω(1),O(n^1)	0.12	Ω(1),O(n^1)	2.36	Ω(1),O(n^1)	1.85	Ω(n^1),INF	1.47
	Ω(1),O(n^1)	0.05	Ω(1),O(n^1)	2.16	Ω(1),O(n^1)	1.84	Ω(n^1),INF	1.58
	MAYBE	59.04	TIMEOUT	60	MAYBE	62.59	Ω(n^1),INF	1.77
	Ω(1),O(n^1)	0.12	Ω(1),O(1)	1.77	Ω(1),O(1)	1.76	MAYBE	1.42
	MAYBE	59.15	Ω(1),O(n^2)	2.28	Ω(1),O(n^2)	4.51	Ω(n^1),INF	2.6
	MAYBE	59.08	MAYBE	3.91	MAYBE	6.05	Ω(2^n),INF	2.65
	Ω(1),O(1)	0.06	Ω(1),O(1)	1.8	Ω(1),O(1)	2.04	MAYBE	1.34
	Ω(1),O(n^1)	0.11	Ω(1),O(n^1)	2.11	Ω(1),O(n^1)	1.94	Ω(n^1),INF	1.82
	MAYBE	59.07	MAYBE	1.98	MAYBE	60.82	Ω(n^1),INF	7.75
	Ω(1),O(n^1)	0.14	Ω(1),O(n^1)	2.29	Ω(1),O(n^1)	2.06	Ω(n^1),INF	1.72
	MAYBE	59.06	MAYBE	1.77	MAYBE	60.85	Ω(2^n),INF	2.13
	Ω(1),O(n^1)	1.31	Ω(1),O(n^2)	2.55	Ω(1),O(n^1)	2.49	Ω(n^1),INF	2.74
	MAYBE	59.12	Ω(1),O(n^2)	2.4	Ω(1),O(n^1)	2.57	Ω(n^1),INF	2.47
	Ω(1),O(n^2)	2.27	Ω(1),O(n^1)	2.51	Ω(1),O(n^2)	3.79	Ω(n^1),INF	15.08
	MAYBE	59.18	MAYBE	1.8	MAYBE	61.39	Ω(n^1),INF	1.97
	MAYBE	59.06	Ω(1),O(n^2)	2.5	Ω(1),O(n^2)	4.61	Ω(n^1),INF	2.36
	MAYBE	59.22	MAYBE	1.77	MAYBE	61.09	Ω(n^1),INF	1.79
	MAYBE	59.09	TIMEOUT	60	MAYBE	60.85	Ω(n^1),INF	1.44
	MAYBE	59.11	MAYBE	1.79	MAYBE	60.92	Ω(n^1),INF	2.43
	Ω(1),O(n^1)	0.38	Ω(1),O(n^1)	2.11	Ω(1),O(n^1)	1.81	Ω(n^1),INF	1.31
	Ω(1),O(n^1)	0.4	Ω(1),O(n^1)	2.58	Ω(1),O(n^1)	1.93	Ω(n^1),INF	1.69
	Ω(1),O(n^1)	0.4	Ω(1),O(1)	1.76	Ω(1),O(1)	1.77	MAYBE	1.36
	Ω(1),O(n^1)	0.93	Ω(1),O(n^1)	1.98	Ω(1),O(n^1)	1.97	Ω(n^1),INF	1.83
	MAYBE	59.14	Ω(1),O(n^3)	5.5	Ω(1),O(n^3)	40.64	Ω(n^3),INF	4.49
	MAYBE	59.07	TIMEOUT	60	MAYBE	60.81	Ω(n^1),INF	1.88
	MAYBE	59.11	MAYBE	2.03	MAYBE	61.13	Ω(n^2),INF	4.52
	Ω(1),O(n^1)	0.12	Ω(1),O(n^1)	2.16	Ω(1),O(n^1)	2.65	Ω(n^1),INF	1.39
	MAYBE	59.33	MAYBE	2.08	MAYBE	60.99	Ω(n^1),INF	2.91
	MAYBE	59.49	MAYBE	1.77	MAYBE	61.42	Ω(n^1),INF	4.08
	MAYBE	59.13	MAYBE	1.91	MAYBE	61.02	Ω(n^1),INF	2.92
	Ω(1),O(n^2)	2.45	Ω(1),O(n^2)	2.74	Ω(1),O(n^2)	4.78	Ω(n^1),INF	2.53
	Ω(1),O(n^2)	3.11	MAYBE	1.8	Ω(1),O(n^2)	5.43	Ω(n^1),INF	3.41
	MAYBE	59.13	MAYBE	2.16	MAYBE	60.87	Ω(n^1),INF	3.36
	MAYBE	59.15	MAYBE	1.88	MAYBE	61.33	Ω(n^1),INF	4.78
	Ω(1),O(n^1)	0.69	Ω(1),O(n^2)	5.32	Ω(1),O(n^1)	2.21	Ω(n^1),INF	4.53
	MAYBE	59.13	Ω(1),O(n^2)	3.57	Ω(1),O(n^2)	5.66	Ω(n^1),INF	3.29
	MAYBE	59.09	MAYBE	2.22	MAYBE	61.06	Ω(n^1),INF	3.23
	MAYBE	59.11	MAYBE	1.78	MAYBE	60.9	Ω(n^1),INF	4.78
	MAYBE	59.15	MAYBE	2.31	MAYBE	61.48	Ω(n^1),INF	9.02
	MAYBE	59.17	MAYBE	1.84	MAYBE	61.02	Ω(n^1),INF	5.26
	MAYBE	59.14	MAYBE	2.17	MAYBE	61.54	Ω(n^2),INF	4.43
	MAYBE	59.17	Ω(1),O(n^2)	2.78	Ω(1),O(n^2)	5.95	Ω(n^2),INF	3.18
	MAYBE	59.42	TIMEOUT	60	MAYBE	61.13	Ω(n^2),INF	4.66
	MAYBE	59.06	Ω(1),O(n^1)	2.0	Ω(1),O(n^1)	2.17	Ω(n^1),INF	4.1
	MAYBE	59.19	TIMEOUT	60	MAYBE	60.94	Ω(n^3),INF	4.15
	MAYBE	59.15	TIMEOUT	60	MAYBE	61.03	Ω(n^3),INF	4.14
	MAYBE	59.06	Ω(1),O(n^1)	2.73	Ω(1),O(n^1)	1.96	Ω(n^1),INF	2.16
	MAYBE	59.1	MAYBE	1.88	MAYBE	60.95	Ω(2^n),INF	4.95
	MAYBE	59.15	MAYBE	1.74	MAYBE	61.03	Ω(n^1),INF	2.15
	MAYBE	59.06	MAYBE	1.92	MAYBE	60.79	Ω(n^1),INF	1.86
	Ω(1),O(n^1)	0.08	Ω(1),O(n^1)	2.05	Ω(1),O(n^1)	1.88	Ω(n^1),INF	44.08
	MAYBE	59.16	MAYBE	1.95	MAYBE	60.99	Ω(n^1),INF	2.39
	Ω(1),O(n^1)	0.2	MAYBE	1.79	Ω(1),O(n^1)	2.54	Ω(n^1),INF	2.83
	Ω(1),O(n^1)	0.18	MAYBE	2.01	Ω(1),O(n^1)	2.52	Ω(n^1),INF	1.68
	MAYBE	59.05	TIMEOUT	60	MAYBE	61.29	Ω(n^1),INF	300
	MAYBE	59.1	MAYBE	1.81	MAYBE	61.11	Ω(2^n),INF	3.42
	MAYBE	3.23	MAYBE	4.73	MAYBE	4.86	Ω(n^1),INF	1.72
	MAYBE	59.05	TIMEOUT	60	MAYBE	9.07	Ω(n^1),INF	2.72
	MAYBE	59.14	MAYBE	1.83	MAYBE	61.04	Ω(n^1),INF	4.27
	MAYBE	59.13	MAYBE	1.84	MAYBE	60.97	Ω(n^1),INF	4.58
	MAYBE	59.12	MAYBE	1.76	MAYBE	61.41	Ω(n^4),INF	3.98
	MAYBE	59.06	MAYBE	1.77	MAYBE	60.9	Ω(n^2),INF	300
	MAYBE	59.05	TIMEOUT	60	MAYBE	60.92	Ω(n^1),INF	8.63
	MAYBE	59.11	MAYBE	1.8	MAYBE	60.99	Ω(n^1),INF	2.7
	MAYBE	59.17	MAYBE	1.79	MAYBE	61.42	Ω(n^1),INF	2.11
	MAYBE	59.1	TIMEOUT	60	MAYBE	60.95	INF,INF	1.32
	MAYBE	59.13	MAYBE	1.94	MAYBE	60.98	Ω(n^2),INF	4.18
	MAYBE	59.11	MAYBE	1.79	MAYBE	60.9	Ω(n^1),INF	1.98
	MAYBE	41.62	Ω(1),O(n^2)	3.21	MAYBE	40.2	Ω(n^1),INF	2.61
	MAYBE	59.09	TIMEOUT	60	MAYBE	61.43	Ω(n^1),INF	5.85
	MAYBE	59.14	MAYBE	1.81	MAYBE	61.13	Ω(2^n),INF	5.12
	MAYBE	59.1	Ω(1),O(n^1)	3.45	Ω(1),O(n^1)	1.98	Ω(n^1),INF	3.84
	TIMEOUT	60	MAYBE	1.99	MAYBE	61.16	Ω(n^3),INF	5.0
	Ω(1),O(1)	0.19	Ω(1),O(1)	1.79	Ω(1),O(1)	2.11	MAYBE	1.32
	MAYBE	59.49	MAYBE	1.75	MAYBE	61.25	Ω(n^1),INF	3.48
	MAYBE	59.13	MAYBE	1.87	MAYBE	61.75	Ω(n^1),INF	3.62
	MAYBE	59.14	TIMEOUT	60	MAYBE	60.98	Ω(n^1),INF	2.85
	MAYBE	59.14	MAYBE	1.88	MAYBE	60.94	Ω(n^1),INF	4.15
	MAYBE	59.2	TIMEOUT	60	MAYBE	30.89	Ω(n^1),INF	3.94
	MAYBE	59.12	TIMEOUT	60	MAYBE	60.63	Ω(2^n),INF	3.72
	MAYBE	59.1	MAYBE	1.78	MAYBE	61.04	Ω(n^1),INF	3.81
	MAYBE	59.12	MAYBE	1.89	MAYBE	60.95	Ω(n^1),INF	3.42
	MAYBE	59.06	TIMEOUT	60	MAYBE	48.77	Ω(n^1),INF	3.51
	MAYBE	59.12	MAYBE	1.99	MAYBE	61.4	Ω(n^1),INF	2.66
	MAYBE	59.24	MAYBE	1.84	MAYBE	61.11	Ω(n^1),INF	2.53
	MAYBE	59.17	MAYBE	1.95	MAYBE	61.07	Ω(n^1),INF	2.88
	MAYBE	59.12	TIMEOUT	60	MAYBE	48.84	Ω(n^1),INF	3.7
	MAYBE	59.14	MAYBE	1.77	MAYBE	61.0	Ω(2^n),INF	4.01
	MAYBE	59.12	TIMEOUT	60	MAYBE	60.95	Ω(n^1),INF	3.76
	MAYBE	59.06	MAYBE	1.8	MAYBE	60.87	Ω(n^1),INF	2.44
	MAYBE	59.16	MAYBE	2.01	MAYBE	61.2	Ω(n^1),INF	6.41
	MAYBE	59.04	MAYBE	1.79	MAYBE	61.38	Ω(n^3),INF	4.44
	MAYBE	59.1	MAYBE	1.98	MAYBE	61.07	Ω(n^1),INF	3.45
	MAYBE	59.11	MAYBE	1.78	MAYBE	61.08	Ω(n^1),INF	2.71
	MAYBE	59.13	MAYBE	1.93	MAYBE	61.03	Ω(n^1),INF	3.14
	MAYBE	59.12	MAYBE	1.87	MAYBE	60.98	Ω(n^2),INF	3.85
	MAYBE	59.06	MAYBE	1.83	MAYBE	60.88	Ω(2^n),INF	2.14
	MAYBE	59.14	MAYBE	1.9	MAYBE	61.14	Ω(n^1),INF	3.59
	MAYBE	59.13	MAYBE	1.77	MAYBE	60.92	Ω(n^1),INF	2.37
	MAYBE	59.14	MAYBE	1.85	MAYBE	62.16	Ω(n^1),INF	2.51
	MAYBE	59.11	MAYBE	1.8	MAYBE	60.92	Ω(n^1),INF	2.44
	MAYBE	59.14	MAYBE	1.84	MAYBE	61.08	Ω(n^1),INF	3.2
	MAYBE	59.12	MAYBE	1.9	MAYBE	60.96	Ω(n^2),INF	5.95
	MAYBE	59.15	MAYBE	1.79	MAYBE	60.93	Ω(n^1),INF	2.26
	MAYBE	59.13	MAYBE	2.2	MAYBE	61.14	Ω(n^1),INF	3.25
	MAYBE	59.1	MAYBE	1.83	MAYBE	60.94	Ω(n^2),INF	2.48
	MAYBE	59.12	MAYBE	1.92	MAYBE	61.06	Ω(n^1),INF	6.14
	MAYBE	59.1	TIMEOUT	60	MAYBE	60.78	Ω(n^1),INF	2.91
	MAYBE	59.15	MAYBE	1.77	MAYBE	61.11	Ω(n^1),INF	2.78
	MAYBE	59.16	MAYBE	1.95	MAYBE	61.1	Ω(n^1),INF	4.61
	MAYBE	59.15	MAYBE	2.09	MAYBE	61.13	Ω(n^1),INF	2.94
	MAYBE	59.08	TIMEOUT	60	MAYBE	60.85	Ω(n^1),INF	2.37
	MAYBE	59.14	TIMEOUT	60	MAYBE	32.09	Ω(n^2),INF	4.07
	MAYBE	59.14	MAYBE	1.79	MAYBE	60.96	Ω(n^1),INF	3.64
	MAYBE	59.15	MAYBE	1.88	MAYBE	60.92	Ω(n^1),INF	2.29
	MAYBE	59.13	TIMEOUT	60	MAYBE	22.26	Ω(n^1),INF	3.39
	MAYBE	59.16	MAYBE	2.31	MAYBE	61.25	Ω(n^1),INF	2.11
	MAYBE	59.15	MAYBE	1.8	MAYBE	61.54	Ω(n^2),INF	4.01
	MAYBE	59.12	MAYBE	1.98	MAYBE	61.12	Ω(n^1),INF	7.24
	MAYBE	59.17	TIMEOUT	60	MAYBE	60.88	Ω(n^1),INF	3.18
	MAYBE	59.17	TIMEOUT	60	MAYBE	60.85	Ω(n^2),INF	5.08
	MAYBE	59.11	TIMEOUT	60	MAYBE	61.0	Ω(n^1),INF	3.64
	MAYBE	59.11	TIMEOUT	60	MAYBE	60.84	Ω(n^1),INF	7.5
	MAYBE	59.11	TIMEOUT	60	MAYBE	60.87	Ω(n^1),INF	3.46
	MAYBE	59.11	TIMEOUT	60	MAYBE	61.21	Ω(n^1),INF	4.3
	MAYBE	59.14	MAYBE	1.79	MAYBE	61.04	Ω(n^1),INF	2.47
	MAYBE	59.05	MAYBE	1.82	MAYBE	60.84	Ω(n^1),INF	1.93
	MAYBE	59.12	TIMEOUT	60	MAYBE	61.09	Ω(n^1),INF	2.81
	MAYBE	59.15	MAYBE	1.88	MAYBE	61.36	Ω(n^1),INF	5.52
	MAYBE	59.13	MAYBE	2.32	MAYBE	61.05	Ω(n^1),INF	3.06
	MAYBE	59.14	MAYBE	2.0	MAYBE	61.19	Ω(n^1),INF	9.06
	MAYBE	59.15	MAYBE	1.91	MAYBE	61.4	Ω(n^1),INF	2.89
	MAYBE	59.09	MAYBE	1.88	MAYBE	63.05	Ω(n^1),INF	2.69
	MAYBE	59.14	MAYBE	2.47	MAYBE	61.23	Ω(n^1),INF	5.64
	MAYBE	59.14	MAYBE	1.84	MAYBE	61.11	Ω(n^1),INF	3.09
	MAYBE	59.15	MAYBE	1.87	MAYBE	61.01	Ω(n^1),INF	3.14
	MAYBE	59.14	MAYBE	2.49	MAYBE	61.05	Ω(n^1),INF	3.81
	MAYBE	59.11	MAYBE	2.09	MAYBE	61.13	Ω(n^1),INF	5.04
	MAYBE	59.05	MAYBE	1.78	MAYBE	60.81	Ω(n^1),INF	2.14
	MAYBE	59.17	TIMEOUT	60	MAYBE	60.91	Ω(n^1),INF	2.5
	MAYBE	59.15	MAYBE	1.82	MAYBE	61.12	Ω(n^2),INF	2.61
	MAYBE	59.13	MAYBE	1.85	MAYBE	61.26	Ω(n^1),INF	2.99
	MAYBE	59.14	MAYBE	1.97	MAYBE	61.29	Ω(n^2),INF	3.75
	MAYBE	59.12	MAYBE	1.83	MAYBE	61.01	Ω(n^2),INF	3.93
	MAYBE	59.13	MAYBE	1.9	MAYBE	61.01	Ω(n^2),INF	3.47
	MAYBE	59.09	TIMEOUT	60	MAYBE	60.78	INF,INF	1.76
	MAYBE	59.08	TIMEOUT	60	MAYBE	61.29	Ω(n^1),INF	2.26
	MAYBE	59.12	MAYBE	1.79	MAYBE	60.92	Ω(n^2),INF	2.25
	MAYBE	59.14	MAYBE	1.81	MAYBE	60.97	Ω(n^1),INF	3.32
	MAYBE	59.11	MAYBE	1.86	MAYBE	61.25	Ω(n^1),INF	3.38
	MAYBE	59.13	MAYBE	1.87	MAYBE	61.04	Ω(n^1),INF	3.39
	MAYBE	59.12	MAYBE	1.85	MAYBE	60.98	Ω(n^1),INF	2.21
	MAYBE	59.15	MAYBE	1.84	MAYBE	60.95	Ω(n^1),INF	3.4
	MAYBE	59.3	MAYBE	1.79	MAYBE	60.96	Ω(n^1),INF	2.52
	MAYBE	59.15	MAYBE	1.91	MAYBE	60.99	Ω(n^2),INF	4.11
	MAYBE	59.13	MAYBE	1.85	MAYBE	61.0	Ω(n^2),INF	3.65
	MAYBE	59.12	MAYBE	1.91	MAYBE	61.11	Ω(n^1),INF	3.65
	MAYBE	59.2	MAYBE	1.81	MAYBE	62.79	Ω(n^1),INF	3.0
	MAYBE	59.19	MAYBE	1.92	MAYBE	61.07	Ω(n^1),INF	3.56
	MAYBE	59.13	MAYBE	1.96	MAYBE	61.08	Ω(n^1),INF	4.91
	MAYBE	59.15	MAYBE	1.84	MAYBE	61.02	Ω(n^1),INF	3.88
	MAYBE	59.16	TIMEOUT	60	MAYBE	42.66	Ω(n^1),INF	2.29
	MAYBE	59.25	MAYBE	1.81	MAYBE	61.08	Ω(n^1),INF	2.9
	MAYBE	59.23	MAYBE	1.81	MAYBE	61.06	Ω(n^1),INF	3.47
	MAYBE	59.19	MAYBE	1.73	MAYBE	61.08	Ω(n^1),INF	4.19
	MAYBE	59.23	MAYBE	1.8	MAYBE	61.07	Ω(n^1),INF	3.41
	MAYBE	59.23	TIMEOUT	60	MAYBE	37.66	Ω(n^1),INF	4.66
	MAYBE	59.22	MAYBE	1.79	MAYBE	60.95	Ω(n^1),INF	3.5
	MAYBE	59.21	MAYBE	1.8	MAYBE	60.93	Ω(n^1),INF	2.62
	MAYBE	59.18	MAYBE	1.76	MAYBE	61.17	Ω(n^1),INF	3.4
	TIMEOUT	60	MAYBE	1.81	MAYBE	61.16	Ω(n^1),INF	2.4
	MAYBE	59.33	MAYBE	1.79	MAYBE	61.43	Ω(n^1),INF	2.16
	MAYBE	59.19	MAYBE	1.75	MAYBE	60.99	Ω(n^1),INF	1.65
	MAYBE	59.17	MAYBE	1.76	MAYBE	62.13	Ω(n^1),INF	3.32
	MAYBE	59.2	MAYBE	1.79	MAYBE	61.11	Ω(n^1),INF	3.31
	MAYBE	59.34	MAYBE	1.75	MAYBE	61.14	Ω(n^1),INF	1.86
	MAYBE	59.2	MAYBE	1.76	MAYBE	61.1	Ω(n^1),INF	1.92
	MAYBE	59.23	MAYBE	1.8	MAYBE	61.76	Ω(n^1),INF	3.35
	MAYBE	59.27	MAYBE	1.76	MAYBE	61.03	Ω(n^1),INF	1.83
	MAYBE	59.22	MAYBE	1.75	MAYBE	61.43	Ω(n^1),INF	2.22
	MAYBE	59.05	TIMEOUT	60	MAYBE	24.74	Ω(n^1),INF	1.92
	MAYBE	59.19	MAYBE	1.75	MAYBE	61.08	Ω(n^1),INF	2.4
	MAYBE	59.26	MAYBE	1.73	MAYBE	61.09	Ω(n^1),INF	2.71
	MAYBE	59.22	MAYBE	1.72	MAYBE	61.04	Ω(n^1),INF	1.76
	MAYBE	59.28	MAYBE	1.74	MAYBE	61.0	Ω(n^1),INF	1.68
	MAYBE	59.29	MAYBE	1.77	MAYBE	62.44	Ω(n^1),INF	1.7
	MAYBE	59.04	TIMEOUT	60	MAYBE	45.01	Ω(n^1),INF	4.01
	MAYBE	59.04	MAYBE	2.02	MAYBE	60.84	Ω(n^1),INF	2.08
	MAYBE	59.08	MAYBE	1.78	MAYBE	61.23	INF,INF	1.53
	Ω(1),O(n^1)	0.84	Ω(1),O(n^1)	1.99	Ω(1),O(n^1)	2.25	Ω(n^1),INF	1.78
	MAYBE	59.16	MAYBE	2.25	MAYBE	61.07	Ω(2^n),INF	7.69
	Ω(1),O(n^1)	0.11	Ω(1),O(1)	1.98	Ω(1),O(1)	1.9	MAYBE	1.35
	MAYBE	59.22	MAYBE	1.81	MAYBE	61.14	Ω(n^2),INF	3.21
	MAYBE	55.53	TIMEOUT	60	MAYBE	54.92	Ω(n^1),INF	2.65
	MAYBE	59.07	TIMEOUT	60	MAYBE	60.99	Ω(n^1),INF	2.88
	MAYBE	59.06	TIMEOUT	60	MAYBE	60.88	Ω(n^1),INF	1.92
	MAYBE	59.11	Ω(1),O(n^2)	3.45	Ω(1),O(n^2)	5.62	Ω(n^1),INF	3.29
	MAYBE	59.1	MAYBE	1.75	MAYBE	60.92	Ω(n^2),INF	5.86
	MAYBE	59.07	MAYBE	1.75	MAYBE	61.36	Ω(n^2),INF	5.73
	MAYBE	59.17	MAYBE	1.82	MAYBE	62.83	Ω(2^n),INF	4.24
	MAYBE	59.14	MAYBE	1.82	MAYBE	60.99	Ω(2^n),INF	3.6
	MAYBE	59.16	MAYBE	1.83	MAYBE	60.96	Ω(2^n),INF	3.43
	MAYBE	59.07	MAYBE	1.74	MAYBE	61.04	Ω(n^2),INF	5.84
	MAYBE	59.14	MAYBE	1.86	MAYBE	61.26	Ω(n^1),INF	3.88
	MAYBE	59.06	Ω(1),O(n^2)	3.78	Ω(1),O(n^2)	17.19	Ω(n^2),INF	3.95
	TIMEOUT	60	MAYBE	1.82	MAYBE	61.86	Ω(n^1),INF	10.27
	MAYBE	59.62	MAYBE	5.31	MAYBE	64.07	Ω(n^1),INF	300
	MAYBE	59.14	MAYBE	1.85	MAYBE	61.3	Ω(n^1),INF	18.05
	MAYBE	59.18	MAYBE	1.83	MAYBE	61.5	Ω(n^1),INF	17.12
	MAYBE	59.14	MAYBE	1.95	MAYBE	61.03	Ω(n^1),INF	4.56
	Ω(1),O(n^1)	0.13	Ω(1),O(n^1)	1.85	Ω(1),O(n^1)	1.79	Ω(n^1),INF	1.7
	Ω(1),O(n^1)	0.11	Ω(1),O(n^1)	1.97	Ω(1),O(n^1)	1.79	Ω(n^1),INF	1.75
	Ω(1),O(n^1)	1.49	Ω(1),O(n^1)	2.08	Ω(1),O(n^1)	3.21	Ω(n^1),INF	2.59
	Ω(1),O(n^2)	7.96	Ω(1),O(n^2)	2.23	Ω(1),O(n^2)	6.64	Ω(n^1),INF	3.54
	MAYBE	59.06	MAYBE	1.78	MAYBE	60.8	Ω(n^1),INF	2.42
	Ω(1),O(n^1)	0.22	Ω(1),O(n^1)	1.94	Ω(1),O(n^1)	2.17	Ω(n^1),INF	1.83
	MAYBE	59.12	MAYBE	1.75	MAYBE	60.99	Ω(n^1),INF	2.12
	MAYBE	59.06	MAYBE	1.76	MAYBE	63.06	Ω(2^n),INF	3.47
	Ω(1),O(n^1)	0.06	Ω(1),O(n^1)	1.94	Ω(1),O(n^1)	1.83	Ω(n^1),INF	1.9
	Ω(1),O(n^2)	3.07	Ω(1),O(n^1)	1.98	Ω(1),O(n^1)	1.93	Ω(n^1),INF	1.75
	MAYBE	59.13	MAYBE	1.81	MAYBE	60.8	Ω(n^1),INF	3.69
	MAYBE	59.09	Ω(1),O(n^1)	1.96	Ω(1),O(n^1)	1.98	Ω(n^1),INF	1.89
	Ω(1),O(n^1)	0.49	Ω(1),O(n^1)	60	Ω(1),O(n^1)	1.89	Ω(n^1),INF	1.91
	MAYBE	59.15	TIMEOUT	60	MAYBE	35.5	Ω(n^1),INF	2.2
	MAYBE	59.07	TIMEOUT	60	MAYBE	60.16	Ω(n^1),INF	2.29
	MAYBE	59.05	MAYBE	1.74	MAYBE	61.18	Ω(n^1),INF	2.61
	MAYBE	59.12	TIMEOUT	60	MAYBE	60.86	Ω(n^1),INF	2.33
	MAYBE	59.16	TIMEOUT	60	MAYBE	60.83	Ω(n^1),INF	2.51
	MAYBE	59.07	TIMEOUT	60	MAYBE	60.81	Ω(n^1),INF	2.31
	MAYBE	59.2	TIMEOUT	60	MAYBE	61.57	Ω(n^1),INF	1.76
	MAYBE	59.06	MAYBE	2.0	MAYBE	60.96	Ω(n^1),INF	2.12
	MAYBE	59.19	MAYBE	2.29	MAYBE	60.8	Ω(n^1),INF	2.11
	MAYBE	59.07	TIMEOUT	60	MAYBE	60.79	Ω(n^1),INF	2.07
	MAYBE	59.16	MAYBE	1.8	MAYBE	61.61	Ω(n^1),INF	2.59
	MAYBE	59.38	MAYBE	1.76	MAYBE	60.86	Ω(n^1),INF	2.63
	MAYBE	59.05	TIMEOUT	60	MAYBE	44.03	Ω(n^1),INF	4.06
	MAYBE	59.13	TIMEOUT	60	MAYBE	60.94	Ω(2^n),INF	3.49
	MAYBE	59.14	TIMEOUT	60	MAYBE	60.92	Ω(n^1),INF	2.17
	MAYBE	59.15	MAYBE	1.86	MAYBE	61.16	Ω(n^2),INF	3.06
	MAYBE	7.14	MAYBE	5.05	MAYBE	8.78	INF,INF	1.22
	MAYBE	7.08	MAYBE	5.08	MAYBE	8.73	INF,INF	1.13
	MAYBE	7.07	MAYBE	5.08	MAYBE	8.78	INF,INF	1.16
	MAYBE	7.05	TIMEOUT	60	MAYBE	8.76	INF,INF	1.17
	MAYBE	7.05	TIMEOUT	60	MAYBE	9.16	INF,INF	1.13
	MAYBE	2.28	MAYBE	2.11	MAYBE	4.1	INF,INF	1.23
	MAYBE	59.13	MAYBE	1.98	MAYBE	60.96	Ω(n^1),INF	4.17
	MAYBE	59.16	Ω(1),O(n^2)	4.28	MAYBE	60.86	Ω(n^1),INF	1.79
	MAYBE	59.19	MAYBE	2.24	MAYBE	60.94	Ω(n^1),INF	3.24
	MAYBE	39.99	TIMEOUT	60	MAYBE	52.92	Ω(2^n),INF	1.81
	MAYBE	59.11	TIMEOUT	60	MAYBE	61.21	Ω(n^1),INF	300
	Ω(1),O(n^1)	0.29	Ω(1),O(n^1)	2.01	Ω(1),O(n^1)	2.38	Ω(n^1),INF	1.78
	MAYBE	59.11	MAYBE	1.76	MAYBE	61.13	Ω(n^1),INF	2.13
	MAYBE	59.06	MAYBE	1.77	MAYBE	61.15	Ω(n^1),INF	7.84
	MAYBE	59.25	Ω(1),O(n^2)	2.45	Ω(1),O(n^2)	4.82	Ω(n^1),INF	2.04
	MAYBE	59.07	TIMEOUT	60	MAYBE	61.14	Ω(n^1),INF	5.46
	MAYBE	59.05	MAYBE	1.78	MAYBE	61.44	Ω(n^1),INF	2.05
	MAYBE	59.14	MAYBE	1.83	MAYBE	60.92	Ω(n^1),INF	2.79
	MAYBE	59.14	MAYBE	1.84	MAYBE	60.96	Ω(n^1),INF	2.91
	MAYBE	59.26	MAYBE	1.79	MAYBE	60.92	Ω(n^1),INF	2.79
	Ω(1),O(n^2)	2.23	MAYBE	1.73	Ω(1),O(n^2)	6.49	Ω(n^1),INF	300
	MAYBE	59.11	Ω(1),O(n^2)	2.0	Ω(1),O(n^1)	2.54	Ω(n^1),INF	1.91
	Ω(1),O(n^1)	0.09	Ω(1),O(n^1)	1.96	Ω(1),O(n^1)	1.79	Ω(n^1),INF	2.08
	Ω(1),O(n^1)	0.48	Ω(1),O(n^2)	1.97	Ω(1),O(n^1)	2.71	Ω(n^1),INF	3.01
	Ω(1),O(n^1)	0.16	Ω(1),O(n^1)	1.99	Ω(1),O(n^1)	1.81	Ω(n^1),INF	1.8
	MAYBE	5.76	TIMEOUT	60	MAYBE	7.93	Ω(n^1),INF	1.93
	Ω(1),O(n^1)	0.08	Ω(1),O(n^1)	2.06	Ω(1),O(n^1)	1.82	Ω(n^1),INF	2.14
	MAYBE	59.15	MAYBE	1.88	MAYBE	61.02	Ω(2^n),INF	1.85
	MAYBE	59.13	MAYBE	1.78	MAYBE	60.96	Ω(2^n),INF	3.65
	Ω(1),O(n^1)	0.59	Ω(1),O(n^1)	2.08	Ω(1),O(n^1)	2.41	Ω(n^1),INF	300
	MAYBE	2.4	MAYBE	14.01	MAYBE	4.26	Ω(n^1),INF	1.7
	MAYBE	59.05	TIMEOUT	60	MAYBE	41.27	Ω(n^1),INF	2.08
	Ω(1),O(n^1)	0.15	Ω(1),O(n^1)	2.39	Ω(1),O(n^1)	1.99	Ω(n^1),INF	2.08
	Ω(1),O(n^1)	0.53	Ω(1),O(n^1)	1.94	Ω(1),O(n^1)	2.07	Ω(n^1),INF	2.07
	MAYBE	59.08	MAYBE	1.78	MAYBE	60.93	Ω(n^1),INF	2.64
	Ω(1),O(n^3)	36.63	MAYBE	1.75	MAYBE	62.27	Ω(n^1),INF	2.57
	MAYBE	59.15	MAYBE	1.88	MAYBE	60.99	Ω(n^1),INF	3.87
	MAYBE	59.16	MAYBE	1.77	MAYBE	61.0	Ω(n^1),INF	5.56
	Ω(1),O(n^1)	0.09	Ω(1),O(n^1)	2.0	Ω(1),O(n^1)	1.81	Ω(n^1),INF	1.62
	Ω(1),O(n^1)	0.58	Ω(1),O(n^2)	2.35	Ω(1),O(n^1)	2.14	Ω(n^1),INF	3.09
	Ω(1),O(1)	0.52	Ω(1),O(1)	1.74	Ω(1),O(1)	1.75	MAYBE	1.39
	Ω(1),O(n^2)	5.85	Ω(1),O(n^2)	3.61	Ω(1),O(n^2)	7.09	Ω(n^1),INF	2.07
	MAYBE	59.14	MAYBE	1.87	MAYBE	61.04	Ω(2^n),INF	6.4
	Ω(1),O(1)	0.05	Ω(1),O(1)	1.8	Ω(1),O(1)	2.02	MAYBE	1.34
	MAYBE	59.06	TIMEOUT	60	MAYBE	60.75	Ω(2^n),INF	1.98
	Ω(1),O(n^1)	0.04	Ω(1),O(1)	2.1	Ω(1),O(1)	1.78	MAYBE	1.21
	Ω(1),O(n^2)	6.34	Ω(1),O(n^1)	2.22	Ω(1),O(n^2)	6.19	Ω(n^1),INF	3.24
	Ω(1),O(n^1)	0.27	Ω(1),O(n^1)	2.34	Ω(1),O(n^1)	1.91	Ω(n^1),INF	1.82
	MAYBE	59.13	MAYBE	2.19	MAYBE	60.93	Ω(n^2),INF	3.78
	MAYBE	59.21	MAYBE	1.85	MAYBE	62.23	Ω(n^1),INF	2.32
	MAYBE	59.15	MAYBE	1.78	MAYBE	61.17	Ω(2^n),INF	2.92
	MAYBE	59.17	MAYBE	2.01	MAYBE	61.59	Ω(n^2),INF	5.23
	Ω(1),O(n^1)	0.21	Ω(1),O(n^1)	3.08	Ω(1),O(n^1)	1.96	Ω(n^1),INF	2.56
	Ω(1),O(n^1)	0.19	Ω(1),O(n^1)	2.1	Ω(1),O(n^1)	1.94	Ω(n^1),INF	1.24
	MAYBE	59.08	MAYBE	1.8	MAYBE	60.88	Ω(n^1),INF	2.98
	MAYBE	59.14	MAYBE	1.81	MAYBE	60.9	Ω(n^1),INF	2.62
	MAYBE	59.13	MAYBE	1.96	MAYBE	61.01	Ω(n^1),INF	1.9
	MAYBE	59.13	MAYBE	1.82	MAYBE	60.98	Ω(n^1),INF	1.89
	MAYBE	59.06	TIMEOUT	60	MAYBE	60.89	Ω(n^1),INF	3.9
	MAYBE	59.05	Ω(1),O(n^2)	2.06	Ω(1),O(n^1)	2.02	Ω(n^1),INF	2.21
	MAYBE	59.12	MAYBE	1.88	MAYBE	61.04	Ω(2^n),INF	90.25
	Ω(1),O(n^1)	0.67	Ω(1),O(1)	1.84	Ω(1),O(1)	1.92	MAYBE	1.22
	MAYBE	59.15	TIMEOUT	60	MAYBE	61.41	Ω(n^1),INF	4.21
	MAYBE	59.18	MAYBE	1.79	MAYBE	61.56	Ω(n^1),INF	2.44
	MAYBE	59.1	MAYBE	1.8	MAYBE	61.28	Ω(n^1),INF	1.79
	MAYBE	59.09	MAYBE	1.85	MAYBE	60.83	Ω(n^2),INF	2.62
	MAYBE	59.1	MAYBE	1.77	MAYBE	60.89	Ω(n^2),INF	2.8
	MAYBE	59.22	MAYBE	1.78	MAYBE	60.93	Ω(n^1),INF	2.58
	Ω(1),O(1)	0.32	Ω(1),O(1)	1.86	Ω(1),O(1)	1.81	MAYBE	1.24
	MAYBE	15.8	MAYBE	5.65	MAYBE	17.14	INF,INF	1.14
	Ω(1),O(n^1)	0.12	MAYBE	1.78	Ω(1),O(n^1)	1.87	MAYBE	1.34
	Ω(1),O(n^1)	0.06	MAYBE	1.86	Ω(1),O(n^1)	1.86	MAYBE	1.24
	Ω(1),O(n^1)	0.06	Ω(1),O(1)	1.85	Ω(1),O(1)	1.79	MAYBE	1.6
	MAYBE	59.13	MAYBE	2.02	MAYBE	61.01	Ω(n^1),INF	300
	MAYBE	59.33	TIMEOUT	60	MAYBE	63.72	Ω(n^1),INF	2.5
	MAYBE	59.21	MAYBE	1.91	MAYBE	60.92	Ω(n^1),INF	2.39
	MAYBE	59.15	MAYBE	1.81	MAYBE	61.38	Ω(n^1),INF	3.69
	Ω(1),O(1)	0.17	Ω(1),O(1)	1.83	Ω(1),O(1)	1.76	MAYBE	1.28
	Ω(1),O(n^1)	1.31	Ω(1),O(1)	1.78	Ω(1),O(1)	2.05	MAYBE	1.46
	MAYBE	59.06	Ω(1),O(1)	1.85	Ω(1),O(1)	1.78	MAYBE	1.58
	MAYBE	59.12	MAYBE	1.83	MAYBE	61.22	Ω(n^1),INF	2.61
	MAYBE	59.09	MAYBE	1.93	MAYBE	60.93	Ω(n^2),INF	2.95
	MAYBE	59.05	MAYBE	1.83	MAYBE	60.88	Ω(n^2),INF	3.09
	MAYBE	59.14	MAYBE	1.93	MAYBE	60.94	Ω(n^2),INF	2.98
	MAYBE	59.12	MAYBE	1.83	MAYBE	61.58	Ω(n^1),INF	2.9
	MAYBE	59.09	MAYBE	1.95	MAYBE	61.12	Ω(n^1),INF	2.37
	MAYBE	59.16	MAYBE	1.79	MAYBE	61.01	Ω(n^1),INF	2.85
	MAYBE	59.15	MAYBE	1.86	MAYBE	61.21	Ω(n^2),INF	2.91
	MAYBE	59.12	MAYBE	1.82	MAYBE	60.98	Ω(n^1),INF	4.65
	MAYBE	59.1	MAYBE	1.87	MAYBE	60.88	Ω(n^2),INF	2.6
	MAYBE	59.11	MAYBE	1.78	MAYBE	61.09	Ω(n^2),INF	2.54
	MAYBE	59.13	MAYBE	1.83	MAYBE	61.0	Ω(n^2),INF	3.84
	MAYBE	59.14	MAYBE	1.96	MAYBE	60.95	Ω(n^2),INF	3.24
	MAYBE	59.14	Ω(1),O(1)	1.77	Ω(1),O(1)	2.6	MAYBE	2.0
	MAYBE	59.16	MAYBE	2.01	MAYBE	60.98	Ω(n^1),INF	4.8
	MAYBE	59.13	MAYBE	1.82	MAYBE	61.54	Ω(n^1),INF	3.4
	MAYBE	59.11	MAYBE	2.02	MAYBE	61.56	Ω(n^1),INF	5.18
	MAYBE	59.2	MAYBE	1.87	MAYBE	61.11	Ω(n^1),INF	5.6
	MAYBE	59.12	MAYBE	1.89	MAYBE	60.98	Ω(n^1),INF	3.2
	MAYBE	59.12	MAYBE	2.05	MAYBE	61.27	Ω(n^1),INF	4.36
	MAYBE	59.14	MAYBE	1.82	MAYBE	61.01	Ω(n^1),INF	3.92
	MAYBE	59.14	MAYBE	1.85	MAYBE	61.09	Ω(n^1),INF	2.72
	MAYBE	59.15	MAYBE	2.0	MAYBE	60.99	Ω(n^1),INF	3.93
	MAYBE	59.14	TIMEOUT	60	MAYBE	61.2	Ω(n^1),INF	3.4
	MAYBE	59.07	MAYBE	1.8	MAYBE	61.16	Ω(n^1),INF	2.23
	MAYBE	59.07	MAYBE	1.86	MAYBE	60.84	Ω(2^n),INF	3.75
	MAYBE	59.18	MAYBE	1.81	MAYBE	61.14	Ω(n^1),INF	4.42
	MAYBE	59.15	MAYBE	1.82	MAYBE	60.95	Ω(2^n),INF	1.67
	Ω(1),O(n^1)	0.09	Ω(1),O(n^1)	2.09	Ω(1),O(n^1)	1.84	Ω(n^1),INF	1.89
	Ω(1),O(n^1)	0.15	Ω(1),O(n^1)	1.99	Ω(1),O(n^1)	1.85	Ω(n^1),INF	1.69
	Ω(1),O(n^2)	0.97	Ω(1),O(n^1)	1.97	Ω(1),O(n^1)	2.02	Ω(n^1),INF	300
	Ω(1),O(n^1)	0.11	Ω(1),O(n^1)	2.1	Ω(1),O(n^1)	1.94	Ω(n^1),INF	2.02
	Ω(1),O(n^1)	0.19	Ω(1),O(n^1)	2.02	Ω(1),O(n^1)	1.73	Ω(n^1),INF	2.13
	MAYBE	59.1	Ω(1),O(n^3)	3.86	Ω(1),O(n^3)	18.55	Ω(n^3),INF	4.17
	Ω(1),O(n^1)	0.32	Ω(1),O(n^1)	2.2	Ω(1),O(n^1)	1.95	Ω(n^1),INF	2.64
	Ω(1),O(n^1)	0.2	Ω(1),O(n^1)	2.08	Ω(1),O(n^1)	2.15	Ω(n^1),INF	2.21
	MAYBE	59.13	MAYBE	1.88	MAYBE	60.76	Ω(2^n),INF	7.98
	Ω(1),O(n^2)	1.97	Ω(1),O(n^2)	2.38	Ω(1),O(n^2)	4.34	Ω(n^2),INF	4.03
	Ω(1),O(n^1)	0.48	Ω(1),O(n^1)	1.97	Ω(1),O(n^1)	1.95	Ω(n^1),INF	4.69
	Ω(1),O(n^2)	1.09	Ω(1),O(n^2)	2.4	Ω(1),O(n^2)	2.67	Ω(n^1),INF	2.89
	Ω(1),O(n^2)	1.91	Ω(1),O(n^2)	2.71	Ω(1),O(n^2)	3.56	Ω(n^2),INF	3.35
	Ω(1),O(n^1)	0.43	Ω(1),O(n^1)	1.97	Ω(1),O(n^1)	1.98	Ω(n^1),INF	2.09
	MAYBE	6.57	MAYBE	14.12	MAYBE	7.35	Ω(2^n),INF	2.51
	MAYBE	59.05	MAYBE	1.71	MAYBE	60.79	Ω(2^n),INF	3.71
	MAYBE	59.16	TIMEOUT	60	MAYBE	27.31	Ω(n^2),INF	300
	MAYBE	4.91	MAYBE	36.91	MAYBE	6.71	Ω(2^n),INF	2.13
	MAYBE	59.06	TIMEOUT	60	MAYBE	25.29	Ω(2^n),INF	2.54
	MAYBE	59.06	MAYBE	2.24	MAYBE	60.9	Ω(3^n),INF	3.33
	MAYBE	59.05	MAYBE	2.2	MAYBE	61.47	Ω(n^1),INF	3.43
	MAYBE	59.05	TIMEOUT	60	MAYBE	6.8	Ω(n^1),INF	2.82
	Ω(1),O(n^1)	1.23	Ω(1),O(n^1)	1.92	Ω(1),O(n^1)	2.03	Ω(n^1),INF	3.57
	Ω(1),O(1)	0.49	Ω(1),O(1)	2.03	Ω(1),O(1)	1.97	MAYBE	1.24
	Ω(1),O(n^1)	0.13	Ω(1),O(n^1)	2.15	Ω(1),O(n^1)	1.84	Ω(n^1),INF	2.53
	Ω(1),O(n^1)	0.67	Ω(1),O(n^1)	2.55	Ω(1),O(n^1)	2.27	Ω(n^1),INF	1.83
	Ω(1),O(1)	0.37	Ω(1),O(n^1)	2.13	Ω(1),O(1)	1.83	MAYBE	1.34
	Ω(1),O(n^1)	0.28	Ω(1),O(n^1)	2.25	Ω(1),O(n^1)	1.93	Ω(n^1),INF	2.1
	Ω(1),O(n^2)	5.78	Ω(1),O(n^2)	5.68	Ω(1),O(n^2)	6.01	Ω(n^2),INF	2.85
	Ω(1),O(n^1)	0.31	Ω(1),O(n^1)	2.08	Ω(1),O(n^1)	1.92	Ω(n^1),INF	1.54
	Ω(1),O(n^1)	0.31	Ω(1),O(n^1)	2.86	Ω(1),O(n^1)	1.89	Ω(n^1),INF	1.95
	Ω(1),O(n^1)	0.36	Ω(1),O(n^1)	1.93	Ω(1),O(n^1)	1.76	Ω(n^1),INF	1.48
	MAYBE	59.14	MAYBE	11.74	MAYBE	60.85	Ω(2^n),INF	5.06
	Ω(1),O(n^1)	0.86	Ω(1),O(n^1)	2.66	Ω(1),O(n^1)	2.52	Ω(n^1),INF	2.5
	Ω(1),O(n^1)	0.72	Ω(1),O(n^1)	2.22	Ω(1),O(n^1)	2.07	Ω(n^1),INF	8.48
	Ω(1),O(n^1)	0.2	Ω(1),O(n^1)	2.26	Ω(1),O(n^1)	2.23	Ω(n^1),INF	1.63
	Ω(1),O(1)	0.12	Ω(1),O(1)	1.84	Ω(1),O(1)	2.15	MAYBE	1.17
	Ω(1),O(n^1)	0.17	Ω(1),O(1)	2.28	Ω(1),O(1)	1.79	MAYBE	1.22
	Ω(1),O(n^1)	0.05	Ω(1),O(n^1)	1.98	Ω(1),O(n^1)	1.76	Ω(n^1),INF	1.7
	MAYBE	59.06	TIMEOUT	60	MAYBE	61.48	Ω(n^1),INF	2.26
	MAYBE	59.09	TIMEOUT	60	MAYBE	60.93	Ω(n^1),INF	3.55
	Ω(1),O(n^1)	0.06	Ω(1),O(n^1)	2.03	Ω(1),O(n^1)	1.75	Ω(n^1),INF	2.2
	Ω(1),O(n^1)	0.07	Ω(1),O(n^1)	2.0	Ω(1),O(n^1)	1.75	Ω(n^1),INF	1.97
	Ω(1),O(n^1)	0.05	Ω(1),O(n^1)	1.95	Ω(1),O(n^1)	1.8	Ω(n^1),INF	1.7
	Ω(1),O(n^1)	0.09	Ω(1),O(n^2)	1.96	Ω(1),O(n^1)	1.76	MAYBE	1.42
	Ω(1),O(n^1)	0.13	MAYBE	1.82	Ω(1),O(n^1)	1.93	MAYBE	1.73
	Ω(1),O(n^2)	1.13	Ω(1),O(n^3)	2.01	Ω(1),O(n^2)	2.61	Ω(n^1),INF	300
	MAYBE	59.07	TIMEOUT	60	MAYBE	26.94	INF,INF	1.36
	Ω(1),O(n^1)	0.06	Ω(1),O(1)	1.77	Ω(1),O(n^1)	2.4	MAYBE	1.19
	Ω(1),O(1)	0.1	Ω(1),O(1)	1.76	Ω(1),O(1)	1.79	MAYBE	1.23
	Ω(1),O(n^2)	2.14	Ω(1),O(n^3)	2.13	Ω(1),O(n^2)	2.47	Ω(n^1),INF	2.62
	Ω(1),O(n^1)	0.95	Ω(1),O(n^1)	2.2	Ω(1),O(n^1)	2.29	Ω(n^1),INF	3.77
	Ω(1),O(n^2)	2.23	Ω(1),O(n^1)	2.08	Ω(1),O(n^2)	4.45	Ω(n^1),INF	2.51
	Ω(1),O(n^1)	0.23	Ω(1),O(n^1)	2.1	Ω(1),O(n^1)	1.84	Ω(n^1),INF	1.68
	MAYBE	59.18	MAYBE	1.73	MAYBE	60.94	Ω(n^2),INF	3.13
	Ω(1),O(1)	0.44	Ω(1),O(1)	1.82	Ω(1),O(1)	1.82	MAYBE	1.32
	MAYBE	59.06	MAYBE	1.74	MAYBE	60.82	Ω(n^1),INF	2.3
	MAYBE	59.13	MAYBE	1.77	MAYBE	61.27	Ω(2^n),INF	3.21
	Ω(1),O(n^1)	0.15	Ω(1),O(n^2)	1.97	Ω(1),O(n^1)	2.2	Ω(n^1),INF	2.42
	Ω(1),O(n^1)	0.12	Ω(1),O(n^1)	1.95	Ω(1),O(n^1)	1.89	Ω(n^1),INF	1.99
	MAYBE	59.08	TIMEOUT	60	MAYBE	60.82	Ω(n^1),INF	2.28
	Ω(1),O(n^1)	2.64	Ω(1),O(n^1)	2.22	Ω(1),O(n^1)	3.13	Ω(n^1),INF	300
	Ω(1),O(n^1)	0.25	Ω(1),O(n^1)	2.06	Ω(1),O(n^1)	1.9	Ω(n^1),INF	1.35
	Ω(1),O(n^1)	0.26	Ω(1),O(n^1)	40.13	Ω(1),O(n^1)	2.03	Ω(n^1),INF	2.8
	MAYBE	59.09	MAYBE	1.78	MAYBE	60.81	Ω(2^n),INF	3.12
	MAYBE	59.08	TIMEOUT	60	MAYBE	60.8	INF,INF	1.19
	Ω(1),O(1)	0.05	Ω(1),O(1)	1.79	Ω(1),O(1)	2.29	MAYBE	1.25
	Ω(1),O(n^1)	0.25	Ω(1),O(n^1)	2.14	Ω(1),O(n^1)	1.96	Ω(n^1),INF	1.76
	MAYBE	59.08	MAYBE	1.8	MAYBE	60.84	Ω(n^1),INF	2.44
	MAYBE	59.17	MAYBE	1.79	MAYBE	61.21	Ω(n^1),INF	2.27
	Ω(1),O(n^1)	0.08	Ω(1),O(n^1)	1.89	Ω(1),O(n^1)	1.76	Ω(n^1),INF	1.6
	Ω(1),O(1)	0.06	Ω(1),O(1)	1.85	Ω(1),O(1)	1.8	MAYBE	1.35
	Ω(1),O(n^1)	0.06	Ω(1),O(1)	1.74	Ω(1),O(1)	1.95	MAYBE	1.24
	Ω(1),O(n^1)	0.06	Ω(1),O(n^1)	1.96	Ω(1),O(n^1)	1.81	MAYBE	1.35
	Ω(1),O(n^2)	2.68	Ω(1),O(n^1)	1.98	Ω(1),O(n^1)	2.13	Ω(n^1),INF	6.21
	MAYBE	59.06	MAYBE	1.72	MAYBE	60.75	Ω(2^n),INF	2.74
	MAYBE	59.14	MAYBE	1.76	MAYBE	60.9	MAYBE	1.57
	MAYBE	59.08	MAYBE	1.72	MAYBE	60.97	Ω(2^n),INF	3.06
	MAYBE	59.23	MAYBE	1.77	MAYBE	60.97	Ω(2^n),INF	29.84
	MAYBE	59.13	MAYBE	1.77	MAYBE	61.68	Ω(2^n),INF	2.77
	Ω(1),O(n^1)	0.25	Ω(1),O(n^1)	1.92	Ω(1),O(n^1)	1.92	Ω(n^1),INF	1.61
	Ω(1),O(n^1)	0.15	Ω(1),O(n^1)	1.88	Ω(1),O(n^1)	1.79	Ω(n^1),INF	1.64
	Ω(1),O(n^1)	0.08	Ω(1),O(n^1)	1.96	Ω(1),O(n^1)	1.84	Ω(n^1),INF	1.62
	MAYBE	59.07	MAYBE	1.73	MAYBE	60.82	Ω(n^1),INF	3.41
	Ω(1),O(n^1)	0.09	Ω(1),O(n^1)	2.25	Ω(1),O(n^1)	2.27	Ω(n^1),INF	1.67
	Ω(1),O(n^1)	0.41	Ω(1),O(n^1)	1.88	Ω(1),O(n^1)	2.39	Ω(n^1),INF	2.05
	MAYBE	59.16	TIMEOUT	60	MAYBE	60.93	Ω(n^1),INF	2.31
	MAYBE	1.8	Ω(1),O(1)	1.89	MAYBE	4.03	MAYBE	1.41
	MAYBE	59.18	MAYBE	1.73	MAYBE	61.2	Ω(n^1),INF	2.06
	Ω(1),O(n^3)	10.59	Ω(1),O(n^2)	2.54	Ω(1),O(n^3)	10.07	Ω(n^1),INF	3.26
	Ω(1),O(n^1)	1.88	Ω(1),O(n^2)	5.53	Ω(1),O(n^1)	4.24	Ω(n^1),INF	1.9
	MAYBE	59.15	MAYBE	2.08	MAYBE	62.05	Ω(n^1),INF	2.96
	Ω(1),O(n^1)	0.16	Ω(1),O(n^1)	1.97	Ω(1),O(n^1)	2.03	Ω(n^1),INF	1.63
	MAYBE	59.15	Ω(1),O(n^2)	6.34	MAYBE	20.57	Ω(n^1),INF	1.95
	MAYBE	59.13	Ω(1),O(n^2)	14.47	MAYBE	61.06	Ω(n^1),INF	2.36
	MAYBE	59.1	MAYBE	1.79	MAYBE	61.09	Ω(n^1),INF	3.42
	MAYBE	59.2	MAYBE	1.76	MAYBE	61.21	Ω(n^1),INF	2.26
	MAYBE	59.08	Ω(1),O(n^1)	2.57	Ω(1),O(n^2)	4.6	Ω(n^1),INF	2.6
	MAYBE	59.05	TIMEOUT	60	Ω(1),O(n^3)	22.42	Ω(n^2),INF	1.97
	Ω(1),O(n^2)	2.68	MAYBE	1.73	Ω(1),O(n^2)	4.95	Ω(n^1),INF	1.88
	MAYBE	59.21	MAYBE	1.87	MAYBE	61.01	Ω(2^n),INF	6.22
	MAYBE	59.12	MAYBE	1.86	MAYBE	61.26	Ω(n^2),INF	5.25
	Ω(1),O(n^1)	0.05	Ω(1),O(n^1)	2.12	Ω(1),O(n^1)	2.16	Ω(n^1),INF	1.34
	Ω(1),O(n^1)	0.06	Ω(1),O(n^1)	2.08	Ω(1),O(n^1)	2.1	Ω(n^1),INF	1.29
	Ω(1),O(n^1)	0.25	Ω(1),O(1)	1.82	Ω(1),O(1)	2.36	MAYBE	1.28
	MAYBE	59.09	TIMEOUT	60	MAYBE	19.34	INF,INF	2.32
	MAYBE	2.92	TIMEOUT	60	MAYBE	4.8	INF,INF	1.31
	MAYBE	3.1	TIMEOUT	60	MAYBE	5.11	INF,INF	1.34
	MAYBE	13.27	TIMEOUT	60	MAYBE	9.92	INF,INF	1.44
	MAYBE	10.58	TIMEOUT	60	MAYBE	10.09	INF,INF	1.45
	MAYBE	59.12	MAYBE	1.75	MAYBE	61.53	INF,INF	1.38
	MAYBE	9.09	TIMEOUT	60	MAYBE	9.54	INF,INF	1.38
	MAYBE	29.97	MAYBE	6.81	MAYBE	31.62	INF,INF	1.2
	MAYBE	59.14	TIMEOUT	60	MAYBE	35.96	INF,INF	1.55
	MAYBE	10.97	TIMEOUT	60	MAYBE	11.83	INF,INF	1.49
	MAYBE	6.82	TIMEOUT	60	MAYBE	5.02	INF,INF	1.33
	MAYBE	59.5	TIMEOUT	60	MAYBE	8.04	INF,INF	1.62
	MAYBE	59.06	TIMEOUT	60	MAYBE	60.57	INF,INF	1.67
	MAYBE	59.05	TIMEOUT	60	MAYBE	7.95	INF,INF	1.13
	MAYBE	10.11	TIMEOUT	60	MAYBE	10.02	INF,INF	1.2
	MAYBE	59.15	TIMEOUT	60	MAYBE	9.98	INF,INF	1.69
	MAYBE	4.84	TIMEOUT	60	MAYBE	5.57	INF,INF	1.24
	MAYBE	7.04	MAYBE	5.47	MAYBE	8.78	INF,INF	1.15
	MAYBE	59.26	Ω(1),O(n^1)	2.3	Ω(1),O(n^1)	2.75	Ω(n^1),INF	1.9
	MAYBE	59.15	MAYBE	1.75	MAYBE	61.19	INF,INF	1.34
	MAYBE	59.16	TIMEOUT	60	MAYBE	12.46	INF,INF	2.77
	MAYBE	7.04	MAYBE	5.51	MAYBE	8.8	INF,INF	1.44
	MAYBE	59.16	TIMEOUT	60	MAYBE	16.0	INF,INF	1.93
	MAYBE	6.17	TIMEOUT	60	MAYBE	7.04	INF,INF	1.29
	MAYBE	7.04	MAYBE	5.21	MAYBE	8.75	INF,INF	1.34
	MAYBE	5.36	TIMEOUT	60	MAYBE	5.34	INF,INF	1.31
	MAYBE	10.4	TIMEOUT	60	MAYBE	10.78	INF,INF	1.4
	MAYBE	59.06	MAYBE	1.76	MAYBE	60.83	INF,INF	1.41
	MAYBE	59.05	MAYBE	1.74	MAYBE	60.84	INF,INF	3.9
	MAYBE	59.08	TIMEOUT	60	MAYBE	20.19	INF,INF	2.96
	MAYBE	7.05	MAYBE	5.07	MAYBE	8.78	INF,INF	1.22
	MAYBE	17.17	TIMEOUT	60	MAYBE	18.98	INF,INF	2.19
	MAYBE	20.04	TIMEOUT	60	MAYBE	19.9	INF,INF	1.79
	MAYBE	59.08	MAYBE	1.78	MAYBE	60.83	INF,INF	3.67
	MAYBE	59.09	MAYBE	1.78	MAYBE	60.93	INF,INF	1.29
	MAYBE	59.08	MAYBE	1.72	MAYBE	60.82	INF,INF	1.27
	MAYBE	59.08	TIMEOUT	60	MAYBE	3.26	INF,INF	1.45
	MAYBE	59.07	MAYBE	1.75	MAYBE	60.86	INF,INF	1.36
	MAYBE	25.5	MAYBE	1.79	MAYBE	26.98	INF,INF	1.15
	MAYBE	59.06	MAYBE	1.77	MAYBE	61.36	INF,INF	1.24
	MAYBE	7.63	MAYBE	1.75	MAYBE	9.74	MAYBE	1.53
	MAYBE	59.14	TIMEOUT	60	MAYBE	40.94	INF,INF	1.59
	MAYBE	58.73	MAYBE	22.64	MAYBE	35.56	INF,INF	1.21
	MAYBE	11.07	Ω(1),O(n^1)	1.86	Ω(1),O(n^1)	1.91	Ω(n^1),INF	1.85
	MAYBE	59.05	Ω(1),O(n^1)	2.25	MAYBE	15.29	Ω(n^1),INF	2.17
	MAYBE	59.07	Ω(1),O(n^1)	2.7	MAYBE	17.73	Ω(n^1),INF	2.22
	Ω(1),O(n^1)	0.08	Ω(1),O(n^1)	2.29	Ω(1),O(n^1)	1.82	Ω(n^1),INF	1.6
	Ω(1),O(1)	0.04	Ω(1),O(1)	1.81	Ω(1),O(1)	1.75	MAYBE	1.29
	MAYBE	59.31	TIMEOUT	60	MAYBE	54.7	Ω(n^1),INF	11.58
	MAYBE	26.05	TIMEOUT	60	MAYBE	22.54	Ω(n^1),INF	3.65
	MAYBE	59.24	TIMEOUT	60	MAYBE	60.89	Ω(n^1),INF	4.89
	Ω(1),O(n^5)	22.51	TIMEOUT	60	Ω(1),O(n^5)	37.24	Ω(n^1),INF	3.16
	MAYBE	59.14	MAYBE	2.15	MAYBE	61.29	Ω(n^1),INF	4.2
	MAYBE	59.08	Ω(1),O(n^1)	5.71	Ω(1),O(n^1)	1.95	Ω(n^1),INF	218.52
	MAYBE	59.06	MAYBE	2.06	MAYBE	60.99	Ω(2^n),INF	1.93
	MAYBE	59.1	MAYBE	2.48	MAYBE	61.02	Ω(2^n),INF	8.84
	MAYBE	59.08	MAYBE	2.05	MAYBE	61.12	Ω(n^2),INF	3.05
	MAYBE	59.1	Ω(1),O(n^1)	2.79	Ω(1),O(n^1)	3.62	Ω(n^1),INF	3.18
	MAYBE	59.06	MAYBE	2.22	MAYBE	61.2	Ω(2^n),INF	1.76
	MAYBE	59.09	MAYBE	1.75	MAYBE	60.84	Ω(2^n),INF	1.87
	Ω(1),O(n^1)	0.72	Ω(1),O(1)	1.76	Ω(1),O(1)	1.77	MAYBE	1.17
	MAYBE	59.2	Ω(1),O(n^1)	2.67	Ω(1),O(n^1)	1.99	Ω(n^1),INF	3.28
	MAYBE	59.15	MAYBE	2.1	MAYBE	60.94	Ω(2^n),INF	14.06
	MAYBE	59.07	MAYBE	2.08	MAYBE	60.88	Ω(2^n),INF	2.1
	MAYBE	7.05	MAYBE	5.08	MAYBE	8.8	INF,INF	1.25
	MAYBE	59.09	MAYBE	2.19	MAYBE	60.88	INF,INF	1.36
	MAYBE	59.17	Ω(1),O(n^1)	3.27	Ω(1),O(n^1)	2.33	Ω(n^1),INF	3.17
	MAYBE	59.16	MAYBE	1.85	MAYBE	60.9	INF,INF	1.42
	Ω(1),O(n^1)	0.25	Ω(1),O(n^1)	2.1	Ω(1),O(n^1)	2.74	Ω(n^1),INF	2.12
	Ω(1),O(n^1)	0.21	Ω(1),O(n^1)	1.9	Ω(1),O(n^1)	2.83	Ω(n^1),INF	1.39
	Ω(1),O(n^1)	0.08	Ω(1),O(n^1)	2.36	Ω(1),O(n^1)	2.76	Ω(n^1),INF	1.43
	MAYBE	7.05	MAYBE	4.99	MAYBE	9.11	INF,INF	1.12
	Ω(1),O(1)	0.11	Ω(1),O(1)	1.8	Ω(1),O(1)	2.27	MAYBE	1.37
	MAYBE	59.11	Ω(1),O(n^1)	3.96	Ω(1),O(n^1)	3.92	Ω(n^1),INF	4.9
	MAYBE	59.1	MAYBE	1.81	MAYBE	61.62	Ω(2^n),INF	2.07
	Ω(1),O(n^1)	5.37	Ω(1),O(n^1)	3.65	Ω(1),O(n^1)	8.67	Ω(n^1),INF	3.11
	MAYBE	59.1	TIMEOUT	60	MAYBE	10.57	Ω(2^n),INF	2.17
	MAYBE	59.07	Ω(1),O(n^1)	3.15	Ω(1),O(n^1)	3.71	Ω(n^1),INF	2.03
	Ω(1),O(n^1)	1.2	Ω(1),O(n^1)	1.91	Ω(1),O(n^1)	2.86	Ω(n^1),INF	84.88
	MAYBE	7.05	MAYBE	5.41	MAYBE	9.75	INF,INF	1.11
	Ω(1),O(n^1)	0.12	Ω(1),O(n^1)	2.2	Ω(1),O(n^1)	1.9	Ω(n^1),INF	2.24
	Ω(1),O(n^1)	0.2	MAYBE	2.0	Ω(1),O(n^1)	1.89	Ω(n^1),INF	1.6
	Ω(1),O(n^1)	0.1	Ω(1),O(n^1)	1.87	Ω(1),O(n^1)	1.79	Ω(n^1),INF	1.82
	Ω(1),O(n^1)	0.1	Ω(1),O(1)	1.76	Ω(1),O(1)	1.76	MAYBE	1.21
	MAYBE	59.11	Ω(1),O(n^1)	3.88	Ω(1),O(n^1)	2.03	Ω(n^1),INF	3.89
	MAYBE	59.13	MAYBE	1.93	MAYBE	61.03	Ω(2^n),INF	1.86
	MAYBE	59.12	MAYBE	1.77	MAYBE	60.88	Ω(2^n),INF	1.86
	MAYBE	7.05	MAYBE	5.23	MAYBE	9.12	INF,INF	1.21
	MAYBE	59.13	MAYBE	1.88	MAYBE	60.91	Ω(n^1),INF	1.96
	MAYBE	59.11	Ω(1),O(n^1)	3.11	Ω(1),O(n^1)	2.14	Ω(n^1),INF	5.12
	MAYBE	59.16	MAYBE	1.81	MAYBE	61.43	Ω(2^n),INF	1.98
	MAYBE	59.15	MAYBE	1.81	MAYBE	60.91	Ω(2^n),INF	2.49
	MAYBE	59.13	TIMEOUT	60	MAYBE	7.74	INF,INF	1.27
	MAYBE	59.06	Ω(1),O(n^1)	2.59	Ω(1),O(n^1)	3.63	Ω(n^1),INF	2.21
	MAYBE	59.15	MAYBE	1.75	MAYBE	61.57	Ω(2^n),INF	1.61
	MAYBE	7.05	MAYBE	5.08	MAYBE	8.75	INF,INF	1.16
	MAYBE	59.06	Ω(1),O(n^1)	3.06	Ω(1),O(n^1)	2.61	Ω(n^1),INF	4.66
	MAYBE	59.07	MAYBE	1.87	MAYBE	60.97	Ω(2^n),INF	1.41
	MAYBE	59.05	MAYBE	1.78	MAYBE	60.83	Ω(2^n),INF	2.05
	Ω(1),O(n^1)	3.78	MAYBE	1.8	Ω(1),O(n^1)	5.77	Ω(n^1),INF	2.45
	Ω(1),O(n^1)	2.67	MAYBE	1.99	Ω(1),O(n^1)	3.07	Ω(n^1),INF	4.09
	MAYBE	59.19	TIMEOUT	60	MAYBE	60.82	INF,INF	2.21
	MAYBE	59.11	TIMEOUT	60	MAYBE	61.52	Ω(n^1),INF	5.14
	MAYBE	18.27	TIMEOUT	60	MAYBE	19.8	INF,INF	1.85
	Ω(1),O(n^1)	0.3	Ω(1),O(n^1)	2.26	Ω(1),O(n^1)	2.54	Ω(n^1),INF	1.61
	MAYBE	59.09	MAYBE	6.74	MAYBE	60.96	INF,INF	1.17
	Ω(1),O(n^1)	0.21	Ω(1),O(n^1)	1.99	Ω(1),O(n^1)	2.24	MAYBE	1.39
	MAYBE	7.05	MAYBE	5.3	MAYBE	9.38	INF,INF	1.13
	Ω(1),O(n^1)	0.05	Ω(1),O(n^1)	2.32	Ω(1),O(n^1)	2.32	Ω(n^1),INF	2.6
	Ω(1),O(n^1)	0.13	MAYBE	1.74	Ω(1),O(n^1)	2.34	Ω(n^1),INF	1.58
	Ω(1),O(n^1)	0.09	Ω(1),O(n^1)	2.06	Ω(1),O(n^1)	1.85	Ω(n^1),INF	1.96
	Ω(1),O(n^1)	0.08	Ω(1),O(1)	1.75	Ω(1),O(1)	1.75	MAYBE	1.23
	MAYBE	59.05	Ω(1),O(n^1)	2.55	Ω(1),O(n^1)	1.97	Ω(n^1),INF	2.15
	MAYBE	59.06	MAYBE	2.0	MAYBE	61.22	Ω(n^1),INF	1.77
	MAYBE	59.1	Ω(1),O(n^1)	1.95	Ω(1),O(n^1)	2.54	Ω(n^1),INF	1.96
	MAYBE	7.05	MAYBE	4.99	MAYBE	8.76	INF,INF	1.11
	MAYBE	59.06	MAYBE	1.78	MAYBE	60.83	MAYBE	1.55
	MAYBE	59.23	Ω(1),O(n^1)	2.46	Ω(1),O(n^1)	3.52	Ω(n^1),INF	2.09
	MAYBE	59.14	MAYBE	1.87	MAYBE	61.03	Ω(2^n),INF	1.5
	MAYBE	7.09	MAYBE	5.09	MAYBE	8.78	INF,INF	1.11
	Ω(1),O(n^1)	0.2	Ω(1),O(n^1)	2.32	Ω(1),O(n^1)	2.33	Ω(n^1),INF	2.6
	Ω(1),O(n^1)	0.38	MAYBE	1.77	Ω(1),O(n^1)	2.12	Ω(n^1),INF	2.05
	Ω(1),O(n^1)	0.19	Ω(1),O(n^1)	2.11	Ω(1),O(n^1)	1.96	Ω(n^1),INF	1.96
	Ω(1),O(n^1)	0.35	Ω(1),O(1)	1.81	Ω(1),O(1)	1.91	MAYBE	1.51
	MAYBE	59.19	Ω(1),O(n^1)	3.71	Ω(1),O(n^1)	1.97	Ω(n^1),INF	6.9
	MAYBE	59.13	MAYBE	1.86	MAYBE	61.02	Ω(2^n),INF	1.69
	MAYBE	59.07	MAYBE	1.94	MAYBE	60.92	Ω(2^n),INF	2.37
	Ω(1),O(1)	0.13	Ω(1),O(1)	1.81	Ω(1),O(1)	1.75	MAYBE	1.21
	MAYBE	59.08	Ω(1),O(1)	1.81	Ω(1),O(1)	1.87	MAYBE	1.78
	MAYBE	59.11	Ω(1),O(n^1)	3.82	Ω(1),O(n^1)	2.05	Ω(n^1),INF	8.52
	MAYBE	59.08	MAYBE	1.81	MAYBE	60.88	Ω(2^n),INF	1.7
	MAYBE	59.1	MAYBE	1.92	MAYBE	60.96	Ω(2^n),INF	4.89
	MAYBE	59.11	TIMEOUT	60	Ω(1),O(n^3)	10.06	Ω(n^3),INF	2.77
	MAYBE	59.17	TIMEOUT	60	Ω(1),O(n^3)	15.62	Ω(n^3),INF	3.3
	MAYBE	59.12	Ω(1),O(n^1)	3.23	Ω(1),O(n^1)	4.45	Ω(n^1),INF	4.91
	MAYBE	59.08	MAYBE	2.02	MAYBE	61.76	Ω(2^n),INF	1.61
	MAYBE	59.08	MAYBE	1.88	MAYBE	61.21	Ω(2^n),INF	6.1
	Ω(1),O(1)	0.05	Ω(1),O(1)	1.98	Ω(1),O(n^1)	1.72	MAYBE	1.2
	Ω(1),O(n^1)	1.92	Ω(1),O(n^1)	2.32	Ω(1),O(n^1)	3.2	Ω(n^1),INF	1.87
	MAYBE	59.08	Ω(1),O(n^1)	3.02	Ω(1),O(n^1)	1.94	Ω(n^1),INF	3.96
	MAYBE	59.06	MAYBE	1.97	MAYBE	60.82	Ω(2^n),INF	1.39
	MAYBE	59.09	MAYBE	1.85	MAYBE	61.22	Ω(2^n),INF	1.71
	Ω(1),O(n^1)	1.52	MAYBE	1.85	Ω(1),O(n^1)	3.37	Ω(n^1),INF	2.35
	MAYBE	59.26	Ω(1),O(n^1)	2.7	Ω(1),O(n^1)	2.37	Ω(n^1),INF	4.72
	MAYBE	59.13	MAYBE	1.99	MAYBE	60.94	Ω(2^n),INF	2.21
	MAYBE	59.07	MAYBE	1.82	MAYBE	61.05	Ω(n^1),INF	1.97
	MAYBE	59.09	TIMEOUT	60	MAYBE	21.8	Ω(2^n),INF	1.98
	MAYBE	59.08	Ω(1),O(n^1)	3.32	Ω(1),O(n^1)	1.91	Ω(n^1),INF	4.84
	MAYBE	59.1	MAYBE	2.13	MAYBE	60.94	Ω(2^n),INF	2.08
	MAYBE	59.07	MAYBE	1.85	MAYBE	60.87	Ω(2^n),INF	2.37
	Ω(1),O(1)	0.11	Ω(1),O(1)	2.24	Ω(1),O(n^1)	2.55	MAYBE	1.2
	MAYBE	59.4	TIMEOUT	60	MAYBE	15.49	INF,INF	2.29
	MAYBE	59.07	Ω(1),O(n^1)	2.38	Ω(1),O(n^1)	1.88	Ω(n^1),INF	2.27
	MAYBE	59.06	MAYBE	1.73	MAYBE	60.82	Ω(2^n),INF	1.74
	MAYBE	59.07	MAYBE	1.76	MAYBE	60.89	Ω(2^n),INF	1.75
	Ω(1),O(n^1)	0.06	Ω(1),O(n^1)	1.89	Ω(1),O(n^1)	1.75	Ω(n^1),INF	1.65
	MAYBE	59.08	MAYBE	1.96	MAYBE	60.81	INF,INF	1.32
	Ω(1),O(n^1)	0.06	Ω(1),O(n^1)	2.69	Ω(1),O(n^1)	2.37	Ω(n^1),INF	3.35
	Ω(1),O(n^1)	0.19	MAYBE	1.79	Ω(1),O(n^1)	2.46	Ω(n^1),INF	1.64
	Ω(1),O(n^1)	0.15	Ω(1),O(n^1)	4.9	Ω(1),O(n^1)	2.75	Ω(n^1),INF	1.68
	Ω(1),O(n^1)	0.1	Ω(1),O(n^1)	2.44	Ω(1),O(n^1)	2.28	MAYBE	1.33
	Ω(1),O(n^1)	0.13	Ω(1),O(n^1)	2.07	Ω(1),O(n^1)	2.61	MAYBE	1.32
	MAYBE	59.1	Ω(1),O(n^1)	3.21	Ω(1),O(n^1)	2.21	Ω(n^1),INF	8.47
	MAYBE	59.13	MAYBE	2.31	MAYBE	61.23	Ω(2^n),INF	1.47
	MAYBE	59.08	MAYBE	1.93	MAYBE	61.2	Ω(2^n),INF	2.03
	MAYBE	59.14	MAYBE	1.81	MAYBE	60.95	Ω(n^1),INF	2.7
	MAYBE	59.13	Ω(1),O(n^1)	2.62	Ω(1),O(n^1)	1.9	Ω(n^1),INF	3.79
	MAYBE	59.08	MAYBE	2.3	MAYBE	60.83	Ω(2^n),INF	1.32
	MAYBE	59.06	MAYBE	1.76	MAYBE	61.76	Ω(2^n),INF	1.68
	Ω(1),O(n^1)	0.63	MAYBE	1.95	Ω(1),O(n^1)	2.35	Ω(n^1),INF	1.68
	Ω(1),O(n^1)	0.4	MAYBE	1.87	Ω(1),O(n^1)	2.06	Ω(n^1),INF	2.59
	Ω(1),O(1)	0.07	Ω(1),O(1)	1.8	Ω(1),O(1)	1.79	MAYBE	1.26
	Ω(1),O(n^1)	0.13	Ω(1),O(n^1)	60	Ω(1),O(n^1)	1.82	Ω(n^1),INF	1.96
	MAYBE	59.13	Ω(1),O(n^1)	2.91	Ω(1),O(n^1)	1.97	Ω(n^1),INF	4.05
	MAYBE	59.12	MAYBE	1.81	MAYBE	61.3	Ω(2^n),INF	2.6
	MAYBE	59.06	MAYBE	1.82	MAYBE	60.94	Ω(2^n),INF	4.69
	Ω(1),O(n^1)	1.71	Ω(1),O(n^1)	2.62	Ω(1),O(n^1)	2.0	Ω(n^1),INF	2.25
	MAYBE	59.18	MAYBE	1.82	MAYBE	60.89	Ω(n^1),INF	300
	MAYBE	59.12	MAYBE	2.36	MAYBE	61.63	Ω(2^n),INF	3.04
	MAYBE	59.14	MAYBE	1.85	MAYBE	61.1	Ω(n^1),INF	12.44
	MAYBE	59.25	MAYBE	2.22	MAYBE	61.06	Ω(n^1),INF	2.56
	MAYBE	59.1	Ω(1),O(n^1)	2.76	Ω(1),O(n^1)	2.24	Ω(n^1),INF	4.43
	MAYBE	59.06	MAYBE	1.78	MAYBE	60.85	Ω(2^n),INF	1.58
	MAYBE	59.07	MAYBE	2.16	MAYBE	61.39	Ω(2^n),INF	1.82
	MAYBE	59.16	MAYBE	1.75	MAYBE	61.24	Ω(n^1),INF	2.58
	MAYBE	59.11	Ω(1),O(n^1)	4.95	Ω(1),O(n^1)	1.92	Ω(n^1),INF	243.46
	MAYBE	59.07	MAYBE	1.9	MAYBE	60.93	Ω(2^n),INF	2.33
	MAYBE	59.06	MAYBE	1.94	MAYBE	60.95	Ω(n^1),INF	70.86
	MAYBE	59.08	TIMEOUT	60	MAYBE	24.41	Ω(2^n),INF	2.21
	MAYBE	59.1	MAYBE	1.96	Ω(1),O(n^1)	7.72	Ω(n^1),INF	25.04
	MAYBE	59.08	MAYBE	1.99	MAYBE	60.98	INF,INF	2.81
	MAYBE	59.14	MAYBE	1.82	MAYBE	61.92	Ω(2^n),INF	8.49
	MAYBE	59.11	MAYBE	2.29	MAYBE	60.89	INF,INF	1.98
	Ω(1),O(n^1)	1.37	Ω(1),O(n^1)	2.61	Ω(1),O(n^1)	2.26	Ω(n^1),INF	2.56
	Ω(1),O(n^1)	0.42	MAYBE	1.74	Ω(1),O(n^1)	2.04	Ω(n^1),INF	2.56
	MAYBE	19.01	TIMEOUT	60	MAYBE	20.39	Ω(n^1),INF	2.73
	Ω(1),O(n^1)	0.19	Ω(1),O(n^1)	2.18	Ω(1),O(n^1)	1.78	MAYBE	1.31
	MAYBE	59.14	Ω(1),O(n^1)	4.83	Ω(1),O(n^1)	2.09	Ω(n^1),INF	300
	MAYBE	59.13	MAYBE	2.28	MAYBE	61.06	Ω(2^n),INF	3.2
	MAYBE	59.13	MAYBE	1.99	MAYBE	61.12	Ω(2^n),INF	101.5
	MAYBE	59.15	MAYBE	2.3	MAYBE	61.09	Ω(n^1),INF	2.86
	MAYBE	59.08	Ω(1),O(n^1)	2.49	Ω(1),O(n^1)	2.83	Ω(n^1),INF	3.85
	MAYBE	59.07	MAYBE	1.77	MAYBE	61.34	Ω(2^n),INF	1.57
	MAYBE	59.07	MAYBE	2.14	MAYBE	61.05	Ω(2^n),INF	3.02
	Ω(1),O(n^1)	1.3	Ω(1),O(1)	1.77	Ω(1),O(1)	1.79	MAYBE	1.38
	Ω(1),O(n^1)	0.3	MAYBE	2.03	Ω(1),O(n^1)	1.89	Ω(n^1),INF	1.61
	MAYBE	59.07	MAYBE	5.7	MAYBE	60.8	INF,INF	1.73
	Ω(1),O(1)	0.1	Ω(1),O(1)	1.79	Ω(1),O(1)	2.17	MAYBE	1.26
	MAYBE	59.07	Ω(1),O(n^1)	3.26	Ω(1),O(n^1)	2.41	Ω(n^1),INF	3.82
	MAYBE	59.06	MAYBE	1.76	MAYBE	61.55	Ω(2^n),INF	1.49
	MAYBE	59.05	MAYBE	1.79	MAYBE	61.56	Ω(2^n),INF	5.35
	Ω(1),O(1)	0.06	Ω(1),O(1)	2.08	Ω(1),O(1)	1.81	MAYBE	1.16
	Ω(1),O(n^1)	1.31	Ω(1),O(n^1)	2.02	Ω(1),O(n^1)	2.02	Ω(n^1),INF	1.53
	MAYBE	59.17	Ω(1),O(n^1)	3.41	Ω(1),O(n^1)	1.99	Ω(n^1),INF	5.94
	MAYBE	59.07	MAYBE	2.19	MAYBE	60.88	Ω(2^n),INF	1.42
	MAYBE	59.12	MAYBE	1.79	MAYBE	61.69	Ω(2^n),INF	2.45
	Ω(1),O(n^1)	3.75	MAYBE	1.72	Ω(1),O(n^1)	3.81	Ω(n^1),INF	2.71
	MAYBE	59.13	Ω(1),O(n^1)	3.13	Ω(1),O(n^1)	2.18	Ω(n^1),INF	6.13
	MAYBE	59.15	MAYBE	1.78	MAYBE	61.6	Ω(2^n),INF	2.49
	MAYBE	59.06	MAYBE	2.09	MAYBE	60.88	Ω(2^n),INF	2.96
	MAYBE	59.09	MAYBE	1.72	MAYBE	60.86	Ω(n^1),INF	2.53
	MAYBE	59.1	MAYBE	2.4	MAYBE	61.07	Ω(n^1),INF	4.24
	MAYBE	59.11	MAYBE	1.83	MAYBE	62.48	Ω(2^n),INF	1.95
	MAYBE	59.07	MAYBE	1.81	MAYBE	61.31	Ω(2^n),INF	2.72
	Ω(1),O(1)	0.06	Ω(1),O(1)	2.4	Ω(1),O(1)	1.86	MAYBE	1.25
	MAYBE	59.24	MAYBE	1.76	MAYBE	60.93	Ω(n^1),INF	2.31
	MAYBE	59.06	Ω(1),O(n^1)	2.55	Ω(1),O(n^1)	3.76	Ω(n^1),INF	2.26
	MAYBE	59.16	MAYBE	1.73	MAYBE	61.1	Ω(2^n),INF	1.74
	MAYBE	1.1	MAYBE	4.46	MAYBE	3.08	INF,INF	1.13
	MAYBE	59.11	Ω(1),O(n^1)	3.22	Ω(1),O(n^1)	3.61	Ω(n^1),INF	2.22
	MAYBE	59.09	TIMEOUT	60	MAYBE	60.82	INF,INF	1.25
	Ω(1),O(n^1)	0.6	Ω(1),O(n^1)	2.33	Ω(1),O(n^1)	3.12	Ω(n^1),INF	300
	MAYBE	59.07	Ω(1),O(n^1)	4.57	Ω(1),O(n^1)	2.46	Ω(n^1),INF	300
	MAYBE	59.15	MAYBE	1.76	MAYBE	60.92	Ω(2^n),INF	1.7
	MAYBE	59.14	MAYBE	2.46	MAYBE	61.06	Ω(2^n),INF	24.72
	MAYBE	59.13	MAYBE	1.87	MAYBE	60.99	Ω(n^2),INF	4.43
	Ω(1),O(n^1)	0.12	Ω(1),O(n^1)	2.03	Ω(1),O(n^1)	4.18	Ω(n^1),INF	2.39
	Ω(1),O(n^1)	0.06	Ω(1),O(n^1)	2.21	Ω(1),O(n^1)	2.51	Ω(n^1),INF	1.75
	Ω(1),O(n^1)	0.09	Ω(1),O(n^1)	1.95	Ω(1),O(n^1)	2.04	Ω(n^1),INF	1.6
	MAYBE	7.05	MAYBE	5.2	MAYBE	9.35	INF,INF	1.27
	Ω(1),O(n^1)	3.87	MAYBE	1.92	Ω(1),O(n^1)	5.19	Ω(n^1),INF	4.87
	MAYBE	59.1	TIMEOUT	60	MAYBE	61.45	Ω(n^1),INF	2.06
	MAYBE	59.23	TIMEOUT	60	MAYBE	61.61	Ω(n^1),INF	2.58
	MAYBE	59.09	TIMEOUT	60	MAYBE	60.91	INF,INF	1.65
	Ω(1),O(n^1)	2.46	MAYBE	1.89	Ω(1),O(n^1)	3.69	Ω(n^1),INF	3.93
	MAYBE	59.09	TIMEOUT	60	MAYBE	61.17	Ω(n^1),INF	2.04
	Ω(1),O(n^3)	51.75	TIMEOUT	60	Ω(1),O(n^3)	51.7	Ω(n^1),INF	1.83
	MAYBE	59.18	TIMEOUT	60	MAYBE	60.9	Ω(n^1),INF	2.32
	MAYBE	59.67	MAYBE	2.03	MAYBE	61.18	Ω(n^1),INF	18.56
	MAYBE	59.06	MAYBE	1.86	MAYBE	60.99	Ω(2^n),INF	2.89
	MAYBE	59.07	MAYBE	1.93	MAYBE	60.92	Ω(2^n),INF	4.35
	MAYBE	59.07	MAYBE	1.84	MAYBE	61.2	MAYBE	4.04
	MAYBE	59.13	Ω(1),O(n^1)	3.41	Ω(1),O(n^1)	2.08	Ω(n^1),INF	6.88
	MAYBE	59.15	MAYBE	1.87	MAYBE	60.97	Ω(2^n),INF	2.01
	MAYBE	59.05	MAYBE	1.85	MAYBE	61.01	Ω(2^n),INF	69.0
	MAYBE	59.09	TIMEOUT	60	MAYBE	7.32	INF,INF	1.74
	Ω(1),O(n^1)	0.53	Ω(1),O(n^1)	2.87	Ω(1),O(n^1)	1.88	Ω(n^1),INF	3.51
	Ω(1),O(n^1)	0.14	MAYBE	1.83	Ω(1),O(n^1)	1.86	Ω(n^1),INF	1.72
	MAYBE	59.06	TIMEOUT	60	MAYBE	60.99	Ω(n^1),INF	1.76
	Ω(1),O(n^1)	0.15	Ω(1),O(1)	2.18	Ω(1),O(n^1)	1.79	MAYBE	1.32
	Ω(1),O(n^1)	0.16	Ω(1),O(1)	2.67	Ω(1),O(n^1)	1.95	MAYBE	1.33
	MAYBE	59.14	Ω(1),O(n^1)	3.62	Ω(1),O(n^1)	2.19	Ω(n^1),INF	58.0
	MAYBE	59.08	MAYBE	1.83	MAYBE	60.96	Ω(2^n),INF	1.61
	MAYBE	59.07	MAYBE	2.16	MAYBE	60.92	Ω(2^n),INF	5.72
	MAYBE	59.16	TIMEOUT	60	Ω(1),O(n^3)	10.41	Ω(n^3),INF	2.95
	MAYBE	59.11	TIMEOUT	60	Ω(1),O(n^3)	17.42	Ω(n^3),INF	3.69
	MAYBE	59.12	Ω(1),O(n^1)	7.88	Ω(1),O(n^1)	2.13	Ω(n^1),INF	300
	MAYBE	59.15	MAYBE	1.79	MAYBE	60.94	Ω(2^n),INF	1.59
	MAYBE	59.17	MAYBE	1.86	MAYBE	61.8	Ω(2^n),INF	6.76
	MAYBE	59.06	MAYBE	1.81	MAYBE	60.9	Ω(n^1),INF	1.64
	MAYBE	59.19	MAYBE	2.0	MAYBE	61.12	Ω(n^1),INF	300
	MAYBE	59.17	MAYBE	2.13	MAYBE	61.56	Ω(2^n),INF	9.64
	MAYBE	59.12	MAYBE	2.13	MAYBE	61.77	Ω(2^n),INF	300
	MAYBE	59.49	MAYBE	2.61	MAYBE	62.03	Ω(n^1),INF	300
	MAYBE	59.13	MAYBE	2.22	MAYBE	61.47	Ω(2^n),INF	5.65
	MAYBE	59.21	MAYBE	3.03	MAYBE	62.6	Ω(n^1),INF	300
	MAYBE	59.1	MAYBE	2.27	MAYBE	61.89	Ω(n^1),INF	3.62
	MAYBE	59.12	MAYBE	2.11	MAYBE	61.24	Ω(n^1),INF	3.64
	MAYBE	59.17	MAYBE	2.34	Ω(1),O(n^1)	2.76	Ω(n^1),INF	12.52
	MAYBE	59.11	MAYBE	1.84	MAYBE	61.08	Ω(2^n),INF	4.56
	MAYBE	59.15	MAYBE	1.88	MAYBE	61.06	Ω(n^1),INF	3.47
	MAYBE	59.11	MAYBE	2.53	MAYBE	60.94	Ω(n^1),INF	300
	MAYBE	59.11	MAYBE	1.92	MAYBE	61.14	Ω(2^n),INF	3.36
	MAYBE	59.11	MAYBE	1.94	MAYBE	61.13	Ω(n^1),INF	84.53
	MAYBE	59.13	MAYBE	2.21	MAYBE	61.04	Ω(n^1),INF	2.36
	MAYBE	59.11	MAYBE	1.86	MAYBE	61.59	Ω(n^1),INF	2.56
	Ω(1),O(n^1)	0.57	MAYBE	1.82	Ω(1),O(n^1)	2.62	Ω(n^1),INF	3.59
	MAYBE	59.07	TIMEOUT	60	MAYBE	61.07	INF,INF	1.4
	MAYBE	59.05	TIMEOUT	60	MAYBE	60.91	INF,INF	1.32
	Ω(1),O(n^1)	0.77	MAYBE	1.83	Ω(1),O(n^1)	3.39	Ω(n^1),INF	4.68
	MAYBE	59.07	TIMEOUT	60	MAYBE	61.64	INF,INF	1.58
	MAYBE	59.09	TIMEOUT	60	MAYBE	60.83	INF,INF	1.58
	MAYBE	59.28	Ω(1),O(n^1)	20.82	Ω(1),O(n^1)	2.92	Ω(n^1),INF	300
	MAYBE	59.21	MAYBE	3.44	MAYBE	62.2	Ω(2^n),INF	300
	MAYBE	59.15	MAYBE	4.04	MAYBE	62.91	Ω(2^n),INF	300
	MAYBE	59.24	TIMEOUT	60	Ω(1),O(n^1)	3.09	TIMEOUT	300
	MAYBE	59.23	MAYBE	6.29	MAYBE	66.55	Ω(2^n),INF	300
	MAYBE	59.37	MAYBE	6.08	MAYBE	65.78	TIMEOUT	300
	MAYBE	59.12	MAYBE	7.73	MAYBE	65.56	Ω(2^n),INF	20.73
	MAYBE	59.17	MAYBE	3.57	MAYBE	62.57	Ω(2^n),INF	38.3
	MAYBE	59.27	Ω(1),O(n^1)	9.11	Ω(1),O(n^1)	2.49	Ω(n^1),INF	300
	MAYBE	59.26	MAYBE	2.35	MAYBE	61.39	Ω(2^n),INF	182.4
	MAYBE	59.11	MAYBE	2.44	MAYBE	61.43	Ω(2^n),INF	300
	MAYBE	59.16	Ω(1),O(n^1)	23.23	Ω(1),O(n^1)	2.51	Ω(n^1),INF	300
	MAYBE	59.14	MAYBE	2.59	MAYBE	62.17	Ω(2^n),INF	300
	MAYBE	59.13	MAYBE	3.27	MAYBE	62.31	Ω(2^n),INF	300
	MAYBE	59.11	MAYBE	2.97	MAYBE	64.04	Ω(2^n),INF	7.35
	MAYBE	59.2	MAYBE	2.43	MAYBE	61.35	Ω(n^1),INF	8.57
	MAYBE	59.2	Ω(1),O(n^1)	6.44	Ω(1),O(n^1)	2.01	Ω(n^1),INF	300
	MAYBE	59.13	MAYBE	2.14	MAYBE	60.88	Ω(2^n),INF	2.26
	MAYBE	59.14	MAYBE	1.95	MAYBE	61.12	Ω(2^n),INF	300
	MAYBE	59.22	Ω(1),O(n^1)	11.92	Ω(1),O(n^1)	2.24	Ω(n^1),INF	300
	MAYBE	59.13	MAYBE	2.64	MAYBE	61.13	Ω(2^n),INF	3.34
	MAYBE	59.15	MAYBE	2.66	MAYBE	61.8	Ω(2^n),INF	300
	MAYBE	59.13	MAYBE	1.93	MAYBE	61.06	MAYBE	3.12
	MAYBE	59.16	MAYBE	1.83	MAYBE	61.02	Ω(n^1),INF	1.55
	MAYBE	59.17	Ω(1),O(n^1)	7.65	Ω(1),O(n^1)	2.16	Ω(n^1),INF	300
	MAYBE	59.2	MAYBE	2.04	MAYBE	61.76	Ω(2^n),INF	3.92
	MAYBE	59.14	MAYBE	2.2	MAYBE	61.16	Ω(2^n),INF	300
	MAYBE	59.46	Ω(1),O(n^1)	12.85	Ω(1),O(n^1)	2.18	Ω(n^1),INF	300
	MAYBE	59.1	MAYBE	2.18	MAYBE	62.85	Ω(2^n),INF	4.69
	MAYBE	59.2	MAYBE	2.92	MAYBE	61.99	Ω(2^n),INF	300
	MAYBE	59.11	MAYBE	2.29	MAYBE	61.25	Ω(n^1),INF	4.48
	MAYBE	59.13	MAYBE	2.0	MAYBE	61.13	Ω(n^1),INF	3.93
	MAYBE	59.18	Ω(1),O(n^1)	3.8	Ω(1),O(n^1)	1.99	Ω(n^1),INF	37.03
	MAYBE	59.13	MAYBE	1.86	MAYBE	61.1	Ω(2^n),INF	2.38
	MAYBE	59.12	MAYBE	1.92	MAYBE	61.1	Ω(2^n),INF	3.63
	MAYBE	59.26	Ω(1),O(n^1)	5.35	Ω(1),O(n^1)	2.28	Ω(n^1),INF	300
	MAYBE	59.11	MAYBE	1.89	MAYBE	61.31	Ω(2^n),INF	2.57
	MAYBE	59.13	MAYBE	1.99	MAYBE	61.18	Ω(2^n),INF	23.33
	MAYBE	59.1	MAYBE	2.28	MAYBE	61.04	Ω(n^1),INF	2.39
	MAYBE	59.12	MAYBE	1.83	MAYBE	61.0	Ω(n^1),INF	2.95
	MAYBE	59.05	Ω(1),O(n^1)	3.03	Ω(1),O(n^1)	1.87	Ω(n^1),INF	3.98
	Ω(1),O(n^2)	1.77	Ω(1),O(n^2)	2.32	Ω(1),O(n^2)	2.48	Ω(n^2),INF	2.42
	MAYBE	59.26	MAYBE	2.0	MAYBE	60.89	Ω(2^n),INF	4.08
	MAYBE	59.08	Ω(1),O(n^1)	3.72	Ω(1),O(n^1)	1.95	Ω(n^1),INF	6.82
	MAYBE	59.11	MAYBE	1.9	MAYBE	60.84	Ω(n^2),INF	2.94
	MAYBE	59.06	MAYBE	1.94	MAYBE	61.35	Ω(2^n),INF	6.6
	MAYBE	59.16	MAYBE	1.99	MAYBE	61.03	Ω(n^1),INF	300
	MAYBE	59.08	MAYBE	3.25	MAYBE	62.08	Ω(2^n),INF	7.31
	MAYBE	59.12	MAYBE	2.43	MAYBE	61.56	Ω(2^n),INF	300
	MAYBE	59.18	MAYBE	2.32	MAYBE	61.78	Ω(n^1),INF	300
	MAYBE	59.27	MAYBE	2.78	MAYBE	62.31	Ω(2^n),INF	6.07
	MAYBE	59.23	MAYBE	4.48	MAYBE	66.32	Ω(n^1),INF	300
	MAYBE	59.15	MAYBE	2.67	MAYBE	61.77	Ω(n^1),INF	5.37
	MAYBE	59.2	MAYBE	2.38	MAYBE	61.38	Ω(n^1),INF	4.24
	MAYBE	59.18	MAYBE	2.19	MAYBE	61.08	Ω(n^1),INF	300
	MAYBE	59.11	MAYBE	2.06	MAYBE	61.07	Ω(2^n),INF	4.53
	MAYBE	59.1	MAYBE	1.97	MAYBE	63.4	Ω(n^1),INF	7.38
	MAYBE	59.19	MAYBE	2.52	MAYBE	61.03	Ω(n^1),INF	300
	MAYBE	59.14	MAYBE	2.23	MAYBE	61.15	Ω(2^n),INF	3.5
	MAYBE	59.11	MAYBE	2.73	MAYBE	61.22	Ω(n^1),INF	300
	MAYBE	59.11	MAYBE	2.04	MAYBE	61.08	Ω(n^1),INF	2.82
	MAYBE	59.13	MAYBE	1.95	MAYBE	61.11	Ω(n^1),INF	2.92
	Ω(1),O(n^1)	1.61	MAYBE	1.85	Ω(1),O(n^1)	2.68	Ω(n^1),INF	4.38
	MAYBE	59.07	TIMEOUT	60	MAYBE	61.16	INF,INF	1.33
	MAYBE	59.06	TIMEOUT	60	MAYBE	60.88	INF,INF	1.55
	MAYBE	59.36	MAYBE	1.91	MAYBE	61.66	Ω(n^1),INF	21.48
	MAYBE	59.05	TIMEOUT	60	MAYBE	60.92	Ω(n^1),INF	2.27
	MAYBE	59.37	TIMEOUT	60	MAYBE	61.16	INF,INF	1.71
	MAYBE	59.05	TIMEOUT	60	MAYBE	60.87	Ω(n^1),INF	2.4
	MAYBE	59.08	TIMEOUT	60	MAYBE	61.03	INF,INF	1.56
	MAYBE	59.24	Ω(1),O(n^1)	6.47	Ω(1),O(n^1)	2.15	Ω(n^1),INF	300
	MAYBE	59.22	MAYBE	2.05	MAYBE	61.46	Ω(2^n),INF	8.07
	MAYBE	59.1	MAYBE	2.26	MAYBE	61.61	Ω(n^1),INF	300
	MAYBE	59.42	Ω(1),O(n^1)	15.89	Ω(1),O(n^1)	2.25	Ω(n^1),INF	300
	MAYBE	59.09	MAYBE	2.23	MAYBE	61.22	Ω(n^2),INF	4.88
	MAYBE	59.21	MAYBE	2.69	MAYBE	63.37	Ω(n^2),INF	300
	MAYBE	59.13	TIMEOUT	60	MAYBE	61.07	INF,INF	5.0
	MAYBE	59.16	MAYBE	2.34	MAYBE	61.41	Ω(n^1),INF	4.36
	MAYBE	59.12	MAYBE	2.11	MAYBE	61.31	Ω(n^1),INF	4.55
	Ω(1),O(n^1)	0.68	Ω(1),O(n^1)	2.74	Ω(1),O(n^1)	1.9	Ω(n^1),INF	10.09
	MAYBE	59.11	MAYBE	1.88	MAYBE	61.03	Ω(n^2),INF	7.17
	MAYBE	59.12	TIMEOUT	60	MAYBE	61.24	Ω(n^1),INF	19.29
	Ω(1),O(n^1)	6.2	Ω(1),O(n^1)	6.27	Ω(1),O(n^1)	2.03	Ω(n^1),INF	300
	MAYBE	59.12	MAYBE	2.01	MAYBE	61.0	Ω(n^2),INF	6.3
	MAYBE	59.49	TIMEOUT	60	MAYBE	61.26	Ω(n^1),INF	300
	MAYBE	59.12	TIMEOUT	60	MAYBE	31.45	INF,INF	1.75
	Ω(1),O(n^1)	15.12	MAYBE	1.93	Ω(1),O(n^1)	4.99	Ω(n^1),INF	3.55
	Ω(1),O(n^2)	14.87	MAYBE	1.89	Ω(1),O(n^1)	4.97	Ω(n^1),INF	3.59
	Ω(1),O(n^1)	0.08	Ω(1),O(n^1)	2.66	Ω(1),O(n^1)	1.98	Ω(n^1),INF	3.6
	MAYBE	59.1	TIMEOUT	60	MAYBE	60.93	Ω(n^1),INF	1.72
	Ω(1),O(n^1)	0.24	Ω(1),O(n^1)	2.98	Ω(1),O(n^1)	2.01	Ω(n^1),INF	3.93
	MAYBE	59.11	TIMEOUT	60	MAYBE	60.96	Ω(n^1),INF	1.83
	MAYBE	59.11	Ω(1),O(n^1)	5.32	Ω(1),O(n^1)	2.05	Ω(n^1),INF	300
	MAYBE	59.07	MAYBE	2.19	MAYBE	61.06	Ω(2^n),INF	3.03
	MAYBE	59.12	MAYBE	2.23	MAYBE	61.04	Ω(2^n),INF	20.37
	MAYBE	59.12	Ω(1),O(n^1)	9.09	Ω(1),O(n^1)	2.53	Ω(n^1),INF	300
	MAYBE	59.11	MAYBE	2.36	MAYBE	61.2	Ω(2^n),INF	3.9
	MAYBE	59.15	MAYBE	2.97	MAYBE	62.08	Ω(2^n),INF	300
	MAYBE	59.1	MAYBE	2.51	MAYBE	61.25	Ω(n^1),INF	3.61
	MAYBE	59.13	MAYBE	1.89	MAYBE	61.38	Ω(n^1),INF	3.37
	MAYBE	59.11	Ω(1),O(n^1)	3.48	Ω(1),O(n^1)	1.95	Ω(n^1),INF	5.06
	MAYBE	59.11	MAYBE	1.8	MAYBE	60.99	Ω(2^n),INF	2.19
	MAYBE	59.08	MAYBE	2.33	MAYBE	60.94	Ω(2^n),INF	2.91
	MAYBE	59.16	Ω(1),O(n^1)	3.24	Ω(1),O(n^1)	2.11	Ω(n^1),INF	13.14
	MAYBE	59.13	MAYBE	2.17	MAYBE	60.97	Ω(2^n),INF	2.41
	MAYBE	59.09	MAYBE	1.86	MAYBE	61.02	Ω(2^n),INF	3.17
	MAYBE	59.12	MAYBE	1.84	MAYBE	61.03	Ω(n^1),INF	2.18
	MAYBE	59.12	MAYBE	2.0	MAYBE	61.32	Ω(n^1),INF	2.03
	Ω(1),O(n^1)	0.33	Ω(1),O(n^1)	3.23	Ω(1),O(n^1)	2.06	Ω(n^1),INF	3.17
	Ω(1),O(n^1)	0.1	Ω(1),O(n^1)	1.93	Ω(1),O(n^1)	1.92	Ω(n^1),INF	2.11
	MAYBE	43.99	TIMEOUT	60	MAYBE	45.52	Ω(n^2),INF	2.58
	Ω(1),O(n^1)	0.92	Ω(1),O(n^1)	3.86	Ω(1),O(n^1)	1.9	Ω(n^1),INF	3.71
	Ω(1),O(n^1)	0.92	Ω(1),O(n^1)	2.23	Ω(1),O(n^1)	2.31	Ω(n^1),INF	2.3
	MAYBE	59.06	TIMEOUT	60	MAYBE	60.83	Ω(n^2),INF	3.35
	MAYBE	59.19	Ω(1),O(1)	2.23	Ω(1),O(1)	2.15	MAYBE	1.3
	TIMEOUT	60	Ω(1),O(1)	1.86	Ω(1),O(1)	2.02	MAYBE	1.28
	MAYBE	59.15	MAYBE	2.21	MAYBE	61.13	Ω(n^1),INF	3.54
	MAYBE	59.15	Ω(1),O(1)	3.35	MAYBE	6.09	MAYBE	1.29
	MAYBE	59.17	MAYBE	2.09	MAYBE	60.95	Ω(n^1),INF	2.5
	MAYBE	59.16	MAYBE	1.8	MAYBE	61.14	Ω(n^1),INF	2.63
	MAYBE	59.09	MAYBE	2.44	MAYBE	61.12	Ω(n^1),INF	4.11
	Ω(1),O(n^1)	0.06	Ω(1),O(n^1)	2.05	Ω(1),O(n^1)	2.4	Ω(n^1),INF	1.58
	Ω(1),O(n^1)	0.06	Ω(1),O(n^1)	2.26	Ω(1),O(n^1)	1.81	Ω(n^1),INF	1.8
	MAYBE	59.06	Ω(1),O(n^1)	2.37	Ω(1),O(n^1)	4.3	Ω(n^1),INF	1.8
	Ω(1),O(n^1)	0.42	Ω(1),O(n^1)	2.48	Ω(1),O(n^1)	1.92	Ω(n^1),INF	2.05
	Ω(1),O(n^2)	18.98	Ω(1),O(n^1)	60	Ω(1),O(n^2)	17.97	Ω(n^1),INF	1.6
	Ω(1),O(n^1)	0.19	Ω(1),O(n^1)	60	Ω(1),O(n^1)	2.13	Ω(n^1),INF	1.92
	Ω(1),O(n^1)	0.16	Ω(1),O(n^1)	60	Ω(1),O(n^1)	1.76	Ω(n^1),INF	1.95
	MAYBE	11.67	TIMEOUT	60	MAYBE	10.28	INF,INF	1.3
	MAYBE	11.41	MAYBE	7.61	MAYBE	12.22	INF,INF	1.27
	MAYBE	14.96	MAYBE	7.5	MAYBE	12.58	INF,INF	1.22
	MAYBE	59.2	MAYBE	1.79	MAYBE	60.83	Ω(n^1),INF	6.34
	MAYBE	59.06	TIMEOUT	60	MAYBE	61.38	Ω(n^1),INF	2.12
	MAYBE	59.13	TIMEOUT	60	MAYBE	61.21	Ω(n^1),INF	1.98
	MAYBE	59.13	TIMEOUT	60	MAYBE	60.78	Ω(n^1),INF	1.94
	MAYBE	59.2	TIMEOUT	60	MAYBE	60.82	Ω(n^1),INF	1.76
	MAYBE	59.14	TIMEOUT	60	MAYBE	60.84	Ω(n^1),INF	1.99
	MAYBE	59.04	TIMEOUT	60	MAYBE	60.82	Ω(n^1),INF	1.88
	MAYBE	59.11	TIMEOUT	60	MAYBE	60.79	Ω(n^1),INF	1.87
	MAYBE	59.09	Ω(1),O(n^1)	60	MAYBE	60.93	Ω(n^1),INF	2.02
	MAYBE	59.08	TIMEOUT	60	MAYBE	61.09	Ω(n^1),INF	1.95
	Ω(1),O(n^1)	0.19	Ω(1),O(n^1)	1.98	Ω(1),O(n^1)	2.43	Ω(n^1),INF	1.83
	MAYBE	7.74	TIMEOUT	60	MAYBE	9.99	Ω(n^1),INF	1.79
	MAYBE	59.11	Ω(1),O(n^1)	2.01	Ω(1),O(n^1)	2.06	Ω(n^1),INF	1.74