SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info F-T< I% AutoFocus-Stream:threads=2elapsed=76.308cpu=139.252gc=2.072factor=1.827zXZִF! .]ŗXf1-/6vRZ]](5øF<Ꜣ\Tp+LS)h2)Z@ldc6?i,pHVPX5xH@l{0tM"o@~;Yr !/"Β2r]㓕*|6U7VRrɳR0ٵ'@׌ޢYXn \hiLGӡ.(ַ؝v]M}2]#ǿ-LqI/ gd򔖅ɧ>NDuL@]x]-%YZfzua+9 `6|cy&kbCRQ+5zaUġ+ [^ Dl7x=},K}kHwhc9W(-ȋߒs ٍU)v̹F3IC`fNAo{b@DgL \±ʆ}gB6^%w@̩yf - AutoFocus-Stream+|8lSчr<](@ ,,\&_B#y%،%:Rk$mX 1̣<ܠ18jWWY'ҶP *P!ze*qr̺b|T 316fR\+0ęlvv3ј}oN|4] &8սh*Z+8y ~=L/ "5fN-YG=}Җg,~ =kNj'+fvI\A2cz<]L;`tKPðɳ.ZǎQ`d;oU9E ߫ոbpiح+]5FI`d$آ(,;Dd1.k[Rg347|>XK{ȘgW{MgVU|~d4a1" X 7"un4'T2[E[3+Dn51jUTH\Ve U0 ʴOfSI5ޕႻˍu3&z)eH?n0=k=G[ɑ':9䇯y5, dP5bP{JOpF!5dbo#8~׈]RW}:ܚ(H -W >[UNV i "T:/yŜW+/"JՇQ\9Lv1U3>a,o5u+y u7 Fa tmw?vj|*d ڭfWY0.s|&20kO1i$Dr摾ҚJ-0bV!BIUedZzz- (I=XqSn ~Of`hCpܺ*ƦsZnPѢ]pk:?+mXD_ uKգ{HVոVB,iz\t^N=L܂4G!#ۢHEfBAk.~)ؙ%ȦrMP z܅jwt] Z]v\*l2@ee(' =%]n"k׋}6A̩ u6WKBE߅K; %1ʀDrf⚮2GY9g$lѨ <{" OdTrO>+Бnq6h=j"kA߫B1@K md#- @Sg7.L-U?˃D##0 /\s'{ 0}0/TMXct٬2gGqG]m..xSW>W%Wd.4k! 4:_IpD*v:(a^`i6hNstV\NĺI` b (zY48б)|'vhU$myRF* F%څ5)O*3C>Ec>U3ɓvBiFFK(WV{Zfzb[Ui($[\.J0=H#@3:],I5쿙&CPfd<#0`S 3v!UG}Y'7gɎrBI$Z=VltQϏw'6o)-ql($Bu`zP!V:cHȦ;P$@:NwGJ Kj`Uy{B_8/U2ґ̌5Ê;mal_I>[MoGLRB=nc!Y(nJ5JC;Kl>6' Mbq{CI3lmz)9I$*5z,U~gL?5і=Db;ָ YOU8?Kxy2l7`~1\=?w1gbL),;SHJջFK> F}ŶX9Ɵm)XUhF#%*=] `EOh\LK\ހ]ÿQz9nSs+z[\\a3&AWh$,@ȬTkg_/jMo:Dy6^^D+ܵvG1 "!^ Q̉ Ms`(jf11>zr\n^؟' odZd qAyx/e7A.=vÊn~ݳ?C`+68 Z6=jV/Kh}N>1HLLN3 404ZxۤE{M|1Dv DžE3mKUㆲdpPlP7̿8bԼA$)2Q!/m\aQ$r} UqlVKOT,fu /;]Eu54e9m%u ~*(=f** Ӗl?e{$-'b5?xp/A#yeefߌ%86LޔE;bXX &&:/R{]y8>QyM8 w bf+ǭU82lE̫v-v>o9t3j++ w@z)ءx>ؖ< }l$+3rRP$[IQS?w>̣bֺέY6]-`'pp}%gؽMw%lF\TJ&M(@9-&iӜةɊi;4e[Ie2g;vΕ_ײ(&:uRJGgSyǹdNC ]w0RSCE_ζxlAQHi&s=`H9;t̎EΨl eQQuHQeOɌS\h0$Tx㻾 Aٞ_nYCܫq#"U"He9Ѳ˸p )l\cSanppdCv>ƶ5 bVvd6_PKGc?T&7vJ_*'ө@4N/ 8'iExy9 ˦ȠCz04-/A$[>Yrɒ_<_:i MtԺ~$+vd2XzwpXBI"ߕy&#/9pqˣꏡ| _w&9Hhʰ9cO CmVe01b9_qKV9y!߄Y4$>ILh\ U3F+*!arb XRQ>Fkhe^ KbZחx8y&&J G`OGXf2 =9Q\>ckymlHseуye>.`uQerЀi͍:˗yOކ9Lc&G$*( (9!:0'$2Fc/ʄ4U@lux0VwlJ:T!k1zfljwSk\x 8JsWH3e84kP %5;$N߯ŋ;9*Vy0E-f ~ֻd/ug[X={ehVtXcMO,'Fqr.4Pm;}j cqȝ\讑<g4dN#!bX!6gN썧y14/~̷;=ۡ(фvtW2YWO \b䤝vI_MĂN{Ύi-SdNْ !yk1Bxaiփm=,ܿ?2VƶaOT(& ]E(y*'̑Hku NJdQCߓ'uBB[wY"Zl(o*$=gr4Ƃ!ar^98-Nךe`Q1|fp`ɾ4gkY4zCU/{(HN3d] ͊|}P!,{1;Ƙyku̯G3|'.%ׇ`^$nȔ(XH g`='|Ke&R qd1&&? mN]`M /s[ymә`7cN*ksI3 gdevSstT^7Mqf]vyaNH5|( jUe@m#&D@*Pƴ1}2/5M8ek ;--m8Ot9d5zh4\ a]k.j;vŦ7K 3 sa#/^īk$fz/,Żo L:`[uSKЛ^Y:lzG9g_/pۖ0qKLsEnzɠy^#o9&$9vis&cy6E@/jX Pǔ lF=/Z 03+ڰ[D< JAA_dtV#IW6T n  W; K ,u*/N_%PB'8%:h3ެZ|80b|6^lgw et kN d4 u}"O[_XICo<ʀ(C}<{A8ޤbY퀡xdG3z^9 -fA>D!R ?n (E$LYΛ'}7̉,_-QbF)/M aQnX;-4#waI Qn\ğ;4`#B1-OSL&Pr/d:Y.阯x>,|:YZ>4nup:_& W~o"YDNjİsy>p=nS '%?R>cuHǖ%sOJhE_E4z1-x,LEГ4VIm T;*pQ U8thu;i[C`M"c,م7հVn 1f %O\ g+sWi 9B# ;j@F=P5ņXm,il;C1Ov]oqpeO#wU Zfn,RQc{3uyxSa (S^xK)y7hgIW`a)I\Sx)TNc Hi TA1(.Բ46JuZ.Ň(-@ `o'„ $ @xr)]%«9R|<諺JVFoҾ`wV. ]N{-4oM/U;ZSkx03$t7٬!/(O9";aDŃjx(qo* R6W5ǒم3?nS>ӡE"ayy@H*5x1fT/ $ k4\^T Xh3d3ãg^?𚪠ۃGWpBru#ŋ9(6܆6= TO .m2ʢQ(L^d[o )aw*sʻO@%lEMs :(9[61q:XU~C0YA#ȁ5[T&|n'c[V:f~5}؜ݏeN){;+ 5;4qPdK7o2?v| q90Gu`p=]M,$qtV a(ѻ/Ca*ԉX$p/|6$i&`O~OƤ6; V1.B5%\wܸqyō ʅ e,߀nHFkT}U֛v[0[XaMELD't&Q\e7eiDft*u\8zP8{W$ɬw4b6VDz Ս/'Ɔawz6iPFpa vө7AAgFYU/|ԏ<DVH |#3G&3x,~ZbڼGJ45M30v˭'=hl։f|eg5f,]",0V_T}., J^&1{ν;6q5׹;Mr'$s2)62da sQ8 {>H.H<%w|⫸EEYzDT@L %'wkƪw(kNuIF1D05>Z+y"uC%t PÂC մS/iР$_{ƒ7 7ɂ(~.t5TPލچ85  ~ Ke:j.$ubC?{/%APƃxxgYZ131e43cfecd9e446da72becb278b2ea7c436f6b4 1b80d85ed736bf07dd657ffbedd75fa04c61d7ce 296c07736a2eb76dcfce8bf32a68975a73f1d0d3 3c40b84801f079babcb203bdb62bbc97575716f6 633b88c080681c6712c9f7cab4483e8cad1b4727 664f0d125a0e34e4d1c3e926b5624b05989e4c01 a4ea0b102b5a3f7037347fe0a92c125d8107c9a370d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 b5b2e3db2282b5d6e07a8827f7e467ee9b05ff91 6f146cbe8f725490cc04c09c576b0f0d087d65b1 2854e5b46fe90a000c692bb3778e677600cd18d0