118
OK ["cancel","echo","help","purge_theories","session_build","session_start","session_stop","shutdown","use_theories"]

