var a01494 = [ [ "Random Number Distributions", "a01535.html", "a01535" ], [ "Random Number Generators", "a01534.html", "a01534" ], [ "Random Number Utilities", "a01540.html", "a01540" ], [ "__detail", "a01542.html", null ], [ "generate_canonical", "a01494.html#ga2f17f21ce71bab2f3de9353f2ab02f13", null ] ];