Karnaugh_map loading ...