our decision procedure (SML)	c:	0	n:	1	av-time:	0.001	seconds
our decision procedure (SML)	c:	0	n:	2	av-time:	0.000	seconds
our decision procedure (SML)	c:	0	n:	3	av-time:	0.000	seconds
our decision procedure (SML)	c:	0	n:	4	av-time:	0.000	seconds
our decision procedure (SML)	c:	0	n:	5	av-time:	0.000	seconds
our decision procedure (SML)	c:	0	n:	6	av-time:	0.000	seconds
our decision procedure (SML)	c:	0	n:	7	av-time:	0.000	seconds
our decision procedure (SML)	c:	0	n:	8	av-time:	0.000	seconds
our decision procedure (SML)	c:	0	n:	9	av-time:	0.000	seconds
our decision procedure (SML)	c:	0	n:	10	av-time:	0.000	seconds
our decision procedure (SML)	c:	0	n:	11	av-time:	0.000	seconds
our decision procedure (SML)	c:	0	n:	12	av-time:	0.000	seconds
our decision procedure (SML)	c:	0	n:	13	av-time:	0.001	seconds
our decision procedure (SML)	c:	0	n:	14	av-time:	0.001	seconds
our decision procedure (SML)	c:	0	n:	15	av-time:	0.001	seconds
our decision procedure (SML)	c:	0	n:	16	av-time:	0.002	seconds
our decision procedure (SML)	c:	0	n:	17	av-time:	0.002	seconds
our decision procedure (SML)	c:	0	n:	18	av-time:	0.002	seconds
our decision procedure (SML)	c:	0	n:	19	av-time:	0.003	seconds
our decision procedure (SML)	c:	0	n:	20	av-time:	0.003	seconds
our decision procedure (SML)	c:	0	n:	21	av-time:	0.004	seconds
our decision procedure (SML)	c:	0	n:	22	av-time:	0.004	seconds
our decision procedure (SML)	c:	0	n:	23	av-time:	0.005	seconds
our decision procedure (SML)	c:	0	n:	24	av-time:	0.006	seconds
our decision procedure (SML)	c:	0	n:	25	av-time:	0.006	seconds
our decision procedure (SML)	c:	0	n:	26	av-time:	0.007	seconds
our decision procedure (SML)	c:	0	n:	27	av-time:	0.008	seconds
our decision procedure (SML)	c:	0	n:	28	av-time:	0.009	seconds
our decision procedure (SML)	c:	0	n:	29	av-time:	0.010	seconds
our decision procedure (SML)	c:	0	n:	30	av-time:	0.011	seconds
our decision procedure (SML)	c:	0	n:	31	av-time:	0.012	seconds
our decision procedure (SML)	c:	0	n:	32	av-time:	0.013	seconds
our decision procedure (SML)	c:	0	n:	33	av-time:	0.014	seconds
our decision procedure (SML)	c:	0	n:	34	av-time:	0.015	seconds
our decision procedure (SML)	c:	0	n:	35	av-time:	0.017	seconds
our decision procedure (SML)	c:	0	n:	36	av-time:	0.018	seconds
our decision procedure (SML)	c:	0	n:	37	av-time:	0.020	seconds
our decision procedure (SML)	c:	0	n:	38	av-time:	0.021	seconds
our decision procedure (SML)	c:	0	n:	39	av-time:	0.022	seconds
our decision procedure (SML)	c:	0	n:	40	av-time:	0.025	seconds
our decision procedure (SML)	c:	0	n:	41	av-time:	0.026	seconds
our decision procedure (SML)	c:	0	n:	42	av-time:	0.028	seconds
our decision procedure (SML)	c:	0	n:	43	av-time:	0.030	seconds
our decision procedure (SML)	c:	0	n:	44	av-time:	0.032	seconds
our decision procedure (SML)	c:	0	n:	45	av-time:	0.034	seconds
our decision procedure (SML)	c:	0	n:	46	av-time:	0.035	seconds
our decision procedure (SML)	c:	0	n:	47	av-time:	0.038	seconds
our decision procedure (SML)	c:	0	n:	48	av-time:	0.040	seconds
our decision procedure (SML)	c:	0	n:	49	av-time:	0.042	seconds
our decision procedure (SML)	c:	0	n:	50	av-time:	0.045	seconds
