{details = {AST = {abbrev = AST; isDST = 0; offset = "-4:00:00"; }; }; }