SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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   q/< ]/ HOL-Proofs-Lambda:threads=6elapsed=111.788cpu=141.664gc=6.168factor=1.277zXZִF! ]ŗXf1-q恈ܗ4ޤ9ks}JspSm[aYa+gi>6I}ǨsZDȼ͐l`Vȭԫ^GH6;: 6 &5UƄg6+B.ED]n0W)yGͬ⺮*Ѵ~(3?zo3P6d߅F3 '֞jP}aSLRjrT³.k'i+s#?.rݷɪ 4Nv+vx`ITj!q,_HaC.ո7ZG-442K ĶU)mHgm_F@&Tv}f{2}K{1 ^z{TY`/> Ҳ{yMw e2M>]uq`170׫ \xqe8䴱gYZ7zXZִF! iV]ŗXiɟ1˦r+g'^.e#M˶pFrG +ym{_W̙8k/ JZl0G0<2ps,z:wr}} {3ǖtJT:Hu,;-=p(}^^\*/i>d?USi: ?ѰFBGR/zЅr襂>fku*$A>>/7Bj:͕wsEoAfl ~D?(Tt}b]2NuJLT*S\rӽF&ʀiQEprckzikPK3ʜ ?XIt@ŭJ*(5C l0vx'(|M=M,%[`bSTFJ}N;79ۡ~UK_!@ǝҍk(fZ(RœfKd~ Ί_^x*sJ.<"I9q@ -ExX"b4h0()Y9H}(rq6  ى$ WMfAZvk%o혲K]>{SxjX(RPp 94s}hzف;3xV:9qk<[hֿvNUYa&(~H|G8^op' eܛ4V %q92l-+y:Ua K˪\c+ƫQXM lu^Dqq"P"ߨ#Ҷ:cPltXkܢ߾qT&F@q%ݪ+jr1 ";@p J58Q3| q fކeXl azeLvc,>g,֭/=åV< M T)V,bf厡n*E~nD_n oxGЊt2WRm~LrJp2Aqq܈{_M|OlXn:T\[;^K';9+]Il&$SJuϟ?;S,rtiLX}My&Sv, Z wdRuyÿ1_P?Bun+P2ϋ d xJ nw[KݠuQA$[|T);jCE+gɛ 'pĞB_/"^%(Y(Z1`Ձ?W_^C%@7V,X?A 9:Ilݤ<CMacWbĮ'ZNk *d)Kܫz +la#^42`ß5cD"ody+IjesGʗJATϴi wz>hȂ7@?̫$$b~$[ѓm!)4V'FgWֳ$Ƨc PHF^&+8H;uۉٻ4Q}8ϙM Q'y(\Yct~8zp9EBz~;ڬl9J|D%.&I(;WHrCִ$TLvvUqz[iBzfx kNvwR=&RPRBP2R8N!U|yQn]̇([K~en .X$SQ3ܝX |1.df=mŔKs,L-~Yj{YXlNIg,u~8|BO6#jnnGlҘ!i%! FXwN@>جZ2D)B F8K &PWUxH 8 }e)"F_W)\QaRA[|í&[V MŻPd9E9˶.oH. Z0$,eϝN9l<GzNX;REկZ'H^};WxFG?`H ӓvB; Wc1n8@o}uM%ɽ v` (@A^lNcuv<44lvV/E/ gEu~(UaWTЩNlu RYueHZIJf P=e0XԁM~x$S391'ѕ(XyPI W,bנ&軓]L^9bZz6 qW+I0bz ^`rJ O.o=u8i'.C⑯Z<+;dJcK: xՍFw DG`> %6үXN2#$wkqPv (6g\ýv7_j2Gl'fҤcV~؁:HM/#g\yeeDهԴ[g> darĉx*yzN-ao dfyؑ.w ֹ@oqtZl^x Dq8.u>RijC,W)7G@[(hl[R1[? \8ot<1>hDIYe5&=gr{V!_fv2)o^ ϓ<>3~VLM sByۙ&*[ZP:ςɎ[&vdZ`6{x{r^ R*|qJB;'&ԡ/ HRJ-8֓aS-=a``KcO7oFmRde0kT޾C%7efxwC ~֭mq KK >/-N܇2=V'ac2 sQ;",Z{oKڢ 9DӀ/_^[?:̞x"i6NOX(wY%\1>CK07~ ~TE Ps-!kk6y ÉN#v#ћm+WA컜)h[CBHj@+HOlhhff:/0`F3FXؤ[q;zCs5yb:6B̄