P0 PRE_ENQ v1
P0 Enq_empty  old0,0 new1,1
P0 POST_ENQ
P0 PRE_DEQ
P0 Deq_one_item  old1,1 new0,2
P0 POST_DEQ v1
P0 PRE_ENQ v2
P0 Enq_empty  old0,2 new1,3
P0 POST_ENQ
P0 PRE_DEQ
P0 Deq_one_item  old1,3 new0,4
P0 POST_DEQ v2
P0 PRE_ENQ v3
P0 Enq_empty  old0,4 new1,5
P0 POST_ENQ
P0 PRE_DEQ
P0 Deq_one_item  old1,5 new0,6
P0 POST_DEQ v3
P0 PRE_ENQ v4
P0 Enq_empty  old0,6 new1,7
P0 POST_ENQ
P0 PRE_DEQ
P0 Deq_one_item  old1,7 new0,8
P0 POST_DEQ v4
P0 PRE_ENQ v5
P0 Enq_empty  old0,8 new1,9
P0 POST_ENQ
P0 PRE_DEQ
P0 Deq_one_item  old1,9 new0,10
P0 POST_DEQ v5
P0 PRE_ENQ v6
P0 Enq_empty  old0,10 new1,11
P0 POST_ENQ
P0 PRE_DEQ
P0 Deq_one_item  old1,11 new0,12
P0 POST_DEQ v6
P0 PRE_ENQ v7
P0 Enq_empty  old0,12 new1,13
P0 POST_ENQ
P0 PRE_DEQ
P0 Deq_one_item  old1,13 new0,14
P0 POST_DEQ v7
P0 PRE_ENQ v8
P0 Enq_empty  old0,14 new1,15
P0 POST_ENQ
P0 PRE_DEQ
P0 Deq_one_item  old1,15 new0,16
P0 POST_DEQ v8
P0 PRE_ENQ v9
P0 Enq_empty  old0,16 new1,17
P0 POST_ENQ
P0 PRE_DEQ
P1 PRE_ENQ v101
P0 Deq_one_item  old1,17 new0,18
P0 POST_DEQ v9
P0 PRE_ENQ v10
P0 Enq_empty  old0,18 new1,19
P0 POST_ENQ
P0 PRE_DEQ
P1 Enq_empty  old0,18 new2,19
P0 Deq_one_item  old1,19 new0,20
P0 POST_DEQ v10
P0 PRE_ENQ v11
P0 Enq_empty  old0,20 new1,21
P1 Enq_empty  old0,20 new2,21
P0 POST_ENQ
P0 PRE_DEQ
P0 Deq_one_item  old1,21 new0,22
P0 POST_DEQ v11
P0 PRE_ENQ v12
P0 Enq_empty  old0,22 new1,23
P1 Enq_non_empty  old1,0 new2,1
P0 POST_ENQ
P0 PRE_DEQ
P0 Deq_one_item  old1,23 new0,24
P1 Enq_non_empty1  old1,21 new2,22
P0 POST_DEQ v12
P0 PRE_ENQ v13
P0 Enq_empty  old0,24 new1,25
P0 POST_ENQ
P0 PRE_DEQ
P0 Deq_one_item  old1,25 new0,26
P0 POST_DEQ v13
P0 PRE_ENQ v14
P0 Enq_empty  old0,26 new1,27
P0 POST_ENQ
P0 PRE_DEQ
P1 POST_ENQ
P0 Deq_one_item  old1,27 new0,28
P0 POST_DEQ v14
P0 PRE_ENQ v15
P1 PRE_DEQ
P0 Enq_empty  old0,28 new1,29
P0 POST_ENQ
P0 PRE_DEQ
P0 Deq_one_item  old1,29 new0,30
P0 POST_DEQ v15
P0 PRE_ENQ v16
P0 Enq_empty  old0,30 new1,31
P0 POST_ENQ
P0 PRE_DEQ
P0 Deq_one_item  old1,31 new0,32
P1 Deq_one_item  old1,29 new0,30
P0 POST_DEQ v16
P0 PRE_ENQ v17
P0 Enq_empty  old0,32 new1,33
P0 POST_ENQ
