CREATE TABLE web_otp (user_id varchar(32),
                      last_otp varchar(32),
                      runs integer,
                      seed varchar(32));
CREATE TABLE web_session (user_id varchar(32),
                          session int8,
                          valid_till int);

syntax highlighted by Code2HTML, v. 0.9.1