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  6 6G!$< / List-Index:threads=2elapsed=2.468cpu=4.684gc=0.072factor=1.907zXZִF! I ]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' p4$ >p{.32>'ޫB =#{{S؜mk'$ @m*rt};YKhr2,cȐao^;JtQsOQy3$;$SnfFiJ@n) *J}+$UB2lڰ_p.Wc D6-;ntcڑف_L}ʃ8\%Jft;%fLH㒌)jFMLWR)L*tOա Q(PrQأ%Zȣt%ߕ,cyɬNȎqRo J n}͹6kX|5[L|^877=l$퇿,[cL ?˚LBlͦv?0Ց"vvd"SszL7덺8CT؝-d*,gYZ7zXZִF! ]ŗXi% NJK FzPS0+4ÒG9TCb0p\ӀmD^p=fUkۡ~B(-S>LՓ<6^f> YoKE\q`jADQEm$ ?"U9RNm0LbMlA!>$BʈHK.{yI݊B_(E*+i(Y\wEOǠdEYY1 {6 Wb U6mv ; Ժ{*c)P.Bӎ0%hxx73vO՞cspf6 O[4FpTEG ̍VlI$ɶcc&b?i@A%X}";OՄ : 浖Ix@e؉b /iR!2||h( d4ٖb8a`|dd}QQuȐ)~܎gYZ1c7c9d56d0ed3378328ea8e8337b2f93f9bfd51f aa8081da44f277d5ddd7f6b923726c65686f8918 b1ef7a3ec85404c96c4b02989c93710eb0f9d363728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de  ! List-Index