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 [5x,t ]% Aggregation_Algebras:threads=4elapsed=107.829cpu=203.040gc=7.2607zXZִF! p]ŗXiɟ  Q V{\As.6Yv]ŧUF*`gb7ţiF^㹣҄M3mQ Ժu2(Yg[dN3*8 1r8ׂ0[a=\SChH#+Giddʅ;;]d B}Qh ei_菴}A $2@@+W;SbxAʳҦ큵ɕc\;9mhr.s6!26qxGXaٖǛW&͈B2ilplػ3N6^=hI xϹXc>'@&>wbxmK a-@@](Vg6OIz6 jGz$>)eQ'Ĝyy*$ cw̯\}?\ $#f'޹lAiq%d~!5Z7\5(w'Qg{ [0 `A YCsʤ`U ?bAR?*a ǭB#6{yuv&Vx x2Gɽ@jo1ri$W4ǨCD|# 9^JN:@sfV~6/NG a{3߼79+tQe vlzPJ:k '&J?%VMcYyl_ ۃ=x[LZ V봤;E7rruz'_#`1NhJba\E֭{&4(i?ص'I7#(Ժ#2"nƼ VDnхҲc]2ނSX<*8nf!iɥ>sA, 3[^Q(= qSlQjq1B:$ڴ9TJcSZ{ yi4=fhB%6,yD"U(eaLpRKI;ã%D=p*\|9:HUHiG*ͫ"z 15Cp@\J|U{.!|f?67&HlH$HD[: I9Ss7=޹[x8ӋYGaHD݌5GL4GPʡ":uzp\FAM˯)X*n{Tfk"PZNE\sfAlYkfE!)lxRͻ`'k"N<0Z0jAդ?4 RJ 4 vP]$wWN'}@O\Ja,.'csCB.޵oǡ~ GrPf쇦3A.t6r'qdT\8E8k~w)U/gօǓYk`>NXH l!Qk&kK6!1)BwSO'?BabkGz+Ж @e߭[%Y9]e&&AӁ4'gj$αZh ]}u^0vqpT[G(ZsPVYY&)y"Rx퓏AO%N)GM"<]e麍2V&Z264WWBik O>bL0Oc(SNGqlG4%/Su ΈԘ3cHnM8LJ];¶: ~FlQ+G (Sۺ_H1PH[fX, ~Vb揳V;>k6gݜriH@@3317V=:gYZ7zXZִF! ~#F]ŗXi%D3>?3X{-J)8'sy6O~YS 0Y=et1]°&1xֶHG`9:Y=l$*[0hŚQ*B=5XMNKwڗVgWwEp$L?0|MAfH㢆ec~fBq7SyA7eq^4n\9\]Im5.C=a93  ?rNy(` 1CY(~)2.-!8>S dnlFӳ/m1N )Iw׬(it({0|ꑼ½-!c煟}֨VvnĔY;91F%/ Eާǔ\8H%~ݦ?{|`_{k-v  uc"A4XڽXr~. A'U`D,r+:ßU"šrH>~H Uj,"`T(Ii#懺"AhęL0{XR)ao WƙAF?|I5M*{9iCq~$N[ 2:71٠>@سx`8;n{{ؖ#>TtvH7 =R7rh$E'hyXC}TqvhU .e0 qNvۯj<>Vxlp/@&s|E}ǀe%;z]+]t .%& 5 Aggregation_Algebras< 5c% \Aggregation_AlgebrasAggregation_Algebras.Minimum_Spanning_Treesdocument.tex7zXZִF! :]A-MՋhvG"uIBm51dw vTYSL-v9$lV|Id5*q@1̙j /R`F-lyFis%'xF^BWVX7q!J!^MH@@)ao nmڎTvdr gϗ*Ip%? 6N8DIFZ>*l1/m L2M'. `+ 4bXg^@aHy#ع1*~1٫w0KQf]Rz/bFQV qːC:tULLbȕr_F;Wwteڮn[RX'  LHmgL"tqtRURxbc03'3p % 0mQs%i_&\;qU `Ws)!j6~Awaz0krypt,P–&SalrH2mݤ(S3%>3b$hJ=@8 LXmAr:EdlbDrwVZ-J(qzW)|9w~ .=/A۸(If|ܨRCx~ey 1²9GwMVzs`"a}Bb0.?e$)[#;;R{UҔ𣏘#v߈AiW4/8xKm0E40'2w +lslfc ^ ``'-m86v$vͼvvg-eN750,+(!C?$EFI1P]wп>aOcM7o%.s;lucP\-)%gl5Uʴ!:yO)4u׫/_TCkAA:|;"QbaeMH6sLȶC V ƬhCEA7SnQ͹Br<%0|Hˈc_UGQ㏓h^Z(al[]nul'&Ofe:)sӋ `/H5 a=M8;5"&?EFXt]2wT$H#/Φj H6׻tUx&գx{1Eї՚-ǫnZ,۹LH '~晳Q*ysx ~2qǪTkDW!w& >t΀{N7BeSi]Xd8ω=qfi^P 7"Nů΄w4wۃafH-]N =M+-Lut.Wln&rξVbŘOKprEpW.'2c. $Šκzjvyр ~;mF-Nޑݰ d y&ho~:z:@ Hvݼd{B%KY>{&>}\ؔ6蟙7KF0]meȌ ZaTJ)}Tt8tiǿ 䘸CSYWt$ҵ p|pѬG tّ:yKlO*?a3욉߻谄wr` 3B.q b [ _ˁeiw1JB*M`2TV jb^&ɃIkv@fhs ۋѺ3LPFPsmS |>ی 7O2a/`1"Y~g뤊d@uIy)XaV˻iq53%*Z?Uy2;@iUr;r>pZιBp¿vjdvŃjt QW.FgpAoO(א <] U|J4/k]QάR_?R p/ cYŬ/-\P$z&L .(H ,tmӵ$K'XP?Bv*|11=w<YEƋrQ9˺ Y*F^]s*12I 3&OQ\nqvXQ^߁ZT 7|3v T 5S% Aggregation_AlgebrasAggregation_Algebras.Semigroups_Bigdocument.tex7zXZִF! ^/]A-MՋhvG"uIBm5Ȣ?uwˁRm䇈]ŠA۝M9R=*vU60F\Q& E<HgQf TBn8N'CD :oGyqeLX2bQE}1`/5C 3bYݢ!I*iLY;ΒXQE[J^J3իC6[jd@$O"{CXk_'P$UJ|-HnC!V<HaV8GrA ۫^v{H5^D_   geF5M%Aggregation_AlgebrasAggregation_Algebras.Hoare_Logicdocument.texO5_%Aggregation_AlgebrasAggregation_Algebras.Aggregation_Algebrasdocument.texV5m%Aggregation_AlgebrasAggregation_Algebras.Matrix_Aggregation_Algebrasdocument.texO5_%Aggregation_AlgebrasAggregation_Algebras.Hoare_Logic_Examplesdocument.texV5m%Aggregation_AlgebrasAggregation_Algebras.Linear_Aggregation_Algebrasdocument.texQ5c%Aggregation_AlgebrasAggregation_Algebras.Minimum_Spanning_Treesdocument.texH5S% Aggregation_AlgebrasAggregation_Algebras.Semigroups_Bigdocument.texx6v㐁'B[FY1{+YwiOx)BWJsF[(% *yR0}_={<ͅI9Y8@y5vT;f~qV&K[ͷq4D,ɍAi!f~Ԃ|åF`0؟JZ9WTyeq?{%6++MVb+i;3Em9QǞȸH5,Vj,+mmQk%Y&ٚ:U +4Q!)(VAϡyF~[Wx6īzJџ|Kᔎ f(8VdF1d-e |+鿂V`ǎnZ/h&pͪwRE;.zH텫:IeBhTP03<-'  ,SV-OnBLh_,t- FE]muP `Ȫڠ6>` =`ޕ2U?JMBg\+:7ƙ h+3{-hɮ\/rABEvS)Hq %EUu."MC$^UIX zs1FAmPBt w|Rdo3Db9KHMJeٟẜs1i0j9V Zoͮ~eH$8skl$Ȯ1@3Kpw^X4RYN`DIg ǡ*:V,7@I-e,R"ZP<p\/O"қbWR$f/}DuM $dZ2O7OnLՍBxaHS: ݛpOtD;bQiS0?i}0 5Rc ߭4ӯUKkdg2|IIA3?FtLEw<bW)'r\hH7{FKD{\<Z.f[uHf\,c΅+eVR׉M-Mwd,0jEы,ؾ]{*@]4c嵛HוC0^[ ;j e@|:ͣ, 2n7]sNnFd=vd?䛃twh@e xoFJIWΆyY/U>  A0G9 9,VIQB οORBr]/{<'q=-kM' P6PZHIۑWj)q2r{ z\8ØL^HO;b">-i`bQUpo5s%jT8/Y>Dᰁ|eTd? 7ep`QwI$zAA0|]Z?5upCHBqAzwpИA!.n@"-z?6 Ct, >@7qyJP1Ԩu dhZx/GĝHlAeg'6[tXPΝ 'F,Hiψ (+FR^ xθa4m۷k}uedz<־ՇTFUO Uqy9K`s19סϹ ^B+|A+6+{ui*Q\KykRmp*S"hUug+U_NQF:ԯ,MJ>$"+~(nMh8e̥`{lcv̢gnvI2Jq̜ Zs0ZIY+z>2$zKb3 vV,|VKGOSamN՛rH%8=cG͇3cdtnD x`ƒKvxORUf\8̷Hlw .F/jO~3D(b>]U WTg6 kVQʬ-)4O}YڥDRLT|t44@$8]qa{֠P`flAlbb SY~Жn̤(c R'Ԭ/jZ&oy: :xߩtZb۹@w5diqb5̋}@[=Ȼ殟Ʊ/(1G ]*r_\¸Hg} 'ANBu˃wf* tW%Z2n̗<i) bs):$ٍU4 𩙐#2d ɥu%*F3u%+XNXhզ|hwL)*/֕u)qn78Gg{qKt5A$x B [9C=-Yh.NTR|;,VJWL%~HY[rR1qnZx&+nyF0QEPq-XJ럲"="D'UPQ1 ~\,L/O%W ڛs&nVw2vY3a;.\")xd^j!.fgt IRuzbp[B.oiV#aVԑv{I^!w ԓmDCVS>Gm{@F~%aÈO_IX /g7<"z%ͪNF'ۣg.-p%K=)2a2O/jt Mp R%_l xFc >U|\u~hiYҠZ1?[ծE99%0 *&eǜ(V,7w~4,: ^T N2Ux\!~͢q~AH5!AMR=MC_NXfEPsTV0?C-O|B?˭`j0o7GP,.my3VQ?Voy#9A(qt-|潞zcan+7/UC4b+jgK1-X|OTti| 3EqڕVGӌ7UxqцAwa2+f̶U1bfK;P?Yv㺬zORUT}wj>6ȡ!Й: xzU7T=rO_#M21o-ezfڅ}5xKF UYxLY5i/!zϊMd?EUjo ~BÄ^ᒋcD@`dUt v-"4xkGNY Yn]km+8޶Zjٸo8}x <4ǥ v0w8;oVσ$P}}33 .iH(DƔVMb8|e¸RU^| RWLՙ6`=l Wӎ;ŌNrNM[KCEiDd@eP8R8`͝vhj $JJ3=N`49lYáL"&N+ xœM\@$;ac8Ú]K[ȹP^K,-#G3 i d4GёJUr${LU$SW6y3q&&`mq:'x!T׋99;s@>ktG8ԺߊRmhγ@7JɻJuc%Aw`SA3F8U|'mKaDM,/4'gl".n⸼GQuJ%% ݆ <3>h]+!*-R)%niaSf_cc~'1rG7+:f=l3Jl((BEnsحCP & q#)4?!IAVr"QB۰R ώ:@Rf9TV~d_ F,% t"lUE喍|dqM 6(W2{]UN7&p\cQD˶S`RgMݜ[Q8L` |xj/'Wa 2b z#H,毙B  ,19%Q"PF5wbrpĜ=.n>2x8hf:D2Rg`:N@%AhV7ܾC4#F-V}Y# y*+6=Rќݤ*Wr \ D7N],ڑFQx % 5и߲F'jOn9˭ֺۛXYۜ`IPky ]~B("|CޑGg5Rb! 93~Ng|Q`@/+ 'º&rIᔄEluBGݍ& 09Ooڀ®:lSzSdoB[K]VžIGY!(tو`q{~Vǵ>r[Y0PLx0Zg5' E|[z~<+ {YPICɃˈ/V9/SVgPy 嫗.Rv}Бܐ^>qA"C4.}Qo.?<:ԧ|XBVrqi{uXJqoμEGqy Ov ` o=,3nLϠ}[VP'dCzD *:FM:%sp*D9Ei+ٿ䙵8#"aj@Byik}§NXpؾ6 jZZ֡; uei0eR֏A2Q3o \%38:B(`:<,腍Q tKF|x̅PD)}; \܀.EPsGZN¾: W.k)絷sRl/\ۦ$(l]&wmխ>2;JiҤS@g3!Vus,vq 1e6&G1Cj)jpSeЯWP!/~Aa^[@Ჽ*31o3baʒ'˼0ᫎnrֲ]$8KTrx*B_\1`bjV%,A]>JA4c)2hHqFLKeXw/͸U$5` DL;C)Kcek 0*X\;$ʑkX AT|n3{IcEՔ~1HFʍ`*Ȱ<k.*z]P./{9{K}p([63ɥKYpE|ɿdZZb ^Ltd_ !d0BzYN8ƾޓi>]G! SMwЯ|a&uyw{n7#ĭ= &k +<%o?n?`Y2sF݂dv[_\F%UC!Ka_`q2Y`ǧJr oK8_-%%rUZ>+)l(ʶ*2m;~s z;:*WYHB~#.;2..;A#v-t0H R' &e"Qi6I4ow6R c$~o7gpR tV]yJcD֙00jpW9:K#h5.1UDcAvwϜI]%4!{{Gj{"L4\1b2Mg)f*j(*6/[ӽo?KCI ׶d #Uopv&QL+*5u!(:WD4\lrGV26xsf?U؊/tﶂJ2^NAnzPc$OWFN: JOF0D}i7«8tvE S}Hĥzb\_v o[~3*BtG? {~(Y3K_fXϵ56MJ׻b+"o* L 2˫ 9%\\~vN?"^$X7/ݏ7@ً' AܱSKѶ|CiFjY5VR(ԁZ3Mqk\Pn mͲSKakqbI{r ^S%:zv 7^sk1 $K0K2f!Ed#Os)e VV9KeBe(DFP{|CwFz !^5 v+&6{⫎ZǷ\Cx z uph,GL+eh'Nj61GgsxݯqBƓFTsz&Z*U=Ԯv5Z \ԯSMFN!xHޕtX珞j`Y.ظ߲dr(&4q9 . fHC"HqA]Er`R,i0 `Un CS-YVUdV@WL҆Vnҽ\q0g&}7;*o P8gL 7:>>p?_kj29!dCɾu,VFFMJwN\`ZU)R43HQ#a s~.z9@tUC$JAGjH~T$3Z QC=Y;~`zN %O?4'ӸI᪱λF^? 6zp,6(р4iғcőnZpR l?>NjQ, cbF1ZNiq#4S s`8}튻`ehWG y0pn󿀿dj_e71rX\7A5, ~V6,ZFb86⋴3WPXP 1 lC" %{HUbU#-YH1?_ }qtoUF Ri/(I. !?e\_ IV50 cJ)2X",GFougX/6}Y 2(4XU\ٔ8"K{m#Xf@#^-1:xk ZJ׻[UfHp8C[>O`xL##i2.VCʤ?gU7eLݧrʩﻍid rDZΧٳ"YtWO @dE_>d`A16a$ ̜ڲ XXxfNm—eҌ`ퟲ֐ Y{IR쀉)}`..˵^&m<vXHtYz\ WEcrq6r#y) zL;}RTQ%ky5WpfZO/liЈ̺O4|MeSc>:)MZ n` FabrUzQx\҉665VYd~7ܮe) GzuI5'B0u ¨)fWG߬i~"dQST!̷8/ڃe8&C"5Psp#hhѪVKh*̖4m0ʁ^&j* Ay7 mM! hr,:"&pdxFc"ˢ B)߮~X5*l>B.eHC^l/.G@`}7$0LTjsW؝*x˛Ka҄KX 7Ҧ>Q4:A:AkDG@CR YO Xkޏ+$00arh#Pm&b L ~*IO6 7O?F e7mc^:"3McϴxTh_QE%HcL|" ka\6O Wg4O*'㧤4ՌvZN_p^c?ݶL>˟6Xq/Y~^U)E޻{6z ׍r||0*! 2 bJ" jRqKwѨYDE: 'lX6K?5:+gZ yH\JT٨֋<$wȢ&"Q'ɈJTJd,jW&GS{3H(NsAX誻$DOU9UYIbsY7XXlZR&OYX`ތ2*`k>86&7H '&w~KL>vM>:_ldƿߎ1D2!dk'[ʌ#`{Ԃ8ں ֭xlȦU(?_eF/}p|wDcu+vZ\:A~Ș^3;lchP'0ZQ;>#/|x&}^lrsz/\濰 e?*!&qtD%Cn7KPDbhfoU>CSDtٿDƋVW5̯HNR%ŗ=50i& 狉VS@Iꌫ6/y|ȁ5~/tиIxtUwҴ˾|,Z%}3#Ylb}.㍬7m? c&g$Q _w'RܚO !{H ? 9bjUoh 17S~) T8N+ͺM9oP~/ i# >g3(w0y_ `|`_M~}#7A20#Ty!e=|!vd{%j5 NEn24hs+eQ+'#qc(D@6Q s,=Imbn.XpOEPqдp~#V~9GÐ]sאVrVaE6Ǥz3Z ]_x"g3嬮) 5'K&!h́cfl|3H8<؛G.nK/y/ 3@Q )cQm Yԙ"BY"5ߛZ]"1yvH2S JS"`߁kiM tx$M<EXr?r(t. AXoŌP$'6/yӘ+6l,FNr|ѶM2_Wtwt iBn/ &F"A$̖k*A=X&RԬΚꯤtC|\,F/8H@:X[ߌC^5 xJwCf<(;J&8PqT vDI1fVg ;Jc;`gif}"JK . y-[nXx `9//e S90ٜ{I+^ v"_ pm6#@Jfid94[~j¸+U5AŃ?}Nhf)$1g}4QL{ɚ,uB=I<&"9E?wh\ʁR%&/$䤛`1,:ˍN7VZ7>LZ]Ni=f Uh`B 5kLJ;>1d~X!`$d쮈'Ӽಂ3QdQI!Wr?qVӶo^/ BmT/ 0BX.» xG'nInz b "} )kޡ,1B?z&LkF,~ͯ.K"̺f˅ #NE x:E4$MSDd3Z=BZmc+6YirY[/ Vd=x Q}4+Ra^(õ*pԩ cԩ:w4xςR]S63ψ)\?^B~~Hq)?.do2d-KPb}k9+15^A:\DEZ,gCK?m͏Ղ&?F.܋)\b?hoFSf;a; ,FeX9s6QLfnUaqħWIv<.-i-%u;G9ҽ&BN<ףŨ`#Fߖ}BP9Td5Ѷͨno˒cMIZJLLm/j!&4LɌrGt(5 Bc6Xnitdٻ7 \1$Z8bR <8Q'xpu=ҫ#6młXHqrYHW2 \&%>sa!ՇeD brx$Oₑnt#24&ּFo{L)/y Z#u1L5#@]$rT5Fش=?k$${pWn3̑W~% q=3gjkǥy 剒(۪N2cCژ? JjCޡfҨ4?͓@)L+$r!L/qE8 UslgYPN@,bC_G"aWl>g.K\ڮ *sM7;o4fc.t\/r'=s/ S~q= NQ!vbVMܖX')@P1LOϑNHT$\}!#Cާ Uh#y}󽳂?}h٫zdh2fq$ϹC@ktSFIu#S uɨ%4u lKF}\W7^LM=pRű GQ)U U`hdCLSpR%>4Yu)a oALR!BX.Gx )0A$}&Щ{wcÍB`Ug89U8bCz4/Mta촂 (e(?ʼnNqj;(OljŠi3R!C4x Y\Q4yQl#{6[dT3ۆ"A{)So_2/ *&ɡ]}v4mrdk s; 3zZwԡ];5RDBȐ""q1HҷKQ[1E1l۬XZ~:ƎH]׳rep(LcS?I7r`y 5 뺦 xwUN&Jڲ@͈8@v([ֱ_,Nq'{}Ct9^@Ño\~~7Cӳ(4hzf?.<$Ķܔf R-@#|lv烨Z.27nߠ.6eQ-+qlK_=шQ[z|i-.p[0÷_rd͵'FMI }&d߇"ZJ L'hDg>=pWDQasTᷘjq8_zǑ - kD'TM(VJ/CER`D냨e69ڧ>Ldc@ ͅIaj[oQ<[v/z ӕEq[?qШ޺IZBV AՓL2m<r5œ/aauQjBai<:oL 9~<1唀ji*\"aXv7T/G`=Am6?]>GO^·^ėR١Yh#wvX }]FeMӉd؁RE𭉯@90¹jk>y8K?ytmFEDP͟\k$s1V_0WTrnv ҉_畛>+Ѹ6A 8pGR=Dvvba]-H"f}b\Av"=P)>R;귄\ԥQ2aW/KxVO^@ҲG?;UºkڗgoF FQQl>f([]zDESsJUܬFM 2DO:_="E9fUM;CHWVfa 6Ag tUtȕ+%pk,QpX >XsTZ-=g6uJ{]R`VWt;ك݀dPFvaJCy" !-<^bO;:IzfgIcӨ D,f3U[[u!ybPw_qDb+ƲlHiA QN:tluٮNnY?]+~o6ܙ`Mb#٧xbVҾRa-LTowi*$3A]=/{jDRp7/$VSj~@&MaF ð0x] OYY͊&l?` 7]DyJxV1ܮPKE^ c%dv}\8wK1pԄ}Ʋm$:t ~{ nd{yIW[*]4oLs$%43\Bmۡ )QAsS[I3Uۨ 9 ܽkya_itTuSutpY !v桾v{U##]UX<:!}{zN7AWK80(~oBm֡ 2H 8;0Ijnlz!eR~MywsAkMh/Kh W ΡG{қEPv;d3V<˽-41k{_ݴ!tBSQ}ɟ#]!PBt'@PB|-߽ u3yׇ4xTi h$]-10ʑ_uU @mc?_\< &0ڶ:%V 3lf4WfD>x))U3:inBJۿlavfZpG6rn:3ȅxz~!9TT*|6mra ۟쎫+K7JBy\R\km &A"U@u?=Ybi( v^y8c)!^ۑaCЋN<úCCh~o=hwgk>`d? l}0-I:W/,.L)DUE"0.e| syeum4"^zS"mk=״/QrA>&j]+/pqA-yX(y0{PabuuJ#ߛo`NW ("8+L`2CL n c<$ʿ' 5̨q ԆX _7%e:!UТ%9}dj:t y+M! [G~d [+uB0J;AA8Ԋ*.҃rq:$U!x΅лNY(ccZPN߿2n/d ŃJX6ˠ;Mnwܘ "tѥ p*MЎ _^]hF4C}BX Yt yUt˘6uuB?*lӯ(+:yu/)D 67Y P$nArR1 N$WZmWyļ\#Pà K>#zzJ}hy+(Ѥǹf_Bj)U1"JCReHƬtIb8[(KI',vA/_+t.bJZlG6:ܹsl "@;LkR$@ն)hd.ǐzĬ Ff?Ƹ7ſVW5f짥u޸zPTmebTGuUSp濋}M'io>3 kbB]{q`J(ę/,/}±$΀cUrG@1!JœB)t<%05cף`0lyڨ}|NUѺ{zW*ˉ\K(6X@T2\8#əyY~[:-Wĕ(n `qٜ>.?ʖ^RY1a-GH*x$/QY$'a=QPgP)hR3m ٗ 뛄x `[6( OZ4W 0q؂mK9Y#d5zh}}*x~H2~'\o׶Bqݜ7Q*b&#l+pJV7- Q{'cI=ݶ~~ST)KY9+9#"KT؞yG'|# gY L-Ku-Ǹ0Z%~KBH( EmUyKɬr֘x„"_~<-q 6!iI"lʎ@JV„pi.-iG|Y$[F6qrvc@C@g 1%oAc]ta}% =6Ww t鈖8i708%-eбrזDZA,={{J, `ۤ q΁b<ݘa"Ec W~` y:S)h}0,W>59MG(s1#Yɖ_B'=]t:]->ԐhAmƝ }IGZaۿ34>%*,Hj0~:d*CZ#pl">LUCuCegx~aj&̀?:vz(dk+vu+ i\Wsn^냾JyXȞ)"=t(o1<+-'#ՄV7ѶDMG;:I(8'l,3":AKk|!nr,?q:2 (.g=k[88cޒ-bB~weKW'օuܺ@HoRk .3S~> f\'U?.B#E (d YqS^0J%"PQp5e~+*JHUE ʥS@fsj3~VUS Ce m N~VAwo*2Ń.m+K,SmPr8TgIߍ>amwu'pΪe) s\Y=je^^t9[HevʀuXCo=0u]d_ۣl+3?aU/E(w^ z(!Ļ.:@&A\sNfj7 y\B6:2*Pd>!)]xn)5(PFN?ÛsOo>D.-P|P>+Rny#mCoAǛ$\eT=3y;dnFWQ(z(سJMgpswRJ+Ummr4AmT#H\iǚ-dZbzP3am)޲ܛ63"KKo$aGy[j.V髛FEvK7 0HmCU+g QLw:oB* :kMx]x0<>mJ ꭛sdlGϪ{]ѮII >ُϖ(r$" ,*SO$qPueԨe&O(J> 6 -eX*nĤ݊U &k&ֈړS]V$w(X)qaJ6RIk)?BI_Wde^QcJ#Dq1QgMM~_ rj#ǩlܕ HK&4ix ^y׊|RSB\a8dc`"89߬yRt]K8Ӡy*f?x VMD7+Kl&$NAX 0]f21Ц!?fTRP:i.P%U[bƓC)q]G|rߞfZK0aKUvK<3ߵmm c r:-xAـsunØ.IeZpW2IV4XG a]0}w[AA]Q Kn> R4 [\ F6QR~݊Ehb ǔɚj~3B"tj\95)=`hVIey¡:.z|QfMk/{D1d-X].yAa/gCD5ڵq{$$fdy1EqexJ0|??xpT^aÀ֔+D>!y=R9fnoafFYwv3q; \65>i32^OFdTdp(]PiA r"R+ϐO @kX?QMgᏏw̗';j "oR7Tvg!:aWLl+gL6`,䋣g)35{(S'mO/;nhV%uZ<9O@rH,S$K ^\&"HV2ca @B'xc/UO|EZ*޼Ūu~VZg[ 36,sy&(+ȒĂtLVNC רۛD$8)YT[?igLJ>YA&AsM+J\H&dS>qz뎛Gu+Ԍ TPnl + 4_\B NZg 9C7;q<w#V@U=5Jwgsw vohgV8(lĤt$p wfG{'7#T~ifn4YXeN~ág-qFϨ8[ qԧechՆF5[6Y,K ^̉a| Jz=|<h Kp/1k9a,oaJ?ǀ(&U;ag=7LUtsdkd^sy1x.Kr"GnBq3Z_} Bщ-p (!wSz~<|W6(Ҝ?|L4`"VcMX>{%}.$m~({ō e̦/܋R)Z+n:]!+'bio,CCui_t7I{tLfYDeu}|v9wA}oZDlKӡ]k:4=Fr0T{yĔ,u?4X犬s&zgqbu>ai~68uHH~#/zGrP) DKj]5f$j_7τJB,:lñ|N1Cbġe$56,UkEm=O4`wIֲN? io]LX|ex^]-^B;`Gwm`<3 K;`&v()~ ll,#l+XuI{E*h,YP'U.角ݥHZۡ AoD0R/9*|ΈByiX\v+I\9xD/U=`pW?5Tbq?uHaT˴ѬL祇EԿ?x}QSUaߛr>ٌx#Xr9Ye6')jYr6?^@֚;CL0 |Zt"ܜ RߠǦa;J1 q̑ۺiuf(B^Na K~OA$ًϦX(Tc\;vcjqjeHVw>ynQ1`#]vf##@;\͎T__k!u_ϹJGD,v)d'Sku#p(:;?O?K%LIF;Fk墨-$eNPpWICX܂^t~&6a1T6PN ĵ<6~^_UR@.WYo#{E!nY !k+4Lۂ̗֗TTpPeI8 |GP Ljg~ܵ!I۾%ޠʮbatdJTŰBu)[A$jA>:y3':=vUA :$ѬȤsiz\uq'(i"l ++VԦwDPLlȀ@U3>KhO5лG'Y\/Qn=dp\O IУW;C6b}`nLmc: JEnޟ{c,2 (dܵJ .D%\8*ISDyUUhw5Y9[UTlV`S!Na(j2yQH! oojTgn-`(l.q77$=Sb-hd*2d)ǃGP꺠Fu^Q>pe!(zYW}6 ӈЋ5h Iѳ2i 8(ܫB.0xăP;燿ngCǹYɿr#*wmz o{_y$n}lM>]yU#yp=d ceu_Bg.oF(zc^Gu.o5@Jџ/[/Oo\BUhe-qGzQ'$nIA+8¦Wzeߞ{|MdC_fLNc ^~O&OQO]EO58@w~5WPg}i^S)ko2%v#i&7> ]z/j-|=76%EL6=D&omnn6rSu*nQ5WY~%1\ﵽ&9K7=-xOnG7Aj-c \܈p#Ob5xYAQ*{tΈpjrhE <[;_U=zL1XFygA>GbKҠlcNy gĦHjz"Z!­cY7Mx||gy jF/C.`Sڒ9 ]/&=޻] i7w @@L&b_;oNE/t3_=<0_̱]}*?#l $xGτ}xD GS6((34X^i7ùx$U)@_ywe Rp")u-Wzȃg沤P1Z$g7jmk&byQv(Kjp9jAΤ3ӽ걿-jvHQ* }4PFOϥm9gZUGAjX0'\N)(;5$[䋅)֣1/Mi ur\A2Mt0nV$)Q+rƃ:Ka ;R8),Z}nNLA:&!{_=p$<,q4(( ]PI{tkdėә9k*/qʳ*7o xF:-k 6\9ypC%Hz:Q^;6lŠ;4,/[]~)x:3;ʚ~4*=j氃ey ކNgO $Gq>MJqD)Iï P6uaUwܷTب}Vw^u5Pyi-L%EUfW ҵnjGi!%;t 8z'G!a2 ;Ҋڄ[GLd=>VFF $!L)!cݟ .&}3(^NbQN쨷ɌxN$PZ*-AHWN@MJ>I}ջ]=d.$I}kbDrj(K`Hl>݄B!~n#.4DίpZ̷J0D!#UY͟XHnn(+i%c*;(3߈[~ YF .l bADHexeХr}'IMuutkģ6 <3?N)?h=ɐ7jSTu6C0{gdܧaʙ(~n%p"˅%䳆Ec3(|`Abc`gOK ޒ9{V89RqfjD2&Þwb_ՑPH.HZ2UB {̣Jslc!_|5<͕K:I|HV-Ր8#Yp-OCgx'_!›É﹐i.Ǣ]qYJ_+m[۬d_:Pi&+(xj*Nv'@jVN5#OpyǂR oǃO+^p%شpj0sd|- 4 c$z%\ *݋bTtCElȲ%Z7ՏqL8M}H4X%8(lwwٖh"fԒ$l0-[s{1ekژǿ8$z{r0lѥ3o#de +.<{eiD-cbxc#pӲj84H!Z/>-8+?ha}&p:LW,4jT5v*ۛ!zy2ä .gW?"IVh!:y:gccѹ`hd(ä/&kӆl{Dh@zv'l_eDhΛCE\ Y D_rojKYX%&,PVRDu/8Ɯ]zGfd8 -I4KEv×e!o'xt\!no )yuж' 1e Zuį[P| +E)(O:pَӰ}ri9`myp]&d8^@S:eG+ r$r[Y;$8HuOCqOhcd {KKO1yy5:,ym#OM, $ ʇ=ƭϽGGUh~2 WI^ݬ̘Ӳռܿw,{ ")ja*1Hl0tbU NXH$Pz0бu*vgr̽c? |!31;AU a.%x<|]Pr>IK!<205C!y2^) ^#T4p~t fRzo)n9Զ *-II?zvgpǜs SUYX?u夠w_ oQ)jx6!ܽ'}T$ ٽkʆn+<S>% |S 1鰬Cs9X8edwHi'NMU9.;lh~=Q ;bB! :e^-AӉ* }VHW fW@wBp8l,A]~zqoYqet%^`ٶ(~$:Z\/A"Vic*\Uxcnx%(wЅpV&<_9$|2Ġ<< }g##)jF5<ƭA|L> ]D5JlJQu=$fUAg?1_and;T^*sɤlee9,|rO6_o`7^*X9WpߪxKhJU3NBY~C`~/c˃OQQEwg(9#K4Q|3F=$꼡:&N{;\JI Rnmcq~@6~aQ e}믜l?WnuWukp]G]X-i-q~I:!׾_42scb &7v⻥E~1} SYˌI g/V> x-Hoa%V%%D55'HggsŏsnaƓ4?NI|.2myak@64EX`̟G P wO:`Ѡ[w{ڴN"jpyΜL'΢x6xC%䑅s;\ \o"5. 5pivY I.pi.QԜCyGk%!Ptm |}4\;~a)即w[?6dn7T[i=9z_])لӂn*l1/m L2M'. `+ 4bXg^@aHy#ع1*~1٫w0KQf]Rz/bFQV qːC:tULLbȕr_F;Wwteڮn[RX'  LHmgL"tqtRURxbc03'3p % 0mQs%i_&\;qU `Ws)!j6~Awaz0krypt,P–&SalrH2mݤ(S3%>3b$hJ=@8 LXmAr:EdlbDrwVZ-J(qzW)|9w~ .=/A۸(If|ܨRCx~ey 1²9GwMVzs`"a}Bb0.?e$)[#;;R{UҔ𣏘#v߈AiW4/8xKm0E40'2w +lslfc ^ ``'-m86v$vͼvvg-eN750,+(!C?$EFI1P]wп>aOcM7o%.s;lucP\-)%gl5Uʴ!:yO)4u׫/_TCkAA:|;"QbaeMH6sLȶC V ƬhCEA7SnQ͹Br<%0|Hˈc_UGQ㏓h^Z(al[]nul'&Ofe:)sӋ `/H5 a=M8;5"&?EFXt]2wT$H#/Φj H6׻tUx&գx{1Eї՚-ǫnZ,۹LH '~晳Q*ysx ~2qǪTkDW!w& >t΀{N7BeSi]Xd8ω=qfi^P 7"Nů΄w4wۃafH-]N =M+-Lut.Wln&rξVbŘOKprEpW.'2c. $Šκzjvyр ~;mF-Nޑݰ d y&ho~:z:@ Hvݼd{B%KY>{&>}\ؔ6蟙7KF0]meȌ ZaTJ)}Tt8tiǿ 䘸CSYWt$ҵ p|pѬG tّ:yKlO*?a3욉߻谄wr` 3B.q b [ _ˁeiw1JB*M`2TV jb^&ɃIkv@fhs ۋѺ3LPFPsmS |>ی 7O2a/`1"Y~g뤊d@uIy)XaV˻iq53%*Z?Uy2;@iUr;r>pZιBp¿vjdvŃjt QW.FgpAoO(א <] U|J4/k]QάR_?R p/ cYŬ/-\P$z&L .(H ,tmӵ$K'XP?Bv*|11=w<YEƋrQ9˺ Y*F^]s*12I 3&OQ\nqvXQ^߁ZT 7|3v T 5S% Aggregation_AlgebrasAggregation_Algebras.Semigroups_Bigdocument.tex7zXZִF! ^/]A-MՋhvG"uIBm5Ȣ?uwˁRm䇈]ŠA۝M9R=*vU60F\Q& E<HgQf TBn8N'CD :oGyqeLX2bQE}1`/5C 3bYݢ!I*iLY;ΒXQE[J^J3իC6[jd@$O"{CXk_'P$UJ|-HnC!V<HaV8GrA ۫^v{H5^D_i*Tt!Z ] 5m% Aggregation_AlgebrasAggregation_Algebras.Linear_Aggregation_Algebrasdocument.tex7zXZִF! 3+B]A-MՋhvG"uIBm5hq- IͪśF2ûLB^O ܮD30x4 Dp[`ݴ\I3}7)*6 73;Q"C.+`oCak/\cK:[eo8>D$o}B,!+Lxlmd|g3?~MtўV~#٫<ϮvPKƟ/)\V%6a<8b=?@I /! ڕeGWLe?iu$5JhԖ%ꎞn"LLy>oi5B{8snA NC8ysWR{R-B"E|V~-m&_O11iPX\2`տSoH0]Ft 5eq4|O؄9|m JG5C;'8]+@,.5Aɝf(x"VR?Kjz*]2vKϭk@5RWzzֆV$9q5lh,-_KtH=e~~Be~̳҇S\XbFmԝYsp`蹬0YyNCb57,pf. W"ܨSHՄ]/}85>RpaΫLP>Xn4Gy ;^iM8vY&| ,@D\"m O1nJLKe~3˵ʮ8j_CHpރV*H}<.9`ț3@rt)Ue6.jRXO;OKarao-ogwP^##=b{Xu'/(OxwW'yP8IL[fRF?E% ܩ JZ.(x})Ɏy%i<Z IÀʧwaXWiQ8D~T [ 2@7Mf,]#Z>ih\m -§Ztpc,oz䪶BvXQ=qQܰf> @y:>sXJ/ZS\[zydA M k*m ha8=ԒWжtVDBEBPDub!sVszZIh[3!ɲd+l jbBjWeS,8/cMWj]fsifx:m6J6}kfY% mu$Joɳ8EGZjDb8.GB.J;brzf_( Gs̒Jƭu*PX K9agf}PRvXMCV0hZ.ƚ.gmoR#uKyD6zVxDoOCPN7?>D qn񥛌 <3\߲`,ŘF^E.gVOzӺG}dW0`+ԌZ`THB=>(0k>]\7˳D|eheVhZq*]kr;<̡zBl"^Q]f>4yG"OlsgEbP#S八8^E8k@! nKPIf|=ҙlc31˯\]ڄٛAE :^-h^0Ji,Q 2 \e_TElx?HlH㔵q`g&nęT洸S*awoRZ#Xajs]V7 *x>بĝ–O+o؊Az]ܲt7ŋ3fc Q+WE(Zt$`> (L$GLdɗ朩h:)CuifjҜ2 d3;=kKx=7+jvV​hZ^CЗHlf is|O9<;a;X8:WOt>}\ 8ʙ(&5U C?^cK<tw.Ў3 QtdYw.$V-^>m mȦ0PCwfrrt9[L۝&a;!ǯTōKb e@l##E $,lhzD~ɝhs$%(Jś,(Ht-iyCo<._!0)l rGS~: "f~1?bj <92Z-b;̤6K%N pQǯ_ByA$LoLWq2Rܣ2o Hn qq#'(\!_e I3QjhLz ;տ@3v%6[i0{E|I0G ]/t{aFB:3lCRwp*CfFzW'$ @vA)i vA.*X3V\x㬟z@hMb)WNCLES6{ }ҋѭYe+թغl*"o(U:Jjr`_ѻr 8Ҕ(gYZ7ë`95Knh@}2ob /M~KyRvC2~oN%%zlt*5d"_+W+v!PP̪k'Ll!uD0I> RƸm8^~SN@bs:J%љ6I}00myt0^Nы? LdVr@lI hHB5=Qbr]V1c "@P˗޶sQkgmuᠷXKTI0\ tYVfǞ·7ihj"DE=F]!NtGuQ*셦~Q6F{~eSn~zÿp]61<ƀeGAu_.c:L &yDixƙ?e؀^ّrz9`wZ$|^[,e)^8E&p󲠖t~^'0Q {~Xm8[ضT@h Hilۤ;RjƩ;AY+$>'5A #CɲL$9cQ+!pLWdos_͊{㒶-:Ӊ)Fn ^f< ei @:~J*M]$_z _ŸqNwӔB\w}'``易_O%$e5 ~Q"8J}5ŅaU{ʙn_ltȃbMLjW.c ^_JXܢ;WRRm[ie`F&pY E1sʰő0b@SGl1AJn=ّKD$7J)mS/V"H1EIυ4#‰7BU@A`&=PƢVemUHy~֚N{58b z/beSbBIS&NX,m}Ӏ$o4EZOY>mcm.¦ƧT tI#1JpB/%~yˁR|j\DMtದ5RuC >wCmqE`:ϥ @i^!`9nQNs$+G1޽"]| ڲ&,^s5͚} :`2PnjPJ&B,xJp,x\Py,1%VtkZM%i|~GZ̡8y]m+59scX!nQ03RdKƝ-(KT#(dP1nv8o:`c/deLyއbvQgQeNP*cE0 :~R1Fsnr 9gf.mDĈVqdکkwsBmND85mP-9B|ZSoHض}DpdZڌS$TSFwq\".3P&胾*f  uq: 6D{#,b: AgӅ(nyjν^kmbu7SN/Lg?=';pQ%ןb(3|f_ P~ lld!Rk[CxS۷kJ mVFޤm) YuTeJ]XP5WNU/(Ñ~ $+->ydf {3iaP+zvt KjF#݋!;˂ NjPޱ:C)v< Upp֣/ΖĂ?*5S k4z!"8dy#,ʚ[s%gyҵsG2/$mj`TɻrMmvp9Ӧ8}\gn6ڷE[7⪝U2[LٸoNtH&M3_\z͎탖H MMj3(O]XckFn;ǚ.Vi)ټ/$c1 x =od$b%%S ͈%z[iO赬tQ1f8puAfsVA<%JQno'@ 0_4$hSFK< odaM-E/Bi  hYEE: Rfm w9IV8e[dM=Hr4􈅇BK '@`>6x~t{^*Y5h=<>*zԁ(w-nD7aKN3xbV=aPG6Z@,/Qk*|0J v 7rc203ҼGm.ZIQyG'{PY2RP,M5-K$*H)r{2ǔtӇmuRq W^;UO/qň0ZŅwr0%ջTqKUv:^3\|$uEE ]Fh37~4]nt/@c--`9r&9BE*@6KpŮ 1c¢5~cXT=6ՉG9/ * ?l d9@5},'^nOhղ:.onߕʎ9 s0Mmr$N+t<P^C,6au4ihިc ̉͸8P\,!4w,4RAP+{VU`6A=ޟ\aT%za$$ښ~5  +%ۃ.sȟv%\|ݤ`ɮ'_Hi(`.>Z6lF{A3G\. Շ(7mha4ʾ>(Q1A* Juklo M$ml1K^0>mլ6!~@]~v8#핂@Y:@:Pd-{7tC$ b{ 3џ,n=1 o̹y rJUSdsKHnN.6j-?;oi(K1=fg@)`~d/5DnU+r6kk2CBЖй5h#ٽ"JZr:WsÓZoX:K~žc ƎϘEVY1gL [L0"-I 2"2,\/*t@w4 =3;ݶMwn7"+vr$\<hxaňgLn8Ÿ|ͪ.&N?8ul߶߇~h%0 akpCW7p&@ԣUɊq~R;5>ˢ4VSۃM{yQO>'Z*Y?Ŵ-3 ;x\ M7njO{m7d݉E gyD,02b}lK_` DpFƤh)ǣ$fF'@ދ< 5~lzMPL|\'4`Ih$z4.is~$ro׭J=UO18phu+6 \8s{Cʓ/<"k([ jZfQ?=PJ$YQE/<%X@~ X>Rh *%d?i#`ti7j@9EP.ήfE*ReH!z0ƺU1 9\Ҡ୎@[-}/Yךe"$ SR'0o;NDi+ԿovzLuūGPt˲QiBNյX$@PF{H ;#>#WLmhS[ ˦:ٳ5p-rj:)NUhY'{P%H [_ŖMGs)lNvif'YiApubԳ6" .}ΖyҬÞo",LГF4}ii2"[ЊOpP:#\=LΛ3b[+fu)=fLzܥH,7]hz,+ب@({i/ fI=nn cR_Ǥ;TY,c^MJv+檜.Oc}$IܐsxBT#X>$" w  -!Lcu8Iʞ96(lDR0dRAln`"МӫPrvퟨ^- PEsŀOH5Cה@REch1]Ͷ-cSzwk))>) ;e=0iѭjXL%1@=:yYb ]+@}[7YYy7e{dB&@ՠ&SZ%(Lha&9O2cYju)0U%j7= u+^ Bylº;-F&D|wDMh!7Oj|<\YpF xM 4(jY򺵄;7i.E~UT*x|qk 3WD6QP#ޔME|)đCUۄ,!b3_ɿ"&#z?MyT U׭(y,ƙ^R9>XDV+Fg8?6Cl`H]joW咵 ]S%'!f3b-_g9>*M8ii*wlAtI-=0LhQ6@OLO\DD]A즨< #DEݳTVȲlWPEZ5@^jb5HyB2hh(ƀJ>blC053o˕]+C0W1AӉ\KTzWSLĊy> nEJꪪh}+x7"#ϸc"֟]CڝU}8c& ݗdؔB Me҅I dB8G|p$͑NxiK2l|m&Mi}k?Fh!NvGM+abOM> 䰽|I*T~fOݯh _}0,+[ R;=U|FlhIf: U  $HH]IV ~H!t4,6pź ͝J|QzɂށD-p<"<g}j Hj;@LJ{NϊDۧILO_=h-Dag䎢}.Ïkᡣ#:Ѹt8Э˵C›1Z ѽiB463[](9bۋ9C'gW i 3-3*I]}@\9[k E40wGW/=>o[ m!'`ڦGSۤÚx4wGJ1e줷LwrZoo,v/c''}az5d c#8o+f >e׀RhvfcAzxr /0۬ڍ5aT~Uؓ㡾ZThTX$%A&x^*Q5O_҅R޹mQCVY4tDBx4?{< T GcYDK ^Y$ej }i55NIkZY GΨ$,l2FZL̵d+.L>=om /:Ns>Aw?̾a/0J tyU~M&Vz,Y`,fߒߌ}W:c4~qp2'`g]ҵ7\wPԓb󪪓V9\DyW~M]ߝ'ϿUף1M[-_M3BffFY?YX$?~U#Ł\_ ץ\`_%wHmrL,?@ F [&.Gr$90LnS\鉇wuf.Fp2Tmt?gjuCF!SY[ƫV`߄a;C+&>$ηh۫g)"ި@df־#:+L]ȂÜ_%l6u~t~DzhzB~Zg⠋vJjdXKG9, Y8'Zvz1̥w4lw<\ Qs+9\_N4Ŕڍ g3y:PAdU جc%J䦯'514U=Đm.tlN /KrZCpRBERoAa&^`x!E}GhG^{CPwB\ }l,79[$}0,WDnuæ u y(x1Rbf͵6p]Viϯ' ГLP )i!fLR} rՎl€ΊjN Q,>hQ"DguUK+pw}F=ƶ-ݡ .ؠcHS]vMύSz+ A[g-,i {K-ڐKb~r T2` ̘H` 0 ھcòϋeTZ:y&\dF]$mX\\ Z9w5ϻ {*> C4^=+Iv>xuFO}/29Q r D9ќ&ZY7oЗirdB@6g2 '!(xY!*3/SߓD*,*kY UvhTe1ZKjTVȬw RgxX*%NQ&w" Ǵ̹<<٦Pް A6+@hi`:Y tp[@ڤʷrO>젵I_}+qu읣catG!"xNKlHܐb |܅K%;2.K7d QYu]pLc=5jq)rOi-bCzcתk/oJTm6m ƱXQUo)z81rpDI|Jť~d=+rj` ()&ri4|աj^K0#Y׮PwoxrV1LWXwnKJbH0B*c⡢2RR <{ȿfp[^ إ`SpP_Fjc8_ \n ։3!Nx_ pm<@qRцzS`H77F@qlI` Mp(",ݹ,f':D  U z-Cxm+*V`Tk!'0':Z +S6bQYdҲ,qM7gQO|h*Y@a-HaG8uOP2bjDRZcя=J}zi Mz{%s4̽gǪ[D6 G`] ~8V,o5^۶~E)RTU\qꆋ)Wo 0N{ 1U20 &%H-?~7- Gրz g42mE;4 d*#sMXO!!=t,v)._@@L~+M'VUU2rF;%͏xZmv Ѵ)dvjj:ٝ<Bȑpgt"ȉhVxU,EMPi>}̣Ȁ s]ȋےBW\$CO9Lr]TFe\$JƬ/`ƙ؛Ʋ+if.nK[V睅l«%3{K"눖6H6_W 8ٔEiE?MrW/|opɺ'k`f_na"yoA( RiR[uTJj"|Rb 0þ_yQ82Џlc)TZUr!p\ah16Ϗ}娝oo k= ?sXK,]lK~Ğ|qe1,.5V,йɖFk.6W/;$xJd3 ,v1Ѧ9Eescf'Of8{j=ËҚ:2D$5p31"cǶY'i(*f8F+IoT_ǻй*]]og+x1 .ti2 4/li%o,%i줔۴%؛S/!Sdtvj,Yr%ijË..z1%k7xzJҚ^G.)QM@x,bŐ祤njI2afXO~]KpT ^̪;K:3mב^ }q l29(Rk jsR`u,ĭQvJlr^`5i%ZTg-G'4'NUup"rmQCD&md"yz EAFܪ\Cg̠`8z seU;yMDXB'MO:. +-~R`퓆c bo0EzQĀ8rL`aKjB硗֔ @R-by =Wlo1CSzO8ATT)t, $/s`=GI9$6x\&}H覢P`?4n 5sACsĿwy=I10+1G`zuz-QxM|'eND?ϋֹ_Zr|n4J37sXR}e><, luJnds ^IÛf^iKv06~>9,&l=YZenf$ĔXTFj~j`ݽK<6 mE6 ʁ.[g;J>h5.CNX-(~n&d_jNf 5́,q\n8[1#H4i'- v{1]c8d9oӟmSlR4? -Xco‘(1fފm\ޜ-M@c4ml5>~r!7|IInl"c:)k}ϱW~K6n9ŏ;N#wfQHZn'wAKy;e J:w(kk+,%jRwxOSn8:Ϋ^tЈJ6mh(#[ s9 8E3p2VcS|J y֞e OR7C*TR ]L" &FtR6GkG d3^bCA'ڌ Ĺ=+_!&`@;*8~{pf^2QZAW$']BoLR?̏`>No[^~gXdsQ# E2pqyF 0KPl UAlD3.?]L(IuۀzP)XP En<-Ձ='!8Z[ϋ%C )$xGR`q=Kyˢ5ylt] q" p3@c :YA][x$z.(h+]봟~$cnѺLς 6 `%ga>;MbN$ƈ  |-Do(}Tx$?d8"y1}ݩYMLDgNATYcR)0z?+vy kNO8P/2 dՍ<02?شbkWpy{+^0hv膳(,:0OZQP̢8XMa$\Η6o[v R* KhMJ8Ƽq)Ln)ӏr9gU/.DbfTL @#2". ȀE,ˤR0SeqZCt{7Fq`H~.)/?@uf7 #=D#`аX6*(݈1adnR9>xG:$Xa }Vg~ڏl}io+9 fc3R"8:k  |_b2!fК~{dpZlp3zJ!FQq;$:52>lK@[~, f#hxcWE IV 17u?ԝڒxj˅Kcvix;g6WP2$XI2G7v>kYyɝ&mrf-eEqL ).v;mP@f'rLutxWcN:f@) doJ |X<9:v%K?MS1~k㑡h8UX42[-aK4:c:rfE`-|QpQiJL/S2 ۼf*I,,f{8ߐ,Z=ő(r9nU;/w>x2y6`vr ^o )KJE8%j(`c62#a!Yp?nL(^5.QX6]׺bYDe|ˣʧLUtge@ ϱYb̀Vhgַ?%@xbF-2F53Fgnn93hx%A46J/y7ڹ1G4b`=b=r-e-g&FF(CI]1fyNK hh5_% Aggregation_AlgebrasAggregation_Algebras.Aggregation_Algebrasdocument.tex7zXZִF! ao]A-MՋhvG"uIBm5{^1Tڿ {vQk`,9qro]h.0e RJ ̵<8t07U=' wEfvͬ\~5 r?LR I"uY/:1oz #G )[D&5}#rVt f2ڂzoD.Qp!# -Zb _Qws8'U'0<@K7l6Z[rHP 3 HiQnofӪFn`.R xMSozkFZ!~Ⲍ2xXFJE|UGg]Da&)\,9.x^H1t_ekD I7G`0!"H`tPٌ]YPdzlang2cqU F \C-b^@y:gb#dk^|Iol&ݪ7Ъ'Q`+o#-\hdl}[ 8ܨX|Di @|laV|Gx 5`,`k:?\{xsOAdemöҡ,6$ c']տȜ'~]RT6?AhZ)aL=EV!)Yw:ݥ);ҋwrd-1njbi~4h2 7O߁r"$OôƟ-BZliFCdr"wLem?Q_bIҘpCӳv|o~ -_t /(ɮq>P~e<&DƯXA:4+b[V KT~w[@8K$XLru#@/r Fan ۫of9XbE@r6txGQx񢚠Ǖu+%|q>ZST&ٗ־)TmLGQV܍a9 FhL<ݯ4^' jGLh@hIϐ=Xn< :"<&C}fx͇V(<hrn'pXcj3^Q{~3FsZǟ2[|FihAGՅC}y\PT_o^mo!(Q=ВH|Nv U6| 9)1 ; .kS /FXXPsۜ B o=m)pqHf2׮q&>{$uw I m MsyQ\$zn^~9Hk4Y;*8ncHURܳ>a~SMf)t~bM}󼟮}wcO2??A CW˶#c2J^#n,+g'N NH?~Y`kڣ̯e J)a@V0_jR J|bHDqǜL%EqlfGd~Fv!nҴB4| HM JgsiEQU637qTI bEyE3q\:}050B®ʂ6_4?'*=O#gjzӃWֺ9pL'7ޝ_0gtB5o|Ŏ>(/?0>3(29 ,ߔ2?r2f (H$%o6~4nD, =_Q0']H:zלN ^=MiA@`jEihZ}(K}$)NKOWѸ|W&N2§&zҼ9뇈rVB;֦%1?#_'g.Y٪^b:9=  '>Եo5}l6$Akj.P\\Tg&;?! zJ)/9fYƹI8}9\zj8SJ):SѾ> 㡅%/'pyfh%j%T$ݵ !é0'6z"#avܕۊ[ĐcpZ)aUOk!՞2Lv{><)^ sgX.m$@fi)J?U $WW'O/[?7`x>8MfB\SD-Ğ?=a} 8z eHbzcf]j {J`It3{$= ɐVD܅<Ϛ_>_=u+>-`zMQ9,s`qR d\e]YmDߍ ̄$B!+2|X5hO['i.zچmee^[@'[r!C_@ԏǮj3%3- Ekiלz8կIگgGDᵥ]$cgwsߙ.6!0ŬT:U ųK9ˊ٘% *O8?'D3-C`hcmO&HxW#q4 .Z}.?ezM@`Lhuuh,)PWMm5EBis`vve{ giP;HDQQ['DZ~S($LWgnw:ՄkE  .̲^r7]K΁}ښ(:bh(`",eم*Y6b4$\ZZlNHA`vDR:.Ή`ҨH'6hۘؐvaj!)o7 3jc QD|0˺(GC 6leyf`fx,(seDd %2@TC}D&Wշul=L~Lܝu5lnk:7 g{ڝW.RroJ\ZBЎ7I Չ}jTf U f3.VJE;S2_NjfjUYWI)8,&Eט6`Y^7 @,'""R?#&Wۖ=ȾB.Zk]+%5xS `X<1 .ҥWWf7>Xq _b.jLCr6, f=ޞy%(J#((y fŭM1ݩEq8c|rQUzB}O!^y?5+?}i!feղ EWQB$iyJ[{D;廬KGVK/utp nq\cPMM˯w_(?m.I ^ tJ@3rۿ8^:OSv?BL1Wa؀iT'}"ZR_Qn0Wu{dA?) ǮRiSAtqKDTk+5@2ܭvH2#SAV˟[~z_CT&G 4)KY0DַKp֓o6]f}uʯ Z)khSrЙul2|J<{yu s)UEM#c/o[XJTJhmn@{Id S[6l%fյv%g4]9˟_ eN¼,rvQ#%k.Iv!ܲ\Tx^(WCl2D꩷ ?>3B~p_y9kFױFփ [N38<_7{3#}7d.=%O~5J8!h޿#sLA O:٦p6K!H,ΛB!#L&-M-cJlZI[C'u116޼Hv2*m9J+]gHZgW"FG"Ep&AT[$OFVJ[Ejlw,\W drgjD"#a1S]M:3ɾ^Z{]]hrӏw@is/87NjREK8;Me? h?(˾Wv2fy98uiG- efdI]_p!be4l%ː"AQ%LybKe>HTi:MOz*-5zlkZy5 4bzwηvnɽtLmHrs+ZtXH*ѻzpґ$ɩTEMӒlǤL21O4;%8;{AHPwP *tVK*'`TJtGNڈļW@Z|YI:EHnh;C< ֓m0$Qm:ݽ;#1XڲU ?7;f^mx#sbG#.؏@yA FthäG0$* pc *.WtR%y`ysAgEc@8F?4% Pth49 F-ˊEh*)k A+)JowS3ZT[}Q}ΉvVpK8^]BGnFF7)d~bxn`.xB?ACfTO[V|߮f-͌e,1`\rA%8EVV=G%NiNW8夆˴ x>0!4tq:2R!=%Lx$':XrA*<6eY|»2Jj*I߆HvVe#n-E2Ca {=pj(vtN1 lPCX"0q&֜ W !%xgYZ H5M% Aggregation_AlgebrasAggregation_Algebras.Hoare_Logicdocument.tex7zXZִF! ]A-MՋhvG"uIBm5ۙ,H`&Š$o@aJʮ5x` Ts弨:#x31m}r|{.Ew_ iǥՖ{_ݰD1i&Nx }@-'Y6!!})Cvvچqc7g.C~0[!0m5l+d4r9".#KmOa$yN#PzRRt{ #J$eS ~9=3 ;R6Lr<.|VvJYM }ѩmZouTjK55:D/lԸK ,Iq`?T7#(rbF{^/_cK*./j|dԾ~hEBwFDk~!_ $y 29N=aӰj%Qz_ KP!m!9&kquH Ԛ,H CɠҼkK+ntFDF43Ƹ5B=ӖPmSBU-jQ9hb>bE?Ю 4kA*i(!s\:J\]rUQy"'>]](+ !_^b!Q}R;Ҩk`7!MIӪyAq8>("?$]lxsT&9F˅2]˹&w2]UZ%fKpvAޏPhLq!zT_̒z+|!RLt'ϲ\9ٲU~ ˢa7ST vyl0yN[8\.! b鍫}闙6{;ղym8vĆok/<յ!塍e@dEuteQK{(3&#`Dǣkp`Cɻ cR:9ݦA0RZ:\e Yl9j酏r^fgD7ox>jY}|P&Y[CӰ*4v5h2l~jH=bI#1}4E<IAh$9^C/hjAlm x՟(Iq}\y^)Y^ly* |04RGn?Im+' h$[4zgCsE;NQlY^=,4t48zUK&-TXatXPs~}Dl.OKͤEy0&j/zX)3U$C-ض66 ?8?[̒`9ڍ?ٕ韽ي0aZe2J?}I@9R[@d~> q>#:/"M2x܇%gҞ[,#GM|$j䬎W0.0ԅWUB暣x b)1#U)(Wqݸf޶|Z@D)- {^~"}bU+GnL 0Z| Ql8Z ,[Auq>Κ9ᅡBۃ[ؖœg-b3 IaR_=Ucm.4Jln5&C250+<迍R~d;M+S.W@'!M˙#''01R+ )#Hv0<%عx1RCM(e({,D8&U(\3msrmiީE+0NH\ p`U\;JzX$ 6_ND{DiѨ$,@$cbsfF޿z }ћQz9:Z]ck#878;o1BQTvH&O(u7k'3_ie};ѱ{OF ; D2ᪿ⛵VV-雨m *87E (W]ew\8;Q[1qOXG؋.ZutlRRxAgCs-x;|O2hR["jmPl ~d ݉+7JHGvbr4zvx8*v^ ۜ3c+PR: Co:x.YF,Fm?Pq`L*/f _@:?G><.LLvڮjзa YP|ʫC X7P;u5 bD|SADq 螱tuSh ְf{<](弻y[| .j h\ߋǠd Eb%wp>g6B禂 xӢ;L؈-,2ht\9>T7-$Qf,op$W({' ʄ Dt_4B6&W UjIӕƖM.;栛|~3r5#Zx0OبzbgP:ўY+ NM׫\ѯ4卪(uizw3eʕӏwLY$Ҽ9 ӗ¦MI[S>*:g[>ݟ6u:+|n)IqնQ 8]f͙qED,=L^#X1hm-=#9Dl̸P]Z++HqUcHS$:Gl_zD}i)4m")v$X2Μ5.sJlD= 8a4G-jutKT'.6Rr2"סN21KXSAV &CO/HN1bHۖE}blTSD˰F{;+cUѿMFcfl?^H@3 qe.9_FK&]JKBA B4WJ[6V-[H*}^7,NbjshϨ*W.Xm'vP,jVYͶ=#^TTw%-U|.ۄ5O{r$Ql&b8ЃLb7DTa% :Wa(t'xM0pԑ~y5Ϸ ~ _r+;3ۀJ$Irȋ6FecXD\LJ4*aۚ/%{]|DR<)̃D[C`$뙏ʫ1{ 3D8qW=Qх\&&![-?NbU_r(C  M4L7 !>?b"#,a$d{Jf;x7$cb(z/h LdXƟ},!ꦢ_.m; L&8Qg6gn.d JPPYU-~ysQ"x3&sRgnPUZةo\=fm|n?9vGߋcwo:~N XGž1\ۡWUṃ|3)4ɓa aC!"N[!ŏʗmmak+P(5g,ZH`F,B.^%fύ%Rfۤw+Lch#!ߴ.k]'ݽ) ;ntMÊRԽP!EKOP琹-\ R9j g[e,t5FNLn}HQxwI)Zf3<fLlQCa iZAKV d-b]hnl3l._ū7CJcm,OaAXHk5`%*×:ߞO֓VG{HZl($":\6Ё91Pտ%&Ms(Jrg?''}q<6D}$#G뗎DQw8`'<*4h )$]yk<@'^O=P.}E]mq!B_ 8mP3)*:4 7G?"myڸ-Oo#=1maD9ipnAzIhdJuȲQ>EHc,R;{Z.+:RGn.3Fɧ`{ռ]͢$FbqRF b䧘%wnT-rt 6*,Ln;p]`쥬@0(n;qO!öwh |̽Q`gFġ2RuQd)qj !TɭWIJ)S@i&[ц# wn䡤"me p:-VNnМȫ FC EG}0f3[ְܺ.6l K#){'1m%Uh/$+U4~(5{F^x]6%S2Hcʡ  g7_]Dh=2f-ɾ-(lr&l"Og><,jⶡ[,pU3) {ט867v8N4:-:4jGHQ,P,+6紵{ECc+8jzޤnl&%|z~&T =6VW0v8~-HȃiK z8=yܞނ#3hQ o933WPxnr&`~EFmbhӈP6kqw0~@J8EN*dWe}G!QɅBu  z0 DR_hV}4/晚kP~YG!kb]lEʷ@* ]1 &&9 N^UcԔ۳]umI{7Gè4oJ`/ڝHɩ 9'@Ӿlv9 o~_h\+GYsE\ZJ%9ռQ D8'dPu4CaE`6b"Dv0H czpA3kyZ .&IIJ,)acSX&;6Sݣpzte&EW,{A{w_ϺsxHt!UF)!d{Ǡ:=H*s ^ĬM)؅yj+X#IJ?0؂9GBjZmB#XVNWiԌc%hjWp:%M30y¤/0OlwB%J'sg [+cjgQ >xwa {&>/ Ǵ;yg$Ӈv&`-f0蘟Fi4MY:̒Sc!967^"FDG`a[9rIE>¸L;3`VT3nG_&FA>߱ٸ܈w:E z>S)vN_[y<Xw_Bܹ{y%#2v|zyS&!ln -5k%EV5Tƅ8.;xxon" &;>x87fU)Tb5mּ[hZTKdJ̈́A(,)hlO9ߪ<dvW>VkO+j6"Z};/^f|Pe~P|{P-j. ㈯g"Ϡ<\UK.+n5E"3Se`%ՀbU!B'!R(`b^ gT.{g76K2Ӛ'+3 +m}[_GBZ."܀1uo'\1-Ko:[b &gpK"F i8gYZa453d09bc63d026f19e77d324c14bc7ac08fbe6bc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 db03c65ca36c35e8f78cff3ebd2be53bb84c8a8b 3737afcc23e3ab83a1f3c8d19f69cfeebe16ba46 c1fde7f1d94e3dcedb2b123960858c692513c54d