SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ^^z9~dRRW[sf'B,K q=elyo}ɝRdNֳ"Mnc@YqI@T7HB=:q?1xG`GAt\Q!;kG{f'K91 5x+qo暊kѼga|yWVj(ާlllLzDG0/mE?2Ycq' p?'߳^) &.(gr1w㒣-..b[3ddBM(r7k[ş'T+lSȕ7M;7-8,tA#傹%J<=8B}mdjO[TQ땙34ya`=FĨ נ3~4iHMBpUB{7~/O>>zw}"~d7>DL@׊-y'&)[:Ԗc w&U*s2]2c bCgg<nL/Qɸ)Yc)Ud>ȴ;d=P/S\UO5- ɡ 5܆ŧK;FjfH'Ot2~Q/EpT-Ӯ!LCDž%f%zd zz΅Z[+ZrZ7]u@s]A;ެ|+tb?jN6!󼿡;ϥ˂l ^BlboSB8,&вj`rKmg}L>bVZ'jXR h!WgYZ7zXZִF!  ]ŗXiɟ1)*u%9`ZxBbizUnpa2C5 E@>\I9V@-yfa(B7T< B8_g,&LAإnv۫t /NCF7@6sM!E* (x8`ÔKYi>YsjY|,47UB5zd0-E=ǔ&+',*q0}leFn:MbP?RңWNB,l\T]3Ϩ̫"uGukt R5Cn@m@-@$!NX/JzI'u{(,N 2IX8]Hָa}pt3x!9SOQ~,>%HB"Fyư[!X8 M<,qhLCOA$Nj9N'?^VBc@K?“H?$Gw>8iygλ5{q/F͞8ʪ8իtdƥ/~8/%~mRQ _R1^}};X `x?G eNOÉY =CzŘ~|3YX;pGd30Ĥ%n:6u-ضbSy!,z@*=+z/'Uj@z˕!A( rl(e7Kt-ewsD_ 9+b4LX>%jN 1`.F[~@=376ZP J(_jŪ-a㌚hNu(~N~OJQ[8u񪓣##tg0QXwx1{\P#ߺn* <{]l[[KY7u㑨% qwuYiN hRqˣ4L S962kƢ]RG Vp3*|gr֛D0ŔaIv[<`-ݥďL+aX%/vOx{TyP"nox9'mn}3zlHMG*V›Sd8|89GiR`$(52pj^؝m+V>h҆Z6sgڔA9@r(I:gcN6 NdǓ5ERJȿl;]W~Ar LjJ| I*QypB ڦ4( 7H[ oc&/4Ms `;;SNZ,a3O?A4 6&֬q :Z0jh?zB^~>9pox!,F65k2 5*l|\ɘӟ B;wzهYcYotc)dMS.px6G wB/r\Sөp'BH[D;+$Y6+ꖄND49I5 THOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument/Brackin.tex7zXZִF! 9$]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7J@7H%Sm/CAġ9STQeu1E3^֖=(tMbr7$J`B[znz>ȈqWOꖐ?=Y+OUDGAe@zM\"zbjdٮFҢ]13Nmd[}*}{G'M6Auy.'oNdhoEǂK0v!22 h C[?W*n ;ݰ\~9Zѫb4h~9b`{Eqa f\3" 5(k=x>YgYZ aL9G3HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.texP9K7HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument/Misc_N2M.texM9I5 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument/Brackin.texIB_:T'nV-( tHecF"N?GbvlLuаXLQSwF8o *' sN.:vk"8簟k$ڝ3p!tkR=WN f@wk\+kk=S!G`4e%F^cκp.;+GT)l+nL ɗL굩@vN٫w' LD˪ɵŕxɨz$OnR:|8A8?Ѣ`9&Dy vpوpUeѦh*7ZWAd8TM5F4d1t%A-yQ3 8q?!ڞ5\3m a2|w,؜] +s!d )A:^Ax" Z>br6> ]'nw)Gۥ:22"y5 MR/>5Ȭ ~Ii?v/62}UQŭ0إ4aM7H?8C!0w#'AkᖱGy m ?"Df(}Ui]e#6y¶Px {'jUen}J7Z^BTx*`q=ZF\Jkk J4R7`NsjWAR+;q#A/vgc.KU@Ӕ}UoE2c9Y.珝֋m:bt+4gBH+9R(rܹgTG->⻁47N$7_Xc _`2쁗{Ed3 I;8AA_o2⏟p}#Yxrk "[Q ڳ"jЦUs'R (\=dDp(ha}1RI4ptՐD)ISlfAtǬam\Ɍ 6Kź 8Лs+ #-mMgPJʍ( XQO>ouz-Kܵ,`Bv/W,(\ƚXFrqP~u/R.nBrYN0ڋ$1-@7$nV\ER.7Ŧt{6VnQݩ/@0WNsC܉ SG|ITL㋀!^5)ne5y\S˔t<Q8EPٻOMMգ7RH`@W@lȩwWm &#.ĩDXڀ 6է֫Ҷ=5 xG(ԕNm c]0l)C/zB!DJ~G%$/k$"|n$Mn\uYE}g[زd_)TE BVa5RMzʦ\װ''!sͫv0 qȎ*_0շ,vK"*\1S]^qdU#jvD3X#aH]JͪYݡH:\8;kvo}"K3k &LTcV^IEwف _c.G9IU^vs_sWYC6uLz>j5qF%d V9 @P]ec"BG vaݨ,EUu}c—ANf+DYo#%k 7{{>IQ4AX_$/F49 *Z3]ox ##bu"]D-8S@}[:y4_ 6AʴlMNSFc=;SxgB_+MjJ$~*ԅWC %XuerB_6H U<"*%cه k 3'Nk~#m> ` '\ҔID>h}yp{FcyPƐ[aEK(A!ܷ\8i %hwJ'uOy)A- =p˽bS!kdNTHDĴh,ydڨH 2$Q9%ܡyT7-ɺw3E!5'hXeR>,`-&Xt!@}lNՍq]78X`P?6 9vjo1Ѧ'X; rˎ8 xjK߀9!љuf enzȯDP1q 6enPHw[_~Ǐ8ϰA7sid# 4 ˇShΪuJQ-w ƾPð2zpP=V+V)g%9xkKs%PC6|E #ӱ "=MF<~^ 0W]#wNɎJoX4U%T%6©~G cSti~j(w8,535g9vXu tax7N_vZCR{}]]o&~,.#>x.bupӀ?$Vܑʅ<@B$q8ڨ%kTu!lPC!G>'TLߎ1DʻpK6Ab_aO,9jឥ}OV;E7ERn>p&rC hGGX^uJ [mtrWOKmR&AayҖS S8 xUoHû@.i:ciJ i`CGt=[bZn /_-:Us{fL7g?%?+E19b0Y}.;h`mo$ B O"Gh~: jw%==ҲI,ZiWMz-vA"MoouyN0Y^Ua]vdM5PHμ Ĉp l:@wHeAritpA#Ñ1d XR "+o.Y˧}2T$U@%yvP*tMNGD!~5A/ͅ`A@Zk]M#z3j-SAPd%kU'BwB#eϪy{Uoޠ*zJYb š[2>d/xtIwߛݹR"peF}m82G~ _Gk11(7##1\ʮwVE+4}ܹÛߵp?iTίIJ`n.:~E{Ҍ@((Qπˣ=]#|E k:CP1@iLhzɲw*+2—Xƴ:Pj @8X۲6%|~x>Tq6K[b!O|étjʊ~ĕc ؓ#dpŴ2H%-s'|}8F^% ?L_%ͻnѥqJ#^VUTڨ7A#_Tu\8k۱4ƭ\y U$Z`?i:  dXR\Mᮏ#컠Q8euǀŴ׍w#` ]BnSMW%yT%/f gjXXIdj/v^uLqO{ȔU1i/ H/E s42Ibe7ip9GWlk*psUٞO#M7L_ҕ=MhK |2u%juY 17K-сnԋ= {X2~h]5+x=uxc6}LC}@ "K,<ظR">lsX#4vQtn+4}?oa 7{)ԣIr>Cbh8xB_pZؒFږjop;z|g=|`R*p)Ry(քAdC̺64PU|Kp-Nq5^}.m1T<EE;_Ue)nsH\E]˜"͘3b1?b s}໵EqfeQNg6[y`%(:ohDvYk#ϙi&6*:CnHMڋ!Ӻ>3&p7@|Fzސ+=u.$'1˂SD1j/\&7>XQւ4l^Pӈ#C4U%jaL wdEp IVab6n6T GV7@S6wb-;@ &سZ }2 BPʏ=)&ˍa5_c5r*n@K(ETԧB́Cr8`嘮Vs|:x`CŚ gl?"GtMƐdȃ"$9H$i߱;1ʭm<܄1$V+9=sh^ MVndx>g%fM̙ڲnQy GamLw>3Y2 >#l,2mpB9۞Q3C̓ZM˙f}4Ο6Ki:BwdΈIEz$ 32 x s}&5@/pr7j"¡vUjf)"&Gowd⊆gW?CB!Ȇ5DmcA"#}֤OnZ8C"eP-yrXm8Hϸ?%sU7@564O N gW\hkB3dgi` omPlr-:=" o0DbGKUڹqŚgwL!~Ћ6f;buɝx߆vimiUjJL hNF{C` ҽ/W_V q`68ƃUֺ_rpi/͆%`ӼyYT,{>Nm y}'1~fa‰Dėzo'zLD ^W0ń85O8H:705R"N<).#C"isp\?"&yסqrkIuZ]ElI&CX[fTA@a8@'c^"˦OQ{e.z:]}(LkŒXs1Eɥ \{׮G .(2Bv}FC?xMr4]v_+&90z,I-]4Nz+7^#1gYe[mD)~LXn&k bPZ9ANcy:̎OU mP伤o HѮ[?WuIk|2m 1ն:]5t2#PF|7VxNH[Yk5 }#uRJpARAi%\wuuƖu<ÂDucx:VPbFDN4{m #t Dk!Ghʰq{H# 8%cҝt=Fu_ "#mq6t Xi> ,sxv,KJjf&;"9Dm2a?qp:N\?>s{yk2S'е6I o5/zVA:j5҄QCovʅY#iDWKڿ$>fg8wU?궭HѼ-pbXZؿCmz5HAqRgǻſ )Vӊ`Oz*ڌp;;l 1`@W` yx`tI `i3&lbTJeToˋLxL0_ P/Aڭ(ŧdRN>$enѮ|Hd5+捌>~7 }60}*t_pz@0g.7*B6|4UǢ$pID8SWT.NC5r}&JM31_Slٕm5P6 |)$7%}k=ĩQsk%(mfO$^bcHGEO5r3&a ΈviɥU%FY)Dv/ݼ4jK"n${mf\S⬥vU*#R"Iechv\ToE@/LtH&JXjO< HnF0{5ay -+ي{Fpll٪1 1x۪#"R/CiN"΃A 2]|}܁9ZqI cwvr׀h!7 Ub}+U00=|yUG* })uekE@\k_"߿ZP<n|PkenÜ`-fOdPSx Cd@n|f:&)C{en / BuZGQ/)mŋ&%|pk_qߔsTѿ'NhY\H;&4ʃDh"_|R`۰?-vɞ¢9aJX?dF-_WHnĉB cO%TѸ+6yOHLݐ| Z7W[|tA*H ^)0*o`*d%Jn 0tsqF(t을,x`͉L>taqU@dk.q ,unTHC脾P[I@!TAMD £Y{n4,z! O| " ?¯V}9hKlu%u[č#mMv$<}O4iٜ^*}sC/e+q[3@9ęܑ t8H5ݜ<0ۗ3LQ 뻥ͨHr3SZ+5[P0ͷWg !t zRG\Pó' BǂJ RHqfq h߿$J2mfb>d_\G<5v\$ݦh>q枑<p:} s>]j ),4t2d |u17(?\"xqo`4V8aA'@ ?$ cF mPb٫`9sPʿ2>dW%U)[Ӌyǣe ζъYE@o=24yϔ<'1&41U/:sr%Qy}pOt31~-fr$$pkQl}YT@ dQkѧH:5@HL[K/tu"Ƥnz}9=;Yq]e՜̥[?!V1$ژ^3WB {0**ۤJ8:5 V'Iy{$N:Fc(-33G7LѐtL(㧭Q5ZN߲D> VԚ͸\3DPz\mMpֳ#*MUk3:fI@3OO*wDK_wc#X 0OFĥ_D*pqB$ϊ,pOLȕK $xrTg1k1]=U!j:ZGlL)+Q'4Լ/f@ ALfz"F;yy1 .=^:j_*񧂡h;wk"ԧWߺ݄QmjJZ۵TxM^Iwo1I)FqDd8' Cn!>ݥ#?V?zw\:4Z G:`D}9 QuH׿V@kJ8M +%hocw`Q`"kXV$6~Z&E?c1YAHv޸Yʮ %VEАuFK>LOv3i#J$OEʆ*軭4{bA6L#l@F\2f@ GMw1/~6(L s)nb$X3"-M[Dk-N1GlbY8.QڄpEohRH;\n8E`hXʴnܺ&|>Lˍ77,YG2TJ߱.,B2.܃%"`Itʤ\bV=fY-*\ףH _a^>t>fBҡ~GUH6~]Ш̟+xҮIσeVls X,K1* x-Ʀ0hj➾fOJBL4h,xeRt 'vﳃ1붭ǂd3^}96?,vMWA/gT@ ϦW9DJh*!`LW-x\Tﶉ-Yvr蘒9~lB#߃ ["Nw_tL$НwQU2RV cOj/NVT 4f ܆|L#=9ynٱ=Lg˧&!Agdʋ|˭\QEe!X]s(JB>h2Ruږtt=硊a*D\CuB4>TDUHž_T*u ǵs^B݅rNJ _ȝh>n V' 6k&z5?1Nܘ{@zQ;֤Rv3E.p|$J0a-r˼ &/Ĭ0Xߙ8` a7FH͚oG턥pAe덒CS Q[ߨ!~Y%PP?l+1ÜNTDy8cRW+-yG `:Uԇȷq⬦>! .G|ZDq( TB'<"k§=; Y4U^۷k+{c&ݯ"PʞӼ[Z*j",%0aΗ7O4T$mB:X2pȒ<]޻pU '9c0I*,Fw\#y=_l1p.ǮҗeDAdt6yGruBm~#֙W^YHu6cBQV7?ƨv2eHx?7] 9Ow#u( fu 7Դq"=͈_E1rOF9aqg3+[u2PoWY}G,1{A]P'4w0U'!j.r*yʁ0xbv`u̎NF4I;kh> k-pU (p8X$zȪ'oqhQ# ;j&Ԗ=H2Hs<;hD\& R2m8U E22{4x/QW(SEPeVYDy9ug.V=tBv73䗬+4),wHQW,Vw).7kd*BwМ$f<$-i@;R7g?R\WKMF|qj,c 7 HGeVⲣ* B+yБʥT@ {\*(UG>OU[S<$x)x&[Ycf]]K𛞪/@tZ?=uwtX5!]hU?aIADWPGQWU)v5jL%[>@ZѢX q𹴣aI!e=c2l82$9f可h,bf^0l]o)g4 @Vp>2͌.g"|B̠88i~m!bG큢gp5 F6se\hJ oUrB/p9,co}.ݖ4Z#dPSʸ̒w˭Zm x,dn26Rj2 hk0\`KˇX8AlM͝\=ǜ[R)^D4ReL_?MsE8JUΚЛ}4(HtSy%d>^U'{\{IO .@9&DT R(A bM@"@#]Dj5!7(z9pk nJr6O!ϥ_E䱯(S0I^u<!FUF 1,7\*v%cJ&k."AAPU6åYPkO^ȢtZ;1\5U_5G2f+$ZU/^mϊ$Q[C:7Bfb8,#wܤU-wLj8 m\"WtnQ8W#R!ېz*is.HOzw%o7>326zv*̲z*I2 ᩌc gg jwTP),bbE""35+p|(Lp4Cfz:맿%4}a{q%RXe6XW|vS@.dP@ C5>IEnW0sJ t&@$Er@ iF,%TʄPc0e,v&_ލw},-% j q#|,4Hft"B\ *dwѺ: QUv8HDt(3M/3hfa-2!$rv ^ڻ&uV'0»ђIC=kn΁iHQ$0I׼NY`rS꾈z:jOE5laJF[c(L?v闡ۛ-8;$w _vs/uh__("F01" qtW1urS֥|yyZ v=՚f^y5 )H_&ЂZf~ !w PJȿE'7L R\夵 uP4>BNbA$p7E25h+L6//<@!g^6+ n`h@3(qX@}yoWUg PI=,Wr.;WOY]ڛb9. +5֫= u1vxuG蕃r$NS,AoՊ-usa_,n9&C00(@qPj&؈r+0 5t+ F<-3@iCH$a y&AtCGnt /&eE] S2&#䬲A񪷑2ժ{M q$ґU:}n׼5`wn?\|xtukTGˑqSkg#O &${>lb vjKSR6oWvLeIhί[eg{kTBS)~H2tMڇ:c}U7P=K):$ #u~*.цgpӢ9cRаE[-TWn}W| ;xb,lGi[SlW{*/,!Q$fŬ@O"xjbJldyY$nVUͧ%.?g-h3-&u4ɿ?`{zPK7'.P=±Ј6]Saza  p_vV{P3 tV ܮ#u"=CU|gÿI=RD[qMjB.7 R<-:l׻@x9PGj2C1+Rkޤ߄t9_uM^8Id`pՖ3X1#J $=uVyALŸj$7\N(y!q/SK3Mc ,Xٛx̉fI`)Ooewp^J!s7>cC7D?ޞ [,tz}|M`; P~ƍ7:.YͷR.n1 5-$W)=>s/4ZA3bQHߘf?떐}SgõnZCAPB8 9YfKMVPîLBzƺK8gId_~nTx<"pxy)v=ֹcRЬ5~:Гq[`8*q8S'A8L˵B5kjosYD0:f&>'§!WW +B<'x+MTۛU]zu/-"f}ɮ:*G $oc\|v2 yLAՍVN6I3#B3 Ec8G&$Fw4vb!ƀ5B,x5 낇Ȑt 1leTb+^fqeE2~5٬!(#; :b seu0QCJb.A1p%h1衊ʘ,lE=NF|@O15eӨLl\ ,'?Odf~> OUW2NOFz@'Z+Loe.=cX9>KhI"ËW'Z_o}ͼĵ*5AT;z/./] gUIUA^u [ K'j(dvzSmjʽbjPYᥠa֦;)IRPw- F>WzI{B=ǤcT1Jǜi$lo%$X=nEE1 .>b=Z7^R $9/eDՠ ;"x "dݭn}P5)8aJ渲U~Nj3-yJ#kA yuRt|gv8J;9I$[4_SU1~cwt*CDVϫ0\AX1C_*dzX :dA𑺖_dkLYag,*M $V#zchvnbU7];h$؞)/B1#[2AOz O) ',-³Z<ڳ-b+[j{JjS,sc>ɐ¾< &CgRSoueB>edÐb[bᇁ{x٪zO=T;d(ZW>NQY~\ TMIw@:@<bW0|!ɹp-]` +`3hmiUGkW}]D,`l_/OZ)왠8.`g }_$x4kx#oIDrBy1p.I$/"xq֛ c2O1^|6o5>ǸA<pHۆV|)L(@WK,,|ϼpkksvᢑF++aAf(7\'5!_Nkwӌ>/C'^R?Ůa`l@EӵL A"?` D*tm @H<\ë :Ts3 =e'um#4+%YY "pQãz( \z\j8^En-nf̛3|b*>d'oZꬤET 'YT8"t'2'*3O}΋+ς;Pp!U37;C1g&/ mbPL: lAe I0=2 ~u7NPKe@(S&~f3ơW{zޛ},KA1ȁ|x8EaiElo3\Id>Wk f½Kys^/C@{%q-% A'@ݫʦIPʇ!>ɖ?}~ $=y䁐OĭsX^ӆGauRL#SlF45ک*Jǡg@" >y+ǒ2hg8+g 5 FJ^'&XAgboe'~xfMW/z$l |@V?VD]@LiF![a0izeTbZӻj>{E*d1íBVVӺfRgh Yͽ Sdwj췪6m)~>~6zUM< Zn;.4iW[tXmX%h뾊 ҝSn!iCj(vFL"/׶[Ժn uJKqXǙP\V伎3aٽM}Tfc*ȊL{c6'Ћ!k $z?Eq[prhO:l`ݥ/MFp4%^>u#\|,hmL{%K\8ƸUݦ7+4r=4U?j1lF]N1 8Jmw2{fUdp"?|)Os<.37mQ]iqL 8jcܐq.khFX c8ݭ8( \~$r?0v甒jBa~uEP9:~s%/uƤ۷Y:F!J#5Q5M[DK9,~ |+&1#'xo>IqBh[P&TQݷf_7ZB%AS3z ɦqJ&Oa m'ÕZ`S"CTs^e.d|S⌞ZV"ϙSCmw|U웘v\ N *JA9űyɼZ [z{/LIDǤ#Y͚ oDTgifo =f77V"d* aXCi<7flđ/O.ŷ hetUJod9{ۅt͆ RtQ/; l co9ksހx?Bp|4E|OzIJ>k_j i4 r&ȿCKV8|t{uu#/hW*>PIRJt0qgd:u4S݊c IN ninCV .GK0_Y,Ij,d%LzK@M7֬Hd kkͩ-y?AJTnz#)fk1#F7 Bz֥I]naB0QEEuiUXup}X`UoUG;6EJt#nVk5Z* "] &LEINZQ( KMwŕFlO5r>ыddrIZEc}v-\6iSV6fN|>HW> NFo%5`dpu`PMo\93YG[bs*dyor # Ыd{Iז$w`dudɋԡ͙*|GHxN+9p,>qG:}'se>5j~\0)2)CEp^tyr/PF&h7G\a]FжuOL:B*¾yw̠~dezTrr@ȳiQe܏bSgۖk9սr A!GRG,2+8O4߹5Hj<vtty@VgWqɥ RMp>+'7G4YTɵ5|Si^OnpНPZIaehmi8Q}$51ԅ.А;!8 ۭn{k2r#)#rbe@)K2+fDKq se^;t[f4;)9ʰY=deZ0 R1f? iz)Xi 0iVY D"f0SMCd^E]}M21Aϰ4_ IOhyo^uj:'ՠQ(FXwO^YkA:G$@$OHNF|HiB(>=c" & ;3)gkUFHǮ>BkYd7 \ 0c@aza}p+8 /h(stj Gw]K X4M& A,0m 6nG ?Fl, 8w |)NIM:I{ M6lb DdcJEb4 On*Ԓ;V186Nzn/yxc?{]a9(ļBH0 [ʢcbfNwg+<4Se1m(<8\=VOA5Ioh.ȠLy8ԅ: wK9yvג\t|aLҚ濩HlZ"}>ZRIr-7HVL>:j&peVJ|"t>Sg @K0wUjد`ogӆ\5rw}4K%;Xk`Í8ľu(W'gމ(Pا95|6J] 9rf^qakĩl,Aq>afNsIQC8h˖TU3nƳ*^h,B9QQw7ч>`q=k@ml̩g]e $o_]I򛨲j|אeH]Rϧxq:pJa1r"6?[l<_$,З. + ~kUN]Rn'к'cRwe~%<* ˲shAd zPBWC^`t+_蚡0u)PJHsMj±-:mw Rŕ ꜌R;`.h7TJ}aQ*'PLV[ nHXB4Hf w~rpF6..^&3#Ogg9jNSyNAhe/+.>|a65ѷj X `nI9zƤN1{ݗ1PDᾞwe|`³")as._Xۅ9GeyCIGs 3غGo2yi2 %}KnV<^G@q%^ƍ )!P\yKW?;i-B\-륿!dAw0Ļ3K J}*Q4;}9$a7KX4+m\@@"5T۷i  Gs8&8P|iWkΔ8Fv$/ކ_d EkZtGR{(ׂ A$J0v|C6,Ź5O˕yQUxAo؃=\K!u5pnTֿ!N v2wH p7Ju4Ӣ<;Z aaeǹ U柋to:`WKdÊ4hWFԺC[+,/;\K'DXP?ôaWƲ ^75poβl'a jy''S<"{V5$ ?"ᵆ!.hM IdlEajWh<;pbażWs[L0>62EسRdd_!64z)msv\& XW;_=U8pT-p 8- 5i?+0d?"5W^ۛ*Q wҷXf:AvhȄ(.+՟̯xA?VSkF(wF\Ղ PfO,8OvU9ؠ+NEB"aN;䌻I#6hHı{v3g,eMvD3bة<瓏*HcR=rx)JiF|G!N,;̙W ]{Awؠcڰ켏Q.1pi1aI!=3elRz(mcȾd~'Дo\:c0-Н:ڻ񗻀!om w}qWIZ׸^KIPAՑZKp&C(]d(*_>X@DY\V\;Fv!(%"j}Uc9APU T=>F y-|rP j pv`J*;\,`^S=}u 1pWax_LȲ҉W4'[u)'ME34O ]Io @%>_x (MBV^nZ}rM~"Qb|d#DI+mչZGΏ'm;O3X/% fB@qy19I^a%l im?zsL^"-/Dx l|a:&HPxvs/h ZPT+6"B_y2Dye+p@U \zAs٦8#sW(XEߏIM[ߋEp_ F Wwyr28 ;7 W{Y/㉂B sVZhFG-XO+fȑ21eX)+- z*ۛNO';Sc iOR9He[R윳H-&mȌ+3Hl%u=8vdVC ,][~=F%E=\ .3$gwb1Uc ^,tH9 $igoCfMPզ|ݹ yX$04 Wt|i0EKZD, өbdDx^M/&0zG h\]5mTK5 ;M$ͱJb&]"3')`BN~ Sl-Ûzno&!i/Vo8į(vyb7Ia21.k:Q'^Gv}럸FIM7ڸg|~qH%џmw4]uݤ2/oB,\&Q\<>4EY貛{zY!z ;G Q5^{|gheG* $7yvtr kw`G>*yds2 6*K><VE+ lbz7'̒8E\҃:0_d)nW!с<bb.# :2ŞvzRu"P%'^! `UZ8 B.2]7 04/E:B4&|F;*8?pTK85#ּ[n&ZLg"&End"E3Sv(U2j&~{!Є?>6RDmY Dg ,GZҴj'2ͯ3"9\Տ'QF"\?`MI}=>|s^T6yC7lS€@:%:*R2Rl:n^pCn? RޙM7Aǣlb/Z>J&a셊+OSVz#6 3Kh,ò7BEq_ WuE)iq ӿ)ʷ{@RRS WPZ9 C1O.:?*@v'1 1[}ƌ-t}$DI{VN$ŚC qrPFpF\áb/9xAӁW_?K+HLLNWheVG(93N?/*k9sv$DրhD(sI,hmjfVBn&B<@\ڒݩv< 19[qR!#ُj`?&,ꒂ Vu/]0Z+OhY_6>̨a5|7yPxޤ:Ix@?dB6${5u5M\37$3v  ";wCI{ "dFJBFKlt֋^ǒOeϭ Yhb,n1-I\{.Fs39'兹sN[w8pqk,-m }$Yi]QQY#c)r[p^wX ei Ɨ#yi6/PݖSR9s齃upp=V9rjǕwx#?fM0)o$pa$ѦZ5LZ!`3%FtIm7э;ХwjJtK1x.uM2mRpNxzMakډ0e]"wg)hA<NJ^KNpR4!bLT؉5,INtM Τ̢Id QE L(a|}9HZ3 [5a,`wʄ8e-% ƀީ]$e _t.!ħUf9'4*ŝ[ 5?~@),=ȀBx9*V4z2T ,DPw(~XpWc'F->|:(=! Mul\AH#f< Qחqc_rOM/L cW3_9i mffMdғLИ{3ŲI1T{=8Pb L 5׎H)7˵OeӟqDo Kd2S(BU}c:OX~/^a7CV#Ȧfx~i9dLR,Cݬt"~oq58\ظP{*YS_J5ީFT8& lWf_%:ZtCx/]_-3^JpdV:QiFOܗbDYW.3xEwq{up\imSmvJ/ԑ꿆,L~($>L^dBJoy&p{R`c$;>0@D26z2.MǢ'(eZ%MB\ Dpwΰk"xP_ +`h@x;\nVnd\%w FfGi0 buFKUˠƬEE|/*9({X)lK<Ü@EB"\}~GE\UG"HGՎr##Nv (GV<Pע&f7G@c!͐1kV4HX(YB`#lv`Baqns9(?|9SjBӶjmbF¦).P'a>P9r W?ӣ|sȱ%u!,"λ]zw0U}p <$E{@Nw QDfWD<Sc#a]WnEnD*UuO~.$ar2\Cv8.s~| t7G -w~ gC?MDhOhM;Z=5>ʳb?֦,gvns͞`A=@zmڏ+1vfZ|f(x]gp3ZŢeEP >Q&=N<Iן$cCdu%TGJUVӱٌSG <7J&.h]t:7?0Nm]{m|07g뒯Ry!v3>VvnE-' JUke=|Q0hv6,E|Exl5) ]'ZF ,]S># hH*}(Byh.hMm|NkR&sO#?bEIw $yesW(dؽ>)J)GfyW#z!,-<f T+NcC4dLv㜤ޟȿgS8nqS@= i<gТRDwC0tzd+PmF,dR ģJ)Ö͕9v5EzjJ-I pښ}xګ@ژZuX͙0(E 0\:T7}~Y׍ F)+&՝̩)z)w*YDIK4HjE8Y)b`O$ߒUPum R7q0C&nDT{pjP;p"&D潼k3LB2OꤰilZB;Wy On #j1ԢhҀ ۏ_6k٬q1ݟMʙjh 8(v  hAq&R5i{PczlTE*>6L]OZ'F73=Fslaw$`p7\U H{vAj[at92wF޳DklcqQr\O "x~AJD]ɚ 0¬0Uv11M0|z9X8=:f @]-10B]6T8'G[wgش.d'X[mʉ}6^XU#|_Ap<5o'Zt{VF&*hSLJ#v"rW k5xBi ƫ0~Qdbjp$jdm 6bkY$= n֊̼MS@7XHn>X\8 sJ'|x#7֬qYE {,HeP9i 3dR&qpo5]tBcLnoBy\LEka"&q'U ƱB_zY(~KPIĉKZe=>%Iio4z=|ufNhbZ6RM x0gf%b<'Zx%yʒu$uUfjgz9$߽sAͩ!5HXT„omEno_Vɂ?xٖIuK㢕b6r, ™Pt\m>NMIu嗺6H,'Kx_]er\ش9&r-M`)+=lHm4ńU&r(nӻGltPIԛڋ==rh#uhu՚dF`)Umc]U?)^QQ=݀i-Mq'Pg&:)RuGn1wiY|N t bN}WoLGAQb)"ۋx㜹 >ӸTdA9IS۽ w \`M'ޛg!i+Л%l8<8]R\'أmjrFN9 "^%y=hi{A AKZPN> jmNtRIae؋ڴp6p)BnWd13%Ts ~wXܮ?^7}UK+,xH@&(PR_0E o4^.zgd us G #RoYMt\` 0(D O}j:q0frHi0U,*v3*® 3p:Hvp)~=m0.avfF?](U8sZ>NOF`Zg1n; 4ΌlSKMGyGiWC jOņޮ0ɑb{}x>25ŠIBT#S"(&/X--`hR7"o ܇l.r8M8p>WuH]TI 'ŧ1aa.\Z0A >]c@s(i/jlQmɧa *aW|ÿ%#G~ 61OnLʅ/)M`45y.#yY3{pKA79oiG"j"VD$4}ӄ9eaޟ&t V\t'vO[}>}iYDt?64͒ҦHS?u4P1t~)a} MlyƑ JyAI>@ƕmq 2*zoD\V~W.KЙZvF4Y&N MԛXxi kl X Dtni6ŐLj0WodPXߴxRHqLb`h0Ʊ5}=v,ezY*7†z;d#yXL]S)dEN|z2?vw/`ކ^ wd^1:-.TpPC)ߜ ^:nbQi&gӥuu11#=jZ>5-|PΔ:'|1gw8{a\<xd>q kyX '7EKažSlyFS|`tY#2ݸȈSu# "Vj"\^-]6_e&vftl{<ۿ 1h<vxǦ c]lW t6 oQw$hm) /7 qt`BFZ!;ƼX'vQ\űB[?#m'-b&ќh̘=/Rw>e4TkHI8ŵLN2kc]R=G}\20+x>1v@EL|i$k9=IFyZr*ß跓ڼ81-VB't&͚óƽ+}{ !E\;$e:Sv:|Xg͑7"B]ba-n` BY>/[[ Fg];/#P3wvdR3j\oȱd!7J#&9܌g|acqp=x4s 덧 fv|uыT{.=/R#RShf(F) 4uH%B/6v$v;0xm]՞sund]yk,sq_ '܆MYWmBNh8* Ѯ/>$&qi+]sM8Apef\~->d@c#NL4@P,9rz7bjI9z`:]h 2;>WIkكRشϮ*f>HT}Iy4@0szA-h1OT 5 B[ȭLHT*eT? g_8^t˴4ђ4A"-^*?Y b+2W" X/("T d'톉!&[b􇖪Hӭ20EGCCCXx,2ү8W9{_8Wb 4b{΃eQP:̢MظlHa͹s*V:OKtsxP/a8շD?p_Z#QDo&:IT:noƬ$2fQ bЦfu[H@& {<5iH+jpxk:C9tT>nI\`5F{'7rMXFbϪvJ (z+}K֣c=}!馟r|K4E=|GDӷ-4/cO>H߾Ҭ󢊩гPh&oQ?)Q_z-ZgI{f%x w _*&R%hJY4Pz1%1?!pd;)Lycq#JD>eߒI${" rU~(}rߡښ4sB;c21Ѡ 9sA & rcX5mAv-Mo4}keJyט5A;H ҿχ/8IzgYZc3eae03d41876723aac3370c98a07516890e53da453b001c09ff735701b1550cb3c993764c9b9b6a 3f6e51873188e0c44de8bc52bec007be4fe630db 3c0a1e14ba6d3f892aec94bee369d02437602d54