SQLite format 3@ 7.C  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  ^7x<$ ] HOL-Datatype_Examples:threads=6elapsed=86.482cpu=409.228gc=68.6967zXZִF! vT <]ŗXiɟ,|\=2%i#CL<|͸C\,ˑk-뀆S<|Uk<ު6%fTZzO(3m ƩOp$^ ZyX`o3o_xjHdזzњxm~}0{P۴N!7ƿ=j})4V*xZWY<6fwag{vZu*R ,0Aj3AKHD>C9E%GҗwK&*DG@2ISbCBzY?Odج37JI#`CSi䑥%}zH#՟|5OrdTrpt:r̿ &(ڸOQ0(6v<9y/A8|Lnm;Rags(FĠ#4 -6}-C[mhhF؝*~I5 7 HOL-Datatype_Exampleso/~yto%7I9 4HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFdocument/Lift_BNF.html7zXZִF! *H]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*STH#Iק 5~\FpmC$37vf>ݡrvH@~F8;gRDxƶC$*U+nqj-P.J7m鼒r̃4N H>0k` dc]".0 y䇵*_X׷D{tW7aWZ\f1 S(?G?j '%v %H&(IP]SD*jP+;[Nw}xcyt.J/Ty +Ja.9J/J bƥjW(Eަf52:Ń@VD>% y=-:f rZ {bE}IpLQ꛺y"5j ݶ2gtiNآahC~eOuTU,` p-sg+3u`2;O9{y095~u\{rp³U0Rpj`Dqk ! ȽT1]ž(珧{Dg;26#@ڈW, Hj"phVW~-IlxرiZ+t8JvLlp>.Ômۛ},ܪڶ9VD p NJ>rNÂ~<%W" _DK#O^o~Y);rCDs< E >$Cz3RI Dt06I;vw`%̇ QfҖvWz킂s``/^y%'P@Ye>ԓz{VQ ;䅆 \v&}HCL)_'+Oe[2{X{ґ$凛9pK@;=KO1:i \z/V,֌f[0ICo~_:ײ/* j&T)EըmUOI6ʉRgiI|i= |IjR[vȱŽ3VC\v7a%m1mE W}QAr$j F_gͥWՔ"/tWD~)0{jP 0Zb8✗U# ݍc4˝Gq xD粱GAvNםVy(e˜$`]^K䕣Ñ!?􍄲Sd:6EcvR8yT]U9$=J+c<%>2~JjH3FUTq_ӄӪlg8^4]IscsuPD%Ϩss?d'N(d BaW=^Ɨ&ܻ/x4Mfb&C.B[1\E;jb kG)}ʟ[UlƘ[Ȑw 1dU9޾r3xd =FYmluPGͿGI؅˧iސr81?iә_γRժoH3nŃGސg2JCxENFvP\qpqG XMHmWCЉ-;!$PImTHc923 +(aY#鲘ywo֏Bk]+τyvv"Уw kDۡ߆X=W\s'L3Е…=?K lRzivhDibc|{)K,Bթ}oT ,(2)6&ɶ_pEҧ*x|,Жy sQ tg.wgqRnVD%2&&^FꤛmPZ ׹igKBH4 7g o\hLVlyou{biနK7H1o\va{-}A7?tZeVwbfwp/ݓr>om&ߎp?A7qQD>PuJ3T煜5ד}ro諫ΎնIfIl:֑0ׂ^coOtG>;X .H#Mot •H6.C#3 5~4. Eu3ZfFtSRQV{U}C),,ʕ7pe #&a~`*jet7Be)<0uSϛ ig\@D{%j L;}H03TXLp^ ` q4—=Qr\r#(<$F -FFxCT,;H1Ǟ/hj)vTwA:@q$i3;;J%k3t!C[:fRM f=rhf-Y3ݸ`xʂ#'~Ed}SFN@r/ヴGc"]n1,cRMB)=VR }Z.l5ֈ `z^:Q\#*Il_|LbM6|:hhuO's&]YY(SꆷĐa VF>*o\*$,/϶m؞SפzJ?G^ַzt$E-/VϞir!hNj6aԛck?'\3Ӑ֦۪.40Z7@ 40D퍻0ZM螮|E;I!iXdһ|D %E-{Qe2פ1j|Z(ү4 "*xa/eI [x J߷ .t灜i%̖12cG: 쐍ky9Yp"@fhJYL|JP| J`TaqLDs0Sh4gx~8+~4%|zWj3ok-~(\5=̥c j%Nϥ-`}-3BvÓU\Yj. PED]Վ1EA3 42,ۣN q<5޶utLe/NJd\x PqpNJ$S/i{9E`%dN,G6Z9;FZ}4u@-A3ס[:iDbL^᭩:Q\ # ]-0G??[?<_7{{}qIm[ȍ$>'nsf8!c858M闽h*]aËNON$/ 2}f~g = ɲZ8"ύR}|rmM],w<8 (B: R[gbЄЯNWl :\ͷRw([uDʈ5cX!&;]F~xZܹu:lYxp^W^p:7RsLVk?ׅ:+YZ<כտy.μhFVNJ@ƊngD6`V{.FP{5;.?8,o0a=vx־aD4HErؠP- y ![hK0OG䦄줆z՜ [Cf?+%a \= 0&2%aWtPtU2itVy ߅ΡZ أa7,FE]qF|m]dt;%a[-hJ8H vbHCGR a1ЈVt~*4;xqub-<9&䰓ѭZw*ؘV8A<$WjDϏK&@ew2aq UaU.HmL./;l |dc߆! . 9YU!GLJL;V﫮_7i5-;9qM}6w?pܻj4"e(ai +FR`b (Eek?ʃZn5N8|sg왮[\M.Rb1sE խRq`/cŜ Xy@جT4 nI|q-xr1ɢ|+p3?]gjP(4t5F}Tu!^}vjଡKt=UecdQk)ӣY Ͳ.ÑMw,Ua)n4bӡfzvB[%Q4P>MJG/kBWP!.'bDaZ?bCFn~$91LNU9IM*?lJtlBu#*.& Ԡ+GS>WBվDVJ%LU7U]J_S̃w̉JCˑīnd؆%Moxԇ|5*b 1b5ɏ߹ڍXWȐXE`ƶ>P5ӒWz0WMNl]j9Wxhł=_gt[zy~_>J)^g(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*STH#Iק 5~\FpmC$37vf>ݡrvH@~F8;gRDxƶC$*U+nqj-P.J7m鼒r̃4N H>0k` dc]".0 y䇵*_X׷D{tW7aWZ\f1 S(?G?j '%v %H&(IP]SD*jP+;[Nw}xcyt.J/Ty +Ja.9J/J bƥjW(Eަf52:Ń@VD>% y=-:f rZ {bE}IpLQ꛺y"5j ݶ2gtiNآahC~eOuTU,` p-sg+3u`2;O9{y095~u\{rp³U0Rpj`Dqk ! ȽT1]ž(珧{Dg;26#@ڈW, Hj"phVW~-IlxرiZ+t8JvLlp>.Ômۛ},ܪڶ9VD p NJ>rNÂ~<%W" _DK#O^o~Y);rCDs< E >$Cz3RI Dt06I;vw`%̇ QfҖvWz킂s``/^y%'P@Ye>ԓz{VQ ;䅆 \v&}HCL)_'+Oe[2{X{ґ$凛9pK@;=KO1:i \z/V,֌f[0ICo~_:ײ/* j&T)EըmUOI6ʉRgiI|i= |IjR[vȱŽ3VC\v7a%m1mE W}QAr$j F_gͥWՔ"/tWD~)0{jP 0Zb8✗U# ݍc4˝Gq xD粱GAvNםVy(e˜$`]^K䕣Ñ!?􍄲Sd:6EcvR8yT]U9$=J+c<%>2~JjH3FUTq_ӄӪlg8^4]IscsuPD%Ϩss?d'N(d BaW=^Ɨ&ܻ/x4Mfb&C.B[1\E;jb kG)}ʟ[UlƘ[Ȑw 1dU9޾r3xd =FYmluPGͿGI؅˧iސr81?iә_γRժoH3nŃGސg2JCxENFvP\qpqG XMHmWCЉ-;!$PImTHc923 +(aY#鲘ywo֏Bk]+τyvv"Уw kDۡ߆X=W\s'L3Е…=?K lRzivhDibc|{)K,Bթ}oT ,(2)6&ɶ_pEҧ*x|,Жy sQ tg.wgqRnVD%2&&^FꤛmPZ ׹igKBH4 7g o\hLVlyou{biနK7H1o\va{-}A7?tZeVwbfwp/ݓr>om&ߎp?A7qQD>PuJ3T煜5ד}ro諫ΎնIfIl:֑0ׂ^coOtG>;X .H#Mot •H6.C#3 5~4. Eu3ZfFtSRQV{U}C),,ʕ7pe #&a~`*jet7BQxX8_[n}%a>.X3{AgYZ a7YI HOL-Datatype_ExamplesHOL-Datatype_Examples.Stream_Processordocument/Stream_Processor.html7zXZִF! ¡]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s+RAKz3Lǝ0#9CTCo{P=K|) J{F؟O>H.x݄E7ai!U@gV2\ 0yhqX`Ip0@*w.k\ c7SC HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Datatypedocument/Misc_Datatype.html7zXZִF!  ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*wv׋̉b>9 =W~~ǝ%t1;A7F^1Ə@dQ j 䘈fLYD>z8m'TɈpaMLqߙ-<(e}XRs5oCM2D\M3qfw5K#=zpx/XӋ9/FWb4L:0yUAlXKtm&V4I̹!ZlD b?1C\C^t(ZHSO(|ʘxMVX U€E/{'&WJVAfD˭ 1V QN&Q$GE|/ln#w'Ya嬈WWWr[)o!4ҼU^fTP)'`\ي-SsWQ5% L&3&se{iʶwi놨 λGjM8TeuҳTްb5XN"Xd~>g[B>0[$.)4ݹ2kbY'5$2ʢJFzhauKu);iJ4ya;b/qu7lj ;7uKj jYZ[-oxvy35I T\5nt|$ryy"@E)OO;M\'K!I p)yÁ~`LIOpFe]bslT[0zDh*-RXvnNqN=2V\'`(Iz 'o{+KZ`It>+zsVGM);[˛=V#:+&Lߎ&Vx}& ͯ1旟1ӟ-XVW{,5;)OU݆ufHOsȷB\ց8nsJ )nt'o;P [3$ A]4p|L5 -Z@æwf@pz$l1{#t g^{K.l["}vGVmRȸeŎ!'N^١rA 6¯,H^PQ 7s^*.wd:9|r[j-((%{MI{#]imC y*LрJiC9 LVۯcB~tE0T1!2uc҈+ @RzWhVf G^AI &%-Zw/zy +$|+ȉ :Ncbv1M}qK4TEJڎ9R2ȯ5v]~!-| :y>+ƯNRMMu۹i9tIU:ujsZ" -XZ |ujR"mvlHrٔ6Vr08xmlaǏT|Ӛ#t*%@Ots$>@EL>-%Hz -hc8j+lF`Lh:40 (x)6z΢d@okE&x(_eh>5?NPlu2^/)t&]eg )P3'WaD`T2URl!wośw^c?qV.3r LR"bmtWi7D%v؀%gapزϾ=>^ ,dv M Z*MlA\p gFg)y2d_(ZSf]+Ek)oj> "* V}b'Ԩ|_A! ۱^5w6sa߳:P؛ӣmG9TVŒ3y]ExQ`qK7p]8ndڂ WLXo1<e_5vոMFr3>lxJS؁6` s2XR҅?So>< / 0)|*|wy>]!|ѠPe8pΟ~_)`D,=E!]M9IOg#CV`|ƾ}ItU${fѥߊsҿL xL\p\crfY񲞴MPڷ 5 +~Buhb{\G]ZrA:A,L+yle@)\̗xUN0(HkmytB9_,U. []j2VƟEEX_qN6Mlgn &#:U3dͦVXxD=/4*A{OB $P $fo}:!Oެ: {g"#o WF~Z&h4tc! 0MG&jk2abu2@~yQ[ ioDGhH4-}HOx 77tm+^+l2q9:RZ4昋(]`a.`u&ۭ1eD ˧1OlĥEcu8Uq|aӗbRᅳ.w~Jio5k\ڐ?ǢC[ߋuhCvA:WPfy/ =B7 $306_֦KOQD1\:'Kc0gYZ@Da~.Fdv?9 ŵ}:2e K ŊJM!8Մ VJ4>x#1=iAOVL^NoIo9` =D%PUus97l.PQ~PQ!ɓkY.tu9+m4ꦠԁ a+- U`s(WFwl#O!^?.axſdߗ "RP]OQ- ס/6%z*:CqwwCV’'*kkSm o-MA6BӵVgS@e@~gG2e P!cV<(HT?+:֙R"ghpE!c^,r_\X=3Yb?'s' 277G@=gTs- clT!-Д( X*t1-bwK O wLr8KaPW@+!~ʼބ){ﺿ/@V*Őw#Wz21'4LjR[l4|I ̉a4.r~c9J Tb 9PJ*Ac mbg~^BM{6kT9֬ 3tH{6 %RnjGYEFVV0 Yև~D60s^9dcK t?Y@ٌ{15s aWމ~*N4;ql] /m큕 HJ\潹gvܢL6bOA.2QJ0L;fJp Piȫ<ԍ_aCYqT}b&`YL+^˞s#CXӠ(Q.ˬc2_YEbc wx9oҟ'kn3-3yZ2(RcFZ%ay` >\:fK겿iPcSW5.&J#%QuRSK㸰 `U6`GJj%!*Xp닦d!fdB^%4/dx%`m{c|0m,H.kf*In)yc% A={7; MWdz[bj]ipI =aFSYMX@ZVES;ŷ_wݑl*1 t,GUO=[7?z !y 8Ex bʘm)eT85Lb{~bx0$ Vp^UAokyIR~V8gbpy1>{fiV@δ{$[Vy_ cxs`&B56DpIߵ5@^\̾JN>yaPYė%vѦOvfv?'j䤂D}\Ҍ?]J'+V²m9,]sͿt##Dr-:\RbΦWd-0Հ2.c o9k02Aʥ8x$K{؛>39 % L{N珳}K[+4`jdMQ )gX"}Z͈s), 5/{z|:P}.eZ_bfop[eQ/ ÃeH.O#$wP^WZmeGq EX 4Hm8됁-3O{Z񄷲Xoՙ7ø&rذrx)H2 o`:RqyMPLC3+~܀ѝi{%|cy o(х츨;ն6nɳM X]`8g`0͈ၫJ7)0pڬ%ϞnN1r[`al<(nP*OKS4pڶa}U Zsσ \?AV=p2nhAO#g]l' ++_LLn22tE!S į_:HFenyN䚣 W搇ԕl7mЁ(LcxO%qRȄ/-y)t0fkF[a:nGt5[KN9z?굝x B8)KrKEb8(Fw֋&Def,aJZqڈH}Rp.hzw_GfȈӽ1Kjdn`z}P4%^־(+z[ǘgB;cYy]WUuL*Or,jg HOe@:lJWDFS }B?K,v4bػW9V`;zn*d'Nyߐvs`b9|wbTC X@Oq%3ȢT\dWy&5#]M!4ajbDF!٩E鈕ybn!=>uIei/Skb񅂐p)MBXw,ߤ/߯~ 8 p`MC}F{Ii'Kd"ѫXX Pi튈]/aW"w9f=4 C roD(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*KblX"ٖg}7l5 Ce*6p&g$ n1l^fG3 qw-b1 ~~yH @1Cz_pCGVUHٹYҢ:MY3Mg/5Fp"rF4f~\r ͩJZ U7eU \HOL-Datatype_ExamplesHOL-Datatype_Examples.Free_Idempotent_Monoiddocument/Free_Idempotent_Monoid.html7zXZִF! %]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s)q$!&~t / ^,z~@mL:N}D~i`o`c))HlÀnIfӻŋzF̔]Cbx|̃[DB2&wF4J5 ֪XQ=I))*0$%Ip\Cb)܍ *H lEԼ6tQiTa'4`K<܁J=g֏L״z 轎AՂO*IϺ$رߪ9^Qw`=ٯaP;:ΖjB3o DuBn=Q Qgv= R(u㩋U{>0"d81曌s^! ۸ 1ꕩ[>;8ʔZ(Ԕ'&iN/`[Snܖ3LP.qxPؖ"PcMNlSWV 8)| Rb=[$vSa䚰=_ໃy jlNW֜'&mmrSQb7E͸q߫A  )5LK^ݬ@b/! @4T&Q^%VNc! iٺ85_v9sfXpvoS=ڵjqENϓ[Oڴҝz#rNPæD$_)v[o/Z;/ |;t̷˱νW:7?m+Mv eօw +]-Zɘ^+rĘSAhw^YO>A65Xyp(-WW'I@XIF3~TKe,46җEj.2-Dc&``BbfcЇK7&O:!FBO1d,Z{#Io('i v~w~zl7=%>_[ 5/Jt#(|\Ȣ|R'm@i5Dqu {9ߘFcp:,` FAZ y/1I:u߭r'<݈(DhK^AK4ݥ:I/ϨIl:kh$X}#ӆ!KX.3LBG~䒿Oұ:^7K NBWVؘ);nEe3Y84> :EdMPXD{BDzȼפ% rN||aPi4Լ"uňP_%7Ф@dO=O/ض )au "7h&'%#[3l ǟ"l! =-)0}MG!->.4Ns"F"D91uw [Ƀ{FGc.z+0zW}vZw#9 G Ϙc0LA6?KA}b7q Ӳr=@U GE>d7T%v `O7ͣO[3qRs8%BN H1VaOELI`E7#ȗS#GAFM>N^A<.td-v;66)UTI-Po0O%Bȣ*O5tO|g,#TۑַAnjaCۚ6p^S>HؒB5:Rh-Pպ`!ޡFk! $BiRLbҚԼ('>1}%yq&F3'?-c>PuU.uE^ ào2WSԏ|M :%$}ԍ/e }yw׬^R ,|%ٛ33tkT3//w}"Y 3!ʲdVs % {R7=gܾC{ dVNkK)&xrZzt{7Փ><vcfNdKV'lR#$ `NJ+껴iF{0_V,@BXρXVEQ ==nΈ=ս+&Wxe1JzZBh+]\+74'pM>*G_/db L[kʜpԛk"ě:yWΠ8r- 2ɬX yq_*q񃐬ɬ#Q-4dYg=&0VwljHc+)v"LVTu\ 5!\ }>Ո]GfњprBY]eY0 @X" A෬@?K7$bF:%?n..x]XQVVC;/?D]REqL1t,v^ׁ 9 d\%&5o:;оrUl]-piwm;A!&0QtBB[Tm%] - R&f8i( rTR%5TH`2* { B?}$I;X}%Օt>ԼئtFK. wO:?'jn2Mbh2< 4,z;۠Bu-z:uQ`2pPD TK ұŽ7z`MO<1-e X+SuW/TFn+DK5mݵNi@wRV-LP#Jd}V"gVؘANqذC8|S'v-2$ >dTF[#/$-Ixvu߆mnt.hly8U9Oώ}lfڽ$}ǺIʣ*h"ŽZgi"ԄX #{)&{S3ή 0ýunh!?eX7Ex{¼+lϺ#qDA0C3KLu@8&5z&vj)TkMfD݂wַ:p9^9X_ZXCv-cq GZOa+ܣΊ :L~]$+N{2~Y'&[V*;#;U8))[b:f{҆BH8OB,[TGMicq6iŇ!eF`YLjwYц=:k­?Dv# dW|d@I3k:v2cWm&yW-dζ8D| T^6tƋw bK8g [ڊ%g뀲NzW:Ӊ-HV^X"ew)#f:? >sQ8deex!j!(D#﫰 $bGF9=h{a҄Ψs4 ɔ17?KOەf~^5ƽ?B#\hTvwhc#a.ZˎڇjEv>>Vj ֙bF P!|C@[̆d~y:X)pv$u RM"y% =_.>jj76j@bK& B-0Gj Q^'ɝwixEz dn#mf6ЛqZ+(aQeHV=c9N\u׮t0/BӁFG '-zNd[ld]c_-:^ӧh}M+,[$DJ%ػ7 -;T(GJ\$ ɍJLP," #.D)?N(kЎKS,;y> r}@]@5l)vO ;^@mSb۳ J8ucbAq܀n"C.~i#ŰP5zEKХR)o)-uS|UAά:M&cW8-,bGz,0`& []0WiU#xO`fB]7M]Cc^"N&ج:+k#AZ\-+z%=sF)GPhgRYb30l#gh|ܝc9B<\>dcM] UAGG kU}9~6:=4S~$WB;-K^,08cfiMy40{r}/~ ʝA/B4_T9$R5(wmyD_^pP_esE+h@9*']͹_UN'/q˜o(~*1x?yT 翟ۿMsұ|PB=s I:=ʂSQ戋#j@. &^oߛxװYݬYGO0D\蠰XcwFZѧ^+b O?_kojYlb -Ơ}"ys12.k٣d9NR&qx ;53z;)B kç*R۝S' kCKiQ'ˬXVAĤcq0D8-R%(՛$ X^bVYKc2Oߪ KɔL,boa2M%=/ENvd /WinaAk_Mc8n^? `{X]wj4N=>1~MW+q6(6q:h޹dݽfB}"sc[6T韹A#LdQy-&*fmI+Uw{\rQI'.6xJ)`|{BV;Di6"eɫks`6-.58^cr tCOWx)[S]6MFuuO,fҔ%^w?5MĜזB ePSA7T}'4ےFPF#  |cF4ꖐ(22aGa,Xs+#^$ @WY<8|SXQ?Tblڎӱ"dfN)Ժyr[(HsAhv].gՓg`RC@KvV-fSK~)Vld_jɥ1ʑ_67>jIkv>[5FmV:OhS1=] L <`@zJ.M U|AƊf! 7q|:c;2`f4yzǦ$M:k 5޲!~byuPxT'!,|DcaMjro&52mq$4k8[Ձē˂i*o|zK% j d7_P>Np@zsb>z@g Д} Z1E;[ʃ=VBzTaQts\RP"SEb*JarFx7_Rt ,b ;Uf{ӆ.|=^V&PوcĉnLMJ m'?qi6d~VYn"Ԥ5 ^_eA7.t>sBeАh~1 j_Xw?ӂt;&І|,fs4.{B]9yp [}b2Uz*(Kҽ∧G; ad -/&p㵶y].d |cC]}WJـYD% N*8wYjM)^_I"3wWDUdƅT1,USk}3fIz=wJ]ؗᑇ^~[9h]U#\ dx gye$t.gM(%{9r(?=5\T}vsq`9ҢJ !<"!َ!Txǚ0hgʡԳ>(힍Cի q?lEGt9m)\nD Ȕ(8Ccp?S὆DRa"7Ml  EAƤwE {t?xτ^!(@q3'^J2F.wU>7|dZLo]q,FE44_]TaD'LR3'P:ʙ|DՓ/S6PKh[PŽr?ġ*3~?E.L?:;6v3p냑H&^sU']B&EˀӣY#g0k1Պ/vp[VtW"93&޷ωПAW7(9)Wj/Kz \I]-EIX[/PN}7+~.3ˣZJ޳(7Y U?ken ~}ܛ95F=O0Pe sb>ohjfo=)|ġ>݋^筗-o ڦġ߲œB  ^c>@nk c8<2%6>#MOg<ĕ)Ƚu` {`XgZۜ*m5e`rrh *~r?d bzER C;)gKT K R 5Y!Ԙϡ ƂPaɪ3܁rnךqA $osr8}cʓ4ۮzXatIFͳZCH<,/Ug VTA=Йv#X\qg߹'ʥ[:`?8 ^*Fح3Lӡĵ]_&.? qCd9@o2qѷJOAHmz]3SV䓑pQU-Lx'^ޝ1[|Zy %>Z{i- r(Ƴy&_E,MT3 qH]%m2|p]uHe؏^p׳y>":릴ϦDbeͱs08`4?lNi<,=:~5(_$~sRbXLJw-ڿh_ [z@5Y*GOQaNcRS4CTu&M뷱gYZ i7E5 DHOL-Datatype_ExamplesHOL-Datatype_Examples.Compatdocument/Compat.html7zXZִF! lNY]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s:kG!I)SX Sqɜ?{-3v/"{k|?cDmKV[^lgF6Z˾Ui4푗I#pR)۬UxnpzqkLef70$%xuRO ȄRдhBX;1c>uAo9nXlfߞdnYsft~T-}͚+ sGI}x3|2!t +z7N?LQ{K T*f,޳jESlXz0k3kA*2s䟻J孔 ![cn.錠肠wH! Szm{e5#ȭaN*q<ɟ7JQv.ޭ\Iu5b56=;%*KQArD"ulDo0}hygAprlTe'H!݅U~~c7Q$c˺"'RmkT-廭}Yb/錿28i)KB=}Uv|sgc,ҿ߰floK$(-rK8G8T,-CT-C䢬|::j;Ȝ J7Yl)M8w}S^l{#Ț`xhgCPNwnħq?^@>g>a΋){ۡ3WSȮOt/ k(As~&HX  P/ 6O"iOzaOل7Jև0ς{7Ӓg4ʏY*brB6?Вz G2#LX#0 xC~JEj959oˑX\@ŰY%lyMP7 , X-ܩ z+Ů}~D3Aq<7ʇҿiQPF9υobq[GcA6U:B#ԟx̓) ffNds3O"Ig JIhH mYAV-(2qX"+"s-k{1fſ4IWk Y3FS/>vK&*cǠElt,&5lzu Cݶh+i '!>Kg?0U2"SZTlFfØNasƨ^C^ <G n!`7R)l`ERgYZ ^ 7SA HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Datatypedocument/Misc_Datatype.tex7zXZִF! A]A-MՋhvG"uIBm51FbhK#|Q}k@̄Rntz7*37r̖rCò~1Oo'YDM"=1iJ9[RсvhF)N 莿 Mw߾IX42{<@ dD,z@M'AB04lsy,ECb|Q[{E\ ?Q%!TtU[66θy0:~t9xtfY m!!P[zVSJaMfHj)lB-dcŅAK =6JToq'' 7}D,U)E Ŀ$a)w y\Z<)]˭ƳIdescIQ-!\?=WזK$8Q{2j ?1 f=Sqs<[69$]b9,3uLd2ՌN,bt =t M>BX~/;o'N6l cuߛńy(V RۮT~-6nYV광(rWB! Hv,_-OXxb~]CCeG/[01s Gc>GʴMa@ ܾsWi6*Lۜf1_iV4½E׹6 2Q*k9r餬 PCtTϩb==N8 a?ơj懱w spNtcĞzDfsl UpPWm;ڙ&gБN[Lx( ^ i[49A(ѯ28N)h]:Wv]aH3XqRן\!$C7zxb/:IA۟v=9 b\1>Ak{#/ei$9N?vPٍ=iڸobT Iב'&Ujq Bk‹t\0\ۏ!%Zt*? qZF`-q`-|N;.mss" '  V|N !qu_Fyˏ C8-ǤbcU;~<+vI[äSn$V2|~Ǧycqtvh)RDC5xA=o_aPw[)#n5=k5z(Z- wۋ'GzFn|FKcÌ+]{-H!^$/aOƟVU$l`D? K X yeN'lsФT{t~Ċ2.AdPXLI9InahW$3 _y72DNw55:؉ rJ>~ UQgMeIFĶy]G[֟1@}{C>[;U4OF1|JkcA9V9l:8tlUT>w k3oI ڑ:"n_wSZ -u-Sod;?>Zd @Y# M^43}fYj F YIg]Ç9~Y-$k )bJ!`rf'3̀WT_&&'|aň R9S׆2D,jrj'RS{CXxp<։2plw%imoDɚuCrL s {9d1F'8#MΡKctuj'talA=hOt]G=>K5dOYJfFN|(.DOe&6"ϖ\G{ h $Z>dNZWa+?⏝\cI*tA[o(^ʟshOXv>CԲʁ(+4N8䬊 x^׊XɃ0>oz(c#"V,QHG\[ 7zA VkPS9f}8nyatn S-:+\DؚE&àjR.t}C/oӧ,Z*5Ew2D)꙽WBJ)d.F'YS[!C6ݧ4,y;".vU!U{+g9o?E?$%NM0TEձ\JuӒqGH>-^_;<?':Ò̂r/jӓ,P$^ 2sϾ_UE'ֱִLzubx'u$j/8ʦxȣ E#EƮFK j٢TͰPd>! 9G  VAKjg2BI$!d"4wk Q1T61?a`Kqe';wvǵqb$j#o^)ޱbzA[5^o.]AW 'I IZ>-jWn"Ęp~:(DbY) fF/7*{9ģ RrU[31FɍnJJ=zӑƶY@ "CH,?{Β`F<3l3WaNqf'pg6 D."0mKST(L^{6uO5uzQ:UC=ᬋuJgӜRc30(#tcգBea9Z/jEȎcyQB%ر @c:qQ{#8⋩1m~߲Y5aQrkY O) |U-6 72)i29W߯g>6 o7-ш6nUC5bW8 z@kaX= dso)Ȫj1K [1`}W :4\Nժ&ic|ALpgYZ C 7G7 tHOL-Datatype_ExamplesHOL-Datatype_Examples.Processdocument/Process.html7zXZִF! ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*ogړmS3'<>w J<ϻrb+CFe}ԤѢ-*@C[Oj9g6t%N( } άe> N@RyՂݝ!ru:H}|25>Mn!CM3 B@BZrO7^ѷάRG{g`ar/;F2Lefd]N֨4![ӾkQ8zbڛh\MkYpND S<;'NSY|lP7)f${+]i v9G 3>:H;|8/#*B F&͋ӽ5 t!-~/{ߓ/ 20 ~X5b|ZyD& gU] 5[% \ܾ*ћfJ>ITWIJR~Eg<;\.Zዕ*vGKɔgIˍ'hNk'K7-%z'u~8J4 km~]ң( h7!(Iƴ-]3CLFJ}Χqס&˪TwO?Og9V!a(CԶdDj_Q+j=:CϕVk)?GG`q<B)8M?¨!#|,cPJv ]!sAPqhaO e8pkiO$=9W"R&pվ_,Mr?P;@ 6UHJ_댳LhN#b$lnQ".5a|i}p@{,S:X|Q #1j)+.,1gûB =sI~, $Y!Тthdk*쿃wi:0 w*Zv7 huY۷zet|VE52 ]+ |J.i4H+ A&' IpmZ7k.Sч7#;]ILy%j r ~v㈛ ] 3Btg-'ܵ.H`3v iC+Ͷ6u` #YfCj4Gr-43DJΠlL3 JGD~^oө &w,XjR!a,V^507"9C2jU1]v*~cp6 Qkzom rEwSO@wrfSbFԊ,m-!=oLI |WTkdfzlN UmexȤu&>*p/9>+=e(Un}lEs/`M!I2aQ-4U2CAyyGڈFk$M Ũ:*g23,&t-cGl<MRiw/(bBr`!'9":;ϋn59+`eT\N}Pilo_ NuzB>1Bc*LQz\lxc[#('OQƭwVA |$dڽC\2QA9X:Ѳ;ԍ!V3P'=X~3u(]䮋ri:3_6q^7b|(kϴr'm 64c< +$MjPo<Lc&5ڥn{(%ϑ˭6l$wD]u_!1xrk!Xv_sr5k;aul'uikW|p9c^j29;Q a)8 mTW.FaB0hoB {_C1jo6T `w1Gj & >z,,7C0HԽ'EQZ x.'ghKA^nV; $F9۵g?yy*l7eE|6ɊͶ$c@oMf T4FQQh )Gߢ|U Gi XMK7=j3a e/[~zq,vz' lcڐwe 3]9J?J(_Ds*}lUC7--n ApZC=!aYU劁,L7}= #xYF s)DfU80S #CR2Z__w*b(PT`], Nd&$ Rtf2UDA̟8'Nr%}3u@9kՋĄDwVx_k >q`{*Z9,PRtgYZ QQ, 7E3 LHOL-Datatype_ExamplesHOL-Datatype_Examples.Compatdocument/Compat.tex7zXZִF! ࢥ ]A-MՋhvG"uIBm5XJxqނK5&f/GèdέAk9Dk3> P$zL#]Mr(r:+oVfM$ !6tYYoX稾90~G U?':e!hU a`jJ 9 -ı4CV!HU5}J 0[wa ќHY:oeVɆʙ;aN1 KeIc+XF/i$9}76@$3,^ahE*uɽ"d 5-*,!(\(ۋM =P$xːxCK͋|T֚.)q}+[ȻL}$rLKR2D_γl}3>C(2!$!D\0>z0;|d>H,tz*pRm"/4;}eݟB$hsDÃXD +6\~>To՝bЁ4_g"+p&Qg ^> Qݔf[=Kgm@{/.VSmx>j6x@|37ۼt/rKmJH'XICC sM[A;ׂ(]ϼ >t e4 ph`nت,$`DwǓfEij7 );8qS~^-^ \ia{9osWxg~|+zsqs:2l/RڽU9(imv}jbd@{6G`Tz58A t#Xk PðʼfN,I'}f‰[l*)zΎ2g-v Qi*8\êl#C r292 ܊ŗؿl__˵ FDݽ'k.b lqQ;v68  E#1I )_4ꈴ8QYkfh]{ۍ֘6G[;Q;.r9f^XCDaQiOP>wD=ov!.w8Ԓ?ݏ71i f;/,q8^*K w浸lnY]RB m1&nxFHpz)@LPn}:!ְot`^)_ S+I%է(&ee 凢D;@x[[^p~)^6Zdn"2%e_aC$D) i`+G)L6 {Q>p+$VQND=hQ1tflv)3@ؖ<6`L,˝c^ |$Wh(85ӝ $\y.<"ѫB= Mz.D @<0j * rmj=n|=Z,rl\3ԇaiC%莹/S'ha8ihW?';5EF/^WDg պ&5R[ (!}Q@gEMbm03k/v]N~_;ʬZoJ @de,J3Ǣ4Xh`m _z\|mecn/~kZ<Ȩ-ܠgWʧd٪P0B·>B+6 ຤8 hA$ݹx-c :_V3^gKmtӿk.p :opqԲ^h12rUع+#;Gxh"P;bLZoԚ!SS2I4Te 7J%0%CgB1}8Nj}gEDs!tюpY4+S 5YG,,K*깕qMOLF&k xB`b13͎-(;ZsNXwjX|\I)>q%%1{$xy8|QyT˃=`&=(h[>K/tƼlzi|ӎ&:Ul;JAm C±JJ6N"qAR&Wњ1wVjreßap_FafK8O\w Yk;R5xGQa-#'͐hx,5@aojMm[1^wF9{g땛e$[|#" Nh<8Ǜy]-C+Ľ?VomY|ybuMs Mp zؼN*m]Rum&Wx -<c# Ԓ\mV)?pñCÕg6-1zVE4&w>XխO[|<܀6Vw5DA w:p03h4uw-RSTu8w) F'-iqe4U_zUϠR?te,Tqd9.ȶݠ Nk gݗUX-y5nhu< ;mC\!\\Du JtVˊ3MY9cٰT^|{p:xw UDKw~B6hMCG/:Rj'iuΙuVGn}'5b|R?Ievvhc>mFp1{^2.J;`? 1)(.Yd>20D`ܢkh ;s7ל1NϧܦCI p~D~u& * 8tNp+hmҡ9"Ʒyy0by8ͪ;ZIMOWAFg.+#czZGtM<Ӂ rIkeP%{8_A02|2&#K'PA;??ZϙLh+㯷Yst7eԅz_0ʷ}d90u提Ê'@˵\`XӜzFprմh ^$zct~3*́ Y *=21"q*MAOOt`u{y#Hc;'ru]V7 X .Klqk jc&~%gr-A -FOw6@?`ъ008Ћ.Krbt,ȞScl.s@8Փ:%̍+~̢ji՗*{LsVSՉ4I@8}Q0m+'[|OMF¾%-+bsVd9nG2ٔDSEW%w =~djքYh|-*}@_[zm54jFMlҝx{es \ni?vQ o-6O))8t0|W^C0荚 S?wJ"|Øljl'76TZ9Ǜ{_-0|ϭ]&4E.p11LBh&Vȷ=: wlT7rQLՅtϴ3ݙ N-4 KH alJ,r$ ]*n};_w:?X O^M}vHSJZ#i6!r|^pt(duU4c4gm&Хo+fK8L{JoG{nBkv %,tJ `5tYyHM6hz/XfKoV@`߃Bⱝ&QP;\F> 1sx;3;v#%DErC7&XB$ߗtxibQ"|*0lŔ܍.|^$Y/hC! *])yrWوɻJtԢ,SxU=Y]&}(gf 97Ƙ["l1T8Y(v &SSI(OEEA+K?760Z8͓d ⳰Zhed)j[6 ҅h>H{Fbpި{29;-bQb ~QOGZ<ﰢZ'p8ګ||"l֌p_ ^a"PZ kJx R獠vߏnQ 3(us4Vt&4 qeDv&'r+CvrB#`>d\\NGq AX(v̓2e?7/uo>Ӌ?r9= 4Q?$:kd[0*qQeOׁÜs}gvbZ QG?;#&2{k*'5aieAٷDOMyÞUqpu|i~ARlk*1Ihn ڎ \HtW0C[<1'ARke&Z0(W|--71;I6&J|yyLp&z 8Q!PChv E Or)2<Ϋ;W׍]zwԄq,|ahJǓ8F{oN0lQ;?$Q(]&z^oUN [ u9  'g8jY)Kȥy.FtֲU0 ͠"uZYT\Q7pv%T0r1>S}L82ew2/AK) oױz1=jq~bN>%?'B/AIv%=;#za2̨+LygYZ   7eS lHOL-Datatype_ExamplesHOL-Datatype_Examples.Free_Idempotent_Monoiddocument/Free_Idempotent_Monoid.tex7zXZִF! ,Xo]A-MՋhvG"uIBm5o{V>RPAU0Ll5j]x.w΂$ 2츓9Yo+Kc#^׏kPluFX916D`ROȫnC&:iyu5baPmZJ(b見o tX۫5..|_=E  NZ,ӄ\#,f׆a G%Bͼʟ/h yY[P\H8'EwDssPpߑ]MńR$=PWlZ#o6E{XjVUio #j#DU54w=jbWHal4y*RȨ0ZZy)â$.07Kj#zBIʄ{z)j?3Pۗp-6Na^; -T7|KRT~ߢ$`zՁT |Yvp~-nP6bbG!LbzRGTd3ҍ^Qm iĢ;[B7SYt!BAX P9Mב>fH=S~~JE¡*HZ;aկY׭MOct6] {;6Kezu3d9 ! H:A*6bO SGT߸u=w7/Q:&Ot78@UWGGTLARFMk#q^QկaAskYpfuwA;,W-"M,d2''G>?"Zda!d;ȼUl<8=_{]LD#~s>!n[Es\RnAe;3tlPMl5f'ҹ=fQ w^Us;'Mt9ep b' 0 dǵ EOiBiq4f+#+xP1IקEւ5~%)WưR?[.ByE5~ֽA\𐎲HRWcRAw-r{ k" cX!W)?yQ2GVQB30@K}7]0hesgHʘ}^7(wܙaHwj 7-–+幘C(X || 7QA \HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_Toftedocument/Milner_Tofte.html7zXZִF! l ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*w|Iv{Y3Yca9yr$IJ?ÛDԅr)##1㮿⤔co5tsV sYo}2B?ۦ yXꚌ޼65bxRue:wl Ț4-H>kn'jکX+lb OϛˑGƠ+̦ȕi .>ULPfZZxG:&RΜC;3?땄 胕w4:lZ:omIyB4nAG(v %ޥj|I@/hN sVeZ6QVP>А~Aʳ֥eOJo2op<=:/ĀN,9\Co`hgIz&^؇^t1"ywG: j>MX^K)ѨQ ,;]4":8!mדe̓DEv@>[Z8=#cYU)\Ou_мo]?@ė4(? w qn8쓿OgzEi }]u@@P_mDڷKOr J8f?hǵ1gaP/֔8~7j^>hfω膆6UZy;zyC!"蝆FFT']U%חS,dg5餳p4PZ8ڹHGoBz;>Szڮ 3)imxM&?ǪlI`8Z; ʻ&ucB _O{4J3x+?WWR:&&y_̈́&}q<)U&Jy/L-T?YèR~w%C-åwhOCj(PmHs2i>s nE/E) 2\MmA=pr#<ȏr Y/UXFoAH4C:yRyHȴ;5Ԅ%;q1H9[hF/%ɾ:ec(f P vո>9凮IXD(M0j]u#Qtg&U06kTĤWKgPy?BgZ;: #.=|m XOl ?Jz]yhX}5Mആ?K^\>K/4x%ZY;T竪m4)Vnn+%8߮<~f I{%xOVS"7xzV'x,=B=H6[J/ڱD01aobxMR+p ͥR}ԍi9ᛨܔ/,aX$&8ܗZir [V6zj'iaqvS닜at( ́4zU4a %r?+r5h:<v׋WK)êkں,$~]BqgUR1*`,ApQ|;@3#Ć회{7oc"Ǘ*êjIxS26,}Nk19XbN9Z.>}Жt?:yImF 76wXPH]VKYTN/dZ^1(fӂ굆nA<$K}f=}9hNN%4vx„] }p7k^ZNa6R$Jq&NQk@z@BTҫLz`X M2Ѐ`ԁK1ҫ(iR/~&3ᾼ5Y3٦I5&Z{@cTgl%'HC69x?K5OU0-Dž'Z&%k ?TXEﳴ3ݐGކy 4[:Kuf7乣{Z#-Zj/:$K0A Q3`y\򅁋 ·tY秃 T-g$3`&P5z:sG+"$gt[y bdHѺl r\Lѹ]Z!^:q$egYZ $$Y7UE HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Primcorecdocument/Misc_Primcorec.html7zXZִF! L);]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*wve׬k3ʰ .j #i^X\")_Uޝ\b>Dj1l6CBs uKd :.z R`VDc@ >kPx[ g$cJ-j_qcxPu/Zܔe}EU뀱(/V49<+#Ԅ_0@Sڱ;oM|Y."/Ne>`Aj̫>%>WrJ2f S>mdY򸑔& -ke/ 8e{pCIjb2&۝ύ"z@feh+y#~5@' 8PfHF͇ZyÂUXA(?@s/[A Ja(A5qly_&G&Y.o}bb@Nf=hd !|UٜnH͑r:xbv.Y yϛISx9&(z |e;3U*H 慉LQy~:[IRDK4lo`VC[swOm rD7UUs 0LZ Y'Yߣ!o c;&fazHv;׆h!bby%usTtIoKhYʏ8B o2{[[0O9u;vNqsQi'z8˛j4"]<̀޾?C G&M@nɳTx5M8,SPh ]yw,8DD @VUZr'MW܈|LԵR\GYiCSӌRBXJ9􉹧Z[5CBPXA™"RjT~RQs 3mY!"=i΃-0IՅ~Н4'i(rwИ=}=bciTKa7 "f3/̷P}ʻ*At,j4׌ bj5\m_y99ңEYS%D[JOIkPG erVtI ѱR$08$%;9&eNLr.Muy=!0:5AWu/ hL\zv=X KY ޫ_?]S[k`a1vFP鬰Z(@˱xXٓ-ļ&NuMGL`.'X^ӟYZC`Um]/A\u[ AM$|R[ &66|#0LabcK^98 :U1-jq"<F6ycE?C#1-QyEFBvڱ.'; nlo$}7~WJ3ߊyECU CRrӢU8 Ppye> ~y\q)$ƈA-fܑMp WbB ʐj (ޕ"\:PȝY)@ɚgX wz I @B}Š^>23šxz}ׅmB(oTy6MCS$=9"s#68-ro?ZBf\Օk6xͦJT47Z{t BlڡbOMpKNCdgYZ Y7aQ lHOL-Datatype_ExamplesHOL-Datatype_Examples.Parallel_Compositiondocument/Parallel_Composition.html7zXZִF!  ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*lzFk 2[خXQXOl%n{|^\i"+['[ dk c!65+E\^mA5 #bIfY.d wD/L@L&coXg5yƖ,Ey19qdw.,k?n(&7v3 z Bp@I_?'`T4E "˘mÄ~kEFaaXNW0ܕlQ[eeh(ؖqR㾎HIze'ܜVKZrrm.Zۨ'ߑ#Z0蒂glj/+_">U~=AޚFBi-VC@Uu,E/N x? ,E 6#.p:DLwEv^ k"w.ԭY>$O+HⰿTfgTtA5RÜ8E#zN2><'Nrs8C1TĂx)&[\p!@cϟ[}gbKqoPtn=4yǛwm@+^9B~A5~"dzN<@ʐ28XM z6tQTs[Uv|ZD_ #BdKP(gA֍R dGKj^;dZPs 9hf1k qpU~y&$=$ &_5Ͽs 2䗬Ͻ-ӍD2xZ/?۟]hHFߖԝ?P3:͝Df ܰdrG#hi\G )}KYBH2ʭuVx[p̬@ݦl{(%6,q;h( sӄAU$Ù?S݆8zcڜ8]Barũ<^^(S*~SX}~i aʦZ[&y}wn^!L.D]gNL6ø$TQQ$#E`9+2%~{9vqba+=>RᘸUH>JP |!$%f?mڱo Ai`δD ,ukppt ՕPWv `nzM/rt+A- l{ 1 =$QO\(ͭG}&bcï.4^/#e!i' fkq4.45[\:4L X9ߪɣFBR@〼."t‘xNAGIXfxdx gCsp51m%pos1.W螯*,)MUD/r`lR0QCTOR+3VU|*pdOH9OrQiG[G rtC[8n!u w% <7Z;UŖS jKZL.YTgjNUTe'`4YLl|2װ#KR.?[XMa2JIV!O u׃(ʼQz@Op{@;iLBܞӦJU9Yb0]@ew0,Vע[GAM] XWMG% { rI b @٪$}^^;`Qfq P])5Ť̊~"O CgYZ H7Q? lHOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_Toftedocument/Milner_Tofte.tex7zXZִF! A ]A-MՋhvG"uIBm5oM88.c@ol8.]R%J(Svqn2 Vʠ^Ӌ:-1uw:K-d&.yrzw,4⦩knp+؉ԊmS,05vgqNt3'+jA&erVLlLNL/cG Z^݆THJ5.&>?R=T9s]IHk{gFs$x,39قr$%M6k.iXn,ȏZ.tB)4k]]g5R' ~m)e ÞsA/ca^ȫ`_$nwxo#PIЁ OGTTB[c%i2dTmu(ΪM/=lfbwX]irhk`sCh\y+=:\7s{hޠR :@{*}\d8;\N6 f!q7شдj'M$0+ĩgI |ow 5\h+[NJ ċ ̥qcF iwְ6OSφ$ˊ'M`ħ&Vp!O2^#wjmM0h w &`2/OQ_"7n6WDAڑ$=.c+!\ > 7wK)"GQBe7Q (D*)tl 8[ AmyhlMº*T"P)R.”5Nx^(~(3[v)n@+ jB ERGQDEg:H8:~50aa*hŮ:Ah#$e$Szpi:M!z9mNu[vIkr$6iGwJqc'<&DIqoeYj!ryf< zs#v]m3ճZcAivp%y%ߒH:] %gqníj,ug]Q: D/Tq<1HEAc5pd@+l=Hp`:D+ɮF;_eMD kVzsUy^[pᬜWSBb͓֡^iTd잀'UU آN"P6ؠ|9c phy@ӚV&Gg*@5TcޜfAؔ?!TZt=#VO?zlaNŬ䳚=stJuAOOdW\ ͅCaG`L ʏ0BΐrۏwĨTƃGi"L+TEgLo3#~WqIG3c(񫉷λxE`L+GA‚DIٱgYZ:gl(ۛ6G\&Cĕ7tATg \o׋&qQu1(xSiy 8kzNj)b浭̐a[+)$2ۥ)?s󈭰P `Y?9:{,Bw+Tv#]ߞFgevI]&@"eZ'ݽ[":QpK' @Z?I1`oOXXk~ D 7j@b61Ϗs;/Rte2bxZ75 H~kRv +EZsemɢ鄶,7{Et=Ӵ9kNB_2\Qgb\^tq+ʄY.#) O+p̜Z̭g `4LE,?QméhrS wQq),%/Z@7CVUAՁ-$[$Ahcmw=Em^1ZuW-Ʈ;5K; 2ȌfK۸|saw^6aVe|fǶ+1{@&^)59O&?dgGi}>֩;MF5z)-pUN3Rtʘ|Ui~Wp﹭CZ[MN* *1Eٌړ53ׁ)d{% y<y_\OGAq7Z'-;a 4^5*߱3щ-延|aI'7dŜ9g\GfKK)KlO  7xM}rG9zs~9^_Q1Ab^1`cTun sdE;z|FzϻlzBl}a&zKms!emQ s]QWxuSygA4m2#<&U簷0K2O|#lAZ} MpYЌk>gŒ''<GyJϸ듻_}Mx|jSVumJT1T,yL?l[uTQ >ZF3UF;v3*כq4\GI<݂\Pl怲xE9n !%ܸ4^Nv%4<vTOjw)"es>:Q{ &:&vB:}id;G>#T"}B;N+tl&evy!IBj%شu; 3䄜BwbSa_utH8Ahl8. Ɠ,I%Q>t3v|?6֥\[U@D6 @&rA%K¥Ue0h2uynk=@pP<_GIœe8Ӣˬ TmPk=Qv : ^)I!(kXC+e9yJa0 coT?\mY02o9_ПxYX>=j^(P_ؿ9\2"ocUV5qMDk,](tR):Sw,kQ߉e}%N׈Άdj~bI8wNBefb IB?znl A[-AY?+RrיjK3^3 9 $Cx~!a)b7T 8kGm 0‘2sZ̿_f@z:!)פU ߚXOlG9.^,oHNs",t)ftX+,q*$w6IH#=/y0C}4)Тƻ V3 [D<(L Gÿ SY.exnyJ?**g!aV Ћy&,DӦC< M}HoȠ6$>Oi9ʚhihEpxNcq3czIwk-c'9aQ$ I ?c\2z^$-a,M W %dgH)[[T`)[mVL\@U۫(?'KÖ=SPͤK4AmQD8H" #MÌ}AՌ :xJ}G?zf9`c+vؗc{ffHߺ7梣;Aȸ75`xLG|lK&}"W3])yHB%Y0.FLr})'ib̅j*J-59F,9l\oh4+6v"AC$D "Y62t3* \C ^3eqD쓚8CHzym&:0Vae/U )lNE `Ȍ A]=:cVSHܐ(>T[#uS5݌=tWx*N186] -&)/9xHQgUZM45| 68غL& 8?g+S/[23c#{0jƷmW2Un8_+TE=UfEӨ]1L V.n{G|:qށu8a;eΒ͕Yz_F*}Bw W>wAdU?¤y'kcXC= wĢ ٽHZDB6'{_c;eEmUAxg1` 8*:1'qz 0ݧX?b@P OH脍3eoTc~]NoVD'Bhҳ+x=5Ia`R&2лJ:U% d#&`PI\`ZҽTcF3mRˬD‰J\ -ӻe3U(<չe:@g {~SO$a4 IK,GWgɌOdf,#%E66-1q\yw**TXɨ Rwb=^jE˾ׇ,wQYeZnwl`iO16cc# fа'̽}30gYZ  (7UC $HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Primcorecdocument/Misc_Primcorec.tex7zXZִF! { ]A-MՋhvG"uIBm51FbhK#|Q}k@u*JkUW֘oDl@䥶 IRIEXKUI-k]`Ώdf瀈 75~u7̮nL\vNhEGylG0GȀHEog4_a&r חqA4 _7zGO:~ī*mS.F-h+$arcp:Mv!_{f" QA@!:R93V(ʮuh|F ËZwM=@›J%>9_[$ h@| ;W&7B@VUkLKk c 'LH:ԩ{$>VɛLf JREzR =46)IGtѹrTs9#\7 4汎J2=Wb~6iHy3LyJJ%ąG[ՆN$k;sLT5 "tfw7Ļl@8*3ˉ<֦W rNԚc&j_/)ÈxwUL(0]7,c n}SDTkӗ^ [Z JڷP]'Z^tmg}D$l~@^R)_pB5Ό,:FZ\mrrgYT,0_PZI$o:vx,|(I!S#==Bc35 `{_a&<9_#Ϩwhq]1SL3K7ݎk# Wb@D.z^{z'LW deø]>A5H`HN%pY[Q n:t4,L#=Նr )Hp==qmdoD,݅i5\04BZNXO3KOnLQA_|h3< 9s/c~1%-a{RصhGCP ;()G%o@b8ԧV0d%juBa*~Ɯ@hk (]&R@րQ*DA Y{nFfT]Xw2(OJ =[xh])c85C5QK5>b,f5|^t$P`Vc41k;L|z79w$?;H0`'+#C`%pn |`. -TƁ+qYEqgw3=abʗL~,=H]v~&@SzoW˭Yf92Nwv.aAt isB a fcX*a`"#2}mIp9ry^, E8Mf`90z>:lջ(JP.E=M~ ) ፴e/k`ŹXۣD* M@EF˂ëes] 4s vc_@#RPY֞D3d?Ac4?ҪH@}X>4Ft&kYw|pA?$gYZ27?- dHOL-Datatype_ExamplesHOL-Datatype_Examples.LDLdocument/LDL.tex7zXZִF! ^]A-MՋhvG"uIBm5ƃ –8`_tnI”aӘLԔG0,A^e WP/=]ȀEoZ}6 _Z'dD'7p`\cg~+)!Š)AVg B~g/1W$.&b0XvMbx%Z͓:gWӎQr4u)\Fjֲp@*/d&K{gbuQE~M1HoQd|_ΕֈU 9~S}H l'鯬u*eB[.TE];6H"yEI~bBE#<} 33}E?ԇLvzȶ;2E@\@Pa##fM"Rgy>T^b}&ٳ̷?`!Mt'G2pβBc{`D_RWGS1/fNc%N׫Y,UX~\@c w HC_!M| ib =8=/~}^E4Ʋros\vgWHWR5Km2@F:'6bّY{vi&6lkR^@P)6l;ǦU1nGhYcHi$”΃1!J ʕ[,yYzW@6M#ȯyިnC;/UKCp>|\늂+J/{ z$T?:ŘW`9;K8S0x>&VY2Uc\RJ֔R"3 !ea|9t9<: 5 *}3Do(x4 6d^IuQ8GCCJR,]s^@٩j@0Ad$"+6HnhR^rRl|WCяk1M4nM 23  j7G5 DHOL-Datatype_ExamplesHOL-Datatype_Examples.Processdocument/Process.tex7zXZִF! R]A-MՋhvG"uIBm5Lwmu[2t"QU|k [ߐ$ HAy0aeVl^yz=$BU|QV8g=Knȑ7JJ<_"t ClxIy"H85\VD@bDdj`zYۄ2Qk% sqt ʇɝB[ ͓ɸTW 0/-N_%^b8_?=K5Ck] MgGPiK[ˣ=l;GgdZ')JAS\'f!=wu}ok [ 2S6r#5搰37QA HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Primrecdocument/Misc_Primrec.html7zXZִF! cu]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*wvUhk؋{ל_x(/ѝj$>G? "Na`p\p=G O,jzdPw0/Fj&M? TƦ<gh4vm>UVpdZ bD^i}dӁT^t pKvy/] ?[J,v`aL7<>Ð5 ^10r<}Y~Gc)>33EeqE8&n3~fh%%QyB'O#!xnAe9v(n#GmPd6/'*|(v8~ @n4ІU0=aj]q"{bav{-o[P(gY< H&)(,[տˉy;FO㩄n:PShh薱_yЮۑmcFn=Qq:k01ը+@[q9UȍQ& vmk#Z(YiRʧ8P6҄,Uf2&Jh-ۖl*w4(XI(ܞ?`'do}n PGα{4t5*7!\4U dBGμq sZW_wZZ SVBeOreҹ͍5{#fRI`o:I3ٹqDjyf6z_Wjի }TΔ*6;jEEPc TqDR(S[7͐,YnaUTD/TtT:T㢂Y_-Ct'/>C+.LmJQWVሽ3t?Skʾ3rh}o/urȔSZ;B>u.A;X@ci# zgi0+I QxA"1>5O~o7DcD`SoŃ  g,|[:`ok1 mԔ;,5dl*,կu_x[z(fPD~,27%C(xiÔO|v>Z"hEA,5Vq7yɀ8N5}P^ݿd &  o'p@0C^[̤`ڼ5X*/'StCR+$3́)QO& m\1'USzS+,<Ņn͓AM& R֜BraDj(*BvQh!(l= Hk\Qu;지m"ȩce.*HRY[ݣU hԆf$>')|;+!ZXZt9əo3ZEak:;WU}7"YO?ə oQﱼ.~.n@o_XՂx&T(tBQqM|]8msP-=Ȭ@ gG%da\ 9a-?.@R U Dg$pPЦ1v,MPu)6nJ_Z=-<ԜU NRkb.Pt "|Da?7kSO8HVy93Aإ~ug4*ҴSUbgYZ-SrClKNI<7V'3IVfQ[\-Q[+MdUL lEE6P}]&vИ!hh#ܳCf<ݣ{ - '5~݀ _G^E0uqhx6BDy:)w?fذIb. /|c7sb_6ы||}9k)`~q|wd@!u˳BfpZI{!d6&~bQ3amgno˓Ѿ'ǝ.&r(LUuvXv;&uMSjyI 0vДjFaᶒ`pRLd_'N5EexMm㡞L:Z^@kskjLwZʻ;p!|KMr,0+UЈe=/aZ]'j'>J&5QSfwR[0,F|ʔf5E+5X\پ':Ĝ XCtˬe PT b˛raJ5EM<κ!ʎ 8Meh}ƨTrHQx@0p¸dӒ/G/60]w?ϔ2#_dhL/a"q=/YACC:*4Zds:q;@M/M^?Wq g XJXSڦ;x*Y>2B~%?*iOd֭ڴ SWz)d8R\{?UG. +:lCD 540x`(c,?=JgJZWP#2.) 㾹i6O[Y"d1)>!1lrBD[y6D?%HJ,)_1O `J:ti5A[rjvqB/_(sNt[r]j+/;@'m?D2}ݾt%{4SmQ#[|1s;{Dnzr'ƥ=/yӃ^ K(fg]=dL /m`vB[lB/#φɲ(:Av e/N.8/|G2j-pM_F\& 2]^R9clMAxnGQ&(RiƋ|:[ dq%* '\0LBbQ?mS~LʴoͣÅŻHOqK LҷIʀx¸>uiRdȼ  zl>FG/D* @Eu9vo2A]2aAJV6]"VIݹmx̻8>\BѴX>nk3x:Ŗ`'?l1rǦbT>nX޾6Nie,1'CxCzM1HD13:b֬F&M!=tyjT[0:)J6{mD y{[ӣMQDrϪjJ6{#l$Bj,j+)XI p*%< @gO4ꌃK[ƍ ,2G_`0SpD邐Ä쓯BczuI`f&ӧYO8.QCOԩ_& ^,ɤ _qiCNrYuGePW lM/ ̘xmbCcP>N@m^5.fO.}RIf9+eg"aeS] 7/;LwwPƄ9-@2#&ºlױPz6Gb]Yp[A7slJ$/Txʿ1M= eJGŜ/`5<#Y PS3\$ݧw%c(𣑲;M]rx_N^Zw߹%E`c6Vm"?HƏ;=q7 VxK`CV Jmåҭϳ /w\PnzW*밂2 I&9O%]Yz𣁺U81RAsS.[=H@7|gGz`dlF2mҍDqii H$RgD`PEzWloBL#A Twjβ"u b4eiR6EŸY2:5e#Fzd9~raJt,4x>axӌtYgYZ  7K; HOL-Datatype_ExamplesHOL-Datatype_Examples.Gram_Langdocument/Gram_Lang.html7zXZִF! ~?]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s)&;Z[u[eJ T^*-|-ZϦC̰hו9h3S+< ^:c&z{<UWG{i)>yjA-ia3CI\R!Nԃϭh鍀CS5 kA#Q,ߐӆ;7WG DHOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Codatatypedocument/Misc_Codatatype.html7zXZִF! ]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*wv~qcLrȨXmڶ/bM6ps-4᷌!6^uﷁ"ycA%$E+)Ⱥ KQoK_aZc@?43أz{o/XO_^FSr-C0, l2KdSLcu-G,p|ġ`t"%@D&d7*>sf -қe R5Ye$5ȸMZ;_4DL͝ׯ6vG@ Ȕ!lxOl w+/ֈt)I=Frn 'u$~ޔ=X ̳u7ȾH&f/Р)!wW}0qU_'~N*Qw┇yLӦ^K Dґ^*(T2]VNc a(|M>e2wsqd`|w}otkUm95?y1@,F6҈D}4 zhEU@]I0y7ƚ2}"y $62TtӺDAx ZAA8HS]4+HCP5FMQW#p(D^28x@9X]:m]EL)H65a&:jFַk| ͧij0ncgz%E^ |LT;iF GT`g%MqWz?Iu}f)x=9Nc>XEHpҡ, ~:Gn}R8g/&n!|&s(jJgY޳Y]|yITeKi=MI|v_]l 6bS~nY˃>3ɓQ'$d#$*Z Av>cH2A}~ujwY.3, } n_vB7GR1᭗)/siaYy^Ö3!.¡GR  ä}A_@?@\̬s o>!Y kq(BWQ. @І,}|-J#hƍ3\R\f«#xGyyL]XX gk4IBF^U/r0MORhUxӳGZ]4$,e%bR`wz&#]yFcMOy0ELΎybr1A XrWo쐖S6wEdƬ疎 ! *$q̕?EwZ>Z<B&3kϦVKەرzrIsI?(w{.7k'i# _?kK1ī^Y+C?_P߮JR {Eq[OLpyf2WC6™~|w6C?mRh|euF^[괱AJƜ^S] kژЮS-EntI~.c;J>c@VE۷7˅ƔuoPvEWL<4M4 K=IT #eeazHA6*QHm4SM}dXA7(ԍRScaZt QL' UuJښ@(X30/ٟ^*RGx7M!M\V1QbIģ\j/(}E+?@#'p nla(ð؎_!U`"X75/G:;ԇn*\BxKA]~b曘J\r. ?E3|V ^G~5ЈF<=n VP3SwCIi~@S]*e:3mވjxg:өTQ*^^h*) 㐡H1L o,`BBܡ?w@" ?-t]E9P1Ɉy Tnr; _&[uڌ.%D ojki`ms`rfscG 2ߙqih# JGM@wd7}At+ya՗C "np6C7h $ EFVYvvu4(*ZI^8|h.brXE6bl 9)-k$]yAX1HH(_U,~/ZbI j>_{!ʦTx`Dan:c׫(狈#r |_͓ʣ<}ɩT/b ㇭Q.ẜ"bA?A X5asqX 4lMK0|CwmJV')8"c兎Yo-X^}UN)ҷ՚%<ޮް;+潹 dBF Jؽ̴~B鍪2k"$.WՀNbʸj#թw!g_WwSVc(<$qa@ر{\ &W)n]?݉2N)g㋇/7,Gi[Gx3}6؋ZiN0e>vrc8_h™ sfpQ{6KQ:OtN|$!y*1lq l++O˦Jk7X$=z:  L"VV XL=+z],6(yҙ_'OJ~gjFic*)0)AN/5Q6XI?2MPE* nS> {9،+6NZQ`{\ۇ.׏TppyzsyWi؁4xKdjn5.`?yZ`yBQS>O1"y/}er07!2vg ֎]p@QXZ}՘SCC=?zR)Q,*i4ם煽*7xmwM?Ph 8>?kw{xaI4jGQJ$_D;8/W~<qT ʖoxRaΛh'uݘCAq,3QhM?:;Ez f!PDe&ПAHd-V;鷢uN_kSmOf( |49Et~UOE崁;)^i%ssEm.Ү n1EjȂDǏǹ8Ƒ NrS=]!)76,֐]8:ҭ=@i`&VnTQ&$țVs$3 =kG| D}Sd2)ɔQ_"m8$0J^ >j GfD$GbLLVe\ۯ: ֲbik-VKG$1IZpZ Pf3鍼oNn֚]xΗc팷˽SvĠ9@-VRjQђuBDvB@\FR}dSK?,yo.]ME2"ׁX]lǁ: RkT㩮@E0M'Y},ջn=?Iy?|u5aRS=?AvE\clGr#/s-b9.冱Y5b/K|Y2>(̌;˒X(Wܹ`&_pԛ|%jaj>4'vOVR ,Wn:]0ɂdzσf4(&$e}D u" gzh |qDeYӖ J*p#럨vm)Bt5N>O֐/y+ q0[>ܥN]%"DV3ogXyZqqѣNY'yMRJ0+M& ;hp Wf@gofg?i'T¦|kң-M$cxQ"hҖ&2lbHkH2#S(y}cyfXEydZ=/""jl .T#ѷMd+zMO**[%Ԩwj9cWx%a_eJ{6/ec7+j7,ȶ):%v&[̧kW$\l:ϹӶaO"N0ieu@ ޲v&>aog}CXPm8C1>HW;h[W'O78)J(l.aQ;#;k"*%_[+; /Mj<P8@/63C2mJh3e?W{Ԙ6rC{LuR61>c #ըBxw`mpȒ<= 'M;R{$=z~³Xh/{oQK7!,&߉QiеU pK9/ )9v3H0b(~&1ʔl8!]]^i:sqo4'3սS "B._0[&TzT5LU7z#,_%Vۯzxy܍9E)T}S.\r&ooѩK-wY,;rf uǂXdzk䒑z ꘀO RZH2=q< ܬTGc9]lڠ1%_@wC>Ʊ>V˘<܉b-l9+' t)nz%j3maEzP-؉CJ Ѳ o.(ŘGXPNZ ~ dJ lDmeiT7 2踾Q cX`Y,p,Aħ3XT(MRYmɼ: d1-l*fga^ 2YwJy5%^'s qHn?0:kp>FA`"oI| HtM/61Ct߲H9J;maLAf-#wX0)USw)Fhi1\ws4"U xWm`x=@qlJnKމeM\s/r(b6/Ɩ#f!uF^ʰLVQ>kvQY)R/q1z4Fz| `,:R8m:,߃/epuy ؅E׀ a(Q]tA+fgaݲ2*Ha>\;kguPMW$3X>B 3zE˒3*=hqR *@}8KW66OULO3D<#bt6m8IE2\ 1iA6\}- _jL΁W6°&0 g ɟ#TBt l4&BP%srI-, pxz[wJ8Bu-9| 3o_=(GY!܈"=" llo{w>oaI9Rtqջy02񳣩4Act$(-yxa CΩ,O9]m/K=Ж&Iݎz;$B:U]>'ЖXY4ߞ%K+F_ B,ފ]Wd l y]r8.4 =&ANonez'cK3"$2; j,4 kfgXB7s1PL;.r:I>6Z"OEz79N1CxFYi nj0s0Wa"uL^Yν3L7/$q/ '`CҘ>6Z7e?:<莢2UT@ct=)qo7< zԌ_VLuqJllzE̹vѼhх`͔CaWŢNC_^;OOuqYE:բ%[ NHXH8┲kO {&keN=58qk#2R^*1f!,l|U6IyCPҥߟ_fW6*OH].G.yip`ӍdH8N)k'kWe DHQ]T{b`h9.uLy]v/o=ʖmD?ygo~yYFIt<. CZoHk,JX{8OWIX.H9]|&_L/z#0X iP:K뭏*˯yߍPTNu%!:kF eĝXnȊG)IWa]m7I9M=0G Ia!5`wɷkK3k%LDH(8P*]@+@ଯE6\OΧ\֋k$<4a-(Htə-e 7lf*Sd0a3ӕ64"$/r ­9Ϡ).[3j$ 'vX˹o\q-f0kV:$ӊ&Nx_" "C -e|#?ks0j bmzx庞]ɓ1"L4 3'a03arkkUJH6ienYlw&֠r6dx[Țboخh4ѣ}lEhԓGv^g+;H { I[7 ¥KB{ ml]O:22"G_zl{/: eϐ:奂bX_#̔By$U;\e?81*^G0 DPrpߒSr#m}ؖs9 {D_jlrw:CZ7eኳf<,t#~@:tx*!A:aکyѢ@@*,>fky4ev-3Fh4u t+-5g8O18uQMb{VEK?՗RtJY7F pWb pAv]"P = rtrC-nk立>?B]DF6%JGhLx=@cQ]&Gn'ZfE B{f m+} Hruym,{]A2ޕV%1VL: .?> .G[<2 Һm&ڃJp;!wxEȉӔrsK(Ѷn!@lL +x0b?\3f_cdp† 6¾ZX)isleUqb7 || hXcS̲~T ;~86ւ@Ql՚OJ4smtQjh.3ZTu.&8<Caχ[_@{>Zk]SVˋl7yoo *rk1ƃf,֎'EI(LPFfSSB~f\qc9Ȇ')) }-`շz#` [jYoqP h(|jgy")\_mo|,s ufrru*,9,{u߀@+'(mLY8{l8-vSdH;dZ"8|e`XNlR$'<*Jq5QQ_q=@ch޸16?>9V6O;a`NWgԊW<\!|WR-?p˳+~AZk,`BܡOŧS*6B'ǁu3D^|g,3FnEY>6Ed ?|ݨ I 5Td-XD!8XE'm& @qs>`ךbp)\m3[>L X%L79llɦRѥ2# mϔYgS`釀$(,sZdĦ݌+k"u̺=YWڒ t qS %ϻ Qi}´Ue> "ٺjlVwt-LXv",aYʅ^IEA\q.fh{TT!t\⧰ &zH. "%C\HCjBK?u)eCCKhӟBmd2x@ efB:?.! f h?]/Se԰x"ԮTeu'[5m#֌-K!cDMp6[tJSt5cs&SZ r||-TV^P(x]a4YD`]ݑY(Vo7*"`%= n9bXz=TdaQlW47^!E{M5㓄Kf)A e&"a+AIoJEg 'OeoXOMc7t`ϖ2sWRgMU;  zI5J˳/>Hy#bEdX$r4ȳB'%$eI ʏs^싘 YӺ i"N _EN!#Vi$7;⑫tx[3{H(!v۩:dJ~ l#澂؏<=H*â3c TkɯWLe3rg`oGRa._ F*<$2MBU5r F=R !o(Ȍ+-BIx?9}*,?PV?s wt֯4U͗Ҳg+M0m45^,6B`1U@39ԕ4{^ݝU|p *o r%)R§I{99}[Ԁ`CSQk$mNcbuhFzs2"mh}Lqo!vt 9i7ʳwE)6a4r3Q7QޙG1crjt5Օ]vL05~㍡/ËCc_ 4Ӂ%É Wy]])Dao>h@ǠW8gRP?8|+13ۦtLp1M-:^P b#IJ ¶(%F[TCw%{ vg)ٮ" ͹)J\E#%βJwSo_@-̵~ gϡ^Agj3ݷߤ0Y٭բѺ6Zv`o~G6tlـcD4ti{t@5ѥ8bP;^*byܦT¹k˥Ahz&R z%30E m糇U"K-x2)C ǫ#Oڧvp90*1ӹ:U8`Ų4:[ᦩrɷ1uN jN\lEPtaTPVg&Pކғ~yuE`ck?(5/=hn "c=0ԝ.EE{i cKSQ1g]83G/U  E$rѢVE}s oC)z{åUS &ear}<P?L1~/0& k 4 W(e#l)'!8hξl I #>K- 3Ruh6o5 fCt3 +׊(!t*3$^IPqvm_θ Gv(>!k2 ϸi x¤W4L< |[7i^hr"(lno=«_3Yt90BJۙkhn<ԭ3Z7F V<㋿OnܭOL݆iߒe]D̂/7?k7#e){{L4wnUZpeaG4N5D?@njK ߻g+-a!S x <~V#@F'劀$ mM}t1Mogxz h}_AGd 4fnxLQU/~\=(ipJAx([Ohuz%Pɳ rb~z>RFg20z}!^SZGOo4iIfSjv6xGΦ#g"Aha$;*((a!h{O@@&X៖KPL\ \ߛö,.N@D,/=:8k}iZeXK\f43¨'{o{/-EÉ\y dN0/#l9x_׶s4@Pk2*@<0__g O!RK2}徜k!NiTanoN;5Rvc OcBnNe&A䇈wF_2D.],"*+1%_#7JbqPeqhz ἾeΓ/T8D0WLa|o0X*feMPlulyIؗA ܱV]){Ց0g RjZX D,{0́4XP,x84P{r?I3\AH/ٯ1MNLNX3j_r٦ ? w UO\JXwl'ISuFOR1 ͩy5dEw%_!7닢e`gI׉n4V`E53g7%)-Y!6^,M 5}œ$dʩ<*9hͽjI^!Lsnӫ Q> Spvb+C CYWq x !Ch&PZs#x%S ?O}^W`QOZΩ+hu7v4CA&&8&c&RuX&ɤ*4[ [x~6`LQgipmR6B<_YC^a,5 Jn*a[7lЪ] vz]d޷Ճ.ѐ6R~d}9 m}tCY \8dY3Aԍ{x"Z+.[?OKB䕲mYڊmeT[Zet 6 p &XQHܤgM1=~FL=EF',Ѧؖ8A-SsUDɫ[?zIQj_d_*& FL 4 3'%4^(|hWȺjm ƚ򻋥|g9?5SN9]vX) 8*Ωּ =LbE`aLJAU@ǮbizbZw'x0#DV[.tӢk>T,ϥ7TjL\78n Oa}NPij;Ó@A3{>rHΊ?hOAg畇ɻB ;f)mɲ%pCZtwr+494~aŶM+юq VMK=Bd:0F ׭t6TB+jr\At,#IOY?/"ZhyյƱFD|aYP#㈤ɧ{lOE>w0znڶQ9'7'MwS?w考y 쌹UVs,U7x%Aж]~R d{\~ f)fìfڭblTu0/ _}EuJ[y| mP8'pF֚L:R\xk9'棪iԈaHwđ\&hzC N$$\bů>+#H`=C>q0DǃOSYQвz1W::>\ĶTZD2%}mEonxLTkTƧ-3_k7›S~I13BEvltRɕm2|z])'2g6"ԝ)o65Ϩ` y2nO"omzN֑,<- ]KJ׳a<^swrlQo%z*^cD2v YNEokqOpA܍S'Q᳷%)@_t{7aEMK,"6J Qu91#5~460>F5z{Tu.>GigČ2L fi%ƶdܮ1:T+ʹgCعP.ceftKEXPU=7FQW .65퍂B.0S펌\ IEˑI|v>W dM ?o`O'݇X(!O@p4!wBۀڍggoIe:{{Dj\빁wBχ!E~m(O@Eupx-hB%,mi"#+UgP2c̍Wb(C☬K=>U|< \wf0eQ*+|c-DBMK s4"|N;$1?eA|wx0U٢y"5A} 2qMKsR}v%WJNӗI?ϾCmY```@#H26"y {jfe5#RtϞۙuH s  Q&jUhqt_te6irD:SXk iav@|;ظ0׾MT6&(:Ƹh S Hhi& ]쿫I|!,}=lCp;-]^X"[b1U_{iQOL z2Oj1BŘ-d4AR'͆Eg4P(pFP5JQyBzmg ^@K~F2;,B60YEueoѣl֏?taXX;wNϫ/kPh'$<3*Twr4ˢSHag.$@G7h(6,XqOy2O7*ʹ6 UԪD s dZ|oX&c;4sTfJ!o[_2O-qe^"ߙE,zO b ;tz3"YFD TJ;P仒'pbٛ,g>(i`>ϢʷbdC#][PƑMdYX#,6w'R,ũazVq[wܦΰϬe9"``jےH!FaY[>@Iڀ, mϾSsxgyc>gYZ `7Q? HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Primrecdocument/Misc_Primrec.tex7zXZִF! 6 ]A-MՋhvG"uIBm51FbhK#|Q}k@u*jnW|:P~f, 2^з< eQ xh:4Ie=dy)"wJ~є(ex}M -Vkh D`(sq(ޅD(s^qrmςxT"m״H\4tu˭ڑ*a}]$7q3t1u[Ē@eb<)4-=dpL*-¿!N.,EH<֟$T|uHJ߮KB7H*m!}]} }dIKxhxVZJ o^[ܾJ!v+1ӝ}Ө-̹>da%hԶSMJV6o'U$R˙\i}0؀@ uY\ Pko֜TD#(y/;$v hID^d@ړ$oTJeXcn4MK\gx"D_%'{ #Du^ ! /`ْS ` V:g7$,kRXE=ϫ6a:^ AJVB4B]8v&bXOԩqЬ$F |zCS| IOQez|37sa?Y9j0!'s^𚆪%L1·b``g y.;؟(ʛRG$ua|xy&[, PFՍ/wY i|8mS¦A q2:c/*(bŭۯ{5dR5fibї |X(ڿy3| F\dXf=h jޗӧISd8],!S}wvI̟yVEA|mMS'TA\ILQj*l=n2٦]6ym_]ogéMZaC>M`'~(|cW25Zpb' F;Ct 7yxI_ǎDX=*R?>VctsUѥbm "uPx$I\Fѷi6;L<>V2%)K4j5%VqNqqbRqP#_B/@wAs[1jq>VȏO.)Tn@z;]`g2@j#025# Or>4ڙfJmƴ)C2UPBs O[>QSjjAkŽEq '/ ?؃-Z` kXDwUaVNi" Hd6΄w=%qc~կ5qA3| ;rL(#E1hV#J\rDɺQi7<|@=S۱Zhw[C$$yAPR4`&?N3'5\QImj:#&ѝdj4z˒=?[Sڋo/ bڎZ2cت^kٜpMJ~;{bt[qP$9FiW5^"w9 P_k6uZyf2!F=!_1NM '6+o潟ώʏLxsX#@NEoJk\Ѽh$ `b8'A -7; ogP.{?ʘm *lfpU~^aʃKГ߾8X=, X?kX<'{j=p-gYZ $$Y7E5 $HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListdocument/TLList.html7zXZִF! ~ K]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s+fl0PX+|F\{dXbۿHt,r#^29s~7Bakǝ9־agGeJ-S(W32{+f+UH,8J{릅/p'>{25TҞܹԙ#fRA8 p)2*TbbdwD`tPrY AOVheNۂ؛}sh% R+9wlp!kjR* c=K!Ȅ nT{?izQ=\Lg+P\6;<E/܃v#m-%`y⤋4Cdat3{#e؎ d%=r,TOMc>I-C2dӫf F;_ڸY5*@c̄F$nwQ^($~ݙ)4UQ$ŐWsiMf?zo@HtaIYO"jB޺ZĀJU+ƸnaJmψ6So “mr7[iּ#3b3V|\sΧ]cSpm/kI0]Nuy %v„V"'dYzlV5EE h(œ'̺¹ѱmw!~^L 2Òa$Ae lrl Z2ӓ1Z>ܧoO7~؆~lhؒ;V%ͺC<!ɵ4?F:/hIC׏>5l|Go*CfPSyebyhdM('"6zQ͞ ;y9"A^ñ Gl56DTԪ}% g O;Ś_֌Pn 6 _Tˌ9rLTNk6uAB@C_]Y\5:~ NɘN\oׅ@4\2iN;}ȹN/P+jQ *`IeMPSEF 0>#*R+K{fd {l_ULHWU9h\>8~ՉGv&z0^Ezz,xf_)0Lq$$xT FM[~K(sn!bvw>r%b=U($ly}[.|D. h.?/^Jxe z-9zc[ΜJolCdi#1zc5^sqGcNBn|C3^ӡ9?N1O{`ЊF9@Uw3{(+9oZ:;R| zoꧥ"/fpVw6UG6\WlxHSPe p3ĬH4I>6}Be*r_)D@(KmB `DvMVWC}TQZ6շvH?S7`#vLbg;P9$DHkmRd vy^,/3HY+aodiE*v7?;0ep_>YRveGڞSvXˮvU̹x}^ͷqMJV5S LabzB'ƕr?fwşEoґqy;{lw܍Ѻ(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*/ G[t:٢?IwHc&F+ELw%$$vihQLya*Ԅ1g,O\J*8^| U( N 2b-\?ŗעa Qe7Y#74N޵ݹ^ W UEt$} wwA$dVĤs()tPu&5`5OvoQ KMBK[F pJMP P6(Wp nR\*_Cڋ,_dX)n٣(<[*q4 h9YwR rpvV%6GTseih*@*!2B0C{Z+r+fMo,tN{oRz3ךʗݻ~i"oK N?Q5^ lI<[_6).<uG ݭ[{x9*'2AeC-%tauz"Tl=˿Wj *9ݽM&w,P:b2ٍ,TAN"C]r$*q!#ku.mE`ul\6iydȫ?mi:TwHaM9XpAq#-x{ȁ ۬ ZQr7LodOiMC1,"i@BEF*۹cЂuRLP?}\3؟SDj6 2ۭIi8!naC&ˆ;jeY pmpo\//RItd\Ry@78ܐbWq_ϣglnFn>G*-saFnB0&vm,{%&D0@5|9wZi/)0nxBӥBIW:Ol80i"ibtF#Ҍٜf:c_x><%.*$_ds fc)Tݦ}A9o<'SToa^T;==(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s) )*725QI?ɳj}789~_w,K~7޶̞imL?2XԀ9 4sn`4sϻS?&Ľ])Դ!_C;C9C?_=Smtj=ljVFH&E(@vMK&jZ <qIn֬}N Ŀ<pxz-ﲙ 㔐D"5d׈oLaU#bIƚY3S:8-TG'՚{j_P C@Džu?,soW&B*=eg(_L(@K#`"STȾ33קSۼeM>c垽6ge҄9 tD"_[PPaźsa{>3Gjf(-w9):0C1{BOOaUM5¶vR$Z>[k#ވB~ ^|ˡ;h \?-ŐE%NQ[2KЏא1ym2Z'2%L㻑@5.'Cq.),zHO]X5^qldPMD~(Vm&E"Ub~mh5ޛPC6w}.jF9adߝgYZ AA<7aO 4HOL-Datatype_ExamplesHOL-Datatype_Examples.Parallel_Compositiondocument/Parallel_Composition.tex7zXZִF! ]A-MՋhvG"uIBm5D"٣,]ѹz!0~lZLK05Q rlQ)"%끡3UiPՅ|q@$&1dJݕ֍k=78}PQiI_ev/6,ɥ܊zb%;rx5;ߖ%pn\ q~zHw}W;OYAl9%ԷD (;puu2]g7<.^pʻWGSAsY|2'e|55CS4qH< O[cU0:st8rw ,<-. rTyfU[d(Ǿͫ ZEi88% x fhPȝ =%pKhDH]qP6wX"/{92cm%˭zp q`S .H_:FN߲L] n#2m\Ph@LК])%ك#'tÞ3Qwd!a (*>Jq ӵ[z;Jc}3GIP(i6Jo ΐTmO(cd^6&텳1b9j^#5t-A$xLV /}?),GvYw/O<#R pCjY5tYrc_#\MC<26?y=D,bZ{\Șzo>"p1.a67û'Qi+ p'Pq0X-W T0{vE-3Y[&˶??6>Ô#vEW,ފ<JtW|1D&gEOe%ٽ),AjB k:Hzlh ҡaS{tLx+44x9c0,nDmA;.d\F٘vma0G_оt7^jgƋAs5Fe& g\'d^ڏPsRfvDf+.*`jF/ ɳd $yn r UxK|,GUv?N&P|Ϻ24{jn:6U08ؾ7GK|[O4= >WEh("j!r&Tk ]\cׂzrSH'Q`GQ3]#FX46ZՆv1d*\SeY^oa.#n:,X|BVf@]6qkƙ=b@ct0H$UsHq6cuR]kP0I !,17eaHӕRQ۰f1ӫSҥ),p^2/~_gh]C(܂e2M۵g;k H}pM?l#+BX6\MKLrRyLԕ@G'f} e]v多aTjV O9C>g`b:ykSĭ@rL;׀ 뽎'v6#` .)3@ +1ؖl7lՄavGPIπ?BJS\&ՠΡ.%^ l(SBnk[X/ .U:܍0!sPH_zc&@>ƽ$vB)"}Ƨ]u%e/T!D Z*KqxҠod%PU]tuAM$o#)i}?h+upmֽi"@K}JWM.29MN".gYZ W7O? HOL-Datatype_ExamplesHOL-Datatype_Examples.Cyclic_Listdocument/Cyclic_List.html7zXZִF! +?]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s(y*~e 9.S/=D{a-q̊q#ɧݬEzCnB|S~bG0[5G],QQhk1{聪syyZbfj +'l^-[Gϩt RrgM_FY!XE{I#gUZqFچu<rg/lW fc7aw@fԙށf4( u:d@1\#*ݢp.l"X34ͪB DvÇv<oWoJ}\|Œ:S=8&/޾3ދf>|j7* e ӱϚy/Dg0vs hh}jr͏<3] 5R &$=ڇ.yM^+!+^}|܇px6gOpP=B=B&,qp c%`TMDc8@1Eǭ**HDkǿ7 N%?애_ k5EρLmM9<, RoX]i|̩UAwV)r2X<x@+ U>xrG6p.V-`BZZiH|sJtfl`[3"mMь~> {rvskԞ rP݂ۘ^rWR44~il}Uu}:s۶Y9RNsGiS!`,pD) t>Rx4#)j QM{4^ޜigǼ-*8SoT+"(fZEwqM]<w8- `M6yw]ދմ@ya2ʥݑ1DY,t?<᏾HGA6ը189Zjؔ%etWhlmӁڡ٦q u%!;qe7ש(4o?(\qx}w,Wcd!T WʷN=x @'Cl[[Ã`D0<^a:xWW٘!b{ Tg/V8LZX.9N=V?W0䵧X 3/rGl(4 ,~k{ \&4Җ\E2^ !*`~H{~.b9Fx :Զw'^l lB'kћ+sY1O*J\> ;hb ݘs#`r_-sqt\enC=uJVxJ=,BhͰZ9p[<im' ?76^O^)4j*8>ݾtA&%;ր"Ϗ׮-[#i@b!~p6b)Sxq Y1슍?% ط)@v7t{Cʣ`Gqn0E;2!vNɎV)&R>E:b3aHzK@=E"mqڜ=+?,hg߹#jiJB?q2+tN9Rzkr%3[CC nFIUGk/<y< [z-z؉f$7ܧLB4mlCdg<@aB =ݝc*~BQc4eQ@hl,u'-\e{ߠMh{.ٌ 8eiv#ޱĔ[ƾ'?$$P&Xʾ4p?8@ M{ijGO8/I Yǔe Z1ng f#<?U0\;Z'(,rB@f`qPB1u@E4)&mK>xrV{d¯RDʱu.e? ASDŽ^hH:<봛j+$ UQ,z ?(oqmPɨa-&=2 ㈞(^2[D\ 2[JddwSfA='8@XkT΁UA3XKae$E°Ig}ծoO1h.噉{9uu `iPՑσ7tW>k(.cps}4z.u?t.L]{~@8=3 8e1PRgYZ 7{7A7E5 tHOL-Datatype_ExamplesHOL-Datatype_Examples.Prelimdocument/Prelim.html7zXZִF! 3]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*C0} Zհ! q7ׄF$MR,a`7J $qf3AXMXϐzc·$t'mKO$LcgRj+k: nᩫ# $3mvJJt?S5HโcA׳$*h28Y=6NA2<;X u7LHi~4Z70ڞ*H ;pĖZ{hwxAEb~]Po$kދ@?y"1T 3OXfJm\&GzZ] e (> 3*l/C 7:X_؛ڽ/y?2a6ޟ/$J=R5yc_)!j`rqWPi)g߃Ht;WM>T qQ}P&1y(# ,9kztW[|MP;<'+n>_ՎWL4 }}!N{c?00Q{ܕ֣{1bUtCb4v*fl; -blAdԍBsv8pP?5P{CYTNv2̉|E}npo&̧VdM餼Su",R.н"P̐p2F S;X,mg{f"RCҟU\* mQyw=6(6.< 'L(!iO]S?ހZN)SXqFJ*h˪U+J ĖGd&YLV6wwX['=Zp5 lqSo9[U\#g0fc,{h|A[J u R]lhV-h64FeB )=}zEb~<"W(ĈS!F_S^D_23S n~sP ovs5pGy4]I-?{Lgֻ8]'}#ǢAOuTQq3cFРcnΓH񀢸Vq!&oNX~ J8}ff}dj藴pߞb3XK}O>9ݬs2@tԲP"T͝MӉ GQ=,tςtePFw>?ycb)m3CTf- W luR?A7EVSTfߧrCO٤ڵq^OD9k!̀ (,A{|V\.nV/n.&P a54ڜ92xPr!_3fvx\s$O yVSVfY_GPEmY|B1qW4Ĺ(gXd"Z8.+u2|=QofTը.f7BqnNRZjUy@d* i/FοO3|[n7Qz;f=Jm27&F:J1Ǐtsj?&԰aGZc .Xù1ط{}e"%IwZ=S: y+ 1:0Xn4;Iٻ@8N9-3i|S0ާg%kE]h‹.2 +ؖ'hLaku mN߹@<GL,DU Ffug9-8Pĺn8O!oOune7++hK!*E VGBmcr9(*+ y/|eU?Dv:{)91"fW.8%kRϹ7s`)* '6XOĨ\,@M φpԲɄN"HH { 8&}烙ϗܩb3 2EelPi+ 'rFjrg^SuKoUə@cech4sZ#zpSO^wKlɐ҆}îHz"ީ%L)1!euM1U iq*3jJ7\  h 3HD¥E~|&xp/~o]ápOZmZq[I~F_[X(H6Bx^kLOCj`آӚL7ahX([$ iFh74FDeIm(P絴Y(AkT0wAbGw~|3ЕQ2(i/N{sMۄxf8hqz);G`p?z#@옶0ۙMxgYZ 55H 7E3 HOL-Datatype_ExamplesHOL-Datatype_Examples.Koenigdocument/Koenig.tex7zXZִF! ` :]A-MՋhvG"uIBm5\{Xf/1{}qP/=0)Lo3߀*Uz#FA:-q1(OzA^oF#KxTWb%`oBw_"U{82+uu$l_8{NMNX&',&̂I9BLոXyڇ Z7p8o,?7]Il_bj/:B簭kaMg֒4^wQ #{>1ʊspoŲHĢ)GY|q)='w~oZ!S=ʤKkIRwZ+.M^ 6C"-p$i$[_oќ~Jk͡, PRL$ǶU4gV+ު wqЀW̓+9` ht|[`3Ed;1[-dX@mgd[1N_פ˰!8C,kbR['RjEnOTWteջ(0Cm"qJռC"a']+Ͽ5M8p4[~\ZL, VO~HRpr,t< pq!ј0T=R^L-5?b0.Y7 YlH͏x /$eU47FSjK8[_=6sNph@-n_Qq\2= '6\ۢ1LĔc9 T0$~}^IҶO{ l$M͙!WE^Z\6<{o_Լ6S^N~ )aԂ OM&i-EW醩RUP=EPT-bXMN6zG}Uψ-sO^$%jܖ0Ϧo7N/sSN+jyba<:d|xgՋ:x 3IreD^oU\A*CN*FƆ ?X-vnde6nsoQop,H u":{>;ӭ&8PRxlA>\ߛ"2Z*wK}^~@ *ߧ[q vS= Q{kqKUtSzu3~ҤP CF24 z&V0n6ѕg@n |~dsŦpA6l(аr3aURn#vNO?qnYJXŜ&6& * 蒁@Q_QT~C給'D x8 Z٪SXݛV4|7N9oAIXh(^%HR˼huː_xj)qUxGNU>gVVYIw)5˅緋Z* x`Zi=\(IA)P`F>qy'o85*7k:g,bF26|aآ[&7_"J@430DW7)ާ^9gM64>`ϡ8=-i3=!пr jD!·sӔZ΄ӷ:ĘQ9#K.D `Y[n=Ϙ5sV Μrŋ3ezj4-Jщ!JBFS:gYZ  W W&!7O= ,HOL-Datatype_ExamplesHOL-Datatype_Examples.Cyclic_Listdocument/Cyclic_List.tex7zXZִF! ,0]A-MՋhvG"uIBm5Q*gh+?6#"ڡ&熓&B>2WftsRV޵$la]W|1[/4`2uA/*6x3^HnՇ vEi([ɹ̽$}M=74[S෺% vο>xDye{6ۖL7zRU򷙑lG/βqYF\̄^% D$KIoWѵPtF ~,P-cG]-ؔl^5~=dQeyzGjJıD5%Xwm |bVM~72#"qNPq [R<N>K>B=>v|\!3gx)[,1*|[ufnXE$^\(CJC0 xyhF씸j2pwbFRbnF"Vĉ|ZcGz!uӦ#];)v4dL$i=YL?5oS@\Dd`Q'U)Nq;Ĺak ip+jpO>!lcE$|mz* C~(  Wk ]D$1SmR Tc|KLwFBN,Nj BpE+3 䫁|ٴUBQ"#"b10i=^={L⧣OSLF:gKA8 sÏ`BhK۰L ?0'6 I{/!&QtۭݜE^h er0}Pߊj}{Rᄁƪ3G U!#978JbnZIn LRng5A{e gPhuq(]EN63 LjJY׿%^yb(?q L 7n<絙weAA|{lWmF#EOj­ݎ#@{I'9߇J2Kb?Ggnw OCNVT߄2LYXۈɳq֮" 9\y_%PCSnAq! %'MS!z^n |ft]7b?r" zI)^{VK/6^Ԁgn;‰`Hs69!.ɞFT!)Ad G <==ȶ* XgYZ "7E3 ,HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListdocument/TLList.tex7zXZִF! p ]A-MՋhvG"uIBm5_?& RcU0U8B*:3򒂌KdM՞s+24):X#a>.&B՞LF %y^mRܧNH&[5i3?@q둭^/q~*2̦19à kv/kQ類p2ZR۝glpsڅrV"(}+<ypMU qO?CܱPyn%sΛ:CddIzB) wAр̋s"w/M-G.-F1'Nz.0hch<@c}K4iżsHUV\V2 %Śƽ;h]( w_Xm_"ΖlS-:Zf8-ls@M%Θt?.-K!*: -+3a"ǜknqXf طʎзZ$߈R~eM6Q댩63͎BU$S ԡ9RkF#Ab>JmRJ6gJQ"k\|PY)ܖH-,U=c*U 6Y -R*‡*n}3 "l$Qٻb*|'??ҪP|KP7ʭ5a{,u{nJO ;lm D]Xc9c=(p`L?K`Rez D~ov EʫIt$(׉rb]M'*TM_%{,{\df<}e\xܬtS ^U*U_>= TvO)zB8E0ƜZ;{hp=njٔ20N@sh1Dp` d<!)cc }Ԕ اJ$?h׭UAm<픧oYfɎ]gG+Rk??\Έ 5;@+;TlF ,ǁYy-'6W V*Ww lf4q cC3s#2⩼wy4wR@ W `!(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~t~m4IptyEBcMjα|Njlc2x4ygxcAƬc6k9qd'hLbq6mDzPbUB M߃0ۈ¤?+ǖQ-V݄@M;b/8=/S:擳 ^L˦\-PC5cz bh8ɹ (3  $*sO8 &ͳ2}*p5Q%4藢ר :E2=-Z6F5TauΧt%zCdaɓ!{Fԏ.d q>%.liI cq]]_)Hnz_mSrm{ٺjF _4}G^f J*O:eIu^-ɐУ_) LC?vp7xaՄԢ+pF *=T@JSlg2}z9!sWà|{eOhAQ=Y7%sC)`U35Z xChsܾg['퍇Ȧ1 qޢ=U%o;2AKCTfF|EQ9BMJ(Ky~ L [K9=2%ʻwWCu^i"rPgZo֦*rl'FWi6%Wĵ#`ٔPyzji+>3(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*RscXxX^,m^`Ե9zB%~DQc԰ Xϴg8ITCa"UP j&~]An:8mQo$21'؞gϴε{ Ap/J2n+{q̯`+{EPXl"^صn:I^3^BrW Hɷȉ.) Kl0NW</tI3Mc]ҠZP7M3V~;SdʔSF(y%Oڿ<Ծ[iwU (=!}Khm'oydxz[x_QZ᩺tݍ>>v142 Df1GևU!PihMhZg7O~K6b8L4ªڂZ;qFv#FL&NHRkY;S#=\2z. $SY9ݢ=aEZ'PٖHǧe9ljG[n3ݭB!21kIsSe~cs7!,iP9B`A&r W cGGN峞TMЙq5˫/C{`-k fj,G!jנJq>N[J3煿w K?ss[`;z; ! 1k@KTncLBo-zcћi$pψT~o$o"^ݘN6Ggr:*w#OJ`K  )x-a,~vJZ:G62$/ۺM3J&;CC;f jnh?)zv*qkmznIܾpRF[#Ԇ&zjZ"fC@F!911P"`8G#C$ŞGak:qD̒ykǬİ5 dӶ$FJht4(Dj)WAQg5Z) aJg@)(#+Tl{ ?9>=TdYT(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s)3Ì ݫ+s{W,sb2>H $(z(?fџ2ʧT'k*cin/3sc-Vv2+"QzWn{L7;i۶Μ.lS !}1 ā @w4zaj +1-Qjq+ffY;+v?1Tk)gr;$`Gݼ475鏨Ԝm+ę9뤖b>OܘN)[(spNOeeC/s0ac!:InBܹ ĀsPXO aousLDuM6cUh\ad?cd [m4m%HOHE&bXr]2 QL|G>-s嶂Ń5߽:-W̆!$^3 :qfXg+\++N s}~]܀'(N|2%9EïpIT#qurVzUC+0zkcR]f2HȚ9)_HdWc+ jإo"_θyv[OL=rFȘ]7mQ?%$w@yp,EZЄ_@B~eTņ: +Ιu tnX ߲@ 'N37*9Q{kġ:^*]X|zlN 7gH*s2ĦnbbGV^q&izj7BsG7^U+5 k|=o׼`z!!'pnl裧Ae)sM@ux*63ma8y )_Z5Gk(GgYZ  L(7K9 tHOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFsetIdocument/TreeFsetI.tex7zXZִF! ]A-MՋhvG"uIBm5r$yILWYvf MLAѦ+;MëDcE0T;Z>mTkI*=`Bۋz@=A4 Ize4RX |8ycs[YXй / +Rq3wv"+HYB(`^J/Y `t0KuSO"XRV"Ԏpimu6ڛIjP+T<:<ҳ jgxn|_Nbk;؉ǕLR%iA`6vB;8pZ}sED d4ȇ )n_9f`$2h%AOuDŽkr] w4C*gXTzGh\yC([\q0(7zAs ?MwΓg}C}z|mþL{W~7A:ט𩕈Ml5@ޅ 6zha婽VOބm#K frQ?SLU_>܋[Ȣg4(bt/kD酘&(87x]A*rZ]<"Nb;vDk:gg!B&D܉>Q}0h.lʘlW㻳(DeG ""~vaH3Δڇ_jH,"l%Ke o'&DЫ}ξJŞĆZM]X blR% #¾(` &7NVnV!i'A8M8-QCnILO!B~FM:GY=AY:)R 32{̅WǏn1mbMˉh@_WC\IDÃKؕu `^=n<)2dJ4p.*M#wrrys5pyɐ6Eq 1W0i4{^/gpIy;ȪgYZ1&7E5 THOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFIdocument/TreeFI.html7zXZִF! ,$]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~t~m4 euDP`bsBYa 2X}`>: =IZ˭*ɴeeq'gޗ}KPӗz.\ܡMT½%CFl?NO0 @dvf䣊(HD֘9 H5"vĵ[=kT]JmmWJUV]`AXt<`sT Qƺ hhW8+ 1yEF"ț !B-U$-?5Ty6pU~ﹱ]%z(܇WVfon,zKH{;@:b$t1aȧ\Qge$N4bxSSG}O<{$9 b&”-Hh?H51d*X@abZFYO$1tT43fo>%p~ 2;4"W֥epp v[SFiJ]0{ (YJ{+S j.I+ {e4 "a`jYD:RH^=I-vjpAy2@B9qAWmm܂>0H<D%\Q~2X&k4%s.\] ٻ )zSSCl6`Ђ+n rOnNn%v%+!K1AjXI nE c;K|5-M@5v~f˛xTڑn9J>M0Vګ8 ]lj8ۈȮPJ=q(2(cfn[YyRHs\VAնglޜCrylB,C/?" 1U||ʭMt+xyvpT"{edz[)%~: 4gɻj- ?DbUR.pr`5G|Q`#u<2GmBIdI@8QyLZ!yu} d=P\F= Y6VgYZ   *7E3 4HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFIdocument/TreeFI.tex7zXZִF! $]A-MՋhvG"uIBm5r$yez1lA{%O bCx -l^_4/ejxPҟ9YՖ1TF=F#%h#F-*߰㧕 R82Fo־bMثh!l,!tw bu\3mT_ywtTo "#/4|y|J+g;tutP-ݑ<,k}i`I䄧a-tZ^eŊKCfE{YbxP Fz%9_0ō9+ƜH,v%w  tED`/}ӚJt&)nr(G'$̹tY~aP|?T+&l̘!glbXu+OD!߁=ٓHN 7g2qi"Ef*M}MXA}q , Q9d̏^'pO*D,DGVi3 & yHY0l7daIA0DiFlj~Q1]<,ұDАڎzľZ--woP8?*; MU=q DfYdNF3@A#ቀ-oMGÁp3@Uu{8ՓYE{OWAbNl+w+rvxldy—{4EDn{rD<+2MM䤵?? wIZ&֍ZAA""^s !+Cy#c5^]@0f=ھ`j8'`mS&<;DǤbfk):"(œL~ʻo&`Q(9OKh]XD_ زu+sc[E"3.'=+o@3x}2"k$=mq^X(aIiwDY^%2&F9Na6 2CJM |ƕr>ԕoFO$M- 1ok: g.\zUk0.( ӈ+&"WxX.`OkPYRpi G͉9ÄC4.R)[_E1psdtJv2qH%cd/ e/e^\,[$ȃ%g Oɲ"A~rG{"IA$)7獗s W/Q=TXf?=`RJBE"EMxQkK/W, H3*/gYZ)7O= |HOL-Datatype_ExamplesHOL-Datatype_Examples.Lambda_Termdocument/Lambda_Term.tex7zXZִF! &Iw]A-MՋhvG"uIBm5*o$ſm^>~kn*o@_Ga0Bڗ-69@T|e[[l4mxaBRqR4ERW4|MtykI$QȲ yԭg&ڼwj(]}{k?A_TjȹS$!0]~>v^r-u%=R-[Ӂ3\Bܿ&NJyFE_임4S^BF~AǹF3ѣ^}L(DWoUUunJd'hBZ0p嘊0Prnwm5m|3cr3%1a( (ɵq*h|+ND v6; ʎ W,sT~ fWdWi:dcb : DĽlhȀO-r:+%JŲ@\9#({wqדjF) ЌΉބ;֨7͏TÝǎGw3GҍM4LΕw7#͊(Z9J-tp& Lo) 6`Z "fH^y@0K*6UTt& 20;d9bL*FTj"704"IXDL9 굹w<8`gQ P'x%+ ~Hr>{MFiBo);XfɞzMqGEtc+i>%3f=qaSMAҰ0qy\oBve( hZ>]@r6My͇Z*Ňp] 6YAM$)o^exfF 7Rm20l mxM h襥44Fs[_di(PU5BXcX(m>[e#,i6i cg#h7a~HVYìSnkIsh^LyUQg$/# H>W5!`dN.kUĕNKM[ˆ}X/ڽ0 CJ # LOgYZ h YhC, 7K9 lHOL-Datatype_ExamplesHOL-Datatype_Examples.Gram_Langdocument/Gram_Lang.tex7zXZִF! P]A-MՋhvG"uIBm598<Fp[ԏ07iDC;mQ_ R3<56H[n"o4:S;4+/D69 6-UTIm<;17~HpttWfϓHIxGNLx07zOtT!\Hk`{?;vKAUH noDZv>aij#*W^!Gz9JLGٟQicY6X6r z\oJPM,W87X ofn.̉'?aLNDڠ_?v?hm3ϴþJ0$+7E3 Y୞9$T l? jzV TfΕUuϖYf* 5BB0.`HnNy@0SS@e`8oEs. `K `ɖZo+ra0֡P3",YTݮɣ 鍔O:[~evקY'3sCRqOM$E;nߧ}OCMXB#ӄ&x賚'idi&JD\ێm׃j2({;$b[tzهp) }@' UP"wz~|ki3tEc6-$**m^^DNUkE~+A~2X旊%v FWH"%=h74x-"6NϼI 0H߻8AQ 'FV , Տu64^Ù\* )FOΉ&[N{)v6֛}^F*DGF R–5ܬ|{/i> yJ"]hˍ;=69VEo!W9`: DF2( i,[ mOQ"u0(gtjSDlRw@T>Vf&)qխe#9b3&1O,w. M̰>S]S:B9(,6$ BpGnc3X (~0T$QH PGvp5V`ZP*:1u.R}`Ѡ^AԪ~6EL`GZӕWuKֺBA1j|Vu?ee[ }y^/ c?K mrgYZ1Yju#РvN#ݒC:d;;@%ϩ}zZdh4Wn3ɛA63 ՀdsLX nl- Mr6:@e[NdMgl)sR}Z@YX;4䋘!~0)3izѹʈK,tEVA!ij൏| N *7#T@ԧ/i^XĐgmQr Т* 纪 w-Тwug:񰕱8 D}]p{vP˗g $w$GDN?Q膬C2GwtEs\"kI ^"9H2CG#u?yZLֶjDUٽ 'Q B]#9)Ɣv/*6i1?ЪEk3g[Egw{m[? 5? 'Y+YWcߋ<곞@%X?v>!6UȢ64*=0O[_sH]4V g?@~'^HdZ$ܲa2qHDR2M>,HO)%9:`XH;>{\Ȓ k&{GXÙ}zrVut>geZ"Y(ʺJ ز>Y,VżjHtL+([3 `O(uE7bTE(|k&}\ tMKR$JNjl彉r qPq fIH)[x)\Z$/;{ᓬ'F|hBT"=& "'Eq)z!QYe_ўR(J^:WF#6;IjTyp QHhtlX:;b5 lSb0M9|+SmufN9t祔4(aƻ8+| |&:@ǻ-b/0qHvOyv9ۈaӐ謯Q|G3;(hZЏȇurl/ZRk^( m?+![Jvdmox;L@-!yP8r<6_wi`{ VkbFu/w )mZĚD+:\u0RQ2-YJSjd<"-Qޤ]ďQY]e5mG"SQ}Zxryx]|2cFmgq#av$bd.@'[cU۞2KE놾 rg4 Cq!)4W#c [CFgFЭN[FϝM@(\hL+hxlR+Mo7vƀdnʗ uk2ëlF Έe=/UgM'z 7Gps(,V$6nJZ<>~v鸡lۈǽT~,o|Ԟyt\ZG=g|<,6[51~<;yH'P#=?i~aᐷ%+Ӂ6YE`;rS&=iYy7DIAV\Q$6:#iث kT큗@{jj ͈L)s`š)z@ ̀˚th!} ?@|гCUVMy^YҨ:,_'|J$]@XA)). 8:_N>J]urُ3)iQv=mzǦљN/j}ycľ'y.RyĻ8-cZ(겿mN_UL4kx^-q["V#?rX x$f_8\V[sY dEpsѲy P@lޔɃCUW:o&MՠI_#.tw,.ŠN.$]67F]Կ1uD~ڢ3tP渏o4x2 ~3gi k=" +!(wba$/kG,bIפ'gs0kUV;|0f'vn: '9]F kh>1B>_ @dH v'=$-𬘎KE +)խ RյNE~@Y(+#j?/K0 Wz :xldѶ9v)y<<ܵwhV$(]p2O@sN%x!O؈S[zc!*?(Tft; \U>]QQs|'rKWL<' [N041܅C])B0E6u˿JѤXNZ*_!KNI;h%f6s y _0^$ϳ%1'\H""* jp1X *I?nȮ"x&3 k2w{c^(JɜwU_FZ>~Z`)rw=<tJ:GIz" sȆDT3Qկ\AJ#߲m67 }XDj@ǾCp);c̷oOI)ZO9U)1f$`yy#VVnݞJ=1Q2V0h\MろW5`]X}QxD,*C}26DZxu=;|-؄yn?.&_Fw4 RֶGy=0|Rz`06M>E_x8mbE7FѺ뱎{rƂaqK5p&I>F8k)9@HZ Bjr1bbZIyG)vB*܎Η7S#u9Vu~bǘ-y6ܘW*i5[CSI Bno19 O`ۻ;WZohs/s Qf cbW7 r)x =.=+˱ *s ky^kEJ7Ŕ<57A9$lxmZ颕|C`#\)^!˼)zEGNU)9%EǏ# rwͱT"~$d(  #{~.TY%Qiz,Pc(GLs Bic!uRZX|7McY^Fc@KfmiOa>NQ &Fm(ZQͰ=̯ ?"|Ky ȡK^Ϛ2D@TtQ+L+ɩbIHpiF~˾Bv`KGWU[ OFw3&uz& '&U$>?c@a0;EM];w4>{x0s/\n[X]uHؒWI"7@f.<+=oYx_is涋Y`ͦl6v3~hû1} Z>vѬ_!S:Ar+e%ql8ѣ(wT5>g 7:Lgx"6UY"6]_?Ï%ΑjsmІ~|.DR8s,QDZ=p[L*nHMuD@8@UiSsN7md h\xVDYw2^p }b9?~횱$ C/ L|̊˥+ivChPPmeiqٚbn&RLh`՘PpoL}#t z2rQ9K굠WtO0Jd:F[5 EL)ZTL+.OO/yE^ G/I=mc$=o+|1C@_J)8,xA;sb V~ H+-Y#rI꿫 vrM Xb|H :*.-J 8S'YGh";4gւڬݰ1 b.'5M!Bt)XC)|6Y-'S1&3%3NQ3$ԹY_L~QGجP2zkZMd+Ѽݣ[F}{\d6*Ow\w/L>٤(4ZiɏT, ,Q-;xG"]D޴o=|"[RrmhŠC_;'Yܜ~0C!`dŤ; N;dTڂ.:'m0ybKw aU ]0ymX (E/xyəC|P-Tf?te٤[,iʬb)&à,jaQ1(h,`atoy[ܰ+&t;w\h%+)lu4Ԭ %p7qr~{g8@m&7>ⴽLxL4Y!ί+X-%|شxu"H p|i+~<^[K;(d@N:xTٗuM4YdU %?:+I$Qeytk4X0`D9nV4Xe)k\/ 0c4h#Y^`Y?{𳷔^; ֍?8vQwiΐCbE?49i[ky{Ȣ\|#GA5eԂP~GZ["s E)-}^70[qmLp?ծ lEJ}p7;~ W'ti͵ vN{#԰r$;@ٺG1p|۔r].(,X. }T-j}~Zؖ@tѫXD8n-Bh( ࣑(U6τ3(*/ڹ )ͪucXò >3bBŷnuҤ<"ŦR NP{?BR4Łm&m@\~G :@yS0S^n]˶mkx3`=qŽmFK-D6(,E)4r`WiôMb `{Y5т$b{P}[^H1>9w6ꝋE#3k䳮C].'9[%klAM@gp WYK0C.,? сJ({HDΠj(mI4|?%}Edv481-lVab Q34ߣk(94Dc'މ ݏ/!FLP!SNø i d Y?ħҁLYJ|\ҐhTjivd< X%n~h~ DPTDu=*?TnnqL "!O 3ra4sd{5AŔX \WLXN!+"z7P&;}cg b۸ 'pמ-$.{ l\sMsXϣmGMB*vv.Qx}lՅrG5Fu%$ϲ_1&!W ɳ* ;]$Y 5CYwOܹ9d^%C>v /!g]ê(V:hœ26pX? k&k]0*2m ĐЛR3<+\bCÍ̕n{w3jEIT!~[Ѩy'<[1|m $wny,rS璊k_ zdAN \+Lez\nGy%)#_4R~#775j,ej/€J>9%_$_JsV4ɀ.Y]ӄEʁy[8u.*ٲOS#>kF4%N-K!7:R,γRSe٤#\!Dɿ+S'6OyV1&%[ۈx n߾n莛iC5ƭ\=k%INYŅ-{a_cYۉ"m0E:s0ȣ9@7P^˯sdl IDzniphdGvЗo$6'^) iQAT!e2RN +]E\=oR>i{,p$kOnhG%zWa|u̔=zL8.*=Q- $:|5׌>9p.Lk#SKvXGu8QӝLDR7 .S.Nuaޛ-H^= ENUcTQA-Gq_!l6#| 2A&sF$(!u/jRKi5 Ѹlͥɖ@R]LsD$aI>Y[ȋxؕ\bbj$!B7 y/?L`zfvեO;3'lK8lH.Ɂ;u,g LLhook ŧG\Zȩ NJpHZ+{ߧnԪiڌ#?ɥ:ξGGⓅU؍lЀ-G6e٭DAF8K'i+t@|emu5Bxj?+v :Ȭd FEڔiA?Ԝ"$U#z87v*97Qb|к5F6G4Wz계Og%bp%D2SwB04ZK+2BAP}"5WqaݹOpu?Ln1Zh$şNz$W8Ö,9#Y-[gCDߐB7FD, x0RSHWB)ڲZ;hǽV0Խ>ci[ۘ>m"j1dZ(mM8~lt∱xWSuF5K{]{0?9= ?[TQ&J;㪓"tMVb퀡@-)̚T?Vר1OBPƯۙco?Б-ETmɮyG={vd4b]L6˨j s=l!!'ݎ} A{Ľl&Z%{ל4J256'e\T w/s)!@߄5V%o aU2hm}h[3}e6mօzwNJ !%o`hu;+q?dPPir(߶PF 8d:2)p=[sw8 ֣MZ1gz"]~Y$e[Ɛl+Ab=#)9{Fkc.ųᬤea;>xyMM^rP]՞%ƈ=  T *Å rگ$ɬ׳#sl5U"v8!KG/&_~DGhbO(6n#nʡ^]!cS+g[iaiƖHKwYt!hR,=&6ɑ G) ȰX+S-b7 |s) q@fN^%xDAx/!l?uBF)g~ТxS)X|*qr: yڙpo/9lY)..i,}bycB!=="S2Z7-ӤF|61jUOT~tV]2$c|B'nWFI檂S"b^μs>KՔX׶0 kr`^AmЙF)8Ƌv5X8IfS=["֛F,:oP"~6ZL6y-.f6! X...07ʜrY#\: u "{ SwEL%9}v]ˣ6$E7 6vĕpN,`w6,.z &#@RWuc/D$)޾ z5ǗayCůEQ reLA.f43YBg.BZKX>k*`H`tpwIh`Hg$n#nA >7׳4P- ]P徐m9Hˋ̘_ ;AmI45-Wj~jb5RkR`/(+ЍqK8W?tJ9 uq:R-z ET EJC_1.X:,õ ;IpM'LMl0b)W@a'IDMgނ`Qi*!ZN?=Mˣׄ𷍵eQ-k] PŰNs s? GkRot?K!duޘF^?m45tM#^<HsH|}Fk϶ɟfK!2=I_).0aVsOau8LA?wdN_C}8T}';m;}  XҜu^s. TD`[~YJbkP %K}j0jr#;_Q+m*pF,~=BqjMgKdR(~FMܼke1?N @Vݷl}g6*m #_IvRb(КWfu?W@%N^2Un,Ot_DTz  Gõ.JYv-?Pe"`ukU%hEj0 VD7놻4?uꂩI$ejO#g;QqAVOqBhp(;Pt>GIl,pyś{Ґa|an(W28*L:_aq@gf| E{!:ϯ]uSkL9 YEvν_ MkC|_=@MʏCQ۬F0xd}*s?cW ,LYDRQ: bqׄRoc$Q'hM: $MMYkɝ7UӰ^Q^_mkZ Lwca}emGDlo2L}Fth5E`,D^TӖTaCU _7o?ǥJ]iK= % N|{쯡(QSY^HP.g) PZF#Qe}e4WR]X  S5d "$E_` &DF[pP* V>r+\wBlg.m[˜T3tWV-% !M0=Q! VE%x8 t EJ6"(G hDkbm\S(9(S Jt@3x5[;|=\Sd" ȒӅ#!<Qh$醼2Hxn"ŏ3{?v\7Lzۘ,U)!˕8 AƵ h=֝M׍Nk/bjvizW:gաJD$>Dvh4)0f2x mXge'ۂ8G7Ѭ: U_Ҹ8W :,b>!QtfB"-tE (4Y~Q.w%| a(E HOy&ЍO/4}5=S&F)TRǿo W4#$Z.p^nA0SzJĻ90)5xlb5GABHZt֮(_dvE[~oG u">(n ]*rRH0esW:]9\0nu9`!ZecF˺6hӾyDk7ouV~ *2e@2Ȗ`J$GǯT!@JG~X^NOaWwWAhn7EϒȾJ`ői+]]3@^1j?o\gz=t+x[kP\VjOOYS!qvteOß)J(D( ZL}:J$7vQ:؍U]Iטla2܁tS m[K", 0Ɗ'#J}D  P;Rp3kD c+=CYD`ό.Οsf" $ם2V. npPT3if<(.0*$ZAfE !py@~ pHQ~ZY9RPS$ Ut̘[&V?~!vv|h;_bφsIz.ӄ tQMZԢbP ;UX4vrd>i~`"wx hWwZeI Hd9#(bR5/ ((nOmI1쥴B"$(v˦Cxt]7x9E+$h=@hO7s]!x`{Ϩ0vHH0C:> ~kl[s@.wrVƝx0| Wj3Ud-@*Ҿ4g۹=bpTCF݋j?C>"*мETmi@Vt WI*Ru=Yj2>\)#|֦jnu%`ӘCb-<5\-k<>UnPެ'ڙ'^ YGɞ0]9I/IY-Kq{6/?Uʕ?Q4u:-o&Wی&_|fM T[D'؃#i Z1ۑ)@YoئNuWZ| U< ]S=7Cx3[՚\: 9FD,YOJ]EχdwXX\1#Љ狓]cDadlL d0-R4[SB %.HT| qj-qe,*\CR[NMϵX5G5){g=;Ͱ}8u3~L!}1KpijjC{+OR\: ܛ܀:.((FW8dN~.$] A 8^{\J`(:{݁U.V|QE*ᅠ\"4O$d&(y!3dV(@E%<ы^Ir`;CCTsq~pOfuێ?O@/\$b.Ր(抂7Gd)M7j&u!xex}|.b!z*}WQ}=|y2f"&Vkcp. >"BSjB@8Vjj8]-K$Gتr 2zu5ƙ(CDu^vi"zٝ"U$K+`b.`3UFCT;<)-KXU'*7N[B:;F)4+RTڙ{|(3_x@:eR|5̮*fHmn8m&B GX?%Ǯ-x@gr:gk}6˄.`:;1\Jq!aضu)cuf-6 X1FrǴI@Qx~(ZPrnfj}zC9B)PgR#l"%F堒83V4Q *''N@Wa_z*<2|K{̿ P03/r?ARnU]Ưcbk\Х#qr(6Ms@VeֱֆѢ qqGփ8tu+= [҃~ Ulށ-n'˧y.,vN>$K%7S$"${tGj1(S_ 8"vbFw~"4𫙰EO+} ZZɎ‘4 *$TGwUvHBm|M Ws(6Rmao~|`?16BF&eƔkg'|'@k燹 睦]@LE64[ K³0x xnO(Wޢ;-C<1$-k[ 7t 2yUVAQ=={G5XM%Rv1.&+o{*kX!hT둌=L=ȏ|πJ0&r=%w HT KC=ְU+']{g5tY!kXoZ2:T)c!LF.ѱߦZE($)yPGJt^LD{m XfL)'R.im߰`g:P e\M{5+yoMa YP_@RdE+,+`[{-õIQ4? bkg>JC=[9?)z>!^ȸb}z\6UUaJˈʁ2VBB/r ,}i\K S Y(b>bqXI$3(Ie>-HVHA|>,;n*%p p56X`T/W2hA gZ+jn/uFPކ)-A4c4L _HSJ ͚"spIC&=*AX}N̼A@jFʱCؼY,2{\V]2 ?B)2Ҹ1v3?~vyn?}d{l]LL$.,mncCFYRct_8DM]d!th!4xdzV{h}**_VN eP>EP%GdvSwB!xS5B:%nn'FH8Amr[5Ԫ1c "fN oL ta v`v#P˯\psp\(?ʫIjšG6bШw$g7k4&Fx۠F 1fї(K9+";fLgз9nAh k3)LYAiEױhK?o(SᚉK%5/AV BcKq:Ũt=!5sO ~ļ8~ BIpQy*hU{ g1]I8{K_p.g;gP .`T/ 8?CpNMsʩ!03>:38kG.W' <{:od)Yҳ-kTG6rSoD.|P7)euW}((MRFVBCGgE*Գd):+H]_r<7G#C/Pѷ3yZVIN jNPF aL=4$p&ØxmN~b՘Ky:<[[M?SCԟf{:$ 믛h=GZ+6aTjcO<W-0ͿZ{%*˓8 71ď.}$E !z([j gYZ7zXZִF! %L]ŗXi%LāF9'* V5oX9W^^?A$[#nGۨ; Rӳ쫿ʅ9h4f+! n wg-zQsь1*&!m ,:&۾=*y v]du\3V\2k c쯘Tzak8P1J9Zm-h>~4E]ОYStĖDXѪǯJ=mFw ""EJ^n2%lUq-|`7.~q:?aPD]P$e 7ZW}.j+BrNhׅCzXY #. <+u U:5\nDL[ L[T;F) & ѧT`B]W!J43#zVϩ:JU˒By[y%ޞ-[8y0uFቔk,m"9kjRA) cF w&\5GBVL r6+*ɹp$X9}y%`F }#0 ΚteC%q%?]H $7`"F@ŮVnE>p Bލ^L?7*-Ld`B~p QػYΛ57jaffix.\a#R`Ur |5U?==G.#fas@;IsqV/#wU'5LB"]hQsN(^qe*ŏ*Ę#נ OsQa9{#h+BY~Xs<% ۍhF&^ְUW~c½&{nj验@gƎCWPŋB]X~PiռϮtDҕ =c0[$6 -`5Jrk*~:l0IV>^O Qw]Z˭rw;h|-5ըo %V.Ѕ]ВaIUF8#;Hݴ*(Dn 5Wo#f~V(. mBTI1z9Τ<-DBe;WBb-`Z2Ž}W QHSCUbܚ4iG!CgMw~Œ };\;Vxs?|ZDAֶD*F46rf}!_ʑ[kB1zx ӷt LVi!VxlLOao`ˀfYZ%1]}`m5d[4`,t) BC? V&6_o?[0჎DIy5<$g۝ g:]ͷ"%Ed6EӜ qYؗPm%!l=8TgʙcҕueFJ=_B@Y ]SW(ΗB7l>O_ge헑|9/gWC^MMAp"@=I^VLxH9#Aë(lE*5Yeͫol "ڬ'ѩh{ >|Xx *)P XFۭvGř̳èE}2slSJ84W['ϮM'j:)L?vq4I< EѺP4Ȑ,ZoON%&< dX?q?@Ʌ(ߵ\&p}VI-/= (Eq{#VFÍB ࿉Xa\齇҅?OEXU15'vIf$uG1,gy18(7pez~^h#gtsNަEV:Qb )d5,tmEL& !elӑ^iQ0 9Ěc ?=y si ])u|Vv~*3VjN4n/[s߶śwxyߊ24!pᝀUp_"l4 6_ݑ#ZW"9lW*^ NU+]jwjJ COA:臣?Ũ'Vuj5)O 蛲jb~wsbv 9vO@ư@@ɽ-ZLI|v6MR> &0]}B/=1H1tÙǫ j\%#+ّ`FZiz<{0.^ $ fNh&v'hH.yבe* ^dT}mCsNu/#B}"|7H.KGnob(Ltd9O󣷓ڊO%#$k-i.FP/ MNۣmjfay eq@:(e(Cg9s>ƳS@RyJ!1~q"/d݆0b.C#&c Qj,yp{hDDzF8x ie N}ܖr#іvZoQn.~A)|Eu?I9_&ڌkYCGX.#y_As|D~%o7{#p*T 5oŸA d G6LͶAR+i x\Ó 9ɤq?uk VUBRD\(\j'Ј]ci(~$T2N_/$9#v%@ i2NKݤ4샙[s̓YGaIb>f7~KM\HDjm;c"^!4I,IO+E[ 7sgH<==-@X.`kq b_QM8 هobΦ|PR†|TO}z|#191O΢`7t~[1]ϸf\C7IA`sW@7c-'C1e٬{k.0ZqRJgA*/:FX9׮?C$ T!-vaGK1(ttS{kTIgwus]Q:׋{ Kڠci#1~i#1$Ԇ2qXDqgV|mI5U!"5/Wc_1WrF0_t{B:8h9-tզ{ٵ՛!k_!0 p+D c\7p2+5) =A+{;zD?xDv9.gmN{THR豌3SNf8S"oމ1̝9##us9˛}"2 U3:@gw0$re"6Fƨ{qm9E) # - Trw" RmM %'_k+omnIgXTˢ2v*O&+ӺC-+L#V)5u?2ؘֆȽtTߨ_oCv0LޝXlHB^o!Y.jF2CEC4ڛS]-t1zupoo8tMop}FR yFG=gS-}(ith͘] j]IAH D?~[E0 cF3 >ll[[]~AlJ;krl<{MSYpJwgόoet[Ɔ$ϕ?+@D#c`Vr7DY*/$P' fUN i Lx6I]?J*&G'_cvZ\w_.Cp73)]зW:4K:g0e%)e]}XoE[;8`|sRXnodo#@ s#({o=dcYEAӻ@FrW_{]HvnE\j /2ZRc"Wn4Ӿ\yNa/Baz[\G`ox]5E77a>w( Q'_&|λ7ɺ,\-@;J@A&T#V:}Uɮ4oө>?)l ϕ&,ul,3XyVEw~D䤨ośpkMx}RLF+64oLoe~1+ٝYe+ʂʱ${ OL#w#Do9}q^FyVl8e@MG W5,r5/^Ԛ/gxR+8RΈb-.:a0FCdrFK%kZzq3 Ґe ܈gCTAh~Jv-M9Qqֳ'/CF2uUK*K}mH*2_L'H=H+e!UC?MIQxđwX`eǗ@M%U|3!ّnWs(L#Knh~YTՕ$Wk#xy>aPk@u@)(q}٢nF1C RGP` @)+22 ǮZS8:3Cx6qaLACq#x-Zo-6^KTob&%x79ehSbM!K*niy_ BufJuTŹGAZ<:72'@K4Y ý|& DRm%L">c-'<4l chyRRM6٘rݦeና}Ϳ}a\èsMҞ9e@St2VubsRx~w )PmEgg4!ĘIɳ2|P\Vt\?т ruiP)'.FÁKQ;[zUƅGJs)؉s[rNFkP&jlL ,f7020~a0&+LZ/U/IJaR,`%,R>9l $Lqr:kn>֥Colj>b"(+WfM=lȴӼV~ʔDH_yQש mKxUe^ʼZZ7M]\$eÔ'(+,9N,U 0s;Bۄ~1>Ix)CTmVN𒖽jMGfG~->Z}dIE 3[IkE?0$ zg*EC9 a=|_"͗ C#)RlK.\8kWHg =n\_PX2H7B r邿c4`%YGc:6p#CA,li܄z>lvUJ)` ռ)<~6yYn]~SZb