SQLite format 3 @ - l l B77#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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info R R \)/]HOLCF:threads=6elapsed=15.962cpu=37.792gc=2.184factor=2.377zXZ ִF ! P] ŗXf1-q恈͐7ӺVw;GOy:Cir8% NVhE|wK]az"kxEng; Y8qj@1en`_\߉ћJ2ĿgpڞW;+tgYHRΠ0?9v?!Sgv'^:. {)o5!uÊqk-m&.b ZB0d_NZjr-VXVJ9`e ps?Eqv'BA2'D"g+K-.$tR-ܩ HOLCF GR?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^Yog,]Vw>G((d8^L-]P%r" #jE ?uh/ʵoKn4xdʒDgvDb"a lRKwfkvh.p]_h|Sw,,`~#%Ⱦ$0(,>o,sMrE}Sfou9XTs)k1gNrXX}ri +fN[dܿh3DpV3L>?@R,E??lbՍ a|vũw"]r85 Y`buTb#ԅyk#*3߅d* ;ki} ծFcˬ#dՇ0D m-z.Z R7 #:zOp"vLo8E@㌠$c+Ia8rp(;%N\NO̩ hljHԀN قUb%C`?87ӕŐ~7ȴ&NaNn1S2$GTX~s[.IWckNp{Ā0BOih|z%l I@&\)3EVP=DfNjyx!Lig)W 'nod}y$ >g!thAK YGmߦJrd*IfkRfYNmX D>&6.7ľcG J [FUCԱ}C1Ӛ[zRIȖ#q鲀 EX[xLEQ('v}{p^g$5eaDf_⢦0u>b>$Дlg/}^qtݶŏA !<ԑ*8Bv$$I l DLq rGa~#Џܜg8) ^Z0q9L4xeF}qc h)t CS7.PRsL1tK;rخ12p2P42v,!ݎ[ټu@ЯQ(.VVFٽG4N,AjF-;n1\p}\d06#n7e0s0akYaO >ΔǏGL>RW^BUgG/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:caWFy`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 rh RA2_4RU! l+T @kMVPNA!q6d?:_E&9zq9cVYg970O@T DFX"<Ț(rX}*C*jN u)m4 Z'?֒D'0!?hY菆Оyv