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  } }O-t$ ] Graph_Saturation:threads=4elapsed=32.034cpu=86.408gc=2.3727zXZִF! ']ŗXiɟH)0%oSah[TyQM!r{Ӟ.ײ#秂( ]f0%L]PʱXya3A.3ugBG4?M*K&SQǡ[sC̒B* ϙsLHSusF8 ~{Wz 鞞7juNIe`~Rv8~?ILFȷN);RgiQI/`DU"q6n4~>wsM؍:wr͆9p+ x/KtmEQxRjތ/[agm"H[ `X) Kǀw|nf7^"-IҕQ9ȍ彠'ZI 9 T(2(r8Iҭ  TlW] aGĖ?ënϳ?hWLL(|[\4.,\<l&FQ,9KUH{?%}S^@FgoYlnOi8~*d ;p ,4y%[pI2(it_K^_"/liQz5CDu`l3CW_v ؼ_g,4]C-?<1 .tuxTkm-AP,  Z_&X9 @G]~YF, ބ;GS]) f*H}C˱BhEпI"1 麦$WSdŞjtvEw/4u R g?K׮GJ&GaXY͠~b=Y{81JpkM[z(ATT&oN=takS` #ҬgHQ3xy{w#at+{ xVIMI*=UmHlR3`qM{ej BΣk>)xy518?Ep4*$cO& lo7#eI[{̵`I|Z&~FFr#ްzwdx4UHKb-2Z 80,<ùNAb Lp[]/<yӲPm̀\ ;(0 k?D|i7+uT}lb`k|.tۖ+ vAZuhFJ&Ŵ/:.LtqG goT>L E^\q~a߷@;M}ʅ87Qv& \ti/H0Bٓ{BUű@w[,ou8CP3yAktpY _RQ$ò'^Z5FrucLXa\|AnUhzݶڸٗסK2/CdDi f4L@FT.jsȜ׬ktI^u)^< 9GBg=5SᴇtL_q6d^7# }Hu4\fnVOߴDfTWOR* $A G+D/0?wWzEF`z5}>BnF2́ 埐n0&n\lr2m~{d{1<A@9[2§BB+~y5//JYlI\tpIw/r`23/nڼx{U¨VHB0y$ȳd40/5jk)Z&4؅g_5n,i#[2\ACSѳgDx=E{$(y9\+_q@HCy8GLyC`>hU1vųK6:[HKS,4$3(p"V;9>]!tR dcB5;M$<+} doϞAʟno1))!Εyg:^c7n=B8\:,=馛p Uf*MV(Ϫg^եTKB)}3^S!D3{'`JUq8uK4}=/rΝl>9j~*TS"Jͅ=xr<M8Pt3^6ݶJ *گD]ej6h 8Ef3؟'[پ'›OFu'>nbyFXimҰ&זp+6'-IꄻuNcߪ,@hwGՂ2P/OhS iOׂHE[ODž7S>0@seي%2yb\=vmVx7Erc5XAheIy҆,P1r*uߏE1Ksz*K'*oE&ҸZwNܮ|Wq]YVyo;Fa3q `Ǘ0zXP1}bz3YMCN̝i _׼<2E$|CMwUʩ$ FC7h88 I LSԻ4%W#QUq_kSK6g : BRK`r S}tj+EBi~x*/_߬'~gBu_!vRyB.AţoҪ&(+e: fNVݷWoXPP[Rm1eo3~* A(a0:^ڀKeՉfנu㺽R+ CGe#Xm_`L`Ɗ;JMyXS(Rx1O!9;JB? 7RY-Ox~\5:[ˉueHa}m!GB@ރ$#Y {$j051I~2Q(U`V*5In>J cM33awqM ۻr8`Α)l1 Ǐ"h}4a=Џ6'f/IøSy%ɵ&.tmx^ubݡњP)5p) Jokt [H$ B 8M_|^8b&:+ Ml}Łol J<*U"^ǖ2XZwS#u{̢ΰk/ :8'ԊimA7I.ZiY>I~: YԊ"oF-.mOCޫw]=xk3 J܀Y%y<.8v3r:ɗ\,fnI!pTnG3p*tvccT\;lg|.XMh>آh'/$}@wNIuP2%6i $?럩HwOo;)goKkY܁3ϱO24ur6oSnBKA?fWPiL\R.ԽiɼtBy=3=aރh|$!孓wܙ;(ʊs J3I)ZKl@ [ϽBs.;`ۚ|N0"Щ *)1~mL򿲹"e^<$A#{sIx$~RErc.OͰ0"CLa8?H*'L={.2 <{wW R=̼ ?gXQSF/MyHG|9w™_ʸ UN-|2{ng\kR'i L0ƺ#PX>[ݨH5-xe,WMRg@>=ww*ݖAa~piJ\wvFD?]!{-Bg^3ى-Z5ػ!:9"vP8&Mg3*/:B"„JtmK\T",KK%[$%dul(ez.ݡ c!q_w1pu^djb˲%QD}Cɢ,*iζkm>rh/4&ƢWG#{gf#Z@2^(dC_Pn)]&pJe% ږ|TS'ɨ[&LGP/Ew< hseD/ZKʫ| hTG3\hzQ6=*Ní*b̕ĺys_Y? !AQf=0_Dw 3"XTQ5%FFn GK[r_j~nIuZ>s2;"Xc-aRH/oz?;\wl†r2ZQоkKh·BHqD*hAE]li mѤ(@gD=\ d/UN!.'ا+ޝn2˰-P^`Q}" %_#L  =Gzm:.X%7XGv!sn+9(UXllRB%c҇wRfav4Of&0,/(*ĬU}I̾ʋ)4*ɔ?KJa-C>'ݷ&6CMEZΥWR>]7#.4*|H8Hs9u;u7glϓ"_v,9gS7e -szQ3vaSҿd䝌rC_(_Ae'!ig?mӁ t/j"kOVF0Q{J٣9?BaqFFJ6h3Nfgv엪Av]dΫ#iFi9e6H=y_AЃS> huF`s dn{ЯQr( eӓUfq͞蟚V~{uG oi;l~8Aj^<@^O G8Awm|+qrڕ}D~Rg2Jx+2XLhݫ>)Xݻ/Lʕqr+y- c-h IҠcw@;CvN܇i*D 5#8OT㗓VsvZ!Ke~ sjQє ١/ .#ߺd{1;lƊ 6V@ishEE'eסAx8ZW|i'<*(@xR晾Zi^9El՝9xIt G7}|YWDpg2yv }C@0lC!#;荺SW|N&('IAT& L-Y]",+}4\;yD?4ye\ +3WxI5P'Cv%RnQۛuέ+93Y J櫮ISomH8AVs LSE^gմE^7 /JuPJk0T9p6GgVzkeV @iUgr)er2FcUDBDgVS .E*~d%OEcB<PP-jЊjpN2@D%|Μ@< ԗ4T}&wgDpEg;cA{7%$"PCIb]zOP~6!,)W7S>Cߑ΋˸2mL0%kx N" bCyi)K.M"G2d-T ,Fe_$* s|n2*Y ֈs*DQ^k9T)dmq5uܿ.)F/QrkRI+8[5AC$+鶤rkY^ZSG5d# |_1m0sɡ:di&L)rI 8`gAaQ8N0H?h23Oʔa#yg*)a::nwt*hi2<ʟQ#&cafS:fi߽Ag|mDž9Pf31eBxopOBb>m2g4DuQQpi:tmOq OVEM5NZ!̓ g;iH@o"DKg'LbɈ=jK Q\x[( 90Ơ^r[zN__d*n.iPtt wXzMey緆ó҇OI껢sIwW9mq>!ܙ2<72g )/}} iiZDtP8qg<7HK}9Q$ C*{+ Յ2BQP) \CO0s^| T }Ba3L a aCrqn\"KMx/s9fh+9.ۄP j_ |I-{ArBz9AhRI5'cGȾG- 2%df&g#Ωs*R`J½+%攲 ordBfr!%iGi7prt`B[2Bu|%ޛqvs\T1>[VY}'d/e< DmMI4eg5hr_8ðYnUS!r+9aŚ8y'L@@ď;9< E L+i=Y)gM2L+p-TL?=BuAν bR*>rJƥZ5A\zۉE7OF3LәLYrD̫1;2ׅޤp^x0Ϳ_$znbJVoFQൕ;v# .[uTbxQ_#A8|XڟBċ, [ѹثD!y4C~ZIXd€b^&tD{6BISSQ?X>鿉/4 d` +B.R뻲/^g[\B`ۖkdt;a1^s|rVMҳp4[jj Bf0 |xgx& p߸xqoFya}T 1u}WSiaiŦ]%-'CʻG~Y^Y*uSR\$B o w85:/AT^orkg"ݖ,7ZQ &O+& bz+׽,DjTS@EH%vEپQPv"@5-7Hb tO:tI.0O5)Eke[u*з{D}́N4BGklG@- u v/@F\[-LJi6y.#7#I+!Ugh\j*(,dA'p FʨUM{ [Q 8UZy'`$*7(*3Ng\L/+ *}&wv9k?Mbmwβvϸx2.JlȮd6qEֵeCKN~* tПE4pWZo? j^lpQrȁw#bם:3*\sڥ 8уv "Ya!G۳lha>d@PID䅟mAQ5L P8tvVüsBC59aqm&§dƨ{G?ݏCF[D=nn0q:dqމ)1>аY. [SWc KZ_oNB]}$,VQ B R>xּϴe!Ӹ{!+/m5l,* C``,fJr#=( K=뙹yhDȇI7M |è ;Ѣ޺Ti🎱_qO V5 TBGmleRw %Xzʶp $,Ȃ3'/l%7@ *1n|-ᅊw&J]Pn^Cbaiև(.;h pv4BG~-MOrJf'rMe݈Gˁ@m:0-َcGemMJJM+ڞGX9IeY[ә~{/^[k0Y[[~ "oRȘaIMUICH0tnT-sc*|J#>]if !3.̔-`qK#8WvǩS>LlR&7k=b=aA;`OE_S1s "v~k7x`HK:~2eyGyESSKS 6%UG yc%dWn/WOh3|YQrYI҉QdxQuW ZVTjUaI-. s-ig[|HdMLsIJnу `SO[R6ݧu(FvCmOwpP-uj)´]dSM̗-# P_4Zx2 :#%DOB:@| ֈ>om~#3՚nI2j19,/>k2.pI^vJO@I;_K7^.pzLP^Al10281C)஫[+AXQWhEyqh2͎P̈́0vN7Tl:Ii>5?~ae0^f=l=T]H7Zj=s/(*khT cf6F=q"y#3W7B01+du%SwmsP6!9vt )&*?&ͻӫ_żoTګݠZKm53RF>)7ZgF`\% 9_Xф~74[%JW&&ms  I޲EIuF\e3)rYX,uzKk-(P5; ||扂hH-/wwEv0Be3Ow V3sR *|z$bg0^o 8mgC` se)\ó!rHU9҆3Nj2qοxI9vކE-9;o oDŽ*3-1~{ԫ 2'g LS#1hm^P&q29)Zi$`Kmԋ%>E]RxU>GQs_S,R>qgpYg!Z *;u7̭.+kü4\lG9˜𹫕:qaԸLn=PRI{YٷVӄF/ wLoA娉:R *}o"M$5Ò/V@帤H{+ n,Vh+H"uFᘒ|8#v?LH:DK=s?WOK^fOX,]dI!t3*Ni-tEn#U_*/+I uxҕ4 u2۱Ks˯&'F5f*N"Z#yp[U| RCműGI6n[ I*4|ej(?|8i#u>Pp[XH"Q9\;mçOhnPJ4B#$E:~-wBOsԖz8>F>gI/S̐vrlzFbk&:w1 iXzjS=bh؍Vn@g&QI@SlQE:~FIAA ڬ`?B[06xo \`{YU,j1;ߢnB/g$\6IT|KQH 6$rY$bTl١= XXFb3`M`- ˎͫ;F!A 6S}/Rgu^bߙۤb{M:23xEMx©{n=9ԧ)6uOռS) {;$EaK$ JdS_d!m+PYUۉ<?@[mr}US b؊JS.U:!BW+fF"K-UpLAGixZqFl >?!H :d`,j⤍ (c5'z^G5}$s*CT!tf2a3]njyO|GI<޽ Oo4Ҭ\X,NL"x {Oj[o2hpS^{PX1/#N% t XMptVxHVV~\|~uP5o(`pOz&XE!H3wl9H#?RCzSbT[<>sM&H2FPwF1xU@_oTNR'Vg;eX~vA9m+ƔՀ`FGp5=9 1`8"`wݺj·̵\ڼ^! :T 4JC*Pޔi4uӧ+j,y|73Yo"-Q(>4_ Z&߉Ovq۠zh%{I7iOs셫"}!IW#|2d=ؼ"@Zg9? ׼LT5'- +U__]͂'΂xg)k0_k̤ o=ߕms5o"P`ס&$-c0L+R<ϱ'%.Ck3s<>aRԂ묽5ÉB 'l;oP I5Ti^FKULLu/R{ ̢/hA= &DYze )9ADb)ҷ Ф>k._~[l䠎EǞh}1R%.ktl'!4Mn)pw>'EbSߕ{{4Z:;>xbWs,r\>~[V\P^鋾R\L@m (<m 胘V^gAwo[oPpn&Z꩚J<2ȱ>>RH¨Yu.gLJ 1; $}19LN*fbw\OT9/OڌZK}7I>0&R[2fDic6n_//{p&M޾3 SJYTN[@Pnϙ+<1W&r Ei=tkόx_LyrNng3qmA߭xy:#+ {9 #;Hn&o6YЅMsXa@u; T :1MOÎ YG| i0wu,鄘_)c$ קAC|hP_RR{TZ1*54`未@z8ṕ xᩦ۵5rB#V(*ki]s(±;I%FLE84%p\Yқđ>W42Pkc`BiZTh,t8(!~DP6+MϳI^ t6UQFbC 3YxH+ka{%CР_0a@,nuGjpbPOn !V@R8MB'?p-TT!^>B^ZGX@-~?v Z^#wŁ[E/܅tE'ȨZmg<1{Н2# Q _Zzrfx-rS^&&ׄ,01WNP/8_A뎰߭[)Kt*)S6Lv5GVݠ\G㶤]x#zǡVMrѷJ H7on0Aǵy)P[Pa9"1 jć҇:h݊Sf~qur2iǟP6>xBKr!JQv~B,I=s~?~d2/(.j#ʏFIUOt<T9è+=XQCzUR\5xdB#&.h/˾r4N1%mП/YJn=C0(/W w"gnqn8TF3 }F8)i~^M\2\A)sp4@yuޏL`;STYoRˀ@;ex<'ewefX\1pFOw^^9VkڂU>+GGWI(39#23J9 On`?&AF^ƪg G3:w9>V LCuT7c,ʫvS#<{RuWsnu`J/Rs☎]=(ԥA38Z[u4YݰQ g'>K_?^ a#1r֡(8qnRC30pkVKz5_D5lT{bVgQzRbN3ZKR3/>57oض D:džo~i6,6=4a3vdE4^01S߿ttE%ԦJeH4k>|JfBLj}Wa?L ]蜦0M6?>ϝS%oYhé )x.~ge:M,F=nfǕ7nH7PHV@^u ^ l&1%Q!Is3;Z5GA+%z&/P*,w{rigA𝒩Ӏb+4\tX;3f CDNOϸY2N'>m"[RaF+mJe1gdf~䒽Z10}dPDv&g@%Cpu퐕C +7Abݙ}-pN~<2HTseoPXw1RX%)r*_t)ʄ[;nkcs?TE~zH*e"PM͠lMi?s vj"q6wſ.:1#%`O׍s$Sog9Oه\=^W rom$vLRu_Cϟְgծ7) Iun Ylώl" ?3۹MaiZt-3`X[}tA)uy޺0 ? :`_λgE=4)2Avr͹SdB"}uoR )bF:li]? d& ,y˅ 5'[!KFEQ]إ\%FRQ%S鉝xwy8@ 6Xm00{MxZ,Kn_Jb>)sʚ:wɥзg GvVMD nmE+%q/u6%15v5c7&(2<<{@ml&O7f/@xiuHT5< $!'C(H7q\#C4Andz_XA2UΔ©.RqzsHu*F?7&D4.Ry88TQK_&^ZE$!"*DfIyш*I8F~ W#xasz] if"n_ХK]Ў6nBq\ C ܭ@ͤO=(*>rL?{ Gtae&m-]p5z'; %F؇'R#L4~KYA#%1>O^5޺d?d)8J.jkv9zZxKB{ 狼L깩SK'/e\ԍ,y}6S]/yHHu!K=I~*VZ ׼,*͛eJܟ$2/hEZ<RwKc lNIEK*0;O".[-VNŽ^4Zbc߶{VVumL+n|jbD\)*Eu - g_! #?{KRH^2<ԀDpVT˶*PѮIeK6XE;o䄴C34 3y&g3ԝ"Zo[3Dķlw€8ztoh8IB? FObVeO_P@-BOkaFx@& Zƙ5'dNU`N%`JK' [Q3T+deSYWϏ0ydI7pi'P0ӥ~[" J?C_m z}ŕT9v"S\#t0zdFVW?J3Ȝ\u}K'Z qb[{JV*q0 ;^wFf=y 1] ,26ѬGL8A;gwV.@M Вװ"sG}k5G c]Fə>#7.%O9S>h)3ܭ@ŕc$yݠEKp)xރ;RnPIv p^,QuDZo5_B`{%?/MK)[f!Чֶ Foij~S`w˩|H˥jv`e(*Uv5?9_O]AtMX#BϦ8;9-0cJ:\b=HYL|^w΁̀C/iq8-Z^7tB9'Zkj;% O%ʹpyR ԁ\J!^i;/vxBNGȺ13>xv澙ExtDcuJIו%" Dg_j31eiW@1ș7ĸƯ#klp8AّqH3 LBy"|Е4&ny~ ev FNۦ/I2bM d #Mչe2,tdRA餈>/Onq 79kل06elGղ^|*RvČ3+5eX&Vo0̎H/8ѥ%١@Q OS5 &7!8b[Q3\,V-xAҚd˄~*ruiz}BHv`,nAx"O|gjP6P'~T&#D|oCD|Ifd!eUfB' &{dՃ1~O4pK8M '1ƾfwX∢ЍrZ}u= ϙ2O(t9!C"t2 "$P97D7VcD."8HN|κ6=\АJԵ }Jʒ΁΢Ds)I)9^Z)@ cx,^m1PvW]1 4$uvrTk[v7,w?A$kbڬ26zy6R}g6e^l'_tgw2,vCWx-m]bLj/sHyxyR;xƷվ[-^;-U| !QX:{SN4˽ "~ûL1F*ߐsnΝtxq20Lt:B ]! e;DP4dPE#/lgg~Er?LnR.`rWcY3C$a UИQUiG>_lFX `Ćv@#Ԍ,lN){LP[dT&W$?4%2V.T*'ޟM7"{$!m(z3z7g<]ΓVUnF#A\\I%*8j"Z`!RRCøȡ\ )khX>o}JJ/OC!ŶqJ(эA@3>C(>"aCsjꞯ:J**SqгCګCmEnjz3L }!oֵ//}3Tis\OFXttimdN9n3+P_[֜6HKƅfA+JHzjN}w_D #1ㅊPl\/jekW#Gi ;]]ؒZEq2v>0aF-r ~Nͤ$ΓWnWh` g]QJ"TXu-`d4vrΡ쾁l֨GS }\=N:y\`Ď<>ckg[B/B/@ag)֯T^1/aya[Z K*K]BW!/PӯG87rTʔC'O> 0>X0h(7 91v㘈UͲc>WV bMr|t[4LrBSINdr&mB =}Vt tmBÓ2& ȃ*N^D"ȑ,e-adŴwDQߚxN?.ǖ>l;$ƸCUoCHTasd~5R?Kyc; Aɮi} S}zVC`J8)O5y:M+,RV I :h4T/Q)| N-rWz ZʵFoT:@J~^f $ՙΕ嗣,J-k m5X5Ҟԓ۹usD^w-)O0m 'o86!]zq2iC̮g3tKV$r>}ri>i]C>\bnG^i6 $!= Q d{T]*oـiԼ?d9XJ|ݵe4974[zvhjR;oVfx?F>nRL 5xύU :DY3HfsvAbm;aǦz^g!ݼlf75k5QkϊՀfz)Wsb8KbKjp O=nec5·AT]&<P4 Á]GcBAjݑ8[Y[>iG5 u ܗ'!kV4;JmH~eЈ{ ܗrJ4 5?: ֙h1qJ;YIl)>kҹڇ,Ҷ4ܘ?ČDVbWxRi|O>QJr?hѓ9 偨MNI!-Tj>]}OX-9CrX4/9]G2kx:EBqq6i7$I\NC}hB)z_< qZSLm>V mU Ήq6Ż !Đ3WI0Ýƭ(׼e J}TyTΈW4 n) zL {@ly>>Iné92 &1\-,폱 nI] }݊l='rHQ. 9h#\1і"ޭjU1D\EҠ Wki~-reÕ 8d)trf]& )h_7U%e`#)jE8b"TkUqSwKD +-ɼ'aGMigqyz&#Xy5 7o֑Q2 DlH#R,:Uɍ$Ho}Ȃ>ĿٴtU+ʁ}2X2RWdb|mH<:{KhnA<{t*ZZ٢f.ͤyJyBxJ@#::VROa;|YhR8@J(+)V ʣEVw*d fSTJq7?xkaDP4kwY&DʢGGa }yCwR84 Љ^u6JAof @ՙ?h}8?Ő͋UzFS.~3 @7 fP*hÒZ~W ]?|]`+z+BJjvQ0vɪWS8"_(JDB fҋ>PH5J;սRR0!2~6T炦/HhQ$Nq|")P \%OhQXjp+z^SJۜx$7yh>BܒCZ.A+OcW d$㢂NɢF*PҳzpN9.x] f ?@kLۅj8GܪCL~%`gi꿞Ot=6zsAZ7, őtC0tEV7"ՠ ߝTk8cgWk0&_LM*U1ߩ$c(GW"1ȨmGFKXyK #˨@iHF~wr | 3yp١JKR`["9e@85m;yz d 6fF`WT%gYضc}ķo *#){[:G Ym~ tją{V q[ϵpسx >J }`p>FZw~c.8Od21RsH|syt^A$ql?q ʜ4I$ds/FK,=5H2IV*߃g> U|/G(d۳{"1tQ Xt m&͞"=9%q%oZJ/6t n'V%?\}ޓ0ԵNřDBR|;i9#%^LCZ(rX[1y/~\i ܃ҧn̖i Q7ƩVehm5QHʧxXZ#of-e'k]_Y_ҟq2pҹ;P&f&(co.^ q^+UЮ,K_~*(H;yЏE1IȤZ>+Pe:lfCpwr: ;Y+yI2^|'ߎTc@%>ݢm'$#3^wC]fR3QX֜W@Z$j@Yh>mp_d6KIUmSlGUfJoc):߾@rwszGR5lw@Kd\4Ǽ;+hE/Jt,[jixR_T3h;쓋 ^f|kM ~9DF(BdY׭ +Ue^}q 6;aV l4% zO;iEkWKqFYhYRf~~c!ntcW[d/b'(w2W}R2Iو4IV!8F;ot֢Uڧwu+E P9f=1HG Dۗ Rqzft^ li!3aL*4|q>x×aC7 {\z.ag9GejɘrRU#΁,M\he-TuHD)SZ)1ڣn?*H[ܚ,z0}f+:S|.[sWW!t?cL YfOžY~VHѨ6mP3KiLef#XN%85t9%}ӳ.P,vzN~_k{ӯ`8,ތ)UMK[tZ1yY$ g'{,C1EP&ʄ_EO~]1P)qdQJv%b|a%|~a㌡ټam末M @xÓd!mx)X/#ٝL}}aS У kЩiK5 !z.:ntE)8 pf볓{.tǾ%7"S9qͪ|zWzV#>-RꞤT.cfrxKQ@\hS7I%n.ik'<9AoJY`\P48u'*I]Wn ňr(ALOAwMPx_h2'Omg ΤBmmWRFpk5+0?8їdb 56u+8LQÎ4 79 E t Fbcn\z-mwf#cfn=ŮW"1\0 b|=AF:x\"p$Q㬃@߃ 몤(^Bsg, IÌE-ؕ͡N7^Of \{)ra<0%MTݛ[tnɒ;؆Z#Y:@QO8rlxdm!B$hG|wX`,([7 8ausda=;"nU683G 2 ZKGMX{jl(ρѕf:Y0k`0mO1S#s ;۹]@QƩ˜mU 42@**O>4BCJr>][qè4N$PC C )Bf-,xU^f-UI/WBWP8ߢu`n妤$[)xyc,e(/KN|}Pd_%Eǖ~*bE! -v!ֳgyR`ĩƾH]@_Gk޷=DkTLLr^O:ލ8[0_;QRiX:H.#ޑQ'0W ^CK\wҳ㼪KKY<|.%BߔQç znZg&yyQ~P^l0Aj!QgW<= ܛ(| ȣ PZЌgf$ Mdg*HMML>4҂,S7;~8/bˌ$q_U!iK+($ ýٴ[vFBNm uٮJ|0sԯ(#=*"yixx\*ܬ೜w40W'55Lj@%ş )o$l^4 81g/M0J?mo'[ q= 8O?4`!vnvm44Ѝ[fØRg!  Hu 'Ƴ/0\w o4eE[^ Ó'nNG 61;M֛C6c6 Zf٣tw/xL4(\BB-j G¯ fr.b]1;`QUȽyP}> _YšO`$ʡ46mtńȷRMHwb} BA~+@#u;V.FyシW?3nR6o){lRUcӃ`WgJE-BtTRR-0d1ipN6+N*LqK@?Z{(W"$) +/`D2,ß߉oʇU*x@=iT=1ii/+& fQ&˛>ږ C~Ww3y{^ +MI+GnQJ'fHs2^ 'l燒=AHF֏ζ9LTMLoο˯wnFl[øtClpSlm> .l/FkQԤKOs7V;igf.]%&O<}YeNR0g$ =>%yſE) l=&ep'qA)e8k ZbCQw S1`GR5LF,OyV^Uy|Mf!ܟß6[<BC"%?-TnOCtu~#lA͵S`1.ĞVV{4|2l!cH^l!-ӆ?fgL"./N2E3^*z% Ʉy[AƻtGɵkO'`˻:ƕNY˜+9f~c^4w+ԥKB{c|}Z;q gkPvkCS}%zɀ-l'LZuLF UaS֡Noo6 #s̘jLDwW歌]-}jI&&O!8(gu/R$FΉIܮ϶ѿ)^>"Ui7Ii<7Op|}OxIP5GWW EBtݍ-H?7ʘ!˭Kٻ%E{R,I ^ǝrT!Cs$ $DPvy$y71[o3q/؉Q5f#|uNK +t~! R4wOeY8}VL~Cӵz+MlэxVP|i_tt_)0ϵy))#>+޷/ڐtLJag[ ilQgQ>4# + $$7U Ztҕs]8^۾YA~okA'>0|0|IF(b чۚk#&7q.ms-+6 ٣{#)1tHL邕Lh!H#ֵWQ~ִ)o6UCBkvO<\am**[\FhN6pKqnkZ&nqWt_7*CG{P!x+R)h橎ΥK lfAȘ7EG܎,i> l*5D y' I2E9Pw~z{y׫wZ$T>LKPݦ8q+q%շ;º!!=O_JRV.4WLױ:c(Ҧª`FsTn@" B49'i&9]=%bs^Ϡ'~lbWzրO5+ʨ~=ӫ"#K&-RU،LُYjYNr=EW ~([=SYBיهmMSp*Sk]c¸}V*ơI6_@xLB:h Rq}w5כR˭fa=&u1sQ3A' B<ʭPv>~PHR4W6ou@HXykm]RSXT=2,1'w@AiX;Ij|l)%6?˥f9x="?LeZlj::H (0o>"Wi"\p سg*J3`/(5W>촲XY^&ja:f]9\}"&`R/Ԓdkp\VIP \;z5Wٺ[GYjgmZ ZKTMԈT/]nvzQqI./ly`*,Kо,?TBN¸qV$j0("pos6;u6%0nIetl?zs:3 ] B(|IoTp 1 '2|9~{Id=ium0V:&#m6M,gwt*}a`74%u ]AȮ0sJ^z$i2%hxP%9Ux+ckR HОfa?3am{}>CO?3]DKLGHإP0G=o+'z"1WgT$ hԮ9_ĭGonC=HzT7 x$ q_lVk=ΜS?殌!baާ~WZ\bif1 9W@dϽ()PĿRh% $6Nf1r.[ld!$0u)O52+[j!?:50A~R#=!yxdGƅ?OU k͉ƻOLyvjh0!~9hzu77ԇl9/'oV,)WS,zkwl3$_EvoLӸtQPAϭ.Dᦟ/ExJM'A\Ծ,A@NNq2]P}8!/DyRelvNs'<'_Xiud$k%2b@UAtTcMI-YeG=+GXU-z}R@Ћ3et^ ؤ94fChiKl?;Nl,"r۬u-a=vQoz!oHO#OғljlI2F>}-ChzIk:G`$WR)P+hwu~ MW0PJ|7CJ` s%[8TGw]*zH4UܟIS2&/as tĎ;ykh;nS=m1;6®A P1 NE %ۢ8@af0wEE]+)~W;%M1E[i`<963*S-r{Qt=K!E3[q[#og 3⋕ԢAD::.=Y@daq?!T;le=$3gĸ-`uxcFT2J-~(mBw (}ixgi˅=iF ŁC+u Bm}(ľ нu9p`l fac]&%!kG삓/&أͫ%'hq#?r)?U,oX,:Qd*Wr$n8f~yμ-X8Fw`xS5&9vN8ۖ=9/AClMn[J0m$>;aJF*+4L¡c%q=uqp$b@E Jwי@OO*$%co뇓 1`=* <k[8א~ ~'fmhc`dGskh5h{O~uxWKNU Z h;ΆSb osFvҿ#o8[B"GǦdn\2 D[<Da.wj {s+eoNcBxJj9^4CX XxD-AyZi:8eSFx"\aՌΈhUN_~4J,0(7(ocY0_ࢳGqNZ@vq唹GH!z=oJ< Q.$D%&3p<+\i*D=QJo'6\VT0[5{P`EcgCn802c/0RFG SNj'rSQ$9{C2I1X<֨{t%XV9? &Q.\lif=cgZC _*98x\ XEE5!RQZ?UTnĸ)kI d5g ӵiGHKWi-era"{Ud*\_A !c@8S1$I3FQq|6YBPm烙5ZZ  ʭ1aNV}|fCbTlR*tR!Sz8c:4?x:Q蝑&S^/A}Z~@e1c$&KmEG&dľT ~%w 箒HCt?b3U bUW"U:+OXyHpMoz6ŭ)>Pp Uz$ck <:Rc='V=8bwm׆#|l ^iLzG9ƫEO n2Cofb"c̡Ͻ6+NBE"V.L&N̑?NrkC{<`H.u.W˄]3͈TEAx P0({/Es`6~4(Re3줵2k- zCv 8s oe obءUaQԥRӹf`Tʱӈט+sfX p tZ47=˦m)Pa2lWtэj}?N7|I~\bS t4%bXs&opK1KTH 1rupX JI]S"'E`tm+tj.確A0 Q7x*02^k+!"BB>Ω|_D.*Y?n[2C:0Hi[>S~.òé%,b(%7çޣ(.6Iѯ 0bEOLYgs@Xo)DqՂz5>1d&VW2 X Rh&eA9\Z5!M T_]eix@!zy&E\ع,pcF[ﱖ iktlϒQK!9&{te0$݀/,Ny`[_eC{RKw= OicEq"K}7d6恚 @=~:y2萿Z}4$Ec}>Uv:wes)XH;Iwݤƫxm@*d] 7~<ЯТbtj QE懖Hd,zxjʕk3^\("u]ڕedBM: Fm<69>xw\Q3\ş,FxychAK+DO{A5V ?Nx(oNM‚f@ck"Q wzZ!-j0?뚤!sn8 2OF{P9Tī,7j;Ʉ#|͖ɞYbCx3êM&0> d)2YR-JK0U vR%+rSe5&^r p5>5i415լ'{>'qFanh6> 'bF\$0Fr0E!fp%EA#uOA*M4m28G'HfAȇ-f/' h;͜A1)XcqW0-gr*PR 4@|6zwЛFctV@v]E[Jy6}lD4r*epWQusĜ9'ΚH0Vî>NK[G9\SV$jz{Fͯ}2}|31B|BG(qg^QޟY5!hz]Bs?Xc~=Ĉ Վvv"M4V'V j&1z]$rgc -^IQ!#XdsuCTDYk胳ų M"?XK$k3yuEU.}57M{@%Y; _̪ [j,IvL(H<.{QsBxJr }]l{T(re&t$:շv-R%oތ;Kה]ƕβ䤸TS)$.pZ )=&`RdtnJ w$?]sEE-. b2g-]6^~V>NZ&X8G =t8w s8ܡK ,ه:R&>R"Z'Oqޑӈ|>@ɇJyZn޻վ.Z/HBCi?E+A+3#jP6qsκ34/JtahmC$9f.͂`J/mNEp&\O+ʘ}GF?u ~RZJ |휷 lCFxy{$+"nm)ߌ ],1d |3m#1?sA)CĀCdPJO\dILӶ}C9Zsu0mੜUq| !`87bP ct(E i:uUC,z4X\Q&l˫vӤǺ8} Ɩɲ)z+O%G0]>U:*w޺ $[ܚ]:&WE $-Ƿ,]vY[5pkQ "dԾXN޴ KUEPA)>}\M(U-?Ŭq&#Tvm}Pﳨmmu7`[s &C+ iDO!a{Bv ,f2ǀEKȘ&n#z`=Y. c\`Tpq\GxzʐO}|o`zҐ"G$,ImfLyj[F2(E빴OYRǎ ?ɔ-j@V,8ꗺwƕTEΆF eF'X۷}#ƢWຑ}dTp/^U<Y8ث\vsM3 %߯Զsbr/ʳ ݚoKٯLyaЎt ^agߦ؃G='-R 2<9.Q TJ< iےz2Y'izF\FE;J>誢b -O/Jc)D^RZ!FǗ{^FG~p!,`axW,r3:ؙvY예(2C}Fҿ$Р%yt||.L oj7gB;E_10μ*9 G"Yg82*-u݊h&4ǷҶ!o@P6 -$. 4=~# k:jlx %nr$ş0stk %Āi5KNڴsFM9W_ùu`{knP.籽3L"3/@C{{&Zg0ձֈq1 V@Xׇsoڢ##=˯SkuגstA S +YG3?t\ G4 6U^ocL@ezB>&F:VT$^[gߋ !dv̕*x!^񯼮C |5)X:^H (oz?oU21e(ҁK:_s@Y*[F;AO]]]r**έTr۫'6e2II<ȥeRQqKt7 4d(qW0THLaoF>_CMMFPxmD5!3vFچ꺩?M!(¹_8c|w+ E3_cW SayZ3<_2; C^½hO~q;9Mpj'ǐ2e+, ۗ@ 8w@}; $3 _"e_V,:TTܹ>V%܋k!5 <9)49J;I]%&Vx TTuĠzOƍyHF;gv&y<_tU5e,mՠw>ab~;Z ?5E9>|\\.R#F#)חr2@Bs:)RF}-&35sXq"dFbBV${?GˇKۡ <r.#X*XYb葙0}t+y;!K' !<!ӫ0{<4Xby04~!-_f\j^Ȁ.]jS|+qt1lK+Ӆ]X+PsioZN,9WZ{rɫYJ>M!l@=eݦ'ķku|ٛdwiF_N-5 -W>q|5>(r ܂[3tI=RЬ) ;Z+|<Qxލ*.9LՒ/$x> R-ZQ5ַ DZYc\Hmz~Bq?' v5lX(݅t >y0ha}hke|blX)Vh$uZ?\!z{#qL`J-?iӞ&dH`8,.jP`p ÄGBЙq[rC;BKHϋ +eZ0_3hY}e@{ˬ3f3˹Ǩ8 ARW>"J{W/:>ӥ#8 .*cgz4<G, \< áoNjBV|\cXר Ĉ48dvl˶=4LOkW̴Ӵ]T`na'D׮ƷxAko;sy~1b YWW<\M?2+$AgҜGQA?9t[4r7= Ӳ`g2x2-$Uݘup®ޤmΏքjk%l`~d3]WPZ4b*NeGq3$0)9f%|;d{ I3EkG4pax90e E}3KЛ\O-qchHo)ċkQ&H}:hsFy;[>)V'ZTVBF{`e Y˚~@RAaO^wkV2¹x{g@^P3BnÊFJMxɔD uA !=%q}PAu{W-<]M.ykQG=n2n LpxPB{-/(АyH-+ I(Uhc.?pCAe|< I]LShכYָt}q왖B>GSNY1`2ȔpqKzb9RkB7%k[kDJH"sW7Vet6b:fPtNnpx>-mٖ\B3t0 ky.FsVN*!x%U$x0tu om8WgYZ2ee22c040496c739c1e3522f2dc84d26698ab6a19aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a14889825158a2c19c223dfbc6e663585cca786f