("9.2" tla64le ("b49fdef279b2e793cc853a543a285df5bb906227" . "73ac7575c7b8a83ec94954c001e4bc40e48d5d61") (collects #"pict" #"main.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
