SQLite format 3@ .;  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  %~|t\ ]/]HOL-Analysis:threads=6elapsed=320.124cpu=1690.124gc=110.4527zXZִF! IV]ŗXiɟW;g``ϐe*1ϒ CԸ/PhR+i;#~r*Syֺu燼f5ΰ)*%^5&PGOT$ wUmtaH82nOϔdP5X¡<+-+ 0#ØT|^ze44K=6?s[YPםpӃeF&l׸!Ԣ04ω5< 8y4 8#D$d.VNq8<遁/Od3IxZ' X:Maa9>zO꪿hx@9"#fԿV % HOL-Analysis  Z䢼RtǍ5tbP#@EU,'P &v sx۩aMl&Ǻ1 #(1A맇qHǟ??1u)1 XRb޿56̎W΅ihY \B JYq֋Qx}U[ aR i&X@ ^j aEK `9/p752 g}%Q3qyJʃCyTK\-L?cU+ٮ2]vseӃHJz9>z}bpZsh2!Z\tN7%m֖Ubq#=PBZX>KrӥVp<ϵ<Ծ&iMUM(&&I!l`|(ĭso@_{U!F'aD/)K|ޥضfy0zD#X[Y4U|·hpe,SOdl#;o!uPfۙ&rjogă/j_v^hg;> 3`?0(eu1Bw?_,(#*D ,99QctsPAS[Ț;Tч'l!\}f #t`U0[ k:BvwB5Yݶk1Ǔ)̓V^}#lX,-'U6L H~y G<<O#l=yu'l&X"0m 4oh0{{O?NHm+,7ĸ EBE"+ވ}t,GO9ƊQ7hYWok:7u NoԮ%_b Vv`wPq&.Rr؋힪l`M=7tbn~k8VSb,ŹJ^p:K*U&lR|kݼK^[k쀙Q؋A)6^96ر&1S͈T3,!F"dZGQ;{^:*GuT="-@Y0F|g͈=[KzR1s01~>w͗Y58pM-x"ę 2PG>OpE#F0CAPt 嫕^Ť@k R_MVz+rIHΩ>-귣Yy`(&{a1tgᲘKNzfɀ/қ~F%mN?X+J,i NE⧜8,}GiјHL/^gn[ˑ \ ɡn h7 bK{oPyun` O$ ]qj(B$H+r2MȯdjUr{bѲz=Eml?@o+Е ԹSYpS{Y;W+k8;(}Rov Uf"Fpe5Pg,!M<{kt d^Ogjo<傪xuH?y Y~rqn$޺?Y @A~7Kl`{sDwAz:HQژ س`DXAj&0k2o􌞸w4k3&ƥ^a`ǿ31dWR$g]5K"d] #y"Ogj&+=0~CR QCɦe=(Z^ 221T@K*Vh!uLW{ۯ]ڮ6HO; z w,̐ica! dC~DszC_Imq'.PUz `T 451gXdcG^r]P./d,:fya:}ÆSE %<|@_mYʙυ)b蹇}*ʦk8 '"i 62hfhh%kn$П5]FS3U2X<~ZE`΄|n8Y=;8i#(SÕx~7r}pnQF,r?/}E8G_r1_u󋼬E=mB^Xw\qp'qCHm<:&pdR,{Lx/RSQYcB(V6KAYãL*#Ͳ8AO7P0׭1&IVõQoY"fhy WjM!E!Ǧ2ZF#Ovy+у843úuoAk?q ԑc]Y[hIOh: Q9PcQ&cfp81]^K٭ʩg?_Q})nDyE1/Ă~YM$@{.qB'䢚ϽYAg A)"GZB}Y ,=YZ#&|}g>JZ&q]nv),O F̓O[W v T=vNLDl7z!\wÛ_C'tNp>?*p9Yـ{JCkM)qe n^?|5F)-h%bc^ g5)iaq*Soc ˔w"5Rͭ{P=<ޛZд0{S @`N33AD#]iaPB6-]!6Y (s?9B*X$xW ȃ.n5;#EkGv kO ;B o̶eJbо."9k˘#v*-QwW+#T.p,+>5"4[}?pY M[)rsBr5t h@Y>~lӕuqІZLnB%%4La/#>97jr:誓Ow}jpl<)5հdɽfi-!o[EVF$4jlsهL$i_jz~kLm!6C!8'X[߫9J%ayUiHnٍۿc'R'A\,ӟ7.[xDrL5#X?f ١\m.ppt#D9 X| % }&@@oH4itUJ?%@lm m'5rήw?HA3wM3^m4fT Q>МOSֽj̥^1D?jʗSR2Dc'̈́lFhvPtS]yxSy_{B27TgYV4=AVXWuMBk;itG7W爇[ĐI{ πEZL j@_Te+C1.kێL[M%/N״wO$"B(9욨~@+IY߮Q`e6;Ņ>ƥ'z7l˳&n lAo<,I?)<* P5]縉$~h2 \+%6c:f ¸+G7py7lNm@OƧ1E=Y@{_zsF@Q>ʄ鿹+@ !qZ ̽ll x8 h7n~MF*Z57)[9hZQښ4fěx ^B~k˅f`\C{@kfEHvWp1Sy0 9u $t ,Vr`i^C[բ%#= 4!$w"{8)M»8/"EpqC:jWWm->f`(IگN+s)<#]^poۡ 6sWjD~[\kt7 # (*b&Uμ@Bv~Y879)0Pf8-> FqGU`"OFʷ mͅ%0:?|i^\UO /3}y,\m?m]5.ᖐd^c9۟Zr AjHWLVyՊl&F6HDc_8"oƋkVXb,硩[SD89x ~ "YL t58'?i\zA'H+w.{aZ ԌRS tX ,:஛0<||1[*q@1ߕ;ŗr.YnYju]dq>,~XHTn7j-ɍMyd9S+zpF.QIKݔ^ `n;r:{Yϓs7vyf=*q J p.ݮ]|ǓE;y- ER9O _ϰ܃ ! AeO&:G k; :3ZQcАKĻ Z݉+110wiy}5/4eȄzLTca?Np[ IZ_ Q zjРa85Wwvq=!Y ꩢRoBS|i<<ƋRJLցwfË&0zGIv!TkW/rF.hglz;!P֞ ŤM 4PAOqlGo[#\1-VsLMr2%T-"&@$3ilvXn0z`roaG eGx0spcPL6u<%`s$ٗLh:61Y d1WCtcHВ8\(fn;VֿjjƠӲ4paV{M<ˌH`K#`/}ɌTD\2@g!Ҋt➂Fg` WDW7_B(,5ṾkZv3ij挎]x_˓g6²^֫(vGM)mnwX~:OAQN~JB9>㋹?&RIȮ)u^aeHbblaE4ԭRG8D5W##9q-ޅvgd*vKݚh46::wSHҩXJN^ bCj$)] nj)#xұ,d,0 } ͚eBd Z+eZ“T),0>R>qתQSRjyo#[khjSa (8PRhQY :Z_8Y)6n3iꓓtٔ`fZaѤ +-#UQ*B! NFwi/W1£@ T_]@pS>xcٮ,:qXJ5xUs6٩Hw3d*h#\BckbTy;Ð_Mv+uFH-!zztR6eF0$Y0kZ7E]ᵰs~ "z>9ȌLw(q@TZ~APd.K[ >hx+<9yB`jr~4cTSQT z/BS=$7rIoIg^E}JY \6K-ꔰHoq'.58,˺`ɌEKkwB ؀C%KBC2,nϽ'"qf ]y l%Du'+N[B@&bpb-Й,xQKοr7| 6zMp~]1hY<} ޟ hF%l^EXbDFٵ}&-U^C$eD=+=b*rQY-EnezMD-Va5$ꘜbt q1NT#/{Es@ў-@+.tL=k.U*ZdMck:pudVZhľJMlՍthNJ:{_uAص)#BVS; k.Y^q58i:]jI;`ghظ{+CCwV*E& NFu h^eT,1]|]CJla[N/DUuEW !Fgt*ꌏ;\-K ?1.i¶6B:nt,{ ͥo/5)lgW;B 4>0]&`; Z&Aq շu5m)rc~ektuw5* >։6MYdio&RWGz~"j#c/Ǝ}DC%*rzȁ2s`rGTb_IrL6 |VFo'릫&o=AaeKZSլAcWa*:xt!ƧG,zNMڕ!̶Zr<ߟ<ՌDJwC9jP^”iC UɟY%P YXn$Uuo {{]6iUk7d\rџ(zy*uQ'vDxrL 3 0~0[~MX)iS-IA+HbT,q֮>hk18T̲˜xt&e:gr^?53QU2u|-T@e 3EKøY4C&g5!u?~,2- ;ФE;aXck/.ٖz #OfZlN-(8U4/\S_w5zy>C.1<8afT%G­`_T?n m͸!"^muv3ޥ%%n%_Ώ5B)Z&ؖo_.Z =. ;Y2a~1+Qq2PVJtV6ݙ)@gn~Ng;=.l 6,&nǓx HwIPJҶmQɦD~I2~ϊ(Q>zb$T΄-Pdlo:@eT@ZzXWRJeTud&Y#՟ZL_Ռױ3+}ey>jS SQX\e1Z8xC:tNPʜ!v%h-VKCH2ӶT 9MqE`srfb~V(y$+1MF萼P\* ұ/إهCfdƞs@Mg~ _fڊ >*9NB<^d=_ΑM`:xY dDeoc6J蓘i07K@%$sPX&O+]]JP;#T :Jqdj)^eٍ+#\BY26 Ӧc}[ͬ֎ҖSxeT\%+zu{ /l}Z0U18"< 􁦮a:㨠QYWU`ŧM]^"$B#O5 *?%ѷFP쉽(292v6Q֢PL\ fp^zIӵQ9D p_yWQ\Kӎ^G͏v#h–v  q:Xˌ%ѻS~kd f7Wb`~f畜B}>7ax>!bǁۼ(yK4c!Jw6d~h7(!"3 ';&,AC+{b ٺ5uT47dTg@p%c7 %ICKJXTXtw [LNbXiGY8{BYA_Q+l+QaKR,6&+w2-ߧ: J./#dX;.#sY} ti(X^ouE,u/x nM+^Ctv7SLs$wI>;E9U(bi+G, n $~cIY08l<\㽼b/u꿹- ^AV]yRc _bG=?k67u#QvC6ECV*0 p 4a_Ί\ׂr9T 8{ nuٯ;yG :mdL. B~yp0s,q7y8,WzAyULJz"G2Tb5C e|ͼXZKg\~ {hG UT$wP?yU6cE~ LRj%I8/=ќR$Dg̮B PK hzL% Y9Sݯ9++{^͚S;% 7$>&|od?xwz=Wfh M\^_}ֶLůpdp+uP*Ai'(߄L4q8_b@q9 \*:)T*DޫDnZ&kb)4rq'e>,i#i !gmtla3h]izH pw9BAIJ3ܬvK ,yw83٘HiUD Ms>~99+[CsG9@А1 r8_=4”tNF|~.*-=/iGg m}騷xff#À@'n qN3:A"5_B\R8@,+6!y=.9+rߣ<d:`M6C~r[dx;dh hJ =iwcZ-FuSAvO"h݀B|S BJ%//."ϫJ,FX>E8h_ h9,\̕O'ۛ_*XC9dSz42VA',5JfLQ|%T΂]@Bdb:-U\'`xCzs5 t &;u-z{= JެEUfް+n7%Bw͵̣4 s_ER.%y!wiZW ߛl{r%tÆ ӭ] &q҅+Vb0IcMG:(aޚGݴ ༳6؃'bwt;#lv]$,U Z"Fx ][%YpSy3ArFSرWHI]r% ߆ZjA7W)|g*Z¼r!<;2ASUFP杖wݥXDvU,ϷWV*]^#$L^h.rx54<ۍc hLtpk9\߿hVjvcU ;-/rz 9Y/~uؽ8sB@]1[KlǛEڗirdށtTPaxnkz7a<3}w3;W%K҉aVTJF1MT^壎XǞH@Tr=Қwx cFmi\ J}Eأ@\ӹpQ;^nu~ 0iq[c嫚 ᒮl2,fbw=9eߣҊ8!Tm!&vs@$+! n&ͷ=Ld)8ߥX%-q<) f5>3ʏT I2{9AAdI50ZFyvÊF3*0GeBc'CWfE&gn0OɆubm0;T_WDQ+i :Ȑq⛾%(O~Q yEcg.#a ϜM`QpO`{e < ]$֖*/bq t@U0~(_ Ely2fL%~9.EgW "#<QU 흥$6)3Bkԝ#T&Z!:*xȘ;;+(هz^چ.ڴ9[,BB7B;'W&.XggI`%= -U*`s0ECRc/&ES6!B&[{]YAWA4ҒrP/vG}DttDy+@b3hbVcxR>@d큽h0 ܈_3'=8mC~aH}CdYZRd/!$/:g|j=Y$aw>yaf2!n uYZlNN@d9j/brcj@'^0+*;{7eꩈHgpӪ96d"xLxߦW+ ȍ uX[JfcRpKU؟(Ix~y `=Q i`B?}1cQ A"MݳsdȈ{lpĥZ疉/MRBa˰efZŞfBKRwD#tfYD@'ŏ o,=".s %:/.VX3v㑠hoT:0k0]YZ,-Zp:#,RIq:_RpCn!V%h63:-+;vƖɅhL172-xO$VZRE^vܢ2UwϝNN[[} -2"u{7~A(rWtd(*IJ+So> v[p*U L\_iFpPNÅDB  *-z^1f Aq\dD)rgݸ`L= C܋h%Nj"mB?eܝ;a_hMnvq:i' ե"cIPe?A"O&$Y3j*ѨlZ2s|ٷF{q,K>L&8Z*$'OVa3ڲJZq0DI,d6#E+uA>jeZ԰7q}] Q9KfӤʙHpO J /8Tpa!Da3,Zqƌ}((ɦiO>8 q6^ۧٓn|0'դ%tAä%s@wL.Vm8?~ p%:򠍰a-y ^ ~"Ӏ`,ͧ.' ====lXcw 2_X. O]V}9pYX;bB flXqIy{/t! d|@͇kA@Qg gͼ\4ta:2z 䶰u"nۂ -=x&OU*8woĔ9BqR.}1rAp9!p00,F7輎֪QY`, ݢpz7s^F =kE6Ƿl6*0hXYrT)fj(6'/nxI '{ 0j1?\ycfPb-\éKAj?O %`ܒ ;?뺃K۞bx+ vAHM*b3酟q UnvJ'Qp*ޫy}?brsasޮT3[3Hn@^N%휵e7/01 >eYr2W-')5w5`|0L51XU ;M@TB'/s»VH/ʒ%tFlԢ C8\#BU)9  j" kU>ZE9g38P H4h " ^;s GO.NXdN2kS &|1G8G>)u*(4lO?sE3 Y^/.ȩ7u  7}LbFT{B'a< BuJI7h;"x,n2.?ֺ7P)4oܱ"zŔ<@ P5D|#Kb_58e#}@)TAQY h՛/9E6Ow2uW1ALb"o; Rp%a腇}^) )" \`,b}M!&uAjx̽C_J6݃@V >iTk)H7nd\#Ñ| /׏Pe1-[4P 1?trDMA۶E,.;M@f#I!:oҞ9V&$8wV[CKYHFg@)>1&+;uy:"Y1%rS%ߑ*'h0RfmL?[ff&֣ ~?F8& m_ >hjTTd#6,3fnub$]~ѯ9XUs.͓P5(=Dxg k둿! Au4XL5}2)΅iL{Q퍦 o {i si*BzdcKm-鼚%, f>ME;_ h/k2'։;8yΕP/]=E hDZ9-#c8t.ԇ\cQyqC15 %#k+5Hlk#(O)cX#)c#lj>*oAH{cevx*NηN7Q+9B@H!N+m\OSw[!G&Sn1*+$v8ksWW7g׬~=@mI#׽]6R&`О׾eysvSkY5h217o': 0w #N<&ѳ*Y$dXFO Yk0*rqsW,uo VV h,O VñU+i, IfV"p7_xԃѶAT̰Fh͚: e甦ЙRF"p_gM&3_ J=Գ k,d0^T1{ oO'PwO25kR0*T3[9B4"2N, ?B&c4<=ϲo*_8 qѦ.j'*nWuew6:TZ]y2Ьu3zұ6venOݐ[1p +u8{)bP}5!^:^<˵W@$Yg`d{-OLsa*q-&i-x]X ZP5m]No:TwQsauUV;n0‘ea P>' P|V|%M0?E|qbk>@;Ev}A̤? |Uèdw\N|A:2]`͔ 嫺(r, WP9[|V(je"v;Wf<ـVm^sp8@N;qU$ybÂ@GPRs:X{s!ѽ5+@Cs"%/dˆy|H˹;b"W$ۭF4kFi՛wYU xId:4ZƋ[lŘ%qv3E;%W+IMdbPvFLuBz~BxeA 6 x(^8qwRbh=+u^~9%XZ7^Zc!a`/Yؾ*=_ (!?8TSG" 1˄H';fhܗ[9\\A54HhK)J'$Ligk8L*`&U:jMZYA,Eu+VLޚP5 =:ah{e "r<; nLi0fkbʃStemk1ѝLH>+N" &k^IFD>O[5_o">A8uO F_&2E \[pՇznşgdr:j c-h(?II~lSF"6Ks%yBfP[W_JaqGb|n!vzG`l:$TB1oT,uX˖R*DW6qD~Ca/;\ett|Foyxm& ut aŋ(^ K sҿ^f|+~V4T+NB!F `i:6͙FdwHm~PE SefS֭kcWqbW \2M#&ΈNejҿRLmDEu$Zm6Fm){Z-,&YEn*.d "uOz,1Wb,kfU!m}'m883Nd)\e:LI#wДefbI`I1#P &72mRD_'OC8`[(if֯uԝjT59,in&|?pvg.TUő5gisWjT={KekCEm*ʀyu(9^.Esh 9s3h *AFrK@!vqnk.^f#? (1 Vo<6qӸ>Pfsuo'wioKEZgNItoDH߽Z=-[/M֓$CA;+,lD/=QN^$ "iU;`}?iYɲm8vhWCA}J "S~hКa+:q7 9^G&K 'xn8cw(1B5a-N͛K/9uPhlxU*UE k#pvxhs B{ƝRPŔ%Uq]=vDž%[[5%=H@ Zws}Le\=0лD`X[J\l IM e =O Rqy0N`J(8aaRr6s=TR1׷ÍAߎ}1h^o_гn @Y~D!9QSy!B+I;K c*BwaXX^`Oh82݆,5vہnB8DF\MH $'_ݴ[ߓ ZmJVp،OtL1v$`=ٻe>d5;"m*e"˳2y[f~zdy*  .0m+ݛcS@3{PJs7gYZ7zXZִF! #ph]ŗXi%L(hAW$f2% tKZ}fԖޗ. ɖzv'\E*eHNFLrĩH2S>Dcxu6ɭT1ZTEnb2d]BlS/F92IgVZf{ӵ3Mn~Mf#zvjVnGLWnG:.sEiSylΎq~dg'#FȢ7#R^YBtN5ސ$r)N}-T"ڨtlI] VZ$MMqh-8A͹6D=FᚢAN^pgSRmY)dW:,!ƙ3G*| d2D݇\kE;KWs8Ҹuaa(Nx! $^YQvo1DHJ~vCW(;GRby@.M}$OؒqH1Xȅ3Aի?SVťc</ғxdmנ]WFOf=?P]#}5bvѐr}lY8j(6QaUm&)nPc V]?peԖkf툣`njwwjddK`%4/). N4F>,I22ـս"oڸ;"I!{nSMLҴǐbvdZrӦ3aKSxHi$;CUW@Ƿ&Kg-TYKYBcMPmM%*c໔RNwifQ=^\.uϜrd:0UMi?l6gf+ 7#+M(2$(99f?8th;kD&>v燸 R2<*'H'nu&qdߝF?'>iQqSzlb#CAr>O*gڐcf#'vVabTySD݉XCE4AMj}?>+B-+t>}!kђf\I*%3 ΂,QG\h$0#;u_gn9iP!Z. <j/?a9͵]EMO㖒&fZ>y[zHRIB[bڵ͜j+&Pq@半,G*&'tAO|`R;o+lY*ى. ^|ԭ R ԤAWxU!)h _Y=de~&JU]?ed3RwC^99fM:ܙct9r %[j[}l~uNr~M$>=U &TMbX#vۧVoH KWS i)6'VX D,ش;Pb r1;U=K`іᇀ];(uMͬKg3.Dn~JR޼PN{u|SFՀȞGK8X𿔤A0O!Xw f5[KhpM9౔6轋&S^ohz0dܓzx7y(-y¢%TT">2_5RFi ,@l2*2h?9=X-m, Yk5M[>lE!+'\|@Gbd f2Fu@ka" }ۥN+GSp] BF}fyK8Ř2K5%Up@&$hkuaݴ AB^imB4 ՠN@oj*'=0PFmzKut_O e%8#&*rO=wyU,?А H/#"{!1?m8ۿ"۹o捲?{͸BJj9}uDMˈIqivQ)_KmyUaM Rӝ-͸" !9ճڷO;lTc9|wfy7.Z6C.C-_'c䭚@0׫].u #FyjQȺjBmUHR@.3c\n\LȢcPji{;>ʛ'Мtiܔ{^,`C8J @ܓkX40I8MjP;- fS^WxYh[wB]ӎ O)"JlǑgkRL^@B+2͢3eUqCcn0b6zSS٦h'oIYkWP[ uw~Tndu3 wBֽ|"ąRokua,q[m-w͑5BuPU7[r=Jy=P$=cHB0ea ô(r &uI-(S)>옠~vбU >J-i3&Fud} VVAuJ="P hLpK_ֵ[H٥66 gg )EM$"lDdȏ?5ID-)?P,1URr6#tT 6!@'Ña?.,>-tf" 9[( ͉O0ϦL}G|~/RL3W۝|rǛ%94 e\>vECt/p켹c!=KٜO@qiJPi&&[  y˷ ?>b _,0OePXIC=z_9k)띷+7 Zej b(`$l7_ gf UX|_7n>@Oǰox&aG*,":^9Fq7ehCf C+9̇#B+:ԩt/.We |S=ƣ ㉞ eO8g&QYz^Vn[=Fv:p9ܲd2oR4KMMZwdOغDW:pt( zu]f2o.ʚEg3Ȭçh6uE=F"RTEJ޼&AԵ+7|csxcrkYGl'uQ@ڜ±rmKP `ʵXUDU~:U >C{&+PWzr۫WsJ+jДNiQC͋B1Pÿ$"Ҽ/ 0V Q[y-/\l$ ]sHb2YK'+Ӳb ans(vd[:E+]Q%CeHG8y;lkdT>: YUPOdOJYPEDMvVMI; 5TGGXG 1n1m7C9YZ1¥@z\0ETLp(vU>σj5n@O[fC24F?jMe8~R\!Bľ:޲C+U$GkPCfȷAFLfB8(O&cؗɪGILGEz P{?@&җ[^xS\0nXA[p˓]2zzw1cA$;cYG 08^VnVKn`ۀ3(4M˳BWN};iO/QtSzj!%E(G 2,Mzј7Vi$"t'⏥&WюOP_D\a8_X,xGlϼFAKczsl[UA.D,.3G<:i=>2w"BYZ[ջpTPY!$K'bS޸~LVc* Nʻr/c|;UW@\*z Q7܋G҈9ΨhBLJcH<՚SPJ(2tQ)|_}~wt(4@nmuڸYADXx5lO#/v48M@ȗ7kP%@)qDD( pYJ́CINS:l}T53<9wJ_|ZVyW3/K9M t[}E>U.$ķk?-%jJ$̬[5YPM^tswi?L`eB\NjPéCtBv+Xa h9R\G9Çj,47R7CǸ-$"ҡڢL֍#{cȦMB8sۃFŒ-pl qyf3O厚wEfuOwPn_`*נ8X|VX?8ǣX@C;Ո)6g#}:5fhxs:Bu4A>.=-dE|y?6xrxf9AVFIΆ7Leug3r:dueRrۨpsPe_Ho;_!6ܤk4}&ɗfJB';16x.CE&F e|coڲl4BF>}>vvԉ6OH]/mC}f(|Z]F_v%F+L&g:f =%_~ d(丽,7)`hdҮ(Le1R.;wԂ_0^J믱n4K9{RY0=b,?bu1$4j왷b=QCĺ $]C:p##ZqHa}´l?˶cn{ו+^ZA͇S{ovi CF`&}Y[mrdyp3gp 0ǽk3`vgj&3"`aVm=~ws2ąFQy'P73&+۪"]Ut?A#k)]ťǫ%2HҗBaUm' < !{}~C! /pf^w9@v Dr>yNG @>owNdޠlRI~hOLyN?^3V"gBc/4n%S~!+Ș [m.)%z`.beP?7bF3רչ16K=՛j쭷Nl+CBz1!ɾdz2RQAbLt,x.sNx\74ZǔfLdzq&1dj"aGd^I4'˽%GCy j.ƒ(]$MqAQє ʛs~c-@.u9+pUk֊;p'LaZaj eQ,z $[@oVe)ؙ9^(y0D*/aًGsx #sl*I%sKq :4)'n)1uiYҩK|Iz~}uXKGc;S~iTI>&RTE6}:GJ%Mtq?IZ7hAlkt7>Z:RϺnw;7d\.S@kls=c6 OVX2Ir87 +rO6W)l(jL4Ağ2QS~mG\Jii*y`=$M)ؓ%@H҉KS p\Y: ҫWp+:-s%}$̰9K 4mʮR碭sЩ̍rY6OP<_\9('Q11%̈́U8۾DZwlڳp@p:+阐t+5üSOػ=Y.TBYNqsr(@7Weu&=3oͽx0`m2מ);w=ݾeIIR8lܨnө7l;;5WF!|lV)vľ4ӷ_y\ˑQ_kRjDD&Hk}z` ,R*Uvs[uM?T&(C̢,WA4&)?æfRL(ԩkJ!e|ii<'vԍ ?/2xyq!PJ:Ƶ{uB$7_JҘq@ch%[:ۣEk-Piˤ9l!1 Eh0@( 2NᴴP灒Pڍ <Wemy,QPpE3B[:NH@eInոPAK6ܥU!]QP /g%fv `I6.د⸢^yzUMQ,#xp30[QYWV>h u4L׻$>PqG y(-]Hw OY)/!A}YZAx떇6ᄆpfNHF"d}4ySС&]!HG0 5ָCĤl?DjA/Qg)#NʶՓ0IO{ļo߅ .h'&{+`W3eHl@_eJ!X"Vcʛh;6ұj"L/ C {{͇ @#ցR%]6.? )w.lnD3Xad*CT(!A7+p^NnKNRwTVCGo(0 M0d\g/~GdIOZŽ-papt S±0UE#6_|GAE5$qwNe1_X L&?CSLӚ\"wNM^sRu1\o Nœ)rœkbUĹ3`|0k %'5րoG|FhuSQ"k]oKѓg~у#w%Pd!z^3bjLbk $pjx9 `*&nӄl|fj{uFS UyL(qڤ @wGE,:I҈22$ep=Jӷ>AkHb T+oR҈Gru.Tg&{n(d޿@gRNT'I%ƺiW"ųb^\cqi *R% dW)T 뿍WCXk\-M=Pv~;L}'})HK4"rw;:NbP\& .xIU_ҝy޻Y$RHa{}x&)$^w(#*霨4HhfVd*2߫wA#缚j0,bAtCd"c Oe+j kw4Ԛ(f`y=BWÂXH,cӯ÷fda&zwC`Qg] [)4I 230/bxuYԋLb(Gt(7е' }(O/ ]>*@&Qͤ8ȟnoү,u"\ k,U,7'V"Q'8s.;+:TCu{ľ'q&/-V_3'? &Zs%@"ejNI|}$_0RXW7|ZH ; o$rz&Uy[ӟݺ~AץXh;x)s}Q(%﨨;!րsE/3IK͙__·*x7B64*x`ܽQ/+k ۙVBf} qq;IdaKXyܒN3xNn1:kbf]S( SFrAC @ML+4G~l/D`bnqN 4;>f:kTi 7,^a) V@Vn̢N61{t+DԅwѵKṞU~3+B`8̞Ŭ = @ > jeAuv)reKNA|<Ԉ =g/k%D-*F6٨ .)oAɬ3wxi_pe:Sf*)|̖]ϯP$v cz5`iҝ6RЁMk 6aPLA}>w~LDz6/oNV@.8!?hA9Œ~^*A<e9u[\]،lTi@gR4m@1.pQMZ3F kmyO5.<=A4d DP$ʉxz31Shnuzӥl "*dkM8% ؚex+=0 3?b{:2^6٦jŒw3L}*xΉC]㬅w/2Uw'L Y<-™SHL 7Ӷ~Vϗ#(/s (j6N7=рα8<[EMfUbɗÔNi hnM wc2?+%s*m gD^|{xXsCȭ[m>Y%4}A=.G3sm7%:2>h 4źV/H.ֳ7[J|Ԥ}*R=1x>읺sn}<$~-@<*h ᬫ4o29l"ECω G)p-K~k(2g4;_D:hKӴ0{a*p.B(A1 #rm ~vD>@'΀hwnZS2)z?'Smc B ZO6/t,zYl ]=d~@]TSⴱ㲡nIUy‖"ZqijUeT%*['Ip>hUX ?4kTە;v$a\%fw{d= \P_qj8辇-aѸ)ۺB`I-6_B)=$ UW M\g C9ȵ-)xyWӑ\`B9Cy'9%Q|U/uahm \rJ-A"धVZ0O0r m ɩT0oU o~ 9ΊFy) BI*GbHsq4JUM(.5Sxz"v^iG66rUsSjib3: Zg\I9חtuPycbSTT_| ~Us%4DҪqSV+DkaA0o+ʁsW]J wsj4$ ώykgv$Lg5@c)1xG3.7Ϟ|ȿ,%ր -7=zP"s_R?v9'W{.6 e~ރN0:}W سwf>\x15߃l4\EnS" 0 .#JH[93:gb_X=Cc dC9\UѶwAfe$W9):ٞ!6QpB`m5TFԻl`U^H],\lH+]VnX2U 9L¨4e>a:{ya[rd;ΆRqIyU׷H۳Pˡ~dy:8L!#e_[䉥p↩۱t )1Ok<ׄgwN_|آh?RswX+jp"q&ü{jH7_oN?k=>bY@-v#c?/9 &ǎRNp(wp)č~X瀽vIU>d@_dNwӌrk%K#XL<D[AG# џz@%q,߈ZV/u/noqm*4((~'i6or':@gs*o&hB>_0E * u++Gg-ڠeΧ]=Υyȇ^r"Tr2L^.yu=sP>™.3%pK -/8Y~+{fa@Qٚv21.XGuN7X4!_k),7iAV8{t<*6RSZeмE4bIF}ab;imE8n ; v3oV)jq$QlM&UvYL9pظ8VCO1Kɻii&l;apNApif' {=yHqņ!{0IYIOڄ[8Wtɚϑ.E/pרENi4O |ӳ Oǹl?vT!H2 V-*qlelhbe>Z~sЌu=tfʊ az&螐z+:{6&ПGffZq›[W*7|}m#ˣLSuGcM")<(NzæAsฑAT[ oo,3|ExGei<4@IKD%)6L@ #AWH{KT7 "FYAz k]Nu/=#Q|ycLj-IX37z];jeYCt)c A ݫ?{h7(o߸0Om]Iǰv^)lP/f0GXTR]2\^r=@R)?=w vLFt$3oq%v.hqLe%Q=XvTCeP%o&zi4[HoF$t 2=nz O6BE /+.N Ho:SJW=xQN4ƹ[LPo@”3i;|͎o æ榯f?MJ4g! ڝ9η Yx%x3^VV|\R|ᕿ5ު\CPIF4x;pH EHJ'4|o)(f:)=!U=BVMz!9 οDM m FDlļ&I-A%^>z1s h .6gW4f'DL'Opq͋IK}Wlҗ8_,ɘ.q#մhqGB6|zPK!/,h1VJ@z6$ir_9zjҀRg RktRu8 ăՅʋ UۯK:|d÷C˷ TVfOyǧ9kG`wW5) T?ª z^ \ta3YbW2{9Ȝw"1YoT:J qe._{kw*B1xY@ؿL.[16QE7h) ¹GJtTJaѩm{L8{>u~:b9;҄(?bQR+R ܰ-tڣZYk VrZ!3*|``>ɿgi|ASH"+#S."TuTr{̨.$8dj?6<3%= o]Z}Hw_qk?e\`P'-g[yNS35BAXK+zodig\pKϡU^ahwy`Lqʵ[ؓT0>^&.QƳ'L7>詹yp` G jl%WcZ73_̈|R|t86$&m""MnVaG~uEi9ߙ3ק h7m. ǂ aS$x1-|LPz[F\~!]^h/izQivG3CP>؇{}ޒ?jpP$4gX_NyA3M%H)2] A&9Tj.^Ϥߟc/^- < +ƆyhXQdaVGO* rj6L{N͠VY>,ӠP'j3r' WUS}oD[?ny!۠Ų?F!'vLFӌkHMK\1q×v|jU.H@hoKY=7/G\z_~\YiR,E{Cߩd68cgf}Hr9̅^"ӾT(gJ0^sI.i!bGM.>' W8$0@/hdL6{ ?cM6qΛ7D%Y ["HVؼO|# EF9!%iwCT$�]H4?_%ɳ3/X"mLRQ;~M"K0Tuqypj ?(!S3[/ew|k ]Lj"1kaic K0D :˔`c<zVHZP-?t~ca@w"%+gU/=r}9@g8gIQw ,L"CUt6덾{ϧZ`/;e7nÜ/"M]F7QZ.k߯RDD؈qܸ#e4%}-lJ&UVp![ -:*֠3c: iB3g@}v+xPsc\$rX="w,0=vk8ΖZt/_}Vȿ{wYޑ+E2[v)*p3#h-!ɞGsU@TE ^Xm?<7@cElYb8lNR"LB<)#ZG.8{ЛZTSFHĭNMci{`۪ ZDeڹS}$Z,k]b"Dz0 "Ͷ=gR/MI#o‰w Jh7uP-lwn>oL5=Qj|s3{A`J1bz,c HN n7p,p!>T%^MvK:!K~1uu37eݙ}Š(mX"t{84#ٯ{uЃV6ܒiË7֨%Ofҳ)s:1f3%2XخB@$:9l?~?0viIЦGs|zK%t]h92ɸz7M|܏JGIJ>#/siR+a.#n~[Ԟ|)isqlaGPm%NtIuVH9kV6MڤO\+\׋lnBhv-}zۇc(FhL{ɻJ4' 4V`&;J- cZ/~@G94{%ñ|Ul]h'ӯ\]oJ)Kk TU912oCXu-2!wzL=bF*Z+=a?B@SɁ6+c m^q` o,Cvߔ7Z}X/1vW I]Q[Eovc!; 怕v|rT!oc"}7)g$MA$dZce40[I@B4hONx>6RspKfә} aJ3[XmnϬ})#惓Fd$U~ڬ%B+E=G:|`/ֲ#YKb160+cժ,qJDs$SU]b+&cܶ\ t[ˎپ6]srYv# ǻ!ُ_Xs)5kw^Deu߫₣xkH4|Zь/k\.৞@!DIJfqNԹsQ CwpF"3b#f#:kqdOD)y"\m@-Feptn4>enJ.0+V8L%a lcmD0ޕVDan\7rDžܗ/,1IupPd$^4;'o@U&^9fGun\q2],6Zt "1AaLk4zVUL 8ZhL8"x9r"eFŌ󳪘*xA[_m`vao%?ѻ^=vU2ΒOh"=Al.d/5S 3Uf#bWF/@anf4NLWC^!JDqAJRzZ(3{CPe*PxH@eZRE#ւlF_Bጪ;Qleu,SQ>XwsK4jA$]i7S>c~Rch*Ou$mQ&j DUp8 s}{CYyvUJapæk*:,\vPJ' RA ڒL[+ZJDZ.GCXzX6ȊX&$k8 YYAd;n:wSlYGB7zȶ+@ίGA4їT{}oOv ,<V!C~U@3ÉSa7-vO7hmU瑞'=8WXSƟ O⿦2ATDXoa6FZk*F`?Q ]c >|gPUi b FfOav{JG'H+\m 3ɱN <dkVߌ-hD: .qORQ;qNU$StUVh1hC+t`PX ;liy@ʛq'hH傶m#CV>هjno:S&n&J$uBQ-XTtmZ~e@荅'߻-)u@"+WE^n$n:'~|ܼP PeǨ9 W~4YUCH;]ߖ&iӄ׺~! TdG##qj J!+ abineTRuj]%GkUV@B_A Î]=eT='8&XFQ-Y ,W7]+ToZ&o+~?еeϩjmU}QLj@oC^ѳZp%Lp k6LLOAqt3ﳇF`k [ScPP׮7kVwD1;r`*SHJm%OC@*SI.^S29K1LnE cQ"on7| w#35y}poy##[ QR5ᙾ 2%A#Rl[F1>H?3wǗ17OMtzc^#6;$g:¯\5H%|8}q83c[(} tiXelfUT!hwpTFX*HjV2=&'uvn=쫾ɮnpO HβUm@k2:C۰vAA:a 0T h./Qk0dJVt]P + 7tm':cIv3+'`$ay?^8Cwʕjb B\7&&ݑJY 76z&t&>$7.۩狅M)!tm`*-}PE[ͦ/t>vV$/) 3?_aY^̩c3=gd9qҷ$*Ns/bB4 IU1pP>GCR62'̺Ϲ\/q~5yVL0KAQ2J|R|iC"S.[IxCgT~δgU[)i^'e]ܤ'cjg;|i(Y; 7ejvDމ4ja{ 2/wk eWqG=bJU$ W-cݹ0E{gtQ "nef0`S~W7\N,B1jM ?1Kq+ ݨz4l8fcHgMJZKc|EGr>TU=W>5#ah(?U%X!׺9< YNJq\,i)\#5dܯkm[ qڟˇG]6^oe$'G[ lj-y[?SgN~;l9}y[7[ufՁp˲ҰCLe|FķXt"2N:U2yegt%TLj qnvLEe {o & i#FUZvDgU=)͞+ 3`;lB`:аRhRUj /䃈ފIckoꙨKm8jR5+9ˬ}?\[BIGYZ׳?`g[f[g4(A7z\Bd4#+)PXW,\j`k\+9ZYS%I}~ M,_1>;hDLQ3SR3(8I8js2qVn[ A#GEC]q' n~”u>[.5fS& BUBCO%H X{FuhY=&p/k a2[ 50bcOWTWss/T JDK훓8iP!ځ%arCZ %i$3!JKRuk+$c F;# 1PNno?czJB(ZQaAH#\+hԿ$:ә"V*F},Gw^-.l-*.F: E~7HN 5o_poY & . b"O>[Ealž¼ʗ.܈~Y- *&-gΫޞǨ|QA)(؛Se;$t̽@yo\Vn "m >훫; ~%ZL)+e]\w̯VpkVϸxOzY=ψB^ayorCľEBfTNXd? t/[drtr&~,LcUtg٤   ]-y{me@ z(W$Zhqt396ࢅ.ޅ,`ƨ~SX9NP%6 ȨNfV-y$YYpڴPeZ$r[rD~'bShGI>@dRUث9Z=۸s&NP.-8%﷡JG}hBn\]7L}/5KU*=f]zSW8bD=\FiM&V!OsK}b:hn4ɀ_l!>e rpqؘ1J3_BS)"(c^B5@"*s&z#7IB}Jۛ'7 ĺ,"i+6;<":ȾrAG'^Xٙ}_%FwuYШym'>jA zCC~Hbi?#SV+6|`s N'÷zGxώb%uFT†0YxwN1߷O|҂!n,UXr=(z'xrmg`LHi[xw4uK #adE8 =hE\cWdv-RBę3$?3eQ SނAeg91f*a1⬣nR'$IRبHh<]5 Y*k kN] F ;y3[O]>,*#) N竻&.wPLI*.YZCS?\Wv9N01e= jsKxEep7)ĂѲB=aquG+Tg@{[EH@W[h8}ڵzg<A N-\Jc,s{sh4jJ ¤$da((d\ٽ*W0lLDbmAHlRmX"L(oHP$Rwbl }& 4l6ͮӌcр;Sq$9\%PDށEefcN ؄jYol@`ʂ裏5$=:hm,Ƥ PV;nvd*{Ҹ/F{䂐e̘CJ*h5,bX6}x4 /ύcH@F1ΰǝwL|$6T@AƁb LZ>ŬH Bu3Bu/6 e7%oO&d@QOD$B4Xxs}+fE%t `M̿1Ap0@mP6QX$ ] aso_AX<,K >4bwa vA^ eȐ@emTQgF y1!$ u)uKt pf q!*m"Ojt\N?6&1;J8?P|@t[{`23>P( ##0RaK 6(*Q RY"y&2oӽf>-`>jqᕪ#qJrx$Yg .x-Qe+JU%]L@Nx,tW>h!f7]%y9FyŎluis6gm& #A=͙-&^dئS ~t6Lt }=G^n`G۽ijc ? ^)YV XKXcLq͛}=xlmd0E\I Hݏrg<`;{&: ~'dPT!}ǥy? Gc9/4E MIe]spqu WO5<ݨu܊#[зއB3w%PK77DEotQjݧ#>6 #eLwv8΅g3.W& a󭳊ȗA eDZ y rVp9 E*K1"3O_ɝiQlrSP|A6[ē wQb`d.6"!)izaXXtf4YQg˂$P7 >Q_3 ޮA#ʇMnVpj_پp(2zNwވyߐ[L -Cˈzq&`ƑX*ltHx+ʻtNX?i6'Yez0(țEՊН]v_zd6p3g3@`;4kB0#[ZN#6R#fnzI nY8CXou?`lׇgP$Tc,(C [5"ՏLBmfd/su4JT*JQKq-\UsMU(P6flnw q5-xvPy<2'a,h5 0,DAG]g꼧 Qqzs 9#=r~Ѷlx2Ah3#`cls/`@LDt#Q2q[6p椈Y*zS 5>0}f4.2A"D{ҟX6=Fj >S.Nus+_2yЁu>’=larCL 6-öX~Tبh9d#EyV&_cIv| `ՋVY=aAۮ=ښq 0A<5ۙyG:ySu.ڮ>iNL+qb0U `syuWWvx!t'^RּX!Yc$![QIu8:sf0q)V# =mmDr ~<PUع^{0œ,Z<va('yR{^Ռ ?\V֏6㠶c&cq%Eod!Z dßXGMjr^3m$=ZRh>Y(#^cܛ躖>QbNtr#FH9$AɑFfIRH[}lD&5i^h YMv!UQ[ZGy6W8&gC㲔C`Ј.|D^սRSy|\\Ӣ&kW^r7`{S/JE(ïgj~v<G}P;zqJg0Dȅ0޹?۷RX6vZ)e gsuQ тjo,'5aK\,R,,ٙXxX>`I|Fnً,V'ici32 Ҏ%"{/Ũ645l)|ŵ^ߧdn@,[]3?;勉[os]dXh4z_[YñW s6-) jU%h#{gYZ45702d6b48ac9af1c1d611bb87401fc92a850deaeec272d4b5b3d582847a197d88eb3a9b19984c82 0dc95062e3492904be2f0dafcca23de748b5d252af24a021dff9f818a0a46546ab73366467933da8