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 e5D,D ]% Collections_Examples:threads=4elapsed=158.454cpu=486.612gc=22.068factor=3.077zXZִF! %]ŗXf[&sݞNasEXTwRlĹbLmlb o=8h2Znw_vwzyNHY/uܿΪXx˔yuG1jI;Wj~ ZVբ~-b +gyGkas]փ4;;D B[xP[B]y./@?1nJ6ݽw^״a%,nL!7^7h_O{KLqJF!B^it{˼@hfSX*HY@F󓩁:%y_-jǵےCFb @쀔&BYM~TwrI4{5kb$`P4?.R 4R7[Q}{;*(RiR8Y5rʞ6TN߶! /7R֣mЮHG}/R@.t@K撒o~R^8b>?,)W,47/PUŔiaB ,u)7aTVweዼ 0-K{ wE& sʹݐeY's͙pRhD5hkc%BK$ciAx1"V1[mt d`b,A3YbCOEG?' ̀Mq-"nI2pȤ2JcCKՄ[ƒ<- KJu!{Z?^{N˻:BrM8@w0&V>>*7P}EWUr`}k8u(ޛ_<#,rPRkWY!fNUN=4% ;)X$t 6a 0TڲNlX 8eR3 5 Collections_Examples,5U5 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*sFuP6GgYZy5U/ \Collections_ExamplesCollections_Examples.Exploration_DFSGenerated_Code.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}      ?^ 3 n ) x U y /J5K/Collections_ExamplesCollections_Examples.Nested_DFSGenerated_Code.MLH5G/Collections_ExamplesCollections_Examples.itp_2010Generated_Code.MLK5K1Collections_ExamplesCollections_Examples.Simple_DFSRefine_Transfer.hsH5K+Collections_ExamplesCollections_Examples.Simple_DFSProduct_Type.hsG5K)Collections_ExamplesCollections_Examples.Simple_DFSGen_Map2Set.hsF5K'Collections_ExamplesCollections_Examples.Simple_DFSSimple_DFS.hsF5K'Collections_ExamplesCollections_Examples.Simple_DFSRefine_Det.hsE5K%Collections_ExamplesCollections_Examples.Simple_DFSOrderings.hsD5K#Collections_ExamplesCollections_Examples.Simple_DFSRBT_Impl.hsB5KCollections_ExamplesCollections_Examples.Simple_DFSOption.hs A5KCollections_ExamplesCollections_Examples.Simple_DFSFoldi.hs ?5KCollections_ExamplesCollections_Examples.Simple_DFSHOL.hs E5K%Collections_ExamplesCollections_Examples.Simple_DFSData_Bits.hs B5KCollections_ExamplesCollections_Examples.Simple_DFSUint32.hs A5KCollections_ExamplesCollections_Examples.Simple_DFSArray.hs@5KCollections_ExamplesCollections_Examples.Simple_DFSUint.hsD5UCollections_ExamplesCollections_Examples.Exploration_DFSDFS.hsJ5U%Collections_ExamplesCollections_Examples.Exploration_DFSData_Bits.hsG5UCollections_ExamplesCollections_Examples.Exploration_DFSUint32.hsF5UCollections_ExamplesCollections_Examples.Exploration_DFSArray.hsR5U5Collections_ExamplesCollections_Examples.Exploration_DFSGenerated_Code.ocamlN5U/ Collections_ExamplesCollections_Examples.Exploration_DFSGenerated_Code.MLtrmbٺ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*sFuP6GgYZy5U/ \Collections_ExamplesCollections_Examples.Exploration_DFSGenerated_Code.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.  U L5U% Collections_ExamplesCollections_Examples.Exploration_DFSData_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!5UXvze)V'W[3= Mj25CG3 ci.p:h1jxJWH6Ŋkc{D-2п ~nԹ9*X"ȋke_Tn`2,u+5ӰYH]=Hzhs'X˪< 5KXvze)V'W[3= Mj25CG3 ci.p:h1jxJWH6Ŋkc{D-2п ~nԹ9*X"ȋke_Tn`2,u+5ӰYH]=Hzhs'X˪5K Collections_ExamplesCollections_Examples.Simple_DFSUint.hs7zXZִF! W]6ȱܣBnxN3}:ך[&KL+}<>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  6 N 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+ױgYZl 5K \Collections_ExamplesCollections_Examples.Simple_DFSOption.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ᘱgYZO 5K $Collections_ExamplesCollections_Examples.Simple_DFSFoldi.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&gYZe 5K TCollections_ExamplesCollections_Examples.Simple_DFSHOL.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  _l55K1 \Collections_ExamplesCollections_Examples.Simple_DFSRefine_Transfer.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPm>!lCeskdФ -DA%Z5DC}~cۧ@r3>ǻ}n |ҙ5gB4(xdcrKۗT- e]wBU SnYV_ gcgYZr5K+ \Collections_ExamplesCollections_Examples.Simple_DFSProduct_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{= /<{gYZy5K) lCollections_ExamplesCollections_Examples.Simple_DFSGen_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˻=<-Ÿ/gYZ\5K' 4Collections_ExamplesCollections_Examples.Simple_DFSRefine_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ŽS43E׹{MRÝu?Ae:NJǂtmtUZR~n&yHb2rpv%at-PJ"h2PJi!k 2EH>ef9qγŧglw#蘚ߴ|ɀ dDc&E[Qxl(},4r8{ J3z0|#QKrmkoS %j*M{*!W1˥Z0sk ANQf3I%ލ,8ӱ%[U7Z]K< 0|C:v*n iSFOJB`tۀ0p*R)5瞄QN/R^Ԕ?b[v+:Z l |8`lpgXxeTT]9 շ{#2{ƻn'⪢( :*9zJq ts40 kȁYmǂTPI@$fTxpRnB{TuzuFH$4' m_c`}jj3RYsqԪLR^7WLa?u)k^ }>xK`0zuͤQw;ATq8"̣C>-ډC z|nk+-g6ndCBt?KrY }&%;I` ru4`nAcG~vOz|_=VTƮȊzwnųĐxon@Y0]?֭Vk| 78ߨ?s=`_B1E]=ӛ7r+w'3߁_JlEGN&*j!_gYZ &5G/ DCollections_ExamplesCollections_Examples.itp_2010Generated_Code.ML7zXZִF! Vc] %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.trmb 11L5K/ Collections_ExamplesCollections_Examples.Nested_DFSGenerated_Code.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+T= }b=Nv+U`u8v9k';PN—7s'Y8倢7NEЙ(p6 !:tXEg#h~cZcSQ1Ѻk#:JvF4G! @IBcnNkkíwSp쫉G6t@Pyd$ 1._g"|{5/5}.U4 L.)K't—Yp%/d2ϿO%lኌQVL<9ux :iE!#`nBl2=-x2pG˧] yyI.xۗL#\(3d W*j\/ffyi|q@ryↅJ?78nM﨓 OR͂!x莻ͣf ?©ڕʬSNQ#'Q*NGK?-n0FjedVHZȵ o(zܓrZ_\#UDN-/PI֣+ͿHOxzp钡xk)J]3u]%"vI%)ΎAH-Q7y!hԍ(W%x'yTQ"$(e^R9:q.{D秽=KS%\XZWG#VsY7Ix}8}aG`:4AJp'p][ߠQO/wU@(51'kՋ]Pa-\jlΑ+Q\z">1\|iwt1NGЋg5VZ+[iZ8J̶!۪0Zbtgk^3@ړ&5WwogYZ7zXZִF! @N]ŗXiɟlAC?H 7.?R|d@J*lҩ-;ȽUe; 3 ϨhUHDyPv艚S'zBZTAcnfJ_^28_~=BwʥESEE`g/,N2QX=WM }9`!R;A}Zmس(_x.￸B QmRR$Ӌ\@s@p$tʂ8B13 =.hJ Ġk$#@֔3 &YRPw'^q1dlШY({X?VǠI aNy*C = LC NM?ٵ\ s;ͅy1նx`Ud^i'\ETf,Sg6U)7wՅͪLդTNKrPcK׿o@INb dڹm fʓ?fwb"=qܖ԰ծӤUx:l殴2HY&7lG 5l?1ץL<7IN"95Vt#MΜ:B1U' u<1BcEyޕM/ӧQӒ*L9t)" c1Ͱ0OQ=FU3-;VFRj2!]k?As>/b.4s7Kt+IK-zn߳gvo̻ro˄er1qŵ5 j8?O37 Pю'W㏜SP)>[)Ꭳ iԫ f2HG\y0;҅LM6ͥ&o#K_#!%2iWYI/EλتKBngwmPPr\U&K`t:91b4SG_"C-{HvxBq#hqʱ0Wx ZQ&?_e6G$Pam^'),WSGG 1Mz-62?$OgYZ7zXZִF! zY3Z]ŗXi%B (GY1"T m}nlHFا-QCGZgB)kmZ_Z07Aec H.y4Yʵ_YBca?_W_0%[4FYu ,Q9Qqj]ڇ QKb⠟"˻RCꇔ07ZBMYq1^BTh@*{pKM}bѬA:2Ք(ń_F+ :hd+?!_?=p! D'w >}$HFH"3%mep̋W ;.k"Q'h֪L9x[ĨK +vF%LTECacğ| "B*, En9ĖdKvatDC#Lv\S}aˡ"NҢ;AKANZS{0*ZǼUW#~>|7k"٫QYg~1,U5uSFP|g(Ei蔒n,MFŌ9TޢXªoasqe'Qؘ {MUcP]j1,~oͲ!yK]x_O*;غ|r [sRA.1G$~ǓtlycBkGRsFZ-Hhs%ei/K#SyɲK_KQ7X3^j82`J# u'?bG,h!؎-04ز~YfT' Ļd9]Cy[OɗqŌH !==3}VN[lE?`2;'>F9 s}ac^?u )tA=iT.ya;^R.JK-Nk &p3~2(GU,*#`hfS%Զ*" 98T ;}PDLh/sDֹ'smiBBݬ2>$IKWy-d{tekME=c@.Yޯ]xd[d4w6u[pzp-fz1A.У*B*ӓ~о,ZΧiJχ13XlN$\ x 㺊 Eڝ ~/#nƏ!7]/vS/w_X;sѽPZ+ZBdGݶBN@5Ĺ6L:n<[Xqj^*:Tx?%Y1oVh,RWi&Xg-Bܚ&mF[<@IۃS`nS1,Yn͌ZW*_rF+)'Ve]I!uܩ>^m`Բ]_͂ J l }n?jU,miKyO˳"zFp in;lN,KP:ȚcA*e,K56\dU RGCCrPHE@0_X-qw<1{ ]؄{Ֆ3,k7<:>VCё.MtȜhA#= K#@Ckl9r܌( `6qe˵!uYa&fq CU2sB>`U"f*MiǮooB ȰX#Qⲡ9T p^30Ҽ ysHF͡uZxE"xa6rXATHV~k;Qe>ՆǢ wd5bدbfbK.5xw !luZ+K\5GD2_\0M8["RM1qƩw R^mX"z E# ̅Dv-\ J(/[{|C .{s[kEbEQtSpň<ۓ} PBSb&l],3&\Gn5$n\P1鸶 ElN`$mp¡9_'[\NJKH*`gki2iFK!zG\x-@.>iJKR\~|^;+pm> Svm9\7/Z$SL(A;u tnQۺ=YC'pͤ[L2|ښy с;ɦquTm\R^N)"7H\[#ɷ[\IdXcJ=xaE9qR?Ӳ |36KL (2UG;Ja MqG)h|2AIvLrI@^}E/,_S/SYC^/MHVVtz0Ms!¸6{!<S_N0V:r(C?cqȹZ&"ȋ Ra'Q M-HTVgdt zx(>o]$ޢ} :iY]beHk2&' Aɽ 3`Xdzc☒p3puD'Wzњ;Y=|O:bU>?Q}]1/"gI0: 4ѬV? 7`?,@*9s1J%הk8frqv䂯]mӴqD7,gy8i] ԨNKrGfXw/hW g/(d_Q>/(LYUu\:EvϽW;MpSQ7*Fbc'(w}oy=4u5z 4 s(DltߛSפ eel y<@qa;z\#e jZc"3"ls;L|Jp`u(J NfzIlaprRS] @7LY52*pI݌|߲&]k„S/CyKQm7Zӵ:GۤwzpV0>0M>q{]+ocNLЏ TDK_XyS@\N D; 45>eRT25 2>z z YiI\݉A  VmdO ;(U@[]k~L,ϒy5ґP?v!αP"X#uUz߯Kf!N¥یkpI{+pfȫhS?Q_w?Ҁ'p3l!"3-yG'>w(33 -^{#bۨ 1>_'}h%Xb؂z$;7e[Z~ bm"z}7_NQ;hGF#'#s Koϧj=M˨]-8ܬ\Dp߶h؃ߡkcꯤpR_2$>Vƀ1Y͒ܯ ;3{C18fqȽsi.PO\CbncA=',dQL9Gt3*﵀v2OxG?fiAHtXG1)H~jd'=ELEYwB;ehjȜv⩟l]eh"wK5VKAkW_9,TvNY={OqXSS9bAlDq[N"R t2w^bF ZKࡧ3{] ] \A;^y0FJ*], 24FTG#}:"q.=NpݼMtuqdݒq;g^lqi0GUgTS<.3oІۖ4\Q'ZwAKY[7"J^<]yetshW ܚ\IlkqV.i@+D 9f2EY>_>-18%5vrgx台ƼQfт-eq\bԾ4{Slu ,em[b P_X I 1S ܛ?Oa>lo o>,@9bv4wl ŪЫ=^As$bh6ޖh`10tϸ 5Xְ5|/XB@?*6W&푮oþ/E!` ]y8Uՙoi_t+dI¡?R(K=us gPy%DvFre%erz&o.pьC%\ݶ$ K$\H2#E\]~Ǣ\%U"gv\}3 hL43/Y҃Ŏc|ghW JTi*jO vK[J5_}} bu ]j?$ToJ2)BZVh|u@8H): lpB[awd e;i!Ќmnz::-ެG^j.݌yjɑ߯iIr?*K#  N1*Ş: ǜҒOd|0K =׏[燑<"fJUd%1W^h60'\ԕdrm cbqef,h "40 GjۯWByCc@~FA IBffU!WժNڜw@oUAHCuy߆&"P;yRI Qˬ>}T'; 9t #v{);\.۬oE!΁js?= >sa+UtώǎcUٻX~~Z7v2E„<,EymGn{C#w-*[JT9YOWt"yK}$*'Pg[8 qL1xp0=ZA&cT*5!wbH@;8FI[-j fØSG ӌvK۪Fe/ġ0bZNG;˼."Fvwc).FQ]Q^|X:1.aF-e_^Fi\,Rr Us}ZV2 2\;PئF~%],<P{): ǪE],#jc/E]LMsMq5;72sxxcj<"[`!/ƼRŗNAMČ\'dp =e-aԩBa#֨8LEykXgM YP1ؐǢDÀIVSoطLJK3U&%,Tkiv<< '|dmlJ|<ٛZs튞6m?5Oˮ`Z VS溊x S+ dtG-K0'-Hs*]Kåٰ b0h?$Eg1EqN: 1-MYP\H1=F&7/l%9[]~UgxؑAو R<L%,^p`+ny63>b)𩷦;>FAb$ƍq.-tZy8e8~S"APGY+n|Fj&s:"$s3x@6@-Хż La|TR{C 3NtmW5|\ \`Yx>A\x.#6ZX +JF*\|_441%2*v ^^_(PA?1Aؽ&yhkUށy% 3 -12ӯLЦ>^5K F5F>8;R"/yv:yXs|3]cl ~xt#F$GObhxvujMZH¯ԩҹ\ԬIdWJW_${{%wpf.>7^E ^4ʟKZ|Qy,OD^-熵$0߬0?+茍( 06P~L$T՗-ƶ@[-R]DVZ+Hџ0BxzZ-O0p+@)E]/n pU 3 wH{m&U! %ͅ'l^2 KT~/\_1z WS9 A^|DFJ"jյ9Űx ݾȀ=B$cL$#5'd|9L%ko fQ|l'ahLm=~'Y"dӭ`xq 4ͮ^! sŅué4C7j@a!6Fex.撿#z)-BaR޼gzc/o8q A؇KݸW "yyq :Z@`2m,Kyp0P>ީTT,(g>N Vvʏw 9nн6)<^+c{5\5ITDΒ2BT.Kڥթ219[?m{iDZ w79 д.·/X=T/N *c0l!YAZ34e+wYf$]?TSqS/ȹH9p@2z떠+n5\IH.vwdA&1XON";N*`;`֐gW+Y}rjǫ2܈eWcuX3Z@1 c;r-knг >ލ6R8ꄤ¦#ERn@@ʩ+ќ`ߚw!- W1ȯ\d"f<Ϝ ¾?> vZ_wZ6fkSmX119{i6yL uQ&'/Me:rT}+A,lKTnOė I; 8Psp6Ru% I|]U(,`^r 8ʾ .n1~ z{f߰ Z-xeo{`|L\Ȍ]nTt ON^,mc4qoK\bS/(}Hj$[qV/!b5w'Rۡ3Bu+==PY\X[h}I;3}UScXMjJeC*<&пŴl?{$'3 <ʒ т2,G˞Ț y$V>Y[6:]Y><U:kove~`}96W#?'S1cu\B`a@? 'ZGƣPp˖2@wֈʼ'58`RReXmqR dYfh_%-?W y`=ZYr_RScy!#Uŝ;0O'Jۗ"_Nl\0U]NdI#fXA$ae|N"~lq]Ly!WܒɼCs Sq^PoĦ>IWuK|=zOGղ i;=#-IJȧK>(nhBeR/}l+/!]o%T^>= ]qUͲMD6h&pʵ<@Uqe|z+!F\h\lѲZ~ZADLz^K D+ya$l={A; S ύQ$5߸9!T ÚcD}AI-@=Dٲ/z_Q}E|$żBpEڿgzs,=1O-3NB|{.C >f[4bo7.rҴ'c@S Ņ^pBzbmwUa:ӏDR߷p!YR5#m}A ULkF6G>I] 7 ea:=t,|zΥˁAٚ]z_EHfuPn vo+Hm;i/fkp#aV"Mg7?LZA^ $fɅET]Ja9~`ZE\=3M?kgX'^1$n>кM3z]w ?[re7D} (#+ˊiz"<(lէ֣y :.]zӶ z(Rk/!wg9w!; Y㴆k\`xy8Ln E$O|281[S¥7I\لrP ESFsa=sȄחׇOUQ7 ^L<%?ͮ0sߊe&0,!Ql 7-g_sPdh}l`fR(Ee)Vy>J(vsĎۗG?t.3>G0t6I|7ZÜgi㈥YHvMТݍ1I)o%dnJ- 幘|1^ձtÑ s9YCM}Fp袵S@ɉ\ŅLg l)˶/ ,Ex̗WO(W$74g=T7k氈C2Z!Ҕ+mLeaI=ж7 iE9p9흀s9 BZ1)yG,mҦ1Lx-k*d|tCBgV^P'~&!tyÔ,PA֋|@ #E!v54rb!Br"6cS*kM^f]Uvt4\12b:# ϩm ^$;=x[/xb$U/}q\wz955GE& 15$ZkY?p' krViL?[?EWޑj6l)l{%ϿV'yi/.퍨4 oph |8dp@yJAXEA{ 'N#Ėv@,%F