SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  y3\|| ]/ HOL-Data_Structures:threads=2elapsed=594.660cpu=970.336gc=33.924factor=1.637zXZִF! ࡋ%]ŗXf1-q恈%kV^M[-U xNo[q;O^.%Go/пBW%' 5鍵bt! +Xs.cf>(&7!"ᅲR?F3AJ(nXOŐo_FBՁ UY7 Y#w*0ªmּY'$ xT-]/ԩ17]JN;LQ H#AqBXCƱb)bTqe:[>jssƩmX0SewYowj {Ƶ Lo0S 6G waG/O݊h691>}z2R7jbQ)K_2-*L3}t' EubB[o&鎕$Jx_=1˴/ 9ܨiqο9z,0㘊'H>KƦ1&3.w&Z7j.`#rŹ_ȡɖ5o! Yo /#,/ER݄_QkSC+y; z$?Zcb7gwP,z1HhNgBD%X6ɴc=8۴ TioK\f?k*մa~߷1Fކt/uԱb8FWS%RAOH+7FJ=+ŎA!d)n3ξf6o(%'yO?^tIF~$I;yKdk11*\#TRJ?/(yTP7_JؾfI?E}lH0Rz2;\ dQk5!eJt1&'+ &꺐F5nmq:1"*j:OCJ:uB~3Wv6CL.,c%y溵κF_bRjfa 3 HOL-Data_Structures  ndqԞ闯ijЖ/0N׍}nXDȄs0":&P{0Ty%<׼271&ҲbijFX>h!U麕 ̊[.L΁.qF' w,CK׵ Ơeۜ$x=̛c<29x~Aa2s}̷-#'bvɄHW~ZRթ􆎌$!A<`39ۖ\㠄K\8W od\mdड़Oh:3{o'H?\ RKƒa!HlRMm+O*` 쳨UparKؘ0EDukn`":Np7٣ !v:cAc`:^` IMV3BYPd'~Bߛ2AGt|×`c(TF{@ Fs+y d[h):E>9J"oXNE3$T2}lNǵXZ\k_, P>:~^%9U~Ё9^tʇu3ԜK<.U%n<8p_Ug24n?S8ln4Zl"o|fb䁺 (gŮkϫr5łPR7xiKF~Lܢ`T 2"x$#JqlyRD%...X$VnN?]nvR G5j.!*e4G!$ BM|\3WjQNB=z6'-]Djoh$.[*,(#pf"Lmk) ;(_j68C[ &$64( br\5kh09MxIJ1l+t5Ln\H)~s__|J 1Err;zGiMO%?BIJ%`p< Wy{?vZ]E`#ͥg'tTVCJK}%qqy4OCјyw>E h'='Ӛ 穩ʼn!m xTGty҃nP9U`L"sX\eZB|A\&,Z6g(=GcF9< '@IfɓX`EWTq=P܅ЂE i`rʍIqfeJӴWRUsKþ ԌJrLUJ=Jf Q2pbS{vfs ]ٔu4K (txֲށ+ tA'e܊;%Pmʣ;QF})iV5f+bXꪙjh-{t d+"([OA q {Fx6ɭl6}fd|D&v`Ϧ컟lTO_f2OU36AHr䜩5D8Bhq %4KA[ " ETيAiPЂnLAF`ӑ]\+r È w|B.Ɵt1Pl#I0 +-&HT-W= 95F~:'BRppΙeht30'G3AɟDΡq{;?eQՒlMwΩ"nA]خSJy<}H'Z}7äݵei`wS +d?T2+|.Ll@Uh`u\_!=55Alj~ieKmS12 Y"䑎=Lqvk J M1tm 岐(&{j.zΚ[o.eC>>BZ.sv 6}73{FߵOZRG][ 4gGŋ0EX2M$ơ26N54 Κao DܢQ!Zy.ٺGY[~ WO3+Pv%$=0a"=Dny U"W gYZ7zXZִF! W]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻ބR3Nn+eNN˅חѶ0,NUEv|QaHm4mWRnJEUΩ).M[v/Ú<#"S-=hl63*) \\ KN Ɖb}dg ;(iX m}V 5":VDAE-g@fn=#ɋ [j(vpR|`[1LRGW55D41|B^ c^ş(~H:^?wnNVO?xd 2ӷqq귎ͰR_ "\#W̤g,3yv䏬S j;nFB,v7H UREru63/aSP,EҖTTV*3lb8R'Ԋ0knF8] J_\䰏_pڦ< /vA0vkKPV)"; }bk)_e:Ptc׀? A4Q}}}0[>gfNaMHOV<]"<&;6 \l5=g#g`3qo启 $ϋ<0ʻfԣڜ;](N7H7s ƸaZFq$'P/,{l< HES|3]*B>Yi7³8gYZ7zXZִF! b6]ŗXi%;z9sO7(B_%c.ΚKy)!W.Q [?O KJ|hCqy/ 4W TBhe3Q7F|$br}u<0a@&}@ [kxd3X_ s Zu8|mBֶq"FuqBʍYA+VBw=3;KT}c@aU溟br5z5rEjfdٔs z:z?-&=+G%];@؝?F|3Ҥ>K(*c_Eri#hvjxsqHZfo8x\/pZKİCo-د?W&5-@xne<8V4JOJ:o n&l  b XhJî {]^VAJRF`B{A/[@1=G tjTh1K~̓ntأ3؎ͶbikNZC0w ̜$ s*RQc.ekJw(F\ pO =D,Fy]#Ҫ^YtQxsϩtbg!Iq Q d*|Z85؈{㾎cZ Gٰھ" ^u^ ebU`I #)t"|pn2.R!/Ƌ=z{`&kέjQ|O% ]z mߥT6P\~/%K 7E3BjJj_t)& 61& Crbd/n'c9O¡+\60,`pjE3Kй^'ЃwI=lV*1|ET.4:rq1;$%6;#:9Lۯ~ב~@ UsXݳW7{(ökbӞ۝PCdz2Z^Cs/7Ey"q ୓~go*WT~kO'[u}5Hal~wڅPyUmԁMri-et xrEoX\*0ԚC,d?2w.'F:ʸq(5["Q7+)6ۏ^d`š uu!!A'X[0Aӈ:ɟOwXڭdjG4_M#Q)v ybҐ))~x?(L"$ [ `Ɍɫ 9əcZJ-  y)^Yt;Z>%n)dk9{?RQZw 4hm(Ii}/G+I( J^_*$;Bmi(U vFreS11*ו7zs ymP\>iaζck 27$#JN$!s[īU O[5xopwHFkT(=/͂~xx!4vB@˫"*RSZgL;Vq]z^INWmr@4K\+J]5m&ފ1i0_sx;}D0Q,0D\hwgwx g؍q,^pnzJDo*N{\[_X`Q"F(5V !74G2 ۙ|pp ;#'-,2]L97DַmVyЂ}KS fx'ݲt;6 QWav,U۩"\--+Ghl!޺98W V=`m-+K3sJa1?2iAoڔѿ VSKc/$K8{ *YYJP< 4VeXG臗gC9mrA˿G(ֻvb•= $l* 76} @iQGB˵#vjuCnuNUajxp$Zu7ṵ^#Tr(_`u8Xq^^t|v'yIC:K ,`dx'}#F CroctPamꌜL!JV 䋿bTaņ RG*ɢgf^{(Zࣴg #?淋*o%|w(i=c%jN-5o^# vF??lp5{ZW=e}\ !׬F{%'=Nu#ةW/UtH`-g9k-gn]V2jA~vK6tFp3>p6qԡ fT5A杬cP6hSէl|g<Ƿ^3lmIk 뀜~ͮ5on++D53H%zk'$C>R# N̼o? MQm;%_وv rgD315ml.~w_LnZ3*v JߠP6̗mt3=_51%k _FZ[grxQ h f_ÿ7M߰t@@InyPN2@a&l.N2RrCGBAmB@][Nń {Qo [ƾO Ad2XtHdAݫ5sɖQ {{ဵ,9.Vt}ߙF#i}d/gykv/>rh,8lJtB{ݳc jp5sg:Pq -#ڂ Y.S?p:8[an(.7j@h+]t`̑_UH^Y|9p5>2-sGRb&30Gw-_@͌;MC`G$ѰVVP)V4vylagA|! j9RﭡT{6'/FoxPqQ#H7́CѦciE^Q͚Ҿˤ2+5G'?TE=L9j7E&98L^bҍx6 c^ M сN,e-L:.{gzKY&YT" =x1f׺C4zf%Ğ/nmmϣ"*-luov[FgFӵ:fY3B/-2{P٥F$sy<]gb'cOƼ";Ʌ 7p-"ړ~g =dM]6$'[V %]v@}Fj,+ #7Bt&c(Hy,!omz:uRir+~'pCK|9)$lg #% ^z漑iK ^D8 } +?:Wtoh=hBk?%s:Wf1](>?{#FC&YVViRto:*W%o8|?2cU`@lu?{f ,NQ3'rFʼ$}vȈ^%HA~G7r&6-|2zYlc/tHsuu@sOWu?\coxWR饙Y +2{xUYDJgfqKzaNW4,kR>EHh>`jDfh_7+R), ! WuYn"T=#v#)RB`#D} i#T,jsűI+pVXgqvHac7F&?nj(ݛ@༽8"7sG"1]bKFD՞f}.U&ob~HBw]jh_mЦ#{'w^~`f%5V-Ua9:bp>98(] !IǀtV3 W;p~ Y] }`e?Ǻ^F{-nKԟ(r @YY>d؊Nqt~/B@6t[w:iUPI%Y]NHYh !&dT>v]⪤94sC(A6@>RYJQuR<(r~"ק 3qPWF 4u,r|Z见*sʊeR:Hs%E/‰~- VN6;o[e?:Ȗ-muwca*(vw),-q-K3d{FOIK>-a,t%٥EoXTlrO^|N?97t&D{ ƥ;s5X? 7R&<$@ō#Gq5DDNV_o`tdpp07E(J^s)@p}"agO9sK7<?Rmp TL!+1ȳa]7One^$ ~5݈w;L,NF_m#5@A,D )oB>٢"J)+=*9?Y-U`\̺%)PD·EGO{݁=H$yV;I{1',kb4~;r $elpFKV<^@n@B ny\@&5|@{ZaCXh/Aŝ%x:2]\ؔ1&HF2DeAk`;=0fiD;ޙ-hvjPBM;! /\lkyw+; :ipt4IkiAV$vRs m%.*϶7au5o'L-(`<RƷK\ZkЙXb|ٕ ^q6U;A~M"g L' z&}Xur5( @dx k}s&E$l uԑ;\o[ ;c|2D-IZΌ_ke"~(K l -2TV5Gm5?QptÅSU4i,Ij@ ?~˴s6=|[ fz =)qR5Lr>ܐ[G/kڣ}~WZv[ٮ_3Kfe9;GhX!A;vmίWN zXGxP/G i|R!jqP 5qYjJ IJ7|Ϫr[Z :E ìNcJ6 JiR%9PL1t8nRWdqk)7= ZoPXI~*MLDyvT$mNTc2X5k>DžT|UTFhUs=ǰV ~W.Rn}=h>|P{Є6Y1p_/dK4DW _ ayXtʂm jZ[o#Uϻ.WAm.YD|#鹾5*4.KX:W M*Uh٭)%023ZȽ ژ Xjێk#{k%#` ~8@Jt,!X# Cڗ%'4c݂!}AA1/"+SYg!ṈYYL2?@wX,=MT,'%\Ơcrg`)4̺gjN6ad䛇Caݽue:#ހcf/4*d:OPE6fFj[CWdxO#&}a\MtVȶcV~ /(06¥Z)[WCѤio7[ȯ?A ϗL{MzA9yRu|rܚ궦ɒK95h9weW%v/py1 +ZڭD)y8ʧjB>؟%sl #5TW;0jiEOG` i'٘K^/^@DT~[xO :[huB_Ù/Pܙ Quhd"0ܫ,IQ&ﴫS$xHa!mJ{{4:K Y'A-psz/,2RL̯?'H8nXM&-; p2uIM 6EJ@ 2 m_nr jvu8\H)Q 98[igx7J@oa.nF)`uL@1B&3 5!8 %P`y9>4v}ւYhCN6_`8#-uQ/% ӷvz/*O2  ҭ(&h[1#ϗ&}"`H{fk_ZU6(-ڂIv:.ex`l]4RGFo šY<AY)}^wX:j5 ܯ/`,?9G -jwVy0 aXDVJ vץ(z"鞌rÇcݕMYAUvD0/|?!+n-"/UwAy^;}rcg&k'3Y=cyE9="f0(*̆/6ՁdaCR7: "Pc*Cٴc^wo f0 t0Rlr!(DfYp*jQ}EYK1=gI%IpW*:(+d|Ry3ZgVD6w"V=aw(4KqJį) y!D@jg`S^]$r%u wL}i4'r@L`x'WBI 04lS P?rU[E-(~c9xvNw86'6{QCR{uI_|n[YdIp3:g Ej$UpPuPe/"(x"9V#Xq\ dfMaX1}N3=FiZ:WԜ累\[88n|EKHnIX*`4`B (ȥ=(0YIn=PFs&0HV*Z[SM@/=jS^tEJ#j yL4 ^j3U}fYWhSMHdjM%qI4i4ѯ~><M9ShȐ]8+Q̗E}YP!q lT7P b]:3~ҠA4A. IbNOIic1sCZ?%d;1O旭NǠ11%qżj)& $Z֨)IY;|H -YNC =#R8`^Hmy,A4CXc("noO 2k GIAK(޳]5Hb.RTZChBw2МTz`@2d | 1n 﫵E5 }د\#_h3N7p.<^f ]3j.Fo7"_aA{B؃#V./LI1.,pD4&"Ay̐[T9ۦJ3g%ڒ>-J+OI "h62NK 5zw044ds 2'B5zx)Ik &݈04v)B'h!$j-b&K0LH$&)*cf Psy擓C"7y$Bŕ?enm[h] }z§RO aٰMfQ$,i{lT`ÍvTA y j|#xt IUӘ':n&zִP_! z!OMjK4~8{ rFҝ[zYQ'nazfMgbI|[M4?4°`'[,z,EŌD9td`?y`(_]2Q'{]hBG#&1^eVKpϜIp*LqͲ7$s%c&q u̡ ދ3[N}\i<:Fg{y(= 6[MVtD 6H =yBPɋ[ybh.&4 ȉ KFo_Kb Hp 6׺ñdͺEU\v 5W>b%It҆c2&U~+6X^Q>xH6v4G܏&wC5hJ}WCAxztQcX3aJ 5eG`N CV9恽-϶ֱ;& SRQ oQ̬0$QrZY٭0S8aYLCԹsv:]')ZDic9v5߉LZf֐##!|cפ`YS7pJZzY `VY}cTT|͈,} /9<&G~$Z- +Y j{d ./_fl=# K4L,9 j>N0ѣd}TΆpLxzKyNy~_1FРX{cQ*>Da<K ; dvz[I~Ѡǜ9qw\RմNz8 \^fZiK3afŵZkLVs*}+5 R3=fQC=7R*T$dC x}pvu#f STN>(m8M{J~si&MpGG{@Nr谪H؏/,{ƫ95F?v$%g`.>7̣X/7 5 o.xxcI!~5z?w/_Y :: {OE*Okʬ5-8~{9dAiݩN 9ӷwl2?h o`ǴfljoqC&&­ :^^ae~J˴-VYU; >o?3ǟǝ}#;\W ɘ.2F~i=ᮥ8`D$\/;yZ;w\aC6e>'At>>G-~#V+GWOaK1tgs`P`a Ա&.5.cS?2 &M=BhaNE>=kӕZ{vUzܔ*q/!ae/V#kSy۟"O%_9(,P^C$\?Kue r a>GW_Eϸv:L 3+[bV|Tr 8'Na9F(XWԝ@ ? bq}0"D3S'j#Yd-@ ;K6v5݀txn:F@?,`ny(~#Y-[L&)P3~Sjx-<,eSmh|=w5fN~) $sѽCp!.@n=cQAԇux}C-\,+h2K`JI9i l 1Xl&H䚳s؂3R._G#K1dXn1ZP1+aFF%mqaSécSK·mb}P.m_Jv ~yS\"}=CK9"^R vʿLW"֐(V'-Aji{'[Adɀ=Ԁm| 7tەHTp# dz<e79Np\K? pΥz0el#YlDhtIec ĥݹ\xO1g(l,Er/*GA rs cͮ>| *DٸC󠚤<|K5R/rIUszh (Gޚ΍1jZk*M]oёDeyeիP䨿v؀Os׋VzjK2~iZS:m͆Ƒ/_SFIjZn)5j^+u}K:,ΫUE^ܟl=e&oMs{ , -'Q>.|4E ub:X;`~ d= K:BYSy}V P8E Ԏ<͂jdҸE :׵SМrdlZ6Bå,vNS5 ddSZ gkhu"ݱ_<اon㬰U ߭'83I~}f(Ca-Gϵ0&Wx6n: ]hlv7f!6<+$Y.M>:'qC>^`3fȧg1c4YiWX5G hrmH{y!<P^Rea()[q }9aOEQs6(eo<Na-vk_3U-Hs@Wx.b,(Q$ثmxQY&thb qsokW'e*^3R퉢^\ǤʖyE?"}-P"p}@ Fe`7i =h+ ËIg󐬮(JbHm+Mia2Gg59uLY 4vwYQdyI'j3>_jm[2!0 X#W)'(3kB0uROL=a)"$]گЈEmB,eQ";٦f?ڷc*ws4C\x3tk>UO9M"WdwSV0[s37˲c k+5%‡YR o\2Py2vu4s?ے'&`=eejY8 s v O8c< $?23JBɔDW+ R!Hac]9Q^=+tAI.Fs5m4qn8Y#t1(bơ1\`pW`{jpC&AB %( iM7+ׁ"dj8|E]:Sb7Y 0 Gm:)uM ^7mPԥ̙Am 83r1/ [/]%s|D-0=,@ΰl/ݩPwtڣY_7+l1:к؍ aլ,渇}TN\CieXob*^ehy786*菂_0$ް>3[K[a|HI?6o޾CM22'P*C1. x /XG%(eM*ђ%2WX)yD؇ *X.ij%{گ^d,k-}P(g"X"11m lѦUQ&H4vЌD? $m+ 8_ռ (=-7lӢ#31wGR;>%W:d8asxõHYsVsA fX_ *=nXJ1R%tWWmv^QkS=\]wt(|Y(Ceg) ͒g^[o6T˓zX,xi3[U7";8x XVz,HEhIðf}+S=uL6KO7Nwvv@e^vYA/Зkʆ=lAoR,O5 $#q?ߐA5`wXaY&lRעыpKmf],P8CW!qPX<2$W?oQKDE\) ѭd/iqSmg@!%(4$()]"Ⱦ=3%UKdyU`WM v̇ rڅuA.uV1}d S}>3G@oAM@[g#tPudIH}>Dlj 4Tc%qӟ.8PckRLX|ᐒ)}2Xzdv7wtf 9 Kx!w UK$v !y0ȃV9ț+M)(oF:-J59p#ό0Jhqk ^ZH^;AK q->tHbA1$e1pD -qzU$5nt;]I2rj>$T1lv١p>K*oGוP+Ӭj \Bnn376C0~WꔺE^I!*xv# VA %vbM1%dڣ[T1u|s4?yq[OYKxwx=^+ݶF2ӝIh+wF(T\rtZ{|V fup3i65{0 ]E#iB>_XVʹcz. Bix"nP&}_͟ZYȭ%0cYNtu8 Ok`LU);B[3SW3ϋZaS`rWC4yA9/[F Rwl(ApR|%y$wV -6iC Nqg+Jr;a~+ -ҍ07M+[MoONML&͑K-3D3wLzG&kTl5qnض j13A)}gwz3<fu*jUWM7FYKWyk%1~"}'^Ra!Ftad[1~4JTOW S!dCXؒdCYJD&i>RVߏo\ld̗+M>N Iv8a{{kBƼZ嗤PO]:5_p'1E{+ȜļZTbYE>h'pqib`'xbPe UY[UuKviepҙx{%;ќ$wXnmx4UZ3~OҺ9 ;—r#5=4'P6)y%=R(*9:x>䅾\< ;Q ɵ9W$ߥ]\wJ\8$vaº-\7nܜ-ibߒE)*Y骝{ܒ4=-ƋPyqzF>%k9AeC#Cp?Crgi6䝱hFSAR5Lq܊H|ʋl,idp-8?'9eWEax8gF]YHܴ}Z %ro-(e9JA@rOH$ه:+65$gޕb0iz {zazDTg>ܵɾڨzh4,Ab[1FL*9,p6ļGs;h0 iWCTc^8&*dͨ5&sAy\cehz*QoUFWr {aJ4O=Tvl.M LZOc:Y9Qo5f{"T` 0EF^hMG+?7}T)W7s?j gSV*4zQhi%=s=+S$::q_ /C [>es1DP eIr7qIP[^]3;͙Y-~S=H0ֿz&XC=屮`#&= -_>đ%s{2J%qr֠{3XL*)G w?v(:^ Ꙧy.HJ?j[PI-JK5ZctQпp̀/@6{,p&7PMB3pD,zGH'ꂷZ7<y'!Z^!$1@UGa8 J9qȒT峭|}XK_3NlLwŠjOG ;BPB,[&7qdW!J|-aP.!'q4ҒFOkdH$c ,Zv_;<0p>/ X,9|5f>Ydiɞ6@x9L\ {#ֿFklz/͉ӽ77{JIR5WI)K5W0wZ.+[O;É#=H wHPuBz 4K 0uDO܉.R6UG ÉK?w 5Lϕ7f`2Ǣ9#x<VOH'=7UG!yk<{z4w?]wbFmLUcq# EEޓZ~侘VC&ْInЫ`<U49 >s)@J%ԣH&[rZ\h@TrkJ ,F u'l [ʌ֯L9'eU}Bt)W@O~PN߹?`= $[?3H*ԏ#TTY+Ra7e{91I[x<Dž)21Zlӹu+1[ŚK{X>F5k"$7F_LٓYhwvz4PsĊ@qTc*gBFעū#] Rk!SIO=!Qh>jZW3D1ҡ{wp81S*5KD?;'4R58ͦyڟ yG!EQٜE/)$ !гw!J~~=8Y'Z~XhVVThj.e60;eo ׮7:R+pARʁv'TɸU8\ā7zhdkL UJwqL/! W杪1NS[WH VO(uMtAoD./$sV!()ȈiużT[0HdTId)+t?OHBN"!En~hv܀\1LSjI~GWdlt .zѠN!o$fFc/_ڏ ^cO2/V)-9p?4y˷qs6}Ytf$CSL o?ٍ:W T}eBKMT<4a-#c zʘ]LNY4ކ?u@wngQk\jI/Ӆz^sy:2ѪM͖㚡?#<DhJ-B-v/C*G)9M"pyeΗ$˨BSXD;)k 9Įis @ccf_5Eŝ;Kl3nHWeƕ{R"ca8s3L-G&Du bOμB/R&u2XV;@Aq35#7g>ʘ j֐pڨoJoX&^ @!7Q|`J)S(laxJw2#^SRKKD,3u4b7ݕ" |Xۍ}D݅wDQAhVV腯Kf:GML*y*W{LYk:4ǡǷ^Yd mm:?R;mW 3}gfH{ҙAٓ>ZCp5}/] B"<+7ea _0isʠxD,4y/ؕG/D+k<޸!!{oL%"r6QV,s9J m4Qlb2(yՠafϰݦHbpy$/K+Ke̤ɭ<}_evےP@V. Fj/TU: 4rþ${:aQɏ&F0Һ_LuK>iNc LѹL!cPRHGmKƎN{#Gey}@w~ސDQ2e[9}G+vٱ-1颒_9:}"j]l5q_߹M\Ln#{[+| qkeYjrQ=.9! (j1RsacqP\QD>iJǭ >gzhcɿ%q=ť} i Npuo70-fP킆5Yb{"@"/&C#I4Sl^xf<:;ShR!2ԋΚ$ǦX y^A\̹&FɎ r]nB,DQGА`JE9kcPX82XNJHp*reKHec"pxS(!yMEcEE;$ى)G/Hz/Hlh!I*g`8BqmQyX` 5WtLF#AMkZٿ6aTa7>UJ)3cAW}nԓcIK@L\yvK p#6[-$-ѩ+Whw1t&i0AN'k=02tz yalU]YFEptK)A>.d\{姅"fGXrnpRJ%vw؉Qv~Ae U+k@83?Q2 e>}iKϿՇDv'FVk[ů)4!bS d]vjN9A(L <$aK:*eK24M >[ePu XGBsC/nq7K:53M'^ݚ]G. BGш;{U ; _pgyw$4yHl=iUt0*N9c+5FT ;#.;~򍣗(ًJb`R.t:K?^ ۹}lTln{m >RIy7i,@0ODRh֛nojS8ݥM,pWDi[;7p5B戎hhd2RpzWCA!mC?/],h'GN`IgT3oEp'[h)+͓ggYZf4aa5b636561028a8b37434408a243b056b121533d2535d0e4bd099c4cd2accf026f19c1b93bdee5 50545c59d9a0cde6fc6aa2a10bdc86c2adbe3a47