Map<String,dynamic> toJSON () { final data = super.toJson(); data['v1'] = v1.copyIntoArray(); data['v2'] = v2.copyIntoArray(); return data; }