("5.0.1.5" ("832b55675617218fe6ce9cf43d9f47b2d6faa268" . "5d9dbf022384888ec7b47a93e3614aa1cd5595cb") (collects #"scheme" #"main.rkt") (collects #"mzlib" #"etc.rkt") (collects #"mzlib" #"list.rkt") (collects #"mzlib" #"math.rkt") (collects #"syntax" #"docprovide.rkt") (collects #"lang" #"private" #"teachprims.rkt") (collects #"lang" #"posn.rkt") (collects #"lang" #"imageeq.rkt"))
