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 V TL %w Lp:threads=2elapsed=35.461cpu=65.224gc=1.416factor=1.847zXZִF! "]ŗXf1-/6vRZektZZ/BcHkIv[ W %s%/[)V\gM aT0]M f.9oe^B3s[&=h  Lpe3S n%mRr | )#E QnlK)w^m$GV.4GJWڬd}M͔ʄw!>N[ hAغ BBUs@hL[q+y6h'e`/^f1]Gzj<'EMO0ZM_p8=LS [dfX5M.g^σ|Gg㡓XaA1lX6^qs)ѽM[1 Xle΃>6O fkXd뿶׽"B'I'2Usf,&° ^|\bD"0ڙcIyt #qEB[J?D]˜4kq KZbdC\lS3KVwTJySOˏ{#s?65q<$GJj'[4#=?|̕[ZiU=a !7["7; OVDODL.aNma.&ir~B=죣d5k; (إ f#dm,hc[Intm<41ȸbAA=}=V#Ks<%YScYbz> >ޜjգ[x)֬ ~eܽBgfBD}@cd4gQz8'9ehޖj0!]؝܁IZqeE\~=3 ,ꏖ|` =r뀑jO6 Aޠ"6"j9L<Ԭ%!>,NK.*b.yz'e:KK!&%,ƪh E(͊.S{-N8I@z?;6T`x}Db}+1kEh{h9&UfawNRh9!Wb.r4E ]fL7 @i"7߲'eA$2'D9B\ҷ"M7nXoDGwzMf(BAn_@f=QFm]ڪ8qt'88aތ `رŎɨYR)/ %4Gwc2\NZ3LG(1hb]Cy$#$29,rUL_ pBl]q xfTe? Yk?#lVM8{0͞bKsVf5?aIwVEqN`|@#-zq]ԦN#۱ fnt/;7vjT`ZmP$=} oB$ovCn:3k35д+{e|84r\bYT$.m$)}p5uL3dK[ 0i± 2Z-bCWqŪ 0"J1m w^ gk0/s,%9%.aVI- ;z;P:K\zna<ԇ_~<"̋Ȕp{ Z {e[$پXܝ)&A]5CQBՋpXD90x$e|vMlحlp:oˆֈ_4 `9&iI :5֘CR69C1PDdйj|L):AL3;Bb 5UKV;8%(vV N%>8$tLwf~xZNڷ݈˚:_ߞJXwjʱ9mxԄ2/\c֎&p:y,ę|'F𒰽6ؓ$d*dS)=![rZdԫ#PVV*+J3^pyMP H1SMJDEG]NZ3+y%wNj%Yh؛@u /ڭR ac$g⛰xH13s1%$$GuQfOYIH;)mtN=<=xF3 Py#T 0a.7*lU8}SLb ͚xU sݍvyAY4vI;\ȌmBբ&S' k0xeѨ Tф@>Ar1UΐJ_9`T\4 D}jߕ}&qZY3Ax|$‚(JGyD?ٟmd0|Y8^b=Fl{q'XЦtSWV*MQp~]Omr:_gª[xl )}x%9)Rw1:K?A'θ*nK2tz$("k- :ȐYT+66m)+T(K"i7 $@-""6{#58n bӮ#r|X@*zyX%'19piE]m肆xr乮XO&3|RAW,x>AIzۈMƫ6);6/X&ٟ8E н}T-^5+V8CQ) D8fts=QNӳd o2ɘ l`&(_F-Y D3;VL= EwUzm؈fe$6m̡!CS}k&_C]Z>ί]/⟙ F.+֓DD-"vkX7U piYCSOXM(sx]gEJ^,X1/P}9Ej'NIS09l03UȞ^DGqtV0&w^`6H'ZdGBil)O&IÝg%[O#׋K$N[8vbY'oQq־JWFoab1LC6 e9Bz#:Zn W(I(~ށnJ"|t.ov)* w]cHU.+mω#=BHqmzC&ٷ9[wsk@n:c`lN=)\Pj? qVuDHE h8t)2 Ȳx⥗[|;&DЦ; txJWG}LOHaqKIYO7u:43g (7&%;y?jk@aHE$cF6 7>]m1M QPZt_` E:eNHxπ=vgCWtAI_ _I&Kx?+-h z E~ﷸ:V-sы5౐̐1ո+90?ԉ̀06!oS?6gH?,$n AD?<>RoO8][og/-Mˠ8Ruq]g8uS7~4[hIW) }D--vW)45.43+g3tdTh4>tl4_9GQmZŎlZt7K=ht8|䉾TcYlzgJKUԝ46&TFBZ̋ 8Acq %=獐g)ĺ۸/1 JC9C _GKu}Kn.nkRӌ`@Ml/^`*ڜ9rBjCQCAù(ЯgѺ9ٗt.n1ȆobT&Hz qȱ۟ 2@)>{`ii+s#9ͫ;pf^yKːkLC)mex-A~wjRtݘgԭN_ D%dm:/Hˀ*N6J' ` ZUg-Ĉ#B9Ĥ^ ~tlWLt9ߊOCgbگYlTn8o5n"7)La)/ |"OE5Ocf2Ȼtj3n3?}ϩ,$b%Twy{ 2N֬e A4':%vNjʇ03eÎ֝,kSE%KR_Dp q9$z(&ރL\/{>^7EoX<.T4]+2ҽˆhd:TO^rvs w~{)j]U_i|9U@Ydj"dİ:&fS'E^ WI b_ U9D&hf+Xډpu b^,m֙BRN)By+(sJuNOJkuiLW脻 8'E3 Qߜ= lۺ Y!h0.EcX>hIln?IK)i2͏lkN &;V4?gJb&g[5Xk\sUl*X?sŴxfЊfq! NP~s.z1)9Fe&b{2BT`ۼo$Wq7jH'shN?ƼQ{6\{r4B ~3Sg~O#ۑL{gh>/v:EKSAvpIQɅ֤gW*`&8]G:otAGqDVx##A~z+Eж>P񢈁U'o1<~Bvp: HGvty+%0HALjgGRw͊gԥJJ#&^jxtT"?dn@Yuך{q_O_6% u HTL;9'|&:"W?F$!e7}JD^i^RUcF-9-\̻ݵqAp>V7vef }a׸ {OKSSSэuǞ͚8f&zWa*FRE鍍B_qW32$5`J-"τE@1_PKj&𹟃'BuWq+zȵwH(0;!3 A{5Ҙ߲u/bր&׬p7׷'{H:l ob^k^ԔgYZ1699a168ddb314d54ec3cda089dad5af663c03bf 5d5dc91fe75a8d8bf4675d37bd44ba3f99ff55fd 898fc36bdfb11c07ae3f0daade057467f4607117 c90352b640b748d2304028703132db5d042245f9 df52d5ad8bdbdc6c9c56614a8cc01168fa28924880f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b 9aa367bb8061c194cb2caef837c811362fe2f146 7f0ee7876e08aa57090805217b1394b9328c7d2c 2946e23f197fb182415ab0cb574d5d14ab18d30b 64d00e177e71fbc7fd846bfa1dcd29ffc225f1ea