Saving data inf binary formalization