The market mid-price at 09:00:12 was 133.505. At 09:00:16, it was 133.498. - The market mid-price at 09:15:33 was 133.485. At 09:15:37, it was 133.478. - The market mid-price at 09:31:05 was 133.445. At 09:31:08, it was 133.430. - Orders ORD-005, ORD-009, and ORD-014 are genuine buy executions (note