SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info +!tL ]/ HOL-Induct:threads=4elapsed=10.895cpu=36.044gc=3.0967zXZִF! ]ŗXiɟ7KIxjbk- =x,>VVFXKP vD`bǀh}3tVl4iFU5S wzK&?ҍf{[mBZ0/F +Pu% 6Q"`?;؈ r'yb9q1hGH#@ӻUz='1^`Y6WqL&fQz HHO{1]_/U-ia,7I.Hz5nӅ2r3 }bϬ|k˛:T0ٵ@kHog5}{VA-.pLSVriƜ}Q׌dAC.\6tQɡ;6 T>{So8I[{' }吆߰JO  o'Se&zQERˋ3x50Es?eE /n 9VN|gYZ7zXZִF! V^]ŗXiɟ1Ml3`L"Ψx Z&⢘:B xj +܊'Pcwvvn3ܱT|JJD||e8 ?nyUVs/ ,#c-XzbK ėqB+p[3f__C_L[{m=en}2l%c90W~Ei2?+d.[A5lq8⛭<Ԓ GbKv$_wdغ4W}>֪Vhh TlkWQ54}?pimCǣuJ }R!χ*N"G Zm gYZ7zXZִF! VG]ŗXi%BzTMo(ZpoqgH蕭ط=@)p8fPJPpzj ?_uJlVsiTCy|X@J=4$a ܬ4P BY;h.ٟU"FtvhoGhx9~)M[d1a)8#O!wlb{=QWQ&gMk`*d`mte8}4q8APK vII3]qsjjT.i cD>j`)q Rs: )yw-"K;XkW( 9v+|Ubke]rYXZaQJ.Eh+*KëKmrn- L Ȣ x"@B-$H~g\3/wئFe/V

7 2C/`ϘJjP#.ZZPWQ5G@$Krv~ 'ӌ b_Fn1ӛpg4adaM&zT޴A3~Mmƭg ۢ'ۃ>L^В{8 VpxK,&]tw-.cphה")esU\2NSSJ=d4:Wn=ᆸcc~'Կ<ڰ,c%rwQYA P|y/d@IfΉ7y$J2kvZ -ޞkAFzcmϖ{`5 L@/kك?˭ 7[btΩ e{b\8<Ntʷ f18G{.v仍B.(_S*#?L&r,RAwfDZyƐgs( b[:U1Z; 8c؏].cBp+3.-d1sXJzk5&Ф2 pnZjr_}5*Auɽ EonNJJ bp{R͂,WdI2zݵA 32Y~O/mOssrJif/\}\^; KţٱgYZef5f1888323cb143429e0bcdd94cd267a7b9fba696398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49  ! HOL-Induct R!-% THOL-InductHOL-Induct.SListdocument.tex7zXZִF! 7c]A-MՋhvG"uIBm5Ȗz%ZŅ i]@QX˄%V @sTanPJ8.^As!5߁k]Ww{"R8l3|\Y70RWnQWzȰvyz'B刈F,seʾ; 17 FWPev٤k.g|R cqkť%=qݔ-짮rKY}xp*uf"[Z?43끗GDnE-0}\{l0-B|C.?$#fޞ{M?%Ua> 227l9#2j%y#^^6mȠ6~r)kVz%ڴ{Ά9|"I8u t GMU̳/@GEc3uba|4TC%t1VR0 GpP%ѝ&˸5q>$((ߕDJh@(@}4"4}E0j RNb8шvc*H̀3Al *; PflbD8}#>d lm'nپk {1n+z_兒x^҄W>)T`4hDqBV,[ V4ߣʦO:=5(G+3qO|f[Dխݷ=Ke@-O#ZDp,k .yֻ1I' pJ 6AdBN5L*F{KfG,_DS':ܴߝmg>(3.OC1 )|E1 V,<K?kdE}(2v AD`Μ{Գ븣Š35<=Κ\^Liz 1tUڵ$<3_לXo^֌F~VF4T( ɘIP@ ׏(>a*JE2NWCt ;M,୲`| sz*d. ?9u>)E93O1~te 8Pc >À260#&-gWfK*^~攖u秙YF9BQB;-ٶo3'i )]Rc{F %v|t^"PxnեbAMHbV'P[ Y[;T 8t5YaN'v,x#2YNŁ5yÛҦ.)SAI=r[jad|Mƌ fx10OCm7p16;;rZT9jn gcmNں"NzhHW?]G|3 7%jL ?^BEkJPKr ct\m`zig:5'lesN;ϱ̎;jUJOiY7ֳKkPMJˌG6-zI (ͳΤz4c5QA^-jzɎBwɰɋuJm|WF$,VGE0̚d?W "_E$:I>3BLhTw%#K5_]u0\7yҌmFWkCs6sVYLEz߶k匟 :Z&Qpia L.vdvY?3hcOXZ_ @zP"k_cGdG}u1N/2Y!GFuڱ|5ٵ=v!;-@$♑3JhB(O̯L¦q3E 6f< D˥XUjJs.>!"t Y5-LҜ.\sxV5dNxA%"MfKTύFcDSv1(f\vBW)k'ϒ1gd_H6,5\V^m;A1 ByI%~xܒ G "IX0<}WGq7LdFTYB##Qᇁ{h6͏7eT !tg9>_問LY~cblNk]Cخ _tW7/z(ǵ GKv Pc|u0 c?qe uvk+2 g,\ lL [+x Ɛ,ESMlpm:ՠ_KIP$wLŞ?HmJN?z)@!Y"rJ hQOB,pMPb;/GfaZYy;|S_ Ԟߪwr;BhPI`%jyM:R̀<ϛF,я\k|#s)@4MZ5"J}//B%`a^V;VkQ=Bʣ`?}[c^'i 6c5aŦ˚QYon)Qr-9)@ahrr*2jeOVv]͉=>tfOffpF.'+&- ŋz׹`qH>z4#X {Tc:`irQ9M5.h6Š3!KoN g(%xT֭:^^n B+}3:˶;Dvt^Ӏiu3T2My*jcAnx_yZk xQ=Fl Z-3m!-lQRFaf{ݿj2,{afxQa?ntyh(KaY/2HR)6wIp"@kOCGѰ^Ȱ5PL֎SM"OGKЈ>QMk(vRvUKB.+'Y_-Bt˦+8r&jJ`N~,09ޛ @~Oc3VDTl lW23]{˶x%͋XzAyuD^)řyebPdWޅcy-25ڸ^֎t$YޔV2z9;?d>Ϳ=Xqp;E.izndJRf}~!5]D'w HM0C \ՋXЙ4qӭoY(}j-ϩa$`b5ɺk\pg >9D XC/FіqPؗ З~"V܁^WVPF*7ޫC!&w$BކѺx#1_bD@lcRsiKtd'!:< F}z2|bjAn q8aV@g}yjja3 ="ͤߘ7-krW!Ե@1GY1HR)|FK!A%Ϛ*Ź>՘d?c2|(yEM)ɀrc8\8ZIpP#NQ@j&KܤXWx[\FJa8`$m/TܔM"aq= -S교7S4^3?C+͘Jz5- OB.ME%qXUZHFr)FB_S-)jUhqVA̩.1.u2o^z5*ۋD:"XHZ=1^ߐp<2Ǩ/QꬖLlMn?\?mbas.- %gμ}=k -!@ŘBgn,t7b¸:DycEf:Bzww0—:4]j6# k,se qA:Ut,#G w O{|Jy)=Ǡ!m$7wC5 S?V,tO[T<HaU:l+SW =+Ox{Cd~_nȫ@ŒUcF{)!.HRr(5ZIq=?٤HJ+<-1ETj7mR2njإS;c;y?32hڇՁwuӢ,qwe'!Wc"Tn[:(^L̖n=0>Fk5E(*V&$х=H}RfՍ"!E(ߟ<軹aOl1mʂڂ+5nC'/(|ǦiUm[y y Ire oW|XI>)e1j PSϷ`t KgTg @>x*|2 @e<An 1 +C>]^69lJU8:|GgϔYz0hrrk65zCc?_b.BHT; W@"Տx դ%te&Ǟ#݋05r #¼,̬ɮ{gՐ-؅KصjQYa (SQz uQNo5jӵ-FP )*p)A^H Xm<驦;ܹwo1yS}&EdeR&ZK掞Z @0 y"ltv $۩LHo6ABTE-f;JU Y3P>.=Ӌ+ g>/^j(F*4mcLGYřiG@j`˨4$#i8)ٍ;kcl:1{lAܒq 4fѳՙ z)'{tb~+@)g13 \gN?L_tL\uSaFM?)}a7ŊCw('o+jw.]햳 4AtGӊܹqت8%,#vT-XWd"fTJG_)>%h+ny` -%ct`Nی9^>jF~qz;Q{kFj#u]U^|Uݏ: KŚfц'@A [dB?Ub)E䯳]"[5`p붼5)kXta$&|ݸQ^2A?}g&c荐f^BX63G6>YP VpJOtoөo |dv FLHr񷂌`7a1zV߀'"0f6Cr!;(@Ns*t=Z#ԘݖЌYKoJp) zXN“a|t<NzZ!]˗߃5 lXDu~{0|rjJ|Z6Ilp5i T hTZ6PrJ %RUXQxQ[Mu+"8{錭fNKWkeGtm%IcV^X@3-> b"J5__!@3 y%螓^x}J}ZdM:+_pGĉ(p1}{C=}1ol!d鶓+>JiJkm   WmiDy?pWRyMZBϮ)H>-݅CuQI+2q7H W4N9s!f@Oi &A\eA[}DTY/싕LD}Iݿ(qqB)"2 Fz#Jߔ;e.M̛}wQ_Nv3U)vMށY43鎎+XZBEXbâ7?vF<2Z60ܮj`'ђk] "d㱎a {\i~̔u ޖPDT*]N9F(Lji (|ox{\(@wcp#H,Z/epޑh:Fyk"}3 M1UbKa7Mm`R+,u2'M͖4f֛m\78f׸ɯ K@><$hNg7>s$o,<ھoHJ㻗C3CUxGKoz/^-s{ ¸t+U'dߝfy*")l(m, `_B}#8EljKЮPƾig*sRi EnNy7Ά/{hXKݞVi=f~@O+kA590W[%eGLgT7h3d ɹv,q|􍷫)x$aq{fq 80 t"J.z8eI>Kn=UgnqYo`aBK8)o#-U8 aʷB7v.5/0tcz!XnR U6(1H{+빯73ӿ֋EaD ify,Bhڞ?=.`Kaj<4yOuGPkItkvg+]?`T)2vak= {IQb6 1yF?rfXO?(,E_j.l3Q:ҏeI=.GDѢJm*6/y/zaTN HY 7oJ},bU.v@&[&{@kBnLaL94D;7R=] g`ݞŖv.ez=GN.pPz fBG8?3m%30'Fغl~h.9[d^zaI&܂k&x*Uֆt?YPT?K6~d-IտHYMcbvؙ  ߗ<\(Y^yWvTGcin!\ |~4h'r̒hwl~,Rr ;G@MO}? ,Q[ăD.+ m^mT)KI)K.ڄ+OOsMb@`GA^v󈨅(*AlRip8B35̞oҼ\n"6DϖwxfQof9avE>N~9.,bN)#%.a Ď}B`q3hrudB۪c<8Hoi 2<؟0eh@VO^$^KO3$u[-s3Φ@p h"ʧ^vqlj9oQIlPk ?1gOo|=ǧYJoH% !? *-=݁Q3z2a:KzhGarį[ŞZʐ ǔDBGft̄ʉCȂs K{#9Xď$3.k6>o7ACAM(oԤ> nIڝ#tH(--aZg]R:+xp(imIb+s}ϠP#r Nj{:[4$4eWĶ}YKj3uꯐrk~Y*2g2]tg{7& 1]qfΖVܙ-ɨwS9S56LN#Z#vFWXk^-ZF5V-'kM/KmM$O%V,,2wMs{θKAVM :qrLSQdyqCn|eΪZc G:%I:Lk*s?m̨C<8r:C_a S؀xVHbg~8IPƄaBg m@ٵl!"6@n,'3SNFDؤF\!xݍ:UŽ9Z! $W1G[nY:"&o=D\"Cɇkѥ-w/DV뤉#͢c^v^mk  'Sh{ibV9͢%–Su d94 xjK"ѾάQ/-ƘRTaёVdE>dVVizYZj}ica$c{5g<PM0r',maqffD=ئfř-wki%1˛eȟ 7&W `ЂB# q` 'Mlv5klϜ,xogYZeֲ| _D$7^́,WDҧW@-R*Rv N`3 ʵb1/towgNȄ1S`}`E H, I*^"/ 4SZ[2!{"wLm8"q2-ـdN/c-8 2huw&:Ez>KEw qrWwnYbܟ Th?H=cQӕc= ~8L^ړS_̚Կ%nIUwP6FK[l~ 2KNn95gB%r a; V$pk#HQyB$5P>i]날gpBh} RyA:6jw C _Cd8'g3V!Sw1l1t'A=S--H[YLKSbUӼ٥\-`؇nl eW1DToM`^y|ǰ}gt^x<}Zd\cĦK.2j]V]]hDv&/?kߊKcb5L,܀v{DuK(Hvi? q1=uyG~dl5f+`&} |>k|\=|QjІL SGY¢Ч}`U\YniI_+С y ER .Y{le"Ck:G ] k!hvC^S(y̓J*˿(ua/PW9pN ~{;EI6 .6Cr\߈bŠWZexcG%SM\nL%t-\hfCn{zj JĈڇA'Rx]HN(/!v{k; h[ JF* lv-@x1! m5SFۏր$l3-E}{H.odn_ݰ,]>BvA̖h't%1!O)JF4 +z`4{ ke>lȏo+,@^4&EXlBzN\iu|25\$5'؛b3rE!7vBrȍD]n=+6fG[:Hmj`$`@ 7x^R3jCQ 0 !(y[9OOB2% Cf8>_TBJB2}i@7w"k)E'1j$vvD*ʞ7?=cA[HOE@0"\ ty>(%~`aр1'S )" u+cRߏ黼^yV GD-{YDе᛿.VxO1:RّCk*ʙՠ@h;Ƴ (`'\Q)Q*(;dx_8t|+N]vBV?nnmUinߠ\_g b\|@!&ͧZ#fh<>JU<Y;Tv7>(LsGRw3S*\. OFcSLbzA{ %ݏ|%N6/iֵL%f14HBW)k}1Tlך? u\Do;V jiiUgĈĩflY~X0Rى&V_AY; <䱾%C07,sCXE8hnF*zKIš[Pafƫ.UW:ukt=dI΍َCD5kѸav|gekMZA@uLBK^&tM|QtV6/K 6^{rs ?KrӼoDL#(O;OXMHno@J ֭R_>'lפA;F@mɳZ%ì-ha9Ywa Z Wc1 ='8{荗?j9"~4i-۳PNh_ûZDt۳YM  (1XQ7Fb|`UY Vq/D@"/'2 j<ʑ(!9VI6j*RSrUf *EVJ6("O(̩jWȅDJa@Mwm*fH OV\o1+`r5$3vqlS:a S:zI:;/^k"?dBw,,:1xri~|_Å*@~ (IMNO[f;)_z=#@ =sQ7.8=46ч7nN\o$gr>N3;NzMj dv ͚|meG}!oĽ*0qpS1KEQ$P) .ma&2wkqspl$!+G w祻7Zf@G-a<Ζ4_Ė$:,>Pj$Z LL[yg ΰ S@UNEpX-Hj;ᠻw!poԾym;UC W?wz<3Am9nˬB]OoWc3Ʀ>3\ $bmoq4I Er\eBȓt^pMk"cbtೳmQnX{KxGCG 4+҇w!GȹPz0oInZtT7#j[:ZS̫`ZY h@uOz^hMÖ}13xT]ttN"QD=8/ܓԛs:6Tۍ!X;Ing.ݢ;T9Zl';ڥ"k20SUB ?O١~Z(hEv:>{VS 7@S?MIܽc\^5w7&kձgYZ  R!-% THOL-InductHOL-Induct.SListdocument.tex7zXZִF! 7c]A-MՋhvG"uIBm5Ȗz%ZŅ i]@QX˄%V @sTanPJ8.^As!5߁k]Ww{"R8l3|\Y70RWnQWzȰvyz'B刈F,seʾ; 17 FWPev٤k.g|R cqkť%=qݔ-짮rKY}xp*uf"[Z?43끗GDnE-0}\{l0-B|C.?$#fޞ{M?%Ua> 227l9#2j%y#^^6mȠ6~r)kVz%ڴ{Ά9|"I8u t GMU̳/@GEc3uba|4TC%t1VR0 GpP%ѝ&˸5q>$((ߕDJh@(@}4"4}E0j RNb8шvc*H̀3Al *; PflbD8}#>d lm'nپk {1n+z_兒x^҄W>)T`4hDqBV,[ V4ߣʦO:=5(G+3qO|f[Dխݷ=Ke@-O#ZDp,k .yֻ1I' pJ 6AdBN5L*F{KfG,_DS':ܴߝmg>(3.OC1 )|E1 V,<K?kdE}(2v AD`Μ{Գ븣Š35<=Κ\^Liz 1tUڵ$<3_לXo^֌F~VF4T( ɘIP@ ׏(>a*JE2NWCt ;M,୲`| sz*d. ?9u>)E93O1~te 8Pc >À260#&-gWfK*^~攖u秙YF9BQB;-ٶo3'i )]Rc{F %v|t^"PxnեbAMHbV'P[ Y[;T 8t5YaN'v,x#2YNŁ5yÛҦ.)SAI=r[jad|Mƌ fx10OCm7p16;;rZT9jn gcmNں"NzhHW?]G|3 7%jL ?^BEkJPKr ct\m`zig:5'lesN;ϱ̎;jUJOiY7ֳKkPMJˌG6-zI (ͳΤz4c5QA^-jzɎBwɰɋuJm|WF$,VGE0̚d?W "_E$:I>3BLhTw%#K5_]u0\7yҌmFWkCs6sVYLEz߶k匟 :Z&Qpia L.vdvY?3hcOXZ_ @zP"k_cGdG}u1N/2Y!GFuڱ|5ٵ=v!;-@$♑3JhB(O̯L¦q3E 6f< D˥XUjJs.>!"t Y5-LҜ.\sxV5dNxA%"MfKTύFcDSv1(f\vBW)k'ϒ1gd_H6,5\V^m;A1 ByI%~xܒ G "IX0<}WGq7LdFTYB##Qᇁ{h6͏7eT !tg9>_問LY~cblNk]Cخ _tW7/z(ǵ GKv Pc|u0 c?qe uvk+2 g,\ lL [+x Ɛ,ESMlpm:ՠ_KI!=% HOL-InductHOL-Library.Old_Datatypedocument.tex7zXZִF! z]A-MՋhvG"uIBm5ŀ9"*'d>huG\sO3Ӎ⪸}H7Qt2@I5 QH/^ŪjzwT9Ǟ aV>pFF|>@v YPkuƸD>A"@;#"/ꖨw:8>҇iW)Cçuh È pzJ۠2 =-\7# [S`ieNWtkt#Ve{4 eWG\nr| &nCGrb(o-v[-ъ׈?bӖ'ߓ"j{514qm|!}]JE\/>Ws8qc ڭ,Jx"~;]!"ʻo=Et9<1\o7Q;z Q\^UJ_m=f-)6g IsJn .#Al,,p=plAeN1S_: Q_m@5[+~`X/0G13޽qkdg &q9?&v\)DE[6{A JCُH,۶--@>Uf6)k[3诈kё(l q'\f"n͋¼XT86 MUȠM`v%pP KoT{e|gs~Og$D3d?1;L 78Uʅ Pl)c埂V hJPPJ:1%%-@qb|s 4fq,_[)Tk+ Sjå}D䫖!V)47s,)^{hNJ'P GWl_? ̲߫~v4RO~\[Z8O5 Xo}n"i4V#b qU!̖)HxAd)rJ=sHhcA翭y VVas%ee *)b"L&oq\cB3ouK 62^h}{DWb+EN^YHw>cژ7| FF. e`9eY)]6i&/^75<0r'N7$$ny1-z1#}ʹ T('t5J.'7Ms{7wp`Nw&>ezJXm/:7^TU8f"sRpYq j)5t1Gq'bD7[LRM Lj} >>>sC*_ُ#>+R~εz4M+[䏢J2~}!D'Ũ"GHND`)#t+hR?' 34ߗ\_ϚLg_X3}02`½.xZ["<^}wn_m/Iħߌ?y 9DGƝe ]%>,Jq{L JEuªiHx>+jcq_Wz)JFe.nf#q1) )B6 m]qn;fcK&T YDxCY=sFPRR8*fq)63:P}5>N,̰;qWa*gގ&Sj`!waR)3 Cr lZxүћ LP3@IӆRShŢnP- N{Y1sxTak{A|z/.RXMKc[+v"+.`f|1'r2F% rHGQ]Jup;&<ŚYBcTmJ&ji3˯TjŬ3/2>+zv Hm5;K‰6z4c5,M=dI ~}lЊD#&p{pgƑ~#k={䤟1&d3 ȏ*x]#LKs۟&6|עWmf3(͘%Σ ځͺM&ȫ84)[4Rv0CVy,T(U"]Ծ.zn޾"z=(W4[SJ+JH$!Њ")󝓉,`:;1hV5*XB#Q 6&|B6>x /_&T<0bnqCb @m~_R}VX=t'4lqʒ^ese Yݶ +t`U#TV0">[Ӛ"K H93PTVvۜjFk“8|Er0S11Ց夲#KāpSe*s,{4i;lX*\[x~\bUq@U:#J17"/kVkD9RG~V8Gtol?s+5SVBz:E7Y<H:}{ar5_7"+8o(= I3upaxz=9o$fi{й ZшXz}8;(M1;ylw9q4MiM8\$!]=dfs4Z*:W5 f4ɿ'1gP`A("bl(cA"# uaN{C9L@tbE{`cX}h wG,[8vӘI6 g ?V[Y{rˁj@1Zgf@W]-(uv 9$p8]sxE< {2oU)NWRu?`7rNC #z-`u8_ᳳsX^ԴN%in TI/hH<Т U[}J ֦pH󱂩H|q";_iwvvUFm ^|(PӚiȓbzl(+Cϲp@70y;28jq=$K]29[&ߑ#24*1(`f,l*}DrX2WhՓ 􊙭 03CFGBJienWoka1XK!`'ʌFrDV>_oَ@L:> 73t1ضc@#f9Hݴ-!i8hw.< W&P`vKsVP8>Fb=HKGqe rv>pW]K>S&%mW{6J^Nu7k{8z#vUR kVIx,Hx{z1o9_ӗȗ㏧7_{NՃ(}E+K:ZG:95jF,v{UQel8uM̄/@`N `7i}]\,L׽k}(+/9H>"H$_mߖĭu]>SXXeTKcT/;gĦRܚ \c {o{r*Kw3y~K/nҏJlE{LS]kX: H ֳ$d ܞ^TE |#p 2Po䑋^Y qQ"Y8jCMNsc?(P;:Ak:K x5Ӎ ޳I5y8e+>&Xϟ4u/ghC3[ C}DRi'uH^/- A.|f4A5k܌Qpĺ̜=ʷM/<[nodQ/hfA?&uANFtڇxxcJ;%ݏ@ʓB $t4 Mh ۹ѻʛ'rj''޸aTh|/yOdveo۵;-˩„Zh4:pgXmxBw {.TqG5|y:/lC f(C2 6۷>+!HTJF0i_0iեToD;;ΓO˿aۚwY}O WP!@DcDTOQ)`u[EMiZҹUcWtW%a!gٴfŘm!6+Wm##Mq<VTT+E4HC xD>wt-5zG~JASѹ" q0 ؁bv%nljыmmPpefw^ce5e;| RߪN2B{*E .PߺnTQRRmdm߹a9:+b0w3m@G2rMmeЖS`~9qcMUс{56φ1_| Lka[k\ipд]KOR2nB&*™3h Q ԒXIH4Ӱ,JBE2ozU)^0s ?8Vm QS[>n@`> =|)+&qQ#ۍЋMoh$辷<\|#&x%cz]j~wŅM?胫*]FHP9NynF[qsݬlM=B(µDVW</qj97naXs#xA#sX!vo$9 ZPIry*ӆ G3HvSa{݊Cp ]ڛ~^JaA9d& Rfq%%vrI|-HD5li.Frw'H _5=4ϬOQYHGLtblH_,m5lߎWDI,R=6Ǎ:݁г)!Ȅ61^P\w;,]cn`Gx+F1i8hJ@7y[8]/OEvC2_޾Nja`f!t\pB3;P'ݑ%@F! [2H{ӭhct{ OpNV6Mq-u6x<3$y+b.1x-N&ѱMtC ҅VĦ}~ėX1Dԭ+ew6j9'k<ͫ߅߀v=WԠ;戜%Wo^We@{$FmAZ< S$VNM!'[;Be4Nj}GCw_"r7Ls!t+_u_)pF6'Ok_ I WK"H8uF? ( Idľi&T9dGߋF4gԁ!j.{D;)/qgHd¶6[S[5*xa TUD+ϑ^3Sfa0CQX.)C_t(?8@XŹ IOC#izn-tHHC`j[֕k7Dշx}KQ6$|!Mv Ҝ}k:smͺ<Ŏ\+)Q`ގϥֲ>ֈn\O?6R%,g%#,Ym4!Au :wLXHGX%c#3\hbv㻐M4 Pzl@8;k>u+wHj='`cWB;( n׬?䋍`p]]ptvBkXw?֥)\-D䘪x]o5 ~ZB|$VuZS%S&>w$_rhBexTY2݈aԫ#ofJ;10 )LL+mDi$C҃[m~lRCvCDe Pu_s~O ~'#x۸|WgX-GdH3b'W֚y; FXZ9CkE񋋹8wb(=/Wz]YE"2o^w%-۔/O8>k0ڹ\nxON(1f՘DS̆JXG<s6=?dfT]b18 ,.,dFO;Gĭ?1Fk(C.bIb!ZF7R+]D]]Z*KjrO_J訢 N &,oc:6ʞWf"7{|*U};9wWgPmOazMFv$/u2.1[7^&HJv:4@~"HܽIVExX>ӘUd]vŀ;1VW.a7F1T?(ÓB>"|ͥ):`{gS#uM1D?Nel 5Ittv}$VaI,=]YWB .cB,J?`1`hҏ85. bpǙXP\Z|UdLU'*g4LӖo(: Hc-׊xJ?M[ctÀĖd,$8Wzo:Ϥ5}y#%&ityGTY7d0j}  E}[alN1n)OɈ:cbJ=pQƘqX@ۺ$$N/JS8@ îʓ'dYLxɞĦ ,S@T41 ɷg_O=j|qgF)zGq= ;1S>v{\*?uVyx}SXd1&}əׇһ} "8;^z_gYZ 2!E% |HOL-InductHOL-Induct.QuoNestedDataTypedocument.tex7zXZִF! . ]A-MՋhvG"uIBm5U$*z/wqn"NIw-<;t✄8XCa Em."8(PT1`;0 k<8UlptKEeS;77Re(IBV)Cb|94r U;oߌPPվʉnMgD/Ӈ,샿A7-YEaZw٘ѥ[yorx, )@ʩF)@jɾ [DJBb,׷faq#٫psCYd\5xاO<6jM̐v` ľ&>izȑ9SxI聂0Zeӂa f \QH*nZ+f^3qO0:ԁ{"?BN+yn1F:C#G"28oX5BW{~%7=%ZE\З?9nq doVu r-{p }[1!6?12ûLll9by_E_+QT9/K.GKr! - J٫ ;\,W֢MU.o`rL7_7EN@ Kqr7ϩR'!Ps6˲]{/:0\-$ȑpi6n8}x4w-^%Rhq|G⦍Mg1}$"Ҽqq+,8VVJc_Uo IlpKYәwХݏ|V2nV'ym:F=EWW e,XkZ[uOFWO,+qP8~xd3{I^+ut"\hb{(VC#&w>6j>:wNXg|J) *c-˜A0t}0sk1+9KY"5E# tuxI,rfEn 覣aKCҵ1:x^e ޘf~&,A~=F(ϴVwV&5~ -&ulT^8o&5-6q.*׽s6˚ɼp "OU׶S yGҧ O(&w!O:Å:gY6h]Jqz r[ (U}ǃC!w[shBM"Zo'MևVҵZ\3uΧAǚ% EV&PKzfvk|~,uyʷ,탁Ɵ$"n-O(˘԰̉iZ'>Q+ZLfQW9GzicK wU×h'k5sKxș.;[Xvx=rf3'vZX%}AcHy,Wɪ$~ǘ~&:ij[@,p\sd?0P!FTڈ^WymXF;gmGV/= Wi9{.mM[BEȀ"${!4Kj3ۘQ`~<̺>Kf\U4.@݌NC!];3W 2*y݈N16f{Za+omJ'ۂ*͠[yQ-1.\gk]yFwȤ8sjXɵm&Eѯv-^rR?= S٠"ADYwK'b7EzZhmUfNv]5Xib[:( S!iTO*NCCB={tndc!blֶuf gVҖ:h Dj yO=%KlkwތO#cUG]>>o7ᡣbd K?B#[] 8#R\+_JƉH%/#QU4J~^nT`.|w ;_ZꈃR7 U4\PީSg f|lJQ+#dCj޴Z'FFĎZZ`46QŬL`hl{`ۣcX?ps%F,Vdu'kp ‡qt28& 4@L˵] 9xit n5j]-+"3ljW'H+=qD]2PdЩ2wSj͵4H6W{qAHu1Z fS]oa(ËSIou&j?meKL=Rvi%M~:ȭh}s%suX(ʷ)Kw)K.Uθ;8]}vRi77ɄlxkPz~đo"P; !+% \HOL-InductHOL-Induct.Sexpdocument.tex7zXZִF! bt ]A-MՋhvG"uIBm5l;S 5P2SvO͸LL!Ex>tդ$U{ O3=F-FuW9Sy9'(Se},b@&BQdt4^cv65{KJlq}~fM_v\QtUO:`dBƟ~, KJ=g5Ib;;I:4膈y&P*ʍ4rwU&3ˤȒ-M|8]^} 뱵|/6l"@P+ f[<0BNż^< 3g&9<Ӭf([ЗR%-~,fN)G#9^/><%nCW<~HO(C?WzD!^2XQ딗ӧK78&j5͑bF@Q}O)D& c9NOXirKF{m07Ӓ"F(Q95u1C{8+С_\A}tݤ[yyC8߸1{kFR#t$uA1~vakqEIbz4;]D{wmHz"ɗy }XQsZ[ՕzEl^ms^-;Y &j IRMՔEkGc?i7 -FaaY ^9TfO꼽W7n|87nվ,AYx7F 1&b*Jn x ]ɋ csj*- LA\> uj܇ǡ>-^Ql,GPҐن\GW:}=Y87#!`g'8/ivPQ* [D8 J \I!%ף"7QX { n8nR)4 Υuð+C|yjĬ@6 IN: ĸf"g L@[yc.vۭjӐ@od81_nU@V~$~e6>8{kM9 MpsulI%/P=jEqqmqҥRG6զ #aHpBjl@]j PĉU ΃|?SʌHl uV(nkSv|`f 7K(@x}{03}<2qYu5kD0,%A@^z'568t B_]ڷ>7vJe5UX @.2һ5 UNcnul yWl]h#%7r e΁33" +>HTlmC?]laދ^-ה:!ްR3G?bnvuC wqĒ'DG}h7"֬ Ce4xtӓ"Q"ݵ/ٷ"eMQxd>['45bY'kI{2):DXPM4rH׎ݩeynQO Aoq!6cD Ixo0gYZ ::!-% dHOL-InductHOL-Induct.ABexpdocument.tex7zXZִF! +A,]A-MՋhvG"uIBm5iev|׫󾟃1L H/Dv5~yc<qsX/E@а-XwۑrALO3#*G@2F+X)<9h bOg7v^-oÂ*>rەֱŔ^a lB ,\>j!L7nl@~D.B"0 WjH2^vױW.ʩa82 pa zk~FRAu.O7;3֝_ F$V(z$uST,K_+5<ߔ5 k;(;[hUŗTs Dmg?y[.)pX+R{4) U(lt_{9AM.i̗JFLʨttt_֌C@ly:={a?<4<4˛ mOg{nxt_]l{J9gvKvvèԺ|U~EQGW!qrHZϰo$-cX8/J2 +8i>rw\) иL?!6c03#ao67)߆)CNDV5:_{a п=zlkH ^vVBE` \$쑑~'՚s?/cpJS!ˠ}ָX۶Ҟ¿@=aο&Gz&m~佒SiOY1h$1Y=13kHW1MIH(Л\; pW:C)ʖ:IM2Ll!Ki!,U|&(NQ>oG߀>edWKe.rizTY &HTp^"xya$ +otC. v :N-~뮿sB]7Bc޹0[6n;Y jcox Aɘ}Z!3R V*$+gYZ&!U% THOL-InductHOL-Induct.Infinitely_Branching_Treedocument.tex7zXZִF! C;]A-MՋhvG"uIBm5ɰ8- @Nͳj2}yYҔSݍиK^Ǻ`Qˌ$= [G[JU[xWV&",9tݶfHhPS-Ξq?fKR2x@=nV^LC87 Ƕ<8)S?b4SoNNprѕ $F,ğIW/5d+ gݜ3K9qu)py / dzd1 Ѭ+~ t(Z7ŹRy6RpGP>$3`UY>~G+Ê&| ƚY_v.¸ w,>آ.ɭwH̓rcWE} #0w-@jfl[πjR-[m=z1%L5̔(,jp2zݷfQ&Ս~LXEU*!WX LM2#$"I 6Sﰔit A?v2dlıv-|>;)rpϒʳiƒ/|>a]6OBh/@Gݒ@6Udy{o% 7mx_dָYs`GjPgAD+e)5Bm8-.`u#i_9C8~yWovDS?4&cW']SnRE=[EziP+o&7kdP fU D\TءW6c[x4%jQ%UUY]1BXv_3vұJC{Z}N[\0ؠu%z^ J@hv@&1ԲBqFSDE[Xk9ͽfȿVŧ?I㙿'RR48eX`K( ?mS8%y`y6%B(miydzY%̅Y.~ADV?/ҴZ,(93MM2,`!ۣ䪰Sƕ?q n)ɟW'=e?YL1kڈ҄S`GT:sb!U59!v^kxPß =qph/m4Cb]mf _(7|;A]//Fh^eeƯ#A>1݁. :$gYZH $mnA<7H1J*u|57E㺏0|"q/1Cbre ~4d9Mf^S-S%jqk+[21sS`9$ƛݱi˛"dtV=Wv7-GMj/4BYV'0o|o_ 쥧Y>4焳ٖ&وD7ld+Rq$L%s!ZW,CKE7W_=}EOH7ehh~F ƐmmpU0=\ޛ`b.)@s-.W:p`+%`$s ƺT;AՒqzC5lb=_No|]Ґ2RlkIdc Qbs8(l\Wl-:{B:9G@63ԟæ[,ɉCy3tp׆AJ /s_u_ 9 S'߻[d94s${gO.# lj|Sr27GHG5ʁ^RkaAT(nw>mk3"Ӳ$vd][%/Ŕ>Qcw`PJ'9uIw4Z=O7ҏ1A,;6)Qo>J;^-Ld!${sW[5x/_CW;24 UUCʮ㳿7[>1q7ZʬH(* "~b^ 8.76<p#~3 S֪R|W#*\?J,`Ô)L㒽 [,a'/3E]Fle@G3>zş=&\Że< Ǘ|*vA5NrUP2JHb 9qOk2y!}ŲYaޓ!)FT&I_r .pw:P7o}V39.Eik7ik |0_l" rNUdOv\wU˿p{;Jl0Y(HmjB[|eU: {웈= $mY IDK*:ol|l.Ӟ:Ph(K#@oC;%4H^Q! rj |Z 5^  ; g~Dzg}}都`3;5.s{G8@A{ d?iA 3"T#{T zZ(1lłlqg-5K~EK,ƶSms:8t$0>=d /[Y4]F |KTN6ЋB%TA;`٭4^Ȟ68>EkpO[` *X [ J}6Nbբ<%j(}$HiR"#K,D$'xH?U6_;gMUdzS:_Af"'pN#0+Z+~nL;r29C2WVNS4_[@aN9r:. #IQ||aoȁ<<90K]部袄.yW 1iD.NQKbP+ nS/O妟zNʔXՂF7lrCGOT-~,*_`H§)}9Ŭc[3#4TZDZZr28IgYZ   } !3% $HOL-InductHOL-Induct.Ordinalsdocument.tex7zXZִF! " ]A-MՋhvG"uIBm5Ńu V ; b{l鞔uR OH_S7n{8=(IH) ?eji B*VIٶ!C0?z1̕IJyv/arz+Rs@%l/;5Jy ~^/H8"/ ©:U6_D:\nnI f3ΓON/Qlߓ8Tie&Uf}y,CEN=&'*zfӖ/]A!3 Y u>>[`sgVn=c{zTǽ9WK&k5/* )_T+g:~ԕ8p x {e߅ '^qʈЅFED҆7ɃRA> !n}[KxB9-H;gn|a抣ͳu}8:|βQ9\3% <KkxP"L"$£zbVJ.f*PqՉ -2qpX{Θn'k)#S* \!Os Gy UP~tsoc8Zh4/|,&.}MKeI^-_E*o,I0%#R7xi>$3(zMN u^bCq)UMq,pOJ/Զ-#eQ69Y}Ss8 @eK(-`EMގ7k) `~Ň#B5ҫPX#hƌQil"ТU4ROcܚ11@4pU#uln_l͎uȍ)x_ ~̿W29 ?E at?&%s#L < )36YՈm(eM'X$d"( U2#+ a*!!./s15fDi;EGD]|9J,A[wsRhFN@3r7?`;I_&sJߓ3E#}{F|r2zWq׀DtUag;n4";tMm'|܏P/wZ1mak1Vkzwzl͢kTj:Gzb$tC6OF>5 E%*,gYZl !9% |HOL-InductHOL-Induct.QuoDataTypedocument.tex7zXZִF! (]A-MՋhvG"uIBm5L )/l6^Ȧwj<7}nFW?3YLy9};<7Y+T6K6_ .!!~G@6wLKd2H<ԺoDǐ@8m#=W Zs 6ݶcV ѨC8?r@;}AZmJROVUO{"rq9tcƿѺT[/tc\6 dAtn|zфYލ_ԓVe~cx}B/T\+hJ4 )dsw$gK`8defA$~usb2Ԣ8L嚅]\3pvkj?zk#IuwF9n#oDW#ƞ4 tV7c! .AȖEܡH~ R->`LKָJ~/F֪Y8/REJdht&r$j}4zɬ|?i49qz p&}$ԩ *|4^wjJKL@kMZ滞bjugtV`,ђ|NFٚtwt0`.-e',1'<<ڼӶk.QPpR~序Z!(F͏ nlVW.~_<fxAa5} ߹M[`p0!~Vmr5td)NVOm<4'v|ZT9VS#hOQ ?ĿˠOb#D \U|/g!_Iόd\q⯞̉uhj0NK5t,6X (>cC% O+TY΋P2& t/ף/঻ܗ,#R0h~~q dn+AA,AՔqs,=؛A5p&(m=mW~- 369@;lNw>?@-;ɣղYD+vCaP1㴢#0^n51SC%HDBPҥWE^4>WhಥflQfF|Q8^lrݒ1S wX,T*fOڕر"<Хhﲍ,_/-vhuu 5YB:x/Jid|=%=hzT^*![yӣv&(b-;Mcccȫ͕XB04G lv|{$acnz֡s@%x5{aLUЄ5hZ2WTm4&|O2cNL ?UZ|j"CItUmNU+*i!'CppOVՎY{D⟾ h$&m褼 x ߳^6{, ?ZBM^3)U$B?wpH#8#R`,'SUn1@:N(4ߜώm(h(^a$`4:5d=+좇7NUɮ bo^;Ur cVaP觺`PcE>`%ݭ'"@[r.D7'2YZ^bL  x !A% HOL-InductHOL-Induct.Nested_Datatypedocument.tex7zXZִF! +~]A-MՋhvG"uIBm5ij)c· Ճ=># d4-{:b/OG.yᆌtn<3hޘVXvåsgxC~"DQ!^^57PdB?m*rB!Qԗ}@aqӰ]ih|a-Yf Fu @jqr堼.O6`o6tPz_jp!V9/fEͳAlgO fKKRm&r~Dr{Hiڭp%xͽSk[}$k{Vw[ýAO$|n{[fRHcο($sɃg0dq;ˆ|ߨoRȡ%R>PPvhyJBjsa=ȡQQ * vv㿰dYN:MLyG nxb^_ǃa 69E1J¹M#d̛iOǰ:C7Qg#|2"JA U-ϽʃF,r7(̷XǫĦP7+IydH^BWք噬 ?Kp` w.kc%`<R' SC il$pmb4dzh=>h oܘNLa?N2 ٩nTy\ڤh2./$bBAH_Y6,[/ 8/8>Ӣ_= ,z#\tg.=7z^y^տknSO.~&4J`B8peXQVǵ¼WbC n1{4Pj% aSls2% !=% HOL-InductHOL-Induct.Sigma_Algebradocument.tex7zXZִF! ~]A-MՋhvG"uIBm5ȤJGqpAcpxt4pE KrpLx$M +iВg:6Fp@-j6xYKQs/LnDp͡%$شڰ [ډ =4lT2@nen| U7FJÆ#-6C >>L2J\2H-NeRfez/zۀw~j*̲},#'w kCx;R30ʇ8Wu!'(UFAL75 Z9'kkSAfp E X+{i&QIn)@SGm< LD9vPPڼ֍WEOV~v(ufMƳ~<0e1Qzi!m ) evsc9me6SoMCz/9 `]QZ7oó?v}H_5 jF*σ1ʷ2~FڀMcvӈA>_낤:)*=Zw9uI`O6kX-qeeqyrD"h>?Y65Y(:e!#HVDur)k~<Jlt^I4 :O K}Z2U;)0jSqMZc*: E%чKM1Ef7!5aGF=$v-<7ѪR];ǛPH֊76.J> MFէt֎ҌVE_H' jE!>zg^y]RxߴbBT*1X4n%? єvLkvsuJ|כC]auǏCÜV&?vɡr?5&?C T[{2A:: ^K$ ^Neҿ_GͿ I8q<&1_pB7Uj{H 䌧`es`MGC虎A1H.Y.3  4};\o,O PM!-se{rxVs7@;)_62lB01:s33LIf~wo8 pyM̊S4(hq @ dgYZ @@= !+% ,HOL-InductHOL-Induct.Combdocument.tex7zXZִF! x N]A-MՋhvG"uIBm5X(дv ,,f1X9Xq]˝? ["Gnz.a Ba=/Gu-͊E_k\ (,Xe9A굌f$ 5d*CS=os㱴&Rcnhsc ): S`L u{Of<-+5]*ُ)ImP0]궞*ro*EEҝe , 'ո3* O3s9PWZZ|@c@,_)m?W\z;!a]hw ۨlA(Ff%Z*P%9v* KqvAIN; -m-Oքm878PbrqasP66Vztq!>ڷ$K-JeĴN`DqtÀf&6J$4Bk%o^KEo[aa9jE v-8֓<;ԝ-j}Wh r 2&p>_Lsg.ݻ7%-T`_%Orr.5Жע9a褐TnjlIϤs 3g,pNFdi:Ҧ|nC[dZSFG} rC3{Wwm=Ϫ<+^Oqt\4mUI%_:CA /BՙZ+V :n\X)+)5RLjȗ+PmcLLCh(^`Gc4P"ӿ3re{m̔<̺S9vQYaU9x7(T)v#@T o?ל롈Fʻ8)d΂2`SݓW5yuܧX92,{UA6#ߋ N&U{{=(}}.cb4 Iَr,w* Y(٪ M:]2P /-2X威117ޫ~V#J.2dg/plm22w]z`uc]Qo`pR 5yz9cLY[ܘy8{ZR!(g~etqL ~7N{< L\7.kuq^ ؿ9vS>A&]dJ- %:*QC gG{b^_Z+WUjPƅQ)ImHFQij?ڝLp[A pclÆV5+ԇA_P3s#S!.Բ@'$|e6i 2š G1L r[ @s 3X xYAؕtBc%t&42%Ra"37א Lm(d> 0oƮ;Qف͟`?< ΍46U=8 gv\_ _|pĹUzǒI1KדG9oVckTe81vC9󢵊d}TǒQ;֐I}K㨯uq/)k%r/Th{ܲ~/_| DI{+塕Ps%yazN%rO IYT"KJ>AĘGQ39O~[V.q졢fу)X.[|ife*Gua&MOF|J6&H*lr".N\tO*u}*R&)iC+ä;w; Lb{,`UDoa,,M\:k5vh[K :95' l$WOSSpO`Dr1+Ol0k⿟&UX;׍^01wBmEgmDs DZJ:R j|D H&2\ӛT.`ySHA|{-T=g:Wk@xA8FPhx }*y_W' 6_Tn5X+e =F䌆 Ki8%*+΂C/Kr ח/IZO1YtӬ7ܷ74?kh u%5H6N OF&C,\Bp ؎^E'zn}1xNrsOQp rdܑkB[TZƭ$[Uۀ;iAtHt;.U+ 8/L_s5|8c})_ MNփ?,}!Qɠ1B5?mÊG/KOkdrH&Bv3",uƑ: .:~XPzšM#cDS5e%vRdc;o7V@%Ld k܈LSgk>OVRF5!|HN-!jBC(6ZzEQݚz#W ~ Ik]:o M'A݀rማms0Q1* T{xVJYf?Ι'5ۋᱝ\v[&p "B7“mآTM֗SmX7 :lKztd⼚GzG@] BيRאּGP`@}u\;Jb/ݏx=ٗc~ )c'l?>!l"/ע !+% DHOL-InductHOL-Induct.Termdocument.tex7zXZִF! ]A-MՋhvG"uIBm5k .ê$.[W1kP0oQl-uۅT@y[b LTX *%1tgz8*ne"ĽT dڜqW ()*ϒΖ][4T&(ŷO[rW7W Odn 4ly]>ts!>GWjԍ21Ipjwh˔e5-t={p GU.-_ :pU}/[Ƙt^oP,~A.6Dңt&\R؟WjBQՍ si$ga\ j98w(/X|ȏbF6?;%/S;gגc,sWBXo~_U>^XnnLQ>݋B]^H*]a-j‚%"8Jr6x!wg~I+QJlC6Cm0,nTϬI.z=GiQ ݫoFR gPYԽ k/בG~]ÈrL/⽝`_fH;CE6[Jv9C 1Ћt`%>1ُ3*Ҕ2Yr7/9/0P^QqVcD2seyJ HcTK8ԣ0*]&U6h=)n˟E6o4C:@XLSĉЃh3G&a,q.96U񫽴rS'GzMpP>Yty~Pq@cvSfqxpJx_EXdd4Rc2ڬAT`z]Ӌt3ZkbӋ_?QIOK98gm$b6+[L/ Ё7?$PW؈#D6[ >a^]/VX{Jiê`zH B2r=k }Y|ԕdtcV_4GD0l~nf+}wE)w cPt䟵1m8Y)ljM~Rw+jq: qS"5j˺Bkheׅ"l݄YAߎI^;JZC#u֙Qs俿=tR$$M:➜l^x64WwÂrtʓW&8^r)if6u)\冞SbNXG % \ǟi,5R#B>THFP? eօ=EBɍz/IasudQMn$$i졸s|r atp}VAr1Yj PU]N^W|y/m& W!mG5BKm|fodGaW<х!3Յ3Vs_d_;8e~[$7-o4ԋuM/,T*@ijRT7 Ǻ|A&MBPT\·GVVj&O4FHq'z/:M. =9e^:>an}4ݶN걄a* j+'_]$}]E!-?&I5M4`Pȣ0CggC6 DҸ#s>JF anUBeʩmJTk!s0 \\!̭jɛӌne״D 7NO/Ilhd ;Htc"x9/i9ll;O`6ƼЂQ="c`:ԕnʽO:n\ WFU m{rY\@bǝ0tԇѕ08lg籵HlP<ݕƜtF`PEQD#mF,pԕIWL[B,Dye;zV+.|[BbS^]|@zI-g҅`yD]=.xFi_M&r jǑߌBf|d^cuǂM}7gkO?G'E[\<_a\1-)W>j[K>lk&cǚ|ΊaVmq+?ᬖmJxA3 HsߑX {eடW$=RrlPZZba,FIj4dz[?3{"yцABp &ҁ*hs,+ $Qm%n+Ӂ%PLRqCM}! $7Xf.7  I6"C;~G r8rg1T H#wxHZ,Dwb)XӥKx54A8M]ƻtPjg@ګjCCʰN R^*}aw C\г0fCώWG"i iVB;q4!ٸ^Gc[ ww"k\;#1&D3\CgV:" t?E--!U B@Q,TwzJR*3eU174:*IigernZ\哢j%urR 5l { Dl&G)6FCAJYcpde~_>vc*XZ1'۷yΚ6eΏ Y^sWBA9 ;"z@vQw{g t+Y4踗c $NQT`qޜݰVt|}uof5%ܶN3s'}sQ44DݕI7F߱MvF'A̴1 ~2Lʄ-yAőG,Z{i|foXǢ o>!k`-@uM\_ r$vDL!)[uŗ+%69% V{[G4=Oi?G^wOÚY~R5[<݀ *eO SՔnelBGKGe' @bjӯ L A5HHE7!g)*U&B,X{&Ӗ5 ,jʚZ[;:2wh-' ū1Z9/R: ((9ckD01*Dt|w)0oLB+ŖŸ ^>ܕ ygvGU=SJ~UC-xk5z!m/) 6khݜ[Lsm 6|})H:M*)VQJ40/ -e<)@Vlʢr\F"PoEN#-yZfԼaTxEGFJ&55y(!վlF }NJ[Jg9O[̺Eej.wnw!%gYZ