SQLite format 3@  .0:  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 34D ]% Stochastic_Matrices:threads=4elapsed=293.138cpu=790.692gc=31.836factor=2.707zXZִF! pb T]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMRb,Źm;KFs\!պ&NOg}+ؕ;щV :(! |*H,qM`߬pMJ>-N:ʋ33T$XBV1`;\o.G[I$QeOʹ#Lab s{ 7<8S?EQ]|:-@٫(Ѵ}foL2, Ppnz-'NJ%CXpC4'"=(wMx% VPL 3 Stochastic_Matrices  `n`-j\7 [@eK?,PƑ9*{h"-n߸\Ƶ::ٴU?1Rc hf@QR#$KƅVkg"VKJwM4xHllXy}jS|AB5^-M3ЙC\:j>`㗔.UF[f*gҶIb6fPK[[U+{>3& rd;Ux*]Pʄu ֿa\F́o84`Di"S R/7AM .>9Udn&UWD,T:R'嶢ҠW){*˄aS@iBGzPsY{CN"LQ$G1[g4ҫ'څ8zvi{SUB@雊',qы";0qوwplݠ/>NTrl &s X_c0֠4%Ż~<(y<=Hixusb!@|?EYmѲH |~wөbm$^R*3W {d rH~]#Kp#2bO!̝"D!@liR]Z\ ~aT_5,M:dQ(m<&r AK_g_a>N~oG I+6(;>R}Kbg/W5O2b$wF7bËh^ծh ,eچ@"PJv?d=L7 Sg-׋q+ hoTcM.8.ܚ#}ĸ\L5* 캅ul eWւcs#3_Q:a.V^"am$$,'ۄ=ZRǓ24SMR\Z24T %\&f*JQ|X /Gf$8v}{UӓrAk{rL5ї&$> DX6ԧb\wzw2[*X0ѰQB8> P]pMu~i/&V,uX5wꡟ !`#2~a+B.qTS'060"p TjVyGH׮R_kO dʈ?f&@yt]?,yۅ \L4NOM[Y H f>oI#<p'J랼K+9u@ c][#w5#&RgM謚Cu: &s8S+nY~N >iz`* b2&G hT4$y'mi l]dwm؎&/ñt|.v"`r,!+D)QenWW`/'F&ް f $ICn-+G%#rM:ʐugr<ߚۍ0!ڗ:kl&4sv[-NХ;&ى8Dp/L(DɘScaCvV[' ̊QO+Hx^|&*n@FF;' ߩ)&[uGt1kZ\ߎ"ϠN-=Gܲs^(d'jmh>:,c~qQ&dO]m#??-' ;aWlopٶ}oiG%BQuPA!XVj"T+ycNBI3չO  {-JIjw*:Ʊu[J\Nr)wF;; +x1)YfR׾ٱpstM2A"H|?zF*YAQןcK*I|:OcL~R\ԄqP/8RZv#05 aN"Jw?C2*;lŎ/o* b?͒{FJFem>iGE5;F_\zF(cf9) 1UPT/`` 'yR's7cWmmKН ܾ”ȺQO5܀Vü36|=}7B83ZSufz@*㜻aT ٍF*I7kf+BNr b MU(6]W``pHDW쮭6e9, GU~!,5`ʴ+m{Kzq|B($`Pj2eQL֡=o[;5/@] mwTˠ RTP= C:> u.Ig:\s<(H%˱$gâM4ipuAZq<}e/G.Hs x%b#5OV 7# *8v`I;RIk; 2 x8zĕR* B,UwEZ0ԏ(&KY4pvPI:rFInwiIL,L#~%bLEKWYGʭ` gΆG) 6 @3s+T4p@;m @ٖ=| j^ϿvAO&љu~,@L?[zu#˝V?IUýcȐ[|ǘwv,oPt{{Ϭ#x-jYI};ch.F˱YW$ i+10#x.^T.[02?b Xh&B=V* vcl3-3bĒ+-(ZzAs:$്"+;#^C# I ~?:&@2V漤łZch VSΘ LaҀp?Zt3*%jLƑȱ If;s@Hnܪ|B2C ]fxe1sOnJnz`5s`"l OurԷvjB MjܔP,D8mZHE޸]&ޮ=!6Wo75gYߜ]Rb*f%Q<W 5 <[5oP_<]|Kh7Zi/|`(՚}~m fcHK< $L mJR6+SI,$}*fIWc|O!(*#/ })trnbXʁq4+1RjLKK$XhuVw2."d)r $\znax~+ ψc] BϨ<{:Yͣfpc@ܣn.C9Hlmob6vy@=%A >5E8VAo%Z0m4& faXNv~y?A k=&KDEK|N:ҏaDwʗ56DD!9-m}]BOt{`]2uEzO's(.wb/mq+ lQNnh7'k8ph]4GP":C{|`/q?3_j]NmuoXe;i[ՃlBB>8\$Ce|!]?Q= B|e'ϟVd MlТQ4+P_ae$s|F{Cdm NqT j0ߓ/Z&eeGꓨB5Pb YϘTWMն Sxhn+<@|}[[P@)c(<0Ehjc/v]ɛ xk. lib)',j]PkJ&v8!sd_%f5QB/լis"k7.#]X;|Aצ.[nOWnr=7p.ȋKHMџ(K,xs?[-MT=/W)*ڟ!&4&v^,l >ă$.tDžz"{~9oa/T<uAxP?gh&yIpv_}7w]<r+MI6 Pv=!OC"zT$,4iq9W/j^E҄U"9۝CS NbjKe\7 4A#(-ŐPJ b"ҏtY Z/*wt [Ss0&,A9;)g>aԀ%A4aHvh%˿e+_l,/ɩa[qoj;cMfDPU|]֠Ԥee/*b) pBYO4"DoXx9OfZ X@Ld!ϨL = X4AP0ufݔ )x,8짥m抳_ܫh \2Q>Ogb*Xq Y]ox 5ysruLuysPoü *ipIy2ZߛfU àr a}Ѵ70~8(! Awuh~aF//=B=M7 g*G9'-nҧ:wP% ?}(hE-/06ᲗՀbNf"WtzOgX'IR7yЕGAL ;zE}ETF 3gy9~VU̽ ;d C^SA{bWqLϿ“0Ӳ$[dɺ#nݤDp As5YF;4TT'c P%>4ԗz["þD~ ] Lgg8lFgeeOZ&2}ΎҼ]~'jnؔgO[&μINFǠNx0VOrf|$49 j΄+ti1omw[.sBO;#/62hBj hVi{#^|y/y lc5[F?Ntm[,lx1ƐWrEs&QSPxFϛ$xgo f.4%UψLGЭ2s֏OQh^Iɡetk|qea:s*EN1AaKԓJ b+Q1mN6{݁E@N9&.Y?yz回i}}CM'W/NH]#a 84 {KѩИ fLƋ{0C|off8ob#Iuӂș5x3%V%/m:w{٩=SC& ytؔPaJVHfƼ@nEFJ[/^.wJS"Ddww D#a)LLx3>@(7(4ΌҷscLCVT_SHx)F#Gc^DAfڠn`oN͉cVojFڤ ]-xŬ3Y9nô:'ܚܰ?pbFץ, <٬c $SSAWZ\rN<0-Wqh>Q#"w/jkʃ#vD$072 GQZ;8Oupf8Y9A#f+΅?dwbMԚj/P/-?A'frSEyXb\ڱ `'sQU9 (cpm[`O7Ո\iZ"51J|<[5t$J=Z>uV"ɛpMɗCM&F/Bx%tHn<׏Hg1A@{]ioYm24Lbd=> =г[iuBp*KoO۪y#e#&BTsq :z)r֚,8g|./p#n1<[h S/(B1ŷU)Y#tMja2sVn{%=\-POCFjF;% HY[ߤvUƟ?%qh%Xl/"|BC[ {l`KE:A1t嬁 tq18ss/?:;aШ # S:jh b.I+ r+FYBKtEL"3Hmyi8boWhsokfd7Q? NZ-hL|CO[C[d9JshVH$c}N@ΕQWN=n;afS!$ AgA 8 -7Q(ʠaQn2.@{KNQ 2|ț6p^i[#ŅYVUvE$ZP blگ3 jZh jv%b#o }hR4dp-톻՝JĆ8jz 5+VjB[>8. -G٪4,u|J)J{`a_sfR1}pM^JLl<{#_ir/Ot>qp@_kgYZ7zXZִF! G]ŗXiɟ1˦r!q=4!pƹ $7$>,paڇz+|Ùݩ~xŃo0bƱW'fD,xo Ҏ?܁@b`isW`AQoUEEY~9Kӱ&؛?dv#W o ߮$YN!PXMjsj|G6d0B&=I]·L""n*fti KM=N5UQ:?_E/w쉃uۿVX OPŇGU tpa -~]36 hoPڜ1o)j+?] I{@ԭ3!YYK-O `m J jh󾎠گTNT㌯ ^z-4N)5??=eOԏ*@qԡ$VE!s=ÎSA>[X|RsUbPi$_ةKq,nd,z0Iqg  a"W ڲRw7ӍDY)h{I a?E#Xr~xIgtjv TI :\7Z5- -fy+#=K6P68ReIVHb8"K҈]A޼TK Ņun@; cѠo%>O|g2w {)5ԓDu9 ˒AcXX /%a]ă@0Ը1`|*mP\nZJI6d8jc!xNvC,4(<ryfUy)52S.!VGK2 % ,b;>yLҋ]"]pg +(K'[®󬅲6T6蕥R;}*ɭlw@>Կʍi}Wą{Zo_0%A[sۖRM{߸/zta ci7)2lv!|gs\4oNY^ҏ>} `=KSBcO-{\ԡ x(*iZq" Vj˿p!ˊݩhd+<@-x#͌f9Bw~B9궖Ž< L IѕhTAh+|rxw:wƇjD﵀erQf6|rIXәVf#|6˩zjtM\JE *WFrY"30bXeFjyDD夂x ̢_6}%M]i< =9W+jcz1m { Ų+SŠ<)=4),QvB} Oܘ}B@~N$&Qݘ`"ZRP 0oJgh]A> fzx.x/u>m+H&79U Q!&x5އx=:դP|2 5Ė%hI:#1X^ۂ-=ږl;C*Y\ܤ?o$ M*7{㋢ÄGfh3 jK8TgP~U<Ͻ:J(㥞k<ҁq.Rmb4]bP_mCmׇ\q^a|腋RI#~{ߗQ(=(Ԡ;Yi w^#,Iti Jp߶ 9?rLIDž8}"a 0tuwwk0vS?odt`= gf?UvR WV $ Q^w q3M(,bߥ"WnS&( oX"* >ߨI;+; Nt4/e~B ozic@ |'T1$۫C zcj3UUd'sܽJgm rL+D)\`B}^顢A3(kovn |WMB7N\ i-S&v|]7߻nɢhIwA*=U 5X  [z ޟe/ŲJWsRE RJǂa4PQ'؏dBv%`U$iG@r ;/QQo*Y'P֍%;Vpu ;n`VWanTH͒`° Rӗ(v@|0f~X; `: X(.)\O5[g/ \: ;pk7WɽGqT?P]dz Uz"D0oRkBG[fFVE¸V\өiyw tU[G35{/7=Hs͂WEىFIXѱϖ+XutE+ɶf℁]NJCHˌ<ϸUrU (FJMz"N" OA$. 1eNw) ?Vi_ڀf 4[:B1~_;, ]g-Nq)}|E`P+ݜ-;ByLkmUYl{X)A)p-7oжiT V7 >8쎂*d9;Xal}Cm_ԗxLF9=J*}sYGZ4v76Cn 2<֣3IiB P?u.;,+$QeE+, P)p`r> Hd ҇xx8heJA@JfoxKi8@XT~09֫`_D(-֚G"  ]E, !?ڈnG>)bq#M~/F1[)  cu|֌8(2Kh: afkƧ<S{FTd K}"GMIWdn3C*q[SQijd9Z4bb] qE6`;z ⒰,JS0*ߏfx[,-Qԓ^X#:lqyUx'S}5B%r|HEl:%肗f~aؐ4݌\Ab$+^n \#r0 "#z.6޲uV5OsmY=r^t+H޶xUS^}*hJq YM'$B۰ : 'EOk 2"_O[:Q|QNvtEHڶ01ԉ ٨1 ue{hKAsqGd$w,:$?j 9S-ֵ͓u;鉅Eŏ4 PMb9A_(w Lsyeys;Sp88wJ[/Qi R&ZVWKp^JK֛֧bQx3MK(~gg՛eط.i4.9e+MoBUˆ#DI}r?, 8ɚ|:?!F.HM&>ou*Ge!)@xww;Hv*D&}reBf<$Zy:Ϋg(+V>^Xa߹(*nWrl"KO Wr; ;Hlg*g(9 F:*jF#3L /Ms;h8> 0SUb>*ހ9ldꍑ^#tVσ߱eS:e^SHm[%(Arp߷$m߬$Q [@j%3 Vs9`\N+Vize3h2!) ;/W_.pN뛁„PKVRwX:],ul -Dc@{?ruYXrG# STMR-DJ0h!Fjwl<:eNM) 66-H&"rA Z?KN;@C[Nn_;| ٭q?rGo,K ߉>HSIIy~M\ӹ]Z2N>p;˄`S;ṊWHNWf$F55oq}3y@#?*ds nRj3i }ӹHE-K_Tx2 C<(tΑ۠(rt RqbQe21as~An'i6EJon'DO['UZ|Z?Wl< s'؆|ըĸu:r]E!o/mLֆwIX*DIvZ5~}uimr"xy/"/t0'5{MybWwkNFqh]qWAwƙ-o &߂%`,.PP,:۱NN8I GÝ;4$6݌)V̈́Qe@'T5-_|vDx3*8ȡGSauNyjPwHa6:8{Dxp(K`٤aRiE?16Mg(?ΦBA-UXԀ+V_ }wvZDB.a[2l: _b0:dyk;ud`("SfC9ࢺ^ ]Gh Kf D$KVJЮx48ZnSʝzpXö@PJknYdX:g-)FAӽ֣ RΒǨx Ǽ.#7ny-/P@kedE?ǫߗoW]*¼n<ަ)/?}T[V2QRu hqqX ݎa4<:耐L_$x* s"5$S\oOWWA- /c {t^k+*|sLقc<`<LIkOѱ#V^$'41Fe8Մ2 5D n jJ]JvgZv)4.mכ I~MOy> P) ƱR Sif> Y;k4:+?΄"'dFWP7֘dv Z)V]y)RYtv]a6kCh3+⨆O" r>8h.g曞7!49M>d=svY(fs~>u6ΗBzܺ^?D os| gyJz,;۳UP&,E{F/Q(dO`Nu7FȊL#ԪZJƥb$t1Su/ K' 1ek{CD\B~)I k3*'6-p0 䨹;~t;# Be쏰 *$*/^zV\~RM.eЖ+hN%2o$g"aru Ih)F w+D'%;ﬖ [At@Ahp( h>`aLMFQ%w$;U Fi(}0p|0ldH .Uw֢HBFNڮN~_!>.p_4Y;lQЎܞOOGv[?0 dܝaaAZW㗾YЊ#DidLZDZCɴ#?SZ 5k=l\}Ňyܡ Gv9 Y *z(Piq})Oc'^u.m>iXhVKd1mvN˨r`f#=1! JU~|0;e`tXFӮͧ+ <6Z&!CD{v;<%V;ʬ9 (>l |Ыa_޿-c@X) jmA?ov!k/੍ޖ9+UhfL%l 2F70qV[p;}[rYW2?Y 57*M^`JۘsTH)UvmqNܫ0Fï**7\IG!>"Depipf46I^T|n?Oh\N3+9w<؛NZvxrd=M3SjuI!06ʳԢ+$q̩%ЛZہ"o0իY " AB[iQ2P%Ę$A\ثl<9>E+TgjӰuyR"&耭;\S4bjU_4ndC/ۘ_vi^<ӗ$x[:FE l六79 As"pM*~o-;{aߞfp/4|V)z5p'@0*~d;V>2v Q!,WsD# ThFCA⎿ΫE$Hۛ+Rik>Q^z|۴ܴ{e(7˻T7,~ D\Pզz$ջ^io6pvLòfl.X]eAheU~x~0D/)sa;鄸'(ciC炅%-5 y䲦+cI.MY%":" !](YsXs'y|8C#wv6}[ap9hg]As? BGs^[ TQx] SĞskkC$ō?Amzn>.y7yK㠛6`[Rqdܽi?;2SM S Q'O0I:'d{FAdg8ʝEgB58bv%N@Y/0=M*ލj6w5X1Xi |+ Aw2je-fiP1]3y]&!K(3Q޾M m&<#"v2ǀPX$ ]dP8Ei{tR{Ocʃ8 gD/ĶNK~y,oљE4{L/ےQK'xP}m[֌7H6ۊ{L'3l79AEx|^ vɭGu\tRhr߹9m\TJKȘtCދ Y-}Dop7TDZR%EsTV%=8%ĘlєC>?<* vpItIٟ4lY>DŽaF#[6K>@CAhx.|a&b|(7EWJA }wό:$CLsۦ2o3QEvn!҅&!: XhY6?di ɮh]Y#k9wFP "#w0J3Tn~KP)YW'g]<2uYNLDʏ6ߎZsN0`3߲Cpll&^X#EZ45։fT3yA@㲼T0ȟH*㊯ Mw|0yl229]~YzG ]y՞E!xCQvDv'P֣UspS* IqHU\~N S 5>S蒢u;l`dVXH>)^FPCL2ܺmaJEMqW =[1ci$9aˉctT-3> GӺUpҴݕjd578RX4KFhECo 7StLPh`OlQo^3K9-YZ5uTҦ+,Hr7%]%6{W,*.7-ǸbOT b&Eeq~@(_&)o@ @srfb:q#\Z"jkk)*)%A:gc࿡|D<ˆ'q(7x]'=M.ó%@yDc<# o lB&CIX=Kp%ݽmo"R-Igg7O D3NBZ"ZBtϐV=T?-o0nAjUxxbz8+2H 50sCQ؅(TFq I7TXGWgdU H|X򼧾 REObgʨ-^T>&xMH'֩xW C2i.2⡎zaRT8 O(?%yv!h ^`/iK~!CV?-Rj`|4czV\yP9anR`w€Ny$!)>t <]C|}ڈVSnW˿h=8|z.i/Vy/sFo@-]rLOQt\RX _w!%At{7GVpz[|ؐ*^hoc%&*̥,SJN!n!j$:6}M{y!@aKOX1X^xͺ"^kiH".&@r`-)-%jkA+}(Qz. TgD/z*Auh |LM^s5#}~';ܙ6X.13 7sHu%lڢvv5DYlDB4F\ Wy d^Cn}vq,f'IVA&3LWm?%gH."(y4_xR5LEUN AU(9,l2*ZEryo bDpxFԙHx-z1^JJg? 2`ֱbCMvLyhm7as = i'p \]"VnP$/[^6f@c>;BT/%aU 壣KOr8iʱsYmJeevpAc~x `&X0=dԱR!{Y:?Sz-`~+߁-tMii[5aM$vdG{B+|%$[u7?Z(GReɔLWFPY| 25 Cz#)]8fR؛Q%~y}-lEM srA'Ag}]"F`@%Mlˈ-ř] -q3!G\,1\yx5IuP[۲4KetzM:{P{y bT ME=J49ŷjr=**Ƶ`!̭O+ -^F3Cm`W) _A0gpֻ:ar *YF$;NjQu«!:WI۵!;yͨi~-|Vi9qQ wIIOè U0֌On<+H oO0BnXC}M}B+C6QMA~E* >!ֈҹ74Gm5\<\ydT}Ъnbk9ՕQڙ+g/5ȲţEK}G+/˧O (lMԶlB6tAl}h?~ XMZIǯ"ffmVh?[ϳ6L%JmE Evf3n+X1_6%<%'-:"DÁ{ƨ(gIfUy2-JnH'pB+kk=`P})"6<;9}ANt>VfahtYEw<|{Ue)xh{O[v*іBK[żW8zs"8ZX}SϖvwSWEV~^fUy:ZB%Y1XU?tp֮/{rp\݄Ùdmߏ./F D\s#ZSĤ_>7AwgUձ l0585˜ul c ,\$GK ]@:u,"xRvATFa*)RXGұk4kU!C8Z4SB!p"A`Qo ߟх}?ܷr=EZ .Q|{1J &2༝.!v--̜C|$O||m[Wvl{4zD/puW]/$]i4GC0f4x?Dz%HDJ=a4h+3KE eK{oE&f4:s7iBOax\o2bX;8 i )0G}G^k,@/Js:B" WzŅ5$BU?dcl @J1|#J.+~FuZ~av`%0Rn٨vHW=5s 6 g /t)ޞI؂bgg>~<cl~k٘ 5c,-Y: ^(Jk8 !7q7/8Tl!R,upGlԪ;bmqX{=Uj^>l[|4gE_X~4zUatV&02q+ksN,l( lsC{Fo(JJNke٧RDggQix(˳q{ܯVdHp- 4'ۇx4Ȝ25F=I̝앚9}e|z*lFV-[ hMĊ צPi03CǭL?BI^wgHDO%iuD]σ. -C.7L&Y+s䚼~%*7MO !nGYH,c>qLߣq["g#ASi]:O˖6y Z#G& ;#(V fq85quBQУsC;6Gȗ'|xm\ F=dᖶ͆LA%דB.xgM" uYg*zH_УfE5?<)|vh̼;VPC1ALF&3{OUIWK$tRKy:g0W.Xû&Q ;-St Wb93nms|_ucCV5 6ikmU)== ci{ q}؎+Pcqoc_x$d0ц.=]?e]C.*ӃP]!v뎢$_XUN4mI>;lКSe`wD cWH Fhs>^y$aԐJK@ o"m z Ï mB p5Y!3HEiv~+{-u_`6E0 UӺJe5#݌AV'|º0j^I E!-[ڥ7B T˸}?w7p]:[ ˚y)Z0taKW/ so* [22*'Mm4Qb᥈8f|yEI>6'6x/Yng ' .@vΩfB] 1"ߔ= Rk[ 2lddX]wy\Tχ 9fiNCya9:K۝yNW 7 4[NM2Rk,ɚ\b2Q~}>S˗BG! iu +L014 g;,EFTpG ? 68a'1jڴ/TE`VߊWAHbcs"AՎt7?3/N,&E׬,E'ǣHWW.bik0={:h$qٸp]|@K[3$c%Npc.v H{u cr`r9/cBh$*4a&%bP\˧-4do-&J]dfc;mG'*=Fku_y`3w5hI{Q3r"F9oepr:kbt(>VUgt VfgsLMYF&qv5 ͗sᄜRBz B-yrG€sG &@`&{Lzژ&賫k^r[ׁ *!2s~-=Dwm'#F01oL%}2zV ?i56Bx+6pΡ`RBҀgm갱R N;H4þZɵ|o”0ₚ6Đ9Y`t;lR 0JJצ۴BԻÖ|y"YN^O}ǯ? ɊBQf-Jx+vf{ };9j< RmA'Tl fsFNABh)% tj2qn$lVؖXz^}߄-u_IiPfC[ԥrطaǁҾ7q.w"f뇮|틑sxQ[&IOI6,H /Y0Pw*Bb#a [ݐe9%u$:=cuGwV+hр.%T*zH_,8XQAY٤5`ftXB.]x-31cG*;I]U q.%(lX^f*̮a3tPYZ`G碌raJ4Hr`CEِu$ro<{#bJ0G|ҹd L`O8I:u!.dC[۽Ѯg"ACCw.]ųԘ~{khPnFŅ`Y*ފ{q|b%vQde'.˾Dӏx[r7%91{pW0,HfCu؛diqDauxA"5hi63fH%)?=;^AV+]'d6%9Mg[ V+ }W+)0/F30{tՆH˕YErt?WU/ZV0A[B~>F0NJѼL>UP! 7U1DHWi03 w'˗g-?E.>AM#_nIxP|k'sW mqEyhptŢsr)8z9櫮YܛI7&,IFPl] '%9~#E?p^Ro<*J;fk%ɷ12=yPk/$󭕙s^̀o_'.9s_<3|Om X^Yk aM'[Kؕ1PcOݷq0J5u\7բC>ѹuȼL5 ! ,],X&+ ҾHك"ڐ 3u+Aα_(%0(eh *Q/4eI= $"&Had˘! Z}!xD˓"?,8z֣߃dwn)Z S AGӞP /;6n;FZttAW6X[Л̉iF2yԡp-2aaڇ\VD|v郩sow?/S_pj+}z+[:AE!O]R$VT>U*uלw.@hX_T4 $X3'M8=OTwR49ĭ:3{^=TK( v"N,M.odc`Pt+r0~]:{?_)(Rz4W@EGBcv.1qh 15(DyrpY/*d|8l0pLqQ;?AN`q->갱z]XѨ%_ӫ~&ua6$Dq4l!Z"y[u:6TLbvFj {CM~sC_ V}8"s)p+?&d!+PQ1xjar+Tde*w;AzȞ`zj%nYu7iX.ǿ nc@4mO ߥ@¯`C6 ;q[t!W qq@|ʇrK+QA7 Q3(n!%)`quքsM< ANVf_^tX8wVcu~?t\4> Wࡅ0BHy)5H#NlgG$*ZҀC` VVt~XDR=GNpѩq\hԛjc9_gS92UwGvϜ37 Ow=J<m@44QWamq׉txNKwsBӷ6- yO| b#$Ŧ\=wfxYͿH Utդ(`V?]]"-&(q7/xJ.Twu4O}  * WXh8bX@|rkl E9Ɋ}bMgVF\*ᨵ_^#M)6)lr"wN\.~]zn1*N%fn%}+ E?v& 5{zCϩX\(9.|^Y'qcwE!ZVѣq.a\{wjY9SDrw< NGP>6$mPu`_.>taԒsW4͖-JNb{zk0wzh7f' f\DP"u)`@)F4!VtA1ܠ ϰa* WUr5*BUp.\Z ceNѹt<gŪ!C[E6cyL4V afzCр)%ڂg6h?P}jՒuYcek @}]-zv?ˆoju‡3 $8)-zw=)~uȥøq6oH B:sm$oV۞ngnA?9)͡4,9M%c)"u^5p؄[PK;Hv㵎˲wnJ̷* 5-hw&]E,Btk Fpsֱ|c]e:ۡOO_\L~p ^߿h2H\nч1p3`v1u'Fy2 Q sH9{]] \kXPвUeg,XL:FS;_bƉ| _ǜPh*vR_!a~0ds(imSB\耿1EKr!U>(3h!7>w$1H'Ag[իRG7VNlI(UU3[&Q8ɩrR9j` Y Y43UeD5W+=z+=W8*ȌGXkR~*W) t+="'VP BQ>vEA6\i\\6),y3ruNʐn 8+E_-fFu#Gyz(E[P ٬|M8Oȼ#G=K7BG`ꝡ7RMl6X+Z_|jǔP8/JscHx]PD1E_z +MxhM[C ;@uey廉$Җ{ ]u |<9ʲSG1w ߹r A3.tt0Jo`' ˙ta_}c#7[>: * 0eʘ;ܨٚ6e.O2HKF9&UJ#cnhT呦vpf.q'mUC#SlgYZ3579b66f73fe7ec458a71a4c857a68b358361e6c1795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 7b2e61ff0c86e069f55e46d35334d76ef1e809ac f1810695f558cb51134bf4d86a21357b397120ce 87d73fed729e0381ebeb239b38945e2c8d7e8840