("5.0.1.5" ("73a9ebe446c7a9155b32d8a962762841fc630f26" . "376366b3cb8fd31b05e03cb5a1843d27daccab9e") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"string.rkt") (collects #"mysterx" #"private" #"util.rkt") (collects #"mysterx" #"private" #"properties.rkt"))
