SQLite format 3@ _.j   i G U--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sources u77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_infoT11Stableisabelle_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_exports^ :~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  9 7E' pHOL-Datatype_ExamplesHOL-Datatype_Examples.Compattheory/consts(/6$B}0'o61y׻R?%/h_ݽ9i몪: d}Np42(5*{#goq]՝^ļ׫Y9+@L4ǃ#Ɓ %@$!bX eºVa, cPZǡ4 G Da [d]##^ń(iԲa8+"n!<6xX@h*H"ڌ0$E[AHyDPۊBQ %DC @Xf@ h (@ C$ (@2d`,YX Y vJh9#5(K#QH\xPHҘ@Jdy$E00@X".@EcV6]V0YJ9eJEe.>e̺tuļ'k&{D]ߩSJ)ՕX7PW=6%|N)>> W 7E) *HOL-Datatype_ExamplesHOL-Datatype_Examples.Compatdocument/latex(/ *.O񟈽ƨ<<(Mc AG2,jv ~~"ZʢĬHE@ 4M,fބ&D<)&wr&Kd.%VKfRђY2D%F~Pq0AB&8 *2<ͫݿSS]QPD ͂LeI.j6w%lyW4=w̽7~wwww,-ss =7E% |HOL-Datatype_ExamplesHOL-Datatype_Examples.Compattheory/types(/`u#vjp#0 HC1z"+{ieo,7#" ~`]zcTgnnHT]bY<CP((@(ĵvL5 #)wJh(JHOq4D&Y@ 'j@2ǣ(lz$LH"Ⱜ&(GP& Gb$@ jjέQqr&;my_faqVɷnk;SX8 Q*AUë]#Yk}QugӤ/M4-ݳw<;JHS17_)nFƣaPzyS EG6Ŧxpꮌn 00UQxn>eTe\u(HY|yO{y-hY֥ܽ2)ըzejld=Tn4y?ٰ߷v662ȸNѝ8a0C,t0G9a)c "1" w2Kҋ 25aGd,d ѫtSߤ?QbVUH5-*uP\׽7g/RB\ZdB '~t 9\XB #&y}$s?Cwd vC2/{5av@4@?x {upq+7P~# *x&yG< m&Ly965.-* ' |xw p lkhc_XTOK΁GƁCŁ@ā=820,(&$nD5(! Ձȁ}{yxsmkjig`][YXTQOKIyHxEwBv@r?q>p9l5k1h.c&a"^]ZYM>:320- , + * r b > ' | ! z { ' K  , x g4HdM_s/I7O'HOL-Datatype_ExamplesHOL-Datatype_Examples.Cyclic_Listtheory/consts5H7O%HOL-Datatype_ExamplesHOL-Datatype_Examples.Cyclic_Listtheory/types4J7O)HOL-Datatype_ExamplesHOL-Datatype_Examples.Cyclic_Listtheory/parents3H7E/HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFItheory/other/fact2I7E1HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFItheory/other_kinds1B7E#HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFItheory/thms0D7E'HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFItheory/axioms/D7E'HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFItheory/consts.E7E)HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFIdocument/latex-C7E%HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFItheory/types,E7E)HOL-Datatype_ExamplesHOL-Datatype_Examples.TreeFItheory/parents+J7E3HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListtheory/other/bundle*H7E/HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListtheory/other/fact)I7E1HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListtheory/other_kinds(B7E#HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListtheory/thms'D7E'HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListtheory/axioms&D7E'HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListtheory/consts%E7E)HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListdocument/latex$C7E%HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListtheory/types#E7E)HOL-Datatype_ExamplesHOL-Datatype_Examples.TLListtheory/parents"N7Q/HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_Toftetheory/other/fact!O7Q1HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_Toftetheory/other_kinds H7Q#HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_Toftetheory/thmsJ7Q'HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_Toftetheory/axiomsK7Q)HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_Toftedocument/latexJ7Q'HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_Toftetheory/constsI7Q%HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_Toftetheory/typesK7Q)HOL-Datatype_ExamplesHOL-Datatype_Examples.Milner_Toftetheory/parentsL7I3HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFtheory/other/bundleJ7I/HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFtheory/other/factK7I1HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFtheory/other_kindsD7I#HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFtheory/thmsF7I'HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFtheory/axiomsF7I'HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFtheory/constsG7I)HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFdocument/latexE7I%HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFtheory/typesG7I)HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFtheory/parentsX7e/HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Teststheory/other/factY7e1HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Teststheory/other_kindsR7e#HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Teststheory/thmsT7e'HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Teststheory/axioms T7e'HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Teststheory/consts U7e)HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Testsdocument/latex S7e%HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Teststheory/types U7e)HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_TeststhR7W/HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Codatatypetheory/other/fact,R7U1HOL-Datatype_ExamplesHOL-Datatype_Examples.Misc_Primcorectheory/other_kinds]ID7I#HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFtheory/thmsO7Y)HOL-Datatype_ExamplesHOL-Datatype_Examples.Stream_Processortheory/parentsoI7G/HOL-Datatype_ExamplesHOL-Datatype_Examples.Processtheory/other/factnKnJ7O)HOL-Datatype_ExamplesHOL-Datatype_Examples.Lambda_Termdocument/latexymJ7Q'HOL-Datatype_ExamplesHOL-Datatype_Examples.FAE_Sequencetheory/consts>    7zx$ - UHOL-Datatype_Examples:threads=6elapsed=118.108cpu=534.327gc=78.113(/`ǝՃj &Q<oQGs." x .O h8-5 0 œ RUfuDXH͉oaϼ(:YBٱQH8I8 h 9VRnEb}Tkܹ[R83!A@ soTghyW3iLD9MEP6GD0 b80Q YGȉH X&ٙAs RQ f0:y(BC H rArQ  СÀX69łyX 8 zUnqxQqp.Q晴Oտ[c6:3k..}^]zT8,` JpTX"8=4 jX f&U-v^z_%^yU10D$DemvJV[46y;B_1n9Ey苧vj]&9 !i(LOӐ11XE[O|3,bB±&ˍ|Tzֻ]i4}QuuMLv/y~D4S7_b]u&n W ^3!3W~+gg"PnNӋwL4UZڳK,N4m2m;S4CLz3fTҗ,a @8 Q")?9s(IC(vHās IrirѷJU6W5 ZITE5N`a"nzVSsSo8+KKezꌢ@H߼+GJLuYt˥z!.xLg[d:KlkcJLYVt#̲nKƜo\UD55e6jԎέ|*Kk۬ݸ?3{"{uL^*TyLd}H?N 7 HOL-Datatype_Examples MU7]] ^HOL-Datatype_Examples~~/src/HOL/Datatype_Examples/Process.thy13187a4aa62cc0b4aa223059ec6f092680601d79(/`~N*\P,s 0'!dt&g#ߣ7Yx^-3a{o*nGa]2:Y#ҸWFo?sFA:5YSxSY֎2Vs*WExF%CrkjOPZ˝jSsgCDt6?i/sJNEX eZ46*`P1yJĠF%[չ&G)&%s΂k4;8ժ@MlMMS68dJEV nj'Ih&V &0Z*8u }Fze f=bF(St tulb*kosLٺ8[𴔭 #:[@dr20?4Uxmf%T0WٴٴW^kMt|IZelnsжl015C9q1```hH+cKwʾŝQѝ]S%ĵ"Z[MVV{V>Ak6֍R^KZ#lޚqe v䛯t-Neuraf]CçA3ixXM^j@5q E4A>ƴ-8 LI& ]B+LiZ9(UI0XV %c*ػS\C`8QA7X0W&,, 6jڱ#d\u_R}\,WA 2PhaJ zׯ ` ݊c!vbb8j_|Q"<05*V̶Ԅ%Ĺ;/H%r`baW]gԁtzO4YϏ /0D!O%pW,ʑ/i.0$%Qp9 ?)ٍ[&#ۍohߜ[ ܎wu[\S/qG/.hW1SX+ӤCINÒU?P XIs_UW2 MU;{ W7@c\&/k2#7s2%2M䠮aN?+/˟_KЙ>GXMP -\a@+l3 odب.ǒhj cT /~ކ.ó(l%%cBz4ɯ(z_کhW)hpx9Mn\=BwfHȯ'UeK|[]zx]O=z"vĹP @lXLKJFEC B A @?>=<   $ e v  K g   i   " THD7aHOL-Datatype_Examples~~/src/HOL/Datatype_Examples/Regex_ACI.thyA7[HOL-Datatype_Examples~~/src/HOL/Datatype_Examples/TreeFI.thyA7[HOL-Datatype_Examples~~/src/HOL/Datatype_Examples/Compat.thyC7_HOL-Datatype_Examples~~/src/HOL/Datatype_Examples/Lift_BNF.thyH7iHOL-Datatype_Examples~~/src/HOL/Datatype_Examples/Misc_Datatype.thyV7HOL-Datatype_Examples~~/src/HOL/Datatype_Examples/Derivation_Trees/Gram_Lang.thyG7gHOL-Datatype_Examples~~/src/HOL/Datatype_Examples/Misc_Primrec.thyF7eHOL-Datatype_Examples~~/src/HOL/Datatype_Examples/Cyclic_List.thyA7[HOL-Datatype_Examples~~/src/HOL/Datatype_Examples/Koenig.thyR7}HOL-Datatype_Examples~~/src/HOL/Datatype_Examples/Derivation_Trees/Prelim.thyA7[HOL-Datatype_Examples~~/src/HOL/Datatype_Examples/TLList.thyF7eHOL-Datatype_Examples~~/src/HOL/Datatype_Examples/Regex_ACIDZ.thy I7kHOL-Datatype_Examples~~/src/HOL/Datatype_Examples/Misc_Primcorec.thy a7HOL-Datatype_Examples~~/src/HOL/Datatype_Examples/Derivation_Trees/Parallel_Composition.thy Q7{HOL-Datatype_Examples~~/src/HOL/Datatype_Examples/Free_Idempotent_Monoid.thy F7eHOL-Datatype_Examples~~/src/HOL/Datatype_Examples/Lambda_Term.thy G7gHOL-Datatype_Examples~~/src/HOL/Datatype_Examples/Milner_Tofte.thyQ7{HOL-Datatype_Examples~~/src/HOL/Datatype_Examples/Derivation_Trees/DTree.thyD7aHOL-Datatype_Examples~~/src/HOL/Datatype_Examples/TreeFsetI.thyK7oHOL-Datatype_Examples~~/src/HOL/Datatype_Examples/Stream_Processor.thyJ7mHOL-Datatype_Examples~~/src/HOL/Datatype_Examples/Misc_Codatatype.thyQ7{HOL-Datatype_Examples~~/src/HOL/Datatype_Examples/Datatype_Simproc_Tests.thyG7gHOL-Datatype_Examples~~/src/HOL/Datatype_Examples/FAE_Sequence.thyA7] HOL-Datatype_Examples~~/src/HOL/Datatype_Examples/Process.thy ]E۴o]k5ծtLU[UY PUe(CۀU]F>3󙉌33xٍLLDKmPD<=omQ5GlDF';{Y7]%;e.ݏo?~sk%hGaۏg b03,nfɺ;==ZI0~ofaݯ非~oKt~JoNݳ[[ }NXz777yyʲɪ9s#'Θ373333kk}̼nn~ G- ,(E+.*vkvs毉fh$NaR??l|<юv4^<7}<  Wb=%X ﲳ9%hnn-a Ьyyo`QI0& <"'z@y4f4Dey0p*s@iyyٙyywɷwxxxeƫJA T3QAw|w|ۻ<]˻OoW4 4dݲYٱߞiLӥ;L0]7;yL ݥ|4&u3./Ywwsw7#R'q@nn?|>|>;UTk (((3] px10 BP0$ @0H ޺vpiA (JД^@ndxج'2iv(jAI[>Dҭ @~Ⱥ9B.0frEWeY3Ti_mM@*?.iJ48jyD.e:ۋ76KfvщW82^}|tO _~Y%yENLWT/=fIS\/xy%wHl:xg۳ =tRp{(x9h+ ,[ E 5JMq fy"<[Ψ[aWA*g OG0&riW+GwwIn >9?'ѷܻ%s( p13ZS`H:Ԃ 41o d yy~T&bTm~}zv^b;YI =FCYbRѷklxA5!I9Wt%;c"gTq.OzpwNפGgdˬF_DbW;K/E{'9',K9 O7}1՛5|I?p9ER)<^A^ xtSXW)iɡ>ׅwT\yϛO؟+ъzDd\Y i*2v{e;{-p!`n^knVZS]r4qK }Ah9ZѨ;DpW/M[(D̓:mEv]TT'7Hnx3zl eŽ ^R=5%-nrA;8rYͲ>c=\P+gV!WN*Bj;iKALj!=+*=-e2\Wѭi[3E'؅>if|Eʮ'raJJ*6f"aX 'WD9 ?0b+^,1( أ@M)e\PQ=a VW?zU;*s$x\׏Q72guih{Px3Ry;$8g3!4:!M6J_D5:\P3ŚBwuN)Z 709kmXǮsoPLZ`bj'[]^SK}$<\Y^a`0`)U駝EF@X"L[8DaXxjhz֙Y%,{p: fMҝFtlұY8wUx=r a5*9lCsvVP& ea)ٷr MA3Y.>uMG `9>鳼 HFADw=IGZB <6׳"-Lה+?:gs6e}=)R{&! pTiY၏dsIB,lA-80..{m'ngGw>B_R{ٽgq l^K^BڵK\fwW)4FA?X#Viy>fhiPd]N'L6(#g-W*Ak׎e C%!҉ZF3!\.ڐcǕ(;ZrDnl;(}*W TtShk:a@$*̨\,E-aP^!l{Rj8zS6mk,¯@Lt=L3$bZG.b>Ri RMP: ܨ[ !1+Qv *1Mhiv#cɺs2Acu>7N@8ˁ 8qZv/Q4[%kv_w<6Zޡ=ZmSohhu1k]|wGR.Y KssXrѷ0C/E_>mfg| 6ͪ{-xTdB^f JG;(},oDsXYथ*8^ǑDN q&6\Ï.Gx"Gd#I,K  IK=)&z(c'4z]u7Bp|pS6=f<QR # |Hᚈm (y#F*cpYnkxʶr>ѸM*<1FULc(:yWLwRU2FZU$0j XB%-u@v'~ܨJV2Z[3PD}LM)"5ZD0+Ahۙ U"~ tyG\$gdKⷯ6q,nA E%!!|q|8nvq{R+%.H߹ުI~$yمL$GO {H1$)1eͪ'Ϻsq)QXVN5{ ('I>Fb ©jqhcI9q$VOrsE褊~1 _ITqދc=Dh]s+Zr]۸k%p tgYj_X:YV2% -Y*_/:OZ. } MpK+\dwo7J&O|׳?icSecFHmk [Ե9]0H-'>5ϕjblq2굢kR*ӡ+1M< 5pE:0*\i}E8lIkeT|Xa{U`pd_j+3mnb•Vsa7bn@jpt;;IEs )K3n3:&Mw Cy8V>BnԦ3waq^42_2RR.ĨR1'DKs@(6j<3߸\ڠhL)&EH)Vw'D`c DGM{OY$`~s6Uo>pxZ7ޑXdt.b@B[yB8`[ Ή7{!A2 _#]uHBm:u,-At)r^e%9ﭷpaf׫>ĝ+g趀 Y؝,hsPZ~e}nnլ59=.!=D^ad)sR`IM,0֢nCN+o#l|̅bek/0AYy}QB4zFx^wglhٹ3ijOYO^sHӘ4_wW}db٣% )0ld(7Y S QL1%|zLO݈%ˤ9'q>/C"^S|,uc?$NM믖O bV*'$:uh*׺"34#Td6 #S3Y mD6=OMkUN$Ґً(S6F/i,ڌ0U.Յa}Gr :؍a*p1 9j¡@6ENk|^V^ddyIxz yt jݳF4N=FKQYAY[ֿ DJdjg;9e3Si]TG\Z@ Ss^  PA"pq`ֱZ;%vzPUDv19% Y EfJ93zն׹rhhf:3X ֡"v&݉p[*$ʳ|nۍj,F5JV)_!L{Z.wKJ-x4Et" z +Xy4gN_8Y!޾4 V HkRAZqK2K,|F#̻|?-_z:3-~sgܨ{ Y=g!k՝tH[a'?K\0ni1R1XX:\1 \ZTݨ5}ehG`,7>}E"e(}MFQm<1zbЪQAR=n;bǾ4K1d;"29`Z* oA9D-M!fVE}&r rZ/(D@&XJ@`^*̈́ BRtK Ew܅p-'" rbШqNHǪ,eE h`f^Y`SLXy{nub`aHh4]-R~55haړsk04|Q7ߩ="gpk}tMh' FHgu}|ty>1`XlRB(kJxEf\7H5X`%6'Rra?r6?%EZM)j/9&J6 a<{=Z9,trZb"K+Grn;ɕ*@4ާEb3`3ؒfPn-4l(Қ MMB@,A.fXr_0tb҃wB ^&zLWK{8(~ xX:j\}7Kdh$H ?ꚙΊFzSr5 .sLo 3П$hVz擈D<K*(p_N4:q/"B^'1KiP8y/>2cA5!$jeQsYM`riĀ?x?tɢI<%d P^+ٕѪ ?`xy[\P 4hؓIJQ]d>/Em}tSeujHs<$R6I$46huOE1xEʊR~4\V./搃̷8W$x:, |T6iQQv‡>tv+n8)G5/%SZ4MIe I #RYطo(%gB}^Rj` ;8&#O-|Bhw$5-O@~L gf0^u)7?I0dVxߜ!@vE؛N9M qzO;{RVɕz0̄0l%Q#A探i_OKk]=vЌLdTYbvQ%@(j)*3Zf%ݑTR&/z'r5HL6))% WBk0?zDr/4ED)dn8XMbQԟ`82dh#heS&Od!LiRb"eV* 7 +)Z5Xmd-c"wKHbr4]C st>,:u %s]g>RY[E5*stuR'(Fj{0VyO4xڭZ? 2[m_ _dۦ0tDBCr? ل X;”ޥ8i88]3ՔRJ)R”R+{Jm{g?K)%Z-RHQ7"DO"=!C86[ dX|x(P^iN5B!^QB2L!iYBEN+[ݶLJv*,, hb 1u6 !Bh pFlY+'צ: w}gCÔac:sjuzNc;=inx,NܻLC,LK9s3o~{/g"5DKK4D~/1u&e±tӕ<:y98JŶiq<>p 휺޽%Qoc5>sp<ɳ{++'qk3QfvV_Ϭ߳\mޭX4wNmv]y7-RV$iffqYYn}vpHҴҽa>}Z[à~Wrp,Cێ;_ݽݽ6 Bo$˟5~Zw8p9V/^Yc\aZ/׸@:0<<4  -  p΂P(((d;zŒR]lfw|bo(" <h]"9*KX4Jvy Nez.CXh_OM0񖺳+BP>/+_Ǝk&|-Е5?h%>|@ jE7o$ˡy:WLkDp(_Z!Ih^Ybxzd1[Ζ{5uq{.)nY(K0+{9'=⦓V]?g$#Rn~㋍̱@f^ۤ.H躀zzsP]wI/YTp'>(w24ƒ0τճۚCwFLAZ&R[l|"$5ASȾPȭe;F קZ a`}ܩ VS^fH.2\'u~&m=g ӹ<ʐӨw,TrZY(hhL Q9Ǚ.jvܻיnH_p#f"mXTPt9YF8{6R: qZks|G#(yñW$=}MM;3"5ꆬ*u@e@ڟZqVw6ܲu1JJzۼL|Dn SI׼E*-f"v4,7"xwurXv aH"M9c;[߄?O Z9q`o7Egf l޴=F< ZO 薏9 m'qm_zJǪM^zW"PzFݺM%l+Y19rX0c.JOOs;_,Yi D<'VI@"c!p%}#aoᄕ[څzob&+U4~4 oikY ,'lIN|XhҾ9ƠSm]4T71[2(V׃v*:damG !XKn oM9 xx:2/P(XN`w䋈N!]ad"=; <^ ~O P @U9\c5V"2ObzE˜mΪ׻G`v.a"{w ;Œz*Nt3)BtGUҽ6x}I#?5R<)VbWsMG1etTelvLJ 8t*=u\~j^Y0'95L.וt- AvZ TvMjlI D)o.Cyc|Yt[F&v.@}Jr3*YGj9*^Mpr2@ŽP/I5yC%9OZ|LUdql +xzB v,)牥4'y|YC9t>\,-G?N>Q0@})O[sWsRk z1Y*i˯R(Ofdqn`1sQ' )&iv6 :}&vF 8GkJ`3吲n ϑ %#"oJ1e`a|)n$38&џZ4T6- A69 pNyn\S6OxN=081> m.~"ݸvWBRMrcz+?kP2$48E9JT֒`Q? rV7] δ;1;Evaj3N *jF),&a%"? bS#_{pIRE=A !hډdG$*YJ~F?s/6 v! Hmƫ!@00d}L57bv޾Cz95!" =DwXWwgA 9L.x'~t1e#l0gj75MZrZ{R_+ TBQҒl/n[ǜSI/Ig2X:XjBr#XYB *5kßV~ʽfE> Tb ޾t8@՚4VΗ=ŎrRZ7a3Eٱ`R k"b=Q6ݩs b43ZQ˔wcx8΋69߄+2 a`ۯ S5v|$}Z_"VJ\[0D^JͱigBp:.}NQph ?4EAh@O>lOX-bt d74H|1'6lr:CaOCSa>_D2[=^)$狎/";z-tikLNt(.3J 3ƫs Hp7sQLp*+qg 6Jl_j|%%i;'-6Rc^#-hFs1SBtgd {`Q[fxHո338㲗IYt?-4kЅ~E!BqscR O OT!Y'|?"aˠDP;(6SVFH"unn Ff< be<}.6l7](|[rm'bҜ2h=a,ׁD?XR^2C[ $5<&S%3w$м.gth\E v?)'\O DAP|b4A)^-W2dUH/@* C'H.`d:zU`UnGϞuIbg x!cZ)%;y7l 0I4(bXil?a$ 0r+d}]qSbn} MLOuQ#|tw~-;Bp$mi֜(3!2фBmV\g@`6x4J{*uw= yEY5 ^t]JzCOn目'9A [.'E"Š\!>|ؘ2 "R?ЎТڴjp=VԺk`otg.mQzcytRVۙa#m6fN]!Rny!BۧS[=@ձXaWFF=8S @At|S yfDˆt<  iʄ4쉳=\rEK~HSL9^n6U[E,bN%}|)7A|_qݭ+B!~h/Om5 >tFȘZ7ZKPCs>C&Z{vjA ީ=+hoQC-<.V583Sd!CQ7WWmR,>dQ"&JZ Z E>e@rK"E༉ZCp_373.hf:w.6 V˱lGn_ `&lh}EI *'U4qy1579)B p=%kUx:[{u; puǗقP22slϦ 3PAS`΍ Kg0=9M#"bC :6RGŹ TlAojtxݙ( ȁ'Nhl"|i6m×RH[[hyjDPQm3vL@twL4 .qߖbKv1sE@vw[!F43 "(޸@FxlОEr!, Y^Luz77SG)۬xQMaFk+J5ǯ;di=S9fwkJ8g7 yg ra.KD9ͺ3馴:j#j()Y2ªR+fj{bW-/aD^ .@3`n@<-jtr]nC8[W2 /F+( 2pԣ*ـ%a`rp iMd3W=m 򏵭X8rHF)*=2O>An+ x9(e g&쑏-O%m.ů|`(]_& KB7OG׮^IYoD$a Br<l) +D7YV]ϵ."n1rboИu|<[' kƍ+\cB+zhqSFzyU#&vrݛ z@$Rmϙ/v-ΗS{=H"aRPU:T\9?jtUo)c7my(LKw^qGI[K1ce=+PUe'r=O5bYy4ʶl?!eu^5 H6j~Gd&޼K+amWt=Yc>Kz؛0xC*Oz6nNw`FR2(Bj>vZB ]mdGfPٺ@O-7hoѳ:U KDN-le'&8\{ Y_w5 rtnNKaa!Y7Ƨw+QzȒm`iClsO_sE$ _.> D&QET3y?x3)#yHz PA @sY-H,s﩯|kMe>`;/ ocCЈG&(ڿ [%<5~E._1^:gP]ȡբǞtg ƔMM^y5HjL贲Ũ38ͿOYP8-P'xtպ䎝m̚+'`X VQdѱkr,5ex/,>-DtX`Xb;tR\/mvܜb:O 'vW8m0AMG+\zϷ+j:61^,@qOYյg=D%MAcql]Z^fG*eY y!. $\fvEW_P\2o&TT**6ɑ~FeBYȾRtudجY0Ux>tN>}?*BpVă]dYJ=Q>fqȝA9wWl|<"QH5 Pkt'e5C~l߆y,թ/Ay2ۮ\>]bZ恒Lj/^V@½9T X aKy"#V>#&#DZF%^WXѧhR.!d 8NXܝe@ x+г] ݡzOWrYE{U9%ylU0 wivVJЙ[}\&d 84.6&ROp"I8p*kBjXGOi35OFI$Iw%퇿EW0S짠E *Ln<#j,֥kXK㨔F:>9 80`;lq%@+2nkT e}Պ;r6=٢V\%YF .!EDR#=ѤY݊Eo奩r[f3ݳR$n N[W,jL6G!t' +"&HnJCV8wcP˘W]Pe5•@3݌Yomjpee9K393}3ZF̿[ګJ ] v'H12jO\?OBYnm, 3DͩX-џYOR S + QXTYHsةRC%2?&kc|0wA]ɒaH$X}¯QxY K@ E\!pxFgQ0"LYבX`CS([: ~eF&lph7 F|5mFDH5wU$BK`0RY܂4w 5JQ21ÃVd⤲3Ep^(M7Cx 6 CIƛ8Cy,{?F@Ԉl":Ux 4k9g6 vޏIR tr{W {c Z#h} m,=E A ̍zX3Hw26e(22тL~.RH8,-}?Hl.<>bc;jLMAWU}/ sTSڛ]_:H`0TZٓ*Qы(#!|g^[6vKHr~ Zݯ:%g9f>S3w?Y+}25ߏ޽l䃜L۩R=Z Gz+`>zuvqW@>t'3TA= g X^?>* oYi;*#N,hH8xt[6U{s=Ԕ(O+ӌtTszk5\JkNnqѫ 8kUI_a 3ǤPU2i PčHe b_4&9_ɩ: gmt68Qt*>_نIBJP\K2x:qPeMD|f#LO;~ ƃ5OERA",'>sT7vad*r/Pw pOo&ϱAn1|hXj)٬6AWA4SI@s*:s}B~Y,O7M 'AV?h|Zqnb8\ Q ˥ biCM+&5d9@ˡł *qNuć%Bٔ =rJ0ts&.&hgu{hNoZH&y-^vʲX#*b=83.7J!Vx&;(ƙ_ &D .~*|dm!j_v0+u+gHqY-HAIC{%hJ#rܶsP|D$+-^PƣLN!a&Eȟ\N@{Ug>hzE*҆mFuH44 1rz8|=Tg&v ]z;]=-!sd\T?#;@_Ś%6Q.Gk25+cBBZ0~֋Ns~#g~4́s&ysjNcL>k7Ux¾tΊn) \S9y h@\?@{k']FQwkM32ŌZMr;3eA3ϗ,Q:1㢜P#HD J8PsJEXù#Cڗ8{0 J5I+gHŋ, X I(\65 +GxEp1pE?. ׃a/4k6vEyJs9[g9Yj+x>7!$>bJyJ퍒p`HnJyLXbMC8 >ᒽ>zoP(V~Ķ2\ ң ;]E𐩆4C!L=tƘQ*l(m/  uDZE7]+NB rOzTS>+W4/OEi`V0ڃx̘(s엡hb3ʃ/EcsMdR3:~y )ȴh79k9]¥eت~N/\~ Wɮ*@-g.JHa;Ucj4Et1<r.J YQHO^A~o.:%#J@}Z4BOr4x Y&'=rT||(7a oO RgT &YC?)ܱ#kI߇jw|g'-a_>.a5~ae:uDm,b¨+@d)5԰LuXi|agܞGğrvב*M$^:5rRu,1 N*vQŜ|(*dUFg(j !~Dž-1WîlbHb>g(ؑ!~"7㈇SPSl2'?gY HI2:ђCM~6EG FsY³!h;ZZX<4uUbE%vv5{IdKS$9XIWdwN0 ה s b2,fEבK fwGF$C["7FBdL}] q9)"h:͜z wؖ/9JJ9i 쒰74 OI ^^.xţ&_v^Wh?!X߅]i7i ^B>:8㑪0!U(*C"-_k9?ҐFi]AR$7)&F{/ưDby\V:y)6+jk> ZMeymQ6^XZt$!%Vέڀf?^ChI&\4 [A.Lu\@ڂ[+FP="m z;^Gd P_^IVIk@Jx(UeBb-U7{J] "{:r%G$<4o m7ÍXL3f1]€2iHK[6xm:]_(U:G"NwTW.p/}C'DRзKvE(Ǎa=t"02Ms>Zܸx?}5سBY]@ۦ >aB$p"@hq_k]*گKhNȑC<Lyk:?e/4BT 4kr/F wZ 9Rf[z]Ĭv.؊BS$6 h, Fѣꈃq` f}Mr#f({UՎj 6kl]^7jË@(AlM,z1+.0*apFF5-alZ7ϐTH WH B{ڑ(eg{* Rr;!YAz,\lV Amܑ$RhQkΨ܆* ՛Re@*r}Jʀ7 duCFq`.bLW㯬>D[}P*Inm:(0O`LMY{:Ч$eIwΪ;dOWշI~wFK9G% ¾!{ I8q!/8^g>`<`x4_r|AM|8bTW#c@0G6 Q~xYph ?q/?(roM/caO;8'/3·XJyl 8ҽӨvTΊ^/o8[dMj!pIRZӐ qVIfbBK+2j`{ 1ǭ aML?e 2ۇ0}Mj럾#ۚE Q7ES+xE;G;}ck]E@A\1uǖ\-| _}<y gityKuޝ.IYGI^xW8hP7~?Bu^zY1W\#08X틥;Nei,>yg3L,VՈ< P aw0h^Xbॐ ߻TG/(z[)ߥʈϼ j n^ 8#QwÙK`i8ւ~8W'Tc693Xk+@ߨhAh?yxȬFVs[]A u$`]Rp EK g2 umޣۊQoVlYR)9#3?[[)4^Jf!Pڮk43~WZ)b[8CZ;u'Ǖz؉ 0>+x C4`|u "qxL89Yޯ%qdJd[i8!Az=qq-ŗ:m}Ҟ,2sW_[ + l}NVDk\;,E_@H4ah Yi\娤rles}*|X/{@<'E>Nw2^ 'ygO6@ݬ S@h pj1'Wϓ-[9 C*} Aa0&s5~ebd~NN)'NP4" <pY`$EoRŴ~U~+Sgm`B1́ /dַfIٮP̷ flGVUa8R///t{-on}mCT*GEπǑ8>pZ #kjlPSgvJJȥ&Zуݤ( `xPj/{1)=mz=SxK튡$Atwni ʝb USd}]Mzswj{Di2]fkj@UtGm3n9%qH^8ʖptJG0#.(Bm=P:eľܥrR(wFع+ Z⍣v1~ua_=%WEY VtGhzimG1Τ]0i5~\wVc3> RV_β.UtӃp_a[oΩfoNK|2|m.ԁ\AthcXg ^[ԐP`aas2?#EvkO >?" 8.慴12LS| &J +?ѕ`5; °'H Ln * ,aF`8h5D}'| W!ɭH=}'CF&C?"^ngyVTPfЗ6b= 2}G}ωQ4ePAxMBo$^Jà XEh̻ Eǣ3%/&(@s4Qbiw1Os @~{v R|YFsg%% ŖԀB%b8. VVu4G!5#>j a"&wt%#[N xj/6Tdh|'[!XuI]>h5AtX{5#\nR /'̏Ln7C/LQt#oi>jۂ:e/!ЛLx]j")\B C++`&.ru XfzB $B"Ovh:@au <-)!({A9] ȠawuxR q:uGL{*W8^ke\Ș_n/ki{P(Jo{g-duMv?aS1*3o$ݜ;L09ڬ}+β448y>*:ؘ P6 lɠj]a1]ȥ \+ &&qj,Ӫ, %1wG>k^= Oiƶ^q7E*] b;mKWAg'X1XGlt b&S="GFHv\Cth'ZL{v>%|Ƌ᜙(q B >c8/fWz,2qeH džDjd.kDžgcam]! uczCzO&85x.nn=Zjf 嗤!5f%ɭ1('$s e5jLXW 0|Ї}EPſ{`3 a"{;ZtF(a4'Z?Q NxBH Dj/O~fq\(ߢX0ܻeSp2;$@a:)EBDOXAbčs|$3֯+NO_"33TQӊ651q 4S,S| `,B]2߂Ywgno$*nȕR 6}LˎxO-+ O g:xhn;L沕F3T/oӵ:ک/t&a'Ԛ ٶb=y:9+uX»V9tdj]~LOzA0ysOξ"M"IzLM`WV~+Kh0߁!VLBV%/0{%4ϵ2__ޏAo ӭ ڄ𶲎 pXȨyH.&o9 z0T(x6+'ůqH ̀}_ K4$d-!)p_[w K/dJĺv~0 PH$ BϮΒPU~W8\boųhAh*|4vVptcH-iNjꦻS#*sd5C<_E)6|UUuBA^JH^$B -]CR=L`;:p&9 KOJBa ['33?` JNaN;x֐%2z XytaKk$+6x A)(W' X8/g-<[f! T,4i_q85W_KG>حȭB,T?yVu" Ѳ0jnŐMNA tqT6[bV7C ľo6fk6LTp5:AU*?PU5j- f9 #A/@?7 $ފV=?U{Qȇ0,鄶}2́E).dSV<|5{., 6&g#~6QleӍc%f'mLh`b:&ǍTm;d4(ӧ>jGyM_Bi6;i[q^Fc"9VkNhz[yrT 0bÔ;k,s9GG0SXFBrii.x8SGt|FuYoaN`sYZnRkJrK3|A 5HP(ϳ(bHtkqT)~d1ơډoi::*j3 %r暣.$|#wpx3WϘ¹۔Hx1}qLgeh9p]wGzicyA;XX_fx]Yj8^ER7WN6}}AV_ww-J$ PkGx7Qee7-j}}Vօ-@pF;wWg-꠻#ݱlBK}uU1 خE^4f݇feUFACC;9xhUSd6T5fUW[jɴx! q7δj k,$.*k0(hP,$?V??/;hPi}n5ήnUŻYaEfVLF[P gkggy<`x}|?_ǯf/ mݝh{֝]{'}}uggEQfhVeUU ^.D9I8f6b[HC,++#"""¡aupD00Y f&"OM'T5IA3֊hV`@xw 1N=4df"=`(JI~( <PXH("|5phX vs (P]]yE݃gg{ۺںҍ{zUZhHa$qUnA RYU"ԴbJ)J)sFRlK)YJIRJ)<+UY)PR4KV ,D6Q!$!DW rQr3ufBh` L(D%hƄB!dBH¡IVAx@LL2D+w@0PIqN48&8&"(@8"6FQ00 {lJW`BbAvl:mW sy1o/\ˏ攮ì5MP) w*SWu>9CA:"[9bߵuMRHz+4&6А+RӘrwM pPK1Q S2̵$BJku Q8l.p>lJJ@pYu_byTs_ə;88jGK 4iլyZQZ q*փu!m}uk_|!zY<,kgKZ7P?G éZL2Nw*\7V9Sk$v%Cˑ҅B\ٔJ7Jb%e}D6̈́K[:kG T 1!~ .Fq嘫ܣt 4{\]Q5 ɃZ42 z >zE*xPR}>SƏ2Tר$4VZK%yc,rZ'+4אV+*d vFRutŧ'g%!'4FkB3QØ] ή()g(*Z mE\&~KSڃfPIIJYJd-芒R %w@QQc u0ȗJ`qvC SGC.[Vgk ,:*& >_ڈj4JaUgQW<# =ӈ2/f x 0v]a`foK8Tt ]9]^Q5XL~e\IŲM@aN=&cW)$YU@A Ťx+zc$8J>Y`G:BjFel-QI&D,ƙg| I::s@(h)#udyϷ$5lґm10(x)3y Z2f`>.=ٛӨKrC,P@UFPiзX:ƗugMZX3qN@}魪N5'QZ s ~?;4i lSiŌ TPxոŗT)z3KHlpe]P_!pb< Tw98Zf:TXZ8<>S5(ZT檣DJ2"Vx4O})!;ӆ0&u)Ұ&XshdaGEDGU2ˆNh$NNLU01Y**o-pVB2kR)ՍBV@ޏ17>)横PE"(8UqT\xۭCCu׀e=M;ʋ&(ɫYl&qlm M}{(d+ToL2 7Rr!MYBai[3>67!&tɔ Ҭ$i:N+Rݏ*L ga6 BU`GMB*̩Jmbw*p5c~5i<#,M1i~ID NYkLheX=~Zlc6l3&$apJ Z?4q%faMυ$ oZӐK3(u]#^J'[Bu5įE%E6D!kUܕ-M2P3v/_4T颛h `=+O*QEyu?K;C RǾя~'R8M_aGq}UlUy{V  nNƾ=sUCU'PQd&|Wm;k\/ : g3Ƕe^sˤD@e(15 邌Sz3i|M!c ` @+6J$Q`ӿ8?vropK3=ځ cÇ&/ҷX#$cFnD5RU ~N[Nu胩 wm;2k VU,8%.J|3BeSEP`on.f)q^PhLz/%  Q?jM~lNW$SFkR˨r'#2u=wRzɊFXFΟO*3M[JK ]no4#ОOU> #W{aǖ 9I끘תn@ɪ"+'XVCHwDKsArn3$|-MhjDCJb*F F ^Gq2{*Gz`#1Y 7]^6 q8k+gYee,o~w⦀?]ZJ18ߩ k]_7 <CKOz&ccoBxX (wcn䢴i;AWɯPkf0y*~I] 2`64nDqfPC 797SaD k+ m$X58,hn=2(ޡ-Q -iPM8)(]A,ȷ6?շfFqXGtB6GmI U2Z0!3j#*!Aht1GGEhf."G:\/8+ӻ*ڞ(!Ϊӧ*1V*dP:h2( x~G?`fZBlLu5〶 _$*m,Jiw,|29yp'c Gl >TrDiK@f7<-HT$+g[!q}kTMzֻ@&X9,Tފ7W` ؋FTTLC(DLB]b*m.z|\M%MR!m}ǙU80y[QKcj!0s)M;%TJ &?tF쉨Sz7|+]S,sX;8tn2R+^4;Lf=4<%NYNVpE`Df Nz FOAg$xGV\F$K?x5)"@Gp}RdSM6 F~k>@& Wr#{>=j%!&!S=,|] #t>"I?!T/ OlBV"DbK#`1gig2B#ܬdKl4P ߕJhݧ|c6@ri_Cp]Dj)J4Si,PHJvIgܹ"~@ʧa= < ]fpoGG!X6LH0W#`/q8< AwAZ%Iik3gXr+%܁1@RQ8@"S?]x>.c[p.zXaaU}:Ut!XԳBK8x[J,-. o-ulL2i\TÅHg7: gNW1Hr,lx.JxE4ƻǕխ @` [YFy(W/\AcU g$.XXVi C@p.% {lDEmmy7T?M{ hu2Aj>m]~2l0NUU/tUv.rn!o~,+3ŹZT=bn)+TOl kG헛S2S˃N0u5c51Fޱ3lplz l ,?{?C̝ 2k<SM0y^qW<{O\R'֏ZAaՐΆ^ԐJo#Wz&6ej(ݬ҈ Ck+/\`ŝg;מ`_Se`ch2ޘ,ډgT{1v@j  )[{l3>w^<8> $ < [7GO jK Q;؎&`4udh3#tGm$5@͇"صFƃ"L3kYb'y\V!@zOȇQN,y.;a#3@ bR\u,H@RHyY \ۿ "_As) aY"7`1EuX[yH PUo.h59m)[@Qrф^iرT *uς{wRJ췵LS,~xr~cS&+.Gh͂sB'>o\̔nHoܘ푫 BdKYț+͖̕W"3Ֆb}:ltWEUԑk̡1ϲ{A#J@4uiDգ:^ܣnM5 ´C![hMJ/E `OņdŤu5ʜ$OEWY^7hbJ{Wt**{r$F~ts5pf>PYJJR}u5ڕ!1+4w8f湋n,.ѥԵC\,򖷫Z00M  EI\aKQhFQ ȕ*\t D`][Eh܁}>?Xҿ'0{dwur(׵]0xf6vCA(җY/Ef:3P ᙏSD[;4hg3ZVpXM`8'rq"8pOb+k>(Sð{g@>DAq/XIj$QUP~ ;KźfU>&&6|%@*Iw^M'Uɠ iM&Q3 h\xiC+z<XkAgk TniLCA=B/J*`]oxv}@^`)uiAY*Ԉ, PEҍ|Y>aOog;r PSG 0 F;<,b ̠c4}# e&5Z~'{ 6ͯNڏ91RĦjTz]"8^~̡,Y=  1 &N~6)o"tQZD`=Xl~a3k'prVŎ") d˳*)yi ȾԧQ`GOΉ8!t$[[Y1eVp_ܲ)`EG1pޢtU*:VNx/h(ݧ?Er?Vf`Adal1T-IߗJj(rF:MG&|/UaiޮFFMqG{۽bTT?M"[@1]ɔAI5^6" u0*{z+Vbq}pJBW^LQt"l6pJ /Œ0ƽKBewƾƍDhSC|"҅,ުCd3t~kn(Eԣnߒ]]s,F#_8͔{ ?m妌P>~'7%B{C탤$ȱd-|C@GTSe"ieyKl1O!˨gweFMx><@Uvjep "qDx\6Dq {@- ̓TZEG'Gax0fSFT 1t# *^qEJ#b'i˦8tX;1UA3%2*C}''wVHTƍ=q>-I2.h?A`bcV'3U{À cv%}t'䞖鬉T;uqlJ#_4Ua5f67f7899100748/ QPi) b/^Lḭ3bD&>49lx  K6ކ}ki{PY;Ą"^ ynf @PRiCϹSb`pZB < <9 7E' pHOL-Datatype_ExamplesHOL-Datatype_Examples.Compattheory/consts(/6$B}0'o61y׻R?%/h_ݽ9i몪: d}Np42(5*{#goq]՝^ļ׫Y9+@L4ǃ#Ɓ %@$!bX eºVa, cPZǡ4 G Da [d]##^ń(iԲa8+"n!<6xX@h*H"ڌ0$E[AHyDPۊBQ %DC @Xf@ h (@ C$ (@2d`,YX Y vJh9#5(K#QH\xPHҘ@Jdy$E00@X".@EcV6]V0YJ9eJEe.>e̺tuļ'k&{D]ߩSJ)ՕX7PW=6%|N)>> W 7E) *HOL-Datatype_ExamplesHOL-Datatype_Examples.Compatdocument/latex(/ *.O񟈽ƨ<<(Mc AG2,jv ~~"ZʢĬHE@ 4M,fބ&D<)&wr&Kd.%VKfRђY2D%F~Pq0AB&8 *2<ͫݿSS]QPD ͂LeI.j6w%lyW4=w̽7~wwww,-ss =7E% |HOL-Datatype_ExamplesHOL-Datatype_Examples.Compattheory/types(/`u#vjp#0 HC1z"+{ieo,7#" ~`]zcTgnnHT]bY<CP((@(ĵvL5 #)wJh(JHOq4D&Y@ 'j@2ǣ(lz$LH"Ⱜ&(GP& Gb$@ jjέQqr&;my_faqVɷnk;SX8 Q*AUë]#Yk}QugӤ/M4-ݳw<;JHS17_)nFƣaPzyS EG6Ŧxpꮌn 00UQxn>eTe\u(HY|yO{y-hY֥ܽ2)ըzejld=Tn4y?ٰ߷v662ȸNѝ8a0C,t0G9a)c "1" w2Kҋ 25aGd,d ѫtSߤ?QbVUH5-*uP\׽7g/RB\ZdB '~t 9\XB #&y}$s?Cwd vC2/{5av@4@?x {upq+7P~# *x&yG< m&LyDz䚕yhmm=)7)g2u@bw.B2,z 74wUZ96EqX[ly.f3 Q)&ԝ`_mPWw8('bIH4a&(G<\^Qy.0WЛp7%dpCE$/t뀬uU+CIOZoIr=+ؽ["2ݬOJ]ݳLk(lE/SVŦ@L;O'c//`B>WGĒ@Jq*ȎM蝟@6Ԩxn s3ځ.ԑ_D,(o3=CR(ywyEW0Dv@s~&fťtX(Tcn`/0I+q _W[C5臮K7E)HOL-Datatype_ExamplesHOL-Datatype_Examples.Compattheory/parentsMain  7E' HOL-Datatype_ExamplesHOL-Datatype_Examples.Compattheory/axioms(/4*zy<%0OY"o(}^) $YxRP(Y~(?k%g5pR19#a$Zy$,£}暌(ekv8PP6)/ EV`t<h! C;,vQ0]] N'#'ͳhB #kׄ`1NݫiD|  1\cD$46D)QQ#̔b#XVqr֔}|P4zR}9Ytzht7Y7  JiD62,$"  aJ `(0bN=,}ՒEJdP-7E~(Ӷ+]ǒ*<,#SG͜ z[70UgT>nu릿)<aCoh5 nӹF~fL_bDkr *4vT!3pw> ٻ$ 0ql(呂2<k] .aN0fғt"oRm3;CR?iSGzIwWǓlI'rZk%4Ȉ S|jG0*j,m|DĭIfxZ H1CΘ6ǟvH'L {c > n9U(5GdLQ5- 4ڡT s3ԋ.U ( guSÈ~Sk+4&}pU9KVh28d ,lϐ7 ,N#0f]/v|6RB c m+-H=lb~J}k q1)#<ԸT~$lct,5@Y4(3ENks-rRLֺd>T4OXzBf`)g#b5ϾX6Խ,)Z21Sh3+\B[Xi 3T $z,9;Yj^Rzl[PAxL}q~iU<dY۱CijY :ٜULx]2w{ 0ib>FZ}?T#/`fp'OqpV3ŷI+K/&1-?&ǂҡz&FGC &iRP^|R")V_(Yr&ᄛo*.YtXL83l0RT؂aSϮ+:3,O4 5[Vei}Ɨkm7|en76s@97gz8M3B$C# @!SSrk (lʼnB3I?5QGjE(pvk#ı5$5;I P:g@h?d2K|\p(;&3J"Oʷ^J_$޷X)FZQ~j"C1D17*C_zY"hifw? mcmxK0%&(P^кb:CI>X3I>FU8^WƓkQt?ƹb~|ŴPvkʼq%&CGdnn:sJ16f.XH䶎oЃ>证liYz xc ˀLͱ4P`N׉pJDٓ}nmk=;>>{-A+39ɗ ۿ,``Dƾ=E/+VvFdxLhE?WG-VlA2 ?4mzsDL*z|evv 1i;DcM7NiD{4䤽J"PyN8 W2[4"IT64F'枪T. ;!ywc;q$,LЅKfcIGh1Xj~"GaA#oRAUpx TqO S y bRY!^DJ%J8ETNAAFbG$WJzWHϣH|u0CAq7ڹɇ-ޣ#Ӵ=\k~kyz6]P<5]')`uz$yܔuȎ]6<|ILl6ld&lO5O L݅ i1uXS<* r\5{A`1ծ^yiSNA8.23I)o ]7âbOs.M ]`:9s\4Rͅj]w!:I~.ǸFe#fKCy ]quxŽf~$\İ%4kr&a< ?4t%V|j}+\p#ɐbru'|JN&fK#iL.dO931 Nܯ\'RJv &H{z F7:IѬVPe.vɴ|[u7aC,Wc˭ MBX6U# ?wYjuCt4ӜBUXޖ8gl(nbkrꉊoz1 &hhKX#O2m9aS^.6ܹ`|#RuCS3lg29a K(&BLP(FJJ|h7y*\wg"NBi?LcDE⮮5ጠ0VӘo"9їu;y#sLãv A Z bO3S8$.JtJW9ҁlb I`IM|c*;g\R/ 1~#ʋY8Dҵl ܞuF}n(ǯq> "`pG]|pq[͠0ݧ=ρwHDO~)o6=lZ~sY3pKYWs `aX*'&³w8e^CK7fCyC3e2qUox٤qa5eDֈ̨d|} 迨1Ȃn Ʃ9d ~PI X_ֱm^NAET~- Y8+_~E]LCmp|]t0/`U;/: {2 .zh~0BŦ2,t!WK^ĸsFX>mmWWj`e$;p " GTgv-ATVFOw>hjUmLqe6 0o}*`9mJ AsжiZdl/$报{BZ20zZJ6 9G(blXQ@tB!'Le[@A4LUZ* Ь7y&?v ٝ@f<.4xwAذ_եF3@6Y# *rKhRN4)Fd :س\/"=M@D(nlC'vM;1-e&|Nl7>ļ?}#\3+sCU)l B0)ܛ wq7C8B5)e+v쵷)c\~L8lAqxi% kW9kS_x$xHcaEyuRf:a!ߨyަo5 MGX">zC>A+@jpW¼aOhk/ŁmO7wWRN[ZY63b+Iت|+ּiQλJzW0LOl)ٌVBBb.akk%fZ`;BLFrPX:7O4\mzX1jehSa>ۙ!/N"^p KH in:*1.mQ)/Tֵ]UKa Ğ EU$,@ֈaGcTlb je7UD09%؋qP!]FV`ȤB@.%L4ا$$ :|50 [ݙ0k:==F$喬c6gH'B\lzڏk^%piN>ΨZfYU ţ~V샹}lL`W(9D<]BT"";6'Le~rKk/tl e>sQ}رBM'4H%U>Aٳi.v4ho}IOw`PzSekT B{v' SU.JUSMUŪ`10ƿkTm>w-fӭOq@%t?iQE4p&g2kPo=@HP3$4KX+ՐH-up]-hypSS>q ]dHB"YN5~zs& Kɣb^d@p=nf9^VF:s9 cLPm5HOI!Ħ;eIDsD_Dlbm:6ų8`lRgE;WZGqp[jTq÷`1CGGAD@ijB׭R- Xc텇=Z kLY.BG4ksMEe5)gE?c5 |ڃVE6+q.hCd.byCPܘ?v/pdzbQ2u*;4|4i-* V Qb 2  +L22'8F?zN2'{{5vQ2QUL.7M瞆a~/' qЊI8"SAR(Z<泞z[A4fƒs?*, m*>^&) @I\LUX;ͥBke;lGwhS 9TvMg^4`bK]k|of4ŰZLp-yC0(maQp=+F?W(/L\p_Nvyg8d*u|5B1D,lFyL;Y+5nȖcYSX=ok?el_|:\r*BZe xV0*#`d@אn"@{C,(L\#Y˼p` fW˼D aRa3'|y\>N3%F@w6_Wh!ͤ|5YlQ,p"m7b`>xdpڲnr+y;]gxHTȟсpB+g[$H8 @l/&Q4O t(<0\`'gَ:KVCf<Ƣ:CKe>tk\$2 jDlwf?aB7bTUrW4DzIΙ^Ӈ`ӨZ cgףhLhV'L\IЈNik ޔW Y=#)@{x;ovm+B֖+Cȅ(.b˄VOm}IN-93M9E%uΣ1d~IbAR)egC` }-KR=wݮW [#U=X  3]3&0Tl O' G$GtV]frOX`|OYQlHLN.!k97^\^3[YO[*~+q։Ky!R]eFdh)v : nl+Vx.:c4pmf{JJXh5G)4#Rg9θZuƕw 7 W+V$: ADA,rpvw{@>y!1y@t͇rl *|DnC󮵁X4/oQwSwo"£iRoJ(uH*ʴ}{ūo `h7FU^U>HDcIr[NwI0:aBG*DnM0'L(6xŇ$yw& 'I%kۥETi/c =%G)oLNz.*S (fr?ָ4PF6ɂN_\*W,V "YY?ѲTTfmD'* zUDOQ05Dhöu:wq`p;.dS],SHt(=nvLd%BJh @# ;Fy^:|ƍ{:/c#Aj"J8b y]$z[qZ"t uvFװ_og.1i/@i&X oQq4 /2iYh^B';Ufr1 ^PG-< ظ7 kIE;(]o0ZwhQ0Nqꡐ/ jB#OɃ49_?llJ,Pp$&_85t\ZCTPTL(:0eaJSYo8!io͇AL途|B!Iهć/ T>T-QχT@K#/I/^ yU.J8L#Z봡LMV:jgթQ?T)>I& c#L;pO?=kVQjvٱ: `و>@wsuK|B?1ُ[Tn"ÚyqV@^׍yu\uȑCa:H5rpо|%Ol`@+ 0 Cf 8ceKJb8{o4 }^"Sig;owu۷YgPMS}/QND.~4PC\1<<Zf`Yb>)hѼK٦ @3jJt<]uX!'U%)f)(IsC]-::7[%@4n*zCzȹܝzPcp615XGrC&md-$3OE{Ȃ¿]sNn0$ QN(IoϯЇ3}ќBlιe<ɇ68m}rmp+P#lg9\Btw31Bn?C"5-|CE)Kn(C{ -#>a)`H9ޫcuM|/7$imPP"y<+ *1[.ш#zE;tZ">$x&҇ΒT뵍DOi`z?~JlmR :|\$k[HGC?pՕPA}k_ݠܷrrڀ-iQ\4H>oRvAG 疾tDח zEcq?ٺL+ܩΌzd"Gz #xgH< atnA+5/~-ֈѸ~\qg `PtTz=rj:{`(!Z("KV6PJ)vnO?[Ga7Q#tAJ]ÏIVy}A@b_APʌ#C&1|"GFW^Da@_&ħZ+~ ~ʎ(c2XMn ,\9Osaƒq\?"'iDenL9)I%~M͔c`L5/xkBH.KŭnwԠ!fW\jHr{;A b i4^tj'TsX3_k ݏ4SjLDa^}%=D${;/k<=6l SۭZJQ~ >+do\`dE0:U3CO+ޣȘWv򷶶 BbSυV?t֩#kCTzPVRhmV:=mswBa)?+"1Er)=j>{ѦVmAPdN覻!i+TizŪiz8G &w?i17O3UQ !PXvdCCŽ ")W0ݪPt:& 0B %ϐ@g1rv!ОV M n8E e q˨!.4o{aK%DZ V$F\Ԯ59\+~?8z3dGgFZmZ<쀻q9ݍ#:|01.L~Mn_]aq@Bi /֙H| kOV+J鈶J|Ā79 A#@!SMjKc?۲,.\3i&Q^]4i=+I % o>h֍/M;}žsX=&NC -q4kA@txWwf>_MG.P4";RuR#?MIۋyhbEKna˼+Ef)M߫j[0ڔ.3\>-U" jb)I9޵pViլ 1Яs5mG5"%!LdJ]]1Ax7\+ ;\kHَud#eIJ=a˲>J^}>=-k]l>f˰) 0"$m6dÄ%uJBQ$WYԇ0+ Ud2LB#,]_Bq@3IϊY%qCHSk oTЂf Jx#1]6@ޣ~H6 xe: SGwH|sX5)!`Z&6}\閫+O1%;K +] ;C|Vy%K 9W_D J(Ѻ L3c<Π5D45" ^;x/`c V/~b gcm{ +>O|}x<`{3(T_`{9doאf!}rOŘ6x`iqW\s~h 2nL԰1D1bFdDns]hNK(Ax+Om(2AWl%~q/[-xkPxĒ6(W; vO9"^%B T̻춄 YmW4@P^t#JM 6Ʈv3F!{DHxWBV. P̆ϓo0~[ng"gB?>B"g,\n1o38kR68kw>k ]+e86J4!Dc о2FkM,|(9L~noܚKCD.pب 1HUKXpl#z*[= 5Ǯ *tÈe3Ňxv&6۟ ϩG;ŰyJDu "ɢ[]|]q"@G88yezqox5:$$Bh'æ8 k@iv@:Kћ[CZWM xS$}}ԅD!Ho%r&( sn*|;CȰ-3OQDZ*?JLVNvœa1Kaln޾J6=O!'?"%WSW<^|МGڀ1z$W$̓x;Vamo{? 2*[cn;W?U/Ўo1GޞnINo1#>Z\V5quk?/̵a ǨPjt{F{Lâ6 2;J.⤎//WAT*{~M`0'HQ}o{ 7| uƫS[ ݰ*d: uؼxH^+ne,>k"_󼵙ĝ<+짛.첕}zglUf y4 V9Ap:ݒ'dYp^U dRIvAF^Ari5A %2hMnڰMS'`"e.+ʖ2$⚐ ШgB] פw:GT F=j_̍H`QM =w0x\\;O@y.^C"AV! v^b.H0jE*S-̋qBS ʭ' -n|`6x=WkC{g>cSċJh&@!;" ȒEң+[?q Y|se{~b=g0m(WXGHz=ߢvyn#-2Ϙ)XšADa7]!t~. W,O^TqaR)ց|^·C -DU*>>jUG4jVtO=x84xPɊͣ9gkX!) #fػLpb9.mѼtzR@׎=l)+dx<) Io?LP'Ěa8iYC*W\!bʠ(%LU{E<.0}h@kxDIS 9iby#߰pkQO0}70Mg#nf訫ina\-gdAv$qI ot 3@ETTj\&iR$4%E/ }!e Irq7j$ ԶƐ#mU 'ڈ ~c*&OqpMAPm~J/^]!>܆? Cܢe]l'p˳b]vᘊ"ghtLɐ~A۔†l.'cSEcύg%BߵfNt:By1Po=%μF  jt"HϷECTi0G.]7_ko;Bnͼg)轏7a(J 9Poǹ+ޔKv΄:As8vxouz]ԥ6nv8txN\JĻ,ljőJ&lףR pMqX4FeLZ=.ȸVw/;A/Ү Ij$Noxvb2-i1.;<<,AbŁB2u)q<Gñ?<</X,Jߨ`AD%Y&^ Txdh\H@D0(C0((&F@E1 ()XT$MOOfUc%l7. 1H9śe;0ǫY5^ѭp+8'K7ת}^Q :S5ѤAB2qI}`D/&+g0ȃ7tDbb}327*o; `\mi[Xcovqa' ZZ5Ϭ2.V(k?4;|,h&tOsmհ1JMZ.熤11}>=y H.ˁd歮ZůE›" | P*ވduUm^=tE9q( q J'Eە 9vV"9~mɹH+r7)[HJ \\%8W֪}N!$rZx!,aݨ޾dٲHk(^w)m{y50-EH<- \8J]U^UēLzFj Y = \𰹘0T18_WmpgWHu()t58MN`p .xӷI9ZIrq82O:Y,y2LWU9o2)t!qk>)5·2Uq;W\ILM@`(Shą _>@BEey; }=#b%P\s{.-sGdgabǡMoEXQ^FJ'ܘhL*HzBI(L ~hf+)d0 mn|I>F¢k疙$ͦ5Ru\Im`{_g >ЙP˃R"g*iR*Ҧ5֬hTcXփ 7?FjsRJr%t~ŸTy^.3,؄5LmyIц6NV!g)e@s5yIVUҼL쿳ѼMlV.0}n`W? QO`'",w F\})HDdЎ|XQl"z$}[jL.ײrv9EWi%U02!.̢]Q&m+KI= UqAǼD..M]` ˨P 0!.)E46T6GNghYelr T+SxYqyXz43U?4oFUF Ѧk2cN}+l} &J7{ul߆JXޒ/B["8Q\.R.oE7 r5Qo_|vNDVq]=Kriu(SΖU6T 0=g b? =˦ V*$S^{JgRI]ud$ ꮦ'|>-m97"JC^^q<<$ H" zB)(}*K$<:XUEIWC X +XW!Jtgm;wz{<}E( %\Hw3AgЪ!lgri㧝bVM2=OD]V b|ʶd˩KU!^̨k|vP5j:˂bmx>dJsihnr`:Pָ;fo|?=g[n7Q l 2">J[gGȖDD-S3E6m|vV|9ųk*|A4ޒ8$hzkؖLdա+ Y پD%'fyUw%C?8[\c4zv\՘CvIa +enPn)DW8?S5bЀWt}#,7-<؃t3qμ, @7EpSAhТB:-Z–* &% @UZ|jS(bLʔ_kj.CӶX e!9 mwaPזJ*(g=TN$)mg@֛E)8?(;}nsu+Xt2ģw3w=-fb3IuD}c,$v << K#aªRd\uif5fmP?x!A#S;s\6įՃR y$ /h k4B,ìJnPEVp+% ĉtjUss\" <()a~(B.u 2st/eA aj @BݣdW߄#;JPrPe8ĺopĀ, BaPhR}A㞝!4T cR, ENEiklfMA$ds.Br朰fys˫H ku3y',Bŵ2^vv? ;>T NpT"j.,0xQd`+xg lE** %Xae@a*~P OKPkloߡh^7RKz; GkJ6`SѶe; di*P`9<ܻǾ:gӡbު_~̏3)rӠkO"^!sjw:@* N-$Y'ǂŒw:=(.C\tYJVIՎ᱋VCωҹ*7R 7;k gv3C8]A1”֬vppEeEU] b 7L(8Ԏ&0R;⡡_0ėjdv^`L cJyEXZ9DWH[;PM3:d$;EȄO̩K<70f6}~3j>Z")jb҇Fw` -]j?Ԓ?" Y45}5 S~pBXF%(HXcVyVS@H&Eį$uQ_t+ڇ!mĘiL-$.Pn~4ns)WT/x0Nt#$F2-hC'ä-,J&`prd _|@.l3 Jӡ-<'F}6<}!ԶhA[gH1֞ P.w L $ Z$%.=gSgE4uYch2iEF+j#AIMEѐ GPju.2rhe(ʫ0e4N#r2CS"G^&Iw-;h 2j¦JeMًeaCІA3rH\ `ЋD.*{Ct([I u ~$Pr8*NOl5QXOnMH54Ȱt&>@7V@fzow-j` ;ZRgT}ª`V$?⧻Nbl>NԖ9[QoG|Yp=@\DZLMy'֫qo %Slt K"5onm27qxrv)(czM?ƚ)x{=4^SM "/t1T "K̠sepg䪚L% [$:5\T,^hL,0%u_6"kMۜt M¥wB@&(w1h=n\-5v3>7rZ[S*1eCF}]‡-qlni3c\Ұ _`Z>!ӣ׺-ncᶐy>Ks̸h4ۣp_AkgT~ˉF#mlHi"gbF#PRV-P{3+]f)`Ukݠ&4C.ɀf钅4 U޴ۏN| nHZQ"PH ~9O1Σ뺣,{ ~@F.Oc$@y,V]B XB{Yi\ gP;wB];𙏭Mʁy#1V.KǠ}="# !2ҍw(CPGbg,CfPr+e" [Cky/}Nh::N~)0!^s>ֆL !fo遒`i4;/#?):|:J˷DN \G1< D6~70hF&2РV2 Q.$j>? ޵8`l5f,Vxxjt!-H WgW)ڙou./%AcOȃJB~mM_|+l<|xo6ޫ>x&E~0 8̟p6>ua S$0f>%xݍkO2ĵ"C." K K}EؽnQ M|ޯB&>->& 9SXxR,\]a,R&ؚ͡lNh2%W8UgGJح·N\lL#KZI0x/LzF\ )܌l9%،fz("Yzd"(C=n %4"N͔4lB}x~BXBW;8c;ZGC6@%\>84k})ʠ(v=ޓ TnD'1OBƵHI깷J# =[oԽhn(WIQds?Kohga[V& +TI8="|0Zm$:NP?+m.b`r26k=p&ī}m7/W27׫6;xas^t7#K֯> U|d[;SoUbe6QT P=G&s[&A=+ iS|J?%]c? a݉穎twĬ͐m=]*'6k$O,ȅmx!\{ٸ8kIʯvaq}JA4PSO SwLJ U7uϾ*.V|@$+Vd;g+j1%M 3()޺N̄s=G_`P"N|xߗ|#xz] 4@?%r~5iC\ 3 K˭B1LPqz4{~`u~A3/FSMs ]F'3 ՊTQ~?sY[lIGBP]\ʣ4 p5e kȗF}.\B'JT[G\rw5a9UN݌j?bF ~|BF$YݶL_7 vPzz! )rmZǩ:>\I~{ NJhGڻ.t@y2S+#_C;pPF9 ջγGuK%ݪ==\a )_ ?%UlGTJ c(.Q=c(qzM0g9QF`9c%%:1fTڅFq $ mKVi%E ƺcEiKfݬ_CՄF Ŭx !+m":kȼ%RK$!M\3 rĮ:f(㍄k7J"r4B:P/ͺ卹Czyj)8Yq,սFla0A!iJAg;Fd 8t8iv I]&!,-)m zb uܘ YslE̦dLdGj- =% [KN(ql_3&s>H#GDDG yX5LJmIuoEs]5ަc wq#dKV,餓tPifuY8_͡0PP"A&:]~Y|ˑ-GSfHG:(?b$}m` C 'ûgSpLQrf{ %! [ mQ!~TyO˶R#$Nut c|62|Y[<|F< *LHӡlg8hS[XdE5DAc%grA'd}LyvzԱ!yPu쾊WwnN-[ԡ^Q"}q o"egFsq\eWUi ^9T= iC'aɭnI&6#*Qxf(\mllHO5 %h|/L>q({rU(N\>E|Wn#jE{#s8 rm}_WsPqU"mF;X1 1bvmJP2bH43XS{,݋(Bsd f<pK2(ѦG_]ޔ1ozfUEt|;"|4QPr?OȝOOy_R^?jfvjijYUQKULɦ6_?? wfUGT){Iy㽻2sQ..!IH]];jww0@X{K mwk ~o TUdS m+"IT,XJUP`@%Ą&YrL&:,06$.($  @€@8R)YG##IIf7tޓ*F{catXF hA4Ζ'''{v1伯c@$Um5](Aݪ00A=-#/'6,!j6U0P`jJ U1Gg"DNK0a%t=Œg}LShJN>d^Ce;i +9FߩݻY>:3 CJ|SꔠwV8 6w~j>~{=&YPf?m jO{&_! 8qt+8͎?)<w%%O GYe蘐3\^zp2 lﱢo4ب J}9@$7FߏuQPv e+bwrZ"(I0`7@-@vm Nݸ*br.Uj5m:lc̬f#,>Iȁག]O'Kn@"ߞ ʙ {,h+A'Ĭ9 T!4>mn$-$`!^#Mg17YoJh;F&Rԫή䜑TqSqcK0Ù({Cy55ˆ!Z'ӕڕ>@x5Hb 91,p_P0~6ƾUhpn;"т/BureP[10i,ݵU]>Ƴ7uqּ>}Z %1:bү $aot4wO$.j͖҈(z$g" G^̼⢢4=jBx-?M!\u5e2 sm@PC6:C>whMAW]Z/W1# SV@ؓ8ٱW uQjqq:js#6%'ف= MhFo:+CE1) ;x}bq.[eyWFqK=b˷tA {5KiJ~:R+K|B X"-nGAD@[fg_S[,]JEx4{?2΍-&l>V|.JW.ɛʺuG/ (qGL=B0f0cikR}d{]Gy"8Ex<{=%j.,>~I8^^`ʟLRc?qi,aD̄ȟė!_Rh+ZWTS>Z`%@H'F6"[j`i;Y:jD䪄zdo1g&JV!']/hT@noD6ĜJ/qQgN{?ŶZ+k1A 2UZ RU!|kř<(N³FѽHC)>`/*0_O5 iG t_4,;,"%mWDbۚ&.:6 M\^J4$ZcԌV, ]*_6_KőE"HhaE2h;IWPn0OLr;Q{VHP '~gW0 N2ڞ!b[WE1#UYMWH Uɔ|J`z f3D l v[m??0bOͤx3BmK[C3_NLw^^9 sJ_g828o`Z `C9AN3ּP~ZhI3B`Jm~~Bz;2(R>ES[h~4!u5^yao)4%/IsL]-6MLlv9a݀%Ta ,7yQtbk,M%d]4¸oA҂$$hDU6\#]Vu{Xȃ=ECOW=Џ%m5YI!"VGY%yv#%J nIzǴy`ۨeRű?L"In= q2`ah|A7L֨nJ."4Ƽ=]3*Ћ!lY c]&k2*eGXۚ*mvrxTP)S&BvpazT??Y~En׳sh^緗JKNAV 6$sV|P֯/;%TVAO3iGѪ\ XX^xɽFUa@I8T}O{7cGҠ/{D^e'L} ОF=LCJJz6 쳠 ;g'Sy9c\B{\?,+50l"@Pm ak!}iX]e<lg x1v@Hĭc:2o#k[_U%W^#D= 6C,M[TKJB ^>ianPA~ޔ NImۼ).{^mi0&WmnYBbK#pN6-WG#vYpkm=߳IMdix4#&sҷjbE nXToۗ8 $xႷf5~( jgITE Bj9DARj 6ri[=/zUyz/I;?kۣJbjNH}У"*׹^VܠO[c*`YRE?4'wk j.s@l3gwX\>XE[L4iOOއ|m=1kxlJ3t/ޯOҋqȷ ;ȝ>5֑vL͞ "Bz3 6*T!M%  jbWS$28lh҇>&1ncPiT XC:2wM8^IzE?ȍ@Y.] ޱWD?o-ӆmɤ_:-ϯ}f!sr2h3z8SdKF:?40*T Koد+ȦX/*+NxʪO{~jMlyxVxާ_@<7F8T7XrTnOZ.sۡP2 s0ޒLf.j[̬%0W_kI %=5;7mmigmqf[\LIڜlnO)UܳۀZΩ1?B&>y6Þ2RɇDyp٧ʠEL3_>vIb|5+ɠ'9f[||,we<_<˵UL_Oe8׎;w:yy}CTw05gfvjVg'0:Pd㤪NQ8'q }-Ț7b0*[ ~lT(0E9;G:>0,4nx)F HV͵fR@&?n׊==[BQ_0M!a2xjgXLj[,#K=0"ۃssw{ ^{j@?"HrׅwԺ/poO9fŮnC]8o;7e)g~ p7Vf7͍}DQ;ϜH̃ź) |1Uu"w'TkڣIh\>Ic3ze ϗ,ÌiB`jr4J)ТG} ey:jJ=L"\)؝뻈$~_~-wP(+ cu4@Llrxv}xL,mPݛ^2|(`D $hI@K<a 3> vW8x 0Q C׽*ԟɽcܶ$f8`;^Ƽ6cEzfx‹z}Y@ e{R=&,n}}0}l5ȾN{/+w_ɸokL|lYS);).1y{”l1,3}8SED-_Q6SJ;:%!ЖM }Rpz#`H\ԏS{EI#B''J3)&87Dۻx=- _&T(}@VT̳)y݄\121mTw[l*E= $2QssHÈdy 1;a^U7SS1ku8^*%K|œc,g2(wj%EA \󵇩!aSaJ U+]ˠ<}3"`d-'/Y5<6Olv|GD42|*A`> vcM=gozk-H޴ #qjfӥ_%"!VflW;$A_5TE7W%8 b/d]R猫=S=_-V&;=r/J2oCDS:RKȓV\uI8*=˸)w\'p)HP|K=n\UWnEMm+b4o^@&Jp 杯z)J7}m::1Pü}uCM_gXMXiGwe>>e5kRͷ%9M. wP C'Hy2~> D6I&}!E{Ԃ _Vg]hgRy~TfUQ+o's`v[MFb&4!b$T:ɷfj2.Sq JYY0Mչ5GƕqO FedBHQk֗wݕ)g:|JZ,w'CI(JZ<%P \Px*icq]l;X$踃b B)Q8`pu"N1NV*:O  TI <Qy}x+(V x˴u¬ ."D ,Md*捥cj6l㉲Q'z'] %-r:Fd/#u0q6_ȹs, "etFGy w8qɀ[a33ϞlLS8Gs=Hr\ouӋ [؊Y@[jQj)t:i֑Ps8vyX1de+|۱0oF{c(T&4 OkĈAUGOY }[Hv!;`tU2gR+uZ">5ijuCuQ~\~+" ЌIYSUqx!$Nhf6Ǽ${9XTa1|!*&EiSچbH&~^⢺֡!*DWc8! JcކT( BŠp뻵dqҟ%*]pb@\Eqtc;5ZMycJLG8?ߓ(#oR{ E1 9rj46@Н׸3TU(2%ˢ lŌ0׉q2鮀S zgNA Ժ1{3W |>_O==]MnOx=1=%ubi!QB,]Xz~65"mCK̲$IdnQ9Uk ^G^m JycR&Ƨu%"3dl2$q~tF\NN#J26S ptgpg;m iѦ46v/"V  5ل-U4G$HtU>xҚqx}DX57Z#wCާi:HEw 7uR&\/&1Ub5ro/;^W=K|=vmE mZ 9o&+EbrnIǣ+K0{u|7LM fEOp,eB%'2,WsP&)`)[J|{`]|I=TO5GSl 6Z%^R!= #qy*7eJ*b7ghtb:;!@d:!=#̦?dZ+g9E lu igl4N@(R&zon 41LS6Gn4*mCh147(K;ZDyKQsbkXh*]x@L>ם9Aof|͘m~v76e*%꘵i Hzu@'$W@jO1QHBtWS[5vIWR&`*"'PJHnuc&Av- .'<-fBl%'GEjk0I~N}lKсQrӐM7 4wY)Pҳ#gPl;@5)žm Z>[P8~ OSMzE M' <#i446NIosŋu=VUi :l|yss3 l j NJDe9(0&P1˥l2R\.)i\SJ}I 2 P\' \w oP ZB4@Lb<ͤ?qAiM|ῲs%Id9KEё*Wr M^2zbSA;k9V\l7h ‰gȌ뙰M2NQT2Uö(pfU+v@~8*feCGL Z0gƮLӳ f ~s@Qi  F~V?dE+3 p> 7} t+gs-uDա M-H>jHɀO@* WCy`|a"8u<2 [z FS˦Q) dYIAU4Ō4#Ku(^RdwY VPSj4ĿZJ;k$c.D DJeU6% d^ѱjj%A)sS 6 ](Eoo 0*:%w{۔_/-uXK@Q'`:[S R1L?Qd>.S6/. ^!U1,[MRa<{\hNMwH[Vea 9V[ƽڞ2?XUW/w)oP>BM8hz /3@j[5Q`mH~r4Z)ͭu>$]kO%1̠f6,x1Q?dE`+b[g+S_5ifĿKCO$E! T2z2:A@.]Dͮ|毵tM-*6FҾNiQ`,To2H2BC7D PTG|t k\]P hs[pE[vlu qnZE0HYN94D< Z). yW7dX_ zPŨUeo-+)2PrL2a`K-7YLLl%| +H&)#? 3㨴>W:LTH.8%JHkڡ)3SdiaHrMa! xBl9dX$A°zAN.L T Me$(h"WwFش !j0oyV]A!up EJ7Ɋ4__5W(x[B exKfl2g(H$|O=QЬMj;=4֢6dɻ6e*Z{Ր KVC%Y$stTC0YU(Mͽu4zam!]K=2 W)Dë *Pd-SY];]?#Q˓3Ÿ+8ha-Ruk6U6 ˤs%{ Lr/+<\@Y/k'{4f^qH^YY0cIx0l4d~gSP^Z'[ݠ<Բ^>T}=?-rOI99ԗ@gK\,R S|Kr'~@;޻a*Ҕ+k,j<o _ϭ|"ھ`LTiUi/׹O~ iYV|>Ek?9آ]g+w"67񑄩իJe%MDb5PqnQP:r"甉1BlaX? r$R*ֈޤdV_udOaq咿!.HE_I=QP>HCJmŬhʙ_Ote+g1"/Ωtkآ9NoAJqוHSTU:XIR*%)=(;0[K/7+|9AQ.rz7I%Er'{iډ+ Ba}=cp/ҳ!\!Dz") F_RΆV}ݗ簤4 hvYU"!ntD}Lf\i 18ӷ]p%@zvSx1s UIT;. xIVN8 |~> 8EIIp@'@Z/|C"#i&m![%K,$f?.@~Q?I:Kx碦)250rf^ܔi츼ef{ι[ h5Br`l$Il"~\ݏor`E5 /e7HYEOCԤ`]\ 0n3̟2yYs|~ YVV=v;^*Ca 4΁nEHUB #cF|?sAHBb+_EOik-Nԗ*ݛRF(43p֚Ob|OYQz6NJ~&彇TLV~9 zxǒ 1@L9)SãPc-7( 0 Ž̥|@؇ȼ=u=2-`Ώ]ᤱpb^q[[癅s)EtpB& FVƀサ=b]~2f)h9\,4d! D+ҖE1 #!&R8*T&'[ 9n%-jLeHhBk\)#czjJz+)-H$L=K'aT{a`AHÖbm/hRv+yq2w\brphc{% ^zsj/;@$u1c]) !&4un+7QdŽPt.qXQ~  m7E1RHOL-Datatype_ExamplesHOL-Datatype_Examples.Compattheory/other_kindsoracle fact bundle attribute method1 7E# dHOL-Datatype_ExamplesHOL-Datatype_Examples.Compattheory/thms(/ u&om،Fڃ''hpm-%G3*56Lk f"Q$$*s2J] K>0{|AC*Lb<6sƉ0*f/a<*-ҫTb4)&&9cQWjֲDbjbO<3w%9[cLq.dfN˱&3+ci FY_+>1RR(1|4$W&*5*$@,P=080j5dh(Ŕ!pفrڃ5Q*ͽ>)iwwwv7nB  ((ި\ P 9(Ii$0lX\XpD<84 $ A@@ @A ֨\]؞/V&}!qlc-V{ygg*ߠ82u7ߎ&}u&8$;k)YǹǏ!jZXLcǡY-M}^/$NЙ",ּ.m!)] |8:eMU81)j6$Sŭ8D2넊akOƫ)0c8<*rSib讇@ϯw7XG r(M"D?$Lи\ F( {1!N $|ƗŐBsmʱ4(n',ĒxbA|쳨'epլ*ZC 3cV=wL4[*vKRUN1ftb9?'4b_.reC0q2!R[[p$"׽ȌkY _]M_*\DD}~nvrzth%UphUYڃH)_:v`{vϺ'U>IpsV$|ȱ&;ҋQ"]SWNxh*8XyK|[zԣ}@\Ce'd2%G)`͹viE,&Bh M6z[Asү̔i3J}"j=Yx&}~cV:ysh3:&ʶXB~3+/NR)7U?`hB5d0Rkrqg8Ͼlߤ5<H8P5kDRv_MgRf75 UY:#-oSBŘ TJY֛bUd᤿2,Ntp"+N[`0KWN3ĠeMׁΛl^Y"ð]+ӵDQd"oX[_QLon͍cl~_OS|(h{ ?[!- _F^ @ ېY\4.^όLm]Fv|CW>=n{T#>'?:?65X҇"u@ϐ韴MO!>uJAbM<b)wcp9?y)=]@3&9<@:MW6y3<6c7zG-n-;kT]cCq- 7pÃg]Tsh7Kc46!YMh c@٪JmhD=Rs?-6rJ嫺Zu<k3^v ^ oaTJ5+}9iRZ8JbVRUwIK]oֆr ѣ(O)N`[/?T97 pijgm2X++X%c<&X 6jfZƃE)/ 뗠cQ&mbxBô9ʥ(| K j5.z,:y] ̱kM7h@/)G`[1GMΤZXHXvJATK|g9>4BU:D?K$ven$R c'i>+R"B㏲V2cAZ CA},\J* !Y9\$\V I9 h;5 ;򲫳(#zr&i( tUc@S*R0q4@HKph{S . bY,- AR@ 2aO%[FB#zʆo~drbk e?44EGqg֌H28BmPe[ y>XӀ8 `.T?Nb3[حDE`yLL=d ~b-Vf/P4v_B _ڠ0Ft dM.t-ۚ;pi&!=,-ệ߀ -P@myjZNb5~"9c醑'7u6f|d*^āRHd7DRY*p`fuTJ߀ R!t9R,':+[wۀi1dӥXQ G= ⃈5 ޵4a3o.jY#l @̰c1Bks #%*65O6:?1nB3ye/EӃd۳v\z"la:_+E< -'*\Gױ DEI4eb^3il @UU=|,<<qD1{UZ/D&\T %|XewJ;Tj4سdGD ͅiK/S Ef V{%YT2/s0M iA r<]@QeEF{';:@moL9ݭzL9>I4B@ \oWL?IX>D lDZ8Qg܁ ϣ4f<܈s ?0Ma_Yjh& Jq_?ZR?)kFu_n.X '{*HQX;ͭۄ(M*PB Lx(.I(~~;> +zIFZm=\niD)MVaU#4+X T|:ߣ^8_F_rWit R0e~:& B3? 55FٶLo¨HŁ-^J_t\\v-kM]JwՈ<ԫSY@úp Cm5G*H!R&Y)ڒGh#}q\.LS03 ՞@Vd@ "|۸5)TI_GF6"uB X*݆fespQ(  T=h$k@I:. P\,#kS ,u]fd mo^Eo,jpn37j&gL@G&C E.::`O2蠡}?)i]mDq^It2!CNj<0>mK#VdDN[ DDXg l?Y.;Ԑ:6;4o͘{M#vʅ7g ֹPa3܅5G壘ݺm/̤&JrFskVLLԋ%)%E4A:2I{`xg1Kn1,W3s/?3OkDOdƕ gaނÈ3>VN|"ܗ`]cZ}} '+I͊o3؃0=g j܂olr]'Y kEb‰@LMhwDT͇B6=G ,Ɠ^,Lq錚kTđm_cFq8BLd?Lz4@dG8Fpڮ(}R~zm"%FSU!a5؏A`6|{9*7!NS\Qs&RzFv [s, uyxvLk=IqgvÑVM/t|"Z&zie2 1'Gs:4$>vߤ ¯PDl9:a{?X˲~~[O_'SY-5qSz>ЕXoh'r)<sg{ TlӹܕdpʈM٪GX'(C2SXɚό*Oٙ1xa /LWaw:s/ gkR.@層=jjsw}}y>8jƙ[oA} O= Ƃy;iy]L%vN}>\uVg5JSuS {F ^HQ~>!hrG2ooMI}zgG|Yv.c,MoյRu0')LM Sݨwx{BJaSqֵH616<퀲3fXΥ5@Ȏ}Hݞp3+ g aJ  PSIL4xw##Rń`(7;Q&DN4s*(x99 °asa98 lr&k.i&'AnV.JITĪm&/RҪ")6B(bJ A102C300C+fHa˜RBʠ5'ac~( w'a̳ 9 a4Cf*fu)3 `P0`0r"f`XɚPH;uVMdb3 P0(Rr:':P'P `$effê_))2LbZw0`@(eQ)a 08mnu0(Rb`HyV 0 0UT|0DZma`````UE(1fP0R 6)bd`Đ,3Lb&eqqq7qq".#.2".vwww37r7;S]mUbas[)n|0;&v2LbZ\*Uv(!NDV3 i DeiE :8.862 CPP  bv^Aˆ0+M̥p9;bALEV+/Mmr+idYEHmeZi&uq0cʧ|,[gtNsD@1Hڀ*uU"Y5 e L^h^I g I,ڎƉWuhcɃקL^\@K₂D2:r5Xe{O~8īr.lC36ƅұsʠM߀z[vʄف{R5x1MԡzώTl#.W<^Ign|I@ :%KUש8(v[Af~K ~@Xn+&-3lOh!4lo D.lP[6m;;l"lp"YfM#Ʒ^7T;e=t)ܸ*aS+l"_{7M%R"cTm w/^QO-NaL[r!48QW\Q#u &4z&N((mٸa‹BKq7q l n g$Л jIӳ© 0F18I)} X(}swb @R|"(~i x.>uIt5c95;ªrG }Fp='L'Dߞ)^p'+uodJ,SD'+}uz{\Š~#t-"#71h <5odM)fZڍaBJB# U=wڻ#uьc"_gI۝c0rJ=lDo+7ccm^NT=p¾ؖ?eDž}EYL6AcznT}>2/CVZ$&&dgV_+2h:o12s8}^눘mQLqeO#Jg26&I6-)EʢT.)m&2#u/5e|ug|v|dFKX9VQ2WM-h c ˚fq\FIDZ@=qv_(1Aa(J3'}d(Xh&T .[]Zf@V+ ^?Fy3 fuVj"5wfd6Dg3fXm^}:šdRz漀!̼H ꊺc~~=]~a ڡdvF|uC"8r6I)]GE M~HR Jl(rIg?ű\A]KQds z )R4k0$R @=[237Z!M鰣DVoðr} &0ۮ{}姎*oC:#Ba. S#cKK%QV7P.t%yˁJ:w*pB\i^?#AɛC@y/GR.;|Ș; /UEI\W38ph͹V  HꎂO.0МVIue!=~tCS2HZu Z 9,m;c6[)͙dK m`ͺӹthQA=!pgYc ,On^&=36CbgC % wLcfvu$DP)8_=fܵ|& |[yWg3Ѕ,2},=\FWBѽ7Gq ''T镛:|\S V`:l-{ \/ 7n5'Q ] hSc3Ķߏ!.[qOSap/]WtIҢ͑v0:f;VJ*&`Ї!±v6\bv҂$hJ^JU&s<ĺ*$OTu 5ٵ~F: h1S5yϚv*St>1k&d{>f.juݼ0-y0MK*P@rv/ǜ#b'O3{X}/@V^[\-B/+R1Ds G`R 6 CtX<NjĴ^?5 ޼D_ԦzcAy)#ɱObH1Z-<83UU?&]h!Mb/"Q5$2I:?,+5TLdY.Z>m>EKTްpZ=H)NuvdqDO|b_^(|b̉B2Aw2Gh4kj8x헞;aC;>B,KP2/'uۺhBI46Kyƪi>:.S i6|ґZ1t]>)E$NϐR'À\ ѨR8AOliX\煁>uY<;Fj;6ݬO \rDuoȟx;.}{>〟( uNlh6QtMpU1EB4C`A/8 Y=Yb". a\?/|9ik:{A{'W\"RClẸ|74נDaqcZ " EP>h B?]9S{`0Qb %w5@"~'qlm*9tK.f9U:lۉIPW2${Y1JG!%*" =% O9E}.u1[nH ;:`C"CaA/CZ$)4CI7Q=TS,r2P[QѩL'{ x Rbm h$+JՌSJt(yu{V=fQ>8I¬ʨ NN%҆?(J CGFI_9b=4P1A0 7fpf|ڗ^e0Di 7Zt KMD'-JQ(3 {*RUA6?P^612!kKu@X,M^5_~("}JNGRNb`b9ƠQ[4D]ADl[^ Ǔh`W٢BKɜW dϹh3BS`N$|-8yC7%)"R@;"VpM<[AԑY[JbZw ݧf7\l! JAd6uB9%k޴ծ̗13Z_"}w搭cU)oRzˑT) Bz!=Z7*Cv^xԕ-}i D~Tj\>((Z(S :=č.M4\+d[@h ABXrn}T8u4FL{bOKo"Y_:%YkԹUJx a(=l) w\dM;/5G/ނ/E3Vidoqk`vVJXZnl"cw$ڣb}eR`(uؕA#,yqPaG$Mfrd=^Q ͮ >[gEJIוmɹ6>[.)lŪ &UF)/pRKg?S4Te="mmQKLf勼s'(_;tкEIhPo"UX:;y dHy0f@̼sVi cC\?Μ9-:_茑lYK }d*8a5Ǽ\[eёKi||=%m=vY5C1,F3~g-%@:tz}9X))IY@|MC@S:PP#rRևi9CR8D:yf$NA' bh.K.<*Ld?3!#Z>Agi-#xݤu*ym)!d| 6XC9VTEa0I5{:+Co  =KjBZ(S%I3abYV(caR9iֆ@^ "_ 2B Lm~?i_ -,TqyK$ mk v\iImӇ7t4LD=רA#e^o/ @Rg(߄) EQxV*}c.C-c@^5 /y>Ð@`ʜ?\LoDoc=I$P.+מPTS EZ!}j҇x~JJ? 0SIS6~u__Z9!׫/" 8 ʠ*4c#<>~:#3|d:U ԬET?|[L,^iA;%XT5!x+Y>ʌhB.Wiӄ>{3=A%RZPU/>c̽O8gup^Q:a+D"F7h׋H^yd"`Sgu❦<-CŴT$ns]*MF)j$J%0@i.T+eil(˗xL[z120HģR&?\wp@(=EdL$@mu`pW]6q\$#mu:7yNv`uC2^Ȇ&3asH_U6EaB{|sX`]ͺK}A,X ěa^weq$ Nf0h`uamiAm JۃD =ѶE I o .u3aM₪vM8 <<)5u ֕^w>1=`u[E) Ҧ.z]0[} btS>(vK6K>{2k&h:>28qB}z@AmIvOq&:ѐVٞ.9) ^g/@]U9G!! aX8h6,xس6P0!Q,Wϔf $J@B%cT32rwJTRUH!:f_GĪލi x<x=A__;%UD^4?Ja$9m]mN[8O;U ^U#@ dt5m:}J,rB G>-R68YM ͧDYe3ǯ'V H =HDW6 RO͑n~d!tFvepʵe+hV":]Y 6"=j1̞.a–-&ָfZ&O)WOL%G; SX:I&/ydH#r`zT/H_$VaTx՟aĶsd]9a ~j͓u2f)0ƙ+t`x]/FhEg.s9M_25\Ci/etam'͉g tQDDbx`b48Mz_.pG^L@6Ŧgc_lb2AY<Y׉Ɗ}IVdGAp>OW`GK: 5)m8({-X;S=hG~X"My,-xZm0AaE8V2Z Vϯj06bFV/2)5a}F=> B< Or Vkrjd/_3CgȦpժQ1E;,)oacT;bÙ&$)i(X@Z{SVE#hrRE46Fh#월00y8I!o 4djz< W)敕5Ì{㜎F/}5j~, V1";rF"#33Mx=4kp)H+0lrzU_ Ҏ:Q3@ iig4ɵYxL mj'{JppBY H(-Q+%iK~xU72s="Ŀ`3EV)~Wt޽̧ GcnW<例9wAae¯A2 P7bU-Wr@Af62P:yLIȐ1$=bc9 x s$M2A=25Piy'"kx`&@7YVD+wyiJ[S5 Vfp͒`"k/3*L so,LeU+p ,Oa ;Y/"󔪌@$CNjV pXMyf #}TJG HXZB>FES]f}8uL@)sDD0`_;q"<3'NJ܆A26TJk-CJs'L:'iWЯ ^ZM ю3wO-i„KBzOn<Éjx﷭:^lIa>Q؞*>:qK 3PiUxg)614l@=Ɖ`LG< V8{H;B}*oq~*A%Y)#h;  K%D66n_G)Fξ 0hec~}"eĵgR+D$BC%ې"i{8'J*N\ۥM B?d<ly9磉t  /:@aPH}\V+):gL.iI02$>0,ckDf%в]gYNl"M̺4 `Q +)' 4v/&'gJBcndN~Si޴0 )R*~G ;-1pzcIr9ՕbbH(Am* k/W*-aV_үS~WB)%7oI%oH%|Z> FV+w/ۿwU*gLF bjy.q#HPpՒ. eqN%zYΘe4c+ ƊYX? FNB#PO/< (k $b&isRB| x7ڇ:pW\?+铁_awrm)wH~YBOҦ K/ Z/BTGw^[=NcwER"z5n%(88ag˘9T ?~j7cE|vg;CEU6 38ri FUoRyR52=,Qs RztQW jS ټ8"8⋍5]~ 98TI]KsM@Eq.5GPD+R;TSzJ;{ 7/*8sf5-/8n9WB04"Lo'ia IGאуP}1NmsjnZ'Yp$b2ǑaT1'B|)(i0صR &yO=չf'6؞ яIhFH.Ҵ_Jې/zC|Lж=iC]{>nB|H_n\Dz2A!҄.;j7}M:V=XK5(q-#+"4@>)m+Wuళ}o!& [ !lX7Dj}+~J;/z U 8+C$H 0( <29(j'_I҄Su*zdł]c)ȅ 0I+:Fo%zx#9/ƃ9ʉ9abQZ GjvMv㤚R壔 3pS[/|!7W/e73PZWLj%67YnS@Ñ3dq%Bq705SMq:XR }t>v{h<\*5=qݥ0BzFA}(c?hh{8F}^p3vxK|t-\U,C5MMP]A ; ǀv]Tೞդ- Ph|QΩRh'5̰E}]ћ{kybN44HАX=UMpfApE1KM<,_A=/9slM[ռ火 wdO3lJUn4S)$$uD."$WLwP-Qa\@- ] e:Zx\ڄqw1]ؽ :B9@S? "9@YG!zʈj*Ϧ3%Q݄!GDF;:ڶ?1Dꂉ*W3A炈)I[X![> :gٷyQiOkZ tMLwM<9 "v^Ջt_~40|,~]mYVɞ:*@HfC)0m5H|xq&9J-Pe3Gom y ;bU0lLqC2RltmAB_z-r$AO9 Ω.Q|)Hc^PE-8 !6?[L;F 9吂~$:NB{z^ Vtt,"AT)Wν v.˯ unuH/VInSf>ϖ,ZfS&k} $3@//ŊΔh"nbOJ7gæQL^^P [MD dhH@RݨhTUWeCv ه9[ w/sTƨ` $ :[k@5m^mc_8Bs >!nJH;e\mO-kY N vT家kr!/Y T H>YYhrzZ3vgaE~@`&Ph]? vl8{s[^ܪM"䊵ր)UyA:=o ſQ׍܉"*8o mRm5N/7$gƍs4|{6֟ [-FGUߝs#="nq+n[Ny~ٺLej?ex/Scݾz4,ʨN ;p(l0څ r渵0:@oaڨW)'ދϊ):JzjQG Y@VJ[n0%=S\i&A> I7&!> =۸MʥZvƁ)-lMn#n8@>+2tvQp &ZvMˀq6i5] _coD >GvVO'5OQF~EǴ/9D \)>P8@})RyC^]!8-XlH)wuBtX4TT}jUGl(S.(y^ u4ҿ;dɨimXrNŒXDqkCoE8\9@Q"=@3 cEQGME([ Sd '|7) )qiA rdU*ǶûNYyOЗj/K`DnX Df)Fߊ {4 YअG6V`̥l; _.qnyD|c&)dE}.XJYֻ[ݽv́BuH/a8t +uvv~*L8`a(7 ]-~Zt3xH#i^0^T3(msbn0d@~gؓ$KNJGI|i' ;ȥ6Ti y5h0{Vaɘ!Vլ:D,y)﹭MgЎB/Ņ> %D"Py~(F9'"^6xaO,gH^nq&Yk:Xd? Әp#R? @0%A7zA$fXV^TR}i*C*<(.8rƑ V=nu-#/["%M\T0# ~ ,r87 HhGoZ.S(R?WOhĜl}X~a1Kߢ#q@*&A)q88(☕*E3DS|xHm@_($xƼ1)QQn%G_t ʟ#yGkX±4 MU!@E,EGZ)`@C)ha܈0-U]q}RM5bw-=GY:Eqc5[Voq1w0F #v6cB%zn$/cAl ׄѱx{ 8#^Frp<e:bO `ZF6i;ѓ>etUqtɤgz'|/K{<wG8I2wj ^0 bU ;!S%I(rdw)0C(5M`W_޲>xo9AidKu82N= K myU 8h&<S "D5 | 1sLG: TMܢY !D.]ݨ_z'ۮp9Ix^L^+XsH35uxUQ,.we~F4"f`i jc#4@&a!IEQj`[w|0bbF$ə 0-i2)2,Db[5ʃ2@46(@P HŀdW4 41f0cc;e9ihggp_[UVVUU[UUTFRoR'.Al5uQ7nrixwY.r,juh(P?Sw2 #@0G #Oŀ4xURm>p2NزuQQYD-gVx=s9y9ٱCNr9Egu2reF+|D_#7#2"U=ϏB>Ac`iL,ʥ>>66>*2&"A((-G @JIº^侕FY3TН{5P g8C(b31 PkxrV}RM4V&FSu ϭLzZs8`iUM'}dݾ%班CQVmٔV!GҪWXH7$׆[\9( 0KcζSKnRɋ` yAK]1[ LY:՛h@XzI>/ ^l7L-?8GLt%'M堢-|v_k"{(kIr. bA3])ldCJl)Z3C ?wO E#**6MqC ̡FAD .JGrD\#bl~[F]!qTte~S4Z~~l'݀hK%D5a=vKoV>X_:rXr[^RNHވĀ;@Katt-̃5*CdTv5()Pj L%JySAc3 nIIk[WaN\c.|$)L%u`Lf+RFT~snUta'' Z[*k׌7?Qon!aFVXJ+Cכ[AarZРX۶Ķ#@q嗁u; ;?by ھI tؿ =tسhbU o"KETŒ ӎұE'N]o ʴ6or]]P;(('Um"6q^XlFP1k`zvLelUYp˸~(B dej$&2n\!0rQεㅖ\sSTbu8#hl;31*S`&P+݋Y ؑ|6>`FKzT?$n4.эVȇ::Q!cpԉ]Fz2򤪑MՉg5RzU[{W*ijg{(&Xі=z |U #zߥGw1SW۽YWҎ0 X$>v]`N3{;pUE+/Y%.ȇ m(Dh/2`?[S%1~UN2qs;,d!M ݖќLۑA~}ƻ] r~\•T_R9Omk1.pErLqQ@AX$-eJ _+\ԥYQ2Y3Ip-#Qt\vOgc9귲[Gfa&J^]n9)|&V4v7AۢevT6Z+9~R}99NBfkpQ @:y2C/Hu_YOkjDceKI5b%TZ)b: ƁgEذo_z[]ե$F4+S _mtPE l^IZ~rm \)J]UʮI&3w/"t$,(Ez5)ZӐ3<-G\2_v< m|[qPbvJD(3^TRwhE3ru2jU4`/١F1vڡ(|jDԽ;SH[BOM%qdL[mF%Vk0_88 s[Bgxc RcCoPp:.OQ"BϨh@`cM@6x v6l&=vrEk!EMaKÃcp$TG$#ș& +Y-ASU+i^}H9<=rAַl/FMґRw k+d:R 2*%U@.sUf%R,*y'_ ̵Ꭳ6nul0=?!qc!{w_9ء=d]rNkJcdbt'0e5;I6>>Ɗ8 T5۠\Pe$;kw&aRO=Hu}J:{!\rjCEJꞱZcPT|D ]D!􌛴v{}QZ`:0e)_(NFAڬXف.t1"[d-8@ucWt 7ЭY%VWS!C}[ioJczUwuZ~L6Z7KUsƖ֝JIdK.u \JoWgq#2.OZfJ#?/SI>iǯ&8k!MenA 131ф {~?t7Xy0SuV&;o5PH5 R9,ϻ hNDݻKeT'g2S^sinoVe=gB}\Xc>UιTR]wo؅/&{6z"KύwSWgFf(d)HbGaeYHڨ0u%|,ܑ:djK,ƴLI}Cɇ(ˀ6_."״+̃AePmʼ\l:#W)I̗".{w\a&d)RƝ)G) Ƒ &̼G.@tڤX͹Sz7aX9ΏvicXe[ʎLM6UuBZg'-mI蕀8( ζ0+Z0A[ `Pa%0, %65g Bh.8+`tMv!sސ|5f@)u.^ )mZ07E^Fűކ"/Lvq,j$Ib`tG*ʥM& 8 .'5Kҁ}ݻ3P6ά_g+g3z E"Man}&pe}]%/_.}x] ;3-w*#g앤ZF1.P?C3x2oH; iU+ZؑFvdfrܵ-ct H1k?{ƽguR|rO&vשPAkg+hs &w刃)= j&BGv 9|A'3@ mRx]ێ! j{9%é!gs\e1Scz}ڜG0\Oo,T m]6`]1T,Xm^^Չ)jdy$R Lq&vgiUl?Y1!?A-ر]{lcTvwcER묐qEU #y!D|G ;"|5f|b~H?YYQvw;ܽ2WsD6Ae+lNaE;BSiƈ7"@gB a#nj1ډ%10㦃܅tU 4{qq;} W@;לU݁(pLF|r/I$٦1;`a)yd  ZEƿ){.v B3oۦ}Wi%ݻvyCKgUgN} {hDnQ 3۠Hdf,o@( Ii7@Zָ(kVS3E^M"Uj-5dM Tt\!e<[Q8y=[1G6xqLyc7✼ڛjln LsfƬ\H?Wu%F<$7L9LE2w%yu] DB8rD"V<Mf]cq1𗵤eJe/A;WtF|4€FAz"pH~aQ  =i5$&%iODva@_~a-?v#p frLT什a Xt(!摱{"sbq's΢(IX-1J Lg>KPH6GPA2 lYL,T6fy:|MzɄ6YuF5aN禓 Rɏԇ-dZm­Jʳ 3lHN`; }b 9R o;!* Jh]uS TL~LR߽>R$ l-#`s69RM`.)ULi >:jNT[U?B(vGq2<Wb$J^0o49-Ay-Ul6s0ٯ<˝5f {]Q G~nG;}(dJB70ݴr÷酩o`<#/t@7u\,/݄Œ Wb_aojNN@.N}~aA3RVH0P}Eӣm4}&#DG$W0wYJTu&-]nU}_ѥ?ZGW6Hw#}=KN㭭`$q~/&y 8||w6n#(PcZ:r X댒U'unP'U@vg~ȃٔPwgC'LW_"@([ʵ>bBAy̸ZVÃ>vP9&>a\sxAiairF"`<] °v5@7XfSPOMEL {?f$v4HT9[{'` X-sik#S ʜp%=BI4i$Ϲ yTeLPamVa8~_̩kQN~}ȵ=܁o1I( oukɁ˭ 7B;s(u5>u1HL,>IA᯷W 7h{ȫ]pPeRomzWue?v4S[nsN{ٰ.ґ[vmƛ'q7\!U39b t[2w,˾\Oe7OlpX=V_w,D=ZJ$̷\\X ֕+W l:tƉN !wOS6bAد$o}QJEJ`L,0.Қ\y%x$`ؠzDa\"ջ1k82q V"N,YaOe-v|v (qH:i* IkYoE %eIr,<89ODMg. m4#2Oz1֎coVO+436,JT *,5ƴnmo.*]:dۘ"1j Bhm|2 yD0]KG_ώ~nZM\T~91['Fx`:AkR"aly.*_ۖ5qEE[cd#m J~2'bYt# qHRNt|YFq)N Y/ 2&X:1gPޘP{G_ 7C2N[ jI&0U( ?, Ol%OvhĐ`zA^/@yXJ.)BA9,|"@񹜈x(kI  1q1l!g FB/5s\.vrgZ#7aIN<߃l܃jy˞jxvI`4{Rm7F> Jhv=c@UUO٥mE=SrXڣ)oq1f-^1bd֦IXm =tR":*:vzJ'f(w58+(In͸z6ynmEXn7b 6QY"Cq3qͅ++`~R0oD, oDx_(UquS`>}OO@@nt u#5g4ws},aA{:9>ۉSyc} {ԕOCr*gw A)#*~-Kk%u[ 0^k,[D4,h1 džECA.XE(9ꏫ$dLw'&cvU#x'S T l"/Av(!{ <8G̪?)'w9ukο73 OEu%?w4Jyt--?D*^(.]mZoy:2/qc' H8 >]l?7zPHKmazi}G]WQf6E[^}{9}ϊ pCݜ}zThZ8z5dM6<K^ҧs"z! W%04p)܉[ pc BZmJ"!:n J̪Bl t 6ޖRV"oST"(2 36䟟 i'bP7N4鄉S`(9Ap0P 1Br% 1B˅9 pL4ČX4 61*D^ dVRD iu /q.$]5r: ]xXHa.L@ Sg9c;^034` ]23rNx9X~űF \ Pb#H62% e> Vx@0>ڣ k_6u_upW֓S {Y``( a]j&PFW )RW\(E ,x>mJNd'pɢIAlr2F/ p NH-Y)5)U`IirgoL:dw-j#m,0]q*LxKzUŲ4C{ ]e0k_LUحڇSn V:9KœMEH=mJ8KwNF:CPTNB>p(; Q#/jX&06a̰d@AD@ Խd '+n Cf*[M- t=U65,]5 ei f0%LZҌ1O)vp9wuZ@dRjKuB")ث&ٙæGC^Gj{L\r#z9 mwrKvj‹ =N[swW1=a3J]F|F:[vg8bP}~." i_*%R٬JS T\7=LJ(3qO{J0]E=߿nP_?)Ku6Dt;6np#u!:am a0RcԄ:C|J?1sʻXe~Wv/Sr+fPW"E~0a^<ȕEbZLGHL0pMu~c!ø$VFqm7\XMΓgUwZypZ@uIےAwx$֪J)1BD -fVMc#՝I ;rL>fO3:g"*J+: PI}wDWiM8MEj:iܚ;Mi՚ z,1HZ۔":0lu=|Ow:gSFSe;q2nb>TM &Kz:c4 0[fRmKun0ݻp@~b:_RӅ$҉D턓4GNg Mh燲g)ps/x,2t50 y\D~\;+(zsnD ӠF_+w6g͖0p@>@-" ΀{/YJ*6uAR tڇ 3?N$O ̀gl#o^NհZ"{XZV/ L'd1ءluʋgjc ]iҪeG0-^{x T}ۊC$Hãx+/ ˾S2r7 ^iܘ::C2;zLUTDRC&*ƹXv؝{"u5z2%DF0?lއ }Z,fWWRD=D':! +;"\li )ht3Sw3QQ62'_aAc=\O-MlG'~Hb?uDVCSj.靊\KN%5.K*P;-?Ӏr@UtIϡv6S&Ųb?R䅤$ bIopjr.ѱh;EI/cFjnN2Y]V3HD'* _ByɵeSd ̢&r#5|zWDE6Mй"čP>:=f]IҌO}RvmAֈ:x[{-`'ҲWFf6ZRIUMzr 5M#u, fVu:n5^ߨuIK쓎4:eӁ#3] #OZ7ޒ%mQX>f 1w .PƲmzˡ$>tL:FIASRQ9Kfy-Cv@B@Cv gÓ2g pDs'F]#5kߡ~O5~_1IlI@čaq_xRIA}K"7Vh|VDOZ&IL8֓bY=^P*8w t+t4 7e% JHOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Teststheory/types(/`k -`G6lyS˚`*>CݴA "hbS1RkƭTs|,Q 5m5_Ih֢EJFbv dp o""yfHoee7fU?,R.) aKsCB:[)C_> "A+ |a xet.e^2˺:Q [H,[1"j 8rNC:X(68#H 0{0 :^|芣tć\O =|,1>^iYz^zԐTC1Q"[ 7e)HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Teststheory/parentsMain L 7E/ HOL-Datatype_ExamplesHOL-Datatype_Examples.Compattheory/other/fact(// ll%@MB5~OQq"V"1 ;c,!sEW/6,ذ( b)aaCYxҌaNa40'8FIzɓtQt7mo:Җ{n4:o&DT;YRTFAYx-MS:FYL a4*< sIb4ɉ`H!Ř[re{Il*sQ~\Zk5ˊ).z< ,=6=4KIV'>!#LKl6+)x'(3:Ddtic"=p.tQL78y#uцI(&蝲w0J(yhQw4Pq1|bQS (C_*ɾF"R孡510sxEN P~'%m{|35@άD yZQr/s#}9Cx C]#fKAgf>/M1ό𖌨q̣x-8:z3_R`Uiˣr/ջ1CR[d f'(! ΃d&bojlc,ʛѐ'`g4MGzk҂[\vtScDfnc?+]! 2Lݟg SҌB9u~ +8BO<: )A֙x^xS`bE+cQg$$nԣOzXdz Ru9)߱ܵco&aRNN/uM,zGP4â;AHp8#wi-gb,8<*B ^؞7}4ǛjNWIW*ė*YE" SaYVNX/oC:]vR`,U Gߋiz#g%c-˾Q1g8[w!YVV*μ)f. K59xvI8똶 ~uI!.Rj[ Asا *z8Nՠ^ 7K3x0N1R).T:{rKh=,5&uhLܬk_x=, UCSi*n18iPñHyԺk6x%mzpɤs)б항e=+zOV? .#Y塡di Ď/_KQXGSb"KKlJC#Sq qTҦMJ<ˠ@Wx= 6֠ )"I{%, aO49HP DjF! LL1 7e) @HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Testsdocument/latex(/`xZZM 'm hm߾pΏ3""""VR\уۡG=P`5[QKۛwf1b#q@{x z rVԒD!Jca$ KS8^5 g5 4@L(XJ)"y\k D=),bX\{ppmYa"x9ʳ00g944["^(pڂc$IăAAlqzPVԒpV`=cQp,ς5 [EBO3?g3=iw2/'\lLMNTfbr1&'LW@ W:%ܔr_?$OGg($i $y@`q#Bv@@`YR?r<*'k22ﯯŅժ { 0a8USib&bRI?zV쏄"YüwЙ9b [DY r Z HxU E<9i2T-p[.#N ;˖Ť|9\ ўYKcK NPOO~E"&"uyGoH#\IvTFs`1!EQn>r!/pAEQhA4Q'p38ʼA-QD2S8C=m((LInR|nYwLK(6yڦ8LLzj¶e$gAaڹ[bsn7<96hۈЅIW1L=*Ze*y"E,NTan ɡ"m裪& TpreKtO*+N>3L!)7V$‹HI@ &8P;sfZ&p#3.d$L- C$MicC@&ü~\4b7Ӄe2b䂍g5ҨE Tm_qpz7pAcݩ !.U*φ I=Pup(쾐F2/ X>JPMiu U)&MkB?V"ӅeHꯓhۯ(\A H:%po%e\բCxk.^&$ &٘;‡w) 3i nVa0It`s5Z5+;nz3s%=2*? ցDM%6*"O+`Z8*k)M!%LkUe!2)Nu2g52:<*QShYW fHDl <}kL`մPx@I,SyypKa}|@nGd$mVDžB. /#.F#VOp:gC@:vBrqDUlsOhE|LG#"9YiNO"&#* Cf+LtYzjC0QL !DW6 XR!V/}&KU7vX8*Áix4 :hJUbhitX7pFC/0 0"uQ^;%Yۋ/T^LYv0"IN*y$u#rC63*”D/iB}|P7.gdX2bFa4TwQ:'L 5zQP$ԪP2U>ȎL9^l9Ƿ7!ț 谟P@Du|Ң$MXQjaB:)6LŝK{jȁ:fmbq#T aG5W47qO[T@fJ>FvZ|0ѐJ2Qvlv`3)} HnJZJ>T]AIT!2x}8V"o~ZB6llISn\p*tҿaV'1UcX!WҾڿ]RJ;ͱ##y/T&nCA+AȂuYx1+ƚ݅.a$:dbp$&k ѧC  7e' pHOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Teststheory/consts(/`EU&%o\TJE>^&ҦsgqOzq$KZ$M`IKAbD=0O F"ZbnӜD6u&1 rbaפ~91E<= 8H(x8 إ;^ HH"E9"=1,I gai1p44Hk0ܹfy7ՓU663^].meeߡHxvƕIJY1SJkMҜDYp4a"*<d"r2FV1a(j"kkHTWa& sqc$nH@=lyx ={07̓PU]sepY yy C -_rz[{[VUY9?>)~Ūrʜ}[k+I&,(DR> RP0n]0js;Z[@Y1V U4^_JՕzω07_W:G3fdlO"+7`Nj&UMBتꪴ7/#ho_ocŻMSvܡ\9[|RCh(_J&OkZ=Z ^oV]wW^Sd*J$)I*Hy @hb@A"H, H ( BAA(cR쀫W!#aC@ R0Yv㿟dr]-!P Z݀ Wx2HNP^n7ouvɏt{& ! `G~~D5~?ɳq#U @tGdNo8^*ߢ`dB7#Kq.&= Ԍegf7:{Pz=}_W;"FT;H n"j gFRq k[e'V}0d)oX+y_O>6PiOuk2|Ǵ!RA)Im8^+@ƢL;P(ˉfBi2WcgƠFV;wQLHе%E[-8|^ B@xz])pՃw%qG DWh]9-( )9#%!km_Wq& Y`fZ~a4|麲?VsaM5Orwz*Aziލ)1A<#6JMVXC\ߓTWH!$ !ꉳiT2 tW"*+ l(ە)/ gwC.$Kҗ d nCyS܆r1 9oL3^*.vDg1?$#XYO.}t:V!.})%sS'VjSYFZM{a[=u}:}ṁqCvx.T7eQF] (kP+"E1^2PW7u@$o!QYjJ0nӱlݫ[0 r3<}no~INJ% *rSr$g%Ttqσ Ī<#AJz<. ϸymܧخsVnZ֯ {~[\ d'e-46(9A,>PFT Q&|E>ɹyE2ȫ# ڡ*(GW^nueU?ʪg`\͝y]Zh}=uVBJ}yF<\M K#$| _AP7v vzX߲CgݔT~ P鬁 kdNL@tF3׍dJǷF1B N bKg ugyˠĀlg+S{pcS4 bNj{L\;uPe4r:2H}aOР0ڡ-I8> ^E)}S;}~av9N²Hedd/_r%@ F1}PV0j]juCx,!zr*T?du/(}d|c3"("Y1}    C0 0$\|·O#aDqtAS%~l #:ȆHa¡40'0 FX<07Ad84R/-XfM/H9}?qMa^bmV\+"햩>ٴuX4޿˽/c?1ޚ ˡ;;byR"vEsqd |jC8-9D2iy|b?Ҏb88 b@zCfdj_J~Δx7Qztd{ ~C,{ _cۜr_RXS2=;D-Jj3sA0 $}Z$/ u~S͚: LcРE eZb?Y4PL"ytw`$;Me"I\EFzAkb:(MH oiصQ[LZrCi"ڏ;TDMDܨBMNgy~ig Pd Z&VUA$![XT)zПa=Bp&& 6%·kX7Z4&4|M\v/> 8i'0_`I&G; SU'_@ڼ 8_{tѪⵤH3?qwT2b k/A7oҭ @gl9=Jji{7*{߬ ZȶųS6E-ٰz3n4G 77~7פSn۹)2RX!,%"k\^qV36"BBpqr 1N'CIuW,c2ixp+0hϝ7 ,P8*q{L롸n@Ya{.7G[;xM}&,C߆Y?UfD(9s׼(K]B&`Ւ:s>.`4WРnDchs1  352?rC*1K\6Y+;rصiD b+Ǡ"|Y# dg%N؋dCq*߇dpn3zG@ҙ\\_7s52WC `&L9ArxsAzO`]z:3mfwׄ+2$j F3LǦ#j M '`i"?rP~^\4l3%37פ[5~5F~X˲X{t:@CnXv=Q/g^eػmڔeQGl3"\CJPg =f/Vpjx;mVkmߚA;Oi/L7&ir&KkJm瘬k*WiQ֨(g|bbl4^8j:gv-~Z2Z]>e2+ R9a^`ǒYi*ݙ"&4 3GO!{8 *^f=y9k݇|Gig}^7 'V)j1ݥy"о} ?hb~RGǾ @]=Hĸb{Zj^FEKSFk8NHR qzPc$KkhLI0A6ԴuZ!P' IҬB1 ij͏jMԤ_ L^z2F߂u94@SSPYhֹ|㓐fJ;r@WYWmAU/-| @<;Z >C;^,kw 7GXmv8g]C<^5M``a ᎟jsHz<3ѥX˿ԆΆvܑ>tYy0`[ IxZ߬p )U8ß-\p߮\;ww҉߲ ,<&y}y.g5?:h;4]%ǧ4 UGp5t4׏8#c.K)Z6ګGB_\, BwfrOoTJ4u6b{G2E;]=)!5j'pY4Zn/̬~_. 2}dKj xm$ W# +meH v45yvS6F@ߕSHJ((zQa|#Y)=!NW w5XIH6v,S0x!|Tqy8|xl;^ٴN}I,9~c^c0BB~(yWϠCBYNws/ w~Q??yhY!kg35îa‚ߢړr| I|S /wVOn`$މ{ne͏ +`iQ0N()fmh)&)}̣VSѩ)N_>`b-G 3[%H(0C?c> THjrj@'}΀1""@Pyk Dg,~6?.VC^ ӟXX+ zt M_*';H9=`k *Z^ +G"4Ud< WPdM:D֞ZhHWH&A|z ŝ6 ^ҲEEU(UA@HM=t͜ Հd]3RTu.<$h1n^^qso*N8r 4a(M5LZ1CS(p;}0xoƹ)^[u6ő 85uƦ1 L 'X^ e>+ֹybz: -oAEp|H@%}=?y:7G~w_F3>xomRxkdT  ЄxcZcJ|G {6d?FMro%p[@<Ԕ_}q$S!j4[Kw'Gi=Uc_ 0@z'w׾U ͎B$?tjK$-ziC?P}ʜ,!L՗57u߫ Z[HTT? *GUcϑ;ĉ}sO"sgڽ,9 ޠ=ƣL&Pxi«`+lǚgEOR/f̝7b.=~A|## )hB]ww$Gp ԩvZr'̾riOa&jeH5(JLJRT,$_NHpFnQA};ao]A,c$~1>w:uND>{k|:@<av?v5~zvJ޽Mee>0N`^/h8ap 8=s',<#hs2;2%f&ՃB6ǒӎؘn z)ypcYJ.KS,Ξ{; PKЉZ6l1b -Lm5iSj' /1dk+JlmO6~f@:6}% Qԁ%_S?)"1%& K^N!YA rCL8#̫rY{zowZ$;< t(٣[`3HGӅ >nFP`+p ,mHzHjO'I)"~A ǟ+oSJؔ{xޫnS="N:?-ˉg:AjJec5RBO=-鍃\<\0؇@˦}_IQDO/FVkvaQ48[Q i ;Iv+BiZհT_ 3xa,cu;wBLlD9 z~N>RGmPtiOXyqXjJG(RSm# G9gW )5&!$5G*pqv!"aXsQ}ϝN3/S&/d8PG5&Ee#= D1KiexhR*TO{M3&FVgoGDċQyOFO@!oa B=wL cbdE`rц\/⬤p<+66%Se/9EP{hQR3e p_Ev#,f@ٳH(ߝ MY,%z7r%PN6Bd[غ{9GLv6BU+-n0)QYH[ Jw9x=QW<a̸רobrFkh+Q&H . =aeflvѪ2 oߍ |ڦ8( EVZn&1+"+D?ݼK>=y|WgaC5$#@}xǕӡ$iMK|MTJqMUNH ;2%Q:7? EUL\2\yrj`QY6aE}^5bo)|po=i KϢI.G>tGPn$mPw^7Em-5R{"͠}5 z&u>eq 5I>]ָʾm7-h[Hiw'N %{(4C8#%|}1䃊 6?XHKuC.!! tf{׻ySf~?mD)u3&Uיfjޟwvi= qהo߹}w2͹ <Ɣc1P0(ABDHh=]b1`=^Y,S=(w$@=dh!Eo` FB<0~xzqG;ְP+ ,i38o;#y[_>EJ:a h^OFWb.mݠ A8T;fІ~DDʍms2>v\XřA:<_@ߊy$|UL :`ĞJVi9[,v!WL2)Xi*zQjyi~* :D  1?${i@'|JPZl|c^ $l* 5alT 48u`ߙi,t j@[vRaM\{vC^@͑#W%J?5 .eƒ^vq:HNl0r 9:z%-6HG6-!,kɐZl| =w?*TzsJdqlCNl_1ʵ.6T5=G#xϩ{!2UJu2yU*A 3; |ŔV_ /d)X6,W]W(R™~✞=@%m[TU F}µqb'QP%wTiiV0 (_LmtD3wP˭Rq*,t8_r߰X>vkءQAz8y?z PZd#m\@@AZk"_Q%h?ħkD.#+ eLh6PΫ M+48Sm`hG(H4`|ћpå%TpF7W0 y`}qn#w.EМk[T&SVgƀ'܅7E{;(&ȱOMSNW?>4U[p B PWC[#!w05WD =:%/ H&;Mnajosץ[$`- 5=)C 8r)BD,JU9k69B3z$Q+= 4%$EA {(T22<®Nz0} DG<@:-FE@Rx2^%#`Q*3a§B?m ݖG4H/  y y}7e1RHOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Teststheory/other_kindsoracle fact bundle attribute methody 7e# THOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Teststheory/thms(/q`'mFmw'E_ΝW @"{s3 D )"2 *h˪gG:1iaY?[ƃ4KEdj-^hەrSoڙv%nDV=mb#hCq"dhlBTgA n8-P"4 @%wu;v.6#>]dER+z4y)es 0M~p Zs˨ iIV;\9(%y"毩)6_Z.?&A}IJ%h[ ˭1߱{J8D_&+YhΟO'eGdΎÌƏǰzZ$-H$AWv"6$ j#HDEՅtѸ2^;66Kk?l5HL+GYt!)M[1PLw8ƛ{Rӽk#DJkzp  Kgor0".sjgZӂB(#! ^M ElY'K^HV @tec u~,{*}?eXC}Т0/m>=lUBOb-:@[G=6e U!>^L~6 \*W8HBֱkuL\4pd"C?PI`KS8+Ɓ禎TR2o~Nq6hH(aĀh,> P[9b*/y~L}٧S" RGnu`KK&+A\1{oapi0[xَD;K_t =e8Dds%<3Ȩv?"=3)p/4wT :Q )>L7mʿ X >ůf/L鬿PJ]om豃;8f[wMw%89@.sw|mF#v0oxMߺ!s438% j$C:Q:٠Ovt& ݴ#N)|aj\à4 evF栅O !cAcyqɳXpwć McϾݞh)+v֍;O hL@"'\=\';%(szv9ck9q!q`:LG 5 8t%=RSOp4?@ܳNf*Fm|9!7NK!VEsxJg>aE0~ii1@A8WQr D=ǧ(1hᏀdS#u=IFi%KC(~ Bw y?z g(uǻVuSO0V2IXnشi&@cp}靎}%Vnx*:v b2Ocz=7F^{&@h0s8HԡGbr#Mva:DX^lzFO" 3ފ-|0aع'GbH ou(G#UQ22h qC0~ⓋKlZtwvޯ]PQ)&x_ :n!}ҞC-VEwg7+&HU%9 J SQP@.;@\x*ծ ̆NO(=/ zT/ȼŴ.Hxw=-pKx<pS]aFU gvwITyӲ3*cf77@hޛYX0S8\t{]ʷAS{=/xDb8E*0))Z x>>~@/9q[k|T) >4pqVax\IOKᴮ8,ԃ+q<({o/XQe%lT 0D&F :QX*(vqYrÕG?{9֎ 0B>xE8^ \1m~ram(az K3,^ C#nDbtF{'F{C/eC`L$~|F]D~9f9hAΩ<F(daApv%]ʛ[U#+յ|8!ʿ?yp3ݻߺUXn|Q 5y+HK n7Fr)!~ HN6\6,}:X総OoBB߮-STz rbJYl{+ku<|Y->=v^ ML|Pƥld75ZxB~+ <%CQ+< `J=?gX,ݜmXm,j6 !iy3vvB0m-6QԈtzKk]s(-g>gmKg6]HCs?%fk{m+6\uv>rZOjF,<' 9ǘA? 3g%`ԦڇRqKD7(pkxn a" Q2bȳ. Z!.^UeJbl|F`6 Yju>bҕ+EtIX7m=I1W ?>b[o0WolIbʐF(%dG:z(S LM'qIס4'`7bIH_@R}Xb #NXƒ.6iSꄫqrQ(8)4%eWct dn3;g:-`칋Ǽrq5UgNpwz cnD'1g)T}"D(d}t1lCͲwP~M#Y~C|l(%J g%+Sȏ{g;MЛ#VOB{:uNօ䩹߱zvrjqi"+WTݢ+!@s1m*i;hsW9,:,UEQyuTR S'/B!.Sެ\ghf#;A2Ç#VYvNR"pK' 2t>TD>{vIp u.0+=-fO%=AeDt>T[-jsj]k Z>4NLS:vϾXaڪ<%&װZIn GxDQ-V[ Kԉdx>kBW XɋcGt-6Ob(KE5Xc~mc=9>s> N/K5Ǜ4vܑ4u*qon`z֓$0ZṾ7<]7EOU(Y*_̀ YUk#*GK/%aZۍ ssM7I)HOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFtheory/parentsMain 37e/ >HOL-Datatype_ExamplesHOL-Datatype_Examples.Datatype_Simproc_Teststheory/other/fact(/mjp&0MZ`M|vs}jP՚VvIْDψ()4"^-!LJC5Hi, {ifP<-#hX#!&N9%]!NV]'jF*SJ ~ckzGXb9)R$M;U2x ٿ{6`M[lƵؚ㜲40``9ElHV87=wVa8$ .- Xߛ =bHb B$c<B4Is0Cp,JsȠ %k%pN1S{ F,Ľ,X#s4Ela\kEiz`ka/3=G`㐵d03UT$3U5.iXRZKK4Rthҡa/…Z[M3:6 ^ž fAI)ht'ڽҽBGߪzR͛ lI9(}526mc0Y%Tqr)m-BuN9oIp6'pNA c1.i sHMDpcb"/.Nx$`Z0.:HPq8aKhF {^Q>]s 4DڿSk~fVJU2+]4Z>ʪ{Q&PJlEHNn_霧_sVi= Cmn듞W9m+_ 4Ѵq–\xhb2dr aOuF#S{q-)N/BP*kE{0tx< jڟ9_ˡ {կ*}ҿUW_*OUJs3:yUtɯ|>_*RU**O?Q_3՟kܪQ+IOfF\Nzw{ߟO^?ڣ=D"@cpaFg 0(((,(  `0 €]@(߭~ xǢLqJ m^7-$ qxM?4hjw9KXwJt/hcimĂ SRB9f/LgS5,o)}"nBI,5 )-6X=T|l`0h{gw _c|]ݱctFqTq6@@:/4o>,`c-'Jlqh1d; OCsTl[GcܻjdK:IH=V׼yqĨ,9xXpP'HBWW=%F8k >fpW?@P"y8;6׋}Û4,:,Ẍ@J0ءi*\ d98#pFkR<ıSc1n5B^xP24x Y!Ğ[`7EX)(TM$"=dքE/HqrOP-YDq@΋<8LcQp sbd/."ub"Τ#95(Nˇ:Ai(I?` b@ÏPw|f}q=y5ʈe"/`u+$ZSձNT{ހHl+Rh1? OQmŐPa4x hBƚ޸AY@Bc]zY^$U'zŒA:LjHLZFZw 6`zژx1W@)5Pa-X,c=1ԫ)`;_ht)Aj!"|G"hʠ_ !+B-3K'/bb\ U/ AvA:LB6*t WS<'u/lG`2S_`F :`"B*pk{0+t,ʿnISYzd !ܘmJQ#ijZyK6)E#uk{}a + "^;6IWޕGi1?]6C:ķ kEVH>/$qSe"! ׋}nt~P<8 -kPr37!gw0?\pa'IshVNR;)N>4RX,+\EoK?5kx0>B3'D[FBUXQ1"?ی[:'U7aF{:--f  X4y n`vkTÝe&N53=Ӵ}hLU<$rjWBuOF9ud#C-yַ%put{=* ^<{ꑗ(\f^.W@b4+&.+'|-K"[=U|@Ƞ,2g4צXV$*v.ZDP}ה՛U `i'MMPE#%MhU0ZGɃ0]*3?Fͯ&8XiȖ`?#U)DVK0czƺTø4"*fV3@C?D@ ƨT ~]*Ezc%h >9 hԮY9˃y@&`գJvtD/7u'1y6]X:}`auS_,e3€k$n1uJd2g&A] 7w$ 1M S㺨#5E$TMt~~M3mG5fgA99D|+:t5;5y'ę~==Y(v{X6d:zI׹"VFdKlccMCvdSkBSp=}#{+ #IH/&!}M`|v4t90OB]7y O G$K T9> D6 (٬a(ǾA5PwTNl}ўL}((^_0$^`ifڤehtJ뎛' Mo6d{6'2턨8FXsk<(L@r fpa%"/z+f! #w6H "Q»QGsRc3!%NG(Qj46Y#|zqHۆ DZ^۱DZ>jCRwꮽwJ0Vd0o $M04 ɇګ8N;3111Y;XR͌qWG^_;>usNVrLͦP,]]v6Lfp9B ߿5FK=_=S߼n4wC<=m54U\fwTe{tt)&SBT@ (&!B1!$.=.T j'1 E?:bpZSϜCUmkq}V s{ISHo#fBopuq4% V%AHl4l 0|J6 XTZ; H/'СUPŇh4p_2IEFw hqPPJ IHH# _ Rz&Y~ lĄcζI:E/\AJbsc@K O;Ǝ9t]\G}Ga֨\`>'QCto;mFYXCF04`RGhe61?) kzllÈa`{z._Ilv\MN ꅃm>zpAә* %ܫYg,Xҁy&(z: |sNjJ\ ]5S4#}\]rՔ6 .Q =_AE-Q^dIxF?0I6ᢣvCvI&tjwJB\bVҷyZgqGn45vxV6qßv ӏeEPKHHڙ=Q.v*MW%ʩĆs01?hh$tC~QÌz(VFhcCk, >ײ̎,CM],[4e2W;;Ǻޗ+hAvZzS;hX&uEk@UA%0@&tSo6&?c% `$nl_114iIgc/ hB{<49#o3~8NlWOv@մ`kcN_H@(Co|SulPۢm3g@(Ȁ4T1: (:CP) m$l TT]\I1 4[18vu>0 )J)X0PwMƢ>EǢOܑញ4*E3io!񣐉¦D o 9#U\G$ò_oJSxc A XEѢX"|Ss-ax$~_ܰu5}0fD2: @/Hxz-:盵#y̱I/PJ&ۢamzz"G<aP Q*A ;_1ۄ|f_5*= # &A>c2TdF-~b/S]<⼍؞g[ӻnB^J B`;V "=4˸mxIj;nOͲ% eš;tvp,+۬Vhor2jO8$W !-O,&ADJ>ڕc $2ž+?Z%#403rm06~kyHq?3)>KD 9gEsF[H0ƵeԨ',wƁ.?6T}XPY X5c^I{} -qqo+W 5]϶᫒8juztP_Б6)RyZK ꣑ Kto<`$t?}X x';H?:n97 NV.X\$M"rP9aEOmXc.A9Ը)V=;2Ac9? Z"ejݢ(}9fgmq˅Z٦?g*#?&ojoh^:VN4,:ImsZg,Ω2>oZV60Z2 '1s[ v @@ylIK=|>.edҚ72+6&Y=@vK(3.Xx1wܱ֘OG遍gwFhdt#sX ˱F.y=܄(M5 R<Aʼnc!SFYXs}FjќWظB_˾w#rin/8 ѩB9YU#? | ouqǏޠf4CON y@AV[#!Wo=Ua|mAw޼a6/ibs̕AX&[t F}Me)|]>eeQ֭HW7S mŝ~_@Ff1XOQ;F*c c(rLXl~(Q'E)F7{qMVMS\]]}"3{'̆΃^x^ub{6<+ҭE"NbJ8qdX~; kΖ`2q~t˨ZC1wXfҳZT|tatg'38Y*J\RrJdh\{5Qy~xpHג3Vc,е\t#ޥpa 8{P$Hw1'a(P@eHcGCR'К0 j~fwcT xQ mx6sElA}Gq0oGP YN-+]k j,S_BA~%hk )3 xL-C``fn38*Vjgj[ٹ:_[2#ʦEzۧ@$s,tFGlYI~F#r= LMѡUZNs 3a¦WжSh'nRQR$(.‡ 26=1ɼ ym_G Dh`C=1~sĤxf晫µ(z 8[{""EW>D@hnOapeNK!~˾JP^O@E< {O45̓c) M@՜9ZLQ1+ssp4#݀ȡO$ش(4${cKmn;E}g-Y{>銪~7BښvJ]p@go eqDVǮ#uqzOދ6c6x[H^y䣜G" vyj jDž5fRy1b/ӿW(y?ܴsG9>|Bs|ȇg09‡:ԟ'!ZՌ2z2烅J_%p&TLc=,^ʄ6YF kWcؒ | Bih4G Boeb7dž=%"rF24A-r:3Stpkq"Ö娤^!r%U."U*%JORّ6@5#%R \X/Kk_F Hu? B{SP Rtr"I)?;w\F"gWnA8+C.K#yxvv0ǤVr5tviB:E]bL7+YlЉ=@OdiD)΄4 k%24 Gdm*6["T3U==0Jp{Ա Ab%Jt-bp0X +KY"Ήb ;R}1r^!:^!#`_i 8 @:9H>{QtrXoe۟ێOv{O$NāU\/مH]*I3y&Cz-B:{.|Ђ>7Q]=oFQ;#34DSHqv,?&SԙZhK /UZQsgnȆLl0c F{#͇ %Y`ma#p>w)"^`ƱQ;K "13"G)lNg@u7&:ǰ-ޖ>o-bg\n ; L ֦;92bO %_ҹq;lP•U(aؒ.YiA]30-/!9APo%u|7Qo^_ewA)j*rW>Ǿ4eէ&iJb?rdˤ΁.ThUT^"Z_ [J ,} EP馏'~{$DWʉ6@L1>+f0,HVZ/ D w9@iIdPg]m.~=hl '$ K*vz֏2MK2LYj'?i>Dd,KAbF]t1W))93[ˑщPa@sCÒ{9utN]% rt B9iVϥ=B,WӞᝏbua-Cq1 "AH G]M:Ipxn垟\LNP@wdRRU>zRr3 WB{VZl @! !? >v҃| g.Kh{Sk ` g'BH@:蹌%h+%1aZn |t ㎋FTi62:}SyM2=)o4B  l7}Xhm %Vɣgj4hࠥ ?\/@#&12PVƪyqC^^Έ4Xq2:1\v>jQ͍) ឫJy*z!0HM>Oa!DԻנ[k'Ԛ蕒SvJLla,K;(B@dlK+݀_dP3[ϫFq3ڟghxc;MdV'$4l2\b9ә }a0j|lWO)47KOa'Y.솥iwNTz-J0PYЏ hY,xkϊ۝J1ILfnUp*rﲖ X[8+!">ݬ ;H*ys؝޴몿Cx։m./dBqNў/OT q~bB>>VQ QRTPN۶R:3̴m۶j[iҶm{+/PRBe,]*KH"]=ed+FC4в Dˊ FYe5ڵ]56誝Ю]@vڶm.hvN=OyyZ˲l"$ $eYdY)!Qh6]+B*"WTQP@$>HH0:PXaH`e5VSQ)/ͼY pNtCUYZt^tYwg Ӡ &f3}{c]YΓ# R)E )NIR<@4#( o ͓RXv2)s'YO|UxwT;c4Vg݄4yL7 x=;4#`^)lcwIdr+ OZ] 0PlZVi CŃūҶB#eB0_QŞ$aPCpܢ-4Ãwc!M]1إ-G?t*eAgR)a>_$ >bl=+`wz,ޤw+inT0J :ypx: ?Sc]ۿ:0vzLxk EZ^+b(r$OXl,gp`/b/뱡EG}2A/O4m1RQV;Pя5qmݿ؆|\ԄjXAѽzxW(D!j* rJF VtGR޼(ȐL8`K7]< =)l|ӇyڷnU0hq>=@8L.~?1f`G)2i/Qfd&b}2[<hBhUN m!bצ;4"Nc4N==5͔0BYuB|dCNB<ǂf$ޥ=)aLtrJr[476۰q~Ⱦ|٘16$dgW$zc:f L \=` oquDGByzTϻ"YRAyQ 5 q0c_Z`ac㫩izt};)Bofr~#NQJftJtRJ(SH? 0Kv#?#;~K'2s_ԁ1KWfVOJ=>h} Ȕ&^Z~aS)T}7_TGSDy6jT5Sc[?z\)4dZq *~ܐbi(o{<=UtWѮCMWL%C čuk} w$n2HB["+-&pzMp͢hie,Hg~J'Ҫ03Ŀ@M=e t.$lB#j>W,GD** ,OD EWQBݿ+fqI&cm;8ǵ%!*hƸ4j@ Qq#^qM*4.e #1n-̌˻&_~H,"OMmp׹=ԍKn?~]W:U8׼18>-\R 5.6 Yz˯mFW\u+ԞxOߦ! PH8B0Kc~hHl5 xc&bw >Ԃ2خUgXpS: {~> 1b}%v%"ݏj%r͏ ]\<=(?[8ujEA^~܏.a)B IrG_6gkz_ Bn->#<E^C #ϖ?)0 l3 d\bX =ImN*%1 Mw@⟦9~d fub"ai d~MoFξĢx;BzFk;sU zش<؝hoBp72%|(Ax.۬ce4@r菞i_ߧwuH̞AT ~ѓˀx*}}P!m&@#d\KrKQB8~wKS-|!bt?0#V GQ7]vk W@̏{aص/H8+nif#!ӐOv6G)`e}j&ftt}U-B:lFeqr*v-"'ۅ F|+x*k)C&I@ZWdپy++gIBx+ xUY_ O~&^?>u:goAS) ʄ9 Q 7h076)MْWڤC Y0^{dI``?Š)V!Hi^2/GTCxʔxOTa^"Tc645ne[1D SN.Wt#ڨU&t{ё{mtOrpUe%G%kzƭvN_ez)X[7ngW;G3Tr<;("E\<mkʲ=͞SP>&!d+$]+s3NWXjU/mJnvQ$Oxr8 KY Ch8#6w~6C^̃sJadkl#߽ :Jǡ(ķщ}<vaGFV^A4@w>Q(lWy$lQ|׉W e{26 =,%L>qO\S~Sx ^3Df&pDc4AxlVi/,~X\T81`)ʥ2ZsEazn9 'C:%ܲl{\/$JrjhTPKS;:W;wWյrh|W!=SuS҇KBR821xo1CM%s @>Nkj\ ɔ"幐 c@maaj؍;n@RDA~rnT1-7~Pnb=c>7;+ Qˮvaj&mBOh{I6/C# J Ug-nq< Skge@Nd-"boӁ.dͤh~gtLw,[A-5/3۟Hlt;&zvj1UNiUn[ 0d@[HӘU5nvLʸ]|nϏ0?j' L+Ic](z==a\%IU`i~Tlk&Ӷr;9"D&_'Cajs2P"*'Q8)ʧ@P nbaT(rXoԬ L̢QC (/7;5Szߡ# ۵@p1 -Bzv7=֤(|kdW.3Fjџ($DUTʧ+&@*א*GwD^ŏR??vE+$F!gXQFRUTȀNp˟A6E~ ֳFC<4`CkSU@nr 2.w>Q*|&OA[L ^\#PZE]L"J-Oi-9\u=ӵ cU YZ5ν>Ni" %aW#W}mdz mc6  mI %{"kǤ&#TkK^ -ۆJÛ_<4Oܣ;w[9qstOb=mVs$`O\,$J`gWåRYx{#K^fiB<,KRnFĥ|z =#X_N]*Lj{ X `0kMwhbU5eIÕٲJDh8CV. G : O!Xc>4fӪ_k 52\#RBp"mfdK+{Z=q!OB%>.Q VM&;F>SX֋* u ;) \pwc1&Xy:pŜt[ARJ˭kCҁή!ʡ '`0h$)ծ ;rST=h1&e"ė|P@kuRZ4 KMN#/rn1!܊Am' ]z~F>5 z!][7(`hƫE8( s9FF 1)fG)®F#'K]d|UB3͠ϔ &-}Ȯ\rLmguS}oH=h/\7Jh-JF:vIG]µzybT 9㶉{]ca_a֮bG!D`*=BNJk24/F:mv26@MH["B`F'l RSށj=57Nbdk2N6o0(Vn#ݲpgSoFo(ɀZ׹x;p;kGċn<3J,! { T0VM2U+g+?"c9V Ee ®F;JܚEc ]Yn=Oq//1\3N~B]7e{e!(θD5:(M Å6b޹6; 9&6 ]2X&jd/_{Qų;Qнm輦a}cީq}ZDvpS{GםwfZEc$?:jjcj~zVד|oA5 _9;3quЋtO&G/$d\HnkVwV}Wz/³0MjthՠyV!^$֑WyF+AhW p xL_М䕕uj=6@z j-Kʣl.l"mA' "}%L1 cvR19&^QHh +fi=_8Wܵ j9Ҹ nzLJU!u*] %0kF^X۽N[A5ĝΣH4%ȷl"y3L;fiӏ[K@mmINڋH,GA[լZ}.Zk5EMjeլVj+Y[jjeVX~3 ,]Jj~w}Ҿu]N9ds6Џc}A}>Tɢcabv"#ۺZ鶶FIQ B BʨP:*T)%ıB*6Ӭ DLr(Ȼt3y'fF~ dv{.m vtwξپKR>m捇oQp Ot|j]JY֨3|3 C$a HhPJ€P8@( D<m(/g᚛ wqKd5N[Bo.)gݑͬ9ɤçNr{gL=tQ6`Q0n !mM7^G$?A-0oD\`@\Rb/*–HMe$2;9EH;ځǭ%1e1 ۘV{2Alf?2Ri&u? %żsLXvAѿUAPdX'(>%$dLذJФ!cLCX{I<,q]yL HFp30obQg;i]5aemy*'nrGvNlaSft m>}>LXvH1vCb]= e|=Gw3t|kDr7f3F,O L^<љM$>]{ٖV^~{PD#aVAZ P7/Z~u BBpO #1mT8"2x<'wRzDPՖxTFc!z>L5 e?[i@%>gWJnd^t>ߠև8m{Es^_TQ $ZKaɰaop,CEVsqL[`ISzut=zkx\Iڽ\k~wr ePߥ3*wY|ˆ-#fQ EE**eH3/XVG9TYM nׯsvyj2C7 F8Y)l|s &@(90(Bӷ@ y.2uMogNн0_^ q&TSF yλ]-50)SCYNkJm9:Q8)#씿 s\ BB әJhSgUS`χ,R_5P(7,x47^x?2 XcW1-`EމF-!u^IvGΨuIܟ0h`aoCb <@X<eO/G9Sg씀&?Ds1@g߂&"K>/j"xzHOmJL]2Cmy-;l&8z'w U(˰z-Bs~! /Ѕ1؝|p| לT\UOqیJ'JHHRLo~T,uo"D.+q'ٟg4 g\?Saǝ8NqBM0ݷj,b':r؂鋆sP c1K ~f|Gu-iZf4> 1PΊT -t5פ/[sB!*)hXχGDM?6/v)W-ɵSb73ܐ4HbzM@ѢZXbx ĚX:_&t6mP^ȝvKh^⊏~M Ϊq#䞖=|e#⋶>q$sQk`g)xX.?fqEE^rB <f{|=)x&IoRK!>q?(ZzU,qJ;b 7sfQ/5]V_TZ8˪MzH=b/-3i#Ő1?`Ei>_:LLk:{ @C 6] Fmp&П{2*-: Эĸ!-M({DЭC {5$?bg6_pM­A[8lkn ]3`'HXeuV{U1Nk -+XxJ<-Ow#nVYDufM>;Sq.&B=G@ fTgz] sGmȯK_7vխYgvyжShwVC-{pHя}~;oN]Dc`^}vQ`P8O2t@W}$X?7#" o4M5A PZ8!CN2U4,Z@~9b9HO׌0=eB/:?@d,N[ѝ$~W qt%!#jx5ٴfiΠ]){Ǟ[F5$g&& :ws cu8%Z""hMH?i L I0X.X^dr}3oVe /_Ik{#EH"?%l>W!IxgQճda7Ou8̋>Y%1BvwLIM`1|/MDM*xE佖 *^ΩT5vbR*nυlO}213$1"QW 7n[@ҜD^a"g]O*1dawT-ъ~,9 |@#:&.Z{yv <\Bl5Ttla(aRۜ./dHάn=1?T >MKVAu@~VAN A- T$N[T[qO2s('t? *CMnb g066?Vncx 6HWYث]+#sj/0A|=H0`Hzwj$Kvj훣 9I`K JG,i/RjX)m}o~ e!HǴߞPM| UQlxeW߫0oq>H7j0!"˫~rݱf_hE'd*si-xÊ춞|}*[BR/I{j E+pcx\Ǥ7^Oi P):NA.bg4sUѬEg׬e9+G!TE?KЊ *~J;99YLm't"7LByMIsa˻ڟ ETFw"}2TJ[mZ`;FayMg!¤AYlB թRȗ } WL"+;/Z=U$bkq!xj[QJ#}nH̊bp^TKT}yϨ? ?$}_{Q=;{fՁ1|'*aXn Πh Lʅ$KV_&$[0S_)V! 6eLHw[fQ=$;ژp`f퓈C|:ٰ=  RI?4)TYmffY}`9vv%Dl+4l#Etӄaa+ |řrPF x~, 'y%H6|a8|w+@~=/Z]NʑtRP"C>9@{ӿtp ~ٲ5hN*/ M@Kd3WL9g%|Xws? "1UQFA"@r ]ׅUI$ rQ@ 5kb#(RacԚyEry!Xt%(_'us#>zYsE B@r/4j+}֨ vRݨ)[xp$%b5sV[$#ɮ!sxE}we^,UUzƒJy'PMeV$Qoxֳnso<}C_6p5S|} o2܅ \Eh eW2Nn-8kƇ @Bq!;6ih(C|Ƿ x,&6'BK, o*nE V + ƀ쾳ZH6a7{mE4?Ӓ[SU ?=TN`X Ӡrvw1팴^-`:n9m3Kqya%t Cp_3gDlOKle +@.mE;^VSo4u0Hf LM 9K٧@Ywf;b4>NfKO /z`'ڟ2ZxX.W0(ZMA"`R?ƽ[Rm0<45 1hST ;Ce&HMD o˔uN˭v+"QAIeJe]rRI&zrcsV/Bt"ߏ!~8ɽpx wga@[Q+̋=k,z 2Š\P?O>}JdRy5B>0, O,?` ^>L  m{mZ>fLTimf$^ m( b\^m'4 ILqy\8p\REblJfh꜇TU:P'1ZĜֱ'S"jq\L9ҷ5#1r,pF ^.WJz0^Yn)Pz+L~BfPQIny( RO**ȝ$>B:.T*FM=i@Q*[K1l pv0@os=ib* 9- MY!be wM1޽(h02:d 11/ 7I) VHOL-Datatype_ExamplesHOL-Datatype_Examples.Lift_BNFdocument/latex(/mV$,f+h͛O, IvwEda.s= 33aHxnV û2YbLLħ|Jm~9Nݽ˘wȽzvqq몭ZC1xŻ"0s6x<Lmx@j*v𞰻VwCmmݝuwu?5 ʬheTstxHy(N̘<3PD :s'fVyRG-RnfՀhWwknf]MGB-"T`E|ڬ||llͪʉZ*jZ崪ܪʪʊziiɜɜʙX<%׷'ӔP +Y {@J(Ĉta%ffffN>[0313333&m6Bqoڝy]\]Ž==-&۽=K,QkVuʼ{U>=M `h>x kռdי{r%gA4օ%Ac@0@D  ܘhI0 € 8˴fq~(Q?}b&*f,mCHlO7KDt$Y7{=B_<#dX6mnLs L | L ? !Y~P qBa΃29zXtwd`BCcv#wۤ()Z /'\lx䪘f]!廨^)౺kNwvX}%kAsjr 9=GH)7ҰNT*N;͛diLzc>Bʩ_D *a$o ϲ[?*w=_VEA߲%Q{o+p:P!ڛPw4&tZcPΰMUwcPsV5bW AP n`dp~ 2+ӻ :Wa2;#Jd!ۭ0ҩ8]87E]_+vr33GpK?&}hK=bjk35`:ˠ:Qډ`zR dP_Pv͇a ^!slvu]gk0Koj@.;Erwv@)_0C#2ҐD펮(4'ݮzIhW1v5OŴT?vxM5{;H"=gz%zr> g k%mkeR5 Uˀ;poL& W1Mx%}t问]m zEKץTN vo>3Sf8;49[}5zPכa玗qr$w?FRtuB A$D|tޛ`_E?X~%? ~ϛ 'ѫiy1% UQNsTH&?}.,!iyWeگn-u+ZK *V"q }b ʑUUV<,?b|$InG?TPYn{h}k:O%"]ű&RўfXٞd N྿"&9{ cQ[Uݚˊ-#Aq{~G6{2_dI3в}R8+,Be PNYXbqߍ0n1_>Uet% coY dV}bKn@ lrՄLz_)s@`` ciʜeaUiyMoV )U9* *];*PyUD BX+M,V%伱Fѭ%L$>)W-vpQo" N ;6-GE\uv1AM#.:JYV6^?YKCt%TWRYU<YGQIfj^ixM+bՂG'QePcH}gI~l$[QӗxBiok7]1}k97O(S -[\ںӂ:ja=]eY +Bf;VN9vyiMVgJ!L"*LU*ǎUW'SߞQ=Q9yA& 9_r[}*i7*T'hW79L>]]m'x& I]Kf\!՗O ֜'IțT=:VeCQul4*pmUO$ZGR;E<&CS(ƍ'eǥ=V"VXex"]YE*@h%E롊I{Q κ^*Qx-|h+\x12hn֑zXczcu>/l.@Hn>,VA4D,ی&_X=;bg( V} N@2*'r,WRAj%k2p:p~BK$ZKe'9-aL}N>kM#=Jk){Zu8;SlJLO#t0 &2δs=9?Dz4pgʡNW˹}T:Y( u)=)Iz&hnN%Ft~;B|aoTR6XT?ػeBNe3SzchI=)Ⱦp)⤟pFILFR*P'@ktIJ=Ho2TeI bA^16q)ed6yD.fB2Rt`J{έsrkQ]'esz!A*^aGj(!5LVP>Pօc9JܨNjB5AKc.љ^<:-D %W[ŷy3m- fXqwegƸIznw0*O_y0Cӊ>pVF+nv9 `⋒t߫1uPɕ5z<҇@*-6**Jr}={tB#EptRRBb_ި|$ngHՄtӱf?8w kKp%'tT>P2=ܻ{(9 v 5]^N}9IIi|B@f5_!h2  3pՔ(%Q#9jrԅLUq})Mi' ;n+/=r{=+R% ߐH)p,SM`z<  `p}Yh}coun-TNMajB#A&C) ~ %ZƜ2/ɪ2/*o+y%嘆7oL"`Wpz d)Hm&R 䶋Xّ,v A|B Fn`۔B1k @fu*h+k٘G@Mit+|ѲiVBAg \=٨ɌάGAi.Cvӿ_V4ySpyx vHe9j<vvFwi(DQ=> +ln.%U2+yn}VM o Bkte +n:x=>4nN_!DT4wS"D qN *W8Krϋ ږh-{³Y \^|qh ң'&'c'UTߢI}RŤ(TW?XBrprau6Hjǚ]0 ӊdiR<ʱ)ÎWưm f4*T)z0#LUȣ٧ꅎ_%E![^xmD76@i߶ж16vvZpmܻ^/~RH@4VEE4ZqE7Nl}k\ƐqďHli<]gGAP]) h7Q13/ IKX}?؛Xڞam[qYW\PX ci6+gRsK)(ڪޝBxM,+2Uy#[0Z+`@C3E!In)7B(38͹0TG|Ķv`\3vhra-5֚l^W>6=fnd$K6 } j8~QIR%ˮ"hzvK2lw/S?b)?M|/,o XPMbMlRnN82J0([^D)&Ker%5i*2Xv0;'+KǡL͘ tIN&WbFI#Tj1ou :'ntj2 VD/Zܔ~.tU8]<҉ %ݢh8}VO&;&@֤Y:=UyƊ]?G^]ePv& DwQTWOA`ߣ2U5e¿6i gTGQ(;RMSi MS^) jK. tJͷljJWC|]Ґ+ŋ%e{,?M>9gt.#v QNd['E6G İܡzf/,*H +љsL$IfFem|Gj|0*av2h)qwETJ/oeC.F_L9?="o987fʇ@#h#o"?# .YQa7"(m(< YkARY,d Oy#5%ȐS) ո Xg.^ rme<K0;L*>w#@O谉5)m(G#8HE^ V*ŜvKV!#80(D)&^) ]% F<ڏe%F;MKŴ|"Tsz!s.Kڌl F2}EƠ$m >e3Jhh#ʑ{Ocf;!ū7>6i$[¿$8v7oݐz%AD6)|`yTpl4jѸ%&Haڈ.tۢOPʈ~$:2ggUJeqFNIy(DR څ0MQ62 /a;L0Rp\k:_T~:\yjk!`i ua:Jd P 6 w›&mHb ?Re~AA޶;hLMcF.3w8tM`ZՅ&LIh" Bge s e-<+ w_ƯLhj)C;CY*DaM(}'DJ AcChX(o 8PL97sCUjQ脜ҽ4tj\bt-_, 6p4ڜM΀Ԃ%VJKO*|m=&/O'zc".zm0vec~E?u,ecd7Ĵƹ1tE7+{F*BʦGQ~7AȥٴfI ^^GyX9M#Kq>lS:9N۾}p1[Kvh3^@k--3He(R(`U@Sd י4ZA3$q:MYTVm݄F~BOhxhDHIC˞wEݎ@v6bB1eE!@QE1ȫ z |ܫ{Ùx x.>Ayxc( ﱶs^aAgNɇSᔏ4K25wR%-p"5hr~.,<=<~EqR }/P߄W-&o| b{[[6^"z`y+2wVh^|cyZͶ @Ug H'?Kce m~i a1g_QbΊ6Qb?_7u)[kMeԔBS05J;]x籭Ť7^!M?gs|!r%9@{dQk B} ^>s"AizL0Kc8GfZ(㮉Ug]{4 LfC(īͩ+ܲ7e :+ub 0`_d.~} {IvK;~k.9cH7Qˆ$&3EóFQFPatFq71O:c`X^νPդTtLA4mdא\hQA e]4u"5rǸ @tj"fVU=alr>d>,xWٱ5hTlPrCI3+^x|nt$wSH H9 X~ۀô/c۟ӳ]C)Q5TlFVsE˳(gj4%RUcHLӮ CjsJ?*X~xմr A3n$P󪜄ݱbpQ2*pݔ'N1 3+|^w_Q {~~mKZ_fI#e;Z^sE-rU[ k6TDZx[eUD`Wb&nr<'$zOtw(,Ve CX:İ1y~`QR%y3 {`Ň:z~p[vp 6^ضov}|vneKkpRAֻ1m ʿ 8ՇO?oCGMu~/,mpagóH Xv Y!X T^?QrXV_Ih"IOÐXgF^@V"&: 1}گxDaTBO= : 7KcvbQҦSޛ^}z/[y Uo췣#dmuj#0"{NP_|\|\$!*o jGn+#4\qڼHb>-f8pk^2mRu_ح*)6]_m]! Û#5,u[rv= ^SlZRlNlR$]Ɖ[BYo%tmzz*7GX CBZ$RU.fm hĸ]H˽&J$1 XXm @7"YFk* =yobueӮ1]u.P(mfemAvnQ,e8}GHp߁5pYԵ'yLz[Ys}#C`=/j皬`.5!BOޗW&s{ۧĀŦ8W*ulM.@%W͚1}cEgr S(IN-h@=D2z!QLRG$TShEf 4YRYxFe,Da>:k -j 5C1*xPj 4|:7)µ酩eO;ׅ`(qK W&M-^H쏏\Xc뮜<7^س| Pa}AZIȩ2*6qR GrANeCW V,Uyt K?ӏDfML ODFMޅ5/ +kyPxb8}  ȭ@+-²ɱ{G ^,*F"eWd/*Yޱmɝwә +ԵNK v뺎g}G2pY]Ìs|O?3 >H (sWH}o4QB Id" 31Ԙk= $ Y_TnQ̋m$P$)9N&PYP&Q,3͹jwŐz-b8Qwf,FҁK^`b?#ɰ8jQWx3G;=`&?HWS/U( QנvfcNrv|<-(`f>F&*. P9yŘz"E grbGK9z]*1WR1!+]8ofR+=-= | L#Q`,9` O%\Res?>?)XIq\=6>BQpqA.0w!uFm_m/š,d,`9Ob$au2 Aq #ڸу;f"Vū797P!}_^X928+W/4^_x0ĄVAgXCͥ1~&Mρ)zq^)P7m@RsY?[3عĕ~|WSl%` Z8ͣ@(GmSd &^c'Gy(j $w-،`Q\OŠ@$xWַ{b~gD-k,xak6'ȟ#XO)!D%bn鞅y+$91`Ҕ~XsNC|US>0 BS9FQlAŨBa#P!)lGm{1|6] ŻrvX^@7x}G->GЇ{98 k%c+u.;o?+~M̅PK1zK}s-vjo479>p4 8(G~{-._EUyҺyP'm ~i'4ob_q g*2~LٻykR?~wtꨘ&j`MBlZ %6/Kct3 `^ڋY+G d[Ԟ2Hn[˽ ,X5F(UM|av}0(qnd]Vw[ .w]@~W%NW8WhqsntÌs8NX~^R-Sh5\ut% q 3+]L7̶{z^V=Խ5W/&oTl;}B3I6HVlua…4 xYnb^P2̥jl~tg>lA[W ^@qX 7.g Tſ .y" wb/~Bx6ZMu3%Zw)fXcXtR࿢3±0n?rC] s[G1ZjoY>6/W~B# ꁔo$`1" e ݺ:b@i+y>mR qnyM2!ʼn ;OhC%_ E"GgI'NI r {#&\k@7=`BKX鷋@~j:5'$<1~\'!VJob>ZOzءA Uq=LB, @猐q-cDc/Qzz>:d7\^#ɳctru+6.[v4_7b~TE"Tz[ cR]ȯax#qǾ-b7DVH2ŇP.Ezp<0Ⱥ qAlmQ6@&.N.3i:,{L/bQ﷝{Mh^ZM7*nMOaFv53;3Y!VXTTT߮f6۶]dgKҴqvfivZ{ u?}VL P}f?tڿbbmiëݫ|¢MwkUUe\3zhޫffvdEdk[&eiٶo{zgvZK+OyTWuN۸=dwahAAPi   `Hx:ġPpXAˋ6ɫ fV|^va :LVl"p(bM!4GB'A$&,5V_JeO)J=)R_]7RٲI i,LTH+E&),u̓=qJ*UV:krl^~x7-U < /\Ol{}"V(WO'2s0MV վ,y[XO,:U+әc^TW8KWwJ(lM\{9z&Ǭ6=PFZ$2%Mƅ75|K+ǽQxY`YRs_rҝd$X^35wbĬP Y)D'Br*_3_hֈh\ͲV([ {0\ZZV#B4zM~k^e}~NtBz aN 'l uLŇp`{xtdREt…7\m$tC*bAh&ޖbN&= p1Vë1=]9 N/|~ߍxM>٬ay{e,快?(Xj@9Q5T$$3|vv? (V8`Zg8T} ()Hg_= Դ6~Bb0ڬp*>:3e* ( (LHF|BqeAkͣ @P94@pGנk 9mt̂giPTn&Ga412? 螦h P|"Q?\m ML M xEe86s8r""[ @8bAer%}iK`v uLt%/|V?uJwAc;qI{'$"ߖGOsUϳp \t+.Kຮ8!{B^luo0[ȒLp%nYi[~gb BK%̍ᶐR;7jh|󖿷ȧ1zK%%aO? hc=C W[ _s>$X|7UwEB]{{n Vzxn~⟳9JKɺ CtBDx)N ͘J݅0ڍΩ4n qy~Ms-O4] le{6D&T8+k۝>v3s6ffn$ok[u+쉖nbFl{J ԥ`5D}#SDmYEgq&͝Igryo&gn#ܤS5ҡ88g܂wj껂&r %M0F~pΚ"̳{A|&6u:B|< u imdKLR88Ǣ2q^ g6aYxpO;T "n73}b+(R3M2iU{X6tJLZ?֣36AR@>D"J)& , jFj^)Ae#"Ws)u6ׅ{:6S[iwN s2\]9)#@yKWUV@•d-*:5ueXBI/@׌\kju,m{x4lL**T|]X| A9i#:J`J";ׯ1!/ՌQ1*Ӌy2)A=-;u+H%õbZYCad!$b -ٺΌK! (@ pDFA|dG-RT]# >:s^ ˁV`Ag4~Dz./ݼ.(dO+mV@*?ĵ] 14*:D^bB f?!jY:j5n"Nj|T`&,B[2ԕLsvSPX*}4Gu%K{}CAy)ee+I\|!1zzm+.}/ %I/w=zMteƢ[AZm0ըPs.+m#v^qz/حmI:>wHP¦>mrcۢrvJ=ocWUtu w-e>8ۑv'.2[8۫R|Yl46TɹO}ҢZC@D] &v+7,w9+%ڈްo(\%ɤJ6>EBix@qgQm <(_/H!{m:M Kmv&k"g[smu,9zWȊ =J ‘afeJKHSk \ߏ?O-{ir]f'.{W;z>(lq0` oy*bgZܦ@t[p.YfiL_h椄gBWv(%,c% 4Nn`@ 0kzccWUsgKDأhD)3y.n7 {tFcXB߭ 27.ƸKqy:"N vd#UpguWթFF?PJ}@LƪG!#0q̞땢i(7r|3ѕ%,M-̕.ISDf08ujI]ҝn=-opVcg.W 1-7";Km z xX֦jUVg:΄d`ri~*< f}(Y;2IX_?ZUĩ. Ƌ)ZgA( r}%Ս&=H# :.~^[hNM I #BC7YNSf'v(2%.K;7#k^YJD'xhUZ1F[r{?8373ojmy>ek9uUJt`ږ̥DNJkig5br\`+7`ˡaeN]["'f3cXZ q%JW/rͻ;rL=4M)lnx=z hr޷MXMGY~͎$vBl v-jHU 6&Ӗ.a%k?. dI)ne s YnDF0N ,XJ`OMjb賄0U1[fOꢂRaRi,JL V=:H~:cήo\8eJV+,`3{*#/w/+cO>r:b욍 U*87*®[âq|ẹ0Xf"NP˴G,\ܴbS1tK~eT7,zD.Os.nT;%V>?v}L }7iEVad{zEY^/(ÿmJ-k>Tpʹ6aa[]|tFK{K=pAt!c' oڦQTJ:3QЀ&yzDM#Wot^ۈ۸Tp\12zq{$R*D _!:# AYN) {AVl/s,bhI.uhI#b9A$Z"/ON̠e@v*zM+Sq/Hy/7= f2Sp窀P:`t9 wy9% A{(ۗir$@K#sI@ҩcP\+9 Ҟ$'=[KetTKm LG6|e[2B" Qy5!FF4H';\FgŧFIiU2i4rr!s7TJy0}Êo}W˃' v«0.86J'(nZ?}0WuH5)́K_R"^=o7X=QTbpEEs3*qa-A39#p@RuphCSFؑ#`v1cl`K)kaXeȟ]$:yi$g"8;uc-S"'?Q}Tw_J,-w]1z4,#/H$7օi2@Ldn-22ذdKI2=8YDu6vи 8qv3X#@_2v=K}vw`gy;9 RJ/{F:q+M@XCauש:vm!XXVN|22Xd%UeuV.qlCԸa˼~01gd)Lu]y`%3pmߠȿ&`:ܧww@_{1X"y*7P9 L4kcb(rMgN0gʼ(x0fG]}Ox6b(zӼeܛ1$Rg b3!JܬLny(cَ0)O8a<yl\pfXud!U4HuȸM+B@]o^@Gh␜; +wE 8/4j<w,Hl7]3/˽qi+[(]5c|YB|—V%0'y!r S"A~T:+G+jZ=jv-yGW{ў *D NJV?b (l( ~-\B*T:{dM Fђ3?2%@|t %,JT1(f2TL+T!9t]2HWt(Ite=+&Y tZ';?HۑBeUyK]΋][c9>cC:.k-SIa/̙pRDŽqk۩}5US1sma;iۊ ԗg,P3qÈSmH 'Wߎsvx Q;Nr cz}Γd}]uD<`1oe ڸ(=`!?R̬23yₖNaT_=R{^^畷se٭~:.@Bؚ5t? ci o !4P/*mJdѸ& 7+:1y'CHX\ f-(\F ϠR 34̥K*D8{Ɓt )~HjTpW_&V3sQ `kJ\pUO$ȒCI(*#kye;s6e^bh=yE:v:{z:<5+-*kWwze.T#6݈/88.nC/oi%-Y[ |5c};HP7gsC7W ƵGe/ {[r)ԧπC^Eip&j堎6wNCDžD7`T),h̓u%EˉqO~o2VMf7µ!ǩt!VwsGSYe5<ٍwO9^!voye}hZg hRPO/h6X{DUEAKB@C$_Bg$7U۟,rIFYRzz6u{bO>HBޗ E?s]:C'i׶mUSdH*rfϓW&~!CBai0z0(@S0`@zƦqPJyho 8(NaQxuW '@ıp&Ir}Dlo Ah01*  (*ZB   fA! 82<@x}4Cm吰v(0"!&.e`#m#jPxrr2RĹAAbJ +R)ܺkK]vHӯf/Eq?FO'BeT$ٖj4rr H*=#zHd?αnO:Uͅr4RqĐbң0M.YJ^oI9) :w==v?pOP #D}_Edm;~7R[w{vSM[uF.r،|t76]j7x[ (;JU":(" _w49`O:pPG9o# W)Yh?f0R?&zƌqeU$LlZn]xxB9mhG7Ø"z_뿃=[8鿓1J}e Cj(IJ*.R)h$nB<<VL qa7&ccp*!}v֠ puZ HR=J5A^S$6lQjV%T.R`IӋdpЗ^ ~Yu04,G]A vQCtBa" O7z ,0R`[C(NJ@^BQG 1CXAIN_HZi7ؘD0IۺݤH~&JwxчFQȔ_*˯O[&M@NiZw(|WxWbNg㮥v0Uvzs٪k\'jW;lp f|&GG:oI_EҶ鶓}c҃,ƿSd:(zrtF45nRSկĆO6H5{DB9EaONLm\һm$QakO\OMqü|xN}H"+U+*iД4*CuwznZFe"fRb)L0lfA]_&Vi3 `TQU&ìq^x} 8Ⱥ2E_R#[,8B,zʝ*sw'vs8k E*q#Gi+9;@SftwlOKu ƎHcI#Nb`T%i}12%2߄qIrPUvW 3Ee ۷M)AK?ؗM۟k/Ӫ2 < yVz uG60`~陰޵ż~!о<Zl`Ҁk8A&M_ Rd9'F6"P6${wpp1scg aeq{cm]4ҀTb[yo !ZE%-4'Z+BM$*RG5(’)( -NhL:)Շ"S\4:_$2}p*~⒢쓰SkR\3@ڇx`l|6#R66fq9$BҺ-T(bz~P=?dd6"&fBgܝ=9O=ؒL-DŽD%qz ٟڳimcDwjUN@#T+8m UeIs)j>ȱ3>^#]~SjU+pbD)cۉďI$6If&"#aˋLah6TPM4P?XLEykl&Rm6k$Hn9)3 X)Qg-5:2?cChz2;P'T+RO)?ŧ2C-My@~Aʁ X Ɵc<PW6ZږrS~޳Ds3R@DVC4o J!uq82Ԫ x k$L +;rWZe>&XZ?36 d`ҥRNd}ԛѼn9;0YOÒdհ)Brf0q.[7_NP(ir>."* Sk /HʚNuAU,ZIGV}MQυ 'nQ}Eg?:}!ζcVpChAИԬ7oi?'[ U8t \M8#rn< ֊l`rP;PQKQ x%wn -XYT+5}BA]O--O*@Agө0Wy= ]}Ɇ[majذ }S/9+fuJYјkᏗr;n+j*g@~FRN ,L9^7o]=71' >jJԍ4E a"48)`&PM2 x ;w{f\K\@e:@1ҳrqʀ .@^(yu*{9}p7^KG쐡zwff{ePKvV GU0h/!tgM[%\ By!EUcf PUw"W%ğ+ h Q?:z.L0+ b]h&U[@DzkpB;<=PoG߸%C]ExH(NJz*R7OD/DB~=RY@h `4U}SWH;fyT_4Dfui To6Jh { `40,:LlXB T."MYKgwk0@ݔA#]]aEzy!Fq9L]:q48UW3Il:I]]x 0fTYAm/h l̢ʹn9$6xd: ]]]yIH  * H*T4 Uu.]{",=~*& CNTHO %ɦ2h@uUk6H 6Dk"姹Zsb@c8UmP}s@ƃK1MZZP1ό= W.PHꪂ\?>K-;DE &E!!O%nl\R6Qo'|^i^1J pAd.L=4! }V!q̣8XTdS;Ю9GV^72{b Q="i`!2ER!A }y~SxVpA, xz"hqUXPсDŽ3YJpʲׯDZA84KLł v*JZҴԪ~$/@vġҟ?\a1DmZ=Fc!!!OS WM- l>ԫx\L7=~zK:7G^R!xrwoXYIqnc/8x_ѠmV4xGGe $CfHaN2;$Ylb,.CRa(EH_K%@y"QE$hB \nֳI)p3@8 C$q[I+p+< Y'P~T}J%uW$A#.ѽ`JvPX~G;AHLK9zi(e-pPիդj=!\>Sk*S yz2}O_Dr2.j[~!N%_8.9T)p=@.q)&N7>'㺞0Lgʋ$N[blOBGn^._t½I,/Rd~eڹ+7Ez\Zd\rCr /eL;[uU*.nj3JT ߩ.Xԙٿ`]3oTUN$NqnN٧ޯ xM~N.b83 ń,@]SBd]]찭 IPQ;<6j[S r^>K /Hvel, pLad'9+?IY!Z>)_v t-H+Ca&:֚!V F?GoB]GumQ'č1+^Jj/, R.!"PDc!%ytM?G۷FtZ'U)jTY0l%1N%M[f2?D}tU&)(rOT®piI/X]:ZO<^TBtm!zsYfå>(8CѥPOjARa(F B܆Eڭ}#}bT3OU/ Y*%1kQ$O%h ;SSf܊F+pJ5=U4~`RǦezMxP#ƃb+a{C/|rr@ƈ=RT; /T@1T0~X:ILZ Q.)5Tn/ɀ!QJtJB ɰC8t ?Ll魶Sq.xK`*ȒNit) "S'xٰE=[!|_:Q<Sc!)డdY ̘JdF6_rI3⭑7g ikn[[F-z~CcɱkRbQz 5iͬ7=Ad_@}YAIRbO K<);Ԙ ] n:6#1>)A nGAv6Fh<˱:|"%Fh^dU<V>G'X2KV [u3UO)9VQBCE>Ղc0#ZZ{0=r&U=z*grӵj roDz _] GA^SE} ʦf>"b-|mH3.o{1M0.Q{c1$,5[˳>zb aR_(RpLNi8 RsIYt?^4b jzGeX5G9l3Duaxhh,ϵ{ xhUKJOEeY˰eUpW){ںi6BcP3%F>)=3 Rߗ:+|6'b=ٜI{0CZq44 #c5G':D$ӿ׆ z=jXޥ0,v}4{#kaСMJęu/OD hXB4#eՑmN84gD8TJLeQ#p'+B H:+.G6& 1&~cC+/FBeRux5X*v)2$ͅď7N]+LƁOO+OJ og{j:W=ŝ U Dq}\gQozz׷`.7(z(?$~E$LZsˆn͌;?.!)[ez"c[-mYIvc0}vzY=@suy#W518)taj"4~ȼQ( C+- gjn֙:2vM•gە&a.eX1c h:0K^nO(9zA@ J49dtx$7wDHyFK˼ڌ{>mmA4rh'I @D3NY(9gB`B idm8wMgBFM~Y8$ Wj2f:|(q,nL1NRvIzCUXVՇjR~cN(a+`N-P9?BVq_p㕎8>ċ2h ߡ0,q%dDfj,/oY= jqdH:IE"OwKӎ "^#hҹ)tga21_*,w69*E X ȋ[ 5xj$N擇 Jn՝sqIC%̹@#'h]"6,Q9AyGyiߟ-Xyk%̀ov7`0U(AisVM;$hP͗d!ci5Z>b iᛙEGy'#᠍nBl' i>TظTT*"/+b!A*&fҙ":\D㚬+mB'(g6XB0p/:}8%W,j NJ1n=H5} Ryd htniOw`2A7U=G)kJs8P-#ӦuR;oa?]VV ߂4LZ!^!P$H!A4&Ti9gUtEA~ QD eӈE @#,YrŁɉd3B[kxoP.D&zzCp~ 'OKS6 j81,Ep>U &JkIrp ]P /8-?EH8#kU$.|^ל% b)RäGt^29Ug{-ʈl~9ʰ~k.V6cKaھf]rP[X\aF m˥i}}i;,`qȆ^7HŢ5 w#K8t(@k4,6o6'/1(zS/v[UJ 8\dUğ9ZT*13tnI,|Ԭ:V(Ĩ m6T B`3vj%ʋ_*3 X~A5 2$aYH0oƨ6R耠\nimQ^9y;7Zo B|DD3G!cn]˜&zrʅ2)JBՍ`> `yx>={.5l(*`I*2'L* I0|!z{.6izq%4~eM>P جS෵ߺAKϒ3kU<M磌jaZ Q]#-B#Je@["%1՝g:,}dkbŀb}D$lXVjT1"ϩ494P*y YURjߔ'4ۈJr"1;lNR Ta٬㝤7&J0E$❇24b: X[ZL mJ+.E.^f|+1F:e)2QOٕi6t)Cѐ]UY^'a!O4<ګRj"1lF^})s!2[i®_Nwh (hNe|7 '^|ybO"=Uq9DUQX "W^VВ*kM$iU)t(sM -|3qҜFQ06 Lʿ|> RCqL?㕁4PiPL&D9FN:7`>bD׻t8L;:l(?CwF4r_.4tD(BqL^x5^`2vQe :-UdRv/JkDU(H_\qJg~eRlֆe&jp*Pi܎ 7MNجҸT>!FRO} ^&%ͩY)ˆnfû;U)iHQ<1EU u{CFQT͟!ٟKÂѰ+C/~2ӤbX5P-e 3P3 )y$݂mᴏ0 rBf:z)"n?4USOv8ϭ_J|2ښt(hh%D趩YfVQ5 ~|$d/aQq5t0jmgb96g1mswhU0Զ#y`O5 \[}F|Z h a|:c~~ Ke,qݢgk \hp ^ݒ-"?D+075 W/nV'sŖuG(E/m-^S%wۗW̅rD؆n>7㍢m DūC@.(wIrXYsƦۥppȤEb᧙2Do%eC^ےƥ xw}l&X0 ']_\^wjj [4 ?)ApK1jLuWT;=ktWSBʬ-u7bG }0T'm-]t^"&Ą{D?jj;{C2QUSC*J;9kyZuz:vbN5&n_S['jn=,UHջY9W)jE"Oʨ܈3QQꝮ q"ĘVQBxۑrzwCms0 2Re1zގT&i)FE7E#8 f{˷]vvNWݬ8)e| RUiwwyww3\X5j+IUm+n*nsHRUTR)}!3uB쾞ٰrO?>yKz ߨ4|E L(Sw tࠨpH 0.@0$0V#ĝہ}z}zpC o``RfdpⒻF2xh` ,92kC]pF.WFB)JFOM)_LK Ok% ײ)JYkE4-,=0x۩U p*g_]Xt3S#龩%5mt#yXNGqn-S&PBI"p`JJ0h8RKwfGܴĭO('k1wԤf>yz eԵ)=ݥ_pa]ґhD2p7Y|$M6pY"^Wǀ4 - A oQč>1 ` &2 *B Z͇Ej [ƏJ1RDOVSq+JŅ(>w"8b+, ZIY/÷<5S 4>تdYA̮Dq2)xo 0 od ^XqtKR㞂Z8 \Ls*"*>NxF,Ffh,jx7)&we3ZnkZs[ؘ!2,guu&GVBN_"}ŷgTJ7TŪs!7h߲=}h[]$`w[u7ЍjGU*'2U SRݭuطKzGR-^n>˫vj:YU/iQP̂ٯ] fJ.6ԥGi*&[ ;& q+c1m}ܞ֞ۋ #KwګYQ1lKr-Z.IIGM-@j+1M E*hP2 F0bc[N{ Nl4YmER-uJ'jϲ8Q.WPOEy}B8 LI◡J֐hY:* 7  pyʼnY$IW̎Y?u5(M1̈olSfEB,~R aJnpF߭}o6(5\kJis1zQ1t"(_bɘ%QF.\~^:2&/{+_Tؽ ?Z#$lxɐ6yo$z[7iPK:m^xpJ+E6s, @-1/^CJ@R mVیcL; Lʅ|`XydXWCӀHN)ٹ_AV@+mьyF?.~gqQrzK!A(O@v5zu":6]\JAwYZHNH=7H(Y(K$IZ&3 q!2wIVCȨfs@o%~JжQS'h6cf |9pVfoO6Gr@߷RokC (񒃠E_ {Kv zxoP7{)K8w^T[xHS[4]z3E*}D!@<%Xt-Ftܕq;;`P2]rS?rz0pG@_M|Jayb M*qt>cՔw'o~LU(gj . +"*hsV &c  u K$0~6DBqQ} g66> LLItٷs6r$P%SR/2nA$\XKoU͋oE 'tX~L5J_^ Qxhy\9f"DUˋ bLS;9]vQkոMljfzN?Z8Oa^4=8Rb&uGQ_yHȄh-IMV~&th;U4b;a]87gl)ebѿQU&&}r1%¼=[.'yKPn u?n`,"Kf?JWDB"43BŖ1H2yOvm&\?ReŘmE{ʂe08he5#@TuG'mC .&p(0Ӟr:3y;_jvjĠǻPg5l[MPwЭ -hԶc>LgoNHF% aX30T?&NDmza"@Od,SM]teˑZzTEC" ұkFT_kyFt [bj",޿f%Zw'OrU{Zk@f/`śUfRÄ %0d䔸]+~ ~1uKIVI0j!/=R(}`:E:s+,zӘ wͤ>)920e &6/wܶJ<`R$e§#"@C""+Z:0AXHI=&H]4mh3CC\Dk46)iu[>A ݺ@kXM1໰c&Jp&C1ykȢ#0+hۑ\MVKwGjIɠ\#!cFT]դm*B`E=qA?^'Ɛ2qrIkx #D2j O$gY}o{UϤ1T2 ?+[0{iTQYDf&pA 5A i & L0 D>]oX9dgOE7`E8KB?̫0eс -G9%|;׮*df3,E;`vqqp"eԷIjeUls? ;dęJgRCM?N_-1j^uλ<NW+TR,\TVqh%Z-L]j)K=ZAv9#J9=ll %&a$Tobǔ{$ʑ䎙@F3b Qz8s W|x祡 0|+X!zd kxYh?{BF]HzF%&(<^:&Gn' \AJ؆Ĝj s͚lLfֻgIN%&oj4VҰ7GK_#橇jޭe4%V48$SƵt*;N3׷M.^|D_}ɷwoa6&Sd<\ϡ.a¼X#9eK].*).b]>Ĩro$fmyMۮF?m+0n]|q1Jܭ/0C*]Ow;HIa u} #$N!L̐: `E R"=ifz{VB}9H蝯cNU"Y#Db c+|Hz]!-&͚h}Yt̓KC2!~u\x`6&Umd+G}iU]d9J1.p%6"׫\xM[i*LbM F m([G]~M"h o~tO_jQFg0<~>`0-hoUEtp 44gy _gBYd]2d'(^']ybLVgVXlBޜhWH0m}4Ho" \Fw5J 9 = ohVV2hGg\]`-LH$g\`Bc_@%wFL99 1'E묔cLQy$*$Zi@RdԋGǜGbM/.:;׉V†ʍ?N|8y$ &[q4VxXBoZ3r8FT,@Fs6\>ZF'u`jsk(LNjiZg-;`6YG!?YD)z$.>qF`oՅDk-Odㇺ>6ᣌo%:qh j<{{m&ܳw_g>y  d\4,';Ϛ"#̞Qi"cIBx˔]0 &@>r! ϶0(Ӭ2 34-~P E=YvuV؈EN sisv!U.q~zqiv#xDlқ-`X̮7@ ʼnj*]B bF(%{mrj\:rwXVÞX2J)mXSpM(Ku.*mX\:|l [1$tfaß7oLT2@!<*J2,V\I%..\`ZexSYY FC%1G֏= VMKP6ɦɅJyK*c{A^w$"hB<V*Z=M8hY2&: eH9 !8CeE%cFLTY5 L$.FȪj*bVEUUԻ !r132ff*R츼Eˋu;1qqUB ٙk73MFdfvwww3%*鶳Թ̻"tMDs]RUkrmOdMUv)u?!ڜ#NHgċ-bWnjS#6fU8rrZO)JʛrbGʙ9373jWļ4*Uܕ*oJHUB9D*}>)UCU=qj èVА*J">+!$Xȸpxx`hPpXH0@V`  A0)TTXt6-GaKPtKk*4\=A#k\M sn:Xh߳Fmݞ6b6ޡmlQl[V.:A Hk!ł._>Z#:d*r㈞ѵ[epuH'Sob OvZ77|{rN  N~k$Lؔ]£ N8ܓuͽmbey<^u˸:|/8;4n"]C4Y?j](,BTq* Z ݆^t>d\R-xO.W_;%!/XD3]J Am{?^3' C&NZfY|Mt(xBl%u7-/j(qde u %X-ёG^D k= Ŭ=xsUAf:?WyHg{q3~RdۂkMDL d߸ӊZE2cۭ N\2 Vpd0wHGaFڒhABQFЭp|8dx]c a*!AJ#Nˀ%eYpk3޲7'cޠz=}wW,F{S4Rx|YggZS+ uyZCL =I+d/ghwo;XOR n.<tO&ams;~@l M|%&181" LP,r 6*=u`*ޮ6mC&XO6XX&PL~qwƛ Kr2_íbPKG@6 8Fe`4v:1 [1z` 'V(%7,#P|6EqO`7qt~7N\h ZuI98L&n?|zhUVh~&L [­sm騿ci O ;XOFRdk\ֿ}+ym( 5uJ\rbEpm@|vf #ک髓.:*6LUhtSojCC+mj7φ#0 Me]iӶ \;!) *}_ lPӓ7uKz iFdB˖Wk>!@Ox_3^ uYyuOm\hbc@-fw { WhMd1SG|nQ`twwp .*=u?9]W+z n<)]ve[|;s >'sTB E0K|բtaC=ngɡkFа:;$BIxwomP#}ɳA*pDJu_=1?;Ud 76Wݲ;%]Ms kFn}s:LU~ܖ6Kn~e dX|+X $,iE3v>o@zǍ ϥ@=dz!+㤋 xv'3+3etX2rN=RQ6(؀ .ne?}`ؙO%Zn< (:W)9ґVls4)c] &QV:͈ GegL6`kC.o(grj8.=^  v[&t’俑vDb(ۤ9z#^cuZpScY={s5:$ZF[^w$XkͳJ4/]4ЇL{Y/ 4Q-@^t"]ݧ?u Z/jh*ig6EA㎕__5 MC[EA"jLRh7-zF_wd`*SFI0Wte8+Ha'LsoM{ ˔Y.рwCUS+-s;>CW ~cQZsԩ0!)X;u-@ӗʪ2^@2>Ó-lUNU*o xgxԐ*8Crܪ[nx !G\Tw9O(ex`r)pb梟P0ӏu>;. Yn: 劼n9WjVa/>mh럧w+A<}^uQ/,Exm_HF8vx`@w/@XcK}g҄PſPc˅)&UR6ʝdq{+zS6BH V"Eep.I?xnW} w㾷h ÿ@F=Kx$HEcҟ)BE xϋp:RG=^!r{;[dh>d|bb [&w@/Z% ~oQ=[dۿb@-*n߰)2t] G=M"=rA_lev8S_J]c <ƇAofA/[}v\AN|_qSxz>,RzQUӱIe>phxE'͘tWFu|"ȝVtT~pSZfН=g Bh/Y)ztkDzDBZwz06A7ze[>0Arv'ݏUF k~Ȱ8 =8f.=h䨺AY'5`a @uR K7٘9olzeú4O g#r 4^zG6۫vi~XNӱ`$UD= U:O8p܄sV ]){h$ 9z"%Z-ƢR-JΟjFr 9>9%fby|CD?wpK-A<=Цd'3 j/nڢCҳ&}ٞUXTN9ˋYkQ-%Q=KEzJP6&JzǿܳzxJ}@>LT¹#?n йg OA=Yl&0tr`[ϟ'ľ7[ic|[xKUoMj٪Ns(PPY"cf6@$0Wκ&+~4VO=nxM[/WmMI#@Fh晗Y3{LߧF(P^9R=3F F?}ِ׬pe~ z>%(s[ze >x:6+73簽wm4)P׫yczw|ܓv/m cǟR,piV+1%B^~;6Q}URm( ͟G0ʗa`]t`ce"~1;kpSVɂ٫B mʵԤ^B-Cwv\&G]̌T~|qc>^iFV yȏ*D Ug).l췚ڞva&jp%ORz^@ )VCsU9Djo~ 9wbϥdÔG{ĤZ:/8^xQN58YP_1r'ЧAAR(k)i:ނy %@~7juuL,(V%jM.&*'~O)wfdn0ܴkA jZ*Q)XM5_0Ɋ9U̼6*.&> GJ%7*-zȤNe΄^-H5|;1*j]JƐR7oKU4@ēڟN1{c X'Bަ RcG$r[6I.;3T(J.7"+uL7adxYͯ-%OQtB 9\]5u gM:UJTK;՛ѱLer_z'8KQHŬ7jE%|]- : tS*ŏoL{XhDr,g6@J7&=GyLO5]&lF:y"fdP>N+εs| H8e e)!Ke(F:enG8:j0PgDZƛ+D3]t‡`J,D+:gn,Dq*ol Zz'%'8^K 0\i)[&TQ Xi3Iٍdξ]ّcT6NQ, +`3e70 aj]Hg_ffg1zZU_VBV%dn.Kk(-ƭ\8Ƣ=B$,DGLWȮYMï .)SpMw %zh@h$0.20+#""k"r+5q.a]G<ƭ.sk9N>wDP&¹ЊS?H> ^/ 3譆v_3(CGdAy"Aן5QlU <_c6$f 388 Coi2 #3JkR1pN%7MİIV]6?up??\/ͧcˆ>{'lezOFYq:r?YCZ6kl]G}ŌюΎ#jј`Sb#r J2ߴ)-_je%1i1IACxGj!v*;ƞ[Y>=.cH+FaPp5jq۹?*z,Xǫ/&`J!R8C|?ݞyּ 5Q8 -x ]^ :0ĸqPH,n8TpNEWbo#Њ]\dyBAaITHQ{߬@Mo ę45^sJ@ܣ?cᙖѩq)R<}IzɥRɦiZ+qlN+[#\t$kn蹫^s\OAg}>zazOnhPX\6GS}6 T\⃘ acJSD~ w}u9٪d]䪖A7]'؎̸JД`'=t'Jj"ǧTc/OqYa U4؛m\s5X+{'_J92A4Dvqgl[ W0^#f'`غVNڸn6 %8EC{jjNd9HN4mN5q*Q5~ P6kQ6Q>gi?rH<"?C0p^>2=F1=i}$ھ|%wZQ YbVjZQ+κg]LRwb=D 1[tF:d`6<lAĖ(>$"OJݛ#ݑjty*mujӶ)dPjkl;k پX ѝ2n+FI 0AS7B;v|WGSy (COϫ3 7 {xNy_Z (ܡ/L[Zzؘ} z=L\OnkxnRmw ,m7ο4>f.- *ԲKtV_,ȦL7=uVg2OC<ѝ ccڤ5cWAOV 7-k~u[i-,^?@?=HRW j.#]6e#vYmJWFF̉ڑrvbf.U!#Ļ!#۪U]!GJU*RUUMꪪT)Fɩ3kv'FۙUնj'mļʬ먈HUSS[]UUUU5&UuUM6;UUW5YSs'"lmUOxWwU7ۻۻi{yuNWL(!ӓSU;-.]V]]Ս"| <\BlЀHPXpxPxphppP( up :jC1RDR\lc26[dܕQ`_1ȧ85 tj 67schLk#twt<$Y}KQ\ p !{֔bUJ&bOP\)(=8+n#`̤H۰iaRQI+n\l9[yXӠ5e:jZd3$]k"4XҚPePŞ i>:Qnm-/&)>zr]MYc۝4>Ȣdg).(k[+jŅ v@ID uvWf\~Ϊ6峝iWSxD[w6t~LpϡDmE=Z aRX*h~^WMh)