SQLite format 3@  . BBh77otableisabelle_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  C C3LtD ]/ HOL-Data_Structures:threads=2elapsed=653.298cpu=931.040gc=66.700factor=1.437zXZִF! ^]ŗXf1-q恈%kV^M[-U xNo[q;O^.%Go/пBW% %*T#`!9V0%H׍ȘY$(98Kd$һauE ӡ1ɿnpXNeqQO~kLTb:,(4[kwŽ\݂\|XpYx4i;;mMZ^˖[8|JuQ<]urL0Gg[M 5{èAȻwOiRslk@`wX|U k Nl`ۜ%Yq Y۞u o~e\*Eq(rڗмMAtyMcE{R-w,8TzUFPcbٔyvyitbxA**}ӚmC-%PثHeD2K>J'΀IQǎQlN -I8gp&h4H*́>O!/2b'.@{ u9-Wo 6 p~ddzHX{(}t:: 7Lc8CZPnk23ϼ>`[: _ B2Apz%-"?N`$=":2bJD=FL@9H^0SI'Vbޒ+͍zӓ\Cm_*Qw%\yEQpckGrtÂS+Y"Mdے<'Xj#}6(f4)$| pH"> I#}8UAFeO# xUa]iIwx*o N!>dn\I6zw *!іpbW*W`;*Z#&qz΋?C)Y{bl쫮з0Uз]! 3Y\RPJ lf|c$&+Ơ:L[҂ 5_{:-"v Iž*Ȑi_Ÿ̄Hlv.V޻w/, t2M8UƺeeCQ2ggPCab;D74(pU‹i04Ϣ+ha3JGFsLF☌\pTwngd |BaYQUv́K&`5G/۝s\ϘЫ*Sa0g+`kS*a 3 HOL-Data_Structures` *y& JM- [ؒF2-2(9X/_?ƠW&dtQE4y<ϼ'vq|S8&5X( * I9! yc`;Zċlb|3,^J#_Nϳq|sB9;`j 3lǂBj`whF:[k+ܚ#1EIc ?^e6]PSW%1&mTl_MFt-zȄn&CK'슈ˋ3Or_xADK3rHHy?TL{6Ύl`軩/%Q4KXK8$0# 3"BMqv\5v1Cc[H*cayv$<>-y]޸Ht؟@gu[15DT>z !wVt+ (ꩳʡT$lb 8ҡ@Ii5'^m/ܻ65m? I~38H['+7gp ྫ;v=)~]Z$M!u%4Hp|Do:Cw9Mkz4WJr+!LPGG"J5] =Q4D7 +JB45r;B%&{<*A Vft1Tk}k`Kû]nLg :' L4_Bp]+F;]Ouz#0k-o`v5csXhu6!#|֔YEPLêߒTnI9ܾPaSb5jU:9v9ʜ9S^> xY|vm ?犹LNPTR0ք s$DN#V\(m&1 /T_ຆlR$\5 Q\C q/meШ~f LL>M\ CiM=Fr<%)I3]2cR»f˲켂s8G]-]9iP\ցՁ?pT 3hr. ?O CB;RUגEq]Cϊo'9mhM"j;>5UX@,wqgFj$ )Daݪ_qT)sΝMt8V Cb_oBqo*v. *Q.zOn)Ox T-V*`&D;?>t55ΞF9D sn1 p2İ%|h+&Bx!cܕ@ Z=XSvHhF|F272B4߯1&*i2fиui"ΰu) XbUu#kD9 7+lX_Ucz3:w!PwL,ϲۀm6*ُI#)$TG*Jڜd ^H&ȲFt:ߙD*y 5!GJd*ݪڕw}_Yp`Y+]@`$Xy-`{$k)Rf=h̀фkӓ,^/Vf8CE0",$ גٳCCn؍Ětu}rQʄjgYZ7zXZִF! ]ŗXi%;uJy{r/FJI((v| ~O*ߛvjkHjph]^gHb$f@: v)^)߆~R^կ7R# #?0*+UT V  wvR,q *rn8ݤ֏66iw+癍A9{n#3&+)hkЈ8u6 psyLv+? =D2` 㷞Xx63rv2ntDW˚Z2!mbpڎ5XL-;=ѷK5K+qM B2:WՔ[XC[feԑD"{%^_ fjFUV6U 6ĿZ~V Pg+a;BλcY]h EXS} ?*(w(ƵtrY׊l6"hȚH}p VoPA&0_.>%?ˇ e &Brbq/- ns*jZ XBٔʰ-KJqlkf>o;Xgp5VO7X!zK!O`=kG}-֟?Lj?5Rꍱ {:7'QP|c~ȥ`MӾm[(d]w іYqO>1[Yl Sn뀟GgXVȩWG' 39R;;NX ѡ א7WCb@c_ӠC]_Իo&A^$+J|K׬z~o6X^bXIH^dnCʗYS]4rfx\ >%qn|џ>-Dm6T.vB'JuǰvHtA'4k#&sNk#6Hc|j`]\7DWυ_]GgNHm`,C˫^z>#:;rAx`&of3e$MGTS218{) ~!0z[' 1Dgn,A~(jmB[u!9BxT LAedg!m5vaʢ@lxw+uM +A|;9Wc(㣠]gWz 7W?eI pGC`Ʋ $Sbҍ_H»{TI&@ (V?X̣A@u3Uv>\nOO=ެ{c%[&9:XK Xìf$5 @?l(ުf%Beۗ1Ow "-*R=h\6ψa,m UC|aOhpFvjwVNhH1.čSb}ځI~>ԁg#~̶ 3X8~%Ad%OszPyd'䠭a;>٣AM &3Cb٪L[BE=3uR9~#xd\I/ .<+Ovrfp)fi߶gAѮ'n}Z5БS_"#)軠 k݊[oP:@A/﷩ T IXqŢ$4j\JBrq0.`;׫>7@51W}{,]o`ziͤG[VU*ߩsNp 1K<'|YVX ;D;R㊐%Vֽx~qz }Uꭔ & ŗ֩)Ff2җSzwBE3RFEv@SԧHh!e Y0GF\A՚XNjOkɮ/ NF[湚lסͶjhJU|k1ŏU T=sQ遐=GyZ5Ai8@5:x m'`(bA#{kf^q uaׯ.V!ё)y6̙94V锊A~+BCҧاl=wm1s՛9Jsftq2dB"p*rnÍg}%j)ϿWCM m&;&ydCw}8T*юҹv;d{,x֌5 +cqg-s!F!=XF+a+6uĪbUgUГl4 ^)&[ˊe8}?CX> O;! ƛNcJ\/+v'm‹.g1 @yr) },/ )((AHW%.UY*gQ*/fXiU lDo,`E[:ם[4)M# l0 Q Qap7sBq%2Đzdf8< s8Wl~N A;;FFpFA9B,EK>+f)ÏWh AbU`"k! ˌ @}r0\?SPAq0d'ߙmwqzgY.sr3Yφ~XN7$ VN}eDSroTz#D/s@ xD%@{9KcQF*W!=cl39~Jz;y?|]]_1Br%Lі,!?,dO785\u3dP ͦ_ İw>6W"J| p>/*}Sz ۳4/x `T_(AqN2~א\iL߲5kDZ1jtc}ŹlҀ",V֡4 CԻĻt!vZ~ Y "Ͱ iV^U6nM{FkJt$O7E|,gj:Be>4=thM7svyی[Bu4?eH`txpc:B& IJ~E>w3-ҷ1*a6[׭=t\I _H<*G:gA2od6"%+s_"?vO(y4ʾ7P/i&9n4Hp DTX&gy?K.Z7 3q)eI;= >wv򻲂F!v4NXȟfw߽2JqYF9t]dk|g<2 5Gp);O,}R?~i O:Wzlb2 +oG(7QKw*ܸZ6}g`#||Ԇ+>epW:mP] N@.Gb귚%\YD'!F<~|4lr;;4=NXfdT:eU 8us]ΞQ/Ҏg#cb['W| EA.Tg20:4Za>;FgZTƩ{$8#~G@ސB,e9SLn/V2əK,}qVfZ z?1k~GZPNwU'e+xguPVZkW0CGw^H+}Q1=Ry7<Ctuvs<+yHv?{|n")t*}l| }T1Skyu]t)J`mU+ǍٓNV6)eם*Xqyv [_2"Rߤqyq +(R <הB{ZG3VkAe4e(KF{'t,.oElh⏋3-G[_5;\GCt {c8ݾ՘_<ܣYW<#Co˅q3̈́2ӶAR=Xg0UBG߬s3/ ǫZ-9vV*7} [h`|SZdk!'ORAHJ;kn<Ul5@3W S*`}p+2~؎9uRǮGu4xnU`~ix϶S3AwhC0WMÃ'Ϻ4dP@R2'oؿ"pdX5nL- 'ji ~k/Mq4GeDp׀-Ʌl:ˇ8#,a shO*jkmy pԀŏhlM[4 {P"j4Lj }~mH`s}Y4W'o5rّ\4/~й~ljq%I9'^/ŰrgY|$vT byEr9Z3Y-cg!qʨg/7C[~Yi]ֶb#kgH3қ( 0-oP4VS&ϥF8X+N[#|Vk9vMpa2؁KG28LEfHN&ܦ 1u -=B5 a^æ뚛hv$B1 qk`o;WĎYmy{@+S0{*W=Lc'NDs q?d]2+Z/h23臃7Np` Ok51qK Xl[j–.yk_;T0/ܮT<lTP7b/ŰiHS֩wK'=bֽJu^`"^۴Qv*ȍB~P\B. O8gE oXrg1OĠ&/I @_/^'ꓶhI_>wuOJͬKLqx0tSPKNt#;@64B* @QkhwT9>(iOVPU{B%w]GQ B˿.3Kd ŷXȪ &=/3˝T98 X)2=l1ͭ骉ĴՐP 2!ȹhjɻG(#!T;;c6D+9-xK7C)ךMe&<]1d$DVWcڋ_T_.`r 5s#UP4'3:VXvh0<JAABQ:K c>=J([+C_70(r,)Gv##DlgChȉÊد[a\P_f Os}WI,73Ru& x9Ge˦A[s$+}K6Z_%YxN+`UʨGS_Yh.{mS~sK/Ao L G}W^9R(W|t2B}D+sNsKն,Mm>^1 {tbaű8F;6Xu 3 wP\#g`J "|u#[Ehm| mhD^J*C2:bS衑!|٭KCYmbfT<1#^w YҾ nх"T"LC\($*.j< &A[J&JPpѓA"*"sū57c%zF7"N:ѾrȂUM$/+π?:b4ӹ]~-Nn|r&CKFY;M:ߗ7s5=E!:һ= B&ykF9dpKqz+Ncښ->02_RL2Fk<jF*F6s߈D,&.L&oX\G }|Ȟ L kφH<oO$4Ry37ۜO"O)C` )ӢHӔ,"( Θh}LP|Kjc2VzS aSLPEݦr gcʭno#8{#Ҏ.؄`aT 6dߏsTZ{RHyR 4*JX,/emP:؋jbonn',@.:O2 alj+^躟`v+jSāGc4 yE{D?F޽;o㢏~隀"@δDžMn=J gB1?BAOEc34f U| z|EŤ/j74@A@$H%6 Y,z5㛇մx`s 9$*E[5f$Cb?[u`d ]J{q94 ;9ֿ Zή_H)`*`x1nۓrZ OŔZ1 S?@*#UOfnDVP<~k_txOɿ^U&{f3z'#zlN.YBaLޤB`.%z;bEmk(|l@g<殨(,{i+eЕ5SҧuM)} hɝ[mlt!4NE=3V*P!M{eNM.3`]jJBi9qZ].r܍Y}גs-w\2J|o: (~u,ck_3XL,v!jjZqO}3r+NtN'+-`h֫FC{l|l 6d7z ~:GִMR^1DB=lɂ#ZqpPqLbxm(it' >S F ZNUէ-eߺD HeŚgLK_m\O O_nMSxv]y]Ʊ5(0/l5Qތ>|Z ]F14ٓ1k/L)Y-pm`uKȐBdsK= G $q>%`W~ul ?i`ez|3%&hnx*ަp:8B-SY#4F-" Uhl/⟥>#zTUi>ryq JPD({eRTTl堧o0TWЏЬX7jESћ\o"nD;qfyuUR@>OcAk6\yUOa.57vl17"ЉɁUSFy\B5x0 gG*Dexː&$u a!Ni_e:%g5/,($/u6g᫦cIݭ}5L-H3+toxT$EݜBZD;~çf Eaf 8bbO1&ㇶ;=0 ]O ЋƬݻUn-4tO8wEÄBbG~'"0Cz eD50v<`z_O K2]a%:> ojy⺡z2G0vLSF9#%O>5/l6oSp Pa{f-xhyv߃QEnݭ9"qg :|:wTx'b V& H&WI8TD"ΌEtQnw`kKqQe*,~4)TV-_9V 8jCQ#6)ԩ fI4nS=Z$+&9'ĥ/ AJ5˫ b$?+1qvD}=l&՜.K|wkq|r  ~&p6;ГiKv)t2G:^f$ !X(LaqwR%_')wYw͑yIT#+⽇jN {f>iZJM<9S=MU=DJ>0?*RUswWifRs:e~W o ( vTIF| +c[ m"*a8lƕ 4=*xb f:5꧑5/p4oTf"X֞At`2V٢fHTX[6;qդYBSuT9 7;[G(T9h=5P1~خ{!W5_랲Q};D>YHnF7,^2cz6d[QWq?!,xØtoNuM>/&j+:NC픷bfJ?ĺc@ũ4E:>Qtr]$Q$ϯF=ȗ<[[NðFty [U_Ŗ=r#pQ 2d尗hi;_^D .ǒ4ظ4yҏԥ_ WƼ%^>b1uTU!|mDk!KUl !.uU,&luX]BEksJb-cڭGEQ2Q^uOkJ C_vc%ig<'ʗއ&qkyS9m},ugNůi p`rε{>Iy꿫,|۱vo՚+dQ0cϏOD+SAT{Ҋ#.jÙFEiW[K…Xk.|"5ϧKaY#2֍/QLM*#5n>(3[J_R\fdP)cuYIH>ϯ kͷ`9v<*JA}Wx#x:|k?N~pWt@W }M]|_3KZ/s5Og;L;țO쨺cmW2ۭ=LbE5=y?ɷŦFjAې*WtR7l *"B{{ΊA2B^3Nsx~ğPJeFDnH!<ǩSvVƢh~O fV*[@5!>@ԸK9j 8ؼ/0whިMlOr;ofȌc&=rnrʎ~M=XXlJE(_T'r{IeSM &zacQ{jpr$em*/%q*%,3g ik=qE-<~ȂSW T͢<^0b 9bG<ݩv\i+tӮ> e@OEHt u'wATWfٚd[EX֣rlZi}BcHPa,nҊ|=hk) ,IѓToPrBKj2ZImn$=R.ZaՃRFTB` bU0PT:]I;Lxi^BKA{ V6sh*՛>@Jt]l^`ZDK_i'dR TK&i4!.&v_ZTKҘV])"u |xj@'"1/LSI ׻ĉF~<˂|e+ŏ¹,'նؙFߔMVYNQ941 =NtLs]xWэTz~[Lpo\|/Û_& #{tVm{;MAE_d_~dhjiDDG{OL?]`ĤNdi"`+c/sU,00Ê^ V {!d*X@yXvit1s{ ˄tP՗ njL%- _xUVaяAh=Et_ðFɂb#+~ԚoZvV[l(A-FE*z(W? w-F 6^rOwb-2PXihDZl54~By &ٙU8$5Fe}wi*qP㭗$P H &7ox7pӛM[y+bB@T Eq1" AiLF4ST-,;,-^x&kB< \r{ ?\\C+i>Gz~&( q&ؑHe(#Y-| eYp&DcRXnh{WRIA#/ۭo.rc"tMx7I8#8}VOMI:[4Zaj 1s# 9%D$SiPJCF!Ӭ,yRA26yǮDvdʁX(`h!ۯK*߰LIv^9ixoiS0t:֌݌Ɵ Z{Cg6-o;%AS K=Oٷ T)׌4#mio_Au &Y0n`$)>M`RRK㪛r{YH,)A*0P䶟&ɳvc7@|.ɜ|`Bmv]'%⺦$ɶc'ځfplhMYp:8,谶 |_z B }Ye*V`2⥀$z*<SJARKlre3n_~_PI(Nj@{$bI/f%xcX%b39)HjHQ*`^I"iGI&Oۅ &S}Oy%UIDY]f!lK#!b^J`K3 k¥)!aR\5/D)y{V%3 n%X̋~"Q`1{}H;xL쑊 x##1 |jz,.Q,ʡY$Mߤ&Ml@ca-~!E[(eWwwY4AivmBqù]H;dtn<6Me8gjN+tuf Y4pF65aH ;rH)LzT(oL*JSۋDK t2vbV$8-﹖KɑQ0kKS anc>bz78˷aYӨWX@?q6v$GV 4ZIZ$Ba&MR| ΉNFsȭ%̥nC*%?ĺs&کw$#ǚ[&Յ;wRtzҟ{(tTZ yc hkEi{ ʸ2a]o.ޏsPkӛljW-]Il uX(ب() WYm -֫14|םHҽ>\"<><@L;i4^ "7]7­\H?n2DT · }ƛ *|ֆE;U p]BlֱL@%ae4Sb`_.Mwb8z1])d g0M*+'Og(u4{RYr5U |h]%rjnzRARsˠW{cOѯL֫Ga-U1_ٽl;XTB֜x5`麈:c+rq4V?8jU1Oz_E9?lx`zn7] .Iq$7.{ً]ĮM(8:@ hƒ<<)4t_<XTNQ3!}aDN/ FI;^j\>hSЂzG)<`mI439[㧱\qqv@-f)D8F*b4a^aOى:rӺr=r6n]/UA^7EAڝnԖ.ߏs ⥲rPr[x gSlU\S \N\ GT:hkh4 ?G6Jnl%D prDztmqT#=(x֏Gjc)ZCU&#I߶c[0Vav=5E[<2O)`C-#CfO-S7!7/Bqej|~I hUJC\v,6% ~8 AβHel8\@[T4{d>IevB+qկqtLQ|i\w^kݲȜ7+B9]@,9a*U Tjn1Ky="Q.WuO%襙wØN77N cM>RZ2*tq '/l{[  20݄CKg`(k%Xa@'ԹW}Gdt7f`Mq3exA%+,cQ ,_`)ҟ{8_F/R5e:yCճթhC^cʺ8T|%U}էѪKGOJ V;'*ӫ[.k)VXģknx/̣;_u"24eq1R먓eYW\J7bsj̔ϦfRWCiG}nÉ]2QВӒXKМ x1Nvs4' m,gČ& fMyvӀU)|FǀS%R/?c x*5Я}>HWVvu!RiPC7$,ы5wG*6P%u$NIEX`i4IF<{,'1o]"j8$x3&8kkxck"㊔P}( qdrէREf[ > w# RJ=& #FKGJ}В'5gfHi|?m4YfU!-r%dz-ϛ%gѐXp\jEM>5,6Ro I.h Bg1>@P3 ߖAU}p ~(w}$.Z-C-٭2չ/r1-KR=hwGzsw4՚.?ܫ4@hXӊKǿͬ^*}H,VB-˲OiFy HD#8?F>,WRՖg̽dz e9ߨG39,k 1hq^,'XKaS@E*NqpU$)4foFqwjmZo܋ծ({ejxʂMM8A6V@$j$Hsa[ V@xB* SfyKmCODMCyb~&Oa)]p Drr]I塖4 ҩ6QBN]jSt4iV{A!cr3iN v7^CNJ͑w7um^?%Z% ť1w9 / )Hnp^~OYiP[ctבԹ#3rn )mWʼnNk˞`;m2:Xn*oQ]Ydkf gڐkDsKe/{2  emE-s*v҇)D Ӏt]UiJrWwi2#jtFdsdSbİ% `[0L頥֮sѓQ݇HFT-M+ԩE,`K;u(s;%QlՆܿnR86뵌y` z\jyl ?:bZ >ӆ)-: KNA~N4Q-̢]BӞWx>6tQ~So#n7*_ -ڋ&}X64@%7u9@NlOIQ0e½@r qbtɜ$ M{.RIrr4NF|oS6QoeGF, jOEi{} t: NH.ӞF?T\OC7İ{%q`b8MS1A60G]Wߦ5#.vԈi`l8rYy+g6f,fgli)Ǻ}?8/\qO7V%0n:4S jO:95T X[y ̸ƠV+ؤy9>=# ;i  EQ,By0 'k?%&/"OX(1Ѻ.#2v b1c,TXlUa8ubE}gej>G:%FcB-G!1PhL6RWMtdXώr9›[B"#aJ$TԮ_0ؑUIH#2!ɀ;1wXߑPZIϚE$I= ?†) :y0לWoaU&꓇+REcu3,v* ,qo"baLw>NYM jCU/B"dVʘF?+ߊhuHA iJ.~.zڟ Qچ&7\pD;6xT+b]W:/@%u)s[p[:8'.e67@5OZX- t=+ɛ: 1.|0+ֈ&r#ݟWy}=&IڭnMP"p.4F !Lh4}u[]ߥp/F`KU2*R@*+-Ǖ}_EpO楹bey{0O@ bhKŞ&e n$;| V t'[q@j?0&Dj0y c$I2- 0\@}Bp/^˦lyԘ( T(%ϊfRQ5}:9 R]r$bw"X;sje# Ԧ YE`IkdVp3um׊CY|`AL<oKopp{ꬃ lsVQ %+†{`UK[+ l aaa|2yY juJ ZY(\xT̲,:XoH}4%E$CƦۥ`HP,҇@C*u0>h1Qd#KY׳JvPb0$n (CK#.Ni]ML LWA,TcحHP, %y%cW>{i+g1e4"[f^Clq~8/ang(Xݭߤ ^ryA}+PGЦ̵l﫹@U,Ϸ7k yb?:/j Cx7E۟yTF tW9I Է ɂs @5` ./DV7m›|!gLjU(:VekbC2HF,vc%`b9fnq撇#(eP0Iq/I,KzM;[cl{j" {Tt}~կpF X1`:xcOݩ8<|*_1c"#UhYI>\h '{VC9M_@=9e=qή4BUOeNƍr4,-BGny源SmH*6r&"2edE'o x#D8͔BMrgi~ջ7*\u)mzژƆwgD1ϑtLQy%JIAt&:tqOwsQզ7tƲl;mt E2\[Q4}Q u"3/WG^]&u)GGK֢BSns%5iZ%1\ p9zR}]t5x'vЖ4P 3y; $=ej?2"Ͽqta1RaL-zKlܓypuaJ`zcFs?CŒRɢ;hȆ2;$DKD@Ҍݜz0ă@.tESZeSUtv;f eF[]+TJ!YKpV+3s8rBVA[.ݏHd~\ϲB5<8-/>8CΚrd})ttK,o>&|1V5w 7(:GYv (^m۠1B``X҇7-vou=XzOQOBf%ڑĤ͚KqZ4hc ӼYmQ 5_ῶƴn_L$0/=(?Y {5iM@'2Vג $ұg D V@票M x }IgHuH.c#VX\3D2mڪյqX)9[Gtzdc[㋺!Jarfo:~V18W"{R*,ms -'Aپ&bU~&= ,"ks+?d, 85B|Kw}".guejX ƟFF#ttSNqD 3{thy,@2fP0^v5%lćEYB01t}(G ta +x3o !#$Yۊ73{H]#T pr͹0"(m i= ]9Hxmp;i]YpBzBMU43a/r\B@5*LAȮyMC6T3085B -:^F4pzr)R)zO`* JLkk ]pJ{V'm!<:ހf'=AeSW%c*84ik.T4Kƻ0)x; {?#PMXCeKc8_ N-S!L~,ٝgp!>}5]WS*R+YEHc>Lv엦&%FiϽŶXV^6T)YN r"/.E7/li0JaYi/.2j^u1WUqIL!DgECs?KgqgLwX=$FʺL˰rHnnGKռ_+bb}C#8di?+Ck$1Ûpᗿ;_4BA郝X#?#" l|ZgxZ~ddPftOP*`3WOULIW6cWqm+C.TJs*E/y=T.ˆ K _K?Ry?ڴxZt|* Js=aKHSOk`K%j0%vJF{hDXаuu'yᐉ9\&t* ]\c̺3 ۡ&BeS| E f>^OV:Ur@ꀡFo].f4%7|ΓKd=nH/.Vv{ۊQ[GRꊴ{t뾙ZzW-ns͌W*KU[>\$CL)M4b>}YM_cO%eOϒ}!A9 큐N`)_&9˙4%o} ek6z+UL P[ݷǑ pIX9Y0:`APK4IeMDKΆi)bEz?>S ,4;e\gR*ЛPϽ-|u6G_]C8#YZ1g x" h=n,(Y PMMb|DڵV,Ѽd?ƝV_TV=)թoW@.X~9ʨJ;bL}@jY8N**'z^w f!f%vӄ/!D2E0hoDL?9Ά\.aޞyGr! mK3\T%)ޒe|ؽbRDDN{KE{i#r!;cIT Fh7}˩FmO7 D;*mx6-ux-Mi׍"dj.]EJ j28rxK|P?w~أ>5eCM?:jQ~*5j眃 3baQoP'/vNOlЁPN 5UR/ܟ{^LD=A!Eh*;5jiTTyv2+D;%>˧y]\l=(SY'z+-geI笽~Kv`(៙nnc#\4 wŜ"8}' ϓ2C+U/>̚ 4䑌`J6 NtPGԘ'%R\k*a?Bzy^snî1ٙ"$ivnNp"*q7Xs1i &#(rIkX5ZԅFnK%(<8*t-H!( ˥oEaŇ,KNPZWz%r L~(WPyTRruuiU/H _ϨdAuqRHipOt HNjh5#7%u5@Bz$t訕K4f3.}#nH џc pOqˡ$40%XAHtI\GU{ȅ,$V762j1|=:ܗ@!6in}*{_x\:j )H7q'WΩ BYٯe>Vxi0uy.C.J(qNE ~JfM#_ՕIȵm|Nn:ȡ–4©4 {& 8n.矮Ke R[0ƗйC42F>AyO.M|cC~M//NB~ie%6ˍZ&Oؿ[F4ɿU;ȡHS[h'pZ\cKUH!jm#d.4fN?,wIQCnZ?_Rfa׷<S-IERI 4ǐm#J_ܒD2Ω7rhmIΡoٸ2]1\A+Xx$VA\74M%61Tݧ ^u4JIe`,߃gfzH'ּ;;7Z @0jzFco>&IxX*%*KKY"U@]K[ܸ;\/8 O@"22w9&}s ѫ|"b| jkG޾sD."ft/oDyII5ZE,yq(s9K2;@"ԛS#]>| E.:rwq}{vqFL*;uϨY2OZZ~o mu`ΞGea`qDflHy4mAsw)ݷD X`(26zFZuuE3!RL*;^{usЭْy5AhL;c4)&,F'ەLVΖtAolЋ`5}noJL ")#e{YXX~,H_JRw 8\L3P҃jNHhOIqw=@wm1X8*cd_بRR>) krɻ`~8&nQϧu_ڋ/$Cw &!G1]`nXn*6+jAc6JK4/}MioMt(w 4~5Sw $8»% {Ie "Qx,M񗄜od#=x69zB 5/H_ǡkiQyV .\XmW$(쳐8`y|)Y;( 2DHq>6./ȽcMF?pbdgO\ d=F\P}'LV-P}Q陚"|`\wvw&ӗ~!1ÏdB eݯO]ڿ8|X]u:W3c ->KN[qa>=U7֛i1 $%?\z!Vf!_x7gԩgغQ8md  i!eld }?o`׏Z ^T};lXLJz4*/#]|[ T C$i#n7;+V8ߘ5>/g.M9,5vOZKiSv!lꗠ E[BV0-̥ ށc.4l/ߚr.5K=B7eނ)xQ[Z\=3|XPSdlV!C؄a^Z|T!ijOstY++?ġ#ㄏ/^Tj9hܟGk~#%ϡ-ҍJ~uy |*ղ46!.ӗESM@OHlOO gvE }x %a 짰U TD|+FԨ&ثӶpqk%0:]);lhAƨ(,r[qemXqv2)ݯ:Co[9XӚۜxfUYʼnbi`fNftAg6U87d7yZo"eXV IHkA[*U>3[^x.}g6U8ڒB}A$يo"亂zʘ;+p敂Eu ssj/chˀIoHC%guӨ.ojW6S^ZN/LA=ՔZW؛ӅphlN~GUGݻ*=z>5YCypDܑYd%={ۊ @8q=>84fpB& )̚Gdv> B6$O??Hu8*,btIJ(p(c :ޭmYAn;8c>#,ΰEϖUm[ȱsDpQ2mq4 >I^h-&]5(ąeŐFnhf ULz_|Dpg 6UPϑ*R\IW9L^#q)״}o{WFXÚ%BM%\ p|qh!&6JkwE^p!:~yN]l-)ҙ6o0@w!/=c#1_ ́֝776{{X&3C3Y1Y`|2$O$.ji\9)M@77 ]o%ZeRG<wۧR@]r݇jHSA'Nyݾc R4)óbT@Og(`YK!p V-2h{@QM R"iϨaXp "8 aM1m4S#e8WuKR)%u'6BGJo y#o vP|)A"e >U#ٌ͝M9I` ^brk3_͌o ԣCgЃ *{\6Ios$ڊxsy vw ~KCOsL",W9ϪoD!{X* Qn,D*~*ݞ 6_c[Zj>1`gpٮ>FbcbQY'2(<_,[~帑BpW nO>(# ySOK:`aa&賰5'>ؔU L]~q}mJkZ=p@d*5eM-ĸ0COE @E&`=T] WmF~ʿ-}n_zW! S WT:n96m~ݟ%[=r=ͮ0gNȜb;b"rsL$,\y Z63943m1\Gj oawp3 F#uQ|,.&ea4"`p4/B2ٰ~I+ifUWMuPmyQ*%NtbE]\U&أ$9 46bW< dsLFMZ0ihp3W{-]tد1@LrlmAU7.% ԉQ^glK;w8pjGvi7yʄN'?{5oWS:dh~ ,2Yy+q7?HfwìNʪ.q*uzeCCCXht\!Q~_aUh7 ,$OV5U˞+6H5C:ؾl#r.@"oy5APURןp'cY,fIh+f(FaNK\ϲkC HG24 d+TWm XGF]"B,J]p8,z|UE)H"Օgݫ8/3 R;9$1:)c5Ufxꆧ<6|P[Cwb.9r8>blx?"j دϓUAHk8Y*F E{KhN*@ٻ3ȸo}JsGEK*pƚ=>ǃ0:3E*H$$?إs/%:'-cz0"(0Va:I$Ó.mps4E{{~{r6l|0ڠ9QON'e!&oʮ|Tn9y_M=$YR~8ܮ-VP.G7gYZ0bf09f5529bcc1bff59e74a4ccac0b702a6492c13e7cae349853bb3f654071d127673716b1e97131 e76faa548233303457fe1f8acd3f956c35127c42