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 -vDlt ] Circus:threads=4elapsed=32.625cpu=117.312gc=2.6727zXZִF! H]ŗXiɟ,ra@Oj /m[AOnOE^ŗFֱl?b=jQrЗ˳Pu\w?'hMX*m89ZZ.-ex6#WXlL~+~")l'FnLd.ݻ^o A:x1Ѫ"1яzBA7ke_L,ch,Pyp 1Yb|4;+\f:E=g<;Y9A <C j -olI9-Yßs^c"E*՜QoBLo#|RDTY1%~-(}?&)?I@JZg6}r ;7P7aMe#(ܟN't'RXοg8T;ԁDbF]"}=]mmlfN+\q21H/LoDy SѩFub Lyk ?_?goε2 ~YIh/,O\q\&07Pt#WOdSR~TU ~Oj`W}^ڹl?Rale}AyjR=OEfZ:i66F =h%*^*R$T$}ç~"]kJM U>0yNۤQٸ8C-Lk2/Z4mW?kpDnskd g,ǿ+^_Rn󢗛 U_)adF3 Io?3pXj\ .ڕ7\MrMdUw̑{H̋uc-;a~ X'l' iũ%B x*<ي>tm#9.j&qk] k5iEn 0MN!=5ÐtFM\p@UGp9D'(w^eL$Q!&heH;;uϾ; =Y Sx>Bu q{4SH A's/q8{`LaXEa&Kխn6_IvD%㗛Ѩ5MDŵA-yZݤH' Z' @88 >N֐XkݩV-O%/S3afl?XqOvxҩ}IH.3(&6Tu C{~H*i,n6=g *p/_FGA&a?jQ9#%l͞ H j>i{{2ӄ49&["_&&EmkFr˜8P$_~h,4(qB/,rWȂ0q2+d9a~^LjZGy:NMtj@K/Rw^6 4D6Y71ǩZ^ٳK(pRFK<#1 cKBgYZ7zXZִF! e-]ŗXiɟ>+yC, 26œ.$(tүcꮅ_uC.Ib n %07:7=4i\o vIZB=&XSFDO#*R{LqH(}QCøid QE@sq"~/>X@Rh{|ɟ`~|S.:~c1 ̟[Ci'>"Fۮ2N+tl:K0)3()6mUR|kyl|3yfb*̸SağjpxgYZ7zXZִF! Cs]ŗXi%D3wDlz48ۯ7X#P$<J#l Rg `l`R8aH69Jca[(˳~ҙI@vfkfTygO01M{$ceXi=?]ɛkHA :L+JoƟ#]- 5?X[9uWv!x民Zy][l ib 4D. W}fb)C sp[Jɸt3GK ^}lŤMX]Kw^*i(anh}}!h;[TS'{W];''#f574UצMO,W5l!7{SNIc٦QWUu6.'Mf[T!y=Ga@ Š2 7W\x<~BRe$'Id8>d\߃l 1R;@ˑ8B>\wd, [/ko8pA%e\|y!767bmW̖z.zTS)n `|?F<Ї4G})|}jk}u媍xXҐ[0{0Rv6T`ƓY;!6&rrv1Y"~8(Hu<s].F=)+~$Dm~" P4WƳ*`i.>#XZ:!Mb0_ZVs0oyB&(|& 4|42#w_02Eem^ !c$QR ;v08*K /<`#sN L7W(mغt_ŒOLmցzȦN>sɣєXzجIamK3F'4I1bxK{)3{n 3譭>iZ"mi5\*l h0p n\=w!0=H 0k2 [|H%'\ߪt&G3KlѮm0{5EN4؄̢8*|z,]i.5aȏ0.k[8 e-_}\P`:~O}:=Qj44}~h ,W&g 7i(5@ǝBq=>(EreO%nam,Sý(۽N+49A &t_Vz5Cބ-5CWFFC)@+h/P}uV/t cX;O-"'!wCu= 0nS7)0sRjK yf[tz>}{jPuK{ߋ[(؞${wjjϠ^0 y>`~bk_DON$ VgLZҽ{i"gF~0,BHD_TuM p&U8OG: ͂B `QK0LuEcƟlm$p}Uyq |Y^F'x04qeԸW|"@RZr 10c 17;QL+m!v9ICœTxeϚGhGu_~Z(ZAIZ"y+DiC-j}9HZw-JU:gt,Jt< |)ha,2wYXmc<ͮCtVB4ǟ Bd `,Ǥ6u)0:h|;{ X h%$$hr%B/ALE%[Xf@ Q?ϝ&8m:†G8hA}Wg96~C5[3L_7*vRҫG[|7sBв Ao 1?g;hf @3>֞Z T\@;qvsZY j `8 >jNR2'Qq14bg8PMSH/Ǯ͚')b/nJ]RJ|Ǜn3,Ƚl8o( Pm`؉.ON`0WQl\qQ3l t~@_ ,?"tm^> !mO! S1u zSN%UIgi+    BxDg +3%CircusHOL-Library.Sublistdocument.tex )/%CircusCircus.Refinementdocument.tex "!%CircusCircus.Vardocument.tex '+%CircusCircus.Var_listdocument.tex &)%CircusCircus.Designsdocument.tex1?%CircusCircus.Refinement_Exampledocument.tex,5%CircusCircus.Circus_Syntaxdocument.tex,5%CircusCircus.CSP_Processesdocument.tex5G%CircusCircus.Denotational_Semanticsdocument.tex1?%CircusCircus.Reactive_Processesdocument.tex-7%CircusCircus.Circus_Actionsdocument.tex'-% CircusCircus.Relationsdocument.texN@FO^.G 8jѫ&wgΈ _ea*Q=H20P0VCv̜BH42)"o̅ԘaEIW5#KZrפRN )0 r͑*ж`s:L!b 0@RՊБ/7j Ct7ɿ>ӌ0 5K">|f3elY@ƾ"YH):( ˜eGj;F+?+BZY@s}b*żt,6 k[Yv94Eꢩa@i[A\@ B!M-HێS|zgqT6PM:i/lR-fQ aQN#\!N = osqVY~?v\[N5fіOۙh(TO=5]S-X&Aio-Xk^ cJ[4D{Op]qdIkBܙŢ>;M]{|3ߞ?$UEϗO=9 (]gՒExoδ%z*PlY,`j$Ժڟxl"2 2BfQ0ڿd9P̀\Il, uʶGɌ?4?dyD@v`7Qr.*Z9+f; hzߕ${-F2G,I^hz2Uwױ2$9 \C {[+8@ 7n;LE`:J=X &tݒl"6H\wŁ PG-@klo:U vΏ!Ě`{zKZ^QZfbi X \%,8ϼEיG>VGoJE`փ .JKད݄ꭐb!m` NGxjG}Q 3d/Sۧۍߎ?3^_nLtmk!skO,7iMOzSm&^&@YCY-QoƖNLi ֧v~9S,z(nNv{׹tVhdSO`Ne0.]O^׊]VtY96Azg0eh?q Yaj+UrF7IDFtxw}Y'> tXkQT;/bS[llҚnU@q=x?F=zоLWZ޲1r/uψmJ%ѡ< x(,ycEn|+?DPeCt5AG^U~[eX lb{ VZ8n()))G^,аfzGN|`ܣ"1h_E0aӚN!D } LRUʥ,P كiER:w1K>:k1Z<.љrTc]ĺ͹BJiBZ3@E5 =&)Y ]_΃uȱ^'< NP߁i?RkbKk X:MMMG^e| _?Qle4bZFs[[!|n5 [T؊0+Ԫ'D>/z"gTjq3 !l+rϢixa_!!M9:pzҕ5=e,̅QLv ;cJ?6 @4gCЈv/⻹$)L-7ZIgYZO?1%kԉU^Pw2@FX0}aRj`dۗcoݞ)&oL8#-TPXh}VB]0/6 LI)H᦯}-j8>EP׼vf|sҍ1' QH#Re~RW[i1~#+>],mdY?03L F5( Pm- @_h K=EI,[$vRt隕k0FFr"gw4;kllA1;/T2lֽ͙J GKuFO1!Uj$ܭE/[XnZ ɕ+}X Fe3sٟEd/)QcYdC hK_Xh!OK֒?O̩r3 k|v_)KogymSlfCq@Vƒks AL!q+' ȣlcaeg-F (Vo7ʫ&2a h՚p#Z@ãoyFV@ Vah. !b?ngH8Ƒ6ǖ| F1霝2; |}܇^m2F C=gM)*Қyi:8X6xu=[p@35Ŝbe ϼ0KLd3ˑf]љX4iѺ擜)}uPd9Cn9] ] _!";+;Sn]AU:S 0:K6兩 +SEM$;m[<5.,8X'>5xR7&j(TP]|TICUyq|¶.; MzawU Q:aEO?2[HF^Rjbp%TE\Jn)pDWͿKտ 2M{ A}S'n#IςfT>(ǛcO R9u݆aİ!41`gg}P#ʆ,Xqw "fz68|:vj^ xM| ZCm7dǏr5H2H{ҋ=NDu*)i6E_<;`ӀѣeI&Stw>[YJ  Ch)5/+`ߘɐ~ځ!P]neDhlL~|GTN&c[/; Eݐ<4 M[Qq~HL@{Ơ2b uXHuVI{@3y@Ejf \W;I sk`=Z7E:8;# CQd)EEN^i{ff!ޔx߄~ZvRnF/p]D ==Ca8uȭw9ƯO.0]T-i%hYsp kz푗V8=zK #M>B9 XQk*Dyw<<+5wB0sZS'qWVMQdd.;ذqLI)?K2 xCLxf`3@͟}'C}dؠ|J[0{ca0k07! N.3 Q\ eFu[b72O$㿔yAGl/"Zv.X :3>IdN0X1o)zfAUXpopr9) XRϣV 쪢_(@L}>EܻpQ=YjM~TwT^Ќ}Bb 1Lz?? .2ٍ3-*.}0.Znxc'NoΑof(ve ouD{g7o`\eȯk2%m.ȱY翌aߞO/"j?Qp*q)4s|ҫW&۽#FzxAݺ>[rN@1*dl}B3*uLyj.b4d+ bټN&MX#7ynIܵ(C^Cc-_rJpL?]H{r.b'_;ZkBO)f'4%U3>R)P:Be9i@4yBe{v$x=|wnyF&C)!siM< Wŷu!`ݧMV9ZH'< .׵ ?I :t]5ٙ{7nUG}Fd0̵NsW`2BVOZ8vaDa sTs>y s_TTR;Y)yxh'TC,6w\f8:ck`P*5 '9JoR6@񐳷M⚬2լ ׷^+|b]#}U`":߇5Oie J(Vwq؟TS9oYExsJ0$՟LI;Kr1FK d5BGPVzCR09XW@ɉ'5760Rh1hۗN(y9g3:QMn+"ƄjlhJ 샇q)t=VP%^< ammS>f,Q/s2SX hƩ-Nd-qiA !wFh6ka='5ZFkM{ C9r,vD ~V!Ah,xWuk@u)t)? zNeZ ǁ,Ŧ![vt4lO/2@\jE/5irWiFM4c^#d6@'KcwEOy{V}3 L7:%!-) 3{l)A!7Vozt5l? w %G`O0nE웢|z4>QpRoi3AGP'ϟz@Z@QU1S5b[^?-T&q~2o2mBFf|,Rn=gys,P"]wjZԄGǎ dA Œ Y_҂ɷӕ_k~*|&ư@7r% {W~R B䩑0]vD[޸{Ͳ] o `X6ࡣ*H]J"~8(Hu<s].F=)+~$Dm~" P4WƳ*`i.>#XZ:!Mb0_ZVs0oyB&(|& 4|42#w_02Eem^ !c$QR ;v08*K /<`#sN L7W(mغt_ŒOLmցzȦN>sɣєXzجIamK3F'4I1bxK{)3{n 3譭>iZ"mi5\*l h0p n\=w!0=H 0k2 [|H%'\ߪt&G3KlѮm0{5EN4؄̢8*|z,]i.5aȏ0.k[8 e-_}\P`:~O}:=Qj44}~h ,W&g 7i(5@ǝBq=>(EreO%nam,Sý(۽N+49A &t_Vz5Cބ-5CWFFC)@+h/P}uV/t cX;O-"'!wCu= 0nS7)0sRjK yf[tz>}{jPuK{ߋ[(؞${wjjϠ^0 y>`~bk_DON$ VgLZҽ{i"gF~0,BHD_TuM p&U8OG: ͂B `QK0LuEcƟlm$p}Uyq |Y^F'x04qeԸW|"@RZr 10c 17;QL+m!v9ICœTxeϚGhGu_~Z(ZAIZ"y+DiC-j}9HZw-JU:gt,Jt< |)ha,2wYXmc<ͮCtVB4ǟ Bd `,Ǥ6u)0:h|;{ X h%$$hr%B/ALE%[Xf@ Q?ϝ&8m:†G8hA}Wg96~C5[3L_7*vRҫG[|7sBв Ao 1?g;hf @3>֞Z T\@;qvsZY j `8 >jNR2'Qq14bg8PMSH/Ǯ͚')b/nJ]RJ|Ǜn3,Ƚl8o( Pm`؉.ON`0WQl\qQ3l t~@_ ,?"tm^> !mO! S1u zSN%UIgi+=v)*dV3tw_sTs g7% |CircusCircus.Circus_Actionsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5U'anMVu =hX9V̻ӒmA JZ*iۭW/q)[Z" B D2xi"ADw~uB̈wXa/isݔ/2Nr*h 669چ1_xH-u|^^QWmЗ<1_uߔD/Pߢd82'iHL:b1/k#;%<3^逸In"WTn+{ʆ6"pA5zfFh1< IW} Y K>qʏCfE]v`q'HBS'cM`0wP}^SB+D~͋$,.ic<@N^89%TTSM>J1yVh WPϾr!lBC5(ȪY[\v׎mq/\/D7DC^JDfZm#;yaݱr]+20A4OSK'4L-2]2t|{CwuF6^3q׼x񾳹.fЯ- $2nT𠜒,UbWpFOeKA4f;%DDg<γ+wW%"qVU lSt%]# r8DZa%y #iq)Xc }WیqX|qlA{s%y)ԢF$Kl g SE|_ղ ޳*TRbk`&6mNݬhV[הb:M2,{EQ$U"͝H?@A[Ӗﱘ +JC_zR}:ʃ),y-i:^d]lkROg0hicEr fw4/Q=g90rܼuT9q; @&հKtȻrq$r Dތ'NާFW+iCER֧)$1 {"c1eU@ ;2,' ΢5YՈ8 y;>o$d'e?x-ѿD}yPv)6b#šݺ{yw7=cݥ .kNhhiq#n(b$9?Ó>дV!CI:a^;L2)Φz[g0 hԓiafRpzQ{_ 2}wITH63ηXMkY}"XpOB*DvAVvf($8|ߩt*ʂ=Y+[5WdFF]DŔX΃a4FDa@jM(?hIL9Y~U斕_|Ebr*9&Ʋ4 l6g'4ie$c z5dpBlwiC[Jklv٬@,UγT(VojHǽgU8 2@b"6 bY_0r,]rwMm&r lʲm\"ۋB՚mOs3 "lZ+7xQb;-O0$χC@;2䊋R'6 VZ8ͥ=Iǣ |o%#Jx­>#Ip$,xHP!f6)1(;`J`/sB ԰,ڧym/X&+IV]&_4ҔZ}OQ*}AOH/ߤ=o}=K?9p [L(Di2?)T'@;,-|°h[̿shӧp`S #e8fq"d\DʎfsLcZi|,emjm5>rE=}\ f} D*: CIM&Wd饵2AB[og`r@X|jC6SMEKwpٳ|/oqwZvӕ/7n!+iBbȑ `0[I~ /R܋#"!yge2*JȊEݧHK*xx{L "&i֌c@,(׺Ir?"=ҡrv^gta3[͈d! ݤ.X:vZȬBhm]C3Y@INjTRLL-23;5rI0.i^рͅHt,׼V]i߻@J0fX홼Emy͒S Ӊ[)liFda6%!!AP >٦UV{!;1Kp,*bf&Ǟ*/@"X1iNt00H@fx6ꋲ%)ǐgt. 9?7t:[;@n sEi89v 4~-F.Acmo.KTx/!ZNltf86ݏDhl^aBt)v ً&?HlюIAwapۥ'zO{78=T4KhKM,B{ X{.;viw>a@ QY5'o4g)TIPDyQҀJ^eD/cջ2aAG40usSTXqnrS\Dֈq8s9>sjt?;QxFI4Nx>_kL;anJNdil 7JK60"`@L䩉I0^pstBrʗwH_ 04{=ul!rWb'=<ρ`. e#J\+5꽝S zX{Ggqufk~HXf) .;?VѓjOͅgAS5gp딞F.bO{SB$"vH?{+8!_]PQ~7}s$/:(H1&7:.F#Vlo#F} @qM񘙠eYL0!uޠ劾 gi{vFRMwnV &%<59bt|)S3U7܋˜XKG.@&$j- sbt;ѓ}0?#[ Bt% e@5? ߪ{f8jRťs*$zb7-Aƍcr aqF#fj`f2A.ʺg@J54 yknCap<} ̋W鋥Ԃk@lҲ@o0~҆掐wnp}4/\X"ٟތ慳IPכXPI— Zh?m,hsVg4RHFE;To n1<2 XTΙe-ޖ^+FM R[`bĘӸ=I~<螨ɐ-e""sS3,Hؤ 7 9^%\2ȼU1oFR-1D[Vjqg)jRd $6iņO)[yRm aTpY/ۨ:Z͘3 B_feSyg(Ľ36UH؅FHl(w(YiuDdO~w ёRc+ }6~!p;腭=F0 f#b<(|,;6;iaehj [&\6zPQl/9WG'z?S>p"$Hwk[#?'7(OFkNz!: vkI&Oga {hWXvVljlA 0 w e$㺜6ߚ87ij̪%IdcIxnUR bOj~S^#B䓓Ȱ ODajosúnnIxf1W/[|ޖ{ցQ5˜i@! X㽕T֍+ZT(R ?EH.a ^ן諸zkQ%ɬaA[q=֭CRIxW2B,tȚblZFs\|Ϳu6zܳECYKqO Zthf J߫ov'oȵo1/Bۅ 3ebo oGnٌ.Ŏ:|1p7dTSȄ bhP5s'y0$`G̊RPT#=ՉΝ .u R-\q<۽l̓/|Ů@#05n#k=^E3+}1Á;`&#Uا(k)!'>{!60˵bbOjd vCqv2ҳUW#DJo]|x-pfO\0;Sݠp-eGL/na*QK*\ ĨxIh4c`D9)i کчp*K-h:g ͞KB,s$^UQ슬ejUJp "*z_qO:d@xA`#sXTdVGX?S_EͩȉHF 2Ieρ 0Ou2w0|NiyrgAV!m l~pgDKj;J~mԣ(Љ nՓ]zݐLtj1ZvvhΚ㮬Nc,;3֞HT4rb:M11E4ovoCg) 'a+=b_92ot*VumTQGkT51)-UjA:J%WѼL}g7z\^SFΦ妈#Z2j s7}t Nt =stWӿpXEmy1n|ki-$gpBH>3gA@Syjwhbb^%Ψ: >x};ȳ5qKҕOpQ3燀F=;&FA'%P89,BduWj{hpi8k1{ ~+pb/ X׷9FW:n b(!s5LeDJJy6PbLE+[N7>E K4X daUTH8BN}#1̶MFJ+z.mU2ßz D].^8 A[~E4. 5mgYZ x G% CircusCircus.Denotational_Semanticsdocument.tex7zXZִF! <2~]A-MՋhvG"uIBm5֑I*pZX' L[ėTwhYOAXK\):Q7bxF#lЙg`)MN)#9]Eӄg0d+"} phD b.ܙ8 S/ :bUJOLpX]ks,$zBC8`;hgV1"GxTe(Tg31x;U~~2vNT+R p9na;j5 `:A"V"L 8}ݛUkawZd-7 PuwBg;lx-U ېļNI((gBd Vx~fN31HZ `>Jwv2M |lHLrKLp@Gޙ6JoIn#uGWy>ʉd7ƿZSCj6Ąg`Y ^,jHK,=6E$3N YܯQ#2f*~2!΢ϼN5xZĴz"D\V 񒥭H͓ZJI5\ ?% DCircusCircus.Reactive_Processesdocument.tex7zXZִF! t{]A-MՋhvG"uIBm5ƷSW%8rMARmX}ExkAa;:IAT7n xkp>L rGۏ^)`\XĈJ$dOaC/q)Q 2]ڏ~UXVpitڹ;hTT|6lzd%~j"SExgMu:mӫM1瘾;zSjxn44Q]zPxgIA<:8'aG gh!16 θ$A '>|K"-DPJФk@{trTom)ɔ 58aX! H0>~+3>j1OvxKk\JZ,ꢲEk *4Vlԓ~Rpo,7Uȧ9QN`K5#=M&FzzGt0 +1>|t~SؑMT$(4<P+*TVXFAЍ+> V^O|k2/y)6j wzq{g|?JGYPspcG ?̗!|HD{0qܲ[&o%`ijo?49gq[9(~;U]'= l&&~ɷ m0Ud~!F #o領Ә+=qs 6A*;;Z|+)f?~zSH-nXrB(]2 "|fHӬH츦?$A!~dQ<qPb]aZS=$vA)+E[5ٽ4XbK#]( XK+&~ꒉФHSOpr|$kPRSt2pܛYc*J:Y5pN9M}Iđew,T{^AL0 w*Gq7@";۴rH!=) ٙ*> ESlPzHVe3RD Y7-:hY-N˫p 3㞽A B+ asY ` V8O8m%iFuh].jR;ȺVD~[ m\$Z@wd5;eฯuH-֗=_OJHy,~|=}E&.GIUw[(|w Fh(=:V 浪fy{tӄ7^BLqt`vAE| ; +nrCTŪ%xA;2hfU~@40H<5 g*.DN%pVu>Щ>4xOWH1f 8\=3qx\͓׾3>Ы[TIaaMW<[x-t vN ܠ|6֓"%_GZ`Z?fe݇]Q,J*ƃ嶴|\3ChКT-xrb3 rl) v |Pӯn%j BK ͠هh[09A6R0EgC曄 `C猱X)~Nm{F~7>z_$V\&ёH|%{92!k#D1Dؼahֿu b6FHǷNOvy nmV}_ш2F"=n 'HB1f芇⺗ŎuddSsb="#\~^&'*/P-<7R6tpkw$7''v?H&uWFNa3uȧqCqM:jXU55V"iUSsvA+o늯 ^2n{3c=hA<1fpUKi3KyFc[!} 79jx)mcqHNe$OX}Y#5>_<' SbOl8~ IwhN&DHY&jh.W0g@3X_ v~~ %8@J vb#Dfe^LDBOjlAU?RUqꧮ<=hjB,B%<C>#;.gv: hcP"[~wz@!PD 4X =T[AԌ#6W%8%(kMZ,Lڙ3p=2fMrIهrwsw8 Sx9.eC?,+܄{t\Sp'q`Kń>wz D|hׇP9uѳpNh9˒% O7% ww)cpLkس8LGz:M:aw3IGeadQyאnҽ#__7lIQ3q|2כڦy[S&qT!n}.eZ96< HҶ3DlP>q^wkݐ`(n)rN#_38{//H̩Z?(GxGb ,ܻWsm|{CAj$GM҄kL>iZ(0+ FYiT/RWցAы+X|韥Senʱ7[ݏܸ=uP#iJD" yԳ8&>Bm5ȨQ"djNGz]~\㋆#_],T>%YOerd~0\#Z¶Ŗ/0tpؽ';!a:wܫ#L ]@&PEMb 9fɒ 6<17p>HrJ*}e_F,(UZ:S,m4a5$)ub ɆJ:2iGHӼ ~+[fIAaoI4:z`y%Lo0"KQ^zl,TE6˺9h$c.zH၇1*?HiVtaEElTaM2H*Ո6 ZꇜwG?ʋC/{EU Neh[~yT"/ _31{ fKairR@hCtsC=Q0Tn@o%E£xRBk$/h]GpPVQJN h;(7]S&dU>a50( G+b~$,zBG7Q^{B썺hz5"S{4Qy43Kqv`Rr?tk9Z>jcjvP(5 yp5 Rr*{ =E˗gQl0e>>OTmM"h9@rs"BCN% 'LQͣc0jiWi ɣ.޳'e֝[SZ]Tr  " Es8ιgoڟ-GȝdZB;o'jw4y-7͹1OTIk96W>y8Y CI>JC_PH ՜ݯEx 6.*\F ? 0 :}6\/z3<^$" Z@`Fe碨r&B #! ,>M KLyfE=f'hmVP*͈P ~2A~iZ KS7 )ȶz.o"0EJQ||hoA|,*z/sdz.A#VW>ڜ!Oum#3L7|w*6eaF%,ʄ@?]e-90ч1ndϜ9 A}W)0a{_{9ς9Bl)&ܳϠe$ i !&[#QR¯x_gSR^i";zr];E=N' O/(:!@=P7/⋢;C3*\ ,k-԰phSD'I{eլwþwC-tr(#DR ZtdBhctw ٟΛ۶+q98)@uNy?s,}d6;9>5~ZuƄ{̝;}.;-vnEawZ)ghw\KX+(0 BfC]2ZKP3gU⊩?OXP1"kv%%س&/99np-;bX>5t`L aMc=3D%5D] P ^?iVӤ'D mT̒IDxuXl M|꽬 z&5% v[*ꑝ>s6]]8ioyWg lIڢ}19x>[5¤ Ej&vN$e[w+REՉ66䭩܉QyZuD<6GڋIڲÝ4%0c=N]/ yh/%(ngcyO,׬ÁE0]qϝc>ĚU> KX֫ői%e,ˍ$BN~b]pЗ;;=)Judl2إ)cW.*]7."j~J %DY=$kPJ6g1V oM%[xeT!6ѧ7Xߤ'k_Ѿ!Nӭ5L >YsNۂf;#2y)<' FXzh.p6f[OagMzo$#q]ϝjVU%(]˄R+d>kL%#rnS7 ˍz\/JKsb=+EZ'ylV찌v}v;&@ik Zoɭǹ2!^@;w-R1q]wcbɶmGDG\5͜%CUxu*8i ~~j nwneD%Pp_ U B %>'lä9Hhզ/3~HG:$P_!iLK!<4c-hx[d<9=)8tw aOG !$ 'vC?ѱW2TΜhGε\-̶|P" A.p B p"n#@2*WM}UFrea$V*g'HZy;5)n!S\$wK-sB{H$>3D0 xHcEqÏyev+xn5g"(QP⡑Ru"BݷyZ@'iprGLMeFm2@og@Q4-| ȩl|ƇiN4|B(X }$ ) (~@=W坐D69m~SŖf|K07BWwawN%myRsSXSS }ش(lm#aj.Ȩږ@ 0-]@ɵװt WCп`dwPŏKFB|"j{(E@'x5Y]m"ܓ2jeGP un="T4LH_HGb!g5;`M ddN*riI,%{-ѐX ok>\Fdɼ1ܦ;l!NFW.=xǢWԋCh5rL#91mȃYrvóTҜ, :fug|mẺ=k͜kBƃ r$ MBG9,S mv.&>uc T]Y:Ȍ9%ľ3wPH(vDuU5 ʹ6l+ /= I;Z-DN]D0WiL7;Idְ  ufC=FN&ziqMsEsGr1M:wQxn9^n%YƚСD =nZT:+<)c"✃uof:K2QoԐb:3Ghoi6{]%젡rycyA[YϷR> .pL[\zJܥ^#w]ʺEOf4} ۰XC?;pWa:E[ 0۽5x*ucr9D5;1T=$T;N&A9+"ZYq! s<ʎob$¨-=35$l:@ޢbΓGZ/i.u~dtsu2Bk2N?c-J H>!'^k/1-)ۼڄ`Ql[V<0e,͸n4hhpns'B)y0EߤzV6O\oG2 +QvL /Cf54^*-;q|1s~&Rr)&o x4[2n(keiSDxiY=e\Z $ݾU&Pj>} #UaAb :hdGG؄-Ѱ !2xtz:l}efqSĹvׇ+#|ad )ݟ %;ҤX7ɑ$/ ѧc{0KlH@4^k'8[݅J!il V/.nt:Wè 4tp? N4Zc{~o. ebQ_ Az1h~Dk2m`6<-ËR@$‹oi\9o1C<cM]_Yp A4U)J\-Eu>ǭ ҤRh[/;>'z&%y^GēI 욖'F]D<,V:8re16$[P \Yj=z 1TPumRzm=>( *O+\gՈ %SsTĔjG݄qkQAI&oJ4^!xɁ 1U1/bGhon9sΡ-NKb'򚂷ݠ+V9D: Fs\Rm?r UflR%mw{ O?1F{aL~#  NL@x@Hy{>r+z:;HZ{a}J UkMXG{߄,Pm/b[I|`^!ka5fL32vWDN*νBEͰ;XInyZ|޸s:HOgI-I^˜Db}}'n+{BL­m@K4`>)BXǽJ<8HBxe;9wyXs<5xmu-$'=Y'U3%]ꬾVDB>mA!kW0$ \03\*8| ׋A_xA `9}[4Ӂ(B=f?=e ͧ3cѝeydfbThMs.2aje ^"$(<TTwh`D"Fۅ ߶{d}s3]"UrV)bYHl~ۅ)z|J@b,fݨbIfs|h'at4۱?Օ5d4)1[wGe%@YYˤTHj NE󨌾Bi V`]Vfe$j3)sBl^db63G"PNoӛMŖ D Mu-`NQN)ytC<6m2+KFJz(dokFq*8*hV@ TeGKΤ\ n}' TS2SMqeݷM,:kYC eQ_T}bgb-Xz6r-S(4sF@Pk)%AsA( e[W \0)z L]Oۚ"VQ)iv*h4a\Ƽ30T<fVR]"BrW|Dbta_GtOWp*cID30X5$ͅ:4Z2+yFYu:`}44aVܺW5[ƹŐRQ7,J!dVx$%(l,lY/Kclɜq ^[UѳlBI:jO@)U%Pmf@ژśpuąe E4U;m5 %mJ)%gjOow;+Ra' ~q4H/6t>,E+iq*HJnʼm}\- pT4#'B 7 m1|e8D+Pg+F@# 9kTlm,F6 ~4Ĭoqo7۶m&P*ui7;#J:(̀.%^gZ}kԓ Mn9!q\ e󻌠OGKՍH \)׈ |ʹjt%y+ɣ%_涀Mvm"vsG]O툭ܲK%h{AP)mi}daP;;0!a:wcV(l|ЉyD>w_$РIØWÊ!4dfz !S¨?\צi3ܝOڙtA<3/Q8W3+&JaxB&pC R#S\nRFy,h/@?]bR=7nSxŒb8ل-BzB;l !@%G=Ϊ51M=qED[m0.AcLq>1Yt,(#1Q`uXX`7gvP;Z)d2l>42j)?rѮXxUDotrR/cli3n$Bh/9k~[[S0\P =Ծh XI#)j[:]lU%^/ l2]3FfCUi$&ӗU Bvư-a+~",yOR:aCa9;])\W$$'`aUx*Ia$ :}a[R%*{G]DA8tvqgc] B?ҍy&H*@^; 4;\=g+r6hb–!GnV1H b #x"v~t|r}|Փf@ꃻx}Д~o'1VblS=mV:RiJ֧ % |M$Ъ_AܮKYw,b GJ, A.N'z}" OLt W9'i&`{оI#fYJQhԈ&gE= =UY汎λZVS⻴z`'O%['5aw1Cbn{f携C'2bqf) 36;{e]QB9rdI7@~B/ɫ{]+L w!e2,CLS Ϸz~o!S$OG33E?̽)oqGZBu%oo4zvEir$ZEW z ˀ+U ĨP"ߩhe>! ޟT1ihQQaalţpln4ދsCXm F!ΖWx=!!̋$T80ɝRH=AmSڞ,lrH-=?f! Ę#CѪLIJvG ]1Er: P- dZؚLֿ:) z=n9nPXP5:1!vjJ# O"OxSM]V2G;\m -3M@a!)r_c0 @O~p#Pa]u[mdoJ͂f氀7xā{4Xg dLq8MMKy'y"܎D&Y C-o^GGӣ:fE YJ?i L=<]?4Au{v!Iiqw+*1O6 < ;Q3LW8!O[g %~[5:rt? gX!vMdAK[/;d"rVAvA8e3 gYZ+]#Fl4V'6 }(k8>@eVNLrK:e;`O@g5P?[\⇿[S_(\^=O[O/wu);V ^cl\OZkbW$Qe"K#)*gٽJ}zZ|9xw.3hD%'ncc%0ƫbۖ~匔rG'~t|пRn!+<ɡhݍbD!30(yQݯ0Xo y]udGjGJɲamNJy- ̻k Y5 z娀; &kx*;Ov ';5gǐ"'`nS~F ]y D1dN::V }L*1ȡez5'֯dQ} g?= VD+R>6֥<$? &3dA#4UlVP8@I砉Mz߬|H-PgM@hZ* cU|Mo8h_hTϰÌ6;layJ86蠤Jfˆ/'7+5?4?J)G4'(YV(wkw'!WULxSYR.l,uhpUW@;[ݏQM<*Eت hF{P*4 Umf N2FDAm#Y%m5I4XV=r4h~πHVǦ m/'u'"_}XG¶CL"_Ã8 c GlYL,xS߷+=d@w;ː%8'_a طxtMl>Aiy~{P!{@.j;RU S,==NˠgҒ[Z$Q@zĻ>;~?!2t?"-O["^"I[ىasp{RZcbбՏk$S6iL @7l'C:lto@ zN-SOay{̞ > }{.:fL˛ҬԑJ0]a R|fGݘKM@H:sB\EZ:GH+7S&(jS"Jߢrp>x vש+ۃfPcg` {j9W#BKKᬓz/HvK+8YQRuMȾF*ԕ+?i1Czuz4G˲,B|JzzTzE2L` 0Bm'Cd_\2T |yi+:őqi~^%lqID@ ۠e[y^I+Sid.]0,sHu0w9ErTJfm 4pӞ~$tDwphs:VI6,:Fw=>,mnX!?5&FL4vkI%{5mU~<1l1-xmӽz ݢ ۤ`^>WQ?U!S7Y)zD "]Xm֣@fX a6GqP&<6D }O3$|yP_vS VdAW7I*񻱔 *"F ᄼm^))VBx 6|ABo@Y&&JDm(Ȅ/ַY gqr#gKgʓiOLͭWEnJhgHKؿF` JS n/oP~ h{ egPeޭm'A.pʼ:ʦ` !!%{]S9le5Z=UA[J {;~M'S\*/ M^$. bGT8/v$rR4|H]/0tR2qizc2~(hڷr˰ lw0rZ'{"@'Gpdpu:N&Iݡ rp.m:[I,'a2[ Z ju!eB!D]Dܻ8_K  o(=q.̧[JSz'G[T/v@`]c)rMr{ȧ1xcJ]ZZMk]dCE5}o&H1'C~smsGFy6+nrwW}3ru "9Xʙ޴ZھDj%UpI-nܓ!,? ]؊Q7S6/ 6)T/Նuz[ `ݯJ=jpWfWWӑF<i]nגudt8Q~< hgi^!~e.\] v|z޳0uM=Ob#>+J17*HGT%k. 2/ ۻϒ"3#ھ/=2OI6'+Vv-QXE8h;U |Q;]{ #;&əH$ ;KoP5IlIZ|bk$!/k2^MYboL%T/+dqIVt42+ 趠deUCĄ?K5Uؑ 1pֈN8ċ7?&>P?qe%~W|&Rm ]|BUX6(ЭS3pQf19sˁ|=<{A0I.*@G(PJ"ʗBL s,ao2Os̹V*XW 7T/]t\LA:#%FR0&u-6+2<:IE杶9L)b@FXo7uM܁wSu]9C^c½m.,3 h8s5k]EK򇼻@ 0+ fomQ+v8CFקvxEf:w7V}H@p/?H >Jhv&}A"{<9Mn4i}8ʡX r?7o]ϩ`R# @ԓwSEY# 6!5% ,CircusCircus.Circus_Syntaxdocument.tex7zXZִF! ]A-MՋhvG"uIBm5U'anMVu ֣m1_Fd28YޱWu48V1% F|)ߠ 枊[|/\IBdZHɿV@-*lE_]Ʉ`,0!eBM!QW V)\ؒS&hgE+ F좿œAbwjcB΂gѲW`,uҘ^x]ZRn()od7~Ƹڈ({)APe:C|@̮=K R%JZ2&*!~SJTsJM٩8#Nsn\0 Y&(ɆOw ~*JM d{Y|?#;/_sϦ anԯjNLp18 ;f94y:v[N__P~v":ǼK`z-Jv̍YX>nB=+il⻬ȯzINy;:v@e%,i6F,TxFh E+SFw][: /)O*v- iU-I1!Y;`vp존î)qBtO]yIVq>HJW"P|Be hvA9 PʗQ#Sڌ\CU8Kg[_iYciH:h`-kE>%W~?ï/qR*T%[b.8RKtS8qHPڞٲxhɤ$,G8F\5]9!k6?-濨 41.*7 g?i2\xCפr1 AVCsʷg u*+B&qCLa}X&Mkxaw` >uN@=Z? ;hg/Z6a\@yeˇ~֮UV ;"JoviO{z؍}ݛ`N$Pa4 pK侳=š4;b',L4 3=c8,Փ1\c@|kq Q- O-|}L<2䁂rῙAff8@ݺűDDoM7U“5;~c\us*LKvt>O_ڎ vsI+$Z&ΘV/盻.ɊjawS{CMdA>T5VOt~/)/j&`;NF,h0 KMFgdwCdIX!~!{!*_ $wQ8 CDuL"IS[M:wv725V֍\d05_(i|df!Sq* ҂=專Lb;aݟC-uUD*tlCx7C$ vY1U"pfgBlb^glq\4״0c6lpO_"+[Zci6"$Gp ;N^%=Ww ䷪3DUvLGu'y0mOYIjN / e7?F߹M#'*>h$,k 㝋~ 1ʹsLPaZlB/@4EQt%'9!S8 /)Y?j5W4KPЋy#sɒ/ U׷@|\xy:FR*E`?!:(L!d'Dp^0*\?|5m\|nʻ/) PW8+_DG"rlz wd{'˃~QNs}TBiAhyCd#Sډvu)ǥz)3D5\A_v3lvW:dl~Fӎ=P֥F&ssޛ8<#{&gPkf}\ͅףX)NYd`qi ዪYtxf'&oz@HhxVaf>]Ĵf֒^TY0.&mI;6/ 񉼿~ f,qM=7@9><ֳlw/ _7D䞫R󐧒_{ꖜ%hүOs% \( 7ȕOJؗX;m }u 197"ɳfVzdRSJ멎fj,J;GD @z'ds& Gt X&;i$ãx,T<9\K&@N@HbƋ"m@UIdS!Fԧp8< 7{[%[f@m o5+/t9|;;Up@z=Ȟ3{v_f3j7L;&e'&>21!ܓOSٿ+kry6UM"º]cp{v21n֌3eo2|}D7 弜} Jƞ't*]3P#*v'ĄƸ43,ʩGfB%_LDzSnݡx4HgZ-c='"4$L3z|F$QJ|g-%M~[ ~RNw pglƪOc=. @1< //Z[~2yl"-m1N6| &CmNK/W5)4p]Ջ1OE/:+L=dRO5.ჃQLrh@/>jGθRw*و,(6:L`6F6ٰr9 @s 2J?Cs=tIاD9]]L0ZF]r6`^$Rw2Ӷ4c+!XDƽ@:RTJp ^s2+As~ 9/ӬUA*ZD7nwN;Q8;ݿ1|o 3' KREX@DAYK3>lf5ŇsFF?oE@HyzH <#8mG^HaKX`/A,9^Γy=C|G%3w%&ZI*R3ǍSoWFc1/][q4k[#et|,]{ ٠vӚORjTq(3 B5fKкb(bQcK&$H=^ BVb[ g.GS6ѿawZq~rQ~4fx 'ouh`Qoš¼4~[[ҝDYzjN:5vJy7MLOژiGߪ"HZ4w 7d_iȯq^e"( & }Җ΋_{:\'Ьi2o]h:Fb sZ [ rۏ ;2"sׇƼ{@vA"vۆt#B~awcӟx\eL(}QNe# Pg5ҁv'M@l<41"xd@^PQș //;{$0Ʈ`qXkAԳz8p-eb)OD to$ء`T.c̞ vxZK6,]qQo(ě`@En@t3RW!p oP]BLFed\W}pMSO=N⩏Ǐ߄T$ |RaN{1UOgYZ '?% tCircusCircus.Refinement_Exampledocument.tex7zXZִF! =V]A-MՋhvG"uIBm5NKhyrͬ {C laG GMlߗl $1&&pt`[ oU;+ssĠ)ȰO*3 {ea ˘+XNz^0є?[=/há͑6ܜ8LhxR'B{yWy6,n AjX(b=f kݒG=`!~$J]xuzd"EoF5%RF\鼭U*/<̜ͮ찲&U i< }R*8cG 1/S8RKձ{+sOQ %5Z*"BZ|7 G9o죭uN/? [&?)GB1i[1ٚ5f0&7,>پ9y{H]>Y@a0+6 n)D=qZBƢ% kɮ#Z(W&NCܪYe +cړi‰-GwhzCQEһuDRi/ݫ/ZCWCP/\+(kn1uP0}MO*"oFͤe~jdYl\[N^KN ?"UNGJM謖O8 cB{yG'\:+}? CpD3kjdx2W5< ρőm2IS:5˵7Uat߀5$ʦH&|cIcruroeQ.Tt9R!+ ~|L" VpMꧣ>)?Ni\FJ=8Q/([b0Ke7VxD/a R&s"D Cf\] oY?8$% kNTeyvfH7i1a2Eε3X=eDjp>#$j .Y"uRDPJp}!XH}4-6LAd8n8!S}6i…S͸dMՐt/Η|07M& z"l({BuSjyn̨۬ilg_?zgє%c|QMN9_j9v.hJs9P:}.m3uzoB7oYٍ aT.KqG~p m9<ϿG gKچ{`U m D5ax_'4]n>!R)S>Z!iU|5Fp1dq&c6).!PgFτ ;sNZPφᬻbIfbj]z3ޱgYZ \)% tCircusCircus.Designsdocument.tex7zXZִF!  ]A-MՋhvG"uIBm5֕-J*0a`GAYgɧaҀyCL(J@{vly x&_Snhwς=~LHBo^QO2#ٷ$?1Huh`Ey9]"s$FwEϤ$bS`!"aRxj!E l;[~Z)82sDwaqh.4Ʃ -7&P];^7S#r x,rޙ2t8~@ݵl;U6Gr" mZPZ/wIB{GlQz>jP3ةQ"’EJ$bQG)L4p0a|&UӅEj`)b3Ř63ɶS0YTj'N=J^πHxTŪ"YFx؄臯dro>E*Q*`;xdkr, |4K+~F*{8WDa@ Tk6d,,e38>O3h=jd36U 3J֝|I%bJZv>e6WM5ôB© ^U I:>lp&ހxt*p"އ_ꚼKp k07DT)&kC[ G tU%\lGsPV[$Ku[yB)b]J};iH NH2vj.M7R- zנ☣0Oj|+M܋@P6<" z\mF(6Z|)k[`}šª?*ffGt!oNEY/O Q{&%@dskqo齠a{%& X!)` -AX&^gOu/AkqY 5>|;ocx~q5?8G_)V쨫IqcQs>+\WU1hsu  lZˮ5{P ٰfےB$#ϴcXF\X<!o Jɮ.G =sO8$`L;S6Ms2cdH z [~} 3.(~Oh<O:ýD۝"7v7>Қa?Sqir$$ТlT=!dcXl/(BpG",qm%Qt٫qU]&%&jKJI VրV>RX XĸEͼTQ $>Q03g,&0d˶g5zVpnXY6`_7RGjp;a[{':\|]%A$"+`BLg|4 8Z ŸGf]t>e( V2Zƴz(U&hذ-Y5z`Ԕd\jXO 7uǣT *'4$ĸbi%ir攀odY p4|[䁉EdFTJs1 l`)"N;u"avx+V|!3s%֙g[Ik>̠AbvV8@I/4>Ehmɺ^FRhj6 4T7$#` CEO2=c*=r ɺJjᇇ.{%1c: *@_ TݐnTJLCcJD}0+d5;`u>YxJ:Ӵ1wQv[' Ji6 7_c_cZ}ƒ>Z7 Jmx10*Է'Q bϢ+xss̃Ϲ&w=bb7^(;Oj$zM0[/: ަ2"))o mT?2NW9Lh.xjn*GRubv:de2KlƘȤjǟı QZ.&Vrm\ߢYKkخLd={> Vv4{D HW.ƌ5r_O6w2iiLV#F͹3ntf?(ެj.`'ӥiW!/ ΐdjRh*h{#Ԅv$ gYZ [ [S /% \CircusCircus.Refinementdocument.tex7zXZִF! *)]A-MՋhvG"uIBm5N\f# n=Ӎ~E~G l(/3q8%.\h.RazE* 9BVE 6=)kf%bFnyF Kr?s2wP2Lk. FwE?*]_YR\7Y%Gl='qKz{o>ĺސ'GxLڣ` 3Эr*V6J4^|_0>j淠ߏacWPB~qcgӗ@^٭^iŶfy>N(MD]*LqyZò&*zY*-S@j bEpI"2-^u >*1/3G꺩By1n#T<9!#ٮzIr43ynozamP;ׯ#IBDEԻN1E,8]lBZqB\z^:> s Oh?:i ["K7.f5PJzly9I`:QJ=50zNk քFw!xA{C |J{7גS` !% CircusCircus.Vardocument.tex7zXZִF! z]A-MՋhvG"uIBm5㎒{+Kg񕷶}`&,QsH{D/4O`O>.mT@d,PSJj.xGۆωũ徤/ov(9:xbUCX:/o(+8#Wl|Nٔ+/\W(OMdc8JYqYeg%D2EX)z2Q_g\#]zY Npv逑%FoMMW!`+oq bsǚuS3 m~,2ڬbhaM-ηT1I8ѷ= @KGX-)Þ* |KO)_|H;U4X jī:8ns fc2Nsf UU+b*GfKbMSΡbԯWx2 "Ai]8Mdݻ5l'Dž 53aN"woI׈$S6i" m$6[Ay-'unJLx(R u/cDx.!64gmոMm:P\_dS)`r]p% D¤N~"o#eFj~=Sk8Ya2[z(egqкXޏVxP2<WC'!!;V`sMtCŘ5!rMWQNBb=> HjkU],QE578t4DsJ`| [rvΛ,iV?D Z{5gYZa +% |CircusCircus.Var_listdocument.tex7zXZִF! !]A-MՋhvG"uIBm5&6mbɖql g^,M{2ףQ(r g Eq5e'4zNv|ԓڑ:?!ieOBnDuG4Ɔտ-zd;CȨ1Aio&p R"-Oqz`YDR~N9B#L0^Gx_>m!%6ũ gjDcX &g5^X>Us 8$DFbOPBfjb QQo6XT*e>W/ɱmfĊPg3W#|dL _pAk##c'O\Xɸ# y"&q~ŷ&cbuxfu%d+Pm}7?ܫS~zUˁ m%?1Tƒ8 pЅ:@O?UAn~O'Fz]h7gWrU$?LG~T%DMՂM6UIJ BŚ{h)a~ȲE~nL7骗RՋ5ca(!I\}YQ.`X7o-t. Wgd/STHZ*eu+y[ʊ؁mVL6:P 7 ,zB\:'t S%墆xSZ'Ό?O ro:A3O1It%ffىmoP3h;𣻹6' RW_on^Re??<|qh%V0eCPAwEd"Pܴ6r<\k h~bo}^EyZJ;L"6$Fk#")[/Wͯ!LvɟlY+ЎeȐ feZc^FLASn, H4Lw ̓LXM%p!%)Oˆ7RIy8u g3;- Q} DN߼ȚvC03,b\߷ຩn:uVƶjF۠M;$gx|Пp& `.Rdb.61@#HuG9dλO0)9j[l.!9UH.T{ AOX( S)@z\<H܄t \!=*vfc,9>Kx{FNͳ (G.<d a /( |=1vUk?aǾF5gZۋg;vr.suT>ß,kgX{WSx̭p7ʸb^Xe1mhڑaUyK2 ^}]t{c(eCmd[vk}Dڰx{+YƒjiЊxy--P[XBdr^G8{̏ ?6 a?ltѐ`KFj7|J_J_^:ۊkLt#WgLi˃سTzuel\7o1 +:I}ҮZR Q@UMpTT ר/[8W?av zj ,?׸6@tąH!+b=0:>ɪG|U*1!Yv^/WH@l b:&gN@Sezv 7X[HSE\1eֳ֓R S^xώ/{Da:k ]+GvټoeFDǸ k׃ /]kUCqsY!R $#Hg/f Ʋ uCl)W\[ZV}fŚ䞀43w5+%aiO6b5,B Ί.*;79>,ԛwM ܿ}:ߩcri_hqp&  Nث㦋ws&p#҅-OU*ps+y<:$9"0x3w*ҩ|F;+㞍A= sʋs7$h Y2"R`g6pv(m8ZI }LcQKeB׷zڦA'Wx[^ȖWGj=dmx+OEPxZ^p6 "jO=0ϩP l;s̉ˡgmSEҕ@9޿7aҍ 06er>A'K0cfQ3jh8H NJq !!aSz{67BϙO HLf]Y$.q2 ϭʞcf Ō̪ ?vs j_'<5n~moiz<1]@ͬ/v$eqd-<"A7{|vUnpJCp(OnB}|GЛw} ;mJ狌[sv*kw8ʊZTu57@ 7~|t4pȦ* V"BJ|P칵s ;"z9'bVyn^! f R>EEvDjx>䔼1۶K&B2&)ک٭9vrjJ7\![osYFaDA69̰X%v-˷^)篯X+md5i_֥N׺tL uT//O5`X }.Q=(S-{V M[;5jUBVDi[m0F`ܠj Dr>A#[,rGI[ϚDҘ+f.F|i)YO3hK»hqμ?4}nrbdg.1VFRi$|eƂGq;g?ڶf0>=["|YBUn*D#7' , ܲ}RY4cY53;kctK๿7`4E̺hHM/^22U9h>|Ma6L1ΣԖYS<Dz8vLp/֛'u\PMU}XM@:!h@Ց"|H8[DґhmCS߀$Ct`JVGruΧx#wn'1EcbQ9z߅e $4(;hӦFoI:O&`+h}ͩ!8ZDZsYy.ޡZ99(dUjF=f/4\hmRTVv++XA MJ렳f?/š$M U䑙ۛB2O⚗.wGG6|g҉ 6;ZeFbpz2:㇤rv{EUSqxU(VdOKh2UT ̷ރU^IR{@!|(;N,C *',48vj gM| DIM=F>v[\4@?]HcM*ous盔[ꧧП~J!M{{R磄" _>)%?0}fΡQ  y DH:M8񽓍g!{ XQ%Uv h%n^xmsi5_`Wj נ2.nzC7sR}Ƞzk=oWq<2N5K bPF* R1JWѡXaxn3 piYf]W|qoVhz8EEQ J Ū!F u'e2;Վ6P즼uCXj4;Q!F${h!,ƟFq \%Ks%(e_K`Lvl8؛L5BPƧY60T.*g4(w<ҕe) Ci8g ῷ)E_z/ٓi ܅Qqz#ok cJ;N/]·B,EdH{'=649c&ϚS  ,TVG++#T͹ UZmY8jsx@WvtZoLŐiUEkˤ >}.՚QnI7RȅBBȝPv`KpnP'DнP|vNnN`C 5~a(؍HN[ކbjdm]ty*D 0rڈ'MopОe5+.eفk'j )c<,=/5W Ό huV%۲cnTl <˒{uo{*$u wjG*'"AU:tqUJ(C90952'ke#_(Ǿ.Z‘M-a/^XX!\~$>Nwgw?g'J{ zRSTOyBHC_{aSJ+u2ơ3"4ؕw Ʀ yy+ uEq fj7:{6>8] nggN?uL+*<"QH>-?2ɭk#^~,:ea6Ub,Eb#BRNBtjԃڻȳvFt7c^g-)9 @QvSd1Yl:{67SnP>4Alc10`ظ-wb4bD#$_Wݽ@hB)Rx!4R %Fw0CozR3ɶmҩPCSn^oJdOp,S>A;"}Z¡sG匽ޞ^"dtzҤs447^<=axX-`.b%#x7;x#496nߧqjŏT襪c`!z9}L_TUeˑ+ցBw#c3D_vMA_}]*bruBU&CG#W8cN[fvY/Քo^VUK,F+K=w&tL}dRcegi_4ȓȤ{4ܮ!9^9p)vuI:}eS">fzOMU5CًAi*9=tK\?yĮ-  b%AxK Ma ]3,LyYhM1%1$࡞3Qx Qxbm7h^Ϸf/}0z&H|u,ƿeD<67`}0-Gb%O!s>45Z}(4H6< c}mqbU5jgz"LjfQ^u>cő6~RK.^`zYl+Ge|;*UvfvR3C7Q~pڻ2y]hMQFX`)/ EB<}\cA; v(-?O֊gxR f+| rqk6xA6#DşvK&ʐ!.[J«NqTPȡ6nu qpI 7\(gq>{W 3qFhwifpq>C@\6l\d,'>έq?l'̬tP: V1r{y!/edx"VSba;ogPX+-7:_} iqEw>$`t5nvp2her4h)ԧ~Wx/lL82<8yLX| \i#ᘢ_3X nl ";CjVLJDC X4w09J`̣Z^{[cY<Ҩ~*)"-Y 4vCOvzG uH~COQKL݋`?bg[?pƬj˛aiz!+[HtI`JTE/&ήm!eĝZ6]TؼD)KZ z)Cǐ]д6-B'e tmH*fNrGfWƠ.Yl&/~pxҚ#BwP $ `ˇNG%Mc˄2%Fΐs' c.fu{!Zbu4P3$ F}>-HN  Is 7w@Q`9S? IDt5LK[!Z=wt/u𗿟*6OѭB~,-b^[4HLL"}qم?)L3#wCI,٫^kQZgF4(Di:0X!yj{Ut2xDcĴMl4n(?7''wTItʯMǩ&ѼF*Ii~{"%ځ HHgڷ(~EO$:_Zv'TD|E&b cfjU5~C#x5E*ӍM%16 aWہBAs#o.5AL jΒ|)hU<0 ʗʡ L=F2}X7+Z;F}"ՠ@!m@U($a=QJit=>`F{WNLρSLwAFC,#G,٪[}Ա[|+-={>Q{mx,K>~ydߊ`&rG1/ Fȭ3^ yAZDzi`R;x?)CEWcT=.u"Y>:Myo&|Zw/Yt]~Sxb͂gzĜMac=W>e,[V}F`D!R6. T/ %& tD?k'T,8s?P_\ԡw\qR lmM%F(˳b;E,Jf\&A$ʷlwM*eϒRȵ(2^fEcyRe_6*eoPMWPrQy}%m b٪V@<|A=Z{T% (ٮfʜ\c\uQ)>U(;(- vAooC/OM[W!k'6g"'šMNgE(j9%&o4u|'* 1q!OX@ N47L)1˧O, fz@ Ǒ@b'cK .6zO$2z*\6ӹ=djԓu eu!Q!a5C1ڻG,}p+s|,85mc :h7h¿'ֵW[zx3m錜=B!}wXR]rEӫg( "ZEo1*q<,8/ƃq'I@*'XVTkkp2SZ385Q@.A066oe>C[,=^A/1$xcfxX|hi`C5 8d jY^x}*!揠iy{>ߴжn hSc\ 76iт+ VLhyI+F5UHju¦ c܎~g*eAu#fZF$hgԬ,-!In6;B'3o8EɶȦ'TbFR`:=3CtT-) lf5h@Q5/kSSOKLY,mɃ<51wI ^q*/ռ;pWȳMgV%򭡏_gw@Ds>IȩB F!ζ3Q]4H\<^A]#1w!Xy SA!""h8֪OìSA+9 kFa'%%S晜6{|Yш+!8iHױ0HTsY6!c)bj>T4P`znVr0nvuC҂gh6HY4:p[J۾I",] FMhٻD&%rbװMy'tjC l!r|2XGa9tďpE? |)@3L[+搔0{ŤQ|}l'L:pLz׫O;\|ҏcXs3F D uHP LxF/Հhѻ7~fǵl aSYwbďjf{]G}K<ꮌ?.5WwD$|t{zn^21. O=Nv[zI8+>A)\}S|}yME4rI4Piͼ:w׀>h+$>G?_WgV!:RXR&a0pP^7U ȫ!"yĉ/ϋ] 26T+cq1!B4`?^S%f}ѥkvo=G͍= 5fF*ܚop鏛G]7šgM _3HRPdd6`NeAbz?8v?VҼ5̫Ύ?G=epr6 0b2C;Cr0E ?ke+quctܲe*dʹYrFf55P~Vuer)210չ#fpB{UEmA5=9n:]7h!pf]2}ܬ팀:_>G0@5[6D}+F>z {.k%$#-tGF\b)Hna(! _!2%"bC*sYr]|q9h\ ^ո!7`le02px1S ] E+Wm(kVH'jh&/stlųeKLZi$b FG.=mpB;XB^ 19b Mtsc_t"|$Bf% >$v "W[#}Wijzqzut<˅=<Ґn: Znbyk*3-~a2s0>}f ɣB:^隓ΜL̘Thz>A}nԬG3C\킥@8pg$t :ξڬ%4՟|}d.!R3|S;u9!5@HHH!fM'Q [thnVZË3ʧn)svCĺM;5QAӁ 7",*ۦ_'=KsTGޭy%@jb8־alO}H^jϻ3SG=ɿ#8NCr%RуFi$2D0=SrÿxX=$_;$M]Y.,T?~h~Ԯ4e=UU5֡84E{׮jܨO*k+_Áit5EA1SL *\NY//<)d-c 4ոK53zqeiQDF4s8b)şdnFb$: 9+f+aDW럨/A@FLŸ3NcQRNs)GE cuzR[K48ɟE?h3f !Uﳀ- Q+ŗN1xtcsvr LßE%#Ծ,SfmG$p7׶7p}N8zD؁:|Ek,bV1쥙r3>VCkhޝu2r !),Ӗsa n- K>ag/I*ziH#QaVwDs:A/L]a'7ܷ]x +VM Uy*QUT1I7wFjЅBO9g;$%Y%^M7֒3śl65KYS1^ZPjIFI~_Kru_X5f+NpV~f1:-ht=%oXR+1ȉ6_ !nuk5WVy^OW|ύ'5=/\Dd9n@YL剥l_U-x *ge2 Kw--Dv઴W]u?X@׏cwfet2jb7ԡӛ}N!NWd\-±#aĩ>'sAxV= 2#4 "\ L8p3HH\5;27g)l\ZÛϔMfD*F)6!e!d .콁Pݯ7Xє*>$:>2q*-?ZKH9y&{ ߙ"uG}wJ:Iw!z؛i:cu~fN2c|hpJ=RuwS@f-brY M!T 鈜 ֗ eVo /KsmFKs+ ?l:?Y,ô^Fu>Uܗ]QP`6,p)@y|HSϳk(;!ls8=J|5']5UjA/蘶(;SGhk omwvD M)TSR' 2#y_㷝 f&r#c~LJu6-<;e6s tp1,KH\yP::"k#۔ veg6+vK[oݸBŗn0AvB&9l;|rZ]4EԥVIYNDžpluV8?;5< ^8RyAɟ? `W4Y;ĀRJ4,Ÿ<4LOلѲ!xxzTЍ`ͼk/ݾiD}-G-e̎kj8)x]͂w k8VEȚXx{d1.pT|&#DkH D-@2e!m@/1%236gZRBlZᴈ(BM$׵s!&_ Yxp V ޫKiP!o Z;%}c-LAK nl>xt_S-?Ҿfc7BK:90j;D;Hؓ.yGhBoX1N#3% P4'!8F!n'a }wkzsZڨYM7G~C)s^W{ICoTvn\[޿}AeFjR4۷n;8!ٮ{ ȷ$/[&x]bƭ#hD9)  F1FAJyIe(t/}=!~ZGv/E"i/*o#r#2y r kv`RX8[t1:3,%b>R™LF¾gtAґ5׃|ͩ0$Y c'/^HbDRfd|x/?LEULU1 2[s^a5ط],A8FqO rzvѡ<5J&<53 }L,g#U劯8_Yʧ}Grbz068M0MM 8WqiKǃ]=*6|H!Dc%6bP9ڽ  Y{,f~Ԉ1Ċ؍[zc=˜NlbE7#:aF 섚cT=q4DgTkVE&cWy usRǜy ڒ7Z4u+R*fOsFVB(, 0B}tJv1~Mġ01@8N| eIEXŤgZ(U0V%ᡞ ō +dPId#qr Nˣq$Y"F0,5M+ʸGJ̴`StM@$-Bz>$ ZlQ't7zD<KCoWo܍*! z#S$v#WbdJ l`d5۾qC˚tj ҖhH^烢AXa\M j\X5y=e+ &Y"WPӱ:%kDĨĚK J~^k''y%X@S %EY8U@[JĻՑ کy+lw"K xd(AC.ޅ<3=ߣxvT$2怓?MZĜt_o8){{^a}+Z, 4v7`RA6,Gea "6˹#{-b┫o]$zp.0&\W0 ^ʗ.Snyq#djQ8( 6 ևvNŋUSt ô WF!웉aeqc1 d?7Ӟh yQ'd&<[4@Fc|P+mNCi`DuLȅ$ ~:c%ğ3V/hcU0o&x+S'M;a= *`F"z!){0>ȱƒK@f%7e/eyP`K ɞS RHl)Z_o< ·vqh%z]jp507Y<ųlZ>ȁôؐ/?!!7{ tM87z: Oén*+.2*%[e i bdžBs+*,:B'j\ME ~'z<Ϊ毼p`4ì|0/B @sOpl~y}& LγvI!Ϛq{n`ϔ6AZ"< } 6r/ TS%'}vF"ӥ@jO_0C sM1(zsL ':o1NA⫃EYy%(ģkG`5ʾn3u'HhWc 9& tbƜ :7J(7jthtaJocDbY]dƽRp<="x';X+aD g7kI6"Ӽ5 #Mt܋#qt?$ ВOi޼ >V^ rܐxR^q@6'W,pG&a/uXƗNNd B,Gi>6`J^M 84wnf*CJc"m=>Pqpv\1zQJ'FA5DvBԝ%b~vW Xeo'f'%bϱutn4*o1!X%8^}tW6io";×.7Iޯkn靼Qݝy<ӺN`W#Q 3-Z \ّW(trT +me0!F[&PΜH bc&6!'99 ;2F"ݢLjIlչ'SI6~dx1sEZǴ)V%V`4qS'mBM,Dt%jQn x04z@6-v|jiOy [*n?Zд,*Jmb#ZV>ϋ3)4c )[l%*M q[ɛH_-N{ȬA6Ffؾ(aPM%|65C3K|g3P%`U X`oC_/c'?SO5X hz-->n1V88izW8I.VV̒~$JKT }1On`m=33NڊP̂9#yRw+@$ +B>x/ggC; t衧Pn~`Ag;V=&$s9L~Z݄x9{RWqyt l LNO2Qy [4-ho"Bxgធ!s-hj=zA !w@!<9Rp,ⳈVefn]nU)}`"y開s$Y%}γq@Q]-bXxV%ccaq=kp^q[\ G`'V1dUZ]Bj烒3$Ot0*t>'Ji3Zs8j.-+w%f|[f(ұRD2N)؇Xz"DaD 42@LSl()Bu QɱF䋵M<ހj u{FW̓쭴ʹ}IY47TfwRҿg uv>]οOWW/{o(ײ71ʰPSe 84QQ~f} ~5-mQ\~\{7%@%7&5A A+nhy%%m{:^p;3 CSd)c%:0o<}BONS.e<\#amq$ UZK/ft0KbݨSkEGZucjּa=æ 2JڦWl&ЍMKdQWGƮUEHIL>ȕx}@ SE7Yvk=@ {x_}ȝ`zgA&F8G\V*+CEo׃V*s-f&e$c(BHXer?̞BSG b[pieM刼~">b;:Ĺ*j̫|XYvߝ\2üNAa؍nfl4-й,ZкE" x4`=Ԛ2 dEnBhp[ì C!~:w;SFf~QDNErbo:$d kRDq\2P@v3cOnfG G0_WcSȾp"%P tbXun+FK;fOQ/9C@HPTI.vG/(Wes3ٰsbENK8BT4nT+Sg~)٦ZsQo:uY(OcƦ598 PJBmA£hBp!HiNVz=yCɠ=y0%0jIӝ,²Tod∃6.#gj-HRmq1Zw$O7ߎG$ ٯ7IzŤ {%W7ku[zidxF\ *8l\1|@ht6 bO'׋+w'l̸aC_RF+%Q<©ry4'vw JB4I`һWȍ6BP80lBTy]Zz"^q)nCa[_q.*y#@MIPuL8_) =@O*U v=JKc̈e%&pk ($%ATJNe8; ~sx7wcF9kc>)1Ӝp4f+ $7 k=jttDF`5n,@Òu'V`ϛ"qŐ J[y?J?ⴗLϰW۵1>C0 H}͞7hVsMgm.w?-Il=pwDׁowK? rroN FTm]B#B&DGH5l|2ZaU 01`?LI0)^ RlۆCƦlO/jGWBqP^]xɀ./<-`b|ȴAӤg$qb }g/+ӄ;8W{GI`0\ KCȣz53hZ1G%;X:ʊWˬ i:%vuPhVF!a1_|>Qq`KaFbPh ܛ'gֈR A\É߆t:r3x~9N&C̓'9A=OƄӣЃћB(HTHӡP|hXDDb褜d;v^s{,p,CCi\qjsڑ |FN#ԣvQxYfJ꣑bF'"N~U̔±gYZ  r 3% CircusHOL-Library.Sublistdocument.tex7zXZִF! KS]A-MՋhvG"uIBm5Ȫ_O@.w:zԅ+|:KzC VS2 !Һ~DTSU8:RӸv Z3s%sܼO/jqN֍~N 3㢒*6/怋ĢqLJmK ܆2%[G<þd/-36O0X&>[4.Tn.)*j 9#6"^t^ﬔ >wc .X°jk߭t6Z^&a?mBL|W^b<ݭ>P13n8sOqHp ܬ8a/0f%N>Ե?,+}G.N;^:jM'TY KlRD'1D0jHMX9}bxrN c%yz])YYk3ҳ?iLŎItw UyR3U0 :P/rpCh~*Wf]9{hRUˮ]6X _ذWpX~H';hVxg林Z5y!ճjSJ h4wE\}Z@k~KDh5\7$ߛ3aVIϙ.1u<:@E/9 @թhLt))k] GGpʥsг-ؽQ!T /l_9$ih l'4jxC;Yk?fCM^'@-䔠lqu'$^6iW%ș,#?g'xp#t6!bb~\G?CĨp [5G&,0@@<%?OkKO48ei ᭖#$gmyCģBɮeVƟC~+EVZOVa,:}/B!߈&kָ8bf]~[8TCG d{5&Ⱦbtn/ H&D _UTiή=(!twKj}G6Z4Ifԡ'*k1wl[";XR>_TmQR< sQ,lXĺCoBzPխA 6!mO,oӄڏ=dDC˂fW.v穰mE=U] YE716\Oz |/'"v,faω<3́dF k΅Ҩ7SRq0uad|"Ѐ !H?DŽ$7̓ᑍmY35OK=@aD$WuP'/f K.Px)&WhJTqݢAF6\9T^JڰPD9I__omq ixǴIwmB f39v LmAo>bh(3- /m yul񅽧>ϪvijrA_>`b??}{RZn(WmP^$ ?.Z.4%$ _ ugtJSE^䟭1BԽgBjb6(5xJb3]i=QFzrM{0ZpqA 7a9#%$Bkts@`]RΟ z`cLD9VML(YZî߉7vó T^&&/ g5 ćy4QuBxTƫ;Z2֠}kGax[,DC AgF W#x_g=)MC[ Rlvx@ZoDh%3b vu,qxv>O,kJ^x(+)3^jlj1vQ%)Hₕb4.$("Ȼ ްt~XNsGݑ !bGc"YҙU+ @"/>9Ý:[aQLSim ќ+ZeQAxtT W;*r+uqg ?_-AΨ3O^9NJ}%)#+8"& #Y51` ZQiacQ>F  ,AZ="7uSo~"U9Vgٱ= ^?eԕ/l2Ä}o}ΊlҔ*)#:. 1ʥS .끎Ubd ٪`M%3۸ZHv2&C*wSTSxr-w=A[.H-_XKS%l 2"Ӷ,NGRδ==O<9TnlH{RuVPfΡKRW.Bjk^ϒ. mބU~lR&[T%A6G@Rל &y j9漾.2NJE#eXDڂ>. dByě1~MgSϐ!=ʸlw{q7x赘4UϦTc~{6/{wk*>0_⏎t$knd)4ϮR`Caԑv5;D"峘~~>&$zuq8?G܊s𓭊MB?WME?*:ޘT/BEjjݷ} TA|ATPB.OtV,xrMbbcK̅']'#oC4 ˢӨUJ;CL^N5[)&TVgV.܏TK\iWV./0⅕ÁW!(;@8iWʺ^?-/8}T)u||"rmK婹3j֧ !|U׆MK؀5b&< NIn,>^Q_io|6 Rcy/ /Qr<'%`O$$cU0n:VyueUpw z[Y˵%ui[y%d*q̺Hq=)^rXaMF3N| P|GlcNKU ὊHK1?8AxbJ hgڤmῑUA_ $ЬBeEm;rٯmW 7DL6=P19tI2zd1ĪփGNZ bG2eT^4Q3}nÚ i> (ւS=mش9Z1B&D<{`dw4WLӌY֔ÔjreHc_Iu[(TҮrt4,j̮g"YV(k8QK]PFz\1_z@dq `|*7\LOACVYD!hߐMt U- ^JDйppalXh{MjTl\B an6{!];•DɎ6sMU;GXyÀ\Z]KisJ/UhR:#TB+A#S /G7j3e2Ywa[s85dhJ!>p*_/k@iox~ I,:5[ "Ͽp&#_wJkC;0XU4'UB)L=-Ą&֥QNʷ۾ݶKo(V6j'LX"T޷ idU/ݮkmȝy"'jARѠ IɺX>3)QWS3;-&~{mɤ/*ZF2춖~+ >~tL:(AKg5`k'rY,P3|ÉWb#*Ȗk&D3#ᩡ\ X\un--ʶ*_oF%30X3^뎈B'f_1 t6;PqO'om¶&6BAj/}8jfޜ 4[J߸L=:7iId#s+0s.]p1%FcZmrhUeخR 3,jJ zHR7BTJӮB-(fyaɻs*$좳FhްՐֿT.Dد|9U>ygN=afr_HIr"n@aj4yh%nrgYZ1b6ca4229535c94bfe90dff6c65b52215a2213dac3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 878eee2ffd686e8946590f8bfc659665ca65b0fc