SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  z5|t ] HOL-Nitpick_Examples:threads=2elapsed=341.315cpu=151.832gc=3.024factor=0.447zXZִF! |$]ŗXf1-q恈Չ.d.YJ?<d|gFayY&nϊvc׫z$ZT?;<9g#7t=-+<\qg!LdQ K(|:x^cR 3avB_M=lGv|ք6x>cy̮oOJoO]ӦݴA& %VqL{'C*|) ~32# UěQ!^Հs| .%TYSᎎXT ^֙C5$΀<ۧ@_2*& TXlph^hakEypks2FǩgJ EDtd@>՜M%]սσ ּ;`yԗ Sh~^DX էx~z,hiDE@+ȷ6,K]ELP EÁeuX흎Q_}Wvk6H;u>֡8F8NcPLVA]hN,v9Ge+TY~zφ;w8ԅldk""1Y z 50;W? }ּR? ҩ~!ӓ]_I!`̣1Db7 `@h8YY7E\3Fn 5 HOL-Nitpick_Examples i5I% THOL-Nitpick_ExamplesHOL-Nitpick_Examples.Core_Nitsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5]<͐>TkٯQ0{ H_~N~9\8Y{_[.XVAIHǭqgq`Pr(w[/ .NCt^J2ʅ:Jt:Pϯ0 ~J 7}{i}#8]e3)FŬ9Է{EjUkThsQg[*#ZETSxt-nqP]x) BO!-O T Q~YQrhq>xّd :& y-^R5D4d7c0C.aX@&vz.(D`[_b5s?j""g? lyTfd @-<kO=>Xٝt XL9?/7bq{>?k/3w3[0geX9[{h^W$e.&[Gr31r1v4k{6_S%C  ck N Qg+Rf6rIosN 0[$=l9wo833۴b֯L6 ]4@+$7n/cJHY<n,FR|+-ЄڋqMvmٯ+Ky@:{ױTq4\E=&x+vW]38 nbúEJޗAӶV#(7bM@Us ؄zkS\vί3L#01?;?H FxFy'b/1I&(ZkA&O%ip'<\q%XQE[ Ze֣TIf m h -] 2 Ib]Fz:Dȋo[ۆHƺ ev(D%UU"Iv-E2q`,T䋷 0U6&UA|οADNrC9΂ŒɎ2V~2ql~HRM ëgUh4N_e"3і%tlE\8ePuL|hn.DR?x㘕2d2Y"f6P)l:N\ZNdj,]MXO9h$+[U.Q@V6]zgCdGr2q.Yg~* {πZ5UᭁNKĿaSo/bf ǂN'.b&7!jZǒ(i奊ʳ^E^aAZ'4\@0p6O>Mԓ)RX]+$0GVDZVK:$x/b*[`6EpPf bgwӊ:mަp!ZXf뜷k(+D/DJp\Sz _^t*-O"bG$eTMR;8bSG*%md}^$ۇ`?<.-/5s],GmBm#bKM]ڜPSw tG lέ(;-+Ky{g)z\i4qCY"AH}zOB,ز#/⯂8 V/X&C"OG[v%nŐ4$y5P,Ug=lY ?JȬ- ƌ:NTԡ(&X(͜Ov ĎgVلct 55IfZ]Q{.X<k~IW2qW IR8 p{)A6M_ 3ҢƍY Q}5&eϙ7KRlqD<ݸ5#V:y>Xe08\:-?+dֱ3@a+~XPR`VKdtJ+OD&Jz*;}#tw~vʳB.Iz ,]{gZ:XUz/f^!-u'*.FVRx>(-T4LnKr͗!H2W]4RZK1)7Qւ!`F U$Cõr W|1/ς/hť 9$"@"Ћ3/n ?GUJ^u Imxf!BX#&wm~\*VħYv EM^q{he q!>2HCr`snJ`&,6V0;$m^B?n'$p!S*>r. T0w|/"# vhLa=Psh#bҬnE! :qv^ζg|HqDgR~$l`T0oF$sÝVG Is[[>).zpWNjPԏ.yԔms_=YA!G[< HPATeաcNn PAy CC!n𲦐'o)M+lBn[UNFnmeLc&wtbKz> mh?'?'\.iH @ds`~C2_`ڐXv(D"s1e|}Fm(\VL,@8m\y 44"pRq{|#s?EJ̷R~rlMt|upwű>1r&쎁1Ǜe*Z #ɋ. A0`N hpؒ%ݍ#jA|(7ջ"ESk#U(w|ύZT)$FdlRyU,'\f@|Kl[+!H. ]UoB)RA؃l90S3yv|hT?         g \0 = u ! K5W%HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Nitpick_Examplesdocument.texE5K%HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Tests_Nitsdocument.texH5Q%HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Datatype_Nitsdocument.tex F5M%HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Record_Nitsdocument.tex E5K%HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Hotel_Nitsdocument.tex G5O%HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Pattern_Nitsdocument.tex F5M%HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Induct_Nitsdocument.tex G5O%HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Typedef_Nitsdocument.texG5O%HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Special_Nitsdocument.texD5I%HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Mini_Nitsdocument.texF5M%HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Manual_Nitsdocument.texG5O%HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Integer_Nitsdocument.texD5I%HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Mono_Nitsdocument.texF5M%HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Refute_Nitsdocument.texC5I% HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Core_Nitsdocument.tex.mBߏP )l-2x@%J+o؄rWb kIДr[L)br%$xk4nƳ IȪ>`p_a,^gsVcNmkLxM`KbeC-a{e'8Һ\16Ŗ\DUnE}Svn߉Ў{6WYya5@N'lq s{YxSLOBSN .6v⁝p:A%aFEQ" |ǖ5 [9dH̀n ƥ]a>_0H?I ;!JڹKfP 5@(eVysSI6=:Z;y(nN=q *ڦѪW V`wfx&QZg 2cgw)l͑HhOθ XWҩ^1U~Hb-UK|z`ctGuK„_<)+¥JA!L)Z rN .Yֆ,\Ginx26"c(">VDu^ʤ x|Ȭm ^.5bL >{M ռl*0+*Fk<ݗ~̌r^+Ŗr[ =_k՞X^۬n`I<l"lnHi5mL{<6ncqsRSQ"J ~ػ8a{8yb}fO7U}9dߌ_p;^`* M=(˔l`OsmCFGGT9Q0a<^g 6m9G/󣬄g.'ѠҶ)[lMzќa.H:̄-C~΍D%{\˞&MJƊX4m"(G* f<"';! >yEիb6G.u[jdB.WZ.j΁Vykj+ uٖ=&2|lyޣ>SAK?S/g]Wjn[T6!^,=wR*[ /:%|Vmkx(ą,.&m6TP7AeH3dO!K6G n"ui9˭/_ˠ#xewyBw_{7}k!t0CY+oqbQKx {ZdYܡUCkBjx\=Z/B]eaYRn.x-O3!k,Ob3t:)@τpGƓN߷ln}SN_ʃ֨U}5>/ eNLOxV$ǨzyY=*ダ,(\(֋ˊlU:iCF]NmG5[8Y!АG:r<Ӣp؁ǷceP{ LkٮKׅC?n?rbHF$L7s%,>^UG.6Kc?%*I`sE.6U].)>Qm/0oROH2=^n%{jcv(u޳ImkcÔ˗xܞ[ Y>B#nކs컾$GYa`h6^\vZ>Kc@і}ߎ2Pr}ude#wB0?W-~WTY~b'x I,ARK8m􈌭^Ǔ`BF{z ;ckeGʵտKJJt[z Ltu0IҐ{CO]j`5׎~'h"2]ƀi_gc*=W?Rk2aCv]'NW2g:N.4e-BlOT?^O:B.y7FdֆUh/6N4M>N@E4ۧ[ =je?+s:o[K&fn))*ݏw (#pyo&gnz%wIG7XWx}3-?%G _&({bS,\2+ЦqZjzvaǬmpܢZԄnՂz>8R&HNF_"FWP31Hߒ1g'С0` e)XbбG=a# -M/;_5 o%hDx.:RrMhR}!%z?$0uX-JC4/ j`f?%I)Pj!W$.!`r\r!g5"vwbluAGRV5Q& x)P~d Ib=iL> MgYZB.4LoVvB5KJ",ҴY9w_M <$ɴxč^V:~j*pSϪ Ðzp)b"fѝQN7i._v{NV͛1B[˛yFL!/9b/bE3W!dvgTKĘbZ~W|HK==-NIv-u?ҙn@"mw!ɤ 18[/]Y)rFʚlgfL }@ ‰gap 9(kV(ŀ4鮧\}6 GWKQ]AS0.Nm:u@@PcAFdtye=q bb[kKpC >,ejIsWu:nVx+ŭ Dk VC\ u=-Hq5'e1oje[ͻRq`\bK>BΒvQrXJڋ:rMbamx<'j,y7T+ͥ&p UT\^= uK W +H*Un P4RjZW>NyNvRޔF^FF>OJ~aк>Cg $PQ= Ϣàiyxz)$2lD2Jr ӏf <܉<nb- Aˁ %)uЍCV_; bAvSǗ2^Bz?AW &Z8C_EQ%Elx w|y+ۃIy{vO]D#簴SCK *`֍`y(D=uE>AqO8Д H"L6p4$xzt\G( jN]?du צ@9IN8~+j&( sD6iAZ͙bŘ$I݀ff %+Sf}ȴ| eo]e,FZZxCUmRu΅;rձV1;5. k<##h_b%Sió'l05tH[SԾpAcZו{F9G=])D8 #X {z&2y-vBb0T(f\r K[y?ăKg \@!Mk4l|R[T}/ש&O 4g&YrZoKwHY۴CT%% \# &pUl$]y89YuCVtc.z ,WRjšl@$=Ohck U)2~LSbO٢ ÚϷ$:GMAVr2^?D,2]nĮϣWH(nXbT>4S6\IcJLbF[y* ykU>!_W(WBΆgE2wH畔 "ջ7H-? L)T/YBr l@scJlm[Ë}Wer|L\vu6c3I 9 efO|~ap>>ԁ@*ݓHh/}[F[Lvuw\'J"v܍Z)Ng qԘZ<ʺItN#Bsi7T#ۙv`>VLS ͜mh#͢ .\8jnatj7IGJ nN:渲ɶn41|TbNsaްb/\U<AؿR? > -|ACIoC݉ӑٲ#U"IԚr÷sź=Ӌs(Osڊ# Sp@/:w7: (rQ(ҹc9ցJ[I.M+;&Mx(džI,dEJzp{}Ҋ4vznqf7\Bl-Y2`#7W &u;j+ʊA bodKb)Lvk٫U4_[Nv,A#DzZ=-S?DyӘیSJѫRIM:C/|)>8\;V4 Mя,,@%Z*֕kNa Lop< ~T@<bQ9/|ܭOP6 b}]3:;Ziؙn.av I+K Jra]rW߅PDGcS3ʇB].mVzOs{toi*KGٚ**JRBToΌ1 |F{m)ћW~О)oFnM'Z*S:%S@/ ]\Ga*6)1 69VDSգzͻ`+"n9Zi7t'!0Y!sa:ݖg XWOV^[KYk8>jFCPE T@~Ǽ[Bqɻ%gE=Uy:7EGZ1;G_u?rhs .y@. O8g/gv.UM բa+닾 Ӱ&\8uquN[,AYZ#%0訩&ښ G+kİy`'fԓ)B㮾;vwϋ2YRLHZ. o/tu H.Yad6&;>q(3kSB_tw8]'_m [߉n[>FVBRP,Qllo:%N2BgwaˡF.ݒs.d˸|OkYR/t>uLض]1OIi QkYjʟЪsb>RQW]QΏД6®5:Lt;&khi{xXqQ Ed.ޒzuq܍qj*oH,C, /6pdN@ۃĢH 3XaF'Brt𹳿8Ng|Z2F30'`i m kx[{IйςU)"]-$FR`?OnTRѿdjO&:+E!b>.1=^ƣk/[,=w*7cGzՖ'?\!ЍiU. !=4Ǣ_35E%?rAOC&3Hjom̊B\wY.^q&D+3F ]fq4x)=1p[,ͪV_IV jU;d6)?bSjQ_cPdUrdzQ78kYv9(Ax(4*\64>G~#Ʈ Y[^)\0D2w?f];zjmڽ/Tv߭7PsǎI|hT]"W!; 񅹮/|<%I-ZDHXM듁.KJ^v9 A0%eAlm.kbidɱ@~9u5*#5i ؏k) -* t~ XvRtkH q0ُ) R$NHѺywL[YĢ&e;ޖfi/LQbEHARL oԷLz(adbdGwl:XrUy=-_"qX/F0%0OWiN44cPRy!Js(E 9tؠp٪cT`07 Fʶ zJ@p$}l ibWػƱ{4#FfGFܒlDWbohM;e,2_8*}e>Ů=释Zo.inҜО4]k 0Aj|@0DXO2lݲKB@-E:J`n|^d嚀rsӐ73 !3}+K T< [0-[xɽn/{KVrgv/ADg2$aW!+^xǶ'Rs4~$2L\5k ,q聣 X WóKŷ~5r9@h|(0hue:qnj@8ЬvCJV"&ycy_Թ4㎷ rOtv=*;ij։J>t`XL@g|?Ϣ |[R)٤m_ǴY A$v)ME+hps^Q516xey":f?}5wr 1ȼbcP@dNFs^vL;XOz1+q1@DOΆ0; YB#ͣE'\A^]n=UŞdvQ{.igkқo2̈i<%YP܆5  gl c -'?h#. [O,9)wnNT;VeA"1脺ɾM±}FI\Ѽx], 韴gYNJBk|&fS1, 喭b6%Vǡa?[ 2*/pE^LgWhm xd`.LF -Gx=!.*g4N7ƗxO%3!xok`ne+fyQzFfwGh{'لc*|[8$?%]igWyڌl&;m2-!Zjj32?:5q5J^/:;S"X1{qgXԬm GRlq (#XᄈL;|}^#l t{p6J%m%+n {Z:mM'v3ݽ]įZBɾG)4x݋6wRc9 ?wfA5|PRc6.zm膿Ε[qmLПyMϭXƃm?P}y^s@=`ƅK_oG;8{QXTR nX`10jUX\ Fw/k=5S8 X%ӑvXO`p(~Th柙GERJZcC=aETPNʔŤ!W?w9by Vcia@]hc; &[͙Av4{.vmCeE,t@ںKwP )lGfzYjdg-pנ~4T{īy{~鶤ThG6KjBXV=!Ho;em01S_G+s'\䙱gYZ i5I% THOL-Nitpick_ExamplesHOL-Nitpick_Examples.Core_Nitsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5]<͐>TkٯQ0{ H_~N~9\8Y{_[.XVAIHǭqgq`Pr(w[/ .NCt^J2ʅ:Jt:Pϯ0 ~J 7}{i}#8]e3)FŬ9Է{EjUkThsQg[*#ZETSxt-nqP]x) BO!-O T Q~YQrhq>xّd :& y-^R5D4d7c0C.aX@&vz.(D`[_b5s?j""g? lyTfd @-<kO=>Xٝt XL9?/7bq{>?k/3w3[0geX9[{h^W$e.&[Gr31r1v4k{6_S%C  ck N Qg+Rf6rIosN 0[$=l9wo833۴b֯L6 ]4@+$7n/cJHY<n,FR|+-ЄڋqMvmٯ+Ky@:{ױTq4\E=&x+vW]38 nbúEJޗAӶV#(7bM@Us ؄zkS\vί3L#01?;?H FxFy'b/1I&(ZkA&O%ip'<\q%XQE[ Ze֣TIf m h -] 2 Ib]Fz:Dȋo[ۆHƺ ev(D%UU"Iv-E2q`,T䋷 0U6&UA|οADNrC9΂ŒɎ2V~2ql~HRM ëgUh4N_e"3і%tlE\8ePuL|hn.DR?x㘕2d2Y"f6P)l:N\ZNdj,]MXO9h$+[U.Q@V6]zgCdGr2q.Yg~* {πZ5UᭁNKĿaSo/bf ǂN'.b&7!jZǒ(i奊ʳ^E^aAZ'4\@0p6O>Mԓ)RX]+$0GVDZVK:$x/b*[`6EpPf bgwӊ:mަp!ZXf뜷k(+D/DJp\Sz _^t*-O"bG$eTMR;8bSG*%md}^$ۇ`?<.-/5s],GmBm#bKM]ڜPSw tG lέ(;-+Ky{g)z\i4qCY"AH}zOB,ز#/⯂8 V/X&C"OG[v%nŐ4$y5P,Ug=lY ?JȬ- ƌ:NTԡ(&X(͜Ov ĎgVلct 55IfZ]Q{.X<k~IW2qW IR8 p{)A6M_ 3ҢƍY Q}5&eϙ7KRlqD<ݸ5#V:y>Xe08\:-?+dֱ3@a+~XPR`VKdtJ+OD&Jz*;}#tw~vʳB.Iz ,]{gZ:XUz/f^!-u'*.FVRx>(-T4LnKr͗!H2W]4RZK1)7Qւ!`F U$Cõr W|1/ς/hť 9$"@"Ћ3/n ?GUJ^u Imxf!BX#&wm~\*VħYv EM^q{he q!>2HCr`snJ`&,6V0;$m^B?n'$p!S*>r. T0w|/"# vhLa=Psh#bҬnE! :qv^ζg|HqDgR~$l`T0oF$sÝVG Is[[>).zpWNjPԏ.yԔms_=YA!G[< HPATeաcNn PAy CC!n𲦐'o)M+lBn[UNFnmeLc&wtbKz> mh?'?'\.iH @ds`~C2_`ڐXv(D"s1e|}Fm(\VL,@8m\y 44"pRq{|#s?EJ̷R~rlMt|upwű>1r&쎁1Ǜe*Z #ɋ. A0`N hpؒ%ݍ#jA|(7ջ"ESk#U(w|ύZT)$FdlRyU,'\f@|Kl[+!H. ]UoB)RA؃l90S3yv|hT? bLʝ54A7y->XB|\i c{؝ P5M% HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Refute_Nitsdocument.tex7zXZִF! )]A-MՋhvG"uIBm5踼WSj!3t+aBXXOa{UPiNc$Qw᳚oDjF<uW,.(k<@Ȳ$u" *QIOPN#/VkX-g`$Aj;)6 U>pFN >d@ @UQMQyK*R㔈@\+4 -GX9L' U2J@40#Zj o3i"@Ac:( \lUE40'5X we8 @P8~R+Br\ij ~fcR6!'&n !9?dIH{e_W9v#쒸W / oF:cGodw*Fuy}uFZ?"5.Bbx ZO0Hm$/߭h\T#,tgy,>R6y])mJ MxuM5|D(&CshF4\!sW2X2q\Cj 4 aK5U;*…ۢn >/"8q#&l5ow41zYeB0ѧQ~$# O-2)HbzDOE".jbTe:n36$~(W4D+.jl9]TG6c<gu:8!#~S!`^*LIbE=G#:@V 8 Ę !:@Mo4!TvZ5rH_@В@߷.;9(Y9YGݎ,6 r^<%DNf9$yB"q̘|2\V%+\@R-M7!=W}m]]0'}{M}o? gRz^kCIB[z3+k/'1Ho|=4PAp!*Vu51hSpB؉3u?@ ?-C':>m)`;4uԥA/Y)ћ"N.ԝ6J? =m.-Sy 1Ĵ?h+de~ &JxjpDZ?l[ZBw'=tbX\;jb/}IAY?- 쮇i e5I% LHOL-Nitpick_ExamplesHOL-Nitpick_Examples.Mono_Nitsdocument.tex7zXZִF! m^]A-MՋhvG"uIBm51#St)#]??Ŏe#(Lq"˯j4C{K/uA.X_u" #>F&h GpdڛKhtkΞ" ݰCVkMv*ObOfU45*٩]{9 /似 5b;@P/$@lp:o{[ނHQ Bc<֐vnUS2S[!gy?hbhBi r(nO-Bp[jۦ[Yn\d)$KB#bFYN,sb"NnD7W +M닭ʣ iZ,wQ_R~gSAsc~Dz@v\A~: 3\+N 2`6ԿBq_e2hgcDe}tBK)Cc11fRAfqKbbmgRm%És[g o0sB8Ц98zM'矮U _H)hEu=Ϟm_rz7r[>(UZM͸^:-W`< FaB#\BCN!Jhf9qU(avzU9q/sf̼upzyo:t1y:άGw.÷XcЌo2tv"2Н-~Ѹ|M^DA4y~ ^3F+Y bC}& EҺ:zR' |yOxb;2w6 `^7,,}GGռf1Q#)K]&*DpײƑf9;!S\5-{#ykL<͹Cօkݔ2:pq`rcWZČF{ϜʎyȾ-|ۛh8ߚmkQDLL,8A\8[=,8{ץ6wwp e=_t a 8 YP+DM!%,\%$_0=AC;&U$9qH`-V~a*5Z X]?lP~ӝxEbġv@h.A]2`߹ѷ|Y^3¢3 4o-Lp_5WNܳ65 fѩVҋ䂘'֗qA=kOk׹ק;\J[R׆#Ϩ=o I9!v78ڴt17Z4A]o`ْ):{?9>D ݵqñof!m`*Ufv*"}5;p,ecqp܈|ҡhyvϚZO2UrӪQٜvŐr a>,<W˼31ÈWug&PW@sLSt:2ʘQ lRزkEeO/ABgs<f5O%|g|/^738¯ehsm0^ȁBEW =y^܋nl]yj{+?LF{$UQ0"{Les"Y |HQ*K #Vn)]VJӹb%I?m02ޤ[ y=OQxOAЎz0zNsWNKzc5de%׷)E 9ߕzRySтRI:FHžeH<( ji&335\^0ی:'8'8`I!&^WÄٍ$1ʦYi&sqj@Z4.mOS3x)ßN穵npt(խiӣj)2b&!BG "r@ /v\?\0B RKjܝ!d߭(d7e"~ Tp9+6qܑ0Ӗ#RШ4e?:ctTΊ@-XZ5nUA7#d;y?L4Bq`߳ǥhp6*Y1!'GʈR?e9iw~Ti A^وϲ˻ IN"B)  AӲKs'IcHMCucGZ#@K![ya_~Voq 'pXEE3pfm + d* Ehը;A^%M>7[0 g腱󤕀O8)A!TNsxANTLI6N/dG -+5øH04w]-zn53ip6dcEDHT3rhC[Hyo9x5HJ,~dj\,ï:uǤPfF^.TRdkXi,?]80|e'Q "l%ÿ֖\T f?d^J<`~YOF냂0kQcTK~Rq{ (RX_~MW$my:w?&}|s7W"R< d{eW۳72Iwѽ2_N${5M$'heixΆT|jX[ĤNؒk_h$洐K0k9@?R+ww)-׷4D]Z\gYZ ==@5O% |HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Integer_Nitsdocument.tex7zXZִF! ࣿ 7]A-MՋhvG"uIBm59Ps-ye j^2P$4_Nj Z@oM_uaX?/Bu)r5% Xkfep^~F<+@iAt"~zӹ8n]iφ9"_`ıaDW:%:l1.X1`@awdfjm ` [h~&Jhŵ{;lI4IQ%uvX>01ľ*[6Ɯ`  _WUgXj|oad_1$1\;Mh| V},֓Ywr@TN^éN?S0:8,Zi^}ap݋yO线\'$㝍pS"s[%>PMX)s~BT*!Z%fH5eA7@y4bؾ/R FDS"+Bb ++n(Od{ZlrzX'4؛t>O{;&% ;s<^bĢBxRM{vFlpb5ZYwF0a, ZG#ӖU@<_~.@/'in":9b⵨ f%iSloNon%|!F:(81 ߸VdD.,ƍ!=>rYlK&(!Cc$\Wpj:Wစ<0dяiB9w6I˷A+cBۿ2?=صA3~ ~ %d-=s#7TvƊz7olPx 6Q6"FP$w*Q=6\C_Ȟn'ha dB< CAk1$r;HE Uce/iFD:d-7t "t&F*,ڎ vYwilI[6| tQnaD`5@G?sΜ (ɧ Ā*S/2rDgYZGE0>tӝ66.CrQHE@1,AS Q̞:+8=T4P_Lk#\dHۡ?0{?iՓX  Μ"^$FSJΌѵ:u;tF12J}fHP4{笡.1l"Xia5[b8" EڽBAQ],ʬ3{ZQGۏL'U/]@->mwGxNpU 7v is'\ߢq ~ !lKd?`R.dA}g.`\PvoZ_^"͙N@ {: u!zwzҞFh}gNOllO1'?%`iKrcDޅdGph1%>(b&kwo g<}=PIz?*~wAp|{WgvWSթ{2C^m, ClsOF"a|(~v&MzQtQgaLکa B9[?NOf.mX7/G)NM]8g+ʮށ1 $3Tވ&9ZƟc؃lf-SUvg3|uiaL#WH6N:1J w,? 3P΢hƼ}HYh:PW4QĂ*KrYX(q2NY V\Jey_wgMYaYS7)6ṔS|0p0nK7vD]0X8 4c60#TkM0Zzbj@>bVOkNxe(] )L)[@$KYaVж_!UhPw:DgVR3V1[V'!^LҸ.8v"+Zyxyz0{NUwqvQ:F']W0AeNA??<;g*WyPj!^uظs 6brw҅􉤰N,'WU8cӐMԝ|n_H H)KˬQ:Ȃl/G'=M8*-5J0ܞ _Iɨ8"_ȁU`YHƒgd/4+zh\-G{_ 0VMb&X]b@ϦDhE '@!T@ f%&AjҾ2J] o B t2O'P~FϱN>t7'ݰ6ocۣ& w3"\|IߗI!6J)_K C~F c <&"ʚج9b ;XPu sg}*_}aK삗S"*Jpy{(rsv  ZATvǥnEJY,}o%P2˝X,׼U3Iepōqx`g,,}RsIV^SoVEEpH92دu\Й3;Z}LlHQ Ich~Gs'ϙN/Dל0@KAl\Dp"ag]j%fI6 BTBxxEo ^lhϻO1i1&=I5>ptH3E#6j<:#IyIz5!PD&`č^dbQZ,i"+)xUR.#cgX&XWpG.c ͎\ڸ( ,3&Y5huaCh8|d˗INYМѨ/r/RU\T3TRS[,G6)ձwICZNoe bnܷv2fd<]#h*3 q{:j)J=9Ⱦ& ~Uň?bh C%Kz~@o-Wa$C^q?`,'"Vi}9+=k7hqمN6*[k >!x+t@dPFVYOٻ\awѩgi\melAR^`H/L=6~ w+zQayB_>[9CL^϶x4Xm~%2]@Q0݁\`|" 6Y0p3a=`i8OgO?ojM>,4ό$(λCbvw`!0eL5UKsK0AYcjx׏A04`k}-Z%lf$&X'I?K- pVG6i*Osu#:A#,짽&D<&수ιqSjR^WچQz] /$zni@a7diO n=|;UkιZcxWxjgN 9]KQ'˃9ƝNJ$7~^|%@IRxѠ&O󻣲SXӪ!`Gg$YlIS&CRG;r*L7V?j|Z@ VC9a^6*o>L)@dP:W.>kkW/wX$߰J:#L{4F_Y][gb8q }Rh[v\&tnz@e˯K1T`7j(8EF+y)>s"887Y-2{sA;rB ŋ#h@hv݉6}ijtK+d 8nfLzN? \0KW\v-sԬƑ54Īm,U%UW5 ~M+!n Rr3e?4/ ,cNU/V*ε0ĝ% |+ 9#n2>oDOOKd~ڜ/+Ep14t ȸ Q}Q:/|¡h_k\CDNC'~Gv鬪qRp(Y*=b|qr8 }2*zU5l{p]s߆R!Ru{# 3r@%>'bKï_@v\x'0@FH-ǶqNnh\W%' y5I% tHOL-Nitpick_ExamplesHOL-Nitpick_Examples.Mini_Nitsdocument.tex7zXZִF! s]A-MՋhvG"uIBm51dx]pU1~0QDˡ(UAPdhᑐUQ`?tp#{aIBO$'44EMkQ (ʉ7KPba:ffDEކ!u=O]Qk%2Ub1t0SB;fdQY${ 3}jVqz٧ڭUrZ~ΚT|ڕACdj <ۿmSrLQ8O-%'bBKza*&]ML`EK`0mm+논$Pɨ(Ul:hz/.лآ2# M[ÄQP  _̀e:;2/V%#lp+߬oOOgkO-\-m/4ir*EADz4ca\>]LxOBܵaaKN ZЈͲCd{(r/ChCV!b7{C AnmhL(v5KG("%61+}AZ1q/uE%2M<9/d2"@}Q"E " [cc:Uv$<}4D[8u}{+"9@r/ z"Gq "H3j:搤vg^wA-JD2dMIR>,d~eNJrGU1c-NIH N@ :T)&k]@̬+dM$&K>] lJ @g93QGpSo] STXV,%D2%&}r8^AD?ZIi(H\5G[TbB⒬"WbS6TÏA)Z?(`i(aq5; E xo>5NŕcNG󣞔^_1d/<|@p#rcW  VbJb4AA;@6`nWFBʧuWs ?mJNce|̡ܖy$eDK1Cd#[aou0. U!\5tbRǕnohYl^KeVFY ^Ss\]->5bkC mZu߰GqBKA:&҅T/{{2C%ǡ-|GEyϏ,ZZSr՞.(dqCHփ#97m}4?V8Zr ߫7&pkgR2á[\ Y7pf/Y.6TUഠof8 LaK&8Bg.\/o6- 8+R,ИЛD_4}F4LVrG0p'D HC%r067YHΡ7P I?a 9. Kneye! Dd~}S%+:5R_ p:2G%N%W5q&o_QYOa)Zc'r/&+'J!V0YZ%"@o65~Fpgb\3H3pH*%=8wWa#fu_ƋffSxăҞG3r֋gL_ 2N]1\3B`: O Zi6R»&br 3 '09<:>AiN5YGUNů~WhtAJbNmwp4y2_4 ^\UnF^Z9  C~Υ-AY?J t!yg!bSSDk $}2j8][^/gtl_8OSكoubF/kJYu2O͐(Bǘ e(UG" ˌG3Yco&w8uŏ\U~ G: >)KOʨaN<|蝍[t*Yjs!CKk=8K'8I1N8 \[m^]a= $ݚvނOѤ{b#qWƢS%]iYgX[/cmE>m^=cWH!$J>W,1_q î\aHjfXgH (*򖰮vױJRJ=+]_$Tw^ŎbQ\ι;cSWQ7t6 C",xoIsE^n:<՜/Uəyq<(A /#m_GªP lQ2 -fDLX#Aiդsg ݆LL;6bҶ fA2cJi1_WW4syz;mV6\aD]9x#}пA&AZ["pOnQ@TM>,yӱF#?b4%Ek/ g{me a#L^ׂ|<<2K E􌛰12Hh}FQC-G!0>f O͘-[!aUk"s)7=^#Ep hy_@S ~p}T^q-gJ^@x&Д]]"l $m[NTV<]`LףY8_6`~t\++-pAk=37@Mc>bg#ʌPSYY'%6ۇ*(,֤ŖTW1xG'!3DgU/ic,[KcaBH6(h|-&ם2rG%Vf ,Y*oxXǾn/`dtR׿)J1džP~P)И)5tM'3*VMdFAp㴪4^@OЧʼnpX)kv|YgLij .0J6ScL9bJMkyC/ltgzjx-_ɐ`䎙Sf6kܙ]+B }lYR[$>b7TCͦx)OTat5hM{%gV}HꋚrWNu>Y*j.VR>n?{Y"`*hlER%gYZ p5O% \HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Typedef_Nitsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5u <6%O@w =rM.qtGsNwW8kNV2OwIN0%^7<@\@"q cL4)Xsn"}ﶾ[+u2,[&{Ir)hWD"&(FC0zxˤ7Ll? P82 `SjЁDhY1D؋6B&qCp 7*oฏ]XxDU#W7t3LAnAQ`Tgd>XqZQ_@DUtMXoI?ۻlf{zˢ\4C ¿%}?mB~$|CG]?4JtEi9ٶ 4n3a2`Y(*ʮUNvni5&t:PFMc_zb @KdȻ\lM8"v&j4˱b.Pou{Xxءk-os:|D,WRY Jy9 @9jCE/*QB6Lz7\./@.ŴZĚ!k:pKIYfF\ b#g4XdɂJէ%JPk0ocxX7Z8@#ov\7 B ڎ&EZ; ziۅ^10[n/gg|/~.Yh0 &TAA\V`?~WhbfG#>t- t W¦QBd_]M^AF0SCQQ '1qx#> ;K\cdѬ>:6Mʴ;KsE{|~9norLXnk[ oұ֨$}N+K{SnoB)~6>| /.PuKU/ tvs)3.V@<% sNe\>8ۺ&nd78L!ğsŋZ\H RaaW^RMp"ë <ު)GM>_+{}§6~H_IEpVցb(3M-EAQ㧲|R?{ɳV90I 26L<*L4̰yXΧGUuxcXg-x\#qh;ZhtZJ޷|Fz0lj6dtdtZ%0p5fb 7&҈S ]w=a.*TW@]@Vv|˅%^`G9u{6H>ϧXlE)͵i5I2_S-at,?2I-%!uk-R2լu) ~WŦBϏkJF2^jRPn@9fV2LNړkJ/ru@7nܑ "^pc/xIG#SE s$^!p b'edelXtc3ũb0el M:K[J{~1т ԬFOB? P Ń.xoV^O-lEAEF@6Wc}s7}Uo2  D`Ǣ,> /vMѰMoY!|}Y'$lt QPN9P΅t_0?FY?d+~cv[ >Ԇ}ju*v!*NȝЧ]j:I Y1áP7EޞБP4(hTUF񘭈@\?A)l`UU|'-G`G5c7ZA Zc&#zJ/iOFy¼$kQ)Iwjv-\AfQF#*=%>L>'nuRk4gE^rv P\+dJM0ʉ+Pj$V|I]Ǯ}[^W'w{uyQFg sçFWr-A3/HO5ERd$oAkR kJQ$82aޠMl/EC1#Q6rET3g8TgYbm5׈HS P1twG}ef'Ns!9R_%W[rT%hvvNaDj݉er\ۆ]=%D:ݲ]x"tG=F/8wkӶ T27 -P.æJoBB,t~l>ˌG+QeSCNt舖 n)Iak<;lL}|7[L:%954;-J΢%ӂ}̣ݢҨ^F>SE%/ ~ >u,B9yS%݆͜aP{A1Hxtg x"5L9-h;{uɔ4~cĖ [bۺϛOs6bb$zػ7GD(:XƱGECof(n |ߕYXq[mLvyď6iرgYZ p 5O% \HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Pattern_Nitsdocument.tex7zXZִF! Gf]A-MՋhvG"uIBm5D$%MiKcfl9*:8@(GXQjja ?.{kF1x&3KGH`3#: x3] 4u=ا^ y]\Q'Wa.7AkCH(%K>7m41u`A.k}tQ@4?yְJXq3önU'T/VK:Z!wY5o;Gvibx 4Ap:oKVvY[m{5{'*8r0Af5'c%&,:?^rZ4B5(L<_#}'NlKGA}ECFܪ#*]QU{ExX+"vrgbYAV_;½Hݗ,=1[n/jjiJh`iP;CgHd=jfͶ0N4,؜ VVxYl+,ɧ ߱dXrHܯ~~Nwp7Cⱍ[ ӂκ ŌE,-_G@(s v Q`F%-::o=$jAHq>=sPyU΁S(/hd7z\iڜ422}X$J<"_GdiFRTDsQ&ۄmȦpU[ 7H7y1 9}jEKkT1,05{E t=b A"惧PX~ƠfdO+sj- #yOgx] G8P7%Rqkp!dH!JU4~o2uO :)3z K} Dᣀدy24\gf5=jyiV+ssތg')Ce:2h >3?u|֍|c7K 48t*Z98aĸdR {ʀ]͒ޮLƬ_=*i!#c=fx骾 Olqn~PgK7ǂY85h2α臸I>jHno`%;o qCWC\}ci;WND"ƠJЗe7ͱu챋GHHUM|XPd4xY SxcqϧAr;8h8NG ՕHL/(,Wmܓ*ė&c(y[ݳX'O3ڟ1k|G!H:9;)aAsFoi_0I_w'ŚDD_:/8];Oxdw%/ka==3!cO5L(RWZ,`٣*N%8ťů{#^_M֔AN[wW*LĮ 6G̿ٲ њI5N7TgnIlXfX#&H5|XL2Ч& h1H9F锄t5Jbq6+__;um8`C5 eK[RHWL6Ny/`bg; tء=*V5=i0.J$ [Vi=[HG;5'o@JĶ0#7l91Om yps+Z?ƻ MhC"UK;6Y9ጌeҢB!Sȇ};=^8|4I k{=O JS|Š/a臝:4%ՠkʄێWCZQ6̌J֮uA-(D*ޟǂSuAU&)*Fs`:̪k1Jn/OI{ 6ΒL}957f jLޚicٺߐK-hDS] "//<`hSL _*f ?87h^OGO;kma%nU~={w-|\zngL} ,XFvWA qݽk5_2y{1_*uݞH7qH2Q_BZH%9aY?f'3&5-22S }1uԪv-DKi,AqVxfP)ٌur9Mǐ?h-ID6VeM,[X4`b6CqH+vxhUiB M +0D$_jP~Tk\kseZe*$1q)0k:]⁓.ԄG#J N+KCN%|^}LQ苧:/dXUYVM%rn|d"ofdnb24R.c rx x,h~~<ͪ2]5f Vl sW(ۋͶ'm"p{gQƽ ?@Zõ=l5>LOe>ꫀR %1e{kx,؄#eEAqt%L4։W1W}!IN,J|:y;NǍX P'd~ w}: IaȔzqN1[C-7k0!i  xj =w%C%m'%ʀlFTY+2qdǾ~EڶPi?ȨӉFwENøAnu;jl6 19 mD ,ձgYZ q q 5M% HOL-Nitpick_ExamplesHOL-Nitpick_Examples.Record_Nitsdocument.tex7zXZִF! 3]A-MՋhvG"uIBm5"LO*5fF(^T+:Զ~duHr(K]#:M(F(P=~REPwegZ=4!n->0֥r?mX]WFJxѾlv&c5Kwv.mVL P B۪1y0c5qɌ{IfJ=F+{](;:~"~\%ٳit_ 샓Nn-ӂcrΝg˿PPv }AV^y/-sM_A)d8OwB*kwIf6O"N$ M/h-U5ܿarDW0i"U6"֗' &8%Yj*M n|%\-#戲k^d5vRWdGr3Ҥ@ DP%j9FV1Rd<[]jzG)ue,m% @= ;|Ͷ]M= R#TS!CLƷEW`$ ok?};LQE"+HA zi]b)JZNT^L I;H"Tɹ_TY|dvLd۸/p @MHeσ̈́QWN]9e0H Jv>hwD&NIᑣh}3Mc'3?ť0`LCA!XlA.Ht', qd"xm KIӄ*HBC*+i9EBSN٬< u|:)Ag&_UDP3왫Hr-cIw#nVŌ r6P`ίqAf^cJfEʾq(hf-Ox#%~H1_"Nt(܂4f-q' :l~at@n(~:@9YYO6:6Scd <>7>fҭ96yo#BMr ߦ}Z#7 &3.t.;#1NgiutT܏t=Zv*~~CDժ4elLia~"fZJʫ^!!7wݖo%B$<<5@짰T;QIqxNÏ2T?%[q$FK cs ]Pr5)^]9ӈdR7?u5^m1QΘ:%!a(g8G)jL 12@Mh)C=,aE{}b- wdah.:Gh7 kpu H]c l};^i|hxp]丅bJ9\oa6Lgҩ)ǴexEΊ$#}TV<]wj0Zxѳv7&y׻l^/Bw I"Ӂ$jWEaP A"sa*Ar*VSU Idr9 *`@%CFCv<& aa`e7MJ4l ( ȥFsuph%4RWh*"٢$@_7wϿ>>?5]4&JU7 Ro!I/(}^Q8&aSy PJgYZm 5Q% THOL-Nitpick_ExamplesHOL-Nitpick_Examples.Datatype_Nitsdocument.tex7zXZִF! =P]A-MՋhvG"uIBm5dΏ[9Cj>HYeevFi`NglVGI>2`~:($!H56Q+WdXY2tvz~zn-ʌhV r_#P`f޸h>P!~&PdsVk29m8~)'%e$+) -+6*%j(!1aQSHmF\LvTr͓~hw\86lw. VEč6&P[6}lў?a?`": oS -J.KSNq] z*e+E ЎjO@ Yy=a[VQ;]ڀJKD$']5~{)R0*PoqrO?h(CԘ|X?Tz5z(HA6fg$q[ Ka<}g11SgzKV\O~BKgqPS5\&}/:+|2H% KWD>"u'RHW=+(*gfi rJ3sV`4e~A^h*ŌG{U*-7%$ԙo &2lTa]n iԎlʶ [l`WWZq6\VfQc*@;TE'zЗf_ Ը΋DC/WM)B8 aVTNĎy5w|8"f-J!Yq/ԗi֭th<0xl6wZ <~U©$vwx$2(o!1G Zl]:4SG4%.:Rw0mO~Y§jؔӽUSJxZY˼遾ܸ]4.O+8[9ٺb0|o{[7"\ |Zk>ܜnr:ΪÐ37]DJ6wâ$fYdFDMKgֵ|xlҁ׫(iVr9 j;$,)VVzN^G%uYgcV'CY:ڭ[Zr,=8H8KVa;g1t5uW.rq4ARC‚(OþkanX3 AgXBofnڃb\6b ~w$>B pK[PO=QK[u_R+(P(:TV2ݭyrN ͮ ]{wTCjc =6PN.}P3|]@+Old\ \BBH}hJ>=3F0 z~߱gYZU{/{ci]cs̝6*0MvkiTJɄp󡓅eڸ.I槚v 0@(ڟ"PǛ7y[be6:٫ӑ&XOh\S5X|D`x@uzc` ْWAdDM#twwx y[ |2>A"gh~6)goE{AA`V 7œɄ=P4&j'v< 8f¿SFіVEIEBBiV~YX\vVn?oMY&1Fl-1p-șE|jU,H=bgdJx7*90VcOZp7L~l2;mT/k>rP?+z5 >i+>l\Ֆݣ4H5In!v 5oĐTD) hMh"g.bҞk?&>'^6 kAB\lC']I)=&V)@ٻ$7 U*j}=FQQ{Q }`v,h D7[iE% Zu3+r}_@峞_ >pN@k'چlBrr mnulWZ9.U|T;> iڼ1Ħ*6,A{pS/_P]{pk&0;;4$8ӷ LֲɽRҴ+9Y>: 8B墁S:`誦(^48W]81pժ,O4~ H{ no*h5AV(x| o>bx`I Q{LJW<*TA/:)gضKJV'0w9kxdy c31z"8U<8m*'h=a˫%`9GuIyZ_F4o&v:ڙ:Wae9,Ptj[zmU,KDpwd-QADHՉzcCлUi'ʹm'rOX㍾}6Q2J6xXOB B}p~ebc zr/)LRt^oLIH_0cʊ?bHCto9?*4D?Iй"ߒP{AAk=闛I VN8HFtb! [?zP|'uu^uFr)ѓ."(^+vkw+w!LaK{N !%se,>,Zy4&2t=Ҽ9E>Dī<fgScr|fjl^0"2Z# UDVxqDoJ@Ɯ\ek~ u$t&@`?KDp0T)`^=>Gִ:p+Jak0uWrl| \Hy t nvNV-K}.ⲉCG/nyڵبڄE;;4L3`R J!{[CCg?mD[{V1ow )Z{CHc cFB=qp.ϤF(=6ViH9G?<; o j8Rc/f2S@b-Vt>75V=O3)>v>TmLFU,RKq_1rcdr] g;[rvp [V>Y~ߴiT@d2A`:AǥѰZglY|xԐ|ݩ#A?w'$~ڳ!e Ż݀'d(I 8^5y" q0[+7_uTܜ]W߬x+]!{ P`MY%6Iv5 fhκrʆ^p EOndi8im25c( =lGkgEXP`lTNUWV1m$wL?yA[(Idϣ96WM@FB {/lg$ vdwW -SVR.C&oy\nh#u#rj@ iJOqJdwލÅ@]i_-XB^ˮ'<_ؤWF>[|[06ׁD`XMCn;ڋTKa{y3l6dM *`r]@.2v‡SA/؆ {7Ml3;M͂›Hꝅ`MoiUPL,f~]׼͋Q3ڼ:+UPB~ނ8F7MXMJO+[핀P_36oWbjVH[/4 dCt(}_-B!Ddc ]`v'%}`wɌ3"hN7-2~1wĚ;j@?@sG"mk~u1!Bmҥ  w9  MACuҧ%jE\C 96͢Pİ:Jx$q7VT7aB s*b=9^+I/a]U*+=K }u+-C6q -fbo ̬|҉%bOM`_ yyt_ zğRv%qΝ{->[+~bV֮H. m)fI ];tSns? b!PWFޥs^ f-Ʉ8֩7M0s -&]28ljhL,.2_>C W,*[h@lNSGXnpwmKk*!DGS"Y5+o.4ށgYZ7zXZִF! 6]ŗXiɟ1~z2Yr 5G3lˡ[^J_sZ^. ]mMvXT?:GVb6a態%x%9/'[Ԑ9J(&ZBOD^ЬSD=+{LZUNDfKAvpv3%|np2gI3Bֲg" LBs1`~La/T7ksxSS!fw' Fyoo'n}wB>߉4)ML gYZ7zXZִF! p99]ŗXi%; T5~@;;|j@q샟Zha*k| XL&c3] nOaLsc&V8s(aBѮ*sjVā>KEp!sR5A޻2()ӐM1/k.}6# R#zL8lg"< " [7J)b}IuZ ZH:$g/l1B"x~!0Ugfgz>#2sy@ 8{Vm=TE֌RG2wq6A't,+?6xrPڞag&BV6N(z;Pu+0jU trH-8CB.q]-z17 n"&q N,<+iyH`)1Rzvq*.,zrp7amSreSwMn-e<ă<5 <Py$[*(|K¡aICS.vl"a쏰&#gV8\R_(L3rmM  \} >x:17Kř*(G*롋k$= pú$5(;x='w 4J.xhCJ*@VnC/R`dMmsXΉqeaof!?%D 1Ojpx% aKöSf;YZ7:,.30&yG$ek9N~n_tRYp"XQܹ! sXn&kg@EsLT9+/6uޭ_`Ow3b3<\WHh}5*YAaR)VZxo 3m~o\Ϩ8Pp4}(w@QexKO{)Y<#]9Av04\ ^SUɷ:_-}c/ |]ԘtB*>e>VU??vu5JkZ mn }ݖ8aEFxuw|.!0nʡ 5P.):^1|`Uu&Je=D-Id_|_3l*E0;S{K? ~_eL0\Gc;3$kŒɰQ Zn{Vdu+>Ӡ쑑DŽ`]ut=ۊv-Id'9*½J:j :|ffh tkv{fkf KC=Cdߨ%kuտaK~N*]x.ڏ%5I G4,NBq Wys-eaі|lŕ=ctk;vy5V;Y y #x8:7Ο>k9/5ZMIVU:m^ʪuIs&2OMܰ7Kji.^ ;MSڭ:%Iz4:Ǫ1tiBRmSvҍcsg5;^Ryf2^t ?7!@MӁ3`JFVz/݁P ;d~fɱC? r~R8.Q:cka}4(SG&HLf6a;ȁ4/gIJ]&WspaK%|X}}بm8ww[%E" KMB4 M`'YM稼h1 Be'RLe==Fc>d%(Yj z[v !W˻lupC,.%lHa υIos,R:6hښH@߳3?Ug[:Ԛ vf.UK-1/DՅ{FuD, @T!YZ"=3q+c98nhsIb;wpaG"ݱןJl&$X.ֺGĥ=sU#[@!'q(c՞5dxjx >T,=򌂍#q\G7PCqZsFkF%Wru_P $ Yjtġ=ULɜMwd5đjIǟLX㤨b!ReT!d&#B3u@QՓ01uy)ٶq/O?4o٫3"~HN'TFV ~5[ӢV1B*iT 3gxEFjVI NMEPJ1W'#d[B}l9I峘WϴpZ ɧ39׬Ì&o>[{Peǥڤl}uzpaV]n6 μoY6R3|9B>*Jq]yh&u:Kٖˉ`ɄGnܽ}>Z\( %ZgYy3K+gHo`YPlCK Ɛ?  Aӑ1:c]5LgSբZ);lhˡDpʫU_K1R^ӳ^0!r̯Np`5:ӿ; p&ϻX眪|IzYWઈf7}Y@R^rX]F_:~Ko<#ב. VpEܫ5_UW!eVl60P Zv֙9ō9~edY1/&Sgow}%>a E'/0qyuW{ vd[D{A_* ^>gbB=m1.e8}Y1hGվ 9IWǥ269?8p*[9}Y­ttX ӅFoFWM:͛x7Dz74i{]ͼE>lK۠27s]׹蘕[ 糄6X ;r_'H G4n徾_l>j@k^"s- T%R%.}N>d W4_xn nW 7qZ(𷷖bY\v.zFp{[FLxV36<83jvb(\PC[0l* &&#Їr7r2q*r5ጛO(B{ ή)cE2`Wy՛7v\&G]fld5P=,RqmUhE."YzO5 xh@2ۈv h*ϸ-z J ;]lƐ]^çfםڧ4>cb*DI8 ̆!AcVbIk*ɨ?X,K1B6K{n[R' <06A^PW^-hivKb3m̅y`=??Œ&JmYbD>Bb>ZRkͷ#ĀF%ETEH/>9d%t_I $Mf3)"$p>!MJ,ȱF ZJ9zUvWY"s  !G,,d $2d yb5'ȰNehl8 M2vI܏ӪKg|镗m@/_N )φ7鉻NݖQRj3A*ir"hݷMLo[1WRWS3:&4txO Y?.|qC qL/]Lhd)Zwi'}ߺ[J]_c~Dtix_QT j%L[ ;D=Fg0 pA$+[,ԥ<ܻ4@䱬~"Hi@+tV<\[_//];ت?Mj6wQ S[52c Y'-]EqǨ^>K#.bVv[Bj5PKZ>_y<&%h؅rmYK͌kRo ?@mNj-Jz=ގa5 o׸BEJ, Y)owJ'betZfD}wZ[Zwoz,?tyB~@rcN9dTTWJjfeYm`󢭤<&4 ,.i#Oϼ`pF$E B)jn|1tA yҫKG(&U hha+ MA8@!qxk5lI>kX = HBI|Im4FBAx/(Qy. .Est;(q8@C_^bIF3F@ؾIOf6h ǦY6eqiݟW炗#^~kxŏckiQzю=H Xhv\i="|#ZbFSē`=)f>|\W6]bs CQDKU6a T^! zp!aDf8 txտ uSrD.fzXɝ4i+?]~",yej6r{Q9nnOYx,vi_qBzbeGXopF3 *:d*h7<)?4$u?sm%1IR!C[g7`Є4S]9'=|jV綁+~ ߃"A8 ݭ_wѐ$?]G t1l쯍{\&Xg3t}9{ो>En+XДcx+&G: _;u?aMb.T1Y* _@U?gWbSQ%޷fryajf8r_s˗A{z*7a $=-Wk}=[1sxY/Eؔ]q[->D,_u>*pӓe|:#~_«=EJ4ǰCc,Q-;)⼃L&iFQ߀NgsJX1Dqts̊Z.XfWFd/1]ReZV:U{kI6{'N{oᳱ0u?ۛV}$}rxM,ܠv-D>W#z{@e=zfh) Xn1Js$(\RXc SߐHκ~^40#gG8Bf?꿱]L:? r7{3g>DL%p~Y\=p፥E6 L,] +A!AS=k1Jٸa}֘/U66AJgpS_]čضd zl  1>K6rRiޞwݡr,ε |T%Rϫ66A}m\hIITհÃ~d;{+NU-(,[w1NCgvt: s] 8n|1`UR*?b1枱o#Zqg}-~jaqC[i(LX K 'i릖9u8>EOQs9I:7D}yFڬp28w{zY'Ќ~m:uX|e3< 1uv-o}ͦsdb!9t@`Nv]X&ۙ3娚TE$;J cw"B#pT2<`|/G>$sxZn Y6^کlڝ m;EW%AH":Qd-PcR3qvԷ- Bq)u)T_S>Sɬ_o ZC)$-Qc;.|(rmC;R"b3"wɾ϶]aq<3Q;Jg8 ei.2γ$gjb2pSΟ$Hu< $ƈ#5%hbg|:!ޜQ{5KWR8<$4p}|ʦ&jbM6*X0Y9-#݂Yχz^]͕|N$ aY4測{!@6=1iH!rMκeH+; 5b~M?͟mB?8fN|Q@bC,P3Qf<ӑ,j [dgi?s+n __1)fRسN[%̇h aC7q_]S}/̫q9Lkʰ.\uK E.9o\}k?9Do9N [eARX^+zobA(R eR(7*Bx;)E^Rv7WhlTn !C@RFH* ?LFYu3r|ܾiih?L2&\ W;ihiLu B3tU /ٲbδK@5\ |z.SC$͙f1:/~'3\0͙?yody` Ds^'\V5=&B;G"7P*  pǥ (г/kIO7?iCR6춞S5[fę1[m}cu GUz!b'ucKrudZ  Qbfr ӟʁeY &Բ.Z*%-~m481K_U5{3\h`sEp9kx9H!h)yu:1TͩZ,F$sBFl6*0vf$Ui vS o)wlmc^xJ%gZ0 .er\V9Cvm1{"7ZMWX5cz2zl0QRcJ聼H 7> G;j x1kv1$=| o殾-jpP.\kA &g*N0$w{jV=oJo+%t@N\ؑ+ETjRAxΆV6Յ5duOkP]S48ze_g'u.eyWM5؈*ks@ " 4,Y @D(Roh*Ma&H}b'x}J[*DI Hؼ`cS( lw))TՈZp&!u6c]fuؖBgA\W̷x=9ٰrq"݂$R{Rp#lk35CVik皥=Jz+{ ɠՎna.mr&X73ڞ2S>OZqJ+q8C pJ2k]6vpۧ$]Ռvo~h̄X?EU+Y}b+0rK(B(VVb!ގPGA!USUβѧlzZomhp.J&BYǃ#iV-4)Ylt\qQ[CH;i`LWo"uFS6 nrĵ }W]%~M 4QNkN$p~tڅHY%YdJ^~nfVE(>&V K1Qmt;vTM2}$/&O)_"3|EDW'[.>ڥaCT9[R@bcMYGzC?BLyjÌ-E2q%2RW2*mƒOy>)3bcWHHD~aNmܲXUBfM)q_@gب[޼#z$ v##K߈ `|(?VoLzf K&t .si_J8A |1x߄6xٗ{Rf-NK \}t!MW`ɇFT]UVpXJ-nev@Q~p6Za&]̂3Zb/s,nKoClo|.9=x'RTuS|@`҂Ħp\p@ MtPp.QqX|כ_7J&mާ8]-L3i]2W+"vL< TBRxtOgȏjnj# UK&]bJaG;b3aK؉6J*e^cis΢gۈ;3ꭴS;+^OqWؾR6K0 >eP1PUm&ݬ3sPSFJ qj? <;dJhUK/:gTփuj' BX&vWbD}]|Os|p3}!;OG9WAGu\/u VTv&z !F \Pk,/ݔ0;[޲ Kn(ףq-,ћ URI>S3AkdcG F8;ITM)€6գ /1IJ7ӝf]ŖF1Yǫ> Lѷ5ї}\5mf|"iX-0 t6UkWk=~ av87l3L^a7Fcb6) "*((9k,џ,=jkصˮxOMZ3D#dc^^42}ITf^d:P Nbm6f*uS∜g7?|U"j>CH9X0o~)޺JEDX7R [`HSװ z24mQTzvS)ĦbY/~Yb^tmp^"em7r+ HԾVrȮ䤋L.Ɇ3k27e?!FilEԶ aH\!"d>禜s.LvRZÍz5{Y:pP053)֪7D? NqIA$3}6S1O{n${ʑ}Yy UU/&`۝=`_F=.M2س{L:4fݔτrwӥ":β=jsidhC-쑵Յ^W뽫'2 Ik;yL)_kѡ-JHʈ*Y4(ι-8;n2Il7LZrLV*y߻3y@aExP IB8y|BOKo  W V^roUv<{z[1e֢ƼųC4xo;6ByH3bt)= >7N.G]4!P"_Nb۹t:}OFȵ`T:|7/Wŋ9ʴTL"jd1sM5L񖯑wd"]WMlX ,qZ8Ϯ7 A-$%9 .?q]?]nIS[3Fo4IsV2fm |nU5]5 n1"zQs<2pLgFOw02\=@FjaX=жL:D J`;>ՓΥkUOu,ec4d*g.B{Y#v:Q cc.ÜC7WAtb캒fψiDW$˃L@Q帍y.5π;xգf. 8A4AA[ D*&\߼8.5Ϫ~Tg:ڮմ!uOF>\"H 96Ywp;.1譠]UF]pC0Xk9̪{z5&d] R*gi5l Aui@G"3V|_79 N$]uJ Q(u3}[y8?{:7^t oZ9/'rlj";&{cYӕe (* tʣD5dITwĬƕ#Wc5kc$$/*:X9wޱ+1kzlŹK*.g  O>[ZhSr<5X&Ϗ+!|!#K` SAe4۫< ,ĈD==A}Px[;+45ˀ"=.HI/z)Ֆ0V *PcrwȂ zXyO^E.۳ɖ}U﹠Kw4 KYRy} lS{z_xPȟG˂y}hk(_D v/ .8s B?R@]K:' saY7AǬj#6%VO@|W*RjW tu H g9^GҠ*G6lb W SpRSx}M^R-jDZ]8WslI-Яts{x󘠃끽dntZeR!krr%K2F&)Mؘ).Y WA5O @sH}!:]#?v Z6+Ĕ#5hۑ?|t^1L+I亞e+W0Dj鄹Ln2?>@Sj%0<_݇r[DGu oeG 'Ʉ!idz, a&5$l%˶!tejiѹ+ϕkW'ZhyH}ULs3$xO2poy1  SO Dľ2!AqB`8~hSC\t` m Ayg r+!?+Րǩ|uXSK=\yʵ: OOp\~xGYqHݜ=a!(Z:#g:^_}$˝;HHǹi5UN2%i< G==]G/+7QU")}J,7ǥG tbEy͑Jo%NĞwH0Z.:rT/0nLٜכ``>eZ Ky,֋!`︷V45ImՎAhUZ`jLu>.FHzyaTT=D+DFRCˇk߮DHة\QhΠ/R!!o}ynZ$l̕lg =QQ^!\q.d]>ͥ#L{cϽ[ y֜R^*Q@cpR](75r-#%ve|)#9w5T^ th:vֵ'U绬RO:>I o s5Ov #&(l?Tdznp+Sq lu9%`&l=˕7(Rxo[ \rQ) 2KD7.1f`n=hm/;mg{;xnN]}ѨMM*[g<ᖮc9?|E#z+G 2βCOY阞O)bwKO> M+5Mey聗>R:v_ fl7=|!<*)[N9m\Q#:?T,ɔX>;!ZAoLZ^@㛇HT~UؤRT_15AE"Sql3YL1j ?Ơ&:3oԦ*j_$n^XRi"J^1x׍kzDC 1-t* dPfԀdx>]"=\֠7_7նmגIƁ[{# t8%kzQEip/@v ]p1U4pMntJtSLgYZcca6e4ea42f4dc4d5c184ba5a2435aede90ab770ccfe400cf73fd62fd12acb34409977712e22d6e5 10dc6874cfc163bd3ebe399c64a6eed2318ef64b 25b90743d1281bfd1bba7e3f4d92443f81c8b32c