SQLite format 3@ .v   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_exportsv rz~ytoje`[VQLGB=83.)$ ztnhb\VPJD>82,&  ~ x r 5K) (HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinedocument/latex(/]xJ$.jsh^&}sfʔvEffff fcI7 َپvon @miv_G %j N)l X0п2apI4A`hh`ҚD(PXRJڷ$" H֘T<H"J{- 扐ga -g1 =Axd~VkLtXjȱ$#AVL$Ƥ,g5bA]e+@d540kާYP4II M,V4a&&PHOYڊ$hA"(=L,FIIĴYQ@VhaFuMG"1h9, GQ+JbTt+<&Bm\n )Q1Ί{< *uoUY(ghD<cq"I^DcJ>Xq)5!mNʺ PN ͣ0Ѡhؤ"O$9h*",81NDRcJaQ$1 aBD_М*"B(,'bš&ʼn< V`!D,0ўqzu]3YuEMRd;e|OdDoע|ZqAŽ2~mTLT]ncs\THR{?FQIˇ}˾Xs1q/N~hXЋQct b6@<D߫ Ŭ pZ@p(>H84kgm&b'%E ~ d).>?4@n.8l=vZ}ڙDMσHr(DMn%P|̍ɀX  GZCr;bxh\ CK!i'P f o?R2SIc/ޜ4+֤1(z]LWdULLWULޞىخDR-kF|fƁƁaC 1蝙P"3+˝1D1ș`P"3C8@8(ԙ ( %bP:p(_t"1:bG z_^9g._H9ӯrW_ &iMU'?\l]eݼ}|ռf αA&1 ;Fl DRO49ޱ902؝'泺s⾽|x(~cmÀm8Mٗ|ޔ1n ܊Ȋx_8DɚɎzQUZۻѹs.r.`ݎկj[cŕuw._]&\R9P B$BO( AO2ijmgg|ƁgnOzQ+IRRP4Sh`yFq!i,P  A 1@ 10 ol o w ÊW_F;]:EHsJR0bAEnG ~Zu'*4Z"U=>俨>w:h=n?I}Ifi+p`e)BfpЛ"jG1{qߝ @uݓN@9 ?' U5K% (HOL-Nominal-ExamplesHOL-Nomino#i [L;΂ ʂɂȂǂŁ|{xvsoel&k%hgdc`_فXSPOHEDC<;:8632t1p/m*g)f'e$d!_\HGFC@21 0 + &   }|{wtsrqkidc\[ZYVSRQMJIHGDk@j?g>b8a7`6]5X2N.G,*'%!  ?821-, % $ HH+Xs T 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/thmsH5O'HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/axiomsI5O)HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashidocument/latex 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_Machind?5A#HOL-Nominal-ExamplesHOL-Nominal-Examples.Crarytheory/thmsBv C5E%HF5O!HOL-Nominal-ExamplesHOL-Nominal-Examples.VC_ConditionPIDE/filesqD5=/HOL-Nominal-ExamplesHOL-Nominal-Examples.SOStheory/other/factE5I'HOL-Nominal-ExamplesHOL-Nominal-Examples.Lambda_mutheory/constss??5?#HOL-Nominal-ExamplesHOL-Nominal-Examples.FsubPIDE/marcF5C/HOL-Nominal-ExamplesHOL-Nominal-Examples.Class2theory/other/fact!   R5|8N - UHOL-Nominal-Examples:threads=6elapsed=348.016cpu=1713.328gc=92.016(/ ܀!) KB;75@Uկ_(xp %7)3@@; !2uN='c3!phS.r4éQ)Py7VS]B % YYdjynJJmƩIo4E">9Vj1hhxp/ m^Ѯ=l[;q=hm?Z "S:B֍ixP@(px4Tcu*  aKR# a PCs"%9ּ\d2<("" by)(dɫǬ~ =&mzG CZÚ<tmLX<$X8p `X0(P,@!Р@=$U=!b%ebрA@dž,mv\ F)Ѫ3& 2J:X@H,PP ŃæT P&]G{$ED4RSB(  uYa +{br ,",`X* PA͵Bq!I+I9[AB@$F "Xpyn3f檎THP,@XhH @(ɃCed "` ) EsH   "ƢDA  , @!Xh8@@  " O BA  (  8&E ;,4muL:$VJis"G>y21c357Ҝ{$t<9LtIGM 1'IҙFC5THHGd%<$BWcGQ+[2+/2RbTHM& MǕ [u7w3[!}6Fj-jo}p,-nPflCqTd]%;ڊ2x/ԆؐXf8x1r{xv$oJsjCem:F>6n]9Ej rѴfݦhƵBV+T U^yg%mv˘buVsVaelXUF",&IMJ u_W[Y%)UE:P˧ 2u㛺'7{nϹz6L/ogYӗnTMgY֑jcHj'~ة˓:N{H& !ITiܣj<\r!ՄFNRo !q)STo[OK5n,蚘.-qPܫ6=[ki^[REc=ZK*-zrlG3vH~Jlۺ2˰˩'NYINR!Zn YB!Rݐ[2 C,^c2h"H;:-/զUFjmrH9kx9EEeD]YDRQq^EhN/*]&[Lg'--i{.O9~ot=|VĮ|\WZ%onl]"c+J6Z̬-,WMuBYJD%%ڶȭ|AX"R%Hcx쐙']%]{J싕~_2C\m=Sb_YTw~Ym)TmM s<<_;2{WevֈSAg5lɗG;Կ3X{Îxv-S5u3:UIי{KF$+Yڊժz>:WGgT~U|fWi֧4J},=SNw=N\GvfOuӣl2̜MERQ۞\rf|66䫑>F!W^bc%u߳r)ͩ܆)&5=t3t0-כ@pqh0 $l@L0, H8xT  $D7f̜EU (5I@uUgѢl-CI S'D5浟\D]9>[‘*y+I_q M80 }Q#=!/1d2NbIu^Al@07ˢ+8j*&ohN)@:is~'x;7I}$~g@ܙG8Nd>\LؓZobĘ'jWg%~ھ. SmS iݬ=ꏃ}d͇3(|3x.qM%MhL(g,0Ri/U$P~ GR wKf,a:#X vRBXƵ]yL4d/W U{{;`ڳn($A |wQ $iL#EG* z>z&_Kg`UBAn8,}!~h.Wi+hv D`B X듙c|8FE dT1TKa`S6ubГ=҆|J$ qc ;P.5IvX_o3+hhEPS)hi꩝LD^}rޡyY m#lCm~AHURynXio b-Yڟb֪(쮪 <.AdG^ nҡXKf*䲭D*Ay uK/'I~IBf _H=.1"~'SfsϩT1BtU#2|hyj[vWC°qń2Ͱ jE&z5zA'S3HE"rLܩ~%eJOLPjis!$QoKlUNsiYTDXu՘d^sݰ()C>o^&|)}l mBO.J\"?(԰/gݜO-kakfcV@#RN؃afd QzX!AJ 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.thyLwCPJlQ#p@Zr[GFt(Mu|M+$+2D_AKiI-J_\8,”-AQT:!B$X@^p-wX$K7ud7ù&.'05F|׉fp;Fٜ*aTvS X)ڎĭ2o]@.9c_y걚N!l{^ ȄuIZEucD; mfV $gX\U{+x"֒7 "{1EF LĆNCn+D(E;2sϐ!8Ø6WGA 51JrN ,坟CJ܊9s5e}`]#vҴ/!y0$0&7/>itb/w'xRH:YW)5w1 6Cibnug{NhdeuKWdIEu 8$Ua悎WW>2%K7bYt ]9, w4g+{:oKa=Pwf: İL6+ yB{̲8k/CT7~@L2j7"/+&Aj=2-yCl$t[;C_^(-V( mn-NJ͹zye?=`mt SxNbrD]|^=B"ݙ2ҕ۟G/1cҝD3̍:t!:.#߁Ef/N뮤@f;Y&2isPu8SAȂIRgY@l cݹJ W`<׶V;ttܠ?0jB/;HXz`#ο \U_ J37b`!?B0ݷ6Py!;Xewq,%˦asZo:cC byEx7}cף&pmU.Rƈ햶USu;`+Gئ80s2Ɯi-{B4_{/?RGAX= }2D{yME Ol>l ߓ,/weypUQڐnK╺6;R8-p|ff~?no&8$G{~N4CC'̵@Mg +'Y-9qbS,A[cPy U=?mx|: !:a^8mp([ sÄ9 oP9jrV ;qJ?X_"I}z/C=Į$0--qal|!};[ {fA{9v !QS)XaQ.ɰPCZyvBY{.YwF:z2⾭mbӥ1"6C@h8;T򷪈xO[Fgrgh8ܝ#'FCS6`e [);+ –t6#z6ezf^Ar@l_O1s90E)+4R7rUdqƍ{덇& Gy*D.EOV~AS9W,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|Nʂ\%0oS jRz%HSȱQ.SJ)I)kxhfߌ۷^'0DHlZoo6͂hfƁ={ٌy*@x wCBC[{ QaΑ%9   0 Hȑ@pWrܶm۶@l۶m[-jZUU=EUUWUTEU3uJ37HHhB d.9o Ln/طo>55yMkh<5X,_Y22*ʤIeL*dc8Ʊlƶ0c۶m6mlc[-2-1󻝎vvrDsn 8(!$?7ӷo7} 8x4ӤMcmdlK"ٲ$˲eYȑ=@#j`bq5e]64n4F"8kⰦEְXbMd/ovf"y?p>wbs8vjgءEi~TX@`B E($id,$nIȌܥK98XDA$;ȲD ݒ;l#ec͹0avܒogXXh|^H`}Du۶m۶mۖ}xAAѲm[l&CeU!A$*rG0DH84D0nKlݒc+!-ۨ A,I:Wu]ZZZ֪֪֫mUW"RQ:V.vUvHFC.$PKΈHִS*M;ie*2vӷҊT:J۶vePt-T,&V# m'Kq|D3O4(۶m{Aa۶"uhPԮ]iM{ݺ =N4(ZmU*<`2&$ Ms81=n-}^4#U/l\m*W\r.K$L4M#L$ɴ4ofǛS.S"Oe0&1bXL3qGd<ѠˈGls,ŃU4Ѡviv2AP0H8#=u ahpYBaP â@8 HT<P HBor-/CE*HxkVGrD!*g9Q$, xĉbgՓċI[,3djUuЯM[à }2)$zF3*i);ⰛWn0PmQJttS4 p} N" @ ^g(5~sWqwe4kZo"WsOpG\zC<+Qt J_)or<=(O(,b$v" cm4Pҍ%?t清}`XoZWA gd#KXD+ BAYڎJT fڠkH]yZ!ƽr;K.7T}]`m}<˅g$9I~ yaԪ0V89 xܦC*i֘?q[Pa^9BcY2X&6(; L,\{cA!{U1 3'}˛aSt@8-ҷ"A\[tSr caW= =Y-NYX^aӢvyCI0x>*F|7z$sri0xds4VF׭ۺ{Gs3F +:{5+?~ZϴY PIVn(!)>#7I<4 _gPQPq7]!KAR̻\sWJؤ|F4,c+"wW*f{p8tF.# ODTU89k?5a2"w77''ʿJvO\~3օ"~ kR"OxY#_W_1]^9H n+P-$8yQY@** ,&i2T̔dY# caoH| 1dg|@2D2#@ `% `Y_}T0`GRNfz[C1۱Py@/h6eEdR$ּ7v[m^h''RCCquoo$N}mƱ)7jWjrDRͺ&zڍj{RWM&[Z`nYw$-[ت=3Q+xRštև@"˳SN*my )g7 3McƼ,oS& W rڪ5`3U4 9\qҎlt|&j:d0M0MYR&)SfR=K d) k9(nފR>u^O1tOifGSV|) ٩\kmKYVy?复]MsR%lr\[8!j] xEE;k M4;MfT-r 5_JO1):i\ +pQLlX!p~o9*,v7u>Ls>ޙE l[ZԱAG^_kc'-KQ{XM=8 [11?8C#˝죀k<۠n ©щTuؕw zsFWa{d2.(γj&~* %,r94mC5HCxLs$OL,@B-K9c 9u#pѱ۬H ]Xz4G)M7Ez-E/ʚx! |] ~>,J=Uh1mB]+$l|8dG ^K+䄠.D= BQNsDS6uIB@f'50'߷lƼ@6]­O, 0RAE, *ιc7V8cߧJ:X0GM(#!A #A[N3À[9% ΌS.8YݡvnR*溻ܳ:;А$᠅0݈=f@23d`R%FLfS b%t]hmỷp1vf_Iw@+9 I*ԙM]hX۱)EfLjԪ$6$(#o =Wb2{!2"k7}N %Ҹf. J>K(*>TQ\˟S%Aj!s}-ԽC-oV:ojᄋ*9b*ׄk Rx|;ayW{‹/O?(ql{ܥԚdSFa+<ׁ4#4'vS"ڣ/]i^SH1r+mttb&/TY&Pߙ~ئOg-er8\ +2K i9%km,(~9JzqYDt@2΄(Y+ju5\W=)|ۧ)WD`Buuza7ޤUA<o(c@OLxP)gw!/:|1KҨ|m* Zz)]4ZpV =<ɀZx?>%<4? XhOSZrswV "&g`+|J<$D<_-G\c-$$)3pDTCd(T']Gw6)Yr rpLAU"rnN޺-xiGnDdŬ&cl*34QκlH52?v&W_ ɸ$ƝSqW8k^W{T"oⰥ0Pak L[6㒋ጠ7/u,riKNRN"{u+)GCEGauH X #Uy\f LxW~%|y{23iZ=kB(t9uTdGu,㲔P`~į{lA '*aȬ!qON't*'+'[!=Tbd_'jV "i,lN\E*F)xjK~V=no.FB6A+)ٗ(ׇ u)AGvAK} nP|EpU&Jg6#)(o l$>av/(Ǵf=>P7!Qc"jz{4MøQ}='vRl+nw^{lO;/yP"@A엓8j[sh|zb+e410´k$l3PydDhWveKe TJ :9vp~`vy~k?tO^sCXΏX8<>V6F߼ Ttw]AM0‹nJa8C|jȟ~>9~8@;NcSQ >rIJdҤ,JGC|ӍzB0σ{ y}nA|hSU@Q !2o,mXlo,/u!xH$"3 ?5Ƹ'k`~a@A"L([NXP!Q@׏f/IKlf*zaZ pcUA~SI\+ݾ#XUnx`=ͼ!"|$Ǜ:6x+:ƬP 7`w([|  i2W\+Xs178A1dp (!"'LS5~'U 1;;IN\7+ayòDe٬x t01pkm<ɥ4#@|MNqޠב${aE?R4؟)#ˋ*gvĊ.g0!R1H(v\{])?9WEtۥ/1mOSzl,UdG"xE,DhH.nY,5 qψWk"'O",U՚U`^_T获 p',kkw%+(,Nս Kr+,] GREX҅fH}ϩjx) R~A}TĘ1d(V$I̖]*@c@zWY9'NH!WK@W*`>K7Æ?Ɵ@y8Mʻw~]&^{r7Ls*Hp-%d#ik:z72vny߆PEy'N5(\P]6We NX< C p~hk%l _ڡ«j'0pϦe$樀1t,܄3p޷ol0е'#lab0(%Š4_N ./7O*O1U/#6%@y& x . YR޼ Tv 4t9e,DYQMأ.o3rre"bc4"K\?*+חܦǷl:@feC2)Xs3ˌ$ymH=@'=M>qhju=%RD=/)k&'JOZL2Mx$2tUf1$hq4o!oVI1?+5ϧ~+1H{H +0Ol;XV.D6 =@|u]Q(m9s#fJXC]@CvYJQů"䓁$Z2yHͣP08EM<8,a#r 5 Npiwʡ;J>԰Gpȅݖx—f Z,TX[*C=e1)AHʦ8{_jU(咊t ?I`AG42+T5V0\©BMYi"Y7tV</y'ba'$ Xr6L_9 #„&g_:jNo5SJHa`dSxzeLH\tI*02(A.=?侼EƁ5[Ɖ ;9ɛZ`Buֵ@dѿN-7Gh#~*Xpo"'X`to$DL:*?BAx(mtQ@vGH4,PKV]<3jQI o x$-#_sqgLjf6Y}U^ 6SBkk"S,@EiMyӰ43Dgf]=>(YTGe!i>u1;Ξ)K.W0,f䒦* PCKgz{#KJeBJS V]f vf~>m^Ls)ch&6p: xGTt_`8;H3bqQ`v({O %):[QL݀E=Pl~ ~l|حK f;nhϮ(=sqZmQ~K_&Ps`1Ӣ=]I]BbѴ 4/S$De?C<ꌶl&F[76dr*D Ɍ> dvZLwFAȗܜ81lU_@`rWXPEUj|8Cc6tzd1 SݢD@˱t]α [D]ٴ N(}@U Ȼ"~KFX边L2 _+=!=Ow, rΎ5H"Oq&#j5)X9g- H."0O3c^4" =i_liƊ-v"BS 2-LnD7|w]G(SP^wu$eى bQ@BP;iTJK o՛" 3O18Lvd-쳚n(RWmV&m2=eDb8?鉦DșoQt@Z(+iw#]irNP2ձ)Ƶڧ>bN=SY,)ەiؒ*Ƞp*vMRlOMv h32Qps$N+|5"YbB=D|<_&RUTrr"Pr2A#;{+ϒbHjm⢙P s=ٞP5RDDǁ=PMG|d&^,e C/q~p~@+{@>Ad=ힱ/ABɔp*AtQxȃ$eW7#i[uA.Ln9mlp;@ gq)/(;pʮ>!(Y}J&y!<$RU֊%HfTg_ pY%e5)Ɓr4⎼qdxxp-aGV@'g 5Ad&o0OwYjc1 ]QJ*,@ElV' XX;dy2BE&nZXSjưZ{d) KN O.*o=F  ( v{ Q4q`>pzk3-ؓ36ӭnS37v@ yfLEDHϽ ix{`#[vÐ"k#_S55I'x0u<C'6O8Y+K<># \9)gҡjNI(@ȘG}i:S ~`M Ҏ |@M=diod1f[\Y~躵W jpq̑xr j` ~tGEh{_ϰ/X޲EG4aIЌ0&U[HfDwAjS1hM&ȷN6?A.}zOP\GjRr#mhF3l$"Ao+1!hL8Yiю2^NDUCy.oD ({))n(Yl DRWV}qF Wy|ߝd !Cz穴7g7C> :oa8ڄ u1(ѧ7I /Y ;{$+`@lDߕ_"8| pt> o0t[py<6?UJ%VL66Am=KY!gƲgS84~;oCF<_^;i=OOUӹVĀ&*ȟ)FmGcO;PmNp/HH6%2 Z' :~,o}f8kM #l@jW$/R {%0xvUkTcO灻:g/+ҁJ0[ʩ3x&DF/|e{F|+gD8DP.8;Q2Wp4]O g#.uF8æ)8Ü- i{۪X(М}|\oW`7^7T?GZw!V*A;O!=5 pRM/=/1VUg3$8p4Ji;a{!@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۶<5~1!48oog]YW o>?-@72+٭Ye}s9 08287p@4nMffTҴW2 34欷WnLPcqΌ9Y?[̆B Ba D  a0x0 `DC4XXpOƣ3@0H@ F"= tH`AJ!P EP"N+R.y6ms{5g^(.hE-$CIfK[N'GtE3b:^=BhJPUyuPID&ۏz^H6,UދN[kAb`3Hk0'L켭IrŞx fB?4c ٓ7ĒJ2-M!yc/H1.$-}0سvXnD7S^(ZVPDqVii2$"L3\/$ZȐo!#[,CE(A E mW3~ōs>fg6]W tGTOh\l<:.y@GPMTY*h^ @őh#JKà/*^_Z֝/ C,E4dLDIjmWq C UEl,0'%T! f"CK r"ڮ Z*8=u"F$79Y$D9=h]zQ="ir GɻNFҐ ~] dgbDGJ%&'ڰ2-V`D<ǜn'1'z<&NbG Jܦ0nK덨fԭG/=S44!Q2"6xig߳@Ŀ7,''Xɣ*@E UvV2ֿ{ h I472]4/rSH &F1L+sy`(Qj WmTB1n {l3ܷLAǬB G1V w"_` 3E1ܹHJ2D?҂GGzHmnH%GEqIشkn(NSE3Ct{V236 $-yǎqS2 !̗dKxGTBlipV 7 |%) )KJyŬڦJ|WTG(/KaP82){??)pӅX gng,cwGӾ"E/Yr)9Zyծ2~ȑo+k 8感 Ve pQ>mWA`/wE#B)䱎=Iyq1QEa4ׯ1 [*7VNa7u=@vxvxnt`@#vQȼޘ"<4Ug? R-).VB0a`5: hbEJ ǃ0= Vk}-iFގ;"[ɂNGL'xV2v#'.#?ȤKFHنV ;xpŃ#hIT3ZY>`= ?9m(prf렍E`RNj#\y;RFp)J}^:ՖitzȘ<@X;CۆnILߍ:vGӋ~#R!8z~{훈i!BbUO;0Kn,{!*#uxp\\ρn{~q/q INue/w4jsCB\\sR(oƋd2٭[\K;~`Hú+~F;TEWCŠ#o,!N 2W"k 8B3 =7N= 2ىopȜrހhq8Gy ! (e^ȕ&ȢUT/V6$Iz GRe3An%"HZyڍ'JJɮ @lQC#]HX X6o:!gyK_v)rթQZ%heayދ$0)p)\0.̎Rج5+9 pZ-Z&nk3 _K: muSӏH,-TṗJ,1yb5e2XrohȫK<@#*ݡn^pX׊Ԗd2vF$FRgi7780a:U|(#hO|hzR+c%hZ?!UQ| a hZ7PM9)nav:[pEjDJ刳D3MMy~U#Ld=d=,.-(98<9=u9 >z2UqKqZ 'ǎPۮ}^Uֳo6V ~d&ǕPQs&.QK"vj|snŅlOWJDFMFVZz'T}wuuGK\a[N4z~@B#B1lOJ-;Ƅ&6ՇJ=CbSub8ɿ}h Å. [Az؎z$9;nJh5T fGS10z pm1Qrd|8Ax$QdXѴPgYI'y 0)"^qmdlƕ 8ebȹS ffP cڔ+r݀s 1߅VLmY48`2}6Jo7`2:5 P*&44姴ĩ:|!L߉.rly"ps]fpܴEkYVm,wJ9odA0Qφ@ih\.8UlQ6e@~ͳ 3҇.QH|mNv^ձ\Y[@:+؂ӧ#ҐC(gAQʦ1.I 3=ڿ,lD/t7Qi-^&e/k'@ҳmĦIv]J4flj0j|t6w\h5 c)ĵ>,5sN gU/6FQp<[D7=jzMm&;tw5Z@DAkn aNVL&ls e  M"q⎓>.t[lܙ"6KV?wdxŷLdن9(DV v廙O3.ٴ߻0|\hEDzIY0ˀeI~D$[cIHQ69 c76@QsHϰ2NOPܺJ> Q1q8Ie@A1B+J8GpYZu 7ㅒ@ Y`b<*;ȋBn1b z ߹B]9RּhX?ɷbh; rjNc;zܨ 7@¡\$YXo?eF'Uz9h~E ;I& WV'phvCuNPI?( OH"“ΛHܓM1zBx @u\t͎v)6.S0R Y⬻6.T3 |@; F%؜pv1`82'%BI7M1nNdyFbTx$ԙ8nU3f $Hyz/\k QD@|vU! >"5߂@!R{|)nҺ?t3tn,qZiD3`ϭ7V¯߲M4X<MBM"#H9x퉙Tx|I8Py\H>~g37܆/]A3 _9`0^p^} C;. ֠4~ZAF~gw|q) QFN/sl)S!81 ~Io/T ,<_mb{Cڙ@Kk~T+O1=ST8Zk;b }L@)7䴔,1KaF، Q2 Tw}u.U%@W_CO'U0>} oTHUju@W7jQ4OMكTo6SBaPo2 dG\*|S{fAsru!># ع,8",8LR-߃w}1`{(Fl1¼L3_1 A%}*E"0([cWC\80Ԏ .훵n_na{ Hr@ {o>@I|>tF30}ؼF8J:؊-T;ِBKi r#@1] c/#}^9pI']%OkhKx0XMǃip.y?~* !xsKdR>tqԟHq(%H?_zOɭ|L*"4O[H9;jXCD(l:2E@Ov8 s6gg#o[g* ?NwI`⯈4WA@*#DC6'$iҀycqZ|1`Tm8k2E䥅2st<m+(: _ a;."daZ1&C=b@Co(L3k[ҿgo6dE_aId>фyLE_ r>k7UC'-Ywƺ\q:g><`pyg@1bV 0UNZ`I c쒆Q` c{Uc1P=nハעzBؤp%_!P;bnr8Ϙd}&{ȵLijip֋ D|D'UXÍZƇN:JDu b3B f1ɹpdm(V/1~_]][5u- (? ~ʂE<ԝpb"t?0 g$(uDxi=AA|`{`T a*0]YJ߼N5?E<[G*|'2vZ}I hpӀf5۞EQjyKsJv5O;M @{À !jܩ6-Sfvf @'Ï:y0bAk']qq؎k2 \!ﹼh=)uqpuHA;ݻa';>O>rD% 䳡 Y&Vf]'+)߽/ qAHz[?z "a? ;Gh-:3/ 7FR 4B6dB2\b#7KhPauamMtfAʛHNpDAn@"N;mG^Ps5G&|iyy?c1aك""}CGb<-"p1/D9窭7/1R|RmiJ\J_7h tjSy8!@y~2[TFCZoT q& w;k?SuhyݰWa^Kf-rz'JŚRoÂJL{1/ c#9u܊E$No jIa(R왰\i ;Y/ˌRxVP 4i= O?./~GoI 5 ߶7ɳkx0(n[5CX-K6y,ΟkDT"#*Jq1_!pNQf/_f }lW C`=35ǞRh,Tjk @%R;Hֿv9H!ꂰ* 0#Yyۼ1,O훾fdysi%ɉ#i8n6M&I4OǦO߾ƴil6mfM&l0a0L͛'kӼuHP98@1Ƹ142T` $! DC"C?4(<Ǩo)JBQA֩" |ƛI#Xsj/~'ư9'C-/7WVG ǤN):wqpCi ָ.;Kz:]sftĠq 9<:X{D/0# uK :%Z=l2_ERKzB}h`G d(Q6p~injazSs=|1u #$gH;su0o$\Ά{";&rey)b " _y@̬3 t!ETBT]jU0M#]UO|'pqVm! o<_y953$<ۅL: W{xK0oi$\eׄuޯZ<.lHKayIH}Uv-1|BD 5z A}18~Q"Lu{ >=ʖ v{Y}՞%g5s4QZ}t0 4XKuBKB>Qc EDRՓK\ԵvZeSU 0vXeFk)MeA4%>6ҌI< |ȋ} oE0js%׏E0~2z}e+-_-KJW#ŽCA+[7`F@JUmx A{`F6j|dX^}=a(YW ;-bIp0+ m;Ϗv sA!h\ :@Ąc.Q 9~RӜMt/!Mx(#`Ե AMUGyIX oΣ$m+s%}Se2l'֑^XTέ7ldrd5mo>ϯx]~/~x5By 54$t_⿾^>Mqp|9SX--bո&8tƖ4rL/r$Ts*"{׫"*hOOZOk{:S̪EA:{˒VElxUhKly5ȃHmٲ2ʈTh_wj4K|BknCA-~p)c3Cdy wU516YGF[TD6"Z2{^c@ 19qI СRkgA"{: {׋EژD-5A.!]6K~ֈB =yAlZU0|Aq B \liO<* g)mYe ( )%9ELB юoƎFhTd4it۶B5LG(*3t4t,>LS BrK {ٹfj N]lo %22vTL{Wŧ ^?$!f\dQ! /Z!4,cͯ06:, }ZFiwx:4@Ajp% >A;)=Ju-Z-qB,? э⡟rԨ9'X +O#.Զ\X9P mbAa,?{ g0* |\w-$hͰ!lgCb q@m@(ΊZl8EggsK";"mmHq$loDh& sO)]C[.;Zc S+#brфaRZxH3x淹V8j!,HBP!$";{#TDWZ9!h6mWt> ORng6QZf עȥܪ(eeu_}ws r"C}3݄5qOqG¶,-(W" .jtQ۰Gvw݃ U[+4 . RTT24^7Z>R(6ZC֛D*Br,|J t$wlw7eC̀]W,MN/]h4g و%@ٺF{P!rFGb7 s"*KS,@˶_mZ*:1`BC:^+x/ޭ|i6]X? b oT{G2tͥk+$͵m=)@u)ͫWJ]ɥHAb5#m'.!%>t*z~λB>-~r(IqEոY_R7lP4`4s"3qNX >LOj w*\+ 6`[aUZL1uf1z 8qhnTfnCQp~Wp.G q_ r#@ɤeG"D7e 웄ifmҟW6_XmT] D92mY+VH*;hQUoXp^阢,գ00t7$dV֪ `jުXRPZTC- Bj7]d$ ؉ICS4.@͒֙0:ܲq}-Q``!Icn̟)w:ttXEGE^x#}yVu!ȰS[%X%@1ÂOd(k-"PH(c0'0tH w^AVwb8Ad(x.Ɉ%A\|7Q~k2cqF'̹EIYMk Ab;>y WNa37.89%q윞4;~$ghi3N8g-U<嫺S-vh6kahx`_%EG06}TV_@.3ݲWe!_0J?lFOX=g1so* 0*&t4t Ҝ#Ҙ2:ql[ ,@-Jx[ԚQAIrm2)cK1֖-_bAQsŬWe:FCP8w3O"o S4HS[ȰcR1N†?rm 1r^c\Xi/1F(*[A oo.<㈲Cz21siE Qc$Γ밓-8b} RHI|CM(>AD ZtLplK Q4J,ѨMUmPљ>O ibV% $}TOV 䅏Y\|>ւ_ #`;{Ԗ 6HPg)-Hԏ8: J LMq|_-BC@X[L|1L+¦ ӟ힛qEnS%8/kJ¼Qm7\ v6Ѻ87/kud&4F5XYƓ.I5U  sEl: eb%8>TVP{) 6)(1`Ⴝr_3FP,g(5?FOT8Z[q bb곽Cek9NX$MDeM8!ZrF߮"#P8G* 0]Db<-(V~ǐdԦOh,6A1xz+X;蕢L@UQ=mz\گ^_`aWC_[ߓ"J 5Ƣ![G0o IO2Ԋaex$^.: o4^&`+b7hڭJMcu*nAȦ:o0*&9B2u ?Kڌ`خ@1op ˋ/FC`,=;R `amq7K|®3TncP< ]^\d*S7A﵅if`hŸF @KR%8T^@0j(@6Wެ("mE1 :hbnm5uSnpP%B&YAX)xkep;lٹ'OQQ QߓC=I VkƷPރ&jama< z"_ZGtxBgf[]N'L ~nd*>V=ux'~ŏ; q|&aŃn4yTy "ÔZŒȘ#?BaƦ;~$ܚ•^W2a63YDq4x8FHk9-EM ]H,ق5U!0G+凔;nPQMS5@t6cBy9EvVX8 gy_ﭛv0{6,P|YmD؞D]0@ҴMO*UfڃQ>/IO"* tm;xNyp׮ij +25arxírd>;n[swJ"ЉT&tT/4 F\KEUj;ˊAC)I!;ݡq+K:K-14Q7 !G{Mṇm5CÐσ'uk Æ,KjPX,> A(geCga`pe#Մ"_o7Vvu~"l 0??YQt\M/zANLlzcIJ۬O U,h -pDz 9k Ҽ0T6reTF_ 4q$I-sR[^c -8vP놄-ey}G݂Ƕ#pE~=cr=1:Ϻ "nQ9NŌгm* Do̡EJ蟈yQdMĞfBQQP`*mzVV["Se? ؐ/.Yo8% /,l!08&|]ӵǁ/U\g>ԡ AG^$;a㼩 .@{,]@ӺF.^K1bTe"*[Z26/=1cWE&UyiLY gW\Z 57(<ZB, XxkaW44[Z[_k1݂<x(W4U"&kePUK-F6A%_x|97132Kkq¢wb$⇚ǪO{p8Df3-R(Sm- ma!F'u;xp"zkaI0wwԕw,skpBJ|[ D>Cz]PW|1B${t P5(K۴EiׯڟʇrUt:w0GVtPX8*J{KX {{`` C _۞' AC&\<3&b苒8OFYJ8nYN@l`d^҇mP*Qoh?&Uvma$rޣP`3Ur|H4sZUtУPv+Ntz>n\JgC9blAF(yQ!xx0.@mW.?+ 78DV曝x["Odë)=0'2/?%"y@f#]NX~^Z1$odh\|{s @"mjy؀Q7J x2<"f]h[D\Q3~bVuro۰vCM{[>i*_g Ӈ]" ϏD we pvfvYmxU \E>NL::)T|d -vJ MoqN^O[K@w?'nX^#\%ma<;AޱG' [ YG>.Br8^M'SG]$'H\`*m3L[E̋+Hn ;>{ !:k3X3a״ >+ҝ&9 a{rBcuoSq\ -ˁ9@bp*δBZ E&Ўez;I#}6:/5]Dۗ\z 6w#p`+yb·%]ٵ"GvZ{B Jj+Vkq SS/ ⷖdF3+_[$1m m_MwP20onI/@Wo^@WSj, %X!i10-v/3D%Ls9.uB ӝa{f"?S9J+Ċ%#YX_S[SV)Q\{e1ݿn`[3ipt9L10ik¢E'TPpChQ4 u,pqv-]0"L E' ǃ?g9xNz?,N Ҷpb;es 8mVqP'$eEK@PHpKѯ?#%2䚭dd-DСNH7ZE67y,sA w)xN%u#Pi^?Ɣ^dR 3ړ RD`OȪ+܇a:'f')A6x#)u Bq'׼EQvO%bk!1G0 s O1ۄ\PRncͱG@vJm ПlC?$:D,tp\/n5I=ȭUH)]ZI 3}*BU5'QMsTucq>/47le .a<1/l@RZN[|/STG+iXImQxkgV[(a^TpPA,^+qv6_NTCSɋQ~/+ jI3/:iAk;P{B8D1 ̋JD̝2'Dx7;ou K_B`Wy'1wÈzx@tECv`qX HUdUp=Gw(z[hEKul3LF$Li2 4NO`(&DZ!?Q|Cot"4mx'.uy8g'džC5a<0 [ 7wFt_d yf*ԃhGU&th@t?Phkz8=#c, I䆴fZ$>YH6jS)J( `z'ygTp?"E %i4]o\Ukn.LP5m.889%lY7&gjK>ro 3ۦfn5w D)"cdbhKtE@6!a%S`1 ɲ B{~eB䡅G+ Gv=\v¹C'6_\$~-LGŃ3H`O)7IҗPn H p /fc/Ԃ_F%";Q(k A4r\-3!xyxmiOkaAgm&LpʟՐzBv ;BH>JСB$IBD$)mCz{:ƠQR-PQDq۠u V+,ett`A3(](JCĄ[:$Ǎ(jAΜtU)(Q0];T\pnY)?ٶclyyScl e&mzf fiQ2)  ..(y^Ǡ@YV<3\P`kyUPU_pb["[.xe[:g@@ H@ #-O%}1H\,'@  a0QadtUHIk{J)pykM7͊8.+{[R;G?WPuv Eh=Nop_p4/r= ryՀBE'P9UH5|D֐%BiXqĪECPxa l,@ֱ:d@ n%  ϞJ7|b}yvm*"ߝ9)Bc {_4G>@^`Jl7<\-cO7HemɓH 0x+",/r?'cOg 9:ܧw)d4,lbhi3뿬'6aa:oC ݇8M[/_i)XSUW`]_IbУbB;ht5 `0e`;I@˭p3EH%ŏ-މfxd0TX:rB DZhLim7l@ N{]%J.` &"Z(m6t  3rTs08Q*\_K`! KgXf[@_3@&cBf:y)ϙF` ǒ~vXe Dɬ&3dc0GcJ[FGad)3yae@HYҜ*/11je*+ tvG= \ M A'A.*,W4.i"v Qv Y@ E}E{eheCEcz3 q^!!3nꋓh:5K_L's_!_F C8 @Yƌ:;Hd9ZS]6uuܞӕN.>SVMvi2\ `\@NK]h * M"U A"}cA:afxFI?È\ӯ B-+9IyQ?v FBBh)E(c'WDM4g/WzV`{]c;gy5*>O\(e |PAt9d?ir1zg*t9qEd@U>A<,u1ysJ:qf&H#ZyHg;rB.{{?% 1l) ~q2h_|%6Ak A&۷^92 ]x8SO{d`G%$ ML62YjA/z 7CYI<x"O wol6i;\ &0`6}MAva2 PԂz@=2X<(&og[!s<2ɇK/cL3WK?(ͮʤ(^&N+Fʴːi$ʹq<2V1\ol=DZX jֲ7))Yڎ!RD#stp[hb:nu ` ?\!@.TnW/HvAwh^cjLv oS,kT %wk'սd|16!0c\tcΥz;4jMcuƽ[a']\"E4υXW $gR&.Nc/Q~uM?Tm,'D;DZ=MlrlP(pnE/Zs ʊ~X> 1 uN}M$F<:XB94g? VtִnG_%>9wYg]Tbo~6Ѭ[!YamGjb1lǕYAI0X^ib[w r<:c @m#%ASWȓп7#޿gwDitI"Am49ap{ ю1y[HǖVHQ|oɎK0[aSr|}=#$C>? `6|o򬀂`@BDtjꡩR?#g*! "3.K{9v|&"^}#K;n}TFK/rr?H4f?_l"$`mh`[" /|DTz V5Ԡ.GN yǯf-mi!NR\"RP_Ynga~o*Zf"d Tw aӕ?Hw: ۥz\pjofs8Ogp<]:Ԉ*ܷ9I؋b/w]#jA݊Ux:\wAFs ڪjw^\=>؃ƀ9:P}a"x%AYZ7Gf!߻ᐧ`/0G0!SMhI5G?NU%i݊Ñw2c㣶pԴ~t2p?iؔ292w~%3&`arـ<РTR%P]##J*νRUWuY0Ѱ y]da;קП0}gcBX_y#}ϋ#@!>O7c q3A566cD̄x\d(dBΉcISRI;7+m;@0]:GA웄L/)*]J hEXu;{ \܄Q#nc-fWSsޗ)qv:̼ VSA ~>Ywjc+L»O7s7˙?uB~єYf37meU==aer@テ L@AN$l,Q tz-b Aw)9Vצo7Oz[A8{7i^Yė]K9*K07lDC(˽&v} 2T▘q%}VYN}dvxwvؚGbIZFCȕA_;sF7oVfEte¼#TC:g0k Y+_;uɻ >->6&má"08 keX0 d+Vl 0"쏁4 \\PƲc֝Y8{JysCɁu켊԰  8gfbn.nlkqRQ%f:A]oH5lFMgsa~5WZaj!er\0M =3B&EWdgϭ +I~-_=*)T@(A*ţ7i) ɭ9Wشm˲m| g1~͌e$Es/AĘ@X"fX"Hn*hJ#T Sb;+`xzD/L $j 1V ꇘwH$,kFuuDs( P\XYc7X`9Nf❜4z_ "1ݡ;5*k.2EX Bb\",K {: u9Ydvf]q2`ɪ4Zl|@O+ K4AGhVA ; vP[/ȳ̩~_;Z?هޫ;|-\Jb&j0.rzE4*mDc $1dN{߼}$6 ݏG.Z)^# c s-Z~̂eŪ3,TydM E}D/`_tH”sgEa_e{Y!}] ­⁓} gN˹"p\t>lU& +Bj#bTػ􉊻>C1pSbYd@90Tr)XFʃ@p8[2 3Adaα2՚{@=HgL_hY@8?X0Fk=8at@jhMPP^ĿEu_1רְ>;a}HӤoίC@ ClG ;zb*{fGND;6G~il=(-)u(1ʊK =`X٫lHk.J7V3x!C&t}֣NvC4iT\ (SJfp>[_zߨ,d%#YW$b=AaK:tT%cRQxEǰBNCr'c|=OJtH`s aO:qWgc%$$ p }ÌB3fcѨk"K$(F3( "@"s4QFaA9tĆ78w01LCh4`9+U:maRUˍ,~ #9%vD,QuW`I&װ8Q.!tٓ sR'-8EqC3/2A9 B=nF,oIi1Gu.J/ݸN}c"a:U-Y:%ټv8Ee]z(&Wި2Q cv_$Q-Ζ:WNGOoX(|oCe\b?Ti$[wp"= plH瑮EX H x **,] d ª,J -dACۯ]5Y |RJ4\1$WImubY:c,CݼHxNַbp6I-ĕq&&Ek^15 Ȓu!fBDT.EyQLVoF39uj*9hclC3- u}4Fꙅw u("$ [sڑ VmhKchL>{Ś֣ww'e+3Ep΋oW*8~'<"b*_縋m (k7qVR qSO.ڞ\ⴌ og-bRIXȔG KU0˘$]2*/P vlLCzʺ؞ ,@Z'u@3;1=rĕI4\^ge.DI8VDW@(dS3y6[]7cs?l~&uGD}:j/]Gdr}BiIӰ䭓x: 4ABvwCjq).0-7+t8Ξ@1gi& %L<^;0Ly5*q#}?^ 4?8ofҗ B@O.!4.te9 .bqB hQ4D#j\ .;-c1 GyÒ>a 8㡿)u{cf±?0ξpI2ձaK%O>`OV5Pnp5 |%{{!zaep@r'.p`,+Q#]%Ґ=g/Fr`/ATimAD=Hnb*M:bbo z0:0;#m\n )Q1Ί{< *uoUY(ghD<cq"I^DcJ>Xq)5!mNʺ PN ͣ0Ѡhؤ"O$9h*",81NDRcJaQ$1 aBD_М*"B(,'bš&ʼn< V`!D,0ўqzu]3YuEMRd;e|OdDoע|ZqAŽ2~mTLT]ncs\THR{?FQIˇ}˾Xs1q/N~hXЋQct b6@<D߫ Ŭ pZ@p(>H84kgm&b'%E ~ d).>?4@n.8l=vZ}ڙDMσHr(DMn%P|̍ɀX  GZCr;bxh\ CK!i'P f o?R2SIc/ޜ4+֤1(z]LWdULLWULޞىخDR-kF|fƁƁaC 1蝙P"3+˝1D1ș`P"3C8@8(ԙ ( %bP:p(_t"1:bG z_^9g._H9ӯrW_ &iMU'?\l]eݼ}|ռf αA&1 ;Fl DRO49ޱ902؝'泺s⾽|x(~cmÀm8Mٗ|ޔ1n ܊Ȋx_8DɚɎzQUZۻѹs.r.`ݎկj[cŕuw._]&\R9P B$BO( AO2ijmgg|ƁgnOzQ+IRRP4Sh`yFq!i,P  A 1@ 10 ol o w ÊW_F;]:EHsJR0bAEnG ~Zu'*4Z"U=>俨>w:h=n?I}Ifi+p`e)BfpЛ"jG1{qߝ @uݓN@9 ?' U5K% (HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/types(/`6 %: `g;-̠m+Bi(ut$mM7!а550ʉH@lUND"v"ܻI$ h8 0mYE\; pFʌiW{4& ! b(L4ڤ*@ h4ޤI"W6Wk5;KU$Yb?ƍ7"&,-Vz8K>ռ:\NݗR뜽w|5Ϙ;;srA)S5`9 11F"e$@B o"<}!L᯹6IY1XS lDQ X̳ -L!u,(Ydٙ@a0*s)Gq"@U[(T-oCezF]'QW_iaNރguBH ͚z;UpEf/y8H9]jnNVcgcSHJ%f 9y'1\5K)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/parentsHOL-Nominal.Nominal >5K' xHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/axioms(/1U b) v{mc)]§ÅLJnPS9ǠndtT!<14EkbL޽0}m;)*asLhsE刔ǵ[p1ܒ0q"RV {kFqo Gc5\"y 8+ yJ5y@ #W뵚~9 q)aܫָ6-Uia'zpM"DPhNX8Kc'z,a <Ѣ4 ,V+ \ GcEbO)II 3-"yP[$JkS6'cZ+&=JBìr]߻  Ѐ1`4b, @nCc@o+xp6bAfW+\WUکu{]O8lf$Ru3G0D#*P65YyaJ+}v^Ȫ9x˃DDNR*0% +oR%E" 1%Rk(s1)9Z~rLs)q,.VV1%KsZ9Esi< pى\2g.R-jWkWg[ oQDUT^j75]ҥ׹IrsxLqZs&>F})x` 0G y9_՝9s~0G_T;]D<[qJT;ȏȼ^w]uI$絫T=I[QUn{*y/*U}O NWJ'FB_ͩt?pT1!Xml2nS/@ª@ÉZ4-Үc W%/]}4TF0t Ivt0LO}92/*P;ԘmaV|7Ddibws+Ƕ2dF m?= i +[dZ`M؞{.*YlFWwa.I6m)4;5pv8&Y+K4ƟVj~ w?׈!ki~c߸wC qgG^8Ly+,^zq-[8#K!UW ش0oǖ|CmZK77͋<p醔7͍>!qc(y$7`8ϫu˳U S j6&7sU#HQeS+ia8!Zc"9) *ԘYi1ba)h#{"XS?G{QŀƃzH4-ґoQ|]2DK:I/rH]DU)VPkZ=RWavU0 μ\sCv[ Xr)%>%wb`vvB߮+rtb yqk4c`cȇHxch|uWCqMrxP^[\&.6QlZ;YYS>Tׯ1 uVNw1: .N_T4ة$3$R@r,TSv۫\` ja)6W4'6AA)+7ħYx&Ļ0 &{Xֽ6.ӰtEF=!0]kݠ+F^ױR89|X1\ѷSm֕Rfkr0M> lVҔqp*1A!W񃓨'0&`H"3tmY DdTM㑰1|$TNl䕬g*6/Ȁ8cRexU?7;i gxbE~GQ8lG: a}km }$(\n+DHG"p#uD U lSPUc*27 D?|]0Z/51&SXFk6VC侇3̨K&彇m%6;%Q"=X&3LTv|Ψc:h*g^5c qA;#hpx=젩tp]O=+h+K˛+hV[@~ᒴfڶ exgat Ο-Hv*tN28Hp\{u}9q` "*f k$9UXT(7a^q@1fEw= :">.Ds4֏F۫wۋ[Gȡbӝf;j_8#*nV1&[ d@c D GP8y?1h˥rLJ٢o.9z˔ k8bk+4<2 ;0'_i2H61(u,R0/ +yYXKbUC?ƭw);8} ֽov9quCw c[Lɤчk'r,+qyjO[ y|*ɳd 1C$b FJɶѢ:,;Og0\-iT{n"Y1W9F'Q*󜝬3'V[)YXtQAcQ]uƺ$p^~O%|h/J_QDzxz7 jsp:Y9`:N bqi}mpPDJL;Ρ^g+7=tK)*`GVwN9?$qo(dGlVߟe\nKlkj2b)C/5޴ɪ4mVǖ(kS`>#A&FȔ́(E%`SBF\, AGL)ccoIq(5OyXyⲱ@ƼG൧7\E5ccM"6R vJ6հi^p?7Od/4Ž\\**N ܏i_"3D]UA*dv3t!ʾĔ% Su^qh'WdvƸ 0=ẺzJed/ՍtȞS*FZG<6ߠ@1"j3іpDdOS:vWGF"Ɲтk%Zљ;LA֎ iq|&-m.{߷kF*ޑwh_My*У|y]uh9N-iucstY6TN?Yd7LpJ">QL!3vJ8Ij1r cxraQ8CW"Vg.˵ CIY(D0Zh뿆'(Q@#< AWo)$>D!H)ŦVܗDA*t%E82`pÂS i1JGٖQ[V0/lla{dF=I-aSPT-<-ZGQi Bj'f&$Qbg `l,3Xm:P6i-Cٸw]%$Uw^ 5ϟE5;PwLxCr&}a\3eqf9%W[NifБU.Ɨ]5i-2pdY 6%&Їycɂua)Z& "r.(UX8IKrz'&+8""xf=N-8dd"t D%b pb/bHq/·- `5 _ ?Sfq"M#Y2ECk&'υ:FW` "/}\Ke| v9ی>ĝ4i* U[E0ns'5>nx_lq߄]%L $Uhu^2vr 4rL$5MO "Fs~&j*\&7DѣyW4d @y;(dV0#3Qlo\B݅f@Hf\yd3U@QjO4$>ڶ˿ĥQn|>t\tdђ=ɫRwrA,:|Yj+Q괾?[ZH r`:]r#P\4PDHgqTjr~]^I p/2_x`=q_01#Cs3Òrx4/hQ@>QsFN;"Nbj<*V$ @s2m0%)$e},nm۶m۶om۶۶mi$I$M4IDDDDeJe[vf3333۶}6nVo#ʭ͔T%O4UCb%n_kuf\.\DmvǏ?~\Ǐ*W\UUm߶o۶Xb(sh KXrP\qA"Umj"NFZƫmI`4Ѱ60hjED"X"1$̑U3"")X=9$*ɶm!6U%OTM%gr\*Wev{D4T~[6sWnKf\@EGA(@ (80@A@`@ A(-Ia C,.IvƱJ-ID3'004##1-cc dd(Uv{D3do٦!f6 3uTbZcX,3x3dA Q~mI" %4@ WHq_ŭB+3닄@r oF<@wq 9pC$t`L;sz~ơYjTAL#b||K2*dh 1Bv)f9WNBeED\Mok{<z)^鎇alvO41GjC0.xw{VSEѠmLnkIRmYktv:{b9v '].},̻ouԗ-_PN^^6']ca` 3^FkT谶Xkq!sBCJ[/,97!WeOb۬Ks[^H-gNEzBInkL,\tmC:3ύK?qх z,p$̐FיF(]Ju[ ƕm^з ZUb6kO?WV |RXU\7!\]x3djZ[{Ś~ u(4i4l\j#sI9`"_Fؤ z*-%P1Y(5 _8/ r#=!5Ldι3Mux䴺Xl,_7JA.|S*ߞ̐IqFr#ԘN &r+UdMʝ{͒$e>p{Бe w̔z?ɬRQ$G;7 "M(f;-TRU]ЮW8Һnw8ce3"^a!~* sy?yPLE3Nf|윉;16.XEJ8iLdy@ N,֐qUs4Fr9j/ Ufk>,,N2jE%}yRnPk[ Mɹeh0IԇE-5/b̉p%c3Ago/H*z&V?$T&Q/n2+2B[Wʴ"5^+qB^=[W?\ *ű Ѧ Mfgpf[Cfyw5\YN4 Jp&oGAg#չ5hйɚTf>ph7,5cBܴ&fD7m53TD"| c!"6Rh<M`s45=;C{$nKe땨 ~E8Cr/tZ vF?y4VەNsǵcb@.:ϖc:;>Z߉ HO,rB)^mIZŕ-7o]t:=̰ťd][ LKQ(%HsRܷKE1~'.QPt)&^!LY ONl]\(l// .nVrX$;P@2Ӌ^Ҹ=^Fx׆F.2T `ZB\0ƂWWB+@c o_dVLj;J#3g1 $*vD) MHo ]ΆCk Qeq)`H.;̅Sɐ09EvܶF-0Y&d 1|"@t"Auh%3J@~ ۻ%ŝ-=2>3yu,*YN᏷T&ȷd8*5%bK^^ f8GxMPr\%]\6QnxL; 82y\15U#8KHN\moiV)J~ný435I]㹁S+FUn2%:I+%xZxYwBy~oʓ>@'M[{l;$[[C"-1d/cGqZ-L[^г,i%'M~^adH) =uLt${p]#96c؆it<zBTBҷ;cL&a.$Ʒ}v\fv9xB!634\`H_u?U_˗AWG;䘉INoL0tmKSE7I6 Tx23p+I>="_$۟'^Ekfc] o[ >/ h3L9mff13uP~RUz$q[AEٸv OW eN[٭O`I oqSրQAK'VE^zDIh5(H=YČ&8jKDVN{V瑿Z+7;E?򦼮" N{cAXΎ~PrbCߦoqHJPr@_*+}[h9['\$-yDӺ$\wjӨe&=ԌU^x6srx6{;M:Mn]y3d"]DXZ8"twmU8EI?t@-ȯ[ĥh$Nr2_fu]=e+T+HV9 'q/5r)QZmu6f8_p/~XYwou+v4<޷0QXe U2 msn3̻*}}A1] ~~uM1)8gF*$~m[mDa~n RRoحi{l;K. w%;с#?;a* պOGydK(d2 X*[&a޽j d ȃcy*Ml g}+㈄]5_퇤SMdƥ BB'-j_ƿNm'lGޕ>lX[~"'Q[5ڵLDbmuNq߁N-k^s}!W'!wj?ʵc]k5_"LR0WЧ.}=޶g8.~ [2 v-".fφofBD.4tNۚMǤrÅ)lDzE3W OB]ဆݨjrt h%̖0;[akAFRU )!םhAvzl!'1jmMEpD칙Vru.B@Y +쪸}6Qjc1 :4"O4!wS852X# #AFhyiZ4l'QT6Mx uŞ7n6M2/4tɜy^gd\Ϟ p̌2Vi:дPvi4A;^|.qoxmxmlW",Vhs`/{Xp17?B͐+|?Q?wivZBc@( Qiz՘u8;/P0qfg!UXh > 2HjiaAό71.{0#.׽륩_zf{5]g߭wTC_.K1ڨg㒮-q]iu}=5/}*}:#T5Hw>}y榼bH瀳psv5/'ñy%ܘ/ǺCg3Wb.==[8K\a%zĘq7Š[/C\hΐ|9UبNX~;j~"W>?3u,fr2Q%Fۀ򁞣8 L$/7oY+hTdjW `O*#0 *@˦MEQV"Jl%B~VV(0T48y]d2E  (0a 4,P`zL?k"h|I* Rgn/"&m 3 hp!  TۭMb@PA0 h0   s9@R5ۭIqP &Tbl?m"'9E,bPBaffffffff3k-bM6ml׮]vZj%"p8lEoq$I*$8:lA (xA 3"vpߊx/6+2n=Jܶm۶m6I$I$)-ENnGNp??M6m699p8-[E("B$I$I$9Ͷm$I$r=m@ Q(.   P1@{Z~ԯ=*#4Mad՜椶qSCXR"/{c' /"x"y`JTKSzvGY?h|0~iwt=c}Z7}%S[Cd  <筎K"1ӯo $F$9P84+J$ oFUTyR  U*=گ]c'R66yfF~M14!2k;v 뗼Cד.l]x'&MH"2l$qd=e|8Hڽo 5Į@+NjAeAVXzikdF~(0lѵN(Y!6CGBȺ-$"֐HH0;A]9$ [Ճc] !v_w.`xVa2 OK~(|dws$y?U}]7|sƒ1RCrh֎KAڤ5k&M ;=PJa_% 5B~Ig3v?ʐDA+*^E1tGNbc+dry lfZ/A _95YZOaJ8$g4$ 9X `Α~4B[Hd`مP<7[>`aBW] <5CRB#.*՘UEcpK>ѷNtMK0^4i*677"+#y A!*Aʁ?''GTJ~3*LŐO'4hzhqQ H+KE_D"cReZZf9iRXԻpmJO[G0/Ƥ*y]82n}&&aD2E)<ԁmrVoRZAgd$^82@AU ?k6~7XqTg++wDL1 B~ /@d Ɛ2n]{-;0@d%);g:n$I {fdb2R.-e!XM4ijND6!T!X)ȲÞHL eu)[+pIC;!Qt4, D;!z6,i In5`^kz"x:ϪVKLIGS BIvmUpʼ>o-*S.4ReVUҜ\ cIvLT-ujl`ɑJo$}J u}v8Mk:i"=9*p±tl{rҲ'-N/Ub1CAGt҄!KPϩ)8Ҫb~t*p=V ūARZ4r穘kh91>ϴI<=L @wYnB'v%RXPuM _]-z hXbXr9 εùZ+Z'x~R#l24節S|kpzZ ֐BT9Jn}8e)nZt;xW.sꄍn0YQ{zc>֛Y0[N/OuwkkcetFW-quUn{~%#Ѯjm'Xۍ QXP,[5zq](>ӗD xy_$I~Y5?%wepYTst+ɓ`*ZjOVYLD9 v`)z7pJn4z i27Zu^+-Rg m#SEML#WΨbͤMP²6ضwaJۊLoi[$}*h_r¶FKugwX^wNee|k/-v`w`Wv~L8[4v .f-lkٗMO7Knut*Ѯ]n}](vmsvGN ^۵b͖U#.ܮVv@vm:[&鷻ܽh᮴nmԌmѴ-'7Y!JXhVF(Nibd6sVLV[3=1dtd ͺy4VW֌ [:Z9=119pl`*իQ+0k+0A+0kƎ@k.T2ힳ(ca6UeZIe‘εZES .ө?pZ8|O>3ﲮv5*KhY? _^ t[|ݸWmJq+,Uu+\2ͫB xa+ W7y!UK"6)Ec5rleJmMLhRsICHvIYzbE{Gp'Lt\Ov, TZNYoBkXZ-!kT+BBtͰp7: /Oj_yF)BTKhM1Z^B2+XZ9Jc02Ʋ!--}vm ȹQH/ʨ: oWN^dr un[؃['TSM%}]}&]vWo;頂ɇnagG[jY~, JSE:jeV@ۑ ~)ڎ_zmYZ5BSX7.=Yҡ]D[/ Kqrr9_]12cPUW߶v -Xs44&ۥOaL[Bklh7R^[ozVhyAIjqWYiE\\#x3N߳l봇kxoN3b\x<]?]UTӟfhk}O/pEr}Z+Uj)^RB@+;̺ )+E1[1kK:]~C_AƮd 5]YppST^/^ئU?uU؋ YciMꮣŭ dY[KQB|U@eD#E҉a9meht E=2PBliܪFkUzWˏl{n7O񔽚yȻ ̈́OjTUQTI mZ\=2Cc9}5J7z a Uy}`](I! +;TRs$[ D}Q#rR8#?y5OF0QXvX*zؠԲS \xU qŸcRz\gN0'$Ѫ(_v !@Qӽ}"@h`hD'V`gr'SGjY#STۿORIỲk(ˍ F_.JlGF\b`LX;m7פ],dv$5DӼ2XĴM ?#*XHUvK93o%g+T %䞀ȉXD$q.0pC<$CS8 =<"fM]X Aʨ,y$5`DDJ/i%uUG<҉̠" 5Atό}ӄJ샑^.h3gx$DwTh"0hI/̼@td֜W4q|cU=,)_9=tE \(}MjDw3BKwg|^x؉<̳nRoqdTkz:ϡ+fqM]\%TP?:duFމ//4ln1SV%&zl`xɹFuT%־ w9JB.@x7)eMsMTXy]a=10O4^X %5gR!)m繳y;գC"=OK&|+߅)'ˌc\Wá2TT䂁1^Ni=BAP2-ihѬ*MhƏgح(#/5Y%$V@0\(ms3@Yѥ}!{kN c>=tg-:e?ck~JVd5D^AώI9sj 4!2ÐD"Ev lz|$՘9'ZuFb􈦮PB-y+{x°MW{IsEA I Jc$ha#.a-P.r+ .ZFʅl$sIX)4dzcvz%ifEߐ7s^E4ǖg+8MU%#k*rZЂ^^׋6l |hwwǎ]mgq o+mN <:@@u`IAka.UpsxqUP1LH wb-Gʇf,XC^eTһ6$.cH, Kάw` 憙\!6a"@ziyV3CjᬔGVPeLc*V@ * E^2 "L'X}X @9 lʛ4M1422Aj8w/eI3TV$ƹ:Z5jyt$L0Hovl>W8ipܴi'@pҶu7 @60q .C3LeBL3w?UDWY2x*[P,2XRL&$ X]4\ofcU{F Ff"_3ڜ`87;0@vVSLN(NL3PLcU(@.+9=ڎ44@"h$XD 콫=MlUhGU FfR(+ك"L\PL(}nY0mfW.K7 ,>>C+D/Mր8ip5*YȮ=9B=>7 [.$|P+q-, }t_9B+ԃ6C^sGlMmZdasx3^NߥVv5roTQr3{\0--^-52Yy.p"j3$1Dn7?6w{ϤI-CocUwLV4e3S:?i0P S&tˋŀaJRĔtS*pAptE Ur)mH7WI8 '=㛠X/ĸhAkKzrR<b9F>7X[Y#x<~Xꍊ%}y, 6gu#^T) ]o3ϭ'[J7X˴P{Z[PMž֜r]T)U|nU&P.w6gl'dx^_frd($|Ut@r '#bAU}*RZOn͌4k}b]β/9@#̜,/Ym AuT/U)O$mLb&7Bۛ0y>;jbBmA0{Ocor>W6j@9E·VTaܠHaHA~ЩO1lb~u椦q%Oh(,p3iəG=D쐃-T$Q0y]$OVFݒ2\^*\1o0JBYwG 4E@[6'{ze ^lzM `0{c>`mof]oQΞꊐ uFڲ/ L$NhE8^JTb+ח$VY=H-!)*A/}`W|++jx6[AHpB%䓿7y_Ҁ[+*`zW{/qFU,qLG*+ ohTLAjW S> Mc ䷬3mA\H*HZ->օhKčf.)(GpE4΀w苘יp(ñD蚬hlA&Or"|i>Goaأ+k 'r*ކMl!/%;6]Qg.I+>d͆Z,uTڹeK@bRb! PRѳu!*F#BF K qS Կ+O&dc@3L;;⛵?ȊKdHHG+\c58UMP+.w* @E-U0A#\XWŔ2B S*NB#0z_O9'.]6VUU@%YPˠMh~xFę^&JFTGœq1y5%%XiSu=oH2Ha1!|~MB8H;dr>=`# F |>\g~[u> ORt>ZHpmT^sT ]/4F6Zto `oba'c+7\a`hm8KԨ{wωeI*ddNM xy a+}g&35nszc>=U,n& L˸B~( UKbn? I$sR(ݽczgܭ_azO,/?ϬDz ~Ӯϕ4{ہ4s@=`Ө/7әЗ[v/w*cȋNqr՚D\W6{`~nn 6!k.#Z&ݭ/VFk` fS?GOC8ɯĎ?RȭY IF溓w< J+9G!E\B=}%Tuk*J]F >1JWeqdfAzlXF:Kk$kk{t~v2xF!I/68(Zs!Ǝnt- Ԯ|R44&l q(5*4w(yoy%ۍ>Fs\.a LI)z\4`_; x B]k) mPSj@ηfl[ ´x_ =u{(Hsʇs@ڠSFGb؈Tb 4ED&wղZT 0ym#וz/*m 1fj N%HRy0sfFV>ִ l,>(kgnir_/%L-8kDBy klR0/ߔ*0`u%MvxftUXmU\+W֬Yx8&VE?Ġh5#&%}]c{$YŽ2<3x}V1oʈ&7TO¤diɳP/Y 2hI1%9BGXrT4F݋=~&sݚdI UAE'8} ߹+&=os,raa #>iCf3isӗ,GB`/jO֏e5k|0cyWMn~LEC:ni^_̇wͽ!IGcO H'_dw<1iz8\o LpbA\',`/3Md7-PRcAVGLt=(R hm6*S ;?ypS 4<G\`7PVhE L_z@~L{rpzXxp)|'{<)$%73ՙ56:k|]H=7_U|rU|oGH{e%w3l1{­{ ɓnp続iU=e&!:B!mM$.|v^R<`0=6] {LgzlK ^),;tDzވ s7>5)?E+~5!C{<#`n%hS$RXo3%AN8 C ]e *ER`uN^lmm C)1$o" 6ݽu[F,7Oz vo}mQ3 M7@R_4Z+xyT{Yte4V`zڄX;xZ0=Di<"-`%}lPgsvIa0ϑRŘ欫[/DGX\B$NJtBQ2+tW|̽dus)(]ezҡ pYP~3ښSп m9"$ͅ{<1^H5U?f*OLC,@RiGPSwGQF4FIa1K+nq<@Xs 3L3]KX) TڱDŦ:EԴu즦%M%XjT=em%AQ'67ǏxCߞ/"Kڱ'ȿN@-ݸ_[lz.cPuD0rFCA)2Qf`ߒ/C$8&@&WݙïAܳ‘4̀ Kv2;BkUAp$jiI$xX?G^4n&  1F:@GYl-Չ:*Cv,6Unf GL 6Zܘ1SNrcq@H+9ۦ{q_Wq&j{xWQ`sO//P=:@E: {~L2t/;2nԾɡty 66  (˒C㾡|R6 $ro|o7mm',`})_x>zpfP-΅xd7xx ^4m:H:I`#v gˢ», y܊Ao-X'B̥B0!zʇ,ta6?Byfp }Oا[liρh`Y.5@o@kћrP,;BI(1 NZw>:yP&}:xIN]w$sv.y9?i(G!T;hM+k]P*/@扦D@ s^]NR;yόee5)dfUA $U1w_38P z\5Q.p WɃ\{:՞hޔSgԇQL8}`uᕍeGYi C@XYyO\)r1 h ]!P7Z6帲R^A%ןDU6:%.B +-~'b=Y4 9y2oB!穔¾=j=[Z<mDK2G,ѽ66ҸlI}l}qwfp,ܡڿZο>$dY]CNV"^Q:Zd9͜ Ѝ$99 Ǐ߶Bqz t}c41! Jnԯd[:w]VΨNn,ՖNXLd+MSTCPNjG@I“erE\rUTmiZ;PՂ"2(GCsh!YYke,MHjljieB} G R" 6J01BmJR&U\&,5Ux 30wI׆ev&G1`E7,**N˕j<"]iAP6Gv)DϑFYшSt˷%఺VcaR@B6_?Q%00u#6xri S%Y42,+e]M o5K1RHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other_kindsoracle fact bundle attribute methody5K) lHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/classes(/`5b`5z덜{Yv*.V|"˻)QiaF"Pqiy) =v%zc@3%1=O?|!^41Nr2XM>+Du}W]Oa蒝|fR92-D õl9dDJ`,N^ 5K# :HOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/thms(/Lz|*k&j}#Sw;WGHXݽie85mMr(1E1r`9z#-H,\d'jPeF!%5*`b!, wѝDjpPYHA,Fa8&YNBA&bl>ERb&$2VIdwz>~Flh?dʿu3"~qZQÃ}NB('?P Y(*XYֳPG ,8)դn,fÌ}z( Bxhx8 aP@$)+YH$0'((d!CE<)PR,ZBdG9 PGQ0)IPIR 0 JY FR@$YO5DȚ>C7޸fII܄.8P'\p,0aYyxғBAIBHtDrH$G9 XG(A+kZ(8B#mS8 <0djxq@Y*T0LAI 0bZX bcHtDDo Aҭ75iYYFeaϽ Dޢۢ^M%V<\̢G9 JȈv#7;̟%rHLYGY yoa ge'PM.π ESV q5,M#Diffhwwvw}wvw|gwooj7"CȐLiw77wnokkgg'6v^_։u6733r*+grr"#qilgoo&/ofnnm~ikhѶjjffff&&󉖖(Qbc###..f2b!f!vyWU17ct贛wU5SW3tneU#CyU3wZ#D[^ֻdC5q4/jw}wwzwwzfUU<}]VLD e=:6qffUDݟN2<#<<#~W733366663;633633333353[[[3^3^]555[U]U]U]U55[ eE3AFQ= &, * *B 4& H',;Vԭy[%1߀/)<_ ~r&wvj]S*[J ϸ^ہ 8*pYURP)gB~I7o'>gO`7e ìwȹsƲ]2ŔK@1_>wp^ PLipimr%g0ƒ.&/& `^`p(N}]$ʶzN0%:Nx_gMHsZDaq7bR ݜA@rt ] iNi/d,b G0oU៺ Q j?%?\'t ~<`/k=R('脒\+z2ԓQL +s^<[MG2.xA.} Xw5;b"Wܝ :ui3$loU8tolMnq $\McgUsdwy!oISt*!{~Lf"*Y;Kg͔*H%qnMF-,Y ڥ2bp1нJ'{YErDubC+i6,zW]w{h6W%>tm@Gx8??5 Ř^=o]!R($r,[N~~&G_@6Ҁl"?ni@|rҰ8apKr. * /K[4]r_@+ld JC]@Tk~=Ҡ\hmDDϝF~a[ D};^@&Ůt%һJǸR*W^y'ohNI/Dړ+q_\<@3JD. RkN g/"m5^@iH[ə`vs|/#G]@z(/y%H%D kN*g>T6"R_ο J@k*S֞ ܕ7@ _B+@ x t@k@6hCї>"E u2P?*? 02 Tf-wOAgkh! FwY^'i,[>Ԓ (S!?ܟʉ?$VϬ#L@4<'˟>XϿO.U#·T`y0#`mА;m@} 60ۡx 썂>k|Z/d}8'ElPs?Oh~TeWڇڧ }>@5*>PW?< ` ,9≯@` 0 nŅ|#ބX{pjWe5/<CV=dYU@ +P?inJߒ׼?EJA6c8Nr)ޛ =E2=ڜa#y @)C }c'O7jЏF̝```X+i¸_IZMF)t̕*"3w$0Lt^2=Aƻ/+imIK",VF` hrmw c:zaJy+.M }"EmBZ&vD[gY*uR;`A&pe-mJ`hK{L! U }qϝF(-=q]M1xc2]4=)nZCe{4IpCyLท1zl]Y7z["V-l#b:#wD L[_* `]8Ps cZUF?`/݄DQ+d(*N@!fd) Ϣ7"B2꣑.bd<~X1P]iI4ii^1%|МhCqcxn9'&?멛n2LE-z_0DokJ &A:l34gOƘ5 b d~$ lȺ"(L Cͤ!;}L*` a5p4x^1/Ydd"Ax7l|;rw:rw:WHPwTāAuerM2 +S+d^wipGeEgbha|r8k3޲P{g,1s `C`tD+/sI#8ި% *xI0!t GpIARF✌xeJ4LzNԮ-?nnFZ Q:{NShG>HƲ}l7y91SE ntkPfڞ՞0u*1H,):+/!v[gΔO$Ӈݐfh[%ߦdC%]ײwMn ُ۳%c/:lYtK`(#ZFgJ9x#}{[XCp\dCCychXX'si Q/QE+cŝا"rEt<@p !#k/\1ȣ-Qv+&0K*A~ci.ܮ]H0Z%b2mU:!wJ 4 \fXN!7lv@'&Na/+bwim=">eatNxi =[mRl?k4cE QIY w32wta J&$ɝӑg .|=jpVciDL% ?xqSt\"ϬdSIgL<АڰA<2&D/m~j8r'oH*(STnH%PFJ'lo`5BؖY~TU2KƗgˑ k]BY.-M+,qѷP#߈(j\r[Z'DlPϔ:։ͯk0"?KzJJsQO\Jj|Q)#7RRk2,(K=ɝX_ !TVR !gzgx+O6N6Esj{=XDifTza%ĆnCHQ3U1b!:͈ٖ>cHAsܥܚm_09-9@Ԑ4H&#fpy.v٦GziPĠ_*Ȇw$ӅH1 h:l?s<g5IR?KK}!9,1E%U!Ft۔sZ0~Tbdh9)D"&Vp^E_ѡMW$%W}_ $wa&lMx:wLhusf#+輳,5 ÒE:> j;?٩DlXphиyG3cm\hA?͑/F+ T>RgBńe!o{d*VjƲgRڼ`Wʠ+Ue̅gf#f֑zԉ!8bgvBLZ cEpop*U@M9MmFJ<&]Bdhp~~d9Yg}r$yMz5%g|^&W_z x48DH#UՍ5ˑ .BQ K@G,ķ[D/uLw$H3972fBL>^S@СZ{W*b#%f %K# H@|CTȷ+*.@kX,ǻjpM?ԬX<2Qet-,zV3j\PkdPqJǜu+Kmˢȶ=MГOJ6mA/5[fؓۖ _?[YQe⪲U:lB OFldI!k~%Ҙ}~Ă8IjP~Wb"i&?®tûYw{Oΰnr`ۼT,T!J IBAkGBr)vW[M9j׹DC#6Sc y 5e&^waufmi2ͪM@P>Ylڏ q>Z(|< $LlwP.Tһ P.ˍё8,Zˍm}YR f6S%?pjw.\7 ׇOV-C$s檦OKS+y]|G}dȚ35xz<Fnuwa=2jfdUe}U$,[ ̐PMبX2oZ(c6 2 xPޱf^<8oQCIr  uttypuq$'Ս}1i$&og@h(B9F`z Ȓ l?@cS/}T:  }iډbkXff{<]2UrQ_^F!TiM(C/SQ#v"KL_wbDg P._*$ O)7}lބd?4K96ɛw]6lHlGIfn7Ѽ g%j?2E"*#$hPE(ZHyL'>+X1iy!K"s 7g"~|BnF`2e IV]\1EV[}kfWNXZnhQ1|*- iRLfI%уzkbBSbJ>p3wF)ǝhz ψl|({8_vst>@W[ Al%9Ƭ'wP[:eNln'QJ--KY|7,$&e,e\&c m ]4o Ǔ:}x*b9ټAxSzd\q:V28!ŐjDNC6z \M 6ԃ,oZ-˖44:`q6:N:qbHrƼ FMdTgV}Vnƙ0M^QID(n1љb⨘鯂RHʑE U$ T2B|*([Ҽ_|JlC\(ė:NI='orL6V@ TŐ|K:0:Ɛ9cN]\o 75#o.3?4,@ (/gI2C4G+BaLԆ8vOe~YsR_.҈d\S^ջL%$8g l~XG2wq<2i83F0$|񢒸D4^}9"&H$ɻ6^1f3H8t88\I qTSV*_(/ $B`FB{\" jaBK 1b3춱jH[n䅡(`2[\L%5Cj^+# )s#Bljb-vAO^"KY_:'GT֏ <G>kxk-N' zތH*:CӴWJSIj#@@T5$%Á\}Q{b1ڑӻySBWbd ] dm}+ P>Ю" Pi7m.7z}oR95F'Ep1ye '4DzJ'iaA x@d.6j5(C@c7 Qy:3. THEnh<] >&F)'.ߧ#$¶=>NIQLqsɣ>"^2nqO&'dѠ߷6כ6*:XS?e4އhIS2QX(?6~oj1PG`9x[Q3sFl}ɔ\`cpˑ aV?124.I$5k3c72wvm~xDkV[>jFEy#@hh?ġDĵ gT,o o2zgT,̘ݪm蘹}x~QKj̫ܝכw7ɉx|͞eT8~qfös_w׶kvl\X1[F_y[U;Y3*ex!MhxScM &(Sb0YX0 wg~4Feٌ͘7C0'& S)3L @0PР)3cV3d&%3L&TccCiE>{k y:=T:LS?9H~Obrt=x?̫cz!FYͽ@-|el{Œ:̖.ZBlA  ;epF] z߅aX=ps|`twM $mK_ZB2!wifuQ;(`ޅ:]sI9 xLC JX^>{ؙp|/]uh {@%X2q G['fVzR%G˴Xkiho0;ta<zcBNlp=ĒL 4:W[==_]Tu|!K'~^D>.tA9Նh]h1tVr<*ZeNݡME5DN #4LުopTÙl9$ &4;7 N zwp\Bt{7.M^g(w>Yܟiynt:NzNR ;qm8AG6^X88CZ~xn?jj iVRn߰{EeUpZ$Y+y^y/O !1Rqꌗ42\zzwQrD_>Dl󁡧D=2WP11Uoc2G'ҜF RcգV,Nd~htH#ӟK:i: MPl.D]3Ru5P561mo#'a'p5ծscBgupȬÓ'Ur2/\ )}OXRdj3MyOCp7FJɅ e{X/)#{̻Ni=nдdf{$&X4c_x[`eI &d4HD+_o$' |sK\oq37C嘆{DFߺ(Mda%㮃Kϻ +պ`Pq}+H}os3TW"Ɂt'2 ⒓I-x)T4 Y[m[cv0Cy xXk1"$W(h}X)GN:!əCe1RP2Oa F[c䯅mrqzz󮲊yH3C(}|&C}P~9%S&2r6Hnzs9y8b7^|ȞSVYũBR:6swē}UnXVq%&[ݍ78x̪ݒ@IdMxN x+h}bUCEPF0):`a#w]s/9"|p T+{uw^m!zRX #1JoM %j\ DU|a)LE 9ˑOg(U7d,TOT*4נW%2,. @HR2;.kq^Ơ!\1}`jȐ`gjU}߃׿N􋘨Qg|5^jԬuqi#Y˅"CTli[܋$ۣ̑Yks1H*mIQ;@f֏wnti!:)zތ><{P4ڥ\4 UL蠼xMK5 ߐE|޳=W kB*OyEsڇnD8~Z]EgFe<=̱hĵM0:A{T݆S")vFM YD }2c{ s@ DYv @{pgR:h3 v WzaNĺ3 .[7tZ5>(IB6PO&ۙ~@`)rBF3p2 Ym@#z#5c_&7jP*.(R "R7I"鋗0[1j9AB¡&Ew-9!*)Z ӿ+> n q n 5O% :HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/types(/`7m R-PgD|wSM aK3jŠcffTSbn:]:KQMcn%~]= cis:E)׎H}Bs,ɈSY P D"> eWz!,)3>78MP.fyt ~uˈ;}N: `QF: mn(àvLBa 8܎H^9 1@'In"FMM !䠒׭ݣck'4]^֥e Ђ^6pa8& NO2w:PqDDXl$ ^ 5O)4HOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/parentsHOL-Nominal.Nominal | 5K/ jHOL-Nominal-ExamplesHOL-Nominal-Examples.CK_Machinetheory/other/fact(/%|0(D耪(l DX(JQO&i=r3b\/a5. G9G JqGEϲPD+rk`$w]V-hr$0 $e1=.N%,`Ib XdFn+J0V(RsF1S`Iu<'Z-7EYӮ]ޭ:]& u')wHam%MeY`* he<Ђ`- op@_sDKrPŇb rT$B@y0K$ ذa5áYVCqJrЬ 84+g9ô$qp@IAzE-PxXz2L,ۙtJr+J~ 8(ʋlͽmζzݝh⮦ޙaަ7R4*;v[3-=I;Ԍΐ %ˊFe+Z0m(Mq[<;ilM(фN3DoVynhyȢiǪ9F&muLkǼ}mߙ 6w;~w;g7^dbh?Lj'6DEywb;"*׆dž}0y{yӲ"@ZZ9]2mx$e'XƞxAQ„ĄFP!!GĄu @LHλ>~o^f]iI,R,X$7Ug&ls8דLGtTDDiIg$ϸƊebxrFepfNy)wD6F$Xa@CG,' PPc ! e 5O' BHOL-Nominal-ExamplesHOL-Nominal-Examples.CR_Takahashitheory/consts(/`jHfu"0m@-UvFXh'GPSfDDN\ qz&(OOٰՑz1oM73RN)Š "Y,bj57ڄ57&h #/1?0 KM$ dt+|)!c XB8ɣ/(>X4ox? EQPc Ǿtige#<*uO#ʔ͵7Hq3&©'1xI_5kMbx wͭO-q.g5,1/.àLt" tPCi1ސl^kgj)%f. c@fI=aMKoe+c& ȺV s5,e:KwPͳ,Ut s0!Ւ?]lXt~  e-8Sb`gh0_!7hbR@[ɸzarj\"ͪ:~g",G忊e6r&,/=DY7I<\K#ؔf:ˤYěp@_чc1 P|o݃Θ МytHeOFx{@NIm>q[6vI^0&kcDT[g %czVܒ3\u字`#.V:6]DF qN6bA#`,}}\<*n0/cdÒ76E{?2ZĜ*рcb:3$7 y6`ۺO 4M.'R8R2:3'7rqbuI3`4',~~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