Using Fc1ccc(O[C@@H]2CC[C@H](C=C(Br)Br)C2)cc1, CC=O to produce CC(O)C#C[C@H]1CC[C@@H](Oc2ccc(F)cc2)C1, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.