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 ll 3t,4 ]]Order_Lattice_Props:threads=4elapsed=30.944cpu=94.868gc=2.8407zXZִF! L]ŗXiɟ ^xe0iu(zbTCY-:Cs=wrWpu=C)樛w%)hDV[;MoB# DCK,"[tDj3q|=$* P@Z/k;ְ]V qn?G~T5>_R!aeK;,Ae"k#Fs| 5Tc::PK1R;f?ʲBq] 3m}:vϴOHqq4/=s9Yt+kO'xnkT[{"sx?Nֺٙa'Վ`xBt܍sԣ?Vr}Pn-A=(й3 ې] 'ݑCT$RH<Ji ُ|90ZJU_N R}(6]N]8w[},64%WDO}[,ee[v$xv$%2ʗg<. ]G?L Țr=9BCd.M,GHbjՏ³ 9o&,s5EipN n{Ѩsa3`|7> U}4Z3^2 @]Bq݋å'.g wꀾ/jKlMk DIėe^~1Y$ָslT_m`IzQo$?u=8eLGY)}sv7}/SwctqzIVu>n>+бPWX3ov=!e|h$ =%G+ )S1N M̧a+QOO"lHL+S1 zpPbR0*f]0T^")[[r(;M>.SC7±+󁯺% 7)OM}Қ2>cޯXqݎw__zVV7ܪ5huEYQ%34Ceo$xAs>u|k/' .C2TUhz+w/zWl%$0:"X}H ט{5"ٮ`Gx|_ju9yD |x!'1R,w#0Y4Zqp>#kZgljkKkOC)ZӢR/e yo_yjV1v EjVgsl[`x[1jwmptlwLB/ӷ'r\_cq _DsKZjO}lS=}>wGMDJ[Mxo))7&ʕK#}  ZԢ"C.CE]_ ˊB&L(q-Mբi( Ū@Q.o'$ˎb\"k)(!>t;vUGJHXn ztJzƤ:˛g,kl+4^0c(Ѣ 9ړ܀E .gɋ}Ƹ.=2^:FWqi(vB~/%so.RsG{axl=)[e|rٺeb 5hH?^yEE[IНȜ,d{9瀎oITn`\Ok%pצ kсtz5=c=3Y㠧 b\ lV{"6u1ϻiVӼKySȃ8ו Rﺌ,{H9 J`g^x)ԭ)Ev1hL+_ևysa>$(l;M> Zi}V j2xlnA8/*KVsV,otQBt[?7An4ޫġ(! jt<+4'X wٖ͵Zn|NFen38"=  3W% tOrder_Lattice_PropsOrder_Lattice_Props.Closure_Operatorsdocument.tex7zXZִF! \"]A-MՋhvG"uIBm5֝pn菦L⧍fkbcOQiʔ@")e-x">dhE=db/ܕZ0;!V?z} ֿi^-KqBK̖m9_B1jǪR=Q v#I j81 D3+/0{HQ)޸!bnh@c_89HdxGb]@КJFD|)RsӢ ɋ)L1r(Y5>:oa/l;A#FYrݗuBۄڦ%B6,`p*|┧#"Hw8TqVI|Z1`x wy5C ;"ۿ=rCzGIdd~Z0ʝ&D;= kLLU&SC9xOo,=0llR_x$ Ye) s!2JK篮žMt6悴|M+z1ś8!M௭MAN=r!uʼ>&5h ,eZZ ]J:E  3c% dOrder_Lattice_PropsOrder_Lattice_Props.Order_Lattice_Props_Locdocument.tex7zXZִF! 6]A-MՋhvG"uIBm5Ń!31 UF e¬"I߭4?ԑXsuM*30@T3*}Ceb_8nj&Pǀ!c42 ,6Sz9ը v„2ʴ}L/FSTv~-)[N{ p܄-6+ rAIg)+Uq؝A&Ґ @}8%,%sZ0ɜ \U$ %D.~'_`M#*}_RVG tw.b#b'Fee>dlʡF;./5. U   Ze8  Z L3[%Order_Lattice_PropsOrder_Lattice_Props.Order_Lattice_Propsdocument.tex D3K%Order_Lattice_PropsOrder_Lattice_Props.Sup_Latticedocument.texK3Y%Order_Lattice_PropsOrder_Lattice_Props.Galois_Connectionsdocument.texH3S%Order_Lattice_PropsOrder_Lattice_Props.Fixpoint_Fusiondocument.texH3S%Order_Lattice_PropsOrder_Lattice_Props.Representationsdocument.texS3i%Order_Lattice_PropsOrder_Lattice_Props.Order_Lattice_Props_Wenzeldocument.texF3O%Order_Lattice_PropsOrder_Lattice_Props.Order_Dualitydocument.texJ3W%Order_Lattice_PropsOrder_Lattice_Props.Closure_Operatorsdocument.texO3c% Order_Lattice_PropsOrder_Lattice_Props.Order_Lattice_Props_Locdocument.texvnΚEtxu&we9.PMwج/7}E óSdv" 6W/wl#Ekekru<٢mO2կ D߱g .ll7niB(L m>:_/*@{Ao !xĄD>`^QI8mg@$8't"Y:]4{ HL$T"Adz0l| ZFH3)پ4K a' b;%F|w> Uȹ谤ͮ"`ëD-4PgbK; E)^ž,I̠^zLfַq-* GIg8h͜Jc*7AЌ[b{ j|}hT"y] > %dvaA*e|S$ b 6:e>cjP֪XPm".دw ]xGE@ 5cbb/ŏwx:Cء!pbsKJ83aw1w?w} !շ8-Z ШlJ~i{{AۻJ9mׇK jg0-Oͻ K!l-I*fx ӄa}N޶} v ]NwQWc8Bx] 3wܐS+b3sU+mh|%ud+X՝o _dBXps:u=(T6]"F÷(qP`L;`휉~&5V{x Xn7̫$_aÕ[Rl)ObD/Qcq[[Փfwj+0L\50.a͕7)]D]?@ \n|E+k<kƁPF w~7j sfaPwq7g@OD x\$UlVSԗVISL y y$׺`K9aD1ȋYk0 {Eox,.4qw*>S6IYs BՃL>cE8}&G ^o!f-l] [ncڢYۣXtr݄OvZcwss\4 1hII*L7蓅L(9WTAM Bo 2FI SlJ޽fч{.V&j0LiD.}|a\tdKջ%8Ft(vktO"OEƟ|}?*}}:ݘdQV.Omk*'qVT9xzׯ4a؁yq^#q=h >ӎvO BQ_9X.naǵ)jwk(FAn5r]ke{@myHiݕ1VV*uizmѼTߛ@@Chd/th'DRoSEi& yL&(Q .\Vr< hڞ4  QIㄒabG.(pI5LNGk=*m^gL. N?elm=/v):%[[bl n:h :И@V=/٪o*'81hi}K nH}*9D4ϣ9R?_VZ_QV۴/ב*Cw-Iu!"@u R}]m%\mtOEA,`yT"l  KCKD G ڴmb% _= n:ffH1cȚblm`xgy=Td#3IB4"MSm8x҅$%VVpqcIO:P,оt[jh @;ɟyƠjP@%*304R;H2{VHz$OoQ'e~ˮ7@= 9x.^yؾ{;D*4ُ"Bفn(ܣ췌qe@o'}l ![mz7M{lOs * 5<s7peM 櫼h`id^=֧tӵ/Hd/4v ,mۙrTv"\ԉ?.pl*iVviIot呣|HOu(Ils91N=[[/cUZ*O Z 7S*v4SJJE -zMm%FKu,D-+LWcri% xnXq9C0x`&5( UQgS.~@|is <^xh&`A cׅ"HA}T8u:0.Fr(uPt;P_QƯ1'8yǵI?;r[O``dgA\!s0&he&S5:;e Ҭ _{kZÆi@nq3Cm2r(VN # xo *f_M|QYFghmc'3AV`A/`an#??x|$R +K~/-MK{{}) N^Ud>*FN,^R@!tS{-! G ޵nDxuɪ׼[Z0Sfvg٢9DMl->zfNI&vM&FHdJ'P(Ci=j1uLFM5IWD(>4(ߊ:#B>~U> $saF7`ђU5;h aJN?`E<߈Вnp^K+QQXq$#w|4ҳЪJz3-y/8gTB5 G@^8jw!qߊsʼ : ]ણi}C'GH!܍/4~E)9#c .>v-\#[&6Շ$-lG *R./cC)m5 :+mfUHBҜiM9{۝aeּPt.&`-\\! lf|,%ƭ>d K\g`PJ~ʍkҎZnN):uhP_{έۊZ8L( kZꙙRTp.iMi>\="/\1q ҄$fp~",N^5ifhf z qFSclb#B~s>Z®ݦ=IaZ8qCڠO}\|nw`7y9AUV[ 8F3$QN`>ӑ>\ײlQT ܏&C?)ع/lD,! YSf[oQLőP'7̿4@ESAF3SNDq ztNQ!(IW=+`^̤;,PI`(xϪ-B{#$(9t(K4Ll! ߽Y .q0ynQP%Ӹ&`~d*^iB[\ /0\ /O ^9Պ941أJ-<s;Z6/uف-#WM=k꾼*$B섘=KoҫSU7Z&.A:1 hXSVi{Qu74ZOTmhϋ0u*༗ܺgTU)BQ!.L0kWIEq-+鏝ᎋIͱalC` ?"mAw7RC!ǹYvG)ei$ W`IVG~S,w0q$ .A܁~]Q|m߶_.sbQ P7D,'цXqRi.<$m7xyq$ h4Eݥ_z yt#QNcߤ{r"bÓx@0 ΋.'; %i)C9,M;ZeGQvmc0> DY aj)_WW.Ec'bSU5ثϓ@aY[ɳjRɠ. }􈴣G\eF Hdm7VӰqitv6N^!kM0r.F1vK-WFc+ 7ZÕB[21W6S> (kϗf)nVE` ?< ( o(l޾Lvo D{~$$^:2^`M-Yb9X3‰!~OmHI&7x/3 ǧ (WK/-8_<[rl}V $tJAǤjɘ8dNU/RZ>DD ƾ咚Z̎&G/"OsY pj-*b~L4H㯹Ф}|g]?`8mNi& ^*O81! vR~5YJ|T[!ii=i? >XF T]B]aA~FUY,Dk6y"tܰ/ n|g%W_M7Dc Kʉm`|VR/zQrAT⢹I'&K( BaFvJ4l>0/@n mD7>04cb1h$@'"hF䋟A/q6qEȬQ~Trch^읕OܴTn_{K g= <$d&hܙ^(٘4b,v߹?oq%I2eE G&Gܺ.E#{ # ub HՐ_R"cTa!>'#?C?2x< Ԡl.Rj g0_ta;a-ъ&6Zi TӢLy-4ZU;ۋxߎpxc_1qR^J_|% O[H۬W7KGw#rk)73v`H*:Br k[?BW'DbW!V?ya@C2zxgxi37!Wxz@[bT2dfIط9Ѕ BefQEt4vv= 01bq¨6Ws'l y&xC˪ ]xuHwӚkYi!ѷYT2}f>WU`p/22=YՎq!kNVB7al8S#'V.~\=7"vjxl-V4²wvS\-'A,ɉzI^nDRMMĿDO+ֹ^fGMWhʿG1a?+MgqmQH/xnCZ"$eāA0.Io0J@-OfrTp"`(r iXas̜1Lhj] aAGO@t|el<1(%WB˽\#.3a ߯{o`C fZї͜ 94C0UC*x a'*"]c&D,1PE:X*q^[>JczJsqM*]dati MЋg+>˚]P3x93_U2ӖCj9l]$>eQ,BLu;fp WV4ÑW5I*mORd$ҽ7n&O'c$)9x1 (GC› QNHՁ8=2%\& Gt;`DT!8]7\޵xB"`<7OQ6ӥD|*Jqi0^i4WGf-y) &YU{ju ]Ev29`Eaee(s|X;8"zMzҩn=[x AQ_3aKD4ȴŭm2 33q*U,Y}; eDTh2vZ542d6Od =C* fpu)a'RmΚe`h 1@.:gYZ Kh4qZew>WoO'K2fg"=X9=5λT푅_uƠ*lhu^㩠SG=Zm av/ҫ_QF%]0꺦3 Yrȸ^}{f3XLompְ$RowViFr PjI\4-hW`' 6$> XQͯ^ #Np<{YK>#sl4v9,=!XTq}h_#}`>8{u hmvztb.co "%VLoox!Tڴ9~}QNgpMߊF_a$ADU)J< WjF8?fOIPq6Vq )m\,q/MQifAp(5 /g5rK^? [Ȏ8s0'F rY<*=Wb{C" cUmh _tQɵ,| > ›_KE?ʃ(w?HP57+ňSX{x1剩mV; zZR$%leeԃRB:n?'{y^w?sޞ-Sd vI7Qý#kZGҏ8ߡs(f7:"ڟ<Ƒ ˸Q`G(\Dams@=RU\&Kit}P}zD`SPmG+t=xUe91eum(3}bwaxRoW ?NhR{'trٙoؠ ƭ0їK:v>iT kAY^Cu8"?n@NޭފJr'zppT4kM3D+J^p{UK͠,KEvqjfyuL`8f'>'rv@▇6N0ڋ/! ɀfn։y뗤 r+2hyXЬN/3Qp03{?ْ(NyShZ<쇠iL Ca7ඊ5%1aYh UN`\s; &~b& j8g|*5/nmF!"'e6U֭ouT S Guhwz_>vzmLQ6c1'm:0v?s0ZNa[=ZXUK v8fL e $0o!WL[\ݑ񏉱nS6@JᩓHL 3B/0F Bg-l|c\ZbU3*MP)z5ԗу~O3b}n˗!Y+k/@)&qdF(.E=ܮA5h(4?%U_:%YA\;o?h1} oԘ@k2p[GvTݴn@B4z~TA2mNԒsbnawan[E `l`T'}'XӌMLش>,mbJ$I`SVS$Ibt}<+qm[ՑyLQ:GaHJd^Fh-M\Cu8ȴěm= Ù3Oyڎx/MT~'cQ7&ho4G 8 ȭL11.=2C!@ܛ.%X ׳20`CAv 4F-N۬OnJbUHOY;,k&b̹^5$ֵwx~cRk<24_M!&gOWIFli4 9k3N|],]_5z!JbGb}O[$SX\2=_kNLY0#KAQQ":=!=ƒJD6wjQ9 Fw2t*/up?0H'A|uC9L0>@Lڬy/ L `Ry"7?{{ G3Gq6s# W?8z,/u5FmӜx{z~Ѝq',Os F 7^q98WS:S;97bIgBjn|In: -va!m㗤Q,}VrTvh0ϜL[^e\K01L?G͉'<>aܾ\#h?zRM܄T]F>i^A?CMSN"H\q\Z+pd ^?2RZ g|ϑ[mܔLl u;cMytCuwSŖF0WM $*g<צ@CHTk be 5e0*U>`}Z-lRY9P-\@ Z ~ ,rtPyFcg3#ȶAmߤ5֋TΝ"艅BFI{DOw+3.V4$?Ka}$>NŽ B9 "15}@(Qt߾VPߞwt*`Rn9ZS:tSvYlzYU8vĻme,e5s=}$coTwXrGUT0 Z9sY257`Sɦ+#o鐂EUA@&tԯjN~ѱ/C[kRlTuYT {'"psQɒ]wELYe`P3=BĉɃJ{2 B X#?X50Zf bq_AE2Y 醼_*8f.-P70;58|ru%r× 7=_;3!2'+ݓW(6X-kl$(4foY/^GWdJg@:+4$&J@e A/u/`c^ӵ\ FBA@oK(|*0:GQrYfb`V%y1WIPN z: V5n}yTEYb4nң3ɦzzbVg 61d 웊jk+2GJI `G!!w`"Am4l!gWHD8S[;,e?XZƙ ][|,i/WH08?(8 %kOenk|9Hx}#g ~Q-r9ۨqI#Ns9[ú$PO2Kuq/ ,K:^f_ ݥ4C[§i#e%T2: 6Vl\?( ? mR"oϽع q _Ռ{bF"0yטui]aT[Pi#}): ϘT8paTi0m68TH:jՄBg-ITqQjH͟h rt>;oeWh npy~Y |ˠE[>`55+z:E苅qu[/=w`^-P0B9c8۸jLe]55z[,Om1я 4O ޲j\5ir,,@,8|)&Bs܌/#s6$DŽ@k֐b%zZQ,u(T7%=fd^ X~n ٹL\7>Ϫ0+֤`bSѫhjg{*=*b˅5kyD 4_Dͻ_&'4EQAL$^r +E=a *W~!Rh(-MR^ ;0{@/E4yfz)ЏVXhl Ry:nYH``O{Wvr,}5MT4b%.Pz8??+28}U /WkAQohRwtZ@/}7jڗSx9)@< 0^{GgfKQ"ˎM(w'cH;z}F,w|vȫ/he@96]eTwʺZbe9AɳD#MsɕC6P_}i4Z[͆Q}w s!kj x˨{k:,bW' ׯ [ + Юӫ4E ?Ř84v7Ŏ-ha;6M oPMu/$hT C,!Ro1Ml$=BZnrI58 Jnn݈F!<[?ZFk`KʦT IOhPxʟV)#{Fc!Q_! 3a45œP:*҃nR[-0ɥ)Ts@qf)~&x#!{`DAh,zΥY^0ժߟDq^POc!Li*uleZF"ejҒg0$/;u@sFջlύvA*Oc MVnHG~1#R-:SXO.U cb°wj{ >ӔL.@@Lk*ƔmKy%ɷӗfI%Bk] ^n=5__\NѥC K_BQdZi5w2ࢵmxr* ә5q{Kr,Rn`U_)0z^JE=Ƽuny~9}[2zSz_,cF2& 5pcM dM@qAҲ`U*Qwo>XJ>MfU;Q3V'2N*(rn}]NK{Ӥܰl`E$8M8N }d1"{Hu} U(볎3dRG!]Uڧ;=Ê-uY*.)!sD-vy ]ԇ _\KfogsؔL+I^zMryb, 9-ώ!L*,eot rʦq7{ÅLcMܰeP}.OrԕwdIθ:dm;xin=*߉l[bVfjعP|sZqN0fw|imd ZLO@]5 Bsp9iA}}iYiht8Kl?LnWtD\JHJ3u,-׿C^]z4C]L^\Lb1L*Ycݓpi\1xCMrπ +˂j׬*.՛rҾgc7qXjv{*d\ gM@5)V[@pWqs F!9[8 GOtI?~R_](n`- lEߞ5ݕԈc?m o1l~? 7FNWV-sࡶ̘eDu50uE+ɟ!VyɋABi8kQxO\Nxzk}T+Z>*?pKr`0,0GY%#6bÛFik71ߓ /$\w&n֗6&=$)6oGEQ|tpp􄗦8o0TD6LsjifO'z$Du#/mXSPWs{Swo"ˎÝ#jV-Verj$:cB8shxj) ~%O6Lr3{Ǔ 1Q>[kT1֋S(Ζ-c{9gAכ^wt>8iTa@>[ F[ɆбgYZ+ 9FBܐ8tv2i{̤)OyPU?]ٕi!KMcC08?!wAm#=''k]ѫ]ktYp9A&ңS(H4kHoJf >ҧ?(%<#E|yz) 62vi0Vcw+SH++E+ߨFz| ZS]pdr4LUkop&deoED]#K];KFLJt}Tf`\5+b۝p/v},qԣ%> kVG(tsp[k,~LoC_}wϕE֮Nqǝj $r5':4MM"?K,|x0w2X:14}QmMb_!Qt!K,,c7ResZR|em[$5XޗȶܟuW-7> gP43N 4%Pfd {p!P[Q%k|l> þHO49?Tl7AO=ከP ?<3RB1 5;wdQc^PJxq98g։@{UxciQUd"W!p+gW4!뢀\ EY. qʽiu mifQMHbǮ4b^P&2x4ڂ3EW!y]eRDs؍7`Պ(Y ]h2H#G_/`W&ZSix1@b{"S#r )NM_1f3|\oʁ,kܫ.k#]Uv7Vdԅˏ'hi`6,ܢB&<[sH -0x2XvitM\'F3;?z V0ah9!S8lu3+$3oiv>$7R0 t6ab5#g{VJ?U犐o{k!*fAN!!o* z!M4dGJSd!k]Ɵ;AFݛ }Les\سjx|3!`e_V S X6PfUVtG>Aa Ce8} >Ǟ]Qw*eښYe HQŧ(S0*m*)/"*R\T">5YƤQ3~`sv}^ -r_<]Y.[ZܓCDM[@ڡώ9[#gi  wnM_X{76PR8$bk;AkZogt]y: aTHooy;<`bBGe8\)9 ЧRg;?m;J' BE UXj˗dh+q"F:<s7㗖WWɠ>x$fH:\:b|cl {F^)8ڇж~$Чx޾;d5D02dyf DMAda0RTFItď֑ j#?-G8J,,nroiM\ R~:͹i^f%͘xFS^L j$ec#3I)ŌHOR5,NhG&0V$#?hE x]AO,ǝtGkH<8vD{dXq PV:W,S2t-yPT{0/R4`WaOfbl?en0W="fY5~`FTX%V\=>@,dyP!v`(,Σg2߱hGD]Kr>D_RI>K{ QZled[c(lNJSS³SW^0a]rE; x4}`c !nvI)vն;FT9ar+㒙IO*i W&B;p3(&#s$m "W^Tݼ_E&QBpBLչj j/r b:HKě96A6پo_cNZnKIx9;2۩4(l;!5sT [][{Hfua[ci+1r(ĭ+1 igYZ{Bt*P'k32h db*ꫵS6$?hԙcr{&ȇ h0w$ _*/froK1zs9|-- k]ՉkE<ۺG#\la`:=,3 1;"kH0Bb`kkb+*[|0keM! qܟ$/mRM^k{m>;\f[ܠdYo3? &d-x=9]ZJ}ʕ0KGij~sgʈ=SgL{gF3(T_F϶c Tun')+,Q4bW]va{f^* &A*+ wȿchGxkU&ĨNrtԨ`*euo;)* JD2%]RP_jtvUUw2zJQ 9 dem^ЛBD,&DVaE?dt)(!3ln)IeRF7%`mY~-Kbd1';xk7Rn+0u7I1V/&G&1c37I'U O+!_W~Crc k?$ $&ʫĠ)6 jQe5$ڪ9T $LW[ k,(amnCF~ms =*&i7ܥ 0ZD?[mc54hFDPς}\peX4bKgχ˕߾+2Fr)L(d,GcR@!v264ňuy_ 0 7<"6:.( v ? WP # EZHU5#:N;<;U73i ؾ_DbƇ̡=?+"+?H}b{@dHO⊭O@ukU0#4d=k_&.2L0== q\4g)5o٣(x$(]y#L675 |E9J%Ky YI [(!:˯*og̢V!kWzscOW 3m:m[ߪ1ȴk[DHǫ8I7*Ge3b@2Kk8@ni6.0dt|*PrwzeClHr̀;)]KEqA&  a"!Ɔ%#,wp(^7:`5 åИiM-WBƖ!UVGiT\;\EWlIf f/g;G,R,mu'LDL:+ȃqZr7N +Yƫ3Usҽwemy 4\%1\..f mӇ wB1RDC0+CFᭋ42z”SJ+:ti!@TНڽ5Y#D4bZ@TEٟm*|CiH-}#2W9%9F,ag1*5709gf$Q+jĵd|PqVvsy nG *E%Mu^ezFPb6}]̄J99PY#c7rf7y PJmdC&p{(S_8{m< ZZ2+}P[-d9Z6YbSUfC5H%yvx\Cv.[)D΀y_LBPl l=;?$>?O;(NSu>hJ"6$C S:x!DTIp6jr-)Ef]O PCl(`rb2N0A٢[&"g|SLq tjŔ,8#c \x@ׄuE:zQiҎ0;AWOo25|.Tj}'P$%_ac$$!g= Ul޿б9c]8y|_hIpc;жCŃ%W.kիLk*r6Bkl TJ \'K[N㜳nV'7)yQi)!)&퐙Ԓ!ت؝v#٠- SP9Ouw<00zȑႫ ϼHQ@E!S x3cWdަq ,nyTN)RZЄS򦮣)6[FB3%(0_xWWꭕ'"3joe'1BX\S+uBiYz΁řg :/l#ai}G=UlA5H> ;{h#Ӻ4W1Y tṺĔ9n-E(!b`8'&RͫFSl(A̢|8r5t'̋@j #v,÷tJ#7)U Nl7FWMl,@jO?[K6`gR<>,i3U(& w 8pfE&Yn\i^Cs9Ľ5Lʋ*0=+n,OZ[h|u}Jj+HnպrkW~rsUmqŋ#znY.wh7L, Ϳ2F C2)vb"hd{C]3P XY2Y]2q *\Pd@]Ev5 .ѧ36/ׄ4* :߬}?IDaKDw^#p `P=n',\Ƕ@.Q]N:m1dRMqyFV*,.zޤ}N :|xC(Is_q3⋽3wX#4̿aM1,Vb/۸"ȩG']kL8o7-' k`4TtESfG(8rJ^xsVP}=MQM,ē2W2 ca eѨ%'[hy¦ZF癯#rtA'zfva D FulMnϝm#xoʔģ z32t~,3DzF<}7mR;E]YwYz VxD6na mx@6M^+r| U\|.L>pnԥ)`i&C1nڭO+)/O]A⺚8(b!r@q)uX5/+l _$<22:tZ `JXNFYa=9&JJޛimY4\FK؃R\a_M)q>Q-cUӇ/^>Zv"YDC,o [s M([ԱgYZ  p3O% \Order_Lattice_PropsOrder_Lattice_Props.Order_Dualitydocument.tex7zXZִF! h]A-MՋhvG"uIBm5Ń!31 UF e¬l-*[qVW`t 2l5[-OZ ;8z>7)OM}Қ2>cޯXqݎw__zVV7ܪ5huEYQ%34Ceo$xAs>u|k/' .C2TUhz+w/zWl%$0:"X}H ט{5"ٮ`Gx|_ju9yD |x!'1R,w#0Y4Zqp>#kZgljkKkOC)ZӢR/e yo_yjV1v EjVgsl[`x[1jwmptlwLB/ӷ'r\_cq _DsKZjO}lS=}>wGMDJ[Mxo))7&ʕK#}  ZԢ"C.CE]_ ˊB&L(q-Mբi( Ū@Q.o'$ˎb\"k)(!>t;vUGJHXn ztJzƤ:˛g,kl+4^0c(Ѣ 9ړ܀E .gɋ}Ƹ.=2^:FWqi(vB~/%so.RsG{axl=)[e|rٺeb 5hH?^yEE[IНȜ,d{9瀎oITn`\Ok%pצ kсtz5=c=3Y㠧 b\ lV{"6u1ϻiVӼKySȃ8ו Rﺌ,{H9 J`g^x)ԭ)Ev1hL+_ևysa>$(l;M> Zi}V j2xlnA8/*KVsV,otQBt[?7An4ޫġ(! jt<+4'X wٖ͵Zn|NFen38"=  3W% tOrder_Lattice_PropsOrder_Lattice_Props.Closure_Operatorsdocument.tex7zXZִF! \"]A-MՋhvG"uIBm5֝pn菦L⧍fkbcOQiʔ@")e-x">dhE=db/ܕZ0;!V?z} ֿi^-KqBK̖m9_B1jǪR=Q v#I j81 D3+/0{HQ)޸!bnh@c_89HdxGb]@КJFD|)RsӢ ɋ)L1r(Y5>:oa/l;A#FYrݗuBۄڦ%B6,`p*|┧#"Hw8TqVI|Z1`x wy5C ;"ۿ=rCzGIdd~Z0ʝ&D;= kLLU&SC9xOo,=0llR_x$ Ye) s!2JK篮žMt6悴|M+z1ś8!M௭MAN=r!uʼ>&5h ,eZZ ]J:E  3c% dOrder_Lattice_PropsOrder_Lattice_Props.Order_Lattice_Props_Locdocument.tex7zXZִF! 6]A-MՋhvG"uIBm5Ń!31 UF e¬"I߭4?ԑXsuM*30@T3*}Ceb_8nj&Pǀ!c42 ,6Sz9ը v„2ʴ}L/FSTv~-)[N{ p܄-6+ rAIg)+Uq؝A&Ґ @}8%,%sZ0ɜ \U$ %D.~'_`M#*}_RVG tw.b#b'Fee>dlʡF;./5. UgZ.w T > h> 3S% ,Order_Lattice_PropsOrder_Lattice_Props.Representationsdocument.tex7zXZִF! Y*]A-MՋhvG"uIBm5jZ Hh(E虇^;Ek5TU+]8gaix|R=̶y[E5Gi*Ɖ{ c*2q>9oZT򕊛 i٤RW(j#jb/Q,f1騈sBaȱ'kA$oʼnLI'p+r &Ɨ@WbgrдhMcffkon'0E3LAwʨ[~J ܠF* o,ZJCVT)rz$ ٍ+Da)QE|mLe<\pƕM<ls^3z C,\vr5ÞU^$c:Nf{zQrva 3r\aghrV<bYa >ؔA|bX-YXVOZ!K}As2!A}}|i4}[X(TIYX.Vm{0A6劯`dGqxWT(Efud]5_ı!Ԃ ByNPFJ)>% :C>OXZBp\%ݶDы:fjuTx9G_<B: V2',:ftcK!Yz&O>?m؂Yvr*.Eim \2̜ޖ аI^潺C5f[!yO07S!ۓ%sdXf9QR'=}3cVTql 5 T8u K8_|*A\@,nLV"5XeΟAQƥӫw %۞%fLL ت5?N\,S_@é>afHːkYRTu ׷^&x[cȔIYi* xSҽw1A! Z+ &{-(Q ~|"˘>)ѩ}0_RvX*l?O4Z7dB_IMmFe*+r]_W,AvB! 31bG]8yLCd'goR_sEV-uT"$OQ1qix]k/Ӛ~:ҽ2_S}!̶h3y~d6Ԅ8i< F0,jm'|^!CyuY(M~ [b"N/gM}cݞRu\>4BWD:fa08U.[$de,#0A8L9YA(+z_r+r |ݪە& :k*V5%uW+\߫&X1LiNg lA%WkBtnџ>^/ۋdKy@iKdDn^4Pp p|b.+6LރW o]{)Y[3s@|5Z!#qa$J-+v5*z}g1A #e N8 St lacUƌg8aPʔ@hur²p& EZ< S=0?z,3gxEc(G-H=āB_`;9$sE-+ǡs1hj$6r[/`+q2G;:8m 'tklۃDԇ[SM6G}Í&m85bUQW ۽pއ%OϟrtƎ:ͨ(b.~?55ӹh*A~(xFEfrSRs"̏?9e+o@aö(=1U;M-ǣv@iytDZLӆOP069m/1P`2,W;W_ +(p,|:E #`ҋlo>jjU}t<_׻ &)XXxW_5ŗ* ҳN嗯) ~S+! R`aB̔Ij]Z-ӂBHn#-R0C3p9#JT?会 >v/D(Kpn 5E]xL C\OidM ocB_y ,i7r!&'=*)~z4; ٩-lExVgq.Mم @2:d_CΈQt]3ҲG 7Z !&?ۃ|ƭ-#En*U ,R"N_`Mp043EVt%$LPʺ{qv$'ڭgn4Ό@ VCpQ\gx0ц6\C-6!m꒞O!l} 9X}Z.t#;a򧒶Ȁp|l ׵ٯޣr#u ,aE/-M~xgaS&Nti7v7 yi&O=ĕ!S=byRt'XH|l rW݄qwc$[~,(c n@kK<Ѯ}L \^4&؈ [6$ӜMt|CLJɑA C)N^ )|wb* q3m֏+wi#or+klD2 ǥݑR&m{#ce,C"4&VM YMYDf? E6܋Oq0wQe m?[]_?a~L\fP\7MCU4N5֓6G0*wۜ_CtIq\ (PN'9+Q `E;g!mUQ&i90i%(oP: U2 ЫL- u˄fNjF'^!StT"يVJHM&I=6yV^PcPSՎnfX|ɮ}%SPZ%2#{~sC]V0!~đ /[uH-'cdjTBz3!9̦:]p$D^Gݴv(& g ;ZwT(nPE )4ȦǷXH9/Z&W8tǁ.A?6qgκ|Bs:R*4 M M^o.dgax 8j1w%ibG}o.Z SuYN:6m PH6$Ģ3Y OF;}$QD)4B3ݕҶXzX+l7jf^OgԂje㞱k0"'v5[y/`x6{buFœ;ٷY:_%R.`v6{ )R`fr,II|^I'wcA0UBb&tiZpT~6\]ߧlnlc;̬~C#[`o;xW=,+tU" &?'W##8F|::3c3եQQ5do ;tfGk=<Jy_F{ C5*(Ѝ"tP  t*7 $6OWdWY@Sn<, ӥ8B&c۫U nW%v|)3xI+̦U pP@ `IKad)GyŇA&j=>4nS;`|oIq2 !jo;2;, m̋7ۡx X C\͑1p Ay*gH;z穕W{'i.;'*mI1J*\"(봚f`è@zȮ2yFNN6y͔5`8 +q3,KSt%/V73:Goǎ.YѼ$Sö~D5si-Œ-V׺/ ( G{܋!"l6QSΖqG=_OmcRfn=a6Z.[^$xOd`KWWyYo|+p|{}'{)T<gRM~pZQ эK]ZMuk_[N~iBi/ܷBɉ1ޚ~T%a]i~jַT]"=-? N\r>[ MRi4Ypz,R8uG2f\2PDo)3eh-5 ::6')x9~ KB+X|3Cj9jgIP5"㕩 c _&$JPedBi+XKl;eE2 &p6gƌI ,+Z,3EmӍ$wê-k>6ގ%!8!\!.#I;ٯˀ={(0YB\s\g#\z,hm!ڞEtl4T;R"j]k<>K yɆ&oN7q QWƚe6 *qUҌ 7 tZ_ro,~v*'oxH>hTN 0QVq=G< Blr{ƦYd~$3]_S`:ձ^!>ػtD7$ObA||0}aIY^LGG*&jĤ3qJWS!7@RCNÓ1۪IleOXrrcdx$f^{ZפW,(/68]9'q{]|?jv o]xD+|M={]+Sww tE2Xf0%8${_ps{ &q3p]ZA) t텤/'׵ BOZ{5/緯0qG@ ^|4lUXKa\nӏY=@zʕ5- x(tO &;i/1sfy /oA )7RchkJT.XU6[*~gqI<r%E0XSRpȶR;e7D/ 7fa&9=>Qox #,;!4 gOXADm*[DO*:8^r)w`͟CԴR?dGrQC$VH\E 28eob+ _0y4dAxyٓ3p)$ q54g,PWgYY*~,T˂4LLV{ϾQ&O8_M?-N1ܠBi$I郀(gпT~)h : 4&-MVkee;u IbC& ũ\K )c2~ZX';.#8t4kc& `ED-I9I9&l0x )p;-Xk5aWi5N.@ؘ0-ge/poU@ )z(-f&-~QT8)mTxD+ѹI`T[49W%T]ӛ$&3GLJugŭDW0^.esD#{! s#~VXxi+O`=Lb5|+}AkS_gx"Wwe74Z`XԦet].듑lgihWBw,6wejl[PQ MK?Dtsp1WKj:.JN \]DdƪZbih:%{YGuɇ)Sf, x= ZԞرCQM2b闸y&>.Qncy9:)ew+ܮ46B(h>e EtVS-crԼ"\w8zXN3斺t?–CP@FaB6E8~/6Sxf5`~w(0s׃W #7H ?iT4#< ~PgQխ}KUh L ۹'^֒zrPkȊ6 m)5[*g$+GM(I6Ҳ!K`r.y\#>xQDЖQ}*1Ըt6|8W$e[ ƣ2{=0;RMX3ѥ:鏤Cule= A|BoI{J0yYH>=6L gR.^ʅ}z YS8)J'CdɐL9aW !bc4>Ā=e46 0&2d.*hp뢈K`}Vv A!zgJC/5h"vhGUe89@oHsxsַJF$'~wl~mR`m2 !l@B5şc} ٢M/y Lew3;MP2&TSTBW֥$)I_ɭGZ6qmOިBjA SE&U|ow&ab魪Y>@ta/kLY'=ީNv1ȸ.мZV?Uo+Q*n X7`WVSj.1mmn6Gh%d,fåƍI.1 ~5D GH p* / O1g__OH^*Pp[uϣ #|bdzi [Ul8ao$H>'N[t !ЄW3:,\TCA>KPC#VMt2Bڦ잾m B߸23ֹOvC-g[_(0Jd^[ CA"/n ǮLNIv:UvmR+#ki /Umzqꐘ#ƿKsna!e6rGc#w;HήS%CcY/URHnJ^¬MDKHT+s{(=~*ۍYw뢩¹BW6*S#{͞#_.IM>M3T{$!IUf2 Wb,Щ y~zd%>"ۄK6ހd}y(6H/H3F6 Lm7%xcKJȬˆxٸ¥YfVʷn.VTCSIp(%WIFݻ?]JK+"м}=\hFظ'0O0Tv2'._6xc%a*[T9B;=%^2Aq^wldpH;wZF)="uBKgUpbg LZ#)9gʐ>/-V?N2X̴bP0^P#;0ܐ;RӾ) c/Zf$YM4 wbn}ks7g: :f&3j/i| E feCh~+0 6s8KxΐRh@E J@=#fZy5b$B}XWBϓ'X-^oN˃Vԡ9m4;0eRaK2K\KӨ=.)@zPεis"? ROhHj_w bv]qt/gcȳXUó ngYZ M3Y% Order_Lattice_PropsOrder_Lattice_Props.Galois_Connectionsdocument.tex7zXZִF! b@]A-MՋhvG"uIBm50LEG=QN*!)&7G\//_ݑTD.t=zna$!?+Ϝ$MozGi?=f?1~d[FN0?#wdJ^BHC:fRg)4~􈻊QZlzKD[AnkܑK.;JN Oy-3ʏ-1ХL/ jEU<:yS1z?<=3Ӎ(Clu>*v eQL.K1oj4dIm ( idjb<(ꇄK[@uOSgqzxK@Qu?S# ƃV3S% $Order_Lattice_PropsOrder_Lattice_Props.Fixpoint_Fusiondocument.tex7zXZִF! n ]A-MՋhvG"uIBm5kJpiw$˴5y5{K ;0'zI,CtX], !-1/;SFh朡 u8Q&! k4pu7$2);5-Hjf_ĄQfZS /n(!ùZ_iwYJ,gokmr3o  @nj^ͥ)H~/;/*eThfPդHRC/ymlwݘt6E;KxU }xO|Y8-9m/ۇ%"ǫ+)+ |c(M>Iu ']EϕzK|L8M-tk5:x{loi^ *`w g %kx+a>PYTpeʦ}I6㞣N~({kPSֱVu0vm 8zkh1бaH~ `M6!19,TY><1 }JAv~2"ߓiFЗz!WGגUۺA% }GؽXˑ`a@oHY˽N 3BbҮ %(7bU㍮vN&)iVv94e0J'R(n7ZA )KI("#7Ę)~9;Uo _~x`?RB-[{+reXNvhy]ŘzsuSBVɻ<ۓSp b|fI;f dTx7 f? yҠ?`Y툏/YBiNo^WϮ;Tl_)Ͱv>HpGBbCpIA@[{r-=5pu\.4C%.& :$~zVԘ;pC6BtzwEhTB >NWlsԋ/Hg|o`+rUVU|N09MIv؊[vN!e:IhR)p7egjC>=pGѷ.NYHi;n!*4&[-/zY{Io]a_VoH+ jjO|\lkp>pk^9&14Ћqq a(QN¹VS{@ڦas6 6C`Ot0cq|:wSE$LVc©4Yc`˟}hw a0Okĺ}ᛡĀnq2/dc{WVM{cָw bL!eV,۠} ׻A!)ګKT^ÓxQ;5̿ۦ-Jy6(.V/>>jǪ0λVp`JG"O1X7ٖ.K_-(&C,=8+-PNIg/@ ﲼs.ټQ*w56Ev^zsWO'YrRGn"$= L:p7R2R4-ԘV,j!c%"AVWC촆ȓb7ZsVۿSsb r}pɷ]"tuZw2ZԱh)qc>d]5]@)oΎ<fC ldcƌq&2#S@ygWjA>>cL4voj= kq>3P=w%+mB +B PQsʤd(c/0 QA.M ٻʬ}ikX2jIs(baxf@7j:gUA%КI'xI$ʸ@F%*Ulmrj;[0mY9eQꡁlg upڸv>?ƛ֐@G)8>p 5$}m+˞%]!;=ɮ o1YI9@Ә7lRq61ȣ9~D2tln׮DlB:ܘmY \Yے5" 4(`łnP*G%+49* IែȺj>Eo8YÙFuDiÎĥș_SaۓGh *TC ó }^> ?\DJ 9.\{GG|[Apm]jR:x)3%q45Tz4:EQ[hթ-wV&}>=(8<Î*h)Am7觧rY!S'4^򝏧jG;͈. ACU~wt5 ͇[ӵR<6$g|v@Q8w.LV^ ӗУ>sb*ni Ew` ά7_ّ~?F aV`S`zƼ(28M8g2M<~QCѲxYX虺xe>ջkK8RrV38kIu'(Őxov)G6I?/͖aƔ@p``kY,9w1:ⲠOV=|>7"քIv5Y.u$a$G>L/{3|cPgvkK;C}}ZHpF=1ዋE~)$}D@<#@K9ܵL;)9E3zGqna}JpVi͹J2Az@ס5_#Q(!PI|@-o$@ x',&b|:nnNG6'H)t}0 kN`߬j|jZCcŮB ,4  v. Y6i|{Ԍio<>OA)P~5P%`Dbq1fkdDE)-%g;&S|Ds0%DDଞ: "lT}LLU!:=V uYRzw"Z:uˑkm צ1o1`1wn{5Oat;}`}P*̓'cF!R^T\p!iXY?L⒧[(&O0flxb%7Yc4sa\>^Y]7t]EMӆl 3y!Cy]5MFӗ򒫶 { &  D[67(_Oהcċ{:(X y+cOm:s 8ӑ>'c&':`TBnQʠ Y0㓁k˷}`R qWNhi띤2AaPEJ#L-x3"OrN]lC?l-cۓ ѽ?"Iۇvˠo`a-NkfKU@y>;9/Ȃk}5ugOrER K_|ݿ}rP* E~t)6r73_فhwѢm B)W oxmэTw _-|qɁ$~J^ۢEV1Fd(|pMG&v+B28FhO[qQ$YTA# p#aEtaNHIJaDVū7GfØpG>r' YEYs~Ho5sPX Ld|An عk5+}}R% 9v.t.ĩolF\@PC"_Rc _\ $U31"PKU;FXyKUMÏ0CCK{L {:EA`EZ'1\=G/LDU  Ӂ+ k̝*vٻၙ\1!j&ykZS_Tf%46L:֛t/tC>g(O]z'i.T2>`}}2SczmWr߼9oO0kH~ kk 2s(Qk2rk@ySU !qzo6NT!峈}>aF TTd_ 3.*YDRExἁE[i ,֐q25(a9[O(e-u/p~ 5<_Z)fuM5*lt3M4~VaKW}KFkވK@A?v> f9cmR- _X01*Ye]Y8I,/Y |"Xj 2k*&kKVg^_ B9͊b;Ǫ*-Yd\/E(&z3q<>Y+tvG[lvRlvQe3n5]b2CJ-nuv^O*Ļ~1 \=`@6}u<wm7t$+EB>_k  xgYZ WW&3K% LOrder_Lattice_PropsOrder_Lattice_Props.Sup_Latticedocument.tex7zXZִF! ZD ]A-MՋhvG"uIBm5ȪnիqqNc(z+QqMK3#$B ߳xӬ;-Ev/m|v႘d$ȅ|Ϋi8}pVJYrgJ8I.-lż,E[-^3w3 i]i9f(uGzC=gqe Q"Taj +T>*=x^8dQdrNr8xDz/˲1KыuG{ FAlj'Bl}l+8d,'nmzC|S>$l;Y =aG8j~R͇$aOAywio0(?9d, qMyjܪIEZ:nlb\ښlm(jl +.z=Ez'Jsl(`Vu[/ Mo1 %(\CT6Dl^BE9LSKrO4tCgL,~[6*8{&i,#2D&&d>wa iLs)?&:o} ሯ=QSc+o@Lښ_%j5Ke;n%w%6|Dzw8{89y*+fD~?cRc>Ljpft@Hb0$*FWt+fgY'l[6Rah(fՠ\]Fk(b B-C## Ei{|~﵄&T0ei4p')wEcΡC*p@uky?Dϸ8l_L/XufSn 3ݢ7쌋S/F>}|=i2kI:cj+VľZ aZlZvfg")CڠMbtP˸+JlКRz>\ƚ#9g3>7@X]XI)CPirc--Eضve^䲵aDT_EK^l.fLpul HZ![珤ڤˆ*H =҆ct6fTvJJ;~àoc9%ǵR*zXǮc^JZq=h΂泌QZ>Dvxf'agk#$-4WL o8-3ջZ3øv0kKVnv= 3[e§q'J9)) ʳ7J`O~WvdGIpÎsNzq=FWͤ|2#9J?p~S(RLoM[lE`JE{湀)TW$DRvҡ|T,kڟa8Jr{6#rnr5:c׻wAP;BҢE$7KmyXy;S|AxN+,YKК~n>*o<B݀$f701@j*X jxK"o-T4R㱈3Ub֌ H28Xkͱwbн_V8Ǣ wd=ϕ„Zy8Ķz|XEr7Zw$+]S!?H_CLب9ؙA^Ad^gQǂMD鞉jR=m]ӽiZ9J~{ 6RoȜzXpKr(y%}r눕1U}7oŽ2rʽymtbgpluqẩ;NKSkzӃ{FO*8R'G<+R12&ۛ:L$^|ui_Qi`p# kƯv3gF35d5MGb|(sn9 )c(endXM-(pM!1k~,}'֖*gpn%ʈ at$.=7wɚ_C)!tK:0QZ9MZiG=VyUv jcB&v.Ĵv MLO z(f +2΀w_@xTN0$bwu[zySJh?iEiX.nɥר8推U[jqlHq\7sneoS/pB@7o] c55&ܑe}\$y"8 #2R,]J:7Ա(52@Jυ?vfڤ 8Kb"o,/@)=Nn 9 ! ]],/ԋ2j[9aSuÄgDJAKۛlpln_ UVcD"p]bԅ6-x@= }a@QF쳞5>b⮱}v Й^FNh]Yr_Y󷈗uLjwo eֲܳ`c {MҜzM-6/RͲ50^$,.\,[>#u+(r Kkg!0*𾊩/N;L`hv RÑOcsc90)ѱ;.:q۽HADNЇ;b~ðRBX_nq)W'T$!,0\$lT24i 8_+oјa.+:9x\AV蛡(up j8{j qNJn`Y|y O#M^$;o2(ᖪ' m(ѕ:?ۅӳYBt0ԌbE\r@ɥ4t82b\{xsSKyvYUfR xTIuCP*.44fH@=kzE|S,AUf͎[ʬ7=TۃPDz ^߾AywN4pJ'. l'qj|,t ai ]c]^B1Q\ i{?2D?<2YMJrqwԡr9_3? 砣 mW?D@)1XM+6>N;.GT9t{oں]e7,RO.]R](/]_B[%{#++08ZDӀ4'{. hZK|&ڢu+&$cUcaև&ξü$]$[FuĪ8̾sjrzKZp\W)njlb=z֢Ȱ% ~uGX. *$bCAB.:MM֎tMkZi٢}sueؗ$ɡ e7o-5Ñ1j֥*Fqme=s_O~JȬĩkDƒ!+/vUߠ$o#a #CX'p}qQM`P{2=%~v>1>8CkT6ީS>^%a CqTjK5ڊ~?<?A֤(5&<`cXgE>-ڹ)E{=_Zf LNm>`,8 #3D~a[o^=]ń*omÚC[ M4/7Uọ?l!Z8`2g[#IYVm2akr܅^'\z?yOPVUOtQa[Py[Af0q#qsp(h:ï{O3"t4L5uʙem91g.Hn! hc``ρJ2mIXl*MTЦF/+{F__7X| @؏B)X%k6&$0P'չVO?њ|Ņ&u}=̉,D#z' 'c<̾RW!0JM(6aw^`imRxg'gescJSBR].EdِX&˵ќ6'a=s *ZeetW!sx ^FٗlOB̒p5\׌kŠHn1PRxINɠ2 G0#$g= /Sv $.Ҋ~wbf^R|5ɚ\$U b,QMeȝB`ձsr];[[w EYl]l~̕!-bN%m뾚 |QU#| |Sx-\QLؤFpN.=;ԗR:*P^&>߭;EHSٲFO\ fc;t_VV{i-p`Q =&z4fWJUx)* e}8mam hs7"\V_Ë3P] fN.1uޢ)u>I?EcU`vP]qy#a<8K==apX1ՙqalSt\kF0v$%Te)0E(^eo?D7E$=%ˊ+UD/ƣ4R0GN W\DEF^ޝu:wړ;Ip5@/ crVF{SO#94Ҝ#q9S&=FP![ndMSgkKj=j"< JT9=Ap4*XO?#0sSeL+,>ׂjI2I J5ܕTʮ!bOҊ Py(x/Rzd&E5 񤭌yq1R\:I[+Nr5f{zY`y!3AM8$Л;)~iu v:"N^R~KueDP%%?Ky,ikVuy⧡(z MPEc<.4U*xƦMLY;4CaV Mvg ų sLfD@i_)Ԏ='cPfGj\AajpaQ@?YQ)q@cis:/暠uIx8&YLC<؂M#Ύ=~@.M8&,H٦/¼#`^b/7EU~Vl~1 mCT<oq@^}RFJb}vg_&TXp޵'g&8j~l鯗[۽8@iWwhƞ%]8wduG?Qz#2tBV Z)Uuۂp]нJɼM[8^1?4gM򲞊Օ"&+ͬ 8=&arG$`^ -.!V'D1nNCG!tS}l88h{4w7HOP@UAb>d~r4fBbNݶC1unǞ<}{>Y]d Jk9Rأp-~ iJW;'aX-byc3UP,́ZTU$lmڪkj/zd_Wy@333隬dk5w"Tu+WyGn=/SU#/<|62`6ou|:hy8WHSЎ9e9O[u&p (E&uPN\DלteH㭖߰3C3ww:=e?`]@;[$d.XR*g9 $E㇌XCˠImFCc˩H:GG%&DgIL ݠzrWB-_5f8Er2&: 4/i`ɓ.{]qOI4l$ɣK !5j`Ik|_A#xZIlR$pH,󍕒XBޢ0U//6y\u=U2{:QX)}i,Ɖ2n2?TP7i$߁ C, PNɓ'uo Smֿ0Iu`M2O$  C+E:v@ ;AXKn &2n\\08l =pUf(:xPY8-n9bWW8_n i~u<J[ owe͸~Fψw Y2!8-U[av Fr\5Qf0*M7ki!σ%*^L!xV<Jӌ]F < Tݎ%0:g=-ngIesmJH[~$X͖;^Zƹ0gʄ1Ms)L+s#ɖ2s".3b_pd ?!쨕eMtki g(B:kmxޖt9uWmu#2GtT7b*hq9<aXr>=Ƨh9+CV,cS"T,v3 i OjI{@ GW)PSyk)¹ r,]T, LL0a<0IANl4 9L.@z"/xyr1 .'~ulv=D!#}i|^-t7fN>hY#11 Ql!~6>/3LUtüsqn3HOȞ'@NM2(+J⩰6ڵ!^1V t7:v>q&0i*;,J R^+.JN [.gq׍˛sq?z  (V02:Rͱ, e ̃ CǡKo~.#{54.F,. bqN"QS H놌  ܖ> ,f@[B"N_W{1_o ]\_VbғH%76 akB]ݏގBM(9 u.NIlE^w$-@gdsM{% `nklJ[MbAƸ0X_xR_tNlǘ+oZvZ 'X<u(ar0Yihr4fXi'ʡtN1: A€:e*'@o*!;^Xɒhc `m[A#oJ*3UYh(y-/Dfjj3:D5 %j˪dxǕEvѡILшkS=]{<ԑ~ n$Qԍә$^$K$i\q8zk$mӆ{MNJV#|Me-]URJ]V£KoSb $rCH+VS|J`l@㖮B[E@0d(銡59yp0+rp#ݴ0^T? F -tj & Ls7qskbDEζ,U&: |)sbι@Y͙}zz9/ZORvʗ4jۼW[ưl,AR> qc#ڈ67`qnj*`wD E =rF{!9%9Dki/їgvy*hèV*J3ճ}O*ώbakx5? Y(bxƹ5D-Գ;${"4]-&m2dO "$w*쪸5$xғ%vP.C,C ƣ]/.0qy7%.XLplFU4y> Y?rG:ֹ@"!&{&e,w~]让R:&{\+9w(;_!\`u\5> Zh:jݧ24; {㼊Tw4,8 7a"ُ?}?fʬ`H'^ JQ"lG$F k;+_0s_'5"~W:iѵOxm;o{5Ev^"j?upGȡ(*8t;ĥ-3Bȯd{wcB/PI_V.騡f4}>HUZ72&VZ8m,mK$EQr?+۾. jZf\:`psnQDNL%[R*+y#):i8Cfx0`mU1ՇwUF*AJ/)}ZE8M6.lxɪ:"hJ\plY7Qm>dBy+c;EW3+/A3<4sh^uk/w~b1,:IFH gLHqd5NSyh)pP tg~|-0#CŨ>+fBi/Eh녖 ۼ %,QG88.Ż6}Q~V烴''nJ nT| %a#xp4+IU=FJ/ M-5Φ[R5\:3{WeR,0"w(7KŠ^G%d8D'2; d *"u1~y^F _UO2e[m迆-R RIy=L j Ś!-gtFd vUH-LN'Ya-ҙ]cDzlacV)sS]ae.wΆw5]~;\΢Vs_(]bKyk4V8Z÷3S<¢oB38LG){PPgJ.i r%!dW{bҒ]ўrbTZ6V̖ W˼Xc_8~vI]a}hHRGDv^Dkh+^zi^+|%`Pw\P3#<ǢzX/{3"|#Px+\mAFMZ"Ņ`SJ;#YQߊ1W3G9pٿR/损yqSmfkp˽~2[ݔB tzqv|#ߐx:wBiz% bS7G9QoW\ W;4; ͌M)Ydm: kaӨlvpwuD٧gPOSa^~8Nؓ{ּhW=1I4[%~KrhYI|c7`+"ZbG;x@Vnb (6dztj!˓%*HOE{jl/-zbza uVrpd +Ǭ[tRM/_0hlj4$kܥ3)0b<ߍBwJU o:G1 ڄ,@2a~REarȴ4J' c֊孺!5QZZ䝤rhyd1֧6Wχ]?*SIb=5e=h:kc<1w4aw{{l%w K)x;Q"ytJj%vպu9_ḳj15*KY~a3n4 5sPҼpH]!ڏbao*.%S)H~/Swa$򑯺5@trpM\jIh<sKQ;K\*XҰZޏ1t6RIZO8Q*8d1X>Wh𗺙Sϣ:s˦':wY[N/i 3IUq14蹅9n#箤ioa_o8̇Vp7ȵ BR*^mꍧfo9A^g#BhSqc/ m0?6o&?Im4sVC+˲Uf䦄 aG`h!@wF@# W2aIV;x _͜\LPIvxb5͗D׾ ==Ķ0lD)(jp W;8م'<:F,#0&gBZ13Ef>]DJI8 !s !]Nqu .VCj׭ޕ.}#?&G8?O0E:+m+5 t+b63KFX7!@𨐣LdM@yox/Mk|bV~t f}5# F&B]a fm8Nw)u#)U}ēvWCA \ St󛻸xVfw ن Qv{W=hP٫>>~^^W nltVEFCnYl8L^؀q4ٹ^TU*4[=ۓoxoKvfA™- !/㧯ĝI~ C`4dA6y'g%p,(XGb\n{5LV+UXv oˣ$ĉ I%|.s4g(po$I:r9TY[y6"L$P)&݌nBRT:exl롞կv^szR(%08A'W^u5U{Ĭ&o" Dh XOHpÉBYADC̡ʧ@ѫxmzuZ)@0Bm~Pp*`qXEgml!e4@A8ba5z@Iu{(U?Rxtd?EoKB\AȚ r+(Odr;#vu;h{&*y(BgOJHak`hw;-UrWlѦ}!C\=#Ӡ|a!`zOFgY&b9}{Ob`L'g"JAJG*fZ3}KߏOHb'+y} 8ύTgFa2O%p7[l%z`g'H4 ;!1zRHMQKTBA1dZo'Zոc=o3xH4 n Y|PqFFE㌱c8p ifpwCzy j|pt۪m2H֮UgYZ   [ 3[% $Order_Lattice_PropsOrder_Lattice_Props.Order_Lattice_Propsdocument.tex7zXZִF! UGJ]A-MՋhvG"uIBm5Ń!31 UF e¬"I߭4 O a3=[e.>ԇY>Q>c-Kg輨Jқ`n dV73$2u[{*/? rRt LbZ5?*^W>Vd1;\NMTgˎܽ'hDUBG3@"7pW*/FTA'Z(p9՗f.b }I2T [e4ny6w\Hъ|Bgqrh.5,Vqt=դ{n{v1%2FLb=pcYW7mxBj9t܎a6餷%۾mK^lt]'ڗ=hrDIJI J}d<&a"8aH*K w>10Q!/W7+f™xd\IAepk=wA)`z]tΎ@>R+K"),;@e^@M촏a+44CXi "HRVO+iA;z4 pN1` M,}JL*qw)wCksY9l HخZ"Le2 * "3Q)D v741cDA Ysgvjhi*\Wd#E/o3']G;S;UpZos:ojYW^B [jt),ω1GIu*6 &6gC@06ŭ-|H̖T! &rot:J_H8-Xʡ2>EbÞL$0-\ۢPOY*msrGT>_`ȑxj |4ѯ_hj=!\@98,YjG,X6Rʀ74g.*L,JWQN$Mi[lVl[bCҭiDI3\mfFq)aE}:.%[cSS@0C h.(_s|I!?BZmJaR fj]c`0t{`Pv3?¯Ǣ^LYgạ̃ -Q^tVn<$zڸkj(K/Q?dv9‘%ƺY=tV@l\ zxa/;^JE ^eR@^BlvR8fRskbѳ "3ʇ St XԴ uEԿjU(HJۈ@Qm_u )1q7 v=w;ةyv}A.G3.Gwi:gꃖ& Q)E13S04XEa{A ne.K n)pRnejE9Ɣ 2х]\vEИ*-~u8 AG$?_Թ] -:d1M-kdu("8v ~4'xk}ϗP? ˏz)g\ d|S('5T͞2Z=2_?PVjUq%/0|+gK~ Hhe "WZ^YO\魅QԜg&d[vx#{AO7$P(NNA-PEM後 w6mkSvGvˈtKx{wXcJ'Iۓ^LX,|2JߜǟQ(Y2dxgՋ}UHYy1do 1FBy6&AW|+FU yk̛)8dTIarZc"x)Xa-]=2\d̵1 Ds1>3S #˷q`R 嗬W-(QnoD.Tݛuh&hOyf2ǐ=c1ou,+/Hٜ 9ܐgFQ "qi ?:o0ibo0lq^KguhL,$j++sQ| TK0'A@Qop{yqܱWӿ~*U$Ou !-TO'Q?2C$eMM!@＀z" ~zڬΦH}ѐ ֹzT_v8r F(C buuO*}Qη>6Q483re rZ#;"u`GL~$m:#U7R_\FssUN15o|qshqeҤS6 :qˊcOPQ0d=eOZτ):;Ɉ4Ja运8b@e&pPؙdt枰E`K+yge}dR&FYu Vw>J9Cub;+F+?tU|H?|aˡEe\LoeAniՎ9Ā=)) hT {pIbuO=NiB"%'/s)faAy42 R-B`uQ87 co'&5'=nxAE=Ҹ\L,3K OF9?P;˘B. aT+*wnuoa͸,n=zvy/joJitV^# ΔYX3eIo# &JOp̬<َ,C<_3?J~'}ATLW+U젺)g2ƽ%,mMӝb$-ߊѷqnQO#rw6q"@5o7-dh;GD/x޻'tP~\_3eѧX ĶVk]DB2=sIzU'ހ@ મx֜F4(Lq. 35{OWl_#9YVжHoc :Q ITLxjvkd8ۡU}oKn$KG{WX^ sZAvfj;r>Bb9c.L8?}-[Z~Pq W6G~'Z&5%LN7౑~$s޸hݔ '+.)qZ_Da8cA7As;q~7؊-.mˡIz %#4\sDNAi>KB`aDă>C\.h)HT-Y&T\l.,J(Y>wUK ʞ"߃R=gYZ48f434d8168a2c4b6f03cdb463a6931ff8f6a41896398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 fbf84b3a7065bc63dafd29bc1f88aef2ad5c8b93b7b06b2240213341692f764e5fe7055ab2a17849