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 ')r 4L ] Landau_Symbols:threads=4elapsed=8.127cpu=21.144gc=0.6607zXZִF! ]ŗXiɟOҎb _"09,WT␽h5 3ebٮ/nyɃ;}øHY}i&gN'TPh"Ⱥ?#H}g".$aĖߗh 6ЀTΥ;XDڜi׻oyjS>hF)=o?9]yH Xz)Ew"-kew-3N0HQѰ,ZLQ#z}bj?xCM@k0=%ko->$DJΕ>cd C:X㣘B]uF#)nB7)^n2] 4hmi jޏ#McIcAgYZ7zXZִF! H]ŗXiɟc'od9m1ֈN{y Υ }4,1"s;4i: (dDżD!R T@9p&H@9u(l ;K01)*}pp>4X}K3RW>gYZ7zXZִF! E]ŗXi%D4⡍UܙzGx{] gO 84|ꬥaD۠]W x}N嗝%?=x_9ל4+e){~577sN0ͯEmwr?K9y'TBnjZ% N_#z95^!^4;ú^~=u+vw_Ew]@mXksP۠"P[ǩaXp ZGif&8X_dˍ ߟ[{W~ÜE:P'}7;0:1\3M ?eg^snz(ɪB 6sv)ŚwKTg݀櫒S-_ 4c\'5듓YNqO:bm/&"C@ljFnJlYۏZ,l?4I; `ֻob>$&+fAk w/&{`L)YD^ݦ fb yWgrEBSh%T/>r~A+񱻒돜*Gm@v:NXE Oj[#"xwAFxFZ1O v-~l}Rǭ{-,*=Ԙ?>dM݊_D;tIC( lX Yi^xg3/614;>./8z_(KfLJHq xuP-\AHq|a HJ־E`(ّQv%^y^`".?6hwCy)= gn_׫>XZ}3I^Q4iLpSIޜO093sa|E$3 M\04)/U*!r~yl[!}ms8i45dH2K ב>NlqPMpJw"S#^2ibL +у=|myv 05hbi u mzA;Jq}S&p[n}R .λ401lv2g=Ӡ@(</G '9tY{HoM1\u#%1rBG4ޑ<,ȉ.WXT\bӚCUds/b였{;3 MIpk^9k*#b; maM&GUZ"1+MaФOm"E _dl  mgYZ073915bb3657b17ec8e96c1a4b85d7449786bcd5c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 1cfcafd7304d5a5e1a18a6227905b0aeb379bad3 ) Landau_Symbols\)A% LLandau_SymbolsLandau_Symbols.Landau_Moredocument.tex7zXZִF! D`]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*+|)I% Landau_SymbolsLandau_Symbols.Landau_Simprocsdocument.tex7zXZִF! 1]A-MՋhvG"uIBm5SMo.NwoXH71&IW7 oU8u N'Ѻt]ʾ? lv[ ?!6V2PG.fO9*OF|Bʰq0UY:e.1"ɲm<|ZkتwZ#Wi_];|T[Mtlc1'xO߃xVT&IÎD%'lLJcpVU;۠Yi2CcڤU{b3e M.e&)3{L&UT CLBf@3GOY4iӗ 3,C ~w7aS\WuS}^NH:sf+g0& U,I$ΞB.3exߙ)p Ȓܦ93F+M ZJfXC    M C)S%Landau_SymbolsLandau_Symbols.Landau_Real_Productsdocument.tex9)?%Landau_SymbolsLandau_Symbols.Group_Sortdocument.tex:)A%Landau_SymbolsLandau_Symbols.Landau_Moredocument.tex=)I% Landau_SymbolsLandau_Symbols.Landau_Simprocsdocument.texmt@[t;z<(O^[*EL$Ⱐ 8l4qTCb Y&k$f7=Nr>|.4^H/YK#l:VPKcn]+HѮTq>a]v¦@a"`U}5 K?s F@첄y:8/1;ښADK5*Y q ܠxR?LjGrb`4<L@eJ0"‡9VG2WggΔT2Ӣ02nwP s,6Pv3U)I;+#܋Tt?o~:(zn>2 sE+Mb1IH-ry U;pL߸ӻ*OL ="T,@7TB8H77AWa%ucަ:P) pJU44gىCa iv5e QWI: Yscu_Ɯ ی BolGvلxZwwz? G>sXHj~$;ƞ`ϚMSⅳ{]uK BaAujm˛zM~YM[sQ1 ~ Q"S*P*m3ǩqGQ:He}wuHKj;2t Fg2%*-waF:q G7>JzzH 83)v x ^DtǦk֑jt/EsJ_^lr'h @1)?(౫r@OŘ!;&lcڐ/Fh 7g(*.hS)1%Œ`xB,)7"5)#1] I8t#h#ǷЀ7B=ͻ ʹջ3C٤8X2aWG5d*tQh-)BطY;[e|Hhp%')m䤹S _ |9l-3'ՉeCifmB$0Eԝ˾QBHW?OqCڌB% 3}y&.g l?ϫqϹPky*G'y‹,h3XHEC'y:7f :~qoDMgKu<r1ZF#k`~&!w^P~ONb\Z o[;*Vh,{o7;|to. 4s0c7Y5;1L`#bg: :C=dhNm~fy$G-6?-I^0ڠ>ˏ> l(a];։UϏSխriG8:)|D\HSpKJ݆wE"jO}EzidgV4^zq'sAOh9)Ckh!X-/9*>zd&QcQNKɕԏtE3f;iyKc$Gd)>K7=6sz%6]1G;^3Iɘew6],O* qc>lWPȚWFF[/$t&V` i_R1M3MʊAx6] i'!,9# -#ɸ5A>>Ld/+;aD(v6Qb2wF5#ugXzݬ\騷ۦ7]R$GTd8ypb-<dJM XвO9[)C<w{.s}ҪikҖ/IlB1/W3ݢFEȗk/:{#niӥ ./ V).V9^)QF 6W.-G\kS|\{OV嗖ynn~!x!e'q}Ȟ.uv~Ęz `{C;nQL?8ps N|A\aSaJ:eQ&YS, ~o:3Y^qHLjs,PJN mWl!&(מhŜXXh"g‡uf?*s<|REEBӷSE 2=*QsOGx]\!V:?ǟ%7bJg)l9z0f`&i8 ` u=9OrAoL*•]:Ɠ3V& QAzHvݦ`< Bڨa>qk%yÈl#$ :p&tZ&#Tx3Omy ϱ3ftX%QWSZ{Lŏ*;oyOً7oj:~Z^ŒBʱ`pG |4*tV@xɓicfɥ[A# di[FS`F E[ɷNQu0:">n4/_g'',\-%=wJ/kX^VgA}R.BaBb>J[(~]r$-5%=MTap0YkMLIqP$o'8P2R5p] ^`bdunܕQP{IRF,O )oˆʥG_|\tϴtCx!5zAirc6W(w@hs^p{W]Y[c:aU!i4b4J٣YPzBJa @zmc02 J:[ߜ;tT>Ȳ,aO75b, H2"曾%vj#uԨzkKߪBSwVō7,+ܠJx=SF3=2=0`;:~|ꃖd^CMN hd95<0qwi@ }-/Ho} $bFѱgYZy>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 n<8B9p!!HćUoaveO88TH Ɛ1,Sukm?Dp#İlvodFfdcB~`!3#Wlc'U[9GoFae 7ʷGܸᖲy;.ZB3Cx B Ol<_PlFIJOY80& ـ x3%W60Fhg(,63F T:ʊ b}߹OtcɎz~%ηHj_ED>V250R'4rzTg5`8İ?g*#/d %qXF]l,r%eT2pɳt,;ۛNࡷçh **WL'ιƈڃ.,Mj]l S+Ԉƣ[%!.);GgYZC5ݑ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.ͷc.9^nJ|_{+}{f%㈘4L,2ݶKͮ&Υ(;+pH<37w˰1%C1`l_ 8d t­t:{ҏQTz?[G8xT߇vɒq-bͪ\ں PMb6UMESh;di_ hO鷺o;~1㼸4vm_`>B&ҠJ 11or{ry o+9m]@' G"fzrY,KFF%[>%s8ic J5V)̀TsYmti.`ЧȫJ>,mllnznyWqGA=k{ŀU#[5@T#x]&ZwNrBeM춮^ʸxvzQdrP琌~°A\qn7"a4Q4Jcn[WGdmI\hIX~,J̉Wr5+3-3]_PZǶX,:zdct <;,tͅIݱsĨXs)ÿCMwpPTn#,(Gc|X> CHW ꭘ¤/ҁ uqH'n8e92tWGd+kSϯ蟸(Ա.TI=ϔGe:$Au޶I&k+5+?+uIZV{B6<˸h](dp  쁣k8:<@j`, d ߺC˽pIw{ DKУ%w = %m -V>چW!|'v(r暵f2t&8 G)L#-;Vjqq@1>s[߆ *aU0`Y:+k2v:n%:L|+ n^4]a=%ϊPb[yа&ʃ*4sY[*Q 첏zƧkm.|?cqS*uV986[odgM;N83Qj)~)dQ&-1f =ǩ6 W=!0_~Gz5Q3RrߠYzBhM>_*[ 31\QCO{f)S ?0<48|T7Qnfb"R){3D9ɊK>-mvlzGe3Oų3()Pܠ- XJY*szZ7&3+6j'PcAXǟ;ufo&9Z=8@nDE4r:k48y1 P/ꏕ`.F-4*k_&їktBe$eQs;=Xϲ>W3-X<g۫cZ8r]1]~c  04࿴Lu|bUG}w;b7VwRAQENݻ iM˩;#?$sk>Z3?QN:+Kb鐟k'LczMYO6Fݸ|ѝ5teL @4\ !UGu ?]ņ;{z ݙ ͧAPXچ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*+|)I% Landau_SymbolsLandau_Symbols.Landau_Simprocsdocument.tex7zXZִF! 1]A-MՋhvG"uIBm5SMo.NwoXH71&IW7 oU8u N'Ѻt]ʾ? lv[ ?!6V2PG.fO9*OF|Bʰq0UY:e.1"ɲm<|ZkتwZ#Wi_];|T[Mtlc1'xO߃xVT&IÎD%'lLJcpVU;۠Yi2CcڤU{b3e M.e&)3{L&UT CLBf@3GOY4iӗ 3,C ~w7aS\WuS}^NH:sf+g0& U,I$ΞB.3exߙ)p Ȓܦ93F+M ZJfXCxn Y k)?% lLandau_SymbolsLandau_Symbols.Group_Sortdocument.tex7zXZִF! 8]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= *Qd~e(,Be&kX )xPfb>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 lslt,=r~]ȼ^8:+?e@\g%^K5,+o7C>!a^ x Q%תT /{Bۻ6*"Ҍ+C@zjӟ]tbEn~Ɩ;dXJ#hq 8a G"X.`)'>.e9N%c}p8F`1L"O=g1VHy kHbQ8=uUp$4N,dBC\[[NhZĈyM_%9|p+Rr?JFzXa*TiEU<~UX uLczr/,ܢ}ĜIJs, ĥ gciA<|,?9?>dk)ࢆ'U{YjYN{9{ s\Ml6k'4𚓪aq$^<?2|g`4H:#( L ބYw#:w 2ݨÅꚻڽ 47eʳ[trC:Ǧo#zܯFƖmCHcĔM=Vg(VTQ,$`ބ ݝ!ڴA:lhte&((7Q0gjINHjF;?\$êܽ z=1B|:xޚ@Jd+B&Ru:X%K I+d e!8TGH<%@h=FH {=lHA>lIXR ֺ`f,'#:3 d7f'u P̫?vX!_[^tוi8pi mrdEI9fTRܹnи؟quea_2%5.Dl2Vip?ю żSzjHGjsH ؕG -T! ^Z{j芣SQnN %. Jy7 f7Y2:+D7uoAvqhЛȺw-{> m|H;,iR֨"i_p D@N&2i MR)S~ nB@-_C^t=f7iz@C $,-lid)Ή׾ n1o!K*\u̝f萶.s?oCLCe&cVco|),RdҩS*`zsjF2'}"ۊ(cWIWİ7 Nnaͤ%Njw C&CPwӿtf? vV.4iDNq j6l^F4}:&=Q7ْ->V)xS:lMѝtz=xi8-J UDZv y5֚q`ߩE䀗:. Gi% tV|iPNl}XPfc H'j3#Lg?Y/aDCqP}Jg,e `$0)雮AAI.N$Ma w> vK I.ZN_wXz϶qR!YG*ZM6[<&UaK+yz[X%?7*E!nk X z?m+8&. QwNTl=> s9nvh9e*ehjƹ1t.LKvn,XQ8I=`<[p6Z;BM0dYWsvx#g^+6uqGTԥcDJc&W'(i'nWy1/uXK:4oلPOb72A7ٰ"RCzoR9 j*"ӧH;?zY@xK7O#1})~E{OƒuTND3 !BfFg*ڗ].ajڀ20' e2:(iD{5[Dhq4\T]\G`]_$TR tRi& Uspn!' + &;h Å*G(bȯG\ Q?b KcΜ*,H ug܎1ܯHVs&G{mC|QMκRG3i:}Gʊbi9[s(rKqGoϔ#$׾h?^\Hͪ7;*γ9>16nahn8L_2A h&Ⲷn5^f,>xơ_}3ިgsyh#>S fSs0LHu;HQ kJG“-E4O$(K7>!͡}tI>Oic pg`c o2MlDXtmiL @n؍ߨ<|l?qoGZpt N6N…b.|4bVL&6{'47K"C)BeL>5!"q;~$@D&Z]39,e&:9.Flơ3yoB[j\rs/VVu߽V jn_ēX4Gy@Fx w̟[EhbYVRyJpe܍=~g`ȕM!SuIWdm3ϬPݠef֭(-}Euvj"5 lK@(k%bC>]6OWw]lȓBuP -Mq6|Z>t[X-d!0X9pR}jMH@eݽN] *P)d|,Z=Q{bL%e^]N {xx[2xqL B2ߌcj1n !bG< /x/PcƉ^4uStۜ8~{ ۿKu#rOS}  H%SEdr\]֬=R3pӟPّ7**sCkA3':y(< Ӳ|pC4 ) BCL%ZPNyMwq¶%O+n'A sG{-x+(4[$VǝdfK4IgԹmQn{{Y.V̐E͍SCSM+GAɒ a# ME%YTj ^,ᑔrC/Q _FFFOH>>űQ)I''bvhLj F>@D+[qLiyE_U7p#P! Z.ƞ]hB2W|&7oQBA5M tO^ȸ؅|0X /+Hzg_ȡS$WD~4gA+ҧOIAzP i֜u}(ok2عI:jZT'U¶Xً۲<0g^1k3vG3/:q7vzN(,;n7hn>f3&W}A`8 0i|8ZDfw /Us˭;"ϭ8R;ϯdA5wx{q lD&҂55j^X7J u, 3/Fu+|Zx`Mŗ$jJPQS0C'@<"nO_s%dlJi$=XHkW+LZcrfdp( Á' 'zcH=XX3FUOw7uGP}3D1Tl$'ba Stz\,YQ]L-[1aڦL} 9\9\9tdztÒ:U:[\F-Kq&fRcFmuȢybi<P|㓴B 𱈮F*rwEO&׊UVt^(w!`%Gfpi2JyѽC\ DfI 6ɦg2_`KBm8rI|,WӌKy R۫S"gŒN@V5;×/)ocxrƾ#ϭ/y( 7ڣAk(? }nT(‘5?ARPzۿT{O,E1iPdK n#%̹(ϒWTGեbIUN{O4 5\2Ke݂AT.3JQQ5fmENC byLQ)y ɱ%6?uxom%~VC0P-tK63EexT]=5OyF5"Rt3vT!ʯFlyZE1-|Z-!,Wsn';LT,;~ dSU0Q{ip~^U^񙳫QɦxǶ4{qq;`ĻDMB4z{Gc/ǬIsȘ%Fu.mQhp{H$(2 t\n(0/@ѱkqۙ*͜4X.|/9\(7\h@i'h}uӱ(1B4 Q,$#ލóE˹B!z#&N[ǟW%#j7IV?ȆؿNOUA:hHeLo)ub3/AH0ŏA03>2Tku|KF_'3j) _*,ER].ٹ1o[wN m?z ZA qVqWDB3D]n!u ~nAK ߒFuӫanѭtaN+O={%릫-pɐudӁSl_9yQ(xDDKft1X;|y$Z3zuA3?<"0T(r\puix]ν3u/N-e5wH}VsT^TR~/tsbRX1v[wRaWqbT`(.YM א5eLF5%/R}(:Qu <$Np@56@؊c VuJyP"ϝ2@{c(̑÷a2/ ~kp?BIfCʣǙ`!jҦ:?ʄS“VyM9iwX?.A].d4(s[!et|iFeJKҋjx!駊Fu<yXKςAK0-*y$U@ΰ=XA˵`Q)n|mA &$x.Wi3ur7XEHٟyq욳bN:cnqWN0ج#[&Uy@5^ iRCw4-V*y-lB=^Ҕ%W~i6ҀNŁ5AiLJWr0)&T%$>r (a6_ec_`i/UqITbUu}HGÃk8WCxW*묺'aH~.M<|U,I`D\㕯!B-"E);#fL ª^O`tӬ+<bX0Ps}K:Ww߆12( UA:yVmkh[߻x.sf@ǀ`)%2LAp3^ 6Aʠn;rOuOn9wWطl3"V|t&2eu!/ܢwn y_j:j>߼ a$Ek_}n#$5ǹ!$F"nkOoKdYq-|gqys%]BM+BalDv1[۵'6./!8M$swB=QFB >6Uxw23?\o dj=3;fC><4Z4m|[[//#wn"uUM5l**vf=R_s;' dV^BV/Vː~QڞZQܔAQK=l_$13p>а-V4`qfl`&| 8"T PTvS 鷦i O+`3~zŘѪvCpA[9B~kPLT5k&ŵX'GpV)챦k?lL!-s1lHZ;z(bq~iM;1j Nid%2 YTi0j WQ9R2?~IEr\uldJc KL滐GWXFMpk0(5CkaK._%ɘZܔ9D1)&򬺀Ѩp3~Gb`3m)2MGI+㳵+aH`Atngݨ ~>oԑ 8^Ny%d3ڼ7޴PU c`P "T:˙{liOi I#ħ>0qt`v ":o"əx2{%i-o6(|PrK1 L"#ϽABGFL;.s5aS @.ԥoFOF/u C|7 !v_t2G,pOBmMj仞JLQ$ 4$}ۦe)0.\}C>_ A!Ih"3:FB $¦[FWN3]+J1>PTkc4·SWƂeXT&r8c}"! 2TLǗGİI-;Bq:xbSK 3F TJU;{=kmێD'Jt)ɑ:(8;Ĩ^ }N-ֿr7駽Noe_`9ZU&54H2d ~/v\lB#Sр"l賣is$- [`DWi#Fb77FpuUX*\0 bo;"7<^=P7c5*0qiA]@GO;p *Z;@a:#gWdsW|_8AƗ9,5wSXMRI1a{ H3`hiēi@*ʋUѦPXƻ#-5mb T;R] Ŧ/v')#LQe{!a5BE9`]R-n_l饐( @AOw| c^KiXwt{D&K͠/}[ȈwI7=G}}+2NGģZ&0E ؛Ǜ?B=+$)i,UCCnc(tlH浻-#q`8hS;wKGȯ/f\>N3#$[($|bd+:{ޝ[`&b3+猂15jJ+@z~¶wCv?OmTl ~=KkT`d|IQyud^՗ZfҖ.Yb|k^Ԗm>:KRdNjsHS|?vpuV$v|c倶14],B~fBA6j#J`֬$ RbJyK3/=n:[:D`D|N!rl7MyXRfZləgrMEPf Y7pLYvA.q(e0+?& 8byrnRlD7U㶍үwO׆|~|ᝌq FQř HheFA o"=rK-=IiN\I֮$2g`h?9h;thD 3U>Rw1/FZHj3ȇOh|3[ M$ksvAҮ=yW %vz;/Ahd{#`1!Du"Nʘ:rM n%3zXNmZشڗm5I|3׈in+;u۠s|"Ci.'÷ombiʢ~^|gDŤE2BjxZْ:q氁%7g /N W;NEG0tcaI*xRRՈmZHͽ]lEO*fA5k=2}~\$ Ίzġ}q0MX.ˁ"8[ȺCnWٔoDJQr`!el@E/ e;g44EЬ,I7uƋÎխ*󝡢-.{<k\l\܍`h;#ZMGʋ|%sei*8L[x*7lc~+OIb6ʈKE_ ]?b`(nQhs-[ys³%$U`+ RPg_yP & nb^KS[ o=d>pܜ5[2F{* h:g^E ,8m u;9IU跩0ǻU`'~s6|h4*h$b x3ɔSɼjKn[s׌wRe!g`ϥ18iwDܐIs(dHr+(_/`5ds{"0ڹ,5}}zfE-s~>; Nh㏪vS%efl9X)~ʅ8Ҟ1LaSz8~5 Cd Yia 򝶟6* %YVC`讎G;. EYeT[I3^Udּt%t1-PxN_xʠ12&x"6D^yJGB"6-玿5M!O4WQlR>θ4eiKL}nLfSH15=[CL`(r>P"9>P:8Vd}VՅԕ$L%0آ51@w@񍬢fy>f@8FL+D{>FlCyt kBYV" D[JUXp/MuJ < ϭSv=&@+ (8#d%R/M̀>(m қLKܕ(aǴFö0L&Mlt('QH'(~FM̔c4Iy$ᑒca=զ"ζ; Bq2 G_h<5a+}jtA3G$;XzC}[.cߗ+/y`DNܓmOeZ`Y,C_J@sW:z,CU踱~4vR 쭔ӆ[F &2ضV 8;$8utaȵmԷLw&:O{#ҭ?>Sf|~D& C].⌉+~q~t "FKnC^LbXV?eXezPYA=2G=9z| .yD*2ar:yyi'kS9ՀD')}F"4^_>{lw̿bHS?ś#Ds= \;c1cE*kC֮&T-,T5x՟aRwE?e_yFƕog,SO-r 8p1A,%䟀5sF`3Cn=Y.]ehnBextDt܄n2:݈ɢ4cm 糐+Y9\cӌWfy> v@Lָ- SMIݟZfmAZ~ ÂuN-K2h U)􄉟{y3`OwCF -u3ʚJBK&1H/u'䍌/Nrѷ #E~A/ג`osu'FBNc%[M^߻YϏzˎ-"1YnWVg7z][@FPwaE|󐊶~!?RY2zy& ϞfȎSҋu4JMMp ̨.$>McMb -eDmB qnn% W R͕|.˘<"n6@"'CW.b0X4zf54[Y;.e;N"!VB0,]&GMX#[ 'M+^;_{ X浵7+ .]H1s[MES j9ΙؑNj7 hBqqc0};ȔD2dR~)#z/~+(H0w#)JNXJIe^)qnӷ׫b(']֠3ưM ;R~QZ\ IDu ؟)yF&&oȒ[/)s5G rJ.\MmW ƫ'SH.A$)76r K0JlrFqu`*dL T ach{AZvѻ JE3ϢFo8S/7( ] []z۬%$hE&Q۹MZ|=mruρ_΀VAVL3Nq؟dc8I5֡L @21wqz I"xc<}jGynukΝJ& Oݾ/+yUِ|_~0tXi*^kd࣬Ja?O.񜍐AU g j2ZrG7ctrf[o@PGn+F s2L/[u!3 ӕ\Labj+в-jJ`>_] g?Eb/D{V.7dbz,VSZCbq!zw QOm_6`|pv(}j"a=3ӗ])Y0N;'?=6sMlATu %DV՞yR.a1ozcyCUaak:{ّ:$_sdslOl+fi ahSYcϒ=(`B^-qE#"j edCzЊ@Z~W Gh{i"0:bUaE`^7v"]98c[ЏX[\8ȉ<=#nt8#nG0:tA6_ 2Þ n[YK/dwY2,MmX!syO /B c&8ކS(=_}꣼J ~-Jޛd4O]oЏz_cO=DX *AClJ9f-SxеS hn[N hpJU{"a!ϖ ?m8[ݕEBHnxv0ɄۡmC6Lu"3ݟ6q | _BFHyܓEv 72B_`didr1-'ic?zZ`#ѱm_rffǂdR-ou~ W< @Cǡ̔Hrr'@Lm`TFKV~I0q% *Ή÷rlU'.(/OsP=pٔ?gzkNL񑥞z<)9!ȞoUrHhą8b_Ǥ}w .+$HK8dH9-9}wiG4#=c0Ò83>Fʹv֖H_D#Xd\$'v>!5nNڳhosJZ g;Z;P rpmrxKDFGzNVc~۾_{8l#o~XeQ*|QGu6N(#C=2~*9=3}Pfor# 'ˉQ"4\-9WE!BNTFJO>E('bMXkhF?BZ$~(Uy/CHDJ(זb2a83wurdiF&$\0G1ߗIv{ 2MW\ dp´ vso\"L0UZ4L8:}iB:^3@tOƝy`O'f(F?y?G8o2z݃si W3gPEi! {:pVh/\IS&pUDwH߃u84J8m̾(Nb}o*kg/pIir" &h.ߪSw b$4G _12ާ1)< _peT=B]TؔIS̐DV+KBHMjA,U&}d^;C<!wnsN/2clfY㤱dc *JPD]lAo8T:Q)NB!G@ȷ;ܠE:"B Leޙn V )60?]1KIiSE-^ӁɢZ#B;5Ӷf/yF}̴sI@֌5mJZ~gLG'&*@[Ԏ[ _@S c,}:0qqsP+irތ]MաO:(:"eeIꓕ\P&y&/:rS'U𲝇E!Frj]<`824c W&GeocE4ꂈJE iN~2fQU#>&zټ=4k]kC.eXE;B4Z;|R`#m dj y'M&L IzHdSF`~nVzL\;wfA*Ĥ$c9u:&Xo%FB,-;Tx{b[ёr{SgKf eU8T0:{Wy`yX|wHʥ/ k(PU=Dv6CjK }I˽jmԝ_H2WWDʣw3?pjV,\9]'ki3 V#SPD E.*p# B2LțXPSԒ@@Xq5~Y ql4 Ym՛-S]q/ay2bP{J b6>d䌳moMnqFG뿇aV4^$3fܡp9*f2&搭F3z ؾ:!-0d>[t!8Sɬ|-{ZTx|ø NDN$QZp)C!_C|RQ#MӠy j^"^,<<6Z 85`#j9w/QfZY_@o9ףD 7L0)|u1kLXɔ_3 KLԆGo$# WZ2Ќ"$(Vh S+LD>Sa8/$!ёC x$1|8Lc9W7>ffu^eW[,QgYZ JJ )S% 4Landau_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