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  W W5$|l ]% Collections_Examples:threads=4elapsed=133.433cpu=425.044gc=16.064factor=3.197zXZִF! *L]ŗXf[&sݞN:2Hp+Cʐ(]80fH%:ﶥNގݲn,}4|`m|:Dʺ2])nr PJ Qj LK%I!niՎ:uMu('T(4\Zpx q$!ΙxّKA3*%M7/Q¶FY.;w^Г2)4́RU~}dk= 6{1G+1Q'OcPFrޚǧb¢J%o#w+ޯw̷-kn.WJ&- u c2t4 [g|< xrHP՞Ni;/kvZ`M}ڕfjx;&ϋ4p)=/ uLr% 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~]ƨ- mgYZ2)j2Gxj Da&x6\"=@ !8tuH efl%uCٲ =;a 1N> 2ZXEO 43N WI0d3^ D Pm)'+{vT9 T)'jeBx$t!4 ~>Qi͒8;Ş@EsnY `),qX.iqXw7Pm1"LɝbnD", /&qɧ;uYsx(?87*ԁaqSv2/[::vg A|f^S=>p6AU2GbA,;VQZH^Gי-phB. #yĂ ԐdH3lVcP^_>jOb%ۂ8ykeskz{.jC#~N MhXkErWYP׾5#k{']),"ʂ[>0ZynL(|EKPf>q,,2\Mm_ⷨKk y_/D3!֡+9;~$hRN֙wLS+w9$t:6Wz y?8W;/cq1d]L6+R; a2~O%3M!D1yg>4 K ՌyNqOGq&I;\Zї$@ %f9__L,:wPviI\]}`>e+і)N%Q~5Fq"삆Әی'q`)~BCVXB}NI"`"IN&Nߝd&f.† 'Vz'C=aR ;[Y4 "_lq*KuRuڻ.f\\CHiNsXu m| {-ؘ܄sl9hϻM2u+*6޲m)CtN1$ >043arԦ睞*|S;8r%dWw`sF:x]qco ?K`+ ag{Jα(!]5 {Sglp)o\@,qj`E( s!ɼv`l?kp*C %%1|vZ쯾אKM ~"%$q A: fDOGrM\IWZ3rȾ 5)RN8meWlA[Ojvbi+,I :[  7 [Y|Mdksdn^6rf3 rlū?jxEk6z yI˨>?Աd;a9V |dtF5SċݥK+sX0TrO7>ݽۉ9LPKe; k<Wk֤54i3i[L!/vm+Ĩ=d4y0 y!9+U߮~[I\RJ QBa,9}#W)R]zp%;[ c%4+]&s .NiJ7 u շ إO3C:i|Hu$t~\$  ja^copD;Gp:Zjs&[F|s5vQd&]C10KT`槟߹W0}l C!_tȩ0I8X|͐sw#궹cf~}3ZKPMB:F"{!hy-k{w\f 0W]/-M|#!ЛVd{hglqȷf> stU1aZKڵYc5ESMe?Br4o.d}q'm34MQU3$%nv\Kgsn4Kᗝpx8U(sfgdŵNm`Ңwwvټ@ K= MJB@`VwbsG/M"sQ rYMqÚϣÓשxcj]*sW2)nϛ#GzG&nQbQN)if68M19.V#rN L_N!֫c}t% qBŹhUk'k5RA*o"(c*b QX G.-vubS |zln*dɖ0zk> f4r/%+d5K&F7WW x3>F &P +p_b ʬa*Q;LWJmE;"xMl ]<8/W.al&Ef:)2y6PeDОT`hD^)5@ӟT ڑ`iQU€O:~8,A1JGԼ;2S$<ӂeQ4&8N-~qů}k> H'ݵ/}T)p}/_N G>M Pΰ r9 7鋁X:t.KZÙgdG {v PTC[0_龺.^.ь3 ~[q>t;} w/P^u^>`] iMf0ņ]nɟhnIu]&aq:bUg7T?åeԪ E3hj泐rls`K} Zzx I2+yl/t$hP"9= }za1!,fQ|0ΐ"P<&;7{>y)<>T^ڜ$ϊKxꉳ+^;zmFe%Q<^'2i~Ԡ?%*+@9[{+9ur n gO4<%-5޵>&&&*gYZ7zXZִF! <6]ŗXiɟlAC?H 7[ zwWG&k55ڱNu׈Uk:[n9ef<KuڷxV`/B\s%S3iKѤnإ }K7Q|Kf&* Kn67gڙᒻO2KV蜑G}='PH7g${7f8B\RR6)/IYOާM @ "tWLXI LjT:@6,GVa^MOG"68PR'U/Q/4YszUe9TkrnE*[0oi.U^pg9ժgUojdXMm[xrV =M|4˴%}܇C;H}OXe#Bf=Ev,saX'e&Iq8 NfAt|( #* 5e% Fz]/齣[jpdTn|K3>e-"qkStM^D/5dz ((,9$6BE:`$oȰ1{,74,`fQJDԗ Ff>+juފ%m:6WK8>mY ?{FL빍0 *K"XX2xZf/ Jt凩0*yfUu{Muk"b~5[`MDZHiȭgg2kEs Ow:&05Q+[QnuܑoGn4IzJb5QG%42l6+Iz۬^)9]Nz?6G T?ퟖC~:[S|j~d(`z8yľ`Nk,@MjdpkweyW~;KD@UUl~q6ʮ.k.o~L s(v.iṅ 8˷\AJ<~58<@kN$CZ|gYZ7zXZִF! f(]ŗXi%G̉Qkj'<J"$a@Ȗ$/q .0`+B6r\O) JT)@"QajbKvlz@kWX~H*i0pw%3H0 8[ײ'("U*EW罥yKÃh6D8H_;$K#qsAS7.a !ٓ1-э靀J" 2Ndqjn?؋>Rj7H}܍ȣ#خ$ʷv_m1yr7!9$XO܆j)3 *xw{OpOs- JW#*{=6Ѧv0n洳:ǢTKdxqҎ>fo 1,Z˞*q4q|IT0DW腺-8eoYM~RkCA49d@gI&()wGfWj՚n~|n\4G@ wzڜOϞh[ oosy@o[sz+PkѮ\dwB!GOY}tDRk /H;_2yܘKtQaVRHhpFo+X(;6'pVt'L j i6 FQ~gVvg&8a)9G8%#oyC#l致ՎB '^p At"_olY.Y 9yКރ[.~(.݋ZxǙV0Q{h֣AޭXkB/2eM_"Ųc}RFz()qvjB]BNsDU{q?g9fs>(#솔hTYb&,~=Pq.-ឦo|ϭt?nka.N_wK\㬟w&$2Aɀ5YBִ ~Ӕ ^ŒҸ闾o/Uv%i⧧s8v6Ў2 H9> _:9ԋ'^i{x$B\د/H&5D0"- :[Fk!L-7L'As`|C\R"d~gS=fB8$k!%_Y7C9!#.M6l{yN?$C#=teKm/$nz)4I#E䀹7&&%MiTR7Hpn֕!Sb1Y(H1T|u#|B`̡*9e2ϗ_%hؙҔ>OPW;?RuYq?i5w}#VnG#2"m(zB_ףhcGX-& b ΕO-:2ⰾ"TQ?ZZkwywZǰ#"-WIO!gk?o <Պ嬲IQb VxgŀaEz P5Fϴ5=<<6Aeocc^@k~#Cɓ2_gCXp7tʡJO,pqu/( #&zDJw)8v)o:I. ;q)+AQ=bKʟ%+ciޖ_Epq/D>甸_VRn}S)=-0˕Xeh[:="tך>QaB49J\cJ߷M\fB2TmjC'&~ E&:^h/0X5Bq9vHhI3Ѫz# *B@# .jo;'J }JTo I0Q?/ I+=vjd~.+ۨќ*Al|"og4Bց࿢p@&^TL hjr3Hv_BnRY!v'`a64$WEѬ`1=v 2&P)*|in:XoRSbktႊצP2\ez90dnCЪfsY./XG) օW[Enpi%kT̯hv0)l#:QQ tpDf]T-!^ja, }Efل fcȀ `&Nt\Ai9]5XM0z,)xv?YWNb1du{K;T<?#0_(s?JSyK 6|Y"%sEWf]g^`Uq Q. M@ ; 5ﭾc;]ENPU4y1)2 `2PvyޓO*O-p=]+)emƃiq5R(*wgp uHrY*YF:oM{ N_e ltnv}5',[d-/[yh;g2RB^md{ W'ͮ tru]bl$?NB:wD23|r%zʚIw~?];9vRSԓ3I+4\-&uk. |f8Nw~uWJ)^$qҘtNWP6}Bg`5OLyJNLaB1~J .(yu=3I[ߦDpPByy9}Qsð8w[ߘ޳]$d.i6#E̽vg(ؓ8/d%zF*#Gh]xy+c)VJ*TZC`  xi_"Zͼ}%~oaʌ'ʺ 51TTrL=P?>Cv>xqMYJ2>Bh 9P˳kȝel ^_Р^Hsxr9_S'] f^c$۷}Q+`Gg}yQCجy`/Dj'~ +>UFt\@~2@!fy".v0\3Qg/lmλJO0d[Vϡ& P{NrQ9T:S:GUK7^|Z=5AI}ߪ/Id >ZIyl{6ynԇi/Zj} ŴN/ȇDZ.Jyy¤dUkb?Ch">J]#iڃڂd~r"K? TKB:SZ`"v# W!E)~8~ss@q/;EB)=>HF,4{a4 ,s$4Z_TCL)RQ&< Ln(%rq=W*f`aV^P &ECiFEojkRq^x9Uv8+a b!D,}h,Zo1Atv '>9V8s$@A pǦ.NG}kRDs`em|T@ ?` ѧ Q (:1]O}d-0" ɷg4zERx.ZFs⍤'|)hAUmf0KDH:2.@0eVͺ}1g^_PFh5cc dGzrrHet f<s 7Ztֶ$Q~f1%˹.1;B:88#6@BEt3ZVDKSxhj[p$@YֲAt"EFa/A쌮(9^Ae&k^-)?;ut_MKDgA=3XwtnƵ1j:Mq.d^U-[.Rf~fX*ȵByZBp؆ xJR U*A;+-́ACuʯ3?fZ9}\Cp`;1=嗘w 9,9(PP.;J*`~VD%1?$ bGo=f9Wi hW{F>]fԝI$oA)7÷,[Tqr)f' uzkpePLulNb6N#\|-"SQdHݡ ]EQUPzV Sz~BL?].3jUa>ak SC37T? _yO1ŶJɕr6HH^=4u 1cC|/.3h7B'-J0ΆѦ+SiG {+[fbQ6㢽Hp"3,ǭDRtObƋDhp }U ^v$`A0݅7ymf#4$-{+?Oq^L}__gCtO$'$6ö0/<늤pn4C!͠De.Na1r,9dMCSŲUb=4"s~h |>:f消a\v8ؒg3['@4Imi ^(4[gH]ڥXF2 xk|/1-= ?b&~yn&~}^Ԃ+Y4x;QOL!}-n.>3An~x!TH<ճegut9d0Fm!B'I#eEQ|`| Z{Nv<'Ã8UZJ]F>HUuxDÆzQ愆A@uBx1.W4-dD^&le;pWNnG6.v>D ]ݹ+|uy5Bs +6~iռVd`i>c ڊ{>EN%8*:jS.] ƦDgZ#43?؝il5j# ;:d*P'DD׾:רP(腝񭝨O@ij,BRs&b.c4!wuˣ;~<A׍[Q*<,dxR}Iـ`G3p"nūm<aasH=`Sw=P+=ȶﳔ LHT폿?}C|dtuTQ ڻ( ^>TDOBt>ѝ7( -%>n0*擼:!t=j2\|x& A{vD4a*:5ifBCU f *Z:fSr[3Y3mnY8NMR[3BY[{ @Ǚ/tV'rJŒlmӫLKJQ yxz`l6~{v|&3g#@vzؔ'+6?,!F&O$UqZeRtESڣz4h= i=/\3^sªTLQbr4D;@*FS]MԠw9\Z)" ҧrn=Uga l=Q'`D|yf{_Q4lx%-0Lnx?xa $ף,Ť`IB$%%?!$S4q k*JAd%޿R<<:N@z_& סJH>H, $!_1} 0^B}NAQaaˑ2T^>O8īԴ=Ïp_1t;_!VYO5xTlyNiheW6).w#dS&h%\3Z=qVF>em6iIV w.=ɸ묡gpzwr̋No)>zmS;OMEշ]i>хҮjhHX ptc7fi)@JtOr;ldDWs)A$LK*^J}aS!ӛ\G%1s q_$TsA˽65gBU_O9xSGQ-Jrn^U սE,`,4L ɱ8½Q87OB5O%bK.er? y 0P42d.WUӿ#à|`;iUKƁ1pu3ԙK-p ӽµk}Xd~/z.{J3Lf3P;iOECIrɝ }Z>n=A(4ͬ[߃>q=_:ԕ&Y;W?bb?)ě]B$BYR%ԥCmfd#w`^NJ UgK Ν+_2el!cŸb5{11TRlgLAAQ7/r \*L3f3,2 Ɗ#k(ci.h1*6]sWŻuSQKNxqR!c R {*L@ m*@IHC@Co<-d8aDR]:CO9 z%Rwmq3?/K+}(}5 rԸY\֮3\"f- ;$]da7L`lK-bY^P)al؄[uGܵVqȰz5ޣXs H"φzi0cmqi7M{hزlFiP21^7kIݠa]mZKUQvd@\@tω~{>n&DjN ,sSVb 5ΡCn+ƔV;^?_iEz2龜ΛK˕Q x\C[Hxi/ t8[@$[1K6Lt(=JMMAHkdNiAw]Sѧq\Z4(6VO9 8/xNpV^96rGQWn#~kF?L&Zra[CGE:Môf_?#[]`x'!UjNX6rAa,xnN ϥBkƃ! IK+.K[;("M7導8 f7iT;CTמXՄ1;YU1_ PJXeMˊo7C7nR <$gYZ8a3637e48666406ba3a931f21d3897080d11640e78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 388404ca9f9d9a44acefae5395149c5a7edcde3c 4774b27fc112db14dc00cdcbabe06f2ea3ebcd2c 749960aee6aa2f60467f1ed97969bc17fb49410d