SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 m \L / FLP:threads=2elapsed=20.082cpu=39.140gc=1.436factor=1.957zXZִF!  FLP ]ŗXf1-/6vRZlh[`QA\LA_=c!z|@Qmf>4¾ʾ@ByS6&{b8[b}w)ng"u N^X9p*bdrBnqE0tkW|'wu 5w]-`9i,^ BMH>N%jACV"h~Wxߐ8V=~Kډ5ӟ,:NsS\l=)ʜ<YH.[ [<h;Ȇ횝L7UokL)?;f(&Գ| p.rF5ޯ,M~Oeу#.aBq[f"> )31v.l ρ3 rKQ  꽷]Z-cۨ Ps#wHOqNR(BWҗ@K̿0L9 cȎg$?uE9h T޴05qZ.v1Y߾)('{Op9Wex< j4 'LUpQ쁍b`z^zCNU{\Gn0hY]qzlb0x̠<,!M`<vhQw TJ_UT\|*!?7z_q.[WĮzHI?a -C#apL{csi·<;X_~X~TE0E˓"PݓX^p- N ЫL![isr77pLLdYolb$4E[}Ix_0KϔkF3lNoa{̲PdO^-?WoNRx*Oi7-f5L4Dx=}åmdN #%ڌfQA>]u /U)&vrH _vB?~W'gn~Txq}K$_en\c嫶؇-fϕp+[6vҸ`0VZ:X?5{@5܌={*k72Cpe{{ώH[ ?U|Ca5#8cH&:SX~6MoH_$ 8Q%T18}rk[XZ>.Pfe蜦$/C>LWB:~t$ATzU~{ 7_Nq*T#h&R2rTN3 9",3R!'J7ߝnedHzz ոuP ڶG`;)u bVkSJ?~hf'Lf8~]gf\̷2{a#Nu(%mšC!_8FȠe/γ-O~;r|cem+ $ϝO[ t9tsi+Z̫XGBc}-r?~m}wi`߄MYҦ '/I9;)X닝N@qr"ֹ >f.崴nF9>a`R솺J4%thhoǣDe[.ݜh'J$԰DMP=h$IQSaIfcPX{-F* DLTN-5QJdk-%RPTE%mDrtP-JEm,J(=AiD@wq,u,QOh\61]nt TC ^N<M mpӺ܅ձ&9q:+}{#jc^F=sJ蒇KLJ /F9 DpG7x\ l^aaė],3;3J]fLёZ0h c`u˅L1e*ճfqgIdRĠ&"xKr%m;-ky3R'PsjIMKrd 2H%z>CB+UFY-sQWگdև&,[} W͠khȍ0,2pre]}棅O!hpOjQkSuvb ņ1 b~Z߬!]-}]CɆ 8'Iչ|8o!! Dٌ uF`⯁}zv?4DvK.r#g,H V"bHtd$VScb+1Gt=6ggTEy:#|(''\#`1ڊZ$`z} "1XN0mwgP0p?{ptBeOr>߈75̮Rm]\#, u{8D?̐S ыlm^Xo(S_^R1bT.]u} uq<`e/bCabm)<1.Nl,& )s-*%Q~}j[| GAٿQt( ς5'Od#c`<'{QLZ3ZX@4^tUJ-b 3kl25ѡ oh'حԼt=Tɉ~@|?:ᵋby#Rj8૧蓴!%lzSZ!{hf_혊Fq 'w_ŵͿ+{J B]&9Ũ{XmB1I_CבDv Zm  u;5~A2k-DB_ 1nRh[M5MOU q zqC!Y]B 3^JB[ᡲٰ5%i:3!Ub5sTqVg3,$ڞD{O(疣U<52 A!f[3f4e~ +Vm FXdHngG2>Ξȡ: U1B"n\D._FL+VD:YfhսFcVfu`ZVV;e6c߷>s#'B a5vopo.v}M֧`^j" ȃPI7iQTQk_AfxM'Aƾr3 ^.i ~cbA *6SBdz$<?8e^L0l! 9LqjVf}49ljU5LMYvJc5DGf3֦+YFJD&è6fR.T27'-Gx紕ߛ@hJ2Jy"cJsք[ϚJG *d _SŬLUhk{ lD4`Z)ϊM>L|FR4baCA (kǍ…ID<|dM2/#d6r3.D(Q }h硽s)Rud{AI*ý C뵞;iXE $\ ?