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 Y'z$D\ ]% Algebraic_VCs:threads=4elapsed=263.842cpu=538.804gc=40.9207zXZִF! ]ŗXiɟ{<=4RORv~1lx9;zKtqX}y.:D8r IpyI6ΪsNU`9!؍!R2<{ZMiʞq*>SNF@EKg T &#-k^,u!PkY,@dKSaxHDiq)㺕>[uT"Y@lg*ZK#N- *0ҖYS_h?s˦O.>wvdg:wuBQqIfx(ӕtcW'` , ֚,dAµ8ĴJG~$4TB^TZy^*GzP J[SBPZxS֓/P]Ah=dT%ۛ~@~sT6ѐo=3@k#q=O+7?j0챾(M}']-=` nR_$&dͲ ` TSkv!ߙ{WrRnժ>.\޷ vnoLM}l‹QFTinо:iG#,Տ6!Ca@TYBTQZls¨`6]En+IONe ҍLoԎhCp=͉sëfhy v~>['NS[c_`n^¿_xO5w7RAzv q/tTXQc!{uqոkBN#3@XQ.û| lĐZ^aOxX[S2,f}IR[W|+5۾7uqk䯮llt 럡""'DE;#*'I WO).4<-#PVH#_ߡQnׇƬ;! ҆mJMssl?Kz%zоGIW&0PX5h(`<~N4zxnhF|uOf~ ,7_1kE.M˕2/UIK|y Tϩ}vh?lWᓶ}A=Ap]p̂GI7!>!bVFaPb.R E5=4+EO6QJ>$sCRmi[,85$5ȸ@~Y >ОH%Cp#okB_nn&!\H]?>Ͼ&:A<iٿݎ 6f+]>V!yCeϑ]m*ss0к$υH!͕JR Ұ*[rbg=V4_4<7 e_Sv{at\܌/5~[ 0Q, nG!4Ȗo,8U@#g*P~h,1K;5>-@˟[]$ `q ^NJEwavvƻӭ1ZǞ-|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:ty*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ߨ*&%$#         | S 3  m W 5 |l  D q ?   ?'M%Algebraic_VCsAlgebraic_VCs.VC_KAD_wf_Examplesdocument.tex8'?%Algebraic_VCsAlgebraic_VCs.RKAT_Modelsdocument.tex='I%Algebraic_VCsAlgebraic_VCs.VC_KAT_Examples2document.tex='I%Algebraic_VCsAlgebraic_VCs.Pointer_Examplesdocument.tex='I%Algebraic_VCsAlgebraic_VCs.VC_RKAT_Examplesdocument.tex1'1%Algebraic_VCsAlgebraic_VCs.RKATdocument.tex4'7%Algebraic_VCsAlgebraic_VCs.VC_RKATdocument.tex<'G%Algebraic_VCsAlgebraic_VCs.VC_KAT_Examplesdocument.tex7'=%Algebraic_VCsAlgebraic_VCs.KAD_is_KATdocument.tex='I%Algebraic_VCsAlgebraic_VCs.VC_KAD_Examples2document.tex>'K%Algebraic_VCsKAD.Modal_Kleene_Algebra_Modelsdocument.tex6';%Algebraic_VCsKAD.Antidomain_Semiringdocument.tex-')%Algebraic_VCsHOL-Hoare.Heapdocument.tex<'G%Algebraic_VCsAlgebraic_VCs.VC_KAD_Examplesdocument.tex2'3%Algebraic_VCsHOL-Eisbach.Eisbachdocument.tex7'=%Algebraic_VCsKAD.Modal_Kleene_Algebradocument.texA'Q%Algebraic_VCsAlgebraic_VCs.VC_KAD_dual_Examplesdocument.tex 8'?%Algebraic_VCsAlgebraic_VCs.VC_KAD_dualdocument.tex 2'3%Algebraic_VCsAlgebraic_VCs.P2S2Rdocument.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_KATdocument.tex3'5%Algebraic_VCsAlgebraic_VCs.VC_KADdocument.tex<'G%Algebraic_VCsAlgebraic_VCs.Domain_Quantaledocument.tex2'3%Algebraic_VCsKAD.Domain_Semiringdocument.tex;'E%Algebraic_VCsAlgebraic_VCs.VC_KAT_scratchdocument.texD'W%Algebraic_VCsKAD.Modal_Kleene_Algebra_Applicationsdocument.tex:'E% Algebraic_VCsAlgebraic_VCs.VC_KAD_scratchdocument.texiuKŏ .|~2R1sܜ6a5@FϽh߭4Xĺ_;nӪ}f|MrܨQ>&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 savbLQcog-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ث#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:ѱgYZ e e '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:ty*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( A'E% Algebraic_VCsAlgebraic_VCs.VC_KAT_scratchdocument.tex7zXZִF! M]A-MՋhvG"uIBm5^ c`m*~JG`zϕok!@vnYKO.:y}pAYPCY6. 1V#DiX4!Z(#w.?;Md@p%dɚ|;Ի'„Fz>exS([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, P@Bc'x_ƑBPqsP %+ ЗLp Nlذh+[D.N2`Z;m&haH`dK9>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[^&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 KM 壨}(.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^vyrWUAjҙ;`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,ЦkF@*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?`ca'5% dAlgebraic_VCsAlgebraic_VCs.VC_KADdocument.tex7zXZִF! a]A-MՋhvG"uIBm5^ c`m*~JqVšX.0t4IС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= 9n~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*!"2gYZBJO+kKP|-?2ODQXGx7}P<<ڢ97i*%F_|PO]$ⰬX]xe,wO;Aq xupWٺwe&QwSXjJ+ g]j8`DWG-?@/s@zO2P*'LgQdzKW4q[34PA?Y]ۿM[oXnlv&|PӦ'ڣᐦ\(76ml>jeSFFxq~ 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 yy '3% ,Algebraic_VCsAlgebraic_VCs.P2S2Rdocument.tex7zXZִF! O ]A-MՋhvG"uIBm5QPyK#:=}~+YsHJ*QB@]:w$ Gv _vJk]Y*iJnD-.OHZuB}ϙNDC-8)uf5&H> 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 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? 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!BLklz 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 mm'3% DAlgebraic_VCsHOL-Eisbach.Eisbachdocument.tex7zXZִF! >w]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 j'G% dAlgebraic_VCsAlgebraic_VCs.VC_KAD_Examplesdocument.tex7zXZִF! [Pl]A-MՋhvG"uIBm5^ c`m*~JQ>;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 M>ME ';% $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]-[zc.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$wkVA%Ӷ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 WWG'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\'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 TR'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)'=% 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 M [M '1% n>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{ uE6gYZ"'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 J Jg'I% \Algebraic_VCsAlgebraic_VCs.VC_KAT_Examples2document.tex7zXZִF! .]A-MՋhvG"uIBm5^ c`m*~JGQbdaޢpc _R[~1^!Ui׌ #KdfYR=k-1[gib:,=RLDm9._ 16fP .C5o7Un2JLG_uD.bPڇ9m.9" ϐd!AhJ Nt6 #uEF<䒢|QH,Y7M`!C8 U.ڂpc(BONtD ،'K8FfǕ_IK Qm%ڈYBIr?GY|ω BmMdꀯ<шB(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 :'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 $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ʱ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)Lx OЭ|-|N4j`-<b]ir;Au#6^G[%@tM63Wv[GXߍk6er $~'.R/}GЈθ}TH \aIۢa 1*cOb5B`q YKqP 6MpnEaHz@iHVA[& ^]5c!nKxvN\G!:Yjf*[N֓3esAwޗs%",3=0pT4%"Q}YAb"@49o@ɜoo7!Ӿ"BA~`1%!c-7r>HKDz K&y| Xҹg"ړ=T$>x7_"K%TF=[ha!%qX}6Hb0x-sMADU A$p _6vvXyUX`a2}׌`+15<"# "ء=gAE%  ,`z"~ɴX^6a{!J[@|Qa_Erd%ʂR{HsCarƽ྄tR!={MV{͑*V'I S09yWUˍ8nfJODiL@{:X0{crL rsi|ijkbâ\:g9$C{#?<?m`(m)i+g-v+4emCB]|>: έ?4OvgCFY3N ik43.Ц?J>Vedm5^~8 \?"v_kC?xTzׁ[j@ ץڎ| 6j%vKEq\{96h0IQ׭5ܜ Hm%iIxӜjbD.0UKi4סSરjZKB3fHa0@ hB %cW+>%`773{M!^7r_|n2&H5L8|pm yQb*y/ u%A>+dMj[}s('=Ô*ai½Y!O߈8 ώZ˿ CqdfVv!qN3@&2GݭkS\_ꉙVIP}i նXɗNw<4X2XF 6yg3_I~U#vCu42ͧ?aZKa慬NAZ$A3 O֦)`STA׮ѫ-+i\,UkaBgYZ7zXZִF! Se]ŗXi%D3oЄNz9r܀JR=m8;֖濵YTajIjٮW~V%-"/PX) i}aQXR\33C=yqz,aWƁĵd?g`N.Tu;҄6BGp4CzXz&K9:#R@EAu~P[+^:_Ү(vd PԤ=f+v`w’۫wZpaSY/s WMj =9(YPy|Ufl=L/d'rh17ɨKr4s)"|~elx')0ib:4&y9H]m5212. eoaJxRO}'-C%ZA>DScD Ot=Na?+BH.[h0L=g BE+2SC,v)N~i "dwzbmG>>=';$.g< R", 0QM`⓭~0+F囹]i~3ܽ{ bCrm!.1 nȈTFS'1kU*T+l[;d"`ƨYeEγ8]KM6adlk Ii& PgQEEq_,7B#:T&X$~H=+Z랣LXיk>^4%#C0Q&DZu)$?GϢoJ P4BI >hI[ʈ)GO'x6QQ elњw_Ui1drBqnN:ŝbP9̾jcϬ9"^[Gټb;%0SmkU~WcdK[Աz❼Ⱦ(-32㺯E-vIoo'~=fk# I=Ż JvGl !mŮ˗? #" #]>tl.RPxtGd) *^䇻ñ.UܩV~Wpݟ 4.e@mCNv{dN(kӾ68ԙDS];t{>?J}bz0fM3!0yyߐ ړΞ{qߛz3" W*F+Me'`{C7<#1P '{+Í aZV HLS 뻨r>^"lb[zRP#ޒ^:D>;Btu] a2TRè[&1t%GRuUy`g ~_$AoOё([؇įp;]M\ec8x@ `=mjEH aG(]Àr̹n&#P Q:)ڍxURv"zˈ˶h"팲p՝1km'!:2U$R{Wv (1$RVA 'Dd\gR& r&T>0ݒ+m0ʏVΎ-*gYm՜PB;W$6xvZRDFDlSɽifLzfGpTZ3.?“6V)I)S}ؙ[%PC?DZaI?"g]%nJGry 1嘏6'b@91#Kt;MC>hԸX#i0mBGƅ8Ѭa"-÷p})k gW5( Y#hnpG(- x&A,fUHRqk_SFKݥ# 6(0 UUY;}*DADvؗ#DG1YEȳHO@d" "&Kzs%,!C!q븩Q]ʧP2siV^ǭN휤ibwPyYTT= m{zJ6) bgtdsrxc3/Ѹ]k#o]#_~?y vV>N/Ib Kn@ Уv]B%0b~pdl )slX/ctMY^LД'=)?D$ {eӎȓWU4IB K)+!c E9@(-&Ju UEp(i;r==x "< qN3;E}rN219d}.H6:añb`}Fr37=Xx<_eUE}斂/£CBB8(U^-)QmR3eRH'=t*% M(G7L@EyŒwTyo!t#\~} k%ZJ0l? Q_ȂN6C'T'o6%kZbC,JݥFf˪'%ZxR&+`XTPH, 'DVGkt¨(QҴ*;|jaw֦ƙ|Q2YdH(/8c ehEz/'ڠ~٘m>nSimKɨ&MoiwK?B'"9p:q)>yE4bdYlOOT| 'húrJLΒ%4"iMv> {'dad@4N'3f{v y_ @ p|?҃'AK#"zeDFx{3>avW+ȃN5zF ' 2e, 9rUbs U-KH0Q@biL+pKE2Bo7y kU<ڝifumѰx1Y~cɾ9堊ƪt1"eqC10)Ɯ T:!kW`DpQ7 wU6p _]@,hc;OqgR~ϽU=߇/zлaq PBD9CB JNϳ{2j!W@.ls}J }5wMtQB)sӸZ-NUw&BϽ.[`̱t 5.moF FB Kƴ ~A!`2rE# {K d zMZz352t tҶՒxIkE;AjՌ/68LSYXpDSΟDV%xax:=X_8g C7!ˬarm ;?d!vx`ȭkLE )˫@g|wX>XDY6&ԃb-AnX1Vr? ̍sjI7*;)1Dl9IJGHzM)+Vº3LHݎha !j}!ıƝ8U@ c@%:w|/k)YcHھQTLL`D{9Vea֠ܥ>s7u-[vkɬ)&Zj.xõ<00bKOwy 3Je+]t=_Gpc8[oV&QU 2 .8_V>ӡK ˑT EgHğu,#'n;@[oB+vԏdw%ilr!^%hL2O[ Ԉe˚ii"٨ak/3 {^K;6Ǹ`EakF0:i¢uo]K(iF&*n:.oq!接L7ZSyڈ]d[\a~#v6F3f 5.*#1OS83eY!e@nֹlNkWHw[˵{juCy_kl|)'J_.'>&T':X5I~?>60d} w0 ϖqpR {Bj\fND@Uh-jiFi#4<CU]3e4kKj jnx[?Yۃg% oӄ>٪gJ6f>ƽR%),77n4!$%ɬ٧$(˘4C/V-&;̝?ǚe(:(#79gN|MdzP~H7@%EP{x8:>?ɘ"%{=>"'gOOP5T0a"k#' J̻3xv–j $,^tudxLf\4ӧ%~T=? W ݯͮkHvŰX x`t pT#hLa'Y0F>2|4:IirKMl1w44o/x0p?8-*$AƪfA̦(Z'c?$BH(sqx4OUT٪N/ј6:MbXQCNf:&zⰧ%t -W:{d.ofԢfbᔺfM(;9Hg$.L"K5?j~YQ mm2i$gȩX/W tnC6VcU":v wo-#`ZҚnKXXMm΂/&c=2Wxّ,SDVԀO­z!xZgt3}/c޻xd' nkM9~HdB9!4$X{gٴPvH71cOE٠T<& *P{_$55 ty!T!ʺJ/mk1XT$` <`H3ėy,Ov l.:W|.EDڛrglƒ-@* 0YgN@Axolϻ:5-C\Q-vGi-3:ge_"'iRMa* R =3IKAJCgwj\TC2&ߞz|6~Gf־|hj.!s!B:|g4#X* Α?N0E(|G2>D򂧭 jHѺ/ؑC9s5y{Pp)DPhAA;j ϐkWsv!ߊbHV WJt]ȥ]GE4J}Ԩ%0k623coyDNzh<4\V&̾VwқmLA{kZoyrK`YF B1<@ ƭ"rGg[{K-Ψ(̺ } ܟ.Y,iQTYDY$p^,B++Y}l]mjLT|H߭>R |"}PjձoSxP|nWꄜ[}ciKD.E/dO\915dJ dî;[6u~7,}\+aqBE ҹgƻ w.OgKct÷+JADgeoM6%DGƒP+ A `?Pt%(Vx1"'Xtk]?EGu2MF#߃ur+ xD^!H*s#I_OljrʋQ"b8O&%˥d{&R@Uj1>VZp<+WWaa*Zqm#Ҷ[ފ>̶%2V\tp7KSH:X~[g';~Zs"P\f2> t8v$$51qX ăRPh'dFA k&l6fͱE]Z-O_A8']Az>DEv<.cx|Zc,zgUoլrɗk9ؾjWub ͕sĆ̕j 5 kf۔^_CbN|1%ljt9 oBuH"rm"]UlKG~[tTO$G(6'#SqIڣzsa6~m];|䐩Yc|ñ!Y[-VwMK&ffk̓e-}hC}3NVX SEO)}Zj.wD.Vk>Hh6vM}ny+)pLsjhmeǨt X8CH쉇XȂWs [ޓC&~ylΫް_}δ6r'grKX\=gl9C3yKFRA#aMBXjx6jy+U` ]޾.pP "pžƢѳѩ _v珸µ=ƄW!WZ_Ҍ|`ƓO|>nƐѧ$q$Y:Z4F>a܊YpG{؂!BhX,W<"67pn\hJg~yS*fz_v[Bhebap],*:)g:uU6u|~?HJfhGuY <,'1MǃenEϪx8W4LyAHIk&T'0B{ɪSG=?QUi.Ec&6 /S~t{8:#qFYr0nS&Q(MxD)jֿxƕ}ؘcnb^3=U7B7ALivh3ʻ/X>B-r-̡kv//%?S{Wp'Rl֘ X_rsl_FQXo㵁 tr7pOL׭\7C$FQ6{@h[%$Q-9"~ /)H2h|TOsY(0-E|Q|AT"gn^;=9eq,8ma/'aM]y1 =ߝf0 n fV4ZxrdĀ`R\TId=yn;E.'{f${ֳd9nmfSCOѰb0tٔ${Пu5DBS6ĬX?fA= ޙ"4%Drx;0Y9uK]]q9It~#dLmLO5˱.'*O;l*G~lpM"L(y\_w{[i>nJ 3~t\zVnazIyV-/k 0 ;A3 DCDŸC_7d\w[ԏ3s7.-zrdb]IKP`?^{Ezz-x6 =drqPo7q0;J3u6P04vC˾yЈ>g" $ʻv pܪ,e5 \:ھ8,eϲnd_G IW?]E*|P'K͒y5M$PZ7>SA: o $=c*O`Kwk;!٣y!3D {osvQ~#&Ӿ K֜V4(*,dv.DhwgGx5}}C$_SCeAp^w ,˧)8&GڶBӝq4jAXmF0YfJGmK.ױh$qKѴՉ73I8 lnDey%`< XÊ{Z2R"2ϟB6&wxGd:C+ kXM^s "!ڛQBvymZikΫG9ޅ l~{?)L,/j FhX9u +?C,+Y#Ȍ}L{@B&!$+'; REfjv5Il=yBӧ0x(${jU8h ?ֳV/kA*-S~xӘ_jQ=d[Bm.dY:}ȳФ]S?-\Ƚ|κ:H'mI!3_lmO Y5"6(PɊ,;pSOw+rlC)L @m5u"jT& ';L"?^z@>DrH`2c^n7=ySeG9V[eSC(' e]y 4 o}00j ՠ 3J 4a׵ՂKֽk$Ƒ~;ݡw(RQF<`‹f  |Ch7&hB7]NAeΌ&'2z&0Bt\ YXD/tqxe NJ)͝k~eqM [Ebl_r 'l(}ib$ K;Gf d&.^N*C\ Ewk> ;5bLIH#qOhn[&;|KǍ&2qK}!(6Ά/~-SE{&SiӲ@{$fu-"CA6B :2|")&gա?KB\My\qDOy"=v㳘٤u"[2kB?GӪ'F!k IyEkU)U8ٺDC@wٻUGHfTwdʕ4y斁%iTvƜY€ ZYk*,8=`e?Ew%R{s'qCxIߞeEձt닗1|A>bF +ўtbK`$ yܐa ϳG,^#!܂%yLXZZNԼLvnWgo<%ɡ?1}tvּl rƛSh,R.A1Pbx15@ɮe&`з63jӦ!ZS` "-?Vs:ݲ +}ĈP8e.`Z:O_=UƜ=/2Xwxch~BPy-NwiQjLsN}Vo _a*XgqeNcRX>+ S_3!d2Wm˟PhOѾ Jm[*ˇp,p`9|z mUPW_⦉|ɪ`rOP+'ͽu&ٱ%ݎGe/anɛS.4ݹhaevI~rFN(@ȼV M džc&ʡf65׫Q82 !;mY*,ƒplVp 9Nt{~b t> RvGIoZLp1V*E\anI9bm4#aAg}PM:g ؒ= AqºX1J3fYDjwB?N$(pjCxOaB8\ߦ fqȲr*ODj{=i6< {%j '9e$T R1Td@|=g㍄j춎[.\ >"O[&X(n;A>?:)_F:\Ɇ~U 3M0mGkVpPEYT8M!K7M{ka5 _oO_/Sc-T; PeQ׆ " P!ΏW!̧޵jmR[Us?XDjRG)2AMꖴdo#ޑS| <NJr8z :)e4s%I_/)SUY$vM}01Yղ"H׉;HXAu*[ joDY!t#`Tc)hzTe eoڰC^D1cfȈmcc#)N1Y"=HR,\M"F%L],EtCTg-,hsN BerͻbyyQ5_k@#{k>ǟ(?ȟ)YPe5sױG{?39+V6X"i~ cԪؽ/S *DbIjlbK0F'K4WT!s=狪9g1VvSi^"%)4Ix4>Q*p$@*u(Kc˅V?x Egot9 L2 )$_ v -"kO#- *a w(ۡZT_wڢ;ֻpM_g'>Sw~٠| =HdǮ 8"o }7IFnAHWtJ'8rT4r';e>ɵ/-Z}^5H7V>tnyb#i6JzC{"Ba#QPljKjXG;DyjӦE'2#p PؼyKh#^ru86i_GzIMҽn@#HmܡcI?i2ry\\^bf' 귎OB 1ŧXVp1!^oljhڟSwivLүw3?T =~64(b4;Y d Dˠlu@M2eS*O]{sfSiF!:ԭo%>i8Y%@f4m A0O>_GݞfCFɳ[OZ%vh=x\7ѓOPgg#^Ԧ-U"W4]Xi*/TDX^A%}@ƔK@g[eȵZ &ʢTJUmS}LrG>5r7r0H{"_sҧ+\ù(z6F5kz ogA,ߟDN` LyƚdWEP QYz$o$.@ n'Y^>rWMGVLDox*BuY*zo놔2(B&Uv-t) KsX[mSi#Xp/Ѿ2-'l]-oc{ W"DhQq^2Pjok0&SBƕ:W6ALr&_f(t%2# q.C?| qnZunW^В`[J ?F~BE. 2KP66hE@b@l0s:F p@qJJkr6ÌWBW_zOBEwl@7Tfq~`?I{-ud\t 08HHIT?I0U`,y<7ڰ3+x/U5e?C~μAh#M7nKlAŃfaeFzU:K%"7oQ|mV #)ݞ:Η+GYpx喹n&Ni P0gw@.fV}@H {+D2ΌMl'4-RoŰвUy&UY1b!:̅}JȰWrfl"k8Rx1 O_m>l0]l8O+9txLhA߫J+hZqkIO~,{$*NE :~q/s]8 6x ooq&IV0WtOqJi%ye=Akވja?XWmr[orQ8IQ'v2 C2 պAJ"!MUD 5?b$ Y71ˌcÒLxaQ/]{3+yw_]* qF+=Ⱥ˒OuW6gYINz[^y1fCHq|K|;{KڥBUۑ^+/o]2NF *!Xx&R];_-J+W" XLgpTk5+b#,RWwwҒ5YӀ1f>VBJ!b0qlDޠgDEzXԷ[I,,&,j]VK NB A]>t% ;R缑17*$%&pL#oȉwYbm~44}:*P=K2/ƝSIED c SUwU%pR53/6gΤ]-NsqY;V2Rw}8H :"1 AәS'HZ3qj*FM菵hG(*'+HMYKn$U Z{-nYZư[.F#HL4i[a`Zd.ފ$n@Avɑf\'p8!1ׄ (Qgk6}r0L)= F9_A~Ud!Ompmmp5TϬib3!Iv0SI0; i> QY]raWhAA|s>MA‘)`FԨ=6B㯮6=$4) 6i==2oz :P<,kԲcELy%ʏCc@3+K&.b-vrmV\:?2%J9 X'β[wL:44Ƕ½(+.QGX>P&EC0NGUx[ӟҘ V.@Ao~9 k5 Muio]Gܨ5y2L ^Cfڅ0VEBM⪷dEFFjnVFǰiOWT=ִ˄ ^Tn~pMU&f\K4`©b120Pa ݫ%\E@a3es(>I&!E'zB~&s7yiGD U—$iI`j9e~Kヴ- n~W@4`$?cX.G*ñ\ebm Sg,Mut!zHu!rSd۰dCe7૧j^T2YC&7sx(Uк+5V |-&>F cH:%sh(<-94bU-H\x4ݑL70IYA?'G aWm ߟKN!:(]#\B3/ƺos9TT_x\-[2_Hfc5F6'Wݶ {E)cCx|Z-+BO 1c@ ]o $#lÛ1f*=`5$OfZ6zd;b"kbSz݂l  qmdQ;͸u~z<(:H`A 8oK3R`8$"'u?IJRc1 U;+D3?=!yWBt|0nkz }bU5hzUbWoKQ?1!bЈ5L!P7fQ0~1r2(axj}/zn$w/,(o'ʮXXu?RE`X`@"F,s\tCxhɯ< 7rt>(Wi<ԣJy1ِsJU"Y-ۿ`N]{8mScZ"N6;rGpZ