thr	1	update-select.smack	4858
thr	1	update-select.smack	4783
thr	1	select-key.smack	13500
thr	1	select-key.smack	14129
thr	2	update-select.smack	4330
thr	2	update-select.smack	7048
thr	2	select-key.smack	22062
thr	2	select-key.smack	22223
thr	3	update-select.smack	8279
thr	3	update-select.smack	8255
thr	3	select-key.smack	28631
thr	3	select-key.smack	29483
thr	4	update-select.smack	8768
thr	4	update-select.smack	5765
thr	4	select-key.smack	33847
thr	4	select-key.smack	33624
thr	5	update-select.smack	8396
thr	5	update-select.smack	8418
thr	5	select-key.smack	35031
thr	5	select-key.smack	35036
thr	6	update-select.smack	5967
thr	6	update-select.smack	7905
thr	6	select-key.smack	32134
thr	6	select-key.smack	31796
thr	7	update-select.smack	5963
thr	7	update-select.smack	7501
thr	7	select-key.smack	27790
thr	7	select-key.smack	27723
thr	8	update-select.smack	5996
thr	8	update-select.smack	7251
thr	8	select-key.smack	26937
thr	8	select-key.smack	25946
thr	9	update-select.smack	6529
thr	9	update-select.smack	7087
thr	9	select-key.smack	27693
thr	9	select-key.smack	27362
thr	10	update-select.smack	6908
thr	10	update-select.smack	5930
thr	10	select-key.smack	27959
thr	10	select-key.smack	27525
thr	12	update-select.smack	5838
thr	12	update-select.smack	5857
thr	12	select-key.smack	28127
thr	12	select-key.smack	27442
thr	14	update-select.smack	5803
thr	14	update-select.smack	5818
thr	14	select-key.smack	28060
thr	14	select-key.smack	27857
thr	16	update-select.smack	6287
thr	16	update-select.smack	5751
thr	16	select-key.smack	27588
thr	16	select-key.smack	27702
thr	18	update-select.smack	5701
thr	18	update-select.smack	5644
thr	18	select-key.smack	26737
thr	18	select-key.smack	25007
thr	20	update-select.smack	5615
thr	20	update-select.smack	5278
thr	20	select-key.smack	24578
thr	20	select-key.smack	24461
thr	25	update-select.smack	5529
thr	25	update-select.smack	5226
thr	25	select-key.smack	17777
thr	25	select-key.smack	17459
thr	30	update-select.smack	5238
thr	30	update-select.smack	5275
thr	30	select-key.smack	14590
thr	30	select-key.smack	15072
thr	40	update-select.smack	4972
thr	40	update-select.smack	4983
thr	40	select-key.smack	16459
thr	40	select-key.smack	15528
thr	60	update-select.smack	4858
thr	60	update-select.smack	4853
thr	60	select-key.smack	14951
thr	60	select-key.smack	14920
thr	80	update-select.smack	4764
thr	80	update-select.smack	4695
thr	80	select-key.smack	13590
thr	80	select-key.smack	14888
thr	100	update-select.smack	4571
thr	100	update-select.smack	4644
thr	100	select-key.smack	14343
thr	100	select-key.smack	13896