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 5+ L ]/ GraphMarkingIBP:threads=2elapsed=21.463cpu=37.584gc=0.756factor=1.757zXZִF! e]ŗXf1-/6vRZ"P*nI۴UyT,!W-+lMD:#2Wߨ07`<}< 㻨xLpI_ B*޻v[gbXΘ" ܃][LL ̡Fw;淈T7C\xh{+;) fKU3:njl=# DJq?@d.½iНw{_S(S< n? YS+巣/*e3`f m!!EY:&9,T8j>SQ Bb"RWk';׍ͮ'q:0"#?}Aefhe+6MtN+V!Ṗ(p kƬcK➾ ]vx{$\ArƫO/Xr0] )\ ++ٓPK A7;j^m,z]`&9j'X:e 'JשQ _ woJm' Ⱦ9Jl5˕roL$Gd'ۿv?O0X'kx,&]H 4@d2|Q玞=,h A'Lt83Y嶔0IgYZ7zXZִF! 9]ŗXiɟoptB"5`'''?D$-0j0uB6a*.1DW&Goo7*ί~wS9P%|9? d `B2V\etDq4nYQ,{:(kăn3Wk ;}7nf@,bE]oٯr$m}^ߛ*w*E%'۾@i;]Nd(N&7:ҝ{Dg"!Ү3]&EYrC$:? 0G>I"@ OO0xɃ0x\UŊeur|Hʚ4r̉u)Ѣ: 7\*%xW+wU `K賔v>WȮLߍ"ul^oR Y8@ w:Q)8iP~Dh}}# D̘˩q- jof^'2)=~Y::K+޹9pHSn};ɖ Y & z'4I|GElE&{g@)91cۛO͋9 U8$t.^$(0APVNM>qD%l=`LUxﻈ"tU|u5}߻[\"½-ײYN ֘6#rۂĘ!{=[Bn<#Vz`Lk=EYwQ3T$ OU&ZzT\ nKӚ6>9|5P;%h0 ǥ҅w${Mpb}v:҈}rl'01)7lTk2OJWOc8Zl37eQzFnR /ˣeg0H1ؒc#s@f ҂ 30xMEDIhJ -%v|)ՇxCL3Y: 8FW0G4pp6cz oG0wn*NJ3Zea EA*%nS {ã[$JШ%V4PpxP $80pgNj,q\=a(r+DZfGB1 @!WLItpǽ5ZF6<ߘ,:!0aܹl~+$ү{O ɟރ\˜M}4v9mi ɹq A M 7F}svK'5{N7E$l^FܶRLbP⻟o?FϠ0uyEQ~3 HK?q>B v֔5HVf/|2%f)?,F}͉?pH1nt(G oMDPOj%b&liW4D'*%44쫠qΪ@ 4*u:NLaH,P?ijRw gYZc0013d0e3759a1ad25191788a78898d71e20b42e0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 + GraphMarkingIBPr+=% |GraphMarkingIBPGraphMarkingIBP.LinkMarkdocument.tex7zXZִF! 8w]A-MՋhvG"uIBm5hnH6;أ"o5? D%W+\2ۮI,dTHkip[eVK ᝣ"asHmd+V*?=eNȈlPX/-tBH:Pf |.՘% -0P_RH廝A*_K[0*<" ahI$N$w1f\w^ ;ټ>ޛ6cdMB)=%ewy #PX2#.e 1Y&}_M~:Lg+16ʾK:!'3w""䳗[d2]&vC [lRښx?T|~M\ ] *ZQmpѬKʠG-cH$S+* 2qXjQDj׍R'h )4(a3m%+%^nP[#XlJ %jEVI=eCH*&]}Ds-%Q Dz/֔wVX:P[HB$LMot68N-u1]Y}5qTԏSoD.l3 :׼Źdhov]"հKB|^kS@|S{ݤNE=ux%|(B }*ZVsgh10bLfTແR )'rbB[`.JP 4*@X -lhB~!h>idQB j%ؚtr.A.aWiY%' %(hg@OICd꒺*x$O>;Rc5Ŧ7f#6 ͊; CI?\^v _zNj0Y ܬ* s@թ Lp`PݐΏ4.GT-2kIDqD&هo=n1=5>+}.N]EMvh0Ka+;% \GraphMarkingIBPGraphMarkingIBP.DSWMarkdocument.tex7zXZִF! !2g]A-MՋhvG"uIBm5͖&fD,̥PM"*L0 Y)|vPXOY[C2( t>2bT39WjzݧK>Cko`8`2G;X/>HHi"(\."yn2JW]+נ ؂+Г73`{Z{ [;(4 eT.-i8{LNѻL /0=aynk3fޒfz |WpQ.0C#Nyc"J-cZQ˵φ{-#o9 8y9|n~Q֗IS H@Y)3HqEzn^|:[:j%p7dQ݅.*d̘(n%S^94{fx޼W=w:fq~x|ѭ"عg]6;'+sg0o $ቃLwn`rV !vzMݷtD~!"w\¿ba6P* (yfL(`&6b&OmU{XVrx/qC9*WAn%+ 6AjW>gϸiA]>CkDRo+ZXA,dCZJ-SM.tȪ5h v%e5*lo6]xWK,.'շ~ui<{s1'p!K҆ȥ|BFݳҢ|7:T/P%_9ȹۡN_%X8D*|FF؝3!BYR>)?g.x.V1f$2@W !#m9_up<bm@_6Uxoq' yqp Sl:}%¿D UC`g Ua }ÿvjxǨx3Z]EZ IۘdiY' ËiIr]4t}KZfcK@abvwҁ1O^?ajL^Jz^w$/( 冽l9PjDoS)ǙǗ1T'||5'9 pRp+[b{("!5<5$ݳ 4_sL,tOYtD^}#P7H.FO AR 0b&cnGu+iC%;M~'>GF)ak:VVBƐn__O6ϙ-~U]IcKc#BTqeTs60e7SA9AbSs_˨ubPs]u־hv+X/,E!.G$L5/I%6x2\zP NErwF¸hkCZg:RJd7_'[in1]Vdxq_؍cCq 7&ޅ+ZF߲ ɗٽT=@BZ|waJ({Wyb*C<@#ƽ 7<:.?}aKo+c0R>s5Z)TTgxu:-72Dy& FI;E |3 Ϲ'V|Ӵ9mnC?y.v #^ ~@4QsC       Sb  '  W@+K%GraphMarkingIBPDataRefinementIBP.Preliminariesdocument.tex 6+7%GraphMarkingIBPGraphMarkingIBP.Graphdocument.tex H+[%GraphMarkingIBPLatticeProperties.WellFoundedTransitivedocument.tex H+[%GraphMarkingIBPLatticeProperties.Complete_Lattice_Propdocument.tex =+E%GraphMarkingIBPDataRefinementIBP.Statementsdocument.tex :+?%GraphMarkingIBPGraphMarkingIBP.StackMarkdocument.tex8+;%GraphMarkingIBPDataRefinementIBP.Hoaredocument.texA+M%GraphMarkingIBPDataRefinementIBP.DataRefinementdocument.tex<+C%GraphMarkingIBPLatticeProperties.Conj_Disjdocument.tex8+;%GraphMarkingIBPGraphMarkingIBP.SetMarkdocument.tex:+?%GraphMarkingIBPDataRefinementIBP.Diagramdocument.tex9+=%GraphMarkingIBPGraphMarkingIBP.LinkMarkdocument.tex7+;% GraphMarkingIBPGraphMarkingIBP.DSWMarkdocument.tex Ly斝<]̐6q& |ʙVKq7 9Xh$! G߶coѨTG7}QO9Yٶօ4<)PYXՍ2?bVŽ>vf?/ 1r}o@@$]1h[,P 'ЧD$C1r #ۆԛe,';#>WLsϟ.rn,(aGu){KSv2iFY!<؏lE8`eԆ+(A ?ŸF6DXTֿ<^XGQPS"xX*NNá KQy\o"<|@K 5v-EvI U<֖~uFsr HK/s2bkRergO dV5Z!7Ob)w! 3o;y<DB2П(gVg(_T e}IeiXMA8Y3"!AAQsyM-?&c2C_/PZ4@' \i)xYFN.c^R+[UgB?9 ͽꚂm@N$`P:%nyHfEht*L%anD+zVD\ {3QqRt'ʼn 5#.h* G|!3mAq *Ov@|״{UWNN Bl/5v<]WBUu潔ńҬ<1i@+Iw,*XGbކBRse*ĈkEp4g) [Hr$q ³{l2>rMTjB[(@?0'8^'ܰ9]*~$Yܑ S a!xDNHr~Ѡ U_lB;խܾ/0"L7AYsޘI$Xv ~8B?RBljI}-(Ր4uUAr'0GXݴГ8sm6gCpl@yx~|tvUiC3ѣi80RD|f{Xl4$E$Xg8|/kKH lbʻ+ C?8MsZ^+F ?#ṉNoC@5c%=Ar.c7cfe!G~oŨ$Xp&Q~F* Al"Q.jfPб9߉ TnSDtw3HtOfr·ֽ_Ǘ%#!#@%-D[bIV}]J`?#a"uߧbl8Z0{O`zLfN1Hbdύ:n]%IsԂq>-C{ډfp[ې|MYa/qYNwǾAxE υfx\k~msl^egTIhvf715#pE%s,t*۳XVM\T;8&?BBpȑ\qc/ uz0_//asM8_hiȈ5G}뚵xޗ^_ĔwG xT h3"TvTQ-Jk/xdv 2O@H¡B=557[%Q. e&؀V1eCs+L?4m7AI58w*H ueJЮ':S"Fj0GMsn`os>G"^ ,|'g*'v C)?EtPGRXЏ*zOO ?K5k,@-E!CO {c;klo[q‹KS9#{0F $3FM6ܻ>:짢qʡ¯ZF&VQ_׏ . L9~[)?}LMuu֯m˗#hԔ|! >KLJmݣȏG"<i74iV&܋wVzcwF/SQFqs\V}@j=uڭwɽcy6l½hJm{-Z6Ov_ |, "twQO%$hs{ڿ7C.`ta#WRwyC DKB'LY{M͒6ߪ>,Rb*{!W&!luX-Z۸bb0Z:F;eToժy+"nT,+u/ BT)9.aO݋r>o?)[7t,`Ge[$MCT@U#mGi$H~~⦲]W7^u/ˊU2gfelM>ƙcC)~0%K,Gs #Fml`E6Rԍ53~jIh_<2l@ن=ܴ>~gW)j)4 Hx1t/ty!4'Ӱ`ϻJnN/Ǽi~=]F=gX#.4L^/IS߁g?tho`gv-\ˣNIIrC"?xl&ģ=3*g[w&xQQIu#?D{/s?Wcȓ/Ճ$9P *}ZZzB.ٕY>ĞHlؚTcLN܆*~k ݘif/C0լ{A IALr199 oDMx߫A=zpr@k^i:Ԓ{7%F&*݌ÿ*rƦVǀ<.򂔘FfWXKlDG6LڦKqWNJ.hS=T+g^|["h{Œ4 ."L'ݣl$ A$i7G\U|=s Bkbm|>?&^7/v9D/@(.2ȸ?~ La2q!v{rR!3yS0X;u@PJ%Re '>( 2Z#l} j&a1&"-goQ&Hf m"?UP"McLr}.qwq3][e &`]p,o3Gz"%J)^Qˇn7+ *DB`@4t׎pa'0Hķ;T{Jͱ#i+0Z1z'qD۔LP8A[FJ^ӅЯ)b!@kiK< hkFhWݯfWWؘÒkmEØ"B^!TYXӽ KlDS*O/ l`gYZ@ 9 jvqiԓo@Ew8M dy]/^vNqL%RΗa$ κxZ4?o+M:l/+T=&?F$P&qK24?㻭oOG ?b=!T-O6?G~7PsJoҲUk 0m|kY̶H3řd^ɔ%MeFgZ`D]7XmL98ɮ> E5XýZy/^Œ] }!BAX4}T KjHOG8jGzY@ycϑ_[ 4tZ7![cp u_Yc6& YkQl5]{a.[cͣT O h+^dtLӗE8uu]ATpX*}k)x=ewT*xAth&jdi =]_7tL| uΎKקy 즢UƗ>N"iȟJ8_#IKܓ4`%N VgBqPH63O cn2&1bL@Umi1Wߝig?t)#k)n|N!qLHxrc;gӺ1?흒aMbb sZ:4G[q2Tw+ FLT[M|l^ \EL=_(ho4h6LϞ+Ȑ?{Xm!fr4Ԥ{>dFMR~qO3l /3J*n*T8nE< %.=)ZmdM I)?P"€U9'Ep9&^X:,2NbFIPO%R )1Dz?`7pVeqX n]aThKFTQQyBapJfyT'oFH^xѫؘyΥR@COtQٽLD M,x[|VOyyKӊijeHb`#m~qJ,?!͜a K5- :亼rW}ԾSwsА=O{p*p"Г]q'2{ҙoo!BrΗ"rV%dg=ƪ-|Ob "=:ݜȣnmfUZ&[8oeZ~#t.[V7g(zB!PIhBECE=2 Ҽ"+研N]h WL 암aczgj{m|FU3zJ֪|':O<QzK$*i> !~Y([v:v&$ƺ=g ]Y>wӀ$(E `%a2?>vź Gf22y@{oѢ?LW0 Ƣvo֠jE\zS3N-Z}ޤX H2ⲛXڑ@o/W0's\¥r(5|R *#%b<>-+, j"// fe).{p .'0榒֢el'Dc{mPλi=Ty,T-y}!#//yN>YcE+iMo.a'r95U6 պ[! À;,A\NÛm`אeH /5Q<>f2.r;YVז#]VԉO%6<̤*d]g,?"A4YeC.\-Yݭ<Ʋ-t#EqX6ӌ`'_>./B5hc)`I*/)x $~oW'C851 t&Q63-IHlqWf }oԔuγ99߈E&pI9 B)_?}oFIlYa5O"Y8m+q~C/ִ(a9mAy˗-6yFZS~E0#~0ƶxU7bN4 r}'|XS\loŏ2@'4HgW6#"(nZjɁMN%gϖɦ [ ABYfYڌOg)_C3Ap*/1pOv8NJGp,Z.")^PH\HZv5d'ﷻ\G|YW,KאD"vGTq CYc)ӷi4=W.){J$tfSI! $F\yv6co=Vҳ,x-:O( zQͯkfAh*!K,yUa g)5ufNypA`=rPC' I)S?hoM DꩣzI_jߚS\;zrXˬ_`oaPm\wR]n}OEtG cj 6k&%$H5k%Vg 5!"0hrKb=K`Tf f{ {P${t 8zԿfiTNvpËﵚַyj7y!lf/^pKl. Qk@l=rU"@c+5C0QmQX?G dvyB٢6bMϣКgy)\!4E[+6gYZ8~iE TFA|_`vg#HjA.itbCLvc܎B1LY9< L#Ƶ22cHP6Vְ`[Vu-QydDTA $WZ/N(f裩u!,aw ׅGW$vt<)9,`!׫pzi?9pJ,1C6HP4X6I߭HV0BPreBí6|*s\8dl?1xYT!Q\~Ui< ?YgWqiMC L>Q?F{eX1Ct q f6m$09q ώXaB~mf?c캢y>%Ӓ@듾:{ŃWfUJ;NhkJfDyH^db<ߜEU*[l qoH13/oX5þ{7:67\/(+ktє-kCB{qd-!W0.(G>;ɾg6{u"Y1'Yzԛ\Ɣ^k|Ҡ0CȶsW(۩Jdb=OڗZ?A8]6!7) i&qufbH*㱽.kc2 L,+epH@thAbUt͟Xzzڎ$ QGzn}S`Yr׃劂-Gb-~sT(GBfZ\ɊגfGkՄ0רٍP<Ơ@jyhDo~R!mj۾6^6FϔJTa-} CDuH9uOS]>'l(xV~ǾM \Eџ!u&]ߟX4,|3Fkъ:Os7fs˲"ihϏ6\C !.H}p".DP^%s~`dKv"[0s+~RYW!_\4'Ƴ {U 苏N:v88?g؇bm8z ſx"zM>FN //uʗp}D̹68,qK;HeYۛ)@ҙZ[d;u?$ 8}yV |~DF|_xt VUkcP2[2Z%~ b% Fu8cxtF;{Wݳ '+o j: 4h;7f̫=]mizk(Npp8wo}'K[WepĠ,某M&,܊M-].޸;Z' jH:qSmhZ!tnOB)e<|U| wp֮)~XPŋØe S[ (H#kDՊީ hn `5QuJ13w9O Rn4 u}ҋ K7%eQ"gn(|qoP'aBꟲUQl`_b 7("Q=—T0Ro#@}2 1H'בM?wLy{>eݠh? c<"Vo4qaa,# Ŷ^+LM~9͍y?ABG1N X)u304=Œި͚JNCxi@ADQ Hۦ/+?t\= Lj3 A8E*ssýZpZRň:zOhu$+7nx)g t"nǭ{^LFa<9c2)Y d(TkEAfpDm>:#y{w5,8X2&rL7:AR7 *h:]6l[d=r6W&oA\dPWd$Y+M{nNLScD7F>;돋Jj@ -(4b^ 1syu+.ViYƃtͭ?jJbghWar P;۬bq7JiZ畨\ëN{Ѳ˼n?Ju!(BBO+$R~9{Z.`F+Xwe4s%w? 8.A ߕ43>AB]/eT9KwAz!nt= 3ںQ|Zp\X_Vڙ;c)tSL#{VCXo_"?F"nZl ̟QfU_x쵐{Zt|%I~&ŭZ 3Z!O )f|uWи !{;>tgôvX4 t$;Mf! TXg+ aenoޓI8GMIř+̘ngYZ r+=% |GraphMarkingIBPGraphMarkingIBP.LinkMarkdocument.tex7zXZִF! 8w]A-MՋhvG"uIBm5hnH6;أ"o5? D%W+\2ۮI,dTHkip[eVK ᝣ"asHmd+V*?=eNȈlPX/-tBH:Pf |.՘% -0P_RH廝A*_K[0*<" ahI$N$w1f\w^ ;ټ>ޛ6cdMB)=%ewy #PX2#.e 1Y&}_M~:Lg+16ʾK:!'3w""䳗[d2]&vC [lRښx?T|~M\ ] *ZQmpѬKʠG-cH$S+* 2qXjQDj׍R'h )4(a3m%+%^nP[#XlJ %jEVI=eCH*&]}Ds-%Q Dz/֔wVX:P[HB$LMot68N-u1]Y}5qTԏSoD.l3 :׼Źdhov]"հKB|^kS@|S{ݤNE=ux%|(B }*ZVsgh10bLfTແR )'rbB[`.JP 4*@X -lhB~!h>idQB j%ؚtr.A.aWiY%' %(hg@OICd꒺*x$O>;Rc5Ŧ7f#6 ͊; CI?\^v _zNj0Y ܬ* s@թ Lp`PݐΏ4.GT-2kIDqD&هo=n1=5>+}.N]EMvh0Ka+;% \GraphMarkingIBPGraphMarkingIBP.DSWMarkdocument.tex7zXZִF! !2g]A-MՋhvG"uIBm5͖&fD,̥PM"*L0 Y)|vPXOY[C2( t>2bT39WjzݧK>Cko`8`2G;X/>HHi"(\."yn2JW]+נ ؂+Г73`{Z{ [;(4 eT.-i8{LNѻL /0=aynk3fޒfz |WpQ.0C#Nyc"J-cZQ˵φ{-#o9 8y9|n~Q֗IS H@Y)3HqEzn^|:[:j%p7dQ݅.*d̘(n%S^94{fx޼W=w:fq~x|ѭ"عg]6;'+sg0o $ቃLwn`rV !vzMݷtD~!"w\¿ba6P* (yfL(`&6b&OmU{XVrx/qC9*WAn%+ 6AjW>gϸiA]>CkDRo+ZXA,dCZJ-SM.tȪ5h v%e5*lo6]xWK,.'շ~ui<{s1'p!K҆ȥ|BFݳҢ|7:T/P%_9ȹۡN_%X8D*|FF؝3!BYR>)?g.x.V1f$2@W !#m9_up<bm@_6Uxoq' yqp Sl:}%¿D UC`g Ua }ÿvjxǨx3Z]EZ IۘdiY' ËiIr]4t}KZfcK@abvwҁ1O^?ajL^Jz^w$/( 冽l9PjDoS)ǙǗ1T'||5'9 pRp+[b{("!5<5$ݳ 4_sL,tOYtD^}#P7H.FO AR 0b&cnGu+iC%;M~'>GF)ak:VVBƐn__O6ϙ-~U]IcKc#BTqeTs60e7SA9AbSs_˨ubPs]u־hv+X/,E!.G$L5/I%6x2\zP NErwF¸hkCZg:RJd7_'[in1]Vdxq_؍cCq 7&ޅ+ZF߲ ɗٽT=@BZ|waJ({Wyb*C<@#ƽ 7<:.?}aKo+c0R>s5Z)TTgxu:-72Dy& FI;E |3 Ϲ'V|Ӵ9mnC?y.v #^ ~@4QsC钟ݧDW9Y{{衳Bc'cN]j%Pk$Rd|r9PwP  $ct}spڨ2w⸊̪a*6nJF®UmZT HcX]#f S3!Jxh+e,i:ljvc5Ƭq襆oO_矪O)|Ȳ+azӴ"",G-fYTQ 5|j͈}+cB[h\7AA<[co|(2gp~p?!qƎFE7KUf%]y95q }|]Q=-St@ zSt왶[u8l7j,EB^TZQ^NEC@z]t|FTGۡEbsQC['BG6P64-c%hVpɟAiPuE|$eH=O{sv3 %j=\K=[{s-2͹Cj bDЭyn?MDVCwizDE]JU'P]2 n.duvA .xSd;D@"]?M.t3glͿ52d.Mybv#t/RA?֖.r c۟iw_zX +sȐv|5ܚU,gn`N=7egUbЩ:(Z8ؼce1ZiKmy&"]U$1i31鿬'1&LsqKwc@/\"<QjAFq7J KAq d%gnP$kD6#32kI{zB`Okcb3_ąwXVl/$AσSr=C |-s*xϧ f6gV`Wx 1-^+| 傿',/Jث@e 6XpH7}KXid8s';c/8^u*|,P\к#}#ۮE̵h}[(!K *^U{塳h¯ k N69`̥5l/[IQh 8ad/G;LPQ!vG|[t(`@xuEDSx<p<OeIZt1u܄Qøz [@T"x:n%„R=MN2y>rQ`NXF詧s}Y؈iO3`iĚ+8!<%!('~H.ؘy@g4a'־;,ֶg͝`F,6I.b* T? zq-eÑvTyvtlXQb9TrW Gg H4W\e@b0a);2Bz*S &5̩B80d]zb~5-n0T,=2hz+5۠' I Ȁq=p'Ogy%qIJ 6vCn5~<PxH@el2JP̞Ӌ4  N6fIk9j4-)` U¸i`d8UfCTkak@z_RJas, N׋] 'OTh nÎ29k+(OX/ky5x!,8 6|fU\ '`OjRS;Dq|fg@ ap+H K'xVO]Ǔt%/>5<c& s !AgcjퟺyL}24d\ӝoFOU죯8K' CR9)% rD{؜xq(~ 'iƱo4/14O&[3M@DwkG6n lXMͭ_57AZ~WuO|o)_Eϐv,F~o7s$ѶCC+5k@Z"ZH`~R8!)|ҾhچxxeXܯF~̃lU {ox^L9XZ|c$ic7(&ns[E{LKdAIΚbRH,(lmY_IjWZS!VǭG9g$O//!bQ `eaXj(bf!_;8a+ ȿzS*Kuب|Ze֥µ+<)˟p4댮I92"VٗCN,"SHQTСQ G?&V6C ׆pʛ+tl * u6¾bh J>Q|3N+򲀣gVѨ.~ ko2Le@r W~lA$)M4^ $zZBuD#ӢeJq^}WUs&jR&&N*q.sXƻ9/@8.W`<'h_IVSpܪܯjMe(VKr`ta5W\\ k7Q~&`IOaAO~Fqϡ9$mwۭ5pYs͆}^?M,Nb^d$"$N zNnSrug?/c тfevIWv> !֪}@oQm*#,ςA3ªlLwJBR8QQY Qf~'9dYͮħjhR}{whhݗbǫl=0`7 <`w ̹,E!,PS#fJ|9i`{tPJוV]dou鮑 ޶v`Cl^꾸H;ƅc=pOڈidžM4@d1I4=ΰ"^vJ:9JuzL"8дx` mR,UbƼ(2`!^T 8^L85"6uӧ!U`O)FH8F)Z> A;EH|sTZ._VNrZy և)?M_Wi SΚ}2rg #ElٍVΖo U QƂ93Oza {x H*GZML桨8fJS -^P2n).h]-tu KBQ )5[^˶Z Jetb[ꎀGasy\kKbH_'˄|2R]5Rۜ*sd(h yXA/'x #o9m5bvƩکCqOiKK ES>;hEyZ;~Z:#JJĵw`o~zc+)Hr}֮xPg"`E'<^7?FYe]7+"[߭Br6]B[,7u\J<C )Fc<7+zځΏb`VC:l΂ fYRݝ%N_Ž+}/fȳER1ttbi1Aeu Ǥ2c`ZʅyZ RvA8H*S=!E~<#FDz%24r 1; L՟ C `oDdX ~N]Fg <I ԢZVr$,Ma`=eg1-WUs1rJhQ391j8=h}('ܤTwV=Me@qSn0\0*{6\蝷<ά\PQ>)~rpP1)A'>'MEfB}Lbh>qBu3iUY =#Rm&nI7͑ZL=W1qX[Wc&99:1J;L薰(ȗP էPp< ;:Я'X鍔ky-8ME^s8| =y(HO!#;Jinr ;.IpXs@_;Xn3 7'i,$8?`o};p7)"gݧs, 5My+5T:` n/F_e-YZ`}ư9cVÔ0䀤-mS%/qNÃKn³ ׈@'o[O2fe|^>Mzk_v 5h5E ^Z6#J8.YQ!_H72 œ'BHYB*}\zj9uImL`R4&jwOB]蠦zKLn!I2zlF2k19 eۉVV{]c6!"~cfu=fR-SezAطd,~BU~dqM#Θ1cPw#.M^5UӮA1?)>#Gu/zYYI!G4!Ǜq~C^AiV  &@~2ά FI MĵxLЂo~4/Q*tno$A U@Vmp`#ɖǻ[զ:PE)Oڡ -)^B@tn S^%˞ډ>6ڶA~U+6deک Cʡ{ź)g63H)\V6@~a.ZK['㧸,8_ĿH@EZs%Zѭ1KWS"М bV?tĩsg*C)#Zv_I29W0I񙹦.GN췴~g-p.ǎ)&]H,x{ʱgYZ ``+C% LGraphMarkingIBPLatticeProperties.Conj_Disjdocument.tex7zXZִF! 5 ]A-MՋhvG"uIBm5Tp)ͦw8>5GG kSܹ5+:B9c أSvۼf<1t QӲם@2x"_׼H.űJ%;/EأuF:Ȑ%Q6W-hyCOg AɁZf9 aHA炘y2,*:1,!3G4kΣ"r Av} = V*{.:-mHo=_>7&\gkd\9т M(:Bdې S}PIVO۴vJ4}]JM$<U<[>mROb*I]iMuȜ; sT&Wg3 Y`)3?\ZwWezS 7T!WRVÐ6Z8s61U)! !D˫UJUw? 5_5Sb /\ ="Xwl;X*Yrbc h2#cF]|(d] gV{dZ}@M|B̈]ww 5 ON^OzØ1•72{]i0Oɿ@ҳ 7ѨuIq/67@]u #[J_n4i(X~.tF@ knc?QQX.}ey8H;avZ`mW^97XKhrS`h6OO(Ƶu-^DR*V Ȱrrn)ثpg#/6혼⿮ٷ1XJfbT9^]ڋuGKrr-KN&l gsp2~eCF (wI\j Hc+$Vd1 "GGb=5+h(5vgssf R?zt*uۭK2r0_m} -c;{a[9USAXGyx:By1Y*m A ;,\AΝLĻ_yѿq }pRH^|Wכc}ԽԼ"crf Z}>&<1G۳xҫΈ9j ]﷜ i4ރtiƀWs-]{UB"$<퓕Bf(dh18zF\e$T<]}ek%w;R XHj*i}_p%/HnWV֞iu,"&BugMDBH/. 9+TD*jxG=RpҌ<=[baߠ}7y&]5aRE,B#`7rv&E32^.4pwBPu mGL3OV"8exZ'lY[Ĥ: <@8v7[Xi-Kfs=i^'w^$Be_*'Xpm~`!^s*a5`|sn,;rn77IzM<ޒѧ^̙L=RPjd%EN$䖩p;DP8$~}OמA ˜>^6Fr䑕晈>GCiiϽ|W5'οEڹ\vYkbՕ1F9 F-05r/~5n:mKڇuޙ+ V)'\\.]`ry8Ѭ2z!>:uplಹ[s˾x*9v,7= u8Nn4Sd^{$<$p /\5w>8fK˯MR lmEg[3 lv]К=ڿ9ˇF =9'v|Ao/~:a<-O=Z̍F?F,{GQbIvu[/ Q_ϾȬ(gA|o舒C@Kri狈;h8s@ qcܦEGC?fZ^>D:2Hlz~۲wѧ+;5j+| f&Md 6><>3@p)stMZͫ$dG>ΦIfnA@yTfۦ>3"|Sx gخ~;Dlp$F.xgTTl8NUs}Z4eH p.7gaVOlx2|w2 -el7Ȋus4Z! }/rP1t -5`Zent \8,CƩ#r6t,R*Ȩ 5\̂Uz1ϾW3Gs `zwXr+#-Yj7A-c1<#8;UNv9Wڋs)W9ql| 0]}KOw}+P7x]эmi8(S{.Ӄ5ZK #dv vottjJ8 4z#/"7~—Yh{(]M o1pchWJˢ/ 8] i`c7 Rg[5DWE*IߟAPٝj~AʣFI$3caR/uAYJ;ܴmަ̀lbi\ت[kKT/[r[JB4Cw6tj˷k$28)ơֺo_CV،n r}e5Jw ?jIB>Ȭe͈/lphs*Vm^mP$ˈ'WYl=w`)8: J`>q#e-u2}ҽ;G罀1L+*[h^/f'¬md 3T9JNJ=">X*W\#R2fFMu5Ӫ6S5YRƅ=H'z(nYw`@)G]F43+_na6;8(xQaBg)l{Cx^0L= 3ؙ^+#;CTrޖ,.{|]$Hmwۘ4E( *Z[&$/CYSeeu!UtZ:QDb &;/#/.TYHG;D}~0Ӛƶ8OYO^p~T ?w ^M5A  no)C6XdEKwي-5^ד 2R~O o~JPLt?D%^إ <2!/WQHPF>l%4-GvfWf 4MtX2m pJE_OeyG[n=x= h|\?,/LmFlD]Pzo#6$[]{D) }rwPlBDԖac')?6>< >j.tc^+ ;)>ʉ]yIɉU_Ցt|ar89ժjs_ΆCBTy,:&v'X#DbSz_ȧKd[dL&_4YJ({c1 ˵Ldub3u6Z4H)l|h5^ξhAg@geo {@VyDkZ7@of6ȹE9;"kŨjbx9kHTsR7$F ˜BN)%ֵ6rlM+V,?Iw2 B cE,sek_$8N>q?;@y<<Z)m[A f#no'J!4X-<</Yq%#u p_{ RqOCbj(!og N.%8(&\ORsO%0M2NpGivEZ.,o])}Z64ʩOϫnh[h+?lӵJ9~=q29~O#{O7*)\De7·!LǸS*^1*FBK=EfjYMGLc0?hc$qIRXD}^raQn%-!$Mp&% LǢ:yk Jdŗ ޚ P$Bg9Tce.bDBBAw?Ȧx'sBmEB R ai¾+ VŞ\E}v./naz)V?8$ I%B`)v^W/U.%e'sZal'(db _Q|?hm=röRHg|^ X$# r>@ u^DjV.THb -Wo}qײkGFsolzAyEpu-d[*ܰn}"y~VX0 Nv>īTOֈ^j09 :*<:ѫgn^+MQ19bxeJQ'-s#>Xs*Ŵ\lyLw>BU{[Ib7pHn J?K<[O>1D)>HgYZ  g+?% dGraphMarkingIBPGraphMarkingIBP.StackMarkdocument.tex7zXZִF! t! ]A-MՋhvG"uIBm5ȩ7tG=`ZrW*DAux5 Hi/E7[wt'YfSFNH6CBv3$$l8yP'T7Ax$6|q y8bzLUD )ugHَ,mYdmμn8L!q .BV>81z![X)}.!S;kF8 }&Z_N7^jEIed5أ(d..s-x;Y?bg.ע}DD;9SICcB HLk MD6a!vHSܒ}y(p !q jcHy# Wݶm,uɓlMgޘ6 o&8.>-G(GerRMbfS4>_;1M%(Q?kvHb Bq=腿aȰFtR^9v>6"Qe;MG,,fvVٲ{ykk?^~.Z;5߈^KQ~&9vHNfeBtǦ20唠y8}nc|Z bػYCB3*'7hdž]9d1hw_V=ӭWnR4&ؿ]G= O^t79DI IĮ#ɍh =*㍲SELǑWǾ!I#lK;e9S.:D  !CT*4'{?fwJ탁Aכ ^oSq,5 ͒(mAXff9FP_(kip*7Ǡޯ)IDrO"mFdǭRܖ jD@JbkYrG/znǑHjfth#gw ̈́`ۓ աS~#!|sX W&|rа>1 fd9ڤc{r v.gK+dRT(s[TFR-RKZӞ~WoYoGYF$eġP ۙ#EIz~QG-cZ\vEy,{UA|PK̠]Ɣ荄qe6--Aö/L 묑E{$ a ?!C:g ɶGT`.xK7pc\Hz:ߋ^qzXRSɈҶ*B-t0G$YS{1%ek)֦q۰z͝"εxr屸c_dAاa3MDӤML\YwiG2t [hSVHy^ޞ`LF-L@A*Z|/뢤NBao=Ab{ c *d ߇XskH-w'=ln),iЀGs oll֪NM& ߐ[ @iC@S=,O7w3abN& *vډIzIS׾;vU5{ |Ua1~Yj8îMLE(5V_c6N_~H\?~@[!424 } ػAٚ['\+ vp.j.hd1P0thy~kRNm:rgcFbUwbhA\I|c#?6 a{%oXD <"Vo/oLNkɊP8nxP>L&g5 NFȉAfywžk:vpH(fLȜ!ʋݦ.0/DH7 Y٬"I&lLI*K. yq&>x7mIT[i(ھUpM%j f!4I v]DT$Pv};t6t|3K\.KcܨeK2U5,aW1="# $ukTˡ:K Fy |fB` =UұX>k{:2!<9Ra u[敕U˼[Œ{|μ\ר1 ӮL'uasWau4A6 WÏ۠ 6/#{B}+XE!ɜkY!Wׯ#}WE" K@Cz{#y4௄ }ӬRz{1˪D)cGCSnHjKpxh8&<8uXn7 8!D] ]xâʣgg2g?X>'$^)$7C@zTx?^{qV L m[_S0GP1 Pet(H/V`e4T*=%4_N +&0@Oul; e)=۱6WBăӂH+ {vgs\tRNy`!3?^#'>*~|XO&\ _Ҁg+ C`w mv FRliiںl%ьKgKJ mp˴7f A3 78l+ gYZy+;% GraphMarkingIBPDataRefinementIBP.Hoaredocument.tex7zXZִF! }]A-MՋhvG"uIBm5ۙ!Ybы1uVm|3hEיzxϘ6)eSb-x{-9\Ct7Sޠ& R&OVێMC8\1=<*?n*$p 4DKcT>ڒ0qZT@J%pANEvhYѓ1b˽^+o?'[V"*scwZ8z/K p>"~TAH*h"ˁ9vmU%hmgjb [)sEz5jCmg,l\ Etz)|*0.ʍFgZ[ +M% GraphMarkingIBPDataRefinementIBP.DataRefinementdocument.tex7zXZִF! w]A-MՋhvG"uIBm5dglG3zs2v"pxט0`2LƏ)\uV57;OG,fP`G:$|U!HJETHSaBOo#fIGEUAL>M>&z'҂},d`M.9ss5߇.%"Enb^s0OHs"K@5 ;4ϞREUM-wXc՜U0_X.QaO+^Wc woib&Ô4{x{VW.lz9DӉP%TgWϷZm { ~Z9 %3[ 䇌Vsz8ؐ2ʁn.u,h'854B7Z{k\ K\3L{'þ9O#F@ԝeqZ۸5H!eV0KT{b0Q]|+`W'3q nsDdm]{ ǟ#ABб TY1C+k?BRZ4.ʮa\oP,xN*9]4Ѧ<>TȂj#0ݸ:L;ΎըyD(ע`cfCӬ\ذf1 I\ M!oSl}'s?iuPUh/bաvh}~Z; `cQhOwѝ*J^\02}%5`8XJz)hf55|O )nK ~Q02SeΣT*e_*$@C㡗Z[?-'5\^~sSwVH2SoB\.B< fά' [S} l>('TA5Psi8Z3 ~7+/ݏ.4K] F#8 mqf@ma~tWA[4s:ϧq< "l)O$@5Wiޛ|Z!8ZE$ .FSVCSm=fO#GA ]LVegNjVdӥD <1>v DCqټy>e4Tl|JB+*g*[#`oϥM1$3W.sNd/0"-Q2Me[p(7%i<դDτGO |cpS~#[…-Ur^*Auu$XDYL+bGy%y55dy2H`٧BZG_w()A!?n<_xDyA!ؕToz(^>w.W#XF9DStB1IH0W_UTq̊j2)Q<8p@kL+ue0(L81*F8*7tO!٩l UF*'f!'ZGb*}}Tx&g[1)b< /#}RX=}I͂\t5TJMg$Ib׎}|Cqh;QOD4{IwT6F c`̳OJrFÃB|=p&kerbuIU aMLp>Ώ,i h:/xeqgPCIXTgW.Ґm6#B RKTɓSUc@zwpN,14X:VC80R~Ð !dqs,"Td˔'0q_ !L@u3 f޺1=> Z"2nj!g5ԵXt}B/ob\Cl "\mdT&vW'jK/j*q\HL]>zg1cfWGb,OzGCM\)ȽW=/sql;T=aʋ&,m ?n&WGne˷,J⏱.ϡCL3M3 hƔzn(1D y}ý5B`@KԂݘb~)vr ُc96-ػr =s]܊Q~ȣ@*N.zXF6CdX-R~UXIv$RɟEW* LFj?M{,FЭEYb%iXż/}ikb 3b GW4? zHK{T #"]&`\i#z}Bms{sz~{_}{)RS{dKoP36y>h/=sF꫄T FP#c\UWAlPy9,X{ VQ|ɶ\juڧEuܠq=:Sb2؈5"zp)'/{!#VC~Uwr)k<7{GOEdJ Owֆ:ZGst3k&/X z" 0*Ьt~yו0xL}*+2@Y^MUxNd}\l;gCr쮁דV@}hNfXP%HUc ;V;!;Cw). .5|z~Fs#eȫtէHV 9nnuPi4'< mW5!$/"D||0&ڣOZ6ZC|Nvۮ \ *j)|B%c"<7%pcKi|Q,u42̔,Zp-g͆b/'P|DYh<y|UisIwz2XЀH ~Uw8"Z e;`j74iDxxv771z+C:[) o|p]^qZv'5D0f3Gߘ r vg053>= ap]w'%0,F:5j5o[RӪRmU?mjH89ˏdEDzxTQbrΟT?!syPAf&<wvQ%Sb x%:)k=`ӷ9&o5KtPq1G"/j#7>olK8h{ã捽w8 B:ST:('TQ𧻣M6x'ַ!Fz[ƶqHl{3Zv-D)?\dgYZ z +E% GraphMarkingIBPDataRefinementIBP.Statementsdocument.tex7zXZִF! ` ]A-MՋhvG"uIBm5ȩ?ˌ/gVەkW@栤:b{þW4Eι|}ڐ[x=ҫ m biaQ@M +E3%^GBVO#ANpuFaKP+9F^ݥlm8zFYl}Z7I*48tAЫe3RHÃ6umA~5HtdS']b0lNp</]*ցQ$0u4)\PZ ,/哽p0<#rO2 9}N0q9oBa8  :Y_6uש_aGs8`B7 H< *L |zm8_W مIWtS6581|aA\KN;RY0g*Rzj|"47S4`<Wii %4㲐"qța3~2jZ/7qГ vQdE^8JC/{B93]U>Nc@lj*H%f,e`}UN--?L EuLA+ڌl3i-[rСYb_iPK%pEĴA=KN9g$B]Ȕ4C0? 6-AB~\.uu6rf1nd &$;/Tx DUjO@؁ {#zfͽ؟B{!09]YBy)m\K[Ůom>Fy7:5INk:Db"^{i3Z-I->a: prաSfW,3&IZi:l~h7#\;nd}KD݅\Z*x!{ffwuUC,*DFh ˒)M-cS.EoU%8ӓ\ZB"5udF}r\{o[oĩ UU9݉{b!#ئʅ?5 L+MHi\tbLt@k_:N-tWhe[r[/+ f}uHP_,]#D}0j \2dVP5;МBykٶod1xiMNn4z) h֙#C+)urjlcdH -4sk]܊i:FaJ$5odeMǵϒٓ;h t\]b_-ic8&w~ڇ(:ʹi .9~V>_O1k*ĝ͈KE( k@JE Ypk(0M<֘qhlCpJߋ=_PAN%|Iо8wrDz,k^)BtT ɎF2kXy_/i/Kp~Y1FI`aT0/GTiْh~!쳍$'%{җnTG1cq8vSBS#!-7F [l̿oz}N8c}k/ </$f@xLxhmZDȑG נ>bpFCƶ]'5׮.}bKbi\.+HH4yKY ']ϥ8c ǣ D׏},y(p >F}cDnk@cƌ)!3,2?x@86yY:M)0XLCKk\򰒱gYZ - +[% TGraphMarkingIBPLatticeProperties.Complete_Lattice_Propdocument.tex7zXZִF! QN ]A-MՋhvG"uIBm5XKjFщ*1WBx#.‹ ݍ\>J jF/i_a%=YUij*$5*IDXbjP]MF·Oq i\9L²;Sfvxr)К,Df`_u]z0Cw:~ji$ە:u#IŘ)9zdr3t&Cji$1就gh'_ym$WjML3kC`h-\ IJ(Y}o;Ɓ?Sj UYrC\|K v b(:iXm-(,h"V n;" yq6!/>)1P]4BkL%s6-%ŒMV/ }ԀQA%ZU@zT[oj3><$9߮c3֋IZq5ut\P'!(Z-@)iZ$!(ϳ0qPBf(wOG\zOp< S}<?S"PKznN`۽q{rʴ%ei-hmSڊ~Ɲ!,C|>9Q ;GP5;![Z,뜊HL햆@jWכY 95Jer S2܇hɺJΠH CZ }tZj ?D yK7*8oБѡ3; ݆BkT;60+lv`Sչw 8 ؇ UDG˜ C4פ*,Gpt= _h+)tOZMkD7:9;d%L(ji(;2I<Xʋܥ;R]2Y*t15GeU^ n!\zdWSm֠CaUcLQEb_U@(*SѓM[hzEv5nuX”Q@{Jt2 U=O|dq3PQ%n>WKާ n,)-.Ktӯ~7R&Rxr|EZ_VRq?P5]YXGh vؔVם` z'tSԨrhaQV2vnelOdO Ǫw D%'e~X4)Z.κ vs}L,K0#e"~>"|s$G I hU׼)or-b& i-tv YcϡQ-6EMg3tVk^+M>^էXv]Ճ߲o<87??MupPV3SנyeR48_v~ԎjbY0C,r3EmZ(+~J# a#.aPnp-fOx, ;c,\u:u^l̮̟iz b'(S>X:q+ hX ټ4/C5$G9ťDkyaVi>X6>Jug 1JZ$Yl޻R g~y4QS)0kK5C=a`e&&<| ':>ĕ/.OV\Ӣ]A~ ^XK1e1d7!Trj6 n%ӆF(9c99JUQ_ 奎#g"I{"[ӳ6gMMF#4G@Rua* .rhgTHl.[H",لׯ5)~ g)%~ `> _76Qe0is4ndUDUw,N%9WfKYc_"pCω̂#8Ϣ;gYZ a +[% >χD%j yHIdڇ$ Z.jqz6cեYb]G`["cV? wTz e(<Aٷ;H)24_"&2MNUQw)2mZo  'cD$S[Dxs4hwUxM}vF}cJj/a0zv.02=TnQ*> ֡Ia[zgV(%ޡ5ʴ5$ 6$뎠o'"ۊh~Avq +dOӬ{S,wh%-Jw_}W\C.&yl Do_ߥ)\sX>IG/ތy[~ #EPeiI{Z^>Xébf8; #+zr޷v/_<,Ih Ƹ\hɗ2s/ԗ>!BQ Ї-hı_FyA#FS29|jCw~~c\O.01gᭊȎi.1{+#)cō;0oB :aHU. V?!+G2γ79`qZ|ˎpv[89_\!/=^0Lb 0('iՅc8OKjfI#6\LSap4.G/bslq?7 ZcqjXA+mSm'N9DT3$yK&4ÓN`]818 D8#f _3`+ GSFw(B_$;7dzuy"'dLo}]QgľGڸQ#0Xv7 rP{\,&T=14Io~N%Ɓ֖b^*OMx՚6 gI 4kGաEgz0R5JWNOå ΰݵ?!`08\y=c  ?APU8 D1{W-:bsl0T*L\ !9<ɴ}h?ﳣ&# E5, BlpbQ̑E c=4n߹'z83@csJh;?@_x .bCDv׮vmFFEPW6Ę\ fX{ȑVwWhwa:ȏT:ý Sj)IZkΉ$Ug1që)#*ՙSm[̆IvK񀻤ֳs1 S :O.|[)tVK<{[8<ٰȴh >@eR']$Ot=y:V6֍k'a$OfbGJR J kTb[Ę7H&|=fw(reHu o!" g3;|LVzn__ hVBkWM4$I5bXAVr,ձs( *;E9G:ď6^B"|M6 Nk#g]"; F12-/{ԀhҒay]$UxK2H S I&J^=uE]:&6΄ VsJ]#/=%ib?ysPc}ʚ Ci"$T-LwY3H1#(UKgYZ A +K% GraphMarkingIBPDataRefinementIBP.Preliminariesdocument.tex7zXZִF! ?]A-MՋhvG"uIBm5M/}^ ccNcKݬ/E:4Qs"/<5Pyk_.Pp /*V)߃Si-4ed7)6LHji6U)8j?voWM ')M_/~JgDeCKt tQHZH;'9*Iy LW+f4f4S%\v;$"G{hϐu؄?`h5 OO3?%F!mA%,JiL}ܲO %A-3/y;,zczs3ʛkvt m]$*4lAȿ֫xKcJVQQP/W\ZVZ6 ˲%2*DB~pŪ4Z!1c\EM+u9Z{J{vǕkߟ}_pA-=|U`٠!e IFYs7,vmN5ӡUBr??a{哢vVVa&7ET#t<5IiЯ_/@D^$V㴥d&oOY(jB39[+݇9Ƈ# ekk֬T77jz<cΖzX@m&JhVv{^P<)[Һ<#6%9Aeh_"&* eeFtnK.Fcv3tLr>ZѸ`+lϫ&!?r IGF7eb̩t։cc$~~?K5+?}=o_~Q% #fILNa Z=Nrd@p#zm.z^|3DD 2M1VyhN+ck7&8t}Fݚ2 /?zbS߱3%| ȭnZ sʭU/ IDϗqv;I65ur7pL!Ͷ @y}fiI#(2RK]<>h+)gYZW +7% LGraphMarkingIBPGraphMarkingIBP.Graphdocument.tex7zXZִF! +]A-MՋhvG"uIBm59! d8 mO.,Ve4&Cm"ȪJQlN1hX'/AR+qb rD`#M|zU%buNTkO FGDe $D$`2+ ?bOJ ;Qu{*t] wxT7i^a WrZbL[R%$vٍebWh!S#W?wc2λKBB\ݗɔ^fXqI4!B\]teCH`}i ogf?_kWJϤxnP_kVDI2aD'ܣ#ֲcG~[Z5CxSp ]nǘ-gIe}7A[>.q)pi-,#VF?3@;tqKB^PPXrZ'H?B[N'Hz4ZDd5 VrCÊBc ߡ3Z.)hV}rmY}k; p. Xt?(xU,8?6hƫ}eNP1^#*$5j $#$V؁z^J濼fdI$ุ|DHGa'1CPOs1.=|oH1Ykanq9j1٬ df,˔FgW($ %3D-x+Ĕ:Sk1rL 6;c"n=y=N|ap;gl ҝUF[Dx[\~Fذl:wu~hǦ둖lbvߔ^Nt:cF_'wYy7.钷,+-GAotѥ9"˖#tjR1Cؤ^p> .cC[ e#SLl'G8=t^B*iٿ{OX7+5c,{U~: