>> 18, 10000
>> 13, 5000
tst3 size: 7895
tst3 after, depth: 17, size: 3947
tst3 size: 8831
tst3 after, depth: 16, size: 4415
tst3 size: 892
tst3 after, depth: 12, size: 446
tst3 size: 39326
tst3 after, depth: 20, size: 19663
tst3 size: 8867
tst3 after, depth: 17, size: 4433
