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   U5,d ]% Collections_Examples:threads=4elapsed=140.452cpu=435.744gc=15.380factor=3.107zXZִF! |;]ŗXf[&sݞN:2Hp+Cʐ(]80fH%:ﶥNގݲn,}?w xjGQTgc(0y0fhQᝫ/80D]^%R/__2,ޗjEGIX8viZV1n;ʘ+V 'nY; * rpB%lfe]cΨ ܶŘde{Td<;ך8ਲ=@鶢bA@MݺpL!8<a 'q`:jyz>UX:ɯۮ6@;pi[57܄Zxq3,SvY5 SN1)(aah;:5ZmrC_XA`8a-1nty\"P/B+?Ii- 2 }OaSSD9!Zy'tfEAݮ]>>(<,KZ!ܕ!あg-]G4W<%/ )F 6ˇ8N[.SEܹi_ 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~]ƨ- mgYZB{,nXTb O r<.ޤcwHJR+Mv:bv$cTw9[{RTa;ܡ4.'o.ا}h$/aq4@ו` ؑ (d;{;Crd pR$8f N16΂. 8_T* 6LkI!p1s.|JI?;-qv.)]$"6 iЃjG٣V$}pqcQ=BwW.ZR:O6I sGr̿lo=ϼED{ySM(Rb/j .#Uh4,G'#JVq:ZFf1ֿޓZTk!!Z7s'т%)O]ս^9CG>:W҂%_;eũ,0xN]˃H۫)1՚jb?sG͖Yxci%g5^zy=$~lU 7LtPXfD?l;EkL ^tx_c7fCA~l;b\GS&!-bC/C K^9Hf J55 k'"^f*} n9ER yL$L:Q#jO-7'kEvGh?ͣXsmqN^YtTܺnvnl4(Ʃrr]?YJ,8 ) |~M~IoƲÂĬUU566Pĵ ;_2牁iot<5..^h6vAޱR'dYљm@ܚܸALHT"3ĈoVx`1Fꃆ\90s|MxTWQBxvt,9,QiYCb}@,KkrC$+-Ue̾!RF|6'& X],XDSxn‡i1G-SYs7wCjfYPv(F! Y}M7[QTC`@eb9ﴎ18.إ<lTmfG,\v1KYXyWMLuE56a6/ I및k1N}noXs ω$3&9. <_gLN¤gQe9)/&p;6i0Xfvh-Wr KGʤ!DV&mK,>qt3)w7gk-*o;|]:av=(2;!nA GϭJM6M1뿫DAVHZO~7/.hģt`벇c`EzAjr2oA/ngs})j{;tWQzH)x]QT)R3y1̪]VVfuh_:E_4+ ̇tCl[ cVDlaD>:j@ӷ wRdz YtB11hG>FAUʁl-6v$\ICWV@?Hx!,ὀ ڨgDY:i)r y4Gz-XcY؀3M8i%% Q g$"*J{n!.97,]z]L&o)anHEC@xrwʫ@0`rpȵb%m'e9fBkjI #DY89ƨMsNlNNBslU59u<>&>uf={H_(WPXXզSD+ߦ;Χ9_) ^rpgH9'@Ad?̓~מf|+w`V ˌQ16ѫ{,Im]*<)rY|_3@,[:S.+]! E|]xvQM%a%5OZPcy%R(~y 񀰃dY]ݏNAy rYV`~BXvs b}L2se%YywLCNi 7uhC3V| shAR|'a%K@IQe. LQܳ6hϊ5;Gd\hNU^#5C蟆 ,BfQO),<@:/}Fg2Rlb|~mtp=Q.t v8!)ZxY Ԋ# `BO?(`7a |1GA%Ciڱ;9*40gsL^`&/twC8Dx1hgg$,23J>YkW^;pp;T$7=2FeT0<%\)^mD{͓h \!"AԻFYI 9{u 0+& `*B\8%Z>d@e-,Ğft~\`P1~J%!% &ŵ ]3b$_m+Y(!|$ , (,=>^X$$.Wm{#JOB:.?y ~ ҋVVHtpC` Ro>̺?ŧȻUT'l4a/^HN\̦(klp㡜]-Z>rV ݟ'_ʂny[zSzc\dIO|}i48ZF?5%8g%;G!<2k"alk28"G|And*o} H.]ͼ1=eFrxTuة~q.FEBhe؄c !()!tXz"U.uhcjy\}ѺjQr؏ F1R#l1so.6'\UbE0(BzOCTG_<m}xkt\jF˄V| rm{U i9/ƒ=9Z;AFQ)`;ɚ24ib;鏑pS<i/nBk yK(Fʜ_,YEl#SU/ioP ,c9+nmb"HB? zaUdžiei d['Q#ۉDVϹ[]a"P(jțyĸ: o/>豀ׯMhR'`tKi3#r'53ZO}ENRrļxo"7|m`: %Y,vY V$Z+ ̈?(_ `ɏJmWT{0\-{MldCzUܨ$>5at7eqP7=Iy? k );)g>][~#)fuIY%<@p*V=/kqUVe6:=w~T͕ Us7T FgRV2?ebfs7_Y }ցtn+!Ζk 7G%st>-V;B0j{>YϼҮg|;!y$LR@ls)CnW y}8|(Y$iMd~ur! f+=sMD6Z|7Y(,qL;z+*8km4Gem`.kZZP֝=3C=,cQDΔ.UMe=0 bAŭco)YMNxKcIPv3JsCx #.VԚ6s(~u+5D2 G? FWwظZd)"}G/MqQjh;~ ^@,hUgX@W-XƐ=y[ȑp31q& }tYT`(wi9jQNUE6[�.f]&פfb{z]C#^O%ͽ$ȣ.F9^gPTYoO_rpU/#ȿCN#tjiw΂3GC$+eT.eBN Y&lcWʟ6[-Fm )= GITWS;aXGUR`٩wagTϙNN?!(g0(Ig=!O,w02V- 7zT\4,\ObB~=tqVIU]UyUa~̊ (Rylfc~#Bs`+NpekJ E1d<4i0>J(sC},YK+a\iLc קA չmpqݢ{|/xEFYG k|?ˆn63?aWeb8$Y fk,>MֲOF,qQ^hȪgUPq)!B! Vt+bb6 2O0b@|@`7K O!YyvEtLtPYi? brK6 n.B3Н7elqNWj+pB l;嗢 0Bֈ-Nw'A]ړsPn%ml4-Z| ;_& ҉cS wDTF5vT[fz@;Ozg)lwS<ոRǽO~xS..|pBAзס$CciΟ@O +jP*W.2Ey!E*|d\Bh>psaþi*!ou2 wŖVKG$& _gYZ7zXZִF! ))]ŗXi%ES4,RiQ݋G;G6IUӖ"YRxF., ]?]h'Y냃pڥr"& %GT LdFRCAB̿(He) q4_72^a9j9:Fe1o R)πэ0(SКoL;|24ͯ%yDNˁYoE;0LB'> } x o]'~fQ9\->eo҄Qj*~E1JWuGlHgQtpV|L"|2"J_ ϿPjYI^ə uY^kܖ,849U <D~ h:+nEzXqOXe(zK*`S8"8(_J=YP$7I nod#FFolP u@r1!]@>Q|W 3GGrg,, Dų?#}/K.yֿ' y3ã6x${0bSDQ> $Kt\ϽtpǶn(6F>4?(#Fli yNC6R!{V}YB`MVPĕ<c4ĄhN~% o vЅi!MHT)M jD4 1Ůu~ yO5,ÎϓX˒#ALAL^r$dxMnWөqBu! B Mo>q/ƱAm0Y)1u:sQ`k3xS"! T?nC{AKĉ37n4&mA Lw 9MbNzOUH9+TzܝbI<)bְ˧BdGյ̑%ĢY|qMֹkj VT,Q_ tod"C&Y}ы[L9>ɼgl1TzzCb+-t[,<Dx7_μӅ߭ܔw)P2*'6էHA@IIy0o9() { );@_2O1"9w/ iuȦY"ssZ |}k`_m=t^٫WT_! H Ofsl&& ]0yYDtIMp"M-Aa8*g-EkPcI8@P79/Oa@ P @_G-' xD]+"8~,KSvmahjwWJ3&(##;6Q4D9YICE͗?E͂$'e!-9b6J b{lhyGc՞-@RT|h!²+SڀAζL=k=O ]X ^ꡌ!vۢ]&L1(c*_KFұldm@t<,V35BDjOj)W=YprcvFDSӯJ@?v9^趓4Bm?kK)h;E:Oޓ)IEX}ߵ^IvJn&ƀW4KV75Vn8zٗp2E%4I3 ?#X+Ŗue-œiw{lrI,~4ݵ6We+{8A鍟9ٍcbi+#$λ;7cΠi&XQ;_$/@14Ke ӅKtO|%}qDۀ.dp uF^;9pF2nOtIWKPxQ|;/8MzĩTVDO vEΠ=p aC]j&m|+-|Z֒WX5FxR{!&hGAFT_ XY/TKpe ӎdcb?l-vbdRAo7F AqKH9([PeL0N@ X[;=U$Jْ#HB{d%riu͘pMґTBqV&0^,ٿ6ún:",Vˣ6I'eifyp]o4窦TN4c.2p&?Ȉ3ck$%䥶MDdc0Ct22C)-|u?Jdr"D}kQn#+m'6c`+Y&{"Y`{^1&vAR${IW#QQf1+m}=ߎ-Vׯ,xM `>Ҳ[7$ER!$ ]K \*h/mD"FoŁ&U !Np=4CSIxꚅ3o 0 q*Uu{х \v$rJIBA7%6<-3H"zIVRֳzTUeQ5;ӵ#GNORHcbvuf"B,!]泞uF/X动*btKZ]I,-o'|ªT!q@۞4hX'CWY{f mt6d8m|#fz TSnpSbA؄ IY_clI? W֣C݉50@vGN?8$so0 |~(x8'?/j.b$w5:~DƭS̓E̹^dIK;4oh 6f0 ~xyY& ߬`T]7SD:#Lj{\Hp 谽e>.-'p/qq át ٝ8e/n2Tz>wv,yCutC_svjgO;+jƌLtU]I_Vl{Iy^ԬeK؛ @w |stY6U ػnčps&rȋ *ܳO3ەδw5%0UgXǘ&1 3;shۄY3h8M *{vo sxd9VV9#|l؀3B]XOuY/kGͤBVBӼ]]\p,)wn.+l:TcϹ)0(.!CAo*ńPo^@Yg`(P8 ܌+ 򡔏ͷkYOF;,EEܐfx| |Ԃh$uE⦛7}X3ԭd1(6ޯ9un [FUJJy}ӭ,\Ո9.7W'G>awc^ O]-.詝9+eia$CTjX6lZ:;ɔj@-\!H^*m$X':vObeer$޼kIK.\YqלK3ߠƒ\ r sT'[]oNvrepH;{?V_xQ3T!T8Oepe(8)\z]4 KcԿp6FUSLވσ9vW)$l ={Ri f:YB@s&8!@E\m[\(ҁ|CzA'\3B,5ixT` Mr[P;)s^?Zpjf'*DdY?$:V/~ h=H6d Ϸr-c,s'z[涞[uS3,aQ4 Wu$)]Pq!OtZ,!6١ (S,)AL`=#M:@a'kuk/QG@T%] fm&+sp8f*miYx$O\|p鸬\z? S]]*FHG:X^I**Z#vm{f>-m=/.۵N Y^: לD֐!+pO63(e0s@QT7jzW3N_6)E̾@j੢nZs?.B{~E)4s!׸=xG*=QBߕgڨS|n,U.(V0'X)(PP[y(ROrgOJ&kg;sƾdPgl`i:Uό8ߝ݃>}j&l2r{@6?TTIޱ dg. +g{G?`Agn,Ն3Ekn0t .0 we{|e0T`Yf/Co5_#ť,MmB)vc{ab:5iv oU'Tu0۶ @dh{!^JWĢ9r`z[7PcƺGEbhw6.fuӕ+tΚҥU6^=7N`HݳNH8Vr3xŰe⫚3B\e.B[^ڀ"Kb#(7CLtm"ba#ԅbɁn*@SMgJ4GRҲa7oMH2kM8o$ERvj#1m^*&qioXAZ0Y=.aGa֫XQCV8iEd0#Kxg1_U'/ s!q)V[\ZY/V|Q&pBvDz. /vf.dln*S@d9@7dFn). u["xα=Crv*CWJIO]4cd~ N[_И:yo}ں%^>^}2nCa6 K4ڈmTՓ8]H#kM0U(U*6.Mc3 >MfWrxbݗ${כQOQ/?gswd2ͅqI}ХgnuCOiLR_w' $4IFIa{hryrKN m_Y_+]J୪fu;(}#)^øʾN0NQ@~ȼ3 V(~?sȣ@;jb\#=$bاF=ߏ] ŲG=4m|#H/!Ǡ$g8w[_Ir3W (Nq)1}JrᡋGƅh!T\6GCPnU>10n rDs2mr1r0ݜ^J0܂V $l|.bf9grj idAb@ʐPP}X@$ :չtp+:NDYJjL wq \r\hfny!04$$!kx[؀ {^){gHmxbA?谡J ~Z$Bb4b2O!İ/4jc$LJ;,>K":5 +USR`Gkw iݝ@l~/^ȴXB}!CFO&{C<׊-ΣV_,x!]VLl]&zhNc{F+ ؋A0)q]8ί;jʘOSH$zyn䅌4zlM|H>=8W=„CäR{Vk*ے m=Hsw[.zQ9 T\ 5 .{7$i6.yv̿Dm7uYM$q}ܤW_![ -ޢ|=w&zQ!0ܗ$8_=0w 0$}䐎[-: SWal'İ/RGh.WO2Cų**s٘&hTgk DQUx3j!.9U6Z>nM )~vZcܛ]FuVJOr%rP#?!&;^Y 6_c ^kGgrsԡi 9M6X*g vrDŸ!Z+ xނ DEƖ,}E@)6UCk{ʱ޻x&Z}ߒ#PbK`Um-g&`u-?2Uw'h;AO5:Qٛ u3_X@^ݡ"x Bg^75\ h}%V*Mνt;+`qmU?R'Z͗<Ę*L#WUE|D"`޼w#^kW9R12Զ[`k}S-a8~iU_roQ~PְCU'V-~ms&9-AW:ef(tBpG () z?UYޕ…ʓքQ!nS9NrƄHtK>T8RNuaPEjBx idHf1b im!hJFD]M(Np_(j(>$i_}u4G3DnRQMSd#p +ϗ̉_U/Vv+F*sD&FɍuE}^HZsCl$2&5ћ.ΐ野".r "u "dH:.5DGJvJxC^h#BpM6P+@&VAf&lDs6C3FL߀bB=  d^b*留*8ҩIT=PNRo9'i훦!8k~z IK"~Ty[Fe"0]Mhcw RYw`a<^?՗e>=0#`rXЪ]SDgc M!|⛷@boX{ W:|&Za^6Ϭ=ܧ' (BvH-󑐑"JLCC!ߴ "2@iZSLMt(#h8?|Xl@9c:`CJˉI:WaN$h+Vbpٕ0e!Y[?eSish5ށ丛獍]BZM-gL=Q0맛}ANa>}C6F(sWTK!I:nՋ~N0`Ioi֝\܊'OS8FP50֎cGd7`iyKHKg h^ox%g>|qڿȩGs)k) A?:}It¿g|)qʺD[}0RPܛ~1ַ͖x0ҕZ2}ɚ_1g1_B ǝ =I{ 05ʻ]zIou{ڎ@<2+3 & +(MnsyK -S$rұ8LG^e}=mۓ|VG"s3ġNޒȤ3bnh2UxV康&TWtU^,w`* *Uޤ)4:sd&,uܽG׽T4G=Ke#ynn&pϵW M"7lQuu]:q fJfEkfMX7ڽ+4mZ;~7O"KW-ȉbMlx_v>HݞkO]S͔ks YeT%i|bb*n{s%(RQ%UXoq0}w}Ѡ=v bӿ\&m0̀|9SfnX6""j2 D֚;27ۍȲ Si;7sKo.j'1=߉e6Bxƌՠ5nCj=uUU]`s^ dk< {5AΏ1* R% l/) A]9~({&t@EqB)oI`6S;ӳ*ش诹uZ85#lj;y bT.h|9X 1m0Z5<YGDR !L mgYZ001b67fc9af25cd7f4366d24048e20f1a2cf1d0376b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 2b056efab254aa3dc851b0b14f16d052a999fa19 a290a4f5118831ac70fd5173deb1e8a9509fdee9 e810dde3b7f17767756717c03c5dbec62f052ca4