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 CC;P86Af#^7f]2Br\'A./B <w7_?Jmwy\=Y%aU}b[RM1fvսT DdžE-v]7s CмDa].ĽLZ1 և:mR*JO 5w!+JXn!0ڹbI5aUTWhBτCEyOG? y&xMoYѡU+LصibCp iRꬸH\Ľd= SB=+d{ VW.4^.X^"v0ŽүH(gclKaY ;Ҵ%Ө"q_eQ01մŎ$JRYJ /y7jizsk~풖~1duc]D&\An[n*jF+eP=CՙYnSF/ z`]fvxw?IFH3˜ϡPo2(~:`2CtfN 2]A%|.G}%-9J613vkm;i Q>7YtVŚ ϛ> "aSK>k2W$P,s`GdcI:v~|mmB1(UfȨ5f F1kޱ/~ü@#iX pObL xfxhE!2,10Dר,^W\nUaսlC% a ͊"1zcQũεu/f 5uo?Ls GԞ"aՆ s}ZiFIit1~0hlF pq`Ni\b\KF<׻בbeP P4:Z)_,SQYZjw#qՙz~ z 5iA @CQe:ua7GzPEq {R;~̒aatYH5iCZR{[>F,ڎ ڌydu|۽o\)Dj0G']^[D +~#Պ= uJngYZ7zXZִF! @7]ŗXi%#ZjhSG#~BѼcxbuzzaVFB&zgQR+(oqA)]qd ZX?%4[84@ֹ7ܭMV`}6 tr2d٩P\;yERQ990mwVd\ 2aq>%3?T+@G%r}!\hxxz+*kYURMlfd:aK~b87Pp?Cս1WitáW畓"*KewDp** ̪uq=@WkO+RRZ(;.ԸW:udcH~m~gyڧ6/T}M5Yپ&k:"ifEFќ72[H/Z.%"2P'']λ R'sK7uAK0'؝MdZؓbi]Be=>i!Xw]IH&jX˽7w{6~CtxElGdI8~6xusrZN傴AIOKDZ8= 5FDHv pYQX|W%X|;=2Uî?Z.Sg{C'h<jdF^ڤæu)n- jGMm<1:C߇e5`AMᝁf"E4kqF_̐ho-\gcE k@K9x{t[g"JVFX6Ͷ=r$T󜉂)r7ׯZr6{4^rtn\To(^χ.J4 thQ7B)N@dɏ@<>}C-> [{тOmF2adtQzbP.5c|퟽}~Ql-~Bf::ceqf끠[ G"cIvja74D 4egU {9c1Y]Ֆ-m<\жT-DMfe¢PcpMlW @50a9o^ח oXthG©,WWH˖l{W7Ef^֖泟ADn SyǞo9GJ,wMmHQ.aVIASTݔɦi :&k43ʨ0[ʚpZ*t#[mxÇw1Xs׻s1 Yts 90d 9'^;}jbk>k_"}׉:;it!cֺH.Ĭ'.5D@5J XEK& W ~$Жh NC`3PkNkk4c27hKcg f^& AEE5z567z}eeXI9Qܴ{˭4'@@p߳&m:8hזdrf{YMd1"bGn7tb ׀=!/I)EmSn *dT2+~L6[?zj)׳f"3F+bFEuQbٹZ]рĎ^Ӕ-$9{I32:Cu&/HqRjW$9ВjߪZ8U8Wb &K@z"Lױw3G7F0m?5hBu!b*A G0l9`h0q[q93fOT]ȭP 0+j kiA(|V\?i]y(m>EIWZYx`tn4tkˡ $@"QTOU7lG\O66?(ξT##[om+ `Dj Ê]Sl5m@5@q `Aam4cuނQ3mq㸞C#vΛ(4NQ Mfn;U=5ԳG(rMgg}9DQj6*WSͲj-b1QXsz$O!Qaa}D ]=[}*V$[5YAP`މ,v:/T͖tjK̡ Tבc&pTȜ {Z"~#瑲?4:b-S0OQpTS2-Bʓ)0#rm͂YI:)6Z ZJN ȍ5'3P̠jC}1J%mc{,]GGbjvWX وO !}_o,c`y^]3ie.4tX@,SLΠoyp`d.n@j6( uY-veIIxX@ucERjkg 8ü_P ʭIRRUH!&R-|6 lNR,}%]Jou=iDa+A+٧o,w-{]@fpa\G;A>oK0Q0v?h|E,#bl?*#\Ӄ@C=Pe6Wvx) 85~5|} 9Oɂ}sLz#̚dqЅTM5?U u_krn N5S(iqY"_~N>2M#KYBsXjߡ 9%}ˢR|V GIcbЪ5E~|J%bxuR6?^2 tߕ1|{j;\30uAKK=aO:X %qHOC|" nuHCu-XI*lfX[@lqVW^m&b.XgHre`#G=̡BSgX2LHcW?91+iz1@Ulr^1Lh>#PQх7=ϲ=FkJEz/%jyx.DCgh 3{DF4{jR]rjmNLXjgpd.i]b9zimA䅔T~/Isx1"HR$E3T3(5b1K}S{16Ueio} M'Z`f(̈́j`CL}zT_PG.y.[&_ dR6+|{'#m`Gr=@kH(^J(c; |`ft7W2*N5*F0 èKu.4hYFSE]*<,3STWO ^G!AYI;OX.0!x7x Tި+/ -KY(L{l'}[㧱5|ۨsktVcVB'1ƞf5g7I8Uj$r c+BQO+!FC.lP_bYͭ9f@I SRܑcS>Wl9q'1)2k6A1sLoHSo睺RgwAx \L#זW>gCC!iC r +gAcg_2k:Z'<Ȼ0a47}HݒѝiNB ʶo9NYfLaPm7QwG8 *Q+ a5a{I:D sXSV{rlgǿ,gs5A48LZT;1 16wo=Y/>ª0[Sx@ub[M٪$I.Ots]q㜜 l[˽jv62+wD*Oaz0<)ڗ=N1K@G+`E [@¸өWHYO^Ʃ:4<EI_oJ~݄TfÈS_C칈IyHhIɒ?FuZ4=rź).?8W}{x&" \YnJ<2V7,\yYsݥAQ)TJ)/3 գВj_&t!?-?pcǝWgq':%WEo rrWͧrQz7/~;@F^'\Kv#~n|}f`ꝺttYRbN'R^@硇4Jہ,(د(= Oh*U4]37.IZA :C2Sm*?#fډ̤]r _~  ò//Cf#V"9ԃ1ZTȼH+\6EWt2C"74c%ҝ~EOWJW Oy 65h7.fFA"sڍ1Q)-)$B XHW-O6^a!;;A\^rAn~/)Y[c\fhy?,&`&H`lҤQVĤfCU3$^78xkS+#gy̑E8RRAӆ=0ۣeM|/h ҘɖI5 / :+!aB2}þH:L)06)dP$KL[ D萵ez+Ks..kY$[*}w.(#S2{M,`}¼:kIjCazUT:0"_MtDhL$0A;Rv;dL~ 7{'8(ԑɂ/Ѩ*MiAy_ydb7'lDX٫=/؞?^ե%Se[2 MНi" I|g\P H&#r/ ӂۦB^H6CL 2J/ޘwctD2>B&:z… `ٳO ,zunWə=;vQO:!( ]u^ S s)+>)H|-y)vNqQm sB9KǖztՏn``byxK -XwV({hR<ю!eQ;<, 'gYZ1a10ccf87a1631fb70aee9714bcb344bf4ba099c 41c993cae6d4f9d642b2fe7a1e3966262a34e974 54b50b16c1c7b2b4eff9550912b3e479a4426bd7 6fd9df3dfedd4d886d1333614a66c3285a8ed17c 794cef3afabb1c309864dab5c04c6c6946381a35 7d4e32e4caa4a33c17dbf2b244497ef95096effd 845b2fb60fcd08e3cf3a9df9040b8b1ab70c778e 95598344681cfaae07d77ed25c816a7171c1b942 df2546ea5dc8c96cdec67946389485bd548a496076e60ab7be570c8f37ab4fbd0cc297599bd4212e 75f08b6f45353080735e360691a96b11d33f8575 4113b3ffb31b40b1c0c2e73ef8640203db6d0ade