SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ~ LlT ]]]ZF:threads=6elapsed=12.425cpu=46.468gc=3.516factor=3.747zXZִF! ]]ŗXf1-) enȈA XR„N-M~/$r*0!ZXkC{y0,<'o-t2؆IH{$.kT*m(hS59ܦ,e8buj&H%7uHYJ)AHX[i*wVE'teѬw2`y&[xafu.6%>C`ՍheJ?cdRtSSTGMoN+_Sd؏AQD>30CCW ~b/&#r^[QҞ$NM `/kNg :u+`/ݎ:,mvC֡p{,O*DWʥ0{3N{N}EM3lU!NJ}ӹ>>7c;Ყe|m!jgYZ7zXZִF! 0]ŗXiɟ 1FE`空 i\E\߹ЃhuU{ g_omr1Q aLm~lX18#.!AA;;_@j(ߤ<ԗUqoVǎЪ?2FJ{J@b }ɻ{s:d}Bi ܲ{Aթl_ ka IW|qKR$,}xъJ̋#жbK?[\"6voxLVil\!Yv0(5{kFqN, bZd賸|zv85ja=S># S#[+f\%1,GzaKeΊ0V޻pgޛ"O[EG5"%d9g\%Q %S׀/AI3i)1F{-L 1q@ݫM0(4̩ Zt7ߚPbtf$Qsp:oj\a^AIh~󞭅@5F40gYZ7zXZִF! Fb]ŗXi%E\z >5^`X0qgkܑQޗNB/$odC;k#E` (v0rkP\!>qsn\K J?yt Lv s KWj㕀vyd@5Ѓ}qti5*Y ۀV}D8HsV6Y8V4>Ҫv`c*0mC?xX9AoD{GO lo!Pq,!}]z߉i=wuKdOb#Xpqt+T3>ijOYL80k,櫪t.'{faKWw_̥5VFtwn 8݊6PO`C]Q9܍:HSSyB۩8(l̍wRg!'hv{s8JD'`2E2ҼxQ34W(TI1F4~vSuOB/X1n G9fZI/?[kR.h 2GʓV.숵8?s6k}qVL'x~hAoyUvQ\V/iU.#}͎; } o,l$`1 rn#اm'pfP}>@"HASųЀA#>c HgYZ65513b42ba29506fb95056059d22a03d09dcb24781d1fd0a308fd45942f10777df17e6592fb6726b79be6ee7fe24148a63d46e5421b103e0a40ba2d5  ZF