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  ' 'N1t$$d ]% Stream_Fusion_Code:threads=4elapsed=23.407cpu=61.732gc=1.8087zXZִF! 6x]ŗXiɟH)0!h]G+;a4>l93 <7`*Mv5Jh1D Qh3܈<Yd(^t7,ܱזa3%{ Kړ]8W|37ߺ8ao-s[wlk$< 9]#WJLqGJAo!?4ڰ|ͻ0/殌YTbxu\* mCêJjLc-PpPC &m]%Zb:qWL Um|usCTfRN%9U[i>+3fD<<[J։ x9esa dw>?3 FZcR{V7E Y\F%H 8RR?/XzisvqjYofhr A\:|͓.pM,mE;TSЊ|=(1 ߨn 5I[5 1 Stream_Fusion_CodeW1_% Stream_Fusion_CodeStream_Fusion_Code.Stream_Fusion_Examplesdocument.tex7zXZִF! 5o]A-MՋhvG"uIBm5ȩBߛ0m PC[wMZ[}7;CU7co!KK$#G2s &-&],᳏ŝ %O~/Q)ˇG_F!.u]41ԕH(,^<k;{[ĪJ")KME=2cMd#yߙV@'m*շBG̹7>>[Ũ )] ֜ ы^.ȑ9DžZjSs46d۵\ilP=g0 ƃ 6>8=d;!\lQqF~55Ƹح> gUZCwx;b=Spגh.t{"kf'rNƔwQIҡꎰ&·8@[--s"; `{^iO`r>E_-|R <((?ЎU,Bs4{Gb4iUw̅IQu̍mpx*d ygi |a.$6Y~VǼ[J}JX˯1ӫY?URrzSC3PWm)fr@)Jg+thXF#:`lOL`pO8#Q'ZLagqzӗ,nàS+Eh|O0绰ތ+d,7KAZ p}Z(2U:P]Ҷ&7g{>8H/2Hk$!H4-|R7Y6*MNvp jIWB)WV)/~ ʡ`aS=h|ф4}U\=P/Lv=2oYұ$qC#FXqVN*uq7;-Sᆆ{+\Rr+Q{f@9L& 10<.W(#VE,x!lϫ;/kLv2ZQH]4&ͱh9ູ P>a,gعi.rAXr@j=[G%RfjZ ^>WA?t ˭_u ѤR(V3yu;Zc I^Ձ؜dw{&XD`NMa $ζ6Ztjo(9e0W1ZK\'h=k+ᯗS9^QL#܉Yd)p̃}NMyzFj`+`5{0i* ;;FeH$P\nm`Ya{ηĸ%W\3~k*=!fT9d[2,%21ͺ t7p߹B`ӥngxҼql9tai9I=Ubb)FWUĉ:DݰՔd5 &jzf_Zb'K>ҸS=įdtb*eμ{yJQ6XnPNAG+h~řF?:.T:KNBZgD'Ԩݏ,$^cYW9OtYMgMWr3eLgm2Sʇ`ǣ9gm~Qi"z Wn S" IDG  n#I1W%Stream_Fusion_CodeStream_Fusion_Code.Stream_Fusion_Listdocument.texJ1Y%Stream_Fusion_CodeStream_Fusion_Code.Stream_Fusion_LListdocument.texM1_%Stream_Fusion_CodeStream_Fusion_Code.Stream_Fusion_Examplesdocument.texC1M% Stream_Fusion_CodeStream_Fusion_Code.Stream_Fusiondocument.tex#b5{M T:kD\W^@9ڌz.nɦ~AUw]+RpC+bw$8>\4cVvcx"~fA'˧bxR h 4sTΑ_SV@ܯZ x#z\ X0s"{W5Hn_"_;p9GgK+E`= xZ`G+~Lj2uÚc%0)AK q?;Dq2ܜg=+L*Ǧ@}c;@{ѷ<^Ќ5$`$#+rym +xH"j.IhH?qnHbQrJ7x ` L%,30dԼ)&#j/߰0Kn]I߈ e19.T%aI).~TO_ }9h1Fe"ɲ3dzeo+Ữ`+Ƃ^P!/SAhV{\h8c+щY0;jEx) ]}MЩ ާ6D8:b?kxN/sL&w:Q{mN+ aV@~+YƯeV^BnyaEVP(SA+ءha\ؘno'Z ^JʢZa]Xl5Wޓ;~α;“dz 2&4lkf5nϳ_#+tt54DnN̲ Ӳ`io&,ӱ &D(Q}0fMZIp HM ZP*0+5A.!; ma{lVT}\v|;ʑr#aߒ60rSnge[NWVyX`h䯀`p$=ke[''C|zu?9!c֓)$On8.QS/ flZs Step|<,.+<|b!/f<@M4im|-4OI#|5(ő!Tل#,u&\MJ>?k9k!YBL;IvRo:xk:ѡbpF9]@ÍsMk@g1Eؘ2}kiX4&u_{dVT19疲E'ntн#&Ya/ ..`25=;m2̌$6TL-92x5_?=kby&ZYק}jRez1_0-П|m2E>'ב("Z k:$nTeMÝ e3Tўkl]n":Q#(UPLWC½Kݺ!ŅȎ&uT܆e9 f3FJL7Q["&>cۧ`22Aed9X[g-LG.lr\tM;)~e51q<S|Qɯm}>mz";ñU^M6Pb=+:}kt?e]? yO :d]9`n74Uܫk1? 9I9]h[Js11)Gxde w戫Z8--rIW EI2u$L`/Z4IQҍuyqrVe)Kp >^Ÿ̳"i6H#խhNhI@,m#D&jN(g%9u~} ҅/!/:ǟ }b:_e@`kS\)Јk1^>_|)GbbN7x„֗`"šJĞjһ4_c-R9OqOܫ4"KQ<)!".;l{f!^m+ VFP!o7hU1ɯ9]S@~ɫS5K܌4` Dqg5&J +L.tαNߦt拸%gq\ n"7$+EK+e  2*W3/& 5u *) >ܯ8gȶ;J6h[fBP?`w1/,%N?^`r:<"=kpA ye$U#3 NŖzRB1# C|G:?dpVbp~&;0S*0'SӼ$Eat;K M0K-v9VP=r~Ty8bcA"Y}8cp3Rˏ|:Yr$q8YTɸL ,[KGt;kj=rZ'PA>@ u!4 97@ at/ZFAP+&{9̡aq"E6G%ⱵjƷq'MNr6-Y{p ;~%@a[̈9w5~;\4C'у53 t,L(1-_QrQ64e^m_^떍aH ԝ3U,[Ob_^-[-`t}Xȥ@ ",w}ڝTߘo%BNďc7Ո%K 5"rtྺ' dFVbaku8zq4Џ!1e+5ίOa .X ͷkȏ[;o4<=_&ѱ|fwA",9p0~:Y%9T՝bd9Ul|od S9Ju/"vڄN~s[x(.ERCUs(dwڇ:z ]6[6Z;~dbH9N @ej:wk5=1#muǛ~*x?'VxɮFB`h 1i"S yq5tC(c]/̓UF@Lks$}.[AnYdBkvLxw!{ mm|9o*N;'+(ׇLSWvfqP;TzS$ xgwj6"01Zh^%[ieK*f臟di)Wt +:e%l:C N٠+>MC,RzX 8F @PPlg~0_a\cVf2?HRueΨ~ohQZr7[BoH23DCCbJH є^5ۡob\(ޣy8( ˺:PvLpxm8+OC)o !d-JK^2n[s?i|n8h/8"1 !X= 5^XOe] 9 ʟ h]woc]Wf@o]78=չMFI;"t%Z@7D!)G|uP}-ކ4=$CnJ>cLKDY]{{]{&ՔSw9>MM&jBtcEeZOK~Lm]+1U9zm<3/ڢ.A2ǜSȀ7l6ë}\zůW;%@X5"Ȫ.8/jOyCB_c=85@%SaoF;Di{od `h4>SiTh'V6ZPcQ`=Kmχ4LmQHi,Xb$^&DHM%ݿ>i]fi%Afۆ csGrjR$oI#SĆ?^GNW"-&df+#u[ObR6Lccnz >$Kx'^ 3[^Ű4G y6[]?7^>.DV3\ޠx /*I~Ab-{}A>ٺ+Q CZ[%fl Mf^7<@CQ5Y>+$ˊ5Xpax;#%ǦLΎ!Z 4=ITpخ/m=fzj&8̐nhJK6RSf񠝀-}L΄ᚉZIhQ>R~<33xs;YgLfI8 z@橢@*ªdZ_L7B,VBMzAc[FP#_ Oc$&їQ,ݟ^'V'= XsM~yCM>m.*OHa7T'Ex WoB(wյ_4Vd74<5oDJ&0U-S͇Y]o?5^7al3N쵅h +9*#,zB̉ f;k`WU0/Q7./1>SHd !6 ?Xm^B Nkao$(9AZtJςKR3=DX*iN6h Mߜ}֗LσZP5>?Y i~ƯU#n2m舎 k5"&O/,K ׋EWV2߄z'Eaѓl z{8f6Y5}Dh4wi:>Ʌpoa"(8J jcm x5 PS4#E1%8@ .ڤv,بҰ 0==mN E'%b9~+" `NVI|xG\CSv  ZaQ NRĐSL=UwRfd"ބ0-EqaA2uƿ>Zr R\n[Ϭ v6UaZ, `l|#ypϫIXcv"iEرf VGZGDz2lƑy|؂{b`^YI^:Mw@v4^ ?uk\5mGcS)erz7tI=J]]r4/XCt$} (1@䩳&wgs3Փ @GGM7fr'RCWRk}.t9܄5\2{*NwlQ;A%Dĩ ʎVAi!e% ф!{oݴGPB(j{]`|iQI DꎇnJ 8 {޽HqY8, KOĤ{Fkf?vb0I_?o *ʞ9>x!#9nPkfu!263z{4Xc +ES؜05lE\j¯#Mȑq!:0CSfNB;K}?9ƔCj e 2&H2K?5GaWق& | >7]i 3;lѠuxdGp݌d-7ƘK4L1Ε=H &jJfqtR]0>0x1Z^MhY8nY!Vnlp9kYi0ojm3AR)5LgUáIt,~svFнDm05 @3 @Vc* d>aOcm[G"qfC f( #jKhM;ZcJvX: U۷~l.UZ$UErVL&"qy=a]cL7I WgA?ғggCu}*tzdf۸U~p}lTl6 -D:w}`ܳZ>XUm@KʸBp5/gdN Yk:CFc }MI3T@?ʭm;VQ[`(nab6@V )GlPT(VU*< SPN 训b" { ,\%kq`Y"04hdU 1eWlC`#-<'ҟ :߲6'4D$:?[Czk1'w.R_I? Q #e$D (eXFJ[_^Ja#2JJ>`Y:atc)$nկD-<0^#$A|:S-PT]GP_VzS_r*EOn\)$~&I}EA|VN nK;vS%6 K3jiFs`{8^hJX{酸k*y3BN3H2n!ϘM?#7Ho~*jgKS|+߄XXf ,dYU q><2|3 m¶-mMzq&T gYZ ] ]W1_% Stream_Fusion_CodeStream_Fusion_Code.Stream_Fusion_Examplesdocument.tex7zXZִF! 5o]A-MՋhvG"uIBm5ȩBߛ0m PC[wMZ[}7;CU7co!KK$#G2s &-&],᳏ŝ %O~/Q)ˇG_F!.u]41ԕH(,^<k;{[ĪJ")KME=2cMd#yߙV@'m*շBG̹7>>[Ũ )] ֜ ы^.ȑ9DžZjSs46d۵\ilP=g0 ƃ 6>8=d;!\lQqF~55Ƹح> gUZCwx;b=Spגh.t{"kf'rNƔwQIҡꎰ&·8@[--s"; `{^iO`r>E_-|R <((?ЎU,Bs4{Gb4iUw̅IQu̍mpx*d ygi |a.$6Y~VǼ[J}JX˯1ӫY?URrzSC3PWm)fr@)Jg+thXF#:`lOL`pO8#Q'ZLagqzӗ,nàS+Eh|O0绰ތ+d,7KAZ p}Z(2U:P]Ҷ&7g{>8H/2Hk$!H4-|R7Y6*MNvp jIWB)WV)/~ ʡ`aS=h|ф4}U\=P/Lv=2oYұ$qC#FXqVN*uq7;-Sᆆ{+\Rr+Q{f@9L& 10<.W(#VE,x!lϫ;/kLv2ZQH]4&ͱh9ູ P>a,gعi.rAXr@j=[G%RfjZ ^>WA?t ˭_u ѤR(V3yu;Zc I^Ձ؜dw{&XD`NMa $ζ6Ztjo(9e0W1ZK\'h=k+ᯗS9^QL#܉Yd)p̃}NMyzFj`+`5{0i* ;;FeH$P\nm`Ya{ηĸ%W\3~k*=!fT9d[2,%21ͺ t7p߹B`ӥngxҼql9tai9I=Ubb)FWUĉ:DݰՔd5 &jzf_Zb'K>ҸS=įdtb*eμ{yJQ6XnPNAG+h~řF?:.T:KNBZgD'Ԩݏ,$^cYW9OtYMgMWr3eLgm2Sʇ`ǣ9gm~Qi"z Wn S" IDGgYZ 889 1Y% dStream_Fusion_CodeStream_Fusion_Code.Stream_Fusion_LListdocument.tex7zXZִF! n**]A-MՋhvG"uIBm5ȩBߛ0m PC^Q$x!$@{$"3]fTh^΂ѮC[[qzFDޞnk!bͮ3R{wIHBXp_9aY=J.|7ZH@Aǖ,5*P$j?UˁIX@B.:>6MKǑֲ/oݐy)pUNPm'+C'ګ^'{&z62.DR%5bi[&XG8PgF 1PhDJ轈:~C=mlLcݡɾ%t,~FU$∭ (1=qL)Q6g|:qGܳRkPq/6xogaQW71 _sTRf ܴ#h*Sc)G]B E(8bM-G,lWJV @OR{ >@)Fk`Lv:gOT/D_ۺ<:L~h|^p6bu/MM>]V]D|Ua?e4H͑H(̄EÁ5Zʂ5 M=. tğX>^s)_Ӭ,>Kk]_[@YKN5ڽƷ6&}!ՕW d14g< տ9 ` iY+|KMveˮ ϟ׮JJ'Z%Q'\LL_ךϦ0rG7-gd^+ݯzq{^v>j&NkZ!.6ZQ!"Pq,`ཪC@[Q0xYLm6\Ib;D/jl#=P.1`s|aٴ'J(}镇uywfPՎ.CT -5ZA#XJ?zp. k0bu~g/s^?+{@]Gמ;j)yUB/(tsJ@8r8!$5HT [P9!%gXjҩ=}&Q H,\)IOo!"pJx'hh;9D;["3TAzi6ȑ*ŷƒt*ؠ/p4h"ksmiB_"z˫2<F`STkT c6)z+ts 7༺cb| Aӹ-x6j^-g${],2oωX# ;B|= |Ǜf1B|FrV>t(ET}?J0]=;7kkA+k^؟zJL5D%W)_ [)>z%ʏU+,3.>M{-A@e'^&à J![=&f<'l@oVYr C_ĭbyza0T/wNC$jũbl֊$$8q+1HWmZc :EeF]Ja\PB !`0y0ْ쌦yP6' %b :l32mۅc)6wwx-2ɮϭϋqP/PWI*nq{;zl=g;ԑ=/{o3% -5]:3=NdkMr*8э*xNq7;U/ ;ŧݤ dְ2s0+QwKp!h8-yǎ$S~u )9!oقA?" >͟hLybȉ׊}@4hyYOZRrj) PCȹZtIǻ}$C }QyRSBGvrݗ ]>ڪLRQ L-t;kƵnLr[>i),J zT@r0ԣx&-+U\\tB~^qW)3ZWykh{lRaAg+&x;P!?N&k?t^we9(?kp> wC:LۡFOT2nKneu N)1Z$[زa;}j oz͌sK:$'5%Wrl|12%R9 'u%0Dw`FOAnU:l)UFF0&01A-kXzng*b=qT ,t08duE4 {؎i_ -=k>4^P[-/,o2€`u$s' w 'Ztc}: \SF60Os:a&w-JW6Atu=Dirjy~Trm`*Z1|I{5oON^h[DXf>'#4iG)ý~'lM;5i6pz5W# = i/9^{MkKcȊeeron"ߋJg0}Q7 _ |(̴^`2 JM2?Y%R]  e+a??k;))}L:v>g)͹X7&p-/؝:%jh;GL#".$_{3yTEqM`n.A2!?qnJG@%}>> ,sL޵U\}ܠW8A^1oOsH$[3,ӕd-R?qhtyߩb8dS* xy6Xg[Ҭ.7,TxgQ!g#9[&V3ʿGF,i%'TGm߭4>7olO 짞]bmp^W.Tӊw;nzz v;**Bx[a|3촎za,k OZζtU'sbUr)ˢh_ yꯪ MMU&vKs೭b^Nk™ r|" 6OH5:V++#a_UWmq_>8r7Ǘ<3KD-'N)&Ex_B*;4|U2 az"V-kJB|tV9+}PɄH'&9`T(JiZ]agrbB1ET^+NET|;hi`eE]M|޾6xF$$Kc@]> " :·s'̄o]tqg~ЉF&g哥@CYH3WaMlYFeVK2f;&y=JMރ2,n^gJhҴ> >7/9HPY\>d|@bw2:5@#QfsT@heh%GeV,7etY@ƹsQǰ՞En2aa㽦R(6jji8k/<K*E@FZ(u<_?ln27|+qkgB\HR&G#ڡ`ᅲu(O{L5z@Ym$,創2Cв1szza 纅LхjS6nY/'=j$R7Sz&@ze*39̺S{"hX'XL9e"^@A CLtIj' 3o js aPHvf[Z)Ҋ&wwܲ]`>SMC>lÌAPg*GOѶ15=F)8sC:𭟛P0}MXOV~ǸZ;!$Ikŵ;eC` wZ\M.e 4?; C5Y\dJtw5+Q.UIt2D,=?3Oc[$RljItvjM{ݺ]2N2m0 *Vt˖LJջ`T.hPtr&OGi9cX|>:}% *K|%ԃO41TƒyG7 ML#" }{If>U?yHY ZLA V;c:WA;-O8V!wUg a]S:% ,{jWIbLrs> 3m~\۠=Z"M6Z{pC"5кh_phrljb 1 "z@zʠo3[d 2HgqpL2`:ĩ##hBGi+EbtR,/ŽԞO eȍ9uũڈ2@wř4^+BCC (YSxtZgأ$pý:VN)cYQE*v|DX w~W.|E;vMwV" nj<)"_\R=Oܣ3w22h#Q8Pqo4L'&wէ"6MQ5V.hkGzڊ#zZa k4G=4Bx顃rk;3 8fY\7L FF\ ;1՞s6|JGȦXCJ|Av كddDr oTf_J/^~vnĊ8F;LA7Tq%r1?B&4يgDŇZX$`x쩁NPG9D(e2Ϟ I'8[L6BRYw;\\n!-u 9QijܔgIrbzy2S7F( 0R0?n<5lpH:^E{?whOgU SY[3jݯ'b\epx_Ɛ{< ևƢđesn!{bǠK1xr3̒[z]tAfV RӢW T$9|U5%G_;c}~*r^O mqFӕo/ ߬t8v;kDÀbȴFÎ*`ס I}A!RKp~&SHWfF$DB]~ ڝeM;>])|A0tHm+/0HU Rфs֙69$kL˱Y.oWziڕwWNd9ˠc|qKhb: }AD?:S @5|| ?N4*J蚴Eo[ݓ WLr‡'-U{e0^z<"y7Nm{ 'z`W5rɫÐ&hUl8=ABBMw=4_lәdN`?[qyϣ5.õߚU7,ᗲcw<@MqS,P!kAV^bWj(t7Կ~!K"D&i*ȟY]:ʉ'T oڸ;w{R(TtxLqȂ/wHH(quW3TѝW<ԎS &۾E]}勘긟qbEˁ?7 |T_d uě-^s,_gKpv. Ja\?"ؠM2 `b4򕑆E 6Huߣ(k%No5 9F_N 0:2<%=<A<1!-joz[94 A/]iL<a1EA^r\Xq~Ň2zNT`X">F1'i+N=xlyK3 r1u#9mxhZXJ50XxǑ:jY2F1d;BU l4 [v`/ѮQJBIE$>E{@Y ZaW Q>q /Oa",*1d;c+Ou[QU1՟I0eXic=1Tn*ݩ,ּҴou+<$CaǕb9>l!VW.0 I4i sМջL'Nԧ8Sw9]SAPOvW8/V=&C λoOaPh}f9(B3:'k$Ny/) m'}T|kB#KK-kjerO -ŢNj2"^E[q kCѼuB9d'n`eM@3}a&P8͟q4 u+z7 2AD>pf0AZ:}ck{ R.26hMh}H`Vs h \Ouo ˣ%r,&3?6u-g΢:(?q.bt} i*{}!3ciAϹxG-+A_)Pô%m)^7ˮɠ 5P'ߦRt[HwdkbZ) O_jp (fж(J b K,$H)/Dd64h.Z p_x$Zh\n~9@hʕ|ǖĞv:qg )vnݚlHɤ<ʮ]v}bXT'iJNX+ P=9}[=F[ zKCF2ubWZ_X=v}J&Bc{Te<$O?;] /GiL CX*-Ww#,IK6VÎ28?6pedb.)8%sC\.J1'UE. фS^h\@lu,_] ;R.2P7I/3,yg9(/ 8BL髟UQpb DG[C}ӊ@~p- lC/Ka-wӟ'k1M&sFZs򸋛n U-{d'z:<{0;p+5iSbwaaϻ+,вZ2vfxӟA-NZdK+W3dތ }P<<'w5CRy G$keTTA yz]W/ m^_9[:d1 .oG3N̤y¦0AGNys}ڡR5W}m{HG$;[1%Hq頰>+f[k!"h( F)ӽ"Z5 Q9h :.4`}%'E-S hK~3ȧ`B?^@Z` i$J' ۞0%zHe%tEڦ>PkN' m +pU#\,$T^*'ijF47DxiFU4 .ҧMLZxΣ#v {Gy}KZixB AjKq:yǭ QTٞ[Cbƕt*WS}((P;>U Ps4~Օǵ\MRbi:P"bs``+u%Aql]tw~t@k5x&yսM^2hZ~*ɂVԷG$8{ 8,^ ~zկɔ%1ݝMo擤udS _Y$ojF|Y ˞(xWzivUCx t (.B0"X|?w^RrR%`('ط 9U@I `.wWBZsKR8BQݟEM7J-!o8@m}2%[ie˷\@qk\NƒNz8HHuY[;5 Ia*ZbVvgٌw i6 ׭bQ摓Չ#e=@yfͭ@fD6CTvhMR:ol[P``ڋm5&k7?.#(u*uPQ92 #])(?)fb@Tcvnu*vxoek!n+'d*-C<_kFO.s~#VLgx?]G+whN/iًEs*,u5.vCb.U.|Xx /2 ǷB>2PNC=1#Is\`04&Jn>4" JMVdJ5cvrQ$FTL%qϢ ^c=9Kr[Ol3qsrxz=`ctd]y{!_18زp?5SZNض- _ۢVh5h/GD)"̠"dlc?8tɐWRhsgtWM3 4xl=k'j(>Qn0PseF-ػIR2όyӲK@ 鋅{ٮ@9҉ZRޒLpRZPLuNb`T1q1~)=V6;15ԅ+>ﹳp<=2lz@ Rʐ9U k #]fXr`~ YcJpyinqT7VD*Q%DMXdV.18uM,b$lBZQϺ =7 eJZUE!r9URW#?+ELȅlgP 9W 3_p5Ѣ+ɗ7{\ϒGI;&"<5>9hk3l I,ƨ:f]5] t$`baX|DbJOzEy/;064gΌ^NYm^"H*VV"YM[͌"Z9д<9^vajDIٝZzae4k5(O`R(5򛉯1Er0UWJTxaݝHn Sؓ!3͊8cD`ED/c|-M%,sh'пnƾJO? pfcw̺]`WWh-~-Q\p>O6Fs|OMtz8;!O^PTU cD=a6MXt{rlFDQ[~Z!/ 'b6a UIHj}|M2PJ1 0ʽ J{̨slMy2e"(UHAV1Mݞ .!_ūO㺍86-sP $1Z:or 2e1USƹkkOѝ6ELLYZ)-2#0Cu谤&?<8 8Colۇ$sQ|'|Qp:_YmE3SCĽ@jtvGY"!OزpГ>Ch*Q C;`eoWʳhu, pyG۞d/4+"6m%wC+E%u3'q۾)4*L8"}'x75γb+i/l#oĞjy 0^`&?H-K3A$v!4? R3TnKqu[rԄr <;#k.t b$TBН[A@6^ܔC0YE|Ӽ[i=0r|v!limZŁ4 Yawۯh@Evɼ$VtzD < uJi, 6_.ʨhh$"cB@paYme3xVэˍ^p= <1^m4 !Iep&Xv7xQL Ve])F{csaaCgT>4(pa7(Ab&3(Q:PD::/TcJ +$u]C)P;|EGaL#þn {? ˲Ra!~=?@eu)tJ B= j/kT04XMU_,cV\ - *Uś{C%5q(N[OÃȤv5^GGdm>;-sНаAؚiϪ/2akI J-IlU!g^z]܄R |pu%ww\1C5>D)+dSNO1K ߖ2>β.'EGʱK*\<tJ Wz 51ıt焁SpjqI2+0MFKG 3t/9ʛbP@B4ŀ{oBq:sB jiT 2xa*Dxs=\/QrImiC`˘`,h\˝H dA^IqΔ}h/ 'c$ټDrxK^RjU|NAbڧpd~~DO?jPo- k(چ:. LҔ+Y XReb*^ ~3.Z]3u,I'WW c-V !8Ri<y ?"m)(rO02 l>UT?l`xT]= XŅf/C1y[??^v`' W}ё}We.BQ~k_i2v?}KU9(Q@ 763ĸٸ)'>˃`P!Єb{̏/A|),)8`Hw<_gDS3ȁm8o q02$!A:-SkE3)*mf;'B%/Й Jv+ihw0pM[`St>P/Gp>3AEa^eA(BE'{ZFLʦMMGcpvJ-T1.X,lQW4o ۢɪc]I6?\q)${?^9&:W3\fǓ a+C!XIR+m DhJi#Ûj?6YV55v.Dp@D& s0d2")@_B bCoIݬL70TGmN."? qbzG@u TSCAb&**5nk9[[L_YdL뽠@iW>~.F0- NVť^xw"m뱹ZcLeO Ε |mpltɞٜxN2[Kڰf1[iu"YxƽnG|r>_%i2kMѵs-i(猹Gg;:72w+;C2 _d4c5U/E`ms(p9{1E'JP.ўC4 P"[Ir/ϧ6 Yl~Q2:ҝvYq,-q/xJ~J1h,݈0n'ӓ6e`3,KI z$i'(UƂ FGM A@W:32K@W( GNvM q#BizP̀lx/YLp!4{8{qTm~Nvym7#n ?*ɠ9sg ч7E4r=y%Ur݄:wNVg>O״c_M`)6o ;nWqoՁnfܧt&ұgYZ TT 1W% Stream_Fusion_CodeStream_Fusion_Code.Stream_Fusion_Listdocument.tex7zXZִF! ŵI]A-MՋhvG"uIBm5ȩBߛ0m PC^r&; 1 rx'Vm :՛V8Nc0WAPtסq2saAFnZ{Z epu"txwYIOEI/b'2hky52eUqph8ifĭKoJI J:Ԑgf: R*\s\[i~+rb8DRZ5z[uM:T;}&3up Be>; q C5u\|W1;4haHb5TUb:)lvO/ϤC#u w8*v%ļKNrZ}}BrWX?Ozl]?: 8϶sadzq\`Y BǷ=k64LIXa<_b^K'%906pۑk?pw< $}Ѐ#8S%P$}$r@)^:(Wg4uW7c ~5!?&>#j {9v;& $'q!>t.dm3}f͙! ג⓪(ǎɫi C~k`+{値6?ۻObJ#Ւ#{SaC\xN4ϭj /p~c*xpAB$N. ];i nDB;]Pڷϩ}?Xp E6.(ʟGl5%E_M # I5^b2Lаe;bTv)p;U_R!n!$JP)w(I49') >xnjέ>yt'q9ivl7ep [~:#oF"k9 |5kދ,ߪr+Yf882ʈE$X0޾B#d+zkVqTj)ms1/ kl\k? E1f~r**D,<0_Sa ݃~>gu%4N_v?sa nn@U)Bfj=hΑ  QC9t7sdGHYx[z.mMf>ӈQft~;NJGkMmbep<6S|4"@2XcCg܍BqZ~ƹsf7T{~"tg(?پ f(zA V JAٔf"Jp =)l<מ^ueYf"jNhI2d[N:/nRb'L"31 }8Iՠ$[Z)D7\FlبyK8+V_\-i*B$ |1sJyT,bu󵠧pd˾ǘyXQoDmhvWH ˇ lZ%gYZ7zXZִF! j]ŗXiɟ ~7m`X$";7GI֑dt,+,VkQ4VBqnIf +b ͠9'|jI-L wԨn>Dcs!JɟǕh_R"vPO?3gYZ7zXZִF! | i]ŗXi%D8W.eOaYhll IQǜ|~.з`x]Qpl>S:ȿd=G4=6`'⑘f8vu=m 2#6ƫE$0I:D?/*bsi V'wOAje*νLܔof_|2LBNKzuDA,?T'+^H2Tl;2Z5?c[#y PbM3n0d-aH2qF5T4v5G&.'iv^ݑvNP"b=Oy 0Ub!؟U}F5ϤbgmUG\,(Bd LinԾBA Jv޻*e\{A$"r"=Ɓ̴*u#;.]HR^"П^z{1V!n;J~ 5)a7o1Mib !>` sd,^Ȭҗ[z[8QHMj英DU E`weuz)4@+3mm%J'_Bb8I{`zǓ!8lb(XgNDf¹(2B ^ yff^.,:O^b*@zi(< .CPY2DGO3oBR<֔ !9sXVӇ"5E*Jgp( A_\X&E*H!-J  /`2jxFRyr/Ø껣F @Jl 6Z52^%^h|Nv](Mȅ)YaU!ߗ营4yXlp1Ů`KJگoE%&~Q{pLCw8·Ҳ`l͛h%=7&$eGQ'Y(Y>Ӛ^'czvpq`F) 7ͣn.%4_IH ‘ h r-3l;;mD8iAa6wֺ-|4tc0eDd}xbQ5[`HM'0Uc>/ܕbEsT~$MWKS_M(4xFA1;_qB;_ωo8%D|aA.dU_\ێ߼xnτ/;O,NVԫFD*FͶlC|>ʃF:`n9ZLvM{~麰o RCNQ2&R܃,]Ϯ 5b?-wfh =c<nK=ǚVط2ÙjP '2ܓk0ozЙ+T0URqXɰ=C $ NV"VmcOlŗB",R-%,T127/:%` "f81}?P{Khb$3)[CHc?moAIb8z$Xn2!e6Vlax8KaJ}?}Q9\(E`˻ѿ T~m6CԾ H,4"#@uJb̻.lwL.nQOC6Uӊ ţS1P^A E^l=D j']\ut <ʨ*ejz2܀S`բg (PAEl@0f;G&WfE,J_a+jU%]~ {FAصu%л.aX0EqEZr}]=݊ L_[Ex~-h6V4)&leGjlJ0$\W!(@U;BsyA\βwxNK YȉDrоH ܂5(ȳF GW8Lk{ ZPr3>P3KdG<;K XsX}8:o eĽzƴ&Ma,C p}k_Ov6&V fAi>?Xqlkv*Y=Yv?gHwMDz2Ѕ. a^XyhO=d@/B.- ,k̮n ڄO`: Kφ#6F31`B;M^R}}QOb?r;T猤z|B=\o+7b:9},˅}|"ZmV]x"E8y"fZRtMݦK'B (Y5jl4dj.H ԩuΤDskǫ_OUGeQAxG¦zOdzicܨ$'`4 ӗ?1l&)|_/ ZLӏ #f18ڈLvyRH/>iGi?$*׷c"9=)^wB | ѕ&E $~N^湎VT}-Cc+Ilb; \`b Id>UŤV$8k\kڰaΎ[t,Y1; CLwb)2mN F6RriDK|w@ `> z;$ᑒeKs}koZo8s}ܕ\?=JMH4~.e8ޑs# {ֈ3]۵HGG%FqFOy ެ{UdoHIJ\p3|f;H*'&}6ddB@8Bò dKa/êwHKnR.U%v;?[szo[&gYZ6078b2dca40b38f4ee3d5986d87fbee2712c4319c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 37037b5b0c8dbdd2fea6d221128f51f89c206171 cabee864f4dd2771d049ed027f61e7c653d6e2ea 2b52485d19ad407b4648c448353fc53b78b02ec7