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 TT # L % VectorSpace:threads=2elapsed=50.764cpu=95.028gc=4.196factor=1.877zXZִF! ૖ ~]ŗXf1-/6vR[K.}b$;" Q}ߐE&Ar&5 ##T{q\Y@[F ~+ISwVHr\|=YWCCd=r(Xۈ+wCS5' ))N UW!}?H}IUWΓ'I}5oKަ!&2z3+]Cm{xz\Fdr 1bo& w t0[M+\d+WX|`Zѝe pR~B<$#ˌk$iIfԓ{#c!xwT}7t{+2gWpU ^lv'va9QD9t%=s`lTEb7{0cֽŠӹpx~NnWQHv XS)" .C}`l^ S 4 !by`qi<U!DX' uJ l{!%o< [Ƭ>0jHS>kNң>L /82d_A}Ћ[BIfZC~yyx=L>z~m`C|*Y ?xb@]tL(_KTB]<>ȞckWa/˝%5|d;PuqcFN)u=7y;G;e> sݒMՒzg}~Ɇ^z/ # VectorSpace~*_@WUذLNݑ[i+(MACGt7ˉL}){StZu['^>@[r {iW}/՜#}:.vl(i]xƷ!nw~7j\{;yx#D)&Dd.ʪsV 2x,yDjl\ls$y|5ewke~$}v㹭oFkx^@~{S fk-J"2^ov>.cIJ[^OY Ұ2.)si KM^'zBgb\Bty9|dk]ipƦ\$>j=H{Lrp[߼^o'LgeDܴQj%(%yKx\02NҒGblBELq ,T/x}Y@sx ˫85bVg6٨n.1;BeQel? pn (ik6Um!<׻a )=b0-L}^iJRE *%";["~|Bod+sQ_(^F*YEj'IJֶlpT`+,1Q:D!Ɋ;fcŴb?4J&{lA^&>c=I|f?ؐ/+cPy!AJEYzC"83Bq⴬/j@7Xs .SU5ptd2 `YZ^/[\=u\l؀3!=p[RgAEM@qi6W(uE+~}&!_V $S>Q׉.GK5J@ bv J|(/D.[hWjԛK- z=1;=mӔ=+vK[d%[xaQmcVfs)IQ "fr^WΈ8|@ t_7@ D}x(4k@B:pewBfF|6(Ɋ c(X:n !U?'%64ߛFE =8$wykhG)QTÒpϢuQfc.O0oM}s)`L# a 7݊X2c?%_~ % 4ܘ=%ڑl FrY( 摅{Þc{ɬAf*qYm#DP 4l - SaL,1TҼ<h|TY/UT!U`11Pe1Q/T^w=!`$a0 epu0!"|Oo`91 ' q 8Q~==*#du4NAO_>^5 !e/RCMRMkީ0 Rx~K2Pg qDF]zy<%* }́tTe[6>+Q=Ih\Y؅~ZhU$B:@y WE!W>rC~@CϟO>SQa0Zd4r|9{!A~JlԭWf~w+7"GˇnEx-tj["O5Yoj4 0bWDȡ~DWtY2TD^..})ry_.|$_/G\d4;)]b]#R~C# \WhTM xGAX-=he+)2Tċ`X6-J~[Ȁ [o2_C5F\DK FB9kRK!?gYZ7zXZִF! ]ŗXi% Oql)%RyT_" q5= )Ԓ@dѐ'd?&dJvSbd!+D*N%t!!,bf-$dJ6x}\nhUD B>m W`![Jq47ٝ2kYgғ%M <9JLӜI[/S1_@1 P\clw}TC>uM6~7I#5yѢc|a=^8fjHx~6CɨeAdVk6BGj:\6H%oͷnw;urR0￾_Ѡz.f*eXd dS6SUN*c)?=d ZR }Y5t6(-׏1z_O :ꉘ`'ezNܐaoc{x|ByA=le }qLSZjh^(}?aK7/peMc=\pH!'ߺD4 Bd @{Xj#&ʼKׅBD AeMT m1a]an_D#4tCaTx|Rlg`!0UTwFr ϛ/pG#YSΨ+QΎUVcqDW%rI.]G3ROfy~h\$f. zEmq*HELLuH:p uh՞6f*c_3$Ddv?h9F:w]EvF2MR=/")o6$99͛`B!16FڏWVkoYSE}rK.ua_{ht"Mľ0pE^G[2qw0ǿû`fHBF" s9m&EӃ+fSêF̄c4oS G iKF2)t=dgVxP9vU뿓gb UG h󒯰dXcr]g;v9,m 3\nGc#a]LmfKLz+ - WGV0K |H. {T-AEJ!:N_ɛ._e"Pi2lz SXa;$xk 7 Jn +22 P#Fj$/'ď*}yGXeG`E0 >-k#bt8z= dxscF{DYi@˙-݉^?hm9K\+m;M~6$rux^7DrLF<_wf҆d6{vK6#)"/IBvDJ.JE.%ͥ+s`@ g礀?5c@pz30h 5ce1}Jj ]\ -ΑA5oN1(X]?tLG9Gd ]g1ܓM;R~?ba#P!J]I(GWs/ԥ2_z6Ϸ̹#.NNLNǜE4̛b&uTS z}~ډ$jKgt)>1]3Q/h]Rc tdZ@[`^l-<eSQƣPUS[CjixP[vAi@܅P}Z-gj!`M-Ӫ_w~܂s1·,5e?x. cX[JĎ Z<(LJR .F٣?B W^ivDFyP,֫a zVd"L7f5HWoBq2BFu}$ 4Ysz4^ZG'JARM hd*5{0?ޗ2!D`!}4^:A)Rd+l[irgYZ255166252df9f81c2bd3df8249388803825a214b 285d17beaea4c49771c4594a1209e9fce3c09a9e 52edb41329863c9ae149b9f908ee4716838e81bd 61f78e86b17896dc21941c9e7d44c091156a8500 74f0b22463839de0f5941bbaa6d97557f05e9ba0 9be135482787781b9b22fbc99fe61b777b1c0add c0a8f4df891951f43e67a343f72afb8642cadb34 e546d7289821a29ee4e3b9e7cc40905a0832d9693b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd f6925d5ba347f030568cd8e7a62478e287f17a31 10cae7858f6298753bffb93deb42b58c91c816c8 c923b6701c299822e9cbec78ff020402cd73b72b