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 ''!%d|| ]/]HOL-Analysis:threads=6elapsed=332.953cpu=1700.256gc=120.952factor=5.117zXZִF! S]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{Vd%t)1BPf)xo}mS^/$DQSm%`͑w D R~K/ C:ȥcdToHYЊY!P'E`%I#JǯAV$MsLh iwb]N|?48okNlC˛cK-AE ƒ%z\oAHأzeX~x{Zn1Cٙr:]4^/8{A)sb6+93 0ڕ97G2pBʬ'VTXg̣M4(R={NtP|is_DLf 3ẬFMcS׳Je& |mec|*) YԉoMb^83`n+0 #ǑO/ mMmn'wkPVe %}erɸRƶ,Ympqn7P]?(MI|[`wJ\=JNI@lo~5$~UGk>CQTK8Ǎn7=KMDIV6,e"=>̗E  O,Qj⛗6ؚ;3T),h›bI`$TR —kkm!ѕ#udG`_I |}p܃K;qxFVZHsHA]?B|'r9FļuvbgPh9H ǤR|iȩ ߳E߷Vѣ Jm˷bl[[j#Pc~P/@Rn!E6][BQ ёz/ӑEwd.괰SSs& wNSidq$.CIVprOB-TK! @ʶ[R{( lj\4i8`X}B'Ng,c"Hp& Zڛ/=[h.#2 f{7r΃Y"0B9i@ `Up5B>DQM;&cc#c_YUcLҸdL~"$Wm \7X:#\n_ QW nGiY4GŀrI"2vVs.RyZ[ qx_Jz ò 31%3jdTɦQPk= _À<`|z'{M!3n3qEjThN=TeS.=Aڧ!KnPViM0R]K#֣6uXd٬|1l 3mi+5{v.5'wӑzQؚKLQGsu5iF z짎HE(<=]E6#z1Pm^e(n@hl d /1REbw |}Gi|̪Vؿ|,a)"scXuO 2|,֏.}̫bBiWYqv}' 튔(!=GU L5(BxWFa͈_ALÃJ j %f,ڠ>.ܜ~mtekT˂XDL0AkET-S833WظA0D,z8dAi0݃Z<[Vȿjs #Dc_h:k#֌C]bFȼOM#M0~_%a<.4SŇ)YopU^z']K劣j)4R+0x}?ZydV\gA`rA*D]FaVJlr';X{LЍ= , ΋`!LBVjؖMC?&O 35^l[ֈBx 퍺ܡgߔw~ܡ`U8?R~߉K-6@V{#,#4z}(pWϣVW|@UT жޓĿق[+K$6  ޿x1AeSVID`"Ά|d2eӉQZc%lZ i07f5&|ߍ\$/٭cZS2d$vG_(&bW0,PgMlj.rwnMr{Z=H^Ib!)ư |q;z mXqHPUJ""֠$MjɈ^r;KEH5 % HOL-Analysis  ,7L) 3kމi( o6 . P1 z0\:n[_wР<-˥Elo:w"v 1$,AhJw^>=Wq]uNkW͚ڿe`8l^Ld H;{+ꝎIuymji|$\`-uY0ׄc:Y;[zo*#W\KIߖQM+O[sHl40ˤ'o͠KnNŝY:TTЌ <&ؿSqܔ[̹&q_-*fI 0YcJv4 Ř*472HfJ;aһBZXcGTGL=/#N:3򧴨FH^L(\_AoZLT2ˉ tﰭ4@ \MgVd[+c 2,6x) OR]>B|>w`_ʕ8dTFuxɚK*ěnpҢ\E1)}'t`.Js{ o\<ͼ~uiX 'G^el#62'Lq:v n,||. ĴLg\"[YI15?@>;/ ʬZ>J#===#x19 vٲ/I^?ypB3xYْA}J(8|1xQube˸57dZN:PQgOXム1+׿ƾ^ wPRiK'7=PVGGl*"{w+Lb7yM>z/LUK, 5U@5"ǶkItQ4s9D2XYt-_c.R(e0 .Rl|ReKaDv.T.T̾3d.l7l4,i9J]%Gfh4(j&>R.;H{E K'Ӫ_[]TRJ;ϿSO89`|NвI=$((#8 m`l}baiM^ "N&g-ڹă$yr`#"BР%8u=J>t[+\cdV1_Zl#f_ι}[KzRz^0ؓa]z' EQdsT$M:ɓc n(=ȶ&F)OsI<;,Jb.5ol>w~ qr2v9T WGNdLN:F5~{n?@,5*\A ;L{5Kh]'⾞As yH;'$UϺ7HJ5:MUuAT SRzfudsguP&THԌ_ј5Ky! ELvmcvoIȅ;jD;?|Ltuο EZx+}@Ѡ T^7PXpDe !&#Iv"t%!Dvs X=)vf\5 G7ݰ6r<*3uC)gd6A8)ZL!]=`U*ؘQ.ըP? \#b2't~'9t[(Ŀ$gWtۧtBMe~~ %+m$ RBvΧu`gSPzn."򝖀D|ZT y;.YȤ&JC<:c ..袀JoimiߡI E3/ `\<W<TbHw@j]kmM\<R&Ә&f`fIv‡fQaGAo!;A݄sM{Rgəy*;T#. {M 0dذ+!9~NV{Uk._5%!|K`76*WȰdc(%"!6lG R G<շ6̅7[cI:SZ#PG2h/㿗89ȐԔeFD@5`^ L}.)=fȐEjHL1L G DDfDJ76*GX CH`E5a֦H0ɈDNZ#29:\DG pC Zֺ+aaHf 4Ѥx "0TgCu߁,mV-kp /sj,ҫ 02NIk-:#5Hۙ=02;GrX +s{D1 *LB2!oxd{6>GMܬt#mBYdw$qtOCB !;2R l eRY?]jY , i3!d;HNv6;R!goiY(seL MM'JvcAYmh>Õ?i8ڰYy[q/tp,R+oW_:vnDJ!uv}uwNb۶~_E `>r:ǁ@LJw0,Z[Ep[ Ir E TfHg;(R2iW)JCN:`"I, ^TO_^_$"O5 (·d@Y(vvBYMUx-b! @" ,fw^ZmShˮ%E:z^U4)$#^AL0SA$ awp ;M r2+[zbaCk5屘2fj:OO=~5OJxLGg!+MAL |x |-caG8SEJ]2X!x4|CaoۈԀ;ҿ5o_/%`N1XÔ]үHm$D=0Ḩ5[}?ձR7]e'>y_qAm%b`MO gǽHOVlуw1>!nEB`wMcw4ʲXD3gsW㈈aBCD13 i߮^ܙUѥX"M!nҶM} fq~G54A٢V}knȾߝ-Ԟu͸߬ +tОO۝(Ync%E$L.>چDq.:& ԙ>std{TgBՐ$Cpov, ɫ]~ss}uߞXrX}o V3UC/ZݗkU%}n{jDثڌ?`V=ڰ R|s^u ;3g PT WVo>\%LN*sxy>$UE3q( =to3BaWx%>`#K]oÑIS]Rtt(٩f6ۊɊa[ENt:)5zRUpt `d-WLhYM/0?+Viw.5ܕЎ za1Ϲ'gc;>[|iE-age(,\Be.nHoϓU(Z k;Ό*idGVp'KiMJrhWkW-dAƖ! !Rc=eٹQ5]Q1;$ɫg#;+u2e]Vdgue u5ndǿY)<t+:\Ș9Ӫ[ع4AH jqyD|f&w: 5ɰS_?vv@(u5p^9R;bӶyFW#X#Mz($z}ĵ6-_ɡ1sLG=9L=L/et¶@'c\Xoi 85uFiE$Vq*KN  Ľ&C6ڝ0{rrO2Kz IRK2<|}^x9W[WBҭL`8nǵV<ӫIӌݩWPdG2 .NdKTeX\P[HYc|F\kmbFAtLGOD= pڢmZٮcePp(3pүPDe*fbd/Emҟ-Fu"fu^&Fǩ5^rghT.dtsD E-ɻFbA\x.w3XS0ϛϙ{. o a-`m؅t!5~2_wမ{6rjԘ,jRŔ0VM2tr0N"4hV)Hïe6 KFtz 8/vn ùrPC)-? uȢjU"M @ZkB/NXҋu j4ɫ.<}U ɣkdWdi`\"#x٢n8mrS'eCyχ:_xd'oQ4=3j *I[*lnz9t#jrZr`Ȣ~uw UB K :F=郻թF?Q&Ux2}cH~;MN\huYYg=wB;T^[ٽl U)ZwtWlҔP)3ZywV98\;YGb,Y-t~#͏%V؍c 2ްu`[녫HWFjO8sIU])~ib qy[c:m$b`}.|@*X<'C< !@oP*kZ vwb`p=͞Ž:SK ZP {aX Y7F^/L@NƑg4Wi irT [j-F(l@::j6xG@jZHtԭАgeD0zEWkc!Z30%c K사d ѲRھϪQxtTU0C)u$p+o;5>E)JfPN1XiL3`^ &nP$lZ֟f8^Y zFJ]_2TWX2!SFNWaU0dBl8f`{Ag׮`gdJw巷ib}J©y tT;qveoTVpUSzbڌ ݬoϙLG(eض|ks:xm̷=rp#oOe-L (־p 6Z4xrJ6$–Ő+\O4RDz|Ƅ7w {Lͣ*=ŐՑCf xmI#dݼO%*0kF ~. t-I֞ZId.,! },;}UHZ.i7%UY orxu/E.K}Лa^L+~;ʮ (˲~#{$=gAٟ O~K`C"DOD33=SQm=`*jc9US=˝aH >uX\/m49?pe"L YDw(ɸv˕Ը"f(`o洧ˢi8Nu5QovѰ9]`EPRjt9 i; %* `$hv'%ya!/~!eAO*`̀״Ҁa0#q?O,qG{C|Ԧ"rUI o;c5k[fR~CDw˗?tNI,jHؼ/)p]EYr~%maF!ƽ9AI{|g+ YHY5|K.Kz&s] \)sdMţr@NJI CߝYzrEa=2e#84Řci2ן1P@ -qgF>|K!m^3eIJt}=Y+ݹ𿈼e;< =AQ!!-ao&1*#]ٿ=-FmI}O :D{lƹ=}aw&LHщRhcj25^>^dWprWL_QPMS`fHM_ni?8D-Fd zu- 2P^^Xf`*~*[y!`Bw/VZd uI⊲5s%b8h&ns%9;G\9$Vf-@[C ?Y*@W,qr&=\9"ޒ+P˔AI|mz=l3=;zL飇>B}5ՏOwf_9!U:&7 (CzW"LPho~F'?>EѮ-KV ϧ,.ï q R}voPWkP{`mH{D5d#FV͎IrU} NrQ$W!kSA-O~ƾ V2*χ5V4'CB)t_07Mb+̫楟({diF ݵJ!3},9Nʩ? q6k3ߖꥀorKE~WUD#aQ8~0Vp+/rʋ ک170"ʘ5adLb{#!VkyL?᥉ehohϢu%D[\%tZ(p̓=y*e|xD֐&\Ln1.sG 7FZK*Z _ʒ`q#Y}Hn,^`.|810TO55 s#r ֜"2!&䃔C#R|ʹE|.[|ZA`„ȓYpOY M2ɑfwA Q bP5a{j3zAMl-sx|E8ZLҧ m kWh?|rF52X*K6 J/>Hu[JH1*,T &3&l6B.;'|^:1<@'4'$%˝L .+ShªiR\S6c+XDԂJ +ϡ{Ic[Hd'un{~:AVKH8 ;E* !>Q,^2=ěLiq$^~@Df<pFЀ$;#d堝TvoBbㅾRr7;y(É,u z%aM&m,Yu+᱿FsSr¹eF͞ӭCmjj`Y`}i\2S%W\Z^QV6ܗhKy:[Af/;O^x^,St[6z E;Dbe%3FM^}YM4k= _7umRK,"4;7Qi*X oyeE(=jNQPPU _ZTs_Ε+&`U~Õz˔Nz=Q?͈"y5jq4kOL,!V{ZМqه&X+8O8 | zc`ItC|0\g_Q٥}}NB]u-/ ~BSgl1ْg4鏰PjÃͫjJ=q!hZ:T0*X\iy>Dq$Ys+LRG$:$~n[{`s"j i>c=Qdgi >/N%5ܻ%Ip,lmé. 0:Z54OLm$e^ć=yЦ~QEN!⦒p{}=F/,/,1$MoM*9.rN߱@Єֆ*Sq T,;?Xaa]]I}.:*[&igHo|e *."&.0CWcsٕrHA_焳 Q{SWtS.:M ιrR"1u_cuaX-_x+5W Xa<8dn;+ʢ[CFėϷ׈R8D1A t;F U ͞X%XӍPK/WqPLρ/7-qMb6wUS2;2XFsIEJ4xG£T/mc xM?PaV<4i=[ bJ.#Gv5k_H_8?,vV[WRA-aZ i9"bJ,ەء!;ؼS^ )1}(I}>Jv#iWt_ѽLPSuVnόZ׌ǬZفQZS5Ytod+ E?zusrzm D&!Q7蔈Ɲ?T8k%T_,Z$-Zs!W V|tAhǒ'k4v ȈX0|fp#ʡE:IOi6K^JθU'@p`:PؠTfKÃ!B> DeTX%q7US<5,G"بRY!E98s%8`i#tε_8,wD֊!gVIURf.MF+njf"h;'ٗBؤ.#s6Uy fI=͉'5. Q'>lc\fY;:)UiaZB:eR*+s}:%^֛Y7$״! ܦ~Hoam\>kca7"7^|:c";-_ 0g̖r̙hOxr^¡W- u':瞥^|$! Xgvމh -ur^sI(VCېt>p07o06Jx*ɘ5y)ؙQ)l #,va!BڐNWj+M|Tܽ{v^ZגК]2gM-7˪B^[]K~nljfynXq]c i#Io\j#,o ߻^'[QH%+|Pq6@xnfz}K] Y:c nr׎beVoClLTd7T@>c^eAQB&켳0[0-{!xAmyB- RGjMҋйkΧ'lЂ ›zB;pWO? Ă4` 2AOXA+^ Vġm׬dOaȨݜުKOhXגM:mC $jk- "gI#tFŰ"uK!*d؉ifXӎSPX ILҴw߄? zC+f=K%c c) +,JfD%%A:7 @` ~XzA)#aͮC6bY%\jGN8ޒK<^.9B51XH~PbfO{KڢQ.]p"!j]B5p<| -X0J )@ZYaz׿G'mtȉ?̚E(mNaM-uRm#6 Wčk.+ݱoyYW;$L9ipiKa Jݕ4&-@Y^c7n֋:VLZ&Wi10ǃLax§$tpT$*F]ԍZ.*$ib쭝tG=t34-|A/#H:(llx.,œ_7kj,,e3W@p MƻR%R|ߥ+ PXyvMU%X J.Vl q6+P=HϘv\}9U ,M1-TGxjJOѿThDIͫNv Ǻ,K]na 65e:+zIJ[IOM%J PϖlCg' "̌& ]T2Ξ廭퀛RJuj@fMM1`z"eq\!L7)aGT.a= v{3Bqcqb4jXO 3ɭs39[{D7YyW ]bWF)it!m`(HòsrNU#HA LcvjTFDQv4z R&7̻wh=Bqn =;R)3 }PTWV)11nbO`SW )_%Ibok}gg;ɝl \7u; zM 5cLaYPU,9>\iÎ }< {xmaTݐb_҉DDΝ|PLs0XXW#d%O7jLIV'jv DLG\+Gͺ5&1G"ΩVcJڔ0>h&B{E Lp@O<2< <cZu}H8 :ݮd(QY}P ttIRs8eP'dQ<"'OפݭOl>nTvVD!Z9QUAixn4g?Ðő|yQ9/F-)>:<V *Y01XEEs+foRUlտBw~*JWڇ˪( ׬d#[kl> ߈C(lν;з1 y!FfN9 `FkH-F$4K"^ n?kXTj@ɬKNLӂ9?H2%,9ַLͥ;QJ𦞓{z7[Hu {8‰ hb2 (tSbm7hܚ|@__ˑqA,U+k8Bw }P 24B*:S@ t* D=Qv|[GT4EY1M|_qy%:ϖa{[I"p<9ODTo@؇OSF"ڪ4\%C ӤU]%ȴvkLb=Lסn\܂ TuX/}f gPhK=`F f O}0\4BthHz?]eӽ]u|ٟ~RM<;owvsf=l]u3huP[?xasXU֙[߹f^N\|L\M||pl=TRAk3zhTfbov\JWXћڌyl< ɐT I:'2{,x Rha`9?1hFc_-q5A@{$粻JR3"ә!>IC6EkF[oeXZ]o_-, +u{cƢ2%Ngd‡ДZ׮2G_"wyM*[%OQ)vBFQ7A4@7z'?@˿db~rtm;8B&"١iD& h#%-uL 62mAy*pE 6 DZ`\k7,e?~C~ sKa8oxl7IRAM KMZ`PFN?LYj_j*|N6 _N :waVG]vfW?`Ő==~z370mh^{ԺȔ!Xt|:S$ƔC^i6y^uDpUjeVxe܄&cXaAߛGDm^N\=5`ӡP $rαҊM&  hw4'ݏ06֥Vv۟3 ڙee;>NgكsYmۇC8Sw瑙urk tT?`L9|wQߖLFժzFbC3&vs'O:k6|)r4 e0ΐꨈpUYsXiPt*-]vb!dGq!s3O)i&E 1(!Y}2I:]Xa-o1MVr=dh؇(_5%۞~e#Mԗ]qsM|/ŷm97:;I4IlMҨ/*A?܆n8\M'x )G|uYOt(gY+rn[S࿩> f }qc{cֿiH+ZoUgYX3f!&ոy 캧7oDPyUԹ"n榪 n֋WkN*9  /MԴl&[Gލ%{ {r;~d=#MqFiAz(p~p]fx"GtծRMacA[ \#P&gYZ7zXZִF! !*p]ŗXi%GM,۸72^JIFYA7`Iр^𚹲zJ ?~S߫*íMRHQ o^S"šTv{Hʍ[,1ͬ%uf!ϸo/?ULUk _y3GvV Sщ^ d_?KTq%U.D4xًRr_ފNm%.+g`Å ]6gd(:f4Hc)(T,Ҳ]x@;pjo]_d=u,a)kn4(T`q&2qNMR gq=ZeI @\+xM"r PFnEhnw!#XӋ!Uw .Pzʌ2Zox%Z_@\DW2Z=kD/i5R?*+&>@$7`h( GK0'͛,#>-fukSDNoqg&^ ŀs&J!ySR0p-=%o'U "KF4 ]a~?~K~",^Vpwixe"`Guyv9E21,ī 1"7jͫYi"J>CqC(r[bN{j^:<8-϶LMX7;#N$ɴ+"6$|aQh_#< wwvgR ~ě)MƴtB Y}ٜ˜ѴrW㕌*Hwf!;{1u\c>tQajg)^׼jUYJN=c`wv13i}]3f6sX|׆#C> ɐߵ {n}.,&]8=FU4ο@h>9Yl Jn q4u.}Zbk]I+j-C0KY(ӆ8Vz}wf}·\%p':~E?M [1U'H=QhNd?`0AjVĞS`& ̀-mA 05zpCeev: ) |w࠵D$XonW\`C%Z5k)MJ X86icO,'ۣ'!EO22K-=;xȲDrnޫy$]M FuU%-{%Bz@sk]V%K-Rjj0쁓*܃UKD ncmK= iUM/!(nrו J÷QɼաQ3GuO0ExtLGmpնHՎ s`4:Ϊ޽ZV(T@#[KWF,}ȯƒ$pLD,b] {p|C_鳱Dܢ^EhVau~{ iehd!8Z1f̄Utl b^1oB<8}yJN|nv /W#aAhnfO}7tÕW(ܨC;{)y-G25+@%U~[t1$Fiy( a, ]&hev8{-GY 3=L,mWd4C̴ȥ#0cҩPџծ9m29+T^&hnQ3摿me5Ff'*jÖ_]Bgoy㌇AeFN6WYﺭohsz&28աrrh cHhXLw p]u&Pg-rCe?A1ASJi&^W rxoTV\Td`Id `[߀?L6]PYoYu9qfkt9c2ΐ7XtxaofZ^l07 BM,b$PPyanV&B@}1yE^·89m8v Lhj}Sqo b( {pE‚ bZ(=1%1Ca!xZ?{TH.g a%M{79u3ߊA5PTFcjqt8YS J03$o _ #*a^\O&pp⁍#BBEgP:!5V.gq1c`T)4^UB2svƘOO C8A&LƛwTꡥ{1P@z8& /&+}9szӫ$15jqߒ2Hr>+9%ЪZy9V)TcM0xzx'kz" @bp:Oe(*HfrO;*Ĵ7A&{?m$ .d8N\)IΓ朢% BQ%!Z͚=F14|'c F#c؊Q酻I2xR.ogm?Y|u]G3/|՝" ZS(MgZ2qB2P]-u,q楷A(hFYZ=e9]LoJYk MֿUΎ"OCh)9i!3.9shr|V3u?1[$ⶶa8Y72h ΩDSF:FK5g?z7/r!@"w~ČMQn\V/K[r,6n  -M?@_Q>N^WTGyա-:6Ŋue6H 3p+Փ=5"^de(r * JTdR!JdvP)>(9ug#ҜcO7ë1cL%2: Q&RcCe5=?)sݲZYe~%;z `O4isZl!~IGnN'_x1(Sݟuӧ҆s>1T ژXYn!*g A>(' Bc'(nz,a4~oV 8=t0jf[A*zO(,w= Ֆ%bw%0rӎ6P JH1^Й}܄ێ?\E3!f,a_ "@bB5)! ̌zZm-/|=&7@hhʗV/lneÿvHz]Z$ ٦3!7Sp}8_ \*/Y AUd.9%*~VJF0}:mKFvWڐzGK gIAHAhg9nA+`kg?[ȥ-c^;VgQ7duIm5r}6Zozk*B6dtֈV+Qv}6?ݹ(s`Cl aAgZ!  eb-0]ۥߋ~{Coqg&vI EȺ:z^ ʝװ{(WhVaI 4sFL2ͬ!;JR(.L9Ah>f3-@P>lr= d_i0xR͂(ъᴹ17ZGBYq?h%$;c? #!!eh3kU!^hJg.A:I:-FD''\ugi6L8=Wb;G3I!Ki36Teې{Y_e`./yp7,.q|Ï XZQ.T9_nUkI.!$RR~\ sn X]߬[.JdتuMHձLlyCt7-&-OJt6'ݔgB5G zc\iav/W ){5>n>{l/:ÈҸSȍ=O1ƒ۵*h+YӘLv-.N.! LjBeo}yQ-6%z EEAyfX@X٭i QoQxޱC?bXXa0v-S>`ۙOxw?҇KԎol,)}[Ufr`!Y?z7 LGռZ<_MS#65m MOY.2Ao-{QK ~K&Oqq}~X!_ڔ%e@J<p9ƃlg(H4|9aܔ H<7w9jw*rqBZn~t(LR5/4 ;ˮ~5g].Jk3Mry~l(؉uaHWaD؜~7S|maNOY~/@5vΙ|' ZPEғʈ`cIlz r+\5=%߶1Zb@Lȩz*;.en, Ǖ?@-:%Q_XӾlk4D O-؃K8&=ɟp'챼Č !#KgD1w=4IL;}<_k|ODD! f<5v&vuӝ: :5g工ݿ4 a "F$A*Q,f6XT--ޅ&J^[7ɞ}#Ӈ^O\)[5k .TXmڡ T­p#|^.mQܑ4Y ?س!JwA x7Z%z6A_6}%Y74 j@yHl"ȝW6w7?QXg+ϫhގ{д06B 85`g;aBz |qOzra&Y*ݫwz E9_^3%x*6O$ ޮ[a]GLiK߼>I|K i iMTn~ra%\ cGǘK#BM'UHv8g'S`}INTE)-(l8BHط[nƏްi^Uj 3SX ٚv_Tv9Y3)F"aRO,lOs?p ɦn=(L]]A'L;;rql V8$8d3{~Չt뾖z\x2Sʡ1Dp٠@|K|z:FiVG)ə!׬22e[PJe7JZBƉĦa"3WO#Oԇhxp"4(Ra3/6ZnLGnP:ᄃDL{gs4H/% %t!h*c:7qf 0q|YHpYO+>jVF>|W]J.>fs 6D"}xh,@!$'LZ=^ѯbtQcր^U5ϔ8Y|*tu,Ԙ/**mDN*)KQEi1v-x_{?eP]jnG ~yX]xʨg7:O@ZSBي90!-2S΍%L3(Hc @{+JEj( Ԡ2GPa t)/\/0/Z-~E}Ke$liC԰$BVZoo`sLT\^+y9dz_߽B jPFPe8Ym©!7{qXft))9`;zq#,+~K\e'ϥߋ/Xp Lhf x5<T$J>XvXI C &+i;gtdδ^ʙ|0L<*1IX[ Ӣri.Q fbmP0c HOG% w}rM]d^͋U,lQ2W7ӏIB̶fɭ2qk>Ktp|>g9Õ9M`A?>[X{l>Ga/ Oa{P(zzh^lED5+S擻o57/W}s4mD70^q]5N9 # ͪڅ SAer~iw &9{&frHaDf3a(\c0q= Ɠ!w JʝEޜ<>©Vw"e,ԫʘ'snarnX8y?'{Yl'b(Ώ}+| f2A9\[,؆M笖c L8Ziߢz;f}t"҅y7,DOKBsgr4ӛ93O,gģAq]EV|;K~`ѩl*áiW@_yF^˅o*%E>Lbi<:;@[-L09ժW:%*y2L| >I?㪾&dDƽax=x9a$7+Pc (vz\6nWYa;!RL)@/Hht&زGG]h*&g\ޣi7)io[Ÿ #ʵ. yC_%E|"р*LfLwڐo نܓ !9Ö8rY4  Sʌ 9ZuE\IM hN'@Q7>dEder· ldnTx+ĞNk&eMSYtMfJ-5< -:}TBQ2Ҩ2)"0O|U]y JA#o^moL7}e(:\\$N 7UɹծfUO|69a5'Nak Yn}_`4fZ![GO?5]v 'mLc|,*:oM/&jlq%V!#m;B ,Tõq K*/&B[͙rBM{^eHZ8r3YwrXƉ*F:&h>XɝۿʧEbQCmd :JIDpz+Wv*{ 9XmkdK"@Y6N(BD+j\ q~'J:ir<S>M7g;q1N8Pk)X?>6c02υ5pasZdU| `+烧{jKIΥVed+?ߨ؎;h8rI$|6LՔ΢sK ۼf#߃o-hS.- 7oЖ9ᡗ}UKgU*36 o_ N{,9)#5iZOG%M!>ca!uTCQ.:A0vvݧú2j|NԯIeh=ĖRnc~lk?WX>mpyH0cӲ2B~e)39HQyxqQ]+dTyn J22COϖŘg ,e]ݳfUpVJ~PAEP]ܝ8+r*MD#Ɖ-GjG76We a7MMM%NwEŁ'W?%"1竺/UuTB WHև'G_k=C~qyI;_M;ŊI k$Ap*&/_ɘ?Gkw(rVe4q߈THs1gt6 e"FZtÉ`^tQGZHk ZUZfDKʹH*j^davTsq(,2BW9Vz1I2 @#{(Inᬐ6a-}{DbuHka3AʥJEX_N331+ 4J:8EW5ra|uoIg6,{;r*=o>K$7-#j~X:Viݯ0K΍ߖR)]o ; <(m+RVWsE"쬚bk{glē yUXf{Zƙ:!j&uP5_TT쌝tRK֢jPII8oNsgvܱ3#X[D)|v58'_Mym *(Ͳǻ20-C̀2!͢PS#ͯ\|$}gUP~ހ!"BΒ34hN.HZ䀥ǬFemfqbiClFV*on%," iSڼnn9MZbR! q{R8* 2pǾפW\>7Y>Oȸ92Jtc׀o-ߜZ;0]x8c8؝Y2Yg]0o04!<Ĉۣbz/_=2zPyat (+[#:Ox $&%RFTbV`;\2Gmu"NH{m"v%7Q0-]PmI;,ɿ]/ [L/qC -8'G9_hO]gpM}ҏb'Ǖ;{8c` ͚ :( jǤ=a55͉ݜS׏%PCˤE%%;IgsKnd퐊S)%G"qIguV %EGei\R6.Cr} ]Y_`.$(Đ PVq/b*7l(5=O`cהhDG?ByF"i ~`~u{F£Z&=uP%)zY9'GجnȺ3b#I.-#&]+A[ņ*JҡN_&\ ?˩Uk#%$K}ٴq!*EGYc\`iAW/ ^ID,m kio2Bd\ \TJ'bKF7rӳ\_eR9c7q~l][Hs4&X)YqG}>7DbW4Ѽ ]70+$?ZE`"β)cKrc1:zY'\cq4s6Z0o77VGaW4t(4 󈲲|tZrQ_I+\ d tP:jj]aP ސNO/$Z6MNWnGL&R09lpsj{/{j]"~R1W[w\٧屘ħ%Y\rl'_ZJb#.̽P.٭IG<#ߠZrAhx}iq#mǷi`/fa)jr"/. fchT`?̧0ŵ;n[X-0{`q{n`)fq~-i3|[!D@@b˄$v_"p(Ƽms x5#7ْeH3}tkhF˓-I|ϷKg5Z8J3(.m18煄0ɹ "Y@妛7E& {X5_AFd; #4Is#}Chh2xA/O:k%%🤧tӾt Y LV,rVy#:fDuVmFYԧIdqhcx0f2cZ8maA_A':ua]{S(JKOhw,./4tpN+cLBpX:G@RکTl 0XXAN,Dč3RhO IW2t(;G|(U+X\ $ĵKR2#ڮ}9N` :B//J|5Iuo ̰>Խ H=3n2 "%w xB4͂j9 \E^jzL}5v*18NOSlnyx_ѣ馈sNkǻEVDWAeX[M5iThs D=q#D{¸^zNJ*Z^.胍;rds~)_>GIXZtY01覙nv> 1[#h q77vE!Zօћ0>$Z֓avVNqjn2qr7O%|tJ\K2adQUÏr5.s;K{yto!q=aΡ |oF1#y`R7vz%5/ŭgVI$ZC^>!Tq. ꡪ.x sESeRLfCy~xb0u2q nV; VM-[QlG-Ԏ]0ge_C.4n~y!=lxcEq]*2Jp?Β/3xsyL oQa9_6|Kx:0fKO;1z>kmUrMrr?І0TPU<*Q|jWq؟ P"rM-~^=~#Q8(o@|}^V&NFM9DmcsedkF~˗yXh=$p8K CLfgG R#%ȮRrxCޠĒ~:i#dHuI;{hvyK&0=[oDh6xI,6ߜlZZ+w% EVMћl9 =>)r"ٜU_G.5E>LpտY*YD~ը=DT hY8lR涭D@6#GIm_{i G#~m/'Ծ8qxHrp{}()<9U~Lm9ZJJA@"}K4? T|{Yf$ }yquZۜ"S(vk+/G/ S[BC۪EF{,w <zB1E4dthy_r LAYΪ LЛ=>f*Am?ms24V|+grdK7;4#%qEJqnIԃI̳`*9[W/ǂ) vW6LC/lpd}?(*JI +H硭0{y! ՍT3H~gt=9^JU Ufgw *b VI bK(ϯx>/5fE[ +u%V6.Q?:){)u,McUT ]n%b. a3{5MTJB*^V;% Scqd8Ut'Zio|>(3UαF$/3TC2{\0rvCZ>C|Yx0v(=LΛdNV_jM $|=[#2jF{|e*n:riah{!+GIL!֏`s;Vts? @y`2MRGlOU߷"n@˫Bbwy m/x'ܥ6jǼY43wjA<+L4}X+ ̈́@."",a9'lMNd.T17,ϣuaPL|!Ӡְ ~|.\dީtL‹`VTSStO1Sب0~0XP {:t֬9|E:\2~CL6RyIY@r7uXw-+Jdt6ʹ,B_1(RI^`?e@(SYwgRITwFtF$VxBqH>vKFp) {cYX~B_a^G5Sa%ܞQ;Q6U]~2k`'D:{Gsٍ׍[<_. mv*aHzgDijQR[s$>4 ?4QѤ}?XDD7ݣw#K\:M*dݭGH.sJJЦ4 ҽ28ؚlkSq㱃v\^r Y] +m!`+YlXG3vExgE)e?G-vVӧt<]o?5^U9+$4OS#4!ik7- jT#X4xgUNqdsSbdujcIdj~iQ4E6ON1 XAzb՚ ']6YoJiIO<AXdaR)U(n B;k"]E%)S"}W(ѡuunUcZuͶJp]|dB72gNmֶA-TTLSF&NhH@L#JɆYL9֚t8l?9}lo|鏻8$S>a ab[r *ÈK^#l>`[}k'f5ĀSlܧqީc_1k< fH(rԫ\&fZcm ]N]7%,b<~`mH_icN]_1$̘-Znӡt^Do9 "UʉOk?,kʅZ]I92 ƍ&*v7wwNǸkߪtAJQ/gը fegMT=jHa_}qZߜ < V(.|?6k_v?2/{#F1%h9bJړFM\>5(FNr4u1`L}CBM0F +g=&Ƒ@HAٰ@5x$w#A-\Iy My9$wUSI P6E/X!`~:ƺ9KN膰@!\c|>JT!/lnp9103 i9*fX |F;[q\w|ǝ2eIvciP;^ M9')ZI/~ltd!AوvP@Q! *(<:>"OLE\0O`t4 LyS ~E8Z|s1 /S@2Aw/$x-VbDYsdթMr}bi{Mut԰n"+}e7oMDI\Lgᔪ 8n\X4 V^B@][-0-؛s(3K;H#r7-cxzʽ5@t#f]G/c('ZlߴKq /cuįHk3 )uMUO.WRxlBu|C6h8"$ . /T-TvV jA2`Yxebf~qksA-k|`, ,l4a0`!#Qn#Ll:N:k-w^9GVLNq@+m 9tdVGsO4wPYqyY@b-[Q:{zڒq!8y&3LKn)$N|^g[F,>f!*Ln%zEBg ڒImg}b15oLЫ6M@%"xe u l˦q^-tkV#r?SfVfI=fRj S:Bh@[d;{$J~tP8%ds7>0½5gƥV+YîZ OU[F|_*@ IE&FR38n:y^[8{?$i}A4<u5u|)QbSXn-RP# -kIFgV㮭UVMc{}kg:9waVbKIH(_Ri|1t5LZR=$َ>yA/|2J70hr{*#پ~~22np;- V3tpe{Ǵ>O"e~._ތJ ˎc!):iTM]]p?G8jcs}eA)$S<؟!szmiBް2AfA5ſ 4eJ^xr,VRpSWTB̑ėwKfl>$NnC5an`^vE# fHhN 2Z8v9d}Y@Сb\@Dq 93qԤDžA:}xLE "Å;20?0YJb[۞,Ї%ң9i =#@@=oN;&rҺU:9zQ3pV@C134:,(@C[@T,iv؀УG o<_ LvLUm6NtX FS&jͰ1@nq3yPE7JS7:e@4"ȷ%R䠾p޳~͹Ȏ[ M!o lyPYl)bSU 889Iff1u\xx;5<zg=#mV ܲ,kG}'*,6+T2:hde棄TJR kA5;7$nnlSϖ֚=k6pdv6J0l1h/픳ZK~MX,%=>*ƀHӠ}Pz`#]` 7.r:HyGlE0(^#K m!N6,+d#wk ~]f(B!XrX6 , iEU.Yõ T3~77B\!ԯ:!Ủ(Z4z1VǛ "r'ݳK^W2V9O:oqscgb nVYnBl2׶tlj8ہ"6:ц&d5bQz, cΪS6<+9 8^˦/ IB%J7ZCBإRg箎lI7p*Y}޲ .!qf(UBin A+$E+6n=ojFJnS$Raո z "z;Xj̹Iz@;YS2]'N -W&EBkv:TN3.5&E[~G@7c t%pZ]Qh,A 4{}=mZSˆa13fAI^Rm`?=!7^)UaL ;/; b:H 6|߿:O=BzqgӍR2j|d|?1IaF6yu@.Wq4e&ڰ8\g`2 |Wr҃\sh ȣ0V?dX{s7)^$̋?"9/6TGw"G權i:a{9t bO^N@ExXΖAPHD!@o?0oK,7m4NAՁod4u.j8ꈱ12N']S,5($!mL Q;(i~.3;,* K`' [dsAqu[yo"j48G-Umhksf!i6_Sp7!%5>mrcW=P٘JS؎sy,Ɂ'J:i,:+HȥO wat!*bY;6gO xJX9iX+sohee8"/So灶W!!J{C," MMA*l{[ZCy;[/X8= 5,5ץtIJp[p"5yar2TŴiۮLSLs `'#[8hDCL xV${ƽE@pv &F+:*G9hSHY2*I&Q,s8to~dl r1K 9Wf6R<\8m9c#@Y>4y#lQG9'n^<"$PYw/.s{W8PB=lF88fBQEUUSP+ZL7 X0+ߞ ޺SXl<)* mR*2% 4ЮW[LESht * P# Gb8*: V*-ZqOgiMn3C A1SZU t3R-?H«hVr 2omXJ2&z)!$\. }.]LzjsҘ\0Ruq#pr VQۡs6dwB]d~k<y ۵.8ܒT,L&+T ;|>Q W=ך5q!>,^X+ņ4ez%+ .:OTwD2/Nl0~~XriH>YկiSD_?k\L$Z;Tn%o/ 7p!P@bSPGQ!騕VȖN LalΪ͒p9I݂D%70-"'](Iȝ, >JāDus:s`iq-CQS$qHw<3£)Nj\/ 1?,HirQıa)@NHn*sV5-`@[J98|A"O7"#a 4: C+6}`ŭ$<"REn?r a% ]WXb#ื}tt/*GL:Ͻ(bØ.cm:M= \ȝ)͘(E ;xGQLGo8Z2`20Ŋm`VaT]wsmOsqh~|>SXw6;*w?SIlE+CbϨX="K{Н|*%1^Hc8;,dÇT#TFU:#;-AIύ+s[!E GWۼ}IqE}ۖ8pT.ا(RKM!wrPh8bҀ%MulQCV(t[Õsou[xw&j`rBTbټ,l@oX|˟<_|:ȧ1Akc*>n-Iuw'y>QF#>A@'l"jLHKB-6'kzf O9 C t+Bs 1$}͡9. =ɁF@%WqÛ-?!'8.Ip*& BNa)oPj%xKM7\9 ~ Na;[}%}Z:{HIF3gK#K2D j $kF!v3j!0y@_cE,9J!"SQc _:{WhLݧ/$5X񨽡;6y?2n* Wǡ'TF9ܩ+2(.Ckpk3I$~<氒QφgPhXyERE=b83hʼn40(k-/LܩU3i$HsgH]y 7:8OMon='T)`?\Hܹj~eHd ۏ:ۺÈ֭|0j1}|-%-3ZYLtԃª}ZcD}5BtN$UwS'=tiKtlh{2*H6hM.":Y̟Zwo#nM\%a)C t7L3.|H<"&T /evC0b BE|F4ݽ8A6. p6濏^6?P#;R/!? TJ.+; I& Cـ;79LNi⏒ eV-?ӶNx>2dn-A좑"y%#CP7˦2ɟgN/m TMZHج͉*]3m)#xⵜ)l[*2 Η%&D*E;}D W|m869$>zm)j:%oi\H!ɋ5!$ +kڵOۡFݰG=oҽ商 z:1p*@/J wѾP /\B]GH"}`g Nɕq}ûRqil7B$]Gfzl}3Ƿߪ2mPq20e"V7`!8ScPVbC0𱟬#>6oF켦OTl5{|"<&@s1~R_CڰKZLyD?̈q>R+mOF_ 9 [\b ÆVO(Tf6ƸE|ĄaGfsocG6e,m:5.0dqyEqW*qλ%j`Uڈ[ '61yp٦кO7j9p*FPeiy<~._24]xi3E ϏQSµ=Dþ &񮌬dSw7>SA@^{5e[Q=l&>HMM]4EQ ?M]jQw"``PD~H1~G#_TK#HXo )*=8r3(\{(bH'؂U2m;n=-J;(nJyyg6x psnCBéS<QC3\:N&`/l4>O4řb_I0"-Flַ__00p87;>zN5D<0|醖[PϺncmLlz3ŷmH^(Ns %ҒVQ|JQژp):["b" B+\qQY~19& ^X߱gYZ3685f2bc7685e87959da80cfe5929354e34f97753ef6c9a0eb470e4693e1ab85852721e78e1c146a f550ffe99d9ea6d3907e695610a5094009d15b062293e1d514bbc4ed5bab5680fa07dccbd344b33b