which train number departs pune at 13:00
CREATE TABLE "pune_lonavala_service" (
  "train_number" real,
  "train_name" text,
  "departure_pune" text,
  "arrival_lonavla" text,
  "frequency" text,
  "origin" text
);
SELECT "train_number" FROM "pune_lonavala_service" WHERE "departure_pune"='13:00';