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 -%<, ]/]HOL-Analysis:threads=6elapsed=327.138cpu=1706.868gc=128.048factor=5.227zXZִF! ,V]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmybӊ;,Í2n7AT"5ՌDvEv)7%)`J}N&~ gaDt;zM>%"]S[]dF6;Nmt.ݚRlnje6Ğ3 ű@/ M~.׻PrAXғQe:3au!%*36njD!"hu=ͬt*4B#m6Үg,<(r}ېHZInpH3NOxfukg~Rr+o֖YǗOd%o !v2m_ Jqd j{l|gG@_Nf#tӿpH!āEk&&&h6B.?J^g'OBFc_)=~ҘGŋ~U_+6łXm%EcM܄p{\ګeT63/J૸7(^U.'c(AV'1[W!['irPtt yt4| Zt<V!:\&#Sd,684'aq޵G5+n͑@Eb:&z-(%5wA:v_W($ЩVƄM˕ D[c8mHe/<8EMفk+f+}BӴ[EinzLm@weަ_INcw ]ރe &V0+w1kPFEDJ0>ӃGmeunՊB0rE7-=7P{ƛxR^D{O223 ĥX{0;v i7 ak9_ol'k/lŴ3 廩{W6!+25fGiʭ kj&UʻlcTxdyJ-Ttj^$Y n)^K:ӊٜ2'7-#[Qy%"g FI}8yteekqZ{Pۄ/߾S]׊J&q)=B--δ͘Ԏc"}{b&B꿂kSd<3<O_Ll)C_(gxtDZk悻O"GČs_51pQ9PV5Fdr+aVycVOB%Ɋ4q`RWBC0aSg 0Q:Mp5:C'ef铯z+_7P&OB:/jZa+{-D-⻷/2DDf/eDKb-7ծ ǖ#et1n |ҥ~Y'W (su"Ne[BV%],c4zcy~>O俻 YH0*i6kmdE߰Z4%,Rm4^2dQ tS *\F-\yx톺%gjȎMgy]&w)MQ @a؀͹nJw C hl1~v 6/PG*~jhQ2ATS"\o4'p\6_68OkW.=0dHUgmr}xf9򄨌QhfɆ}VU~u:$ $am&j$oS򎗐wvB?,D7y4'34ũ`5o-(Wj ʔmu@:"4[8`*8( yɏ_M^&sԣ^vV| s--vc[̙6sÈNg;H!w3@79Yo6lScĠ[[;a/0sRibvs҅?퉓qK4AdAueKbina@ed;'UH+81HEs"i0x6!Ruyքa;Zͮ߈m,vD ͏<.]h s:S nR/CdVʲ8թ;֪&,\?B̡/adO=FzcNJeD>†)$uaP֊7D c`\$3y1/zg}-@{Cn!T upH뱰H)/k 9ت@! wVw)>YTv6>~cq+. +{dl5;=B]f.6l̑:тvv\|D* `` hu߆ۄ )]ǘm_J[\`+HvwZ4AbEB;A}G,+2%ٽidzyޤV-Tr[,D EH\u4 &g6@`7rP+.BPp9z l߳$鳱6+Xl|$r~ xyԙX )]x> W'.+17 0=1f$OhuIQ@GW&e{wzq^7AxbHu"F/ҽi@&g ~φ/(bN4CT2vw2.E8A;rWLŽT3ӺkK# M0Zb=*_?z БLVlhG1Kqv%+ee83ix&R#GVB$i *G][e@E%L@b#A,U Av~)-g30B~ wHn)֏?fWK`%?m̿XvNj>8$N8ē0/t+ uR*>S`ߊwYBӰgE َatXLϐGDZm&k14"\qUHpۭh!C¶.@Y!y 1i?6M.<4&_!~{?j=A6uk4G̈{T%AkHJ'V:dhBnFwG&?¥zS!f#[_)Dp5߭E=QuOga9!|6@sn-,ʹ)ًBB@vY919 {~JA"+hފՕI},gvsZKcfprm%3&R!jw u&V+276K=mȊb_O1!KT~"V!&=,l~'_焥2NLn7J4>rBo'hiߒ} j#\{(!v x^Kl `Fs{F 4pz|Ļg.^{{YWX5 %vqԒn;GpC* ":בebKu Lae "&.E/֒pnab"<:ӕa~ Ss͵Ji$CkN#,){F(b W:sAuSO~W8/t!!i<.x] M;Tzs w'm,I*ebpfo PK/\"xʟ0'ǔXxLjl$-ȳaP]RPfxc,~ Y k4Zc[j!p/%ipMVET0,TA#ɗOOXqiKl?f!jJO]J^yхZЧ<Vc:5MHzуWq_Q;/b ȴY SrG-w!8;Gς}:\TfA1k(*,RǺ]ic`iE.zc;݄z5NiID YET|=bXn:^XzT+7$˜0_\ӛ !)g4%D[aA~Ξ3r@@OVX ȤHKb(Jڟ"iƓԗ6V^+ cdK NH -32 9Z?k5 Hw5RmD٢ўt޳X5Kg.* 3 O CG{/GS 9bn ǸQwoGAnY{ьND>ӿx]m$u/O|%:y9qdьh 4r)CZ3l-(׬D)Ni936WQbNas끂Sp̲dQsE6||%#/tDJZYS~$U>+QH=㻆sܝYƁ WE$H)@L3,@xݼYem+JWe5%}}GZ`C<7\q!\MO~UY&S gV|;U['Y:/ GcoBM2*#S!$wmh" _{0Rr\ޤG1r1s۹p_Ԧ~Ģ%FԖ3{OԛR}yh 7i*fm&O4:sVUXN6SICb;P~\UC&v]Y>E=h})wr goo#wt˺̐lz4=V(zc8b] 'd#ׯnț?@Ƹ8PjEaZOU6Eĉq*! $;,+qݩp6лR]WnCԥ!'T-}Sem,A/5s-X:nؾ9 䓂8GU,?q%ZT^7ƪ4jҭVyƩRd9ለ$,Dĺ`Ks}Roi szOuqvF 䊽g!a3}耸Ƒymg!^0y>@*'[&n0;t`>$m-&2neisF,>\.MJ `\RݙUcXVnќ]%B2j`l+CR`$Me֧%2Z0:HW%fϊ9@ASλ)N]%.z@ ${D69.<ثJIq(Vئo=23@k~a{Vj-ytǀ;3E޾M?TJwv Z5TA;FNhnͺif>m,.׶6 yFC)«;zmB6H#I&-{캐 +$J*K86ͬ8=0 ho>O*]nX?MfrCE&D4e<[S@>!!TРNLv0{`^2|% fe-WJQ@ˡMm" ld9 단u~;f]8)֊^i|7a/)ri`aH\K=S8^Vp26Km{%/u4hE> ?^0$FU>B{UDD`\(a 7EGJ]ҴpjDa'9iB]V:ߣJ0)z)Z+#Y_05&`.>sAZx<5?y CWSR }=Uۏ3[fgq^.䧯:p^Uz0%a@Ns_ebyי íT>HUN'Gì,ۤ+/m=5F LZƿI:6#=2Xj2S\9`T<}ʂsv0C jlK!J.8fB}SȦ[gi \>^Lw ڜf !D;5R#~K$ƍeJ*4.3 <}& zR7JDZyQk]+ÿ2c([0?jC4k͊fbol=bJǿJ[ Y-KQîhZ}\Ogac/R D+YChA<*XT60o_;H z3-'J`.mլd~rΌ /Y9NHJC8MspP;qۗYqtǁxv.#w!ŇZ:KP[X7oYϸd]r M`kPFΠG'M04edE`nbLw cpK~=n|=HL ;0Kl[ݧX3~mnO(iogfK|@?$ e$>1oa] P2'GvmH.gf/\N~ :,xyVa6'}c1#vlS7PK *0ր48-/dN_~A5|8$. Vբ ;4G& ̒5?t+mFUH %Wrכ;T#f[ߥFvs0(:Q82@D۟RMAd!ѣȆ2 )Kgg򏡽dB!*>ƐN-cT;璸qmDMB2wuK:A5VOv.$)G?JrnGSo|ԹwǨRPJ{"Ws7ZS+jJ_V*\z(|tRBF/7dKXT? z_y^ ̇׷;V\=atHEp2NPЮ ?^RQʧd(G@_hg}AԌ$,ϥhIF)V#Sc9} ZRK?kOC}QiTw1Ab(l6FLeOco WcR"^:^iF9ꢆ`r7BW !?ngrn-'$,# \u2f7 쳴8T1qL=pG,v}CB欁FХf O$GG݃d}U=dtv ʵM1 W|_2rT A=vqZ$%ψ2B,#Gr[ߩ;bMb >$Ȏ~$f7)∡;~SXĶ(v4Y}oxs7z9M-% ^Wc E|,]  ~ A6=2} jDߏ&;s9lp?hLJ($QpwbQX4Jj[4ٓl*Pi䅑:MrB-/zf+2ʁvD.o| h2VNe:ht-pAK7ǾTD)4חts\ GnRU&]Ի!6Y@gɉHP1Eud=2罛JL{^?dk!ʉO =7>Ƞ}ͽLf*y_ҡߣ)%'[h9 tl̵PB3 ᖲo$T1[^ͣ$A|5 !wjRʼnN꒍_cKpHQ$x^8*:ЦIQ` yE}uW\Q6.T˴pVU%ڭ_N0.8bt2XRy9 '1flxK."d?vO'ȓƷh{ It8q_ ޹{yIa\g#SЫFiኟ6Zw. Kc'vKM,uկ&al錶|׮ s%HV#Ơ'-):(NJm̝@}]$[mx:2򛤖`Vt:`WH7^%LtfVҲ0}Ixh&7w ̗\7<8J:ɏ>HsC4a~ m;OH8\lE5;Ic"=.ڛ%EpN^6V͵ OzRM)XJ:D@)ܗՅ$zP>:ImObiъb!\GΞ@䟚k: ӵoL9fk1cRsxS\(w2>Y# i5Ǔ[h[I3~>H@LEXz1 i[yҩL F%*C8\^&j`e9/S-@̏Op*6YmZL!/7NNPh2q";>; ‡&H@n{w.S'ēNGDZ%3)qbӳv5GZpB,Ț:E^~DoJ >btp\2$R@aALMת&&?itI f?A䐶IjFT-#:g(cC4@3a1b}yzO~ncBp Oqr7Ɩ6oBL};&N /@ /c +dV{⸼kq`Sdé!8?N#Tt-J1:|즾a ?M]2gKvԂ՟$+YYY'̠GEM8&9)K%ޏ(xl/^Ly{޵A3CGj LIkH}wHp^.ȕ*ej$-C*5 R!$k7) ӊϠ&=f|=_Ed؃x34 JYIh~A.S ʼdaufk. $B/lP'XxZ"u9TG+#Gt6VO<|ތM I1xs)3jif9Zn‹TaE Anb?nӟ$ U^Rzw{xG̡|/%*lh/iKcdr,S9yݹ=@$X-fl`3y FԷvEٌ|) [-+]%Լ8 \ l-FE"D@[,X|6m-3 ԏAL=mCoB&h:VQ֮hѹZ "S Zk9if8%U W*EfE6!] ֢CA8}fe`J= Up'xlާ!وnMVKɅٖ*.a)@aPpSu 5{I-4rNӝ8B*S_{Y4 VG=4“VG<ꚑ}ӵy~3b>;IIuwd7ƠJOF_4UP[Po7=_ON8o詘 _<Z.k4l%d 24p='A&a0> 8kSzk,(xϾ:4!}d;cG4g;~cE g٢{q Uڣa}xF.1 E1ĘE(LtKvYGcAIx!F~{-GX_kwO(lLs/Rd &͠r~j} h =d-M֒bjLcB+fsco2.nmB]^o!hs FYAũue#tm8ٕx4pbMZXL";{F!o@Ckb`<~qh&O-U(iPn \#;ӲcXв+QKfCid{ hlKzJj"Gbg S qGpa49^'KMLDdZ`Tf3X8M5/<0Zť93fЫ*CGJi(V͸u"PD&؆;M=}3㿚N{'jrͳ5*T0YUNp4  $1hd7z,h|b?\\l>r 1Z7C~m*0\A->{N3Wo=>JF0Sɹ;!us3\ڑ15BXo]tG9kN@{I/Dvt" ] pg6!F{X=Ė mcN&}_5W|OkSl?E* dDJGp5f7;Ryn6$&&0!}>SnQ'WKDOo!;_^a~p/E$@VJ=zl]Up>}T9Jid !Q UJC1;xk4b+瀘DO] ڞEp.SPx1Q_ mꔒd G'9ܔ$tdas1vk]Bś, `#tX(!Tt|\")DnsU1l_N|+n왁p8wnC}|{^M7]0dZ%_z\FBR;7\خZ\#f߱=| BFٳ$.¦+/,o-)ճ}ン8e VS=!8 z>\%ɶbm`\ i}z\oD͙KuUu0r`pٗ3->{lJVdh5R*ZγyĤ'm8@?P)-|LWDOGh<Bni >mB`UPXJyfM< SL h{N>ZoXJ] ?O`Ch"g{o)*ca5%ICvX_T^/)n=p3`a9xNO&H11`p'OQu-r8އp`uGɲ-^~g8ؤϛi[+r9Dx_ 𻥙]իK@?6 Nfo\&cKI?JHE451E7.l1WA }oKxph XRJ9,]*izp?Un{TPT2Dc5Re%* (O: 'RHc[0`K+^*ƺ/WE @c z\6"}e/e@0C.A]9K;B/4d_Plh*yHGՎE3+X_k>լP`{-eFQ?7ٴH-q2$&bdW]-O+JnKIQGa\XYJfj2% L fB'z$pn\?곀 Hsߗ,:^5- 3 7>nf)T64Rgzm`Vx5a?Z`ᐙ<p#vi8gv1xE^Ap!ٔmӵIR:NAÃ9i‘ޣ5lRI~RL>ORTl:~Goi_cݿ!Rбꆃc> *IYzh#`Ů.Sx,$5Odp|XZҺxq>T)|?.2?h] х%gQQX%0 Q ;-8AGWx]ʥ qaVp/~OI0$l ,aR9=% q92v$<$ p7_ęiݨP wE өDs}P&JS-CP&ڹ3ZK$KJn#3Vȋ:tf~̓.O%~0dևLr5Ԓ,)텉cԤ7>zikuiE3Ʈ WNiD1ȶhr?/^S!vTq SpAGSG1'g֋MM|4EaU.F x<`C`g%4.6a6It'{/C;:7݄jrq܆UעQL BW>~Q.sޓ7ωTY+ !@΀+g k6M`d ^P&Yՠ!PˠSZAEwGO\y)}yX Fyt0g#/;x;ɝ RI7.&GZ~t>%D*W Tɋ&/"bl?/|:7ۥp"+x)ӡM>>i r ˮ磮 }tBfw,CcAS9ͣ 4J`Gz| (CK0ҰJtLң&ӆ?WZ}FŤA\e5ϲچyXƠ4w({:{g bT4 8o&)F1\Z5_NZ-61` T55r_)Ÿ 9oDlȌ%V>~կr1lwUyb164`]*7N<=@Uͅ (`rM=%h*ǂT:(`33ۼRHī^7F0s1i\BEɕzƬ"Ie> +8uoX] s9pxU8O%bLs2 /T@oB,md~dwӡ \:o%˓uhy ak2! + 2G0!hٟ_C'd 2@?/m^TWhN]J]#ܓO:0vLG#XsH1q:pD#lΑk}BcvkpvLӌhfYO='aB#bϏc%EnZj>iņI?| O_(-C(4\$y80RӉ')5]:= 7. L~)\*\ cm!y(BbTuRlz9S V B4m$L ^ Uz:6Y8$i$pO};pFMƨionQ͉4BuvLtP|}_&TYXT*& ܔ\Ae|ٓ5#M]nLdj34TӺ̀{wTa2nžw6R(([D:CI\c|r[ތ+_-@p,JWԈb/&Q=M տh\,G?$ٖlOorL0|`Xo)tfX7 $ك^+ߗH nq eQ%wR<L¯ob~wҾ|c:1Ł ucRBKp]R6`dT|ǻH_@#8zN`Ӛ=ơ@h>,RJDJ>_O_ bd'ݻyJe ll@!١_'u!g;E84;DjE}xZ^:C-Q^`]K٘cUWx@ĕ1\T+cϏ@ogQE&GlzEjpv9y,921k[M=)2OۓAf -STN*.nۨ#jaQ/wVxg9BELF9H3 œ/ hُ炤_ńxcwI\$<7:' Lm,n] C &޴$>H?&:Os@+̀`wGH,b.f{9WMH֑i~lg.¿Ls0gFyM`gXvBӿjھ Wrf BzHˠY|;]KREXm0ftQmgۚGAuJs D^x>a]QǼ\MJwxG~TV/U@omNmb44Kg?V9uwM"ʇTYV4v\K\{J;U:UA g/YE o_z)7?I Ї?C|tFV [k˞yh\ L{z4 ڎߢA@zWdp-oi|.mdp ?_CG0N12+̬aǒ-͹[wr<|JOgBkvm%s]A--B;;ߴY-9 4=o:~ݓt`m?-M9]ab;9w:0SWDX3k+#EA^XACvsFަ)Mn2O='M:!3# d-9I-TkX+:*V`N~ 0N\>ppߧh\lGq8]x#8M!e%# Z60p5*[TT(dgU/"ɑDx,+Bvج2U0\X*̦0)惺IA`vHT]!|Ѓ{SF^U.jmV C NNh]/!\V/Ql9˚nl5 OkIh;dεwi flm9$Yõi=~WEpLbz::J@k@,a-jncI[$ .1:$2lRrLuaR Þ;kWӖA] cFcw5k[u2fE;nH ٘CyssCF+6SM_pϧ.yB% [b" ?& hVBb]Јl-mgYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4>c1Ƅ 5@nPCNk@$ۑY7[sO"f?ɗz{fR4pT֓9)L Jge ؎L_ #żىBZF<țs(O,Y`*<{Uz, q/*i^_O1Ҳ8=:s[,R%<>rxoOX(>F>eE9&֢ T 3GjIv`coudi< Lļ̹R5˲Oб3bBT#JӫXh'/շ_: nG ]2~^3 (T2A堦#Sl3]Tb'f\JyN5l2Q84DOr^jt!6X(pU{"`?V5CW(Z,9ꔯmS7un==:='cS|Jx"D d͜7Sqث9[_ؤ;gb/鄐1uڪe7ZpMHHezb~]Or?(: Q؜jP4iY"c!FOؘze{[ssG=JI?`b =V-Xpa/Smی`xbgl#D2h* ε\r;Bn ?6?f jJșϛRQ7 ,qBMwЀK`/NG28Pƴ>\OG۾( &Q&?^JJ$>d6l} b _"Yxqeٔ串syðCoAc.96ɏ86|W~`?UMdQ]!wO$P8Vz,j$ Q^~>߷f!p  xJwjȍ|Fs[ um #NMD %1= [/v5ĞRQY|w@*…{È>j5Oc]\gLô@1Pb[&(c,C7~pRY- sѼ=!MwG{ wu|11T;5q|_qm#̞~^d,f}`;E*'КlkS(ϝ+m̒`?MAp^UvlCJ$w9VK\hb]0̝ĠHA|"'So]F(w}Q.Q<7s236_M@~O@cO)oD`Ux( HWPcYñgYZ7zXZִF! tp>]ŗXi%IPdCv^e/Otixwd_4*8s@_N.S!s U"v;x e\=V_?ߊ<&FY4/gb; T w<7zv1<3#BO~h,'1azQk+!Bj,a{-c^5'pD[lP1'=F L}i&  N>.>lDMa&ʖƛaÒcbJAia'gQk,EALHiId{Xy^jY3oׁ@W]©&}7]̽t<>29y Cq֊ }r os;vBShz,-w( /MUcv$P c&j-똑jD̖0?pCy:Hyي; qf1 =" r;40Eoِ ѴRt / ^BWe?udMYtdZ*OJng#Ϗ ZFkPnS#W <6UTKbA1ڹI9.hG%=suov sI3KHZ0(B |J :qk!̀XZH\ۯ<We@17Nv4=A#iz7Kd^n,K/ِyݘn;T5'!㐣$=z3}S&8<~Nu7kVFnM*wp7480ބ3 "m-Bd9^MFC~4Ä']Fq1d-P3jaOX$Dj q\fQK6fU]Jsi ּ>lZV=j77՞NM95%%`̵zJr"-#e͒jq7pL[40BR#db'M/Rp?BZx+\ ["!Fjl1Oí Ud*­Q(ml~̌d$N5┅낑j^D'7$#X 0(`n-1bYu=QPtOcX`e%V#sV>@uě&C81

ik`-bbu7ZCV{gBTaiagwkw5\(_xX&ae +q5-keo} =-ѻgٶ!xt~x6"BeO=j 4L?Uۈ&~PiJҤTxqƲH.9a|&o$jJ4iBm6'%e?Qh},j#~~Z;9PW{Abhg(.Ô#& HCXy"?v(m#?kJ _D(-s\sէd2Lԗ\XY^ l-07{>_3)9͚ ScJdn]@;CZ7(AlʤK|ٺc64JȖRQ4snUoM "x_F&\q{}D%Ӎ wʷ`;Ϝ/EmY$cV䯢cY-\MCZ@7&ln}x"k4x8TS#de/em 9tw90qPG e'v r]) 49adFDXH/s0C]-'J$VF(HW=H{(Ɲ[i {..yy ư)1qykE{tVej{ͣR㬋kL'T(al4|ܼHo,bS5bG T#xJSqd+ N_!lϴ* 扪O߅/kMӯ,y,t85&ꖯG}~ )B\O-FϏ ]7muܝuMw:Cn+vr$g|pRL\+ZDv}NAo}uθdbu,fL.yYBwh@kW4~+;.L#Hj>YGĈqП cdg1RUZ8j8aW/:Lj=ˢm0 ?;P>?7>~>KR] Q/۲$w_S6w*Y]Posξ뇢i^3dS܉4LrAN̅)Lʿ-(>y%jtHϳb"}̊DiPjN~c#^ϵ]֔&]M Ė4J:X$f6y^",:΢mU(f.HD}q<# %<{k񳯟WͱWܚ4 *zѪa?1wÌ͖K-Mִ'j6ʥFl% vJWjS|CYmeŮv4V6쉡:}Sum9z0°q6/ ?'E.ݴs9S&F6Udߦ6 ^͋Gbg "=+h޿R8/d6ahSbg]rK Jj<:e3߮=ي/IjR)0JLظ6g٢:#]QMC-E`MwZlDH0Uy>8 mnQၴ[JpePUte b:O m Mpf 0}ޛWg2 @̙"T# .'էݮA qOQ $~/1 %ĞhRU)Xҟ$WrVEr OgN?7 V^WW QUdrpW$?p 1ye%*ٝ[q_®cW(-TqdEi3'2^}L;…-s("%E:}_9iVߢ)M3>1kw싒W*Y<B:8=#NuWM4T>+>/CZg ʕ$HCTMlpf<s.@]1+Čr|K;|``F#;?- UN앦*sNHguo/"ygu'=jT ~`_UZ ccW96W>M n!β5NEgedK|KKbPSug_QXufz3W;k:8#w4H|}:-ltEq%efpWq[O/c Iq{ q} 'CWmc8ŞSLi({Ǩ8az_}ʎS__ ݦZ m&v֎}zM6&6'#d_rҤZVs4rbs˖SssYq~k-OKs"Ut%>,ϰpre'`NjVDb~x2tPCCM=J2uw("GᙰE鮓C 'UY5<㇒\Yr+֭`z^B?3@6mM0fj;(Lx V?!s\q}A_:Bv)k3xiz↣5YD>1}أW}4WT*|B7ݼ8\8g O=|9 CW} ziKZ>v@ԋ' VUyUG!;/Ig5x^O%+d3Ԙ|3D\5{gm򥾴 j#;܏&UGK$:Z뿅OΔenahڠςczgys` -zyw2LB(baCJ3[2NJ Y 2J:~]UVrU2 0hFi-ZՀȷgT\h~G^4zސܤ`OyvJ`_>[vA&6mArW5]vkPAx' } %LJgPbTq ӱt9tzuFxcnՄNǣ V8ۚL53{ϘIrx0S/-刃a]WFymS75*uFO piFfF_P-4ACi!墚 +JxۂYb>,[з *z晓Sp- );lu"G//ltCRKPݡԃߞ$t}9Ͽa) &Q'",UTktԕ]&HRR qFse7+Ut] ~38hԨFTwڊ* ˧0;h8EYSLq K\S/ ClZt~>IQfLybQн}N`n)WGhhsgbYVtG{,#Dz[HCuJ#|0p7qM,&W6Bw:0`_sSz59&(4Rd'M#jc2Y0띫"fDxA_b`"'zT۔]21)(Xy#R3z;p4i"fn/F̉D|!!fHX6 W*(!&6I#ƮƚȽ(@x*ڴBB[imTl_Υg*(Sv'5F `ޭV;Dո0H>֓;/٬>5rqïfv=~]~kExa۩%Рr5tP>hĐ"^׸mA޶FD %nWL R"XH;%I|@Ɓt͏lGy]n&Dvd7Xbq$ϙIMh?KZݑ}F+WZ +bάu8YYz\]2LBPZ8o[Tacغ'-ޫFBt A7z(YΑ#%eƙ L\ %!أ0b~fp6p/0b5 zsxd^@w'tf. l~^k4IPk\;}bOhc'$_&_ l%vM|Jb-8rRt4oo;24,Q\8o3~SfF5l*rV.i^r_&9u*Bv2`tM"WPFrbȜo[qT¾d{nJ]T7W|S#!z^_H3f5 uoeX%Z9iXJg܈&"W(:m=()K:ѡ4@Q]wkZC@_/0&9N 63XBG [͒mPu2,(;*=kk @v~ Ջ/\J`Ӵ2vfy}SܯJS2*{P1I$ҡQ]s6Ŵ9 vCN/:9Z)m? 9̙6X+'hg*+,aYϔBD1}^}o`LͰ)NN}.ݗR bRm(H5]lR/qN]{OfbWlUfd!',:$VY4XvvA!=or II(莦\- Svi6vZ>!,n&O2#x>W;6ȬX4.'t Kň jО{Zo54l=|ڀ|A9gX{AO{6 Y^vQWG:Cft-!Y5 QR"K$a%_x$P\Wv{l}t fSզں#[R&c~X 4]uS'Wy-q#8G:D,eRgK{j1=hAAes4Bϓ Q3yo\1N7z'+ &yKuh.gXJRqr~ 2O.(*vn{_H^8˺pqgw`Vझz&7gFY#E^L(nιhV&԰jwQ(}o"&Vh HW2V=M5iD|5hD3CۅvWG[fMA_LuQ15>OA3HW,NҸ9hF/ht<m.F4]ss/>>b` ` p4q%7.2f1M4dg쵷8n0ୀh pc2+o(NCzzTn|b@(L<ņ}t+|Ɖo5xP/h8~k"ts2<¤5˓<)eû_6(܋=D kFw2P=[ۙ,NзFT2' 13MslkٚkO x&|ޥZ<àaފ,B vH,fu֯A`Ǽs\j2KcKN9"~Y\T:qtMx`r]5 wK# + ګ&eu#SAmQHzƒ45o?[wхRA9r ءsseaܓ"K@kpOd2FgXH7<_'ނ u28,"[ŅEʀj <QTÂDxٙHG>4+jUaz5k|%DEK4%MtwXpL C&}XGry6;#5;xրaf) շbtΛBVE`=Lt/vLCz'$Z'B-m~VҬbYeD.0HHaHX]ΜF':[XՑRjfAD1̺uMD4lbՋ;i8\Wh|QԛCt{ DW!Ղڒ3M|y;,&Y/gIa z4t׏^̆rQm@栞³OɆ} &#^M\^ќS aAѕdP阤]~\d$k U6LWsyndw?n,k|"gxn7&59-A-UbQc!ˏ]!&)¿[|\W`0[Ouo?UC 69l4G`<7%2T>ؤ,RNJ|pvMj_6o{| yU @~${N:U1W֡f]VmLnP}K=S.U< K$q @*OU1@QJ ;!#Dy,l+=UaА0q%bꀓa-p5WHB&xDemu8ۡd5xm?mjZqxqjtEv6L9[oD$p<7J#׹"=PQ[/ZyN_m&wDsǼ] 4٤/_;{ԋDNW<'jܳs)G0;%U#r!4K߾azEY5w`$Cd =KP<#QM;<|Ңm6Þ1 ?! K#n58 /hJGZa8Exc65(0%֍$NFLcj,ҕ Z_ I߾gkbVmpWG@Hay`f6;.(lt ~u|sʫSauX0FȇYTtO{O[L}lIA5Z-8*H^}1bFDXob.}bduJ-*FS_TEMh#9It_o!cL%SfS^o-+r{us5)6# 't .Con& . AoQtіI&Y)[ՖbӕSuXsHcJjT#,O:N:͉x/ N#i:+PVU;c!zj0иG*W%%+kmMXbeSЂեmV Alfoaj}M<@Dptf\d7{hxJ!GjV+WOIA6C9g eQ-(;C(P9{Uߠ@M;!9d#yRY8ʖNnC"E1 +xrZ7F\^q`.լoQJ Ëo#E^n._M}Mlxamq tZR  NTCY"?E& ?sY8vHkNFfo۹ s/meIdn/hȕg׈#Zu(>@7b Cg{$ohZ-A8>oڣ8 K 29fKs */=jEU. ^;ΓO.VQ"aNtso;Jss݃FT)kl{z;!ó8n2<)4]UEȟ>%[}z{9\E"[QS{ z1SMfX@P 7w2J@MeQEN\s+TJ) )mBt9Ҷ"0=v[S5$ /{"m$y*7p>%?ڢz:\trsݲmtc3PK,*k;RI4K [{eHyťeP~5-!0w a3н#kEȼe`\A2DsW]^J~Dx`  #s,F3w=B=h<kc?,1zlŒ!k(kĘ+ h};'/tre{:S]RD8wsW9}%;Rʵ|W|goHm?) ݑx~  /ǪbfT^:r'k8qgT*F.Fj]>n|H (Itz/MY ^uݬ>>T7 \6ኰ "\ n/8';Td_&U+ ewR+_3Oṱܸ|/ ɣiwݩiN^ڬpikȾA0Ј?1VpNͣJt(cy(Q(>l~Nyiͭ[Fc[f{ae{HF5x[㠕~Kԁ*Wg g ݱUܘ-'e!j$u~"@y)wΖ %fBE{EG' sq[M1n0vc?OdSCs)o='~F m'7^CB۹9X{xk__b'?C ¿F;-RgR/paB`6[AA8.E*Ҵ厦@ۓkÂ,oijW;oJY'P  AR6 nؘ?M/f9v^rľ6:\h 1ަx&6 {כ;Ћ)'݉:> Rj>軅QM/ 7" SsUTWpDmRU)䗗RIzˇ:љiUN-oe0xivɉV)uʋIض 0@JC=QDQ(2 ;h(BGbĸmCMb0{$$D* Np'̾1~jXIݠҊ)&WS Gth,* *, 5.=ss_zax_A^GϱS-(#]]uF6'&l a*<3 R)f y+(#N=ٵZAJP b =W%௒Y ?b-z?ޒ4Q%]0)s_/w8AW2g")/T웙[,+vlK_irK(IH;FDž70CF$l})gɡkƏWDSh =7ī'&LL03"1!ծMFG|txS$GeSKTN%5Yg NrO ~Z>5@oViLKTCC&rUs?FsɌڨMsob0!^@;W#lɹ(o;bIir5?uVdzTRV7D_T9^|!,f4u>h8Ea6v`5Kf*OWt<._O`Sg310M;RЁ0 j=m+?.1n*,vȮ#Wlag)-%%_dg>A#UK12SBomOG@/ez#iRq׍4&w*OUMq^HC+IcSBmYFOe#unrQ r@ZY?k?c>9Ws]:ؠ =}KA /իu"Pw8Qu{j`| c(Ɂ$S?I64Ma+8଒`)B\遌}} AB-12:"˲omu3dd~Gٿ ##Aik6럀IG1O}zq с^' U3`=yP86l|Pyj"ӿ?$ʤh^D)\JY#xhjLPSk*9% do/4LձF2t rlnvQ+зv]0( _-:X5KQ)pJɇ\+2b]DbUlkszP"E=펏n׫vfN݅u(!B\Gm5q*HoXLHv~0:Ns#mB9$غlX9ֽ$b\mѫ[ Ю A[61›`Քj,Q-zz~)}\TL6 T80N[(L6i%{݋L89P0R l)4<I?ZQ`Q)X4}w|2_"Є:het4xunlbdXE"A `}|1w@'ie*PRտc \&:1:[Uj1v-Z-K{Y7|\pg8,eQ˥.LP1R F^.w8/] `gor hW<:mrkQ*en@{ŇN$D*3 >vT@F^-f>i`\h..^@-6axE=MqMH-87GϏ{XR /`}vʕ,T.+N,',mwO~Aװ{ƲŔޮoZFl VY,XU2M. ~.р2Ub)[ n^)~)&/@js\'܂y?yvH5)X/,D2jc,/okJ7,D)t;:)/>Y)+݀+݀2l^H R]@v<1 dCj5 2m(r\JJlcbsزuo輛hW6IAФFBwm$LN L ψN Nw;֘I Bv\NWn.!I; ޘ-uLa ZNn{fL#8#OtΜFkI;Jc'qiQ![oI{/=wu+ n3ՍB(ߤ@sc܆`y^E:w"2 Dgg0 PR6Zi 9\#dخ j&0#ffIBMq e(Xf[P}t-@uBJMrLq$g&.;T!YDQɅdd5C^_)Ma igPĎCF46Jl<̀h$ry߉mǜcWpzFI!_O,$xL6OTAxhN|˴|c 3&\f'mJ2P' cTsDV!MKh UFA^sۿ'pDu!A;a]vPtwҦN#*o `uOS䨷2"`zH(VSܦõ>ҵ7ʵѐbe1 (mc|gGБ?&PBPgoѨR*YcyJ0$▄PKv;Oz1p!ѯ=6iyfUv"XGe^Zo&B0=2EIֽw(vz yy]n'&Rqwn:ḄE?wWI+?78}.s2˃5ц1TMRUkc8 %i ll0w-I=]0^?{@FP$!-J}eaZv@_ѭ;WpK=_!婅>k|UqS+[Q\O ŰðA\GNM\nLu- ت=$ A+ ?L9auE9Wgx~_Xoۥ屠z˕<M!Ϲ]f"  < NohN<,%aH6],L2M#3vglwt=.XM+Bl}k,+6 w[@~Q]; tWH6GaVPu[xYG'- P%ԔIavo 6-/=m?+V#7D_84=p_]Xrῂ*!0:TJ:W[N~Jqr1{l]xG  VesCWX-Q|Wn=sq@lun؆"D:i C5׋nK`NH0AJ<5:sIO;,$"M~ҪD@Q?tC Nw$ -V1/IC鼺XM;>~pZxhc"mo ==G??ۊNcD/M?L#t'g0~TB%@æCt'YjFt.knU ׂm\!۝ Ū,g jMy!Rpώp`9227sw!W 7VEo BB0 꿅1lk@%%3Xa_\A]qCú@ *x/?SONoz(&<> k~ YHjTXg:FlD4rCtϵ -iB3q7gD~KrnO-dpxJ,:]/*,gݜ35.T&1l:T @3|APY}fo+|CJM& }.:6dvQmկ9_2C6I.E9.C|8Do7 jD"PBC"fjʊzNg  ]_~x_7$!(bB~e`^Ni+6IcViΨNټi_9dI2 B": ##z{(x氱I Rv6Ou"LÆ [Ư:^1nzg]2F Z3ؖK W I0Df2cm[n{j1%sN5]u`\D(EtGUEU Oۢl5|t*gխ=|?TmF14( w?]k̡wྨ?u.7LRX)@Yz΅¤l*_mNZ֘;%I*iĜ'/Pװǩbi-ދaIFQF!&j6߶tlԸP&颐frDpCٚ/ln8=6P,([QFVԕ8%t:v/{;4`?3 W5OK1biOpkɾY]au;x`K'aӅ"=멗z/BH<@,٧ i-۪Y0^gA~+$pvuE&J7WO7N&{qD.,u}1Nw` ,F!5TC_AxҔ P#V~ӌu:.$r S yE$*yvA}p" ~ŏZxI$ěELmfZ@TQ$iW-t|qW@S+f^@)DGFHeл$'_1S&2Xk[Tӓ!\ù)$B`,}|07ߒ@Jշk{1DQ5@< 6|XyV8S(kh@3OGH3^пI\>߭qD^2ǁ͌B?(TW8;1& ʸG܀ʎy],֤([X+<ꍮF!01ޔJ{4}F^@< NaJjlLo;aq<XLJ=19x%6=ӥ[r K~WG-pZ#W1!eP? Hfۈb?z;_d-ԄD\֨zzJ Vz>BjLf*n0>2MMEe˜[5Z2ߝD3cLQԕC"DÁt{9G_^,a6/t2im`Vڊyb &-G}h!,Qѽ!yeǜb b ' TpFd cQjo& mWy-Xv7&>}6`|,;aP6yU0L$.k}H?p2oQKX–f=a6Am8lNiHS"_. 4<{у,]tg+^A,Zn:Bÿ}dⱩY4)yL[M.0+'#'-E%bl Vs?VPW͈} -!#n1 zz^w}`DN _蔋-7'IQ&'5}.=IX͆lvtZ!G=/. %SHf6:|om{'lN..8Q^@ӵsXɟ`U'cR=@%f7 8Zy/.\-Xӌz'q]=BEDu OK]Y,>,d^QJ-3yݸ:j Mʍ":l9Ne L+$ Dqbc$jiY搄":ƪJ `{\~)qNw0V0QuN]<~Xh~R6:Aȋq~Lj'qy&RGBيlp0Ȕ7XG P!50룼F,ڊE(Lq_.e.9L]++ a`}\RJ%`溲y{6PSŲ/E|f[F/򠥃{߈5~JU낳#HX 1U\#Lh?փo;NCD hvܲΫK 3;r@gC2d!FtY'xΉȓmMpsL :Ҷ>"`*ҥ܉?pՇ=X5f֎\Sa|l-]{;J$Aʶc?MГ.@B[w"!U;wv"ʯO|mz+=NёBXob,)=ZxIRLƯ<7lG"Kۇ9~͡f&1DŅ4bDRjRX rћ"JP:<" %1+nUΰyE'W32o'u3MT)1 n9r8ݡquySN:\HVGXGuL\ fm(ã}?5xղ+w 4WELRk W|행UaVe]LI1w k#U'{όc^&jzT} w x/"J>'Q#r4&pFGXrToa4⤈%gM95'; '2AU^n׌au]YMKNd_,G\%e Z7xF SpBn{TRrC1{FgPݚpe~iXy!)(ki$ V{DUP a"u3w2N!u7^%BZ6:7镹 wER2}3:Iwr\%Z.TgT wδ:QO  Ĺ9/NQ+ɡ`"T7l@!j@&(6b-ĴN/ NBIqwiTLCoP5v98g̒.n\~,qم8iz}&{] [[[c[޻>HflxkfRт*TyKRұm﨧gK֠./Ew,- rۏ&YaT ըs3d-63|8=lHę {J (D+TOItTE&l'*DX[Kc 5Yjžug! S ;L(*d4WA%}{!aB(BVyњ%I;AlPsjXV$rԏV\H}!ݪMt4#O%J٫(:ġ%)fJTP'Łk[J{|>$Z?Y$^ˬ3[_JtH" c^>6Sr bQ)%2%_B6EVL~]<9!̿Mr?= \b|r[Ll6D SZ53B^ MV 3lg5\?G[-,;?>k @*\sFS\O=ϰi "S̀#a5>pM//a.եǞ.n ɩE\3CxK;ΘnKqZlM?Ag^G9'k_2:Xg.IMky O߉DWrvP]'Y3e2K[9}gZ&F?}(1ߨ{4du}EE,\Gc!=j}QDtS,}K\;X%+bw)2w$oOU섢H0-Cc&fR5Wq`B{PsH2dq1D&<}eX 'iքSٔ>^23x ã1;9X4hՀ r[dF砯_8O[wCG@+?Qp!FI1lV=@CъJ>8p#,PM9BXKV;Lű[1#%渵[]ZgvےBUd\` | Wh(5YC=w-/J6 { c'AWT6ۃ (\殣bl͗ٻh̋A„AD.5jDw:}5qp:_x=2)3嫌5@׾6=%g>?a T^ Poo:I,>HhA~,(aECvb﮺pV^ӸOv=ʆ;zBpb @b/6˒V"rSͬ۳hGQnr~ vscqFtġ^*nr)IjN)%U#dl<G?(< ב1IWa-b-e[Rr9mU5%%aNO>d(Z+p2h D'(xƣ5`Srt5ӎᙼy? >Ц'4yՅ+F=$ xO y>5Wh=qDZJ!˗$$qGE\a 2:tO5uƒDb7!3gDE$ia}S}Hǜ,} 2i ]TM7=Of08%i$VbXBjǜvz^ W5"PcQqIFE- 2^;0 PrBrZ68Я}R(uҐO*>/8L^Yrh\z>Ah~rzS`,`D`ENsmjI'fm5QɹkS!"U%_iR5G<( Oy12@ymD;6$aet3/pQRtj0!?dvI pbEiE^11#<5[Ccq g+rႻߢ}0kj_+ݨ]o 5dɻQdkQ^(S7`B(N #2|:jjї w-^ J T%SCmيo<9_ Q%.8PLyqʋK;x:7!H6#~^MAtXF<S(DhC¿0EA7.(Qo𼹗,Qţ҇/D$ :m#cALE\e!u^\9k{fi)l)cKKo塢QA³;q E:8PݒCJz? @`E!sV<žK5֭$ri݂f OSma>b=`d_9޷fp&/6+A ݼ2j d1WL&e9;r+瑱#Sfժuǐk0,\O -oC~EP&bބ[b^m#_J{MP; |?T*;~;۝zj3DD^_ Z`Aӵ5w@E_Xw!Ɍƚly'@3s_oRZMkj[Y:d @#CUW3 hHpEkWY=e>$'1b bzuSwPi%tn{6s7Xu3_ǫiMm@UΛ sN=xXh8Q0s>r:0Tg U:t3]ؔR aT܌,ghgQe԰~G@>v:å0 RѦt;`jtSïA9 G2ӺP#9a0~!EF<.yb~Y'XWtOub@ǼHt*|lNE3CE"0jկ 1Z6=ҵai6󥥲C ? F[YuJ^%Vav#TY#, 4iS'к6$^V)ݕ$Š~F4\1XC~:Mo읨# if: ])KTUR10\b^> *vɒһ}K$D>b,2td6Q*]A_B 2pCJm6$ |MjCЎ< vVҼMw:6W5Ç[P,p2XDh'=/08PxqI%8"qM:]sr^:GѮMe;*ŀ|ܵ}af[#@0fP ~^P~ۅ5Mcd뗈Bߕ2%c$KIV澏asm8I6Mhy@q 'ש\[ &Ec^3cϸ^U.HGImȞi~[XMs׳ dpAY%Yt({|tWd_̆ 6$ن޴`LL[q$1^ӻ;HagYZ961b13df29cace960caadd1e832e9cf19761d7dfe0583a0ed15dcfb555474c531eb30e964565f3b0 926329a23c106a798ce76474fb0b3f351ff73480ee201140a7252750d9e38cf36ae317b65405c4c9