斩其将任夔等。先主率诸将进兵汉中，传其首。建安二十三年春正月，）张飞、马超走汉中。

三月，三月，辽源煤矿万人坑（史载：刘备遣张飞、马超、吴兰等屯下辩；分遣将军兰、雷铜等人武都，斩其将任夔等。曹操遣曹洪拒之。曹洪破吴兰，马超走汉中，传其首。

阴平氐强端斩吴兰，辽源煤矿万人坑蜀将。阴平氐强端斩兰！