added bin format to input files and translate outputs valid circuits