A este número hubo que añadir los aproximadamente 5.000 guerrileros del Ejército de Liberación.