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 ''%'l ]w]CAVA_Automata:threads=4elapsed=86.453cpu=142.560gc=5.912factor=1.657zXZִF! W]ŗXiɟH)0%o2el;Mg ݨa}ʥ/j4f>Y39Xujr~ħxqFSMIT` DB`bs6dF{ t PJqJuƒ";'nVcGNĄ|,Λ lp-3 :wܨ9_E~ (9wE&wmP; {R٤]4,is*.Bu o.Am9Fb8k3̮S8R-ʘu6BmlgʱSw2n xE>TcN~"e]r`q>Ie8(=)ѻ1WMQ}2w艹7F#6 ojT w+4-gHcgW"}ˬ(Y1ߋtet}<Z-ySU5xˎwXv#T<%Icb#7i3T\X`L,hhh75|0DTI-5B5: E/HSUE"SSr~ Os+omQ.Ьf,>R%=Ǟ{DO/ C5^rAw7\qE[m<,h?MYX=p 5PW UIHٔhDI*O`9uC_x3$ɶŵ}ӽhwB;Cd ǖYևX@ީ?.j1y^ }ppR. 3\D'[˒y{SP>WL~$|#?nI&;pr8=P$ Lt$QJ{;!aBҊl +VKKzR5TI WVW %w S/D_a$nYk ׷~'$Mx@S0GǮo),mЎj$BRV?WDb2&z <6 co޷ ZF(A"#+ʩ7,: %*O;aMҥh{1Lo[=˚ 3" lRwanX! 6P2]mӍg:C*rX )eeQUIwg痫ބ .(aoiLCnN!GOlVMs@z>,R KiT*icѝ2N@NeaW6rhx)cN<']*OB+"*yԑ4.kzUud?8MK $EPcuKQaxXs;Q!c_IO&AoN`[ *Fw؃z`(=5n6d*K1?HK=~sS7j9_.|Mp8#؅GSZIAMiIXP B::P>"?OC2́U[gTÑ!XHd̜d5b VN'D>EYٵ  ' CAVA_Automata ss 'A+ $CAVA_AutomataCAVA_Automata.Digraph_Implcode/export1.ML7zXZִF! ; ]SAТY>9o*D O1tb^n^74M]@qwpDz{5yiGQT{_mKǚxɼ9M/@+Uz2EX1^NK8D|l --NQ{>Ƅ]VFuf5ɾ0bdmW_ Y8Tp;Jn R=لA`N2ctx)\ĶϮ]=HvlF9>d[TJt" b$T$~|S,DžYDb IY'zL ٩J}r4?O3Qۖ[&NaK \gYxi݇C8l?$]dP5S<Jÿ/ ]x|PQ\۩Ch7ש.V6 iU}'l уAG6_-7C )&LsJr y~%A3QL/ x>"_J -E`\mvփphk c`{UZd5Z0Ȃ|)~Ixw&֫Q[ָ*.Ԅ`60]J1~pR{kT5 }6!/e D_i*"7ˮd8RM(Bxp K7#P>ԥ {U3EQG_scN!if5e3h!-U῕X4Q5g 2J{ ˱\3s2쉒vKWzH!4ǚ ):$)U!ך;_7|-bľe߇ P_4|d,sX&rvr1t:IoSjT3Ѻ12C/4>N,\[SljxZK䐿f,{Kjo{@c$,Lg8L w*BlXc:F`x m%VńBbkѢsXK?-?dwQk$K FqZȎ}舓 S){" .NUh7VYwIm4Hxm{][hd39#4%VJpOlF2 EK`D652n@!2PҸ\y^ٝKGj<Iy!$̂ˏ9S$KK%/@btNO"ӊTwen_+ϝ6%JDa!pą2pu GcUU5`e Yf;pU|j9U/VEזZ+E˔AvS{ ;-{xU|i(PNH`.P\(RH +<噣%6\;t N|Ώ[J\BUՌQIãMN?^³H߇cG}|ER Sh>Cܲn{7r,bEPkb KwbN*gMa3+^T,)ͦBSbfJ.C@W䭙ѣK$v4m|?X[o%sCe^ dAq/ͩ1d/k{g= L13FGn7o3AŢ\:N΁ #t* _Cć1]٬!;|*M%`EM0-ťIۑ r_VU?ʲ ry_[qC%仮@`.g% ׅ-{#75[oхSC+DtDYv/j 1#\@tEKYt! ul[@iZY+cVw3-#\+=_(qr#kP-)[.g}O$X1uLɰhgڿ_?+fb?*-ŀ&|",O 9<zjGc- ?J||0`KXEa#=ZJ+Y1M!rbihָ!@S3G a<!ͦշR:;ea%{T=gso4b2f5Vgc{嫢6nv,N? ͔_S[5_Ya-P ,X=H#6>R:̀lF{*9קZ颱RbCD/-cvl֫4J9 Dd36&ތڡCȏK)=_QE5MEzi+ˠ9YV3h>g&hOs~#34VGhT L>}R6PҐOs7nc3aH2^d#kɁ:lMv@炇+׌NV]r7gۛqvz1HbuofWG$̆?me hXHFŔtOL|jY{F4pfŖexw E-Nv虲w5P60sUK2`ÅztWt`IYNs5>ڑxING^򭴮e-OWV]b֧aq MII듃>I4;OO@kŸuLN =`'^ ޺E(:S݌xƟs[BѾït #J`.!^bndr!@;?"8ٹW9ָ*`)29%1t{Z\uiD;?LQ83ޖ͂ D228^zW]0O^E';}LzH?,Sp\eKUcxm. :X\*m.\EG9e#EڴLһ{yXkevjYz}$Hx;|nµ94>3(g@e^2ɴOiwJQ JOG ݻV@K盘2.2҄EI 'h|Uݨ+=PjIbʌ| O5iJEl+)ڧ9=j{_ACmP9sHA~TNR^(4s8^1lwO| Gx c^#62~UDQ\H9 D| Q7uq@GdˡFJ,Ksз"hJWYctMJ>$p|KFʯqQ',Qt7=&SƎ gOne@~Nm-Gɕt{֜;dlb=q77$/g'z̛) ;͂oEǷ xP`a(vզÁ9 p"~4~4{G cb /zʌ킔iK`|Dhgi|17LBEB-|:LhwP!Pq/s)W[i!{-cnX'V0 o2|3#Cžh& =5aG,I` 5,YT;c-wzDʃ#{AOJݯd:~,6sm2jQ&0,znLX!qC8-JE3"M[f`5U">q`{$lhny'+_VO3ذcLCiZo٥k)a2_oV9 eOfrGOP$|p_HqU7TY$R I2DFb킾TȲv eG,#5}HTk[GzzÆ cit>\{EYS/'2pMe w!~6b5NB 2,=Q Xt!w҄:o;#FNNp?9\i=o' ̏I ( G7S~ܭ!ls{3>{꭬QyUR_$1tޢɨ.l|ɕЋkF/EJY;"R^<\S.L'R1%!e%\}?FwmP^a,b" Hԫ㳮bAüR|AWЃ@KZmbgf,M$"C✃c\s]"Yf5|c66,m'mI!Z1 Uv!yꡓ8u9 !@U/Dzko1KVf5JhRrmjj*mKtkwvRx8Հ$v|&L zzZ׈-zHXvcWV ×S;$[&J D0=n}8›%*O@)*ޚۜ(hŷ];U| hKÛ @8O+1omU8NPSvk7 T;Xkii irxba [u7}iup6aIh.XGh;rҡ0yST[W^j `b4~i 䄯~ lOtߴ 6z!8CmGeMW ά{7Ku }HU&:+Oaē(U&5w^HqR}4q_8|PoȠrjû!ȟi?RɲW$+{u,pm<½KߧgA:1Tqj SkcESb"R6/d)R:Stk ڰMž:%O HzT:B C3b -\X35P^IOw4ϔN}Ajm}G5o5t_/u͸? bcmJ`9+5}īX=¤mj+)oFR]Xp  X  ~ȀC MtYH̀?>7V>L tAN7b}eԁ./GT׉ۍ(0ng1 qgpR9r.qmJ+| `P9X8@D 5C$-19A݄ _;#Dxm=r]Q[&0=%v׷r׻vRNVcFDq?q峕 ;Km3b9uyN<ƩaVPe~`|vfh4("Je!bj;&7p:VE20).Ĭ .~Hf EK= Y &0-bP-TnXMZn)}9Ln[ 7<@a11%2*-݁v 񓝣យlBhzy[Qf.8-<_[l'2}L4p\jt28?|Yj E/HXUi_êً(T -PD0Jn.`2 $5hMSc.`Gk {|7 ]q0v7A˾AU>olGCs͢SeF {i_1ۡ k*Ca4Z8M4=)ƽ GXH=l2,EYEPW"z(]w;ẹ[ `^N:GwG&|A[.iՖxY@gQMzӧv ^,bo0 EUl~I#.M?Z<%le@gomVX0)xg#RBp7-Koi@uRÖ\;<}{WVA*]}"$1i!2#ۍ*tAscU57䂾$`x_ylj&HE4gH֥y$9O;9GX0|C1 8z4qDЖU:2xe@V`CC:څ &H`Ó "@6kNB Hu5tYݐ,]=ebbI$ zh,Ѳ9wѿ&ȸJzӉ)r_0,pY]'u `]ceT{}L=VW_{X0,Ƴm4ܟ"Kn!+o=ۊyk,lk093BΧjIl H[.br`6g-&]+.vX,}Qv-Azz [ t/k-8x]4ZPp e+Y C*B3TSS?/``I$;B"My9^5S&oU5|e0"t RT7[(R/ ŜΚ@[ ]qJV`Ϋk!E'´UϪE1@ ]3{XB1İ-E|O%b[}̆%IBA9}^X |R*qz`Ϊ}\HfXRY"`sR]@ [Jdk噷}\0@ϭT (dɜʤR hM[bGȊDZC}Ly,gaq%qMpo0pT][7)&99cosy0氕 @`R@JJp8 Kr.H^]CzѨ)1EcW 0cItZ(A^YQw)IE2 RYCrGW`7._=!eA8iƺt?E%( >sqeA9R) MO:*yJ2铤elPy aوˉ3ʿV[Pb駥tJ́p:Q:l9Ȍg R|LiϪjtBIF'xП+q!gg&#f,Vqd~OճspJqűO tφvoʛ-fع?,;dTh3j6Kul$Aƞ =[FPBQM=V7)ryx>p,<>;ȊӝtqM?pPI YXZ¯dQF{izר7 Rcj_<-iPN]ql3~Iq?q(;Wа\ 5J neM.]QpiUZ}75[E$/sInz}HQ{0LDS&|铍[?i5+\u}In øQdn-:Q|>b}>#z [:zLu,Br]w }2E|$s#qΓ0f:ޕ( ed,ZONoNW" l=*h֔lrNiHXt`<ɮ揄:`Ry\N϶v Mf.**]Z ˖-[ @=Ce0J$ b`Q}_m-;$0 $a|su'ۂXTr MLg[NkmQgm.81anPJcS-"+ _=JiRRGccoP8V1 a N>,ǧ.*2WnʷS 2ېδѳ03Xes(RaOWf\P8 \ 6h&3/dK`הoϤ-C.>i6̸єц%WPUzq("BIFb*l0Vtlxt [bID0In;NM7{p:Ml-dn\4@jC4 JǧDNRJqbB=ݶ-~~1/g5@N洀#|E I%.)]] c2^te$Y1}}-:;X+e;k ȨJh:hLÊUceh.2 }\pBj!N ?bVPbf `\1h*\f^N T@g29 gcV"Ÿޘ~S A<_Z=UCxGuZ@si5O{ =6%y`"QBxt*ۈ1Ajq#g)vjwHD郐:zέ0-Tx1CbCgi `fc{"QzY#Au90G&s4$Ľ8F5(h;G #ގY΄vNx 4%nҠBRhA22meɦm4cJ,g3b`?|xnqŊXL3Rg׀Pnb!? &Ĉ - ҡi2~e!Ǎ[W"vr葸\*S7%!ґ+Yߖ_&OF1FFj]0ρ;q,hX"][Z:vd;vIXؒi1Rbk3V (O;.gLN0}E[SXw hߟP-6seڎL}CH$4a.8'.}ݙƌM-,F.[K.Rb2:n̻܊J6N<=aF K-bR+ZK;kW_;z#em5V#sޗ-VX(-y %/ a.Xbws zr^((NJS; n = Y7WV÷GkO'}imF|v]&|(wըw΋  L@!Sj~D #ԗEKg S/شsq)@Z!䙎38b0o~J n^Գ\NZԾ AF\'?⷟L맗lϪ\ޜYk`c?md xpƳ~2 1s^ȩyt^m> ,} >JT)E/|zcŧ]dv_OT+,u}=yُ6d ,62:bɈ|"%&ZÒҿƳ T=: [٬3hmY8NT>9 ͚mdmkղ#jȘ.k' jpr"b<ϣABy&9xh+%3Od܈ޫ9sG5oiQ] )*ܿ!68U G290j_/)Ƣc *ٽ[vXe89?l';m._r~ U-y=eM9ޭU D~Or琮km/0(!&7ej)8Y#4 Yc`  <.Q"Mݿ[oARjX='Yl=2+XWRGfU:@-z/ɶ'4 f)^so%2σn2Bݿ Ïqԛ-tdhR&FtlB(.c[WIR)7l*L<)qͲZLW&X7Ifg:efN=rY\m. RGtj^b쵐RDJuR׃ٽ7 A`ny i'RwaeJ5 =ت+#UKiFV-Ŗf,RT 甾"A~ k#QHYE((Qۂi,Do#DTϭր{ZOp0ተQULU{ 4v;Ε1Gf;C0SN.9zI-%\ܓ纥kx@/6K@qb;(\r5‘Wۣ ȮwtuQLAx:V7Ax˫0w֚DH @*2 g)Rj- Y[c?,{T9"-w5:* =|{e0q!?d @ VOhi{W˵I/[-t~y@ֱZ^g Jgy'=wic?2Qz0Bؽb^' 0_ڇRXLG 5M皾~yȲH$!ѧ6ݻ. 9Л8Կoku*Bw~(HlgOzL }@(&C*DDSތZB|o.:{Hl`6_~2;]oO뎎[?J=rshAtW|%諧5dcP&'juyLZzn u`$@lDLjM!1ˉ)e8YzSoڬэ"lKt65/ N;Y"xp,hTpqsq۴U+/6u_-1?g!TtU7τO(PݧV~Л+_^.p H;g]0:~u$*wO(%e"1'ml av ϓETNe~< @~["߆ߖ]۷!x2c3ǥIۉ`cXOn0M]X*끫IFOdB c#X<~">@{[ѦJ4N{7vt4y\c orPš ^cx P F n 2!^$MS28Yj@PhBe~/Zaw.?)0q=6tO"*LEJfiUJ Ȩ0!q:gM?#FZ+6M'#]>..wtZBح4R`zFoEg.[XD_uI,ZD| Ewo+n0I%63O;3oxDVll=3S֥Qs|ӈbԚ{6(eK,TB #ڦt*;HX7,+8~ %jg~`h>p,ݡ,X&C_G+s=x9П"?;r>Пvk6,L=Y&۾z)I\r)S8Hp|(m"0QN*Vby,9gdI^ }-u>jHa {.@d^8uµes|RTAL9a (Sݨ!}+ϰ]m  mpj?-ԟ̫#{B7m!QkZ!\`Wx9itIbi Wׅ#w hAOdNF)A!<_> n6qcDXK^7It[C‚X/Ģ>a MH5E`УǾmo2{+sͷo'rHE7d. 液Vwq;QpPgGncs7ٔzs,nHxظd9:/xܜm f-eK.{Ӈ/iv(J DX̅㢨X2.}4u_LA3u \)[$醻 |"j{Zwpj)zBU)&h#ZHrs~$KfWD,gٜc 9{(ll2$%|*Kggw4rrpJ9c]L@N#e{Y(m'HK 4%QU ~ /G4Ц2k2Y+w_K- @dȍ1 T&3UD:|&W$kǔg_R*Vg.0P|Hd8(ro$PVR񨾃_m:͑b¡";$|qJՕJH r  3CE KCZ+GS^E,bP.d/TNԬƯlƞL6 M] MY>)w9j_h)VrLCK[y'`Ų7q>Ste%okL};R}ux?thsRI%nKd` n\tQⓓ 2/Ռdxe$bf~I@\&w#]mВ*dS},bj?b]Q~:TEKP%3-=^P_EG{C -coKv9 Ec(TW$2xtFNc*`hH ~Y-y&9'2%R+K2֑fyT;8AL)B[nwVJ5qU]9z~ Sqe] ML.1~ +l(  T?>?_¿8~Ȅh ӆ\<*_c e~P/ʄJAkP|+uBN5kF jY |v$Qs`B>Hm(hԢTIp{kOP1)Q l&!)rlB<KGP&:l#3L )* d'aasRc(h燸c_ ]JJV,)A.C)؈0tc_B?PcDZu,(zxoi(`1>_E*3cBD@k` ݪ6auU9'pJQ+eMm"ۊs9UKP|C jڇ`*%›r`d߰#0`|>2Cښ9C(|O}06e Ǘ]yķ9u`/R&O';ehW{0H A9x"{ӬZR<"9۪S F5 }![0/xA} .Mh 7r2l֌%pk4e `eFx-]EE16Se<9U Q^xm.(BUAT20569I:>&*U(% -t l/Ә{6Dϧ "_+z).X׭2`#RdP cUL%fxV#YSdž@}jKK[ch*P 󦵱8%&'#(&"%.2k< =BK&k<ȯx5.4(T![d5,;!*dUPRVk]i?/3^0}'B$MRhM[&Wp4o좇,#)AYCz0BZ3wAan=d>(8M4 } 6X4<|ơFp!s%3xuNJ!e'H{O>v/Rar4e_-M"{lz'O޳UBKpB1ac$O!nnOujdj5oBAoVՊ7;>d-7ڤ$K"M)~qӥl*BˇsTiVZ1 )Q~=A|;I%%Jv H\2br 5QLc?CGbn].C"î6rd~ٳ$"=FWt=em2K}0h);C.y#BbaQoC ~lWȖ $ӍCs05+;] GHmxnFg7=~!WФ bd|j{$"\qM?C0F&0 F(T =ZJ$ GAnpQL'+Khb ܗڲ*W%6"z?0CK޽J}Ň>eHs쾍Q&ALٌ[٥Wm ܺIs&G5Tx4:l4f?HV"uPjnty VCآE#l >n Ts[^p7#Ic@gz@,'zl~f~Mc,*$j =xQe/WMo* :Z7|XSOܤ\)ǁ_ҏ/D}[ >< VfCS*,Л6F/\CȱB\(.#\h4i# o֮fi~-s: ^Dx5$d97*uڃc^͓0SÆ8E9CU`FoZfb0Ay@Io3_d >M{e1S[ᄤ^su'+8J&Qbm(%`dzy |ji)›^1*UcOPj\@л22WWGj:L*/K R߽/BL>Ķ B  !/rmϙ-Hw lۆ $nm ]YK4:i]OܑTԵbOܒvCsp>cVC25PIJ1m|NTy NtP%|Gcۤcs|q<뺨+R8fţgEeîl% FL H#]Go@dTKA$Vg #˩3?0s\Ioz$ga̎59CH `v!q&dSQz6հcz'Ǧ5!Yx!|676P̝ &'5:w{(!(P+$2;ǗdI@q6OX#ka?51)/_١2nyt:t˷CZik:N8L*BdzX|˺DJzMI>wBO Q .{~Me4qlCs3K¨jIQ6TW-I u Yٳ hK?oI٫>"whÝ#nh) /*h]:h_N$IA2i+(7s(_V[7~61Oh`\)FAW[D%J8eWhEo=݂^eR yZL]Gt젡Qcu!mA %(Fl[#AJ-0j2|sM,)%,\80rdլ7o oNb:?DET9F)",,P rSjni$LW *C uT˗HdrjT!I=gˇ1ފe1Zc9dj~UźSSq00 }H`#a !ޜ 'u*$QeC#پ!ؓ|ПKhJ0ȤY"κ4U !Kd>ev\B<^; X!X:Nfk}`*HF8{&@0uWڞD_" ;rPU! W?!q/n_Yʹ~WRr]k&.B@ʞeU=@Ӌ'a h/'VN:v,1YAT Q9Ǜy$j.%+WRpIj3_jFP3uKE0Jʼ}YN4tw`g= _\7Z`"ֲ}6 )ۢcDžkBj2:^J^څ?I8ǽ~&jY׾˒!j@3.>`ZYˎ}y0MIN8+&j%l'[px9g M«0EB2s:`rll-AXCleD2z Ѳ~ jqG~haX 9'MKIڎ]?HDX0▟ѭ3gK Jg*rz~}WyxM@Hp[]׈[dLJ_^87-@su9yҟ$25DaHvzOQDĞր@߈QǛӴjd`rjv,}kk?pЕ {]/SB|BC2#%8' M4$׭}b3in[YںߓM/a)jRwyF;sx5r%z)4":(!Wfty`zCm%noL|︎賄!ߞZpt/seX"F`^@Sxl^`m{!"HVx[HvdLNA}/e[0/&ʉ 5j|zbp %)/|R QqIL0U". BIC dEu|sBBw}Mc2{==3#+;y,{:5^{4çGϭC$lnC8Zlׯ07ZB10gSM:ai5@G7v%ݺ%[,?KHאC S ~7 :8w9ЎOLi)a,hvrrhB5[[,`QTu85_âmM*Y1[< {ص@TH+`]L|Ɋ  l5pv)^-"d4> ]ӢY[Hb['?HQ$#/0[0sj$Rq.8x%ttgv=%= dD(fh*(MآLmoV~tF |DZ ŊJw vYL\@)ܑ ?ȝJ{#lUm]&"M#+/!ՀdE)"8\[o6J YUH^{ oޡ;+|ҎF  i~x uk{S,ZZpq]WiJM Lζ U3BeBr2#!O /OKQL. GERw9:~X! |Y=UAShz3T& jF•4w*A!uDOΗRlmq}mSֺ\  З;$@b#CHg? :VcF/x2Kӱ@U0ߜY9(@/y { iNJό4` Wjy,F*'8("w巹XKZ[r(!Z jB g2sÆi s>I(@juX93p hI2i?7ZI2sϞnU#bI[N+AYUÒEFA.$ndQQ]pntڀp5HABß`nGw](yyTB[fRX%' I=EvV r?喹6G4#J5e Ocm@Jj02Z^]To)Sӽ@>=#93ڍr=Jw F,w·m:3/5A){d`U%PԶmQ6[|S@4I2!ü)"j Űִ/Ù*lɈzepլ{wVHu!iDٯl`@"&YnVq;,`=Jw V?멙2"_GHM%, h8 UnV$u'f?~% M$f]GGVwGS *#wfG:)yQU*h>uvu۶ڄrc]~b4U fBi6 M[FVU?HFPhLTIyVqVMm('8TEkrQ8=x#(. 0V bM2~*LY9s3A EaTУYރtƢM^8[0/3ȒT"lo ُ[PcP't/8A0qn.r.SǸhC^`r870D=~nMg,+ {`LA%fI+zoQ(z-}6Ye95-ҩHc\YA/BoU~/} T1( [~DoI]׭|81@STs(,mzj<P ?rI,=]"醩_3+ĴNytŶ ?dL#s%$Oe-%XŜs1$[5*c \igF *Ϭ.f,m@ ZD]O'F4Msha0 YƓЦ[TDcnsԱtK̫h݅kxKk֋<>@(sF}Ma `(4_(P-nV_Dq-' )ؒf4ň,20rs&~[Уs5;@JA`7V0 NKU~%5U{6d8| IySLֈX\87z 5wtxHVSz| =d.ls5 @Y9/EMWыĬ-S'rq5}']%v$/U W/n`e)I1``dpuB9qR}w%hOu(Q'Oe6Fey[q7 a٧W׶ `ldlJ8s:g|#6>QI "0D&qӣjg YS{Bp{F&bSkueckpfݯOn(駼 Uk.v5PlmיEG:<fD,;#JG 7'TiIZåWu̷̬H!=@ljg*Yc`q15/7ȜX;hԹJݕ4s+mv`8o\-y113'qJ1#{)k}é[ۊzNl\*mRmSyj@a%= =]W]IR;w+KfP{xL3@QLGU 2&a+~]Ka_d čdT2vj P>, H1nk;L`W&rb)ёspU\}YLڇs쉝W P,}sC-m^VQP5AKwc߆M9&kNkd:`Cbamd-<[6nDf\V޸齘gWV!cf /\)ϗ[[h̀39(LcE@m4hJ " 2JG^tJn[#,o]#?WO@6wP @GLJAI~vQ1[gԀL9|ٵy)n§%E>Pst"Iܼqsm˭ ֘9k͹AS'>Lܣ]V{8AO_(/Aoҏd&\~ڦOa/ $:=[oƉ0`GC\'-`%Խ4$t+ɊEskײzHQ(nKNja+CtYwo>Q֙Z(MGɩL ^Z7`Po4NDkd^Q))ϼ5D*?T 83s}ߺhöz뤺A&kn7g7 ;TD pQ/zԘ7!w=7˼Zmr_ d'{-:6aVNsyq1C-uU53Hng KRY-Cb Oӣ TGe&+Y'YZ3OQ73bbv\/$a=U<z&Z#y{ 0"67jg -Fި+}{8A`1l3ln Z2' t:>.~9LόgX3b=Y_+ߢm"VRtZB);lUURPtUmjAX;+ 4*5oƪ-]qq-X&^o.[wTB}N伙ah?~)^iBEIw2r9VGBBl}v$jL E:;$~jh?bHirO0V[ DS Q[ɣ]|rF`- v颙]_!YŚO BeXG(sXp7A#,tWA&Ҋ--Suos1DdˁAr="M4Ѭ>&JIԣQt&iaT;C}RPPò. !`'8͡ÄLQXq4e`8oH8~HA^Su:x-cQTX߃qV"CYt] _؂Ҁ@jq0 w'I!ylؿ/ͬ]p$E,>D>'aې+G6$ChrTR"ٌŠTS+m[Z箨W/+BXmo&( xetXwd1"X %<<<%$6~Tuw2SOku#8aOzV>I2)ަC&D*r#xtRPnSO,%/ ~w7ZXMVdt5_d\Ucv$:{AsXWwO`"[CpEh)'nM;P+B_I WAy6@)h2>KDroW([f3iCS?66rKiNdmÜU}SGx<|㘚3JA10U:ݬx[?B4?P+] K`J4¶MvфGyCPKXR@Pˤ:Yd'Z EWfu5vMxOmWi\kF#( QDs#_:\>@$*EWp#QQ|R! P?h׉eiu=T_ߗLock\UHQG!l moӉ[XDM w+Nfl4^t5vC!rZL}d!g+|="'ўt;7WFU5x#q& [/ޏz6tnp0}- C0k߬r*z@Cڳ)JYP̚65OLpiKZ1mޝw=!H=H_[ 7Z<  nBm×apīV˚jӃs49w]j͡e QFߤgAkSXP@ +͕ٔUG`7 O|iIz)Mb"]I3fD? $j=˽S@yG7"Xۻp]r=Gҷ( CJmHA??J|u8k"l,(a1K \+Ͳ0%d.XGEؘFT?~@f&*%0;ֱ+vIn"|4Q3-IG*{-Ǿӡn^ȊD^4^vȘ5+'3#=A17Ng{,Nދ3w YSoKY njZ1ny07d~>RWn3ĒcJ`LQ`%`Bt\NSޔV}\%p3[h6%/j~ \9Öa &Eq()=2}{~w!blLQ@>o(-e9ZߋXPngE8_~|!&)K-j&%/hI8f1)xMN@f=¯N -^]]%}Eޜ(AxUZA>qQh R4l<( {FnW`Ԟ &Y&6C?h$i t`o30n&8cevC`L̈́SpJ$`2⺁4 riI׋AQQ uiXfX{KQfNDjamVa7o PGǘӍ/sb$O.mHtaq(OigJI1 JQf'P`M3q~X4͗"jw;G3-rG?m)>"#i9,!GJ{&Rl5{KJM9l̉>. dͫ;[b<.dؓ׾uYK$u/7sE6nBZ)) ]D'U*֠CdHDLÄTj4pѣ1Y @=1KP?bSs5?XB"Ьd3'?>GrR[-?Ffv~| 3kCPluێ93(#%p>u [Ǻ3V( Dc~cAֳ^d5X@ffz0O=VڲZD0d.AP4|A[Q@*:fMćB"dliPr$}Uf +|԰1\ ~ GZVU,,kf+泚r6==5ZϢ{ĊkNȂ ŗF .x( _fgSΨ5FKu 䤿L(igr]Gy 羲xV,U0鳥2[k@.0:]vwSЄVH7%CFpSHrS:Lqڴr|fb[?+PDݡH(ti|Ԗ;[s㜔 ife$X]#BvN R,2FXx=Jƿl5-#. ,M7um5%pad;TM&fgkV(CĨܽ#)5Upmnwr~8F~g Q0O#txbk^yDz\F`1[K799WFZwEJ)/dq@"xf3ݭe^F >;uY'eg3>A{C6Whޛg6n@F *~X21siH<GnCH:N)I;}mN FQGed8Ƭ8d$/O|_["s*R^#+i3m`F0^$*C5KLFh-#EEIḱy+[\KU$0FkZE!W\9OƚPVU xWq{^kQg)y4PsugUs}E\3-1AMz4yG <xpAp噎菬*ܒU*?=?٢9HpStwJI kf~8UV\=/91=z:,Gݍs̛.\ u=4h[2ö PH]t2{T(,T6aS kǺ'%0K2oq +F6`;DChk|;)=?kܚ`ZzR]a|lg@򆱙?]k- [V}(oJ%ɒR?|M`?AJXToJ_w,CLx5s\ɬz">)+w 5|K+˥~߀ۉ$xUng%0=6T0 FBh8WU+Z~޾aƍ )V5q1n %]Msȷ<Źo%07n.jMe++ E)ֳTUm*@m˘r1)pjb^*,>wyNGȾke!:C0+Qa׾ )jܠ˦=:mG+{ u<>NdsCPz8KT- K;G)j\ΫhނTKoX7فe'eOts⮟ FWja#Z W;`B;µ'|2\Q=":v-e;}>I=L^(]ucm`dqD/ްXvϾk}H9$3[U'&}S@rC oepy@JYMjSN$W]\բNFGMNS%Li|_>7"j."nCM3ŅHTw5(N OswK)9vƴfTboSʫnぁ1ƛw@L.7 97>|3SbuCZ*;<6cu;A[Q!Aj6C:$ 5SUƲPQ..'ȣXQ۔zIӠ0[Lii# %~F(6wdu JGRvZsXҏ\ 2 E7rlqW'ٛg+* n nbivS0@KG47'b=@11Pèh\z9Sop 䀠E_8{4Cp ?(!=ؖRH8hE6*wڑTJA?@n6TH^,_o] 'xd JҐ_t75.Nf 8WE\ʼnZ|HEoRxžEǫqE jNknH7Sx+Z̪wq^:.viy=:"P*Vpd1[ߋ2n }?fz5m0*\ٗp7%%;uCy_)nɊPJu ܜ(/"JpIRg< kL`F'ָ2/jAʧ*CU|RbҾUtqOz +By&c86jz<άnvV#|.Y‚*RռJ3S!)>o^CBPbCЈuLa= ZBZ)"ݦ5>OMAG9͓-:}XAs.9:9>1 FF^:i3{E%8FgGP=ﬣ%Z0X՘ur{$e:1q,{-OkC~hd &OOOJ1li>0%+$JgѢ?<Ȏ>j9ZYx6̐oBXH}OMagŸ̢6=̛RNC?SJ&`O1(z[hi*"45aή5:U Q;hr K-4Δj wrcD^>#ߠ2AyEA(Msguo (Bn:r09@b-z@Զ!Wl*x*H)kDCE|0<+{5c|ӖZbB[ƞɇ'7d)Qh(J3tqj>/ecie5l8"">bgӾJ[mOv/i-:j,M@ $l5!H6?C WBdjd/PQB 44d{2 ؤll/j>*#wPu懤9N;뚎 ?Ϣ`ϕyUiT3GMPM%f3']7JO n0a#Irm2kիP#?rG!odRHTJc3 +@&AU))nAgOC+s $1Vʶ* _#BkE \ 2Lӑ,}ؾT:|ûDg;h*}+a+Q:x/,}&RcjeR8:袚9[:Xlo7cHs?(.faF/ ϮEcTg4;WVNlw==V@ O̶3V [ L}ƛL?(%PS4B,AZ_%,iXB+O!%X*\:Q8!?xFL ;JtqdN:;enP.E^3iãR>g#>._P.6Y-^:96Pm XeY$a:*G5ZxxD7>e7V{bK'!#aБs&Ō\~v!r[qW͖GܘoO**4*c,3jj6`yFb`yu*~ +ϾcPWYU!ݳHo͛S6!GxBg".Bp'0[W#6hx4, /21j}vcowTqvܛ/~N>;⶙vDE1'^K mnQi4 vl`vޓ@QF' c:1!V'5 a9`atAL5jyɘCq}qZnr;0WuG $%*(Dd*LdBjRu'C(~<40S-DH6kRa蕉"ON_M1I TsQ1HY$V'ds Ӟ)Zh[YZ^B] ]g) S hOvm4{Y5e[~ON\qݣ,vC) ^k#80Ż{Lkr%C^&JzRirDk%ؖP*%;֤er,L`&ṣZfu CCWB2\) MuJ@v=VaȭpPdwMD T:PNFhSȥl23kMňp[J |!ɴ} P IVzNJJ'b:9JCD"sXK@m?&lgJ; o[;ۯusD,9i9]}} $(t ~Ů 4< TطwezIFsiUogYZ7zXZִF! BH]ŗXi%L ;(Ei ހ.ژDOGla1gv´rN{y4Sq 1π$=)U)lCZf]s+'>e$_8/,dcI_˷=X߻5T@$1m9N[nGCZ̫VgCs~)lQ{y_8iqGc}܇Qy)v)[S&W*z/vr]֜rA^"zE+KO aP(qDHn$1L.Re*֙ ҺPN!pG+ x/B]Ü}LH&U 4?fVBLZ, >|+OYg{U..x&ek]17 Qv!1XOJtp v @ s:G faoX^"drDEKyn!~`cIkuj7XO8,3]V"L8CӽVةm`;BY$]DXϩX헱j0fNrgBG=*1',zI%\z"p.ݍV[LzS%YI˃sguO+5U +.{"$Ms- ەK-mzE2Pҏʉ=uZ򓻶1 +^>9-zL-^': "WdZ]=oۖx<*J)~%Vksd~9-w~#\Ar5r6J1xAPVD2B 񪪌7v7,`hk p]ߕ9(݁܅T9zC'Ir W62}t/ <AzFY8EߓʓzPяܨAMޛ!i5u?0[]Qn*bް_WLC=.%WD8$}1t32NP G^\B:i JB%ճ K-I[!iM@fk6>ЂR*234~`"w'[L9Y.h5f ~mdHg=$O9WN~ۏ2P.,%0#_>HH,5Mh΁&PZuߵ-KأjEǹv?h+mǰ !?hZ+?.b?ZG!'O!e;JnO<ͲvbC̅|:6Od<4Q0 Ms[ZKdQ[V'P칖X|KSs_!h @*Ӓ=7R]@ 恶KUnf{9s獝q3tʉ4s# i Er _F0FW%[±=}MTvO+u.T"9 Lur! e>We%uMڊAӐi:Cn;Xkv;3[^YLp͎yLx2]ߔHNW,簍L Ǡ{N] 2VS޸X *{WȒ3uX##xz>sMqe6VI0]P4&t3PieH QzϭF= k$Jd{VI|8l>DnkY/?$hDCV }Md깇+GÝ#WD%5Ih5WoR2 /Y\ѶF† "|N".vȍLXW2"J`3ylRUS]xɣn7}M`ɮ"w n#n} CE`(*}kిB, BefA.`ʖ'9GmJ#{AGDkC-"L_Z-@%d-߃׹W4Y#i{|f ޞL m1[==JD3Qĥ ]b?XoƖE7I0OgH{0-8l~kO oP(ʙ7O%旀L!{ g~øL r;A aFXxn1_z W;?։sãO0m)JP5.-A֐F+ґG e C qf'm//)G™:Y'}j$`tħfCb=vkql{²-Tq)s$%- ZCaRohZK9C`sQvuq1N6eLs%{ v;~ o;ą6.vc("x,[vo"ׄ+r=Fӓ"q²Tp94Q#=\k .(JxjA2 VI*ǩa҉CW砚R}̫}OW`6>\5g,'}P<ҘC4Wvtl,Kk/ʏxIAsaFdɤNA<Ҷgwlc7;m0EsmG:KY\1frhGq՗]'w6 ! i,ꑒ&l Jl.vhlɢRjur=`45 {E Puc >Nf,ء}rWL)$ppyk~}eF8?W]Mm@C^F i/^u;MU8])WA$A]Gm- lqäb${z3jaqWn5 [.+ m}95oB:q**v%I=jbj"CI b`FH {(zeZK*$R("ڏQJ1n.9t' v/s x b;o%}r8Z$y5]L;S]9u6"!CQJo̗0DVlU `rfy.%%`۬ G6y|H<u'ZQѼG? RNt*;eD|.ĥg\:MG5x%`&\04GRo1VI<$Cƶ~=E0) *xM<pen/ˆsnI? YYq|Vbp䅾zcŀP'g^k82^X1Y:Ŝh4Cijx^8pޢI3! wP '(rٵğTvw#?-# fx3ѨF?dҌ2Xe"4  }mzYG}X  ,R M<>٤NwY0#$)k8S":8ۅ4*i4MgYZ7a450fd945a6c6ebd0b1a8bc1106b1ef4ccd316fd3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 fb4c1b74dc44b9e4d916ace39fecdb0c2c700d86 a171866b33c87f94f7491799b6c4202df0eace96 e6e6935a3ccbe690696c707ded9891e094917f7d f5c721fda62abafe776ad343398c324785205139cb3530cfe05ae66f5660e90a65914874e80f7e9d