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 V ld ] Circus:threads=2elapsed=53.703cpu=103.892gc=3.720factor=1.937zXZִF! M]ŗXf1-/6vRZyⵞCy*!Jlú,CW+jW p( <y A 9#:duiS O4ؑF ERá'#6"I5FУjd4S%>DMP_Ǧ{8"nUc& ϑ&)΀ B|@F%K%r)E-x)g+`4H2!tI~lo'Wt ޴PvYҍ);V&Tӗ eJZZku6A=7DÊGfbt (-g>,|F|7B F5QjX7tDS9 ]t+:X ;@3 _x~]vLF5=u':3>`poƞ?#Ea_|_3o0% t5FC|)3X|G]Ӂۼ*8v&W8$Cy0]ȹ>QZ]Ͻ5".yEU \J$19pj?LK%V[>_ޮ7 #T6/+0:Tz"cK`Z*x9ZB8M,q(#Ru0B >Y@mK8 =Vcٶ1_"^oPs|Al ;?.rPJKa'[7acK+d/' W}~rlբؚF><M\y>3M E3@ ?os_o+Fޱp4)߼weʊ Dn`կ<4Y]4NpPm/J,o3+KF|mNuN$-Y1OVIɀ ~/HvB['_dwAV9aރBxR</wtwIå4}a&|\tL[K= {AyvcB凸w.=D) Ss )zSu]ɫ3<#H x7tֻѹrQ-ªK?Ir?:a 7ꕱgYZ7zXZִF! d/]ŗXiɟ>+yC, 2638 k_nUS@mՂ;AlKnY\jA;+5C(ӓNgJnoukY(|ZD+ y$Cm7긵sAٱX5M' ڢ2kϵjp'u*?$!njK_VA^e66Z]   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? c;)/%CircusCircus.Refinementdocument.tex "!%CircusCircus.Vardocument.tex '+%CircusCircus.Var_listdocument.tex 1?%CircusCircus.Refinement_Exampledocument.tex &)%CircusCircus.Designsdocument.tex,5%CircusCircus.CSP_Processesdocument.tex,5%CircusCircus.Circus_Syntaxdocument.tex(-%CircusCircus.Relationsdocument.tex1?%CircusCircus.Reactive_Processesdocument.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 f/*~k8ԁ@˾+}RNKL/hXz a4 s~Zbm 6 ʎh$ELAN,A +^"t"m_`9c)g¦2>h[vyW$PQN78lE Ø\.]pF= !D" .fqV$+?ȟbAlhc9HbK48ZcKup EWA>L_%lyc?Tվ rzuM9=˹+z 6hMQAM!o<^gX3K*\oLy˚_G"dWz&+i)'aM HjF9ڌo`A3diP:vy`3ٓPȝ;wLUq6i鴀˓O0XP/Tc?JL*+_IsOO\j:]x'5i1k2^&I"!̭}!ec֤Sa =%J;L>& ˙̰#k4륥>e)eNzbT{Z]Wvb<"]3Íʑ7K0bkmc8˻0)?W>i#귔MfhXLnK1`w>S/$̚';PhJݾ_bJy~.(PuN07F/߉*?;xev۽`21`1h9f9_@ȳђN4*e~2_ W/*M~{ZAnI*Okoe(IKm^sS ѐ p.W]a{-~&(tSm(}v@.H(ociUnnq B8m:hOԸ]]Ku(ٍqNВc>>wD(dOM5,|/kh|£,FLa ukIwZJ$LC<3WەʚD@<6+9U,֡X[5DL׽z/{><֑cSfɼ56zYqj n0J/=g{:MMяe P?D2zu|OHΆmu+ iMpLLHĸYs9bOzt`ĥ8P@4tFPHV $`< &vۚZ8C/!QTc,2|=e3PjqaC` xAͽjm.[1\X2Og FЈɕ:jޠڔy0UPP}<5q8 AաЩ.$?W?7|)w;>ZpOΞ Veu1_(kV[-QV<=,TL.))Q8PE1ɐx]s ke' >! |Z `l]Hh\Kz&yu!>f }2gt>D'SLz(_] U rݼQdᢦ kͧC&22J6FҗST,۷_ge qZ&)UNd5\~x4*Pt;9Bi=(Hjx^]kÇdH@fRlDtEtGagٰ;?gnsgQuV| 7IX͵1D4z:݋} IM IR;x:7 VWH"F Db`&6DB5ṘS6Il5zttR>C(爖vxY 4>0hU]9k#cmY/1l^~hh@r0J!oxȎs\9!,  ޒ x݃'.=m`IZ8.Ɠ[eS+[.`9@UHEUO7`>u-N2 (@v0R24k>GtZ3k8:Iwq:?6TG9" z 0Ipkzb$奒iZa RY/.>{%DZ5[v:qlxo[Jk!8 A==᛫p_:i=(j:K"w*~;#YC[ضps5oSJ GH/rz'gvP{%}ivomRWvmS- Pᣖ 0:PhdLp/`?ZYR~lo3s E\_C/e H-r89%Gj)IS~[qL7xcECC;E|Yb բ=_EڑU'_Ab ?nPdq ^7cm 3Uy_Ab,u4)Ы7[2QsU-HMtk0! @ ĿC:4vHia/z]!ʇ_b[ ) JAH+F )LHAHåGV@q񎜶d$i,h-X[ )UaWsH%%Q%If]":/mR`t{Z_~SQirFf5g1o^:n ''EGL|g8"@T,cg2!*5#O82' ~1 _#'z)Bl/FYlI_D(T0Ek8Cv*٘q닥o+erYO+߸zgT"M]>ѮLXN`x[`H@ˮإ(c0I!3G  _(oB~oN*I kQܲ ;lDPP3|{7)C3Ũ#I eMp_ 3Fx14%|Z4k| dkEM9yw (9`S*z<] V/I\F`ZY5_htgsc?2EՌ!Ϊ-0g~>ﭿ`(L&U'Y Ó<0һyJ#[ޙ92lJ]'lCwA(=O?,Xf ^$4;[5,e"O Ĝ zJz95$1 vIݗi( 9I) + q] ڐ+n'JayI@ };r6z{џGt$|iмrH{E/]OY炕 8.slvT[(/_)0vuL{nL-wo%G>5>cSFw &0Q)Òfud RJ+o6=Ʈ"I/1XLln6Txo2;4xllphR2IdCFkX0C)% yuDYO+@{IyƿRac!zvc I4b|8vܨ3 ǿ!*hڐP- lA0HPF(M.?|Rk+ ? [(Zw|fGk Pb΃M0uF+M8n 9%:iSBk(kept,յOyZ8-JZs25r| kJcn3 Z{ 0ږ$3%#-V!k\~4σjhf9ꈓ{ 萵eNf7 |ɅzbeCǰD' =s3+$YR:]Ab T:q>Tؠ1:_)an&m%uSG8 +ul׊~}DFÎj>ǎgI}ovxBhsY-í*Np:)76ry%p$Sieo?JH_Ƽab,BLn0b.7DW­z+蕝:c!2w3Ѓ0lcj'&Zڑr[TZͶ>A0߿LTI=-b)"gD#`s!=sD=Ewho~ ^^xJ:?fjmC} ,[y_}^ Wg('1c|DF`HaSGJDC<hanؕ6rV2#>-} /Zr9:46ywyh3 #Sݢ~6KXZ}PݗgIV#)p EaCw̠XSGhhNv]igp0AkMa;9"%WKP] Jzg#wɻ.tD b鲫'(TV)(_"f SoUlA~xK£c zA+t|%̏~]yx 9},덺xolO`*Dg ?!lˋӊ=֙sCbbֽ@2ߓ)yC-R'?C8\LK ٝ"DL_|M"Z!|tUELԪ3+}P;aP&!pՇLK<;.ouiЀ$Td" ΋\{sFb ?!gR8NSjA~^x0}L9%ϡ<\N(o)|^ѳُM]٥ljK[vRA5M|d { &A&?W L} ,?ɢ[ݹ;>j *!.Go Æ#-,\ .Qd({V%ؠwFT6ABgEQ΃ U :U'CP+p翔93:p}7<]&r55 9+c&Ħ<“] )Anʼn9[vpp~e˻#ːj P:ĥOy\ߊ+ghX^A- ΉU-ʆ׸&C*!8fiћtDo慈3KsWKP NLF徸ɘU[4hδud<7zPLӐt25o]â~i/|FU2=z%\ `:]*\:49-D )tq*]@G%Ճ '=n??ř!xPE9“yjq_.O77SO'SXtK'Vܡ6pbdCf+$ s8nK"*\JT(7Xzmcj)6F|rf{_%Ejz8%i ⸺!Ƙo#7BNϳ%E 2ݬ;R+zFp9u+nʱ@v.ᛤ7pZ$>Icg]Z9$T|H5,cH2}1;\LR$5fukf->#p ) C10MuoQ fZ:r]0(yXsW6^O"S ԓ  ڄ}~<\SLzu)RҺ=IemRM<+2[^6DܞCC4N!t\7 `~;8<1G-|̎I>{ԩ|?"q#SWgj%< J+m WR+xұ^dd"Wx[5Z2q!:hO=_#Ek=j=k>D`W )vg^י q|) "h+^މtY &Hw8hC@S?8szE͈q3Ǭ;Q$UT:kLC!#K <Ƅ4vX1Rs(z2 yv0nX3xpMBLBmUV-Ypo?q7i X.ߪkNڡC%_0)3J|i9o'W8;>^OЍ}ѥ_/}833#ޘk؛)H A*6Z(`rhN+fEnw(fz%}?eͨ}򵌗"dSyrkHɃ580-4nK]Kj2 WZ O|T9i܎/gq~쏌Gt2!mi0}ǫ! Lq{0J۞@t>(ڔEyJ w8:uB֤^g g|T "zop=G4 zvܱ2|!yvw3|j +`E)O5ȓL)R:pБI=؞`80z?^Ԑ1B բtpƅtgP.%έoJÓ-*a}=O@gċ1Qþ}黄xtuJFE*iZ=TI* `l9S6. M> -ܩ _ YdV邟ª$F(3=|muXwh_ڢ ?Uzٺz"! 6{%.ʰM'0 :]).peE~1;v@l|T( jH$"$i-/Z !=O:ɬ~i7v05֛>G@(i5KPCa$Z}Bd)U @?$twh-2IeTC} -JeJ\ WȨ,Z~ٙ9$7iFM& vWYcRqr2꟭n1FTθ [)q\ħȞr+HWٜKA3Wt* S;C'hJeU-+ÌRH3yҀDo0'ͭEi b 2 yMAJs.ю05_%}Iˆ|2bs(ޚe#&h$ mnh[@ъMfV~U5Q GV/O/VP|z)aKj7!5 ^>;2t\"ś*T?rZ3L7<͵n_3nv`\&b0F"XBkX1Y4ҏ,XNgdsOWxmaIKJI:hr{ (_3{Jn Ԁ-9(Ͽ1H./ TRG_lpq+v!{{ghG 2Nz!.ߕfHr"fb$DƫSa7i9jVK`X#M<~JKe띍1un49M&DZ7l0jtVjWR2*GjoN״d]l[/[U7C$%M:bƇ-> ȆF.nP\ZJؽ|rħ$Cڲ\qz 2muIVh"n {5w%ާJ.F*қCB''ݛ25VU*!`>9خ])6|-vbhNT-K@*MJL9PRZt23evՃ-Y:,z`2Sbᾠ )%2.C5 -U @Uust.D \@cH"\6eR|6~Urn@dzyJN荄5E0 `VUr`q"M9 B*kl+-nj+lH} kY6x^B⳻d PdaeI9PAu%W/!n(e 4pC^rsP 6Óۍ,e:fGQN-ʾVeGGb+|,z^ޝ5 5z͙gO~p%@eWvG4L`:_R) UYB߾wMjoFhy颊J_kD, 9 pK\*xNC2V*` ~'Tm.2.<- ?u[5N[q!߬ ܺP[G;j+oxl=rP>խ(Z.0I)]ʋM !J-<<( _o'Dyr.a$£-CCv:Tj>#r.AG,ܓN54I=rن|`Ϲ|Gڕ膭ͼ݌FUJˌݠpbu%USǺ*Iy_u&U6Nkx)W1XjTK3]Sڅ )eɅN/Y9(FSV 9J/Øs, @Nf <5cU[ZȅC:jMiRu'J#*.\h7f7Ъnf}o:EۑfRplEs?B<-[J_]?M-+f<ԯ2R" kKVD΁,B!8cxS4Vj͟Yk?p. "=0^pbHBkG\ުj҉e,[/0u71' Hc?`j#/\XiP6z4G5$A"d6IS㟴ګg Z6j:utu!=Gzc e0̙zoNHywEvpO;ӞDLIэiB같* vW.^?_wYdЖTX2\MDBh 䏔"/!%Czw- LLĂP7x`8vn/wan?oֆ̯R/M#SBވ@ Y[D(οtrR}ys &W9>qU&VDABqث0toRl3j&}wq[&,yBM =>hTMDYQ}d4"77u"wHu?6~)b=P9V+wxL;kY!UHD>e_ո*h!:.:P͸̾sMNz<3֘[0GEI4C"ۺC8Vp43˴S^ߝ᎒ʶ-L'FgPxTI Vf_a(*/I?oy{hB:IZO6K"kueht@EP fBu8^xy1?0µ՗RrY%VP|O>: G|PeE7گءXq4v 2X&KPYDI)$CL ղa\D)3iYy10Ǚ=#h oq1D1SOSv[6Eb0% 4tn qsuM|v9K{H0j<w3`8bE C"+=-]L&kԿ&V&0}ex K9M̼7̵1BN-u#s&PXG,2ZC,{}v`}I iQӆ@ xۺ"ϋoD\_ٻ4VN]b0)yZJROPLR9(#7ߡE'r$ JkXGM,zCeK*ւʡ*@+t8Hi5PSMTt'7~Ɗ q3Ԋ DzbG"9݀E2 }ě۠/w 1p?{LGBt LHo: Z>W *nةvžJZxo="{(^"mCڷR*w-CƼAWnwdJvpex]h zkQqc|hYsG<((@:]֗!Ѵo fuAVpPu0pj04%z+Y8~>VS YKjcƢD{U] y^׸[`״J(\r/LwwRjv'rlG"l/al qU6'P(蟩7wd8m]E'ma} )&)~z@-9\WJlFR lZ="8o\"愤Y d55bvty;7Zh?}{%~"i&gq?q#QՊʻ֔0$8$'HXA˔]7e):L~-h۴(hb q=AJk`kPx"|#tX|$\iĤĵރrS6Ћr^ yiX_"^ xTQ X,.om08r.$$|=T()th.mJUf:A3ٸkm^(ь  1/ "f睅X}O Cȫ%>P1U"`.j]Wr#F|JU|?(8lwQ)D]k^}PGQaCSf-|k#߯{ZFp@&JfL ߃*m$OZh]ڠV,d?6UDSswHN>a+ZaqDKEY.ѱ Ubf/5[uoGEK&*ү KXin:%10)=2ы@KTRɹ_*醙#4|g!@"o(62 8Wrܽ/R+(P&Ń ?FQ^mZY:.5A ՀJRnK+"I&hYq+@!>9f.(qfKb]%E_>KfւJ63-^EJ܏Ǭ `~O4<;-0#J2mdZ]0,"%%vh!!saǘpV闪V? ;rcg!.f^tļ5NSG:FkG_e / V31fQbz/^ 7 p ֯1kJ>~<dpoڽ=?kN<;xj$le 9~CSt1']?`V_M`8 N_eOs%TQ4aVAh&"F%SRa -&%4 aY`˞W7#_b`&P*+jZ*~_vސ 3!T9r֨VӪ|$}]Zyx0N {#Bu\yu5l~6t^VϦN'+.}\FXdMK}(n4IVd<7Rc9lUxlAÏ F8ez&(d|dMKnzH=+;y0j)fۓurү;˵~W:Hm#kBO4mufα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\ u3% CircusHOL-Library.Sublistdocument.tex7zXZִF! 8N]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؛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*"VXw9Z)-NXEEG:\u#M?잀B+39$ f4)%hnX0e`h8ˡWX>/N.lP'䇯j7~~/$DTU5̥pfs*w;]l,4C(m`X?!, }4lƊO@xyUgPl],a4ߟMhD1]:-rhhxiS"r֞Zw>a^ eSZ+暍U#fh6/Ȩ]=sX3sK.kGZ`bv!Rsp)GF&T`- 2ts3[δXދ<~o_o2eʔ/ޕ h}M# ׻(69cG-=cqxKN!υ0=h]iG fc/c'jBkp[7\ WöO#TR;rk/E|?{&n0֛c *W a*bru.=}UFR [4y8՟9b)N1뮍=StjO\RdӠ2Ҽ cž c ]URq)NBR12p?ovMj1?s^?i! LnL猉Ƣ1B6@+Ĩ R}1 =:bg/_kY;a.7x՛ xh=K$$m#Gy+I"8]KpjtY5osݩ8wUߦAu]zFo2(d"xP۸Ү JQN6L gPjvBr`WOF Xl 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=Aswvӕ/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&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_sTsP;uaJJ$s;fr<U#/AxD)cjo6OXnJ d68%z0-T>zYm6$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)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ݡ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)3D5jP3ة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'jX}`Zx`Bmfru(u21dt nk3ҿ{ꗃʅQ+͆yRrs/Tdr'gYZ7zXZִF! \]ŗXi%; eOYŝPTNM3|3zb{Ky KsxO"Vv_9:#tP<0caE! Fjznaw[;ƭ4yB|+dùD^ÝSBC}N>n"cWFtS7d`i^}̜^L/8尅qP,^_i ( mvJ c#8"cGXO>kF/V[\r˚_g߇hٛi;`RwEB2Kl]i67":o oK'fI[ 㣫>6)S$/>!_T'uOOIȷ]\: 0rտq_*Q"bO_t]|Wޙ/RQ4+UV{k¶Uo,zw A_U 6p a"H~n*O??X)<\zdbnHiJ1M{X; 1.ifG(nUpczxLhr1=lEd Q*|_Q↖6&g%+i,U0ɥ5PfZxB(#]:zJ=p@v W\NO<=[Զwwj4^H]KLFL͂N QsȽCuJp$7m4zD#tWbu!YVAn"IP$\Xt{P6r 9y9.c%=\ _P'5O{JC7jbg!~#Y8;gy,24Vm ҇Ti&-.m?}/1>',fGs>?3j3fE&R5`)6u# +]4G sdgGKW 4]y,82؍=.6/)i 3iA|](0H2^NqIjB*m0Դ9γS65T15h^#Nɽ@}_!+u4x -)mWp3Dn6_.1k@ ,S ,)\V(] 1ۉ$>]a!f:8 K˭Mg>~]f^Ĕ D 6@=Y O;Rs !.oltUbĆЫ|x:Y׬:+h򜰤Mڒ1ɌیW DZQ1#5Iq\Q@:(JU8vB&hw):A7)L~.nLC5)4G4)'tD}R! ]gxoJ$(jyô8r3b ^ 4h?J,3SŌW负y~*r`"N7l">dJ R1pxz;kOӜ¹88lr yu"Kkudž!>2aZ"ִk-.&M٣&]7_ B@ NoϤk@ԋ@x[*lcN}}cNZSN,Shc링l<`ݏa AXVoZxJ#\0EA;ZN8{]C6aQ^|-Z+h*cd-lFjNޗaŢwfhhf} PcE+HSQw0 3z M<P ]i/QΔc.>?oӊ,0S7+#`qehm%w5˦A.v6e`/5iiJP]I w'\ ./fh7r=.ObH #.Zh=T=.-Z |0"f8t;Hc 9kF,O}xxː%l=% Wtǹ&c h`Hj^J7P43O +fiOa$ T0exu`ѓ* %n:ԷJJ TX vWXKjSktpOٗ#ލ ިRMcih|f8332-2!CP1eʓ'Qˆ4Zժ.p$ [! y!pP>f X:.ѽRj+pi]:\;Np ȩ>^)\CK@F UL}cSKT @Vaf!w lLU+!טG = ;NlGu8u1Qr)!!q7ԋe_mH\{i8'đ AI?SbyhU9d-[wg[b~;UNL)Hgo9p5Fh $zEu]W&NU3#TQU*6fz׾ɰշ%!m hs̫lKgH/`]nwܚB- (@n\LxZAomՄC*ds3A>C-&̡h5o]`NQŜ<C^fFu,#W74QrqYk)5|ɕ_;oRH`MAWqDfo#J@Nԏ&ѹozK lJQ?aK$B9؀d8JԘXo zxW%FtUخȍ J? ߦI 9<k5G(`\ܙ|Ā)R)A"fQ W tf $!zlPpHd(8UDlhiMcm Hw-H:=NS(:1xC'a7LaMK'REH2dErMyOe:' lV8چm&TMyB-LHBE:gz3$Պh/nrz"$?BkJr, Ҷ]/=|LZ& mfi_|]$&17t=q b^UԈ<zze^ /'t<֜ƺO E'\@|~rjD&B(E*NC;ף>d,pKN*bG'-,MX,[e @XX bFNN&\kY8j\A'r*N5OA.RtUfGH9;wx`XJ<+Q\: ۨIpUk՞i,e?8$i:_q,jٴ6;%97`{=tL\(Ź gYZ51273cddc9a4f115294469c73b5dc6f1f773ec780a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 0082c44687bc9d1da7d3908447be8aff56e03612