Function write_instances 

pub fn write_instances(instances: &[&[Fr]], path: impl AsRef<Path>)