Create main.sage

Main for MB-DFA Algorithm complexity estimation.