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  m=|$< ] HOL-Quickcheck_Benchmark:threads=6elapsed=305.565cpu=1462.072gc=133.012factor=4.787zXZִF! 7]ŗXf1-ĚEM@ٚ|3 5 !8- ^mE;MR 3nIO˼^7fπ}1i ;8vz*LVQN6P[%op֍ \>85}tvǤ_+cZ~6__> l*y8##)Vilū('=úg-F=׼lrPc/_[/CYEX呞$D7~e^Um$2N +\P~^wd& 2/yTdLf#c4.!ݍ͹@LڊEV@U(g 2*;˛E>##&_D .! vlz}t}eTO L`-H*XrI^F*{+{%2}ъ\5DS70i2[S:`RSil}hQ$ti>TpV⠜}jB'Ȅ|7gWQ!;2 ]H>Đc1o| O3QoA +/VgYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0Ή*8(c PY9(Tкوvg6G-8e25C?r@jcLLVI\qB#yi|/ڎ & &!y&M>o0A0#]P,mHflRP)DȒ%*wc = HOL-Quickcheck_Benchmark  %/s'xmRJ[AtG~W񄧥f*wڣ93)"E:z&YrN<(LrIǯ6s>Ps΀+Ny"Y[h> K`qO@a[v-b@.UlhC!Hֆ=Ď"=0 ?MuaoɠM|v>D!Ryo |Y|9ŷTRBxmA2eᑎ]J|C&fPzPr{WvNFw0M\:>%z[lOS;_-=5OsY N,CnI* T\(̴&ab@#ф;ԼqXg=5胏ʯߏ6b4P$,Km @Tx2l JT"P\ڽ8Az.0x-Ӹ>\l2ZwMU^H,d@jt2<]7!SwŒ-'N"ywN3˜OG;k Rˣ@WjT?<(DKs _֋ L3־w{nPqߔ4\.Mjֳ5f?K-ȖLH(z v!a`i/In ܔ6tSSn-koIdlm+2>OQ 2w]ߩj0򃔮*3 ܻۥ>o2E1+=DVAL->EQ E-tÊlKVvWw;Y)I,Q\=~ Gl܌-? ?OWE0sCc\Q,!iPnÛo4¬D?:6\WvҠmr^NGtH!9,eQ8ýR-8־ҸO(q/~[~;;ٖܸſ9Y|v[/BP Z H~mhb*:̥sm"9 X}8L'V VhȜ45,TǘYTC;ho9/: &GscG ,z[z0LB ̖TK(ϒK) ~RNj緈N_27R7' ?ggBdd^8^Owqu؝RГbY(UNR}ԲOHXgdulp~X=/NMԘ $ .401.u:VU".fg;˂#8F^PJ$ M~τ;Fưlk$9?]$:JXêof )TɈP񼽹ǀ<9 LGLX?u,\g`=E' h'WHi\R&&!m^Û Pb](2+ K @OC+ %r}^oHԑ^kM* u\ѹ@[)T許A>|3$8yU ]6 Dq<,"G_48䵖bXʏ+> AUk47\y}~ !ٺPhBDDŽx+M*#V DXFctQ0ώ`Х )h-S!zMPɹ猿lޅ4a-#B*Y.gPr|.߫ ?zo{.*ɚKF NRA(AkcbP8 \H%b{!w۶5g0}ɝƤ+efJh(O0Nl}uvU)o!3yR,"A%$'-P\<>s ;@  XK^b[ZʹnVvۖexc U`N t# ` k*W!éjoxf)jmľ$}܆O}/Re(?# 3Bf3MȮjaFSb ( 7W+=b(1nYƭzϴCsV5r ajZ^z_ntK$X #=̓H S-M m%H@(v>8۫J6?&o$Bk }(\7uƭ/ȶh8vFP]6!THQٔҖ ;T[x! y0lWGbU|/ ,=,n4Ǟ2e+b&]8^MeŖlr67'Y(DӨ:ZymXٮnݟ Ɠ¥-vtt7hK9ױ2r8'0\dWdX]~nGtb 1,ѲʔP[7)fe!Ƿy1Gi~1i8M&߯RT\TwO8`a3J2 52AxA03od#;ΜyLO|igȨYO?Qiׅ4graҺu♳[nu #I\ "0 9Q-Qq)r'864rnK~E$x3}7z DđnZxM@.쁽|ê'M5Q6 NWrLJE&[֯=oV|%EX\( qV8wm&;  q"5Si z \Eޯ&Viy~6K)i% KQ.i+[a4v~>[ PZCcHx3 Oכcl;{W薮CVV>:jKXѢJ<~Ac.&4 J*A(4e#rxt{30=7XOa%G 0vmN[waV$Uf.3a(Z=KMLO#+eS m ҟ͏qx *.'a_A5Tw+hfw]l؄(irFgLnI5X\!^91{'JCrB YFa;ʹ/pb'P%5[Hm%-747u,Y XAu',[Ҕ0L}R![Vz)]s,_Km}]bE֑)WVl!_¨BK}?M. Es:g˝.:lU2;>:yqbđh#sAwⲯZgS xǒ.%&r1KJU1dOuָ ~,>=$` `d}@S? G*BXR$cnIF=v?v-\'Ǵg 0Y׸Ј<`#%(~# _5噶Om^:Oؔ)x@/Ŋ2!Ĩ~,aP%⌫B~2gvVM^8gZ)8TPQYjU:h) _o:L}S85}~a!At v5x[sVj!3E,!o`Nx!hjdž$u_9n4Yz RMHZRaeMߨ;m0Gi%1l/YFdnTD#j[&=T[> R2 &|P&94*xW͊L+@WSz +At*vQQXh,7\ 9[hkm Pt-?:m"o -)ԿO =Йkkg)p'۰[ziVD?`- 8 EOBD6]7ݞ=JJmZ2B3"w9,&g)7a'}XG:Xߏo{.~EGMq8CU xq쀎*I qj SȾ0ַڀye&}z~0I'8>Ӡ.x^؁ď^WZ`S'yvim#3&I#)zD6Sٟۢݒ1[ShBz^I׍cQ.eT!DWD+}=c̾80:ţpr$,5 !4N8d!^m{7x;+ Ǔ1[0am%qhΏW4 B++c t(İ{/ rtc|y &,fUrj+sqE1bkKS7LJpz3@NIȏYuÔO*эWl))\pIeJI.; 8twX#Yt$>ԬKF0.Gi(ě0Mq.p'U;<2J,F(/M2gz'.̅=Dړ(1BDd-#t˨H wE4HI֩@4謷pGRyR0x% B΄ƽZsЏjݘ-G [=̖׋̞^1Hg=4:;4M?R,oJku L J {zO ].LQON7-KqQyyzHijot>yW_bUy4vUbmyBZ8P21)?B>#Ik&MyjM]%=J^zh 1UO_鞊_ZX WB2YTT%bNHvRZc[tlD7ZckP;z`S)_$y2*-/.~e]2 W5eB6WŠoKx=k!*DQUӋm1MsE,H.c-cSXϻ.wR*~e,7’U{3`a\(C,1@$#e:U¸%hoGk(~R3<:u;9{\0o=Y)dVH OF*۴NH@dAIno@{k3?JRC34[Wa7L?1٪pi:'Vmp^ῊL(F?h&M%ymubPq W3D>܂%x*z7@,;\&/w!y;J&TF89G(J\ Zbk*y?  @O_iUr-J<Sc&8{j0__:07k5GK̐\ , .-ēYb>!8qπ(g#EdZm׈6 Q*P' Z+ t}1tCtxU] Ms񨜖X_vª#<])mHgډ}{Cln3!1u!ItMf }B&l)N`5[SD. ʇJ'ă?ӊ.Y1Gbem{? 0Y/_|  A ^;kQԚ etϮOk?bNJm T MϊK'鑹bc\>Lb>s9*]3͚zD W}:?"sM2@1"ܶmP{OY!QNU%g_KrfvsmaiOe:0khY ϝ}hj`¤p9y0]h>r))*0l+́$0ϊ{+ ø)n]-68ߎ c8B#͗:ܓ>KV6x51eu9TU6 Y^iiGҾY]OVIfHb^/A`$ y:rw:{~L=KųS_R9*)enkK wr2oaG`/ș.QPyNf fߵ(:2?(vn〤pO?pPFX$AC;q=1LUt](q}#xT=kj'1t^( HOmoXx GX:_9!>LU6{uMhm ]@4MQ+x%<чCħBs0_"2'7}TtFy:xu|(&+З|a[ۏyhX~*R`Hɏ3N}cndJj-DWX~?ŸV[{\IbfX.?N1\*`w"#/fd%禮;WEA?7 S*T9~XHHP݃s2q>eމ4u5?oz X!˅ ʠxUi'rTk^=/q50_^ 2_z%ZsJv4As@,3W"; O{8C JLE&>6} TbԻ2jB, Z@X>vWg$mmHHw<3j1#'gL>oa!e?50J%~먉Ӳ~8VA`da6$@iGGcVX˥pXQ<y,FW+Ym8$^a7%Jwx\BGTHš3Bu0X㏐AEQ6n9OtKG #-P0hm5ʦf{U:,}T nM>G}˹t}|aU/eSI({EBZO~pZ?Į/)3eyxR%bk*EWF8F\HʬWQ$LMǙ*׼cy"vphlv<=7nPF wBCq)&"JBDUaFG;-^j䜕]y?D?&N>2$„1/Or [VQS?j⹑ܙlz}@//JH|J*8U"%Q/P} ]ml7bay/u&Lq+ߥ,Z?Ȏ&;W+9c6X\F{o4lFK$pyRdž2yL֟b b[P;,goHG!6K5g1UnĠp^L*|@t٢D&sMэ+қcnM~ ?(W_!Xʰ rMҊEnDX\a1[.32G52^!WKt{1]f]e1D(>X͸YAx慎+Sf}WUy jqJ(/ '\АxMw3cR\J'𬢤IxNY֚c*2c@4} .,ݲ|obς@Ɣt1 ;auК>n,O/JʅEQGlUS:J ɩ.okESFsZn#6+-=[ ϰ;PNjok~r}WiC*GtEi@.U eS~? #r|[Qq[H}:a>I+nVrv NY*9DOG9lQp7CfB~V~G\f/w8@~^AX~_+DǮ9B>qړJHW]>X͆G4o%5F+mtNn 0s՟RFdK #I[d .3)gv wBӝh$ܶ5dsњ*({p+$U*ۥwgZ#6!3zUۣZZD;+Gs3ˀ ,B G@e-ݓgIt=/GC|be4O't}&7`ĂK)-i;zX΍gD1by6&Uw@UCNJp 硯!;+`[^I 1@2j llUu>㕌3)w\+(_ J'pE.SڸlA@> (.5 !3:Xwf}J :;0F"^D=(!D"4eVw2ca#PstL(WݬW:}M8F05944E 7rk 6gnr|u^ eɁDk]icxҎ0Y.e_k2`Ns$ITrC1~N\bwa5aތݢS!W3Id0Y:tbJkNYLJXos]dl\r,`FSeC@⛠F Wg9|"_>mZ.D;4+C$@Tx E7`婉F ɾx˶`RLd-Oy!KVk-5BϢ!\aWFpknӦ IY&M[qnuR+96tK[+Ycc/aPiuI:y$#^1CSDzd>w9>V)[6(6i2DMٌXĤ?N:`WDgl6De!(F8L>%61M`D 搙Ͽ;mDyUBD15R[4k "|`sW4j?F[89:ΧIW:a>7׺эԵ,A#(xV^ݬ]ᜌz5.Q0Zݙl?\  tc*%ߧ̮p+;Վ<(\" O O6jJ8:_Q~)ϗZ4Ag~-8y$B-xS/nsh6BNw}!#m>K/֟?2[CkOI4JhYaU:,~TV$M9p$€ >eHlS>6h&T֐7:CpjF/J#1xʻ-4 !IcB&䰁Hʩ ÷ R`>AX@μ zJ1ϋy[yIHF@ :l4:{.+DC8x 7k+#sj1酚PnUhswn\kvge-jÆ L9@&n&Cxȶ@YO/ N(eX~3[ѳp}7 rihw^֧jgqo.~ґCW+-Eঢ়n=c5SϹA1x! ^-ӀĜkԤu$Gy1t0KYsMZk-TU6hH(!{Wj/ Mg;r{ C`iHJ [kjwnq\@{T3'í"l0j"_)I !楳0sѧ^Fxvja7#l'*Q ?~|)ػ3] pJèJ))6}F<rivRH3e}0Β.qb^LU7p6)|0 X7Y;pz>La6훇3!(Z{y@{qo}<'V*WE'b6]ҚU* U"s1|}n`L&WrE^|^߆JbSc<29g},*/~DvGU#[h(=f>nqU !B8On?= ;䩒';5!m:yT!yV0DdJ5tѵyɐ AfߚՖYHEBQ?#&G9S"Ի&#jIqΩ.Fm% AR=ƳQdD{Ci;ƍRdF.9QMA7e@Ca=y>"φUYdt|!"J4Zh'_~x22T(yQM'0YjĵAҋPgN;n؏&]\,q8̰o*h 7P0|;$8z3jܷL@lϠ .Z@.{2+-zJ)qiBr.!JQ ,/#Rgؽg\BfUw`faR'hVp_ßyBssB)Im Ù8Z6Kk?=q$\[9/%}#THIo:nхvZ"iUe5"^M݀WɆ}͛fT @NQOTk|)g}ڻ)FrYh=Hp9F*zG(!|&9-8vME8F|Ӹ0bTm!Wd r037|f!#zNn^-ۋ35y ; QNk9׋jw fe@=Y%4f&kjvwǁ.WMRrkZv2 IhX9k6e2{ id&?F6;J7 m;پ.@%Ab.cCB\F:SQ0[so]I?~%=9\-Q6Y@F/Tp.1ӵu>Hgho.z\mZi.hJ0u$V+=e<Մ9P9~doLlX҈F_wڶIFv ˝QzᖼΓaD(l@a0$)T:f+SVpD kBOnkk 4 r{ LpRIijzUvDlD جv B q+>^O.RyfG -8rK0Zgb*Jߐ}Ca4}MF vզuGն6P&K{v1 ` tu@{F7eT! OT-u\Ny2yC;bܒPG;jkdCܵբTE~r{yWb'VPGs+(3Suo3P@z5oxS\hᆴtje60(&@_%2 @љe[-eA2M@2k ] +W tq3<B~B?"ap]s-[vTpFdADN!dhU]޷T8WgB,/Oؼ_:ik$ AٸSv?vp ^7H'[u㧟|\ʪ&C L X+5《;n{wpeo0Wq&~j(?^M:cIkn R\낸 @~?:MN!|Ԣ'LX]ٓ=a(BtL-F[6|FHLDP ;'@aJdY2|ּ;HKf) ;{N{>akz8bwU%ލB^ b@b,A0 22w\O)]@NtzU$-3[ ܼ)Wbg]&tަs)J#7+*W PJpMPOU{U<¶Le ]^a.Hq&9 *aiA^`M-FA[&9ڄ\F O(c#0")وbWMCl5 םtj7@"Ib%K4%# Ad0XS SrLɴ;Q) 1tx}ذx$;C*TĝE7Q <9Ù:uDJSiisѿ2u8n2>NJK{阴i=i޲#8W= b^l6ɚ^^b?30=BjN&U6W\3^6eAG\bEZ^ƹo\ 1탙 ЍCd"\\gΊQ\'.lXÄFà35DB&0_b ?u3W٧^9=}NG=F(Đ1mk!J\aI&nV|ł<3v~+L`~N͕QPgm/c2)[bRdخ[VM%6&/.z_dANz/Jg¬溹}l+B>g\jn\JK }|'yBKA*MӘvr ɍNb~;ٲ=4/'rN}J7 7_tpCقbELˑb> |Cü3?P6AӝzQS9ߴjƁ#@~Jc1,|nvXns%6B 1)uAxՄ:il0BScU8Dik -8)ų>J'E3kjD#.N_P p0;M3ZN$ç0K2ά|D+=odU:W~3.||&bAGH?=S~YX‚zr"ZjiVl$(P/pfkUդN%6<AG'npS l_3 ϙZ6ewK9os ?!{,1KC3 !:º*ىɚFAlA3\ IՔ$lKP4s!\Cdڭ4 `<@so#Jy ,M5XbZ}DMV}59)'_8{ cZa ©j U3'+/@Ӌa@Ob? !t(e5e1Z }iN0m F1 ՌV5"ɿZ{!aݛu7 dUq[6G/E5b41t0#~(0Us;rjNs^7Rm kOˉ|.r=rrwYԹ~w 0z[GvZB{N@0/2 I>ٙVbB8ˎ͸Փ۞h6E="e;z}8ŐyJTC%VHcd(޲ l2uЎUf _q],ƶd Qh~Պ?&:^C=*@\u W/hCyͭFoK.2a<9qTv xh<$Yo pnT L_RWȃ6Eo\8#ecQz+u |!ӒXIVOW3jEꀮ4ojys?~1^@*IW,@!0Bx'skUСkD 8H"-Ӓ%T-Z6e'o;cknRs jnGN->A7ݪbR#\gp KnJdG3nc>ĆWn BOџb:)4ׯ@,]L0T,SGg]i3F~M)-T0/w?Òaߥ8]PL3Td#i S3&H~*66I r)xƺ ,&ƣ;M.!@i#`xSȧ@@Gi$V$Tle c{h%/(4> |y g=u8|y|(Z'di]&_:a7D73rzϩ R'۩D)"ĶFFMy_1FyAm&FH@+9kQ)vݪX8Be9/ xRzVߩgXf`iL )X3* IJ1=%{hFC5,oVi躘~ޔMN`g^W`9mSoft=t,a݉$Y//)1ܲ"!3IbRx{KBx~*.'#ePBM\M!\0(ȅL_~Uo2^u߃<|/faO9Z˰1`8D8,ݠ^H5&T~uy@;Ē^.ug) 3j9¸&Y^޹`H#Nj<[`J9P3#4%iuK+L޴VT>!X/+V3*ٖ.Wϰ@ 1:HeS=ܳ 8[v,q;Ej.#'szToR4"{EB\lzwin7U2q\هuiu5,Hr $ Z1aݲ`JO9GU+P?LeU,Nb6ZA_{ۏ%y(Nn!%=_3Tx,54Fhc7.ä<(gfSZ}5]oy F(lqD yQ\NUۑFLkأ^q {[Ϡj7j&7Q2وjP[ON6pg=#ֳwlHD:]'ns XdTLS4\$ʼnsߣE^ ;5,nB<ā/ RNlk qˆ qaԦ6gOt-ۣ7qAz{&vdI 'Ua˯tra =H[c%^r[^l)]Jʸ=̇JX 6V4/oWhėo77ov(Mb[e+j=F#QWIĤO`lV5Ru>[P'I둫N3=ީ`?njQKNUo{+RKʖRꃍ52tȎ@IÄ e8` xå\nJV=o䠖x3p΀d'^"`2?F7$iϪ FC' Q6 ,UR⾮\-UT.o1Rl{qL4{۾pcp}ͅpd eRU/Ug,n2p?']$J_9*c@)1^,)TO'0Q@Ly$ۚDs9 '!pJ pO6;0X "{\yn]8!~;]ʛ%UG)%8wQsS/CQpH)r8Ms n~ 0: [ľ1= 82493%G(c ; *5) _MT}>{6H߁j5-YKlϓ$FzS1yەx55,GgLv&?D@`)(nBe2\V@lxwh"aeil< ~??cAv PA KouƸ%kחgH Cw>1@ASSsqf.OQL!VH34 ,Xp+m& ]iMڄ 6wTW~a*24Zҗsj8{hesn }?niH LJϟU_$ wk1*W!.8.u?/D]f9ؼ=>}xل>(7 "|ro[.2,S!8E]E"o2m)7D`?8:IsM y$Y`C *ͿRjc޺bڟU? ؉ܸH/A 䬇 ٣GlR0=wҟ5xX|/@-ew2m?q-x!kj]0VV`qC_i0/M]m9![a'`:yoPY8{ gGcZ,Qy9=dUxm%WyN?w bML,t"~N:v9vo6|tI59|ekj<ˑ|MQȗ+ITw?qA":iﵸWds D7eT&.[u/y|=g6Q6 M 5i"X -,6k~lb[|MW+h)5o!7 鱏Q?~w͡u^`v%!6$E1mgI@VgTIC-Lv|-7Pc>v]@[xN3܇ Qǽ#ǃ߃@|ӢB 7: 7+}[Tbk~h$m"%鐣ZnO I`c ӛ u;[7 mqT&RhSw¨g)ֶ|CVtybn%[-fH*o%Weh֜+)|1WID+Є>;:P?DbB8|+a.y3;3k_q]ROL҃#0y,MyX"CJcJ*nU$f3{$,.oa=âH9 wG~k5C*? ]R2c™qxSV6l(BL\BndvcdD .ɪѭ 6vъ&g eìD4E*ɡIؾJwQo/cn,Z +A׼Dinͅ=r~U<5TX0<2'EAb9f$vTu|1=(HLG-sGYR 8+8s/܈iCyy.p;)6  `߿ So ) z,My.y8ͥў'v+{!k#PPUM ƫ<'->E֙BpQvd`~CEQPDSG j^0hg$Rf;^QdX+ J Ơ&j[` g#=I=wJ 1Yٜ}"I$$u%_䳔Z g@1|vqА ÚLMXXuZ I{Kܜb, 2i>Ҕ#w2@b3N|%xWHG槮5#N.iӒMۮ}_h: T[QzS4Pwl^,xiU1=&aG$W5U͓I
    -0WEX|"M13}RlCqO7p%M(\['@17֨J`m iʜ.DOjgپ>=фOesT_XN}@ V=vq3 _ Ti @cVӛ \G׾(LgY%eԈ:6}SwpN~%N^O3y a߲ҟzX8fQGs%X uS<h|.J(r!IMiu19;RSmԓR2sEYȗO<<zImLμbXAzAB}HH%+˞PveB'nGyxׅM{O^4,rySxQfX&=e!:dRtʢI`#9ѣ,w\L[τ]AH]~&e)]9nZŌ"gMIߞ/4dMF2(gRsChJw!Q_*]/eGe]Jkf+%(| ^RO;)rJUfW;^;xO%GieU(3x,j"6(9MTvjԯI473xbHJŎcRDYDQ3|pY!iˌ & fyjĎ~(5VJ!\"T-gjޫFkz>luKdI|Wلܮ65\iplR۞ Z7%}Xͮ-;6h@] [/PoK  /{٣$uMWK(v=@_ga!tʥs;5vm 9i ?b4oɬ`34(u9pBcXL oI{7g9xSQ,#@?~%1 <IHi 7mRP]Uiu5MH d[є;dSl )mTg%>![ bYǺ@v"VH%(9Z G`|QMad'EL.0s{)1Ro:b*J̢9~aÿ}^Xi&+ !+j9P-~ި,gu0\_XC&6u侢Òj0ů>̥}NNñJK 9)o fPV6e],qų]A_4o>m#3gN &$=Բ` > 쬓PZ|IA~+:]ӷO:lIFݸ9hﲂИf#iIxZ_SIzfN3zT`QV߄J1euKfd"àWAhl0rH9h&㣟Ii7S5)op_ 5EC<$*2+k ܕ@էzrǺ*ulH˜PϾeSڮ@=V(ip>8琐gqm7ۦR\?ʓPYp9& "%h?`VVf(wv5 Jk^e)ڷdY8HQd{I ̆y>&圆11a컱]V>TVO{wg!'x0ӵ L%MCp;%E%rn`."SP^gF L]]9T28$lKZ%ssW3)4Xp~OAa^Juw߭\uŭ8/K}d}0ISL۩3mQ'f Lz5zfj=^I\{Iӑ ^S#WѺ-5~Bxj#>&7PZ>fiV\w?uHS! f:SKJ~3?-ɞ5nsWxz4)tX~,Ӣxlj\:'сcrx&z_dJ%_[~EHI\މ&뽹)z9َ:nwBpNNB\)B͇v@U/;YD82ӠVDYwc:n)~E.Yw-9f?h1%х|Hccm]HH1]q[=ۜ8V `[Ybu. BmhL!-cL/L7Q3_k}R4'埸xheN[n֘ o:@sWNjs5pa879@۬繽·tASXQH4^!H8} -hyF8t?RN&#weg Ã.LpeǯŔҾUozdXmBLa i&U?ó#PKZ|Ph}rQu7/0WDi0b4 `J~~}[ʼn_Lk0R>c^%pl+iq-K a99 VJBϓ&mpi=>I) mm$:]\$Ηdr8 \GSE-XM5Ą8>iE:"shW;lZKP>lyB1>/%TEN2K: R<)B^6Y-xw0~Q#8!fA֋-肚F/zd/})\^^$LK|Zyv~1+{zE?_M)-~W뛜w.2BF#AQ_7RZݹK BtBiJuwOm5ST-ZH`]m^ppН]~ZEB[0]ո:Xy|eRri/$ 5o8UIFګ11˲aD7М]1Mw7qL9@"aAC8~YuWm~84%-%2C #ŒiL3O ej"$9rpicftd{NH$JWL/ï߽A_D%(#`DnT@W`M#Tޅ.&nI齡k $\_Yw#kVz& ^tkXs!w8^U֐xL35 Afxg&? !!Q]/jlBzD`N\rEBH+&pF}/scva̘mv)ڸƍLX_5R)3؎FguE#UP^ ^3gYZ95538f56a95cbb710d069fa34df974e24bafbcfe5f1f4c97eda553942b9ec06e90a078c551996761 43ab74d089e128bd76f985380546492c99756e15 828ad638e74e192cbb95eac6d611b446a20b3089