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 c'd S%]Lazy-Lists-II:threads=2elapsed=2.326cpu=4.176gc=0.244factor=1.807zXZִF! ]ŗXf1-/6vRZǽlK[ j]/x!O ֏Fg!zj9tpEJ-wY4[7Tt$hOCn<)R+d$HZ7䘖b"jm/Z7U3{J!BrUHWGq:;\lxccBsj@'i oC&2:^I8ؕW*?  ԫJ~0c^KMs-}jgYZ7zXZִF! I,]ŗXi% hvXqX!qrJ\-*`)"'q ,{U=Κ=cv%`;!a;{v9u p ܝ4ܺ>)⁣X-=ީGIJV2>ADmg"j 6in㗮mا7C q~dIABY,r|5t,8nUKSdwօRL&(_}e;A hiyK5" nj6KpWwy|v뱬miE)Qx1\WTug#=F2v aucp#T$ϓ|Y;E󺖶]D /q./ $ɦYL$SaPu[4Cz4֥7r cjSEh%z TCꡣc#Tf$Y-@K*G K!jա7- 짱۔q=Th4zԬ7>PB8.LMgYZ07cd6fc0d1d226aaf867878e5be0f229ea689e9d 7bfdf5ca69422decd4ad50f7254a4ef86e92218f 98bf004bc849e9bdb1288cb3aea04b7c22192cc2 e594d0302fc73b9c2525c4f236e433916a8632f0728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c 420661ceb8b00b46fccb091902e005a3c65de64b d118238423fef15266781ac35442285b0916e8c9f7757044267f1740a814e081e5556d46a97d437f ' Lazy-Lists-II