Delete ROB5_port3_nlynn12_jejep12_manee12_kerat12.synctex.gz