Karnaugh–Veitch_map loading ...