Premisa: la free list, es una lista doblemente encadenada en la que se guarda los paquetes que se encuentran disponibles en el heap
Hipótesis: esta lista guarda un arreglo de estructuras LIST_ENTRY6, que contiene un apuntador al siguiente espacio libre y al anterior
Conector eliminado: concretamente
Etiqueta del conector: entailment
Etiqueta humana (mayoría): entailment