restoreTautologies(); rootAtom = null;
restoreTautologies(); rootAtom = null;
restoreTautologies(); rootAtom = null;
restoreTautologies(); rootAtom = null;
restoreTautologies(); rootAtom = null;
restoreTautologies(); rootAtom = null;
restoreTautologies(); rootAtom = null;
restoreTautologies(); rootAtom = null;