EigenEnergyFinder .................\Efinder.m .................\Efinderimbedded.m .................\EfinderProof.m .................\Energy.txt