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  e5t 4 ]% Collections_Examples:threads=4elapsed=142.384cpu=447.024gc=16.716factor=3.147zXZִF! Ĉs]ŗXf[&sݞNasEXTwRlĹbLmlb o=8h2Znw_ajC@_?P2d)(.z*F䊕/ FK淉"2Fb3/hvV\ ^0g9-~Q+!HaCQK1hK 5"5&/j^@ 0#z/+VP`MM!E^Q^a޺);g1(ʎAH7TݽJA£ 6>G[ 2kĢuGuvכq(6L^뉴(؀"Zf'[ cB_^qkY5#6! \8ϧ$O<֟Y:K[Hf#!y!JIVp_I{/#b)B~JWKc;~Bʓ|z|“>ˀ'N9ॲ@k F8LnSGi+ŊI,huVuMB@#öoUfɍ@{SnGMB@B zrCl5ՂNDHItbkJÞ^(0awعbɢ)U? M{+n|XTf%fzj"si@2/o%p6OBU@[_`*z Mwi@l X i`^@D WM~PAYqU ]!/EIWCo}} <ƀ76-jJ"q=2Bݽ~C4; rA.xqk$`"(L7(5݁TfԇGu9u6޾FhD#pa*A׼*?|5!VXMbƱj.Ҋ` 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_+Qr8aP.sl]Ȩa#D-;fEO(DXŔq?J<2aCv^0~2yk'3lnMo1?7(-_WRXd(rcBktB m+V0Y>OF`Dܑtъ;LUw)qr{#j kWZ\W.u­Ө~9FXʈىG?y%yx*M.T^77HTO$o~2yb$@+lL2uuHc{jy_3 IJ*›yղqOr%%BsUЮuPK49axxw5{l$_l䈯mEĆY yU^?n:LF;/KnЈܰҰG11ԾhA<7'`3Ϥ&:fZTMs5ȇ$e;$y[N|;.L:pTu1Ix l*mG֫oZ9d^ۍ3n-^Ӷzۿ~A+@ę133^T-^u1Ed[N NҸћ&n/rRtLkfo ,fnmd`/ %bC,+` u{7JAi!ml\~:{zhsR\TSjQ })n }iiXٕ-eѭrȁ(5ПhZMQ-О䳌̓ԑho zBkEVNȡ\R yP63V~_PL b#WB@N/hLk a\;Ŵ::ɳw@vN8~1Fh V6FhЅɲamjPP$X3;üTaMj4 UnVpDAT`'?B*/>b 3|A}ҳҮsu hj >r8f Fyh??W%KiY $jC9=GRsqXqf#,'?j}*yn5mfnwM/Ei&:7DQq";JF.,I;*){[Q.YNweD]d&皆ͤJٝR׉19z\k\|5;6FX\w]`ZY5%/D<ԪbjB ekƜ&d@>Mb>hR%3mzVos[fz !}iP6X'6|)y'|@[nA&MH#njɥ61vuimKߛ##3i9"ūA71OvJخG ~@fW U#R 38g?Uk &m9ߗS-su %%dq~^{P$jeKs5,JӮ c(U4YiP=[IP]xUfضX $ }/2t030~sP@\U4?)շGOG(~b1j;?c kϩo}uiۥfƂ1ȓ"+3UcjHe)t5u>>Rߎ}o{$Bpac7S$ڪv"GS@SyZz](|I>+XyZl53S1ԯQoh6$mɡ>j-1|觯muIg)&z;e=A/,"'@ic`v3TzZABk-QD*)؈=zXЂ./89"; t@zBvkp 3#c>8zC҇<Fu ^C?#B< \"L&/$vudUkB]EY;Ch+JK6\ح2Mq^U_]%jsPO~▀6JVzs[BTVj@LJY3<"lxNpԼKqQ%ӤיÌRbo,Q7Ϗm_U-)\|q;0_LהQ*5LY4FP%xj3 /l(*߬jh뗏|%?FփYY<ˁV+=O`Ll83rOVD>Wn5bu;`b.shoqtpᚑ7m8AL); ~m͝y3e`0o$kGIX|]\v/X&Aˋ8_Yd{F m`oPGno[h'&/ 2ט=\ IYރ!;ڢP dnk>{px E\sa|Ssf뿔DTZp&!IC+wպ-\a'rW^XcE'KcRnQ(mDi82xLONB"{>Mla%DT!mM G‚v fARÿ_( N_(BS;Iz'D.2D[V['@z鈴%P7$6_bof6|hY9 n|NfTWNBpe{RA (Z}-?VA̶T{k h_'[\[\wFRކbaF`LcW3I6"UDú_36"  9QJᙃpD7ߜHZ60&T¿hoV"_ 7@higa}gUu0 zVõM^ЬΤ>oTz9M~nጬF , mU#0RJd[LpoMq߱N%{?,ԇ>OP{ЩG;;cMd!^EU, 7{1V8$?x~mX* SpJy{Uʾg݇e:1Fս,~k.{bwk^ )l_յ<[@hnԈ \M?V9hü{hcK%Ry0ah$HgYZ7zXZִF! *K*]ŗXi%G<|\]=2Bi2PJXkϥNAmXpQJ,f{9?hs}, 6 _#1K5ՇWHB9u "p*Xr |]S7 K+?wpoޠYCOt72(|#(YZZdXӭp2Xd oӆQv~6ؑ2L.)6Q߫Fp=J7FǼKF> Id:<*[󸳲 "OU؁x)mab2`{X0&aɮwb |] h=w3qRpmBFJLf`bC]틦7E U3C`AjNPa.#1RJDMCMybfɒ9@:,kыOn@s%`({YP[+BS}\=?7| E`nDgʅv84a բ/=4R1R;6#[A6'/ %C8$Q)ݼdX2Yݟ`1/&bem#;YE;l;X-|V'/vm&bv\b @S*APf0^%~Xo{o ,"P'"3hbÊZ2:AI MX):X0j-|*} R|,h-ي +8 W,yݥ4N{~)!(;j*nSD[^AA Ue.IȁN³NZI>3nj LbGyb)\2`NӗA,ǽ"SI/,|&b$(嵱~ C0R Ӟ>(4Du*Es8BdT^._OG3 eJcWFs"b Oc)u"Z(5_+TFC {G2!/wiNG+Xކ)uu -y:hL!`,I۴ՃByTg5v4M!?9;KB!qkg8NlGJ+<߮-_hv>Ř Gz[&{q [;dFJ^ vHG3=WH2}yxe ^d,8!mD(D$-^^po֪>[<*zIN*g .;9Ly@%_IgbXx.Q!0i)a IJ^uZY|N'H?WbWYBTm" ;þ2+#1 ¬G̐.ltxwC1NdcIrco0[5tNY=<5\ゟyh W.AndRÀߣEG1-z/"JT , - vP^WlF72zn3WU&$ҁ쏗 4ߟAF~A^kl5\ΒG ]a&ʉRl{>Π5AH2zQ7m60 =&+^-(Mg{bȸt/_Mݎ/S!kg%lncF_bˊ֔}n `;YCWqZ0_F%`3g~,TGP3 fL3"$օ~7C01$ qb4z`Ag %ood'Mmrl M`T&~GH/"z 10lc|Y QE wAk3?#6Xw^Ӽ!^$ɞu%- 3v?gGEL)yJ!nCvJ)N_K "K9$KW[j?+3jR)Q(fA%". |fQ-[gNIw၅n7_& Ai )ds, OHvEF)`; =~鈺ǫ>"ϲ,EpnvcaxbǰE\ĔѤvjgx^Kg(Rhy@8a3Ð0ߤ5sfMVCe·Ǵ]t)}bZ:EkG-ofe.ъ.,K &&_ fOÙ֝dɒF]fN[+n@*xFZ qy¨W \>) 1tZn탰eb50Gop7;|u!3>g>*P8U,W_-\T{(_?՛l(浾3GӇ*b t(d0*ì tΦ6_x;eNJ]@{\WY{++zq|`&y) õ|i6q=,,G%,ٶ៣z&An^-E:4yG[r~q+X4$-s퍬ࣅ|LDɮ5{OT0BdTg(羸$ҴhnSZ :*7& zqc}LW;Ӯ!LML4:̞432zJ,!ƒF>kn>R֨}[E7V?bQS5廻E1uh^d]b ]$s׵)\j*{ufE5:qagٟxfj*éaTA ѣ&n_kU:G\n眻Gtfn5͍vb]F @ TLEn1P.H)@~Or^5IܳFt=g%t7摆|詍 Gz@_\ޠH6nR7kZ,Z}(-6iw*2l˔#X*)[[ubP1NV dcKϰޱt\&_TێXtQ\>i%3+Gh> gH(k*P{K-SWz|{,W/(`xqRpQ| VK$kCC=!?цm*;¡OXI3q-̓]N4;gJ)*"q"hʍ?/ ?(ҜV*MԬM~GJ$zF;4dţ~a-`jZ_qà~Y*IBQzRҊ8oʿk m^;DP  Pe7ft {۸QF%ZW h#d/0Chap{ep CGYO+s>y,eGCOZ`QˍA~?טּ*7{P"h3Z\3( Xw KIMHKj2_Ј(ß:*8=ۙobT)J2զI K+b ZYh+ }kឝWq'{d39:N)eIehr%u3OaBW]s7yn8Clq4ᦢ,rhkb{bZR@ץ-שz]q&JG8 r={YֺyJ;Iܔ˹i/ɴ8IֱLM^<1r~mKP̳Ez.S(vS_@c.Qo7`#ʆD۴ա[U^B0 AiCq+0<n$TP{x-EN TZ<>aikHoilay,ܵ;t}?5HsGB"nN7mvPgsQ3b1%9܄TeY;@TZOGa 34Q?Uu%͍A jvz|̕ i !bz_rI^a30)Sb\ t 2[ z?05Ǧ&-Rh|%@!KP^Kp ~H9Oث7M$L冧_PKπQgxE gtkuoM|kW"Q>E,9c!v S psuḟJgPDϪZȱ߿(C&* /KZW8)={L)O@dU|G0svJK`MP狮<8͢[Bfx?~(6!+Ē).*}c;oKB8?NhgPy <./2f`$NS,5YB4دdQ Wh_#[0W ztxV;B X) ų?Tc=wbVRJhus6yZC)VFcS%DV5ݻcgFcUʾG3w{Q*A$)P#'0f0^!lKʶG('*X.)%%a6.&eve4I@ UmM-mY}M ҳeȆK9{Np ;}ª HD&{6ғYl,55s.8&;k?jd) XueϰjKSS]/gN C+jd0G@x_LAu\MMmOs%C‹iOiY>_`a/NU`dk3&h(,8Sgvg# %ofXR 2x e* Ө?Eq$!Q8=G9:a@`V* kT&LM:uT "})8`4Wm aTQ|, do+լQ[Y'y嚛xI=_[ca`wj[(Ŭۜȯʿ0F j= |F|XjY>v5wcSxvʅp3z~NTd=qSpa/% ' "o |HABiĞDDP0!H>"X!:|lQ{$Un#GkB"4 uW7Puu e[#^Zl|[Ї35Gi5TԀ|RS"QQ%Qw}`|Q+yS C/Iŀ,x;wP adیn0*' [M~M(UVY:=[x~/8|ϖX*1/+?vHƝ{ɨ@ڀVlҺDEiGrmb)S.AUnle:jRDy{`X&IScL=m*J<E$[ƹ]dl;Wӕ;[`!?K;VQ\ڜ)㍘/\VVͣe(|xJYv?#nx_ugev'L I-xMY'ΔF\!ɚeՇrA#̚3@J{IZgl=L6l,.>p"!H>^8X!C/Qy:{"0'~R3yY6Z^g7mq9'+\pUKf~.=&yw7ac or0@'dgA LlCŻKj6ex"VF?+ qB1f`'jm<6$ KP!a0aFRӏH(O1SiY|r'Rf _6Hpm_;`$%jx"dV3a0n~jQ8tr=8Z 5ѳPwFZ'ݴnIe\:r8JzBO.uK6@,Ip{{NIZG`FC10JRNqG9)[.=aI 1'mXH.N.yvh Vл@"I7j5p#Jw!+FT2_;c g_4ia-7;VN*XBo=· R"O JrTRa.Tx#1Twt74%ֵu@yeoN<4%S8GјºT͗O% Cof'㷠IF%c*Orv)C)4HC9reT>1c \䯏:rZQMOr㚎2t# q6C R1x-]l3}䫭AUT1""xqQ1̓=ptVhuq3`9PSUڻY˼dzVU6̜&O (㹨]9I_[I6] jcSF샠ބg`ւa܃#$kpsi(w %F!C`b!ʃGَk`Jg4zܘ2h}e@7Q7`J?Q-#*;sRpjLȌpJ-#j>O*\ѝe5^<ih[޵K|g`fG]2} z"^6f*k=UҦ}+ S'C[O7ҔBi!Jŀor]dC.^[i+ luISײ"@ZEj7~G&mȬY !8 !0G7i4ӛV+GG,5:l`D8%ъ;+'U-3XjL(vq~dۧ?!: YQ?L.iSz )`J|oHe0|.{ %ĒAB־@ңϟ)y̺CT{MCgU'}wr} 4U?#HVX,8=j2+#?۠>oAX]W~ؼUR*skNQ6ITVn1qa?k TuS͸ *?Ѕ%+8M[&YЧW-99'\_dʽ LM3|U} BA/^*JR%tUr*ix˥1bEA[4(=U1F&xfc=vy߫ XJ7,BXU{֚Υc8jy(>f9dAPn,<^srpt tm ĵj}:cl}7]zߊ0:+-r"bB"foO2T* $3MB{1Zi/x&Yls_-kDawnz\-74< }PFSPU}f׍ gXX(ԙґDi041lNMe?{۝+pl@t`P4*q\M\6FM, DOKviAvܬZíŌԫťQ) J/NHfljAx~ıa1K% b!V#]s ;o'H$a^Ր7nޑ:c"pJ#7YTZx <eM{D?"i;ert &m!b[)ܪc~>oTNOg!n薂ή'5 <{/∳|?c}'(UΚ>(Am.iVx)#/d,7r ̓8dRj'Q;Zj_N &b|3rG,>pe^W¬?a z&Sk)I v2fhp=H{LZ*z32(cu[:u.!~e )a_,]Cc+[M~~xxǶs/~XBwj}/(N06NʿU BgYZb36d413245593ec8d828490fa244d9e2e5d7730a4e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 3daa4f03cc1acfb874ab1dc215ff2d66792d9d43 3debd72ec52a15e1b02c7bd68edebaf73d60d1a2 3023a7253b639583dfa98b237b3d2b7bd8eeb275