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 *'$ ]% Algebraic_VCs:threads=2elapsed=209.659cpu=379.208gc=26.788factor=1.817zXZִF!  J]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^S4 ffoUw.0{%Z"Rǀj:Ǔހny)>ʸGAЛcv#/Dy3XTx2nw3 ޛ 3HuϯǤy3)~Uz", S{:s!=*ًqdy_5?뺒LHdR9%YDy ΕZ߽8g> ŲSB&v/vP) ! mm~?y҄E뻅( ' 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='I%Algebraic_VCsAlgebraic_VCs.VC_KAD_Examples2document.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.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.tex;'E%Algebraic_VCsAlgebraic_VCs.VC_KAT_scratchdocument.tex3'5%Algebraic_VCsAlgebraic_VCs.VC_KADdocument.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'5% lAlgebraic_VCsAlgebraic_VCs.VC_KADdocument.tex7zXZִF! h]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= A}'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(iujҙ;`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گ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˾&R3rrgYZ GG_';% \Algebraic_VCsAlgebraic_VCs.VC_KAD_wfdocument.tex7zXZִF! e]A-MՋhvG"uIBm5^ c`m*~JIT߭Iےd8 ng;(#S9+,NHLexS([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,JO+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 :'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!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(⾭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 jj'3% LAlgebraic_VCsHOL-Eisbach.Eisbachdocument.tex7zXZִF! > ]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ճע;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"|.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}gYZJ'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&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 U'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^;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  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 I2'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 :agYZ4'=% 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  %'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 gYZu'?% 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~gYZ)g`p,tm !pdB.uYf:=:"Ljņ % QAD^mQx +M:Z`~O%yM崛xoMMP`j&c/#u\R@z+(MwuNj\FvrHצּKr,<-1Ir30ޱU 8#gr ɡ}HprGE ao n njb=Xƛ]~tbj5tڛ5"D,cI1aF˖߭Rq݋N] iN"3kXs/:{ Y+xENf䎄GP~"c;f;Z 8߂Uh`K{,|Vd~=nF#詌΍(7G[@WI8=kxIRc;xzUbVqO;G_G6HBP\ք¤k 0ߋ]Q 7._whɑ7HlMqƵeƈ댱j[8;|*76?j3v b՜D`åX xp)`BK[Y{fO3{595(a8 xy匧a|ta_d L@?|+FO:! 2@qʎE@YҰBWc، <+E>h?2 Q_J,-yRiJ Xyy+8u&g9Dyr꘱3z&gPl ]fN-]mvߓ?5t>6Z:SJDRoȥ0{+s:` & k|сPcUdg5Y ϥ̀9MH>.jM Z=|ؒyk} pF߭6 6 8*ȦR-<Q7yV&,ʅ|; gؕg0$5YzK)U~L~ۖ`PK}ȿd^,J=fy/DYp($I E,am ;lgȡq~n3n6Fo,#G|Z@"U4Q'!qS. 1e4\3Ѹ ߩMn)cie{TX15ckIݥʯ/tвrX!k]ՕX~t!N|@1c1;eZTM{̥'ӔF!t6ǼfYl{{++ Y(H'zxbfhZ6*- &IZn6,Y)N@jNX1r cE5a?q[ l;똪Xi7 Bc#j 6N=SFticB A6f+cf  ЀJg ҮFN@Fߚ9㕢bJ!?wL>7R] Mo7}2"J_y¼Dyq! )=mb|;M5]JvnljE1_>;zzJcU ["GN#u2-bʼn#a,.z s~/竦Lb;dѼ9lUzچmJz^ W/s/q@G$0rVZ ႤC~-(͜6-[*YJt=pŰ6QzxlǷZL~Y%W~TJy1ȥ^uLׁS(|{WM!D<~*e%Kgz@,5DS>pHo]!kh2()r<O| e$ ϛc|29m%qo/nT;S-3R"!=_%*Å<Uyu Űq&FN],5IhRGi`輬)Ɣ&iTKiީj@à ZNڰYϐML"p#i[QNejwh*qQF%,Z{&8԰9=Cz}2s> _9r>_‚ta[j~ $xkϳzq] :u>bTi3EBir" /)ӭ) \crS*˩nA9f)C5'vg^RxFr/YY!3<5]6Qoκ? d"qqÞ,}/ ޸2Zݲ5$ ac^7`sYy;(\Ύ#Zs+{Oj!:! ż#ӻebb ڇaJx4)d5Ik0@C\SO[~׭-15' E qr(/ ~NCΏ X3Y+7Нc} @xn9gLס^8@14<(pR6ӘLINZ~iǘ;4Q|`;BRΝ}bD\}6VsY$yxlW1NnjZNҼN8aReV5f-aAoZ3o`g=zd5ƿ%9 s1Zɤp!O+Pnw }&'5Hou3aIj^JCW/7" z-0K֒\̽ѭOcխ(m>\w'.5ܪ,owL#gYZ7zXZִF! H]ŗXiɟLZ+ǾtHIKUhS=W`]R/=ycA-Hx ]RqLf bY۔Q_K/ VZXhyԀ= F u^Ձy"JTp"̆ܤ@'3P"Qse/EzX%EIMܤ¯q鼆fUv)!M 9:whd F 7ȟ[SO b rwq!v. Kfd$j*?PbkŎ̦Ň;Qٟa~%2| h gkE .3TcZuE5,T y |S\f,Ah{)?DO큻oq!Y%\,&|, y R?[_u%yXl^_fj˞/+)|/XX` XKTjgYZ7zXZִF! .]ŗXi%; 7ەe]y Yϓ]:)E.iaF9[ 3xIX;nŎʌ6vp?x]܈l")Ny"K|{ӟ×Z s $ls2*؆k#d9W \ :n{?(; P{%|?^|k| 7߹ 9i*̝c8^u) jh&o0% AF_k:)/ Rc}KZp  "9V:mf8!֗P()0_z, T}Vd5_&K"tsbc8s% sF\v:J/c\YIfRh[i;FkjzA9PO qOFm=De9 RϮmK0AӉxW@yԋV KshDN!{2cMy-m)9œz eo1"bBLP#&ctfMWz|)ˀVp{eBP|Osijr.sdbJ@f~tz`7:m :]?C'aG#Taf˻tX = zҕb I+m݀8 f[yP(<[T.lEfO,!u!v2 t\|q=i{CU;#>A۽~>?9#{lU YTJc;^p1ry-[[/ EO+$+@??_3kZsjՋ+erDM\˼3G 65__?(sFPv*H#]( _>JiS˚*q U&9:p݌\&q^Yb;nVXi"~U֝ܧ:ǘ<ʛ0sdQoJ+[CWU?Xʏp$ŒH&ƶ\^)ާ[ ִwtiހr m"7Ri7z& 5N1_ /l *r5+*5X}3{W컏] Ǽ͒P6eG1hư]L,ܮ}{v.,EodA9PSkԎ5j](XO fU ng'y{mnI6۱Z|$ @ \Kd\FO͉:bH3=BɰR\*~@ 6+}Sj aѹYo^zX尣Z?6㨒\Yȧ`' ;aUk3ɍv.PBṼJ?9\;P8ѨLȭoͩ\oZw#1,6-@/=ozͰ8"RLUZ,zhO'"ichZsnh0T.n]{&':b ~ ͐Y'-$F VF&+x5{:,"1[sx;v&}獕-v֩"{*aOK+>. .jo%h䧕\7l>f1P}EpNo}@KpGNx}0p*ha.ۨen&y8#φy ܘQA"|/wc~yf޵ 0I@e'T1+T<6zړrZ[oq_t<a kO=G *QU@WM(Flpm/u=֞N8iy(iPQ^ G4Rbē\ە2IwY+mHT*A~DC;~' H6-Rh#LHsT|.cmT+$Nft,f6ցQ(8t/#PS1еƌ< צ UF̑t+Fm3&;LBJ *y_FO*wbYo=}392EdG&EM? (9HF\M p)ST2FlyUTONֶɛ1N:pxb\A8|ZCdw[ 0CAL>@Xd X ([zĜޚE\xP#7.]I'ӹ)pAY4si0"%óTzM,h{;h b?qrw&1w8=oO ".aډ:/y`"r#Y APpKchp8 27 |uߓ* 1Rl"9eUd(Š|6( i4i}>8n붣WJdV$\^Wpř C$y`i\l3"{ _8K4'/,q_T9tll EPnba=ْ*o)hy’}I]Muė_!h 7#Ht7"4|N8sJ0vs`j Mۂ$n4|1 :BQ;r~단|NBH+ͬ_OG= ݭ8J9Sr|T|4Hp!)혰^_LG„[/zc/7'(mgNjM#J}+U{\Iu^C%AP$L_l'׍JQZrRtx~1fc.a?8,8An69y"TP~ӒȲ|gLM\֎\TxYwM]b)U..0qɖUyǃJwIIXl#pUH:aI|e/$4CR1#f!Q s'T4#f7++< 5c\ ӭt# tܝ]UƤF/(8_!vY9y5s WviT`,'cb}ZCSֹoRŎʻu8%Q3KV4c{ŴHR: }|=c_?<G o3nƫ~A,e.vGhꇫܑ4Ne],g*4IHGM_X &V'D1l/LwQu~ŗK&.^eL|ݖ jwls<#"\}=1, 2PR@DgN,T(y_`ehz5ɾI g D_)$ wۊTBJכ$qfQĻIO8_r+!AžFXd@5OrM$0rQi QDG[$-%JG}F.1lл%uf\S(QaU9iQi􇷩hdbH\ŕ ~џe)1DS*>j[TEN.|~d8ժjx TD^>,pBnE&o1+IxaҒBH^tla4RuڝOu{L Q:ZRv Z+_u1Jd8-T$_ik: 9)D*&NłXBheQth߮piȯBD}e@)bPV1QJ;sv#7ҙ ?gs,}jd3PH4\N,m8"M9S*29%.7(ܞ #H kxISW•Js6hg@am}RҒ03 A)R9Jtka # IWMF tσ妶fAQM \9Ypr|p9_ [ j(&&4^2*{urK&g>Hl9 CtΕEoL3h8E +ʜ~( <%Qyϖd]5u{R`AqRdO:u}Wſ&M(NjP6ϛY}l_8? wm'*3hVj\Ϲq8 %|w%{'R`cCm$'Qq;WF3DWS6DI7[Sꖛ_ՈBf`2bW<'HEUK6-2;q@Ѓ?%PeUM@OrL'ph\r翹 H#۫CGȆH HBWaYBe͓<3mpj>(g{8Ý5 c0q7gg͝'^K#`q=3mo7 ݆Kw&4Y.%ܲ<$K%O+x3seQʗ4&*OxB!@᲏?b@6Va\) iI3Y\@'p{ųʻdg&gA@RYn>5Wת@Cm =N~RS1l:+ =\6C_N۽O]u[D*o)`(K\Ԗ/X.Ah(BM8Fn8cN\XmʎVe{JݒIMjs&@_#~ިPXly*17#YY}C)TEmbPY0ػiO[/O܏yf*l Q9)P8 OLSaLW;M& bTp"ၵ`~[b[36"x|PQ{ K9Z./?9TyLxȭg h\__M͉`hfTq#; =$a؀"~6zU"ȑA"=}bPXE/H{L34|wr Q/>c__?x qjܔt_F=퉙Wg Cm D۝JL[@U@,FDA-`P,<W6$}G-ݯIzBHi׍J#@UF 0Ki$tݰўh$ 7lTn}jH BŶbX [<)Kp"ZPO)^[1_| :t0w.Vj:H"o#[å'{pE$h.$e%sW9o&۪;Z jk Qm[&꺚" qKJWqɕ>~ss*QO]kٔq )lg;Y9ɹd%T2"c s:Y{7U$YΧ ÷smD)@_dۑߍr4 G=F5Ѱ#%،ZItfiEz~s;XM;,zqڦ]ͦZ)#6 ( u]WX 2Jw&+qYf Vt^]Hí/Ƥ #fps|fLc?OER|c֏kKoo~{A3׸C'ʧ@\5z( ~A8]: i*$J~b/#-|/ >`Xp~اo/+}ȟ`XpQ6wfvxoW; 9i7@F(Kud"C䎊ª]h'EzXj; _%$wI֥\\5]sWڥ{TkbV cϜ;n5Vh*xkd@= es<kEUilj? X35j2f(- J>Yq&ѳBzή:f8uF`"HV*3C14#jV7!?ӒO(jGcDߔNPu)/UdoCҽI~M]"C=YJ^e?g!-Mf2>{2Qgf4X/`O!O2B "nF Ck%{apM@ZIooFi!d vՉPxZ~p唺VتpUo9Rb:%ڻ۰|`p4mjk53"7,U[6o\6X;ǘ'}S^T%qcFH".w79&5t Z9ECYn׃M9"TICsj›HRRzK@S j惬Mtbn@1 )eŐR)$]&nUk%%r+d陔2̡|t HWHP{!]x`I: /O“r$/u2& dԚ Λ3C#Fh&ljX:ֲJP (Z[u^f}V?o#/Bu n_b^% ^X}l1gw`鈪}1Bח̱j8<7}N .(?j+W]Ou+֖8$r+ cLBNҚ3Quuu 1X݊_\zIW0 nGatv:i>]`NӅC^J?'KF| aZUe9lz ҏc#BrZJ+Zh|p3]Ih#2϶UYEvZ*r 9#n1Oo'P9k ܨNPϾij͠`S(=bSKYys>7K' 2<2$ a<z|w[_jBFaGH2%-O<;+H~8M EF |T<xvbp9=l@k%T/JΌZ0]:j8Cy0bzmB >0fQh\($v)1 EejO, rogȵdcJ'dP.?mL.[!Нs|xj8VyV!B[+M[;YuL;qjEQP &= ڪ 812N]#%Oz5:SJ.r[{xw,k^[u:jLp րK7GLlsU>.ݴR޶r>Bfh@gcX{@<[t[^-cߟ˼-V: ͔uf,D'('ǜ yΔX36u2ߘ)3B[ڄWxwecټbL)k%= RfSPA(`yC3!f`إ.׌ᓵ(L1 0?P:ٛqgE[EỎ]\q56 9=zF˧ (ZЫ}jrٕDcbY3MH)}JZLvt*qDH貁$%UNP`=(Rd=v﹦|$1'%[:cn5הx^_r;k#Rg++OԝG7?x0Fl;#HgfKB3S? o%"WAK$n~Y*Û/xY~#{Mo% )w#Y_1eٻF4vNIGHje>qHy -~Z=6N6iA˅23挸pnX=Z|U}La~;oSeW>1- PZ]󻹖gYZdd14f9a580d4b3be257c46848e3ca9367aa4322f0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 87718d0c1aebf020a6cc483886932b0e8197300b 1fce1a0563686499ddf5e53700a579f66385745c 9fb0679732271db286240c2bcffdf857033f9146 86202a27c6324a6838534c9e6516c258ab85cf66