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 RR  \ )/]HOLCF:threads=6elapsed=15.962cpu=37.792gc=2.184factor=2.377zXZִF! P]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kxEng;Y8qj@1en`_\߉ћJ2ĿgpڞW;+tgYHRΠ0?9v?!Sgv'^ :.{)o5!uÊqk-m&.b ZB0d_NZjr-VX VJ9`e ps?Eqv'BA2'D"g+K-.$t R-ܩ  HOLCFGR?o4]5RpRBTwCdwӌyú_!mr*IѤ9;+rG`S>/L}r4F#\E9\HC@3e&}bP$?N`Kro(#7ʹ#uE)Z~B9Oa$HA;[{0| N*!!W;!fXR1wc~v/J<\w73)F"hBǴfRF.jc`Dr5HP\~D*ry?f+jrhJ^ Y­og,]Vw>G((d8^L-]P%r" #jE ?uh/ʵo΋Kn4xdʒDgv Db"a lRKwfkvh.p]_h|Sw,,`~#%Ⱦ$0(,>o,sMrE}Sfou9XTs)k1gNrXX}ri +fN[dܿh3DpV3L>?@R,E??lbՍa|vũw"]r85 Y`buTb#ԅyk#*3߅d* ;ki}ծF cˬ#d Շ0D m-z.Z R7 #:zOp"vLo8E@㌠$c+Ia8rp(;%N\NO̩ hljHԀN قUb%C` ?87ӕŐ~7ȴ&NaNn 1S2$GTX~s[.IWckNp{Ā0BOih|z%lI@&\)3EVP=DfNjyx!Lig)W 'nod}y$ >g!thAK YGmߦJrd*IfkRfYN￯mX D>&6.7ľcG J [FUCԱ}C1Ӛ[zRIȖ#q鲀 EX[xLEQ('v}{p^g$5eaDf_⢦0u>b >$Дl g/}^qtݶŏA!<ԑ*8Bv$$I l DLqrGa~#Џܜg8) ^Z0q9L4xeF}qc h)t CS7.PRsL1tK;rخ12p2P42v,!ݎ[ټu@ЯQ(.VVFٽG4N,AjF-;n1\p}\d06#n7e0s0akYaO >›ΔǏGL>RW^B UgG/N%FDGe0Y/ΑR+_]ڨ}ʏ0 DK(6g,>F)I,<]ݝKn7)m:zm7WE[(1}SC@-47~&)g/z$JQe42(-ˎ,?Bzf|!&VCB*'=vI t=U>=öD0yyo1`l PYI!ϊM@nt6݆XD 蓘C2Q,H9HRFDV5kc(O_urcZOcOԉK(Ol\h~Ǎ1$Cd2)_ ;Z{| $zX]ڈZ (ʿph ``@rL sSQrőMnv3]TѮgB+sNĬfϵCrUXƒ׀#zD`Y)L"&ӬWPEH_&2Dv&t `vkyv`p,%/ \Z4LT 'PL K)IR*Wِ^$Z1^͵SEgfkf&}8v!<`Yh Xs?qo,"^QS`3Y{ΰeͭuKKmeHKlBosh}H˛"ӌ <:KtOt}c/^57j9a[|O?A=А jPY?Y7$kxR:caWF y`Yh2̹QbiVf>"$/Te~:o4 %i/fBاQ}P1[\;Hf˝;J6i[X0xy[)z%`m Q&wÁIk$ &ZO 7/A`H|;æHzRX,?rZQfJQ@JʝnW(X.ME7e샮LMAڊ/)ɗR#+wqA&d rhRA2_4RU! l+T@kMVPNA!q6d?:_E&9zq9cVYg970O@T DFX"<Ț(rX}*C*jN u)m4Z'?֒D'0!?hY 菆Оyv