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 zzo5 Td c/ Priority_Queue_Braun:threads=2elapsed=18.274cpu=31.972gc=1.548factor=1.757zXZִF! { !]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-H) .fX=YP+Jl4D̐T->2dpmI#3NY^rQ3<$,_r ZUngG! gҚ뢔U<" +fnϻ&@ٿe!U5"%4>/n  ΞE 8CW'T%=&~c o/E%W囐efKf˻[ s@0=`LYѿ.|b& _5\'-:ޚˬXyx J2\uR#-dջ ZcӘϣMo,ryv  I|ج46T.6#,-Jt*;L(.\hKbus 5 Priority_Queue_BraunDhs#bQ;|[1=8Jcx/ݿ4Wϯuq'܉iKsS䵽JLs`!_g4$=CWx+M;ԓbLL\}ZNXE"k'Jf5g+k['8/7_O' z52CLO̳j[W.h^6}:x臿dv0?e30 febDQ~t89ަdz'vLQg2g~4t)=UD6&U^gs7=K_"Vޯ Wl[G6eo>r yj! hߣibg}gigϞG}YT{v vfw*x z? 6)zx״kN׍6@- s ^egf)o-Ro?&&L+ΰSY=g2eݤ} ߜrND~0F 8"N>tHMz@iEb5N(,4M}alXҀRqh,ye>>+ڼ)mF K H1־C%]zđ»3bdp˜Du:!P˵$bi1U/[U1I$mwy7WRoM'GUek2#)+í0,ߏPSx͸""ga,u7te|ܟs$kbky%D.9{R J3-ƑqbI+47/KsY)q`Fz$`?F#᜼Gb\Β$wگ)T((~ga={dĽ*LЂOkXYs>=D$lbvLIMag hc=\ݩ f2~xpXQ S|HϜN!bu,F`!V<FRR8+O p/mWl2h_|NDdžzqiTBlJNA .!$@(tEh7Lz ݉A0[C{.^lq| b "X"橽JfOÏqKg{5U4a@/ɍߢ;߭$K4uap \گah&̳GRoq9G*%0&('c:91KˏG騀ca<;WQ+,/N%OdhB~I/Lo]\ *2 9~jgs9gܝ0.IoJX-_U.m:qI4o%H7/iB^tŃkIwK?7IXm [.o e U*TvH}\i:ij웤 7>RC Xھ-liCow7:JgYZ7zXZִF! [)]ŗXi%DQE6hc ? I+rV9Rl,{֕j68y/ފbd H"!L,F_ooG.60# 9iqgKS;w|S  AhSF+/ޚ9K)~`FnfFaDk JH& g,߇4S5YH0z[~F+.-X%9`.(}s(?` ",0pc\:ZJcl~= _ƶ3tpI‡aFߥMYnQTx{zCO 6DN*_s8BbWށuqe*`o30a̩;:3&#`mJyk bJ0i!uʼg!'Y{_߇yfiP.kO,RL#Bw9rkIfQPxYT-sv{!{ΓD$ PtY'|@>+"wܞsx`W| __0%;@nrq?r;[{U]ޢTKUk݈6Pfp#߱iIaퟫ4SN(}Yh{dWOiRw1s~/nw6l!LRDXeՌqJd e>wX6_]q\^2#,p ,Dc ؄\as +ٜ )A3-;i,