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 ^^1 4l ]% Stream_Fusion_Code:threads=2elapsed=17.405cpu=31.380gc=1.492factor=1.807zXZִF! $V]ŗXf1-/6vR[]`^O㍌GσCUƧZ0J -,&yS LD˭1]R)EXzQv6W'7 ,9 H-&7r;Dڦ.΄M,n,td[f·>K&'#:KkTbDvɖӼs<7?/3 .}B}zxܬDy)*Aގ"_{\^m3Uf/]3 Rd2\p?ב%+8[Ni<"M H[;@aD@3*9O}SORJjy_d@P3Z[Fi>cp{L@"oiRu:Vϋlq @Y`W mWQa6$*j2lgIf"F3qw[K=Vga+/bx-| \6]"VTAbyr}Z]ĄLq} HJ w.5)Ր  ž Z [<ฃ="ʓR̀}KBF So#\̙h4^/s7J݋lfheYf7IV$|+!̛6T$kNB33:596 k/Ε>}2r4vѿHUagYZ7zXZִF! h]ŗXiɟ ~7m`X$";7GI֑dt,+z7#%MɌw!07N '' Yy9R=GƝ\;G2Fj 5ܾ*j D~H._6OgYZ7zXZִF! eQ]ŗXi%; Q\ABEL}%,Klp qc=@pOƛwᇁ.֕LJ%\7 NM}py~n L#~C !0L WqgW2Rl%| x d 5%R( o_ mKD}ʤ"+ >Kh^>3lwb'I ?*4^9ǂB M\ND2hl}W3h vˎ[_D4]f}wap H每eW֨F g?`Z i\s>kKUTv%PD܏DY @/w[JdV ޸=VU@TMRB Xm! =yEĻ8y9!hl znSa0zZ/J_'y1xqrZWVФ$=-2V Iqh) qB# C'ȝg`B Bf`hpI'ѻ$x} .4zi4oT`-3-?.9f`Ȩ &"/ZB/r ͗RX{YX}*cc݄ɼo#298H@|UV1EndYc>Gɶihux̪î}d ckADmHjٶYT"1I9eHw7By~SUl5Z.JuDu*K&v?N([.+g 9C-U?xj闘{ KNͨOnvF:r'ftݒBxЅ`Gl t;vf "-/#:Uo~#)"aYtS~_@b֞ʇAe3K鴬8mQ )._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͌Qi4C.}](2(M'%Z⭥O{q*:˂=>t%WtiSa<'p8USJBW@yY1qL[R7Sӹ;mءYg#nªi.Hʙ#w92>o?d[A$Iun Cڞ^ہ.Bߦ(H~V{`CG 0t&pf+whVQ4[}^n]{ği|a: G .bw  #hI1W%Stream_Fusion_CodeStream_Fusion_Code.Stream_Fusion_Listdocument.texD1M%Stream_Fusion_CodeStream_Fusion_Code.Stream_Fusiondocument.texM1_%Stream_Fusion_CodeStream_Fusion_Code.Stream_Fusion_Examplesdocument.texI1Y% Stream_Fusion_CodeStream_Fusion_Code.Stream_Fusion_LListdocument.tex<%GU~.Y@m4yLdP W h;.bb s=0![=ZNu)"]mG쉐QT_ Dm%A}ҼVˀZHk )؂2WKej z(-9ٗ-8|m秐⠛NZs7%* 2K6%1ߵp >aOԆBŐ-E ndD_?|%Y̩\k0= s1 6u6cL:ULّ+4$2bœ;?0H[qRwDR,RLAz}9@3 *rJld ɞT/hd+/U* 25ơV4]>Γט|)U:<ٟ &OhoVI]2+iO80 +2 !!'4{ϤKOSSvB,o/YղϏ$6W֟2 lD[ptҖ1Q![HЩq.!( ʞ4 !TjolhGRnx 73/T}fiSoa}3Rt9-M]fvǐ+t;v=gC,@+q}&IuV u7 H=jT Fs}c^Q#X4UіdvtPŒX+z?SϦMen|4L](MP$+pe 揰" qpS $%/8y [~$ˁò3R8 M,~}R}L`OCPt+BBA2;6-X9X#P?TZγ 6؁_md FT %i0h[b(r{];lDH KCLz4 \GO=Nڵ/041z_TF7 uL&jmN.exdk'&qU*mC#|F wf-`"4.=qӂ_ea(:ipʖCL2S\ԹO㿼}Zq?8K,D`ȎUL-4g%sP#sk)=(=Jg!j]yqYh.JH+tޅd3\鷍4uK!jn3St"=EKaZTwg7I7Ld9Oޔ.cH0<9VG$ú,5-H;؏r܋({I0VOogGnC+g\3#vĉ\^~6LS3C力dc u!Ĩ8Ф`G\_HsB G.`u1h VSg2/ҒPI~7举DKH`DE_!#'MQCP!rHuU+YF63'2 m$R p)4pyj(@ѐt_Mt28J%╅#YՄ`q9#\=*a0 j\魡zH(:TnMMYA4FvfW@;,"|ڸ:[WE1n͈YPC7{#dSZdt4uVm_idzu%&ەH2jWSyidss]gYQ(`E;2Pa+!g&4/2e5? Ȫ)oCao]_~,ɥq#_!+0`}%7| fLՅ, A M_ѠmnMc~c )g|ش )]WflSX*_`+Ҷ5PDl7d #ل,MOK5H*Gu'ZKjVt3/ ubiqPNv4]^{F@/2OJ ye8J( )X3M:t`:Μtv&<2e)gas@$m?@I=ESUЉە-[+jy $PvdƀU~1 88HֺahZSl{NjK\[a?ա~ :hO=Njo D ~nrOf[rO}F{ǯɑ<&{/ ""(A ,0`>Fj_T~tعFA G6FȡY׆3tS9^RWwQ泱>qsoD+Vc;rȵa `iovS%wl,P?0g&bۚѬo`J f:1SOKxN#9 %鶔b)o.5"6\ 4ŀ1Alv֢BO8jeшE8L,_N|Gmj *wƊ |d ^!3Z+J+(bE_ɗKZ <\<ΟvßDFBRGC?«4QEq`/y~[T f>{|IGe ]H%)-yqOOEdppFRIDg\G`Ç4GSIBm-GmFF/L"~ $a Nlp d@Z*Hzʼn]P GAS)n6+np$j/yU{*$qTq[l3b?}GǨqP\#@{įg2eݬUÙ4'/0iB,(6j/k3+..k{ݣq }iEYvR2 mO^Ø55db--tkz( 9Úz` ߉q+yl- :P@ [iq6ޘO֛:0E"z ߴ&UK#T6U۸q9A V@LE$ӽU{Ͼɾ0F>f촧[C%nESK?%X_+OD4*:4i9F~PJ \t޻(|NSGɸ}E +J4Z}[pSJlAb\vXZ8e.QC{fV#g4q*(z;2"hiP"gc! jt.; D\OHEǝE"/<'mo:)tFܬ>t8"HSNAOi/Z 34҆(p ?gI3%Ş}kw q!`Ph ~RlY5:(DW1s?UzIeHM d\ѱl]MZKQF@K̄ ܞe_mcg,5.ȥ^c17uN#Pls`yP+ﮆf7Jn?`4%A?$S?Zy=mhYd^LCuujʖ~MD4-%+L'ܛC!\ 9T)!C:Ob0AdXJ%i@Rhҭf79'?I!`Qli;7 ?86^? "Tc }sY ȄkcfGKf}Q}m\QRfD{:PHubU:@*t'.dWA5}d߄;gQAcx8>PON"u{J7h%"<+&JvH>PAGv˞RD믜$#vEL6 ?BkE{mp,VH`|uJj|u{s s,xHƪ'(f}2_yHNTL$ C.|E;@dggo9bU' +ti\bh#y䤵0tBQn ^P@mMx%JM .Eez~QTe:rCrAT%8U4E)sߧAYW<:m9W^6V=Fr#t&C6-(Z\E33zw>ǖ'wzNWoӒ4rD#广1H]x63zX;'#Nτyn}($tS H( _vX3>ۥ|'FA k&jO,NYxv~u)18r'R /"+W"A4O-F?G`it-Q'4$F0t`g*dTNoHnֺ5ca`]ʚN3]'عDF~̴ V-sgR:Ј~QpgY"S: 7J98Os}Elb( xL}+$fCH%_ױγ{m|HE_*ș*BY ـڽn?ɓqү2@<͈߼*C2^~NH :TtbcG'ukИ &;q5jQ_npFh4XQ&Ms$ajpb,/P l8nVڋ ='yHTB*SՏ#ky)ۆ:t]a1<NH}1!vO|++1Ik9IvL ~HHtУx.0{Rlb+]xh˜< kHfٕ2gv0F<^K?˾昚o{i]b i֯N*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͌Qi4C.}](2(M'%Z⭥O{q*:˂=>t%WtiSa<'p8USJBW@yY1qL[R7Sӹ;mءYg#nªi.Hʙ#w92>o?d[A$Iun Cڞ^ہ.Bߦ(H~V{`CG 0t&pf+whVQ4[}^n]{ği|a: G .bw 31 CCU1M% ,Stream_Fusion_CodeStream_Fusion_Code.Stream_Fusiondocument.tex7zXZִF! <]A-MՋhvG"uIBm5ȩBߛ0m PjjB 1f8/w)EJ눂9 lx&ŦͩRj=]lK׺`Cw`'Wll7fܔ&Y>dw{&XD`NMa $ζ6Ztjo(9e0W1ZK\'h=k+ᯗS9^v=N wwjΊ 4\nn8VaN7Mb  +Vڧ%nԬsZoM8"N"ɇs8/VG1@v&$4"jJcWQ0<&JeUŦ"'¥]BSl~ b_?1&KS~6l9p{I,+fπV*@3̺hɝ*eD)h{R-G0+U= gd&\r_ZfG%cdLA[/H0Jd#$Yoͧ1)W\9nwM+dr͆{{azons}-gYZb1_% 4Stream_Fusion_CodeStream_Fusion_Code.Stream_Fusion_Examplesdocument.tex7zXZִF! 5]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ϫ;/kLvP<`PknD^i!ՀwAT4DAo~+k0 Vdu2Yh Ý4?o!vw9jPN/f)sx)lp)$i;Pg+I8Giqv$sg$<_nǽcJ[Ξ+oZ*2ˤlğOŐ$c*m󁦚AzȧF#& cC5kk6[NgYZ GNϿQfp5twb֨l)KUM/؂椗0d^11Ɨ#*?BZK܈3:hY66q _٭6A?{ò'0}i?p]a@%X0%ABeE"/lDj՗)?w堃uJILuyxhQܱ m\pE>p4`uNb`GRr=21^z)39diUA&hC$ HseA_UOn]EjӍ}Y#q脪Ƃ0ON]&GgHR ;FX^ӿ.[ۖU& x?nڏY0TZU, EI C#\oBJ @D)Ѣb2'ٴydr- /i}Mƍ׈ris1!jR5d[*E̼{` SlEs զx~!IlyQ(r\Mu]zMB04%[S潼E'UWg& !EdZlpt~ijv~J3[f)q}WZ4@ (.l(Nm|(j(KQ6*R^3¬{ N;0BPz(5@% ;ߏ9J)/J8ue!P߂A 4pqr! y+Tܥkkm2Y5Ԟ&'Uވ9X]댔 $Y˞͠䄠A{'*.Evt"~TJY 7gN] >6zݙ5Fe1LTi#>ޒT?ǖp_],7md ?I)$Zy:1&#Dcd-vR,o7ꊍalys1v4*Y:6ߖ´!5M2#k5g; [uʚु:fZmvHAt_EC|;Ez388D^t'@T)5R<{DO}7`aYEۿHg眷5"d>t#TJXˉHdHz\)EFهls1Gò**m͍q Ew+_O;tx |YT$@=SkT^q_ղ*^'(`#lEsL-A[7Bv _1|[hv0[!887dbeeL SX`9J~aȌQ7A屇Lw۳D 8E`or*vǮ8%?(qɊ,Z7'Q< ]XqRJj_a+ہCͱfRDB6'87Y$,@!]G+*&;ȫi&Oq!>CI:ݭ$RV`4,y].-D KR3v=*DŽY#t>Ih P`H;!5 B? 7 8"ww$[3YHR:T2 Z)6!_;guPqo(J[]㩋V#hKn:pX*T,1Ň/H\yrKEAE<۳9O!%I1_uYq5n>.㉐48Td8+ \'P.E~wP^ /2C\x13% 0\\욝G6icl~ nq*@7,BeX gծSxJxh쑥 ?9uEѷF`"$]8~| "N5t;ٮcXա|:z(sDUhxptIze,- ,HڜJ Ր[G0p[ -p>h9}~`}Ց+L.S3 5|ysb՚\,?*fP_.RӀwlyWjrk"TH'Â, =Y!ĵ\X H 鉊9F:YJBLf JR?46mǢ];g1`V=$2~16P hVSZQ_n^e@8UęoQj*G^ _IÆ98ټgERɬ m+Ӊ~Kw iT7dl۰! &Ԃ^%)=%hu;v2lHT쐘|(f#il7q$# *ֹS.q'=HSLtXY"!dJ})>H]?tы;՞A>+#:\}_ u4d=ULwBݏ%W?TR|?1caa(mIǒ tuUS_E)&;8<[Ȇsd?HW`({]V6E4/WQG _ v-_ uzYy#bVOO: 4pumVS8AMFJ#q*S 2ƣZ c }3VxJq""KvI  _*}dDGq8/8[d^Ns QI<;zrgۄhUv QpشL7ط2IOU3:\ۺo! d(H̋=^+fjxvEbMpz MGHR3?.MTrż8Cbj {X @PNan*9iM~GFÎ ŏoh균j9@DOt~etm!6~7=Uϯ;DLJR;P:huj~uo%s*^k9Yr"t (,Mv|%d^G2L99 UQ1WF&šE `~laSxXC8ItQ~DX WvfG]JN^EZT! N9y, FޞqWt:&BԂ"=^1âЭWf c>MK. beW\`v@-9qkIJkgVlΔU٫Gpd9E'Y©Anct`"؍m+X{@-' ]0/F׋Ibg;~KvmD:fpQY ]IT"F.WOqڍ波qVΡS(yHoUjUpzeq*x\$m1#Z:T|2eaI}.,5#ClofC3-hJM`jZw} ܘ\j”ks{6__#Q`HJIE8)*yp v?mwo-sѪ)QI5k iV zH-T]J-iH9,,B 9݂)*DA[V-" B-FgGERfSu8"9Ƒ7I.Or8=ƘPt)Sb ]1vv*x/tqMνPlgڈql(Q@J^ľ$,'TRQ=>sٛ<[$oy"=G^NFIeYה}y6{#$ȼj+h\rDxm3|s9~vu[#jChev 4gU×uEAb6rr*LjoҬ疕KSiVL]ALQL_4>c}Bf 1[zC\]3J%kvoۊ;Y0XidzpLϸ`/Peox!{\NQV)I']|pF5"z/x>~܏eJbQGL:Hm@#ns~h':ypz]'! נgɩmS!?XFOԛBVq3$lKm,aX"Gwf1!k貒 =O8Y_مח[Es$AДt{/|:~ֈ,|m;5'l}7&Z=s6 S%JnLo9?SRI!i$c8Q^Zt/frXJLy ,hl.fb$] .^ʏ'}ᕠ`ibU׭sC 98E3X%A\͹絰#5Wp;|{T!cZN~5ΙoKU%CG LoEPiOJeڲ)fDŽERF~= ѳӟK,cd=l)ZV1feh^q k~ 9|j?fnK%J) 6A~eﯿEuߧ# rý{ g &jp:|.RWm.c{V,Drd1s۴NњFJeNhDg~Pl3~dOcPqjc^_Tf@eu{ VUl)Oqk8XӴ"Ave@ZpARiڷ4r60S/H,GuNv^h\ sj?-!)1%HĨJ+K7ɼT~le8 iRzVG*(9V0Seڱd'ɘts; zlj\dnadѓҍX(]1c*#7I S;Q6qS^0 Db0]~U;5|'$ JUd_O fjZYg ; )DM6[i)'Ls\? $^pYl?)쎚V9UV;S+nQd%)͙g `lZ밿\Ƶ=n @|p˞n ZJ,d\q@4SF-̤V;`d{q>bâP IzWK!T\ S#7{Z%',pI;rάplÚpS(#AË9l-Dn<!'olTǡwS؁GUsY'P =,ӏ?,o1@˞w4b~5]+\,dj<7Pˡ弝1Oma6犊$=3]WςOK%lډf,9P} lv,/V%t-LzHn +e=4m)aD Sk. ҨNon> H ΋'XWiOpO,} % MDؒZ: kkp5T5pp`ɒ1k-TC+jHf(_356:FɵNcY(֛Kd{]%~2sGtJ`h͉X{cm/!& {#>>(O=j/f{c*eN;O\*>Mj7Eǫ#;-2 RBNI _~|ѧEO2pb-Y +Jߏ؄!D6cB dYnK~M@rCku#kW\t7I>gRJyr`r֥>Z@?kp:$,&Nsc :KRx[wܩ ٔ9H~lLi>Ѷ|'h9ϥgWtG6Kgn'dR|8 i@I`y52e L[I3yOe;0hsL-, KԂ lJa&sLN*̗mV[tlt{rÆ31yCp}TX +MU>֕kFsɓSq́` JqHvک`+^G ٻ hDA+R  'cIZ%]֋+G:! ?o_r>s%*E"Lc dwD BXYּ=Q5!RŪZᨨp+t;eRIjwKLbk㧧f/\.Q2GJ@>QeH.Sx4$cjt56ʐXe񡛪jN?A?rH^j. )cG.ڳŹؿMXc7кJxs @|ਕ,72͗704p  ք-2y2E~ۅn%~[pm nء}sz*!ŋe(sKZX ϚW)b9J _w"vvs-%YaGY(RUJ}a !^' ݊WM%ä)pL감_ksIGlr|8gÕ %^ ? ɸzZY s\+Bf#[w6cYs<-7Xt+Ejn{CӤ(%M ʪS! #k^/ڸҤu-a*_sv(.;HBа #0UOd='E^dء(r FՠYho|DOx)ה\1zQ*ieyT~ӯՂQ崈]SZ Ipv*f] '~b%]'h> !$hQKܼӹDy82F_7Llq  aEB;$s2KlƳЕA>-^hu~F,5]p[Zzװ W==x{Scf.>ߧm/#YI.4~7[Pm," Qc\(]ˀuIHppcm4VI5dnDko3dӧZEv`JZ0ẉ{#O6"z1$gEފU^ϯ]NtA#MHGkp<[r#ϦZ>7WKt[;Y~u ΙׯD Zd,nLj Fm'4zbCG,.;? B}TF=.dJc{8ZMl_^ P}Vut8n*̼'ٗ)3CTcQҊkԞZf=ęCd[X  ^7n%8B 0{lֽSI~$-[g u`b;3l(zP&p6BRjURŗX}ANG8ЇIĨ ޺ >!I[odf?c=gg"r =r76|\:?-OLQ杘N-TG=B_4U4 $=:EF\扂^c،c)ȾC o6,LwO4z xjS|րY4h3_#V&TPȍA}Ћ^9%gw W| %S}̬5A'J?NRWIxcx-AVdZDGauGS<5ˁ''{2Op3FWkJ⡫5e}ۺ[h0{*-P:c9Ǔ2xYXӸc׻Duy+YGXQ >&b،1BPF^KL * -Uu4Du#V lkU돍s•v]nWq e&;K!6TuXqXǒ3hCzX_^( E(n`'=Z6&*ZDݹWz:i4+sTK=sҨqq ܕoN-dg^kJasv|y@&q{fuISėK |qJ1 *e]fWy^ܷBY9[7<jʔ jj~]e7@^D*i+u#*/'3O)TQ3MmOzKԳvc-si}N g;Uw j'jJFfB:PJɞ.ӽqjiS'km. D%^m ˲ލ;nDr\$%ƠP4#!U^H<_JiwSՆI3NdDJ%Y){_װf DDfAXD@_ c8 ɿM!:= !k6=f4ZO~&fRx9C ](tKB~U_&N/){5 S]ы !2mɮFd 2=GpF&~ʑf J;uE "G 4=tQLnsc],: nW*7 D/λ_vL%2]$7rꄥ;CJ68+J0mQҝI9N(w ټN3ye?Y T [nJ"aϽ6UMx+O8ΰ[CYGe;*p3=p =Dc N9![]'EVS뛣9oWow_pMPڴ;U@"BM/ NL5"M[dn%]s>ä>ufh# 9L[$1qނccS,2?6HOf=mM mNUBu-QF-o; P7\Z_*l $%wg]HWV.)XL<Le`ʞ<)=oFBםOrT1Nדޱ^L@٨5$ r=!cB=d ?6PM3Z7gElO2LrAA= gmRuzsOQ=%,"E^]'M ] bM9B"^Q 5L߇)̹X`LĆ}.u=Z$(Aa;1YXY Xr]Kֺ%h /o3"C橱fOAmhRmʡp=`D2,s3*v'iH\l̓?CVmi&YdTPR4<{o/Sg>A6Zۄp_Y!̰EǑ:@e;@0ɴvI8|bRh=wNj0=I=38Emna5f/vb7HRS] 7<4lxW}G܂3#Gsʍ(-IF)ƗVH0 fQ]!*t},@ߧV<ؐZxM* A9!ZO Chۀ´JI^Z$vx"`; %uA1ŜF7S[*M9D03Lx~oT;zSy kW68Mg9j=CkE-\1rJ?eCpd!dT4BY򴥂[lk]F_p>rhoIGF _L9?>ch}oGVЁHDPPBT1"5M›U8p_BUUc Ju9Y}<oXǷ%`77mVˤm͍:*avsS%zç;dAɐ.H6cI Y|˘X3EOVE0zXrUDzrCX$WO^j2Dv!̀;*Q S$Ơ3 CuAut|wJbH0}Ef3qOWQ$=F 'h_4NJ1gS'Ŋ{-zit?jr_#Tb64[/,/ x%CO95_ɓ- ;/U%a:4N}r'o]WZwU5HP2>yZ~ {8C={ǜVibl'j%6W5g Q`p}! L12E)Hhs{}Yp`R~UuF_L !/#qnCV5 Rda@t-.X%8$t6lRƍipVh yGB Τ:UE_o~SK:8F PBNlsI69}^I@[| đs~i2oUx#'90B3 ! Oa3~Ď>F—bodJ7¯)c2AכmP̳c l4UP,VWmf~lg;X*HmUBXMƢ!E56 +D6wHo )rIdӇo’j>XR8yi}-u F.A/1tmt2yC`#se`XZ+0Tc܈JՒ5Xn(XH㺴Oh%U7wy~Mo+Y0&L| tK b+BFA؏|KhG4ȤlWJɄĠ NRiSs43?O} ^Nat),MZ:H>H3e,ۛ8=Oddo޹#eV2Ke&/ImWs/k;tMCLmGTdQW _ 2}1\ W'Cݵhf9qx(*6WPp:S >S1"N%p7$ӈ&Y: W[ǾqXڀ2W*3Iu/F*⩀u mY ܦF8, @Ba6:6#ЪJT>6Q`~r'n#5 mn_/ Xe'~Y*,0:l@c2ñ7^RvQkoWފ)mL+GV:!H>L'CqG⼂O`S(A҅: D-U硫(ox7Dz.Tn.ۓ;ֈ='~l؅Eo%zwX#B0k;R}nȢ^'͢"ǘ6?$D]5Un F BnkD HGNP"D$Ve&ĐZD!a7NʔSFdMAl6'9Q@2YW x 9^.5wVկ8E,p<3&Pv$lE3 b"3B A]翭[WH#~:E>ϗq{'OQCN _NDf3*^m8&lpٷJvP? ò(ٮowy᮸٦c[O8FA#ZUORv ²wQGY-raZzdi yu^\Tz([9ii[Y?u::zF_D~H1C uwO0Aa;QJu )'#ޮ{ V"Eupdhvܫ(|=_ۉrf{}nd1H5xfg Pjo Z/nhf5k,Q>=ȧb O']Aѡ+$A(ZruŌ{Y6b]ۼ(Q7)Vy/[ݰyG_NO,o;@ՏZ4~;6ΉtX"aQqwjd`mH2NS ' z WqLK?Eex dNEAQ&w`%dlxAVh24'C8v(5f8XN[!A?sPU`'-2s%G*J@< 74>;KkGn8^4UsZqZ,Aby?9gYZ ii1W% tStream_Fusion_CodeStream_Fusion_Code.Stream_Fusion_Listdocument.tex7zXZִF! H]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>;>UPLZA ϱð`wcv/ Vg_gς6bGF% (zm4;I)}yn.86m!ET|av}m,'gc쏼__JX#b?r<%#qwHb}ɽ),;6Ouy]h2e&Ek=7ĩŒKNk+A&9QAq:7Qg.7BB\hh.G6yKTm$6#@ZCY*{[ $R! mr>ĠP6XA, npUѮ%!9XCzo cVg='SeEǓĿʤwoνȶ†W蜖-9OKB5۞-y97D&[/da4+d?dSW[g@]Bj*Od|ĥ?l!&1