SQLite format 3@  . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 77%5l ]S HOL-Nominal-Examples:threads=6elapsed=375.691cpu=1397.796gc=135.524factor=3.727zXZִF! ]ŗXf1-q恈ބԍW_8FbѴ Ny#jx'|h0$q=h~&Khr \F_r+t:FbjʠJ=2`&kr1]3:n;M胱/dFeԟqqڤ&Zr #;[hRJ[9̲MJ_B䭰SFqPym C=*+c0 "57:CFg:tlSQ%Y=nE \D D7gQȣUpv(^>@wc|H^Q>@5f 5l?OE! 64шKV(1E!f FN̲.Ơ|3*̽Q=ȹ=\EN2I_:f]tP)1{h‹+ZyOvJ0'Ofo!t\&{YDY[,Z<[d*= 'ޟ?t:#(Sl3x#8nk}['0kFFx{$I6t`wjd;oY(6zG(0#a?1 X(P[TRiҊ 큎u璽4DSiɳq ԥ>_>=Z3÷!:(CsŢBНݫ%&rtQ:, kO`ΐ.N5hhS*pG:\,i @GK=态“ VECyKJ#FGo $B1w2+꞉:ƖR DK61 c ;'ZP]Lstf0(jV SYX;}moeʩ C! %+iˏ,/(r5^y '&E̾Pͦ{]]//H.ۻdn#w,\=G0me.*= Kɘ!ݻ;W!(%ND''A(m,.j[ r!s1dt'PSzO܂̦[pK>6E9@oM>%wKT,ɷ1RI߅%t)7M:m޳P w_gIabIm櫟tݫL x$o=MAli"%`,FKۖw]E%-eqP;e:\ 2l}OڊJ uV%]OA\|OTvpXs5iG_/}o5/! M!,AE`1NŅCf˃qm!aV $ wg&IG|Z3&{3EN* BRGMp9D? zH Tahwj%K&&d`)E‚uCbn@/^!q񏞁zS.ҧo@S|ۇ=k{g2w K_\x"bEU=LAjCoXڴ(/k"\.?(B^A!$k9g+{Niw%$DA |Q@Q aIdi9:ѰV/v9T!B` COJ^7vl, Q&@99%Ӑuj)CTE4-&>IwݷPc]%~/ 5 HOL-Nominal-Examples3j]2^}վqѝ0*?\G`p-& 2Lvi?-D`Oۋ 6j=g($E3@.l{E :^a%hj 'D/(_} !YDT%_Ǯ |"5,Q>B1KTz wݽEctjQ Ot\h?}(á{|r1u|kM}gcEJ|cW8iNxESq*ΛVeaw+WyBr~.ezh#̀a5^W΃,SrM7COYW?~IwLQM8 DUȧ&A,zߢ=ԫ_|Olkܿ6wf^EfO>$*f-!-KsSNE!tIB.mƣ/[x92Vϼ`uG S@'B}:峜KjeZgw1KJЯ'z"A~"&h- 0~Oݓ:rH Sn/ҙɆEӪ*r%iޔgTl#2oAOfՉ\`$ sL(lar?_cJ<[Gu?309憩$ dZ re;Ux/[=MqW,qTQu ڑLHUĶ'5 q@.G 5x5\_i}N$̠_T/eTvQLtgr s>V^ߙAjf( VEs'B\tr??XNK{V+=VΩ+L}[Zsi7s?>mއ;[4]3ՅCQp|쬳wlC=ԕ?=ju?xt5zT kHv\(O7! BUDPH+0' SMd5 cS׎_ھ? B³%F 3BY[Ax[`Dyu~0 aT!xؘXWC~ MzaxaGLAy\+M=c N[jgsSc$W Й DFQIhb !b0ˈW]AK 8.X%Ŧ-?:`cnZŇ-dʉV(R]ևxؙΚѷWH AoAo}r܆Ki>Ȅ`;mP*_-']jkuZvRt[Glv(O~:j܉I('$s)WijY)w)` ĥ-^Ck PTe1zHt$XjB\BJA ~0 C,+Ww&v & U?VKܭ3$OF n'_\_uT2zU c *J7?w&)`-ȸLȅUHCuOᦌxuCOSl#^vB 0  DL܂qkћmp؏L:,3XL u 0al) W_NѢ܄<<gn 5Wr/SN^ݝ4)#d5ڑU TC0xbd<; \:%)J{%:e c~,B#ogk(zB7lw~2]$ǩp_zۂq ``=mrOBJ+b,>ceo ׵W(x9uS5P#BC=O̔X. 痏N(M-~U^QJ#BP'>oj3ՄoPC(0g}A>NGfLThsE/_ÁƌuozuWZThqp·J|<~7uLs_)vrD1;A-5cu}.*3<玳8ӋԦRcЭ9/u5C9^|L7k_AH~nnW.@07}/5Gj9욓O^4o vZgB%H՜:*&+!Q5emEaewW꧂vr_PMx$4%Qz2UC"({ (,?R^5x:LcE+鍀RĠ ŐW}S3&=ɤP] *h򙝹ixw|AGrD<Ӭ8~a^8Ni&>ؖPlOh>'9PJJ4jC' /dbQ.EYd6 KrkSS\cqsedh ik/rz3Z:ћg@h^?5Ie+C}Qa < s4:gPH`S }ZU"iX~C?EqrQc|MJOM*NN@Q8a/Kb>J{ȥ`j ;e_Ng5GVǪCY({+ \Ǡ5pw%᠅^H?IIP-XKLQ|gXF5*$81q)(M*1Kbсw=m}ҪzJ)'Ӿ1^DX_Qoh!*A$XMP߇a_S\OWQP.XEJ7UWڈؽyWmHS*X .LĴh>HP7 5׿LsD4k4Jcz i{Bh 9!4g?a\Z.OVƉO(9 CFø)'` hKpE^6-x ZP1{_+g2/a"Os}* # csW A2'?렭6zsbOfȕMP\kLʾeD8֫1IS_#J".eM/ͮ3vb߹w%?Usp{Τi3`5~?Q1B6&䴅n ?:sL<ș^oƦR]$$4@ՎylwQ t mK؀`sLEcң?gQ*G hCYڨ,3B 5]Tua˃?@7f7_ˢ&Jq( PBHw!<苀&EP a5Wh jz~"vPGWPvyH#+"Krݨ5 Vɻ>ߥQ o^GКQ@Y9y#Ih %uv bsv&`# #͔1ad J>dvgmZ!ȜX!27@s@o izf8y+A7}t+ x?N'"(/2^ֈ8;>|4}jX s3ޯ2& O,cOq+q[cjf/cb r5>O"uC-!G0 *B*h'0Fd?L,9> "dĝf͈f}*׉*;Kռ̧+qRgGR6`ӸVLdjJm=IAɂ9; dq%Z)祑lS V0>y}џ:cԟm߸6YDOLaH|׵gYZ7zXZִF! W?]ŗXi%6}ZsL=g̒G̒  Bw5^@ԅ}X[>';5^GS*!ev7*:wڊ⯻X{7)5]Р0j7zMSPAW],u ;SI7=ф}K9$\Lz\Ȥxgi u''^w.U0*]j/n|`Wb肼5&J˧j~6O;5V-}%FԄ}6ahY R`F4P+ Y /!*I2 E`@&`njm1Zfb&_{^Nɰl+V;xU|-X|a,VDS@4ҙ*n= Kd;M|,R>I#9ut\y0$)cfQB?{VE4JaACOZHQ3>}$R*}zj!ydNJRCZQO9;^wI%1GRw;B7jL.̐װ8T%csԧ'y=ykɒ7L, iyuiv/H6ts&u ʁJ! 'r HvIJ l"O:6XϧhƀJsHx^N/oL\p5LOlqP,X;T ke(лYe*IEBFbdo\L(\RKp Az@yN^JjTk*Tkkn-F|n `.ɲϑ>asD8xM0pJoI(zkALDȁ5fD)G4<7<+O^oYѤ%~iQW5V 0!Yb[8*ө?sR 0E)Ǟ^BڗP0,n1pgu%$rhb$.&8Qc CD6֒潇ד{iSڐ}̇#bw&wFBklqmʆ=Z|#250QEpZbwIV$ .;Zd)<3cLn[ϔb*̛Dϛu*1v35R mE cfz>c>0*;ccØwf'TƵ@s:o.{hdpNOP4mȯч|Xҕ$u? i -h4Ď}3?4PL=nƜ[M'n@;ϱ: ˟?HKC0Oʢ"C'Pp2 4b[a%cZpK`\߶!2Nߘ*bslNb"1GT(9>=yIdHzDVݱ8 JƇ2~nݐzd}T([zM4Q%S9RI78.1؈4HՎHK+(?N4Ӳپ֖^ LLq@]ےKFpC㳯E^(M|zcwjr79kՄ" ؅94i 3z?uq0-$H)J*EX*Z#V5zN9 zƬ Pw &gHTSBaGymV{ߗ] c+D_tԬ\7&PYW+̰Ճ @9zHtpmh"[7̿iypD+!.Z0pzThORa%LWɛo1OtCW@$ۅ\.D{~8ɧ8$:_em_sE\oPL m ]mZL"5GV_r2 ϥ )^Rs ~{$<'hjtXhp^u $ Vf~&APRw wmE UX=~KHŝ:2xDISGv8&|)1":/4Wunkۆ*ӄ$X]j~,\~RSymS#2CtLj\"AB,xoiǴw+fekRy\]|i>,cq(&!UjmIEW{[spEӠ50a >T.XoV8ErAȻTr,1'O?NnW<]b9AU.!O$ɜrbROFrߴY.gzfi`!+kXJg夔K4dG~6¸R(zFB}uLv,96ߗl8pb]5LHc4 J#Mmh˓p% CǭoRL?O}{-a"MiZ6PX'?M*p]crEj(,ng#60OȦANpeTJ'<ü8liR1vQԏ0(FKF=y%W&NKEڽY&XJ£[E}QIj]%q)}#Cߊ~WRpYbd e YZu('ތ'rՔ:_KB#p.h "|P;Cn hСlZN$OF42k8|#{> wPjMYqGudFxKcPWA$Q]3 hpa)3Ts|$#hDdI_5ܰl?.=:9Hu=:zN#-53qK>#׬0Å5a>**JAZd+GU|7l. =?k7#xxFa23s#GWc?ߣpiB Ĕ,)|,!7R5i- NWj~Ӻ!`'šl`+{eqw~ўk:x9Іܴ`K˝ hDJ^5|,6HE a{h.D~K8jʸUYGXպ 5=_xgv)3WTNK?'#qB(1AҲo_E |!'&k!oex5Yf:{e~ЊP"|SpQ;z5&v5Ѵ%92zlV,I '&"s[e MqFY2tlRUBQj["ފjkmt?3FdJH6$h8:Q*}& X3kmfW(@#G,X(A55k:h^)hgbdq=zW|:.1KHҷӠۿ<ؖI>@OBe,SWX92 L^p? ;תD0v(uXBd9M. B#p|`av"`vVJ(MF/U80XE DMD@+*?e\w1LV޻.h|t A:HPfI^50]'[jjΞBT!MVmsAPmZTf%r8$f7T*Jt\QPE ܘػ59i pg?vunm F-+v>/O% hrp˝FvHlfkX>_ "mZuӭ! ̊)|(~|P6'P|MjSDÆٍ#)#[ 2IiJym !tw_ ܍`5CqtZ %fIlO~B>jxR1l.tQw{Ju7HN@V@/N&lQfNPܿit2 q†tAKB4?:kξƦ:B6i\m1ZGG1]ɨL^:+TX'Em͉'yUMz\W,7e[MqM.0*"9U@^ >+fāw@,=+;M`lRÔl*t\R%<0g*3B-,L"t:j)O;P{R;VK]n((Sam)Grg4x.r3bpqVBx[jl0^M!F>OD@WOo M'u<0Vܑ+>A\F@%vA FOF[& cYs1)@0d!GRsU3-%$]fV؁zobBG-W;JKkl`H qTwWnI]6B!!t\_ Z?LYXPlSɨ5A>;~p%=[亀NxXw7EhZ%Є״rygNj}`jD+vuېH, ;^ _O~/88췚ej|4)3yoQ_~:e h&N?jww_a^ՙ v"z}yca%fw˽hzp3]f(_}\YQHq</;6T5lf2[@;BM0c|@c IxkT҃?aJV􍝭@YQ׶hOC.`\0Z  C]cμoQ}yոSPs5O8~˕HROYҏU>c]I=lM̈́VK-4`l-Pu !f@FT "&zn;͢g5Dl`C#_d/7 :Z[%3XA,M\e? r7)Wmh(' K W UQcʆKbrckH; PkGHoLA l&FYcS<$ypH7XM׀trK&K`m‘򦆵/(X>p170ִ\>H^,FԹ 2$G=2;^a>YmN{9k=R"l: Ϟ#*!I肖6 1!M&S) NteԑIcm^?4VU$AWH&(xJ@a- 78km02\$/d 5c >w)ըZ՗;8;ڋny8}DƫZoT;4'hqo ny#:ua UODֿw-o~,OLX˫[6^*bq#Oz?ݱZɿ}Ӿ.87E!$ h|ꃞ=҈tzBtk.@z(ĬnLܖ-p?QP`Hdקv?\>uH7D2;awlils0(~LF lb;ޗ7Ov(8aB"D8w>ƪ#D.$[(Jhi0T.5v#`>hbGa:MWUiFϧzLfnW#*rGKk!th$nAi.`S!6QF2QH+Gwy8U\-iڸբ*kUx@Q+\-kЬ 99|yNs+d'IL }8MRa;C~ESi:Tk]zm}[-hZ]QURbѮ jR6#<77w+ ]qϘב6s?בS2cH:3a`M'88UBkB [~N8X1D<fxQNU8(m̋O%ġC@q]֫'Sz,7b/Q4N߮ӌT6$9g&~ÛGdCl~ weU.ZAyE"G2P-`xYm,]`*=yZAd**wj_˄Ս 9RYPW}[( <6^:H.\Z :;*] 7uW1dc0+5RO#~7Tb%̑ucrH|2R7q؎ZT"/9̙9O^]jx5>?dn0ahS6a R %lUX_0:OvI7( fuiZqosۜ\UVL͔OQZ(P\^VRE[2Sя)oSJ xYu:n;@1U8ۤIʫ'/ծd"(I_TRptYĆ386SEһܗlLHͱ!+y:qӐ{,D(RDe# S$Q'D\8A#_R63gq8Fz~!,jdc[4g"477NxRRT) خդf#GS?5LڴU΁'^%!%a<0H(暍4ЙsnMg7}ݖ`;^kkB\tH/U3ĜA P1ŀ{WMTǀIKT'ոIɔжJTҴ30XsV$㧅vU4R[/FEZNS0@lar6Gq@XgG vD5LNz;NI GA+@$숦 ʦN/VsM(gꠊ(X[M8pXY?)Ȍ9f U$j Nf6qM0W>wCA22lj6oȤ/Y V`*k\|K) B[ï5;QDg+!U F:Jy%zB2 R"/Olӏ᷑x2+ԲaA5lH f];$ꉯAճg-{-h}tj~wH9֚>9KC^蓬P/.(qlb[}y$:Cr.ҡ l5rT(HpQ93ケg+TES zhF MƧ~F%Tg7!rz |`NV+V)ۍll6kdTF$|y !|ũGU ,6fʌ#ýxa,;CwEn0߸$$6R8Ȝk]pXe^cŽ(FYKnU~_ {e^>i3T~6V㢎*\A]~~G^<&Td{ɝ+8o=}`RN50).v`1iV*o5CS,#G 4 3hH{rD ۥV&iua(jjW3/c'u$- Qۜ BT =aLNbrF!ǶQT~vn|d4("OI :3!8; 9.ٳB̠7ʼnb!yieBKFпl.T: Xk$/U}0*QI+tK-֋g2`͊{լj.]er^;%lgYo :HXENsw\TЭ~Ei_!F Ul+vաuPyKKRfQQW[qq@l}ƥDoq̻]`Ň~ d0/t =p`?a!:;j#dZJYkr}gQg2:8'3SIm ]IIx Y2R[ڐfV/O `t"1. lu\Um<٨ HƺM7ljy񈖶wm{k?wm Q5wJ0r M^1ָP_UʷָhmCd)&06;4 гXPPLF}er #"{LWoS_r:ė$X4Qd&UyA]mG\ur{U 2N}PmTcf)#7%]hDzx(<gbwց=U7ZJ00zzᎻ&i 6%6z155KRL~|n~Io"P;,$<>b5V0= ]VZ=F!s6bt2^24e|8Q 9hgo#? rgAGc '(nOZDM$s;diF*`lT gBߍoϟ #Rͣ m&V.3ޅ8gMʚU,/rr\밀;Ňf+KT~hFPYMVX8Z;[+;5F>Y 7&%מs\4%uJ-GB@%,$ne,i_0W2㺰o0(ʌDïc"/x%9u4PNMT1(”6e\*:Bj _0z_J C[Be {0/%zPsdxѣQoy9k{z% /qޮL?GYx;QҌa5)^m>,Du\-ibKR"|bu Œ"q@\b %*KBFRa將YkVR{n [5u9K]<9]:}]+6]s ZȆ#8L"^<Äe#RU 1C YoYWKFN&VD  Xäpܪu!7ֽ NRų -rԦK_A$2,LHr3,w[8/.q6f=Fs,qKR-0˨1>> G80AKJvq`Jڄ\d)m4UůxBʹbND= =ȅy?F57m.d3Dú:]^"2hpii RBO?EĿ^HgE\uYК̈́ݽEnb2n~>ኔd7`*%HKgpf i`<(IoT2LPI+҇U2ѡ:dӛ% Y2lbUdGa\Ɛh7Jm[cӬ6hwc,)`}~r" 4Szt4 wijhh}) :>){Uu#KMt5m|9p5eFc(/_#[\?lQbe s r&8FtVe( ^MOlω%u "!fYoJHeS+VIMFE&_rSn^LWu 5瞢 C|WI܇:&sp*b|] {OẌ́zCۤɄ+k8ft2]|eۨ:k<*dPuˉZJDBjڔ -wsńsH&T$g{G{tpk[|0tT|x[ j H7 LN*{|sUE1fJ"mKY/*_?7"q,EK`YٲGh*je_ :)5s,R2Oee8*&K۩_Ǵ5TSgStbqeUM4}BjcjIwyFVdVa\M dhفCBWJT**.q8~QZMvGNF`&阫tLfxr*(pxV0| Wb;ӷl=ό~RXx=47g*ᐏ)_͒j弉r) `ImQj䭊C-tp@P~M _ۙQa S1$Lmm D>[ VKZ7*'w+Bn99v$>93rL(DY6BV+m=u`~=gFVwg9K Kԙ},?h_ {ayVcaa`yyrHOw υY/o[@",iG˓!bVH=LqAm5PB48a5()FNV11<;*+8>LQ[Y0%R7Úuip#~yCO?(V7W~6YZݖBPE1n3(&y*zj𴾧Lf ˹%lnVΌ$Q ۠Viq&SǧUF%QAݯ1?,cҐ)' H]6R `e" U3Rޛy'2T{|oo Z&j1D9{xOI=Nqk 3;vbf8qϕsz($AD鳠j`sY:>b W2+d (U.M㧇`n{w&4hr{s's4vR6HLOzۺ,A<U`Pn>itpr+aěmJL~^a<)2wټ^"6YOA`^*|u((uAU_~aA.{u!hйaW4_=8KJwvX39SP] 6W0q :&$)~K2A/p=!Ogm^d"7Q%Qc[g2\q萁\ԀDd`ѫm ȶ߹sM_VIհHSC0 p"h\ЗDUP\9c]5N/'l8KS[f5ͨp)H]c/ҖծLw3uI4 Fd$tNAwO_YԝA祄& 6luFim€cg4/r4$3C(%m`:#+ٲHT\]Il2CtLxr짬҈>ƒң7Id=z'C4 从&J,H<>e szv]沮d|=hKY]wt`> Ԯխa!6 [2qT:9:2Ct{0y$hJJ)u)T^N)"j`Zb4ɅoGy$4;p* I"qr7:zs]7c3MK` M$ _Tݣ.;5B]x%߶g29[HsQ8U81iQv}W-ӅN  yEygtS{)c`X́VJE7ookvfS&P^m/E벚mD Wxe7t#i59ޓut:תueTL M14$kgcF>!ku.` Dx¹ ]#&-&T.gPߪ*8:V 5]p͑73s`OR@ TN}[et 3J|r *L0M*WzJRߕ.惘|qpX|'.J5Aqb#q1`A\F#yci'[pw;L ݡFPbZf'}B'^맛W}506M%}V%Xcǻ?55dG-J7[:HNF[aq8_Q٠ sAb}ᑕ:Dw2/ ,!}R,5lm;? v,M5QӡY^&4,OX!+[8ة歊=ROH@ RAgxOv/.4&Å)Wq%ҋץ͵МKzv G1!zZ{J|Eβ-@׾z%T &'~5T$Sat_%(;U,RouDCRO ْ`B]{|HHhaJE5z*$Ce֦ Z %l)L@pjxRŃuQŵMC F^@*hMoK^+A0Tv>Bg/`sr6O'к4uM!s𝔖ZY!fU:E.i&쥷#HW֑aEV֦Y mppi:_C-hV~k[GV@2ޗ5 KqQ1F5h(Y-X;KI]{KOPڱ73EG\ui["eU̿ 7X8 `(B$x.V:a"Z*,CM~&|RE >B2QJ[c$DC7eۨ :sow]Vfjxz.cGojXYzydKŞ-PBC$)9]in8_}Oa/R9uZ3zxjBUy ]oe'##ilvn $@>0mff\\QCLkp'[# ĻuC%3ZKe3pş#P/E;⯈ ۉ֞X,C=n\ͳj=xyq5i.sS(<4W6;}7RE2<d(tB'fP agcz܌7'Q6m\ڒT;zH{bRr.ޑcLZ"$Y Z8 &6y |7EѝGZ3G2,fA\Zi0bH'%B\M=W7˶(cge9pbc 91J=rD[}򸑏 l]_ 4\c?"/$s[+tHR:vb%+!TrW [{8bi$vo1J'^7܀Ln8C\ RJɮ[I'Yav2f3JVSܶvYilcV,xEfn#¸"V8k>PyP(v >>fZy)/?|^1?Dldp!Rq>ѧml[#c==KHoӰ^VF|>q쳀Oc(D)Qx^vt 3ZY84^U~Rܧ̇wA{Nz1Ch:,_ߗ{y}xTmo`U=+]xv/U|6*5RG9q)HpD.X`d5+PmP7gP>7'#'b ҙ167D՝ 8+=0}Z-QMe*d1ڦ!!saijp*x$WWJ,&>gR?"iz EtjX2" H/f2Qb(g.o076;ۨcN?|l :Ȋz2F%ě0&$+{<\e!OAg{zb':28 [K}6܎tc^̮udKf a`vo8 V0lx ZgLDm^+6%>(lF/g[Ư5%)"4#^yp)ho~IA%-Sт9~բx}:Ǯ9oiKiLx2Cba 騔Py p-xRTZMVp㿜@JZ#\6?Evn* \r]TqHkIs%L=?y(>XiS\MtjVF77nmaH Ħ2Bo 57wҨJRhnXk_\.c_S5 xP[XՂb^OC!~vgB)#T]oOoMd0c&} 6 @2"kV;erJ%[+d tsK[Np$)G_^.f^%XUw|dC<Ru[S! L8e3IX&{ai.]֋De29ua@nt~mz*X+ZA.5:B -JM7*,p9xx9Y4ViPPYv(_ց(jED:AEBE|NIe/qGQ?s:8 ^}6 D9kXv8Q! jЄ? ĪaIG5`s>fT]&!aCn"!3 3FV|#2}g2DV*S5{ 9 t! m*.h>fb9OSE.?2!1H}Q @TmޛPQ r`,jUXWT}-b!$y9`UKw*5z I0Z?<N{䛯o"_ÒS=m 7<%Ȯrزw)ZP?Ko@Fj!V'Y)4E]# HrnqƯbK=D·@?Sw~E=*݉qsZAhډ^j2b}aŪQ$LD9 ^7ym~|>sIRN>6ۋ?dP` 0`MhcEP%"#`S|KfsauWRe9?.kXgQ/euC0}!S/Xg@ҟ̵Cby3EWj\_Zq jJߗ~a`rn~.xdD (72ae0T' hi e"1-ɻィӊ7(ᣦ(Q(uA(iDTN-WGTD8 ߮Y\`s{SU^l .볹ZM^BMnVt'){mM0o?^n wXc"ruI5&r7ƝIu0~ɣ%"}s]/uPP*Jt $ fj!D@b oDZjĬhd|͌^}M5y$F0`08^"~{D@+7%? RyvF - Q508y2) xVG!;7^T&0pօ7X8` "AE ǯ{3]$Cȴ V-աu1?jd =nKꡪlZ5GAOi4<]}_Ao}%YVkRPbks1Gm A@:4WKEb| \}&Z iwXl{CN7]<Ƌr4I״$4zs\gHKK5iCJH2?!Ӈ-[ DS##$- ItUeN[lBSryrǒEdk"-[Iu'fOMf{H=er ?ʡEvE ͶG`]?֊rU/ 5 i0aq!-j $k(x>$DrO*7m.E <]DRVȎvic}&l-IJa"'}.V<Ɏy% n'e:U+C^Yփ~]PlZ](c2ݰvWZ0,L+"yA~sXN:dOs)=Rkk?GxmA(i@$ b>b:,_ޛ`[ms4M4=ڎ \l,ݪ-D0j  B=N˽q05?E#uIbSdWg0x82FiFPdG;7nC~,3 fGwI]&'pƂG9En/s+OJm Qq7™WS.n%"00*.@gxPOC%T1{{ jVF,!n[4) ؛l yS9:| sVm& Rvd;s ٖZ:f&&> N-f 2:=Q.E'9`9BgzEN%hwuO4K)(\*DַFҍpұ Pc vT.JT+=FP\LS 4bWS>pCу:ۮROgYZ0d05263bcb5e47cc93a165f8a47609165d8ee9431bc35d9f5c260a07418d50e521d7d63c2a5eee08 ceb5af7e7710e56d8e11a352c6a6268c805bceaa 61286f221934408c604d798e58d2aec64645c74e 688825ee15c4898b2f3def2ddd5d28810dfea035