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  ? ? #t< ] Psi_Calculi:threads=4elapsed=433.431cpu=1445.688gc=138.036factor=3.347zXZִF! yJ"1]ŗXf[&q?5qcr5];[quqt 9{ȓ@zJ `טYXVg:9C侨dz23̽dW7-K~זP% G_.}_{Tj 06Whv(*y3_2M&m~?BXq102Ԫ:P }MY?!?]gA3Rm6ĎceT,~_|mJld-]߮Rb!h`Vm6=/iw7fLcyy E@ibCH& xfe29[Ud6 6=]k=~8j05&b tP"O̳Ş6&wcˎԹ}zh'i+N=֪/P2-<ʺv [nwCr'8gSd"#ۇP1j/O4Ρk).»5DwRgF ɞBa tUf D8Gx*.^! rBnLry}YZĵOv\?c-ER*Ii 5^ra@4Jc?"T^$B` 9+ 3lz,u [eRw MlBi]΁)"V~4z-P؎cW* 1"! o~퇏;f'|BPG2Q=>NI$k$sU6WjِKVS!Jt#}TԜj\dżΧTTtX"} BXfo9/4鍆XY uHb:!׿+?*M=l9i4ZO<#9ƗLc,,wB |2DB۠ys?l\rcI/22FOJ@PbU2 ,^ {G]5H䚩5 67Gb|q8 fl\H}]Y@fy \ rï %hCk8pP*A#NXaܵ+\`#Ѡiw-XKp%C;?6AhYR%qjk-{Fv S:z"[9MZZw/Y2MLoF;$[RC5bhg\2{AÍN5k7WI=4{wwY˗'iGD-\}< # Psi_Calculi  B[ gq&"JB Dݙcpbl]l4r9T,VfD$]04 v5:LҸ6n|7̿[Kr|ǹBucuOCqųu4CJ3BM'S8ɣfckM%7}44YTg>OuC!"<L+ S4],o{"pp爮+QKl"o7 &J̬@>:ю IeZ&Ч,| !X9Jȏ_BgeGmg/bQ2z2i/pw}%,YmCDh3<.OپGJhoC,}0-ǝ4ӁZ-grl oI}TKK'<`_6.'?. @a>CM=ؿ/l*h p aWӆ-/.gbz"#djd`2wKd?_6=3^b~k;h^aZg0"fGv|Gݪۥ\'N >`:(lȶoCPjuf̥R4bqZxmEG59|M(5c5"lRǯ}iq A4|qh"B^l~\:WiGɚ, [ˬzĐˆ~G7ooʹicR4^S lEr^&L/L7$PtxtƱeXK|E/%FHּfHt7HRYf@e[H w=)?fV3b8(1~2a,~{-N3r\|=,`Yt8{%11|ZX1={/P% [rO&g隖 YL"_+LjٟqE == 0L&ٻy 7<TI~;k}>9we IsjD̠RFi6})a ݽCd؍-q@% ^:;}nӷt >n. Xx6]Yr=G)X,lnoqD-I}G6?9;->#guIҹ˪ēÄ^0[@is k}>OJ%+\ $W kL 6oA:72\nd?dI(Pz,*>F%m8{4QPAf?w*أ~,)OMl,n½!٨_eojhyպwmK'BaZ VX)eٰ2)=Vt;$/ `O8o₽i ە;3R39t/#PN+}gH7NJq8XSo_SCA-K(lDkr IəG~(k"B`/fI4;!,KOro.%/%)LԱ7'p$2F<1;a"UCn*|0]3v JsveH㰡1ɠ;+9>[ݝѾfskeչLaE@]=4_<: B[ pޓ~ռYZ@?Wnz>X*Tjo|yrļ˂zNe9^Y${ۤBtK_$>:E1:g ۹}ŔE*k0􈌢}{#',S#ƕ+i5QalXw͉6Zݷ+N2[M$z\*fB~CAtPn~H2)LZCk8Lc% %nRh Sk-?9]_vЎLHw> $<2S0LXyIqMPL(CI[QQlo{ۤ1ɻy0S3N[ IgCbǏHGoVZ_ԭlȾpr;, ~αs#6ؚW˧jUNA S ߰5~у׻z1L~|Ɵmz젘kW^AA=QT؂+vнHJ$`4[CM#7:ۼUHqL-]\W-7 REBa,Cax|K}3؍0Gm&௚ +DFZnb_|o{Vb`4k)FR/g5G ܖata3+uӣ5,&Bv_l`o?irK1%UA@E|=f6(\R\nQp aEQD@3:?%D΍fQ7`;{ r\YGsg:b(<`{sa%WghP<{4Txr{FQVn y3x[ͺ\*~^EAK=*T\E- g>KeJG궠O4XL=%2k3D܋`+ 7;k ]=G_Y>5HL6i&a-.D.aS YPw&M& ]nFiNN!wzmY s)f XڇF5*~#`TCɂf+*u,zAit<~YBٟwD kmX #G%mɸv&nk] Q֙siq;l"ӌ;|\ ž{ VchYDl1"fлE=CM6 ץ 9b@,9aMO\yA3z튎WK?`ߦKتnu@rn;#%?P IMB]Gwxӓ|dtۦ)JbDs@JEZ19nlj+,=qd&8 Rc=kpO s/ݖ7YNr^,~ 5Kj z`'%\\k+svtP8D<$YiSTb."Lp!t"T@F/ n"z)f@IL?6+84:[|mM,*C*Ż54mз'qU9)uCjTHץ5cwE$#goMbWjIM<uCFs=svelK`vusQа+3ou$*+G!':wCVzx`^0J[ K,noEn$EV6݄`ʻR,bMqFlmwD !G@]CT|IFӴrDƊ>D<+g3zbRvҲ0sMw%@R;;yӉ_bu~ӣ2Ifayr>a80/{FvOӧoR78qBd:aXq`[<&[Nq&~Ue19ڒՖ LT?*~ZCsa&#4wh ŢQ/f<.*R&?76ҳ,F8 ZjGkV6., '(_s>HžSL\ ͋9{RnLf406R'VZk j}V|e+'sVb"/#XUN2ZǺ\j-MЗqO ˚H3 EL۫H<(Ý:+02-3=/,呟hhTr?„c!"IE0V0AzLm"i5cL 1>ɀ.#zT<ǽ)QҤ{,?\c\Á|;6w0 -3Ax(1b(G+YD>7V],b7!V,zL}V Dx߱P LĚƦ%x'ׅI 2; {;/q[=0aYy/2 ;e7߿/?. A9{AsqN!~iz"6 YšK%3jPbh5ݪ.3}v}Adh2ּs688f7uȇpY?k,9 Qyxv-v /5 LdJIf1?2Cw/@ZE97-i#28_X"Wp"^D ]jېDZ9 9',euK̀hlA&ktS/p Λ;J tCX*SIԦ1ii?/kchxV!#+ @j=0L%d@6`}Mȱd@A2_l&iH~wO;V؟GẀp J?.sz,kt&Ipۋ>D,_T/haq5gq_l9 D!!7So62'Z;aǎU D:I3 T&H`۪W}qyQQRTAnOۺ1dY.41?QǾgk^XgC aEmK,.t{6W#oN;XϽG!Iy e?t; x)c( i%HE'<:*GА.$rmby6b\z hvpCq/sm^ F2Ks_OY Wi.bVG"DPNufq2A|K>إ \:}rUܴс/Q6z+0v#q[7J[e9St5f`^욠DdVz4oe 9q, `]V| 'į1M وj=ji,Md74IaÄX>X6 h B\ZԣP?6ܐ~ErMb9LRLXFWR ,&G~Ӯ,CXY;N!TQ$OX!m*zF+g҄~҅c!NY}r j:hj 8 [g̤$HjI4f?q̦XJt+6s-u~5JMcG%9.FwJ{> mO*xLE@=Wc[a^x8gXffXiJ'xs໕Ltnf!=GO r- a:@.g3Q(~#:mZxs^@n> :4+ CHkw rBf;~2wS$0Ю-qhnq;*L?9 +f[M_cGLɽXc7jpYTG fXs0P#([so]ܶWE-NSm",ϢA@,5V v353C3Wۤ#n,|B!067v{4g2S4`QƻS=r?e`jd2yrD+gYZ7zXZִF! P]ŗXiɟ˗̵w'Sɺl!\d'G06BC֠ĒGKmIhHLYǾĦ|Zn>@I|Qv=`]4[b/ 0-J*P|"׈IxpKk)G)M3/p6_VlKxs=B3-$2Gn[~b`b Gsϩs"]Ɣ,OpGϚY@yJA\nY-g"1{Hcؗ-@Ze 8Xb# wmb tK`I 0K/sqz֦2Is3^$&&TQan'Ġb\t z=i>Rjq߁D 8z9z&t'w8y4 GfP2`YrCIo )XJJF紑G˅q=c)9p0 Vm:~@08߿9,B1[p= $O6qy![W#}ZeVz%QlCzf䗏1 $ [MPɮP@: -WHqq{z0>hcxx`OzsR [GFdH5 rTGί[se ] E'gÅ<f?,k gYZ7zXZִF! ]ŗXi%L /GU^`HCuI9Mb!qylNy={J?aӤjo4KBqCNTvno!җ>+Du?PqVQ=i^uIM>QwOةoX6ɳڸvdwM!rA֞mgzA>=faH%UÇs0>}̹[)g\"vdk֦Ы8"{"쒿s~RR,­n:븛$j]r>BМP2s52 ɹh{ݪ£_Ⱦv˙ Z㤂xw]dm6ȂYs.Vp _uScLɫ7>MzYLJqyb5 oV [ζLec3J u)}ळհ٫-sεVy.տ "FPu/v-&j1up;Ra(GJ souvHcU% )~ɭJ}o_KLvۄMuq%kn-4R>(vX_$9_ wGeJ_n1 pcH"XdN|lbj*X8 ıB{EUgn \𵋨&|p F*=\k#زYΡ[B:|Lmg9(w+R,hmּ343F\"gG%VC^kyl Bz~rP>h/:cNɾ6?򰬱̵~B!bdУFH]Kqy$q>p&]q-e(s,2 E |?3]ÓWSLI8^Q`d{iԽV~UomЖ.7.i%N3V adz2zƫ9+Jߖф ~ x?* ¯7uOI/C <ŧ;Oy\:!Sպ+1 n^+!6n֕>΢\,ͥ'^\(CAއT,n|S@YK|ZI_ 'd N7ῬE΋oݚeLP3Yw*u,64`"|I~X$>tDrl<Ʊ2G-SI :UܜH6'@PWIIl e[<%o5ӺP|%TPp]~'bwy=) @XFu-!a_#P 噏2v4: Bu Ǖ'uJ5è ip=FVܛ[kE\+WMggsR5dAlREP^'5yߚCԀ!x7Wvg#yM$kfBU9*o\utځu; /~Xsd|../|**0{$rnZ|B8@2N`H~^fg(.!JAh4b^%7 "UfI&l?>K{4b5G:̯Qn嘒P\E\KPdXךIO؎ o0RŊN$ly!RҩM=t,rl.bQeNUw0a{q\!赙l*/~qhyd'$ɄwY*c4Kyw D2)`e}&f>AcvRN&yU!> AA=m, ?ܟB?Fv:Ψ*hVf&֘Ic=wgcsI,s2zo/4#˓UMl@;Kӝ,uv:Fh6ُ㈐sR *DV!YT{- 7&/xņC6rjZѭOȌ9IŴQB5 @h Kąg =ĨnKG>7 D6y{1,Qra;e_f\CT'o%;[/fTAS5*`&|A.đ?"}GY*+DOhlS[{ʌJ{& igDAs;4Ơam{c=2XwIi=Oo;<րsTpU# CY#6SДYUDKrOMVbj87{'T%n$3e;'\hK3qǍSf7a)H@_wOɛ,ןj%p q: ,]a*(wi`RWmwZng,&N<OUX⃈w.|@U޲mVs4f齃/%- /^Z[Ko?VZ{1xlSеS|R; ?7ڠAf7r y /|+OX|n{2ȳlO?Jپ5!d\EiAW:^OvAeRptp>uw]ؕ94Vc%>S*Zx /b'1u DoainC1y"YΕ&o&bӈD GLO2ёx+k4 =PC6Ǻq2cͷ|[r)\4+T$mkNEwxnõiG {{''\@Wyek rv#VbpA:G 6`s.ؖn"FY=2:39_QG)ܛ(02<NpsO {Jw Ye=/E^Ks=Pc(, Iu k PQ2v#tmJ4(,RKcZ [fCp  .PTb.0Nŧ9 rBSP-GnZ"cy0w06oۜZm?:ZpB"չv! c0([>{ٖӛWcՕ :l? ,*ImMA(bX(pq1iքc>(#y]]E!6!44dk7΂9%tvYwH+ؠnHZ&~&ۙ6aq7Ok +''U&I^x\b7@(Q;F"׵ɤĔ)ECf'k3X#ߩdg1fݺjͬ^k(Rz8솩mڗDtȵ86M.DfBnd.XrܓW{]e$O9HIxߌ`prKͨWQ,Cܡ)Rnw%%]/߄Q*q?Pl1jъrAPJW =*Sk?k̠7s cܷMWP= j Jx)]ԉfu9':1Ev y&ߍw<n3H8es; ŀEE@H}y\pqc8A}! j vE[fZ ْlqwmc$d#s0wwCi>i@% ^ uK?ȌںD. )Beg7α+#lBfg9iT*O3]!ߝe2l{ xi[1ڢRC+xIzK@4u;aOa?@t-:\y"E?[@L{Cu&- k%%g㺧 .it#,wKnWTpBbPVswMkp Po/H=<]9 A˪aqPfFybfLꈊ00t7^3*]L?4-7#H3"? /.?dRYCmƆ4+*Kdj.5 őj5Z f,]}5˿w;-ra&,8ȳT]%vphzr${ iq_ݧhhs@wVuBqUa>?rN([-r 6O 6k&gĭsPv0N[ha;E >: {"QXH W+a;VmVh9|AX܅S2T5dki@[<紤-BLЏc6)›FDǙa.4Mċd-*opuOrqn;Lط]zB:HiP3yXֵ#:G~:3QxU _ni SZG`H~=¡|UrvJ3\_;q۝ÚApήc˃׎#SG-R,4WF9bδ>ὪkUYAה'SֺSt/a1ejeXr.bH&'ڦE#^M2_1l~SqZ00]zLEA9GBt:{Q/܆E܂: 1 1f2{Lx.hC}ϸh# iԓ{!qI'8ͺHY8d‘;^ U#RiڗͪgWV [洝-JV% ENa尃M7.I4W t)'gEltx_d~3/v9X;%5rp(?<g,v$S4 Zen !=&9Md(SDy\~g(FX갦~e^BY`' :uTLaPȀs!yImh2{ܭ}͙|ZJM_?9;-Ŀ܉ *I\H@Ko''\,P諱F`v;ͶE2wb yp+h~PEr;g'3M`6Z  -߃J*. k:a4ȾFyj dJ1} :wg^C_'94Q^Ra6JDŽc48/"X*D?cΡNWut+HX[[P"'IG &[9} _xm-ʤٶ ^Iti笇 4ka9(m|Tgk| &j{ LlJSYF sY0نqdup>BeYAwҲTi| Uε.(Jh}b l!\^P\FV4۴Mm͗w}+(kh:U ;Cxe=mlll;>~S9ȐܿIp\ƙYPT_xܲ(OU(zZ\g*,MFs^5; Lw4*!3gN'F! `P C]skJ۩{ݾh;r&6`D^aTbՂvzY-~.^4i3D|~˶&ݮ jCז@'f]9Q"tD-_|'3ȯEA($uՠc7kAwC}(weWdѦsL Hf:oKx;K u<Gf2|oz4C!ɝ>ü =H&/g<bl cҡ5ɩf$.9sqSM^>4ꋃ1e$5J r>{ ?m sHV#X=^L;M[¥6riHf Hl[W{ZMA爏aw]JULC7pǥˎ,ڝ7ˣ:lJ׭*׵;KL,c!;w?ć &uR8tkx'®qzqCRo? GYxG`ȌxLK.e}{EdF-YskMKyl %EA6K] %1pAHB=TbL'u;XIہYMF  A q3)0Ks胞h/ ~~WwzR`{.Stѥ Ec?ZA%f}[i8;yTM4 2;sl+Ǜe[[`Waa7cV]2#}b#<w,|!24C/ޑ[՚5hr_kms:RRhб_u~/QL%š稅&16^T6bX=րbq?<'0waCFj9-0?^9y9N&Ww8-]?lLǣAa~?)S HJH1! N:sGQ7qsǂ~U`+*dF)>:~&dନlh|QK6~gMX1p@L:O%/2GAj$>&RȖ4>곩NƳr7l {]y7ɇa<DI̶;3éHeSW#I~ K#dqU .l_Cah$ƣ\f}!<ݕkwĮr{2,¾{(d۟ϟ`G/oθ#Ftps[y|1h $ҼiovGA!䁍~1qΓS~BScMȋILiV4%ۓe|Pl7lUJ S@A3"ۢtY_q}Cg[jR(6+n[.`h2U2\ʄ}\ =rb7z$QPnt55={t}*^kE^qu8>.;Ѷ/QC[l"=D&\WRw=aK`yDĔ07N/1 7{#As"?# oyG(#ol53 kKw *Noux8\=4E#ӯT?UCZ 'ehƥQ݁X٢'ЬkhPxbLC̤!OCUxX,6B#gO +r__UfE"B9^#ͯRAXh H'K"ZM&<ujڅrMUr?)'[s-zn[ٙ/ >Eߥ Od~ 1e'p:Q TKLxŢ 3 Q2j"h#Q\El3Ao$BՇ ɢ^D]Fu%4Ej Fu;Zʓ Ka=a0GPُ|p mJCQoIRdٽmꅴ,h ?vuVZ͞𒔢iկ%{uߊ QS 0LpseYXTKjcA;vx<^4d>t@~ym>QeydeF}pYhee:cD FUZMC2 9le Pkv29f*uעl_a&t7E?Xf 4%CaA+ bD'ecYgNC|1Ͼ"W?]<Wh5R)ah:ƕ-]W&$3SO=|}5Θkmշp,>V*oU ;wf z/Ușg‰,*wyX?Rgvx^S9z ЫOfgp^C[G}"{skPqx &qᰵlZ}3ap'@iwuich!XA|}e:Ùv]jiu;a#UGfwfPvvy[2 [\ACIzӧl4@`ѕ6@%mi1|{BcHZ1$M ,|IY^{+05 ,X|G3F;?wݛK*1n߹m`@2v!m%" &a:CFYfeny ]hyUF5`K |a2ѝ } ^CCn-ٶA t, )l\GU / _ r> ֪G(P<14zBTęx*jrm bO L2*׹'J՞܉Ah5(Tv.'n;y%3WT}Ո T}>N|tϽo~ DI>K}jޓ }.)/ "fǜ"4Qޖ/Pr|z!#D))ƨ UےC~'VZ14<"P(e#s2q7* >*z〷'pppuӏ idu~6.5m;| n-fXJ$z@+z>Yf H9t&KoeM`-BO=V HLTC&;.`T%+.ߨ+x݁jE Z wG1 ^ PuRtIg<{]tąD<=r ZwK9rM4~V҅zhP<\\֮'w!pEݫ<܂&Ayy C"7;`̴ǝdf V?ecBm=ofbUݯaA隡x"NT%I=8eyܚ]"z`^-ṛt *&)g-˩J?o@6:<-}ߓ0tUNHj4r]_0}urS"JaNuho?DWJj,F acw ZcA!ƍK bmw/qF'KQp.+25TqAauwl9УrҷDȹHeHOliL^l Mfٺ DOPݨePbTCaBIq.P.A~U;E0\]8B:7Eh~ArW 8ke8WT[sPH:R\ÂzAE& 4#LUy^ozf!ľfzJH<8vޖ.6 >xl*wW?grLQd1!5^+ON[Eǁ?hwl3ZV=3B0C`-^@;bokчH4zI7HF0CZy}Uimt5 OA枵Tq_| xMrI_Dr_O5m;pēdCxFdltvŮlmJ楎S4HzAO32 yX\lЗ{#whM(*#V̔W78g2\LO$׶`E,/;ˍysm w7Dqrc+8F!^)~Tca_:^{.Jt*9*ؘ^B?ɀ,?sF6w7C..g|3e~kY CD|/ ~<$H<o4.k[QɪRΛa)WPy좊\7>n^l wcxe2p [+B140'5ڭ,x4:v$@ǹbu]SӾ6H(Iv${Wd'3zz.$$&D}F{kTn@)yKD<^X8^ ."Ik`uHu;a5u%NQ趱:4',9JR\rYT76T. `3X/˨3o5)xKcpRBa(}x:P^%2g1yRt1:z [J_?kcĞY{7I0I5g;4; RSsJmf0":Ɨ4h(P8~wk:܂/X(zM,49QP1#L*C,! ǓF=xQ/dBhsȐ؅":>(7ެX1QD(wp1-וUR ȉ nQ 眷ґ$V)^^J `@@͝jpƇbZ`[/784gREAڻ[M!9AyK~늊OQB(^e]Ǒ4<7ˠԣgp[Ȳ}31}ConpvrTبM d, 2;Z *P֐UQ>P!c}y,g&HK|Xi anYlk91Z ?x=9 ا|Y}1ySFxrs~Qfx6fjȞՈU*Sf9usr--e`x *c^N'5?؂RZ͍"X eq*YU &WNAP&E(J}#?2aAiS&4C,umB 9;tyPLyb?]/ t;>^!H'dt~ ++vC\sxZDkQ2YQ^JAp~0?a\Ũ@sT)0d7qvo+`JDPE u;XYCRO/:5Xl?ځ\gNhxjPeC۟UEjRYQ ]2u(`.R_`Vy)#2mulx՜kI5ꏉ2,ffͤUT a>YLLpn&!u†pM Y]:3"1ɌL'{P#J\u]k)Vn_s`*)~649ο8J!uI_u_I*cqH&Q!2 6,Y ڞmFW i`*}|^&T|=\SB!'r# IY ]tjfG$q$g,-ps.[:tYKɌM49&IeFTq=HRVVRHh iw[{6ׇuPvމWapL3] 9aa*i?Sਡ܊j5s#Q1nʘ{0hJgK|gN0|S^ȭ2xL1mlxy4`}nȑ=mgn0Rvf m"?n{c#D< ؅շ}_OBU R9@+6bݵ WlnQ KX*#,ܴx!jdS4?E.#wqv3ᢎ4F[_2R>|aMj61oثjힸZ #g}ۍos/q8UFxػ1j`UFTxu+TU_Eh E{ :d(6떓#p8U ֥/6d-0ezJ160DXxh>IƝ|Kjrɺ68*Fyf:IdϢw4w\#2YVS)U i{,͗"dpe9>)Y|H m^UyI©bD $o`bt1?WU{lCQ&Z H dC[ЀR6*UIm43[x(}ЧPB9(a)olhX{=h1n>F@Eڮ NYcB Zڴ/3ņ)jUA>n=<&B,r4ZdJH}|{U>X.~g偿@0{b@>]e{(Jxs/` pDmb{vy<x=Wp2(?A%>1[c%qjiIK)HֈZt?[؇~:%)BLb>" UA#T/Ek\AJ[?nH!ù&IP~qȉVO"޿&:@*fD`xnZw~Kr֮$Xgݔ>fe7 M%|c:WT fW{cW5v_=M8I#%\8_F. ؈7ןұJj}btxUe?ɐwzGm}Ŕbj Fȴ4c߀mkO 2XHbFpt&  dj,.!#|3QF $xY. ߟ䒔[2BWӅ *9P&6W[#cI\EcM{RUH%(كC2&#$%N5<>Cz0U5cSȼ N |n UWJ{*:$J)6y~h)}(dXeڇTN|{2?K(:$` JTiY!I\)2 JZ27tGDBѭBIEoWmZo4ձM\n:d}TlkF ת\"%\'ipHͤ(&{QKHmH}B0n{|ƺ1%A3J/ٍӔ 6f?An/P-'oRqRhp:;#asr VWz ļ¢Uz/}˳ NkuMPO"w@R[SfX-s'  ol8[5J5ڃ 3F>T ̜?5{ % *mmѭ][1W !bl)@a;:pQ^\t N9pZGhr3[P ՜Iз@>60#R6.9JC4kBXy}uԅ ;A+OIB%JJʧ4**&%꣍Ύ%x@##Ͷl_*YFL1o]숝{-jceuz7ظ=NFZ\b4jQhvׇ;iK Ț 2>&f ef}^ǰ\P|Sݼ|Κ(xE6,QiMǻhY'uXWՆz}?±{aLkM7Z] ^6 H7yqbC<,l-HC.\X#7Vm 0qnƼ;ܲvEwO~j9$*0e<|rW~?6G&H!2=X0a.h<Br5/.e\dqա i`'t8:馀DOBKVDAy2Q{e` Wq# P7sp!/`ˠU!3!GAAyٻDZ I }EJ؄p R#0aZ[GIfԋ;2ZőcUxn \{] @ O-Q(B7]UUn|d\emev݉Р1.aflnV\!~c%µlAPܘWPИ>.V[Sz> :<ں}Iyd֟g|qY{2 (7H4ehCKv!?ܜRx㽱Ƶw_~a2^]|:LɐG2{IztT lGDR?bBw;2j2^1AsTi>l-7:mРIi| KŌkO$H]TTr?^Ft& ##_܃Fʯs4i: x>|=RbiN(a7)z)IH*M6-|EWQ_2v0i &6@{45"хlE@AO4^m\͉3 |"3#qT-վ*E([RyOd_<+5 4?ԪN=y󅉮L+qfȿdry!3.m*qdѨ01Y)RKXߜSׁã?

6+S4`?(Y|^(?Mf'f߾k{Vx洜BŤpb_A y_6m{X4ڔ`>۽hJ^aS4oē8sM+=]*~"JӞ:IrD hQXxأ{(s/̾.s[aB4 ^tп_7\>K4b)$+8^`W)3MxYp& LE' ~>Yr/NPmا"Z`ÎnMcBl!M7QU$ެ:$kpB Wdx_N4Lq!R )ZypCGT f Y ?4,3|dy_X`CTVSU/ُ0GX^gA#.`n#bTG廭-<~q#LbELB!'|,#UL5a/H-]C`":]Pvfv;\Wx']@ҏ|C%*O8f4N"VN!ERV xUtSS~3OsfA9FI @YaބgnK~Zg.ߚV>Znz?A%zVε2.f=GCl8OS;Vy֢b ?N+LC@B{CnQVM:I)*T9GpziU|Z<( e XPbըE8 #\cZlX6bn W+O7Hp-Mّ3tO=čn gH)~l*:,&2!,My1 )cŰ{ Tv.Lf>Bp*Jϒt59o7f*VҤg@&ҜDȴS(/_ yQK2wu悥~fW6rVq4FR7;(}.dTU`E'lC;~ "X\MsdJ1*&?}/3ke @a GhG-\b*I ^i#E0Ԋ9;ayq"x׬*.fxNX\G-b8b8 -x:5vYD:.PU%!ӵu~GoNեD@%h+c^.imKPdhw KlvBxH9jS*0Н(-I$_s%̿-,yTFi/7ts E5Hx]tK ǣK2+F&&8i~H LՐ8.nƫѡOW#_T3){BS4衡tZ,i\&b·bR SW.21KLE}pyƮtbqieh2=t:65X^h5?{]3))͝"r!|Xԇ|I=;kAHBQ۱w^ēpĐtJܚ[LFk`?e_ޏ2UР㿖^s|ZryWXSihJ/]!To@ԭYރ}w%[0j6\CftLi`28B@4sorA&59#W:>[>D[Q̍$B1W8s;`7u U.yIWNac% *k$͊3red{w ęYso#UpQd^ږ#)?\>rdzGwu5Cj=/sATUߟJVmǺ¾jKO.ŴiF\?mhDFݷAH{yГJ SqRn(KvR†@ߘUDʅO)r)́}K95T5ߊsuܾ!U;K@d53ޓ3hv1('C6^?_sl­j~FVqoV]&Qe]~)l80œ|0ȓoE4:Osr&*o ]ČGl ZԄ#YO9.3I[ˢf˸>RWLX,뗤/rOy=ғvV'JR+}K")~,-ox? 7G^!fslR%>FXSp,4g6کU1MYi`3Lc}]q?nYJk;:o`\dxtcGݸFP"q?#ų R3EY]'r^^##KOU#Hwx>;hTWYSDd\%ʘ}M/#khBhfaAl;Ƭj 􎪼'n⑼5k^KDrf\u;`f:Ga b(uq=K3CgU$QPn /vƸhƝ=g8?cV)N=ݘMW) X݁@DdK%L+>Nrq=v1wn: iC( A}#g5}z0ƈe\X'kH1*pgNnВV PJB(, 3map6ܙ4IUݯ_ZZZTs)@<7"B=r,6h* ta]Oގ"uc" KP#1 >,M#S8HU琷ܔ=*VimFjK|.Q;hlAO8 Y4"U[)Ӑim6U*@P:J>oJ}ҧ<{&I/ߖi^;~cl;6o"Ib)9Qo,F25GD4ק(_E! ߶f%S!ծ7e6Q% _|ZU8!H1V U1DQp0o:vSs m;~e;\E<3يuR+.n96~be7xpnި@,6]#i@c IT_ f{M@mH޴Iۃ4rY-:^q/chY9ٕ]:u.F5v԰gX\{ANt2_it!4'Iۘ\px$Q[^isf!+u,XN_K1Jtֺ !M7-,EGAsZ=BTOFlr6PLoߘ+) >]ƅK3zj*ӻV.V;c.kM3֪&uѥ fioL\ 0QXre&$wK[ [`q0J|]T<(O+ M 3? l"VEwDɺϸo  =,<^3EUycRrkY: ]L3u._8UތzAMu֎Mq٘@rEVo *~ l3r\ ZwfƁ<+ift)~t0j2X| [An|O4 o0(Kx@Ԫ}nb3+sj}~t~Jca/D D{t~{ X Lzz$jxNj|FR`<_DӜe[xg+/kI}S3y8oH<=;eiAUXΧo)z" DmHTTeoy+mP(ySN3J` SJ]5yvdKi wuuIaۄEnIY6 Q Ϭ q6vx31} -tEr,3 ޸m?"#'B?B=>M 1Bg 5#"9fO=V7dGs٢DtQQE5 , #6+k[t>qJ۫HF{ugT;f~Z 8Y}Z,~T7G|bxD?-\bMMBȹY%3k/ζuIS'Q\߂Jӕ=<|x jVrFv┇hjvҀiBQUÏ,yi>CAA&CU%_(,uIy'iZ,=V KTg`۞uPP\5}^qB_.JTCFu,@<*&k 㧄tx J% ;A*7Dfk}⾱U . Oqzk6o26a˥U^Slu,1V#\7ye P G,$ei] G&ވm/mp1n[ 5c̫;_rq$׽[Qˆc^sPa?"gMrkvD^WHژhm?\lxEMqI9q쮵1ܠx/P Pn4zv7MafM͚Np'A7#/ Q f'rSr|lG4qCi8K%T[9,"Х {XfLd_|l>}.ʋxZ˙5Z4 RWuK-F?ר _ɢoqF_uV'[*rJ&R⿗T  _jvV%ֻ0$Z6qaO7RU{E2;]FqR#i[|3瘟]F͖U^m};hEY@MːC_Λv(=,!8a`!hDJ)+ 6A C4Mv`%cO. 蕰c\?ABcfc-h"5a~"vY&XطqU(U$߬(϶c>ICݶmJ3r:KfnY^gJ~+U&qM%gn",YT?6. ]wEXlԒ*#[ZQAQ3jC#,>'ƒM' "az &Ԯ.eY  H-Ne`8%ۖy垶N!p:*nSjJZ08S;zՖ2Kmiyyly\k;cF۩@ a)-X;}l0N7c*?xD|i-IN@{T&z%\pDߕށs4WK/Ŗ3y ٧1"Gн 1􏽓ESZEj:Z969,<3G$`edi+&o<8+#7hWFqc1s:~?/>)\Aڶ0磌9khyX RyΤAnmH̲$Cop`r_QJ79D;`SIpA.H0z|AFq@j*BX1 G؋ gB @_i08'i};y zpnlJBa1*G ӌK%۾,;,'[el2F(#]lO!EvFarvL8b@ aӝz* vVOZVĂ1^ pS-VEXoLUrhT|To w«=S/뉣q2.k% @#|nX]ok޻iEklD`qQFߓjby4!c.`FQ|B @2JyF:~`df/^,Ct$6#<\/Ņ;zT=36#l.z p?T؍,̑+%1k5<ѱܤpAm^nZXaγ +aBj`0nSXZ/–` Md%Kcg큤A (7(Y `8UePK㢆`7(Xu8,#ÓkYZ׋FնqUZ(VB U[n Ѐe۩jb0"[&RFN2Vpb rg.l]eLoen \n4}LH5 RfQ 3\o+)>&7m~nO=ҷIGKzrpDbRk;,7;@7hx;Hts{jSB0O ٲͪA[+hQ ;q _Z:D%ԏh䁥|uQW+-{gV!ku`NΘ oĽ&t֐c.{7L'Gϊ̓whj /\DJkUhU)XYt3}3 gGI#ŗNvE]+_y|eI8 ` .mcJySvS_3Lj >w#F5Ys6|]KC :M x>{uCK,S+l0+mǵ4aLv!pT˺v1u!CB"1 Z+91A h G!_UQİ2I; EcUuVۮhrfǧnTBHy5_A-԰yY!Gw4R6> r8(<sAAx˭qfoZʴeu<`}sx)y54]kkmWG d^l1>9>'uO3"p S\,l`抪kCO<# }z8 F঑S lQ#]Ì{#v5ݗҜmE@3RAO9@1"Uյ? DeDZ!o[b1,/iR\h,0L uYiq9`a(G٤SW1 &/B|;m/#>M%>vH|xQ2ޙqֿ~\8ۺ_󏥰%sz"m\+{1+?Xo0E[[rYp;.U2J3ac]>g;Hs{ۧS񧔛>o65y T&=M|e=li~ſkb[FGJ##5r:Σj;@ Zg,7TU'@Z PV4T zfٽXN'f@,{=lEGyMq5Vq3V3.u/KRH_Kw5>:Wϸ⼼N! sM4 Sv mZ%N*Tb F`0h-s tsf8,Q_ZY/LSϡ9u,2T-;WZ'([Ca8\&soRmG9nKzF`쾇>ՉvD6k"Rh"9G S嫂K>R/S]1wLSWݷ벹cS/H3K +@?2d3AfsvCr=q!T@*51Sኮ@!4e5u( iD4qx2H p"K dZZ=Z pŀkFҠ.5!ԋcŖδ8 +8 Ҟ)XաW 5Ix \B+y[b27q'[B-t<u?%Tbv*ERb;N'/f֘YIj?|*; 7#46Sk/Xr"~˺8* J8r|k1C^pECJ ՒYN?f/|0N.IUTE,uj`w~!eI)0!.ǣ^VX{~V6boUT2^Aܙ# ĺ7gr];Tr$-YT>E5I ('X{ )yMRQhλ;2eeU2fi?;Jkw$nGH`! 5&̯tHHƯ'4ÜfB(߽S/U5䂖IxyWar 4LdFj!C֨?"T{Qfĭ2Ds! !cey4 %=K׭՘W nڛ _dX .9Ӷ}*]|1%$ZWp7,W৖t"v{&N^J7^Y9ڞ#-P KwL15gպ.0@rwc$NjNN^ pC]۷#}J{Nl4`4>v_B.qn^hL T*#QJs豳{{%`Hۣ-WT]o'ZhӨ`UkkN1_= ?,놾 (ggR$zA r+CfyXWhv/qCDQJRpKU[+W tkQ@x ]y^Xaױ!oAYאaR2/fl(-dtFgh07YwԆn>wE7VZ-aE2zs%mH^ކ7DsNӕJ(CG̈́~My1cYqbr_x{oDxqUޒY@+E2lB(n)i]u@n_!V]mEWaqlV/p;5n-3 ?Ej VvLpz~ݷ4Ea-Z/eQ%8 h񥵱4q(]l&}ܖve9}1p?gi>BVZHA6؃fA"̥,)كij|e}% O 0("Ybdoʋ]?V9hή[`u1reqTn}$4qk<+7NН̃ >/c&0f;x~msba3B6u譸ɗA/#9AW6za 44-Q]9PT 2ՐlM_﹍C[JZ6&>7~~?Yug5R/##u+x盞DMhZ^)TLg묭5؞E-DѵC[Yx%DgTycw~ h)9I|1̌Q(͉'KT,;SE(Nc0T@ _9`GW7҆},nY*j'82FZ'Cw~ܙ@gvy"a3ۻ}z:2Yi `{ KV`."B?i=J'7霁UKAp?}z*bq%NکcWdӶ}CF#T̬8L|an^< ^Mҿԡ3*C A!iiVd ֘Q.81e$Aޥqo~&̏4b_f010:h]dJ3ny 9n]o|>Ի?dS lčuZmTlm7gѲ's裨^al,PZrnQb?QZ7[EY}'~_H(}/L ԟ FD0K)„wTi%JqJQo/8ʢ0>WB!~ұ{qO$%>AΤ@VWA{-UE]dYF9p%٭tcM8S52C|4Ŭwoh2F֌bȖ[=ܙn*İ .~%ex^U.28F+iL[h*d AMvj]~"TC*̤1eif8lz_{N֝ZsphTtԻ񯅣sW1Dy~,bc3 a,$ze&8Ou4.?w 4ySkl ۮWOėx@hA>~$Lbe+'l~3VDF׆$v{7sD Aui _yrO2 )׫6dG)ͯvF4Swr(3۲& v葯gF/C}~=Ik}1XB\n^GDX[eV7r[*I=٨4=推,YS`πP 7Fpyd{E@ȸcXzDM؂QK`&@=1x!hH jvfrinZ !FS.575 GfKISYW Ii¨f1o 0qW`#gL6f )C5J]PTKM7`Ou!< * Z1ЃHdMaraM`<-mxo~e~Khk̛ ͰRc3jQQ[FW@dܸLrG;4z5,meo,ܸQGz1+XZuThWCPе; &p>5^Hqxe> 4d#\3]`]$ulk8WS*pɼFvMǫ8IK܍5J+ʟ,*`V$2;7[) ?lMY)Fi863݃v@,iSU^7j3Z?<23'eׂSv&b9ϐ=m:vRcxO&WUP=AbVmJڢS/I|F-|'kBC>^/Vܟ#(`,bQgVR٭"# b*B_Dr9=}9x[D+0( eWIz+fӯoi3ߍ0RRm~ C;q P̦8m#'͌Ģf@סz͛rRݮ ՛W^1vú=$% !9:Bnau!axs*k{ξj<5Vu)t`8䕏pZ+[**tlrfɱfKEAoBvfLͭ*o7!(K6g7~G.YC D;e!6%sDHiŻb|J!Rzϧ`j52c> K]3ٛ} ?M"#2hHW[AĎ v&wyLGb˩z\Vfk4/`2?i@oltYG}"5poEڍ̷7TVokVDn{ kWqf-6agNO309 Rp%MA+!'&mN@SUޯe;s\~!&i#&In/ 8f|Ɉ\8W~:x&$ɸ~-|P''gOXd8W$~Yy?H_D PDbc:v>IXhCOɐp`gMZB wi Oə˫M cP{HC6pN֌[Iu?'*gE+  ."ljOoR!L: +3 {=tgΈV~wHؠucŬeIi+0O"j)qWsyf!<6~ڎs90ȥEm RO{0:2v"QN,HPϧf݇=hzFPX鴹C{,ރt=5j;Ld}eڏ#¡8K8{ЄaɊ͢z` Ŗ;k̤q3/"_|G{Kڧ̤3ir%>#u-(W,|39׃ӣ V #lWB…12F^4CObW#])FQviC[PRx~RS%4Fйd)؉~f ƺlG_pOԗr5!$ԆExR!z.N+vR2J$B57hOs^xH/y`%2 K+]0>3Ҳ>".櫂EzĐQ鍯{9Vˣ"d,|[v֝™&EdgYZ4b3e64d47de2baf043320bb46e164e58c2cf1202d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 ae16c42f25525f219fabbb5d5cae55faa53fddd0