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 //N' tt ]]List-Infinite:threads=2elapsed=25.354cpu=43.656gc=1.956factor=1.727zXZִF! 1]ŗXf1-/6vRZڕ`0 lO"Euy:[d 1t1J7dd 3d襝Be+J: wOg#fogYZ7zXZִF! ]ŗXi%6?1@kzf}G\,\Ʊ4>6'9 K(eR 0j5P !UcTߘ6#'ye-#8d\䵻|uC?p3ٸ a}-NHt4 XLv(>[cĉm\WF()ꜯ-gj9u1l̒$Zpу稳vWG%FdTC@$}VkS`L%Nfc: 북(}M=To`G`Q@ֳ1bx 1ڳ~zd++5{ 0l&`&sR2~'{!wG?dӱK>"hvaE`{VY ƞ0eH /=aT]ƖpAHnT35A6D6WVNH׬ ;kñ 횔KE5VsOAWik9,tTFlp̆[hTr.N烳b{SNoƂTroKZAXۗX॔bqpkms[y77'"# cbv5:m'H`l.VݡtENwsTș0b<PW2XvC^IK5cR5=5W^֓o*D cSj8L_Sti RwY&GQe1z5~}8cnf_+ (h&Z"8=W(KFq^I_ƫN03ΑQ-GLq 9Qc4 _4GȐ0&ÊZZray9;W٦lOӻ=kǴdgC#ebicf+hA hڔ.T::dk̀TZyٹX s0+)YAjME?*7M_XhՌdeG^fρ /1,6P'ի%q7%F$rQ>۰b8${ 5eLe Ȑ1V$YgR#E}PV \ Gde0c9KO`CLxK H_dH!p{8Wsr}9-VmTo#JHIB'&5 J;ď?w{oЂ[)?{CR(d.{Hk*ot;]:Sݖc&-0uآ5LFפyS[-dtTC`>wºH{1$PX~^.( 䬝S`ɽ;b tNNѵaHyg [1\ւfzV$FzV*"|aPub?P I2,]k6iˆξ) BXdmAL<5x)@[j͜˯Gatܩeۄ7}`ӂC*QehƷ *Eyo|p7;XwOn=\= 4n%| íl32C\q\3)´{!UK࣓瓫X$P|@cTkOo2:*t1v- RS!B^ɘ\m}egYZ38c0e3c973a3e67e2b421df44bb2b1d00f4facc1e003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec403130a44d07e73115ffec0ce736617f754f3ec0e80e ' List-Infinite