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   rC LL ]S Comparison_Sort_Lower_Bound:threads=2elapsed=7.810cpu=14.988gc=0.752factor=1.927zXZִF! ]ŗXf1-q恈͐7ӺV 2 CIMIIeΫ=_J#]Sx!EkI0KyJU4V$40 hf̎0.kb~k'\hf~J7cc_߷D~}{2bF#u_gsT'nc<|0rgr߉AIO79sC:a!q@f~B= X脚Y~XxbAŃJ\)`߆%DFY@ۖp7eR?WƚGPR4HJ5牶n"Hs WcPˋoϟSMb"v,8ZCqxB:UcV)4#-HF%'9*DQ)TgYZ7zXZִF! n]ŗXiɟFTp>>cP$qXLE۵Q0kiPT.NMO-ÄyT.Љj}s=Œ,as-ewCUc953]`в2ůblsrj3A&,BnJ+D!OY}1|[/nfZ #v8-S ^1gYZ7zXZִF! 4]ŗXi%; ; Nk=Ёl-glQKc@%O:'#fpR03(sMzΎx2IPLzÏrfeujQVz^]J?ϚstQZz]~#Bl&8"v4Iv]Yͨt(p S @4%Yk+tٷ Șm+l{fdre0͑!g'ozWRreI; L皝㍅3&t&^dJ`»6[\"J wpȡG ̸% )gǤ}Be  Z#^:TڭH63iu!F|+s=ʩD^10:"( ұe/Z6d1q* VU'ۇvٍkfSRQ?S2|$izp`[- s2X7 U BT"j+ yd2qO+ypm}з='ʵ<֒,N'zRpF@YH-ʰunzJemVNEu kVi d cv##bn:X4V@H@ʝ,QB%'Ћ}d 4';f&DFܙӓ jrw $!%m}d_Di5]gYZca08a0b04dbc48405c42e61452140bc72573d6490a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 baca57aba4a2608ff9db48236e40910e56e61fe9 4c9232a9ff96cd5f5a7d86f897afe67f493a3c41 C Comparison_Sort_Lower_Bound`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} Ȃ&&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_m8Ck.(Wf9C 2̰.A k[Q~)=,&Z9i(n b}Sdث)w|ѹ6Rɐ 2YU&~>3~۾ pg}a3}& 8aB}qBW7hǀ5Fh7-68wF&Y7Ԍn˨_ )?4"XP$v<-.X^Ar"nzK3;AǏu,݇%=y_6t[0z4EL3=*:$٤ m(n%ΥDTj=vա,Q뺗5Bney,Qίdϔ*5VD8[iƻ~,:ʚ]Acю5 ?@NIr9׫<,@$t bp҉7LtKͣ>mh7{ICy0 BcIb1[SD93Nar:Ҕ.+v$0AS1JUxx5ьVT.,`{N#_dHN/GnLb_˘}cf;8 3_" xm sR|U p*ӤI9Qg[Kꂜ ˬM+%{3/ W@칾jUQ<2 AjDyB(h/RC%:ĩ.f2cBQy7e fp d0[`F, Ea"`)tV!C^C/Y>plg/%Ÿ?G!wڢ9ohH?AOV|D0y;pSGe<BJw0Fk_1gzBӑt晢&bl$n_Dįk=j6`tS+y36)-3t,kH]mȒRNԁ!dT)D\Ԏ"lȣף( /E:ú\ݛ[Pq|Pbοi4R 2adnf6Q 1Zr \|27m CXBeC}[`>Ƃ{\{8] ffp#2~ӂ44:8c[)K@J 7 !X#Ɏ2%xQ`!ޖī'd{QlRw4GL=F+NHqn:DOeu;sڄp ol#n1Xz8}x]d#QbHz=w_|ݗ1Ʋ#jKIeC EF!A&T@u4_t/귃 }e-mEglRȠZZEk(ͯ<_y~W~2]Qso*.D6sKIo`AVd'eQM01=) (0L ߃ 4~?}mVwSKTu%%|Rv|hJANM/{y΂,eBl*beTqwϠ)s?#Mֹ=0*!/j _ӿV{yPԦdGab g $rozh@VF_цfX6@a`TB̶tA*r2S.^Ow_Y+ ӧ<.(&ꃶ{{GR۔__]DX|A U}]}E F/dY2Y>R^Xfބ{%aiws>4- D>~8} ze+i=J\a2jӥ~.09R>ʧYX34yK[~8k~9iN$0xe`Qawm eSm𫗧tGT99Q <%5czLWe3=ojYWkf%QȦ 7Gs'ƌw@ɹjRn~K 3@*~jU.F y_ƳuǚM{"15ݵtr%9v8Vc.taB>U@f{fM$(q*IWq7v[qO6j%tUWE 6Gu3;R6 Ta@fKg2h mfl^K^N͘.[UzvH*W+ ڕ$ .9;@yXN\E&V\)ʻtN^_0 * ']Ї)~:H6VI89~u/AAwl *aUY8͉^|+ "LFF?d xl4%VyN3`8.daJY4-bhnhzpvꀧ#zVdH Bqm׭:.7SCtܾ]]ŀn‘h坎1a-kAK{DP e*ڛ2]E g A.}I|f.KJGծ3 .fW[}va,ՠz}~ * g::x1O+{3yIȸ^ xV"dCMj s)!)M /Ԍɘf1k}=2ok>y}6)kf1b30s$b}A( 3!%; ,1#AS "w Um*]NIY =x(8V85e9&,z.tm*tCy;yȦ9 q hNV8ђY.%\~3 ;% 83A&cʊϴΠ_eJ|Tnpx %3q콹B4 L G G \}'D 5q Et J)Mve ͞ 6 XWT.Q;W&wzJ!{kRf.U%b#aKTeMܷNS_z)>FWYgĪ(80zXcrtrGUl0 nLU!xbqS m-KvOڤs_XSf&y}@_ܭz3DXxlDpELO#ҪtC1*EGnuo;O@rF5Wm:U$ n(4VQ=QaS'Y sDA WC\􅸒S:2ujf[f$9%U 1NbU/PS@TBv|S^u!Ħ'FsVB :J^Ko`xq]xiuv'א'F,Ex\Za?|8,ԕ[ NfgMM=I9bZmo7}gUu|ƧO<gZ-+ '끘uW2{* 1?4oNoIdA:XUWG(J{{byCadEIϱodKkFqO\'Ds":H%}NNc@j1eh>?װ/c105PvN,mڰL,C{Dp{W# h—_2pW>1nx[—Ɍaz|a"yȼI$߲ɰ K˚R45_QsEiJȬO!>7:O z|i٥@NdQns#X1 2=v+RልLdx nDS9I=)A1B|0_gYZ )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_bB65gYZG5mdW^<4oOͤo54%"u|Yti޴ ˩Ūcƽ>T -u=fySc$}q7搛5/h3#;%B!amMmZ\Z$EMdʵɻR64tT4(g(H>nsO Z!}7Dmsfwlߡyb-]w=mjNta/Wȼ [֦Edf3'ѻ[%FTYAK?mFm썏˲@lfኖRܾuP4iPv .F!Jq}:N*T:c5Z*nAqgz}N@^{?mU^I?F6֒OA~[Zh-Pt);F&?}E곝a Qe=؋h7d5Iezڥ|#uT(*:fO01B(Q\3p fV!A1`mzR>p1\M,ra!W8mᙺm*hkz(@JK.c(-|n=B}-Ȓ<4 `^B x@Gדu%p1~Qy[W?\VfYБ@9CՕ(B?י8iE݇;*}뤓{s:+HqIQ`)L<(.PNrx ).|HޫNǾ8:% j%Z\.ԇ2 |G"z'行ll/Hvt2ES9nLTF3Q9feszgLwaE뾦(J? FOMEI$A ^Fg䤕}v٘}hԠK(Af.3CQ9OV3vft$gw؅T$2}*RaGVjZ =̵]kL;,"u`f yIF*"bEl:`ih>:ƅJ*ncyleBv3wJebG&c N&j̥eO* hP0х*Dd`F{W]I,JLEݟͿ= 2>y)RǷ0fI $jdiP܇&`8?qF&eg?N1xq.:Hɚ4ECPelQ4s`g;M{5y5]'r5;$^I؄1Ǻ.R!QD|o~%Tej|VIR1`Ks|]5S<>FK$//vV0~g9"nCS{~VXդ<;ò0E~ iV )5a)KdoڵtYI9`E(y+]ƛ&FI8 +m/']<hKD1]DxqHx&F4֏r$R>Cfzc",$!xvXCfon.8i,|$m^ʌT]-fz5d۩RY'%;zVMe]hNݳ} 7n!<6>Rgbދ1/Bڎ_OdwY}ѕ*{UJ}x7M-Epzvy!$9 ggɀ%υ \;T=ڥo#iGRy4ds]u'-;n" ;݄ZZRL2BK΂] 1_Xa`:1rԻ#G Ql yc #gNk:j-uK OMJeH<9Ju?NEgqtnew0yeG$7e-}N?:SM-eHqEs Gqn=6Q6vj# iY qǘ=,innńά8MLr[t:'CYxaGJ3kC ܇Q;4Ĕ[ \ker(&7Msv=wE12& r{+0<L`;bі1CA䊥-+{࿵#pbMq:b(&V]fD2'ڙ 4){.(/p*Tׅv9>v48 d_80 xB p{z`H?-qSӱ|(k[1K n+->`]wrwka#kX~_f 9L&VKUBnxX"K UZ3֐̫|5P9"_15 0íNS7F7#K<+ VH=fzlzH4¹4Ő<'5%vH|(׃V)ŠI}i'%W^A"@WJx;;u^th.@q^ 3=!0Ec8=jWwn֖yF1jgYZ 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 4Bbs~R5&貯JȶvUXϺCs6ŠYҼƷʑ/J?1DV@L"۹XTFHmXk^RЪ'sR̾h .3<# .HG8&7*@B(2N"![[Ƴ89$bvz؅6]󶟬%iD 0%̌;HR_ mez4?*vӟkvID;Cl{2wVaQ@襩 W c X? oU-ĉYɃ q eW ͕?ګn#.)ڹPv" :mys5 z"ד@|ϴ\Bmf Ή߄(!Dz32E(x&|%'׷&OVGf b mi;n_6 X¿* L=5.kk Ǫ8)T!D"m>ry g_ R'=+#z-czwbF(D|_-/=(v>=UG2cmɻI[HBni*OCR{؋dVȵ%تT]D{ E4[VI@.]/˾ jR8=zbќmjR_o[7t' FMUeGF*z~ٌ"y(3u*R?=_c?*tu puexhhBa;/\gy{kxag#ZpMDV: R>A7$ +0f,ESK ÕsC֟QBAAKї`sH=(:gn 3ƺ"YKx>\Zhc9Uqކt4(5d%iWK ̨ ]$T}˸qbGc#Nl~췤_~dτKO-r TO2#IFQHш]BltywO:Uѥifu"֝C:=t%}e DpNw oF sBaAx4҈[l^b8-TYIecYC< 4@L>A}p>Pïe1AeJ,c(DJ&%b˱Wtt4nk1%lYʅ(.>sbX=:"3.@݅Ajr4ah-dp1uZK~EH !+[UG2%&i2ޡ5 3YeX(H;_7&9.um/&wǃͰ_^=7mڈѾ+'uGa3u٣xF$ኍQ{ߵi~PhVf>௩xVfHT 7W$q#1_k/LlԖ (+PнٰU4ԧXU=-#8JVL^]4a4fKF#9Ɩ?*$Σ/.C