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 8#<| ]S Psi_Calculi:threads=2elapsed=612.627cpu=1083.216gc=86.360factor=1.777zXZִF! n\<]ŗXf1-/6vR[3:CCp w{ uSZ@B_˝X-ƴyѕr\#c0M쩿d|bc'!c9w+(gTcgdWߍ&KsK"HlьU&C=x3>UW|^᭷ўIjIW܅QܾDH~&5-1,JO]%7`Xw6.Q7NhGuVd*m%@%`8*306%=̶vQWHi lDl (غI곱 %\s)8z+loD#7bN=ZKn7,^_?lD >{^Fg|cn=xRݒwd{ Ws@#f.7 ei)ܞD-UW0!;Nc1 % #̚ (?a*L,-d+@ @lkd(͸(D5e  x̤47~Ou ֋%&Xө mmTƒ0چݐcCg]A@VCZAǻBFWGnv4{֒tCϸqC'fk"NMےԸoOsfؗ]N4v¥>:bp~|2ș<""iv`ξhƾ& J. ;g#T9`ӹbya 1k3 Ņ̐zDHgj)Эc= i3weA\eܣg3N3* ѳ$rF h5TWhY _yV`{}k8}GG~o(WMР{3ʎ: KXR\P!lϮARbyv!AqYNnWAniO 7s.Jm.OX֮ϝwҜ6ZB6"8)AD7 uJ̘\qDyRW~@29ѦrRB虴i+~ˠZ1r" mt|#Ñ|vU`POgP+@?R!vSGaR?aP!'}w\؀~^f |23 !1VNDjU|R{|\1Yw0I35kWCԄ(Bg^om2{S^/fE;m=."!:/C2^OPvQ[RNcH9$ϔ @K0L$e&۱ޮ'䲋7cx~Ŵ$#mʒ_؞ h uLտƠJ ÃqIr;H/+zbwL--+G /!6g"͠61#>*X&p2fdkY̬MH+W,2^+T&8y(CofVQ;俱b*0D w<J`-- mqEC'dKbp<^5L͍@jST$9|~Ov-Yt7]Pˤ@2K~5#>_G'úMj wu Pdt 108v M3 enuh }KLЍz4ږѿXE )}@9V/^~ Cԓ@+ŒS]\CfL2p{@wAͷdhY 5uH4闠(xw'UyIǡ+f8&]`VԘo(:wL{踾 |~z2ֿQC$.5D(T^fĪ WwěXɸT#Vb¼ʕc[)&WP4f6ltp^զ`df-,P6߱x;M %YRao yא_ gmq(\"iPLS 3؜IOm!#G{+)3wι\rN,5_arS;l pǦ5V5uhk)x,w*Nf6ҋ) ɮ2{b-Vq}9iTVAF*.S(ӓq YaRa9P_8c8Izl%JRR*8%ˬvP>5֪@ 4@3%>uI!yٺ1Tԧ~Q-I :]MZJ^̾ɖykhne*Nx??ȵg,(4`ډ11?r _u}WGY"V{~2-{~Zwy?Sc7w$<%UOxe6L!"}E+S`y΀@AkMΕ@4^Y 1cY|ߙMu`cӉ?hT tV}T{W\ # Psi_Calculi  1 =Eܘ")r}PJj?;wo+t_ezIn“4'U p5MuMM5r!r72LQjŞDz1]HHPk]eZV͋6ӥ}'Ȋ'; nQ92~LbnCz^=؞:)~WgEsF"M8# &dనOlo1I:>O 9"}\QXh:{ sLunQ5m." 3[?iֵ(&|ڋЏ=p#p#)4Km}45珝$Qa,O nOpQo&ֵ`)i/: V[2wz2^OG*fwßkßr`]?il T5,27 VcXsIӚWs쨉J~`{#6^V^c.Q;.ƆmcPf*tpܻ˸ܟ̀to7<9sseFq%*KGBGKö=J`{y.'VQkϽ% /Ԛ;x7֭Ps "w<hzdIRylxM^d*MKcO/a|0B>d.y J2TIFz9Jgi!fddQrNׅN0ɏeF9܃:4O߂\|-}y"K6/x6Č.J ?MU}`)q#.l+p7NJ%k*lÊJ*d7yÚb%K"2 !jKgۓE(j#""^T  eU Y!'^8a#i k[I4NK^ױ0Dn8Gk+wqi 7*yEbVR0^ZQPcr}8x4p1_op?iנM=tΰHOϪȪkHx NRCָuX%ڨw}EG"uTw$:h]92;q?Rax,hxxH >0Y56܆{0nj?s5ZDj[w{*FY<%A?dE\VF GjKy2tS!Sn[a[. R`$aK6+[G֞l>GqT"[Yw i> wXs;b? 9:)WN&7%%9zgdxx JaD iGghty3SdZqz~>s:B13y9@I;Q-MV2C ji"94Ԙyg`**?d$50eWRD( L6ƩAzlCNzbDdMD/tmXyMOUfQn6&k  ~vŧw^ 2_VsGk('3 uXuӥZCc$yFڝ2yv%Uɞ6d@(ֵP)d&l*X6CWD_t#zG4C4nLfh(_^ҙ+1y[:p#td!2m:+B(lqtg\té;_D],fڲ9e,H=KIRXgK >/.A5xזzuLZ+?d quH͆GI7vb)6@֕_sϗ:4'K{)<\2$ό?5S5cګ~89MI衚MtV=$1r2@W':OQ{sfFr8feZ^R45sp69(=uXma~h@/dXr*T>8lMM_}3e&}(_?5N cn=Je5KH̐f˜Qx6u4-mLTL?튉x[Bu>[TrLd: 5B$ofoL8C)Z{}^ N2aH廩q*gNdU2BI ?F{[v5%kH EhkܼeMด=ȏǜ څp%>󒓺bG0凳rؗ隯o;'pR^FGvdoFX Ƀ^9b[rLUXUOZG jBL%Zb6]ͅD b)Id?]VOq^Soڣ>HH;VIΐ$UE[񕭝1yN0,sSOޓLhyYyu% r)5)j>+u*e>*Ǻ#@eIm@Gq5Ypġ蛍$nMvQ+]{ !2n_kaSJlLMj븸:$c BQ^=5,ȶҁxiNIC(e*a>gYZ7zXZִF! Oߋ]ŗXi%>ghj0rEi@\H|=U.,Oh>j:krXW": 򤌡,5WG#,sڬ9_iUQ$å1*G3iw݄;\͑L[2s.8X JWÑaCgd_uJP,Z[M}R(G_ .8 %sҗǴ W1Oxۋg&$u FG 伧 mPgT~-Yb\ yzQlE>hJuYDjڐ]&B[ l'S|e yQX3(2[aťS+QzK+Q j@̖Y۫fv $d}Oψ7v^LZXmhQ4`>vUΨ,PY#"RKzĵ0%i +v# SEKCߤ<>'a?'ڌuQ+f'<'v珌"9PAsK}+Sّ+6?\}ߥh#vX$Xh\rXbQnjgBC !8 @Y9Ҍb{%U$v>}5+뫈~0 NHBHi_c͘G5AcAH"ofqn#qBo*UOqEpve8`<;霁 @QY23gt,U٠`PD\MJ@GLɘC,#IDK ;ӧ?O24TX.5SCyH.46v3EFЭ6 fL%q~Qi'#E#(͢&j& f譺zMˮ׮f;܃j,NdhdCmD<0gkJ~Q_gF{h'ہ> o`cX C^؁ ڸp̲iH='o3za۔/$,<>vn3NbN.1)f~7X5 ʉJxV-U/TPx"q G/ v)B'?<TYwXD+ض@ F^M[Z=NZ{fՖN=NȾ %]Eݐ6UBtI5$PMv-n#zsE2ŌQ==_|y̱-W 0%!U5i?f^ usEgof|a[€80IiYz8;A93roP~|=jǾ,XOQ~|H /Dls Fj_p2h,B>UeϢ'v;dIP?ˮIe#xYXT%Pߦ9&j﨏#a j^*\g_&}oΰvdem-rYnunଢ଼vxUl\6;4_xZ``sMtg9YXH<汻^iJMcqK<4d~CǤaGpDM,J}X# Xm/M+`j }gjzANP GW Á/ӻiV\b (HpܡFɖ ;>w W^XfC(:$0S i fgdΞJJPP\4Sj1ʈ$KӉ#/6^Kp O=`v7C`2k8`0!i^࿕3V&'[$eP9>,fјH ;/KE\p%X 0ut٫چ'UktwvoyeBtԒ\OT<`{lQF,]XW9*<@p? pPG @ [In UhOx{K|U5f5F#e`p$ty&D~I= A~^7vڙOhTp1z@z}ŲK  AX"6.z+t#鐗T[qNd\BTߔhXR#&*e3O|]qUgtJ<Շ<;$#@$eySj4rb#2EOJIaQh"+uX׳D5blUIhz~w)2֯v*)\4:gŵєtvY#Du~kwE`ȰU'TbR" zp\3OC<44ccVrz߭gS"2c M6NV/9`(wh *xD~ Ex=,f,Q4q}pU}=DׇB v~N{b'CO#&4 ("":HEM=E<Ʃר)r{'/%dk6nO,ƭ׋Z \~>ٴ;Y A}8umTLرLPͽz3``w$o]OD$yYE ʆ5_7ˤp>ki]A% WN5oT0!3Gjg&do%0m0FϣEe~,5UHHV! G.|l8=ٙ|L/s\krģ}2$/$cANY"0y!$*נoZV]g eS9mk ?p(ffxb贖"XB8Gbv2&&Ug,a_}MkRQe"E9A1S*ҷ@/(Bs$*pudln|D V-  66lrjHpm$Y H2|WԄ~@ΐ$f[ K}h:w?Zt=Vmh n&=cڣ[ |aA?rӽ{⅋oab6Z>rK}C#3M8VFǕ ^CH:kwgggbc 0B? ژ [YdJ-J  ׬(W['ڭۑy萔!gB{BJh4؛/*{lYmvg.fiMMDU _"P(5}.q[k>F[q .rvGc&W[ߔ? ^mkvBư@ !ػ"Hô($jF;O lǦG4 ]B\;+}XSZЧ&+w{YLJk}|*>4JtE:?ΰ&;u: FD=I$ ARzɦ@~ 8QĨŻ;斀H\~-0:W~֦qd`}PM~CJ2wG!lj#_Hu}ՎMgҐ2/ }%H*8o\nBw|BfRYk!ːCf%aIOmOeHpdE{uBX"^RZ3VW3\T׻q=$H%JOn9.)2iCeQᮞ m>_*I])=5:xI밢VZ1 ^EWM+n] #C<\L%5b|p=&qxLJr&@$;BVJ7`Hy£gL>z GG]GiUqURP-[uCҧ 1k?\l"{D3 v]e#aRQ΋1ȵPa .ww׮b2E^Cu=&~PλDrZ I.qAFn%hM z9EY[7uw4ƯOLBǥO z Y_3 cSpRO$Li Ӽ{q(0vgO3܎[ٹ0* &GYi&%Y98ZCY^Ϙ_̇ko]Qm,^9s MgЧpAS]0i |F湹>ͺ`n&Z%c"M_X&hQ\O4 h!d>{&#[iZc/H3u;NGi T 8tcZ%Ox Ȼn]XTW٥My=3R6Vyuu]SY ʱOG(S-WM(PYC$o)OW-iМΧie‘\ܟf!"3av%p7VO6cc{gBMiJXO<@oh ˒T$U3 \#]-R3bABoV_W![Ԧ]+Ьe3$[r+`Cb{IwK[!tP"Æh'ޖT;ʻ)pQ4QRyUWi7n*9>ڕ!c'Ham6L`e~lTrX3#P"!Ky/4 CSxj-2va`lL>oD:^i']CԮr&Z24|9l;ɞcabYd+rK_b`hoH#wGl|Ʋ\r*IBW~o`+O$) ߭=کm\Bu>N3oC?"|'}.}^\z+OB߸z\ ȓc TO 74POP[.ɝ-&Kk1k$&); oo|AǴD7'>613G@YyjC] #[ LC,oaBsQ}eް%M_V m!i=<& 6ʍ]īG]4 [jۘ;-Yb^:ƻ<+@wuӒG`*ɂRҡP%#1\._C+Nh7JkG \Gvo8kl[E_k+ mfWwec̕ jy2Z]U%AP ,["ꜱYӋNֳ1'~7jV۷Qi'kC};/ Uw"yj:Հ5MY@a7`ÊCpf=ۂЧRy'u7d6( *J6"ck]h޸qVM I:akGIÁU֞jA֢|CUc;9ݕ n mh^Io47KHKqv#NcCM<1=[Xlpe,HaRm,Lϭa&5Pݎ(6١bcP1pw@Wl]kc6>,Ɵ kO3^L#q48X o:+ (aOH6&a'X0D9ׇXe<ѦQ9TȒiz;7Fql \B#S~xԳh;q'iT,Kw^˺^~캪(2Ғ l~9 3W]-i,g% gtۻ ImsH C k/s'KڱrHh0:vʸS]%^̴Q NtÔu/3o37x%cx\4؎4[GmD?A"MT`:wtئ[z%`/K pɿ?Hc?u\ψQ_(iΘ l5D{2=AJ fwk#G`1#bI,ҋ79h q)^@dT(Zfl)(0ӷA*~_lO;*Xljuj_Zo[>dHG mFJY͖(o1޽uv>h.w}v;pw@=zdB> k:;nGFZ:cC+QU&'$tJvQ0DDSuR L*&Oa:9 k =ŀuE=v=v\U)2I_5M|X>^t+Iv~޺NTY8֏&Φ8;ڝxgIl`P[S""3$Ϊ qnr?hHm= ij܇RLʍ1Ot+(Ncqϳ"v w\3_ ?lˠ酺*[S@؋0T^ܽQ*[^|Rn0c #puP_c /td4^v_ݹ^ #SF‹a.x`)q8bgI`E>ʶՄ(xK)1JE X=/Uw] jbĘjjor%(r?MQQn9.hg/+ SL欅t;;PÚ*b%agA8J7&o8CRgf\(i'{F` t闫>gHS䣜Qj$-$kr;ď(J\.mĈ01!jV8l5Yę4",T@VF[9|Š :"o^N#);%#8IAeᲂa-JF)TBV|$"J[PqK? %FIg7F&f(nÖUp] `!4!dQ|^Gw -ѽ(Nv/TIBg{``5lP$}uku;Lm\y堵.6 ۽۟Xs(w}ޤ<É? Ñ81aΡm=#GeP?%scoһ\`ζeкk|nt.ܾg->h2AKH~-b)PްJ&\X;YO]hxef F˟YjAb K;r;Ev7vUֽU_11"QljMz-r +& u[#DH8MKe+ zHުmİ.M8ʹ]#qCS(ܲ[+5WJl|ȧf>hS2$9@)HGi{p^PӞ?~{Q]Il5 UO tJI q0y?œ ЪM襭N>*[of69]Oؼ[S#ryWQ]3y;i\I)۵TTm_C na{>V/: ,=ۨ :JEOT &OEAvM#ʵ*Y0jtE0<FO;xKŽv,΄qKx NRN*UZk4kT5Kgicpobhg9`m6kwvoBI~ i쉜xnhq%c"1Y A;.]Xg~K0%2ыtǝvGzҴըl$ܕǃ$DU\ 8PfտgbW0!+, j - ! h G>)t~:@t& 7,קV꾥y xTZ='h~ _y dypUj/FE0Z_iC hu 5E*{%nYq>"=\J⍂˕=6W;)h+M:8ep0dHo.[3}2I8fyN{}q//_4&fT8&>h /Ǫ7p5BN{L=qs> [)dFQF璪l,gS%4#YioG-t2Ȏ#'=p#Ը, nCַ72EQӻŬdJ\264$OZEirp!A ' Q.,jSupBM `lE+qKp5N4HvLJsٗ _|-"_c$ÛE#IHVYv+ׄ&lS_Hʬ׊'#7tVoQ 0 0cųk;{'XdkUe.9A_W߬])ghwm<}1ӡjC94U58 [<%N%uNZKpLcJ)ͷ;[q9y{}9u].W1E}m @$.Ti 0W18ZĴi6 vp`ͥ<%54Z: $;)1>~"Sƾ-3X9<7ޓف4`f67;Tt6P?e0yȓ.w&s`5{;`]MnȢk6g IM!`ق)u.tJ;#)dKiq0,)&YL SP;MS#XVah 3`0zMJLPj[ӂlKl`2/, :*0ױ6 lz(D2tV"bT VX@$Cic%΀cW a,놺ךx r TӜIJp:[1_C/xOrlvWNFx/S)G,Ӂ/Sk)b#/nIIVo "GmԸ8QJDo5pѢ}k&pRn!d eh_El%=Aߤmemt=o C5= MYQfƦ0njȋBg+m["߄3;*VW[FLb1`.RfBǿmFxrЍ[V WlG7xdhUm2YI(c/1[096mv;hX#L1&Q,%UjU{5HeRQ'+'3nv@P]j7EH=6/}).oj6 :ij[lF8 dCF6t+a=@$N.p:q@ U6pMxup`^Mݵ.4/FOПf5bk @rɏo#iNr)|M>F]'GIXLq֡h:rB7:^cD9RLhzaX?zJtDQ lCkoccipq.$C%('c1)8eg`ۋR [,[|)jpva#",;2r{ |yQ,ȥwӛ1 YIכ`;H'o.0-HK \%MPٰ'*2}dk񆦑"/X}iO ņm[v`S@'.PfU4Dn2[/nu,݇iմeI^17V)#6ЃKmLgRFmuk}<ڂ+_2H8(ERE1*uꏉ@GϪ,EzsPv#Ǝ;Trj=Xn*KuS/*~q'8l׫duEFxcMBkX7F!MKA`vʎB0߇o"}Z1} buJ ,ysu#'QX))zWhwv51KNS 5XPnc8O|E^_eކAp?aWD~BAQKP:ȏD9]ډZhꙪ]IC](ۚ`4ĩ& *ΩJ 0M<-iɰ7[L;rnԛmM[x(4MiǗQ>LB#6 ۘ'\2;S⻝POYXM$'rɡĺxջ{j#ɯqiYԻ;ȇiY8߲7ѻq.D }Y񄅂HAwnq wDѰK6JQK{L 3Jx8mLjoEvB)I!+p̐'_'-v,pi֠د Ĉw-?1|I v2K Q7%47)@1t[D34:>.A#&糢w,=cqSd>Fvp4L<"ʟ^Pt)1]ߔ?6$ O'7N)j1L]{eىJdC= ?5*Z!g9 8 *GQ$W?RB=rJƖZ9 HU PTܫΌv0b D{/g U~jegbvOU}ƭ˽`R&cߡ';4 .T Hytpsc iQODԪo](.ˮ,1pХ`̡Ŝ1l6qR e0U8r0Y:¼:Y\rr- $t"R]fS><-p,=6C27Tq '?tuuaBܤKPu -mM܀3̱p.iHSĚ+o`4+ҩ!<骵dKe{=lF ]W( ·'ʇ'kZPI: =Q "㯪˫^m&8"ɑUzN[;>0(,TChO@{Ob1?5)(c:jTPOkPRt2VMI&*&T_,Ũ@ƫ۝\y يQx o߬o1NR;F&_vk oX cfh`[GUFhXWT &ՉDu9-nollvWUK x( B̃~FqKx!2|wi$QWCr>琷5}Cyg$YL _:KWG$, tj74v&!`ky8cxdhJݭ7838Of+\%*5C p`wls]4)}~>!S0nm~JK3SkFA]ab4y̎PZ jHkkp8+QDINayBy7խhW9KkwրPXpl/Hbe9K!$4R1鴀X5YnAl}cy MQڞ2JLaAr@r}dY` nԋs=vb]i'8dZ N`K EHsDF8|r}UH'] `֔mOsYጚX yrMs/[ϛz Ֆ4zIch; 2$]KeYd9 !Ljx#`N1ZMCR6qL$_LFtX}oq=aљҨM$6Ӳ/џl3"׾љ;#>!qȒq4W1O QM"El%{oL|G-8b~c-jobZ&EEAOT,wwfN#w?LԑjRG;\ 3st%`y(DTX^D`5@BS;I wy5t\Y&?lD )j_@*(݆֮<ցWy.%o= fn!hדǫm3\ǔT{#갳HG-z>#S99tPrQH"4%3\rhJf }3< D(O$iOF5eR,tUi)XҚ=Z2]Rۯ +k`Xŝ&7E"1l! juX"?e0Fg$7Kæ&s jW,GJ0D-8u[cˀRp4bs^&6R6gة!ݕ7cϽN֝V"6t}jJJ6{*X kK\<α>p6*=㇆btr>Q10=lIS3 W KwCt[]p#>7-TrţX2 _sW=~-=^tayOaUL7hRCBIs$|o[-v_ܝ`r;I͛[6d<^B9>$čCJ''Nàh`߾j߳:&76A%tB6H.y-Y2;=0mph+Oa'x@]'6@uIP!G0Fh4tb[y؋QoEdHhFCY:g>O|ʱxGe kbӝD+B#l Gb@;>8 2*{-\bʼ璊nu6|S![jԘtoRǹW\:8EPQGh>sC{_^R:338EY."_ʅm„&`- M7f&>;íSR[b1Mb~[FbTRZ3;C8(f|8RMEzy(MN 5LQ9MC9thBF[kP`6kU[D]iC g4GVѠL/ F ^ I19`*u<݅uV#ɏt7%ɀH^mR\r,l!(2E [>? 2xt'>{ jsn_? am="v6HNCQ۫gb;+g.ۥ{y3=50㮻c\}691J,+JÒy^}ЂUDϟZ 0ILձn/L/:lͻbbE:gNfULuq21,gĀ|"oG6o]0`qCo;RXQ"FE2om2ZZUT#@)@0@^|x*(4jI5bکZĿc"ZH ZV@7څn">~L+7~Dm˨'8É:@ȩF_W^!X NQh A O0]%ԦOuC&=}5T:sSLAn "j Ao~jVBmZCy-5Nu|ү fH V}87ka5^~/&^_JeЬcǶ%`5g*'&:E<^gHQ6Zu8Ťe0B̸UW( k5s^]`ot;SF+ 飢bKmМn]r"ةOV)SL$.cEjRYd= w8pGºXa[[=S6K8(nUOgM  #NT*$e&l鳼bXimAs," fC10\"tF`t0CKčvG`D^v STGcUWw1YVlsn28#[<\pBuXl6j)I=%аS2I/Drlp ]ߕQI:VZ@j(Q=9' @7Nh*|]a?i`}<)wj=J<w4o*:2LBw48*7maSm6[ċhCvv6E ޭjm{[#dAD3E(&إL 1tq "pIO}O&ah;~fǘ@:b򣅬%m(Qװꟳ]jDQzA3G9_5tˌKrpR2D̯L`g99Ei3u\J{3dh)U+0+MYEvE M8Maӌm_~9:>^oe."=7w[%||J;Q3cP1T#Fgo$_r>!MſFBF#STtjx Ύ$23a11AgTy{E8[f'F^ʭ,+2[%4S_TH J۫iBY}s)jhB$\UKu#vUNϷ ?)]"ŤS>pԬLGh<]|~m{ .",d1;@@w&⌢UXM {0麻JLf٩ q|!ƦOn*:t,txrO!K>NA j Tבֿ&tl+,oI|9QtƲ,@ŸbJ H=) vR+@ yeKXE1A6q8K`Iq3^g[xPlE`1yy M>3wb3gqA]M rpD6/zl-X[8k36Yʂ\FT]zS@|_EjASx\k^[7rex =L*&x!TriB-['"͒ת9D7Gd b7M;$Hh/-ymғOSfc ]NlXA!2c_2/seL 8zwn`lF(^t7]Wb`s w LK2cd<֤C@iBrUEAhR` SS~? "+*%2#?7+Pll h* =#J+š-!O|94+}-3N.gޛS#"xɚ$- iyǑ~ƷhH&7XGQ CTȦ;xĥOKehvIr__&u0?(0XJe'`VEG0Iɋa FJL!B@m@+ZFD9Ce6RV4Wv>oR`d#_E Ȭs0ЁݬtodEcw>%qybBj繢׵&x JYY"{s,չ7W];!*MöLf'{*~jP6!@i^Gyv?9fRXdtA5(h& Hu ] Hh@;"ɇy;mNϣQ2|i|+ffa4 ̡W0>d3jS0 }ݗQ؜j 4 z V3jz2U~UpaX| Hh@kM&[=9\ͼnzq^[[8 @Y&=:450 ӈjJAnyi%؁-GJ]2Pm6zȂVɭՇk@s+ŕ< H݈dCTxYltgWR-]7M3ʥX`ײ?Sx6/NNhN)W/.֏q權+>2' Ȩ7yo^ƦraD1&S'%,NZ$bڞԅӇLmtR*W6ùY9<ȷ\l L0}j\4ӍC/*8:{'c.8\'):teسseM s3Tj1v:qFճ 'cYi3(x8a1{v7x89“DK}0qH]lWBHAaA\n><-8d×[C!@"yd1U9 XXE^Y1m;ifmx{ bn .*(eXVʭ,ˋ';  qj|nȦBCM@Z,!cyAl~_ҡ́4{#7fG&%JK/ap_Zqҵ@oD|Y-*S},ZW(Qv܉ C'1Sn)<+DА:?4JÈϫpoK~qE@h\1`bݟ~~(8ֳx Yra7vBlqYrō b}IbE̠]ʶ!_s=<2)fQ:Kriw>]KV- W 2YP{޶-j`ʂC6Kac;ʏoO<1F7h6n!9 \M2džy73X/H`*稆_fqɾ3KXDa 1scz(]z;ʓzFQO1 ZP PWkQnjϷҵȱ9hY\pSgBxVoi"4ԷoP d4 ~S\hfr&a/b8I\_Z]ƿ HU;k[R7`t&$UI&mY[m>`}:vn@͗Άza2&j5z m/k B>8N47v4YmV yہӊ>y/Ls#$%-0:O'UpIfd[ z"l`dbm:Zdxzk,֑tSG nfww6sSJL&*qV>xjtx+\2 ZA|cFVۧBɍ{}1Vh89*ņͼyC`p.?x.̛jx>/TR 5 Z gʖ,X1#-B@`tʺ0kPeʛsٱ(9XG^AsxOU@8A9zvP T!:ڞJP{+;ֈ=k"R:JGws#nQX?-@#+ %!ڸN?!$EEceAu5nW: b΢d+`B?n&'O]QQ>f5+Pe\7c1[KґA2t)+js-(5{ kK3y~\&?YU{)3.˴@ʐ bVl/W>rƊ~KB{CN4V=B-_%"ttadf /3HJ9ӳ B҆[ǂɐc)S[6Y^>si ~m@וi^Zws`TB0Տ,0޻8;7Li`ط) $ޤ'V&'gR``k4)Bs*B/V6CL&OE6I&~=WT+$tؤCV!gy)B|7.a`N`$5nm5!ft_~g].ˏjih \e@ *#e];|@PU-fWgRE42HAh#|O֯OHG o@H4JD&;B]--v\No^t^etԱO am~|Hp`0/m&8{} VeX2Q-^2#- E@}V!FK&n@p'9 Bwvf|{*J _v(s:l\wn1$zܐ~eߗrZi̷:o*"ÚFQg O-HTfhS{)ߤbZers dL;,Gp2޹CF^re+QkZ?j6Om b*.{QQ;h18hFPsȞ#Ce%OF\l&7`x7i@o<>1(`fo >IHڹc9ʆ8˃ye QD E YW5흷sƖjbO(:*L,.uSiI2S=b1 .p)7UJFj@V8NH#R r0;y4y4DjTv >Ig4"߆/R_2u_r* {R& ʶޥ.h%x4s,sW>fp8Ey<&vO@~U+BAq8{96+njj>6Ku .Y$_+nq-ΰzodps۹?鮗iֹшtxQ/r%xmڤzO2YoCߚxp^E_<%QqA0bl—cK! 8R&4ٸԵEFG0`w-En׈QS&Mm:~AL>v^rǒApq$VltԳ4nwR hߑ_}>Qm{}h,Nay::"bN"}۵vO-yF`ck &tV$%+齻桓gϵQ9%0c<vav%a4x|XA]2SW!$z_1ARלS?e%2M Ý(:2B+j4x )<$'E zsŘz3vG{j:E1 `)`A & U,Ebr~FkZxSoK7JN2zf\E~Ԫ)4A".P0![;mv~gv=Buɽ5]82|e jk'_yUTk*WëܭK^ (g]VfRǂ9gH bI%ꅅXcb:#:uKJcY\6NR+pX jW7M> TW{w .ʧgqԘ:3im3xä'c le?r39CmQ!eEN;*g2bza'tC(WI 0_nJnO`!z%pJ_/@Ɉ7|N*qcӲ"j8viiskߡyuT-'qz11Y_δzm2(a$_b2.']U >>‘ Z-@]x'vnI>iʁ.~ń+~ʔ6`kq3Q5rL} a 𤥙\9q1dnqgCi`j]:©_'z, ?|`I w\* ٮqwƟK[ {!{P&LW e 1SLabqfèe))BOefw$'H<(Id%couiӍYAOäq bϿ#aq.M?u{j0W,Cϕa fױ)Ѐ*О2'&C&ɫX `/W"TG0FSS[EW/l~du1OL#Ji@mi'I>V͚FSAX}:5#ﷻ)c}fm&| @k' z0|m0}͓E#( .mlYIwrSx6gJ뽒y</u{! ~cFowq k@{Ԥ#/&+SuDW.sbpt3*gO+Jؓ-Z,kqj 詬{8lNRy:p*ýY'?\BUcbZ'LkIlme蠤y3W ghaVfR}XGe>Gj<1HBnJh*ȑ_SJ鵁XBjbZ Ӑ JuaCmxatCt0VimB| uNVigĖQ)tHFRX*)30EsJ7LX,}SmU+œ CqA _Jew B|cSpgBjE9gi'w^=(ʧ/4 LU{*"d -Q7jrD PVіwѽ/T55۬t$wl3Jħ̩[Ņ7iiN|Z6Fخ*g4de7C mzAg9:?S.8r%8vd5&X]E-n%\B")^x{ܗT R8XVu=D4O^4ŶU\TͺcϡסHPw`B JK,%^ۮK7SPP! 2sy V&g1wK˹FP#u`.=?j71V8L~ԲLnx _ Y{1&ȳȥś `0NQȤM7[#` & ꑧcx Š0I2Y=awTy $k=9ӛiXݛ; "ޟ3̾kD;\ No!6|KsIk妆AΡD_Uy%L[@@l?|pkL5QJWjTַDWw9xU4Kvuz5/S mV] Caѫ8<ײ@iXË F1Zގ+6e[ٸTltjj$84ڒݵz=zwO&R y~66q@O崉N$.ycY9%#H<'k`k..9am ENb?JqtOK5/ 2觴Cja~uJyٟĥ{$tG{wa x}B&seW%YֹD-t_=>zS̬E(!sZIU [+K 0^?8Ior:זǘ.alXOK'o)ңEsaշy4{_ށ~=sZA}GH>AH3" gO?{ 5DoBrWL{n-S;1k4Tedufoگg fGHl8gƲq`ٰ/<%mL0J8¶E=!IjABt*+wK0~ГuFxpٍ^YDij+V"X8|imR6:^0-ָrjwϚ B`k d<28 ;|.p UPWyȬ\۷<:>iוJIN[B6-1pM2 XQ7qY>ʙiaO-l2҈JH{c]*f-4['VF:]`<ڲ#K}%Ijk5WڵQK j~t8sF ju($WQWQK -{wlFkCmga>-9(=JKqObg,ex2چ@<14 7ހbB r>Yn@qo<͡@n-Ҿ/inUhA @og5[H&H)۩Y\pV Y^/Zϝ0Z׈tM+Fh5 84bNz_t/Xǁ8qyħ.>p*~SNA+µ6OzդUTQ jeg.fvKa./jdb8{{ r(H?M1|eK[ǎWxzaY*}os UJqN_5qvή?Qi;˴h[03/y.wz]Fה֛_[k̴FЙ1HnpNv2Htl歎P_xGKJ#,)cνG@%F^XqH87݇jd4.gL!'G$fS2 cVJɔGvV /ԁ&(ΠC`l]n2X`A*|-v D|Oʋ*Hw93kJ2U9Т -uFj|B\ gg8G_'. 349~1_Pg_ճ%{v'l[=PRmI@Ww젷N.Nta3a?\ì+{+/U%&0:te$:P ԮHwYMpo'缆0ͨ!|!3VA g__3m6bΨ ۵^NjIhjmͺ0dꘆv *rY[ ~;`GR34s`CTl!sg,I "s›3\K-v-; ~Ms.vK632 #55*AXzV^ ?V_?S'C& /WSX` t (v](f5ܒt$Ĝs&^- k)t4n9OmL {0m]dnsx2B%\!xu&hV| gM4ZIUlc/I@ͩYW)\Jp].v4"hm1T%T[_fXo]ƷRfLP(r\S530㬦s4b,28в"*RK@SN"GwHӗ-ד4gYZfa9af5c0708ede5b61cea0884fe8be0a37625bb6767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 a8dcc87987f651778a1ff9a0d5bc8de4d865ad8c