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   l l S PCF:threads=2elapsed=47.505cpu=91.448gc=2.812factor=1.937zXZִF! n]ŗXf1-q恈͐7ӺV ),Jx{CYoڳ\"lLHZ?=;VE*_a=U=kvoudVDpYUuhܸ$ů˨ 7T M!- [YL{3(umyiI 삅1ֺHg)l#!R*;6 |_e'M6ܠ9J?20I |3sUaiH3{gLM-NfpWw P%-E$Jq6t`#1ǻA5Wb[p",bd-(D *J >iM h&-Ք݉vfVkgpF\B+k G/)Mի+=I3-&:T qhA[/˘:IvSpbVDg/]{< z t[ 65Vvk9=ӚB WҷBb z)<{>YRxj=}x5VNPM ħB} idRer's(O|hcD> S_K)KC͹NM6M˄z2i!wbbgy]W?z+z؈z|%.(7yցDe`ނ{4{4y̱ߖ)F5 7,í2؍0 Ob{LOqf8owzj(+4sT_ox^ j~kHXg/Z_q E٥w4|3:WJpR)E)9e:h NkD?+AN)gm6ZZ( gXHuB-ȑ$IX?!9NN5衠 [ ӱoY̖M򕍆/,ڙVىҞ*#Kv5 {:ܳ`d Ɔn+,=eRgeqT1,0{0"Rn૬L#RidX~?XKцMD9%X5YEđ|H 1ġ;9p :gFc-n#e$͍$AF:$|8F1=pjHm^p;v8!倄m2JgK=-[:,{>~Q^w14Ԟ3fue~+t9p%ŽzX%p~Z֩ eRv= o<= 4oRʋ5Ȯp)5 wWb󕴩h%OwODɺ9GIL9MwQ!Z\oPShptux7hbW1P?*`t'jA}(L c=mjkUsH9 MgzE2phT'eɅsNz 3 rSd'CzoO &d. y2cSݙ %]4ͽBp}Fo덛S /|fdQQc-_zހS ӥkJD"]OHl|0ZAw@ 1$ECJ\Jkt"4SGVT-I 'fO:Gmes#'gsHwS9~Y*p40{]ƿ\aai=蜵O(. Qv߯ij@2"8&M%tB$.OTmad'-/HJkE V=ˣp]S~Ũݿ|ے3$smW@ hY!4><>=`!vH*MOz /Ԇ)OHC6ΩjѨ8#%Hoxw4u)h,/) b}rQ]Au[> *@DiWڭw2r1* c=R< <@%p(('}pH8\ \(vHˊvSRR7„ T;hdm0UY2a ǙXV//4|^}>=mԕw[6e٫.74O5V4jhlEN vW^̉_tVy؞ۯ<|F4-|ڹVyh3dbP ŀ| HvCWC>zT1wxoxr2[~{phXZyVߠRH䟐MrQ5I^O1ͤܟZ<)xR4AȈ% ϤCmA0FhRw@R/g::ha1~ u= Hd7%[%_54cя2^c< GOdpW] (wr:nԌlKN2`#\/eH0fRW[(vo߸>yEdDR_*)s/MF!v0Â:hGJ麴jiR_CQ=5j_JScw DHmK1-8?߉E ˋ]4KGD wLN6k"NlZZs*/eK#dA3uǥd  PCFSɛnGA&%.R-NA.˫/fFd6eBFMє+r`knm p*4eѫrPsݥ,K>x):mDmZ+vyQ=, ;Vvb<'07y.W5t-@1>XH`nsgs`g@ D7գhc*H$o1|[g XeU?pEUIѳ}S^|'0OLpfcNkNsTt>n:Y"yC Ӕy&<a057@7a3zrMXv>[h qsx6IwvYeҵw0h\EīCnM*,bDfR w66];f]_R˿W1\>iNp;"\l(0qhv=1ښB~ۡ.LK~v%X# bj,! ^gYZ7zXZִF! ' B]ŗXi%sş  3ɫ}W[)o9|HACT&x#23̕wmgH+hj UqV]VXZJ&@6ѫGd¢&KҰk@qsc}h-gjS_ GCDB=FzOK|J宷bkįUS5{bJ шܺz3#H3ߊ$O)c)=AFwSlB?* NzgW$_FQA4:'EbH l@R"̌bQP8ݰaD8ڽ]+" TDyYkJrk =Mt7vѽQL3m{N OѪ1fH@Q]E9a1 *sDN,V C}}+^7I<?Ӱ :5DtF!LV\E*\ KF39[Z _nf;;#!l+fy-mL>.a>&t8#;‘,4-5S~3)=PG ;,s@w!]_q#>K(-MoMwZ0Aqt0%po[4vP.rW@wl,|@p0Q|oW/orEUڋ%ίoW6˭wb ,qZz!9'j!\@<ǼjhY|OfUyn)u6"LQ?pa؇2(9E, r}#BS.h~ AvE,Ǹ`ac{|k.x .Ǎb¯mQC2 eZ#;E+GK@ؓ%-#^>ZZEp/h,-?Sm%aC n\(]͟h2曡M$bqٲvc?x(նm\-/RC/'j(lnФf@6Zx+83bϋH>s&E9 CbIMFrT>ie^pϑArO^jАMT.>pgk'w]Ԡ3dĢFm^kZ Ss{#WFU8t^!~4[~1Wc98v~4vO 9 m[ C_4QU*a!*iFY4PTPrg3+s1tV%Y 5GWFct[am6!cP}_r1viLu54JR4&kBh;w5a΄̻b]lސ벌 ,+-jD *Cf&H; Z$GL+Ы2rU.|:6wv$g4)Pݤ }~PZm"0`Ň"D4GMmL'(R$$/GQMBjʿf}}g'# U ǼqI@jz)&du7RGȹn[|~b1zΙ{iiz +?,вHw'X!:;+ oК2;`Iqt_xĿH k'oK3(Ws`1#zߞTt2`TqL&Z. 읖]:U;]Lrejiv!Yu].bd-pT'?n7F'L;dmMWF`TE[_s>d_WkwzZFkX|LO?Zjd '!HW4FBp@.DF(0 -ylitg娻Q.qk&ʨt@&_Z