1*5971e316Smrg[n] -> { : n mod 2 = 0 } 2*5971e316Smrg 3*5971e316Smrg-1 4*5971e316Smrg 5*5971e316Smrg[n] -> { [i] : n <= i } 6