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 @'$4 'w UpDown_Scheme:threads=2elapsed=77.875cpu=145.876gc=4.108factor=1.877zXZִF! Jo ]ŗXf1-q恉<]d %S TzA=0 e";^~=l5Ax dH:%)gx`^%Qej4r R"A$~fe~ \;;˛gK,TD5ػUBPxQYe4t7+:~#xf̀Ic5 7)d˚b]eKgAr5JjAs:+գ;t[gsԭ4X̺;^B$lh?4=O4ͅosN-!:lZzxjaM&[G+]\L5p=`:0Qq A gHL8\燐@0WhP" .ř t}-xN2۾_@0-bR|dݜ[_7(ʫCHf&ҏn:~yՐ!A<\"OF Ʊ;iA8Hul)7R9aHڶ0cYohF*:?|zO ţ f/ZLF 箵ToBKR]7w})x,@?uW(DwqF(ӐqִjB.gJF'Xƍ3L?J19MyEmK2n!<HNz~Pwt PqdTFy[N(tU;"V/lǾ=1+&Ǵ0HIA.tBGGdGֱgYZ7zXZִF! u@]ŗXi%6 iZ%v*̇Ӽ,Egwi@KN taE֒*RPq~x*/mGԪB-#AGiCLyJ$@9:ĴL E6)X=Xv÷ެjf9oF,gϝZ5j~msJ̽SlfZtF)dAZ2;bB(ek<k(qI Q{V?(BȄcmGCATsT'@F4:`tͼ@V1NƂ>OOJ}Je\[y>dX^e$jK V5A2Յ~zr;H@A'qò7Y"AU=lA򝫯Vt*۞%cM! ƵǍIb0i#wS:[-8ӎ)̛3ɼP·sP h3EHa~ {OPod\!W~"Yv^IyH/T8!"4 'EӹQ}2ʵX}nRH)4lbT%^V/vKTc@P^0fzWXi2/`j6wsi"\z)UZXB+GߚNqʍ}`G:{asCQXU<*eΛ}`ކ}6xf,G,U.ȶNb4dv v_%x~B2(!β: d)!CDD&/BB%m ">ѝ75d"$ :)Aq(Ѥ{e * 'P_Wݞ6Tcy/r$ Rv䦽qX F\n}t. mR) =Xkz.6 G y3avu8CW-dU~lDv2pio}ǐ)0i8C϶YsB|HNdh뤷gX䍾({ l petzYbAM8!͊U)ߚ]g.R?\d7trjҢuq sjU*&ދ95X j뼝DOeΐӟq6Ah@U$1CIPZQm2n'!(,-y)LYYBJ>b{٣RpPg0(,yXdmr6~ܟ-LNB9t ĄKę<]Ž4fpBn 8/H{2dRo YA"ԡ[@l;'@uCg VπdQ˻Z9Cfڍ6~BÀҌi8,o1ɱ[upNTle ' UpDown_SchemekpU]xIg:Q_ B#)]Px=$+ycC֥gL Վ{,[s? ={W U#2(D:I${qaux0uIc45avܻa4,sy q3לT^tB5 PD\9m$F0SE@0l4[OG0 ׯ%pXejOz-gCp Jg ͌nӤJzԈ=boh 3P38{XEg]FC_cHFǮ lxLoNs%"Ih9-Tf]Yh oq7UV:^Mic:ȥxcBaɚK^}mZE햌-qmjnuV=R#պ߭fnCֲEFdq`UTpF1 "zA;D5O`^D ߠRc_djUɢNoڭzSZh^ dÂCt!VZ(F=Y#4woX3%{Rv Ƭ!= MeXt2脁ULװе&nNWۺnz 5uTDAb8kυ-u0%L%GXRo]vhfЛaV5apuqUKtU*ZRlb*W>SKCY1`&Lu]9ͱ '/a)bf)޳!sIY0PTDM8K3̦}2 dE_} d낃*?=X3W {%6aBỸuC|[lm94ȓw$ɢno:p/eC.oSHb;]Rߚ:I>ҙrsh_^lz̈@*h WK}NG وAbD;'*p|.88l/gYI3'x$dޯ;xeQԞ›0iPYD'S 1o #D X^ G.5åx[%mgY2\HJ?7OyD6?,!^!YP3=ƞ>MZS1p+Sm NNƏ;wv9H; 2c/3) i}BF.ODzLwGt1[严G$3(n2)K~%};A:ɗ49ϔ/vfZShYϭtVt:x0x@fg QaY( \ZεNJ_S/TBpj]d}+\w!\&Fr'%xZxVCK4 =e{i"J)~xN˭DQTT]&G^<'*#[~7[e˕C'i gjfbtl,“{rAleMm0b, wyp0:ƚx׀A&.h<*Axl)茑T%7mDP!'BY3B~o&?m.Ft21V;dPٙ.ړ˴Hf;ev