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 44=l m Buildings:threads=2elapsed=151.978cpu=249.772gc=4.652factor=1.647zXZִF! | p]ŗXf1-/6vRZkO* 94[cS"^ˣ6Ȧ3| +("b-<&/1VwjKA;[@&|?O!P:(~V%3y=~NQ"L\ChiIKZ\43X?q'졖ޒYY'.̷DّwƴɿL%IwsAD -7 AñRFvC}E>,2")J (`NoBF7N(]WkmuF04>DNmXi|nJD{$b>kåh$6'f{svO6:̭üY4o/aG9QSC]f=/_S)dx6:]# ^rW|H4X5.Wc?bNk_%+@ ˲|6,ݎ}=8R;}7W;vĩ]Bh 셐0gA !zU@YQˈEs~"G/>;⿎c; 6]nd@$Oj [ZvF$ MӾ?{?UCH@OE!a`9wgjQkI -ghOu̐9f mm78sނ1J΁u!شgz"qp׵LyJfNacآ:!m :b͌^=a*Dk=[ܖNd BByFA)|3̀E;zOJ7(X0Oڰ`7Z5nvbX1,ȠR3* <>{ʌM@B)Ew#q+MX҉)5|t`FUJ|ۍœT“K>'?my`^yB.`=l+_˗^jnJU}]&|Eڝ5((Fȑ ]M Z QZ$qbRӟT%r)/7Zm,?vc̈|94-ft !nĶjUy-WJ?0iwdK5Gr2X`+ #4 ]=}C{= ޯ=mz&s+aeNWmzMs`94 iI0O#JVP5*j^ Ø?\` ScQu]k(^ZFQ@/fٛV*nBv["L1M8fՅ!-/%c]C+EB{'3p<61VlW׿#Tx$ȰR$$$UKJ:BA#@Tػy"> XWe em҃pL;|\%zl%Vm,걐U˩"h*ŘGǻwm46jtV֟ qo Y Mz3-fD:)#l]O `42 BG\w.1Azjx F򜧡  …ӳ$x/>^7ZQ݇6q̀r?'Zc_l#6[nPL.|ڄGb^n >*P'I[N'ਾa8h~myh_py8 M_4# 2aM@~8pɩcMQTnZ6،@~Dd y_cD3:3pf>+'0.UJpx*, ڝvxq5c\& =p-vynOۮe9z5 ^d*LHL)r#d/!cue 6@Uܣ`pD&.$1m2T%ĝT(Q8AY{C4,+ݲ7?0aUAN-Eghumy5JÃd"`V,Z^{wn9xs!.I)$L!7E#SIN 4i& 5d9nsH g9M-{wG +WΖ +b]_%׈c7."_͔9ůU1"ϰR$ZO"2jxDy,Eܚ6q]b鞳[{(2RRo%|)lŶ+./JEsA؄זƀBîfRUzRn?>s*\E EKw̤ |$Ӝʓz6Ig D4RB*3 A9N2au1RMҼx^s5?HDvo'[smPyaKLݢ8&ǰX,)#n%̹}Rd.B܄GPb0TKw"i7!H!&@ ⫀.N#UkL$q_ؽ/zjoT-Qry!+x]7k};lNB͛ P?_ﱼKC;4ã(/yKt E%^Fpyw-xG(](e.Q(]5lz<r6 58ᚺM9qL4Gz~M"Y>>TBz3+%*K+G.\7:W5@ZȴZD(]fW boy .D#\>cGZ6~-wJl,7X6Ov>9}DJ[iT Zg*v8nɍ3F2w w m/H%)D~wu=e%%EdaFM}l[N!м6,XC'G(-cl7Ɏ@he՗X@PS8¤ }뜤u*?!m\4aDr 7f5j$|] ^jٴNsUʂȓVYu VD4M'cJ,d3Bch<S7Rnߡ1@;C;ECZϠK&-DgS?08Va;PfݱEYDh$άGLz~ Z13 9@.)x¥y^y էEyN1E;{ƻ Q58#KV5eHS7e/.hGedd<1 藫BvhEߑF-5h`Wm/P L''ٞCV-y:|`'kxv7#G'yX"QoP>0?YH滁7Ɉ^oEH|s"^gi 5pLHxɚgt&ѽ=֋Qh 'ݰPVd.7Wfv^ę~c+b.p >I'\H0[ZK~J9_?2^h>Y"[mL\FC65ߗnLK*JSTbU q퐲 zY)0ku䄄E{pMZx%H͋OzpΒaM7#S*l&G^}`z{O#Yq={GO>NEia#TkCnbxM7#h1`Ge0VR0DG]4/KdL7KEǣ=OmVT1ÂEL ˑkѓ%mm.& t+hG:Bcڏkk4 ^:KwT+x_0$ߙ)Ћvdy"d oxacKe ׍mX UuKa }*~;*,Ip׵B]wO$.70, 6F{7E)u{ځEk|튺ubz,~OO,*OӠ)/NV! 𗐢/4( mMa`VrbSɱvۣkEZiROHzCX7=--^k rcm{ w3qulIMrh{TZ;;LWJ \ݝLSQ%Ah.!<>?ݒ=6qRp% pKw9/{B{50bBfA`/J,lv[ܷPҘR!r5 8)t||/xy[zL|qRpHNx9ʦ!6f>2-sBn&-y1;@a7Q&F93?|h9w1D"!? c/Jm0i"/rW~B0&dDO k[ޚٿ ˬ >#ϿGH=5̒K4K$kŕ0`k.AW)]e$NȄ)=/ } LB~FKԝ£ۄ's'j\TGr.ȑ5W-3\Na]j 2{NҼ=8 sL@jŋE}b*zq|o"Q䐟E߽s*9`3}|{4#G;DG %f;Ra|r˪ˑv :e13f)>;0!Zؾ$d}5*nte~X1Z\# QdCqo3ݯ2k؋bGVkgˑ'FbZ޲= >i)\K)Ҧ'!Jjy cb -m,~FȉOװҤJA`Jw8[Kj&w@u$N Cu| VI7Ŋzp{qOD 1n~J} RD255+>z,tO8 UT];fպcew2/ =Ņ2,ʌv"dY@-ɕLkkA *@X3,cr> - O9!ۋ^axz*,K-wqMPE^Z5'ֺfq`B~.{9+6觇tՖl_] NyA|70UOͮv-Ju`Ơp+'{#sBT; aIPQ۬w8J+Dk`rNtud:7} I5:Ad\N1}>LBji|Qӭ017*h=%ӽ׺\XylTp'KML&='*8.eqc<*R,(Ullrw.#tbi=e8e5M'MH5K3`k9X` @DؠU,!qBQ3#boӝP a</oXJO|f*b" vx߃FcM ?o2/O DJg8ZJfhl^OK]u"M#߿Epogű;+VѮI .#){[@قP*2> `LSѴE7<3ͫedT ~SP8Z[fԑ\Dmi%M^8vq6ĐIyOxMތRi#9J}vE N3dd`8d9užHK("{E ~YP0kݱ A@a褦b!}'(~5|T/ N/S:/SU~z~>򤫉ȏgC{!'K^[X_fܯ ?e'JvNv#:(i7PwXkaJ5Ԟ>f|54ᯌCpzrϻ)519ϴ8OKjvTS|P)n֍SRITatyM]J1 XGۤ+Z5[S Xbt FX],0?*3Uɕ'mheG֊ic zZls`DXYuZ5,1+`ZOP#N {iKOD) NbiJX nWё7)sqj'7F8 3NIP ;fv˾yIgGUh;g9[`q4T}Obl{Q&Zt6KQ(90}7:]2`O$ۅ7FgV#VD")FX1(qWݼ2˲ՍX1~̛(J?0'1~V^f5cpbks6cR^ 0~Cy⽕6FbL,_Ga¦^%Ev.AviÕ{u#X"F:i =w{8 Nd6*Bf):o'ݝr]YQ\N)䴮Oߕw\T3km O70!ޗj`* ܩ.`xa*YѥUHnÙ]w|f>;.?u 9-r2p:Q"-nIs~v7mhkiܪnn 2;; ts˼֌ڝS<O{Lyv?f[G P05zs&k$uTB۪Jf23D 6EmjNکZN2N3V3<Ϭǭax"DcO) ;hSN 57h{6|yj7.9Q]m[28B oyyU=`>_As!yfnװQw7^z$X1a0\0 IP5)3KtG&D]S%ߺn-]n{>g/