SQLite format 3@ 5 .C  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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  ['tt, ]]HOLCF-Library:threads=4elapsed=20.366cpu=50.644gc=1.5967zXZִF! ]ŗXiɟH)0!h]G3| 3J#AJm"_?Կc~Opqn)+IS8)}Š]܄aUs =e#+1t5?a{$nXQ <*[ִʿBҚ>px <ּ3lUFY~ ܴ/:tL *6~+? h2 JAqUisϜ]#lX18h /P* dùҘ :2;lS)r$C)8X[0ǀhӗ(cmG 2Pd; H{g{D&#D?*3]2EAA+hjBKIlnBKPj`EZ(HK=j X,wE|5[ Jh)g9Vx!>X[1jbLyzO`γhi5?;aS\ݱL3&mtʛ;ԜL#ͲG2:FY =N'O4JR W3$ݮ1FD.Q)7Úss}tTCLWhҥgG!ݳ!^>vA΢|a2 rÂ\q[aB@FzݛIp*.dTYuԥzI43ΈOV\cWƯSZۺ>o)8,^I(Th|~ EuʙG+q- #509mn*CFNtdݍ&TXRYw6 Tm/ЈG^ayxRgBYJ.֢å_-J;THh,_0:րV ? '=? |HOLCF-LibraryHOL-Library.Extended_Natdocument/Extended_Nat.tex7zXZִF! +]A-MՋhvG"uIBm5惒TP.uazC8fk']rtdjR1*v@0mbn2[2[[\ 8 }\ur g0Nma ,nGŹw_$ԩ:ħi#V͢<8+Ci᭠YiV2LX3@x"qZA"Y41lYc-&\P:Xʰo*+qH ,KQ3qNRNMzmrY]Be8쟕I <̣e7zF/?:줫]NNnar]ᾒ/zMOm $fq{Vj$9FWN jn}$L/Ԟ%A&) p6qG2 Ĉ(3 FA@e먆:BoYpVW0g]6s ^uR6<$U,#bz}c$ri+_z6-:0TW4ϊ_e`x+~ E}WweF,ӆB_$g(hĭd dhI1ݦԓjSCR8"|pvƊ!vO򴙖/l|o/CD7g)ndUc`10mHqX$W^+Z|q~FEG@< =i76pEf\9!_~/)C?aVPR/u5_b,'&f8WEDsBWWSJ_O ( +:,x8rfS?uhR Un’ P4gNK $Nzl7/ľgZỶUA LhF{*0v76"kA8ٔ7PdPUio7֕~_8I $8DloU_OF&Ҏ@_rv:ި ^%s*\Ĭѣ!A &wdz[CqeIСJfPFg9hq3_}] [vAN TqBҩ3J4tB%SAkUFzk.cݩ3)vRMFr^ y/$BՌD[BycU&aNsD]z:6S8 *bFj4;"~hD}W`$ZI+ uQ?BPIMDނd!]( "&ai 8u5|ܢOVD2NS!uŌX7+Ӎx}flg532 9G韅v` O(}WFӢnGSH'K^SWβ<MVJjnCW(.=A[smf=ʦE^O3}O;6U߁φ^9-aiu+| ͭwq;.Dm[;#Xs:uV؉ЪLk^X۝%'?( ΀}J.gwDt5e%6Gz{C=Ѭ7iG+h/I-"/B@z>.$8%3B2Ӱ -1r2,ٹMUҁ[jh#}7n*(%T⎅`?gHkOejcC >0D*b`bSvLQgilDz&ib$_H>EQZLTYoug!/<$rkgU44϶Ƀ=U /U}ڊ i p1X0} wU )47ò\ .x|} C=Vh˧x68§{+IJjβA7v%A\Ä -=Ok{N`my9DO^i5ltLo+q tbBfo _,"ᾑ`DtJKPbYMuYM580aABѐΏ8~)?_]V6#($<6 NdLLݯpDK)b 5z";m2*^K+n52e0-˨tq rӹ/~SCQ[{aQࡣCmf!'vA"bGl$[2ņ%͉RP5)ro%ڜ7TXTy"Dॣ_z=z 1G _GQ] |bPdo MdP -)rG1WC}W"Wc Sݿw,|Vbclq A`$h۶ל5Q_w] U^'@7Bdd{0Lc}_ %x՝QsB0z*\֏qnԢēGI}1%IO2Z3#Tavu_MXC5u?J졇t_ns NZ><)_6ы5o:]de8Z1, &_'TΌoѹr-%.im?3KQK{l-4eEb)BZ pBsm`$0lW{wlrt6e gܞ[C% ?'EA>bЂ`;(}FS0\}ld=~Aၾ:jv)XuCvw6 t(7I/t]YUe&iK9z)\)mcWKF]O[SȄ0HvzRԕ=$j 3-2)1'0$/!. -,+)('&$"   0P   wu< d<z U@ n2 * * P\S   D s  ( 9'C#HOLCF-LibraryHOLCF-Library.HOLCF_LibraryPIDE/markup03'7#HOLCF-LibraryHOLCF-Library.HOL_CpoPIDE/markup/:'A'HOLCF-LibraryHOLCF-Library.Nat_DiscretePIDE/messages.8'A#HOLCF-LibraryHOLCF-Library.Nat_DiscretePIDE/markup-;'C'HOLCF-LibraryHOLCF-Library.Char_DiscretePIDE/messages,9'C#HOLCF-LibraryHOLCF-Library.Char_DiscretePIDE/markup+8'='HOLCF-LibraryHOLCF-Library.Option_CpoPIDE/messages*6'=#HOLCF-LibraryHOLCF-Library.Option_CpoPIDE/markup):'A'HOLCF-LibraryHOLCF-Library.Int_DiscretePIDE/messages(8'A#HOLCF-LibraryHOLCF-Library.Int_DiscretePIDE/markup'<'E'HOLCF-LibraryHOLCF-Library.List_PredomainPIDE/messages&:'E#HOLCF-LibraryHOLCF-Library.List_PredomainPIDE/markup%;'C'HOLCF-LibraryHOLCF-Library.Bool_DiscretePIDE/messages$9'C#HOLCF-LibraryHOLCF-Library.Bool_DiscretePIDE/markup#<'E'HOLCF-LibraryHOL-Library.Order_ContinuityPIDE/messages":'E#HOLCF-LibraryHOL-Library.Order_ContinuityPIDE/markup!5'7'HOLCF-LibraryHOLCF-Library.Sum_CpoPIDE/messages 3'7#HOLCF-LibraryHOLCF-Library.Sum_CpoPIDE/markupH'CAHOLCF-LibraryHOLCF-Library.HOLCF_Librarydocument/HOLCF_Library.tex<'75HOLCF-LibraryHOLCF-Library.HOL_Cpodocument/HOL_Cpo.texG'['HOLCF-LibraryHOL-Library.Countable_Complete_LatticesPIDE/messagesH'CAHOLCF-LibraryHOLCF-Library.Char_Discretedocument/Char_Discrete.texF'A?HOLCF-LibraryHOLCF-Library.Nat_Discretedocument/Nat_Discrete.texF'A?HOLCF-LibraryHOLCF-Library.Int_Discretedocument/Int_Discrete.texB'=;HOLCF-LibraryHOLCF-Library.Option_Cpodocument/Option_Cpo.texJ'ECHOLCF-LibraryHOLCF-Library.List_Predomaindocument/List_Predomain.texH'CAHOLCF-LibraryHOLCF-Library.Bool_Discretedocument/Bool_Discrete.texE'[#HOLCF-LibraryHOL-Library.Countable_Complete_LatticesPIDE/markup6'9'HOLCF-LibraryHOLCF-Library.List_CpoPIDE/messagesL'EGHOLCF-LibraryHOL-Library.Order_Continuitydocument/Order_Continuity.tex4'9#HOLCF-LibraryHOLCF-Library.List_CpoPIDE/markup<'75HOLCF-LibraryHOLCF-Library.Sum_Cpodocument/Sum_Cpo.texb'[]HOLCF-LibraryHOL-Library.Countable_Complete_Latticesdocument/Countable_Complete_Lattices.tex7'?#HOLCF-LibraryHOL-Library.Countable_SetPIDE/markup>'97HOLCF-LibraryHOLCF-Library.List_Cpodocument/List_Cpo.tex;'C'HOLCF-LibraryHOLCF-Library.Defl_BifinitePIDE/messages 9'C#HOLCF-LibraryHOLCF-Library.Defl_BifinitePIDE/markup 8'='HOLCF-LibraryHOL-Library.Infinite_SetPIDE/messages 6'=#HOLCF-LibraryHOL-Library.Infinite_SetPIDE/markup 4'5'HOLCF-LibraryHOLCF-Library.StreamPIDE/messages 2'5#HOLCF-LibraryHOLCF-Library.StreamPIDE/markup8'='HOLCF-LibraryHOL-Library.Extended_NatPIDE/messages6'=#HOLCF-LibraryHOL-Library.Extended_NatPIDE/markupF'?AHOLCF-LibraryHOL-Library.Countable_Setdocument/Countable_Set.texH'CAHOLCF-LibraryHOLCF-Library.Defl_Bifinitedocument/Defl_Bifinite.texD'=?HOLCF-LibraryHOL-Library.Infinite_Setdocument/Infinite_Set.tex:'53HOLCF-LibraryHOLCF-Library.Streamdocument/Stream.texC'=? HOLCF-LibraryHOL-Library.Extended_Natdocument/Extended_Nat.tex   ož(!1N,$V͐7  '%$*qZUl0~`)/5%P T͓5?SE([9(5s򖙽ӏ62OKv!`xdJs\ A 6)U,q`*'A-6QeyechFxg4j'gy/@@"ncq~:=uݳoT'p9ڹBEԌD@ Vɯ~?~/L頸B@Ys> j6A akJ+H׽OS&/3fH{+/'`C1IŨ4րɒ= ul w]K.@;ǁipB)O=LVC+!IB{(ZEgwl[ K7VG jG%*O`Ҳ{ M`)dvijUXDIROrrn(Dذۧ-x,ERl)mHjT"7CGԤ4LYrx^4(ɱ̜̌ 0P#`<n K>:Ï@xi$AQ}בhQpSI"9bAޚKs[n4Yg'jG{7sĝܠ3cz. XBayHĄ97&V{$`0fo<Uws6t7}c)!x{ ^b5 3c[[XbF5?\ xEC(o! 7/٣i°U1Ʈkr>#9Y ?(H K;%_k$OȅP0P1vdfKvb @ZtJԕKHP"GpHtaw `nDgFqZ:5zkoj$ P>sd*e+DhvyͅNc[0x蜏x'Or?ܬvKCN=j9xBJq0E`7zhKԴ9ܵhq-RW6予72kN|\ OU=JyTj͝MvG.2biqz m぀c#xiʮ P`B+Rͧi!\ͲƟbk5Ĵf>x9b6qJKN j%uF"ݮ$h@AY3[!9h'WL,!QZ˿R5\?`ŷI?.3a/5csʆ\1N)Xq!arJ ]nz +kdз"hEv$K$."ia0$oJr'+W:g ;|G݉ŎMP@/nq=܄ɵY  ١_MeNxuݍH͍f;&7˜oޣa8;iw&kҟ)$K^26/< gL<.=ؾoU_яS*jE:T̸poQA]jט8Styv5sHEA@SKV voA1 >Ɇ %]<(VџuƲA)Daϕ[\7ķ^ ,䀞P7ꮙ`Mo|3#q=])r&g2fR@c ̋UL.Uowpגс|X)U?0O.J7N?d)R+UKXT8-v.AM50:]ODؓabhP#L y,71)VE^y<%HliL sߛq[2'Ew Ï2n!8oo0Ǐ4et^.Zw<#S\UͱHtndl{}(Q)0jH5y/I6HFņkB BY:+ pYePIa|H*KtY uBoܧ]H ҡ_ֹ?Wn\/LtXތ aK}/n|mIATU f/9+A.`EQX@yp[%;5AۤdG.9~Yr0 V, Ԣ:O ܓh=MYr~ 0RB)3\7Lǫ]>= ^9NqYieR=qkVa6y{{HW]j8F\,f ֡CrX"eMxC-?33dV\ hQb\c+8$Shk #94LJg볫C;*1O1dNNR#?|}#= =SxGMNO1}>3Αq\<½M8Rjǃ ka{o l4q L\' 4ʹi){pYT z{ņ-nX'祥3Szxwt8؞àT0K ;A[N[@J5 PbY2&3'2$0,Z7$sd%imbw ̫\TF=jY6кc1ՁgFC}a04xMqd-yG϶)D[.@CLYdeIʘLfMݫ4Ŧݥ]nVρc`SyiRo4>QdG ͳ+x#jtFwmMACJ(2Xz{tUjx0vH}VfiPaaMbIR3Wޠݐ-ob?ďW8_8p|j9(wd]xМ`M8qY;X4M<*iY_=\a^ Ia`}Qѭ Lɐ_PW*p`(e gşGŌ_yᖇ2EQZ3  fGOf} cVF #(g==e\+g@^=06p|qÜBG ;HAWV}֒jU+q9R%9YOR5jГHhvj^VT;ꢼoSR(Cy%?G6VN"3_~@lt7&$4E֦V%E?(r醙 ֣;UOЙRjTb댷aw`oF%s4N3Eg&|56lcm=xuptA2ŧ :*3|Fr}QjgBsH!Npœ6PXDž VtfZJ)@W](YxĽzwD0^M֊!mzG,PIOtyz~nsXfCWo[v,b98F!0>_1,] .tWPMYՖg74 K]q~珊@7I`j0ev;8W_{KOԖ,3$F)7SmorE@5ܶR/V8͌!f@tW+7<]>}P0)slmbgFMo_K $Ĥa 6V,Z(< sW'u45mu!W=X?'{^g$ťfX5䝧XOU?w09+Jjs9NT,WW}Mc}Ѕ,$,h8/S pj0 iI&[05]0q%~=KdȪ๏zqmNeTsO'"7~f]>$k$p0B,(,ҋ!a%ɜ3ԕ w^_=R'BE+_fmk'K/'#P7ܥ7ksW<ԈTEN%(~h4~q YU^oU*cY#hǚ7)/!'ޑ{g#\roNchl%= $9P'0ՓPl>g?4%^YṕU20)0JT s 1[ ,w:@x^tŸUgcziw'rERjA5̩g!8~4S*{gꍶ}G^mH%}C+6-)|efװ@?տψek7L4ҫyMu HŜ% kUg\bޅdxa{Zc4><6|Y|:!J槢|v4;@r "Ϣ\o8$zyJ*㿘٫hC24TO)"H!:^ed7gHht4F@aH-ɆtN\4][pum!B%:LӅ7Vڧ.ŌG){Jk#'flmН5lcCȹ<څ8SfZ=lR^2+b$"_(PpHݳ0SfA\W9U}`yy7k؝br(r)7ɒlSk?kaeXcx^eJY* vJ).vz Uh\uE.{ͿhΎG/aBs 6]IE3S t:S6NڷtԱuoVֲ^prb[5䐛X^u~INb1l=>VAWd(q ڷj, :1\[}`]25Q5b Y:Nv ȡZWۺ7%Roi({YL(Ffc*F2SAm|dKfW?*=7Єo@ŹZ9/*EZK6T33:洷9?~ YbYd: G},S~'wBx_7TAAB^w4=~*"iP;(̅ H.U>cRSWgvt;*TaEf W(uF$DӚR+Ź&vM; C)Hp,vr%ӰkwncZ+\+T\ﮰp%u^aO 1X1 gHD܍ *J*T]N\4??~MȞsp[;pYGHS9&Nen1ڙa>_/R,5LE:c$ٌ@yW3אL6|+Q3iz Ł[-P0BM-ޅSrK,\5t\/'oj@(*&4y-\n>V@4U6"脚^b]~7"Rdn13ʌٞd_4ri<%Rt< ۄGڎdd-$w^dw õz&YHtInM>,ho/n^Xk @b`)(?;I kեL-HEU9g:$Y..r~X^Of%µK ǼgӰ_7[ [yS̬C;hݗ^rtQ|\0$T|lj|pkk;^\5aDo}S8-KSQʛDyXG5K]Nr^<B!C\s'~-04b(QU[jh+k2lU Ws^sG89C*G7'3ލA {oZdΛ B1Hq{ x/g<\P}S3Jr u} {D Ri5S͈@/fF?v:q%D@aܕnJ9qnlW뛘hPUA&{ 6nB.%mx)u 97n'd/M,>ZmtC ?7桲Y͛#٘+] 5(qwբ0_@ A 9:| e%ȅb% 6qF๛ʟxӺ Ïl!.z"ctLa;Q)Hmwd*,$Dn6EG mtYi{qm')"HJ>?|m S ssdvٽAC}Sj_=ۖθt'IQg-XA`G|,ZlO?iGlED51 =nsG. T^P5%y6u[Ռ*&r EXg׆GW ˱gYZ ʤѕVP4h;ضhK#0dlD.qS8S\k;Zţ.E>S-ig`^Ѿ ;NA%+ݧܱ8A|cY>[/˞Z2~$~Mg 諳ǯn _5oT&U2̎Gw"nM-Yɐ\GTѲ/>DKy[21 DB XQwe6ٛ%;KlN58UĬܨem izny+Q|GT_6@ӯ30}"QD .]ѽ"IF0ncCOO0UXZ6=p .ADJt#~cg'&!\[\R"GX6do_yjXlQ[dW/r'yLXS(uBAR<b9@C7 ߻w֡J J(gIێJYFNyoXWH$s$VVլ[mMv\s&wZK.ubs*mǡ I`-=ױ'+{G"6aYYb-?]# y3-flYjy٤jB`#B 8MD& REľS4[?Ea @R&{xx,cQ֤;F6=agvtYEz5_@ɿe 85/e8X 6$4c %l>@: & Pą{`[8b9T$m><9Hpn Rtp4(vF M@R\ cʖ6ZD!bX=MMwӅ4h:1M=|/3̽Z /\! mR̪ڇ XuX5+s 4=\ bg|?N:q \,S!h8BcxTo!mf0V (}㾋r!uI{Yf\U*ђT%'oeK69z~`*{@^^8@X hh=we# + t}9@I7x39*zV!L;bn8NN vLJ]G|B}s!!-:"d BR oAsfnфL:$Jo=ƇOD.#NüD'tIOY[dm 7D%t \ f dԡJ 6GL - tHyA;簲q1&W#zqËn9@ޠ)5Z0V^f^'EX;&a՜;څ\t[1>2c;1И?x2)!Iĺ#o u՚B t`rjꚳvi8:1b/$rWX $k2:4iSѭW@9zaݡv)lj7`޹*$* |k,wXI˖H|9jC -.3ډ216k&t"ibv!Gjz[o_0Z됸eu#J`Kn&M:8N1[| nѥpp`HstJo>],ax9\m&Y&->PO|eW"EmE'Opf8@xxtF~H"'j_ t@Vd>)quVx-'A/vL tMH:8dь BQ'=_7uAWb)e"-+Qcuꄙ(Cֻ$zPj!P<\ ۔vK-E UtiRˡ_7۩?fd! o8 =oew $^bgAvZ ̰^o7u/Mt=b2'؃FӐ \d*j<ͥ{ \/2<+Az}f6 ߰+q~qۆ}O4M,ml _pN[Xr{M;+ Sa`wQⰀț> .46&9Z'əY|7,#UrfVV趢yuXxߥ_F ܥ$sE,*|Do0XQ3iks4Vr(7& GǭRNx/65XGXF%ngVUɿq;u g#T|4RT`HwtF&O? $ε`B_[ۃ_04nUxh/žS}&0W*/ AT(rPp97W%+ ͂fQؾ o,)͏4ނ("8^f(D,sjˎyolBԍeœnYu\h+FLi6tBf Z; á$az6SgB:s^Ns1ASx xstywVk܅'>K=Y( _Y^=vifK((Zٿ;q{>q=Rj gHd(VFk(XJoHEWRظ{\>L|brlrG$wbMsquv лy h]=KD?y^xwdӓt\]#[A>wh.#~E%Cu"T 37Ch=b -ͶNt ˣ-f7mB50|ހTSpoP>!F jG:;S *\Ƙ_2FGPJpŸ6?/~ϝkVP%IvGu*9 u^Du,LQ5 :GTnVA ^!V~poE;>,ur&PٙlC5}9j7QJN ᅎLÒrM[ƺ?kQ 3ݟ;IVg|VBaGIBF ~iJ$\I6MZaE2uvY F@vt#V F|֥lK+`'t?q|0^Cܞy)]^*6:0Q~Sq`-2In)m븈X dyڣ{>O4O i3Vw]HR.~7oTuKُ3ed ";Lj/U62F-q,f O%q?S`u88  i"@k<$K~TQ/ImD\Ao 5*D!ئ'‚gqcvx$~EpuUqlDa?4b;;qW$U6hM 4>`pɝ\GtIK @ ;@ [.Mcw;[$C;xRb^7j?-lBPdX6@D6'Tor:(? 6'Y~RONzDD-@bh)0Hjړ77r\yu %/xG@ͩPۉ(@r6! iP.NW%H]"O:5 ر `^jEgKJSRia UPT(8M7[yuR_qpNEs5D0q]'=kst6^)G'  ~#ߜmk*b5:P.q$ >yX M"A1mDpqRޮL$8-Ɯ*MYK)\*_=AEq,I;9¬`*,_Lf=D|ج)[lAFkU<" ZP|SS /vBJe95v5zv5wO+$=u:QTܹ8]NEJITTўk~yIb6 pvLN/fs[5ŭ߅jx3`@7H#MZdqOAJ/vԲr\cZRT\TsO2>ן|;/B>H!~KnvckwKR_IQur;"3Ԙضo z:MN-S,yĚ.x_:;inLgU cVS=tN9g'zq8JU0e^%=8L/vn+],.HxC ɳ:P((26jD@ 凬b gФ~|OM w.Ga13~( &BKn,hVo2]E &{+m$ vHh_w1W W)Db;v|8ˊL΢Ŵ"4 RE >D>B1PRY*]B"@$3jun$# }'0dĝm·5io Z.ivcă1Xt(R_Jɾ>}ZfoK4%j*nSoW?#֟0,RE49~l\H:IKO- "≕/K@YXi XNo SѼҠ9ypԜ 4 U^qF_x=`\&vۯˉ;  a3ÒWhmo l %pe]zD^FV|#nO*R'J ZtA zHIaXZp2d,FC h#(#$r\[ѭQ*ⴎ;]+ݝ>vMUPrBl{kIH|߾ &`CK'l9'V)p,eIrs36oė[6lc0$d$nq cssFj>'ÑlH֢Rx>tSsNfNT &+3?=KC5fH533¦XI< EӫNyNr,Trƿ}E]8>պ;Qv뺨Gŷ# E6ڃGG\gۂhN<&N3&0.<<ϚUňr_d6L7|xh4&\.׼t.aоx(<̊1+g63yS!yR Wh}ȝ847! 0AL~Q+&8op5˪Rm]f6''^Qv\JoS5BKsyώUIs:6*kCúwLM6&ƪ-P|6# w>N6!.mx*D7eu\ 5F.HyL ?gy_ <'ΫㇾL/atu1M0bj]V{uJ)xBJywjT!EL܂A9"ޡ3f 0e/aBB\,<8b/ $ ʵ _wU7@9(TanF\&c+\Wrh^6p6E2cw{ô IIϰ he>CrY 4}}ŝc!֓w祔Bccmם% A#_x}?_u[2m,_c_taGC<*VyF9UTɤ5zS}$>͞տn-ZdJtfcW*0:YV%>?Xs=  1 ǻS7Gբ̤ػΈ3?HUA tk .Q;)U(xi^vE"SJJ ϲi9뀜(\։źbuIܥCeVS9oQ!rQ.e1>L]؏xis\-\K ;h q+[". 2!qi'hxP (+q Nޑ̞0rB1d=GDhE QY2k<Ό3ϦɤKjip-^~e*F[ WBh'ttR5ݯI-Q|k2#eYzViޚ+n1qk#CvܿywXaa.$&rHbvʜ6=`sczȚЬXL3Dj~iO-+6ݳ9rX@_.%<1@8MVe~|Vg߬ڦ9!9fZe3LAĀ/5V7jT=#t1 o/`2D{fkeלҵ:A gπa{d2.BRe8U(#rFOlQdC_E꘷2fngxU~L{Pc5']A1,O7L0%ģC?:pZ,zȮgBKy7vAl߈h?ڏ{MKkjMq'P"\cgu0qhΕ<1Չ3$(BWvLWRaf%d kYyn}4E!F8HBsGYUb \edgYZ r%*y<âHDB+|"MX˱y.sa`5cۯ'g'xirP1Ue>GՍPINfXg«ұBߩ]7^1ɞV1RԲiz9n߾0V99!Z;{In f*ţ$LhAZv׍<ir(c:>B3,Jze;16b+ٔwR GjhFN욖3d[([E<|'xPci,x `앋oKݸ&MQOO"4yu%!<m[5_':6!N" ).B dCa&Hjjt ={sԈA2.ղ:`XYC׵ĦCh8QqkѝH= ?#8N %]!EIbd޿O1BQ7z[r.hd"#n.N@GnEgFA $m־'z4Vos5;}Tؠ0ejfU&IwN"$PD BآԼKDNZMBf8]/hI453G;pp"II{5 D R pP>Qݧ{za] ;Z"&L~Y >ާ^ˀ.ekxcu&_ D\a<>^ӲOlRv1 ~[vf+?4̏5ģςRC6.:Q)"Ѕhz44-dz:;pI~f6&,u;FbgY҇J#M4IJ,eR]3Ìn-#E#LDžd61ChNS!p'E%i>ˇ&0}^?\y|t!g:0m?ѥC9F83 'VfM"]/l5>vPCakg 8mh0C U3iCDPtsyx"œ)$poC'ӿvEewRҒ%  ^d7NOAi iX2 I\*NQ̂.Df;  %zg̎G٧t f蹬Һ7^^(t!^M/L͚NJh28]p{aq~ect/TWVCJZCv˛6^a4(ЙÃwWY(YT!IόUg˻$Z|>3C~FDatOŃ .["G[W@ūCwJ(ڔ k IR1`6MpF0NO%$ZBP̩/h\iY@@ 777N0HѩPo<'AwmlSkh Jiˈr*.OtN.jIteJh+Rb849@HoJwJcK 8XE< 4B$fRO|@ Z\i;w v((u|:SpMaJ25'(-3\XU哌qi[Im>U/Cժ4@(6t_WQOyPHsXw&6Un6AC1nAkG˴*>bD=nE|6)2V2B:!><7áOFWkYlVYegN$\5w8 =F1@U ;!*2:H }i >w~t>6 QLq/h(:}x8^c|TeM{$0PwCEgF7X*lʷv%:)^ 4o`_묙/6\hF!Bt+ɒdfξo#rCQ-p&Hk pq`ēz> BwVS텘 Xbo`S(s.jm6S;h E6VAVnꎗ|G ؇[ +hvf}3xskC2BjP&T[8HDŽD'{=H{ՠV-J5#ANV)2$?z?YK2("$֔W>ổK>mxt]`ƞ)|m)86 7l3¶n]c톎Z>ޛ jŹ_O\7[q^ Cw)VY~0[9ydy…ڂȥ-1Z)gHX\ ` CJp?p$]ns]ktBt.g-هUx%)T{/߬QBy%XS4B{,P<%triJD {Y}Ā6<W$ '_y4}U}OAE#_tvm)th;}eP5S9Z˰)0m\LD9e V$o aݛ(m9l{^a" vZ g*tgh= j${[/bdKjM&i_LpGguXQt JAQ8xk,p`Xpnݏa9wFD^sŞ׸N [$6hX ^}PTnDoA?Q7"AQ&>E'54_X3BAq7BT$M|~Av' c`[Fw 6ݙ(':#1O+pׂaBv{T1/O͔iOxz4":-MJwAz[(xpk??k2Kf'Ik:U|#eșZ\J͗jQx3fHK$ưdaz$wtiZ\,#Ɂdseվ-NQL3#ڬPJLdx}l =1@\Vg!aTX"_VFBiaDO~J){Jf׵ 2`r-&\兦qd%4ծjԏ*lf>yJxW^#yZʀ3\4k67#J-Kp(#^_u ;GoeFwFur]Qm0бr̀0tsw:S7$IjxkcGSڒdO)rZ H=:03,Qiz\jqS;(LìO`Ia`9%K\ TQ?7V.-b3ڭ \?iZԀΒT i"Gr1QVJ-0D}'7cs%|B+Δ(LjƩFM4?oY.׼(e!GaycPzrzqI~5 4'@+Y)Y̷?iY?>:1 NEE_oJ@GEmκLDXq&v" iQ8gWVO!D=k7s~>)k(6.;1ecLkUS}@)9wf&D|@OHӟյo{N!>Z#"h+c 7o'@:X}D=ฑTeӅW=|V 3-(sO\-1za"̋S?MwFyuPq0S .Dn@l˱pr-Fvʐ@m7sAtK$z5NKtzDОyk '$8TN p:~xk\G }D5&c|[d*.I^e޽16SFyDobY^͈1z64t_}yNI] =WINǬ?MeMDžI  ct[nV$NQۃChgS|Gq׵%]Jt/^Axu("ܻRi0%`OwF$Q0;I+ei2  SsMD0Fȱ)N A!J)J1$߯oEk~fbq %OB g[gN`<;!zKJIU&"q%{ߨ+=́OAWDԩhs%-$N Ahp˨'HvZ)A?x=պ&d~[zsv{: m=tv˾VSh=!h,Qg>MD5nnO\ҜےaJ9D@kb\ 9 b^!TsGy;7~4FRUae6fT{q>J=68paڳlM, b,2Hm+˳ug`U*.aZַaAɊ lvJLZ޵SN\LV'pV@/ c0}T5( reiW] l % %0DGۖJ-.ճ]e,ElzH"M+Ŝ\L\UL\ -jen&F:-N`NŚi.Y>s+HK5l[ пHnu^1+Ŋ1J>KGI'Ĺ1R~z^ɡmSLcjyZj0CS! R7qD4x-)PH>P@jkو@N K- 5m;$n8F7;|Xʥ[1pŐ-30RgJ`K##=3_P*IjKrA#t\4^כOV\cWƯSZۺ>o)8,^I(Th|~ EuʙG+q- #509mn*CFNtdݍ&TXRYw6 Tm/ЈG^ayxRgBYJ.֢å_-J;THh,_0:րV ? '=? |HOLCF-LibraryHOL-Library.Extended_Natdocument/Extended_Nat.tex7zXZִF! +]A-MՋhvG"uIBm5惒TP.uazC8fk']rtdjR1*v@0mbn2[2[[\ 8 }\ur g0Nma ,nGŹw_$ԩ:ħi#V͢<8+Ci᭠YiV2LX3@x"qZA"Y41lYc-&\P:Xʰo*+qH ,KQ3qNRNMzmrY]Be8쟕I <̣e7zF/?:줫]NNnar]ᾒ/zMOm $fq{Vj$9FWN jn}$L/Ԟ%A&) p6qG2 Ĉ(3 FA@e먆:BoYpVW0g]6s ^uR6<$U,#bz}c$ri+_z6-:0TW4ϊ_e`x+~ E}WweF,ӆB_$g(hĭd dhI1ݦԓjSCR8"|pvƊ!vO򴙖/l|o/CD7g)ndUc`10mHqX$W^+Z|q~FEG@< =i76pEf\9!_~/)C?aVPR/u5_b,'&f8WEDsBWWSJ_O ( +:,x8rfS?uhR Un’ P4gNK $Nzl7/ľgZỶUA LhF{*0v76"kA8ٔ7PdPUio7֕~_8I $8DloU_OF&Ҏ@_rv:ި ^%s*\Ĭѣ!A &wdz[CqeIСJfPFg9hq3_}] [vAN TqBҩ3J4tB%SAkUFzk.cݩ3)vRMFr^ y/$BՌD[BycU&aNsD]z:6S8 *bFj4;"~hD}W`$ZI+ uQ?BPIMDނd!]( "&ai 8u5|ܢOVD2NS!uŌX7+Ӎx}flg532 9G韅v` O(}WFӢnGSH'K^SWβ<MVJjnCW(.=A[smf=ʦE^O3}O;6U߁φ^9-aiu+| ͭwq;.Dm[;#Xs:uV؉ЪLk^X۝%'?( ΀}J.gwDt5e%6Gz{C=Ѭ7iG+h/I-"/B@z>.$8%3B2Ӱ -1r2,ٹMUҁ[jh#}7n*(%T⎅`?gHkOejcC >0D*b`bSvLQgilDz&ib$_H>EQZLTYoug!/<$rkgU44϶Ƀ=U /U}ڊ i p1X0} wU )47ò\ .x|} C=Vh˧x68§{+IJjβA7v%A\Ä -=Ok{N`my9DO^i5ltLo+q tbBfo _,"ᾑ`DtJKPbYMuYM580aABѐΏ8~)?_]V6#($<6 NdLLݯpDK)b 5z";m2*^K+n52e0-˨tq rӹ/~SCQ[{aQࡣCmf!'vA"bGl$[2ņ%͉RP5)ro%ڜ7TXTy"Dॣ_z=z 1G _GQ] |bPdo MdP -)rG1WC}W"Wc Sݿw,|Vbclq A`$h۶ל5Q_w] U^'@7Bdd{0Lc}_ %x՝QsB0z*\֏qnԢēGI}1%IO2Z3#Tavu_MXC5u?J졇t_ns NZ><)_6ы5o:]de8Z1, &_'TΌoѹr-%.im?3KQK{l-4eEb)BZ pBsm`$0lW{wlrt6e gܞ[C% ?'EA>bЂ`;(}FS0\}ld=~Aၾ:jv)XuCvw6 t(7I/t]YUe&iK9z)\)mcWKF]O[SȄ0HvzRԕ=$j =w/h*1j5UKd6G՟/'N_5ZŒVAsъɣFI"@MdZAMEQ_X)?Y^%W^1τ\bQ5tLO|}7ػD^@''-m'Aa!q~2vfDB[f]Ku%Df,(|Yqe 2XtZ F ́-WI}}@̏(I[ @1kSwDN0Ikj@ճ1)eJ/ptN V,@eajfe'KT]idнtYvI>AL]UC*'p椆_0]S/{3<^%MА˝zdnS e@DJ́66ȌpWRE1SϷLvF.aY/$xyF.0]8K8s" o1f?f͔J ,M %q KNs6,CN,Q̙Ž!?⯳{/# J1bJ;w;70{tȟ;^oA+YШȭ 1QWBkP&2RA#==[^ޖb;4|doMRl' mS.>Tdg%0ò̩c;Je?,Gϒ\Nu =t«Tڹx6h3 e*fCx"U~&w`jRUnK1m%0??&ݧw9dz+bzo&NR)}|;2ȑiN_рhםmjvSBMyOeW*I؏D0O+;z6nO`$Ɓ TV90AMIsY3gS9XT_@bY֛ 儀\j{4A觇čVRZmŽ6&^Y}"M*$= wm3=K׏kw*n*S@XeUAA \ }6]1AqwBl3-mPߵ+K(n5QHkcnp(,ZS»|Fh3"qqMa ")֠2AIy׻dnǞ}6|'[?IlA &F.}uUz Q*r?gN y *L|ܒkO Z/[40Fb^";>vm/O_TJ~"r⺐* Z?5T[Ye=C>$k`?ZŒjU<ZAZ;cRamgLynK;$ەq78PWA ?'tk40]l3yAfsP~WJ+Nv&Yda68vz+lHN=[]l8z=C}/= |dlKlJNzxE<$?<NLdZg4 YYD5f9{M(l%<2{#˗:&xVlDs규I6x׶.֦*2Rǭ[-\DP533d0w KӱLlمM2j6lV^oCd5 +CXC-?x-a yc9Rf{i{xzWկJn 'jZջ[-%ly'sxՒ7^@ldoRs9 7X>;EWFk6cHnb oJKl>~aΔA(kJ3؟D}ȟbL4|tur"MtBUv05磺YUIџDaV8b- YԠūMNf4&~%[^x2Oy-$D6JurIt}X[ j3Qp knfY쯗CDz}Gb4 vH YS{vzXϺCoE: c쁘w5x$Z>U%{ ۭ2g=3Rb]&kнH8Un/aU iDQrA>MEYv҄W,e7\q^WIwvNLyZ rK'7\2MTv1A+VokF8zBENQgO1Eu2+@<-Ca%Zo"l|ſrkfv 69^Q jcp$؞NYw#u,1!MҒ7nAL6d*-iBQ4n<dgVIG}jT/ʹD<% M Y Ezп@[h{Mv`-1pcC%9I ƹDgtH{J7ε6XQ[u[#q!d~ClB nU/X_}fib]CVt TpZhih;ɛ"29fwΡ~i$0 GKsGӞW ɼwtF2`0Urf=s/#xzQ<+=}vU"V")BHw/iPpFg= sLGǯϜϟnqF{ due8)gϿaW#֋nqc"Ė«UAl,%Ղ/"fE(v?2)12Q]V XErjF"4 ŢW@[q`RكA=#Y\73Cx˸50+0X>߭fŧT]y9jpِ=|:ׅ$ϻĩUBM43@!Xd2^=SC7 GN4҅="&O<1ztƳDͺw.v&LMCHF BdB'.`DݻVX"x%lEX9Ĺ?IJ=6-PSԿI!?huf꯴N I*\`>`٘3FL཮SM?8mj t,Vc{pT+}yTվd=I[jKPJYzskiZy#P$(Pd`tLEQ1LB& syKEήԓѷܷK8xŒʪ |EZY} ̝;GfCmv#k-}[/"}Jq"x,y;1$d >=R>ÑC8,<l8*i ckpDHǧpQ#Y%/?rN!;ܖH J'y.c4Jɒc/Eg(/d{m2{)hY N?K||ņ1mD6>5>'הq/6)us,[2>@'yO|L c6ޗ01%j!M&>Oh gس9':FC& HAKP5skA(&: T> sq3R^m, ~B]}]k2b+(t"|5"c+ @ֳkdž.zlB#)b2<^AtJ,OVǠLc;7Da5vf74f+co$ک  x]uk@ 6v*WlAlGpZ;us` ޢ !е*WW3'gRwO˰&h}53Jhkt@5YU:]ZJ7p,ūdsb.ٍsbgXbށ IlUmyx jKWgIOٶ䂬Q9Kbdq-9V4E}m;]sMf}@hl3f*9Ywi$_g,(BI}EM]bӟG*3E-`.Z}?m/3Q]@HGV.8{v amؖR hW&!<ͤ"L՘ Q}W3uHGVm2e]Q&l+{LM^Szc')J-s%ܖ?g==ڌU(WqAerq2ZwцOMu&t!|'ݻh6pĜO;'Aj1n.9ȩ^^k}S~C㙸:8.˺ 5ؑK/dPчK"H,fsțN$ ~bw#{¿OKXDK"*غo&5[ oi^QZߑ%eGnf#C&CJWUּRa{S]p E[PPQPr-9wgFr\v;hwg]GgJ2/2 8Qg4oԬ>L/Ǫz>9z2 B{_wg'ЋҖ._   _=M`@M,mœѰ6aT\9 V u9=9b0`BdN=3ޅc&At/G2.Z\Ke&B D6FpikJ1cU< n)2*J@&-')(cr@񽄖|Bw̔v0>VJغ:nuz_]K,J=DcRGU ~Nwv- 6h<|t-O70%s1I"DV"! gۃvz{?$N+M>}oQ NhX̂=:+ߏ[f.|f+Y7* ^1}AhW-[ɞ '=J.3wgTPG9Hk.Y.O;zv{C = {DśPJBI*WxSZEj[Q,Wë9'mI%4VralB,tֽw+O+爑hш6낮bג_1z&?2YZ'בu\S:.*.fH8˕Ԓv8Ŋbu7l-?L*%N"PV :`$ǿ ۇ+*my0k~}j-/^^tR`%`Ezh\^dL Ul dCs'&0GA2]KQGK嗝"*#kRV9Wi8d 37?VA 'fMRFΤk(/le"*-rIHf^g9^n#2t6tC#UtWɅSkhE)d>a% VWy?C;h>_}12bzXAgR?zp\0rDxV 8DA1lVscԶYv d=nP$}#oQ}ZۊQV65CSS@E lqӑP^*v84"fr2|"ew:o:l} ,-) ?M@ 4ڹ`Q]if'Xx-Ö:Dk*,ҠZW(<Q MWgYZ ] '?A 4HOLCF-LibraryHOL-Library.Countable_Setdocument/Countable_Set.tex7zXZִF! !T]A-MՋhvG"uIBm5`''-6ᶈܝi7wq33޺spaP?6'5cxqABފ?>$.Hֳ3BRJȏ|$5RIwY. UK65*ibkK `C]{nofa˟l繾 dodW<Ԅޮnϴ0gWOGg_@:F{%Tyh#=gPk g.ļ?l"߭U&ZvQFB 5sM97+~wU6[d־jAeimL85ՙ4vۭ!#ogEȫe 67b(6="adVu_#":K 'CA HOLCF-LibraryHOLCF-Library.Defl_Bifinitedocument/Defl_Bifinite.tex7zXZִF! ⵾(]A-MՋhvG"uIBm5ֈ)ft8 wZ=4_ӄ5-DH=|y<%^radqݫE}9Js;.00zi1{:n&7;8ӂ1ůbf͋܁ jœG!^-ޯqf0e cGd,i/6aUb}g9@3ϖگjQPD hk7Y1 @A2>`Ь |zLjl'S tO̼̔Q@mH?W)/^K3yސgWW0=RjmqeUI0dqvA;XuS[HGQ7*^tu)kl.eR^:8.Y ݴ* Gr .aq=~#A4CS d3g= yR,]jc`F~H@@e49Wes׬U57 la"/$5BKz)A њā3V:OI0z-/ll]ZФ%g%>v"\k!`w R0j2'-3Yme9EL?aV7&$o^xULLY|ROH*,IP)*s?C׹d-:9esՠүhJ|F 5;f'krñ ]76跲Hq0e5*wC#~knEn[L$K>{%nQp8m"oߤ ]yqlQHs!*]dgA`}ájG!ʊ*he@Lx9I#} Tfy EBԑǮ~_ Jb*/y.h&+_|ycǮ 2{䓫 )d#gԮP+]V5]:Ѥp- Ԧ(&zeɌJR֧ݐ[FFы>A6_ l5J4I0CLnmaʄkm`>UVrR:)XJ˘jyX7.2[W/[ШDN<< _eiջ AŔBw!b>d?xF}u%RMȣ" :rF!z*ay/^"#LQΓ_[~|!4 n/Q36⺄dպrQ[Ǡ4Jc"lD˞Z`zFLI8 TH4 DsCp;,_SdzyXQu>9wI=&gu~IN-LAA͵ }rÑG$JtG?muZa$K6^ +$Lbc3.*> zی#(u谴!&{wZrNXDa蜲Z2!$V2Eo~KXp7?@K!)b*7 a4!~[jϺy:= Ⱥ IqzeYnqޅ}Bu2wP`9!]Z Z#ZiT$cNܲǸld0l<l\:Ce>EH&;GWB8 OW'lp|ܩ#:OIr~% +3 QDF] AOJJUh}D4"i>1빿$$Ȏg:2Y$*@>R)U k9/ z0opyH pz(yQ?gr[+27?jd2ʚr}ne ?_sJoT(d /9a\q?|)q3%d*Y?F2>r3=צ[1.{<nLm8#UlTۘ @ qp³_Khr@zp:|k˓e~OŤ}[;Bi{?3߈ӭ;:e7y}G"9 LVgȧz.j2c[k7k?(ݣs%%i'Q#tJ8XCk͍iJ]BB4L:a KjlC>>M.䳴M!+D~, @ȑn䢑㓅d|zATR/H>XWL& /0[j0@u#E`O m*,+ Ӳ%v8/lj7Dy oZՎxŖ^Fy~88~I0O1m9 Aگu:s#rf,dY%z a΋DIEؚ/·,K oʠo akʓYŽn`b1S>4w5s dE=c]qDtS Ė4uEf\G2ԋr {.,7Hh t4tR6tk.%EBƢac Iʍh^/Qȼg-(M \EFKsT^Yu% `aN}Sr!'ؘ_k{| %Tu5/1aw⊦&iROEp$-eTҖ5[e G.K -߈ӈ*?q[D/FcXV:xV{?5?UK}"?<2!ẴƾLerPi!/yYE 1%,k۸l5u^X O{F )ܚ AL_}8>5ȁKKME}vr9g+UKcFIC ү D~1=*kvm6R ={{l9 dz(;IfdT գP!WFɽy i^1 u?" @giXƃ01mt\Bs,QYŮyNCsHTc2nvjkP!LަH?!#j~S&<P;3:a~;hA5*Ȝ. ѡìoTsdf`7a.(rrW8 /E+R LW㜃?ECm d/ x~OORV[yL}cxY\0$۽@6Uq ̐!yEDzා:cH|{깆l9Y3ydcE ^*7x"P~NaЉCgxΈ!.sP2gZ;N0"9q<ֲj}먝4Am~TOa.z[gfE(y\!jwCZ#$6o8$8Qޝ`xӫxz1jA{gwұ֢T:^kGAͯ&h|UUDlxpQpP& p|9j)6: H?f{7ӊr)-w#\ q P={IOSeo[փ:tӵM^Xgw ơ\&sv:֭C~0k<~E>303_ΈD^:XY7@+*hٟ7_B U7Ayu6% OBZϑ>`,G2q4̻.KxJlCҋMҘqPk M k0[`}: EzCW!paKKdyФUih8^NLv.߲g̳Ӆe[Ȓڰ)l3o&.:ٷd~}ciDӉ yE+݀Z1c %\VjtmSk_m4iGKIi^:e. ]Zs<2&/DΛ mM{zLM{w 8^P8{}NveV2h2 f#7\X9 )eYv"eq+hsNQ;ʡiu.[<0TJP`/q/5+׊[K##q눷矵T`+ڷ[4jG$xprWOM#g_$&NR2ZR"_+/}GE;- 9w4.W0>uit>T \""[HyO) R7AnNB[)]U5߫Ӵj(S6Ehiio] 2A兵14-giW,Fj% " Ijs`N:ħpz. WkĴݹ^w5[{9al&Fﶶ>dLnvtP;a{Zl9zj\sYo#p:ܽ)l/-߁M?BFpCE̳KE⻥.|.rwB664Iv@Ҁ8S$, $ŝQv[Aiqf|y*=~*5\ 58A3/i&ZJ&&LIv` a$JV\ݞ0ؖ7qi"} 4ռ^!Xjä!bs:b K’9}a0m n%.vZ66K8U)t w(0ys481a7'<3e=Q 8Oig,,>牱b'}]tPdYW3QIQފ8&ED~z| 衝Fl)( +X%)ִ[[p,P=<[dFy@1HRL 6Il[/HサQoU޴^GB /` )Bc hHIf+RU`3c<)K2?K]ǛIIH |E>jә`M˰J"Oԭlvr,Gtĭkܲ1dn:n\x+Ep32SZ;"Tʒҩ507( ajhK`pҨ4hsg,)U$Oo|E4? ; 7m-=ρ-"lw^h3~EܼG Q21ԿVqu \.fID+q\ TbĨMA6\F8ښ?X7GtRsP_9hX׻nfsN6ڡ'߯J*¹^, ~Bs_0UWV Bj`Y0d@I}k4$6ҫKءC1ty#92;xsͅ<AOͼ(Rjvf 4Lk@IeeKU#9 8U]<ȞX-KDZKzE ++$~y@5;F`/ )WFoa@"u%Bv]WEM6Fjo9Ӯwwᷝ P}I}i{5#Uh]yѧ FʄeL*36C.E{6έzu厠qdob{2Vo${S{|B7i  p5@ "ܻ?+#>,y;7I @7CRҦ,eY)uLP$5rEYT z j16S ߌL,z2dE &TBM/Ƙd83_+4խLT g=;{:(Jq'<ܚ~qcSRcJI]AyYOtL! ?Ic Ӳu}- M@~f09jŲ+qXZCq%l%`]Iv7~ 4Dۍnxq+\ץ߲ X|[%}).qm߳mdshաwxI{g1w=sƃTKR yH #mqG17i{QOfЧMDߐZeX݇CkRfm=m`}ikcW6_rYW=6b;ck+6o p@7kRHw>WG\;WeހtQd D~rd&mH>b%HX r -CQ@#Pu7 jYB _Qv3p尵 -6קLS"ɻߩ'"G7: XNNm1|1T488rkF6I }W+hL&wjDWkE8&sOyb݇a߰m'"Daٖ7 Fnn@fp_|l(lBd}! `g9ދxhՈ_L-)tX.HY^y 0'?xx_LfId迉Om{CelH Vۙ<bZcȁ4^z}D%YV1ڽȅ|Z~HNr։ӱE.T5a@"Ga ocP;,]{Y7C]E.eO{+H,H!-lzog e tOACТvZ&[C:َ̟o#|@yݮcGX;ɼFs "Х~4aJ$ң}}uE k3KA '7Ɇ2.hሾ3ܴNȀM! u,SR)ǘIP'I W3ǙClR.h&G?"cy"K݂PwOcmrgYB4EgZ!6U;D:ɚ+!v?>4/"AP9xnB1K.ī(ZekՕԾA7h|͛0ԝ]c(BȄ%wf A p-_DI"> 3Y_l ZlE1Eu S1əy{(@TӔhX+/e4K*@crw2ʝ*5Ք+@h7ev(M+G+IǀmF@%{L鉤MdTh?UlWNn81mHӞDnmT[]s *NLྴH~6ۦ^seL-* sYW}t^V\|WJX 4$X?V#k^8y̦V]q2)&"+lIpr5ܥh Ft7IDň*"C_T JO7\^6*L{C!em %0c`8:ސ^VӔ-u\.b:q't\/oqucO:DCc%<2`8ި+B33gYZVn 藩̘:rڤUsn {#td >gV Ϯ`:䲅&xtYs֛6?ԇIkyU̙[F<`Q)Tr"#d 9*f!Ng85U%j `(C`yJ4ܤ|gSI,5|)5P?[\VgX'} p# 1,E5תDO{&|L-UD MރYUqcfFAm}uҫן*$hØy(7Foƙv|ϟGv@iU?W [E>N#D9㪒37V'aH Jh_.L~Don2[}maƫ5NTv"apA,D{tfLo$*/UBķH!X|nXmz`B[t}1~Y5 R3^Z7rt~jNJuJֿ87P@ x^Tr-f{JX؈^rCsԮ/ݯv7LAex@2eL`A$Q C$橯`XtVP!? >; "Z;KhX~ZzPM]Y&c&sE: ʘYWFەoED9TF7:qbo(꡶eƋkx6QI[&;Tr̘HOs~VTD9{R %y7!x,d]u*kZ)s9m:[VdǗ43?Wq}É暘jEUX|.h*8w[(L_$1eX1C0xRhMPn#F\yzrvOY-M1=naPV?)"ǡr19ڌۗ`sg%eN+T*nm "wE5s%;`ֆvkIQkD 㐻恶=ܢ]Lw&,royÆjS4zz?^0Z0ީFb0LQ.+VSAZ.vYQWDW8_vJ[ s0)NxГ G'7udgsIN}ŢfE]N<np6[ѢǪ@"?q6Z5Ys&!nzyi^ 1M9Bx(2lrX!ߜ\Ø(tDx4;n=V 逤Js ns Gc}[ʩke+~4%e='̙B3Su-jUu8˩t6Ac{rCX\ lG|q* Wڜvoд K]0fvY->?iUF%Em gJB< 7Hʭ/irgo ޣ?FY6эm*6L K:WE|ٸe٫yt8wZ%^oa @pاdEq,#y\~JY/d#1E,4Dh`Y ~ܗUs \ C-Xɟ17W7(氤l2vrtaP"vB7֗$,Zn. Z'QKiӉ<2+'=7)p*|Pv|]bCB5U46 .bGs G[w_6&0 CGA݉nUM\֨kW7oCR)X&g^9߿kb/˧J;G߭l+eVL0 '5 q9Q}Ʈ/ dKx|b&D9G #9'NfߪxR/ 4aCnVx <\?x48\T.HhA\E;G?Q(hƚ}Bpũ SQQ}Z1e EK0ƐaTڮ}IsɁҰ^_vߟSNe-݂˚ *2*+I o$" Lo9L=NuQɜbT c7IT m 淄$0V_;1@%_ (ACA-RLExGY"Ly Qr"zB6r5E ; P ;Fgj@ Vp:dxیL@s.&w;òtf_,4'*GUBSd]QBBdϑ&1'RJQׅc69Ыkty <ߡR-Y0s<ǿvB6oMK4&Bezκ^l0PR6{tyZTQDyu6<:: ں f ƅ[+.=n{zngx2h'αoQanfM)?WXo3ռ3_iG%ьVL oCJod~HnYds>Lܤ"2Q6El9?-H+?omҔ[aqAHhm QyZD]Y@rY0oJ-Ӻpg2׼R!F!uxW$ݓ7KczBH(󾧮%WHwqb[mhCؿrT8Pѱt\Ёp\dmɼ5L (R 9r[w +y)y< XG!4xuyAC^;`U]#|]]y+c1'l]RS}B-l`j/HIgYZ H'=# ,HOLCF-LibraryHOL-Library.Extended_NatPIDE/markup7zXZִF! ^] !M젗OFK?;uL2aL~"opqi")Iiٿ{as Es:^0-M2B2;pD+u1pb+SAxCm,l2VŞѬN_JWF{*l+ͯ #䢬?oB~'uOכ?g#4瀆YJ7XuHHޗP" Lp6 pB3UMp=Trp~ݥ~ch:eH$4i ~.Lz 1}ּ@c8ҷ|ؚ V Ȥ-pv=ےm%:iU).+BCc\GոdV>KP,;t!CePS u8s~%* Y|}SW6KJQF.LbqxFXr8E*?s0\B~hUK]f@S錟|٣?mu׬K,Ie^=*Fc B$4f@)zd?ۤՉ,_". ߠ h),ufߙyUMXӶ^~pNGr~e 26«iE'yE~Go>V ,KE)8NYD2a)C0A " ℥Rv@.*$l6~^)~EO#qL^<2!uqfխZ}U#9W;e% ]f2>Irw>9'*O3 J;F$}ؾdaaS  8!r?EqK Ob4n佫 )$zh9J#07^(5 us 00m.9~/#D!5hqi+ĸ (/XGk`JP6cƯgکzEw@4V_,+\0`UTlaUdPSKZ'}UUF5+,Խ[3grDvxac5P^I:WS؍mȻ˼=a<P`G*(RTgucqy໽2.z, KS=dCGv\J½E &U^ n*.JKpasz}zUvp$<{].wv"15`v ].un?o"=3e1@S4?ځ@p~S"mYPSE%Z|QQR8Wb)&\0@чn6R\3H`NaQ#A_mǠk? 4rI,! ; ؕ9'kYxƗ#=WĚb`DOɊ5qw|*16^9VqXEt0f= KK2'=' |HOLCF-LibraryHOL-Library.Extended_NatPIDE/messages7zXZִF! q 8]D?7 {?:fH\D|W?r"awybmT˦&ۻcɇxYN2aD;ii$Izi/{\7a0S2A{+;g w8Nrj-sP'iՉ7zmҙ)ѰFF0)PjTx+D t;V 궹ʟjR 9:|r4+CR9;]UuV0'Q1DLJMvAbjtƚ!l1QWz䬇;ѐJꈺ;)PSc"\4aptzGqgQ%{8汢ȨǰgrP qFӅxRXw l ŀ& ="Ԋ7JK}YbyMPhATBz昡RGԤl =9. ٱC2|5tCexT&=nYAVTvkC28+J\=V\BY>'( c)xDz,aWoxMqjAMWf@KU#CSaȘ9#]M(m,:h ~ cl>VS D5MuWCo=^T[r̅0\yCE[M5S Rj~/kެ uGy\{+ME;<1W[k5(c/|I_gG|+#x3w[<=%w{rD*\ 8riY(ꬔ;,M] LaVN6GԠU\a_drs8vLg\Q{ ʶ!naHSZ`dC,Y{ˍ^ܶHc~ <,NXP!7,!?\p!,Go]XfϧqU?#/63cyW6mvVE.ɑ20JO<91JI+>TٱkVLO=V VDv2F #9~jђfKm dCU-/xWv%',e8JںnK}I#AE`Ëxu!zE}oVtאb>bfyj`v6&9a` %*1W( S݆ffBw漻W;T؟dNRH%q| #avSf=}A+"s7' AtgԴ}v=c{y աF## 8ZimqǗ⽅>Y̜mC`. .IqPa:I:E-į,6MmsUͺm6wP CQ:}Ƣǟ.v* fvhTSħ#yQI ERu/XѯXĎXW9`歲>ZK?Ĝ@A6::rjƼIa{K4BN&!W鵹{+ Eǚ=,ߨXhc}9ڡ秚vM }8`$w4t_>a2fga[G6*'ԱgYZc$_O')|-71/咃C:B!S[<SaAM@N"{;r}]/юU 7nQ) y4bL&[]&Ӌ! ryqh4)(N*F7g5Tx,P00 )ڀX?H`Q*0] "sCA d`k5xv &Y=hszCD-L8~H0 0"bbmEi=Im_r_ϻ9m3gmj*' >`{xs-a,Gr,pAkfH6oPN$*Cju+{PyN=_5x^$[/UJˮO:KJUFŐ.:1=-UT!fX :_P~]Ud\>".n0VS Z0tpU9ZntyRC[`tOm(y #RÙ.0aЎ"\ML-]$L׼)HLDE4P7\mr]Ϙ9RKnp٧+&9ҹQ꿢;V-a٢[YCtʆ~@P:ϐ+>EZKC3ލU$@IiuI(P߸h/$Eo&%4sR) 6g5??7QL]+(aj 6=VoIwXKJހTF瘷M > ;ϗttS+(>-g\KSx7I..ˠ[sB=C\"IF %7,k4q]#Ѣ [ qSrWyLY]B}Xs^'E9\/gZ kۛw=M]fVZe|?VbgLwk[7]<( mmd,#j&Jµhܐ/V ^0(@vv|4ISCw튂 Tce;85O6m`Mnfmذi4l*ш |Auk*%'a_ĒoߑKDdg∀VC&># %faPAJ{HDLGpa+y/զ2-NNs~@XJg dYP%p>ӨF9!pg9uh;f?/7R`,FoF[q%a~Yo=R Z1aTtFi v04IIL5bUj.єL ֲҙѿ|tir{9L ewz8+jqP)q)JC4*gTϙb֮OQe!˫%P;Cgr+ @^^927N&Q7HݾL; @we`k> lfϒK[BTghȔևRf,3:pqKa^G[.nJ})0h ҙ?Si` f ɵ@9T -uPFb~hI~o7} o oǯ@Ͱ,F]Jhɿ[ 14[PgZMe8OC9)m |#bjhYĕGJ"[}9CAJ*yO87qj-ec$5gP]xR~Q%B0`KQpȝ_)wz> u_ e&fUG{x"}&h5@M|_ௗcdTp1Q:hǺgw d@f޶J#;gД `{ `҇r:<(d E@_ ]21ƲD0 š;" dF56G4l1T"dFݯ 7Q+|dKɛT跢0}BX/5!KU0;'-UD&4S;1>>\ XxpRsӃh[udMj?fT|><%upb;- Nk>D? R>YF[s 7OۿY.4gE Ӫi|&? ZH pTur7  pBA؈:ˮ,I@'kVRvpj7sv ?o+>7ů_ VK3+ /kn>3b90ۍ0b_J;,4<8!ɣn\-3b:1S\$+K0mfg#%?98԰ (*ɘ4!6!AƑcB JNnwbq[ӡd }(J\rGUj, !"3 ʍ: kC[@yDtpB΂1).\_􍬒0(' NHchd՞s4M%j3'V@a?5n8 SsWG/\Pn_^ v^,oΠW˜-@i0\;!;/J&WC' `&jJ;;[n(6;RzO{L=?rLIe5'ڀ]$p1N,D9}~w}?a@o巿 JTtqۼDžFa}*Xt I  e|&_)iP|k$anc# p^=6/im\nQCzh%e QHѤ&f>91Ԍ5Ч5gYZ ppv '5' HOLCF-LibraryHOLCF-Library.StreamPIDE/messages7zXZִF! ]·Iq n[:|&[z7nj4Ok#15H@KgYZ '5# ( am'^?߆Jvd^Hg-췴f0%_g, 0Gt*6X1y2ځڋ/'qOjUp}-Λrvp[s@ٛdVq$ )%?B 4mv5Ac%L1 SވO1^&7Z\j؍(O^)nㆆ)&p|^{݌0bw;($t{JP6ݯ׵w[kҤѡ>o=G8]H"yq %9U0Јs ./A@GG{49vZFRfu[VG]` !g~/ߟ0X igTG!&P籺Cƙ ЎFxXº\hh8^[Rc@3GM+ }%Si OC1<% Njd' + \t~'jZި!Rz]=E#E}uV#ѽe0uP̑W,--aMfgdz|uVtM#&Y WX)ȌKurbTH-[7xkԾ\!tXAT24xן^Hn;mW괰]WtEodPQH-DWRwnNMJ kLн߱e'˞;d:,WFYoG`0\8dL"9mg]H6AXeA.:|,7cْ 17컕M 3i:Ӿ2 KpZe%l# V*ũ[73!Bg=M9EH|΋8˕vV1ɒ3yGTz~$;=NI[k.jY!t*ca)iF_U)&(ൟ+8},ijM*9r;|9{ 5X ~O"{ӵLVГ9]?/\fD=[ֽLs|Yh[Sok= m[?|tg(c:ʞL3BQ#?.P 7¦>x8$>,XtI ymyb1s06 S dŅVլgafJ$RAlIVX,~3^SR23ޯ;J L* 9[ᅾ,Η'Q"\{օIp$·R(@s&F^{=~: Er~}.}ӏF⨥˫jn ʎD?Y(7u &7m|K;/`B6xƕ;B.| K NlʃW6~*,/F?ORĹ|ˎǜ 1i||BݱffC)=Qkzֹx蟼4;ᬂkLR=vcyQ^3sqY$sya Wlϵ:$M$i% .UZdϦx "p!'}V=fR`?J~[F߹Fe^l <ړ'ZQψJKs]惓Kuyhw횝RU=]n\]Smw$68{ܭLmĂPV6vqkqI!,n>XL[Iڍvhuw۹P u>k640Wc}$v8 @ДU~ȟ W٦)͘f'~M0b@._Nzc3x(zC~ʚJN{'."%,\[2 =^)ar*6*Ru:sbZOB3"eAL#7JRX%7)5+UeDɬ-ߋdq;F >7GDew m\p 髩/l Rwb pLZD0YkPs.FN Bn؍=ξH%`JC:3'(g" @- fgjTÕ1ӷH$3w41] 7M=dps?7| y'{'eA'ruv7~O镚XٓCɳA OU]A;mv9pxd _>٧*w&{c8ߤh]/b+oYt #'V6(!ն9 J<(ъ Y Βm8 GzVK Urʖ=grr+ _Kb0|- vf.q%})"ԭ#HG3VyJevAq5Eu 7|ɑ Hp.`B;2w Χt|¬0WL0"8t Ol3Iدb.ĆUk;p3xlcEkvͪ_llKBZP#sY aXgq 4~LWMco`(.w֒R8 ͿZF9δgPwv QJrE& 冶}ZV^t2ѹ~G)3ѓE/?a4r#YTP*0*Uovdpo؄@Qv S* T",i.1vꁠ(rߥ5I7B*-BkG~@20ݘ zo?pUR9/XQğ~LsB]Վ7R2ӨL7@_9fq|"!x;kTG2?_5WߔSßS4pݱ4S0s G"?{WXNLVn;Ø-,5=ɪܬzMKӺV~t5=<kv`Da{WX^Or"ko j͆-M\s[vrF)^+P(<\2W=:q&x_ F{cܐuSbiGs3S4#iE@Wa2*(@NPHd r)>b˨)}9 rf.?P*ˆg&Aʲ{#Ix;R ,,zxN+Zݔ{6C8m7Y$ U?۫pEgUGs6V tz~L+C*G)ruk[R?m8[|?@h6Mb]"TJ\}4Ef ]XYjf `{&7"2'X)-;$)}3(메';8xJv\;L@'O[ oXY$ a{|,ʳ>Ӽ!+vrX8CsڰtG҉%VfA<]$F%Ky JvVݚ2 t r8ҲίޞeH8`~K~*?e2)Wh%JŜq/?%w/&9/H~܍9æ4RQTa*tnip.썮ҎZGܛw^>w蜊T~ il#I=FX(b8i9hjC}ɠE%7C.M@]@"c za7-qcmIw.z椂<5N O30Lw3 .oQNb7Rh5Z7,&&=/gcYn>9/_ƋDWۆuMeup"4e#CVÓX#Sp)ɽ M/?WCKu`$E3 QRhazYޣ& 5!{6;Sm%3bN&;E^މA*ϟdޟ"{6nX".v]9f5c/*ZU;U06-8kA{a>kmVY𧎅$6u)Jh}r~,֣4,tra"R݄U>=+msѳĔ  ¿\1WX@f02mYCM>5#y2>yFW7 elTI7`xs+^͢wٽBi+/!uÚ|fm׿ dLM8_AT,$xm!@X*wLySЪG &J6)?XbTl-zi88PXL/C<|TWh26ݚ"I?OTg|҅'6{})uC ZRo,\38?R7aGrFV43 Ah^rG8fC4+w(HH{K)пm\8b+_u}gYZ " ("{ 'C# HOLCF-LibraryHOLCF-Library.Defl_BifinitePIDE/markup7zXZִF! m] !M젗OFK? Oȫ5fX{{ _OUV79)@)񆑪\r?!^*i@ɺ,#"᳉@7Fzl{\#E7Q:=1F،i1N2 B4GS TVcO8o#Tˣ"Vyn̜۱4 N\5DPvD jN)/D;Xz1)Tzh>!rs U8zPTck 㻈+fAB S~(Df?V&cR7)c=Q-?]1dAg$x͠K""!=TЊPqPZh^]dR1|ڝVX2{VLtO(iJr[dQE$2샓I}KG&#)?]$e Lk+ +!P7ݹ ?:Z$?-Κb-k9ӿn]&a=ǭ Eim0P ?k>>.9J*UAM߈̞2l&Ȱ.Y;AD[C$,0DX cfhJ?~4/4xExhۋw)XVLiw㬩OR`X@׃&:mM-rF&Âay_>=qD'Ɖxٿ:ݞK5pgd2dmj0J7o0y(4yNjL=\,b4F7?a^tլ-ìA-3cW0Is"=ӡe}av '=' HOLCF-LibraryHOL-Library.Infinite_SetPIDE/messages7zXZִF! ]D?7 {?:fH\?[g5i_Ci+B|n^m>0X"Bc\lOs[zq &ntix=f* YGq!N_ke5ر{p2ed Ҹt?/0J+$Ў6QsD-/<q:L aƖGL=d,`MS~mIBx:sA3p<{aNݕdܻU Ja:ca@ѿC(5޴qG׈$eOlYy__9/JsUy kcŏ)yz"OxeI8]W[Ht""SNz td54 4oGL1\6݂Ymb T@S66UCL^`-_&~kio̊qAM_%2w؛&Lgna_b^=~KSʜ7 H5M>9[tˆ ?@b 1Ť&;m|xX/i;:l#&~GiŪ߫ tiD !#yvgp*iG䯱K"[(t|KfW< 0ػ{FgB0}߸ЖnVf{`>@nao,|# +Ї3]>0k1EMW7Ԭ W4X6@t 2\ه,m°傀ES1|"Dk[σJTlғcr; _9uw-BjFtletD·csPD &} bI"ID(G+NEɏ0vݵ$"lؽV%ڽ% 0vlrO{ꡄ-TGT3p|llf,&U`_OHph4,O1IM&K6@"ȔYE}%&l[52H.b]7yIͨ^ݰpE~K~oߜPwA~KgI;Rn< Z֓Oݗ M07=Ъφ_>8C4Fj^i5#rwᯊgkտ/` ̀-9Z{Cn6q cM!9TD i@Ӏ8_qX',٩!fB˜ZD27u`>H kSho Й SR!dһ L\yϖgQR$PW:]4 Gz l i<̣bhPΌ.hH/xmF.r+`b]|{xSeF6>cɀYτUeU Boѿ7?: oϗ X)NR'w'dE0 ( m?MS7JXFE<"hSgx+_s?~L66  >/2!Ƣ|v&!"/2nu.ݎaVT>O?$i%{66k3 OI0`{E/:딋p\b>mOrp"-HVܞ!P!aaWusI9QMv*"Hϼn9HF9K WG;#ͮX;#ldӴTX%VD)|W/@0r#׋Kh1 sl` 5V&e=xנHF_ *}upyPd:|RwaF5Ĕm9uA[&հzds;2(#Mr3XoTڽckVQ"riS.|Sor|cV&䔧  4:6\jlGo rd/5m$5goJ dd{ttIjS6he9Z duˎw^\"i" % ڐcaqD5)h6Q X{,v΋f@L7QxEq;Ix"wv:bkS)@u뾌lǍ$1fI,,q@ *xߠn7pZg[Pu,1'spT zjUR%Xhj@9RY*s}=T0/#F9,/+nJ3~Zvߛ4O%.@ Ȱ-#XZpa Z GQ3aHت2}! ,VjxE[ ~eq!ʦ9;tIm/}͗nXEU%Y[a-^RtU` t&#AG%0yGF~{y07Dꓚ1/ĘÆ ؂X׋]nӫ '@ddyDj"IO4ܫEoa 1\V$. M$nYQx/IReKrF*;A@N%ڇ 6ЈHmd!fv5AwӠڔi[NJ;@s"Bi\xJӆ]=V9,qș_'}֓NWU͍W UV{m~MXŞTEQ UQ񠟛P?ˠSl f` u4r{YzEDElYYlBNs?Mß)J$/SB;iYRB B]Maw#^n5NB%|ZAۇbLF.Pؾ5좬 >TV\"fdoM=񌵁SRmRE,ؕ3x.،*6I{* m(]9/=֖g6ѫQߎ?h=Pn1<:ʶ7[#kE_s9>B#pi_Ax=Y3 5.{G3(%|ePYK,~K_Clq59,gAtXGԻ)Sm+kT `Lʔv>pF@m3bKXTm슗\w JF? c $c]l-q7충) ΞC!En&-v#?!G% ](g%1`j||` l$^jR1Ӵ&$žhW[WD=_eUG&e~q+7nׁ(<]|~r;9f] 4ۆ5uv: m&F/@H/XeʑP3J$=w\lТXn)HkJkwavd(Ga3k{JM.iߘNFߞVfՌv-v0Cw#[͵5=E^^Us>o|A+U`5e6.G޼7]ѡ 'EN^MT\1Qa\=4Xr~X\* "A{]d1ϖL߬J lGwL'*4~:cs5kN-yIaB>Ȅ92 fx L.?BUݲ)slGNaUr\i359&1TqTF:;ZDTٓh-+X y2z&B25:ï [ΤkUFi.s5e:*]jtfnkeT/4퓘o =IE 1ӉK/|.hBHEGP<8QdiriO{Դڠ PU毺A4\G J)uu4!#Udu|[2l9g rOcj%~'xGsЁ3? _⣪VF a@]Fx،рv` V,XY^ƅUǡ WS&Cwv <)Qqyy;11M#Ux"+"s\F 9fJC|⊴Zu@{Uf])jwd~U߯PJ zfRIIE%j"du:nhzf֜(wOm)qS&GwǮ潺;m|AMJUޕ(~U1k%^ ͨ)gHcxK/>b>T4Z3~*`#w|ܪZQu? )_!w?\uoe{>/c uAj *k!?m $nV^]}z?U=7FjWAԨuu,8*+gYZ  aU'?# DHOLCF-LibraryHOL-Library.Countable_SetPIDE/markup7zXZִF! O] !M젗OFK?;uL2a.CdŘ\ފr.+h;,%{ZM`yzOij얏 p{GWyjK,NimJx;9G]jhvXk]Xfq(N?dz;`L;5r()W& mc%o;f\( |n'XSmy5~yhM* '!r9ge'[7gڇ' -jv@U*Y̬OHsbh]SDb7#AFQ!+¹~.}σ&x#n3p˶6 WW>/ ۣ\ŏ P@V; XII(StbbdwVEg9k&<}Z߯oAgꗈ _(آo{$* W?a!h/sCi2gK_#IB:ZN]#q)]dېpV$'-S;>񙯜LtXtV^ j)a_Pvgކа8@E0I<}s}3ub(Y~PzFi> %`!rZJwu s 2piD20ZgOaČk+\<H-o@ R^a̒ $|1YIwM3D#d}| ]@Q.BK7]B,tЦT]͉ X-&Y?޵$tg磛A0l0]wq{,•bQv#\K!K9Ӭ +)~G Pd!^4aUBOy{ =h<{4 VQ•%3RN9k/ ֭X <I@ɳ7 gtYID UqL!8V_p}gy9 egw+#=1nOSUN E i$SnjebM갲`yt_ F'мlD\0c#]K/+:~=`p9iƳS>"ƖO\yr^)ڽt4~JaX}].?Fg~(g*tҼ?Tܚ%WdK214Go/,jOA_t6`UWNG,ߌcb?=V.=/)Y9ؠ) @m{nL 宰%= 'C' HOLCF-LibraryHOLCF-Library.Defl_BifinitePIDE/messages7zXZִF! /]]D?7 {?:fH\A*03{Ͷd0jx'HPWJX< 6Ն]q^Ɯ|-߹#Tb@k_CR 4xeـSzOD’.z$|EnA}G젉$@ U{J9Fx>sO_D1) =gu0ӭw]d%_9QSܯo]xY4km2L4W}oz"+ vCSNm7hbV'm0pXx)@J CL@429+<*7tYoGdד ׷^Ĺ=4| R>ORd\/  &2̫>-b|k? J~.@ )Nlh_fSQw]ЬU䍥E4xrn/;ܬ ?X^d| $38~?)2KHLM؉RZ}(!_^LXck:;N&<xٸ`yYD/h/XFQP~·npKН,Svmhf/L!40@ʗ/l;3 h /:DdqL%P2dnSkQxS l >hfT&Bb*do`]<)(,3_[pKԝRoI 򖤔w`Gr gQA!-N^&j (@CVrkՒw:e$1j , {ȪqcʖE$V,,䥾PCfw$竸d `oj7u:;;߂_؃D 27B=U[TiXڬb=44€v0i@I@ :1)bE<(@AǨ h9E畁i7#MD"oH{%2,`ַZQ1sU{^{|pWrA ^[6[gYZG`Q~R=ߓ(,z遠[yUv*? T BVt7<ءsoXMz_] _I/K0Yn[m aFőU`)뱢JyDǞ{/hxdWPkI0CSұk:V?NXY!M>%~/,bΈЅ? ~ LZ9ο|KE¸{ĥz밿͋lk7U;+vѓxUNM\$mbBDo?,d15RK9)ExQϣPMwk\gJޝ,g) :)Њ%qcY:(k/AFG+>.?֟8f`rc)\IKg;&- ޽+~9=)1]?J;t@Km߶|zuFӕ/. 3Zt}W6\-),d'! -]dB~dtmyP‡6+{hwLmyW\CVߧtv˸nv_zO&mqϋ^=lu:eK /; I~1!g3[ TB޽U` ràĩoO\yVlqX{m8snd[;% feOY*򆦷^c|Ƅ!d*ȶ)DY p%A UO*!\VX vVH]ܟ{d83G{C?9s!De@0F>?ԃ;zvxwbe= 9 4h(Y^d2aGT.xX{ _էT4CZ ;8X "rЙn+WSZq71y۵PJe}W ELa 9mW>:2ʔ s*'39]2bß-l,Xi:CoՍ׆} 1H?l,E۹!иh/5AX[.T7UI^c٬_7+^iS\r ϥ oI:0>{ *KoamAZ|/\W*2aGzڻ^l4#ЖKFy(k$EY|pj9&Wl"n=9ҭr 8VCj3K% Swpϓb=})BLvx g>^y'S$tSb𽄵hl&AIF$`lė̂<}X75 5%d]r"1ȏ^#өMڰfr% M{* j#? ƃl# 厨Y+Y U.tEuxTnD͵*sb d7El]T8FQq5SY{#Bpk9ݽqvy;_Y}cV!s(&_YJIgoHAuD$o3|&g 8-X*h%{7sB+V( EcQY $(: K䖽{]vR% U,IYli5 /'soY 3ΫJND"E1G>Y X*: Tbeh $ @QԤF,Q,7!Pbyk .5D33ϐoZ8vY!=(@5钳nQTV.\ MM{%^E*'ҴL0_j62JVWp]yWzT8ҫ=24>Bb4 J\u&3)?CBm6~WF½44' 1Q¾ICMg=ܿc|rU)?6 |A/-)W)w֎m u}{J2V.d.W]5^£<O"RHE?4IA+fjH#[XUĢٝ\}d?{׵VA:4Pc`4rb)= "حe(4E%B=/E_s'Ny'ͼbvBjDdGlcIZG~A2@nZEATFz3vt00#M-1 2ޏZr#ۅ1^MU1_ܡTWy]Fu$VV 喐n% ّP:7rtZz^H W^8i"KGW'Ю4<+aKME < 3dz+y;}RbDbsrTJr(ٰM6tn<8dzߗ$sDg<.j!f!0(Es*dB5qC}͖GV{ GQ(?Pܸ'  <\v4:pЛ}_ǦY g'*# }o6H3 2CF(1?P=[yh :+wjI*(c/V"b %f3fEoj!8= yՃ.aEZۿ]Gji+0qhJw'6L;z@jIK\/YQtG5<ꍲtduN m|Z!&+Mif+:kT ftCYU":bEfJ (Um{]z.-V$0q,`k YIӅ>B#Dp!6g֊Wk;/:nR]AE<ݛ^'lV[·lT6t^=U5k\$ zr\P]K̋q䝐)OcHR 1~SҫK3`|g,t J~/+RűgYZŲPU}=ld:C,=x|&lo!RgG^C:GYB򃣮PU- :0,miѬF'_T^8il}hч]`Iܵ!{dK?.#W: )OdDRQNOULӓO!et(w_գOUuGL!Q|HЊc-e ՝& z_T-2]dt>^>&i(`r$!fDžټe4WC38E[^ü#`u9)ߖ&]G'%O4J,x2b9t&"6w!0:tvrORG.3*gG>.JÓޭVҦA)e0v='^VM!dy)xXi r7!xBDiD! kk:h=1=-o@3 tզp {~êckՇ\ws-;)΋+Hy@%T_41Lツa bNDͤ7o[s &̓z78-75_'?"}XsҩՐ} h[M+{m.c6]ŧX9DR:TT,Bcjw$z4zYu?WP=$@'7_K̔#6Kuq*wz 7X;N G36Zr*ީp ^*GʋvH,3[x!FQd<)H~B>6%S' aAw/>dEB_L&t;hd+Y2ɪΒs%uLv}'ffh4G~9/k[VKu.j~p7Iدu6CoY!zb iD,VT6 VB0|S9>=gl ZVAȧK}ĎI 6p\5$ jE}$]bF9h=[ s|ֽeYȿ'J8jNX\αr%:NqvfѬZ$ȉ LZ#N#sGGO u5!vHYj$,QXWۅd3S]|# $q,b}g]\فAN{EZpE%L@-n~sk.)XK5tU\wFc f xZxJesyO̶n}\4Yje(f32hZeibyw+Zk^/-jW`REj}9:T~w B@\̖Ȭ߆cWa_Gh7^4*.&":N&ck`'>>> TR' wNQ龊T|tHת2,7S#*T͛? "BZ`.Zާ>MXI=LabSA mCyf *yZ+魢%NX6bɲ!_̎\L܀/h02t7Y/눲f]ƭmQoYJ+=aͷ49ͥ΋VB*oloQR:r-p^< ŸPwv*ZΙ1|c>g&e0B/s p5+ģq^J^f^+ "QZFƇ}/{1[vIT-.xeQ >d`jXIBvaFKGE٫mu'.;%!BI&ܑáiD%=0 8r54^ 2gjRXSJ=e[ttש= \ K|B/<"y;%P!jQm DWgѾ&A}z** sDÂQv l8{}ϻv{6C-SeV& RfֻkV^KUW-PC%$l=tFKM)h+O0z# 堎c0bj@[4DyJ[G,jHAY,2P튂^D)e2^%s^$eZr?[䲖H`Re\S׮p&[LڋpCr,epo6':^-L2_-R+Φk;^d:>ZP@ҸtU/{@ _{2߼ O8l7!,J6a|U|Yˮ7߱&#"bvYoF`7C:Y>'حW.>}jkԗC>voS1[ W'PD\pV)BEƜ!z$u~ED/bbF'7E{ox;'9M_ʆr *{mƽq O?N 'J]0z41d=L$SZޡaM%+0G u\ 2B:_69c?|5#j7ijbLQ"rT퍢u-m~x6k?l6BFĚ0w*PMSv[s.]}h>:\R?h?RoSc7 a_5۠73wyt V,J++㲖;+V(_eaKIJ @g[hSSYAvrc+^g8:+l֍"51<$Nn, 0ڟ{iD2{5KY"raF`ةZ> "uBZ%Y^G ' H%D4ɪ-2dN2}+@t: }K50m6dC t{¢u9ƮΣЏ(t&eD&r*nii3 u2iZ6 Q R A:A?!~9#\xZGgw9=k}Sfvs~h VńA*,NE+,pa,d/TePD(ł2B<2Zn郇. %cW!К-elZʝo&}–L uZz;*xt@߂%uPcReQߋvte{lU/ ~kѽ$q+;f Oun*' ׏-ߋG9\<9]EY<ϱBR~Qu MnHAj|[8-S^fتh7=dXM$o1Շ){ubXP$g^];ЫW7P$9#g!!"p7ǰìxƨJlircrcu[pqn笙kĐwv5)@dGj!rmHZ,3}$*9Gُ?!6Ptnٔ?) 5< r0S'*ȼ!t4dxޮxB:W[%Ӈ ,kWk߽zkU脀ScasMPN$R8,OE#TQDqOJjȸ"8_{2 &2`Z,a yOU`E=G%u+rf+B;<PO$/Elb Ev3&.j8uBKܨw BtF[H3ߦ>Wk IdDVlc}]z9fcG7e3Ki-C)U,{vWZ,%{o7ʭfG=·v5afoL^1Y26+B &}qeG:9}v(Ӿw'(gSO-5rY@#\SY-jP1J)ܰQqkГvE@0YlaNY3Nzͯ}"vH񑸈*]Oig<-JF;LiOWARWPK3=>c,Bܷ D_ǯ#IzAy=eFJS8Q*[)BD,Tfx3ћm'EK>uIrUPB)5ͤ#.r,ad{4L.`B u G5M [\Dm8D@"NRK@mR -NuZGY1%a|yrMFL3 er{ rCH9woLSf 4-اN[iha[↴!31U| )tc w[nLLe3r&Ns/4 Z@[3~]wk1)Ͻ Gg8๦"!q]f<13Ar/Ki8HY}j>eFeߣ~4~'#O*?Cy|).ums3ڌ`}ׯ' N)̻p P[ؙ=t漞Mse#mY1ԣ+j8U@'X2"Ct%8b{{sTp9)X׬ xYPŭAS%;)6uؾ8GfFs7*js-܉~J4BR2$TYo@3\<0vu bgc9Ӕ%sb4Eej=d7⪡B)0 Crs*xb, 57<7#V2z I=ι8P3⩝+қ(`U93GhQm#P =$b4!f+z+^(n\ ssjU2gl$ m^4ECcć@424c%),YwF[I.DҔC3p)X3PuH|YyV'`a2Xz@ w, )7zP:=RՁ%mR+^u9i]q\ʡq'Vqs fT[QvL S_a8T-M N(# &}I8uIo<ȭyDSyGKMڂ,ޖ( o ]K 7.h W$q[Bqm՛= zZmG7FW4]Vw nXqLM].^q~0~wY]eJC]g l8Mg_wHvl/ Sz|iqQ`gfnB">[3' e]Gܹ)2W_sƠbKSg zcUmsSd=l& X&t"#@.+@:tylNQL>{2]pAjRA_ ػjG>#Rˢw:~-?B#$ T1U֘dmiG;@dm"_h>t["NJUo]ţOV$3{RBzIA3uiޜmC+#WkW<-6}+@%mp[y?XN*8F}>|H꒓#4Hy%@Zlx4pC^,E5CII5=6n#8Jc#Ytߘ eՕMZA\CeL&YZgYZ   n'75 lHOLCF-LibraryHOLCF-Library.Sum_Cpodocument/Sum_Cpo.tex7zXZִF! GGo]A-MՋhvG"uIBm5Ȫkdcn$6mxd DX"p@2 6ZO B3XeB l H^Kkߺ}Kƹݽf lFk,QD0D\x8$ۄB#pb1*AD;]kLZy_-^E\uK֯_T fOɭ𣯳ԝgBWEAj|>yz8h<$zwY2-OgH.kiDRt kQ#:A3pF O~b'N1WOj>a͞^|RzY|iE\wUҔ[ŝ$47q\,ܱl>*fRS*M˂īg|ʔ#j7pUtp] *~PG< cyfmIt9W-eL[k#Z.j7A/W-CR+ __ܸiv: wqN.A -[+z-CBi.VԃCma% {c@"L,DeOs7) %̢æO vs.ȒӞ9)4(n Ye\u0oms2FQu?L&"F>F{p8/3E|WP7oֈC55A/2: qxGn 9%Ucy@g҄Q&?ɴ W$;0? %T>Ho%nJ:oƕ3DKe/lgIM׃WsRME?2iƗeM;NyGPToICJ9t0NsP+gK'8vkFY dAEL#Qh,G'6ht'L~ $!UӰjONS 7hƔ^і.N|j+etа<9ck;FW6afg6NSNe3K ? NR`]Y-U&Q֨Kk؁n?[?mtk U" 9:O H10^^ )P9zl7$PVte`STBvv]ԢI'q=Y^ZA2T@l%Ǟõ=||[V|V"{{b$!`T"RC(hm(D{j͈DƐmYa/\YSFwA͘d88ݩY:0}$/܌e<*T>#MD̞%DN \g׮]rхĜ,D^Hsg !`z>D`͘Vk#}[deHp n?x>xw^ٓ?N鰕+$Msw֥07!zlh;k5[^:_!:K?=;"~n96}1cF`ϪܱGRj/6h\3U|岈iB3SSRpl[g iu‡8ã2_T(v:!g¯W3"9CS8+&b)VCT<]yԖF0NR#p'[] $HOLCF-LibraryHOL-Library.Countable_Complete_Latticesdocument/Countable_Complete_Lattices.tex7zXZִF! *K]A-MՋhvG"uIBm5`''-6ᶈܝi7wq33޺spaPS|&lrVd`At(uqm"\XϽ4{j84JZ1^IC⎮|X}9ں+P8Q"vu]!&o-.9$ {~ %E$2B[~x}N{䔍kY քd5d?Ku6Ria  +=,V֔BgQ/A3} s|ka(|n(\К(O|^?3-!/v, u][?G^9R=5 8\*8l!WDj 8y"M2|cܭQa 6 2]Rd.HzXC wg7V~5{'cɃI'\3V/kWe֋UVTi92~uCs\&>&q1dF` !yȻ:1&YVUQ;YEʍ<]culTcNQ6rǵMtD}6[KD3b#D$4sޒY|uD/5ö69g;LlܶK7dڑlOǸr)v<ߜ>RPY!~)prƓ>rzvĕ؀ּ5d=0&H/uF{ cJ'[c->ߜ >ea?26:)+uvS57]y["9!?=n4fא9.X,ȀPqyI!.z9јMAEJ~P4pI"3tEm6=dm^W> ں˟CuzWp"θ'q$KԘhsZOS[([-[hA=oTV?֗Pb yYnYj6~HgsB*=9(bӘvǧqBf[{ʫ[77~WX(% :T*=J;"|\Nj]&/)%V9-(RҷmM7CömSGZE0Hf;*ٱ˺=Y^[\J_`Z|wL 3DQVWm3In. t;0wPR'$tG3=+؅з}!%ԚfI޾pI><ք*I^r9PSQ&7l=N#!"]4lrO~w?Ƃc-VqXmau5+гOۘ}6. d3d㧁LtF5=yl%1_ 9=PeƵ|i}.,nۉeLdauu͓29YCh :^Qܜp bugJ-5Q/\2~o$qr(c8#,О*u;bR(oA0L;y䓬T֓)pq7? UzOgMG`idr1RןQW/sXGP/|"i/q%1ԯyC*^.{w"B4ѓ%( t;_[OdI{thwC$,ڶܷ_0<YGqxjAg]\&I`~S1?vӰuj]/ ̤`mɰٯxE2,XˌxioU])!pNs-m-f,Xg2~׀Y;{b8_0spܨ''J+%WQ.,6+e{BWTKzШ|NCjQ_۸c9Ag%>,RhU*Gٵ{fJ=}1fWH)qSZǷ[9i腻_#WjvSuF,4卻0wڃ%8N%ؖkz_O4^%ƿA Vp3ISk@n3 Uo>Д>6to¡X`/;;:Tܓz-`4cI'+a|A|LQMFb`CyKTvbPx% RL1f,_?=쌩˯qH+B\lj"#0B8MHF~V9C$̧E[ R_]`]iT oXg**һ@4oB & GJ@ѽC*VdIBXH#=Jb>HH8ވi780>.3$ ٦aBD^O6hȁD03k5 LJc|8.ՆZ>#o|%'`sX0Nz,zZ nmB> @I.^WV#Z({0Yjn%pnj Xd>=\ͰWģhhaYHP?H+&2yM5Pe#PC)ɺSH&zoEӰ{a,Px QA4a[05q~vrаnɭ4᚛q+8TF2cZyխ#'9,FF1J/Zv8R*=R V",a/2e8#Jܸ6(l^0͠n{3#^ qXNzZ_])ՎW.낼)$2%q9I-{͗g_gL5>@ә"VtMR>!t$ktt28HՏJ,yj*{߾Z:Ri$>~&}=W!|e5-Mo! naz=;ғg `'Fƾ'ֵKBU׉A jV R"5K2Ѩ qͨOU}㱮DxF]pZ1)ڹ3sa7Ƽ12xk/q [$9cL:=ڗAC5{wX $TNk!xV\q ?mN7Y!^ ~f+D $3d pn@ "Z!wg6AvsfR)1KFMef+E{7;jv5mٟRKZ&a^ Y`C NʪHbqlK(9 ("*tlH+  oNu-")GGhF'alj2D4[^9t7#@'G)h$9?]ٌJ/)2/(kYz?\ExXu”b|hU2*yB): Ouc;O9!U2EsvFHP>m DUށ!!_jWeXύ<}z*),8Aٲ_0= POTzlb @0 z CʶTFz@d`VUb ]˕HJfu't/z KS} 9i_Y:O>'o+/m- ?:͛J6 >m \T*_2&Tqu7@ʃAPҒ2m?((L .:a(m ڐ֗$ANi 848:alՖFT ABמS r+aFm6k r ɸq\Z\!/SˇYX=0P`׺ëiz  /!UjU`r(.S, P^iO4jx8 1SZsSg|'0Pyi˺>wnW".>3!>b?r DX;;7L%+Lьpm7bD#+d7Fh4ߜa?H|&fT¦:al.6o3gSeY٦bN$ I~poC,:wi;4&motuZ= Uʿ:2#%LwRoc۩ŸcLTHCBҥž0$n`٤p۸ Od!)bĚ>fՍ2tY/Ȏ5ѱgYZ 6'9# HOLCF-LibraryHOLCF-Library.List_CpoPIDE/markup7zXZִF! , ] !M젗OFK? Oȫ5fX}jz >b[u]VǺf'Ezc&^!Y#mŌT8*W Ku8e(ї=(<ӯ0qVBʜY7gs0ݓ2%5[3ʹJc"@e\WL_ eN!tKP/#Iv/+0mNl /C5?qNL10'`1@7;T1c hX5VGam9rp!@ _/L`Sa?_-"-ʏ̥qD.ީ4յ͏ *#AP>V5N[iA7Id PKDžcDNȧuLˣiMץ>#s*Մ4dX!}i zs[,MxYlL\&E.vqes.~ꑨbr: ؏.2%U8&Y,$!o`JRGWH"Oa!j#ڰAagXcH_=|kIpAC- $_rph9iORXۯ:5xgr$.;s[;m8.R}!S 6@i+}znP6ʸI?J .PBf-lD)'.qd+jjֽҵzz]dΟ[^ZVPH0][ =hK$GT?=Lz:qc BA{zPG1І+ӱ:ן3#6+bR;hXCx;^4^Yݫ6sǛ vzDaדxz%gɘ*b7S:&b\il'7h% O|Rgm)JmWL[%mF ln23ind-Fנ7hS),NS֦7_PS83 }f̻iѾV怗  آd@e'Z7v۞X> f94 =; zK87MjP*w]JQll/qSLyD5)X>7k]hbTo wiʻ1#E_ZQjk;[ݸ%flJ~G?qӁ"wwϵ<皮 ejW$=<ʡ`aB+h'irP+ gtg`qu ADũ'Lt53UIZh)n(51PWĕFؙvasa.Wz܍q}4g`G&kfoh@K?<\wv&JsJPݒ&ToF!JO萭xFC"Db yjԁEsg_!M䙙, G& l R,g&Eȭhh^(~mviOqXe℻68H7שL'/aC/F_9[gO)3CyrlCfYN&0s1a~[W?7g2zHSsɤ+M!P'[, ] ٶ ϑV<n߼› ZGTyZԪU,Sf `^bO63Ɲ,D Tq0H ʖ8c[bSlN8()zw}粂JҍS0R#͞$4Ngݘrx6rqUXK_o'_&I60n,|l)z1#+u}8o5_R_Kݚ0zxUGxtJg#9Z!_ꊥƪ+M5:$Fr2?iiLZwd^ ?6?0|4P.?%HRy٥T@U Q^EpƋ}ŝQQ-ֺQ.vvU: 7C^ش`h*[nmzԯ`ˆT 4/F$gA!- ]IM DP[_Q0֪`@F2;ht}}O% Dȭ 1޺#zy3 V-,w۪8LE`w'ol 9 ldBcRJ ph .fC&B@FkɅ)TJOԭK3S`ؽ[H9*6I4G5:X)ʫ$˞ZIg k߯˄$S{&D[BcdvEgVQer*%B ۠L\1hϪw\щGn_CYʲgYZ/qvx%bfd|B!|+lgr@)mY:_2bDY Gų]mڔ]m0g|KSdhs-ƒ!wdnJ]I̟Ã6YD"ڦܪg'uXms B  _XQ;E..TG>#=F?|93NPMG|HB;'}L;p,bOr);\[25\+L]gK^L6U>;~& !wץ{`>4Z9u;ރ 1[dQ:\'s`9Pe5ȪKU:,֟%K\bRfr[XڣG ٷF!W(TsnFDjEZX(Ǒ/'Im^Qi5 8N8ԁܣ%1sOH%8TE߲GP.CeAOE̒#qH$4tܗ&@H3ׄ".88T|tol W{W jH4%@9C#|%oF!KTV ջf%@5Sm4+Z428*4Ħn/" LOFA-ܫc*.hn^x5Dиv\ hŁ4F0Sc@L6!}D | ־ q]23>PɌLPBlu33"gPj)CLA #n~S=LZv#>hӆǼ /s@w/2]wU0خ%CKa˻AZ^1JJJ_}^\`8$cx_h 8,+,G*!dw&uuI$|Ɖ\kӬgIjezoIB]rK;a'esv덯f#R\ Q7'n&4B?!8"kEf#o;{[(9.EQz=q%#8S>s7LȲlhELl+^qUtu ro6]яݕ(>0M. Y!=Gq=7̷ Icfح(^֦",%(I$  s2O = Ցc2?M\U:wDCD ֋S(Z]3XU\ded|'ָ%Ad6d?^푒x`V!Dm x  ܯٿӡu#X}x?> )fIUkktٺѡO=4K ~%e׷PAu3i*/ oX寞{:2^)}kk䚚"ԋһB6jAFrW!^ 1p08~gKoho칇y1.SzG66+ooFU ߬nğ[ #$&g"z#\hۀ'=M|Ffdd^s]rh c,ޔAb\o^g|܂EҡAHZP?k@xV^'+ܯMҢ51ߒż-bO3._*6 86oG[{^KNPVo%a)tz2PD>b4"\\:q\JQl|6b7tB]kG6*8:TYv zєT&>[Q[Hw.ʳN209׬IFN;[!p)]$P;;& .v [D}D׶c>O t>NpvËvhtCe@#>An2g'r`Ƒ$`l;j3mju<=0^9-A<{f*MAg0I.HAtd7 D\U?5,=V뺗7,S AZI| f_@_ga}[{6OOJ![lF-\|nv49_PW`p9*L$JЇF._Uu(L: _17/H˔s0y銝m\.K۞])9%JNkٓTUFxsI?hbŴß[r.yuϔ&񞢹WM H_ "mR^ܔn;gug=Xɰ'@4c))* FN/f`"!UReZ, Ng8}%/Ln:we@o "K4hy0dv9aVqnե%㈅~B]0燄=V"l o +&:)SI?z͟d&Lwܣ8U8ia]mL!'hϊjDw zBY=NfkrzR 3]$j(?֩On8hȰ&+cی O}-ԧϾw_Q[l'`FJ gڴGGLGl%`}&>8{H1c%DcNR/н,T 녹Ը-`7i&ۨ%`4},[D8)Oq®ps&oSr c*]_ӵXMO8:bE7oert?x54{kNU};b1{Q8Z3g.eFoE = '\vq )qO<O >Xsʹ3z*Ss3 w2וo庋0./W^`2t\`YA%_<#;R,qg bSSP"ilݩ;^-ڽXyuٻ)NS">aVZcp_D\AhYg}jY{H1JS@f)뗏 ]^XNo}oHsDOR >}5V%͢G-9(P)˺94o%;O*QI3M sٷIQꓟ-*l k:QSQ)x2PL=@FQV1Vݏ,RW7{MpM]VUFk[`PΨVlzxUH'1L͛ۊf;twΛK;ҙ&]1+჎KEj*&8ƒQX'웎BĔ8Vqɍ3wߵlpǽEjKȍ&N4ƃP-~WŐ{XUI[RաQvŎqMHq&~Jz `t2V?׎q\{ΏD\fMoƍNꜢZnOo[N\v;y,äto)Nh*W:v0Fs%o ݡ߸\4vqwiN_%4+SvjNg$:|YF \?}LFTJy(y/1tljzVhd7 ؚ7`*رgYZ 4'9' HOLCF-LibraryHOLCF-Library.List_CpoPIDE/messages7zXZִF! ]D?7 {?:fH\?UT7S+2p[p+?|L  rf .G.B=*dA]CVٷhjZ[͢tZb+޸Srrf̡g{)ao]*] Cb)c>+! bjbg'8"(*)Do)?qsaG(Y}Y|t۠MH¤Z,ΤiH d)0鄆['^/ڲoę't/Z@6&;hiņIwŭ[6u ߘI2H^D0J`flk#F,!(Ct9|ai&?^F}#If:`ٯw}0^hD4tz >rB;Vec+/VL]w#d{Ԁ} m. y@YCQ7x;i! nYX/|R-OQƥk uXGk_jf $[P).YM/hTF`N[Gn/GnIfzn|PHʬ'f((C.!(i(VRc1@X3.]cVZc)ήDH*W`fMm Q@J8RU%;*wG0"PgYZ'EG tHOLCF-LibraryHOL-Library.Order_Continuitydocument/Order_Continuity.tex7zXZִF! Rs]A-MՋhvG"uIBm5Ń!31 UF e¬e,0vZހuJ Kt=*+ki_o\tǤge9q1%m~wsYQ%rMo#iS|/Xo#%Бsx{l#fy-7=$Hne0;o90r $g }ݭ=Ô^٘HFHe{? L,>cՄsJ~6*r\l7'.4&9e\"!g:q>q"cvmna)I<{g~¯xyH:h& uh*QU vE0\6Gj?v x_g!>VQ>_",@"jߟbU.oNmYAoETR~]3C41{_?j@YgK<a@\(D7ԜdfcF dYZ\t;r$*J1T <E=URy?icA$qv[FޯOKWF(_?!sl1qW< ^Jbeg<!"`\*PV$@V:?]*ZZGX ރύNIľ ,IQz;'7kC.@M L @&_߼VW]C K'bpÞ%"gRQm- G2ߩ5e(O֡SxqgNں-HG_џU0[&=ds2imNZl?ilfK3uBT[A܇GӔuȘUfXێlBY\'@Q=e Cل~Yó>B(ԕQ^[v״8XE6TXK[~[Hei=wA{=XFwyBm9]`RaL8 ve&ȰY!ƝA^HJ oz,>Z:M2:W4#gEq@);P%t yoV 2X1tbc. BS(3% 'ݢRtD%]neU"@i#\'Xq"\5l+/ӧf[z(( rQP);&:d)UHrbU땏G'o]m:7'.hہvR!UgZ+Mi3|y G6Aq҅9Zx nVRf粧%TxÆtGd[^]ҭG7*Os-22WCb >H;b؞o oJ%Ux,6c% C[RNA8BpPoّ'+ >lƲBafgi'Kߡ{gǭ ]D']>#j̅X.YVSR⏵Mww"+5&Hm#&#>D ;]xʣSXK e/S9d^W-j0p9Cs({E=caE5 N†Vp#wp?NF_@挡}w jxdBW[{>5++Krm~D ͞`ǽEv͔t7XVpI_B5\x ˣIBao6V*:8F!i n?AWY #'MoBק4$cu3#Jwx/"(WX X%@}|gh1wN+2ֈc\K/ZA"k_QZ<6, iѵWI,8ER4s 7\?"OzJi"\E[jA)jA#P&D4ܐ Ė[,FȨ{fe*'p $ԯf/%<~2h{-']G|~o;"=yY>}}/Ux&ǎ<Ճ9/EVN?~bӕF4ZR+]bmΰ9›@ ,a:#;I%7Zi2wTa{w'Hlbx73Mg6 z|8$L(euJh Ϯ?qc⧭U_YTO{lc+$ &kYonN+KnmJPFj ` ;7hF 5t3Et {ffUn䏊NqXK:19s!>+ Q7&G^HSLpc'9@{r}SO)T8TU aKOky=)-DV% NN/'[# \HOLCF-LibraryHOL-Library.Countable_Complete_LatticesPIDE/markup7zXZִF! 2 (] !M젗OFK?;uL2a.C } fE#^ x }*4jFl[4ܘ6qw̯J!nq {Hs^.Y,c8#~.ݖ/_/?1pq÷b(2S x(jtma'_[ɍZ ԑPJ4qGߚ֛,uz W6B9~sʗj *pOBǏØ78qmj z43R($Ͱza⨵);1mZ:A7i<UsT=:#j+,[1JQͲVH N ܙ uF \ Ԓlb{~wYYj Bes. $i+P8&oDg] Urwʬ.EGxA؊2X"[ۀ0e:/ɨcM}qϸqzTSNF(Ub:dfUpe6Dc/Ö0> #~6e!v7m:rnFx7O|'.=LۺA+2 X8s@ _Hոauc5Hɫ0-rQ+IcX|DcBasVw)5. ;,{ HQ:yUZ|¿o)3h$29Gb..uQTқj4DgȗT}[6g vб4>3O/`u3Ӊf+\0aKNfkk-\T* ۉ JpXE j2$1:? 7lvkDe)J"šMAd3D/dyU1qW3pcGsfvrG[:+eZV^zxۧq A8qwF\ug+S1\vkFS"riL{mAj)^h_<M:xy2 ɵLAb5F^ PjՌ@m5$4G\ uY–9մg E#9Ǽ+ni8 R8+qGRPfk^:U^ZpdO1ތKt`Tw ^_a|U3w':F>.׈ǜ:_It9<;9;Uq:(RK:K8"Dl⋱@L慧&"9̶YF}#ه3hcԯq0(M>$15hh,|챴/%xa jg4Oӗ[(=Z6x#$΃Uf&WhW%oFb؈R _t'%ܘ.S\ LFRJ8FejT29R* ±=gqTQ0r[12\*X:FN>c~F¥h 5--8opwW G~dP̜a\poo-DUjbݠC7Ne؍ePM_i!|2^bu<%3ΦQO'SPK` }-Gl2>QzS:ZXKX-jenunzsep֛,+m|=,t?Rj!eB9֮0%8ʰP:GۓOS9PxQ?- ­']ˇkJ 7.+~'d~ɰY)6'sz՘$ڞ/,cgU'k je?6Mq)ص|%u5DQ֧@ν|-sR +pߵsaoU=sb6W[mhEڎMm<}L%C* M:7Iw1r[c,}bEoAܻC(lCg]r.g%VD bәztI1VPK#e/DgYZ  V'CA $HOLCF-LibraryHOLCF-Library.Bool_Discretedocument/Bool_Discrete.tex7zXZִF! +]A-MՋhvG"uIBm5I (a WČȇ k&RoE^|7 yCDI:` %J(H^U:yNUctX=Tw"6yj\5=U* #uyKe\G'-V5X"L{8n:r7z$Y]H~@Z B_'}V9s n^T|7Yr@j{kT95UQsfx4c%LV &Drү:l_0>_d5kPV*1,6+m.0[&1 zgFn,n1:)OˣaӮiBx|=e?\N P-ޗD$ލ$1c DXOxP6GpM]'CCY Ϝі1vG Fu$i BG$ g5Zavf$YjXJ`ވݘm:}rP޸X/i5i޾w懰y77T.|d?. w~@8R )EH3Q'0{`tQ3BIP4HiX\ xÙXُuMTa`SiZͩA\BP1 U^9[B(q~9@Е .D\i^B PDhkB'Ia A\ǥB:ܖ&Q*j^42әLO^RAuABRk+BG7kjtV[FqnD֣^{UwyJ.N+jCK@(ҰBv` :J16u!_da=-X{˧w͖lE'G}XAt%Qip.F^JDpGrXj̭|mKgM |zc,bdJ8 ʼn* M"">4c^50d\Ko&$'zkZ4&xF$ 鉢ToƲO.,ќ<T]0LV|d8;ܳc|Vp?d ja$yj̣Â)ECf`r(YH 8[殢,avR@'(ظ'EӸ59~Q5`\uo;*#rpzW&ݕXaP-LN8@AT{cUMwk1O7Ր4{*pFgfk "RQ' J7(OLu#WShg>xxx@ˣ;9tIiΘ8ٌo\CIۯ|n FLLbe[C (V[C@fW²޴V> C]Q5ѝK&S:U֢lc)MCcqLð7H4"Ǹ+Fx6N±Υ[\Z9ɨ]9}MMC~Gus^}Q+K r;YW7_*#ztǿCZg[t3zmSUa9Ż҂,1$Hj6 |Z)MٿlkE NăvAV:0VD@! \<uciӀɦjlp^ǀe!ۏ g%kDRqRSWLujV #UaE9{! H%1B0$|PEL~VaSEvY3V]P}}[. |otpBCJǧ;U佖"NDFWu ^.du+Tߤ~cgf\/#\26jぷ+JVo͟r}*V6O}RP)h )`^#zhy(WӉc\CzeM[w/;6,.:sn,td=Y2%ܩj ~zmZTaY7*}c#`YfS<ږf&'&x)nf6rl%t c9Fbt t~|mb,r `{M6o{it,$E&\!S:%1Us)iJ(PBoqAҚy x 2<—in{kXM#[ENzB:KlfԦm m HǍs@}itOk%W ,BrZ,Ӯ0:!|_M|qMm :}mSOsjtUZ<э'kkhisW eTo K_"j+V+p0ި{3Gah-2EX!!`CBM#3GH\KeMG\,I9i_KY,taY)vFW5%U27^)H5V nigO|s]Tn@xXM~#it"2o^ˊ,c6 87T22^$} g"Z*I _`:EՂhlTyy,f~/?3([):N~:9;9p flJBRDoO%ng: Ғs8EaLpuud-xoˆs8ܼ<u79RՌEJI]Ae6S۰$wCiEsgԖTQ& @q<tx O8dɂ8V``NNh1d^H("=2G$t Sw~Ü1ʎ5u =뵱Ty}Xl2. fHd&(~D /ALN_K6YbXEj3Xcq]6HP־7kH_1Bv`=T;˒X΀;=\bZJr +qD =cm1(3]zcۮoLH k Heю,Fm]zf3[=HI96@w.W/_T\?>_P`ZV>"ۍP[Yn]'/2"kgN)ɻOR1ǍtH}e6?.tH}ɧG {0(?. T2*'FS6<<*;?r oOcĿ"yx.Y.,)#ʹX6S @̰Z9*dOR7n' )2˜aEt'k>07r)k: Míd|x8-IAu$f,i)6'0f9q6'4R̷@Yyw!Z\U~r]JY _1b#tD((I~= IS([CA]}+ @º` [Ja hS?GNgYZDeAq9}xa 8jZQ.:2=7gJOߩԡ?+Lr1Y(9EnpX NDf"bH&N,@4&V(!3i1YK1 &@ګX絹ܟG= eoa$-x}]w"Q X,̒l5s;*,gV %ęO-@Np|LUli 4ښFS+2^Ҳ~$acc.z l6vVC?`!WTV+GD/})rKOɫZKv O!0Ԝh)/LEmS/͌kN~sB76+1c"zIoEa~ mc[RȿLe{q5Ly Ǩ]WyiNA,cb\F~ ӋL pPPzQ`(ޥg"F:Z9!f ;?7sNs-=䡱&\+~bŀ@S +2TӠƮh"u___9{)XJ:3vU<3Ly //TQ{x^Zum Rl.tFRsO !Zlʜ%m'Q Y%P}qr.B)$ҁe{iAe%ol'$]II>&~t?“N5SU3{~Џo4S j">wsahS P|a-Nj݇1ZIF ͂#3M aW4ng#yaA|zln[)Sʂ4¡~T#$+Sͧr"|ձҕ&`:GE0w>!9U»?'IUVћL0t{̵?\KD kVaL>R>N>P`D-_yESl!3?22tS Y^&!d5!p"fU˛}HuDeZfkhp?S&=*aeE?Nw E;H'_/Ug뭨מ23sa~Cyk-ro-h=Bdm3XA$TP?ٱ͸1_P /@ɌM*Lc]~F5v=W3%T|3 KY4=Cm@`āY ѦLkl dll nOBn/o`ҔzV?C5y*`l34ڏhmP¿4NqSFhU)6>bLk"NQvcN^\7o m3ΙGsqK Z"p$sp I[xTy72~Ftg2 .M3?k*= v=y9] 㒍h4\[s$%4C3&(>&*P"~'qj!?nGv)i VTXcjf=YnB3H5f4N?uM,FFY&*Sij{&O8}6@')6hhVLccyc.$G,x>&pю;q(%G xsu@cW`m{"w r'xtʅAQ @:m /7Z3mbI N 0uMPC9OVLηz+"z ,(k7\Y@9ȚDn}bmK@ ov C{J~$\gg)|]ĸd Lp(KWY=XMzҫ2I8GjliÁIyvFkVp0=!SEm*LZBy)AcԻ!D~|fog ɢ>_;} 4}&(g*Yrm JĞ4-Š mh̖H~0It"2>ެS`G*KzEx1^u.tW u6ǃaZJ:aQ~sG!aA<`.q/2Dsɧa΋yQ~:"Ͷb/:K^S6M Sy'̐ȿ|P=cAo_n+A^GWt(xGh\˞Yø]_3{&uZPZְ @aUݙ_S10+ mt峗?*g]:[.۹v:QlqԼ7VlgZF *Yok&&k\5z4i=4:c?2XG'DM= 2:LQ_zfބH.Beȴv[See;aDf(=B&XA^,w9Ds)لr G@Oc@C?*Pș)sOS0Y|{RIm؞/^6 /LTd0@PBf|w u С^ٵ 0m=AyT mgn,]vdr2r'LEYOI$QY87A~n=&xrgK )ߛ5 bgboO+ }C IkNV/cS4gȆU%LtJEw"ܩ.;)َA%-\:ė .F?X2H)~vY:D>(M V%o9H6Up8HgM G*ws Rr3` 6=B(ox  p(L#Q+i׊,_AͺvbʟLe,lS$0D|y >ˏD2Zvfr^jQE_Oy',N-5jPtA3Z2n.`l{p~PotewQ+ZHg@ĩ紣Ogupy'd2ɏ櫇^īz:jO/ ;Fǃ06L\Vvxn. /rbڲ(`HUhGlc nKU~y@C0/W#GAx7 hdq/a,Vb"uA ׯÊtؼYݹeb.mc΀~>`Px V \M.%Uz/ ;1gYZ'=; HOLCF-LibraryHOLCF-Library.Option_Cpodocument/Option_Cpo.tex7zXZִF! ]A-MՋhvG"uIBm5ł᭜za8iٗhKڃ al_y10$k /BUf}]E}Pzt\a@T :řDC@,fOߋ:,dV}W/nsE#u D{>%m~^-aH64 P)S ; j'bH/xD[vK?CLs$Mtnv= ^DdOOxd5_]P/_X1)\)'[lQW WX:b@@5 >TƺovV`ҙ#852I +s6M, 'ƒS\ɞ͏˘gٞ%خc]i=V.$G{e'4dQʬл>&ľϲ f*yųpHǷW̑ Lk>!LD=Tv5 1Ҙ ⮣5Vz/;Z]Qaԋ?XIߘCo=J~Ntro*'0s[=Xxz ĪI3l>.)6k²|$ŵ'gf>{[^)R PR tx?uxZAJv+SC.n>IpVeE }Ű!ѱ2@a"&r[~ґ ~ &$)23J`*   'CA HOLCF-LibraryHOLCF-Library.HOLCF_Librarydocument/HOLCF_Library.tex7zXZִF! }]A-MՋhvG"uIBm5gB-\W{HX TU 6J+NGܽ`-DK,XH/8C#iPEb""T[]ZrQ3@#"[>4d욟` /VSu@ W {3L}\푡*#b+o*Q6~Afrﹽ XHi l=C;\螘fWLd[Gk/!fu `DGsmJ}%KÉq레UtCi\ f~r&tHmhq+Wʯ ~?u 3sA\1$]F왯_3hz, Ō\gYZ*'75 dHOLCF-LibraryHOLCF-Library.HOL_Cpodocument/HOL_Cpo.tex7zXZִF! ]A-MՋhvG"uIBm5syrcvIxs{iBOP r~+ot-#l0')nί]j5J\ӳ$N;pɕI=-rz73c6ݒ!SR7n'ih^x?%^ccČ!̦'ҽxr,I+,DpQbS?,A}ʰ1aK䮄DLae! C/MLR}'p}!ўA hI~fYN'RPį rU4Le$23w<\u Zxgi ?N4:5dž`/s)82tK℈ƒ^ImX~8&QuxzZ7%@YΚ bFرgYZY'[' ,HOLCF-LibraryHOL-Library.Countable_Complete_LatticesPIDE/messages7zXZִF! KP]D?7 {?:fH\Bv֠.=u e^INJ[eS@~z*E'eĪ X_=E )#ZS45T23Kc/LD$6/cp0JR(= _VԎꐈ8d4-zGk*jȠ6K'L`u k}ʦz02Cl|oH.JDӭ!&#LIw׌3]"#-q,WY|7覟dVc|UVܧAKu\؆'BXidHTGqg;?&IǁD@ӎóJj1z?ͅ7t 6- {KxrS"/"6\ig j j0U[߽QQI+񺿛̫[yy^f]N2Rai 2&xhvAp.bV hJ} 0J+vRn60:Ůװ3vLֶ{f(-I 6~ʟtCs "47v&ESU Ǥm2ׂ忻63pҐJn(@sD"Hb"CV/C,0Z2W.B2}pK'rF&1遊6gگH]SGX^%Sd uu5V3h@~qzb*uK\?/&OG6% ]wYc ^JdTzE aѸxycڬy^>S8uDȵC.^8 A!qBw=[im|fk@ U}i@8 IHa( 4 S1 6B.?# WQ( oM ]$k.;2g.([e3HWrI0 ܗegYZ:'CA lHOLCF-LibraryHOLCF-Library.Char_Discretedocument/Char_Discrete.tex7zXZִF! }]A-MՋhvG"uIBm51;犧Q]'H ٸ<*K?K&bEliIN,E9빵٦cZ+`L;S9i9 kp`D3dxirЭN.`YdYY44Zi詜]5Vɭ0uA8Jq&zK g>zua~4CqΈM ;WpE"]Jv_yڡ7)mYls;bq>'*xުٰ*D^>aMsIrg!Bt˅hl2{Aԧsу *E|*4!xYN0]&Ag5]10Xʤ3:i,Ʈ3Ks!QvT’3ˤ+͛VuPzyGkes4W a8|I*AɎg}G70aPIZ<_\ ;L Ḿ =_ХrEr[X͘K\at#l$,NRi{U똸rP[-XdzzΎGC64FFRS=yEʿwZӣ8oD7`UFT??Õ@_޽HqfWaָΜK n[{QFRH#5@ΗT0hPJW%}iYrd=z?Tlhp56|A8K] 3N}WwV$_ 7l4qG s/I^^@c->{[gN+IKD/1#j :kNmPf|yO3.K/ j #&%夓sƋ6x'@dIڊ4 ྏAR˷ă\<3"k;V;8D.ᑯ>URLzsZD2j*,; *ܬ{n~+5G]c}yə~6ؿŅGNc"<k>n|_5J% e<I XE(sc}kNi<Ͼp쿏ʱ(HOH!a>.4|`i#hUp>x(]7nO4UykK#;_i6{u.pZ*T[T>l`FDUL 4&`\ <jgYZ m'7# |HOLCF-LibraryHOLCF-Library.Sum_CpoPIDE/markup7zXZִF! 3 u] !M젗OFK? Oȫ5fX{{9cSg%tE'R o?rhC򍪆HU=)+p4;M Y(XEkN^"r4:9xV{g$䩍"oQ%| sYmbVn2VqڢFh1yF+CRw`O6X$by3NwǍUV Ph2qfܡzw)o;n55 Y;@Gh^)u'a9[D=yۨR;t: ^(U(l!F֮r\y.[gi,1LhhX;C>&|o*E5hDOZ /$)bXq'32H19극$tΧ/pj<3rRLFAG2;i7BljW $i.|,ƀ;ro` e~>ӍpS%.SO^x&g{9 i}f d/:LI(2Fg*?%Q?d_H ﳳ@+ %^3K7⊦ wELJ2h7 /ݘ?dwus1U4!pjZ;51b) !N|hkL%\<-(nN}N-f'`8]@h (¿e ERE>|gW@@DŽm,=rD[+l]ļKwh! 3Ŗ\3j +Y^*Okv =XXe{4Kl}!>RFCrt5?A!MG8}!ɜD)G;ZL_L{@VC>݇Ёaͩe'v,yaˊD9=su_Q:8vj2L`P rޛ2ԯSVM!{k1@Qp?5Ba7MJ?4 %u'^ѽ%6D]$p7GU>oC ړRQ͆ n5O#@UgQΏwTirqB{Wj"m XJ1l:#"= v$&wţHh}~ԟl@ -t'߳xxQ\2 IK%"GZ&&GStej㣏kSR75dDfOmmd7;!87ZAρg7{=}_?I\^$ ^~Iyr3<% 7:ycy1)6?_qkWƝE*#p0ci0C|;G Bjqtս>>6שzꀐ+|Γ0ڠd_EJj bBfVz} eљn' u" *OY mY&qLP~KO*TF&QocsCq$ V*z߶<̕w\z I5DI`l}|>B%t4#MߏXو=g"Y?^ Va.U 2RxxI3 x)7z_֧$QmO>x$ 6?h.){Tm ϧ\edP檣)>'Ů~ҽܨpK=|9.:0NU ?nO̖#}Npz̼EfY d!#)J9Tl-wf5˛D]|IJ&K劸$p {/vv}d Z)lڿRj>sإ\O7;)J0]ݯBgԥ-sshP85[aG_N8nƥKeM-CI$szd5la7]XofH"S;Mwb<+kW C4}\FSƈe;@XiJS%xpiy"ܮ$٦:"&R7\VH^iZ1 Uqtϝln_j)p`N= 1ۣC*Kj̥gBh.ws6ϱm׭$8t*:W[wڔppU, ~7fGC(s^xió꼦a"fk*rh:LH2)xgQ~|ўdW~gAof*o=!P˗}^%?dbrK׀٢䋠>.yiH긊tuHVďG9DBVL^ML*-|Kpz%򝨅Wv7vϭu"܅`ŧXABF$hƴ#J* 3?:\[(l|v'ydGKD0wL YbWD'gF~jܦ'f;;|8? #x/UB9Fz]RK:}ÿtÁ1^IY4wb ] \+·fl:H)tY(QCRrO?' y+"N\|W UK/%S<0 DU6{X<-P> #7-? "cVܷKjPvuP3K97,7X\'ѝ,0bjT/2} r>a7!)KE*؃(\sW؋+S$j,G2= L X*,d0XH_Ǒ]Ά"bЦ;gv [* fUݓbuJQMbIuA0jYD5E1ܴ*<~U!?BtFY&IȞi. lz(BI#S 6P9OH"ɗYo$4vV0ЋMiTP+ɭ}=ݗ˹)I%&kk`y&B02{b@@[2ރAnH`IP!n1.6887 K*qfMm*5]e"6d!]OTR*dr%=,rS#a ]FGFL?wxwhͲWfkˮ*<oNNlv\$8A6`1+5I5FE~I3~*f;mCz X)s{j3ZM`Uoؗ7YJtuׁ"Ye-tdqJ]O{ɪhNi4N24H_sIZ[ϥqʃv@FNR ?;~fD< Qx8h0X;[7&ʥOyya~(lJS Nc,pQA{ qN@'qljk5h4{ R+eI(j: ҎU|nn Mh.nӛEmE g2n(EfS٬:ckS6M.[y_`EV&msp^9kY_w w RĉP!W8Ĭ֓d[/烎' c{źRmtG:FV1c6sE}TY l;JxZh@DedL5wO1p Yh5M\)?Ȗ@guu""zYiMa֊}9H_ZW p;p$%|/Ȉ{[UnoY갗Eք#՗%F:)0Cˡ(U9(ZI& IA{`N(P^;j8Y!|'ig'b(}҂]1 }]1SE'/7x'D}"|pJܚbcq 6%ڵ.F:G ~y,4#v@I6^6bT.|)(l5'XJ bF՚^£8(UƣQ&>3%Hc^YΔShoߜu/r`+-ɽ,֊ͥIqn&@8&ۼa-+MirV\ G zFzǵ2 {\w[^Τ RK)to1cr>^ ƒe^'sm`NoS.<]P8~]wjBJQ8fiLi6#} `st) Q\ٛLCED3޴[~6٩0ݬ~vL<,NE%͘ ;mtҡ1QWT̘%! d\2[OʪZ>GlHN'ׁ2Γ[aVGP6{0/l_7 4+Ƿ'͢P̋@P_] PZs􈨊 DElOJYN^:yNǓጽGX:GmK՜{E S6`Wt^&`L*lyxHV33w)i?3hsh&ܷpxp&gwu-Uy_2UZKn96S-tP乴LG'w(^hWW< eO F숴drPY&u\y/zJx;3)&\1r -z:Yᾀ 8#M)IK=dܖx-q`Ot--?"'FGҋ8O#;DctB+mVP`m;0L@$Mם 9S$U)]S,7NZjKF0m޼i6eA70pM-,6q`kLZmE3;xC2g@Gc$(:S8{Db0,RTF|ACeJ i3|@5yN*ZNÈA\#4+KASw1DiuZZ+Q1 `sH m75J;6u)s<@bcrt-<~WWlUjM_+iQjRd~}I'6\q1vGK`i-]ޟ"삸zz\ %}?F\ Lénݚdۻ?r s!9^?xJ?L"yD?RQ^ȏW)o24QRs13 &֢qmл݉A/+F2D`wNэݠpL4#*i,z" JI\#ׅ?JZv$9KA >_KC uݳx@(:A}fǛ]و3t/t/+'KAh6XY큩 ^yKJ` X35`Z.Qd1m=\L!֨-|@`Why ]%7Tm"NWQfGɭ 7"qXL8S$\0;b=g6ByѠД/ rgP"?UD{/G 2fl|u7,n@jAZ%.w:LK+z^˫)bڳ@,4 5FZֲ%_.|6,A*ΟQDmx[gYZ  uY$'C' DHOLCF-LibraryHOLCF-Library.Bool_DiscretePIDE/messages7zXZִF! s[]D?7 {?:fH\>{&sx{#5MifJ@=gd;@f /k<Ob~Zpb?R3 `uE"N}g "L*-H5r* + q|:DܾZbn $<+֑y&E9"o5i)*A *hCzʵӡ)ޢ_ˬ2ل<#uyPG9,x'ݳp ,0߭ɼt)ݾh<Z%AݺR cׅIPjǽ}b~xK1sl,8LAr~LR6@h7D3PҦRU,OVĸy]o]#=*gNHA]G̑ G@ pˆU U)+#o\V\1?/(SG͏٧ y!;W.~ɥ)AׂɅMB{8{ɊSCK@DDeJ('Gx𳭡(&#ހ 6wbA^%ZZz"46}Z^Ex?97]&">5w[9$X6JJOdN@%/"&,\aďq, 5W'qB{<4b6 ɌѨ?1gq]ܚ@s_rGvܪF6-" ϳXn}8[l[*9;$c%L \v1RNrfBnp.cMդnúː"+\eosZ iM "i6ΜJj]C&dm#t:\ tH1NAdX;lzn(MPplַeI"m1yJb ߵ5TJI:EYpF1=`M^bĨ"CK^KJfU&0Tֹx|^R IyS[CI2nLsK9(mАE Oԣ]oTQ/dxV1*r!;'ݫ 'AM±[v:TwUѾԝ |ʏM\4XG젆07!fʈQJt8F#?a΋^G;wZfmg}kԥ_ 3KY`T}4 Q*+s.:gYZz"'E' HOLCF-LibraryHOL-Library.Order_ContinuityPIDE/messages7zXZִF! z]~ hk.<VAHgM@*$bd(*rQqqP.Ew+!O8`?i_o9M9#Kɦ1XJS6dwM;bˇҔ"/m\/ꈊ3`apZ`< {V-nkXv'@$4}ճl].vO{ceVs>bK e>` 4ey6Nr$*+MD35'j;!nYA1Pg*g|υĝrzHE˜9=UI]RDN4'܇r^,[q ^Z"9l'6[9u7t2}Y"gJsY$h!7AY{YMwL9hiKnk f,i6݂kamvM)p S<.s7SMţ%a*rGF`61 !gYZV&'E' eu=~.`oR_I|m򦷅$$ le>".M|P!ww ciG_otC.-_K|k11.! PbKw., Nk֊ =,*|-؉ ke? H:F9)H4=-3ju5ow[ s1ٝ(=3x*،?IΩnND|#J ~9U2ne[gkxp+-΍. |%*j2Vt5LT$$`e!1H*=] I FYѬ׆ɑ. ?8(|C)̰%s긏V+3Fr& d-mGgYZ%'E# DHOLCF-LibraryHOLCF-Library.List_PredomainPIDE/markup7zXZִF! "] !M젗OFK? Oȫ5fX}jwl ,Ao.H6YyLA~JuA>;2fLEht$p5W 0i6Ŝ647 ;L+x_M_w= -MH]ɶw}X /B"dTSbqSa]wQܧn.l5Pt -c~8oZ(pęvR #*0(o->Ds3޹6I<@kr7ɒ4_{|TC--qL 6X;f/"i;4=> /{'JwC%m^ɩ pa&ڡ/e#K]8l@R'`6&"^@%g -Io}~TmOV%SC㜶5O+=-Qic^Ѳy?^ - )bФ;h/t0l7 NHj%zAt}Ou>f@Zjmܪ܆+Q$ag聯̌.ǜLlZ%̓K9^)GEG[ y:J>_̼M>E ๸k6>z}cS9]  55fyJc[.dʷ:ifuZS}j< giv2UW j2 Vꢉ% w3q 80৩,+Y2#2qki2 J6?KwU5=_:Rf-[^ު|]=FH!x-iN \d\aq!墷a4Qϛ*iÕ|E6[HdYJEX`םj .+#RDf_jV}vQ~Q؃SvH /R-+},hYOun'`}F =LVg{j9TہBNyd|N;h̅V"~6mS'c\KG¶5M>y'rs,I[.UD_kģjf"}/K*2ңLm;.,yRbw.Y]d2o1f)z&t,i` l") 9rɦcd5ƭJX*9^ą֭> ocy|O5s5X;ޙX?-:X5yMlҕhry@XzpQ >sȸ{Jј;JXgJyPJ<]V"H ]v!LsֿGEu k{OQ[6 @1(E?/݅3|*Ĉ)@96fufYg@ȟTL{<^L8)mDcWZ|%+F u Z*WN9n9yg6N M5;p#ziU0{V}˲PI4vgVb" Vz85Bn^2V?%V0LsEPbf)^1WJo$v7l[B&惽3I?,5bXO:?&0\Wx? #ųn+.s<ZN3%T?\ ɶ~ߔ$/ +yهi)Js G[ x:K;L]iԮDkQrr@I[Pb,{4) ˱gYZ v v)'=# ,HOLCF-LibraryHOLCF-Library.Option_CpoPIDE/markup7zXZִF! %9 ] !M젗OFK? Oȫ5fX{{3k@G󉧶0XL/&x DU]bI!٪F@t¡{nj ! !Ď`r{n.DDy QE%P~*;3-Bi9X[x֢0r uckyD4 *,9Rdg:-Em,;oR;@vv!tk%Ht eCrw,tnd{}}0խ2> mF (7hWwsOw8> A]SH>0э*Y ,yfʼnk``aݫsA;Ĩ\)~Zx{'0S0^u0Q$~A =mHWS> 3S+22s;?Ч`Oy˻+q{-՝:U]t~قo~A31LIڜ9ʬhy>ub""$'yy Y4yHig iL,Uajބt=*Eu_(o4#%2wf0ϭS`%ӡ z|ǬSZ[&h-Pbi>e8 K\U,lQh_@ d?zr88-o;095 +5 _Tz6K/uW:RѠpp 9V^lVmbd:]-D6Onل#a=zT+W>԰tS{?=*ް`0|dw遵LoZ"B Hq$\Ԑ(9RmuJw\Nv;" IЭJ#tH+ij!”hM40#X+$% yO}O`;`DYB]42tݺ [g Q\g2a'(Mxt#޾w0[yBjKSj5EU|qn5 %oG-4%}b㧴F9B`a:!uidlU)cx A-ᒴZߐu0^߭EԟuC$yhMӴRX=lmKΦ3*xD yjA_6v'K:&^}ԛY8ףh> <QY+`6 m BH&IsYPc6/oKȶ}/ys "y8GL=JV9+Fi{㖼o݅}Q=e" gavAzz <%+RRAFB+E&+jQZJhZH(3a_!]ݨ[>iuF>k\u!b?E^ۮ xD==w |=88?R*o? 6 Q ➔H٭?pRg@a԰s,Hj 0? dpJQ-@wCQ)ke FY&B: ^si?AX& ,f`a]u#'҉] KhR "kͲW}<Y'{& n$i HΧIX@$h>Z@nCGLP-ttL䑸5t{+0E+!ZCW8mn$q?䅏f~N ~)}"se/7(qgՄiX8zZX,hSBmmRJHSdEilXc/deϞ ,\sH2Y}ܝ-ÿkI<;3$ ntȃht;qJWy:\B̄]v $o ` ciHu(JDȨz^]C>ҽ"6@ҝ!`* Ğ'SgT5 ~0k.FWL"? g3-iwaGL:BGoUr=;`ؙ}9twev+fW8m;fbjDK~xZ8B[sn1qi MQak7T 7h. p&TLVsdޫNs_UG\EگAMHC[ztS "FD D4t;ݞ ߓi4WSK)'Kroف@J1A@TY|a$}ߜgyzv4[`Dc^K :aft$Ocެ>\Վpk@DY3P/fPD)VQ؎jqgiO~G0$+><-[qNAhyRNW`ZÑ j/rʹ0ǐMq@H"1d⧶,!NJ:h[8Xl,ԣX>3@O^PP$p3n54% BgYZ $   $f-'A# dHOLCF-LibraryHOLCF-Library.Nat_DiscretePIDE/markup7zXZִF! }l] !M젗OFK? Oȫ5fX{{1Y mzv,H*;,iΦR p&k0]ˠ,)Fb\̰Yq $d: 8C˚suu$Agk7sH#>K%$Ƽ'"%p-,cG\5Mre #k@nYjcQw.(_@ͬGCUE|2YG@'*Lsڲ{& f00WnVkjCpTݾ ;cD,&[H,Ż&XXDpqr88P3X2qNXO-ܘT=srICVֈ: '^yu Xt7|)/&NğGŐ,jՖ chZԥA?њha(?qv㈘Q/,mN3QO1G{D40bK_s1zsuNU1[E{&_l8 6JFxn3"4(m֛/K veR&}X.sf'o%XId̎^msk1 78 >fCOPZ솗:RBs,X|U*( <<>NVuoP[hafO)M<;,W=L<HRzj?<>|!#X$ A.ΧFїPtۓH(犺!6C6UEX=5 gYZo+'C# tHOLCF-LibraryHOLCF-Library.Char_DiscretePIDE/markup7zXZִF! q] !M젗OFK? Oȫ5fX{{!4V ;mqCݽQ>hUzf>>Jl؋炼h\<҆EWEvRRDUJ{22(T?Q?.٠N`Z?rπ͉>쑩Vx])D.yv=( LR/š]NAyll}n ؠ(Smߞ@S2M͇?!w@(J+=Nē9;5S0S \:]R^Mg={ӯQ r9'YLʽ>^9'M1=VNBPޖ׸}uѓ. !$vl=S (_.M+ExDK}IH[׺q@@^qy>ޚ?*Pq_+ +*=^MG0_V =\V2~7k8{a6k-# 5Ϝ=G',Έ?v\rmk•RmQdbN]֭䋽B{db~f(%5qTZJƫZPѨlTue>NyV;wcVP-F+b2V:2G As'Bb;4>8A?OP)s d ]Moy/j tItY3p5`;ܵ|7"ʡ"t{r<gܽJ%@_vnP8&ƒiJUEh;Nӥ~ԢYRམ/-JB$-Y;|auTYqnFUeT(V%lrc2N^`ird K_ a(EۣˌV,i[5Xw>uC^}]ʖ?كDk @HބvY l-jv(d7 !38V͎,[EIMꠚwCn!I ex9IA7k2F,M؄ 4|J$6;yt珉7෧4&*T}Fz*`L 24(b])|,U-nє!eXV^a;oCY$Qx m𘣘>ZAv%@]WICHas%уf9klPBQ9W^hYtlG*oC~X9 DoSLz6JVfj%+H[ok=Du^& oӓl&\* 70`*AcdL_;KgYZ   m0'C#pHOLCF-LibraryHOLCF-Library.HOLCF_LibraryPIDE/markuptheory HOLCF_Library imports Bool_Discrete Char_Discrete Defl_Bifinite Int_Discrete List_Cpo List_Predomain Nat_Discrete Option_Cpo Stream Sum_Cpo begin end E/'7# ,HOLCF-LibraryHOLCF-Library.HOL_CpoPIDE/markup7zXZִF! ] !M젗OFK? Oȫ5fX}yG2$URNFB n栐x'ө-Cc#/`V@}j?9g00OeZhh[?[P8>2>F +X%htЧ0)x׭%^tD]!N{q'*`"$R1TgYZx.'A' HOLCF-LibraryHOLCF-Library.Nat_DiscretePIDE/messages7zXZִF! X|]D?7 {?:fH\?UVdZ^)6>71 8ņ.#);-;sv}Z?N!0w-SeT{nl.o1::Z( -4N8) 'G2F3LE#j|ws66C]MUɃO9!=N3xSkMC~jRURrGSg v+~Qڋ^2Uy4*LP׬DGst3Vr(',Hy0[.{8A"B"s 9jV'NNڂCta||e><[E!.5-OB55[KyӍoט [d9z:P׶koA;|nޯh\S*ZP-{rv<t umBކgzQ$N b50Uδ5E-]E@ӝU.l]Dɰ]Π5Yg뻅- FWSoyyc$Chĵsۗ}쨉jמ wQ4'~gYZ2{Ճ݂2Z1~uOϦnM;\YϷbESw#zHT?ەEM%dh~Z\kB@71 ~YvSe|ވrΔHqx2qV2뿓 fGu{-Jq8ms,C;:IjI;25=6x!(zjP]qhWDTLc]?Cp:Í($0(4:ntJAgYZ7zXZִF! 9z]ŗXiɟ>ӇuMwd\ͦl!Z{gLeS2&-G>u'!IPV\J=f-!bO~׊D^PM:K)ˏu6];R"SVH-Ԅ~L , 3y \Dd*4˸LuJ)6Ԛ>g] x.VGV:k<^mbC ׾*쓽Oӫm9ߜlT*QM;aIcũ1uƘ}̰A_C/<F!w osȹs&.M~Q˜X;#v3bucaEw A#_5y1 Tu+*pZe {p0gYZ7zXZִF! Y ]ŗXi%N a訬':3J)F4zda;nVV5T{%3xaՃ!^JP2_kL+NF"c?11k0E,@/嬥}O-Pk؅=H\&U Z@lcqV . w1V "F3Ozuv$UOwF x )ZkoV+Cr7]s`S~Lzm?aZcg7:$C{N&G@ c:tv~=;&53S'& ~z\M,b82Mؿ#"[| Y 3 ys]t].[ vf~b{sBA!+TKH>rp-zN~dྖk~HBG4GMI*@gx֎BDC]^( dQ0GaddZh*@]{M9 Qɦʣ+\#Ż} R>80 ^D~pTq_خj Sr%d_sNzxx3X+`o!#ïAi"j(Nl*ݲ8Tɂ\wh+r?|rrcQkJM@fT(;Jaԭ;CuN.-Q*`)H3Yl01Ǝ}"4AIMq]i7)/9f|0p V8Na2g&zf⚝9`vJSd1':pIo0̑tT e:ʪR>m\kEt޶$6v慕݅XYqFe>wtgY do#K*q`!7^dj*ni8~2TY^Ueܾ{ `\ %فSblg|FBLF_yY`\ ]is8Jp~ͯ-l}''0N%v̷' AI/nQVcɯ19^*ܐkza1J3&)ʶKr HO|6ACB^J$2 GbY rޤsPA.u g㺿шN9H \3`6&pow5s[!)ս?5 6/2JKLh[Ce] Egjt;c+yXDG6^SogNm[A`@[$eG(%M~I`l?o>r9 ~8$SGfq|PO:dWz̈sphu\T0&v٪"6G$~dmƚZ0k<}AW$l[DnRo.:D06T^{3d2| :oQmQ-j.a)8VM|ηހJRo_%֝0[гg 8.uu~ZTͦH''Jd/L8uqȏu jcjeC=l+i{7W{\3nRVSJA:J;3)]Zv9 -*e=DyXK+iE-^#dP]ۯ{C`ie!Xc9!|Em\ldz{+ы=cA҇͘yi|-pbvz*UU{j 1 NnԱZ"BKV5 YΓL7rfWK5Ab{B@=J2YC$%I뤍Zwhn b(']rq\/4#ɱײ]hx;M9o8hZj+Hv!ֿpx3TÓ@!BKr%&,#fj6T qد^G{VD  }题%:1>đ^XP'1*@4Xic Y 6C9vϕtKIu_oG+6#́VY̥BY*7n3Q}@;no h> &?|+$igvBļRV+;ժ)iZ $C"F * 6[/es愸@bod}c)fr2`@(zno.#*yEf{ &y׀ o ɩe21}bu.*mXA[*ʃ?Nq47S60o_1ڢj&XgYZc105aaee349be0fcc5def89c76d22265e55bab0d4b079fe610649cd37f98f05ad7c20586ef43ee64 74523ca0166e9eb6415b2be2253b4d5ef2f75bfe 6c0fa6a4d82c02c4b9dc9c3a2dfc917a3103b2fc410cd505b779407aea100f04039b498d02f7760b