SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 vv <l ]/]HOLCF:threads=2elapsed=20.070cpu=39.780gc=2.988factor=1.987zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VB(\-QG.APT(bzFI1xplE蹍F77l _؀!WR ]|>EQm]-G%GԼU`1;P[wO{Fp1nI8_>$dC)2%a,7^j;7~]^EM$񍴯`t2HQmʱ#7EO50U Y+-vG..+&3=Cj8FznJAAe4Ů޷=#0/rư?dktVnusYHl+𤔨iEPEe4keN}|_@!G.H;+%M.ױ*HOxU!m[Xf q mUO]|B~3;dp0-PY.Ia$#wF0_ݯB3QaUr0vL@ĄLL[tiv&?q@Rxi{ I8{^#LijyC;:)^om j|dˣ_Ydpk1̸l"|cɇiâ;*vFM٠zo{Ep#jѱgYZ7zXZִF! H]ŗXiɟ1˦r~KunύNN{Ib !Ḛdpԩ _X {iwH\L2Pǟƈ 2woN "vl BߒBΚaԾ;*bX\pAW֮svDU.$_^1L8RqjHHӲ˟q05\e$([4V2o-|_Ӵk^>41uňF;B:fYAa [Xs>ӈ}]P8:,C$$@tИ1ܡ9CO~HPyc{Խ>UM&Rigx'5h+lAJ Dy@ve=#b5O^TY#:*yV-}!Tm[7M߈W)?TRw7JUc+4ұcp+|1qgb:y$gib  YIf%d9P I-Ҋc[Ȼ_oN=u_@T9qL[gxnl a>Zp@:]j.:Wkg Dԝ(Wo %U$wg W>$fMv%Y+6JQ~ſ{ˏS "IxĀ|P|9Ɨ*i{1ѱV9WUxA~@ns!F[hYaN L_^Q/CIIa.bTz:< nԲ]n2OdC]+P@U_OYf|fﳊ!1zÌ} Ed]~H1:T;:" |r#NV懧o7C8CFӧy9sbQ U ^xXvn0zɓ$O@U{E)Y {X=/ӚS*+ l5j w\':˙4}9jRz(꧋@G^IQPyUH6* s-gYZ0b3bc1359324c419b11edae80ede7e00881461db79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6f1c129de9d48b6cad81787697109da60e36cf859  HOLCF