bin
flattened.states
flattened.xmi
