gl-abc-input.aig
gl-abc-script
