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 <<A1 d, ] HOL-Metis_Examples:threads=6elapsed=12.049cpu=51.624gc=3.396factor=4.287zXZִF! Y9]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓Q #ϯ}41gWue5anpK_g| K/m)#U·*Jy#CXD/{4o֩Yd dEQN,)nzy ͓N. 3^,(9(t$|5hF98v,=CwO:EF0rV"uRꯆk"Vc2fbucN=JaULg /je{:jn&:Y&PS+oka$K+j \dU46n3MXβTW2ܽ~dʼn#D:<4[Ry&b&sEklm&z]inӚMPW]iA M(44KW -CjgYZ7zXZִF! ,]ŗXiɟ1$Cܨ }X 6P]!ẞ \QMKѶfIEV,9KXĔ ?qnٽTijyC+U>^l>C~8Q_ys-`;CMvrx%"o՞"gF[Y݀>/90 *: ciQ(G>[DkJZwk[5dB_NKH;DW'4YGXVErb7\A-dz:x8KȎ"$#O~5igYZ7zXZִF! 8O]ŗXi%9#i>gGݖ[# R7츨'_zat A/8~CM8!`;j$ RiPw!d9DQxBal1;`Rܯxvߋ jh܁|_ #Sl¼=΃N-bp+mH}"olQG24_ފmQQRA!M!=k/ 9ueY ?HY2rpr[iEN~xN%gA^64]Tڃq ;MzڧUH@?]zq݅^+ W,Q7\'VATxլx*r7H~Bfhp a:[W'T>  B 5imPuJtBNu l.LE͚,d%c \2Q׃*=+l$r Z \ocPDe驔djt[GcKzG)BJ:Ś d&Y? uiO~N%u_`V%isKt iV6v{3GCz'yT4=2/3#RzfYzPpѤ(I3^r52#iφk]{5Z g` Vl"O|?MyYɤh1_ahȄ+*~"ǝc|,jB} kB9YŔ/9->Wz f`̤K AҒɴaԽGj[A\g@ rw+`ହ0k:Rs{{Il |, _L0HeF"pdy ?6IX碂ᘫSAu}WV)T5^^"9VuTކ"9FkR3yBy >P)ηvBե.ɺQy=M?׹ޗdV.S N?>]̂+P`3x=^RS:̀^mOn}F|v ))JtW}qC1?sU@ G1?@15F5%ǩZ;}YD :!1u^!(k {+