t 630.0 45.0 1_ask 0 w n
t 425.0 185.0 1_exit 0 w n
t 30.0 60.0 2_ask 0 w n
t 170.0 125.0 2_rel 0 w n
t 170.0 270.0 2_exit 0 w n
t 45.0 665.0 3_ask 0 w n
t 105.0 525.0 3_rel 0 w n
t 250.0 530.0 3_exit 0 w n
t 650.0 655.0 4_ask 0 w n
t 510.0 445.0 4_exit 0 w n
t 275.0 180.0 2_entry 0 w n
t 160.0 420.0 3_entry 0 w n
t 405.0 535.0 4_entry 0 w n
t 520.0 295.0 1_entry 0 w n
p 500.0 210.0 token_1 1 n
p 565.0 75.0 idle_1 1 n
p 50.0 595.0 idle_3 1 n
p 350.0 170.0 after_1 0 n
p 195.0 195.0 token_2 0 n
p 150.0 350.0 after_2 0 n
p 175.0 505.0 token_3 0 n
p 330.0 545.0 after_3 0 n
p 485.0 520.0 token_4 0 n
p 530.0 370.0 after_4 0 n
p 105.0 115.0 cs_2 0 n
t 595.0 205.0 1_work 0 w n
t 520.0 125.0 1_rel 0 w n
p 570.0 145.0 cs_1 0 n
p 625.0 550.0 wait_4 0 n
p 550.0 665.0 idle_4 1 n
p 165.0 645.0 wait_3 0 n
t 550.0 525.0 4_work 0 w n
t 500.0 620.0 4_rel 0 w n
p 565.0 590.0 cs_4 0 n
p 110.0 590.0 cs_3 0 s
t 180.0 570.0 3_work 0 w n
p 125.0 50.0 idle_2 1 n
t 90.0 205.0 2_work s 0 w n {} ne
p 40.0 140.0 wait_2 0 n
p 645.0 125.0 wait_1 0 n
e 1_entry token_1 1 n
e after_4 1_entry 1 n
e 4_entry token_4 1 n
e after_3 4_entry 1 n
e 3_entry token_3 1 n
e after_2 3_entry 1 n
e 2_entry token_2 1 n
e after_1 2_entry 1 n
e 4_exit after_4 1 n
e token_4 4_exit 1 n
e 4_rel idle_4 1 n
e 4_rel token_4 1 n
e cs_4 4_rel 1 n
e 4_work cs_4 1 n
e wait_4 4_work 1 n
e token_4 4_work 1 n
e 4_ask wait_4 1 n
e idle_4 4_ask 1 n
e 3_exit after_3 1 n
e token_3 3_exit 1 n
e 3_rel idle_3 1 n
e 3_rel token_3 1 n
e cs_3 3_rel 1 n
e 3_work cs_3 1 n
e wait_3 3_work 1 n
e token_3 3_work 1 n
e 3_ask wait_3 1 n
e idle_3 3_ask 1 n
e 2_exit after_2 1 n
e token_2 2_exit 1 n
e 2_rel idle_2 1 n
e 2_rel token_2 1 n
e cs_2 2_rel 1 n
e 2_work cs_2 1 n
e wait_2 2_work 1 n
e token_2 2_work 1 n
e 2_ask wait_2 1 n
e idle_2 2_ask 1 n
e 1_exit after_1 1 n
e token_1 1_exit 1 n
e 1_rel idle_1 1 n
e 1_rel token_1 1 n
e cs_1 1_rel 1 n
e 1_work cs_1 1 n
e wait_1 1_work 1 n
e token_1 1_work 1 n
e 1_ask wait_1 1 n
e idle_1 1_ask 1 n
h tk4