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 !!\) $<| ] Landau_Symbols:threads=2elapsed=9.380cpu=18.212gc=1.068factor=1.947zXZִF! ]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;Z%M"E֦gkz.& WװwAk!wYOx Ж̷r,4vt8Uݚs{oQA9couV#, `D ͷ=FD5Au~ qdǭ+d 2 !S[kBD+ ྻ'&wP6x&jd_'FjN3GR8ީv?}/4c4Xފ[RF''tbMzoC ̙uRs[%gYZ7zXZִF! G]ŗXiɟc'od9m1ֈN{y Υ gYt\;Zvsԛx+ ~(^zR҃o*.9uh_7irgw ÖȗһUbc82]JgYZ7zXZִF! >]ŗXi%; {g<q.j}PDjTR.ۘW}BrUT69?gF'ȢМy11֐ui({ Μ/͑EmGΰ1紝*=ع#6[aR,^\7Te`CWܞ=7APf4>,r ֖Fx:taB*4AqrxGL+/Zc]ѻ6zG-O,\ ^=q軘ڿlBRg,}BSۋImE-gV4%`՝ir jhyU ̟f>lMѩN@;;t\('ctSijoL[= y˻_p-w\?7Neؼ*l_|w?m|⧗0Gd? oA:zE|Z;hpG~o8t5':ZB$ X Sj&!JlA:z~Xwujn+gW6f(YQxXZJ.8x0 >XɯCT@~.efŸf&t)-|Nk·3sL U$Ü=iztۨlB/JvNdc{ҢUK3z"AæGG\8Jߩܠ$Ʋyg"Zn RNwu7SX4zdqLdtuhJ,RI")E!"ʹi᠉%P2"q_J2_"Gvy7p[Q-ЪXQ`Nn10g{IRDeE@g-$#cbcz6T!Z֟9D}ͱgYZ4e6c31c7d260af7988a8d466ce60f08082407c870a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176 ) Landau_Symbolsj)?% lLandau_SymbolsLandau_Symbols.Group_Sortdocument.tex7zXZִF! 7]A-MՋhvG"uIBm59>(};SA|'|D&$f5dnFAlhGU5*TH?Hf~8Qb6#szSF(XBR3v5YNH%ᅱʫLg6X>KrKͣ` t0ĵ'jeo:ZqG O IxhQ0B>ЯwNMS\/mBtAIʳO.eG!uZ\}/Z3~`@V[G˻}PЭưl]Z݅Uoe/K#Cƻ7'VZ+SZ[mvAyݕK& ;c?N?@6cPG}i(K$pP4nsqH=4{X.c#naˡ}I[9I* ʠ=DzlhdZY?$O~6L8 !$-B]"7֔LHx4o,C]G C##R+EM/&Ʋ(^bԵFh4JauX(R jҬ̼\&tVueUN CSf`t+@ }]0G\Ֆ0mf1f$ ZS(QK' +KVx ?:xU-Q%IsbgKKd ni"vu ,|rJ^>y[x4@Z; Z'F5peA>sR]Y ֭FEC8Rܥ#YWˮ)xSh4GUiO!f+N+Қ/kr8Ci#  _hK)Օy! 1ٝ!Q=v7XNݹ+T zo-)֏!g 3GC-ˋWKɎ*xw3#$j[V7Wlۣa|n[bt8d:2^c3IͼOxkn}`LL=G_n!Lnui.ȧIf}Ni^ҏcX ִC ^j|LOQT;I DTmg)#VΟ܆sp:{ (/=-'D ~+8c]Qmaz5%C|8Ug^(DQ ; t}*RhAwG<{̜a5%%zO]hgtw3I-175᲎ArqFVcwzN_i mE.^ˢr)n!~۱ܤT4r`xCrW8F)FX7ǍЭۻ<] 0ݑSǟzklٖ~8IfC5R' dq6 n=k6iT^{k-eL Xń9O::B<5WU 姢d Х?@7\o/ڿdbըnp3Ќp>BkbŘ̏myAGJ pjr/`QVnB55coya*P.XIݧJ" !A`ƆX88aq׈G=_)A% TLandau_SymbolsLandau_Symbols.Landau_Moredocument.tex7zXZִF! Dg]A-MՋhvG"uIBm5SMo.NwoXH71. M>a'h6ӣAAnՅ sNCv..:$ր? 7_Q `6cM($0C+λ}]p;.ҁuT  ϻz.ٕlԫ"Es4gؖڵk7r鬣*Zq/ލ>s>ʤNEI3!#8O2&xs6ǓUԐé)k~UX`(|o88l tzrYca]O] _66eyL4d5f#,Q_Cc :Ybڏ3?:V̏}_[3l.eZ,@+Ov/1<ßϞEu\yryJ^lT1Q C篁ނ$$'E\|1vIj8@&XvY3z$0K`o&Gmcčұ3ŲQ77]e)34jD#UO _WG8)Ȏ ~h`S ) i}^Rz&T;L?K(6t㓝avr ^ (-r uHϳ^-P<`:3B}Gފ/}43ÔבBzU*jFQ]`U$Xhl&]"s?Xs|My:Jd0)cs:-;VdәvuuYl0w7 (,VCtx^YSjJ)dB]T}rʏ,9(x Jߕ%R>ξ&aU%pﲘ̍Z\+?Ҹ ATk(Z@*}{\Ihtyn%ڲdx _Z͇P [tE^_v]<6n; <"VFx*qDA1Bf*     MC)S%Landau_SymbolsLandau_Symbols.Landau_Real_Productsdocument.tex>)I%Landau_SymbolsLandau_Symbols.Landau_Simprocsdocument.tex9)?%Landau_SymbolsLandau_Symbols.Group_Sortdocument.tex9)A% Landau_SymbolsLandau_Symbols.Landau_Moredocument.tex>ElpV3&QG>; 'Ҟ hI^eMH͆Cz Z"=׶\Ŏu)uVkM}pS L3wh:Ą ][K$7jG1./SY2NłmRDȔ$7β"9JP,r-1,1뤧̺ej9 hxAmةnoXa0W{@ߘ '})VשcU^վ29Lڬ tqtb2ˁE pG0'_ATCXZ1Kʌ$噅6/~ѐT0҆qȨ6֘D^P ch{ i:G3V/*|`| .-Pl^&h:?WVjx҈;i ;mL!boTپYۡf^r/|nGg[AS L5"{0rY; bM_ }~Sf(DZbWSFTH:gu>1K/`6) D2_Jhr3a,D>D[ӷ{Tù{YWO-Rn%Eѽh%۶X\酋2z3ڛuKG2P%tdN& k-īܪhBPAIu]5Md?Q*mTTaRڬEs \- 8HP={Mz${.O9"ccnx?ö;OOY DR`m" N2H˹ȃᆑz-~ r+4ݢ4U+H0d mkTb|t(H ݸ<`9Մ'?"|Wn,}hZC{:e#;l~ΊΪ4ypS4gƽqf 6n^k=KI5;GT Zi ]+nRq"E:@\o6gu:)c#m*@zA6r!m:&4D󜵮Nd"ܳbY!VٹKΘRz d!Ia? ēW]eh M1Ŗl~I~-i L^\B-Q$AZc6mD4C8ԜtBЯ㶋 dXw~+ݍ i-\AuD~~-W2'x#6)0Pt.9@ߑ%+Om%^L'|["tBRnO+Acp%ṲB jzC?]ieW\OAOD:VLDxsF;"ﳪ@+B۱eFw@A7O _Y۴X-v4EޖUyL8x/wzY;}VDOdmsUš=^\  n>roc i=xe9SS3e_AK8ٞFZ2N[.8}бWm`ÃIY'`{6|,<<d'=omrY,S?{4A vC.roaN|W|*^,0pQl+P93|-ŋh6!΃ؑi$5ur1&X  z/H3@cs7Đ_:mA[S8Mc* q\%.[^}7f9]*ְ)VsQ&h6l;TY8} ;S(YZ1ߧ!1T>#HŐp~IN?!.hv${ l5;:€- b`D-%ׄ%7j/%,jjTi@OQ9y  ɟUbHtBjdzZ:=^2[N;%{Cqx4n A,хl-s4vW$ ς 'Uxٹ89N1zDS~}$]K ۤۉ"l}V#GEjD8ib|ǡׂ\W;x@i}znLfdكC@ߌɵ"? @z;ϔTPm-n^K2{7a\gr 1;b:gUy 0< "J 6ipQ{nx Ď12NFxU׀7DQ\"Ej_HH9OzZOHs ؝K"t hb~eLT!#Z b }8mQ#ȀL; 8ջC^'8gUqXffTr "+3c^,~[h+W[SqFX‘l>D%vrVrhec?z =m;t -ۛɊo:43YM ʛk*#{ C\3Omol>/ތ#uc(?+}" dTV4+{mT31A\ƶ"N+9^c 悡A;+P:/UeT\i8 G+AˢيYjAF/~4Rǯ©J۟`[g-UQbCͰcB@V%Dgt. d5uzin:y0%vCȟN*WꆙG& XÐԺV|n#U As`|lwF @*=9ǡ߷DJ?':*Wa{FkcTFyDUY8~%CXM!I6Ȍi2L umvԴ:=]C]>.Ed;`~>!`mKQ5b6Y$& 7/_J{ ?5b?!37 %m D  l|_$I>. >^?!)k6gYZC5ݑS.WVᡠu9 x1"t0sYNʋ]汹C{qXoxВ-"n^w=H#M?a: ڭ IO+xQ$q!-xq_ oSKmuRwX0G#[`C9@j4ee;e@1F_mަV%ˋ\o5ҩ8.kW>(~צrc4JBYXTww)6-&Z]6 ,txc'RIxkROzJ7br}'@X.qp㫞,XڮBK~5t%RM%Q 1o:'qL?'ik/免t]5Z6ж5ĥd=@/`+.UNRD~ykۥ<8Bm|µKe/䒤MW6>Eid{ ԎQ(tk. mg:^E;]-w/0C] | 5Dov r%vh"J?PT  @8) }EyƹqB{Ì8<ʀ!p/<怺EXs7zdiEJX@( =囲R؋/MK0/^^wd 1Ȕ-4A6r'⿬Y rzq2FABeoٚjеx<*Xɧ̛q{1 ʊD0"^.>C[zM^2cM2g KsnYLZ#% |NYgLA89&Grot"6Q̋yk9<}F7փW u"vQv)볓Ck8IY}ce+cmj@" d>M(Q\}#|&?4!U>Eⶉ3Y.v]`=2f%hFZy"ZtʇS8#;+r\5՜S>9Q!_>qU|Q?xϹ8RbYcڂDJz> h @ ۻ| 8Tp^M[e?CU]x@^9+57 /EW1~W\Ȩ7@ U˟E:RO33j7|,8"Z7)2ik%*rj.fcښjx$x3}DE*7 mGO <عsN3{-gXoOb_8ڛ?J\?.%QN( .mNDŽl6v}q]B?DwުQjGfʌ,zJds)F)/CLG.rx8#?o-gvl0F<$ôWRPZ Ir[E-EhU@Gƌ}yYa/?[](مxb][k얟a15"2:fP̠$QOv~߾kwHU'YJb>V=5DE'vOY\5,=N׿(8 .A= ,Xs{vYر2+<..&KLJ/,g7fe#!SPfS\*}VdH6ғ78~A2Y{ cBg/3F{te豋$n#+DhJI~xTFҮO4,8_nTsdLq fmӮ9:}v x W#QB~_ Y3aO0\1U1Pӻ-1F*LFP~A59a)__m;oo, 6!r @-^M5Eэ10s;ВzV` vOkqaAY-י0UҠnʫʆJV!P*2\x$+rJ?(u fA褟o|DAA!pE0<2A|gYZ UЩ2; HZ zh pxDY:Yim.Z?ab*}r ik,[jMQ*5/НHaSBMW/vgjFB9 ^K S#,`: VWepw&wƅ,ԱW84PDߞCFO&}JyaOÝt Qnw9 (='ޯZ2N}l ʌ<ԛFREO)hrBI]YЖ^ ן=uOh hjqdP<D!~LPDڝJ-0bd4(BJLfD_9q;ςi3f\Ȓc''ɴ﨩e磥1^"hG`rY$slz{[Wl;DWskqֽk}7pgm)[{ L8p q?B\"ϯ JY`D ^! %0i;^j(t߭.B>$Ʀ'GBĄ(LޚSĒhr'2u>Včǥ4ե6 @xP;צsVc*U6ȰR <( qP)--N`8ly_^fޏ (m[WgydV:rPaV-kaƙ8ʼn;;.@o&0jc2XByjfZ&My[qٚ@ߐ̞N: :垫 1'Hp>9} ܹȓ5VL<2 KS5=P|Ԙl:|9ݽGECuy5?梪gn 9M[*|;q@CCSyž<չ"JXT؝Ӓ@q145?~ѳ?Y+_ ,$S=@C:O,/y4F:؟ "Hrҏ1"Ms %bjJ cE3bLֳ(Żt`ֲwn%kts”>d{T%c|9{J8Z9rDu~u"Uq?b& m6rywm!"gUI],Vfq!7Ҍ<Rz$" RSBe[_V9~1j'۬*FKRaD[4jђVK22*͆qU.PXh2I @fT4MH-2+@gnq CÊM>Els%H^q=m1^xg9DFQ'~M!x[^]-\JH-,LU/xway\]N%.s15̥CJPW sah@m<_!%/QxHW8+>͜{^7+2R`=\ ˂ vVGՈ6ˁ^;0)fRƨ$-/u$E.]baf7 52&<2BH0Z8qiJ$H?Q x:tE7g>$CpJa H׻,i4y} 0Wr'OiI1ERg䨚<}6K'%?- H.ƎyJ=lC ᔾ5=D3*Sq;W4=?aHWE#fj&4tiloMXWGtyNnOE=FFS>TOo ;,=tƧ:_0p'VྊfgxG Qa~MW7SQ3 fxa3 (_sE~- AHM~q@1e.tí]o7*/Gj{Т L#FLj\v+u`]K|t!vGqLO-{q9Fqb=a,`e.un,Fs5c00_71t 7p!Yrм&vgGГ2iqf>|m0f <{ Qm_]'pWTS]$,WN#QL,}o0Á++V-(2. m2>`l sV}@BIFg8L!w]"y Idx'.$!Ϸαv3`l;SiW~(Q,"s-7b v8|9F᠀#Z~i(-|6 ?Imj.iGSUfCЙHqk:Q*Roxi͵TspK$kFQH:m`]O*O r'RF.ͷ "+WN5w+wRpM5v^MK9Kڸq;/2IkV.0TN:n #FUG2 P~AQ3>pzSnQy6mTANZWb?m(}v9W>Pc,%hgK ~o1Nh<;eAB ʙZ Յ$N<6vBUeZrOnҎ򬑻ol8CAmW. 7u= rԼ!q#4-f5+,KO_Y/Ԟ!ZD4E xvC?/P!Pz1 X[^п0s[Y,M)f϶jD\jcuEjQgA B-}ȭxzTOzAҊ zS'Eɤͦ2leO+NyNg* /ө$@fᯧ')O)@sb_ʞ4!?v.;]!aѺ"Yrm17Oȿ }$V:)cݠ#<1I¾ ~ram\c*=51u Q؈eQعXa^-xz|U[Q [^mIPf >!? r47\!XJmPu~Y>~;Q.]o;(Xs{7XzW@!^8j-k=B!p͍DM@ItDOEQ@LC|x7ծZI04ђ D $e"ӱgYZ ! !j)?% lLandau_SymbolsLandau_Symbols.Group_Sortdocument.tex7zXZִF! 7]A-MՋhvG"uIBm59>(};SA|'|D&$f5dnFAlhGU5*TH?Hf~8Qb6#szSF(XBR3v5YNH%ᅱʫLg6X>KrKͣ` t0ĵ'jeo:ZqG O IxhQ0B>ЯwNMS\/mBtAIʳO.eG!uZ\}/Z3~`@V[G˻}PЭưl]Z݅Uoe/K#Cƻ7'VZ+SZ[mvAyݕK& ;c?N?@6cPG}i(K$pP4nsqH=4{X.c#naˡ}I[9I* ʠ=DzlhdZY?$O~6L8 !$-B]"7֔LHx4o,C]G C##R+EM/&Ʋ(^bԵFh4JauX(R jҬ̼\&tVueUN CSf`t+@ }]0G\Ֆ0mf1f$ ZS(QK' +KVx ?:xU-Q%IsbgKKd ni"vu ,|rJ^>y[x4@Z; Z'F5peA>sR]Y ֭FEC8Rܥ#YWˮ)xSh4GUiO!f+N+Қ/kr8Ci#  _hK)Օy! 1ٝ!Q=v7XNݹ+T zo-)֏!g 3GC-ˋWKɎ*xw3#$j[V7Wlۣa|n[bt8d:2^c3IͼOxkn}`LL=G_n!Lnui.ȧIf}Ni^ҏcX ִC ^j|LOQT;I DTmg)#VΟ܆sp:{ (/=-'D ~+8c]Qmaz5%C|8Ug^(DQ ; t}*RhAwG<{̜a5%%zO]hgtw3I-175᲎ArqFVcwzN_i mE.^ˢr)n!~۱ܤT4r`xCrW8F)FX7ǍЭۻ<] 0ݑSǟzklٖ~8IfC5R' dq6 n=k6iT^{k-eL Xń9O::B<5WU 姢d Х?@7\o/ڿdbըnp3Ќp>BkbŘ̏myAGJ pjr/`QVnB55coya*P.XIݧJ" !A`ƆX88aq׈G=_)A% TLandau_SymbolsLandau_Symbols.Landau_Moredocument.tex7zXZִF! Dg]A-MՋhvG"uIBm5SMo.NwoXH71. M>a'h6ӣAAnՅ sNCv..:$ր? 7_Q `6cM($0C+λ}]p;.ҁuT  ϻz.ٕlԫ"Es4gؖڵk7r鬣*Zq/ލ>s>ʤNEI3!#8O2&xs6ǓUԐé)k~UX`(|o88l tzrYca]O] _66eyL4d5f#,Q_Cc :Ybڏ3?:V̏}_[3l.eZ,@+Ov/1<ßϞEu\yryJ^lT1Q C篁ނ$$'E\|1vIj8@&XvY3z$0K`o&Gmcčұ3ŲQ77]e)34jD#UO _WG8)Ȏ ~h`S ) i}^Rz&T;L?K(6t㓝avr ^ (-r uHϳ^-P<`:3B}Gފ/}43ÔבBzU*jFQ]`U$Xhl&]"s?Xs|My:Jd0)cs:-;VdәvuuYl0w7 (,VCtx^YSjJ)dB]T}rʏ,9(x Jߕ%R>ξ&aU%pﲘ̍Z\+?Ҹ ATk(Z@*}{\Ihtyn%ڲdx _Z͇P [tE^_v]<6n; <"VFx*qDA1Bf*+y  ^ ^)I% eӑxs@%S8 nE:mH^9^jиD CܼW0xP[zu+Պ7 7K3 D9> t*7?ct8^^l_/Kʋ+`&pEY,G z2yœZԝ~Y]ӶWVLp Dgk9/{x۫oT!vڂ}}H 3l2w[;.,W"<?w@s _Y-|J==!̢Mlؒ9?߁@K1$~1 U񟘓Jlv[S@AOG= ~1U uAHzr=AYR|:$J<9Z Z\Dg{`1#@SkLv"Р1 l(-{mVL#VGC4yÀI`Y "o+X!3@4K|!cg9)GAUin<9 -"7[T;{)tT!$%kH;Óc,M@iW䴑L֦ZWf@4g=iD@VE'q\ _~ Ν%+:3~NвD_ՄfWćxjغ3w)ZahxVGf3q|{DT*  (՛* o8ZIZbM8"3Rx+Bh]H)Kj<ğTuw9|4̑0s7pY}"Oi71s""ފ͒Dav@XV(#TwN81L0J%-`br>Z ZW~=;y7M^՜*Qړ[= fï 0n,u=BJC!XKi*NָmjZ= BDjG@0k~&)k@4QXRW/, IE#Fm\ /*ev~nFƿ'#}R{Br:lIk56ڼ,m'yjFPnIݝpK R }I xjDpB`]Å^#h@Q,jbs}w?/nȫ)I.#?~RC\4,ٍ^n|tJR:Iv$Z9Yg4e{fkKqv?`\;cx*V</ݮ}+%"' ;] IZ%+ʿɹ_ő)Ù?@@R,nD";tѠ>{Xb0# 5[Zۮpvӊ%_|wz6F3w{Z W̯^¿mDMu0è˓Z7љo-qDeЇD-~oJ34 P!Qpe+@}HECFOQcFA("o9$$~čygDa(*/)k_kY WTˢ( +3?zDOʃ|8XZ`-+bLhPi=6#cX{\ - =Lsl8-s&b@|YJ0|xffKcP-Syc׎uTDB޴wH[-F4˨6>HMy81Hiu_bҐ F,V ]X?d%{WNxKr:'o!(F>@ZD. ~T', {4not Q\20k8q&I{cV͵g"x].c>"B)) r°; dV~C}| GAz ^l4[BTyX?2]ŃC(j/3~6 /W賖cK 6չlzkNߞ]"b ?ȶ|Wo;@N<{`&lϓYRWL7i ,:";ʫ-_A#({{ݼ`/!EuFkĪjF]Ǫh5~,j|ƁQS.QɵU-ZPO\=ʁ\nܛt`kj83}AX$B`'* (uh8a 𺠈!U @Ј Ď*c7Up{K:g(u_G,4Z{WnV S'i5>'^]A¡q+_L(;s\,TKz 9@.q8]6A8 s iC.( 2:V%&{e8]>/Oo'I0nD!+*{S ٭T(cRe^9F5k$RIɒ=v?3ۤ0.n4~auDiKt=9xm3EVgՔ:%zV3v'Ð;J"jȾmB'_v6k!0M!- SV`MIU7 Zw j]u:$LX.5b_(H!d0Ӄ^0넝:l_fJj(9%[/З# 8 <><ƣE~PP~&*yZkQz?#fjX`COEVcQL2ا}2 b$Y8O4Qe^M&myu]Mԗn}eI`Vժw.l5V >D_ ep 7捠2zlۘTx$|% Ze G X7dGHnӲ4i[C%r5ɒ]0Y3#6߯r2l e?B䶹CZvyTs8ybxKB~09KҶ+01ROpj "bd>1 `>GL7͞NN^~z_Sef#1A&)aZSeo 0F.l!+J7mS3 )w!x4Cw֥{xq}A8@&<\ Dt?M*.=|,M)T}K}ԑMJ.@,"  &&*(XiUjEB㰖"lFHl5o jv%jRNBj\Ik4Â(zBթ+A՛ѦSZi:vOIؾv TF f@ TgNmIVe8RկPe40 ?y\=/u}9ZALd+LŪ 1Ǣ+=kԺ].Hd79S# gaL*٭]?%O7dV֊ BÅOoϐ3^Zjg<G U0 Wn;9A屠P )Xi?/BXDi~^\ʌN⧲hb3S=9G327!sUh֍8s}yVB]f h6yN50,:%3ofJ=fݡ3X#5B[7smz+ۊZa2k>8~QnzԴ"8. +Ie$`E*\}ܼjl=1p5r88U7fJf3#S$j%):=p& cWg1[n+R|]d$ L"t9BWb4-F8;U})}p(۬jq[({"}Ggc.V}Lܰ9{4#=sLJb7>a%4}he"|~wߓT9 sLbq +G|*c!nE=Y ۮ i.4涎ۅJ[XepeCSRT#h-a/ j/$c/t Zڧ].+t؁z?-#iqXw|q7 -%+O7 c=q{b!Vul`7g+8<粼a<2[ܢEeЪԟaPe|A LT~VUUVGlV#b#ͽӻN9^s( L(?6І9 Gs0ᮿU RF+~ef{ ]׳>WkaHƇ&F{Ot dA'U 8:-=#\6+]* Ep*;鲰w6D) ,s}vh̬LX-'b^I=@/قa9IA.B*gd}hhq^S,NK&hf@yvq&2Sp DF~b} {[a%)h2 c.`j28ϥh#˩v?afnWDl:(wWzĹW\-;S?<DhIf"6|~oxbZ R⽬j>ˠRc8t&A)*%3@G7ͩ}aJMv?,,⣎DThR7'߷ STM3ںEUSI9vA,ڂq='9x[(n#RQM"hI,!;f${$;ViEb-yg>wD$=*Oie|}eĺ:0ũKKG vVzbdHu_Q8I$f. NύPh7  v.$ierJc?`nTg SpѣĖD݂⏼,}-T܅LcqjP` K[oǢZ^kjpी"G.eo-E/1stpyD?\ъlm%WN9QKQ 57ZlbL\=xÿwKs.^6)2|vNz(E'rcpǦfenuv D7q𻴐*  Jo` @&_qD)P"R_x\!YikU1mUZɵv'y%;Y6-R"kbQxq/c^FrMj@"#@UdO_\kqIJp3cɖ-\gJ"6 .kT%4 Mۯy@.rOx#-+: ˟|jRw2*?00@Me~W9 &F7h5[cH?Jj"vSsTI<ōcSXo5cmԫ\9ܧ=ݤ'eZZhAxļܩ*W k./Vz˃Z$Ft*) vDQ MBadȚDR8}/n P>|s ];Ot w0Xb4m.=_wPxJ:i.CG4zCN !1AHhUU,c xzv \=t, J&~QfS{dZn~ _"10.=!StiFIѬWSZr(\L1 Sb ؿG덃x.Ml*g~@GyDWCAEh<>7!_<5uF1 ;bZUi $!'Q$0B"6w|h ە3HQ%R@̃KF{I-4]JETz<;0f1ٶ(޹8/:L~!}CӜ.KXS!"9Lttwh1luL/yu@+Z#wSJ vf;A~k(m>aG)4ÜcRd 6~]Vgp)LGT`R/zlgg,r܃}AJ ˶A;x|ZTr;h$%R6Q3R(‚ FOA* 28ިw\,n53X@+3/~_c#X,v+\0>΁=g+l?#F B ,mTi/; "Vl86Nގ ;Li!n-# fZ!~qͅbYlSzCB\A=-r)}y1Vǽ[{PiWh`ҩAk)J ^E(ٰ} dঢ\ xS I:pVwf!Am]ivIQ4[8Z[UmC>W(q\b-f&mC\Bt -+t]'_8mʮ67!`o>ͭgLh/<&/OZjI!P &C{75ao2 HtzXɟ۸sҐ[k4:ju;\pfaYd3w*'}]/ ԁa5e&?9AA؇3=H&D-l]~3v2Q y"0qPpIķ. 9~wzijxWx+nFmծ@}T5@ˠw  |ixk%Q,o!/}ܻܽOD՚@8|Ɛ~hc1@JtauMKJ85`O#sޱBX=޻+fs1F {.?{I&:" MI{I](+t-()vww:੘R@A:!~̕p@FFtPm<>Y,Sk=5>7NjA/_͆Q"XG>KceK;~ָ7n,I0 l ɫ$)Cw,cPf ݜs=4H8r_a.SPZ#LY9IT%ފx`[tt@"q֠7)Pjve_Hؽ- I~J)\ƻ侬4/4@Hv&GnjB]D.Tu~}5caG5I{,Ⱥ *nZq~FtϿYVlbu%"}{ރdX atuf $Hg/&AGM!Ӊh;:vƐԐ_m&mem>M5%IkA{VEmSn ]nhP[7rA{كs&ZT:DZSʌ9ˈ+Δb v<s)3|i/*NwRXRjVّLJ+Qpd1D e& թW|n<T;LZ3ӥ%T.F<;?ztΘZImẾ9b -.ihu"'F6K9TfYD@Sx_Zڬ(4 O}ZɊYLǂeIt o6R)J_ -xC/ym@dbQo*C)<&s=FaZ't卶O1[1:?k.Y K[XVAy$э mDKjxR;VDV-@D *J]l/NBwV7>nD\6,!I.0QSL`q+2=t|}tpWb,Vnt %tOiS%Q3c?k?[Ȉ~X?UUx0r iH@ *%y.i\@mG-JRfhBh*'泽dmg1 /1IC1PP%="x)v02]. %|8OE,=OzhoWsvbƘ i>~Ρ_t PD^̣ǢXK6~ e_i-d>0 #zv:HId^I d&P4M9#;;Af>%F0W5>šG"SyG+Ԍ*Oի.ZZ`<&|aQOA6[Z%`GY?1)$˵. K'ڠGvl<M^I;j?؅&4τ\h=]`O uсF‡.jwjG4k+;Z -=la0gΝ&kAbm"D= ztpk=j 9 vCoj|-xݔJ 9OvCel\}@YQ`Xq`Yp uV"S(p'l${H~(!K dJ WSzLoEwH?x-U͈<e7$Êr.ӟe[lFT@jjhTΌ{KÁE% 2My^& fڲe:1GnϺO$Ӵ3 HxOCiˮgD!2V^fbQ sxp 1XP ?>"5'ZE}۹S=6EsI~*2 S>"Ճ2b@})x)Z/2!7cBTi|n'P>B%]Qc ό6[(& 0pp)iۅ>dU<Τ^St]w/wD|szYTHwGxۜ+eM{MGspz`+ofH@;u4%~H@e4މ:\'*^saꃄX֟VàI$B cy~|:I^Bj\~FC0tg@ê纻O pfϷ ɔcg1GHB jt$R9̫UywCwn6_>bݮP7kցr>_VcDuhjhF׆c Z-N`FIhd~VVm&. 9 & A`s,ܴc)CWgNS2K4NI<@"KW?h#v䛖m`*:By:ªA"ʡϞ;fǃCw^P.t{<ܲEx+#p dݣP,eQy4Oߒwpa=_NfV|R!=B)J7sYMwʣzim-cmK+"n]sه?!ULY*f>3זe*)nf2d=AkǕܛ2Z?GQXB4q2NCe -g1bR'XOܘ O {Frb%3PS%{s[pq/Д/ZsnLc̕.&v|<*Sg1RK@9lt lY^n:b*.em,U=r\Z~ԦN952(v?߂TO$RuerLe}˹}Pyma_ȗn\ݯ(%S>ۣW,-uNmUMYsQSaW.Jb|~ut䅟Թ`ؼ3Q},674}[i3b9$Y:ôu04v3C RGh81]n.a"ֈGr΂k'%"\peu\f4Z3rUm=v|[ZwJ/:.٥UI\ni F"/>'fڇkjg/# ^+YI0dt?[0쿋leDxHڙ^hxq)ȟuj-q~G[w?μ,G%鋚c S3 Ic ˚ kNt BwJxr8Hp|(AiP,Oww1f"Se|ӥi$7$K1vtJ-^C|km-vuzAw}CnCf( 2՟ƱTt|t*?xu |0NC;`b3E* z0Uȿj rpCj`z{h\NU1Nup>-%S -N%" g;{bNfA^#RQzf{}xs޶ @V=`*KFm*m9mn%=cShvIB>Ckz_/ȏ))\@)T" muUI|7ٛ: vtVu^<K]j<'S]S^~/15a Q8c2|ϙ?Uz-ޚu j \+'pq|6zЊ8UщrTpm&~9Konkx~clv P$S1gD{7Ű m<*s[1evLFMp & p ct,J:2zEG*Y  4R3X#4@$)%23Rc`@a+N%S8*'ݻZJEHhڕReCrٝfw@kҙCWCOp%Bj܋@H#͙lтCcx_^9wjP&ڥ@n0 sǤPF|l(cm*/im@@8PHԳҧI¨`]A tఝ]jl3s-ԀpGh[?yK (\k) (?sLRKdjqP| !O`A3Po v#ApOg*:A#Rlߓ$#GU^AgE0÷`]6k%(HI ~ǽ,vދEZ,8ּ'5ҝh@\fdM&ΧZ~Nj0 r3kbJAL3..jnߵ d!%'Q3tpHs̬l+ʕG@b/!:-C%^^L3ށkX==0⑅!o5)}Fvw+,gz7Jj\dH|#6xaMpOq BF>;bI,6WnMʉnI`/v`i*b1%aY7i4pD(+]Q?љz0iPa&4U_ DwKrWbwl}|&~U{E0 Kχo"{gg6M~ܽ7t9@v.zGMnڧ2z @{F_9|[j{tVl9TZn?pCflڹuuK;i^9j &{G6'+3Odq?T/( rūJU3`:9{Yk/PkMfй8ibeVIOn +ݗLExS_ZXN9,ĸݑ+L2 J;bV^okȜYyC[$|m|Od|Q8[z^BF47RTF"z12IS Rrngjw}s6f lM>nkaCVf"^lŻ M ENv@>>mբp/'WKrء%}o&wI+lr8IÏ,'2AI F`^0AKy i/ H !5޼ȩQ }xL _[$,zbj }}ץZbaJ}ar%o/`ACZr!~{O u&S ,Q9 ,%UӼ*k>kscP:M[}x:˓'[̊H_8긃d JwA{Z=PTaZW)ݨweBB_ T]8muyb`B'{V`tJ^ֿl_[`->UvՓlEsD-xD?-/p:-'*rŵ.Ѷ6#J.xY]fF Ѭ9@& 2njOvMTYצl-ϳLٰ.yݡ:(yшΈ`)t WƟ3Mb4߭H<7y8DE- *W,Gʌ8EũU:vXFr:ktЛrƮshK)<>\>#$&=Cf]zDK#{@|_0#ôk1FXYr!@Dig+JV,ƣG;M=8[v.7# 2v>_k<Z8НtGQ8Ôx4o{M(rUE\F=p$D|2Ap?#n{|Jƹw|F$`k[R²8RC. [DC$$̟BȸS+MaX?#W/:%./\}NjHSj3mqK4J :j=JX)ƙVу!6MEK#6*%<߱$*2oHXM6%JT+qϋx[XU i.V;0sFfh=X  6f۹'|*[`E{]>em\&iV#dݶt=Nn [ XYw7 2wkfZ]0X{Yr!dR?j}qsݝ">lzO4uhldSC%1/.(bJJDAnHM~JK󦹀MK `e5zu֛8&XPޔ$Z5AJ(O:ْ'*<ؐ. Yc$\ #ͿA*8 3!Cq[TNt"+fNeׄ&:6-搰{U*!r\ml( 혉:.`_{KTvVPFLfbirIXUB<~dT9`1~I=GOXgYZ CC!)S% DLandau_SymbolsLandau_Symbols.Landau_Real_Productsdocument.tex7zXZִF! ._]A-MՋhvG"uIBm5SMo.NwoXH71%^ԅ@`Y,zu>VFE!v#zB utp5cVyҔo.@Lg6Iu dV?q{b$c3oނ̝cvܹFٶHT ;rrxA!ioVM<3Ws`_MWO'*Ԑ$LP#ՍfsJ92Gpz M@ɿp@?u%O}"!hԭc:POB`tz!8vHvW>%D~|jp?T%](W9]M``v)"0͕z³j`|;=(Db,>*#^0D ;( 'SҔ{*i+g 6A]?tssG֣X'9R9ԑ/ t=\˽sL8;q^jCcE[ \KA6n=@2S8v?iqZ1X ɝ T@7xfR蹑B!F'i3xanf!IR2"r%5T|2ZD} 98(tNy%v~:yiRzN:LӼAyiaWs|Ȭo9Oݢf]h-|͵p될liE_NrƝ PZμ>8~4 95]Zv>+y0еO<5{} C}с؋T>ԃgE.)bػV~w'yzU~V2aGou>N), !JB"Cv,PE`xL7l0:FfJ,"K !jko}9лCvԚQU!de@Jl7M;u!v ZFH6sFIƆD2WJ NW탍zĈؑ]VMЉisP%#h;HIsfSG*zdw-Mpt TOh,[jfɯ+ SXA^վBA]M>K\ۏLKHGCoűC ٣q,%^Gb}#>ڵLƜ}(coꗫZM'z$Ƣ\w?㳶̔j;k`+W;' e缝[Q +td;?B ҽ)7Ji: "<ί=M©H4THciéDEXYG\= 5F"D'R4NK*b%7FUtIZj]{ȡL6Riv CH|5Y"!<}l7A(jQvx*x߄#>'8O2Z$pJX_~q I&RخRSVsht ԶJ0jm7>P>\1G*oIjg7[G ‰绑 3cyr؛ B(l#X)6`w,YxUUm']+lc`oS2$7sqDiӲtκ D2InK['Ԏ`mG?$Zʐ4^9<2ԳXu'TQ߳ ڕ;0,$L=eT`{iAԙyO1>,+ ',[[ E̢HŗpaQ2|Ej4w ΪR_h"Uv8vQlZch')v4:oMSHu&_FY~5KV lս)٤%7]ts>ID{Ym1QvoOyRZ'%v,}SfY\'xq~3@ḣ>u%x1,f1c}Pr6P~MJKl$eF.qc^"2NGӨT_ޮ/٪ U*R<\טu%xf+#Mj QAzg>&toa8/ 'b!n2Nh|Fu[v1f5JaHca/fJgn !n:dXbi.b)KLT#̶;=_hF^t&dvDt-)ђJ@#&ɐ˓+--t_ ݟϪ Ut }ܓ:[³xB"ocLZg}EPcˮf^5+ICb20؟CWBJŏ.[\(Jv 2cl44Ueˠˀ_DbZ.Ǵkm &!/Ѻْ֋SA}P J:M,H,;G>׶ #r0z%aĩps@BYD8l=E5YVCI$4hVhi  AIS].˪!wDv g}`'XV@{v)4q$ K|1m&j #yNDEСP _wrp[0Ğ3d~pی-%T*Qd~e