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 O m:|\7gۍGfXpys_&+ooQ Q9 c 4>W`E  _{ؽL Uienw%u143C  HOLCF+~!p!Six䁡Y Ui-kE'D%>Ձv_0*\TȻ^>7-ȴ<ޑw4]PWP\\D=-ڞʒp񠹃2:D)f>v_Agp ܧYFk/8n`Uurɯ,J;R6D݉Ja: T@PcI1 L`q) J޹u8-jX$)wYI %U8d_=c!xs RU r C/]?RbX*ӛQfv@7+J{X@tWj>}z?dP7'!zͩN.%sƐM\0d ,4۩%!yc{t2CoMtoq0*y;8]8ͯVC\Lm(TNaFMdE1,]- 3H; djwdGw@hKK Y&CW/6ixԥDC S ~[_5:H!u?Eƿ 1(DAPLf2d>Z/7fhL27 ~!qX`u=>fFFd֛WAw \ӟ-_M¸djZzVއ1bMXkd6Doj0!lrՋf66#m~:/I3ƍQ+8FYsf}:NsV\HSWpfN[okC Jlt5y0>I s0Y ryKilk _%,cx k:ܵ@_ 4? yK w7Z(/(`JZ/ sB~d^HH\E*%[`T`4{CW5rd,BEūh/uUp]{ (L&ٝJkBh ̈ҿ8*A}; % ]p/3--"V5J ~gG|ؓ 1\q0$ā4iHi6hAHn4m=TCM'Ϳ|ϕ5ۊ:VȬh"kR\_P)0$B9WZI%xɍKHM+r`2 E_~ZH3 =4cϙwRR;b 4@F /)y4R ^WH$ 6&#f:hMb/B@xi.;%)ݾY^O[,TŅZ\!jSJ37\b Vݹd",qzqWPD\n5 rEU\ 1Eն B,mc]x 'B8}E&}dXbWA-M*pYRf`p*Mk4 #nSdq? iDŽD=Y)֫v9wTUg!TK@8HQDVLǕיzGot\uvZxUlFdq-FKt~S(902{T H|mF[JoMh`ǘu2IҲÃ7n)V̝*!TZe麨X媈 5uOZ+X0> +" |YL:bB@.sҮeAxNRgj91þmvoo*L|QLju1` /p:i306\x 'w=uvA|@(ݿGAZ̗}o.0X%DRP=l C7i]Ν6X/5D#K^WPT'LK1 *)y6Jsn@gqYu6Q큰_¥2@4ѤVɴVȒ L}/X6g ju;'=1PCxs8%%{=Uѝ$ү*I҃)jt M)ȷ˼E`%oZLze8Np`t#- 5ge63H(|ygE9F@d>Bd2v8 I==?'MġY޼NAzݽ#+4yCe=UE ][XAmZ0>OŨhSYxbyGk?%_WEOmlY< VPZz͍YI=2{dV àzgyn--/dnS_ZFPDZn[P ;`~ Akg/]t;euA,=0-Bk[nqۜe~fg!S(et&'IPf<:5j,-~Zis<)VD4hUe(@%}@>G}< =څ Ql# b\l/TGu|ė بIV;1iiT]~~pkf!|_Q𙲛Oo`-WKj|whb''seStxϵ 5x-@$?%!LC0)+(?OW!'] 9RةnK[EY^<@6:$,tqYQb?kXli6౳)#>VUt7F1][I$5cPO C#!]*E`SgYZ7zXZִF! |Z]ŗXi%K>vfjlRhb.raů,/.PXP${]\zg"^6IqczegDۏǎv3>Aps=zvI⊗fX3a)QHPu=m+Jc<'h@E9 NR0%2%M4п-tLk^Ք[`P't| S|X"P%ʻ1RW>VxLӺZsq}pl|x\ĉ[#+l'\4_%4_gmt9Pcc'U,*9-nSZg#U-yЪ  Wт)k[ʁ|"{)6d_wu?] Vt ׈? n9|4az7jOϩY; FtQSA,9/wD/z?߆#x˖1?ʮ {u&$D}b=B cds2d ?Le%YRWĖwlp[*uwtqȕ]8 jX7R||X*A0SPbaUo(co!z[ k_fzog'kIB֠ղu|#VbLDXF-_\|bxܹv1Cʣ.7[o)Ax׹?B}x5CI˯z.pd_ 憭)@C}Nj܃? =}INvesE\I0)ݥwەzOM?rcdrBsBLU}m(d5>QmU6#1k}q'^CoOȞe+LYlKcMNA`̳"g&QQ̥3 M<;'a<Bn{_L˪X- Zy"T.;sGieDjTrYQyXL&z6ӌl³IM%0An(ߪ1n<,,qGg6Tԅȗ.L.N#nQ_uoMXĢ=jOR2Fކ_ ߏ B xT7{4c`.5%Ֆ8v+jN S^-!abv% Xz]76_2BխЦ/~ޥʒ w+b%M.c(-K fcN>k˹ƀ lNRR vYزN|7Lʋc0]V]9^Y?ǭ1Cpovن5nv|qlQPj︨˜C{]<s2(wp)k\T4O3w.gD5u>XsqGzj0Ĭn1DR+diG{(!6kyc`|`[?sZ:B%+Y5u()avz3f{}uGWa͊Un!tAʼn +r5tߌѓ~gZz