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 I#L,  PseudoHoops:threads=2elapsed=106.802cpu=142.324gc=4.580factor=1.337zXZִF! e]ŗXf1-/6vR[3£ˎF""TB[dkn*eTX{)cTt&UPZlqjLO6Z%mt 쮭c(!:GyFx~xC@s_KtDUXxG1.'6]Hle&͡0YC^Ӭ~L4$@$sʆDzT4;O͵ XWcBcfxvv_=; >Is$O訯+-͛^@f4?Y"&]nЂ`ȌVm;aٽt"\G}lvΫazѮs!T4Z IVFIy*P5!d :4l=keJM*]z“~?3}dCbeqs]0 w4_s ޴ D$nJwr?p*z֑r7ӕvA:ci{(W~(8;Ks4h+\JbNG񞲠v1cтF })}YM涡?\-U>-3"8t ;toTS6Z癮yTfcݰqX8z/: !oO,Dvq `N5!wOFjH[Xdj$SP”l6p4` ,A ONP1myЗ0vWrnPx a)bK<O/rkDx6hOG$7IXy 'ԟg (^2;"2MА17KMCUzΘex{ J̉B0 $47bxpa[s)IłmO+dxv_N`àkLfVT|ov$ddC1 l}DWk]:c;Fp9&)IUbnṲp^ko1am۹N黈unK#4=ۺ`4ICuU~,?g#HwWc^0ZvkqH6U`r'C^gq f]ߩLp֒ .hN5m $-:8X >WǣOa{3w]{Aj߬I5Jq1u N2#яNJu-!r@[ypO3r .^zr|؅Q Ę!G=$\a]"F`V;Du~PE5<-W0.C>=}ԫ)DLid8D3&ͶvR 䁍΄(f5EUINP2uj$5rp>:7̄"j7hʐ tb5?z \O/CWqP# Zc]Xt4+<˝3uzu_ @ sXI}۬QsH0x1G;SUq\O4^&lT)YpRQZoTp&Ꮦ9] ^/ sDFrpd^Ja׻=?,|z!/J٧u$ cj"LGi\H7=ѵ.Hj2-j pOaI_*5[3%_E( `|7r=ʆp .L[*]/4n(w37(C?)Z!frZǼÛ֬Z(8JQEx%b6{ 2 ҧѤ+eѬCǟ˜]a;3?pє-}"C Dn[3˼;alADH>ya@Һz/w)/ PJV,x 5_'^$3'$"nV@ kl{Y}:4SC4ah-pt8OWd!gL/S~&Խv3uZ͏ *+RyO|dYa6$HC''n#n IVUX~OIx}E&؄_Ow.ca&jhbamVԟEhsq IT%Ж@N.a1M[]ծET,;甽 E-i5 D_52O[&2:z~蛳-!>}nc\ Pro.I`s$F6 ̬#~b a,wa!m[;TɡfWV d :Zб3dd_g^ ^ ho&9itL:*\]?ʙZYڏ>aAO@h>h㮓sC,'n*9x&K H]ÃTjPmN^''Xy+6/G:iS{#T2IJX<C6 j' IͳGߏ9%^/#G%|ɐsَ g?,A5BhOƐ^peE',r 8 @?$3&iP>)qB* ")v.j7bejC-Ek4[ oY1^3塩֌[{b5aދBz\?aAcq|f?RlGΈw<`Ӂa.zpNd8n7]g_i}J a3^0~ <%`q\MygGC4p+}U|FS$Wa{ =Hcڷ3%YEJ*SNe(dWt@$j%/.,dnr~ur61T,P.egJc$oX/7U4,1yeQ)re%N{ΰZJnK.f-?E`zpiի r@ztw"Qۯ+Qd{k8OXr{܎Е}Δ-(U,W5@'~brn+L- 68)6ϥ-,ոVk~Ig6A l)\$ 5P];jgp!BCESol4p(co(_gW)uF # PseudoHoopsli8S|vA&8S+Юt*^ Wdtl ˆ{a#:柟ZqP2OSб6#󵱕_rp͟?Y%l~U=(:d%8H1An )3&&LDd#jz; iT]$ Cҽ邔o4ȊD<_mE#?g/_ԏVau |/H^r`DrK超[v*>vc_J7^R*G"W.  /Þug[-9 ~xڙvf)Fy(&eczn?4(hPzNJD V/ijaTf7y>n} t5_lEzո4-gU{ $惐nLީI"`gOEym1 \Oϭ0IhZN)%&1~ɒV9Sg?^{؇ ۈo11Qq,I ئi"v8Y;z_ D9MA:7_5:)N?ت<6<@6=,]NpDd~|2UN*t??$~8+O-A罊/ -WQ6zT;ndruM|խhKO"$kN/L8,nL?>5栉1bE9**D1Te,f]:Ney+! ZLR.F$\%۰z֋4dVe<(lo2 n b??ǣ@56|hI %\W0"qdXg*7/ 9s d3'bŮ>=(Ls\EkݶI&ԫ+T/a]ԧS9Z&m2|8xF=%f 8l9VIJr!ަU{ؾ#.v Uw!x LL' ;j/;;\,E'Ɩ>qiYyB(RSD 2pa>A+^\~2Һ, %25'i>5}m“ƖܕQk( [y xSRţTDJş:(@j0^KJ[ E^"w}C!,dM_[Hn~ %!pE` R7(T]"Li*b\j Ŗ-(X];I3l$TQ[Q%+pĶ[6y~t)کL;  J ^c2\ٙ#R B8!=ǿӬUpvlN7bo*1ĥcx}J۠j-wd#~^>S'P =D`nG55WAw= Ԁ IA 9x3fɕ}Or!G0YLbz.8oah<"Jv]2VCJ53z4=9RB.w#yLYIAtl;BSsH"+ &+ iuo{dz}:ZB^y}OjUa^" 3]>Wxt~YK<t9&@wN]/(