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_exportsw o~ytoje`[VQLGB=83.)$ }wqke_YSMGA;5/)#  { u oKs3fwVD@Ti b盠FkqCQ4 D!M2yc Ԡr~aUSLs*UNs a|e+8qmZ(,& ^aAA$<)44Fy Ğ'Z`B@m MH$Y@({aҜhP`a abB驶3_7;U7LkIO`kbGTwTK1k@#K4,Pph쁇_߀!+(7EIS'Y͑ǵ4շm.z6%o_K1$oi%y-̫PJMET+55{UR^{'fL ao@De mg' NlGl΅ys?y_\Us&{+f"/`3w^8L-fvcV~U71溜WRt^_(jA7.\y/+^2 XQ˻ k嬚ʬ m\['Fm8BwM +c/Wwl_DUTuGwܫZXHF?(-g~T ]_JM'Mmբx,ΈE=zzS_{&3򣎊yKo]'XQ&&Oߙj-m$o4 Odd"\ $& qœPq]ñ  "~9848840(!"b!:tw0EA`JlF$4&," "a0 8 AHfV465KJ'7!7cRm Gt܊^b'3U{)ŃCXoS`gS0R@j2:6 us`R_[TY I\i$piqĜ$F=Z.W=KeYX//6AO!;\рlʙq\Z9Lk@ozYkVC9n` LgSv rq$~}x~2fLE (8UV "<ᓍ׾{tnwn~S=`ݶe'Ӌa=!? duW@#;Է TlBȈi]OY0jb悊kV*sQ=Gǚ a|w_c[a , i>|ivreX9g{R?͗98K)˟(Us)*:6NzsJc 4ʑF|y(|Ӽ:讠wac2gkc%"6\͠ eٻuIϕaf٨Q[e)%7Н{GhE`zw( f&ZP5b\j5ϙiEfҊ\Z"]uHkU&T/}Ey6[/sfb |mhP(3b 0z<RQ;4 :z1{Eοf~ǿ|f= wh60]oqLfeVNW>wI"gc?wwREvsUTTlsks QFDq=^VE1x*[31XjyRZgZR瞷hnPJ.ZJ虢gBr"` f"E$qT&ьq`jUT#IRRP(5#`yFy!q,P A 1HA0A9l 8"EMEV~t\dKR5|5sҳ"z$H*~L1r,Rؠ@k"sZ62w9 t8s7r6o5j2`.],X+*'%!! @9320-& % ! gUo!Xs U z , / { N Y(7pJYj Uz(7=D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/axioms8D5G'HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/consts7E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextsdocument/latex6C5G%HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/types5E5G)HOL-Nominal-ExamplesHOL-Nominal-Examples.Contextstheory/parents4G5E/HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other/fact3H5E1HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/other_kinds2D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/locales1D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/classes0A5E#HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/thms/C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/axioms.C5E'HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/consts-D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiledocument/latex,B5E%HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/types+D5E)HOL-Nominal-ExamplesHOL-Nominal-Examples.Compiletheory/parents*C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3document/latex)F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other/fact(G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/other_kinds'@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/thms&B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/axioms%B5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/consts$C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class3theory/parents#C5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2document/latex"F5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!G5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other_kinds @5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/thmsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/constsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/parentsF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other/factG5C1HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/other_kindsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/classes@5C#HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/thmsC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1document/latexB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/axiomsB5C'HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/constsA5C%HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/typesC5C)HOL-Nominal-ExamplesHOL-Nominal-Examples.Class1theory/parentsL5O/HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other/factM5O1HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/other_kindsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/classesF5O#HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/thmsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latexH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms H5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts G5O%HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types I5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parents J5K/HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact K5K1HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsG5K)HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classesD5K#HOL-Nominal-ExamplesHOL-Nominal-ExampJ5S'HOL-Nominal-ExamplesHOL-Nominal-Examples.LocalWeakeningtheory/consts|J5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_Conditiontheory/classesA5=)HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/classesH5vA5?'HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/messagesuF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!   T5~r| 3- UHOL-Nominal-Examples:threads=6elapsed=328.643cpu=1602.060gc=129.035(/'Ez ") KB;75̫/? ٽSʔ  㜝]PcS2NF$HEr,aRY̻,Wʓ jpZ24+6)4ĨLkX[7zF"3!Rå%ÒO)bݡ]ѐ!4Xa;vX!O9fg/[8Cb2#qpB(  VBMIŃ #VhhF6R2t%5b.J#X6CKP<0(<8|h7OYt*CA!"HD@,jxbvb&j@!"!&, 8@^鴆;SH, eLXW8uOCӗ$es|-44~ge|V6ZMztz}hUO_Ku'S!~T)븯f-kjr:Yw|-ސD~;yk&r-37^LmTٴjkioz::S4vxqO{בJ"ﹿJ]]y ҹ׳J u+ӻ--bٵ+)F5Y1Ľ{I\zzW录;>uV{{QF٨u00m orf^ngmVksuE Li7bZes6 z8ǹΕr9~FW㙜oˬV'eLJ2ʰU1Ր #uYZ]-*iSb:7STd^%Hc4/Ti"X_QфƗUu։)rФvdd%Z~݃NYՈQX.ҭ6LJ$b^˚7MNw}퐛Ν3;ӪUΧWJRO{yS;5=#fg_Ӓ)d&2h1S6ϩ{BmrUY>_7L1k7הl[.?o..ljeٝ[6VYeshDzizĔbl)ss&O6:jL$dK jFNrɆL6j z3zs]>hzhh:OtӞ͔BϽfhh,bɈ3O(6"WHddswrRmju쮺nW[diѬިYWrKԒQMDM7݊mﶴ#ƲUҢnG7h#G[̞Mk&4m32h.1!&ig#Jx|=b_D1|LeX}n(bͫ3ks7w%QZ xu|ȫ;c1x]ix|kjy KÙOa=þ3~[uvJGxv]ZWs cc9jT7^2{2d;v|@.Q5^1dr){84ZoA_NCvґQ+B1lSJ%Sǩloğ;ɍ޶J~8l.U֑8Վ?g'Пch}BglEX9^=_Ms1Ejd#kek8E"nǎ!=zK(/F=I,77}{Y+LV.1Ϯrj Ϛ\|A1Y#o_w[QO͂wYTQI߽ hZ&^QxAU|;_2;" @du M(5`?j9^n#p*H)bڧ)3H?e,Uυxu yRь QQD<~3`%cR[ƴu(&Ry8ZL2sθ kcIH/c($ƛ } ?u^0I9tF 3$}+TP4 c3VYN ?`9N2oŴ 5 HOL-Nominal-Examples.5o] HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Type_Preservation.thy8c52222686a1f76cb4e111390fec7aa78dc4381a(/`!MjT+n-DHHߺZb%#-}n TR*>DW Y(@=HMe쳳U%"'p;{/r4pEs,L/9V3 E;^Y9GO xi-2UjX^g4:nj Xj,2qC !1l[ZCShD2l ѕGҚQ:Zy˹F~!Py#_0+SA儕D.haSGwѕ0GUҬ`a=G gPfSq'mjU4Wd o!ph;GjUi\=K#}_jʖゑ'Bν%1hǻ%t02JxMl$Bb\:!A##Ӻ>8aJQ 㗭lq-ΒRkZkwhj44љIӌVMm.65QJъ9Q{QC7T}Snꑦ!FpQ_'WtB[ nQ[ v̖)IBʓt^ఌa@"jDs`פ3d%ѷ+W5{9)N` -ILuMPsH(rDX( {)HX ׽j2P1eHfD i CaPfQB ! D$I l$#u9ytFݤ7SP|EEv.($}c&0]Xdʝ*ug5 ebF@oH`͸ycC5M*X-?}nYֻ"8]rD>%3_hĠХxJSv@$lSK * N֚c0 bﶺ*t7& #{#!vV63e^PZQ!Gd+jW(Z 8,p G7fcQS." ^\($;BτB/{5 D8sꀛR!%v~ SO$p%& TCYFY#)'@ ։^Lh7ݾ7lBS2: .=KhC܏6O#9b8KڵE⒖Ӣf#D8 !oߟA^i}ボ'V܎f"9p2[^ePBxT?`j]7>AñŗL*E4%6s}uUMT{B|Q#}#HB8m%>^yw!O{XҮt'3 *ͱ[>jüdQ3Mb$hb-cڔ.ҳBsoZ\ i}ݸ ZK☦`.c^R;0@0$Մ!^ltgI -cKFՠ8ZQv*ϔڠKAYvR*[vO"v "c'FkAjZ'%wT$Ƭ)kR˪q"eI6u;QV)V2+%T=?:8GՍڗ9X~aB[QPDY6(I yRAs\%"kgQɥ=V`7'PߴC$޾cm g׵cJn~1V@ڊtsQJ_f˿5=т 7Af4@x# p0gbl4 kZ55|_Lp5bZ5_] DHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lambda_mu.thy2d8bf6ac0b2d5552615942300b986e0270de9bec(/`Q5#@Vx!I`KG;^f=d8&,)))| c4"䘣h># =6?G, d ?ts>oKf_'BrY{Ya_qV^I{ØYA[֘Y8ߐ8sr_ᤳa qPAI:\;cǨ~R"      x j q1  ] 8 ; 0s $tA5]HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lam_Funs.thyG5iHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/LocalWeakening.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Pattern.thy=5UHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Fsub.thyE5eHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/VC_Condition.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class3.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class1.thyE5eHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CR_Takahashi.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Support.thy@5[HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Compile.thy?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Height.thy H5kHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Standardization.thy <5SHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/SOS.thy C5aHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CK_Machine.thy ;5QHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/CR.thy ?5YHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Class2.thy;5QHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/SN.thyB5_HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Weakening.thy>5WHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Crary.thy:5OHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/W.thyA5]HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Contexts.thyJ5oHOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Type_Preservation.thyA5_ HOL-Nominal-Examples~~/src/HOL/Nominal/Examples/Lambda_mu.thyd9\?-էڌމfzkW17E}'nј!*~غklBVAtt@V1r Վ9D_o&K.ԓq7Vgiv Y`^B(W\ī5<9"lRte/܈טݹc{(%,\Ud$IJs;AEX`k3Uڒ)%Ǔc%!a9aOi(WQP׼4j&+EJ>}ۇU$514 d)MX:єPRQFiO\w V܉@|\FO#)̋'͑sܦڠ$T2\+ nw-<ʃoaf&Oro{#Ċ;_T(kfmÒ,t]MFn ]q 0+M+W+{NC6 #NxZ>1`ah*ɘӛRFʣ&Sg0{cI}/H-NĴv>+aJJ,@W>V ؽ  l:,\ʯE3 ͊<_N=@/krlvzMU)K+!c#VJ]/4L\C.aLK=J hf(FdOӄ)w~G9K 2D.-09FKRģ~9W2aNt/S .|؂:0f:OP+{[F^-:M1?qm;hnC6|j)v/Yr-@2`1.p2v}Y@,-x? 0&Ɯ@^Z嶓2rNyjWƋ)Y'ĕe ?bDAK:C hGIqU\8b#dF_avxD)Ew,i ;Q'; %0dwˬJKm OkFQĄ^soŸ{C.JY3gFI-7!U>ndY=E"꫕muZ>ضKª.g=t02^S%/oofVᕁqUXI/j_ +aRmnb.A.9Wn+yˉD#ϖƘȩI̡^(ї[BTNCD09XGeC![gJ7U7THqR)e\+HC:7JFp:|GLڡsAݽ΋:f*lv)&dstnH22coHڰ1@>X[Ч[BkƸ<}=S|8T PQЮ2]/Ⱥ߳sS@ z/r]=aS{Gēr7g"u:a+ĀM\jyVO= ^{˜d6S0s"z0<6Q`b@xeBKrL YyKF-.]{%v6aWl2pɟFJ_9o=*wQƶXe?:TQ$BR@cHmΠsX^Hhz;w7 __f[)hFOnV!0vZ4]Q+Arr:kAN)GvEs~`#JGTDv)b2Mne `@~/&jՑuw.lA~f0]r>W0Gx: n(_b:PUjAMN$7Qs+H&p(*ɪB!^NphGEb!4'TeIέӭ q$tF^]'aq܁[w7!=lAd7$0`xz)N%Z~ # 7{^28d'@y]roOz=8x1 x9+e_3eC@o凲&삏{ ǎ+<|$7VDr\:">,@D$0a&t B5#&((W5B-M5A$TBuɡ3)0/ LQ9~JXl)w'Xs5]k f_jC%7!@c.*ݣa@'C蘀)[P:Y ?!ѐ}(6o)$5=|#a8XsCGol熂g\{|*)NCxތڊ*D3 .iIּ b,M8c x7s)j M ( S7ˈ 8S%V29(@k!6orLf]hj4j͎)(>xv\ E[㈽ɤƎ *6}eGŭۘ(Ê%2W ԍ`8sZS~%JoVuR $mw5Xܖ`U+ "`+7}QcFl6yXAGq8Wje s7]ۼHs|]`|V~gئgy>X=Xx|Z+rPfߊ;".KHai$hv=2Z6t' ܢoٖ}AVA'p :`4 OjexRy8}3NJem̌{ϛyd׏uCD}% **B!'욪ل>rw)h3Ƹ8?HsWWܠ-ʔQ)/ +"&dgi(J6jCR԰8THna@SASv=s|}@ju\,F*b/àZG7(Y;żPeKHa*oX8K<Of2 K3Ř ~l$uט1Ü@_õ&vcU7-aoD4w >rZ{lQcx5WlgG,Y䫟vhxP(+95֦ m$`cq:Ȣ}$ [~WbtGq3|.vmA Rmdʚ;V{qD=>Xw@ 1N!*G6S  گ? '$a15kwe [)զК^Qus0@m{b yW4wcKG-R혉sVM=|6Naf&(;tGNVNf6L8 Wl~je_=Ov>}򃆮[pu73QLo*]>;ZC:7, Zt Rpjs:K|E>pӚ_+˥'*kyBl猦%DJnsJaV$}co>\cfvC!zG:Yرx#5diywiPID)PDٛ[;`?2lS:.9 ^ڲ9`l z͵3d0GqrIDYC+Z~Ep^+FA 8#2m73Fn=ǡ6NLyh#iQ#+5!ay3V͇z@ʠq!aGK{K%V)ZF6ÄtPiy-D°B㡾);(2:r4N(QLp KlRaђ=i.l"8W0؜gS)P:ZYHp}9"h1$uZ9'X F?BgS :"4 ~(~;mD+wI$eۉjU8CM(;Mr8p4c,*[KA 3H/ADĒ>2ы!Lt[Z%RQŵl.PC$M }UÜKiùʆl*a| F\0]RAMS:M86 tP`~0.=ep:84;)Y MG"33ؼ 4/((`0ΕF„!ACk8 `J3F⫁#ݱ0]/رdL7ցX[*7DkYm 0lsYy`’B0Eہ+,iZtjbJG5lyJ+Du"[^ g6^)fJ^?{Fpv[=US i Q}5q(@q}ؤt͔~,L9akER]GXA ajYLl|?wf I@.PD`?fXD%6n!5v9ɛJ-r.M a`j߃=Vl}jWK-+x[YKQXju/=Mm68ûɊ7 #`IS=db &@])nk`º؂ILK?-tݡ"r0dqc0Ɛ>$>ӏ6xhpFWOAK8WVu8I|.X=ۇ0N<"]+â̋^~iEEJʉ \"6]9H Ӆ^4wa5]ogVSêbSԇAf7U N^1f9^ŐJcH8gPbZ:@ʉf4KO̤8źb'lЂ<h?y>-ыtBb09\ qOn,Z}[8pG{>ݥU?(sjlg,~>A Ra\g>_9Gd ׾dN#".ݪJz%úڲ߁fxplPhf.S_?_Է$ͻo SvZ0LDQQ h6)T>j/+ZW- Bb`=XD #- j=ք(IssiITj&HgIP ؒ0q,# cP@] j 08(`/5V(A *1CaA8#b]T Qzb= cS[ŚbB-˜F‚*60 Icx`@448P ( &hb9W,0?33>Yϊv=ow}w}w}w}׷w#(ˋeww c**nyU[1wW!P4TTTTUSUDEU鉙XwnNMZjdDPEYL $'L|ėї GGDGDGFDfŶ B85f^LneAdDdDFDE- zc{a޾;a\ø439 H^OO]49|f`**d|nfT, qqլB} *V >B|]VTXwYaBGWAh}_Ȋz}{}kj&2n&vY?Y‚}qW]o-^^^^^UgWWwwjl8-+լꮪ:gałDTUNOTuӽSSSS?S=S3_SSSb5S3?jފʫ 9[wY,PQqQ-D=<%z B 꿫>;{. 6NOOO/O5OOJHx,c7$)u=6Y \q=_HC|8.Woif"z^7МhH9U|RtĤCvy.bdwegl 41M6l AhvreOAqQTႎi/[y~TcB_g|ŵW$(6\KvZ' EϏ_i7*k'/[2m8tY>[MӯY*6褅F>{N ?X>rt;GdyR-wZ4ل>ré(j4V<:MpynUAH@2^(~] rZ#Fv?Ԁ|oCA83Wގn_;]?]\al.|퍀,sӟ>Y7!8f7PCQ@`у%IE4Ҁ^?'4UBAo63ˆ ۳aljTCwDu}ubb("y,%]<=d^E0|(2mF@ % @J%;®-l+:j7]tP)bXN?LG"5Pi=Ą9hB3 ^ h,;"^'B Q5h`cSzuayp:i-\ذI+s.siX;@`'.k,`B ԢKo+FW:tӖKu)pxTՙaNefh''Nυ գ6P]X|Kylފ 7I֮ i[J&-"!D[LWGsLܵ ǯ8%Zh*I gN҃hb19/6|%x\[-~CTv29'MJg:\&dcDmsT+u,%([ELdqsDz6J. ɲ֤ _1w7[>Y``e>@FjznI/*܈(޷#m3>]Q&4I/Q ZN;rN҉A)u Qu.6D |4CsY4"}H۩A&tj&Yult?V/YjKABΛ +d$@X`9Z . ȫ`1ɸxu{SMS=&zpX `. h-4kNN+ $H\fV{!Hm vd>v*ZTqu!ǟ?OG6[e%!eԟ3bJ&(oaEBoV.J:lԿҋ:J\`XPh۰ASb\c0MN|@sT1l,~8]`ꨭzظLh:뀪Abnqx]l燢 tQ9b5\$ܫ,7 yL6YKqjI?G^hXu!Q]j:g lCbTp<3@{KE[v7'.\f:6!`[L2W62&0QP^0TW+jHz2g,e쳕s=<^\$GLgՃ1y_B2&j d2ciш$.wSD26#+(s?K'~*tE,l:%?1j9#dѕ!Uo^6%ýlLA*] aNI%V\L[\=O0dT'[[8*PiM}($ۺ:B̮8>SFjTnpM:A!vxc9%O٘Wli SUuMsjzrjNӏR`dG_&*b5*K2ۗ98qz%|!6G)Rrj(w>fďz=}hcd-hpD!*uootMutor005\rawmم-3jZLGUؕR1FX޴CC((.U!H*&rd 2/l#Prkx;g< Gb%[ IsWA\QľU9Kx:!pAD TС-} |b]x9y?|o"@#e>>V'CtPm-uDܤ72ճU1`,O~׽LV(ɞ3׷r]չI^v+yw3Cn dfUj{#A{E21A@P]6TG+VZL %άΌW#2.ӯB܅zPfݘ1OiMN>rD vLНN"$ī3**H40]+@j]۩OTZCd@ .2Z`nM!ȥPۊJ !zu y=B(,MT荒FA!ښ;W+s3;hQu`1}j!ڋ[JB%K ƁBf=SiJ\FdY0ۑ陁^߰V`Iﯘ2[8X~q2:-:cibit_?.j?}2iǰ@ EOPfF &ۓ57(]+s}bJ3C"LpVZJUJ.j!nܫ$RtF]n͵"J]Xrp?Ty-+g3[U+Z^u-C;Va AF;F&> =#Q1&fhҳxˆDS?Lx)8 ]_4纐Y'7"qtyΫ^`7+W/jFKP j.CjۖQh u{H BuΙ\_f xI­9|t;D+PXJoPzɹ!GŃgoj-/#$`uĀrÏOƊ&y/IGB=ߤj~J'I#/pP$͟\9 B$$ )W;LcĐs,}*r|cyq~i7$.d|~ >m]omF6 %T.pH 6Jc3m,G!C: 7PG71FʅԈ|ڍccx`J5{Uzzᚳbo"%?,МD^;>3ppѿ3<~Nb̍>Ĥg59VEO{!oȜWH!r|n83D=rg_yTKڏRPܬ\92Y!X$L:v7R)\I~ɎnYݛuD|`kK6)QQeB\W{ҽ\ 侀DWl뿟; ˫uD%o(ףrLƁVkϮjj-lE8+YQ-Z) -GpH3;bLGA4 ;CNg:."\0a˿.HT9]4#=zZ2 ĻP:"5}~S&e2#CfBѝ ~T_6W+0T4 T=6=I 'ݣ/e evAs;DR$2LV2!6 Xj!Arئd2UñPrh- =8V~22'5KW^{Wv|_nD\g?r}mfh 厦56?{+OO HTQ0TBTwDzrMLNHYH;*HH{kvDRpfeR'2SU#?[Xˬ_dIӊNQ<2RNF_BŤ]Ѓʤhw&@'m,F-:pO8Ot#@ԋ)3#jlBm;+6m%m^Ӵv uy}mpF C~HW`C5&#/x]ih dGņK6$C:VB:j6@3;giѲTĀEKAS]G<~=jKjfXTsǔ^&uN / iS@寠>4%P㬗$Kb@;UP.b fz8.gZ} 1||s,7V&|`P≁T/?w]ZfpX|`ŷ2#Kdx?l_ƅ 3[D rr2x;X0{1Xs3=waVngǘd",t!-yhh ?G 0KYVڋybgdZ m֥}ɑr=x60@j*Y4n!4֏ ;+FHYL ] K@< 8Q(gG2eLߠFYIG`{Jw9wy+;ff 8)\MbjbC`>AzoO zY*hI?_98<B1nl q]Q!u/7ʛ+*Ѓ4 )>CyBX#48FٺVXU-)39PQyWL!3WPY~< r.m 16_%St- @Om!/> PCWI̧ŝU uΧ[WQtPKH㧃  c1 X9qB66VCwL[^e|GB9Hrs`[ T6/e7~ɴиAkAtd$:iϴdb"Zg9%$yנhHtAWz$6,>4>4ZQiVS籍{DN ΙuXa\fF8V6Ӻ.n5+X=/PxqFK撝%s *ц璝C#(053Y6&x, H)^ (ŕ*rȰ]Ӽn/W93< `f왹H=k f2`= ;%JV?;{'{nt$/9 .DV/2#/9cg?iسpvA%ƕ}"[$qLա;)M*+yo_MkjDXr\Okk(l42uKx`[v҆6AFci\,U#u8i;ad@>ۚW :wUBŔ`g:I,i`*:$j.E9 JJ+* l:Y%/8hϳZib< G@Ž,TQNG3cȢ.z OH%T+㣚rYSHXdf-[E_+zY0"XaѸfW]}u씣!c[:PKpN K 3̴;C0]Sx:gs:sO`%/kOWhdygAqdraJ}'bZ=Ҵ2|.bt>b}UAքRtQ; sk, 9e>,xo#NMv#'_`4֔cth\E&/2յ`=5j,Ah7 _Ŝb~01$F@nzv' c:TjMUz1:PNj8R:R (::scW=Բ3?6"Ġ/p=E=Gxm@gJlx䪭rp XxgG @\ zLa<45= 6k1$,loF`}\UyM)L$xw_\.c>p4KFS*^h  Zq)u:Uވ]컔aC]T7Cp[Ntp{;U(c2מӑגC;-T I(0,m DL%85&!ydhq nѲɤ(:ET=A񀰸.좔8Iӝ 7NjVYN֜6o͋+?˩;-,Hx) C2]NYjg76ړ[)UgQs9>*І`8wS &KQAqp}η2\<;j.`Ź7]#2e$}6*GO,PAFхՍf6l`9rnSA3u݀ VY0hɠ}ًND'㨭Q$cPZ&0 _UAȶl5~afdy:d"'eTc[d #qG]:h,8F:Uuw0rgbuC!G|J ] kXr1r"H\JZӁ_jt=g,B](w‚mh^nZmHU} tΗ>K, c| OjT%0oS jRz%HSȱQ.SJ)I)k{}ߋV+ͦY8c7555y f<e<˼UF&]euR2lIelc86fl۶mƱmlcUv"&tt~δN[hM%p&yoyiӴ]r X`mmI$[dYò,˲9rqX ,X,ƻ˦ƍFH$Gb[ִkX)L\~-B22#ΌC$·N,xN ;( @  ,4XHPx$—D-)v hA|C5+ވxqGr\$.3%Q$, H^:z[  >gtT(mMǘ@j靾זGp`B+ii.5a1<1x`ϭPR4z 5Nn4 4NP^avw\keքjz"^o"9̒sOpC\z[B<+UtP_)nr<=()(,d$dw s-6P%yx}ʰ>o?Z[s Egdg˕Xx + wBeAJ3ՠk^mY!ƽ;\24}]n:ˈgx-I~ ˫ak-0m :9xܦN*HY?q٨כӀ+P|3fr.[\`X;X(vM鏥C c(aruk]> ?%p';ȶ6-; ^㬖L,\{cA{U1 2'˖-WHY-vO -_:(H <z',,_`iiQ$4>bvFV9IմYG {19s "+E|D2@mݿȹG  Y͉JNd3HSj= 'QY;$+7J>g&)l d@uVA=-!ŹRVqFTpl7rBR:?fO7tK<""#Y ޡ_ 2vM~1땹2Pv_wuu lU+,j!?)Z=]O;)8ů[o! 'O $5 T| &rM@x!SϨ+3˲/О0~cF ik e6@,n~2KSU`j{6rJcV ̋B(? w.E$DIO؍ {WyNG(^3&ErQώ<*jt:ݩ+Ab/}j-_ln"$ۙeYc`jϏ)0ODz>㖖RH=Pv0HkڌAa<[ Su.7pR‡#=6>&~5P9z(j[8Ӝ}$l_/t7/(QNV>]P\׻94Z}"votEYOpYWS쮂Cthfc1S]A2$Lǿ#xX[c%t6_)H<ךa͏cIA LX Y)KJ[GP"'R 0ɧʣGÄ&&+p ix:̮7G(ᵴIRJ D'̓✻zcN3}ǤށUq0r~hC1# SK ‰<a0z&o#idZغ 2L! g!c&cuAWʡl6ޠ+憔ǜwcGJ*`ܜtw]*PzY DXB4X@H&L, 'OۯZMbC^61aec%z [AʯY\jDӒ{Cq eDҝ <~b'KKip(F _PwËBڈ^*֖x>^Q7jɻ/:&zq, K՚&t/^nRG̛&v wxy v QcC{&.֌%n2 C(X7xq:KiMM RXYBBNk ToZ2:8M>eQЋKŕ}@=S0 ">y~&SB+Y7kF㱵J>:tE6$essj),Lisu[I]v*xah6! }%#(Y=ȢusniQABK,Xx"`4vǕIgxh $ D&&.j_p/u!ѓ>w }%~%A5,ZȾ߃m??$0Xpr'.v(CF ݋UMx(z? -/F`聯ak*{z h] 3]¬Nsՠq'<-.8ӹqCpGa e9 !{*|AB҈یABr%qTnfl ] JU*q՟|X~өTm>E9ȘBHD)*UΰZW/],„qMe#~Z W[ _ Ipjͤ5kRc @ ظ~TYjg75jJB${BPv3lq<0!w?fr2 j}`?@Կ&8bB%o I+`uRzW/`0u5"fHHam'.R܈4yR3cL ȯ'SW<#N (|N Zl/u H$`{Yer56d;f@2z`8|+g#bώj6ՅsVn{qH(aOmi(\ݥ{auQ `qf\99 zPA%[hi>u dߋ9`*mddQ.CIaC( D@IG.Y܇M+wqHUœOK@uKӨS 8G,bՙі=6m汧$-Q#|x(8;X @!rJTN՚Cs*l<ͷ$XR #-L;b1L6c .[I6Y+e_6Y&B4ذډ x0 7G`C+a`_5,]6܃~Zlwʅ7C{#p`|$273'|Hm>똧?O@x괤D'׃|x\i>g;>HnQ\PH@<8U)hHͿs1Lȗb@yd |p(T(}ASkb--ޡ%!d!u" !{G1dB{L/ 4H%:ל) )V*+$%AʣȤp.٥@YJV$tXvg/&S}gߙ lA6&% 6L<sCKS1+? [{&ʞYHquHe2[em "̉)e vI76IT]=ٿ<\zcրor^Bgki;y""%\h r}((Jizl{0͖{yaV($5sHnNO?褧C A'wG%%~@KDI _o~_ь +m:^qs[iL߻B>)we&wAiXdw:Fz=Lދ0V)ǫTa.Y)Z~^<4bLWd|2v+Ro#O漴K  NVB%UaY9uN98[҇"P "jmy9|{|fS0`)\*@2iZd ̪zdO [/\{|oHUU]ytd; {K7r 4fmY:mjY&&d~x}QD0zQ|H:ԓV!i4tzaV R7+զW>3bZˠ+ Եɤu2Z &1EւE >@ K`-ǡP=\7!=P]s4T*޴g[G \_ha~G.Z^½HOc1ѽa7&(bߋ|詌 酌~ hC+k"[}$[EE]-*@1S|fI6LGk#a3dr|Z Dͧ]^PP&tKB5O1_愆O1>Q2H N !VLYmaA]Zs 4p]ETA|\RYRՂ6gltڙ`}0uӌL؄ēD V|-b`1eE) QV覣,Y3lvت:Ն?D\ǽD^\ j!b \wyF_344<O qFRڣqT{^~D$" :`ЇLmSCQ~Qx:ڸϟ\߸"en'+/śh3쏌jIU@b='Y6O\{#&&+94V L苀ajJˊHL[# QLҜ ɿ>WR2]i;r8[2QCR"k6'e=g_/lJ8뷯@C!U@OTM٥2SIv h3n.t+Oփ|"௦Ybq84_&RuRQecDwF*+~6krIel, J37>B溲=4(ԠjKE@MQ^飤7X\zGT8-]4ޫ\ȷ6b8Hs5qbȱ7@@Oq)) :pZ(Өsj%4GFH$JT>f KFd8lk֍bnXjr1 ]it!@ixiaywAOXXws9BFt`Sf("ٲǰ ? Kͮ=B G\T8)< n{t#*r@?m GgwI!9cmL@f'gORX߬rbau 2Y8xhn*^v0ьO!'pMc(bQN+v~N"? 5"ʿjGs=뗖A55^.q =tN:jxM= ;`b9yu3P}Eg rYY)>c>yȲWs-qE2}|Nǧjpn@vJD>ztQ1pOm\!4ޭb4x!=|x/ am5H,E4>AvO׭~W?GIu@U-]G+V$Osܻz2:$QN Ӵ`NڶΘ1B|F?j=z5[xGT1UٌQ nJ$0YDu@."л~ʒꈕ7^Rvv*ӰM_{9-LM X<f<6Kwd:A* JT}i4b͎ç#AGw8 3NScC$ l`Mh&8<{62V/cBH݂ut/PsԸӱ:kE hLy0Eاviq]NKFUZ r_%tS"Ӌ :x7p3bC`:VʜR#y^w_HCڳ+{e);}ɏTYwi(O `Zdy+3y<|&T2/Vђɾzjs8vGSVVN9l f-4X]upri^g7@sf<ҪTUvp札 = iEw}Yj"W~yq:!` Y\dHoqP-Ia{!@o9pu?ekR@X--mZq0 E4m6+TE,Mo^lWjԶTIR&IIxY tZ«P1/[j,F`Tb{Cݝ;BhL<;;ZVUBk;ξήYjeV-UmZʬՊp8,jeւâ;GE*:m+:PJ]84T‚!J> QIhk3;6lJm۶<5c&HZaݤ Ny9Q4rB?IY4P3Ns"Hj9*kCPD|.{~?*i"@?f.(c1vY!cc۬bru(YNq*<&@u ?}0 pa`/t/LNb7o;A-)Pr|A ZwiRap1m.bR!˺,a N"]Jwk[ H/Ho d{_G8)a=XggHk9(S?:%Z|#!ZX%PG+T2EKe5d$њ1]/`H0w#rKUute.к5V0ڗoT0, q5i @`SUuBBuo#Q/+ՍegšԨ^~/HT1ROmNsDxA8lϟוYcZXTU_uz0OM `?e OeI \]iy{)s')I E],p@Xb&瘂dfL j`0Rs{q`s d̵8hr[i V *Ux:M0YN]2#q :{?n| W5M= r A=KuH$L8lM(:u-XN0 Ui*e;Ut*?N+^6kG dž/uh4`c4'~PRb4@oX̵] OeC~s`>[,*WMv@J/Ar?]PƒR FͳG"/lfYenepi?eN[Fz7 }%= bˈgƓStP%t@SiKyaIa-U/H%gZ!pmIqO"c-h|f,&3+]xhg2¨˗'?.[P|t`TR}K{mggnLiI3M@W0k R!Oα`$VŖI z^7@{%8ŔcseNH nϷ˂C!h^ z~cGZow 7A"669[qi4;jrL#+"={1{B]!Wv 0D ] sѢ.1q4MEػ¦͐NR[k0qP]?H.Qvs ֬>Iq#pEo "&Ik"e>'L4 ?O4 "+q VDѴAo<+@" %^۵΍D3)+B0}JКF74wh#I/+P*?EcQQI1I^ xQ'!YBAi7$ Rnn~4%烬oMk*j8 \mURm(_[,֌pT,s)P.ol:X#( +Qw莣]Ռ%6%/KS/8> tc$q\bʜNt}tG/4Md dz .'Zד?6;FCIF<\~ƮMf4 bp)dLkʔ+#C4a`_ #1"},yS*Zo)?(A`L D.CˡK|d/" gT/EerIllF`yk(z4O3KL ="RQ.cP5,-{}oN 766! ?m5~JW [ZyܴqXt;v>Y ODPs&0GмOdO7i3/:nsI"O >ykm4i3?O)Ȇ1`6ui`#ECB T377 #M~x-?1Oب; -Wf=:7"d,eOPP}=`6lM'B٪cM@~(+4U ]Z ~Br*XZkcPZ]/ȿK )`WJ 75vE z˼bU#xhmcjR3d$3 {ӈN=3@ұr1'BEyWT,?BmX-}k5 g*- 0S^Rrj~x$ٝ"@\_p|ݲu$G~vq|ztQzqk> e"r*-LHϩQ>z?lqI +I%zIXU1_07Um>TY$6l'e hFCVXw3ao9PC0_BPA4Bm]3p69n3ne 8@뫖7\=s -d&px)TO8>ǿP@ Q/!!+8Ke"^+t5C):LddS#LD~#m+Nc~:q=K pE XVXG%Pp/CrE.Ǝi<]%,?X A o7 d cM,mq+F㘼8&u[ϴ@>|ZY"a ] EV$V)8\evFVX2'.zрɈ"  hxnoJ)@ߌ)sC/#}i(ODcbo'|IRY~zlqff2Cg"~P}j;2p]\q072l=cg3>ue|PH.뽟wKtʭWN-?8 ?ZݡQa8=9/^s.0\}X aIsxo!)Z2] =åke2] @H/1Ads&'Vi'8JT MFpBz sT}-&Sm,|p@ 2.^!-ƚȃȠ^^|Zgm+4`wA{dFY|6`'V&g"}^uM" *P/Ƿ&a}pMB32@Ӡ(NbP#pBj 5p_'!އ58#; V,&jw|Sr7r?ÜF Q$C|b#fF]{g֙&JF5XxUx#v}ϘwOOoH^tObc8Nׁ"  P8JJb͠@v 03 lIE0*a|(F+|j@yYEnaANU}o^3 <:_ћ2.=u#K߽ޔ+&Ha4PR0D_BL+@q{W.sߥ\ [7+S]7S$Y`6hA)(P?=/HJrx,W$pogQJTIy<]# gLg/ΔRLA4܈xt/Y) _Z37N@G!%AEI,"z+KKV^ɞ[fsK% wwȢ ^F30AvMn0Zv*%cAE^XaʭS._ g7nQ xٖ̒剫R\$6[cz5ENؘ\.L^T$^) Q2<$g8bs[+2}摗q ,R4=/C`Mt&7?熦*p)Pͱm${ "[Vh4a  0̻7BNFO9:jCD(\\eE2L`u8ZcH?4'ǁʂW86@*2ѱ[68왴fiŮyWҴ-w1Q-N8y2Ef2yt}+8gۇ$:x- e;. daoZ 1@BHnC-фPL__h`'$-USI&[YwuYqZNu7>cD1W[Ho :WX:?mZnHs4 k{Nb \!LA7I2 H`σ/oavAT/}c ?{G\${-)ζqK>.ڟ xJKdji%Vr>mE]B W*^ZSV`]VZ*^P*-d0E‡[S'lC]/dIMb/V }/O_f\1qaW=U8jڳICq&#ÉĞHġljGu02q@o ǁ6 a9/ΡvUtl=Ct`:)ɯ:WRTy¡٥IbE4 ;qz :ǑmKnйCϓ6H$]PVx.*@uKIE~ AX?JPDbe8D:IǨU!gzX-!-6$$^緀!38G@OB4CKQ +G+1֝V"MaK2|AY= Y- )2J!='#S`|z% 1M]B4qQƨT}|a>3Ag٫ wF82[-'jɐKEwͯKP Q~+X-WϧfPk ӂ rrm L(/#E~`-QOvI n9OSR}Ips;^ Y%{G珯x<K:<=Ќy>3tЌG"xx֗'a mk_^Ԯax!l q\^pد1(3#GO[ Ocg9*߂?ZE h[tF_7/Cmѷyq`EWp&BtKJ!"u879+N9F܁(i}e1MÁS!l53iYӦP =$-uчY$,ļIRU1&?-.dYH pvGx9ZP>EEFc x55Fbԟva\π$pNxɩjJQw{)ms*h8@#ĜN4E<[N*|'24ZYm}hpFӀ[؋۞yQSѦ [.փK6㔀jv5O;]п@{b€ !jܩ.Sff з#Џ"=0Cȵ7{UX5̘bÐ]hi5=|pp@wH Ua쯚;>|7 Y&-?G..}/_Y;^7Κ A= @#4FwDu|S/3)8!4*y~!2Ywql4_4[\A]pa$ Fr `'e=8/Y#1x~Cj#pu 4pR=.~',{p@fSWook.MOӟ;HY| R佣}.sfFߎg2%5`xdJb8oTC^Rjb32TB;O6nV&xb|e%ܤsL J$80S¢Q~x1 D]om1! y) ׊Ï5"P ?H?G/4Fe~귛Z=R#-r~{ FV+jEƧs-I6O? t{^!摀%U h,_0"pl?(EsWMX5(!n&T*rN?PhZ6NiHGLzHy洴H%>fèQzCwa/,i\\kg@|Il=ğ~./#u i $ UjGxqJa!s,o@( M+F(*7nn1 ΊCS 2tNa̖ͪخX!qӳ54wYTJk @%R;Hֿv9H!ꂰ* 0"՛iھi&I&Ǩo(JBQ[%֩! tƛEd!Xs^v#098'[<*wVVg<Ǥ(:tqpCi|h ָ.%K:~:McTntİر 9<2X{V0c u :%:,2ktiƧ;B]\GO*JgL8:LwT [2e>V{f8^8υ 4D k$b- /iG~)PW;)VO. sSBۅkM?MS/\ `1m4axє;{$'A>& !/*lDuΕ _?cz٠klMoiJB2Yּwbo/LЀ)=f\UߓT3Q̖$c=ytP!fU. s,B|EȬxCd~c9 { 偤 pH}Ŀ 8Q |8`_q՛. q'v,8ho8qMbй,i΅)1,˒P͑]PBXK>X?-j2v|fuݯKZigmy o3X0e<"#> փPYZ~p,-Sn QmG8¥]ΐ- FC` ThLe9'_SD?Pka?2;y B&/c@S ^A1]RK\<k]._1 [jãCِGi 7_# Ei3py> 1s=#g63DϴQ*Zd2VHS rmAԮ;)2SD;E;F9=n @o T0] `bFР ̱/^am 76kVf+tԀ*;tՠJB|n/RM{2ZZtX: 0=EC?aQs>_=/`5]`X*)ѭb- h@5>@VQB yE3q*P2IpO*9dž J,A8+vB(^x0b /;f~W_MP#ő`Xޥw _<0hxOLƋErSBH3aJiI ^\o[f\ YRepFF *dsh KƊrضAp\l*^qdTqo5д\`/4%0v%on>Xo]KQ~h]ގIU|GBݼxY5ϱ3 9"3HEs2LF0|m4b]\[<.O>O΅/ PDjb ձ}!IAL*rjpɱo ,d4#A:@Lqb0Ʃ8mɂ)_eRm@o Cٸa~:0f,Qz{r—WlQU`nj\|MQax0z앉jhٞqlJV+|Vѧ"dQ !,Kg6\0FБt}NC D4Mej7QBZ ʔ"͐I^h,蘬/1 j ;u K&$y'mS ' [6%x8q%#mTe&ʹѺt1XT]m8/X_xI}4ZzkN^n胖 ) Uyz!%s=em-1L'{>vl/ Q>!}E ֌Bz(;'[;T؀ka)5OX߷{/=̞e^k,l} osqQ H0cXY=ʥB-Df"C~kRI蒝)G*@ Z[v5IyYCP-Kgd {4ğ)$f6,o}˅e}DlEM^E9-vsz:wA.6?ٴZM`]?I@X볤ʸ 6 s \ O_9yf4F#yc)޽,C|{>z_?,+8Z0ډfʳ85+@<ÃVK0@¨=F83n)i{ƭ&&D#:WضJ]Z [i[1nU L2{SQU 6w~ g}]Ek>wNeߖ^d }-d~'L7`GW&LX-ǡkv0"LX"]yS%@a/t"z.n $e1Bd?t#k܃l9X-v9gWO/.?ADZ7Ǯ'kV.֌csM:øY¨x4"g=x@9-,3 XO[]F'X ~YoGg`."x.7qgŏ4 9ub&XbŃ(nT9T *ÔZh7#ЫPBc̦~#ܚ ٽ "lf\YDqx8nHh9-EM H 5U0G+.; TQԹMPknt6O"9*@A8 'yV罛vv k6,p|Q}Dб{۲D0"@;ҴMO,uBUAaڃe>%)ZO"* |msF:EtkijE+25hfm$?;W[rw*ٓ'g +t*+Px oOo8*Y`FP0`ʇDT|kwh*8*T7#*EV'B7{o(^֦jͷaFZ%o9-LVhG7z@HfцYf\$aJq|yźm(`>IQ21|Q;8:0VӋp_([7'6IO r 8TqDb-#oeI rQP zH4[fI[BV0-@J|{PX%=Zf[C0R"B=7c8b=Yaϊ2P9ŒkrcX築HŤ&OB -mev\6ۣPQazFb?b9՝8ƌ !/lق=+N|Чk˿J\~vL /?`t.="Я@Ӻ.޴K1bTe"*۽d/m1yǪ/G`yjLY eW\Z ,< ZB, N @48s-s_kawc8c*C)e#&kaePU-zmk6AW TtTZLĘ% Pa.WkQGM{p8;"pd)_6G]𚰐,r `$@Z$΁ѻA˺z [8~tTb"Xo)`yY2T-zZLz+ͥrZv Jm^]u_tg6m.$y!EPMv-ȪY wi.a^ϘßamT/Iޞ Tk 0b|Fr?|'@U?/!>*,e:U =G 0UL+oJCvz`04B+YCG7y}̯6\ /E?@ԏSWKu+dR` ST y$pҾ4Li*{M{?}P $ly%2>Asח˧A@nH~-<5_LRi/׹~Rm2Url]5Nnp D,!΅%]6>i$awA9 F-) x^Z^R¶C<QZ^)~ n5 9p0dKf-pz~P^|֘N!()(ipt+д1%";kL ~R"bRheyvsnN>7P<Ň|dL̂<:I-5]:ȼ=;BNnG@GlQ?!h!kdޙp7h(bfKGb_L2}Q/H i'-(: LKJfށJ6F"}{t lfJZfCʝznI AG)/&h{(OE%:~49*21(ciůqUhf(iO_|ډS+**l`5DfѠ#,Sb(HS 4 cx$ ͇y*J CdoV(⼦5]FOsTؕ@ E-#3X?fU'WXV1W i7> eHiCz9_wNaPÜKHؠy\"ΞL&KU$ӧ4IC73!)As"`ѡo1{E#80]`` ߍ\eC$e'|'; R>KX\ϋP~!B pQ%$0n'K`=b/0lVQ"zzՑ[/B}~$]fsZؘqxkp&LV5tEӡ$H\_P~0}s2n{F:8_^r"c@X.3ZCqb]GNRHߧMfYGnKMig<%>(+ʚWv^\\=pXwF +Q]鵴f`)D/ 淖vb _/u -auC/æ;R_ye/B'1A WǷ?^Df4EҴxAW_yFPr&i!{iL=3`d)HkmWD5Fk#䖑`"ꃿ.A^nDO>(ln~Ɂ[%LtPH (M|.t9+lw6O̤i|cPJ! g>ԛzQ›[rޟ?X)I6܊H3b] ѧ\smdX:r'uHbý+6Xd9v+e<^l ;/QI{^140`^a7ĽS 'd!LҼtmsB4x~_&P'z ~]8$6w#|#+v1\'LGq6jATrMBUHlN2(={s%Yo+R?<ck -Vt}Cc|tlӈ) XT $IX " G)uUql#_p1O*_l5{0,gO'[cvDiސVLq JP+3 CO()Ex@ H,#zFC0)$lYSi[ҰfB4Fj]PL|Uk\m}7j&V6,88 ?%,Cʑ\ej8鶴YnS5ΟpTnmF{i2C1x/] "*ݚE!$S3؀G}p$K=I2)ZЂ[#+f.p+rjܱIn[!.v &"_lFaç` FPKv~(M7 $8J1yWjÕ(C1@M`9d`<zm51V3eƦKpʟՐzBv ;AH=JСB$)$ID6T*1Ùm e,EW` )(P`nNqιRFGg cL8JW ʶRy!1!q(ʸg3g+EU @tL1չ1n(j3#O#dGAo߲.R+N1S@4Q%)Eɤ4  ..(y^Ǡ@YV<3\P`kyUPU_pb["[.xe[Jg@@ H@ #-O%}1H\,'@  a0QadtUHIk{J)pykM7͊9x++{Ks9G?+(uvoEt=nprI_rmAr{E'P9U H7|(>ۭ!%BIXqĪEybSOEO;@yvqP_i#<#T[hBLJC"?~;:yx0}'(^Ti'jq qqvLrY?c.-z;Aaa4pH:|XZ;Bko"pppsX[ k\--Zway "$mHzxa7Hc\EPuFPl(p NY:䠊 n Ϟr%C7Tq=yvm.*8-=Bc=/Ŧ4揣bn?@~`}%7PyY<,p -cwHQeMI 0x+"a1O ڧwi`L4$lbh]i3뿬'6a0wC P·8M[/_4XةuW.z ] 1(QgB;hY5 ;f`0eIp3EH%ŏ/މ&xw|0TH:rBZhLim7˿l@ N{]%J.` &bZ(o6t-J frRs18Q*\_1KB KgXf[@_3@T&cf:y+ϙF$ö~wX% Dɬ&3dc 7cG"3yյA‘.R9UBߴc+gUe*W "u OQ{"`x Ag:2\Z`1dW4ci!__#8XʣD(0<*90ciˋMQp)C`瀏6f;.hbBCgh#tk^-'{a_s:5V|#_dG8@5vdHZKfu ܞӕ%\ >Rﭚzi2`\Zh T FM"RA bArfI?ǛÈ\S_K -+rIi@?Q@!"%x e :ET=ኃS ́|2U[yXfSqNW=8--+!AW5=C]6:$h ÐV{/-—D`0iˡM3X= KdHY_{cvL`8C6}Y)XZK!ONs;EءP=Ͽh}(*+alg]YvČ6Թ[;iP7Ab` ђiuXYۻ "%>PǡeRrhVAfx\FB 9gE3E h:zudXZ L b]>Jni춢 C=_sT^WMF_ UL]#OtތNNzWBSQOC +yip`:T@և9 xemk 9R ʆ|NABmܿW.ԇ&D Ry4%C;UQS;ܗ;)t+Ez@'Ʉ_GHQ՗ч~McW4ȴl`IeCRaKHp@uah,l?*:ZU0w_ײ0DNϗ-]"v__"򓅉\_N@gݞ J A`~|"1+ Ef|#'M׌ڱr0Lfq.&fM **'mFL]NJMrN: ̷Q)p ]߳o"Ng(IM2(coH76W>I|q{O!.6l4&P=/zIkw1z/"4F|fqԃ&xyghv';fx )E+{lG4gbݲ7q/G0> 9H i@uQX2˕`x:.H6pW:v*!38R.d uG̅# "z2-,yb,qyG8`ETCl0ǥ"vo,,:˱vb ٴOYhGR)gBnN@AU}i=ج BV2r7quδJ,1X!I b{reWvfg8يNLv%~cHlf-vCCV#cRb5+t'yaҧ|PЬ~ $8cGc 2 xpbJGћ&.i9PXϠxgVvzMHZղ*E(j` Zh_z5 2-WdpZ-x+C}&x+#ŐWXxn|9alΪa - M\-$5K' DHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1 ah) 0N_a3N8>whAI[ߪ95s Z/0_LcXFa.̈́rXAC51iqoA"q-Ks3fwVD@Ti b盠FkqCQ4 D!M2yc Ԡr~aUSLs*UNs a|e+8qmZ(,& ^aAA$<)44Fy Ğ'Z`B@m MH$Y@({aҜhP`a abB驶3_7;U7LkIO`kbGTwTK1k@#K4,Pph쁇_߀!+(7EIS'Y͑ǵ4շm.z6%o_K1$oi%y-̫PJMET+55{UR^{'fL ao@De mg' NlGl΅ys?y_\Us&{+f"/`3w^8L-fvcV~U71溜WRt^_(jA7.\y/+^2 XQ˻ k嬚ʬ m\['Fm8BwM +c/Wwl_DUTuGwܫZXHF?(-g~T ]_JM'Mmբx,ΈE=zzS_{&3򣎊yKo]'XQ&&Oߙj-m$o4 Odd"\ $& qœPq]ñ  "~9848840(!"b!:tw0EA`JlF$4&," "a0 8 AHfV465KJ'7!7cRm Gt܊^b'3U{)ŃCXoS`gS0R@j2:6 us`R_[TY I\i$piqĜ$F=Z.W=KeYX//6AO!;\рlʙq\Z9Lk@ozYkVC9n` LgSv rq$~}x~2fLE (8UV "<ᓍ׾{tnwn~S=`ݶe'Ӌa=!? duW@#;Է TlBȈi]OY0jb悊kV*sQ=Gǚ a|w_c[a , i>|ivreX9g{R?͗98K)˟(Us)*:6NzsJc 4ʑF|y(|Ӽ:讠wac2gkc%"6\͠ eٻuIϕaf٨Q[e)%7Н{GhE`zw( f&ZP5b\j5ϙiEfҊ\Z"]uHkU&T/}Ey6[/sfb |mhP(3b 0z<RQ;4 :z1{Eοf~ǿ|f= wh60]oqLfeVNW>wI"gc?wwREvsUTTlsks QFDq=^VE1x*[31XjyRZgZR瞷hnPJ.ZJ虢gBr"` f"E$qT&ьq`jUT#IRRP(5#`yFy!q,P A 1HA0A9l 8"EMEV~t\dKR5|5sҳ"z$H*~L1r,Rؠ@k"sZ62w9 A/!\۩9?"REE# C8#jPqcmLF഼nV LÇ@r-9w~x6/+-2/dR;$Rr6>4xfſN#e&0}E5}biJxzaP C_vpڐ=EW~Z=iQU+KuPN/Xr?X&c ?Tp~qCvIwo1A\]: NIм*Gp c(L ;`PkMƻwn`AfaBл6'џ}&aGe| zԛނd̷bO{j`;Y$>qƖ-,$yҶq.aݦ촦w Mp0t ̞4׸F4|q``҉D ڎ=H}C@_ПKp K={ ٻGgS̗Ke?;Tk7+^u O k$y`!qf i@(p8(_H'6]{ߖC*%[]|@`m\ CedA[hG?"mpa@B,gba)90B"w7|k%[^Wʔ9nQgw"VGMȨMɯPNx 'k#ٓ%F*?OFck# c76L !CrKC~ e%vhMH.2I A#oyXU Z8&Ǝ4gPEMo9O/)zq~$HMx!|RcYA^l(+G-f߬$Z{{pqu6q+mSK^n^X S=adD{`ʜ$F[ˋ1]Ro%U cHѳZ3+G1y9\V8ݖDN>IVb]9y | d>]ysX zͼҙF5cs/! ^%v?_ R)aS 2.Ybo'CtĐi=9N\ bL /e|e$;Q;4AslEz[1F2졛bKÄb?q`TcU"Itxw dg3,= +}lkq Q>nZy: 293|@3^r dF2?( pۘ6BXs k9Z`'Bů!6+ȰBIYفx#L|`ak+s˺:d,, G 2 xNH 1C#X-Z$xnYxLg)kqc k1JΑ ӡ;Lzdl[ʇL#RۼslU`|Wk('$uOlnYkvj82HX>x36mQ_5Dm Dhkd^pB•Y)ZYN)D ww5j~t6q;3%ƻ iAqMW3Q6GDH}QQۓl؜-32XT~Ck1X)c;6;E4,/ d@˼Gk%oS,G[0tpx;~v#Dz&g ^]" Iu8ɜ3Әz?J>)C'JvN?dX)iY>.Z2J˝W'\Pqy=pR! h9ʒl0qQ5U@b-,hVr }$2mAy-a$>$d~F_Xt<{^G3a7dq2]5ۮ199EB1/ےyv"p A Ik6k-N!Ʋ>&b$KOq~L_Qٶ,mqt:Ϸw<1MAN(,ts[le(1Du ȤU;G ݇ƽl$N=Bx1nrȶ8~w$Ɲ3}];BWmw/Qgz I0 ie M +VRY V-fo JMN(ժ-KwK tgeѺuֵ"2iKngl﷫lXIJ&[D$L+6"vS"E,~pk/m۶m۶ r3fvUۑ:v3,` PLP p`@ Ałrqpr qp fFS՚L4S B4$0<4< (@l(gddNoW%7uf<1èoj-ɍhU0-$6i`.f.r7ҽG!#֙f;l.JdD#td2Ydho|Z~| g0WiiWGk';{gwfgnd_6_y,L<q \+3QozZ# +^-xnn|b揲.V6n gø-g`կ6[7yy ~~x|9wںDzD\L DΑb 5~CN4FNfns'?v;옵1;"w\h>G%BMwp5lpv&;ǥk}0 it,: -T?g]0A,٨? xbߣD~;LD@7RczMΘyB"=~XQ#) MiLQ>PYRߕqܻto});$8Ҿ%+%_/K7è'F(\.eLVR*h3:/HYeD) |1PP c1p+z3n}V̽|8ƒL3pӔx*[Jۍ#(XJ$Kt~֍ cYXP*е5Tw$nA BU!uG/̰ݙezh?~iׂzmue'-B]^ c"ߴ 2bw :O idasa3U˫&$%S3+o鏎)Pz[ 6'pR$sHW1f$Qٮ&gjWw[lċK G|ҌBih/f|bmRg鐪5YsD39y,aa άb , (% MěVfnہ>V2i#:ǵ 9G5q4"%PQx XdB?::iƆO8c=,^~){!߆[@Wd=N:ej۽fJ'NJ7U輵JWMDޠύܑVn zn_ʧW n1[d+H*TJpt3c_ p_?[]ɐ{;E@a@oo6}a'dž&05&=`ƺ ^1%Ak؟]ߐK2sZ}+L<=tT6yBt| 10j#XY/>k@r2p*9h{8f3i ]b,Н Ll;c`p(@tN^qʬQƼsvmTsd[Ѹv25a2IŐm r)m=F,dwŜݷ7)+ף[~ÚD5#뀾E@jcCl3yORŚ ;Hp4{/[$ݬ&Ec#7pCGl?[ b m[`6( 7tˆmK"V;1=$Ww r[?nv+ڈtAY_ygl:5Vn- \SL-Bپ1fQl(zЛ^!`uAV,b_cӠT5G~;񍘐Mv t'0օnҐ#;e46[ [؍ľe_0)^H5̟}7爎eg(6 F0ž-D۝Ķ. QBlߒA,o wQ73a%ʌ~ Ƥ2?I*-.,֮;Yv띣 Hó8(6.-ܩM+m*=F`afs~htbt{(m:ݦ 3|4RjhyX6rs t9ra@cĘ/٩Ap@F zL>ZUC,;3RŹMBA:hpT U Rmt,eVݰ=oO"{̰.[I~Ծ%5%bՙjٔќp|3{lkL% /PSc@,DBhEp=jXaezW.6 =_/KiY[k@ld2q!w9 ^2!g4i"# Tubreh@騀E$7qRV] bGl n3j%WCr^G"p:(8CsgCϔOEo <)M'>/-1ѻb:?wPWu_p$qyNN*/o)n=;3-Zo_eJ\dwgZ]^4tr-EqRPn}Bȫn[uxWx$Zb\ y..]nl5#ŇO.@~h\}N&陳#[8== Ww!Ma)C=AJ3~Þ^ڇx ݰrгPD8Fg@*o6ܥT%>؎^@ߐ/#/SDh}m*f{1/` μl["9 ^9/LVn2ƺ0c'mnjs=uۺ}[u^fnvcϦc/HzveѹP%M p2OJ t(mīΑI&Rdï_"3nGz{ )q5G!*P?/8 ?X 0h@0&5߶c>꪿DgZ"]P0((2BY8xpZٜi!BT R e6T'i%&  %Jh8X8+fϼ5dϸ%fTDLU_gܖ]U3n+3.U;]m333333335S3UUj3E~3mOfޚ&rW'홶#j?홶#Ujo="oݸWDg"7왖 c,Ulϼ-9""""""UR%UTITITIU/'"":щNDDd۶m۶m333s!#43V۶m۶=$I$ImvlODgܒݤ?δ%󐪟 i 8P$$4(,,( T'g-U?D#6X nlDf!!!m۶m۪kMDDDDVu{dUUUUUUUUUU]]cU̬mnmK$I$I۷m۶n+s=M(` $68 B(  *P1B"&=-|3&mi*Z-be=dέӠ[CP_p i*ޠCu!Z[8dj4_S%8gs ¸XDyƜa>#E"J DG08'[L1ifVYLg];.Zyo3}i7ӳdҿD ?8Ivu$7Ӗ@ǭR#83UjĽ1Rl`5*iQd1HfKFV:/{:F>x6*SOg|H7eK^c5DfsуLi] V#UqyFM/l1.\JK+dth%|gz%1]C mgikWޏa+ }>6p"z:} (@/2ь>@ƘM=#'@czgݕb[ӸթiV&dٸB-*j0:k#3'MRlvi&#dEJ76G dJ_'DL+5zgGٗn5_ )l)i3|}Dճ+K/QEHɣ "#€\_d$:002t==jǚk'rm5j']Џq_v16( #} D_]Ab*&oJeJ޷Yi4i\*U<+V}%<p( NMQQ1H:+$˾4CBkY[)jid_ >\\g*icj8uqtZ]jGeF9Shk"e}#quo!tD'>G \~_bGOU$-4,_Ɋܳy5V&DCoFej˧6&̤Qu>HRUUK ,5 qdV#)W'_ݔ*DL V?Ckxɼ5CfB)A)2ؾGƍ*sb EyMQI1p1MH9FIT3&kz)b;mjR63NDy `޺.fsf L.Lhe.e|6Qy;ҔX%g8}B:t҆21Ρ5آSm ԓ%;ΩG<ƒƳ.F\}3t)vGXӱGJ6ӓa,Kދn [}YC-ĝJ"e?n.2+Un3ZWWֺ غ7Ҡܭ{&uNjM\Axduݔ]wH"kjy]0Qz]?EWX}]1[ap 5ڃ]|.jGRVJ]L݁lŮfOk .mm%#anŖ]Uv[,֊\cvM3/a->uv1 EV亽Ѯ&iTbCnk W Mtv4^ pܮ;ffv3op& ^݄ggܭw;G1j]nKk*鵋WՉ%ͭWcM>.!\?˺U nsJIbM'Jؿvw=7Tªw2Mo)Q,G^ )M] ޺)Qn,54a-.[ݱ@ixSJ'4xƦxs@>xKWSj%4x6S2Eƀ]xPx&/k/CS_b=q):yCT̪}Dx8YXUiQ!ufY~ bOu7F5xʗ[_ȩBgTՉ[yG8 W{V]UbnHȪ&$MHӯ&v_nBcuhBZ3MNHW.pzG!f#iͥ'5,&%}UȰtyB줧3N"(=鸷VB(,=+m8ML!#ׁCJ:8҄3ͅvVOJO`֕r].%t,] Ƙ.4!U.hp.VX<.@\ ;ٖJaޗf0 `u:Tm׉HHL TnlʴDK60fL-4 ^8Mop^(zZ?iRJ4_C ͦ[ӥu7Nr-鸯²Vpvu+ktc}=3#ʬ4[=YXQ~WN Pû{ ZIr~3Ϛ)uUtx 52D.zxBi fC̣ĝz`M@6Ug1ͳW'<["҂`(?Sem].F$^DmvB S?pGyh5)gb0þK(mldIvB[ډkz(iwTTT a3({ka [!VBGCQWU:76^YusfdA攼GxIhlUVo'RAU豵q=6c>ί4K}"pt_|VDƐ>i_9 8RyDCamG0բZ >b8RJE p޿b{"yJO .I=|,*#}%y-w 猕 Vf10][O U9'Z#ʕI Ŷ)j∧{&aYgg:RHw-s\KZ#.p(gByuʼnTZ'#lxPtFp# ;UxJl0 ȁMpeLJpk8&#P?sB4H!kw((EU&{F.$|'5_&,߿n]A`u}$=> K2/P@!' S{ 2/w kÚhDTPHp=%QCP7`^uȒ1ӳvƖ`H< 10њ[TȰ{LNU@|f=ûAC$3 ] dH=vCOϜ9SB*ҹTkW*AN,iV7rNm<9X-vYWslؠrR$y]{g0b|Õ]ЬLt*#oŲ'; &Ɋ)Gw?3(҈@dòhBuPEN6QPKcqd=r4ώnv* Q.DoCrX[z*s)ru+'#ϵ"*7,cC5OF'գ96>M-:LsJp#wXeμC Ѩ`YjC7vXZznKBIltm-AFrDӆ_, LB[LRٜ*҅: [ j]q4ʈs{vr’ZSK"!sõbΓ;pVѕQ ̊$֮ËK"{6r7o sWcINl3 &b7ɣ,K擉|\։I%ܕ޳r%~ڗ[`X(C[m3iF6_fQlx7 Uu*TB%<5ОFco$#loʯ+?:{$$vN'q9.콒2I)SJ@<]f"Ƕ˪ 0EDmtK4`i>pTA bXhȸL$oVU&u8v~K6"NXXDg ʝ (uJm^V^Uce|Q5!q 1A"T0x`ࡴ?g51("T)$d9;A -YWIrnt3@28(D wU]-O;wͪDۓɝ $,X0 qH:[;t$IG2a[HJ%YxfSlSXEtZORnwYfU'ے$%yUDْEU$/3W~[o3VݮA(,*&sA(Q* #-vȌ95.0(XoQg  i2wK n1PiAOR|󰊁X3E'IkN < L֦Ď?~-#IUPmv<,.>,eߢ3,sQ|kMb[Ot&|c5ႏ}mi7Q&U B"GAbdh^3<(Vy l&=mC c!yN 2y}L 1~%?4/ܓhBlc0j=bcDѭ6 Oa _Ipsp.yv1 f8-=MgjҠS' " ^z5#` @ 'P<窶U}&;Mt8ȁI8 &B0EFb1¹ cg/d).09K"1 7dXqrKNa=' KFY/yϺ?F\?T:9٠}50X^}`7HBlF*7x充xQq⨱=A_ =B85jBq[)RB9:=Y}^-P U [*ܓ*3_\*~”nfzA*WoLm/_bĎ|*YpN6=<寢\I Upl4|FC„qa$`rqs'yD3`6b&Xʹqy2:% *>Jo4~2$nĂ24nsE. Wsd8L"cC]s w<4|"ucm]asZ_QF1>0K1`7ÆPy4j@$^H;8h]~}z`*(7,)kmfֽӑmJ H"Z)r:]#WމAoP`Э?ֽɏe#3,b!/`!'po'Φ5F'LR]cr-hLhJƀ84pk:[8|i_4q0\J +|(el)g~}^`rtRsnR$b/~@X ̹Vvhh_ ,M2wæ%*N[:g[ ۶^ '9+^uk+ǥܶl%fA)G*M~>Z!ӃJΙ`&iZw[]LU^#ψ/EA@_4j[Mohf j+n*N3!\H"ms?|JšZ)i/;.reY pE?7تnCi=З(Bq=)/ wen+]JHTF|>V~\rOD;,t e_r=hXkP 2Qʂ:.LU4g5zDgb&0P_s0B`hkzh^x/XK[3Un(' lw~;M HxM Ί{%y5a+ȄZ,!+`,fdtj {s C|/9 FyW9ʢ=qT+Bdzs(VƳ[vk \"FU!Y ]c,(Y5;J;~5rDcd}G Y0Jj_0[Zh+ZI.ЩaOVְI2> 5@a3H%/N]W[ )[/ !/OL3Rv(xvc벢\{ώ#Db=W8B˂KHuz/qqo+Y}9ج$ *16ǥsh)H/5L@'MDZ3"( erZВfTH.@Qo)./FL2F/TK"+ ÿ^֛l_5AUDz+"wGGJQm0D^*(ý(CdlGc50~ x\Gm4۹{P !mvY u U[l_ ?83_ 1 ׀& 6T ԗ*c46@(O\6[sy+8ۑې# \;@;驪e%]<ۻs &ĽI W[׻?aF7J  k)3TZ%~蔈N)Ԇ/k]^"';)H=?3:]s{W?́|pF;zQx_ú1=Y0H܋̠2e{ ʎ ^w}n_ qCO 4M4nGH&l&A~o9 %ҔKb"ipvf\_A6_ c{,0˓(=: Z?GTet|(6흔$\5_Gv=^=ed~ Xs2ۺ|%ANW2fK6ȾŚ::VJo%`҇`DI!) ;!pU^zrk>E^[j[׀Ja¢ԇ A$脂(]ZQ>=Mp *9~IVҌK:5]ѝ8F84 gBKy#9GAD.Y}@` ~( J{[؞~>/Gz&c1e`3Pu^n+$EgGzV^O[mt9?G#- g!Y@Rd|Pw^P(X}ȍ&Dy"׌ȋǖ-۪,X3"{ŠLIJ} G.iI\x*>:x؊lW4F ! Y뙾 (&y |[vcltUW.yy ["*JN*~)>,6+Pk}l'^@ D%P3]Bf@ȨHܴt'lj/p~4a"B8H~Pejz,AO /vj j%k1Okfe}7w õ%r;5#]@Ft%nCx/*y<zg;ܙ I0V%,ײF1qo⯓" \$]*7TZWpBj]7<-^qh9>@JQB1UhdU(cKe!ؗd :y3I ;fSFx)YI}uYAGb巜?8`=[1Mh1s`_Ќ65- _7VCF>;#?2@4t04&G)1l8s'5kD_[|^8 );kU{6^-#R R~[xh2A"V͇$!?դ'M8-+7fu镑uI,:?p^>̪,7 gm6!i'AK܈^QtBŵ̎zOSG9\It7%v V!R\,[cم 3PNv@"o*&c~q2/ dgxrVTǖWO11\ѭav=$H8\,W$g'.L=?>*,`v)?Ac 13"D@[XBQ}Be1Xjs59Muαfu߬G~hBrT)myywyv&+W;LpګbikNzi1o}Ut}kV8Z3h4:-9$ ؖGP ƩK=Y'Sػ]Li :#sh]{&S/{=g3+swwV"A6Wަ[Z?u#83&n޴r^%uh+60jgeáف:Xmك*pS (bøXz6č'aj /<3)qo le4QPe J8[D,v'!)te@ 4#4Vk=Sn}X֓"j5 U`B h]6))lYrv_ӑM\8{,7]^x _ENrw5$TxWpwU`*_%OĿ0<~TVR옣6(֭ORp l0n.1i&Gx1PRV&ͨtUŐ;OQ̧K3 Q' _#o`5o[¢H323Ƕ3 1$l<5惁hp*3uo p^`:HqL;~(z0k\?0v@upS2zJR<=lDau;c< 5\|J:7v=fx"|`\&ӫhҎwvzX YA-̽©_rWLY*+WCL\1e;S StdRXܮ4oMUpUx+%5J|]OC͌+6XtO"mot> 5Ysζ?#h{1 Z2}Ch$Z7B~xAC&GXԠv !t11t6T G$_~LbJ K0l-3׶$~V*WTc1upa 3mlU/XFz?"+>Է)o݁x+H=Y6/g^N><4- RWF#Y/TiU5sۛlK_xOLńAr =F٦jVdu$|h¼OqrF"T8+kLc-R ﺷ Ys<ݣ0?:Gl-#Է nHz}y=2V79D~r|@:is_T&5%%u Mݗ0SOYM~!}7X6 ~ $Fu'Y)nC.n8kzR khatL{[\|^M 4ja>a]mcD :f0"0LhbZ1P7;p!}KފD JY_~{ 5^J3յZfNCe76yEO⌇>a`.$ lT̫mL[- a^?h>aՕĦ>ojOsy$^aslCӖ8ذ{Ö=N\઱)q`LGtP8Z}u_t}aˎ$({oRU頋9iI*ン5=g=!6`_Oײ$8áEP(,)DytPS (dwWb"=2]R CJܬ& Y-É/ t+~\Fl !Hγ GbEC&؜F͙MK/# U^@p 4~1,5.&fV ȯ߹sz y>Ŷr]}:ϛSUAz>M_r #d]n}*Yy> i^?3 *]{}Sءugg|tx>GkʼQgcFͧC]k3OkK"|DX>&Q|[V-y#Kܕ.GsI`Հb{=#gsyaD=z]E {=ݳv[ ^9W=g xܳzpϥl ]q~Z/WxF YCa 9uKG$J[8݉`vXtܜaZ|=S+P i\@ʬ]6dGi6rB]Iҽ޾ o_ UGk"i]ZqD[m(Ӯ9j2B@EVɶb t_ş\M}ɺ͛GW*G zbni v>žßfvk9;-lv?˼1vt; 1삖svDEiuasѲ5=rקc0J` Q) l> Jo ^%@+s|#lmP^7CnD,39ֺ<9@z0C|B*mT,pȏ|;Gls-*ٲ⊋͖?\S;dat{°ۗ|!y^Ӈ+ԀB4S3/_ϛe|9$]rYP51-%.q\-d~~0sVDK\rX;=&'L,7a_(gwL)4 @G"cH6SɃ>| W 5O% 8HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`7e BN-Pg$>spi]-+홙*jrA1].% uuh>L1uW{h^6Ef z(sZ2+B0ja$@Z Ԩ ra @AHСbF.-2`@g^w4Iζl9K@BB; "&Aa;1Aa'0@D(@ցAlF1ӒY&Yq/*&.+Fr/chU2u&+27oZ#dorҋn"QbxmjV9%yDdC a.A[99[7g7_5+{ _u -.-QKX~WLK~f=sD^^Ijw?UUOdFy݉ U 4`5M@s\7"}Rmm=mUmKwtݵNkNLŶF̾[զi]q)T>녱+:[/>bN` "$0x]UUնNSSкײַ_sO?SXa,' Pk )  B`B0$ 0x~ùP,x?"i8<.t/v 8"o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methodz5K) nHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`=b`5z덜{Yv*Aq y |"ȲgFb!7ZPIVb/6d_6BN㬉t($Ee-ݿ6Q:&?e 跲vBX68G4ÀtЍ~sfR92-7A õl9dDJ`,N#tFYH-buI~6m[#sbt|mS' (EB:\Mp%{("/~-TA(" yS ɹ(KS鈬*ʠ/]8Hd;ט!I$䁣GTZ%y8EDY\[&@ ;ngNyZ(q$d=ucy,z0X.%X2ۃcv"عFaϵ8"w[kI7@a]eSzDvH5mX΢@- 5P#G6ٟ^и:ˠĩpL̄Gy,N$gh+"=[ @fsc׾t'zBb@ G"YySu|,a^?6a5KFoeΰJe!jzZM wZ΃g>J踎j9&xㆼ!r{S(' ccoL=O尼s(do ,[rL}EډLXaɳb!IA:*6,)2ADz%LmٚE,U*:|`~#vOT2mx%'0qL4v6pC*dyqLaq VءiJJ5s4a 1:cNH_4'"ޠp -J #oXK $О2{c-AО i+ 菇)#!PqT%Yښ4~tk͡X~P*vגMxxK~ex0VY ԇ}Dug/fccIl(M> dܨqTY=w$)#­\#If벓Ɩ׶dE)ɋΈÀx2pӅgWs^Q{ ?#<)ɏ@'rm͈3`$C re1"ٔ+ϜRӕZ&2!f _ s^,z QM#C))GdUKp4HSܲf.,Ug1Ӏ,ܩdpӌb'ڔ,sDѰ }DKX16D^1 QSI,\ sq^Yc_E$r<$$P5IlК&<\526"s-1.%6de]E=̈́!J#> ;IZ12|}63Spr1S`Kcm΀<ѿ5B -yݗ<$,\Fer Ȣg6K+I7TPv8GR;`ey=0Bawc=3͎1?q3K.GΘ` btz=шg{ 3RDTYpZL'șep.`:KEΉQz{.QN&n+2 sXQEZY0 .RdCִ`o60@oFUQ-NHuFXyW_PԾ`cr <r<Ē\ *k9؋`7Jzk<ք1M3bwyH(7\C:y´aM=VPqAo:,@⵷հ. v1~a#$-_ 5uFOCK?mdLOse5; M%>4-89AvSaml^n3]k9NlIb@+тW YɦЈ}؉2E(/s<6'V00D1u5Œ&Zpl?EFҌ:d̦l|[=7:{5ǚ(^;hb1uҠa Ue;1P[Gz#Ux_sa¿$p)Ob2ʻBgW)y{ohYh0"Yrk2q\I $Q% =#B 8UD7&Uba,(҅86A:᜺|&G"iG r,+WrC\bk q<.+Yv1J`IbM$F82 n[*#U.WkTW*WLCٟX6ge 'zr%P@W4z O\`?\ A>1? gUpeg^q̣ 6Jc0خS^⧫jDQ/d[+mtceGg\/3~0j͠^Xv K9=*AɁN߰ :K_ѸGLí6֫1!Kp}84ZtL^JLae_ W-h2I9}|uX۟SҍBeuL&+p4mw<̉6Q 0{/Ř0髰={ל ?ȩG8 Yu\R,mAr2>+u/־$ RٕzzRޒT6U:8ԃ$h٣,t"(5{h[:DevJi8vrEsAsRBGFi< 'ǭ5B򖪄"rg8Txa1DgW 3s<:oqK@FwPm∿+b~p<%ZLj\:& s Ly eh%ffgSNCS~bkZʷ BcFCV\d_/ |GZm0SŰblxM }jtpX [أꅐݼR _][Y.MӼILny8@W"E HM#g)۔3$ˎX*Y4Xj>z8 lF΂ dmxЛÿz Kt($Za y]7g@ !e&,~JրWǝ5g{F"x7o6]FJ.IRЫZ׏aHYY|Ze[@!4R\ |rkf=.kXqAXb'hBwtLBIR V⒣Zl PαZ)hJ ZK@oc)VgD[ޢi*I-݃kt. ~&_;Q& !>x[E2UZ<ڒ }sŖ`"Q"jcI !F\ ;BLr*EDL<&*^ah+fdŖE= +<%H~yG$ 2FYަ厵)BO2:RSX[r_"ұ/X0%"w}o*"p9wMN'xϰ2\u*ԨxP%l}lT0PʁJitwf p_]JiȽm1vo_,΂)QXʕRS疺2*KyhBٹJ΍U67c';Ӽu+;]'r%QmOm0KaPtW~DJU[X Nj>Rda1M!SRwݐl'"zxHH9)},UɑP:AHEv1dܻ /č{ +Im,q0)>Q)RWٚ40oBw:©c ^7h4y^| >Yt:5sU K' *(+-w7|> ÷KhOy*Î^Tb֡U3xQaU<˿y}n,Rel<+ x4e+CE@ L31h no + ooF9 O]1X$gšă/@vtEpJHGzrS*Wԩ5x!?i||L %P'4|a^(, bpќpia}}l_@_Zm!~vTi G%"U* %VkA/mڛ>Q4;FZblPm(OMAN3VU*;Ve\馭縖vN†Jby+s ːc[(hI<+ +pI/S]<#*HДPOgp+rmX-dy;w y߿A?x;lfxxssseE UV[T (W4`>=0V?pǕ-*uzeK&J.zJ7S C5B;@I:&YTz:.PoDbF'ݡKoܺH myf#H?oS>>cw÷Yur?tfJNdU3+|츇Q$׊ dYW=Kc g`0| dFyJy@ߞ8`w.qVd&Bnw뉅(Vlnh'2٬&dL,ӣ%;^'kQu+e2@9&&քmd{FX$z@/#]Q)X `UN0`Nq~8L-(^H^.LG;-CÂ0;U6`:ys\n5]QǰFEs%) 5 il"u Jhx><;cBeKQcdA$Vj\?/X{]>88M@ɑ-z1ƨ#n(r*õqY*h1%8C`2Masb8M 1ix2 w8]l9!1BgcV0`Pڴ,NUgN XҪ J&Ri- BGp3ɽ%$lgFd8кÞp9" @h26FZ$fLė)']`6.2w8U RYЄ~L &-ieAg|/iO3e"2s5SYzDz!KuK¸A5W@'w7]c7Xmzt}׳! ^^\ 01]R-(0!z-N,H#6IE 2&8 !`bLS% uNB=x3b[|T0<%Xw"#V6&G`D&Mܧ1ouzYνŠ{n`vyw1k ~DD|Q6o? &NY47Lu v7 wL}FqwCa1 M2MR',g.#1=E=b^p951]]SUϝ$Dڰ'<yT[+:X2J-cTL|d':`,cѰhES|͜gjgqLo$Sm-n)O/qE{&[*ƀ˸ r,}X߄r"qpMnK0%Ԇ!Rrgep6Ae?^%n@y48VQ1?ZN~E١ě';RZ4 kB!*2`[d s7ϱGq@+817vIGЕ_ B\*T0bF,/GlPjs{^&?GÑx5J4 969%esư@k%c!4Rx9Ц$jm[b6mz"=[r),i4va? ],i+m˞<ы %w. AӐe 8dho M~&#rp{B?Gquvk{IiU4:=)bT#@hhOLĽʽ ng쿎Q2۫:FrJ7kvb5aT(4톘a b~w7몞>/7mʉ̽,UD(i~ݭێnY۱!;ݳ0Fj?k'b>9Fxyӣ?t7tjxSt̿ !B2!)cMΣp:!a9}m1i,t7Lkii) ӆ7L0AbBXAvB6LM\71p>Vt n{ !BYQ ;+/*hI+]vW1-ɂ3rq7v^'Y'.fffm:aR% 6MQ@?lz_wI6`xM _Siplͥ3~gc /[B} 8 ;q0{Jډ:U.QOmt<`S"XR <ӈoYlYi-Qm zjt,3cy 3-b @(@KJ k2?#L 39h ۴bL0$gxxQRd Nn5$L܍?p$0V-o9-q3N+YWD< ti:8z#=rccsWJ>B;tQhFHy04R"7 ?As-bאqFrc:I#1xڮy^dΙܼ܂u89o(b!+r-sN. 099Тlip5qnK{9 AN6(u$" SIù}ñRE]'r xCE#+lC"=ƑnT2X0(6MR 97&2Oxt$&IuՅ<22\GϥQBXF6T|q|!j6R٫UW&d8Ԓ;;] ,)z`|J~$#N07.Kmi&Sdù& zP$a =#pp7P?BͭA/מ %Ƚ@ W7r?yʙh[Vj`p j-#͊*}Dt̫ӡ&84g{ȓrz84ppfbtfd!̸C~.c=y߬GN EQ${hx(_e*`(W40"9rs8*GeAw{+k4־Teىo6Up݁kZ9x=j;n,siUU-<2. 'zK;2%bު;Cv'X3sψ>5$hX*V~U~ N0 |`H2"4B誉=]6m㈨3=A)f_E&XkVT×0C0 X#) 4DX`/Ʋ *9BnK ,~R(C2 /v?Tspc{.2L9kjg"ob}}i)RLlpۢv$%(6r`G/ģ 7{: ʤI0cyqy=*6ۋ̩r~ URЌEI^l/XM* 5T| I kn$GrSTsPTjOEu~̵eGV>O' z.=&tFX,\#.KȎ 'H>폂9|A - +D1]VxK>)WS'; TA 3))Y [)lcPcv~25<?G"-ѯٜhڅfS|1ήI);iFFsc=dZIH,C-Fo>OPFd\y2ŷЙuɁ*abuxBŝhS^e6h[Z'nQ&g*#ZW3x4 /O/2𾿱]WFN_EXȾu/7Fć"KgxФ j۱I[p 88kQ>U5o>7)KrDj]t~seڀrvM$vo)ܤ5i3 WPG71nv1.dT0(g<˥Ȏ.֕@?I^S3PԾnރ4˟AK}g;vuGpY1^K hΥ[O}ߠ "|T~sB*">7"K Ě;v͘m{;2a|yˮˆKI$q W1S5'5UnsFEhџaOU{q7^"GSws@dļA+b2.RB6kиwM0/+a99@R Γ ]jmst0*lUhLrW aOF⎻qGF<*rȒڰ$v۱Yu6^ eԜB;]'S?;H8JAgO9Y@c"~-a% gB ҵgRA"s"."6?Q Q@G6/vˢ .@$z$u~lf,o,9wf}'nC6PznvT>GjZ7AbqUI`ƤXCڒڹ*[Yo }]f08$ʛi O{>Ț 8;h 󌟘O+9^gהycH9th?A@9(MvjoևṢؗ\DO3m޲O\ǃ)QR8nEieKR!XAi+}ϊ)_o8fyj)4x"pjy HWtxn$1LiPJbLrօnX A zW25K'|DB73Քs:BZI]iıﲛ qEmw雟q٭Jcm-x8L(:,Az0YkԊǕ6zh>VRz:g$|h|Ԅ\/R\98(_ fJPT >84nU"~P"g>Jj[B>(mLK<B"Hҏ~ ”-J++߭rSN4 "Oo2(T*Y  њ^ϋe>&@7feǬ+V: l 5O' PHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`jH"0m@-UvFXh'GNtSfDDM(LPʟ(-SH;/DnVbVGBH v]ZM6QLL4\ʗ`ğtZFEE&2O:f҈1a~̄I'o\h#G"y+U Ѐg2q;aQPc Ǿ.HeQ*EGXeB4> _OՉa6N?F.I<̯JM()V.ͭO8OVx-_`]c jNݥP#kYkg*W- qͥ| 5c^BYib,hPk"K&RN1jjgFs/6b=iH2j1 e@` ( A !B!Hc!$#C>. 4"3qx%Y ~Y2?Y;!M[v /yU,{MYTcieA=Tsom =meQ}G_zV) ԓpLxK(0D9ZA?(8SV-G>@-lK 84o?UHxJP]49tBVOfE5CӎOJ^XwPXy ڛnKA[CЎRCDWeUϓ+Js=DVa\F=覸@pBh0L+c CRw*HPۊ٨[|}a^B 7. \, (v+\rRp*VէUƄC)/sY'u*^z_ŌDK^oFmu @9S.B~}/M*1=m68T7G@VW~,-C/C(0ERo P!m+ gmcWɕ[/ w H z݆z-ChstY( KՐUVSNVn"/9"MI;&2t^ЬsGHP-Gy#'J[QPY(F2XvIxQ*݄HTsXJfA=揘0"iZ9q+y'bڤ=Oץ@TûG@L{B$YzvF$vݺ bnʻ T((SݽNv՝ct4LI}v="ZzK -IUy ?CooLGhe6M|!AɌq9/E΀ci^ˇsx2ѬGN? ?A;=pFs:uV%cƄDfD"!&lYGv.) t ;uy~9^JڟI71Koጔg\?0w3%Y){OͳPYY ? iVOW&pQyգ$ɖGܖmuW,ӆ6 g 5O' FHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axioms(/`օTy"0o`>% iF{>l4b{iii 4r/4r[,nKd*3=H,HU+ /ve4Գچ{؈@\ %@%NF a@"iH6뒷9%@‡@.Sрu3- VD \s48҈x`KAo!Z'N).wGaV'ⵍM8K<,-SW+&W{9FV8,>Er&]#j[e^aڬB)_Uyf9'HIWο)ԍKl6|%6 + Z}ԹЦV-j-WB%]=;{II1μTR^%$Jؿ:BH~Xez?rV=@`9ޣ}Gè!\wkKr4hiHfc t2mNB; X|北˂{B~mDJ~^:cB>˾{:utr%u{t)4N2FR჎3Útm3QRa+i~I0RfiSMH$I5 `` 80 B!Qc d0ѷ6j$8=Z! {&Ub(t 2ik?5&S _DQ_5OUAM/R!Ԙ.֞ uk}I#fqUCEw{(0S7!'1/C]1nF.(k8Ij >R[SjgQq}w!}Kxnʖ3k >mr@J5+_"h} *7au<ۭchЋǤeKj),*],{[V2aÎE3"lAx!rM=1X;,:f 2\ k%1{Y= XJ@Ыr[X5֢WMd_`PBw@H % Ts7{fQn6)/Ȩd˒UĒ'D?(􊲎 USKSP,:,n +b$ϧ8`2r%"ˢ4 r/%b.BetX DSIlj|z2{swcKϓxˑ4x3y@4z^r{`rGX-BW_c:ffғ`) G [-'eAa2Yx8'I{%~ޅe|TAWe@?85-s%3m.)&͚{'Ogߡ.7^oPL[3hW_J~ޠ-<3W㭺\#EaS-s\G&))M!M$ɼyX-)$vR}lȧ1$vb\u Ufy-h't@Jlv V~HBc zPK Ə)wO4 !Z02)썇-cɣڲ4F|IE 6Ȋ a1j-X cAIN"$,`ݜB촛'hUi3j2r[N%՛9E(q~P0{QG:PexPR^c^9$6Cac2ʠl=!|R"Ǯ%0F~dWdD ?bRxChÝ*TLNՂ3@rQBNɕ0tG~`xk xV̹er{ 1bd%h1rTgLr|Ma󶮺S3=sy;_'NJc:BZZ=Cq&R CIx?4S=+d>~02EFh N$ . ͓T뎄$1Q>hϞwQrl0Fk~GWÅtZ]Fp vO;\zciQE{ P0J9#g$Az58@ %~Vu50`0n{{YdJH:[sn`u=e6VO 20+`B,wօU -9q׮RW-2y"İy%2ub*LW0,`8VLƞ\ :2/r .#ܷDBKX +Ίd;j`יT B/76%,m$ /zQd24-^BsqЩGjhfǂ}ul*Ӽ(WQ@C$ (\qR6 ֦1-';8o1-f\Vu)CKAT6MhpU,~hWr4Fu6H|ṿ`՘lV^Pv!Ci\vW$NU6`qp.Fs<ϫEt~v %stXRMDJ+-RwU(\OxiLF}KDZgBؑ}-NqTJ`Ø4H)crEN#G!J}yX$iTɳfN,O.Ʒ+o 9 6 #C PMnT9Bv>?h89VN3lVEUPݠ(L"MqDE ` $}ˮ!*@@Ie13G%d!K+\ izYϢ^PuhW(Q]Z5}QקM W]#J weٓ[ň(GOzHKe^`^]uQnZ=0&G!- X0eL7s:Z#(Wz _INI>)< nXwĨ *E(*! l"-0z_JTt᪕F,uhܘ(職iI3.mg tGO e?r.m.A I aN밑c"j0L1ݫy0>xpq}-&Y2pSm7%s^ /R(F5 m\|,.=xy5X"M?dglK8?lfA2$E[MA@ AuMϝ8-i]@&YN]L|' =ܡtGxx 8xNF\״*qΔOT6|-$Z*\ I.#V^ֹŌ UF"D`}G#b}JMΣ`5D@;r@ %BQUX]FCEzճn]#W3((}48I Nr=/9-ܱӉ1$a*js* X`a`(AWcdFD;WbQw _=k$K׀90)?sҼ'')sas*P!Q{0V%c$Ml+y)a~0X/1=N!D4Cm!yk[r]^~4e{e^&wic8t2x)^)q0<0"iU gHE ^mM\jQ})v|SB?3D5;SDpb9V$dS(6;/`Ub!"]<;GL W^Հ݆8YCL@ cU_ڄc+ 2r4XuA_&p0LY0E<.ne[IJ LKt^< t٥IF]<% )-UT~}ZxJ!9 JdLhzͿzd) K'! o]@'KQpf}8KM]jr'*o g75Ken _Pv<[h:O 12oƃ?R? 7. M#K_X諙{3[!'e\U*^"Qz"H6&h9ѿx{>I?/öh#l1 z+ [][!٩>>91,@il+TMs'w:[lvS"Eg'AhȂzf~0J3Q X(,jcҫ8,6rމlT#O)=/ A?O%</{h+3SVfo<0%Rg ]Wo%DZBs$[(ETI`>/^IBLF;V+fiOJc n^'TG#aFT!*zv]s:#a٘ee'm QUak}|1FFv6p'Rً `J`d,`R~`m?lfH2Wb)g'15K0䳹'~9cdNMXzB)z Zþ8OoӪ|:lVeP1ݽ&tE/!KIk&)䃚˦-:"-f6@h8.wF~q94B_?67Ew"ChAe2h0X?P@VZH{*סs+@"0fHrjΑ+LSK˩w! jUUA*Ͱz`$h!1f6^w ɇynW{/lK@SL:58=@lL`TC-pϵ2 G`na $)%Bb$H{zQ^'=DtDbs $C@ hepJ<ޏÿa·x