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  ]5 $.)]nߊL1jfal$/!Ǫ%Õn3u?g6g-et@hмe{™oP–8;fs9l-,,Nװ$ lVq*{]hF'} #h{6i싎^jSU5ce 6N){㥲^&9 $ !]A#ӅC#(U5DPa3 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~]ƨ- mgYZsXQ1$Сuz0ifgQYKT \}1PfD8O @RZ ^YYeD?M˕nākƟW{uBDٿW:A;&ƺД]o\zK]NѰ!0lBZVҁ"Sm8O;tQcڈk/2M[ӝT&CF7qZV}cƘ4Y1\r/d޻ŵ2jITrJ[\$VV"DYpЯQ`'g*]x0}V _.-o4'NsbT׀NW=aN/*Flm\#B+Ati25$fQ%?W~Tum_d{D"Ŕs긴 *Bi,Ah/,>v[XOmGY!ya[% g9!Ү$ QMnOpWWhdٵKL [vˑ}C*upR,c+kK|Sw#j37+RRI {oߪMH.I>{ E/ZSܹ߈I_,qHH,SI'|^{( ձsFݤr6(pnft( 0W,4|{_CU?Ի}?p6B1@ Ot ~@%®\6)So KCYsuWj4Ya_rHeԐ- "HPe2ka&_ l/kE_fOzv v)ՠd:zA :k:_,𙟘 qQُoPqbN;NsULBp rDxIMȲ(7fݏ~2=tX blEr7SV( A \A2܈!jbתҜ! %zӫ=Zns#Ѫ1>6z2ZIЃ/ [LD׾b,HNQz`ͺcqC>_ЖQ}_F,jU5_R~.xSiBsZϚzNkOCaGIa :@a:ln)9Q.b ASE)02X[7#eA9<;{a⏡i m7_qBU)R&!dƨA 'J|-Kͬj,o)4t2P+a^%֯pL>qя^K3,IWNX M*>>Ղ,M]դ3"qsڵ}EtwXQ&W)gaY]j3fauXSG zCDaqBvir'9q5WC@먻6:\Yk@]By,:AY!/JR9; Σ.l&:`&ŤĒP!pN2ʣUPT.SNb27>gJ{BW0 ;ux~R1h%nxC!?Qtlߥ*P&/}Gj 3.dߖ<$v霔EWȘPc/{9^`QٟP0r^;YnRqAe;H9# QzWO  Abss QvmvoV1 mpL:L6߈JU|gM!k{▭$ܴSUajΰاӓ`!VhH1rM=rogNWǒ`!ӫ0mhӶ A‚އ*ϟ=7KϠCTe- Ymue)ށf2yYϨdp2HnJVMv*'mj΁_KJbv^V٠D?thD%O%="an1ZƑ@NU,zvVv%,)+RPz~+>ԷL3mԿ{UhZ?| f[.M( V / n,2v]Q=cU!Xm=_~)t^-1xHg)kDqѵM) })%oHLu~S Zk]CC8X*SHɿCjۭt:>); =%#2[zxlcŽ3dYxg|b/ &==BSiei#dl۠W3}XV\!B(:pCS$*3 |5J}`aEө(2MOA,+t *bcWƜ_KGϟF-Sd,(KKQ\X(@9}H|:0DfZ6ֲeL֑4uչ/`+Iq q n>CA%緄NN)pY8kPx֦q.#/05j+ giz[)ye5U"(gWf!(Dm7 ۥ.X@9u;;Wſ3Y/?4wQxO+.$ODH&NJJ &Z0]S b^8m ^zv.|PȮ95+)yziS="`T/w=B"~.#,)ڸbL}R ?v?`ֶH98N EkF}EMr-c '83\k܌=m_ 7?#ubAT / $t +n7%} 6%>Wm[uQ]k|bTnI܏ꢫ:#F#gNߒ_آwv>Wj$#\N#߭4 &H-gYZ7zXZִF! =U]ŗXiɟlAC?H 7XzW!ի.y% >fb{z]E݈#^O%ͽ$ȣh#CzpaC6T3@EY*Ɏ NiHC7@Xa9c`=jb>ObWOpW RF N M^TXO話`4Y0Yñ$j:MgK~ئ!$7Ir=Iv;=:٫LHuB[@$B+ACbu88cp@8c8 [&gZNpD!c]Pc8C} nS@˘.=IcOO`\ڳ(hɲղy]7L*8Z֕ Wq8Ea 7a[%:HgǕ8U(L\inTlmQxYs[pk›A&}d%1Ռ.5+옦:HBh/'4}髯TdY=ҤUl|KzOv2s4 qKGbs}fS_+-//ĥ&D ¤x%oԟpB"uZwW @yRZe w:=^ ȿ8]aFq\Asd~㴲0늳h"ra|c۩eߗoQqj}1`xhfdf_{f8tI X*Ks[B<)zKR4TWQ;]$,< swk) `Bd@?90s>^@(&ht]֓@U*\7ݐX ӭk(2뀥,\(}(B:^.YGࡈZ#Dݧl͍K$5gYZ7zXZִF! LJ*]ŗXi%B(¯B8̪Ad-M|Mxo>e@ɧ%Mb&s~@E`_.xk_͸PI+A /_S[ Yo?bToHjŖC*^s~4LY.(9k<4cV SgNCkHJGA׎hF?K5 c[Y^gMuFiY'o?*Ե+3eX+Ao2Nc!,j)'\ V(6xѡ , ,JE립_2lAfuJbfL"+PlvM:Aiz=lz,ُlҥ?j<@<LjpkC~>=nx(ޙy$~u#e?#nNF%Oݟ+JOG\sJm."g碱ҧ- ͬklw]aGg©0;VS&1ԕ#-쬱ktڠGІ,Frře-g?'tn@*L> /x9DX"46ה};ۑ(= x^G.V{A" {tQSK"s`tC_#wJ Aapo 5>+83B#=^=#YSZ0WYӛ$ɘخGh1tKtY}_O>Ͱ@ 0HltC >Zp٦$kGY>,{oqUk8'9i"QR)03O2beg4snM:8PxC<$ ѭEqo%p  g@a'~:yA]*4)ו"y[h"$-u/e=Ev;/P2Z m_/C/Abk A|ֆ]x72aEOc߇oL` ş畍=}Sbt#q%;arc|R>8f2u핰 @32Y2>8t(g_(""Cnqr#Y{k\Gtrֹx#e3y2&~ױւqLV=O9u+ b$M ĜqDj(EdRudִLq.P]_a! 4:$mU+tI۝hþFq?}\ݏ24(@z-SlS,ۡʀD;W5w&͜<[@Cwٱq!~C +Ya Z<H&k&T3~ifrO_X`qy3˗JBWbx)QO,֔涮5`$2yR+DqAدOA9)SK/-ZDŽ%ndNct% @A%h ) 8# wԝӵ6UgzǚZb<}E-X~Ml<%<%I;c %K{_r#8]5S8fHwD@f޽®ڒh'W :E(;ˇ| sh,+p$]s/oDvȚޕ! ^qrj_΋$u-#QM)KƇk\&^ 4zT^ *GO K;yOEAzdD1r$kW kxNt]`)K*ڔhv乛J詝 m 5bׅY3TG8ےz  |nQ=TF@z/9)6_᭬͊A3bV1|/XI~_[5 Tž#A橅>X)$C4bCL׸γbJV%Ճ#CB v R q1B۰R6k#0 WPk~xcP9gBO*pѼط`z˚aZcTjՠwnX,7WōG<\yw{UГ8EF킝{@l5dp{[Z5Ye[HEeRı6\|7i'~Z:'?S9XLa mpL`^f~S,=ܨmA-٦0q!;*e~Jʆ}iҝU|Hϋ"(ݧ,a܍3^HΘJ[d23] {)-3fq-򋶾fzS0bl_C%~zun. 0,=c< =ѵa8'a%VhȖ!\SE#zVՕS:5RBn{y|Qe8 YkxmfjM ˀ#7G;A,HSBhJޤe˰n,kZ~P֨x ѰrPyӸAM[֑hr6ꚂuYdgb\XdܢA,k>=dp7EqejFoU̮VH1R?u@X4G2%sU qVU[}d*\ڕ&kTjDGeAQYvi~7gYbA6,+Ҩm@U/.B tN6Cul5O#Ҝ_&56 nǔP9HStIh-ݯz1jQ*\xIe&mAr=K $vm ˼Л d~!GnJrzJdUK&'äoZ4LY1~o1tWbxY6dzZALQ* 7/uecR\>4x풹dP|El'#hz_@qD)B>&nȧ3 | P/bp::rM#'ݳpAQ\w]Or-|Xwh]Q, Q?\cx؇|07]N>x QڹifWM㫰ؑy"_r-,+抏^OF46\RLT~|ȝ~Pq:4Rk=ow:}#If8vt(N{ 6臼AS9Hzz_;{ iD \a1& v6bbdP+m-M].D!vU+˨0'>tdoϽA!5DRD'jpf9&a;FU)l ˁ{N=<Ƿ36HX:C%C]voY RuH)5z&`HAXKq=X&}ѫe]HsiAR'^SyoNm|$:w )$9fwLo6?_Zta :\g\|wOBV &`A+SQuŎ8%r;3w /+h,+ğE0j(֡#,qk雞!+rZY2vy(/VhzW MY3B(?5E4SJ'-w g19ʞAeRbb\K16`ܨ25K̑\7ɟIYнT?B`ӨAcV?kȲ{xkuAfl߾PKkZD`E~mōe}Sa+s+wZOxJ?缦`wJn\exܶgFc uV.TpZ6JxRQM*(Ty_ڗrK:~?_E-2^xbDA:%0wMEX >!tnF^2)K GEL'KV笘*~:fHXyda+rV7Q:4؄$l +:/g8X l"w%׿NFbcAFuH#2!^DbR1劝V͹ɣϾiyo_>zc XbiVpM{:<_Fž0wYB?^JϽeZJ{f@L@]L|(W?'@{Ŝuce6hXUC?{05}5w'`nj)w8!Xxk5?P7@̌9m)<&lpI$6 %\Nlo1!7hxiˁD6H\`]KfLSa_9M^Ṉ̕!/IEC.ByqBa6ƑwxVXUiWɈZ{K L\; [~@Zpm]0O m*,doc5 Zh03=U0;s 8k;|)\ 40ـn`@&R 񒣟5xQnh VYaGF~b "9sWiVuk̳mh֡ҝKu,AHht}$U "]E:ʟ@KjCC'a/vIsXa5 G" qJtwih \H[h4+GE ZF9' -yݫO#Ґ/eyu6&wi%l|1P0h:=ʇv˷ NM,WTHtĪbhGRG'㳙 Q']&*(X Gڙv883xGU:Y򔺊]rF`cLj=)9>Ya v|2c1*$]=; MVv0pMDOZj.^:SH2\7 yv;Yzו->"W.z6omލu2@5 6/\/:DCNgz%Q*QMjbr`ٚ 7Eu(ƢpuM4bXogK5)@%o38w Z*,jX[Wתo x^-8 0 $\tjyEus=PKd)TN[%V:y誤]2nᓘ7v kkPwq@g]UK\@ɉ`,3c5rR\͗MQU:MHoLjYtЬ4DjSK5Ldpv58> :] LmMˡN]@Bx5f̘& ӯ֮z8ߟwܪr$%0\Pp ۧYA&vs N`R:^Uz0F$DɘEQJFۿIklʩ{:W:N aOg| 30Q4~f}5V/H646i/ д&ASf6|478QL/Wፍ3:qCL 'rV8e1>\mZi)vuݏ&aF=,}7ubP,TO}.Z"eP8p(")+A#get7ꮦv%++&bf-&{OӬYbN掁%ƴm I5qZ../49*b-ӹ̊!ږD}A4J 1Tw{t_)Z?YxOU9As lZI(򱼜Yq!rByU~~SS SĨӡ=ڊ([#CYd&!z9/;t.sFZEpyH[?޿%U %lc.nmewA\B92<'}ed :NV).s:B$Ȏٺm96x>9:/sQ&Z2una#Esx7{tOc%Q3[pd2c0mާ'oI! Xsx-mavrv-F|?ƭ(_uA/4Z82@rZq;31Gm/k|,/z:PMjr%%@*kXKO$d/gr-w\VEI`؆:}MEq FΚwWneKEo,~>Z$vzfے'*JĴ00ח7C8,!cMKRK+,= [)K18ʌY.$#[DMӨ~OCȕS "ReD1 ژ*?w _v^14U9MdiFŞ/8\MkK"K3$0ZEڮp~p"*ca7+fK<5 oDIO\]cg|JGEKqCFٍ1?lBI hØtkâ*, Z;fɨFd{v*=Fp ~ݷM})F{#5{ڕl4d@LKYgm F꾋L<^wY|. R?E}w#tDxL:(׀\Qy[N$؁:h.hWl I4i#iu:wM8*V2 N (~XE{Ç^adž;6Pj=9cd ,hتjr9XDޑos<_.` ?[`~E T(ǒ;UHT)TLy&X&7 @^(̇R,[I¿P[{QnxJϿ.h|K@|aƆdt"!o<[2ڗ6lD#TdIp/lǍζ0j}UB)2WT0fa(Tݥ,t Ka8@OW &K6yU*;'T`c|}svCNc˩ ψX&^4lqk J4MCh]ʕK75MDzӠx6ɹk#Ox}O qRTNbt)UY<5&;9*_~9Tؒ䭕%}L9xv 6u+K|^gZ@1- /haI`_E psQYr1ioz39 /ޯoGMBaclU-j ܕ=qR@Ljzʀz Q l%tF)(_Ɓ ذ'|bw͵$~wN 񱮫Ɨ`7HBSMiȰϮ[83/v/ӳGLtw۝?jo:Uw:OTN05y>>nIKg3F1gVT*T D?Vzx3Y ?\R ldp_7rv PgRqazP8Vspg(>];lFFk,&##<3H?KVt\3qɧ1,[m*RzX iW`砑xmLS&uȂ@B M}سȟc)ɉ{_mbpI`u h%8 R=)BPT T"HqC> Aʒ93f,Cgy.:#w6|Qbx~#o(' VUKrVFrH|Q.lȠ2gf$v,̌ΐf43tu"b8'^6 K%㻄%9/LR%p. Hm\s'6) {||mx21bHG^Gv~R=dnc]<&vEi] 5聘W1bA FoG !+ۤi Q!9J5mKx%5W_)-RC\<)ctFNXCa΃5ř.;Rub9eXk1ۚd,ATi"AJ=P@T8svyѽpa5BdKࡧn;B; :=Z@- RP?E|u*^\mj lGls7CN.$) oul;b50?8jVj ŝiL^ W,!q 9t祖j@F}N.ps朑x |:*9wIO_b՛U. ȂUsZFT¨#U˘ ?gYZ1a02feefe08973279537f1563115ee89116b79cf76b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 2f484737f9e309b1dda4db1db62345fe202c4f91 14de8d5ef97011d1aab90fe1ee9e6a72e94b032d 20ce141ce56eee59065d2403cf726ecb8d9be303