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  s su5t<$ ]% Collections_Examples:threads=4elapsed=143.660cpu=453.004gc=17.492factor=3.157zXZִF! 1]ŗXf[&sݞN:2Hp+Cʐ(]80fH%:ﶥNގݲn,}Sڱ@<7vi?:vHYAFl4uw^{Ӭ=:oh( tYdB֊gY C}ϑM'C*Kؒjg^@O (gNG1 x^#W]P3FG]dOJߞ y̹4s *'2|o>KKVs2mA!.23<B&$lIdah=wBiq}mp-d,}6$_eq@f"g"TPK G,vN[YbTcwIx \s w|B`bP2=_:w:>OQ&7Z|G^A}(p#wIZYPXn-ƣT8aӞ?w>C&ro^̮׍snХnϷ0j$G&VSe'h@@nq:t*R tP:ྦྷk+YǹZl27R~\Pϗ$#F76p J WͿ > ym$No_ [\Yg_<@ќ2q_*΄uhŌg=`G~>3fv^ l)&~Saۜehu2"qgmE\.dKQ_%_'-ّv*q= ÑcY \P2*? xr/KYm4GO/pGS֮5!)QŘSh(ܩ ( x]&uozʾa~x=l{ce:Mt?;˜i,Tm\u>1<qE|kC+ "<4c,ȵ:tZeQF>(n}AG;%}M 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)u"K9"ҠWN.اkFʼnd:y7%p*'ht*szv{AL܅m'I ͭJG[ !oߚP-ԤȋNN6lB)c (6-B|Ek{?;?qS'@_2֪|`㱭31]ltV1ԹgKUcfhZmI[ka! p^uE/ȭ?23l56sdm8 TdD<$bbzqI#xD-=RHWrLO(T+;N.RJ968>W`[S_ yhx|̿{h_bmO?[ 7R}Chj| u`-# FqUS_|](RRm/CRbQP T/i&G]Y5$kfd]η?(sT119$p *`1w F/#|:buEH|reܜ.*J1A.*IM앢VyTKcz=l1'0s̔_pBzR;>:ˣHv=D}LssgHLVmIaVePVߞJ.ܞ8_|'ܽAWՒk"/ב'i7b8.B-h_WmN=X2| i1 ,"=nٰF?S }x\rB++xIŠN9BH944v$Yb4ɛǟlbSo8wJmiYeMR6Q+Ghfxu#kp:Fv_hPcI_6꼪U;}_F5NK˂17h2Ls^,ey e?+R3AhL~GǥL9ηw"\$1֌jL(vgJN|;XA˙m$' lM6~ +[@W?4+gݳU7SBD=nID {-,|oVAұwGK:Mcop<>E?ժkym<iIٚwqSX!71UvƅϪCQ! Aq'%[md!OpuW8 L*˝Tg#_k?3$$\gNyO\@G(Rq&<Qi #RM4χ+.c+_va nΨ6T+ \UnHaT_|wzz$M;4)b]3U3Kll&lݷ+ Ug}vtР|iF9CB:Wq!^ #v(۷Mɚ({P†~5Иb_ LwE.I(~?nu"=,jH(I[oHYpgp| HU5l N l=T=>s9+8?E!Na l۪h3a)RQq[H;!`_lnh}*ݹ# Z8lMi`%g", r7`ͪ{GiLWmfV,vC}Ӣ!bs5(շ\{AcUte&Fz)wkmLt`6#ĝVJR}^ K OK$v:)G>יK'ôsᬎ&m>yf.,\ma1X -eG$w)]hj>~i)O6uyS*!|KoEaV[ܹR1w;h dנ\9n z%% dxu-fۥ*nQ+ZR=PZg"a7G&ep(SJBzw#p'-;K~{aX*-ÉMjmnQ?Gi&mg2zE;q?[5 rw"wk.&.&u6*-:_tmNS-n{p Dl({\{avCӳ ,SM7-SeQ C( 1 z``Jp -_( 1 :7Rc 岲l+`\g|m̪nSϠmu "_t؞'uϜ7b7Ը3R "˄8Ymnj؜{Ioa$W)9wٚSVƦG|ǂ wgP~MԳwLC롒IM#+u{͖y. İR6=JKh5Mxb7/qɟ'$_as OlߡfQ}k>0/wrȹgc(e*ҤM,Ay˖2#˨Yzf ޴xV&J8rFOs)>D1GoAI>t$>w{DUʷ_A Ma<_&~W84 V\\e&T tRƱYU?=ݜ}t|$Laߍ+^[;W4K3 C#!a" >em K2zKƴ5 $GQn_(G.@TP8YPIYe%o?kmo6L (BDZÛ"cY A\!QX?~ޒlxWOIym` Q D$[W5Y{z1iA [!;iEZPq G:iiQe+6S 0DCSnjDrǗVCϢuX;rU4^ ~j PEmE`q7eu# KHc3nt$]v >`ܝ+tBfg7rYxJ SC?PuwY'JxBB{:#X;+QH{%N5,bʹF$Scv`f?G>\ߓQy'pͲ15"DE y(}YcƠB. 6GJ :_u|5v#d_F&מC\W:7f'P;c;W?B:鈫ZTa,f=U-PA!jlwgbbMF7gyvEEpjV2bƬ5 jښP1-/ (bw $b6J?%l^,px@_qv^5H~IM(4K J}]H Gڔ9B*4@#='6S&|gYZ7zXZִF! >U]ŗXiɟlAC?H 7XzW!ի.y% >fb{z]M.zB`rl` LnG(.p P/'t~h\kKtЈ,!ef;::ϯ u>Хb`i.fv,AB;T9&ə+W_W@^k|^؋w>'QM]~2l7,$g 1_S )`rwvd\U9IwK5E_Q ma@y F=8@I`ꈻc^ac|ib8EVdrWVG[0sd cy|o')-eڽk!HExaތwȳSrkTF;ϜUCEi^Z_,TJ͑z!.iJ*竬^z=Z8G`.bMBQ.a6.G»\+.ALwWDI?5(Ƈ*D@)|z# ia2"=K6ў)Oq'W֥̓0\M 1βd81G7urs6ܙYRuiQ|çnء#|'rC]g̼E(Dz-,fk3fDnmFқR &y J;jVQԔw`?R@@LGָ_ J|0BfǑ.^uY_8)nw[ =נM!*״cM,q| ->NPL#x",0yl QֱN34*f$jqdc#xLJ] SN#V+d=DR y LRWa[@]~W"{X>2aȮ;j]b >Y3q4d{ceM5컁Md C_YPYwc+yi" ;FFAdwZvT23G<$PWgYZ7zXZִF! 00*]ŗXi%GRs 41j.Pmܴx$nsp$Mi᭯ qI!(&gNT| |X/" n (LE PK{"? usokhO%vMݥ6|ooG%BI92W<&>mEPAfl,Y/U:7BmZ ʠ-Dǭ4G+Y#yxh$ЅxfkCBD\+|&Y^}N(13 5OBĔm )}3<7cUn8ӗ4;!xP$QBn3z^dk~!}r ޏW;a@- ]tL&ڃ)B8jSs@Z˃SHݡ W*#h틼E<[ki+/Vg@ՋUـlX9[;KRͤ9w*C֋CajVxiD[?; 3IK.O^0;Qp{08U8d HokFVG4aأ# Qxq$;ݻᲭ9xL!k^ыbe2Cm+LZ?A&b@9.+WJ %=Yf7( pڋ 0fdI!<Ȕ$AލdW,+d`KVY敬'oz7V R 08/`h=hY0Z$'1j}_.꺽wM.dT\a=Ue'5e/tw]#?wsJD$^篽rϡ(1S~07@ ǀ]wX{fvERuojG.7-{ M73=nx*:L͏Wg&b[Z7cTGר9?tQcvPuuF+]|7^=Vs)Ot`Y~ga f͍ tAs4L`u5käQ;OtHhd*}@f |4'=[➘g{x"%l&D6my{> EIUUw'5߰6Dҩ#HD"{Y:@cSҸHaT(O0\6}oY= " fƏ~z¼rbOp$v ::b(}M?KVyUa?mҽ\`qguexgzNM}gaT0 2$ĝ_H v~ yznqlA?AH'9)݆)}>qy {\Fõ:8.$nq1>!{YehA+F|,SgwjfM(pqf;vJ:^#g[kNUB3HK=?ȇ fQx a"vmU??yD8`vU㯒j 䴥Z&*Dv)U.p89rt@4\a9!Bct׀+dq7ǹ4YoQ^(>[Tg =-KbXt={]7oC,[Љ8T\ 5mjX{mfr-LROKQ$/gO8۩{c4 Ta5qȈNNT|@ǾJ? ֲܦ$"Zń{Cd*эH]>"7VoN/Mı``=X!8`3S֥V GPP 7zFdY_ "@bG'K16A zKý.׳f4TXCG#z xSwʿOݗqX D_zPhK EoPG"Ց SW<uq07]lZ|QBHHRukǴcIa Hyǥdi7f eh!х6HISw[j{NNOx`4aEA ]fXk$F7? 0jN2u|+M}qa&C & (!Vt}}̚ɐX>[& e–5Pb`f"KlC%xڥi DS%<Dike:P ?[CL) M2`H p $N—š((bdHbP Fq0<Ĝ4cl,^Qy\=( \h3 o<d40Z)Dn:*YRC+!W`w-. 9-^ ) A[+1VW/,:^;V5(i^ktibg;adWR9Y*FKzm:U+@,mU7vz_OYaB5&ÔhL]eQ'6iZ7}^-+7=֍y9׹ւ6.O?LJ P PE5#oA0nnB 'a*Pgn͡3P$} ?} oH7#b&?8ImŪXyݝ+KmڞH/٘/*8c5#ͤI+ԭ|8N[łum9כBӛha[ | Ѭo>t/ՔCX*A k'P9 uz7ݬ_Eͳ=c-9.&Ļ6J+W4xuq\Ұo dBnV>}tx)$[y=V`Ѕs$;hNlvX޿*Cj?y N9zԋ*VFܛN/Oɜnb÷5xDoӦMA(,Xuh1K9)Ë | E_N,agqzǹt=(Ld溶Z3s|vt.AAxЌ]Ae%ճj4Mju<.d0# T/ 0`pJW=O"PEH/f#6Drƺ`Oއha[W% M8 $͆ 7"(fM>h=J}sgw7W}8;G1aj7X ˗V㇉;9e#H {X!$ ǡ)&5@+EGC{@W6,f#yRB˞+T {1yZ` ni&SY/Vfy\ɹ)}wJP& ;/z#hR8wQ e= Nj㚍;iFRGS:T'jI 54:O]/wW*/ w#;%y?1RÝ6>Jކ#oi!YqUTPG vq}X0QP z[r9rƨLpI!}y{ 6XOtefc;X(-/zF̃'LԩE"u. }Jo`%I#b\he88RJ~q(џiEDITUcBOi-3D@?\0s NQ{^#8{>s67c(~/ %wSl@)Ԃp%pix,k.%Xy zEB%NOEԷ={#l9o)WڷLE%1~:<[.wTw;Sd{p#N%, lu/9 'R6np%`D+&SW0  KkfՆJ6Ē"ZGi::uG[kR@1[1 S3+#"K_q 袛7>@`6*'Sg,zIV9Y=5pN".`]'lho!3\^D&/ F!C:v*4|w+h2x|2EW?O& }#YRDrǩ}h, t:d+[dLf'nXc2qsVnh+3""4Wsr$q]\s-jWà/{EpˤƩk\sR?I҂X2l,BQ~[@HȨ{4`M-H6IF'S|l&Xu~5y: [R7B0VtWuy3)[E>lBCS*5@WSr[|8rz⦰:5 4mw b1˲~zkzsmD ]iFG޹7Ӽ ti&nvh>3yx^J켱iO5,4#OӖ4;vna 𐎭HZan-eP0?,R*Hѯ"Vsy XSFs?k8M !p4 8 &ѵFF5rC܂DXS2alSYJk$)(MQ:CxO%2QyK9lԥ@ VD3n vwkCyi_#cAT!mBVjyl[r{YD@N $~LY!ۿ8m"{5eXǥE߸1`3p7Mg!c^B|:¨1TP6엱qO hq݅+F/@Hs]nyFjC. }Iں[[o~?{Yœ-B6hJd,v41h(Jj!̐ԉ]B҃3ԀPE|'Ou÷/W7eqi(/*ո*0dvV~Ԝmm2)@;.U鴚wP,S#J#`06oD8nH):DTO'zO8ێ@SJ"WP;cʀsVZ ˵4`UyJ+;!>pjSfrҮ.@hT渀o jlP{ 4}WOZfYT6 V0-Љ}""&ʭ6nņcbp|s~3#&yC6Bjج .>Q8"bOEn1PW>S޳d)#fzZDŽc5ӽ{0^zF7ǿ){a-`I+!]9+x}ꔝG~,·Qܔ¹#&&dԑߟGZ6@+hk6wᓧ9R8\P6~}L7г,> ;{=G{e&XjIGz1}!~BfqC4ӟ~j.%;XjēL3Sv~<* j Q.] J7AV9rb;cE_&Im81FhcK $3 P?JԑR#;:dTcux3 X}V TR~[g&e.i,4AyS|Ps"@:;H9o4q_N|،ٔh=?dտf 8`ѐ&=PG۴I9 Y7G} k񯽫j6~ Sl;(誵}t̑t-PI)祪)=G\{RO3BMh8Bͣ-.9O&Ue>7\z=.Y(\;:+^F43F: ;N CfcEDώAN6V~ЫқE /{Ce{ 'V8Jl7WHKJc<&T5-84] nr< g [z9$8$zh9jj`PA [E 0v/loQHu8a-nTސC֮?Rva|wk6E3;\go۽B91IdRzO^]UO|=o2TDVGSjC@7JCGBFw{2S&}QEE36T1vIJ^24#=.˧RÀYFv奸t 8>A#=w[;|xA0؂!RPqjG༩&s$8'dL QFoG^^gŊD)!UC)R9:1>v!A0ʄdTw.ɩGߍBgh`.Ş EUeҶh|@ptf3(aLQn &  V)#°U76eПs<èIaӚ ,6B\"R}a7-MP+ }SC8ic{ \PT?nQ '{VPѯP|*Zm}pgU:6xG7°1u"EdYY}<6Pj"Dۨ\,cmG7Z KN 'wdkc{mϛթELҪnxͱ\u@.J& ^ n3u "umMGW=b`|Iߔ{x_+mT+V- 0xH`a ط^;9*z~ pφ'OO|G&jX\yd R[6;eXqMzlan7ܮ|Âu33KxAO$w_W\ "?=VuϘbL@3T0Ri&Я_*|aʶ:{[ȻcΗ E'UfI|5p FsBJp Ќ,vfOSԚNk:}ɔB4 Յ/Y鎟7JF8VdEIuos(c:mݝN]Z3v6(®D@'],mѭ5NhW55Vp rv=֮Ym)t%O%lET(ͦP?#>dgB|كЃ@O<JћY0:FF~5BC?;8SfS-I}-P/ymS=?O 'pQohp- U=XLr*_j;^bn7)SqЫFh ~A,!|RZoMPrd?"rEu1K;s6!qc6MiܼԕT5Zܽ:8 {[rŸO2.R{$sf=Aе/Db4D$kZ]PVxNӛR9" ]=Imꣁ.O%G`%!s {jU+N+4ȥyf,_dP"~E4lt ;.Wܪ|r[qȓ`V[~Vv~%dVʄ_װJP^(>Ohfl 0lD(sV-)΢ơPwLHkwfmZ ZT^w4|;5p.٫5[Th 20o8|ಆ\m$W7r7T7x󁊿a,tRZQћWa/\dz4`Il)~f?)/ Ӎf˴c]=?tB cSD|&8>єJ;B= $ |Kg6^C򯪟LTc$şŀ1ߍ=LC oTo N S(8n18>Z 聲_s"o@)ͱKU "SgYZeb9646cc6aca9c178496a10b15754e0bb8ac902a4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 e650868a8fec8e0f04be9c5397bdd9d9f03125ed a2058b128332dad2a492d1f1c6eea174b5b009d0 e727745b450f31aea5a8a4a505bb1d5c83b48514