SQLite format 3@ >.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 yyg7zd ] HOL-Datatype_Examples:threads=4elapsed=231.227cpu=594.800gc=97.5847zXZִF! * ;]ŗXiɟD".~MKU).|+dr[X9qɡNm߮\|K^bx.6 Iuva"G>s&W;O>cuX''>̡![MI.e7z z x6nb6][I԰ct`Cu|BSHDZYg#l|ѵ˃T3Qﴓ0Jᄺ4חM&۽f@ovMX1E}jd~!& ӥ/=}x _e<}Gkk%Ɨ}H0gzfM:q Wɬ}8Tj-.wI"@?e?vsٰ *xDy$2+r b˜DRhj 8ul?ZbO2Uh[K1U ǩW`[ "[$Z/-nut 9Z,u#>pW%3J [!H lI|'Th&|pμ;m簁~X+Lx2*H<)u jݰ?Tn-8 ʹҢG=w^TmQ(V糇r9WTAYY#d2IR8W&d]gFDNi*n}٨*AI l콉޷/@o Aa>D1qieI{ģV=^`dh:'ز|LP>s}FVf$ Eߖ݂"ꝩ H~_' MU{GZIkm| oi)^+gQeas@whH; .i4%hNL:Y|l/@2CB{wޑd.Aa8T5j^82MN2/>WJe V]#<̕ZB/!A9iiL^X֋Io}EȠU5.xHf$=ښP4v!:ǔhg-TafO5 Zmѧ*@DeTm4l#|6uN4a]?iyc`e0iB3n]5N(Fcm_9&XK#_F4<}<-0ҟFWE پi~ ҕߑ+o-bPUqzU4Bui SںNc8Z濔5/[=+c> |*tx('w5dGMm>W[ʰqàur&8L<_bDIPS?Bn0`ոʍQr'yԚظytf4Y)NlpmT^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 7I7 HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFdocument/Lift_BNF.tex7zXZִF! dg]A-MՋhvG"uIBm5#2O X`9; w68 awN'g+WN :͋\GjxU7- EEJ;ӄa߉ЁƠ?{p(=i.]d]&rQ_ x/;ocl+'WP80=5ʘϛ=DvwcClf2[(L}t탓"/)` 1pFU ~ˑ:bk5i/Skb񅂐p)MBXw,ߤ/߯~ 8 p`MC}F{Ii'Kd"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?[.7>4=3;27/3.0--,++(*&)$("&!%$#"!      1  i X~9 E Gv+  =  _ [ B n \#Vg bB7E#HOL-Datatype_ExamplesHOL-Datatype_Examples.PrelimPIDE/markup3D7E'HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListPIDE/messages2B7E#HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListPIDE/markup1D7E'HOL-Datatype_ExamplesHOL-Datatype_Examples.KoenigPIDE/messages0B7E#HOL-Datatype_ExamplesHOL-Datatype_Examples.KoenigPIDE/markup/M7W'HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_CodatatypePIDE/messages.K7W#HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_CodatatypePIDE/markup-J7Q'HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_PrimrecPIDE/messages,H7Q#HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_PrimrecPIDE/markup+R7a'HOL-Datatype_ExamplesHOL-Datatype_Examples.Parallel_CompositionPIDE/messages*P7a#HOL-Datatype_ExamplesHOL-Datatype_Examples.Parallel_CompositionPIDE/markup)L7U'HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_PrimcorecPIDE/messages(J7U#HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_PrimcorecPIDE/markup'J7Q'HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_ToftePIDE/messages&H7Q#HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_ToftePIDE/markup%K7S'HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_DatatypePIDE/messages$I7S#HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_DatatypePIDE/markup#D7E'HOL-Datatype_ExamplesHOL-Datatype_Examples.CompatPIDE/messages"B7E#HOL-Datatype_ExamplesHOL-Datatype_Examples.CompatPIDE/markup!E7G'HOL-Datatype_ExamplesHOL-Datatype_Examples.ProcessPIDE/messages C7G#HOL-Datatype_ExamplesHOL-Datatype_Examples.ProcessPIDE/markupN7Y'HOL-Datatype_ExamplesHOL-Datatype_Examples.Stream_ProcessorPIDE/messagesL7Y#HOL-Datatype_ExamplesHOL-Datatype_Examples.Stream_ProcessorPIDE/markupA7?'HOL-Datatype_ExamplesHOL-Datatype_Examples.LDLPIDE/messages?7?#HOL-Datatype_ExamplesHOL-Datatype_Examples.LDLPIDE/markupF7I'HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFPIDE/messagesD7I#HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFPIDE/markupP7K9HOL-Datatype_ExamplesHOL-Datatype_Examples.Gram_Langdocument/Gram_Lang.texP7K9HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFsetIdocument/TreeFsetI.texJ7E3HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFIdocument/TreeFI.texj7eSHOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Testsdocument/Datatype_Simproc_Tests.texH7C1HOL-Datatype_ExamplesHOL-Datatype_Examples.DTreedocument/DTree.texT7O=HOL-Datatype_ExamplesHOL-Datatype_Examples.Lambda_Termdocument/Lambda_Term.texT7O=HOL-Datatype_ExamplesHOL-Datatype_Examples.Cyclic_Listdocument/Cyclic_List.texJ7E3HOL-Datatype_ExamplesHOL-Datatype_Examples.Prelimdocument/Prelim.texJ7E3HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListdocument/TLList.texJ7E3HOL-Datatype_ExamplesHOL-Datatype_Examples.Koenigdocument/Koenig.tex\7WEHOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Codatatypedocument/Misc_Codatatype.texV7Q?HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Primrecdocument/Misc_Primrec.tex f7aOHOL-Datatype_ExamplesHOL-Datatype_Examples.Parallel_Compositiondocument/Parallel_Composition.tex T7e'HOL-Datatype_ExamplesHOL-Datatype_Examples.Free_Idempotent_MonoidPIDE/messages Z7UCHOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Primcorecdocument/Misc_Primcorec.tex V7Q?HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_Toftedocument/Milner_Tofte.tex X7SAHOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Datatypedocument/Misc_Datatype.texR7e#HOL-Datatype_ExamplesHOL-Datatype_Examples.Free_Idempotent_MonoidPIDE/markupJ7E3HOL-Datatype_ExamplesHOL-Datatype_Examples.Compatdocument/Compat.texL7G5HOL-Datatype_ExamplesHOL-Datatype_Examples.Processdocument/Process.tex^7YGHOL-Datatype_ExamplesHOL-Datatype_Examples.Stream_Processordocument/Stream_Processor.texD7?-HOL-Datatype_ExamplesHOL-Datatype_Examples.LDLdocument/LDL.texN7I7HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFdocument/Lift_BNF.texi7eS HOL0\7WEHOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Codatatypedocument/Misc_Codatatype.tex  RXX7\[U xR(RPL&\$Am 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̨+LygYZq%~1LժF{WI2u(c>|{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: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а'̽}30gYZm`3uDt09ThT DM4;%FbVAewOq43gʾjȀk2 'PDވ4ZW=__aXՉY8˨L>@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)`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 7I7 HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFdocument/Lift_BNF.tex7zXZִF! dg]A-MՋhvG"uIBm5#2O X`9; w68 awN'g+WN :͋\GjxU7- EEJ;ӄa߉ЁƠ?{p(=i.]d]&rQ_ x/;ocl+'WP80=5ʘϛ=DvwcClf2[(L}t탓"/)` 1pFU ~ˑ:bk5i/Skb񅂐p)MBXw,ߤ/߯~ 8 p`MC}F{Ii'Kd"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  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搰3X7YG |HOL-Datatype_ExamplesHOL-Datatype_Examples.Stream_Processordocument/Stream_Processor.tex7zXZִF! Χ]A-MՋhvG"uIBm5ȩBߛ0=_ޠ&h^c F dJXD|3֔iBOG|]2{gMqigpֹٰg܄RlUi$l퉓TL")aUY j"#J)бz_ɸ$%97q_'AsUԆn +0|B޽;Q']QT6] dVqnѫXX Pi튈]/aW"w9f=4 C roDJ&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 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;Jvr=}E}wġn%`ە\#S]?΅430TtVq՚wŌ6xW"N;?_NgOvmmi}Ff!Si 8~0zeo\ƮNt+6Db،]py,k/ 7&-h~Hk=JlG-JQB=k8 Q"T |(@62淞R9tB볃%xx%yugB]gHnwhrćpAq+ /XxO-ۉF_ X;!%LƩ=n3t 4QMft{;Lg\J*pirF>E혬 fK##s~:0-$扞:ݩB #QzDFĎ*(=7C$HYskƑɋHf@4>Gc2} |zoqUH(ëA1y~b.NXeؐVrv N2 v>ҹ5lMegh909<}6sEs͈z0\&|"$K] OgQkC"Or`dA_޶$. (+ZыER$?ΐbN"0{ s&xy]bj;e'ъJsI3wkHS9me aYoa#Mc ?PGk_ 7r:7427?gNoj )8t&G .tr##HP'Z꾛H0OP t1LͿKS6^_غ ĭr 0{T%Rp@,"5 TxÊ}}fWEs@X-soXNNI0 λ3I)^( W#<BNmc7հG5e9擓-}%.=܇oݔW7޺</)jmUB.O΋YIVW#:\=;/gu#8:qˈF|g>5He޾\9 3kˌ KšLy"8**:xZ'80R>)ĹˬtΡʑ??Pi Eu5iE٧;zǝ2 hfwċ'>aN- ׳>@Dv]v~@$"_d*CYI 0#_X-{Fvu6Wh{rY@=J JTI+&70_)&^P!ғ<ٔH\2fa\5X8I,(P=Ut1PsEC+e'M?Ol?r<njJ 0.ǧt}+-,sh/|"m=k5^r% L]>ܬx K)c$(𗋚1QGCP?nFX)FZ$ c@"f>G_iCSںaO8{ Ђ_H_۪|"7L*=QjⴉBH%iiKћ8I$_UcqpT:DL\;kvK ?umH݆'Qd,V}zjM\XfThHG 3pxܷ>+(J/C9=%沟X)Q2Uo R>n6;3pBC%FD]*vq>C0-K,8!"HAEfrNPt+a UDofRM){˦OJ6̅TJ5Na\WяeWi)nf3 l4& hSjFpբi^'nY;C/?"h^02O1R( b"vC>3QxΪ'- ɉpXU !L5E0x"ENҿ@`32c-½;D }fx1hXj c"]`s,Wm46ΒB.*[}s%+m@ޝ#'"ԕTB^^6t}'tXq>f#ԝ>{tN'S.l jeM-NyKpbc,dLoq\ZJϺz^gF%H&?kK!Ů\>^ {蚚:? Dk† %$`x8|3nDшӟˮ)}> YHce719ZEkgYZ ^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 H 7Q? 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 ,,& 7e' ,HOL-Datatype_ExamplesHOL-Datatype_Examples.Free_Idempotent_MonoidPIDE/messages7zXZִF!  ]·Iq n[:|&[z$V9  Nx8.kF;2dlwSuF|$8en}ݚr00KM~zd;%c&!,2𱏾L-Y!h~/TX ESث\]$j-.כ5:pTap%q-$ls,A !R٠2鷬޾b+۹Os]D[ax@S;1\ HexIֲƧ Q%AscY*V>N!-(._]rlO=6|$1ީ`'ZVsmw|ãoTƩY!te7W=iJ9RTkB9sV[[c`v 貣tňTQ̬j텷2j&[D"'>X!.& o#z tuch929Wi ya,v5kEy|ey4plRHsJc+`^t|G;WF/cP=Kwդr+Ily!iٰ0`%E]-_7V;Z]~ va9$smksU 2 +cSb4x)+G}gG[ACQf_v@k 4mL1=ۋ ŀ  Uu|J +=Dy'$a}|:׻=W5ߍk,2dŚD4Nz;"0Z|pMJUCpHA9m|u~ZjH 2C g !!zD2RĮZW_kA 8YYV9_[$ 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?$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 ` 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 {{7WE THOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Codatatypedocument/Misc_Codatatype.tex7zXZִF! ]A-MՋhvG"uIBm51FbhK#|Q}k@PYrvfH݋qhަU1d݅qoïD'6V5蹒3KߨzqV]j~RŬX, `\~Zjq3"LJ*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 55H7E3 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 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 `!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 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 mrgYZ  7C1 HOL-Datatype_ExamplesHOL-Datatype_Examples.DTreedocument/DTree.tex7zXZִF! H]A-MՋhvG"uIBm5Fp6N pS6@{"~ "h:Wu*h4!]w6e|RvS~C 4 '5_4c,d9H%` FvJOKք(.R5~Kl!EV!-hja J׿nW2c^Pk(שR]jMty  yV“8ws*e*^#tr0*5x$j`4H̀eμkLONз.NAbΊ'KŞih8tOYB& R;Pu&¸_Kjp]_v9(RoR0lֹ5ɺç<2| 2QLem򍂚jM٢c_M*aCS4^axħ0/BlPdÃ`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 8e1PRgYZ7O= |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  57K9 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"+[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*/gYZH7eS DHOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Testsdocument/Datatype_Simproc_Tests.tex7zXZִF! ]A-MՋhvG"uIBm5dΏ[9Cj>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;ȪgYZYju#Р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τ(*/ڹ )ͪ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̼ܐ\SrW*ER^Nk=oiK@@cX>s"h+dZIbߑ_<*&$e'hzvH Uk8m'1Ňx_x쁩eSdvbygq:%%t0x]wJTmGkLvs…1c@R=,vi-jIφNH94n|wSibrЭ>МbZTt|p)8)X ^_p53pJzCǑjy- |ԔBSjiqq$Mkx`TwϬAWMAkՍ=]/J0y5jAn?1quf++n[K.Z5f}211% Nx(NDaG:/C~ԥ^!ЖN2cLR%d6nI];z u]",ΒEpcvG*AVeOL;)%(w(S@wqm~P-uc>a(y߰VElNhI(7*1$iV4 [peM0E@胺h691‹M] SsO}glqh c+B=N̓ėp]xz(0-h$ EigO7-lDTc*Ml2 =f j׻O"A:((2PԟJ$)B(}+PʹA+%= yCȋ ovAm j ԩSr,V/ކֺ/fGL5z/ xwƶUT_mjh, mКiTO 'dždr}DPD#>sV}G^BWrQiۣ7LEC/1QLUA"{":1Z[-͋0K nR>*{-,[^-g&0v`p "0vdRk6܃$`S?ABзv3픴0txh&v?郂=A6 $y]#C{?a_WdZFӶ*S">HEqvw NSj}Eu+NDqR~w@IHm%ˊd¹;5 d`Е^%^'(+ /afkaij#*W^!Gz9JLGٟQicY6X6r z\oJPM,W87X ofn.̉'?aLNDڠ_?v?hm3ϴþJ P;7?' |HOL-Datatype_ExamplesHOL-Datatype_Examples.LDLPIDE/messages7zXZִF! 5]·Iq n[:|&[zY5J!H7)jP_ܞ4O;~Ā&J#p2Iq=mx촠ȰiWj. f(ugzWcH\2h8@ё>-.옩?i]BOC} 9{rh޸,l)cI[6j{A7O߯WV~֤ۍe]Ӆ<+'_3ٱ (S=66m"Gӟatl vfݨg,͍ql_tw|p_a |_h!Q\mOYtp>a0CJL bK4Cxa1Z@: m Xk:dub4̾U"ʩd`#.Ü jFN,KZҒD!|lAmwɦ2RG&7 [ i֦>WgTv۫Iࡽ(&Oo-5Aj-#:-cK2" c(U+!w;n(8Ш ` z [FE+qqWeQr0,a]L`[zZ4@=ȧPޜ<BT1n:w>ܻF^N%UC]G;6nI_,xO19U̴Y\Dz""-Д;inPu@#MۆhKWwTu ˒3vV!$~%A3X}!pӛ#3xgYZ-7?# dHOL-Datatype_ExamplesHOL-Datatype_Examples.LDLPIDE/markup7zXZִF! 5Y *]:F.$"4'/VQ[⪱֣6S7NJV4qܫzn+v(vзxBZF(7џB,ΞgF;ΰ`RMuWM-Mj,o2O⨼}B)h#TTer?I4s2 _ M2YJSʞ11ij;QoJyw<~QWs n >A'e.9TA2ҡ'% y>7Jn\Y63J'aOY!.Ī{tvUx~)p/Chbŧ@``-"\A;#=z S+ILBf̯Í4Z`&ƪ͙hT6lQ &9(I>ӡ`v01HpU Lrs?RD P ZG(kAhUx_0-e۠G3wQwVZ͑/@lrRoބnL 3Z<ֺK ^©ꎤFM KQJ pCi9Fr^w`5Fp*c=<#Lzx?Êk] eچ7ZRt^ڼuV+#B㥝צ]DޥU}[ų\ jy@ vaN,B8zllRK?Ks:g#ll|{B\IX , |tfm 9ז |A@PS`tar r:pjPAnSRS?i+mbUpt G> aO-s9$# -+9nߚQ7?F P:y߄{oLԒMN5yp H-De꛳~_ގmt1D$& K4+׋_0+ o(Ī[Uyۇ^T&S'_ P%D[38aqp@gm[+# ,ie f seldkw/`5^}]Uun +Z<(7ׅt-s;W+j$SWMddw,}T{e}^]6}473_Xb9H'\'U5QI!(7Eei:+d_E8c`ia-%! 9aۿE|7/mZeGQt;Mcqc*4Z- /D!1 =6(,}- WupvBO-(  N4 hs tgU8*ZeT" S`Y _a%v+%BEdI/PXbk͛Y^p'%իܓF ١0%?9tolPKyW~ö8~T:ɿ$`X`K\Xle\ r*Ӫ]$].x)3PMh70BK 弄h߫k ׋eM+]y)P{Gj/ Tb gB5.1@XLuf ۦ#Х?k:|yĄw\k U kۗ&} gBmkdžfg TkݭyZߕ8ʟVkuTh{bTzY.Ly9x>5B:xp^~c\wuQ SCsOZu:6bA!a P=\ ZNrb]\Lr[IC=Iqv{ԨuTh⍑>ˬ)'oXWX;lL*<[=F>f-7s\"w K!݄|dnݰ X ~W.eA;sleeL\n u@TtB;0\ `P ^wi:d'(fLomU/;e,4=O&=l ,qHWw@|RKiob+ɴ=~q㿯͖R5D#O>)KF*`]4b<~gC[uNh=p7xV975Kf_KG~*vo^5)~w B:3 o:Y1S#ƃU.63ÿ_U;' 2A1봥Glװ=3E|l>-#Spǂt/GipU{\5DT֟GQo\P}I˿[MI .A*} Qzm#&>G!waK'*l̜)>{yC?yжJ9n:]㤷N޴77zShn1w%K֎G`ףj=-gYZ :7Y# dHOL-Datatype_ExamplesHOL-Datatype_Examples.Stream_ProcessorPIDE/markup7zXZִF! # ] !M젗OFK?gaGr5̠腭jl?Ut- YC*pEorW NgPE 5${zvRJ6jGj'KR u]PkX@V}m>ɚhNҙ- .-c2g㑖D[ 8a`̿^&6ݶL5fv_rpI pݰN8'՗3CLe. X/%pf]ӱlؖ7D7[2-j_}n~wA`2ḬppcXr*eK4-^?aу-fM#pt9"5TVKF QdۈX}^2$$qć{@X(vKmǞ|-/->,X 9I.5Ȗ 7?(^¨-;8=ֿYKOИ+WD)(ѣXL`B@硗pJ?3O.*wß\,M)[/`E@۲8wZH,2NCba.k1~:ܣq_f/ CLm8# =a W aұ!A-`8{jJWG諍kSy|J2j/+`JGU{G/5]D8si r9zt`vL {1[vo?U՘@4l5w%mOUݝ6li$đsI*!#CTtZI!; j"^;?bҸI]Ƴz~tJ0ݿ[d ݬ+/p6;R;M4Tď_N]B /ɏ$gFg~=ӁXv* 9ўe\ޱÝQ71 "Ю 둰Tu_^P2lҌE]E#iMv$œfx3^2hwXMmh_2ǃ+7ޮܱeQ?UT!v?L]:۪`GYI'T}H,tc|LzЅJDWܰą^EbMBY:SWSYfRPrH[,L[Bb*Kf}'fn72-r+nbM hD">-r323/skDfJҚ,dX97߀%,Wѷ|~p w,ڴ8N,`'鯲5c! ^f'ˏ]G- QqĵzJ1T:NBE ]V;8SՎT;_! Xֶrfk+Rr1Nq ٔzGkԱgYZ  } }7Y' lHOL-Datatype_ExamplesHOL-Datatype_Examples.Stream_ProcessorPIDE/messages7zXZִF! Tc]D?7 {?:fH\{0~PcѭbY8SYdxUluc|y*@D9eHh^ќ agwfk$~[d6wD.31IIˠfJq0gJoqlk,#%pj1y><^͟rmW!-rkUZPD(,4?mڈVC(+wX{o%CT b/s8z՛I^_lD{ Ax Q|T_S7X>S{4ٌ,y6va Pc fR]D7Ö?MF]`Wb|-Gsp׮=Q?mkΥd\R{$!}ggRIz&&+tߏzrsY Aq}=q}0Gz{ U,LT@ p1ѯʪEI5eXÐ`W 0zGȺ2AGpAQ;yNb?Q& 9^ 878$ ֝{ /3s&T0"ikW ܣ,4rHjv3Gi8fH+aI|q CBqpDe|Ps8_ `3uY #֠ޘao͇mAEpo~/z[lB?RR*" ڽ+R04_ X Jacge[並qO3(< &4VK!f^H2/{-Yxj\5*Ҧ \{JX9"Rq1B0K[\y=:m3ʈ/i ;аW4+""sgꔳ?}{^=͊t9[czn&͸DU/f<1j-ƣ1mqFJh7#.{!ʕ/W{~MXNt 4gYZ <<A7G# HOL-Datatype_ExamplesHOL-Datatype_Examples.ProcessPIDE/markup7zXZִF! " ;] !M젗OFK?gaGr5̠腭j&=rxxd1e;tXqC0ٜ?eB[J< ¼NͭU7kR9nM +X}4U0rM>Q3:ؘEGݼJ&d\bk΋H打e 9onRj{-[\R+"5{bgӄ>򆶍T.R5 ǜyɤhu@@0C4p%E݄Wm3 ʶ sH%sc 0H{oAu门v('r:3L@ʑIXBA4D<4~ X$x# =ؼg9} (v=`c^ٯ'Lt 9CW0M<#rhkR_H_Qͱ9xRVdYi4:J|hK0Y 5`k8o@25Yz$r_ `256{N(0o|,)3&a~r`E$N{Q#p 7>Z_*gZ 0 WE!,6VXbvX}Akn𶖃'rJU=OpY& N]NHR{0l#߶8KB$a.ɒ!27mڅPhJ!Ƙ;1.ʱpu4ÓE?>F]nn9&d8cm궸q\ǣ=8BDrUM D,B&/0_6+/v.;jwLӘZFaf s kx|Gq0O)s7Oczaߤ݄'Y jUvY4Y8*:ªQh _XZoZմ́egcvw'>~-FݥR/AG []{[ᏓDIHiƄŏ@ />M(>ݒbsB@ΚiA\JMc-Ȩl]a?BGٗa%jPl&GtC3ZLJe`UV Ow^Rٿ0_e۬}+=rjF9ʃw*alsm9.1VM3u;;\[rҍ@Bݛ9K5^!Rn-q@SXoG{C.8b8\M([X.Yah#4l{QԕpLؽyRKp#!:>T1(ڐ8s]¸ؙql,<Sq)%"v6jc1\:52[jDfҎ S$ V`byG7x߃US92w3&ա80Yߖm!귤l#&oRZҹA%* NcB4> T#t5P_TI9 7 t&!1iW˔L-|jvNo*'Me eq;eAU [yB+So^G-# _8.)>`'ҜeEmzT$Yhn0U֫}&J4:ᮺnzC)[X^i` kE+h&˙hxG~֑n6lj3eA*3W,S\!C(݌}@x Fඳ!UdNOt$Ɂ>pSQkA;]ɾl5"ɌyÝtgȇ#=jT NѓVg PR5ID/O9+d@F&PRdo=]8q 2M@'Ei^'v0'-(ª){rh8ɑs-!8&XQr}!rAor;S/(e0~Eg7H8SQ-'5LK%bUBeN:?Z.vq'?2oRa[tJJ;R?Lzfw(}~D?aűG8vx*eqS h{tR`cjdפz9;_<"lB:4-D.4Im u3/!&WZ~J7DerߵN 39LY˗"h9@ ޴b8DhsSfۻtCFri-P^d5zs&2FzB-^5s!LW}kE.'CswOۦz{Ͽ!頶J;L ,3'Al'2f4H%ٚ֏R dۮp\keёwZnbX.!<Z+,:A"}%"sVo̕c}] t/N<}}׳U{-a΃maZ zٕͺ'q[=d ; *ԗ2۠*1>fr6X{MEwd!Z[M3V4Wdz; ^=W⢬⟒UO@n )q)ڸUn'qcr {2S x7LoA $,<bT w y`Gz_zd= KrpaBԃɬwDp$mGzf `h|K[(pkؔV< BmD" Vk=z7ᯆP[-7QК-7\1р;I@˩nP뉊U) e8fo5rZXD9OU-)Y%tX*2xZy(ǣ tO.ǩﱬ#^pu}$;mLY^)FE.J"o-u^-i0"4$2Ty3@ɂcYs{mv%O&_gF’D8 G!D Ҁ% Y^QЩFOC1= TIfؾ-kX516{D]u/0d^17\-@ %a)ȦxD }چ5בud[ v 7_^GY~DJ&oD\E*@ȩYzJP2q^=]b)&%!x|[!{3Z|N(\sa]޵M(!cx0A!L"t'/݇V@[&-1V)(8Q(( bU4LZd_N<ֻ2I";hU}beEzstx@WoT%t:(;6{KJ x0Ff<+o6&ʔpl(t*{|L_Y>gAe_ZO\~{$b jFM7&&H;t#r"q9#ilWф^V*eX9!}j+q_{h a:JФ)"JVlϾBCxj2gFuB%O̅񕰴 " *v^:=Nc dBd4wnd~ihvRra$jR1IH Dt6a/R. >(XdאM!walh F+M^T^b s`j \Z\X ~m6!qӓZI iRJX < esM3OΩ{̈́[¤z0CIhJ.1IUigr٩l.D$\8b=1-G?m_!s{'+GkEgwl۰KGs Ĉ)}uJ\y¨8Dkzs0lsj;jU;\}9\DbuH0wDz 6=UҀ_8W&I]ZsKˇJ"DB Q/,XJn 2PjD ^BlH`Ql.%Huۗao5:5F[$y5 na frQҷ8ʭk|/%[weVvL碇!Jp1-lKm4x+NTVG-lY@'cCߤ#{PWuaFB1C./B5(+@Z IQ/E b~#U hډRl\#{K~H;m?1ޯ"o]|ck kQکx+ /v~JG8K Х$2%;7Wuէ v gYZIFꈇ.PVP1.stclxD}rA[4!7س %"ᴲjh/[vm ~^ O)R2:tTKn,Dr@*[%Ezg -q_O9զnKь\镘4;Ė^,[-`D}uRgsL qZҴ bcֹ7[vvY\a߸T#V)nU72ODPS˘k dpBQ7A~y1`j4VrTgpw81X쉳6wbkQ "&Ŕ-BIɑ02^ CebO>rtpHP!%k5tkQg] ȸ1@d"t7gQt/u_T{'bFE-9Yviqڥ6,?dW]:dA#C7- !vB^|O`FN̶,fnn͒ yC6"ܮ Jjj$JV-&q9üG{w|F31쐊L_ ^?3=_`˽t2~{i\kHt ?;^uw7 /b56ο  5K-"gs aJ5x!MP ƲozmVz5:}8s ĺ?Nu%}gonŠ Fy@<#T9YX$zyQ\ROttfn[PҲnm$ؽ-ّte/ s"2A¿q|ԐL`K 2j`WEc5F%JbLvUanp||R6;"Qo$.v)ĀOdFouhCf<LF'vL{V@R&KFs@ U$,-1m BUHnqoNdBc0f`&;gIx@Mc8_s^0 [SE48> Q*^g6 z6np`Nom@B3yᆔ'A- vUiWd55G=4&BlOyǃ@`01b%?"N[l.U4DJ1$~{d`4AoJUG(QX>ViÛ` "qO,X^$ଽ!Xz5d1MD/90[hF5&gھ0JaְΚ* 9mטGUtj%(hxIl^0TE*iy3W]3\P{tH{ᨙF'ޜUx}d8*COa,#1)b㶺T V-vAuQ %N.u}jpx!5x|a$ ܁28 6/q͠G@!2A(ӅmlSUgr=+:EkeؔoFk.`B0Wk\U8&uG^Tc*"R3{n n_H%aВX1r}Cxr= ٴJTuAi_k˒${<G}{0- o|F::¯-]wEYr^gp{-JpS(2+߄&xD d6E>Ħ§.}X勉h;[L&eiY.>w{h֧ ud]U[s pluDܑw1d zz1nzk8Z+}*!u81 .66p# 7[p•(`vWQU촩j?ή)LNssTHf%KLBnzeۋ2}"[,U1{Tvdz^P7jMiXo"D]O[ۉTwODwxdd5UkaOaJ}+Bwݍ"}&# t6~~KТL`r^-6n8Ob^+:%$ IkRW-Z o,ZKGt[nZ!m IǴ+B Ӫ);,m۷)GK`9Oƚ6Sm} ߒ)b MN5khrhxkln*ahlɪ+$U渎֥P}JÐi=k˒ktF@qP|wr#;5To7E4dL[ RCuq<* f71Vރ MH1EҐ7OkM<?xj)2:ΰI l60&*&XG23)M"9߰d#88r nK4=+|)]ez3(psTp9d·Y˭WwX2t"Џq͜RH&nb¥Cu9u9tR,ӆ^nZ#U1DsЃ CkM6a?=WFF~G 9Yw?EBo%7F5s'`Y'936 زUf$BIO^QHi^} r?qmG gi{jdFk%E])–]? O(b/Pˆr)~M{X|mKZe4:xiJp&u!xp1(R{ ovmvڣ#S }R4%~ ǏSжGRh 0%JE$3!_sܖpW gB7Iǫ5i:G;|(umZŭ%XEE]gUZX/BB/:3foݐF+)nMk\!./) A~>B3ކ;uY5M*Kbܳ7iYq OzaR1hDGS[&ujʍe \RшD1?AAIr`r`kHqR_v6}6tBvs4,ESI!pʿT`-BІa'ENlXZZ7:Y6^di3}ii%4$ji|t~(Բ+<ɯ *Yp_iS[T$d%vyB[XzdCuɤk89yp~2%5Qy"rdoKOIM@[XvJ{)2ځ}5Ek;a"{(̶Ո6?zI^s57xohb_%7qfZtWzDT87yEDÉO}Yl^T̥pQL< 2HCt:aGPH8*Jyx: F HFF T06\N!Yaj>\RH*닡,NLGL-/ixAedVs%"yN¤]T $鿖,]fICٸ*s 4IqPH딱PYx3>vۇ'9ZkklR⭑ 5+PN IR ULA|i*3{}4ȶK@ -dFE ->KsLTggA >⤡6gWeZap} iї~K(G绶zh= ʢW?oPa̺xH~NOx )@)5®ae-R!1C F¸EqM%rgVԃ"d^ݛxcB֮+AY.QsZC,l*{X9 D3 k$̊؛ pza5d1リ+AO+lLY ^k7 =努9:Py^X{:w((}ƀ0)/L EOYWAl8-%eeQT4wT<@1]ȋX[_!bտt>< t,^XwC3Q ʙ_alB4wizI}I0][mڽ[CDQke|8:hɿX}h[aօ{}Bs{<=l)9þLLeS\ypxl! $6Fl=b#X)N'h)8; ԧy=d$Dfݰ PCj)$4 J—4y$*l$3k8@*;RZMqf0)SAӿ *s'M߅pR1lR@@FKEU[$Dooʑ0֬ǺW20#TkM|'fKU[C ;…)Q GM쟙`.{W>GJRaf/LHJ[tp<0K'q6sCgLNm%JH2pȪhJ%=f.4vNtFn@(cHi`\X:9C5knxb J@ 8lzs~t-iBiհPF~ػ`TбYd 3-iL|rLQẖoTj~XH5'gv~Cw;R2DMz>8OW^4 ʃfh-lkYzNg=Z$3jyܔ[SiQ 3xqVzbQO#QFp 8>Q;vtYFۓ鶤Ŏ]|O۾TB:. 2U_GM b:SΟcw2n` D#]pm\l`e#iWrrswl*EyȾwv(9 Ůn@|+{3RWca}"D/@ QNF<8ߋQesփ> ʑ'rnl:Bmw4ɝ (BM ͪMSyQ[jXxnibA"䦺#u:ZVQܶ!2|<3Ifb3{I)HwY f `wyO$rv+Q0%M͢>_mG⬜7Oi lCVK|R4<)$B5Y]JS-TI"IQ,wz6!l czc-oAy-"(ϴoashVMRNWQى1Ox0yUS\bpXb fvu)ÔRcccu>^w)$ #EpWl٠uүblv"՜ T(2ԍҸVӾE}U\~LC3IX%L]x(CnYDdP SH~ym DЂڿ驚) .'ļ#naCS޾#[ P""d;UwEs0ZU|SɊBD3Rǝ/ϱ";IܝfGV%O+2;c)Tf(S~U' jj$7S' $HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_DatatypePIDE/messages7zXZִF! ]D?7 {?:fH\2{=cwKHWN "7!57cQj/fZSٝ/GWf *>x)1H!VDr|j}iUkoQV=ecmZiBKH;B{2 ҉UlVÒ,**JJ M?yGlA}s=|@#4 >t;g ,OٔK3tϽy<,}b&{C{\m_o,[+߫bMʋN+HFM9M, U  2 Sy#`U #ԝ ɭ# ^zVmzWTយEryD,uSdKEfqc35M>JSSe$6F Ja=*?F'В`3mҫQjQY}[6*]%K1\t;h]% {d"G& =1a>I؄3~=U?ᨬ{Mt >D3S:9r" ZO8p y\*DA ^#%|5|2jRka,쩣aEi+G{R@_*Mr±gYZw#7S# dHOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_DatatypePIDE/markup7zXZִF! 'p] !M젗OFK?gaGr5̠腭jIQ3\c%S PX'xaZGFǽ{˫jbXޖCBe]􁅇n~F7LɼxujKЩ[yY "V.'Q,9O[hqĝ# c$t]5^f_^)W$/У^STWIDUNi˖mv_&K82An9B#hǢҼP}ny~.Y woWNi5ŃߣEtW@2upe3uvZU[䰶8RL&^(_$ѵ>e|b.F&(~'BW=d~ ؄(-;ȉ` MCSœ%\W{jِStæe&/<./@h Ѽr:- :%@i$nE>)wLctNc:~9 jE6%`:E{4vQmv0`qCfAD+yݑ[XBսjБ.HlCpLØ Z`Q= ~lb1ÉNyKHn_mF@V wqK?MNA@zmvAnޯ]{Q)pxmǓ'͆z!5Jk b`9B: jp;[8w/)6⯐3)fx|9΅ 뇕(kJr?Tgrj3|Dz5{,a|&,S!j°Z' xfbS/=^=̹/ak$R9/iS?T8k:^=4@ zl""w1F1 j4'JӪ~pn pqIŇ@gdY۞/Ow3/݋]FGD #ai* .'r (w@YEHO4 ٲi8!ϾwTU6ugŇ7MBF;F߲{ 7/K^={ijT.I6~ܞ6T,j ѯ qn=čnSOWqbWmI'|nO_Lِ$VDȌO%j1 hWy'Bo&Yd7-wsux]Ps'[-f"%᤿XW~\^Hh>FE3~37XƉ a`H\-sU_?;c{-+㖯tOTq*}DF"WQWkv: (Q?ݛWAOܚ.2o皓hi߳"E)-u#d÷B]=X}<]*Pv[zYlX:>Hh4)Ƽރ`cN#3/xt_2rL(u9/N%{ pF'fPXeRى֞g(5WӇiJ !7f\px ;{Ϝ*vYhej`8J-wJw|ó}{(w$ F,,s0XjF˔'8&:\CMTS5",/+OnuFZ)6W3L\bNy-x%NWgYZ @&7Q' tHOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_ToftePIDE/messages7zXZִF! 2]·Iq n[:|&[z19't{=AAAD_e[{Y r)r+XF_'l9!@䯆#`k<{0zwӲV;nR߈ӗƀM['=#ْ\F3qZzUkȧ Aҋj8Q. u`"a$[0>oԫc[{VU_zI)A]rTduE 33U"\lfR,.V΁o<Fθhbwefq[WHnφCkpzJ o043.5))512(d'rB<%uI]'϶f'N3ആ6cz urx2x)'^RSEʎ"q^(y][gIs<@Stk23vnIj):%soX&kI̤3ppb,#]%mrm.q~jq3๡gѱgYZb%7Q# fZWC!j;&o>Em>2%l<=]{;VyEEn MeyhQ G+7iOq MXM-.1Чn0de1RLvޞq,3pDRk#E&7x:r[&۰^aWi!v4qBNt8fa..>WPpm*R8D4IO$Ҁ1#poG WOK 5= fI\]3eXҞ@4/EX3uRv+#CߍDޒlӢ_g5տWBdVV!@Ҙhy{b-Vr›nh~Fk{%i84Oا6pBz'jpu? Azj`=-25n@87#[C =ɫX R x^Ĵ;b.tK9r}+L:V$Sm!3u] 5q];5aGө=Y{i 1<Q0$<:(/^62;qz26CgUrG'ZRat8$Zi"̳,hp&WݩK̇T˔Hu?>Y(:6J-*0(\T Wd/)jD zrV}]$S*Sgp15dz]cvg/nr"J|]CB8UĠҐK97\Q\aη"1X `.V#Qמ6z@|zwX4m._m剱!ڻ73xn{ f-Thث)gRhiS6Z! Zh[|G/(Y~1 ~/DOc-YYF Kk6%.1K' &>hsQLϧuϲ̴ f`:;Q[k:$\cVFqi\xupA|6zޱ\2H,kSj\_܎@VFE|/荇PZom̠$.aNᓹi)v:abƢ""J4`D߸-=h @@c佘HhS~|EF@a~s"`R;0I}c^8h8ao~ Joԗn2 <9Ig hZp#igUVR2#H5,6iIU#}64L:S/ugK}"෼&mK[.h2pQс)jE)*5;&`^2.HuSa6KÜdn.Q6q[:O3FaZNtd{14+lO'5 2bvN6$=K.se,8k-Qza!NA?e3&IR̉ J֗2r+ac) bltnP/+"FWz-ZGk`Ogmgou^'`YJv^jx| A8l9ا]=Mz*HGy8^Nج Kxsd^c!YeCNiӄb-w&ێA\B 0}ȬWjڂȏ by " ?Frjٸ-"Б܊wZSI"|]6HwY_{4~:p0k>ngN"&;n!y7]3m `Q | qj 2z?tgYZ L LR(7U' HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_PrimcorecPIDE/messages7zXZִF! }]D?7 {?:fH\:hE$LJ(Xg+B֯'h~l91+"ڥ4|dggO!N׫g,so+C;ś,]pԓז`/$,B/6Nnh!(ҼJR'0HHvA;xm 'afwD0Ux6O,<=*rOa.uk-SEc}c*Tb9mkY F KΰI! Fr@F[f\'nHI)"{ȷzFbBDV 7^"ʭHwwA3PZ'1\Ď6]0-1/}E moLm|Gi1':$TՃg թ<@\k4KD[e}yVJ|ݘ {i(ȕnM ~aF9N~Y su *iq]/i3*iZh&'qn[xV!>yT5(Ʋ1%[ԫ{u*z;RX3BL䦭!`0Q;llC_J5}'CT^`iϳ$l $@J?OG>zј[#ue(u(_Dk&3>1|mвtGKFZV!Tu\xaǫTdOez"A:DRܹv笊z1Pک8WĻl>Jm9Y5*Y Vmg@Ga A.Œc%v\=jkXcx=>v p )atACQ(\L_-Q`d޺OdCv}֩e/W"Ϥ(QB'ӗccEQ!eeyGXAD/lTl_O3L41#h~`y H VgYZ\'7U# ,HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_PrimcorecPIDE/markup7zXZִF! {] !M젗OFK?gaGr5̠腭jIQ-M\RD}uI8PGF$aDm?/H xۜr{5X @_=#L0L\\kt5i]hDL f/F_+za=~7E&*Te.QDzW.:1rA# q' vBl/ E$aU-PB%$~W,TZ#W’ %=Vo]Q)%UA'"a0֕O~14,8OO}Y1/gr*)BSbX܌QfF)MT%D픚L*]=fɩ{b5?4 %S×\ [tOT6 LvvRt>8 1j.lLD6ujQ:M Z\a_nn 1+nH z|udI͇wyb TBUyV`܎%ȮGO$ɩ/xJKש6/Y J;,ɝJ(rgNE$0^Z1<9ŠaK{BGV"_ś|ٵT/ ,=4*bHZȔ6\.hRvG8v>b־]w}+ Loc^۟0d6<_Eg1[ ]]w&wpN 8A%_XxT3a&y&h ,((gYZ  ?HN+7Q# HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_PrimrecPIDE/markup7zXZִF! ] !M젗OFK?gaGr5̠腭jIQ-Mm8trύ/ /$j^=B8)>f+6MViVV$뢖΅kA_ uf"?=N‡Zt>sP# 5F'H9 TZknSGB(T"k DmFN'f p=+WTDFmJIB\佘E@ȝU,YVvԥSbwԽQ~gӃŇe xNt,쳟y`/Q)&Cs& d<#hpRR$,&}moi*;vdK\~4 +|~^1p3ILΩ:?,Feb7ȁj+%nt.PE cs<3-85P^E,nrǚ^ᓈ39;xK=@AK1h'8! g0YM-'i>xi]d_F-*Zf'ƭ*SJ|@M)1Eal5E+jPxC$Km|B ,ZxyF쵙g5#Tku+H:O}nO4 zEmۏWn>iiq Cs4c6?b}_ח};M *HJ/~t޻Tm !v%ӓFT*00Ueo~^& ULp%[QQn,SMWDReXIi6yr}/CTaˬyY`j͇3:o RRj{IКY)>4:ž 1w.z8 k#Ygvkaڑ*3of(15ةEvV_`BK >4X ~q9_ƅɂ[ME7q5E>D+z魫buW-&$QRaGA;YH4蝺j$΃{BW9Mmk\o=h6u1GB>)ӷ TV7y4I(>w'3/ᤛ2[ן7'gI1[ glv^xE| ւ׳.*}zxjOf~,^Kw0kPuEZF 7Rx>&FE(+YI"aVŔ!RONbV^D-дi i@L+hw:xhZ_1p,ρkxǁFIi< 6?A :ϖe 整 +}̱gYZt*7a' LHOL-Datatype_ExamplesHOL-Datatype_Examples.Parallel_CompositionPIDE/messages7zXZִF! ]]·Iq n[:|&[ztW$t,D\ tbBN edK[*Ct[Hv-Z7& N4 f^2wwSSJ_ۙ l FKiݓ#jwkijrڗ(#`2Z**eTꈺ9dtrm`|x\b=2yF,p)\fឲ DaDuIa/LXW$վ čAgε>bϝ~ N{,.? E q>?^=]oKaG C7#q-s߆FGn44ZP_2AZױgYZ>)7a# dHOL-Datatype_ExamplesHOL-Datatype_Examples.Parallel_CompositionPIDE/markup7zXZִF! *] !M젗OFK?gaGr5̠腭|߸^<kMʧӨr``1de'eFc oOY'N҅ Q7Ae fpєC>~[sˍݣATHHխI1% aIPɂTEυcƗd8X3]ޥB0^r7*#2ᡬU Sdx7-3Ѻ P@<,~ȕf1y+ vnTK^IlQ5ThogoJ7Xwt6t{Ԫ8gsxy8\ BE3#d1- eO檡lhJ{(sbi 0.?kw}sd)4S+?gX67TQfA2Ḟ:8(ʚ'/>MRbjЎGIQ؍(N[cZ!ՊDF+zIi=Xx1#R_,EIb^*R1WK/9I:8=![SHd ZO#]q!Xqg+"Ej}t]K}żH*rJ@uz&<>+O"ZI'o(ϔ}ՙ2:B·ëN}'[);HC4{DP!RE[\yø2N=t0ϵ俽چ T$_M6Xw^4L>v רtV-%n4mNhq4"4Q )RJ5 3 igYZ =q-7W# THOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_CodatatypePIDE/markup7zXZִF! t] !M젗OFK?gaGr5̠腭jIQıN|ᶠD"'lg[@|6a:Xslx{>i D@~rխp(8S={y(RiiIY\qN Vpk*s:A 3xVE=o ɓTDֈ띑?|5m{K piU.P(eHCGj'*1Ki#FrpA'n(S|JI-T 3Ua__*c2vO/)J~H45Nk hCP AHmwW58*b>$Ȏqƺ+9Z5ALjT"MĴUAOĸep_qjAkD Ԋe xE:!;Ε#r?35L\jDS4T2ěOo z0UeXo~4b ӳ.x#!scψyk?9#lcpl#Ž )TfΞm.y !_;aMnH|Iƙ 樹tn F|'EvVa)C2:<{d_D*|"lj9+iOxwdjm^2-Qe-? -B?nKN r$![_8 m#Ved*юP`-!NPnA9T5,4;0@i~3a1:~'B;4Ju}H@ȵ~V.ir w1e.2^U)&gzȃJ$*B~cMr gu9-j';2~_ʽ@uT fjgȴ=G\QBRիdSL%T78.5jCޝXoLnj !w/zkcrjNpr}& #,"cآQ.>{\߉ĕg*JmT>ܝsG UW8Eq;rgF 3߱#B4"t2yt8 >eqOL )rIc7,/p*y'Nu ()$̤Z?/hfz7q?t1/;(BЌ؋CŶ vK&+an/k٧JȮ*G 6 a1E҂)Џ v73ݘsaXz+ *gYZ@,7Q' tHOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_PrimrecPIDE/messages7zXZִF! }2]D?7 {?:fH\19/@Ja Z&uOK(@(2ی\AEH`#oѝ1 "xuQHs #̰1ĸ'R`q :h(Gv5,|BZ*\*H}S{q1#܊l|D8Hwk`3fks Fɴwscߠ: xERoT))C>R޹]<{2kBn&,9I}ǎʺF'f'QT;LJ3j]B i'b R,U- d7'YzUs"f]cҤ3'[-4@_ e'>C>4څzؖ'/FG; 7G\ȏ N>)np#] n8zr٬rۇTb?}N19kСo'c,x%Jr1+(A5Qԩ|I򵂻Li]1ڀ=Xv)ۘu˚ʊʈ׈né55FJ_qd|b,V<J;WH$΁!wmţt' _98 bsN~?>,?k>_5 Z kQ+X}vsӈ-.=֫G N !&& bcmZd#W&Ǔ35 vJmI SxeXF@){xDh!i5#?#},{#1}v _A~ z hx@!o?l`vmo7>0ᵩ>Ty>59zX͌ƶ;%j ZJ<+%GuNykH(?Guc^#m {SΕ #&%]tpʏ7-kw5d7X UpqXhr sͅAV--gYZ 07E' HOL-Datatype_ExamplesHOL-Datatype_Examples.KoenigPIDE/messages7zXZִF! ]·Iq n[:|&[z>3>Lu?/$菚@eֻWe:\rݳ#$ixP3&4IH,C !z ;-\>7^*Yu ]%yM6sdXܵ &o!z^CTy?lӎQR6*dsun:-t'/lyP#{_}*os19g KE'j0.c-ɘg+~'[! MTܰ`f$k"ق?#<5\=?}zlPM4s{E!+씹WE7,!,#-^ӏ֔|H}GDPʼnsLJ`#̍Ql$2*ꗥ3d/zL qJZlמzu1'+c@pMm bJ;04߱~x'mݪ dh:j8ع2gYZ/7E# ,HOL-Datatype_ExamplesHOL-Datatype_Examples.KoenigPIDE/markup7zXZִF! ] !M젗OFK?gaGr5̠腭j@Z~׹W47aj DA %R2zo^my }<ҞyDq.ӿ;5^)Z}n\ 3rDwQӒHKhi|t/d};}u,Uv+uXPƢfdu8.倣܇%t3Gne>=;s!f$I|bƣ81%֪9/y8h_n|#:{*v~( oKdU,,N esm_#?w" O ®a73[HP}YlVGpTWq9ŭG MHbj9"+O=ii8k)µ$1@eUbK`!;oVɯ$S 4_<uEN۬pW H5V)wiM ezȴ ضB:0.1 !$OK$I9 3{q :އc"}a=U7<CY ;&L8WF/% ؝w/%.0'.<\aH.P&v(׿+6y߮G, Ѧ9B[aUԌ;i/sf2j A C+@pc+( b[ʸ xCtpݨ&WOn^R=6a`-"˂&BtJ!LCF7q6">7 &/0PZ"*PaVaci@3P \覈ĉu..akKct~b kMqLˏ?>,y8ef ZIx+#."#&7RG+?;]CXu|`!AZºTeIi36oz l]cɁQxm_~SGU!Gwc>m!>]U:p1O7 udo_n!;G&CdE|%a imd1ۛAzbH撬=.f)F|,&mH_ܰ3%2@,)M yD+ѰtJJj/X9ŋ}-^`3J8~g%nv~cnvMl1xpѮk9_a6*(?yVwNԙ-nh$ꍤ@ݦt /B|$AlLULځ"] %Vd)gYZ_.7W' ,HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_CodatatypePIDE/messages7zXZִF! O]Άxʆ5.f-9 rq?z !bݬ2f:ťT/LBo@Xq]<l`UY( lIHr;Y+Ы[g5nCl!XG!r2=T٭y9]w5׳ q_܊#`Ly \CSy&Gge:BŚ >ԿM2nNb"]n@q 1(?/J1$aH,[ppя#px0#c}<̞q12N%Ēq]nQE*)Wg1c~|Z>T9g pֱgYZ  037E# dHOL-Datatype_ExamplesHOL-Datatype_Examples.PrelimPIDE/markup7zXZִF! )] !M젗OFK?gaGr5̠腭|߸^<kP yw#$ tlx]#.>w'!Qru2z:ӖX6]Kt/X{ ꇃ@"ʟ=*!88KA *$Ww2wAQ+v)_Ί׮O=t Omt L4YL@\ Zo|H;C,(A<yrي#@sgdHa~@W&J:P1>7:-!zlZkbkwk(;*a6$=eu z#%|A1#Z^Ԑbf5]zb荋ގLYq61\FMawo#}X MW]FUߺ}a=7eu5R3IyQahas̙݄U0QULJe6]Ȍ=ꁨkyԜmapDF2ui1I) GX>T@78 cXQ:(ȿƇ/s[4mڛ7w?jGSAdȢo<s F#bp[%'0~Y'I@r+CLVmMj]%!䡡FL SQJA`l۠qeX87Y4gŢrN!եJ9(T{fѪ ̱gYZ27E' 4HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListPIDE/messages7zXZִF! ]·Iq n[:|&[zºd ΑCM ſ:9#n·3R~Wʔ`=3V"aE:>* 5D͉'G^TSAZ~c<|?/ڝbH;s4RJhNޞwơ >Xjb+3ݻFO ؖ m7^,B?IJ"|:p1 M{t),wrN| jѥ@fO@0kj:4Vo E#^.o).WVΒ~I!2k`ɀlPYv嫤%(U*.?`ɴ%9T($sB"cD8S01Rh \uS`6X%3CVMVD.w۬}+s9.=X+`jVj2\CCQ הf~@[=I3Dz K;d"+ŁZޱtb$(H_bş<$U;^}}񾾣j~R784ݭ?}n[+{H2׍[Y&  frˢ83.nΦ|2'Yq0Ұ {SjZ][-tM#ͳv!Cl .&Q[|ci~U 3cz#S9bPjl\*>GF w_CG_q$#;`xYU!Pwqk3c𵩽U᭪HW: ܾgJn\Xlmߝ[TQ9f#[ a6}l~`⊱&.y8$>1ݍv`L2[@Si&)2,t -HףD:ҌG)t񺪆kcQk 9F0XUzgHK1U*CMG[Ak޺j&ۗ*̪|(T !?̣PZѦBC솕Öb@?AFubT1`[9.-imasyeYpk3UImccEL$n7$;Z;avQ_8~#.~xW3|}F!ށd`ʬf 0 ]^`6lⲓ,);Lw}!կ1gÅ'a1%1"ju+4ˆVԘ@Qd2S/>;|2Ϟ"EMC?b E~+s=qLc |IB $>MgYZ [!9U   ir X~9 EQ Gv+ [ B n \#Vg b[C#HOL-Datatype_ExamplesHOL-Datatype_Examples.PrelimPIDE/markup3['HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListPIDE/messages2B7E#HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListPIDE/markup1D7E'HOL-Datatype_ExamplesHOL-Datatype_Examples.KoenigPIDE/messages0B7E#HOL-Datatype_ExamplesHOL-Datatype_Examples.KoenigPIDE/markup/M7W'HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_CodatatypePIDE/messages.K7W#HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_CodatatypePIDE/markup-'HOL-Datatype_ExamR7e#HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_TestsPIDE/markup9A7C#HOL-Datatype_ExamplesHOL-Datatype_Examples.DTreePIDE/markup8I7O'HOL-Datatype_ExamplesHOL-Datatype_Examples.Lambda_TermPIDE/messages7G7O#HOL-Datatype_ExamplesHOL-Datatype_Examples.Lambda_TermPIDE/markup6I7O'HOL-Datatype_ExamplesHOL-Datatype_Examples.Cyclic_ListPIDE/messages5G7O#HOL-Datatype_ExamplesHOL-Datatype_Examples.Cyclic_ListPIDE/markup4J7Q'HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_ToftePIDE/messages&H7Q#HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_ToftePIDE/markup%'HOG7K'HOL-Datatype_ExamplesHOL-Datatype_Examples.Gram_LangPIDE/messages?E7K#HOL-Datatype_ExamplesHOL-Datatype_Examples.Gram_LangPIDE/markup>D7E'HOL-Datatype_ExamplesHOL-Datatype_Examples.CompatPIDE/messages"B7E#HOL-Datatype_ExamplesHOL-Datatype_Examples.CompatPIDE/markup!b&'HOL-Datatype_ExamplesHOL-Datatype_Examples.ProcessPIDE/messages C7G#HOL-Datatype_ExamplesHOL-Datatype_Examples.ProcessPIDE/markupN7Y'HOL-Datatype_ExamplesHOL-Datatype_Examples.Stream_ProcessorPIDE/messagesL7Y#HOL-Datatype_ExamplesHOL-Datatype_Examples.Stream_ProcessorPIDE/markupA7?'HOL-Datatype_ExamplesHOL-Datatype_Examples.LDLPIDE/messages?7?#HOL-Datatype_ExamplesHOL-Datatype_Examples.LDLPIDE/markupF7I'HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFPIDE/messagesD7I#HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFPIDE/markupP7K9HOL-Datatype_ExamplesHOL-Datatype_Examples.Gram_Langdocument/Gram_Lang.tex \9HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFsetIdocument/TreeFsetI.texJ7E3HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFIdocument/TreeFI.texj7eSHOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Testsdocument/Datatype_Simproc_Tests.texH7C1HOL-Datatype_ExamplesHOL-Datatype_Examples.DTreedocument/DTree.texT7O=HOL-Datatype_ExamplesHOL-Datatype_Examples.Lambda_Termdocument/Lambda_Term.texT7O=HOL-Datatype_ExamplesHOL-Datatype_Examples.Cyclic_Listdocument/Cyclic_List.tex =3HOL-Datatype_ExamplesHOL-Datatype_Examples.Prelimdocument/Prelim.texJ7E3HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListdocument/TLList.texJ7E3HOL-Datatype_ExamplesHOL-Datatype_Examples.Koenigdocument/Koenig.tex EHOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Codatatypedocument/Misc_Codatatype.texV7Q?HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Primrecdocument/Misc_Primrec.tex f7aOHOL-Datatype_ExamplesHOL-Datatype_Examples.Parallel_Compositiondocument/Parallel_Composition.tex T7e'HOL-Datatype_ExamplesHOL-Datatype_Examples.Free_Idempotent_MonoidPIDE/messages _[CHOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Primcorecdocument/Misc_Primcorec.tex V7Q?HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_Toftedocument/Milner_Tofte.tex VYAHOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Datatypedocument/Misc_Datatype.texR7e#HOL-Datatype_ExamplesHOL-Datatype_Examples.Free_Idempotent_MonoidPIDE/markupJ7E3HOL-Datatype_ExamplesHOL-Datatype_Examples.Compatdocument/Compat.tex5HOL-Datatype_ExamplesHOL-Datatype_Examples.Processdocument/Process.tex^7YGHOL-Datatype_ExamplesHOL-Datatype_Examples.Stream_Processordocument/Stream_Processor.texD7?-HOL-Datatype_ExamplesHOL-Datatype_Examples.LDLdocument/LDL.texN7I7HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFdocument/Lift_BNF.texi7eS HOL-Datatype_ExamplesHOL-Datatype_Examples.Free_Idempotent_Monoiddocument/Free_Idempotent_Monoid.tex Cjy 3 ( V  v ' @CYG7K'HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFsetIPIDE/messages=E7K#HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFsetIPIDE/markupOբ NY^(! 8Hjm>W]5SnDWpRۂMx|gYZI47O# HOL-Datatype_ExamplesHOL-Datatype_Examples.Cyclic_ListPIDE/markup7zXZִF! =]:F._&w蓲ff,Ɯ^L,k!LˮoDoB'Pco;Z#V9tj0AsXFjs]4{KTuLyq+eع>3_òY ׻džT1`EnFEkHg J &*vBzՂ8N q&W@1KÂ7&=͒A_<`@`B])^?y),*rйVZ]ENM&|*, v KYҸ[r;I -E&GȐD )uQɯñ^chӔn%X,3g(f gB6`ysᾺ5m?9=Yt֖&*WSQE dk?24"tEn-*Z43,,R7..އt&.(RHCNL&_!h 7e:lr%qӵu{cV{3{Tn90։ hht9۪TB869®)xJ44#Ce6;Ᏸ** y=tN`┩@6$?PZBDJ8k% |%Ux'!5Y<6c`p ߅kui7gYZ  @;7E' $HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFIPIDE/messages7zXZִF!  ]D?7 {?:fH\y+8Wש!_3.A"jw=7O:KB׶ N$f#/;X~U^Pu[0=7IEe Gَ-n8Ro%z 0$=e.=Ziq-A: 6M>Ԇ~vdh Xْ)2 E*2$~,Xz0>= 4#zWAEX4 ~Mxc)٧WK8}jb؆m_uǙ*xZ7~'Gdd_u[Kc+_/=ML-VJhvᎡUj eSlvbyxԀ 8Uu FO_2ޒ4Rq?:=%Èkͧ\meDʤh8-9=Hc"7YN; 4;4ZS 15wAQǁJKLӤ,q'="B񁿾&C1F DDWgYZX:7E# 4HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFIPIDE/markup7zXZִF! LR] !M젗OFK?gaGr5̠腭jS+ym?!o)&QJΉ{ rz lyfKI LQ򋧀n0=R[yP|>ǵ/grYUMy~d 8C g E6 qbKQr'6(ŒxC@ϳ`Lw+պ\?^8̓%QBR E/ޮ>>u&sohj]CxW^W'.N A=({"b 2K2t'Q *{_I9\ ndlœ2.tKsyAAt4PR"wF](}"GyYE:Ţ=@C F\XzS9e`Y3!EqWNz!^b@PLXY|`'Qi 8Dɹs/tTIMvRߊi/lY^Ew8nA 0fgYZ 97e# |HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_TestsPIDE/markup7zXZִF! R] !M젗OFK?gaGr5̠腭je5qQf k;=3T v9:ĂV|?l5B{ݩ8PqMBo-)wSF&smf{e"٠smQ*fyc$:6q9`۷4yT;ߗC%[uJMxDa$~,zYc N|.L._)Erjɐ*Kό`jaO2㗦d8f P9lI+&OaVV0U†t1:KW`4jL?V13*XTбHbjWܓZ(RjNneisaЊgYZS87C# ,HOL-Datatype_ExamplesHOL-Datatype_Examples.DTreePIDE/markup7zXZִF! ] !M젗OFK?gaGr5̠腭|߸^<Mge h_]/B4Lۼ3Zh,+MȵZ>ѥx=MV}U蕕C$7]ul]o@$zE"Gm U*)ջMt+H,t*Qˌ (¼%roXI+٠η]kH0>srj8 "h:BW1u3 ,gҍ4R;7FK=| >:.Gـm/r+WaWF`2EwR #98UItܛhp+d[uEY`i/sL~,jBAj~mӐu;,2i.uɴZ`cT@GNc<9rߝJ`rvhv^gժzhy^|3,Jse9kҀ!?p|D e;*N$[V j3i2@ڡQk őEE /Y~ue\r/Ap/ hm}A6 I>CbRG*'BjmFyXqvą؊!6dQiz,v_ޢnŶpYGULJuM>^<$1o!Gpkx>d.EIyvRaa,SiWUEre!F.S~0؟xh5\q@C"\t5XSq7?Ŝݭڟa_jbM=d C;q[O;3!o99V c @,UJ   PNjc٨6/2Ȕ؎,52dOZ/$]ڭj'l NwӖОJƛ\SЂh#+M{V(v4]-3pLO֋玞`K28v;`6݆aVOh4LB apݡ4p)I@0]G) rb[n?OX OOtF*N,k:pG-,s+h-k=!wYqX$t\grG%["s5Ҧu-F59V@gYZ6:>l?7_k*Yjnǯ7.OpF|YGǝdK~ [ep9|jR2)^6n=%@&Jl<;-jTٲq=&Fe:L5Mr5^Rj(T8*R _iK4YNqaGt3>l\@zqRͿU:>PJvn)FNTX`:Q33Йp%GxLz<[ q%S)p8 (+mTj d}(8I1L|/KopL*4n6Ç#>[:D\T)D\b/haYg`Rr?ǭ(:+ ]$Mnh; aDq~Gpcmf9 i8񈕔V,"DGtd[t}ŐHCH\EbxjO6~osX43="(QJG&P7}jFVC_as$t&ܭ.zVT"sFne5&%j !ʈ{2zYpԅkk 6{ ~N;MKd)WЩ6'w~X~` HGB̑ ގY#J4fԢ+\+Mu>COažm"["sOu%i:j1ΐGz1> !p^jHAw M46'xxӸ [L%&USh׻*~bPMzg'4M!8Zr-%=Xտ{ERU<٠p[@|I,ߎKW_x ^5tulh4b`gRyk\rZ޶8қN@+ً4`* IN'͝ MZRF^~TR7y!һ(!wby!8?7HU{˵ϝݬ֑g.gcz!b Pdx Bq^V̌=u/t5#yP%B(bJ\ANb̹,ѳ3ֱ*p>w/JQac %_F̳k֧dxA&TBX?&ɜ4ȵ=V`ʜMwnU;!w_rot<06 : kxi6cOJKJVȐ>IΪ:ź ?ZdJL}MSI~iÒ`7e_\֤h禹8IȞ\Kv xLx (!#]': ,T3sMxO,[LN*'7TAZNg;=JO:/ d՘= C nͭxK 8LكRi>>t./섶CtPNꦞTh-3P4:517|߉֞jVpq2AAmX{ⰣzoZ?Ec*ݤa?Z7?j0uYw䝛$#6Lքtt8FxF ȯtL1}p߳_ %u+0r=`` SpK$y[3tocn>0Wc>z.:id=;B[_-M/$iN0rfCS.+]5j)+m [{TGUxJ%OveR!dс;R!GBt*995@ISPdY\MlgH+817⽼UHdaޱ%pj[\lc%6jR*-@$M ==Rsτ^{}2ڱ!9>#$?Qf܈ ufRRIW h\QY͇ xQ |P-S۳l{RW>2;2=u9{b*Y Ka~W=.B)k u٭|r{cA3NLRD"Io(OY^3Jnqmk5 JĮd}I}B4ٞQ]0b%TyW~g{ٗ5bgUpq1;ϨÁI?O/l g[ymS=^x5(ƒl)T &-Hn&{҂r..yݿ»(GZٻDmJ_syV9kv5qМ8Ĥv3I&e pF^C#nKZ9翏Q Xy`-׵QA7nyk46oDfI`H$r!` wH8ObPnpB҃Dw̏iD@?&b'$vRj;L]bIkx,ŁQ m,|S1(- !_/:{T&G7h%XBmb604So<hJ; LHggoIy|ZZ^'<2%I%R#1:ʤ \S I Rnu Xm=\! jfzWjӟ.-D_;~dqRFBK>4:'tAAclktW BK*`I YkpZvzdiqPlYS1Gn d/6dL3 5dbxgu( cʆuT=ٽ=* s"(H(M' 3dX[D+WըUo8t ˰ b4RG:~S^\AMUF\"=**Lk#?my~eƤ,YvVT3lCM<2B-^"EǹξDx1Gs8crN -"M[G4PlkMfZZẢSީ`ԉU,W9DI:V$feh9heS!Rq5qq;lkTQ=pK},51IVMXpo{ed2ANm3g'̤07S`C^qA95p?wnEv){ NՎ$SP1vߝV/(ui?٬^)$7l ԗ](H P2/RܯħcW>RGK~(cdh#:'ڲ?>ѸtoMp{^BVK3UBNAL *ЃJNb[&!wonO)mZÒroki ]=L'~Pbl,D\G4)'_e!ϓ7-u:ayEd/k.kj)wF˗"ɬw [ۨ Io\jzxt%X+C.#pue0;(3LH6H~rU֏俻DtAyw,:EZ2ںK =lh ㌳;Ayɫ 4!lzkKfH|k $=`8e-ɝQ@ůvނ \erUktxu h>([ sGU$=U>9&oƎZaQ ~v-qeeәۭ:YM*wP5~UZP%/@6qYcElXg#s;طdFgrlaQ\2B2{56T|%G\CX!S߷rZ*}bZ˞p\Sb4XcCL**1 c?rZ p _G8kjSJyǛs/FO(w[$&ЯҼ`켢f bY%imn8)#j@l>C))>%mj-:PtȬ I&u3_64Rilfsm@ރIvc߷o'jvWa{߿{РU(t̓|liqkYJ"zI(C \ޢO8ƣ 0ºL4"!KWf*tک!(ō8Tl4Evȕ"꙱uL)p72rx<5x0f*`a>G{+wf#SH,jhro0_OϊjvԈ}%%(֪ @ DRE>ʬkY˴ߊ=5#bX~A>uԀiH%wZDbh̤Fm!:ϫɶmA3SDv+kMidz8[Q@v9kxdhܬ2M4HۂK"㐛 Xr y`?s6 (F8~ vl0~r5~9/B;)E9.FK vng9<\Z,}jjlsղv(5.>E6`5X@Dlg\z ; jT:y)Wjڃ+c@Ϣ"sx=fi3EֆċFžNuF/˜H+j8E?0J<B.I11AA.E9j[ H ]mpweg:χS 2ﻟx'˴c h̫hr aY>BZ&hFBܶA[ddӬ PtEo3;DKp8\cҰ2pS/fRPg136J OQHM4ŸǢ3ݞ ?]Jq)or)zG8F;TaaoOoyHϱ&56" l֣ a"ԭpv?𜐱33+l'F AȅB^C {z& wߋnit]@7%Uk̜Q㏊ұ7}{ zkhD4ŷwIB("iZѱ)qXkyUԜ_Rˎte\ϔ`ѼMjPXE-ښDQ:7&^B?A7ćcPLwKWC+αzPŹ>~Ti@W0X>q:aCN^FpilƏ<H 4PmeJp$#4X)fFh!)ѥmVq΢͟<1pv?bt ;?U˪VneS\zܟɪfx֒ERY20bq! ʘ߰q6o4<\*\4]Hb eÎM(8UgxЏT;P)s ǗxVY/ ;djoMzYCH+$,[TbQ¤#Q`ӽR@R%xT\8=^وwT[\t}yoP_yo[_["RB:mpg0^J_cE|0?s`9darWmȶef0jx@~\+lF'wh>|eU)۴ 7K# 4HOL-Datatype_ExamplesHOL-Datatype_Examples.Gram_LangPIDE/markup7zXZִF! 4+] !M젗OFK?gaGr5̠腭|߸^<kB3[wo:'w SO+^4tfNh*޶:ʄ)pսkY[Q .e/]dT}:&Dw #olllDnK Wx wŅuڕнݻד M"gԢETAP")~z4r#&,6VW3]`ęjcG7^iY>DY+;/$w/]),/>}8fC(rz6oTz%΢?RPBrxiA/= [`9S2̀p3Xy%op>/[<@;\)7Y.|G]Wt䉌t?^] B3vzyJ^J\eP&&+~9w*hjr 7lyxo2%SrL߽Q*F-h*Zz|cF"X4Zбr; I )MsI3_FJƛ@G{=8c,YJ6"d_; r]=xٲ i!Y&~"vi2V]xZv,r3R:*B[JovDqԣA\NnZIM>īo.,UҗH h4szWdefKaVyU[ȷƞq?˔V6ycԸ6u1 ̀j/Hs2Ɋ0]L}[ c>?PS~W! )A_鄍I9ήnz X|@?u #iO4"3nez!-Y#%i'ԁn(8U*mɫAG>^zM Y-/ަuu$gKl?۲9&YPB zxo)́M<8٥MveP AYgї?[Vmh3˱:&YG%ULv.bШ*=r̓9OPj:@ ]_R Rg4]qP:a-F'H*سO}[e LaX0{ yIq45lJ q!ޕ6Pc)(uՒ7\UEǟd΢]ҽNvC FؿFpWQ/ϙyo,?=~5DէѪmo^+.98돑A|Z#C7u̖H¡忩U6A+FR7Oi"QKnΒ4{ӇIJp/q|ҖKdd_jXv{J()m+.ky|r;-&1KN<J/!Sy[ ~$admy͵~3NGj[&*`V>aΌ\B S<Q]b˩ݎ«PؤJ,PFY[4 o?^W#QM ۜVBp٪k7(K%3k+ O-ws>`7xKz9N_+KbTGeFC7b\P} ʵ >|!%kӒF@eN} >~zo\})Sa҉lFh9q'vhX =aZ) -<-A fZB w :*. XqQ~c[ڗN;Pxyw\卢zqN񮢆J\bn(}G'kya.8j߈@|8F6l:-ycw Cu}0[RTqoS`;A}HUl=uE,cD?P)xg!q]mS0QAcI- ^H^H7\/ZPCsG|3 7Va0JP1Kt < VPwTd S1d ҷ@/eL4,unW`yʹ Di_Y$Okkǔ | 8Kso˜ 5b,lZEHYU{CY5Yg!LnwV>ijDŽvc$>v0u1.%']f+@퉺v/ִ)b0xg0LG[ vK<- Tr\ Y_[D/R4_35  5?7K' dHOL-Datatype_ExamplesHOL-Datatype_Examples.Gram_LangPIDE/messages7zXZִF! 1u]·Iq n[:|&[z}BXqMZU%cq;dBwWrnzSvNį=Am+MtߌӺތ!'#Z#̘aj{j/k7O`M$3sf{"%&z–6+_ o\ X\GmiDHIy%[Tִ@(&eXnL,&w^nb"vHݢTD~*}M@xL: bHX2I]srjaŒp'hu^̰#5i9&KMnR􃠡krn#[ғ|"쫼*^:I#=d N{Bb1g:\KVMy  h('IgK<ΗQ'~2GqYE oaṋ[*J& \F:R"2&E)Şcㄆpgdɻ~u(UoPܑ^4Y(:J%aG*p搚 .Nj"2F^;U Ac2!R46.9{]#Y?fߴ 08,6q|_Ы {?$o,W5 `+|APY=qXz iuN~y׽Ds.:B*oZuȓCw`4 FO8 sX H -nkl%+t7<D`5ٲ#jٜ-3REyF@;'Q[Y X4\!T<9Kŋ(u|s5ɫoĪo|pI Qt< aGoz&.LHo³&픪NS\N# t Ήr?8rK ˘mŞeVi..Gf6S=Ĭ'ELхVonѢm% ΖܒJ4/-KhԩUĒܵIQ 궵&\C z9D@t=ȚaD\kB&]Tn J|eE5O(wbbflKF\եug3(L%OlV`Ld=髟ӸEf bo>ggYZ:ʹʀ'Z˪I sVgRq׺t9,KʗS(CpkknP~Vkt I2iۿOq4m92+CUdf Z熫(gM&F ^K򏯩T\LH^苁xZ5P,gEfb-ݶW1g N5'uU"Q %csbə!YWw  EͪoaӋL |&"VY#KyB={^U(发[ZGE 9;oKԒʘt5"NmLn@B/Gv˺ȻSo .B_(n` @*, ˒G^z?2G ̴DSIVhj&&o]eɊY(%Tѫg3c!XL PcBn>՝* ̬gcB>ka\CRTxZ@a}>a7+mp2x 0n{_`^;7~x|iwF]3@HZ^1>;$0Ϟ:b xY .V5J$&B *PTzCʪkJSK۷X͔6<)Ǘ1f״FO?夥9 xɌ "l?:\,Tԍ$Qp@܈'rKCY3eR.k->y}Sq'3/m5߬by@xykŬ-se~="D 5+,su r'ǀ2,)uG"~zC m`0ށDs.J(4w``5ʔruKoxbӞ`NHq6#rFkL5#5W[.UZlQ#JbdO;1' AR%*_I.[ZlXw P's{9\M#]F?AfpPȔQߟlT'5' p|N\If].[qfxڝA+wb xQj.$rBMnДBKa&>KW*jۈkLBߪ#@C3o]j%J Хqu lgYZ7zXZִF! 7W=]ŗXi%N 2FI}m"IͶN6%7tJrDѴna(i hVA}) PM2Il>JzW(]шL*ց 6 륀*]Du(A[|0-HnANC:HOBB_f+r܏W)V=L{/֥ώGHeFy]dx`L2b*ѶyncuLFasF%WD9E쮏b\uWv3`I۪JFHiO3E||qrޫD)HEst$9m+)}:j>͚/@zwg=cF5do+ ۯꋳ!&gE"JèHuЬou9rVM~5Z(PO1빿;VgrU.[;ُC4sS.n@8ruU")umٙB 0\HhmH)dz7tYjA%HS#3̡꣓{"7 ,kS09d}`ծɘi7*D+dl`+K'k䮷RTL<_3WvϠ0RQiKlLI 0y4Pu_E3ubbY'Z(n0|u8zmyўxlQ+= L}=jnAQT{|0&< dίS_v pj G izRV6h%=c5q VXWEjeϗ3z3b֓XBPτ}i=HEc6c]inPGs|?qKQUQ5;*s 5U?~ye`l/nÖ*PTE%&u?Ua;N3pwPmq?£9 ZR\bG-/T}SavuumJ?|%(.1xqNv4ZA3~P)FpMc4rňBٜs䫑MVTM&f4kӮ躒'gVF&qóW8WP˧ /%f-_vc48b ]![#e)٢V.Rm W3^q0Q%iC'JNu{ӊQw@8MH;wy%;f“CǶd^ kte4DšILjI^3;HY^mmxAJ0IхIWQP)f=J:",!Ts`luv,MAQNۍ6,&ԍafGt+mizBՎrlǜeg Zс{_p .+/v&ws29)jbBR]:6AJ%#n(k_8ˆkB/Fb% 77I+XJObg,e]V6c^=W_%;Jze{"R-\NLYe!M-}҄ Kf~&f,^ *p~5`1 7*.wG*12<ߴxF|%eyik&'DRK7 TrEk˫_qåHܾ4HHr^+p/bZۭF bĨT3u. _GkP3y%;Xq+S%(<>ApnFnph^0E6_ . M_iwͼvlHDpi= # #tʜCyPɗX> <-,^M(Ce?VgJ4M\{#!SCsn\3NP -mQ\zt Hc >?toc$BIV 򟶣Zz$ovMdXU56' @oe/Ѐ1#G2FBr%%[TKYhY n:#깹e4F* ^~޵-'uG \\ azToPԉ, bt:7RnNfqp=53=XD$D+4.8 S7 YT3ҴxJxnL+'`3Hua\Rf*zDȸ_F쭵2aelQ xOS?\'*w;[PFrce&L={+2Y SjB鄒(ǚQ!hoI7 @*.7xlP(kfh͢*{LЍ ok, wUz|qHdW/ "!d:J hMuE9\`]-*G#b%)Wк&۽ LNQW#X8MqKY\ R]5=2!#fq^`Y}HN|\2^sq/UwsoպΕ}j,HA4LH#B\q:Rr,Eb%(LP|#CvQI;*8VҖwYW hFKz3v;$st)E ʼg\1M4;F|@ De=w}m"82>^rUɞq-@-E|ֶ4vxw^s ~v]=<X0iC֑>#,,wGe%jO;o\}E)_|mL`7}؉_+ԯq3ˋ6heL}zRpw3@δ[ak\#jI~' ǚDGhu\̀b>̟Պ=KB-`p`?$3v`¼Z/5ղFZɂ(3Nͳ  7zlMEvM@2hȩWDs OaD󎸏v$r#q!1p*c.L]wZrI鋀^!h;'W!;BK ϥK:{tyKE9.j}^=&q m뤸)878s$Ҋˁ՝Dܖ/rҰ&F3UWO!w5*w6Y&`,(ZC!\u&nS/ID;|A ̯#sW82.a=5^h#€oOKu^6a4P="1o+eM+ 'C-_vr|_w>4Dk%:l g,zv\ZP㜚3dҟuJ(ϖQVǎeV;6g-e.RsIErimXsOx $J "K[}0fq?e@ d\8:GlF+-z=ii"Ɇ&tFqM_ְ0V?Mp&-sJ9e%ɭlA4S_BqAG֥1ka˳a_wW; a,ҙV+׍5`4n7R"Scՙ>_LY\GYnjDRA3-t ~8t?jx`[H(PJPDj G;kPLZ3?5̋dϢZ> j7eAxS#74־ ^Eu9US/#J*^kMlKAI<=tE.[y萐iӑat:C,=-oJ,'a?Ӱ|hlA~Va[i`2Xi-hHp@M[ThŹv w'w;(G +ڋ l 3@&V㉺3ؒ4SJbPg-viUg v#'Vot3rM@!^Z!MSue{E UW12uutnq$7b&cc(7b*ZtAa|:+%j6~>0>M+8 :hF澱e;zxDB\kMWt= bc8q}|xH0VJrYkEݔӽg*nqe@ogVeݓ?90Y4or ;#< hՏ[L:c8w̰cۦo =whwre@+fcm)%K_gPϗ}&Y4 *#@Ы%/L_?3:K?\_mޗm&i:c4Uy͍ +2hRmd$e )|ILAR5 o:Pt%<0&򩤧YjSZI.G0ld bX ,fs\B1^T8^F6oVs654{,qw?inQ§j9LmL2Z4$dy 12]A ]g6@G>@@&-:Cnw`9}c%}(T*ՎCCvlUctKˢ`[6ۥe{wrTCė,DZt 3ΗX.t]H!1+.asnv>0y嶈پ(ڬ6z.4@4Q V473*c@*<[D&M }ϜEq?RzXay:̥w?G`Hhw!cl]|EmdW82" L'ME F  z"b*la$o2rΫ/Sxbj4,Uck0k uL+|jʸ=UM^۸Wu,D)"L|Cxus 1 r V*,-h:VVCvcO[X6F(C.ʎ<JTAF -e@~CE(chW*wF33ZMK*0 +^Y=h2?-%[ jVݙH=$q\L_%MA޳O>XE+|h#?h f˳f)r-HI"?  <ptMeY2JyHQ pSKPkbWTjx$aM?eæKnrZP?Py[aR1,[@2;ONnʘ1of"lE.b//vϬ.4xMTyܳeAI'~1CL\&񱄨ˮlw/JցC "l8X_n凢#+ixZH.mD;2._%D@`xo(@:gpeG@{.1VN_] 9:rȊu>ÆF<G9AC.LN穞Uf~pț@1'.,o*Ȝ{ SG`RezZP2/EYjz0GC'J_"s=΃z弅Wh`ڧd^ qCC c=;1R1ъ@,8 c8õkn 0F+$"45\}ESs7!_{"C3!b:ޢݓIV%3Ca$)iOK7!gKї8ŹD~Pu=F d 9FA* wmS13gn1aֵe; U%<;(  :u2Ki,o7'0gk%Jؘ؃ ̓#CB_e|x(wx7/SJ^p| 泗c~ؖsp#qwm0V寯C355ۺFCpJ͎Y LZڭyOiȉ7sf p ,9oD{Gpvy_i%ɲm-M;/x½%.w9O!K3> pCEm`V5/{{Ai4֯rhRn#WR[;P 7ԯ1U<~oQBu4r>μ5] ~!MZb2yi;3Uzo̷Y Jsw1;3+/XՋ弹g#duʪǎL>%x" $ \@^R(#?-Sw-t$K"xfmnƴZG#vAےmIyj~ y+Uyӕ&34B,WPP|NҡvCAG w_&Qs Ű*g]D7^BWO026 OdvKtNMAVWnC XnXnŞHne:jO>D,e"Aк{lhUޏMN +&O.׈i_ k}0U#u S9ծJbCCrqCJ؇^z|'E%ɃY٣ L {ܜ;X X\L ㋜/!8_]%d:51GEdhM XSuZNS常^hA",Oa2Û:.le$GGG 'jCT6iTDzp3l@iZ0z C %82}Dl߾6i@HÈ]ˏFh̗N&)D=%%j!J_kZD;xbH!)x pQȚQTu 4Do`P4I8I8~G>FLƑ /MѵpJ߾P$^gnamOoz!ƼAPRީ#D/f"RkܤO=Y2{CKɼ/se-C d7HXevԺb]2A^PƝg~[-]T EWZs% U<1DkS0aTsL":߳c*r14LOdѥ,63l]́$&]54<&n(VyW0J8;ya1V2 R;^ 6))CR ӠXIĨ8I2sj*#'[_}(PƸ9*R/$ wU5¯ǒ롋s@ +,<3N풨/rs{5L2.%-  ~M6{Ϭ&KqBƐ)ͤIg_ )j5a4I(1IM/2ٸ=51#̬QzerPAL2sj]G50 e]/٧u%k\ȿ +&X1Bv h]!נs:)Hc>.GB,64/[u}:G%dhh䱊OXt23!5>!٩^rv>p pm:V*4W0E2jPf$U~3 F453!E6T)qn=&nW[㦻v4"\g_C# Oh&3d?]EUt(Fɛ6_f&DjHΑ;/RD,?0(&]~73R+xCh vqƀcsT!f!'o'p.y:|9I8gNԨhEi؟eR1Xtjo YJA3QI[{@6Y]S_hMrxI<>;<(Wh~QĦ>t'[=m;C[ϙ?iL{O.iɥE2Tpړʠ> x.^wEBL[LWb6Դ O3Z*Ijm`> c+kŹlQ?kja!w ZwW L7EC7Ѷ |-mz+:P:A\ ~˪ ΟS C"M ^g}"p#EOe|ŬTF)WjpaGΆ{PmjY IX.d| |лBy')nN8QL|1j$}dZ5y\Y2[a5叡b2;.x#.mٟhf\|i%?0e09yho/B3[wh?A$T/@xnkIr͵*ms}j^z`Szo=Kov8 |qm%OwF-pDܖLԲ[V%*|4)oW43jpk7ogXtU;'Ey3R:K/X$ÒQz}|5+Pd`z|Nd;"8%g*5a[VofG Y͜,-H,O/©o=bǙ&) eaqqzFLS?g!jgM?e-")9ӹ֛{oϨRfy8W_K/5^PnP>L]̱AP ?M0L zJ{f(J.0 W2Y}=u>x3;U?`֡S\%jc̠lA?.Co38^D,@7Gua&a1K(_z&'Ⱦ".׏&T-3G>|!wҥ\f$_ONe2OK* >+lX$5\'smAI2F ڭ>JtEbOoTa.A2tITC }-ho_VVUCJ˜Uc53dkEńr91[i]{6.`^ܳS/Uɀ/ªDq0]@MgLt;7kܺ\ni?E=F͓C8ZB schSC0m0F]X0R@v)>A%o$F6,v}}eld8껆`xˡ򿾑 4gˉϏӜVw({+cm35.X\_؏՚AB௱7 VZ#~là>8{8{ *aQdK ;8Q @ ґa 4"#e ! ^jZ  \)'0}0>1љҷzF-\g,2;sZr!-PO:GD1귔jD >?c 5ڞ>,맠8StP%5Q|W,za\eæ˱$c@8C70'R|R"B` ~Pc!zmsfAID5cIocl{VF퉤 !*kY" F  |*I7OՐĄP@*gNow傽}jxCtImнvwLv#i=͘$9Kt7Lr6(5YQ19mr$ @gկgB]΅FlXZj!0%MbfkiК Z,FҴ_fo/U$(4? 7:J.=K g-/,|`FZ3u6adǯ#qΪ*Dk&`F-YM#Y 6rR7b>O~tadr Gx肔+4y.R\精MΌl~fPe{놕e@GɅGI!ڤN(x>٢|BmM%C3Ѿ(;Ovt: z7No"KKa '-R/tBtC߬vo H\`ͮtrv0$IF;R_RaD!R8؎!<_xo q 9DP/=,; ${\A;i?zliR)R!ZA2enfïBЀ EU4]DcсE]νZ~ˑѵ5) WR݁K^S?έU~'2ۑɈA]>ZMY82 8)m]%͙g,1"̨5Y:ˎLq ( &}1Ƞ]ߕ)6rC֩e .!Ԏz/4R;yhڴJҚ@pB#-mGsZ"Drm׀wŲRz4r@fo,61h`{憣nfMM< ;nbX% 7Z~fq؄谨 J[""BM-aYlnvhM$b)SYog~f5#척_p'JTKȿ3s@OzS7 :s-o/[.S׉<j>e:QLWGOцWdD^gWOp25l:3ʜ>e'4sm 템:od#}jY+#_zi:,+/FTMo/WĭF7FJfYIkpaԕMpe[]U*uqpۖմ0h.VHGp>?qw>g[)mi(릒9IO0eSr3TEzvV\4 ÿ-_X+8bN2Si74V{%?dj6Rz 0 <uNRA& zE79M&U&cpYJJ'Hߑ#i^}w 19`!;ؔe7͉<530g)Im {Cq M]wS;yz'l3G6:H:WQ o2:>_ıE;ڃ+ EwtΈ3P8t7GŮ9yqP?B \Hv:$$m-u6SezL]J.gVqs'Œ_ ?*!jY2JV1e?gQ`Ql,:W\z[ۆ Uaq ^|́#|_-i=˚ tS{hcsUZWPH+V+LZ>Рb0Z>u\ܰz_65* ue J-gG ,ůb[Fs<6E+Ѩ$GRta;R>Ke |mlGro>b +Sy5NΨ!%tA􉮾 ohog6"Yx u>pW Fisv8b"fF6=qfl [4۬"4qJֲE1xI&gřMt0Z]Id)!9p(Ƕ?7?gTz!ǸĨ2rs6 .pt{I|^p ig?tX. /McD1,$u_j9/9Yob}+c-$h]¸@pakʏq;8 (֙$bHsBIWQYc&B7>wajg)#^ubjM0h'4ל5f^:Z[NŜv e0&ݠh_w-\{紓k ]Rx)GlޤG_1/9_=|RhV<߬aoO`ZY3CS pQ .C6'YiJأ)]?(*w|c#㷦I [JKP/|tiUNDx`uVK!)S[-H5ibT)Q+'_ȏ2?L< Ct.Լ- e˹z0VN~/sǧu}#Ǩ+;Mg_Z|)-'*^{$.&OcyEgfM$b>d0Kubh$m[@aiGpm"XW;| y >tՠb o?l57qZ%C= N Hh 58*$29A zS=K3yo.{8)M}C!#2:-DCq͓r& 8;x ֵC>e(r8nsY9;ۘ? z*E} } GYq~"2}knh_YJ2 Ri_0֏0EArr\hS`oĩ-e;kվ)nkQ9$jdx.Ja+ؖhY&vX׎1ţ.}T5-yvsK -vۃSBe^#V}@]"*}N`揓zsXZBJXyHǒ }b+bw ]s/4bHd?/\[0M4LK'?$)xP/Ii1{y$3Umg|3۷VI<A~Xr؝5݈uR<Tn'Q@V{hyo .ߧxW,TS+r?;{FL1!d>L&Zx:x5 SRb&ewmoZ[3/!?2g~G5oo h.4X1 ʖ,P䇆dPvdCoCV {qgq!9<|1;i'|!-YԄ(DT}a6$IZ!x|GY#(,)yKTsm񀆧%>26w1TQ_uU=$D~ 8硿 '$86RVqEo,~Am.ݑIu0m*p!@AQ>+MQMɲ . +:v"Bs=8OUKKZ0`Oo:JD/NV4"5@X#ER"6a!ESrȆ #Zg=&^?qx%&=FDIc l qcc֯0gc3z³n澝@iA<& ⡪ ;U4<{WXW"p4a?gXh@>GHe[ #r?.]m7]::gU`E!` ov^+~89BYZOzqNG"ydiQX |_`"ePʀx i~t' G+e($Ý&ҋ|A)~n9/,JHGrlkX*vޒɞǛ}Չh.h.<_·&<%0C'*o#H{zfś~s5&è% ?Ⱬμ%Vr