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  DL ]/ ZF-ex:threads=2elapsed=11.169cpu=16.304gc=0.612factor=1.467zXZִF! ]ŗXf1-W(TUK`NDdQم+%t;6(4;0B Q{>ŷ#^*zY Cs^4-S&"CֆIE[LtIxH߾htZcT(<$Չ>): U1$7Vr<Ť DGcD1O3KbNW. c\3 6va?DƴMTѠidHuWgYZ7zXZִF! ]ŗXiɟ9)u%Sᝎհ{.]]:ӵa0eP})C©A һs# HV~&:A\(/i1e_NRW3JDO <-:##X3CS5dns#)SIM4|V@8`;jrф@*Q5S ) 줝PБ 1 qmFqXgYZ7zXZִF! 6 ]ŗXi%;>u&H`!衆Qq4&eK+pVE|mSXb+!RWXQn pD6?O:8M_"Hf釬w"Tz$7(;Ԇ[غjLLselhܝ@BiՈ߾i!1sawB=-KeVfsg},!z:R\c׏tPL#T8*壴n RU܅6MsOe''Yr. ~y=/O{Euf L҅ףNb^\AOl hPE] t)xc"l47`VctxLpTܐ:\6'jYvk-°~BC>l zܺ'FL''J~#ycM_i~:L kTēⶅ&J f!ݺ TۉMRdWuUK姡5VקŰV`أ빰;+'W/Խft1|.NpU{V;\۩撣SBJLƬ#kKt;+RMIK%vX\7EHOԹ[%Qd{#dgb4]f_) ~5M1dAtSz,R ݯP'"z_z-d\s8 [:d^e~F|f/ݪ'U