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  .  ]]Category3:threads=4elapsed=353.418cpu=1073.496gc=44.716factor=3.047zXZִF! o!]ŗXf[&wΞҌyP9Zm濻3 g@"yU5lE=qv7r=zdD;kux~R)n1['-ׇ.e9CT0%C Ītz2E7&t=E*屚%J ~rGSZOdvQbA -tEIN\^ң3qÕeR~NFgvXovf_;uGbq(xmXsfp+KK L]˙˶P72bQUn:CHb "5ZYG#Y'm?+l2PdIX.oR VKۛ2B c1@6Z%GG_T!\ءE$CA˪NKk1 -m7\H?FL]U!UG!aOnwj\ܾg0«ɢ*U2XՋm`#f+J_uYalNيhs\/ `j#眚Y?Zڱ`CoH!-ZyeghA^GUFD: T(ԃ~{jz2:5ǶļH}ZZƝ)/Z4!Ǫ  0޼<߳Fp[S&97̀PG\3kFT   Category3  Ɠò4  { , c vIN4"AɞgwCzbA}6̴Zͥ6A'bܩ}үN9Y U7u,s k7ЗRrի}֦ϳ Gn z SQc Ka>mFR̀EQo K{G郍>xIZ<, ooA8iAObΓl"J$@W˳ $==`۾syoH| uRhww*?E tsWAcz"ȃ끖S õ@G-[("bw0fMčlָet! IAdsԑkc[p"W Mk7U%NѰiaв-:P8!"N6p )\y@fo'~;͓%&~%az$B Ew@9J1jf@v첅n[P@*[2j>ʩ%4 {aDPyE#E7^  i 3HRl~O]M6<|ƍ@]G1t#F_dТWH*wЮX0 G: ȭ>rh0qxQ}VfT/ń bx 5TP_.t7Q`TJJ7(6@cW$[)b}LF 2_{I$LL*DqOt;9 DvF,\V{ de?]vY8:)Sdk? ;"9Ys8g}fe14`|zO[U8>4{tU5YI4=*f&G3f"L vX&Wz} am[=c>_UpsɈ\3 t᷏"v~(+(`!PGe)=)A"Y|B_d^Hо{WHWu}I_F'F#2jSsGdAÐTu :UQV\Mݜ!FUԐ~VZvO )u4㞵VKSLzYPs\Qmjp6i xVH<|Cț\ޑpdΧ\9y5 ?yXaW-*$-) O^WpJ296%(_<} m7 ۃ !C)L:RzķJ)B8jπ"{M)¹a@Ǧi;Gn^[i/^B6zl09 tzG&HjiF΄olrP5FT.aPVZr%4>PrDՃ!.[: B6 =!` a\"Y273Fn7]\w@)b {a:*9 T=Xg 8\c%v!O7A9Put.b̺<(Z `̑~7D-nN?[/S+Պ.a"W'' td)zal @w@C-9r@%0o_+!L}Xvǯ2-y6 ް7cs$Mˣ`6hRN#n/x}DKֲ؉u?:090G|ՒL`b܃h-ǽD%7Z`{*73ߌsdᥣ:;q;^OUNT~wS+:^> zǠDԢ^|Nc-Ӻ-{zNsyu|rf}Mq>BZ ҋB6f-_=3q0hUT?|D))t %Tٌ@P)3SGwq*&ȸ9(YN7#I֜[@yՖZrEм#7OMUP(,߿4w|\u|q'T)%oYcT0vU8e,Oų.^I*'G!uӦ\? Qgdf5䪪h7.$ħ)qJcNե߻ G]B$yb[,A}lX`YEs{1L!łɝbК)8cO5J'- |>Ns`]XOhvh + (ui]z(Z'5,KFLpjzV`=ذ[n{09dGC S^۞ eiQ|ijS hiW3R$n0r%3HAk7Y^pkU^=ǹ'g=hY]sơ`Y8ۋ~} hXKs7˄9kN@^4w? $:ϾA1f _^nQ`C)Kk.坩SI#8B0&n.رr%PߵvG_5aumfY7 Ê^{lFgU]R#܋QaT]]yrYTĒL"/r+f*g"X` C>#۬!b3gC#F>@|w+0[fQ ?(a|g䦏JOJ|-O hi&q6`?(d3L*F9IvJߍ-n o? by ׊o3?6%(b$#3_ő91l_%gdHTyٙ'CN]grГZgt&ƽyarjNS|唝W!תa>>B){1{4 -ޗa2,\kNk o gՊ ;ċCnq0nݑa͒53#tV2aG>Ԟ6dm7$uO>JTciHڗnxx4Y@N&˕b-^Q EJrevzѳCMޑ#߁\/gYZP~d~!](_uęM#J*D'e]PGU8+F ;l2ؔRbcnp+,h1~1V JC&zЇ%RAF4`OwXLCF"×\k"#흥,O! PYL v釭J˙QNOz]ER)J%@y\tL <00r oKIWَ6$K՜۾v*B{ދඨw 'Ĭsz3tlTw[-Ko9(i1,a+pƒݙQ6@eAHi|.-G)gsxQ!1c:txMmڬg!NoUG-!d~l} ^"3 'ׁk0O$o75'(tWL,Rbp>s'7gѢ\t?ㆲc`7 ly;#Lr r. PXvZQfw. bky<% -_]ݒ{'T<BRCIU-mљ[ /[]:sM|/4p`ǡ: aC '`9J JYvaЯ?ꋵiHp[iqkW# / Dk`q43eN糿Ci ~%*La0] ]]xu*(RM\ zvss0QpF>N2!+#ԫ-Ġd{jr.՛I* ,} I`.f3؇ock7TD>"hs}~Fxur?M? v}NDμ/fˣ3C`R_3ZbBBh9&9AXd]l` CL l5V̻amV:AKYi0becf4P=T1!C6 RM忔 1b[ aaѨ@@M|VjRGu`B|:(oLj+~˚eFZ )o>I-UJ\u;-cBNygYZ7zXZִF! ]ŗXiɟy>Zr"h*LGդs&C1>w+ݭ {3z)Ha^+^h+$ptnHv{$* M9B8|yփ!;V$I75sRir~qXUL10nhh-;ndo*F{n -7]5z0iwkj*WR}\̸uu H r5O&ѮfS~lD$-+Fl*`W):dYLoxGoz}(h+@c}p-u, ćgYZ7zXZִF! kpy]ŗXi%ES3mnII~{YW0gGJT ]y.Aaɘ˹Z'#C$pNֶO~1d`XȠhw]LlyLxP幨 *+7;n&<*s/_jdfClD{/m'ߍҶ~.7{=KsP^\NM]SiV ?=r^oi# G2*QoW94|(ҡSX7 EDdjJQzrܵ:(+E#4qǁ|+!23{[JϯLOTxa(|ô !!yG~$mdj%;}U@ 1e@Lӄw/5SiLK ^$ے*Qd+VZAc72C#}o Hʑm;IUV'>K7@ȣ%cnXE p@> ɠ6U R~`)纣^L`>7C=ReEƇ#m $d=|$"GzrO7¡!;6;% Ж]D}Ewm-hO(>OWʗDѨO '/ s`2p5ٵ5l@3 vE#̛UKLBI/n;~Čߋi˂^N@ D)y%w /;nAu ZKqȢt8A7O"bm`W !Z@:tgʵ2R)L 2}FQL#F%pBWE:;?FYzDEO PO lȽPBHkȅY՘>ԢC<s4ص=AW}Gʨvt}\,U:Hvnظ$D ?6 Dw<7  rz`81|P/yD1 f;0>LTkdSz"57qibqsXy1 !(PVPRNYtP EjQA%Hp-^skȱOa+4.]]N|P1Υ/{g dDAA4u |$NXxDhVȤgAš"1SV_hɏ\}}좼J hvoЊQV"=O62x-MX?J nE/*g5KT'vHZĚB8RM^zHak:E!4o.2^D=DL}kL~i_M: Ö{K.T1w6BC>k mgAGn9Teuuuϧ; W ŭ>jGKQ1ѿ y~hx~\`?1Oɹ{ac VۀuG|b6uSIBJ?VЄWơU>JjYٰ|V  q!*#y~1GY48s5=r91ȸ#ĞV bCzu/R/*؀¯»CTBRz\t K*'3ULޭu,-[Q67jB] ]yGgj^R}O_d)7tv 8=UDDlEĴlc^2Mcr0:a;!Jšj.@56ŭ&B%98ԣٚ586DTMXyS9maK]K(yɆO_1^<}8>K|*YfdFaW5yMhoSTBi{PM8>97΅Qk{}ȡ-pe򢚉l$ vu ;CROg8hr߃_k4]aK)Iq܇e*x0L ?I2޸vu~1X, a$i GamáOfpHX;Ef9ЁMԕH]g"q<deNכV' w멉-3t m0n|Pkau/ &`emwYFHQ֦Z >I=aJPڀO6+yOmE1\Zꍰ춿%`glVV ]rdC-u -iBHׂ;E}jvf|TF(5=^ Z[܍~u|NUȢH~w2lkΈVUM\P#6@0\ ėPH.I,ñniR_H1eb${?xT3Z +uy!%hnYHsA))7 $2t~!Z(>ե nt_"- m:]VY:[ 1|jQ/ /`\$j݅ 6_ZnPd}hW5=90910]-yG|f`3W1 ڄD8w&Op$9%:꬜gæehM=?Ŭ, C}*XmmR/&R-wEv 9Tea.6D匀ykj|O1nIpЖu]ZN 1$=G&`$N6G@ʬѼQWL>|oXq!7-!n* 3X55o@Hfn#˭1s (n 'j>V* `'.q} R&a$͆APD'E\G;+ Caެ?RןJD~6]"|GV/'Ο{5ΐ7Ӵi:n.VČ.1Q$fGfXf%3gq\m'R L G %12 VU@sZtL(4y}oőb&`RrgI!~F9 ƭ"w<(Ӧh.~OQXg YK(ymr_Ie4aBR^D%w|3UfA6\?ߚ]c/MR*R_6"[Aftd\QIU+ N"O~m^!#QZٗp;uW:DHZ1E ]jٮ6PՁb8Wl:DK@JUj@t>.%2/LDwLU"gAPpPep4΍7~fy|MbM2.9<D EB USU a9T"&C_&6 \g09-]b5l*~rg/g6:dZ2e]N_צzS$+\eR?.ATe$2ʶw2~4>dǖRQ[9mЂ?YA>5bݓdU@=&CxZ(B,'2i,0Iiᚻ6xK|3Tj]]0xqWV5O z R?'|Xaʊ >nmS>m 0w#?.y=ܞvS|m,̣Nib5Q܂Z$g+6¸ރ8Cp& }1R7q tLtMǧm?=u5#Yz־b)| 9~n@ l\6F mgwk룴.z,_ƭۧQBLm0$Yj1-ùwfkyrpp˥,SԸL_K)î1t}y6,2 7qD68^㿙v>iy||rq;0j *g`"Z8ۇQ yN_X#1tfS?Px6s*6 m?AVB>/M UЅJ&sI}^ۆ^ =Ę#}qp"2( <.BC-4g2!a^Mx^~CƟw.RcxHuK֘ř{a^ _qc4KaE,5 9"W:"µZGS<?J %*^5[cl'&JXJOy@5C lZ.EE!ҒnNg &ԗ8G~6hX\x}N'.kRŕvEECKZ<\HQL *l|J1V%= b% TNbOر݊KKH@pw p`TBkunYEF~(7 yHkEՕE~cm/@HuLjjȺR 4~DJqʷVIG lwؽUh2suX|=̋m?P[16߷G_@Yy[:cڳJ:RjhU#~^X!ehֻ )X0xT3S|; D6͂`FoF;^M{ O}Λj: sfx湍fwz/U],> ]LO9*(.A?0,Z2tOu;ᡫY+C΁_xA[+&A?SH3U~@,e+Zlh a#ddL }ebg>^}dWxAÍ5%nK!dYjH'{UMQu<@(18hgҰCCf92f94Ӧ0s9??rɔ4nY+L?]^86a S4ya(rmTMa]gYL7aE_A‡>Q-dbY=3qꗤͳˀ E[p!񧈵SJ69!6X"Gt\C jT$8bxvn;))&}kۓď Ws2D4X<@ h ͭwE" hTѺ㧿lҽw̩ oښ2kvסYKI/5?5 0-/#WNKl@pBt!-:Q5nJ6- [,{˷PF JS~kun*3Eǂkl\`:c΢)Q{>>%Zrhz+;KK0'vwƘ 1dJJl*e»=8f8K*?Rg(qR7BoMJ#KfuMkIgHe˗z,'=b4cT>ij$TubL(gǝ.X#F*yv0h6FR-*) V%]̾q;|ؑЍ <^ɓGMDdYqt/iphr}RzlzcgR$8ooBpcB1zP1vԿ:#=amfgX~4 [LaBw)7.kaOusQpG8rxՑάg^qڻÃ5Jۯڀ_\ww-%ovA<ʒβm]78%bդ48Ru@ qiUV_LibK`kjq"nO_ٰO꣜Ca8mYk61jjCW0|^BO U,܌]Pxw4j Xt0cu4ֹ: &'~P{cpGZJl*0u(~'*Q-߈:G0Ew b?zoQ7uVѕkƫ)aA!RyNHv12y.bu qp25Prrax jsϽwUd:}7(^f1 z!5DQnlaIoPȓ=%GݜE]9GLOr1HB)t^cD /E: PޘuYJ(z~/{p; w9@;H``Un'*]+ Qr:uPnvACWz,` 3)d{WeHj[9akt$UQfA":(U\d'Y+"-8DNT>4/ņ 3n"#Sͨ$MnFzA\qS;6>Y(E:/_$A f{RT?v>O)8n'[Z 9$PI>hǯCWe$AG巎ИhbCJ]4K#HQT"]JgC+fX mLniߔ2lĬ-沏o!Wa2 v)t*fP\*᪥Su&BE&r,׀-FBS'# 9&LJvfQDo,nI5֣rP=^d%*wt:c"5I80KdJ-< ep{X@dao&PSYxBz~]{"]i]cN>sY NIӘ)r:۬Tl׳niՅg_C#x=+NƟ( e-"GR>ʒ` #E: GD)$& ˅]?uh&e<h)s(YVШX3f0-wI7@+d 0ǼS`CSY wXlz8Dx顅) 5 ] nU}뵤@Y  A:]?(53 hnl(-F)!ت"]X2_"7fفrЀz\'Hڅ( m"Bɗ|Wmx > oZHpmnM7QY<5^lύ"\?W2^hQHz}̳uMzEL|y!?!x8LEd=X}]fRO!`R؞U/ 7ڳ9W<8w"~uAseE27-"fy R876"BD eaqHyi#zghʺCϯu?Mzb E)Hgh.t;`& G#(lTPbyԷ %@bݡe*?XU\B u"gmA.X, c\H!NyHRDȲѓ̸7.+ƒw֞a}?iY"9?^KI.cwe|%0^cAjW5ܺN#ChfggGuQ{|W+W?d o 3p~NAdY_z!p]QɵPGPKZw* LLclQé< {X9 4Oz _S~?siUZ٤z1"DH~>J)صӍ}7"xNv r F L~@+Oaщ1IjR̹l ;}Ei٠#&5 ϙryD5No1 69aqB.Vduǝp,HV: kYㆄ ż+N[F{ N÷ki%IX) 2QDsz\-7?̿UCnC҅ *@0ZRדNlV3'%!KfQ4QM89۴uu0zH26J'vetuaĚcRꗏkp.Xf]O.' D6Jp+:ñˣ{ݲRLdڿT\>18m :_w48w9{y/+lW$§w3G!/66A]1;儾AKX5yjtf<{ϲ<[/kJj(}v|jd3${͐ ΄*^01 _9|hI02ӕ3K*&Débـܗ'f /!AopW_?elbR1<jȕMUO nf UմWZ?NN-HɈvD2HBZi/R,4Kúi܌R[m-Vz8ߔ-1)_S,E8m܊U%J!y#9LDŷl99` ;;Ոi*60H&fi3v[A(>G"]Z(v;3E߳읔|.M킺E;0rgcBId W ?r[u=u 7f 1iprcn6YU?)F``A0Xp~Ogh3xY싲 2do{xwB;±Gf58F*"C":_khx%NsP-@ߞ aaO09,v'M?b/|Q?t^Zxm- k+3z-C;qd/ q3[zjX$!2uwU+F$yu5or *i~Ok3F }@J}J#\M/o|oq:-if.޻]yp?H 9BjK'θSK}jߤJu)A!0<u;FK;=3S QZăA}Yd"#lma ڳ> УVJJOg'%3ξZQ($@tNK6mC~xCJE Yj4 oK™Pq6 oi0D~SR4Qێ{nx+ḷ$rLX KTZLjڤ$IW6tOD=%C'G:\cZx@2bpE:'~KYfm}@o)N;@p+F{XCM2ϭN2C*XǺw8e%50(E#"Wk~#.u~?k(9߽'٧J "]zR.4/f?P‘yZ {zkcw5M7Bh3^ g ia@AyVRtTէd2H0ǂ\umipT#tͯis ft@X  j"O}1/CD-].:=U'?PjGyl x;-"*6;yU>a%[>Phq/Kl\1T\_7&Jޤɇ*Ie 5|+mv$if)s%q:!IӨ F aI`HC?Mȫ׭iiT.[UɍD~Ό76MAsڒZ -B@]WӗR 2DgFce*xwpr|2Z]`ۏs˔NiZTa/[&;*2pQ 18f!X P}<QنЃmBAw_x?)&pJbLzsPQ\Rǃ=7Ł6LR+Wn]]Y Hu:..$r\":=So۝EODS '^*6Lw,2͐ßTW 6~jSi`>4֧(]Y&}R]59i%슕Sg+n,i*b@%MsV8q47r۸c+V :,Y<1"ZΤ ,LNq˧)caКE.0dwϧ=$/аZLsZd2nv#b5L!be fld@@a`!S+sҴLxDF2 'I%@>(!缐Xj)DCPLg4bR67)J$$('ږ?cF” 恺轏Hy&u]Ƈ:*lhʹ擣_;N*6 FEHTl61=Oކ^u7x 2^AZp^cߜ;HI P%t`3EqaH4lmGO&0Avp 4*ĿKkYśTTZG r ߃NDu 0s3l.>L{ .$B('b3|%4P$Imsw cN z qy3Qvg1&2|jdrL;v򔴅 Tv) 8Dq9{% c܏iXcW5mʇ4|\e{xםtsayў׬0 .y ՠ|H~ P&.t4;GUR47N+g<ա7E)qqXǕ@/ AuVC]pph&PDH90Aa H;l;"HK͂I+t$ކG7 Kp @#?GHv~74;KFǸq6Pi{,|*.1ihT~N tLqĭҚ|/K.18(FQn& [.[ pyxI5=K1Qo[LߔyQc_|}×--h_sX Bvv0׽Q,3Du2s沇;BlK{+q޶wS eFk}dx 6 R%r?=ҬȗX{]X3V\3p̙s20Ŝ|SzYR#vS ؎`.nʸiq~MjpQ&GَK ;&T;`Zn{@nT[͹8xGB͏6Ekren1a8"I3A{{)Vq `+٣Q ڏ4rDI)t[76M,o4nG>M{ Dq1M~tpi'/f$ o~4)Ύ/ЂX,Mܕu=.n ~nJMЋ{Kԑ"csQ0@<BD{o kݏԹrH3da˄SE&nmsV٨Ǔtk4nCj^M#}9ڦ4~)<J̣ 4,Dij!!I#X))4wɐnbD?a~"(%2Zx E,%*B<`mOfΓ1fK5\>]mO|/PuhY~I,^3huKj;8-lnDO򰯨J?75Ge?8~:SmzA]UKL颀ssIVJ1+C ;*-{K.EAO֙܊c}&Q0rDޛ>#+t*u{F:4Ntl?Kהэky19[4&rhx0B+!u{*2owg=a56_S5$>) /'y}$.8 f?MtcpAqHzǗ@23{؁ax4|5( < }A[(dj6 *yƐ]s@ph0} !?sh=|(%{B7cGJR*(o'x2Q{Tp}X92DR48_$C,:֧/x3 } ߚIU6v]\/KZ:xeT ^::&&prim|'\ۋ|iwj__zh{_UG 5gD=:ɪ$B_L/,ߊ3-,1J!H{,5<}*3n{hvoeTˆBhL(d5v4PHWXN2d7nW+,߱sR;hm󨣯k4ܶK W\VNCdFLEtY4Q^W[d)j߃o" {G ,tHN|eص_?` Dg,͂d#k%Ү!-pQ[,k笒yLm#6m y\TՌ-@W"79 t+ׁșKS }/YxAC:C+6֕(͵2~Ƨj-iKo[:dNx0#NKMpyZ^ nx/)T$NN/ϳȺG~FѲ133hGCvxV&4יTlY˭rP q}\d{}fxTY!E `V ײ]0a 02!X N7+PStŇշBWM,(seB ?=Vߒr?%A)j՛؅YA^zXD{OrFKl)H wpyZЬgDޣW8h?pjNF5HuFϓFߐzOW=d?P2cJRҮ7&o2g_(D%%2}Y}qpvզ0 ifsJIxlq5[ӟJ" Q\T(?1֕m(4I Į Zld4dYF$~JJ[,҉E.Pn`~; C(Umvc䡭} wgJ{O4*E)-U8w'{! ,*MDprm1US NzH=bes<}yW`zA=}}|Mi={lSQa~ׯGizuqψ^Tx"7"Sba)%̳ۆUIfhQp2qfq_[!G̶FZܹVE=J6r% {RgS[%U)Dę\?=Rԓ^nEr(:FdOr:J~U@m:&:'Ѩx#$e*$Rc9/۱ RO#į)Gl H kcЎf9#d ˙R8!F(Uk Po PRURTߟ{r'igGmE]`6cjq5qrtcP>!&d5G.Θm]+#![z) cg \$ʢg ftW(OEJ$99npO/' xe~h !T=X (:LvνW6ᏻGoG\(j-W 5""gB>{PՙEڰJ:tI X3BBܸA&ܥ:Z^l  :};ܮ|9 8/^Җ<7r7Xk͆>7ui>qŠ[2ئN>!20~B%=, l6AvO"Y&=&&NDjA"p~ F *0&Xx'iB/w x%HYJ+? wO1J֓#yrt iִHc%%e'|w+wj|AR lNwå!YYȢFz5qĞXCM|1rL#nzQqfQncL#9wMnr0GxuBl6;d9x7bg3Y/* o9EZYF'nc᧮`$I䪔{ucp,4#}hݬL4@$LXDTY"J'UٓlVZM/d=;@8[͸9t EѸ3Mŀ5ټufY!xe޸,,b`6σќĆOMPcU.ڛ߯Cʐ8* kP![Ǯ hT{j(1p`:oZ9Jr偉lSzPѲASږtӅbZKhfwkApt@ 7oYW.'v"4] Z |ϝ.e63-&]-(sK{ILa!Y, _Uʫsia }%=5mOE2t?$N'f WY0K&W*BM0JJnLrDzW B=]Pl4IJ7Ix57)RBZwė*5I-Y) ³e-稛;8hPo44OTE-lQw,6$=ԵۧYc iѾu9+6(&O ,:X&E{sq'f(kEek鏮l_.#:Q>A{#Z}݋ޓ}Nj5c*sT56bMu[;ȸʛju#X-o &[ĞPX;gؘ:r|PzV. U)o~=Hey]O(7>EzCeS[͝c᩹Z8 r٩bk{z~EיŲNufE`gƜqGi;7GCljR|Y6&9b2wA*)a+9ߥKAY}toO2ުRhr|+нWGmy=q-t, 3Ǟ`=dEOP4\ sVyѐ~gH(4.";+2;̠r& MUCq(g# |*Ye}U)Ddn;YWG!Y73je\sli2Ztg2<Ӌ:ԃ 4 L鳡Ⱥzt- .qem-Mp%LC S'=˒hҘO:{/^:@d[HB!,M9㿰C/2X,,jOJg> !Rb79ӯ)~*z|5:!UȨEz͑*|=:Ɗ$UC;AvF\l4̔ 7B[VLͨi\ RJZhs tP^:|돹l CR WgJ]Ґ",!^ٹ5ye]%bz XV֦+N$%M8ns]ExD >`bWPBξ?xwĠ,ԡMy೷} ixa"),$ܜ;=p?,i[$Jx.;n ):u+ ¸d)cZf ^P=D3.|<1J8qXjn_VvUIuqP+#8$5ZVwOiO(uZ>Z1>0CޫKhRKNJHAka(FQ%hA `Ṡҏ?Ff*62~KBRuR7!( Vkb.}mFRd,Uj\.{w8 oL }NSd~s)27;hY{᫬;^<#Nq| ÒVRhɈ?W #&epPJ&H]6O7-׶=`!M4 KbM{u/ժL n,S~c [4'`=֌@s11c3pW_4o3 ;qwʶ6aZ9拊7 t Eڄ'|u*rYwK8D0UR7TM}I}iUv;͓:{<O &n:k\w1~ݹ`r ?p8@]ϣ5M"/*ſIh8/Ne+ޙ i̕U#9GzO: S5h==#w(gՍ&7#w 9ۇ<G_XP㇕Ym{²al4U4I,]1_\urat;t#k_4 &a++H补3`cM6U:e 쏚)\(5Aw3x_q|V$O\}:/柱Y8bbKw&LIAyb63&ަa?jEZh3BMKc[}m1p` 6?8c-*]Q-ys="?4v“Kj<L3þm` BUF 52[jCŶ46td']7ajVMMe*G4|EJ=P#sPY̓YE<|1 ~Xg49СyU"U@`3XfLȌ6Av. 1]1-)a/'U+ nf!C 1̼1RbC>Hs$?UdMW/ Mr#{cըY)4?nÐ7֚g=jAyflSWay1hw8,(UN Ca%)vCW|1ڽ0Ǻ-23zk)')#Q-yh"9OiTG7_4$siJ3J 6Z06 :(a"oatģN3j2N( ?cLibeτ6+BY5f0yA' [8jws `9Qk{??6jS~ًiExHkHo^w;8NYm%lXor8Ү̀?2P)J(fj1]${"zj2*Zlg7˗uɺǞfrǃnӀg1 R'ٌ_*0Ð\7 ^-ڻ_JP4oOV[&Sڷ/1MHn򀡽 ª o&W6mzmPF$OɬݭͧEj~ &@P6%$:w4`yJdru Ay;S R*e78/D/;uQ*>&rrl905unaLxt2!uh [R5q'L|{pڤșQCXDq;T$KBQˋIԁ @1hHiX9Kb>#wax ޕݨ@Ѕ^D- B -ݫ ^n*'xa@ߨ2V +Ch_ISdG̾LLE,.6/1ӫR:3s\i@Gz~_cr17g/J J?Jxf(Y?w+b:]vMAKf%*.oT)>[$ W rK." ח~Ɨ nȾuSu% qG]#x! WABw3H0 !?ࡨ՝z[g8tqs%5?n2 V8~[cJ}~.΄<"6!)z OH]z!j Jc2`R'iyckj}#}(# ?ML[ps8xn'[%!鹅 Gaq\Ժȟijho M"ߚ+%XB(."l>xn2Ru_sVyq s@Yēnݗ5.xqxB{N I=) *+Fb#SP Y'2AYGfskCԺHN(`gl鑞֨KS.W'".-U 2kp(2*k{4[w/ X3U9K>17qVag4=nn`$lp&l@ :+ra[] 3W,Wh֮ӶC/C@:^ηK22}ݐ|hMǏAL[/+OmӻDakee_.ت1i#bIz]ۋ&oq1 -¨{RIW;vyKXG+.%iٛAIa3Ep^շ@l"N.f`ұ:ͭ +Jd a׉~loNbB; bbg=ߧwRk(4n ,sv~of2y]F#T5^& 8Loo}`w^#Ah$VZ/@PAkkgBD38+3΃#xzD`Ju0#HSz~Iִ[fgu],z"V4l^77+\^HXH&R?L{)f S)PiA~ W'9 sPEJ-z8v7g|?ŠL|8#O96q@糦M=r~DMGyfR d•`qXC 8BQd&0Rqݷ.$A+5H#,81Wf\Yi^ KfRu}uYbw0gD,W _ִcz1G+Y6* chCtv#^_25NZxg>P+8vA]f:1ؾFTwet_D׽Z[o}-/H/ F5/X 13 k_ jIڶU_e7[z}v󖜫|%R% fRJ\N~+җ}(34ҵKExq*9SMf-b݊ b?۝Iܶ8E\)k$>h.]!G淴f|gϧrޔNLTo6zѝGN{ٜp %x W> )?2m N^ MJ\bnԁw໒'P &Q\oԝz R@C8HO@/GP!bV lL4B@ؖFckMmu8'i}x#$E_PsPxfhێ";L4'Rr/{:Wx|t4! {p)<%l=3eq%J2vSWf D Y/.QZmlB1z7Y>NRduDCr2癕wkx՝m|(P̣ew d3[=6:*ꑥ}#2N_m#h3Qzo1>ji(ރPM&T<2̝=!a۷\lZw126*ei怩Dw+'jm M=WB3*.@̓%v(|^Бr,Z%cs;\߰LiVG;kˍͪWMIm~D@WLuu$,0ZYU S.[&m[SDC5ٕ_AmTcj2I7x`eIo63w_f/7./{MCo=)w(gYZfea29d3edc7007f1f7e6ae31d18b2cbf1c31dca876b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 f6058b8b17c98ebd707ef216357bee44fcaa84034d0da9befd30c3347befa471fa3b14f0b9521ec4