("5.3.1" ("e7391c7510459a67a304674c85ef33acdbac43df" . "141813a37fcde729261bde738201638347a38c10") (collects #"scheme" #"mzscheme.rkt") (collects #"mzscheme" #"main.rkt") (collects #"mzlib" #"port.rkt") (collects #"compiler" #"private" #"winutf16.rkt"))
