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+  5/ LightweightJava:threads=2elapsed=46.342cpu=91.832gc=3.520factor=1.987zXZִF! <]ŗXf1-q恈͐7ӺV 4{Ŵ + LightweightJavaH}UCkAF#YD`T>P}$?r{=E``$76ϧl8NnX2$?1 l cLQo-`/8""!:k1¼{YE1zbA% tH\U LΈLz;/7qsɇ9TFذ}[ Jrk >hTRCí*Tf()ފ23+FRxTk 0A]x_]@?QdljHZ9n0Z.hJJތJ=;lHDV&QE$$91Cz 0GGyKb{v4<Ә B%j[Q8}LmgLo YTIRN%y;Іj;L #D"Q빷ȏAZsT1}g ̚: fY4<0,w44&6|:xa%qFq&ˬͧx073#5/zFaE?^P\{?KFT%T0Vٜ<哣FG; Ut)):G-B_$NPPo{hU+,kI͖dBšͿ2:Nkcb\KzwnUv]5F`Ц 9]D#o9; HZ21!wÔ6:"WAyHiTꪯIz9mk7=R/FθR&+]5 =3oܭ&AUExf޸S@.:N5*Ux{F)$Pf78\(۩Q"Z~ @:}; 4bU瓥3[%EG0:%Xh ʭIsQWHrQkpF\f No*RMq!/]2#?dž3${th!ܯ9ƔڋfLy ٪a-Sua Cټ\f|\$[XrSler!+nuMB×&[Ӂ~tHhJӆﻼM0w\!L~c,ZDr2/+%` _anf]2eHiٯ2:Uk[KtHε$"r@3`fZ}]rԹCA.^*ݔʷRxtTI\c-e7188_Ǭ7Xdsh 2_޽ؤZbq4amALuT5y,A?I^\%1^}Y'sif-C讀i pL),:J+mJ杽#N 2Oi8ٌ>X"r }bnͤyFDAï hf|7N9-p*EE6w;d6z_ Щ oJq ߯ Gh.eF" Ke"Z?8xler$;)yGۏKlm>Szg%7zKh5~zRtgO\!HE׭SBe6Hq<;?( E:p'k}ō[;D'>j=9 9*NDb|}\3-r&z8_U̧쬭G># =AJkn/1Q @8b6 `?ɡ-r_\n_6piA<\Yz> n@w^3蚀mx}iSKP>cVE$뒷gwDtt:@^OXyx6dwTh[ԉ(y& b4 ccdoy)n۷Aa"`ݶRPgֿIx p+}z w9dJʃWUQ=ovP9'#qG12pyQ^ x8Fn;epg?'JW4 f3RZϔ}AX䋺}h{%Aj]pie7&[ ig<ͼŁ%lY@tω>uUZ wWY3%[2՛sh$tb}my x&n;P֧Ea7"y%!6ap.07(%{lQGCUQL6Ocv/X#zȨ̄>dc<†ނrBADZ!uvxMŒ[zx٣ë{u9#XvHsn̰ CcWf``>Mѧ$tKW\O8?]?9d,6 ԰<_zZ|>_/8O {}ᎼO #yL80T-"A ~@x^uԂέt"B6M>)P ȣcVd<e6Ɖ{dv6gcʹkhrmWJh\苮{ߝkZ׺8 *F28V3i0p> Z‚1WΔzwz>q6͊֗0кeVyD8 FlfS+սdY*f}ةZ>tgJ*ݷǯ툒^SjX棠;T42kBe+ũʛ[}5%/Ⳕ-"n<0}b*ʆbW*q7$ eݤǠR>Bn3)OԚ7cV K pu/̊dB!`JPge 6^~#wY=[06 "*[j]iA5^7aOсtyLBR^J&<$:{ܯro=B1]-^<~.m.Zq3$S[/{#5`htjz! ? _4 ^A&YUObƝԇ"D7ứYOECjws4xSÂsruAXP !* X#\N Q)c A~D/ /VBvoLל\fkŇ`9!\ -22uZ s̻g c!!t#X1VkԐ0I(%ͽdr eMo# d%<2䃑fh[hռLȬLYʀ vIͮRe}(mjn[;֕p⬔(wwLllu {=%a0R xN RՆ#l KddQW^3ā\ZN2 TUx pecw%=~M4KP+]ؠSOb`D :0n\p藴</{bQh^/iMEz#sZ)&{JO>\ {"KG|㻀,I~MM!qsyetuYUyye[W\N1'S7>^_ fhk:S""*kg$ҎD[MK[Rq^-Re^Ma0}NY} B J?zN#j#Q2Q]g5iĤ:wdһp+ońo*olM4tL"i-4eBՓ2V<O l}Y{z4O\YS|ԥSg"8a.kf2# pU{¢57'֔L9 ww m0ہ4~}~[Zz#V rD1g5fXngPSm-O;,ήtծAhB4wWEQI Ǝʗ{oBw'TRḩjf@_lΠk;+v޾aQ*᷍% b 7"Y({e#9;Zp.{_`ꗬu!5&v'`P,:ԕ866*$ۯrކ L}GgBi$z" wtkG! َ SD nRo J ?`O[.+Ju\(qWR?z}7OK7y+ u^/~-ܷ ??FI A / :4?YgYZ7zXZִF! ݉ ]ŗXi%Bׅ A3ohvVu2m'P`N Sp,fkU". <݇&C92yJ3H 7r_aF@5hkcoֵ?ؔ:dzmNFAC;rH@@Z &ЁoKxbD8w1ngy UltxcЎ=bSFn\ĦGܬ̘%;=/(A)(VF& 21ڥ18yÏKݍw@dm/GLe:-l$$u(-X&$2iI{0 G^%TUX:0it$:7!b4US5at !KX&aJ(KW\u816,bVm"k@||f1Hw!]c/nQe e9D)'Rp;f0,5|F NDDKĤMJ/45f+=`?!dZ0hY䪗@6rU'mQl—Ia y_?`Flʺ~ YCh_hk}޴(J[Tf\8&-}SYLDz@z+l scV64T,i-ɪw5~\LՒ<*˲Vjzo/%)mG*L[xF(1 QG~ +L0~z$cu 3uA#S15`rJKc*JH[xάqFx9Pv8` * hn"1HΈkMZ֠`#]=M,A.Ċ!E9,pKEA҆GVXMvyJ,xVddDצur|a`[f#e nS, "+U:=cc򅎹h\eʻW^]XɝkDZqנp+cJ&OȃQ5:5?QL-|K)1}uԯhWuG9c;wPZ+ϑBgmg%='M'›K7BfKB % vDdǞ^=Z©a}|m}鲦I}]zJ`>P1PkX)"πM#5ѸzQh$8' YH@TbG ĺ ڈ2Aʡy54ڼ Z׮n$J'_dj;4Lr8SSLRwuU6ʑRId'%.͸niR ،7̌ o4-snGkeJ_~x@i64Pˉ3OoiVνQV~[TmQ|-uWG<4oAZ2tŨlz&?X{WU>q =,ww5W%,!<,O8 c=bIf;o-Kv . Va%[W2p%ۀarkvWhw޸<Li r׎TgS.fw2nEkʏag~.;M"&HPe嫬k*o:HS.-QBEUJZ)[%aGOelLY# FϯJ?N~cֈ7/s@TЪ4zp\t$3IR}H{qܧ$ڃȶ&^ȴeg.oO jM<Yqv;kؑQ*Cq+3Cdcr)Y$:X?{uqwGT?6<ҡ)6܃ dvcw塙kν+`"f*JFLxDЇZiiZ/\{gkwBi1#\-k {_ȖՃ+Ɍ  mg-R/ALWO ^'LBj)]2~(?|Pa+zՍ׾y+D 4eqUSZ0~`'[#PV8s[Zq)h̢`R>k+zfP@ mؿ&Ij&r"S݃ `v41NHy CR*НOIh.ݎnT5@eLT3qDOl̰7#  jpTGn|Ek{ZK)nSzi5D1^_B V<~\tS˹~ ,=Xjܘp^~݉-ko?:-zaݏ