What channel has an operator of ivptc?
CREATE TABLE "television" (
  "band_ch" real,
  "call" text,
  "city" text,
  "owner" text,
  "operator" text,
  "virt_ch" real,
  "nickname" text,
  "programming" text
);
SELECT "programming" FROM "television" WHERE "operator"='ivptc';