《资治通鉴·晋纪·晋纪八》
五月，壬辰，祁弘等人把彭随、刀默打得惨败，于是西进入关，又在霸水打败司马的部将马瞻、郭伟，司马单枪匹马逃入太白山。
五月，壬辰，弘等击随、默，大破之。遂西入关，又败颙将马瞻、郭伟于霸水，颙单马逃入太白山。
In May, Renchen, Qi Hong and others badly defeated Peng Sui and Dao Mo, and then entered Guanzhong to the west and defeated Sima's generals Ma Zhan and Guo Wei in Bashui. Sima fled on horseback into Taibai Mountain.