Wuzhang Plains
《三国志·后主传》记载：“建兴九年，亮复出祁山，以木牛运，粮尽退军；十二年春，亮悉大众由斜谷出，以流马运，据武功五丈原，与司马宣王对于渭南。”