("9.3" tla64le ("5948099ae1b2f42b27c209028459db2759b16e39" . "d2320db71f3572060f647385a8eed0ff4be9137e") (collects #"racket" #"date.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt"))
