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  y5tT ]% Collections_Examples:threads=4elapsed=144.819cpu=449.900gc=16.964factor=3.117zXZִF! Ƹ]ŗXf[&sݞN:2Hp+Cʐ(]80fH%:ﶥNގݲn,}9+Mx9KYqhopIjY,1LkWxfRm䟚g }Z`+Y7ތPW⌡m/U/IH.ac\tNE nR7b}w4Q*㫝}m:5π ꒧~v:'pV"ƇT)D kt&+#t|â?'v xpCHJ\esl<.}1 ͠ϛT #Қ4"٪[1o+.s{HeaR1QV iٞmE^3:Eo3W&F.c ?t\KyMO+@r/ި㕼i*R=* 1{)# pW,KVcrZK]G#UuݟpLwrNPBeO4eJYHtZ;c侥8 zn:Թmw*qWɣAsN]jç63XI g,f뮊e'H|=jkm!#:_8qZ A^9 "V{ܮsjaᨀNڗ+y`0`NL4r%N7.{fۖDE97Nӛ_LY:7{ 4W@p:Ξ(a\ <$Hfm(KsQf=QABRU?sޔ+_ǁCHIa$MJP9q9Y"^0PA`}nNi S=CKf#~:$6ĖZ(]wOc+?ԫǼ(KYoˡUh.5k[nwj#یy6;Z+u;NLpb׶a)xgS}V߼7v( <#?ŚsAn>Ϩ!;pZz"ߢ$xU/:SVl~|G!NʋK;dľ/$75 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'в.}6_OXG}7$vzGE:QfzH06k 䐍ĒeL ?C{zڟ=|d1,bGjyr*VݛRsc?5|R :"Qz̊|0r_*jBʄ1]2"CA;3(;;wr S"L|gM=!Z\-}L.ܿ[ٗj;ѩ+R~]qnKLBQ#MER(C^[-T{:ϟCnZ hOKŲ{3; vuoUUjHY" E/k}]ݓ3.>I8[ ^)_kXbᱟ 'IDm ÛǴنNL[<83Y]Łjrn߅1*?M;V+m 09u4-/jG: 0V2CR"Nʢ-5!CcuzQ{hV =xْ"fU+ 'Y[-tcb,FGM]Ֆuz>WuMGN!Q$=}eD }bܨ*;+}r'nmIaޘɐRm>Z2#Y/fj$!IRDSOQ {9C! B78%љ7^h\N!β`8-icdQ~,M='BS,TF&a_;!,))ᢢ+.E BLJ :mHMw33OݏU· k\WX>Hy{yǀ'0/7 "|K2>X@Jæ>Y.C &Xsp^EA+p|}B΁mu6Ms_3n: +|GݡҤYn81 + Ƽh0+%s3̄ҙL ^ՠ9's2'Sxg蜧tAr*$ZG`.G`7mO0yU}CX>"L"ؠtpF%42qLZݚ/pɷ{gLF훨e8R>)!H^YOaNk@ܨg<* .c~|Af&=\ 3jnIA) ze9W[nEP DY2NէBυsKr?g'C' 撂R ^O%6OCb.Է[%%"F#W3y*^C/`TWv5,+@8Tz\/jR|NyڪG@&TFhZ֐_ɹ f=$8vi~8NObƞ-2"NV ]78|Osfi\T[nR3Fgomr lVL%kwꪽ̠B#mV֘ 呙Gu` աv++pyu\&}Kx&ȁWr)pIc=V%IYhTǩ1m\n15^9ػt0fA|D_$>._Bs96o.L:݊a.2mO Mb'KF*Oi n|9H`mpXٟ@OТLp0!ށ3r4BZ1JuU/J ;cdߓn7k=MxYpbi#ֱٮd*ebUnOjʥ<̷iWF}Ŕ<<7p^(:Y-7O T#fh5%ʎニGHX&(IΡN }ߩds*Rrc"[Pm9ϣ#( NԬ#* ^T(y]Z=_$ZY:{:A ]g[|^Ÿ3w>T|/0H4vtlwv1(|Z!+i=\Ka@ p2|I>5e1d+L'W㔮5>髥ZT髞˥u~l3,_e12 6Vr ?klm;I#:+(I .@&N [[XONVzCd#:kpDb~Z%OMMӀ9,+[تKT* pw/|N 3M)B%Wµ:Y aiwӲ`;pI^uH0_ !8q ?;m{/]9›fq[zRr<k؎FAvҨESPC~xuJA!S$Q >sB|삤!m, ez-Bܪ+ &  PRr-$ON-\5y,sQ`8qIcR,I6AMrN"$*"@=@؃Wq!d[q +_l y;)!F uQ=o!B+X&cr˖FOÑ'o<x,wm]_2W/JĚOe@7Veh\֧Ssx|ް;;=MS&{}w\㏵p ƪvam9@4|r26ERq:v~Q-_2RyЇ~QtlAE뫬=lM L5hRs"f ۈj|!w14{j{{y70 [:H˭Ѩ8sJuW;6~s 5Kc"Ž%ֈiĬ@ n4Y<+4yAĊ:Cad_!uؒ1GqjI`vfW\9[g/wbF ~x&ˢ,bExj|aT*E lxNи| hKJH^ Ly4"k p)v"r;Mw|^|~:%gSŅ4Cd =be計ű pdVp_=0:>d楑tJU9\S EP m JL_-_,CGX5#zSr*u*8NuHC Djလw% tET ΐz+( ye /$k>{wLzzݰģRU{/kHwx9syR8^ä[f7D խSo(6d W'A*~'@;i ʟ1?۬vQQw\}ݴ`c8Cl%,-G科 N1y=ajmoq'b5gYZ7zXZִF! =1]ŗXiɟlAC?H 7XzW!ի.y% >fb{z]Mǀ1HB]GDZGlub݊LB"c MuWS$Sg7D4)D `|o7?NZ|=PEў;Ï\@suW#AKAk_8u(tWZآ=" v]{.J!|l 1! ,.lVye+@ͧ遊|)u̪}F5^6^aYiOa3SBFMwϙ-Z}zrn$E! LDlSE W+C8 1%ey}b[-D<hx 4wn PBYs! ɫp SAIZݸ?7PEÕr^kY8z[oL {bE0IM0H/o o.2ת|11`?eҗy 0~OJwa "po }8K n YnN4VY!/sXOboxzlJ->AM՛pF+tSꞣ@;xlezo8vC:jUܐNOD59.59AQXy0nrסs71K%䲯ǡ$'l ΤT-(3YmQQSB5WJӟ p^g 嶒tu?8_C"m拥݁7U > x=q![JV̐^l YT>?:E$EgYZ7zXZִF! 8+"]ŗXi%Eb⬝)zg42 F Ty;8.+;v6v)4?9 bmo^++tE m\̗Io G!viMTtf@VoV\&슝=YY"as,vOZ7gJJ*@eX .#s:.SR=z(~Ϲ",o..zLϓ_,~-lr 8 ?&yrJ Vr<(Z2]Km#~[l2R}gYP~k1`wN ~\WUd# ]gv+\(o+9 X *n C ~WׁCryBGd }BPd4z!r-z?UZeZf*.o +) R\rJm H;Fs/&X+1ՅN81&4La%a[ho|*"gP\2pnh=-yܞº8N\`^cFoEfl  IڶRx@YK.5_+n;{g RXPlͻ`Ֆ!wʲu&nk5]Xޭ;ԣA5!0' nyG|V8ѤHdڦL\%&$rt S!r(=>Ё jp<ol.@/a&_og6j7r)StM[Z^_#8NA 2wV?[<+' ϵFh :g ZjI$r\}kfv$j78Tu` CrCVEF/ֹJn ALR߇3z #C0| Y74P،\Aok2$j-CïUu9j3S\f aw]#DV3>wqߐoyXU5jRr (wjO s7sе=è\kDjD,6:AWi.Qªji=Ӳ i$-T(:2LEn*Y8yVS=.$:K!R5YEk,:)!4/v)S۫yPiޙ7JhBۺ= x-a|208W?{@0 Mݜ9[+bC% Rl;}-)Fm/EMUZ&P3ǖD)fzl3 3XUf YA>\5UlڇDs,ʊ l4 bMny[/Ma/vEE :zdw#8aS_OEifښYԺOWoWw:'O-\Q;5 N]7*ZHi5꒮KH J8L//={~g'Bx9VdG`8Vqaw7_ׄ[M*^ f7E=eUIQh/Z/e#v9߯ 0KE{w!(F`R+a;}>yl1'M}\yRǟ2P셣״ݏ7Dh1+o1NqmMq V2u|5)@t\!/EDcr&XQ/GnMכ~Ci|ß:Ax͉A$bv\170gffV,=dPU׬ &d^:>eHmPp`z:2MNgnϓ-pZFnk4jӆ%N3?C +rnN4453655ޚQ]W6+[z,&p < 4 ꪵP[:<*E5Dy9rM \J=kJ_cZWȂk/bF`"dYq 朴_F!ߜz k:@,c[QEky6iWUuWunB)7yT`eW%~X?h| ^5@W4q-=.w~2?[/qɲ ͧDArEw`@ [cɃ?!Dzy/-pk^¯*covLfNvĈ`Hq?Tu&y'rUXOjK!"# pȄ׃*n|)=Q ?WeXu/thG2iI€ kbQ6 қv01ڧTN\7|^",qend@ߛȥAS1q,,pՐFW({>8 ]ḁR :9 ߍ1AIl%yQm'7 jS*)9Ҕс?۸D_ˈ p\PBB(fZgM̍\nuq߿y>,ƧuBLk 2)tw5HX{,/&XabmRjT1y $Uz!$ E2C3W!(2 Y#|TKb5XOtT  ǀK];+S2Hr4J_ـ̠Sp=5je|YرzƠ lJrFP e  7 _56`ɴI$k-Ͳ0;;}9"MXyi@#Z8 Dߖ&PbpΦ'7+'M?-'xhR.\ZVCJ?S6[8n0: ٯ Y8$Kd PX.c>Jh/"/l2x>A2UҐC헁gz= zƅ# \Lv^JT{\R P4]4(/YhjSzkNMeYێ")>g΃v,VbTg<"K@i# t. iLW&!H`pex%ۊy?$^&BqorY64|Sn&[ĬY ?"sQA XMaa qDD^esUpūޖ9#kCͻɈMYKi6hnq1 ޴<:m]wjW eE)YMq{{2vCٱj r\L(gX%zpg-eQ.-XQ[He.wdOz 8|Su2Q/ I5%@ؔ^pqZua{ 3g0}'6yd0:#l$nkr+@c0]k&_v: pЉQň@135o-Z[,$v{m]el3kVuѼڊڝy3d$.Lה)N^=^*\UM6|9vr5Xx9fu7z4E}~x~IdưpT% [£ Xo Ҵ1طv{>{| 13"5h{w OIaMv2|um diܧdīc1GZ﨨gFϼM(.v+;Al wr,pq6ԓ&m"Ĺck6AJܸxEVɌdGG>,&2)=ቲG45(F j[Yk)Sm@ه HELea.,҈4"6 .b@l`a-d5b|V(@l jv0q:?t㡶cerdup0 o;T;и3t:({V"e vތEs.vm9`zX# +ճz 1wT0$& Z^W~;.@Qe++oM{wΪY?ů:b.\#C/C`o^C2Fioܰ? L~:52!cSj+JTP!&!_qW"~Sp-턓-<}g ًO2 )h'[`">&.o3+  ] ȶ,'=4 |AhDY:HV&B]v򎎡޻xaL+gN,zQq#Vj`:d \Ɣ9YSPLif禃t8=Bz$rN5^N :*"B7([RT ؙߝM5-^!2<0$"3:Yaϱ eXA!g %V C4 (/3@MEaELz!!uG7;gSK0i@ܐD!VYvLsk nR"+PlⴔId ,R&jJ0O:h?y="(kFbhY8e*-~e+cMDK!΂!&ֽ0ϵHhNԪ>an L {楜^'S[bwքV75{gD xV 'EId/KL\:XkHrC eukFR"fo^mAXiO̡2:dm ˺ygf3Mŏg@pީ%ڛO+5 { >z z=\ф"x|oRrxӾjMEuΦ#hx1щLjZY DbX~x$F!^f"SV].E]';GdY߼=,<ކTjle8Vpw+XvIE1IyDQ|gDKw"7 qWN:Is"5) 4|ºD+=yj|z'M$U~݃&@# Ųpdq$i\ yͺRCs(s|Wiֻy&׋l Y)vӶƁ.:{lyQRUcqTm>@R{\$yIVoAF^\M)=mÊeqAŬXC^)ՂK7yBTJe;*/wdH: L~LˇiI+Js1c+I,:㹶Wߨo6X7 XoKTD'vvԃXo7*9$gN䤓}i. ܼ%>uImEr#[ vpF)pT Wo*Vk۳; VjTI'49uFʵCޕnj;`鱔kFf&fO.- Ʃ1VK@).!K8'ZBF"X0䣤NՅ˪RKSPLS }EVB?ͮ?~ 7Yyܹ0eƣP*~] oDYɾX^Tiɣ#,q ~i _ՅH2{ֶaqśӽWqx 'ꔻGƠ]fNuR7؍tTUtnRӃ֛0 HF Ѯ ξzӓtCv◬|ih*j VYk\fk.Qc BEcQ*g=z#)gO IX|0q|z^D4"E@496D`B<2q̎RwzImU'^&V7^x<TpKTQb|xYMm5JR2NxP"d0KWPF>-$oQ'ė{< nni{*,O{(36IH6 k/_GDI:KE#۟^0=9:ySd},gqǦ1Έ%3&%M|'vZ`~BV>p]5$2!yw< @Y~XjjI?~42*L ym)?41۶\5QnZ`'ON_%6!x^XPbTFn#`} oЖ sTYcQE}K{7宓iߙO.'F#A͆  ң?Ɨ>vK/WvmIJ]nФhwpRt:zD5EI+]; p 5Jej ÖͲnhG)~˨ZRT.l}ByfqɈs} flS=]pODhۤjX" :tu;Y/N^+)2{У Ї鷋*sFxJX@E&e|89]>~(*fq9FtdT6Nmȫ:]VKvF@/ Ps_5NYrAc?Tl¡\Id$o] ZO_yR5ZpMqčD-RƱ7 ]0BXEfAuC$Ò;0،cf& sgfBj<ਂ"]7J19 f~m,=B=܀3vD&G?tk x@ g0;ZgA޳ʴyR"F}YxcQ4|&@@WeҺ^;d^I'>La'U%iҔ96m՜xW'zkH#Z-"MD ڱDX ne/_NT7A_kKaUgfGE!4qB1D'$ƺF #}OX |YBpƬ-֐!6J=8x+ R0ǬP<\ u @il:3BzyFI~xvu@)<>B}#&zID r9~j2-_.Q{OLF. q%ȏ&k^Ή>v"6AǼ{ϱܕE[BG[ Ё=ⶾ m +stO9Ci}6 0sA4 }TKPsMLr8|y\Wր-9TO(*f_Y0O?C0HfzY`龐%ݏE~l^W\k]d: W >[C4i:z ƒdS;d\dhPf4=Z@8!`!"SqXW3?j!*({<^l)N&jt#deOHDlD29obJ/Dg뗼Rޑuzi?Sfq,gcxN65L THHN7qQzĻؗ9R7!)kfz8嶯f;V3j*'}7͔o) wՐ^0zah8'?~ZAzρCX6z%K ހ`}fƹ; cv_-޳.H87h=o5% 05}H@;ŮN}:*0.1ŋe2aH?Pxx& Bh:| Ҟ>{ wE{#/[l{ _Ak6 MJDv^xiE]dAЄJ8W- 4yM}ߠk6;+t~R&PP'nmۗ Fj<)=q)kip`J[/Fk6j̣.*oԀ5jDmVLu]z-&2 w_$pBc#z!/AS+_#7jYmQC>Xe3EY