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 ? l< ] ZF-UNITY:threads=2elapsed=16.656cpu=29.476gc=1.092factor=1.777zXZִF! Un]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb,1g3lLAX@tl<]Swz}RG6V1YzLWDC{zQ@<&ŝq.ߡY =IF cfܯ$@Tpuܔ㟫(Bw*Bo@K%ò>)ES{-r'ҕ^Sn 6^)eJqg3d c -K!YjP. QZo[H2 {EXF)\M'D2gWT~W֦m_9sѺ3bDX峰z/[k4*#6~I51^jSKNf#c/5DT! EC (d-T~X1(Ip((L [gA/ fk&cq(78H B Z>:O?X¸ SH(a;`vƝt<ӰwI Cex6@އ5@Z2ϻe+nP?(ȴ(T4ᘅ yRϮaLB Y&4 ']5ޓ$"hgYZ7zXZִF! hW]ŗXiɟ9 i:4'9Zfw4 _.9ϵwRݿT$4V`蕩-؊%ϝ20/Z$0erQfqb&Fe}vb%4S(F{kRJZ]0BgdaOK`(Qk=GU 5upd-ai V "]Hn› 08`&f2?Xb8@e6߾!̅H f6G ngsgYZ7zXZִF! M]ŗXi%;Ű;up3%NbA[Lr> $`UIRx*c9^KuL4 l[J_7YxjuƷS3a%ǣf<)K}y5rde}RcP<R$%#)FVWx7|#"gBlDh>mҕ [^E(0KiOjOAE7lЮt^ϝ)4-R׬|C''F6;qzC>a{`$:;)ɸId KW7%1 =շ}n%q+ R3hmNjWd3ͪL@uS[=ysFڷNذȁwz ;gi\)A_ޟPٵ \ڥy,|b&](r\Qଝ@m1}[UJr++ǹrvWԕjlb^δ0+`Ű9I3b*Jf[VQ:i O'0;Wτ`ܰS&zwBFXi*