G s0 token=1 waits= t1.cs=␡ t2.cs=␡ s1 token=0 waits= t1.cs=␡ t2.cs=␡ s0->s1 t1 s2 token=0 waits= t1.cs=␡ t2.cs=␡ s0->s2 t2 s3 token=0 waits= t1.cs=␡ t2.cs=␡ s1->s3 t1 s4 token=0 waits=2 t1.cs=␡ t2.cs=␡ s1->s4 t2 s5 token=0 waits=1 t1.cs=␡ t2.cs=␡ s2->s5 t1 s6 token=0 waits= t1.cs=␡ t2.cs=␡ s2->s6 t2 s7 token=0 waits= t1.cs=T t2.cs=␡ s3->s7 t1 s8 token=0 waits=2 t1.cs=␡ t2.cs=␡ s3->s8 t2 s9 token=0 waits=2 t1.cs=␡ t2.cs=␡ s4->s9 t2 s10 token=0 waits=1 t1.cs=␡ t2.cs=␡ s5->s10 t1 s11 token=0 waits=1 t1.cs=␡ t2.cs=␡ s6->s11 t1 s12 token=0 waits= t1.cs=␡ t2.cs=T s6->s12 t2 s13 token=0 waits= t1.cs=␡ t2.cs=␡ s7->s13 t1 s14 token=0 waits=2 t1.cs=T t2.cs=␡ s7->s14 t2 s15 token=0 waits=2 t1.cs=␡ t2.cs=␡ s8->s15 t2 s16 token=0 waits=1 t1.cs=␡ t2.cs=␡ s11->s16 t1 s17 token=0 waits=1 t1.cs=␡ t2.cs=T s12->s17 t1 s18 token=0 waits= t1.cs=␡ t2.cs=␡ s12->s18 t2 s19 token=1 waits= t1.cs=␡ t2.cs=␡ s13->s19 t1 s20 token=0 waits=2 t1.cs=␡ t2.cs=␡ s13->s20 t2 s21 token=0 waits=2 t1.cs=T t2.cs=␡ s14->s21 t2 s22 token=0 waits=1 t1.cs=␡ t2.cs=T s17->s22 t1 s23 token=0 waits=1 t1.cs=␡ t2.cs=␡ s18->s23 t1 s24 token=1 waits= t1.cs=␡ t2.cs=␡ s18->s24 t2 s25 token=0 waits= t1.cs=␡ t2.cs=␡ s19->s25 t2 s26 token=0 waits=2 t1.cs=␡ t2.cs=␡ s20->s26 t2 s27 token=0 waits=1 t1.cs=␡ t2.cs=␡ s23->s27 t1 s28 token=0 waits= t1.cs=␡ t2.cs=␡ s24->s28 t1 s29 token=0 waits= t1.cs=␡ t2.cs=␡ s25->s29 t2 s30 token=0 waits= t1.cs=␡ t2.cs=␡ s26->s30 t1 s31 token=0 waits= t1.cs=␡ t2.cs=␡ s27->s31 t2 s32 token=0 waits= t1.cs=␡ t2.cs=␡ s28->s32 t1 s33 token=0 waits= t1.cs=␡ t2.cs=T s29->s33 t2 s34 token=0 waits= t1.cs=T t2.cs=␡ s32->s34 t1 s35 token=0 waits= t1.cs=␡ t2.cs=␡ s33->s35 t2 s36 token=0 waits= t1.cs=␡ t2.cs=␡ s34->s36 t1 s37 token=1 waits= t1.cs=␡ t2.cs=␡ s36->s37 t1