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 83  S Efficient-Mergesort:threads=2elapsed=11.888cpu=17.096gc=0.620factor=1.447zXZִF! p;]ŗXf1-/6vRZCV4 JpۚF։}fj.gP {{ @> ,BN]9jÛ̶si 2@18}q1(~z]Jk-IruK=hkGGQߑ>Pvc#D5k5nZhK]Wcuu]zqd=55ϊ*Ǎ!r? L׎Ye _ - @cT?>, l@(0r=}ZJ%h Q7IΉ<߯w$07w?muP#o|a:#/mc^M-eZ5σ(Uj*{3.e[NjB hDz :R%ܿ"s_hGW,p̞Lam5וi'N&e1 [ ($q"m8Vh$&}YDF|_ik_\('p}UU\xmfdIH\!naXa&˅9 `nSxH5l0XI5i/^;p5wgQ$p"t$@˻eQ2.RfwùDS} X[RFrXYJxvb[G$ <v2,i-E۫x"̩3fԜfQ%.3uV&7ݯ^sEJi!~Ёn8T,@\kC`*Jz>M sl4z E0e1ݲ 7)o}ŽD&aǝ)Ƹp!!/",q 2٘*RwCgYZ17299d3ba8717cd4b2446b784f149c5440aa8081 2b44293b6dd20a34d66bcdeac57b17e8d0e4c8a8 338f5fc9e0a7f2ef67811da5a8179f13449066e7 994a0fccc0fa771e9040b466dda92c7b26d3507b728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c 3 Efficient-Mergesort