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 wwY/tL, ]S Monomorphic_Monad:threads=4elapsed=34.129cpu=60.912gc=2.7767zXZִF! +'`]ŗXiɟH)0%o2},cvߦ!OW?UVYohM7lWSvEE_ڝλ燼}TgC`c8ZP1()7F/A…{y.7+@!2p:u# :`#|]7 >Z _ F_YoÓ>\4ҋ&5y?_j?VOFj0+xDllAɞ)"SDz~T {mԽ9+K", 䛾&@Fr`(^Dxk}C=-R*/tNrcDZӹĔ׿j2K{ D +j ȳ=us,S~/1}a":Ԍuט2Ҹ_~n?:!ONre5V 綎&BQgp2I)Ħ;n" IDf+9?;F) YR%gbH0ų1Hl ^lgBgaZ)11j \W7u qtx0]~V=v^:x,XȐ4hK-͗cnɞ~nJPyҿAu=s^yydiv^dz'VhZzY,7]9)|؄[.|aŔYpMtHxrA5ws۲\ P?v}gT[y0d߅:FՈs&?h edV*4TCC{-z{P]:2ejzIe*!|Ѕ%zhk/k嘔gwʺyk?) 46.ᄣ~:/o<~oC(<1T-Zע_LwtzzG-e#3v^?7 4v ntjxݎ[g~?Y ^o*b MZj%==71ȱ_Eu>W3zu"n'Vw4N9tE"cZc'hπD 9un'j³4g&b+5F9ಧ}~I.8]ٲHdEls+|{~QorڅԶ{8  k 5|]G$Mhrgiq_@bOu3"ȍ.tAX) 1jz{kIz А.nO_ i Z|$yZYEVH9m0K4! Ӆ"8o6=$?ȇLKNaۇkE@*T)lZ(}+e5q^١w脡 e= (_OLROJxrA MŻFA2Oz|NX3INh`Cfwދ߭Խ3(CߗbckY~g!;F!7Ez48kƷ5o֔Y.c^ _4}蔦/cTM h}!6Ŷ^ $"K_O zn Y9xi-5%4;2‡0阥΀ p^q~}Qs}Vu$ƫL# V6B%]8x #HzT G*)@iAf؍1ĥx˭{EBGC5T_&WA[nrR3oTP,, ӭP*(>[[VʀWэ4 }aQ3亾:~$] br_s7oFX$6@Y+:hez71wR7vs:nF0nֈ55-T%fmRR ,֕wKkMO.tmXN:jjnO8Ayyp>rq[GS0*T)> ]ۚƛF>ЊVb́r$41fKtZ2-b ͭ}-!yx [ӄ&j>!$JKp<}h3[&PH5hB7T"A'^y RݞfI &P؅t, sh{P+8)hpkl䲵Vڦk\(9"55vx`k(`FAI7XѸ氘s)Rs(f(|rN_66cCsECڲgoqh1rd9mزQvQ#8 '(6)O TrcFLp/*N=7yt\6M]~ rN[rYsLr|L@r8M:=YfIW/ ֯ q=TL+/y 불pRA ;JKDzRwcu+$ԭzx9fA@Ms&YZGkaȣXС`XHƐsCFt:+nN5vjXsVFf5d1'IA36?d"=;uET}d5hXi7$jyo, ȇ'3!O y&%'b/"0?0Tl[ `}T=r&iɖ/@ޏw>o<]Lpw9)|~ G# +Sb&=9ɧ,, }q7 E*[S8|9/ +Wÿ֒/ Sop^0]MČDYLhE?k7 0͌ECe>CWR4 MT]ch$tNbsD r$e5,bAms[3| -^_6RVncQ.u-8~qrLZqh1i[Bx`R/m;OK ,N ڡ|cSe$._1J9CzG3P:~:6 N1!'C35 "hirB$^ kRx~loY-(zɎWß /׮񦙱t0[hw7rNPpg;/T+ZaI-3~:MtJ@uMct~SFNZ1C Q5㌉{Is * qA# b琨Ʈ9[Hhm(ـKmBZQ 1q`\{z / Monomorphic_Monad  $_rnHM"ABVIDRһZ5)z Ibs:<;w*+·AFO53g;lok# w<2h'QlzDy0~1<,)+֠Y$uwiB5:>ߣ6-BCJ).xpYb?טEZXB90\^ Eͪ:Mv9ʂV.9ryWRS4}JGɓN O"*cKcDw^ok˛5 [Ew9?δb~E戼 ace1]YR e: :9fC޷DK[dKqU_ۤIf72ܘ#c# tB3DwɰW$pX|G6CQ̽z$kK,6ikjQvb+ԟH tiH{wy/ٓˣEJ̋,\]L1b~cp;OP}dTH|OwWԀV5h.f ٳ֑,z[nX6:9A7=xn^0  (PqGxHUjOir~L0Dͱ+ JS/Z۟H" G10Xh>pn} ݍ2nMZ`i}#iQ>(~ m^g5H :RLQ!:Q j)sG툢t %^*'ych6ʢ~n>ע x JD7:%SDp+p;v Sqxuo)̓_UJF01"͒(_Am,Tf) $oӘ$?ͣ_0+eю> ?pj"PUv\#Bӧ?Bw7Ϻ3 WbPv`30멯{C5 18SQI#}?#؊qr$9CYVL6G5iFHhX'©ss(]aHhZWmOMĂd.n)@Dx 3-BCocT ]7Dc4'= >hZ׼WebNjOBA.91f< O5W!A'UE#}XS?fޞA{4hŀl2O0DWz$qɍ4_=ѲDW1%n6K.Ag>D59P49eôR-H|5WX`l+, C7 */)36_ŭ6ޱdmJy@Һӭd?/57v@nETAX^+LC.CMxLDWa0B|m/ЁP xDmܦWd ް: w֊)H gwa?LV`c+kon@)c#(3ڜ"@KWGK1V,!9@l%cd!BQdY58BJ߰3X#@lL 4&bƕ&~X4L y@"%ɇGJT- 䐋XuUAi[i'cr"m<5s2'2`]1;bbSȌSOqo)CV:Ր9 P}=QOkanK뿭&>#7} ] V-]?7M`wbRIќoU0^LZah%I.`oUIi1 P\27UO~53\r``./\#Ob|TU"lÂ#AP`q hN }:wTtT"Xa\#K{TJ*Un M{hb)LQpafE ſ n''~ z ݹ3tfTΤƳ idO&6!H 9շ{f cMGmg љX%?妣dRȗ]DQ&CgDɖ1#UOXiI5lroL9Qh4.qCT2X%YdWD4CU[~ `Uw凸o fxz$LʎjG6)o4Cw|swfa~f2Cт%2KX31v[Vc a5H:'P%~"kPBَ ~}'X]'7zV^:Ky0E<.@ r\%BPzG O9ɖ:y>W>g׼qt:,k0@l6OA7[ _qLMr7SRT Xl[.&_܋Vs܇'ڊ '*+,;oA@+MX7FPv/ lCo#|zA %RvZ1:NJ-WR\A"z಩pc8>gx̖.Bc۲ cV8[C̈́PjىO.h=M#MC2UFAXro9Xx|>`35Iig/V8pk'A<֎Gz @ J}%W'FoQU\;.= h0,6YBne44F@fB_&~EnR_O+G׮ M;6!qCA:S p3o`9YJ24lWJ뢺k~j(êdYudh@OBBFKZ4d1rͪb8cѯs_ɺΨܴTr6j:Yr$hcFu }rIIՌrt ?|5HY߹UIWc ,Y3Ca=x|# f%ZYrͻ{z{(VU̯`3 :HV fp؛)avMH.)a<!܎w ]kϣ7+gcOMd;ȦP)?jО폗_b=V\ DnaꍛR݀iئ-H1FE+9J T؀^Z.sR{Fp`=@whu+ ח-[࿸<\ΑKϭ{bx"O1U}l~HQh(Z(?^qqޝ6EwB[e% qZ{ 47I9oVx}g4mn衊Az9L\:!Ro?|>*r@fl6}S4̀`K`||>׌J:)%=:"{hX,js_8Lw- obk@(Ð6鹛Dq$,4~+YP5[ SIP\/S9ؙ֬wQ@ `}luוּj@>E#ɄMCmLCkSݬ?ji`?fnpQ^έz$]lդ',͌t-8c`'sZ`gu)A4`@&MYZۛMk: l%H d7aljmAf8&Ն5ii7 _>;1-"I0%eT'q@r 6݇ě$INfs٪'v̧ 3f"4pi|E$hLҦOO_> n O(D.gvr4[}'V_-vR/l6Xw8<"im\ؕ"=?/Ywᬿ.`# rLT qWjq;qKt4ģ1v%lv'z _ !$pHdgffY<7nHGKv"1\%LnK9*p u<\Ͳ-"̎=47b'_6_+r'D4j~/EɗadNBp ^Ce#i_o4eێ Y.cmh&0`XcoM5_ R|9hxm)t_ B9 *{FΞ1Vk``l)ܙƊ8N6Z qe@ (nj9Bmb0'֮5G95J9T%\^h)l=$#\c v&7q^ئ BՁW8Tfj(kpr=pT:J-CڪP%W^B^OG;mOM8W6Y֔:õC5:{ǩ| :W1_ .ʆ_Ї*کCcBփQ |nPn -Z2A|)v$y+qR#4xwTJj)x"ڹ Вe.ܬAy0lOA>|)c+M}c ޛS8ЅNVXޢtOÖXXF!7M |}%r6EЪ4Z"to!q i ~93zXM&B$usR8NNe+ϫ!8pz7a1A}TB/}S*^izvLDl%'3Wi-sboC}􄌂yӳ lG*>8_=cG3]u؟( (~0\_q^JnK/$ﲸ2vU05 h՝j@"kJLv|As!5/M.2< CKS%M~Oscz? |Tm&NO;/ l9t91 %Md)Kϰ_k\$ ^>و,kK ǻY|4o7p[L_sLe:9< Kf(uSond v&.@TXT<|eYJYX3\uZJ2e p^Uxu6 %my6/!>Fel~c^ZEbo]OHcX  tˌ~(^@8R!몖İ_-Kw}[E\-|Ά$y|c rQJq+ Qlc_ 3c[cDT{O1$T_~37mY:\F >`kÈ7_ ?R@Pf. Y%G&Gne6X_@)r;ZQD P1gg73s"ϝdJx(+\~zHZ" r SȽKS"a.Vlٔ$,  fֵ=8n;٭] K:yKcoD-ڞ1_7watXPRe#Jy5P]9u /Xq[ꔔCrU},ΨWuy{"ъւ&yiC0ڮuefDѱ ǘ@$jLMem}D55 '?O^Z>bZ>oy p/CۊClTERA"GRAօ*jƭXijECZi;y.O?l|Woyv4%#y[a_+kt9-,aLьLez8 6 Ҵ.kMiP40kz &2kR+ǙԹ$RKi׼m>[ᅬ!b*9R(aj^gma*ȜE R^DլC2i΅L)ߊ)k޻: G,gLEi|J.࿵QL*?bV`qVA[s׿W~9x"ݗn㷗V!eLd'k$zH-]zoϲMG}iD+wHA\;ڋx& Nd:;{xp@Uqoǚ^cՏz}BC(4kMJ +s3+FjBt=&bx3?ýdcr-螋u4CiB8ؗY@] ycaZFs>܍A{ϟN]ܾ̗&_}z?su@ˀݽw1^ = L"2Tkl2$ss^{aS1NENr;{2 ׌b!nuݳhJg/uJBaܠRp筽@-\;\:2f}N!I,MԄ SMJ|e M<6@R"`0RΫ*]*,hq_h5G(Լ#<0[vi \[?\0j^3Eծq=3R}!@Ocm;|3 {rQ^@͏@,͛dOdM'&M7*rDss*xݙ֧fxi5MM!b|5mv5<^vilOZ`uJ(98:b^q{U 4y(@?Ȣn|Gºt V+ ('\uKE2 QM8ZiG3~X-"~tL.H^+JW D@l e\UսSkb'bHQ)]5s1zD>m:fp@J*AǞUn_"~ǘ99pR!V6@y<~6gt Dnjq=WVȉ~ (y}p@17kDbLz=α86ğ qjE`*}frA#nGN2vmxS߱JBWOw:f:}.*vM'~3E (*' J.+j SNJ!V%3Y(q"Z~'Y=HE߲}Seo~4)ly+lFy-aA0h*\Yt bԟY'8 ;#0n^ğNG7V<\R/-E G {aSY"!\pÐz@n7e.]F6RЊXyv??|}[ n(V$ԧ  Us|{ yV|s~Rg66glⵙ/!:idJ|/.աH¼K_&_R9c} SP&dM@ ^=66Ԋ$A]uK^أ[4uX7Y;ip;gI%51Fzm70,NAGx0 hi[ J `xZ$KoUA!sZ8ʨde{{l2"3:jg-tTvMn@wઇmq9\F $ANg!N̑꒳W3^ThahWꛞxv/o%2\!/-4bx]PǑ,z'F(0ܫR8<3gڍj7szzH>(ճm]`GzF0Úxk6^t(]n,K-THX/4mK*Q|l@w~&EmbY&j,G>;cm6i1et7uJ*l=&>#͍hEQ&=}Oթ ?sݞ?ŇXM] g.'j)kq%pE 7+o+|F0#nT]=݄{Q`4'ϸ莯>Fcw><ϳjx݊F"VvnL+8Щ'/` a~>u3W+%0Ca$yKDzfL[q$Zٓk3ch/ ve2 iƛ8"Ӕl 'vQ}!%J>;f!wE!9jZ1_ގԋ+g4cH &xLsiL 0$jU]' "I-B DViY-]@T] Eh1z+i~u`.rXȧqievds{h+iD[\̂[R#mɈ$g#Á%|,_\Cy<:R0܋wYY2(vF?`GFN9fstnC{QВR\v+M@*+U׫~~h/9O~D7/J_)Kr#!b"޷i uA,TE(+VM T/2aNGz 뵽<*Ba!S;*ǦqEx{b4.\['$.{Ugܶ [tLmHaEDY ήt}Vc6mK'-Mp{g d>?~s~5-4nȈQ;_ ,TFvG|^ ư9e_eւ][^T9?=sr,J} Dd$ѽ6՗ _4"IDbpԺسKIv[T7Q zmsϖ, 㒐%eV1eCzU*wS5zPx퇧X^4 C1Nw ocyoL &Ej=F|ve/DEsrP//L3yxA5ƇewϜ|+mNDK_ cW^bj&2)*oSMHpJF<OϐWsM׿Սc]ŬVV >" F#Ȕ207.e%uA[] ;!Hm Z Eȭ2X8W:wvK8 b|ѰM#(B {y@Fvk?'LUōpF1 .s>r"LR!KDFi#ziE[!oUdӋpDͅrmwl$۾+qBaNEO8*P@ɱҸTOf c<AvuCG<5ܟ&ЋU:ۑK1/ҍ&}7) WΗ5 RaU|_A[YӇ:z 8Bq~VZ!g2B=,^8is}JfG8l4k%VQ6 ɆxQz`!S$=Bt3ĨϱӾ ŲΞ?h9hTH{@Փڼ-93]bE*5 l)딡+vB QB 5ltHJؼD4 ᧾yUgAA4t Jx/GTq-`#'"0CiK E/ݣ"𚳥B #3lq&$קc[9Ϧ%ԋk{rz|I٨Kͽrk $!V;8[&q||X|pNp$S` y%E\k)ל, g$+n#m(^k*xJ@ 򰵍 ς@7,RN J1I)j>T|^9`_KfaqC Rfwa[o["iQ`[y@k#)R{x 0IJPlu,9Ƣ?M3ߐ,P"i: `{7j;`3My-8χ zpόE:Z9% 0!;/  cqnZ7G6'JIǩ8؜9zLVDHy>Nڵ.>I>c%y4nL'8ʔE8if[ GT?y!ҖWFYtU Ni9[SCr=;sñh]72z -=mD ftwWeAKO6oCSjb+Ҙ1Ӓ z6&.MoF-[!A9&z8t(. f{%RMeB F1GzCwρ*sYY`"Jq5-־tgX-]oy}5o=ZiSiRy,ǝȂG("ོЊ]n¡.&(O_숌z)O7;Р̝Bqpx?kSNV#{x!iP>hY +NE;FW&6sf?6-Ttg!4brNp1_ΝBPv@g]1]sڅ#@R7L&aˬi Z}&4ShžR^W2*B>o:aӗE('~픡*c?Oe~VWP>BvavNr/VjSDGƵ.kH/a\r-Ɓ;9U%>(yŵr8%` u+-;=Ăt+NW:2"Bt~,My?(NEtjk*!ylQi}bfcݖ\t౨Lߙ^s)yIoՉZnv 3~̞tZGCς{eΆ B"xђ9&\c#IWxh]!A(]7MÜJmIT(E~0N2|Vm5bWW:,|ÿcHz)~w޶5j&L<9uzUmjhbwq5c˲͆JP zO0CS0a:)""M \cr/- i`vq ZmO[!yKMVX8d@ֺwxd \]59Ûc`Ф2JvOh>-Ύ# 4,)Ůqֿ|Ewwx&i.Ql4#!aA=.V2NG\xXqnMuL;'˜g]`fRg$~quw E~juD*8t۠Fg~e@`կ6/$]ȉl^g_?Smq&.k`]Ws.D/M#cEc&@ xc85p@Ht] [a'/d:'1] d"lw/ 摶(r8.NltNvꦏEf҇,pܳUţRFwRZFE*VGx]:;+OVs}6;+ۆ8\oX&z99'HLtV#tLtn~%Tp R$VwG0lHnE!Ȫޭ؈2$6 P_ \0 dʍmp`4}p  o877\sEנ?l,y:37ϩ;*ޘhD7 >z"f78f/N\O"ԡŢ*&(. ܝ<͒$ݾ87)D΃U@,ǩ]Mƅ[yͯHߏE*߻Az.Ygaq,s4j)A| TU4Ic5M-pYH'I؟ |;)PyƊoprLҵ܁7v!{ү'x*C@)*Z]> 8?Z_BHm}OL1ݬ݈@|qCQރGK'A\'Aޮ,KK1c Vft#B"[ m|u @.b2VrZb a\zh;YW~==ݝ$|ʧdrĥ3Ñ7s m t8<ېP~9= 30-{93%tlXB Y&]8ihbvE:9NAK/'(Jw':2~lu ';Rd4Lx}x&bcfe5:8> NQIg4Y=>#2DL>:K@gDn7@<}op\:V b" t&-532ŐaF6muc^,3 @zFaiOyd1 2: SKl{ͧe):n;uBB0urV&͆V%Riod>ɑ"AYcRyMap^YéĪ vzھ[v˜2Bi[k}?yYeP0Whv'ei-y.?lj>p;zJׇ5z ,ByRngFY~1ԻNqG=,Q;]439݅sƑithhٟ$OPԌZUbYa_JX#>6eW袉%M*4s vJ6X4͎9N4]tMo&ܱ#;GVyjW0)\ZYhDA~9&7)4}jh!J=ui*O\Z3 Q<]~ &JeCL7uKl_ӽ l2M,DW3й1 y^(TnF13snZI"(W)/J59dK[ G͕ ƈ*@xVo<0UncXLG?3~3x)5&'` (#0ا)C -~/oh0^j;6Hd/J!LoI7yERtJ@hgx.ɘV|M߬xHx*^ϐBL0&@HS20'>`@  ; [cMftR,pT7w3]\:3B>z*h4+;Urek0O6ph`҈fcsF8QxcgRW4ְ+0 ߝPת:{fUa?8a1Lt|y)n&YLg_)b-rw$kߒfӸїWFnJ* L #|E"No=o_a``fZf be2WFy@g2<9tXHS JBf9]26GnݢL!U C=qZdOpMKA}D䇑qVVnE ì838^0w=.LjGl#x\AĿt!F9Q))7;58 s$SU9M+69%l,ED&7J@i)9Irku ĭ/?2Ԇ1O5TXS7i!';qchtQ8 EsihJ^XK|N |_ON= ޙvleVM<(bS>j'gGa9v"8\Wwi*_$:J<\WI F5)јb%y[z]/5ï-RGvp36+ݎO#5/tHb_OΫvs(k]Maz)|_ RN~xK7fR^[2 u{211%Cb1%)Pd*6kr}} yeY2i܍Iv`/Ztt:[i5[VmIhl5/K4 8;{A^A7Aș=a?la sRJ60 m^/7/!'гIURwb1E,X N\HajPۣc`2I /@Jjdi] &]Fm.C\ax F_#~ϠrhlDO­$_$,R^VO^f֓ag Vvizc ܵ$WX}?Q6Fw5zc|DZ"fnLIKT̏}wq5zhj~ r~ @9,; _ލ:kq;S*n/炼jiYr*XuQ57[4m2)"^^s''mgQ+c1p 9αI~~ G(RŲz"Kc~a3geυ*?e9?#6_TM(?Piy7 81Q̌~$H jYU >] #%}H%Fq#bͽ+UI35g6˜Sy?Б0,sY QA]M^`MxW8'XT$$\j] .g]&*A;JLwJR{)J"lmb4|w} K{i, {' MBLj.bo {`CQ!UM"d/ay#43'jx>Mߕ{;9#2U=E3:$]͂8=($M$m{UH$B]hU] 벵OܜS0{$a ]8=J *TGw Uz_Ic,ƕۢL$SHEuT\T-RDW5*mQ`0sR e#}=.#-mŒ;wNWs ,C!FlnA_B]dWrUJhuF΃rkǡgG(=#bƁF1+, Zb/D{,C{!O's4A-qK u̹ݖTghةX`$΀~ k,TwV+ 0!H5y>[ =gNag9>nNue^sw3 @}?}=877pY*!d/6)/<@6}^ >w ?PF5SJnL Zj./lt u!P.0 s. ݹh#%PVvɡezUSʓA%?aq:U %>P)g=-ʭiQF̣#Z{ԧ= OI:4" )xEU/>ߖNZ+4șX(L_/117iUm :OuL$!jo_NnVI̵%")hd~u,ˢY/oAs¹qKL rqV[b2QIc1vzf+Vv'Zn zU/J&aT:F-URT¿+q)Ķ!g Nn@6#7((|>$үH;)̓戶gSS&r.(˸@M b30)VmY_pXN&BY=4FFwgd XSQٮҚ99j6ČsVZ?0%AL\c0><ǽ` BTp uv*)9/vdp#Srop!=ܦ5Cݟ)s>H380! #&q[~l;Ch9GƆI**oQ=-s lseOK%_# * = I+g=089 >`lt4hx!f>_'zJ@Xzz*0Gn8= V~r'vQ| I.[3Km$nC 86ysX:1(2vw,>|$q|};Z2l,v҉|GkUj7KiyȨ-@aBetx]mAڌx.\l70 `z@&2L?f5>#+go\ZvxN9У,xIFVYݦ*!r݋QvBt{d=y~V5̮E٢d4]B-rO_JcmDz:501`O'֧K% ݏ;ʷ+1ƫP M xqZ, .+ ሉ[KR-'A"LH7!r .~Ll*U 1]L&%o"8f*(J̈́cRӑ&yśd ͂"{h)B0Gp(P2ꪠW2J[.1ʃ{g$":Iԉ♒窯E*$77uYNǶ˯"(D МW_uˆZP3CD}#JdxUlfh1QfzȋGS$zo&T)h7:FE|P&(~W(McTsr[ e~|3$noY^ ,:y@{MjPA5jvuָ^&I:IoXO %+.UĈ-r' LSPoe4 b0":G=E-=N2Mj2g}zG~4ro\?F:^d_p8EjU`<)g@ j+lb!$AcظQR9fH`J@^RIϓ+J6AMU {ω!>L,|׷E++g7| tl\zyԒ^HRRl=P*qQWJcSoS v )< rH d:JEM+W ^Et<:2&`>8,E5\5>_5ԓ-.x16 #"cxj(/@;[ y#F5[/ߪ=YgXW+gIγ+L(yY) [u诹45=f5]@J'![G0_F oriurpr[ԧ}a 1} ]ɖ41S2HWEb@Z8ʿ-_yj >29>zv3XםᡯZOCtc^sW2v~+:UC˯Z̥ b( ˺^CU 3o(z¢h~a{9T_6HٵΕb d3׽M|L G.7.&uh Ou?u]kZ"jDwQG)n2:}n p-t˵2h}Hx*)fr%*D"*}j$X/j,o9(j,s^BG/J-oQzz:6œk* Rt^yJPpvOo`U0{c5:r09S^w|&y폛%']#^x[}>w2}UJe_ 1 HaMPP+ L%6'-Tfk_/Mr̤w񔌝BkfRo1[29y M{5plsHx]{jXFr+a?q9}ӹ3 [*^ܢi"R]ɚԳt=3$a,'#AnQ+oܒ&PΧؘƚEc{xanI Er^(UiU?G1"䄅-}, LPiTrL9hFu +r;xzuX`/ZJ 6Ưq*8ĩ@%\&Y2544/tlT^ueCy5}Y{wtC4C-RMLLMsf^1fЪRSBÉOm[Sa?ε>*d+zLߘ=v NJz\fm>0/ro:er ~b&QῸïgaʨ=dtX"0ȑEcBP߈(s9v  F.AIq] xUIb+0jBr]3)&v*%QP!)8T̑(bsQA婆°Uި/M  ' )UoK85g$([ZCrL]XEkI򙉽lNZt o8%0G6{tD4V R *pNӖfU@V Q뙼&d2= v ͌וe=OEA0Dꬿo3yۗ@xx`"ۘ8 &UGC W@^Qh(c(Eb&Z1^lo.x1Cl5YPK{@LC \B !̀w$;8ڛ4B4mLf/̒7i0}7$ I28pӱ]5w-dp(a*X4T9l+y[i}&R1v7 k,_1he1eje4k2r"kҔQWڢڔ0KWb{e -<)T/P\tBז/^[7 }3sFrWj+  HupN n+HYfx5̷Z=!殐83Ϊӳ 1|AVW1ULW FUG|.jc390=u)\nX")'%cOfS S5*+^fN|^* _uQw96eawO-"qmO`YcM pQ.z\B9)v`- ࢬSJ</gb{J޳@>5ӌR <% @q̳Ἰ~!Ov"HNZ yG4CO*{0🶖SкN8nmXo-B90M;7rHy$I8Jq +MוI5՚)?w !?|w!-֮ڮM |JTtFrMը'_v|]QVghgeN59UCVnyihC+G,x8dz_Fap3G]-DwoOTt"q~@0쿴BAf)ؓ ki&5!i[QgõhrP&+Z 2hƣ˳FNkdjcKd@F &p/ަ4 =EN˜QWĹ ITJO^?YX]B=~.odszr:yl$Z;hE$cm|& ?ov{=Ov4J 8GE;^1AHӄ:[7;6i;{VOeO%Ph$|J9yDkd(W"33"AX-eG:amÜK njB<\غ~P_ KòjʟZ\hsuI[I8r?_`g\N絷#*:nSÖq>K2 "p04 sܘSy{\*@GoXȱ]cu+[|` ݭ"V_XG?KE#v(I .m~n:1Cڵ7 0CQC޺9[Ѽ۾((qjfJ<"ۻcI }߈r@1A_Kp[=`F5.<ո_UYtY1)ƸO'"zh=ɭ5Ga~gT'Cibğ'HX Kp>z+IuJCD5'Wy ϰ Cg# b{iz@ m+,y'u|]i3TLS /`̝vQGI1L0~wXZԽg"f$1GItilMk>$?1g?H5u26z24q'ؿ`io&=XCF OlpSy$=ێWD E=Dٚw߿(u1K+>_^tǥN/+<,˒kK#sGt4"Ε/dϕѬt~ CSae 4R£,kzW{> *a}swn1( j"AfPN) \(3&u]>!ѿО)DG Jl yׅО pbt0_崌hGcE ?ϢQ:%6uv x.e<p33GT1 ^E]jDTO`NG~wB*)x~: pdUfa>`nYˏwAXlhOg1'qݣhYł ?L%)]oh*ԇ=MxiF5L2LI2T([&/C`K9%.F"V9?DL__&XJ{]"_Gw]J#dkwi;FD/dV}f )Cz4)_ ʿyLJ" JR=K^8bzbD?(laE)p)H͛;;a᭖rdܷց bEr|'60MH*ۙ\ewW|(a 8{@]$J.ͥiߪ]A Hݔ\3 8<4p778 88xCw2ͪ%rPYV3 Pb(|rBi8 V,YLhʉ!&G6Ss6jgw3P.w(=2p}鵍$UC kOlu0 E`T\ s3xppp~6pخh8WacP-/ZQzDbiT+f{S݇PƔQ7%c}r "o/Vc,^y%Ϭ)cg>ʧEO^jU5i=a#' }ˈ>+m7=f>,Kԋs"s;wHҚ~t<-F25nƄal:ogL6PN'z%h\Hcr@Oz!=-{=@7^Jw_ʾpU$sZ8?Yf)} )[e¿)aZYsโAitRaws2l<̏Fn|gw$: -Q&K亣E.s}Hw`v0`h 7-i]PCf/޵,g]xR(Ƚaj%NehuqHZwM]P Fπ-1Ǭp_JZu̸u,NW" U#˭kqboc:hv)P/ll%& ǵpxr+k&$5f9QAGȠTSV:-/=YKNܠ1E䎶<,bq`QKY#OR-YMV#/gPjc^- ]fbYf*/[|,WkiZ^tM_n#J=j6bVa|,`mRlJFW(qФfY'Ji }K c&Ezc? 9yG঄hZD <*s "["C*+̄ ?/ɭ'!|=QZ-i >zG /F IqQ&E,T{D/y[D'Jx=46UEF,[?b.bǎ@D=cѭ-A[ |Kf&qJa؆DQ6fܨ$+:+ѵ :}M:ĠnbO%?%iE B#z0!ɹ!XfEH.&,:0R(=fb_pƬBH8QAs&vih*eSfnxҎorx+ͅ?*>r%f<`e[H6n(UqF$~wU P1hFM&Llt5/IXH rR&2='SҤD( y懒=}Mܟ$ڟv_E- |M͞2)d}2R^4I览!M!xqPyUWHdő>?1vL<V0ڶ-5+=騭%uܘ80M?Bq|%2b?^]]>s[oh{D 'Tҳ4Lv4[m3a_O8 Z.kOsnGo6\RM:ȁud- (Q|nQb7z.XL&C24z& ֫PF|Xr0JwoMyܺsTqR'],@=QEk&th%zoKG߄ҲI(ɐZ>$e@?rWG2&t#(#l'~v9,@WUoQ8TWB%tQ$3 =(EYq])|1Ǣ[MTayG(GKO1~ s4Ⱦmt0P RYN7NJ(GŢJl  ?LFd Y#$j4!I6ca<- k0c uY G|B"J@˰ z4p^Z,)קc=G˜P#5hOΗ>,_ ܔiU/%4"GV|8AQ>4zu:s ʡVqf@ ؎Pos^e W<B؆ھS-k\eTI9 je<eݟ-Cq %)kNk"(U7ׇsKӤlۻ_\-"(iYP{X?n9rD [@ͽHg= {F{evC08|[ %]F] D1=( K*|d&"(O_18yqKrl@j@RssBgUlrem3UV"nH=_ Ą _Sf.X[Rg]GllKkqPWCܓbeZ6Ea=cHqulźm]$Q ֹ,M!`ag< 1"}7PVF+0$]XJδd 1fBfj &.M l.yMVmi=`_c>I%QAOb:F֞Msႂo!zh lx^Vpb<21k~=3%먭gEOn›*gp+[S)||lU )!- - ț-7nw IAqڐK-:-Z^>(M fIf 1v@ܹB]ypec&$̼Ņʁ/󍓶ɲcYzz,sF.NoH+kmy+l ԥ yUqXY!k:Z#gx 6^~ss/jpDTlr\(#(y_"3_CҖy{q4 ƖՃWdiB وߥPҬ8ꑵ0} XЊ۾E=gzӿ$xT}qfshgvឲ6ƙDK^vh?݅]1 fAR,< H)ՍZ&x\[5ƛ݄ IW&maAp_ΨBMg~ 64̋j%K=}{%խok-̣tXہ hhxF\צb0t;Lf53e.7|N\$lHH`l.X=l|EW簸wʒ3`1 z:Z#p2YY -O+G%>Wq1ɛ\PO_J JʘDe߽- nx`>сt|pIό&E k(F\r׆ @;ck+"!f]DqUPׅ6 Gb9k#۾+xgYZ718977f0c449a22e131e143ca3c1acb93c6e0c649aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 8d72a20da3529ac1397d6baaa2e0de9cc0929a6d 0e2d1af1b42cf5c1830959895c5d8badc50d05f5