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 >9~tmA˶24(ߡ/(^ Nrv=͖M8e-ĜdOƪ*(LhユN^QhG]R2DCז;u7Eaÿ& %&^CJKwjDKmehzn𬮲X B ;rlݷvV Ga:U ٵcjD`}!Zd E}p _m zѵdȋ_x+9+&}$0VɼЗvU򝢥m};kyun#rpd0U"btn'!b7:" hSmrk*,dX8rj=L&\FnP_֛})@4+4V Z`2EO"<‘dt}/MZWv?[)XWO6 !wmj j"doʈƓ T#{[ iʨ=gYZ7zXZִF!  ]ŗXiɟ1)*u%9RMXzāV"ERFlk,@=<2@:9l'V7`y[gYZ7zXZִF! Apx]ŗXi%L(hBq0C"ESY jnG̎RvTan->lVHE%zc]Mcoej4!] -wQ|H8 2*m3@Ylid4? Bƙ8ܴgiW?؈DđA:G\tW0ɒk?XV@HX2)r1i\[#<@C8 ;f+@%(oeöo)853"y5rҲeҜq:9E1q o;l !8 -jF_˺S蒆@u$X",#q2niQi6B4U=ꛁ|7ԢKB͠L?^ɚ-Y&UnNxNE Eܥ;(Ryߵ=U|cmh]mf5Ф&4 5j;hh;Ctι\xRH.̤{]0>^6}ҫ o)= pd17u޸)nLUf [Xtcq`+~/ H2,$lcܱ"&=h8Bݾ69q1pUc#'pDAoeZվ7mWqbOR"?XRWxghxKd|#y _ 0Z#tnK}ҭ-mi{ROhsc9:on82Qeῢ{EYJ&lF6OoMbib߯{U-%\Du'rfպѠε iܳaϼ;4d\\^lU4ћ@luHazwAT?/;-}%v;U$uμ6T8hAwWẂԿ>VmWlsQ9M߲Vis#I?Dyn6!rj:8"6ASR \$$E6RgΚX;ŵmE@ - tE:⇝ AS/1nC8en#6Sc *B Ѿ{SV)jSY Y{>C([?l6$KiyR'Sj}L`H/')򢳽O}.L)@[G֓҅f#Up6|c]lg?$ E]%( J/1mDM99lWi .D]F_#KiZמϰb&$%E\w}ʑ8R@yJH]VŋcC<Ҳ=SL5u?]ocY ~ oȗ'q( ٬N겒* QmvB5ڰ-.VkN)Z{& U(W)UO:P^r_K'9 qEoФ/GӦ:Ֆ*7dTExޯ r`u2 m8Ӿ)$zW pLC|>e JT@PkjP%3E/)觿/,-JseߕB2@gTw%+?ۨ0o2}kgѱdA֢wՔGHrQ.p.SV-T-JH?d!Ұ5C xQctWc E2\>twMb ˿6DxfnT&9UnZox^8A#o^<»PO".b0{'8,)!O)zVѧK,F$FZd ōX͐"RĔc4 aBl- HR|_9#ctOcXFt$Fgk@=3&L[e0ߒd1q%hh\}|kmTZ&{n֝ylV1xJB\!U_>9dċ eXi%l۪sbA'q3 T!gcrgՑU5Bc=Vu+a9UE]uJC!*.hDQ,!:@)7 ePy3uA-nco I25}CH? ϋcW8g<(?z.y_6y-ADm!?6 !c4جˠξ (3>s| *mr`ӱbwߟG5,-T) noΆb*LS!HYP<n07,Y'L7+wρ 9 HOL-Datatype_Benchmark  ̤΅J>9 ^p3AKdi\Aj,rVy ]'.*qɵ{= ,lN{<\P?8ٟ##.Fߝ.7pU (mh \Kb'4NRqVʈrPdeծ/ͼT'Q2P,~BWMz(_/~)z~W_JF卜 ঞ¦Y~4^#,=jd9,~XZN[=E4<MQc[ҽd|aj v> Xe0EzVA^Fc8*7,B=>5R@VLLYJU@0T\l$/ZDh(Gs> L Z%CpBDMrJrC%Q*|XPoՉ`Sm~ImfoWGrd5lYNomH40'ZZX$5WΗH M:&/p_5>5iStya6P|_´{ANCؘO#hד *`uS01=6] eb/`/#OV?EO쨣3"hu:Oճ4kNNQYF.5u~ wDu}GKp"^"(!4O~T>XdC!FVVg*z9()IWj\ĦCMm?"hR3ݏӹY%&ر##TuKӗns EwV YzM/RnvH$8G2)UPctxmAI^oLFd4d Wq1<C rA7񁚴.;VsQ]\lYC$ɧ/d9=Me|M!?ϴKN\Y5J7U0f y4ڲ;8LL%Ϸ@$. #D\ FdȕNS [J[޼l.ws0*&?<~JĂ+,97S-yؖ'ED9K fU$rQZ}G _|Q0>xWSyQ|;rg x˄ JԒQ^T #d,[ybU۷ MsY&QgdL*u0q4J XmcFC z*X./N<Ƨ9`ʤq_0yT>VL٥PKZ-8˗xjӪ@:[w6r{ Cw:5)Vz~kʨ[IuNh^'Q/>!4!]׎, ^:;k oD{ojEf 8)Mo-AP9|q"4?1# ;ԍ95vNɧQmzEdqX%s˫ʌίFNq^1W┦fiFgbHn ?m`>@,͘\1`HĄ<AP=j>V?Yax1ytoeD]Ka&'Kh.Z_9&"VP28w`@yPLoe>]gk'Asld_ޡ.MTw&n?rWB4;f9żUa-ͱ ZE"Ae"'fl$l*.kGH3QB'x9["ɧ.0?㊳&͍/i93SYV] 4,z(#.$qE&<hC˪5_Kd繿.M]ujZqꨐn_/CɅZDa'D9ƍL}r=jc3B\m?"B`-8ЁURGc/݀^ئ5vתae![eLmW\v YYdk)N⟞pz]e++IBtN,3;PI|nƵ:-0S~9m\kx,,^%"Ѭ!C]iuznl{>!=VÄz z'"B}D/.GźҒ[fZ9gA`2_&z x5ZƗSlRMUe=%&6j|:S\oB)@I2#,' >%ZHYjz"ag\&WU8s#R~=z}Y7Fƍ@GKDƍDSm+VMv}Hܜ~f)^,R69eaQ#F 4U/BT~$͝˧bS&DDeME"+2X&zw(Nf/ _<}_g|I^-fHJ#>$LtG؏4YehB!e3թqӪRC 7!rx>'f_0Q,[> VkNXoiw=J!f $mFr%&! x_px*4qzt2-{ @󺌘`te.: \?n**n;n'1{aXȈ&홺ޜ[=jm(~+u~$Q.27^?|dfսj2} ,6<1'̫~5L}«~[NX/=$p^ :KT"89 x$m~DOrqA$"8 ^PS pf0W' %t!Of@(> j(m,P>a67[$H۠fL{ `SdԵ;/AJWQw,ao|J NR -&$32u[xh Re<>W U{dbw@yQ'Ix~B^K۶J@BGYw &3SӞc6+"J9' +*miUY )C5k1mc0ꊶYgyyZ jpw+ߵi3̟!8nldӽ*O胹f2JXiiX߂gQ틐}c8zKJ=r]*krQm5A.S"./lYX\zߟ}/(ph%i$7pҳ{wMY9:RE<^81?"d)RO MB p Fg5N$LIdū4fҙ2}O7`|w,aLLę@qm%%t|s+Zm*n{ƥީeru K/zc ^vEewSpk?u:ʞPN+'VsO~I:؃qdYYsQ>z7BH_0۷m [aI '% V텨;8}6rZJ bq3Pl?p5%^Ncò:&g ݴѾ?aͣ\N3 E榵<"c=*WC0P)j>/U D^PU\p5Rjd'%zT '7E }K8C}}_VfJNҔ/)'1Q1Ur`xH&Y'nF(Ðqffj;- 2'Dh;:t}(ly`~E"v:e5\R3fD1&tf}.l`p_I։$r;^t' yuPܚˌt[Gk7e[XU#7/:ۊ@ygUzA5ϳSrX$plF:a=`ORt)ՕMFzt6kFH|b^' ߉Ynr*TC! u^y(Q₆~b6 <̾ÎPY|tV?roP& :b)!Fyt8/qJ\qل6Q 2$)9_h_˔.?3}hI>/LC|Gu8/(`S簓:M'bj[`၅䯵cj_ݪs)wGPy q̲ Fy:_+˳r]lDڧk2_,S^чQqRbB< |ZyDrNM{Sh蚫E($dOCP\=u@ ![n XtSΓ2dz`+[y4{ <#S6hdg0٧5Gi_[4!,ƍTɍ:ם6:E*ЪT]]QVfĹb,97;J$nXo$Ez^j:?|wxP=!aȥ:݀W(˸]:A?e-aPwG b)mV2\{M"J߀- UZ2 m~/7eCZL'|+>G>=hCĠd;4>nb) ZJ[TE@pɁh Kpu{C iZejtE $`@ܩش?ydd$tdj>8[ B-Xj_:NarS#p·]i5UX"-+- ס)9# qzcrؾ9³ַ"th>,*OG>'N90}{Y4<>a= AvJU|=چl9恢B 1cOXYKy@oT}˔Y40_a\-;Ü I@1*AziEWؿO}:L:gqVOnX{,,} ؘ(dVmVmǡ)FQU쎣!EjWY*U n5F ($~kc\bA$O S##,ڜּ0|6,&e_z%-2Dk)+xgAmρCEvvj6lm:FRTK{ܙ /H%p0т:w)P cOӈ,hYQ)x(_KOõ5n$5rA_p*B˜r jC Kx%7%=8Y S`ѽ379*)Fjvu 0xZŽ]#5ж]zEZJ}%zPr.Q1pQ*B ~ Ǻ-qRBBB:Ʈ1M !-,fEvBF\/U_?>9C݌Gt2eB7fANX|S 7[I.$w&CCmTdK|?,GYhkeX$#cz;Ua$&2^ja&O0N@VJܳ>/vnBuh3ê:py)IM1.<#^!ϯ^BjDfȧ={^t-Z}i'erQ{.5WҒ5x,B"`yW]2QǛاyOW^zdr !Jvk(̀dUc=y)3L=ء`jBh3CNtv{J&“ŔwqNjX:+9&%~nmɧLtCG̷dSd,M@uWX,P/b\l{.ȗ áK dSY01 jB4{C}c:l1̑ok?>YIЁ?rj|a:/,ON͟[0r=4dK}Th*+ᜡqՕH֐WnߚX3?㋆{=%+qSPyXU$@݀9K=,K{T 30Ώ[ _֥e]H(H{7C) N|tGZQZ{q@RAŸuqUa fDIEipO}I}p4)IԺd_8hSe\L((?SRwja%+]g!x[qo0($\Uhm3Pt ML⻱3kMV`w]us!#ԭ1V۪,(rhU_Z J1Jڝ-̶Yedyt*2-@*H4L5kc1/nUg: C Q5ුAvT:Poܭh9wUft7)Jq~0{B{c |S3@bݟGuRmؐ"y/`T1.N9- _e'w&aX.8N0鬨v]~{VrvG6 /=)900Ė=n'wCv!8ir--@PkJI{{Ý"݆__"xpѸn6+n2䪬k2+cľ.Ȗ44]K:|=46DvEKvM< KON_*e6GBv7(Vu uw?hղBKbo X`s@xHKTaZPeZ#Ө= bE^MmeW.KJA`j,ݘ)2ᡇ"YhPulRrdsBek /SBxwEʌOCX5()}U ߳h-&lZ!4;:^d KDsQآ qsu07sw5 DҫtPu]r4 "p}7 #m?|Z\Vx 4vU^(WfoDLA!WIORˀdQ̺FW'vbVA#f ')[t[97,$= 12 O6KePSbkM:۟o+lٙZ |!' xs}|'+`|C8Q4cץՃVJv$i0ǧ<L7 {j|Qe ,|g {@V63coo~_3dwf_T 4 xńS%-ArJ f -Z+|7,9CקXo^%=]"砃b>V u\͛A"c.ߟa?Fhwyb`oq jk$^`(=+çcRR|o>KMm&E H4,e.HE;;i1MSUZKϓD> y'ǁ_AvO$}IʻVրPP.( k{i4_ս*/fC"!hl6`A*{U4_ƭXN,/o L+uUzԶTy3e569?k Z%>Z`pkGM] q9I`D0_s򩔽 ܞ8aF`j/|/dBpiZٖ]2Ɨu(J#EWjW\v}y&u3jvFf&l"Ҳpz%l=Cv^0,Kp6lb ܗIY!5[T*R gzB e>qؔ*̀ZzY1@PF)6"zs IW6nfY&rhLnw la)-4m/a&*y3yܛQ4老T,qo7>x֋{ww 6ک&wQ04v}X1ⳝ`S}={\#Tbr0pg g=j4v:P&om^F7ql ֙'B qK!?JbƒhAYRVfe{!A/DBeZ '1m\Jy Wyt*lg*?T$wUZ謀Əv3o88`PYdArsg>4Ͻu*D@Ѥ.=sF2&3 -䛅e5—Hb4m X-1&G ;'KU{uQ~čUcb#_l_Yp5>'0LR:=w SWA,S4wNb`UZ?ϷB0_v&њaP.::[5;i}"< bViY׌n -eaacSzC܍1Qyyv~ #9c.8c\FI^Tm">SMM{)߿nei(+@ 9oTnmk( oD+]02,ʮo}n^dsQ{ra+ '[%]JfQgTE9 z=(P& !젿&z-!ܽ8'"k= mOåRةK>c%5;wm28K+~nn$`cp6:_߼8XT yIVYrEՂSve3ZZJOM Dj)Pxt¥ȽNᐽ=062g@׋6nvQGMlWc= BQ1C.nœnR;QSA i z$m[AuB+'>ؤ\A<^@$".VQ)RN᳊b/w%cőI}_Hs7weEneM;!xRO*D>Zkd2?U|:R2Rgz*.e5~$#` ɗk>^p맂[jKh̩H[ &ɚXŸ,}gE7 G$ÆOx&0Tns$!| \w"ͫ-M89_37azh:|\0FlSoF7kb#鬍Wra=R l_K+LP nBݿNA)eMՎPgƠ+k-4/&8I@r+舞â7JBSD׵~'vjNxDu7u{8JkN-nퟱ a(jLNp?ӯnM! u[9Ίh 'O7H-"hvph˜m?s5pz.rY l~gpu\ip]SBHW{tǬv`C9-p""^f <CKIžvhr nW AA"fWWx{h@νJYTJ0>q [B ͕&wǶUuxNġ摈 N?pْ@I8J2 jWwPMY4=1k 3BV;;|sї:-V?HW#YAv~1^ |XZ*3hFwlϳН8(M,xA4:#DEoaȒt{gjYH d6vs6밁kLb p%֏/\ D c؄mWYRD˪g7ɭ Q9@J {O(_bbYvh8xp.fЙ:ğ/"[]%%H=t8ŋ/ub.Ch9O#ypD hx?&,6OoGBqtH G SaB~[mL$UZ|*]}V)!V}EF[6C vys]@^byۍN(䱟DTlr&8`IzU͂Qg;/h"j%h'xj=3XM<G:~"U랿k_j"lk"^/\5VAe:BuwŃnOQsM΍[(<5\c@a"n\Y%Kéo5QD订Mrg% ?8dj]t4e\E8f^@Ľ0~R E2Z!;T*ٚH/w>pµq?1z_rWR7C}-#4Ick:7p;4wq?P!MM:=S[3)<lDQWxeOĺF}AJɲᨪV#P_t<AT@ϙT&!i2h6Q2 6⵭)JG(>Ԟ_$ RYwǗ%yӁ ݮX N X|\֎ɮdszfNKž0-g}5sTy626"gv}h/MY˥-wIOxML&P`@ds"a<ܸn)GVS7ݯ'Y'4&e iMwJŎ|\?d҈'Nx'\&ŶVMܗgUFVD2;;*UeiHg7-51eJGc{`)^Lh-c9+?lxZUר1DtIמ@yrw.#^aOb5:r)*n#N-7W̮,!;-.(%z$cr$m.ʩf S֐Ao27,kS=6է>oRsy䌲9&st=0 JS`򹕞PcSg 43l +6)װPM W#ػL ̡Pd>̹)0C 4Hf.ń#Xб ZE䗧'7^ ]Qw90 >#sAcT]-Yi 5qK?trok8-ӥb%^c#"2@~[Ol;x^ !u!M6kf5dΞs坦JsrB8"_9 U"ߨkݦe-(R}r.N8壀yZ[e ~3ɬEiBfnjbNl)ޱZmNVם3>m>̘Vs<̇p#B+M?eO*~UN-EoL݇ߙP7NRtѧ̓3&r!n$*I#;0˘#Z|vTioojM@h'Xbh@[~zl{*"0IAIrp@eb\MWۛ5P ^EytymFvjuhv[z)7ŵ82'i7w)F1"{&ო15MI u5s̔RW J09ˇ",Y3b綶 ,] -v Z$hv;LhH.8D]{QQQ$w@TLf-c4~-W݂{Gtb>uf ^&Ra1i#2]ERu@#oⲎi78ו6nky-T0wh z5)7K-Ax0ݏi% uB) UXaSsSoXWe;봇7?m5TIG4~浭;p+?Ry<"G! KW}Of6$ +i0},E)p݋ -LFO7H+$%*z56 52x8dJNq㲭{/ ?(?dBq|:L[IMʽ3 քܾs^Ǩ"aEkK?O8с~ ]-䞅Z%Mm&D6M86AGJV]M1׳2H35Bؚ0Xݒh} QIuuq}TwҎa7 ', Ap Pԑ.јlAj7]@Xju_j!٩iOEUeY)֚o>xMpEIȜ}SɱNM]Lԭ}QM}yq{4 2юs:Ll iC]t4%.-+]0|x2'Sp.<oJbv:\nʃjױ ׇ,*1$UvGQKWEc`8] MVQ|OjS\>G8/_{@5NFkGӑѬ3Uj'mӿYRTm4qrG!^hba,r)Q~kRn4t'x=<qiT-%:'TwLreLB'ՒNܱSB_CmolGFfo٥1~/5`+G$ } h+ IOSpɮƑVdO\fNزiЧY~B$X:YISi:n5dNG5r^~Iyt3y JJp'zT@ZhQiRtIך}Jܧox)9CZ7y:Ӻ X]Շ]ћ _<"GIG9Wh{% ̶E(UTgqDc!sk$0dbm6[ndzۀFb$!cؗ)@ T -Xn$x#¸+hBA7HZ.'3UoЬ =,y?A KHК29rS{Q2[L&,0:Q-1Ov͉n#3+W!7,YA 8ʣbg_̯ҹ@s}{'uAkRBe&<"O:2x=˴ 3t'f`PS ?@ցrvֆ#I}8t< p`w<i9 H1Py*GU/d#)Pp,Z+(8WvϱJ[f+:2,޼s*ܼ{zD Hm -J &ɑkbQ+Tg ;921<Zf&b积8Y j ^ޒl7qMh0B>_'Ne(dLS`PES aNxRb5x7o!6;`*}0凑@i.1U}!IuRт~buSe9r[RrMtTY/i $^v %4%:78qBF/Iq!Ц#M 0Kn`OUItd7tcy[j% o᠝l;֏,,1fBs=&C$?ZZ/"`3k |F657j.g$;9vK(|N*@߉aD̃e.:8b_ݣ Bu74omFOC-!y, l"l\34`8Y Cé~3E/7~aZsx>Gb\tMm[T UvȐ5nxc_`Ry1NZ| [ JnS8p?䜩VAI/mSy43?{2߉Ɲ]yOY aڈPwh9O`䍎iZfp<e&HVHaG٠PU-P$2i4 ^lCtmvd&e=o]"@^6 CQ6JEkXo!W&f$&^a*{R{vz*굣l~M3uc!w~ eUw:s"d Qdb- 01},2k%2rHto}Qе"ƜSQYm+G= A& ԻF_zdEHya7n󅚗0QS o3j2u rFCλ2 BzfL{,~?%rIxiv\5Hw3~I}@ ҥ~d2CaFOw\k k6`;Gtw(nBY52X|}<ܔD`z;?bim TV&5yJVo rBФi4?oxiMߛ'P:ChnIZ{८ JeŋOC;֩ͻTEG;|&Yo Я#.w~=.l=BW'PY9neIeNjMDx,E}JelJ*a|Ⱥk3g,g\5v > t>Oc8*j-L^}q.#51eNh8a1z46]jr={-aG2>7< SiK36_1#ί.%,[|Ϗ0 $jFpqzNVl۾& *T>FΝNz&c[5rr~P֫-o2K$K`ɫa0a,8q۱|Ju ů e`KʼnBMmT9.0uEscief=7ԋMFRlRrzr*\'J(u;Vva l-oצεnqPuVY QHk,QJyAl{ژzm5A,/fW;οƪ[? !|Ƹ%GMv`wWNv3W-}gxMnq} V^RZ P R9%S+9p ?ݑS>2 5?so@44RG?ҽ1ڢbOPv{sR:{ʵxtJy(}®>bq]0_*{mO M c_<ӡ㭷G3ÀCn)- d@ j$*w2Z#j"tJ"@eh(i>5Cci: lk٧iɬєv>Lӫ73oWҺa+*Yq+:@!X>_~vyBd5rćG]1pzL=W`1 g|Kv]/Wýڋ[M -oDmvѴDu]ɨ T0帬l29 *￈%jɧ&}8I"D7J |3b\V,GEXC zŰUXhTFv k.2~@ú~I"`Xg,1w|\z&k?jriql=H%uxsY#(`Өдq[ҟa ^nˍUN͂Ya!@CX\H)fr,r3tm}7!j FE4B6Vn:roYF @ۚ f{(MrowtU*BHIDxno> G-D_-BqIȀU*zm3JV*g_im$;Gw>? 聆S]R95T-P+eB/CĈ-)_UgS8z"pXcX&rlY_=>^kVm$yL*X(%7%Yggy @f/a7e~8L߫=B68GeV?e5(Vi 8$~XF6ԖcmO:HM./g,G{@LWAKG4d 8*-Բ.,V[ aPAX]`^ 6g4a:Nw ;XkF0>-o(Z]Ӄ#ى %{wW*a.895Af:k?Z82Q@ rTڌ K:! Y 54 uՕ' P̬M"U?gB%u8N`F.uT:غ ZJ%ۀ5G[N&r\[J 0jPu{5SnwlL_90dD<@zcv$fZXԮ^`6QoIRkF=k7( Sy d- Ү%x T2õ[5h iS+q!@]_3jYް:lDYS,U<>'bVCaJ%4QRNB8r ;"q0(}3bҡbo_]^ej%^<𹁙1+\s|DķهUI4@Ff:4{{+[S@6 r=۫qars|lgJ{g'cгl.' ۺ~2 -|pcy-<_8Èrj>Q.lxfW\{MN0#Ϟ/sO$$Ӱ,ESj١Sz~P=T…-%1?ƣʝ 0EX8''L7h\J̵[7@y.qP0% ia*$K6]% ^y2:-^'j*67U'#ŲI_؛U$ G_RR~䥝x4HF`eթ)C,#[l.X^7x&C8rq`qQyJN]|S(}]jk鴅[6k8E zTҾ矮k\ɒ=,~_ىٳg]$Վzԥwq̵ä&_\[{aF ןuGͥu)yUWHC0ac60 P 4DHd`aBZΊ\u=9y7*«3C!lj9j<8ǐg8{K{V­,cMZŷ@eꥆIE Y %ea>:t6S/L) Fm]RkF~ je|j/VaH_JCWлaԠCR0R-SvD:lQ풯lד0krYEkl1`seTXi*`[ -B8f!z0EeeTӺ2QQ8{Gjs ) $-TM?Wo<պcҚU 1ZX!]ݍ}q.D}'daYF9҇Ne7sr5[ [Y!a AJ^ҳx1Eg&_6GLGizNJ8 9.ir\ $UrnكW,.ais_='bq`Rv7LlgޒִY^,2>n][GLlv vaS'7=s1 OB^,Xў|((C&: n^ 9>lN zZ虯d0%WJNh Cȵ.甌u01c tUy.?E5g7p"Jl4lUޕWSUN=2=x+LF1Ӷ} ̓:+H)QLJ- +clUoS'R_[b: ?Ð5Eyb5`#eTTrE S'%9;UC`fPL<mC @OHi!t^w2r`w X'6ʸqEl !d >,SƘUJfJ3."MWOmIY8|Zlxt,%%cS.-\7y݊K\ySjBk%x?SE\?54wv 2mKQ?.5+=>Ͳ;5 BŵGs RkBFo>:7A$.jbC%WqYKrV1U Q]c56hU*[)7ZJ{7ہp es7 I{d2k;l>O}C"Yl#-k/:!Q2-C];|v\dֱcFV삎0sدueh|o SVPο5(,ӡXsI[KC?`~,wiU˼;B65k@Ybx ArÝ̋&wePP{+X#Ud F/ 4bkF>>KM<N> ){y* 5WJ ͇S.^69L~fiu,t=u"CYaON,1 wfvVQKƈM:7Gu sY~sW9.h.f%_ :Eem𾧎AQ(@1OĶNrQ Bm%k]2{zj Z?'=;NO$tdg]0|=Dw9Roa6e[ͧ t/|=[@q t"s):Scż_@Ӿ隓7O gWs8KK^cr.MA9 K1eӖcK.%lx=NE[LכiRRn"'~3/=tdODG!Ο-A17/k|_Nއ%97;ߣ'\<ԤMts1mkƆEm~bҽetӣB #haqS@œC\ ֱ3AVZ3#݅{*>ٍVK`evI~Iv]Pf;/ב]c+t J]z3*Ej8tzPHJJ_LJ Ml}&,LZ H-FM jte(,5רhyjnIS1aߗ f{b PmN1ePڭər}SҦE˴)2d4A. ՞%LT^ql=m1LP֮QW]R/DNK9LW?Ư4sqhdӐDx܀fg!Gi7y[)QdOu[`!E].پ0/.Ϥi4 MbBob '_ؖ+xpӔ *YΊ.9<يf{KJOTB10I P߲ JCa\/9(ʜ x vݠMv5'4f5Y G$,胜gAWBTmqXs)H#Jyϋ-HW|UMlQ]xJfTjwLvR_IP[TN"biC%չD@ ihU97xJ{}| j15,E~`C$9t˼|j h [ M$Vﻵd'2T|֎JID_JQbX: >Tە5|Ps] }DȐ`2}i={*ʥC&A܌ >u*pDs̓yeg:tin+ui95Ύ..WMݕ5n'OKVr03BUgu v3}*U{Jyַ]Ba17q$e]8&q$^@Ok\nH a V;.N9lroOj.<,7CK5jF8#=H: *ée)3P1@JVO1`HDQ2{ѭn!\]׍reRXՐ[,xߦYSq݋˾8l6Wl"8f Ol„ K5^ovqqNOZ9&q1}Rkc( יl%y"0_xcnIr-[M]tJ7=>1 -mdn fԕcة<+lVNqt3v7w2Lny~{\5nK ,d"GwG ܲR0YpS[76V%kgd7/E=}fΗlkr Coi7jAZ A)wNXb.?cu,v(3v 5w~} @řgR: Ua i0|7_oGq O)/k±gYZcef18c7120c5db78855ad6cf8e2f6ca605879a48eec272d4b5b3d582847a197d88eb3a9b19984c82 0dc95062e3492904be2f0dafcca23de748b5d252 49e47e44a20afe02c7aaa675e0c636e391c2647e