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 #1dD m% Transitive-Closure:threads=2elapsed=3.659cpu=7.196gc=0.308factor=1.977zXZִF! (Ij]ŗXf1-/6vR[Uy{n > gA[@s)++ٰ4\!&Jc>BOf>l&a zx/4UWϒ-EZPo>^gS+#Y>:r.)# h·$uٶ >G4`s  1 Transitive-Closureco68Π?zj5;aXna/P rc?GL0ӧiNfKH.6SP"qco!Y 7R{/s4ڞB]9PnXf~K8b|e(J*gltM^rnѨg(K ep@u<+ЕŊlT:+F.!|&<;quqdi98wȃIsG8jd),̔cT;\*7\gCtI7+V-o&) ah~h)]{ˋ_^JZ'%Or !EaYXti %>\~ bo"IwIhی,ckk!fY4'`s\ kidi۱*Լ(ZŌp֙rU#i7l$#>fDdk~%,vOAlW6r&?>[L'˅pԃҊ <"MV+=LQ>Tgh/8I',\1$!|>d4ǎcފ˅Fm;sK_LlCȪAsuEʈm|w7"-'C?v >NYHo{KyY93)rR@W_J&68fi6>ijīń` m+[bi! ^pֆhK>|\P@_c+_Vñʮ] yli =_!/@<3x UL^Ad;(ӻXHӠa:Df;P u4$={qӃ@;V1b4`a{~Wwqn^!orf7)رgYZ059f8dce283907703b994b8f3ad7c1a29baa0d64 57d832db0aea24c58f93e26834b9d0b95d5f2f1a 609e7c203fab9c1b15b154da117a3e7fd2df4fda 6f9b654c00c3b3831c2295363b420f3434de18ac 8357add3030daba39d07599599331240c239884e a73e6f31a63992a1aaabae1d886da29a4443a823 e11a13098d926e9f1c520c7b8af2fac038a923ef efd67b472c3e3268099a451e297bcdef800c613a f54397db183df16967fdc6332256a0179adde779878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 1db62621ad4f2dad0ca02fe9208704a369236541 460ff150b2caf972a540d13a95cf6fece585d6dc f01bf50560f3b401ec0c72859f8b4eb2e009df32