SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 c% 4 %S Posix-Lexing:threads=2elapsed=14.934cpu=27.644gc=1.556factor=1.857zXZִF! D]ŗXf1-/6vR[2u)qS?'CΠPhuK!ͶuZa_f 2`4v6=f3|s3_DOk!~[| [`o%eSFe1o#58xU0Njr͜u;K]=_fKh(璀Uaa?J7/.O^SC;7)Ǔ-;CUoȋ& JŻ 2hT֜cX*a  ҬJyGM{_")Gg1+4 w_M8՞gYZ7zXZִF! O]ŗXi% evi($drnhhn8%iih.G˜uOmد¼]B6(%b@QU3'#es{eY:HHW!4|RghՇKֲ#h'詌2C%OiDq'|W0ˋP"{/k{|V}pdO(^E[Rt<9 [ydC gM6^;@Sn>H~;jL1<] W7ԦIң1A$>z %#D"OxvإF3K~yT~ bqjzAztxYJ0Zcs@b"UQDm.2)Rh?XI&暬^Uk"mlVm)M(Ԏ2g~U_N0x#8Mo݃d;΁){ތ(ϓGCM)Y6Ҕ6zPloPLpC3˨6=MXȎ>}2-Ѓ3۠x I\',&i@tb%DOCKC'El,zw"(O{Zkw]GSW _MH {ytqDd.W!Ԝ`ǂ5 jx#Kx8Gg^$WaA7l`{ruHe=}Xck]kA^Fn[e%Md+.M}j8$t G!m7(Z(hg(<&=}rc ܫtGy _pguxߛ4 [PH|֛ϭ`8XƠ뭵̼>mRtK[w/Ʒ~IgON8h?[g3yh0ux@/nh}$Z=$tsGwnǏnaB񉧥q)^(.Tʊ#f JUf3c_:OJ{ߠ<'PY?=,s#KC ̘#,rJ a'2bnI32 Tk?pQj ?gYZ155e566ffe279a8228ba65d38dbe9f08ac4811dd 53a44ac630dd30bd987648a68f2c704fd95ec4ba 70b6156516dedf8c4b101f9047d7e1717eb03406 f4cce8ef5dffddbb021b83d6b068aeb73038c0fd f767bbdb8c9f31d324c4ae5b483b56c867852e40735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 892578b4d525a668a36551b0b93807a41644f9be % Posix-Lexing