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  i5$$t ]% Collections_Examples:threads=4elapsed=145.206cpu=456.412gc=16.948factor=3.147zXZִF! N]ŗXf[&sݞNasEXTwRlĹbLmlb o=8h2Znw_pC-.|cQ:6_ Wlu-=r/h!~idi pv:q&kǓ2!924_G#:y~nż?VV#͘3#̣B*ɜ+K1v7-mZMתK,5u{6ף*ٹI6sHohЍ$=9|?"Ѯ/-Vd=&=\'sLb CW24 ? aOwktc 2 ';wޅ`jM8rq Pm!ImPɯ/8Lyk2Tsjw9z>flA-rDRu4Qs'|1UoP]Fdc{ ┘M>-%!/y2}ۭ'}yvș϶ƽ:bՓkZϜk[c_zvZs`W H(OȏQ*RF0{*in{SIj[i ˄/;baom nŻL1YbS'oXgEZ 'UivRhTrdlVf3/idc.V}]pWZ7g`6<_+qEƮ6b45~JuAs(7d3)(B?g8E\#ˇ+s\2Ay̛@/_*ujEh}߅GǾgm'Ds^ `~ıB\FI0YԾWPejYJnTUur@ߐDca#<$u7(wx\) +dr7#~rp5j?Js@+Mj\mxpVl $љn.MFԚDiM`:л 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~]ƨ- mgYZFf Oˎ3}^/;'r]0Cc }6_=С)DQWZLڹr`zi?Agqhݎ k"NQ0BRA>DlOm:=f&JM@?<*zԞOZjd`Nl #;@Lz&MӸv *B*ؓݿv)_Y,%.h]Tqa` !RRU y6nP.l}{f-*zvA7Lά0pUz8F kRB#9g{>.z|W*lwXbX BH!8 &]1ʇ&՝-+֚\{D".Q#&hzR 3j/^3rQ~g%'0[|T70B@v 3\T NdV;0 _>q@)B[jKŽOhA)?oApJ^T։j>eߟ$S|\T#2j:-_7SAe.,+h)A#ЛO)n+P>GL․݌fm\/ZEpH Sĺ֋a?3, –7qdhxdh5Jɪ ‛4CT$MHa_M8}ˠxL[@"M~}7onEw'm tJXs#4dE%W֪{m+4Im襫5XKz\6z+DeyX8 ?tq<XpCtr%:BY9LufT2 c)zp4͛.z="2AtCI4M'Q~f=k#m׋F<مeE0g6P ŵp2f ڊːUE(+JS8ٺdv"(^82=^Ѡp' q/ħ8fnSB*$3h9+Rl1{'Fru5-J! kQ5 T?5)OrRJ~A/ǜJ.3_Ż NњTQ9*e_aM5ٳ/8ݛӋqQ}T,y_'FmMlZ?, [š ?hvIYw{/p$݆Ԉ +U*u|"M|22C5ѶDF-#Z 0 H]g5PwKuKN]KS(vy<[|Zӛ%L_bЇpdY (L8kv4h2އM.t>KWX pw J=aTρ_BoMs9HF`r⍟ O$d xF׾,Z=lqS6バɘu)9=d˨cHMQ攊5sl Q RHrWJD2yi&OgN1VW?J a ut._h8Z;p`5nZ(!&%y%@EmA׋WAl"$=QSF#;^ R]yƿ=M mbe(!is6#M_m2?Vk5ap5i ܼ_Ϛ@w< ?t0g`\%,ìV?7@]af]`ؖ"62v3ѝ!(o7AqEcEڄ ߿gMV%k]H {H@p]b`6vE#K8xw5K#j$Yш͝aY %˄'ng˙AdABX"='<*UZuhnA& 8sQ%8/[r1J2}}]S[ɥУ0`i۞ !0']l`V"lt+|Rd`v\ z ګ(zĺl0LtopWQ%1#zXcY㟨$fɲF8![9Qy'n^ЁCK_e()\i 5% CP͆08q2ȑK z)0q(& Hy 9k gyBY7UI8R^Axmg󝱹lyw4Kq\8 M:1Ejhvgy9WL0>7rwNǰ(b8џxZP]vi_ Ўlل\!9>CFKTimSkryCoaȭ^}^q͆.# ?*a˰q~hO1Y=q)N3>nw`%pq΋W/~)peS(t{]GcB~к_~RUΣS ({'1t_1O`>(siCTmWbka YbQȎK:TX*}8=h0qSa/^^r~ ɧViriC&1wʉ@M!w H? wqrتxI3]CWyM/[ڄH? my.OL I A3OJsQp%^cͯZp |/|-"0u~N4{պAĘ{L`yN˜/q3*_ٽr8P;ئlNcŝwv077=ni,4psDdK0^p)2[~wo-X.tڸ910H SWr#7&ypoC.&aֈ:O};R45~jp[9`(d *fʂNx`/C ڑ-\f2fPRlR|e77ZRRғsivl 셜[._@XdGkmk٨?.OrFZiz`7K.lJЂswdLRl 'όIgYZ7zXZִF! =L]ŗXiɟlAC?H 7XzW!ի.y% >fb{z]Mǀ1f@ iRQ5;T DSC8+3c[}<xm$iYL>3h#ДC)G]Gt"Bg*(De +M]8 Gbr!} =:v:LT=߽<9#R֢4n&`Bz}U^S| Ed@F@cY~fB3#tENRTwp@Utse}tX 嬿߷oo\s9pq{w%pg^jkxH1e8qԠ '{FY i@ϴ OMwOQ (=OYy"X~U7+ήYihXN馈v}ܝ@(g;6xG= S'*xÜ< T9&ם (P<]4Vu+%)r:v"Yz`>\N./%t2oSiM3ea;f ˫m9]&r+pk@[zfbt.06Yde0 G#w=:>+b!b& <>fkZ-ܿ7AЮpVݩ#=珙>Vaz&yb0<6Vl_u/9 ڀ4́.|ڤp/Ʌ7BL6_^vvq}3U1"顲GEf8NҶYx{$f˱gYZ7zXZִF! ;*]ŗXi%Ggqlx4ߦ8lNDE4]qeJ+/E͎WT1n^($l| 7xj|ūb=GuՌM~sT0`>Am]>kZ5;;Mw43ޯxhC-<^CO+yMp$ 6|5aFL!guռvKm ? [lij5geXN-L'IslS}~:0ots޺>-9(5 T(9UXti||_sݣ@KE:O|{jqDh&33F!3rǝ|/3Vhg~JOi |6GO9|wi!M뼀z? *dXʈ3z gOyzR=О(jS!ïJL(1}M xo0\)gL(X<*׌Bp5%_PJoQNm͔F"!I 3pdXٚZX}R;۵špZ%-gFGkg|]8DG5ށfq.ti|E AxAGHԡ/*@=Q H>xPhQb*AL wH!8!$>c[fa44"?En q Jz#6ͦi?ծN;b gDQ:c1u[b^6aB%c˸)ob<-rJeSJql图#\uF&*/sˮT~Ű?pgT,%ng}6P54|x$=Q$gᄐYcıu /\V5.wY*EgH"G{~E k݊WhĐ!uR >œ!U;g7)SSS#t|d\ 1I)zȜm<&_A٩H٠ZMo-}s$8Oˋ=ԇ,KI7_tryd&Aq \%saӋjE/*{@Aϩk5roPzxQE&ygb#{DU3 ɤg6t ώ 8T} SѿǸC&~m~DxHgj5BP>0"bz)lv΀o׍{Ö>(#4;K1b߇y@ /tΨ~_^>-:37x4W[ ʭj-Vv,qf!FS@Qg+.' \IL7=pz25% âʻ,o){yV9}Ҵu; `OmwQ7J8Jɭl8e x+ɺbczLj/E!d9 Q{NN vaU1k+W쌠,uEM 1G2\ĈY ^å'غ˩B{T}՗F`\F}iJ-UO^aπsM,:a +,]ȗv}K-X*i>Íܫ\1nQK%j+ac,kT/c|$U3Pk=3@BK zҳSH~047[-`4r`w'г[aJ]6qQ+x_ ȣﱳFu;oTm}FFטGz9qoM~AyY2j#W:w^Ʒ>&>v0N]r!֜qs]f>*.b}u1 6aT2"7mf.}PIb5?;*Rٱ#&?.⢹ ȃ'4);#Kђ+5`h/7 0#ǨT"0R@KOdw.?W1&w[*Q_}8 P=̳d1Q0H@K!'>VLqk&3'S{bkn-+nfcH̎KԵkyT4$F hzŎ^= òJM32OJ 鵇hQ-=!ˎqQZcX(nLR#^W~6iͽQ]1SXŞ @[iJ&+7Q̜LergQɷ/I k0T瘔 zJ_LN /_<`ωN*&O|f(9nD<_TԽ Y2E\m.?z֦`N^w B3S28o"m5!pK1XUG;X2A#qbεOb>0c^%LQBQVf[8"#ӞͿ}{ 9aN(ik^hY.ӵ䲎 .Zy9>͒AoRa:ê \;:;d$ ދIF `-g;R<`+3=51)Nm"J|WPdb1=,N-rtJ·'赕gq\guNĈ\ n,Vx(3Y:`}Fp捱À;mBzhye?'[FC=A  /;Z. 10] 5Rkf56f#B 쫜4r1ew#2̙4/`}M{wb7m1FSd|O{C gwh P Yƛ(yV{#78w[2,ܟqk? OBmdjMY6X*8Xr4Pw5oux)C4䜧1 ba .kH@~R;T0u>BM $,j 8^;B7##7NLU9: O֛%}. /)I pAd' <aWU%>)oi?oFF;:զlk":?r+lD%"BaowH>٥d^Fb]E]9^2@}~X'Ů.1<ډʠY2xO919B”~Q>eZy#gzrl|#fǼ~"Tw,LR ZKP֚7ATCu3AԮfμK{b|M*n%n,[NZm_xS|T04Rrqlخoc;W]r2mr~R^ZBF]2# 6 Q.%Gv(>K1<\L[֜{o!2ܨ|ĮNGao6^Ao%*e:<.YY>10gC܉[gU c$9Hh|w3n}rUs<͍c(9y܃BCJQ+:٘n6])-?ua,TiIjxve>|ֆS'KAtR,טgpДW+!sW]3fM'gAB\95 7^/hWI+ vOSMеkV]vj]!UŰJX-tI-_G7qEzw{޹c'v%D9p ]4fJ?X\6EN "*=+?$.bI +NP<+ރ݉OwӺ|`[)&IBU'b:u%!b:'FrC#.G%gp{+($ky 0cbaЫ|l-Sӗ=t(goK3J7//I!rap,&w uϲZHSϡ$]KD*8,k?I9I_T(ӧ^~GʡL7U恣]\k!(1\b݀? mgi&|ýjmK 1;N]RVf,CS_oFk;ңmrd<}}&W_nU>IA*DE ʠ#Iq6Xj!.VX&I ^NB;{/&dށl`w[ `XF=kԷkKf*鋫? jGt(]U:KTLxlщSZ}(kپ_m[qQ]vIaa6U,C(L'2 dtܻ$9#Q;/y]M%$J6_IMZ_z!މS̱5~hsi}ԴA͙% d Ca9ëK#Sj9CeƊZ*bB0}*1Ր ^'qI~0R8ݓCc]_W!_@S#Khj՛xE%a{w OX%(on {ʎ!#*.' @y”zj(٢>!WIH]iUL-Jfxp{_VtPI0$ >=c3iS~`A\H&(8Fd=4wBߒE.r-ic'^ˢnyI48~ʤkU'}ĥv`e]zxɭozF5)V^oƠ xQUH܄j`A;=RD1=M I%4/mIі`noe0='od %9w?TV& Ѩ4x!!cZHm2%N բ^/`95-ɖXosF#+w%k+HMZjFVi{9lM={=D- /TXdwc3ġ8[!ax࿠}|X.SSeHEl@څ'XxU["ȳYy $wNAR~rNdž^T\~Ps=-– ;=pƴ~zRgҟB5pY}ca_3F}899f1d<"RfWs-٩e\tD^Qb̀s^Ņ_ا%*(#hz} Q›&q) t|UZ6+al@Кs,n,Tr+(MWĔ~ Gٰjms9p1zg%Q4 m$`Ak^b:Xإ ŽXZ5|OQx39,Ԫ%vzl0}rx62ɄNțR:c8kA3D,~A` sBas]2BMp7gC]7}0@!g ergZ vԡ^^(,]9T*[ː_O_DZσ G~t@r <4eR7 (X奧½"x,rm ZK g. ZYRpew ϑ0!z@J}uI"YRG(mr7 $Vsw)S?w+?3;D{;^Eΐ6M.gh\^bϔ y^*Ͽ"$ړV6 UZ~4=72M]$_x;MJʭ LQ'|vsBFUOxDR8ys6SY'vX eR JZ("u 4jwK i ;^Μ.1JlzF4.81py=4gXr",*-'=cEےK0.DdJAM:˔lN\;"m{g_Wa<~ɾV'5ׂOOlcV%60fOS:q,.U/AJt|;Aw8TޱE%:٘P 2% R݅ާ)o =Τ.XN).I Yyt535M`WΨϺvƥ2@9^\ޠD}–`<ƥtN= )i16~?p|%|22+s5v fI5Y[w&Zp`NI:`1#&bIߦ.E\$3erhi tKc,Q:@u06 qвvK:‘AꡡHlH?3ӥ6GYiƞ۔C6DYJCEV W[LḼK/cyL̥5Qi9Uk tUNWG_*;qGZk\$ThV~1Dț1X!UQ\g*Y N̋Yp AbwXz3yň omvSHNk]ͼhvY7ϖ݌R^sNm#PZ7e16JQO4)^H ĕGw1w^`f]'-1mnc>*W]ď@5u xVT4&ѡyr=ːjB[17;N]blD(!ud"ٓr 0=C2ݷ/b%p=Wi`g9\rQ2vHʻo.GCH6ӵΛZUrZ`Tq'S̀xS3|6L Q./\o3-,g/edevc\yqC8*ZњQRyT3GW¨[ҘX[FՃsRقw0z19r7aR X=ǍxNߌumh#DJ0K{ ƒ)Dqޯ6W0)DdOBυK2/v0e1o;^jgtj L4b(2za,U3G=FeHIs^Z5N' (-:8+pǥS1O9Ʃ#41R!%ncf=_s~+{,n[dVt`q :Q/>^4u͞3+%<2ybf{0l=P94yNڢ3{X}}alhxTقȢ[DlKIFݨ+BQuO4 #[%wzWkz}*3.74P`6M1c&&oX˔K5@{F nx8~ZtAh&Nxem# >z9#ck87>LG@2]4< RwJņ4ȋburw?%{ `h^k" ,\׃5<7QC]aW&̏>ҍpؚmѫ`>}Ei^ߛaF?IM+^A;{BSzIl^>^PK,U WwJpi?(1x&"r f E/>@]T㏏X#aщ Iz,W)AUB\c=t`g'J7p R5ryBQ b Sm_V w{gYZ1200cb9e0562fef08f2f212665499019b17659371795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b b15095bc975f1db30190f9987ecdc07992115d11 2573ec8a11e13efc9effdb7faf84c87b54d36a0e e75e4b6f2f0354fddd10bf7070028f51b150c3a2