lin { iiiii | i|