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 e5~T ] HOL-Nominal-Examples:threads=6elapsed=250.939cpu=1207.912gc=102.1727zXZִF! Ṭ!]ŗXiɟH)0!h]?W ߹ĭ˱_Eq8Fp7 6>FL:=B+ PbuM{ t]4qsFשB8'*)fV::-ƐG+Bo󭂙26Jt_`5B0MiJM.f F>ExW2sΚI~so`LEh+j$GMJ>u} )s9s2@pc4ޚ{WH/&?7^;&]2V{ TI[A׽ srT_c:I)m/@Cuԭp~~wodx^什Z 6"Ŀ.3͛ýl[F`6ݍJ󒽰1tJXcQiI?taEQ mkL@e5-\t%V\课 L|)Sc"n#up/qsdEE:-uPްނU \rKkHr)߅j=2?'^ȜKG'((3M{%@;W ymstRwq{wdTW<=ԇW4x}:}BV?LIo&t|;TI,gh`Y xOd?zS'ђ((˚޷W_,$QJ٦RSН*5Vonֆp@Jd SDx4pߠJxvJtV4rN/c/̮ko:xXL%tVߡμwU>t6>X 2ٙNE'TveqӊʟbX52w(N!ۆ@8(ug4|r ]@4H/d1MM V-i[EגId. 0I 8G+sdɮe~}uT)fmRۅ ǼJ%Cz)<#D HGZ&=WķjBJ_,H(oؾEc40mka-,>1fs%o%/8^ OO.7)mUy޹i_E&c ](蘂T-)eq7A|V-۪gc "؍Cat1ԍ4,#n@n|ܮNd '·-C$U9]w4/rBzyn޴ݕjʡ ugKv}g_fXuz(XuCo}UEcב;9vCkf hby0aQ8$)ךP(asOZ _8"H|4H= Ϟ$Cj;O',wjr?l}R3)h<&+?!FI앑tWFtk*{6~+΋]hj|h9XU\w( T Qێf5R [aY؅1*TJ(JjZ^E#dE-kKIPq!. RUAR4zuzsTmK\ "SxP3) ۾lYQpB޳g ފª-aέ/-gkk]قw7h\8 CI~E.T t7Lx,ҍHnzf黟_וV3ȏ>u,:[Ldrī'C' :_ _) ;,X UMx1A(cdq#1uij`@2^9D@!D0`[ W@ >Y7_Nါ90FfM۳%v"F zSހmVjx;1n#;޺Ň^)Wfs)GHV>Fdv;QٗQ7aL eٽߌAѱG׏~8e`Hw vo:nU_]*̼qoi@GNG>R@:\zUNZOf:+mduZ`_m1`4np^j8j MD.~7\ |Xb%F.\ ;ĽtB@]x.ScqAO sti÷?. P ZL*d/__aE,&K 5 HOL-Nominal-Examples  sC-;'%| ~MVv'5tIwka=3 s.zD(%nnJY ,J+(ɉ z>\O7%-(;A(0|S(A NKL$[dbLF4 ELj>~*HW{nRj@\rYe1p+i0k. Y0hoQWXRձGq}d#{/0oymy3:KRvfǣ Gji2Jяhg5u;"N:6@'=[T}nܔV) ~B/uh{sd쏚!5.E 2e@oT0YvJյg?Aq;U_׼9%x]=DwE:ؠjGa0bfiţǀ죜@ágjE/Xl/bƽE8ifT1ؐbG< u PT'ϊK 20pg!ګ ƣ$A[U.sGc)/x%Os,Pt\2VID⤩lzNƚ䎮x'% Isa3j~/\}ce t@.з޽ISh/Q3ORIRAQ5{eqniZty0:ClTi¶q[_96* }Ϭ'Pi+15]dDb */s{sMs@K)pk) [s&}|أ*h&GdH*aԃC?VjgiEpk #xO z56o{rV#Fٽ8u>>o{/AJW쑟o7ºϰ@_\Z;xK@n#`!')-ԑE(17mT&L%SG4= [O r;Cictv"QN1>ZYy[ \p z\D$Uf]%w2]pfv X/zxAop;+βn'p& .FjݗwO&Rm(dCв%eQ \xc~w6+e;KgD3t-_/d5YoeGyʗusʿ@xԄfVn}Tnк&e1>`(lC,qL;NF[TU3i2$Vwb&yYL9^MLbڪTVcefPIC-mU/-1p\"oHah3]/ Υ٩HV+16'Myrѕ &`]z&$ ;X#0-) 撚=z+ԛ!%p&ΒBژmh˕?)+UOABnNdY@.us7w;1`]{:u SzcY_/hU*`pt,CI Wbڱa!C|,2PUOe_ ! abU2_`V{O}#yLl4m /ݭ[iJAIzkYh gR"6 ?\#<0}2ˎIi7qͅ,8Nl_G8B,ijݺ˹lڥ6<MlvRKPoH; :Ov~m$UcŽGFD~CuЕNdȡ8qgU81~넠l)&l) "xcaa"Ȋ"Ֆi1mFOR 룸ư&ZGQbhWy vzL̨vP mU90|}`C<ּC @hJPd^xjL$z$鼍x7yRw، ֽ'gm"|02u)E *eB@3j|&*󠍆3Z߃Yi qdd^@oiUkbe;sw^ҴDᕌYmCN4A?ZA}y|` kxC7Xb[a1Ʊ#40Թf*{hJQkxiZs]w'6&+GߏyɘtrG[,4:]Py*ܝ[6&Z]v#' Su&7X|gQ X wEo^+I2zo[s%ru/n1k7.,j9#A F ?.ՎA jseĀw)A^aΟ~S$RI7 4#QRr/pYA5Yw[Sd8AS,%S efeU̱Ao$Oڧ B ΆW)MJI?ہc42:2KDd!ؚ"w L9u7QKp|E>tvIDgV)ԵOG7ڙ^V03K{{%E)Lti@|"q7".}јf:DV-\jG^̢8IYQkTH)p.K[#29*-KfR=Nu~*YqlL.dd;&͂žv"N_:EF4Ϸb,=PW!&3\г~Fl(gz9[5Ueۂ[r݆$=wJ&&u0-V'w-ɊA6M@ 8em4fO-X)³LuCw@]YBH:=##$Tbr~) um[v[vp˲lPKY{F<_-W5 nRa(=@˕S:ر 󐛡ӴFwl)6_U!15hGA"|W;n>GQi /4Gv5ƎxFQSQ. ]Zibٞ[KB?\`֤a!p ^ա/@As2  ŘDDZMC$?S8J+3;8;Z!CaD.:T-K7 n$[ӎTVb|NYs4 C0psW[7?OZ\ ^RXcIz<|w_d9bW<_ ^VI Ex|;f-lm"V:y1w6X@5R\H P!Ro&Vsl h Q d /q8or^#4u{sq!.*z%{^xv `+}4Ҏ,EFs\%E!~R%?p(֚_',wTM$7_j-Yor?H"5~erN!ۼ|ACJT j^7%TRBɅDǚ/cՃ M|`=t7褤4o/d:SkZ`Y!{@j⓲vLc~flUhvm@l9n{=}g=PmH`g|Cf7H&QXF+2r@h,],ׯdx$OiL4[kD^&s1צ3Od$ f미S(!S"42TF]E ]^_ߴk/8C@Va@EBc_I%D[5{Ϟb}?͂^ 0 SR53SXR<7~Ztԍ_o/ڑIYtμv@I:6"4c3Sܼq.B@YaD}L, 7'NgPNcxQI, sk@5-2]HDn[q3I:oDNu2aSxv27qWL nq-D;=>~A:PuEuHbF~ O)ͭDa^G6BiIPD}+!rxl_PUeMNȢ5`QFHz;`'/PJ0]<¶Rb/B C[#[LxPT7{7G yEuHV"-pyB*`5zٌ&/wlO B2 *`aƄˮ"H[np87_aߦ؈ t5yݱ8yJF (~Ӊ4)zDfd5ܵ=E;'0s>=Z܅s4E Lv˹Ns##tvL("ѐDuw^y>}}^j|W=l \Clpl0U0wj:p_4Rc,g&ހ_!Spk:)o!uT{-t3R,2dVn ,J]2;ҜWzF1W#yX4x4:Xx׏Ђ&jB fr<=Zn0R[LIkrAb0P9߶Xؗm-r.|nބ?b?|r^8sH}([Qb7uskT7Ddܰ <݉kE灐{)=jjN.xV1Lkϝrcx$^#2Ī@}<W&360#OGWcfVG+ukdq{<ڧG}ELc]d\Hgro3y;gEuO⻚ԃ(Q1bCyͺ *)T cKr!\i:gTiA!DQnjp;PG QChAʉӀv#'!:?-OD/zYlk8hBqGgYZ7zXZִF! t"]ŗXiɟ1ʹ l93攀Lx3 a$F~<ݐyG`l: V+S 9RGjDٽ|fô%NFU;韁~=2 HJXQlNލNd8{4RM*vX+{9A2CyXNBHtL6^m{_3geX{56Yy;Tr㤳N!+:g F7=ò7{^sx*Utjw:sbӗuY.bC,p4|_RhTZ3X<6a3F&F/ h1JP8@FF呥(j> 1Ox]) NEXdRoJ/\_g)d)gSz1fvKOBAB3gYZ7zXZִF! d]ŗXi%L(l@H>tPgb$OxZԲSwh{:ncQzK"(-|\ɬ#6WC)#{Ƨ؃'58)_^`AA8 ⧫Dm-='5 &a4haVdu5k]yv|JK.j3T*Өtˬ /҃h܁00C%$n*d37CZNeۋRBxQ|Z<,T(p0ZhQ2Ӗ_/MaFINQ4~Mbn.C'@[OOE A|Ψ@3 ZnwP 'J/D @(f7`P7fn^TdKpg^B--u8E*e.Ydӥb|XӞufUG sxGSAazMxYxxKb񑦐r5+q=Yy*?T)9+90b:VVd(4(BcaYG6K?D"preH^f T( Жt7J[[_`yI  LV rY|KaA` (!xQrR+ 'ISPM.WGSu_Jk0NR<1 lP/gdo9{v +q$dg/Y291<ɀv4l#-n%yu;R!> ]7,qSM  џou#8e3eiFҼ_n>mڬL45.) f !ݭ+k״)_8^咝B x\6wJɕ],_1oR2D^?dvq-FY#񗞼禎c7 .0> KVd'&j³ɏ+P{66ZDcSF~ ljBdE9,pjF[\͖hd5=m|"+Jxxbwャ)J+ s>DS"}߶Y_^$okA)RN35"bSow.d#Z|XT._^p<NjZCͯ]*ˎRTv5 mAU[6^{5O5(y& ?~^̭\"~s]aJH=R+E%@!g,}{xWg5KX^ЅD`]4M7wF|j8bMJQ._yVTiUG'+ 1 V 7@S{O:+ȟBS]ls*Bce$E_s\V5"^?pmtLIuu3F[#=ʎl%<jP\pD4~ DPf9O3aMob可 {'c9i0baR3/q ]MȜ9.f1C##MAرKZ+poCbә!YA{ ք(Ɛgs%e.a,_Ya^ h)gSQǡtzdgFtl)Dv5Ɠv`x_*&,"=lo)hh)_xVcZѬ[%yۊvDwWͺϷ 2$8;1n—> L"6͂{ZۦOUaa J\L7^'%&'ЍBCyPed9D2243CZKFYdȱðXWu@E V{<)&nm%BSzZvEVba\$KDأ6(qUEH[A9l0ZBh~ fq;]XdQl3.*Gqk1~4ZLy&w($UeW,I~0+yg";rNC٫A}Er'P(Lֈ){ML*)h`-xd PxIeF%d х@%зjCl#e2qR(g37_>9Us3TԕX( F]VLK&^,׺3$Rب2J-WWb_7Z)8>ԞVu-w'-N@E`H5H*g|j㗽-vթ F iAQpTM7BQ]qFkŎ]7z,\mmhNp0K_ 84WS~~ h?QCH{Aamb2=]<\fCj_"+ּ8`M;l`0J@7pVɳa(F'$XG[ZY[˲l(6wJ5Kz#?wʩ&]-W.HF U[qLc98q=d7Ѐ| n0;ƻ0N8qު $uڌbrK7PHBZ ĵ{kAErCcbļmV}gyڽ-+.PQMRO NK,Q"3?z6q=Զ`irWRS Dg,U!:iQ &qj N"-Obҙ{ ǑgbAY̼ OuAj{:'N%]*lǘf 6N22.rO*kH7‹#uW͢: gs@5rq^6SydLKdd_\?)Jq0?ò6z4ZxVtxM$7ӏ6T/g=U*b8ÜlC m3 NGX|0>#o+߃@#C߃kЇڥ+R9 w2h5?<;@2w&s;yZbr.*$Ĕb.!/nCXqH'Zz~ T̫^K6t07,?h t.$!IWYbHaT `%ymltdx\Y>yꐬ{J'/NV/A}] Mj!& IL^ui\#~V)n0c-8Bg*ĵ0 \28 WFz',}T0#"h_>L1ZVs[ ob׋分4ArMJk?'9}:53KƛYwp*@1]>L3_y#LuJoEfr;,; ܴwIxCrh\!d؛r,9u2|L@hy+WtYe @C-x9k raF6'b+=x@@ J̣W2oH2c쇌 0t9 %DwSUm/[2G}`NzA+  LRQ{phw~4/]xkn4K2en 0"ZY`\UVw%>%urX+Ցg$[=cӼݙ]tjp|)J#SEL3䑮tF6UF@6{|E#{Aw*'$N92t&,,`\5OBnAQQ/+ȈST&YW4({@ZqZ#ɤ\6Ϯ c~m^^Mus~u{yAG(mly1`( #"Id' poZk>%1CZ @7īkӄc\`ʐIT=-̑)NiXI,US{pӨd͟pN?y@4/I~*F #;v]POzD.xPGFvB.H> :s,ȭnֻ3ǂ3o ڱ&I&#5Zĵg$  0&kOϯ#MWM耈ܴPN1 -4xeh&p*QUJ6+8vbj͐poeS҉n 75hl*=r6?"hXXZ+ ]yzFu=g$wogٞN@AͥaV{ o= &\#JvsQ0"j"GISS~ %oITJH<Ԭwq #!%ڷ\D|OU'FnǍ&5n["3+wmwULV ŧLDWۗ&aQnLj%A1>%tWb]Y1XNjJ.reL* /E;dΰSG~8mӦ -\,?<9"$pMs͙vwӐq8 t߱phB|'âoᮒ7py`UCj6ӞϦw5J'If:"J ZQiB qfKb̭ky+I>e61T꿷F~[! έ@׍+$T6z7L3,`#…jxRU'%qWo𵚃 l:1,"P7,r+^FBE,&z '>ed| ׃n`eҵ˸M.۰ :n5cK!XLUK@dm$_@1rnuƔIu)GN4.fۺ`0 Ծ!?-ʭN9˚d|]쾛NNaiǒ]8Y@~EywmP!&ySU`K$F+x'J % H#|UY=cb}Jtψ{k (^˹S ֝qa&ƪ@1Y`U@_5~4 ^جnVZA,8.ѳgQ^p86w$0؏jO?nlɓIrbs;FP0Fud2&i%Q&|(Χ;ԗ݆4s;rP^yi\&! | )^A!LhD9n)N5{<m)[U^nm0V`׿~ƌ4"g>I1(g@왝!)ȧ7] }6;!Rt^>+XkHo K͍1礟xuh9 Ǽ*'N:K~~^җj <ܿ`Mc+1<Jׁj[0)5Pm7W4Xqu4ݸ+jCږ(@zv^+O`ճʀ-/q|V҃_'WMݞm{1K2i 528giwVwa&-pkyTKAK9(-wN\.yuE<G߬ܢ"<_8Aӎ-,!f>3Lgp !#"|ç]A5@T"dT"~ 蘆2n!#xgҖ޿kϾI;At_"7#ޡx߰g~ЮTLN?j ϗcsRFcE\y Kfk3Wú.Yxmr6գrZԵEu"akT䃕FYNUQ2Zi>9.e@{*zua 㘽}g&;r4uSJfVUESΤg ;MY}>cϋ[@(lVsNN'w$PEFsp}߾@4W(+lc&`wFAH(jFB.ItIY?ˀ;[%eKň{GVRt+j(+hSwopbXv #`$^,>Y4̠?ǣF߇Y՛-d ',`Y q0۲\m>rmQ 5Xr# EΩ& VA*=ʘ3ٿdRm8Ë%]>^G:mhLSH䕒 b5ܥ$Jr b 9z7 ׳)~nMZiU@H&&> F'f6BB硅/( 풹q#)nkfBahk!.rUito|wrT;6B@Z5=YY|w-Al!djT<KJΣﳟܦ2!c5k<vSv@jβX'2fP< EPаCu f?bdQVעsdګp O nr:&> a$|=fWv*> c }h!Eߕ;=O0}?!~1Q8RX+ AF~萖$Čh pqkpXVĤ=Om +˞,A6Mǿ@ $֍^D{ɷl 7/ ,#\\AЎɺ<;liݺo}CqWKw-Oqk/,*0mP54B>xH [mwU{}D/ZB(B], Vɑ8s{#hTU> DO|nWKCr x#fG<nb]tDW>RY-cѡ:٬='ws-cw;,Ö%lSE-LNO0w}@Jntmb!uj _8R/{RojG{jg5kbwBGM4 gpCxޠ FkV7جNND8j&M9ITb'(hNȾ䭯v6'ג0f1/{r3ןBG|zk@`-M;_,Њt0Dd}1 ~c_g@cCUϑe֯!^cW#xӣ%4ϼU>voiϊW^@޶[)0]΀hxU$s߯M )Qfz1?c߰:ې{j1c_#Fyj ҽB9iz3/2hUnv7Ɍ*J.z {5犱À`@?H~{0,:/ |#2۳rQwErЃW= JP!ef=[#7@(Ob ljRh?GJid5EM'-}H"B4yaTU۹X T8M״ "!MA ^7" Ð!y{1UΐMɣPEd(&3WlnCf2Y`5Ճ&h8hc +WϦEh%!A`kmBHo<YkQ羉Ƴ^pTZkZ]MeXrA"5ٽrkf\s7 \D@F,c%.00R!= + 5SMj9NXW)1Mf%r ˀZ#b̅h6ˆ;qk؆L0ƭ#obEaF= xYOڟ4p'{U\هȏ9^w݋ a|/zFӒLƚ#>4gv%W.@c\zvS9nsc!u8FݵEY4EvN q5CXI4"7CjcA3FqGjt:;E %ͳC RXgSD.~ڏtâ"[ Ss-XAzrFX.:/%*s) opdoh RשWcdn<'ef,b֊\zO);wTR֏n5Ǡl6܃&dLJRwtc~#`L.- 4:mmsݍuC9\~yGC#tơχ’m?t:&hussujٌ+˼ɴpLiOg s^uf{|s&9؛񰼶GT殻mDv~@EV7 ULל> ɎԈ̿?S:idkZ<ئi@#|WOdciC4b"#w`\V-yv[cA` ~EBrH"?<ے7Zq/f.)TYQTYrTYot@@Ki *>@dQ`F5fUu 0T}kObU5TPK8Jz W`0{kSW!~-0Hpj[>/`S7 քRVeXPGO8 j ÃE ô/Aqy7l#WoGFЇ,!G4W~VGm! }:sQi'kvVC7<.Y޾mT^[pXBD:Z" }mu"yFNԬR.].Wk2+cs`׾MCʹـ>سur]6:/K:5L(әG A3` 6E"Yph$!G R3Ul\9"dV*s֬le:$ކ"ei5S&7A萇}}筧$3-h@2bHOk$c-iN&?RN>9!cz7= 1^}|OSTh5[)w@`U%o [HRFda30)I/Le jGE;%w 4x̓&h{!\ۘ!1v m%hܣu6O[1ŋ3W[ U5|⭡pVsx*cR@lk`&sBzX[Hޭɵ$I'Ry\ ӐC`Xg ^,7!'iavҠ.f5j#sz+bwn1֒, 9R5tJ Ȼ~մS09x,aj MR; wy#B3*Ƀ74X䖟sx lغ:֧hpeAV&0'(^IcS7~-ql4#)k("F4hG>&:(b 1-A޼+qLR[mfXӍ`O8'CF&T')Dť:/Kzl%)zxXٗCTx^w;ЊwfPB~NtE߰턶/I&HZ_9SG, IDMP{φt{ $GMxaZo1,OSↀ,V<|?i{ۓ 7E2#pıg”], ߻m,A𒲚N``kLzA nn )3!+QO@ I9k04:tE)R*3:{12NXЅ. dZQXRpt_#'F+()yېXX28cZll9jRnj=(S(jfK qs X˃_LNYm4bćkd"pU֘)?U1 >= kQu&m&Wh' vи|,m@^0YM&v\ӾIfqD)Q" ACA.D廚VIn2Kj^ߛc! eVP, xva}.AAFE,RQ\ݻkV$q}gZ ^i%N  β`Gm@C$+Nm^v((z݋Jծ?Wюۋ !7V<+HBzi1ËP7>(젃ga0)܁ڥ6q:DLE.^A:1@3}}``b{m,5<$Fb`Of\-GO`V36i$ҎJymS~9 >Nl,!,f2(5#B]n#eW*dTg2E▜ixU\MySN[Dj^H[#;U:^T씞A N^I(cH4>}YnݡR~vYo QfMm%r{ d؍uQōuQr8꨻سֿMpo7hSM^ƩY(."BeԨeBd!ͷBx_Y((3Fs[U;a˝^Г2Y)7sKU%ux6J&Qx`IK;19C,]Ȯ$d[Oˌt+ v=Q u91{ix>vp3yXmG?hY=+"ͼ4NE@K3rMI/kht$vգ7]haoH#ڰJ7d,,cڞ629Sߊ+N2ڞY / 96l{4'rEU~1~A5E~*髨:rs8\_ *8" K[ӧ Rk3T}(>w`Z[:]XZF[XNe XVlPeܚBt.`[%lD||@\[8@:BoyGdRDq[0)Rvoֆ 19{۰꺏\Y z@٠◲ cxl1st9H Qd1ނq )*Qw_YvMlmb+L :)~M>6^.Ky{q}gC@ nsEb4ms˽3ѷn2qo V{)c-O ]ӫS$O#cQS& BÛEi/nNA^xK)su7̮pf"QM+c8-D16o < G--KoXSѺ|I%";k{Rĥr`\,8\ %&~P臿Dzƒ(ݯ$ Ri)fNe օ~?r0/՘Yɋ3ɶ&#"ⷼ M<9nu5 ,Z=,77yl4}"?b+-N`ڴ\A~AezIVq g A֮-lK\xe dP̰ MIpfN'Õ0(qjgUyI6T:I2TPϲNg\tm2=G[haɹfLm[['0/Wq 6IJoj[ă mN9|CpTfrA{ɠl6ԆCğ{@'-NbEHϦN}?R؝@B5( 9ڧ59XukB%]z<+P &vL޽ mA(`2L.Wx(I󏼟ېҲ`}-JPN>a B 'F/b -K7;>Pӽ$ܲ']pI$Ŭ1֮ӋG{lK[˞_YU%/x'zm) I"RFx+t(Ai![}V5]s%f v T)n_1}Ar;)?n0F.Gp#۟E 8R}lGbƷ$1:DpHxvkH F=:_" 0-۲ rc9?U=V}98Km[f*S"+N|I5-ܳA~AvPk?rufoxq.""Obг2yoNFdΫَI'E=)_pRoLonXg,ٚ@k#>K |TVs/c-wf{ ΏX9!o) Jyme;Zt1vC2&Ikڊ }qy?.~FD;zfhË[_]~yy[ %BReR5DN(c6u}D4(3? LI6&rd50Α>:Tb(9AF~kIq)mu}oǜ?aV e ~їϦu=CX6t/n8 PntOI|0AI_g Q:Nyl4`4gBrx?`kr2]Oc!WuCjO\"'Ez$7(1a)C7#{xϸBZyXr^0rof8yM"&+d-}S؉]*/yغ}nn-C:/Yk~ahWHM? ̯dU3~?}amäHpu,5LS#5JbJRL%]OtsbIʋmX|دU@|"_O}͚88' )|wN 6́enuQ%?l]B%g\enI$]پȘEx*NdSkЇym[>!lFbh)d5SoN%Qkn.;PeTdK/ *?:a+q׌_n>y52#T En `Cc-: i4^i]6GRf`j(x1Ӷu+ efW |5] %Ԗ so(CJ}KW2GxeHd >t&=p88 H ܘq9?ٔF_5 }8Ckbi2eV&3%"|Kmȟ uEjZl>ݎwvnj #V{!}C! 8Z44|zeAדm>PD]vGlׁpD)=߫0F6]$tٜݼuJ3-MblKGq\Y;ށjcn:21P+юuUuB7'ǚ B ׳ ThkIk\2t ֡pܔrA\(x puc4A,'OC'k47Ƙ-{?PŢbֻO鎓Nۺ멫]W}{j \c LTlEPb5GZ'6VGj*J8%`8(Epnc Cy ZsTlsHv%2JNIݶ$ L(`6A9batz B\kA! pbgz*Ecqz%5UgاR f2̀nq؝.=;C. )~y TupVkvi6P +%? 6Ge;^WU -T&)K:[=^PcqUәփMCxDu'`@yDAE܉A/uiZSÏFN81g*kkڢΑJjO!Vtos[HCY6"ae]s t@UT >Y(\ Irno tTne.nzrX\5Ȧm7xN#6\pH_.MꭴVaP OW^Q{T $Iv}&'P Š [1͌9-Hpi͈ ^%9l4Aqr_3=)`VM-\4dyS+5w9YN]!1feIc8>ɬiݐz7qY^8TGrXzSEͰ=݄'e*Xĩs W[eno쌓B!ͪ"a8n6 @v~-@FI/Nl1_ĦdcCBB)rϱb!;j!m_Lۿ&ȨW2,3L-An6ϩ{GgUg(iUyҖ,]7Ηc3lPj=(`;`Λq;c\:׼(RF"ڏ~5e™'u &ZzEF(7[Ά*(d)`?7<?ݺ}<%%|5ܛng0l0tl7.ߐz_P~ 1vMf>!|K}_?AyʕB"Nձ:DD)W#qXJ 2:yYVeA_Eg4hvu=EU8I\yHfSnś":ɻ|83š&~/'T}O te]qn`%yC.t`B橒X3*>\LZ0Rs{Y}9xҹAyn^&ðuo K z',!JcӸ=!.ˋ%rA_-'OQU45i_<"[US/ri#&N ҮMy"vEL@,7fp R]ݸ܇D84ƥLi'003~nbUcj`nߔ#j đd^iF,]eN\Pe l%(?xȃ#μMoPCw8kkA#kۥeKS.!IDy,T9Oȗ=TПMq&ZFYʘ Da7ö>vEBCa&XYoֻ`u?E=:虁a^|Y}kQ=qWt+=WU51lq$.pKʷǾ~ UF"N4ola^K =1 `nd#e d;^_3_Msk3._ޕN%9Tv֣qj꬈M*J [S4gmK4W9I VD&; Ĵo^PLCMoiL<^;vD=i0]}c).1ĝbUڨCςFHd&$sĚ R+ 3_@(tg QY^S=e \?u E?&Q)k*g]qWM_DAn