SQLite format 3@  .;  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  T T=l$ ] HOL-Quickcheck_Benchmark:threads=6elapsed=286.969cpu=1369.280gc=70.464factor=4.777zXZִF! ~z ]ŗXiɟH)0%o*(_ar8bFWOxAn#G(WU)@Yva@ėp9ײ%I*qޗ~3pH zƘlaBj"4sNEO4R<0(*no`%y̪Igr2Z?w[$N<>^vyjl:+q{{/@ +qhbH2'cX&BܭmK8nKeh8cNJAQO)F":xdd R<_`Iy+ pÌEzb>Q:p{%_ һyi&j  = HOL-Quickcheck_Benchmark  I9_2`L?䞶7]vF* |OTt1ٗwӼw} u*2UL:H(؂b߮hW0.0O9uS2i`ӡ #q;PKFT }ijxl`-DY*M(%)CtVZA2T&&y)\|޼Y&)\$D"g;>w0j"iB{E [hJ-kͺYK 9t}6 c@{bh{AX6-kѦ#\q |(4\1'^9 85[ܪh8EFCk0R%;ڽ-8T Ox6.1| h[,ɛ=>>{+v>SxHxuk 4u܅H38#T-?Wd2E[?񌮣WMQ籭6X_-ŷ> !bC"Z[ 8z[ۢhʕ I/2+$2o֡{QEȻƐz!FT[_uKd?i!z By)Z 81:9TD\)K6Qliar$4S&|| TJs64'\7o&nKƝ856Q)om)F>1+Mǒ]B+$r}rUy[^~}*YR'lC^r@[KTNJ++۽,WS+bqOM2Rպ !kt*vӳy-Kp{BP{z~L{Wl @9l[b)sz }Cg Ջ#s#ԐDso2FjA(Ty1)Z e_U#јʣC}@{r~`Ft`R(ɯ~b7a\L+ Z OQǤU@uq~k5`cQb}2&i2HuǡN4c5؟cV!zή[OZ4t]ka+s3zSf ɮւAR+p̒ SO& &Om0O2Fh]'@P{Pi k DF&U{q%)4e:7eDe{k̙ȏUqR6BD5x&,oWײ^B(P7тND~]3@ #L i@#>xR$#K[]Ao{UR~/L@?€ Q]|2]` ^O`csi?n׬ryZ=` K6f3I^0=q: SfŦF|G{=]w BUО6$HX{!,S njOWZ[? (1譢zᕗɶ{_ѡ oxL?UhF#S[+sfFׯˎmϒKL@@8Ka/ Q:v7`Kѵ MkP%r4%zDnקKe08gYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0Ή黻AY~*_9Dʕ/]UuݿG ޤNS$gYZ7zXZִF! )e<]ŗXi%L#N^vj0˼SO.[{ɑ;,EZvvR%AMaWêr$1<% smX] _ҍmUD N@дᭂf?o 2/3M!B|n٢@2) NS@3X.XSͮKcS.|q_O%^!p.̸F/C^dF+hjUވSIk`4V4pmY*' t D `ڼE{蒼Y?WF>J`&$DD*ѿP}aeiyi_lΎFaz3*df.R2QSZۤ@ +u)?jaǮ^:@b;~ȘH7.U7Y$ׅS#¼Z‘V R+!yCYӛ$Pz.ø! a" xef ٔ׵N#2{P5( H?fGXZ|p_)Fx#PI;}qץ(sTd'!U2dr3F*~@Ti E<$[,}:| ڬ-*K6*ű!})1 MHqey^56Azw4zjua5^݊?c9ln *-8?D$_S& ]>ˎK{WLƃᅲڒ}*$1>XY9{+f|zի) Ah>ձ0@f-&2k֞I]rƓ q5hI$(L8EsuR@:*J]qcW]ڈFEZr^zܬʂ-'f-b M?y)[#'QQ[ߌv)cj= 0vptm-QcBf9= S)3ic(p }4v-%kcL_gr.V딉Tn>iEǦ/ f&=/WԜV;//\XĤ%5Q4!G)+(k}$=OWĜϿ(e>aU:$QAPHdFgVZp6[k{K18]uFuڴ/٧n>ǎ]S7B]vnA9݊z8%A=5E`IF,1HSn1=7_W JEњ}72F^8N =aB\&APgQjy۰(b@XlTτ2+q}"qz<ܼ5z×*?u5`0Hw[tːK|ǎ绊'R;Kb* tB+C ~Mg_<>,F:x[~"Dso%;ﭲ6%ZÜQBŌ.6ݶRd\psq5X@xq}iUZNjI,@֧CX^]X̺ PʰL! P%"3"xtl@4MNK%Nxx`{CDRYyecX:^n S]O|/H!MR;>̈́->p^SI!ﵒDi{@ޚ /;N]]3~}7u ڝqx S m Ŵt;V hݢDy+,o3 FOo1skkپ?([(ku*X{NPS#%f#-6H,[fEŝI4|dy)g9N_W=LʕHޥ*4fؕ'y9{|t=ߴ 딑 Z>"ÏM4EVz(m<1ݼl#q}Pi1jtp i ^aU@khGEX ŀ ][$mgo\6"S`mk ,x[O8q{[I[(!#J8ǡ BDМ#r2'Q?7 uϗYyvr1Sw G/ɰrBNm(RPrURc浤뻭mYRBꅹ@ƝPZlvB:1#^*aU\ê.,BAg 繊&([$ZvvDž  F F]5 F?L0cJDHc j1_GCj{zC6N6:Bs^Es>Y,Qv?E  NG؇%tY<}=4b~2, SΤ$tmK{g0 Jf^y > 'rad겠3JT%Pҩ=>t',}̚*_4K)1 MY$~D-J^8̚8/tޤ.Q j \Bm `2ܿE.y{T4I[rw[&B:W uė*슉c7+5ciCHDՐ`7%kM?I{|Np4HK `9CHH,ۡ| @~Wk;O2Rؓ#K]Z;~ ’l-I_meXKV0p!,*%uP?ڻvRퟪHYܒExw&~ h碏xi(n3#Sz#V[RFRn>}91=p4̔5T^yo2EFǙWϣȄDP},p'?fop"$οZԠ_ |JO#I;jUlJ)CMt^k}m[DK-6]E9j d<=UǴ|ݙDbOU4%Qckh0Lӯbw} ]p^:^ yhPdelu ρ&gb B]~/{)kN:kٸm^*z"uL}s͉)9VELSKXa3vK,#pcG ʟz#qm0J ɢo7JEr%?7B(կzGU;C &v>Xd a-]x&Okػ{e4#:R(v9r*kƱܦo nbѳ4 *į=nqaq&p/jKT n=eÙ§!o[:)AtQLWxx_zlц5&=tѨ"kR'\JQrm8{30?K6ršiGh ]i uaB^yd:w7˧(٣񔁀j5`D]GP P7`+1lUOZ M?\,._YWWrS&UOJ}&#AZ$:5O^|w⸏T"I (52usKQ0 |/IriSájՃ[ n<}.S Ejڙx=̳굴Xo{_c(]"=A2`I|zZ~|ZU@T0`S?=2CŪEЍ 'Mu;ɘGn:G1]ǽXVQ`x{DTd Im>r}ax|s* aѧQc@1$=,YEۘ)Nl|t++)޺ ϱǡ.5}ŰyQ;l+aA{JѓA  id`xWLu&ˌs)xK!Lqy*@UY/"%xuB_s{AH2y E#KqZe0\/{)iG=G_'o- |i|:=ˇFxFۓ퉛d2HUcdN4flȀ2Izr㌣^b]@qf/ɺ@Op NKokBm4)-ٔ1@B_C| yQL6W?jx]uw^>f[`Lj!tnfIpӥ1*Y8|w4vQgQO0 n$Oi{%9k0Ey罍||t?]A-jhoRq4P-yRr,d?@k;Okmm4~S?濿\+[[=H2MXa ɔ=bH} lve-32F@ZmV%StudS >|~-ܾ9̀c[}hET4Cvvې95Az +($͖|:Ue ̩K,a6g',MMTN!.]8y[z{"vǷX9* M2 o!UK#7W6@q4jnζNY4Ǩl.3M[(aa֞[YYv K;{}@^FXlVKv"Gv^qC ڦsH fi(,Adt)Ql ?%T]6nd.^ExbeuԔkQNJAEbX֒j6TR&l۬\#>/m:`A*\Ĵ;%ԁH鴂Fo Tt,': e.he\]U,Fxp!nIdeS\\ xNTfkK@KO"4 -H{ujGʼSjI!'fJF4tq 8 bCho0+>yWeی@ RYϡxF3n޺DvvblH 5C'0fo VN `3Wyοn3P-ZbY)NA2geD2W q 8%݃"T^,LrZ^aVdR 0@D u1[%e_!KOl,%009_Lhऒv@KL)T+ ܱwv@YD..̫V P=_ C#5Уnī[{lު{|9280`2Kxd^fE7TFCuC=!7ΟZb;M*Xkju kѻ tϞ+*e &IgXiFꎝ@mr^jmtspMn[2m 8@X~\$aqYm`\  |NxbeJ}'_ǡg2&i2p`^4 i©Ie6T M3fLO6?weA/78m@K)3oRq1I sg^V:;6hbMe^z\9  p,p,SA{ԽUZ[\E.6 ;m0T:ᏁAaHIzɵ Μw2=bUmRM>g A8hGr2 ڌ%v-kKv㔌{SUp>ሤ^މy `s^&<z$#@ka,Dyarays֦D?p-ϔDRG~2Aqy|'+ D,ʺvz#o6xo&:}(TḬ$I?IN|!Pѵ/XÛ4t_q>Nc !y;K'PXCA?9%䢲[;{h{=`8tigqX0Ο#ފ ~*cBn\6/{#8s& D)B@5ObxW|!+&_=ĭ̀aːEM<~ujp҄t/B2;4[;p>r<Ҩ7;~ 2B_!:o),Cq<# bM Q{ uk R$4p['RA"\( ֞ᰖǦ3 mE4.*gy# 6!\8DiLD-w`j@>؊D er_lK e2rgi/?WNQ +j&፝y;6ulw\ N1C\i>=NMzƍ(\wGzZ\p22 iB=S8q Ŭ֥Ғ{Kb1[jP&뫉ܭxwoPI<|Ԑ(GnX2nRWߵNxb!~F%uܙVGU ^|vU"d>1ykqB;Fk\$2Q"0'iNecJ>9Hӷ% jٙ|/?xmagq ݖN* *+yÆٗy!Vq0 GAn9ϋ65.W"2\1<-#Juބv}B@&̩Dq20U 9f}.E+?48eTmx4N TZw볆Ý{QXgܟxq2*^-z,N?|@誣:e* H g)l,Y(#Ӆ*C=ԁό,XJ{s\9T,Qi|5'. ~~`J7Sg7ft}CmWY'} |LB[ *|'2NVa^ KC%E"͝+jz6|\VeyP܏ tiћKjȌz? t1mYx(w+UG5IZ*-ჲ h-+&U'䦏̳;隠3/3(g+:Fn2f)*'oo,%OAv+݃A֍>/mz.0hH׸XAp!{6˓&wwY,q4a|\[Fql-G\AR2첒"a[~rӸx:6l qR.ˬ gMVp~FlgleHk 9-4ww^rԲ.`U+JA迃\6&;Y4hH5))7L1k[h/<1E& 6YXWXͿ BD~ 5j`AIgcsfy-]sBvN-Rub8PxgJ/.$A>{h@ |EOgC/| @ b۾ջw:g/&;1k06[Ҋ~fr^k FpHҧlgm.+,o!%L?DMsZN&WmQal{GhJػ/.nO5a6=P01r(Rb")O#}T{ P[4Y+^x J&yr7`lGU*a}iz;gV[ &[o [?qbnԄ}Bǡda0*1jo 僩cHlK/1WYtSAh pėmK KO30 i Z5k?mv߻=i0tl f$H)Uah45AxAu ! ?[ͬ_{v oYȶ֫`67 G=k/67<\աI}- 7D,)rTK!50 uB7s.00/tM٫=bы)`-6;]{#2}yԒWuW[݂DA] Dj 48N| Qwϩտ:$O.IeĈ(ѬQҸ=SqDZf}e|mш-( Nw+DCv͓ K2 o5J\my~?侤ьF1%w^i]D㳶r(d0}#Ͱ%O/ 86ԝY%o ] h욯rxcڶynޯuGA-V } j@B|@,;7C>fk[2h7i )Ǡ$H1S BN}fu΀P&JJ$89p:%waKb8GпC\mQkFL~ЈElc:} Cim 2 OBl I ~M㲀܂+gޭ1_{>L'>lGn-E4vT۬xcu3U6mK!N?=p(~4V&R[e<|vVJ{o]OkF-gUn O/ ܔ4^n]HyOuCA X;OC~-Ye%~ hFy+5icU*Al7-p?ѴdoJ͡3T궥96l&jA`lq`}2'S'tԏE'Muѝ!;#Y7%*‡%ҁeՖ.5I 3Gv62LLA|cS^'χF7@cS3*1[uU*ZtRz,@8Y.ʾPB;8)㩕zU@ d#oTtġ4=[ U{P'6IW7d0YU,.Gz{RUήf3Zg˲RgL , TxzuN3׆$i\$J\˶A,@[{-[Z({J:4xPG̰̏MF \~\tȦ#ʽȔ=W)~I kWz_)PGO*߾ YDMͺC:fQdJYgUՈ9T8&N-_Px. "}J9\!ӑ]Sߨ8x̣L,uU}fBNEml?bh֍|ך2:/̶̪@ŮMh+3H1PӶ]aYQkG;.7M;\@@ߺopVYdϏeC?`E{3^mp刡|tC"m)ЊtD_?sJ]?QRv7w~ 7ibp;";Yox"#|R2_jxu_T<ۊ{ZO -?+}9^g>f- 1hqV*rQu(:j`'&\=Կ VEBj2Y|a&LL7V_RHܫP[T|bDaV=:EKlWNL 20[oOA aG<Äwl?u}:JC-硬 j[ZM0R:A=ͼod\?p >NbH$6^ZN"eN5Ȉ$w,#B`mX\^XhRs&JʡrawLk=E3wy'pZ9r JS,.TK&i˚.=dDP'uXTm8{.gI/Xƚ=G%g-#S*rg'׃ M܈VBrmO$Ba24wzT!D,^ulI;tbv;_hΝf"N1q1)-;sQ!W􃒉Vs3WcWrZG#B$(@$!oM m!>ÞHhYf>VS8脲/CD͈>eER063@U Dv &]fu(7o?fRn["zN6\Y_JM%-~^ єjqܺMhj,{e2ay}lt:.W@yG2t/A3_?bMxIAS~>6/F?,|$}ѓ2CQcLS.j|6 7:rka 9paOЗ(cg[*8] `b|]xY#yi֢p^f |[:,^ۧIC+?U [y;_p柩&V^&h/ ?^yOʁG%[RBP0\#/D}6{S|A*E3 „3ُ] uOZHUUYn7KdQ5"cNyL`܀vXE>IT1#LX4t99= Ch`ZG> Am$7)=E|hU{<q2$vR(S"TovZXuuD*RU^ bmVȬ&F.](EW5M&X];(2b r%΃ue/ǺiF`%e@yJ% U~xrS^,G9[T>sz'Fv?^"btp~2c.Pi$s+ڇ< ؾ-P?rUK>@뺋"U}jZj/dn7VN z'RLYz%HǘRT§ p C*ui-9bVN/lxZeͭ$\2οﶲwQ\ SVe]|E[bT'~JP-i|=`t Rrӳ6Wns}*;^RU*tLYar'W)Tx(.|dG$R\|i|WZHtxB=|:.UAVcʥT~u} κHc y ZHհNZWE åGyiɭi30>a+zڷA6# 1W*{+揑(Iϭp|.Sc#W|Un>7,j b';//5Eyǜא$/HI/񼎘AmŢ/?x1lN۫+tl{YIΥ+X6Haq B2F{J3kN ƇB_%RxX(#*f $- )U$4]FZ|Πz~"Qd\ڨ*U_ږs=ݼqt(pNA&4J)i6V0:%ꍸXx($XtsGXm>U{*{@@B ]Ѧe)lB2 Cur*u1 fIAjhPx{((:_p_8toJKyd Š/isKE%J *<(›݇}CFl'XP_a^a/FMU=R[W0UGOXڠ <4<ܟotI"TNh> ks UOEf8kt;$NMUo+6΃Lx: ;!훂ѐל(No^h}fA2fR=~b/#C/t\ר0xJWQ:X h;Uyp $}}Dk2˃,B%.I_]s ~ $a|*nKb7@]w\f8T2~|lNMBh=! vis ,&nm[_r7.:/ II╖o}kA[fS OLʰ[~.2OxVlJEMHQ"ѹloQD`=ξtRa}=Gۭwv^X"FJ[nEC["Ԩ3v$ApqGo=GIB,p\2u^U[I>j: 'x<O?tv$atȓhMQFb?$NNE#h!玈=w= qH=ʛ-Y}9I}rF58Sk|rS~Jihq_8u!!CNi/`ſNfGC,"beʥZ!ϹcR^V` y^9q鎢ws?^E5g&o3;vRdx ꨺~-B#%|roK2f4,|KeL HcI:| rj~Ī%al`M*bHuPS1ґ I)GU[ Vˈ.kJ >nZT);HEǼ3m{iR٪r7e,Oh^gT 7-kkR#HlGfDgvJiKlB7  АNZ?2\7"C3huIKP?̎I-[A`fuRQy%<9{(RvBY蕍~}5o)z_-m<% @`vݶpĤ56|#ע' 0]:Z:`*A8'!!PV bJ.%KCD|+w~}S@k0샇AG*Ĝi"ssVf 0$Dr NqwXLqnu$| ssG!zRRYxС"C0q<0]۶Vv>*c[1W>3~cBZ9V(H}GRp|٫>w6Q xZېiso_[BgwxgC# |_Q?~\Ԡ]ƈ%G'N>4@(*:]qT #B͠bJpO 4iy !Ϳ߷θ'^(7&Lo[V(y;,=x8&_0__^LbC2^k'W]{U:ok%Ot[h$>1(B0MGzQEDYm̔"?5Wxk|uzW5Q !ks>z.44JYrpA9qh,8//&^> wQz5 qZQ% 1'VgՄ f}w6I\\Ia6{K GAZh+!&輙(|М-n_nd mD;UR*Rb~[V^Jj`y mڇ2o)h͒<P֞y˳K^fǾ# /7ZO!(L'`# =ͷ:e)4u: *+D+3m1IQc'^'kOQF9[r~- r\Df9lYN1u mI%R]`C~5֟a\Чzz8jXE/ VFlEE-;Y7x`IwزT99«΢?YU.ݧdxw }iP]O]tiM\df-7{ H!Ir'B s]V`DC, Cد%L|ơJ"]$OoNA尓^G%w R#lD0N,"Sq G;&F$5(KbODUab?^8A?5vUsLN[.4 RRiw3J ")UŒ]-KzYhҵ;Byq*?|V[9&b\G9\EDeki|R[ocё߅'Oa",Ew8ú#8!ķtF#Fl-²m,NBhiHe*@JWx˄@3ڡI&>VFCѓsF_o lMEaub?S! FyzǸe}8VFQɦxcwi8X v`=B$ z4 6::_)lIRkzr=Uk^t>u&`q><8GA 4 Tqݴ9S'd鈳4O[E|uUK]u,FjK|w]w6G>FFSNxݍb:(&υ%0PA]7U͖dn MKo4gc]:ptm$vikg|4;H᳛ I;C-d[*ܟ/;OV, >@n0`T T6>N;m?fO:CI?7[JmQc/;3\$o!NNoybj": Bu@Mnf G^O;5G@_HɼfU1-p-[! IU$Y#<7JyXMA:o®JhlN(/uEAhGFo6ޔ8o?Q6ZTݕy0 rt;TBR&uni˴w 2"lK7OlPim!^7]~C!b,鶔@J45-Aa ߆ #? (P\Scl!5!Y { px "A)k`v/Yܸa'~߬CUs/^){g Lj7*2*=Xd%D5,oVTgWWŏ(rdC"he9ē'L\(2E%gx "p0DOoԓE>)/sZ9 O0oBkca%TFWԈ(c). (IyNk>=ߔ/N=p*vd -/ZWtpXO 1D;u|8̞#~wT6(Gd|5>mLFĩC7W Fcn OU<|=B訛a!1]g)s)i4.b@yȌ Da,~8#;;c+Ā>G萳#1ljVA55:Q|ZWn/[f4:7x\0]ݱ=5Ń=ʼ\6dM EfSOR&@p,H1mA M`/΢v>@شPx*eSꎞЛ kӴ0BaM`!"^)-dabP5{{q.$M] #AY/yqQ,!-MCGtHzF6KZlBdYs47}kc eǮLsܵ1*J8sablwZv5cPͳsM8y 6dM)Bӛ;cEz' OUOx%g |6tQ }o;j/p9X՞@;Q{w*s~uyCj"FGڄzApnuӒ&~fJ)0 |d,Zk]]nS)MR@5Q av~L)O+zYŞ(U7?m e8*wщ|Wj(ҴűװmTA;ȭ3 3~*&eYkU' pvFUVɑv6>;A5bVY2nJhnKW⤾Ji7*Erʦhib~^@_3,Mfޚ{ _ #AP&cHP+>z\߆CS]?{ ϲh 1B)\N&06 %\NlDkM :2,^(W,IzuZ'C~Ap:]P E|I-L<,TN(CĂCb76Ipgv>7V&ҧ:8 񁹣0D7tGeEL$MHgyIMÉ[r}qLؙ;شsQr+^Ҕ& 2T*jG"EF3=7eʶ|jc~(Y9Fj/6*/T@A}}t[$=G<kJ6**&Q#;&{T 830.[ XGPeZ採j;%ViRʲr˟/ܮ2q™֞Qq9Gʹ^BZX\\O{=L3B׼7xL{<m_̇9,8H". yF,YNdZCxA(ƌ 3:+i?JRZB='w*]O+ Ԩ[E(iqSƯL?S [Mc:ՌU? m z!IĿ4^ʒ)%nyռ犀k{*>J۞h'i]xF}6M? )DϦM|z^Ey;Y0߿kLS TrBYP|T IَP Av?[g͵xӀd~d\'lCt'S?$dr0v+SNʓ xοBx nee=*mDѓ 'VbDi9K@k:WT8((~ηnX2WVR?["! ̐)׍}#Xt3L")6fa"Vau _+` ł7S㪛~6,iEr0bYX,&iS@JHt%/5Gj[-S߅x<h7/ٟL8+OVr'cSs'8K2d-^U7/ר#s\=0*rLtA5J%a}As.9cF(_DAG5a2CF{WF#/6@vpv닃}h m >up2 5g~w$[?~|j? mS] x }hڈ\E.IҢCmQ뺐yÕT ghS)kkgnH:$Zrl PaFF,V@3s3RM!<9"jE' nu5@ho/lv]йpTX;6m>]mN9*#W3}K'Cw Q^/d}`9J)/EAK'7':ܚ3bD!Dm6*h&x+O,,Po=  Au䂱ZmSB3 XRWy?Glc u)1ꐡKJLο"AQ Z3ULOH[['v q Vf<Π%SlOe-`Xd!j W1Օ"˪CQhb }i#l ; @ZʭGI" &a;`Y\؎Q(?+ FZaI+fӭ~"x&ޖؓ,$@âh;]ZGkpوLA9u>46=8}4ꎉQ-3U`K,o=\\A&րP#\嚼gYJDOQΤH&VCTK&+}[A 9+ 32N$vu$1&p#4pm$* @eEv`3'p5$ yqf#$wUo\!9"ucu2Qc>Y1Ǥ*A MX7iJƙ6旣jTA9Px5C#߃Z(tI+$ګN'Tjyu?jDa=TL77gHz[t́FTAMMN4&@[Y){j D;1b~_ںS;3tvsyNTQ[D;Eb>y=TmTw7ψ,|]3^`vr8d5l'!XU@*pXj/"9g3B-bnLAY~i_hGmyrA³-LVn%{D"5fscx\׾ kenM"9ݬ |2mTފMPOguDmcLܯ*|9:`YЈ]w^%H\ga2ƞ =@|ݣfgd5 4y)?+wDOrW &׽VND2r F{1xNP!À% Ks'jB=Za :}4&q%-GI(6B|SмӦO b–&VǀvEh@E.d}@$]6̉.;^}C6 g3zYVjv>6@5aLS5#XF7.x[AʼH 8 >]!1. >Ǔwޓ9ܐ8 KhA"hs̨ipJib4M-UP=%ZZ^E5bfR_ȅ/5t[ij [_ 2s"VKn,_0 36OI`ح CxhfA˅01nYY /Kigi;Yޑ:^6"7bMava)rhF$>zr߹Ӑ35q;eyOTC`$=4_ {nz!EÞ$w~*氞 `ͯw׼WCf A}\]2fI |6X/+C(xqEzS6^L` 8bL6VȶOHJ>ꗷ G№컟wI4+ x|ղ|/WgmEHAK]8>ǫe񂛇Ryي߇kAi0 jSE %=׿RtL9HѹO6.MerʼnOr77r[ b7sN [+߽R6~!>*\8T<.t[3EWFF&t! \gYZ8def1ba00cea4291ef04e57a184fc0651363c650e6482372651d25cfcd88b33f1b222ef5cdb71889 fc0e5d8b4e796b67ceabc210f27e4a4ee0999ebc aef5ff10096fa0ad7e3acd5dc0607ec20af499b2