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 H t, {/]HOLCF:threads=2elapsed=21.106cpu=38.008gc=2.176factor=1.807zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L au}S8 vC)Rdm_̻NWleMl[6lzUٚɲ*Р/[FvP5*Veτ4iks#f]àۆdTiA)e a_d{. Kޟ,e|P]Bcj"'+SsE*AxⱭ@.v|~|3i$98 qFdqugZl*Xܠ)󬢦dn=cd()Tjӭ/5w Q4*Q@K6*cG"z'nYeHzmۍe\09H(8<]M}q 0Oc7蔿gpڭh.4[׾=cr:5H6J֩02y-FfHɄ`w#Ȇ:o,1!pj݋ֳ0 'cٸUwO-*aiՈ8׃l 8tE >{<-B?םN}aP6) HExRO^F6 rSU#)>sy_CGLzszضJz-dF;Rs 1}lxoeicdE}RCL F` b{&(3̽Ĩ; 'Dh,1)b 5(?@@@/mӒvl|ͥ'rԲjB=)Ss;T_ yl(%tzg$+[ oϬ]۲,.鸕Uۻv6dw1@+9&ͥ|PaVʤ%N|)zd6DF19%˦W}=:6~/ag<,86%sJV&`!mY-)u)\9#X2<:*BaoDW),nA,jT/#O=/_o-jvC2_vBhL]fd{&C8|Ϧ} PTMel>90Cs/ι6oTNoԕ]`49K-Fr,Px:q}Vg]QU]'OUެJz ;T7𥆦 bjU2kP.Bg{apznu!7= I'f-&1پs6'2:XmNpE)gʄX7!*OERWB"@<|ٙ(ذ@mH':?3͚0ۘ}(Q6z[x sCb wt@c("VUmXBUR8 2Bz>`}oD R?`ui2և^3&J0)+̭B=OZ;VI3}w=&{T/YUSbC혖'ĀR1Ɇ2˔ُ"Hvҟ;jk' 7ul`ˁw5w ܁,C|宧oH3!7+1u+B/a@*OjňO{_Y4}TT4/v3/fY'zC\2.-줌BL/UY#0";]2dkcq/0jك |ӉC3.Nb*+V¼]xt*v#艞Q9$.P˝hz1m⤘Gf1Inmr' 5tH𻷼 hS+bO}|O ۞M} Bq'Sљith}1UC@kC~`+[ Z>K +ȰKaǂHn&Jܓnx ϭ;XIN9yٔڜ$4a8[u46CDt شw-kп+(L{}6JNܜt qTzl*b犷0Z߹9UV7F0&[ 6\{`F lഇX9+@JB\MEm-5&J0ט/(րŎd> Opz,K=Z2ŧAy4LL+5J⨢ny 1yb"5)^€p CE#Df Q˒KU56vwR'F8MhTBv|sVoڢ(Y@ԣp\졥Hejȓ>})~KRY? g\,;1yrDV^{$;Oi; *^Q2?1aj0'j[v9-mKITSWgf 2o0"} Rl# }}pK]u)d¼DQdqlCV,.M /zx5[8ֆ_-%=C[ H57?892sʻV[ N5k]$Ci]PIÆ=|+JM&/ =]-C#Icsg$⤾ <7 ]%L[M7RxlW0o6ºS]: P%3oցp r`9Jr";?pO3z dVCRB>÷46ZRV$-El=6Z-ڹ#w*cN~d>"B$aoݍL2?Zvg U;ۦUce_ͫHOElZ&aN`|{S92\K_4j^]1xhK-iz"j 4"| }եZZ 6wYLvd%"(fvSggYZ7zXZִF! u]ŗXi%>)4ET%ɸhDjǬ koDˁ} Pj᝖]^ fyS耜8C0eDxy^kJYk;\(`DV\d- I'j)onsA%fz^V [w&M`߳j>]VΘ.0>1su$\X/nl#[Rk .0K`, 2[ݟJKw ^aR."$ܣዬ9C6|x8p9/fcpZ4Fq!jZh:˓ wdPR&UC`V([+QsH9EךFv:,7r z0U$%nUK CcA꘤(iw"gE86w m_7OM$QzxV> ::C^_cxO nb[kWvT_sZ,OJ` 5CNQTP!(qVq#J* =_`){hks wRЙqG-2=n͹9x\7MziajhiqZpA$tH>2 Cԏt_ #;ʾ//_5YTU 8kZN;?Ah Gj7P|2 &K!nߵЯ0`yceAѦ:7`O! Ap>d3PI5j.qPpcFJ=kK (snc~NoCHv{Hlԏכ#~W+?E qKD%wE:ѹ 0#Ԡ$ѳo/i_ޯ:24] T_z  N-|~wZ B"Ŏ=GlrPJQ= u0+Cōn:L λ'GpmGE^jsABɓO'D|ͧm3P#E'X(s췂&P=n]- fZgb|z=l: | ʡT,) n\ի/$v;Z2 Slj^Y?6d^>qE b^%Z#cB OԯvfW& HqBWc