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  ? ?=|$ ] HOL-Quickcheck_Benchmark:threads=6elapsed=308.182cpu=1477.888gc=118.816factor=4.807zXZִF! 6]ŗXf1-ĚEM@ٚ|3 5 !8- ^mE;MR 3nIO˼^7fπ}1i ;8vz*tid90@q,Dݔ9yj!ߏܥGLC#GfZ` W@t{L۸D"q3#*!b1v$?.Ugޤŏ)dU lжex;PVbo<˄#yh^ldf"#і" K"UݥqHD6~I#.3TRR:\/m!7[wN sꢈ/f:AU ׍aN~kiA`5nU `Q?4|ff;MXʲj0PRCxSlSZhg8^ ʪ;*쀙ĜžrD<٪(:+[:+yJ]n.so/c#X{Q?Z~ &ެstR//@2|Gr:/X f ;BפhiIʎ3CXE  -,}qgYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0Ή*8(c 'AX`ܽ9}ɪ-d8 - $PE }ƣ9܁fȔn? TY26 z=!\chR֗(a:n".Э n̂14HR5"30gYZ7zXZִF! Jp]ŗXi%G zco7@X>qTsbI !kLۭ-+c+g|Plq𻀲Mm(ac q6OE pʹJi ^_Ix$NƁޤQ񊀧}y)nV6>._o@<Ϻ[ruq}d`Y_GpߺtcmcM߫N}o/[c?BBb[`be6`Ŀ6p]5JA(FLq8U=Zfe`2!ro$Z$BuHޅ ݩ~l&(1s5*Zψ"RֱZX1Ul|I1TkOzwCF UW = HOL-Quickcheck_Benchmark  w./G`/ k>zvoD $O囅FlV 16+Ȁ#יPС^~{&RO zjf_0* El'4b!mnTpc ^"M䛡K$WS=&COϴy -e&~랡LLBuYCTBA}rx ±3GJAQZbq6ܳb飇ZIe)T7FQp # M, Yԑpb-MMR;b\s;+\?bBLѪ$RJ<:;D^dT\'ѱg{߰uǹ;|Su5khI_~2dc>|3(ob'v\[jĆ 3?o,^7@3 5:Z~-ZzD&vR+z IS C&L*D ~,ȾuGJ^F}`#S9 Rt?&[+)O6D*vZˣ*ӝK藦spΣBo`}*6ɌxMoDC5@Bfp{SۺpJUXܓqQ4˳6x֗,D3hI' KQQM+P>Vi哫^Cژn1il43n!yr.U<'-7j%V[ߺn4%r513s/81:H $ϡ;&-g< `ƩhE5cmTEّ iƽC`3|T՟e;yRbbgքA0nK!&&וx/ʧw:DoT4e] ܐUyF>A-g$hSF3f^f!4 fY4%M|N äj>QzCˮ?eQ?\EwDq\ Evn׃ATX *o&Sk4Qgi3‹K3ԟǍ hqq*=C><T Y#7ߵÏkĸh;ѳJVu]|%TỠy{'9bc2nڕ@-WƍQ$wټ%8bEH(qCO>#BV˦n68,"YOtR`ȏ9ZrΤ|!2A<@b-P^+`G ǥJh_5~'K!н|d:F0Bzb1,{3Sy<0H}^n_zb\?ASJ tALNK47OA H(2X2Q^FJ. pj>\qPww$~sTcK3*~T<)Ah ъ7͉6o99,Ka-bO (F>S$_W0h4#*^0[zްN-]!l}ˆ:QѩSg~6g_!e 8yM;xI߼YƼA@[HOkYɠCM$߼ﵝmTdN7¸ J/rTZu5poTR`tߛe_bTWA]`If]lnul;>%! ԗ >5*de ]NZknX`]~ŷ@˪ȄN*֬p7}sqIl/ec F(eY3`YU4k#"q{Rɲlgk C% Zkb8 Y) 򺪁8]'{{PoPۼ>x&Y!'Iר2I"t>  km&z{DNʟc7(@p{ O{nKHUMRv HdT Zjtk<^;Yv €"'|*0vSh>C=A@}O($1xȭ-@ioZɪnKοEv)c"F{886-BVTLQ4*ypѴ-⟯JDhE3q',wY yGR@ / doNf_屝t`򚭸Ηt\;:vejfQ:^ ފ#V@;tV!u]unYrbHJ# UԄX ~,=1{7o 2E螉;6ޢťחDA$<w-Xf9Qr-ߠ׼6 g ؚehzg{Dm'^i<ܳuу? ~>Z|}@.p!L< %rSآ@! 3F q׈\ mC^zbn_$%47nn9|*$kZX(6b`N \ NzftvCBjs+P@RsꟜz؅Xǚ#4GLܑyXsݙEe|?Kekm(C3Or8۫"z!H,oN.G$%=;(h.w;5;81ODޔ@~[:]Mv$NM\Lo S]Ȫ-lUp f9Z }nw'V HEL 3H<\t,Laƒg\ʎn^wi(0)\"3QX#&j8[zrl Sthٵ>P>W0D,!qMCD᭸ňyR"ȝ?ĢtW:1K9cKLO P%7\֎nzie G#h/ ܜG^SA^I)ή.$$Aēmƅ?Vwdc3W!wH2.p9zYU4$#3'wL I]- ܄0Cu_N"':(U ]惍<:᪰;8'A^vU{\kYrf}@'vE/-O%@MRvpHk?+N'0$*EATmcMZחHIYB4y_UOYTP(ICIyBIcX׽*=tࣟ/<BH6{zIW=ZZvI*YJO1kUM_}u?m-\AxUFuHqWsn^e_GԵSq_ɼqy[Q`2F\kQ~z{`B5tARHC;O[7DBٮ+EW7Tge۸}wzQi;R Y:+Y%(xVU}VwK i~]j6.#Fg^ހu`5ugsE,!<<;rgכ& n;~FlMKFK.QCӮ>;[11狀bے/oyh ^:4^?Pu)5m[vq04od2e^\or#7}Xɺs$B D, L?HI`\-ߙ^;t0J B : ę%(KJC#l59MW EM0c5y^G_/Եbv)s_Jq%} @8 Ap\w/E8 =5Pl e@߫sbl>o0c- 9 ڙV$`Lݼc^2h8 ͢`bIp!ߙ|9Q^`t.Cw"4']c=ұe &X[FAS=aK(xQ|/KpTOmxlQaJj`-ٚOPn97e^ώ`^A=S8)QTYOl^(82hvX~>6ۜ̓*ؾ>3܂Mxɭa qMvd־D^sǜBwlxKur"A/ XBeC+ PƄ*ϱBNO2CatpvU; (|1\-13= A2@s8Zi| IٍLv&8pQxJNH@JTz'/9qMIK3ՇaXSV&4@)WFCh4> a D[!AQ8A> 5c'qt0tIF|~yƙIOZɔȆt/ 'NM#"58kYQ6<NH,¥-ֻY(gTTe"1=~&#fޑCqi'?IB|ڶPv3`ޘ]bՏ@*Yc33K3C$kI0xkxHȧ9-~&MYٌ>.z΀4^Y0 DXd (V-_ͅ2x$#MH󓩻fZnv 0gnyZ//;/dE. aigqp15!nC\ 3 x/*-y!C2=^h dG>/Vފ.U)&ݙ0X}/I!urUy>1WfCyv\9jPu\~aΪxw'3^+ EPXdciev*:٥75H zf9QH˪h*yJMHvI"3o~F]>T4?.L{TA*q0+yd#Oii3뻆oGwC%B 3O6(w>ͬ; eB %Q,{Ҕl {H{/V6x M7R͹g խ,}IZkIUCP=6|y!īSzBsqϔ8V#|٘o-isKG%bxj@7uHJ 76F"(*SPl*fOsR9x{Bd(F:#U^xfXGkY7t!zօ@ꧫ9CY!zP{w6`r`z@2QA\┣"qT.&@Rg|3Xz]0TE PW7zKVTFA./l70v׹ɴaNyag̻t&þ.c *aRe0k KԼ18*ʼn k(#]ewvC ^J@4(f9uߡSqRr\zKJH4[P!Ă11ղ*: -,cO 5֑s'' *+:+H ]ˏ8'@rdf7J5F!9HtVi4eWt9!cP(P{jA6Lv~*Y,> 6څ.Lɮ#WQ1C%yد͉cE%#Og r8Y#bqR;c3.>fÊCyMτ2ߦ hTJ؁{sM:ƕ͙HхZup`kZ|vxA# ٢ې.~rE&-3Pv3ic@esT Z =]s)v~F|2o @I:GƌNJz7W! ,}pY|^1)/O)N1Y,|[lyQ6G;xs VD*'m5HP39ޞ ; 67%Rպ~NrhDh_b*1|yHL6C̒ q~ϳ4&D#\་ Qq*N)HJ5 bK3N No()C3q ӰůU*։ƕXE5]xf?lIL}^ʧ) :A[+='i0ъm mqѓﵜH!DEjJ Lv0D79 A3:ty\k7]u",hO[DOIWZgzCtMm Foojcv~']Y}5;T/\rn4fuah-F#v|LHnBR]x Ayw)_-ÍgvqƜEDn=PtdByL4MKbvbUb&go^ĭH8Z%"bUBjJ$Ldg2yf g8t]')4PY ˜"7uBRzۥZXF!= !K%_2 >Z e`ɆPZk56>SW۶qdP0*?KZ/m{S N:E 0+&,`ys>xngz*JSn"=vM mS~IR 5abuJ}x{ B#f|pQ4 _#!5LϮ2q{;SćO§pqcNbUoGպ:\[GR*xCƒ0tBr2νf64MA":}'Ii'u:OeiP~ !;hFQBYk9s2('uOn[D.4ų2Y iK%u Y1ٰ^=r8З_6?XE[ #lO^i50uVD[`I2Wıݍ¦HvË*WG.x`26b: ,q`.Ũi#;\#MlzEh`>^9A(9A,Q4eHATº`Bpu#QB;Z'J 5w96iKÔj :p j>Wn2`(Z%2Aՙpr0;C R`bjy 35fyNW $5T7 t5}"Ebm^Xv7y^ۘvXT-\c ;ߨwaOYmS Cze;Q~"I{H]9zKC@N$rǧ(#Ydo:]|"/{:pChVޟW@}`\i~%p>XePk{j+=}t{ʙ o(GFe?IH,AuECq+ԲI̝  gTRM )šmVFytAN D0}NujTz(W^ԯnv6fKÃ{;آ6H]4yHG2bnڒk!_T&Zu\u4kS/>~1g4Uq$߶l^^yc8$A=[g؄@#;4xp dHђT "5%ʙ=e#Pp$51i9|uȬYܮ_"9O7=ܣ\v~.b?½mzq4^!/f?N!Ȇ+B_ wzn9 SDZR«U!J4C"<<@﹆.>:K$gFe2e;ggaJĂd:ufpj6#ß$ʐs9,̯Vt6'?y;xyu[;[Wj)%k7tہ0YǝK9hgַ6˒h׸qʑQVr i59[F &+SwMιr{jbNS1Vد.Ɋ> OBbف7&~.4:Ej}m0 oc~#,g\JH:m}.$Fä xc#6ٮ$<8VjC=ZLL\sVRSQӬ -w^rdb~y&_;Y`$_1$?/gSJ$A89lu]|:i]mM10lXINNs ZB/5|zN݉ nO3J8CاeTi_+*{X)v`?NB^Nzsy]UX/o1}qvC q:jw*`R:&iK5a"&☶v"yt֪S2SCIb*YJ *|9[ j E_ |-|xN5im@|NFxjsp$Hu4|!0 hԏ! \+H~zB'8oú'Z7v)M3uT^1c~kDQ^Džiz$EE?E b SxoD}^/= ֍ 5&"-Q/' IEb`o@E2l؜MWBmu%ܵ)-_Qkb]_)HCa'6a4Yu蹒+7VJeq92v|v+#+Ҭ ϗ[}vb_N f86Sxp =!Nl'ymbK;k)Pv4`Wᕖw3׷lȪGj YP(/@ ?Qj BJѮTf7N6w,˹{{;|/ )mp4<LT6S 5ۇǭ=* δ@HYduttgQyE<4CQz/TOo12Bb=G5}Z*zy%NFoD+۔qqy*D +8MZtmo#i՜dC^r..͍?PLp8jo?%Siꒈ?1-xgo!W߀F0BjʡT$'h֮ZU'^CF;#pQP8ޑxb ufk)"b7Ul}Cd @_@/kq8Mm"S3oݴՑ:8>TC` w͹D_Mijr X5l&FK)4F%R%&c'^ Ļ/25fg~aeHڊQ&h̟`NTMYݞ GF a+3b> \M< : @[t+ְneexG fdGXfUcBHԫ@I %@Qx67Yr mk|ʜ8>Y[S|/U=Z!TɪO iQhD[bv;*9WEQ{f011DqA;0FӞ"Fc'6$g ^,hiy\KAG2Pn]Iμ 0zÞS`ch!:!*!EޒPUzqN/%|؍>\Nco9[G ֏G#pq;.Mz>@9xy*n鄅B2ߔ5kuͧ3OzS =yh|_&& AM,ΰZZlמ ߮ݡ3¤s؟J@gsMr^_zL ȊJ& BYRMX H)=h{QL9,wP>khd1@8,8*xn-#7/a609Apтd2/vaY.-nV ̪Nd u\HU׊CjH]WTLZ |hQLn\-iйh*F)*%Jœ!iCЗ7zmPX.%F i c$M2VdNt,ة~ Z@,LS%^{FAod!@◔ SdS 'E gΈ?(TAwL.4M—͢ T iJx/n~c6GTՏ o512/ y8{ا{*bR]U-N~J$ h@*I&qݗfYu|toZ}%tV1vF|S#a.?K;ŻUn"gk8-̐5!@D1Dz:G׿dxlcN6lEa1h5Y*"~Mp/Sn4}t:H(D}x ,?j7( 4z*:'8$V' X4v+V&r$`vygD0gڽmV]iس:oMípn v0 4le&Ʒ%̈́J֛X.3W ykGZe k)@=;x]ӫpG3 P%-xNT;<lg}u^-5G||>7]CZM ؎^crndP?s`y D[r `\~q10U =(#u)5%;Xʣ8b#dv2hW@=ԧ&0uU_'IΤgJ3`qfLߦfhιeb5V(~D?:Ԡ9}F hR.rlf{"j9>%ɯE3Tu~6H +T6/\'#31碸 k`>z/*K]d4wJTPW഼o*TJϼXMd'$2ƒ QvSY ^vJA$hc/߃oj۶D3v'ߵy5MIc +Zn},`ve{j Ð4¦ȯx,J}̫D_r ܠ)Y{`E-Q ۹8M`5 2*c I9 z牶.ْ3cwwH0JƺM[ʗ^k7bg^Z 9G;Ic0?2-yv.I^6*$c\'"uh )_>*S=i#SX[QF$>G]IoEtJ XȻI|2A x=l?)S odFzj"QmwB#v&Ywz[gS*ycGdrJqT+ò*ʝnE`0M[Jdco:odG{+5>#䌖(&|q9N\|eIo(hKG"D7N*;Iع rV -~vCW6XA5uyYD%mc/ ?(uZ^; y&uľG_NF\$ީY3nE!|۾uOΜU݄U8%?:iǧy?dQ<ӕ|Fa&Tb/v|5w]w"%h"z*)K\5 4rڨ$^ib_[Ly|\ڃ::g9˥?}қ3H}5v XP$;\,,2$oBwj@d(^=,D<iAv1@7 &Yhio2gST9|/*BOQtƙ(Õr>&s4K_вKcR/o ڈ$L@ݐ}5~@Fdth)ϊrc5hxUu!pR?%!x|wo4FnܗSR1/9 {2o79wh="@mUlRQ`a'3Il& BvJ2qdUp^v2Xu!PJBJS:԰cH\P&4\x [e*yj(nW Mҹpڧ^u*c3v:s S|{_Mܚ⓮_10âO:XmũK&( eh#Z*fw\F6/Wy0?8$l'0C՘ }2%?$DGCd:HXtS^TrObۜ)zwZNGVZd\=G.hW'Ӱ&oUrQP +):rR>"wWva¹2.|%>KY%dJU.: HLIbLI ;B|$x)'m+ A=Ǡ,(Jt Uʰa4~La]pvuyL}i?O;&A[әLyU^_h qMyQ܅89v}> >S2!~ HoR>]/` ?s_eÓd4Ptb;N%"JZ ~'Ar `<\=Χ}ٶStKcK{ף/(cahh3ŕ!E!Z*yYXbH0 C% rQbP  [~|sIE+DugNfPU]]_T=fjt;)x`E >On=5{t׿ډL2.ӓVљ6SƇY]I-펃Μ3<dpc mkǶ%^҉J xC Yȯ FMnjkx+pSU- jˊibQԨ,ƜˡtGz'94-4;ߵw[SjiA.~\A>#QrBOT#m>-Iqqla0+ATI&j&_mo`ڝ {{~N@gҫ"Hfګyœ s礻Z~ߢ4e|l!I65{Y)v"=MA|yZP,KG`״?6C..} ]e6߀gTYXu-} \!W8z3])bhoT}dȶb P-=J:eJk`#p&0ћȆqRM\\6 iYq!j&>xK#u1= @tH'Aê<\?ns_."p$xPJEPppͽX^߸^' %5_6mt67I9fHzer2?*ޛ2K#W,Sߍ~]5\m)jiP+O8lL_pivwX'i‰Cb!@l\3?>i.ߪx6 i_t0M(^C@Dnwɍ܏8>cSu2(^Ę7Vn?%#؄$Ǻ؝A dF:)`<-)  (lE.d2[Hfs㯎]92֢ `*◓Hѕ`$TH,B|@7˕Qbe}a&zxnDKau6k8Hc?DŽ\wu*I!dM-Ecgoq 9ϖǗyց?*r-.0^DVҶܚPWe~rfoi:D]AbR"]薫ǣ{MbިR+L\Lv;E?[ - {-2[)>Iʰfq`;: WW)5k}*eI rZ7؛͐{beF˙[_3MSuzSDS$?su6IUfLsC%p w5S i׏ĿU:x,hb.-23vZĐp`1·uF.pL@q=] u{@],suN]'' 8V+d˷pQhP܆HXd5uEv?5Ʒ.8 4G梏:SЯX*y#J:xF>)) !q ?/]7cqVmb.ʚ$!-OhRlK鵚q?SՋ-a…aȱ) l 铇ϞنxaWgYUXW^3B5ALQ\Sѫх0NJ"2N.@*Jg'!\ymmRh@@9$נ}=fa>W5!N>i߯}>ص> 8tdG}T[V iUR=sx承|û{{܊4y^V³к̽ˌrtߋNӤpV^3u[Ev6HUUr]mHIp+6~F&u,dk7̌V5%/Y6mc0y 0l j;dKVR׬M{ؓHnNqkzI]kOwQcK J~|<~ 6S&vo(ѡ56:RV@v /MkeiqYvSY#g5`lF ɿSN䁠fVm%uQK`j8 WU) !ؗ1Գs䍎5l/hd`a%y߲TJ {Q.U aqb_E[qyt:z9Z(qjU%$(a$fxF|n?@KAELVn~gv4T3mD#50օo3,㐷MVg\i^a(1cД^yOpj6o Mb3IW<^`qܾ`a4vҙCiĝnzU& 1/'oHT$ ՟Fs;Wߋ?끣.Lf2@q?4d6kyzyZsNH}o(MQh_)2ܔЈ1^oɇ3RZsՄPJ7YϫkMx% *?s7t<G5XxhLwV Jĸbxq!&flNpLOlD=({4r9ՂrZIf^s@ |c 7$΂",&Nt5ܵbX'Hoy$`^SЖv}@ǧ[j*XF{YJM/) RO]!NmW HBX'Sg2S@L&h3/WAd кeP),GeW3 +!KRcvTVrv0%fu ۩/'NqO\ byK??"Pj|@iHh҄nɮ駬2_ Z#]ߦaaגՊQ!5m-*$Ʌv YF:lKoU2+2P/P .CX\Fae/-N,`#=J!??#"`yV1m)K3쎀؆Jn?*f^naZB[@C"ÚiX(~*iF7-pĢ6y(M ';.ŏEBfn Zw/ 9[!vp3.+R*9 U?&d-Z39 Z_&j^~\w f+zv`DL1 kS,(-K#j {+t}gQ7ۯDR}q6X '5ZmyUPճP@V{@-%K97IzBfV햭j%{8U#Hě{0jzTG= .J2g d/VVu2X\ Oڔ,Eֶ&+D5oAy>{P!uW$kwvjm8{_\S+5je@)9!k-ۍn5.ݤ5꒛nGsqapQz(#1 ?L+T[Q Z5Mhw ]Zjî9Khr#, >VtJ`E-АTeWϯG2l Hx7nBej.ixf q͸9\rKO&"S^ I uܺ3^QLE~muSRzswriӮL˗JAf?"w .g8x6B?wkX'9ETDMYs$/Ij+)sΰb| 2VAws3+U5D ˑ ᄽ:_i)}vW~I3ӴYl,xL-xC`5/87wD B)fT?{nti!#sc7_*Bea3ef;/ҸzI2͔/c|.AF(~ tnC!2ݝQ;1p]]uĔRR:6>U(ΟPMC^fʂcѪNܳ] ?aa/;Lod \3]5s12/-AGMoӮ0-!N_=Fؓ-RQe+3Y@Gi%hVHf[F +ͪU#Q}NpŹU(ڒ\0o&"%9R"z(aHχ-rf s oD)̊#H 1҆H M1j~ňnu )@Q 6@SRkn 4Gzg`r~Rvr=v9 y^ VM+?3M 3cqj1. EE(,vU,R±δW\hFʜsl5>:Yrt;-og))J2N KN VDց?o%kH7:2u1כߖdL$O9~ ^=ky\?jeI:VtLPBW|g2}(Glob NyNp,pZx:Ɓ)"ypK0:]ȟa+7{\Zͻߨpd cl5־MR=S[{x5Д&h}`656exa gb|L +v#_GRSz0hKkwNg!(/U0,(w߆Q⻥<~.d]?"HKi}(LWOڊNir4y:M}?@#ɿ:2EI,G r֟a%qrC%ݵ[q(^Ίe'8y:22.ĮU8OQ^捥1DZsPeS-qtt+qxh c0ic]3#&\_Y s"_U/ů;%/gV ڍ9w0p3lbgЀdzP)b~k+AH)WeK73nP=r̊GXa:n'}|pNj:,ܤ_"ee.ӸpJiD&-VA"(n:$wz:zP45SNFApZ)Xksh' 9=E'/0|$? !`E <5W7Vl5ޙ)RpTpIG&蘟rZPM1AmHrt,I (Եm=0 ?o6|FoˊPcd=uB0:KX܏ŠǀyB҃73l(2'}X"׼^)yW>o."n{OOάOW"'-+>Mr<8V8lA;:<܉2ql9 hڽ7ZUv|:l _Ax%)ݫiɐG>)JO3i&Zv6ׯ2få1,"H MnWFϭ6O,HKo=5vA_c+ En:e{ Z "4cD =֌MXn}1B @J]Na4|EW+Hc!d{Xˈ&u~f99 5LG|1 %jq _ -Z,gqpL}Apu|<īu95d Gߌ DXM9?殼5.QC^7H4ca/t2.EcQ]Cg⌬?;!1V`2=o$Mə9j;X5~jA;9<#zn <-@a\gbJz":sZu< ^,gx(n^ڑo23jTк!<(Mn7c Ik\4\M25Dq&6ߤ |IφtLxTx.S44x.2ݴGW^U$ޱ_,q`l44G-ͧcb.P(6[ohKuro*86ƈR$h3b)p/p%X'[vUh5W5 3 c=m3yf4a]1c Z0XI87 %ߎWΧeqTuD -+CĪ]B;!Lk ;x ,N֘/#)\2{U Ő) `yܷG!GWж `D|:=4?^QƊQrzfL )i lդ":$ؙ9ZqAj OYѝnuS#xA`﷢ Ώ/p{ N;ήi` 6bKn?} ~Ƨ}fX"uFbʖOlcLb۸qF>cʃmLu|0Tyjk8&ѡR0MwcK<"NKS&H筧ҩ*v 0%(ȫ&\Gm܁յA#Oin2_Na .c'ZEjAWCvqJSlM5vs;.bOH5e`"%YޗPύUu&bTķ1oъ77CCO23je<$gI-C&b` X`n1eVrKM~]1{aׄZwDGl+JGԶZژ<<ݞqޅ)>?LhV+0-7lȳhDdG]=" OEEBb=|d3^j'|Ɗr'G3߱8 PkbyKQJѡb@4ݒl85˜A^gYZ1cd1e67ed050dc0de825c7bc83e807b42062b49363b1f4bc87078c4a404d2432b7da6c3c391c20b7 6b5716f4acaac0c8afde2d74e6603ed46b759ac9 f53d2cd4c8fdc28548614d5662a4e9ad718b3759