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  'zt4< ]]Flow_Networks:threads=4elapsed=165.452cpu=460.344gc=13.0087zXZִF! 62]ŗXiɟ"'Dbs@8y쌃& fEx nFkrq峃/w"œׂo0{&m!SQtY?2賑TBlJ}OhX>cfgyث/1W|z91לѓy7nmmyԤClx/w8M3̰ϥ]Qe > l쥣O0ᝪ`HPV n .M8r<Lba׶MRݔ/%EP8hnxld$rG(;Λ8knM/M&i ' Flow_Networks 'A+ $Flow_NetworksCAVA_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%.6Z%ɂ|TN.HH=NUڿi@`/ .wء4&;"O2Io ^Lؠ WV~s9$OcsӻSqB]"=C-0. p+'[P}dž@4gt@}%!)gޡ P eKhw#D|lNn nٙ*vĮ6#'ym [(VD},e 1ՏGg_|uekdcd,+ѩ/ ,~k#6u!8 *2֙,&f Mt 7?y@XнD{͜3E)k\:3k{M'ok=:cw %SRG'a꫽Rꫯn"TzJurG8h0#ʄtC.4s[~XSԂdÚk{Qj`0[*ɜxX$9*h5@*QtW>m~JBIrs'4)C9}UυCzh-H[HtxN9/y.E弮t:pDi|hwƙ9myo neJ=W jN~61yo]&_ՄJhtRu&ѡ#„#!Uޟؒ V0LΥ RQq뻗hoq f4IG3/$DqƗnheWj' ^un 9Gd'RHQqv4"Q kfB c5n]hqP\$7~?. ~k:C5d:c;M_r0EX 7`J>EZ3E;nGhQ(\ڷFIM(m;."tư +)gC "}\;ϓhq.Td3IE}D-xF 烜s˱[Su LapALg )-TRaOZ9>: ?jtTPpB.!Hat)Î+*Y3,ƜRDU&쥋?u+kYS/IB할L-o;]vWcd==S]]ZNyœ3>Q:^2e^001jhe6oKk?Rѩ~8ԧtU!ec+]b=|/י:bt#E*І׷ԓtQvC{ӧ^d~^t&nJA]}ENjdBV75L[RaC>ɥwS ~ rXN"M `_-IؖG/ _׺Y_(eGUT VxgjXM:L? y|fޒ-HkBDz;g{n$jʕZJ}ŗuh5Yi]=A x02к(ԙGɞG{EZ* !`iTVO!WK{UVoq43MdOr*)9_CQp̟+'FuڿlS=(dq_0řpNw\yw33z Kn)hP_U_j7$h*X,,y*ef.k$^;"<7x6BQl&7sr("&s[:`ڀaӎYgxĿHR*5L7xf`!C- a#iu~RICLKӯ4]LDmbDM̅x듂> fAG*4͝-xk֑DrTHY8 ]r_Qv< 65;J DQ>/CT1`Ql ӝAlRTo7-;&.V7'Ռ!y2EgIgӛ RH?EzιT%Zy: 9T6I£Y[ȲgJu׵)Bvv?J"'$pxWuq[9tur,!$e?ҌAmlU_,Ʋumvu1`/0 T퓊 (/JH!lى\ cƵyڏ~(8w{.-t1[ݑ_(mh>8^:C Dgg<\\5:$;^/UMpsKOV:2m\$˾@n7C4|Ri-[̖+̝{F'c?UAmBj~֏4[ gBSVQB^]uB^Fe_wld.Dm/;Ewx䄽 z >>,\5?TDr_ ;Gs"(~1kLu3. (;ySl` 4bEt܀F :u.18YCO`-lqA0(]M>_b89Jzv qofZC#WHF5*׭9J]3τx8 U'@K16O BϫAUEA^{CM@e[=iʇy&)Yw7 _o.Rl(NRUG?l4.GLI #6'o#)UeIfwS-?N?*g)o&a·Dprp On =M|e[%m2IX T\N>OёKtt{}V6W9rЌ{OC.@5kD^yе7~WQ +Aemx˭r ߟq@!6sJpmV)#49o*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%RC\&3Z'm/I`ieFb.NI=Ha'#E*k(>QjJ ꯎbh&ɢ<|o;/w^W-f\|C9w?%M|0i{oUWŎԺ@L ]L۲Qܻh`,RniL z R, ^`S.JK/s_[G͘B@n(q>␂q,_lpnO6n23385.p\o2ZwH#N7lVOCi"7utNb \l8sThc'}>īM[KR;$;P__ a?KOnơY4GOS,'n^%vf]!obUQ4RzfD߶e"΋7Iti;B~ӝbD.5띴.dX_7R7ܔ =9T”{sv`ge/][DE>7p0t,$B P.w$@]'VI9c%Ua)rRs >Fa1z5^OXaHKŞNVpSE0hۄü0Z҇w 7I =LQUQ! $ 2Z rB(R'Ă-ې%5MwzXw>u sD$L"<:Am UDcQ;`Y"%dStVCOiI%i&م?=ЃD).ׯDf\;4q-&b`S@uPىԎb@8_+d. };UMR,XB^e{LXU[%B^JuQbum׫!ak ~WX({wFKwuy9PyⲶKbU.F"훧)%|IDp6A1' g$nT8uIΕ#Z,-hyǜBzX`4=A;#Z8*BDLҁ_fxLcn<8:ҵHc5xz\ y#s؋ \/g5^1Q;\oʑ4b+SLʒoAӏmM%r_e,J7gQ ȯ?ECju#~tv'^S ց LBGeh7^˧s!iG9#Q'VFrɏ ":$V~,Tp^xc3 ^im_"S4Z;I 2]$GTq~<\d]'剛dQKSp@ϢSH8LBFؾjGpW ")m,k4Rd[kJ`6x: zOئ zrfVK!L9ir˜WwmG:Fv5!Z`,? ][c8~.I UUI#/Bnk [+ ~I(EVoyk*Jsdb::17-q #)GyԐ1G;-#FBGy(`yukQZ~a,7VbWGA7)!m E0;3wW>GEE} Т+T%Q(cCmim RVWx9fLi@BM>34/¾`f= laӛp1=ZS%|wÃqݚD .YKIrn2'ܸd}ʞ*}/f[cQ!ZD(c'FSW%6_ʵtdN!nil0MO&=> PVqO(K4Sv=W-Og1gS|˪O0J:ױ 69/ ?}e m]Z@PĦ0^7(#y ׳0+/(Ҿf9 =, e%P8Ė@|5ZǠBwkԫ>wv+sˊ)uUடls/ot$c"A$h"n=( ߹ci}U^/RIwYTc5(K\@4*_Q#x(!fI .;%F 4C/:GwQZÑn=;b7?S2) PQqYe?_:yPdV/`1p>U/6m){*ǟԢ('r`WԂJ&a f]!NB_+d1${ e;zYnY͸k`.P"BB?q~g M0.L2ra j9w̍wVSw^ @hYvay!t΋=U76CL*K`뽳| `.;OpA eJ9M >7Yk=} v` O\#CCS&EO|TJX4FeRn5oZY:QKaPDLek)>cBÆex]iIj>ަhネRNTcW]+rv{8YTl_yw!M7jm@gp:s~I!#+#Y1Ja~a3zFf|L@ؗw+.E%DQD$^r3ccw9S$,Ym,l5)vkìsp$~nr ԜÌ$>P:NB#L?mI]=p*/P2|veUeLPԉqUK" ~k[f\U#t+ԅkw~Q~czL'|UVbd *WAi٦v!UJ9Ux~`fB.mcAa:QY_qMK :a/dlFnOyN wL=MϼV}Kj0%Ji;r*j]7;9#VKQGH*OZN7>Fk x5֩cFKh4BNRhH#yȴl(%χp >YqH/8Lsό|={ e xv*41k3EA97a&Ei^]bVwW_߰PGYnsN(vq^ܻ'*.## ޏw@vw= ߷R1Ѝ4=ˊJ#ֻ P)tI%+(8TTJ?^mwe9n[V!kv:l#ρexLEjԀ7z+U5qGX"1%L9^ R/аюpm(2Vtifn f7n@.ͼ\SX,iwZ*ƭ7|:~?HOVi~S9xc2Ygm97+n+sg=vDS#o?'óu³[tgWɋutBkc62h']a唷九c.]A]bPi , ¬]@q. T!Btx&z\̭/Nl|̐$BNa^5h"Hw^|9SFGNjPW/j{-Wg#p! Paנu2<< V7[WJ|θg)|tWYb\j:>nMvЃl_dnqQ呚aщj NqG`L{қܴ%1TOƂBWG3Rc {1>!ʷ˜.Nx1p]WİAA!13Тި |ztG@SpY!2 |DCn"$Paf۴םy6c<-%뻗`!G|{9Sj#px5 se">f5u1N(?SvHBdIޖKQM/Pej., ڿcRԼ`8Р>24C0GXʵI):g3epuh/$-?vj~)>j;Ƶ"Po 1'ɤ6FPXOCءEr:1ƯoNt28oʧS컮A#wRn̎Ӂu?햭V=cvn u5bVx8$@́w ^TԕJ€R--yt`#Յ\Qt:%{9CqJ$u;.Vh4ʝ)خeEo}5D c׋*2X cbОrC4~[9UnpMXNfe @Ĝ뉚3hكhKWF2lم|p'dZ"#W6SD73[CIKwaO6*9"V"~;\t(ӄϩ7Z?Vx!~hhnCkM2Q#t@FsԞ\u Z 21S`KwKvUkuDHɄ dCy2K-18w)&ux(SHH} :xAp ,Yx4r%V=.`u a},  '$Y:W!X=]7qbbbhnԕ)NU4_%rŔoa !9 5Mc?HQO.:0މ'Ià*mϳWщczZi0*D*귢ZKÄB  9ګQELfRu@quaҮxq#蠟2_.F(f*PBrl:dgr׽7Q;U<'#u{U(^հ=k:&ΤGWRO0ig;Uks;)R v|ڠ5nr[%(|Rgy4mK =[J\~%>\Ez7;RUbj[W)<"#bWZĎvCnM(Q@l"_}CHn(iH.r Vl-[6,e`y_Ha:Ȫ&wÃZRF{Ab-=D֢-xXNm Q7dr[#^]K!nH7,t/`OX<q$p]z9t%9^{OYณC>7굫D*4! })\PȖ2׋yrZv.]0R ʐ$+w"Gpq;3߀Yjj:/7^端\6qı":» Nb`Cٚb$2\mZP)/<qgގ };hBޙ<y>x<C¥{b[vX <+X*La1Ǵͳ@Wp)i^r*>%o Q4eMӑ. sW}Ap_ª7'Sھ?h#( /aa!cila&nwS\mcܛﰉfc mnqxW!g&8XM)`-l ǖi7'nj0 ˎbMo읢/&C .>{2_9?7M+J:b@֭qtt0܈g}GsׂUxSgts5:N泹A >>ɋ|73DTP@&+xO©;jB;vjYrs$ k8Usx:ɣak޿ȗ]xK6ˀX`>GNYA:Ժ%O|OV9R4>9_ፂzxAsY-4wl < 0xBZb3%:t˽渨{|)*:O$(ڡ KJe_%6g.CL Z\q69+w 69-=>OJXROR¤X=^7l If +7IS> z00kas,@r96CG)&Qw~~4csi6+usL m "˯Ȗ&}|ϊMRLnE |7R(+6ibNFuSB?2#+hB#n!^-.+a+zV)6l|XY j1 \vkȵÏ!r]do@NG NJZk{Q4 v|OʽMB(LeÆ[W:Dp[`p)uA|)` m̀o BͰrńiL9LeLgI<|^Nߗ|%֞!}#*+<8:z8 heZHOPV(g6]m]#䃱_\fid*4X\5[\Wϐ[@l7SnCq|:O|c&7ίZXZ D$HvL2%:SlpA 騅ѹ(;[;' M2yrOS66& ׻m 7kꝞ=!ߋJٗDOۄpdjyԤv5H+qo=}^$_Z~r3;lf\i;d;݌sjXQu+4{hm%Gٵ'9d~.p@cC%B ]fGTG4.Q^t (9!+D AS{.pB~n$  D-2:PK=U_SAׄי$qr ocq> 颶+㎈rO&JAi )䁠 oǶv,Q1׸3]V-rusMA л[00aR#" U0R+3ii0d}mpO`l3Hap/8wg:ItOMen n-B5`D? ]K˹NՒugQ୤bk UgÒy*o߲/6!Sm="߹ *Ț8/~UCvφo_Cl'N,g*ErN[%1B+ۦQ,F`?v']؎f& KW9z1RGᵁd-xbԁ_Eulf_-†1I4iW +e/77Z6WˇiB^e1PNS:fvdG+ J~73lEG jFqa{Z3צަ;{eފj`V-چWxW2뼕4ݥ%vt.6/bY\ hK3Gjms=ǔfw3!%-Ɖ籁UE~E:>IzI;nYsя~%&[l1ޛN'f6*A6@ tzɢ[9m ~: KOCƊhut#&Һ_v1|zrodUx lmfOS($؂#J{poG{ULB0"1,$dK𪰄|@Sx1_q;r7BfjOMPmk256b܍ ;p@+, {hauuC qQb!/NɲWظHoHWD=:?!?2҆qD8h v*̗΃Q6Yю+sx,I(zr_nG0懍v5##ikBG8nGGJbRC@h8 Mk!PYFY5wqѮyxb$k20-͒bXoRܽM}m\n؆)seeUEnrICg1gb+T-eL4$~*2.#;~0?#@wJZ(깒oiw1ٕ?xw݅d8{v1a#K BσHO1nX[ԝG.i⇙24T²1o阨mba8/)T2Cً QK>ұjZh}9S{>U7ߝ&e( _ 4!N)i,ؘ%?IySDߒvJ{rbck;AJf-NP-NeM:7=(^ۺv"ZB&/ 'S'gZ` _jtFo<_;ZjMƭ -X5,2×x4o}P샡~6N+v_fw л$)!5~ y 5ZC7q7,Tui̹2ctޗq(L8gYC<ȅ&H'MhYr|5Um*gey%9J%guC3@?鑳B9VmrEDJzn&Z-"gֲP 7Q ~ݼKbA>+V=mc&Ei{?g*]M:R:"]6L.uܻ|b^oX'?Ҟf)a`7#KW(e[D_ n{߻Ŗ-)$S1H &L13;7Y+ P",h\uc9 .}-h \Y-@f'j#10ې> ~`Vx W?; Di:m͖D9+ Tf;qאwPDc?lD4mlEzGn8cqAjJ&PD}hW fW=D-й|M.V7O3'loTdrVSMdD\U97ga*މeaC$V>7RWJGS+E8mHUBJ/.r ܆p0iq#Х10 qa4SP% ud9 A$RW &,D~7muS^e!9 ^ %`sWeoWY:Cu?2=3%Ö{Rk;xDS)MS /#W.ekFw7h~!4zUً!&|:e/ Bm(l"R0@Uq~֚**̞^fi^RaSh,4}Ս|Z &M'y% ~Ddty;͋hi}mѿzB*#bs պ7K1sheZ mG\1~K65~WCzz`i81TcJ{2w/i` 'u^<OpN]Q?jD2^9)m^0g(1Nle8: ڈӠerJvi :YdV_)Ϯp:o؜0݄G R3 aT|3βZaSڼm@^D>85L !HGݥ!ԳZc|^1l۬ڲ{y!|t,"¶cH~Yȳu#Ύ>~le؏07l`kG$9SASX~ cF$ X8ˏn2!(3 OQ#Ͳ*|>r &.q*ZQYuJ5Tݿ=KE" M %ko8iOQasP=Q؃hYFN ?U>~+ۭj=P;<&J `eDP}X(MxǵB/pʴcs7*UΗ<~@5qi'j.d R[>h<,wg=V3c}5|'_KDw 5ݡפ2(F$:5br cu.ed+3w3 &|jwT<2N +NDBęb),}}m?ߡ{U+6` ISAL,UOOJ&aHLz Cv2s0qQu:.+6<=Ѳ~ed=sylUht:ۡmFyVj.NRH ¾@]:A; ү +I&sз[GIZ@C^!YPo0@5'_*Xa6@fAzɇ:{MU^]_qɇ_Gҫ8?xN۩ܓGbiJ;z%C?z- tt= K'UXr`Ytr0?%l*yq>f0|YqUU*x?_ tt!q d0G 8pǸG_2Hψ>yj]Mϐ鿽$UM^V~ruXWIZ+%4IZU\gFO92 !xY 8٢Vs;>mH{tïxewEz/nJE( ըMnhHs.Y$#鸢),ގ\n{%~x6"0GU؟c-2J+8KgK+k:ƲyS?k,U췎 JMTɫ? *exo!df)3^g_'=7x;l!;pfke8.M}m]d˩SkYDn3 ӂ3-Z-~EYyHorobX !tY1YPQeL)!rX&6veOR8XyA+c^zj=u{ vbϒ?L?zgm㣾4::)[RL.la3;o(8,ϽUa|; =A+JljYHY. K#q|koz$#);WVIZZ4UJB;>7XJ`h4{CZgx-ȍL=ghYq Ώ]R!58*d*\PL=̵?' =BbA"% +:!7//QtBՄÍB-SF3ƥ*h(Օמn.:޸ìTW'yYkS=/?\pE컹*n`#LƬc#a鞺>F)bFEzbl0TӒT)B{ ٖ;lF;$0=N%Ou0s₪0*AivC3:yZpOLh38;ReU6]7¼CP%!"0[lAےcgQ($ F, ^R-tit芲GbSwQ@ws|OcIE?횕4r;-A2ۚI( ?} PHŀ]LTEHjM.[SpP Ht(4s7q!,6-rFU6 tsJLX5̝3GRw+TETc;zvQPM>dANի.-c.wR¸m~̈́;&QꚕP&vt8j')"=5ko;+*NZӲei[Ĕ̀YӾ9!TbO9Y%ޥB3lBpB"zΛu7̅,Lkh5{Ac^' 7nsQ1\̤b|#${=&˾$FGDR4UXh/*22uauB}2d)ƓQP@}Ilpx*&cNe,w;ĠTPDCR'pS4*N `w'+hc!x:>ƨtc13^Fpm{YXͧFUϮ]MTН0Ce=?HQXW,X'j9fتDu9` -bjsF bٙMq:er ݤݙGn+nB1Y Cj]"x93?4]UP݄zh!'WXw?>α0py4fȧŝ%bЋbL6HJɝh݉C@E'Қiy3W뉜wP:K쁀<[X~i% c V ހLvg3F @ x?OKϧwէsNlR :!߯N+(3 )d BBQՍZѿqqLVKMGzbh lBe-D2Y=rNsb:mS-->J*3u="뮑'|2)qgn71Z5aZOUԘWBIk^MGCl&R5nw,ՙyl.b*od[۫(XL+SVמc WY.3>'U/xpE0P=/̷ hzPv8Z%%Q㫡ߩHrUAf+p>92H YC )Bd_Wݧj+Z- ͓%XPYoݼlBϥp [/bV1j{M~=5F#Ȑ%لerU&y|"N!˧&t("WEgꨋ €HCo&vg\}r7nq29Ո:߫5FK/+`قЋ_X$nY$Bøq!R+QgeT2p|0EٸlH V2.ΫIl$$OvrG+8X91{fxt[4$\!]%'|S|ْ(yIĄQd(Uxcu~ʼk]@ܒŲOT PȢZd'HL6B9n|\rx`[A`u@u0ba0If-EJg&F^(f,^V%n;N"ali_~3~4@=ڱ YJFq[JꬌNaCTMV9G]<7;jgYZfۯ1ƅ MqXxaje/SJ ]} ADfT`>rT,HcQH.L6/oݻ)>Dfzhʹͣo#I묕jB:AkCՒC}Ml8i<4}&z4Κ93~+bPmmM,ra<0 .<-c= .>q=Y4bQ󋢷C[Y PXL%Z f<6|Q푻$fBj9TW7C~0w`L=$]It/FLs; [uv4BҮH}˂ pWVk R|-h}ڑrr-<=K!s7VkEꜬPPĮW x,xc*P81BldМsa}S۲УS HBch,qxF1CB@%T)m\sJ}^r&k K=c?[@0eyLPHx1yl')ʭ6KL8+nrv[)sס#?8V΋dhkKU͵'+٧5ƌ8ͲIx$ >nmEC)(>A\o=֍ERCg f}#2 s$] e|+oOK0Y [%&(="~yx,`czAU(Y纇r\fuw':뿤0k-[[nMLJ]5w$?;U?y<;h!5\W=_%\~➶NW3۔w2o Ep]IP8[Bi,^ FJ:7Iɒv>>;491D=]=XѨU҉F +RL8k{5DbV8G#\sh^g0_D|GX=8MaLmrTg#L7kWȏg^$ֵ7;*L3}^Tj@ }s|`Q7TcѤ20JS(IFN!⥍1z_맋ŏ9[! @]nqwThPY$˨VHK[!_0;ņ]?>§(Cz >UiU-@?R]ƃY(I6HL*񳼿4_ bk. ~ B7^Rb@*A,Q{x s2R#riA:skijMxXoceg^t7.O\!_69u]KtDa1=c r$ꎐj$S,e5-YW&JӎE{Q$P:M/*;gߑS4xMۚ#<߮UФU3`.9a $t2+2e;\ܖ~5)nXjQ^v,W%(ipdRv矣e{<,M f 6ig#;$]RY9^l3G`=pC\\#J̀mC(a0?*x4*T愛9#4oCĠ#3B  ^$u"1A҆Hd!!$d5K7\)p$&ArLoU)5I{0~ڮX/_CҠq %UVO\!Y堑}_TqX/jLkSʼnAy(]nG I@˺ %':`B^ % 3'D`xuYrOLq\Ӕەd &:Q7! ӷ2@s0@=׸O[*9^y9PC6X*P\syV@Ւ&)TJ9~)$^M>DdCғ!?t}6 7Y@._˥ӺNm6|ɲjBB7熠8H[ Hx1b.s {m%m&f:#k ƤY;+]j{#jklTcMYhdJZ]Z—+dA/{3,]QDDfǘyۈg:)d(u'-6Tȶx{)ƸaHB66&+Ѷ~Ƨ 60$%X~ j -!Ϸ#]GNgo LCJn"xҾbA jEPL+3N⿪#aqjEBυ4ٖQgX3 YmA/lB+,Z|>J҈{X(~ydgPs76[&ۈ#>(R4%wĝfK$@x*N4t ?YN6pD޵Ch-Ďqv/9^uTpuB D{b: IDwE@ٟEPQh OQØ`%u+("6Q1aNd?fSh6t2؂k3Iրٖt\;)  XO4TH\z;1>~=}PJ$MiOn`2T ;+lpX b FB~Ħ}H㳥n1?75KqߑYh"LF3BmMeJ=VkU 7,סRL{n>-q*v?cYlFY6#Q/ިdb7+US~gÉJ(Fuv*N )ޜ2Bʶ-NFX> F1YHr1q+gRZ`O]E>RB@%(μ[{5QwqKe fr>-.vAms;> f2?+] EG2 gp"bdeWgYZ7zXZִF! ]ŗXiɟ>P++ \D;?!W 2\=WMBr(P6-2؋wPˋu"2>l^ݐH05]9*aѳ7E~Fj|#6F Fʋr)X~u~7U&뫴akJ 2n '=Ar|rMT6nfc:Y޳ g(yK+;Z  Xj6w&iv^T˅Bj Pz/Fz*yeʚ҉Zh MޡꐇϺĕˏ@E $?cs!A`F ÛA,q2PigU{--pݹw^"_Ç,RdOW8_ FsSKtAQJ.x-%z<-|97}߇Ik703Jҳu`~dIIp'B\߅7KW '$?*6Kf{TA#rۨtAH\V:9V'Yxkש 9βP\|9&d@NFLeQJxQ]WD9IP{Βr^v%,Vjv"M潋uRoĤ/X9LyWF8T- .H6g7&jNM϶DjOZE W|^J;xS\Д!_kݯ(mAC+pa#‘ 5ʲbc8*%c.osBln n@ӱN_(꿟sO9ID".*'Usgis=+i ] VQ<ï>k1WUw2"KEs<4r6{* @Loe/]'IK^ʘyΆ0Bٚ=KnŷyZSxwKi:2#r ϝ!yP4541VaͲG-c fnLv*7DazMjv4.G9Ի/J?TNol׏xy.EuϽVv9orQW^ɨ/?)W_.m"+BqVDo6&-,2V6WڴzkF@ l_< 6+_=y#G1~όoS$]=CYy¼$;kΉ?u2řh^/2ş=!|_L 1~X/[ت|^ŬFQ]7 zs-W =q0!Kײc6 /Si"_ đ*LimPYS k *X6Q=Vvb r%M~O[gA&k*1;HZD,T{REY>R4BNA)rb ?ygD+HG<Svq<[%jsȇO@e;T{J텱}3&+겍snu 'hu}qs rMr4D\Ǧu̬z:Q#GфԖ%9WCR|;eF,,xv ~ HoeCu{$J8x3SɊ !d@מJG4o#B9"#>IArCyKÿfqN hl/vv/Ebs}.)Sɶ`0X*p"T5 `:O~hYDlkk % Q,>TG_wC$v_d@bM]EU}8`tF}Цx>003 7Jgwr݁=/+ppOGTK߳PGk]bt Mu٪x. veuxt[ 9F▿1Gj86}(@ᷰmt!8jPoV*AG;RbK@yxEdyWZ6o(u7I 6϶*+ƕt6:kV_ O/ܺ!%Wve2Vz-jꈼcG 8pB?ךY:QBE3epBL0ǒ]|n+tYu4yM;2POY=Żu-9 &ӝf>R*p8FoէU:v$菖fFDf][.;jڭ!Ԧf5e=߱O[N\vhzcG{^s:AK|oC&( fIyW^eƢ!"׊`p(j6;Xd`SRԫӰ[P1GgXD~ΉRKs_&*mu'lH0XY}Bп9DL=[^&9TST>K-Ik-שI??zOi6h3:RV{/L:t&;(hԓiЅv=`@:7y6>hdxhNL#Gd72IHY%ҫl%&~5|Nwswnߋ";W,"c=)XtW'0 < *QxT (/+=SQ MhJ WCw~,i"FM&Eh}朐\OxҚ"+W;ǒѴKkQPX`Nνw>΄뇖YvY*u{i]=^A牘vK@$5$-cbᛔΥHd7'߇?h-z DXGRvK'᥻P9s6S(4 F@-GDHv$ۍ 7RF许E+7Oh>&!U뵦Tp0Wv(r_B=X v7Bѡ[lQ`l= 4jMi6>@!%3?Ń2`qpU.ѻ)zA&00V˙Uar"({(2"soZ O%EgMS)1$IԶ"-"P "q>: ѬO3SjЕzf2(xJw%_=zܦ+.obļP3f61dDQݚ32po`.!Ht(jCf~(}C38VQ@[dR< l.:bMo쨧klwI"/ۮk ˉqO f.r{ <<`~n,id uhBpf}l)كӝ V)a@28;M|DFAIf,hՋV>͚w(QyRnLѣ]^},V[6FU*~ kvo!Hpe+~4Y+`ո t묎=Yt{9\@i˘4,5D51-4ao͊#A hR !?&a}$WR:E`DS'^u3"ůBBzja/WeoF'1|yUOxIfh?XyАq`5ƩŽoG\epG)! Lj7c T{gV*).OOtZΑ{G8}<:`q>?$28T}b X2OGT%d_acQu}Rʂn;n<-MB̟B+8Io71$4n=[#lb~(ל^gnt f^}}>]4&pı`ZJVACwZk1`d})>_&&}J~0_ْiK9, [U zvUZD4{ ,p;BG~*xS'% ⑽,2SZFN> D(A #k.*b"S]G{]̪e Ƈgᐟ4DMKR3dF[N[-+do*چ+|I )7oB!`DNMFBoB@F|ss#K>8`%m?Ɛݎ gŢH>9pblqBmӣ|baͿs1#wؖꝨĜ/4v>rz=Z(5G3ϼ 18/ 14& <` :H-R ?TQLLJp}7iqzr￴OM9N]J$ G@u#)Dң>Txh62A%n4<* FS媗@i70eX5G,`C>^᤼@w؜8 wGl7FM_C= Q$V5zuRZK)|1ŕL  uE !n7I nNmnuMy$XB 2:fEb!"nڨAf*Syʂ$Aݴ R>s?"Y9ʘn~Hʁh#̠-.ȨD,wR[17ˋY9_ρ15p@<)}VAؤD ?_-M@Izs0Tc;yi8]&0l-nv)-zLD:V]. 2+fwک7)J7H2K Hm4e74C9Xv6)Tƨ vHyE_=y_O;4Lڌgm٫)] -rv@ s]4p m w`Ͽm!>7*SuEc`OD ,btw9G!hM8=)酔HƖ\(`5t-0fD9SXD`J;46Ӆ #~}>Ta;s(~ʡ|;L89$Js@;?"J+ B5&v yvqki~ߍMT`Qzf ]c*܃9۞+}‹>Ǽ3o =E5=jog!6DuOG=}+ݝ7ew%%[ŚAΪyL$c;vėt^a ocvQZ3yqU$>p5\Ҡ+J )`q:P}z?)~ux-4*+#b6Kט-9]ܿ*3tuRa8 g .8KqB ji@HCP>Msq+ ,];:Y"l0L@a8$l-07H';ncvnD(Kp#m$N"y@O:0)|gT:Mj*BŰՌ ' ZV\Niϟi fȵR2сkol8.B 5` [jЖBuޞ{ /x*3^vx]}E&4aj+9DԌ&Jt*0sѡNk^jXYx7$dZJ䖸E+d+';+=YdG 7)$oَZ#܉|U᫤nɂ zr,qYɟ<m%"Hp;>! 'D 0*DoYIp+2 ☰|KB݄װm󲑐jwXoχ{[3fi?^!2ʕ#]] wo'M]k+3P,50)@MZ:k=!klD[!i?)/ Z/n\R5Rxge~Mn4f,5)>qd (kR篔Q6^;,>-3W3N:|9!:EVK3LY.#aࠖqTN<u>`o˛7XV^K JB)uVH):6g ɬ __4j^Cy$`^MÅn4ñĬE[p"*ATĹ? Fkmنk5KG"<^BU& hXN_T jUL mrΊ4?qBU6]sNK%Tvޡ&܌+"Bd9^hX?撼Vv"aύ|݁y7]nL2T" u7tȋ7 N WRzȑ4 >qaU`ѫzBnmWpP^iT0j错,qU*Qr#."Q43D% U!j6gGnH'F4WlCEM!›kne=J4lmv' }o% [޶8J w)췲_i$}Ś G}fVU)=Br ]QtxOӌxCtAy*K  Z:kʟ!P)~7/wc'Lh.taAש>ǵ {5c 2,ay 5;uR,#&KiRB):7glzPeXLFeטE&K'Q_YwJ]mQ,fp6@굱3#’Z'n^Jd`9|›)J&͜_ Wl.E_EI"^Webӳ)ĝj-Y ~$@cfqCP u̇IЖ깩EV#Ĵ4M!>u Eui* rU1k9QB祱nWZ(vi7H#*6\sfA"QĬcʶ>2߭(//Ɍ8qBWڤ;N~M//8o"Oe Igͱίn`C F z*ZDs}cd[&> IǴwFns:^emW>>q pCL =%iN w*!4`Uz羋0N[ ~egNUN)^,b@4$ȯc)!44Df\sv! .1K^ҿ)>)R]e&%p'BYX !Wx>x/{15/P _Jis'h?1olƺD6],\\)!g>켢a C,)c4 `|Dk,٦#UI$M }[ۯd9Z'Bwe>cN#;#ַ\SE%@E>/ !=QI BZ/͛26O'*ȯ[u]NWPnjsMo w:j qthCfizY#Mr欢kCS7],5qwJumaS2Mc2d UCbRLN 8| !#p@*؃3#I݋ aVU~r dwH?ꄦ Kt{6T/`a(L-cR*1`;.ΒK|%/vb4w`CAUqT}T+./GF-jӴ-nk%  k*_rnc(7; >[`N9Zxa ;}~]N bx0%&S46*$ ]M.zBFyVi4C۶c]F=q+7šm鬻HD`K>l-s1Vk$\lek&I{7IQ޼R 杛$qp3O l}4k2Rs(;AREc0(azM$a]Ft3q)x6ʵ{x`d*`VoY ׆ɭJޮ;#TtLlkoJܣӎ>{)3E;VeƉ"OQPf{d 2E^OLFj+JRAW)L~G**I% 2Δi^bq 0)ebQS*Yow1G4QLDsfzYpT@Z bPE߽+An}%q8NjqǏoigK-;plD>#vKV${Cy6)e-Jw#:;Ƈ+ؘ8{^Pϴ|#\zP I /-JPj:_:)lo2Nm6mCu%AH tX_LlzІ`G7I ;Pe!-PTeZA_VXB=r珕tJ@KW86&">zN¢.kz knU qAqD0ab\Iz+ 4`x#Lqpj/yTuQ0I.dn7K9cBgCP}X[)HyT f8 0l`0(cS[}'/Ɩ]AM ̓(_Rf+, ^L_3>b' "/H {[/ k_~ߔso'X2c}gmķFkQY$jcOs.~_tKKD"!,:ߴT1jĐ8gaQ fYXTK ($?{5.mP[jk>\>-~w+ܽE)ǽ>VIHJ*;Jiq$;cz?`RzbpQu`zxt토X龩PWWgCYw[ ֽU Q5&Ap,qi  (ꀇ#819 7Ƀy[ }Ԃ]#ALt@RWIm)"G10#AO9tvb&4= -Շ7S1!A *u=|n x Xz9ݎA5=ħpF;7Cz'5C^%R+Tf6B^af+{^߽g䴨ǎ9яW.s_&쯃ޒ|JuZ ,  PM MX+rMvwm&LlߓM} 5Va7Df펟dخ~Eol&pq;e2K)V&>C~jF&--# K))A Y-[KNFYe|%  *6hob~n{Mvq$n p2ANҍ!닜ZԽN1V~^cjZUvMaJ[Q΀1I"[*o/8xԜ8wߨgvJZjm'wLG Fvr~| hh:'e'Px/y)DQ wpg@Ԃie@J V3WAAʈ 5$F֑۰p.V?g[0eB["5cŪV^Y;Z;ZӦ6c y Mkzh"RHM΃|g})"2VVײoSaT!RFgdO^ӂJ"DT֘388r<ڳ?/nnYSl[';5nyg A"Yi.ߓդq+M_W1_4tn|ͯ@7gƃKPJR{ц3}ae &Ip_C릠ɰCǀsEPn9j"S:( 5_*%Fo+cgō 5/OEύ b3jğF*gW#F3]Ayp)EW{6:*u\ Ir>5 At2(nwGS?޼uy){&$?=N4d+F$XSg1Z%qZS/1h2w"T>\)>5P|0!W"56m~zęIweG:MW=T5^- r' z[nx\T:ʺgG@-bO-tJ"{o]_$*ﵢkT]Z\xQ32!_!Ny ,q7 ŭK%t ale4^lr(JH۟켑|mAJj81b1Sz3Y& \ Dkf#5^1P⌱awִ0 i#of '> \1K;:z;nϸjX =T"ܙPӇOn{*ēf0΃TjʵԸBB[lا4eFkEg1#fXQT9μ?R /zqE"[oL>Ex} Ev0űgYZ25c91f77c5d1d432e9486af4a2c631e41d0dea8ac3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 41397749331004e6e89a92b9edf427dce3f44ef1 dfae79588919b5834a93298279b56c4625da02e1 38dfe9ed9785bf9e1605dafdceeaaa0aa60f6dd1 cca0feb0e666c954092b501143a9009fb39c8c5e 6760e6d6907f0511421edac0638295eec369ab98 1c7f3371fae69a38b483dbcf3986755392e958e84639cab0b195201992726a40c65ee8d924945ee0