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 ]]l4 ] LOFT:threads=2elapsed=185.222cpu=329.356gc=13.804factor=1.787zXZִF! 4p]ŗXf1-/6vRZ0- 1K &e-zniLF=1ғ#h(7$oFfOh_٨Fұ WG0_s–+iLYߕFC,eCpv2OZUD:۷[d JȀ4 "D0rOn34d <0w>KyqOQ2 ]>\nS~:{f5p:" N1||)>ntX]w:ʛ)¯b(uT9 Nyˆ<L:%2$hJyfc'Ed&#M|\+j|ʳ*|&6o>]%0츭U1ACMu}mVV"jܱ)D ,A'gIS@ oG=Hp?n ٴU+\SGgJrkx[B] :3(>bI-_}ʠ5Ɍuh5+"|w$⎶ IX縻O+J6EWȦ9Ft{Ȏxc8,Z 8ЬkSu{mӳ~d6W \EشRI+q H#.GITSsv]-$f g~OPNr출{I+mCk[k% Wjf%_XCqM = BaJGdRTrVwj*O9:m8Q-~\B[*QL;@G7UEډƅ$ X%>%)rJo(c f=yݼ<}ͳGFuB)b, O'Mݡž"F<ا\₟+D<|_z1V=AYt:{wӶ i.D+zd [k`SA%MH!~LT!#Blں򯤋X0!bSaVk[(ț$0" sga駦"^FZ^2ZUSZLɒN-qk{6xZ1]%iƺ۳yyySfI]ܺnEExO&ʘ'S&]+zpDdv-5\GL b{_"bTYyTad bp M OzøY`Vowd-S7ڢSS3ޒZ/NSJ䘍؈.w/1Iwv=Qzm`N8hP~V?[_ԇхLN@{r&fܷ)&V%Nh3@P8 @:Yr٠qh5umZEgnMdu5VQڎDb1 ;ZE'cn0yf,*ր{ ;fkgYZ7zXZִF! f"E]ŗXi%9#k ˠ" yjr]OKtvlT k{6-en7q4*7yYZO5xY 83 X\-]dP^nL;wЊfoGSچCfv;&hnMۘvcpF#_D%izn@3"Zh)~b> /cƭĝO芍\Y ^.#Rx[a?szf4OKo; B9E̋7"@x @ZC u2x&}XtH)5 Ke݀! |¨.O2RI54s*}E^~j#w}:#0OpfJ`F1iw~:V(;udc~ A?U 絭 l-P–H@$/ʜNFZ?֘<:7ыB$c(~ :^݊uoS5}sA#% yp8婃rZ+W[#\\{1S!DBN&P>*SKd"+dCǚ\FQ4GVjSqoz6L(f|'!NռJ !\!J{*$x7;Ec+.wF,7˙wc)V$[6V2 >1mf}5Z=K)|  LOFT,iOKؑMѱ:i\w0 7B",CJb- 9+`$K 6!EҨ1SL_\B~ ݼ[v[\W}N >"7]M"8 ^YUA_݂1fPF_Q[\л{(]&%?[v. $ ӽ>jxύidhJ||N3iײ%{"gcJRc2k[FbX=_US4CQk-ID$1[4+0dʘLB.b. =x6e@tYg,4ߎk@AC,OFZ^3f?=fU56eHF0wurRG6݂7Rպ^QĜ3s93z 6) rDWo&+ۥ3oklӏNpx1|Wyϝ ԸXG]~Fz1K}6EKWb7<VͪzY\щs8] jcμgЈ V2v\  ^~AIkA`$"ᎋWqlhšv6݄i4H{jʂfKMN.\4>etd:\K>vތ +tmK/Ka[`Gc21XZoNQحM_/ e(D`7D=$q>rQJ'Y j=#0$ډP_Ȝuq,k}/EXȦȨ I/ HnBnуy 9-62 R3Lz=" 'R 0%{ܓOC0p]d#]word"Z|ب\(&w"dGVRh&9Kq49(}.*LI;~uۍug˱53;>JCLKwCzϤ G8XǏ$]{cQsT;I(hL9=aK{ H`5bY‚ ,\~et|Ȥy?VEop,>^tY该(~trG+%꬗;x}S pdIP_R:4F31WS` p_[A8biwV{4/x2ä;JFjd4 -a^%wO"]9G PTEޠYt{2DT2NJv"`A1c,7Z3jBB+]s:Zc,t3mO+~dhCD~pƲgߋY5H_?JfU tRMn0"Ċ1k9? 4sLI$?(MɁt/ј"\^n`OC3 7h{DJY;^+9ZɉhpS'4Qh #RMbf:W6[T42R\7y\En1ـ=A7Ss dnlRGǦ}N$Ziaj (&}r  ]`um~%c ЎjkHIP5^@ y 6LWE!4%: /e5_F/:O.:ݣu*smoW+1#{6s+ SwO#4#VXzkN=8!~i}\ɫchm2ZɲEDu<Ӑ\R9NzEz0q. ,Ff p;S\^c1_ v 9" ojL^AGa60NhPyG9ź2aoTE,I8lnLi_{4z}9v= l`aO[›`wA͎1>T  4W`i~5RIVWU+uoNPJ+"!V">i:1x(}r9Gn=č5̇MGJsdH$}5ϊNi@!kOlE@YAeq 86)/pdjZH2R,klX~frWFaJOD6kzDʠtp0k~rQYt ,J],e,-gtF Wv/ K&ңTdx%597ƪ0Є!ۻCҜ?IMg: x g9? *VΨYKhY!^㫪W!kZTpRAU}Khޖ)>F]+Vvs͆(AK v>GI6< )s%'s("~o3ǻNE)*;h)\ Ǒn[ PdvYqÇ{u 7!=YA3ӋtB=94{ĨiB"@'''~HPp\v?sab*lzsy/JTĮ|m`ӷ~-ECL\$ ؖ+7Q1/0<ҡftEU>eA6S^_q"\v^5!xBϠ 4/ٳi]dxte_Q \&sΞ{lapy<ؿH+Xysɞ{ZB[3a7R?qc/@y5Z0mB@BbX#nq[uʠ;GaZC'v ihy:ɦI=6ķC+ `p&5Tǯ 7>`Jߴ(=zp Қ@V 1= +@pl5kַeǵ &$F9x:^FN ;P\f>W퇝0#DDcYгLOYYt"j+Y_'qDf j\|+ bF[{ fDT u=I g ^sUj* e9RX/쀢H*QTBV<`S٬#QY5ČuCga`b˅ PNs! D>9=Gc p|]vMmn3`G $B" [gCAX2mh5)[-jiU3[f `[*|Ծ;%w!aDL(ߊOGfs<6bb7ym)5>rA;!s2~6=O*E$54l" | Z14 8gюQA8] " X")@ dmNasmQ]Ehy]CqѓR&Q_#1>;Pp.MՔhfj#8[E~L## #P1|00j;FR|Xd T+KR@S>Ibq&ԭ&h)U\qb /8ؐ%i_SҽdZiug'?eje?wRZdȢ 4}vˏ_V4<[lR2z>@P\9 ;*2`IðjiMH x1_"oˎ͍c֌y/e>)o;7EO .Ǚ:i=a̠Unc k‰YncTA|yƃ̞h;Gݶ8v.BykMw~'|7Nm} oF4V[+oڦX^b8~9*J$.Ǽgː5rClf?F׍;@uQ D ^;[R1!r3/J0oϞW4mUԛs==&-} pA`Qbca?ϔzGx8si$GFUH58x:1"Og5V~/ <=6[ڏI:WNexW1GPm! ɨܣn_١ʘ-OA&l5דL'\LsK4Aoty/c$8h;Y:KAO m,gP AxO$l V=-XuFhds;QR+iDJ fk{s~#^>1 iNxi?nD!M=?c(1550{5lgenJdF8sb!qBƶ[F@ӛj-JW0 "cRċAѵtU8hsԭ/+JyDFj@u9%9ai b4L 5*ӿO6 UD%4i_FxL,]Œ* ρZ]J[&KUp0uYT8ʪpm'VxEiMp$-EZ5J`JwDupc\Ț0jC} $:7i$1#E^:{9ࡁXhRw~Ww}\I؞:A;o4Mk_?[ jW1naR-~PPE÷e@}3:%^O~==Fӧx!hwlb6]ϡlem)iֻRwOr9J'Ǻ뇌k߫ٚs+5~*.TУnGKlveygw.NJWL ^+ KuV"s9!V=,}JV\Or=͆ bQP]f{A{ HRbP◧m~~(ɓG,wĪqC7jHf:k7嗰,p7! nC[࿶e"-l%ULڏ4BOGYh=s]䡌˟p-Jt)!z