SQLite format 3@ . YYQ77Atableisabelle_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, "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 p54 ]% Collections_Examples:threads=2elapsed=96.123cpu=186.536gc=7.868factor=1.947zXZִF! ZC]ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXbyɭf%8q~q(z x[^>ҧM7͚rwz+d$9e%ze#u?K>_{wAxW_n#fFj0$Cg>h?)}`Cץ`-ݕEBUp(<9?y!}coK];/Dx̙WorhuUq<ˇ|\X16o/LYFv\xnQ&EXǏ]H.OcU*.Qu"OPst@,#5q{|7pN Vf)ti7A " 4x*֏E3i*0َI)pL*W[(۬4iLwl&tTБeI 1dsmRHߵ9!!jR d0ʇ̐p4NՀ>)Cz tq4 -#UB(5 -@ af=47Eiݼff9$XsU&QX7Jܬ4`GpBq6We[#YIjO0~؃%"6_}ƗD-t5|$(4"%od t_-2dl]&*wO\x!0H&W2ywhWsko(~s(W^[g؀hhqhmZ4bn,g L~h6k gFhT]sr&wrOZ-ծwNfY$K\]e $*>^܍JМ*hKCM 1 0XLZ%ħqeq>]KAhceYT<:ٙU|U6eU[[j7Q)e)~7`or|Dc'۹ o/^ѵ g&k+nҏqm,%p=Z`>ErrIi'('۵x5q$e|6jtFJS/St=A˔)6R=3%Bw^ޖD䈓 h}c*c^PpgFUJc:k"S紁 6(3 ~fZ>S.`}S?80rl)"I:y`Ql3*G%qWZ,߻Rq{bx),1?qOq0n4ObFdq.oj8ţHwoW_?R-mtZ:v2oe־YNK*cA:y>fp[ѴX{=<4Jƈq~p@x=Նܺ%URP ̓?kQ䘦-UZ$ovUY}~cZ,JsgYZ7zXZִF! T]ŗXi%6.︥CW''T;%P+C18qXFh:nGnEsje2BJ}Z%Zs`1(p&iw*[s7[LWbwE!А:/ ԰nI+}K<ouJU1>1`g8׃2+q 㳆n*L.ņӰPiaYvdGaoAjA?& ]wFyQy}s3'G]2'ek"Ҥq5RcSH-%M-c3QgGtLU4P&+Ta7H+FKj;;+oX@aI\ThSL`Up~S4PVdHExZ|\MZVT~M>;C*juCt.uOSA+ ­91nzΖҨɥxl0ⳏ}f󶖞<%xpowysVJ Fg Q^GȦB3j  ȗVG7F(n7]I Ƙ!;L 9yhԪ\iH8#)I;X *gN4In3;͕XB yuzh*٦lQ}T-qHϔꂮ9Qm4N#ֹiah>QeJGbfǩ/ʴ~L9\&̄Y4N"t)d] ·3<%mGJ Jv{&o$V*as,k۸ 32̕\nC(dNDc?/ 5 Collections_Examples`y?zg5/Pq KkÛh+Jc9b!)EѦ2&lXsǙD(%4#M8~:kU׃_)_}4|H<}Yu}↯NX |~UkI.wICI^!<{ȡ'{?Y&$iIkp1No$f\j vN7zʳ x3ש>=Z=yY{`jFNWc-kTKZ1_* \&EW{ʮd; +VEz"Q\}\.U2Sxo|<\Nin rTΚPssToņ>UVjB^Ř56A!JAe1&2G#+s#"~'eT!q9-L e5R^~]teȐ×jXv9-y]݄,t5wRdJm]D^A Us5‚/'hwU6[; Gk%zMOJj<_g6D[?B-F}GAicvq5|Zw I71_V-7In -gs݀ɣt! xr ; —_3_%ISV]@< fA%- [am)Kͭ5ߺRqJ-)Ûu&C~pe Yh4 /mbX~,5P`XHx 'h%10|)Jѹ$ Hh. L 7fWToz?-)BA,1;J˩X=|&NIƜg(4ʎFڴ.w{O;mh#e[kjn{4лHE s1=}͜R93/ufP5bznP6)< vc[+Czw\8^U D#tE9'3n]J.^k:[/91.-+!>ƞǻ> \mv5.!a(f=:;URQ%$BߒҼ.9=hQMZDh' ķR2G@u8).oCj=hnYp 0]y2&jΦ.DY Sgob& a-/=!i0N$?&zo @lRX\ə2>Ĺ^9Wˋش /4\K  " R7Q 9-uTLNy4:<޻p8\.Ш[,8Ll'$+V5wj5> ?LyVr&KSҝaYon4+alꪰJ\nƉ H8PUyz3|4Aoi;gGr} >Gh/Xv~o0UܶFz /SoiԜ7I>B^Sf;#A 6jVd{ yl[w'?yS/ GHճw䞜h82$jN 1+=7| |SCxd2׈/f*u?KdQSXn6G >^J̴z=BT8'Wb ENZ- A8]Z9B- ZSsZkI$t?6Q7R5j=E&ܒNLKQa^+wNn['zi^rVm1_/4۪"&y3c8OWQpm5WƅXe[-^fz[.[;q{O!@b#]L$XE"sjqh}iʡƜV:94㡵 f!ɏ<ɩߴ? V GoxSC,=GK7@F `އzY?pOpP%w${|gY;g,Q4KcP޹?khh̝*=91V}$5CัgYZ2a46524896951a4432fdde2e072d9acfab7a17270a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 9ca4f7fb74afc5f154b6303d43705022aaef39f0 cc1c4ec4fe785614ffea874c259e7d17f07d837b c5709c5c0c0f9d97b0132db50c50fbe787c6c910