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  Y=d4 ] HOL-Quickcheck_Benchmark:threads=6elapsed=303.036cpu=1445.024gc=108.984factor=4.777zXZִF! )]ŗXf1-ĚEM@ٚ|3 5 !8- ^mE;MR 3nIO˼^7fπ}1i ;8vz*t.Pl7.2%K@HPlVnyx$'4e_ U\4EbFDMoID좶7V/p8g?^'€*-o把}/$G J. RVZP Ru Acq~(x 5c:!ZV?Łk8*v|=rO-\$hǶ&UV=? Ui=&7j*YuUaAj0+|a}>}nݨ<&[!v2-D};0"2Vjln$B mp/ zkw`' I_;ajQye. ]ɯC~{l |c}bⳤKEe%}0L_Sz v'FߘdڎKy6e` cJZcP#؂f+gYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0Ή*8(c &.ݠUmG]{2xQV,j#P = HOL-Quickcheck_Benchmark  d6Y؈摒. L3|ʌt2PQ0bFX$T#g7ƽ VX!rtgYZ7zXZִF! qn]ŗXi%Ed{ǏnLC/_n|fF-eb#^v*Q0IWupGor) ]l'B;$8 9@qIk93aчnڂi)C?SZUäsjQsf`K;gϷ:=(BPn@0/,86AgO(LzZ`WGz}\0~ !uWin42X-eP1/GYp~PZ_:s?9<^nO!ݸ^>ծn?93 !,#_Czj(ZJ0raQfDo|3i1hr.QۮUP GyFkC%*hy>Lj}Q 'W۝nY٥\ nfy:~b!D.!V%C7ͧ8&_ߡNgp.;6B=43WɂR+Lw·?MA1#y6F$UngoK(Fmy,C{H?-u,##_nuא xQPW#Ln]2N)ک`1|ݩcbmz(O=c>t\MG1X>Pwi\% jfLU߸9{ LqN8sù#{tl|;rڢ1NѦZ2fӹ3L*CM<<Ƹ]V֏&;i>:QS1B߬{2ʲ_;ؙxduEyY $gJ wwڸ:ޏE*(ZӞTڊ"Q_ z76S>FeOjW'>638EFԉC?Q3ϝ"VjŔTq>=C7Y /+<(jXSh"ix/EF`2l)J[\HMNJ%!e(5IqhƐίC"hp~ɈOb_Å'PyR}}I>cާ'(bF\]5 ө+> L<5u/poxEmMNeȲnY2}KgW=}).M9,o*HyQ\؀<1 P(v[*|Գsu 9R̒ *mDw)&^ i:;PEWn\"v#3 1fz|KzY+;9/M"]XB*rus ʛN+3E|R6Ú8wWsf`4CYͧ#eX:ʔ·D Wn0)|(:e AXB[:, /a&G&&\ج_#ԚP%m_OL}Nܱ{&tm1[sҬq;Q`YXdk^pZ FlS݅4/p!:˧aQК^'$ J,rODŸ-(TG?md-͕A)L'rXnCLʬ|@$Z9 a'U{!0$Kr5jI=F1' *`UfKvVvzQ=P>^^ٱɪ/{NOFsP%+X59&+gUl;qpn% 3|.7 ;2&Faι .QQ+ uOi6o >g B+ʃt#/Cd k٨'k #|2BU Vj%yE0y84ȗőY'-@Qbu3Ӟ:M0ZҊ^x`t${w9P+ ӫɱ~,=v܃ցXd$SÏ8fR'QkbfmYQ`/WHҚ7F*ul-r'b8c8V&irk$ ޾hb2KQe&4LTF[`5Jy(Il9l4OqeXd~**g?!c(/ATөLթ)k^ISi0AQ7@鶳%fTla<??ۣJ»b=}J;/Q$?w(Gpj(|.u_9 5IUdN*%2dcjjN^ %ZH'ӌgEPzA#eC گVά:9pܩ*VtGTO;N:,rNGLf2$v!T;iW_⻸9j1#Ge;Wk8HS~9OʰKL>h; rj2Cu`!NEMm%%}? <#@z"6hиǘ ee!_EmV976Mlb(nD u<13 ӈw cpEi=;DRr6L+m/ M@>ո OǏdOcQT"u?8'f[W>H o/[PHȋreHwIDBY\ŸI0=§nx GyB~3'ʓz'B\KMΨ=͜qw`"s!C(tc|;e\L'T;Zsm1*uWs6݁ ?w-a&v1*ac4@0I-o'box`0b`U2DӉ|B|䜨 @a NLjELP=$^l,ATyѐ6a z K-Yqi&{I-*T}!ZN1r}'ћV Y1`fx-r`=zz[ۚF`5(.fIsU<(0;ۆ&2QC6&P\^U4R0B[9`eWI7\C71#VByp*":m~[i`-.!XXg})K376bԅ5E͓g~0>˝QB]bx'v.G #xm%d ȴe+]m1Qh8vOeMT}veK󧺲%zA(f7P;1Goocip~!EV򶄖9tfQ5gicZ% V/Q`el? Zf.x&E5620ARpG_@,ڠ ; !a.Y [0WQPEXgBV)#%n; 7,LƎIm\e &]]þHY㊗VϔMr%/KVo< ۞{])6;iD%&᷇)Q2#Ş:/;9,p ֜M{"hK,#X9xm#ӀA2_+`2}kbM Jiw e2w#IFQG8E05P7̀깱F4 İc\yf# 6HjLQVBڭk!CTiIrF(F#XVqRNV`+PusPA2+H4oC7W0:?"(5[5~jmϧ99`NRWB<:^ hw X)R)VY o Ev] S[|Yz[ӉҲȉp/ǒNc\}aa?F6v!hIMw6HYe5$vf"^Kmn>E]W5C#05wr=vp]8f3'Tp.=6?_xXSR;Om]NOwSXp`?_:ŎEx`IBVE>6#h B)q满E,GTy3Zf;d!ݜ7%^7V1Hg^":q!@m6D)~4C"&6!p C+&׈EI4;R^ 54ϕ5xF> !vƿ[ n"j.EQw כv,a  ".}bد桤23LqEͭ[m#|P%ѿWHMROKGL焥y+}2*%ʅ%nbA߉! ;䉈f0o)lCzB<i/K(ۉi:r{֥oWK a!e@ D-B8íE0hxN݁li-*\RX`vL@{nF"2@H<\ߜb~&ѳIF$"R*CP_,:~r=eyFĻtXk+n =8gYb]K“> ju vTn&50:,7 +q6񤥷 C<,_4V#A>812jjK;-c櫱C{Fu3*9Op Ο~^>,{[UKD{4LI) *l( %B:n#o5)/`M=ܤs- [>1y_"U#AOCj8qR:m̥I\Fl;brC|ZF3E``mЋ3Д;YN|~syƝծ+hh&=P59.cfg&N ej^^Z)ܮ"M\30M##,!%x>Ơ›?TtA֡~ w,W< zEpthpn7kB`5(Q:ev]:X`aپ#^f[%2\:Ue%6lt[I >^gdo1Sѯ>.-멶<>Q:1?Cf3yàə&8+k$ϕs[(XbGwgఈGew"CY/Z$Eũiuv if HuԓY#3qU7%"q2]Pi9;OR\@-WCԩ/㑏ewGB X66 #eMmD2(cuXC%/S A%zaIWׇxuoǗ,ԔzC4Hp)*)wVZ0y~( &[8uzj PbY'r)fF"rh_KU:xԀ5IһDҁbuuJpܮ e3ʯdLEFL%qHf4Yn]"uSȧjͻі{bB[Dt `h e:>c q}<!ä&"ֳ1A(ag ƢV9t @ҧ\ۆ,+y\*]k>B6Q3.bɼLTC{r MD)E.E_gPT #}bq`؃ګHP<(fcS}vڭ+o&WT?'l%z[֛}WRᙛ l ܄g6Qo~YEmǨ<$CQ@^5"c}شy|ǧ+nSr%EzaTݍ:t" jhet')w痍 Qj IF5bjkmu6G=_\<ieTCJLo{c@ _L|6~T>0)M8i,V*҇aJުEBd ]r>ۍW7Ƴ 4cL e]?ӆƖg9,վ7 3>X(Bۺ 3Н\+Ћۧz㿂ا(Y~e8>M7!ݙ=CN鰣\}v :E7^3Ma]lcB|+$Z5~<#5 dizNw-ۄQET0wg8?&i3n\] --t mX_V OIyfȻ4JWto3v=drqug^'+LPi~<>~1 0j2aQ.omN9_/s:KcHkg:*-]K=9RSX]s"خjv,éh4{U$1:Y/+H&H\| GG<5³ ԧe=pնñn<->Fʼp ;@ B>*aNpaN3#O6B>揞k2|ٚ/Kͷ1 ڎU'KY@01C2\K9`Ѽ'w-[Vu\^/^L񇕆|dEUa=⒉?(pjTF.M@o4s6N@{823eze@~jL.PqB9-sM<hN"/"{_k9blA]4ouDqDⷭ[1*9x:`W>Xp{JP&FGp t p?fb;_ߜe@j& }73nbw S[[s}V'MDSJ dYs(FYb) =s{Y/\x[~X8#9sJ>RZ5rmoc\Zp27o츨Kqn[OVﳝQ/"c1;\nm/,R'ɇeo~ *ۨ4GƲ$?H}{ctkrP 9Q&C^rrp>08a2#L ɜڮ`jVeT7, &Hro}PS+U##V?C.AWC\p܆pmћ(ו\f_ıڵK̠f yvXA,# fyk3whyP )F1-qAc*F# 1IUO#6O'zCO1Ed;v\JM 'РTFaͿcXxǸxh'1z6Nuz4OF;+3J&~0 K;_X)TxeHg:`~Z{tj'f;0͉i7Rae[PBR]9u W*J ~ sa [)|y~)2p4H.gW#pt蛉%Xq1f;^wp xFk\}٠  kjy7W#tlJn4fr{# &0" ;nws!n*ca}%2F>!zc[3jb]x]Ԋ\8/x?">7"A@!tv^(|V#yQXZʘ唣B$J\{LU ^ nH1};V|2Tr4 m-E,|]Ck>{ђZ매K  w&{6uPNyKwV( @ll}9=@!w7~V Rgqn T{ Ӛ1w\"oIH;kuS ^+ -}+ vAߴqWZ]ʣ [Im;+*A˭g**tӟPKlj' $b!6kZa"6b較'c1zM( $@?ij[H@m|f=ٔO胺֒Ԕo rU|e[l3( ~{w؛?wtP̼#؋5l֜_ '7{fKv´o#mIwPQ~˧"щCV#,D˓r*1_f3?B+GƋ䧇0/i9cJioI^Vز9x % GW疾:ƕ{0֞A9zf9׿|1Ѹrxd4)O;:4֓4=&UZ/mx钂\Ő<[QuWxvpu@WPb m*{i<sJdFEX{HHFNCnABMn e)yŝAG\Z%nvU_9mH-LȈc029%Pu]Ŵ k7j]"Ў?׃Jߨcw=]RYMZ5..'K/Kx~F˵g-?ѷ;ӠJ\;Hi b&gx=;k_AlK4' s[<'C^.EBCrd M 5wEu٠BTHusbsʓrc13ɲɧ>in_vn7hq0R.$!;DE„ooW`_5X!B/U!-C? XvI X"o&~ist+\ X[И9T*NXlʘ#4y^5zkΈ9qv, IE!vH Zw:ĠJ\^3%AD0c[X9"* < 72N{4xR1 Sg-E t?- mǡʯ3=حE$QD:]y5UK QV{DrGzB8Ff6 MN&A2ёi۪\eiT6FX'_l|..4IR"Ůx<ג̤ZR Mѥ!˹CYMmZ U\ q岥sNP0H zZpky/#@-q3J&כ/|ݣsf']XH" Cy2v3?8S8 QړJJYm-t ]mGD-'/,|]8DQ|6dj݄t{KA#iz/$㟣i~e+ъy,/׮ k/@xIط%%c((LG.%&֧C,D7'0 ju͛+9? ¿1uAVIwFXf 1OTLj`\^A\Ue=0$܃sξ1Vc"m*5> 4  6YXPBW&Jab29Zq5}J.7ցҕm(ic>tӳq;+CW0y"*oLbEϏ:=h;-4[‚ {`0lM X?Sf9-@a%4!amǞd[AϿ lMsco/i8zw U-☵ 9uTRM36$*I?oǁG@Byŷ"LY_׃֫!'ƃy"ŖUkFzh5| 9# 6*b&V Pf>~;0(]vWd6UJ[eZ6o c8V Odz$4܂meY2`u'&{PEƚ #B2f]S={%;Q[>VA&^ x{^M ³#<$89%iSG3 :* 8Dԓ0eUuGd 3_EQ)|3(Vs_6-%qdޫ0W8OB9wzv01׀Ae6lJDZ G SI^Zb :<T.6Q/hB sT,V"ckIZh?"?kJG\KYǣ'j̏oH ןvNnuE杴 R!@oľbwj]})騜t/Uܙ@8UQj\:­î(E6$H g%=Qv"ࢤ;D{jvLgKg &` cd+ >kA Wh-a֘ţL3t ]j Ƭΰ,2 gk hbb >jQ_ͅ)%j4oۘ@Luԗ煛(ӌ1T㢮j-cF۫A.)eK'>*l,7~V &C[dMU͹ ^ݦdƏQސiUg?n}BeH{o؝^SOM5 ,vaBEMi q%~B}Ÿ\C-X\[/3"^`Z4lؠgm*R׿W-ԡMH &d&uix+*zlg~ DN TƮI?\TY&o:$9F֘_C`cxxk~(Ao@{ʢZab|뛕~ SxhMÄ^Z૴s~W}RvDЊ6H>"#^*i+w70C]Kp6;ƒ|B |ؘ"8+¾5JBzK!H `CL@]XvE"Ez#xyE\:ֆ3c{^mV>VG=jKxUY[tC9N(8/N7LAYňȥoI6u E~4rZ@2`W6H$ꔎ;$S[7GPȴYWк-tʺd/7?(ZUXrβ/Åp۫" ҭvGs4v*aLxVd){u<0Ԫ؝%^hIf}doWe Qd_ 덼5v#N8ZAC߻d$&c\JV< j%Δ ۩ͮq(,h*dz +s/ g f.o <}33 B˂Y2,);^˦ "GHb "̇7*œ&ocE;s' HpZu1)"mOÔ*9Ĵ2'ZjE&}m'y9?ZZc~`"V j*> 9Apdf~P]z;?p@E~t 㞎k'/ *ңu=&e۟ʥv.` wCO)R&tbM@ I!Aܨ],GܚJ;O7tցUi7ҭ"Rrh_\jA侫 4)ʃ%@lEx3O[r7{.jzw,\mLE -z[Q\MgRn(zGBі(!$9lE)fɡl r8ֹԀ.ԀI\ZW'_~C,N[%%;i4pщΉC@̒||\J5G {<kK8=pq))NC ~uFOh}FMp.v+8?C'r(mJFa#,S:2cЫbo:]BPq_ G3F@Fu KYD vS|lsD&Q!7}M'vACm|tFX!3"]FK'j[].srlY'!S.!qWrgq6/w~bdh}^t;eG'<p6g(I^OttK=`g 5s%$}qE҃3qMz%?uS+T/GRhɐs* R2 CkƎd}3] hόЏʃdTfNJݐ5jZ%CI`a.uT^5LiiiySƢ{wwnaxA+/ɀ!OЌG,!t^ѕaG,BB8 + Q1a7\u51r9SRWs|frg"Z,NVL=jkzCaQt9V= _~ ynd% "b6*Eyb TDhF8-ԷY{ZVR=3j.i=>`΄%d$vLC`_\|ާi:mrȡCuaJ,?\nfhlqBUE:'T7V(K8x3CQ * MS5{w\1[ڟhVAgn9#Kj5&?|n9HCLnl7:r ~"Nun;œ@xᷩVJTZ {;҇m0r?4 (l>UR yP٤6CW"=a}PJ%qNܻHoTq4n0n Q*)&ug(z0I İ~bafT\U⹣ɫ+\}W0Q;PNwԸ@rjTD.GL#3 |=,[|czC8?t~KY yЩ"1L7,}g"0WNbZFJ=3lۡ9[uB0~j؟nqެG2gG;ҫrWZR0Xt΋!ӱ#ltra>VvbZ*! R#U{Uʝ]w0 `9xDLrǹ W\蔰D[[[.+BE^WيFJcOMA;3 9aEc5ctI,GVPWvRv$*V7|wX'>h9m$Ͼ ( 1o;<ҎL\wwPXpY[AUSV@u]~_Q] YJI>@dP#uZ÷hgcywpSzO "_~C?A-f,RQL2gBV=l.3O!ڰ7Lg㘧}/ :XEFZ)ik>eMiMvA>6T9deZJi߶kTsVERĞS.Pn@ӱ]ac'MTY%1RR.zUIkhHN$@c oj5[i$CУrDؐĉ7~4@#;T<)R6Yӿ$e5#O`s? nH^j3hNnJ,_S4ՋA;>zG(oJk/s5Η,7ol|@NYx|Gي)M9lݱ1\%h˙8 ]N<iZ9LFni V r2ytZXPX4HǜMM­8"zd ز W`bI1]vb @~،*ƾY vGF>H}c šMm`IR# :H{r^*wl愑]PL[TH+tř2܁;?P=s@hsi%u0ӶNbVnUߒUv5VK>(t7Rv6[p")WD8r-e'9Z\_*+bn'\̄'+#`0as"3k :Xt_[3O>-U?zkB$܅׻ORt,Ŗ_gAFRD(bFٚMg*q(ٶNy%>j?x_˸Q>=SSkxiY UQ)sG^\Z,I #]X~Uy9np $p'Y94lO9oKCz p ~Y 1faܟy%kM8|sFKKJL79}_kA߅оv%ĦbovPI oIęFXa5 u`sVNFj^9CK{P6$Aﰑx\Q1w:yPy{Bj 5+E4~Rh,W({l/NyZ\L|Uqʼ=W{L`xl1ڽ*yHzM](.35b駓ݟ2 '@<;cC*?Gѱ" f=`%I,a#0ͽM|P\]:XNا>1]x]٤ͭ ci,/gԣ{zOu1QyI*/pkn  a?^%CH*_n][Ac瀠j|Τgfon0m(Eut6LExBasm/R{ U*l,og uaƅlµB][TgGa{[qݜ甝-*…{U.F/Qnl6K{PY/ޘh`XxR'WnMb%cs_WSKU<✆\t ȁ;qD:` ,UlD\FʽHj<O лʰuth n }?s}0/=xU m#"+9k`֗ū2_q8cw{_u%T%-%\v ӟ*R 2xqvveZ;y4f^6h<),@B[^hHҋYMY.Amhlˮ6X(WPSݲ5r^׈;s?+,!PVym&1 ry.xm72Z2\Gk*tVqa%v\Jrȁ@zHON&Ȑ soysJ5,?S%BP"1:HUPi=йF5(!wN),kI.ov bY.JF IlheX|ˏ8BU/X^:MYu;Oaz]#|P98H[X+([1t$:ɕjK#hV /c`KI,~+Zڙw48 Y\z駾2.Qa;!CSNVI[vL]ԑPco*V_%օ4w76y\鵤<~0% ^: V 9\HldTE_#ƨ]^ME 0FG8(oFSV=|c;)RZy;d+z˴^ngk:izL`Oi"Źcߖ"!,7z В"qSU&bAf6>AG,!ڋiQm<B-$?-rN9^\Q1[ud?A,9K%>!cD#^ɤ;h46\ @ZB371%AUheoXO5^A;6$=8q K:y#|VV8@o]\5'!C7:0M4$dnRi+]2hRfͰ)_I(cI/@<6( 8pkR"|~tE8?"PB&Rz5~g}0:Y ` 0/Q~ Hv( CV9*UqpL<0<&GD>ӣőL*F=5Hf2 #̀_,wut>_R8?c:d' sqn@Vgn_=>m;V#8/_sKiH|W_yɢ{-˽# M{V/Pw)E„T 5Hku1y&6󗀪bH,DTmfGYOk~/Ǵzkiږ|:-U )KEC]lAQ?\|ؤF|w"WHK^CaeT@0sh6<\!SlN tDH>T"a1 ړ8$)f24/I. OI/BC>“_qtȲ%;#`~w:.$f^?\9 8k{|]=L0 .V߉I&z)NN7_bf-{ 3$'[ ~&NK T]_sKl=!75@C}C V0p .[`%i76ud!i4YVSyNwE]5I[Z*+,+/h+>!|OTP0[ű7 QYbPʹZ:0Y1  GΌ9,Wn,lrXh9Uα.cī J{˙Y!dfF3pQ LF]%z%h.ѼNbF(Ǒ[bsݾ_>̬'eEG^oڦZ /=.{SY#7ec.ܳB jWe=K_x9ɡ4j}v\[UX[-ӯzbzH_nõg؏U.GrrRU촥j{<Ƙ[knʩ^\HUZd"p8Y!>͘/V.~knC~Ő cXT7 ZsVRpt}sOu7ۧ:HkٻKfY#v%=.F:6=+7l$WKi^j%iQRc%Z>.&~<߯< rmyur9 B\ҒmB.Cߵm)i],xk/1Dy|9;_/|sȩaJF*_z11{o{(BgZ}<:eܶ1P͒r5<ۙ^ ! ] vp2 ֠V$XShUw`}Ðs;db_FZ?9X,sZ@.? \WYXP,<W,G7TwOrp=/Gpv|5AYtjDʊR(8. K J<L:cvSXj)hcYзM :Yku (ڠ#b&JYU+7X v;dHGTƑޗPg} EX%4yaqKz]"{[3VgdFuXTxzwnROM\-Xt`=eSZQMА+ Ϣ)# VKN!鯟>'VfOV PEr//Qt9vgl| }-Q_[8| sRrolLIQt\X."Yv\&-f l!wI ю /""( J/3?h=ZoMޱrA~F"meO\~IL=^xzlQ0eu5ٛ^6WXQ:*)` poa+&Hm4; SZ;r1)zc| up ͝췪q ȁP SȹbJV*4ȁo ]a L1̅;µma<a]CERꃌ6*ϱOmکS/e0:߳㈦J6FQMzdJS5شn;iUY& [iWXqBa6G >W|6F ^N4_ygnCKā# xsR=+D\ظ)1> :.:I}{ulX&_~q-s?/}ҿ⣠7Րɍ&xJ vTAk [bOg>U 81Ů^wZ\Bs|#g6޺n^|̒@)Lآ,eo;Uၗ sv]{"~͕F$N}=@)_'rrǝ㶉DY[t*~Ώ&,=K&ܖ$^cA_|dM qx$܃2ӂa^3 ^r\Ot|Q*fӫ>:#yw16 Ǘ/|*KSxI߽§, 20=$*iB\}w<[Tz(Na\ʂI̷o$p6Z8]+|k&A~c/ÒOp{mr&wbۆoYd9 8sF,Wm%$տ6RW85҈P6_2E!sBw~tĥֱآd DWosЋU+st@uØr9;\:2jFGHeC?=q FH nʎ pg0u 3V٠Wu1r-o2b|ǥe!;PWG5]\w"_Dc _<'C v]4Rm^S5a[2+8Bu)H5i8[쯀S*,q};bFfXSC_βFS6pśEdassׅ X[Leނ1d M7-&Y֡b#w"#9o#YX2c7;-`Tw:9;c[h f*6r7KeP|-yz]-,"T+DهG9ғ$/XROо'aْy{L7@2x%b#Vov9k >Sľ̶Vnwbr_y ͿJgfz3xT z^cb({PxZZ Q<_cd`vu3_jy&fSNځ@wuir-Ko!2M-wid0(1,-Icc cR 95x],mp_)[KX0s N#ԟ=Rˀ0q4-FHlDq/}uin-(%A'uWCؤY:ДUUƁ1{K, #xf)TfXلctJd,=T'I#ƒ|XUP2ƈ a)4=,ӋKƾi]<J9!jz`,+z3Ø}~FT/Ϡijv!ЪK H]:|tI%ae5E#&O=$hf8>ye ߊ\X.~ ~ְAD܈P=:IG̎V0^ Vgxa87'Gp*4T(|PZ9-"JJlC)`x-$;0n؛CKdvϰğZ~>{cD, 7)EYEm0s_#JR>jz;:tɧJPI(he5Nݶ $g(QҸv_+^d[ 4 .]֙.qIT9 /Ksܽ4|T95)BfWh(h}l@+CȲ-bxwT&(؏m0mY.L9܍AD7Y 0!H="J U?,BY7͋F!$d bdSሸC1~SN`RGB5-/_/&TĖuR Ol+vbՔ.El: D<䣢%⮏Qghݭ ^0= cW ]wZv<2m_ām+b }=srzq9XJ,le͆448w@7A;zX{GW딹whųUX(]%S(]>"]kΠf 湉1+@AIʦUC;”4Z]SVs ,VHfG 6y'Q_%9Ҏ8*ҎeI>sR+D<;iIE,"88(oK"5 .ɇ4jy, ۥ^4@c֍S*idtݧ$xj716' x1"ևh2>W| ʒgEAymEƶ~W'3fbUL2|;L35킵UG@ߚ%0W &N C<+mn#0[$ktTTBl~屄VjIOT=ovx%K7V-ؗgYZ3df0be260aebda5a7d0c7f761ec90deee4182699ae1b5b2dbbc392659df742a008f6c67116d9ebfd 3e2f53debea7c11b89b654421975bbc5018e38b4 7b8a9d88a852a6e3eeffa6fb042f28f43b58fce0