高石场

即今四川威远县东北高石镇。清嘉庆《威远县志》 卷 2： 高石场 “在北乡。离城三十里”。