("5.3.1" ("eb4fcccbb92acdb17720b69a8b3fcb5289c11a4a" . "4902c162a043b395e1b46e4e666e9cdedfddf0a1") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"srfi" #"27" #"random-bits.rkt"))
