SQLite format 3@ .  YYQ77Atableisabelle_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, "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  r r-,\ I% AutoFocus-Stream:threads=2elapsed=69.357cpu=121.244gc=2.136factor=1.757zXZִF! [-M]ŗXf1-/6vRZ]](5øF<Ꜣ\Tp+LS)h2)Z@ldc6?i,pHVPX۫4N@~ 4s{^%6T'e4y-u [9Q@ttO0yUE5.JUH/]Qn61%\ Pkf )K( Yt&he/V!j{@X DsI=6X&iྂ89VE4V ): }BVdMs4y?l. }'`2vj8ɮT:ݗ>#m(`h&L b |S6]KL׉cyZ >hYV=LZ{#4 Y-9<vg=[k>2nЭvв4Gk d_\Ho0Z O:o.uSmV y+3~M] -zXS""`)fMŵܨ2)GYNeWUӂc"q\|!dPtczxx-sxB}*,$]v$ue ,89yT;P1<} ;wk.$B$w\-EX@ttr*-@_%8Hv@ݴZ.lѕ!GO0)b/!h_v) txx$/ω OL|1 :zm,O#MXN>0{T{{#yRxC WPC`)Y\?[ܼ|/M$E8J9κQuS0@riW(=p9 ; ",L;t#v w-X:`e8_ - AutoFocus-Stream)a4v6ײ36\)-fTstnA\:\G /Ǣ{O|%Qo CBgYZ7zXZִF! T f]ŗXi%6%4w KI$5_ӄewATj[V#*Y;E)W83!rH'{x\;2j™uLtfsuM9xA[1'o\[frx!mȥ\2h@i>}fRI$9$e!p ߽h6uK>$3ysTJN#VKt (( ѾAo4 դ&Kke݅g̈́AAסJm_E θ AIow9 :.ԁ~4WUOY$N@Xf4q0h*zq1o}L=3k (*1eoyQ7g .BъЭȅ }{bm5\] :F|UOF;PHj6ASET 7źb0==\#paX-x, X[]6KVk%QS.nH5():XW@cHbU[q/C$t`&4:TDsY:!q;F4_޷L holX%[VG]QyXoW5 opO"ffm1T_0!s4 a7;m ׸~|k"զ\gm=_ Uf3˼'A:"g>;&"Xe^gQޖc߹A5nxsd"Sl=޿-eP7+K&.!HQ?xm}t bVMy! e oy)Ҁ!&i(nh!ߥﮏ'zB.Լnn< 0o`Cz[7\k3;>E }Yf.;FY2ܢo%.h2ki:H0sK_u༫@bd ٔIv3GE◾FV?fLw.=&Bi~cQ~UcNb^Bpn'PE=l_ 幌K_;jQ~z=ȷ,p0|V>ͱ=I* JRoo)1 7xP z#[5q7BNiVzFtPq oCRsq(rw5m{YavXbճ<yK5s:,m(&Ltͩ-z!.rV fщB$nrj^ bkTQ;62rj6bBw&)R͕fšG,6w]_">da!ե6cߛ;VT!FmW9X176EH5òq7{ zQݯait::YH) p)BHA-X`-e Z_t-F;l]4T^S t_.'t|IjHkbڢrd؇+T,8&Ugwo-Ȕ'-taqy]-Dn+]Q_oq2JzhZj7U-;Dnf:6¦<ڕ#rMxytgq}<T;e>scOL WgAġ\z~|h>Gf  !X˛hU rL-[x<$pn Mu ;\Avr܅O#<:_~!QӂG S64Sĺ5Z]~a\YA=z4GpOlrf_*-Z% |r/ԛ OT%7%isrǪ5ޛcg 2qA8x p Cr01G {ytC|%7c?ZQ7g,rJ{;TxzHrmbL[)H{TŃ@t{O+oWD?W< %c: HE%;sPSc3%^RTӽ1 hy69E--?3ϓM?n`Dʽ|؞(bD#}߆4?щ7( V܄,|i}?M%gkUpKnr$e;,xuMX53@y,A9b|a؞f[a9M}|-Ŗ=>)p(\)Q硐.V29W'lǽoC0<.l%'6{ >ˡ$$ f}'΀m[~ܞY4Jm̧ӬhFb-\&̝(C<`fgldd̥쭡Kr66b57g{ f;+"Bd~' $-[ME4҂aчyB.iÝ[sAy<ѴZ=Jb/2D9"Jmt/2gMV#ˇ\җ#&WX{A