lemon/random.cc
changeset 14 8685efdef52f
child 16 22696f89d183