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  ]5\ < ]% Collections_Examples:threads=4elapsed=141.779cpu=444.344gc=17.544factor=3.137zXZִF! )]ŗXf[&sݞN:2Hp+Cʐ(]80fH%:ﶥNގݲn,}U.`E1UGKjT X,րQu3K1䇎t߳+S.d$HxBfRB8?MYض[jBQ0 c@nWn^wkAKSCVDDΤ%Y5Fe60i?J ,$D3R 5m?Ưh@Œ_sY1zׂ\7W}l|zh\,E^\ -%2"* Eb4o1elCL)*\i;W-F#L.E  }ܐuS5<ѱ^KG$f:$: N4OdnorCHsJ^ue>jWwj5`tl] HBV14R`x,TwZG zucݟJ MCh4'!k<7$i4[N8RKǃW Ԉɉ=]FtBxEv숙2v5's܍p'Yvd۳sP ܈}׵.~鋂sYNc{VZ>̅q $Y ^H@æ%!в{u?lRSLR cj-Z8frK^FnPwa'o3?І(,s#@"э7-\Eimc}TL+L 8PxJWk it9@ƒ# k`/ ZG"h;t_p7y{hVaӥgHArEqfOɃ39j^JmHStw\n?{l/a|f4B\IRo,h0/% (@鋑aZ789I{Gf{4Ǖc#Е%$-@yoJBjvza{Cfa/|٧8ldDŤ0>s!( 5 Collections_Examples*5U1 lg?eul_=41c פ,'"y;Ba#f=ֳH*j*B g]z_\o76.GŇCAaK4RcJ|l=]Ɯ7&kRdK.Gm)΃haW_usAsâ}*Zٲ%ҳ9W: ymXX?;:a̫gC_|jw Y4Ŀ!T/ņzq#D} 0X<3|0&(df,RvsE==])<$EDXS!'yn-M}tѷ YCg Z;& '/`yZ e캩qp2cx%uM.<^<<`nXTXxueǤ-"p&dB[Ռ3QQui`ӫf11"OR戵w?m^+|0A!YG^ rL Y e:㵘uvf7S /9|$0oԆ&@y;$Kd~TC5k\ bXa K֘D~qVY6((x6AufƫǺ4H(]r2yU )ቛV{`c[yx+;VnOS?hHYlJJ .u?~Wת[Tf2B49ZӳύYƄʵ53&+(*xx$0k/KA Ljm YO, SSv7r~BK.UpoQ T<B5QKX ,HR@a^=M"%` Jǻ ga+m@h#=pwbRruYP$rSV1ٛ?6Ԃc/G> )~Z$0|t2܌jXcȴί-b?PF`XBZ8[+_ռy=$0mS1 J΄ؐfCTSn,4NyT ʱ4n"1/͉$ʁŸ$~\2 %)$h 61Cv6?иY}RO%ߔ]7D;䕟R> .n"Ewl6m2i:"@bCF7rGˤO [x=M8+*~-[^yw= ] :Ifa-I9yqQ- ‰wiFn%TJg_h0b>@3R.>[C moBE_HbH`:I œkƐr~WFTB94R252⌝w=ZA|Ӣ}26v.'J a@=/KKN@]HG2>q,Gqn5syc>0rY7 FV}:& v o=?@<ƛi?&Qjo,J᪵;?fY>s A[=4d\5fMOU>f\2_?:>Cw? Uxˏz&#d߹D/X€quIlW7u$Rpo$Ke ibD8#%)F?iOfcWljƍ(6qh8,j_DjՉAa49J݈|]NhsLU? 5+t9q4,v4kLM&9Ȓ%/vryKjCCA{Dш!AG$X4>,mvOovf\r939Ic?KQp 5?S19^-WSyO'$n~X21)l "(bNZ҅-ogBq N:,n!$8  .h[lvt@|}?;ꘕCnZ Xc!}oz*sFuP6GgYZw5U+ \Collections_ExamplesCollections_Examples.Exploration_DFScode/export1.ML7zXZִF! OBh] %H  xzQ,O찺& эS-5[I3-:1c虼p)K܈>()OdgC9^y'6o&H2ZGgSچ:R͛1k HЁ~K$v;KV_%eIWnJ 1EvA6dVJtሼZU/*jr471+qݻ6$$#qN4Ϸ4S_1piؓ'pߒ&>fmGu)IUqO[-Wf;\⋅>@|- N(ٵY| g}6      ba  r 3 A > " KH5K+Collections_ExamplesCollections_Examples.Nested_DFScode/export1.MLF5G+Collections_ExamplesCollections_Examples.itp_2010code/export1.MLX5KKCollections_ExamplesCollections_Examples.Simple_DFScode/export1/Refine_Transfer.hsU5KECollections_ExamplesCollections_Examples.Simple_DFScode/export1/Product_Type.hsT5KCCollections_ExamplesCollections_Examples.Simple_DFScode/export1/Gen_Map2Set.hsS5KACollections_ExamplesCollections_Examples.Simple_DFScode/export1/Simple_DFS.hsS5KACollections_ExamplesCollections_Examples.Simple_DFScode/export1/Refine_Det.hsR5K?Collections_ExamplesCollections_Examples.Simple_DFScode/export1/Orderings.hsQ5K=Collections_ExamplesCollections_Examples.Simple_DFScode/export1/RBT_Impl.hsO5K9Collections_ExamplesCollections_Examples.Simple_DFScode/export1/Option.hs N5K7Collections_ExamplesCollections_Examples.Simple_DFScode/export1/Foldi.hs L5K3Collections_ExamplesCollections_Examples.Simple_DFScode/export1/HOL.hs R5K?Collections_ExamplesCollections_Examples.Simple_DFScode/export1/Data_Bits.hs O5K9Collections_ExamplesCollections_Examples.Simple_DFScode/export1/Uint32.hs N5K7Collections_ExamplesCollections_Examples.Simple_DFScode/export1/Array.hsM5K5Collections_ExamplesCollections_Examples.Simple_DFScode/export1/Uint.hsQ5U3Collections_ExamplesCollections_Examples.Exploration_DFScode/export3/DFS.hsW5U?Collections_ExamplesCollections_Examples.Exploration_DFScode/export3/Data_Bits.hsT5U9Collections_ExamplesCollections_Examples.Exploration_DFScode/export3/Uint32.hsS5U7Collections_ExamplesCollections_Examples.Exploration_DFScode/export3/Array.hsP5U1Collections_ExamplesCollections_Examples.Exploration_DFScode/export2.ocamlL5U+ Collections_ExamplesCollections_Examples.Exploration_DFScode/export1.MLrmbٺM^ϝGzsPļl^AWvثKvcq=ќZ$g _L[9:, Dћ.դIRzw%$;""yyeNjue0aBVB*̹y o#b,Œ0GGz>E/ű {baE$"N3t]. ^I`֛cR R5fc|6ŞFؚ5ÃYۘ`.wVY`s1ԅq|t7BnW>eӳ̅pϛx-ѵJcf%.8]sz*=?!4*+P8T(bܩ`\]!ydʘT :%qO+؁!rL*֫BCxݽv37o~>1lhq!#@x7IޘkM*{>_A%z*|߭ ۭjU@lo [>cm6X}^;!K{RUͥ{;H)v$kՄJ }WMP=ɠ)6P1aE r 1u(vIYMa$ykHã#<>`wV9%Ӿ'vJs~-A}*L6@Iqv'{ \o"Pv{du oZ ٥POgI ?cؓb7WJΟ" &Ρ-3ŷBmeO/EX(玗Ss=8K'Rj1$tunnx1,_wDڟVn%CxY*Eݎx.ۛJ :v^]l_Mj9S(O2!XtF<1- |^ $@ٶ\dtQhXi fY، 43@u|s,k(Y-p GwVXHFGmr_H ޢ#pS0~KG͚+sfY(u(ƄA 0}EG2^;+aG~1Ə\\U8$1Fx}~P%;{Z/!r#.>CߌE t;Ԋywi Ad2.},*.ўa Z0<2?,\[0v UG=[a\L:=kfAL-t BQgtL9Lb!=M2XUz o[M>R2ePc !| ZIRQM' o,xa,vH-in\TPs{)kzDbu~Gwo{G`S dʏ=1ZN"|]+$rh?SsWˮZ:-[~}wF _rp#K*,R=5L+? #G;.督o&Tb(]7Z*K^s}钫a<ݡ48I[k80yPoz*[֠Od-}Rh#{aHs熀\;ܧAGz69F2 Pǯ;l(*m?*`ʾAt!Yw~Wd!h)ر:{ qM L_!<ůDa`WZ6O HF'sM i h+@# r-̸ÇzuU9^]$\Ehk"_}d5enA)I9x_,XBo( wzZinX+Q:?O7!$ 2?r9AO}VS1p9$P j*{T-_4vamQhOT.xK+O.ǝXSZYRXxs<:vɳZf>Y7Iӝpel/\,q>Ūkt!,$o.6lg?eul_=41c פ,'"y;Ba#f=ֳH*j*B g]z_\o76.GŇCAaK4RcJ|l=]Ɯ7&kRdK.Gm)΃haW_usAsâ}*Zٲ%ҳ9W: ymXX?;:a̫gC_|jw Y4Ŀ!T/ņzq#D} 0X<3|0&(df,RvsE==])<$EDXS!'yn-M}tѷ YCg Z;& '/`yZ e캩qp2cx%uM.<^<<`nXTXxueǤ-"p&dB[Ռ3QQui`ӫf11"OR戵w?m^+|0A!YG^ rL Y e:㵘uvf7S /9|$0oԆ&@y;$Kd~TC5k\ bXa K֘D~qVY6((x6AufƫǺ4H(]r2yU )ቛV{`c[yx+;VnOS?hHYlJJ .u?~Wת[Tf2B49ZӳύYƄʵ53&+(*xx$0k/KA Ljm YO, SSv7r~BK.UpoQ T<B5QKX ,HR@a^=M"%` Jǻ ga+m@h#=pwbRruYP$rSV1ٛ?6Ԃc/G> )~Z$0|t2܌jXcȴί-b?PF`XBZ8[+_ռy=$0mS1 J΄ؐfCTSn,4NyT ʱ4n"1/͉$ʁŸ$~\2 %)$h 61Cv6?иY}RO%ߔ]7D;䕟R> .n"Ewl6m2i:"@bCF7rGˤO [x=M8+*~-[^yw= ] :Ifa-I9yqQ- ‰wiFn%TJg_h0b>@3R.>[C moBE_HbH`:I œkƐr~WFTB94R252⌝w=ZA|Ӣ}26v.'J a@=/KKN@]HG2>q,Gqn5syc>0rY7 FV}:& v o=?@<ƛi?&Qjo,J᪵;?fY>s A[=4d\5fMOU>f\2_?:>Cw? Uxˏz&#d߹D/X€quIlW7u$Rpo$Ke ibD8#%)F?iOfcWljƍ(6qh8,j_DjՉAa49J݈|]NhsLU? 5+t9q4,v4kLM&9Ȓ%/vryKjCCA{Dш!AG$X4>,mvOovf\r939Ic?KQp 5?S19^-WSyO'$n~X21)l "(bNZ҅-ogBq N:,n!$8  .h[lvt@|}?;ꘕCnZ Xc!}oz*sFuP6GgYZw5U+ \Collections_ExamplesCollections_Examples.Exploration_DFScode/export1.ML7zXZִF! OBh] %H  xzQ,O찺& эS-5[I3-:1c虼p)K܈>()OdgC9^y'6o&H2ZGgSچ:R͛1k HЁ~K$v;KV_%eIWnJ 1EvA6dVJtሼZU/*jr471+qݻ6$$#qN4Ϸ4S_1piؓ'pߒ&>fmGu)IUqO[-Wf;\⋅>@|- N(ٵY| g}6̇NJGYշ8USX.t  _ ; _Y5U? Collections_ExamplesCollections_Examples.Exploration_DFScode/export3/Data_Bits.hs7zXZִF! @]K]b}v QTI.6]T kqziɒ&iэU276=R&XJ>|z8zY\(8";D/ ~1ƀb^7rQLӍ3 ".<$WE28l0y=EeEG(1Sӑlғq?&d=±g3e R_47K?_QqzU $7}Ĕ;^@ 6Pe: Ҝ f<"DJYXU^f3"p-] TM77)0!k M=f VK7k 6r~|-fL>$VO0a"dgS+ eRs0.- J,1a]Ia٠E?t!}`pY85!%SgYZ.5U9Xvze)V'W[3= Mj25CG3 ci.p:h1jxJWH6Ŋkc{D-2п ~nԹ9*X"ȋke_Tn`2,u+5ӰYH]=Hzhs'X˪Xvze)V'W[3= Mj25CG3 ci.p:h1jxJWH6Ŋkc{D-2п ~nԹ9*X"ȋke_Tn`2,u+5ӰYH]=Hzhs'X˪HnQ?VDyv{ -wA^s L9߫L 柖SL]Oŧk[uuϿaÈP+z/1%HK{zZ3`q,*m(9ۼ3v/v%a9*o]J3U(\~T[ʋ?_ZɻXY"~)qpIo=JLQSA~H&"0=,5o`N G\SYZkb7͎7-O8Me0u U Gi+I6|*{[Vf |sa=n{R wОG!HTbɞAk &rS8*3yu+b9 -g_z)7f kʆ>u9e`R# O.ޖvҰ8.OJ Z\%ONi#Z1jdFԻs|6TlǏQηVbތQ`Ozujd?j3͋f`t #Ja)`д=/dVlDK^r(/S&?)!|`w>[Ky$M%T*m%pƁw7$P)Ùr&Vƕv1rn o\n!:EBy&:PquֱcՑuZҨ5:!1ɓbHSCV`ŕޛM#1}'/vs+c̈́Aw-#FmI:NCO^]2bl N\x )VgY}IBp%a nϕ>!&XdL Y0gCJ t{.ar c74,'ޫ/ZӦT;OvyN:ymQRS6Ƽ1 Q eֲtq1n}p>F+|qYG(K]{Mc3<rm?,H1 F֢ZO3S=vKP%'U˗#̉w/Q`蒦1t@6^h߷a>Ca!d˿uhu+@Iq嶱wG-g-l FTCh's{ZͪZ-&n}SNorMzSs<6ܷj~f6XNV!v6a.a zpuݧP&\#dMk? &1S޹#Ggx`HJu(e|\ kU)p˲|I!~ӛi[s!M ij-0Bdxl(Ȁׯ Mwy] igRjDˀ!IA0'>i7A_EjjJ23۫HP_a;=_@)fgWNH"-b`Uv6zU1}TݙS3ō 9D4R9!oŞC HpyB(X0k\&r{z%O[5`i&+ܬb zHUy8_Sse )zx3[45UçU!>l:m9םj O q3-nruyV=3D#.&˴M$Q&ϊ gQFu#%)g!2\L] PtDr1` z  0zhi'tAU; ~fdm/M縯 V,tm2Mm7fvWGxU#L4.dH֫Ekz,4i ZUhwU6iC΂gYZ  ) 4+5K= h4߸`_>\Wio"`Q >" _ ϴ;Dž@6_9VR5dʮrx: +Yc|c4 ՗_`)(fFC" LuAq\}u s)nz6LTڔ" >p}q,IxВsI^UIzj9v _ي_mfHem€E1íLQ! |6PzXi.%8 ))먢Zr)m X0υR3k&=zi֒I[6nyd:S!RφI9(Kn\Usd|`ír/Ef`p5[ mQpVQ^̞(q65zGDw£c3;W' ޹g뼚x> l?B.2H4]@Pq5iNAO\/oxC`Mw7ŀ\DZ^XhQ,\uB&Ьj}QZG3xOHq@H q VԵM+йZ&[DVe"{mHMmg̍Aդ"gcȊ_^9M@_ 0q0Kj/m"bB_[U*?u@n5K=a|p\6 PK<^J Z*OnE=?+Qa0rI\CT~2%Jl1o]lKţ@/L,Q Le*x}W}*0*mEn㳻:I 8rb ZwAL' "fhBCwEC:}>2Laa87#=tZ32sSZݼ?5us߂FHO*c3 4+ױgYZy 5K9 \Collections_ExamplesCollections_Examples.Simple_DFScode/export1/Option.hs7zXZִF! @e]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmf($CIHD+d/&UflPfAxEPg֤+[cWڳүEl{L"^_ׅ|wj,BW( iױV%T䙓x|[Z'ƸD~d;PC-:2$fOKwfq]6gTMƦl[-|ў_C.DpS;$֕jDL[Mu_0Fg7 Zw0KPe]O<)ű;>S 'N,E9~  ܋h/bHᘱgYZ\ 5K7 $Collections_ExamplesCollections_Examples.Simple_DFScode/export1/Foldi.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm+Ҍb.&NI*u`tPluD.>נuN\\\N&GKW9M8 FN bwVΜ*Tv ᪋J*ikUb+XǷ vnQaDǴ%E{hzu'7@¾N 50hk 5sډHzk t1! ]ӱZzT4O3j܏A}&Cs,rɋf範ȡ La 9A[LW#u\9s7ZUcAp$!fwwb|@I $wŁZ(=P蹤;5%εSSp",q2ihmbYgV!!>BHDE)Px&gYZr 5K3 TCollections_ExamplesCollections_Examples.Simple_DFScode/export1/HOL.hs7zXZִF! =c]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm}PWQwNу}DIu&SVvΥtt^aZI4]F<-ߪX_Fi <8%kDuB68cyXRuO7&rx#705abͥ6~z4=߼h|q Ԛ_KM*7zGW׀ [G0ܕIa|z8zY\(8";D/ ~1ƀb^7rQLӍ3 ".<$WE28l0y=EeEG(1Sӑlғq?&d=±g3e R_47K?_QqzU $7}Ĕ;^@ 6Pe: Ҝ f<"DJYXU^f3"p-] TM77)0!k M=f VK7k 6r~|-fL>$VO0a"dgS+ eRs0.- J,1a]Ia٠E?t!}`pY85!%SgYZ u EEuB5KK \Collections_ExamplesCollections_Examples.Simple_DFScode/export1/Refine_Transfer.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm>!lCeskdФ -DA%Z5DC}~cۧ@r3>ǻ}n |ҙ5gB4(xdcrKۗT- e]wBU SnYV_ gcgYZ5KE \Collections_ExamplesCollections_Examples.Simple_DFScode/export1/Product_Type.hs7zXZִF! Fe]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmrR^6^C/߉u!QdUT3\de8OV7}`UuڣL *f΍y-b]hkMHV4J{AG&]t/f("z6E_V^ ~Js(@E7 Ԩ^GJ|{zY,q^S SG eњ@Op&s=ۋy=v?8nᲴ9w (. 2N,ۛ) XT]j{= /<{gYZ5KC lCollections_ExamplesCollections_Examples.Simple_DFScode/export1/Gen_Map2Set.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm$5l 5OHДNJ {pWQwYrxP:$^1c`BDЇlYsy$Ux.pi@R#TZ_50*u^x ;͂QI=0h0-E9ڐ<$M{Xm|?p$*T2FÏcuwTi|% A` ; "%dcd?G%W?dHk]wG %$4M[}{uQJVʀZId^jjG3S;P?EF<kqvRCЃ4mji8'5=> vc^qn=;Jqq؀k찪f,-}AС9_:Ւ)zj6.,zM^dhG1g;3pYP3)l +|&y7 }yBqnc3b-z{g{X6Lyf`W`-,|m}<2ou0*WK|dxP RdvԡZW%/p.)'] ۧIG-8JD˷Z8-6kpQgkNSrN76C5Cn;7t9ӔxyNnF2fǟs0hkq(PRgF0ThJfhբ;4$>f?Pb=?fdI {%sJӳ[HK˻=<-Ÿ/gYZi5KA 4Collections_ExamplesCollections_Examples.Simple_DFScode/export1/Refine_Det.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm>!ltM(suu W}:U6[J8CZV0" %"޲ uPS&I%bNIx\1hG<+5l2.\|O{Xxx1ʗ(Cr0Bg_<&`<$ },u s S# `6صms߈H_ر?fq$5k%As权PHNK@Y݋>ygYZM^ϝGzsPļl^AWvثKvcq=ќZ$g _L[9:, Dћ.դIRzw%$;""yyeNjue0aBVB*̹y o#b,Œ0GGz>E/ű {baE$"N3t]. ^I`֛cR R5fc|6ŞFؚ5ÃYۘ`.wVY`s1ԅq|t7BnW>eӳ̅pϛx-ѵJcf%.8]sz*=?!4*+P8T(bܩ`\]!ydʘT :%qO+؁!rL*֫BCxݽv37o~>1lhq!#@x7IޘkM*{>_A%z*|߭ ۭjU@lo [>cm6X}^w˭PQE!̏9ɑt=A]"_ܹ/Mld}Q V4]Y9Ρ!BIGbYSΆbܺ: JΨj NwPs{TܜUQ/>X*E}6|4JnzSyCHq鰆)Oc>U<>j2e)b9ơ6qZWާ?Ꝏi+b_%CY<>ʷܥ\"J<щX+%rWOFvqgOx5EB? KO9PsOTڈ#AԌ{u,MZ:̬05h2gܠUHtdt,d/:ek'sެPLƻ|Pe g"9X"w^7W&`M{t[d,Օ 4'4OTPm6Ņ,LS:"#$KL=p ՛jDj}NMy~i#DG~?6:?Tz)GduAqC?՞-䑼(&eF-DϜj%GdWD⇯?w\d!" KᏔ;=ӖpE8[0GŽS43E9,:4>iݓt&DeKP7 tjٿF2U\좛1^>wejŎ3p ="%319:8"0D^ _{PS*H %J0W݌ϟ \{b`!= +B۽zgÊVghbAv%ݎ؉rzcE)G"4oM71z [*bHJldKd5)j e̶[~u:8L'4nV;Upį}#ߥuq E#-ާ(Sׅ֔C7}ڐ2T~%A םle|'Y85Eܩ5oY=ʩk8'Z>k;BXK-)āmb#V0gcNAfmgŞ6)s6lPʶ(jC`O.)~mER~izX>bAb ,2v1QQ޳: ]$"^@rqf|)厮&]|DF>r 2NOdz6&f֍ ٬lN6J1t8oc7I۝nz()OdgC9^y'6o&H2ZGgSچ:R͛1k HЁ~K$v;KV_%eIWnJ 1EvA6dVJtሼZU/*jr471+qݻ6$$#qN4Ϸ4S_1piؓ'pߒ&>fmGu)IUqO[-Wf;\⋅>@|- N(ٵY| g}6̇NJGYշ8USX.trmbٺ 33J5K+ Collections_ExamplesCollections_Examples.Nested_DFScode/export1.ML7zXZִF! D@]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[ָ*.Ԅ@*]mO|+D.Tf>@ T}\TD vn.se_je1s@&-fs|:ֺ_GXK_7i$/G_Vω>~H9n#PMdHVI8Tr'405fEa<:. ?`bD\Ό%(+戋MNrZbwQ,]un8`-vW.l̺E9Ļ[+8[TRW䔾jZ@T~Vn%g)5Od$V>]f[6W@[z)d wy&Ykl>oA-zTHڐbkYYz#S2pS0=NB |Yj7'mEo>qno1(/Dyު}9j4o`N*8о1N^%˃qՍJeGgVy:et0$x}-yh:8t|%d.453`~&D;i#M#^~HEG~g#K>U LnM=f'tчO1#foԗ+Ub\wفyN~cCRqqiiF*vio=?LƺB"Wӵs//Hߘ}F1kK>Jn/Yㆬ>(Ma^U`X0,6~Dgq+X2we i>9*⽚Wz)sDۦUydȜ-֪J|羧@rϮRIeR9w57{=jHB;IY2C& Cqyt0m[f=#&'B\28y5Ozm\Fcm4R Xo1 M ٓ/,!ez @ۥaV7Ltl>49@\sȝw+bOTHoaRq:Um;fbp?`חr4A)j;x'0·`)lEt'2]L~ш҇aWt@U](,S_zCx=Oj"G25#4%]8:=wP%I )"_z'YNLݥGsdF"tA0U=K&BD8**8a9,OA hWQ1GGh}p&ɢEAk,~%gJ?~/Q]p{/yS68i ~s5ginLedAx+g<3Nxº$o[<ڐh)^rWu=!Xjݰ<39q?N ಟKwS9ƬVf@ryԯr`Ե2*4nigML ƺܱb\hQ2Dg.d]r"<'5ZKo/}t;qp-_]8J|3V׎|=/`fMyJ_M- e>8I~]ƨ- mgYZ,\aaO?9Q t;֒N-U5"mj] cSp𞥯,\D瞽䡔Ǖ~"훫Xr*ϯL[].5)II.Eqk gO?Ȏ=p@Wܒ2JK@Bx!*ėr%1w2P!Oˁ#$r1z0%u2Ip%/DAhr>HV}0|jv6DYH- ?$)j4HD:>$\YA 6 \-*'' pI  (Б;[ٟOAd},ϝcQ]kԗ>G`']3\up@mLU!D l>vJHFiogh6϶Xо17KshЩiHŅՌEP NL ANZ Kq'Tl2?= .8w| [~"}0\;ȿÀąaTAjsÜ 'k6r >4BP90!>u$'d üCr˷k'C{?M5YDEóՌULU;<C4-{Al&oH; 3S8Ѡw!1(abr"̠m:91|Rpf:Q}7WpUp#D/g´gѦ %:3˕\'Y475mQ.guNc 8r@9)͓/ Y ~(+ s||۬TJ' lqT$Y2mۙCN*TcV"\ݚқDʑ/k/*VW삒N'QXוK6lvTals.#]i ѹաTKu c 픿 vb~1ϙolx9̛0NNZWt93l^Npe`wuبoeI'bƀ81>|p NucO_98*/ ޺?V3G&f^8I}Y-\*UR,3|l}G\{Uy`V}E5; Tv6{/ ONOTmey wt>xOOrӥ#eZ 1-95HWI99>Ds PS_YL/ ݉r0@8²ѯrzbNF( PRx!xmy Vˢfe9c/*g}$kzfG;#5OV=>=9鐞 Lۈ| Ԡfmo/7]˸G#׿C!b6pǑإb (o>oPBT^ 1]4Nn\,?U)/ {X eKdqcQm:F8h.Ӑ^7.Y. >E"*x}8>QR*ZrJ %*VlEsf[:~e<=`ܵϱ3T"4ƢLX#e&Ƌs9-W-1S:~Pag}>"lLx'vAly%Ԭx~kG cWGL*G2epz}ݫV?E%Mq ^Lh8XT-%ad<\ ҇N?{X&fg h\S:"H)M<5_18" m.t8Ju-ص`c"BڢyvW+;g6f残lMOA =xFvTX/ZmԵ{;Ri;^̵9W0(.^tBY<y"w.Rƈ5} ˮ% oXQp %Xt_er~XrL72zSBd9r5Cpf`ZMN+vppXs2vكHl>lwTa8 Oھm"3$WXXũƘ@"PfʉttL:0ו2WV-+䌼IZ:`U .lK'b?iIT98A<i:̯#ՈӾc5adPIS7Pu+ll^9r9 *"q-pK.wI[Re`ɮ&wהKJ&E$<+|BMdTKF5Ԑ2x0ۨC^}Q>oݲp$*c0٣Dk/ `%w\:>+.k߃ĀN^_kJLG)*29_6l4GS4NĦzCKBE%}I%L9 m[́~!HYM% LDGvHL {yp]92P}8zyn) bћ-( d,=g'y:ᄠhSim cq;QpewylőǴ@㤄8#3kst^M4gg\wԮN5xw oFm(Zocs\i?fJUL(V'gxh!ɠ + ٸ G%)+v:c+20I襚qˍnl^?[qD)6%Q͍gMLG*i|DdC2NE"p-: )k{cL '3 Cf`yB4p< s*5i)*E B5PKM%=;Oy`16V*\߮2/[dr3}hs~Kݠ;xk خ~(2VHqz`Dd5|y&K+Wci%tΔhdbYq,*M{.zcdH4U">]3РZA7MPWm:/vPE<\{499rfτJ*> ͻ'4J"^Z?6tjTbaD}I!44u)fžW*V UeykK?]bA 42lpLj<^랰ɞ?W*<|nʻQtMG<ޮl#E\ `MtEyX%P&m&gYv/7vEIYnyg3bFza'0@ gYZ7zXZִF! <@]ŗXiɟlAC?H 7.?R|d@J*lҩǽ0Y=e`;ZO{PPNJ[VA0dkE{"(Zl* n?璀 y׼}7ѝl)~4-޵5 }NA\L ؃)<eխ;5`Q*$tn^"o /Ϲbdi/F{H"TZl'DpȆ*¹5d\9?κO" ߷ۋO|.MLbX^̓׈ HCdkI(G^ܷ8񾒁K鬱3]P}!Jx-e'\$[3F(FT?DOO}ЊoOZWrtD,F4~NDny MۘGfǂ\fr]LBƎG꧑yup\X BrDeA!}hqQuSs~?yճPBt%!9C\x:\Z&֖ibS}/ B0h3V&ZqvGRn 0AQ_u?q5*יA^toQ GFq`,G|iKи,egxs=\9Ep^ʡȹmP3o ^H!\OmqtMl@@ȇL|X*W(]2suT|]~gmZx(׎/'kK⤎Ur_V{*zr>V) WV#6moXTP Vc#62y$3;FgYZ7zXZִF! '*]ŗXi%L 0Lp!OeD'[>%rH}qVr 6O%1@7nbYq(0OaļgFFspe©< d!NO@V3ȚX=F:, +oSh|r.N!!Wȋ~ycԃT|/9a*6bQ &l\qO$a/Y4%ѻ1!"G? 2#[Ӊfّ.#ȩ5,:(=7TKF Fx!3dPP܈J3oq\DѠJ\7)YK@+`{M> } StE 0CMF ۯ ٔf\;EH`$e;xX?ZH CR$ɀ+mc8=R\bgjiE/m_~lՙ23kf\M$8j=`4xUVhw<ʬ^ PV6;ˋ|)/N/H#XwgB)n#7"TÁ؏> eDb[<5sۘ.1̱&27hva&*xt.ֹqfү +ĽSksi<K1=c?Hq\ ⩽R(MqjwB"{Q@tBlwhU.Ef/XTgR/+G>e<=F[=ڲSYC)NtE<}PqgVcX}"HaPAƹ,h!R繕kGzq:QtNU+;KpeN; 6T|h>$Y'}E+ > KL3n=R<1pk $DO U`~vB,gt. l靏zmnRbn%YzY_3KB IRtB|h7Ltis#^Evov'}Gg>ztg—S*ϙ]k@Q;6L: }ZμT4{1 eXu@Ǜ[K˨AGR5 Jkiڀ>XA*IgY~dyq(pnRuF#@W8[(?xDw  ͰL R+d,M倞 !b]{r+_vŨիkpxQӈў:Ư/ op+9n0ڋ7p%~ |p~+?w*U(2DI7מcaҷy?a+b^,Csf؅D;<"D"!0D!݉|| ƤjVɔqI[,/4ʯU DgI<6A4PelVؖMEGȵ:G5 "WDjf2!0(LRZٷdc9 U֊MT ի# vmdhm01"P'YA ؟WpK#k/E-捃BƜiWpv4s )箵npl}I=6${ dSv&'S1.xG,fha"Ŕ."$ST1M3+W<)̇ Noʇ!/lAZzp&4QƜЫSv"CF;.'N|VMK(8M ct6 ۨjL O@Q,=z)Ts~AM,G8u:`kF#ښP"w72~x\ثT喞I9.hAagB $R)+5qTNĂ3/)u%#׭) wDna&BWQ3y^];5sKZwE6ׁaء`5ƪHe4?wɋlrJrYGPMg|eng7gU6:1BB \v $AL@VVCXg009as<<ߪ[tuf0ykZ>.}cʅ>B1e<^f (}u?;’ ufMAM_wBOE12,QURÌJ\};.jTn{jO 3>vdt8;诇.^/Б$TN~^ )+ťH鍂NiV oPbamwXL9s\`%% N}Xwo[M#AI땏<0y/ jD9<5mon&p-RF(vGu`P .B=vҏ$gqb#Pq:d';s?$I% YvJr*2лW> QA//WRYtX J4ۂ(WX-:t"F†Yjߋ F}26Bkؔ- | ܥea[lHOXOuxzqwٲ/dWrwYV^%@Vѻ{؛,v@7U(g3;3yݺlB7kg2+_Wsg(MHύ;Ĺs$l'*8 p'1.2zvYYK?*p‹g F>mM:M 'H$ƆJUXi֌iH]1G%R}L?u_^|ajk8繘Ԕ6*>,3 72bh}2[ C ,5'f |:YE˦,ZKQ1uN!4.I|0DGE3FvdxÝ,9aZQN{'!d򝿗Sb}N (S6-ԘRmﱄ[}TyӆI= N|=S$ ! Qeg ,JUDl }j=$^eΖ|U5T3?9|][Bb[W4@db4nߞqwљ++"& &3>=k?"g_+ Qz '>H(4=i oFn8^{i ϶\iilGUyPqԺ-AnpnT#%*Ãq*? d%7`0~unKm{F(@~ .2DZBA?c/I_F;3&:L)]aKhve{uޢD;/R`800^ӳP.8 1:eݽRst˝T$*&VP &\"J6{j>ጉ=4z z`=2{ꇌ>$L:W94^k 6EaMNj V+u_Q$ pDYI pk7xzX]]1\ACަa <§C|slzE2aѮUpc4tWڞ^V}0n  Q(w4ֱ.~x?3.D9DOt.PVwUoYTo"ɓFxE0G,>$dsmf0/a,"@)k=]@i7I(#]%D߽MzSkmB# )6ܯ etFR5phBT=`ShjII&KɻV+`כ㐊 ÷rRJX-t)/ýE>H&A-^hB,hy6AzkT5/z5T\ oGmGvG a?A_BR p6?N& O,?wz#z?%aJ3 ay"j࿯Dc0S:07d׏өJVFP Q>ص/j6&} ًЗ&F_%>W]4J땑P`7F∫6&Ԩ@X4TK)wI;ӍӯS5υi6;˽h@%m_nm5vlMɷ'/XM6ǯu_ C|jWoN̒BC4lCʷ߼=Lȳu-%>=ĉf>@L֜w߲˶ lUfŘ\$`&XC@;oK<6R[8CRﳮ0 c7ϜVYNpV- fQ ѕ\Gfʭ$upxibX؏h1<~F&q];;g,SΝ'an @7!GLهl$nlZˠt LW'#%E Y./d$bbSYS47(aSb1G2o,kAMshfThA+4JcQ+ռB}Dws"5oc6B^ }"auwP"*0onl#yCxIfc!zbqd!D!5={%IAioYӆ,N֘言yI>Ȅf5QJ(zyIKuЕ԰m˽! qh#<?B r$ZR*<=[s4Phj5U2q!}nѓ1Cnc8( [A|cX@\o8_cD|6eUn&nEҘʇ%Ogs"<Cjˉ9bꯊ_؄Go=O,G֓"w ҒϹUdTg)~3ym{o%tH' ԇ0n`, lC銹iS`XQuy~zz\k 7o݉$@L0]r|,UօP T #D )iZ?µ1>"SlxsNG)knDP?hV)n(.YVeE;$(sۇhnĸ НoZ "eT-`PSinxpebjB55I i5\-x$|-EXSJr\bB%ؕX0(hcϞeL^FƜHWdqQmh=@U5qmt/7MSCQ_?v#X#=53߰O)~HYg5dL W(Hhw_rt2?q` xc>D,LTw'q>!f~U] tmM(kl͛@TNknQ7\L3}*&7=o> Xb̵\YPmb}Fmېys~]H m^DAlѦ^-h{D`_Q|c\#(˷yץ2A(c nN'Vg` kz۟2 ʯwvWL)PҸY!s˖qȵ\8& 晞|cv+,df}@tB<}iD.W>@e))7|2:D6u3^!ka.u*;/."O`%A:s@cFgVp1uklYg>3s@_) + 5HVܕ _ۤˣZ sSvs?\c#$ ID:OC0'wtHS?r bTeۘu?~׎T9Hg%:8畒sewA<0?V̢ NrE̸dD-ZsS.+uח0aouۮcH"*5y2 /l]ģ~*/vTٙ2'\9ٰF3a +4:XE%3u=!uVp5y x=%e} !+|n[莋|HL$܍sr=NLLYPj0D%GKUd XmtS3\qiAf_0$'N@|C_ GҟMN:z')9}p ̲`԰؁Y˖˪,( 6롐Z^ n6+N'j/79r_aZ|m*B1F 488 tA$ژ)֡%I`=W^`Du>Z%tB*M"*iQEIoryRaV݁QzO2fxUMk8cx^S;$D*킕=`lZ&AJWDm =i~`[T >2̬ wyFP;0)(3KoQYv*& ΑlN4aoTB΅&+m7$TЅ &IϴJđ~) /2y9j#N0|7$DKWs/#Kn\LHB4h ٙv'Ob[߻R`*^J]BL!MK䶾?h"Be,AHijqoOO\4ibp-3')MϷ2㗛Bv7)4\yledѝGQp30.3k={ y_d,-!e.橋T%T@