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 z1r4dd ]/ Tree_Decomposition:threads=4elapsed=8.878cpu=19.912gc=0.7247zXZִF! S]ŗXiɟA5qbh,B~\pNJ1Q[t]k8%LI7ͼ-7sCF^]13Icx@>ZaaSԁq7#.6Z%Gy1ssSdErC&4ђqk􆩓=269UTk;(a<tNbдρc/gVZ+p> K2`CT} :.~s m<:햟(E[|%؀_#x?%7 Bf~>TlH N?A\h,O]3wrpz3L@3 OAѾ ?_9Lih8Z!"qx}U ("ȆMrERbC_0/kYSOa7y#7Z2 QphP,b֟HP:tJXnug<35>NzUǞb&zL" ߍFb%>zySw"{嬡^v &R"w=^YVDMu6!Z4‡Z>})&h{ Қn Dr3a藿i`'BR]O ]s |6Őb9.<^Iz $YF- H+8Q1am($8DSLϴ|/AB8yT$gr>%x}j%rM/I7.iiРYe}Rv:tB(* G$s7ԻxDȨ52gvWFY;ZzA)_R/% 3YLgǁ|N_>qɑ U{EO,@s~T\0Rh"&(Lqu^2T@ۓ|zJL~z=. %Ľ-K<0Z)2rҏbCOa.&%1#S*掑ė> uE*Ƿ{ʝ'oUjqҝy(x {:fbPUe=.'PxY*L|̲[F|fN,>'DNYR>8 7"n\zMAtJMEޔ0@AcK4$70$=|v˘BE`T1 /ƾM6hIOERH]5(vy(⽊`TQL&+*zWt" F>`[(Rطڱ I3+2#߾*&`Т/5N֡2rӤj{,b \{&N0s6ib4m1 TriC3<@t ކ _[z#'ֶmF)p)ye%G@\eϭG8,+ۻґ8;X|4siܬݝ I{ʤ^N ]Q%+QezaTg7r;!~+j'4E)߰vfvCQ4Oܘ6+lH=~-O.\4;JHCl;j>:mO\oN4ʪPH?BQK|BT)cqܕT eE@Y3fﵧDcQ.EhPp.5To-vђa.{"%~qPBiza^oc-י~Xzз)fgYZ6273998f338a3157ad1a9c592d5c25807ae5925ac3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 1 Tree_Decomposition o1_% LTree_DecompositionTree_Decomposition.TreewidthCompleteGraphdocument.tex7zXZִF! U ]]A-MՋhvG"uIBm5r${j & 8azYS|}¨A-Y7]Z*:*;|' !,|ám'< NYm1&>;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ǃDhrs(Oq/ShmƴU 4"f#/sDnױfZG֋ ݯnrÏKu|, ].YA) -)u+VYZԈ"2>e>t7$mxfǴ2\=k?z)a)_ʓuJɁU+y7 )AM ֵhmߕn uu r\MelecvS/@ծCT֥іrUjUnIM3s'0EN  _!_n<1=%Tree_DecompositionTree_Decomposition.Graphdocument.texH1U%Tree_DecompositionTree_Decomposition.TreeDecompositiondocument.tex;1;%Tree_DecompositionTree_Decomposition.Treedocument.texL1]%Tree_DecompositionTree_Decomposition.ExampleInstantiationsdocument.texD1M%Tree_DecompositionTree_Decomposition.TreewidthTreedocument.texL1_% Tree_DecompositionTree_Decomposition.TreewidthCompleteGraphdocument.tex o1_% LTree_DecompositionTree_Decomposition.TreewidthCompleteGraphdocument.tex7zXZִF! U ]]A-MՋhvG"uIBm5r${j & 8azYS|}¨A-Y7]Z*:*;|' !,|ám'< NYm1&>;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ǃDhrs(Oq/ShmƴU 4"f#/sDnױfZG֋ ݯnrÏKu|, ].YA) -)u+VYZԈ"2>e>t7$mxfǴ2\=k?z)a)_ʓuJɁU+y7 )AM ֵhmߕn uu r\MelecvS/@ծCT֥іrUjUnIM3s'0EŇgYZ r1M% dTree_DecompositionTree_Decomposition.TreewidthTreedocument.tex7zXZִF! V4 ]A-MՋhvG"uIBm5r${j F-3hC F@-jCb$3pg\cq|(|z0Su0V@lUɈ9Yb}fEqC^;VdYZ &B`p;CmF1.3<$''@ݍnླ#ءmdj7`Z^V~' 7k\m#Yw[yd#DbLGAHt)b99gd$) ]И% 9BNl҅}MDZo  !Õ# SNGgx Su= ! u+ )iv!$xӞ3!60 τbI7ɧHp Vg;)Ǖ u-)0 qjiaOlI27duVr مf2vށ$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"qxqCGKF>׆k3(\;9=̋}'@,(D kw3}$,EtRݙ+Ř .\֓lE"|IQ{I oq'!MGQ&p3sjȮX+?S`X`X[2%A9X4uG_o9y_} Q680ME 瘝πbP1`!?-ٗM_z4gӉ-ĥ7~}DkH.5B(Ѧa$Cw^0d?*SR|DR!P_#c^'"ڌ+ _'DJbT4I UZy7́h";b:ڹv-9vjAOVcXþb&"fƀ[@ {_ܻ<Ⓞ_h* `/f*zo_W!N:Z#Ƴ1")xgIewQE5_\[PHK:Fs eF(bmC] NˊCae1Wz׿t:?6>%zO=cpj} fP>4rmU£*dgB+b!2Qm2 R`CK 7(lf 8>W]]zO;"g4h.VHb`EQިVx1sƵgYZ kk1]% Tree_DecompositionTree_Decomposition.ExampleInstantiationsdocument.tex7zXZִF! Mq ]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~qskܟhNIa PN.=zӧ U)hWO VxSjbLpnORЏ\ISy݋{|炇|iZq1~"e`+5VE#D~Sەd&!/?Q?AL_gߚgXF8K=lơvvlq@G9-G}h[bmdo%C j^I+ƽuӀ`c,$ p`@Ior̬|8FڱϹ]q llVyrtq{~ݿ!NgzL7 4!F>u# =pR6wD ʏ BFLY%tkV-1@gYZ bZNlԆ؜BN<1\`aJvPs̥qr(\]H!|ߊ ,$^t?U +ԙ__&vjvo+7f!w YX,8K\ H /&u_c؎rVóoi&t}P͌d[::g?'QԶv,aRUe/8BHEI{qot/)?)iZ6 ܻGTL\Ͼ+ir#ї?e3tϘUozMx,&Z߯u2wE 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 -- |s 2x-HV0Ҝo69$byoB!q:CK:cB@ TN=r$b١HM=qpzFp{7QeB\0|Z*zؐ4]2 #L\W=W1EHmEsu5evIGeĉWJ9 c?~ګp|[(K. (W4),5 rn˥VFzͭz\x`rJiG8z =79$Ʋݓ.ag CUȜoG :(6?_x#1ˤ73s@SMNvb:`qЫ^|W-JO7lHb/o 6H#B~Zc%1ygHvѠч)5=Kxіz^5+'l.)\MNFlo ?j;,۵;'ur(h@%S15h5IGH,9JBklύ9^E S@i,z}2^ YЯ8>- ?5һDWp'PX/N%ER+AR)IYwPƇ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%_#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]̲Y1dP$  Cm_ @VEqܙ'z̰<߽ nOpRsLAH$m7|ڱ4Ѓ&i#\r5ƋrFAd&;o j x:#]0ЮQV F5!Ǭ\V%q?_C,:CL vNg6 =^CV"3iEewc?EyE򾲧U]LYJa"jUۣC(!z6VCPvDIL^FgT='N`n~n !FXyǡN J+u'ۼu6DGzm7+hA[V8OmݴUÙ-/Ir}b ("uꩠiAc@`\:Pȵ1Sv\5 Nڃ YqknisD:۳V DWʝ(̜Em8tAEiZn} Dok_ lsГuxT zt+n삶-`cVj~&_q<~8^yt#Ϋ Mg|I(=!h\ \ϖ`eTx!Yjy%~<"^f'@/l ukh`Ƃ/HHsG1!/nox7˖:XiNweɔJ_Y@Ֆdע"+jk *w9Lusmd6[MgKL1'U"Mՙ] 3Jn_KٖIaG0e>팾O!;55e4 IG2' o>/xA;mSeQ$Nݘb]pUm5=a;H>4 C/S~. ʀ%.hP ;Ojk_ {y#?-j]QUgCдE_@\)@"Nn 5ޜe‘l_Bb{+T`N:63[ܕ6ݍ *8mW ֥pݠW5"nɸ6[߆Maak[9@|q؍:L>,U6խKٱgYZ 3#3 1=% LTree_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! R1U% Tree_DecompositionTree_Decomposition.TreeDecompositiondocument.tex7zXZִF! G]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*Au`#!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 "4)Cyʊ:YPቾ h1AM+Sd6;̔}Cv ^[.vwFoo[wg4 kXMB"fTJJ+2q;Th E&B /7a#gH~-T%hkgd+:׆z *^0Wx$I(TaIj=_c(znY7~\Uhz{)j}[e,W$m2V.AfBZ.ߍVDc3+aT|v<M r({PԆ!ͦmn Bwn/795mR]ght'FcGu;0?;h->X @sl]*)̈ =%\̟A,TJucjfqu[MDz'ml=}҄ e:."WμY|#=cg!p֕2GM!yTDX,; CQ:(QG?Ԫ'h?aZ*z5g<>ݏ7_` j\;SkkYy8CP-A/˱gYZ