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 7L4t ]/ AWN:threads=2elapsed=100.274cpu=178.672gc=6.344factor=1.787zXZִF! 8_]ŗXf1-/6vRZ\fVHA"\sd` q2;wB*Ki^4'EVs` M}#JЋ{C4Pjj9 D.4nΐ=,7YyeS@tF n"">Xɩ`7>B` nZ>ؑ2zf96Q䞌I ZIY}H~~%mZ=`${r07X\NҔq ЛL}Tia F轘܍Ȓs{8) AS"rhgnJiîWJlE9LP ,zSQߣ %ڔO(p]<(< "Q(gE977wQN_ vI$јegJ!k֤a+ ]&w㗏'$E#f+o޳hdMGƂ3 1HV<بwz+) oi cb[Ec L?Ze Uj6b'Qs糉k\(K]0a>N#1,0mF\Dq m 2|Zڑ"2z=k CY7m{v)5ؑ:j56*wo,XAKB Fk&ܝ).Jl?u[V*S7 #SqFqCG[IPTkE`'2iCdfCVD,~ڌe#t?[SP[my*j8\U+% ܷFtj~ewe`2߂a8}VAOՒ:^vM-5 Djʁg97o杅dBd[=F8֫a^P><@i{3y΍Wi2rprNoNeF}W:d\ ,x'-)s . 6k"_c[HFхUO̵:ڻJ뉫GV/@g,g@r!kO>1*MI3_UK((pYnτ^dX*iFyIxUl\C?e^7;m ؒ?x܃/.ͺj!Q >&-f3~tl'(_YDo@}b:S'=j[btܜ( :HZt[twLeRx&0p82uQbObn>-]n"<(.2_;#6hM3!]c/ {`m\.anu ܖ|.xuYI+;AO_ |UbLo#)z$o"X!MQBO FxWȰ~Ks誕e98-qVv@U@vPﯕNւ|+L 6DE; >G:gYZ7zXZִF! Xq]ŗXi%6Suy_Ge EQFU[ =c-HoVmLL> s3ly,7~$ә`cil{m0'Eq'Tٗԃ-$2 f:ڣA?ҩӯY sȉIm8xq" Jŭ~"Z `j޻m:CM~AIN0!Cu>^1O@E JwW~za]860/H="#= 9r:քfmELD*~]Q-aۻ1ksެIVFՀ,\n;dCقV=o+0vZuB^;J("zϤ@LkKu=Gu?%LL6gR H SHB?=\ۗS>% j8+--ҐT9P"N4˭`6ZQ(vb\o!k,֐0n!Hv[^Q+I%i:lw|!Ȳ l WB ߜ}^GLu菬EaS2Ls1tfS{{n^2ڣUk175+7ՓLGj?K.)6[;E%Żb.w#7[pa%˴ O=lmL&8#&&@8EzJ ޾%+o>QT+vGBaVbUii&"~Givo4 '8 S41b I:L$h `bh.֟GU 2u-+$)Mz%_ ;Z:"i`;v*L`#G0wZZQd6O*l>Ey>9Gž!˦ [}}m]~T%ݕ ))qa|zU" ]^;+(rGo;aDf }+U0Ă.UK'n1\qwtiәR>+ؼ%d$pٲ?nS^V%ta5P]á!n7SZ.C>MII6!%Fh(~SpJ{$@h3`Ɖ_Y#~@ (1 247/4KB  AWNhf3opRyg:{n ZD]Fkil₺sqMxvVd̫x].~@rY1q-0p oĤ6!~>jrjd~5 Wy}ѓwa0A+sR BER6SڇF(v֯w8ݱ$)`.68+K#\^4<*eM @Vخjay.s}c4EPZbBIrv5rq1;n՟^zU§q^]9CqITkuPzn@|e]\:Bj7,7J'-dSg>ØM!)]9iUl?g; zfa%MPtνL&⼙EA=*G*M}<`; X;O6` xr)H)lY0?>w-eW':Ui$(^ 8&W>y(g4X̴ im9&[_nei)j~1CڷX35kU^R6pV&cJg*w4:y&!܎QrTb_lcF(eN'A;nO.14D°pWYr{u\Sf&#jJ 6Sƛ]蓽9Gm_Ŀo2= ]D)xռ(TI/z*Í |3כ-4V? $ڛ m6h?T#UK.%Bپè;-1 bVb/!gXj1 ncN)u9/$Z #A|;CBŌJYL>hSd%M)%(j[,9{,UPX hx؀fm(N|6kLeHfm,Jeg7e8-fbEOr\G̨-r 1 <)>݋+2ek`թMvl£Ht,ɸ|'6#$b+703 aun~~+LY\^'9LƂH^DF䝓ѽi'7E$e) x܌׻}| uܦIh_ڌ93 ݄k}o|-~>-^&K?<1N [ShaC־P2 BDRNy`e ( n­hy e)  ѹm$Yos2SYZ._w*í Euäe~Z:P [eB,s}hVP0z"{8LuDtG`:t .m;Sꓴ5gme,G?q$p.*l ʾsˏ@h$Kx$!CMwt<`GVA՗~p>=P `7#l|U˷1@:\R+Rei9s?s O^vz}]OSjPs:% DERE2jE%ZdTβ3@YM»&Ten.Sw,rd؅VUk%dGu`h^>DVR*0똎4|N"%(\mBS)xg~rBXv' Z:wSmk&V[1殺TUZ ?TZS6L4 @>YS"f#hћr8Ou9 yYLR;B 8~xT3L L9k3]|۹A%5, ix֣i(]69s]_ >PM7 SuΒN"Q=aQrG?wd!~B]V Ă }1yDsn!c#9w&GT¢_ֵ=Эk`^6&TO1f`wx%ܭg9o5* F<2 膫A,;P0|LF\ɹfxcT%J` 1āP]_JR !GjdnYv{IlI.w}OX L(/.Eɾ f#Oz5!FDu%o2i#*s!T9u/8ɾhxcqS4<QD\