synthesize the traces