Initial files for resolver formula