SQLite format 3@ .0:  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 4)T ]S]Incompleteness:threads=4elapsed=625.819cpu=1423.508gc=15.284factor=2.277zXZִF! ]ŗXf[&x20],_Lxr?6`_a!ԍWd!h0aSˆ_ fH:AX(su*wK?Ew-kJ /XYtL4{#ܡfQ3j/9B'gŋg8 YU-UZq8Łp;1"ꧢѬ@Z`܌;ǐ< n1D,":m_? `d>6Kϖ//ڙVbtITL;M\) 491?bsjtos8XɯsL;nS9 ) Incompleteness  kh&iw͉& oX{I[x8pc Y7u R7xI~/N36QWAGxPx]C q6!pdrQ䏹mF/t?۰D2fwϕ982y cV|peҁ#qjk$2~pQ?,V\Ƥxv=:fKv?1 ] gwQ;HcVQr.TO,GYc|&K f ㈼6qsb랞*QV ҢHՎͣ km٤1_amTV]j7Ømg4gJ9#2 Uiwbvmf DPMarQ-=OeRZA PQH.ʇZ2]%(ؿ9Vt[4U UA qOI!gےO}okc=0wûXr=(?<<BiݑI%woh5iMX6t*"}5}tƽF{Z ) )a~+zd>Sm(@sf[_|MamPޢ#xWXD@ry)ʗ3ml8WZ &KLE|7zx_H@_':+ TS-,w` -,[S`./t.N㊞03ÌmDU?@AM4*(d ºnqN],`4=6R mU>L(()'D2~ggQw6N]ڞWO\[=F `u~W'QuqS= 7eRlw %ŏ,X]k=McOj*NmiA2CвgϘ5b͟PuSOLT&B&xHZ$zMz":RM \dZ%#$ɱ)YϪI[^h ţw\'q,y&?T!l1;v~#f =H68danooIyޗ5bM0A ;Zoj2ֺ5oYfSr Rs,I@ѥ:(4ƅvmyYg 1 6c-e, Cӳ/I~~t6f 7Gt"cFX{v՛n͞v {Г_OxyJ~!9ӛ3F6 14T}J s4'$ʔeOyfXR* kdwל1c{c&SjPKV+1po/LK]sBFQ6Q(\ kΖ\ +<֫aB:K-GKIHI; gI.f.(n@ҒVqoYϚ:yJj"]bDYQPl| 8haG<it"OxZ ̲^(x(9hΙ(-CVlS6`Xʧ+eQXbw%o[@k!A={gY^#-՝*I~op.Pxo*)p 9OAGi766p.s#\?N"g.(="Җ+5 nlsbߗ2 j|I]_MjHlWe 5ǒ>+_[㬫VfȠ>x%*ׁKnl's6f3MѻXһ_ќH#Q^;۪sP(-kcV|ma]+C˷P8 MnJx3uݘ.n T+dS\n@<7v,&JB+F.jWgog$ VZ &T0ho?? 4v3{i9(fS+Kov6,w0)`z$Ir[2hjp@} s*"YUq_~e26 CDxV2XIYK_DzЎG&9Br+ϼ;;X_' JMAXd=mTDEr~]/3fxV+|jHhatz+EgiO/FF~Zl⣧)$f  fGF"j1G=jznWZaZ=(8$ɂulˆ 7Ǐuf7^KWlpoaP:`Əntu72s: <|헩zy=̈}}jti8G|- s`7V$9vÍČ<>w hQ#"@.fVطAܐ[ [[6dQ[(R[M(0AbZH\[+.ׅA *SĚ*g;/$1Aϰph8U|Y+C/ŇG8FTتb 5B0,f1,;0<)23p GPU069 |HH  ՗{$S!# .߭>Z6n.eyiwOU#T5hqXU=iya;ctΊ.r˅$IP<}F&IJDZ TM3 2G/2h'CYp^(F}IYŁH;=_ƖaSҤ޹???Fl12>QCގ2dߛVI4Axa7{RgGQh,sjYWKV4L73D%e=VdШ)FgC% 2:82Wck bL?RȣuUXm3%եsCD`m? :|,up'ъlE+6kN#)R>bm@o?+D6:`.9k=2wN'>)Rנ2QgTh4Az9cT50h;' U`/%aˠ';$,I] dv=_&~$Nc@ՎihH w1Gi8rG0#HR$3! JTkSd捡6W|De'(<V&ٙ̍@z$X2 z`5\q)jw(4C,c@1Y'}xB6!~/'@RUλg'rcc2XHu9hy\khJ"|t­\;,ih#rzR;$7f2l(4wȨ rGCwT*Sxuq)GXp|;Լ5iEqUkk5'?9_ ;yUj'?3d|;0q'RuA0,qM>F= Ie?~cمAM؃7@M䘗 <" g)\XW9CrjۼarƢ)˽sj⬊+ =gLncY32R~=HF>牜sk\WAlQ1)+vRejE) Jt)3̢C tx[TC0-R 9ǵXRTE9o_N?ܭpSBc hq!w"MJjO(( y5~ Q!˯j 5,{ Jq3Cc>Z:9'l|囸f3/L ?ܗdZ m-*&QKo`/X^#7hR/x"&Wi_]+DJ×g5u7ؼ4!KJL7fLt~6E: Ȓ]!|ʷmS,Dr}/hˆtM|(foOe0-BjhbGgcL.$eܡz΁W<+tqUP7p;s[ak .yb.qqld-[LR:a[#;.+4Ɨs .:7AMcA%lKF՛n $RGx" VX/!EK8=z\d9K0c9.hSJH_q4 !t3Q-l*ELhh.|W ; aTgbmR tFWGujRׄL Q5:\jvr- nS^(xS!(4пR T J+OSKRqyQRޒDb"-H3x0+!WU`\mJ5`|2My1T0+gr(AgCOJ<d$ Qˋ U9ߏ\60SIas?+-|E/Oh2T]mt?Ypay^ cwzG_dw蜙6 _kJOloɄW?֝$APfM1"^Ϝr4_ k&y/T#]-ȧ?~g }ɚ>Ulavlfy}pב2S j!{L>˹*gQ/5-0j m)LI!N2"Q=2B)wy VN< za({}B3FP6sR h[d'0v:i 2WI쟋.j:mf$ں,ic@:-`-[khɏL8*(JO$G[sWύu v"K.or嚝͕i 8.v,"yoeg!MF|4#{ɴ 㳌e'$ۊX}H]|jhHcHs&_ro=ͱy?]&I[F>~(#pQ0QPF7=#N] VaalyϪ׭E* =O_[862c(QJt5(bGo.{׵Nm/c,>K''%e{Zߵxp\-eRMzLe /"q' 2$˦@jj Ќq_9j,GҹrUaz5'#MemH$ 0 ׶aܗ[ ˗=sJ阍)_o˅bA= šہ^na?@OVu3f x[ oW1AnSp(IHXQϜo̺ssjUghp]-WꢓM4n8^kQ~nipܙD&k(xVKmy#滛]T{,DZWV^~-$aQR vF(≗*2a ($u zm(gM!-*n[g(_ 6PiA{._ӡpU>蕄Ni nXGH݉SLh-+/0T,Zv/ϓ?AE XRC=.IXiXo٪`GMzD Ɲ4"뷮[4+0$J5evM =^?a.өT5 K dKvۆr`[M32Q"huR=Mxg8cdA/G)5m&ٽU5%ƙ:P%AW/zsn(DRrgG[R`H.e}k{.< o!),3!mB3fbO2‹Hw xޠXGe"A8I:F_o/-w8 MH>܅&ǿ> (x޷`ujqeV?^}}ڳήBDLRlL@}caϭMUv,!S!]ҍ5|^}_/ gYZ7zXZִF! Q]ŗXi%G̉LM^8 Gu 6_Wf$.mMzuԟ?2F0KcI]C3 V_J~D0Kc1:YCpSb*:Q2c yo䐻K:l޼AybxnLDH>&vkŘApDBE!yꉆ8,W{+J5:d,T+<=."|0O׽PRc`ċ{v3qoM|]ݞ`tyrIF/^'L⪩uWڷ nNc3bZ\p̢ ork ±~K־ܰ%Nj`T%~[6{v[)~T:=oL#y,p4?sӲk_hIґ2b o;?PX5PVS<&5MNz,C9jb84;°$^֑"O=3L0;T+CgU=JGEd_W(u]ɞ66m+M]v4kmoD- \ W5ȯ@u;0Yg$NJޒE +.[W 9__يH 0 !eH\wTT%r1\#N[L̓l26G6H:b;-)pcuL*K%l(_: {4]6,D8{>%ha~=*rkvGW J/jΐ߆X 3@D] F;^fscM!z1."l!Tm'H{}AzΙ)1gԭfႽ|N|3`.NvYZiu5n Q v_SGZ~omv$VsŝLZy5ژ}؛O_f){8>E*qX7N\ pvU]B|<0~E 3.EߚkͬpBS64fMi_5f G5h_C4MgrCL#urX7*bNzN<a6~3K:/<,ěİYm6V. K~a(<h.XPu\]%3b-ysA(`]`+E#O=**14yPAՑ ׌j5L wzTɿNjMx~{TVKAGn a~yR?K|\OiU!7FV!QfE}„rk2GO0Gڋc4eI轘;9<~1EXq_4p}ZlU&p'ehRh3 4p 1ڱЛiwEFCn7~2.3}z:Y_@F+k6s7?/fKtp -*zzua]٧tdáMqTTMʹb: OPMW$i5' Z(_o`Gh,4* S]jlFt=,4ۜM]e)0*g_ܸV ׃&. !n*c_IxEJard8([Aon=_sJx-|$^`'>4feAU_–ڬ2HEWwPtFW±Yބ{)J 2~NۓXbQsJ=Rq5LJn̬'}k7iЊoa$22غXFF7JbB(VO㠰{,2PBr-@N -hs`hKǬ0acY!41 %^bìr&T:o.$ Vre鵖O 9Mjڊf,o4Ah׉"eC%HU_0;ŕY*5;†;t#pJCZݜ$ws) zc"仓\&L18lX}(!`ͻeVI׏XTF,FQT_hLGm˜IMWHQVsW 5$.cW30BG ")ս{P1vplF DC*!=#1eΒQ.Aî拕>&K OSmte4fiky8\pqru"̈|>Ke)u!!oD\y=ՒкlTY PnG=y)'F'%sv_sDlJ:Zo$NQyq2aР˾b'y56х [V&OK[AVEI7+3T0z4 IFvؽadj8rWrL散1ܼGJW5I:]n;_@ZeztO#,gY}Z >[!J=Xt8="^LY:k!3TIq *R; 49&oY\kW>_PZ|%C ؙyJf[Ϭ}cC8gFilu6G?7>֯؋Ce,`pߗT uvU=D,7!3K??7x,p'С dQ\pz2? OƬ"C[Њ6 0b NCS\8fbݮo d:|WF[,;:O^%uq M] TImBk" F}B*&N34J'r2dkΰz<`T!/ǓB9 Qr ǫ~b0n/|F>ipSӒ{Qx?fqE%m^J?ŲicaSCJ5a7GqBamҾN b{>+:;f6`nT.[kQIRn?jcCX[CƄuS<$ -ǝ(!L[᝕%w]yAh'~.*GYq J#tR-5P)N2Lv?} N7\6wbx(% 3!x؜QԹ}9%G9#n61&[9E)Q+{;~XN 5|K"mrz!rNL^fc5kRsn$MSӵh:DQ$ɢdi+f5"BdS=<kTߊTq>UgU*͠t.ܾN,fѿMh8L֘%vYJc<, ,2<& \Y&l$ɱF~{f4vl>PyӺ5m솰!m4#ڋv2cԖҤM,LT\^/h]5GpM8c@'ia]>ض˝`M2"jrD' gwbnC*93h氞MvEœP+*IӸ[O)RٕM;!,d}yN,': #]:;~%'"^J`Ɇî=Vw?sq[c( o7s@hDu%x ]PcWˎ!EUɯ`}gV*(p{1Qz_5H>ьUKI9A "47Sll90vp62]8pGtK2V\6zK}B 66!>i8骘LU#5p|yun|yj%V+0ᓸК5ñ` UB6{# ` KA'p3[9\>I̢0rUzwz_O91UUែm]NWņwZ1/!g[:"dpl"NAЕ but$mE}iuLL ^ݲlb;dULf\}԰!iߧL#p74:G& 3Z81 NWRк!oyۓښ!Z)j =%= gv4@t? .--ak_WqAZ,,6.<˻I*pal͍3/=$U6oG;oMj8ag.J4#d^&c_>tRev»$BVMu:{*ae.~O`iqJ(g LU(p$[l0W"!{z a+d/m@5{[Nq1䏍Q\Fڼg In+QD;5o7q*tWfz V©kLNĕIO%NJ<7I{8u} #rʲRtZ5)8Q"arЪ'Ώ`}[D5("vݾ@9Í3J;e"3bWo5+/ˬ q * cjƩ]L`S6.?g|3Ux~MovzɄuȥEN\e|4@dPԠ(/0 LtB1 b̢rZnڵ*=P,-]9iNLj{/5IAb;J26I),j'\j}Ͱ7GvxŘٌ|ҜD}=U4{܂b.7ID4lSJr\wNwK#{Vb[\nW8@|^2P^\\dֲۑ/]#;\;.6A|%3uz:ͅXU8&T<.OMNjE5V{cQW'-J GK㋰kƸ3TQzކi<)R3VNYўTh!U <>GXzfܐO%rFvEn>$՞it"fktb{%TJ~A)8ט !-$jI{cȔ枀dJ.CQ ~o;|c "Msd0ψLR4" +Gw|K<C0Q'h٫S j23b0'GY1t茙j0q"3ϸwGۻzg"TDJZyFZ9 ;<aQPu^܃O_(Ь\!h^>EwD^EߊC$m!܆Q'~n^? Kl1,1TDZwOpJh ;fÊn1Vt(X8zRsL@1Le<}Nl@XQ`@?WDBk61ttk;F.[v0)\u4p~c M0~(uՅMa&w}‡Wlj!}Rfn;e>EL`@l F#v„Rͱ.PΎab$4>Lq2)I[Յ U$:F.C])꾣2T4LҍϋtberBR`ݜkZ t5ԗC0jR1N7ٴ|॥dzc>;:;@<0>8Zqa>y u.k i!C?^.VsԲK{vPm=9cd]R6A 7JemC+,iulbFU]7/n?GjrzeUUT-)/CY?p8Xԑ.ōt #W 8ڬ(uVv8"⁺1"Y |lnj|saPk[-"+dO/ۻ?2w 8[Ҕ+2\&H,C!gKP,p,:O_DNN2H^ ǪAU  hs'J4h_z<[yVG sϓ7FIc}T1DLHOmbSO(n[6>U3!Djv{}3=1xBEܧ966hupdlQ =0g$"mB8π絛v$P.0?1k)* H":gZxKZj^Lݢ]Ha„1Z`hlmbMqȈ@ }iA|xG!JWtb!\\#!oS1e{F<56Gp6O@qa{ }+oΈL% [\к}\oziOu1 ^vy|u, 8VP]౅ }&KLn[ <w`#&k REDp7 )z v5VWMoT4R].wS$KM^ɓ]KpB|Sqvxf&b$Y쓂>H*Vυw=_IIy4_<`TPm *v,N\쿘1Wd枭@z 1ޏّdQ0l0xzҡ=^(F~8]Ow6u /0j,{HOMCNm{gk";37EHְr⣪KTczԬv)ec´ 4a_qe쭄8J®fW&dEW"JW-g܆ų~BYPO@6pjrEulg2U00בLxUr>wƒ)Ja0x{ /2t8Fcux;;Vu!}Sl2q5F+yD^G lKg󵻻j7tT0gĀ;V3MD"4.VR \ k1zu@1GeGm+VkZs 5BfMVT{:'Vj|q[,=<4\GH ,j6UTzi&aiHZc7mz&BX7cUj`'=7.!O8"-3N,1G~ +J1VQX-P;O]E!>ቑ "]d( m'E\¨/X02Drf<ֺb7$jN-anh/r$oY;fw0-{R+^V~ؖI$šѨܱ` yT7UTHƄS)wќ.x) {ϑKFcn.@CQQ\2y.KhP`HL]^! p"cm8h:{eh {mCQj7z"+5(\jF` x 75i\9YTB9~NՉnFB~kto{6rZzmI%&M)ҰtjT.D<~򡱱H=QL~ZWp^W  hyEi?]9~?>חp:Os{SĎXq! %pni C1D t5G,]d_dz runYp|7&Z gpIVCudZ3F#n9YxWވbǭtdH(!hueF Bˡ3j1}"+ÏLl1bjqْwভ]]MW']C;?w걖սL|O *:GgMmc푈4Ya߉F3<3.DAp`jP9n1mٚsQc%dDyQf؎[){<2蝊XSS &W:onjT)ґb \}pF3h 4yMsH#ޠ3mD6JK!ߖ)!l<r/KioHًM*Kxc8:H p .D 4h+r(u:4v,u )ltCB8Ρ7$-8F9*:;g)n/1/2 Qs\O9w%JdO'%=*ƪSpo *z`Z+yYY^Ml, 8w)6rV@l↕BէּU,6}hl"hۃX#= 0!9^3ejWBwy Ѐ<^-976Dl )\=b T0w.gtm߭u jhu"@C)~{5>FKJhʸPg,2kG2@@FwtnEv}ҫ ;OwO %O ٣ZZhMK_ɚZ{xBR]-V,G94xOutBRS,4)pM7cOwx[D(i y5%#1 N#b:: KD2ykYΓP^_0# ;Q1A D +SMa8/MEfIsEmbƀmG0r`κaɫu=qvbx`GcnQ`@ vۣCv&Nz ,.d?iʾKS-aЦqK6!ThG~&{Qt ?DžZȥq^^Hk2Ѥ$V>ꤹl"F*vGBc U86B/4:8x'ch XTM =[+&UBqf3*Ʃݤ5 *с&͒0" 8,\Ҽɍi [dUd+Rdp:t$N'FѬFV#:[54Yѷglo+2FuB 6el0TŚ`OX)ncZ0 =㉥JSv?e]VK>BR35~1N%MÌA6]1i}2Z 6E} Dߪħe bPxpjvJA9= ^>n,. ΢B*B߈)>=to',aBJs+SR#}wM <*"@Zp\ݺ'9,S@Q0bCd!%0)Pq i&[s6:%.X)Dp4 $G+?kL^݊5h` v(YP$ aX0tya.$ v)𪮎t(8i4XPiHy;<a #a^]A,͸=pqkoIUu&Hn!|lvF qV==OEW0-qr`B' g`:V,,y[da2+C,y3}^VFaX9y|2, {b).J',AO` wjdITmgx9-'bc<4cKk o:FxQ2G'^ -hϤxmlkiKX|h-Jw{v0( gJ;QMA^XѹX3WeƵI1dw^Kɴn$|zu*a]faaDR{)GNb8i, #F(8ֆvb]JU>Zܲ&VȂ9ඳZ^NXb"zF][^<3\6׷%K}gf&gqqclXrE!-If&0g|)WZ]b,r7E2d(j#r%A@ 8i , BEFe=A*n1H Q"ex>|ACE>[A0c]/oP yJ'VLu3ޡt#ݹ~Fp|FaX3M!{e~4B SqyN⁆JNX7^۷F&E4؍ryjwzd8?̸)G|Svx3A7V@,^u,gplB6{!ɢ}Xd~% fx;6 <Ȧ‰bv!GTWy7|zVb,19P!.U|ķXKnU,XOW.=Pi0*%.e'iex¹yh,̎+ƿߍӺe&:wb;ʍL1ВlX9cag; iܺCUTL})'%9PhJ#9j@.UbUP3RM"[h2?1%\ sʙf%^Æ:Q}$&U]nϪ)v#`?+K/$[eo toO vWOI5^9؃se~A0aQ&o=Wkj`1N&90{rD㣃6k5uB4ا{Y^cpu+ B!buU.oqG)3X2ٝ>Djn:RɺMdGHXK.0&Ov6Gg*^Y<?KDuNԃ'o?'sP2f*憠ZkzL"2Ѿl(+\<Ö(a*k"g#8uaf;Nmr1ԻKȼ M%P_0#[{n"UB\^=΍y=Z5`bV:붘/ȕmp:K$̖:6K6s=^ЄvD_*SkM÷4ɊwSrҠwjPvwBZ9`>ȕWfAb΀/<}QRvw䍛$t=9(/ZtاkF!^Bn˴&e0{!nL:Y%GJwA#FUH$(g1ˈ7y0DnFi^|P5{O6DEyY]DHdȶ;2+M)?I}ufkg\Et %B1zo> HCn pMkݰւ%n0`&תSk}Jx?p',JBbâK\K(_ejއ`- E+%5f5ޓ;vrRM~n>Z:6T5©x{ G~4ƓoÙ!f y<]9,XJ^/ z34SQ讍g͙ԵȍOF(7n*o^:rq :D|!yxC8 k 3d;]uP~ eВMg#Uun@t)4!i߽v, ^DB< ZظS <>ҤGٴo];Ht3ud%N*H,|PWHOff?.v%W߉xށqUa\hDSQ3ˡ#({k8&IoK+5-uu*78A'w"=7;idM1<=>|>j> 'ziiFBKC87a/Up!];^{'yn= {#p mD&io=dw^j5Oـ*]_k?sGٵl>A&dM)*>Ta{O t+N aL؎9"SLӺ-2Y$$ObD `Ӭ S2}:7c\3'r`ާ[^pŮFZJlQF9]61ұVäOAW?T cB+Fte?Iσ礁mlq@Ǎ0Zv8`üqXqg1`qZrw9x2=B %CBPP_UAز-dy~ȴ7=|dun )ʳbB2¯U93W ,R-AuP֭minz ofb/?M sVkDn0oZ?csEG-|6aN`}8(R<!.##jnd?s0]QhiżU=gMJpT7OOx^s 7q% |q ͬ ZXg2aI:u8ob1 ?@H {F[$H{9Ru$^vf/"N#l+m2;SƠ[zYB)l׀ IXAM[ qFWkewҵ#q}"btΠ0:k2qN EדXePt= s]qԢEf e1^P8ΦVچKŚ`"ܦPAYb%B o;H5'Meo?scf9S\u3lcs'SE.'f)foCfb;[,-ݟݗ @麙#`8qL)0DXS{=vhng7oߦɠT0]5=4rߞ?$ܩ z#[3}OF*NOrҿEVc),2nuՌm M^5>j("9FݺUrʈ ~e/ň{SZ}ڍ3?n]%K'60e{ njDQ  ?{V<HMq&ZU4$/ hv~.Оndd%VY*(thWܕ՘A ;GT(w/Ԫ ,t\S&ܘTdU%۰@MhE|߷`"|VDUPWg@kP"oKkF]KB q.({}K/PduN3ODmk[ pe9b&cK,* JM|F9 ),-f5:FԻsV_}!vQ"K A΀͈by;dj\=%GJ AC. U&Aong޺tj+ETjWI_Ja0s a1ruttA/1).O he_{=G@?^&Z]Ձ v!bzPaP h0mv3SªDPbp@cLyps=8'dpC!M?,H-2LnM"!9m;g6, c~iXP@\"okx8lwoՖ.ymnn@TڕTd+Nx'g2 @ g1,[kj\rMJ ڪQoM`I?(oW g\ymD;*Zc=~\:$" K=\]!n8 fN? p#;+ 9 ;niwv68avvl\OaZX1:ɜ8Xς:okLCv 3iSnٖx1h~mEZ.Y Q:{4&kM.2-@dY׭N#(ˌz{+U 28Z$3~O' -~<(Y+c_zu`|kd@il$JUH=o峙FpyF$AKXJLP5 8դ(Ͽvee4gXG)#If$Ǡ939ʮhP+`2Ū@d% !#RooDRKc.VBZj=YB#'ܑVd/htiﴏNu3شVnM-Z6B㙛 k+ <N$`$4遐lfgBN8E(2N,˾|~Z]w璣{B0MkC^CsXmal.w6 +z];ٝ| j!(Bq _FT?fZqZ/S kĥ[jT/#?djm5bx _?L v$ {Ukԃ @$T>zC T ?rUHp'v2@s$ /fX(H8/s; 3lZT6(<p.)PG$XګXK)x]y6g :O3yU{|LALc:Z.d9 KXTRqD &+b @f=NG-l #|rk|AĈR(sgB /Qhw{k?XQK)C4j35Mw!UOc:Au_XSr7Yf~>L60fdgIj8X`@&AL{*1}\Q_{A)!5'OR !7.?ZI]_`e7:|/=D~42R+EOԅWע[/{2K@B\)49XM^k /{,jJOQ}Ao:@ye6Qs?Uox:Rn24p:(-,ˠ[f"͹-FdeU0&lv6Ů<ޜ(_|9UPuLK;MSU'Udǿ#_]DLz^+qYL)w/@qzY;l01@El& #ޣTDwqL84g:FD=F2Sf"*@v(ӕvwU)q^*MUf`j?*GΟ7| X,bs{3807C/quBsd55\m4L-^M]b76)s5UXzD9 laآ̤xTbG 5C=QUF8LPg9((߁z`6:v#t+ކ0-/KʷCHV޹ ,L˜g0&pcþ>0Όr?Z44>SL~5몟<"݌zwN[L BQ+EKg#IZ?(: )bL]7r|3! I7v6n0-A~*$4ޖ:_y=Bm"- 2S+v"O4 5Xi囩O0SDJ |r))Ea $n P D Z^QBTA/'j4'd6_zp|"X'-Yⰾ)k=,uWQk-!]DC&?OKpZ,D UIcr-4Y"ثŋBk^zz S(DD} k^^zbRUp snR }nlELZ̽A۬!4<<"ԋ+%ДQպagTJxZ83$z):)ua4NE a=XmLշ?3$=2SCrv`]Tm uS~7QG̫}2I>`wJkRn/W:;x4AM+q*H (mvBoo;_*kv=hc/&PѯT[SVzp@&A d[zZ|)פT}wfGJjړ<[`!J(m1"sYoqMIc0CdbĽ6Üƚ^c7"ܜqlMRན,?H38=l99ހLljcE?4=\P1g~X4KW!iݒq;z?e9Ș~LG c#]Nt`- WT)8?>^tM3"NwWffW^ϓ Ĭ$TO={A/>Ĥz2foA-Wg!=F5!7cqq b33ҢpSAɫ-V5CIC(N9&]$MOk2S '6G$e[MNC]Zڭ.i#PުWojۨ9*O,>8F`YB֭g |po*Q)R}=a8-=GA; -L>q=Us5 .\*NaTwˆhS''`߃6(+, }2$ ^ovݡI aqQjvnVL |Frk2] )YV cm=&yASCjyN\Klw;AE͉T7h!0 YhP 8-.n_356aUsH6ҩ~Jx׿j 1r'řۀd9uѹӝ[ڙJr%QAK{ Q }ҙ7>r rO24~ \#0׫U):N~HHd\,UU ܣyВ4$G|pizt*ٻ-0]BEl ޫ/IiY=A F< [:XiH(N?^kmcSdTUQmI=82f·Sx5ٲs-#tѢ 4b`*]z(z"]ZnfHVϸ}lLLjbs^@&t(u,;NMIDcvQZ3"(4 U:2>'7Ojt[Sf R%0o4v뫄gc*{Vk}ƱcrV v.Le~)s~^lF*Ji929zm.κNFtT`&>73 u5@{sOKfpG5 fHi\s^r"d3Q.UXaE}}4ifҌ+j;E1 ~K};ĎPصQ|Krp {\T Ֆ#WV4Zh3H.B~eOWVߧzė&/jeյVOkԮ`۠Iw`) j*϶A~úB / (IWrԗ6tpX G?P8 p4ɴUfE-&͖:GGj2&%@&Awasخk qi^}YQ̀ɢ}^Ǿ +y"l == M8~籸5;],:AN;thTkRiܙv7t&L)Ro!wSxf}"[Tթ|l-bqtտ8ZPFt'<L.i@-}?[&fbե# j֨9񙬞r^ɳ Ұư-n4RD?:P⅞9W'-*Qd{'2` ,?f%pS$Ix7{VBx\DTRp~aEoZtMɲTؓϹޛoqv\= ecj*ޱzDD#rFGȢ>b"I%p_(Ţ}BuoQS.DhI2dpQnIm F(CVRI0b' )7G=*X* rB((a_?QfB܄ځ4 y3L]ߵ+;Xx ܰ X惿> xDL0du!VEv~F!PYe,{ey{grexOUmI?WSJ%N9Ok9u>;c{lv²Rӡ}I,;y>m<%7Q w^~=Q]Ӏq\aebԴ菶K rg!]ʅdܼד:ւ(nSg܃$$Ct$lPUJafIĽE@AaTo;F+v'h!e[rgl bX54J3aʓȘL3vGi5n ݥYlBZ*5>R]6- *?h*u4aVHu3av0e'Â|b ^mzoSZ,D@U 6De 66 a 0ܶ{9'`Ȩ6 f;b z^ Q K;gh_vZym AbF9TnI3Kl }ݥ,S͛NoJ15?:B_JJ%泥 F/LW#UOKд3Ôk[Sۂ vq 0Ϫ:-x~BIҝi ,ܫy 7s9&oE 7?:bG;Rn6UcnP#&9-.j{[|2K0% ?fk fz=# +E!CW%q$I_R)TLM/Y=s?+249ƫLK>ꐛ;{rDMPsn.}ԫ?4VTO P5׌ԄuϜĢP/\n}yBu4@}x"c?~M16@{'O(ꚱr %o ?rJMYޏ1sds6[l&mo VoZ,BFN )fyzckUR0}A3yR9O_jWyL3&er,4E!J6+1>FST#Zx$zilͰՒe0tH:<,[h=UH6E&b 6z[dhl'w#=GtQLf]=[5+I%ȨrcHL}(G. ^ZKQh+oз|+KJhU;QeXKxѲ< EVWt^Y_mAL+ߏnT^3cs6a{1驚8%jx(2v1sAfE$ic_Shq fDrO=%'y~|[y$-) \Η$Wime2DqFHғIH-qb=-%<1y+ne;Ѓqߪ]N&Y[g4++ em Nl^Aмr @K.C)#&4}gpaD n‘qcnq8 [vk;/H޹C?p[8H|F&`s罤ֆ 烛G8(h{CD:򸫡򗌺k"@h JOTn \B!B!/2lվ~{w(E :c,|+ .EtUtaI(_w `0&>@@P {jn\[.%vqpmi]( |7‚N*geGpp_GK܉Q,T+hJr7ΫWhiVߪ r9%o1ϙ+~ Te )'QX;kD-zUAbL])oD~V>d!UvcrY̘qkTe|ƯQvM>8 ;Ȁ/bbJ&+[|`'=a9Y%3#9S]?egUDj̬u! JltI(T$ZeIc(JϽߦ@鉬(k}ZE]]ta)3^HbN6rA9s3+$k3ՠ;[QYiVm ]U9-d8ĬQJN.5y^C6,ӥ7зǥwD6 IXmY?LDAr ` ;etkc[,P=mbߒZI?)eǣH]ܿjIti8Ff}UiD]giBHut6DŎitT<6h R?/|?NSLrc>ݷ#snX2 O<ZL |K΄Lɛ" zjWc*h\M{7g!%o]ᚖy:uXyوצiOJnkc()5qX6ѕ2m2zK*W[ 73DV pݹ_W{8W!.U--MmbFGq.ldŹJ+V:$78:UcfZ~"bb4qMfp XlV踗H#J$[u+hw8aJ'7+ޏ vP>#+WF$'G.Pd`=vWKG0cˊ)غ3P,f&ӟ4^aC7UO.)c)KάXr?EA@C{7nj(;mE[FY] ս.[#XVYE Ay$=_GNpUUbۙ;b8?κ;1aSsQ}e$uXmAr.BcHkYPu6#\K:LPҘZ=ټ&<t)AM18Z4$&A{DOe#ϟ4s)z0ErrM|^1 r4'/#q. % viÙx!GB޴k~Ck,ZZ;Yoh;8g &Sg&dEUDEa?ӣÀuGȋREӷY~<sJiUFf_S%7V][-.'NYoE@z Z٫3 Ӣ+&)tйoE]Y;UiUJɳ`|kۉtKUuZNG/[hD{@l߆T_:Oދ-gA& ුjD  tJZ-IEU#~V0\#zrĆojmX6bUf7}v퉉܃O(cTsM{7ς4̞FOiFwPF7ds\S[dک뤈_X.cGNTQ.- >\Buz_ ͎|p$,tXDg`ACtti5S)1m{qf_X"#)&Ҥ=`|X7LJ7Z( 4U iۂkΒ>:Sn ~҆e?-q;ʡC gǼKOQ XhyA,=߇|dhspQlLaYf .Ί2bTr.$ƹ >)ygiRJ֔]EK/Hc,N+Pi 9FpH5pĢs%6"hy&c $ٝ5DrӺ'd>L 5r+ 7m'(\I\\k\0ײ #Z|d)뢸/Pʴ%lpMi.UzGW>TJg ".-,. |`:iXD#% ˔rc]M9 ^]Y=1:E瀠ZěԱZȩ/"$FǣlK&@(99c"GG M_8^pyEy qq˳-x9żTq"8]CӬiˇ(B<}οJUQVDXNTS~xnc >5 mJs1$ģ8O=L~󫎂 CA(PĭU*h8}7;v&\Ar.($tq;ZNX йk)-8HO'MO19~owu ܀P]^ ?MzUX;B zV۳E|>Ff ("1b߉ ,~ !ֹD Jh"SݘJZ]"h^QD#_or7; tc5*bcw/O2' :t9 B"} ^I tky]즸~N=T_3Si_ȗ.ٯ2Ć܏ƩnF%KsY>wv,1c!GYN/\pԠҭz{>O1t Y*GQ|~TpU,O Hl5T\` \!Ȇ+ {1$sxlwbb5?]+1 >ξO[vtsɩ뱖!'7U,OX9Y_f3vjuQn4Pt0hv*;xަ@> к-`rRC_gqFilǦfF3?>~C\"S|ex2^NIMPF5Dwٶ: -{QR,:T˭rl iYO9ʡuqZ蜞l,ӫr[Bme#s:OU>&,BvM پESG*Z[⎿o}+W+jLh; J͍J3u ]&%ʰҠEҺL:S`MvoCP,&_R>Sad|4ZyD%V8Gs89=h!D:D:4@Se\x$en"u A X$E<.F/F[#Pow*vs(`,ayUxp @94sH}Y& >"Tk֪U$R10Bu<$ZKrG* M=8# PQ&QY8 >#meŽ9^q[ɦl AMX[Q_0}?{%Nˣ6K~]辇J]j|à_ Y~MְDʹaTr%je\ᚰsQz:h]g%S v3[i(NwvN%;"e)F ] *t(Dl*&.~xdUuQ1=R( OeP^/%$]FUM:;XuvfKcPrbr9@ph?ekj7=َk'.R,E %.pRXUHnq\mevG!oZ/8YYVk$ ED,!:i3*J@/±\ErAnj?AyJnG#L.tj'Zw5u6RⅦr? 1nŠyH]'^% j{4Gi1Zދ'yMo+稺 8 H% HTɳ( RrV `(Y6s9$tHkij;ŗC %Ha'^'*P}/{hiLEAO{Gj}4B'.N05a-XNLI1Zzv,y o*rBt%v+n$ں|ssCЄLʝ3//5O]n(|#SU#.E<1p|+5=-T״HCO/JAm+l_I ș|[0GEUsT}\ۋ:cy,k?9;::cA[[{**z^?ގH[lf* ]c\\.Gҙ,z,ߕD+$Z{*Fw&K |XsId̚$ ~Ec HOGDw:iGRUs4"u%¡=n0.Wz 8^97_u_dR{.M#~nI8awaj& O,$4xglIĀsFg2+uC$lCf3EeJSpϝC8 *:G*?\ +oC[ %;CYĝ^qDÜ0Ny&\w1"\`ҴE Pq=~Ž߫9 oe wG"6ؼ%ూ'e'F!U-OAzzH.\l2"s(.i(kŕ G?a92ANzWj?-Au6o秗$RTVUh9ly^M= RkI\eڝc#*dTڅC\I1*'"V~8$2&q0Δ}QjݶIA^֖AkP2aT!?Tsa{1,Rvm \N1g:tjٙPj,>G`LqMV& _BA+bt)?S䘚04'\ Iڸ\ sx_=J6s auqh5 Na?ٲ jGӠozLN7:sR5z-f1Fk*$Q)w|tƛ*ŇCn'*S0ʼ͘k"6sybFib,4oɓ0v# >5D$AOd$5T?`L3w'PWV84@U}eصmG i3y_= W}{Q o,oW)ܧ0`l"'zfvR5x-pB(vm$LI$9 ?}8OM*Wr ~QQIJ8}%IFGl7d KTY%5 'N`(sZ- %5!?f|'K.R{Nr`Bپcdћ2Ӡٯ_)Hq(W7*rwLk-/Y p ,[ڏNʌLxꋰO4Tux䱬xʹFӑqz|+#S mCě@!kmTsţ U@Scv|A|C'(y({o ~H,Lwbs\p4P@I%rmYurzrЀܢٲњacJ Crn;n@me=@|]&"*|>Gh4^m.5ja2xXtB88zĆHRmޙ6 ENЈN)Q|=Zyv*2Z!lI&2٦ZCh= R`q@tQh.mn W  u~Ȑc{&2BϝQ?'ׂ̓-,'>5q9tjTũ&St }2,mrG*`m@kM{zkv߁B)Wd&P.AUHf  ^mxWԡp Ek5uΕ3Ξ1=?#[i\diɨ}, 2?6qddMkؑc^ ~g$?Q7}aTݩhUI["/b9o¢Jlm%K:7J<\ɶ>t.lOS] \2{,P~]6%u:Y 6NrxeO׋:^i8zPsi` %ulpˆHq3}8O{*0%WIC.4g֑f?ӑYK h0K6|GpI|+Mtܷ#0hޟph`8UUp,yu3ve6֒ D⨣)'pPߢcdASS$їغ.H ~d|+HEVFn($S\&} >y(&9*2>?r+h724kLkt;NȚwKf6v7@g=kB}aZp]ZĤ۟zAԢN^$ѬtĦ1រyħOoŖW6\Hك睠.qp碓 \G=HScqAII'=C4o n#J(N>e:"X8k)w2'm?\ 9PڂN57}yԀcёmby .m >WC )5~̇v/{hGh I8I }"Vr٧e֚lxi }p>2fjgꅱKh5ݶ{@ z[ e4 Bd/r+>rwAn%ܻӦ*$z /i/J+&¾w֪!$q AG4]G6dBHP,tngJ9SvyKN@&@X=b9#ءfׂΊWU/,-+t^ڤoj4V|qhޘL;ud+71V@ ٶʇ w_1`*,Xw}w/:u~^Haȭ^AW_39N+0sz FmF1(NV1ÎO&3DZ/V| 0(r>S#YF!tf(i@E uKd_KZ/p@&e$n閕!E[C0B|tLW'9V2S is_Z(N SnD/tWёJ1 iXf`C>#k3T1umS+j+u^?8izبMǍW'!cBɚןRR\/ڃ =NcF][KhHSk-?&XbJ\h>:r~|=,pAUAְDlm]%+S%e)ƮL4Mzéҹo?bיLCD gEIT/_ 0蟛6(+I Q\O(X4w'uH~TlQ|X MչҎ8w5gYZ065b081049301599ab64f857d6496e4cf1a8f59e78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 dd5a66ed2ec6ee975e279edd847d2bd17a3726ea f3015527910b5436efa705414ee6ad62f2956f13cc6ee74478a0214b5302c9547efdec3cda8e23ab