Delete 3031_lantern.c~