("9.2" tla64le ("5948099ae1b2f42b27c209028459db2759b16e39" . "4cdcb56a8ecb4f60d1c8401ddbe9ecafb8845313") (collects #"racket" #"date.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt"))
