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 `%,T\ ]/]HOL-Analysis:threads=6elapsed=355.322cpu=1830.208gc=79.452factor=5.157zXZִF! =W]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmth|#l *0 "JNi gj% N|#"[D >8q |Nnt^u];GwZW.#PÕ xLYTfjJrt!\ "*`^JŲ `'RhF2Sȏ|,/P{A-pcj*BZ%[؞ݵX4Iv"̞4mLk^ hFRd#cy2 !H{_ZTn,,4}sٍfmUUObVmt։y W SwS>i8Y(̤J `}-:ў)'lΥourϠxmPo|aIF <2lϧ)SNaԊC;g3j#ʎTKbUC( 4C& h]{cp7Oϵi}2#ϛV'ڒL.vbNם)x1'N!/~Cy PRF vz(jn~LGovh0CBUN{+r3p:jo,`:X6H$Ќgw! cuehuE\V܎[~M>Hu! Q @a󏗥uPpӽuY{w>3Ptp E}l3J -h,Wܕ5 ĒS”w, FwX'B`s^~Kf%ZY?SzeH(4@Ut[!8ʯ5ָ0u𘂞* bҤ$#ựOGO28%4Hx?aQrT'] 4IjzmQXm9pm,]FgN b,J)M Π%{JdLDS1]]f,y!f*MQuy.JIemR#áQ6-i,\8 ^꠾܃1mۘtz0IdorW4@1ff|+}JYy*j| QuC^#Tƈu+? mi{e6Ly_ q%JN\uҒO7^Ά--Sթv A+҇w]́>F٬=ʀ6Y*]_NjeQhMC{)Q0o0ȭ ; .NBkI6aL æ-ԛ&g]-#&'u e$aU%p(yk55?T2 J5KOrZSdjYK\ZKz]醸i6D霢R|6uArbJTT;a<,PUƣL$мXz6`ZTls"r 4Exޢm,C V%L >fGB[xzd#y+9s?=JF-OAsԵ StTz럥]OgĵS2H GMW}yd=zWQ q?IaΞYX_4S}pU%`ap+)|~MO\;Rn ="'`Z@&,j V W>c IJbxJTxT# 8MA+ K^,}?ɜ o&R=nCֲhaːM٧$>`O͎ Yѧh't41rF-`n"26Yj]cƓB`UH1a$ꭞQa7sPuIl&$עJ{oږH#x,Kl:*t_@S0Џ c z`Iq`ͽQ@J &g@] l[#PTFLg| % HOL-Analysis  %h2WSYN.748!j6AwD] .s8kXgZo:C!0Khz^zPKp00]e.kI- =!6 F"B?j2֬ s=8TK?1"ã.[ L."jquh#bd 7eW"LW21?4f YsʰIٺ2ZGղ}tZ~/^踒{LslUt 2+J-jSP5ϖ5Ilyb .MڬYx1 R sx,`EYnrFyM9gfL <h. X ظV1.p VP7e4 D22ެfD+\BBGC`^<?8JhA`\aE+QMF~&BگL*hH˂lV2YD%%ɴ;oUOk۩0"-5LMyQ3UMlg 3^fu@.ApQZF,hS SL07E@^p/#׋{kY8bX@.nD3?ցDD@Dnu:_v _ׄH=ZcGu-8@p\GςJ W(![r b o9?H:A>:?$L}Xj$Dpد{7Eh^2_׭ˍ|gTMeD?|GOm^=mrTŽg4x)[:o0#a'q1|Z+UualU $*9i"CߜkڵHz>Hem0aYdm,`ԏi05kmn<9`Q`K3>r0ZGpmDdJe]4n| 'F}n|kLӡ%R޴1Eɨ-pϔp ݃٤&:Sgt/B?Jo;]@^nJ 9rGQ!*-ypn.)#w)2Ⴌܡ/Eb9gB=B _X_%د>U;Se3jy]lcs f#TamMkMCWQ&ř^cG<ƜSS(U@flc".ҡf? ?TI3fɯ?+9HaM8eQsWL[.1jNvYj/}%, ǟ$ ?8 ki]kt!aXm{v$BJW#b**dJLy~#RMQ2E£9I=KPlha}-GNt{pKF [{ഫ6s~9ܜg, cl ^pWpT86RVi_ӍZIzZƾ%ɺX ] 5-cʖ$P4J?}FU;_ʢ%lu9qE[i5FQa‰4r Ljdmii0ҝ4;D멄#&0Ieu0NDK`:(ʫ+ ţA(HBYtTl:G#ݖ %#3<ZKRAn@HiKޕ+r$G~w>Roo! 1@|C"Ni#mX$ZKX5o^R$B_{TXKVGWh9BmX. Њ5  ݳbvC24w0fv4:g(gL\̓jFW>< jP#/@RI*,Ƣ0Zk@ >Ϣ)t },HI#x>(Mi2d2hWyH2 ?#Fxo.#NY<y̡K~nJZ$ޤZ( \< &CZ_`/G7{V6=/oo:jƧh|\ͨoUj#8e %vqq6GYI REfa<&":vec0EGs[j2RA&XQ*Ǒ2EL~x? Ҕ7W%l۔gҊ<ݞ1Sݬ̯sx -+dA[T/z"`=C9-W\Rp+4 ?T[PX,-CW;9N uH =GiԞq w'#t9Μ mj{F&A?+@>ƾtnvuZB]i?/ V0X$욭A}=2$&C<&䥃 (k#%L5雺Rׅ2ؑvXN`:Q@esUΠ.%}-rm5iL8!v OcD2W+AopGG촋ۅeTlyLG0< >[3'G1x|mGtSC:T. BY ({>N향 is>}\ć* 'G8|w/&Ʃ.R:c+$.!\qx"|(UC#: 3jrL$p~lf"YԄmmH~~pUGPoQَGTB0':\_UT-p ?+w.MPQY> 2E@onoH[iy[m KjB9Zb =qۢlo45eBUB}2tw&mwgiq{,nĔO`v`߭ '8&WPdU@SaaHRPP܊QҔub25SmP2>ֽ/˛Eoa60.x,@ݷ %11B8 ;d mk0S}8Tٍ v^Uv|SQQ[ :%re/CvMs@7타1jM0鉉O[ef,dLݗ-6A/ɇ_XtkBQ\4\R;xgQ'}$ID_{z´pa9:Sͦx^ X q3Rm8J@wFП>墱>pK5GPCKV1"C2t\=p& ϬiOet7I7^j hڅOQ;PAp#Kcv+Pb+_΃>Mv5ͩ)q3`ހi8Ow:&:UUQՕS+IrS<Ρb;ćS.ADi]" "h#*(>>~i͸8ϭ?R͙PBϢc2*Is[blVՍ-Yb\71t %/Gpykpr$|4ku[VV svǣ{/ *YYxTȱ_l[c诔>F'Z` o ]C:ص2[3(ֺLks{CFbJHTmK;|ɶ05>BBD9P e ZښӀ9gbo`S Y,R(wOձ17)5ENbwc{;XuE $HrvszY$ݺcjc.TP; #| K|*[FN~)Růl:,/v[  ]C9*<OwF],cvrQ/\QyY./5dϽGmjmyg2D~ҭdreO^0޻/u݁y.$krZYd7ْJR (v&~n1Q\$%ԫ-[/&^Z-Y;X$Ɣ@ApwV P׸Cm~ك.vE;^tcP slɬEJߍof$PwH*p.!ݱW V67gu]8p]H4eѿ&A Zg&G/&.b?-ٌ7vՋ܀'&hܘcI yedIfGh -=ӝX~ m?SߎGH $:k8l]&JrhƠG'9::}g[R,d,!bcU{~҆uгO17fɆQ`LvC}pQ3GO˫oY4m|S :ywT^#~ WU[opZ'[ګ7o]HVbO(KUDM%XOIpѷѮ޵ӅGl5PWO{UH~ހ)?@ܓgE켠+{VK5ι(jѺ^X=t TK=O(Tz sS;Mjp)_X*5.S&C2=CboxIQ-1wqХ[˧ZOIǂ?2rKrߟثѱ{&qFvEhf#=H3*H|];]0yZጿmXhQ yJ *j:,ÕDh8I+I@$-w.^8")tPL($gIfT~2Dh4zXn>]^V%!܄M׏ n.\/ 3-X|0l<礼@9C@[n!G~`לMˢG3oStl/-4X3lĮʥ ~bKK9[(/Ya7vٸPQV.sX4xŘ#v&[ :k#k1 BdB1k/)Ack]HobUq=(@aauN*:{^ɏhixsvVM3jn'`Moy8֭8+6^>:)M۪1Bzk ɰ(h&RY5J,Nj7k]G? ENDžm+,%51lDh3=oC2qLfHaҐ*G<*rxЩK/$UA(Z LTUG'1!qPNDZx}Ԝ`4p}uu0OP8M"ɤJ?TWDj^n^A-4a݆'6$*R"6s#T] dFOo5|k"d++kL. (h&&K˗.[/"bzNZ0t_Vf2KfGFR]tg<@J@$؄}#DD.6uAhZ=ggl&Ik1kk.CeLgUpj01eQOԴ :Ajڭ<|*me'w+Kꡀ{.`D3=Rg*"<hwjvi 'd>ISFl/ O y!5z`,Y{ȀmIRbx(lJ6B d wgudqݩu3'q Q3~XF9p} 2pC)68mfn9;KO?GsⅧ rMedWPwhWd)t/ж5Jt˜E!&i*\;jKrA/Wr*Le5XK~t$*` ;.zFE<5ꝟs7-qtqHA/, ׆x/yE3 z+18Z*E|,G[zI.}SIU-: dE:,0H!4| H~I6ՐkEQ5,XRD>r%w|W5@xLءO߅(--)uo/ߥ2#7&ǎ_o<&|2x!";z{`p̟5p'ria ݽrڀm%~A+ 4*:T KyR3uneiA1V8 2,+]jGʹ =PY Qww 7?e ; ~;,t/v"gH#LOnΗ -|k !t/_tu)yᕨ;r;LYZx>CDpEy$cS'y5͊Q*SR3\nhjuu`:ʯnwbWnP|sHeq] 徺M8ᣏ)8ֺᙳOD@+dUfV|HFp&Ϛ%"<zx[g1?pĕߵ眢R\(mҙ'К +'[pIJeNSg^-<A9jN7^ƥ ;O@$(iq;Я۶Q;Nw\|߉РxW},Rz.9UKs׻M!( ?,Z4&BDkrA)x['9>W]z{cjD_T[CRL+FІLkȫC~#kDUuyKwuw$Z-.g,.'yLąm|"ID3ASՎV%8UB'f[ $&,=9C&W1]#݉qN˿ivSaD6j WdxF&@VRĽF;H]#ɩ"&::K:lumG.}JPkJJQ6JmyA&O9?Mȍ\Z1 V(h 89͆8 5.܅|CmT?vD^%ωOoj1T RU"&*[;x$+ޭb1 UOݶ}n'A^H b9~%sc\\MrWk%s&] G; ,ʵG k`*rD.=7WI.ފۧv }j\~2&h^1X6o0YScH)8ƛwiq ~wB .t@/2Tq}D=eb!%RN/,7.N AzEgSe|UA489oq~G Ԏ2Ř|%,ly/j餫H9|aY=Gr(%-zC k MY^i^6 ^֞u9Ud#fj7?:)Wdzh*d]SVUmZXf`;ad Y%\q߫ߍL5Ns.A JsBBX[}Xmaцҏ3d]+_AFHSk4&m#<: aqVɆNun+ v31oVU"4a]Tԫ*cFMB Uf:A9D Ȍ=K.@vr0boEf,EO H '&sp*la!̚$\YFeœl2-}啙 xk&C.t k2MtɈghG -#Ŷ 7\xY:$K R)D#!!3*-~CN=<%Y[@o&|>5'掽{K%I_[nHZkA0X1wO|v^' f-}ݺD%yUx-9Δ\urW vQf/jPo#s`H%Diӈ@1ɂhW2m]y)ɔ9=9m+71ja۴: u BaWE''o'-"/9+xwDY;YUSGWLACw_ U{A8d .Q'H ~|=<}.nI81Vl6^YL6KWb55^GUُIdL?njp+Q3af֏+ir T ;LrG!" ,4do -xYΑBװhyÓ'?^L0yeFᛯ6s(9}s1Ifb%1|ݾi: kWBcZo}ݔRE+u,3 NX@15&/QZ&i.?Xm&j"he(Ŷ&$^Injt|2c0g#ذK\$1Yb߰b\qv6?_,\@9ȫg~AV7ylTɼ8-#mE5չ|3݁Q|1;`dd@(=~?^&Nf2MnKRv–d_{ts*WV,,Ki 0*ĎJvB=DPkzX&\+2Hj-ںRf!a0ß_]@CIi$ %Fvm\Cbڵ5E t4~I[*RMj?}!M ˄mpE-q:nhKP,ܧ^]rVnΝ;r석M"' *g{E/%Od)%u.,x'8og}{k'IXI+>snN ˃-qFH2"X.8;R B9_  =/-.tj~DkF;zH 'T ce%b=0͆2 ۔ $$[5Oۭ61-u8dIv$ 8iڶdY?gA,8u';&jï҃ ߤ- G]@`ky!P Ы"&~ftę-ᅱd̟MY`wY4d EW$bd%Ttta$:5:F*L8;ˢY.hy 2=*H}N<"&r-P pUQqp\ӥEI4sJHZYD/g]ν72e#eQ/]\U_4 7l}1GLp\WQ< AۇfKkC-PTh~HL2U8yTJߒT1hU?,ӌK mP[>j3뉅4OE!'ʹ, UnvR-@,2@mc?# ]0}][AcmوnrGYxNTG ]a=ܺ$6U 3W`v؉t;0kk O?H@xŒ#> \_ϴ.Q&4 AǦFR8}1jY@J$3ATBRÚiuPs;=RF0 n]).r]x}x1z%LVޯ}EED u^WuGD=1zǜr-WOTЉ})j ľml{QAX“a}UxjMA|| @6;u,Mvh 3vV̤8!5^D.PݞwЦ-PA G ow/c77rפ(b(5.=(Q*L%#J# 1&@Ghe j9OA'^d)}zaLՑ}r4JAgsVQ(ShvO HzPl]kyԨ@DIoGxpu# pE U*)p}7LE7B빦8bď MZoe~6HPܷ4j;1^h瓷Vp[p:MX֢[pvR-IψPPϻ1]WIԨ W nAgM~(y ꌤFq uɚ!X/$cPXgj?x 6iݸ fr:CVt%c# /ER?$ǪXù&/\b4.'yutP,⃘mjTtT Eaw6EjI{U/D)xM3M3s-PSeUUFOC(& s~3TVF&ўcrVԊ|c6#@6;_o]z`sC^.{H0_0Rk"o:+ؼ nR#oW!Q2ڍ̿QI^Bݚ5T)cºWS&qI1 f&nwx'T8ʛJ Yp'COh$iF9ܞ|)[)8Pk|Bd1FrZS1xC@ݼk!#>\ ̣ݵZP|`Qʺ"f UBhg<])]t?Yw)7"n-^/ @.YaN#<(;a5se d.Q$(`djZj8ww>oL_ Y̎ FT`髝iʧI#|3|bSo bV5Dg tfEi  Uz?x^ґ^}4[vH w;˶-rClIK0z^%(< oS$Np $1Y^ETB! J"g,~?1Zf$MGƹ@4 siY,jCY@1F-:aUo`!{L.m}5M OKMF01rQ-OoהXL!|V_JwHϨ4tƸ|q YM擸-Kҡ7.nP] ;OC&c|Fm)5ܳ2(ӎqL$}z:Iaf)C2;LnŨ8f'&YϷ <zi /3=Z`(9l Sd A{kH%}{h^;줒3g yiţT1L;03} (#K"vK Khw2P WW03ҚweZ 3 ,#e~;Cvxq]2Kl)72D_Lc!J`## e`QyJ d DUG n K_A.'p^zPT[v=KEm 85/C[RAJή0x>SX10!+r7X;)gErSf(*8bpp%@TjD $Hj|w(Im?ZGAܯ*P@L6ҦEWĖIJ=zG}osF=%|,тQH9v \dM:Ig Ó{4]zST#%Hq1f@nH8}@ pax1bCMifT{n=2&݇a{-ӻP~'Y(쐰 u,Y^ͪyA2(Dc}[׼s88]b#R`^)Lk[Q)I} Ѐ7QQG!ipA.6VFv, +nfҳL9T* ]]՛OQA+ n˷)w38ȽxG/5$5Uhc׵ٺ Fxk )?bP̠'체'XJ˯Z_gu㋋y@Ս){yGçӚs7BMv7ό)C`[Ntѧe)QU"x|cҊR%oyAJk@0LL3Y,L۝[ǂ~JF>Pu[|:ŜpJ,hkebcl>Yux-)ށ)Bʓ_st>7FBlSF`#3ev L=1bn)Ǫz&K[yk Oי_<)y+F_:hZ?{cߏ*%9\PJð}ϳ?stW(37t P)Œq7})wK.YMS&eϵ SfuT\Y:^@ a(gƍn1G\Kl>YL` Sio#ŕ:{GoHc_CJhq1/DOxY&%6ap?ItB>rkMc+!-/6?6a=.HR^ vRoֹ=!)= ,Û]0V76!{3kLP6ZGKb۟='+PXUfc初8*Lx^[@>:aM Rv1(q&;_DM怞M5dVBzd'T|#.>7m@Okl! ]v6b([\s Ŷ.Qpw~5RCq֒;آ 9T9TڪZ.h3~|v'{W./g1E+_VIXG;k`p[WԷ^Jj*fY34 †j[fWDĉͪsw -C.'ױ"Tsi"(}KlG@s9* [hBhZgYPr['h=M ^_"?WUIp>;oڀ*`z9[]=&߭vXO%Ƒi4SkwvKBJ,^7*Q{0C 7zȕU'\Z8恓#to"hMhwR:IhTQVRr>,ޅzդ}3_P Y0 k~뙀U|kSpt0x/Ƴ":Xcf^pWZ$f2ƸƂGgºo6PQ#NZa&G^#ycg h2M:Wg=v-#mx=P@lIհ*s%vAx[]scl?!C_$s:%b-W~h:1Nؔ )vz]?ܯ ) 3#L vv; Y'M('_!@`pu0A* vDxs s*&k9j(F*j!_' :mV;J 1Gp|̞>a Guv ҟ^\e-w2vT#!lx-㚫fy8Asep~{]L\܊CI-Y6+*aKp! 8 3n߱t&|šRjYۮ(PǴ+XT6X/{C @T=V&X { kos,A_\=񇢖1F CpVX bfT,Z*hvhN2ј 4>NfOHbE"T5Q[Gx\w *)&\S&%9PfIS入5ҢULF~c {* JyJ5MnuCFTzHK+{ QqP,ս{ ϧQ~XCڽ34 .mzyrT_ݜl8YeۆĘhlG+6GT4>- lHnqO:z{u<^7`{lOhX:<2A%?vPM%+^ٍ&1} / ?a VF1?9 G8}<iEVDٞ-oMTw\ x]Gڼ)xq=IU7{Ql3s N՝w[aʪ σ|mXZ CDGۿ~{뮏Hȅ^|mQGG@"t^͖P=y$mE-QZT'fBk_3kÛ=aa $Dn{{C"  +d(;=3,ybP-uS2@Tn=!DžK9#1QS+gQTs#p"R $bIP:M:M6$5mNET9SӰ4^ YHoL'_b f(Рu| ƕˉ лZL[ßrm8@߱*$,q ɘw17}vP܈c,}I[G/]ݲ$`B`'KS\^mb9TMVbr^c,Fᏹ}Br#N0ԕkJͽ\I*%5B _ `KMw81HIdY˖ߟɎ?:Lgq,Wj?b,mQ9e@uF&P!'^gYZ7zXZִF! {e]ŗXi%Ed\EF>p͒\ΙXF).։m= k(2edž"REj']BH];c9ukk&y|SYWBn>>Qަg&,*Ԗĵs ) PUU`A"| 1̧ wrGm׋e4z}k6 9 [){ '!m9=j )r̓:aQؐxS H h=Mv )ȱv5h\{i2 1f]]|ؽqX^9R,4z8p} [{R*wlNbzЃшGiE ︺-%gK=2MxdP4GfDBR +DmVSsM9ČAn:SՋumU`FVOxޒvv (:Ӌ-3(mXI?oӝNpqUwbY}ZiQ2ue?Tq IZ hm= tR6lyҎع܄o#{0Ȇ yK+/;m .V'SwyL?蚘2Ox Ne|LSy 6WYiL1=&̞d_8(7WDf'aQ|9׿۫~v 'vF^9gQ)8Glf[G\h:j"wuIڗ[mlH!/}#Ia=Gn~#|C{\/Ώ 0 }ɥ1?N(aѲ~WQRH]b.oKeH:.21{橄4e*Rm )B~wE B Nf&]yNZ"?s̏rpF Uwbhv46" =*;&&u A*MQñc'Myig@uJE] `7?OKvM j٨dž`gnƧx6/^jDȊGYG\u3  uFrTk6Z)8X"0 ҟBBypE|aN^»/g b\NvP4, ;kѿML X3if^Â!1)8^SR0g]L{+(aaۭ4p9yaYt^o.~&'Tǐ<5P.}N̴=E,ҧdc-l c̢)?"IKrFsmWhoKOt""adGxLއ 9&)p/Rjf+4bur-ZGX 0ZT" jVgv./;L0c7O)zAԢIa:`g~}(hٸR}|v_?Wcf٤soꁡ/O{lqq/Drt2ӹQ5Rٶ_uh!>e Q4\WenD[ y[Ov> jk՝VvEVS(T2k$69 B<8"EPm>yjٳaq=0XCeW}#k)Ȁ 9N?'%tT$Px#o$x[瘎<~w|%d1:ŭb6Yޏ@!|:ΰnNGuFjy$2|ֲ'm>bL25tX?Zn ԩCx)B;ʲhB̞ZSIiCWg}hRH19JD!&؛$r{ݢjQ8]N jYLąAf1&Ԇ KHQ䦹W8eҍV8VWzMT1f2kM|3Knj<. /SUę)%SM/ @HHԠQ[GBx9Q#*Y@M]̀Py=؆E&-JU8}k}4H5X[)I} UVm.Z:?3IZ>{OZ*̈́di!}W>!óOiAۤtı**WGv(qe? }"|S_p=eh+ы_h$UhIҴ&aTT;Td^2' #߷ %$hWUsP(o9NQq7zj&w 2IaP .sب&;:#p3SevzIwbJ( hvb@!:niםUQ;q-"}YpHbY; OOYsg`A"/QCO>q!jALw =>#7 8E)[ {! Z]DB 12FJ>_Y%/%OeLǎR'jA@$1L*mm"$/k{-t>911l>+t(4'±GA 9|v$d%IJGMW6Lm\(6,e_up3lݎ6fDIͷ2 4K1U\ 375HcbdmvCٰs%s9j'am$رI.[^il ymXҘ.e,EN\⚮8C&QWnpJ?`$Q=(7\i(LN`fhWydV7ew 쳋TٿⵦĤ!VE34G]0mOڹď"JweFʔP̲Uy(1J:FO5r$#F(0S%F!0Jt>v{d%; 7»H*BԉZ]4w n^ه5i*3Ą`-h;$o_|?3Wnym VtYp%V#Y;`().Cbs_MLԧ]#б+p:"dxxWauŢ?|G³Pr+ު;jD! y@:m. E`Q8:R)D͟%:>޳Gl4ȣOCrCn_~aPOzFa9ی3\)nznѤcj--ʮo!SA-@vl W#ˏ+m-BR. -c &2z +!Hn/kۦđ2Alv-50ϰ^>)Oi] TԛX1x8#/|C$}R*'Ή[HISyP=ŲrԔԩ˛=14 /q2/_kg#`c9ql8S36@>D}&9an/ !\qnNA Eo}u֗p"Ƽ,Oc[pJ2&Ͼ17s sߤ֫1r\v}?q> f=*P@hd, !LZ] Nҡ`S{/]۷IߠkmESK9ɳ[4O"r1H@e 4\psFdMJ,mI悒[|+̸#I*夗urFn4#ZH^!V?%RiﷂiY5 bR!a&[<޾rΝM\ fAObwE=2'dpv+V Op%.,n/8 GWm-X򇬊)0cjAfaLXN8X2 6b$ EN70#M>D'|hl;3!? )\{ƾdVSX[+Bo]xEO~5v*c̑v<.{l/;A*g] s}.7J71%x%$eP5|_z+OMO\r,Qؖ5xW EG2=Y<Ҥb8@`*ݹ7j$D[0̚>4c2sෲLd:9 [+y&vW~]g] ϗti ¡'3=Et GBe׿DF"ꋽ_W1և,jBC[̎5* tP$C<e+R&jSإ@m<뿶4> &y|V\fI8(gd=41S-уeik^H3?R'r]8m[Ŋpv2W8"os q !)tb49+.#c4*dCPcB>ZJQpU؛>Re ~'t´-7`ۑ:ʟ `H]z$(C!`<؄Z)^Xӎl <. (yҾԸMTYY=)?, YXպ嶤nT-uy#[p2zH E./o2LUZ]A*@+V] eXs͎g`]F6'  v8謹fz!{U8rSi#hy9)f9 xtq#"Q6n:ܱo B癪@#'td{eڏ'XfYTqŶL:_ 5xڛ=ӆy;45,Zp<8{]u&ʗ"B~UWHOC17}YPGH^eUYd=Aj#ha~؁JjR)'"I4Y婽uЗ- )NTӱq@=|Wr^Ť1É#ljid\i 74;iWcYFJ/'i::?[3`3W.N{'8'즮\̮`kJtgF{5ϏtI ,-w-bXv~!? ?P4c2(o(Pʟ J@zv4tf2,hjAΙTiKxQjB#N]>"[cʷ.{MDHURmD5X^fmƜEʞY>%Bi?@ہIEF+DG+S\D͍#/Cȫ̺MซBgҞtnJ}X* g?)p1&6򝏣!J`9kp޲St\AaV%I`3Zkhõ9%ѱ;!AvgtJA"e_\>q;k͌wOݣ5'Η+[K+Eod{6"8I0VB;'aᚡZ]rR#j^QZ77iDJilD<==*滮DŽ8&Ӯy{K~Twj%;^JPɼ,_;x*\6[NGwҜ솭t!KC:rYV5;3<}o[9N.]I t;=8.~,pD,(b,S7<1v.*v#[U%O2w,V) [8fQ1_S>+:Qwzk@>oo:ׯ%1Wm%'2jlM=r]Հ%C$[Ľق#FR'a±}9f# &ul7/i?}}=ܞyoJybJ0xj.y vU.nKKŏ뒍UӔ2Jhl.%xDzHpF/*08(.qM;A^=1Lsv *xja⩆bھK.wYY6VaIzbFϊ ۞r-+d8~Ekud3ѥƋdfh2[Bzr@($$mW8Xn u 3fVs23mYI$]6/tv+Ai7N#1;c'_4DG< Q]w>&C0!28igo@Y2(Y{Ƒd'7Ӥεv.Fo˪OŞвa??d2'6g{ۡt ~%a;D›}֣ժ,_qfz}5.J[ڑuD:68b{s:.?$"ou͞]U1ƮrԻEgB^[Od!dW7 ~oɮC uރ $6L’>ȟ?g65NX3?lS'(#;9ǍY$bѬ _dcp絟&<7Aqq\1%R_R67o?qCZiUE:#b#S ,. Nهv[_iw, jTK/mrtxt\cc*E)AsW%fsj q>w'oҀ읗_ۅNSLV^z:Ho{.O,"eH믑Oٗ j; 0Gx1 sFr3Ki襔V7Ep6 ,q1 SN 7rrd(cGr?0چ#N u3&3Z1Y#6h N* O|Z {Ļӭqe_(m$ڞ>@t0ڛ v)IW气*v1qM_~/4Z0~-`h> CGPJ M#/흍6;:?*W4I>z+Xﺚ N]9 +JcY3t~B̯lpK?'|R"IвgkIs|C٩Smٽ'OCr~/n!p1/ 9 Fs -F1藬~VGx"ao,Drd}Gle}ϙ̩{  ^cZ3dX[#b]?:fd!zװ +9fGYPAyX{Jѹnru7g=M4Zr MOA b;t= 0d=Cf92K@)Z役 6 S'vc2"1dDQ=Bg6!h0q[N39ks 41ZN2hRX,;RѼZh.Hv+I;bP@goc@TF]VxRzp^kLeȉ{nk|w|˛Eܺ1-7tn_ݡ>ٲ';ʪ|zqL2X D]yNax:n[s1:53Yn n5R$z:!ѯ?~$mm.~q?>| 3~P4uȾ&xb44j*"} ^s%e6q€aV=IڿVn|g /G ~B\3'-z욉j%iYS<>Yl:8hC_ĄҌ`QUa!o U$4C40$?5ȔFIڇÛÙ":݇23l'L'ǯ⾙5괺MHo( 1hKUfPr/ĝߗ,K>ε"{J呢`%A~ 0x!u9A]FX0NHYXwwcuTHKe#}؛NȆKƊL[7V|8-ħ<n>胍LL%9v;2hN$"E\?xe 7K# Cڒo؉^ &(>rh:Ր>V0+">)bqGigv"3 jp`-(b`WҎ K*"t (_w`,+N 6'Z940,Ǯa(v/b%p 7OƩGIC.!FG1y꜠ΰ*2quG4O -kW) d\ q%m &g1 sÎJ1d5hֵAfԕ}Fit<, Z f}!8xi 8v(#54G %dĹ6ެ6Cu~ I3% EgS` %tO"V8Xש vkpqNiSOqOqd9t+Gukp^nq"cr\5=k}/ΞU[Էhaؚɂ:(lm#僑Bd%n OxL)މVp=7[l1Umf.WɦIZ:y^g^T((l%m=7iAsOdRBkg}D &8=|!ImhHX |bw>b:+Z? .RJcoljJƙw!Qz0;i%~'MRBۤPsu;ts{zN8LA3Fp올P2-\DulT~?ؼhd?/W18Hu䰁jlMA`Q1sn'cjשxm2 PZdq(tz4T ۽'v6^e@|OǝS(4+%8F2j{L [` 1,YUur_Z5*<F]&⑓~% d}%OZWA $ 9jhЀ"LYn`7^W@9qߕHe*2rZUV$KKdw`z3 1E%1O4,W!a? GaNK~:1OD6DT[KFt;}]d~쨢.<.hr3^VfIj]2 7(3= !_jDenq3o*>n[<\n\h }5p"_sL1vhWXM$$0n' C#DPʪB]c~ H"Җ\hXj0vT_)whiHMr+/ Pʎ/ ;yR$I,=b7A\J NY[lWq-jYlgɥ'0m(O" ePP93K7l1m3bߡfڅw21 %X4H{m=Wy„'}@Bu٣ƤgJ5q*7lrMTIm-Cȕs7R1\$;goj}Cg % t#ej'6=ɿ>;9EɅrLEY[%ţ XXҹUd97g]ĈX 8Բ?P܁+'? ޵ت͊2Qm0sH,#Fabh̒N?xϖ6$*Bg,] 1tB+}FcT|a.- VˡY=oԝq0Ny˺VϕAsG,#'4b.-T On1LN6>ط3{W-ظ6*<#;9-p#d jU$-<\KR0JQ?W Gك07&7m 7"oKu!&^,pFj,\쓯MA$%+h{|ʽxZR Ȓ:yӖhӸ AQ8(gW2[,}CL3 +2ҎEv.*r*EԾ}H[Ȫ0qAq7JD5&5#cihDZ+<׿Aݴe^rmXsR ?:`T^I6Z .xRO<wTL?vnl,,q+0J?#&纯g95؀,K{H %eis,IrZ1(W@DM\/!h -#<pff䝵~~SAxf4dA [b6SOnXO/Nҳz܄OK=`u7f>~}rU&| ͎vi~|S=3 ryKD5'Q4'9fOn긢vd}|tqK:Cac:pYKHSvM#s WK81n;A˟|0eփq*cf Q̔-ߓ%y/lG໒\~j._BG!U(޲(͹p&g1q=6ynAO 0+Iw4i/;KF߭N_)"&.Mig4w $1@kʱd$Fk~NX>iAqU3Wf-B!'U$UPs@Ju\|Xk %\EMl  R 9 y܊<Fq{w-.J !,E~ z1lsoxCl4R1JmѬy'hNvhe6}{PSzY3owYS-`" mRNei԰9jTFn*-9B,uŇȴKC 3E̩"ߘ%T#`NmW*T/=1R^Xb9`< 0n7T M-'_)om]p G *vsFeK}c0^V1%8{g-!%"׊J+H<VSyȰe`/␙gp5^jXC|.m Ke9L*=+@(/p K !;+*zwUaDd@c-t+MOt˻6%gTk'0tHj?;X Nڍ}L?$V:/7@FxE Hl;sf@n-RWCXqhkKx}0DF0C9o+Ӈlﳠ% ~&س G*QDxAAa.SEd@Y;|ЍJ% %H֤:ֹGį|/#e2-U#큭 d 93tMn# IliGج+%n/mQE*{+U[r9 b0@jrgq=ccy _Ŧ~}ݥOV{_pssKTϐh^U(R5lD9L&]*͟l緥tH63¢8auFQ|s1}QTL#_8.9V$Z~Kg3L$Uf"7L"N}`TH!azW m,|rg© 贮Q9$(gn E|. V̐qD@}ꞧޞ v'CVzc3gA>n r$lUUϵ- #gDKT~MK$l(Zumͣs_ecXTKܠ݋*Iuse]()OY\^s$+.xYw.#u.?,yZVU\搵 ů`](pQ w\b?<(6 VKV0z? a@F}|1:ڵV8w_7c7@uϢԈD:kؕ!-BmuK̒4lSuPlzsGu_8B 7X1/ }խ$d2սi"sςWֳO^^*D"ffecGܻ.+?9܌ &(9҅Szky<0@ >tQ0}_"}J:s$Kwھw,׵"v FrAu=ۣ"XBEv ?n|, WT ބvb,y&+ޅ:ч=A 5$ZS;.lH;3m{x?<#&\8M M$m28(Gęb8͇thf6a @un5aRzǣp{n^1r&!+jJcᘟ1)P=H^nEC LZ;c/:7L0܍Q#TmSՌ5ZϗU4V8;mX{qdVlMDZr& TqCӟJw=+"wYקC !${󤶌D54aac9|֣]C۠it|V3V2٨&b )%o*IW)HRƖ9O}:K2T:4TN,iZDi.8]'vBX6Nmqlj3@hU3+ "l;Kd8ϛo _i.A~{Sb4O3naEvLMǏq̈́&Qgz-7WϤPUK \M779i`LVq+1" њp"&~%GfK~br,Oݷs$)1,% 9@rET.B2SxYC Lf:x nh K.9=H5bpteM߽2^l뫼&FuTHy#DEchkx,44k69]O}Rr% 4'V9(nWMw5iO\om*X3tHG;&=x ()Ǯ#w0<>rTGr_fوM"N]PWjrFo$;hPV l.n&=QɆtJ@^7xܝK.gkA$|9Ocpjo-b7@pˣf=L`oh o*0'2sN+Uf}Ur5K\u_Xs:\[qRK|yG7Z 0T<^g)bEQwVLo`@ n-o8iM^JD(%ю1:arQwNrT083/Ϥ )nLLBaV6b7{TG "҄ՋP[s}ew΍|"ݔJ-uHwzv-DMs%Z[^a3і=S r(WܶɆ%p!Om ]Ew+ˇ&aQOdzRYwE#;mVeW*[.wk >FyDTj3(!~ۄQ'7k@MfņB*z`~|?I2_{>LY|9:\#5!mG@-*ˆ+7Ty[G@)cQ{~>`' mR 6+/Ȕĥnh@lUC Pggh@=[<'n"hXuY~>\gh6b|XJ?RMSQڼ6>1=leǩG TG׸GiIyIFV·_5]mxeɅ]wbŐþ/晨8;m3+teսkEkS$H;Ki͑ ȿB+h`ްLptb.qv}k5w  3 #Bu׋kkQÐVcL.3dp߂+UЮt"2VvDYBĒicI@eL4sĦn2;VzVF]*s"R-􉁌d½'s{MI Kڧ{da1vzcz}^|6bkd~jik }⮤R!Y1)G>&I͹F1^oȘ%4:#\-/2I^Ę- PdWgWc~,_xF}>Zs3AV[q 6su'V;$SK@fGRf2(z<IJ"Lyc{tC-e,>zೞ`nj _`gF?4]xTUcYrD8S|M0~ jX. ,g&`k[o,@>fyHx𼅧yO x.$50?:{PAE_EGH<le0,63 5EF-S! R*[54ӽH9li[k:WC9I㣈1uBrTIm ZE g<5ឿȆ3#8ƅMG _P@-xve4F: Ө*,ʢ(1>ڟ 'NKxx#})i_߁C\9\4j^Pk1Aݜ:_f&/1F"i \2gؤ A'NuriǙ\p. F;ʞs>AaY)>@e+Q*׶ me^mwz)' Ţ ͌dS{] C<VƂ;cİ\JS(MqBr!IJLOHd9$½?_p҃dwOEMt"Bt`qa-Ͻإ/Ө0- d7}hÕ`,[zh%u-76cC? ٛ)#WW4@w7,-J*̟@& k`BIk>Ը=Je;F)-Q~D@/;?-JAӐ8x-w\`a x^Q{QL}z̥zX@UКGxd4 Fsj,9rN?"ܩKRdC/1iu;.jzUy>Xo= Nse=9reES")5R:̑] .n`WoDB׽/X {+Aߑ/_ oWqi Aw\bQ5cvcR>%ɓ^%ĩ fo9z$>U%rp.&?xKWoM|_Lmg113Lkclm`UNt$|AAҚ46Mr41<&"/}0 J=cKkT\̍%}UT#-$մup!uP<s߹4dsvf{X(l#:?Ɩ1YeHХ%EwǷU H@2n$äҧ5 KƕYaVխP>gw{>zhˈIM Ssv)Ж)bGa* F4hh}5䧎|o`-ˏdҳ3@x%` ѮʹtN%1x-FWQlyҍD3 c|R}˔ M+_e O]SyW6nU!LY|dI08:jOG| Om9-!,ˆ=贴AoN-Vk-~Gc{+of0KBK%ũ!^胾2bF[O 5 ^>Z9D!8u xʔ~|85'/nK)8\o=$6>B7M.i51 "n:ŽEӹnؓF*s ¢vp ' y;[a T2IЎBL7{B86P£ Կ/ ycBXxn|oDiB;9-\)OZ2.^myz| s)]M;RˊPpͭ G;{z!ܱ9m3JM/\mꄑHxsbL >nBoN-aI=5Hag&&XLsGTZyPByPa_VzK; :mtΗZa1x<DžcM.-BмS50{U5=dffvtNs}SqM 3XZynfuc "sԋvJK"TuY]PxT("j| ӉvٗbiϋQ^i$KC'a:|.0Q*a&rA qRt2!.NNɻVRI^(톚b fGKb̉.۸c%J' ~ogLg݊y**- 50j([fHGQn[[\s\.+Pt9.:ji0K97$Ê'jc*5Pjz /XOilҮ*IǮ_hQ<;]:n(dV˰ _Z63&- qtjȎViz4I[`1lN_8Si_\wV^8`"}q5E s3 ېAt|L!u$̯sG y[Y'UeS L1G8nOm8~!10{ VM0vG?_LެBt[=;r3lRX'0Idm%}^Q Jꙡ3P68|Ư@!Q+"J(uK|]9@6& CP/u4w5lScRK+d](xMUI3u!<$x~rtA_~*L]v WEUfi h4eeW{$궪XtR ݐJlh9HEUbxIJv&6r:~ڻF'S'=1/Ǹi'URn'koJΘ0TA0$%>zWz qMӵ*>s K `P(ɓRЩIؽH_4"g/ѫ&ґEE[Yb"EyNuCM]jK,ȟcmdpct,-8ĶY,C)T83A 9&vQ& b}tu` (Jyq'}Åts˦d^e;*,Y3#mg{e+.QS=B-3zpɏ:6oioҹbX|H|`ʹl+8]<`HԔE-dRp<ȚDYm n5q4̬lۋ34rŽ[2ORAq#sl O :R4]Y &JSBR~裂aa:tϾ,0f~Zp%ɗ$_ƫMu\ijg~0`:\;FX|S^;쩰YR>V" ^AL/D`!kV̮iu^ `VUs:7t 2(M=Z#Q54`ʙOMO(zoCϽ;W<HX*oOŀ@V!butTSiC3r9$ |n^=%?wο%(p'?J.b(T3E4 54Wd#烞rLpNTQNo6M@iESVKK?"+i 0%\SP`Ysx|)uK}2NXw=TRbۏ DbcDB/:tX8`Ɂy ƊX*aOX-z/ m!{yC&kaO^ItH#[kup S K0sDgs,+%ds}b&/T8Y;M8T8uMK=ayrj=M:a1>y3S~BWH8ccamO|V_cQ y$e=:rO2XPOSL^@s(r.`k>X,kN~q ( hqqyvk,J~)`Z={G?t!cM 7p\->dZX,3ND_CUᾍ!3p;ϫqL(,^;(諁' Pk67sܬLszٽ+CmNO!pAVq R8/TΟp'cW \̈*LRQg pZ.igwLA2T T] vI%JЃtnڥ4H!l_"TٕOp! uњKC -D te+cTQ:No"ĆZM#o2z9k JZ&>$GkC2_ ӽA 튏QI]$SS4>?n%\QҭjdR% :ehڡUAM=)W(gٯ|մk6i'4<:U6NԵ-_rDv/Ì؆LW~ĵy4:'C#[;u@C5sy ~bk4NE ,._ާf0" ^@G %uuLSƆ З 2oLޖr&d1r _$|Z:+*r'_ȹ ^_{t[nΡAL/ܝ+\):1P5?x?VSfnX]5kXo{M\ 7A:D˺3o_KQXTs,%Us f$`K"Y A<S:l,%4w5?fy񌪫mM)O?%LQEesA"?3]~ȵRDPCwuHr)K҇ +n0vY}s,^6a_:5is,]wH342-nr$_K}0lp廇xi˭2Ye%$Df@1ca淦H'U'}m:DmwX ShY:RF{+v`޼c ǟd`_E&WԹ@$gYxQqz3]#א7 KOo㰜7t B3[p4,^8 @; Bxu7<(sLqXϷ#U$U 2z$Ovha鲿mYL`}" @Ov7ڧV {,uŃ <[,Z(5 zZ ƻt7R:~*Cm]?ePFp {QR4KWJH,h4 jeّ߷<&>*iLӌ՗fЮwyrdY3։07QPx1qoc"܊[ڎF}6],B%,G'%s2 RE/_~O[Xm)}&<3lP%zh#^I`R04 ʺ Es!|1rԿPEs;-?bHDKSV2r#$P3Y,/ՠ{N'?>d8Z -vC/X\)~f|4k >{wP? کC')Eru; ,⼇a&pRj8Ms^v.m!F g;H,!)T{a5yPWO{RKA`ZڜD[t;#v)l uuţv _<@P3&"[Cr::}YΙT@ǚaxMέ]׹N.`a[>q rAl2-p(>B/a cq䞭9\#Y3AVj嬡7f̽IHo /߱A)ԠHWlQlW:Zu8q," @+-oT47UYY?gYZ5157a6577baf26e860c418d22621125382134d87bae43dd2951a6b8e1263e49c814c4a696de4b0ad fa7786099e4357d1af728bd041479c3ee700c993f937c17f2adea221f94d7d4604ae395a40358aba