var structSavedRandomSeeds =
[
    [ "interactive_random", "d2/d71/structSavedRandomSeeds.html#a1f435b39037eec7ea2b444bbc60eeba3", null ],
    [ "random", "d2/d71/structSavedRandomSeeds.html#aef1bcce5bd1abae59b90422da35e9d08", null ]
];