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 ""3Il$ + HOL-Predicate_Compile_Examples:threads=6elapsed=48.775cpu=157.208gc=8.268factor=3.227zXZִF! R]ŗXf1-q恈"3UUMѺX@Mk*gA̸KEgPI$G73vSVfbeu5ٓ1,[1-+Lb;/P=O\I:.:}/ML+dp񺥦 G2O/LpwMk0iYd!L=>8YPmƣz tG`h8^9m/:8r5V-4H)ytލ[8 mlޚp Y^@ޓߛJ)YuAlěJХN44eO w=e?gp47ZZ_A| L.fq^iNj'JLXUS*3-vZ~=1tYNQIqG(턅!U|l=cGInZX+L Q{Ak 2%x>̷W[4uBZ~뿘6&2|@\&88Ʉxm$\a%ucPvK`0rQ|QHaʦerRD͵`Q<VD,?PV }\3#NiRVwhPRk8N97)jq"m{ %)lVZ9P&6Icػ ԧ(-U2+?p2/>B̦r{oiU%^5yz*n:P)rK=[^omΠM`3gͲO4/bfw/| efAQFZDq;#и%\?>]%w2j|xG H@1T,؝.ϒɥQ(.7wKoDG:$UF3r95xElaby3s}HVψxb?X[K@FrJ~@<+-lif`B7dl;bEh1xpι 1V7e)πXVLJXPkdR+:AI {C9=c뭚UccMkֽ'5A :-t޺#}:/{z<9QڣP; ;!֨πc5@\i1QF{"RyS/K,M[2CNO%~voTvDSl[G S|F _5WVMèYӤe^{OՖ]iEn&{O˞to=5 0Щ|ܗZ@7b-F3ὤˍRcdO]%mDa׫,یv}CbBb])|q Q3C8.9K@HȺ:Q?.]a'K}k5Mx6M7,O]dXY,Zm)s>[&Ee (h>,wfka l؂qvٔ^rXGVzju=.])\/{+@Tò.X,nb. O'vɺS8}? _C7 x1qfONa}6k~&'a@]G.]B]\fԩ?$5Ux[l~O^Q[H9{a:Oд[Do0~T]D-aۣ !t⻥;+} sWq f` [ g)K}^#U'lN6M#O!T[~yZjƋ/-TgsG&GMbg`J3wtsAcg-[/Id7(t&K%Ϲĕn H~n_uP9usYiczw %Up_Oҹ5h59 bV׭/\Km 8QGWjb~9n,Tԩ_@O}e=xWNxJhSԙK\--OBNLM}90"| wG 6j&7sE֨2n[>(E&g Gxk?.={AU;t7D頱=rg:Q9 [cMt~~S@o=G  :*OԥAbJfW=Xt:˩~5ֵ*v346ͣʓ.2bpl[Hrg|ۤ_X= zP_YnQW 8|[KrpB=>UzYM.V^ ! 6:R"\sJ(P$9vN.C#=DkIQ5E];.x+Jڮ^ZKuU."=G=}mih,}sY;YmɎTeIL:j9"x'q\S7<4 O%#HWF(Ynӆ!<@ mtv<R])ƃxw$3^+n\_qDU(hm5ٹ I))}xѰ|r9`b,~ĢuSvF$h&!W[lOlM9Z-(z AFNK{W(L'˹E>o²{fzj{:h]MD[?9ˆ!#;wvU{:3{AORs!~Qv4WpWpFa\p c6=!-0BX^b$['qĩ*ű1Yp$?`Mf2@쁡"P,α?^ k )u &b w@!{TA=(|A*@f3 S8ED7Jeo]-봍]*(3<2wfFw}9]8,M?a^e3.`( j](wEgYZ7zXZִF! ]ŗXi%P6Pn?!-l*{O*hj& e1gO{S zxdt~gkTUuAO_M+iS/ݺhavYS*ƾ54 _aڵ܀Kp!v1JAEv̐'CFZ!ZOί8 eq׬ Wݢc$ u<-cErh]l s΄ܒT c$73WuF|aL.TaYXZ̅bt\Q'dA'v2,v'y虈΃y>Yv`" #N?)Dwhuٌ̠a&CէX񙢯cL܁UَrJt>,Z@Hݕ˔# ZƉI?)qLʈw3 kfkt Ul0pOo7 b73iDa1jKZH T ϲ34Qt͈СĽgiipB]KֿdG #ȲLRIȟ>L9>>wIz.7:"ffC9!jxr?6ˮ"_h]m)c gslEkh2:p{$&ݺ_7T[Fq(<cS =>=#)єIU>vsh;% k$(geeдD};΢ tgcNti)\I$&\`ڟ ut'Z=Z|>7; Noz{s_hȕ9}aP (*IB3>i4ȳ0BK? cw GX?s9n5Y=LJ?}}Vm&Pw8!Xqk}F (tu)upVHYf[6*62RG3,~t*w=Um3_Qh 1FoQC 0~ m=LZ >Õ *Q]'3p[|. ewwR|B 'LQI~8=BCQWe4V'H6M؁g3Upd{U}3g TS[9zè'ލ=8^Sr5<3pQM ڼe%xHT>󜳽fRa$ ʹ;<0LN 'E7ܯ 8c` r Fкli>L,/.E߮pSMva/K`JGRV$tz&/]`Ȯ\,jP^*|P#X !epj&s6?f_q.w gLK{Z%o.q\S΄4ԏ@U)xolW {n3ĿގK+rcr`^ I}=GZq`Ox:E.1Λ/-ZKJ}QWBfUo 4b:BVrCW(8b`4`s#ÔUj/#: `ja Zϳ?/ BO.l'qT2!g_O`t^UfEac!|^31``O@ ٨l^8OɤŌ_E ;)qwd-O,;8\KJ,0X s #@DK[D˦6ZR|Rot:ZِB)(8bן9hQ/}{? ڞԳë?@:)+Ɔ @k,;Vkܦ" :4w.(U`. [-(}v;X:+RD j3׋=3D@vN7<D[` /CU# .:lIhd Դ}Uz9vƕ!uZ/< T7tEݳ6eqxQ|>&iJDK