F12(a,bc;𝐈α1𝐓)