Using O=C(CCCl)c1ccccc1, CC1(C)[C@@H]2CC[C@@]1(C)c1[nH]n(-c3ccc(F)cc3F)c(=O)c12 to produce CC1(C)[C@@H]2CC[C@@]1(C)c1c2c(=O)n(-c2ccc(F)cc2F)n1CCC(=O)c1ccccc1, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.