“失空斩”是一组中国京剧传统剧目的合称，取材于古典小说《三国演义》，请写出这几个剧目的名称，并简述故事情节。（95-96回）

失街亭：司马懿率魏兵直取街亭，以断蜀军咽喉之路，诸葛亮拟派兵把守。参军马谡自告奋勇，立下军令状。愿引兵把守街亭，诸葛亮命马谡为主将，王平为副将。马谡自诩饱读兵书，违背诸葛亮叮嘱，拒绝王平劝阻，擅自分兵屯守山上，结果被魏兵围困，断水烧山，蜀军大乱，街亭失守，马谡被诸葛亮斩首。
空城计：由于错用马谡，致使街亭失守，司马懿率15万大军来攻西城，大军都去了前线，只有少数老弱残兵在城中。诸葛亮临危不惧，传令打开城门，让老军扮作百姓在城门口洒扫。自己则披鹤氅，戴纶巾，引二小童在城楼上凭栏而坐，焚香弹琴，态度从容，琴声不乱。司马懿来到城前，见此情形，心生疑窦，怕城中有埋伏，因此不敢贸进，便下令退兵。
斩马谡：街亭失守，马谡自知罪责难免，自缚谢罪。诸葛亮虽与马谡义同兄弟，为明正军律，不徇私情，喝令推出辕门斩首。左右献上马谡首级，孔明大哭不已，自责用人有失，上表令蒋琬申奏后主，请自贬丞相之职，贬为为右将军，行丞相事。

略