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'zd$| ]% Algebraic_VCs:threads=4elapsed=272.938cpu=539.080gc=38.5647zXZִF! ik]ŗXiɟ{aM("½~%<>Y[ZlT^#5B_ЭGӻ0( SE0p0A ",>XQ|5,iB/PD4ym*tlKxЂ'}zMX7^R/! ގ$[(=3P sI?!hw3-@Ͽ)obK `0j7KCAw7d -sKD)Ə0.zq̸$!^{͔ @ă$AL3F>]t 8k%ko4rw3YDw8ZTRgME Si_ Gcy])ka35 zqTf?TM]M*B_pSŸRLz;t GKKD'Hsy%pR؋|vfd=JO@Ȍ]~Üdj<KL;aןBR2Fˇ_(&YuU_j/R6*m!8뷕RlEIVr@N Ę`j1&%\6 47IY'cѣ^>lLA!@u|+0گ k1l> CIxg!b(UuD*g㰤E˜ƍW}Em|tя쨥?&+<)R*%Tgg ?n.r.^vAK/5i nVEx!l.VbkVA݉h\A/k/JuplBʆa PCܽwƹztSy쏸=qt2+Y;ikm<;68xg/F5ݷ]]xߘHg  MNF1.|6G"=M%"8JO@%IͬڸAD {v`!D 0MI X|L`#8H`R?@=:WNI);)@(AU̘ٚnWuI xٯv)E{EOY,\}*Ա4눜jBsGq -ukw 0CZ͕ *pnykB.ǭ׊.=ro4q "c:iKOԮ*O>Wn #` T?EJAOd*2rm@6TM="LF2ρ΄3(>xQY*gGd{SBDh8҇M3@<5~8+b$wo nJS]wm;@ )Ŭ70كr$~z=E-U8-'V3I1[f]Ɵ$u/tq<'G-{\$n;$Gmm'Qu%hq񨲪 @CmrSLEOѹ)Zg \14?hul@C"Kh~ 6$4#$ߗkN~>?_< ] Oq1I/U[j!?dF8 d#~S-`T{2na ?l)UqZ.<Gfi9IwJBCN4mJ=,ou(9\ڄ Oſtpgn957/NPiX3f"C%Lr3\uؿƞ WV#b[)*b<A.-d)<b\nI>nVnv.|vJISEǾ'b"Ee1M"qOÓFO޳cjPII(|:ek{gn^n߱8h[dЈ~n;FaN}"]UQ4?}>.Zyxe I'%]NxY4{\;p@AߢpLC ۉD.6 {Cs _qrYh 3 c%G6R5 DS7^T]>iHF>)׉/ι\a~uHb\q쾘@r}_nn+.z֏K|P@(gMs!tQ(Wϩ4LD9laWE\(HεW( ' Algebraic_VCs' '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ߨ*&%$#"!          | O 5 6  |i q 3 ! M s Y?'M%Algebraic_VCsAlgebraic_VCs.VC_KAD_wf_Examplesdocument.tex8'?%Algebraic_VCsAlgebraic_VCs.RKAT_Modelsdocument.tex='I%Algebraic_VCsAlgebraic_VCs.Pointer_Examplesdocument.tex='I%Algebraic_VCsAlgebraic_VCs.VC_RKAT_Examplesdocument.tex='I%Algebraic_VCsAlgebraic_VCs.VC_KAT_Examples2document.tex4'7%Algebraic_VCsAlgebraic_VCs.VC_RKATdocument.tex<'G%Algebraic_VCsAlgebraic_VCs.VC_KAT_Examplesdocument.tex-')%Algebraic_VCsHOL-Hoare.Heapdocument.tex1'1%Algebraic_VCsAlgebraic_VCs.RKATdocument.tex7'=%Algebraic_VCsAlgebraic_VCs.KAD_is_KATdocument.tex='I%Algebraic_VCsAlgebraic_VCs.VC_KAD_Examples2document.tex>'K%Algebraic_VCsKAD.Modal_Kleene_Algebra_Modelsdocument.tex<'G%Algebraic_VCsAlgebraic_VCs.VC_KAD_Examplesdocument.tex7'=%Algebraic_VCsKAD.Modal_Kleene_Algebradocument.tex2'3%Algebraic_VCsHOL-Eisbach.Eisbachdocument.texA'Q%Algebraic_VCsAlgebraic_VCs.VC_KAD_dual_Examplesdocument.tex8'?%Algebraic_VCsAlgebraic_VCs.VC_KAD_dualdocument.tex 1'1%Algebraic_VCsKAD.Range_Semiringdocument.tex 2'3%Algebraic_VCsAlgebraic_VCs.P2S2Rdocument.tex ?'M%Algebraic_VCsAlgebraic_VCs.Path_Model_Exampledocument.tex 6';%Algebraic_VCsKAD.Antidomain_Semiringdocument.tex 3'5%Algebraic_VCsAlgebraic_VCs.VC_KADdocument.tex3'5%Algebraic_VCsAlgebraic_VCs.VC_KATdocument.tex6';%Algebraic_VCsAlgebraic_VCs.VC_KAD_wfdocument.tex<'G%Algebraic_VCsAlgebraic_VCs.Domain_Quantaledocument.tex;'E%Algebraic_VCsAlgebraic_VCs.VC_KAT_scratchdocument.tex2'3%Algebraic_VCsKAD.Domain_Semiringdocument.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ث#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[^&-|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( @@1 '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 @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:ѱgYZ 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,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^vyrWUBJO+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 L =LE ';% $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]-[z0t4IС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?`c\';% TAlgebraic_VCsAlgebraic_VCs.VC_KAD_wfdocument.tex7zXZִF! ^]A-MՋhvG"uIBm5^ c`m*~JIT߭Iےd8 ng;(#S9+,NHL8`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*!"2gYZAjҙ;`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,ЦkFA%Ӷ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 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] 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 VV' '1% tAlgebraic_VCsKAD.Range_Semiringdocument.tex7zXZִF! o 1]A-MՋhvG"uIBm5־^/pS v(Di Gukf]b椿З|6HZi&uE^+?[g<Z@?[ f|Nͬ. 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? 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   ]'=% 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 \'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 gYZj'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 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 FTF '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)'=% 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 >>?')% ,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_| 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Ε gYZR'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 J |J/'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 (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  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ʱ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)JGT_68 .ЎpLW={XUJz{-}q)cyk7)AS] jV1vQ[b|RCޔDeq INr(%fZZZva w<32z#‚O,%O'*f~/U̫"yR# Ab ]vRjzp7W,\8i֥J£Lέ6(9RUAi Y7_?"Ƅ-&yUx0G$w`Q\o7)OAx& 6!hRt(%/UMoԛfn5y?؛(rkg ^Qޓeer ,2;%_)`34;кkYTYp|⦦|QWSn-.6[&0A|&2l$BE4"C-p]YDdaoV9o]n]t";g$?e{\`׾A6m_WFGD/8R $v]DqͽHzpevzR2]&rcdAEKmd<Xdp~“-'B5F mJ(K2kQ"(;<ԩy,fuGx3 g#X˨ GloC(QQǢ #?w0@|=. b[K9r AGR;Z''L*r9aznJ khqD**V~4=}kGv_wS&cFfwzDkDM^2)V}s~I:%;4cG Y *8F!׻7]andډM/.49!Ӹ~>Yw*Ci4kF0,- iP+$1ᄡysQ_>wt"FF.ԼtkS)6s>ZFSj‡փ)gYZ7zXZִF! L]ŗXiɟLZ+ǾtHIKUhS=W/dfqcc2P1E-S$;I3S4G(wj{:rqewSd#oӈlV<$Lϓ+i!n3t xh$tmGwvk_>ʦ{s>8& |*ϷiF 5wϛ0&wkNrHB=GwӤDIW~zs sTbAx6`'B4ܳq0ΐ{R(/yZc@VV8:8#17-aGR|Q#*]Ypjȩ+M^!d?e.&rknoV'XQ rhSV_A8;ji!kfI5NlJ׭J/ JJ#W©9L1X}kP6CA"UC'Lp<$7i7ވe 5,ixЍW&Q+iI [K_w3NJI "zs)YXMPY%1kd$.)EgA嘑\Y 1_0֨BD 6gfArCK"/W+e &^@--pccFO4{ǘg 0c;Φ|u,i8ҡCm_ qCS|%;4=@[?jke^$7ѲGEu{Og ۜP˽RqʳJyyN kgRP./>S|"lLOtG#݋T^!ٶ%ǭ!ruZU+8@ !H7=ُ4iҶPM+S.l$3"Ibrԝ7iv.iU'ӚvJϞ\{D)9qeq:6Tq2ۚaQW6 ꛻1Q1DS@!Ld}K4؍`fXV$y'6.6kCfZ3?,VJC$sXTt9OĀ75zO{Ȋd_ f7=Rذl7I$լaI|8BxRΆá3WփtRW/< kߵYAy!t1Ɂ~* @ S{6 5P2+Pkm P/,_gVqzCB1kVj*T]\wJi)zR hyp-*Clx4 +P#cE'!f)xL+f&qn <n3RbX6U5As2@)fLN 3ZJs8I.h9F{w bNA .jfr4LG Xܠ( qZ]綟`NawN5(|c@H$͝)uF aGL\1h8jĤڿ D߀9U%6( > |D\=>G`7_jT78D6=|,d:^/Y- WikSdKx*Kt2;0~l-,'=m5Bfi?缚o΃Ia<ڼ[J|Wel;?[Ur** tm#X'uK,h(y=oQ!!uB;< dc_-* #HQ?nbh;c;j8 `8E3-*mVW} /.^n>7/~a[2Gc/H=g=hi Oqe酉)oUo<Կq&Sn1Y^а @T JqwcSA|bzTZh:e).9ׁ i'7 ix)J>Ւ`_!NzSi{?\4ݦB’K*Jcɛ6e`f. =}94i.#m9;] gnFm]^ս;(c/\v͟eg ҹ]w_c6h 5)?FM.Wҏ6,LRWy?}7a\i7[M6SK%؄|q*soUcIPD! { ?"0Txr@KNP OjdN&c6/`m@xETNǞރ=6 :Ua ]]m҇氾_wDX *tEOkX:lnfEْN;RSiXrɪ+}Nu.ؖ. }" lO9V)$#&6Wb-1}#⢝ 3"4d kh/R7O^WUš|ke㊩DaK #wp`5D0=sbGj;$/3r{[݋+gO<,'xErbTо$  psM4P t]SRJMGOG=]wqwRo!Iݙ"up;Ƀ+Suz^̀W#g7OA:7b y/nvr? xSh{d3̗3G^PZv/s\q4 ŕt}Nl9]x/o) raӵň<dB?UWI0fV8I:.3,Wٟ|ms*_JTPq& ~7+И8`>;3L}Qg}r_fdpb'jSa\bDѾ_l@&װP.%~M/E+jT_թؐ!h=,k/Pjxpaʠޜ𻑛̃KyuOvPgޒ3=3vF;=hϟGH9;E<ꭲu'pH\ N{v¸vcdz'WUjЮAZ8ߺ]>1], gcgTNV2]G_ @mv׏KtvbX-:bťq=G*P [Up 8#Y/ێȇpn0>lwzF&`qZTY]#Tjd r2 XHnŭÄog|\lGLRv%Q+U"y-KgDĦ@xXe1O͵T<[H$ssgm17w y{Ge-o Z_(ɽqOIm$0s QA}5RA];99RthyJN3Bܬҭ,$iȎ _`_V ULp^hE2 {G\&NI2 p٧SOeן"!JcMŶ"Fލȑ}~4:̕@~$v~=Yrm$gK4S7A-EA?:#{|ߔx50q9P)7 ;60}rWCL]'2͖l>vn3d Xj=o۬䠢v{ѯ߭<#[(b@bc_ T"+* ȤlGJW2+8Xd/[f.w*m).`ٴf~ɕ+shyb:*D?>TOzaS|0րH/nJLbݘ& C\̑y@OQ8Dd熴^ T+_,G.5VFpIn<9*!THԥ˱6>{Uy/P;::q'H aϖFފmZZ9٣1R:Xo [t]CVL*xmQԃpoBxF7+çKاvZJC=qCi:㜦2*gOS% E--x}CXwj*fcdAaذSR9PncI m{{Px,V-G5Afk&L\Қ2ɼ.2fQi*p~<c:8X8s tq ]1CԎnx^M7_k6W urh30 3x2 ~$J>CC-?Gkڔ*TES!_Q\7xw#[6A=pvj ;)yK SBKWU%P|JօM2|L!FPNyqҟdR8VU0}XX9ƿ͒1uRWmllP3N lVN?Xz-(/#Jg"^ůn3} #f_Ģ,ye/J]5b@5гQ&49،3{~!ЃqˏODLNAY4'k  P]<-A(]IMEM›OG}mA62f+*oˊxlco(>k̫QͣbM*C5UC,Kjb!ua$Ip/AS[i=A?{h (4zx}MG@*W$fs@B7K+uT)ITwQ!" mf~t &WoN3)|!iL`D dy ~6é;/Tٞ.ń\rH.KJ27+M^!Wo\T6dv/DtB0糂zPvxh2<=8nS0c <2GYk;ݫARE ~km`:Cd*[9|_d0&wSYv7X,)I/3K˫o7,H7SM4نjs݊Db ɪ" Ѝm̿TK2%*@F7+vޚۃ.- ֞ӗj0psDHيX/l[QΓr!Ԕ@PewS1)'vgB^l+J`cgyՒQpVW1bT'ٶWq{+mֆ&I5{ ׷\'|tT Vj m<>z`^}rêd snP i^D7cH+ˠR>HKd悪ޢwulX_p7h<%Uav@c"9:@B.1C Vb_)\tjJ裇Q#*XH Y!O;;|H)BAE F$$=ߟ#nL@C9~Ǖfǝ5_Jt1RYy_^E)8bh~34;P%yFHE x?~@(jns(׏i74xxvGF!d9\9<U w%8X~CĞ;dGO]e'-w$ G ;+ʐ=9z X1#E}qQL+\O-hls{ h-YO8Y"#_- m:f86o;/Xh'GJ/(My>o)iW9Rհ6agћغK^.]ě&ut~Иcmp"~i:.%91*1:%Ԧ" tKEvHQ)Qo'G 'ߒzֳZV=l%( lJQ ]`V,MU]y=,aTVoxP32@, B鰘ZyoH`\k>@(28Ն 0d.,tÄI>yݔ*J੪PYwaEtc\96704Tp֮2.}X #7eοQ9jNFf$,u5JQT!0 i?>,zn!W+ (7:rYWKRJ 0Ծi1c-k* 4V "fow{e@6hU>LqD9eUO{ٔҰj&rFY^LfMG!% ??Hʈ>#0%U=#|pyw 'VHh .6#Ӫzxr"B*2Z"V涙^ݜ?_'o@ *BE*Y<'^ 4Lty`ofK?A1LdvGR&%oOz++B䝨fiL_ugAڒㅬ!4w9+~A'iӛYޙ[Wf-pjMsg\g~NVv{F8thj*>Y{@ >Կ }5~{2_đs a @t;Tixn@.7́g8u8݂o鬓a4uM9!%x6sdNmm5fޭKpO%Xp-qk?Vhέq9+ )ʲ'5/Be'`o:>fkwa %kazк s&1&H͂:"z7aٕؑ0عQCerw$=40R%L65>MqI'|yWd6)oiht%.HA*89gy-DgEIuqʐf?`*vuԻ].pʜv23?8>($+ Aׅݩ$6.qm[(N uU^؈V-\YRc۩c\ j"2r3;RMIgE/̾"/|*l1v@&3`iJ RBYp9XdhSnշ78RrUyrչZiͧYg2ˆ_Pg=mmrf$S=:ę`䓋OK)2qdNg-R哽dgڀ=I %`L&(k""-̊7g4o(N J3MϗQg"v-Y?_AFOsSIu}NeћFҭwN^ g~ȥ"1bڤa$ζͰD'G(N``ǹxA_N)S9? %{$kjiI:K1nQ_PSr 9veca }͏hIdtry[ t7X$gV05&-+e0y'n"d&$*A9%J;hq ߕ(>nzxbƚྖ6r剾RX#c35Qj*ܾ}~n||$=p_kic1F*9YܨC|q$pI!is.3FqTy6}-A1ZK68)% IњU!v~k4u\l~Ya3@ PM@E 6J䶠x!t{f&<)OἢRʊF Se='GFˣj :^fŸVUTz=i]BlB΅hlҖ*M[ h6 pidwÇcw ͖ͳrgrH+E,M'. \i*(\㢆C*w^;YnJhA. \X+!AV` FxY5{@<jy`dbPxRؕo$3`HZܪMJnřnuT&*anxa徢qJ.eGVdR[NB `k:la#|+V;qB&U xѳ)%ΑbQ*ML:>`#_&A>_RklZUGPPJp_!ʹ,j}HX߆ƿ(_x'$!;CK.ȋyZI5D1@5+ e˃~eH/%i#U Lx"^q[ O7YQE"Y;,fQxz3*Ylu?Ӥj*W0^qY><cn6v"%Ni5sj?TPE @99?I%{̜<}dWpk׃r|,=zN|sd[jG[gfzAZy*$rZ; 2(J^t |UvhA "ڣ +)*]1^C?.Hǒ38p,.~Z3?&j#ZMQE`(klm1뻥m#OZc*Ԗ}jFbq2)7a^R>8-}Sű2*vY_)d27-h", 8b]5mh`@֔?Yy>AXsoR(آc T\;VrG`n*X!^dhv711=?գeڕ[Y/S}ۢmj(SJN=RP0 _¥m20;/XC\M&b I.;"st:c7d-{Xy&C*/#8P'*vA"l4h)v"fHJL?CxAqrJx7v-kz0j$X ˝2>jMpb}$T.TN@h]~3"Bˍ[^_q#Av6;ξH >ܺgυ忬 |F3) _gĥi5`(u?˜NM 1@ioJ$[=&`Tmhs^ 1y䷵t @BA̍i`F`Bq S jozq0K\T:v|1`vhhSHÞ/xJ;߫u{.Y@ UV- k&>뫊Hf"g^dKw <1.J\-~+|zCnh)rM~ާpt?YeJB՘Y/o3IƝŭ@m=W5H'}$Q| lu/^ViFˆnTg:A;$_+~!&~v'xVaLxŔ5;=in@a)A "¼L{i"m9Ipe6N 3)vw:F cv('sb-sz-;,$[5^bqx2!Ð@.P=fjv>zaH7hXf^.A- v( ތ;9nnU=]tC=0 ͤ~(͚I}:NS J3eЪ3@~G[sQgk`QSNȑW^o~*rj.+xjzێpTΤB~'aoX0:GLV j]Ay,3g|%H:oփ_hU%܆Ϳǿ#<@oonp)yk$"BWH Z os /v[r?YEоxbp9C34l)6ֽKƽ'sՎ[O@=,A2F7aG,3lg!~}(Whn Дp=W1*6QB0@M=iTA`d0Ubi|[˭^@|.BTap԰ +!%,O'aGm-'zG6 xW Q&cm&.¦EPuCy[7וYӂ2p=}bEt0 zKf>b0zJH`C$n* 'B _D@9yeK.\5dT=RL5'sO^9i|}BWS*`ySn]mIS+U}TQT437XY]=jGa kvB˥^EtIH&MY [h(|>P2cп}]|zBn~b"kt{?Ֆ֯ϖ*bT+z(V(>坨>ySȫR|Z1dwhN8DlH]KeKL.j8&sc*)IܾPNuĮDK|}}/wx2ޑrظmxZlׂe`5zwYo@~&bPa^DK >&~ֻ zMmL@t}wxJUxӝ'uխ66p, 56gxbD|(b[>#jSFSP6ߩ>I i=)4o)-Q%hXmɃ] IWVEqpo#Ë,=RaKUTD-BI"3'G?pɁμ4kw(Ol,:F#7tg8y=ϫ(e?ޟQ(3O{ BB >"/Pm|Z.\/x1vgV9ǯO)t}6ҏ=YeiN$`I(B,zQ$v 4+jD;G:^\TT7 io)NLZήLOtL0-ߥi Skdz C٤G&AbJԜ[i nόj x 8l,z} dmOQܙattݵ&X7^U==ybf<ڢ/ s ծǺVGc _p:eGѕ*T`OK.$;ΖuVO@ߢ)7g+/s$vhPHX+˓(IKEḛ^CT[2䏡$;?n Z"YDkw+rӳ޴>nJ 51K@%@C$wewGN9i:hwn'75ChZIK1jg*bL{ mpq5@Ā!*`ɯ?gc+ ۦħnxcÿ%5Ϣbޝ&:1?Dxe.<7 U?gV|˸6!Ϭ'W;7>pl t1R5Vw(s %yz}c%*R93:c!(ƚ'%ҹXc\lՍѝ&"RZP4hv@tbGHNSFՖ;m7р`k?\ͫ6" eA0F{R/'x[ay}lvrw~Dx~k~dɯC7E=>bxخ[9ka,M(Q+RbT^JN%ƥҊ y Ļxn<κDޓ Pᘁ(#FYQtlٵD\X"M2 $J-8EM 8DV : L`&Pc:,|Q6m.TP(I^PEf4r9 [\[~u̍S=*ԗ(Ïٌx@cDF K[P}u E10RڲphO Ov!rnwXwM.ju{\#W1@xZ1^e kr5e{ofc}PUyGUTNp٥Cs?C#5iw ]>hcJmJ^DO2珜⢁qo2L 3:8r*I[ qWфWs](inm<j pnPc- tg9xE&Ul+d_Pc5yy3lOQ tp[L,q65/\y5 8­ A>}yi?w=thef;J-Q'{[eogPTK\7ʥߏa؅&WBc~ovy|Cը_oS:`AtGp>9_7ΐ7n#Zb$<RUhN$4 8Y'! bSC6xS+uUyrařݒ\SWyNF"v&?f-xQ0Rhm -Kd? j?l uxEy:UMh^'!98h0HޮfE=ڹ371>F+|W =& /rDx{+d}RףğQىLIRʬ#m:_7?ukz=H 9Lѐvb4D>ѨN-Qهsi\|';z]q\RyPq2Im 6H`#KK8;xXr B|I kfX@Vq+*MhOO+Wyağ3nh],LZ:l^ Źh;B™Os =~f=nD=C9#RDM+Kކ&ʇ| >5Lnr\V1tS91\aceB@opacS"cWگcyQ)awcY.k`F/tHO4YC1 | zVv9<:ЋC+hR=,DԽmU;Ve6&w6>Es6*:\z=sH( 6u+pNMBnN-@ \z@}AF+̍!? K]jzr1喧ST !(ܷe_oQNT* Z;` DF Vf9zd뫪g}>}[p-Vu] QpyZB  |bUFC%fD 4@a.D -0^8pIWl_ǒU qh9p{JP CdgBJkЗ`.J3Or>֩zֶ#Zy(,bT%XܤӒmЗ7 p/Bs#8+y1i~PG77S l~*Lr 6Y;sϛij6G<21qλ+NH-]:^W$+|Cvz'{SMoc!_ij)w=6ΐNs+"[(Xu'"pEt\qWs;xyYIgЩ[ ?u[+nKU")-t0n'D@U͹bblZAcc~2a:x~͐,.lAN `6ONf2&Ln>&d%<[t2ҝ-繢=݊gfbKg^(~J!ѣmu/ Wlrojm{d9g-sf2@@8R cF6-"]Y}qjqXr=X!poOy2᪫?laF&0oKFqL[QWl !psុU&d r~tfa%|`"~%g iXGJ ^d= JU3q@>j'b}Wkw^n3Eˡ_.0,,$D"NYs9G\@=ǒ(O/X6uTDbK_ca^uT@//&g'+-W_u td:x_8D7?]Cͭ!|7rS7聪g^8w)hU^FFbF#,a>u~HY6lx $D9|i:*d醺'\T=㏐,gSxD6y;ˋ_ṬGQǮ{ifoqzu,lܕL]1OVlo]uǬ**'C#{?@Zл5[Ef$=?Q(N(Yy22sZ.ӏߛW[_k}61_%J 2PKZr Idplǩ'{e &n~pm*]=wED#Q5R? xI x=~4uBgN::rj榾.NЩ 9*ݰKy UA=B+L7AB<D 8MQ^I8`i0zc (i$..A95yda?ﰝ巘ڊD Nb/Ww6VYf#80A=(y/qh1>뚃^J k)Oe ]~x2BiL+˫mꪸ\؄cI]LYB^*xiqnA{3 <,8b?}aOޚD#VjEQfUp2Ld>=H4z})v~$k荊R{ˠ!ǚLۣ68A =jfXuʔs0;3֘ؑ Lc]:j=qX{CY ¾8I/'b( _ (25[hQ?myܥ+|" Arv=|r='"߱c?P,-cj'(E_n=ђmx֫lߧ=V0'BfB^WPO&=qoZ4qoal;OsРz*7RVd43 a OzS‘`ǦZ,%:*ߺ[4R 40Ç e}29j@,$5JR9I[&7/Q?Bϳrڋdh/ K[(tb58gAjƸJ8r'њP0E=kzSZM%Ofo I RW 7X3 &vߜ!YKAxb[BBQ+_~,cTuތpZ-BÇ()eK_AbECW^|NeGoO-8׎z#kyݕs^6C R ј#P."_|QձC.Jڈyf:fxPD]-}5u7[i|#ļ9G2]l;u(7Y*k[,R{b /ĆqVV,L6{1drʼ=+G[1FCJt_J6`mh. #r R{7~,6s{W糄1Ōn>7qu%U3iZ SMb9V֥YEy̍2iJ kKpK !x+Y_Ƹ\BOA~XᎧ$Qf+EF=9;U@tu1Rv='gg:Ԥ4%XPѦ. eTr',0r{b/v}N0"{v 2f#[IFVv2ڂHr)s_^VDOxH Cӎ͝pnFx2~X9(Iwl "?qoKb$1k;ubM:ـ=\wUv违1,NV6PNi/' LR{nr˳)v>w:.)&|Nݷ A{=\Q6{wd 'Sf'L6E7Sadd6^m-M[)\i\ \FP+j% ]ɣP.ףXtvp ^`Cw߽W=juɯ $Zy-Y-DzR?,̨IbrxG&6" d(g)G$x8I')xӝ'#r~pj?{Ek%K`W ^4ЗC.f{)9_<3@?.|S!O(u|:r\s/j}3K|OaɁEw "[n|Hq>|_ LScbt2B:~cf>HVX?WՐ7k`oNT?;7D 7cץPr3( 5N-뺝9ref~9u _U1, ǔr) \Vⴥ=0ݞ?$uvtGsloq MFo"ZGtZf`-TeOyTnI\_emk&I]%opU8rQ$G8# T "x@HLzE*bi'S{ xCh;?2`+Rt_á#&! -,Q{_JŭÍwZÊɵyY[s5k1m떀'nfQ, m+o\O~V)ttk=Gα#ţH28Ie$>(;!,XCuL8*1IC d2HwF)joº)e*fGneA)oS ݀b״;d bMp(@YbFa)c0if%kܶRH#'qy3t?"BI0#UVElͻ{t6L8`i֑*ޟbUl iؖK( V̾#NL)"6_T7nPHHԬ6^gYZe5a3e4d0624e2940e877d30925e546e15739135d96398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 a62f3578bc606d22406323ac6305318410d08961 9aa1cb5802f7a11344caa96edc9269cc65325348 12e56dcebc255ccc748ed9767f3dad7012d41928