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  z zV7x , ] HOL-Datatype_Examples:threads=6elapsed=79.901cpu=381.832gc=50.5167zXZִF! U@]ŗXiɟd)&]HhR"P, .N gqaU_ܵz e,9N_W*@$7d$ ȟpF>-#bLث_郋R-<5Cԯ۔&3<İׇX/G>|I^n5H‰+jX.cQi~.zr[7ah6=|!=HfպMȰUAū['Gs}sHӚ2G#oHY X"qsfܡ.Pw,ZCFp.(Hh>ftj%l҇7|~AYh'̻FvtܫF9!ք 8, ˯zx0kh)ŒϗYiդ^ qͥ.,i۹-GWg驺> O{-5^|S,=laO}`յ Zg_U/6"j`eyj}]+2֊UhHm8M(z;MY1EH@h=$%p"c -}RڎNQ `g@EW^=Z_4GWhП |lhƬr5a%MN뼣([.e,`O^ 9,YrL2_ ߑcت]P0O;Oqhk]*/|ʋQ@Nl?6Wl>4:W%#PzdXuԱxEH@WTZWVam+Ao1]4)O @ Jz^c WQC֠0mzcpdٍN&QDMaIFޯ) pV|\$ ecz{xe/NN"Yb]|peՒyVF=E]6636OmǓ7֍UT:o_AlyJb\V3BD©'Ĉs-o@ZaWb'QrSTg=ݥ̩wR6LbmēNf:i|*lxKrVmコ`=pߜe޻lXʴ/Yy8R#e V-V&o3o 밍 @X 7 HOL-Datatype_Examples  ^w)~#{D/S;ܮZhNg1@rB(za 8)b(CAt3䛢ayt/UĿz1qnkxYө8,eOSf!LM;,zN'/0BU yhs$z2{+1YFEL,vCyX"kkh3N,(lTK J}H+zq`:8N*)Yh0)%5dYDA-9ޚ*uX^ZiÏ (u 閬MiS@̷F%n+nlb׿)Y% !sT(vjⷚ(\z?IF:']L{3֨H7fedžeCa<\ٖ8O"38+."T.ҺmIk۴ o+LZjKb L\`\u% mUyĝL|" b@;n&u̬OGoo]VmݯnK׻` i6ʣBr8!Kz.p?!2ql,/8sU,ILU}yy~C{r ]fG:ګ)llbk̘p`Jc笫^|NL"?MV*%àGڡjJښNSr56"&*_"{OVr_<$Wtz#ѵNG}( s_v*(qewz}7@ 1O3|B;o)ya*q\0q6 S_c~c ٪0h*Ål.݂io,[&X ^kLz O "H3!Zm";.J ;w'8RMRKj)7ބ{r{n3B7L4tFF39/լBVln /߾/"v?;?EjETF?E+_ Ξљv{>(#EViE66̮bOv{۲ fʀ)&'_j -=ls|֛Vy"W?8 M8w-LJa{ow܁٣WP0JSPkٱjB^bHL.o=}r:;9N{Z k%b4k9]$S\OMpGjDž@ Kl .2x1p[؉/$< >'|R,IlOȘC".33)UL Z"@ f6l77,SzM5|~lNܳO|6@="atJ8"{h\}:/,ys&?5LdR`M|9M(h.aEi4E!2$N<|c1L*țdQ݇qp4BŢm-\ohr&<;44ƠZX(_ƠX bRY0HN@X;nIZ_h-J9Jx+KYp$./`2/ ˻Fe_ ͽ׭_T+ gr*ˉQ?]A( X\_Pnc}݀Gbs2[?"$Jn#"-L.`؟Hr+fS5` >?K| *V21?7iWa#Lg\ğ~7mdQ ̺ + -(m8Smtl-)O >"mSZ" Co\DA]T[E-l> fUS(Ic-(.4{;u>:/owFb>=oo*_ۄU̒;Wjx)x/tΚn'ih=21ΝrIQ:y~2~g*؛=7k࿧S|6Q [ `_f=:FUG=i(urXWlYfX+4:Ba8mqquD^9n81k$xaţa/LwzڤDxŠo<')eX&>6TEwڦ @W ciܘAsFwVv?S 'á> %  6&@X F>#iXDoydlү]GA>Νc-€XBD%ck̔S 8v9 et0DAc.Ǯ yk[{NsBb&}7nټm08O#ɗ#TJ^,4v"C@\b[!-E# H-L:h8YD48c/WaȚ݉ q(wv :wpOnj\ˇϴx^6B6i5䏕B1{/EޜN5'`.%ʴ? SM hk?ArwG6 \b]/3I6Vz ʳF$+z*G6dn(4gE3iYKm@eWsm m=xΠ88`AfurZ'Pașlt$_swyT lCi*CVn徎$P͜)09O),ܖ 4cB]&Z vX~ esN)[ߊu^RA#ד4LC(@.,ʼn>se̜^\ Rl Sϥҡ7R+8Dܾuj*ϕny:tlQjŭ0MTP/s+%ǎTh7Q!X16d(akI_FUz4J7>tv|ϵ վv=$Xs]<x|)X(o$lM@c - Eʾk9s±i7? G]Su&Sb'v6 q/ʼn/<xΈfr[wunY؛>ƩiR!9&"Olf(bԄOxYv+!w$GPr_R^/J\9%ZgAYrtg)S(x4[EJcxDQ @eឪz-Wr0 S9HiqfE5[OoP)n/qT-mD֣+s)F tc08[+Н1NB NjjYm6Q =KӍ?O㉾o쾺A0\|oP'AH@Z<;: *}wKg0>?|C/qJ),CLeG~+:G[~Vnosq@0VX+Y/Cdu'_0ݪt[?"SBʈ FIrD{5O'lhd&=Q-F/,Z`~=`ܑEbVt| b H*p (*MY'g*$<ܵ}/,ɎfV\Q^]1s{H*B g͝Swvѩ9|\O] _X"B7&>R+`ϕ翺_`EG8Py.ͮvK! ݀5 B^7ט>?,EfCI}Xvyq0f0^TpH0և0z(wkSuȇF4ݹ_ BWrTgѬNq.>es T2UBS; ^ dsX[zn9?hLDNG:X`h?C՛=fs< mC7VF=Y0AϘ6%=YLZt&4;4vآOشU%Gd袞=ďN=)j@+'ǑaN#fא6}ʒ*ybL(Ήw[R {Ip62.bJR1Dm:\9A硬_#:Zz6TX?@s+"@a%bG3Kxij+i+Ă:M2vxZR 7ؓA{7@?7w+e^&.Sjr Iu (iF{nY+ku*'+Ҁ+^j@Bb}t& aJϚuد`ŦB}}/ty&rKS yy5 ~u%+j[b}8 X$@s"*E4;_ Y/Ojf] 5)ٍ̆sw GO^k:m?x!䨺 # x exxXbIVv11^ү T!7<8R>&&joj\GVO쿬s6j|8BR3_,D}z3yӼYmڮG%ikMFG|1 V'cw%CW1IB "%@e0V|D͜A2]"8>~e@,fa:N l*8 [d>7#sOzĔqEbϖTtQ =\u*F' .s#ijج RO{۰G/cl?=h&̄]`Lk}pZInFԣISPK"h~AǰsMoXYdO, ]  O &V@F_imCcwĩ;hk=G?b\FTU?l;3 Fhd@ܖ;]lAKM Y~F1|qDS(y"=M b|qsUu?0fz1*S 8RVNf=XNm+5O7M)9Fp*hSS^pe&;ndl^&/,%gruHJ-Hߍw#X- ,Y ҕ\a( { YEeoJ{I'q^aEUG ׉Ɣc^;M8ky@/'~$ȎJp2o{ nՉ:Iܜ1\OX):g@t?Hٲ{#84nɘGYpBVVH} Mcl!S:ەB|Ҕ~RN8_tD1'MFa+}Ƞ&:K r I0 C+[ىl;;aP'3͸U,$Iƒ3\;9{dk/)^M;#(#=׉/.#`oQLj]EeNꄣ/e=YRzSsx:֖Bzj:u1.QJpScOC7=Z\ϊMYManN)5n.(R75㣜GM3m ’e&j'FvZ:ULERuEŎfhjLRh-&/ |Y-iڌGPp5:rhU UG_¼pǠpA{O. HƹG$'-_c0Qf0pug{;hQ穂y#*[;9M0V;`==0ej+Jk|kK|S6[d`atwns=0냺 nLRc /up7U cUSYjPI 9y#dflN,$F1UpK)g+OTe oeZnt RެNV[6*^k .iv>Cs"ʳ-`ǖ.+lwCe.!#@<$(z ҷ,$j^XB =3^Flc!/v.I[躏HyܣnkE?U,zJRw^ RQ+tʫg#%<t 0Tg([1K@,i;ۇ!;卷n k4J!uXyתMԁ6uup#KgJO5LjiU 8]_w&S6Zd9͆zOT w'u#39L@rp0 =S˹K*$kZ`xc9 ҆MQwI/H03lwϯr.b ^JJoC{!QdH_S+#$C3sm杮EN90ʙ[#4:EΫJjgh_ XW^M|wX uye*`\q6._/ִ]{IJ)U=!xK?2iҚx8aaȣOx[Ÿ[D}&&*xzp$C3BiB^?XydHĜ~Y׮wbϺec<Ǧd߂.hБ9/:?ci\Tdj}ҔCu{x"V"Q2`G:۟O{y66$=:&7JʵMA?._x?!axCc,^Z.`r›A+t>S({.WqGX|az ߎdJʛF00r-g@6gԺy_N$M8:f%rC/ qoB&uirnhN>=7ww+U}~JF`y#fחv8v ;ՃVwB"&7 l1|:RoVI'؎]ZwU M_A5p y((ص>d*u Vq1u>bτ-q+'bKQ1ϥqꍉ_ރq^nK""V><3# 'gj~6-IӸrOF \,PU?nM%&rbüywH!F P[7a9w .Nݝ,[K0i%ч"s8)˫C//k맟yP׍9rS)q2 ld.|z ό'{hBfW ՃT[3m cJ=լ[k*)EbP2]0mM@8'FkgoTMtGa$ M%\Y hz@MK u;2B=HQw҈r#o+y*Q:,ܧ$ F|~b>dST螫RiBٵa﷬rS_kѥQofXWp;; dJ-K= &? +/]=?$8PAl 'j6)KF)s`J #e K \ꃋ0>~M:oЃڑ{(ppʀ>w; b3&x-&B .HMnɱhPNԬ ݬOފVN-;d+P3ǢhQ<:0: qDs1qN]~tZP-TKO*o`F80d ;o=C4禺L;R_*X{⑌2J^"!H_JِNv`!.qͼׁ, j\T(j>~K <P%r)R1"#24tg{w*R|<ˤu"VAdjb"+zI񯢬0=$34QhS[kn-+\pqnҬmE?fjJΞSEJ]ix\{&e;vzYl x3\ r1pQU0)C\[ޑSڨ,Hăy̌. *S3MنHEPQ$I>JdRa^yYC9H8v"ueHa  >O8xPFu> 4y1qm]quzCM'ZKij3H8JAӻLL7Y[̙w|X%D5p\fT fZ؀,-RV9.Ki z[pP$'383\~[J^-Y 'C@i0*6cKJW*&?fI[#{PFL 4+ܨi 6'q{Cv gfyne] H%zIyGt^Ftair)t=4JM.֞cKpN@sDAwXՅJNZh~PL0C:̪Ok#8!҇ef51vr[PThbޚ(. <>g_ZqPAL- p##ݍ G|⫖}h4T¢VZv:%cd9HfcQ+" 4wa_RIFkAZ matchm@qRy@Թ3Liu_(g%i df>"#GRdv_s#B..+#:~E?]r~nyy#|0ߖ҇U7?G V)X`vOHhu${v(@Hv$a%|Ky+!]w~ishsK ;|#;_X<߅ ̉vtǨݦG :),2&`{:lq7q#~t R,̡ mYMflT߮N qnZ=Uم @]M!p6mLY~sʪ1B5 :EksJPEӝTƴ9"_2ҮX  19UB0]!3t^PH|m߼Kc^*/UrAyB*Yg)/O>](T7SEuΨ )Ц2=)es^J5m E_LBT!pN&҄C+Y gs,h ^yԉrd&PmR2 4KVQ}$0/$𻪍`ӽ>mR>WVAK4*m}JmIGbF>HHh$S{dy/ Q^׭c>vvhj1LIzYQEr@_LE12灆u*pp3`r>(/Lzl^ECMwfLZn: ~X4jj#ݭI5V2mKɏUkT/}X9PN?8X%a џ倳Ћ>+/bab<]8' z)]Lo`kM#r{gIMaX$YmD(ap;=aB G_ /7A+GPyDJ@V&>\2lvb)>_M|ȫb&`*P+~ \+ܸ.^cl(h:"\:!]X0F0 ܹk\3Xn-;)]^\zܐV{ qurʢbXz;?&P4|-Q5twSNl#So۹( Rq#^JW6IŁ'>*H&AD#k?/s|'B4'iXUZWd^qP&o{Е FV⴫ 7͢!<} mkg/KGa?_^}`r<_H|w5ZAAp uh\WE|9Tt3k hV‘@f?;̋rG\ǙE9Y MZ֖ iyQ  W;W6׭^{x)SQ(R( aEk#~Nۻ[cT`wTcUw@!l&}GɻH>%bxd)ˢ7@O`m?+tX14o`ee)*m]Uμ#D+%F)ZdAǘ8З$+/ĽyFUjT+Ě|Z R@eBO$pTXнBDz-{q&)v" no= M+hU$GKSSX%PZ]ǿ󥍭Le:ÈX<*|n!' 0o¶XWգdIoXLqУB%$7\ÚHWWC@֖0|6Dwټ{jZk· l'nGj>a]BL=qК+>{MSϒ2ZtbzsWrV ?PL_5!. 3[Jw.g D~ۆf3p: YwORXwanp L= B۰ϛhdE]wr0Ś4$+p:6aM0{ΞbOmT.(6ؽMM@@}p`t~Ie'Kg)Z".ETبzmxߧSӈX["uܯZufޭ0OE,f6NVn#Kn ߿~C6|,/Kk2xY|V)_- |'$v[nibǸuԼ0aJrO-:I_ǔV ch3t$]u~O 1u@pQ,SސYt|#k=n ls{U8r@j51Q7WR uЂy(iÈsh jG4r3$&ap"ޘ4PTSf%xzS,Q[NO#Tz6.Oy7i }踀;Q,+΁}EpF(Hr/9y0|Dxr~aOc orbyso6Qc{pf751$n@l=ˍ~pc7yoVZf87$#$U9N4Mkv4Aմ2!К~NtXa"Huyo\lSjo&5:&OؖcX Ag8Y)UޕliXP"D>"yT4ϻVU"#̿tЊ1o{>8&3J>ro#͘uNsUѕ'n7!K<5=ƜÃFwc pUD Vl{5l2jXThd69ZtAՌh+N{` y Vae:+c$*$:o(D5n&/^m&hu`5f<]:`[[k ʳD^jԮ4"Fc`jDG}_Fw4yҶ@2hz]7 MЃW!JaLە/?R*12E5qIn4ПZl ZkcQBWvfdS# VH/tnE#_ &3]a^ -AlIuuS0ȫL[WQL6cK/eAF?0-D? Vl HÍяZm(\UuUGIC_Ro(V ʜǴIG@FˋSzFF1)T|wHT$U"lT;4%Ef{》_Cy %nXnЍE=fwyvY8id,ru^>ѳh՟֡y_V/vc7m , #Q_M,Wys"T);3$`4}+H]f91x9}$"a9(wN]}:MP᠌w) a`xz:?\z(e2OmoVyc B0d$gc+37Ι=OB9,E%ca͈rl"lVmohq#)y{;*M_qk} f!0 T9[oˇ ְI[@5\hH]Mwxbw^aO'zܚKa@4 L&+kOM[\;cl# pMV|[ YT*#h0ѐ<4{Q4>5[6\ň=;7xwز{mX (tcO~ Hz4IBƒx%΃\RƬCP]M"^YB$&*кy__ DV5+D͝D#2}&טkRs)$w(S. {9w1pߠ8{~ ${hH7/)e*JقtEXM)ppˢuͽ, DӅd lMۖ۴>i{75 *bxsx[K@ T.;U#hK&$@m]5=&cє0+Qj!AM-2y>}AB9ҕ@{G G2:VϩV ^MG1SVX&b?.O hggGzS VC1\f#?_~SXLq3ѳ!_ M]TSЮp!njm"tQ_ȷ8d:-xOj"?!IZDS,?0vLiOHsqvV;/܋ٹ*vS+)Da+hOt N]|{Ar7~_>NC54;>l[r,!~%8~C\uy5i988@"0/EY%A!Yof)ܘj,Vu ⌀{=FU2 `3)7ۛ@lijx: eɶ2P' VM"IMgMYn^^ 9X ^yfd^|R&J~L2XBkz~ΞØ} }TBE1!4&h:)7n_ z<%Z #c<9$K)>xuːD1ϥ2Or=VPkx1'P w!7! }[ETs.\ #-:$ /s2GЪ̑O C}l7ZlrOdže6jn~!DaԵKA456@zW< ŧM@7_j^ 4Ҽ2L|&?B!@" !ʨ4[ʥw\4lBU.J`قwȪsg/ &3"!CQc (盈"ܛܥPG(ߏ;k"2<=V[mٍIm1> ܲ&90iImAdRz J\58)6Vl,:"/ pرY׈1Q. ŐRpf1p_?RY:7P~hIU6> 0 LLL?j_S`@g3>t/ϭ"ŒDϲ;$q1@H*0&6mrhS*Vng/F2 I6Mh \|@) |^e 7CvN'R'@L dÞCJT[zưeG}L oEf;JLc H#$7FyuW]pbI9\A`O½N) ekT  Juޙ*{+%ҕzd**,( *"n U+~u8j !2ǒQ0{%E#ҡ@Lv h߹ؓAܟ۹d `jk$"d )XGPU1%Pcz}N)t:0۳$CΓ 8a͘wKAZ:N}R!pm$AF!~Dk削G%Twɛ5b*Pƌ)m V,dSjMN*GS b]F um&Y#aXi3R7?ja1;}u MthOHEリ"97lj_+C4`.YP ^k/~Q΢+O "oCf 䮹;AgO߷֔\/U?OWw>+?wB'XQk [kҾIVxZ/56um.cwrK=99W~{ˆEAԼWx$~)'\L0eѤ?O@li䬶^{n~g^8]g-˜Rp~&zqh !" ߣ@EC!L`)aUvQ+Q[Lt!а%Je H>>G9NVJAEs{)ϕl6pHEwhJ  Up0NěDV2 )[L3:mƉ$_B }c#J09Pe~-s1-xi_$CX9@мdDU=jAO #1CwYbɴJ*3;b* ȓ ;v~ JkV}3g[m{T'E/J[t _FDRXKou|a @6cz1 OySLw "\;z&L, NJ[!*uGkR{2?xUHmz;- ®mQLnn/}F,v tw۩O󘀴sY#q7.XYcu,gP 6>vޮդ2WDs(Nh{ɼ8b tKB(\mbBH2MFJ|\2d<7CV߹,$N]LOY,2mܸWze]?Lf;jӑ[},Dç=9 'XUW{H诇D_yTDGg[@u$W/*x=$E;uV#͈S @yDҝWL Xz<v$o%!b hA,,(Z8YF҃:c6w~uN%>՗0cJy6HQMdۥ,a?XCfKhTК#R"C^W&">N3@ U!4g*Ծ YJi;y/)4e@Z#E$g]u%6Hê'ahITw"z0Ӥ]:.o@ܵRЂ*,F7QH7_MdOjT35ynbT+((tWg"VzS+y+>B`'1íxWFKJ ;?('sS\pwtUP,Y3Nu_GÒqhDo'Ry5burG'P: }ʖ~I<)7/PQaD "-8S}^ I6`qM)UdʋhX)N|fv]!dx̻fJF ̌ /І!tcxT4e\Y:&էF8'I9)Np@8+9"hy4|df ))ƅ Q02J'5m[cUL21d@z9{<<+6l`du7t!VK(tzT>cjB,顨~^XGr; iLΈݴ,&yh뉓r,A+t6l6!Xk=dӰGN[UP֒ŀhҥ4->$TWtOf2]!uvܺ|je5/؀gfϕܱc֑_9YvS&WH0IT'sq+A}(}X<:eC _B[Ɣ7&R:Llw|g$>a( q^h#2 S6=:qu)j}8XK,]}nٜ HuGknPAG*"@G|PWY5,V<΀r$Oݔ^Y:Wh":Gw4GuaEx5w cehf "g[h!XaMVXPXZ>l7@!Sò1|Z {tMG0Pbߑ[I-+値sÒI$Ls{pՒ愬75YTFhc:a Ӏ @,6i˯d-|(-SJ@l~Bcʋ v+ٲYs%鞛؂~Ȟ)7 s*kD*D_5 ep}=o/?Sޘ'q"uy90S"W 6#gE(Ӱ 4sRAwM 0Y4!OGlV % xLq,I ^\I7,]dZ=Wu'bn繺8߹xCe @51wRS`6`R-۪:M &-+l7h:4NHxclQF)>~|7.iMB>+͏6GUy?zn}5ڶdnicE{Wejݗs}g(OѾFLO-xv4oByН[2uxGIq`huo-:*W+T!޽5O+EI-mQܦBoz" gKGfBph~Bg q@ʷk`^]2~qAJFi;+4AOjS,y#?C}\ Dnژ& =u. :Ȋ5'h,w߱7++{Ph.(Gw$B7H$sCjr"cH.t]?gJFM<|=3 :i%ꩫj ج擐Iq~||EHeAPgwreTK5%x!X-z{5U̺6G)kfzݔiZiy&B"˥KjO-.Jhd+Y}R<"2ؗEkZ8=i\g&&JK+=|aCIp2.$}sz?!y_ _ [-.Ov.XkOMx%@LJSVFᗑ^' t&*aەC#lJ4pl&˰7%>VW\s)EƾI(Y_ўqGӛB:6:ʫZ@cF rͨ[LLo)emը pg3Bvkad邇/'h.6Cu?ٸZSe L؟nQ{6}g41yt/T%ge"a:V?M }Izf]֚4X7H v;)\2^ԒYo=%͢ ZVʗ_N]IjA2ڮk@ <@FzwULشo 'YEynRAsCʷ=gwR!~4QY9 ms8|&V;*ﴧ mWଏs*fzDkטC0iǹ;S,a̬Qs5s.OeG sHcӱ 1Qy\!^pHamH!?;BF{+$ }[ fkC&Ay+N~f6[Flrh?ryvmg͉%_̳g^Sh4sq1=R9}'F_elʚ?~9x[\Z'k!,vg\@|؝@Zӈp #2$꽬 k+EЯgSt M)b_ *2j]u/0zSí}gmnJ4B f|@IW|LH1!AAѳ;j{2}Ӥ.to;Q 0nɁPH Ӟ_P s<,wT2l~c,y76cubſ厓ڽySm{ȗ]>-1M~27qN&W:9q4\=dmNFqZ Z͊K:df-SVmL|ֺt6f̐Vǔ>2!}{hE>`D9 7k!|2(q sә;WeRyD+|@@UkqBVoNg`%$sIˮ`ٳ A^w=}|OJ'?EIZIɞ"UZ!hP|&##.uO9_Wj~~NdlfMA@qw*slT ۱h6,RǙhju oQ;SL^bF*ᙥ%X;#b?N5x/BjYPtYK郝TàS%W(dFo/=4H)=Be⪼HzrK74qGXB2X杚/9#^ CNslm/sMd>dbd]"}T:6=|qqȇuKQ^_?;T{kLڿws`_9Q]d|( n:9>DcꗒD] ڡ,u,De(*&ٵ;(PʢOJR3MKB9[ե@DQD[_ :oK~֬UzUC;ҾVz~hHG94ۈp]|󎛂jYX'uL1([] S/L`yɗ{{3c`N_Æc3y_%+Y"kou!&OtCa?lw遼8?ܺKn(4$B%'uzzSֹۤ|Ws(M 5p;E^f]5x,)ő |v5d]Ƣ憱b2 @ԦdӂyBOL^Ish3Y̥՟KE'}_T_T48frb`[ͫ1*ap;u*E\EiULtm:?.~q:jM$ГbzBI!,zXwI<{=M  L IKC7vk*W%&0%Ƶ|PқuF]~tw8kT0<<c9 dOMFJ쬂*xxW+k>3zR)n)Db9GQ!LH:I'],V;sTT ? ޵F_[U}o7VIxvnvEM5lUjR_38#s {!e$e躀:/ϼl{⯢y /Ef.R^0~/Ӌ[vȅLtH %HZ;;/;_W[*+2@!\\PޡX)9"|nfCUHƇ"z\+u\fC]zneY֨w>b`Fr'+@Lʲ=`\Ut B_pj~L^rrC'#%34F^?@z Uٟ^.l36j7FkREFFkG2DmZWJ~?zU4 9F77,gŷ`{bi?.Ww4Gɔk)I{_vKXttoŘfQxj \unt3-9Ȣ%ha r - EYrꀉ`J#A+sG/SE<;n 40{ߖ֕Ik-K@{WMӫw$}=L𻀸Cr 5\  Lu2E $'5e#m= gJK&_($U׽1`ߓfD`;?/KS()O3mi@*PfV|ID^B;H,u^?h\(8k nGעA|A=3VK.  hŒ<*٥~2p"6ܝfуҼ.7aW>y|U/C6Q|PX@01# :6P۔`_q ŚbXUoMlks)(jϺm| h-y| vm7̿Y?뢇Gz#Y҄ ii#3 %,b5/9áM7@sYt)[)(5cl)I&$Mȣ2 ɤWjj'O#kw+swq̇ +3Wƈ2ܸZE8_W-u /Mo N򎻥%kA!U jO[tQ%7Wp:r^l5N+ܳ;.w3$Y;ӑ:8 ͏#^CA Sȹ9o/I<ƫܿDcHFm4Z%9k5Sێd\tM}ZcO) %1n%PzES#fGž-Dl`;KU*k‹@yNiOapO֩B V.e#Zl/EهGf㿓nAuquY.,9*e?d'5FkJy4S)z}"N1]g.[32s3G)!yu0%ia;87KIM @$;kJ G!\ćFae GsNQE>R5B-<;T^dj߁:Ag20*+0:?Z˜Ҹ{F%IruaVl>D̅ o3ؘu. @W!k@՞ RFa#:m"~$+EÍ"|)?Eö c^SM>1z&_zi\cTrM7nA;cy'![Y. xAF$KrC Ѿnhh wU~s8? 5s?&ک rK9'M-T 3Ģ񜠫`rE5OI{-M񻾾xmCrloBst 5 7LpM!! K,-7&c1=$M} 9Nd[z`(5@yҘ**г0lxHޫGW/ ], crG0e Zoo|~0k)ԋC@z\ݴi lZ,z?G^x.e0wEs arEțh~5l 8k g/CKbw`40W|4t/if\~*9AA"ݢEvˏ唅k|D߾Dтyظ&C8:oLxMUgw.%3cfZ42?>>LNfdxt,Ph1žv.]@VW%a}Q֯fYFh{B%GTx! _+ tSF&!?OЩ%x2tӶSxseiՆ8kv |D^<bH-Y;קwEO82v$Fijm3=hXXK/F:F`:焦%4>Rʡt>jm- F[|)D1EyiHBʘ?.X*a1;Ke+>,K{BYkٹ'8jv!ɤBgAXR*e`ܺINl,_Gޢ c aȦШtP^LW[{ӈ) S}QVkR)r6EZ y6UisV,6@ ޟzt"' [oOe6ˌJseJe[! VaxPP1$QXؿ\\e+|V}+Ⱥb=ߝ;82ӵ=J 0%x5`2b8L\M);NlVےcEVߦkPɔBh"H/| y CLHPW<4D Х%(D*`Sٙƴb?>8m%z}s;6)8˲5) LNmFW)Qrgkn7b-0}[cA(kxgYZ7zXZִF! QlM]ŗXi%L&öoFT"ű`謾0ܜ\\׏ϡUF\m"l쯻Nt_5X,c9UCPad& SBt@)ogєem+5S&LLVC4@E44A =[:$ _sŴenEF0κq7[ҸV"!6؍5-sA{LIla+uAZyz.f}  djl 8Jtek[iA*I_C )Xi`l%%yj h3EŜ-N_E0oiGio0m̡h >[JD=[:xqs&qoxB"X\E.d ~^6$J&/ڞa@|K'. lGRղbWj@,j/oΈΖ=U9J`ZUO!GYxaɴe?$2to[OAmM NN9jTEMϪXa$O?j/ &;ǼBKgNs# }8S2M8?吻J `q  DD _@g7'uVф˃t*B/^WӷL{ˋ7$'i܃`\9#q`cC^R<-kJC!OZ+,m8#I:H7v| A\_~kie(3$p70|8Yv8`X*20V{B:M 33Nɒ%R3y`؍݈)kr]n;TD&" ۄG*F P@\}d!'mwumuc$ yPr2=ixvC-ɮ=UIUi]Y{Gm_M*%G2^j^lhSY_]u/YWш z/PH[uaT`{[I-ʕ8ok7o!.s3|BO܄Ÿ) ^ΆllX?UfWv1 HLۀ`tuh؞,RZ!a,X]G(A`)? =墳=po3FK2Ԛ?Cb-u\BkU3Lj(I-߇:[+#T)Q o-QcsMTx~ DX-"7 pB٫7Bn=8ڪ"d8c@v!ETUH"*y) 5K~Ct&XAyw@f!`@gZ‰To_Ph,5X:N|38W+As,rHܛǐCL58>|oJU#tզja% ?aQK`TboI%l{>klEPHՙb5EO]8ih;L!y.9ؗ-brlUFԉ :xW.p#9֍(Ok!漨T`HxN?PPZ ]Ͽ7adn˖`hZOw/m:^Czb+;3]{iʷͫ*Jpb<{\$apw9*x'Μ0uiSro^TcȢ,?B(Nfc49jIߪ 4=(kHl( R-cū脃ih&V5E%{GC5VcΣ Qk2sׯ><9轈Xz3~'axmdS037_8CWL!_0J@Q [l/qok7)מ y)*U@: |BbY #nSu< PӵPA&.vxJ, ˣcvL`*03]k#* jR%^|-ltL,*w0@Lp\[ם!k-u:x mq'UvkXG=y |$,JǤhτ"`Nl! 6*߶k.oYn-H0,Y0p*pZX"ZF }.=*EF,!/>nm=H=mX~mXqgM/PGqz=q!w>1VjKṡTyy0OMPЀEΓ,ĕγ;8zhg$ZV_Nɳ 5vsQ1oܦtrXȉ%QG+cy)ߑ$ϖX+n:6 6P'FTLWܻH*Y3B 4MB|).YA4 Q}Ɓ7#m\Lw'orNyn vKP~OYեnoLOnWI5k 1@cN|u_IJ!vO@gDŽt$"" DH Dw#5q2Hv\5l] ˔7j1.*?:ݨepIdIHn72]О/UY|jz^?-uKsnr Bb!@œ=)> *:8/%d]wCHh9*:EV%me,Gx1Uw|]~=qL9Ѷ͔tYm$GZ $ʛ܁Ea1v:*+kkm8 ji`mյWi7/{G15+^ oy"7Fs2qs,Y:AL%0jy{YU>*dnjt/1/_mߥV: ?);f92*LcUJDǛ#Զՠ2(٫CoHvӿG0vm?vBw0z\Ir7LZ_2.$Ku*os1DX"zfz;ntzEcJcE~ $[C`-Q$ N7\_0[T}!'>Φ3Pȼ1 KXzǝj =#0Ql2,.q~l5RtYpqM4<=+Q%_ &AH t8N8S&Th5G}WNÂq ֗~JlD1 w ܐI6rbZZ%dFCU8>(XEkfI7 JR?n_ |-\?L:]Ҝ{3_\FOj+*@q5d x"$-Q)6aQ6qbq~vIHP܎"f&L]@O`ِ3#QՠYf۹qOQF]j@vPW>k&'V3CYjrS2nы KLwB+%,vYFՄ uƁ=Qi)l8|C3 ,듇UnL13SfR {>l߿gAqYAȚ nzҨ0PRIJD3-p*O¹G1|NŵQhWn>r[ $7a91twG|;fߦ:XoF^¹r=^%Y oFX8!=Mf?#[vWnOpSذ;ٍDjpIbSxĞxfڔeND-Rx&{~ci:7C'0YH-<.hI5;BSCTѪWwKh4OVanjvN_[kȌZ#By\&[.It r =Dm\k/1!kq0L1,4d!%gYZa241926fa6a1473077c91c5ce192b64919f3ea1a41c19be3f36616b14c5f74fb8791e46be930a98f f738d32c8c714829016adbf642e3879ffef6c4ff 2b6d1c48343bf30bf5111de99768883080e7df1b