.swipl_history *.aux *.log .DS_Store *.o