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 : 4T ]/]ZF-Induct:threads=2elapsed=6.807cpu=11.132gc=0.460factor=1.647zXZִF! `]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb Nj<C?r.gNxsn fJ@؎V_}i91@VI{~2$3xǕg3NjL*XV)\!,'(< ɆrPFI*~OqrQnDuL}NSfTf 2҇.̨]h{/`_%ȉIJn=J<㚜i &CgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەx悃vr;j9<3~ASSX| 5܏{бi eRA[,㚿C4{YURjv|*βXŃ1ƽ F~~1 Ev=ZՉkf` \&e:9~#j;:5A䈻٠ Cu)aP3##%[3U8I92qk[Y(w%!E',6;gYZ7zXZִF! 5c]ŗXi%;bW>8M.Edе֢ hi@ qP UB}+SJg`S^G1"~ڸ\rMj \ٹNA+kl)aG$=L1RpD,3hd٤5}H Ko]2{fQuvjLnlvm,yR%# G_ `Ü[W]"8`5XDՄd_ԔE smAr39AX-W,k(M3G"߫tXv/Yl &Fufb|լ[2<{p5W؍$>Hoz+WP=p#UnKN.6w= &B%rcK |Q؃6%yyt8עAOkK[tVv.Sj+"*fҺ" >=.ItL/mhЖ ygYýaVF D?z٣g~IMyhǚ2k6LjKaM2fȭ+Y6ARCzk4a Tp|' &jT`IhPoLuAggpwv`T&q\@E҃G,څ%i$sz4/ٯj^P׵S4y';޴pYƠBeT_1!3G26O߀fKz6m_J?c;[/5h`< *n#CMge}u"R4