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  > >?) \\< ]/ FileRefinement:threads=2elapsed=8.443cpu=13.840gc=0.144factor=1.647zXZִF! ']ŗXf1-/6vRZc/[؎ V@zC:K*ѵю_A?I-T#{L8/ׅOZ9CVkf2Ņh%@ǜ@wKB^^?G*X!E#TXYPw:޺&i(^qB2=n*߃+Y9OOEę|*sRKM927@$"v4g;9Z\m-|<łN53da-h&Y䒺Go,AGs,Fpo_gYZ7zXZִF! h]ŗXiɟ—Uޘ[;RjuF1 r4@:Lh~;p*vo{zR.rx|W93װgYZ7zXZִF! 8@]ŗXi%90ù)o%/ݛylWM NzJ H.*kayP̊}_Ky)W`bjk:vs(&峩WjkB&Q!N&rp&"bkybB(8—(XV|Ԟ2αl͌*YNa;D~61jW)XS^dAl,Ҝ/F=Z85oJ(k 5з_ H$inUc%rwV +&t'oϲƑ(|yXNE^/+>WAx:4^Y1IzQ4EA kQ] !'b\4ib dD0n1c!#VBhg,v"H'x-7h[_luc*Xt`PpaiyV)t k⺩.8R;{Δ*X`kaO)pe2oyTJTa2][&/5z.l~RlELv9b["܄ h;1g9cC@xqa2_oV6Rwce,MJؑ4l$YepxQ2e_