thr	1	update-select.smack	3769
thr	1	update-select.smack	3832
thr	1	update-select.smack	3888
thr	1	select-key.smack	10694
thr	1	select-key.smack	10802
thr	1	select-key.smack	11147
thr	3	update-select.smack	7105
thr	3	update-select.smack	7169
thr	3	update-select.smack	7179
thr	3	select-key.smack	20837
thr	3	select-key.smack	20847
thr	3	select-key.smack	20807
thr	5	update-select.smack	7093
thr	5	update-select.smack	7087
thr	5	update-select.smack	7078
thr	5	select-key.smack	23723
thr	5	select-key.smack	23524
thr	5	select-key.smack	23555
thr	6	update-select.smack	7050
thr	6	update-select.smack	7036
thr	6	update-select.smack	7074
thr	6	select-key.smack	22844
thr	6	select-key.smack	22729
thr	6	select-key.smack	22481
thr	8	update-select.smack	6979
thr	8	update-select.smack	6981
thr	8	update-select.smack	6975
thr	8	select-key.smack	23430
thr	8	select-key.smack	23254
thr	8	select-key.smack	23077
thr	10	update-select.smack	6850
thr	10	update-select.smack	6845
thr	10	update-select.smack	6827
thr	10	select-key.smack	23281
thr	10	select-key.smack	23677
thr	10	select-key.smack	23410
thr	16	update-select.smack	6661
thr	16	update-select.smack	6613
thr	16	update-select.smack	6632
thr	16	select-key.smack	23511
thr	16	select-key.smack	23262
thr	16	select-key.smack	23562
thr	30	update-select.smack	6386
thr	30	update-select.smack	6403
thr	30	update-select.smack	6370
thr	30	select-key.smack	23231
thr	30	select-key.smack	23213
thr	30	select-key.smack	5612
thr	40	update-select.smack	6302
thr	40	update-select.smack	6304
thr	40	update-select.smack	6305
thr	40	select-key.smack	23490
thr	40	select-key.smack	-1
thr	40	select-key.smack	-1
thr	80	update-select.smack	6052
thr	80	update-select.smack	6049
thr	80	update-select.smack	6043
thr	80	select-key.smack	23548
thr	80	select-key.smack	-1
thr	80	select-key.smack	2956
thr	100	update-select.smack	5986
thr	100	update-select.smack	5969
thr	100	update-select.smack	5982
thr	100	select-key.smack	23500
thr	100	select-key.smack	7324
thr	100	select-key.smack	23316