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   ]/ Lazy_Case:threads=2elapsed=3.351cpu=4.984gc=0.220factor=1.497zXZִF! &y]ŗXf1-/6vRZǿWv^(Jsh+bjGqCeKn=H-`cƁ-GVaمl:Nr)H1|zΔAwwHO.aO`gYZ7zXZִF! E]ŗXi%6AtxL 1B%% HݺoT &'Jr u77 ^FӕZ4lҙ$G7#yo lasBGuCCjlPE(]``-zF]c2bqK7!I^D.D"iM>vxſ{/,.U9@= P^y N>qxGFFSO8t8`&w 3ĎVtT )RZf+Z5| FGSn[D7Ccb]za"O&<\Lj/o {qr#,Jê6wH GzOn5vOgYueݷfE6jpY~(vfB^%%dzaĿCn/ \rGDz}g ڑ ]V3b]5"ٗ W*{RVW4O: 9fCF߷_8kNeՠv7vWR)f`Y:{mՅġ3' gYZ2bf981a07d94eb52ab891fcb2070e6d152a821b4e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e   Lazy_Case