Lista implementada no rio.c, ainda que com alguns bugs com relação a algebra booleana