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  C C%5\T ]% Collections_Examples:threads=4elapsed=144.203cpu=446.824gc=17.772factor=3.107zXZִF! %]ŗXf[&sݞN:2Hp+Cʐ(]80fH%:ﶥNގݲn,}p“V X"n3b;yTdN׺S1,/믺IF399"pߢ, $%-nt:H*Zw,*eUQ Ds]`*Z[޽2zSG62]sV,4Ljf±", D- ~Fo mrR mI(җ!|<0RBuAQ>*:N)Fɶ"7I纸mBAr_c 0A%߼!QAvJ b#8&ˋJߟkMi PvIwOax/5Z6(? }m$×"4Q9&e<{qԔ3ԙbx38%}l…9>5@4Lk[ 멍r3;!o_tzR`eFr"Tă_ vH><}NF9e|B,*zrvIJ9 _`enU „3׳Lo-C!e[*qrշ9مOwMA'ѿ]L):zZiw380y0_/&d*}d'r.JU/*GW*캁.oi.W-,qև?`% 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~]ƨ- mgYZGGK/wdV }ȿS&%mcoRpT_N=yFƝG@8:{$xAٖ*)Y`a(֦5 gعҴ*1=W98MA-{zQ<'P˅x*7+3RH )OxE} ?4}@ n/>tfgdU%UٻOe/1n1){Pif V)V%E9=ߘj .@h\=Tgo?Uϖ|i.Q8/w9E[1 .˷a]}H:H%_! x,JrX9 }sJ![+:7m(ǸN x3 B3wGwnl1U~j72DkrShFy>n@}nŘ]DsS- QDi%473 Q1!(º8PjV)u;Dw.l(Ɖ:E'5J8 FGaf7fq}kfmSsLrosԁ%j%Ea?ƙz>%kΔR"fk}2g njF3 ο#Tjm&mKHeVu{O&/2'Eeſd&W/5-W94mhJJ#nDӄNVq7AH=sz9љyo1TsBԾFHnNg?{n cFBFe3I &&;9w>19|RZx9r_x! Av~RSh"wաS<4ao)8N]OǪTSͩ )~{v;8AZK$^"8Poc O۲.\9r ?4I(u \U Wnuzl8Q6(q+j6zUyۂX7~Gt@1c-45[RDey_:v;ĸz,!_q C' ׬; $W`l4@hW؀qOF3 > uz=$-Gyx`- U6Ѹο,f ԸF^RiVl=0x =r06KH\kl,O&<Ҍ8گuj)Bl;xv/NkT/+rkߠY SbM93\}YߤVRidԇ&W#SfՍgj:U&Q޽w4VED|.\ D1bɉo;:^YDj |jRm.W PӦ2?,iaYl:"9Y+$3d#ukkQ'u;aZt:. ŧy.[U*3a@{ v*!oe\/'YP'qWt;R4HG3ECW _H(A7>`h+ʳỚ/oMPA8ź;Ojwn퀉@(9,6jTURXdQ47-3'+] S-/@Lx3[9xF#ln"pN}õs A ~=-ǹOCV%wVڊՂ|Ą 0YX^an K LILh܎lC^Oի ESJ_q ֝JLI!R8|[=İ3{3 h҈QD\a`D"܋qRCDCGX ZYl%mkxhZ KE=C'*e1 /9ҟ RZ`ZmjjgpW0"yqw |Fl*&]_o(zM p8;8BX! 'fR+GzC'>Pn]YT/`Y<-H}`#We|)$ײAc+|o<ȗ{uMV:=Wmmrans^-hkMpǮ`vG}ue'd&i׍GI[s2nEf_"Cl`0礵jㅴ@.@kQJM܈vlӗm0x+7$ G~E_T_ cQ`&i% `oQiypᛎ 9[޻U$‡4cwm+ۊHhQl.2+qb /`}racݙ_cV֡4 A (뉃[Cc׎ K5j'JY?GZNW,2 un?\q<iM,F `:C-@;]b}w(js,87ٙn;_HL<@Lj@8y dS-yLq1g x7$Iw~*ю32Ik xbۖP!΋Mw{IƄQ{N."b*51@#lbPuC]LrgA\!il-X~羐<)+ÖEq9X僛-^EhM!/&jtogä2FbB953ϓ"M쇡`ƦxR&L+_طE_ Ă,t -ϻ xx1\AJTL gWͼ=p>\4j3vsjlU t TUgzY|ۀQ"q~C ߩdVvl(a%~ w*SKznaD%P4qWV/q*0@kǵxAg 1%<}Q7B^+5K}MOڷNj^NHa=tKJ[)f1ҡӄΎ|=e&(BBbzA=yLx@["ŝɳ2RׇQ׀୦cYT̲^k?K?(o zcO*gJIrʝ@,oZ?p >f\jYwږg@mE#$[l *N!1̓fU~FyjR̖ptA=k&"vY,b&Y/Hd$|8`VC1<"ň"CLME9P S<}L%㩑Pc?יk3_Bž A1޶ $:,rP.sϠeŷA6JC.y&<[kC+ѻ86Xq~3EQE9Zwd&h}gYZ7zXZִF! @;]ŗXiɟlAC?H 7.?R|d@J*lҩe-%LaԔ<4v5$yҙxr 5"u ܩ9-.n#,;̡Gg 9߲ wQԊwIS7< at(Rd8ߠ،Y6{IYJ|8y/JBނ8xzQ^sWч0V*|\)=ɽs"їZiY.Ɏ*ύuEsPQs"/኿1-aXѼ*7)։wLN@WM}QNׅb)bAblMBQ?\Eb N,;J'tUЅS8jIy&(PKd낯fgL},4XıԸç4_ۙ)Rs_Ҡru}`[8aH|,OTwҬzP"KlK=(ooXG,Cq+8@ S4A?g]+hƗԫ6H PɋAF)ԳNYO%`7t:ܣEy":}N~9I%|#l2DW)L 3ya9rVQ|6V7OȞN )%+hlxqkC=zsAzڵ@2<=yo]EFdo&'/d;y”[ş1|Zo ]BFR!1.5}'8 *U٣2^ǰ/&HVvˡc\XJ.H8*)(~^-OF>ޛ(GB_l_Έ)Xp7_lס稍;ة9/%G= =}FJ~"8Tg_ᯰs!i/~̴YFZI|?iJ4w}K)IWrw‰7&^1n2}εڜ˳z.?iPr>Ϯ>70ЙG`ҭFhO5011TWovv5M$ԫ gYZ7zXZִF! /+$]ŗXi%L Q! -?\\i oXY1(nur*f0J6gk|K6&4l"Ot}Y=f %Iړ}2<F\܄>(S,T1-_Im_e*C%&NfP-.> ~tVh2To =N<"=0|0!o"0 nW" c 3C ubw2;K-#~tL!dΕ@"#)?[&j.տDLޝTf"kn<:d&IN|Omc4xÚb݀J͏TEbt D$V:^srjs:!ɑ_T<ȞXT%S4"Yy'Tz*\*i"TyTAI& <31Zq,G*nb@D?⫲s@0N]^{]'yr)mΩ%h!\{S e%Iu-1]⩞#iWA"޵zoa~XxhZq4NseXs-UZW0 e 4k~6vF1Ƿ7پ3By҅< SV~Ј%2,0$)(u֝n**wHvk\A֔/frgCj,%ͤdbiܢw9]cT֛ |K"ɦ+ `^7#T %8m'  ?d9$`AX=cӨ2iB -^W]h39C@:vCUѬr0 ԑ\㬠l}L8t#HJ9dzeˀ45ǹHq]ZOV*-TB#{J-Vpe]9-8}o%ja1[=|HmlތZ R FC-+ڊI{g/ 7egTnbFA;}_{оLJ6v 0ab%jk7;;5L #pbZA>5Z̶%K>F㴙Jl5A5|Όwಊx=%af.95|a)kjIf JvQ`9(_\_Iɜ@jUtN4dxЮ2ԫ68QWV#E寉9#y/ܮN=/7 ;yW͹q6݇%JLS^ܶ`]=※nBE/^"D?㽩)`j>5<[ *)aO|P>ش'|ˁB~&6L>x7FSaΫtgk.߀*ve`eD[@DsZrG,G#x];bcKuί;lvRuV*S 7dɰGM]SZ-g%, AC|'t0~?ϰd2Z #gaqr45:x9޳Pr'%Lz'ΏR|!N+/SHT(dRQ ƾDPg ;ʲ̽ }ymC9PyF6luLMԢnCDgK[xjqUbZ S9.Tr-gt{k!(]V)(". QaA[70["v|5_C-4SF|},ʈUJj8!H\-{a%P/ JUҌ׏ "e>B7n_Hэ=h0Ցє+á]_\!]-\P=j"NEt]0$1,J+~k [4sN%t676|D6CR*bO~ٖ55>'ʠZOnY+s~tTG e3q,Bt}V(ȦULaI"v$7{Dg'Hqq&ӗ"װuMUL'~hS ? B:= \GmzT&q4(tft UHruQl(/ kXv"C:i-WKAG7-~8^k; ʪ(~eo(1eպhXpj5JςSnq"&ݥƌ" 8;NB͕LR5?1cXA+w)p.Ĺm[} pgcfs6X>wHtBG2k(0Ud RWAQ`h"+cfa\yj[(I.0_ġs<?'ްFnI@ jl]Β$UfF?? t 5j|b$\ w13ezgs:a#/ T^_~i,o)>uH,{w v gt7dhUxc9(w&K6vωs_ 郞ȎݵOoxS̔9fCx_dM.ܞ {3Eӑ`nGH#"p'9K!1 :)Y8 to{//~sPX$'m$X$3$nfHG9_Ǚ6a 6(S=m$ =F.*ݼGI~֓GhXww+'9&_;." YUT#+*Rݫ" Ia<-GLѐ|όuhYr4ى"\[2-E4ÚwX#dGA-$, wq'g[Ծϊ*,2CyʦZֽH2d5 kZrsQA4QB(IA]c$[YxzڨΦYeծe2 8vul׊,6hq;#疫FvD0l!-ŭwc2J[y:!|_} Y}E~G[R"?7(ڢU)ö́ӫi~Nx.&sH0C8BXVĮmy á#*Al `c}]̨g0i8_M_>[ZQ^15,Cyѭ^Dx.ͱر9x~6eRR3.X̔YnZW^R`4i6_ࠗڎ}~4s4{u+o "Ub~a+x _;\h36D@(=7r8t1#0N <~zMt%va%kG{rVL>FvTR*gVvpX(l-e~"ԔUD/17waCt3>IL{²7zW;?$koÇI+ԿBD''s!LռP.ʅJvby*$hT}vDXs]еi{,F3X׋J 8cBM[ɽWBNWrf?[\X#AZ p %:Y8!pJ6(*Ԣ[*&D%@v^rMBu2]^j,$OR(ݨƛRe/jR@ \B ؛ơD{֐6.g{x~xu^&n6یМsmj1EI]$7""\p Ύ{PfeF@Xh2  g@'p5-A-?B}!tt)B?\O%yQc)HCIYٿۍx'+8LU"vXѷ)R-a$\n\$9q}6^n w>;DC$m'HE>E0ߘZ-%SlA1os`66)Z"prex+OAXRY!RVh.$(e$bvE4$|K+ ~Os] [Bs~/;D{uL( >h IxAʒEl_2痿 ?H@39BiofIg:2=6=^X~o-r^3~ 3\sf8|A}v&$(f N17]*-ec{|jk1i@WPƳPi.e:+`^݈I粎2'S>M% 5! 8ޙ˙;g|Ƒn%_Mkپ0UNo5M~9mڲfV>$N;Snt|Fh%ÇSprD]bt{f(VD& ,gQg]\eRMk1.GT~i~U4H|e)Kǚ Z/k7qt ȏi$rw%q6ͣqْoIV(l|pJ3Wf1'FF.0҆ ށ8%K~QuUȼ'o5*g_+\iLW)gMW`T&4WXu׶ь:OlHf7/=h",zZE岙"}nW\;kx$,9JȺE*`|2=e&^-if4+߶Ssxu'dPe,\3٪U0}e|"cc4 fc;7i׹\>aȳK89 3 g΁qaZ8_N7\ [mn}Ds٧^9fRJfۦA0<ѡFaCb#>51)3hd.Z5v/O /a*N;{ JY8%% ѦA=eA@@. we-iKr>SUs8-}Ԣ`[ ?ֹ-]]t$r?J,D3S&R!}L&=-'VRBXClղqҙ-F zfX9q`5޸G͈Us龆L- \ e#dH <ѸAЊ C~+m GTǟ+HTQ=-]gihʔ88a7psyj+41b}jcSXؾws1ܴZG8FF'* 0,C4~@dXcF 3UY[.`_aJi lܮ l J]#k&F:S"bXi1oLo2˔OkWa@Ӹy_fϯ`@L=>=Gӵ[]kKR Iz:MDw=(Y5U⠰9 |"+%uK4N(9E|ѷY`hv*mokE(ceB`#ϵ !HJP++FT4 cwhߢxZ?-1aԋOЮPNY.na/j\n͌ rND&̶éՌsʩcO0e_&L%HQ$lv@l7GCD@|};gxTɫ Ӽ& t O &r(vkvfUnkJu[:&QyW ?K{ZVja߳\WYoǔC> ym|۹t0!=SXa[o  mJYv!Az_)`0FWR!# Ri13/stPܿڅy`m'a)?NϒnyID1r*7^+xɆST,6A.Wu(7*}϶'|<pIۄ!I=N %!XiEDȠ Ϝ!y ϓ$I#njX[vbCT+#jq%*jth̷2([Qp 3W,jM mNv^0:TXR̥bd:f׶'rV8u""L"cy6tlƞ?j\֎vi[+b v[sԦ$aϪn|T6;D-BZ:yoiv6yhɅz3jf&9hZFǛIW5V30J NIg= P'ڊמAjE8)Lx͑LtDd1&b}c a sl^]pbqg#cOg^}oc{Uf#Oso&`]7@Dk=NWh՛~>u; ʲ:AF8.yg'e-H0Iƞ' u>ƿS.{qQcmFC o!A'fo{eC=Hao1\t{)Ft:[ڏd\,)u{JTέ\cρ_?g 1ËU-?M4hR1TNnMU瞚Ws5 쐔\Ql^].GAW/n|$i},1y*C!PٟoY+1kG V q42fkMeG|H`Z`K SDB:y #0 ӥe{Ѕf67zG O|7+:G]po/zz@uP[b>7O$n*(*ZŌO: Lo>y;a:z{-Ͱ{Y6IH9VNq+/WaE v]XwFuߢRN)ÇEldd] 7d6x"T҆I]/`riu0z _#tGN`sQͦg"9ǎЙ.4mCY{[ߺυVVAl#2S+4;o#cFm7+&n%s]Z9R S 鱎\(7;)BYTR#UHKވF<0n8 ?eŎpsE4rMFZEڞc&`#g42iU֯qAE"b:C:mĦjzd2 ^Q6Z*L~y~Du6T=jzKE[t$BRGn }n1iu9e?: |Su# ǩ IJcrHۣ,QA`(Nos9HkM E`w4qT8o:p -]w{h%%}BUM(5y6XWx'2a㞓7 _rcIJx ކ5e ZAFqYړ~oo|9Brbk@Z"sym/^ 7<ΨԣkUOdCF4Y `Sg9μk'V .ygYZ11a1ecaed7036742a1f4f83f685e4e04c89e248fd3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 44b1b4c389fe399429766fcbfebcddd5c6bb6f71 a3ef839f7cdc89fde65cd6ebab99085708e3b702 8f6ffae4e5784e187d6b8340e1d08bbd9896184f