Probablemente puedas juntarlo con HJSplit
Gracias chicos!
Estoy probando con el primero porque el Hjsplit trabaja con extensiones .001, .002... y mi archivo está divido en .1, .2... así que no me vale.
mejor la parte de las larvas de los gusanos devorando el cadáver.