n^r a 12 Lifip.