F1: Prove Shanghai