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 **>|L ]S Complx:threads=2elapsed=376.412cpu=654.716gc=13.540factor=1.747zXZִF! b8]ŗXf1-/6vRZyߧ^*a1SΝc|%lX.Zؤ%DXGܶӎ9˥`kvɾ$́%p;-\S) ev'?ۘj[,h ¶O8Z_ٖ?MDcUu $$G=}$>3sQKdhpCV0wDǮ'L]V9\ٲT="ޒbs)+8}45䂮e&D,ݗMofv.WmQK9K&r<;FzE9)clG|K~ gWW1ħ4R;Y ~^-3snD@TzSXO AeQ;!YUgګTMvI.dhV.K`kCd%pp!wMm0|6Ԁ`=—9Q迳>Μ.4gP+3' Zy]Rn\š?X%oF֔$U Y3_ \崇-aq %To$=?KF+iGMlA,|d#Od3oR[v|:c$>HfeD8HsqS#A6̝Qw馫ˆ8RIfd.Bۼ{FVLrS+M{;Nw·Y TV-(u%mݞK>xk2) ?N3hSwjvn`r"wqq65sɷZۨJrv9F"݋C A"՞ ĽՓb>V!Ì 9Rs!aŋ3x@I1 y67ld6AuAWR݁ 9]ݒKc%fA[NuӞkn!^qCџDLdZ2t.KJngMXbϫe ]Sm//X;* :$R#&h{i*R;(rH*<5tnD.BB$ouީFJV& ȩpClcq@NZR'5" XG`ZOx +:Ιgc!45;%},YskB@C{ T15iQ{iW]<'*Oܳl-:A'Joߙ"l.|eLX>#oEPd̷]Mi7~ )QD|7IƬV|n𬨲3I餚@bb:sw6,*f: ̏Yo^WHL: S-<5l1\)y*gYZ7zXZִF! ]ŗXiɟf^v5ݑYGKG&Œ%_O6y_2?SL (A2('rq C% 9 *cG: CFޖmf{}7Oy"Dwd8&$Lqt u-#ڋ3`2-5p҂& DXG%ssRwYk&ƌN;k䴷*4/=ŋ1"S+@P]H6g>ffa =[k]<=r+@jbOl5|Ƃ2t5_VI8&c^|let@}̿XW8HU@³tjCJU! V{@}' GAxҊuc1zfF ~ gi&yOR\#yL[DE}I%)~5?@6 M΃56.%>`8 {KYeNDMnX,3 aQ-*0͔-Xkk{v?y 6*O.m9)YˈwS~<w7HT#,6 Ms.0߅Q^YZ{^MLxD%Fy^]]$ _ڲmO0n..GY>UaiIrUz ҥyS:sϭ*H6 -o7X<'n4'G?\/L mHϝ1Ͼ3YLʕ8{;2B!I\^'Qh/==Z}^[v6uy&8]}XNC!Oa}NkM2\4@d}tj b^RA交aYv ț}3$,!OZf= ]?ҩ"J9 |P[bsΙ,~ibAVMjQc]̴l-\2peHj:}Q&2}Q ~qN8RdøjOsd`NK@p͇4㏨   Complx/% TfwC)Ae>^ɵ[?,[AQd${ھ[|V9 c;އ>1J#j۵lWzyz+ܪGXM۔VObp_ 0ck}165!sy~RN(&$:"}"(j;~χVIhc֐ 1CEC8-1$}D}[FQsdϭ\jWw|r!?i瞅%fAL7dx(3{S Oh`QyCn/#%}toRfp!-i<~V/JCbEfioޙ̟4PmQIHohGjZe"+\8  E4wH)q@|ZOw& &BNˁEZ 翰Z/K)\KbZp.`,-VhtfPA Z>~P$tϷX^άa>1jl4}AWuUb/BζL00{TB=\4NP/tu}+v\uq85jzUV\`ƀڏ'`:bD*_KU 2 G EY&Aqqj%2FTtyԮ5j Ha%AV[M lk!02̈́q@~ LHtydéB>l O aAâ~Sfil9g PY n~ko\QJ ;F8Z@ngyP /_osޭaJ/(o;pQ*T<7$_sk0iY13=!t:mL,rD݁_㟮_j~%UpBdie[UPQU\Ybo0L¹UQ,B;L[oWRҭ32b VIIƯ/ ZO,N,|5C,dVCiԛ[w?mwd.:-5۫|ѴWA-)B! 5#3ƾP)?OtC)d|,mlXyd%ތERKi&<Y0E4)țYursE3\lQ^l=&ZzfEl6V}D$@} PBEæLzU+߹qБmHF+Em+=D5R/flUΜ0Qz(p%.bFNaLpwPbkk5IvbIwòqR-af1i6,YXcхj8z: aKoy& ._d#.ɏW{I ~:Cf 98>EJHds3tn2 =2{k;b_H!f!O5fy'`d4~[c2^ᙁ')f7;Av@4*Ŋ_ w0SH>?$%E)^aYV]2&uϦ|ٍm;\N_?'^Z10S1ZْF޾l`C YeAXčT%Un@O>Q 9jZ :ezŻ #]jc`cm+kx*oS[ϧnN3'#q|1CS ~j fǘDrx3>F@6ߧ4P/oz"i-rLWf^GqM= OS3A7kb9*X ̤TaD}!ٱ >s5GIm%(uhF,I:.͗:$Xmm0w?? (?$?P;[6KxB)aݧNF})<8|չ:'{TiPWeYjЊe^AF$24NՐ9j8Z*;1&Ar_>o>rLkGa{﷭ r) I?P7 yQV/5bF#~M@].d=yj%7B{! Kyǐ \Ό6|;5Tw($OyE0D. ؗq/!)}G4G;Bxh=¹ 1+/>$      11^-Y,5%ComplxComplx.Cache_Tacticsdocument.tex '+%ComplxComplx.Languagedocument.tex '+%ComplxComplx.Examplesdocument.tex -7%ComplxComplx.OG_Annotationsdocument.tex'+%ComplxComplx.OG_Hoaredocument.tex(-%ComplxComplx.SmallStepdocument.tex+3%ComplxComplx.OG_Soundnessdocument.tex%'%ComplxComplx.SumArrdocument.tex.9%ComplxComplx.SeqCatch_decompdocument.tex(-%ComplxComplx.OG_Syntaxdocument.tex(/% ComplxComplx.OG_Tacticsdocument.tex9388P|F\3Ao(1 ~ex{!07.s!'fI= UAqJSˬ~=wo+ErK֏ʟڬK,X$Ўy[5 yV6xUS)Vz`=&$.zCf+'W{{ N!:4$T̖f96:/4+d+3']% *a8K\]zcRN?5Ycf;7;]S5|m2=*=5T/26Cty `n6VHB bX![S, U[)K))JC0 UMz4<&ҹr>}1B3Y\sW{_QFheRaE2t.uթv0cF`>y2&Ky&/=8?"λ뱚MYxu`\x'xjumDC% u z|,X<+/`Ȏ ]sR*9yu ߛ"EKhp+P ;!҆H+KE=ǐuRr(p߾%E8oLBݛh}'|&,zԿ3zDLSɺƈHWˋg9ɺ cߍhVo_{_5w-v<pdJ0CKZ< wmVm7l5ulNeB0bP4MEseaq'q\Yڱ2%NaKB[>Zܺ 6f8>c !0;wNZs'j%0EoL8/Cv/Mu)3N^AڽaZccV3ԥ M:@iYGUd+#{YZ1j HoWh?6o D@1NFaʢO-I YyuT# @Uޯ p!uT*>wZ٥ w~fpET`g<ݚ2rgZ6scҊ@)rr:$)θI{D@t??G*A.~b1778*o-!b< 4˴/߯ilIP~ !L~|D6ÄP嫞v]mdpz2r~KVl\\\'_! 'Ȅ?1!cyPH[-[g$YHs0$+CSîBx=1}Y%㯏߳0jp5u [P]!q%=f:"tWd՜HK E'/_ѢĮְ Pw=bYK= x0 +g҈I =4u0 C_%# ;(:|UQ}n 0MZ!`tAU7x6҈9 g5m(urr_i#cQ) ?,'D1u-c`#?HǰX9-sWAq&tz^H4R^w.mˎi$&rۋe~7("/fXR5nS 09L[Wp}_(LҀ2 mxoed g<~f$jP~Z'U>N3Kmk歘`%ʮaV E ;/F6+,hpB%0AWPӛKrVם&Ptfwzz)ՁnRBfbdjN} Q0-4$@pSI.V\nD7_]L>z14F 1+;C\jMq( -QzvR;DH @*sN1h:id]V0.!GrI>li,p;TI[N[rJa>q$ɟGW 6>!&5os !zvlCt/3n@@=|HY g"&Z#u*p>}&yvE ej(A V(^϶zA5qVEH'Oy47a]- f_@,کEM!ocyZE_[8n }}e\Vr TO?aY9djY+-dwPڨR_U[s?V"-ȩeIQ햄"w2͆*R.y DXS)c8TՒ>g}J )50 W^EnTuRY(#i^nIP&:#&GAT@}mor.rDVٺNG`vApA7(F7"q J^W&gl { 4y>Gm?5S>Ԝp\ӆ9DA xX[&}L/\Xz]Ȳ7*_5?e` E+?"aP"D*}ew0f-,ll J F]WHwws OwL lȒ[֒(%H¨9/jby`ޝy0'vѶ8}u'cP!  Xo(jֶ> GI+W"ݬ 215CKF#Yt"N~rݲ [3=NAaCeq7ڿ΋#ܝEheL 9ndQGIie\º1˔A[ZX{ 96X_A{w(dעўn Е<*% P Hpkտ~c=yo9|9|/Ć0YKlPk7񾎊KQͲ,tY@[㓶`_dS,δ %36,vڬCt  h[ ﰒ!DY@ >:= Oj% B~i'eU 4_s(]7&t++xvjiIES ![Zs)B`(CÐO'&JəS"t:Ҏ'] 60zJx$dnby~^\»S 16`޿kpvޘ~! ׋u63ě};kRX*k(Q7,j'G2V@rhuCʉ//ٍ @+D:mohɗ&2"_\c촲#"8Gӫ{aYH^p!`jRH^gz"5/N.%YM$a\l-\jpw[\$j5S=D-@01ӟb8e{ї:e N9ҋt#>; efB!E\AY^h!_kA/?n !g|:zȪ!Q9ì?LS"Sx;+#Nd_yJ!Ÿ1$<\;Xf.|?bٝ$5]U_WaבTMz^Kaxχy.J x~E8S9LϿsV3 iZ}ңTDo@;# ^x͈aTdRRX3=a[],~ax1dNy߹ٮ9oD]7Ga/)G V? `џoe@xejU<  |bu.H gku{2D&_:Nj'6pAebf7H 1gw7*},ڵ;_t:wYNjpPpnPo3?h0VO$' B{NQ9,#I+f_OedH}:R/5XYC%Oo=S9rv1:w"$ j*_ f Jt5; 6e͹7)yVߐ82l,FԄ Մ($C> > m@zHe"_ss=ޜृe"s]D? -F Y| wIZb F`yf<6(b΋3QTcn,Mj(ZOyP /I1f *M{pZy#.Bs 5c5&$dp G=兕alJ>\?oqu^UtbdhЕl{F0w( n'&R^ J~83[QطhpH莃-%TyӰN"KyuЩ]CvBOQ+OA #ϋsQ=~Tr*%$W B\0Pkw%RW*w#*믵g讖ad3ꑺ'Y~`"A>hU̖˾t2Nu8~fgd;G(p? RTP8Cn'oѠm/[aR)+V~ B+ ΒU{c5 Μle/k98 Q7fo^?k_܎5r!5~ 8͟Ai3GǾQ1H᾵c}mfx\ >>6p9y, o\qBuZق a7xm1J_%*h7' W'1L2Ȏ^`DKQ('Nj=IRgW,"4Т^#y ښ+o%G7%n⏋BLRb;# T'ˎ2s4080 󟬲I?d%쨈J4i6I/$:έ1&'1RۈZ]?2Y0+Bq,$Hs%KT[-.fe N:u5|M#J b$ΎDڍ Moؼ k0_"!X78AGA2WM|רn1;%> ᇦW9oH/dۆ`%5HX]!M1a8D[mSt٣ʖiBp5do~-5GsGƳ> ,nqrCO(éď,y=ȃ M6 2Ś.wE{Mp u e2Q:i0<3:{=MAp2@wjs7^]13Z X~*~f ]hZגәA XRɆ#֩Z q۩^zԎ\ ђnMR [~4ljJczRi;R_i|t5["|v?SDZ n wyS09tl0ITi#RRMR}v$h@v0P˫Fq]Hx5uf(o݌NLG/v曧/]ᐺ"O4C^M9k`E^*ƱBĔ (:)'D:Xir ewlc|E_r^A>}Bc_Y.R',>aq#8j}?!)!9^.*iςЮFŊ/6Bf;g=hhe/ Xx8 ,gL `Y@^Ђ~v4[ dx> !3HIǠb|ЏIjj &Æb:psPqRBl Q6 3Zkd1̱~]A=w3alb.,[Fb3RF @U{lb:L3|Kٝ`iKbF=Cmm|KU[cNwG&˞aKpqO~;ZZL jjA[>|/zc1I\lʒߍ.@cF{uS P~sq)N<ۉ]q|9|,l009RJ$4JT)>3-)!d Hծ.mD'Bw >%©\q -2. 12֬C QCHD"|%aɌ ]l%ҡƚ'-;ub y3? g+{+mx|JXLA@۴s@W‡G Ȍ:Dd}*87ēiwA`͵;˻JCO=jOh1V|0JTۉs~YƐ65=;/kn$Ϋ碡}v7sj.o1kB@9Xp"?C.0Piti-;A-ph{%Y_=JP2E Qf.i:l,^@IOl)UC1"v&k9@L1gYt: =of|ن ?j{{Vtj ͭoМhݓ?D7&.J >˯iVz0n9(I-p;RR U~'yp\"zNA.h4x\O@pA!,c=ZQ@\&~c1Xu=\?x~y]6emޡxIOe7f &&RymRU~v5F5JQ<L݀sg3+q)-U-!6WSo}"z'GdiG b^A27e \@*ٝGd裯b.|0/^2;=WQ"7[ ̑ǫ8 ]pbNUQZRZ2man|5[@QlVo%Ay\#ٳMfzZN31+1Z ܸrғO#4nyi SQ"]@Bd ( WzڤȎ,H7r˶dzY| 5\,;;7wGSi7w"V 0L7e)%+;>ZM:TxYоWDI0JBޠfqZⶖ \GkDl;pmf>F?Lm #;X>80Zm:ZgLqR֣Q,+ʾXKϲB\8N^`K ^"@ǧ`[cw/%^{ `6s M׷!4'f0A/n}n{rW'lHe[[͙@C(KAsNB5|HqurQ$B*W.͂ XZItMFk-Lw8t# Җ͜f O50(QtO52Kj|B sюrӂ@5]]ceJyh~tUXw$`N}U@?) 0{;Q&0fO@?=Ӽ*NьRGS[v-_8ԴXJ$ld15NS`m>ѫh_v%iLIAzazLO#vWpV}(m8I ǡcqo]P⏦Jn*Bƫp}Z%HOtˎϓPf^@'y`hy_>TY@St8;pG2 4K`(8M@rI iO (mv@Ī~̧!lǠ=4(H6ܐ(plo;tΤ.#PK1kFse sB8NEj/\*Txڌxy_oGi9jBMDcqKꖫ8B'# pOVrbTa \t9aU0J猿 (.vDFx+Z)d~_Z%Zkפm>w: ݉뜩TZ d\Ȅb,Az:FV;∀:E^~CclU+Oe~]wB z]@ c& ]:0(% xLUAZC=!7ڗvYw|`o`*Fj g0rd+Y7wJƙ,d7"‰f/CqEdKV KtPuf#̡AwjQn ?Jeֱ7S9upiL.Vz{ wtdyz&xX"WrLhVr’4K +U_+|,I=`W&AX7x=0gVaUɘE&+#cZ%=4.ti蔍d7;2?8ބ̬#ÚHf;ZuُJ ʿ=B~I;8x 11[)j6R0Ύ.8 # #[Y؀Z6ok'aEo+O20vߟHHDֺ5*ПBnWEÂɖ VTvyT{GCoD9Ɉf)s ;OT+JK˃FgID-j mLo1bSOr) |Ŭ[2J@No?-ҰLԦFCKXa_!}M2lM"zg8٭hqLnB$`•}4yuvJJEdkaW"ؾ`ݔC1d9Oˆ gFhCGeX8`Jn˂}Хzh5//WE2>YՔ_]uWVI q U Or~nAp)KpVXlt ױ)D͈c;/t3dv9ٕ%Ulo:"yQ0܇f}*іsH E!9ߺi9W߻I ww7v _ U "pxޮTtz|ɎũjCf5pWV(OӡjdWGcaoHZc,GNz*œ-rF*.x?=.'>?rH:k*ΉiQvLˠίGV%yi@4EgYZ nn/% TfwC)Ae>^ɵ[?,[AQd${ھ[|V9 c;އ>1J#j۵lWzyz+ܪGXM۔VObp_ 0ck}165!sy~RN(&$:"}"(j;~χVIhc֐ 1CEC8-1$}D}[FQsdϭ\jWw|r!?i瞅%fAL7dx(3{S Oh`QyCn/#%}toRfp!-i<~V/JCbEfioޙ̟4PmQIHohGjZe"+\8  E4wH)q@|ZOw& &BNˁEZ 翰Z/K)\KbZp.`,-VhtfPA Z>~P$tϷX^άa>1jl4}AWuUb/BζL00{TB=\4NP/tu}+v\uq85jzUV\`ƀڏ'`:bD*_KU 2 G EY&Aqqj%2FTtyԮ5j Ha%AV[M lk!02̈́q@~ LHtydéB>l O aAâ~Sfil9g PY n~ko\QJ ;F8Z@ngyP /_osޭaJ/(o;pQ*T<7$_sk0iY13=!t:mL,rD݁_㟮_j~%UpBdie[UPQU\Ybo0L¹UQ,B;L[oWRҭ32b VIIƯ/ ZO,N,|5C,dVCiԛ[w?mwd.:-5۫|ѴWA-)B! 5#3ƾP)?OtC)d|,mlXyd%ތERKi&<Y0E4)țYursE3\lQ^l=&ZzfEl6V}D$@} PBEæLzU+߹qБmHF+Em+=D5R/flUΜ0Qz(p%.bFNaLpwPbkk5IvbIwòqR-af1i6,YXcхj8z: aKoy& ._d#.ɏW{I ~:Cf 98>EJHds3tn2 =2{k;b_H!f!O5fy'`d4~[c2^ᙁ')f7;Av@4*Ŋ_ w0SH>?$%E)^aYV]2&uϦ|ٍm;\N_?'^Z10S1ZْF޾l`C YeAXčT%Un@O>Q 9jZ :ezŻ #]jc`cm+kx*oS[ϧnN3'#q|1CS ~j fǘDrx3>F@6ߧ4P/oz"i-rLWf^GqM= OS3A7kb9*X ̤TaD}!ٱ >s5GIm%(uhF,I:.͗:$Xmm0w?? (?$?P;[6KxB)aݧNF})<8|չ:'{TiPWeYjЊe^AF$24NՐ9j8Z*;1&Ar_>o>rLkGa{﷭ r) I?P7 yQV/5bF#~M@].d=yj%7B{! Kyǐ \Ό6|;5Tw($OyE0D. ؗq/!)}G4G;Bxh=¹ 1+/>$x-X-Ec4uS- 2Bʼn |9% lComplxComplx.SeqCatch_decompdocument.tex7zXZִF! wl-]A-MՋhvG"uIBm5ȢD #y ՄPpQeھ]St = ³ڊ1Ej5Pruȏ%j+0Lh+~]](>G2*L۩??.@P szKEt:P:>`Э1\4_CuƖpm>I\`md2LB^o8hSumv\Emاis@cEw=pK!UdO8k tfX5.fHbZ|j_NPU7eF֫r ߿gSn@]DIzԏejRyķf$1ѢR`Y^ a]wfEiRx%159@_h?,ȷu;^?-ؓJa\^ug, %냂'h=O[MEϧ5|D,|@j!?YPԬw5Ö!C'k֢STָx1XȤ&'1xY$?õ\Kw|pf4Z3$mUc2`OyDLܾfҒ*LQueQhfh)BxI"UNwu2pC3xfy}wh\6@ [ /{Q>X!W$IO̱${͈}u=8nv :i6Wؔuӳq\6,`iI*^"y4;X։]_ h@K0I)Aźm:%V=UCyO3 y-% ,ComplxComplx.OG_Syntaxdocument.tex7zXZִF! ]A-MՋhvG"uIBm5n]w5zaLAG*)|L8́L-ۼbLfF;&bpWI$_II[mk,C_(Wu`k[2 [fjHS$oL<9i=È&#rʣ .*UkKl_'8.ɜά9&) )% (j4w p/$pQl)i΀:GDC M,b5d G`f囄,bWc'XQ=yJ}Jb;o6d{ u5\B:I`&wG9j Z6^:#W VSq sX 3&eSMr$.i-+D&gȵ.`7{;Sڹe8MΥ Do\5_FF2j*r13瑤CY:R[qbSjvd @3\]'b"wE<3?Cd\}QfX% ˍSO|hmp.bfd&ٚRDx@YWP|^=@ M WV!ykdOQa4_>N{d9Cr]s53RFv "2*:b4'Ape@]%Wx {FE}:gN h&VH&X4c k !0J 0u2nc= ka׈'|'#Lzcw vLF-y Ý~cF,9i\.w0)@zѲe\o +<'ewГ-3Ю j$/7 ۩O>3.3NT BQ/nO=ھ.&Gi 2;"^K ? PBo2"e߆6\)ؖߐSSx NiIu#<''1TdE{cL7;{L%UɭsŠ[ "~),%QC[ 11Ώz;'_Uq[$"IHn_5D)pO00q*t=>;,G]HͰ%"jDOH+9}:ͳc FAb^ A]e܊sP qA${P^U:+,L;8:W/aKz=@[jc.u3@!Dž3tXgO*(4e&mTPʱ2^OxҁcERxRHc$BF2K|sk.8wn ]nnM@6ׇ#=':r;$l$4:YvVfxe`9Z Р3G}aåQ+E3>uvlsFH S+cb7}͙ٺJ X[[ "h2pm)qJK|u-f8EOژAxְ<爹2{b +aFFȲjTۏqǓ58}vkm%GcЊ)씑 wuf6!3ef1Zm2HsdTe;$>~!q?k@͓]_{Ǩ7ǶĹ-|;X…׿qJhA^Tw$"%Z4vxJ.RSpN{)\ϭg%-ex_ZmO{AyH^}"r(*f`fAxc *߿(x9S]< LmIt22 CAX n:/CHѠlD]=/`DD3q?@i:%6\H ,hGAX>N9,,M0 J ?`#m%9PC%BRQ%'T4p.3ղ`Ko\X/6=r\;p Z&4J˥FzBj(TFM\P*lk-H/ KG=pNg `;IV3LN1F77[w8\vXkz-wܜe>mMx=@?SRvlR[6EXwE{dl!2lh\22 arMp6d?B#aY.2Qޒoia*iJ0e4@ 8_g@ ,4 >aKv+$^p"۩ F )eQQ3I>.Qz?c6a"؋MTRxCӹw?*n>}`8BCn3W:Ev$c_<8X4,j?Sv߷?+];*I$Ü]w @JUA>{GBCaЈǩudYX|(%#+| \gv!n 8 vc0,HQ%HioBnOҰ -dV-"~jD`RM+=,rȘRj:6,Ċ{j3NMH_;lUh׉@%G˺7i`A>BA#1X:;?uld"mD9~)xxqG]rk('1!L|IpEE"QkrK`)^N`!Si $mxӋ,O^؈?OH@R1ZSELZ\͉V2<ӷWA^p8RϏ)N>L0Z3>;:S?ҝm7ϙB{pv;RI1kXdjTCoր Ru073~žj,)6# M1 C"qǸ;WtUrc9UmN2ImѕWyќㄊR9jW _jҘ8=x--@ Yb189&Q~Lޮr%y K\E09vʪHYjB`yzF #~8l 8M\ł2=MۆY]IL{hz:!,W/J-B+RQ ZF/HD ǜX%Ɉ+c7jcyuVҶ ul7g7y\:7pjN4&FʉwSiU./q`9kl3'ӷ4O}![OsY?J9ŗ*1 \4_s>?keK^YTnNX pcdN&#5ZF=.F c#@i@$+@a+ =c/[DW/m }|^=| Xb&r*C)bPv$$3(I@]n7"|P#`{!R >{̏ Uo'Fy/8?Vb3^#;!5Qfd-#9e? {%vhŗVb?-fwKM@h 3qb \w-G'2mn?Y]eGL 'p9OTc!qyd201;xN X{I0LAp1+֨ J dzgDKk{?sd-%lo;e nGīu'mZE",u|6fiW9qw0_[;_smˋ#WUF"b;hyeQ:i渺dpKVGN`naIQ`ӼSV1Dm\Lh`2l.kh|zgt̍qIMap:&mc lo| cK9m :[iڛ̏pu+woA]KB}1s m"}rOZǎ*+$b(ZpvF=#B%L٢-{(glo7GbJn9<[UNW.N$ɜǦ je *DUaA/6}cc5NgJN`*$XjJ WSF!kXz?6]NEH̙Ӡ V5$Ģĭe| ;WBL^tg&-AgYZhofUK Kf6$]e&j*̎&lG *{ToIa̜{z5 YClmSafo&-u-:QtC(: n@<AS{u1%:?ȅj[9kT" tG9JH-o;渄;#( K绫 'V&j1aՌp^<,V&!~:̍(s b5i>Hk4ʛ`ԸnOp?X"/.WЈyBjV~) BԂ}~k-yԇDTĵ)l J05d"L(+,P6G>Ln kALFgo% p6GpT?+9UO% = Re ( I6^;L&`s~5 J}f|B*+aL9^ 9aCܰ]2妻K-?TP&7xY%Kq]5^=8 y0L=X`5ex·@ᒴ}'lȡnF ;B Ly9W)HVW%dJ z K%@pJP\ Y (Րۂ+T;M:u` /klB64_< +A$Q_X92LQZy~£FF q@3{ޥ'bM1 sN*?Tey@Md)q:Aϵ8Ɓ$N=¥.!VՑLӲОǭl,.mq"I<8~lOwv]fWoUc)ޟ-h7s19-Aد`B2znqgwٛ-FRGRdxӘs߫҃FuN\e S0l$*$ٲu͙&*Faa2գG;)<|MUK̓8$կ!?匷e f%D<~~&&UhMYYY^؇$VfunM3Ec9RU@EI ?Έ{O%% "F>NH9NS+qwJ?PD_:D{10 ].͒Ii |J>G7_{@̩5C:^857 M!˰M9UXzt$? ("8nh/|u"\UXB+^!qws Zq'Fo+ A'^df80so̾YC0<,bvkـwTglR.Q$*m :-T댕9;dNw(tM%&u8pI3( K &HA4TH0tx/_W&<6ޫ%e9KJGՀ}mK{Ljk**MM[?(l,zAg8j%Vʋ w+>:֮ah.\D.1XK1tp(p9eN U qL-+g~W_۪V¬aFhUg4pH\׼Xmy+Xf,Qet.=FWK |Qve~ C~1QrY\RQMf4cgYZ __'% lComplxComplx.SumArrdocument.tex7zXZִF! >-]A-MՋhvG"uIBm5Ȫk#0y!waeHy}{s)ϐ@8_jU ]]FZ cC¿8q&jce//OTcv]KbvTCp_F HnwĹnD pV ௧tH! w =t<͋g UK @R{Otdjl-/.lo&J tR@@aLb2s6tQm&g\Tf^&v'` VJg&| ;;@r@=$5@RBULh {R3>Eo23d6{y'=4 9ΠoаӁYZ 840WU#'q){.6UP6ZIY\C;~0 N',29%awwФ4c`#ԭK]Ţ@4RV-/Dv`)b\@HN'Van)ҝ%F-l5+W]VDn$|hS@GR;P^ݣ~Rgb'47F`^.2@_qwO'DGv.).u!Pۇ-W-Ώa 0kpyQLcG*HP>=Oa2GM'[G۾ ʴb}K4c.^-KUƽg7L6[fc) `|O~g%ehH2 cCAC1דF\mH[Ҍa.2Pp}_D;[TPq2u~b}2 Ն z]c}9`EKGh!(`aLX%#Bc4$n= :CE pa{̟g† QC#i ?(_Ѷ"33<յ BA >Sk[Moivq(F-ن`Mv2I6,b0AEE؃,^*t(ٜj*Ԙ1b4Z*߉"AV#.I#-U|\#*Û,T6!܈5Ip">-"{o ߿ӶŨ@kCƙP:?lPũ#P^T|zdñ͞I[,;^ D \ JCcs Sջz*nlߐvGoe \XpX#hgX߻G'nmI^"^T 4#e ϕN妋<_y KH=@C_T-Wd.ߋX~/ %|rCbCbEmd'֛/ nϧ*U2zi|nZs$A8 XjH c@YjUxԪo&¤Rx>ʢOrz^>OZ1df.NqEƛqUB^ȅ`r'fY>J>J`XjqN.hR) `k;17EwK|R̃QFjw$J]QX0uܮ}mpF9I\5B͘+&h|2vi".x5pTgݽ訙GmȡSvkHj#o!]DٹZmD}ԺT@G"W~J9ɖ K,?eyPҥ`s}LE1kmvygXD ު܇ ~ /CQ ;"Rz+xzj:h|U>4FkcMu / B~b&И:DԯGRv}⦰|=da~?мA?:VCkɪd^'9ȝƑp`@5y! NH$>j HЇ5%P@9syD/ul&whW_v.< l R(K_؅5ڼ+E 5BkmmT"X3&QEŰ -u[SI,)^VįSDM > vr| J(l\0 }-eyI`0xQ[sd?{j7glÄ ]|8hp3mg=OG@lcсߖ$yI[w]3iy3.|~UIP+9(\i"ԸԪ웛~#Q&kձNh@Ozb%plB0oIVpdFP`*&G~BO!bW~ބ'liX>a8?BB_ޢT%nm_ k`f𦂯jZc Ώ *Ë02t&: @Cj )' ]Nܲ2.)p\4"cX&d  _: T8A5#k٣S"}f\\fUYD7t6T9&;$=h5 ]*-gsn㠇D[ }ea(v8~Ф2'.(Cɓ$,C-wI d{#_5]CI&1bqUJ|ZZ%O?w A٪`R ) {dm-l$m Օ1Z%ldZ1jWn,wɡYIȶˁ3-wW)ըJ .Bw%8W"'$}rLS#A*0>M+`Yzh m!_WlnqX=$z1e~җq^+2?|pIev69AWOg/*k_\%}AU'i5vP73lnFf, pcP?Dܪ8 б$ ?WIy+*dlY6MM8;jRRW@z=b_?nZ.77)),:3 1Seߦ%޸yP lj=\P/a8b瑰oc/+2&6x%qBgaߋ0 j^dZlղ0$&PnD1&:iiOaa5}:`mN!}q`=`R}ĥ8&}]ޤ"R@9NX@h)@4Э0ּ"ʹ[D<'RO$#PEdMPlgb)Bzm2l'P+.?%-p-ԹDCxc$y'Tc `9NlǙQtpGۑc+a$7嗝UQ=#>}Bsʥ{ޭ50 p(d4T+/jÁܪΐQW=U֯#t T!L=ya RJ;NwF beHq$',Y]aVu|A-E f僠cKzRWfk tO u1>=hWA$#V\qʏ'-xth;+5MUħwqߟW" D^"V)L3'ݖԽb0يK 1ZWRYi*׷_c-YLUb.z> ލ5[BX}ۋP^BVm(CP̾JR%k=0I?FfZʹ/҄ IC*w&AKk`"ea .-z~ wQ;]v!rdBwJj%R-'$?p8S.Z4uVQxjIsCdAFxO"lu!\zܿ5yKOxBcE#Kf(0@I+Aa[r +^2(uF7*[d *7;&#"~ uMlq\97#BaV%c(y6%7 GM\dڀFЭHE֣KvumOψ*ąCc˗c5se0!S, Kq;Ҝ.U+bՉ?cY& `8)f^䏣REY$\.Wz'a,Q 5s^ Fč{zmj{ 6R9~>򬗔#:#,Щ_Yi|k(5Ua_57=(~;9Uf1GtyŻMbFoOIRvezƠUkLvo ? HISQMU"gsKYۘz5yP@ݻDGy,0y >֕ 6%Rvi,=>Yݜ@.%5b+=lY#=.*$JgCaTc=ֈgLV1t?C7ܬ"fKMO.!0E~ 7mQPTK<ukƐg &;a8NI3PqlDSM䯟H =햠HM9quͽ1gnቛv{[X># H+;(bۖKB[̀'5)hЈDZ∀Zzeջշo1s#~*7:e-7>`?߯6],9ij,'O2[qCVx,OҘ[$E!ut L7Is}Na<",e&` --JZ:QFѴ GB(]\T.i.AK(0f x ߎ슩r_ű3>7%=H/ӓOf WjWb(b-MFPqtul&@b?P9t(mXYl.f`E'G~ _6fXQbGY"UK|_wQ&4@f jyBB% Y) {tWy4 BݜhOP3^IVIO $ғSϓCg֝N'ƒ p,S˕9?A4l`RF ֎ "[uJ7."(Tˠm2mӽ<֞$CQw_!@*1&lmQFt2*uVcً_/Xd~ f^b+/AXƗ.3ذ`q(WF ͻ*R F飕ok=432NkT 8dL^O룀,G.TGW*j#^{C#_:{ ~.tKկ4T@wbv6HGQ9|Nm*$jBM rDT൤:PZDsPǝSFEo{Al8nIWJKPql qN(5yO8Խ]Q1UmaµOIwkUqEhb2?^FOo$n>gj [#TKnv6?spYV2NM.!#xjmG׿hM (ս@B7\ă>~HuR|*zT8޾B.1%}Co2n-DbIxsߚ۷iT+5˸F;1UלtʉO< .Rb~$Sҩ(nKלX-0*j OVrՓgM_poEfb?acmٔ n:R/A x]*XԭC12$[fqc٠n/D9H(2kփreHԝ#Qp6:C%7pm_D5}yE34'ɵRTz4hn6݄Xp! ъdOa*+=MX0=h/):Y+ir_К`7$_SH@S"s)<ʪEYu+S)̓=H.5_ew*ǔO!K/Tt(#rO.((pM;XG=jeZ*IeV41AO'$YD ,Xd.Z8jNZ5rM37KzA d7wBdo1 ­M}>N𹦨s*~1|%_[GoIM0c`%oHy%2S~HLghxo1Ҷ Y1 "xZZlT iv`#w`U?Y/9y|hs</]2o-F,w Ksc]~tތv$v 9tKLH "b]'wNr ZO؝Ǖ<]~UjO^wK2h[#z>}}!cڟG֩n}5C!C©x4,ZJȕ22|K(|63iP{4U} ⵫<9ƌGlni|Tp'{+;v1|1-WyU3TSV9_r M! {_VIv6OyTsA#*_Y29,mx0"7B" bn;TXm$7$am#_g_j;6nGQZoO[D 0=&:M8!ZARk_z> ws]Vr1mcNunkl`ʈ>{l$H>Ū# sRa4][*ˡ1B||LHVBUӀRՏa!Nê,TxkԗQYi uu9#VaIZxL̄AK[HtwIZHdFr:III/!q%2U< j1)^E[ffL#UpEĜK0"KYBjĮοh !Yy0Q& %>[{4T8C5R%F}p2F{j`?q2Mł,IUMPnqUQ+Ǧi~'b~fF?Bcrڡ ^1 6R3!@ʾ]SZ9h\\f}']t/_kj"5^+Vg8ݽ ^2:#pn#gP7ւ6 zI䆔Հ-McnGV Dan'$pH j"΀p1eGx)Ǥ Jd&*&Ь+ON\K$qmZ7Ѐbqq蒡}>T>^II01LRL퍥T9Y@!Ym}_L]}!=@SIT9X'32.}NnH\`irI^oƮ ol V_mn 8QYQM#Q( OGgS xdD,h SÙ Wd)LT =0s92 ݝu:1]覻{AmzմSypٖ l6sbɱ[;ŹR̚˔t(WV؍xB0Iщz4#a%*^] ]寫sNߤ*,O(\0rh62sRiJD N8a =SF+uTL<ږ`a|Қ0V+0 )O5"kwdh4ڮ>/c΂%B;Wz=1ɰ}&b룓LeWsC#5v4T8g]{C|,0#ϖ7v=}+Tq{x E:<|"~ݿG@Pس!׀ETr WlKuM-С7l ?ΈV޶5 ȵ^5:A|7 _M, ndY֊xT]ercaᄏEUrܳ?(Xi\ܯ/}X5x2=E+QY)'Oyၝ^jH=KY,sr؍&\rl?]fE>u3}y6AމzF5L|-@ΙX7_ 6%,卑ر}nL&1y6/ECۇmOyg~,f37_m')FJcS/'A~]Qow/^?2đĒ >$$qI%$y c?W{=>%_Upd @KjҡA\VCƭIRWcyVxQAWǃepyB~ x"_)N6v+u<CnR7+ ;Ƴ+r o,Gt%JzҐ u\Wmƴ6̓uM<߽|k̃ιr0F {OBq>ɝ/Z` @R@ zCf)u,MSLChN9Bq M޿{!ЌSKak7;>wgHIC؍|gȊkW=PmG\yRu^\ig-qTowGлvQ4@侁ON{S_NϊK@Ԑv.YiJ .XgXY7_BT*1ã,yt9▼~ Z66o%T&>1ۏD>Ϩh-J'gk-;&ē 04>uƩPn0.l?ˬ=RЌu^c斛/UT-_—A!y6= x֝oz^>I)Hxk<*hVSog 0u\lD:9qI)WAˮ;%'dؗO>0k_@rjJz:CT^,P ](BE0kjcѺy)ɳWjvU5M[Wm YG-.$wNDk]U@-nLz5slüsb( (_ATyWlZG ev}${0ٻҤu*{ `|0S%e!n1d7~Iz8-o~qvYaSڞ8xP!FGOB!Ȭ,"V|SKNnY *Zae^/t6(HAxa*y'IX6+R>S4ᔮ, 4f2r-edZ}5+i/r] xIQǞ˟bBvQE%r#85j~mZ=#KHC! 0>( ܶk|z"xs4rlDo| 6z7ZU9{L毺I^.ߘ#ɻR. 0NҬ~ Ihδ% GdNBDhI^1 ݠ`Ϧ s[;?h `wɏY ᦪdڍ%dN#{]&+@6SX!ièԠ9k;wF`r Oe)tȆG'uEuaTmTwߗtjQcXok;0‹d @d'edԸhR<=$vIChC:t@mJZ҂0ydZ_ׄE), :&y+MŚFӷ}_ԋ!T9ǀc>Ύm KASC%jWݣLߘ\`iEL'"qc_Κxy6 ID筍n(X^sj$)@evr˪ ų$[e 'wZ8aə,b+,tdD6MYd< ơb5;Q-i*.T P|PQի/+HbcJEvv?w'uO.VNJѬMXGp-(+d). Pr_(Epxsh ppCaP7fK5̮3>S'АRU#6뎁Ų#xx㝹F)VNLVp~T7|bVnn,.ίȫjϟ3{ "#chE]rɶSJM_y&|c{kcbQCʼnxi47ӡ^4|}; xmSob%Am+M bwVX_,^Ɲ^c.yE+hR~4)Y و eN |}-łA^Tt[{cxϣ)vR[IJc%~ÉrtPX2#Bf)B{TYeʗNtBƍö396Lg4ɮ]-r4SQЕPcYUV Y5*AjU}^͇E$p/~VtQMhvqe[J#tD9lhJ?5<4C50iKvet+# 6aK#Qx‹:HGF+y{}ŵk͠: _Py̏ sC)B!S^UqSi4|]\.@P4NV^H<'i~^g:|z1:3)[~0ޱկt4wl*>!z^M/Jn}}d$sK oA,N1iMj} 93nuT[XgB)%zO+멡 t(2Uz k(I>b5s,C{?릍_fJ%e DkrQ轴y-ᮺ[[?rÃ-uG$HJj5?mC双}+]n@nAhձBf\(fRag`'uD aHpVenc0[V|q{vgt51m3Ҡ 9 b wr`|٬ΐ60U zuJN"ĘLgd͈ P{Du 鱔2إb==|oY`. ZEStl<)T\neBC :kǻW$ wԓi%7}+!M;6!ʺ i€Hj.;[pf2ڴ|`~g1ۓ jr@;0v[$!d~Ng@# +yk'x?gK LR/CY#G-z6b{8ꦘ=9!Wi*y-$'&vޫ"jk7[{["/9 uJboϠvI3!f2j_4pO%$ӆf戬:v`fsKa ii_e"x0"-U "!2eŗ;[@/Ӂvq;@wv u8]eV(#IV)PIh_Km8~"fT [Q5E{<0ai'JYy)垥QEΘV!8Ub2(&XB+/9 XM9iIÑ;SHK7'$403N|W\eS )8s@}/"&9_V~^̹K2JlKg\)V^Zm'AF(w=j;(eg옵8B?)XK߿,SRqr5A:%?+zDY'pXL1^+:R4@!DjL6wopW d?{(l_瀭6,]W;tS|691t5geEȼ!B7~NNF>b198*7&,:>u!I_ϹZ= ,- Z&GABkUIFANtg[nQpsO]0ʓ"`A_F ?\&|i btںG@쳨"VL2>JE%CnE5Ze)gQ9eW(4WA-I K N>P7ѻ=S{XJw8ȊjIyMq .z(5/~ 9?d9٢DuO'G:Y87N\iGyTb<^z< }~&B-b5sFΚUref&ff?؀,МGuL)(ٮ 1v`9) dQ^VRdnN [} ,ٸe孕M=vB[c%ͦ%ޟuYKWRA8 ɨ0\FPes2R5^\G1T`ع3}0 б=!8{Xǽ1%ru;ǫG1\ ^NsY\ K!cx<˜Q? o㧙¥܏S&vp82%A,Dk@{ # w ^s[EXt p$5\qS`a} AK18+[rg_{x5hy&o DA~kc0=gYZ U3% \ComplxComplx.OG_Soundnessdocument.tex7zXZִF! J]A-MՋhvG"uIBm5n]w5zaLAG*)|͸T4*jb]Iv G}vBz,Y>}d'.?LM*eQ0@:Ux%B=oy~3SC;pgQ.V+o+]kWiN+o629rȠQ4Ƒ(dAV"\F̡(Rm ]= e RT@x獫۶"ZZC3L7pG"]&i.zJK_pu6xb,+MzUvtxS4b!z|MWOi_Sl,|54/b`*i؀jUِPU‡4Fѣ;Ee_s9U&͎Ng TtQZhܟ%SgU>遘'膝6x*N2wYRԆp7Q%ʭiׁ񽼓Z;#G͑b|-Zޚz瘶ϥVGd}]&ǁ3˃Je`jWuxѠXy@" >kXO$ $0ܖyFhrBd]O:~'%QvjY']*BVFML[,C_~9 {tr^e`v!?soYƒ w)€V9H`; c.LY (o0Ւx<=5G@ H)r:&o\0)BqCg.NjΊ w25Io,"D,k%iHV+ uayRT5r 'ks8z+!Ve(+w]8:vO[io $8ԄmCĻ"8/][]%ﭚ6PQmʚkeKVӭ\&Kw޶@$:7;7e`>8I+S]TEv2=c,?Z0@㽉"kT^Eݽ_bIwI^4U@9 N Uh*vd$jP=5Bƻwn H :+ϰco~~xb,Q$/6"8kMH t}ܩ#qjsd.ʩ)-~ުo+vztqY f[qaph k5#*sCM?:bȥIko$.ZE(;TΔhmA3ll/$+Y A)R$uǸEh/Udegl6tA yĵI#Jh42A|D`fB;jQTphZ]:k:mYy/aO&(NΥw4mIKz,jq|@C+XTYcoIq798s5WE?=`=<}vܝAM p5[5t;Oﮯ;)oD 2%ukh E fzIf#]v59CkH*0SDIz>>UER;u 9"+Τ_DHр8wu( 49fՀq%e6eg,)ۃ75SwSVO))hlCӈb-+< 2kz <h|HG8GT]l F ŝ& 41Щ6H>&0=LV2 mbjS1@ X i|<!c2huW 1OA}xU?dЍ*(p',zzBlsKVkeF>i4-{ %Ƶ`Aej;r{=I԰X{!,`PFUC7*vBZn'mS(61 ]sYLr"6C_WV?K0} ئ"? F^i`y8nh`aapG*iir"k)I pΠ7"{PY,<)Wf>*r*5>*z Xu,}eP{67RxW%f,]m{=@J@A"pm pW>Dg8Lik®p'E^qڨʠ۝\]%EBBJCu0$ȇWҕX.x,m/i;2ui̘JJ<{?EǼI{2"rSl8R,*Y[EEς,[T `E /@÷Y.a0|;hm{;A`?X:q&x4&UqyP&@<) k*2)#?0Z|GoHC70ЌbK0u\ENPjc:I$9#ZnL$73 tp#K bͺ|}\aŕie~Xjhz̢(_2OwC0V#(2ͱvf |~ wddsF“GWSOӀ, yL Sl'mT@9t#hXXgGPo^xzP3h$ tigt"tKIsE a׼Q\j\mgWZg X3+@aiw6NbjcIs82,WDj$~vÿT@?[X]{H;O2;/UL ΘS# \^.UgO('/ OTO܍c_?媺 }[g_.}MN7L;R(']Ro|Y-)>‘]ǿ|}+_Ί+T)nYo=J'aū180!m j=7!-{=Ë<&Qn3Ū%V-r_W:ՂNh&Og+3o(dA,$~']JݾI݆3sJh́8m ewj:=:OFQ-H fC_x(C`b:+%$ e 1E10k^%}-$v>۽g@$ ʛ[$PJddP[úzW2OJ؜^n蛛@P$KgFx3n. k;pe"9wE:#+n;R>ɳ8jF4|HxN9Sfli|L gz  A[,Zw#wbYppeלCպ5Phh6Jgd-)k6YI<w ,~D͒pI<x!N)n^ K-|yQE=L7u=X=$@~%7/ͼ̛fխ4@ ~ B*J݄5b2(yʗmN[o# 'g#^)l"BS ,̏K»lvv=$r   *]׵n9oeHgelTUEs3qibnj??Z=n N'XlvbFw0%-_"/d tYi!h+{ Jykk▥f_.rf6=GO__ͅsS2rBcE`r6UETVM6N8V$4MYIUyϞp|%ee0T2r渟}w) z|Zw"q#d8~i ,ca@ o}Z!;y`t䗂Gg+ȶxyv{#p7 lXx ؿդ!ijqIF_aW$7IA6Oze(|x@BYxdOA|k<ɰHʄz+-` mF .V$2RpQ5ۿ^,֬ɑыek&)yR!/)-[tKs3K!?z=/.dm5 ІLbZ[6x3q6X֤o:L}#b2.+;\;}B[ le4&ZOjDRSG[VbJ^aF)GprX&bIbEMj90xU3i\=aGRSAX<|}Wq%aB2L]vD}fM_WFBA0wd˴dܮY7>}ȷ>N9r!Ey`R- D9ТF(7۬0`URɾKL둊d8/JH59M͈ظ?fIRiå ;Pq6:Ǚ3jAVT =:6A\<g{WH8"mF/ ]ye҆6xlC7ƺ2 dE93 }yĺYmӇ{s9O^y@@V .u!d\hAwxRO*-FsVͫ`ސ2 3Pv uX*|Q{Av 8;vޯV0wRKc'5{ñ7aĦ\nv5Ƙj"reIN{yquաsvFsAe t xU`(IIxti n eh#'˕bO7)ExH(6ST JK-FzgYZ  +% TComplxComplx.OG_Hoaredocument.tex7zXZִF! ]A-MՋhvG"uIBm5n]w5zaLAG*) ǔd0 Ճo$9z0RI!}I$bPIޅ|Ce~ᾧBҦtPSB[p6+jk$%ϻ̶^-odx6b_ r"A  -jenعk?;BB͙:,NXzʍ_ˋMi|hUc؛/,|±}@%34VN[nvbX$m['Rj}Rc't&[KzYM {I?ވ)r[-%3tT9AT-s/E*L7;SXo"Ԛ*;"oe'& RĒ!)!-% |ComplxComplx.SmallStepdocument.tex7zXZִF! >{]A-MՋhvG"uIBm5ȦI%|x'FwinNPXW$Ep~V_^涀! ] 2?e@}ܾt$ǶJTС۟g(mtnr̓5ayM$ӟatٸA`30vkpKDBp3:&ܚs`VrA4ES:3 r4\0Z}7#17^-Y ډ~q,oȷ0XOl 3\8~!1Lc (OjE. [^ӏ"?! `qXΑLEHդSUnKP%<04KvXqU5(%\w)9mЁcH+Iψ+u./!z*TTH?Z!ꞽ.*6{ ͐}=Bz(&ݹ4qh89梇Rk8UQ.F7M}ޖA3rX>ڡr8h?0C+Ţ84?S>8c7 t^u%6P)b!@ b &p} 3hҪ˔m[*.ij H~jRΠpA?s'j0c͏UtbeoI e?¶3A0 ?FlN\4.D*-a\$څzl$VW>yuɋ*Q| F)eu 26CRLT6M}>"CPk\ GJXm<:A{ۺb}]10_v췒[Eօ_sVW3@0^_/AxtE3Cd?{JyV1EĉYƴ]}eMu$`N6]U 'O;H[:< nK0SZ,ZީIM/Ԙ?e2sH[B o"C_;)`,l'FŪE#ZaM-&hjFy9u:fj[A4d1:d2LpAonRndPy_Ez>2Vj$XV)%i& (Ͷt ot(d3fTyHLB.C S [s+/-L5#QLEMdw~C,m=TL\8LqM8>Gocڪ)KA\bC$TLgP(- *GǨ3,ӷs+w}MU}r^s^]B`ӎB(G7hAt{6Dq> fטI@ASt{x*z )h☡i"CZ4n! aTޮ \TqPpf#K*͏)v[5o]g,Y/`$B-t\NQv0' s6y9ñEGwyA>ūTDMi:=xqXH,:Gń27Wn߶kҞa :?@Q3Y_0A]GfL6dQ96C׺7úAkA YqМ]U'*-ʰ5uMxo[hRs9&Q4@ƻB:ܶpK},/[U6 @az Ioed!o3Jዜ"wݞS$:EeW*0F^^jZO~H/94\Uc, KO|%sϡ2y0GKQEcEk XcG'%+;}3o 3pX(ȰA{9p/h |źڿ[XܭO)tsWɦG՚"GY.uskcqPV1ADtFJov(Ody@yR T&S3DZ.GxA$1-zTctu9Ϙ컚u\J89f݄֙u*m/-s gt6! pD8\<+6 cPX,r^[6bAݞ;\%bL+*pS 4.-j뵏R7UˤFh{r4&Ό HLXGG;U ;ia旡(ZЪ^&"ͻ "$^4HC,KD]UW;p[?yj%J'+Fޯ5HX.K;v!HƥۡĢLP{,g V Y}5N{&  miuHv` QuH VR3ypIv9hhIɈi I$ǮIFWLxYN=wE]'_yVʎ,2l-"ANDGJ0$; <\\>r|Y} [@JX95Ǚ uV܌Ȭ4cȜj?29A\(1MXi}'k`<;3(^YĔม6wVf3;IW Ը zpV '&!(r{̰:%@biӬ,Ƭkv.zlUixy4o.|XH]LqP=c9q\p^ $P8djXnΣvC9n% -*-`h=PJa+!uJE{)痁+-R`(v)HD`m*ݻK3 ¥K-be—DGA S|RP½?]LZDfʞY(KN+DQڂCn` m\[w(G~LV?+y"^;Ti4[:R.p3Ys<%nڛN:G(1! }r4_ZY|M a a,=WlQF RsY|; Q_;)|fH4'ˌ8Q܌JjG?ۖMIE񜨄$-]\'kz$PK lkk ܈%" CsEG onecӨ{[C֦1kAd;{Du)tJ_PaA0zt=!>QQ7R,kqSAf2 }N7nPX3k1d|BHc(t| Z'I1%=%菜Xbka ZRv+~6k%mME ̉OimRJJ*A |5jN&l Ͼ2R]p=BzzmQκ45V;" Z%{g'ʼniosL=؎R-ӅRIq5HI--tHFĴ?yt;KS63[tZAM;a] FMPgX9PlHnNm mIK@`myxaEq}Ɋ h OygxvZJߝFoլ=י_&Y*jFa]A_w8YC؎g'w| {\ m`) E{C?\cGN]shrtu@I&13rmsDjœi9ddE͵m +fx󎶪Ihccbp@֭h& ^M?.aBIwQUNmp[.& h-0IHUP LJzߘD5 "[}͜0 f-B?wLS#p؇0Vz3pv훙O^>|*<~sU9/(?gݳ? .)̋K x0`&%*o`l `WeْSG9yƋkŀhؼL<<',zX*^BN_SibhSt^?)V rVrk2Qoc|61E_joc\v}ȊR6$j;Gd@Zvd֌RIf0|F{BGNjo!6;gYZ  +% |ComplxComplx.Examplesdocument.tex7zXZִF! ]A-MՋhvG"uIBm5v'y(cŚ5FT5oLMR6j®o7 Mb(>BQjvOmy#Y9)L|oڋKЇBȋ>% N(5,[%%~H^H[d{>kOa Dl0l ~!,NJ U$z^6:E|uN`w<+L t`zYr_JB^2w - # 4@nC,WS2r\Picɪx3 h\98ݐ Ec`()cxB6*-N`̸=ʥӛI#h($7ZB N׼e1{fѠԟk#2X7% TComplxComplx.OG_Annotationsdocument.tex7zXZִF!  ]A-MՋhvG"uIBm5n]w5zaLAG*)Cv/eD[jn/z٬}!SִsrR[6O9%$TT.bhz#gBeG2%|JNj i 'L?*MtHB_d[1VT: y\hs Z7힯S شic Th9 uqR~o܌ 6, V {|L{4HH{s#މ"_P%tߠHW}-Դ9ۖmf><&eDح;~#B]]7(5yH|8`qP&k\j<͵e!D}m6`q$N&0yhTUKWَhR(U?iUxxu.G_Z?_#tvcy31ޛ])ieU և>c"_L Cu$XfǬ$*Ή7dJI(D,9Ca2%p"Kև~ޥE3qAԱ4EJ!!3:5@~a{zB4_&Pңȁu mѭ  4( !$ mI`E+% >nv-;Ԣ~:5y'ͪۼ@::Q;nw=ky*>s6͍Y`|\P[3Ӣ䗜̮k -x?g.x܁O56D`cK H:~e"[1U[CW+̯^Z(%n󷀕 Yp|[W :ہ, ̙/ D@%mc0*QD [V9f)v"&1)!A֡FGgdɘ@[d@׵!kuٳ˿sQcXl6W(+7>HH픽S [’;n 0DTC_%̢ᓗhP/h.O%s_<a#Wwt'le#X.s N Rn{M[A ZQI$ѯ7l!ɶ4f%KɘB%CtCg0YvG*[^/ߤ_=M'KുZ3A͞E6mb}s}“[siƔ~[h$!Д@]P3IPoRn t<+XS{)NW*/>2/Xh煅L#XQWxD2#klB_+@].$4;xR8b' 8#t+3ۂBtj9h"u&kn]zNl4k~쯗9-.qK墉(0mi7ҿl'nEQH[7Em["4J8%LTYŬW\IH{{mS#,ˌQùb}]ŢJ̈́*# 3B@ CH Y0άFY|W*{^þ tv-ݸPK\^Qs+Rŕ#aVLO'V\nR 艟R0AZ (|L9൳6]7rD·E*z^L-`Ȩ h\$󷐙2k33WUn\ -o|[t>„wyT/g=0kT8<(} EUw.tr몊 e`ؐyM|]dh-#B 7ب6]S*RPcVQ }1]( Xg? n\ɓzKv!xsvɄٸ7n=z'jm J$īA/cN~&b)g&5i |CeD3f@V- gK-r曥EG pYc`%,1Fׅ:qut ]mCP\u(=ɽ%lj3{ڳNc?'^Jx8U/"Ey;E yxB+ ,<3nAH'20|G_̣,*IꌮѾ%2lWgYZIsOVfUUalLl9.Zh/nLfbpr0B|$-h8I۝yreD͡il"FS\߿L~] aĖZWj/,Qk(ꬅJI4-bh؎}GMOCĞkpO^Mo M[CwYxrR9TQ Ʌ0$< xc;&ަx"ACtx7L) lne]/;E0<Ԯ I?/2Hť!m m$`F#FE{9IѪ~Y}BH0k S-HT){dO͞HJ70%1H 4=o%ϻ)XX\җ0p FR"K^ Z/hCCNv6Hm5! VR/ KGuWGjR|7D^z:6RݣUpl*IEL @wn7NM4?lQ۪PV[4&^lWn)%Bݴ_S³Zm.>@Pb)c>}Qu2$ݾ\+'MB sjj:Y~2J3?rzL{e5H{10(9P1V4lj$`$$^ QWs\֕ ;z>jknvO5f%Z{_ǽӓ$̯Z@I-:l,_/FA4XNw״#iziEiZCMj3d%uoչsLfxy0t4$*L%o~H59L43nUkj ޸< |e\# KdpŸ ؤ),K 0J؝,=gw՟_V 6p*[wQR2WP4m{>vFY5>=hXeLH2Q~nmףu!{^al4j[16.;- #Nr}W1TXM|8 0%d4 L3(ZuP r~\y-0GKu.*Lq(2i28ʹd*.kzlgXD䂩W; 1]v9S%SNskk+6"03D!/o;"k>lx-V?$BcqaU7C޼4rNPIyOA$\W:(ZL@iƠz N\Q$qȀ܁W0 Y)eAdNkAk!6{*nD09ӘV<]x Бic%p?|z ?Ga'{{b=$#.E'?+dwNGk6 ʺ] \*ejk\ q# ܁E$;!-\WAd~nm8,P֬Z%qͱFH:`<~᝽ ȅXYQK0trZ/UoO}MI،:!i&3U^Z*"( j#9x//Ó^|ì{Y*Ss+B(W]lX8g>|Lju+դMX8Q^SŶlWsK|x >-a[m?1k΅9c.Ѱ6(m:^);_%Ќ 1!CK܁(] |yS{įu EeŠDrZߌZ&~sZ+(DSt_1IxtvDI =1kWxa߂*2%QNp@r̵y#H^bO9 ;<4 NPIZ/h Io0fVSzI#lU@6S|Ab$=bW6gCmxjtGJN6$`b{뢶 >XZH*g>ƃ'EzF6ieJ 6{AP5sigFߜUfV =c7~Xԇ/i>C]V95g򉺊k;@i8u0Mc`$`gُ [ h[wkORc 6Ӵ~! z+RE%ރC71_ÞbNoN.iU="6X0- |Yp$]{tSA& UJB(ۥmFLp'Eͅ*%t -V"}#'J!L I|8bli龫*Ks~RH{w hPD) e6A"q܈7gb6$-i 2dy `&@f!uf9Ll\/P!\0·FkF[E'+!~4"%qhMj2t<,6ؘ?nQJ{%yrgYZ  +% |ComplxComplx.Languagedocument.tex7zXZִF! m' ]A-MՋhvG"uIBm5^mN:EܹrioC\7ayυ T{&HE;/_},62r{U]쉣aSoS;z)!HejtJ8s5UdC  iz.yH%+!)@7r)榐BD`^@AN~pOv-=^1Eq * ׮vTw5Dgzǹ؅> @Y9÷> aS0󟧓@Sy- )L0ZS1I xzD<^5yH$r.:Pdcj8N^-2/:-Poĥ܊nW⛯(#,Rzf`naxNП| (I_tj1ȏ'DW3D5\/b+X!^)kiKjz3@\˜t GզbMͯ0Oc&\/ZT{X5buR߀-Nsٕ rPwAm:1aOa6-{޴4nfR"\D0d_345ⷒGe%eB vv!xK(цYfY­MRC [o+aKs]vմd2uoY N>bǒ E *kXRn!!%,q@Αm#@zh< 15OT޿NXk CWm?[=WU fׁ>IDZ; f.E`IQ9q|@/[[| di`?zwF{m`O=8:- FbX^-,BG1- )NcV_gX4 ! prtcCdL?)__T}5@ä0ouȞq*{TN5=Ȟ_#OBJfi.pxxgD)ڛ/#\A9gtk°,l4VzBI'B~Ie' ΞUB Y.rnO?M S<l-`悞S2樔* F8Aʙ cި̺'O9ߏ* L)J=a?V<+ ԍ܏>e1,I RqI\D{Y'u{ Od6U> h 4Ѵ;+O0ƭ2=oQSu왖JDu̎c^ o+vҰ4wQ]Sޯ4"2g=G3p)suTZ@ 3K0fUI~pHmbL/?vVzvJj3(`W6)^Ҡh;GbG/\xyWx0$U~3ָPߵ;uAOKAFƒu8ezC`\;o Os*uhALaY^īt HqLIӄ뫄qLBƥ]]m: 9ZWINZ:n6:U^ I@f4e}ձf :CtӾ i1 Bڞ18#7+@%(u.B> o~x)zyn.5Rd !C Q[m]wlP->eԦ**y8kqf&^ף monb <IkIeU%W\&Vx*3ѹ>QjؽJr&=uJZQV R;Wܟ/ǐ7P4㱶TntDk5t3幦_O?1+9%@Cdg(q6e&@*[%9}' ?EP&ʧ;Dn c u)].Ǩ';U,'9rpXl#?KC"eޣ8"Mt~p"">sFrx~4꺵fU(T##|A>@3Zw^)ZTCB{Sd~×j7~~}Z)}vc+CȩB& W:|e!4]Rh뚌ZS G͞}\9$N-߿K&U14X~ H\^4CR O_eˉ4SgxZn4~/E;lA`T@i4tp^i ð6GI×Fyk37$-ĺqZvM`=[SJSb;}0MJ^=-eEW8L"b:\/L1(0n-ZF{p3[ 4L6XNsג1vCu0 ~Z 4|ޮs+=%~7/YrA2Z6ӲBT l4tTFRi9Zk#VT(TXRNc5QD飿jƉ.n=S#L;lf.ODk3EFMU hO٨Kj(}i.dVC\r[#AHdřI-cw=uze0p9o,6 M[F˹:T6 P|`qz3]+9oF n <Ə3aWL}EܩiePwHd,qF\P0^x`v8ܣ+جu= "; ^!"/ҩ,bT 1h@5fnTuZCj:a$ m}Sg-N7ADrn6uK4R6f?揧!]Ev WUfIZC.m&W~ zvrs:悠t>*Wwh@.R62FZ_B]~$o<nCSÏ}byhjƵ ã%by-HQk6$!Q_vi'6_G =\`#HZ<1Y8f Mۅ8{4>'th[/6X*krfPu{i>Z]Р߿AJR3 fKQ$-"o(!+SIvSvXRL4`eTJ#*-H'eD%CY|po"ago;DdKg/+ת7+l1[%O}ӰIlHMx[{@0N9^{=-#B v$ӗ̝ښ^,?’"jȠu*QKoJ,1{7LH"EZ}[8 "!Xֱ}a6FgaP6bt"-UiVzF&2F3d ^Pi J\Yhsͫ$Qg.c}sb׻X-LIŰ1aiAYvWWe`61ˑ$ (?+p7- %J˄pJ<Յ+-"A1`M껦ң&l%G/h; Kѓ[ h`h̝/7Tq٬$4sBʫ eNZޛqcBYB95;ZKo%yd>R&*UuL߼gD+8¥IZEaFFmu„< (*e@ pX wk~OhtPw!)L($"K 2;*`E.:W脁oe^`?cS0|&z4i#'?`Z d,|M 'Yz]R,ѐ 2Kuv񟧔 0#W,a/M38_(9|$b"beH88n>uyI\l#޸d 7UdӀXZJ)sVDߘ{5}O1"0Ҥx-+4S=W#gnvոO*%:n 6iûժJE/ax‚5̈%n$wpU!w^DhV q\ " p#֘D"/OڛDLXCLemܒEvёWlqíeq'ock)s Ҧgxt¹LxV??~$ڇozJa)/PW:7ɮ@\r.*]Sk; X!TQ2u+c%#_gSFx5}q^%bhe0uP$v?A>/Wo~QM=B\HĄ1\CfY@iV(`I z&2^S-cFشHQ)E]\.kүR7X8k @:q[mO$P(LBD<7fHf>"52/Y#{ oرKP 9kT 蹾Зbǰ*guf]slWdj}zJBD k9D+vr,D_)@ ҩbvW3b…;Ws0=245pNE#tj~zFS[50)„udRʗ$꧱ '${qRqz%$!VgV#祕Dj¾VZ21hE";ǤBZp Ӈ՜=ٹ<=fv岂S$d/" %>᷷1\NCLMPAKſثB61"hx sf/`~&IB8|;. Lpe\ewIhVG~gpxGCKat`F4&[+c^Zo7q7yϠRvdi]B~fYwG)쥘=Eg^esUYb!Q YuȚm*Y0яi#|0݃sZ^XjE"mֵ|kUtUUF=.^)𬰑z~ Cn %L7:2p[ާy!s?/zW>Z,|r|obWN0,AJlv=AqM0?$Nljĭf /T!dEU=_ IRۚ?R`%eh%;䐾60{Ε ;&#Ltcge}n3Ӱmm [,"?W?#wژ p_򿆱 gߐ:&IDEnjXf% nU6=sf {FioʳJ31- ;Ӵ6WM P3Rt Uե|%76ij AqNpfGh1;T8.nh~ q|UWXitTU1"Pzܝ,5vSnVJtuxWx@269zH4EYaw̤8FDdp8jcLpe"Z-[jBqCW/ ]>߭l[)Uj%E_ύg}?GK2\wM,bZey3U_#-Żl>ah[w'%/g\-|Wj X|._|4JB,nO& yOf*|dG~!]P!Pߛ42(R $IR̎Qh5GmUh\0a+d_4F cnp|u) ,~Y~)d!m/ys(9*Qn'мa[ha &b?"^m Pޟgz|{3"/&{ᚏҲbI4c.54D"!@J@a2GޓV=5`;By<+m#6vk!ȚһDvop _KFdH8TЅRr{aTc"G1pz`=XXtغ!>=Z=TjPu[Ԓ:" r&ᆶ贘E"܅'5>:Oj^oJ+WAc[[^Hmq<zG}XZq5+-3@ ps",@F'e[%P8[9o*uYaf9HLB:% c \jP[80~e:DOC᳎|(?,!"|GrkljfGC?%V<9ܑ@uDk6 (lyYMK7n̥ع?Cz9OJDڄID%,rXrs~(I]b5G{'qoq~ o ؠ􏷃R ڮ*e 1h}LEmNgXH]pibLc AԠ ,5X&U<λ[~wEۻyFF~?UĿ`ch튩cD9-!42 -g:.ز3hv $!霹S]!A#V`tFa@dVE'֧%lS~ʥ]꩛@&o:sEby4(kPX$:*bΙN;X_ԕr*^ /nS!o#cYsTy튭8%]<9  \HC*(o6AkpxFb4\{C/[ |yKJ[ɏX 2zguUDG;m(6-QP3t4ݜil-g g1͆].( !LU |.u >,lST;[|un>HrIT^9qۄĻZ!t[OoxM2eQZ-X}~ V֍̤ýx`dSxn/мFUk߳%@|eb߁J".b|MO :=0g( zѢ`-Uo3c$ !ja 'l7! M%c8k;KӔߢX<{[6m|b]~iR״WS _Q v(;anC:1x7huuFԡu-rw1+a8&re0C鈣7GB5 7b ^o@5m$Z!H]za}ikml(A3FzH4vd4M A(qYŜ1FN+גtBH2X6c'e"R#093Xw4VRo(zw,"@Cyt47^C(!%Kh+㼨x in\N!9t%Xgɛ842?3(][e4bYiV,\;#ܨ3 bJ%PvcPb/VW7.+YF˞x;C*`.$yFjWBӀgus`7W)<bBq Ç:v&QY D@W`!Dn[!G8T.":|!εGYܪV8 9 Ǜ#k)+4K ?h!6CHu+>J35V s΂܌>k'̙DF~Dثę?"|2% u0a |466pm9&c=D,%AB k{i>ݍ$OS.n;C Rc5q۷㻽YT&T,Zay Bg.;Ihw M,QlL>PHy=M<#h"]6 É'Ǭ_q pЗbSdw/tx%>? Ű+hu [%5)Yda~tY/\HyeLrdS i>QKEFƉc; gH^3>ɧ@z;je_^ˈ&9\ 㡿&q?e g,(NQN2-m?-K }be+7@uFJՆb]- IBۃ)JDE^, bϬ7BDyt8Zk*#;MA6O,` sVI'ֲK:hI]/X%7JcrztR8?!!8.b'fTzRC|ӻj/hMt\|{NDPswF΄>܊HKi DB.§|##(?ZEhmEgN$jzJ0@%$U,k%(T 2}),NVۏE'0]"KZ Q#oYI0K-#QGcQZ?՚2!V 2Susr&b?:.:Uy-x>D&%3_mO%3mk8y=+,5 ސq߅7P ʶ#mgv:WE$&[V%~e:f75^ѕS(:6]w>P}2v@j4`oýz1/n3cQ15/gC7(呧"zE@ 1Ԣɋ E;ETʖ"kc-+h&*+I,?Ƴi\kt3Tjf5rwL_EN&8,2dvlߐrnb"AK_TyL dT@*揁ZayLf\c`XR/㤮A7|}Q|3c jY>SvZ5Bm u~?6@))bLL,AxS+ }F"V؂-gD4oo@6pA~>(QLG7EvOT.zؚFjgkČ/ C8sk)W#ymOY6,6^eCv[{5 rZsxd2l;صكH=AdAf^ K "Uʳ 9֒-M}F(s] ՏXK&JGd?:YH9cgم?譛i"£g)٘j6i>0>Bb} gooz{qRUg&MGVY}pz\RK5yˇT(WZat B0}~!BB@VIbZ>2=3HMEӲ?WL1l[ SO%+2uWx+1cTʌ_% jG.%;Z9T|C=Y {_K, fW&(i߯ <չ 2^ i4KAoQ#H͕q.?[H3gq!ƛ>j>,?e$uuE|x,'a7&Tz@TA+Qkj'afs†*: DJcbl%..5/;="B%-Щ#6ZFbA<bvh@'#Thx˛NV))t33$RQ12CKzh =cSmM> B<X 2V5iT9x/WX{Fg4Կpq}r̬@C.ozilnͳ*m2Il؝Od~x 3s)u8*uA<{iU vw7-kܣ~PTx-B?{;\`4>݉ ^i`i(vϝ- UyK'ucLV/Uzi6r+IELJ6`:%>_V_iϱ\X#sW/֒(Szބ?L;PwvBpp(É eYhtX%6ځ-.122WúS'텉oUCMӤL͖%6 *~8$eД|jyٛm.lY ZSpz/UXV񲏸 =:? [,\. u|-4Ui!mz`왎i|dG^mۙ))v8m% D踑N1z{PM%F|u*t3r: hQ[4BgMӯ6i8<PŨeTti!%h^HD6̬=^E3,mP䃔 =IN6$u?0LpޖѲ1tpK{ظqXϤMEUgݽz{[HJW\⽓'/'dsl<)oPSFq㋓rbkM:Rw|\׵3/Ժ!b$7B0Ch<;jυ ?ZN*[܈Bn}8^h`oe=L>]/sOp[F$ V AK62\x7DS;y|TY A!N_HzX ZڎΕV{7\GcgV8)ٖFWlS2 zkqw@G0P9ƶf+ڹ-HDbӯ|ٟѩֹ^MzC* 5p,@uXUJ"R~4jv&hl!yn<adPt{6U7}vP:V=g]ķwfSڲ<hf0R3r'T (4<)g4} (Hᝓ( [ݔa~w*ލ8cpV|;<5{y3Jf.P />szϲܹhaԚ3C. Es>{+Fn:'KP2hGم1a|`?[f4޾ V\iJ#o_mV*x&`c-)>Xwr:S;8NwBjjz5.j{V_RM+̙ȻF 0<[k |B!L?Jy9Uczl}m8`S0'+H#gYZefc0f929758cbdee4f5046007a224c5a29a1831b6b223331e017a1273774b77ffd0c2fd583138aba 59a3a880bb4874f61b767c399786d7d8a5dca439 031c9ca9e9c552c0be10b4fae4a475595340c4d7 df8f5f2c6c8a5f5022685732f5412d77eac1ab53