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   E% \$ 5]Regular-Sets:threads=2elapsed=46.155cpu=79.172gc=3.436factor=1.727zXZִF! Tz]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE+*מul@'x % Regular-SetsL))0 '*h$L <MbE3繇5҆{IX (9~YcAPU@)oJ NTFpk pt26hc޳cJޛָN5L@.G.b0q{uE/̳P:z"Av`p#FBXnש7ך:tV`Ϻm*fwMo!`%\d:0 Xf<::ywl# fޥ,}hd_)|lUhd[̠=hˁ<:KFzA b w-Ԕ]3)!t+/S'ܸz%!⍝/ϡü`t1:;vײ>kflY $5^zWWⱛ&x k+~dES:n;)+uS1 ϓ{ֽ%ArwoT%GӰKJJ.'g3vz!Q@_tJkCOVMS8;*G- W&$K}GQ"z-Sѐ ꓩA7knL聺$7#@UmmՐI#5'Ьlo$y^V)F+dZ_.iid̕1kѣs!}ĥh{\GCXG4˛>J8U]NQ,[(4Bތ y ln!@k'%uH;Jq#ʾR;Xͦ :|Ű&#F\.0KTN}(:HOROLB&4g.-" *Ҩ0L@uw;,{F}^2u/p?Wf)9̕>RI;^HƩVϭv`JpQԋ<0 KF&j rPQƘJ[uuel`@d ElZ +Fμ\:>J2Ky;Sʁ:HXt3ۭn)~SY`W\yW}>q4_ /:Ġo9s1w]nbnTxSRMrST.XUذ}!C(30!+T#) WP/0LwLȒ~AZ=@3-c52e9w^^ |N?J4PCy)O^A5 Pm6˿P=WFr:Քga ĘI1 mhuX?"mk47? i8k?lYHZw"&RNt܄yxU tz$رLґ]鈑veh޾LO}kjd`nUDJS7 S^*܉,gm(PnV٤2_~LB!8uBׄ |AqdBEuNj}P"Zk1=g;㧂+C ࿮fǮf|BHf-][xXlkI#L?Y,t1PL;hȩm9!B'7at`H'M3 Z .gYZ7zXZִF! ]ŗXi%DQ.jA#Fgl tx' H+e}n9!*rj4"hs%NIL=]t`#|&UNx>z϶^E E) CSL>DBB1õ] ʹP7JNQ*AGT㮗ipVHlJȍm )}Kqp>(X䬓?C&pϴ^}-m^x+s&q 8g ^/wFcSƙ Ο}n ;\3;‚iBQY3ӴgʒI{e1a5++-מ2Y u/ccYK9-Q{º&4<A]eæmo-a3T*Ml\“x 'S'H{/)sQA-!L@liv]͝#D @ GP+:)bKbô|F)$YGǒW3bBn;Ae7L4TI(AMlO-0(j]%Kpt ɛQ20fY}=e Q^s gEO?B)ĿUF2t5v.{qA zjLu)h}ްs4\,]vwHxʏy Tf\>NaEƌQW-M,G6:1 `ژ ύV&rLr:Ǝ9]L#5%؆3Yy[65^C~^$IQ3mcKC}|^1BӦq/^PI?!$wLK4-ΓD6s4p&I+$bp?!VK,:l-Ҝ U Qs6lիOꏋl .vPRfhY%h-kѮFFgF {_K"Y<+p0am<"z{%a)YC"ܰW?LV.MrOq9lltM2n% |D p#L[j+Xţ8i=%VH+`E/Rt6*͆%>mg#";t?œтTH]?>ȲnC>2(@SgH.$Wb\h=u,C`r-9