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 ZZ9 d ?/ Locally-Nameless-Sigma:threads=2elapsed=35.245cpu=69.548gc=2.636factor=1.977zXZִF! {]ŗXf1-q恈 9 Locally-Nameless-Sigmaܗ4ޤ9i bdaQMFR`y4ˮn(No@2зvQMǷ cg-Ͱ2Ke-~"y1Ox;?WrRj05xdGʺCu3H\t\M..̬4eEڡ s8WNլT (<~ [)v&[)T(#*|0:4}XrƎ$in@ +0v(kNbxUxTmm-Iw}׆"WMǚY@w v~o@}Is6Pp?SM0돈QFkVԴzDɏ]V3U4U6I=B\1; S ij#˼pk~J}F2&;Fv2ii3ykPځF)0TB?ğ5ceT>O6vE^J/:g"򔹪L"MTNxQHW1sG5F)M|k {H)9FA^~,RɞLqM- )PqMֱ[F&6F6!A_#: _AĖ8<WJ+Ƿ_:>7KZnGp D uE7as(^@캪Ňlxx s4]l M'ٛk3hL_+hr,y.%8Ǐd~] Ia 0Dcb"AAs, V$%Sz޿Mbs>N4?uyuDieӀ:dS\͡;X#n'^6w?!! ,I.AnaXdtkyF삢Nm>URɇ/?M ZmWӛވ^8iM1lwbNq2ך˷3~ D`{*4bn45|s>Ee}_Iyy!@7]'mOծ wi4W\w%~živ1uҁ(5G#2|~-3 FE"ڲǾϲ`"e9{G&货0YJ\3Z+$UCO1do\£Fetj"M iYla&SD :zjn/z9Y]#h,vefovvC m$O%6yΤ^8-WYO٤EsbHտה P@stG ds@Kwboy|*19bu |Ԯw}vMhy?e׷!0?}R1J_(js"Y$xёtal\x|$.{›ܴ50`g.I:+dw8D ;ZMQcե8OǠ'½-:[S 0 j3m쏜ұg&>iz(E:tü:{&~| 3}D:O[%:a\ր3mʤLK$az@,DĖ`>Q6ءh&g(c.^uM*1H"S7 '_篢}8( 髁_W*V" ]ٞ_Ot3yo'=Mѹd:<\7dV3[u>:"G<Qs~=EUz =4/Xdڤ&RO軼{"#}jYKFshNhtyVooi{mZ(8oMf T LڑF)pkk"rdE:9| Q,.PL] Q&"^636sܰ2v|֯fc|NӇBoF~=3QQJ;LlMԅQF l_+KR;>9Q] 9[<,BJ.|\uwU|v[O/ yF/k);y+,lbAԾrLe>bQgQӲ1t'e6R~P:se Iuyk?<\4/bZz/LƫzfFe୚-]A]Ŗ)Lqa\~ &w$bTS Q x|ZwjĪ?Pbg!p]'.KAU ĮLȓU"W+SjBxXMݸdObo቗$ks3g;.MYPPS0OϥbejҖѢ51CEx3Կ|g0}ss'r6LhBUaG}$ZWW8trAÊ1m'3^EZi\ug9̑ddG =mBH  I~!ՁAȻg4 q̸TF#]~1ۜ -CdnR3QlȱNN53mm?"$!#|ERت7d֓`oW. z HL,L8ݐٴj#cަ9^$G}zyWS4XٛNNޢ?w>h9nt2  Y5 D9L[8ԍ=԰%8 - cӱgYZ7zXZִF! ]ŗXi%B׆A uS--K.8y ]}67 g:Ұwgoʾ;Y\S|{mԅ#CN/v>But(n .IjA!3V ӄ:4; {iPmD#u_JUxXac|a"B/1M0aWP|(Ysy/N*lm_`PdwS⃾rK$/ ,Xe*d=xp/Hzҝ -C" F^KSH(-g˩R#%R?$sEzDkpu}TA1OШ q6P{r6P[yt&QLyщG?tX|yrqc1Z+Wc"MUHwKXa4=bU&OV[d%uS)'ID"x!tןҾ ~YQш"8$U\wC);n2Q\8vOwCBOtqPI}NF,5@@?9 z]^Fnbaر!jʴ4 c/uynVBURZ gc۽Z&E-,5>" tƞ(s<.k)`Tj e0K\ESC~1bٕj)1qE` i5HNHk2-n%} BxtW. ˸Hkx*ƃ7 46VPztB(O&$ &: E#w9GAp~WDVI+|4ylLZ4a<̞,yA ѦyK{B1${]Oc{VO;tYNxOS!5U@ mo:u-!?z֝c 0񮟳,P#\Mpk{]~RH!nDus ^a( 7VtS`A 'ZTJ:jѶ9>Z-:S@@:L}AT]ä]N_v/{4Hdj FQI>SnVJD뜄),9_j21` CA86C͇Ip%~s|A6o"nDdX6[V5YI6VNOq/oybWS-&o)ipq>露׆?/ (_ءh)2܀n34vGӜzBҞh2㪬};{彣9:xo@A^YF7rDɗ"^f^sbڊ۳v5ؼIloXv>wFͨBMS '5^pp>E5uW_⏑cD?Ϥx\QU0\i Cs2zcd3'Gw֋19Qc53(f A+3-=/i^6pTwSBl5b}R`jƆ-ޓLԒ=5BަsW49dY+&I# 2D/Cc"XP] D"IlGK{>yT&ׄHTFeH{r|h#I;J>%KԮzz LSedcs=w[cBwLsuRDQ|7Dw}'p21mEv{R7j[Q$l|M:zei˅Fܖ7\/Ѣ46Rl-W7% #6|$%wgGӲ5Ga6GG~td~g۸P~$i֘ !^m , 0*:ۢbp^.纣˛#GSڟ祪ooPcej7ѳM쮨'BX+4 +IWXaye P@-e[nnLs|Z-(r16uٻX){KҢNs/Hgu$0]oT#NjbY ?h%l(򀂴'}/HqWgpTԥ~ daeQ<Q X\59>N6E<"j^qOO)xQ0Yx'CKw; 1gYZ0d2cf9b2b6b30ec2146b6b0c3c4d5950795a955f 116062ed5af003f6bd0f6bbbdc0b0142a40c2489 15b0f1a6a9ee7c3478ef48924a1abf99dc709253 2b4dec19ac3f99c8ab7f772424ba2b3272592258 41246ba23dfeceda18c10ccebfc487802a40ce1b 4b0fe00b743bde7dadd10e2606e711412999d253 9dc84cfde1c9e63199c35807058844e22d99270a afcc5bdf66581be2de1f29403f2ca4b7ad5d29c9 d97e0f709cb34e0b4d775136cc9411bef1621181 e8039b0ab7af59eff291e9002ab01c722532f145d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295