symbolic lot_E;
{[k_w,l_w] -> [k_r,l_r] : 
1 <= k_r <= 12 and 
1 <= l_r <= lot_E and 
2k_r+96l_r = 12+2k_w+96l_w and 
1 <= k_w <= 3 and 
1 <= l_w <= lot_E};