restore planet1 info.rkt