Electronic structure of the π-bonded chain model and the nonbuckled antiferromagnetic insulator model for the Si(111) surface | Synapse