SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 31 LT4 ]/ Tree_Decomposition:threads=2elapsed=7.809cpu=13.012gc=0.536factor=1.677zXZִF! ]ŗXf1-/6vR[lN.5ZoT#80g- JzA|qPeĆ \^鞳zcrY'd;3/O;zw_g[nj84L@E.2Bg般tHCQݽɋ=ɉCy:˕N]sJ{Z#a]3V/5"MX%%ß++&\Yd6|P6O&.AVm^s56ypNNB!˓­e*r^5!=v NgYZ7zXZִF! ]ŗXiɟl%_LW\Y1d.^(^S-13l7m$9'ǿ~H4g\4pFbJpɄS?6$oEMΙ1S*hpl/.q*O1ZC[(l}YwPƇ1cILB`DWOLj !6]@tՇg>Hb˗TBnYYy;㈟ W4n5 Կ1{;ܵcsy<1DeI-R-VFILFP)} 3;Q7]Uz$v=X}leXQ&qG" sD$mOZsl?|9k feT7&!+ǂ㣉K M=Q<{'p 1jo#&ժ[ubR3ţqw\D:Z6АR0t<ڣ)w0wwm~V78<܅ p_2légV w:rM}2r8(4l aZ}!}h,۷|kT:G@ZU*:X%y~EiƭO$mv ieyu8#I׻Q$4磳K -d5 baQOgMwf-y] KFmP!/""`ǀC>U/(?0@Hi#]mXRD=[#\ );@Gԛ4S^^q3iDV}v|"X/,|tBq\T@=ċU%RC52Q N -QwBX3-'λXQX(:>p{ZkvE.;YiU;<+xoKZ#Ä@٦еE8V5ʨwvtVpG&ٮl;84@峚e3A8`IA*%ekW/gdmFP &wEcFf%tl@KS`Y~ @A~xƙgP&qR=9@i

ͱQ&[ڝqg Q oFU 4xw7ǬKϾMƧtiKwISPQ(=Ԡ3[lf>[;;{0Я}2nϦX ѐT7#V̰∄s!_ /aG̉{`] ЊA,FJA}!SƖYT&ﳃ|RKҫ%~2)F Ԓ6޳jԲ_l:mFTf)=ndق 84š}CDc+dHr)fRMz/MġHhE7 ım[hJ}p%z&۽8J\Io@،k%~,ҶjSrY9Q *Xc}X ]:cbդ+~—dע>Gt;)F0:}i0\U5A N碚EşЧH}ҼT$ii䆱L~:$eG%dģ(:^i9 za#jA=M#~AKtL$po>E=Т*[3=.B'7\䛨DnnqI-2 YCf/,8%_wE UxK>lB uzIҌjٚ|gi{t4=ez[b^`Ob儞􊘷Fټ[3Y2k=B}f+Sj))cm' 7ƱkL7o46H'I'9,v]2 %f VQ26Ώ5pAs>UNWyVH!W; |gY .Mwx=ҿ{W]qRoVTq{ s[SLC=p`i Ck-OYa䲘Vxe#'"B f|g$wnV'Q\.78 )$"/c%h7.  DpD `bʷ7<5@B'LN~j -Q}#;ǀ}PeF!UER:]BYe\s Cly \__˚9޽ $Y7/S~BwۨkŪ^ކ{ %3 ꪜ\/4;*NC)"T\BkyTM3ȼńKn3$COhIJv 2,lU1?L Z/)9$6&#U97nW^B57y_jOcn7j:fJ!|"AU~lDˡ&Q8҃k段;@AWudn4Pfm1RwiӣlQZ󏑌VzuP^h3Nu>zW}8$z@Q2%" Gv:_ε|^_x,X l-9%a{% g ]m֯#L=I&>NOJӓg`%5y@}1t.x9#7+66/PC,A1bGغĞg uuV-ah(eƘh #^{~Gr' afe (W\1z3$;І,a5?|`lV.z64= V$[zVeUJHAYe`IG4그{qG*dvY:Gy'sF:%)/3I"v(t| h}33.Fdzk\twLq&ZB`3F<}`?ꔍX -{Q֛s=)}U[<{j$WhC%5>Q+M^J`iH<ŜǾ?|C~)tvd!c$BCZA$vwAx]fv`: h? aorGَڼYK]³@橯V. UnniIN6⎌f95Tj7]TGubC ,,1$.ȃ[EG/d`Lр.z 6XLtAiwVm;KȻВ^\^KHA=+˫o$ЎmCuq -- |K qNҦDx]J7ak/ƴpsx SyAsF_6_ IKlQ=!) JW,v}0wF=))ǚ$ vǜ6vbD\{6pkx$wn܊1ffkaO@z2(Kz?y iÑ]4[d_%+g@5GqªU VzPTkac%,(!ʷо2P[tj&P/½]`&BWj҄wSM+~( qlbx;ob0Ї巼T2sOW1;b,U!SP tcevʅ,L ~O np^gسR4f$//0$߮;b~ny)58 y gt~z28Hrƾ -ؚsAg?*!HfR,cVR(sߋS5ی+ Xq%oUbgsĮo.+uE[U`nנsP,"@@@g)c@<+:oFMm/728f|,3)l5 {oiڎ0cWC&cȅ-(zc2ũ j[xv3{iIŔjpG~Zpvõe,A ưz&f^ FX"@OZ$p''g#Pn% K\%c񵴰% mAt<|U/ZT#_y"+`fɳ)\ Q3qQO7odQSqeMRR륌)_,?CKE8M GT/rVUUGkUO;_ó_d8ڔ{rLJA "Jl[7ԓ萍 oj&;K!#Ѓ=R F|-eZZs&*(X*qN 8s '824Ei_qC=h-n~ߐ ~7&i+՟JD(ABʍ#W|e|tL4 ETJSp +E2bHv.=<'a-t~84|2^9ԗMkgYZ~JvsiMxuʏ ӣj /YhD]OhEGDA p\_tB?бN_tX_TŲ[t1ߎ6n w8kn[ѐ"906{YN(Tc*DE< %J pylv\6}waUȨiK.yTO6"ZAS\ǚ>u`#!GHض@NO$0vm(9{y+ꂪkJBipԝEg58]nܪ(CfE߬vpgtd2a}^W G ̆H:u@i C*xֳKDhUXmC,p\o-+[%~ЖC[]|l/ ^2q_qOq#WsGiSkw_U.vta.P` LOY)v;\ )zFH*aD C _[hDɊ\u:. J+a(h4XL7CE|$-/wJ*5pIUg;o7N6, kߎ)$$P'Z Eقb").THKmbC=*s-s> E a$>>5r[W ܉u}wI Vlpruf}Ty؟̫X>M0 Rڠ_ /'ey'p3I>pƉ7Ζ% -dULYL,/ig$vߩ(1C<ΔWkEYz'&c"PF}[ĜT7Ky9P2[ȢSBx\~b1-..k#j-æzk0WVT asB bj]B-B{Q;,h79Kd 73;BXW-'両.Sԑ2Ǹ  bzliK&~4ۄT:.S;=H΃[seɣ@'JW "SBvio漢l0s[c,A,,|KQ#ి#2Ԉ%r?|h]2&YrDcU7чgbө䪀;>Nףym@K7tỎo#]mu <[xGR_HN͂{nS"͉vv9 #ӃR/ Vޢ#>_ ;0tmIOJ6~zrka )ͻ6i3S{9V Roz_ɐ)+Qp"0MbJki 1v#OM'G؝1jFTXU n'Xᨖ?QnH7odyavM W^De2<|W#m˪;CbBclANi{]LDnuO;n.v;%@Q64M]~6W*0_$PW}_鶰RE21ޣ,9Zu -zkY\?nT⍊CUDd{cH3Ĩxz:<c|ʂ^7;x? 8dɛ<~7Rbo@VC BzoZ;MK襻}yh悋Pf*Y2R$Wxj~v&`P⧆s9"׹K9}@RycKK}+o&V[+zR6']T(=r\RοȭFZ 1,;UW 8yakJPYR9S70i/ȥ;L) kwg"fdSٶܻE~۽x(}={-,4H\TmČv8GQ-c$..%RPCYtWy}.MR;l>Iۆsx1Ƃ]7<)viºa i[̽XAKV#JF>]~FF .Hu)]{"c2ДA+٣"Ja CMarkim! R#E-&g6zҴG_;*~zCcz#\B:2^3 8h3]*CT4LH^ 2hxisUa5Tʚq1 B[qI Fռ q fYO]yӠϭ&q,}Z֡вqG7\5N?$-BG3: әԇqKk'P(f3HנϚ)U4e4ԍ4B¨ . U }I䤀z=҃mIYk9}H\NrV† a8tue@?~^t durG_vaH,nv.^y*eaJDԟ% ~C AҖdp>` "N?@1љؘ-hR6w YZ-rM[rwE;Kl`vAyy}wYt^L79YluՓYw%8/.mSgռ W|덲dop&,_5I֏(F^}O:U*&W?9TS^U,Zkٝ[xLLyN쥽O,[fEj6u&1jԔ,+~H{} b]cva'#bݿ V ) 'NGtXUs,Eڡy*8u|vyzA%J x" mn7)&K%Nj=ړ:'< fa gkyNJ"|dϑBZ dcwGJK([;Υvddfhaѩ#M<U: 0v]JVE#ߡͥ5I@7.W57JqM.2.f "w ivx*l(A?^JIAo\ gHڈ`"/`(~|ht QR>g2!~&ǫNj?YXsb N !gZ'piW{bi v͞ {Tc 9_`̻rJA{q yxT^Tj!A}ΘkJa@Mn!<2~iKq(!Yۓæ7c-UPl /B$W_y%8qբ u9M38O錿r2pMcb4HCKNU8 hD5O Yg[PyyǠFݑToi8%Ep2? YuԨֱ0Bjr:;& : p?`M_ ]`޶KZ/E`ȻMA~yrn8\ִ&*;rəozXmj}Q^^sX(:"˽`s?8m^5 Zef`t f5j x< S=:Tk~yR?H5 J>~1@lXIM0"W` f,31Ss0,s{slV_u4 EeGdʎel/9"oX/PK>.4 ~c# 7 &٘z**~1עGdGn7;E녦2!~᝛Hk0,V~Q|SDFJr^ǮXWkH̠z;_q/y[^Zgb|T^ғg~l 79=JơSv3GQ͜fMz+NϸV J=B"epLKh|O.ჟfNC7jw?_ETy=rGɔR {J2 l|o!lW!) \wI)@ۣF"CdTa 2޼ qm9wUls9ǮA;tZ|kޡntvn,A gLf!V>1^ nӐ>1IW D]%$l2ټU|ڱf3bĔN$D;~*&e?+s)Bc˻߬ƻb>}McqKKVN(nYޯ5P|]Y"-I9{ :h9ϣJcZ(lm ڐ/A<٘gYZ "1=% TTree_DecompositionTree_Decomposition.Graphdocument.tex7zXZִF! f% ]A-MՋhvG"uIBm59! d8 mO.,Ve4&Cm"ȪJQԝDl [:19c֐w:|\Jn*qq1^ ܟva ?HW}ʾ ʑ fx }_㒆ڋwnJoIBnf&dzf9dD*W T8.]!7(H[7zlO5uQɜmЂP4swKq=#2ja C$~=A..66˲l P2&g9.sё["0n7C5}v),B4!@1;% Tree_DecompositionTree_Decomposition.Treedocument.tex7zXZִF! K]A-MՋhvG"uIBm5r$|e|;s!*92A7E;eekI; g/o ȼ#]}e Ys@S8tWY\hq$Un˲Tw?=f:{$-xksT{{ CI, ٚLd&Gr s)º" 0vCwAbˊ|c/+7nbwp(޽]ZU%qf0,^Zzt !:L?<qûpbr<^9g0Tv[ =h.n%K .ā'2f[t|>YwPƇ1cILB`DWOLj !6]@tՇg>Hb˗TBnYYy;㈟ W4n5 Կ1{;ܵcsy<1DeI-R-VFILFP)} 3;Q7]Uz$v=X}leXQ&qG" sD$mOZsl?|9k feT7&!+ǂ㣉K M=Q<{'p 1jo#&ժ[ubR3ţqw\D:Z6АR0t<ڣ)w0wwm~V78<܅ p_2légV w:rM}2r8(4l aZ}!}h,۷|kT:G@ZU*:X%y~EiƭO$mv ieyu8#I׻Q$4磳K -d5 baQOgMwf-y] KFmP!/""`ǀC>U/(?0@Hi#]mXRD=[#\ );@Gԛ4S^^q3iDV}v|"X/,|tBq\T@=ċU%RC52Q N -QwBX3-'λXQX(:>p{ZkvE.;YiU;<+xoKZ#Ä@٦еE8V5ʨwvtVpG&ٮl;84@峚e3A8`IA*%ekW/gdmFP &wEcFf%tl@KS`Y~ @A~xƙgP&qR=9@i

ͱQ&[ڝqg Q oFU 4xw7ǬKϾMƧtiKwISPQ(=Ԡ3[lf>[;;{0Я}2nϦX ѐT7#V̰∄s!_ /aG̉{`] ЊA,FJA}!SƖYT&ﳃ|RKҫ%~2)F Ԓ6޳jԲ_l:mFTf)=ndق 84š}CDc+dHr)fRMz/MġHhE7 ım[hJ}p%z&۽8J\Io@،k%~,ҶjSrY9Q *Xc}X ]:cbդ+~—dע>Gt;)F0:}i0\U5A N碚EşЧH}ҼT$ii䆱L~:$eG%dģ(:^i9 za#jA=M#~AKtL$po>E=Т*[3=.B'7\䛨DnnqI-2 YCf/,8%_;Kz"ӪbyJni%ϳLLa6qTNIpÃ"ۓ~9G圤T H*IV>Xwѕ_s>r% fF>]._c5fC+d$D\m7;|3:Р,ʧW\y"Fz[GVhZt@A&oZ TKo=R`o2˜}ظeDZyawbsŸBX}ƔS)ђ wCKN687GE"U抶۩PQZ4h󚪆ur&hK Jt-HS YgʑcSA{Ao+0K͙?ȏv~OF26)z^Ro'Vo@Ͱy'QigAxs "qI-8~eYe>Y|a"8d"hQFdf؄/ 0#A8eHK[|B9^6?0,w_|LC+y0S/Hp%H ;ށ Vbh7)oؐpYAThYshRi+`XkyJwcx.˂RuZg*6`;3බz1# DA-<؆FVcK,:RPz@wi%2K:ȤG TF#?uбfME.gV2DiT$e @=\%UWm;-!{R]4~>-ϑZ2T0&+*}*CΩHG b]oOyU"'>ZD{D.4}06BK<|[k,UǿT-3?AҒkvMp*5q3*O5@}5CpBbK V"K.rW9'6]s*[v֢I;Brj"uQ}OY;m{?8_EwRh9 nIy >{GQ`HtF|I;.+R}nG]DSStbgшǥ#d+!R >zz "WsB!9HsTE+eʧ3k4 2&sjo1Pw|̀ E xY'XEWt-=@suĆwXbGP5#(rq(8AD`Hg]50"j8^,x.U}5O)I DBK 8N~^SQ`tȪf3`wXI($1HTq?K6I'Lȶ h#%OO-h XRjMfzn$;KdDJgqp RoMQ/!m&@ 8 9nw=$~Gjۤ4b>Szzh\.JCދw͉3j 社t7X6Dg~lE͊ 1y/K]g{yȆM*#P_UO&8 zĪ)SGaB#P-)L:L>t{O%[hg^pLzJ 0+ u7q⮷V&^>)CJR}eE7aTyiE9Anp#2*%*JчB0bžjg*@մ @qf_\mIi섎7ǃDhrsGVȚ8/HR ,!\XfU\]Sv@_Y _:w<G5[]ARs$4lk`K%z^~݀wɿnxY=e1~f۸CJEVC ,c{EyDn*Y<^/VjU ͛LWe!O=r݂ˮ Ɠ0>}9;swl;~g`R4&dgv4$IjΎHWُ f3?nm`UBjuݝţϟG׾6=龈-~V _R~%&eAE)wX|r #BHsP~"O7/SfTIaA'j4s: +(NRwt'2J%!r8X`N# ˔5 P4_UVNA?r NJwTUuǐx Л޺_<|} \SA"-5[ ύLӫ9s6Wn bB*AlUUq^}`U>.<^Be3ښb*&PlUJ{0S4 {gpÿZT2=n\4K['tBVEN}y|,G/ N{dK"qxqCG 8* ؙHJ"y>UAJZ!rSytxДrz+&23 iId]iucDJ8ЭGIBJ׮;,i0;H V`+nF-,&~-aR6;"ۈI_NFbћV${@pDOqe;lOx+N""K*^c+4jߊx_Z4ѱq`Dc[| N s47DAtvs(,}@)gw!(W㟯H)K/ Pҡ4M| ;S CʧW#$WhEPE-RtO~i;kO,Ѷ_GT>&,50T4͋Bp1PN]+ [dm*$V fْ,FŅKyr6.װo8.7"*T!͂^vi%"e/C`2@6pegVpD8gu0zޛ hl_Ifb|U7 Kxu`a.ZdY&hk+d"6.~W6(p*dI9Ao_ UK>fifvXSnU8¦8٧j"uV^  藱]B!8b֡~N!;ّS5=7^~+=N!htSQR"1ì~gYZ hh1]% Tree_DecompositionTree_Decomposition.ExampleInstantiationsdocument.tex7zXZִF! Mx ]A-MՋhvG"uIBm5v'y(‡GaMV@ ͦ+#V?](ȈZlDQlr{y;xr E'=g8t$0hP瘛 KPpNe(`+tGuwƍ'>S+)Ϭ<҃H7׮a<kI ,Eri\pr%̲+h$⁃ޜ.9/.{>,(^M)،<./cz|1c,vH?h( 13al\s7*2v$ɖX:=T6x"xr3\sj2SZf}M{ w l"fuL_Abb9oi^.RӺCNH_ n_@É8: e1C !.W R*3d B#<~e0{4*x䏚⹤1U7귵E\m@N~BW!LjmǢم uη.\X|LBL~vIOB1- 3`##Z؞&ԴU+wljrXu5 ̕$c^pb,F$C$,t* D~NJ$kkT]*`:vYU@GI]#;T+lX z:pA?,DKE}; ѧ'~k!UeRٷ?l66.vc œr)X| 'To=}BKW0ԈL=Z." voz #REE=^-#6[q<]s, h+Tr o@6K5sbƳoaJMdSv}cSvVwN" ;`ïbgR7F3XbS#J%1*πF⬐#drHrpJ`nEU+5I#L1yĹaukZYz)2uXRȔr6K-Z1Ab~Gp2\fPO)}jyMtt-ӉQ-o[ e^+a0Cy:ϲ #Qj6!+qOˬ'*qD +Y YlaKƎHl|[o^&Y8&+5E?Oj1$qșf,WGD|"3u-?>mn>Zou#% 99-93kNn<{m3#\=0R]Ɋ *M:@9;$9=Өw uHGLoD2Itc1Kb*Ѿޓ1j %_7"/SE)==y*m@JasɭK/8/Z?4I_OB!&1ɳY+\y+YQٍ!~Owٷj10ͫ]Qu-kňhF&seXQIC-{RR0mWS6fvy eH[h6jA Lv. )5 >/06,CO@" CpR>.hrf0#yࢅ4~qsOKJ|>_c# ޼snU(6*;j"%&9#Y5b$Bh: фtp˽&T$WFZMʾ: ~ Y-"qy P X-_\)##U)50б*'ٍ'gA0N\ M}x=c۶] ;Б{եgC@6E^_?YUK jx 4$WNgQ *b׉Bڼ5T(0gYZr"4hrOfRo^Ch Kzd*A{') J .E3/u{T&򡽧WdFSndpED鈲KyÖ{sWMgأmh%yG^[] sB=B$`O3NpKx|B@LGO v-&4*sXͶT;t岦.ZCI"?j5P'!rxU@gC $wENǗ#L$t`W4V0x0j |Dwi0䝍DhbMLv Ðckpk7YQP~7hb^qЃ4#^oU~$ ]O$>0 כMltv ^fO<gIp(KȵjC=tرK*t+ E>!c?yU~7PK{\LeBZQM AS%M'6xn},Z.nڰV'w[{!XbSVTeD^HPzOl6 C!}yӱz'_xA0KGxDw!btWM'+uUoMݭws7OLXvՇQ|ԗx+*ꇹh˶"GNgCvejT>Ov,+D>iPLdCsCAŎɉÒW.Us/iIPvnzUt_|)%' IރY[=H Y߅n!2]΅ t0B&#%rZ,W'R_3ZvT2k|Vh{rxMp0؝Ɖ(f,׋=_ip ?i;' ]ɥyݛzX*ѺtYH?D6ͩuk)cUn!ƇX?d7Y7mYoYbVV3c[4E<{ƹ~ H4wٕR$DD~#/z0(1W ࣄ^㋥ aՓs.+Q!V`W 4t&f'k:Ɗp.Lȟ[H:g%'6f_ -b;J~1H%Fݢ\߆m8i\C"0R_/f-NdZ.g!sD%5m9~!eўy I lMV jP ฬ$b 3#4i/θs/!p>@YnL \2.͈ZK7#V2& [{c񦲂* :@ӮBQd#5IYV]#`~WaY}FaGm^*L5W?bG|3-/ݹK8.G_isSU8A^U6*Ljȓf}Ni#*_ެ.3YG:hCt*+LE~ù#]ihQf 9 t;ua8tm02,'##m=$T vkJ5e It C<UR72 | oݲB21V. w\^Yį!n|ߨc-=61[n % 0³6{ºa֋MӲU2>I6 b ħF0 ,7IIm/ߪ=!d`_3aCΣ S6k#SRq[ o{H!O 6~FfaBMckj@M][ nҿ:4EMLnI "FRZ_\Zܧ;2vȊ)TYg1f~ⶴ%Cn.]ߪ%u'l !8|,d~g"kD3F /T LmW;CfVC:=s oG[zgkOO̖u[274޹+$U]̲Y1V]춋p_͝} aK{ƪܝgG8zV.De}(({BQtW,#rqg&/9)s+%FTWB;r6]@eF ëqX//VVL+ I^(3i>7wp7n %NF.1:Oo)ЊzW~A>}X#n։q1]pVЄoЌ`=CDHNkx>9Qť̸jSKaׄ yTh9^b?%5=FU 7HFNz?#QCK 9ַqcg9תr N%X_Nc /JlЪ/|"b! c2uE`[qY'\MxԷq^'P@3OBڽ#v%"ʳDp=fw:;*dl*qU=gAuٺmkmGe DBƱa HCنPDHdQxԩ=+7Dt ߫3Mˣ'D5wұ?,p; u7WoN<]$Dq` |wА*`D#-Is${me L#0l2J]uQlov[8P`zj#JAmXc^g<2 }kn {pm-JO2C @f"B7+F7>AZ7{.3J˰lݖ Djz{ JcɭT@t7n6idLioC.B6q@_L.?++ i{Cp&F8}46ܭ1gYZ Y1U% ,Tree_DecompositionTree_Decomposition.TreeDecompositiondocument.tex7zXZִF! M]A-MՋhvG"uIBm5r$yQ@%N16[tKǔRm\س)|lD~}1jkϝ2 sl^g)1`oPL.mnfr #偉 죈#`%Lyގ^ٍrLBaU;~sk>`ܻrEH'X}hY3Zb尿#sbw$ $TCok 4#7!y4V䳃f@JJ]^^:8eG;v6g $_z#kai@?p7;_y2ͩ$Ɍ&+ʤ~ML=NK)CX@ХCْqi}r22ALn^aaur7m1v F q3A=njUx_|`Qm8p.)V56gXR"ƭ|:Z{EPGLcq*jė"n[ '} `j )[ːQiaG Fs)>.uZb .IӲfGG$ |Z( cV*/@V^;s3 m恝ҬJsz<ݢ85x6Pa!p{h5)PYRXF)#B v]h1sFyI+Ϗ vGVR}ɉhQP~IZ^[Sr ҉H_bouۜ% GR v@: RZ1ciq5iQ= l(c"Z3]AE9UĺPe6kJѢ4:" 4m4n bpNy˞,&٧TP,4߽4YrUS1GGq0+\.xL~73}y!%h7UQM{% MLFRe%"j\"آqqЂ_O,ie:1␠ֳ"WљOL"MYbXb O$kvE%\ -xH6NzSP>#"z臗[;-~Jзa fN%ruElm( #NI.]<5tɾ>ǔSˆ v4'*({J,j8r𝾘AĿ}wbD1 bl(@&%>U o.eR1ö7Ƌh!ot6$ ]x#m hIf[UEHPԞArc[mVmG=[>.nC 1~b07R÷g?ҽ!1vh1B]>WWƜo ^Hz @#S7GYq[e zʷY[uΙm/V )v0=Ob=kX*%aDÙdi3-y"٦<>W?("j̈Uɞ%z>RpNRPHâj x/b,6d-f*A