Greenberger–Horne–Zeilinger_state loading ...