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 ll ] Circus:threads=2elapsed=52.933cpu=103.260gc=4.000factor=1.957zXZִF! I]ŗXf1-/6vRZyⵞCy*!Jlú,CW+jJ.w`B.DӬ!pkr4a4S!-Tvаg )ڌ+EvB<>I gŸyxF6 jāNdiFx1Xӟ{? :Jŋ3i($uEʿޛ%xsdDAvAVgm݅pnk UK"* }<2QLŦBn\s!(G[c3ѨMRQ򜟔٤ *8;Ǧ6 j>Ԝ@-@>cggBBf+ |r 16PNQuxEMa2r|})7'u}9*YO˼MP^&c+& /]o@=^ c eK\c(> 8[6HJqCApf<U,rڃW<DucqZ h 6m͌RI@2VHzi݄ \d{b-O[ؾ}Z[˫]+zE QWNrWbu ?zHf]c 5PиІI6qKX9>G|ɛ43=u\͗Zn$2qx_Az&YJ1 -v51GOu-aaxT]~O|W]{MѤV)^(9('QZB>P\:#K(Rм6̤FLkt>K'W=X2%h@؎2P(_~8D{EO>Ke}{cJW2qܣ7, ?"GlI_ÿ~'Zus$rVYgvJ. ^-N e'h?o';byasnL[EJ^bKC"a$ 4 \^`N v3c.%$+5 wIy-U#_ΈWf>R^/kڴQ*>*gAXo .y<6}sfe@cD=pG"Еj^YW#qw1$H\p'3"`F+욚6"|id[ςC,TmMQUKZ/ql{˫nQF'p[vm8d?F^PhZLjQ6?o{ ߮uF&F1Du;TkQ VQ:h Xٮknt)}&"݆=ŧ{<`$Wig9]IC1:B\MkM#[z'A3Gq8#p&~?+doe E48qtI- :HE11˔[%2ӣ-c<"kKݟ PgYZ7zXZִF! d0]ŗXiɟ>+yC, 26œ.$(<"wj"}X9Š][ kA]bɚ+^a;ڴ!׸L~d@']lJ r@ ͰOQY{ʲB!{CcRvla9&;< !m.ԭdeB-0˩[:Y%˙2'WX/q   Circus wG% CircusCircus.Denotational_Semanticsdocument.tex7zXZִF! 02}]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!΢ϼN5   q cH;)/%CircusCircus.Refinementdocument.tex "!%CircusCircus.Vardocument.tex '+%CircusCircus.Var_listdocument.tex 1?%CircusCircus.Refinement_Exampledocument.tex &)%CircusCircus.Designsdocument.tex,5%CircusCircus.Circus_Syntaxdocument.tex,5%CircusCircus.CSP_Processesdocument.tex1?%CircusCircus.Reactive_Processesdocument.tex(-%CircusCircus.Relationsdocument.tex-7%CircusCircus.Circus_Actionsdocument.tex+3%CircusHOL-Library.Sublistdocument.tex4G% CircusCircus.Denotational_Semanticsdocument.texP(%t %Xq0 [L| slT$\$yhS->0g@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 MuA)L%01p.ctйb%0K jjg^yB: E,óN Lc+"Clxқd"[`{JJ9QK(bMmxap9KItΎH/٣¶H*}9.|NCH؍Uͦh;wMu=tT^ M{wmJ0Pv7׷} Ϩ,rDXAwa@d&ۇ޼T2dP1c|LpR!LYU+8Yo'`i^K_s(2D/f(Rya?kdi |(7=L'`F"4:OUA|iqMbjVJK̟@Ve\B#jw]Z' [BoaPes:~[ZsC<# l8bc1(-C\DlB{鉘$wK`,Љ-4?/&G?aTkϴـFK5)ѐ1D&: xEtnVKhs _$Ԃ6XT~/v+Yk(`Hz1+Ǹ'֧Ʌ༿K~&׉w$S-K!N]oc 3WGǟ.믛&4Yc8G#L9:$LYҮ{#J,%][2 %"5uY_fI8{;*vÏ<$lZ+f AA|dA7ll 9p a[aİ)C@MwFAFu|V]hHdXt&豲1vYk51ͱ˼zKH)TqL? Ȏ f97nUTYq@o7m#{YW*rRO%JPԫt=djm> %9&0r͌^CJt_d8ݏSŀ?T{dtaq='y'&ke1 ή%Ϸ+3HbMA1asƩL!k干rHr>'ƹf F'hyZLOyoV^X%IP;qYjOxk7zkΌ'_ ޶|SwB? ڪFxogU!HS)9Pn/DPcLq1$u!vkW= *- zr2.'.Ā#u쫦]:e:A|9 jrg /~e7zG*yh F1/{T*K3W@-bfv8,;h=M{NUNMsfX9uhaYa|INȐL۴<ͧ8bC&p¼BX"pVd8=Q^&\DR[BJ<]|^9;k>j'i 5+R?Y%V\)S2/9xTi|-Uޡ18J?iFCXagHGMwѪK' KDJ5 A—/ćk}ε(M@#J%J}ҸFaEd6~,:xn D>uNݹ\l~A=R-R,Y އZFʭݰRjt6#2% X^.v)بZ_u/ڸ(!{(`.p@N`붆 6C@SkFjxLzCTk##%rإ͞nv!ٖL.ZFwXY2XX|' ź~/pL?dnr&&FQўg%bDChze9hOq]mXFQ.w0 j?QJqݭx.RMyG y,AdBYM8)qhC~>HKq{_]alC{'mW5RZJ5Ef0!Eyԓ 4/F.SӿaZւ1: uݘ}, " jh/ 3sX um 5g0D3%89;uŽԏb/hLj LAF O0Cm C6]2C1RZw.; A`C\O%^ET*R({/sQMHdHìrN'B";ZyvK*W"Kq=aD@)yn&XaSuQoJq'S;uZ8+C[#לgϬy3,8„"Vi5tkrd<Ĉ f+>1TDߗZ@.ϖ]s '3ywL|{kiɣٗYOD$6.8M1gt' ٢6J Q6eD yG%^7¦gP^{T+mtkkJQ;POUV-xI2ݳ'd꫁n~3R3f$kofMXcCb #:BFFf;[R ܌lRn a@'naՑ{i%N7}9Ղىe%tbLgYZ …G va1Ѐ~gahX@5T+ASF1uc~wGnV&(J_ \҃p9Ra9KQdAu>H @cUqE$vb$o0݂&to†=k,}ZHJ!hihByTV)~tsku "/OI\m}z@>&B/JnO[{O)w]ͷq?=|_e6` GR]8Gީu[08i6}FkDžU@me`C}\R =cU$]5+gOcxĴl(mfQ̝YybN4>f&\vkKr$E,]Wwѯm66K{:^SY\xz%ӭʶtLr)n<,/ޅިا-rK\q0-w!F<;ѩ^"xRb}MƲilbӅ(Fw@Ƒ5q=V-c%E1b;rskƅe|B KDeaѢBhrLWG\ 7> L4 uR:T2Ƶq;4{ 9oIuWh(y Bd:ǔP&.njc m&\rc155]U'maQ|UPӝFݺ/t@6sYO/B_l dAݽ@eYh+XTZy10qS.c_b]>ىOIzS{'bdʢbd{s||LēWae?쬟8QR)xU]GTyl* [ntԐYi1][8VQ#9ˈX"/6 fi:AzBt]2J0-Eu;*!Kz\^UC-\^߇>#x0Nwpg R]:{] v_ ؔft ssxGCYG'\[y/aSQ/-7ž(C;ztSU)U NѫY-6tAb7 r~:}q'+$MToBRQM@k 9BgS1x.wg P*ԶY.MidyVj%׳Cϕ=65}ّ& ze!$ޞ5xܝ|8m-[-4aNL;>&qq`V7h}II|^O-:2D+Bz4 c-:~|cX):A>zD ?5lH1f)USAx MCyގ~? Uܳ] ͕kX06|XF"B<gmU @47"j:om;CxQtE|QG=n+wy=q}dBwxj}Qy4 {R؃eUzGRvnS B [b\BWOu_/bꦇxs"29ihV$Chvi ojTJ.0EU4ַYBg_J>V&,(dĘxH?\IJ{C)\מ4#M"&{]?8r2ghh|.( ದt u(gMM$ؠMCƭ,P^eٛJ885yXjsϽO/)lzdwZJsRZG$ xxYK 3?/&4$^/DKt0aR9ۯ/OƎ.x dr9"- fEN#ՙ׷7=2j04ʒ:c2f'o8喒}U)|ZЋ1d.vkYO8p>{ {%tiǦC\Z:)ͫExr [L{0.(@\„csIl:9Hȁq9Rkt,#N^*gF%!٤02ă^V-\qt<{rK8=;R5u^; /,4 zB#) fqWO+WfN^9,3}.T#LWIeܭVmto5|3˶s$=vXْA˽7$wm\U$*'VS :掍1$ 5iӥVw۞2RDz҅-miBY.EB9 EfQ&sYBala{6PD\J]1lCB3axQ *A͑([QΒeIZXmo2^]E!A4 L!bW;by䣃9I`߱::7!r7p4 uV2G(;]K"wkQ4uNT C_WU \D~Yxy w[ts!2H&C ^ qaWݸ&.Ā86LTwlTQAܠoZAf &yd|4~NbG>m&4_F;GIE\EEv@ccthy@DcdM'*B5bs)H=/Yń<9Q^8FG 1™pd6`:uGmC0>Kf! A65Yo@&.DQzZ^`i$`r_A98'E4, (n3,0 rg@aR`jo0B8f(g\VI=.奌S˝tx|g&gEBX&QJxûUιCĒC+>y4qBzZv@U~r_)T?qȑ5ۣj L' !V~.ViQiӺU,Bw{O,m^$FAP )^9`rL\F4A :g?eK.D-#;}_udr ݄3fIPԘIBbU;l8fj*?nnJX4I\h^+v޴7SρGe(2D| NgfF'E!دq*>e}klwuN=@63Y0;9; >ѽD@6s?t _X>|'?6}acJqCQ[Gmΐ ʆ4uGx- ӻBlic:A?KVaʦDBr)mV| Ao8.:7N˰9VDg/w]A+tc}dZ@ZLHiYN@ a-˂V%Yk%4wsK 9:b-SlZ~xq@YB- vˬG;حS$n?Ew"B&p %]gX!968\l\T?Q2)#OXIm `X/m~ GTz E{l1PWi % wZCn&?^:]Odh;T'굔I TQW] 9.K†͕kcL j4_El/ީ78"GqwSq} (Z,8:B,0Cg'zu/aVw0X*⬹~^s<m%ӓ/wHupIH5x[U/# VDkxZ6k_d5. $z1 ^c*n AYHNlCShө pfE"F"^d)ch8.G&@SKW̦79Vuފl՝&C?h<ݷ5]삊{tKPQBb.+$IF^%TYJ}Xhڹ +M_Uu/O*%y _u޷dM #vd_"\i<ڂGqOLm^q6|p2VN~ohG"y%001t&#&T(mx"gffEޠ% ~f/L!gR9#Yt`/C.ya\zʏj8) F)DA-W'kTH?'W`(UC=aj jl]@>Sf#|Y{zQ~p/MFiCWF)˖[qs* `;l&NĠ)7 VYM]4 wP)tl ׯx\+/xXOSD9Uǿ3]p>i` IIˋ 6VO?]YyX"w.̟E{;W%W! ƈR>CmhTgl!1^4C:'Sk( TAU<*%T1*tl btk| qIg ;d[* \P:Pje:ll8o2EW']^!QPH}<بRkY7pvH J1UMdDžX=ָ? "ƪ$ƥ&L_?& ra|pYb+yYAGRRc`Ai?OWc#nd{'_xAX.E>\[bE/]<V苇՟ Al(p(6|wPf1b`Lqx%wQD4;~MfٰB*2^EN'NGL.RqR(Uӫ/ _]&Z2/@?Kaf%0W:1憍E܇u.R+xHV;v%׬G2[Ƥ`jZ0b/abAWӥRw߁LlK#\W=cOU5Qv̍傂j_XYT|݂3pzW? >REcb8 릜kZ%.=wUX g}{,B@ {MMёR`OcpL=$mqo`V+7-3Xs9TΈ䒠}+/%qK Xnף3+pMY N7"F }HZP MWP8߅+%B)(0C=[c`.7ѹxizYF=4۝'4*DQ3Tby$5'yr׈L4R(ukn P\E2aF4-Fh: A_SpL^n[!M{s!=)3=2Xί[[W8ΐ\ `2,0io]ѷ!u}zD/p"*&+: J_+w;jghGHMj0wmuzr'2B7הJ~vu~q)1o#+oϾ ශ7CP 7}yW UM^o#Wjı闦iuqIGܑ-"oQdXr0Pü_G+7Eֲ&ka漣M<|ڒaSi:n)e.ө8}r33;h\Hd眴k1D4eTjOlЃPk dA@KxU<;]z6$27!Zԛ|׈ ?zMx/n2%Dћ%ne2'ղ k83Qt^~' NiSVqpKy\֍X 7P);t$UTgl[#Nφ^R Z-#tTglލ q^C9(SݩƯhi[ҹHBzX]eTR5B@IgnZ2%Ygh[IɣƏ 8/E=fCwXS+Iӥ.8`6ל >{R܃̫Lkg!ѩ"֗ 4iç[gjGAMvgȒ6`ҹCy|&A:~ `B{n5Ѷm] ,m72m)OkB3ycG_c Z(_K([[`/1-W_ӞP4[+cfaHFz?(#p]m>ğM Xt?+D?9C'}~מ%D_VHLjGjvx6b| H}-񗍔/Wdbl6Ʒn.IICTe|'\DWd,EdT#(3?5D]Q*eMI;<%TR,3 7pBPr"u35gca]#4^Nϝ tЂWXCv2ٮ *#QSl [O%[2[@vYqd6Ω!撺h&Wb %iv@%:IIRV}QGxo^pYFBZ}䠐gA1e}^0PDYV 1LݿCE3L6,(oask>T)w^7Lqh+C7fUsjzKHbF76gTjzkE|ݧ"ۧ91j}HWuCF9+Ȗ׬sm`>"^2湑&+)k,g^4 D{uJe%uԅr'JxGc6¹r$(| 'M(W;8gGZKSyܙ"O`W5t@E+yTATԺZeFrMh΄;cČ5 m ')-;M\00C|IUoŊ"}V {|hXWhR`Lڗ6>5XʰU8{9rVd&u7nO-Upi4B4q¡zS6kWnx<߉J+KdEP0teˤ5@&IN\"D@p_1%jZi[zmze@j ɷbٔei *1=#{Yfhdd_× ռyjԽ֠/QkgBD6ڋ|EhzZP@ڧ6C'rEg-(tG5oNi2iLpCk JkHZpk8Hz M*Ɵ 2厼n Z{ ?iJKʗ*`0ОyI=d2}Nabۈ񫮻 3mu4+w)eH-H B !Eu͌~X$mN9zkʁذC`9@ϺWJAP4N9R%Z'^mrRu 9AJN+;8*sDQ|(fOlA3 nM<)+n!IBφ43%dS&Xk˗Pz452'8wm M iDȐ3`XR9]K1sOɞ5۪2gEy6妦hJJ8˯XMzeL7?L-?SJ՗L9:|1B:M56\rK!կ^=R* ي}v\O}T_!-}SV`vAcY #yaORBc 4x2T:B~Ǘzv˞~փqDkۯ--VC$\{O\tcbi~l'4 KZ8Gl03RI% S :rܘ.߆yG 6^ǢeOdȒqJĆ_ 0=;,[84&:0R ^Qh4Cl=69$6>&5 &}]t2&61۬hZ =cKcj%S%lMfgw=hCRL/LMbGɐz^ M/ a*-.`X=|)ph`x;"4dk8QXYâ۱ɚѶycQwU$!ҝ/SR`,Eg("/j>T$.SfT|(I~10wݞ'_`qvЕ~ղQUK9޼Ǖ <{9 \Xv5 qydG_|Ɛy$V: ?^ k՚KOfLܹH_d gś(&K9vя o4tTQ]bzD7Fcl9YJA d-;Y.DK7n$ n4ab X bF# y{!)pږMeAհ7w"<'XǏiQ;d 2sCR=jTdfhN^>#7/B>8)+ bvkLC6lx/CGh/RUsscw >k*y >!i,{(pwcY|z*sTC^Ѣ*|ZQtTv=jx~Ɂ@~Km,{opV&G7=_s{+ې(Re~*(päHb+ &}g+Jَ!2tCdWLPlr`5jR[[8MhJƫ;q¤_ :prJSyBkڧVĠs,Nچ>l+uCaw[۷b&_ 2+֯/o8XȐw<2߇x[ OC|M=1-hO!>:V{{,:-T^qH1A*0I wR&pLzzD (3#)B/Pe2vY+$,䨿_Ϻn.Z/V9@V} 1_=+|5SE^uWL\ +vW_6WQ]Gx-#E.G& W|~5C1PmBUt8/IߦO ۚ[3ȇP& Mmb`ݫ7" 8}O*mikZ%Y ͺ_ ,=})7Hf `Bpde^ L p1#KSσc\ SݸVR6$q$a4y(g?K֓ B! "e|ȖD.A-o*RGǚ܈`򉳬]}}HfG F1ErK"+)c\]0c͵m^†%n\(!266|Fۜн,RT44ťQc;}ZLz&V=专rY章Grǐu%efBWo*t㧪g$G}",ۏN%@UrRpKUY2xH ż䧋3$џ&J.+\B>4پ|u2g!q&}[& OљX ZC5oPlCGow@+&uX8a2:FxBwQ3 Fk%1GBBǼJb#ٜk5ll'ߍy=CB-"4Ih4R\3щٌJApKhA>LæJw@aϭP@ǂ!d `Ec(\vj4}Ӥ%Qy]EQvOPoiA:Tレȏ>=WpYur0n=ﺒ:iםsj$ [QmZ 'ҏ£ Nښa0t]*c{YU9["gxp#U`B*?$W2@~} y$\P羖nIؤJĆu,Bd5u^OTaT-C§EDkpmP<%`VakÒn) 6lНKr0K"Fإ~%k4#G6Y':7i-`A|Ta:\f ywB8bsYOH]qXngD0ux~,y+G脟%ŔP.WǖA0V҃ppN8)i3X]fQ`31p`$F}ϩ.OOv C89fHOFDqFXj;_3x+ŻgYZ  wG% CircusCircus.Denotational_Semanticsdocument.tex7zXZִF! 02}]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\ y3% $CircusHOL-Library.Sublistdocument.tex7zXZִF! 䲞N]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ɮeAwZ[0E)Ƅ Q7%ĐYP5cؼ_؍j|}x0TLHDr'7\"d Z;12Tdc5zkB^ynE&e0n?F.(Okg  ae- *&ۋArX 5֝1Ϙ+_dtP@y<#(ĝ%1 ._"rl̂ޢ|{/ʠ K\K)Ϛ*zyxL z-#hw3='[ce(ƓQp`G ZzӠzp n;r靀' E9s?Z9]%)d>7sR}Ƞzk=oWq<2N5K bPF* R1JWѡXaxn3 piYf]W|qoVhz8EEQ J Ū!F u'e2;Վ6P즼uCXj4;Q!F${h!,ƟFq \%Ks%(e_K`Lvl8؛L5Bl ntuT6\L}jtBPOȭO,+_޶Ć <[E~x&/& ݭOjIY()0Ƞߑ.3wwBz*@O?<L= J'dV$eVWB `lrN4](Zj֑>{,# gP,OJ)eO{iTxZ&0*z$dpvKϞh?$ݾуXD3V!P `muҟz>n6JwҖ&'.]~`Rԅ'i D{H" $^-Oq~}nwuwjtWw=1]?k^k6x:wd3 yHt Sy&,%6QT| i;.J))JQ6 pt'^ IX%aۀ< *&$sa}*0 ']}|O!fu]4>q*`0H0嘉ߺBӆְzkmzҷDIٶNEΓWDJx$4#2 ߬̍F~C [Ɍ%iea)ByvS1W!](Wr9q)Qzǟ-LyiUa+Dظ;N@q1|~ibYqD7AiljSVO#H>?e L)"nkA#=gWE VzG/&r_ܘGgq2'(2?Hz f[|ga(=)^fYM{u,(dD/J/A~w >p㫱IðE|Kxx=[DlD?.ɓ֒2Wꊏ.,")L Zx+n}D2$Q `8!OwD䤕`v{:o@a8ZuG,\ↁMOv,CЩ|u&V 's$u;rreŠC~#S5xɇ3ہЫ (j1PWqc&p*x}dW}=Ir:¢ ͣay\R9!13e 4%K%`Py3{-V`ϛԏNUϞ@km҄'qEykRӤ4xfWs>-FB( t+p 'Hm۔` E0;h.KS+y6āab=0h ӈP(0ԡtaۧc ➹P0kR *l -TDQgӎYM"Q d ^aoɄ3aW@k-i7%n؝H[bQ52;4RDOv)W#k?zKlB?vK0:AssR1]R!c2f AbWJey4%vlE[-"V}h kYy4ʯ 8B4ՅH׉krցI=!{?grw"ձb` N\fU_`]Ob~k0Z(X hP34jPEdy t>oy0,?IZs4LC Uk8gOVym60\\Oo]Ԗ$:dמic[b'|0VH@Kaʌ$T- VK$jϟ5m\S[0o25c`]qL}p e' h.Y64Zv$TWW[s`6{Ml;SVA~xQ1k.:+2[ntK PQ`'"gn7-Ñk6F% ADZze3=-CIezEipq,mbFh;٥ d-3Aw\RO*UYX5?;W4[dnRӔ*xԲ3+G0ʄ[GmisNpi p3Xs3/ex:BpU)t[~#kKMΆPa xJһ{i!<>5穰W 9*y g%pD `!GOU,o7=w6$u`1 F C6r=zs %@xsŧe+a-m6E؟b?~j r4 D-~}L>a,.owN}U=W*os&Ă!&01iFC[M& ^Ԕӡb''MP܀Yl-/iW83g:Aa FVDΈ&U/h/0";Lv3S۩B0/*Qwɜ0{j{rXTeDڛ~sGII+{nr4mX$@6$d(_4(tI]ώqu~pzXv6xk%mK3XTT#W .&eRk!e\A>~Cyv n?.*0[D+DGԍ&Vi5EDy_He47Qx9ӄT#͈5 ᪯L@* ◪@pSWAz=-n?6bm aTufsi6 _:Ǖ}cF[4N FYKdݟL)蔗I 9 |Zf Yf8~ϬȄ- +aZ֜& {YOeмܜSs:ҙ Ѽ9 ]ٛYL&BQ Bb&Q""yl@QҎJ LdLp(fe@[G`Jg" ɾoŮS1 N4ARxQ1E&2P/L3Ag4ϥ3η~uawq"rI`Ĕ3kMX݊hgCė2 tetƒwKtJ2{#*5}-u)aҏՓ>0„ڢ ^6I9Ma+<=N'e){F>I Bޑ?Gj 7F-ntG!1M4e@4{(LvfHØݝ}#¥~{o1E Ovk67u!So^Lܼ}P;OAM";L6@T#z!Ñ-cۉtS|1//:ߐybNB=| b'oR5ٚI Y@-O5JPDcpٹ¤Krx)iunkIJ! T_)&;A`(WUH#]~U%dׇJ Cn8τsT)}ܖ@\Wh}ȌpvWNoI/??I3Cb>l0ߔEw3vE¨+BB`EZz/g6cL#'ԯpD'#f0n1xFR |K`Hœ9O^α4;tD=09Y@ pp| ]@qvLJNoP>z-c(3//J>Oܭ7 51CPrV$v{QӸ\HX/Xs tϷ ?޹їE+`%8GCCPD?e58m&$R-|6x ө8_&M 8?ߩEz%]5Jn2NUR'Ϟsj@Mxޑ8O^tUk&#=J12vG!nؑWWHaN]ZźM,_2Z}<]^`iߗ+J.8,!P+A B(RGM/ >}$"jr*ؤ#ae/rQ[q Du|o3 ڈPƑD#-+_wSd-م CN"M<Ǻw|ΧL$8r4\L}Ӄ 3 Qe\>͆<= Fgdz)͎kY}O[u*@8":t^ E#6g[4qm9ŚDdSـva9$ox|( 2[Tvos"s۱CY?bm~ulO2F& 6Tw^)} qycl~뮁ѻAЌl¿^!8l!lRՉ%+k(VGÕ3M gYZ :7% $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𠜒,UbWpFOe yI=Fڪ*z$#Gް>t'FNFd -_q<ņƣ Uy NP*ûHK}`FGFDBts:Rw݇ȿ)rqO^:0˥ J -b-J| 鈋 Oމဂظd :tgꤿVRf\䚵 BDPą`Ŷ LJ& ~Z_)qe O8(˕Ҩ8UF?1x,9 .*2?eR%2a/ L{ҍfFǢJW b&2:926^ڨ@Z:(RYݯXM@Ȩc? fخQ*T'_5D=' pZ̥tUGK92!y>ZP iln+,- z0uu^6TENttB(܌&ޭgE%Ϥ 1ez@R ypŠH-:$2NjK്ӷ" *keX0K|'n&F+۸HGqJ֒Ę.ehaIhO=J%(|6[*rрqY{2C T)r&agfV X@`1zG-w-?wrWIs߾d~j#q)p[T,eن^0u-y_E"vusEs([O3t<(֠Tp ]3r b2v,rt0/!D"2>e_e4s札'l}0s_&yEI)bcw.%jf˭3<>;ŝamAnk/J+uk3w8b,AJظ>/ddz[;<Ybt=AswN@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\[N5fZCj[N ҄A]hO*K= 2ҷ oޡsJuRaLZE'׌= 7q+󺛕1wo(Z+:jm Q啥>MUA()/Za7FQ_L=!,]OՐZiM*= Eab?h ,2{wЙL#ADkD;8Ӥ4@&zbq17 (M,73]9ojGzZA`馭3\fgH) jլl`.?+E֧\er~4Br"_VGYy4vJZ!8<3BAfFwڮqdXu {#[/x#-?w!Q]K_u82 >8^_ V5Mi4% ~yl9;诨L: I1 S9E;$ UaBn_u|V>U HHz@>\=t@~K9 U wY@ސVD!0su- oy r?1[0H5J^j٦9iEqVz_0> x? eZ~'>k@EX0DDm%}c<>~ceG F2u]5z74Pq>Il5AVTk}CzCf@j qΪ)WaTwޫGw/{_;Rhs-HyjJ꠻+nah|}tյnaVB1v[!~t/U!cGc:#S3"~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_sTsvӕ/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ٌ.Ŏ:|15D+ٌ^+%.&!{u݇w2_$@ /[;TKKU/㰔 Gf$ wP U$&Y[I5?=cPP/mEz.0U^[BĂ4$Muw'Y.@+<nD ʀUb/X +S)˩qdXi!Kj6h4xF; ,7d"ƴiJ/> POshf;#Hss}uğ:?|!ߑ7ARHqLqY{լiu(!c6gf휏WPԏsy &f~ /yt^؋pbS?Z'WK?F[7W fS  L("rnz1bꕙf*vs !䣘#tuVؽʢ|82WwC 6^i aL 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.W@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ݡwDb`E-%\ #&~A%B zCWΎJ%$s3BrXRJ[H(i] )C]5`,Tj?"ruS OH&An`wX]}2gaY* uu 8$edd—|cj?>;^zJܴ,[Az67)gع.Iw,Qʶ!i*{f K_&F ݋'7Pe\!d粋6 LxL4d Z`60۫9xu˛U=[.R) /eۗ$sNZ[ܜ`CtHOƴpB*˽ߚ5_k=u!n'PD"#l[Q"e$YÃ6y gSwZSOMX JPW SORko}m?RiWw2,Q2MI8Ê(GvKYEX\a }R=bFૃrqs$ZU9WztfLx8lv1 A ^YJ)[8aߩ$ N!14YBjjuucO5|dR#0^@oMw6F͙)w,?{5_/HqNdgioLmp=NSRV~~)U͠Ah3ӌj8l?: xV2 9oiN Xk̹S@%~0mWƚ_XЃ iN=\E(C&'@kiwӈV K]/ąؾP=-a,3QnK8/5 Iߢx靃? yam1qsNڳ߿pݧQF?(jD_Gn:PJO͈VVPIM=NEǃ6#=zmEnb'G6+ΘCY=2$?g6h"Uu~rc23[m'-}?o3ATk8 ],C \ OC;H]Zf,CvV: D|s )"BUQ!60^Y$K r?Q+Q~$|fb]xv+))ZT*|U+gYZ  5% dCircusCircus.CSP_Processesdocument.tex7zXZִF! i]A-MՋhvG"uIBm5C2kMrcvIxstf؅>䁂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)3D5zYm6$byc7jO <%nh11$1 Tz\&& /M v$Ș g{kex ry9OsAFIAt:;M/L1ϯhn/ / .3-@Bm"H[4=x+N/Hi LL~ڄ&$ 3&+rҽ$"ū˜h[ bEQ-N-E3\P:GKb9X~?$xIg2nW*3uRSx8ZmDDTVOK'dmp*+:aʦcRS@1 SE0R5.lK-їnBvٚB.Qy^gMSfh++%.dRok2 C< ¼g?T\KqH=$Ǥ̶ᘫl2hylٙg|_A0I ">:Rİ<2݇gBV2+sVvkͲ-pJ 9OOO>-v0A2ܓ78ǹrT8lw6ecd!/mR4cNrPmtWs`ly$_kerۙ%'pbqP69oY\YR~K.WPk端o T6}~g ,= VmGrm;|&Jpc" !k5EJaP":5ar0r?$\,C@&yU})$n0Bƪׂ>q4w,= ~t;xDU,bsHRt|q$$nM,B@!{|R_e:/ ('Rg-_kKRxCWx|225xgZ`7 NXab@~JtK=۪EX9_/3~pvz1*% 'NU_5ZN; q-YL]cJ F+ih|b_Zs+ í? s#Ǫ6$%t[=_*XgvTK~SO.M7jdXɪkf+TGRXO,$!)|`5)N0.̂w+YӘVm *+:1duBY'LcPvXrh"L0)$XG*B\uCX^{x3?O=q٫.7֚7.ꩡ9_wx |nHC%^QG"'iCgx|I\C |xГ J44ekߥN:(AlC?YG!RF 536et_jgi(Y6[1,i9Wʾn&[2\oaI{K gƁC(z*Mdr5ݗw({{Ի:Fv1F?@B75'3[ͶФQXpjg1M sLs߼PP D~\} 0͍6#(]81u鰗xX`q-U+9n@! k'.$Im8ah#6Rz>K44qk?1glBy⟚n qΖ$?m+l%7I Ce\0LbPa~f77 !^ {\7g1!wV48e;EDZnF!vy=v]S0N>jv__Yx|'!5P҈/ME22e{鰳Vdk+e}£"Ѻ SWMX۳޻JOGz`2 đl]SW M{+Z\ĺI+MOQz٣BDct:ΪmBaωtXcm$yn{_L6xIp拭{eh{@+fM|$B> "~TDCk <<ewK8$Hv'?@Pl2o3 qj<Yf&v Slo}q2E$l:xI>źVkjQX +H77{'$'i+c*VLiXB$:ɕ?A&I'NJ[-盅yP%8iژ vjՔu<$dGh;ʇ[e]Xނ׋@kUIZB)+'a l#Cx8fɾ*e퍚8ޕ]+GCK6DN qϯI;--*FW ))DA1էOa&j/~GOS|S )B_}!Txx+$%LMs9ȓۧc{@u؈Ζ 3\7˷ZҐmr&ր9aq:搁4Ѭ2&Np/͆o|ƲKxیۉ.K!>6E\NCt,ĨX 0<.ZM"Ǭ$Մ \/@ iwx@ N[j yݿ*V#u;A >mwt+Uԙ=MR+#YFz Z'vcZ@ <*" =,U)F-eؖ6glg 27)*8tV|%N 0O=n97{Q>a_ }W6 oC5VI1 EђJr= /Xd"`#Gl'zY^<1G'~&::&= kt! .>fּ8W@o#pAx83yWtM[l"/;ڹ}go:l {2􃇄*L`(tS g<*X3sluT7!>t; $C|BS eGa-*08úVMz['7 F+9yRܟaóִ%EcpsK9̷RFYdGe_(2(-U3tDOoBW3S Ȩ:9N ^(q"Lv\PݦTD,|]ՎnF ՅNLeeG`6(]gYZ PP%5% |CircusCircus.Circus_Syntaxdocument.tex7zXZִF! %6]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{)(a葩|6c(l:tƱ@1shDq&q.Jⁿ=*#_)B%&LrReֆM Sb[3qﰖY&+K2JHݘUA~RnUr%'=wͥ[foX5Y,-*ZSm-k5筍$ޖJ֕v/^?7I)}3BTze(sx۱QNC^D=HݛK͂[T%vj/e-ʥ=,X8IF/`ͱ+V7-`Nje,j:6=M? y74Y -^,!*q 1g!{T'o e ֳt{[B(/Ua+B``3F0C ҿ5Vtn /Āf01 awWҜCHk(VB!jefTed-lY>kHԩkd?ʢlҦ)Kxw䐽 /.Dࣇ4Z}dGj체A[ Q" @H^#q׎:EC^\xc`>Um|HoD\a1n vt-i]"r/tK Vי9 _1aC_1b%s#<Ƭ|߄fYjxp*|BoA"t0O_8X%o< f~< CKg[{)xa#XGZAk*yEPfdמ_ág4&&~>\|fSbH6%T> (oeK0 BKif`9SZhk>H߃S6^l˙!AD*քBrNN9 񰸑2@!.x̄n$ƘBiHKPX3q4Zt4 T'ڢ$P\쮣m S3\Vf7=ZJ`he 4lQH"%@_dmϏvgyИ MRVJѮ[Cd}~gԃq4mమ` H "|Pa!{g͘v ?|3;0*o(7^qWϹ9iqKd5uIʱ2tt**p#&jDzeF62Br Sg챔S%㠷i!=lpY %jVba ˕zi$Tdrj$op"\vU=ADQEvآՖʻi) _)% |CircusCircus.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 sI4 F0  -\f`~FUɠ賚8ާbdm!%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ƶj`wifJrSPvZq:&<;AvE:xaw ,C e'֬)9_骸u s@5 ,?EZl t5j qf,=kB|_s4C4#z=0VL`DS BgYZ. ?% CircusCircus.Refinement_Exampledocument.tex7zXZִF! =]]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̨۬imEq>_f- 菇E:sR{ٽMoME&v2G:WeõA^Ub#.`q _6|mqB]0mfu,YW[]8]p)&w4oa>ͩ36[u6&Tc57 .EuΥedw>Iu>#4Y -> MY%0K2 oa-Is콺%qJyfxC6`i5򋼵3ABTLzgYZ  V /% dCircusCircus.Refinementdocument.tex7zXZִF! *0]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\dDc !% CircusCircus.Vardocument.tex7zXZִF! ~]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'!#X&Z 8:U&~նFmPI. }ቚ9&T<̷@v &)OgwJf:ZVE>=56bo,p+ީ? $gYZA>.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}ͩ!8ZDZsp o]S )sGn 1L01eZ-߃w"b;H^Ɲ6b-X2DffiZiM+d uUҋ2WɘVD5Byu/iaz͗tK[PDoEE 8Xo~foKD%U𼷒b̢bbB/]w6#\`Ze}jIQCpQ1+!I#& ^륄5]N™` Kټe }ЫVš wSo|]oPYis9a$f못P(6/gYZ *L >;ody񀬯ym]B|(N v4.d\i`_F5}|v1w6j@A&c[\sʔ:gYZ7zXZִF! Y]ŗXi%;C4c2 Ȍt")+^48*׬L_oj~0@67͒I(x*WE92iA0`3$20ҢN+Kogi^]`yO2aEpg@AWc@C#s;@7odsGc%u] qC6KS̍Q6~tвI暝]:L0z^Wc׈8eawelH.e<`|q]=qƦ0n%hb\tIkj?g! 1n!r5'<5Nubv559sɆ'R ]ڧthUT#OxcI$y!U0*=ߦ쏺ir6}=_9q@ONH{(jB?|G\ƕ6/jݢqNg8=TCmZҶӽSᐶ F 9.T[$i뷝䊞v*@f19hv|T`zjT88C+677nK?8tR/\a$;YOl Mζ"2T F#ϫOzQb')D=gz` HMk{=fxRS}}ڭPBK?\ў$Xxq ٞZsSĢ_ 9+2橂:{ԫnk |:8&Ez<֞ S4DGfgxBD |١b ; dK^_,BfEGRdy.mII`sp*lY2 @x\oޖ閦:drvCؗNܯqZ3~Df&F1t:MuKOۋPVYQjEUOE J̗# #ϯNݡ#/Dj~:W,ɘor6AM霔M.-hp5Gme6*Q$X~Rm)hЬro 5$` ._'̎K  ̽/b%hKDZ2Fg\:fl6]Yyc6eږ(V#dFR=D q"p݅7,z"L=$)r/>ZN1hr~؞M6!a\SB!N!\jƺ{öϓo?kVadLxї]WlQ%fm~X@mtI{OYJБ:XTXk 9˺bs?o, |5!A_"c)ZZ>4_}/kEk}gzz2a@*&ف<rZ8 s@j8};jlé$) zMEN1ɰ1Q7BCfEZݲ[SbSkKfК&_B3 y{Df{F%P2'hj(𡜹&A /2 NK/-t[wKz o\ԮD;.G{:KHVx 2.7z;u"S[ƅ{TZVj hzנd;7 ?Ha:~SmkkQk[:u<طRhp|́cC$i8o4>]~YaTy}%]>c& SielۇU]GjzG;UiABϒdMEovvx6/|jMoը= ZϏ{t\L[C8Fg&IOӚv3`Vʒm^mh:hs;f]4#RX; TqCL3<|}-vf@ALB L>JS$/_r%31x5+5˝t*'4'tpIxY7(3|'mY^:yWضIa;SVӟPW3tBL$Ou4k : ,6AL>dØtQ{kĦ\U  ?U]mɨ$JhW]ka7EJLHCbOe˄|B%A=G&"ǣgC80FIc &6O'E݄#}Fj gE*lj/v%u=%#ы=mڿ}TζgG|` RRab#Wa[P:8;# D҄ݵ..R. ˈ_D#Zf9}g!z$$8p#= >PH[=g/(ޔyX_ޠ@SG;d[4[ݲ&^z9RիOeʄ2bսԼ8#bڇ"yOa,hiaCRY4HH]T{;$GŕOFy}hw =a\kRmW\׉W &JdoT9߾ i5<9R%M11h^{TkkYH)9HE-ʚrb y9;=LڗOh,WxSHhC׼ ?MSt"z`m|n%l1_Gf34<% %ƛnQ6ySnůH/"*]V]QߜE/Qn9nd|+1q&EZ珜})]k[,lmx Nsϱ甗EdodvsCE(<p7m,~kg3‘|ʟ$KtKCeuGdeh}; ;r zi=̼'2^h3!oS gs}7][jC;ՠF=lBEw,߈Xouۇk? 6bh5ys@ @la\ʗV3hQ(γDZgYZ8b8c08c76e0bce0d69e9017f933fa88ec744e38436562e7d7ef22324cec69c1c66e1bdd7ef81cf4c 6af7e1fb310f20123ed31ee9fc4502422cd6933f 2117c93330c83b9dac1e0c4806a0b583915280b3