Using CCCCCC1CCC(c2cccc(F)c2F)(C2CCC(=COC)CC2)CC1, O=CO to produce CCCCCC1CCC(c2cccc(F)c2F)(C2(C=O)CCCCC2)CC1, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.