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 775L '% Collections_Examples:threads=2elapsed=103.826cpu=202.428gc=8.132factor=1.957zXZִF! Qy]ŗXf1-/6vRZyغgЕgQ+m$Q#3?#5rN[#3[ahhոىMUms3Ew:\ߖoܮ8vH=|& OngÌ?m17M2$_QT/|gK^g4Mw JT"X)UI.z}#g9fX~8toՒ9# eKW efXJ:k"B;gAKCAWJ9șD&b3Zy9C5wZVVH /*K  5 Collections_Examples愅&F#wi]pV+Ͱ 'RFlOJ.An2!_~ ԳA6kCiR0*Bͱ d7=]ѦXE|(z*_0Hj-[]\3Lmv>+[IhG4`HR+!n.UӐ8 aV(=yBp0|@F(;,wbLxqlg՟lKѵ)J/h5T}3 X7co4 QHDCa2P\NM hxEdدs'2qUfRY[]/QD{Mm,C# ٭ah|Wϊk{A Lr;J8  .(؉]= '__KvA3|I&bk095#ZB6#7كz{%!]`⛴O> 2mVD#=t/ȲXMQ >^> N2ml<_ ZT)up ᠀rÜ7$[߫d]:ݮ`L€͍xw^2'0vs9U5,o3Gy x_bEkvO2YǿrȽ&.-!s#N" ؈:~u#xTK˫IH dDfPfH0Fl0:` _ࣞBd8iJ &HE[(p&/z^FqÚɰW*T")tϏﺹiFG nH,8A Wǯ,SDfYG޾ QoɾSO 'v3]O0>̛mƯ|սj1P? iһ ЪȄ=i BEAh|4o6x b{=V08!ڮKB5PV3}xŤ⽾oR?7Ψ ;-^O?ޟBQsזDGYuWBhHGW8PL? J ۵P/T@9~EyHvDPuǯ4B>= JQWKSq|RAZ95(GtANd@mUql s߾ּ^b T2OpEo .opb^AdAYi{t5e+|ם3TMD-U#q<#_\/Q8davnE}q:@uzpYi)&x^ 2ǾXd_PfZ B˜E+<-$2AR{^ hC/߃Q/ui qv90RgYX6A;9[@hB 3*s6Q+tt[\)]΀^CE C y#ވ͂.lIn.Q@6IN. Z">Ips|k\MV]u.CB׭ d4UBKْv1, M||0Hko $EDѐBhP6_+p6jfxgnpwQ$Ȇu@-@ A KVn̺\ShwL ^q>|}re4o qLh%rPLVq+.[tGI$fkU*T u$]~^B(JBٸ=n ]-,D"0f'zk-mNt 8MgxS<|`9Djcy/:ˊ?6;KV캠gU+zsH>[V{m;|  o{zM_hE~oJ rdrH_""z%44g̎тKYR`k/xy1BH^ԃ KV< "`0bEkĀ3NO+ImI4J{Bu`IDf.>QoS1Cq}?ӇaMPHGm^f3b0L=BaFoНs*KJNZ4 Oȁ8¬Mo.bD6$ Xa cbӸcEpK8:E?}LQ3{wo4 *9vC?. ARm"~Gw֙0[ -V=al)QXؘ4NG29e l2KEQbib9;ꜧmp{*,VqcQ.+cU\p&xW#?,H24"yK bK\-eWBn|keNIar}wPLfr1Q%AJ)́j5]IU7`zqˇ X S%6K|-kk~*oE2oҚV%gkDOܞEVMpjIu;r~<Ĕ]j)ӕ9+&AS5%\A3&-95sBb(3_vgĽOIg'/xha[$15azx W.k^-*zh04IVPXU6;FC-&أbH--4FroTFO:?]OjjGetAV.UȦp@J} Ql4bmʎ4t$gw8!2.+L+nzBpl9'qBV**yA( EXvCL C4f'N,Cyu"S]X%CDBP\ 6.7쌹~j#~kT{ohK"},SP௯ЃS5V4U{T󙾷/ˍxNOoZ!ޔ\| 8[EgVW#Nck}!<(P/ɐ'BGG[ % [); %*Z2O63Y#^˳gjvK|tM fkjJ|rNj\ ~H e v1G31%.v1I9bWgYZ7zXZִF! ]ŗXi%R'DdRT'عP /j he1z/qp֖ALOqWtpş 3XMe4N[PvSJKd7īZ' y;eUܷ doS%mW(؁¶4/>(sb0b9ߓ:9: 8HEiFoW"vr ^7vDǁn@v f%G/a.AKе~]^4GсX'cpuR*5ߛլftտp?H ,uM2.uI<r}Ysfw`Xj5D}9v/☪ (lVµV]5;oRCjs?  7҇.Ÿ'O|MDy<7qD/3䒠;_X2r)L 0{q2vK"s鱞$d=+[*WfFzx_tys;r}vY%V-d%1%a.ˮh>y˙࿼ϟa'_ʙKŋ@m :4E;T7Ԃ4tщ^2GFZVJA\F j|$c#j`/qt׷Xoqt?TnFL|C}DK*>s_9p%Z-G @!ZupW3Y+7rs:{LGQ'@9c G* цԗZ9I1 V]|tG2-”Ϣzs~(LzZH/*f' GGI]rN?:< X@,u%5)?%v+853=(Mw֠xLixWu->R]g euΡz\7Woo8iLJr X]61bɍĆڨ/wj VYf%xf0x1Zu`Ǩ֛Nnppe#**cb_<)-wK.K`miV wžHR .fV! 05ޣ{nZ)c7I:_![w cW',3bW@.WW'MIas4OQpN 4N呈m½4zHAc)9'ټ]ɡ!Z'B-w$*r^O'_&xzcm,~Q x4OTjxZ,цtO ~4;H5w< `( ,{PHOtǒp& zt[]cwJ=}LhD*AAu} j]"&";$uŞ/dp)/|W ntMAnaeM,Ap A`_t-~׏أfK+eKjesxqp[YRt/ElK&g,MK0iptX ,exS{ "Lf#]fl6;JO3_T39VsyC2ͮtBcƬnhwEf\ձ|!Ӆ3!3alF77a Ai-{YB ̂Jk'J;n6~+P;ҟ6hz9+'fVK>z%}t!4C*d ׍l4bz9~tKT9œw4KEM6M_SBur/63H\^%*AM^mܺwF-W8'[L4L-bRۯx^oڌʷBofe_O=iOM?Nu49J'X&O\8~3қPn^n@M;rkhw(̳J8}Y\v/Oc䣗m3a}^Tj5T\vAZA( 8z ٠d$N˟v>yisƚ &'1FeT=Mvss!ֿchmt X]#>PPi61zMXr.LH8fX7y9 Րb 6)1DƦ5̐޷-]P iT 5/+B0wNT[aˡ,H \]^ (xw`Tښ@X:N$v]j(&,ݴC E\fC4(9Eh2v$ģE'!Jz}Zz|s4'44 Jv0QY m!'At]OX̘4!ǐYՁ۽+ˉP*ӛcT1>vs"H=:bb\B)!\GvkÉ8G^fD+ 8*xЪ `E 1NƉ~kn}X>D8M=rY.rvn;{TF*3ƿ ee^i>~>0z4 @bh}nG7 X5j2ΖJa}Wa—JbL+M6aϝRpfOSNqF)Pv[EfI&)![`IPʍM򂭳F6C, @ڊ^Y6,J[mt6W3 FFKm:i9U邝hl#25e_삔J{}  4y^VfJ{)DAl?0"n XV55@d73{{gNCq(5ߣ8Lh;Z~ zJTalX0ϬL$(cs p/ɉDW@ 7 2`nmd+f|V{#>/88T=- 9nsnU0^*Ǿ+8üv$MX;((L֞EQv\zZmc uCN kxEV%(ts}P#VfqzD=Zq_&˅ڣnz2X]ۄ<}* {/J%hC)3<i_y p&|ڴ3t!BQi~1p-0rI_$~ם;Ipp/&$I>tjkW`&.j =uotʬ0ゟ}'S~z={9$#H:|!s_J/,J]g0nDJ+}$ZH>`el)VCY6}T4 kj̻(+HLlEv߹wv)?zIiІk$}<4Ra}` Q1HE[2*7u tnA"e2WO`aBpY.j `cǏϯ Tv^oʀ7 deΟO+ uƈX6X|Rap-NqfX D;/E UG rj}a*zhɀ*K?mh:1kX]pS.MRb,pٮjRDl6YpIb܃ ҿtnAfJ c"d