SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info kkr D k/ Huffman:threads=2elapsed=11.565cpu=21.684gc=0.544factor=1.877zXZִF! >&=]ŗXf1-/6vR   HuffmanZ7Y#Kȅ |[7fn 1Qq`*`,:7]hc~eqʛ Of\ /AM>QB/{̶VŠ.Ƨn4CgOOAGq&N*h E76*g)7΢t(BaxkgOw"߫.֕!Ury_)#ANnwf["$'nۢKU$fﶄojAoS;Zj ~MVTR}=mф~]G U Sz(t~\SH%B'< WJtM1 /qj6( Ї_ &n×e^R$_Ӻ.e_4TXX\nxZ"U \wnto?^:UxYff nx׆ƝGVל!t !S fp.EjcRP#sA@ Bs!&LDf5h, C|>4T!+Xf=SR>K܁WW3W6R yahDϒRuDMhYiWkQWs@#̋Jj/}Z -qxm9.hMQ:@y~J$NWE=pB`SՀ;(һ;!p(JEFQG漑Z.Aj ~MBEA%r%@'wӵI 1E_rI?@̎M 2o:!Ղ鏬tx\}c]Ukm;w^#k>!_|M$A0Ï^jC;Bľ{* j[{PQ/8KEaGϪWI$hm5kA+Q'Gnѯ;~Zf削j֞f