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  [ ['zT4 ]% Algebraic_VCs:threads=4elapsed=261.696cpu=528.784gc=48.5447zXZִF! ]ŗXiɟ{ItfY9F9-R!ېB{.wrM΢k^~CV8"3Uej <fQ^3EѦ+ךAVym=ww{`q#u9BXp:f\=#P؟~+vXkIDȵd۱iG|;etSB=@v-u~v ≊ B0 ?1 z.GsktFȷ- \$jJ~}YѶzHjߜ5&1d:VR 9;g7uG.>Jz5b7Lp;iد_YfLtʥMyHRyyqMn$d QAґÙiT!nG>c1pqI-hӜ"臱r;;8d蜽p(WRw%^KRJDSO\5Ll!\ `$FsMnˡ6ȘyR/\% r'G0g2po î)ZC5q(I!Q6TkhOZdql_j0ְa 6]aډAn%ȁxZƉu.iܪW8| G{mxQ\IC, Y]Q4k"x+fy]E@MBC7յsNKu"eb`0ј)ӏ/51wVNx$4a(t_,?AvVKq fXjf݆QDÏRˉ`%}6+c.-:7v*Φ&09r)e8N&! :l.E1Z$#6,ˉY]+m+zH/.| O-?rF(+lCGc~;0Q1ю5*djp*,L$QyYm2җC3LYCyN q~s<~Itm|]4O 8_;Vu ktJ Ɨm=TWgm {uAKzY'eAcz59DbUxg T`x)8f0W{mrdJĠ`&T6 1P_L柱okd8dz.nlD_f.Kѣ+ ¹L2V H{wMqVϣ}Cԑ;$ͽ?L>1 Kՠ"cj2. Ԕs[@`r_ɿ \Icf]=D/ ;/G}KH~Qb(^ Z֡ ӥGKW%ȶ{9H R~ e6sS/+a*hwkx TN^Ogjk1鈷j(rd}&[A;~N&3+1Dul4#YQXk%?2lΥhEH#{Y;g+'_gn>0k(1્zz% mE>jܗi!b_ $QmTz˝/C$I9;=k`D:Q(k :t*p 5P, ACR$HiI FaV?ˌIw)- ԄْPK=S¬ f+w0R'^ *'(u\FRdv1o>G PN!9 LiGTܦ5&sH}나riLdWgd(. ?sƼNj R[z;R{"v'> 49?΍$Pj]Oy]S+Xя%}T+25Z}tl<5/#[S\HE ;9.h' #o ȶyшOUIk"bp0Qt 'W% Algebraic_VCsKAD.Modal_Kleene_Algebra_Applicationsdocument.tex7zXZִF! d+$]A-MՋhvG"uIBm51VU,;}oZ߈0D2WgPt-|Gwh쿰)wЄi'شQRg[moSdb"3̊jZ^B Th5ۡG̖(G[ĘO FFGM!jUh.׆T}ڵ+ț) Imee,t6P:I$ª"t*=Dz+i\MsL41~jM^_T)G/-RɱeZ Lвʌn'O$ wBdn'2qѽL$GVO:T{j*1i$#s`> $ &N,X1JD`vXDeVo P5Pu'#f89ǽ!`dZ(W1$Mܘ6]UbV$l|P4i,ũί ǵ/%]IjriN)v1 fQk"J\CuMn!~(zbyP%4=~)#~i T5M&X_m/ |6{4Dl 7 ;W4}W-q=,*[DXk/Bdo@0AWQ%ҭL0@ըbI[>a*sPv=L=Xsׅ|葉ijUyi *g+ƈO<\,G*d@ kd`Yr+uT rw1em*Ta#;r(_aIq&F/b!'cxzEwv$9 S3diR5FnVV70rZQ3*M I$p`%y(lXZZO ]y܏ԊyڲmRw56'`J HmibGr-MmX06jm}3JR 3ҙ2ɇ67?38Gα}ϓM7!Aҁ G3\V%6d=,XU@TMMݲ搷L0o6%Wx:t'K%Algebraic_VCsKAD.Modal_Kleene_Algebra_Modelsdocument.tex-')%Algebraic_VCsHOL-Hoare.Heapdocument.tex2'3%Algebraic_VCsHOL-Eisbach.Eisbachdocument.texA'Q%Algebraic_VCsAlgebraic_VCs.VC_KAD_dual_Examplesdocument.tex7'=%Algebraic_VCsKAD.Modal_Kleene_Algebradocument.tex 2'3%Algebraic_VCsAlgebraic_VCs.P2S2Rdocument.tex 8'?%Algebraic_VCsAlgebraic_VCs.VC_KAD_dualdocument.tex 1'1%Algebraic_VCsKAD.Range_Semiringdocument.tex ?'M%Algebraic_VCsAlgebraic_VCs.Path_Model_Exampledocument.tex 6';%Algebraic_VCsAlgebraic_VCs.VC_KAD_wfdocument.tex3'5%Algebraic_VCsAlgebraic_VCs.VC_KADdocument.tex3'5%Algebraic_VCsAlgebraic_VCs.VC_KATdocument.tex<'G%Algebraic_VCsAlgebraic_VCs.Domain_Quantaledocument.tex;'E%Algebraic_VCsAlgebraic_VCs.VC_KAT_scratchdocument.tex;'E%Algebraic_VCsAlgebraic_VCs.VC_KAD_scratchdocument.tex2'3%Algebraic_VCsKAD.Domain_Semiringdocument.texC'W% Algebraic_VCsKAD.Modal_Kleene_Algebra_Applicationsdocument.texsavbLQcog-a }"d eyfuˏθlV+xڃtw _Z^ yWYͼOR,la8#|⧘޹yN"?YOW#- ZVB5v4UWJOZړWJ+'կfj|p#SHRV3ɖW|&pnl[( nC%#voX_~)*#Nt{mEObJ&\Ѷ9` ֌;)"pOmr)K ֍,g.¡罨$# _27e0[;Mkj°%x6W֙$gr\23 nTBF]v3y&vYˉ."V},Zλ^ġ5)Ʋ@'˧tR ]mNaW g4H[;Q2UBԾka*`9t׭^]p9>K"2()ނaFQƮ 2psE^1jwRƥcRr^?B2GM8 ɺ[J J00+#bJ~+!:S( 8RLFZcj^.LJ-NaRKk f>RzׇILTZ>va0%$,E3y7Uݩn ۻ s/|On VK,jGԾ\۲#Y-YX{BO{Y2@&R+rhw!g-9Q8CUQހTaB}IT)ztqz(jQgX!$9n%, b@g9#ҸfK"jcV%<@tPm5<}9*CN}z+G Y4.GӞLlA=u,4= VM1}'ⴧȮ(:y.qCf6N =isi&h %K *[34fxW 0Sݠz"c h@OU]X=̼ܳ6i۽"'$ oNOTLȨV a8>BMXIp6窷ݼ̗@Ք **&ż3`ޡ3Dqںtd7Œ~7y.&2y/+0ИG~jR˯OPQDPg@7HN\ԷYFOZ<|cc|Kڪcb0cDS>+MUҏYl)$31߆# [|G›0c+0q>72rJj0`ڱ$ЅS{Zn3a?AdS{b߸>Ym nbgZ V%X|چcnApU{DY籖s55G׾BEfԷ"s Y@B~[W=r:"~Y}hB `W zyD=^,uJh %~_}$py" BU=e.jrDʓڣG{"7ifVY{YtxWG }Fe,R7݌1yPg+DD[;vw팘^>~ƈ+ 6 NMF$_CW̉5p/l&ĶTBH;UoD d[2lV`G0@ 5rf1BJ!#Uxh_Ȳ4~y;zsoXd-9`!w6 skE۹C,$.-+@zSd(ӲTXԹXq8FN|\Sfv[MXMSMvDV+ф~>EAli ;8sEgziqWLKXfp ]`\\i]j# RMeLƶp֊fЈ^ 2*3pԁݙTgkA A-=dLjӶhxƠ@_=pUb_koh-UY#c2QIiiz7틌9ݏ*<+WuGy%p.0cZ20ř`o85 }';IRYpuDW7b,z5ƒү# 4ߙ:AP]Zl&=p.V6@NX^vW EƲXYѧ<9= 3^/>(I61vSIpEk! U+DZ8T7T m2&ⴿ66n~?[Y?@N0^HAICݣ,Tp1E u>܁./;vD$J NÃ#Ro0қ+L>DdU&0W-dXbu qCEӿm`ڋzd}rt" Cf{7?3ιz7{nZqU5$ʐ hQbD-0* leiZcB/^|vn85pԑ!^ЈF{raZZ4mnfSU@݁\ qH05LQ&qez ]msodN@Rhތgt]%& wARG!j%狊>6{G;E:SFtrV"GɎM[@9#}9ҭ:=MԨ}5ƖS7[wt?XDȩ3YB$ǁIuXRU 7cO]\ PXLpz%ܞ1ZWBTOreD]\[Vagӈ\C^Ei?LmԥQAdtnJ/[M3 ,q{MN}z^K4hi8i0s c6(ҕb >Z!J[I{DLPDx< c J*ǟU 喑'k{?Mە?y{)-Sc $FMl-bVF}PN'0fݞromk9ʆ'9= eQk5h 3Nbߎݖ@Bp̺@k5@x,K,hʕDH?‘tڠAϚ[eNQVF eK;q~9'׼jdWF?Gufװc (EU8\TȒO Ŧi1J6z)au'Tz]ZɛbmS*"~l:IJ7g-YM ,,G8.-x6|{zxt#( xrլj:e"W`ܵ!YV_N|XZ[:ČWgpEdf; w ~F H3ng'=kpJM (pLڻ@SNڷ-OȁkmVݹEJ8:uVni* F7w=)b9C;MN1Ѿ2X84Eۀ]GkLMrpܚ1x/˪%);hyNvTg`xۚUuo79u"!eLQD_Њ|F hkt<X4&٩+}[P!DQR'|$y^!/q& !6JFo!B AAյ={3\?RTpӮ YFVrJ_l&qo4u GͲQ>忴%Je SD-jz`:D*58ks uLezeQ&EN=gٳm}HO%;cAʽ? Xd)!7ULBB2Q憌&V#EexTF4!̌y8°02ely-t`۲3VTЊjoX~7%>"\_ | ظY; l}%ǠixĜ4ہW oNN;N#@~-(_/HXPO6_@-^:sVQ-M"#2t=]7|DX ogr;L唴m22_/(fKjT 1 3[߷u D`&$K}îtMn@ޑT/X`W)HhP^Ηu>PofP9Dp}]xgXȶ܈p eC{ EYpF(){vIzHNWEpl4cfޤy%/Qq \~vSn\hEb@j:~a%Ć;F^z#էd'xS&5V1 h?J%q([} *?ďn"_ú.$il>JbPgZ9\POwzj:)2 ]F nMj=(s< 9҇mef 2UcodiX8ۉգђ-`OZ+SNH# 0x2ʦCMu5oY!<PZN9ag5?~[H{0=U7{_(m0i,H6yYͶцh|M qs%E $b_m:%P˼4gX_e[\j1 IHo9RXUꞛ"ѣGEZ4;슴 Bn[.ANhBն0Iߤ")cG沿'G?9 j*# ec t2phe/o3ռ98YxZƉD$)rxPq0(RR0e//#3GO?xn_mHR8#z䐬(鑲]#Kub;`A)vn[h.P [t'fC˓z1甚,ߗ0!, 9Id of2z^Ð ||Au[߽AEN@  X$X%#w 5F᤯@@r Ncx .j–Z0M{ f9!-l^6 >7N9F_֜A!w.cBP"E(/`nT+0WUDz[7f ȳ@>Fq[43JjOsBw$ p]ʢ@ZcqyP%Q=aIj6KB&G`LzXbfBkUK|; #"FZ [dngGO\#OUnuTh8"9SLC[3@9ߛ3r6'};$xdRd9 &`5`Glz6{յ"gbJث#V׃|曻ܵui|i'[TJV9 吰ي{7Bd>~-=}W vIov &uȣn?`\YTKgX&|[1͆3rT2{@0-"0>D_:+pqL~yzZg/0W]ϘÎ& ?ص Bm|)ڥ jwK|" utU=G =)G8c1x3t<ϞY?zÇs- cݰ_e6Oj$}͙̽%7c".th7"gȆ(ݝѥWk{8I_F]|#}Y8jCHR GtSGf|Ts@V3s!`ƭE' ƀ˪=;N?ǁ: lR#^e2|f (LW¹۞#Z&8\!.2'8R|K#@GW]gk(&?Nks>+`dzqLN'ɤ*tOV[M%=G!C [jfB8;5h1gѽp2T ^DEv/uA:3ʠQ7^:y܂+؎XmIZQ#j} "KXj .[YE{eҢR5~eWZ -oiG:'{b0~}śgZ^gJ]e uj4G wi7ʑSSոEraSn{~, S|:f2|J>O ӌSdʫk59gsM!Qt~`=ʿ~*n>.{HB4Bk8lÕ-ρξr)Zϒp}G9 scT!֒[%gQYXR[CDV}װ} Ot^=fʧFsl q']D~'8=2B3;#gA1n.j#OM!Thy<\/N#B2k<$mq[G?fKiA0zL.u|L7}>o)譜}so(VolE2duF'"ׂzKxA|}÷힄ob|@C 1IƐR ]'=.V;n-3-VM+&*YW?܅))8%R*XiTk(A81ND)` [JztȨ"T7' TjkSK|N^g[ͩ7JRWv>+4*- 5h7M3~!Hwsq O4%F/s lM; #;  Τ`i<8Ly+6Me|Q  u+Coilb49`$QtW]|k,N!V]66@6}^LŌQ?r!qp7iN 6Pmm&QftkA&C @U NW51Hg\$UMEMfفF$I&oダ˵&ԈFɸC Wb &uo\R^yW(Eܕc{y""/#s>d.Eu͘:,@Wab? ǃ+ǝyх*IњI萝 ax煸wjZn1&yގ*.ByGۓl Ox|ǵ9E4ۭ x=OB{"m6ۓIy3 Dm &DqGw~7W_"pKoA.M(|W 597ظI,UB/ uുyd_'NsI)a`yn5co\vC8C.m"B:/gH!1Sx‹63?8@ [|9")NgTۤ-^d2` v\vk4: $ϵ؃O-(ϛ{ApX,}H xJb7xO8z6~6g9:l5## De7S:f˵hY=`)䵂i[&v>?wj">|G.)mr,uT 5`ebI1_Uv9DW7`q2%G[)tA|X\yM5yD4߸-QƖ|-ݺī1nD]剾~Ǎ~D3S=|2EI^DJXFN5#K-^e:ï߮W^hDe(V{$cpiMmixK0IVMWuޣPtVJy 5ΔyV%ۛƆ1j]5"#3~/0$n<а:e07/sQLHo4DMU?TO3E[3Oq0vc吁7p% p!RU%ϰػ89+$0Ot:\ô{ 2)hiE~sh=.kb?, moW >Jnzr~Ea`iBiwcׯS*F;S(v A~<ĦOj@~A7;:Tz[Dw.b$=ZV)q )BЇOHIzC*(/޲Yxk!v:Z1zk2dvʿLnlzv t.#܄@E97RLnwdc +%^OX7[WtRGuM:ׄ7U6֬-icox;6X֮jHW!]"|Vgp_A|f9p |.=c1SHKo3oNRhrU1[-<ͅ8iVAuBu S1Qe '`܄թt꧈Jk_բr/I>.rRKKP;/5,ȪUJ.p ]nTvC/`u`ծ RE Jޖ ZJT󻤭|lOE_o{ݵ)o΅8/ၙ"wA|t;PIh 6е3*3t(Pq&| Y^:#[\k ʮeD_G^NQ|.{]7}I# {cdmU2kU1G'(QD, 1Ű4J%A׆`CDb3^ P?D7Rb}RP il*wXocы㦙ԏjaw&ݮ=!N0lA'Z =3z$HP4lE%'_%8=S(]`3oBjSй x &i?hc4QdsRE|}jt?x"_ h; YؽsJ#::qQF"`4n CfX($V?&BKQ`[Tj _όzEװ4J;El̳'='`mhIxбt8nGG#a[uyy_`6']-M|,f6to<=, [.g0l܂mPʌ^Ǥ Mx Z͑ͪkj95O#HŸFrJzIXwqT M?+Q.pØ8$(She2h=5d@jNY>9o9 ئIk1}Tz<{DN6;p{ (׮xsK^(~g+w5;-J;Ӹ]?e Ui䍣aKa\SWêʋh fguhT5cc-ih-zL0ZJ%8uYU# "$E Nڻn$f5Th OLx9FcPAnuے6^.؉Zw vygdŗi'mg8lgXІEڴ\kf;@zry}˛50klP9@PI![6n╳cD_{F`?Oa8g%1IKӁ-MDA.#J:ڗ]W~/le;hճ N&1Od_8ZεS/>,T&bQL0Ŝ>gJN]>Ao)aCj>2F<*莤U(4$^:PT=|؆Z^aJfiS0>ogrF4OoW_I-%Dz&׿"G ^.^3wߤGo< DVqxqm_]ڑ#6pG٭+m9rIN+L #\P^(BPۦ4qA%\ Ƽ,^Il  Cr28ϓ>JEpydxV7qA׻"Sthi'Y@B.+)R2.ӞQ0ν*2wɈ ,%=9E3֩ڦ>kC럮 FU(`tؾ 0&NCR`=FVCT)8BIM[Hl;Bms6 n_hJ.ˢAS۸>]}9lDϣ[*Oj)A^nWj{)* ~Qȓ%pOE3JWh=lU_{~'[ՀɋCƒO֡?riǕ!WN[*FyTEa vN=&Zc3ͳ8̵EIZo# YsUd4/Hz7C[N8X/7_JvǨGRe(.y81f^Nn,zRtjoh>r7>=ן-/")ܾq K ɦ2鐗(JG&|b7`+wμD6Qz ]}Fhz72%;Ѫ󇨴gОOI\-ce8],s7OwTs,UlzHwEof5X Kt>8"8\C2$]m!Q?/Y zOU#S >F,Bxʴ }[>Wyb'DB3Ѫ"W \ ɋnbE1'JQa{H&DM+ņ6\=,oMoj EN"6)|aN([D'Q>P)6-oh! KeL"cZ #N]e#e~$/n.eUw=J.5Fꢥ;"ő 9 "Hz3|t`] W> #K;jcgM[^&&t`=`6}3쬅bXJ7oٻP50r𼬋"' ܤXUBqk,Bς-Z61X8̻`iX,uÎ@,nw ~v~ܞ Z; ĉX9 (:_E7jY7+~R14僇/Y5զ?΁~75"4C :M,WmfLeB>#N4BGaiuN*#,>Ooκ>!ۧgȽ@~EYfe1Gɠ edM|X:pzUK<ޙ J\LBB }(+EX2#.{^AVlQ1d~dDX~U=#ECr>؎dz9-b0͇BE 4:KϢ*>.>,w*tP Wg,}~l^r5 CB?Hk <%<e?N?.mRGFb<5?~fVFgyJwq uC@ lYOXhBf"&컔NJ-̛xa7d@16ɬV5Sf2~WLܚ"hh*EȁRSZqʼni1.UJTvT/vӊtû@3(ܘcp I$9ZFY;sDμ?j'pΰl`s@3Hq7 joY1G{X:Խ~aVY ~ጞۜ?Mۀ:݂R"Rs/T0ۉ"VO&wƗtC#8{/gB1IwnFLΐ#B* )4;G- Qy[⮻U-=xpZڍTffR~G"T=-Bje jV"B67Ci< j2³M?[jNiȝCm>y)ggJ`4^O4z׭ևU}5n !E|@lOZnHͪ)FԐi"{uDZveH@n"YS[M;o drb&s9_rr>e?~V mzL֨-!ȅBHޒ{1bsSuS+GޞJ8 PGėnG]PȲ>8p HU6S'PC?a N"Wgu. 4x.{7EUZ.0 ٘Ψa@`sDF2w9=߂v@n$kݶTBF%/xW&xPxK;E*şQ#B{AeZ;S*1)a,΋7K=wحo;E־-c:&L} uAWrIUPLz R[w„A.wS )J*S9;6Uř! w/Wr*h7F2__,PYs@|f4 Ec𠖹FU)F!`QDikzӬOʲ¹2Ht6 mIS{$u: BɻSQ;\|9f ]VPqQ;,/oCZ[["wTKmd3c\_@:GtNNQ{JY[u;7&1cۍ 'P~Ӧ8 ` y\gILoFF@~"I )M5(2 !'Z"HK]4Fjj"5.V-xJG@^_kj`Gѫy )ffɶX9.Oũk^o }-rk 8 Ѕִklg< donZEqs5.}!,5o_N4p2lJ@lv'\vQ_$f}K\n.>iPtIˌ.Z!k7#ώ=I/\"WE[Z\o ;3Z. qh$嚻۔.YirE'm$Hp &,U+1ǀ~w1ErdkHh3_<_9Vx>~m 587F"_/˜7y*3mfQj[Rȑʆ&˴Od'\tlV*BN ϷI\ Q AIuqS4iQ_g6i4,HQAYVAI\eI(ܹ/>+\@N`樓r$1ޕWq Y-zBx鄄챶2LO)FRd XdэI|@uKȸgSS;O3#(oݗWZ)Ns@٢<^Wfʸ[J.C*>)D21~,,_ ?,ȥ@L}^JZg)T׬Y,N{1мE*5¨.LDpg+gb&܉ٲ Tr޳186r{8JQD Mys }}=e)]i rXcY#OO@*,xa0R .."+"bYJ41>%ˢmL$d&Zn!~-)^wk jٵr=%,{|2] yn7{`p|e?|Q圥e~_$9yQu(3-l`VV1^T^;xȁlsJ-0T,5$XpxҁWHBhJt_Cސ|:j%v-<(cKl!uY0iF$'!A] M !->B|!Oެt_6UyM Dh`g[uY])qBv>ϫ)CzAj-b}O&Y4EV|䫫H!ũ7'w9?M<\$G <`\VCKkv|lHW= M^ávf!c۴ )W 5^ոg'"F/^l"j$#YI+%< pc`c?zI ;C;F~8!ώc:GS$ۋXhrْt˿MAe_ j\ozl>#%iN(HtqM G^К̿AVcLģxFzD\1L5YϧOwEu;0@wk\ɻ2gKMNZ0Q$d%,|!P1a9h@W JW&Ne(Ǣ7M,.d xK@ LrxN>$t֖'T]|»^yĐ6ЎmihZfNFhZah bkl2;<\6Gp!G΄uVye,7U|o:2zNx 3K B 91Z-Sc[1ItϳX7l# E~|ZX |ſx2#M= ͫЄj-xV&2}{FdZ%R.8 )|5y$ϯ#7S6]X P֣1hwҘJCP7[0kހ'^ ºŗa]Q`Ӳ~ޚrkϜ: ^QQ }'Lb\jOGFu=2NFs}r[ ?)MBBXx6 {OsSIf #\2t3ɣ Lm&)(Qdc1[Q񻤨$7\MOFc0x vxg:ͺoLQP>8z~C>a?lNgS{(n/'8 `,9q|2d [,Ŀ̝U2arϚt`I]BfG820=쿛^FKЍ mb:rF n#nGEɀVsy?\:X4d1eɬ79R:t.{#%e6<ڊPhjGI38تa]*=F,u3H5NI rO iNۯ*@OQQ]ܛ: ">Z܂JȊ^<Ux]i'6pWO00TSY|OQ:q$*TAiSƲz~O\Wtg1pF~u?_%W ^ Ϳ(l&R'%N5FIU؛} wzg,w\\ěIUׅ,Mc$C1n4=B ؁P,ẃlwG} 1@ȼ1|6 7djae<LUT` H8o]}04sl<>'[uIGv|ƒ?mwtQĽ.feu:,pv, :-}\Y@7{htys\gęlߠhŁ* DO];9Y|tilbqxy[0m:5# Q's1ٽ@uxb.&xA6_Q .Q| F̧ T9HG:W4d_bɜ J/9"*T B9{l7݃a 忴|Z&/"&,A>').c?~5Q ZK]^Lq;mَC@)ULg{d_{JZJ]JZ[(9{5{ɡ ͓s, gci@&ـݡ4=B̪siu.NdY>៦5S;R)Byܿ+%:Zxg]?P]q34X;|+*T*/+Y+yvjvoEGta =bFKsAxUg^D)nB,cEAzŸ0|tcA'!W/Z7`ým:#7:]|ޘ4, >~{/f{o(D͘ spQԥY4u5=Q7  hҷ+ɞzfs(S߿_)_X35mD2`AfuP3G0R0C1:טTeΩ;3ibCwj>5rϷ$y ]c`I?QP_ Kl>!=@^KafuL.-"T(3n{3Gs|u`16mw(zk۾%>q~sOy"!(m[ZE{bId{5۲g'_B47IG)kgYZ  n1 '3% Algebraic_VCsKAD.Domain_Semiringdocument.tex7zXZִF! RO)9]A-MՋhvG"uIBm5ۨ&ʔ7O=_{ `Ӄs>xQ\IC, Y]Q4k"x+fy]E@MBC7յsNKu"eb`0ј)ӏ/51wVNx$4a(t_,?AvVKq fXjf݆QDÏRˉ`%}6+c.-:7v*Φ&09r)e8N&! :l.E1Z$#6,ˉY]+m+zH/.| O-?rF(+lCGc~;0Q1ю5*djp*,L$QyYm2җC3LYCyN q~s<~Itm|]4O 8_;Vu ktJ Ɨm=TWgm {uAKzY'eAcz59DbUxg T`x)8f0W{mrdJĠ`&T6 1P_L柱okd8dz.nlD_f.Kѣ+ ¹L2V H{wMqVϣ}Cԑ;$ͽ?L>1 Kՠ"cj2. Ԕs[@`r_ɿ \Icf]=D/ ;/G}KH~Qb(^ Z֡ ӥGKW%ȶ{9H R~ e6sS/+a*hwkx TN^Ogjk1鈷j(rd}&[A;~N&3+1Dul4#YQXk%?2lΥhEH#{Y;g+'_gn>0k(1્zz% mE>jܗi!b_ $QmTz˝/C$I9;=k`D:Q(k :t*p 5P, ACR$HiI FaV?ˌIw)- ԄْPK=S¬ f+w0R'^ *'(u\FRdv1o>G PN!9 LiGTܦ5&sH}나riLdWgd(. ?sƼNj R[z;R{"v'> 49?΍$Pj]Oy]S+Xя%}T+25Z}tl<5/#[S\HE ;9.h' #o ȶyшOUIk"bp0Qt 'W% Algebraic_VCsKAD.Modal_Kleene_Algebra_Applicationsdocument.tex7zXZִF! d+$]A-MՋhvG"uIBm51VU,;}oZ߈0D2WgPt-|Gwh쿰)wЄi'شQRg[moSdb"3̊jZ^B Th5ۡG̖(G[ĘO FFGM!jUh.׆T}ڵ+ț) Imee,t6P:I$ª"t*=Dz+i\MsL41~jM^_T)G/-RɱeZ Lвʌn'O$ wBdn'2qѽL$GVO:T{j*1i$#s`> $ &N,X1JD`vXDeVo P5Pu'#f89ǽ!`dZ(W1$Mܘ6]UbV$l|P4i,ũί ǵ/%]IjriN)v1 fQk"J\CuMn!~(zbyP%4=~)#~i T5M&X_m/ |6{4Dl 7 ;W4}W-q=,*[DXk/Bdo@0AWQ%ҭL0@ըbI[>a*sPv=L=Xsׅ|葉ijUyi *g+ƈO<\,G*d@ kd`Yr+uT rw1em*Ta#;r(_aIq&F/b!'cxzEwv$9 S3diR5FnVV70rZQ3*M I$p`%y(lXZZO ]y܏ԊyڲmRw56'`J HmibGr-MmX06jm}3JR 3ҙ2ɇ67?38Gα}ϓM7!Aҁ G3\V%6d=,XU@TMMݲ搷L0o6%Wx:texS([x34Y~<pl%ZmQ[;ytmiD#y*3ً\{7AsNU663. iV' 9$ 4E\*;;jĨlMĺJ^ YhQ .։""/2:Zbd)m*L6qN7ʼn#ZdU ^i sY vRoAc(. @pP+PAޣ\^~=c"eLhmD8?ݧ˵ůmXHF*ItX=#h ֪[zP1 EP^T%Ɯ)dWK]dcvp! 78 GR]X~ܢP@qdj\=6Y h_Dwg~Ym녷X憚!"j&kii { ]&DkK[V;FyVoz liAP~0`n,̮OGD'uA7a,os+^6*H_KϽ(X6Xaj8Y}[3J*ҷgx|d S1M$Z#ɺݛ: ^Y^o1tJDD-!hi3P)[ddAԢpz^ߛK*s  CoK/Ia2'vQ ]Łϖa_Gjυ-CÏ1YrȮC: 232! U]b& bK/;^=.ۖv!;)1?w;Sm*;)^aˉS{Rq/+0iWedਖ਼"!j;A`}L ~(qѫڥ0 Z4Ƙ\^ ,ŏbk˱&5Sd*̓<#X%JŊ,5t:a)Ut>;Sٳ8#U$d9DE@Ԯ5 )=jʨP%5{@qZ8M{N\,nԦ`*:eLSGtaWXsL D(0 ]Ђ[d+Mr9ݦq!Dm{qѼ@`s ۨF!X\6SbevQ8dhIx⺲Q*V>%eA7,=>]h^{ckؾ/j KM|qu-zw|YLP=cdO;< <NFEv_2ƱfIʆ@eU{> c@- Rt pUD,g~r_wmwLy[L\wd\b§lSf,z 'E% Algebraic_VCsAlgebraic_VCs.VC_KAD_scratchdocument.tex7zXZִF! @#y]A-MՋhvG"uIBm5^ c`m*~JϰKDzW&3>y*qdqN'EFo=#vx4֕[iNz|0eUc^ @{77][f>14#UzqVR\w̟ | vDbB?=A$\'.9(k D6OKDYU,0Q,m I`zu yH,Ȟ"9mօkLJt8Mȕb_ 靈Y7Bz$Ϊ]$ҌSIe4p4ifz@I[}%8 ޱpAV"ׇކ':Tބ,5ekk&;ܘf+٤h2s/@eg)]g}Mʄ:^!~[6uȀ!E5qd.j)1bns=a M6 -fiIC6 'eދ1ZaB5;:T Ow/Q<a٢4@PWOT"[%7m UC^ G* |ئQw#*)^IQ榓,lj\ʷ)^ۯ7G̔Td\A0̈́bv$#qBӶ%ٸA~X%V #՜MIe^n~|-N@5^g:LU!)V![1akuӀ-}ιQ]4T9CW['vZ= rrߨ*e\:(_n|8V-Ҟ)YA4عX E pr!hL׃/Ҽ@>V1'Y( @Sc8ˎ6]32y4OrPD.ӭoY$QC+^ |5,Ks׿dq9UW7q`.O?:KȨ 饽`vf @A 1-́7yi)D׌o$S`s]#+,T:]":Uk/^јigXO"2@&bH]/Rsu3-K]\4mxc+tUX{\V u p\O2:0"8,}ldIA|( 1-o׽7 _bGWQ r2.tSCs$K27To6y+1ndvO>mKK:F!mډTKw =d#?ҺWwsT}AkDԽTg`_*sj #I:T(oqvEs Irv߱cbOJeа8ʣoQ{v,ms4 {4`sQU+pxDӓTk; _Qpq :7GлNS Tq]w#Ã}go68 k!LcOE2>IpjI2%vii#~DYg51dxͱ:RΞ.Єu0 {WLdFKsOq0BH&S{6skЂ95,D?v/i|cӪB [=)QYCsݚTG. qՉy#w=Α\$6Q$ uԢ%9#nՒnlB?U)ۂ˚Qke^0g}hNUyB6",,5qЖ剢0my֫3 .ϖM:CC48u`@Jz_/dʛ ʝQ\&sE_-3+(wF{I=5A'KKxyV[=m\GEii(H>ͩY͚>m7BQQ3lWR[ >1(փoHwFk#e)%nHŸzv]uaϢb7ᨁy{5dWT{(e!8aŀLhQN5_=r)&؈vT/JHj4 ٹKmmd޹7\t'3 9ZwzYWsa9E7;p_3fGRuqp!oDҔ+a/s÷aO4)k/nb :%֫J_x[Еq. d  c`t1/Ea}.6dg$taGfi?E6XCv'aoOMsJW`[[ˢ!D]iu+SveF 3C}2wKI4(Lth7_&9+NՅU46t&o::?E`-'gI4`̄ VbeXf6M|[g 1a37~ZS|ਔ|T,.k@`YI2sv8Ͳ[)`2@gwe|ȬtRplc̐W TgGTJר Bm8 z#@!D^-JBLHdL*Z%^>bY+GLe,=B-tvITïZb2 PwMU E0VA<>8ӭMNAܙ4w DkEt=dE, V]^jebwz,֫\A%ٶ]>?YH.~-U򓇊qxnƩdcc^&g2Lqtei΀7sVHeBNг{GkׁNl ))Q\|M!zyVyje[p!UdT7a`gR I[}bwtg4UT#Ѩ\ץqwg.1{ oG=˙D.{Wt\g/ۉGW?u\9Y`͠5P(f EV͟ û7cbt~>q7?o36O9Yx*i{ 8>Ѝlik*Ţxb*lJZb<:9?fR9ƍ;gXsPUMi1լ9Ksŋñ6# ҂g|D&%Cd,Z" %N~㶯pƷoW3pg ,JZ 7M 1χ]*ѲU !Nw"WęZ%]`[XXIyB$𕤃kff %w/B9o09b_D`An@?gvRL20U} P؎"'|rn܅yŻ30B 㸡IpeKWi]D̪U_|`$D1H pxQb"-ƣmʊ0.t/C7SY^LMlK ˵yS5s*5vY6c17>8DH%ǞS:12ʯxߠIFP"a\$}p" 9@g|@]tREϨ:fEI2̊)0~/`|oRu<3^:- &V'|R9R2؟H+"TlLeG2_r!0y3 ER'"X]l )AZ9J]b@y n]tm_vkg[g7\}"**Ȧ[&N6k˦V兟P'yԂ{Z;s -{/A-3R$=3:ѱgYZKM 壨}(.zf ).@,þ)U~I?J[#dW(݊'C6I+ydL' gC1"lFTP$MpMUZ*]y7;/cyꂘ6[S:,]D2^vwf)fݨhEsQ NLZ/_PS}8a=N ^CE a=/adL>C)f(ʚ_Vߍ>$[X2WycJdPimm~j/Tu+G1q%\v=c!SR xB32̹@¢fO]" Gs @J3?QIgvxQmʽÏ$kV̎QcQ1 utI(_l<+g0}q؅9a5Ӝk`2]f>n6$$wiSe?)4z$Cdzir+T5F67x >J6\lR> 59g{+_D }9e=VkR  '?~}ptPV:į| ֹ,U>x@{F_)syn'l%)cV\Pf3 x}i=$ylvSbB*&EdX0.Ir ?@`u*y^OT?TR HA}YOlye17M34/Mn1Ě"Da@0~<%VJGG_Mqso`3d+FQfG.8KQN̜nҫyJX' ڎ0zTGc!ZHPͦ &Po팆B,H P>N9BRMyTV=YKH6<Û~EnW~9(!?=ٖi?~Bo!H[%e (DBº?Xy=-f8~ UԌubz!})fҧ0+N!{*& ޱs]GNZ+FYc@CܿS_z]c&&!n Q=eBoijmkJb@.4?&/0ua_3`m_+<| {ꂘ?$:fڌS{3ԙF;oؔua |`$.~՞o6MڲvYRj_aPwAeY)9Ze]IS6 +اH -|Q:ѷRP=1yɼ&&?wXn8`eqjM<*i2>e}+5%_.vf[t?Dž"푏}/~ 'yŮifMvn!@58uPօqh*F="V ~~A9k(Et42r׵l0T]Zƾc2prM8‰vmI͔m};PA ѓNWT1gp@!QqevJ !-濷;Z1! .R‘n|*БddF`>J)v!k$lX{<{+h\:^PH3ނ-sTHiIɚga0ڱ`+s%$ 5bvi7Yoآ:6 ֐Mk;9S_I+-JZv>=>[N,c#$4F2-!}sS/u܀ƩD,| lл=Kg|*;iGpVLvf*CΜ]VBuvZCḽ+vW;QĴ #ׂͶyVOiw0"uBXLƜ/O钜@N2&L?>0} Z!^[f#: ¨X*, djw+)m 1Je~._ $NyClE0Ա4_I[ک%рdZ$L"t Ѻր@{~rR^3ͩZ\,ay\|q^P6IT,C^ś!=)X[( ,^ WIeCw 8H5%0("&T| v#]"Or ;@wkpNtכmlW % [MmaDz%Re)4_,7Qy9$Jg-1Jk?l1iYj̀vwC<PSK /gYZ b'G% TAlgebraic_VCsAlgebraic_VCs.Domain_Quantaledocument.tex7zXZִF! ]A-MՋhvG"uIBm5ۨ&ʔ7O=_{ `Ӄs<î= "=ﭗsiz$b76xF|Wr()n)$dQLߤypT8Re0KMKr"@'3 L5yJle p}-*V~ĴnM e؆.+ G -|`#z9s:H5Mr,Tjt(Hz֤Y/x郔=1Mr0cv?CaxGg > $]jXd uUZL rR>j)zcPlg?V$SXPOλ)kOoς  a:P,\)rb9pĿoa٭Li[`i:faQ5]m6MťB{he(ğ ?Ӱ5$=Eg2bJNG'XکP>ZAL튾[x`X@gC>ب\8s"n$L"]ˣQL=o &S:'g ~~(|SN0dmq+[~=iKA-Gz I%qs8 HZ*RMeYxys|# Rv(T8@9 xb`'8LAls z=*P^YKnEu=2++pwbTUT/`EPVIgwIq,AƎƞZWC5zrn?)eS҇XV6)R>/#[ch>3 3%گm$&Fi\{´qe3C"RT{C~f'-:/ vCfDO/yv~"`𩾢rgFX?Xwi}tZXu dmyӛ<8Dnj%=C7a}3 O/uڇϨŅ'6G=VC JxՀtsI qT>IMg_Mزn -$s%,Jw)ܘI5&I"qb*c6[gn7eCog(>[0zЧi F,iW3K'C)B j:+[ݢpcci&*;\5 64v{^H!<$l,\CwSL-"iB A|ۛALh%8,./wcնH1wCK sPsÔfy7|X ^&03tJ)|V_~+B@'ɸ k2 al9Ժ]=n$k`t1׈ÐF/!eWV,{dEU hc(Vc=K XYPḷUP88P Z' &{@tK 2cߊ; {4/Lt61;(Wj h>zh,;l:f%1+~o.kF~/K"ҙGFI66k=%7 u(#:_9a ITV){)_hȔq HC?ExcM @㢥yb6N[m"w]4# wQ!@"qC=}ߝ=:X)XlRV`wB^U)֥R}`OIٙCP ".M&Wtqp4 9D -Ho//k1\k. -Ra8$ex U]('Ā qG"$$' M‚I[4 2XYqĔ/0KNY&F# S(BvķgCX@C'3+h@$ѩ[H7Un1%c{3J[3 e74lr(̮́:KDMS"_"3uzg e'oxlrR]AjwVw`R[.X5`QyhkfGyI]73lPŐ?&Yq$J+S7^-"YiU^GpJ,x!~*?%v_YKmc5MWx僭'4 yGd^vyrWU9n~i?X en>8`u _Tml&DE8&sS[L;{T^}X,9C|bw|bĺ7'/8sPm'M"?hZGyBw0q4b"o&e`ǵ){[2Y].QStBQ wx@%Z^ 5}trPb!>3:.>_slY[h}SPY>\p`tn !Hs+DaSM#hPrH[!r(o|ڏ@y_`K5+ۖ'1Tݳ[ʵI Fr% <.K5{β馤YOk7w 0^j2 WY"Le-`WU +A4D>Y O .96/Ʌ'h_CZPLEJUpZ8ukM2vm["mWeb˦;͙PJ!=u~@)vmBǺ̍y#= e(:Ad֚_b:4z{ⱖه 8A6{"+!Tv]~jm2s}q0E|ؾfc\|=`|;fWbZ/W:3dEo p`1ՋBbp-͒³pS EfǧDl: K*qZ*%dнHf.jA-syB`Ź| ]= R?1ں= 3: 0NIqbb֗tصLJG)Hf.fMJo \U{ϳ) {KvS,8k?zOJZ熳"16U[_zߩ 3iKUV.P3%VJU0hpTZw6w$`!ZQfx'o$Bߺⲹx/—$޺:܋>I-uٽ -1vof$˟~$6iAʠ.ęX?ê[;Yܔ>l9 lŅyC-mGpj'22[lk}:m ͹.M=x]beXk.gB7 n8;{*o6FfhlFK)' d9DA- j eHݼko1BçOmѷB֡S`oRGpѝ$xlI}jb0ؾ!{e9&硜+ *;eRZ9 ]@xm䊹,ENu!BD]hr0;q}@\y]VFJ<S 0[;>2eNW|OmÚc⥚/!cO)pA,%ڨJw{K/lFD`։ gȦJ_' \ƕR5ȡ6\5XH{'nUQ/ VJԡտl&=HZ#~%`( y1N+f>Hbh'r>mOh VFrDfO B1)c s&}|s.xց//J&K/[aПjX:9'yU-F D[?ԻӈRu$>P|9^5̧![i-lK i+W!c]~=V#ǧWafmP0Y1=$I55V,} NV*up e0፣O ۶{mv^j'n(:@P.sPCe'wH)r=XI Yd㽵T4AhEMwNGHXL|.pOʋ"aզ+ݸK6 `̗Dk&YS^J1oG[&DXԠAڄD,Q! YmWb63ۣz2 DT: OheF܊.ZUκ M{U}d6`)4*!"2gYZ = =\';% TAlgebraic_VCsAlgebraic_VCs.VC_KAD_wfdocument.tex7zXZִF! ^]A-MՋhvG"uIBm5^ c`m*~JIT߭Iےd8 ng;(#S9+,NHL0t4IСE_8@X۶eYCG\twb ikx[K|5ĪݺʺS,R8UCpË0O`ј\s(3A>vm̹0l}qOg]zj[߾/7 &ἯQY~aw43Ȇ퉮X hXvNYHċFb~ԀӃ 5LCDJ2t1Ñ VIi 0c|O1 Ep@.pG ?Gзx[Ȝt躍٦ \ICnsȘ9= U'5% LAlgebraic_VCsAlgebraic_VCs.VC_KATdocument.tex7zXZִF! ]]A-MՋhvG"uIBm5^ c`m*~JRL t-wtʅ^z? H55QjiO`LQ>@*EH:O X+T+eV}iS(?;X?3 h'e6 Lp:k=cpPOYPr5?Vx i#0H բ DmzxZ')jrf㎜t"@}<0ܺxT$Hx2))_3 '<vl[O4QB-DZ?&5+pla^/~s ۯ$D"E <չ™ĸUa?`cAjҙ;`y ~˸@O:nRR$gMj7d%9%e/o~uPMMt,39fe$z}ƪybq$|!&- YE:Jk*ܩ1qۥ0*x)Rj~vd)oV[b<3$ujVZҨzs%X_' H)idXYEM4 mK ˆ>3Td+L<{OU~I5lNt:Ǥl 'nmւՈY%x~D&4i+Oͼ~f4CSuX g'/$nCur\?^hr,J>ڗOf%:&[Rg%s)]`<dC_ Bv} < 0i*n (/Trr~h kf ~BX'1A+S 5X52>mQ0 0M~->4Eir6v,E -*_Ca9ARCLQ˓Ly0"Zȹ _y* ``[( _i!B ܯ%sܧ  iSXf_ Mnl9z{͢kkq.:6!y~5GRRt%^i=@Oh4|l'_3hqpQ6nY؏NWEN./B)[+ah C.6Ui;=M_-W|{厉"Oҏw;u|:>8W [N=\ң[S\=Jm×pd?LbAXx6C*q/ 5"}" Rą>Bc{L"!10,?٥9%׉_(6o>Ð1`"DyAT@NkL$TO$8żZ$qۣbcqiYvO q,ii rX!sK1ز3.WM=2%T}6"=D ꯄd y*xg:ŕ,)*aԵz±}0s *+(<;J7cNWr:(K@)(HSFV?)!lg-Z`g?Rh#G{æ2!إ:@&n= ĝGzݔ1/)>\C(M\y.)mZ09T{U2ɼp'sBs*qK, |sR)Vn4-j2Q^4J3UoK>+G7s X)@UHz P+1GR]og|WcDzr. mOnG +Ǣ{. hdIAXj厰GNةܻEnBm0fL|ܤ,AOOnkKfm)`>jM.7 dSdA_y# 7C?XpFz ,@BS<-Ad<)⨑bG)4F4̈́C )_06/ևCu$M$^N[${H;l9ؼ4 =C.{1ɗmCrV_O; _}$§ZUvh?Ic_-6U*gh hFw C`*WCV*yHj=VӮ5XdoɼU%"T3퓙oE.M s\b&)vUrޑi~KBa'aK~/cqS4-WD/z;++%GW\fk㓬h Jf!Y~B\)ŦujZ'@xZJ GcPNnHdIaKYSlhŊ}GX)Er|%2 4{4R@ xe~'h@ xn˼u7mOd j[b trԖ!ܴe)oW@bh&`Sqp `7f (YG#}>m/;(;t.aR\嶤aaf+UuS8H]CiǵIx'o:-9(U!(/BXW( L_ZMڮ~avP'PChw،*A&ToA,p1[vL-mV˓%kngPE#.e.)vxp m hP4itN+մ_eN!yb=S9ot ?7Ûv  ;Eδv3u50s%󇘔Q9aXi4ㅩZB#ŽCck7;S,UG_΋>+d$b\.'ʗ?S`DS4,-$i3O?JJkH4aF(v]^Ӆi>(֋ } g/%~MK -*ٮ|m7ᯣȩVzDYYнf졞*m+EEAޙL9/WN}<7hd"8x܉o U܀1F22+g >0+GHՈ]wqkYzU"ZL>59@ 3YmF&]lnPΙx1rE;4KN'F_˃>[j~kA#nC,hyu4ZDXDlG $pY#]*q@iaGq$h a=%Er8σ ] oM٢M#:lߡе\:_-/ %[VO!d~]R0+Cn,&mz, ͨcHi^\xM&$8ItlC3SƯŤ{Xm$7aDO;ɤ FT{EͫL4Dy-1G69g60$\t+nEtJy2S |MSF͚-`aTᦒ`aOֱK5=` dEdm6orlwh:U ߀$&L@j[ţaH<^w;0q~,gNɱCvT%)+}ㅥӐT.D> (9@qbe'$)[?ui@[F|K`k7UkՕU;@' |tA۰bǮ>o"L0)e) wh)dR"qq7IK|L3E;^v5` 'զmB3dr'm7$k⦻/9F /h\k $WY=~u.P(%GSαxen*~ pZ0ޕR@\Up=i<4#y*AI;^V^뤞I«Lh&N^nu[?Eq,ЦkFjeSFFxq~ gG}}JshOT$m9z$i$@r9Y9_Z!|1Fn$er% KǷ|ɖXf>;cp.6HlKA¢Ƭ^V_IJ|i&_fqDZr)9jrr D% m5Fiɽ0% gh%]:j/TH7NnU x"r@` a_g[2}Tx9n <|ퟙo4'*4zs(VH|*9=dm87LW4Ht+ I%AU71ڻCW,Oasl.yG4⒂D6CxVRIxE6e~ᚼIWpg_XPΏ/cL*t,gHf b0? #Gi0,5|zي1)htXy;ZYq/KZ뼅="tH!Q hl-O}~Aa!Cg|)N1jmhzLN.l#C]eM/6!Tg`L?4n-b#sQ໊S{FGCEs9q!*{g6P؎fF-WI1w4AwMG3|phMB. ![ɕ[pT!?mݸw8lZ4Dbq~[nM6ARCo2O>OcD@N߇hq fWa32x.:wWzG%e)JhxMT x Cd=jHd%pR=;vqW$[xC5 . +~ڝ`R^r}#&c}ZU3YUgMl͐r:,!ٚ#{ ]T }/VdOϢZf22 06Jyyۆa"CR}~#kvB"4;cEC0*pض ))LƸ7lmU~NErD&>KQbu`o2p yS$DQ1YAkbMa=wi4Pt$djh:}V +fj24e^-F``|9V(ZBy'-ꪳaI+Dlu#&U᥾xS w:jGp!CDen:-ue$ Zy+ƳLSHU[4Ξye,2tëxxfǀYO"׀*.Ծ!@wQlw/1g )՛qOToJh&!eFC"RFS]QNx! ~UG>*TVVp(t޴ B}EˌBzGlG{ǦRҺϚr a&g DO[!%HX6D%zzw;*_,ÆܯsĴ X2 I xvAGǖvuibZZNz"Q5B<ՙyTPyEC/ ǨoqQB0u0Eyנf 1|M)T0$32nٮ%ɲ~{O​b6 Ԩe gzQW67G~'PE .&х2XK>MsF>{%Ekfp>Oxu5$jeCrh(/ x=s팙UBa1d8(Ϻo$0a >^Uqߓi_|Z6e~JanWl]m/scp cs*m@m*=\ϙA$!y9dU'm82vz.~#r#ox% p`}x*J`^V%{>h3@f(mp>0ha\~5ALy5IX꩞ȍl\EXKA>T.W8OSCD՜8*(?22V]IXDh% %2:5j/ MnyKg~ˌ5Ua_~zWR w݌4Gx7@$%o؎̈́@_k()}{,ĢuўzW\Dg^eV[rhߝ O9∿n@: &xH?m*n'5rPTqܶq}G!C?#ߎ5ԱgYZ 44I 'M% Algebraic_VCsAlgebraic_VCs.Path_Model_Exampledocument.tex7zXZִF! ńE]A-MՋhvG"uIBm5D${4+-i7UꙆکvp5+[ÙB޸tؒDwQ齯DN;TAGr=\1hnՖX;~#ebU_ Яm؂mzk&9Qu (۾]P3#rQZHe,MdWmA*,~ͯ~P~fd~&KuIZ*fy#IvgylRR?hʛ$qo2SBs M#G[k+cx;0|A? fb+ov]9ڟRTBG޷z̟oYj)r.T@ݬ3_)ޅ3;m18 MʞB^j&c+;*O~/X삽èdM"5'q-mNSI]֓ugWLPNr!ܾd?%f>8؊2 4*'Jq @ÍF/sm=LGYGQv?yCFT%,`V zH_ѕeRuCfW's;l a޷$>݅o~*#tro9 19x+ѓ/1?o3p @_:n ,G Ԗ7ފ&*3\<׸`+٫T ΍fk>Sް~s[1&%500 1;Hx27"٦vyi4IukwV;37Z({vr2}:t/p%8l7s1S.~cdmv' n1F RqMuC]q$ NMѡ֛?rӮLŃ:ɮ8qu&G9}IeqFz7*{R't`_wq(^ [1gRDo/ð T|>ղ#&%0R*T~Csv,d9TZr:6OFGϓ0a!s֖>S5fa uY@Tqq3ب΅!B9\"ߟ|~ ;SKi`㐣 0Ȩt1h}xn冐% m> o-9k"#akwu}g[n'?f{ -0:U_։?DRv]Qys``Vy.-\VLǕ _Ff36.o\&GK?mvh+kߵss?6_דARn'-䦳vEtg/=8,:.޾`_W@aqv]f̽<-;jAM< A\ZAIҀAS2Zowa^)&ts c9'^bk~E6wATt=L{luMG&.odߏT |bDY|*$KfuFllw>R82K;y /K-D/ӓ~tIi^ Ȫ {f:ry0ːK̵Cf2sKgRsgϏq`,i[.* afؒEZE_{zո^F IYtO^}!XW#hqL{Qׂ|O6[{t7Ns(*\*.b齴=ڵHuMxqgYba](2V|X3tc< }ȥ݇b]J[=bjEk7~>PJL힧ƄjXF4cկ3 .14},="@;f7diֿVs?`Rr]>h_Z=9͠&pۗ:]ZeϽH*Ⱥa-P!N klﲈ{0k|H;HM`2vC]m.1hkE%w.{ >q̨8uFݑUc0eoIG"?gto.p\O$εΗW ! z;)B3L(g :]הgd]QUI'c!1drES"TfZ>%Th:'C1:ߍ,^I{]cz1ĈBC&魱/ArxJ~0W4sRJAXM!_&J?oUܴP_88Fї| Gv_J[#P{:C=}j(1ё(L( 1 Y1g4B2&Y=zʚ*^M18O@6=:2UtcԵG,<]jH?04zw!;掾ݩvd+WYIx4t* g򿧶n'R"i@#sQc6s4yOxu`ʋߤo֫,'㴊 i3FwȒ3Suk/;fF',17d3]Q&ؕ/z8GT&`jL;ӈI\ݧQB|bU9>ONl<ٳ YgUXaCud}V{}.zek\yNT; 'g|܀ ѧqK- D?Êy'yn 5VGɑ tfHv5kMP&:0  Py+떝x/V΢.(Li+Ox[DnysϪXiN c>b sFmk2<-*J<̐yLa<֡0ZS cc2 FQjg8 "pdYsuxjr֓d4O<e"tl:lB MG,߇Z^u Qd9BZZlC j0N!r>o5Z[NU9+!Adt=+:\{tgFWL,GĈ7>9nh@%|OPiת oF;\/< y)ѽn&3'ԛWv%jS2arG͟2;P!/1JrN[pݱ_0Bִ)A]ͬ. y"[4|, og %Z|Fo4dh {Ew5nUjhk׮ȁՋ+ǖ` ooS2\z~ꄋ Ҡ͸!urL*Gq/q'(d?F±ƕ9s6{0-u8dmBb+-j\An IQ[EcZe$܄3LH_OwMN/vuY8F)c*Mˢ^j>t`,% l(Bϵ|F$__R!RvzT@IbOoH;-6.eh,"H7-mW>;hI39,(,_^lґJt\&]Lj4 f,dė:)<`+}+*,jpxb_QŲAG\1 m4= <JVJ χ<52;XhzX"BBѮ`F8gop?xb ',YT*;lbgx{&߁"Rֽ=C g_x.ie0/u!k"GH!E*)X,fV~y3sdwGnS*.h px;-d,ʼnM uluCXA"5#9Hzcߙi@X P%y+$17N_X ڃ ȎZ[E#%PzL(^kH"1ܥ9{1~BkW_B<}B#"L/L+K~c.|=aE#*%A",,snWQJ٭jUuOASᆬqs);0=xZde цrޫ%:m"{$K{+:hcZh'Et쌈.ګ9К);Q#/XÔ9btI?gXG[ BU34JvCUTܺL~djmjRkd79C`8-P"^M׬tMn&hZ=5N1ƍa6Ř/] j>TFAbh6]NqV.Lڐ|V UEbKҮX"BFہ>AT/ ؚ),\)b/5+Sw瀈MC]ь>Qƹ~A-OMSs:FkҸ;))])[0GJy(m>~Kфyf͒|p%cL"Ҡ2R10Z4e9)@ RQذÂ>' 㤕6t'+[> 2SGD .}SD|_fVGfAj>TwMy2F.?-?[>9!@JKBsfvS\d({l0?EV"y,y[_?"nq-)%W2awl3UMt L;"g؅ḣ V 3y- fEu(-1cc'~_)n#k Ȕɿ_l}Ȉ n 9la̬6o+m gYZ oo '?% 4Algebraic_VCsAlgebraic_VCs.VC_KAD_dualdocument.tex7zXZִF! L ]A-MՋhvG"uIBm5^ c`m*~J NCD9/Uݍ{^JE5QQPQVnoU(#JfiHӶʘPqT!Ya%n9d.WAL24xw#<ơ^»1A,nOG\rQW͠E:c*$4OH^MF0kBPM ?4/,YPFU=m'| ̺ e2˰ODZo떽rpT a Bgu+|D9] ޲[7O[RM^?F:_CN.5qȟ{֊LBGHAfǩSk5՗(cUX^!ׇ7q,<Mܛ U\QfZrt?uQZ| 3d9^e@EŹQ6a}q=MSpɄ#g9>j\2>̵VGC&,_pøL $p]ocxOJ%PCn`P)OV: z1xhkɉӂ pF/W淂ѾK:/JHQSQUJns8,ua@2>կ[6_ހE_ %_6R`0vfU/}vD,TKsBESX\n*(ZDW_!cZq{TmPHR]+@ __X]Y*;ފG>'*Uܞ%$B0D؀6vh8Bwj^CG݅ե>e, Ր!>BxNքAb$%z&!Gu0&3>ƒ.xCf(xW@0_7xRq ѷE9]󚔖FѲk(z4"^&aɩ`Ѳ{ˆ}/?n} \Hfv[T~?cևu̦H8GWZ. "=  JnR##P˱3u.吹W i^d/sg$B }Js^ %C[_Ļᴽgz]0$tx/\sSa~Z/.¶ĕ_pzYڧb1̐R >p5dbn*[&\k_2N$Z>+~)=Iw@N%\3_p^XYvQ ʲOo:d{]Vi˗!>~B=f^G=?a -бYlࠗ[]h[%'# UfÛUQW~| /7"ZСuSVD4])NͮTrd%p3 )EnA:d_yvf hP=N00(ҾxS& # >*}xz[|Q_&ݎ Zd)uTvL!+&nE"Vzԙ~&PRl`j dh 2ɽx݁0Bu! KW.[_ģ` ["1(bB+%M{ke*O!a^&P:L|Dt)|es$kaZ &3C{0鐊?uw80L{:̀ cY+x&81Vhzņ/8Ɗ?Y=uR.XOc57k X(1ٔ$C=[P2H]|OVo~q"<HxuvʠrE|_yT ;NmNFHWFXBHj!SGU,B 4أs+~-WMomk?E/0X Ɯ`=EK0:Mw oE9$ҵeqv?-t7PqAI`S nHU~{^lY񙐅ݖ#AϚ8&4)e#3tZ@Ȩ\`cQQ oa(wIk FLLҎrpPme"xl(Mq0_F_) OVDe<%u1,8g/o5Go~WhJm(Jğ7,[&c-uH+,NN{.?ࠁzYs;gKɌ}|-"IV8 Ro/Z•(xA{  $FƫDf`H;y3&s/2X_2-`)vB)qmo=)Y j/C(C+FꃇK_{#+uͥEhS8`d6[ .ܝC ->2//q>%^v@ɂF kML$;=pe?jT^vU 12aR~>}(j(wrN+_nox{ WR`8 Pp/j}Ub32yLOl:| |ݢ ҝ;A |[!۫)o"_١8TsB3wQCEYB6_RtZ;_nGg~ 3f%Z/> 1vCLڀrdqv=(y/Mȯ@g4DK2OzK Nh hl/gQo:-4)g"W\<ʨTWeI@ꐸG̑Q5i,KaTy "](c'?R20%WJ]~dǢ $fU5I?{9ޚ>ˑ>˝Ħ'0/:d&X%V, C6;[6ϚFSV~QsTTPZEpcDF ޛ)qruW4(3/*:Il|j=:C㶔 j6t)̈́Ux9c= /84AoH_Lt(5!|aO&0I nV)tϹ G׬O itߴGyl !M l,*}H%~OZ҅r_FmA[b/Ss!^Dńaah5fR%tk \T Z~:^vQI8^ƾGgy#8U84KA}ٟ=Ș(C81 kNz8-"RfT̬!9I sWW<z$e'1?OYn!" cUYEw&gJXC\Vf|3za.?}w TxgIe EK`)efE\]d:^q P&xd+iytDjdWFln~2rxZRLE>8 I%n +H-T-_,4vzq Ž7.VĭirQh\~֣j#厅D7 L@zldLͶD7qdt(I94b v+ 9q:Fv살a} 5SϫH3өӗ˸#+4C1sh|(+.3(HTt"B>e?JuP9*y6H45mלY!Nn e0af{~#z;?437?8ip T1UvFq(J#?!P8H8P_xt%DTe hrG dc Ҵ\~C`aet2xkS%A\ hr);"%' 1܎7TY42WV??кܗI[^}Aтl \pFkzK5@(8OJ+^{˱zk& \;#clT7.M痧b<&GСEZkJ%Wa o;j?ԫTG'.#F$Sk5n$h~I5*3β(g-3|CeZ#W\b{d*YQx]#$#@RXR-elRMwtTHs"wt"WCW:pCMKiB%?zo w-d~D2`"/ z@Rm-f2z%ONx07 կ)!s8i sq=0~ZAxngZ_=bM^ԆRJ Юzr:gYZ   ] '=% TAlgebraic_VCsKAD.Modal_Kleene_Algebradocument.tex7zXZִF! Rzc]A-MՋhvG"uIBm51VU,;}oZ߈0D2WgPtS4UZz5ؘ7|lu~ؕ_EɄ4zBFֳ'Iv>z 8zx0GqvO՗X=aw0\ $89<ՓFoN7Oր:߾B`Pƛb אx \yjSE5j K3@Wa:&tCr+ <J—*TUOm<h=|H%_*yg#QIQ*3hUSBӍ*JHF]R# q!?}̋rEBa蛨gTUeg׫;`ɍAKR}vG巅2R1ӯm퍆n_S,:/:^k[FwF N~ )"?՗RW,59B0mj7zZcs i|`gCJF88&VOs+ N 8> U5 O L΁9傽a+v[(4A0 ,uC6i"{|F, z$}bv#F 'i8d)N3Dl7S9f5aD/'`Ls2;0+gww ^]gG#j. T-)[bCTpƋ|cI9w'YbA|lUNʜMaorg̜vfF4"P]c'gLuLb9xhqXL8RN:?7Y>E1fטEqD^)=GbZ _͈)YX1moX.VyFe`#/L* %1oHv,+o~m? ͊vQPL^e_sJ݊?VJq0ԮD{{hu'r7g6QGL!r=M?E^J t@)g%QP(pgIYk)bB^+`<Ĝsey~ >U:aN-ɕiltŊ7DŽ ID }`S㜬Q:2 Ks0jftv}{&2M'xx'(p{[re;RU*^#ڶ*( Fl+7맼?gC?@I݅$ .Tw3p&`ۅ/o"~O)hb()U.IAqbV/'{i-M+$P0W6x&4%Y+lcK\htJ!%~R_2B͋6F9՚a9;'O.I|1}#bWm`Xo+hSON$A`aquj9=*Pu›WOB䲭g.e(@uNԫ-c8oiEV^DT3dX*h:j>7 &3}69м@q0}P)T8nJBⲋXM%)]ۤA?dvBV`(RfJ@NrTh؍\ns)Sr^*14quO1s%{d/B_}p]{xO3;r2]:^A0\5c jjUj+GXB@Dr_2KiS/u&r3ycPkf͟[0L)_b~*87sb3ǻm8lx*_ 1@5|q1*qZ"13gGжy0pJL^gXLȽ|ѱgYZ 7'Q% tAlgebraic_VCsAlgebraic_VCs.VC_KAD_dual_Examplesdocument.tex7zXZִF! \]A-MՋhvG"uIBm5^ c`m*~Jx9 dO̥.E\^HjÇ?O!(m<)MRD9R!UZƙjLhGd ڬc@W? O !CB-%zbFt ]ݸ/Y+J̨q/ff  Vw,çUjTp+ڽ>W~lţR2 FO9zaCbޥE @{r  L5w ujzHqz8%Ao|徣ٮYdY=F86I-0h'hQ@#Rw;^1;qX'hgC ΑȌ 纱,hkN7K`QK29i+/?Cw{fɼ:( D.ʏBgB -SS)YxkUil-i`"?!A==&rZ2'46 vvX_=1[Uiv4zeay9Nab%,>{ *=CR[Gnȵ2Jt$|مl)r=Ϛѵ[]kI{) ## ؿ_-||^& }/[ ]ThJ9l upLHp3-G$]ıv35OIv]=_/13\\ ڕy[;š_V&7UM`Bqy&]*ueon}2!BLklw]A-MՋhvG"uIBm5af12U)ei4|zhN"\{TS 5ydt#CN,iW}|E8-1t+sm=6è @! ߵN)ټuL7`; еTO^ړc6CW:Xm jy&2u9p%a0)7&)%;ӡJgo&9 ˃H2 $pD9QM4-q$F<=lK+X:3_:c -=dz~xlE}[_ bpJu%05n)5_R >|0b奒u"£/-t2׀MKk޹|QIaSd_GN2NHka))sHu22'-9=y2J9}MPcODB! LݏU}Lj =rP {nWC%$ [;0t!A=KN~Qz<7*Ykg͑8>4 vB\`Y:| R PfWp؋R6*Wi0Jnf*겑a{O^(*$(g"Hp'Eк"b m~x >L8-Nskb:F7rA>1vD/y|91cxp[JĎ0:RIY`4eZ^+d:Ս.<4yR',iZh_L͏]U;Q#~YnHE\-]Cۇ5,#µw&cqkָR̅}9<+ܵԜ-ݣbg 9?jZ8ބWZl{WTf= (<1Rt祶ba5hOt Ug ϊe|ۄMeHvQ]VM¹qD:*8iy ۘO!Pzjs(8쁇­Q.-)f``yԦZEÂ*R1uYR;s?%)x'۝PLA߁M8և9F+U&*ēQljC*Ojqyk`uqPI$3]-.pT}kۊ5s n9)7EFTXGJ1iU"jZ!Q0zp$M4C%#g!ϧkjtީ]ÐZ?ybl1%@?W6%]sAûb}S=#un9{i*ؙeֳ- E%6.,-qLvk?M5Jhx#,P8PUXWzgȒg} ןg2"3{Gmwe ^$7|~2HNؒ\Ff̫w$1!'10 `vHIUSc b:ϸ GO@4a|ngYZ >>?')% ,Algebraic_VCsHOL-Hoare.Heapdocument.tex7zXZִF! {n N]A-MՋhvG"uIBm5hr>c.d_9ռ\kڻtl4R+Z_+ {^SK59>X@ \yKd\:@~ _o J]n6!gR&ďߨ& TizNO$\ txƷ*"i##lZgZnXXR >kN"7B8'r%M(^giI 𠡓cSwK<# Xd4l59=kn ;#:!I:t~:GD3knH uX$/gvm8]*TR0mfU=:@VsOvb84w†% %}b9k~3e.m|_Bd+>9fMc?N3 /dࡹiH_T $A?| Bֱ{lHf'Y@k rKt %q1mW+OŠY ,c(TQP}8##`N30V Üd>B 42z%a[+ qXֳy |FV["x*|[FjMr:l{ VؗV՝g@ӧPAHWr5krZԏȤ$^QT/Q8fe;vu(½Ы}IA~L[b 9&'cZU~櫖Dͺ?m*9}D 둪nPK(ZvpFksedbi[DWCcZw "ːA˻\]p剒0#s(u͜ 'fV',jɶ4a74PQjD/"GQgYIڸޭ/>|9a ~Z}8!Nc߹ Z"e#ƺ#}27oO?x#>zE÷ǂ]l S;abˆx5Lv]jndm<H/ D=Ɠwp#=|LBB*> n2d蜩 IOGq ˷[t=4fx-7 #oۘ>²QiCRָ4†W|_u|C!)&`B|z+i]edgwٺmI=N0 K3i=<4ȝ'.y 5K 3 wX{ظo췐1h_T!۴uGtaHy'-U` |#sr^ȊeV*`P-_? .EՔ5!!xqHh$cN>~s{*.n\%hl<"H.zBäG4VD%m_ `bdOb >fFxgE"nK&r!:nqm\<ijFaȕjNz /LW¿~@ %plȽM 9hc\S~mغ0,*w^/"zyR ,>2̿HH/eNdtl&K?BI,{7`D!u,V_ 6\5$wkV;8{j"9Y0(VSHK׶Iß֡RƎ s .POUKПW^׭3$k4(yz9`@t?ˌ3QVHUn0cS6)AtfcJBjN0 qV&kP8 ђઍJTƴ0#IUэa荫B'n'y4/֋s]GtYN6:{毪"c.lM#%]+"{<{'z_UӐ]-5 zviH/E|~QG)2&FܝhdՔWm`'}9# _v7I34Tq^tkugɶ{3:~,'*;cfE@/!kh"R<ԧ0XZɎ(fP8.IyW0;~4wVu։zJ~x=fm΍&QHfsSFTWUH*}u!<M5HGΠ-@ Cj(ِF[-n?%cml<`pR$x}#]Qwb&"-CYf Tz82Zx&lORwT_ƶRnd ˍg!hiM6QA{5VLVDb(Raݽy$ "~V`{aZz懐Y>|cFހ5klxճLB :ܬF"F\;>vD#iuR5f:bp^|N0=b4ySDXtk L5*Kt'lMz_&ɬY(?)|}{È6</L)V$ޖDpq(ϔ6DŐHWzۨG:iRьCqN`ə-5:`$ ͅ92^ޯ7Ӳ}OqNua~Θim!/PUfޖz\ʯ _v N6vxJ _t,;ՀZ64; r}K-uHB&4oR%/I鰤 A~ұ&٧9|+#'(n*RUxϤ.~j$oyl.慵cΣRT4;Fȫ,TQ b7pzֺou1Fڣ׹o ܩ "!R)n◞[]!n7?kj -=8oDqWTݭ]O6DQ,P'˥`%l}sT sh`E+S7,\@l3 TZSӪp6ѶgYZ\'K% DAlgebraic_VCsKAD.Modal_Kleene_Algebra_Modelsdocument.tex7zXZִF! |.B2奈ç8JwCqvSeNQzbynv׼Bь1~c%<%q%DHǓ'f]}[GX}^lrrMD7)q [uW8CHj$6(4!*DX;\sHlF!=Vt$X}D~u/UU\TKO۾Bo`j0i5GjCѡJ Z-lY$Z7<ٹQ^K'l6GgngԄQ_N/1HlgHqymJ C,$,Ȱ|>i渂7PEAqf[Qd ˜DNܐ2?V[uDm+$~_oz*8yJc;{!d8"S*|ZцftPGg g'͝*CvNt tϥ^гEyd.BUOIZ6#13zNA[~]; W,ALuA&Wzɖ\}"Pt+6I$Z$#j|Pm1~.n^"̯#"b ӱ ׊%=mÁq>eTxV}1( 2Xjࣛϡ_qIMػ/~Cz98:_g$ݦm5 lKɻQz$gW>KZMa=ydFjH;`9 _JFf x gYZ G'I% Algebraic_VCsAlgebraic_VCs.VC_KAD_Examples2document.tex7zXZִF! M]A-MՋhvG"uIBm5^ c`m*~JQ>;AeN5 Ӆ|·_bͫ_ 0 A%J QOTgVzܹ@"xl@wU$"lQp41^2Kg.h#,ʐD:@z5{0Q Bn" qa\9!aW}eA !lj*̔&Ʌ}5D')rOD)KVxqҘB ~>'ci_9j.sh ^sϥڙ@_*ݯ> y_ ҆wDZEWVrbɣ'0`4@˒Pa hNd0FAރwN"c CB Œvp{8{z=sL} ̛;3#_LS蒯UIt~5nۜ$]c$r,HN=a txi>9Wp>gB  <ƵL$U?N^>q GUovkJ'~@mU]*fM5Ͼx9VKn ʇS"d`YXp&STL1Jd :uRJ{lġ7 9iG;\`z[/t|_ 4X@ xj]t|x441|Zn[&ml =*\;74μi3[>d9^ ׆V]4V?{X]ahP T3~Zpk S|FÓOl,UC>lwEt{px'#ueUO$'(;DԌ0Eo4,>(t>,'[!$vPZ$ZOcz85jTZ֙X92{#:[oeUEL9,]jz.:|% ud8T\m/bk]b "&rp `'tKKrbcV"rPd3ގJR;1W٪}K5wt(aezDE2+YJ7 PJ u?ĩSٴZA\gΛ3@6D\*sP]rWy/y?4_RIjGirWɌQnFpE3S/'QYDqBj-`)k!K"8Z0ǛsHY03z7iA>H;jmBL'cTٿ $~Ā3x>arFs8ur'A%Kɽk27OXգfĕBJbGTk+0b>"{kRQڶ~Jt&rHnu!bt\^[>N-,q /+H!k6Wıe0Jl=)&w1rO\f .t[^yъzCe&3$$@iF:'}вGr޵+MԶAs *9O6XQzqc{ \N4SPtJ"D ; 9bu&K@l#4`tw.VoŇ),^D5תKM`O8ٛh/gYZ T"'7% dAlgebraic_VCsAlgebraic_VCs.VC_RKATdocument.tex7zXZִF! $*]A-MՋhvG"uIBm5^ c`m*~(6ú({|/~Go"7'Nf{k󐄓 SgTިC|ga3-ؗ[A,8ܻΙX/!9#ZǴ,fVFbtS1N$YC]CӦ-{[p/+EuF,vXYEp:GQ+rDdPMކ"7C82$-xnEjN,='izʼ~(̘&TOh|le0L2%3Rn GQ`S)LIhF' "DGwtǹ1r2OfyQjhOp] )v"_| gRb2D#k#\ϖOM|#;𢑐gz2g%s'L`t7b p-&6X.9'<d,q!s@'b@ts<.%LĞ.'(ґ;Wt^LWbVҐޙctyeJ(w`jr#x |ӈ]K]?^4 Vڪ(N F ]paWsVYnJy|sml)S}@bQBub#QRVc3'jWF_.&uO}֞-JH/P0\ .t%}B ωnhq}}mH42nFLb3k22!Zd ^F5״:&z fݪ!w-PItԗ)S2IG5m;u /3RQ?6*pG|Ƥ k(ՈTYnQ4;pe,hqF{uIdpVuìU/Χ ǽO]z[xMVcZP<^,+הو(:p/ I1Ε gYZ)'=% lAlgebraic_VCsAlgebraic_VCs.KAD_is_KATdocument.tex7zXZִF! C}0]A-MՋhvG"uIBm5F3f}}Q?x.'LҴ- &Q#Hc7ujH"9bO꽄}ͤ&#.;kKEgFu4/Ӭ0V sZ"3R:bOƎ:Y"744MQ.,̓5eS7ۘ91ZqàGC70}+ԼT MPEӆOTA F1`,ݨԃWu_C"=z*SE"/Iђ9Xٮ(TF \AdK[\̂OODeTȩQ`3r@޲4Ј |/!n&6n422X %,! ދc8r*5^3׊& ˹+( $zX9vqDVOnw7$ȏq4K59-E3@cDt/}EunbƑHfɰ0bv1w9L+^YM? 8!^YJsa`)")`nƨZLHcZ򑣗SdZT`@#iQѠ 9wpȴIqTd;X^^+3}ؔP "ٴtkF0(v;'ƕfZcra\ Iy+sz@dEl5o3#Ho^,27j9WQ,zoܫ6^rG]*bܩ䍽IJn m$,8c%r +y6. 23{ >"2nt\62#tƻ{,l?yr-qP_|G BnƂtՏ Z9y4$@'poZyEiv&&C5g_"љo0yѷ3NuN"{z~!棇^2rvýka$,#nV2<>+4 }C8%Bkʼn*Cha; ](ŗ;zuGԼKEo! #ѐrP! lE_Pmpo[(9nzgPGD.쮬]w3KMeKw~8 K [ju^#,2+}˦S30d=U|S̙S-$N5L!t=-Lc;nofOhΜ'~je-aL&$3χǝ 6Gh 35jB\ېW\1+%s&x;2٣3S{Ņmmg2Ě=.[[ V8 >}U|\Dx0r$ǩ?6sq>(nnG>3a!@d.zz?ECϩO,B@2aa%?X˟'qEʲr% 1L)PTEnE' isOQ7ɐ.S`=k잻l%JЁm[= hR *8ig[7 zG/w2[{R!ܹ]130wCoK'-ox&x Zl0{|M O ԏ;U[dbJ%4Es-52,p!89la^Eo b=+pu3-n쁬 | \ ./UKd9B BU02yLh,&JTYbs2df-DXno! Mi@ |MQ@%38 gu14Ӎi tKvYqƦ5s {]?KLEdw_gYZ  E ';% $Algebraic_VCsKAD.Antidomain_Semiringdocument.tex7zXZִF! 8,AJ]A-MՋhvG"uIBm5~|{ r~KK#Gi.5 ! nP diDm6h^ɍJ[gh*x1J>( $2wwP<׆q2j_Ft!VPniߝtp |ުZRw3tجÍ N e 3=tٳ\<46;?du{`RʖFRh7i4[ nqn`&䲪z'}gym&?RʺpZ},g24E7r ތ%UL4hX:VxӡbwK]-[zn>Mbۚ,N)z1(u!L̟@9VJ&<|O~ۣeZpi gޙdN-Ќ$=fwD7?qB ?B-B2yatu7#h} Or_ <3WѸ9LH9">ۜ+y.#DL@qSlaJL:p9ABC[̮)ell< 4ħ$`88Rﱋ1fXWIBT `4wr"fGMU } )Ixo6)xHV$ѵyߟJc9502W.VSUVCZ~.I!}ʇǝFEF^;2pkQ7Y&%3tIS6o~[%aJ;\#6kA')d&+Ģ1o- wYᮍD @g$1,%K]Edbf AC(cE~saCJPk-%/G53Dz)[F3QĚsĵ_s[YwQ/} T0ap ^ eCW{ i#F Զ2ˈ y#C FEPQ 1'{ګ iS^bAh0 Luϲړ_U~2>^EΕƞrcŕO1Nc wd^N l_yȾς2r?;;=${Lw0c,+ZfW7x* gjhdU;4Ȗ_vr'Y@k]j4eɯ^gGR`_kf,/Rt<:6#)mBX+,6TcNۺXn&90k̽=緯$]|z)# Ёμ~ ͻ2.}os2aQ֛"TښQ1.#ief.5_t]޽08ۃJHwÛ!If?VmXx=Wܙ2Fis=eJzU9E¸ @@#,){F65.vtN;yIcTjDf s'E2"BzRJ]5 o4IJϤ=}5%wl2B{#/AD, I.R_ t?%h+:~<}ka %q-CA] P/&s=z͎-^6oƦPfl;Bi9oz1h`-q-,Ұ#v;O{+Ɔ2MKb6J>1uڳ6"MqŽx d; HYDy,?LSZmҖf2ԌZqQe#b]ekX܌sj'F^تמ[VoOYC; cn9M|[(ĩL,-/>O-5\Le.*fC6) b~虞Xi{ uE6gYZR'G% 4Algebraic_VCsAlgebraic_VCs.VC_KAT_Examplesdocument.tex7zXZִF! 9_]A-MՋhvG"uIBm5^ c`m*~JGQbdaޢZ28()o04&"X3i 8" ;Daj.יuF:'S침*w^Ÿ>|-[1!&ԱT%:-P$PZ_^lj"“ -/wݍZw.vrn+G=K9JӉzF+Nө!l\V|$lAQzjR }^34[LJLbbRb׭.CSI\B*KÂ.LvΜ]N+uy,(KQR턦{4Tx@&kht2kAaSPSxXl r`v KS.ju,I>P7Rx\?|Jh(&Qe|I}5gmiO?d^/ mťS|me0,XdYV"lV5[G/۾Suͨ|[Oe[^3Ď'N5s8+:TM}gUrRM]XYŸ%C9(wܺv71?0 laAYY֦'6BQ28F_l2 Eg_ ~-LbRa-O`g>kqW(bg`B~+fPޯtl|לeXP@ˬO$m9g5+~ZiaU.Oil3߃gW.dbǮ&^n 7&ٱ3 JYge|n`)S)֘l m?I9RGĢr%qĸS6l-ᢶCDrUneb+A+hك3zeZRR1/QI,Ѫ17Z%Dsqi(,5tL{o}ȚRiTHFIp5U)й6iйyVϪ 0 W&9VnZrlw'.xۚ٭nmXҺ;K~%CW1xnveysV\oqw |XF4Щѫ<4sD @HW,OZ ol ԕN5 ._8 roogp|`оaUwMyF3_D V?|E$nE᝵A懔@I[&7)ZXOj5 3t?2:׷Qim I)u\^qђ}3ؖY,(f֕5:GRh#}X'I!d$ 6ղHJBBܥTamBi53 rUgYZ"1 퍟}gQ1nh=Z\Qdk<"vm Xʮ5fNs->A%Ӷm%ΏvUK ^D9;xqP +~8Q9%bBvtE!͖ALP=$xz i u;5\GQy:FnIKgHOHqK:MTypK%Ԅ&!_ط`:y^FfT|Yܟ4aWempqL1=e-sӟ'qgjw ?D=HOrX6XSRu;jc7|KB?;t/#(}ӳ*OuT,䓥3$23kHͳ V_4h=q+| `n$vS3:&#:ZcQ]dLԸhØ32(U +}:KYL \c:@zh>p7V٣@.IRДG"™G)󚊳k7_0ojymw2!z2io?~5m/m V<qX3,V/4嘾3Ͻ>uhl=ώ&JmNu}B( ܍ P(HeJWIA)֬S :Ѝ4czukxKvs ?Y"0 o"ݿ?&U,WGrh]TnGAsn˅ R^UZR|R|'3NɄRlTa0y weGosM?5SxL|сz)dbe56#6j&kzϿ$~~Bl0 sm>Sذ4?l+I]r;qI0,Q0g36[2!UC&cEppa u9Oɍĭw! T$>IKڬ$Hkt=cs9-Jϭlkh+vB~ za|M fZ}$E^굂r|>%⢙#Qנ٠lشucdWT!!秾\Ղ52 ĪӀ [ Xkc6hd)Los幍kdn{tm@q-~|T 鯓-ǦP^'G>'HlF1.p C{#n\;OS>O1!?׏Xhע+Ti@C/r>u/l2_5Z.|Hg"Lg 4 /Ҝ[Hn,,)dP:}ԫwde 芝&?hvrΫuj|IL,<3,M7+]A_.]&UBlP{KBMњ&-ML9>8zqmQ~n?pv%1gl/I mOa2D jp0TS7(d|tgHe48& kMb,/\7 T%Z&GX'-*Z.!\UG> [ Q9H!Ñ6P\:Άg0g1hHc1y@79nnRk1z*=;5":xNɣzWS }0{kEf &:[ #$P[y +;ǥjtfcdsN lj}_v;:UB'Ea<&T~Bt?]:q[<{v服f!- ܎l5{yIwssDGP~d~qkčM7O5s ,Վ'oݝL}ZFHO:.mBGQ9Z!f!%^Ms!(U R|c\ʶC&=.0ZNY*5d#ہݒKのuN 8UyuAlWHkf*ikY {T3whZXlv*oW;jcX{[ AfjW {`haf' ]hvt%# {bFQg΅k߱ 8~)2ЌJ rԤeL tǼCYEidS()4~\xqqבGh 6JYGER]6#VPL6i8c`u N4p'2YLf2:9bT?QtV3=p"P^94\> j W 5scGT'SpRQpǀnt]qlew3%,l}16֓AOL3V ybO׋gmv7Q.?eiOS4^.!qz#/f-w!ro9_?/9R1T)JLv$!V[,汕 I?XJ’g_w^sÆzE8a7vus`W'a{b}) , U?]^bf'_ W1 B~/nmC8;)=:_tӻkbܢ EKRQGd!l53PB]Yz߆Jq [;A){3Rg{tpS`|o +S[56L486q#;C/=Y3i@me͛f6@p3lםXa&B9.q"=Ɯ!&0COWi!ϔ/}~^X@;;!k1X^6T~dsgs6I Ri#$LTZsrm*LJNX*n7 0n-_S9f"#Sz!rR_mz6_/C%c@cwwhv O4(@y2(繚zH9'<O#V-@)"_^S!\3JֹuȣƜ-x+x)Zĝn`|[4cIproИ1bt|Uja퇚~XMetO4CqhC">%ìX;`/V?6I2vOucٗQ"t!rуAQbod'tw&qh̲J zf iHG-, YF!jМ6+(,<4XɮxMės P۶yk1#w"ErQ!:!hA&e$TLBlQ|OQlٮɇܮִ>0kB=1IGn?Չ<: eO"#{ #?1 @I1d.]"ߑBK~f2頳`F_eN|A٨laW3,!0 ɻO]{y stc5Ǥ#Tl3 aʲMZpo e~~{j !l͎c&`RX^)z3ofCg w|Z]n];u PxQ8_@f@/wx ɕTӳLS/^2BsI8ꦘB!vXy6v•YUrnT`cǓ;arqXQB ' JabIu,W718'#/"xA^![ֆ4nwUvMɪy<+ 1ud±[c4@۵ zngh4Pܟ>֬dp-Eb3٪i7lD4S Thxh\"KP E ~m@.`K<#7z6 PÖbFdIpg}a]a. 05˶e1yMS)C?߿R̈ڜk>X(jt *^C+ 7ּi$]ܵ#%zGM=^&ȟ-z 8v5Pq'I,dR9mQ7)*6:g>OѨ['U2ѝ|Sgik#،R/cXt+~%ZM]U@+^޵Tt3ꩴa4mptJ!@є-ֿ!/ Jvtbe80TWW.Vڶ(کV3QgVARWc|zֱgr*SގV²TAi]~R5" G"Fp: NeW(u3qxanxL'O)c XStū~q#`8^qzNǥ<tp )mf?^·أBFDA K2<,KUMW=}]ɳ?t2;<@FJze`ߺ]oLܩ lޠŒ1WQeh}oN'',`p=R69M{ktϟqp0FAaNuQP Uùca|kwhY %GeAf"9jo3Wѹ <{/ MO#l=hV̓]1>'X+p:grBj=[UvBߛ?k-2"\3݅}Ӵs0eD@f|%^\,841*jAhcjV_fk`p7[W˘>y&qC!oE<>)|gJ]9޸[B yњ1:wX˺eI1 j Uh< v薝㮅"f>..n5Gb#r 79Fԭ4+j r5F ޹;KF Z?^ڥяÜyaPIF s]C.e`^T[WzbgQy~-\bgi)9Mey| /{x3$,.*7w:R!H+**̐=2%I1 GJ&7TGl` !I .LY\|TiQ̸2 mBiYXL./Va4.ȩ5x!é V:|*O[!r:gb;SB望Ι,r}+/H~ t~aLY.l3tO~l)MeAz0{ޣQ`ڽ T@HA+>S˽Q O 4ř2փ'cYT;hŢTh0=~?tfAԃ7*?`[^M~F’Bڥ_3fG@"r̳~S#=_{˟\0D7䂕nH-+8Y}JFvƣ 5XcO_`m Ʊ`Oѕ@TSƅF.wBy& ˘) f=FpQW Q^+c+vtc}MYB,Gz& OeF[xcO"-bV4}=G'dm }&7d)_4Apj2\̽t# r ԗ͜(ϑx*yZV`'f"Yqpn, crT(xEqLz7r5ʲeZ@midV0 1ϧ!pړ"{s+vJOԇ I1B 1k 5&Hn7t*>YjO/~wGBTO<`TN[‡qxޑHpl!8_m$o,h?ARC)>UZ*V` ;} Ugs:QZ -h "7/sbV)a^@M$QؑoL1]3CvD ebOwD᮸:[u^0^GM65g?u+[ yOYhBU4lt1gc-o@9̖>k'+RPQ+q6?e@!) qib8)^ͷ\y<VsO>:iBM}E&d([q"94!\_7fm55DzH>4z{hEi@;ZɁ r>di4fu_31LWDrAfy7zf]LOʛY {n*8CN rj%L}CYnu_]Qj%GlKdJ뛺O ij u<*L3kL0$u,?幕rvKlʩjt+wNš-qzK}쵵B z69q`NxfWySg[? @ʝ79|\x^ePyfHXI/TRPܙb'̆pTf;I0m6'o݌0a;tDjU\|MDݨ˶%[!$s }+'ndZpZ1|(`0A klG+64 I0ß{;q6esk,$L<G{i]lQSg-2])Ehޭ|ޏtfoSv-I/W3щHUG~E/_4ohlQ_D6\>(9n(- qwJ-|S揦1TEH<{+ _GL$an}E}VtkA$Yܫ`u]DKTiq. d`d2țt[,e}pqUs*`d*֜2)D 1Yv',$[{; ~O@3xҞP2זũIU>grD/W{KATZpnR tn""UTڳR7LxS)%]JJ4VD`ï͗͘T]^lo$ u>x8 ]rKxF嘢 (ۄ|X=ޢdB\4.랜dwL܍בZ{%.| ڈyp&z4P7VxHQ*OdƪBbPԹn;`L%OhWVI<+Wݕ)xi0 P o./X.W0 mܰ@)a怰+J`ر4N+bU_#I*Kaj{7˃tKx@ ۔;"a&PگV])08w=cojֹRnTrS~X`Fȩ8F 0wR<%O}qkS'[)uGdRgq~qSJ\DsvZ`M2I3"*"v28Zұճs0f ۤ+qJrçs>@8+a4N.L7WVhm嘈K} @X;?s7e |c9P^t1~ӵ|{RU""M0"!-u( UeIF2Y!Si_͖݇2K4҅u{3G\Q9VAԦlX|0ZflI!>?bs9A"LzEhڏ5 >;}c4,^JLWu@DG i+*/^/.J0ǵҡEף:/JB}’ElajoIu p5kc'K}* ƍʝ {(mةwl3= VYdRcc1]0 `\i=אHIdٿ$ U{ mwN!0t$^=쐀jEҥM^ƼAAڰ:;(q,FnI&;-63TTKSUsw:+E Pu+ g=/+dQm뉣A6ILjU=}U 7P{J" #F!Upg!Zd<})FB67G**Q ~hreooe9c$֩eFuQ}lv knuEAf {gEWrA)Sdc ]jTU9\hη".}-zb ҇ӄ)Ipj#X0~605xް|kBnYSI+[8%q/@I]2[ŦB1*ނqÈ3GЩ%0[pvʯN!) 0 R6D16mjN|&oq|\e`>rau+P/s ׭^1sm>XY?u+w$SQxֈhO ;Gϕ7ۈ&$ŷipI;%vP*-B t3,Ed<2q8/kނaw,S6o9^e_q\+[ .cRd1p߳[e93BP8챮U/ҴN2 iM4ؚ}LOpFj#XStgwVVFb2mۤE<麗 oDʮm3wW,BvZ+yϻzAW IDw! C>ۅ̲No+yD :ͽ{3CqD6h%`8 eFZP@KA< aI/ZXIWgCۘ!> X4:0r8 >y]y5,77p4y$: [{WNF=S C{z=dwRKnJFȹWLUNM/* C#^аz%h҅-2_jJc) wӔyrrID9^ڲ#0طI}\AA-U7CcC~1"`1-IwkX ;Iᝒ]|(6aQ+ms#fXUҾ tPc~K~f>&NƬ&j"BO(-3<3%ڕW{v=zӅmU\3Y*5Ռv ^aDI,Ń\; ekgeC" ~"lᄝ{(FbM6JE8 c JJʁ$՚ݚO'՜}[ sK]_5J3rGW({E5`yaށT]7*8"٪1۰оk5jRT\+ [=p~&?P`u1`FV g )8!VPfpF-ytŏ8O+O U0](P͢+n-Aa9/ =ih*(My_KuLMFhJ?|龇t+)H*K/i_%su7]\%!^e<1*!z*A$? ߩ0G!aJ9&sq?!}#tpCmΓ+e+.Cå/T?/.?KLIHwՙHIEC4j%Nx|<;q -̒V+_=܅: {Ah5,)ޒV=l@!hG, yޠ un1Sj<n}UpjX^3NJ>_.7R-l_ܔSp~$d."gi2F[6aRU@8dgQfwM3,0sЖ.̮聕ܞ$8ǸY|J( 9^)uZkRjx7cnA$c41zdr6 vnGUQwޏlQT)aOFCV=B]nL!CHѻ朝~Ua+sVG3VT# @]%1ˏ}Šβ>X9ul(GdI&Z 0oB&1 .7!UaR^G9te"r0( TQTD.DQtY^D۶2q"!d54xj7 m9aؠV5=`n܏I;b\U BuI0IzT<ʡFP^[V 1k auOK S */MzGY;RL\`gםp! 13**dˀk,*tܴûLLW?ҽn(٧*4?GNamH)p%qKG{T-Nx7Ec$rmA7ŷ8蒐Fr`}5A 0HR41Ju0`RJ#hD!na{ Г҉Ůhޜ_qgdXf,7\@JDw{To+8u D0Hَ7 hVNjpN80<1>/rs[NHTN)cLyR+e.gn))K&ܿqQyat&61>7!Ixo@{mR0n&IY9u!L[ʚMOpWC2;v̀sV4?] NbyO}Po1_TDcj Hos)&O:p0HВ&-+SBC!Ѳ~б؃&zAy(;rdù4t 8HQGuNMH.FMq{om!v] >&:W+_|/\eQx :Ǩ30_)c~7^LI-H꜎g8/Dkl(J2{gԍaB >7=IxMtݰྦྷpYḺǡ˻NxʆNN߼ol|yNѸǯ͗e1#vIyN:] fcU% BtRn')+yMOEqhA;y@xz'Ԥ~HQ݀p p-OЅ4 |yʔkd͙ǖ#=`3ߊ;aDC43L̊n~ᛁcfrmNr*{߉`?ygYZ  |Q'M% ,Algebraic_VCsAlgebraic_VCs.VC_KAD_wf_Examplesdocument.tex7zXZִF! P]A-MՋhvG"uIBm5^ c`m*~JIv F|A!2v)w\=%=D Xn*VfT.ʧMGԂx X`WZf_5-ՊNW*N08?lrX*T(fU9 r5_Tx-x%/;{eh4q>$d|O5qtκC+j@Pz=?TYz6ʡ(*rwkkzc[~SqVLX!_aMp:WjV4a֡Ĺm7^z^3Wt00.V= 2hSa1a{QH# ,[]}d7bc,6v^gv7a%dXзkRT_cK ZV#I`.G&)38o5>Y;qIM1go(̹{ FJ 'W[<9 Lw$᳖-tJKVt&-t(n,,ML#"+勤BȰqoyj/4Hh Hnw%:3:iivDUhQݼYSkc^tD 1fA4! iϡafC+@,_RGRQUqDdǔЧm(z/FxcI3NyאG+pQᅡ憦 6']KKyȚ$UD~ﶎĦb >wւJ¦bTךͤ "QszB/PSZ!>^"Ȣ8bA~l.I1ʱgYZ'I% hmqZe":I!~DUe{BZIGhSng^ G/xKag [ʌlϫ9s3smg^u4N@T!uu79E)V=>Ү_)Ĺ:8WG%&\@+#p2wI&?NVz|$D$0;O|)6z㯘*tup#>/[*s'=Xh+"i.YYKg>!u\#A *KC:-c˟K..!Z^ܕfDp[҈=ܐG7=4S),|2ij.Ynn+ӄV60O!8v4OȤס0z%2"TJ4歕0T e>}j{0;-pgG]Ɲ߅y~ewm S+QESՂsl'1S7-Ft''=<Հg@K򑀯0ʋ\_k8n+V/)@VqrPEזKj،wӐ;lTH䭵(DARs6f캝 RMŦ[%CS8C(rlK (Mk|yo$N33;s OZ3T{ DZ&y /ߘ曎bך{hi#nH~.k""u*@!GDaC jh?C_NO{cK]냈YK\3RuAr+zo,T, >_ctI6tcul#{9*ZޯdtTw_ 2FN9OO-rQ'$c" -OQ@WWt^,JxgA6-V/@CTZ?;tWCf1/EOWKz@Kva~u6?vi֓,[0O#ݣ: M^*3Eٺ8t0Ű(Ҧz?AvH4gn a||r|4O3gYZ ] ]/'I% lAlgebraic_VCsAlgebraic_VCs.Pointer_Examplesdocument.tex7zXZִF! v]A-MՋhvG"uIBm5KerPX~_eM) 7'B0M|!ة̧w6["+wXoMZ8t^~-# rSg=Z.,\/R,ͿU?teAV㫌nM3 'U?T v]qbp}E['J2F+}M5V~CoްzG9˺4_$"DZS&oټ5 B,rg0.r%Y""YC)9$z}g̬l%30Vy-$&a홯}Pp6lM#إ"rs~Źy 1^&@'=rk\|`KA_)phE#ev]TVS`QIL.fJa=iXkD-͞QUBs[@-L4[ю| aw?*GXnX%V8TaZz^hev%y+fh %_TBA7EC['O )%rpu. ;۝ T8`?2X ײ(ttCkZڑ;mɰ5(LҌK~2ta314ze2cE.Ck|Ir }ݭq^$A\n蛸#w/׿)zr)Ú 86K4)NRp+7ծ$<*9$]2RV "eȉع6!%h-(M hxn1A)Gbx%% J2<~Dpx05S{_짤ZJB[8?m;ѨF`K#ɩ, 5ۤ㎪omK;ԉv+h2jthHqF&Vo?fkKyH+޻-”0<}Q33ouq!.o[^l':w~(p%PYp|dLs1=[ܢJn5tkYEirf"$/wu`c_⸨&H+%AR?۰x7|W?;kmQ% _ weB|tX ,ڬdv:|z{C :'gYZn'?% tAlgebraic_VCsAlgebraic_VCs.RKAT_Modelsdocument.tex7zXZִF! b]A-MՋhvG"uIBm5"{іi4 , [i<  fi9n/ĈRI)p}㍔ݎ:Gׂ_'r&9O,5s!.0CFNwroJG>'3:?>*9ׁ ~)4Mg\̞R)ٵådQ.ŲK~10ԬgY2.Lk#C hॴ<59T:~4[ڟB6_=NQ#gNN+|m8U/P=~pΊHy@4j7[}|.i,Md-"*JB7l@{CsޟT 13tm,\UAɬau6Tr);^*gs(|3F+ȐiZpCg!n7hid´r%]H61O3C=%!% $zR`m,e@Gv ^Xe6+ NQ_/muˀ4jbde wKqWDw|Iy>^H̕4pԻǥ}ESNN 2NGIo*Nm,tX /'*gYZ(bAb[t?~k1VWܺ-̴),:S!^nPRHI~PL+u 8k3]f70Pq\1=/'n2߲V'8LPm-߸YG;\sgM˙+uuڷi :c0;,>x;f|j1v H7IX9PbfDwp"ZlB) ;oU#SeBWs(Bcn%%`2۸)[&-fd.rCqMNĎ# э:pT ;"Qݫ/%,)һq:2@Gd\kCX,;g]Ne|_RWq؞EroH}ф<>2Ҏ'9;ѮDh--8;^w>65) ^P<}]51rZHʪ6ߝ]] V$Z͏H"ki1S^TNUFPIM1S}fZ$()RuVCdBT >jH?ϛҍ5DCB'G6-3reW {3<Fޕ&Mq}kfMŰR1HZvOWdP$ =BV&dBwTW*).K)]$_7^ڨ9 _m"X6y %=cX NJSC^[ظ|-9#5.sPۄ?},wm-"''zrz,;7Sq1A1Xu '(25v=GIP$.Cv2QqSwqWZ.{\$0el"Uճqn37S4id._{@]ͶL X$:ޖ#Z+G4F͛e"g>_H G;Fqs n l Rwi0MXJءyFGS6,G2^;PE8~ T7ܯR%k _d%K u SEt90U;ȸagE0|K>h%KPLr=\T`[-FOTݱ3lfavCؓ#u&<G eps,ǃRF:1|&krE+}6 ?J^[2|}hu  1L-Q۵g>FA]}k3F"sP! P=OF zڽ3l!tJt݆g=)%U~nFΔjgG*R>t_**0yO7gkevobm2ŢHEпu_*}ЅXv0F){c(؈y{<:iLq@A+SYϑ4†l|"FMn)֭ b8C/]17rpHU^kU-U a- x"7JQ=o-"TBEʼDE&SbXa˃lnq\ d].Wwt\*̞0aۿkb5&COY?sO5 v~B]6 jwxP;%&Pzki)Ql:s 7&roc'o MU@h$S'mX}Ԣ|(@M!„j3}XoBY@JB,;$0Zb>] X`[cEo걛+6Q.QN5˩PWgYZ7zXZִF! R]ŗXiɟLZ+ǾtHIKUhS=W2T\nK(XU]U;e)Q2~VKV`|iNksY< _IBc{*Ll*ut7gYeq,Q|Cc-# T/f&N>!EL"/a-~z=/3J~}+do;qk}L:efU+yhç;ʔ9}Dͽz%N粛fO0Ap %{h\ӒYRAU8zLRRzkE q2y RL$C͌/K:>Q3s ۠,N1Z-cXұ m.x" o2,Wf>+ 9UH-\)}鿿p (nfd:RL"n1ťMXV FaWBm#)-wQ5`Ij&'C9o /{R.DqTRDRi1c NZҒ{ =mt=4d5+<ZMD|Gm^ht߶ÝAiBgYZ7zXZִF! RA]ŗXi%D60oR@'E8 E#kLxйd+(geTqLzh8`ժA B> \ȷ|ʷSjkU/o埼=(a$r]Hi"b9' ZoJ\V4d8[y}.CDw/Vɤk>X;I=%?_P8ȕcSkeŊ]Ĭ`vxY |VI+'M߫,,[PH\,x̡uɌH7L AdK1HĐM\2vb r.uI"TC)J @Vs"Y5Y.wu SlMT))b՟hIQKxRn D~*Ba,WILlN&ilL7 in(mjjm{R:-ZZk[0 >]2)O Hh^Xx:A}nyQ|v!\dYLcLlodQ4$m3( aL~"׵5S lҲeĀv>Ռv  FhLERcg&z=t*Gj`wJ&(lyy. :Lw*OaV hX 4QC Ȓ܇g+#q*TtԄvdz{x$_7P$Mf6D*&£0PEV̟Y޼%*G=NwE2+MTpwRQ0:#:7NYZ$lIYɭ?FN)#(bK*KP>Ne-Zn+9r"Cqq`&?زr?4Rк%ޡlKR6)kbx""!Uǘƞ!ve>^'2l4+B=3bqΰZ@|'рzUPo8T/TN"+~ˠYL> DHL4c VS~bAJ|;\g\9X:/OiHY3T5 W/~zM8z&dD) D,z5*xK`K8:GUy DP=ӯ,0I|4no Ԣ¥(j|Z/8k DɊ[-/~䨘cnOhtGvթm =JysEmK5dٔL9-(Z*Huθ LCׂ[ntMͻo2t/aMp&N9HЅȜF}B"WU$ ;E-]lިܵ!K|=c* 6GJD^aGFO+Cڷf}'iTus6D|<9Tܰ筃Qs.b붚2C[2"b̵VWp,+vcCjIyijul+Zò2yʆ Q5Ծh3{F.ܴQ雮)ӹwčJKKlˉv*O=&ni• ^ f|ݠ?G,}F%,/MϽ?1vOag SМkP4aӬJxMZu:x*&X# Jc"]pV=~6|~'N.CW%#d.~5L#ÚCV!Mz0+Tmܭ: )IQpQ&v Cw=V2V#[-" H2@ V>ݼ2WenRzV`wNԾ޲2B'%cRׂ(<čUTY,6[5hE/`iŻF>¨h!)>TT]-/e#$ CD&!~kwgFpM)hSxxX:qJ#qTΝj3WS/(~΄jmddϦP4J aZQh}Bl9jL#7]]7jk-$dgbɚGq4Z#{xCk#<]]H`,5fl/4 3yA^;k:ك=5x߭lFb:vH釧LzzZۏx5b٨MD`1lgYj}. '0TnDBMFQI5+ 屃lxu/*XOoJE_*|ݪxf9!uJ\Xw4nA1M'~L \^GXswK6QEhAWT曆Hb<8%f Ȳee^9%xik"E ZrZY]=ȶ̡`C#C!lT9B* 88ZhtyTd2@W͟)uhUxkB%*n@tD ku HEɁݑeAwIyxqn!Ћ"G=T=Jdqζ#Η5g֩ vbyFUEڬGaKIɔ"DªN![Lmܯ#uWaߙT`:Fɛ 36(aS2qWTY84=sC9.:Pnt \cԨ/ذjX[~:FG^y^}*c3 HJ{g8 [8=aY02T 5-IO}l\kcgIAoWp3d /Z"vMȦ"Zdф:+H;B9!%0?WMY&d7J [95SHi,Jv#u(5"%C%К$rT\>86>\'\T%ڧ[@% W+|>Lǀekg'- TIp3"#ͼ J6`;Xrt.3HtS3)>w]/m|QHɛ{"] .a&?clfc OD~,{1VŎ樆֞7y;wֺICpa u"Dr8?>o|I,7jLnZX$ixf,O`[4:P"@Y8DtoŜ@T_އH{Kq)FlJnPZ[UYC9T;g6&)rR}U8"^2-;4pIfSW5Mi@b 3nS~c'b,c"fۈ(?M"-vj],b-j/G6$Vj(tnpzYJ}^$l;k5]p>e-Z7SSbk+5Y;4tdPA'8D00ۛx;_!7;7 l:PX3*RY2Y/PVCy\ &qtB?_* nPkL2zNW֨IoG39ֻЀ[\))]vNCƉ ?)wDyS.$;:3 9l0&)mo3"f5ɟqdؼ=)ZGⷷlB.!^t5%m^4xoPA侃hKZ2d!İ<6̲b[wMgӨ^@: S $Z1pAbgA=e'{I#& K7!1<@:Fx4#RHy 3+f=,~4/k_\zt/|bkA Dp#/ hh|3 1R\|&E$?,:`QҒ[* ̃ qoӐ~V5t%C~rx@0ªB~j9y*<`E(sS.Ӏ295u2峦ɾY>_Iz~wz?;qnt-5<(^L4@Q4+2''QI6~ŒegP١* :Od?8nTa3)&)|Nq!S S8G.g S &-1;4!AW>ǂB2%^7)Ba+U; d#wnU]Y!]E<7YoEЎ㐭5B179K_aS"dL^,dmkEUkf1ҫmx/]`zxTK^oqApyh}+(e 8;#k\c\K0@҉eBdktRC`(O3vޮ}(Z<~f$2$Tbe@e}6KCi8?8 33.GQa V;EAj %Fc:޽>Ku+<.VZdBg29Փ)/@:@QT2gG$.*_9vaaѨjy#aXsfI&;/uu,T~t4|ŵjשS3}|y }ٹ ELS2tm1,";6 }qC,'Et῏л.g| cI)VdfRI' }ɈL k)S:КSaF7t{)BMW`)@1I*ed\p>Ȓ( HחI BG_N?1J(4~@Ka:0oUlZpثak1:䂭CP6lg.9MT 0L>YU"9mNo>13 8Q F[DOtTγb*wnҒئrȌ뽚ZiWM5χRQuD9MFR-ג_t ?n:\6;ο LCctr^g-_Z\ׂ؋ruP>_WK8L$#^1b"5`";M_OezR5jTLv%D`㷼B #vQ=[с͎Y(>ed%`kw #T@R<@0yU?# L<;+5ws^"9s{{&-1H8o)XX8[b1u'2IBtq [Pf{ۉ!K/k0˹.ɬ ,ԝ` Kꀸ \ýߢ̋~gV>S¹U:O{-U^66r[`U~ɚoiҧ1SxW)DwK]/:^gvV.Bâ5C}Uí2ɵh!NqD{#p; Ҫoqm`Q] $۪5tC l_3!9C:\,"EZ@i+l²_R|@_;ΚչxkQ#5 u ޮR _<}+F⬌J`uKYkT=``7:n&G+i.\+Kc:ny;;< C7y'>o>*7|aA:zrGGZd8`0˄Wi7I$]2N@1 7<H*^ĨB)B#Uu-Am,Gx03ڝ#-ob̪>WAj!@ ZHlH$6Eҥ ώlq\_Ac8J!mq qBtQ㧤DUYuMXdLTr-ahGr2% q3vV$GDb߻H*ÔtyV_#: FlYbMOh +o_ rN O溢!ɣ&y`i;YV&=vNڏeک`%Mx`jaҎd,RQoi'kb"Ƙ)|r?%s^ !6x9Xqk,Gv~oC9aQ6guJ &.!Z`?6u.?2ޔK)FHܤ>7&R_*+3*lodNaG| QvB{zF:_עf~'$/|(V߸I0&& /x-7s?W@V+"wy пdغ]i#jnB` =J8;nXUI$W#h BYI t0blF/?qc}ƍƃT/=+cv['&}՛ "T?kW/SEffҪ?D`C`d4oo(NFQ,`tz ogu=8RB+5kX@s<y@6 gI/Ol^$4T2".]F ٓ)nK=WQ'<ey>nT-S%> hyL1V-<`Uo~do6ҿN 1j+ :[C!tskVY詫/~zN~4т O:Qw@)o2 MDo/Ɏ: S"@G#XZZ*"RpiTDG],1u+e"xbtMf..)m>aF^.<4 t/+ 2jF~Zǂ u+21yh;޵T[ X-"t}9WTi%t@nͰKT7h41#EwqҶK lw2NtX43 WHh# 8vxtm`4F> p*tQwl?5D՘i!p+ǣDQV4Lbѓ^mL'UwU3 )x`34(+}W\InP͟kO~B٠{D7S{jHyDXbfww Y!`4P$5irrѯ43 E#6-` (P"Um$\J6)o=ӯ) 9k;aQJ[khWR+ f e"=aθB$hE1r{d}ոqnGVha 5h'[$> :oJBk 8+[Ԋ՜ĈO:\+u@WG~D Ma?4XWZvr][Hd#bE<9T`z&2 8}PP{fq ATB 7uovo_߾#qľ4xKRz5G+33 UPp `u%/Bum|Zv!GMS? jS?l_O+y#}9m10E7ZDsgpx= J sad|hRن?Lrnt > ;sSjғ,G3_l4ۤV _.eBKUsd*eb+}Sp;lUbzrBm3zFɁZd2&fיٿ,þ ?zk!Pt"wx ^$gGĊɞttB[Zr8z06r@ek<RG)NRsvG1]J9I3cumV2s\S,WjѹZo-\H}Ύh.'O eX7 jFk #=H  ÏC ^S2U(jg: qx}@sCRyZ4HR$qte -G2͎\vj.?1srTL:36H.q& lD oڡ=P Tyj!wWgy( Fkc5(% +q Q\ {?XQ߻Ly|_@J:1O {/\@)Ts;Tm[I/ˠUs%ŭO0W]}'gPyGHyӃv3q"?OKbe"F<ǡ2|5[隼+*DI#^Cr{ypܝ\ٍ͘ ?usv[mvb1o!C~P\hu+!*؂v7n@='"֫WStK( g2͊_*qSÁ"&7*^ l_OT|̓AP剈v3Il>΁@¦DYfgsOCUGbNLT ~q8|g^߆N۞_(b*?rbFKFdTZ']:2y0̜ )YZzҵ|E1hy{Z/\]hM<@ ~!}<26xsąsG1JlfU-H̰N1;H|;5܀!m_UؐTfo5Dv tNwcWYJ'e&I޷pӻ h͋_\9_tr'S?dvfzdB|u ~C~u{)A_֣i6p|yzJK7Kwj_x^2XVc@O㵮 tT/z6x/ʕnvuY1o(nVN2@)8xHnxY[8ɶě9~=cE;9MftKݨW5B]TÄ2+JNA0L}ӺAhR,<_w-U}@7#1D2zb/pho ˊ 0wd  Z9iSʹ|"ƙ[O>;NJ,'0QuF}Ld."{$~qBF1s%(/EI&L(+B2l=?5SjUxFUe)Cwt9#>v_FWC3g2O` .{8-x@`AoEB_, jtJjQjrdbXMYnV':yNlU@! אP7h&82nس]@߹ŝh9]D+"m5Yh(jݬ:ʍ1)|/bޏto6Dq#? V!UD=Z\ey,xg4 yIأM\:XtPүMt8q~1K2z=l&DuEc _87 Zeˍu7{]cԥ dA48xX5܏IrLhM+w5&foN8k~&{=aʾ kJŜʀ QwA-rcg[s+a|pzw0Z8 3>;Kٲ@|aby|mvoiȖ9*բW&|[)j!&,끞͕+,Oѫ"iD tS_)Fƭm_L=i(4`x>=v/ 9Iu0I~E@vvϝFE9pct ͢7Xq`ăLK|?_+@B,؅ :c,x^xc Рxߎ298 c"E>݌dhp 1I]1(…)6ھʬz$+cu0300qq<ݽIPozAi8Qq#\=6"5-ėuBIE76q~p "8p%|jGsP͛}KP'5'n8ro/‰[+.M+K-SGn֊Z[bѫ2+!/M^.I(})1 B.tGrRʯ2eR_E HlܰӕƵݨ[߫GbCޒ5X_:|[`T'mYaQ%9ȷ~qv_omEpc۟V0GmX[{6}1yڂeHG`] 4]oRH֑(}V} 3e4g=][Ӏ|;XrPrP LhjkWOkbQ*q yَzdI?!wYT`DmԴ U;:;Gȩ%P2dmxKuB闐zËGژϠddgvz];\:֐vcz␵Kazۚd` >9a#in[Xqf N#T {] UnΨ{6 Ü$c'LOUHb!.,SVnR6;21r'+9&_;K4f4W~#БCK:*# Kz,J2Je :ق5o)+{`^<ՑJyu'KjbyuAiuvYOrWIzJ>.F'el ܘv ?+{wd{9H..U-\yf5wiԘn\NTTk[zeƫ&,; _*J6%؊^ f]ͺmqm,n/ El+3Gxl,R')}}ju'o$nvްЎcdU+'ng91ۀVo3Q_P\H*'+sW[x[z7uC_Wgf{?->cdIiCi #'v%[ xY-dӑ5O+]Sk@o8 鎧wE"QyZAѳt-y1- ua^ *v\y@<>~]{j/:ʳ{5/oC+Ȑ}JcTB0R`"'\Dn[UYYh\Hz䒰|ŽsK"\HD^ҷ>USHE(>z{KQID; ) =^oNvc5„ 19]Py/!'n!fM4K~J\Y+;F2V8CK" & {aօ]^{&T-JS_c\sR*\V}30!SG{bw;ƷTҟ[>㠶1wٗmQHzƫ4'gjn(oƐJHրME5e1!S{9B(׏CSȧq^)rGĜkƂ{ڛ ާOVjj{8@B`:h}3a< K l@ sRt$]G9Ꙡo3%8|,KiRRphx+\"1ys 4dϲ+{Q\ g]qYWA`h5-+"(zPgĻ-m`~3!Coh6#ZA iCn}42p/ܵv;EUoUKGq3B<(N/ddD'9zGu; \H=2^e'uWߴj[ g@@X1'4nd؀^Dg?Z Tw7e i=ι3ފ0& rNd;Y9ҏICd\d`+&ܷbsWZpn%a>݈(A:]g҅K`]9Ju2 .KIޫ)5Y`C.Mqu۹.Wں-ŭR84'ׁgA9 fSkƅr/pb0Pv}]jR-Gr% +يeyQ2^QٵD!>(JNj?2dv%YLNϕ O wuSxA\AS  LQp ;IB3l92S4aJ_ "([qX"ҺF3g&;g"kvh-v8N/ W) )VT?h[{\}bjiXh6jӯNuoyHY7X9dL6:qj]Pts8|Vsf}$e)xfu3b$HMD! \Pİv&N]ojmbN7̑4*3C" d-za+yӸ`1O2o6}:93]5̛PRc~`b&AYӄ1k|}wFsu n BM{3ۅ3w+%& t~Ė\ٲ# *gRSXFթ5O~#ˏ@Wn9*6Ti^cy!|PϬEӐlzLeZG(.o{ETx"V6_N:paR>BҊwg{GB i݅&A__jue]a=|dBY޻bsMNOُjy'Q >EcHV \ X $ݵ[|KB1VeƵ&**"{T]ɫ29iLR!Ibqg2.bӊƐS\ɴǝ5l~3 P~bS|o3*GB2.t/bo]W>@}u$OWyf4$99%t;ZEп\{"0;=c@C'4~V ` x"v< ~W`:b.k\{ 5KRҏJKktU<8ڀm '~{y-(L0lXhEȎ"rW 7"p_9v[,MuE^Gq`e(ӧ7zy]״b.3h)^cCxɌsi,ȇek&#QX0y</أ&cr,0"*gmVz Hyʷ7G>!sexh0xW=cqZ: Hxl9Zdۮ}'V< 1DIv2 `HS~"q噁 OQiq0J驼@5·jl?Gbe[#,6q1g;7%7Me}lNAOЙyA J7 h}*vIIhw5W5nͳIx9{?QYL#?Ӆ5T>Z^>i^ ) aKöB(Ξ([ Ͻ0G#\`):5̓]@\g8QH4ЏՖ}+OAcG6b*2w7Hg?ѧAs|n3}i"|ỳW kĢtG'hI'+Ez܅̉N]65&Z ۧ:AbN?wx. ˫dfR>-I@U8y!1@=6m4ODU;av?ДB}f=_R.٬j 8uxWeVNUEޜKsb4Fhv`nlc#'tAzf6.*i}7dG]}_%={!+V@E{b H*N2mFW9*u^Ӂv~zYxjTpſJ slbN~xMi}wtSv G- #~z(-mS3xٙN7u3NdQdnl7tn&Y^|q3|4n9}^XѪq u,*$znD絎θ-|{j;Jњ=TS 0)'"MV c:iݨ kW '[i\k:H*b2(ȏ ٠3h.ZnY꡾=@*۽;{P)xMpGѺpʀ#H>_mpv~0xׯIVZՠheC\RIMv @TVl(4N$#I/ o~;CUbd/h 1m{n*Cvo>PIM׾~n^%yMƃOalssVk]T`mğxf;׭8Є$֎`vƛs &kvz#P@0?*% ](;Sπ׷)Ď8)ԡu{:q`Va7t; ?} Fb%SEAEAMalAӲk h oRgs@ZO/res7Իc%O! t}=eLEVo%_b=/2}:3@٦}aDWm[,WS)R$ܫ~ J.X[<+63o7͆ΐ0ڡ^d%a4i0 {:?p2D^]^m:K kќ,uH8nQ?gOR`lQ~Ǻ;,U0[ |dmzB+#[t"d !xk9߆Bym/aɞ+M8,P&P$Aqzb7`\eɦ$Q8+@1;\XXGhox:+eMָ`SYto+5 n Cu+ތ|iΕpYv`$lӘ 9c~wHR +sklv3W8=2Se/yEՐQ/)w+˖*} \H+voՅ$8eCa2mLh%[-x aFJvTTݾk&G̾x hukS ùPsD84Z,(?uZA9GB<]̩A$cK#?G/e9KZhl+^H>tُ&8 #*qIs Ȳ^C(d?V;1dwNg>{ݤ)رgYZ42341e4ffa17ef5a1d5eb7e6e139f20319981a29c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 3a506b6c9a8b73e1e3ac1c2e749103fdcfc01d32 c0f7a29826da7705d728a81fd941f28b329f00d3 3f0dcc273ad8cd171c8dac33a020c62b6c626de3