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 NN D +/ Separata:threads=2elapsed=24.203cpu=46.444gc=1.640factor=1.927zXZִF! C]ŗXf1-q恈NucvAݪ4 c?[2C IfW/`}xuW!m;:~XOh˅M4tnWes~IBTEPE"TB-eCS[)g:>$Þs ZP<&Z2r͊)bV'EAT^΀g[keƓ2SV}S,H;sam'yԂIg\/J?gȅa0䁮.i0H9-i2)pħ1   Separata?u~|=`ήsV)iNYLwO'/6B6!=婬T1N,sS7Ua4AacF>}Cptz檐 pV) ҶDYv`⣞}a- Em Fl Y3`T;ˇ#sϱYU8@~ EnEr (`ܬ8;;?@:C. ?}d֛͢QCf =\ߪe@o]}4_(AU7Iv>p7АV ꧈PM 4%T:@nJN)q9O/Q_Ӿ d+Tt \B[f .kI>io3쑃h b oLc/Myn166j2 &f\_ta iYI_?[/ 7GFg&-bke3AIO4gHYSup kMø|olˤCFMqocnRNU0WAuM J6sE)~qR(W>Ev9C߈h睑A3X@Ty JflU-=_CM><7T^r[JqКUaod6mߜ1VMK5km@_MzFvrgn ,$jU%5 'ȖDYr )?ӘQkf][ 0j[1aekxfQЋmtruI]< tG@mwwտ~7/5$Vz8*Ԅ:\̸T;'AӽBg"8{_@Q|Ih}2ѭi2ȣwC).0]dCS0֕<}$M3t۾w4'6dC\-ro ٘c2՛Fѓ9G+ᄼ'C\IǶ{ ,9s'CE4KGNה`t .H4Ar,= xCGU`ō*~!gx]M塅u0JncK?_Y9:4WGpvg',H4Z}(w|iʅbU)bj>#n9I+,GfN*uEanhIA70-xr@@ؔ ${s5sDy,Nؿ~e*}Rnń"o2n[я-A2t4 .+O 1^k^p &Bn  pH/9O8긩#4RG7WxJ 哹.|Y7ku ҤAXWOU:l0=~xW'J\S4,dk,'-1:JfT aib ̗E֓;5>AS7,QI ;~!"YX uش 8K),A>~y_^.hQq{Nr G(VTz{.[iƥ)VgS|T#+LFj<~򸈵 OǑQ|݃eC1l\]0Z84a[\Y[KqYM|n6- [c Hލ0c?7@/XlS4`l*bmde}i@N@LrM,5m]ϟwQ̒dI8G R' 9$#\[/B"b"]%212=7=ә,@лYMqp 81i-w=,"#ZF( ۅyԢ\/kO)=ҟeH2ʆ=\}>ߓ ڄ`p`@R /j f{6jQ&_=rExl+/'(G_Pr0z(2*Q[2qBk[N ^d'VV峣Ϣq1tz?ɬ. kXT>Xg4KJC^eoIчh ^Gs3xȶ-ԧ{ںxL eXPӭJ)  \9UB%DEsmʭYVDX@lY ӆ>c|Ds~˿]ԍ T|i_4l. +>r$/5Hl֎͋,GeRXԫ.fӮݰe8hR =-j09aɋW$bE1'>)_Q-Eۢ[.d04J#CeR%h}g)q }Ɯ 9={ҦS'ee늷>!e<|P7|=ӆ#U}en: `79d{LT2Yh@\wWe p!MVFb*dp6c8)^GTH>2Rˈ.ƎĖ/M0{khw$T.׏Y=XT?lENEHOJ^Ne\4Q x9v`M4)7noo{&3Z\~:~P܏<Rtީ )c -~mNbx"8.A~2_lbz!o~DŽ:;PdYVZ|  ,Jw``.B_7P,yF7(zkn&ȝ˥t%S1̄ m0@v̹a[jPC)]ƶRD4/Qlei Vu+獸B%AD&{P3C O^Zhi+Pr