("5.0.2" ("73a9ebe446c7a9155b32d8a962762841fc630f26" . "b30a0dbeb10db3ae84dc66e6b546eea65baa6ca3") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"string.rkt") (collects #"mysterx" #"private" #"util.rkt") (collects #"mysterx" #"private" #"properties.rkt"))
