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 7 lT ]]Abstract_Completeness:threads=2elapsed=8.639cpu=14.996gc=0.796factor=1.747zXZִF! :p]ŗXf1-/6vRZyغgЕgQ,n0 z߇+UMe֥sFèQQY)z,26W,~4= TP~3F_G]7r#}e^,eaSh-0c{ӏ8I~8Q#SCPTد~|I`; 9b1k]wk9uT?&iWOU]GDm4z;a{8=";J_ZfJ^U˸E؀,M݄ i i~uaeЂ#FZz?Nũ\I.׭b~O a5L`pW"Q+V8gYZ7zXZִF! ]ŗXiɟlAC,YflӅn] 6X, ڋŲV j.E;>ҽf-:܍I?0f4w{rԨtF'5ıgYZ7zXZִF! 9]ŗXi%; GOGa*!}}}w%KעFg^lRGBs8)q~/ȗu ^ Jj):s q9q *T:{5/d)ju__͈x.Q .n{0fKD֮L,d 29b`ܠY\4_5½ MxgX~@Ӑ(O-ܓĢL ;,+D/?~9IyҬxׁJ.6,A?5Fa}q/5]D ]+/^,MyG) *kj @ $>spm%D Pwֶ6#!AQ/C%0PQ~i"ۨw .K1SHߛ̲Bi %-G\Ϭp^Ѡ'@uIqh%js߭.N!i̶s,MRDj8\I%*;;&) r,of-ɟSilabI+CC\(a =s+] 6¤k$2xp^:Ć,R{B „Dw'F|Q~ipr=[prAYe"+rqgd{i::ݦp|'"ҳ}{̫ JIIE85 E5ϓ5\H$[Ori8b3s OgYZ235066a89972eb57158ccffe3d0238e919942f2b0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176ee80c1cc41de1bec01799de1607ebb466ffe2f05 7 Abstract_Completeness Y77% DAbstract_CompletenessCollections.ICF_Toolsdocument.tex7zXZִF! 4]A-MՋhvG"uIBm5B&@'LgcѸң, ?@nAf gak2zwg%G)몇eT42:0|mCجw7ΐWDb[ȴsCE=Rl%>ړDQHSӟb_{jL94033m@Ӧ cL 9="Zvn&f l?%#Ax*lscCFvH:t]Wzm6p^/'+ b M4VAh7=<+ÇJI2Uk' g{vMK݌20Q7@Ц0;Vݖ54B 8zZRuʊxsǞoV!%IQ~"1yьWPoQma:wjlCI'~ 3FȝfxГ-Zi.kz.siHFv$accQRq:˗]9h5`o/sVqW’o뜤QOO © cyu.q궒Y %0i!ǧk! p\I7hZ$N0ZB%ٮTJ41hTt?vr *V"fn3=̷?٦=8f#O` $bgKwgtާ+?]`֚%ӭjoD si 8jU3Vj =/goq]{9xW]? ?0/|]-o q}9 X+xu-Senm0#('13 5l'ٯZo>p4HqKl؝ܛZ(4(ҴjKʿ6V E|~uL-P[ҏzVHMJփy|ֱ̽ykd.FּxO8;,7~ nN}0stPL a=n CQ\}iDqw+jH RQQmn'xp{FWzJL z2?XITeiS!m?'/|dw'UH|Kyk#6kۙ&kd |e}y3kpI]>cNQDŽf˵EN"Up2{凑xDŹsBuu0G'h#?_-`y;ĩE_zhw M >֯wFi^yM@y.azG7;% Abstract_CompletenessCollections.Locale_Codedocument.tex7zXZִF! ]A-MՋhvG"uIBm5&r:Wq_Tb>,i#_n !sI|n9>wB9g"n'G8MH~Ը襳E`sJ[&JGբ7Kݫi@~B1+\WtEv_(j k{_4:Na5h^z8F(݇ЗM_:wuI$6{E7aeݑ3i#w]] 4< Oq;:$pcKL,Q Еڀ^6%;/'}n4K(JT<0rMaN覇`2apw%+@$i"O5ʇPo=֡M8Qx`|1fHx@K*kfob0qN͆v :q*6ߝ~۾9q[3$P,8Es@6 iC,Z*BsymA{ 7 &b9:4):gU÷GDZCK'@M *?r mXA8\e&fԫqdk{O_[sZiIYn_|Ì54Nc?X}J4{[}GsM$ ]-tz @*/g .[/#:47Cߚ f ͱe) p?ʪx*J'گuX;p */Y/|Ы *=-k&9+3mTٚ#^#%f7U7*@WhMl3N.ZdM&z@I>rk{I<ʱB  ;]) z, WκK-9/0~WV][tal7;{ά5. Tb;p\ Zx`:9=R)vLG_!$%MP)?:9d}[v&9r GtSF__x[9T0TNo-eSN5~}o(_*J%8D @ߌ FwpLԭ~4Za ٱOm %n%+Rzqf_HwSoUʩTiZ0c`l#mD/TZ?RXz7xNlQ?!pmZ~xVbOMYs$.acٲVņM>`K ߰&r _(3jAAAt ^[8D6-~!$엂}WN/N% ^$jX%wS.ɶ$=S.!9 ҨhO#LZO^۱U>iOg0D+X:Q˶Jx3~69~FnM;Ξ,W#Q. E%ϬkW&/.Emv7/㚄`5vt>Cyf+&#17%%Q,V6Z!a/}a&﫤pn5JI[fm?u3 ܦ=EZDrgv6 ʛ֥P9ƦN-":" 9?G#Uٳ;oqnF0v#?"seR3*#yhDrR1I0pb14 s l*n]}6r/'Q1:?sl \ߧGϑjfPꐯwhT撒 [[M< (H+7dU6J}DC8OCq}d  4C7E%Abstract_CompletenessCollections.Ord_Code_Preprocdocument.texR7c%Abstract_CompletenessAbstract_Completeness.Abstract_Completenessdocument.texP7_%Abstract_CompletenessAbstract_Completeness.Propositional_Logicdocument.tex<77%Abstract_CompletenessCollections.ICF_Toolsdocument.tex=7;% Abstract_CompletenessCollections.Locale_Codedocument.texE30 )|Iru XB[Ыe*"IZsXM68EsT;_plP S6pH&N!RIzE[B#ba2f6  Q9T 1Z2}ͥTl(BŁrNCXC#2X# ]uf&9|h&G8k5r{r;̐SE7iZ9RY$bfSI9j!D@c_PԸL&$ʌNĜe:ElbIә(׫PK䕣'\43h=]ji^jc3.nXo$ӡ£KTj8ʁrnuK;+h$Tfl.r:\YM*ɎݫVOن3(4aTwA(|; U4jwg10- Ыwo3 ύctӿz, 1O`2*Nܝi0?PJC܎G:SVƤržx#i.'B^;ǔZ3LyPIy`̓yl1_IͱZ-؞xӍM)"j߶Y|e[o–CnGwz$4eeW"< #!;Fsn=0,c!86ɓ/{>yw/OR,HkU t53 GP=Ղ<9. {rxWj%Υh=ymd+D>ekhv$fH[.Dq) ؞K.3*,3zĝGI1H7M%0^!/5F7:.KKJnڿ*Wi'6Yl>V)MHK3)+mj_A"~h`1WgG+jCmkֆg$z!^Mw ,ZqML'j Ȕk9DW>K,8eI[wlg<èo-Q0OMoL6&^qdP K!Ʈh|:ȣLESaL9y1Gb~ԺmH;-'$ K1zcFN#ѥ(N\RjM)5oH6J }RD%NP0׹lMx©&^#5sqh=KۖԔ K-$$KO͇w2J%L̘t*%,&voW#im?$14Kaߢ&Wy1G޵7ݪFY[Xdd^tMpcgU2 j%+꿦Lwtpw.A 1ٙ [k-Zu=Cc@ƒLקi- rq VByPMV|sheS1.ܨq\UӱE+ZpR9};O&zWuE>|n۵{DrRٯjL\RعU"vSQfoK(&2)!7{ o]t[عsߔH:)ބmdנaC6a!Sck(1uԄp.ʛiNF?jم(4F)K⫅\5C/5G*k]n1iP,[W-&9"}&M<=nfiBu]SRl'ɸٚY$1>auHk[0q+r_k^rdG@gU}O,*/ d~i m^-e9tT+Nod ó)H#`N]rc"Eᘇմr p7y;bnb;gx} 0Bk$pc<B{PcX:3tl%H8lҲ^{KIDŬSp WwfX> ae?" YUiMZ(koi't>Agg=}*+S* ?. Ra"':&rg'[N D"I@YB*0p":+*Fy|g }3'sN_/|BO€mG tPmOvkLL 0-rMၯ0'-ӇW!q.WsFtrO^n9U)}TQ/&Bk=cl oxf-bO*;--rkɟ+wCC$ 9Pu9ރsP׃ccH:6qTtUsm7e`em,jH8t$v‘pb4肮r;DU,6#% 8 ]̭9N[ɔH +yL3l23{lBy *WAwէ{a>QxF(m("}M'rI)hN`ڞYzIvRDC{vجgX^F KR'wqnG߄$t*A洿R,5mk]H,VGL9 |VOXE]&%û6ILk +MQnNF`)76 E%mGPgf 9k58lf<C!7YC ,1=T'}Ζ=+ d]i|*Iv sXfXbWƆ1uoTkLa׷nDĖˣRK]1/SZ .mC ݽJJ2s(djʏ6Ǣ^-T7t}FEEQ|ĿQ+v,N,gZݺ|1cڦ֙uv@0 N`?.$Qg[Kꍩ+{79Ks)F |]*XԢJ@W&IM.Qt׾~T\`=݉JZ?w*ܨl(DzuImӱ$[FX#)Z ?1vb?\8&drϾqX|+j>4!˱7}?GAVaL1IvEPlowč )Z!X$x9M~9Hթ<c1phE%XOj1#3s'A#[96] HDNp@ؔ >QE(,҂JîeY2O3v2H\Jag6tɋɜ=24.0U9nX?X?nf{y2 Vq8$k s9k}"1|uAbB 3a$^r ׌I3 mgb3HҎs_BMi%x!D5lnegC TFK5RIruS…ESķړid)33u9_[Թ⽰Z3ź) 1bPzK]lebr{$JB\p _l,*VCyp1MgYZf`]5DUYW7il!iJ7F"ѓ7HFӇ^vԑE2vn)2F2Nt A ԰'ɘRgfg9$t lV"9JmX79$WpPi^sp9?@V;(Q13 YD%L7BgťٓJ@Fc)?HoikP9CgL?`Zy>FK?I$mzg-8 Z<ժDZ9B|W\ҍ!=ĸvUVPK[!txUl4qBTTH9v5w*LmT13QCr6#} [WM;xjlW C1o} 2b{BB{s0t~gK\wKRzpUFifEn܄v7qgyVXօg{&4% L㤮ƨ. -O5=`>nOL+{IPRT"wCh>g<ޖB NBڛ2[ XBoWXG1Xu2ydv饛n)5= |d4}~-%!A8H }|ѫ}['؈lt3D,#e6RRVJ4zN& &vj]Ǩk m $΄!&KlZw MH3-9󶽞e=*x֚fOҕ{FJRi{,ʍW*!1|C4_{J%0KtIXF?9|p]vqSTpBf9q+o~-U#R #wvUɊ-[LAŒ',m` ͱŕ_d 4Wz@0HߌD--{<| xP/Z6/N-UI53K\X:Hnq*sU{LntNESfTX3QyS?{:1MS,.u] ulFA2hNIJb6sw?6+7i.1|'-,QɏP6xuGSq,B!A{qlqixk`&46[ƞe+ր5bR7J%(YބFURSa?P(!Գ'{ڬ [EqU_OVA(Y>0m@:⚂*B<]f{4lkVuE]T-ʬ9 >INܐ9JfNzzZG!%(CtQ  l _*am?\` ioxfC*-& R6(9'X:Xj?2%^x*gMd1yHkdQ2ϭr0?$4!vJ4 s,U|D >E\GUpq@HjQhلJSNzi+.`j[2Q!7'uqy-jTtVBS4V١|\$#)ɳ=e8Y[,9TK`rhYOQ g&m==jLpRͪuM3@Qq_,[>p<(=i1ٗ[.O:77z*Pu9 =j>Ge9_']suI p);:)45WY:&biFO jv[OH=#2T7}:J,M}ܲůԨ.pQe|w0~9 24 @ ges W; j3QdRuF쨎1榶;X:MX:1缸'}DP+m2P3-G{@P>ob"x,3V&"b|A(9 }C{;Aɍ9n._ױHxV'\~( N 6g v7."7X?$Y롯!@Xe\f m}_OE4Z׹e v6 Km3[e\ɚlJ׽\rvepN.|X0, yy 0*/.X& mCkn|O/mG*C x^>uV{n{B0RĔW,K4Wm4t@~V2iU MB{TaX཯$22j@j"-GPMǭ-1[;6hiǜ]>gs7E*QARY羇Ur?6һﯛܽ{?%$nPJp6ՠD7#3zBƆjf7|''DJHG|);D 0YXh@`2cG[M9AY l(]5%&]u>3*.*n^ւa=*iY~F,^zR|5R֭2BRȴvm~hTdC YB-jF2) UȨޙ%:6]} ܀ SU pz$d)@f$8QbUqgCKoW cqR |=@לrm}t!Kj>A`@=mb3X:>Z#. =H]+Ŋd\mk㎈Z}jL\N&wm'pc"_KrW`7t)`r k%P颕I=Gd. 4}j|ojAS-!T hX-4XD#{q8z9+xDf+L&nV8m-~!W@'zHlbUEF]Zav;\_ū9h" d5^rF+5dMc^qq|Tl ;]1Po&XMmuX+?G˱gYZ JJY77% DAbstract_CompletenessCollections.ICF_Toolsdocument.tex7zXZִF! 4]A-MՋhvG"uIBm5B&@'LgcѸң, ?@nAf gak2zwg%G)몇eT42:0|mCجw7ΐWDb[ȴsCE=Rl%>ړDQHSӟb_{jL94033m@Ӧ cL 9="Zvn&f l?%#Ax*lscCFvH:t]Wzm6p^/'+ b M4VAh7=<+ÇJI2Uk' g{vMK݌20Q7@Ц0;Vݖ54B 8zZRuʊxsǞoV!%IQ~"1yьWPoQma:wjlCI'~ 3FȝfxГ-Zi.kz.siHFv$accQRq:˗]9h5`o/sVqW’o뜤QOO © cyu.q궒Y %0i!ǧk! p\I7hZ$N0ZB%ٮTJ41hTt?vr *V"fn3=̷?٦=8f#O` $bgKwgtާ+?]`֚%ӭjoD si 8jU3Vj =/goq]{9xW]? ?0/|]-o q}9 X+xu-Senm0#('13 5l'ٯZo>p4HqKl؝ܛZ(4(ҴjKʿ6V E|~uL-P[ҏzVHMJփy|ֱ̽ykd.FּxO8;,7~ nN}0stPL a=n CQ\}iDqw+jH RQQmn'xp{FWzJL z2?XITeiS!m?'/|dw'UH|Kyk#6kۙ&kd |e}y3kpI]>cNQDŽf˵EN"Up2{凑xDŹsBuu0G'h#?_-`y;ĩE_zhw M >֯wFi^yM@y.azG7;% Abstract_CompletenessCollections.Locale_Codedocument.tex7zXZִF! ]A-MՋhvG"uIBm5&r:Wq_Tb>,i#_n !sI|n9>wB9g"n'G8MH~Ը襳E`sJ[&JGբ7Kݫi@~B1+\WtEv_(j k{_4:Na5h^z8F(݇ЗM_:wuI$6{E7aeݑ3i#w]] 4< Oq;:$pcKL,Q Еڀ^6%;/'}n4K(JT<0rMaN覇`2apw%+@$i"O5ʇPo=֡M8Qx`|1fHx@K*kfob0qN͆v :q*6ߝ~۾9q[3$P,8Es@6 iC,Z*BsymA{ 7 &b9:4):gU÷GDZCK'@M *?r mXA8\e&fԫqdk{O_[sZiIYn_|Ì54Nc?X}J4{[}GsM$ ]-tz @*/g .[/#:47Cߚ f ͱe) p?ʪx*J'گuX;p */Y/|Ы *=-k&9+3mTٚ#^#%f7U7*@WhMl3N.ZdM&z@I>rk{I<ʱB  ;]) z, WκK-9/0~WV][tal7;{ά5. Tb;p\ Zx`:9=R)vLG_!$%MP)?:9d}[v&9r GtSF__x[9T0TNo-eSN5~}o(_*J%8D @ߌ FwpLԭ~4Za ٱOm %n%+Rzqf_HwSoUʩTiZ0c`l#mD/TZ?RXz7xNlQ?!pmZ~xVbOMYs$.acٲVņM>`K ߰&r _(3jAAAt ^[8D6-~!$엂}WN/N% ^$jX%wS.ɶ$=S.!9 ҨhO#LZO^۱U>iOg0D+X:Q˶Jx3~69~FnM;Ξ,W#Q. E%ϬkW&/.Emv7/㚄`5vt>Cyf+&#17%%Q,V6Z!a/}a&﫤pn5JI[fm?u3 ܦ=EZDrgv6 ʛ֥P9ƦN-":" 9?G#Uٳ;oqnF0v#?"seR3*#yhDrR1I0pb14 s l*n]}6r/'Q1:?sl \ߧGϑjfPꐯwhT撒 [[M< (H+7dU6J}DC8OCq}dോ )@)7c% tAbstract_CompletenessAbstract_Completeness.Abstract_Completenessdocument.tex7zXZִF! \!t]A-MՋhvG"uIBm5y6C]mĹ潀Ɔ PEi/.B_ _ȸ}TÒT a)y= w`t+FGEc]I9ʔI ?/=\rkJL˶^m#IBщ0.2 _ 6W &*Emgwq ˔KUHImn^tȋ KkY9a_P/H5QϱK^&@q 0ws`v6vNb\yPB9̭R;7A g\ p-/G/yAAb83," }BGΪe ˼. #S]aDW;$[K =7_% dAbstract_CompletenessAbstract_Completeness.Propositional_Logicdocument.tex7zXZִF! y )]A-MՋhvG"uIBm5LDj1F>[|$P!g֕Ma%(<~R44 W>1pAx㌻Ś9;Fex7ڂ Q"*nI--8l*|b砋/?HnD}AJpM9[1q'A_Z6Nj33@qԆ: c0YVSxp euv^1$^-O nٴZeS(\^G@kEg a9+9[P l!cZdʫ أ(uqx"](6^{mrmR}0,ٍτ΂vj[Kœ GirO8-%ek~j};UWҒϢfb]qhǯG uAV34V"lH=3 _zGB}Z, 2fzʾM k/yrnP _:]2 -5" ϥ٥ 9t jkJ $WDDC4t;4T_T( ^u `֐!&Xo!28˿<35'D޴Aͼ +RLp;Gz)zLTID",@uX_Mn#u|ՏƆ`0>BWnd[S. Hp@mdNgaw2o'zhˁڰ2!CO}C4}CUnnٲ^RyIH%jirNbIk?Sӱ,`V@Gw8K"or׿Wb\| cɋ>caqq[N?5V wx0$Z=GOZCT球\[c8"gΛ$˩b2dW x@2OhK--lKe2Y4d4mUb5f mr4|u bMp=jIOMt<&\~'4( Q-{P:5IYDeUu}LE]HI8u/q,+ zsORMdԣR )yay'F&8Fc p/p-z5c_#?1_wJhE⇾rd` kP{pf.y-^h#}OѭČNm:b-\( fΔ$IM§W!ξ4C ONGmzOzB'{}y +i o [ayތ1s{).JƝt[8,QS D Y6`ʪ>Z3Iysߑ򰯌{v(1(hwUrGG j5gXYn{A8_W[K1;$鍆p%4 ƔCs:78h!dɐAo=HveDqW ;vZ6 `1hM-݈X'kvA,IJQ5(d(/M6P_ڔ* eGm*@ll~n{FSfINX~hz kLq EC]wڑ1(4e&ngb 51ԻKڤ|ã$ErE^t5S ~eRD6TCp11P&W`V4RVڳ6ԓ\jc(ůRt0FOe:P{ M/ a NxTWT2ah4qS=(ovc&)փ]V=ov5s$T˧#I/y}UVdDx@)(Yo׬Il@NocxE_q Pjij&7 AVޮ <^Ǩ=$u>Iɣl `1ۢ%Wj]}e"+ F0m# $bC_ b~_k2|"ў,-9њ3ug}[p?#g—]",Y7kLLV)$x/F&@RsYnv . OYX1Qy/ͦ/˧>VC\$ٻ6/rGф'Z883vsӱ,6qf ;Ϳi^eF(/[:5ENڰeV$_2lp*y>YқqRǞb<8տљCMٝ%}2ʀHK90ggl!t:+L;L{GBY oǭד\ŔC3нJhJ-bpX4%=K* R_eD˧ .X[=a5#/7g叫Rh ܇|gPNf'O0Pe 5۹:\?5& irhZ.PzN:kYa!EGnHmSpHflx.t-`4~|uk,&X:==Sg]Js#5=g&t>'`WER=;<EZJkl?Wv[7?QB6,̧$Qn\f|c29tQh 5vMSD~_jIR}\X'I|(ܵ5!3Q<+dAk1ofnyd\a vT"Q:l^t{m,.&gYZ [[)7Hb}R ^EpD6[p8p:Qyod<̈́/ 18.hϨI}N)wāvKb_@=Z* o<1^Av1y+8W.X+n' NdXc&R山Щؙ_:o}kLtnβv $DHz*뤚q=iBTrA}IBz@Fh~dvmg(a+@ QX] Z%K=WR; ʞL? ?z &g z.-𙡫<@+wۍ#w)6wrQ(HR>qF?ڎnhtK4v/S M67(2*ڨ< UK8]V*…{&b8t H@[CԴDP6!uLhF!e$j*FFqă&ׅt辞؟Acd γ|*YC F\yg}?]Y Ñ:_qUFG~#I!uvB )A ؊YؙSȅ| s\ބ{7CXwfRyԁ#jf& j9Y~LtDL_5oJ|hJz+JP99όPjT%XS< V_oVZjAYkܷ6j|juLٝs.oQjocoy[ !m<)H._!UdVGVӣ7Tb 89c^TuW/#\Qҽ-:o\ YU_Bqeڗx ~sOϝ_Uz\5!V85B#zFB < zwESoGI[W*-J~S $B1_køԏmt *XbRX!<_5_ʁEKjbXsh5]m3d?k[LDۃ1SHtRSR ٫<ڂw nչWV!/}I \v³ .a/F !aFu& % zŒK&; 6x!?>aǝgvNjdj׿(uyd5R%nU~Of(/[V5!~Ԅ kl :{IO@ Uf?Λ-~Su|V6kZCYʠARd;jeJ؏@mJ:)r`ƿ s{rMɇlm\QUE2q<`/@0: -YH@=ߕjY#Mo{cO|Q >?mm' S 6.`0!{1vwSX6 -R" 痩0rt~a6i%dwwڌ5|cH nOSɝZpVxO֭[p:47-ɒ3;k$X-dm ^"`h ?=`x\osW-gPlκx#H9_!GB` Uކw5&bb+!qY1/>^o3q݃Xv>2DKe r0M%7)<4F>609ul5m딟޹XSpDhoZuq]gv3N]b e_;k9'vyV2zxtdf"Mt!C&jTN6i~dUvuP -6:ir=[*/Njt04PYp #tZ<Æ|mnA땳xnS͢&b`K3Vk'Ѻ|nu(S30Dsd~̠͢(PQywS8=¾= #*g"Yd!phϕ2O%=њ뤍jn.j5/(鳫"AhT-0B1U!0Դ ڛ1IoIFCr{&'P1#&~N]΄CRJ<}zéXzͺ([pu)xc398>. z-S"n .4H7r4Rmy^%uRGS7לF6f`Kuot&F"yU<֐GB@i;^ؚ>B>23 %fh!gn&5b{D,"#6\U-,O^,;$e&o:ߩj#oY :-8)[Xps$m%=Ƣ6@! m !_s@RcƄW T4O:K [})GDС Xt5 ݟ0?SrFiL9_V:kRVX6s\".zߌ{^FV'F*0㍳N0[rCIan+U/!Y[{Qp'!ʥч*LH;U{\Y:r"}C$XPH Cg-~*4ㄣvFBc ) 0pC+(f|nњyFy,:v Su*hF8?Wq>1raM'b‚ Zۨnj m{fu G4Sw3kcLrE˩*YCe-ٌD,KJSaRҭO[a¯HbZrp"NF C_[Ѯ.d@*P-2KwUf _6_@@ JBю;o#,׸n[T[}DL(>M~O^X ՙvt;^H6Hc)H{ў g9>o=3M)TC7e4LJƯTFg줱w*XmA}H!jԙ|X2n'yUbk}@̉Ge 1D1e@[a TE}"ZO?>+!ۢ,͝m7Cֲ/*% ֍С/fGɃ=,opʫ jxL\t3YO'#޺g}c'EJEtyV=.r,|?l'T'fjEvW&M HE,ܷO Sa'?84› ^9)myI`9GGgz3'hJAw KWQ8e"Ꮷ u8Fs#4zgl^Akce$/NDb|I/)n'6Yb<7a6M|{,d s.w+\nd1`Oťoxӯ/C*~:gj[B(3}+ӝ:W:W#+}G7:gxoH[tډ*ZŃǭ [FL?<yh/ҾbȩZ(Th7%[k\`9fKL,F9NDde;IN.Gp Eb4)nMUbIT&IsS<Ӛ@ S񨞼 >QAN:U,8u va6(nK30 f@b:uDB >8]swm.\k/h5\*s0ߣCg/)nf86㖸o@ Oj@ Ҽ/aY4 `~m!+gWUG 2P8˿qi#A+&_i\' eRkz=$jV@"l%?p j mx7SlY*XBN#! ir긚o\kr-;ATSeȐ6<;h+RLT7TS`U Z>R|KҢNIv5h{X`蟚W;&zgȏ(gv!٧7񈔎-/G8=(iE5"7[#SUbFv#@TʻO[J9D@#AHUvz\9k6Kuܖg(KIY@Z>f\qhiU&湆"a< #iMr p귷W(9b3 |ʫhaQ=K;n|w7;0:i-aziWTmIe\-ut廠a& ם} OX!T䌸Y\bgV{-o`i$K9W6>T'0 ~.:Lb#-3hFf)ԹJ1a8t2~vuz4IA/?SR%/W]6!2K:K3v!ը6(,Ƶ0tpDW cpL0m,&:sv[Jx[+z=p29Pks倓> Hs6%6,Z I4 ({rz#q~]0=vW8uHS;n4-*WTpZV ;=x#KI]/Zۜ(R<q\5, W` (M'^aabm;o0CߙŌȃ/zD2! :v\ZN? t(.wPQu VJIUt1|Eӕ߹|jOls.d8n?+ۣ[uCbsMeav4 3!.ђ%؇HfIavG,[ilaj4x˓ZZ>.[/`,Ս,Q-G1i6x/t#/DI 4jq#% P]f(eq)׀n9I->x^ewP$U+ Pak 纊U;Z[Uq?R2*ٜXNY'%|O6\<=`JYj궜6T=Yd6]fV1Q#1Uq` 7q*hzy8'@Ļ\(tuu9e"` 6z_nr̒vJ.[(} )yߦD @sթ;{**`o-EfC) lh:dR'cFOc&}UĮ  ܟgFatAח=Rvs;!##2oh$1Q9my!-yTK vJkmWR#E;r("pjR~Y9ٜZڂT_R|-gzW'*WBuRe0)&~8U b |ʎGXN7^WTJa">:s]8G)[8BK'k-ٖ3 z'Zt`1ֱUlS3w/+/Lu{`_'zhedDnztoa۠x9ȫ9-otj󼐸l,Nִ.CZ%8 s lґ>74)2>sܛlE2ܞO#%E{2eeV_ _q6)MKgadG^ %RaL#(x p.Xk6'g+ ЯU$j3HEpg8mۚj\9 vP(mI %9t 6(AԚQlzU9_ ͏[wmȡu=ȥNdĠ4c&=RwݩW]H?ᔖ jYfE×jρ ZJEU 8מ}$^J܅kx?Øiv'f:ϙmA,ҊhQp<+Se⦤7iW[f+6rqNF٧,dFȐu~!foro~`[wr|w0ʌ^Jݯ.@ d10hR6>5fu  fb#$IO2T$i9I}¼vbdtJu{-Y.NY.dx˶3@5A="ku&xZO:,Mc\ޖbtIa)c{E@b^:%4:-rGL7ۯwk6=eQ)'*XbQf, Wmp|`2Dxձ^[u-||Tʲ%JoBRkwu6VQy^A\ɸpEݦ&4eeBXW4?XdVJM%? 4}V ૝pp %m"/ku=^m7 [?xHc暈̷`_ʡLv@` 6~gḡE4,ޅG%J3sLdԅ&IK8Ud /GSŗRrJT){gÈ _\Px$ԋ6+BX[g$wjS! 8eM6N25zUMm5&&O.@ 0sbu1&8@2:q s"{Tz# LO[̌683e sqRG}%ˬKI ?;6\);zB]G/GC砱gYZ 55H7E% Abstract_CompletenessCollections.Ord_Code_Preprocdocument.tex7zXZִF! 64C]A-MՋhvG"uIBm5Ń]Im]\7V` 3y}:[:Վ?7g{5p.;:lIHwNGHB /sLu7>AqXh>Daڢ= mVcc[Qp)x=W|F*40G6l{70g͹*{:C8thg)21Jv_T Ѽ DrW!F$t@]:#TJ?k5QUD;ܡČX23hɪvrD7!,>*4BV;6f& ~N@.=.O2cZ_|ӘU)eV$ӴZWZ<36  ^(uTd"6 kI'=YG!͖ {)Dw`dk^Upl.츍7~X_FG}rʲژ`c=,ψ wύ6IɻjRǭ.c%xT x!$:<'[ Y`$K+Ndc4d2!T?VL}n=9>B|H~ - Z[)3&cm΢x M,ː,pSTJ޳C _a@:GP "PתNvWILŪ7J_;.zyhƏW @a5&E4-uaVgd&Ø3 5l"RlP|D(%3cWk o#^C`t'ö +Fd`/wJjkQjl.5!:_+5ZBI5yFa͆ԛnqF,nĴo+J~UVDۉy-Q#M&>t=(}9 5q]6Ó4I|\`c?!(|2i'{pHj{}oW[* ߵCCЭJJFbNfR4:MbꂥP3'wnEL a>F3-z)ΏH$l>OpWΌg Fş eMQv-F67d /(|{t­[ݷ:Q|F\os#b mG 佣fM X&-cxWܧےca[˧`ѨbRVZL hj,&smE 'Wҙ'KCa#1͌x]F_IFs-T2;LչUBN& ]r g@0DV=*nas1!ن|+QD$|nb1<2x _نř[2BCw;+x?M=1g3EEElܢ~]^@8if{/9m\"m/9{pAݚXHJJ#\-}ϱSaηM#|]Ŗ:lIa+gYZ