SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  G \D ] Probabilistic_System_Zoo-BNFs:threads=2elapsed=52.972cpu=91.508gc=3.760factor=1.737zXZִF! 3s&]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Í8)2jNBx ذ7GfV. )}]./t*x_ʼn V=WlU3.~ATBTfLKr<>V7yDK|!apC0g:RURFa݇ *_Hߎ2SwϓD [d1ݗk KIof#zX*ھ1@@W儗=(Uȼ\1Ig ݒ VddÌ-EARgfX5Wl&F/][fMg8Pp6|^đъv!8!C(L; F|/Ak${^tQdZ-9og.y jֽǐ|^=yφЧh*w D@nr%{Qp{U*Zt? 5R{a9HRaVXRbR$dߙ8F  ˤ}MlG zPJ#ݲlk:)Lmb}j^>ɪ0Lg?^.ksfYhM{ =.?Cĭ2b{׿>?3<*WhxJ3,<mI1!;ԇ4 n8EC)i0b|%숓*[giD,؈N> ((/~cՠdrڧ{%cKco], Bs7TN3grCZ\AzdO/FƝ "qz;PTT؝avngRFoN-bX{R-o fEgYZ7zXZִF! ]ŗXiɟ1˦r90Fn  G Probabilistic_System_Zoo-BNFs G_% Probabilistic_System_Zoo-BNFsProbabilistic_System_Zoo-BNFs.Bounded_Setdocument.tex7zXZִF! Ů]A-MՋhvG"uIBm5I$oUktWQcvBu*ʐ7HC K)1gq+^S⦈Z-<1 UT:Japs&~4ܢí<Hhi[20B,p=tuE4Vq8BMFK2B0Ol*RY~ _,{ss7ǙJγdH+KdS<: "9^ 4N8XW9pʭC i\p[vsl%. #WL~M*>%Q>!~|`o[jGvDkޔY .U2hyp,h;'Ay[+P=8}ۣ|)sp?Cj'-0AQz{)Өs<cKXg SY'6.D"3HSU Bwtr.ObE_N"M:HS.1p49rs&+MMKi-Pi0"kfq,lavHq$-_*YJ4=$F^ U-{Ål@3yvtྑ=|mhLnqY0un-MTu pr2"3h0y,ĵ66dZߺI8L,٭5?4.V# 2eܶy9wQ, Rdi FfG{%Probabilistic_System_Zoo-BNFsProbabilistic_System_Zoo-BNFs.Probability_Mass_Functiondocument.tex]Gi%Probabilistic_System_Zoo-BNFsProbabilistic_System_Zoo-BNFs.Bool_Bounded_Setdocument.texaGq%Probabilistic_System_Zoo-BNFsProbabilistic_System_Zoo-BNFs.Nonempty_Bounded_Setdocument.texWG_% Probabilistic_System_Zoo-BNFsProbabilistic_System_Zoo-BNFs.Bounded_Setdocument.texL>l?ߤN!$[=M2JIɘY 湢.M_ܾZ` Y`LNEfYB4e#@HVdnB7wxaFp4BkQ>e!!"SGFYeף!/'%"RcC١KN5ʝ](t)  } 0S .vUF{XYd7̸ۛjw"$[ݰ h(OpRB5-qzrհ ]% Gr\QUsg͒o9fVFFM,o@j,!(彖dc[Bz*Dn֎жP[JFŶޡ_1:{OȉKD_ztGgi]}Cbb jN2ۃinJU(O];F`1>3N/TbDZO2@4:z2W5{XO.B*r1w"rx'LO}.,*[565t ɹG&g)Ou(٨yU:^L:+v(-QtDHE?\q{FrŠ7 (Xw쾙zuͭ˸@KS ~F6mgzUoՑN׹$zAȁįKB Z[sTUc}PI0^/0Z"&"FYFxo DٹḬ̎ncMqٳ sȈU|Sͦm806:!8 Gky0sy1˄~RX)7hlőÀ*g% f?vab,I~ȸmc2 "!JqaaU,Z?HC!^mog'KG:㓸RF B 3E,ߞcΠ)"'g,ʲgZ=摔 ZFYOW# OdR[so p8m|;WFfoW)qN]S =B$xc\}=DX+Ip)iH ^lO] JwVCQ#ǸdI.e  Pф~@_>{_!E rkpyl%6-]DOd7} ҽ{~u8&ξk \)9ҖͿ;l %%? /v-Y|` 裁3¯ G+3-iR,hg>0WH,HKpR Q#"pIC4~͞mn uVQft^:/ɽ1&tzBFiW)02i IF tfr\M]pI -ݲH@Zs ,mb\7$ 0m*O"J1~员Hy˜ 2؎[&JJoH55VsHK,P+&#MÔ_B,G}faok>0My9fK4נNZԡe}SI\BmM)bmeZh1+bBBivj w3#qM\V?0J  ޸"-an!z݃?񙍟!E,--[]%g.[;蹎r9j+oL ?; ivewdla+B1ʢN,KsA(UwǃE*]l%l#sT{~*V U2fo㹻 A>(ۺ:e7,+9@}:ѽf%6&!g`;;4mV m֐TUT]>zj8t%hGc|)A( 6 P(i~bΐL27Aw߉ؗݒLeG3BԨ ޝ.ho̚jߴv\e*!l[Жx^%*`a e ·Q']:L'lIuf>hG͐ bx/F:mj2J@Ax6#"[Ax_CUZ"ǓKP4h;}ec)Cf9 ,tHˢ_m4~0|*AhEx* I- ǵ*o{m~,QA*Ft*@?ͦܓq'EVbmjTxcw mQ%'GR)aLW)BJÅz533X2_Eo0MR)<;"I񆖞r6n.dFjzb2$sAC; X=b -l[Ƽ(42NȘ_Ɛbϛh3pJs! {00㛲+֧^(9,y7` j ;\̺Nhn^rO[l+Jɠkjplc:q<=}.k1BdvL yŨ Ji&/l%&@\p#F=+K+Q̜MAUm۵5oo8SlÙ?//Ht`g@,cU_t)BiwicTٶ85'i"7ę:z,g6R˩)<帛J ֯\M8jJ=18+szsY;s}= ʇw %{ n >\D B4aۖc4**[}o>Spj['F-6E%"C pgON灄! )JH0}x;ښEdٷa/DGsq?g&c P{X;<뉽^INZ1k멎u;W8 pll t!;X/:7gSe ڶv59tU%Q>!~|`o[jGvDkޔY .U2hyp,h;'Ay[+P=8}ۣ|)sp?Cj'-0AQz{)Өs<cKXg SY'6.D"3HSU Bwtr.ObE_N"M:HS.1p49rs&+MMKi-Pi0"kfq,lavHq$-_*YJ4=$F^ U-{Ål@3yvtྑ=|mhLnqY0un-MTu pr2"3h0y,ĵ66dZߺI8L,٭5?4.V# 2eܶy9wQ, Rdi9( ~Gq% DProbabilistic_System_Zoo-BNFsProbabilistic_System_Zoo-BNFs.Nonempty_Bounded_Setdocument.tex7zXZִF! Z]A-MՋhvG"uIBm5sS@,u8 3zt/{]Xޔptu6OU|8GiIE~ 3KiKUI7Y(K%}Oa->O͖^zBݤbwC|}Qnb E5aֈ,ŊƥQUYK"$se y}ZZ`]B֩ (~ cD [|$ 29i-5S FЇbbMAX$S|UYƂC>1?o0oz5,(Wk]⠆۞JoB}ǟyՆO3e~r"f,&#zMj1 \k8b &-]. \T^BxCDpׇkrh{~YSmśB|ܐ<~ sk3uMM]h-8?Ӳ&l(Y 0ucCRPu B*g_\㌯ѠJItdsq%XV;F 8`r2^s?q6A!Uhdq Fd'ب_뼑dQc>,_*+,.[Sqxbا fO0G.9Cu._l &gzf!DyLW ]fMNIZ: Vae/m phA w75]V؋ |_mqTA=+s-~[*M]ly8 Wv@"'t{Z]/ <><$,{s8#OTz7Dc.>"R}DE ػ7~[BS`1^25h<G ;EUVq0.j4̌5C嗻\k<Ŗck#>cƙ^]=alZT9Ù:sl8Ǭ!'Xb&~0"Љyl%7pw!N DHCs ɒb/̒_`a;+|VE~+Ef\bNMaI-,'siۅh<)bW;t+FXiBrjϲvFb0$@ٗ7`ϊ2kM׬[w'rm&p~vm&Y?J ENN( \O9JE覤(huVW!UtA*fF. mY@cGJ*`+zn ygs?S&]%z }ƚ?POkPUU!M۠ BV3JwqaSx5FB>SÙaUkG>`q=9mKغ<`xspܬٶP 4!(p1U _>IMVJK^&䂒ɍѧem56H?xfd"!r؜t"2 ^XTHNZ?g.9Sd!7#8xX$H6mRKСO٨bOƯ$'T}ToعF_nQܼY~\eMW4f(l $:<ԅuBx; " ð M+T6GdͶcltە29 J4j8zdTnNFD*ZW o`Y&Wb՗As-3QH }[Vev&vBӌk}3kܑȋTv_"m\&#Mm2^6'Et԰ͺ1n5hd_!л9[?( mGnzzυgיw[]p#*Uґ78r}~SGUb3-{(W,X[}vY ^fQ`&8؄'2Gh7u(Xd[UrzXfVŸpЯu6암ޙ}RgO b}۷̥]AnWy R܀y껅-VC"guL*v7~Lc8px݌@ōJFS UO2+]f'wc Zџ5@:Ö!t^=y~/^hW@7)y/R_ lDyF}@MWdIŜ; {EK:ƸZf&C έwA掣di1^Cl?WiM+Uʳ aG`OȾNj]͂,4[̠0hvb!!oՎǺ)bةsMt?xqN&e>T8Y30SǺWpGvz,)6-~CTA:dQg9oT'8?AxL;dEOO$>XugYZ 3$G{% Probabilistic_System_Zoo-BNFsProbabilistic_System_Zoo-BNFs.Probability_Mass_Functiondocument.tex7zXZִF! o{]A-MՋhvG"uIBm5Lu>vu:Hi\yiNO` ڵQu>;09[,́'#ث8 3dL^#1\۷뒷b43-]!Dd^$ oPl- at~f't.\ \"M}$O3"Q:NH>?EJ G[,dzx٤QtF(J'am̮~8t*esFC%M^ N-~k$R3W e]YG4bȶ|ɓ=y~;~m@0),X|ڗXj|2Uտ:?ar2j#Hr>`N5 ?,5±?Bи{jU˳z(!_@r?=?Z JGi% dProbabilistic_System_Zoo-BNFsProbabilistic_System_Zoo-BNFs.Bool_Bounded_Setdocument.tex7zXZִF! j& +]A-MՋhvG"uIBm5I (a WČȇ05B&kŐĭA4ؾиUhT(9. @7\A$OG< 3_2Rc)iViTA.fem%d9(@z'2U})M{|^7`lV :m\GĐh&Gq?Vҫ5a VtmS㳋/֡)8 ؖ7f`]"A/8bڻ-Թn%l@t30q?ę8Ei/*EAALI X L\Zg\盛Tޞ}.hu lrf& ^%iK,c`N1,Axk? &9U'$!~% 1 #EfXwIV2 В)bqQen6.hU9)׼j#̍ҐQ[)&+8ı1rK:^I˷3+KeMnaUX=2mیŦd\_ ^0 DNX_~.^^|;*!#bϝ4d }6'cfϮ"ޓ @U yHzn'!ȳ_#>9@a>z1 '"ĢT@]Ҥh@x6YuHAz(zcY5a;Ǚ B#;bXN͙>5\0 ;zɵ?%:ɖ Fq/ Ml-m6=57 GHY OP5i=}U-ũFoŖG_c ˵} [mX ,VǪN+[] oq"b63ٿDVp!d$@<`Ʀ͌T*TLn}$I2FHktNWd@ڜ,HsN[rߋCq42(tie 朖ڃxNp\J~~۝bH/>o9K>[hO /4ެ!,0ڙ77FƦYp a" @瑳d5P+z$„}SL˛_0K`9!.i&ko%>C8 u+Ҳ`&+ Б4y$ \7ގWV"A[EZA39ktuWT^ś9d$K~Z)aYyڇ1"fŲ6p$@CE2 G{iM>b5qARJn^3,JMAEYJGj ͛҄=3W?@?H#L/ '_o뙥j,I2ktwRc\jPɿH;_iJG%凓[MwPDzMnoT<:*‰id6 uovS6Hl¬)~i4@wVAo%&W]/]h7q;IŠn{qG$|C{S¸hJ_p3~ߖ"y8[!f98F'/xЯu1jtwڎ_CyɤS}‡-%*KzAEq( թK+ʲwY$@z+G!ulJ)Nr;ue?nl>ӵ 4U2 6;l2;՘rO&fpVt]N\+yp' =te4"Ѓ7`R KD Qa}5!eG>'*S0d|wܳʈ0y+5 q@WY$m ln;[%qxSu9TjyݢoH_`RrF[v1q`䀂PDC@\aK4:<݋&lC&gEۮ4[QIQ9lKHM٤-?< CH~Dq|:q~kvg̢ۚ%)* Qpb]43)cwS&.yjg`Ģ6Eחm3>aip1UFjͯGڵoWFMd\~RMۊqQȢQӺS컬)Lk Hfko7Sh?oTOZ}UYYdkd::ZjJC22A孝 ɃȞ^H;mg=^ޮDp[H, PzHR$a 6،L*J#z hoS~5uD˓< ;c[>7 a"m[b7MegG7nIba|^1a_e>\{s}Ycmώ5lF,#M"DjvKA/3$Y|6ӂ:CAgCY-YU F!T՛G q*f .u#7Mo]z/lk$!$Mu9ze8:#TA05zQ`:7LE+4)ր K1p%$7R ivE]%.?cgYZ b\։WU1lby(u,Ɂ&t}ÂZ`p+boQh̟ pǵG$3u!/tq:Ñ}KC@o(Y (bdG"j+)cKw#E=8_$nU 676?T6 SG=tʗLBXK(6,ɽ΄-\Yj{S73H@>.!?8e$k$|GKv%wo;5{J),"}ɋhV; |"z"a^b=a˧2fP5+ z;@;XmđU5H~SỢʠ }fohs$pLZ\wy5ApZ@]'"z(>v52!8cHXyBsU!Q\^={@=ǖRe1@2 iXZAϼkE4{eVЗ_#x,5 U[q [n#NlB >\0sOw3˶ǺvH <ϊ"W4TcIs5 K'ݓ5.,7=iln޿ {o8l+Өd1gfv)4MY"/c#1ڈhp=uL)zԺKq'I9ب>A7ҽx&7 %|8]Ap# kʹq-y +t=v$Q7,pɏ/66kSt.rtr),9FcZDž Y!LT*Qs1Ng'f倆K6|Ϟ00I>FDA~e[GԸX-*|˩` +of|Mhkiw9 HIQq>8Q; ^N9ٔD+C*ruIph1OPDK;vEtWdcX6GЍLA5|6G-M)a;O=pWZhEF={ECwN}; (N g;ujv^ث~{NZ:vD]K6nP0ZXrp#pv3 \߳ztGYFc3 BUD]x{HG۔bhAY.` .Qv0P (yt6uM:~ug{@q<$`~JcFt:|2=0lnMcw>~_,?g*xci0 A͹;hl^*#aYvE /TO)3,5CBl&C~T6bd$_|껾s &5s][4g`%2#}I|'ΆͽI#E]$'[`V b75n ̣TȖۣ6fPx}1.v]06E|6K;^ v, dby{b|;7!*!y{1ug[{ڵ~ F,RGUOrUwl\6=ŷ`pbqh"q'vxdbG0|؄r*a0`Bis_nװ_~qi:8te=li fކ^So:!O} TӬlr kZ㘣SWXA^.a¯^]Scbֿc{jt6MUֆ9e zP. ^t<~]0>Gpc{eҍZ/A:q#ZtRИhz ]iWgw)]e?)ѠsxÈ0:B7={eBnO$5k]ܰOno@E )G ~nmMiLb%+x@]Џx eƋ{I a$:z }Kx Vf\1' U,VT;A.Llؑ Ïh~)y [VA&å馀yؼLѝ`VDjwnA!8 ACcKg&Atnlir&n1a+=j Kkf.!x+0rPa]8w)t8]Wf~yH!3*,O箰\sg: Һ`j~?U4)Z%js0lFJZZUyUJ7+f=Mjz/!'tC(JqU#*/4ٴՏUВ5%C ZuІ2nY܍61Cm._Nث]H\`>;I4m+ }d`"MpfmJ(' dS AڤXOx7? w#D'AO > B[:U4F1[T9@ްj&eW8%LQRWp_h=s51/x:rKd d3g0u@D_k#Fg4< C̫jؙ'~eqekƫb& #<'T͡2^%hLsq,LW`-vozkEow3IE@84Otmq԰r}5>j-7%pcsP Z:G-60q NA"P迄+%I(uK]TiFוFOۃQ")ݐ6%덚md[ge ,(T[c&(@APᩈ:*ҽr? B`a&//٠m<sjXYb/ҼPd '6)' Sup=$@jqi!./ur=_NmّzW*Ґ`m@au0=kh:;ߧ B(vnqȳVٿ'npj$,gԀ6{ϿY0R!RU :%F D ؒΕ;Dz(:T]"=K\}9b<^~{{!BhD$ ,@eaSh旃qr\eT) QbQ WxGDfkW >QtW 9jn][L l# $, q&BznyJ3*W ,YB71h]MK$EpuL9rZE,~QwKOCt|/~,kOI`Exl)BHk#XS!F`@({5 yae1w%:,%W^XxϤ%$ڐ>A0xL_z^/gԃ@""st^NϸZF[m /9MȤ8ufYԜurzIjmuCwi+ۢ")6QrJ+a|Dn5tWQB*7wHK'k;/9a ]yps %48?!:#7ݷ< IA7o 1;>ı kp1^W~6nPuq8z,IX Pl!߿o'Ti04&p7]2tPS?K!3. ߆@C3q)+s_<7IaW`s;$a@9dx$f]Āa'2LjF%AQo;.W*S꺡 ICSRu?vQ.-7{+4x ہDK!':ja{'xf~r^"N\:xLwJ0=OU?"5?M&ZvVan1hcgb% nJ%$,rKc ${x]7RXpJMLr͈r{N!J9T_h`0 74'$tYdN$f;c Bhhy:mu,!^c#;BV)$eQJW'XQ?_)GdAiVDav ymD< tw"ԫ}›JzE{55ֽrҚ6Q׉]YP/lAsi/+/\gJ ilt\h ,-/n)qZg=.b0p5Ѣ͏I4yۺy{WU6A4gRO<[jeg`\g`3WN5iR\.@{(_ xsZ 'э yLo&[oVfC#y*A@=$ 5c CX0'yb兀dNXmS=NLOi{;\ |!ÙXJkO)]~SPl| z {Ooصzp6/ =CiVrqP&+A n$1e~'},&7簑EUC$?W89Qf'Kڹ7ɞn](4j`#gbE"GEa1̑Rzy\7U>LV+'7lt4P?s"RczC0ey$̡#J FEr%2YN apؘ;Ӡ4J9[ wXX M#ˁpjρkc{ #Ԍ}ʷDq-E FSdi灑ݒ( (’bwt~Y>,̵tb ۿo *( u`/:o eH/p;ln^ -?$i~}S7C5d;+l۳VgyE[AI,TSZ&تḐu _hհSV*x㪿LW/[aHuω5WnN  Y=ߟzYܵ|Oۘ篹u ZDi8_x5v?5/= emU{~&=Vh .s{d"V +EFY>W)ŅBbwn,bw=S?>-+a"՗뻒/ "[?ͽew]&&-rzfxҙ} " 4dw;C\:=++}T`j:AUl>Q~5ۡ(>rӌ >>X*Gjzp2%lw"gr fim?;U<$(bffx:y*bVJZW5E|[`rӛ7)}/˓Ȃ v.wak1 ?&!`nIm(j:!tO#(ol.m"@ GMℒPO-zI% ]YIߺzw6V g5|a Fhde$4r2TMUaFE 0##ژ6Rc`MR:c%:}voZvȞ}_=Vo,vlX_5b}{|ZJ̶Ox asU M0 pbR"U_??[,IN*tv' ҂k =l.~ʫ"P brWhnBT7Szfіv }Vk%{OJ8vJ\;)*pDOңӍyGM n 9*mn2eQC v{&3\+/aw\ k]>)"l 3 |a-j=Xbm&aCIb =dQvs}Ig"`]PlEQfTm06Gp̄7Οn]mRf.'xhi[6ʁB uhVPkj?*귗C_ 0-\+O#wOt$2zpX>>&RzNR^9TΎEZh[ɷ U{(F_uɁ;"$w02PX7zrk-\&{{%Mbp9Lw1:4[ 7Ȳو˪8 i6uﬥb(pђ ׄE؆&2dKl}}*ښR9>sQzwdDuj /x!{ieŠ5xN8_lW.I)eV,Qř_Ϗ]!Ghaȳ0 R<(` ͝=*TOT7ϓQ *>h(p@>OĖ"!j{sfŚ$:p/.(3Dq:3~EݫS0~|jD~qE3K uKpy.I;|C`“QL<(mCz"؜ u }YȜ2!Ctpr%U ^~E MpCoinsz1 Hl Y&҅Ű`e-(#ѺҪV Tfe7.o^8N\vg .+J~O/A_;7Lٰ}~(ERpgԴxOp[ ײs¸\6 `#2 &dX0hR0 *UqOy)ۿx#!j[y%/sM~ˡ h*\GԨK9,#llg}ȕj~ 8z2]Ld0wmZedβjFL'ɭv#踡QߍOnFV6.k.GEVP^>J]4:,X3Mpe$˓Q%6Lcy~hev B͆XQRĿPR Cڊ.՞$alVeV4M 7O͏Fx}m/bpCMJ,z tW"GEBuOSW Eҋ\$ cVں,x'))BsmLDU;P+c\D5!8ҕ5_뙭pEݴQ0ĤՐ*nRٖՔ(A[,[f0Ṿ)65{Lch/,h\NO /|ub&;nIZ1)t7\aN^LJ9S|KUvWnTwZ0H&HN3K.d#IH`i#>TF l!8L`@XU-%qQvi9ShJwkH-t_)yZQ1ǑC$geYKkxXBX%?V%ؖAʜ"OM[p)oUU g,:KAfN}'W3 @2bepOs5$n$C- 0ji'7%ĵzlųb)NpӛK,fwDڶOsPJ:$(ЉD$5UD 5a2rZ槎AAQDM; X {9$$ްIdfj? lr%B&#yQ훱ZW˕ LX|rB$Y>(evC<O57Z_FQDVjȆQB?g2y#vɃn^ybcLPגxoݱs\ib [Lş vo$D>[V2l%_mBF=E'Tؕc=\F'YGÐ1g_@jf227$!H8 ,^{f\$,}vgRKd²H(in#’h}'F;t:SC0^>+FfcCg8her=zr8;MntuH5*{$fs^6*۔7fPNU|7JAHk,c'OVl_ |4nD4^0 67mw4d"׸qAᬣĨƐVC YCC S#6جktTho<׺S Q:+؏OU˚I2<rj "臌H2LҦϊpuDO0_|p }" n^O1lA$9ɫّ҃?5R|vY-icb%YO aϹE*_y6EF V 5R*B1s5/Q@[/6dR # jyE"rD?~<:P6{{fěR(Y RJ3iKz >C^i{$:?_ 7' 6Ge޺o"Wh 7Vi-vS厠M㷩?'nGYuСZ,A]Q|I )5m tx̵>͠ GU%m"??YqN.::5_+*ݽu[lbS|;XRk3g ݷ΅4jlxȌIƫī ,sYo'|ClNLu3HyKjRcG&Ӣ@Hs 1!(P(ϮY-@*8>_SK -ǜPZ|GmfqZ_qyѰiI4>7R|oE*iҪsGJpMB9sfx?ʜc6N7z3yf?t:lgZ?'i!rQ,`'xBZJ\IU,)⢧uJꎩPEɤu<ϿZJp,V+܃pa_@-),hubE;:wBfHf9 L oIz53#Q5m |=}`V,:rZęG5&(^VD@LW hGV}'U>B? aL'=;zd(ܶrJV~H8m͑l@UuN) VJ֍D($5Ug$ :胧دra~1ܐ,E%TLեZ j jh=3JH¥;f4YV!i%w=a#Ȝ3(7Jdu:R8=ݩ$'P! ?^ 4e`ʀlݮ#`uSUMԦ"'ydjMC3}*(bWB*^)6L{6=fMt C_B.F߁ jyU"N>0xz$ˏS*5)m&[+4E24 $UP

~1OP|Ut.]œ&ȣj*NmY^[$R\J1 z61nCFZ]Z~L dX@|e<Bo_}Ή^h]y9I4>M$> 8 XR""7dB}u,|;yZR} ^"m7Ih a 5C1L%#pOîn"vgKÖ)krL߆tdz 2sI#_Stg=d$՟YOj_[H湔wkvɼj40Q t@_d 4aPTt5WV`V7RaD1>1T|c*!fԋe/G=`Ie`P54lG"hpsod@c¯ p+ڇ!2ݭ9eqЂ =c!_],.ku"BJ"lqےӺvSv\"ɼp^Ɂ:鵳t<_u+ZWT'$}nF0$#6$rޢ)w/Hي(zV Te#Q d1GoT18&߈6A" qe,ODB "#=zt^{ ͧGss#FA;ɞ+NkhV-/v!MR, =4 $Ts sMn˜ѪO\dr / Hl ҚR4q H Hp +yp>u0Xl|4% ڣ6C{%ZqoMqыC(09/"FU ԭ^Tx)/owD{-YP-->r"KTBTrRg-[0]L9roWHاh-KL(qt&v # $b\X1`pmRwBiG.5~h4R74`K=ynݹjDA7cGa"U,;z_E%}f>\<] L6>.~ ¢JkI\0Oaބ#DkiUj_d\/ D"~/zӟ8GZUĚW9_bJ=!q'Ya j 4ad=7Jo R_aP`);to^oz(wPɃgMfA0[;Uju AJVOWU5#;KZx"_3bAԸffr6P2m߹A4x=H'g blv0{!%&V($4 xF-Nslg[P֊qiEVSu0hwhH/SSM&~ǖEu.f+81iw6yB"Oͫoǫ}{ }=T{ֈ kY3{I3~hpt4XXB]eot'z^ry,c7I%_=7{w.,4;#KQ8Zu2Ta_~':wжNk.;LAR)w[ZS-P)ND!  5/Ϊb)$abz`%]a;M;f~ܜ2vf$vgDAdtF^.WV<"̓vo3c|l촀p8.92CpV}YJjC$=Yn ^lн*dgW&cv>snUm"̵7ٺʒkH3 }RjGvpEeB$׸ D- ^>EpI8y=V*an`֕a},y҆;=V. Z X]'c+úW<4Ҍ1^7&=G " n1jAf FM゙Zć/1͈ϴm(`ArS~:e=Ļanfکmcs0L:d|Fpd?ꆸ%%]ח#Dh\^tMFak ygleG~+ BLl %E}R-*G ťHYD.* [Lt47ZyY {;Q7{{m{_K%ȅ,f3C9_*J;꼎ہ\jkmt nآ֫טnSC'nIoQ/xC,[NjdQq Ƴt~Lt_J}$ίG8&ypPvJv(/z~:2>qAr^Z֙y"$og{!;^=2 sIסICʈSk.aqـsÀ \äJ|*#|{^-w_ezYl؍= nrߙRsͽYS1>4D箈ғɾɄK ܢnZOCPW[xjRܶ.uuX4-:T{uZϒ8`k?*T9ge ďK}$ ‡o՚1Ce$^Ҍ$YqX"E`2Ad3FClk$]$`#.b֊.V;0O\XWu]#Q5٥ՃPO3}s2-TL{&ʑ<,,%םq[jnpZIyecK"E+o8P 7Y7 䮘ofiҸH:!bt{5a;] s=i$#G+x G_-S.iqb aAF?#C.%FX ?`ܯ0gS/iBc\k%hf_V 8eȈZ<x.&Q5xό|# }viӁx>:ܪdlRbfHHǍ3?͓L,!d֌xq"Πg-γmĝ"wS&ʙOA 8>蔦{XsXCbpʤ;(;tp;k>ͩWʜ>~F2{]7?~Ag]J_Kr_`PG/xM9${#Hۀ} =2#$P° 6N`u.t4k0uc z iM y-aLI >Zaԕh3su&\2*nNƍwBpϜc"= *;5s@Žr3nuQ'$,p.Wtu` ɯ)<lִ p3=#}|z )SCvyGcd#v֤[,k@pp7F݌ct  gG5jgZ):uH?aYEA;§oCUV.] Q@" 5>}) vw+~L`w{ VV?IN7xOŴ{#Gj퓰s4:e?J<foKԁ77@|a\d'7f]c`9U!y<٦݅TGcm&#.j' oӉ^ eB&FzfI@i%MƱhC+1#\&Xs)#nEPIQR7C笤ù,jo:H=:VUQci+`2dUV#2[{n>S_oۥ=@ 0=r]CX6@//CxOUZB|w߲Rz@ʾCayV#/|a{kD#j:E<&bp޹Q,чXnF3E} 3u-vuc%ίrJHqLm90#q;"r( 6MM X hǧ<*}lΩH+ƙF(AoͫlqBdTPZ#<:o6YES5A!$>6;$ Zj^ 7@j"H]ici1D'H;IFbLgKkBY%POVT ]jE;kay n$䠩o 421( *;Ꮹ=eՈcpm&Ӿ؀ u_T;UjꢮQ;wzM3 @3_ X@MP:y 槶z* H22 k@ ٦L?J6 ;G[GH@d^˧ƌ~8;ѕ󠾻Xݔniv$>dH8]BC5"Wǽ%ׁYU>p41*Ӯ=tfLCk@~($(|wp ADgO -4;Cbg,|5["^'8s,xY;ԞieU \&j)%ņ׊GFl/EfH`W޲g}&ЇP$Rড়׍er򮥱) Dq]ǫ.:X\6ٽ ȓ}D/00N^5|8N2m{'SU:BCX3KPx&^SvInś*t}Gq3/P.eRR[3./iHH" u|Taq1yf7 Ll*Upr Wm[+DV ^NשE!T1w't*0rN~JhϿ=IrηcRD^U .[Sͯ>AtE Uئ1^_rkhsS LC3Tɘ(n}0&d )ŀsVy",@xՍE+PN,!?.PJ7q )O7aD8 X ZJɋrt.k;r;Ŷ֦ZȴR|(ڲɏ!q&"2!{sc,i&jk UzJN/<2~/ީ'V)':Q8!::KBOZ|_A6z>MZ' =Sr!iNiv>: NmtI` 0r ! e s|msS{z+wVT>;ROg\/%ם𾽨)_RO+U֣sjBp-μC1\H .)Ɓ?3D*t_؁. ǚ5 |;[cw4gṰb|׬ ~|勵QVImE#쏽ri$!]-CO!?dѿ'?eWkq?dҢphn%.hŋ|֜5&$~uedUu/a"_DG~bx,=묽*'PP1`o$l ~-~+a=B^@Fw@Jc;PIwW< 6 !þfMq:5,r(ƴòHs?ב*lӴpX+Zb+IvȉRJӄOwhdA92YQiӒ8Lr9˄)LQ DknVѴx.0Fa0_ ]ətԓUֲ,fRvO "5n/_C^buMM{F`>ǃ и؏£267|s#ATG e8ޤkYg ~1DAl((ˉ˷ic\mfYUmӊbw %{ 8'bz ">Q1mQ,Ÿ6333]uWXP   җq?ugGDH~*J? 뾘SśX y [i9KX͗!(̌\@*P3b(btϻN(ʉ?mu,&e]5@ͱ\t}s*/y:SՆWW n^Jߍ\u1֞ 6P{Y)% e J}HGG"Sg89sV}V88+ǿ +yܡo͌ A]Ev0w@J0'(5L1܁eW.ς4@u+%!aͥ@ pIY\GRQ(rY$3uIlehur4W7XK{%9n4R1mhދzшX@6]Ӿ| 5<LGb'%m4GyVǂq"1v۽Nj+{vk0ԅ^5),"ޔ =4wT۠aScU"%P|u!mm?|/'ח,u2J,39H?glc8]ek@ \QZ;qzV쭆u! Q 3FS2, ,H㍂hLŠٮ,#jz?qA{JEͰSE<Cp:,Ԫ9q2ÕYf(%n-4yk$k;8d)݆ϫǢU#fMTl"qӔ^ 5_ [OK#z|#Crtj)6J1ux:>R'S"!`VVJ&96KB^l)TdM H#JDWKX'o2wvSwhxp:BE: VPC|2PiG=߸q@9%blk񢑏1/a C<TOh>ud\K9Rᆬ]\]wdؠXC(N57B}nHcAB`%uȤ!bDjYCP(:@d)Fra?՚]g\,w6IГ${䛭m,^?6?ȡZcM i'0Bt,Oj!&]M8M;\kzUxE4Y<$Kw{o[A Co?L1 j7kYЛ[nc.ro%3XmBmmB}4 x`eᎉ6G۞|P ;W@ Op4n3N kp{+z_o3L8jba(&asHڝ{6vv!nM g8I`b|c|"gqc؅ !U7Ѐ>55ȹ#!z [0iCVa,9޸*ɕ]l>ڲ[&Ky'5QI^4aR1&ܹwƎbQ#PȉbL0}a#*Z h9]Pj1 k2LƸd}uf3d)*a\4ʐת y:TIChRCZ-}{w6P/Gc6"Uw N:ƄPؙ",#7k c"{QBw!ʧvY1~ Fx"NTֿ׽JMYFqWzVK I`dAE!菎G$,{if RzCX 5cYGCIaTh$p1R?ҹ -8Ni>'dZQp89$d$.vK@Ho̝mY"" fYdW[F ߠ9xl}gS֞0IYTFh)ݖᵐp'6aD]Zb8dUiFm'?3'C@a`}Q$z]n&(-.s;+>JgKUB?mȌ}ZQW1Zt(;b@'-bZ4>TCwHб~TFIR'-uX))׻<( B5Oviv3z Oryyο MKy~^B솹50A㇑vO(_ÀA׷НiXMnwvgb#w"bPېwO(̮9 q7AQnR{Ic 4s9PFJ%)L̲ksdk&5U ҰM=dc44ۋy=pU,+T-26mfj@E.mI.k!ۏ@6kV/ h|nBn>X@I,SLxGR"rτc2?EEyao,C%*ψ3nև 5I*Y5uC|+ADrTQEv^l07:L ,;k+;8ΘݾJכr*UÙ=TPۼ%r-!UŻώf(]q6 #j$UMǠѽsהjl\SpPFE@-;]ՄzsMzJ q$75ݩ/1Z-BO0 )pԤB^ѺI PJGvznшBOh|Փ.sn wl(un{݌+ gf"@9@7qdS^=|NJ*Дue -16,T^SDxy^c()Ճ-?=_PϏ `ʅ8[Ȏfy369>՛ {$ rd Q&wSߗ2P+JC/AHMvt"yV!<)Ño̬XsՋӶu|+W-p~dP'@*t\ Fu zK>"X˸ЛcW"ۀ` rQ4w~]_ݞܘY'4f-z:Z=ur&[aEY.J:WD[jF;iìmМ-[8 "+EJ\ jb ϓNiVąjd&5\ѧܗ1-UMf KmRw;h`-v]^6uK-}e')*w*>A||V7?lUR %4L$ӘSx/k_N:+Q^=X-cd~ҞҗPV-*N6?Mr6 7Na{X9gV  L9Sl\A|wKMq lۺSv B_.әjut-Ușh )8\+omtUȽzn|P$n RZ8OCQu[`r' f6X94"n/_"['Kh6z+il+X3T\{{CS{b 8ni )|Ovвx_/XMK#il B*Wq~ΓbVV>`hi ߅@x׆lNE |5(ۍߖRFr{J%Z/5);]7[ε/ ?g>L1tY6)|ȱĮyð=k1&7A6nW>\ՅZf:ׅqBRɎ\&Տ8RƘ(%GV<7ll˟51pnyQ.:ȟf@,@I^ 8鄒i<~o_'5c;!ؤ1cȩMt. IMϱW^;Jt 9 K- eʨRB pO~c32-$w]?7q[iTIƚ=+6>0bCv^.3[ABH-ƏcQa敲 .x?P*B O-"N0hkaُss,}$SQ:BSjbkZx$%n[OpUG5 ˚bdjv}gRPbZrtja\0.mvcc9|;4-ą xo]8dP)X7yJ|f(b&br{S:㄰௽< &'R\zJ+u#=UsHo4ϣ+d)(i#e#HJK0lOS;#'7dMoTghYaI4~_Jxhߥql$эzVH/sz>o%a-O ~^8Dn2˞$H B\p Q"NxINb)"7h#u&qcΐ06anj~=I P$&@r7 o B~X75!C!/ yѩ'P(E3k.~aRBYcY0Atn-bbj#!N{+ސ's\E>`OMb6 ixVD8-¥Q|o idEVVôoPxv ;k8z\D`8'.  p.ņY"͛ ffh xt+tOu4u{?l諛rqKlYUWv½vk`\bB: lKN5Wx0.u;A u(. jăr种%qҋIZEWĻNn6@Rɗ<YmQ-*RcPe͓CP:H}O(GSV~Ȩgn;#AOI!:lcxPC ^~ͭzRr:y5iIm"ҼzRsԱ5kg\Iy|;˴Bgb`!wxozN]ym,^X",^38?S 6ٴ@fҽd̕4<cq,R{F>siJ ʕQ >;jŁ}B,{c+Q3X{4#lO!6*V=dPkv֪]jXK_">'*]- O`bh$d[#NeFacUHU,fB@1`0uNx#Om!,~hUwE sSejaӘ+O,*=pnЎ Uj[ *c L6&`uB!]č&JLs|rfe}FMAu>w;^{zsv9+s`?o~OW=wHs,31RN+MQjN:=PWv]TO[FՍGLSVy(yHz "2UK!|3(w%7`LyOOמu`؏~.3ZXVγ,[]"!,u@>%`qd|a-q1_3]N)(΋sЯ4J6[t5eR ݌L"oDa: GC^B\GQ_/8!`!׽jRtRY'&GbW^3ٿ!`nW}#89o7p13F0j`LRz@{諁%*bW6leU%E[1ӨTu^ԲCi5z*/;ȷf̞,:=]!JW>uqNfK$LMAav5 %|;{Hc}a-ܦ & ~6ll;~g5܏>-VQvx=6Ȱ}ch&_.o1<Ӄ& K8-ڟG)ڸojggf6IC|: }ODk5,;vz q3!ų^`"MRzmPVJɡ󋈅l,ƚ 8Or""$ȵrb#& *˼{֟o$v"m Mأ쭷n0 wKn얰ҳo%1Z\~'^ma_J|\kݓȃt"n|Л~ęrh[il:2NY\6 +_h<m$IA w Sniοx*e_6Ds#J4t3<. n])Trl= 'LL?J(0{TV"Anwg|EF4_?"9RSS`Ā7UZWi  -%mg+W4u2?J# \E|.ǙT=0c7r Z#RQ2;UvlKިk̆uzSlgZ-0ƫ:D 2i% /›Z@ 8AaF3~u;3|ׁeG`5^ma(V 5x&Z~S):2;0^ Lݵy,&=J HEV.u x,%<;ۖNND3iD;X毝T\uqN #X3!8MfR2-KY#T3[W8ޣ nW!X2MfrQufHĤٛcJ/=jO9G;g2dCM&ݡ܅8x iؠdP!s:{b"&Ez,96"[RJ+jvoYxVCHvA#= fttx9׫`ƥ&>00 >AW'M1ÌFm_Ģ;3$Gz&w;-ׄ#]_tR/ )L# ZP⁓]ڬ4ڼ)hhvkݖ\I~xu98[c+ՀFֈrpCXqv;/@9Ev!ꄺH2R$C +*Mr)g*ģqԴkXLyweZ)mQN`Oaw)kcn3һZC  |Yͦ@!$N2m;"{IYI(v=Gp.þT[ L';³2;ɗ>kqj⦘*0/Ntsԃ-fof L`Rږ`h r+}Xa<:~#GR=eijs/ yoo|?{>tbބ!? 1kV2<8n(Dd=!s(_ Tmi׆IlOXDe-cez0iB{ OV |~gCce=Li:$w@)pHKtPu0#`L0G|BA xel^ae6\} 3wsUts8yDvXk2p!ѿ9d A)ZHʯOxhAd^?9zVytj(lߺ:KQ:aelQf}s}U~ 5_rg3= /Or#<_[OQ3ffo@T^f.oXE{}d(NɡXރplɦk)Eߐオ+o3=s*8fwvK>W =?lr (xxt=Ž1"7bH0![aBf{"w8@WX5)E5LQ"*3VilR߀i(-KS7c p,ӝ?k6tg6p Z`ES?Ŷ8 Q=xfK$->{_};QgTYs>]1Ml\0Fם )];&'Gu*1b˴rQfJHዧ/۰U^9O>a8L-qA=?Of7F?[É%:Wͅ6*I edOķNFF9]Pxzʒ4GDD;1456啇bk_hOjW(/]X9>|1]yg"gtJӉ;W u =:!e>3&*z'JMu XUmk~1HK;bI$\bdE_BWxFpV2Qީ ^@t ՛9F׏ܿ[N.z a>P?FZ`ٺCµzyb2粇-ݑ>І\OB7j&HjzOZ͗vRezh,MjB7S 5 H[K @@Q <Nb/U `F'D.)0t 2O @7'o~wgPb7]~Y{V 0JkNQ(Ss'/aKT:TXΡ0{̓- :j>t1/Dᜂ4%jDC211.ь-xNlAQ]}NPeߛtؽ[ֵMb7bߠT}hlO< El(%Y!,ʽ0^kBr$ʆFJ(J򹪱+pKp|(NnYVKQ-u6CH i$攓a>|_;ǽ,0Yy ]m'ΌYE%RPƾUqT)/tChO޿qJfoo:jM>ocu[ rÛ{ )t`;rLr]v Y$(5nނv:UOjO˰`Rfl5T0kDNgG.U.FR>Ť#4-˚.M\gYZ7zXZִF! \]ŗXi%; g衱7o,}B9+T#QX.{J#S`8x:!i ns(~`ю`.Wvࠦ'C-@dOo+ c;L-Cڃ]VXc=%0&~fegm 'z8dWhؘNX|Ԉjb%ͥ&qNcp:T`䈒q%xY,\2 Vk 4fe,[mj =xۖ7l /$LQ:nozMz%'tDr[(K b(ޭs' C 0ܳo0j,oo"RK5T^;7}eʸnK3^*_KP^w6+|3?Sg%{v?T*x0lwhhgo*x~^1>%lX mH#-zf ZL] oPYQO.67 D9OK'ѻ=MiRorH5@05~;lFJ/+!hR+C/Ѳ,j]5{fpvtaj:Djyr?KjuM9Vd9C^K<tN GVX՚_,7=\%5!Jqq]!B2ZF)sf1,hЪ?j~)ionݳFSPx ۯg -\$ۦ-{qzv9*` {Mn  # ;KY>Z4zP& ,H=/W G `z8EiH)K7%gb .a?RD5=lՕpg87Wb"QfR1[,agj{v$?F ;{c h[t(x9Rᅆ[iJt YJt 3ٶ9AMq&(4YBv2{ IЊICWMR.eGtTv8I\Z9"k 1G(/+YM`M-`UR!A(:@uj5ܟ19kmyoБ*zi): j3"o+wn\8$D)QҺhz[_fs3YhYwRڋ*ͩ3VDPBoeI֙ YȒu18&&o jd{U [k0m+55쐩F zd*;s`~o6KHa2(k * SmC?2Ol2-l38ȺW4޹\:뗳ֶ+%ޔX7l|l _2ɯm_{:h,gձUn?xXjĚґnq:r1nӻ˨|g+zDW0u?<#qT!c쵟B|LDnk)rl4=;3K ΁@o8*WU&HjYQiPߎ${N"bc%>K2uTM#!y^Ld49b).R']` Bu¬-?)C~aHq'+oZ$$P4 [x*I zP-h#]-c)Ydxv=v&}w8رy.hu;T~?1m?ahWoZ{Hk~N 7eƍn.M@02#SIpMQ`Q>&KzLMVO"Eu\A4d6m~Pn:2p=;Pu]Ұd^꓍s ڲϼ(4U\a!AHWAocê59ƌO-F}>G6hr fLQX#Cģ8B橕vG7$3}4ɢ0Py5I9Qg#Mٓj{/J`P-$Ul&*>x"QY&.jms]֖g _'ͷ!~Y( 5}f䆴sa!/Sil=f=%_-.? :GN /-&ƛ3;VgܤX-Ma90}۝Wwjj?Uz7;Wnc0@<ߜނV}tXt ?vFۃX+FwJY2y"zn҂B捬REw rêO.̰rìFRM9昑j_<O"jIو`AO5{o=6R#[j 3t%[mOj""qNHbsj )}txԮsm_i-e4ln3CJr9 zvs3Dپ)a:3mԬD xG>rJ%鸒q5rUIv]-{,8΋Eg>gk-\#Dׯ'kaPi~MsP"u3;17_3~''\\ߝow˷2gYZf5ecc40d2312df06bdd640bcd3342dd7b8e48fcc0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 baca57aba4a2608ff9db48236e40910e56e61fe9