SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  G G.-C{,,{>*F(ՌnUBB0N^1.*0"MW9_p$5@$ SϜ{Qs/8ʲ? d" )v 19׌E3{'*9"޳mOPS'}8t q-.G0z2O{a_3-M}UaEu*fJ^M] k=Q/%T° A6үe v(, -W _/EbUB7-ϤΑ#67GzkAI'ףLfsқ p'GQp"K1`E&6 ,1~Һ _a2a< ܘݙsV#W_hە33FI2kSl{Q߿t ] @ZPkēRK|`_&;AUyY1k,# 'Yt7Oն^u[ԝlȉ=A-=aV%dTR$$F\^Q`μ;J[w9o >?k)&\9ܐ?w9v-b@yaU~{KӐvD%hEېz͝yf |-'. !9 *>$Erp6M"kvEl.%9^t3 >1={ biqsQЍ/u* 8jer 闽ePp|P]\wd,l_WWFq>́*nE`?$o{#_Jwoe _Xm\JM,11fMY - AutoFocus-Stream>޵tyse+-Հ_qyv21d3<` /F k/zlgܻe[G諈h0 Xؖ 64.k}{I&U:>g)CCjik&e^V4]+;M𗅥ާ<?9!aq#A ޔEOL5M|=V}Q6 ILC؋X>PCY ŧcDkQaLuٸtB)0 ۖoŀ4 f37 $t<sfm|6+j'yOWʔFa͎}:gYZ7zXZִF! )5 _]ŗXi%92Aj_ʹ1)֗[{PPm Q{8`mSr3"pUcF٣eONOy?Va٫"%'ZmBw"U(tʤd18d>E J[ᩚk=fZ{fU}9',OM<{F…'IWRӘsν(cXT@Jzi}!Ğ"cV>{v^CCYN%%'aC $C_ Q^HVC g !|͘fCGB#( ew g,|hwU~K%uZf<"uZvct_2 gh$<0{%L#cZ3m84GU!6VC~+6heIgT{*)dϴN*~>ІB/6|犧 Y M kJwC$D=6_M~퐓%ehqZaɢZ[  yBQwfhNzt|uQkM*5U`%L9HWB쿬LuWuohb[BfMʢu]}k k6ŽvIA.؊ YsC%5ꚵA!Uw@6^p¢:kǖ\ڸN?(-#VjveiJ ̋Fj8 P7v+?zp)F|Ğ^i)_1"4BÚǞY)'=~0F6R5P/lf%8oWo.j!ҳsٹt6ր02g9m5,#DVr=(z 8q 1ceb1C 9 32){wDl̚\.Wz:8nRs!uC("βI)-ctWAlR'h=#ҭh7j@Qlc ĬK6TE?ڻ2t8%|u%Ek Cػ*T*u8]Ь@`c*sšZ*;5g;/עx2‰J42Ky;GM蘇4XW^|퀱e csYTzn Q˔ ֵ[=kxs Ze gR@m%hy`o+#[r2}s ؄MftS W@3>ic>~ZBNf0 >NLT8="#ma5uQZcn\D= kK $Kު+\ev <{ RB(9IV$XulKx\KGj$'wf-UגbKn@Ù4vxHy/OF3Ui bN+sk]5-|]=d7J_F*؜_{2# t5 (YM:2]&nV Wf"HD) nx8U@!Ptfv#Υ!{`5B褳BoFqVC|=#]J& tI[@;BǮK _JGQR{*WP9,Df #oC FiEi uYȾ\0oQ4c!b>wh(U(ajYJ $aٛn'WMkdw*UN"YCz*O2*P \Mnn[zikЫȁr1A>䒃'&I(RWU#qа[fBGp"|琶۳n => wg㮚=&LXqKr4Ok?J1yl h#EAP;q؁]?ltongcE΀z>VB.csY{fd0e`MITX4#sf:0hCI5F@[*C7nEoDXH[{ P+2(k ( tJ~pB7nV+PcIk{/aiKbmu_Q[=/ipXW!'g 5ҁ)2 )_'1; r!.کh(0T pȥgwo"SVti]Hf9+t9G8K8E4|T'Y14ԥ_)Mks-A|I":u6.PP\j& ëG.Py +z8 L|.Tl?;W?C(t=]E۱K!W.ԹpR5zD b:yXfp_sUmYxw~b*)iC$"W)8+1RQG7Te"y_XzWtn}SA!:L| ZSٔHBJ=l"X>gYZd736e4c423a09bb5cb32afbf2795430562608bd5f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 daf773399df2d213d8f31040a17ff1b2e88164e2 16b2a742d1c4270a52edc25e5d8acf947cd31ca5 17cdf993a1f0f1db764a8cc012ff704090675b99