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 xx}' dd Y]List-Infinite:threads=2elapsed=23.479cpu=43.416gc=1.876factor=1.857zXZִF! 9]ŗXf1-/6vRZڕ`0 lO"EuK}@P7X8݆m&9Fe׳YTm#V!g7{Kʩ(g*)= r){+O-K$»I1$p=w3%<v)WjϾ E`"e cIIg&‡]QDZ]ͤdӆ*$#/Yake}&&(%m"$nG=M>zC$諄2&T)>ΐ/AIӤMa{Hu!wbqE0CL&M&%rhu5&+ZW f9 ^|=6>б7[[LރT<<7-U2! jq a|вcP=Ң±-M/}kZf lsb0szUɈ n>1h;⺓cc}wy~~a]wuOM:05&&OJ ~>stVYnaWArSZn>Ym֫4*/8 ={\+-VW=(O~ç-<]-M%N~#Z.m W*}\.5ae#mګ+D)o$Mʊjs^}X9l7mi-xذg}[`hd9џs~[az^yy=)/|Ѽxy^;ca=[/{mIgpU%/iք.tn% 5kY/V,/̆"+]au)8^̞&Ĩq0I#0eabmRU^.Yyt7E`(n ~V ;}$jg0{ %<90}h83BU:'c}NZZXvL %0^RT4iis/ $::%O_,uby-t;JP|I9ݠ bh52̊HMi'R^2iR{ǠcXCk28/n9Ctn\]W4z8x_3mgY=jS\c?x9N=_NPy9G~ (u64Ӯ&#D4fc QW 0᰾i^F\$Dc@?z525-'Ǭӝd)W4eM>6%¨e㡁#@L#zRt-֘]%H6"c;@X`sYZA0{ɨk?j Rqq|/qW4iDLJP0t$kbDrZmJ+؅:ͬ&58 |FT?"l754Y qa@Ƽx̬5ԃ9/\ )6ز(?/`Z|Ԃ'S{Gɧ\Ύ6wb 'iC ]Y*D˂4C&C߽x< ,$CgYZ7zXZִF! }]ŗXi% ż*)) .xj-BsWcc|'`4=4`tjP=4<{/׎UJٜ A '_w(+kᄆa`󕐡QF6!r X?8jK*:۞KCaX }{ "؟ IpBV}o X]k Y" 7ӒYOz ~Ku,YiMdvk/ BQSx#<`J`_ā0l~R|clz"2EۍfoLTmZ  { 5 -o?X lD"^! Ҋ{Ҋ`aDo>c\U)q2_J򈻟.IT$gJ%^ҸldgO7*К桮S$?EM@t~d A倧>$s|6Vy{(L5 y]>.=ҠJ\;mDI}B$lVmԿJsv Te}Œ]>(^mVrf}.{m>lFţU,z4(ffCU"s1D>KOՌɬ_}kw 0zxGS-j"҂1ߓ[aFfnAܲ+