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 ]5T ]S HOL-Nominal-Examples:threads=6elapsed=378.631cpu=1405.136gc=131.744factor=3.717zXZִF! g ]ŗXf1-q恈ބԍW_8Fkw!39ڸɖZXma [U*U3.o$(@Uj96-MS&~*Ce#Ű'4u ,$&kݦi12ue3xm練?FFr4?pK%~zÜ&N]e.WgUJ\З~=U..ֲ-ZNK*bVZuZE92 mW\9ܳE%L<0?`f 6A\< A޲&% k6SgB!Ϊ %'j}cPƧ2Ӡ жE:R<e9ʊh=^wb;98WחJ/ѡ{< dq dPmsF:Y:`[i=gd^ >4^aLV'T??(.Ǥ׃zYD@̎s*HVC$&-0%[jy/zv=rNM9 vJ,ɒu(&_4;%󤲒s҉^ dc |@S u:rEOj"O;6gMcߕ^J{5*n-cxMv!yK\J@HlJ^}lo#izzWbcxuVhgj,1#G6 \C.41-{'Ϛ&B>!SĴ;pkr.a*y}#?E9P +>9iT6>ENacԫJ2XXyg^YI28OVG1}Vu[M.2nB2̋0?7̲zPLg_-%\m"~1ThS ǔ9GVv9lƼJ(ZUvΐs]٨Xp#9X)Q`_/.lM!?) Ilz"Fɗz3]gi1qcȤߋ=k9N_VgS/vݡt1 x|0FѠ7QPD+/Ԩzc) 5.);9]!䑲3:`*'p@E=/T)ꔟ<yO?r*UqVx/uGTM}halM@%oA;!̹MҎ(n^lyPqCۅې0el) <-p+z dim mitI4[5"S2x =KƤ.Ggṣ^518Rwr 7@mE2t.kG( PV}T RH2ra?a20>Ts1栒ǀ)XP~3\Cx`SQ?Xw>s;aj#xdYe+tm5th?2*=3֍2jmӏ)DoťoAًem&yw CՉ_;MtK醊3G mk =n&e]8Bl?_ 9S"}&|#`;4$@y\$8X15! bUVl:71"MiGҰsǷ ꢋ, piCWL<o;R~9!{ 7 ӰI F@|Y^܄'={USWpBxy=@ Zn1 < YMCX( r`rfrp"blV@J}O7 ҂ ,U"-߂N?\yAs ڢ]To;>Ze@7WiR7VWlSHA5ZLr .0|6xSf;C̍)s[!}%-WU0r6=ק `)0<+y2bVNY1/T78ntUJ!\+7 L?-: w+9\=M |.4KBp^yRfQ"gM,heW! _276N`-5I)<0_(G}&RN{Y]|-#) ;EN9GC:_E '6u9q)^yZ-w DvcXM_f΄SoN]eA 5 HOL-Nominal-ExamplesD_?^)E Mޛ98]ɝMsF}D NG3ROJ#1B 0D ym›Ca* <$Zam]5fh4lk 0۳˳? Dè#`}wA+g}xȃ+Wc_]ZL{!h̃"_*Tǁ"n[E3f1A+},}nZ-1D?AJ2Pr*ЩF#p$«[DMg"ۃ"v v'@:0(1(%f-݃$s}F,D`N,4|0 h߉O JJ3nOU";Xk>P= " =I_G@6Q܎ 71ƒyNY^f|`{ij#߹ D@旤4S;], &WVlp%#uXS3 tpDJwuA &Vqޕ0s *dOF;nuK?wP00ϬRX 17wW`r^: lϱ^. ~]}tAiݴxnÑ2ia_:˷HW w,=QR%TA}tSOۘ) x$>Ю"ށt3hpn>c' n?C~1lCv-.up1Jr7@b"|dhCoX 8 r'+F$49qlǤ!Ō.?붵#Zق3dD>G55~Z޿O:z5l* 0Z~dx>p($[sTZ#j;B7- sAvAnI6yp朖<*W{n#LL6mdM'(I_DѪhge^uslbjMExdhb l0׋7R7O&)#(m L97r.:9n%qVkHܞ+3p'i :㏋aĉƙF6h?ǡ6`Ifkw2RCS|KR8mb>ãTzMJQ:݁\N/{ ]mV)TJ~xy/C'< xdctYFR{hXE.۽tW]4pĩ|ol^IRe{D2І2ۨjFn9Jf`)[uR`ƣRqKjvZTwn͇oRѻn>0bC]5}%ԖN4H@42ZoAJ iLyۇ _oĀ!-C|@oU˹?d9i`7fʬGDxo(dQp+.mGV5*m@TPdJ4hqH3>ʡ2 Swy[y8qqrJT18Pɕ?ȹ4[/Ją;;I'<ۑfM*',ɓ't2{@ M1gv+&&wC"k|dl7ny)Fi MTL)*?r-6tPR6:ME1w^iz@3V۠[8cِC]Al\bE)còmej6q:3!U9ǤHcDFz=Tb"-DNHz0L8E%3L~ <r,nfY_PY*&9DvqR +vß2^"ɭOߍwrIHo{5N?ߡqlic۴HBl@WGflME2?Z٫eVcT ?Zl~f氐Pe&Dw 1XN(_TMt9s hlaV3]Ç:]@uƶhG2\ՍY"+"d)E Qp @a>N9֗PX=eWfM9hЀ`\e\4WmnhqP4@u~?Ӳvx*C6e١S'Nb 0 =r$̇b}+Ma|av01ёP7).h2lV6,Y(RIgfLhN()PS(S4^mӋ`mhluo"R+O=9md>lc.ޛviEܻSMWSr~jaP}׼5ͲIKڐмKB>nVL!3V(|Cs9%Gܨ?̭ ձ!-FE穔i#ˢ=k|/(4tIn\N5)NP>6dzQ潪NӤ@Du,^kivb5~;/o9$̸Ň_y=b͹wI5uuj q!g}a"Dzx?3%2zG}9qH$qo1_8;ksRR7z#|J\J{C`b?j .9%@KdU J4?J= ' `~u1q"nͺ "/d;fm]i   |3/q?0>&ov,LipGD -5iհ$:syhq+2G3"W-*WMC[BT\Dzݳ<w9Dd^)r.ggzN)&ɍ#im#ߚZѽQb}<` $TrտyNvkS/@#أv`]olquNS?5z@ cQƚup`"[d\+oJv[gIl=s℃ÃYqnv11)q-vZ]¾Ȼz;fţk(u3Be9}@FڬoX;/]/HVMcXMr!]`j<m{8g捭/0t!r<.M GաJ<ݤS54X<w! ^>}!}[-턢E`< wIб'>v+ ks 3Bk`?=nkƦ[{t##,;fBKB4WZW"MOchMɺ6 \p/0t*biHQ+'/a g/;\ ]?qx 'GVp`c &֜@ulAy?>8kQqAjAUhF1#bďeN~چpDju#0Vv@Eb{ĎμKp&&Ъ `_Q67xi4ǹg\m\Lڼ?7U(V뙩BP@Gmˀ3XDpsf[< -v+> 8TdǤyS>VtL]!lUΑ[n&RUJGILjg:ո| >.IBpu}h5V-L)YZ,f.Ɲ+?-ѓRHGxyݥvK ,҄NҌ.R~>&h4bŇ纡$bg9ŲI;X)+aqBL`I6L[mX 83|1޲n2e lDiS76kM*os^^Z Xy`k9BWT¥qA3;gYZ7zXZִF! X]ŗXi%6Ƨ^. T\K"5U ˽K3 Qm‹Al չ%#q=*h^ B{'l @ <-ZYUq6-)؊wjQ#t +2 '.tH)(s%GҸjɆ95IB9x8&?~4ZXɜ,Ah>B"k' wì6{dmN.(ԞK,Gw=A9[\ ٜ8 Q3b' Q4lMf4gJ KΟÎ>nADw7jx)f[J "Oj(kQ'|*O:-9$(@{͍DH͡Z ye+*|W'%dSZz-(7jM]$;س7Ǹ"T}w?̆5\;Ԫ 5="0'Aq8UD4E2̈477=M`^tJ7jMDU] gr&㧸ȏ Ȣz7 ^X,Cz/wMz FY'MHeb(gxz0-*#7)8eVjSCE  z"OCLֈ\?STP/.GrcnSz,dķ']LXZtYq;]sx,$nZ)2b8$^٪Ur7eslH Fa7Ó^Q; ASÍ ˿EkO=3-Bq'ۿs8A 9?a-jHṭ /HD׊7 dofG)@+iQ¸y/+>" 45w/><<+wg>;%TqdMdNqsgZK]l"_7ÍaR$w hޗ zF1`G&ѕڱujk}`&DZY$1JLl~ 0G mm3\N&8Ж.`Tص^Љ$`u |#hQ)- / foSkʇI=LvD(Q7}-KN]^AYRK6 W[7:öIq|"&nF>jJ/??DDo/f9_Al*}hعm>07Z)9$nk,L C OʯPxB߷i9-?a",h=_`(khyrFqm:i.*تyȫ+̅z9>\6o+M`tZj)'Kh?d:WO%kaaMbMq8އhIt7ApuBgqi 1<m.Af}M|hg֡'F59Y(vfݑ K9$'VKo~/4g'Jy;u5Wc@BFbyF{ӃZ^7A3LE }] t4p픑z;?#S&H&[[|uPC#XtQ؊Em qh;_FSޗia5X1t1UԟݵڮÈ81YdN#_f?im' E࣎nL8Y! 2>!0`GfB\k"C>K@n~.Aڐ.S>BAhl)p`sR_{NOAoM7|LQu%%}E>!O):BtydTt&IN+pg~+v[26iHt O_wr\?hLZa} YIf[~[R* r~KgrU_fmy w^AL%]үʥ`pN.") -xӲyԎ'R}Peǎ 5p?ĈIt|5Z5 4:P[0 qTx^el9s^vfH*+ '-]J$Zt]p[(~ jՀIgv v#+6 \.leU9͙xWEc (ֳ\Cׅ2G kF^*géH,}Vr-<%Ӌp) W?Ef#MSB%b'xA7S})뀊26 *͙ N)rѨ_>\֕N?wYO!JfY¤Ě߷Gfm%:he "zqbLmtE˳hL;Qn`9& xEfe\>klh=: 2Isґ3=\Ш??NRqzV|Y= G+.%1mVߝϲdhC1-ͲvnaN $I!-S`noor-.=P"'WCt?}5~ MiSe\-l#u~>o:/iU M.>HˀO+ˋC&bFdp-W(δh?m 9Y`>MjY[?]|{ODw~us^6Ahp ϝѰ2lN@dS m x`6 Ppݖ3 )M,~ .6 P.exEMU7'.# ۘBN_.2zdO/~)X+b( 5rV uٮ|(WT kFl> -8xx+̛ KyCA˲h+KMjuvQ+Z`)G{͔(W}_>zƏʏHOv UeL#HM6Ap!R{\B[hoW2;e/@Ӎ -|= Hi NrAo֦fVD61f_ vE= OEPPku]:xHUoZ9v6Q|hB/P)3p? ]i`&U58Rz/%]_=YU ^Gg$XXr[3p?XߤU׳LJiRk뿄o ɁaRAan%:^ @AO,:+_b~MO3tj:orA^gB7k,]?[kDliϧlvU$ˋwGk-9;=p)|A+D٥yyMuND?o_;4Z 3{nE)ZRi%^XVu?Yd㡴YzN^(Htծۈ~.T˼\y5PX.]cu *QQʀgb@<}EJבixPYNɵ!ܙ.pkF*d\)aJi[9tX9+dG5}3}m%S# S-/?Fꏺm!W a3\_ye d 08IY2d>*jd%Y-2z&{0a}5bD0rRT"A-i$8XrE]&};v7AGl@Wjy,-zymiPv#?vϠO:T-VbU־K7>q] m9-1#ffrۼ+tsmضAN A7a&K[&7j`)H&H^&!ؼDD;rf?k'Էr*e9/%!(Ƒodhr/^7Pj~k+9V-q9sԔ2_ɒuwV=5 \攎-EgBwnUBڝrj5i GVVMPcW5 ;9K/ /R[RКG5+%garΚSp݂ j6GRxKo~ڪ+O=MWg .ZD)G<ڟ֞I*OfNP~ 6=yUZ# & b$ճ<A$y"#Njq;uPȒc'V@VZ:m*E $z~?26A|PpAAU8&`MJ74}V$~|K;}kvcްe@=C#~wEvCk`IO2E-?ro2xcp {7 |>DWݪEm#ؘtU݉bX \ tk?3@>eϏŭ?.¯wʛ;ub1[WYsݛCer8դ/qKfɢ2UT  {d`SɟG.>f ;E-G/QN=Sx4 :ՊަOmŸnM^n2-6?kh/[Omإ#@-3!{J `U<Q4P@xd4EPOu^UI<1n6e!s~6NrTGvh1\iq%- bMGk/n+ZA@c"k=DD18 g+K CjY CKIؓ3z2Sv^bCjDV3*53ޚҰـҸ+j&X,; PlD8|^AOMF cDc{Q+7Zmy"ݑGemSWA[v_j=.* az96tm# {Va7\@W)/ ˸k=SjSm}Jo'\Փ>PNq"<Ǐ۵% XxDY BECCԑf d AD :UGsP0̎R5aG:7qD1'j)5P4&RP[DiՉe̪,WT64r(|f +(2Zs+X nRj]뎼d.[xluH(Wt 3[in8 x_v ^qF5i N?p}ƳYVɯ?:`/89'_q.] }CN;v|bů i^1 jnA]0Kf,ΧO~?/Wإ7NN`sAZ޵_4tU.kY@Q_$Ž¢;&s$e|:뗇,D̞݋Θ+ϔm7b-Njoc(!AC_تwVn89Tm⍺qR=O١U0$Փ'bBܲ+VT#A~/Rp,3<@9PN$>[Sv/٧j99|xӻXL. [ =C+Ù[^\qڀ0HƖ\߹@GvZ./ u4mF,SʫD{v]KxjuA~e˶*zVX?'q_.5Ry lfv@ef2IM&UPlzxT8nډ:Iz5 Hx?qU[aNaPSx4IMFN<2fnT2K'$OJSfŀ,FP"kK }-;z]*o|qQ Xُ@JާdGŀ/sHTx7:2 9"E/XG2~ӠkBhLJ Oz@NnDTڶIg{M/R@}CSy˼HJd?05=hah~"")pX\5{71Gj~_miB f3 f})QNOi!1;k%bk w`8r;A/1%֬UՂVвm< vĪyHJKUߒpO]b׫Jy3"Ә7GdS"&fAX%NK,a{Z2Fb~ a5: +na610١udEʳ5LCh[BL P)fÈI'M> a3;㐚xl3|`_|6k_XT/Kw?C'7&.X&nx$CSt;I Z+rz"(_pC4%l3A|giksR{=﨓gty.KrtFD,@w-: \ _,S_(Ok33ֳgS:TyPW:=K6ɱ-&{y A3c$8r6?c^t' [WmY12T[ t7~C+?QO&(м v,0X6D1襤X,ُ<ݚ-DEcQ]9Uf0#`! mb "DN=q46 .)X~-J%5~!nS%ЊeU<>4 yAȻm^DPk^n|2WӀ)Ql5vLv*Y0 5*eC2:-\ Oy?#kg:z J;qc O.^Z0d{z|GV+> ^uzj@oӛSb C K[롅6zPΧKRRV0ɔFwڊ=0(&Sh&8vKsHRY}s<{)3B;uk &QkiD2J_˯9G?:iؑzTYƒ9MdxC%lFgUfeCR'd>Ó'7[9+V-DHDo_JpMbkJ)J95%3X7;T% ~*MS)yG#5s#4)\0eefKQ/8؅vd(_:ɽ(4o!Al_ (>cj5WdliEHq: Qqn x·?Ԡ4Q0(PC{lyaC7!nxu~ͥx*׭{}^z| ofkG EvIPLQ%xcwTl͔F0^5T$ͽgj5|zR=o%~XtRw 'YՁ),ѫx`ҏ?i uU r%*]>w5ӓ6Tå||n`OEyJ E[vtGgމTO- Q *d*ێxqItM^mvU8)BNR Rz>ᡛBJ>W;mЭlqnw\*E|EudHW&a!49sTݖ1>#>W1aJVa@$ݢ-ڜP9^C83kJ1:2K<}U3Oetj &&4-B}@T7F)7!c &1g$j`\:+0&hm3?mc:StkxGPgF'{LĢ-`[bw /O-0ޚƲ\yRosI5pcLY`qM&Z~96)q=[Uedc1EBb%YyZb'Wl-oB~5x/rw--ק]blq37WPK]C5A&Cl0J[8YL l$􀫗^*C3r (]৓NP̕%G}/1|dֺߌM)gK`ΩL5'!q&s4ѳЯ@3 )eW1lG/cj~ѐAJSy"kVlyAipS5O5N4`VE웆h{;Bȍ&CeJzbE@䞲H{H<;6QPUfW#0Nj lMs%X7Rz*C:D1қR5T>Uoτ#]/È"Z,!$ SU LX0,Mt#e ]\’'ָYXAiZD1dfyAb#Uz12)+lĒTkMX9ZkkeGIw1Fsޕԁ!2Mml'oj/IفE"`ڑg|$͖+Yi 02}`>-eX7ɒǯҐS4bc4VM,=ԘNbg2A.M>ᶨrGBF|9 g>v2cwGDj3bǾVBCRm.P\!o_'B(칳&w.2I9di-H+cÞםܲ:j>?ǚȈ7$IZ G'O/= "JR-B\J+mTNaTū}0PpYbI Ckt1K[U'w &׃ʟo)^+󶤫13Ear0%ܦ* +kgSHM')Ͻv{7}͇E^Ɯp- ۺs;ň+HlH#3}lf׵ދ聚`_͗iuSf ޻SZR"p cMr :A$nGqe".I+n~a~QWSA, `A̶Y5癊!@3[&Q~Xfd^}kydWBb3ЪPM9UvVgՀe.\Ú,-ɼ&ٵq-.@Lψ%Դ2q$@\80%դb|՜t1j—dRZ Nޥ4)gnq~ 2>/j{-y krQNMJIi$,B;."c^Vlxݭ>FΓ'U?@=ú:F VrusIXt``7IlS~ax3Zy-G>c1_ہV-IR@1J-E&ϻ\dp8s1 u >C3iSfV/z/u?{ ƻV;3?d锱@%,.]b":xOC:/nC Rhc>?[:;@[6&`'eococddhlkm(,F^ҁyCF\N}S}:kSisɕT@H%r?dE7$ZgV2w̾)y(Ez<8dHE-lM{PvtWQt]la3duPݔ|N}KHG+:ѓ7Tq+}>fGbOq,ܽZԝ)KHz9]h;җ\?ZRiTޫI}dΗ (aȇW,7jΠ{p%zz\2=g¬Jp1j_7Y=MF&MHnB/!m]>e;_B yQ4o21l Ph Ŗ4,eK},25_Fblo2P<Ɠv-H/ Qh5{И)LXjqKtZЎ R9o瞵K}_mk]VQ+lb`a!^4RNKEm\ɤbV՗c}xOf`UwF@lPӯ@9 4ֵb/$%:;p/[vLoY4}/cLTcɳ&8!VD츌c dW*N_ދ#^A~/ڥ0!кQ2 LӵnS­\O b !<|,_x\~eC Ȱf/8>npĠsa % 6zYMLyQF0\9+͈#Dr&(u t^lqJֺnze#njXe'(-+hxI@.fV]h7T~YR!0Aa9J{vZ}=2WD,u/?o^/?aS.P47CX0gi;q42ߑXwʏ <<8KQ6.^5X/ɡ=mc^_[)3JT$?fzC/ gm:ܮ<ӿoC < E"+aŤ/ⴐ(cM(67!YNNd*=y-Y]䒋)Ӛu1@Hћ;Ys&y'zxDv?5..nf}GT"@:hKG%^nHs7E]|dH=TJwXHxSNt Vyq"eU?jڴSUU $~c*&szAڝxӜQ%찣m O&9Z?_ vBfGN7m`zӝdrlnNE"8vUbM"VV[( ƙ[%o(w|~ygz"t*C$TȑZj~So; L*Ե}q6[BkZ(e Xh$l1>zyG@ŶLLJ .%P#+.y$۫jU:8;<3"<6t5!s">́|քUgtBFZo\76bɕ[#UmqsF>_h\tYo _prlBjq%'}mU)]u(CI:E!z:lJ ?h#FnmIwMZ; ь{"'w=T-k/BgCq%6noHK"4B) %?ƭ~|uC[KmeUSC#kd&7d.zV!* 7X1=*br1'Z7QD~t#_U9b 3Me}ia|yQ$p745'U!0Su1pY}tb`/0 ,:f'L9nmMv~>&2RduwS|iɳOU^ 1a`mBكך{ح,2VLF |WA}oމm"1h2ӌ9>ĞO)MS>?75qoʯყ` E3m`lmC\U{>&>LPd|u)r8| ! GGE!ӴZ)d>t FΩ H.F GIfOO [SevE1 .2u7ǁ4oK6ozQ5ttu:&/^l\+ZK˽*h.uGig2λb#z-vq8{Ww&&hl0/#$Iɥe {͹朠siچvoa{*C GwOLl 15% î18x g_9bW&]+L ĿX1E|\~Fb`)!9J/nb?p.3e>Zyt1=C>J4yHĪq|9:`q`b,.;Q$[KSC:Y/ʻTdžjN>_d%?u8CbN3TRQψuJO1 l'7W!27 J01%h^{>tSi{"XkG( EFI鸀1mc\A}B+?$HG1w艌{"b mȤOu-)j"G&Q feqZ&8yՃ^!נ\3~az~ K&5Z|yOr̂>Z":L3A]_cj~[ L+z(h6/SOE[Y芞6HS1Gʠ6bga: K5qk\1\3ӄ n'v"ƌ}9>L; \MEWޞ-R˨(хFwIwo$} EM&.!Ƭ68 2^m& T>y)Klx?}Z "ELokw;:#sLV2R d31 .Ս~&p˜xk"`a&|Wj'e {G)QŕǏoJIIBY%{:DG骼ZR4 r>LNapu:.6+\,&KaӠ1,jS;ʵڹ ]|b4gq|}>*[mr+iV&TpnwŻpW:S.14^=9T 4$D^.Ys]f΋]!U9|8ɵ<gXR`I! 1 5:絁v^pׂ!gA'vɴidt' a&"AߟG&<$ELp&Z⍈lnn*]kB^ 4s"b-s@HkNAG.kсc~zUWb!07E;RO<HirF)s :ܗU݈?uY') kk8k|2]r۹(x`=:50k$.f,]-btهҸ$yWBCEC, F;<" Yu<wutTvg4/cr+ys/!їq&(od5&'X&.y?(ּ SߙC~7x 7"PX ]-bΓn[OGrwGLv.-Tre3/xb 03>:u*cEhʳN mmf ok Fi"oxha9~_4Ø5J,Lې !2d2]JO ؽ Nٓ)IVn"D1T$/pӦ$XE] 7'ӚD2 dslR w"+9]svkC=%CZ׶͝LZF0CHˈ fHShU쏠\A2U3 Phy 8UXv,q,nhzUҍӢ->O0O5[io+st$"ڼQ{lI?ZPs"q%k8n n=~'h"<Pז{%C0{WEĄ|?3JIYts>=;?y~ ʱjo8O@e2lyѷ.Z_ U'EsVf85~EX,xH xKIѢS!ͷ?@F#N1I|j},P p-ft\p%7nsξEs['@-pg'R^NP r*‰@)ޭMRsMlL"rF +FЯ=d@;M4FY';E"u>/=F@ B]OTȫ Kz=Ɗhn6^, X~\j\f9L`o!ØKJ9.;EcdUw?a|eyuH)ߠ.H) -ЙC9cb:D!ܳ?'4T.R/. h5]'|!uaĖ^zZ{XW6v}6 i#K(_SOS1'qF+W(a %pNr h)5^f{,qzS xY3?Jvy\H7,E #)W* fA]Ҝ`Aړ64HbyԨr!ȸ7"bX02:;#iӗW<ælK?_?tM 9R g8 Sh#qc NAώ CWܾx HQ7YY[j/}3%wNsMʙ WV/a\HĽb}jJȐk}Ow3s¡i\D&6CsE:ŗyoe8T4_#dw>wnQ=Nwma547C63k`5҆ՠHc*e>^=4ZOSi&ZTGqQ`w؏XH_ ! lpykémeB \'/~mg-jakb;e >&ӶzWP 09]AnSIevh ^w?{5.ϝ%A KQMyvB$-0hݢĺv hީ u9Lb:p?-ÝF'eQ7N?I0sW;,yvߩ03; ӎ<"|6XflH~F Eְhtv tˈT?e).v"n*1s̕+)6@ .UO$>%{ bdCG/E`-}vH 'vbgQAp_#BVg'+}Xj­<(9 ͞$ƃ٤r`3CB|س=Rud<(Y<qG6$T Žga݁? , eqaR >iBc~{\/,qdW:oGb'Ő%#Hm+j)N>M?#~ݎLHwS1`-O`V IQ |/[[ÿsHs|v+hʏ*q߂ -g$ sP-XQbKΛ|ҩS0y-V+G\XpOSz ~Ǟʴh@K:?XޓiR}24X2 55V)7ޯy tS7qfqϣr\ 0x_2egp4iGğKIKYdk +~&_;V J,3p,bA {Uz2?Gs㶚CmrǔHp!|d̮ThZGF ]I4By,[g߉HƝjW ?`VJIhotgKUh'`elM#\;.cvrH\_DSfy(FoEԝ |[/v2-Ʊ +ޕdwN%Ąfr VL܋bq 2e`[.OLT9pM5tœ8&RV,_+tƵ#js >FqZ[u$* z`i'y57BdtIۥ5+ Í;`aESs(7nE^G5[=II䝉}&N/u| lp:ߌ3ZU}z^FE,M&a&N@']^VJܪ)IϚ}%6۟冸֮Y:ZCspyE`G_Y |mg6Zȧ̀?^%0vSv6yF-$l>>rբ0 |4^̀?2Ѭic@):,,ŒtnHMatщwcUu*b ~ AzEbruI"(㣏Cˉ]k՚Zz9z˟mwV!H&i_y/|@i0鼽|t9z_Oq7>K>K37'4bc'j%ABi6 L Fښ]%i4YMzD"+5%` #͉ %7 w64?g"8J٣UM,f<޳9ԡ}J3O漏ɠĜ1&ViiJH0,˭dV1 i/?r&#}RX_Y?M>/$Cb2Ջ4wAcPo~Y$(whYU@߳c~{wo+|aYۂ? ZB dRtMJA٪L/|$Vpe  ̑93 xϟvOaHFme@Y$^G$T4웙Vƴ妵'G* (5- X}SOBenMv8BZzϪ%n?ig¬\-i /z[ҾZ}ITA4|Hg ?\GH۬ӷ+~jh*Ṙ69ar:} }i\p rW=O'wx<,FG_d.Q0?R'2jE :~'V|ZFyRN q4jʮ2gɧ[y/0衴|%IQȯ .%Nkif0&8҅'GDw#9Ox ځ 1Zo!XiVSp1.Is& ?@@v4Eo?"#$ehv óL^,6_pvZtAq`9([aq^ȟ*&ZI.tejay3<cb ?KGP;#`v 1ԭh\=uFÎ!38/nG%  C͂l{Ì!0[,#*a+Ǘ )4u(XK_IpدtݏfVS1xRyI?tlA:zfG?5Bj+0&\:)6>0u8ʷJUu0?&Ћez__89י_TCWS&ƈtՍR|~>rqw1ġUUg7]'@Qpkן_+*=}+t}" vE#QGυ{,o&ge1B#N$/&[5 ݦI;~*oϡI;6a֞~1RNi*( r^25bmzcIU,+#|@a)7*Rc,/0'%m*TSPF:…;mNK@!5 EjZN&kt!k⣄,Xɖ.@I*4' vfZcsS%p0޻>w5O3ɢE gYZ066c6f96edeca10e200b37e0ae28995cfca398f3181aae7d465d5494ebe895832d6bd3b131b73565 e55ecd3fb2aab56b0163bd7985198bc1847aa93f 820b0774356d6c074a134661734522d627631228 837178cfebd0c10254bb0d24eef3a4c3848a955d