Using O=C([O-])[O-], COC(=O)Cc1ccc(C#Cc2ccc(C3(OCc4ccccc4)CC3)c(C)c2)cc1 to produce C#Cc1ccc(C2(OC(C)C)CC2)c(C)c1, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.