drop table zipcode;
create table zipcode (
	num1 integer check (num1 between 0 and 999),
	num2 integer check (num2 between 0 and 9999),
	address text not null
);
\copy zipcode from zipcode.dat csv
