I tisdags strax efter kl. 1 egde stortingets högtidliga öppnande rum.