("6.12" ("656f43228f6f6138c8c75c8b14225171904ec418" . "dd0e5b40c80bcc9681a9f48605dc4ce62817aeeb") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"strip-context.rkt"))
