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 _!t\\ ]/ HOL-Induct:threads=4elapsed=20.513cpu=52.608gc=4.6087zXZִF! 7]ŗXiɟ7KIxjbk- =x,>VVFXKP vD`bǀh}3Œմa>MrD ]J< `H^rئۖ&ҭe핒/z-{ӾmPPb#)C/?7Tۀ!@sG9p4_p[&\Kw[IۅjmE&n0 e߃Gt7@"dú!F19R)?г w=aݜ{X9Fk:c*j*~xr v{GƷ0a± PA ˹ hT.4o`:>+C}$UCw  ! HOL-InductR!-% 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ސ(Yed0TmFQ #a[4syySnϱ=e2δbV@2}C]3 [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; H $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 !)% 4HOL-InductHOL-Induct.Comdocument.tex7zXZִF! ]A-MՋhvG"uIBm5X|Rh&b驏p/f9)wAzPyyg7i ty_A ~w Y.]Ͱg9?-^U D`Z;Նd0L3R]!(osڔM =aGWM92d@>µ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!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 =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($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݁. :$gYZ KK !-% 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!+% \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 @@= !+% ,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 ~ Ikts!>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˟E6of3Γ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%*,gYZ  <!1% $HOL-InductHOL-Induct.PropLogdocument.tex7zXZִF! @]A-MՋhvG"uIBm5Lү m=Fz4SMkv7@=ZD皬esG6ٯ/&FCO4ɂ3@J8{q"5蚋 yCCk4@qӸM.YQ>]: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"/ע>!=% 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 @ dgYZx !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%4C:@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!%gYZB(> ҈W<^n=cŘnT`H4%vv (:W)Y3e:}H18^n&mkZDxh|&?عBP(Uwq{w*\=GH`,uSNQA_PԎĐ!H->*+O\Ou+tZ'/-*}ly@F?T_i}jC=|WRq>( .s*n}֘t 5f]]?ѥI44DgYZ7zXZִF! Yg]ŗXiɟ1Ml3`L"Ψx Zݕ}}g`釗@=7t7D??9 ܐ@]mpp0U_s=&iy4C'T'ts?I7j̀QD[@LHk#{ ڸC%ĊLSbW.=(C.]Rușqtb½4Qzq%dX^[o} ]N' :Mp.yR S\ ˅aY,zC窌Q 6drv/,=,Tyb2Q4x4WR%1Y۬A@ P`"L|k˴@k\pi|KG*A>+[gYZ7zXZִF! " h]ŗXi%D8X<\՞ut*^կ'/f$z5} gcj ,;0K\@2!)l ְV S a+ T7&S!0?8GJv+CtwBt0]8#!n@@T=)h]Ӈ Q7kuJmhrNyOP^qP U/{ BN)cO\РL1Q+M]?ݛpL0C}RV09n9醄:)R[=|%kc&XbT6ߠOߤV_ %e/F5CE LP\u 8 zn Cc$߽f^,qu#)ſ,I / v[b,{Ժ@ .È "4ge>HdAb82h[=Ȥd"^%2"[!B/zwq =&Ec-@ -i{ }Zխ}4vvP9[p%CE | %dtE#\0TQ = }b}G{GwAp%CM^Q!; aV$DڂkǝTFقĮy֧G|YҴc!R}ɣNet![n_RY5;BDFnǦn&whI#Q#P`@po9<-dABT eO4fP{UJʎ-*L=1#Fc\2>GFM1;Y&ĭf D[8uGA554=s%,@LNcùsDzM&Fh (--?Pi͞xvJ8dvh0>> Dj_aB-g_칳}Zk|="\aPMVK(MJUDZo,0btQئ1@VDi#48 Cgt7>!4J[,2pTrO#zȄ\iy%T Km#x$E8N0wɑoL 'Er9v;v7ϡ!U7,%oVDPW:H6)=&$1w_Mxq[[^_Rr׎x;| 0Em wZ/#n#? &M{%JG+M[Ħ!D R"T#9_=:F #qG 7TH9΋Do(N&N?kuR64{ϿS6ySu;4d+HTAӾ/im1lf T˷:x', `K5oAϳ|N.),xA *^U^*X 7t)HMNJ7F`shhdLj3sk!2CPN1 R$-gוe'V0 @eyf([C} Oc[?0M E|OĺKTj*&sUim*v~وM$w]+i׫c U$[:1seH1jl8< @dcg6;j1[=6 z #){1y[c[m+r>QeK jm6^hiRh"~y@( JRsYSFB f+D{:\c[egJルDRr$| =$mx#'#K9`\@Y.@j SsʨC ӂW_,C67>TLw _5A6d % h'|k,>&FI, /~GĐ^Qt6*.]8PUb>ϟꔚTuWTQM@sbR0m.H>qkFLf2F +=|q8m%SYew^LDՃA݇g>ՒO]zgVN'ZqUj4 o;Ly{{B<лHn=< ̲: Q4|\JjIP qrXofeZSBiAhNb07i_/uhڷJśRO;Hx2T#v;"gO>aE S7JフVk^a猁,[w(}~/&XD>շ9Hlz@O6ɑ^! -hZ/b.'L}WX|x>7jB LSlۻ( ]bק7[`SzLpl?|:l_eCv8. ο/ #)DȖ1iDtJ}N7h\LTgfI/OXL< .=EJ~13݀ZZ 5qX_6ʇ}ςQ<nbp)&7kұM>Կ љ ZSMk2 v?8?-KeΚ禡"8X ⓮7lF9AӸgjwg1nL[z"= {08DiRGJ "s&'<(Go_MhӜ,2MpNqFlJLoqv`g"?$K ;gYZb374b31054fb65efb2760b0abfc6489479a19e69c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a