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  - -D;tD\ ] HOL-Quickcheck_Examples:threads=2elapsed=161.689cpu=161.072gc=4.384factor=1.007zXZִF! `s]ŗXf1-q恈?X Vd!x{f(Ǟl<.vɉ:s 6]soP!¹s#'Ҏ"-R/ҰM}-~BG6XTr<-aoL=5g{R=9@uHB)ڒr@8h2-hI5,H P0nǒڍJ깙/?m{ F{~ y$>XIMҰ`)N)n{#__hb]S1]zlgl?%M},OnD~~F,t9Zc>fjZU\qD[Hj8s yԾڸ g,p NBK W3N|C b+ij[,gWڎI%CAyNb[RLeZx$R/^*<QYbh1<J DOvT5^;}e 1Rю MF7w˽^^"+1E,,,~k+˅ [l! TYp%WR4s0N`nP^B8snC@Xzq=%S(|] E'5%Jdn-5Q0JRl 9Gk)en5Kk.=˟I*ϟL%DjΡacߤAYԔO{b\6*nb|%3i\*hj'/ h'c-'n^Px.G> :~ynND&R4//Ȁw 47>2>I37fk@-|4pϑoz_C$FjHui4fH,A~F>=o:mS;{ECr=2Bbvt;j)cۣ ~7Yoe5A<>مLfZ+])>7"C`?`S)uOjmލ$N ; HOL-Quickcheck_Examples R;U% HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Completenessdocument.tex7zXZִF! ]A-MՋhvG"uIBm5XKjͫ:-"&3C=9O0r͇ =*HXޡ!2=f@6V"\8r6ePLr .&YЩLs |5~x:hN;׹N ba/S\n&#isX"̃;X&mMYrKÐ̀ ^|˴vExm92m)?D]*Z3bVGޙ6OBnKRl zjb<&8_gj+hL,viUFÈMdC5DE nRMKP173\9 E_V@K;lr .08'xzfi`G`tBS% b\m<Qgp C 3셋M-f#9*Ff1vK3|So.̭F Bx;"ş],G "+p.ꮄXQwU*5PViVXouTCk9m"2&>X)mᾡŊƷ?TGxYÂ):*.80SW%P+m٩R»2-8㾛RzuD{!=YO]Jau}EGt7ys,Nnߊ[AƱQQ֗N~m_E5/-@@5 = 1jɝtP1wΎr<̯o{{ocZ-ъ%5`kրNޥoT,V! ,؀8#blQ*`:#y9%ƽGS`7@IMpp_>*m>=nLtk&ߦRK7E#uL8j ]XBOpֳ'^rp b ~v}byFˡQ6w9CW$m F 'Cr 4ל<R_%Iq.AUt4PݤGNݕA"O<^x Ơx- Q|R +F1VfݭH,@(hϖ]6B.r'&]'Sw ]*b=oET&~L` O^G\QH! T('Dtҡ>4b@v-"3JwԫHs]>+?TeCRҾKM.@ERwCm֔=Oǜt̒)F@l~USWf:5ZcZ\Ow:O\(x-RO*@ l=('.·:(66G `(u%.JNq}oQwݪ/ V򾤧i!?dٲs|+GKQGb;i\(!uYK.h(1 br4+&^Dnp9HGN)XT0+cOVUԊgqq* $ƨɐ}a':shp+Q:ֻh/ĻœCo'SrO4:I [XP]UB392?Du^h0WY>l ,+%Øɤ5{Wze:l6*TZ/UoUj&{ k2'eUE*8I:n³xN$!]xw~W=bo$DEkRէuCδLd ,H)%S}/K7L軺ΉX +W _A]"]!C1Ă *NoM1/~{.d?B3g*1]ޱ>t.夅Js]G bڳ ?zBk4(rn{NX;;& ~O-ױnH{'[ӿr_ H'ϱܽŋ[ }zmg%pYK[QXƷ|F"#;8Utu{@)[HW;\N]uoW<s0)lxBD|'!Ve{A?ζ|ԇAl1p҇I%䀮]aH\&:.񈄔.0 o'^Rʄ0tW<[9G[$*qH'L!J\p c u.+6gf<$yީx%˦&uŻȻiY:AZʊ>`I5u#̮2e^K޾jF6!y%'!o C-Yj-yҐyٍUlC)dSl,W6yS)tQ4oͅ38ͮ-+Lheoρ&њ/5WBh`?Q_Â{e߆[-~\5 ckcDU9 iKw֞x@j4D,&R#WǛР_:NEO< 7II @y s1iH4S-)5X*a5*A,/YH/S`qi!T@Gu2Xx7ѫ$m#FK̒(Aˀ77=au /\$4IN~-7ǴHvI2{0#Вy]K܎1lFΣh;:@on[so"c{?0 Re?)1(0|#=(#?ƮKBD" 65&![c'R]HH<1hjS6+7LE%'xtOb _\ XÔ/OZl:֪w5G%C8Τld ^3(z٬ ?ʃJ78^K,쑗J[fU0ڏeXb5[w=],[¼ʊ`#r9:ʹ~wZty(I.X5V6p'p3{~V-tkx{oP_ؙtB4]`% ωB\ޗiLǃhQA1QDCn\ث5榷)}Oe8YxJ+A+SB+7(3 s-Un{2@AqԹoXi?x@n9{瘟g%nm_,&X4++Um>V]x>3G `1^__DC侜JH\!| 拤UyYK:8y,IP4~Mt6/T>^_,n㸦InI7=GpIˌQqيL1) &IwN4DcF`tWv=vJۼq~vE Jr:٤5{-ka %f`}'#KKdAVaj(k"Ϣ^og9\_oSYGkS&jIorL#@~. {c!<\wρ?m`vXߨTѣI>}qLc˃Ƨ *XFN||a"O<@K޽UWeКIHO0o߹G\^F`|1 ז9RvR$osbq' flbBaAs2{GF{ i`W+5d՗QU@W&_w#3`0^m:TԋHz_38WwV.i~ fc_D mɳ吵^vҘ 1Fy!GӵLAk?/^-)j(Y}9㮃F gیF\hK\vM; 6*jí非2mF<) l5[Y!B㾝,C]a K>+Ks9Q؏dxγ0>LЍ)p^ `;{`>i/Az%DxPZwThu)[Ѹv$.VT Tk} :O1J6R =VeӢ(YuxpN2eD 񨄌* F%zUs@}fc^~_cd]XY $-C=R"ztJ~TnR" 68OpA>ZYV`]<_yuBJ ܫƲ6g$5WzK;U!,;W/JRڰ҃Sh90wvVw/Vd$/~ɖ%ͥE^TB38InJ!ZED΃YB6k-d> f\{}MBPʼnТ~VCl2@6J`w9f9=mAֳi,SnBR?6" Em5r`-ޔ !ċ+F e[Jڪq |ahQ Ψv2?ky<.B1*Gu lQ-}{5\d/o8T:eWkz9o͵f %kŰv{A+084b.@XQ};yϜyQDZJ8B\5K왑Y)($>F -DE.&ik*IlZO;B<[_hl'2Vf{3OZeD}q!Հu$l)P}&_0?G'sI!b%*SrI SLVbdl,.XZ\z;y)MdL"BO'Z0ORelRF~UM靖%NaAs8pO_n.>*;9T?dRz`H JC{eKf2N"āS%5[qι%jZz&/{kR5r{+/B3 xQSᡌ5&X).̄mcI<7T,/[bF7;`>]NS_XnZB: :-~U#Y!2L@~~s4v~bɦp!^DOr$֛͚]_x]#?Ra3:fZ"7cd\+jh]!=() ~On 6AOHi%ׁ{&W] mJƘ/gX3xIv !%+&yУztUфʦKf,tO;Z7{x2u /_fd<£]%^^|(xX[- Kmrv1ټ%S96(vnەY~ۉ#\9bD /hњ ˄&ϾrDZu^V{(IۊzV0jz!tSm {I*PRpİ1#.ϋ@SKvTBKص񥽒~k)EAU\`!K^ (msayz>?H˅2M#<4r,pO#qF&1\MxjԷqFےzҧM?5KI0]*oӯy>lE:(rmڏRw:]cOs Z鿌pb./]f80fQ统.2(^EgYZ R;U% HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Completenessdocument.tex7zXZִF! ]A-MՋhvG"uIBm5XKjͫ:-"&3C=9O0r͇ =*HXޡ!2=f@6V"\8r6ePLr .&YЩLs |5~x:hN;׹N ba/S\n&#isX"̃;X&mMYrKÐ̀ ^|˴vExm92m)?D]*Z3bVGޙ6OBnKRl zjb<&8_gj+hL,viUFÈMdC5DE nRMKP173\9 E_V@K;lr .08'xzfi`G`tBS% b\m<Qgp C 3셋M-f#9*Ff1vK3|So.̭F Bx;"ş],G "+p.ꮄXQwU*5PViVXouTCk9m"2&>X)mᾡŊƷ?TGxYÂ):*.80SW%P+m٩R»2-8㾛RzuD{!=YO]Jau}EGt7ys,Nnߊ[AƱQQ֗N~m_E5/-@@5 = 1jɝtP1wΎr<̯o{{ocZ-ъ%5`kրNޥoT,V! ,؀8#blQ*`:#y9%ƽGS`7@IMpp_>*m>=nLtk&ߦRK7E#uL8j ]XBOpֳ'^rp b ~v}byFˡQ6w9CW$m F 'Cr 4ל<R_%Iq.AUt4PݤGNݕA"O<^x Ơx- Q|R +F1VfݭH,@(hϖ]6B.r'&]'Sw ]*b=oET&~L` O^G\QH! T('Dtҡ>4b@v-"3JwԫHs]>+?TeCRҾKM.@ERwCm֔=Oǜt̒)F@l~USWf:5ZcZ\Ow:O\(x-RO*@ l=('.·:(66G `(u%.JNq}oQwݪ/ V򾤧i!?dٲs|+GKQGb;i\(!uYK.h(1 br4+&^Dnp9HGN)XT0+cOVUԊgqq* $ƨɐ}a':shp+Q:ֻh/ĻœCo'SrO4:I [XP]UB392?Du^h0WY>l ,+%Øɤ5{Wze:l6*TZ/UoUj&{ k2'eUE*8I:n³xN$!]xw~W=bo$DEkRէuCδLd ,H)%S}/K7L軺ΉX +W _A]"]!C1Ă *NoM1/~{.d?B3g*1]ޱ>t.夅Js]G bڳ ?zBk4(rn{NX;;& ~O-ױnH{'[ӿr_ H'ϱܽŋ[ }zmg%pYK[QXƷ|F"#;8Utu{@)[HW;\N]uoW<s0)lxBD|'!Ve{A?ζ|ԇAl1p҇I%䀮]aH\&:.񈄔.0 o'^Rʄ0tW<[9G[$*qH'L!J\p c u.+6gf<$yީx%˦&uŻȻiY:AZʊ>`I5u#̮2e^K޾jF6!y%'!o C-Yj-yҐyٍUlC)dSl,W6yS)tQ4oͅ38ͮ-+Lheoρ&њ/5WBh`?Q_Â{e߆[-~\5 ckcDU9 iKw֞x@j4D,&R#WǛР_:NEO< 7II @y s1iH4S-)5XOBv2 p`hEKQK 7e!/c:h_0d#Ot(`W,cˢj牵N8S"&Yr*JP !N28iߝsmg`dE0+1mv"r2ؿ1z낤vk۸R)'og=) ͽJtyHo(D`Uٔ4-Y7cfO-Jw2)eiT6(?vU/qť6*wRknHD 8Oi!:6Cy}Voz\`/̳;:,ڠȐ,@V+:zYunh'R;1fnAnfN|8' hd)y ¹`hZ!=F- Vzx p3fFV7M[b9(d$e*Ñ'Qv")3xzT[̩ ckK%щI}/Pz帙TSMrayz8CܵիN-yGbv1ױ6s׈U^TtgQM\ԥL[y~ I.l48>W*+1]Asu[P/>zz EiEyt^ Z0 d9iU!qD()HoθA=fKsc/M]4iWL#[!<ȵuFze4VoiXħFL$lwLN-  bgϱ'υ*DS[O7[7AOoٚKK.W6UdIFl>|:ɸnaKm;|cM_m L'dGu4Ѱ+͔7T'D)5 xWMxX߫i`:"h(g&86gr 8\j !A?6 ǎI5 ߻mPNc' 7Ū,0R-oqg#5=x ReHw;ͥѴ2&L+Qq'Z\AνF٣7kIV$DKw|)fb)(YoV Vz_*icD,b,=DE[&v)M D_$|=l~Zk2\tds2:U莀T&/7 Я"<:eHJ8o޲]@蚼옥tF̥ HK/pbQF&: 0vI9f$g 6:!F8sQҏyk!Jp ݺGafObeMÔA_@{mu+z[֯5l&lf!,D}9K]sy5&u59K!LH ={FKF?+˄9U!e' իdhLmտih| &JN}0j9CU'CD9tA4XXO?/A_ oKϺ}^(Ua1Wh4!̂ڽđq4Euh MQZx47ٟ\0L)IC ,p=I4c2bP`+0ϗ0:.{}䳔c$`1JNvM@l$먤Fv2\CSp+wZ}&GG(.%pZ\mD MUWghcu!H8Bea>xGaaLaG"Cw yC. |-ލ\14 ^S$|wlfЇ ?=N? R^>*q`@`'Z0NGȼuHݘ8'dpsFrv՞-{ĜlB/8Sg rf5Ԑ+e%7EјGN7Q$5[ 6|R 5j—ѝ;\6'worRL[^N6϶$ɐ tψ ZtȹCyDuVCrۦR= չ mjUq}*9(0zŹ®PY\+\PY+CЃF &^:ptjWAX t2FMS39Hqgh"+C ER?b=3R Q见=:qlEpa:[ZIm].Ű ͢:Z2[Pr9Cjb@ kddUѦ139VɦBsi5T (4J*QI-G]{%ǫmHlV`V÷>q|gE~#^.4)T5tg(zN'w/*4nʟGbpɏjuc jơ: H^tBLSgXmצ|C +Sfyn.J%2:1o dbYTdq "0 $dCXKڗd^ϜXAwC=,a+EiQ@H&ė? I<,P{1ɲ: M;I 1w;U['Ѣ]m3.v*EJwєu "bMpx :H]S!N8`Aym/7#Ǣ%_qd7%J癘t2"}0̽` t6G%}Hđ.UE2`oN>Y$EF2{yxa avvBzs pfy>^"d5 W0'q{Ҽs hd#rpYpʻLb@E^)aL^ ~xh :,ޓ k(! s#HɳDp5i!o>}YoZvc:?-h>At~|=uO8ǀʌ9LK4Cq^[<:/ {ӡ:?(2j5ӗ]@߶hCԲ=rBFMNѢ&Ry^uC˶ld!Nꫝ;3ўYX-hGbD7VGd\\cSφ7A@M ;;aichK6o9l]49࠱d@̭:#΢Ԗx~r2Uٌ:ի /iozU@ֽ \{U&U@O=:5{=R{Up.Wb'9hj::'[`tgzsЂU h# %MK,Ftt:`sjEhQws S* K$![;>a?;4dQl'Aye?Җ5hU#֣ {xI#Ok-ܥՑ'G_\krjw 8,k2XR*5!riw{ RX=Qи}n u0 R[3unPQdJ01xa+EiP'ɸoCtL=]NQVQ^j + *HH_I&Ly'u~x%ch6Cvlj)\ msnNw&=VOIl>kZܯ]vKzмI~'f|UyP=Lv;Yaԫ̸vQk$`-^gONHZu}x~[mܠIבgYZ  m vK;W% HOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Hotel_Exampledocument.tex7zXZִF! ]A-MՋhvG"uIBm5 9NkQa[פs3]5#,H ٔfL<Jvk b0:ƥ - x%P'䮂S*ӢY' 4sryVn›{ j9A6-bʣ̰ C*6qƟ ;Ida٨h!O[;;0})U*vpjInUĩ,K.U (@NVvœ/}âШw*c[gxtvb/&0&1Glٴҡ/幰3'cR5ɦ;D~bvj5L .[+۬ƷRL2j t;a% LHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nestingdocument.tex7zXZִF! ]]A-MՋhvG"uIBm5e!T(]_nj8Th8T%O-#.dGd3E[ <{P]`%d=|LQ=0$o~N-\0b{j|Q| #dP  :5e KIkҜ$+zn {G{e7hV',+Er aƤ,UȊYM8+^ڋtǛ(ߴD'>;NCӻu.TRG@aZD@x-殶zd.*D2pbqjڶ053`!Lw¯$8NdM[hBB"P?r$?Zܬ'J+lXPY$ł$M6 |B*?u|E w-QĢ\#O&)V@¶!oъ 7 s'?ܠ/7V۾ԯU,I4 j_e˧HQ $vc'~"vz@E (X$ %3] +o?Y*{@ԤñgYZ;q% tHOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Nesting_Exampledocument.tex7zXZִF! 6]A-MՋhvG"uIBm5e!T(]_nj8Th8Ԉl#q@W Eϴ2`|2G7Vq`[K\f Y\6vFVI6u/ `R_R"*Y!w mZOO6,qnTţ{VF!,=nK z‘V!\c-1MoқEҞX9Ay!H P/6baI;/ 뚵9N=*LJ O0Cu`=X )"fcN2ztE;I`\ݺ>Mþ\ ~vd O)>#msE7A똳-tXoH[R^95[ؘJ2Tp9LinoS-xO귚] !z 'iTi-f^_>#zM"\f/8 V;_nYSH^x2vG_<&]1PMVA)2I%5 @IRLf$5y8Eu< F7H5d#hoI\|9byTئ}JC}gN?z`FXpuvU3ʎǡ.I0UxG㰹.h1#\Ez⾳+#R=tVJ+FFQsǛ,»T5@Y:zS)CB kt$hD2]nGUoS*]*tgwIU:4pH!ܒ1c&w<#עZe2|vbr>ZTݙ )mkq3{` )6XA+@JZ XzMuq,7 1m.HKIMW >%(p ܓŒ[nI(W&|BTc Ͻ2sF04c,ApoW2}FZbc9&\K%lwуCmh`Y=`ץ;kZioxqa2Uu*Y|+v|lbWT..D4,`4Ynʦ9TBoJרRY_R "%GnW6gYF o `pdVDHiI=|rRCeI!z'όpOZ ;O όƥ8Eh⢃YQe*&̥m5R䙿9}b"PO@ *5*Vn9L!ROW-@tWeSTy{w۶9+5mv..%}xqf=S:"`X|P΃ԪXr⣔ޕ+T@^[Zd?E.ÙƁQsRuDSI9jB 0[x\eL@y0zf{mD H#$*?7o%vtccQ5}R`ʇNX2$%"&7:t&>ےmfGWif%^g;Ixk͋ؕ&Z wXSW $[ex6ZZ&;ef WS/mMtI-!{]6ʅ,(U<kt-=fj?pVIYSlM[ÿ7.ā+:u]]-1!Zizl}" Wܺ-IE8DF߮+GxF.*ROBh(Tw:n@adXnX!3J92j]ڈcnZgʏz#CoRF2Ӧ-!瀷u_?QlA;S (ԌY"Lq9resd%!;sy{;qyuTV!ezxf4DU;~wD9FJ,8YRRTVњR%}j2/+|bkQqZ(%c@q);)n )[Bl `~8"a·T5en1N%醬$'X)!g2hUz ?\4 U@3 cmq-Hs Ӓ%󎰍8' Q>G'$V&HgAh|; jta,sI"M \FP㠱[oa…ȝ.A]ZBz *?c+VgYZ ::C;w% THOL-Quickcheck_ExamplesHOL-Quickcheck_Examples.Quickcheck_Narrowing_Examplesdocument.tex7zXZִF! "]A-MՋhvG"uIBm5e!T(]_nj8Tho` dBBvǶ2EntC5zJZ2]Jf^;%lbBL`{{wR;)Ψyh 0xF쇞"v ,;w(~9cqEhHgBFL-@ zkEY}H lqxh yCCi oD ao: im>ߦ/K \(_1C7rZ.Fon#GBY%E [(%Bfl?o^Q;뿂,lcN;kx 'nQgdz?"Y š`d?cdߒ6;/m"~P5* 6MaF|؅R bV`]ȹ^pV8wC.{n* aMGEh\ر.=cёӀ#n>Q2›%jmYJ `'ox&O`}4 ."BSUBIAЕHWlDJV=iA&YS%4AjaO*{"c@pI!|IrLP 6$˄Sq4fjkjZX,&װ$KQXK\]J_ͶJf`Lfc]yܤX0sc]L~r2 Lhh{0 Z{2#ri2 xH Oq2Owvt5yQ :LBAN?鈀ns>,pMį6n2gYZdVJ馒cjg' nZ3Gy4oiO ))çD,wvSkYCa2?y}UrFA?{{D~~q v _$h1q% RH5Ry;zc+nw3D3dRW]Pcm` ;ѕ]8,BAךan{T#j!FIk`Rw7 Lbĥ~ R֟ķ|`(_t!֔\u'+$Iն0|(J^jMmOUO]E/hkr$1~ }xnPw&@. ρׂuń Q*eg If-/@Gڊ靉B[{O lS` zX u{=@KP\9 å4mhjz޲d@m>!Bjh`tP ub%n-# s=&N UˉjѦ?I+gC^p.r\MG|W0l {jhAyhfHY #RgYZ7zXZִF!  ]ŗXiɟ1SeN|6z_מFP5{ EߋYCci <32ؽVDc몱JHhOPABğ8r':zJAkv"o HGOn'V|"įa^R5l3j<[T=7~!8:* tQP.*%s|f`aCLeVURiEX4gYZ7zXZִF! ]ŗXi%;7pK2DJ7?paxB}P`:;b]^-LAnj-TPͩ5nϜUup .mo ^P0L[}m9Pצ%ep}v}:QZoW{,; (y$^G.8"£Ls]Jm_oaً(HڷYdl]h+D91E:[JBɌ"] 7wN>lj"*|y^Zi(BJ&8~!{< ]AcDr* WTxFm-kz6X, dӌ:=bftBztƍsT[*]څ";Y?K馀'"C3H/Uw<1Ω\#8oP @DYўA /k|3֑)? 2` WriTNقDG눣2r?URT3~&j\f'Y*1Fܯ$ BZ.ZÆT4u@TG#ץ`4T`0|t4B/R]ފ]HfȨUǯY V[;TŇҙ|MiH8OܺzMv߱ `VRVQAbø$l PH_ ss>pJ8C/z e{5ۻz T7V߯1Ns!!, ^SyU(3h2{?ta?$=yQ#7іxxl7 TC.Aed8p+|n'ٜ7PE4VjP1Ͷ.&FI- >"=GfOҙ$y%Nv̾1,0|H7`2|nYqق$ZURbKW;Uf,i}K|-5 Vtguʿ?!=swe->)nz*~/:ء؞ ^Z*ަ`>QFmo$I:2 - b/́r1M[at8rĘ kc?}|U`=d*|5"*%5]VLE+ p!.鏻bS1ra:0Cʒ?1;];B8R^PoM>O(U8K=^|kޏOROGnkQnźk#~*6M%) 0hX91RR f olI켭 L^|f eJ?>2Kp{7Q26<ɰv/ VщP乎F,6.a]舉 /ݨhtհXт"RᒺC-߬;QUbJYsji/-0}+,bȥ9͕F돌tS moT|+!ݲM#i &ඎ,Ds#_/4oOƛ:H32bLSJ'XjǜIRFDs qq fJN%"7"ʝrZXtNꅨF%[Oa[DmY =¢R{xބJ [Ft$i$71jCQs)T)r`bo W׊1$j$hO4*zrXa!֖wm`±ܤ ٖWTjg-(pt~#F :7)*?R/F_mFh~犋A(v+OWBxTtZ ]P^rBgWHlb4?*nx+r<"vhmIX[lP Cø Xv5Oj.~T|]šnWe _If19-2ި#f9MGJ z=8)MW9)aSaFM )6o}r. TXji\ҞHƏRcL6 -7&iK^fc*?0Ǡ)*n8-V5*t f~M\R4 HP; bdii@^ _:=!990 eS2*V ކ6X25'ľWܐ*0a8IdjP?͝eO?xf,Y-GIGeT؉BN Wq]l_,l'C?e-5:BQu^T'j's>o)Q O/$J?|Xj o#5c-.sJ(p:b9zШ;bѡG鹟Y{3B%އVp\VeJic `)\`' /BJ,~i%z#Mrs-Ƽ[)O4Yygv9YۯT~UuB;)>ߡ/ĉk\NH"=gZXR=i!'F|w޴GR JLo7cNU 2dĈ{%坦` s*2,@=Ce̛/;"E0T)4oP| pFjn~1\FjSRISV:0qԤ==ɚ A{«=_bHͻ ).|+b}p౓ef'O=DN~[ ,niML'Y"@^ ^ d3,}EcgF"\rg4Lr DGF'^YʁRbk> (e <9u!Lc Dww \5GP}f&pr9wSxY% PGjnML2]gkEbΠDfQZp#RHQR$_y\L V/}y l/rWԤSXPZH$:`7 0OCr oSk^G$sӝY-Oq1P':_~ȱF3t).\G;|1 ݉u_T gg[p1t>jC b{YVJ(䡲5&gp`GaG,Ԣ`!w+kPåԗ:g\˦Q+ltzݠjqz5ͼȄ?_\OX~42P+{8 1yL%Yāj{PӄGSYXᓅ̤A:8$/ JZO4iЗlփNr.y2镠t?"jv5`&W/CR20Ryw&&#-Gn|+p)|.Kq@INc<2jqR;ՙKD1>?^$A\^#Qx \e"(,%Qr;ew[0ecB<~ c3%l0] p0¹tSS[~a[ʶ?{_N;6Hd>`}" @Y$1Q5qmiQ!a \g&s}"XzӱidWu, 1ty@Jڐ F$Ov%f͘)}ؕbL0сj?͉Z%f);饠)>ywsltay*)6@AqC4YgcUx6h ̍w8j3qZ7ꃂ^w;ze|,[੝]CtCzXZ")|xD\aヾP񡰖&Pa:NgdL~w]jƻ)}*I` 'PA#/eǶ"XS@K i5xdl3v2{ w{KlnTݤնiaPM PyqRclahK8@^]Ev+OQ;Xt!d! ̸]?Q^c>YAs*Y.cq/v2NjwBmBD?9^Dv $du@5M*oKON(c`c<>8#WjBMf;{TET rXaJXE ]xo=:ѭI]ͽ2ܯv ryy̝en~Hl(o5J< 1#M/&`":u!ҹC+|]-?[x\60-QdrgA{=Gppʮ)f?Zm^Kk>کș(#Tv%O Gli>yY^.l_sOHkPEʏaNRjAp0@)`ꁺȥoVsoVHL#~F<]qUW"lNQ++x6;+KGx,,!ibŏ5[:RĄ+~fliAgܡiy4`പd@WdlT0Ѹ*6(IxEgd*r"#׃_QPHmt _+E@MpeK3Kk_EǸX^~-b]KA8뒡c{2ϺR[W8;[1g~+ȹ_2v9jv6pG&9b.ԟvi!'٪-5qM g:M-Dv,"! d AA7j8Ky@tM+VQPy2=RYNAOȞ-Gt{k/ן?jLVw?;D5 GUK0zH}sRe7 pժgYZ36793880843fed980de35eaebd4412034b65d50d157872e777819e45a1354c5e9b25a0e090aab99b a20ae71f22856b1683f32d476fe747cfb705bad9 0760c7bc33f6d1acea51718b011f68f0766b0037