Using COC(=O)CN1C[C@@H](C(=O)OC)[C@H](C(=O)OC)C1, CC(C)(C)[O-] to produce COC(=O)C1CN2CC1C(OC)(OC)C2, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.