("9.2" tla64le ("ff9d695ecd46ac8736d2338bd399972549e5f9cd" . "82c94518f92a80e3c5513fcb740510557bee0b5c") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"strip-context.rkt"))
