Map<String, dynamic> toJson() => <String, dynamic>{ 'base': base, 'counter': counter, 'operation': operation };