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\,4 ]% Collections_Examples:threads=4elapsed=146.900cpu=458.100gc=17.632factor=3.127zXZִF! 2']ŗXf[&sݞN:2Hp+Cʐ(]80fH%:ﶥNގݲn,} F1I7ys&4pɬq̻ǝz.0Be O6kn YFAbImE7WUkXW~< ~13*~3n$9+n(L%݆aH^"s—W֞XxP4z)A,㙿>**x3/,cY|{=;Mlc*t) 1LIp) ilT] ʾMѰa8cs,y/#T Բ%*9S"=_,1AKI$r*m(y\c%n"^_/@҇⛕{P&(l`P@',ƻ#ۄ)Y(}>T'^p]D8dïBOޢ}nҐJ50C%f1ouzWrzx=ߖU"ְxƋPCS*|e1u¢lkq'9@U"܈s]QxX;Rj2FgA`^a!_*ZHS1: V1$:66Gk (>D:GNti۰~^-0do~@)+z5LH *yGg>"18YKd" *dHMcA%`#P[OL!bfKb us>dHU=IxsAc}E{֍'pKe3-v8+wuU|f֑{j}NM#lygv<>asjt2\,3s68{(.Cv>nzd!dO \>3(CWQžg 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~]ƨ- mgYZUw(UQ n㺵CTn 6‹|uX>X`X>kO$gq}=T#3iOݎQ#zWr4O>Guuj{ӠYSΊ*fr |5G.["KaVCo's}` :JWթ*g:ºc5l|NE a~옲'qCF<vXb&2}WֺF\ #oy-p5Y*Oݩn[1pe߼6H? Е M `;@ݧ!h]EBfq_D k엮mn d:4pT=: B:EnGi\R:Xu*Z#^0- ^fM@+JjXIR 50gn߆pQU>DZʦH{䊂=ӪQCχx#Sp:'/Ö:a{vl3,4΀̭50bu;>[STOW ` 53CHp_dG1"zr7# RWem*k\d~0iWJpꉌvSAOu4 KMl.]kQ1ЀvI.Ξ8Z #[*`z?tN/S X~6L@uTR}ҿD쵲m{> էx|vG\iYx&\=|qnpBJ{/rM%Sv(sߘ)d(?(%a1?>>*Yj7S{o&a@?d5da'@s:'fKOs+W-6}ܢybyuJŽ[`8%:AP,% P5_b^AN 4$WTHl rDɉ&G5쟃ueFQH*^ !xX}[V96=KccUVdMtM.9S#X䜷*i!7ў 3 dz/G,YyDSSc&gI)D39_ Ɣ!qYhmԏk ˉ+J&&TmvF"wֈܴ@bQ LTw(S5=. 86C5C!$+R$M"=#VZzϮrZQh29= Ae21';I7 @ܵ|@Oo<)YM(]NJ3!jtɦ c ðaﶧWCUp(5b6א0XmS \Pr>V AKa1ѝE`lr~uq`'Yhh5[f?KF8jəSwrZ iF#Nx§aut Tq/gPO:- fQ.+H as-ңLOF^3nheͧWwsӀ@O?1:a -㠣&t/&3H%یB}>kRw:QuPZ>>ekZѓ8t磻,fzbK >NY'$8c3%!A`l,^>gVr)[~UrV#a @[.iZӇj.,s9g 0BzhB z&APOs3CD0Z$UK %bq dkBn`2~/TYQ>5a=|5QwLt#go%Ͽrm;? `קSn㧾||GM\T=HOfN0?VXt YĹ=Gyqp~nv1R0Ekծl(pg(8)._?G^t#Z~͍zMmQia4Fkݧ{uJkWbك[/x,VD2)FqT/*Ё.0j bJzQw1`ڢ9`p^56[ A3:ثO00yx]uٕftؾk vQ&Q#L?l0yɆK 8g/igr "g'9(qGەPxE{ǨI ^`J6A`*H@% p#ԁn& GWjv8"}<'.0Ҙ/ucT'%S }nPXM"W|8&c~رgYZ7zXZִF! >M]ŗXiɟlAC?H 7.?R|d@J*lҩpקJ&[i]!:ĉtx]i`)cHP_tv-Y9ueD'Է1!VmWoJ+ХkuHhDjn-|#z@B^U _MFտbm X54AHPT@B+\=AX*nRdT<=WZR_i%BK (o߭˸/5w*v3(W~60M[{,:Z~ .r:*,Iѵn椲&nGv.%D[kI 6-S>bdJ~^x5$E$N]I^+ߛ qi2{ԅ{9 x֏Mц g6΃F1޲QN0ӝa=U&.j2 I{I{TpY@Nj+>-[lqd /2rf6cxh{y("dT$΋zMP$FꢸB@03Cq4{٦*bvݶI$h͵pi4!MZRIrb+w9uX|OqZ_Ѡ p +*6ό$e;gYZ7zXZִF! DJ+S]ŗXi%GkҰR';O)NS>(_l{ߏIh " V@G{$:@眸]2a82c.-|.*uw21@R!޷47}=WLsdz"ǰmin$zGMRyG'$1IlmaX`*YA)>@;&8$7!W5ߡz7LtbHcoî`'hNY}Ya!ê¹(tA.5' trΝCnVPPӈnolO7U\"mWεGe 8MzwIA C2j7b vutHߗ}MD4:G_.mz@(%G#B/Ad٧ř?-_XB>*|dQe Sڱ0iB=n Nvu3[_vlo+NNŰ|Q&TF}6?F~#R)'iMő;Q y>~738 Nݲ ByG7a;Y?2 WZCch%w6 d(^*p<U ̹隦Sn.]xP<4.]#J'_CVĹn\0uج؜(ʿ~wIo9`~o2顳4˾+aGmv7Iu"L:B׫(FsT|zw>_'Iwsu!lCd@um»eB)V0yDwC(+vE2inKE^΋ؤ$S.'s_<%Pr᠖OG$u+1`P}{r Rehߏ,I(Xj}S>% uOTarERr\PyJVi2G\\r.tM}[yHO6ݮ\mܛM!RwB uؽ('! y2oGG_*NZ)y% aIZ_ML>MvEl f>t+ZGL W2;" =Eљ B/fXqkn` " , ^ u`/U]t.nJטn 6`K`9Qڔ4u#[.X?*@ѻ-/GKbfXF|]%]r(-AzzZVI 8 9-n"$?I|5qNEͮl {vyb'к҅"AvG%" |΢T|ws4 âsb L(м1$ {|,H8sci$x /_oL)[vmDfjaliiz7 Lo9,&EdtD00,L-aL2&v XXs[u]_o)+C_.p-CN Re6F@Û,-]6 UPQd/ZDN809 HG|T{wyW Œ&N@mK5ҐK`Nm(8>1PmG 2㍁/Ǧ+2r݀(tg#%c%/+ˑrF׳ "aRN5dSRSc: mxͣ`u*S[ʸlvKjJO-v0~?(PlUwڳifUR~~!f9aǴ|L*¡Շ9C%֋Q:~,&m }~2a]pf!-f? s,V5c"y%lasLܱ&4<h ZK*ЂBe38ZǏl^X[_[V\Efոz Y6#{$t 8?xOqk ,mܱ{2LJ,%}]{aP`FB\`̕&݁6,g0Q+Yܙo 7v: V̡'LHbű‹kJ'{&+)3̷ `չcS&{{zohq=@愯qү\…WӸz-wa+aȫV(77|D]4qhU#ԶXJxd' bLD%j@PDHza0mrRXznnY'EsQ5Cy%!$V38T/xkL`s$]*Hebc/1@kzvZ8&Okj>CoLKAT ؇Y C% byiBw5BC_?'XHK\4M@i)G$k U'3ju=:374g_&*Sp=>02ЌW&yJ/^ ȓ.f~:a82^դ?kxi|B-RDܪy*x./ 𺖵vG=Zf/z`B+ )#R._WfPe/Hkc 1DHP銑|YYβ퇻bNA9)1*LxfpH19@Pr|b^N(IMq#F|WUDH3'M^6 y:|1{UR׀_m$BP]5'=ŷ=-s.Qh>&{'>z1 DDsʷ5bjLYs،xΛS>Pŏ."HO^Tz6}ŋ5LIt?޳0]HT* s2ަ=J+a(i*2Uh$;MC_QMnqoN6s`k@y'y҉̬%T hNhuO'8wǜl}IMmC=0|[u^F?i1osW B-\C =Jq.j?nMhx̓p^&w7BqvbAl|A-w7z y8/|z~guPtd_aN<+xIX^l~9lg~>d"kQ8 dTw Z}ܮzJޞ8 98ƪ GY_HY] ?fySb@7QM7?Q| a ܰK30!,RY̦w95HmV{,6B'1edTGK/!6r4IY4ї@"ep^ӓ>Kz)Ђg~+`-_>>[R^fu+=̕ysD4UɺP~w*۟X74rRKzD԰~HF [xN~<\ 'CCn{Ob|):޹VS d H6-U2uf(Or4;'un~ryOEa&g\s\YʫYgt4HňFWk}~43,{fkx -grNIrXֹ3"לJ%:7=r2--|3xlDW`n@IC# M}+psW8CAh|LNV&ߤ?$3V?{H :+Mv}ʎ34]E)ἴFzC~#iӤQzSH wnǂq# L$z jjN OPZ HGt4ȼjr60!l]u&ɪ:w5zZ3N@%7)5B0q* ז,{O24HwT.S FDȓ7Z u j@bNeu(ɌjQ.҄8dI[`N!oe̕'Jz Y q:{X6S7^dіCR*]:F)4s:{F/yZt%%=$`,<#_jJ߉k0v\.|`4]@Mxըnk W:+%P~~Wd-s*px.v=k0ë??X0j&LӟNn-o߻/nYSJjV.bǏꞫOƨLA$MNla%[ϋD_K 3/vtOzrFI6&u#LaZٶ"A&TE;Ŏ~V:QK JR_ P"Me9 6,!\d!䟳KȖ3K7:[_֔e@.zrij{I"z#\(C("A( 9.ҝ8wF*4pԞ+.EE+$a!#at#RװV~sEV}EZn'|3q3܉n0m)N2R:+dCBk{4Nr'%%p/tVt S7RȑAh!|m$̀, m:㵈-2124K ʦ@ Qm%{Je)s]t oX<9?Mu<ݚhûh<0Jlq_L~3+b:D.Vd:D{$pTtn Tt zJ@iMvFQKأL ڛC(rإlmіz 0o݂֜͸x~Dz+/ ţXVg?0B^/komwIѨ+8PE.le}] $NQD;C)FJ;TD0j|M&G5[FE’JR6]5,Qa'DDCmBSSTq`]MTݟ{ *UWZyX ^إJ2_q XȢ A%YQ0 fReR?'k \lD;H炶nubiF>ŏ:zW8ф›AEu2b29xa+1xY[фhƷ fon5zV| L/V^󕆚 P\Y)% F)𩼝$mN֮f KU*1TLY!4*藇֛ͭ}}-z&= AN$^A$pk]Ųڝ9 ) l&\,L^ \0,Ztڝ*^/ئea'fBKhl\Dݾ6C l ޘwy&l2s/W[%#WmS-dNo p5KHqYWpDnmD1.y+)퇉=ֆj9b ?swxܵpk: %=3 "?9^u8 |D|@Ar>`zR+"~V.p"*sa 1>B tL{!J9)`eNu8X9)6HgI"4BgIɐX\"";jqIw;kvt땬OZz't&X+̀3 ZYnK굌m0ꋏ'.ms&~ZiXJ\dQrnHh20$70jӌ|{5D03M0?1{l_W_t:I{%|M ZP/jc&/RoP >B d3]yPL:pGf<᫒2Mx(gXMF=%e诶Hh$Y)Z"):Jo !2ߜG{2~%[Zú ƸQvB4r>wG5I4'?N]ʟ$nIfΫ?'5 TE@Z9MVsliɩ?TD⺕-Ƴwqu(m_Xy[` TG LX8dd~!SG+2g  wsAYx7"rg A&]m$ wm '}헕]o(Khϗkd`1xbj*6 ri'apJY1 y(-}g/NktHB܅2C(IcpS )I+/n(nt}2^b4PIz<%>Am>%;˶ SΐxxqJ 7q@5QkA0Lc^,5-'> ‰N$/p{+%LZ>^ck):x]-|7T0~Fy SUo!x`0N7d>q|@Gt5*@-󗝟D`HpLV a.S|\4?c 0(+}2U8rVZ_\eaQok83J$3Fȥ%;IhAgC.4/L ࿄t 촮APY|a)86l vny̤֎dX+VĹѴd~V-mHTr2i #(sBV5ia@CG{rc`Xm Oy2)7'=(USu_rm5{ wR\ie`4Ur !AЖ<9h9d~ da~YR,3w!}¬u WL &5 Je[HP0:*bPq)$͂%PIfn rsttM/uw/r[6/8 aBl]1EY [\)6mrhW09U^êaMzWorHQ@F@r^YIQng݌z͹9*A?)NktዢꐉYFtk]c Rs[勫 /s+zVc݂ȱ06lsVD̿H2m܌rT`X#КjӅ?W)Y?y#l5uCʇ,LNJ' Ao?9@B۩{.!?0kuTAa (sd,=WjIrpjׁmx٦$ip'_DJ 3J,RdXDu%02\U\M!u[CO[k>Mh煌ϖՍGXb%YA"=ς %rfa:flEH)eTP\(GmhcU󁦠O &OWB}Fy*]Դ%c =?e"y6ItA=s\GIoWt%YA$63uhhtm[X\ܝRo~ @'sC&-d-. -a !@x0R )F\Be۞* KG;t@tp $nq |pdQ ᪹%_t'ڧ;<*@![Jv/6~hzL{il#?t+S`DXP,Npb'UG_VPa5+T9ED枃CK.yy+#"dKmqN{ x9F9H'~(Ʀeo fƹw,)h%Z Ә!#6w9yO^IYo ZjS>S~nWaE+ Kc6aHAr6ŔZǮnpWj|(]=bĒ fKMO|s-7 }A2?!D <Bž0FFЎʱ"(a"\aWAT,Z㺮vMGiij&dɎ 餿Ć)R ]ܩnb/ t1 ;;i_{>GଊܴHEy|$fIRX "|grG6FnWfM2{L2yl"_Cgc7AjCW0XSzp]6>m,U?Y #3թ_uVy>?p,! 'QqilSTS㖌a_oPԤY,Tk+~K(=4ړ~%|Kcn,P J+.H D6ë#+Bܷ€*R~{ NC,2)=Cy zMm0Vˈ hgYZacd26b70f525146e8c56694bd6d715d93c7ef7244b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 e650868a8fec8e0f04be9c5397bdd9d9f03125ed 27471260a385ade7428ca088e4bb6e156c7ace1a 4ab85b266e4e9756142129cf2f6637814181d291