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  J7x Dl ] HOL-Datatype_Examples:threads=6elapsed=84.461cpu=408.268gc=67.8967zXZִF! se ]ŗXiɟ,|\=2%i#CL<|͸C\,ˑk-뀆S<|Uk<ު6%dTTZz 6$) %ɨャ{hJU1m'VY7'LkB0Xkx!_1  `G 0">?V,l65q@g+h+2NNh f]-}* o'1s;53@|h;|c҉>MWgNǺ.ul|7? E?YOaH/+gsĠ#dXRXJ>ԍO _PQ%*3=<5/\Pʘ_פlsZR):=>36/cwz=2xiv,a)Yj{% R3'L3q siN?}Ȯ2;vݑ C7^Bsf(!P'Q&9xdmsژ(X*3yv%&cu4vbu30 ZyOT23 6 ZY 5ʲc>ג8VHH 8 5HCcY" mSW(K6;p𠖑FrH1Y%oVBV0)2GrY< 7 HOL-Datatype_Examples#Q;~ytoje`[VQX7YG |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 /R @ \U7a-HOL-Datatype_ExamplesHOL-Datatype_Examples.Parallel_CompositionPIDE/document_id2D7E'HOL-Datatype_ExamplesHOL-Datatype_Examples.CompatPIDE/messages1j7eSHOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Testsdocument/Datatype_Simproc_Tests.tex0B7E#HOL-Datatype_ExamplesHOL-Datatype_Examples.CompatPIDE/markup/A7E!HOL-Datatype_ExamplesHOL-Datatype_Examples.CompatPIDE/files.G7E-HOL-Datatype_ExamplesHOL-Datatype_Examples.CompatPIDE/document_id-E7G'HOL-Datatype_ExamplesHOL-Datatype_Examples.ProcessPIDE/messages,C7G#HOL-Datatype_ExamplesHOL-Datatype_Examples.ProcessPIDE/markup+B7G!HOL-Datatype_ExamplesHOL-Datatype_Examples.ProcessPIDE/files*H7G-HOL-Datatype_ExamplesHOL-Datatype_Examples.ProcessPIDE/document_id)A7?'HOL-Datatype_ExamplesHOL-Datatype_Examples.LDLPIDE/messages(?7?#HOL-Datatype_ExamplesHOL-Datatype_Examples.LDLPIDE/markup'>7?!HOL-Datatype_ExamplesHOL-Datatype_Examples.LDLPIDE/files&P7K9HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFsetIdocument/TreeFsetI.tex%J7E3HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFIdocument/TreeFI.tex$T7O=HOL-Datatype_ExamplesHOL-Datatype_Examples.Cyclic_Listdocument/Cyclic_List.tex#T7O=HOL-Datatype_ExamplesHOL-Datatype_Examples.Lambda_Termdocument/Lambda_Term.tex"J7E3HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListdocument/TLList.tex!D7?-HOL-Datatype_ExamplesHOL-Datatype_Examples.LDLPIDE/document_id F7I'HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFPIDE/messagesJ7E3HOL-Datatype_ExamplesHOL-Datatype_Examples.Koenigdocument/Koenig.texJ7E3HOL-Datatype_ExamplesHOL-Datatype_Examples.Prelimdocument/Prelim.texD7I#HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFPIDE/markupH7C1HOL-Datatype_ExamplesHOL-Datatype_Examples.DTreedocument/DTree.texC7I!HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFPIDE/files\7WEHOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Codatatypedocument/Misc_Codatatype.texV7Q?HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Primrecdocument/Misc_Primrec.texI7I-HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFPIDE/document_idT7e'HOL-Datatype_ExamplesHOL-Datatype_Examples.Free_Idempotent_MonoidPIDE/messagesR7e#HOL-Datatype_ExamplesHOL-Datatype_Examples.Free_Idempotent_MonoidPIDE/markupV7Q?HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_Toftedocument/Milner_Tofte.texQ7e!HOL-Datatype_ExamplesHOL-Datatype_Examples.Free_Idempotent_MonoidPIDE/filesW7e-HOL-Datatype_ExamplesHOL-Datatype_Examples.Free_Idempotent_MonoidPIDE/document_idK7S'HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_DatatypePIDE/messagesZ7UCHOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Primcorecdocument/Misc_Primcorec.texf7aOHOL-Datatype_ExamplesHOL-Datatype_Examples.Parallel_Compositiondocument/Parallel_Composition.texI7S#HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_DatatypePIDE/markupH7S!HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_DatatypePIDE/files N7S-HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_DatatypePIDE/document_id J7E3HOL-Datatype_ExamplesHOL-Datatype_Examples.Compatdocument/Compat.tex N7Y'HOL-Datatype_ExamplesHOL-Datatype_Examples.Stream_ProcessorPIDE/messages L7G5HOL-Datatype_ExamplesHOL-Datatype_Examples.Processdocument/Process.tex D7?-HOL-Datatype_ExamplesHOL-Datatype_Examples.LDLdocument/LDL.texN7I7HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFdocument/Lift_BNF.texL7Y#HOL-Datatype_ExamplesHOL-Datatype_Examples.Stream_ProcessorPIDE/markupK7Y!HOL-Datatype_ExamplesHOL-Datatype_Examples.Stream_ProcessorPIDE/filesj7eSHOL-Datatype_ExamplesHOL-Datatype_Examples.Free_Idempotent_Monoiddocument/Free_Idempotent_Monoid.texQ7Y-HOL-Datatype_ExamplesHOL-Datatype_Examples.Stream_ProcessorPIDE/document_idX7SAHOL-Datatype_ExamplesHOL-Data(A7E!HOL-Datatype_ExamplesHOL-Datatype_Examples.PrelimPIDE/filesJ'I7O'HOL-Datatype_ExamplesHOL-Datatype_Examples.Lambda_TermPIDE/messagesW  m`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)`ѫXX Pi튈]/aW"w9f=4 C roDBX~/;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|ALpgYZRXX7\[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̨+LygYZ  Z Z}7Y!nHOL-Datatype_ExamplesHOL-Datatype_Examples.Stream_ProcessorPIDE/files~~/src/HOL/Datatype_Examples/Stream_Processor.thy7eS 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 (( 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"7Y# lHOL-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ۈm*].<hD8Y#vy~Y;U(/zhz5Pn7?19)1KXu` ĩ/(xTJծZ|4=ͦ{],MT4 :w - tyhs^"NڕCu} ;а{fD^Acnqom!)3kǑ"pXlT(SkRC<1‹1ƪr#q@i%wCLEzlX1dg *ap?JV-Iۛ['+{!fqj`nPձ.x!jQum1Aa~glO"VL.ϛg8oVQfuH0 FPqon큑)ɸ[oj,I7U2kL.9E#>L88sM1#޶UQ=؎hKў0[@l_km}|P`!`^ 䃼]  .Iv`6Ka/LdnxSLn=ʖ>]1=n{)|(\.ܞhc1 v7Y hWT wF,xׅRpm㩭?C(" <#&K[QUs4Ŧe+se55""O'HM^縈& .BO fI> 5kJCEfZuibJ+7o{sUnU?){ R:VXTwV"2NzŎLtE/u@9ba+oL ewHs ? QZ{ۻ<}[ΥnseSZ2kY @ۘ,hɤ9/@x*՝5T(1Ce c/=+Sp2Ax۔ ",G%gYZq%~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а'̽}30gYZ L L 7Y' tHOL-Datatype_ExamplesHOL-Datatype_Examples.Stream_ProcessorPIDE/messages7zXZִF! Tc]D?7 {?:fH\z?TTI]C.?wLd|³>8<X9L\q~tgآLb^w2+C-4p#֯z bGW,. ?<Yp4Gu)= vX}Ob'dե 1t 2vjRC6lFmDOOcpoƉR rb3f;bmLkz0fr+q\MPC'[cB"u{;AA1jL]N7bf_R*Dj!B|wjU?iHt 0~ZZ{rsmqol*ЋUMET˺JJ6(aYCCqK;Ol- e޴L*>ͥ¢N3:㱟F~YFco87'c5dN'p>Y9׀T`HYn R) hX˨9W58&}. ՒM DX+ ;oK\VkW sՉH СY >J)/z◒8%0^+&zՉCcߟ'\plL% *lH&b {"3[EJ=fqYG$BɔEYd„- /IAK`HLνih9Px#Q>pՌ{?Wucow0ڋѥkl6ag)IjCaDh<,K&hO0Qݖl zUbC^Kf}9n+qy+~yN >s(F ʰT;i^'="D;_U?:5<L^ְ Okǀ+.> !R:xC=2W$1oa]  gYZj 7G5 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搰327?- 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 -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 Qw 7S!hHOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_DatatypePIDE/files~~/src/HOL/Datatype_Examples/Misc_Datatype.thyR 7S-HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_DatatypePIDE/document_id546, 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;Je|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:_p:EHA}˔Ѡ-* U $j4w`5ͬm/|tCVW71SF:4 磼H\m?f-|8Պl ;h([DI\ӡӍWXegI`A'M|vId 0!S<>/.g':Gf.F^K$\Fĩ~`Kԝ^|T<=.\d:-,6$R*aven]R%Z)/V_g`KanYS\SM@Ӊ| R!5\C@?M9>꫽*z҉ZUoz"##F e yK\W(t(PVB1iznȔDV=-LkGa*F c_gVߪ8q*"FJs|gɮPZEi88% 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 ` 7e!zHOL-Datatype_ExamplesHOL-Datatype_Examples.Free_Idempotent_MonoidPIDE/files~~/src/HOL/Datatype_Examples/Free_Idempotent_Monoid.thy[7e-HOL-Datatype_ExamplesHOL-Datatype_Examples.Free_Idempotent_MonoidPIDE/document_id5327S' HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_DatatypePIDE/messages7zXZִF! ]D?7 {?:fH\212af="`PL9$B`7$a#-Ό#ܶX ?f9UK<+Vʋ[ TbƗ !% Y8+hw@ /FX!e=jkq.=iʌbpSxTl9y9f%8pgd?l>y*,1,F>VzYz = Cde_$4o=!m`H%ɨ|zfskU}lE%>Y d_jǗG \7|½"߾xcR߆5 ә*,Þ vbHw4Xy@"BkNG VSt1|1RߧEx ƃU}TC`m^6NV5lP9GX8661˾(lBdTU&RdQ ޔ :M3o V>c""4a&hGk e|&jrh <۶r(!edi %B@}qxؚd y׻Lt{/ yysl1YFbgYZ(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?$gYZ 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 7e# HOL-Datatype_ExamplesHOL-Datatype_Examples.Free_Idempotent_MonoidPIDE/markup7zXZִF! -, ]:F.єYUy{_ O- ;]j4V.zA$i)sr-W`ĉ`XX IR|&Eomiϭl""aA@r"oIuu&tVEQ9wMy[EىS@(;0gߢ /ymTm-̖@4gw@}>߫{C(lUj+ ;"c*CP-:_[r\-:#vdD` _0" og3&s0a%M}zM՜qha1X[ɦ&RՄY;ɣ GnvpH%?X@9a[S] o5}^2@j5ݬ往}_KrG}1J&H& ;Te qM`ek^}_]p; 0g֛CG" %VDS˙c<('O:h@.9REASU8 6^:L-Cg* Cs:z/O*s!߳nR`&\VhO{9jԫ.g.n4qB|0>{U&:O`0qZ~fn|/r(T-rN $ ~.4Phz1Noʴ2+I%g@jb6I'蟲&>VB<;NJ\w5 *Vf{q8B:\AZ`"f-d}qpN|V_6eQ8o1H ǿ9۽M&xmOۺT5 b}rd:|^aPG{뫢H-?bt@qVq=6t{+`]\M. +|{z5{sUqrȭ5bQdT~i hI538_K"rZLLoN}U>NXA% oӡ bQ xj{î4f{kDdϬ9Rd6 Q,*&I# ML4_%ctSVӴבS_%a IѦNE#&YtlG&l/0g`m-1ɇD pla49O:s ^ꕝIğBR~g?)->Loن5ܥSDm"h,!eS]J:w mqAΜ3juf/hRMu= 7],|uW47 'F`3ŗK>SqZPd<f3l#i+DɈoi@v 'No)sq6,KctSkECXߩř 3Iu?QzY?CfA:Ԩ-2:k6T6IՍu)(#nGWAVܑI!k7pN Y4EMga_ƃmŘ}U2Fu"S^yGlD:ұ/>3d$DuiUj2TyK7{-]%$Vc]/>|RItGyʯ'uˠZ5w$Dv"i ]G3*>LUqcH:XGR &&`71Ǿgat "]=Y -9H-0 }ɇ k:=? t6܉P`K[o(aGe7ɴ?k6|piZӳC4 &fPU;9zX4V-ލt1APuq(&e2LbvRS}$[Nq +@7VlX3S#r2ӗ#8T֊J@|͍L}Q |VY:wc$%1G4j4q*ځhmyȐWE 8y9K Ժڜ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-gYZM7I-HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFPIDE/document_id522&7e' ,HOL-Datatype_ExamplesHOL-Datatype_Examples.Free_Idempotent_MonoidPIDE/messages7zXZִF! ]·Iq n[:|&[zD7x*?N od6Z7x' )_}N}z7v z @גL).Np$eJ'b)%(\hm#i1_bvEs1,0ɏc˧x~k^u~5ٲy֊oYl;p ;1-έE[t@]'ZUWekS]ֺG(cVl!h:3hHعl"eguB@",YYQ}ĒX efLCi:NeA|C)b'! (, .9HGf{]BRwKwJe-~Yű弄9?^%Bu.K tio3"Oמ|>#M( GoDJiIM7(S]89eGFU1꟢ࣻdnd O%}X{ϸ jަ X`"c-+ Xix(L@ u92 9 ^s>{t!{<ף-N2fo}aR<'W2R i*uC9633(zjGYV]2?tNK&n$Y)'30FJ| $3+ 2E&U{3t|9DYV:{4A4c v/P>XAn< %˓):KLB3,aIvjuȧ`Р8 3.˪vZSS ? PdG< ?hyI|&-Woa+֠t0~ |AӼ-iu(++6ۜ~tD* c+ Hkwg ,wy*>\j7Gl~^Ls2`cvc) WVLn`у5h!߱gYZ  { m7I!^HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFPIDE/files~~/src/HOL/Datatype_Examples/Lift_BNF.thy7WE 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 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 8e1PRgYZ *7I# THOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFPIDE/markup7zXZִF! + ] !M젗OFK?gaGr5̠腭j()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#>scj`\]7ҩ/9/V'NmQ:$RK~2l$,NmJڻ ß!_ꎲ`rf0fxjxnsAZ##De[\+ݷ4rA=|St}l$-Xy𐖶3w Xe}ޞfR}nhp =t8uz2pCK qElIXJJY NPOX5'r(Jڃ3 h1?AKB!|0=nDUisTZTґǝFI,: \NRB5GZǍ"P&Ħ` *؍UyV7ܘ(מ);03ؽ=[/fSf#Y'Wp3SW=VR:@9BM7΋R'K%Urww؝#@O gCJ.IY#6*6`K CM]$q}& {`A=N;vj1-}enQ3}A q;q:ư ,$EɼE.,+ZD 7Y୞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 5H 7?-HOL-Datatype_ExamplesHOL-Datatype_Examples.LDLPIDE/document_id5347I' $HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFPIDE/messages7zXZִF! j]Άxʆ5.f-9 rq=jq^Y&2^E Y :t%8 [!%*--cW]\zI65U j⸻Jv_hvHLB-gaC|ߞxP !=T9:c&姾_'k?ֿRZ=p#\vl/GV@~{g-,$(%0eWR52o~{484۳_̖9l62WS-j') shӉo{JD%E#D+Un,7F M4 ڝVs#9 +?G)VדS~Yu*SCe9.Иö9׍2r*rߡM#qw/ji<Eh2Ype ~CG( 39) 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"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  Tc&7?!THOL-Datatype_ExamplesHOL-Datatype_Examples.LDLPIDE/files~~/src/HOL/Datatype_Examples/LDL.thy%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"+[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 PHk*7G!\HOL-Datatype_ExamplesHOL-Datatype_Examples.ProcessPIDE/files~~/src/HOL/Datatype_Examples/Process.thyL)7G-HOL-Datatype_ExamplesHOL-Datatype_Examples.ProcessPIDE/document_id5387(7?' tHOL-Datatype_ExamplesHOL-Datatype_Examples.LDLPIDE/messages7zXZִF! 3]·Iq n[:|&[zºdJLš*D Ŷu%]H?E1(8JtxjÙ v} ڈ" {= ꩁr@rNf4gOupHGIcɡzۥK&8u_mQ ͯ"!v yH uJ}!$*;Ac}H8%& h %@A-VƷD\WsP!BO(ߧ *5'S!.PLbjls{?qs9DYNWff%cUlJ |%d%;6-/BJGUܛCEm/Yh9Q0qgc<ҮE_Ht.c XOAj%P! kM*i}6em'3yS"u0 MFjzX>VíT7 Y0 qX?'I-}XᝢUݏKbGKЬh_AGh5ߧ!$h/kLic3.JHxiұø@&H$%nyhzZLġ$F7x5dzDy=Dj!gT-!8wud Fv-EK%N)Q]R3{`+YHr m`(Cjjpr7, 6O]#W7ՓIn.ۣ-<c:auUl˭||qꅺwIEF;6WdH2!3&gYZ-'7?# dHOL-Datatype_ExamplesHOL-Datatype_Examples.LDLPIDE/markup7zXZִF! 5Y )]:F.$"4'/VQ[⪱֣6S7NJV4qܫzn+v(vзxBZF(7џB,ΞgF;ΰ`RMuWM-Mj,o0dA]>TbfL6*8w7!OF 096DTcƼ͝Igt?1@:<0[%ʸ@/u+^1.?%1rV?c|:;4-ҙql94IqN|bͳ>u{{v>KVXue6+nXS J~dQȩ۟bD\>Ψ|ScE7-ZOzC;ߍ/Qw eИ4&RLbe-DEVhe. )-fQ@+(c.\ D^LC_g۝X)g])Ul$'l/Ӝy6Bwya^w<N8{G t^ 0 *sCB[záX ׻m|N\~K2Wc,i2g+f *8<}6ס7 $*3'I G,OUDdF񂞞vacb`l5T1MF+i*Ww4pЮPyODmW|@lQ_Q?ٿм7hE bzaIrH/ <OŔ͔3UeT>uú[m)4"z _0axJWD/סJȐ#s"puy̴o/Y`Cp=lsOSz\;_(M z,H칋c@&FFM M}$4Y[1ȧ$1i1QFaq H{ ںZ^G`jfi$ZO5ͧWh-Dgj@g *:[eDP,<' =rwIB#pGt93n;tfW-@݈n"7#?ёu P7|p ja*0,3d]O&ͬa2]<:hWV6 u%A5$ْi?6!PwLV hs~uNv&D;=wYaryegiT.Y4/)^}-MtX1*k!LXu,Iy+*$.|D3g"{} жx46vRXqx~ߩSr5TŸe/:YNnU,CHjc!Y$\/T`N\ɋ3 cƏ6uu1L7l@ˡj8s_ؐ.QI:MHz!8rr~funT c4B Y_7xǯWf Z<˶ zdN${)_6_`ħU4:|Z PuѡI) R㬆q6=&j% 2^DQv 'a e4T n95 t6^qxm]6Eqr8oa#5.Yj$>5ɸAֻW܉Q6 O|(}}ORfGu; *Rav DWz<.e4uҕQzZLTS )[1@3{Ge_:BLW9]<8֌(fU& A7+8>m˽(a=1B'h&}Ô/soG%楆{U"phJz\H;R;Zy!FwMKKOi^ Cr⡔"/=_ߍOעԅA鴮V9r N_TBsj}gYZ @@=+7G# |HOL-Datatype_ExamplesHOL-Datatype_Examples.ProcessPIDE/markup7zXZִF! " 8] !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\ǞI--Sh?-Zyantj#ð?88#NUos7}ތT hr3ޙ?n~(W7bl;/ua>s^ƓcTHVOePzV2*ȟP8U%\Nwt#lRތnuCL BZ=.+3e&Vڶd/x3yi@{kE!t:yc<؇Ø|*8lЙ` PrX)#{߸{MY}XezhFewUd:?`k:,UbG0 @ZshVrXr 1)G% ŴʵjW p;S dܲ"Fn9ھg_'^Qis\d Cwz$w`>F-D.4Im u3/!&WZ~J7DerߵN 39LY˗"h9@ ޴b8DhsSfۻtCFri-P^d5zs&2FzB-^5s!LW}kE.'CswOۦz{Ͽ!頶J;LqKw}ER]B aRIArLBUH+Pr+?u/J.!(]C|dwspR(<MmL|P gRXA4] S%φPrX&%- 3@våxefg,9,%'I0g4=V w ߞ)=\4 Q`f80JTKE<4kAgr$;#jME͝3"PȢX  }~F4'QR,Bm?o1?0k c2@)/;9; %-yL3-B14bG)?fo>PX9L*c>ela7f큀*gKA;UuC30E4ïf{o|ٶ&X=yd`.ӂaR K]u. G۱'1N8]eB ܩH;s@'SۦS?$@Jܽ2=]_!>.u)J?~gSŕgm;0P, _J`+'}O ,l+j[Y|6ݘ&^^,mDN~*)&0?&+.QA T5U*'2cl?n`1x6 s{"Gd?w tia>ܔ icHL]1")eu8~ rPb(jUz*wDA-byv :NPX H5qoƤMe%,aD.TW#D^;1t!AkL *> Y@tE.gYZi.7E!ZHOL-Datatype_ExamplesHOL-Datatype_Examples.CompatPIDE/files~~/src/HOL/Datatype_Examples/Compat.thyK-7E-HOL-Datatype_ExamplesHOL-Datatype_Examples.CompatPIDE/document_id518k,7G' THOL-Datatype_ExamplesHOL-Datatype_Examples.ProcessPIDE/messages7zXZִF! ;]·Iq n[:|&[zltk]7% RFi!%!71-TllЙi²tϗQ3D:pԙnW%ԟ 꼻Fw{PWo}snYm M% x9oʲx<Z7`R,"WGa5T"+:nʣoCCB;nSϵj7 ffJ+ˇ1P ][N2o^H wէBN> dLHcuI7>0A, TN%UI(=UحĤxd,"Az lk=%emM$6'<܎W6ğ]#r8u.(HpʳbㅫcWיYAd!ƚ̫¸K)I3t]v^_1yS4&vw.8ydMc57\}ֲ. Н[%ӦZ1SOe|J*֚cy2X&%d²B /K kL՘ OdXsd!D: 6{c ұ:hrXp~Lm  -2,6zwL,jgyӾ+],~:ЭTS7ا12ZQ gL=~8/?`bx{ Yjxߔ!l:ӃmhZl v˸s\oj.f7Vd^xݽ5_ITڶuq|us(N V. U<²W}V%pһ sYa^LDKc::P[GB;u';w@(cN`-W5sP!8/q8 < B]Ir zTw]2ܗ'|^n_g2Q#+ ZO\Yu~D}^1MPe7ūFȢfC X5 vxgYZ  5 5H07eS 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;ȪgYZCV ޳8Qܝ'gokt} j#Ghhb^ؔ AT}Rgyx xPmY7UС9+kuc|($i`eMk@axZ]>Ι&i, +K<A=L4yXRf [̓©Ǘ:9əǚ+ǞLoYӕ}Vy.)e1Ȧa:*N=lAXa꫼v9GKbQJK˛$zLK(l ; PMI_Ja6e^`܄W*[.$,BJ7BI@1h,߂jRb<=}k $z=^(qw]d G_U>C2P~B+N97VְD+&2eD#VCHRsƭ<*w;Y73ߟ!q=\ɝq)C"`I[޿1X5Z^qv[wh| W@Q vxi@7Pи&:Eh`V;Ubr+-9We2_޷A`đK[bs=}\دӀxLFhf+SjAo=ԁg-Gq kQ8NzhlLA]f%`ǚ t9VM=mtxa61ճJ#,4t蛫H#c8 Yn%VI5͐>!-`Rv/GXg# Kf Pl8,ujn>q)2} msy{a-,ofCQ0nL;?D ٥ɌRGL&C5j ܏'(nNk0 B׈a_݁8Nq89#9qDU2eslϟf% *%oV&C6!1w8P.0Y%1Cu8tKM|__xZg[c& 9kc!!5hYΨ=,ϟ7eqA!֬tL& ͼQhX"$ismY~~ q#, ^*y},Z j}/GRdkFdžJHጸ{zgp낖cdRsI(yxgQn'g ^z (g+uݎ 9joF)fe#~:2N1{ 5 *FaDi@yA6],uUFBWp+cz"$23C"tM Dc{)Ҝ_?w劾8G~%ğICF?U&ߓ>P@"yaQ."Uma,?ӨwxfN^~x4x1lW$epi@>+ÇLjFlYW5h"E pt{{ఛ4(؟NOX²nE7 ̀4 snu6Y' 9[ kOqS&KTg92B>[DŽ%6B ӸXShm\+%TaX4 FAj)t`׌8!_,ۗ*;Z#h.5{'ke7mW ! !ྺ5w9_R1o%p\>S5碦K_KJʼy)0GYqJ.e@vI Y ʘI8mn1AB%^kgpd<-%N0nV⾧R yu˼D8DgthB]xyUɅm0_u+)MkɱO|[Ѩ/ Bh֡P2HMne{DS Ɓ3T (G/qoC %ю>P(nq eS7H)zZ,y wf":N.~nKX7%woVջtq;}/G_53ƣR{Wf Xؖؒ<]0QK!EƊT>j+X.v',5<֤-7˴lHsOc\Dr3o2C_m nڡAGS`*%Sr6{FSa`f˟:p Ox K3w- {)D:An|<nʷgm65q*rP}vEH? ObUx;-0yU߮Tkm6qO&LrƑK㥂~YUXZ~R@o[lw]!<~U{S+(0rM__#ر Kn1j rg~vs+Ŗ(jO9K܊B9+ap\eaM`wi(D9R~eҏfbf)_ᜊi|X,:~12>a O2~cW1b X#1QUJ[?vn2n6pcX O\(Mq%+8 t88| Ƕ|YKOW/5rgYQݹUsEl?lbb3BȂ,ZdXHq6'>~+fSxY*~%G~D]DBhi>kfO}+gyI+HYJ9ȚW-m ]1zF߲ Xڶ{_WjWLtL9}c*r$}^/Jl |/:1_m`<Bc ."̱}1uei ["OXa&O"|c˳c UDAgiPmںo,0 S`qڿ%?F( G5a̚A+J#f0}y3eaSDlm#1z6k  c ҅ ]=ɭ׆h/mӿ93@<9^]\aU^]@IRŹvX,RRUcB-==j6my*67ue 9OE\:sERmQ/hyC7mfv]J:P gYZ F;F37a!HOL-Datatype_ExamplesHOL-Datatype_Examples.Parallel_CompositionPIDE/files~~/src/HOL/Datatype_Examples/Derivation_Trees/Parallel_Composition.thyY27a-HOL-Datatype_ExamplesHOL-Datatype_Examples.Parallel_CompositionPIDE/document_id554:17E' tHOL-Datatype_ExamplesHOL-Datatype_Examples.CompatPIDE/messages7zXZִF!  3]·Iq n[:|&[z{?dא$u/ }3L٤e]}{>ewǰiuo 39۾,kIn+ Je;C#I!%Q{ r,J]'"zgz;g 2+)iח+7J)rG'l2`GpfMDHˣs]%M7C 2P3۟{̢T/8AdDGiO>. 51˫j{e&EVFo8|P~LHnKdy,빨@p:ICН΂N<57?drUI IP ȀrʯbwgSWPKptB7)B 8Om3\K |z Sܖ`lml}uؚm{*|}#oLJikø>9ك_RL_HJ1!Y;& <[wŴgs7́q3{`v'e+Q6c07<.25L?̈́wZs%҉? ^q%5:`:qXss6ȄMkjb='h!lsQ .?q^{%.ڲ7N=ķ|E$Ž`aXcI) fT**޻ڋ>=@(gRI.:kY=۠A*%unAZ#$Lhĥ-T萒zh$G ']bzITvf'l&j:cU6O&IYʑ$ brw,Swάӯ@&4HS1-P{h>(KQ́Xy^0'7,pZl:\m{@D"kM܉dy"BE0CV Y&iіC*{OD쬫HĎFײD-%J꠩?}x_!VYy!y8cQ_c+B5)pi|FhY-!e~ÈV 1LNOtUI jwz|0a|Юoǧo˥ H؜Kb!~'ze2al# TaZ7no Nmzk|oq޶nL;1\7Fu'^q=k&9+y\xIϳԊ0G@WD1_IouAarՌrePF'z+8 p+T7'?* j[ %5N+JtwJ|@AZgHG 慯A Fl t#.Dӛ-I ^xccNqr)y9+շŢE5i[4mi/Lp)7p qE uDjESv}:qr=lm_|`b5 :)YחXEq)^2 %ˉ'!Ux)ZW,HbrƗplw<=ă~Vz -оJ's3XR`LqGtN&F/H=@ Qd:erJiLAw[X/vS݆P l;ȵ@hnD)Il=!nlQ @ ŠzӒOSBs 0TK8Ha1a( {&Y>*Fr yE 0| {Ŵ_|7% )v3V } ( ^  k  U  [WB~<c2b}4AJ7K-HOL-Datatype_ExamplesHOL-Datatype_Examples.Gram_LangPIDE/document_idhA!D7K!HOL-Datatype_ExamplesHOL-Datatype_Examples.Gram_LangPIDE/filesiL-HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_CodatatypePIDE/document_idBV7Q?HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_Toftedocument/Milner_Tofte.texJ7Q'HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_ToftePIDE/messages=H7Q#HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_ToftePIDE/markup7?!HOL-Datatype_ExamplesHOL-Datatype_Examples.LDLPIDE/files&D7?-HOL-Datatype_ExamplesHOL-Datatype_Examples.LDLPIDE/document_id J7E3HOL-Datatype_ExamplesHOL-Datatype_Examples.Koenigdocument/Koenig.texD7E'HOL-Datatype_ExamplesHOL-Datatype_Examples.KoenigPIDE/messagesOB7E#HOL-Datatype_ExamplesHOL-Datatype_Examples.KoenigPIDE/markupNA7E!HOL-Datatype_ExamplesHOL-Datatype_Examples.KoenigPIDE/filesMG7E-HOL-Datatype_ExamplesHOL-Datatype_Examples.KoenigPIDE/document_idLP7K9HOL-Datatype_ExamplesHOL-Datatype_Examples.Gram_Langdocument/Gram_Lang.texaj7eSHOL-Datatype_ExamplesHOL-Datatype_Examples.Free_Idempotent_Monoiddocument/Free_Idempotent_Monoid.texT7e'HOL-Datatype_ExamplesHOL-Datatype_Examples.Free_Idempotent_MonoidPIDE/messagesR7e#HOL-Datatype_ExamplesHOL-Datatype_Examples.Free_Idempotent_MonoidPIDE/markupQ7e!HOL-Datatype_ExamplesHOL-Datatype_Examples.Free_Idempotent_MonoidPIDE/filesW7e-HOL-Datatype_ExamplesHOL-Datatype_Examples.Free_Idempotent_MonoidPIDE/document_idj7eSHOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Testsdocument/Datatype_Simproc_Tests.tex0R7e#HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_TestsPIDE/markupgQ7e!HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_TestsPIDE/filesfW7e-HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_TestsPIDE/document_ideH7C1HOL-Datatype_ExamplesHOL-Datatype_Examples.DTreedocument/DTree.texA7C#HOL-Datatype_ExamplesHOL-Datatype_Examples.DTreePIDE/markupH@7C!HOL-Datatype_ExamplesHOL-Datatype_Examples.DTreePIDE/filesGF7C-HOL-Datatype_ExamplesHOL-Datatype_Examples.DTreePIDE/document_idFT7O=HOL-Datatype_ExamplesHOL-Datatype_Examples.Cyclic_Listdocument/Cyclic_List.tex#I7O'HOL-Datatype_ExamplesHOL-Datatype_Examples.Cyclic_ListPIDE/messages[G7O#HOL-Datatype_ExamplesHOL-Datatype_Examples.Cyclic_ListPIDE/markupZF7O!HOL-Datatype_ExamplesHOL-Datatype_Examples.Cyclic_ListPIDE/filesYL7O-HOL-Datatype_ExamplesHOL-Datatype_Examples.Cyclic_ListPIDE/document_idXJ7E3HOL-Datatype_ExamplesHOL-Datatype_Examples.Compatdocument/Compat.tex D7E'HOL-Datatype_ExamplesHOL-Datatype_Examples.CompatPIDE/messages1B7E#HOL-Datatype_ExamplesHOL-Datatype_Examples.CompatPIDE/markup/A7E!HOL-Datatype_ExamplesHOL-Datatype_Examples.CompatPIDE/files.G7E-HOL-Datatype_ExamplesHOL-Datatype_Examples.CompatPIDE/document_id- ~%b9] o!hyOi! q !< Ex6 )f$Q ~K7W#HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_CodatatypePIDE/markupDM7W'HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_CodatatypePIDE/messagesE\7WEHOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Codatatypedocument/Misc_Codatatype.tex7'HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFsP7W-HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_CodatatypePIDE/document_idBV7Q?HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_Toftedocument/Milner_Tofte.texJ7Q'HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_ToftePIDE/messages=H7Q#HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_ToftePIDE/markupL7U'HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_PrimcorecPIDE/messages9J7U#HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_PrimcorecPIDE/markup8I7U!HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_PrimcorecPIDE/files7O7U-HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_PrimcorecPIDE/document_id6R7a'HOL-Datatype_ExamplesHOL-Datatype_Examples.Parallel_CompositionPIDE/messages5P7a#HOL-Datatype_ExamplesHOL-Datatype_Examples.Parallel_CompositionPIDE/markup49HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFsetIdocument/TreeFsetI.tex%3HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFIdocument/TreeFI.tex$3HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListdocument/TLList.tex!FG HOL-Datatype_ExamplesHOL-Datatype_Examples.Stream_Processordocument/Stream_Processor.texN7Y'HOL-Datatype_ExamplesHOL-Datatype_Examples.Stream_ProcessorPIDE/messages L7Y#HOL-Datatype_ExamplesHOL-Datatype_Examples.Stream_ProcessorPIDE/markupK7Y!HOL-Datatype_ExamplesHOL-Datatype_Examples.Stream_ProcessorPIDE/filesQ7Y-HOL-Datatype_ExamplesHOL-Datatype_Examples.Stream_ProcessorPIDE/document_idL7G5HOL-Datatype_ExamplesHOL-Datatype_Examples.Processdocument/Process.tex E7G'HOL-Datatype_ExamplesHOL-Datatype_Examples.ProcessPIDE/messages,C7G#HOL-Datatype_ExamplesHOL-Datatype_Examples.ProcessPIDE/markup+B7G!HOL-Datatype_ExamplesHOL-Datatype_Examples.ProcessPIDE/files*H7G-HOL-Datatype_ExamplesHOL-Datatype_Examples.ProcessPIDE/document_id)J7W!HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_CodatatypePIDE/filesCf7aOHOL-Datatype_ExamplesHOL-Datatype_Examples.Parallel_Compositiondocument/Parallel_Composition.texO7a!HOL-Datatype_ExamplesHOL-Datatype_Examples.Parallel_CompositionPIDE/files3U7a-HOL-Datatype_ExamplesHOL-Datatype_Examples.Parallel_CompositionPIDE/document_id2V7Q?HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Primrecdocument/Misc_Primrec.texZ7UCHOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Primcorecdocument/Misc_Primcorec.texX7SAHOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Datatypedocument/Misc_Datatype.texK7S'HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_DatatypePIDE/messagesI7S#HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_DatatypePIDE/markupH7S!HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_DatatypePIDE/files N7S-HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_DatatypePIDE/document_id  ?Hx\87U# ,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 ,((gYZy77U!jHOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_PrimcorecPIDE/files~~/src/HOL/Datatype_Examples/Misc_Primcorec.thyS67U-HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_PrimcorecPIDE/document_id558t57a' LHOL-Datatype_ExamplesHOL-Datatype_Examples.Parallel_CompositionPIDE/messages7zXZִF! ]]·Iq n[:|&[z4Q/( brJH'ZL}Pr{;rJyiVOfaL,OLN7v#_"NqcqzǕw, @B1RQ ArTƄI]-Ve5oS2Q?;KER{wI3pd|I"B!6*|wMUI3_rp-A`hZ$.QӫRZm bJ|>3t D,rT4ۻ;$$r(1v׃rCC1gILbZױgYZ>47a# 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!7-*fRIl膼:ٺO Q#"I##D[6V{- -) ӫᢽTUFKѶ'nm }v/";5UF )0venAz;XQ&I{N&a_/> kx@@u5`6ڰ[j")c^x˖Ey0p79D2 :dR%c $نdW^rCo۞k`zUZ6I>ԈK,;ձ)Ue.^g,h7 F͊ u9UBQkժXv4 BtAln\QuFht8SԖnԏ˧G,>JuMwLFI{/jK6澩t-ڔ)2<u`Քϕ789=tE?V6)`q1(e@6qg(H "EUذMDP\6rwd ][STzF ˲؇hθr#.#"+b*7!duK$*Kxj>кW/4$k}kXD F2d' @rP`@.4)i g4 @ՋP^EѬymME"eD")i sRPᜤ7Bvf5,ـPT}nziF%|Ig({t {McrG|2钄PqEW@9zkF-Dfh#Rmf1T߲N4(+॑COo~©W)Mެrl XMw$?-0hrdjd?Ra0e:x4b<|d%\wڛsLޏ&\ӧ־hՄcZtaj{վ(+FQ|'~B+Ah2+tgtNhcTɠ. )z ?-bg7ZƣW Al\dGr-qV4'P6֐ l7Sb((H%;ue )d xBTzHxͦajT>e 325kgYZ Xu;7Q!fHOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_ToftePIDE/files~~/src/HOL/Datatype_Examples/Milner_Tofte.thyQ:7Q-HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_ToftePIDE/document_id524R97U' HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_PrimcorecPIDE/messages7zXZִF! }]D?7 {?:fH\<B̾ Lim~D2 oo~}Ua*(zk_8֣ vb(u"P jlɷ E̐ʑqBe~NN? &d\OQ1LH ɦF?%<@jwc_su ,3Xx7=&fF.Db|/(5($2OsHT/㳫Nj= VP*PIg :ta>,lB;=_4xAl7DfG>_`C52<~,R8I$ =H(tU.vYL(_۞ @ w2 sjq?j_\Vڵ:@%QoObTh"+&$ Q s}!*Fd<hFJRN>\fA>r\i4+SdRVBݤCf70tob;f4S]JCo6C-n~AI4B FIc (o -/h9!{$.20T"ORSkY􀋯NyaMnRAh(|Ժ9s;X`j`AT|dr;ȃ&' rGKIg0cgh8SďWO Ccc'_=2ܷGJ"i^rn@<~GRtR©$F>ŕ*åvx${Zd4Fv8N5W3)Jk w }Aw&8~Qh#@oyl ;^N~.Q!9d(wu8(C6Ub"$hN@?Qւ'WwED?%(:=Uqtre$}K4Eͨ*7 vꅨ<E D%2-[)z8 V4bc#|sM ':Ht2I v7IZ=dKbf iLe.B\7r^!SO[:W#!?HQ7RFLIV%*a}"x͢dNhcwR1sզr .|Hf& bp/imY t/ k{Uw" 'qWN!s-ܠ8ο;m?lɡQ].{ ;}] _aD{O޳>s2̼to'sQvX%}{vCtS-8ADDMAHr( = \R'a@"f7J_140xx cd2蓚eT)P8}w^@A͔I ^SCJ<3IJ LFƨMg$"$!ICo솞 jc0{}̱\r~ `711@b'8iPpи3)]M'|va{LnU@^@`psvp VH:hlv_-|k9(!Hr9كWCN% j 0e[j Qx-/v2Lo6b2:"m䜠xrPDz[%R^>tvyaE_^>6}\[~  0бgYZ u?7Q!fHOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_PrimrecPIDE/files~~/src/HOL/Datatype_Examples/Misc_Primrec.thyQ>7Q-HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_PrimrecPIDE/document_id560<=7Q' lHOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_ToftePIDE/messages7zXZִF! /]·Iq n[:|&[zŸ8Ac![{|:w$5V> vFkUeBxUڒf; 3qMϕhE1/ԤK}b˖o]Fs,4y{VK=U6gR{]{l-fm", @ƿe1(k%W*>) ( cUʤm.$+Ȅyj{e6wERV2*.7 9TG ޞrԧR %D:u%%]~槯` CG ߤ"tPRVOA 7Жѓɋ(&f9 0nOoF̂֨R={&tYRQ2݀hfJGﰚRR 㒘n)J/MoH c "I:, Q Y>\>gmr~{h'kJ' &4&orv́gYZf<7Q# DHOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_ToftePIDE/markup7zXZִF! g] !M젗OFK?gaGr5̠腭jB dmcÁd$myᝤeQ-ӌ21 ~N i MBb~2M&1,207O?SasfBD~[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 EkEYy> pPL`]1#/i.'fbBW>Fy*id@ cWPDYR #񑧥u7-?xDg?)jv)s4C| dną 1,YDt˔:X߶)㖇mEaIx#R4Xoa+UrބJSUDYSJxp=?[xX !?rjOXuY)Jz4-wrLu \fmi9Rɧ<}B<܅a A'_SN'㥸0R/PRZy\:Y4W(i|hX4hFo zZ[& .Dg[ה=/" l!_>Q{ ɄM|'2jO+hɚ@t֘}Q6-'yqX{g۪Zga"Jvh=]4CS$םJ#5N鱞^wj<iu(ؙ=:Ѣ"`0zmBbX~"=E깶bO%/~8v%zXaQi Gɭ?X*+b oVl"L3fTX&Ǣ7Py9\"7~+uG.U^^$HOCyVQeOiVӂAq@UE4v :[:Zr V"?:sQ+v gGkQ4Y3и?I%0J1NwVZ}I>?4ơ߄8c0rǖ(F.(`4*)2:igYZ  {C7W!lHOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_CodatatypePIDE/files~~/src/HOL/Datatype_Examples/Misc_Codatatype.thyTB7W-HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_CodatatypePIDE/document_id544@A7Q' tHOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_PrimrecPIDE/messages7zXZִF! }3]D?7 {?:fH\VZR0@+,Ixk~(~=0FU $8 Y5}׋]a(0*9:#16&^}g$` b#{vF$hdTRXB Q>(Y=EJTt`>MUmS8PV8շ*bX7\]Ec:R%^Wn1咶ipm`z!J$ 7:v0חtq +N ˊ`!ٵ7sƟ& '5dr+, ݗ7$+$&*:G°X+VnHݐV)3䯸_(S=佀x n7OtF .UD`֩C$qµMn/?u%ye.6*?heD]{?% enPe8rWۑzٜ4ML%XWXc bj>b &B lY|Aj{ѠКI_LC rZ4#֮I7ss*z-$d_C3ëЃ˄ˈSL.Y@ `Sk""n ZxmG)xǼ7LJHFV&=[e I+8m?ȖGbZӌRp)hkаpӗ՘{No Y!;9! Hr,EwGv5tqA](b$/6eh='yHiPgu:S z&n5f_zY| }=óq=mVcJh@*ŭQB؝bOjژg } c? %mҌwIWzq+AP }I,! LO9>MP:?q>s@,n‹.:mψ1PϤ z.%VTvK -(vX?zc13<}$(Qs,8s =\|W%g莓[iD?<7WE#(b@A;F?#]N\V]14}?CIK10ll"У&pn[|DV'C33qh ;g#]@}%aL4_l2h?EexMiV;(%g֞u?w4=V7R+t^'ފ, \H AonX£v#hK C!59j\ ^6}81-gYZN@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 整 +}̱gYZ  Z=zJ7E!|HOL-Datatype_ExamplesHOL-Datatype_Examples.PrelimPIDE/files~~/src/HOL/Datatype_Examples/Derivation_Trees/Prelim.thyKI7E-HOL-Datatype_ExamplesHOL-Datatype_Examples.PrelimPIDE/document_id548SH7C# ,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 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իdsMJouř磹dGJ"LPf5B,rcھ pp6TLY@~tEASD=brl%uðc޼Leј/jt BWyc"8!`"jqxWa^g}!~[g]E,ɜ ,lZw le)L!q#(@mO_rZs bme:y_lU@]FYZR42#z%hyufH݌ϩ|4'ݸ-zHs?6qtf&dU( ka8{W(Z7t#c@! BD V'hd)sUR^0_ 1'p\H`U:X:϶jE75GQG%yH قE>z}ל(zªԅ6hɮ[ cie|dq!Xi[SdYhox ҀQKɈ꽔,\55!O ~KVDT3i; b *gYZ  M zm iQ7E!ZHOL-Datatype_ExamplesHOL-Datatype_Examples.TLListPIDE/files~~/src/HOL/Datatype_Examples/TLList.thyKP7E-HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListPIDE/document_id526 O7E' HOL-Datatype_ExamplesHOL-Datatype_Examples.KoenigPIDE/messages7zXZִF! ]·Iq n[:|&[z08dK5 N]wUfF>)UZ/ejҦ6 Rb+y"X޹\%;07co:^G~):‚ͺ]F+|$,m3v%uՔp:!K=;s!f$Hj3^;W>b_g-S\,T$Ca|l[a1~;ea@,ay} Fc@*Guss}Oi~TF~"D_ dNsshڑ-V:Fzɯ7>|#̄rK:ZSh;ZgSLBұvR~]IЛ ߐ⮤.΁ޠ;T< ԖU"٣25G>dxp;$8EV ,(.RĠ[BxO DշR˜C[%Mg@M TTpk&E>/" owSOY*_;px_v4ĕ&!~)A*&a="lۺ=[. H[a@۝y?\njiM[bH*P$k,wYK|ӂnF/ |gIcãil aAI[^|,1drUPMR삑?hJ[i*!JR)oR5Hf]?a!Zv. ,'~C w%|F\ط-h;Z4[g6RbEeEn3Rl"N !:sпcWpˠ?'OҰrL }*)c4LP:lƅkbG5 u''IZtٳhLOK60W(V=kEyl~; s܋S`E-x [DY/GAr51BFxv+d? ./fao. rոZ<"n.~XS{-4ø헰 )pp̃@PO1b΂裊0 %o94+iM̷6XOzzc b4@ܓW'oOtBN螔o Ȩy#;2˭֒pm^ap HX(!(fXOL&6+|1"J[rmDU(F %KB=gYZiM7E!ZHOL-Datatype_ExamplesHOL-Datatype_Examples.KoenigPIDE/files~~/src/HOL/Datatype_Examples/Koenig.thyKL7E-HOL-Datatype_ExamplesHOL-Datatype_Examples.KoenigPIDE/document_id5360K7E# 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Ѫ ̱gYZ ) V)5V7O# dHOL-Datatype_ExamplesHOL-Datatype_Examples.Lambda_TermPIDE/markup7zXZִF! )] !M젗OFK?gaGr5̠腭ji gx  {rӯ?x6KA~cƣ X!ĸk+QoI=کw0NԂx6_{U@R\%$ d A91o>$|UsQNI=kqwb,}KNLi"f7g6]āS{2 1;_0PBDoXIYwCc)o\Hҿ1MC1_z0KdgL$ͯm3ѭm%~cD(0\^0Q#tgYZ4R7E# lHOL-Datatype_ExamplesHOL-Datatype_Examples.TLListPIDE/markup7zXZִF! ^]9H}5@{;GrbDA6F$NVXi+kXU(,@p`n-9 EB3 0oK(t%nKhOVt7@sɆd 0C۟vk0XS¯?۴UbL/^*SiӀ2઻FGY&<5sqoՅ#pz=_i"Ƞu!.`}nٳAC4-2 ^;f5+,G;?\6N =1,uL/ Yh3qpHmk8ݽ͟!t݃>Du4/`L7; Q6~gӥ~i.qJct}QI,zhJEN a~;|Ǵ0Wqe\ΐ GhjnPA)8NkzZPl@pjCﶭ\-CoK <E5^ $hqcʍ\óMS3ͥҷ t gQ1Gz?q]U^{,}45F||!u1J\=JeIHgc0RQX 17ӥ'r26?SVhxٿENC0n&ҀƤ#mP]Zɂ?^({Fm*PF$_9B{:6`}۴vCС$C蓡BvbWI-F? 걽5 b߅VgyZ ]3Ɲ7\.V): Ʀvy?I6x,/8"b5Zݢ֥dDSG5݊,t:$hN8{zY-˩U#R.)Zxk{(ZZzE! vXEo/OȼF0Ego_ԥ7GǽbH2 DRz 7V 1I틗qѭ#*v[т&?]v Re$ed`ʙ#'G+s5:s7cJ`_ fMUi$PFÜJ?:N3J#]W3>)uj]ȓڝoorkL:7@만汊ϩ81Y@BQ3X.PK6\ct`E^%-\x}H O V,fa Q9<퓫1Vn07]yJEH-Ud}{jA#[>iIW\iL:;s']ͻ5zn)'0 ^gF6B+T_!=CLۿ ~c*v.~4^0Y=2Y oxR =iO&ScvIdb1Z;.ǵ/grYUMy~d 8C g E6 qbKQr'6(ŒxC@ϳ`Lw+պ\?^8̓%QBR E/ޮ>>u&sohj]CxW^W'.N A=[yLK[ "vٲeX7`jULRq^G݈/R {uvQ-('@:0҉Yy9 W خpıןfXzG(icEE97Ǫ[( S MRBo͛lVֈl2a ^1Nl W3c8~txD*$? Ƥk]dX'jd 5ԆKG mAzȦ0S}Au_Ɠ"I!?S=^ LFe]@LˢX.♫gU*_<mQ\[P S/j}6B|E߅n\ɳ0 kgYZi]7E!ZHOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFIPIDE/files~~/src/HOL/Datatype_Examples/TreeFI.thyK\7E-HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFIPIDE/document_id528[7O' HOL-Datatype_ExamplesHOL-Datatype_Examples.Cyclic_ListPIDE/messages7zXZִF! ]·Iq n[:|&[zWuDo9d +m; .ȊsKpF^tζ|HB<$BGoAŘ{Rl4m@i1Y )j|_V1J_ VjE[2~rMeߕ{[h򩖭5@G[CVqq}dJ "|r:X{mUyv%QNt0}= PI~L>+R&J؝Z|=vαgYZEZ7O# HOL-Datatype_ExamplesHOL-Datatype_Examples.Cyclic_ListPIDE/markup7zXZִF! :]:F._&w蓲ff,Ɯ^L,k!LˮoDoB'Pco;Z#V95S-Dye:ʬoO٢ن3kU`Z^+2t=b`)lěuݷ+uZllK? {Mj wI>0=*X1[6~$W$BF67פBrJ?~zrY| Q^Cf4 EVYEpbEKfIdl xL???!HSAw2LL>f:E]}Qf3Ԅu/D0^KcKIlkPxoDS_3;5M tz%G"BsטZ"{^U(VDW~nHjdr ̷fD01h ELWiS$/R9Y^}[.]*2RVI'D{Ojmb+^,lYfߒAB3ed&,S.+Csw`2U`_rNR9(wIUZb'&zͷJOmt8k },sk&54̲0ȿ;N! Fw?|ӱ\uG$:m=)$; \+T/!qaf._IEcf@Zv!]rc7sBJmio5rg6 Ʌ 5~l;r6,D-Y b5F0jt_o`?ƱgYZsY7O!dHOL-Datatype_ExamplesHOL-Datatype_Examples.Cyclic_ListPIDE/files~~/src/HOL/Datatype_Examples/Cyclic_List.thyPX7O-HOL-Datatype_ExamplesHOL-Datatype_Examples.Cyclic_ListPIDE/document_id530OW7O' HOL-Datatype_ExamplesHOL-Datatype_Examples.Lambda_TermPIDE/messages7zXZִF! 8C]D?7 {?:fH\z@FgIMOQ 4,0AH[[I"w8ZUxcZ GU 4nuh?"]r+/*(qH/dTG7]<Gi.+}7r{p"vyq9\7 #YXJJre]ȵ@Bm*}k یVݒjL$ \Ł(1܇F||eߣ#~믌&/[x\l쵮Kh軲5gTNƁmI`)IAdx-EJ&T*Yk)k_ rLq#>7\!淵pZB@Ш۫KTj6\Ef)[{ݩ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ЊgYZ f7e!zHOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_TestsPIDE/files~~/src/HOL/Datatype_Examples/Datatype_Simproc_Tests.thy[e7e-HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_TestsPIDE/document_id520d7K' ,HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFsetIPIDE/messages7zXZִF! ]D?7 {?:fH\}@}*qcc(C'V -HJR͵9cϊ FK%HfdoiH=g,=x!w,?G>`)rESM\Vda?51t[q7&Fh8YqǴlxo{^ )qvW("{~3Ohoxa{N+*g~h2.MȔO A}ϸG; Yrgo"64Cua#?^@n(Aϋ2>UBLk6{щoWca74hM8ah|( V'r 5%S ^A+{,0ڝǤ4 vX8om ik1XTSVW l=gYZ;c7K# tHOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFsetIPIDE/markup7zXZִF! ] !M젗OFK?gaGr5̠腭jS+y(QB~g#Oj@U)ݧKU/JxظNu Pú?̵8!WT7&F3'-SĚF U7CQVB`ſ2?Uʜ]@t1kc>I@0]G) rb[n?OX OOtF*N,k:pG-,s+h-k=!wYqX$t\grG%["s5Ҧu-F59V@gYZob7K!`HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFsetIPIDE/files~~/src/HOL/Datatype_Examples/TreeFsetI.thyCa 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ϴþJ2N`7K-HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFsetIPIDE/document_id556_7E' HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFIPIDE/messages7zXZִF! ]D?7 {?:fH\xe[oTeÕN82ʯs ~+ [;;zGV ٬ 9Nr<}3}ӬU?Hs|ø %FG7W1FdRUǬsɚ{MP~ 0эB RwV3>t^HAauDFֺH{!4}w]./sLN+ e\UIoҳ!| l"ړo5p<ۗ^o! OQ٪%wh*}!@nZ=O3@znIE[aX1C̔񼇲\a˃; ̔&ܫ3qtlw 0j>INT4yzy[daqY)oJuFPOBPZ|O ?qt#$Nk7%ʨ36H̪`}S*N-w_Dapp^tEs\"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τ5(*/ڹ )ͪ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̼\mٴedCO;4ajׯu+O 'w~j7/XlBǂwLK>v,I+R5xOglE[[:KȔSMzY?o؎,.A#mt`/M)QRvp <ΈŬ-]tZ' vcêeEs4Ge{M%hlGZgHe 6 )HD8ӽ]Bxe3HFyx'H%|;2vCȗE #퍵Mq.Io-v~Q~",ؗnAX9 `iFG9oF^_uef)PpNi,C 7=Y7xyKh9]#̌*vh1|M*#=}'% KIe$S#--A"[v,Vl@!_@^@l4`G~{﮲z \g_ RSeb:*89h^WB4/4@Rʈ'?hsc#V>OԭiܤH8 ^b fqP`ׇQLѨ{D5=>Yz-&[n QoO"T֒i8 UF*O`R!Z>ce]+tXdPpCI.<- 6o"{>F/˥\^*{~,;9N<&ASmy]nyS 2홚ldQMwQ. 8uh='w` ҇5 [xwYڎftLnJ.`]P?Bl@L^( *<ۖt+ J i׀\f'>f.qF^\o >TlS׸W82LS R{Yf2; >#sTvun>5Mf-^@=Ld»|Hg4o9EzAc(Zt5˅8?fQ w.E2Ble5q'&)!D,7= .F1oeM]ߟfo?z(<Ŏ8Q`0k 3ˆLf.k m5,y,QrfW&l? %ӤTy:w0i.&Õ '%7\T;=EN_FLn7҈ &@N]hfB>EϵUEB+G;w:x/AhJ}sC\=v3OIƂeA)TbEzUA7iQl}Зy3`QBixRFn(w G5@y] w/HwF7`K(QSfK5[K7!5zs׽;% ɳoΦ_}:N3%B}аڅ4>Ȯ=E3綺XH#-6B=#lo8woYwīXIbkhy :o9ٕcrT!3"xKKPT{T^ N+v㣩AJYw-åVFpE7;St'_ި`~C=FV=͐༨~fR(4L^< įyٜh->NB]]~2 VYe6{Ÿ J3F~]~^UtExj)K|Ṗ4yhu˓#|–7{I%jYY2 ڑۂs4QȢH_49 `F$?:wX~ wE*R:%^*Q㐠]Wo^e7N{9\%avn:;τdqo'QV{W1G$K\րݦp%Qj$:FSB7@US o><{˯ܬZ;S7-(3a)9rF6&s >uKNHh̩JV69:,ueTW^Ra%BFo뵃nĺr*P1FI4.Q$I|y{aDQ]\J(9RZǵsP/J?ϧ[ g'|0`f4įu]tO&oRӄp?k܅xvX*Sz"Kc? / N7@R#\X,(C6O[=r$qƕߦxNe4f'NNтqxm8_sC˛~$IEH&=8\qO7+V_ד@7@!dUbhbj2d!E.CCS8VK]=mwfSwcK-8+(~ڭB;s(&$x啇zܺp#O8Cb tV"7V'4-h}g+a.Um/5˦eܷ; ?t@&) ɋBϻ+V"޲jԸߋ˝ۤ.D'P ѩ"S0d2přxc:אAuj<hۿR 7FDw|IBd\ s AFjNv˾yWYŀ{ҞrIk>6<=w0ޢLM|ՑFyJc Jʂ"iqftDVivvuså4P .5LJȯnSXe >Mx:zucBN6:𳃹DV 5 uof|p1̓y!<dMϥuֲ`ZBL0zv1࿘8c&K.:j~UDtxƿvk $3zGGA߁U {2qrp[|&!wWFi{qĕD'Vf5mPP)nBa\vJ gP e nl1_`^pPME}gg^ ( EYg1ZPaA&2Zfd1p&& ƶ?k e~QUaXl0wbq{oQCH[ w,FPi^9C}wvRpnIyTZJFfP8s}ǮIs3,"'Hry΄ o"Zە; aKʒk.xAw,u;2~_ -l@UUIPʺ=V+GFuʯLBG@pa_ݒUc9lVf\0s= vx1A 51! Õ=#MǢNa,rf(C_臹OZle!K(܏| P٨b7X LF+| Weq%q],tEos.\Hp=|3$ԜoF*:@Q \wJK7MqCPB R}&$FuN ~jH?uXEw9< 7{lц1ٮN~ip:d6o_'?9h Gɧ}sxFg,Y@G`ӴnvdQTALpYx9znzd"&(růZbt !5:҃I#!b_Q!t0w7iu}Ԑ q)hnl ZAfsegsmm't]p*Slq1u41Ӭv ~}O:ӑ_@|g5&~},)x);~6q&Ғ>os%هZ kV2~5:eЇ%]e{ʪ39@2jI l=:*X2sy+_$Ik,o":No a\`L^]K[lUσ" _L1cTA?[?0It3UF}Ӌ:W!O ,Vɤb?yl&v S iTϱjHC:{uA&ꐔ˞ .V w#0 @): J˱(ЇMnC7;S1^&`:>Ev۱_#)Fͅ d#Idm񎒸JrѢ%pg-c {3l\1-8/JF/GKoM:nHc8)*FKig[ƫ q뾲sĮ68Ky s/jڸg˾{zI3ا!P-Ek@θ"JB "2>ddv̆FUJw+a%'.?Z3f2{ךd2UM`b WM*8*5Ye 'Kfї\nq tєy+&y1 ]^{zodq~`w1k#v$hjIb-N-̎A@P9@-upj\֠=M-A0_XPxԹ(·Y>SϠ.9\/:*^!Cfc۔,k ZB]|230Ma%˨>q=V[{:ٍ^*KfkHI 3W xh zȦNi.~\FQDi8|M||f36m,Ĩd,@s$<`@%XUNY; J멛3R1ڂ3XF(Tnȣ7y`؛9Lmה&5}r\+Gj@{9n [vJ!1P:&0-#. `0F`R<@]XCP+ QJYyEq[.&R|CsY-|(`L:Di"OP6 3U9: |H1`\t"L"#4oLhљXqcɕQɻm5wuvcUKYSNo]WnղXpN}v@Hv:C+xkj3ʎ FەlՏWF]cRZhUU29L. p#E|!ȋ`2q0r`DY+;/$w/]),/>}8fC(rz6oTz%΢?RPBrxiA/= [`9S2̀p3Xy%op>/[<@;\)7Y.|G]Wt䉌t?^] B3vzyJ^J\eP&&+~9w*h1K]|_2wi^߅9eP6ok5[uHOL7?x5Y!t(C#=_ԧv=c 99i2sLtk`I>DLڥK㝘m0OsψxT$%UO xx*Ɨ_JNg{v [SлHWNV0&>x#D7M||Df'U|mPFVՍr" ploAg#I_-FN=LV,N>%Q[u_нE9"s#%K\hxN0f$c!><5uwwBq*P<w&Q5#/sq}EјD~IЭS?ψU|vO Bq9א8jtp1sIrJGm~;)l.PHEbTHBc~1љ!k)0Qw6#pnWo^`^/;E'3{x-Tpo ˗3ia9Ϭ1E*G;%䈻ǚ/S****u3/SbwH2\Iu>b J\]ͷ#@UTWW$lsݸ-&QAFER8y봄|$!JPM'.sPm}ӡu_HZTcRw ܤHg %eF[&r~jZRb=Uic'L l@3f22kí53ƻN2uI'vH<ASQ{J==[)ްtn}GM6顯W{E `P]٢ *- ʨ*҃o.[cfH5$?\t։0gv/(Q|'\y\J'kv!czi1;~/`K!(QŨjI[:{$|SY~"Uj+, Ds'Vvlq g6 z@s,[Z]([/*3a&!Wd~_81Y/!*9i3bĤ۽:4j4ΫcymXIh]ApջhXW}ـ ZvF ٌ裍s&G#ADc /xL|ȳ6ļ !?t\WyvjJ!r7i*xLo1դ(1 0~9 2ˍ-on4їI%drzj&I!t;+oi+:/4n\ i4J>>څZimfZ8A@ =3⹻?!Q}v3a Puv~ i?Ck5ΟU&&۠+ijm6A|yAZBjL*zì.)vU_/&d*]3TAw|$=Z`9z-UF[[UJ Z'9<u| o؝Q؁X7$-JrZ挿2'7`!Mi0K<OH*)ulB)܎[=uFکz^z,5l9;#wU5uWͪZ@)f v!o5 k<=h S#.a&?`JD&k)|+s 5ۋ3?RdcdOĦg#mS<7{e:k F?ov yۦy4ӼAOmR4 ?U%SCag$4 c+dj$}"wXkbN!k eis>MW-lZ.]v`RXdz.4 eFIH=\z|Rx/} wvdK3&:5MTГK*QTÓW'{ëes6K-Tl?n}@#`'Ya'6I/ɐiqw1a8&9Ff9`Os8  1k7K' \HOL-Datatype_ExamplesHOL-Datatype_Examples.Gram_LangPIDE/messages7zXZִF! 1u]·Iq n[:|&[z4@-}h 'MxAIk+ly #7B;q|Zr6XGt<#* P!TښAaU53Bpx{^B}R6՟ag#fY YMalW Bw`PTqIh|q%&7m] [[XQ‡>8 P44Mn!|&jͱJ#x|z#r7a%YQ';PHݳZw~YD@O/axc<|a^S?ύ]7L<5r3t9&3dس^Xu![UGwS+oy]IնH2#OKPCCz^(3ó.Zsδb?6'H3.a霵<, \ a7 XIƤ cf\ʝM2 Vgq+yҜ |$ -l%6-EZ]vw'"Re>T"I)U*']>蔴lĭl5ccmL[:~ZV0*b6a`ĺkYFTJx:iMrϢo%qfQUiEC(Th;{}j*<:>AKx+A-+c-ʢpdweC-͓?mvxhv̫#P5t;Q>j upݙ迡% :ySw;bic1 ܤOc}}QB-۔mΧ?^̨Lrhܢ5<4`6EDIbg0N)nh{]r01 "䊔f2>"Y/JJߒO0Y0Za/%!*hg8α7 ~~N.cul@!Jc=MkS,>m[ށQ$]^_4ǖiAJz}Y*ýqtiE xZQE)t /N eÝF%Q<"!.1rW@1CN~@.fa;[~ĝ@(\ez&O*IBj3],yQB{$.Lhn*VJ z K^̷lߗ$MaT(mf4ض8^,ݐ %30$4^2#16<iwg9Z$ Dt=F|L^b^C8CPgsyM;8En,{Nc ztw'1Ea1I1[sLZc.j:ca9N;Ɛ{̞W{6}A=?%D˭kb_Pߚ݀ҽM_UbqyIh7~yaO4u&%k PR ٔ޼r,7en%'GH `k87Nc+^ߗ tIPdH?7עMij]kj_I7jT-uL忛 QKߧF0!E -vFkBLʠpsaEvy|KƑ[$% H J2 H# PBx=Ŵ/I(2+H7W|ˠpRJY;:FIXD9T|>_Ep/T(~¦2@{ƑyEpebbZ% U7M.fxma52Ky?8\ F^"3e Jx :`ZrB\GJ?oOշjAs(2͵&7sTx~nńwӽ)n8U]+,\Јԍ BUjń :kĮ#2UzY 5^pulfaҞ s/Ct6w&-CmWIJ/]㽙 u(e@HFQW+N-4 7~ƈfեcmh=_Y-gE ](.A ttKg-IJ PjеŪ7?HH [[aigYZ7zXZִF! 1%m]ŗXi%Pݙռk,ǃ5-e j?Ge[z@G*e7x̆% |c^L(2Ecz}i3;̥;K-Ս &tآ2^F[5qyof{M.J ;OrvEǠ|^Vk x**_h~_CzWҩ.$3yiWG ev#REvN=Hyք؄+U'b?J-sjF V8e\Snل@GJQڎE8c` S$yYgB!aߘ`"$|t!h[ Ȅp!S? Jy@'O8La)U%ZQgIk:N6vH]V%w;^L`2\-jb4?ȹ6Ҏ<|F=ˏ KhORGwunԄ\^J2AnQXѰSgkf) rz 9:f0uyܹ?=8VݯF./Em>mpw-e۵`TԤ_珘XkL?Z\Zho^ܬ`Hƪ=RAj尨h*LQ{\w/b aW?A^a2bW&Đ[`1%sO8{&"Е&w{J˾[峫$4!й@õ<1| 3YS!:YB+c5ګ-iYsXp? nh|Cb1cWʂXf(_j,+!7(5%[+=rir>MYXnۄ^hQb OQ:K]lR#L@F@ş \ ]IM;|Ŧ̌N?n0$X ߮"/G (K);޶ o6(5"Fc3.㵫"$ ۅ@pt7GCb oJ|+#{cE9},C 14gNEƋm%w.gE)~b*.4[_Zb̍M%:+|WAolN ub- Y \IR`0:1}mwKyw 9Oڍ=UFCԈN yhX5et 4KA{v b](78/ NFnE;7/fsH[qt续c#hW]A`Nŀ*vWYa)>iҖ23JZBHBw; ֊c@3Aqc8|ꏊ +ǙK8Ŝϛ _b`\8Q0i/]PP-bq 5f]AmQknI#;1=γ87VK$4Zީ˻`,[鯬( 5R#Wtl:?H7H/#!.|E$;M)uڒ l;<\*A/?*.5fIzl>rᆤs [0*G zm|9gwU˛";<nO-$SEd܈JoML #ΩH({xDdDiT:n޸z7NRWb9\?t~q3Wb@ Dk, c va:8nN pv5/.>G7衜}Wl,Q,6~P@Vꦴo Xͪޭ{%2 ߔ}Q:7<07.njzӆ+I8@~00}i WEևoR )tQ)-LKTDC\1ַkha(jki.٥l]>9nb4\, N( a7 ƈqA~rڸp4=Fj)Dz6&B,~MseHjyOpU<K&wԮND+R< 써iaTq2ڬ=K-:{9HyIۄ&Wx_>[_VE|#fO$剭S%ҴWwpWϋ8{wL+VǁO?{mӇRG:c}_SSzx_ ADj(ɒ5aˣ֖ ⤋J㰎=A{ A}\gvy?T$q eaJ W"QZ^MHߪ\'g޷ 0x>UzzZ9-tznl(xNg+D5Z*+zS۹M.n-kY.0N^kiQzȆgAHIy|0ϜfҞ dyXgs%"ZϼNQZ~¬n2^cUA iF/p::% OQPW<0܄1(?8Nh}t|Gs ÀP?j *ϒgOאsd R1'f&-@ KwF.zDx]޹Ӥ|1[cu Fhӌ,Ц%Ih2lK39$ya g B ~%>sĨz!GvY*nwX~c`R>&Pca#WOSxY>,HM_ R@u/{hb9-f>S{g!%2 9߬e !bL)}mOfHA0=@͢Q6b)+BJlU'maxm}A3(qt| ^#*Oͦ7ඤ;ny=Щ&::̖/3U&kYX?\lڰ&V)6?L4"&@*zF+mik9d!^_HNe}2ﴣ"n)|eE8/Fb YݮW҉"D~HYd4F194 78%v{-GYibr$5nk%p]fd hbo,(49v/igJYS1:,uI( `lLwê!#1 ~ P 90]JMP^cby=Xx;EkN\`y36LvQۉri(ߎv1KFW'L"?`6kb!u>bZf|Ŧ^ǩB|GͤYѨ(CM>-fQhVxlvѕYꕾ+@G[<`̡DVB%KNMz~mg\ *6bԯ`,]OT0lm ܦ%vd4O~C3ܦҵ/x; {rhHՏ_=Z^:r1&)-E lŽ L W+T?=lѠDk-G7ed+1(Pb уujqlWD{}Jt#8?oT']s[˻Ff%٣W o (U`yV PB;^Nٶu`Ӡ!3Ֆ{66>4 m-ݕ"lbr4RJXVw A"XLڸ,e=!D$aJrܷ%e4"s3Ens72$RW&Mn^cW De ~bW]}Q4E6k];XsV$ %-GRB9F&#?zTlItK =G/#nJrj.vٝ-SUϚm '/x1'+Amc_}s.rE.V^xiҩi!.Jg !Oso屯{sh?)^s ng=T֔:=i͌>Ǩgt;ZI<0|Wj <:5ft#[i{+BZgGĦ߬+0+$O&uw 5R_/w/: = ]7 ϤUf6\d%;sa Л r 5`X70%#40WK `:<~r)g{_,5.q[t*6Y`7%KڋJ<7ӌĜhmN 0i 'R*-01/?/XMyeY$ O^uC{$Rޫ o))Ì\ݷX@Dȹƴ@^ л,VʢnUi*QPġsAɣhcdݰ³//iW)TK:rSOe+(J kݩIw`i.NvRM IXvR2CLk+'ETe6 eSq{ ❉ db[P^A[U f*[\h106\fI-MGIj [ 9Z?QK-?_M}=cgšBv٬XZNi^lcgh|E.yHu{?nDt`X)y7[5Ive$&*fxk F+AH%՗2E&,p8G,+?`N{4]!ۥ ߻XA$d>_&^ `)| Ӿ@[fzdz('Kg伾At5nrF [5>iv6%׺L);_>|N:fʮL|m" | blh.IY% ]yV;sO )*}cm$mƶtWjsHYǖ.4n>9x &BHTZ GZDA21WhTRDfa!Е~Ӿl^ \))~ gR -( B*ze>#= H~o9]Aw&IѵeCQD9y :lgN\V%}8[W'XA?L8° o%;b[+e|"!j"W8t?M5$QyqDH\$|qTj8s#&TD <7gvX3}NY4}-oN) fuk0tYS,}ņZ4qp@`ji=X!w@~8,i oH{ts Zuuaѻ^χd3m9Md3jƃ&3޾*jiUYVWڋ?}^~p__4i25XF2L+=P f+@/l ˮa;3 teq:'kW 3 ̾h':b! :n(})W֢A|:RύΰDFu]ՌF+ɻ\. 0d4e|Ֆdm*]q__Y"hktַ!굣~ 26 вAb1laJ RP6}`~~٘Ԩfawuxņpg Tbӿ-&‹j~kPtD- $K=_ml!ѣ9uv|;ZԨSQ͜:vДv2[b/p`DeR{L gruT tڴÞp~N׀vSJU̯gtQ:^AQ˒Sn1i1!E߼?ύM/'ED6~, /ё{e(zrc{ l̀Y:CΫմ ?p`B& #^sp)0ywqnQN̞Y*&+l8z mHzOiYhCj[(+7LI+%:I7.\cY>IMQuiW) Dv|y(1z, VH߶*y^)_g|Ghl6ax@Ẃ$]Q&I7'ĶXk+3&eOymPw4Ql&RB>#ߌ'Btz R{x"ҟ:8m?if`BDveï+g<^0B2XḱlKfVSs<`]`9 <6"O?(礖@˾þv9G5| (JƲs*eL"qأ!afù:h`lcVB|5W4пhl<2s9BTE`<-Q9*c׿ k.J` b'}rI]S:FIgUV6e[7E+'RkԮA E$ (|<߾qJ{ h&BhTlnYhWGм;-fNnvAÕj\TY`AdjzU4"|&cI옞=iz9ϯ}Z+'ɩZ5'MBK gYZa68f164838b75abb47eebf6219f1eb587524199d221bf55cdbeeb204abe001803bef147f0ffeb54c 2d0043d5245b774b6a52bc09a6afbc782402b041 223476067afe6566801165b07929b4c3deeacf6b