SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info W' $T\ ] HOL-Cardinals:threads=6elapsed=6.507cpu=34.072gc=1.360factor=5.247zXZִF! " ]ŗXf1-q恈<-¡$johkX2I)']8PIyMϥ!ףĞ4Wۨ^jrhxZ@Z$$u0'(0ܤ).m@]FA}4zA>2BTFi)G/mT/Ofy >+b a)c!+䂪 W2BmPe"*|2f:Sej{q;3dҁݱkzh):.mث*ZH X>[Ut|Ȅ*O9mw`$h  qr"Ҧ,1/^fsC1{mX pjsQr.\]^xKt8 -7\N.Rs[oX 3y!`+ wHZg KgYZ7zXZִF! ;$]ŗXiɟ1?ߟt;9BP2CZz眭5 z m!4ca >)Tӽ$0%P/:zD@: ϹBɐ!IS Qu+'全Id4克sDpMK4 %Ș* fD ~"&wMZ8q*e/]nxM\YM8?ۯsX0cBɋB8-cis Nd%Z剡plۚlKU@i>cna8JeG3rJ39gYZ7zXZִF! !h]ŗXi%96XVL>X>0iir$ %F HX -?_'(E0NjMFf\ ڵdk$7fx됟a$}p\Мp]b?t͐}Q<-Oi4Qĕ*"!j">+9avg}Ejr fCB18vo=6K~bSF!3b/RR%AS!XE! p%y?v'fԹlɛ$X]sv2ƽ_a~xؕua׵'X e {wFP^B䯘y8[1ykf4ԣP=^h~D6l2>N1WA 7j8XENeX:\Rl5-{ -WaBxwgԟJ뱢+1e*يyYɟQ"Z,LFVM:r%fUTF!ܺ%qYM-gK+&j7dԙλP)@DATe޲It+79 y.),@>L.Hnꡨ6.54II؟lx9l0rWdK=rsnEVb_גg&6x/rn,Ax0qpF70Vyr'tमG *ì8HzrtαG&S6LT{ky|+g)ȏO