("5.0.1.5" ("5022808d92150e8453b4e613cbe2eacff850fa04" . "e029fe5d4a4d8577951bb1920ce4c3606080c8c4") (collects #"scheme" #"base.rkt") (collects #"scribble" #"lp" #"lang" #"lang.rkt") (collects #"scheme" #"list.rkt") (collects #"scheme" #"math.rkt") (collects #"2htdp" #"universe.rkt") (collects #"htdp" #"image.rkt") (collects #"lang" #"posn.rkt") (collects #"scheme" #"contract.rkt") (collects #"scribble" #"lp" #"lang" #"reader.rkt"))
