SQLite format 3@ +.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info n'4 ]% Algebraic_VCs:threads=2elapsed=210.404cpu=385.456gc=28.324factor=1.837zXZִF! |]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^WtK~ls.,$$UK˳:O8v/gTG 8dS 9CJðm,U;\2Z},5Y){"3Mm/W3I) {MQ)*PQER0ӲT&q0TaCx %EV҃ށ$*%R~{+ä"LekhXhcﰻ-kzK-R8[zY}ϣ؀Rd)izqV_Bm1kW;ڊf| kG( ' Algebraic_VCs'H';% ,Algebraic_VCsKAD.Antidomain_Semiringdocument.tex7zXZִF! 83AP]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]-[z-|Gwh쿰)wЄi'شQRg[moSdb"3̊jZ^B Th5ۡG̖(G[ĘO FFGM!jUh.׆T}ڵ+ț) Imee,t6P:I$ª"t*=Dz+i\MsL41~jM^_T)G/-RɱeZ Lвʌn'O$ wBdn'2qѽL$GVO:T{j*1i$#s`> $ &N,X1JD`vXDeVo P5Pu'#f89ǽ!`dZ(W1$Mܘ6]UbV$l|P4i,ũί ǵ/%]IjriN)v1 fQk"J\CuMn!~(zbyP%4=~)#~i T5M&X_m/ |6{4Dl 7 ;W4}W-q=,*[DXk/Bdo@0AWQ%ҭL0@ըbI[>a*sPv=L=Xsׅ|葉ijUyi *g+ƈO<\,G*d@ kd`Yr+uT rw1em*Ta#;r(_aIq&F/b!'cxzEwv$9 S3diR5FnVV70rZQ3*M I$p`%y(lXZZO ]y܏ԊyڲmRw56'`J HmibGr-MmX06jm}3JR 3ҙ2ɇ67?38Gα}ϓM7!Aҁ G3\V%6d=,XU@TMMݲ搷L0o6%Wx:t'K%Algebraic_VCsKAD.Modal_Kleene_Algebra_Modelsdocument.tex<'G%Algebraic_VCsAlgebraic_VCs.VC_KAD_Examplesdocument.tex2'3%Algebraic_VCsHOL-Eisbach.Eisbachdocument.texA'Q%Algebraic_VCsAlgebraic_VCs.VC_KAD_dual_Examplesdocument.tex7'=%Algebraic_VCsKAD.Modal_Kleene_Algebradocument.tex8'?%Algebraic_VCsAlgebraic_VCs.VC_KAD_dualdocument.tex-')%Algebraic_VCsHOL-Hoare.Heapdocument.tex 1'1%Algebraic_VCsKAD.Range_Semiringdocument.tex 2'3%Algebraic_VCsAlgebraic_VCs.P2S2Rdocument.tex 3'5%Algebraic_VCsAlgebraic_VCs.VC_KATdocument.tex ?'M%Algebraic_VCsAlgebraic_VCs.Path_Model_Exampledocument.tex 6';%Algebraic_VCsAlgebraic_VCs.VC_KAD_wfdocument.tex3'5%Algebraic_VCsAlgebraic_VCs.VC_KADdocument.tex;'E%Algebraic_VCsAlgebraic_VCs.VC_KAT_scratchdocument.tex;'E%Algebraic_VCsAlgebraic_VCs.VC_KAD_scratchdocument.tex<'G%Algebraic_VCsAlgebraic_VCs.Domain_Quantaledocument.tex2'3%Algebraic_VCsKAD.Domain_Semiringdocument.tex6';%Algebraic_VCsKAD.Antidomain_Semiringdocument.texC'W% Algebraic_VCsKAD.Modal_Kleene_Algebra_Applicationsdocument.texavbLQcog-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#@~-(_/HXPO6dRcVUbZWCzdfd@=ɴPY|+=|H*JWƔ{յϜ$"j!OA#oyʦ^ a"U9ý}ajϜf;*B>R;kBp{.im djo-4yMQ(|ɍ5w{S[t Hrv]J{&Gu4@'A (u?7ȱgY jzOHfjPd|6)+8 FY V?k+cudvQ!%k^m8 !:%2q~79kgxm}$[7 'tapC@rk@O?9EC%U6Ql_|3_{DbP7VG0 9Qξ+bm)Q)oɈZR԰0!5nR,D vu샣VS? v^˹Y)h|) F%& QrgȉM(`MɷeE1Wn>hH29`I$k{c7&oe} `;=7_k|&U7R'Fc˩DNF<[=*9b5U1קsx2-.'/ 6KW}zDە4NfJ pgYZ 퍟}gQ1nh=Z\Qdk<"vm Xʮ5fNs->A%Ӷm%ΏvUK ^D9;xqP +~8Q9%bBvtE!͖ALP=$xz i u;5\GQy:FnIKgHOHqK:MTypK%Ԅ&!_ط`:y^FfT|Yܟ4aWempqL1=e-sӟ'qgjw ?D=HOrX6XSRu;jc7|KB?;t/#(}ӳ*OuT,䓥3$23kHͳ V_4h=q+| `n$vS3:&#:ZcQ]dLԸhØ32(U +}:KYL \c:@zh>p7V٣@.IRДG"™G)󚊳k7_0ojymw2!z2io?~5m/m V<qX3,V/4嘾3Ͻ>uhl=ώ&JmNu}B( ܍ P(HeJWIA)֬S :Ѝ4czukxKvs ?Y"0 o"ݿ?&U,WGrh]TnGAsn˅ R^UZR|R|'3NɄRlTa0y weGosM?5SxL|сz)dbe56#6j&kzϿ$~~Bl0 sm>Sذ4?l+I]r;qI0,Q0g36[2!UC&cEppa u9Oɍĭw! T$>IKڬ$Hkt=cs9-Jϭlkh+vB~ za|M fZ}$E^굂r|>%⢙#Qנ٠lشucdWT!!秾\Ղ52 ĪӀ [ Xkc6hd)Los幍kdn{tm@q-~|T 鯓-ǦP^'G>'HlF1.p C{#n\;OS>O1!?׏Xhע+Ti@C/r>u/l2_5Z.|Hg"Lg 4 /Ҝ[Hn,,)dP:}ԫwde 芝&?hvrΫuj|IL,<3,M7+]A_.]&UBlP{KBMњ&-ML9>8zqmQ~n?pv%1gl/I mOa2D jp0TS7(d|tgHe48& kMb,/\7 T%Z&GX'-*Z.!\UG> [ Q9H!Ñ6P\:Άg0g1hHc1y@79nnRk1z*=;5":xNɣzWS }0{kEf &:[ #$P[y +;ǥjtfcdsN lj}_v;:UB'Ea<&T~Bt?]:q[<{v服f!- ܎l5{yIwssDGP~d~qkčM7O5s ,Վ'oݝL}ZFHO:.mBGQ9Z!f!%^Ms!(U R|c\ʶC&=.0ZNY*5d#ہݒKのuN 8UyuAlWHkf*ikY {T3whZXlv*oW;jcX{[ AfjW {`haf' ]hvt%# {bFQg΅k߱ 8~)2ЌJ rԤeL tǼCYEidS()4~\xqqבGh 6JYGER]6#VPL6i8c`u N4p'2YLf2:9bT?QtV3=p"P^94\> j W 5scGT'SpRQpǀnt]qlew3%,l}16֓AOL3V ybO׋gmv7Q.?eiOS4^.!qz#/f-w!ro9_?/9R1T)JLv$!V[,汕 I?XJ’g_w^sÆzE8a7vus`W'a{b}) , U?]^bf'_ W1 B~/nmC8;)=:_tӻkbܢ EKRQGd!l53PB]Yz߆Jq [;A){3Rg{tpS`|o +S[56L486q#;C/=Y3i@me͛f6@p3lםXa&B9.q"=Ɯ!&0COWi!ϔ/}~^X@;;!k1X^6T~dsgs6I Ri#$LTZsrm*LJNX*n7 0n-_S9f"#Sz!rR_mz6_/C%c@cwwhv O4(@y2(繚zH9'<O#V-@)"_^S!\3JֹuȣƜ-x+x)Zĝn`|[4cIproИ1bt|Uja퇚~XMetO4CqhC">%ìX;`/V?6I2vOucٗQ"t!rуAQbod'tw&qh̲J zf iHG-, YF!jМ6+(,<4XɮxMės P۶yk1#w"ErQ!:!hA&e$TLBlQ|OQlٮɇܮִ>0kB=1IGn?Չ<: eO" { #?1 @I1d.]"ߑBK~f2頳`F_eN|A٨laW3,!0 ɻO]{y stc5Ǥ#Tl3 aʲMZpo e~~{j !l͎c&`RX^)z3ofCg w|Z]n];u PxQ8_@f@/wx ɕTӳLS/^2BsI8ꦘB!vXy6v•YUrnT`cǓ;arqXQB ' JabIu,W718'#/"xA^![ֆ4nwUvMɪy<+ 1ud±[c4@۵ zngh4Pܟ>֬dp-Eb3٪i7lD4S Thxh\"KP E ~m@.`K<#7z6 PÖbFdIpg}a]a. 05˶e1yMS)C?߿R̈ڜk>X(jt *^C+ 7ּi$]ܵ#%zGM=^&ȟ-z 8v5Pq'I,dR9mQ7)*6:g>OѨ['U2ѝ|Sgik#،R/cXt+~%ZM]U@+^޵Tt3ꩴa4mptJ!@є-ֿ!/ Jvtbe80TWW.Vڶ(کV3QgVARWc|zֱgr*SގV²TAi]~R5" G"Fp: NeW(u3qxanxL'O)c XStū~q#`8^qzNǥ<tp )mf?^·أBFDA K2<,KUMW=}]ɳ?t2;<@FJze`ߺ]oLܩ lޠŒ1WQeh}oN'',`p=R69M{ktϟqp0FAaNuQP Uùca|kwhY %GeAf"9jo3Wѹ <{/ MO#l=hV̓]1>'X+p:grBj=[UvBߛ?k-2"\3݅}Ӵs0eD@f|%^\,841*jAhcjV_fk`p7[W˘>y&qC!oE<>)|gJ]9޸[B yњ1:wX˺eI1 j Uh< v薝㮅"f>..n5Gb#r 79Fԭ4+j r5F ޹;KF Z?^ڥяÜyaPIF s]C.e`^T[WzbgQy~-\bgi)9Mey| /{x3$,.*7w:R!H+**̐=2%I1 GJ&7TGl` !I .LY\|TiQ̸2 mBiYXL./Va4.ȩ5x!é V:|*O[!r:gb;SB望Ι,r}+/H~ t~aLY.l3tO~l)MeAz0{ޣQ`ڽ T@HA+>S˽Q O 4ř2փ'cYT;hŢTh0=~?tfAԃ7*?`[^M~F’Bڥ_3fG@"r̳~S#=_{˟\0D7䂕nH-+8Y}JFvƣ 5XcO_`m Ʊ`Oѕ@TSƅF.wBy& ˘) f=FpQW Q^+c+vtc}MYB,Gz& OeF[xcO"-bV4}=G'dm }&7d)_4Apj2\̽t# r ԗ͜(ϑx*yZV`'f"Yqpn, crT(xEqLz7r5ʲeZ@midV0 1ϧ!pړ"{s+vJOԇ I1B 1k 5&Hn7t*>YjO/~wGBTO<`TN[‡qxޑHpl!8_m$o,h?ARC)>UZ*V` ;} Ugs:QZ -h "7/sbV)a^@M$QؑoL1]3CvD ebOwD᮸:[u^0^GM65g?u+[ yOYhBU4lt1gc-o@9̖>k'+RPQ+q6?e@!) qib8)^ͷ\y<VsO>:iBM}E&d([q"94!\_7fm55DzH>4z{hEi@;ZɁ r>di4fu_31LWDrAfy7zf]LOʛY {n*8CN rj%L}CYnu_]Qj%GlKdJ뛺O ij u<*L3kL0$u,?幕rvKlʩjt+wNš-qzK}쵵B z69q`NxfWySg[? @ʝ79|\x^ePyfHXI/TRPܙb'̆pTf;I0m6'o݌0a;tDjU\|MDݨ˶%[!$s }+'ndZpZ1|(`0A klG+64 I0ß{;q6esk,L <G{i]lQSg-2])Ehޭ|ޏtfoSv-I/W3щHUG~E/_4ohlQ_D6\>(9n(- qwJ-|S揦1TEH<{+ _GL$an}E}VtkA$Yܫ`u]DKTiq. d`d2țt[,e}pqUs*`d*֜2)D 1Yv',$[{; ~O@3xҞP2זũIU>grD/W{KATZpnR tn""UTڳR7LxS)%]JJ4VD`ï͗͘T]^lo$ u>x8 ]rKxF嘢 (ۄ|X=ޢdB\4.랜dwL܍בZ{%.| ڈyp&z4P7VxHQ*OdƪBbPԹn;`L%OhWVI<+Wݕ)xi0 P o./X.W0 mܰ@)a怰+J`ر4N+bU_#I*Kaj{7˃tKx@ ۔;"a&PگV])08w=cojֹRnTrS~X`Fȩ8F 0wR<%O}qkS'[)uGdRgq~qSJ\DsvZ`M2I3"*"v28Zұճs0f ۤ+qJrçs>@8+a4N.L7WVhm嘈K} @X;?s7e |c9P^t1~ӵ|{RU""M0"!-u( UeIF2Y!Si_͖݇2K4҅u{3G\Q9VAԦlX|0ZflI!>?bs9A"LzEhڏ5 >;}c4,^JLWu@DG i+*/^/.J0ǵҡEף:/JB}’ElajoIu p5kc'K}* ƍʝ {(mةwl3= VYdRcc1]0 `\i=אHIdٿ$ U{ mwN!0t$^=쐀jEҥM^ƼAAڰ:;(q,FnI&;-63TTKSUsw:+E Pu+ g=/+dQm뉣A6ILjU=}U 7P{J" #F!Upg!Zd<})FB67G**Q ~hreooe9c$֩eFuQ}lv knuEAf {gEWrA)Sdc ]jTU9\hη".}-zb ҇ӄ)Ipj#X0~605xް|kBnYSI+[8%q/@I]2[ŦB1*ނqÈ3GЩ%0[pvʯN!) 0 R6D16mjN|&oq|\e`>rau+P/s ׭^1sm>XY?u+w$SQxֈhO ;Gϕ7ۈ&$ŷipI;%vP*-B t3,Ed<2q8/kނaw,S6o9^e_q\+[ .cRd1p߳[e93BP8챮U/ҴN2 iM4ؚ}LOpFj#XStgwVVFb2mۤE<麗 oDʮm3wW,BvZ+yϻzAW IDw! C>ۅ̲No+yD :ͽ{3CqD6h%`8 eFZP@KA< aI/ZX`~@>Kp'*Vz\,>!q>m5QMIz&E( o]/Ԡl30>#$L3<(菱|@2~ j!aCɸٛBc[mW~f7lw 8JcJ=5l%+l+u'gUSW ;ޑTatj7V5 ij -y5ିbfiSs{>:50/up [i?` AfmKh9˨IZ= UZR6g\U?ScN鹩VO #Z=y;C;C_Ws` Uu+Z9JmZQ3(e ě,>.G;Jf HK bt[`r 뚐L "4lP` q9%6LR-=Qe$B>enQ7}J4gg?ɗQNb%|Yp"%LٖC1W@ː 8M^O;%bABR^n0Z_R#6aJt;ifI^̰lKB#*a>J"93a|m}p58Fm,5_W wh.XR/Nu쾺o]IWCj!k6Ghlf0`~XVs FdgkREl( ɂCh)B߫d{![+f\z2e&S7p +2Z-; _@S ylQ-E̕j'QhҊ* =nWV՝,@l.#ef&FD!=".985d U*v?%) kӢ$⼖@$EyH߇@-*\T8sN&=*H'%}A̩;Je2qSxƫL$'u|_>LI){t1! tXW9۱Iڞ|9R]=)И@oi|CdWu>Id ];^aI>~FCsYsY=Y<,A(&DA7XkVԕBT@`A:z9ΞosbE|W*-Che/u`ϻ>MѰx)e?kX8gVY.VUx4k? *1nFS#.ײBybk02IQ4CHes)SۆG/>kriԴ!Y4_6O( *Dmyp,!hleZWb#WahA(%eHfj *rt qLB YxE`cND4P4׷In)H^\>IO:FhϘ2z)(&CcK^9 s=neOzK/=bqP*/OB YvsR ɔHqC@ߩzTFn諸򾵵җ./:> wD/!f$^:cBb8]]];eq}&h8טz"_{npXm&\sխU,&ohsiC[ ~4Ck@!ND=J %ZHtaQC=}>}yK= xKNzÝ. WCk :+o&n@jO& d}#U4g S"7Nc4d@ޖUGH <|7s[h^ɌX:),ؾ? ,ّ?#Ѯ Rʴ2G3ME4R+"gCUWk}Օ/ὔ漤*M`[,G@]j9+/&'VFP(u{:ɔkXCE-. C1wbD]ka׼ nvɔ cn@@ӱIXHH1E4E`|CIzAx" :8uG!.۩-y{ C~IyW$R`LǂԑsHwr-8doGrjB1r5UT / 9ߣD';Ofhݮ𪴻>rCDXVwִ !sFX-7Ƕb(W+Ytxm@I`~Ƈ!ӏ/ t,Z~!r} G7zD- I!ydW mx5;[2[Gfj; ZwjZpb<2 ʕM_]*.R]yW֭cMcTAP׌ ;'jc3ENt5})ƀDУ+~(|j*,%\JM7ӃsH|tdUI9H(:n؏X]AbLW{w{@Q&u>DO۲Svր/ׇ Hs,)DgBڛK3_vD`8jw Q*Q7=;T"QR0efeD.Y01/쇒C9u9CUp҈dwؒЉ 8Zn &}KAI>##&DB51g.WHftȋOԛLov_yHf V`Ǟi[&xIV2yns,u4h<_++xGxc9å~4_qq| Q[bMZq ijwnʒM޳Y필n.@/!*{͹T z&ذd H{Ŵ^ *tT{(}l'QoOfDBxđKo|E(i7wqEck]c{ϞhV׃|曻ܵ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}ݳ|Z$6m.,)@ 3R_ \}{3? }.m G?8A,7ZBWK{Uu97BCY.dKJ>CZ5%0W[p'QtVn}N,@&!>"ďެh'ps*ԐJ1%U礄7a4%)OW}I$%6~Eo{f6A78kK^] ċ9aI?`(TTep8a5tfK\Z"9* 0ЇT~HP]-Ii@LBVdB0gnݚ4Fq3q_yV "aZ0nI-h6b pZ;*ݘS%8Ͳ2MzSQ c'Nq[v|(jTPq sirtnQVDS3"pq{ '@DBKZoJz;`n^r"foDN8sd|z@wX;9# sR#vߟ-*dt{ E'kTRx|3. Oug+7 d}jKl=PË9.>M/f?j9noH%霞[[E P0?V1?1}E%\TOAj K")aNEj;uSė]|[".?_#u(_pkMD ʯ-mνyr=O+%-026<>$gZC56-u!~%?2.׼B8d^/J;M;'P#hGF31ϊ7t L2 L+}cH+ZA=#P1'A+kcvP#sΏ*oyzH-ֵu2J#e땣dg]fH&rxF&0v|Us>r"(rGr(o'`zFBqh kgBEh"$ZyYܩJ!=Z#"dƝgG+[\^`Dmߨ؅R$$mIHAv"zY/6[݃*A{)|1٩@5FH;W%&VM! $_߮ de^=$d9~$\ QMMOU!:"y8̬߲Aׯ44>5Re$@oQ֐lN!E";K{r9& St͆"y=Q L}6PY~FmIm&Ьkh}SyZA>ϑ^pZJ @'Zmf'-I/ՠ[XYQH.؁ h,vxR[a{bE Wf~N_тB[~rŋ:e(åI.uvGq F8)iڬIbkجp;h ? DL Y(4)̘Ϙ\Ǧ\ T0b )S @J;ލl/9 JuHd(PσH5g{aNk؆_{qR;7&1KoU;鼈"qE{3;mLT6b4K@ʧ8 ӌ'ͳ4lP8""@4 VK!NFa1qN\Oo;4M۞]%`N=O@( $2wwP<׆q2j_Ft!VPniߝtp |ުZRw3tجÍ N e 3=tٳ\<46;?du{`RʖFRh7i4[ nqn`&䲪z'}gym&?RʺpZ},g24E7r ތ%UL4hX:VxӡbwK]-[z-|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:txQ\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"bp0QtP@ .=-  ʛb[h+5zέSfZ9sŨdoʢ+zk9Sa:p)" }pvmGy}Q!ЯUnC΍rC<ct4|e\KQ9oҿ99$#HtFREގfXՀ "1-z^Q'UFY#.5>br9CƗ wdԎ5aE\Qr ^f&7".|z޲o| Mr[8cʼn__ZO{+Rܳ~ϊQ abPF?0O&jh5>P1$c$%lT`/.3u]D )Xxu  6=olئY2CeӟrEgG!W%+غ GCqKP|T^.T7O|`WOlq=3,8 uQ&؛8};XS\=]ǸeVzchA*߇Uxj$+].bO;p->\H~tMЫ;6lwT`3eA*l`y }(DaI%SHr "`#ĭ>d,tb‐`nk_m](!iͲ"81Lwm #gxvU(I=UDG}NߝVMUS;E w&O.)fZۮoq[&dQhR[};v~svo_=W11@-%)ɸ3'Hf= pt#b\gynr͙XUԟZ5dĆ{" ×'4@@UӪ4v}1rNjPluV~c4$|;PgJge#TQoxޠ2MQcE4ZUks~aĦpnrzJJ#P'&%m V'Sc'K w`@ݛ}Q[2T\Rɳ\V5N2+SfB(B/e):ԏVۚ+5ZQ=߁zC7HmrZNPvUE@Ie[68m]a[,y9ބx_vUĽ\S /z'9"8 1Mǻ=7}*J#Jte q'` \TreȃMr&aMͩA.WUy])άF !+Gy5Plc8_IWhkU>xЅ=mia@J䷓g@(:* W jjOQmð,6TY"cLI䣝qKFͳ~?aPW0IKl~ nOXSxF5كw.Xq}:Hr?K$6*6IG ΐ'Lc|"jծږe +@wߍvbHi_iC,#c0̱qDʹ"]xN-76Ɩ$\XW "cEZD qJÁC"n)WЊsr3&eE' bǕ{\Pw p`:4M8򰭱,7J}lV`<2=)MW(G dD,1,aK8i8+uP9jez|^'5S{ O)#6*owYCOM ^}ZO 6'{'>>4zv-1}9V=D(bؾm|]p Xs Ix 1 seT#`56'eQ`]+ F1,g(*o0*,S{D\/tF%0ZoR:[+5j6vZ8kC%<.T}isKb~Vl`t*p^z!oZoQfٔ-FE'8Q>N4Ԙ[^IlN~l ]iad:V~\d93kXpIᰎJk?Yb)/J5c¤Bm1hk~(rgڅ.;]AF.^(s'Qu,AوG˸;.Tr(Gq开n^V $ ),AR6$!xJ9Qg-9< ~C%8 pd9`rPR!.fY)Fܺb=KۚN!6Kb .>bVogkg '^5o01vH0(9oMUGGxdⰠAh-6Fw6SXJ|;vφSrk}ȥ'샏Γcp{;h}ߊq=Kf#40M*H f 0u*OSbkeHZ}\kgRqcJ/ 9h^sX{c?#x97) mÄʐaKHC;{t8,2$:iZتn56Íwh}vMXŮ=oʩ$yʅJ0`<\G#Hq 9p,%K1#>[ ,)2kmr`KIhX㞀5,P9G,aӐ}LZ/#:s@( &#wͰ-d-|X tP;q-͡ixoeG& [T ʳp5-.~3UGWaUmfn5Hc]Zzo?9BIz^A ;h2ՙmj*&EAUt DpԎ/UNA^"{$͇5QBXH '1rpJ,^[nNp}3ÖWg?--ī7LpW%$N0|:^ B2xߝ&u?ȅ<~HW ctVI?!β'yHnDS1D$KnFs2) CxuG **ĭ!.ݣ2+Rij'i\Ab!7chpM#$ 8iD'f(_b(1dJj{;hL] GM3"d@;YV`3u0&7z&@Jsi.gY1 C7`KCj}'"{sp.o9=VVUŜk;' (RUM߸ (}o9GaEY"2,q! vyA{&|)yp s܎z^WT'}貦r;Fi&%-#Xےr"k>C[3.{HVmx< 7.1mR ,/W9EȓTlrz=-QD?צ%aV$7,js(śzXSbbS"Bk"l>ax; @<WJ(j`/E o(37Ecmw螩fi-&p @:4;.dh-7Ώ/Qh(Q=lͳg2!.|V#0[>ijgYZ i'G% dAlgebraic_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>ب\8mH=AK9>ޑ_l0d֘kJ-{2uJOyơAD15h[LnHĉj#3A-i#Ī@#?Br(vfuF=,Jtk!"*%@ɔ/jn]nT}c+fcҝ 5$8ZvSgI5s-WAPb{i׸faSoVq1RA ֵvf>&%ԎhdX]=0-h5Uhט*չRm!OD:ʥz`#.cf|ʺކys"8yEJtEh/HaiV:j8.6=y.6q":ZILQ-GK$&fm-*0ɷڰ mwqmzeɥW:Nj` =ˎ/\J_ـ,=N-vRqߢ ~ͧ@H$R}N'QqQI["6%jTϱdfA?HC*οjM?%GjN3vcvN'4D&U_J|7bI/T-4="Z+f'f0UnT0CY~~۩EXFyB?m*}recQn_BQ>6m:=)H-η0gXp3}g=Ka`N7"'9 M<`ȑ)yxɃᱢ:W87?/'"̱=BF9Wa ov屯"6/PMRm{b>&{j. ʮb4z9vj;NH-Pkw'q>EhD|p >|Y>$>qNaUFb4`u@&2L#6K9Ҭkx|: E-(C wLtO? ~N IJRh _/*ujuaVt#N8) dsnG%/i?yf m4dl]oaMw"\)kJ wM/8FMȁVvÙ<[KI)8nXb_ Ɔ^ JzsSn[ (/mH`9 Vok%wXK\JVÛO="sJsABAE˗,^a+fbvd <ܰXjZ 65inHm5bsc{LOk྾b}; wΥgCbP8 BweTѦH-˧f]"]:c 0lB]ܨ ƶke|8 ;>?koD ~h&JA-E[{ҌXo_AԬ`kfpVo6-&Rv^U/`i}|"ȑZǗ7R7S2;~ SsJ$O-&u& >@hA\ ~)+>!u͊S즨bH7ayaF/."F 倳(rծCF4+>ǘm@}FjW/NxIyB m[ӥt;AX8-tEՎp=ͅnl&wdL:1v8β񲆚f 7W-'D̜J,1$:|dS}O[_x"[-PB*Xo:>f~lTdB[ߥ!Cl`3bLBQ!-]zB,cj Pm4"'q P?F);2_p"9WlFT,&Uu|K[HYDy hI٥@=5V􎊞Kŏ .|~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:.IP#gXeF-p!dR:fjD0݊Lp/ `u،hd,!RȂ n:E<ȇc J"BsNPD6'a-w1jQN_UuGU_f*dǹ.8q =+F y~\gZF9H~t#=#6NعVZ|YNZB5squI(}teցǨ-0Рo2G.O "Ȼ蓗f?p_l`Π⨦}{žɲʞ^KxAXAF)jcW3fU"]!mZMQ6jiok*?9fTOt*`44E,6[#c'K4kKŮIJ"\zq%;rd{1[I93~;>(6|c4v$'IY/Q2XдAoFTJKoމg1O}j`^ӹGr"VzT j* &JX1ؤ@= 1,1!o\LM%hVpjq2\یRt~ؗ`ɮ=f A]DֹxिfA/N Z`ހLԝ~GʹLA)%gPѮ#w$@/,F7fULO$~*o[v!K&5w3*РPm*b@?yhU0SNzi6)ȓôSO萲:דL8z1*no.N" yfԹjO +1܏wG9B1WoL"CeX3`#Չ]W:dj__xYΪZgZ:Ir5Vzcq _x&ZCI  jKa)~n aC[ͧ1 %Q-g.b!P]R2*|qD2q Ⱦ 7#r9PT+t+DGt,gYZ  D'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,}'E% Algebraic_VCsAlgebraic_VCs.VC_KAD_scratchdocument.tex7zXZִF! G#]A-MՋhvG"uIBm5^ c`m*~JϰKDzW&3>y*qdqN'EFo=#vx4֕[iNz|0eUc^ @{77][f>14#UzqVR\w̟ | vDbB?=A$\'.9(k D6OKDYU,0Q,m I`zu yH,Ȟ"9mօkLJt8Mȕb_ 靈Y7Bz$Ϊ]$ҌSIe4p4ifz@I[}%8 ޱpAV"ׇކ':Tބ,5ekk&;ܘf+٤h2s/@eg)]g}Mʄ:^!~[6uȀ!E5qd.j)1bns=a M6 -fiIC6 'eދ1ZaB5;:T Ow/Q<a٢4@PWOT"[%7m UC^ G* |ئQw#*)^IQ榓,lj\ʷ)^ۯ7G̔Td\A0̈́bv$#qBӶ%ٸA~X%V #՜MIe^n~|-N@5^g:LU!)V![1akuӀ-}ιQ]4T9CW['vZ= rrߨ*e\:(_n|8V-Ҟ)YA4عX E pr!hL׃/Ҽ@>V1'Y(iu@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!UdT7aEyа*䉿D|kbJ9'k=L8AKORxbD\xZO[-SI;0+ @U 8=5 7TsYwUSzfA26j NSqJ&y:6kW])5QnWBF4L0n^D0,IC)n;?vU^-dYj=^Z~ _$m7m?1 ɞ_;%e^ d?q:E0W/XCa<'>d=۬#r_*i_t'^I!? M=.ݮHr ݏ|d q#պЈwLzأ2)ګȹj}Yi$c*!ҕE/8ZMs ª{a E>~ #ugK)oSM^KF)>)L"v oes m2h=Oy7~DC_suQ0^홪 ^"&=X{5/ȩ+@QLtξS\ \Ξ(,K*E^g:pJ6z煝lo@5;T0}5oM^#;VpDve x8wXӷDT׬QPKҟYNoݥC؛Ag`Š-"1*o r gzg@{fMo{&-ˊLM)AqJ))n]s c=1_;YՎtI\A D\ ȌFd!WG2nfy r2)]?D Q>(>Y*0d)H,%^7Li0ܡicZ{=z`R`κ\Yy,/d>KD˾&R3rrgYZjҙ;`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=&%h._pjv30DJ*g(UyC0[6*+/Y=NzRwq"DľP t\ΰ 6 /$S@d`6B j" AUm(RZLRW<6eLw{_tM/d; :!us,÷2W[: Ƨщ |Xx&;C\N-}Yj؍6wlĖfZׅa}ғ LIW_p\xKB=>fŐ6ɯ A=%LKH1̦^ՃʉhCƫ(rus;o8RBDlװQkoTA!~KXWG%D6yڛAe]{<z=yЄ|cN!dJӱ]:P|:ǼTvQp-$Zc)Gd[핕3Pgnj{*4&s ʼn~OWCσ냱Iv@naQ|-gudğSiOpyqtMg709T\[%@NW D :Aw3{%oڲ^0j^ 㱏ácO'HL~_=X:Wnc4=!36]{uگ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= AJO+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"Q5BuUtZe=gsPoH<,ܞy70o N0:T%%G*3E`l3qGv 5~|̊ɘ01g]hx5ݳU&C5j$X;=e1,SBrA=ib) t6R\$'2B?4 Лðtz%hrwm|FGmI!SBwSw^~ QLC9EOW80c&6:_(c=&F3#hy Lٓj;tAΓ(d>K'a3Rjq+1*) |o#;:Kkݎ*CRzp+m~bU xK7mm`%%tO,2f,!H@@ .⧉T3mCkW8lp`hƢeDK/ mSB~kj&7PTǠC6^D'Ր_(]&4j+%Bd8f9 $i_1Ӧ_JubQ&!Ve*dOfF?c靯E!vB7P ;{gIUQ` 3FaEɾt{:%HubC8(Km 7+7DG؁T"pA匈RP~į6TUvш &p`ٽ`]̃}8$@\gYZ 11L 'M% $Algebraic_VCsAlgebraic_VCs.Path_Model_Exampledocument.tex7zXZִF! ŋL]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Ϫ9\ xĚj8`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[;>2u=K/ԃheՆDi #ĝv5;h V x( )a\;m}=QH8恬ʮζvaa Կ{*o%jc=L0i>PL WO3m1eAJv}i"cH5u-h%r`v%L.KO>|qzrd0P*1(^^tS縠beZu=$W"=6m h$ 4FR˚q\J'tf~κ<doH iT %[ec Sn{+[V;uOSD ',>'AaΓ8={/Jus~7JPK̳<.F*ԙ}6,>!ZNOai|lCg|i0`p[^jɤ(lngV}a'VyQ?lV9M0R#t^Фؐ^5'@'Z> (Е J@Ϲft|>* ^kk"HgYZ  '3% 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{~oZ]Fb tc4ܪ7"=lRlJkc56B][y/ 6 Y9\6mCH-rZϲTѫZa fVQ*Z09n eZ %Pt cON-:fvrw>.uoD;pdėqЫ'k HM>Ǐ ɗ 1xcΑ|:꞉ aqغ7 ٧β/nfPi Q~ Y ܽx8lT}7Z@j-2fLvn{ &): 3j03?J,4`3oiQi[Ѝ/X.Yf!wD#1XՕ! v)(jIw/BգQ3)&W9 ,ZY|Aq8K]O묷tZ=;ym\erھF#O`N9V כB.@kyiXQ!f0":>h֘W<v{"8:cdc@۾JTtD]ܩ{kkWft]u#1nE^FHT Ȏ3Z!Lzb~ud:$Ժ3)=9;biq{׮[gYZX '5% TAlgebraic_VCsAlgebraic_VCs.VC_KATdocument.tex7zXZִF! c]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?`c9 SS* '1% |Algebraic_VCsKAD.Range_Semiringdocument.tex7zXZִF! o 5]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"!$ոN{}XZ_"GFtZƈ%d$0ʺTZ]K\E̠&(|Ƈ2^O!(3 qћ FްBَ$R+ؚ |o .֡Yc]}`EH SFqT`*;{"& O{דqǰBsI; Ԟ$;!N55,:Cb_g;rb >}MCȔbx7e(X[773-H% ˅Ugwl|i袟t#AGEjq\Pz7{; $lhIS:G+19C98oiG.j"fՀ5ъ焼>{iK'lkVO5i5 lھF/Rzi9%iyDhF;'[=#2gYZ ??> ')% ,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$wkVj\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ٔ3g1\xiW/?S  [iy'*zgB\A#yX|G%wVG|*vDn2|.i'2 }=7N/G̐X5!$.)40cfl/O6">Ka+K}H(=;o8 *˃G>n<7F"đ" {vBU)o0*>xcSSd`}B=*JYWuR'ENޑ)/|MhfiEnqvveV@X XSڴpjL,(L"abuVa''Asmo h=\y '"ՁpHgYZ l'=% tAlgebraic_VCsKAD.Modal_Kleene_Algebradocument.tex7zXZִF! Rr]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(⾭f P~tkx!O4eqAxq(czݫB%13|=)I:P`=fzK.~**J}]B0Xw޺Ǐ?z#X_qHBxx4"saEڤ#M$"Mbngz#̠oQpJ NU e:ڕ6!$; b"28 }N.H獵7yo( -- q&BK6*+\-yK<(;L6t<mR2Tc_tѹFٷDM8fNXZs_nMHo#ǘ+}jI T%_]*+:3b]̭J!;s#!P`ҳ斚5liLT'K;*ع"Pٲ;#Ƿu\"Yے,7]Xz=ϗ;gYZ :'Q% |Algebraic_VCsAlgebraic_VCs.VC_KAD_dual_Examplesdocument.tex7zXZִF! \]A-MՋhvG"uIBm5^ c`m*~Jx9 dO̥.E\^HjÇ?O!(m<)MRD9R!UZƙjLhGd ڬc@W? O !CB-%zbFt ]ݸ/Y+J̨q/ff  Vw,çUjTp+ڽ>W~lţR2 FO9zaCbޥE @{r  L5w ujzHqz8%Ao|徣ٮYdY=F86I-0h'hQ@#Rw;^1;qX'hgC ΑȌ 纱,hkN7K`QK29i+/?Cw{fɼ:( D.ʏBgB -SS)YxkUil-i`"?!A==&rZ2'46 vvX_=1[Uiv4zeay9Nab%,>{ *=CR[Gnȵ2Jt$|مl)r=Ϛѵ[]kI{) ## ؿ_-||^& }/[ ]ThJ9l upLHp3-G$]ıv35OIv]=_/13\\ ڕy[;š_V&7UM`Bqy&]*ueon}2!BLkl ]A-MՋhvG"uIBm5af12U)ei4|zhN"\{TS 5ydt#CN,iW}|E8-1t+smtz:rj?3NIcv3"ws%ֈ[zwc VQ[oWr#zߒi-bfnvr^W,o~1 ?ozf'Rh&{)JhGsXmM9eFT窵\G5cm%H-*ϬSM5|xXn-@DoMtKÍ\5POUZ85S>Ş 9/kTޏ?@(47ͱX+'M=+v{aE-GvEy)fwťM_:a@"eH< !E5Lm1G%q~}\c{I8|X;iS*Hd ު@JdYpi9:Yjv@l Gt҉OQKOè<./t#A:J^S@[nG"/3F%87T#*D k&im9Edh!~mrH8c0Ta@7[?6Դ[ tOr%o|u`lyD#mSGvm6Oe-i{<{ae{Dtf_XH^Ȕ]:IDGcX6et8lM$V~})(HUlpDrr}ۘvA>f=ЛEu||X!}(A"$B NaJճע|.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+6Ii`ICPJQh6Ћw($T;Ch\_Cw)Yem&űwR-t:X' 6{\)fc p.*T d^IĞ}ZUXS{nsT!CC}IH U(ĺ ]li;zMvƩnWgVr;gYG|!SM x}gYZq'G% tAlgebraic_VCsAlgebraic_VCs.VC_KAD_Examplesdocument.tex7zXZִF! [Wq]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 -=8oDqWTv-F|EOpdo.U0zͬ׀ +Ԭdk";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&fdUmg Op8Bt{ud?7e?7.8ֹx[b"/^#Wq373#9JP>PG_c;;-(-s+$YdLb 4 ?QdѰ4Z-ҲS;2+Dm'k*ԢQ/ fv `lgI8Z%_V#-MeJ F"ko.mf韈#B!f>)^`HY.G=[wnKm-.%w6 _5wם3-c3:gYZ IU'G% |-[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 ollO"?n}.9福 ך-)>3I2(Gqo%/ˬ ̖SDn5D3|C(dحlP6Tg6)"gM5@<48v0:+[CȆmz#́H:b?hw3r];6/Ki&WQ{ ֳF.{ۮgS;zy])"-Wǩn5).6{5Nlq>xYS?ρZ\ R rK^;gYZ4'=% Algebraic_VCsAlgebraic_VCs.KAD_is_KATdocument.tex7zXZִF! C:]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[7p`<#)2֋Ǥ__:g.-k;g:p‘DP$\9yCZ_W}]x>+:yEtmOW^Vjc鞼J!Rj$X0n[ONN[Cv^wfԆp]`.SjBשۢ\NNsesYY|<I%vgh~>wIn!r%_'>׍X_ʺƲV7niƋ;t!_8 Рc+iMvZCh1ԑΠi't T 4@gYZ  Xj'I% dAlgebraic_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|4O3k$$j:~$>1Ls @zhߌVJfu_t~"¿"EzڲM}ۍ?6^D_| 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}}mH42nFLb3k2H&h+hIJϴ~kh|G5* ;NqP xR?CHb5=(6*Z^cTEES`ZlĹsBD'gbûW;bta)5I:,377K5WFqXb-"HEHye5a"bjzijp k}R9hd -Tg)JZMO)"yƫ IegYZ 'I% DAlgebraic_VCsAlgebraic_VCs.VC_RKAT_Examplesdocument.tex7zXZִF! $=]A-MՋhvG"uIBm5^ c`m*~);>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 gYZ'1% LAlgebraic_VCsAlgebraic_VCs.RKATdocument.tex7zXZִF! ;]A-MՋhvG"uIBm5"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]pZ ^b*saSe[[] P*X(J!)ug-r(3 UXgZzᏄFYW_ֶb\Uؾ̪?txMQog S m5ۍr@KA{,;rWKs90z5CǥDd;H_e'kӷ;NZW֐ NϢr4ZΟB5wsGS&m/8 䓑#ܗX?7ցV.&`VM KKAH[1U{( C%ڔnxrR9S˕_ p)(Z+\`VVZ~n`ْ4?R{zEoz5:K_j :uBi QIWm(wb' PRP;@zcm vԯNgYZ x xu'?% Algebraic_VCsAlgebraic_VCs.RKAT_Modelsdocument.tex7zXZִF! i]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ˀ4jbd0ZӔ՜VAqyw)A9{ˢ.Wz'Y}``̊xHuV Ȩlspmۂ^5m -zGb}*e UAʟנgYZX'M% $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-x ^ԓ80Sɢ T^%D]H:l_wQI^"ƍUQJu/\.& B[?GXac\aTǃzGUKfXwၰ`1.j~gYZ2'I% tAlgebraic_VCsAlgebraic_VCs.Pointer_Examplesdocument.tex7zXZִF! }]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|dLss +(=[@"T'S블'3ppUR3_G{ҬT}ڹkB9esJ!">|Č\~ S|$&)=:e0PZz :agYZ)Ws`Q땖aW)Iz,@3G1D.@@ tӮMrN]څ܎g3\B1A rInO]iAjҢ1^zR_n{Z! ߴlB+V]l[ ( ]$*ewvr<w};RKYb>i9hqݤL,s Qr.mp0 n# %:vXS}\1#;f}Wo8f7jݱ;̞5CY%Fg2ە54ĺb]8ʤNܬoqxMZ-ӷy]k~~ޛV*REQe/A˛B@+BN~.KV!'_n+Ίs :9]+қEA ґ\Q2݆c'-B/~)__gw_ #74e7oS!Sal\퓆KbJ ehOy#NzLc“>\EQB~E%N813瓨|}~"~KlX04_S8k*NZ8j nY9O߻5~wG6@K[s!uA"/ O7Ob0JیߡRzU!$L$~8׺m>*ʠ4=/I},Yf5% iitrlTyv/F*]묪h&g$h X\'"#?z@#(r.lpvxcaL]_.d2e-o[ЕU;{L?\O|^lq'IwƘ+5n_n?PUO53j^Ҹ;=*hd Rek㲛@Z8HҶw0r=w2ޯXU_86$9;IQ1Q@2ek۶W,Wq0p&ZWeE&9yb#`BwE@NZˮBBFRR3o4Nϙ]R^e":Z1<z` %{6YIĄQg+tփ__mf h2\o`5yg-A@', hÜx@}nX£s~ ҼU֡j}] "sh$) b8 N9-W\f6K̵}Wpx\Mqy ޡ< tj|y }ukSjD6MXL'vwQFOcg;ԼryG|"#!QjF(woѽq`o 㲝o! %$OnBA[LeI|j3ôC:Y IpܳQAd)^@(2#D~2wۋG凣_3# gQ;DqzT'쮱gYZ7zXZִF! F]ŗXiɟLZ+ǾtHIKUhS=Wx?Wk"Zm`}L֗}XAx$B:>dҞGعG`8oHوy}Dw<~ʅH 2ل >\`m0({<2d]9X9j;H4af*\Wp*op(ApK~k<5]Te誜dBqҞu2LޗΐhzgMAE$]N:+\S[G 3cܚnIM)f]_u"N9m&Hq)ZrA} R֯ŢXT[uMI3%`?IJ't ^7SH47vZI'eR4")&;diu+]箒K6tSdD4Y&~ل5zߤtَo O:!z "8 %. ־*o7^Ը{5fGf%C{o?(լBJ:m~(׭sU&_~ū&9B-.A۳wF*~LL̗ bfѰ 3LL+*ڋ dӈ.2"Š酺!zч`='a4{1p !6?qy:}*] 7V=@K@pU0$T>;Fz-:eV׻#-|P:ALqT{V,:z4OM ; g^NA`yFH U9'טUD"_:nw8.&+mo1` u/.F#ֈRC hvR7g!s0{tqW_`ڇE6`ڛn9UU hA(Aa[뭴"cg`q4E؈m,⮍$Gaok SIEz !֒SMaQJ4}MD# hf|bOo,<)zR5+l 2p8e)'GjXqrR7Y#@J/ #-&ɟ,Og$:袿rUܺElzHz 1_σq&3 Y P>+a1.FYuhfhކ8ܽF_dim嵤NkE( x9J'Pp;GwW 3iOhPOTaX+[Y}5@doK\<% $;|!mhG~ĩ7Cw5EY_)Iuj rQ`H1IDSLQ<";L`!5>]^wg~PU eˌ=qnHf3/'n,*uuտ0GՐ i'Zqs~ǭ>'z޶ƅR4W )5¡lIfB'Fʀѱ~uV1c% Q=}5!^U-!K(, &$7hl YMKDzK7c|hԜ<a!_ N=cnqP09_S!!\MaG 9`6wuJ{fn H}"M`z BI%q)>MtHdW^!%05#~ehBޣ.?RBךmBMMs2Agds\BI^6Y֒y-Lbo+ q %M_,3ڂtUS0E7,  hNϜ7{"IG[Otne:=uW\d`<=&ky-GnٽlH"zbMT`h1`vPzB/*ȑl ka!S#ƅo6۴ ?]6]hA!*6{2u^~G&^peO ۶~h­ޓN}5ګK { ?m|M0/J)H0 Zm=]Nߏ@y3)ߨac.pk>{MO=2F|6?=֍io͐| ?_]­*w4īX`1oW?-ۦ$-y_MH.FlZbvJ*L@i+@X>{Rz\= _Qۜ<{(VJ%]t%I%FՃ7/j?rOnm+'c-?"Q5ߵo0R VͨѰӴ}yqC^c1ÅΦHt;t)d4De:mG)PDɋ2-s~?Yń J2=ЁhZ4ă=6yeS)߿=?us>cI:n j?ShIFY77R>OzBLH!B+St^ PQ1uDeD2R K:QZ_Q+N3}m"f3XPMaTh}~%P{D=ۀ*{1 C$?6ڝ? fNPl%GQiAlp_ZB$3K2LvI|oss1(>p[H>""J }B⋺$VT!Np>95>ƸbdHNac5ح\(ДWțu27xjj7CƩ/ خ2z&آ,Y7sCS']/h(xխJà`:gHnUGފ=v1;((VI/5;.oO'6-~,ϓ7q!Kr̅0rFu@i .Q39!C: lyCkbޅEa toFsѸgDc|kւ"F,*IԁGmlG"<Q)y{&ÝҤȈ/x;?KR~ wԇنv|qz} +s+)"avUTR(zx>Gr4˓t`Gg *ൕ 8|*p7K'`3%~$wW{ׯڽ23.O{s/-Р>-Ӷcg = u)c/BK*]8R&S,t%ywE˂N3`wU\6+ VxiMtA<ʷ(G4؄0\hH™b>n HN(OWY %Q)|ԑ\!#x{'cC"ErA,GLżnt+@h+ M!lc׌ "ݨzrs$ 6Sя).]8--e@DV!F-y1KT5'b&1` rXG+UaLwyRֈJT d{(t{+ Z1dNg"wWEhB(x#>ɚ(̶`M7zjt`wZ{P\ܑe#LǻK[@Rьo+eY_[b |w:Ĵ$)o68ާG.?FWXDB Z{&sO MFzS݃K>i]%H&RƿM/jwNZ)s m%4 +DX*ƃ_r(*ʈP3^:JpQeeLT>vG-@aS \0yj9^V@֖%.߶c էY=x1'ѴMPqSդֹN'$P}W \0Nة#9BޓNucLb3%T?='<LZO=C'{_h p7t-MqZh؅*Iض.V'. ')?:w~"iv,>犕rc8]i±E)={xY}[S,D$2ɰcJ>e}Pw$Gn~ ɩ_V.*}ryS ~m[>{*feǁH?(תt/?;I!HDhMRj1Yd4UPT >+*G<ֆ2x) ҺHU/tLFZj'Xe܋/>JyUsqWCa+8&Y[s`R${ UG>S/;Akn%Ț"<9n vkE$zB& 퉮O} YjYCH>, ,r#B0q80T` _&Ӗw43ZuӘ1YhaQ=QuT++I #?ƫWLv-I˞>N/߃|f >n<׫1 O] _d]\|{n0<3ytn&J6rWvW[jN |_ v t $k}J' &Ҵ3mv #b)}Y{c*J2"ix8֒D\ e)bP9r&4;pwwur tPD&@D4}:G}S$[:g͑^Z̫PKGRn(n㦾fPIUmWr:=!XP=W$JЉ֒4|0[/|+jS,X\;E~vbF٭=2pFc_g"NUoB+ $ QW);h҃g޻|}(qVs>l{!r #,y imJZBlI պ)$t]{yұ_Ep쮞$W=Ef4M:,uɥyEg0ԲazƦPoޏt}lD"ٶF&'=FPx`խdg0<~p!2T9G~y2(sպ+o,4a^Zn1e?Uuu0 eÐdN(\YwR( QuoA+hJcg[}7)lY uO;`t{q0߲ `TxfI7QAŢSs bt`*Dx0X4^DC|CP4а":B.Ш۴X*_jm,LɾUW=\zY=6d"̚ dM T2u HH Y/"@Xo`Bc!R_%Fn ,*=Tξ0e\mӝ[CߎgL" sXc a}"`{poܷZ9(^ewg-Y*}Q|jF,(i?\D{<ҺխQ' 4]'U0S%WbxVDq89u\1sLT"3WX `!UpL[跃l  S@ةDSWŗLaM 64T)Ss{!~>ź(Mtlh24K Df'-Ն;IK>E7YYةHT🾔ҳ.Ԣ?5]ػK-e :b,:rOA,|2d˰t8`}p2Y<ټ,$2+ǡiCMz'6&Y*#U_Xl+?ybtV Ucx*jSQGm.^#i]k !45 VȯOOL0Id9Ifi%˿oC ^=tV:d[vb Q&˟($m="c ZҘZNA4T *_'o?ɇ P;Fq_qϓ=0G%=p&$lnK}H[@f-QR fv- ҹZ~Iұ^bjODt9++3N_. o f#h;CЁǣ(-YZ=(o.()q?{$'R9.1oDKW d9{۪NO**y|(~=l»'DbxGhZ9;g f| *2"ᤨ=qb"`7(Z ǓL_`v%"0:X.%U@zHT}PSmQp6n_]3\?f4[8ԉu׮#BF!;)?WsX[)$M?v˹'ݶDYQ=`;Y "Me?Ay;Tԧ͚OEEԍ2DEKoUqQZLXmSU UZ?IHtꞷ Du Ei5koT'(Qa쇃mVVhJNxc}e>0 :O,{> p&7}d(&9mM]G/]cϫVC*EROU0/?u܌Mo6fW=v)4*[,3V k5ԝJV>ApGq- ,͵Wn XH2w$_p3ΐQDV-Ǒ֯<::_?Ԝ0WPWzTL\2/f'=Owc0zEQnɵg7B @SG==RDǷ61,ur }[7g4&69ײX4d3T:Y&Ç>&-E9n? ۷ZUGcJ7ܵOnk`)p7.p>޻+l #bO!2di+YQR = ư:=c+h-=k?JqfϐKq1r 1%62f[ꡑED5)@o4idh RQ+?'CZ_^RTƩyPGjx*^_IdP@,h&%}GXp؄Яg PBVy45Y}nnF%5kR>@Ȧc[XIF9Rrݷ`ME~sZ/!PN"!hvR&zG/