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 #C $ ]% Comparison_Sort_Lower_Bound:threads=2elapsed=7.953cpu=15.116gc=0.764factor=1.907zXZִF! ;]ŗXf1-q恈͐7ӺV 2 CIMIIeΫ=_J#]Sx!EkI?`0vQ{ggʔ ңPpy20= B[GBtp`IBByRbƷQ!~oתVBn&gT4-c#fA,rЌ~i X^{IZEۛyWe:0`HeJf (ۅE&41;8"1vTWSB` ^019Qʍee8Pߧ^}'uDF8zGBΎLjY 'ՔVD`*ڶgYZ7zXZִF! n]ŗXiɟFTp>>cP$qXLE۵YI o㜞+-Х|QJ~ںd>ooՕG)P &vQ2X K$Aj+< +ouž!f3YS:)?RdO/3R*8OrfS~~s;^1gYZ7zXZִF! 7]]ŗXi%;C5ԝ[Cq{bKU>[N (twb*Yfm9z7[N8Z c  fk{6z6Is JL/ϫvзpBap:˹Cz_uo1Se{gޘuw۴Yǎ >u@zuyA>de-#Wa>d ߯c3P9,[Ϯ•rCo(vү4>rpbt#PRՀ4t=.:֥* Էdg4QH*c1P½iDꍫDEcS-^ )w`))ft)O£:TBUٟ;^4Ip򚿉2^AQ9fx1ay9tQT\#c}t$:V~Y}S[襪oR*Yͮ˪I1lUYA2"tQ, 0ʱYvY{iiMs+cOֵ|MRkvIM//d᤟7hGu32ZƒGYmkAdƾK5Qhֻh*{uW>aқ4Ox>J M3:>cG4aaR )Ci% $Comparison_Sort_Lower_BoundComparison_Sort_Lower_Bound.Linorder_Relationsdocument.tex7zXZִF! D% ]A-MՋhvG"uIBm5htgH\K*) RI[6(tfXu`; M{Y Ջ i$T{[ j,d?ͫLh5~ 6=@tYO m\~2&]ot uk%n7>aAAjjPcY20 srtP%(ꢁAJt]`}RմgE|:DH2jX=#y m,LpU@?=njΖtj18~j,yDczb'^Z3uRL]BhPe(3a?hm}/1&m;;J!,^KDyO@ԺeM:kTܱ!*5a,jO7;s @!@UAzUr抺vuE5@|ީ/ˈk ΀FѼq;aTU"p[ O_+C$!X.p:Ӭz !}r!NU0W l"it'>s2NlWB .4,(y!*ơ% 9-tE5xz`U#N4I}ͯJ_EթA4xf}4dT `7x6$6h2O~S Cmj|*JK~B.}  *--]u1;LI1$~Lφ<}HF ݏ t®Rۦ~Nl>u:&MryK*7TYXVM&3{l=L(6#ye(rqLLFυٗ ~H\w;f7q"JΏ("2Ϋw4mzMCFTQw n91>j;vKD ̭C=-N #3)d)4tQE+(Hz 5Y3jt)<)u-4qXR݆L@F[3oiOs'ZQ} Ȃ&&wv&A YS3]R+]q;" ]+f6 нIr\J% "Bn~ZI2&pI'{q[H9|~P[qwT3E2m%4C:Y#DM|yk\<њa"~YM\z8idws֋퉉xyQ" 1Mkv 4g+,` $q HS8W: ^z)Z(#CDWF=v1Qs6H\ĒPPPгPKešB?95-NA Ew5kdH> XWu5o:3VL%@ۆ}=!T9ji!AԶ퍟&31Ji/)hdIvE<@ aGBR%̞ =͝ 7fX';ZT!ބw{v#A@Aݹ"Ț`KWeY9]$OR:RqI4a|ތC$HgA OMrj#Ʊ/ ;O~~ڧoCճ0sސPRN'8,M c 17mAf"|bܣ nXsd) j.dOG&4ˡ'jIuv {|):6sK&݀њ'3һ`';TW"- 1ȁjc8ZeP%_&A^2*lX>|w `QKS>B9ۊ }0iƌ?),× @3 7X9rߵZMWwR!ei< UT( u:"hΆ竝^`|^[ZZf8󬞛g6\DTmM#P@O㋻6vP(8n<ӔLwGpIE˓݉x)mUyFU']|lۭja<5P3M;-w/ 8HZ0r\$(?t]})'̂nV#8/L+zqPv'-M.zD(|^j5.Fìu}A"* ͭ%!?{{7ۡ!h'ܢ+ZRQOA?ЄNs1ج_VLZ:K˫!S{0ϳܚ uV~4wQR'12ګOǽZ"k~|@?,f: QLheb/Bb'9+ވ*e>YcK;K{ﳄL}kv xF^܌-`Đ$6%sh،2'ADBA<,ޞ eb-42\E {&@b4)of%S&10[f6YG)a1[iuD}s!ND]@-'7KBk8Y$P@8@[ =RAARAvxݕ_“IAQ؛By1fo5 {rJ&Kb m+PiJe l{I&xz0 )9bqXm|@C߅#h"d# f:怸̨3t2WWDc'W U<[KIOVd@݂wK"ESY Rz[m'"}@2`I0&3nY/qdF>4wKHC?mڲu;}?M-A~aKHv%.ȶPܢ?޲U[+B1F&;" RΞ0RGTVDWaU^(m1zҏG<nT[f XJ+,;k+4z%Lv|mm(ûwd{ x$>сH}9絝^nWO.0 '(7vE۲wit;[ jpPh.'<*B\H9fd_m8Pb\5p/rSK\spbQ_˻8+4%/ZrpA&Lyik)ڣ.TU1@]4ܢϑ5/!jUApW1 C`7!x'JaEn$xu.D`2ڛW+F:a˘O$>7eCZ.|XP,r B&Y?D#! z=\K`qR}n sImvÔB̔2R&}g'wӰ":)?li~ƯomEhj, dnq^n;[֧s5:].}}%5n>qW/KtvIY հʹ,;O=@#gǪ/-iAdtꖐ7pc['\4QmFT]ls`wJ.XQmZ\ {]xa1@*`-"-8#*k_L$ѽ] _߱RVΆZ3#P/g/_ gdE[f}EBNszOνu D‘VIx$&kۉ, xJP/gOGWA_9q }+|VԐ\?xM/nuhq5(d5I:2X&!7pF(ݣlPWA0;] + H E ]O]j0t oJgÛ|H_J..CIx%r'f}ݷ/(1K_(1).?Oةֱ~(nE%6_]|!vW.wX"e2Z9mP[5l7,Kogcظ)dy8 Qб #MF@X:G 퐈u8"(ofbW eDiqvI#T~ ?QtJAC6~mB{0 YCQ"+8֕)3 % TN: /(o? :3C pdωuƼ$6ρ_t[g"ńM;bwʂ5GD9[g3G@ӶgHt1J%m̳Z%Ɯ%ι XM`< \HjVh,'`Bԇ$&5"D!}XEK@AKwv#vW;a|ҳ ?єಣg.L@]dY&޶:9SJVT^8&f@kg+je0 gaSZ|chck]*Z4p%y{]HlW~iKOA! ?t,UPZzt,̚*1iYja+ٿm*} :`r~GVO aU_$(ѵV;졩I3j@+5'mJm~:ҿfHMy[\'D-TF_xzR}A,A~f{ߖTTXe"lھOeTa~(mؒHĜ`f{ B[gwst"Kּu)>0=lAdF ɵj8tH!oYT9Ψ5=؀ ;@N,2Z:$M/ r? kVI @%s>hb5(4w3Kx@M7/oahP}aȉ:蓟cp/|u& FAFN 4E0\*qG̝^GϿr H.R^f9DzZB79sk^1bw !ot3u5ڪ0R ^9C+C|4k)`| cѰ]@Wa%ӈzR #g:Ao{IWSY̛ -jicPXB͞ZQΞM+Ae?_ ]2Ң>:Wx09Ѵs0nv

)9}z 'C.Svlދ"q?@n-Zl| hdLU"Ȏhu$N(8E1\b7YCrel$/>K/Z;[&'hH]Zr  Ĕ'?&pLrŭޞo_!NtC`gH'㬯1v(<:xbyc U.<+ڮ=qw=֥CڗHZ[d\΄yZ;f-:)̅8 EŨ1AxE"<3 p[3j9l7 ӆ3/2]<±]` LT{FݴSzO ͿbawqYR0VX@2[8xv8T}ujɑ9f$۸[+6 ݗĬ =r@_MJ3 .ɵ X1ʭ:2wVj!-Rg|0h uNdB( Uq:gz;l1#eFMag&p+cQj(Dk}ݚLml3;u yyeX^ ɒt@J.8n|0ӽٞ AW>bI5FZm5}eFN ,#npZ +G+eHeQ):Y?p + 1IA(ȲֵD{#^zO^̺,:,L0{Z(3uvRj\zɷ&*dӡb79C"-ֵz_jH ןܔ0㾗;M`(JX4v:>_96&+1,j?7x!4֗3 ,]ynAkwbh;,[WnKd_lo=6Ӌ4>!(@2u@'8siY %wj$w(* k#3/0ۅ]2y7?=OczXZIsV?x.[ǘn|>QÜ4%PSDa3U(8*,CbXiu_WO6NB ckBCah距4O@ڔ2\y8K/{Y]͹;N컨|o :ZM&I$_Z9h#'>'Q_Þ_|]H;QNFNb6mMckZ٠GHOUx/ e!M5<#\U |1(DCX/{Е~w4, _$.Bؼ!-`뀖FHukL,&Bb 7|xig_94:n ;}[xЉA1̅Tz4K>в2gYZ )wՀ[Cw=qCouTLwDby#[aЏ8==UiN,α8G*v,JY&::a+#Cݳ~vl=U$Gtj(5wJZwr%`5s }Q1@Vxh ( ) P|cǏTx4dD=)Z}5ǥx"RTew4XXa?&]eOY~X}] B[jܕAmY^Suy=xө@J9 ẗ́ s㷝_ ;M٘gcȥ @RT \?\GRGIg$z8jZݯr’;T\GDA-9 ы{_F @3FOے@I N!!ʐ{{&T/TF,hCO ْM/ucxP1idT2wE$r;Xx?GM,#Ɂ􈟦VPI$FSqMkm PQ q_g=dnВFB9>I`KL p2k`tșja&[KE3[HܪIRJ/͕=\n s eC'\TQ%hxkQcdѧ=CƻvTp;8hG oӿq{*U`d_&ةY햋`حa4E-4ʕiعc`"M&P">j=(L^O?2d@„rC `jRgq(YAŒU'ȿ{81|fyTrg,= Dַ9]_s꼠=͉W \::&?+l6 d-ҁZp`鸪P#&Tʁ\n3@hM=үiDQ13=E6ҹ琊Y, u$t+V)dV*N9Ʋ607۩ B*߀?8wNӃ>/l5eã;:Sbc|G&DQ^Szn4N9v c ;0 r 6;N*|٩nG2u|X!sg՞uSd Q:%̙rD=Y.h< ]n)axp dǘ:Cѻ A*5|D%Ka"0>Q]0L xPkcTY5J{ҪJ7bν/VE@K:^Ɋvbr];gc&gQ'W^elCmf*FBSwn4W0ī7w1 \Gӳ/p T!’I숂쀗ը}|k w"Tw.<#NYz|4*յi0;z2Z ks ?WĥZ4;}'&nFGFtצPZ1?<7}MazDT6e #E]cTOn=-7:?8Zn&ao)ӃjC]k9!5yrjzo,6!GDx$1\|uDfS+5Wh: 2I7G)5ľ.cۉxE9GXE77AS{]A3~+)JE\Bó̐]$qlB͗sߊo2{EM@e@8xw)#ƌԍro_ 2^}(E 5p}~H$Ϫ7Qc6IRBf qrs>#4 )64ѥ((Ƕ+BW~ddzB&< #k_?1ǷGv 4epQ(qIA2Qdk;ő9ׇ'Vor9YK7t< ӏ0nYL*#(S[Fg9uepJh/{Zyd*t|3r~NxqѴگ6ؾזSp)czCEu]LWRH> P+n+P'?NTEs\s+ Y_31iX1ccZ<ƝM$ɐArmZ\;6}?,$+dm!ItS4q੊?wECJuk Ny?%ДpcI{z_~>3 Qf[ ̞zF=J199mdHDxsv0~9M"3?5?XxT10p v D+du1&F'x,S-x.Pf Ek-yY1|Hdf+EeZ <>4֋jqL5,0JQ ڬQv휓6ǻ9uM"U[/@͐u_C=NC`exY׉7H֥S|on7l;e3U~&H"N 9RG#t- bс+ 77=B"q -Pp^U'ι7X)#4L` lPZ6rKr\V}ETf34da(Ex;S7w#9UƄXUjN,\e;~hק.ێFڀ>3K}7d{u:C Xf#9d&-uUZ@)P%W^vsI?RJ,nEgW0o8>L -_B*N>PJY<;5hz'Z"dk[~o* vV^ɿ'֤ ; .]{!,4@i$wh#D\ȕ^S7ޔI940:1vN{\XfDD->Q-)1_\:`e}v/l?\Kjҭ@F =l+14qu<4lk]!cp508XuB)tI7tW[5רiv:6be5釸!)vHdKW I?E=uf/^jT g!5#|Pd^(MY'O{`WMsٔ>}l9' 7v˚nig+Gat0ZJdՖK\2&9 _s >x}{ qj[f U0q5t1"aK])X>~'KSNM\s"vav={fmLSڥp]_9&yi$r),|mhh2R*^c̢ß~+Zәމ>0T@| nL ;Uۜ./RHMªVL{ee9/({Q.NKx2bǧr!Op^d_{EdE0Öd úJnm2t 3^w:p(WeQ͜1,g6AWWa6r~4Œ0uPch-o4]s+MN/bo]7k2IiWH8Ow]E$[Jhu&lÄϛF>+,Ip½ILG4(4B?i7"D2m4jZAଁ3^x(@ed>0S6a7/'#Lr*&eȟg+@&M?pUy} o F89 t`<09BiOxn 2,[:UMeKIVMٽs]_(Ou.!-1u#3-V=GfJU!;DA~<[:-v^FitΘÉtӣO-Dcr\` b1d%]U=R|Ͱ1ywӯ72ZPeiFǺ`9 1TOEH^F+aU~ϩwڦʝ^h&[Bϥ} 9%Dpx[YX<Rȼf;+t|p/.!w[q/8EcI';ဘd\'Dvb,ȫҒ!Ɓ^kapoE#D}d:)3%2@mH8c3LUW=F$gOz(TpVP : (ۆ`S|`Ջ.(~gЎBG"8 {gk@Jp7)xO{~ڬ@$k_wD0>Jł=ugYZ |ie{.U3 :H>KJ?" jrOӑOΨ[F 2[ͻ?3Yjpԩx`.TcqIiI$L]?\jH]#tȕ]D1F&@o9Pkêdu_ IF 2i[D8O%1 z;w ԙ#R AnrEO5_o{D+SI}$́YB֮H4~mj 3SG|%UN:w~(1\;5Sg˜Q߇Q>zOUpFj\ /^溘}}yrK EN$)MjHYf[s`WBq *G $d .;wFdBr,7ISLr;tHC^ ^"P~3/5!m?!o!΀Dcr ZȇV Y fCć. MD ~C w~OwX%hқ+˘SL6tv0%IQ4&5.M. ~W ᤼Np"JR7&I/JAR~]}P& !*c:}=@ne F9 " {k! vy;lK\({nj=Bpqc7:fDD8)4'J􍖘fd2K9y%XHs'mdV->AFj޽w BVZ$6,g0B+'{ԶYEWʹXwOzOcT!>gt›fBg%/wX@T 6]dK{6+$vv?z^{GqPKh"RH"a&ٸ/⻙ݡNԪGM%; :8ʥ7"̙p- xUrUE](b/uDf \:Ԇt@iُ=n5F8+ĥL6"+ۭtZi]P"„O3zMo%v/VYS]d')\FԫQ&ji.*1mPu! O{iQa E6`~N@G؋DBErP4XᑧoQJ Ɇ <FGJhOgwƢ^AW"}onSiڨ`WHvg7a?,K)OLi I޴zM&<qK@-maVhP ]!.MU:/*`M~oV>7wXaMihU\bUK ]h$ژ{Ii_,~)Yw"&!/ h?1O 3Q$:x"Wӓ4R5\!;ygAх2  ov6֐cBNʝ084ݔo|֦1a&73Tf ӳ?}_< f 9g!e=N/ۙvAu {r!)'KinTȫdÐ.5Ke\Z//6ɇCE(awC"g"4<[ۏ:zkp0UyɶOۥ$ƹGߞ;3tKDЃ~5@oeC8?% n** 9jJS"׻!a*Tl$>AnGܓ{o]J~gTE1uEܚίO^tR8τ6 (Vq<5.'PCV"d440V' -ϔ89r@]l+paUsMvipvx Mk܂Osm,c|PI }.Q~ yhE_ XQx|YφoxK\Qѯ,QEy!*Ω@yH3oâ\mޜٗ ?47nZCί6oQv%2%[)k߯u2V:Y t{n1BXRȀ.Xxe0 mꑎ@@d(v N*yANq1Y[뛰?y3aUJ"F&V`° E^O1y(I@L ɺ L4}˜"dlp%ngcUL/,Sy1,{F/ÕxGA k(?>|,[V@T`qNłV;5WG+3%l5=fL~|Eܳ;GQ &zni v }.Gufّrgٻ7B&mӮbڀ*懗huHx-B:$1Wd-|cr{x&eQa0[}NU5D\ Pkrۂ/ߌ7{eeDSA-Yq1U x -)HJk=ӕT,S+=T΄m½:bǀDYBѼRX/7?znx\~ʷvHo~9/elkM Mq˱%wP@a$61M=({0I"ZetLc/y9E:߇0-KG7g)]:C_LZn&t@\3jHDߕ_ z2`vl? }kz p3Q [LZ (%Wʰ6Tfd+$LO~Vֻ ݡ庆a>Ȕدqj]H"{Q7qd(X`¦j2uܓfc gG&!; qjfh3fn_{qoV@ WiC1;d=~rbo3EDr:[_B _p18J MI{5ǭTaEVEu?/}2Z /&R MP^m4y .7 q*YvZr9\V\9=!aģ}w 9mѸ W'(Qmy2g1YS(Eub3$!%T:<_  ,1M7&,M#naaAy!d ~sz9Ǟ'29JwSHZ"9\vTV$gln Uڒ OZYV.!7T 0VQ^^? C`-^m嵿z:+\ݒѶ&OU79NgIW4%k%Fbq~~UNqsozD!%н}X\9ûafԨBjmSEWk,rzA2 S'GΥ6(db@Z oTϸBi /HF3䷦_ L `mKwDCqt LcOtG4`Fa_@$leN48e>VnueĨgрד,*oc# wMb cSwJ#Q.B;b )=Er0;v'~k{`pUy;k|vIQ _uL6^[ nkZUGd9!v=tȂ@gCf{LY"8Wuh5Ϻ7$ Yd}aVҜ(75%Wʞ @~wݓ^rK 41% M[fjS\=-ţ7nKO*#-R'#Y⥒q0785k ѳ DUZ4\ki\iv9ni]s޺M )w\bGQuN> kTfX\͗!tUԠiMoI[P洴Yp97y {4yt}OU ѦJ'-G0⚞oHGlSRqgmn.Q*@Y֏+pb\ɗqnLHrtiN'[jbE HI_lBW@ 5Cu>J<+vPv(\H4j(gjQ3/e>ېvMKx(Nɞҭ Mo'Pؒ"&ujQ;, 2X2:XWx)B[2>_UǾͳP9/s<(n~% ;Y Ke\7P쬑J1d+Eed5GPUƌ}]zDݭR;axD_4<'?@7^ETOJk`\UǑX-^L]LNb{D ܶ -yvzUm{w,j[̏X0[c밢e|3p"K8%/ h͡Y(ph,2$2CZymjRMkoWx63f_Q :Ob:|TP>2p];n9tf+t %rQPBq-Fǩ3^MI4ݚ?9\= ^E!\0X_/A)#jv˲!yɹ4eX67c.$l8UP=;>_Ɓ{uנ gLKdѪG \{Z=oNDHꐷ4k>aഩDNvq6:p酝$Ѐ7Hg:cN ND.~%Exu?x(o' ⹊*fô4٩ Mxtc{H"lLcb,m'Or/,` fE@Q7n iAnl-u$NJT!-ɂM@"lܐ̸as;=K11aa?;_U0aS<;ic^EG)LDu)w6;f;`2 FW.!;9XnHQTH(ImMBpoJp;ekQ!W= (T?)U{V.ofOM&W#&]mG.K|GUհACր YX{vmq!`; %a΋)᥵A]|yyIa[>03dy)k]&v.Ƶro& &+K`̉ۚ(SQqt8YN9v{)_7E|ƌh>f_wf7.gbP'1Q8au^g]<ⶁK g7#y9].3)C|$:GnUS0"gq5Xqy~%2/U6x+w+1CנUFbKZ :{&4"v&f57Yr_yG>} ~{a21'9Obj97(tB{$a>A2r'8 z }n ]=RjW]9@BgzwDAZJBl}RTKwJtpjC΅hw&{ŸxmS Tj޽T L{`kI[TaKKUBV͒5TJY ֱo]ij )$IU:={szĬv[(5WLZ|gB ,A 䊞!]*7Q8rqX*T$RwџCXR(Fn~2ͯ|Й-BdfUއp <9>Ng'$m Je2S7T#][D'1=LOT!qww 8mxU ᳱ]kvRzmqC3"7c&` ƟNK,~#S@GwV! ^j"-U];+ICzMY|6'>4#j|fELS<$TuJy/2"~5eIlW`sNgj?}/h*"(6߻C/wX^tTX]~ Q /+\]% dbi[o1_bB65gYZ4P=wiz|إ_=yg@; dE(-od>pKcU5#sJ쳱993 .hԓ]&]ڴo]+{R]͢hKu% 픒J+9p~B,Ok+ʇ>A=6 e)i;eNofqx3o~!q3i%Azav"X>NKSt"Ӻ;Z82.E$!DPjơ&=x_Lu Eifl@ +i|ִ*]fPW\*A]ͰPL5Ih47mF,$}#rxEpe52)y})wTh!Tf= OeY__@G݆3?FF~n?8Wor5OPoLwKۋK Xʑ:Ak^8I>QcEhBnCRcg1t Ԑ; &)56ݎ-9ӳV.|8%: !/|TBB2Y;VVpw p/+ דnT0"ٷ+npJ##^)u差*"q8E$..ƚX.V?FR6vށE*3PyΕ*pb)4rU.*fn _v͐q9{0;e>؂E 5]Qeɠ{#*-]4ش5opxKa8ikpT&Ίʯw(|y*^pk]H ERs1Oq#95OrEf?lOB̏X s)jél"OaU,U<2"hhEM=5Fŗ+,䣍xvZhyT\.+q#*\2#-ֽFYܻ% h.$h\W˶-ـZk,79|ftP` b18 * k26ĔMX۞H#"SW+ +W}M q}?.GnlSﶴx5$!UIJà"_+Ln d rԢT}E0i jl&RrC"OGgA=9F y8Pb8_Jޙ=(3";dJ }5OU=q<\!pr3z7Kna=\}5G>}Yp%O=?bqp,Eɬ5&o-QleuJ񐑤mZ` LpcI|'IZ C貌 PTcJَ+"b`u[iTPL 9o[d̘'c @Bؒh _Ni}noHgƛX͕F%CyJ Pdl^蠛2neRG.XӒwAbH xhjݭI_?4sR7:YTȳ,#':O4鸠^r9 B -v6 ͪk3T-`43sKb*OIgpYmIKm>07]|*f:f!>(]Md<LK(kǫllӅYj_CDL+ he-hXZoϔ60NΫW+\ٍdPPl zc0\`r*$. ]Rpga%e#EAv>α93U'%W/&EwT;LQ& <wIb0.ZKKн4-%:1$.X{j@\#?(/oq νo J 퇘~xJ_<0& ewUXWGX4y8* -r-Og;W+&}w2e,2T%ګڜ,p駸,n\&1Me au@/T詾}:F'ڴv6yX{W[$`Im}@7 b)gّn 8sgOQZ*"G$}:)2}ӷc)8To:4Fi2 u>ka,U4,Z SXN;iM̨'yw?!*\ ;oKsC!svcZ9X:F3˹q9>ظ߾7BDAs|Wq=.mi(P^`L5&q>JΨZˊRyb.]nmʳ#ވPUJ_ !l}BPE Y2V;5-7.B4j c.E)~ntFiy)*>-GF-R,NtV|?%BNa7QB1-! K aa)XlEM2䨫TQ$Y"D-d~h*q{V53y4ǙrQ!|+1m .(VN*A`JHBFv37pawg1 gYZ hXh`C7% DComparison_Sort_Lower_BoundList-Index.List_Indexdocument.tex7zXZִF! ᪺!Z]A-MՋhvG"uIBm5gq3P`J깓YkqՅ| Ii 7I/rDŽ:W1hF [$'Yc!#AFa(/=O@@,2;HГAc` !\k~P$#32{\ QqHL瀑$Dɼ QF&͕5Sϩ.%}0zڜ/ΡB)qwc=@Z^G 0 =yi*x=ir#EDRLvE>h*{uW>aқ4Ox>J M3:>cG4aaR )Ci% $Comparison_Sort_Lower_BoundComparison_Sort_Lower_Bound.Linorder_Relationsdocument.tex7zXZִF! D% ]A-MՋhvG"uIBm5htgH\K*) RI[6(tfXu`; M{Y Ջ i$T{[ j,d?ͫLh5~ 6=@tYO m\~2&]ot uk%n7>aAAjjPcY20 srtP%(ꢁAJt]`}RմgE|:DH2jX=#y m,LpU@?=njΖtj18~j,yDczb'^Z3uRL]BhPe(3a?hm}/1&m;;J!,^KDyO@ԺeM:kTܱ!*5a,jO7;s @!@UAzUr抺vuE5@|ީ/ˈk ΀FѼq;aTU"p[ O_+C$!X.p:Ӭz !}r!NU0W l"it'>s2NlWB .4,(y!*ơ% 9-tE5xz`U#N4I}ͯJ_EթA4xf}4dT `7x6$6h2O~S Cmj|*JK~B.}  *--]u1;LI1$~Lφ<}HF ݏ t®Rۦ~Nl>u:&MryK*7TYXVM&3{l=L(6#ye(rqLLFυٗ ~H\w;f7q"JΏ("2Ϋw4mzMCFTQw n91>j;vKD ̭C=-N #3)d)4tQE+(Hz 5Y3jt)<)u-4qXR݆L@F[3oiOs'ZQ} Ȃ&&0:*LogEۦ\j CHc^3婞lI*E2ف&~۔C0&oِ.@oqSg $NwKE bU]a`ͳ`\쓄ЉHڛ;[}j7 [O1b!ZR?pL^;8F'rt$:bQzpn?$YR5EZ`Mbjkb fUx߸"KXh;y$OCFr!3!*(XHwh#ٯ*FΦIXL{'íϲJ nf!ޤlqfu=O;ZF8sɊDPCH;#@4Gcg`Gn?yӼuCo?;pjصbP֕(aъXqtpIw[TJFBB~ g^sC}t " 풏D0fG]nJ#MJTy\q]arwϤ $ bFyX/Z-ͨ^KƥXqK@ NTGE2߁KJsJC*ƣl*G'MB9s2D`i'Jm#r*w%Ur̜ߊS-=L_Z@}+gIAV`bJ#-v݌բ@BGSpE)džo5Uk!ȆoT}#23<; v^9s2ݼNU4y:%\&VG' %3YYҥݖn&9a@.l` q}kL,$O1bH--{o*(䈝q Q${ZX鄽hj}n|JI|CƸ(čef) FY xsȶV\AA=T,"Wd~ηg|F?Lw/|7=r$`J{^ ߉)3LՃ#a WbJ7_ 4wdX"OWCꥬvYU׍p2Wbk{!=N~@` a9Y6+8mueNWL$?W1BC*z+L~<JÚ:oHw0#Y.eP"I`PDaҺ\&R9@׶v3&ڦa!R Va6C㰠r9 t:{Z\~!t0FlրTBZE2Sh?LﵠhzcHe@\y.H+ VɔIyz3L|裇sjwkÑTk =U--O-,BmHm>z{dS|T&\NԔV!TRjND}e#I>k\-szh(5@6Ҋ W3n>ݗi~iG'3qr/Y+<:Y*3R ĽERtJW,{i4r+~9fo\C [{Ԛ-;_*~` 3A&fTg9EMÀ,EV-%.Tvຜy5ɄQZl nϬmkuX_llOE6]ݙDP]`&[.QuWmz( m.&h&Bm*fv!}%d