("5.0.1.5" ("7d15174757178810568942c965ca97bfd4cd4e07" . "27a22fb46f7f4e5f95b9321675b070f528c9fbbc") (collects #"scheme" #"mzscheme.rkt") (collects #"lang" #"plt-pretty-big-text.rkt") (collects #"mred" #"main.rkt") (collects #"lang" #"private" #"imageeq.rkt"))
