Node index:      0	State: NEW
----------------------------------------
Node index:      1	State: NEW
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:      2	State: NEW
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:      3	State: NEW
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:      4	State: NEW
Node index:      3	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:      5	State: NEW
Node index:      4	State: SEEN ONCE
Node index:      3	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:      6	State: NEW
Node index:      5	State: SEEN ONCE
Node index:      4	State: SEEN ONCE
Node index:      3	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:      6	State: SEEN ONCE
Node index:      5	State: SEEN ONCE
Node index:      4	State: SEEN ONCE
Node index:      3	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:      7	State: NEW
Node index:      5	State: SEEN ONCE
Node index:      4	State: SEEN ONCE
Node index:      3	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:      8	State: NEW
Node index:      7	State: SEEN ONCE
Node index:      5	State: SEEN ONCE
Node index:      4	State: SEEN ONCE
Node index:      3	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:      8	State: SEEN ONCE
Node index:      7	State: SEEN ONCE
Node index:      5	State: SEEN ONCE
Node index:      4	State: SEEN ONCE
Node index:      3	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:      7	State: SEEN ONCE
Node index:      5	State: SEEN ONCE
Node index:      4	State: SEEN ONCE
Node index:      3	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:      9	State: NEW
Node index:      5	State: SEEN ONCE
Node index:      4	State: SEEN ONCE
Node index:      3	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:      9	State: SEEN ONCE
Node index:      5	State: SEEN ONCE
Node index:      4	State: SEEN ONCE
Node index:      3	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:      5	State: SEEN ONCE
Node index:      4	State: SEEN ONCE
Node index:      3	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:      4	State: SEEN ONCE
Node index:      3	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     10	State: NEW
Node index:      3	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     11	State: NEW
Node index:     10	State: SEEN ONCE
Node index:      3	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     12	State: NEW
Node index:     11	State: SEEN ONCE
Node index:     10	State: SEEN ONCE
Node index:      3	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     13	State: NEW
Node index:     12	State: SEEN ONCE
Node index:     11	State: SEEN ONCE
Node index:     10	State: SEEN ONCE
Node index:      3	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     13	State: SEEN ONCE
Node index:     12	State: SEEN ONCE
Node index:     11	State: SEEN ONCE
Node index:     10	State: SEEN ONCE
Node index:      3	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     12	State: SEEN ONCE
Node index:     11	State: SEEN ONCE
Node index:     10	State: SEEN ONCE
Node index:      3	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     11	State: SEEN ONCE
Node index:     10	State: SEEN ONCE
Node index:      3	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     10	State: SEEN ONCE
Node index:      3	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     14	State: NEW
Node index:      3	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     15	State: NEW
Node index:     14	State: SEEN ONCE
Node index:      3	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     15	State: SEEN ONCE
Node index:     14	State: SEEN ONCE
Node index:      3	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     14	State: SEEN ONCE
Node index:      3	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:      3	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     16	State: NEW
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     17	State: NEW
Node index:     16	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     17	State: SEEN ONCE
Node index:     16	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     16	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     18	State: NEW
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     19	State: NEW
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     19	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     20	State: NEW
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     21	State: NEW
Node index:     20	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     22	State: NEW
Node index:     21	State: SEEN ONCE
Node index:     20	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     23	State: NEW
Node index:     22	State: SEEN ONCE
Node index:     21	State: SEEN ONCE
Node index:     20	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     23	State: SEEN ONCE
Node index:     22	State: SEEN ONCE
Node index:     21	State: SEEN ONCE
Node index:     20	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     24	State: NEW
Node index:     22	State: SEEN ONCE
Node index:     21	State: SEEN ONCE
Node index:     20	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     25	State: NEW
Node index:     24	State: SEEN ONCE
Node index:     22	State: SEEN ONCE
Node index:     21	State: SEEN ONCE
Node index:     20	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     26	State: NEW
Node index:     25	State: SEEN ONCE
Node index:     24	State: SEEN ONCE
Node index:     22	State: SEEN ONCE
Node index:     21	State: SEEN ONCE
Node index:     20	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     26	State: SEEN ONCE
Node index:     25	State: SEEN ONCE
Node index:     24	State: SEEN ONCE
Node index:     22	State: SEEN ONCE
Node index:     21	State: SEEN ONCE
Node index:     20	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     25	State: SEEN ONCE
Node index:     24	State: SEEN ONCE
Node index:     22	State: SEEN ONCE
Node index:     21	State: SEEN ONCE
Node index:     20	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     27	State: NEW
Node index:     24	State: SEEN ONCE
Node index:     22	State: SEEN ONCE
Node index:     21	State: SEEN ONCE
Node index:     20	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     27	State: SEEN ONCE
Node index:     24	State: SEEN ONCE
Node index:     22	State: SEEN ONCE
Node index:     21	State: SEEN ONCE
Node index:     20	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     24	State: SEEN ONCE
Node index:     22	State: SEEN ONCE
Node index:     21	State: SEEN ONCE
Node index:     20	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     22	State: SEEN ONCE
Node index:     21	State: SEEN ONCE
Node index:     20	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     28	State: NEW
Node index:     21	State: SEEN ONCE
Node index:     20	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     28	State: SEEN ONCE
Node index:     21	State: SEEN ONCE
Node index:     20	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     29	State: NEW
Node index:     21	State: SEEN ONCE
Node index:     20	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     29	State: SEEN ONCE
Node index:     21	State: SEEN ONCE
Node index:     20	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     21	State: SEEN ONCE
Node index:     20	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     30	State: NEW
Node index:     20	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     30	State: SEEN ONCE
Node index:     20	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     31	State: NEW
Node index:     20	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     31	State: SEEN ONCE
Node index:     20	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     32	State: NEW
Node index:     20	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     32	State: SEEN ONCE
Node index:     20	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     20	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     33	State: NEW
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     34	State: NEW
Node index:     33	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     34	State: SEEN ONCE
Node index:     33	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     35	State: NEW
Node index:     33	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     35	State: SEEN ONCE
Node index:     33	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     33	State: SEEN ONCE
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     18	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     36	State: NEW
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     37	State: NEW
Node index:     36	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     38	State: NEW
Node index:     37	State: SEEN ONCE
Node index:     36	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     39	State: NEW
Node index:     38	State: SEEN ONCE
Node index:     37	State: SEEN ONCE
Node index:     36	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     39	State: SEEN ONCE
Node index:     38	State: SEEN ONCE
Node index:     37	State: SEEN ONCE
Node index:     36	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     38	State: SEEN ONCE
Node index:     37	State: SEEN ONCE
Node index:     36	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     40	State: NEW
Node index:     37	State: SEEN ONCE
Node index:     36	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     40	State: SEEN ONCE
Node index:     37	State: SEEN ONCE
Node index:     36	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     37	State: SEEN ONCE
Node index:     36	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     36	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     41	State: NEW
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     42	State: NEW
Node index:     41	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     43	State: NEW
Node index:     42	State: SEEN ONCE
Node index:     41	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     43	State: SEEN ONCE
Node index:     42	State: SEEN ONCE
Node index:     41	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     42	State: SEEN ONCE
Node index:     41	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     44	State: NEW
Node index:     41	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     44	State: SEEN ONCE
Node index:     41	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     41	State: SEEN ONCE
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:      2	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     45	State: NEW
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     46	State: NEW
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     47	State: NEW
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     48	State: NEW
Node index:     47	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     48	State: SEEN ONCE
Node index:     47	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     49	State: NEW
Node index:     47	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     50	State: NEW
Node index:     49	State: SEEN ONCE
Node index:     47	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     51	State: NEW
Node index:     50	State: SEEN ONCE
Node index:     49	State: SEEN ONCE
Node index:     47	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     51	State: SEEN ONCE
Node index:     50	State: SEEN ONCE
Node index:     49	State: SEEN ONCE
Node index:     47	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     50	State: SEEN ONCE
Node index:     49	State: SEEN ONCE
Node index:     47	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     52	State: NEW
Node index:     49	State: SEEN ONCE
Node index:     47	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     53	State: NEW
Node index:     52	State: SEEN ONCE
Node index:     49	State: SEEN ONCE
Node index:     47	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     53	State: SEEN ONCE
Node index:     52	State: SEEN ONCE
Node index:     49	State: SEEN ONCE
Node index:     47	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     52	State: SEEN ONCE
Node index:     49	State: SEEN ONCE
Node index:     47	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     49	State: SEEN ONCE
Node index:     47	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     54	State: NEW
Node index:     47	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     55	State: NEW
Node index:     54	State: SEEN ONCE
Node index:     47	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     55	State: SEEN ONCE
Node index:     54	State: SEEN ONCE
Node index:     47	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     56	State: NEW
Node index:     54	State: SEEN ONCE
Node index:     47	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     56	State: SEEN ONCE
Node index:     54	State: SEEN ONCE
Node index:     47	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     54	State: SEEN ONCE
Node index:     47	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     47	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     57	State: NEW
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     58	State: NEW
Node index:     57	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     59	State: NEW
Node index:     58	State: SEEN ONCE
Node index:     57	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     59	State: SEEN ONCE
Node index:     58	State: SEEN ONCE
Node index:     57	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     58	State: SEEN ONCE
Node index:     57	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     57	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     60	State: NEW
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     60	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     61	State: NEW
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     61	State: SEEN ONCE
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     46	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     62	State: NEW
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     63	State: NEW
Node index:     62	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     64	State: NEW
Node index:     63	State: SEEN ONCE
Node index:     62	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     65	State: NEW
Node index:     64	State: SEEN ONCE
Node index:     63	State: SEEN ONCE
Node index:     62	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     66	State: NEW
Node index:     65	State: SEEN ONCE
Node index:     64	State: SEEN ONCE
Node index:     63	State: SEEN ONCE
Node index:     62	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     66	State: SEEN ONCE
Node index:     65	State: SEEN ONCE
Node index:     64	State: SEEN ONCE
Node index:     63	State: SEEN ONCE
Node index:     62	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     67	State: NEW
Node index:     65	State: SEEN ONCE
Node index:     64	State: SEEN ONCE
Node index:     63	State: SEEN ONCE
Node index:     62	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     67	State: SEEN ONCE
Node index:     65	State: SEEN ONCE
Node index:     64	State: SEEN ONCE
Node index:     63	State: SEEN ONCE
Node index:     62	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     65	State: SEEN ONCE
Node index:     64	State: SEEN ONCE
Node index:     63	State: SEEN ONCE
Node index:     62	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     64	State: SEEN ONCE
Node index:     63	State: SEEN ONCE
Node index:     62	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     68	State: NEW
Node index:     63	State: SEEN ONCE
Node index:     62	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     68	State: SEEN ONCE
Node index:     63	State: SEEN ONCE
Node index:     62	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     69	State: NEW
Node index:     63	State: SEEN ONCE
Node index:     62	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     70	State: NEW
Node index:     69	State: SEEN ONCE
Node index:     63	State: SEEN ONCE
Node index:     62	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     70	State: SEEN ONCE
Node index:     69	State: SEEN ONCE
Node index:     63	State: SEEN ONCE
Node index:     62	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     71	State: NEW
Node index:     69	State: SEEN ONCE
Node index:     63	State: SEEN ONCE
Node index:     62	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     71	State: SEEN ONCE
Node index:     69	State: SEEN ONCE
Node index:     63	State: SEEN ONCE
Node index:     62	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     69	State: SEEN ONCE
Node index:     63	State: SEEN ONCE
Node index:     62	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     63	State: SEEN ONCE
Node index:     62	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     72	State: NEW
Node index:     62	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     73	State: NEW
Node index:     72	State: SEEN ONCE
Node index:     62	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     73	State: SEEN ONCE
Node index:     72	State: SEEN ONCE
Node index:     62	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     72	State: SEEN ONCE
Node index:     62	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     62	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     74	State: NEW
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     75	State: NEW
Node index:     74	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     76	State: NEW
Node index:     75	State: SEEN ONCE
Node index:     74	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     76	State: SEEN ONCE
Node index:     75	State: SEEN ONCE
Node index:     74	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     77	State: NEW
Node index:     75	State: SEEN ONCE
Node index:     74	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     77	State: SEEN ONCE
Node index:     75	State: SEEN ONCE
Node index:     74	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     75	State: SEEN ONCE
Node index:     74	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     74	State: SEEN ONCE
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     45	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     78	State: NEW
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     78	State: SEEN ONCE
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:      1	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     79	State: NEW
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     80	State: NEW
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     81	State: NEW
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     82	State: NEW
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     83	State: NEW
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     84	State: NEW
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     85	State: NEW
Node index:     84	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     86	State: NEW
Node index:     85	State: SEEN ONCE
Node index:     84	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     86	State: SEEN ONCE
Node index:     85	State: SEEN ONCE
Node index:     84	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     87	State: NEW
Node index:     85	State: SEEN ONCE
Node index:     84	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     87	State: SEEN ONCE
Node index:     85	State: SEEN ONCE
Node index:     84	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     85	State: SEEN ONCE
Node index:     84	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     88	State: NEW
Node index:     84	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     89	State: NEW
Node index:     88	State: SEEN ONCE
Node index:     84	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     89	State: SEEN ONCE
Node index:     88	State: SEEN ONCE
Node index:     84	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     88	State: SEEN ONCE
Node index:     84	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     90	State: NEW
Node index:     84	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     90	State: SEEN ONCE
Node index:     84	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     91	State: NEW
Node index:     84	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     91	State: SEEN ONCE
Node index:     84	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     92	State: NEW
Node index:     84	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     92	State: SEEN ONCE
Node index:     84	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     84	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     93	State: NEW
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     94	State: NEW
Node index:     93	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     94	State: SEEN ONCE
Node index:     93	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     93	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     95	State: NEW
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     95	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     96	State: NEW
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     97	State: NEW
Node index:     96	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     98	State: NEW
Node index:     97	State: SEEN ONCE
Node index:     96	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     98	State: SEEN ONCE
Node index:     97	State: SEEN ONCE
Node index:     96	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     99	State: NEW
Node index:     97	State: SEEN ONCE
Node index:     96	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     99	State: SEEN ONCE
Node index:     97	State: SEEN ONCE
Node index:     96	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    100	State: NEW
Node index:     97	State: SEEN ONCE
Node index:     96	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    100	State: SEEN ONCE
Node index:     97	State: SEEN ONCE
Node index:     96	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     97	State: SEEN ONCE
Node index:     96	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    101	State: NEW
Node index:     96	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    101	State: SEEN ONCE
Node index:     96	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     96	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    102	State: NEW
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    103	State: NEW
Node index:    102	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    104	State: NEW
Node index:    103	State: SEEN ONCE
Node index:    102	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    104	State: SEEN ONCE
Node index:    103	State: SEEN ONCE
Node index:    102	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    103	State: SEEN ONCE
Node index:    102	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    102	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    105	State: NEW
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    105	State: SEEN ONCE
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     83	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    106	State: NEW
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    107	State: NEW
Node index:    106	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    107	State: SEEN ONCE
Node index:    106	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    106	State: SEEN ONCE
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     82	State: SEEN ONCE
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     81	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    108	State: NEW
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    109	State: NEW
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    110	State: NEW
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    111	State: NEW
Node index:    110	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    112	State: NEW
Node index:    111	State: SEEN ONCE
Node index:    110	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    112	State: SEEN ONCE
Node index:    111	State: SEEN ONCE
Node index:    110	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    111	State: SEEN ONCE
Node index:    110	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    113	State: NEW
Node index:    110	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    114	State: NEW
Node index:    113	State: SEEN ONCE
Node index:    110	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    115	State: NEW
Node index:    114	State: SEEN ONCE
Node index:    113	State: SEEN ONCE
Node index:    110	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    115	State: SEEN ONCE
Node index:    114	State: SEEN ONCE
Node index:    113	State: SEEN ONCE
Node index:    110	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    114	State: SEEN ONCE
Node index:    113	State: SEEN ONCE
Node index:    110	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    113	State: SEEN ONCE
Node index:    110	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    110	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    116	State: NEW
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    117	State: NEW
Node index:    116	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    118	State: NEW
Node index:    117	State: SEEN ONCE
Node index:    116	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    118	State: SEEN ONCE
Node index:    117	State: SEEN ONCE
Node index:    116	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    119	State: NEW
Node index:    117	State: SEEN ONCE
Node index:    116	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    119	State: SEEN ONCE
Node index:    117	State: SEEN ONCE
Node index:    116	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    117	State: SEEN ONCE
Node index:    116	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    120	State: NEW
Node index:    116	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    121	State: NEW
Node index:    120	State: SEEN ONCE
Node index:    116	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    121	State: SEEN ONCE
Node index:    120	State: SEEN ONCE
Node index:    116	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    120	State: SEEN ONCE
Node index:    116	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    122	State: NEW
Node index:    116	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    123	State: NEW
Node index:    122	State: SEEN ONCE
Node index:    116	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    124	State: NEW
Node index:    123	State: SEEN ONCE
Node index:    122	State: SEEN ONCE
Node index:    116	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    125	State: NEW
Node index:    124	State: SEEN ONCE
Node index:    123	State: SEEN ONCE
Node index:    122	State: SEEN ONCE
Node index:    116	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    126	State: NEW
Node index:    125	State: SEEN ONCE
Node index:    124	State: SEEN ONCE
Node index:    123	State: SEEN ONCE
Node index:    122	State: SEEN ONCE
Node index:    116	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    126	State: SEEN ONCE
Node index:    125	State: SEEN ONCE
Node index:    124	State: SEEN ONCE
Node index:    123	State: SEEN ONCE
Node index:    122	State: SEEN ONCE
Node index:    116	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    125	State: SEEN ONCE
Node index:    124	State: SEEN ONCE
Node index:    123	State: SEEN ONCE
Node index:    122	State: SEEN ONCE
Node index:    116	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    124	State: SEEN ONCE
Node index:    123	State: SEEN ONCE
Node index:    122	State: SEEN ONCE
Node index:    116	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    123	State: SEEN ONCE
Node index:    122	State: SEEN ONCE
Node index:    116	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    127	State: NEW
Node index:    122	State: SEEN ONCE
Node index:    116	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    127	State: SEEN ONCE
Node index:    122	State: SEEN ONCE
Node index:    116	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    128	State: NEW
Node index:    122	State: SEEN ONCE
Node index:    116	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    128	State: SEEN ONCE
Node index:    122	State: SEEN ONCE
Node index:    116	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    122	State: SEEN ONCE
Node index:    116	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    116	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    129	State: NEW
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    129	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    130	State: NEW
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    130	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    131	State: NEW
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    131	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    132	State: NEW
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    132	State: SEEN ONCE
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    109	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    133	State: NEW
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    134	State: NEW
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    135	State: NEW
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    136	State: NEW
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    137	State: NEW
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    138	State: NEW
Node index:    137	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    139	State: NEW
Node index:    138	State: SEEN ONCE
Node index:    137	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    139	State: SEEN ONCE
Node index:    138	State: SEEN ONCE
Node index:    137	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    138	State: SEEN ONCE
Node index:    137	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    137	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    140	State: NEW
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    140	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    141	State: NEW
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    142	State: NEW
Node index:    141	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    143	State: NEW
Node index:    142	State: SEEN ONCE
Node index:    141	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    143	State: SEEN ONCE
Node index:    142	State: SEEN ONCE
Node index:    141	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    142	State: SEEN ONCE
Node index:    141	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    144	State: NEW
Node index:    141	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    145	State: NEW
Node index:    144	State: SEEN ONCE
Node index:    141	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    146	State: NEW
Node index:    145	State: SEEN ONCE
Node index:    144	State: SEEN ONCE
Node index:    141	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    146	State: SEEN ONCE
Node index:    145	State: SEEN ONCE
Node index:    144	State: SEEN ONCE
Node index:    141	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    145	State: SEEN ONCE
Node index:    144	State: SEEN ONCE
Node index:    141	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    147	State: NEW
Node index:    144	State: SEEN ONCE
Node index:    141	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    147	State: SEEN ONCE
Node index:    144	State: SEEN ONCE
Node index:    141	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    144	State: SEEN ONCE
Node index:    141	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    141	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    148	State: NEW
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    149	State: NEW
Node index:    148	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    150	State: NEW
Node index:    149	State: SEEN ONCE
Node index:    148	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    150	State: SEEN ONCE
Node index:    149	State: SEEN ONCE
Node index:    148	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    151	State: NEW
Node index:    149	State: SEEN ONCE
Node index:    148	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    151	State: SEEN ONCE
Node index:    149	State: SEEN ONCE
Node index:    148	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    149	State: SEEN ONCE
Node index:    148	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    152	State: NEW
Node index:    148	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    152	State: SEEN ONCE
Node index:    148	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    148	State: SEEN ONCE
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    136	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    153	State: NEW
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    154	State: NEW
Node index:    153	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    154	State: SEEN ONCE
Node index:    153	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    153	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    155	State: NEW
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    155	State: SEEN ONCE
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    135	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    156	State: NEW
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    156	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    157	State: NEW
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    158	State: NEW
Node index:    157	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    158	State: SEEN ONCE
Node index:    157	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    157	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    159	State: NEW
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    159	State: SEEN ONCE
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    134	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    160	State: NEW
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    160	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    161	State: NEW
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    162	State: NEW
Node index:    161	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    163	State: NEW
Node index:    162	State: SEEN ONCE
Node index:    161	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    163	State: SEEN ONCE
Node index:    162	State: SEEN ONCE
Node index:    161	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    164	State: NEW
Node index:    162	State: SEEN ONCE
Node index:    161	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    164	State: SEEN ONCE
Node index:    162	State: SEEN ONCE
Node index:    161	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    165	State: NEW
Node index:    162	State: SEEN ONCE
Node index:    161	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    165	State: SEEN ONCE
Node index:    162	State: SEEN ONCE
Node index:    161	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    162	State: SEEN ONCE
Node index:    161	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    161	State: SEEN ONCE
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    133	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    166	State: NEW
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    167	State: NEW
Node index:    166	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    168	State: NEW
Node index:    167	State: SEEN ONCE
Node index:    166	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    168	State: SEEN ONCE
Node index:    167	State: SEEN ONCE
Node index:    166	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    167	State: SEEN ONCE
Node index:    166	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    169	State: NEW
Node index:    166	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    170	State: NEW
Node index:    169	State: SEEN ONCE
Node index:    166	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    170	State: SEEN ONCE
Node index:    169	State: SEEN ONCE
Node index:    166	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    169	State: SEEN ONCE
Node index:    166	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    166	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    171	State: NEW
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    172	State: NEW
Node index:    171	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    173	State: NEW
Node index:    172	State: SEEN ONCE
Node index:    171	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    174	State: NEW
Node index:    173	State: SEEN ONCE
Node index:    172	State: SEEN ONCE
Node index:    171	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    175	State: NEW
Node index:    174	State: SEEN ONCE
Node index:    173	State: SEEN ONCE
Node index:    172	State: SEEN ONCE
Node index:    171	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    175	State: SEEN ONCE
Node index:    174	State: SEEN ONCE
Node index:    173	State: SEEN ONCE
Node index:    172	State: SEEN ONCE
Node index:    171	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    174	State: SEEN ONCE
Node index:    173	State: SEEN ONCE
Node index:    172	State: SEEN ONCE
Node index:    171	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    173	State: SEEN ONCE
Node index:    172	State: SEEN ONCE
Node index:    171	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    172	State: SEEN ONCE
Node index:    171	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    171	State: SEEN ONCE
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    108	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    176	State: NEW
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    177	State: NEW
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    178	State: NEW
Node index:    177	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    179	State: NEW
Node index:    178	State: SEEN ONCE
Node index:    177	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    179	State: SEEN ONCE
Node index:    178	State: SEEN ONCE
Node index:    177	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    180	State: NEW
Node index:    178	State: SEEN ONCE
Node index:    177	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    180	State: SEEN ONCE
Node index:    178	State: SEEN ONCE
Node index:    177	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    178	State: SEEN ONCE
Node index:    177	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    181	State: NEW
Node index:    177	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    181	State: SEEN ONCE
Node index:    177	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    182	State: NEW
Node index:    177	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    182	State: SEEN ONCE
Node index:    177	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    183	State: NEW
Node index:    177	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    183	State: SEEN ONCE
Node index:    177	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    177	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    184	State: NEW
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    185	State: NEW
Node index:    184	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    186	State: NEW
Node index:    185	State: SEEN ONCE
Node index:    184	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    187	State: NEW
Node index:    186	State: SEEN ONCE
Node index:    185	State: SEEN ONCE
Node index:    184	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    188	State: NEW
Node index:    187	State: SEEN ONCE
Node index:    186	State: SEEN ONCE
Node index:    185	State: SEEN ONCE
Node index:    184	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    189	State: NEW
Node index:    188	State: SEEN ONCE
Node index:    187	State: SEEN ONCE
Node index:    186	State: SEEN ONCE
Node index:    185	State: SEEN ONCE
Node index:    184	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    189	State: SEEN ONCE
Node index:    188	State: SEEN ONCE
Node index:    187	State: SEEN ONCE
Node index:    186	State: SEEN ONCE
Node index:    185	State: SEEN ONCE
Node index:    184	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    188	State: SEEN ONCE
Node index:    187	State: SEEN ONCE
Node index:    186	State: SEEN ONCE
Node index:    185	State: SEEN ONCE
Node index:    184	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    187	State: SEEN ONCE
Node index:    186	State: SEEN ONCE
Node index:    185	State: SEEN ONCE
Node index:    184	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    190	State: NEW
Node index:    186	State: SEEN ONCE
Node index:    185	State: SEEN ONCE
Node index:    184	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    191	State: NEW
Node index:    190	State: SEEN ONCE
Node index:    186	State: SEEN ONCE
Node index:    185	State: SEEN ONCE
Node index:    184	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    191	State: SEEN ONCE
Node index:    190	State: SEEN ONCE
Node index:    186	State: SEEN ONCE
Node index:    185	State: SEEN ONCE
Node index:    184	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    190	State: SEEN ONCE
Node index:    186	State: SEEN ONCE
Node index:    185	State: SEEN ONCE
Node index:    184	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    186	State: SEEN ONCE
Node index:    185	State: SEEN ONCE
Node index:    184	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    185	State: SEEN ONCE
Node index:    184	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    192	State: NEW
Node index:    184	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    193	State: NEW
Node index:    192	State: SEEN ONCE
Node index:    184	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    193	State: SEEN ONCE
Node index:    192	State: SEEN ONCE
Node index:    184	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    192	State: SEEN ONCE
Node index:    184	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    194	State: NEW
Node index:    184	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    194	State: SEEN ONCE
Node index:    184	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    184	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    195	State: NEW
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    196	State: NEW
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    197	State: NEW
Node index:    196	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    198	State: NEW
Node index:    197	State: SEEN ONCE
Node index:    196	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    198	State: SEEN ONCE
Node index:    197	State: SEEN ONCE
Node index:    196	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    199	State: NEW
Node index:    197	State: SEEN ONCE
Node index:    196	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    199	State: SEEN ONCE
Node index:    197	State: SEEN ONCE
Node index:    196	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    197	State: SEEN ONCE
Node index:    196	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    200	State: NEW
Node index:    196	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    201	State: NEW
Node index:    200	State: SEEN ONCE
Node index:    196	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    201	State: SEEN ONCE
Node index:    200	State: SEEN ONCE
Node index:    196	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    200	State: SEEN ONCE
Node index:    196	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    202	State: NEW
Node index:    196	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    203	State: NEW
Node index:    202	State: SEEN ONCE
Node index:    196	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    204	State: NEW
Node index:    203	State: SEEN ONCE
Node index:    202	State: SEEN ONCE
Node index:    196	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    204	State: SEEN ONCE
Node index:    203	State: SEEN ONCE
Node index:    202	State: SEEN ONCE
Node index:    196	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    203	State: SEEN ONCE
Node index:    202	State: SEEN ONCE
Node index:    196	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    202	State: SEEN ONCE
Node index:    196	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    205	State: NEW
Node index:    196	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    205	State: SEEN ONCE
Node index:    196	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    206	State: NEW
Node index:    196	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    206	State: SEEN ONCE
Node index:    196	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    196	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    207	State: NEW
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    208	State: NEW
Node index:    207	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    208	State: SEEN ONCE
Node index:    207	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    209	State: NEW
Node index:    207	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    209	State: SEEN ONCE
Node index:    207	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    210	State: NEW
Node index:    207	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    211	State: NEW
Node index:    210	State: SEEN ONCE
Node index:    207	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    211	State: SEEN ONCE
Node index:    210	State: SEEN ONCE
Node index:    207	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    210	State: SEEN ONCE
Node index:    207	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    212	State: NEW
Node index:    207	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    213	State: NEW
Node index:    212	State: SEEN ONCE
Node index:    207	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    213	State: SEEN ONCE
Node index:    212	State: SEEN ONCE
Node index:    207	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    212	State: SEEN ONCE
Node index:    207	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    207	State: SEEN ONCE
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    195	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    214	State: NEW
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    214	State: SEEN ONCE
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    176	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    215	State: NEW
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    216	State: NEW
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    217	State: NEW
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    218	State: NEW
Node index:    217	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    219	State: NEW
Node index:    218	State: SEEN ONCE
Node index:    217	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    220	State: NEW
Node index:    219	State: SEEN ONCE
Node index:    218	State: SEEN ONCE
Node index:    217	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    221	State: NEW
Node index:    220	State: SEEN ONCE
Node index:    219	State: SEEN ONCE
Node index:    218	State: SEEN ONCE
Node index:    217	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    222	State: NEW
Node index:    221	State: SEEN ONCE
Node index:    220	State: SEEN ONCE
Node index:    219	State: SEEN ONCE
Node index:    218	State: SEEN ONCE
Node index:    217	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    222	State: SEEN ONCE
Node index:    221	State: SEEN ONCE
Node index:    220	State: SEEN ONCE
Node index:    219	State: SEEN ONCE
Node index:    218	State: SEEN ONCE
Node index:    217	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    223	State: NEW
Node index:    221	State: SEEN ONCE
Node index:    220	State: SEEN ONCE
Node index:    219	State: SEEN ONCE
Node index:    218	State: SEEN ONCE
Node index:    217	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    223	State: SEEN ONCE
Node index:    221	State: SEEN ONCE
Node index:    220	State: SEEN ONCE
Node index:    219	State: SEEN ONCE
Node index:    218	State: SEEN ONCE
Node index:    217	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    221	State: SEEN ONCE
Node index:    220	State: SEEN ONCE
Node index:    219	State: SEEN ONCE
Node index:    218	State: SEEN ONCE
Node index:    217	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    220	State: SEEN ONCE
Node index:    219	State: SEEN ONCE
Node index:    218	State: SEEN ONCE
Node index:    217	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    224	State: NEW
Node index:    219	State: SEEN ONCE
Node index:    218	State: SEEN ONCE
Node index:    217	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    224	State: SEEN ONCE
Node index:    219	State: SEEN ONCE
Node index:    218	State: SEEN ONCE
Node index:    217	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    219	State: SEEN ONCE
Node index:    218	State: SEEN ONCE
Node index:    217	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    225	State: NEW
Node index:    218	State: SEEN ONCE
Node index:    217	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    226	State: NEW
Node index:    225	State: SEEN ONCE
Node index:    218	State: SEEN ONCE
Node index:    217	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    226	State: SEEN ONCE
Node index:    225	State: SEEN ONCE
Node index:    218	State: SEEN ONCE
Node index:    217	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    225	State: SEEN ONCE
Node index:    218	State: SEEN ONCE
Node index:    217	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    218	State: SEEN ONCE
Node index:    217	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    227	State: NEW
Node index:    217	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    228	State: NEW
Node index:    227	State: SEEN ONCE
Node index:    217	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    228	State: SEEN ONCE
Node index:    227	State: SEEN ONCE
Node index:    217	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    229	State: NEW
Node index:    227	State: SEEN ONCE
Node index:    217	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    229	State: SEEN ONCE
Node index:    227	State: SEEN ONCE
Node index:    217	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    227	State: SEEN ONCE
Node index:    217	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    217	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    230	State: NEW
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    231	State: NEW
Node index:    230	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    231	State: SEEN ONCE
Node index:    230	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    232	State: NEW
Node index:    230	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    232	State: SEEN ONCE
Node index:    230	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    233	State: NEW
Node index:    230	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    234	State: NEW
Node index:    233	State: SEEN ONCE
Node index:    230	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    234	State: SEEN ONCE
Node index:    233	State: SEEN ONCE
Node index:    230	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    233	State: SEEN ONCE
Node index:    230	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    230	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    235	State: NEW
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    236	State: NEW
Node index:    235	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    237	State: NEW
Node index:    236	State: SEEN ONCE
Node index:    235	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    237	State: SEEN ONCE
Node index:    236	State: SEEN ONCE
Node index:    235	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    238	State: NEW
Node index:    236	State: SEEN ONCE
Node index:    235	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    239	State: NEW
Node index:    238	State: SEEN ONCE
Node index:    236	State: SEEN ONCE
Node index:    235	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    239	State: SEEN ONCE
Node index:    238	State: SEEN ONCE
Node index:    236	State: SEEN ONCE
Node index:    235	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    240	State: NEW
Node index:    238	State: SEEN ONCE
Node index:    236	State: SEEN ONCE
Node index:    235	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    240	State: SEEN ONCE
Node index:    238	State: SEEN ONCE
Node index:    236	State: SEEN ONCE
Node index:    235	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    238	State: SEEN ONCE
Node index:    236	State: SEEN ONCE
Node index:    235	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    241	State: NEW
Node index:    236	State: SEEN ONCE
Node index:    235	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    242	State: NEW
Node index:    241	State: SEEN ONCE
Node index:    236	State: SEEN ONCE
Node index:    235	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    243	State: NEW
Node index:    242	State: SEEN ONCE
Node index:    241	State: SEEN ONCE
Node index:    236	State: SEEN ONCE
Node index:    235	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    243	State: SEEN ONCE
Node index:    242	State: SEEN ONCE
Node index:    241	State: SEEN ONCE
Node index:    236	State: SEEN ONCE
Node index:    235	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    242	State: SEEN ONCE
Node index:    241	State: SEEN ONCE
Node index:    236	State: SEEN ONCE
Node index:    235	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    241	State: SEEN ONCE
Node index:    236	State: SEEN ONCE
Node index:    235	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    236	State: SEEN ONCE
Node index:    235	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    244	State: NEW
Node index:    235	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    244	State: SEEN ONCE
Node index:    235	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    235	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    245	State: NEW
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    245	State: SEEN ONCE
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    216	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    246	State: NEW
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    247	State: NEW
Node index:    246	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    247	State: SEEN ONCE
Node index:    246	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    248	State: NEW
Node index:    246	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    248	State: SEEN ONCE
Node index:    246	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    249	State: NEW
Node index:    246	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    249	State: SEEN ONCE
Node index:    246	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    246	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    250	State: NEW
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    250	State: SEEN ONCE
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    215	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    251	State: NEW
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    252	State: NEW
Node index:    251	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    253	State: NEW
Node index:    252	State: SEEN ONCE
Node index:    251	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    253	State: SEEN ONCE
Node index:    252	State: SEEN ONCE
Node index:    251	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    252	State: SEEN ONCE
Node index:    251	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    251	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    254	State: NEW
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    255	State: NEW
Node index:    254	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    255	State: SEEN ONCE
Node index:    254	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    254	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    256	State: NEW
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    257	State: NEW
Node index:    256	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    258	State: NEW
Node index:    257	State: SEEN ONCE
Node index:    256	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    259	State: NEW
Node index:    258	State: SEEN ONCE
Node index:    257	State: SEEN ONCE
Node index:    256	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    259	State: SEEN ONCE
Node index:    258	State: SEEN ONCE
Node index:    257	State: SEEN ONCE
Node index:    256	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    260	State: NEW
Node index:    258	State: SEEN ONCE
Node index:    257	State: SEEN ONCE
Node index:    256	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    260	State: SEEN ONCE
Node index:    258	State: SEEN ONCE
Node index:    257	State: SEEN ONCE
Node index:    256	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    258	State: SEEN ONCE
Node index:    257	State: SEEN ONCE
Node index:    256	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    261	State: NEW
Node index:    257	State: SEEN ONCE
Node index:    256	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    262	State: NEW
Node index:    261	State: SEEN ONCE
Node index:    257	State: SEEN ONCE
Node index:    256	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    262	State: SEEN ONCE
Node index:    261	State: SEEN ONCE
Node index:    257	State: SEEN ONCE
Node index:    256	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    261	State: SEEN ONCE
Node index:    257	State: SEEN ONCE
Node index:    256	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    263	State: NEW
Node index:    257	State: SEEN ONCE
Node index:    256	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    263	State: SEEN ONCE
Node index:    257	State: SEEN ONCE
Node index:    256	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    257	State: SEEN ONCE
Node index:    256	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    264	State: NEW
Node index:    256	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    264	State: SEEN ONCE
Node index:    256	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    265	State: NEW
Node index:    256	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    265	State: SEEN ONCE
Node index:    256	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    256	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    266	State: NEW
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    267	State: NEW
Node index:    266	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    268	State: NEW
Node index:    267	State: SEEN ONCE
Node index:    266	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    268	State: SEEN ONCE
Node index:    267	State: SEEN ONCE
Node index:    266	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    267	State: SEEN ONCE
Node index:    266	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    266	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    269	State: NEW
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    269	State: SEEN ONCE
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     80	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    270	State: NEW
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    271	State: NEW
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    272	State: NEW
Node index:    271	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    273	State: NEW
Node index:    272	State: SEEN ONCE
Node index:    271	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    273	State: SEEN ONCE
Node index:    272	State: SEEN ONCE
Node index:    271	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    272	State: SEEN ONCE
Node index:    271	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    274	State: NEW
Node index:    271	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    275	State: NEW
Node index:    274	State: SEEN ONCE
Node index:    271	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    276	State: NEW
Node index:    275	State: SEEN ONCE
Node index:    274	State: SEEN ONCE
Node index:    271	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    276	State: SEEN ONCE
Node index:    275	State: SEEN ONCE
Node index:    274	State: SEEN ONCE
Node index:    271	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    275	State: SEEN ONCE
Node index:    274	State: SEEN ONCE
Node index:    271	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    274	State: SEEN ONCE
Node index:    271	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    277	State: NEW
Node index:    271	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    277	State: SEEN ONCE
Node index:    271	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    271	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    278	State: NEW
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    279	State: NEW
Node index:    278	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    280	State: NEW
Node index:    279	State: SEEN ONCE
Node index:    278	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    281	State: NEW
Node index:    280	State: SEEN ONCE
Node index:    279	State: SEEN ONCE
Node index:    278	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    281	State: SEEN ONCE
Node index:    280	State: SEEN ONCE
Node index:    279	State: SEEN ONCE
Node index:    278	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    280	State: SEEN ONCE
Node index:    279	State: SEEN ONCE
Node index:    278	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    282	State: NEW
Node index:    279	State: SEEN ONCE
Node index:    278	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    283	State: NEW
Node index:    282	State: SEEN ONCE
Node index:    279	State: SEEN ONCE
Node index:    278	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    283	State: SEEN ONCE
Node index:    282	State: SEEN ONCE
Node index:    279	State: SEEN ONCE
Node index:    278	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    282	State: SEEN ONCE
Node index:    279	State: SEEN ONCE
Node index:    278	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    279	State: SEEN ONCE
Node index:    278	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    284	State: NEW
Node index:    278	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    285	State: NEW
Node index:    284	State: SEEN ONCE
Node index:    278	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    285	State: SEEN ONCE
Node index:    284	State: SEEN ONCE
Node index:    278	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    286	State: NEW
Node index:    284	State: SEEN ONCE
Node index:    278	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    286	State: SEEN ONCE
Node index:    284	State: SEEN ONCE
Node index:    278	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    287	State: NEW
Node index:    284	State: SEEN ONCE
Node index:    278	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    287	State: SEEN ONCE
Node index:    284	State: SEEN ONCE
Node index:    278	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    284	State: SEEN ONCE
Node index:    278	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    288	State: NEW
Node index:    278	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    288	State: SEEN ONCE
Node index:    278	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    278	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    289	State: NEW
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    290	State: NEW
Node index:    289	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    290	State: SEEN ONCE
Node index:    289	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    291	State: NEW
Node index:    289	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    292	State: NEW
Node index:    291	State: SEEN ONCE
Node index:    289	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    292	State: SEEN ONCE
Node index:    291	State: SEEN ONCE
Node index:    289	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    291	State: SEEN ONCE
Node index:    289	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    293	State: NEW
Node index:    289	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    293	State: SEEN ONCE
Node index:    289	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    289	State: SEEN ONCE
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    270	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    294	State: NEW
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    295	State: NEW
Node index:    294	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    296	State: NEW
Node index:    295	State: SEEN ONCE
Node index:    294	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    297	State: NEW
Node index:    296	State: SEEN ONCE
Node index:    295	State: SEEN ONCE
Node index:    294	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    297	State: SEEN ONCE
Node index:    296	State: SEEN ONCE
Node index:    295	State: SEEN ONCE
Node index:    294	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    296	State: SEEN ONCE
Node index:    295	State: SEEN ONCE
Node index:    294	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    298	State: NEW
Node index:    295	State: SEEN ONCE
Node index:    294	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    299	State: NEW
Node index:    298	State: SEEN ONCE
Node index:    295	State: SEEN ONCE
Node index:    294	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    299	State: SEEN ONCE
Node index:    298	State: SEEN ONCE
Node index:    295	State: SEEN ONCE
Node index:    294	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    298	State: SEEN ONCE
Node index:    295	State: SEEN ONCE
Node index:    294	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    295	State: SEEN ONCE
Node index:    294	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    300	State: NEW
Node index:    294	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    301	State: NEW
Node index:    300	State: SEEN ONCE
Node index:    294	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    301	State: SEEN ONCE
Node index:    300	State: SEEN ONCE
Node index:    294	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    300	State: SEEN ONCE
Node index:    294	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    294	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    302	State: NEW
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    303	State: NEW
Node index:    302	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    304	State: NEW
Node index:    303	State: SEEN ONCE
Node index:    302	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    304	State: SEEN ONCE
Node index:    303	State: SEEN ONCE
Node index:    302	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    303	State: SEEN ONCE
Node index:    302	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    305	State: NEW
Node index:    302	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    306	State: NEW
Node index:    305	State: SEEN ONCE
Node index:    302	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    307	State: NEW
Node index:    306	State: SEEN ONCE
Node index:    305	State: SEEN ONCE
Node index:    302	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    308	State: NEW
Node index:    307	State: SEEN ONCE
Node index:    306	State: SEEN ONCE
Node index:    305	State: SEEN ONCE
Node index:    302	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    308	State: SEEN ONCE
Node index:    307	State: SEEN ONCE
Node index:    306	State: SEEN ONCE
Node index:    305	State: SEEN ONCE
Node index:    302	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    307	State: SEEN ONCE
Node index:    306	State: SEEN ONCE
Node index:    305	State: SEEN ONCE
Node index:    302	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    306	State: SEEN ONCE
Node index:    305	State: SEEN ONCE
Node index:    302	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    305	State: SEEN ONCE
Node index:    302	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    302	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    309	State: NEW
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    309	State: SEEN ONCE
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:     79	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    310	State: NEW
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    311	State: NEW
Node index:    310	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    312	State: NEW
Node index:    311	State: SEEN ONCE
Node index:    310	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    312	State: SEEN ONCE
Node index:    311	State: SEEN ONCE
Node index:    310	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    311	State: SEEN ONCE
Node index:    310	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    313	State: NEW
Node index:    310	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    314	State: NEW
Node index:    313	State: SEEN ONCE
Node index:    310	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    315	State: NEW
Node index:    314	State: SEEN ONCE
Node index:    313	State: SEEN ONCE
Node index:    310	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    315	State: SEEN ONCE
Node index:    314	State: SEEN ONCE
Node index:    313	State: SEEN ONCE
Node index:    310	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    314	State: SEEN ONCE
Node index:    313	State: SEEN ONCE
Node index:    310	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    316	State: NEW
Node index:    313	State: SEEN ONCE
Node index:    310	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    316	State: SEEN ONCE
Node index:    313	State: SEEN ONCE
Node index:    310	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    313	State: SEEN ONCE
Node index:    310	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    310	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    317	State: NEW
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    318	State: NEW
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    319	State: NEW
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    320	State: NEW
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    321	State: NEW
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    322	State: NEW
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    323	State: NEW
Node index:    322	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    323	State: SEEN ONCE
Node index:    322	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    324	State: NEW
Node index:    322	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    324	State: SEEN ONCE
Node index:    322	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    325	State: NEW
Node index:    322	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    325	State: SEEN ONCE
Node index:    322	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    322	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    326	State: NEW
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    327	State: NEW
Node index:    326	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    328	State: NEW
Node index:    327	State: SEEN ONCE
Node index:    326	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    328	State: SEEN ONCE
Node index:    327	State: SEEN ONCE
Node index:    326	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    329	State: NEW
Node index:    327	State: SEEN ONCE
Node index:    326	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    330	State: NEW
Node index:    329	State: SEEN ONCE
Node index:    327	State: SEEN ONCE
Node index:    326	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    331	State: NEW
Node index:    330	State: SEEN ONCE
Node index:    329	State: SEEN ONCE
Node index:    327	State: SEEN ONCE
Node index:    326	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    331	State: SEEN ONCE
Node index:    330	State: SEEN ONCE
Node index:    329	State: SEEN ONCE
Node index:    327	State: SEEN ONCE
Node index:    326	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    330	State: SEEN ONCE
Node index:    329	State: SEEN ONCE
Node index:    327	State: SEEN ONCE
Node index:    326	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    329	State: SEEN ONCE
Node index:    327	State: SEEN ONCE
Node index:    326	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    332	State: NEW
Node index:    327	State: SEEN ONCE
Node index:    326	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    333	State: NEW
Node index:    332	State: SEEN ONCE
Node index:    327	State: SEEN ONCE
Node index:    326	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    333	State: SEEN ONCE
Node index:    332	State: SEEN ONCE
Node index:    327	State: SEEN ONCE
Node index:    326	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    332	State: SEEN ONCE
Node index:    327	State: SEEN ONCE
Node index:    326	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    327	State: SEEN ONCE
Node index:    326	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    334	State: NEW
Node index:    326	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    335	State: NEW
Node index:    334	State: SEEN ONCE
Node index:    326	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    336	State: NEW
Node index:    335	State: SEEN ONCE
Node index:    334	State: SEEN ONCE
Node index:    326	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    336	State: SEEN ONCE
Node index:    335	State: SEEN ONCE
Node index:    334	State: SEEN ONCE
Node index:    326	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    335	State: SEEN ONCE
Node index:    334	State: SEEN ONCE
Node index:    326	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    337	State: NEW
Node index:    334	State: SEEN ONCE
Node index:    326	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    337	State: SEEN ONCE
Node index:    334	State: SEEN ONCE
Node index:    326	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    334	State: SEEN ONCE
Node index:    326	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    326	State: SEEN ONCE
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    321	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    338	State: NEW
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    339	State: NEW
Node index:    338	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    340	State: NEW
Node index:    339	State: SEEN ONCE
Node index:    338	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    341	State: NEW
Node index:    340	State: SEEN ONCE
Node index:    339	State: SEEN ONCE
Node index:    338	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    342	State: NEW
Node index:    341	State: SEEN ONCE
Node index:    340	State: SEEN ONCE
Node index:    339	State: SEEN ONCE
Node index:    338	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    342	State: SEEN ONCE
Node index:    341	State: SEEN ONCE
Node index:    340	State: SEEN ONCE
Node index:    339	State: SEEN ONCE
Node index:    338	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    341	State: SEEN ONCE
Node index:    340	State: SEEN ONCE
Node index:    339	State: SEEN ONCE
Node index:    338	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    340	State: SEEN ONCE
Node index:    339	State: SEEN ONCE
Node index:    338	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    343	State: NEW
Node index:    339	State: SEEN ONCE
Node index:    338	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    344	State: NEW
Node index:    343	State: SEEN ONCE
Node index:    339	State: SEEN ONCE
Node index:    338	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    344	State: SEEN ONCE
Node index:    343	State: SEEN ONCE
Node index:    339	State: SEEN ONCE
Node index:    338	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    343	State: SEEN ONCE
Node index:    339	State: SEEN ONCE
Node index:    338	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    339	State: SEEN ONCE
Node index:    338	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    345	State: NEW
Node index:    338	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    346	State: NEW
Node index:    345	State: SEEN ONCE
Node index:    338	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    346	State: SEEN ONCE
Node index:    345	State: SEEN ONCE
Node index:    338	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    345	State: SEEN ONCE
Node index:    338	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    338	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    347	State: NEW
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    347	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    348	State: NEW
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    348	State: SEEN ONCE
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    320	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    349	State: NEW
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    350	State: NEW
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    351	State: NEW
Node index:    350	State: SEEN ONCE
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    352	State: NEW
Node index:    351	State: SEEN ONCE
Node index:    350	State: SEEN ONCE
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    352	State: SEEN ONCE
Node index:    351	State: SEEN ONCE
Node index:    350	State: SEEN ONCE
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    351	State: SEEN ONCE
Node index:    350	State: SEEN ONCE
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    353	State: NEW
Node index:    350	State: SEEN ONCE
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    353	State: SEEN ONCE
Node index:    350	State: SEEN ONCE
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    350	State: SEEN ONCE
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    354	State: NEW
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    355	State: NEW
Node index:    354	State: SEEN ONCE
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    355	State: SEEN ONCE
Node index:    354	State: SEEN ONCE
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    354	State: SEEN ONCE
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    356	State: NEW
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    357	State: NEW
Node index:    356	State: SEEN ONCE
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    357	State: SEEN ONCE
Node index:    356	State: SEEN ONCE
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    358	State: NEW
Node index:    356	State: SEEN ONCE
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    359	State: NEW
Node index:    358	State: SEEN ONCE
Node index:    356	State: SEEN ONCE
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    360	State: NEW
Node index:    359	State: SEEN ONCE
Node index:    358	State: SEEN ONCE
Node index:    356	State: SEEN ONCE
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    360	State: SEEN ONCE
Node index:    359	State: SEEN ONCE
Node index:    358	State: SEEN ONCE
Node index:    356	State: SEEN ONCE
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    359	State: SEEN ONCE
Node index:    358	State: SEEN ONCE
Node index:    356	State: SEEN ONCE
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    358	State: SEEN ONCE
Node index:    356	State: SEEN ONCE
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    356	State: SEEN ONCE
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    361	State: NEW
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    362	State: NEW
Node index:    361	State: SEEN ONCE
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    362	State: SEEN ONCE
Node index:    361	State: SEEN ONCE
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    361	State: SEEN ONCE
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    349	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    363	State: NEW
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    363	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    364	State: NEW
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    364	State: SEEN ONCE
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    319	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    365	State: NEW
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    366	State: NEW
Node index:    365	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    366	State: SEEN ONCE
Node index:    365	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    367	State: NEW
Node index:    365	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    368	State: NEW
Node index:    367	State: SEEN ONCE
Node index:    365	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    369	State: NEW
Node index:    368	State: SEEN ONCE
Node index:    367	State: SEEN ONCE
Node index:    365	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    369	State: SEEN ONCE
Node index:    368	State: SEEN ONCE
Node index:    367	State: SEEN ONCE
Node index:    365	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    370	State: NEW
Node index:    368	State: SEEN ONCE
Node index:    367	State: SEEN ONCE
Node index:    365	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    370	State: SEEN ONCE
Node index:    368	State: SEEN ONCE
Node index:    367	State: SEEN ONCE
Node index:    365	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    368	State: SEEN ONCE
Node index:    367	State: SEEN ONCE
Node index:    365	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    371	State: NEW
Node index:    367	State: SEEN ONCE
Node index:    365	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    372	State: NEW
Node index:    371	State: SEEN ONCE
Node index:    367	State: SEEN ONCE
Node index:    365	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    372	State: SEEN ONCE
Node index:    371	State: SEEN ONCE
Node index:    367	State: SEEN ONCE
Node index:    365	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    371	State: SEEN ONCE
Node index:    367	State: SEEN ONCE
Node index:    365	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    367	State: SEEN ONCE
Node index:    365	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    373	State: NEW
Node index:    365	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    373	State: SEEN ONCE
Node index:    365	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    365	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    374	State: NEW
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    375	State: NEW
Node index:    374	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    375	State: SEEN ONCE
Node index:    374	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    376	State: NEW
Node index:    374	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    376	State: SEEN ONCE
Node index:    374	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    374	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    377	State: NEW
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    377	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    378	State: NEW
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    378	State: SEEN ONCE
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    318	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    379	State: NEW
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    380	State: NEW
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    381	State: NEW
Node index:    380	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    382	State: NEW
Node index:    381	State: SEEN ONCE
Node index:    380	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    382	State: SEEN ONCE
Node index:    381	State: SEEN ONCE
Node index:    380	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    383	State: NEW
Node index:    381	State: SEEN ONCE
Node index:    380	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    383	State: SEEN ONCE
Node index:    381	State: SEEN ONCE
Node index:    380	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    381	State: SEEN ONCE
Node index:    380	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    384	State: NEW
Node index:    380	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    385	State: NEW
Node index:    384	State: SEEN ONCE
Node index:    380	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    385	State: SEEN ONCE
Node index:    384	State: SEEN ONCE
Node index:    380	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    386	State: NEW
Node index:    384	State: SEEN ONCE
Node index:    380	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    387	State: NEW
Node index:    386	State: SEEN ONCE
Node index:    384	State: SEEN ONCE
Node index:    380	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    388	State: NEW
Node index:    387	State: SEEN ONCE
Node index:    386	State: SEEN ONCE
Node index:    384	State: SEEN ONCE
Node index:    380	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    389	State: NEW
Node index:    388	State: SEEN ONCE
Node index:    387	State: SEEN ONCE
Node index:    386	State: SEEN ONCE
Node index:    384	State: SEEN ONCE
Node index:    380	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    389	State: SEEN ONCE
Node index:    388	State: SEEN ONCE
Node index:    387	State: SEEN ONCE
Node index:    386	State: SEEN ONCE
Node index:    384	State: SEEN ONCE
Node index:    380	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    388	State: SEEN ONCE
Node index:    387	State: SEEN ONCE
Node index:    386	State: SEEN ONCE
Node index:    384	State: SEEN ONCE
Node index:    380	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    387	State: SEEN ONCE
Node index:    386	State: SEEN ONCE
Node index:    384	State: SEEN ONCE
Node index:    380	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    390	State: NEW
Node index:    386	State: SEEN ONCE
Node index:    384	State: SEEN ONCE
Node index:    380	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    391	State: NEW
Node index:    390	State: SEEN ONCE
Node index:    386	State: SEEN ONCE
Node index:    384	State: SEEN ONCE
Node index:    380	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    391	State: SEEN ONCE
Node index:    390	State: SEEN ONCE
Node index:    386	State: SEEN ONCE
Node index:    384	State: SEEN ONCE
Node index:    380	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    390	State: SEEN ONCE
Node index:    386	State: SEEN ONCE
Node index:    384	State: SEEN ONCE
Node index:    380	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    386	State: SEEN ONCE
Node index:    384	State: SEEN ONCE
Node index:    380	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    384	State: SEEN ONCE
Node index:    380	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    380	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    392	State: NEW
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    393	State: NEW
Node index:    392	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    394	State: NEW
Node index:    393	State: SEEN ONCE
Node index:    392	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    395	State: NEW
Node index:    394	State: SEEN ONCE
Node index:    393	State: SEEN ONCE
Node index:    392	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    395	State: SEEN ONCE
Node index:    394	State: SEEN ONCE
Node index:    393	State: SEEN ONCE
Node index:    392	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    394	State: SEEN ONCE
Node index:    393	State: SEEN ONCE
Node index:    392	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    396	State: NEW
Node index:    393	State: SEEN ONCE
Node index:    392	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    397	State: NEW
Node index:    396	State: SEEN ONCE
Node index:    393	State: SEEN ONCE
Node index:    392	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    398	State: NEW
Node index:    397	State: SEEN ONCE
Node index:    396	State: SEEN ONCE
Node index:    393	State: SEEN ONCE
Node index:    392	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    398	State: SEEN ONCE
Node index:    397	State: SEEN ONCE
Node index:    396	State: SEEN ONCE
Node index:    393	State: SEEN ONCE
Node index:    392	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    397	State: SEEN ONCE
Node index:    396	State: SEEN ONCE
Node index:    393	State: SEEN ONCE
Node index:    392	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    396	State: SEEN ONCE
Node index:    393	State: SEEN ONCE
Node index:    392	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    393	State: SEEN ONCE
Node index:    392	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    399	State: NEW
Node index:    392	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    399	State: SEEN ONCE
Node index:    392	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    400	State: NEW
Node index:    392	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    401	State: NEW
Node index:    400	State: SEEN ONCE
Node index:    392	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    401	State: SEEN ONCE
Node index:    400	State: SEEN ONCE
Node index:    392	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    400	State: SEEN ONCE
Node index:    392	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    392	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    402	State: NEW
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    403	State: NEW
Node index:    402	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    403	State: SEEN ONCE
Node index:    402	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    402	State: SEEN ONCE
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    379	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    404	State: NEW
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    404	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    405	State: NEW
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    406	State: NEW
Node index:    405	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    406	State: SEEN ONCE
Node index:    405	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    407	State: NEW
Node index:    405	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    407	State: SEEN ONCE
Node index:    405	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    405	State: SEEN ONCE
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    317	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    408	State: NEW
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    409	State: NEW
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    410	State: NEW
Node index:    409	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    411	State: NEW
Node index:    410	State: SEEN ONCE
Node index:    409	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    411	State: SEEN ONCE
Node index:    410	State: SEEN ONCE
Node index:    409	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    412	State: NEW
Node index:    410	State: SEEN ONCE
Node index:    409	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    412	State: SEEN ONCE
Node index:    410	State: SEEN ONCE
Node index:    409	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    410	State: SEEN ONCE
Node index:    409	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    413	State: NEW
Node index:    409	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    414	State: NEW
Node index:    413	State: SEEN ONCE
Node index:    409	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    414	State: SEEN ONCE
Node index:    413	State: SEEN ONCE
Node index:    409	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    415	State: NEW
Node index:    413	State: SEEN ONCE
Node index:    409	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    416	State: NEW
Node index:    415	State: SEEN ONCE
Node index:    413	State: SEEN ONCE
Node index:    409	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    416	State: SEEN ONCE
Node index:    415	State: SEEN ONCE
Node index:    413	State: SEEN ONCE
Node index:    409	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    415	State: SEEN ONCE
Node index:    413	State: SEEN ONCE
Node index:    409	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    413	State: SEEN ONCE
Node index:    409	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    417	State: NEW
Node index:    409	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    418	State: NEW
Node index:    417	State: SEEN ONCE
Node index:    409	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    418	State: SEEN ONCE
Node index:    417	State: SEEN ONCE
Node index:    409	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    417	State: SEEN ONCE
Node index:    409	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    419	State: NEW
Node index:    409	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    419	State: SEEN ONCE
Node index:    409	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    409	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    420	State: NEW
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    421	State: NEW
Node index:    420	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    422	State: NEW
Node index:    421	State: SEEN ONCE
Node index:    420	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    422	State: SEEN ONCE
Node index:    421	State: SEEN ONCE
Node index:    420	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    421	State: SEEN ONCE
Node index:    420	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    423	State: NEW
Node index:    420	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    423	State: SEEN ONCE
Node index:    420	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    420	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    424	State: NEW
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    424	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    425	State: NEW
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    425	State: SEEN ONCE
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    408	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    426	State: NEW
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    427	State: NEW
Node index:    426	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    428	State: NEW
Node index:    427	State: SEEN ONCE
Node index:    426	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    428	State: SEEN ONCE
Node index:    427	State: SEEN ONCE
Node index:    426	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    429	State: NEW
Node index:    427	State: SEEN ONCE
Node index:    426	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    429	State: SEEN ONCE
Node index:    427	State: SEEN ONCE
Node index:    426	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    427	State: SEEN ONCE
Node index:    426	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    426	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    430	State: NEW
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    431	State: NEW
Node index:    430	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    431	State: SEEN ONCE
Node index:    430	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    430	State: SEEN ONCE
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:      0	State: SEEN ONCE
----------------------------------------
Node index:    432	State: NEW
----------------------------------------
Node index:    432	State: SEEN ONCE
----------------------------------------
Node index:    433	State: NEW
----------------------------------------
Node index:    434	State: NEW
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    435	State: NEW
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    436	State: NEW
Node index:    435	State: SEEN ONCE
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    437	State: NEW
Node index:    436	State: SEEN ONCE
Node index:    435	State: SEEN ONCE
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    437	State: SEEN ONCE
Node index:    436	State: SEEN ONCE
Node index:    435	State: SEEN ONCE
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    438	State: NEW
Node index:    436	State: SEEN ONCE
Node index:    435	State: SEEN ONCE
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    439	State: NEW
Node index:    438	State: SEEN ONCE
Node index:    436	State: SEEN ONCE
Node index:    435	State: SEEN ONCE
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    440	State: NEW
Node index:    439	State: SEEN ONCE
Node index:    438	State: SEEN ONCE
Node index:    436	State: SEEN ONCE
Node index:    435	State: SEEN ONCE
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    440	State: SEEN ONCE
Node index:    439	State: SEEN ONCE
Node index:    438	State: SEEN ONCE
Node index:    436	State: SEEN ONCE
Node index:    435	State: SEEN ONCE
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    441	State: NEW
Node index:    439	State: SEEN ONCE
Node index:    438	State: SEEN ONCE
Node index:    436	State: SEEN ONCE
Node index:    435	State: SEEN ONCE
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    442	State: NEW
Node index:    441	State: SEEN ONCE
Node index:    439	State: SEEN ONCE
Node index:    438	State: SEEN ONCE
Node index:    436	State: SEEN ONCE
Node index:    435	State: SEEN ONCE
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    442	State: SEEN ONCE
Node index:    441	State: SEEN ONCE
Node index:    439	State: SEEN ONCE
Node index:    438	State: SEEN ONCE
Node index:    436	State: SEEN ONCE
Node index:    435	State: SEEN ONCE
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    441	State: SEEN ONCE
Node index:    439	State: SEEN ONCE
Node index:    438	State: SEEN ONCE
Node index:    436	State: SEEN ONCE
Node index:    435	State: SEEN ONCE
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    443	State: NEW
Node index:    439	State: SEEN ONCE
Node index:    438	State: SEEN ONCE
Node index:    436	State: SEEN ONCE
Node index:    435	State: SEEN ONCE
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    443	State: SEEN ONCE
Node index:    439	State: SEEN ONCE
Node index:    438	State: SEEN ONCE
Node index:    436	State: SEEN ONCE
Node index:    435	State: SEEN ONCE
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    439	State: SEEN ONCE
Node index:    438	State: SEEN ONCE
Node index:    436	State: SEEN ONCE
Node index:    435	State: SEEN ONCE
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    444	State: NEW
Node index:    438	State: SEEN ONCE
Node index:    436	State: SEEN ONCE
Node index:    435	State: SEEN ONCE
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    444	State: SEEN ONCE
Node index:    438	State: SEEN ONCE
Node index:    436	State: SEEN ONCE
Node index:    435	State: SEEN ONCE
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    438	State: SEEN ONCE
Node index:    436	State: SEEN ONCE
Node index:    435	State: SEEN ONCE
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    436	State: SEEN ONCE
Node index:    435	State: SEEN ONCE
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    435	State: SEEN ONCE
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    445	State: NEW
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    445	State: SEEN ONCE
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    446	State: NEW
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    447	State: NEW
Node index:    446	State: SEEN ONCE
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    447	State: SEEN ONCE
Node index:    446	State: SEEN ONCE
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    446	State: SEEN ONCE
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    448	State: NEW
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    448	State: SEEN ONCE
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    434	State: SEEN ONCE
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    433	State: SEEN ONCE
----------------------------------------
Node index:    449	State: NEW
----------------------------------------
Node index:    450	State: NEW
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    451	State: NEW
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    452	State: NEW
Node index:    451	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    453	State: NEW
Node index:    452	State: SEEN ONCE
Node index:    451	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    453	State: SEEN ONCE
Node index:    452	State: SEEN ONCE
Node index:    451	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    454	State: NEW
Node index:    452	State: SEEN ONCE
Node index:    451	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    454	State: SEEN ONCE
Node index:    452	State: SEEN ONCE
Node index:    451	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    452	State: SEEN ONCE
Node index:    451	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    455	State: NEW
Node index:    451	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    456	State: NEW
Node index:    455	State: SEEN ONCE
Node index:    451	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    457	State: NEW
Node index:    456	State: SEEN ONCE
Node index:    455	State: SEEN ONCE
Node index:    451	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    458	State: NEW
Node index:    457	State: SEEN ONCE
Node index:    456	State: SEEN ONCE
Node index:    455	State: SEEN ONCE
Node index:    451	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    459	State: NEW
Node index:    458	State: SEEN ONCE
Node index:    457	State: SEEN ONCE
Node index:    456	State: SEEN ONCE
Node index:    455	State: SEEN ONCE
Node index:    451	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    459	State: SEEN ONCE
Node index:    458	State: SEEN ONCE
Node index:    457	State: SEEN ONCE
Node index:    456	State: SEEN ONCE
Node index:    455	State: SEEN ONCE
Node index:    451	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    458	State: SEEN ONCE
Node index:    457	State: SEEN ONCE
Node index:    456	State: SEEN ONCE
Node index:    455	State: SEEN ONCE
Node index:    451	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    457	State: SEEN ONCE
Node index:    456	State: SEEN ONCE
Node index:    455	State: SEEN ONCE
Node index:    451	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    456	State: SEEN ONCE
Node index:    455	State: SEEN ONCE
Node index:    451	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    455	State: SEEN ONCE
Node index:    451	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    451	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    460	State: NEW
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    461	State: NEW
Node index:    460	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    462	State: NEW
Node index:    461	State: SEEN ONCE
Node index:    460	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    463	State: NEW
Node index:    462	State: SEEN ONCE
Node index:    461	State: SEEN ONCE
Node index:    460	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    464	State: NEW
Node index:    463	State: SEEN ONCE
Node index:    462	State: SEEN ONCE
Node index:    461	State: SEEN ONCE
Node index:    460	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    464	State: SEEN ONCE
Node index:    463	State: SEEN ONCE
Node index:    462	State: SEEN ONCE
Node index:    461	State: SEEN ONCE
Node index:    460	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    463	State: SEEN ONCE
Node index:    462	State: SEEN ONCE
Node index:    461	State: SEEN ONCE
Node index:    460	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    465	State: NEW
Node index:    462	State: SEEN ONCE
Node index:    461	State: SEEN ONCE
Node index:    460	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    466	State: NEW
Node index:    465	State: SEEN ONCE
Node index:    462	State: SEEN ONCE
Node index:    461	State: SEEN ONCE
Node index:    460	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    466	State: SEEN ONCE
Node index:    465	State: SEEN ONCE
Node index:    462	State: SEEN ONCE
Node index:    461	State: SEEN ONCE
Node index:    460	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    465	State: SEEN ONCE
Node index:    462	State: SEEN ONCE
Node index:    461	State: SEEN ONCE
Node index:    460	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    462	State: SEEN ONCE
Node index:    461	State: SEEN ONCE
Node index:    460	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    467	State: NEW
Node index:    461	State: SEEN ONCE
Node index:    460	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    468	State: NEW
Node index:    467	State: SEEN ONCE
Node index:    461	State: SEEN ONCE
Node index:    460	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    468	State: SEEN ONCE
Node index:    467	State: SEEN ONCE
Node index:    461	State: SEEN ONCE
Node index:    460	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    467	State: SEEN ONCE
Node index:    461	State: SEEN ONCE
Node index:    460	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    461	State: SEEN ONCE
Node index:    460	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    460	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    469	State: NEW
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    470	State: NEW
Node index:    469	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    470	State: SEEN ONCE
Node index:    469	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    469	State: SEEN ONCE
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    450	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    471	State: NEW
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    472	State: NEW
Node index:    471	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    473	State: NEW
Node index:    472	State: SEEN ONCE
Node index:    471	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    473	State: SEEN ONCE
Node index:    472	State: SEEN ONCE
Node index:    471	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    472	State: SEEN ONCE
Node index:    471	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    471	State: SEEN ONCE
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    449	State: SEEN ONCE
----------------------------------------
Node index:    474	State: NEW
----------------------------------------
Node index:    475	State: NEW
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    476	State: NEW
Node index:    475	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    477	State: NEW
Node index:    476	State: SEEN ONCE
Node index:    475	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    478	State: NEW
Node index:    477	State: SEEN ONCE
Node index:    476	State: SEEN ONCE
Node index:    475	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    479	State: NEW
Node index:    478	State: SEEN ONCE
Node index:    477	State: SEEN ONCE
Node index:    476	State: SEEN ONCE
Node index:    475	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    479	State: SEEN ONCE
Node index:    478	State: SEEN ONCE
Node index:    477	State: SEEN ONCE
Node index:    476	State: SEEN ONCE
Node index:    475	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    478	State: SEEN ONCE
Node index:    477	State: SEEN ONCE
Node index:    476	State: SEEN ONCE
Node index:    475	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    477	State: SEEN ONCE
Node index:    476	State: SEEN ONCE
Node index:    475	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    476	State: SEEN ONCE
Node index:    475	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    480	State: NEW
Node index:    475	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    480	State: SEEN ONCE
Node index:    475	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    481	State: NEW
Node index:    475	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    481	State: SEEN ONCE
Node index:    475	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    475	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    482	State: NEW
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    483	State: NEW
Node index:    482	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    484	State: NEW
Node index:    483	State: SEEN ONCE
Node index:    482	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    485	State: NEW
Node index:    484	State: SEEN ONCE
Node index:    483	State: SEEN ONCE
Node index:    482	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    486	State: NEW
Node index:    485	State: SEEN ONCE
Node index:    484	State: SEEN ONCE
Node index:    483	State: SEEN ONCE
Node index:    482	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    486	State: SEEN ONCE
Node index:    485	State: SEEN ONCE
Node index:    484	State: SEEN ONCE
Node index:    483	State: SEEN ONCE
Node index:    482	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    487	State: NEW
Node index:    485	State: SEEN ONCE
Node index:    484	State: SEEN ONCE
Node index:    483	State: SEEN ONCE
Node index:    482	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    487	State: SEEN ONCE
Node index:    485	State: SEEN ONCE
Node index:    484	State: SEEN ONCE
Node index:    483	State: SEEN ONCE
Node index:    482	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    485	State: SEEN ONCE
Node index:    484	State: SEEN ONCE
Node index:    483	State: SEEN ONCE
Node index:    482	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    488	State: NEW
Node index:    484	State: SEEN ONCE
Node index:    483	State: SEEN ONCE
Node index:    482	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    488	State: SEEN ONCE
Node index:    484	State: SEEN ONCE
Node index:    483	State: SEEN ONCE
Node index:    482	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    484	State: SEEN ONCE
Node index:    483	State: SEEN ONCE
Node index:    482	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    483	State: SEEN ONCE
Node index:    482	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    482	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    489	State: NEW
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    490	State: NEW
Node index:    489	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    491	State: NEW
Node index:    490	State: SEEN ONCE
Node index:    489	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    492	State: NEW
Node index:    491	State: SEEN ONCE
Node index:    490	State: SEEN ONCE
Node index:    489	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    493	State: NEW
Node index:    492	State: SEEN ONCE
Node index:    491	State: SEEN ONCE
Node index:    490	State: SEEN ONCE
Node index:    489	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    493	State: SEEN ONCE
Node index:    492	State: SEEN ONCE
Node index:    491	State: SEEN ONCE
Node index:    490	State: SEEN ONCE
Node index:    489	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    492	State: SEEN ONCE
Node index:    491	State: SEEN ONCE
Node index:    490	State: SEEN ONCE
Node index:    489	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    491	State: SEEN ONCE
Node index:    490	State: SEEN ONCE
Node index:    489	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    494	State: NEW
Node index:    490	State: SEEN ONCE
Node index:    489	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    494	State: SEEN ONCE
Node index:    490	State: SEEN ONCE
Node index:    489	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    495	State: NEW
Node index:    490	State: SEEN ONCE
Node index:    489	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    495	State: SEEN ONCE
Node index:    490	State: SEEN ONCE
Node index:    489	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    490	State: SEEN ONCE
Node index:    489	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    496	State: NEW
Node index:    489	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    496	State: SEEN ONCE
Node index:    489	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    497	State: NEW
Node index:    489	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    497	State: SEEN ONCE
Node index:    489	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    489	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    498	State: NEW
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    498	State: SEEN ONCE
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    474	State: SEEN ONCE
----------------------------------------
Node index:    499	State: NEW
----------------------------------------
Node index:    499	State: SEEN ONCE
----------------------------------------
Preorder traversal:
Node index:      6	Value: 0
Node index:      8	Value: 1
Node index:      7	Value: 26
Node index:      9	Value: 9
Node index:      5	Value: 12
Node index:      4	Value: 95
Node index:     13	Value: 6
Node index:     12	Value: 13
Node index:     11	Value: 8
Node index:     10	Value: 58
Node index:     15	Value: 5
Node index:     14	Value: 15
Node index:      3	Value: 54
Node index:     17	Value: 5
Node index:     16	Value: 201
Node index:     19	Value: 129
Node index:     23	Value: 16
Node index:     26	Value: 5
Node index:     25	Value: 29
Node index:     27	Value: 7
Node index:     24	Value: 5
Node index:     22	Value: 76
Node index:     28	Value: 2
Node index:     29	Value: 9
Node index:     21	Value: 108
Node index:     30	Value: 17
Node index:     31	Value: 19
Node index:     32	Value: 1
Node index:     20	Value: 140
Node index:     34	Value: 7
Node index:     35	Value: 6
Node index:     33	Value: 19
Node index:     18	Value: 173
Node index:     39	Value: 0
Node index:     38	Value: 12
Node index:     40	Value: 6
Node index:     37	Value: 33
Node index:     36	Value: 84
Node index:     43	Value: 1
Node index:     42	Value: 12
Node index:     44	Value: 5
Node index:     41	Value: 13
Node index:      2	Value: 567
Node index:     48	Value: 20
Node index:     51	Value: 7
Node index:     50	Value: 13
Node index:     53	Value: 2
Node index:     52	Value: 12
Node index:     49	Value: 47
Node index:     55	Value: 14
Node index:     56	Value: 7
Node index:     54	Value: 11
Node index:     47	Value: 63
Node index:     59	Value: 4
Node index:     58	Value: 9
Node index:     57	Value: 48
Node index:     60	Value: 12
Node index:     61	Value: 1
Node index:     46	Value: 207
Node index:     66	Value: 0
Node index:     67	Value: 6
Node index:     65	Value: 23
Node index:     64	Value: 29
Node index:     68	Value: 13
Node index:     70	Value: 12
Node index:     71	Value: 4
Node index:     69	Value: 9
Node index:     63	Value: 93
Node index:     73	Value: 0
Node index:     72	Value: 2
Node index:     62	Value: 93
Node index:     76	Value: 16
Node index:     77	Value: 1
Node index:     75	Value: 19
Node index:     74	Value: 24
Node index:     45	Value: 273
Node index:     78	Value: 0
Node index:      1	Value: 820
Node index:     86	Value: 17
Node index:     87	Value: 5
Node index:     85	Value: 36
Node index:     89	Value: 6
Node index:     88	Value: 25
Node index:     90	Value: 14
Node index:     91	Value: 9
Node index:     92	Value: 1
Node index:     84	Value: 170
Node index:     94	Value: 6
Node index:     93	Value: 75
Node index:     95	Value: 102
Node index:     98	Value: 2
Node index:     99	Value: 6
Node index:    100	Value: 2
Node index:     97	Value: 14
Node index:    101	Value: 8
Node index:     96	Value: 87
Node index:    104	Value: 3
Node index:    103	Value: 13
Node index:    102	Value: 7
Node index:    105	Value: 3
Node index:     83	Value: 111
Node index:    107	Value: 0
Node index:    106	Value: 18
Node index:     82	Value: 205
Node index:     81	Value: 636
Node index:    112	Value: 7
Node index:    111	Value: 0
Node index:    115	Value: 2
Node index:    114	Value: 14
Node index:    113	Value: 15
Node index:    110	Value: 40
Node index:    118	Value: 0
Node index:    119	Value: 6
Node index:    117	Value: 89
Node index:    121	Value: 2
Node index:    120	Value: 84
Node index:    126	Value: 8
Node index:    125	Value: 16
Node index:    124	Value: 0
Node index:    123	Value: 47
Node index:    127	Value: 13
Node index:    128	Value: 2
Node index:    122	Value: 45
Node index:    116	Value: 35
Node index:    129	Value: 14
Node index:    130	Value: 1
Node index:    131	Value: 6
Node index:    132	Value: 3
Node index:    109	Value: 24
Node index:    139	Value: 2
Node index:    138	Value: 5
Node index:    137	Value: 12
Node index:    140	Value: 51
Node index:    143	Value: 6
Node index:    142	Value: 18
Node index:    146	Value: 9
Node index:    145	Value: 22
Node index:    147	Value: 7
Node index:    144	Value: 36
Node index:    141	Value: 62
Node index:    150	Value: 12
Node index:    151	Value: 4
Node index:    149	Value: 27
Node index:    152	Value: 8
Node index:    148	Value: 7
Node index:    136	Value: 1
Node index:    154	Value: 9
Node index:    153	Value: 15
Node index:    155	Value: 3
Node index:    135	Value: 128
Node index:    156	Value: 22
Node index:    158	Value: 4
Node index:    157	Value: 22
Node index:    159	Value: 5
Node index:    134	Value: 9
Node index:    160	Value: 9
Node index:    163	Value: 15
Node index:    164	Value: 2
Node index:    165	Value: 7
Node index:    162	Value: 29
Node index:    161	Value: 30
Node index:    133	Value: 353
Node index:    168	Value: 2
Node index:    167	Value: 32
Node index:    170	Value: 9
Node index:    169	Value: 14
Node index:    166	Value: 40
Node index:    175	Value: 6
Node index:    174	Value: 4
Node index:    173	Value: 23
Node index:    172	Value: 27
Node index:    171	Value: 44
Node index:    108	Value: 666
Node index:    179	Value: 18
Node index:    180	Value: 9
Node index:    178	Value: 8
Node index:    181	Value: 16
Node index:    182	Value: 13
Node index:    183	Value: 2
Node index:    177	Value: 89
Node index:    189	Value: 1
Node index:    188	Value: 13
Node index:    187	Value: 40
Node index:    191	Value: 7
Node index:    190	Value: 17
Node index:    186	Value: 18
Node index:    185	Value: 31
Node index:    193	Value: 7
Node index:    192	Value: 15
Node index:    194	Value: 3
Node index:    184	Value: 48
Node index:    198	Value: 3
Node index:    199	Value: 0
Node index:    197	Value: 66
Node index:    201	Value: 3
Node index:    200	Value: 17
Node index:    204	Value: 1
Node index:    203	Value: 5
Node index:    202	Value: 28
Node index:    205	Value: 14
Node index:    206	Value: 3
Node index:    196	Value: 177
Node index:    208	Value: 10
Node index:    209	Value: 4
Node index:    211	Value: 0
Node index:    210	Value: 25
Node index:    213	Value: 5
Node index:    212	Value: 13
Node index:    207	Value: 18
Node index:    195	Value: 165
Node index:    214	Value: 9
Node index:    176	Value: 848
Node index:    222	Value: 2
Node index:    223	Value: 3
Node index:    221	Value: 8
Node index:    220	Value: 17
Node index:    224	Value: 4
Node index:    219	Value: 41
Node index:    226	Value: 0
Node index:    225	Value: 10
Node index:    218	Value: 14
Node index:    228	Value: 0
Node index:    229	Value: 4
Node index:    227	Value: 14
Node index:    217	Value: 146
Node index:    231	Value: 9
Node index:    232	Value: 15
Node index:    234	Value: 9
Node index:    233	Value: 16
Node index:    230	Value: 119
Node index:    237	Value: 41
Node index:    239	Value: 4
Node index:    240	Value: 5
Node index:    238	Value: 55
Node index:    243	Value: 1
Node index:    242	Value: 16
Node index:    241	Value: 20
Node index:    236	Value: 28
Node index:    244	Value: 9
Node index:    235	Value: 8
Node index:    245	Value: 1
Node index:    216	Value: 58
Node index:    247	Value: 26
Node index:    248	Value: 7
Node index:    249	Value: 2
Node index:    246	Value: 34
Node index:    250	Value: 5
Node index:    215	Value: 352
Node index:    253	Value: 3
Node index:    252	Value: 10
Node index:    251	Value: 139
Node index:    255	Value: 4
Node index:    254	Value: 108
Node index:    259	Value: 11
Node index:    260	Value: 0
Node index:    258	Value: 42
Node index:    262	Value: 4
Node index:    261	Value: 21
Node index:    263	Value: 8
Node index:    257	Value: 70
Node index:    264	Value: 5
Node index:    265	Value: 4
Node index:    256	Value: 54
Node index:    268	Value: 5
Node index:    267	Value: 13
Node index:    266	Value: 26
Node index:    269	Value: 2
Node index:     80	Value: 957
Node index:    273	Value: 6
Node index:    272	Value: 24
Node index:    276	Value: 2
Node index:    275	Value: 11
Node index:    274	Value: 5
Node index:    277	Value: 3
Node index:    271	Value: 28
Node index:    281	Value: 7
Node index:    280	Value: 8
Node index:    283	Value: 2
Node index:    282	Value: 0
Node index:    279	Value: 92
Node index:    285	Value: 1
Node index:    286	Value: 15
Node index:    287	Value: 3
Node index:    284	Value: 12
Node index:    288	Value: 3
Node index:    278	Value: 152
Node index:    290	Value: 9
Node index:    292	Value: 3
Node index:    291	Value: 27
Node index:    293	Value: 1
Node index:    289	Value: 49
Node index:    270	Value: 207
Node index:    297	Value: 2
Node index:    296	Value: 13
Node index:    299	Value: 3
Node index:    298	Value: 9
Node index:    295	Value: 5
Node index:    301	Value: 3
Node index:    300	Value: 14
Node index:    294	Value: 8
Node index:    304	Value: 8
Node index:    303	Value: 33
Node index:    308	Value: 7
Node index:    307	Value: 2
Node index:    306	Value: 5
Node index:    305	Value: 36
Node index:    302	Value: 9
Node index:    309	Value: 8
Node index:     79	Value: 2157
Node index:    312	Value: 9
Node index:    311	Value: 23
Node index:    315	Value: 2
Node index:    314	Value: 15
Node index:    316	Value: 1
Node index:    313	Value: 8
Node index:    310	Value: 898
Node index:    323	Value: 10
Node index:    324	Value: 9
Node index:    325	Value: 2
Node index:    322	Value: 77
Node index:    328	Value: 34
Node index:    331	Value: 1
Node index:    330	Value: 4
Node index:    329	Value: 3
Node index:    333	Value: 7
Node index:    332	Value: 12
Node index:    327	Value: 32
Node index:    336	Value: 9
Node index:    335	Value: 22
Node index:    337	Value: 1
Node index:    334	Value: 11
Node index:    326	Value: 3
Node index:    321	Value: 252
Node index:    342	Value: 5
Node index:    341	Value: 1
Node index:    340	Value: 31
Node index:    344	Value: 8
Node index:    343	Value: 10
Node index:    339	Value: 35
Node index:    346	Value: 2
Node index:    345	Value: 3
Node index:    338	Value: 81
Node index:    347	Value: 2
Node index:    348	Value: 0
Node index:    320	Value: 130
Node index:    352	Value: 2
Node index:    351	Value: 25
Node index:    353	Value: 9
Node index:    350	Value: 99
Node index:    355	Value: 8
Node index:    354	Value: 19
Node index:    357	Value: 36
Node index:    360	Value: 4
Node index:    359	Value: 4
Node index:    358	Value: 29
Node index:    356	Value: 23
Node index:    362	Value: 5
Node index:    361	Value: 4
Node index:    349	Value: 134
Node index:    363	Value: 6
Node index:    364	Value: 7
Node index:    319	Value: 176
Node index:    366	Value: 28
Node index:    369	Value: 18
Node index:    370	Value: 4
Node index:    368	Value: 25
Node index:    372	Value: 3
Node index:    371	Value: 7
Node index:    367	Value: 47
Node index:    373	Value: 0
Node index:    365	Value: 101
Node index:    375	Value: 2
Node index:    376	Value: 3
Node index:    374	Value: 15
Node index:    377	Value: 10
Node index:    378	Value: 4
Node index:    318	Value: 594
Node index:    382	Value: 8
Node index:    383	Value: 1
Node index:    381	Value: 12
Node index:    385	Value: 42
Node index:    389	Value: 0
Node index:    388	Value: 18
Node index:    387	Value: 12
Node index:    391	Value: 8
Node index:    390	Value: 18
Node index:    386	Value: 2
Node index:    384	Value: 59
Node index:    380	Value: 208
Node index:    395	Value: 9
Node index:    394	Value: 29
Node index:    398	Value: 2
Node index:    397	Value: 8
Node index:    396	Value: 24
Node index:    393	Value: 73
Node index:    399	Value: 19
Node index:    401	Value: 4
Node index:    400	Value: 13
Node index:    392	Value: 100
Node index:    403	Value: 3
Node index:    402	Value: 6
Node index:    379	Value: 77
Node index:    404	Value: 1
Node index:    406	Value: 9
Node index:    407	Value: 5
Node index:    405	Value: 21
Node index:    317	Value: 661
Node index:    411	Value: 12
Node index:    412	Value: 0
Node index:    410	Value: 54
Node index:    414	Value: 12
Node index:    416	Value: 7
Node index:    415	Value: 16
Node index:    413	Value: 54
Node index:    418	Value: 9
Node index:    417	Value: 14
Node index:    419	Value: 9
Node index:    409	Value: 37
Node index:    422	Value: 2
Node index:    421	Value: 25
Node index:    423	Value: 2
Node index:    420	Value: 42
Node index:    424	Value: 1
Node index:    425	Value: 6
Node index:    408	Value: 212
Node index:    428	Value: 13
Node index:    429	Value: 4
Node index:    427	Value: 27
Node index:    426	Value: 50
Node index:    431	Value: 4
Node index:    430	Value: 17
Node index:      0	Value: 3861
Node index:    432	Value: 603
Node index:    437	Value: 4
Node index:    440	Value: 30
Node index:    442	Value: 1
Node index:    441	Value: 14
Node index:    443	Value: 0
Node index:    439	Value: 50
Node index:    444	Value: 5
Node index:    438	Value: 35
Node index:    436	Value: 22
Node index:    435	Value: 127
Node index:    445	Value: 1
Node index:    447	Value: 8
Node index:    446	Value: 7
Node index:    448	Value: 8
Node index:    434	Value: 68
Node index:    433	Value: 130
Node index:    453	Value: 12
Node index:    454	Value: 1
Node index:    452	Value: 72
Node index:    459	Value: 3
Node index:    458	Value: 15
Node index:    457	Value: 13
Node index:    456	Value: 25
Node index:    455	Value: 26
Node index:    451	Value: 48
Node index:    464	Value: 7
Node index:    463	Value: 2
Node index:    466	Value: 1
Node index:    465	Value: 0
Node index:    462	Value: 44
Node index:    468	Value: 3
Node index:    467	Value: 7
Node index:    461	Value: 66
Node index:    460	Value: 61
Node index:    470	Value: 6
Node index:    469	Value: 3
Node index:    450	Value: 72
Node index:    473	Value: 0
Node index:    472	Value: 3
Node index:    471	Value: 27
Node index:    449	Value: 68
Node index:    479	Value: 2
Node index:    478	Value: 6
Node index:    477	Value: 1
Node index:    476	Value: 1
Node index:    480	Value: 9
Node index:    481	Value: 5
Node index:    475	Value: 103
Node index:    486	Value: 1
Node index:    487	Value: 6
Node index:    485	Value: 25
Node index:    488	Value: 7
Node index:    484	Value: 6
Node index:    483	Value: 55
Node index:    482	Value: 55
Node index:    493	Value: 5
Node index:    492	Value: 11
Node index:    491	Value: 34
Node index:    494	Value: 13
Node index:    495	Value: 6
Node index:    490	Value: 44
Node index:    496	Value: 13
Node index:    497	Value: 4
Node index:    489	Value: 87
Node index:    498	Value: 8
Node index:    474	Value: 157
Node index:    499	Value: 2

