ELF>@@@8@@@@@@@@@@11 @@e@e) (@(@e(@e@@ PtdhhEhEQtd/lib64/ld-linux-x86-64.so.2GNU 3 P 36:|BE)fUaqX8Y$xb ;%  . 023<7%Y:egF5!|7MQPBB`cwmuffffJfe @< (Clibbz2.so.1__gmon_start___Jv_RegisterClassesBZ2_bzwrite_finiBZ2_bzreadBZ2_bzdopenBZ2_bzclose_initlibc.so.6fflushstrcpyexit_IO_putcfopenstrncmpftellputcharreallocstdingetpidstrftimefgetscallocmemsetfseekpausestdoutfputcgetrusagefputslseekmemcpyfclose__strtol_internalmallocgetenv__ctype_b_locstderrfreopenfilenofwritefreadlocaltimefprintfqsort__ctype_tolower_locstrcmp__strtoull_internal__libc_start_mainsetprioritysnprintf__strtoul_internalfree_edata__bss_start_end$ORIGIN/../libGLIBC_2.3GLIBC_2.2.5kii ui $Aef6f8f5BeBeBe Be(Be0Be8Be@Be HBe PBe XBe `BehBepBexBeBeBeBeBeBeBeBeBeBeBeBeBeBeBeBe Be!Ce"Ce#Ce$Ce% Ce&(Ce'0Ce(8Ce)@Ce*HCe+PCe,XCe-`Ce.hCe/pCe0xCe1Ce2HKH52%%2%@%2%h% 2%h%2%h%1%h%1%h%1%h%1%h%1%hp%1%h`%1%h P%1%h @%1%h 0%1%h %1%h %1%h%1%h%1%h%1%h%1%h%z1%h%r1%h%j1%h%b1%h%Z1%hp%R1%h`%J1%hP%B1%h@%:1%h0%21%h %*1%h%"1%h%1%h%1%h % 1%h!%1%h"%0%h#%0%h$%0%h%%0%h&%0%h'p%0%h(`%0%h)P%0%h*@%0%h+0%0%h, %0%h-%0%h.%0%h/1I^HHPTIPCH`CH~ CHH.%HtHÐUHSH=&uD@eH-@eHHXH&H9vHH&@eH&H9w&H[UH=w,%HtHt @eIAÐet?H< t< u\Hn \HtHAHteHHH9w H9AWAVAUATUSHIT$L$D$HufHt$L%AfAfL\$HAPBD 2DW6B| BHHQuуQD$If&ƀf ffHH u& |$uHD$C|$? 1 HD$CD$|$ ! HD$HT$DD$A fD\$AfD$A$fD$AfD$A$fD$AfD$A$fD$LT$BDHH u|$IcL$HHH H 9lfBDt$1lfBDD$lfBDD$HH:lfBD2lfBDHlf|$IcAB|HcҸbfD ,@A@׿`fHHHHuHcHD8 BD<t<tt2L$A(L$AL$HD8 BDA9t뚃H i :AW IcT$׾`fHHHHBDHD0 B|u DLAHHu,&D$.&T$IcT$A`fHHHH<HcD$HcT$HHHH4BDHBD BTfHBD Bf)t r HHfutvD~FD$|$HcIcHcHHHHlfB IclfBD :DvDAHcIcHcHHHHlfB HcT$lfBD :Dv t$D$IcIcHcHHHHlfB HcT$lfBD :Dv D$D|$A@t$D|$T$T$&IcT$A`fHHHH<HcD$HcT$HHHH4BDHBD BTfHBD Bf)t HHDuIcT$A`fHHHH<HcD$&HHHH4BDHBD BTfHBD Bf)t 3 HH u|$|$ ЍTR |$IcA`fHH4+HcHHHBD BD9~AȉͅIcIcA`fHHHH<HcD$&HHHH4BDHBD BTfHBD Bf)t 0 HH uD|$IcHDfft$IcAHHHH0lfB @HH2lfBD :Ds DL$@|$ @|$DL$HD$BLIcIcHHHHlfBtfHcD$HcHHHHlfBf)t ~&#HH DuHD$H|$\|${DL$IcfD$IcIcHcT$HHHHlfBt̃ ~ D$D$ľ IcfIcIcHcHHHHlfB|9l$ĉIcfIcIcHcHHHHlfBD9MIcHcA`fHHHH,HcD$4&HHHH<BDHDBD BTfHBD Bf)t  HH u@t$HcHDffL$IcAHHHHlfB4@HH lfBD4:Ds DL$@|$ @|$DL$޽ZBLIcIcHHHHlfBtfHcD$HcHHHHlfBf)t HH uHHtD|$t/D$D$D$|$tBBDHHuD$|$-BLIcHcHHHHlfLHfHcD$IcHHHH0lfDH)t ~*HH uHH =D$|$~aD$D D |$|$f|$f|$|$|$D$ |$HD$HN&HD$HJ&HD$HF&HD$HB&AIAD$I|$HD$T$9T$qD$f&fHT$FLfFLfnB\Df.AAHD$CD$D$HD$Hİ[]A\A]A^A_USHHIHD$HHDȸHT$fAHH uMLD^%AAAAfC`@jftHcT* D\fQuA(u )uACIAt@MIDS6fDffLW6t`fA HHQtAIcf[]IIAZAL8GAT:HHHHlfFfDCCII uI II tAACQLAUATUSHHMACtD މ&AfHE6HHDEɸ0DDMAL8GT;HHHHDlfIcVfLDU6fv4AAt E I4H&HtIcA| uA DHcB AIII gHH t ARAL[]A\A]f9| f9ÅHH(IAHt5GHHHBHHJHHuMuIIPHJHtIHHuHHWLH=v%tHHr%HP HHZ%HGHW%HGHGHGHHG w(HH*Hxt=&uނ& P=&H&HtB &uqud`uZ u( uu HcHa&HѺHOHHuHwHHGHeCIAAfO6B| t2ffA@fA#P!ffA#PBD AHHHuDË &Ѓ)Љ&HHHLftbthHcǀft\Ƃf{IHR1HcfCeCHHc`ffuͅt0}H'A.IHLHc`ffuLATUSA̻ @jt @=*!@jHcH<0ALL$LT$CCIHI uIEHl$<)u~19tv(LCMHcDGHCAI<2Hcǀ|tEt4IIyI9s'MYLSAAMLM[MRL9wA)IYHH nH!@j @jHD[]A\Å0DAfDO6BD t CeHHQu%e@tHcljfG@t$@E(@(EP@PEHcǀfG9`CtH uAWAVAUATUSH|$HHHHD$IHAH.9t AA)IcA9t MIcA9t IcLD$A9ttwIcA9ttfB#9ttXA9tῐtJHH I I H TAI H A u%;`CtKH u8Hl$AE)MIcH|$HIcL\$ILL$[]A\A]A^A_AWAVAUATUSIHt$ЉT$̸HL$DHH LA<8||$ftD)DHkf\A:u'HL$`CtAH HH= uAE)IcA<u'HL$`CtAH HH= uLHcA<u'HL$`CtAH HH= uIcHL$؀<u'HL$`CtAH HH= uIcƀ<u'HL$`CtAH HH= uB<#u'HL$`C tAH HH= u:u'HL$`C@tAH HH= uIH I I I \H I uAALL$OIcBD:DDBHH tILIEHHD$IĽH|$ظAA)MHcITLL$IcMTAIcDHT$ЈDBD[]A\A]A^A_HhA/HDG6fHHH uA A tIcHH HHhAVAUATUSHH&=9H H &HHHHHHHHHH)D` AHA=9HI88ACeILHLHHHHHHR)HLHHN LHHHHHRHH)D@A<2HcDCeHcHHtHHHHRH)A2HCeCeDCeLHN LHHHHHR)LHN HcLHHLHHHHRH)DIDvB HcCeAHCeCe@CeHHuLHLHHHHHHR)HLHHLIILHHHRLH)D@E:McECeHcHH|7HHHHRH)A:HCeACeDCeHLHHHHHHR)HLIHcHHLHHHHRHH)D@DvB HcCeAHCeCe@CeHHuLHJ4HHHIHH)HHLIHHHIHH҉)HcBt)HBT(BT)Bt(AAFL o|&HH]|&=9HHN|&H؃ %[]A\A]A^USHHcHfD%AA*HH'A 9HcCeIcIcHHHH0lfDC6fDL6HH uA IAQ `fCe`fffHH uHH$B6ffB6HH9u@fHIfATH6€|8 u&fTK6ff1Cff1Cff1CHHHQtECeH[]AWAVAUATUS|$t$IMHcǾfD|0 f\ HcD$t0 t$Dd DB%D$D)D$D)D$tHcB0HcB 0҃P~CAu eC7|$tIcHBD(uIcHATAL9T$u9L$tHcDfDfHcfDft$D)DD)։D)9KD;|$E97D9+D9}zE9f}9D9} E9wD9t E9dA9fQD9f} E9<D9t E9)A9E9};E9} A9E9t A9{E9lE9} A9E9t A9@E9fD,D9'A9E9D;|$A9f}CE9}D;\$@QA9t ;|$=E9,DA9} ;|$fE9t D;\$D9@|A9}AD9\$} E99|$t D9JD;\$@69|$} D9D9\$tE9|{ ;|$|mfDA9u E9D9}'E9f}9fD5D)9%E9};L$DD)9D$PC[]A\A]A^A_AWAVAUATUSHA҉DDd$8Dl$@LcLHLHH)L:HcID(HD$H@9HT$B9BHL$A AA A6wHHDHHJ @ HH@DHutAfAEHD$fDH ED` EDh HcHHHH)HcHHT:(HBD9u BD9ufDz Dr DZ HHuHT$HHT$HHcHHHH)H<8HcHT(Ht#BD9uBD9HHuHNHPHN@pfDH D` Dh HcIT(HID(A0HNHPHNDPfDH D` Dh HT(HHD(HtVKHHTEAHcƉ#4D Ɖ4HHHDIc҉# D []A\A]A^A_H\$Hl$Ld$Ll$Lt$L|$HHIH$ILEIcHiB3H,0AAPHHHLEщT$ fDEA@APHHHDdEAԉT$fDEA@APHHHTEfT$ ҉T$fDEftLcD$ O@OLH$$IAGfA@fG LWLfEt'LcD$O@EOLH$LLHCABfC fAB IzI:f|$ t$LcD$O@EOLH$LHCGfC fG HOHSHHHT$ fTECSHHHT$fTECSHHHT$fTEHH\$Hl$ Ld$(Ll$0Lt$8L|$@HHATUSIIAyu=~|,/Ht,H+t,HiثAMAslAD@6fHs,L Hs,@=AslHs,PHs,@AslHIffA@fA#pffA#PfA#DH6Hms,fB HJh&H[s,fP{,HJs,fP L?s,{,t1ID$ #AslfHIt*fD:A@fA#pfT2fA#PfA#DH6fADH6fACAslH@T:AD@6fA1PAslH@T*AD@6fA1PAslH@T2AD@6fA1PHjr,HH_r,H;Pr,tHGr,z,AAI9z,7t8=f&u/b&+c&f&uc&c&AC넉[]A\HcXfHHCøeCSHcӉXfj&HHc@Cft f[HcfucAEtUAQIRIBAz{HHEHt}tH`Bjft ؀,tӉ}HL`BjftrLGD AAHG,LDA%uDHHU IDH@IHMHAHE)|$WCHA<$o>:u)HFHEDHMIEM!¾HHHMHAHE:DMtHyIDHaI>|u?<$HFHEEM!¾H$L D^<$DHI <<$`DHI1>&uD<$@5HFHEME!ھHH!Lc<$DHnI!>=*<$DHFHEDH6=uI9DkI9D\D.A9uA<$ tHFHED HHLHLHAAbHMCH%AIHMCH A0͏CHACHAALH[]A\A]A^A_H\$Hl$Ld$Ll$HXIHH<$H|$HD$HT$ HL$(HHH$8:u CH]H|$t'HtHHD$H$MtH$IEHH\$8Hl$@Ld$HLl$PHXHHT/%HTCH!=8/%CHy 4H=_(H=~7H*\I I^E^XAH,H=~7H*\* *^^XH,H=?B~4H*\ ^^XH,nH=~4H*\ ^^XߝH,2H*ӝ\ ϝ^˝^XH,HSH5%uHcۉf[H\$Hl$Ld$Ll$Lt$L|$HHIA?$HHHDPt/Ht$HjŃxIcHT$B:(tmE~cA}$uIAHg%HtHE}AMcL4$DD:;uL4$LLHVuA<tJfIHuʽH\$Hl$ Ld$(Ll$0Lt$8L|$@HHAWAVAUATUSH(IHHD$@HH$f?)Hl$ @j@jD(HH uD$- D$mHcHcD$H@fD.HcD$ H@fD7EteHcT$.HHHHlfLDvHc@jIcIcHHHH0lfDDv)tA]f\$"AfHT$ ABAFfBA$BAD$fBD$)A.L/HcIcHHHHlfLDv@jIcIcHHHH0lfDDv)tE7HD$ H)HD$(H)HD$0H)HD$8H)D$HH YII yD$A<$L/HcIcHHHHlfADE6f=D@jIcIcHHHH0lfATE6fD)t6yNHD$ H)HD$(H)HD$0H)HD$8H)HH GII IIPf$IIPfD$ HD$|$ u'D$HD$|$HT$fD$.HT$fD$7D)D)AEL*E@jEL*E@jnMAf\D$ HD$lD$HD$D$fv)@jH([]A\A]A^A_AWAVAUATUSHXI$H$fDW6|0  HHQu&Mf&QAEQAEIUH$IEH$HBH$HBH$HBH$HB H$HB(H$ HB0H$(HB8H$0HB@H$8HBH$@BP fI&H\$pDHHHDHHHLHcIcHHHHlfHHH uII MMHt$L$$LDD$AEA8rEA8D$t3AU8r*8lLI}QH(ШJHD$pH4&HD$xH0&H$H)&H$H"&fD$f&f-&EED$AEIUH$IEH$HBH$HBH$HBH$HB H$HB(H$HB0H$HB8H$HB@H$HBH$BPjH$…tWF&ft9}DHD$pH.&HD$xH*&H$H#&H$H&f-&f&AAHD$|$HHD$H|$uKIIf=&u MBfHH AfD$~HT$f$AfD$f$Af$f$D$HcD$H@H CAIcH@H CAEDIcHHHD$5AfHX[]A\A]A^A_HH=$uH6H$H$HHc@CfHAWAVAUATUSHXHL$,LL$ AyPD$TD$THt$ D1HCL-HILLA$IIPaAwAL$HL$ T$DADfAWDfffL)HD$HT$HBHŀCHD$f$AATCL~HIƃD$@HD$H\$D9\$@mHt$ F 8=X%+HH$L$A$P H$H,IAfH$H\;L$HL$ T$TA<$DfFD: ffL)HD$BD? $AA>CL获HILIUHIPw[cA@HCD$HHi%H)H!-zb"(HIIݐC@@j @@jHAUATUSHIHHwvHHcLl+LH)!CH贱HH\fA|$wyIt$rHLH)޺!CH߸pHHIt$cQHLH)޺!CH߸6HHLH)޺3CH߸HHIt$rHLH)޺!CH߸ٰHHIt$cHLH)޺!CH߸蟰HHH9uEiH]A$fv LH)޺CH߸fHHHH[]A\A]AWAVAUATUSH(Ht$T$ $6&Ѓ)Љ&HHH`fL}AgH<%ALd$AD$ HL$t L9vA$IHCH߸_HH Ht$8H)޺נCH߸=HH|$0~&Ht$8H)ދL$0BCH߸HH Ht$8H)޺נCH߸HHHt$8H)޺ؠCH߸ЩHHHD$pHL$/I9LGAI$hHL$IHt$DD5AE~cL\$4HcIcH@HЋ`C!D!A HD9u؃ID9t#IcIcH@HЋ<`CH$멃|$0~H|$(AD=A!H$@ELAHAPDH$Ht$Hu6DHT$H$Hu|$4 FC|$0~ HCOCE AALHD$BwBwBFH$wBwB FAIE9utt@$CWCHE_CIcHt$8H+t$pL ŰCIкCH|$p賧HHT$pHI9r  HI9sEAyED$lTH$ED$l H$IcH$9~AD$lEyHcH$ u" HcH$H 뢍FHH$HHcD$lD$l Hx HcыHu|$lB||$lEIcHT$H,EE9t,u98)}98)9t8Er~ ȃbHt$8H)޺SCH߸HHËMQAOHt$8H)޺CH߸HHAHAK\HkA$t/HcD$lDŽ$AD$hu+EEEDt298)HcD$h98)9t5r~ ȃbHt$8H)SCH HHE~HcD$h;t5K~SCOHt$8H)CHĤHHBID$hF%IcH$HEE9t+398){98)9t7r~ ȃbHt$8H)SCH"HHŋ QAOHt$8H)CHHHAHANH$:tfE+HtWHӃ r cbHt$8H)A CHpHHŋCHuHt$8H)fCHEHH\HL$ $A$DQD$AIc HcH@Hȋ`CD DEHH D H HltAIcfL HcD 9AAAAA ID)|$Xu D$X ,C HrHSAATD$]HzD Pt$dAjHcDD!tQDDB#D9u6t PDv0ЈHHc։D! A u AcH_DB#Dt B0H tA EHAHyEAAEuA ,C HrH{H$A1DD!ȅt@7H uHAA:acAE0GH_EAAUNHT$D!D!9uHD$H|$@AIc$fCHt$8H)޺lCH߸HHH$qC蘟AD$_ MHt$ FAAD$_$0EA Et$`AAH$1dHcHT$ H,RRRR>,RIcHyfDIcAtS6ƀ|( H RBD1fA#4CBT9fA#SffA#SHc`fftIAfA@lHcBT HcB|RQADHcBD1Hc`fftƃH QAAfffENlAP8IcHIBtDACfA#sfC# `fT:fA#SfA#DK6Hi5,L(H_5,@=HT5,D@HI5,@H>5,fH H*&H,5,fPb=,H5,fP H5,Z=,tIE IcADs6!fADs6|( BATs6H vBDfA1CTADs6fA1ST9fA1SH4,HH4,H;~4,tHu4,<,II AA=+)&uMHJ4,H+34,Hit1$&<%&(&u%&%& BeHD$H93,[]A\A]A^A_AWAVAUATUSHH|$XHt$PIHL$HLD$@LL$8$o=e%b=;,ULDŽ$$HHD$0uH=^%YHD$`EH@CHD$huH=.%)IEL4@CuH=%HD$pEH@CHD$xu H=Ս%HHD$0DCHHT$`HT$(HD$hHD$ Ll$Lt$HT$pHT$HD$xH$IE$$(Co$H :,;$D$L$HL$8HT$@Ht$HLѻH@@Q5g&MLrHcH 5gHt HH HcH5gHHu̅uHc$HiHT$@LMI2H2FARHHLIHc$HiɡHL$@H$SsHHH<HHH0CHHHD$AD$H|$XLE H@CuH=%HHt$PH+t$XIغCH|$XHHD$XHmHuHt$PH+t$XCH|$X踑HHD$XED$H|$X'H$B H@CH$rH=%H$H$C H,@CsH=%HH$BL$@C2H=%HHt$PH+t$XH$HD$H$HT$H,$IMຑCH|$X蹐HH\$X9ED$,DiAWABHHLA2$HĘ[]A\A]A^A_S=$&t$(&(&#& (&#&'&W%& &=&%'&D'&#&a&H$H$H$H$H$IAAAfyeAH6B| u a$:AfAfGf#W!Aff#WBT HcƒDAIIIu$"&&D#&D&~=&u &&"&[AVAUATUSHHHz"&)ЉB%H討IAAtU6ƀft}H Rff#tEff#DUff#DUHc`fft@AfHcHH,H9,SH,(,(,5HT$HAAVHHcHƒ`fH\$SHRHfD$ =;%DHHcD$,DC?HH$eCAE)IDD⿸C2HcD$ HyfAC$`ft+3H=y%Hƿ!CIHI u _D$ tD$QD$(QD$,QDD`IcHDpMmIc`fA1D$D$9D$ D$(D$ |$(~D$,|$,HCxH $J&EChxH J&%CMxH5I& vH I& KC!xH I&<CxH5I& vH I& UCwH {I&J(CwH `I&NxCwH EI&HCwH *I&KCnwH I&JhCSwH H&#C8wH5H& uH H&bC wH H&)CvH H&KCvH wH&(`CvH \H&NCvH AH&OCvH &H&.0CjvH H&K`COvH G&FC4vH G&ECvH G&L@CuH G&JCuH G&ACuH iG&$(CuH NG&KPCuH 3G&KCwuH G&MC\uH F&Q@CAuH F&?C&uH F&PC uH F&P0CtH F&LCtH vF&NCtH [F&Q(CtH @F&MCtH %F&QCitH F&G(CNtH E&SpC3tH E&CCtH E&HCsH E&$`CsH E&?CsH hE&LCsH ME&NCsH=2k%tH¾hCH=E&sH E&JCQsH D&FC6sH D&N@CsH D&JCsH D&MCrH D&F0CrH kD&.xCrH PD&MCrH 5D&.CyrH D&*(C^rH C&JXCCrH C&:C(rH C&7C rH C&C CqH C&%hCqH xC&MCqH ]C&GCqH BC&,(CqH 'C&?XCkqH C&HCPqH B&HC5qH B&D8CqH B&JCpH B&ECpH B&ICpH jB&7hCpH OB&7CpH 4B&7CxpH B&)C]pH A&>@CBpH A&:C'pH A&?C pH A&<CoH=g%UqH¾@CH=~A&oH mA&2xCoH RA&)CoH 7A&/C{oH=f%pH¾CH=A&voH @&FHC;oH=f%pH¾kCH=@&6oH @&CnH @&.CnH @&GCnH f@&IDnH K@&>XDnH 0@&CDtnH @&CDYnH ?&C(D>nH ?&8pD#nH ?&7DnH ?&3DmH ?&I DmH s?&LpDmH X?&5DmH =?&JDmH "?&!HDfmH ?&MpDKmH >&HD0mH >&HDmH >&ClH >&#`DlH >&,DlH e>&%DlH J>&MDlH />&/0DslH >&H`DXlH =&1D=lH =&=D"lH =&M(DlH =&LxDkH =&!DkH r=&?DkH W=&J0DkH <=&MDkH !=&IDekH =&7 DJkH <&KXD/kH <&DDkH <&MDjH <&DDjH <&>@ DjH d<&8 DjH I<&$ DjH .<&6 DrjH <&L DWjH ;&Qp D DhH :&T DhH :&W@DhH j:&QDhH O:&ڒChH 4:&YDxhH :&CPD]hH 9&CDBhH 9&0D'hH=P_%iH¾DH=9&"hH 9&Q@DgH 9&QDgH m9&IDgH R9&N@DgH 79&QD{gH 9&ND`gH 9&:8DEgH 8&KxD*gH 8&JDgH 8&LDfH 8&LhDfH z8&)DfH _8&3DfH D8&E DfH )8&NhDmfH 8&LDRfH 7&LD7fH 7&)XDfH 7&LDfH 7&FDeH 7&9 DeH l7&'`DeH Q7&LDeH 67&3DzeH 7&3D_eH 7&:HDDeH 6&;D)eH 6&BDeH 6&ODdH 6&8`DdH y6&5DdH ^6&=DdH C6&<DdH (6&=XDldH 6&ADQdH 5&QD6dH 5&48DdH 5&@pDdH 5&ADcH 5&=DcH k5&F@DcH P5&?DcH 55&$DycH 5&?D^cH 4&+0DCcH 4&/`D(cH 4&BD cH 4&"DbH 4&GDbH x4&BHDbH ]4&=DbH B4&.DbH '4&(DkbH 4&00DPbH 3&KhD5beDH=3&:bH 3&LDaH 3&K8DaH 3&DDaH j3&KDaH O3&L DaH 43&Kp DxaH 3&L D]aH 2&E!DBaH 2&JX!D'aH 2&5!D aH 2&&!D`H 2&:"D`H w2&4H"D`H \2&:"D`H A2&4"D`H &2&I"Dj`H 2&H#DO`H 1&@h#D4`H 1&A#D`H 1&:#D_H 1&48$D_H 1&"p$D_H i1&"$D_H N1&"$D_H 31&"$Dw_H 1&"%D\_H 0&"8%DA_H 0&"`%D&_H 0&"%D _H 0&"%D^H 0&"%D^H v0&"&D^H [0&K(&D^H @0&Ox&D^H %0&+&Di^H 0&P&DN^H /&BP'D3^H /&C^H /&C]H /&C]H /&4C]H h/&'D]H M/&Q'D]H 2/&QCv]H /&M(D[]H .&<`(D@]H .&3(D%]H=FT%^H¾(DH=.& ]H=)T%d^H¾)DH=.&\H= T%?^H¾0)DH=h.&\H W.&Jh)D\H <.&6)D\H=S%]H¾)DH= .&{\H -&?0*D@\H -&8p*D%\H=S%]H¾*DH=-& \H=yS%d]H¾*DH=-&[H |-&? +D[H=IS%$]H¾`+DH=M-&[H <-&G+D[H !-&0+De[H -&+ ,DJ[H ,&+P,D/[H ,&.,D[H ,&.,DZH ,&.,DZH ,&.-DZH d,&0@-DZH I,&/x-DZH .,&H-DrZH ,&G-DWZH +&G@.D(&VH -(&H6DqVH (&L7DVVH '&MX7D;VH '&P7D VH '&M8DVH '&LP8DUH '&K8DUH p'&N8DUH U'&M@9DUH :'&J9D~UH '&I9DcUH '&E0:DHUH &&<x:D-UH &&L:DUH &&4;DTH &&<@;DTH }&&M;DTH b&&?;DTH G&&LDSH T%&L>DSH 9%&M>D}SH %&48?DbSH %&$p?DGSH $&O?D,SH $&H?DSH $&!8@DRH $&M`@DR'@DH=r$&RH a$&N@DRH F$&JHADRH +$&NADoRH $&MADTRH #&L8BD9RH #&NBDRH #&QBDRH #&Q0CDQH #&NCDQH n#&JCDQH S#&H(DDQH 8#&GxDD|QH #&JDDaQH #&KEDFQ6`EDH="&KQH "&KEDQH "&NEDP<HFDH="&PFDH=q"&PH `"&HFDPH E"&I8GDPH *"&OGDnPH "&IGDSPH !&H(HD8PH !&LxHDPH !&JHDPH !&<IDOH !&@XIDOH m!&QIDOH R!&!IDOH 7!&C JD{OH !&FhJD`OH !&KJDEOH &C*OH &1KDOH &F8KDNH &EKDNH z &GKDNH _ &KLDNH D &J`LDNdLDH= &NH  &EMDRNdHMDH=&WNH &EMDNH &AMDNH &CMH &L NDMH l&JpNDMH Q&KNDMH 6&MODzMH &ɓC_MH &,`ODDMH &MOD)MH &OODMH &)0PDLH &:`PDLH y&'PDLH ^&KPDLH C&DQDLH (&'`QDlLH &5QDQLH &$QD6LH &LQDLH &E8RDLH &LRDKH &NRDKH k&M SDKH P&LpSDKH 5&LSDyKH &KTD^KH &L`TDCK'TDH=&HKH &LUD KH &JPUDJH &MUDJzeUDH=n&JH ]&:@VDJH B&6VDJH '&'VDkJH &VDPJH &MWD5JH &MPWDJH &KWDIH &PWDIH &CIH j&LHXDIH O&OXDIH 4&MXDxIH &M8YD]IH &MYDBIH &KYD'IH &O(ZD IH &NxZDHH &MZDHH w&K[DHH \&Mh[DHH A&J[DHH &&Q\DjHH &.`\DOHH &K\D4HH &I\DHe0]DH=&HH &Lx]DGH &M]DGH i&N^DGH N&Fh^DGH 3&H^DwGH &K_D\GH &AP_DAGH &I_D&GH &K_D GH &O8`DFH &J`DFH v&O`DFH [&N(aDFH @&QxaDFH %&PaDiFH &CNFHo$HHt_HHCH=&;FH<$HT"CH=&FHHH$HHHuH &J(bDEH f&6xbDEH K&LbDEH 0&JcDtEH &NPcDYEH &9C>EH &NcD#EH &OcDEH &>@dDDH &9dDDH s&dDDH X&OfDDH =&3fDDfHc`CDD( HpCHhCLxCANCH=&[DH H uH &M gDDH &NpgDCH &OgDCH ~&OhDCH c&J`hDCH H&"hDCH -&/hDqCH &(iDVCH &)8iD;CH &7hiD CH &0iDCH &.iDBH &-jDBH p&<8jDBH U&&xjDBH :&BjD~BH &/jDcBH &/kDHBH &/HkD-BH &'xkDBH &9kDAH &;kDAH }&E lDAH b&.hlDAH G&DlDAH ,&DlDpAH &A(mDUAH &ApmD:AH &ImDAH &InDAH &:XnD@H &NnD@H o&DnD@H T&M0oD@H 9&#oD}@H &JoDb@H &OoDG@H &NHpD,@H &PpD@H &KpD?H &L@qD?H |&9qD?H a&<qD?H F&TrD?H +&>hrDo?H &MrDT?H5& >H &hC(?H &LrD ?H &PHsD>H &LsD>H x&GsD>H ]&N8tD>H B&LtD>H '&GtDk>H &O uDP>H &LpuD5>H &OuD>H &LvD=H &M`vD=H &LvD=H j&&wD=H5O& ]&N(wD=H #&CxwDg=H5& HH$LQeC֠CHDAewDH= &c;LLH5V$IHH5 & 9ewDH= &;H &N0xD:exDH=x &:H g &xD:H5L & Z9H ; &GxD:H &J(yDd:H  &GxyDI:H &HyD.:H &IzD:H &K`zD9H &IzD9H ~ &J{D9H c &IP{D9H H &K{D9H - &C{Dq9H  &K8|DV9H &H|D;9H &I|D 9H &F(}D9H &'p}D8H &>}D8H p &I}D8H U &G(~D8H : &Fp~D~8H  &H~Dc8H  &)DH8H &K8D-8H &HD8H &BD7H &A D7H } &IhD7H b &MD7H G &OD7H , &JXDp7H  &MDU7H &C:7H5& 5H &KD7H &IHD6H &?D6H y&?؂D6H ^&?D6H C&?XD6H (&MDl6H &ADQ6H &B0D66H &@xD6H &CD6H &GD5H5& 4H u&LPD5H Z&QD5H ?&RD5H $&MPDh5H &MDM5H &ID25H &C5H5& 3H &K@D4H &GD4H q&L؇D4H V&L(D4H ;&ҔC4H5 & .3H &QxDS4H &OЈD84H &L D4H &JpD4H &ND3H &?D3H5m& {2H \&KPD3H A&OD3H &&LDj3H &N@DO3H &MD43H &PD3H &I8D2H &۔C2H5& 1H s& C2H X&ID2H =&H،D2H "&:(Df2H5& 1H &/hD:2H &C2H &ND2H &/D1 DH=&1 `DH=e&1H5T& b0H C&DD1H5(& 60LC0 DȋHCLPCL@C CH=&V1HHuH &D1$ A A DH=&0H |&PD0$ A A pDH=?&0H .&&Dr0H &DDW0H &((D<0H5& .H &XD0H5& .fHCHC3CH=&/H H@uH5k& y.H Z&SxD/H ?&1АD/H5$& 2.H & ACW/H &FDCf,H5% +H %MD:,H %L`D,H %JD,H %2D+H5% *H y%K8D+H ^%MD+H C%IؗD+H (%YCl+%f(DH=%h+%fhDH=%D+%fDH=% +j%fDH=%*N%f8DH=j%*:%fpDH=F%*6%fDH="%*H %LDU*H %NPD:*H5% (H %hC*H %KD)H %KD)H y%L@D)H ^%ID)H= %+H¾DH=/%)H %HDb)H5% (H %6hD6)H %AD)H5% 'H %FD(H %B0D(H u%DxD(H Z%FD(H ?%ED(H $%APDh(H %EDM(H %FD2(H %F(D(H %CpD'H %wC'H5% &H q%C'H V%FD'H ;%HD'H %JPDd'H %GDI'H %FD.'H %C0D'H %FxD&H %0D&H5~% %H m%MD&H R%EHD&H 7%KD{&H %JD`&H %I0DE&H %ED*&H5% $H %JȣD%H %LD%H %KhD%H i%!D%H5N% \$H =% C%H "%IDf%H %L0DK%H %GD0%H %GȥD%H %KD$H %L`D$H5% #H o% C$H T%MD$H 9%PD}$H %NXDb$H %FDG$H %LD,$H %<@D$H %ED#H %LD#H |%?ȨD#H a%ED#H F%&PD#H +%5xDo#H %GDT#H %&PD9#H %0D#H %00D#H %KhD"H %*D"H n%%D"H S%<D"H 8%"PD|"H %1xDa"H %7DF"H %ID+"H %C8D"H %C!H %ID!H {%!ЬD!H `%#D!H E%C D!H *%(hDn!H %LDS!H %3D8!H5% H %ӖC !H %3 D H %2XD H w%(D H \%'D H A%,D H5&% 4H % ܖCY H %)D> H5% H % C H %QHDH %,DH }%CH5b% pH Q%CH 6%0ЯDzH %2D_H %A@DDH %<D)EtQH %"C H %*CH %3CH[]A\A]A^HA0eHHHHHoHD$HD$H$HT$Hi@BHHĘAWAVAUATUSHIL AtMAHcHJ(IEAA;|ADžADžIE`LM}Aƅ IUHtLfHuA{LHHэA~HcIL9 uIT: u A}p9EEt>u@ uHrH@ t@ u IcI)E`EAAAAw-} u'HuՠCHHA8t3AA׃0w]} uWHuՠCH8u9AMcJ\%A@AIcHJ/H BD%IE`HlN$xlMeu/HII$DB uA$Ahf<#fLSf=K$CeApfAfAfAfIGHcDYyeD8AD@fADV6YyeH@BTIGDD8AD@fA1VYyeH@BTIGDD8AD@fA1VYyeH@BTIGDD8AD@fA1VHHQH@LAApfIGHcDtaADAfF6AfIGDADAfA1VAfIGDADAfA1VAfIGDADAfA1VHIQvIO LL$HMG`CȰDH=%}IO MG`CDH=%PtMG`CcCH=%'KfL+D$8-D$<D$@D$DD$PD$TJ Dl$u3H]I$Hp0$: L u$!t ? H9vHIGHIGuL…„oj |$@_ AD$htUAXAxu AOtAou7AxtAGxAG|҃IcB9 AW| Ap+|$4tIcf`BjAXIc`@jftHIWHT$HHt:|$4uQD$_tFHT$_HDP u1HT$Hf`@ju|$<A{f|$<u*HT$Ht< tD$Xz D$X|$XtrA*ulHT$H<*tLAĽ ,IGHIGD@uLAĽ@IcfAlF6fAGG IGHD$HIGHIGuLAă u fـ tDA tA,tAD$ЃwPAGlIGHIGDu L%AăAD$Ѓv̅t EtA fu5IHL$HCDH=%Sw|$AFfA#VAfBTfA#VfA#DN6D$lt5T$lfATN6T$lD>fA1FBDfA1FBDfA1FItMDH=%[MG`IO D$$IChDH=x% D$DLIHXDH=1%,[HIECECH=*% D$DD$<|$E95E9,E9#AfT$.fL$/8AD  ¸ ‰T$$D D ¸D ‰T$ L$  ‰T$DA9tqE9tlA9tgE9tbE9t\E9tWAf8D$.tI8D$/tCHcD$HHQX-HD$PH|$hK-B$0HcD`fHT$PDH@H@@@HAAKHcL @DAD)‰HI ffCf#Sf#F6ff#SDҋ@ ‰@AHHAQ)돃 7!Hfu! uAHA)ID9d$hl$lHDŽ$@9l$D))H$0H$8H$8 L$dHc`fH\$PH@H@Hht[=$~RXD`D(Ht$PDȃDCCHƉ\$D$$EEDhDHT$PH$0HL$PDŽHHuH$H$HHuDŽ$DŽ$DŽ$u~DŽ$\DŽ$DŽ$DŽ$DŽ$DŽ$dDŽ$hDŽ$pDŽ$lDŽ$`DŽ$usDŽ$\DŽ$DŽ$DŽ$DŽ$DŽ$dDŽ$hDŽ$pDŽ$lDŽ$`%uhDŽ$\DŽ$DŽ$DŽ$DŽ$DŽ$dDŽ$hDŽ$pDŽ$l/%u]DŽ$\DŽ$DŽ$DŽ$DŽ$DŽ$dDŽ$hDŽ$p$uRDŽ$\DŽ$DŽ$DŽ$DŽ$DŽ$dDŽ$h$uGDŽ$\DŽ$DŽ$DŽ$DŽ$DŽ$dl$DŽ$\DŽ$DŽ$DŽ$DŽ$H\$Pt$CHt$PHhHc$H@H`CEHHHu#$tHHT$PDŽHc$HL$PDŽ$$u$de#$~$$dE#DŽ$dHD$Pt2u 3$dCHT$PHhHc$dH@H`CEHHHu"$tHHL$PDŽHc$dH\$PDŽ$d$u$h;"$d~$d$h"DŽ$hHT$Pt/u $h CoHL$PHhHc$hH@H`CEHHHu~!$tHH\$PDŽHc$hHt$PDŽ$h$u$p!DŽ$p$h~$h$p HL$Pt/u $pC^H\$PHhHc$pH@H`CEHHHuW $tHHt$PDŽHc$pHT$PDŽ$p$u$lDŽ$l $p ~$p$lHt$Pt$lC^HD$PHhHc$lH@H`CEHHHuA$tHHT$PDŽHc$lHL$PDŽ$l$u$`DŽ$`$l $l$`EHHHu}$tHHT$PDŽHc$`HL$PDŽ$`$$$e D$t$tHHHuم$tHHt$PDŽHc$HT$PDŽ$$$ {$tD$x$xHHHuׅ4$tHHt$PDŽHc$HT$PDŽ$$AL$ L$MC~5H$IcHcH@H 4`CH9uC4H\$PHhCB#CIIuDŽ$AL$u$L$MCN$H$Mcw9~lMHcH@LD`CH$HD$(HcHcH@LЋ`CD!H\$PHhA#t$HT$(B 9H;$|CC!IIC$$X$su|$$`$$d$$hDŽ$DŽ$DŽ$DŽ$DŽ$DŽ$DŽ$uq$$p$$t$$xDŽ$DŽ$DŽ$DŽ$DŽ$DŽ$uf$$$$$$DŽ$DŽ$DŽ$DŽ$DŽ$u[$$$$$$DŽ$DŽ$DŽ$DŽ$auP$$$$$$DŽ$DŽ$DŽ$"DŽ$uE$$$$$$DŽ$DŽ$Hc$H\$PH@H `CL$L$AE$x!AHHHuڅHc$Ht$Pt DŽHc$HT$PDŽ$$$Hc$H\$PH@H `CL$L$AE$x!AHHHuڅHc$Ht$Pt DŽHc$HT$PDŽ$$$AHc$H\$PH@H `CL$L$AE$x!AHHHuڅHc$Ht$Pt DŽHc$HT$PDŽ$$$eHc$H\$PBH@H `CL$L$AE$x!AHHHuڅHc$Ht$Pt DŽHc$HT$PDŽ$$$Hc$H\$PfH@H `CL$L$pAE$x!AHHHuڅHc$Ht$Pt DŽHc$HT$PDŽ$$$Hc$H\$PH@H `CL$pL$`AE$x!AHHHuڅ6Hc$Ht$Pt DŽHc$HT$PDŽ$$$$$$$$$$Hc$HT$P{H@H `CDŽ$|L$`H$PA‹$xD$|$|!ЉHHHuͅHc$Ht$Pt DŽHc$HT$PDŽ$$$Hc$H\$PH@H `CDŽ$L$PL$@AE$|!AҸD$$HHHuąHc$Ht$Pt DŽHc$HT$PDŽ$$DŽ$AL$L$H$MC~5H$IcHcH@H 4`CH9uC4CHt$PHhB#CC!BҸD$$IItAAL$MCH$McMb9~WBHcH@LD`CC AI A tA$ I HD$PHT$PAAL$EH$0BfH\$PtOIcH@`CЅ$@A$dCЅ$DEA$hCЅ$H uAAAIc‹@t=B AfցHcBD tL$|A$ uAAA9uL$|$Au  uHcHt$P RH H IL `CH@L`C HcH@H<`CAL$0T2HcHRH4HcHH CIIIHIuAL$0L$L$H$AA#4DEA# DEHHtiIcH@H<`CAAL$L$H$C# DEC# BDEIHIuED$DŽ$DŽ$$tHl$H$HD$H$H$ML$H$$H|$P$'Dl$H$HD$H$H$ML$H$H|$P&$\tHt$P  DŽ$II Il$tHD$P AAHT$P IcH@$`CA$dC$EA$hC$uH$0BiH\$Pu RA؍\ D9/D$@HcH@H`CAD$DdCDϸED$HHcH@4hCAuAD#$Ѕ$EЅ$uHcHT$Pu vA$`C D_A$dC DHE$hCD A0D!Љ$#$!ȉ$#$D!ȉ$D$$DŽ$$tTH$+$l$H$HD$H$H$L$L$$H|$P$IH$l$H$HD$H$H$L$L$H|$P#$\tHL$P } DŽ$II I$tH\$PHt$PHm+H$H$<EHHut CHDŽ$ x@йE!‰0HHHuԅH$ H$0Ht$PE<Hc$H@H`CAH$0H$ #DEHHHuE]H$H$0 =Ht$P90H$0BDHL$PtIHc$H@H<`CHc$H@H4`CHc$H@H`CA u###DEHHHHHuEKHt$P$H$D$@DL$$$0D($$$XD$ $ $,$C$$$$$$DŽ$H$+$l$H$HD$H$H$L$L$$H|$PtHt$P tZII IlDH$I IlH$ H$  Hi+H+$Hi$\tHD$P ;$$G$$T$$E$$i$$$$$$$$$$$$D$`$`$l$l0$p$p $h$h$d$d$$$\HT$Ptj=$~aHhXD`D(DD$dDCHƋ$\L$\$D$$EEDDH\$P H$8D$hH1H9$82Ht$XH95g+{H$@9l$D| |$hϸvyADžIcHRL`CIcH@HL`CHH0MDLAMAHcH@H@AHD$PHhHc$`H@H4`CHT$PHhHc$H@H `CDŽ$tkHL$PHhHc$H@H `CDŽ$x$oXEM$@A`CЋ$DAdCEЋ$HAhC'$ $,$HcH@H<`CU$8$$4$$0$HDŽ$A$$ $$AC$ACEË$ACD7$($$$$$ $AAD$ D$A8CЅ$A|$xt@ 諸LL$HA؉ٺCVCH=%vX I|$HTHcHHt$HdID$DTD$ptEk؃+ƒ=ut\$l|$$|$|C&-<[^HcD$hHĠ GHu CCH=)%蜹Hff@f@H]EH|$xt@ LL$(A؉ٺCVCH=g%կM X \IHTHcHHt$(ĮIGDTD$p|$l-L;$H$H I;|$l-ukAGA:Gt B qA @t :Bw1B)r@8uB:BwB @8vBB:Bv'B BA:GwAG:BwBH(I9YAO tIP#T$|@, D$$ ЉD$|I(|$l-u IP T$|HD$PD$\HDŽ$ L$$L$|L$HD$PD$\|$ht6|$xt ;CpDH=% Et6|$xt CDH=g%խM IL|$8IXH$HLH$zt \$|XtBHH(HuH$HML$AAx APH|$8 A fAPIB A@A:@II@IBI@IBI@IBI@ IB DDAB AB Ir(Ix(IP(HG:GRIP(IHPAIɀytMAH|$8  fAHAHHAHFHAHFHAHFHAHF F F DXH(HHHtAAA:AsRHI(IP(uEA)tE AALGLDI9rIWB:BsBz t;HHHBHFHBHFHBHFHB HF F DF ȀFH(H(H9wID\$dEtAD)D$D\$d.III@IBI@IBI@IBI@ IB Eb I(I(IHtM|$|HD$8IJ(LM9LALIHQHyHALLIHQHyHA H(I9kރHHt CuHHHŠCHF fFF D$dF FFFID$|u HT$8 IAB HL$8HTHL$@H$ LMDt$hDŽ$D$XHHL$LLAD$ ;D$`AD$AD$ :B uAD$ $AD$$CAD$ AD$DŽ$Et'H$ }HH$ Dt$hDŽ$T$XSI|$ ub6ID$ Hu CCH={%膩L$ fID$ f@ID$ f@ID$ f@Il$(IC :E ˆUtHEfxaEXuH$ {HH$ AHHEfx(fxufxt H\$8CH$ [HBH$ HAtBAHBH$ HAtH$ BHH$ HA@ tH$ SHH$ HA@tH$ OHH$ HA@tH$ oHH$ HAPfux@fuH$ *HH$ fuH$ +HH$ H$ Ht$H)rClHH$ @f9u1H$ Ht$H)C2HH$ fuMfuH$ ?HH$ ^H$ Ht$H)yCݤHH$ 0H$ Ht$H)DºwC諤HH$ H$ ]HH$ H$ EuHEHzH$ A} u!Ht$H)!CGHH$ AMHU:J8uAE:B9t< uAE:B:ɐt,H$ Ht$H)CHH$ AM€ !t,H$ Ht$H)C解HH$ AUtB t=۹CeCHEH$ Ht$H)Dº}C\HH$ H}tDH$ (HH$ HMHTH$ HH$ Hu@)AEtuI^Ht LII~I~ CL跰ACL蟰ACL臰AsI $CLnAZ͏CLYAECLDA0CL/ACLAALH[]A\A]A^A_H\$Hl$Ld$HXIH|$H|$HD$(Hl$HHHD$8:u CH襯HD$(Ht>LL$ LD$DD)H$CCH=m%HD$ HD$Mt HD$I$HH\$@Hl$HLd$PHXH\$Hl$Ld$Ll$Lt$L|$HIAIHDŽ$HDŽ$'Ix-u7P'hu xtl!AA(H$HXH$Pʀz,'$8CH$™$H$w$랃 .$땃%%$댃 $HCH${uI$H$H&IHh#H$H$9ClH$H1#DŽ$KH# u ǀH$HH$Et H=$m&H$H#DHDŽ$$$Eu8sH HAH$H$1HHDP u@H$H$H$HՀf$HuVHH$]tBEt D9ufٗHHDP tEHEH$H$"EZ%Hc$HŀfA%=$pH$HHH$@$u4$̀C$C$$ C$DŽ$;$>~1A? $CDH=Pc%辑Hc$H@H$ $`ePeDltt$\ t HD$PHPe$HcPeH@HD2y؉D2HcH@Hc$HRHXe;Xet`e$Ey+$L$uADŽ$$-t$+D$$@$$$ADŽ$DŽ$CD$DlADŽ$$DHc$HDPt(HٺC@DH=a%1$uPA$$A$HA$HA$HA$HA$HA$HA$A$ЃL$HcH@`eR0$B6$C -A$ 7A$=~:AD#A$ChDH=`%AAQuu @$/@$$Q@$@$u@$ @$H$cBH$=BH$cBHҏ$@@H$]Bf=U@$x A@$f=Y@$x E@$H$v@H$X@f= @$y ?$ w$HT$WB}~?$# ?$VUUU)R9tω ?$H$H$B+H $@H$@@H$LCe?$8u H$KC$$xtAPeIHcH@HBt tGHPeH-PeHAʃ9|,APeHcH@HBt `e9݃y~HcH@H`e`et!^HcH@H`e`eu?6$u,e>$ c>$$ i>$w>$R=$ 4>$R eCCHDHD$X@CHDHD$`CHDHD$hCHDHD$pCHDHD$xɸCILI !CILD(CILD1CHHD8CHHD?CILDHPeAHtH-PeHHHL@\eXeHD$XHD$HHD$`HD$@HD$hHD$8HD$pHD$0HD$xHD$(Ll$ L\$LT$H|$H4$޿DvxeHRYf=<$x <$Qf=<$x <$H$cB$H$%BH$2BHދ$@@H$|@@f=9<$x %<$'f==<$x<$%6<$f=2<$x <$<f=6<$x "<$$HM$%C^H=$BNH$]B>$H$%B$CDH=%[%蓉AAC$;-H{HSHDPt+H$$H$$$$H{HSHDPt=H$覇Hu Ӊ$HN$H$yH5$di[H{HSHDPt,H$H$H$%H$dHCH${u#I$H$IHu<%]H$$HhH$XCADŽ$<vL蘆HHADŽ$DPt(H$HoADŽ$H$D8H$H$-<wHH$-<vH$H$HH$H;$v H$H9ݸcACH$8{ufHPH$@tM<}t<}fuHBH$.`Bj H$HPH$@uA9~AH$$C<-w7$ŸCtf^\fWPfPf$tA4hf8CDH=W% AADAfD(HpHCH${u#I$H$IHu<%H$HH$It*I Cu'Dct ifDu f4f-C8DH=V%CAA|H$H$HH$H;$t=H$8,u HH$ǃ?HH HH$xHCH${uI$H$HIEt1H$ H$HuAAH$HG$H{H${u҄$ H$҂$i$Z{ru7؄$H$HH$xcu$cH$bH$HHHDPt)H$AH$H$=\$HH 'H$H$B-<H$HzH$H$HH$B-<HzH褁$H$HCH${-uxu$w$H$>yewAAH{HSHDPt,H$[HT%H$H>%HCH${uI$H$H(IH#H$H$HH%H%HC@H$]H{H$Cu$I<$H$H I <-u  HR%ICH H$ChDH=R%AAO Z$H$HuLHHt:tt -t+ut|uH$Hu' H|u> HH@H4PCHHHHHv6H$ACDH=M%|AAS den{Lder t'A( IXCIHH$H$H$>peAAHCH${uI$H$HIH$H$HCH${uI$H$H[IH$H$"{Hk%H$HSH$Cu I$H$HIt <-uzu HDŽ$Et6H$Ht) H$HuAAH$HAv$HCH${uI$H$HcIIH$ 8w!HHIt0 HBH$σ ww$Cz$z$lz$z$Vz$z$@z$z$*z$zz$jz$dz$ H$^H=1%`sA@?ist$tH|$H=1%H$H$HD$H HH$DŽ$H$ H$HDŽ$H$0 H$ A@?i^DŽ$NH$HDŽ$4H$p H$H$$H$HH$??jL)ID$$CL\HIƿ??jL)I苌$ΑCL\HIƿ??jL)L$D$$CL`\HIƿB??jL)L$D$$؜CL#\HIƿH$u4H$0 H;$ AmH$ H$ H H$H$i#`fft11Hc`fHfDHc`ffuHHHt-qH$yefQHH a僼$u.DŽ$L$DŽ$DŽ$AAH$DI DοMC$~HcHcDf;THcHcDf;TEHI8 H9A9t&BLS$HcTfBDSfTIIEL;$K$$L$DŽ$DŽ$$$$$D$$$lCgCHEH$A@?gH$H$p H$D)Hi$xgHc$ ݺe??hL)SCLKHIݽe<v"Ⱦ??hL)溌CLKHIă$h$t^I9vYHH+D$HHŸef;Űeu$x4Hc$ հeH$p H$p f; ոeHEH$??hL)H$!CLjJHIHiA@?gH$H$p H$D!Hi$xgHc$ ݺe??hL)SCLJHIݽe<v"Ⱦ??hL)CLIHIŃ$h$t^I9vYHH+D$HHŸef;Űeu$x4Hc$ հeH$p H$p f; ոeHEH$??hL)H$!CLHHIHs$qt$stze$mW_leW@?gpeA@?hH@?gؠCeCHDLH)LETCH߸>HHm0HVHHH$p H;$ vH$H$ HHH$ H A$H$H$p H;$ vH$H$ H3HH$ H=@A$H$H$HJHIHH$H$HD2A$@?gI@?gU$E1V$`CHDŽ$fH$DS6| H$HHQXVH$H$謁AfH$DW6|0 HHQu܉$$A~,A@L@Vde+`eHL9u**^sC@?g+F@?gHDŽ$THc$Hi@BH$HЏHDŽ$sTH$f,GL$fL$H$TH6€|8 u@fATH6fH$TK6f1Dff1Dff1DHHHQu@?gAHDŽ$`H$`ffH$Af#qfC#To6fH$f#ODf#tfB#lf#Lf1A@?hLH)DxCH߸DHHHc`fft?1HcfLH)޺CH߸gDHHHc`ffuLH)޺dCH߸7DHHIH$`IQ@?gHDŽ$RH$HDŽ$fffH$Cf#Sf#F6ff#S|8 H$HHHR릍H$DC6f ЃHu9$N$$gWAAAA D$$$AAC@?gB@?gHDŽ$fQH5$H$DŽ$JRH=x$H$DŽ$+R$H$^}$@?g1DŽ$@?gHDŽ$pH$pH$x`e;de$$lى$$@?hH)$CHAHL,(Hce$e$$l߉$9AeLcC\gC$eH=,;$'H@?hL)AغCLWAHIC$e;$D‰$CTg;$D‰$;$e$y)$y@?hL)CL@HIž@?hL)dCL@HJ,($$l$l$$H$x9dev$$c$H$p$9$@?gH9HE@?gHDŽ$NAHc$H$0DPEL#A5TAfIH uAIA TDŽ$@ TD苴$$QA$$DHc$HHT$`HHD$X$$IcHDH$HHL$hHt$`HH$HH$HD$XH$AW$LA$f:ftHcAf:fHcHL$hH$:umH$H$:uL$@=A$t;DCDD$$LL$$D4$Aɋ$οC > CAA I$H$IvI$IRHc$@H$DŽ$oMDŽ$fH$DJ6Hc $|2 E$$HHQuHfH$DŽ$M$uf$t'X>Hc$HDPu$$Q$t+'>Hc$HDP$E$$$,E$$$B8g$C$gƒ$G AA=Hc$HD$PH=A$ufH=#L$AfH$TH6Hc€|0 tOHcBD BHHQuλH$DHb?jHHu⺠?jfASk(Qk(9~ Ck(Ak(7k(9k(9~ 'k()k(k(k(9~ k( k( k( k(9~ j(j(j(j(9~ j(j(j(j(9~ j(j(j(?j;j(|#j(j(j(j(j(?jDJA BD$8$\$0BD$(\$ B D$\$BD$$Aغ0D@?g:@?g:I$Hc$H,ŘCIH$u$H$c>H$H=#uBH=%ԤHݢ#Hu CXDH= %Z<6@?gH5$#H$WLHúf`BjD HHQuH$H$HH=D#賟x6iH54#Ht"A0@?gHGH#HP8HCHHEG$=vCDŽ$GHc$H,fDŽ$xG$Hc$H,ŘCYGH$u$H$0Hc$HL$DPu>H$fH$DW6D0 DfDQ6HHQuIA@?g=DLCTHHHHlfAD@6ffBHH uI HH CA^%@?gv=H$f/0fH$5_(H$DS6| uftW6HHQuH$H$CjHÃ$at $pu7H$DŽ$=@?gH2|H<&/Hc$HDPtHDŽ$CL$HDŽ$fL$A@?gBLCTHHHHlfAD@6fH$BHH uI HH sB\%@?g;$Hc$H,ŘC;$H$HD0$H$uH1H$$u0D$A@?gHH$?H`;H`#PpD$A@?gH #HH$z?H);H$p H;$ vH$H$ H>HH$ H%$H$=H$u*$puHS`#Hh(:HC`#Hh :H$<@t<*t<$B<*t<@$$p Ƅ$q =m.$tO@?gL$p A@?hLH)LhfLẙCH+HHōCH;.$rɃ$@?gA?gHHD9H$HHHH$|fx;-$sHH,hf9H$;$9HH},HH9w9H5#H$(H$u'$=y.$L-x.$H$?:uHH$L$H,$@?gsY%,$H,$H,$H,$H$TCH$cH,$L-o,$MuL$HDŽ$*HU,$HDŽ$HtH$(L$$it$t$H$LH*HH$HA6ft"fw fu;f'ft*f @u' !f ЍBufV6HHH9uDŽ$I$F0 $ŸCDŽ$A??jLL)C CL(HJ,0ADEVUUUDD)ʍRA998A)ʍA9uKEtFLH)CH`(HHAtA6uLH)CH7(HHH??jsE|HH??jsE H$t>H\#zptCDe6ffbIc<t CGCDe6ft C*.$uH$(BafCH??jsEHs98)ʍ9tH??jsE HIIQLH)CCH'HLtDŽ$I??jsA IAVUUUA98AfAA)ʍR9uUA)ʍ9u4tAI??jsA IAtA6u$I??jsA II??jsA I$t=HyZ#zptAD}6BD f_Ic<t CDAD}6BD t C(.$uH$(yBD CI??jsAIA)ʍ9tI??jsA IHHQKDŽ$LA98AfA)9tI??jsA II??jsA I$t;HHY#zptF6BD f]Hc<t CBF6BD t C(.$uH$(zBD CI??jsAIHHHQCAAMAfDCDE6B| u_AAtI??jsA ILҹfI??js"9t B6D8 HCAIHQuIIQDŽ$A98AVUUU)ʍR9upA)ʍ9u>I??jsA IAtA6uC??jL)$CL}#HI"I??jsA|II??jsA I$t>HcW#zptADm6ffaIc<t CFADm6ft C).$uH$(ifCI??jsAIsA)ʍ9tI??jsA IHHQ2DŽ$LAA??jAfDDVUUUDD)RA9Et*I??jsA|I98)9uI??jsA IuLL);CL!HI:K)R9uLL)JCL!HII??jsA|I$t;HU#zptE6BD8 f^Hc<t CCE6BD8 t C).$uH$(BbBD8 CI??jsAIIHIQ??jL);CCL HIƺoDŽ$LAAfDVUUUDD)ʍRA9uc98D)ʍA9u#H@HHH$DŽ$0H>#H@XH$H H$H$DŽ$H5֦$H$DŽ$HW>#H@HH$DŽ$H4>#H@PH$DŽ$H$H+r$H$DŽ$eH=S$HH$DŽ$BH8$H$DŽ$#H)$H$DŽ$H=#H@H@H$DŽ$H $H$DŽ$H$up$C1$CH=w#=b$j@HR#H#=9$$Hc$H,ŘC$$p DŽ$tƄ$q DŽ$H$eL$LDA@?gDAl$HcH`DjHztfuƀfH$RHc݋fH`Dj@ 9>H$p @?hL)AEຆCLHIH`DjH@HH$HHcŋ Xf@?hL)CL]HIDŽ$HcH$9$Hc$HHHuDŽ$Hc$H@?gH$t H$:uH #H$$rtT$r6$n$n$t$$.pH$s`$H$H$8H$DŽ$JH$H$M8HHS㥛 HHHH?AA)gfffDD)A)C@?gD@?g H$C@?g@?g $Hc$H,ŘCy H$HH, C] $Hc$H,ŘC> H-ǯ#H$u'$=C$HB$H$::uHH$H$H#@?g=,%#H#H}#Hz#H$TCH$5HX#H9#HuH$HDŽ$%H#HDŽ$Ht HH$$At DŽ$.H1(Hxt =A$u8$ H$PAfLR$HDK6BD t CW$t;TUFD ftHcA| AHCDUBD C@?gHHQw +%@?g@ $pt0$ttT$eu^HH+=S$XEH HH+ $H$H$H*EH H=$EH H=-$EH L%9#H$u'$=#H-#H$;:uHH$H$H&#@?g)%#H#H#H#H$TCH$X3H#H-#HuH$HDŽ$%H#HDŽ$Ht IH$$it $tu$$$$)Hc$HDPD$$$itA$tH$HHHH$HA6ftfwfuG+ft/f u6 DŽ$ =DŽ$0DŽ$#DŽ$$$u $fz6HHH9jHA6Hc$HP%A $u$$$.E$$H=,#fEt3ptDM6D0 fPH8<t C6DM6D0 t C$uALD0 C@?gHHQu8'%@?gmH$VH$p @?iHD%%##H #H$H$p H#Ƅ$p H$TCH$Q0H$H-#H$H#D%#H޿@?i}$H$HkDHHIcDB t:HDB tHHDB uH$$HH$H$D HH$uH$H$H-#H=$%u-$%AHCaCDH=$mH$H$DŽ$=q$%u-h$%ACjCDH=$H)#H@PH$DŽ$H=$%u-$%AoCkCDH=Q$H)#H@@H$DŽ$=#%u-#%AClCDH=$fH?)#H@XH$Ht=m#%u-d#%ACoCDH=$H(#H@HH$DŽ$?=#%u-#%ACyCDH=H$H5$H$DŽ$="%u-"%ACzCDH=$aH$H+$H$DŽ$=Y"%u-P"%ACeCDH=$MHH+=$=H9="%u- "%ACpCDH=E$HH+=$H$H $*=H=!%u-!%ACuCDH=$RH=k$AMMH\$xHl$pIITIDIL$HHH9r/H$H9tH$H uKLAH$L9sHIP@ H$HH9uHH9uEH$H=@?gv,HPx u"HH$H=@?gvHPx uH HpH$H@?gH$@?gLH@?iH$@?iH$J=}#=8$HHyf?L$DŽ$DŽ$DŽ$~DŽ$HcHHH)HC&MIcHH鯫DŽ$@ADŽ$D$HIcHHH$ADŽ$馫HcH@?jϳA鹻% HcHHIcHLheASAEܻHDŽ$1--=d~$=R~$@H[]A\A]A^A_Hs过HAWAVAUATUSHxH|$Ht$#lt0ptSfuv#FHH|$[#LHt$H|$3k{#PHt$H|$ CD=Z#H$fH$`H\$DS6D :H\$DS6D 2HHQuARD$(Ƅ$$D$ 1HHH2:HHH4A@tJ47HcD$ AHHHHlf`tHcD@KEuF@u247HcD$ AHHHHlf`tAD9t$(!HIH HAIA ED$/|$/t ;\$(uD$$HD$0A`fHcD$ HL$HT$0HHBD  7.HIHBD D`AAD$LABBHcHcHHBD 9u;7 .HIHBD `D9uD$LHABEfu;Hc7Hc.HIHBD `D9AAIA9A|$/t D$LCf+D$L T$$HL$0fTRfDPD$$HHL$09\$$Ƅ$Ƅ@HH uHcHl$P $@HAH}A`fHcD$ HL HHHBD  7.HIHBD ` $u.Hcƀ@u!@ $@Ƅ@|$/t0A*9u|$/ftAEuAD;t$(-AHA99|$/t D9t$(D9t$(H$.47HcD$ HHHHlf`tFHc$u6H$@Hcɀzu $Ƅ@ H uHH yHH$7H9H$ H$PH$(H$XH$0H$`H$8H$hL$ f$RDt$(D$|$H@D$|$H HD$8H|$8HD$@H|$@iD$ |$ h\$(f$PÉu#H$PsH|$W#F/Pu :#pHt$H|$HT$@f$.HL$8f$7f$/f$8f$0f$9D$HcD$H@H CD$HcD$H@H CAAL$.IcLlf!eHD$8 HD$@fHx[]A\A]A^A_AWAVAUATUSH(H|$ HT$HL$DD$ D$(D$,A`f|$(P H#H@H|$,H"|Hhf9D$~pH#H@XfAfAfHcL$(H4IT>Hl$ DM6f1DUBTf1DUBTf1DUfDM6l$(|$(5uD$, D$,9T$~Hd#H@XD$, HK#H@@AAf=4 % OHcBD f`8guAAA8 A$AA0 f %ƀ=g =g=gHH u % D$8D$LAD|$^$=#tq*fq*SefT ^$D ^$@l ]$CD ]$H@ D]$CD ]$=X#tJH ]$Hc#H9w#HcH9r]$H]$p*D$D$=K#|$ts#T$=#t L$ #C]$9p*t p*/HƉDC7  II9w9cfL)AD CL;HIIM9mI}tM9]LA H;CA:EC fA;E HH-wg*H9v9HHSH!H#EH9tHHH9v HEH!H9uH9ufEt%cfL)ؠCLuHIAuH=#HcfL)!CL3HIHI9LEA}=uA} AE ׾-A}=CHE #cfH)ICH߸HL<=#tbde9- AdeFyBH"[$HcW#H9w H#HcH9r6HBHZ$On*D$LH;e*s Iܽ|$tW$W$W$uW$W$=#uH|$u=uZ$uD$tfZ$D$t=9#~deO, |$=)Z$D$HcD$HZ$H)HcK#H9 8#HcH9H|$ `f`ff贩H+Y$H^$sH|$nc#;#u hHt$ `f4]$l*HYd*HZd*H[d*HĈ[]A\A]A^A_AWAVAUATUSHIHt$T$MƋql*D$tv@u D$Ol*D$ tH$@`fl*T$ H c*HL$8Hc*HD$@Hc*HT$HHc*Hc*)k*Hc*Hc*Hc*k*=# =#=1X$=#u =#Hbk*f#Yk*ftk*Vk*HS#HS#HL$AF D$4ED$4D$4#\$XD$D$\D$(D$,D$0="#t Hj*Hnb*H9wb*t.IcHIHxL$X dT$Lj*D$P D$AADLMCLE6f|8 MMAfAfADEfA#DU!AffA#DUHcD8 t <=i*HL$D=#uD$XtA=@#~8H=m#hHÿLHHڿCV=#Ps@Ej_# Z#D$$$A~IXH`*HH`*@=H`*D@H`*@H`*fH HU$H`*fPh*H`*fP H`*h*t1Ix!BDS6!fBDS6fBBTS6AffA1TEAffA1TEAffA1TEH`*hch*HcDslPh*M9~'=#DDh*DD$PD$D$Xt9uHcD$DķlD$IIIQD$PD$T#9D$4w.|$P =g*r HX_*H9a_*^ 5D#|$T=g*H !_*H9 *_*|$D$ H|$`fH޹L\$`AIAlK6fDfDff#V6Hcf#TD`Icf#TD`Icf#TD`HD$=#uD$Xr =<#e IcH[fLf|D`f#|L`ff#|D`!IA|]6IŹDH=# HÿHMLHڿC Hc€fvfCTS6fCTS6Hcf1TD`Icf1TD`Icf1TD`HHHHQ3=#t H=dR$uHZR$HcD$,HMXDd$,D$$MuLT$,D$$DbDd$(D$$L$\D$$L$\D$$AH-\*D=5e*IcHC-`feDH=#Hƿ!C膮IcHHIcHiҲHBH\Tft-D9t(ȺeH=e#0HƿC.HQu 訮IIƢI CAAQ@!AfD$PHl$PHVݭDDHٺeDH=#t$PH¿CyD9t4Vft(ȺeH=r#=HƿC;HQu 赭-ٺnDH=2#H¾CAIƢA AAQtB&AIcHiLtTAAIcHiLtTAH8[]A\A]A^A_AWAVAUATUSHhHHAպfHQfD5`#D%`#AfHH I$=9HH I$HHSnHHHH)HHHHH)HcDs6B|8 t4Du6fDs6AfH vBTDu6f1SAfBTf1SAfBT f1SAEDffAtXD)Hc<4uF4Ds6B|8 t5Du6fDs6H vBTDu6f1SBTf1SBT f1SAAtf)D)Hc<4uI4Ds6B|8 t8Du6fDs6H vfDu6f1Sff1Sff1SAAt_)DHc<4uI4Ds6B|8 t8Du6fDs6H vfDu6f1Sff1Sff1SAAt[C)Hc<4uI4Ds6B|8 t8Du6fDs6H vfDu6f1Sff1Sff1SAAtfD)¸)Hc<4uI4Ds6B|8 t8Du6fDs6H vfDu6f1Sff1Sff1SAA t_D)Hc<4uI4Ds6B|8 t8Du6fDs6H vfDu6f1Sff1Sff1SAA@tXDHc<4uI4Ds6B|8 t8Du6fDs6H vfDu6f1Sff1Sff1SAAE~2Em y#̀Ht$\ApeH%DfHH<9t0DM6fDK6fTM6f1Cff1Cff1CHHHQuHh[]A\A]A^A_AWAVAUATUSH(IHt$HHL$DD$ EHF*HD$0HT$@H6H$L$ A;O~AOD$,D;$`!HcD$ D,PeTe$`Dd$ Ic?eHcLE6HcƀfueLx9tvAGHcHRff#LEff#DMff#DUIceAAAD;L$ iEEED$,D$,Dl$ \$ B\+\$(D9IcDeeIctU6ƀfÉH Rff#tEff#DUff#DUZ|$<̩#@cAGAHD*HT$HHD*@=HD*DpHD*@HD*fX H9$HD*fPL*HD*fP HD*L*tXHL$HA FIcDu6!fDu6f'BTu6H vff1TEfDu6f1DUff1DUHD*HH D*H;C*tHC*2L*A1IcHT$L$<tuAAfAHH|$@Ef\$$Icf\DvH@f\$&ff1\T@ff1\T@ff1\D@AGtA= #~8ٺgDH=j#5HÿHHڿC#AOH$H\$LCH|$@‹ۦ#AG Ѧ#A9GsAGt=#EAGAGuAGtH=V#H4$BHB*HT$HH|B*@=HqB*DpHfB*@H[B*L$$fH H37$HDB*fPzJ*H3B*fP H(B*rJ*tH\$HC IcD$&f#Du6fDu6fBTu6H vff1TEfDu6f1DUff1DUHA*HHA*Dl$(H;A*tH}A*I*Dl$(IcָL$AGAGH8A*HT$HH)A*@^HA*DpHA*@L$&HA*fH H5$H@*fP%I*H@*fP H@*I*tH\$HC Icf#Du6fDu6fxBTu6H vff1TEfDu6f1DUff1DUHS@*HHH@*H;9@*tH0@*qH*AIcָL$*H;>*t'H>* G*IcָL$*aH\>*H;D$0uAGuD$ T$ A;WH+D$0Hi(BBlB@BH([]A\A]A^A_AWAVAUATUSHH|$HHt$@DD$HL$HyF H~$H@D$hED$hD$hHAD` l$THA;h  H:*H\$XHD$xH9H$`fH$@@@ @@HT$XH;:*W|$hLD$tHDŽ$H$H$de+`eH=$;_ ~zC?ÃHtHcH4H4H4h HcH4H4H4h衜H:$Hu CDH=|n$%H$X HcHHHH=$H$W|$t*DŽ$HDŽ$H$`e$H$deD$l9݃|$tu)H$xuHce:etvT$tT*T$d9bHcDeeɉ$9|$t;HcDeeɉ$9l$dW|$pLH8*HL$HHH8*@=H7*DhH7*@H7*fX H,$H7*fP@*H7*fP H7*?*tHA IcHL$@Dq6!fDq6fBTq6H vfH\$@f1CfDs6f1Sff1SH17*HH&7*H;7*tH7*O?*H5Ƚ$+$HIcHHHк$ T$D$tD$p}#@uX+$HIcHHHHc$D$$tu D$p@l$p@2H$Ht$@f\$bIcfDH@Aff1Tff1Tff1DHɼ$@tA=#~8ٺgDH=#HÿHHڿCҖH{$Dx=*$=*$H$4de\$t9$u=8#y D$d`eH='$AD+$IcH H HL$H$H\$0H\$4$AD$Ht$H3Ë=)$=)$GH=$GH4*HT$HHH4*@^H4*DhH4*@DH4*fH H)$H4*fP<*H4*fP H4*<*tH\$HHC IcH\$@f#Ds6fDs6fBTs6H vff1CfDs6f1Sff1SH 4*HH4*H;3*tH3*+<*l$pIcIcHHHк$ T$u0H5r$IcIcHHHк$ T$PH=B$D9?Hq3*H\$HHHb3*@=HW3*DhHL3*@HA3*T$bfP H($H*3*fP`;*H3*fP H3*X;*tLHC ?IcDHL$@f#Dq6fDq6fBTq6H vfH\$@f1CfDs6f1Sff1SH2*HH2*H;q2*tHh2*:*IcIcHHHк$ T$l$dD$p9l$d9l$lPH\$XH;2*u"$H$D$t9$H$T$tPT$tH$HL$XH; 1*u 9T$hH\$HHKQ Hi$9Pr%BA HCT$T;P rHL$XH; 1*H8$r :BBHQ)׉=wi-$$=%$=%$L$<t =# # D%W$$H$PۃDhP$Dp P$P$D8t=_#~HΠCDd$ l$\$Dl$$ $ED$$DDYH$#$B#$B#$B {#$B9v#$sn#$B9i#$sa#$R;N#$v>#$H\$xH9/*BBBH[]A\A]A^A_AWAVAUATUSHH|$8Ht$0T$,L$(E; D$THD$pHD$`L8M AGD9 HHcL$LHHH)HH,ŰmH EA:G D9s HHcL$LHHH)HL4ŰmMM AF:E3 A:G) IcHcHHHDqDD A9AF AW M HDCE E #u A D$TDDMcHcKHyHHH *Ic`fAfйAfHc$ApfH<0mA1HcBD HfBD f иl$ f \FIc`fHfuAZZD9}JHcиlC$иlD$$AD$qmCD9|I AAE9|AI$A $$H$H$ .C{#HDŽ$HDŽ$D$D$L$G`fD$$$IcHheH$DŽ$$H$DC$VUUU)Z$RAA)D$HcHL$`$$$HcHCLT$`F\c$L$HcHCFTc$L$HcHRH`CHH@H`CADŽ$AAm0mlGHA HcADA$tIc׉fиlA HcDC$tIcfиlAFHA HcADA$tHc$fDU$&HcDC$tHc$fLE$AHHA@E$EDŽ$HDŽ$Hc$HD$H$иl؉$${AHcHL$XHHHD$PHi\$H\$HHH\$@-lAA1A)IcHD$PH؋q$D$$AD$Dዔ$qmuLD$@AƄPoHHHD$HLT$XBƄPo$=w#~$H=m#IŹDH=m#HH$DCHL,$ID$DxDsAHD;$$H$D9$7$DŽ$HDŽ$Hc$HT$H$ l؉$EvAHcH\$8HHHD$0LiD$LD$(ILD$ -иlAA1A)IcHD$0H؋q$D$$AD$Dዔ$qmLD$ AƄPoHHHD$(LT$8BƄPo$=u#~$H=k#IŹDH=k#HH$DCHL,$ID$DxDqAHE9$H$$9$;$$H$$ H$H$H$ HL$xH@@toAxT$lHt$pH|$x4O$ Hc$HHHc$HLhe$$Aj5*L$L9i*H[]A\A]A^A_AUATUSHIIHLH4 $H9M$HM$M$Hο.fqHt$Ape0.f蜪Af fDK6B| uBf dff1TGff1TGff1TGfDŽ dffDŽ f3 dfB| uM$ dff f fDŽ fHHHQlHtHq#.fHq#fI$Ht18t,IIMCCH=C$qkyL$H[]A\A]AWAVAUATUSHIt$S$~S$xS$Qfn=q#=$$D$$ r#t-D$$=r#~ nD$$H\$0LHoH$ApeL$$H觨fH$$h"Hc€ĒeG)D$(=$q#t^D$(o":"uG'D^R$C0DH=A$oGHcҾzeĒenD$(AD$(D$,|$,yepeHDHD$p#tHHT5Q$D mDŽ$AH$HD$IcŋP~ AuGIcH@HHLcK,$H,XD6ftH$H4H0HnH|0HH5#fBDg6JL%ff1Wff1Wff1WD;-P$}AIcՋLD$L$$Ht$蛦 P$?)A95P$L$AfωALHcƀfB2HBL H9~A=n#uD$,=2P$u |$,=P$P$P$ |$(҃-#DO$EuO$D%O$A~AO$ZDŽ$ fftBffAGfA#WfA#DO6ffA#WD8 ;$}$HHHQuD$AAfAL6B| tNffAGfA#W!ffA#WBD D9}D9uftEDHHHQuA~DDAAEډADAufAȉ ZN$H$fHcT$jD9HcHTB6H9D9uf|$@t]=d#~TDwHùDH=[#HcfH+t$`IغܝCH|$`@aHHD$`IcĀfuAHD$pH$fDdB6AfHL$8fD1$AAffD1$AAffD1$AH\$pH$fDdX6D$XHIHQ|$XT$X}#T$T|$@tW= d#~N0HƋT$XC9`|$X  `de `HD$`deLD$(L$0H$ H|$8蒚ÅyX#PHL&VH߈"H@PHĄ'HÈ"HPPHT$L-'xpLǐHH$@HPH$HHPH$PH@H$XH$Iw6H$@fLmIH$Iv6Hff  8t1<1t1u(LD$LChDH='$VHHQa뫹eL#LCCH=E'$UqLVWHH$@HPH$HHPH$PH@H$XH$H$@HH5.#ieeLX%HL$CCH=&$ULVIH$HH5#Hd:$uRHHRt(LD$LCDH=$&$TPLT)ApHH uL$@H$`BD*pD2HH uvhHH\$ HCZHD$HH)޺!CH߸QHHHD$D$BABL/IcIcHHHHlfBA 8Hct/AD$AT)HHHH0lf HH uHA H i$$f:fuKHT$xH$H$`fD0 :HH H uHD$;H$H$`fD0 :HH H uH$`rMgHHt$H+t$!CH|$,PHHT$H$$f:fu:H$`H$f2D :HH t:H$`H$f2D :HH uH$`cdfHHt$H)޺!CH߸GOHHHD$ H9u D$ iHHD$ H_Q#xLvH=Q#3R#FtKPu R#pLL.PH"H@PH~'IFT+HĈ[]A\A]A^A_AWAVAUATUSHHIL$`HLOQ#teLH#t;fDK6Hc |: DHHQuHcƀfcH$H$`Ae5A…:=fD$D$AH$`fDV6| t IcTAHHQuEL=#AD$AffAfL|$E9^IcDH @BTT`f#DD)f#D`BD!f#D`uTA$AwHcDH @BtDf#t`BD!f#D`D)f#D`t~ DA HcfA9~ <tA$AȃD9uA :EEIc$fTIcLLE9IcTLTA ~XIcDH4@BLDf1L`BL&f1L`L.f1L`D@fDEiA D$|$IcDH4@BLDf1L`BL&f1L`L.f1L`D@fDEDIct`ffZAEHD$H#HT$H#D$MyHt$AfAfAfAfTfA#DV6fADV6HcB| u+fALV6HRBD fA1 FBDfA1 FBDfA1 FH9AuHD$H#|$D9AOIcDH4@BLDf1L`BL&f1L`L.f1L`D@fDt`ffnIcЉ1fDDDfD@fDH@BTf1T`BT f1T`D(f1D`IEP|$t@H[]A\A]A^A_H\$Ld$HHAľHAaHDCHH\$Ld$HHkHH HAWAVAUATUSHXH|$T$H6L#HT$0HHQuH|$IIA=9ISnH7#AHILHHHIHH)HHHHH)IJ<1HHHIHH)HHHHH҉)9tHct 0HcD0D 0@t0AHAQpH=#D$$HD$(H$pHT$L$HD$(\0HT$DZ6fHt$H|$HAfH [BT\f1TpAfBTf1TpAfBT f1TpfDŽ\|$|DffD$tKD)HH4@BLDf1LpBLf1LpBLf1LpfDŽDD$tZ)D)HcH4RfTf1Lpff1Lpff1LpfDŽTD$tR)DHH4@fDf1Lpff1Lpff1LpfDŽDD$tNC)HH4@fDf1Lpff1Lpff1LpfDŽDD$tZD)¸)HcH4RfTf1Lpff1Lpff1LpfDŽTD$ tRD)HH4@fDf1Lpff1Lpff1LpfDŽDD$@tKDHH4@fDf1Lpff1Lpff1LpfDŽD!Ht$H|$ED$$H$pD^6fu^LEfAT\6f1Dff1Dff1DfAD\6Ly~HHHQYrHD$(H|$(Q%|$$PHX[]A\A]A^A_AWAVAUATUSHIID5"fDH|$`HfGH|$ HfGHD$D$D$ HcAT|6DfBD9BAD}6f/fD7 HH$HB| AfBD HHB|AUfBD | AfBD | fAT}6H fAD|6fA1DUffA1DUffA1DUBDt7 BD BT BL D HcD HHH$HBDHcH4HBDD|$ A|$ ~ LTt *D|$ DCQM؅|HĨ[]A\A]A^A_AWAVAUATUSHH|$(IT$$DD$ Wbtt H)HD$0H=(f$@@AHf$Hu CCH=$VC=L-e$kt.B JAAEtDtDD ÃuIIII A\HHLȃʃPȃ ‰@HuؿC@DŽ$LAfAN6B| t2ffAFfA#V!ffA#VBD AHHHuD$DH?H$$x?H$AAAfMCDF6B| CDV6f#6`fffA#VffA#VffAVtSIcHH$@4AfH$LAfH$LAkfH$LAHH kIHIQ?D$T^HH$0t$LPT$HHL$D@D$@9%LmLcL$TMAL$KDDDxP9T$HD$_@9D$DD$^|$_t|$^uD$<UtDIP;D$HuB;D$DƃH9uܺD$<t D$<A9D$LA€|$_tSEtNtEL¹;D$LuB;D$HƃH9u܃uD$<|$^tSEtNtEL¹;D$LuB;D$DƃH9u܃uD$<EtIA9D$@u?t6L¹;D$LuB;D$@ƃH9u܃tЄt|$<tH$B tH$A H$BA$IIA9D$TD)DȉD$TH$9D$PD$PADŽ$vE}DX]$9?$H$Ht$D$ %D$ DH5`$H|$g9Aċ$H5`$H|$J9D鋔$H5`$H|$-9DH5e`$HcD$A9HT$(HAHHdfRHRHf\$ \$XtF=>#~=D$DH|$X9Hÿ词HHًT$P%C:H$H$Ht$DH|$7HA$EAIH$$H|$7HAL$EAỈʃ)ʈH$$DH|$7H59_$HDA )Hcҋ@|$Xt?==#~6D$DH|$N8Hƿ3C9DŽ$ DŽ$$$;$$$9ED9$|$SHT$(HAHHL$P`fRHRHf$$H$$H5^$6ƒ  ЃU Hc$HH$`fP@DIcAtV6ƀfHRffAFfA#NffA#V!H5)Ht$(H0H&)@^H)D@H)@H)fH H#H)fP%)H)fP H))t HF  IcfA#Dv6fADv6fc BATv6H vffA1FfADv6fA1VffA1VHT)HHI)H;:)tH1)r)D$ $$Hc$HH$`fP@DIcAtV6ƀf^HRffAFfA#NffA#V!)H)HT$(HH)@=Ht)D@Hi)@H^)fx H;#HL)fP)H;)fP H0)z)t HL$(HA  IcADv6!fADv6f BATv6H vffA1FfADv6fA1VffA1VH)HH)H;)tH))D$ $E$$$$;$HHI)H+D$0Hi3 H.)HD$hH #HT$`L0L$ $u D$xH\$(HC fD$xLo5)"$ "$H$L@6$9$gDŽ$Hc$ee$LB$He$\B$|$$u$9$&|$$u$9$ $H$Fj}5Hc$@Fj$f3DQfDQHcƀfu2ftQH RfFjf1tBff1tBff1tBHT$(LBMeLD$H$0FjmH$Fj4Hc$ Gj$f3DVfDVHcfu6fLVHRff1Fjff1Fjff1FjH\$(LCMeLDH$0Fj7mH5y)H$DŽ$DŽ$AHDŽ$D$L$L$Cln6AfB| H$H$DfMcCFf$DfIcA vf$fHcE<~C-NFjHcAAB| t FjDrfB#DB!f#DzAAH$&GjHcЉрft*IcIcFjf#Fj!Hcf#Fj$f#$!D!D!Љ!D$ E4#9D$x$ut$e$H=+#рIċ$e$H=*#诀Hÿ蓃HLHڿ>C0$$$;34#|+eC$ֿXC`0$$n$H=]*#(HƿC&0$$u $tSH$ffAFfA#VH$H$f#Dr6ffA#V!Hf$H)HL$(HH)@^H)DhH|)@Hm)fH HJ#H[)fP)HJ)fP H?))tH\$(HC H$H$f#Ds6fDs6fBTs6H$ffA1FffA1FffA1FH)HH)H;)tH))IH$IQ1$$t޿`Ch.D$ tHD$hH;B)rm$tO;$~FH&)H+$Hi$$$$L$|H$H\$p$9$bHD$`H#D$ 4$&D$ =V1#$"CeCHD؋D$|HAeALDeeH=v'#A}IŋD$|HALDeeH=G'#}IĿHID$LLD,HL$hH )$~GH)H\$pHHHCHBHCHBHH)HH\$p;$uH~)H+D$hHikDEA qAADD!ߺAAABBkB[Ht$`H5#낸H[]A\A]A^A_AWAVAUATUSHIHH#9""vH$He)H$Ht#HB3Dl+HT$Hf)"D="D9A@FjAFjHce#)e)HFj,Hc))fA3DTfADTȉL$Hcfu1fALTHRffA1LEffA1LEffA1LE)MFMeLDpHt$FjeyV)=CBHH@ 3rT$ҸQHHc)H@ 3rHc})H@-#3rf)=)tv)=)~cHc)HH4A@lD)Al=) lHfE DA lH lBTAH9|ʃA9S)D~%DgCH=|#+)DH$H-#)H[]A\A]A^A_AWAVAUATUSHXH|$(HDD$$bH)HD$@)Q))HT$(HRHҸeHEHD$= )D$8HcD$83rL @AD9 DeeIctU6ƀfAAHRfDfDfHcf#tEIcf#DUIcf#DUANEL9DL$$$P~ $$$$$Hc$HD$pHHT$hHD$ HD$Hc$HL$hHHDlHHHD$pf#DlLc$HD$ HD$`HHHD$XLHD$(KHHD$PADMcAfD$$AA؋$$qm2ILl$(AlHcHiҡH\$PH H\$`PoHT$XB"PoD$|=R&#$H=t#orH$$H=O#JrH$ElAfCuHH$H$L$Eٺy0D"D1Hc`ff%#}Hc$HT$@HL$HHHD$8HHD$0:DIcH\$HfD$$AA؋$$qmGHcHiHD$8AlH\$0BT+HL$@PoD$|=$#$H=#pH$$H=#pH$Fl+H\$HfCsHH$H$L$EٺyXDr D1Hc`ff$$P$O%H$Hxy$AyT$|H$H$]H$H9 )؉H[]A\A]A^A_AWAVAUATUSHH|$Ht$IMDL$ H#H9#H#f f$!#HG#AfLt$ fǃffǃBfBD#6B|( LL HH |"ff1DT ff1DT ff1DT fBD36L~ #H#"fffBfHHHBD #EMt HcD$ MlH !# fH!#fHD$LMA=B #1D$\fH\$8DS6| D$\HHQuD$LL$@Ht$8H|$`Ƅ$@HP#HH»=9H4HHHHc@B9@HHHQuH5#D$\D$PAHT$`HT$(B$@\HcŀfL4[Aff1lD`Aff1lD`Aff1lD`fDŽ\H|$()1f\Aff1lD`Aff1lD`Aff1lD`l$P\$T9\$PIIQ@D$T9D$P|vT$X9T$Pl= #t(HcD$PH#5r #H|$`莣pe#H|$`FHm#Ht H;#D$LHl$0$H#HD$@H|$0x HT$0H=#H|$0HOHD$@A@t[EtVH=9"L$H:<t <r <t<uBB QHHQÃ=X#H$Ht$8HdeHSH$H5",AD$LAL$H$IcIIHt$8LL$DU9u=ADP69t3fA\P6ff1Dff1Dff1DHHHQuoLyH$AfH$TO6HcB| u9t A1Q1HHQuD$A@CD$HD$@H$DL$XDD$TDH$LlD$LAAfH$H\$8DS6|8 u 2Q2HHQuAH$D$IcH@CD$HD$@H$DL$XDD$TH|$8D$LD$LD$LHĘ[]A\A]A^A_AWAVAUATUSHIC `ff`BjHH uf2'f2'H)GjH)GjH"ϞCH"CH"eCH"CH"DH" CH"CH"CH"CH"CH")CH"0CH"2CH"5CH"=CQ##H"eH5"^eHƯ"CH"DH"@C#H###s#Q#PHO"QCu,eAeAeAĒeAlezeCeAeAeAĒeAlezeV uDHuAItA ItA I tA ItMHHH4XBjFHHHuEAAAAĒeeHcHHŠCH<`DjuH`DjHHuH$I|${fHHu $j=#t*H$H#H="CuH"H"f=/'u]H="HtQAAf0DÉf`@jBT A:fHH tIA:uH=#u&HH#HHH#Hٛ#Hڛ#D#A ĒeZCpe5CuR "Ale`Ce Cu) "рAzefCyeBt  =#t1# #u =#t=1#u %#-# #t!Cf#t-N#sfcksH#H#H=H"tFƀ`fHHu`PffH$iH@CfkDC6f1TAD9}!OHcHcA9~At HEPH$AfHDw6B| uHcH"Ƅ8Hl$0DM6B| uHcH"ƄHcHn"ƄHHQuDD$-t$H$H|$tHD$H;z#|$L|l$LqkH"@|u D$t#A "֑"t$H1Hz#HH4z#HHEHD$(%!"#"'="EAA'Hct"H%"Hn"H@8xx~"H"H$ HH"H$ AQH$@fMH="L$ L$@Hc8t9ATI6fATH6ff1D@ff1D@ff1D@HHHQu"H$@es "kD9AσupAff;fHHQuA9AH"H5"CA Hl"H5u"͟CfDAfHcH"t#fBD CH58#H5*#.HHQuH5# H=#A""H$ fVH$@f?H="L$ L$@Hc8t9ATI6fATH6ff1D@ff1D@ff1D@HHHQu"H$@eiH|$(]HL$(H; v#K="H$ff;f HHQuH$ ؾf%AMB,HcH "oH$PH$`HH uA$ff4@IffD@D9t-HcH4IcH HHuA$ff@(Aff@(9t&A 0HcH$`H1AHH@0A$ff @AffD@D9t5HcH$PH4IcH HHuA$ff@(Aff@(9t&A 0HcH$PH1AHH@0H$@fAL$`IcH "tTAHlftVfLvH Iff1T@ff1T@ff1T@AHH$YH9uA IAQy"H$@eHSn="fH.H= "L$@Hc8t; ffATH6ff1D@ff1D@ff1D@HHHQu"H$@e聽~H|$(tHD$(H;r#HHQkIIQt0Eft%;"s"H$ f9H$ Ex="HcHyfEH$P-ω"="QHx[]A\A]A^A_USHHHcՉXfuWH 'Hxt=l#ul#HPl#t$HitHcXfH[]H\$Ld$HxIHH^q#HA06BHHLH\$hLd$pHxAWAVAUATUSHH|$`IHT$XHL$PDD$LDL$HD$0$8  L=p#IIH$PHt$P}D$LD$0|$LT$0Hp#AIA=9ISnAfffAfIN(LHHIHH)HHHHH)щQMHctB| uH vDf1DPT)f1TPBTf1TPfDŽtALAbLo#T$H$AAD$Au-#Ho#IA=9ISnAfIJ<(HHHIHH)HHHHH)QMHcTB| tHRDfDffIcIcDPf#TPHcf#TP!fuD$H=n#HIJ<(HHHT$(H88HD$(HHHHD$(H)`fDՅtHcfDIcf1DPIcf1DPHcf1DPAHAD$H=5n#H$H$PHH趂HH|$`WHx(HT$`HH9"H$@HH H={"t%d#H5^"HTE$8tcH$$npeI"H$ٷHD9"$8t+/H="toH$PmM>II+|$LHnDd$LAQD)$$8 \$4wIcHt$PD^6f]L$L,H [fHt$PD^6f1Tff1Tff1TfDŽ\F\$4uLLHx(D$HD tVEAEH$@HT$$8L$$DL$HEH$HT$XLH|$`$8ftztH$H7" IH7"$8tcH$'lpeL"H$ܵHO7"H<7"AD;$wD d$H#$8I9n HuInHE(I9nHmHE(I9n|$HH$0Ht$PHWH$AeH>$8t$htlD$HD$luH|$pH$0Q+D$l$$8tIcHT$XDB6f|$htIcHL$PDA6fIcDffIcTfDIcĀft7HRffD0f#L0ff#T0!DIc`ffNMcKH\$@H$Ht$8|$luHHD$@fTfDDDpf#DTpHt$@fTf#DTpfB#|H$Ht$PHfB|FHt$@fDf1DfDf1DfDf1D|$ltIH$@Ht$$8D$D,$DL$lAHHT$XLH|$`I$8 u:Ht$pH$H|HH|$`Hx($8HT$`HH3"H$@HH H="t'_#H5z"H|$8n?$8tcH|$8Ahpef"H|$8Hd3"$8t%RH=="toH|$8gA1Ic`fftAD;$H[]A\A]A^A_AWAVAUATUSHxH|$PHt$HIH(!H@@z $HD$PH@HD$hHu$iEe((uHD$pAt HT$hHT$pHT$PHBDŽ$Ht:HH0DŽ$fDQ6|0 $HHQuAE D$|t4Rt/@u6LI}tu#H:@u HBRuDŽ$ DŽ$HD$`l|$|tAtT$|9$H|$`t HD$`HX HT$PHZHD$PH@HD$`EuIE}EeDډ$DD)$|$|t,At D$|9$v$u DuA$H{ uHCHC HSH@!HP@-"fH$WydQAqHK0Pf aHcDA6|8 uA9:=ՍUHcDA6fuL$AfHC0HcTH6B| uMfAP6fHC0DH6f1TfHC0DH6f1TfHC0DH6f1TIH9uH$HS0HS0HC HD$Dd$E$EEHHt$HH|$P7WH;\$ht H[nHD$PH@HD$hHT$`H9N&A@eCCHDHD$XACILDECHHIA !CHHDA(CILDA1CILDA8CILDA?CHHDIEHt2A} t+H-PeHHHHH?HHLJAAU +T$|LH-PeHHHHHH?HHHD$XHD$8Lt$0Hl$(H\$ L\$LT$LD$H<$E$DIMHtK|$|t)Aul$||$|$9T$|DŽ$Au HD$pHD$`IMAAtuN@AQ T$|t=ARt5u&LH9t&uHB0HHuB@Ru DŽ$IA}RHK0eHx[]A\A]A^A_HPe ff HHHfGH@(/x"8tPe ffHH\$Ld$Ll$Lt$HIHHf`#L-u"HHA0ILHeHHL|H\$hLd$pLl$xL$HĈHHH8t>HQ"{`@QH¾fHx(Hο@fHx(HAWAVAUATUSHH|$0Ht$(HL$ LD$DL$Ht_#H9}#fHL_#HU#f f?#Ht"HT$HH$`H|t"HD$PHD$XHL$ HL$ht$Pt$tH|$PH|$`ƇfIfDŽ?ffDŽ?BfHT$h\z6ÀfHt$hH$p?Ld$XA$fHL$PLf1tpH|$Xff1Tpff1LpHD$PfDŽDTpf#tpf%f#Lp1$H`ffVDL$H$pHT$Ht$LfD|$>fG|n6DA$ffD1DA$ffD1DA$ffD1De(L.XxfC-BfHt$ fHx(u HL$`f"tiHp(H$H@HD$xH|$hBLo6et$tH=5"HþH|$ HHL$HL$xHڿCܿfC -BfHt$LaD$>fCDn6A$ff1DA$ff1DA$ff1DLfHx(u HT$`f"tRHh(H@HD$@Det$tH=Z"%HþLoHIHL$@HڿCD1$Hc$`fft DC-BfftHL$hfB Di6fC-Bf#HD$PHD$XH|$PQHt$HH5p"H|$t%HcD$H|$LtH " fH"fDi#EHD$(LMEAmLƿCH8Axuu"f9LHHQt5fBfft D0 9LHHQuHc\ApCL8DH|$%H\$AeCf-BftAH=?": LH)ILẙCH߸lHHAؠCHHQAsLƿC8^HDŽ$PfDŽ$XAxuu1AftPAHHQt?Af BfftT0 Hc€PAHHQuH|$tXHl$A eCAIcP~*LH)EߛCHVHHŹؠCuAE9uIcAtfu^LƿǞC8uIAxuuϗ#0f Bfft D0 HHQuHc8Et-H|$0HCCH=z#`#H[]A\A]A^A_AWAVAUATUSHH|$(HHT$ L$H).DLfKIHIcL4B1t kLcA$@u @ID$HD$8IA$HAu_tLD+L$8L$4(HD$@H$H$@IL$L$HH$?L$`HH$H9vHH$(td("}'tx빀,Dt\tj)u@2uH$@M9vH$IEIumaH$HD$ HRH$@5H$PH!HT$ H x(DH|$(ZH$HL$8)ACH|$(!HC@8/hHcT$4Ht$8裹Q|$[H$`L9vIEIL9wIcHDCEH$@HP HH9vrH$@H$@Ht]H$@IL$Hk HD$(HH(TCLHL)H`H$8HH9vH;HuH$@H)HHIcHCH9| AH9~HDH|$(]IcHHT$(HJ(H$`H$@HCD w"Lh"CHAH A ]q@u Aft$4H|$8;?"LcCeJ㠾Ht$ 艸HHD$ HN㠾L9HD9.uIHHDBuI7HDF tHHDF utL9v HHDHT$ H*.IADtwH|$8HHL$8HADBt]H$ҷHcHx>H9$u4HD$ H(Hc"H9AUHcHIHBf]EHT$8ff^]HuCH|$(oHx0tHT$ H*HxWDh h@%HD$@H "Dl$@HH$H$?A$I(t )t&t'H$H9v׈HH$ǃuID$HL$ HH$HD$(Hx({RH$HH\Ht&CH|$([|$t2AuHcH`DjHztfuƀfHL$(Hy(RAU1tl10uSAtNP@tQHcIHt9HcHZ)tH@Ej誴D$0HcD$0`fD$8HD$PD$XDIcf~2A9|-IcmHHHH)6`ffT fDDAHHH uE9>DD$ <>%c%s %s %s %.*s => %s%s%s%s%s%s%s hidden %c/%d %s%*s%s naked %c/%d %s%*s%s box-line %c %c/%d %s: of space %s: out of space 
NAME
SYNOPSIS
DESCRIPTION
OPTIONS
            default ('%s').
        %XX Miscellaneous:
                  X may be:
                  1..9.
                  order.
        %,  Space.
        %:  Newline.
        %%  Percent.
        \c  C style escape.
       C may be:
           %v is the value.
       T may be:
       are not affected.
       independent metrics.
            values (blue).
       minimize steps.
       of options:
       %10s  %s
                   %s
       and N-valid.
         %2s %3s (%d) %s
DETAILS
    %c%s %s
       %sDisables the  constraint%s.
  puzzle metric.
  other constraints fail.
  edge.
  with the constraints used.
EXPRESSIONS
    c0  Equivalent to c.
    %c%c  (%s) %s
    %-12s %s
INPUT FORMAT
      "gmr11n1spq-YG"
      . 6 .  8 1 .  7 2 .
      8 2 4  . . 6  . . .
      . . .  . . 5  3 . .
      . 1 .  . . .  8 . .
      . 8 .  . . .  . 1 .
      . . 9  . . .  . 4 .
      . . 2  1 . .  . . .
      . . .  6 . .  2 3 5
      . 9 8  . 4 2  . 6 .
  values are:
OUTPUT FORMAT
  solution grids.
COMPRESSED GRID FORMAT
PERFORMANCE
EXAMPLES
  first puzzle in s.dat:
CAVEATS
SEE ALSO
CONTRIBUTORS
  Z fish finder by Ron Kral.
IMPLEMENTATION
#!%s%s %s: invalid cell %s=%c in %s %s: %s:%lu: unexpected EOF %s: invalid move %s %s %c %s %s: sudz flush failed %s %s %s %s %s %s %s%s: out of space [talloc] out of space [constraint_O] O%d,L%d,W%d,S%d,J%d,endos = %d base = 0%09o, 0%09o, 0%09o endofin= 0%09o, 0%09o, 0%09o cover = 0%09o, 0%09o, 0%09o fingrp = 0%09o, 0%09o, 0%09o exc = 0%09o, 0%09o, 0%09o dblcov = 0%09o, 0%09o, 0%09o intsect= 0%09o, 0%09o, 0%09o exactcover=%X got here without exclusionsfins = %d, %d, %d constraint order %s : %s%s: (%-*.*s): out of space %d:*%d:%d%s.%dV%d(%d)V(%d);%s=%sout of space%s: %-.*s<<<%s: %s %s: -g%c: already specified %s: -g%c: unbalanced {...} RANDOM SEEN ONE MULTIPLE MEMBER IMPLICIT EVERY DISPLAY DELTA CLUES CLASSIFYw%s: %s: invalid permutation %-.*s %s: %s: cannot read %s: -z%c: unknown option %s: -%c: unknown option extrawhich((%u/%u) %s (%d)) show 120 80 moveto (%s) show grestore 2 20 translate grid %s %d %d [ %c ] magic %d %d %d label %d %d %c clue %d %d [ %c ] hintshowpage%0*u%*u%u%.4fE%02d00%d-%d-%d-%d-%d[%d] %s=%d ERROR{%d%d,%d%d,%d%d,%d%d} invalid-band-index%03d- distance-%s%s%dasymmetricnot-an-exemplar+-------+-------+-------+ | | %s------+-------+------ *-----------* |---+---+---| ---+---+--- similaritydistancemagic-error%s%c%d.%s %d:%c%s%c%d.%d%Xpnlnmnetpttt%*.*s%*.*llu%0*llu%*llu%llu%*.*lld%0*lld%*lld%lld%03d -------%s %c%d%s D %s %s D %s [ %s vs %s ] %s D %c contradiction %s D {%d} %d > %d %s D {%d} %d < %d %s D %c%d %s S invalid%2d : %s%2d : %s %s P %s %s: %s: %s: unknown argument %s G %s DEAD %s=%s%s L%dout of space [unbiased] %s: puzzle %llu invalid %s # %d %s brnet %3d %s =>%s transport %s %s : %-*.*s (%d) %d: too many knots -- %d max pos---- subexpression %d ---- required %s %u max%ldsig%s%lutotmin%#0v # %#Rn.%#cn.%#rn%v # %5r %q %(CSM)#c#/q?[%r%c]%5r %-11q %#c#/q%Y-%m-%d+%H:%M:%S%p%o%v/%x/X#@*$&%#Ci %#Cn %1v %2#.cquestionsolvequickmagicstdin%s: %s input corrupt %s: %s: unknown magic emptyenumeraterandom# %6lu %8lu %6d/%-2d # %6lu %8lu %6d %s # %s %2lu %2lu unknown functioninvalid actualunknown variableinvalid tokenunknown token%s x-wing %3d %c %c/%d %%%% x-wing %2d %c %d %d %d %d %d 1 edge %d %d %d %d S edge %d %d [ %s ] clear %s rookery %c %2d %s %s rookery %c %d Clue info.Symmetry info.btBackdoor info.Rating.hardest|hhardest-obsolete|oinferior|i-q{FN}-G -B -eVsimple|ss-qT1H1T2BT3T4H2W2W3XH3H4Y-Gsuperior|ssuperior2|s2ulterior|u-q{B2:N}-G -Q!{FN} -AB -eVboxlinelineboxcluesThe number of clues.inheritedcandidatesbegstepsBegin game singles steps.begsinglesbegbasicendstepsEnd game singles steps.endsinglesEnd game singles placements.endbasicguessesdepthgroupbackdoorguesstimatepropositionsluckcontradictionsiterationsgirthdegreenestedworkratingsymmetryEquivalent to symmetric.nonefull dihedralhvIIIhorizontal and verticaldaIVdiagonal and antidiagonalpi rotational (180 degrees)VIhorizontalVIIdiagonal (main)exratedeterminedimplicitmutablerequiredsuperfluoussymmetrizeuniq##010*10*0^^11~~*1<<1*>>==**x-wingswordjellystarwhaleleviathanoctopussymmetric minimalno-puzzleno-solutionmultiple-solutionsone-solutionnot solvedvery easymoderatevery hardvery difficult1 constrained2 constrainedrats -- 3 constrainedrats -- 4 constrainedrats -- 5 constrainedrats -- 6 constrainedrats -- 7 constrainedrats -- >=8 constrainedH@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@D@G@G@G@bF@SD@G@B@B@F@E@G@E@G@bF@G@G@G@G@G@G@G@G@G@G@H@G@E@D@E@"C@F@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@B@G@G@1D@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@G@C@`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@h`@`@h`@`@h`@h`@h`@h`@h`@h`@"a@`@h`@h`@h`@h`@h`@h`@a@h`@h`@h`@a@h`@`@a@h`@h`@h`@h`@h`@h`@h`@`@h`@`@h`@h`@h`@h`@h`@h`@ a@:a@h`@h`@h`@Ra@ta@h`@a@h`@h`@h`@a@h`@`@a@AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA}AAwAwAyAJzA{A{AA]AAAAFAAwA|AAAAKAA-AdAAAAkAAAAAAAwAwAwA>zAzA{A.|AAlA{A4AэAA&AAǑAŔADA?@ABCDEFGHIJKLMNOP #,5>GP"+4=FO!*3=<;:9876543210/.-,+*)('&%$#"!   H?6-$ I@7.% JA8/& KB90' LC:1( MD;2) NE<3*!OF=4+"PG>5,# #"! ,+*)('&%$543210/.->=<;:9876GFEDCBA@?PONMLKJIH PG>5,#OF=4+"NE<3*!MD;2) LC:1( KB90' JA8/& I@7.% H?6-$ HIJKLMNOP?@ABCDEFG6789:;<=>-./012345$%&'()*+, !"# @ $-6?H %.7@I &/8AJ '09BK (1:CL )2;DM!*3GPtemplateexemplarsudzחAA@B@cA*uA@~.A*aA@@i@@w+A@1@@@@%s %c-trip%4d %c %s%s%s%s%s%s%s sudoku solver/generator man document sudoku - sudoku solver / generator sudoku [ options ] [ puzzle ... | [ < ] puzzle.file ... ] sudoku solves 9x9 sudoku puzzles defined by the literal puzzle operands (containing no lower case letters) and puzzle file operands, and prints the puzzle properties and solutions, one line per puzzle, on the standard output. If there are no operands then puzzle descriptions are read from the standard input. The file "-" names the standard input. A solvable puzzle has exactly one solution. -a List all solutions. Implies -ou. -A Force constraints to assume that constraints earlier in the default order have already been applied. -b Enable breadth first search which is typically slower than the default depth first first. Breadth first search applies constraint propagation to the lookahead candidates (guesses). -B Batch moves within one constraint group (or constraint if -G is on) by first identifying all moves and then committing them in one operation. By default moves are made as they are identified. Batching negates ordering affects between permutations of equivalent puzzles but usually results in higher constraint counts. If -v is also on then the move trace is prefixed by the constraint propagation iteration count. -cNC File puzzle input is in the Nth C separated column counting from 1. If C is ' ' or omitted then 1 or more space characters separate the fields. C may be followed by C separated field names. The fields may be accessed by %(name)f, %(N)f, %(*)f (all fields, no separator), %#C(*)f (all fields, C separator), or $N, $name in expressions. -C[X]If X is p or omitted then list the minimum Hamming/edit distance of each each input puzzle to the next input puzzle, the input puzzle in %v form, and the "best" map of the input puzzle to the next, also in %v form. Each odd-even pair of input puzzles is compared. If X contains S then list the maximum similarity instead of Hamming distance. If X contains D then list the default Hamming distance. If X contains f then compare the first puzzle to each subsequent puzzle. If X contains l then compare compare the last (previous) puzzle to the current input puzzle. The first puzzle can be listed by specifying width 1 in the grid -f format, and the second puzzle by specifying width 2: e.g. %1v %2#.c -d Enable depth first search which is typically faster than breadth first. This is the default. -DN Set debug output level to N, or increment if N omitted. -eE Only list puzzles with constraint expression E that evaluates non-0. -E List puzzles just after applying the last easy (non-guess) constraint. -fF Format output according to F (default '%s') after each puzzle is processed. If format is "-" then per-puzzle output is disabled. printf(3) style width, precision and fill apply. [A][B]... before the format char treats value as an index: 0 for A, 1, for B, etc. Information for invalid puzzles represents the solver state when the puzzle was determined to be invalid. The formats are: %XC Solution in canonical order. X=#a: number of non-trivial canonical solution automorphisms. %NF Flush the current output and: N=1: write to the standard output; N=2: write to the standard error. %G The number of clues (givens). %XI Puzzle file magic string. X=#c: schema names separated by c. X=#I: schema names with input file separator. %XM The number of backdoors (magic cell sets). #a: The number of cells that are part of a backdoor. #b: The backdoor size. #g: Estimated number of placement guesses before backdoor hit. #u: The number of cells that are not part of a backdoor. %XYZP Property list of Pi elements: #c: Pi is the number of cells with i candidates. #d: Pi is the number candidates with degree i, P1: total. #g: Pi is the number of clue values with i-1 occurrences. #o: Pi is the number of occurrences for clue value i. #q: Pi is the constraint applied at constraint iteration i. #r: Pi is the number of rookery templates for value i. #s: Pi is the number placements at constraint iteration i. #B: Pi is the number of clues for box i. #C: Pi is the number of clues for col i. #R: Pi is the number of clues for row i. #S: #s with constraint id. #v: Pi is the number of cells with candidate i. Y=#S for separator S, otherwise no separator. Z=#G for group separator G, otherwise Y separator. -#: sorted high to low, +#: sorted low to high. %%XQ Equivalent to '%s'. If #X is specified: #m: The magic/backdoor constraints. #q: The quick constraints. #s: The solver (-q) constraints. %%S Default stats: equivalent to '%s'. %FT The current date formatted by strftime(3) using format F, #c: The number of solved cells. #e: Elapsed time test. Format width interpreted as nsec. #E: Simple Sudoku pencilmark exclusion list, one per line. #f: The number of forced cells (naked singles). #F: The full dihedral symmetry pattern id n-n-n-n-n. #r: The current pseudo random number generator seed. #R: The initial pseudo random number generator seed. #t: The tuples of degree i, one per line. #u: The solution unavoidables of size 4. #v: The number of clue values (1-9). %AXYc Puzzle in canonical order with solution cells listed as 0. Leading 12345678945 omitted from row-order min-lex band values. #A: Solution cells listed as [A-IJ-R]. #b: Band of 416 min-lex index 6-tuple, each 3-tuple sorted. #B: #b not sorted. #c: Grid symmetrized to minimize distance, dihedral order, and pattern lexicographic order, ignoring the center box. #C: #c dihedral symmetry type and distance from symmetry. #s: Symmetry op. #S: Symmetry description. #t: Symmetry type. #d: Grid symmetrized to minimize distance, dihedral order, and pattern lexicographic order. #D: #d dihedral symmetry type and distance from symmetry. X is the same as for #C above. #e: sudz compressed minlex band/grid encoding. #g: Gang of 44 min-lex index 6-tuple, each 3-tuple sorted. The gang index is the largest 416 index the gang may produce. #G: #g not sorted. N#i: Band of 416 index N row order min-lex value. #m: Puzzle in subgrid row order minlex canonical order with solution cells listed as 0. The default canonical form is based on the solution grid; subgrid canonical does not require the grid to have a solution. #o: The original grid dihedral symmetry id and distance from symmetry, minimizing distance and dihedral order. #O: The original grid dihedral symmetry type and distance from #p: Permutations mapping original to canonical. i:identity, v:value, r:row, c:column, a:#automorphisms. #P: Row order pattern minlex canonical. #s: Grid symmetrized to largest dihedral order, "assymmetric" if no symmetry (not a fast implementation). Y=#p: if symmetric then list the cyclic permutation that symmetrizes the input. #t: Exemplar template with %s cells in subgrid row order minlex canonical order. Y=#a: the number of canonical form automorphisms. Y=#p: list the cyclic permutations that transform the exemplar to canonical order. A=(abc): exemplar cell values weighted a=1 b=2 c=3. A=((ab)c(de)): exemplar cell values weighted a=b=1 c=2 d=e=3. Weights are in the range #T: Exemplar template restricted to %s cells in subgrid row order minlex canonical order. A: same as for #t, except listed cells are restricted to the cells specified by A. #x: Clues treated as exemplar X in subgrid row order minlex canonical order. Y=#a: the number of canonical form automorphisms. Y=#p: list the cyclic permutations that transform the puzzle to canonical #X: Like #x, but list original puzzle in row order minlex canonical order. #z: Like #t, but symmetrize instead of canonicalize. #Z: Like #T, but symmetrize instead of canonicalize. #c: Solution cells listed as 'c'. %%d The default format '%s'. %Xf Input file base name. X=#p: input file path name, X=(N): -c field N, X=(@)#C: all fields separated by C, X=(@): all fields, no separator. %XYg 9x9 text puzzle grid with no frame (default or X=#n), X=#f: framed player's, X=#g: gordon, X=#m: metcalf, X=#p: programmer's, forum, X=#s: simple, X=#v solver. #isupper: solution. Y=#t: template if current input is template or exemplar, Y=#i: inverse exemplar. Y=(:label): label appended to last grid line. %XYh 9x9 text puzzle grid with hints (pencilmarks) and no borders, X=#b: {hint}, X=#f: framed player's forum, X=#p: programmer's forum, X=#s: simple, X=#v solver. Y=#0: only list strong edges, Y=#N: only list exact N-tuples. %N..: only list candidate(s) N. X=#e: experimental encoding. %Xi Current identification, or %f if none. #C: The -C id: similarity for -CS, distance otherwise. %XYm The position list of all backdoors (magic cells) (X=#a default), X=#A lists #a with values, X=#u lists all non-backdoor solution cells, X=#U lists #u with values. Y=#c for 'c ' on split lines. %Xn Various counts and ordinals: #a: The ordinal within all listed puzzles (-f- still counts). #A: The number of automorphisms of the input sudz grid. #B: The band index of the input sudz grid. #c: The -g puzzle index. #C: The -go puzzle partition index or -C distance/similarity. #d: The -g number of unique puzzles. #e: The -g puzzle duplication count. #i: The ordinal within the all input files. #I: The window index of the input sudz grid. #l: Input file line number of the first puzzle row. #m: The ordinal within the current -a (multiple solution count). #n: The number of backtrack search nodes. #o: The ordinal within the current %i. #p: The ordinal within the current input file. #r: The ordinal within the current -m or -go. #R: The current -m or -go base puzzle ordinal. #s: The number of searched (for solution) puzzles. #u: The number of uniqued puzzles (splay tree lookups/insertions). #v: (default) The valid puzzle count. #W: The number of grids in the input sudz window. %Xq The constraints used to solve the puzzle. X may be: #c: Constraint counts (see EXPRESSIONS below). #d: The diamond move (hardest up to first elimination). #D: The diamond move index (constraint ordinal). #h: The hardest move. #H: The hardest move index (constraint ordinal). #i: The -q index:method map. #I: The highest -q method index. #m: m: minimal, M: symmetric minimal, -: otherwise. #M: #m description. #o: The constraints and orders used to solve the puzzle. #p: The pearl move (hardest up to first placement). #P: The pearl move index (constraint ordinal). #s: Symmetry op (see -s below). #S: Symmetry description. #t: Symmetry type (see -s below). Trailing 0 values are dropped and only applied constraints are listed. The list order is %s. %Xr The puzzle rating from 1 (very easy) to 99999 (very difficult). Use -B or -S to normalize algorithm order bias. X=(E) uses the rating expression E instead of the -R option value. The 90000-99999 range is exponential. X=#r for raw (no exponential normalization), X=#s for symbolic rating, X=#. for 99999 scaled 9.9, X=#n for normalized puzzle rating from 1 (very easy) to 9 (very difficult). The usual C integer arithmetic operators, ?:, x**y (x to the y power) and x@y (x log y) are supported. %Xs Puzzle in original order with solution cells listed as [1-9]. X=#A: solution cells listed as [A-IJ-R]. %Xt Various times. X may be: #e: Total elapsed time since program start. #p: Elapsed time since the last %#pt. #s: (default) Current puzzle solution time. #t: Sum of all puzzle solution times. %XYv Puzzle in original order with solution cells listed as '.'. X and/or Y may be: #i: inverse exemplar if current input is exemplar #t: template if current input is template/exemplar #N: (N non-alpha) solution cell listed as N %Xx X=(E): the value of the expression (E). %a Deprecated: use %#an. %e Deprecated: use %#at. %j Deprecated: use %#pn. %k Deprecated: use %#in. %l Deprecated: use %#ln. %o Deprecated: use %#on. %p Deprecated: use %#pt. %t Deprecated: use %#st. %u Deprecated: use %#tt. %y Deprecated: use %#mn. %z Deprecated: use %#rn. %@ Align to characters past the previous %@, e.g., %-10@. %N/ Multi-column output with column width N. Format output after the / will be in the next column(s). %?V%?I If the puzzle is valid then output format V, otherwise format I. Empty V or I, whichever is selected, means no output. c Literal character. -FCF Set output format default C to F. The default is empty if not specified. a Output after each puzzle is processed. This format is used after all -a solutions are determined for each puzzle. b Output before each puzzle is processed. c -goc format (default '%s'). d The %%d format (default '%s'). e Value equality operator (default '%s'). f Output after all puzzles have been processed. Puzzle property counters are accumulated from all puzzles. g Value proposition (guess) operator (default '%s'). h The initial -gt grid before minimization/filtering. i Output before the first puzzle is processed. m The %%S stats format (default '%s'). n Value inequality operator (default '%s'). o The -go omitted (and possibly invalid) grid format. p Cell position (coordinate) format (default '%s'). F is a printf-style format string with the following format characters replacing the 'd' format: r row offset counting from 1 R row offset counting from 0 c column offset counting from 1 C column offset counting from 0 x column offset counting from 1 X column offset counting from 0 y (10-row) offset counting from 1 Y (9-row) offset counting from 0 %Ar%ac lists the rows as ABCDEFGHI and columns as abcdefghi. %Jr%c lists the rows as ABCDEFGHJ and columns as 123456789. %kc%r lists the rows as 123456789 and columns as abcdefghk. q The %%Q format (default '%s'). r Output as each -g solution grid is generated. s Output after each puzzle is solved. Equivalent to -fF. Also used for each -a solution (default '%s'). t The default %%T time format (default '%s'). v The < position operator value > format (default '%s'), where %p is the -Fp position, %o is the -F[egn] operator, and w Default exemplar canonicalization weights (see %%#tc, default '%s'). x -p permutation output (default '%s'). y The exemplar characters in order (default '%s'). Up to nine characters may be specified. The first seven have specific meaning for the Z method. C The default -C output format (default '%s'). -gTNA Generate puzzles of type T with optional parameters N and A. b Canonical solution grids for each band N class member. If -m is also specified then only the min and max grids for selected bands are listed. %i:band-index, %#pn:#grids, %#in:#checked, %n:total#grids, %#on:total#checked, %#ln:#3-band-prunes, %#mn:2-band-prunes. N,M lists bands in the range N through M inclusive. B Canonical band index table with leading 12345678945 omitted. d -gdC.V generates pseudo puzzles (possibly more than one solution) with C clues (default 14) using V different values (default 3). g Solution grids listed one per line (no other processing). h Hint-only (pencilmark-only) puzzles with at least N (default %d) candidates. Even N => candidates evenly distributed. H Generate using the hardest sudoku formula: at most one clue per minirow/minicol and no repeated values in bands/chutes, at most three clues per value, and minimal. N is the clue fill step (default %d) -- factors of 3 are removed. m For each puzzle list the subgrid row order minlex canonical grid (the default canonical form is based on the solution grid, subgrid canonical does not require the grid to have a solution). o +/-NX...: a sequence of -N and/or +N operands with option suffixes. -N: delete all combinations of N clues; +N: add all combinations of N clues. Puzzles are checked for single solution after each addition phase. X may be one or more of the following options. Each occurrence toggles the previous value. Values are inherited by subsequent operands in the sequence. X may be one or more of: a assume the last +M clues have already been cleared for @ c use the -Fc format with no filtering, otherwise use the default -f format, -q constraints, and -e filtering e do not check off subpuzzles for duplicates i add implicit (superfluous) candidates, otherwise skip them n show off/on ops but do not execute o list one generated puzzle per input puzzle p the input puzzle is a pattern -- only change original clues r -nX random {-N+M} operations per input puzzle @I start at clue index I counting from 1, clearing clues from from that index on @ clear the last +M clues and start at the leftmost empty cell from the cleared clues {...}xN repeats the bracketed group N times. {...}:N repeats the bracketed group 0 or more times until the number of clues is <= N. Some sequences may exhaust memory. {N}* (alternatively {N}!) repeats {-N+N} until closure (no new puzzles generated). NOTE: a recalcitrant bug sometimes omits a small number of puzzles in combined off/on sequences that would otherwise be listed if the sequence were done separately; if exact results are required (no omissions) then use separate sequences. p (default) Puzzle grids. q Run the quick verification solver on all input puzzles. The output one line containing: <#invalid> <#multi-solution> <#valid>. s Solution grids only. t Treat each input file as a template and generate -nN puzzles per template, filling only the template clues. N (default %u) limits the number of shuffles for each solution grid projected on the template. Template input may be a valid puzzle (but with multiple solutions ok) or a grid with [XxOo] marking the template clues. Some templates may not admit valid puzzles. There is no known predictor (other than maybe 17 clues). If there are no O cells then -v lists improvements towards 1 solution in 4 columns: column 1 is the random solution grid count, column 2 is the solution grid shuffle count, column 3 is the number of soultions for the grid in column 4. At 2 solutions column 3 also contains the number of unavoidable cells. If any template cell value is O and -m is specified then only O template cells will be considered for minimization. If O and clue values or candidate lists are specified then the clue values and/or candidates are fixed in generated solution grids, otherwise template clues are treated as X. If there are no more than .A (default %d) candidate then an enumerative (as opposed to random) search is used. The enumerative search tests all candidate combinations. -gtpN.R.F.S marks F%% (default %d%%) clues X cells at random, +/- S%% (default %d%%) and generates N random puzzles projected on the random template. R (default 0 -- no limit) limits the number of X assignment rounds. -gtpr ignores the enumerative checks and forces random search. -gtpri continues the search on the modified candidate grid. -gtm allows multiple solutions -- handy for generating subgrids. -gtm.0 generates all subgrids. -gtpe checks every pattern row-order minlex grid (not quite canonical so there may be some duplication); -gtpei.N retains the first N input grid clues; -gtpe.N.V sets clue N to V. x Minimal superfluous (any clue unnecessary) puzzles. P Input puzzle are treated as pattern exemplars with clue cells mapped to X and are listed. X Input puzzles are treated as exemplars and are listed. -G Ignore constraint order {...} groups and treat each constraint as if it were in its own group. Group minima/maxima and iterations -h Add hints (pencilmarks) to the -P output. -H Copy the first input file magic header, if any, to the output. -i Force the constraint propagation iteration count to increment with each constraint that produces a move rather than with each constraint group. This allows the capture of in-group pencilmarks. -jN For each -g type that operates on complete solution grids, operate on the original and N (default %u) randomly shuffled automorphic copies. N=0 repeatedly uses the first grid without shuffling. -JN Solve the original puzzle and, for N (default %u) repetitions, randomly shuffle (rows, columns, bands, stacks, values) to an automorphic copy and re-solve. Handy for verifying order -kCR Constraint propagation iteration and/or cycle trace control. R is a range of counts/lables on which the control is applied. C may be: c Add XY cycles in range R to -P output with strong edges (red), 1-weak edges (green), 0-weak edges (purple), and eliminated cell d Add -P 0-weak details (yellow). i List intermediate puzzles with propagation iteration in range R. If -v is also on then the move trace is prefixed by the constraint propagation iteration count. m Add -P backdoor (magic cell) values (purple). p Add -P cycle pairs (cyan). -KCL Constraint propagation iteration and/or cycle control. L is a list of counts/labels on which the control is applied. C may be: c Disable XYW cycles list L. i Disable constraint iterations in list L. -lX Label -P output with text X. -LN Limit P constraint propositions to candidates with degree (number of value/location choices) <= N. The default is 0 for no limit. -mCN.M.X For each puzzle, derive, by dropping clues, up to N puzzles with the minimum number of clues. If N is omitted then all minimal puzzles are derived. If -s is also specified then symmetry will be preserved and symmetric minimal will be considered minimal. If M is specified only minimal puzzles with >= M clues are derived. If X is specified only minimal puzzles with <= X clues are derived. If C is r then a typically much quicker random search (inspired by dukosu) is used to test N (default %d) random minimal puzzle candidates. If C is rc then the -Fc format is used to list the minimal puzzles; this can be a factor of 2 faster than the default that generates puzzle stats. -MC Restrict backdoor computations to the -q style constraints C (default %s). Use this to avoid bad timing behavior with some constraints. If C is - then backdoor computations are disabled. -nN Limit -g to N puzzles (default 0 -- no limit). -NN Set the next -f %a and %n to N. -oF Write output to file F. -OX Attempt to find an optimal (shortest) solution within each constraint application. This will induce sub-optimal performance but may produce more reasonable ratings when XY constraints are involved. Currently limited to the XYP constraints. -O minimizes cycle size, -OA attempts to -pP If P is p or omitted then list the value (v), row (r) and column (c) permutations that transform each input puzzle to the next input puzzle. Each odd-even pair of input puzzles must be valid and have isomorphic solutions. Permutations are displayed in cyclic notation, where each (...) defines a label map, read from left to right. (137)(25) means: 1=>3, 3=>7, 7=>1, 2=>5, 5=>2; unspecified labels map to themselves. 'v', 'r' and 'c' appear to the left of the value, row, and column label maps, respectively. 'x' denotes row-col transposition, identity v,r,c components are omitted and 'i' denotes the identity, and 'aN' denotes the number of automorphisms. If P is f then list permutations that transform the first puzzle to each subsequent puzzle. If P is l then list permutations that transform the last (previous) puzzle to the current input puzzle. Otherwise P specifies a cyclic permutation applied to each input puzzle as it is read in. -P Solve the puzzle and generate postscript output. To generate images for posting: 'convert -crop 490x490+30+20 -scale 60% t.ps t.png'. -qC Change the current constraints using C (default %s). If C does not start with - or + then the current constraints are cleared. If C is - then the input puzzles are not solved but are still listed. Initial constraints and those following + are enabled or size specific if a size is specified. Constraints following - are disabled. Constraints are applied left to right as specified. {...} groups constraints to be treated as a single constraint. : within a group commits the moves up to that point but continues with the remainder of the group. : outside of {...} disables G and causes the constraints to the left to be ignored when they fail to advance the solution. Multiple ;VARi=EXPRi may be appended; after the each -qC is applied the VARi are evaluated and assigned. This also enables multiple -qC options, each with its own VAR assignments. After all -qC are applied for the current puzzle the -e expression and -f format are are applied, where the VARi may be referenced in the expression / format. C may also be a lower case or numeric identifier that names a common set Common option constraints may be modfied by appending +constraints or -constraints to the common constraint name. -QE Valid puzzles must additionally satisfy the constraint expression E. E is an expression of ( ! && || == != ?: ) operators and -qC style constraint operands. For example, -Q'!{FN}&&{N}' specifies FN-invalid -rN Set the pseudo random number generator seed to N (default time based). The %#rX value can be used to span most pseudo-random operations across multiple sudoku(1) invocations. Does not work for -gt. -RX Set the %r rating expression to X. The default is P?(G?[r]98000+G:(10000+(P5>=1000?(P5/100)*100:P5))*10+ (B0?10000000+B0*100:0)+ ((T0||H0)?50000000+((T2+H2)+(T3+H3)*8+(T4+H4)*32)*32:0)): F+N*2+B*4+(T2+T3*4+T4*16)*8+(H2+H3*8+H4*32)*64+ (W*2+W2+W3*4+W4*16)*256+(X*2+X3+(X4+X5*2+X6*4+X7*8)*4)*128+ (Y*2+Y3+(Y4+Y5*2+Y6*4+Y7*8)*16)*128+ (K*2+K3+(K4+K5*2+K6*4+K7*8)*16)*512+ (Z*2+Z2+Z3*4+Z4*8+Z5*12+Z6*14+Z7*15+Z8*16)*512+ O*128*256+(G?(G*(15**M-M1+64)+89985):0) -sOS Generate puzzles with dihedral symmetry S (requires -g). The symmetry, names, type, (order), and descriptions are: -sA (or -sg) cycles through all symmetries for each -g solution grid. -sE selects a pseudo-random symmetry before for each -g solution grid. -sF selects a pseudo-random symmetry before the first -g solution grid. -s[248][AEF] limits the symmetries to the specified consecutive orders. -S Restart constraint propagation after the first move in each group. -tN Limit solution count to N. -TM Enable test code defined by the mask M: 0x00010 List constraint orders. 0x00020 List P constraint stats. 0x00040 Don't cache P constraint propositions. 0x00080 Don't prune P constraint pairs. 0x00100 List sizeof(Grid_t) and exit. 0x00200 Disable directional y-edges. 0x00400 Enable directional y-edge ternary collapse. 0x00800 Disable x box hinges. 0x01000 Enable -v for backdoor (magic cell) search moves. 0x02000 Enable -v for -m search moves. 0x04000 List a -P empty grid and exit. 0x08000 List postscript output labels. 0x10000 Enable backdoor trace. 0x20000 Enable mutable() canonical puzzle trace. 0x40000 Disable the (not always) quick sub-solver. -u Verify that there is exactly one puzzle solution. By default searching stops at the first solution. -U If -a is also set then the listed puzzle is the union of all solutions. -f%h lists the unavoidables as pencilmark hints. -vN Set verbose output level to N, or increment if N omitted. -V Print the program version on the standard error and exit. -wN Fold verbose output to be at most N characters wide (default 80). -W Pause before exiting. Handy for viewing windows shortcut output. -xS Puzzle data is XML tagged by S (default question). -X Limit proposition constraint moves to eliminations (ignore backdoors). -y Use the original -Y grids instead of implied solution grids. -YF Generate puzzles from the solution grids for puzzles in file F rather than random solution grids. -ZE Puzzles not solved by the -q constraints are rechecked with the -Q style constraint expression E. V(n) in each subexpression of a || list can be used to label the first subexpression from the left that solves the puzzle. The -q constraint label is 1. V(X), X not a number, within a constraint subexpression requires the constraint subexpression to solve the puzzle and the -e style expression X to evaluate non-zero, otherwise the remaining subexpressions are tried. -zX Miscellaneous options (only -I is free!). X may be: 8 Octdoku: all clues with value 9 present and not subject to minimization. b Set the process priority to "nice" ("background"). eN Exit with a diagnostic when any dictionary entry count exceeds N. There are two basic solution techniques: constraint propagation ("logic") and searching. Constraints limit candidate values for each cell. Constraint propagation iteratively applies constraints until the puzzle is solved or until no more progress is made. A constrained puzzle is solvable by constraint propagation alone (pure logic / no guessing). Searching applies candidate cell values (guesses) and checks solutions using depth first or breadth first search. The best search strategies combine constraint propagation with searching to prune the search tree. The amount of guessing is determined by the strength of the constraints and the order of guesses already applied. Some aficionados frown on solutions that require guessing, but the lines between constraint propagation, lookahead, and guessing are thin. This topic is very subjective, your mileage will vary, and you will not win a "logic" vs. "trial and error" debate. I still can't figure out out how my daughter solves so fast. This solver uses a depth first search by default. Candidate cells with the least amount of choices are checked first. The constraints are: %sThe default is %c%s. The -q option enables, disables, groups and orders constraints (%s must be explicitly disabled). The enabled constraints are called the constraint set (default %s). The THW constraints are further split by size: T2H2W2T3H3W3T4H4W4. Constraint propagation is an iterative process controlled by the -B, -G and -S options. By default {...} constraint groups are applied as a unit; when -G is on {...} are ignored and each constraint is applied separately. Constraints not enclosed in {...} are considered to be a group of size 1. Each iteration applies the constraints in order from left to right as specified by -q. The application of each constraint is done in an unspecified but exhaustive order over the entire puzzle. A constraint advances the solution when it identifies a move (one or more cell placements or candidate eliminations). An identified move may be committed (by actually making the placement(s) or elimination(s)), or it may be recorded for later committal. Within a single constraint application, cells that do not advance the solution are not re-examined, even if subsequent moves within the same constraint application would allow them to do so. This biases solutions to use constraints earlier in the order. A new iteration starts with the leftmost constraint. When a constraint identifies a move: -S The move is committed and a new iteration is started. -B The move and all other moves in the current group are identified and recorded. After all moves in the group have been recorded they are committed as a unit, and a new iteration is started. : within {...} commits any moves up to that point but continues with the remainder of the group. -- (default) The move is committed and all other moves in the current group are committed as they are identified. After all moves in the group have been committed a new iteration is started. A step is a constraint propagation iteration that advances the solution. The number of steps for -S and default solutions depends on the unspecified ordering within each constraint application; this ordering bias also allows the step counts to be different for isomorphic permutations of a given puzzle. -B step counts, by design, are the same for a given ordered constraint set over all isomorphic puzzles, so they are a suitable [...] options may appear at the start of each constraint group. Options override the -A, -B, -O and -S command line options. The options are: A Enable -A for the group -- -A is diabled if A omitted. B Enable -B for the group -- -B is diabled if B omitted. O Enable -O for the group -- -O is diabled if O omitted. S Enable -S for the group -- -S is diabled if S omitted. * The group may supply any number of moves each application (default). ? The group must supply zero or one move each application. + The group must supply one or more moves each application. n The group must supply exactly n moves each application. n:m The group must supply between n and m moves inclusive each application. If m is * the at least n moves must be supplied. If F is disabled then the solution may advance to a position where only F constraints remain; these are attributed to most recent constraint applied. -d (default) depth first search with guesses biased to cells with the least number of candidates after constraint propagation. X and Y are compute intensive but produce aesthetic solutions. -qFNB typically solves the fastest (with backtracking). If G is enabled then it is not applied until all other Cycles are composed of edges between cells with the same candidate value within a single row/col/box or segments between exact pairs with the candidate value in both endpoints. The vertices of a strong edge are the only cells with the candidate value within the row/col/box containing the The generator generates random solution grids, and then places clues at random from the solution grid into an empty puzzle grid, honoring -sS if specified, and with -m generates the derived minimal puzzles for each random puzzle. A minimal puzzle has a minimal number of clues, i.e., removing any clue produces a puzzle with multiple solutions. There is no duplicate checking; process generator output using -f%c as a duplicate/sort key. A backdoor or magic cell set is the smallest set of moves that lead to a constrained solution. A puzzle with backdoor size N (magic cell set size N) for constraint set C is C-N-constrained. The conjecture that all puzzles are FN-0, FN-1 or FN-2-constrained is false: a puzzle discovered by JPF has 566 FN backdoors of size 3 (3 FNBT2 backdoors of size 2). A %#nr rating in [A-F] indicates a backdoor size of 3, 4 etc. Using -q may result in different backdoors than the default. For this reason always qualify "backdoor" Expressions are C language style signed long expressions on constraint counters. A constraint counter is named by the constraint identifier and one optional digit. The counters for constraint c: c The number of constraint applications. c1 The number of constraint placements. Grouped modifications to a cell candidate list count as one placement. cn Structure order 2<=n<=%d count (e.g., pair, triple, x-wing, swordfish). c5..c%d are 0 for most constraints. with the following (long name) exceptions and pseudo constraints: X2 Maximum X cycle size. Xn X cycle sizes by range. X3:<%d, X3:<%d, X5:<%d, ... X%d:>=%d. Y2 Maximum Y cycle size. Yn Y cycle sizes by range. Y3:<%d, Y3:<%d, Y5:<%d, ... Y%d:>=%d. bn The number of batches for hn. hn The ordinal of the rightmost constraint applied in group n. in The number of instances for hn. and the following functions: (%F) converts the output of the %F format string to a number and $V converts the value of the environment variable to a number. Puzzle input is a sequence of numbers and spaces that fill the grid from left to right, top to bottom. Space, comma, |, and - if + or | appear, are ignored, and all other non-digit (1 through 9) characters correspond to an empty grid space. Most pencilmark grid forms are accepted. Multiple descriptions may be placed in one file. A description ends after 81 cells have been specified. If the first character in a line is a non-digit the line is ignored. A description command line argument (file or actual data) may be immediately followed by one or more command line argument operations of the form [r,c]... that modify candidate values, where is a single digit cell value or a {...} list of candidate values, and is = to set V, ^ to clear V. '#' starts a comment until end of line. "IDENT" sets a puzzle identification string for %i. If there is no "IDENT" then the last comment for the current puzzle is used for %i. A comment on the same line following the last puzzle cell is associated with that puzzle. Subsequent comments are associated with subsequent puzzles. For example, one generated by -g -m -sp -q-YG -r12 -n1 -e 'V&&X' -f'"gmr11n1spq-YG"\n%#gg': The first input line in each file may be #!sudoku followed by options that override command line -c, -l and -x options for the duration of the file. The previous options are restored after the file is read. For example: #!sudoku -c5,sym,num,clues,min,puz,author,seq The input line #!exemplar identifies the remaining input puzzles as fish pattern exemplars. Exemplars may be listed with the %g format and subgrid canonicalized with the %#tv, %#tc and %#Tc formats. The exemplar cell %c empty cell: a cell that may not have a candidate %c base candidate: which may be missing %c (exo-)fin cell: a base candidate not covered by any cover sector %c endo-fin cell: a candidate in the intersection of two base sectors %c potential exclusion if all fin cells are false %c potential exclusion whether or not a fin cell is true %c potential exclusion of base candidate covered by two cover sectors The octal 3 band bitmask form {O,O,O} (listed by -v2) is also recognized. #!template may be used to mark -gt template data when -gt is not specified. A solution is an 81 character string of [1-9A-IJ-R], [1-9] for clue cell values, [A-I] for solution cell values, A for 1, B for 2, and so on, and [J-R] for the backdoors, J for 1, K for 2, and so on. The solution fills the grid from left to right, top to bottom. The default output format for each input puzzle is '%s' (see -f above). The output for the example above is the single line (folded for display): .6.81.72.824..6........53...1....8...8.....1... 9....4...21........6..235.98.42.6. # 277 FNTX C28.M/S2.p The canonical solution is a puzzle solution transformed to have the smallest row order lexicographic value. The canonical solution induces an equivalence relation on the set of all solutions. The canonical puzzle retains the labeling of the canonical solution and induces an equivalence relation on the puzzle within the solution. If a canonical solution has non-trivial automorphisms then the canonical puzzle uses the canonical solution automorphism with the smallest row order lexicographic value (with empty cells treated as 0). There may be other canonical forms. This one has an efficient algorithm that takes advantage of the group symmetries of sudoku The sudz format efficiently compresses catalogs of row order minlex canonical solution grids. Grids are organized by the top band (top 3 rows). There are 416 essentially different minlex bands and 5472730538 essentially different grids. A byproduct of minlex ordering is that earlier bands tend to account for more grids than later bands. For example, band 001 contains 1007170 grids, band 006 (the largest) contains 96229042 grids, and bands 395,397,398,400,402,403,404,406, 408,409,410,412,413,414,415 contain no grids. The sudz format is a sequence of windows. Each window contains the number of grids and initial band index. Each grid has the band index (if different from the previous grid), the number of automorphisms (if > 1), the number of cells that differ from the previous grid, and the list of differing cell values encoded using a basic singles constraint solver. The windows are compressed using the Burrows-Wheeler bzip library. The entire catalog of 5472730538 essentially different grids, in minlex order, compresses to 5.70GiB, an average 8.96 bits/grid. Uncompress rate is ~100K grids/sec/Ghz, or ~5 hours minimum to stream through the entire catalog on a 2.8Ghz processor. The solution rate for the best on average options -qFN on a collection of posted and generated puzzles is ~1000 puzzles/second/Ghz, the -gg full grid (81 clues) generation rate is ~5000 puzzles/second/Ghz, and the -g -m1 -qFN generation rate is ~75 puzzles/second/Ghz. sudocoup(1), coded for speed, solves ~7000 puzzles/second/Ghz. sudocoo(1), coded for simplicity, is in between and is more sensitive to input grid variations. Note: % must be entered as %% in windows .bat files and shortcut commands. Generate 100 minimal symmetric puzzles limited to pairs and x-wings in g.dat: sudoku -g -sg -m -q+T2H2W2-XYG -e "valid&&minimal==1" -n100 -f%v -o g.dat Reformat and collate for player's forum inferior low/high steppers: sudoku -f"%#tq,%(steps)x,%(clues)x,%(minimal)[-][M][SM]x,%#0v,gsf,%n" \ -q{FN}-G -B *.dat | sort -t, -k1,1 -k2,3n -k4,4r Generate and search for player's forum ulterior low/high steppers: -e"V&&(I<4||I>20)" -g -q{B2:N}-G -Q!{FN} -AB -m -sg Count isomorphic puzzles and list each non-trivial representative: sudoku -f"%C %c %4n %#0v" *.dat | sort -k1,1 | uniq -c -s82 -w82 | grep -v "^ *1 " Count isomorphic solutions and list each non-trivial representative: sort -k1,1 | uniq -c -w82 | grep -v "^ *1 " Solve and categorize a collection of puzzles: sudoku -F"# %t seconds" -f"%v # %7n %10t %Q" puzzles.dat > puzzles.out Label and trace constraint interations: sudoku -ki -v2 puzzle.dat | less Capture the pencilmark grid after constraint iteration N: sudoku -kiN -f%#ph puzzle.dat Havard's "Making 17's from JPF's 19" sequence: sudoku -go"{-1+1}x3{-2+1}{-2+2}{1+1}x9" jpf-19.dat Generate 10 non-equivalent mimimal symmetric puzzles, each solved by a different set of constraints, with the same solution grid as the sudoku -gp -Ys.dat -j0 -n10 -m -sg -e 'minimal==1&&uniq()&&uniq(%q)' Filter weak and strong pearls: sudoku -S -qss+G -e '(%#Pq)>2' Generate and compress the band 299 grids (133302) into 299.sudz: sudoku -gb299 -f '%#ec' -o 299.sudz Count the number of grid (97) with non-trivial automorphisms in 299.sudz: sudoku -e '(%#An)>1' -f- -Ff'%#an/%n' 299.sudz This is a puzzle and algorithm analysis program. Look elsewhere for interactive gaming and GUIs. Its easier to solve than to generate, and easier to generate than to rate, and much easier to code than to document. sudocoup(1), sudocoo(1), pseudocoup(1) Subgrid (multiple solution) row order minlex canonicalizer by Michael Deverin. Qb BRnet constraint method by Ed Russell. version sudoku (AT&T Research) 2009-07-17 author Glenn Fowler copyright Copyright (c) 2005-2009 AT&T Intellectual Property license http://www.opensource.org/licenses/cpl1.0.txt %s: %s:%lu: invalid exemplar mask "%s" %s: invalid exemplar mask "%s" %s: %s:%lu: exemplar mask {...} imbalance %s: exemplar mask {...} imbalance %s: %s:%lu: invalid cell %s=%c %s: incomplete puzzle operand %s: %s:%llu: invalid move %s %s %c %s %s: panic: brnet_grl_index called with ii >= jj %s: panic: brnet_grl called with ii == jj %s: %s: %d: index must be in range 0..9 %s fish %c %d.%d {%010o,%010o,%010o} gff->sdgrid = 0%09o, 0%09o, 0%09o buns[%d]= 0%09o, 0%09o, 0%09o cuns[%d]= 0%09o, 0%09o, 0%09o fingrp = 0%09o, 0%09o, 0%09o leftovers3 = 0%09o, 0%09o, 0%09o leftovers2 = 0%09o, 0%09o, 0%09o %s fish %c %d.%d {%010o,%010o,%010o} %d %s: too many tuples -- %d slots max %s: limit exceeded at %lu dictionary entries %s: out of space at %lu dictionary entries %s: too many )'s in constraint order %s: (%-*.*s): constraint method expected for parameter data %s: (%-*.*s): constraint parameter data too big -- %d max %s: (%-*.*s): constraint parameter value already specified %s: %-*.*s: invalid constraint options %s: constraint order {...} nesting too deep -- %d max %s: too many }'s in constraint order %s: %c: unknown constraint method %s: %c%c: unknown sub-constraint %s: %c%d: constraint size parameter invalid %s: %c%d: constraint size parameter must be in range %d..%d %s: missing } in constraint order %s: missing ) in constraint order %s: -C: %s: [flpDS] option flag(s) expected %s: -F: format argument expected %s: too many -g%c args -- %d max %s: %s: invalid option argument %s: -gb%d-%d: maximum band index is %u GEN [%d] %2d %2d %2ld%s%s%s%s%s%s%s%s%s%s%s %s: -g: [bBcghHmopstxX][options][+|-][number]... argument expected %s: -k: [cdimp]min..max{..} argument expected %s: -K: [ci]n1,n2,... argument expected %s: %s: cannot open for writing %s: %s: input permutation already specified %s: %s: unknown common option %s: %s: common option too large -- %d max %s: %s: invalid symmetry transform -- combinations of { f r p h v d a } expected %s: -%c: option argument expected %%!PS %%%% generated by %s%%%% share puzzles and insights /grid { 0 setlinewidth 60 294 moveto 8 { 486 0 rlineto -486 54 rmoveto } repeat 114 240 moveto 8 { 0 486 rlineto 54 -486 rmoveto } repeat stroke 2 setlinewidth 60 402 moveto 2 { 486 0 rlineto -486 162 rmoveto } repeat 222 240 moveto 2 { 0 486 rlineto 162 -486 rmoveto } repeat stroke 4 setlinewidth 60 240 moveto 486 0 rlineto 0 486 rlineto -486 0 rlineto closepath stroke } def /clue { /v exch def /c exch def /r exch def c 54 mul 60 add 36 sub 10 r sub 54 mul 240 add 40 sub moveto (0123456789) v 1 getinterval show } def /hint { /v exch def /c exch def /r exch def c 54 mul 60 add 36 sub 10 r sub 54 mul 240 add 40 sub moveto v { gsave 0.6 setgray 0.35 0.35 scale 18 20 rmoveto dup dup [ 0 -40 0 40 -40 0 40 -40 0 40 ] exch get exch [ 0 40 40 40 0 0 0 -40 -40 -40 ] exch get rmoveto (0123456789) exch 1 getinterval show grestore } forall } def /candidate { /v exch def /c exch def /r exch def c 54 mul 60 add 36 sub 10 r sub 54 mul 240 add 40 sub moveto v { gsave 0.35 0.35 scale 28 32 rmoveto dup dup [ 0 -40 0 40 -40 0 40 -40 0 40 ] exch get exch [ 0 40 40 40 0 0 0 -40 -40 -40 ] exch get rmoveto currentpoint /ac exch def /ar exch def 20 0 rmoveto ar ac 20 0 360 arc stroke grestore } forall } def /node { gsave currentpoint 2 0 360 arc stroke grestore } def /line { /bc exch def /br exch def /ac exch def /ar exch def 4 setlinewidth ac 54 mul 60 add 26 sub 10 ar sub 54 mul 240 add 28 sub moveto node bc 54 mul 60 add 26 sub 10 br sub 54 mul 240 add 28 sub lineto node stroke } def /coincident { /bc exch def /br exch def /ac exch def /ar exch def 4 setlinewidth ac 54 mul 60 add 26 sub 10 ar sub 54 mul 240 add 28 sub moveto node currentpoint ac bc eq { /xr -28 def } { ac bc lt { /xr 0 def } { /xr -56 def } ifelse } ifelse ar br eq { /xc -28 def } { ar br lt { /xc 0 def } { /xc -56 def } ifelse } ifelse bc ac add 2 div 54 mul 60 add xc add 10 br ar add 2 div sub 54 mul 240 add xr add bc 54 mul 60 add 26 sub 10 br sub 54 mul 240 add 28 sub curveto node stroke } def /C 4 def /D 5 def /edge { dup /c exch def c C eq { pop } if /t exch def gsave t 3 eq { 0.9 0.0 0.0 setrgbcolor } { t 1 eq { 0.0 0.9 0.0 setrgbcolor } { t 2 eq { 0.0 0.0 0.9 setrgbcolor } { 0.9 0.9 0.0 setrgbcolor } ifelse } ifelse } ifelse c C eq { coincident } { line } ifelse grestore } def /mark { gsave /c exch def /r exch def c 54 mul 60 add 36 sub 10 r sub 54 mul 240 add 40 sub moveto -14 -10 rmoveto 2 setlinewidth 0 46 rlineto 46 0 rlineto 0 -46 rlineto closepath stroke grestore } def /clear { gsave /v exch def /c exch def /r exch def 0.3 0.1 0.9 setrgbcolor r c mark r c v candidate grestore } def /magic { gsave /v exch def /c exch def /r exch def 0.57 0.44 0.86 setrgbcolor r c v candidate grestore } def /pair { gsave 0 0.9 0.9 setrgbcolor mark grestore } def /solution { 342 -80 translate 0.37 0.37 scale grid } def /AvantGarde-Demi findfont 36 scalefont setfont newpath %% puzzle data/label { /v exch def /c exch def /r exch def v 10 lt { c 54 mul 60 add 36 sub 10 r sub 54 mul 240 add 40 sub moveto gsave 0.7 0.7 scale (0123456789) v 1 getinterval show grestore } { c 54 mul 60 add 43 sub 10 r sub 54 mul 240 add 36 sub moveto gsave 0.7 0.7 scale (00010203040506070809101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899) v 2 mul 2 getinterval show grestore } ifelse } def60 20 moveto gsave 0.5 0.5 scale%03d%c%03d%c%03d%c%03d%c%03d%c%03d%s: sudz SUDZ_WRITE open failure %s: %%%c is deprecated -- use %%#%s %s: out of space [propositions] %s propositions %6d solutions %3d contradictions %3d iterations %6d girth %3d degree %3d nesting %d (%u/%u) %s %c-cycle %2d %c %2d%c %s panic: more than %d exact ps.pairs %s %c-pair %c 2 3 %s%s %d %d %d %d 3 ps.edge %%%% %c %s %c-hinge %c %d %s-%s check backdoor size %d using %s %s: too many backdoors of size %d -- only %d recorded %s: exemplars %llu and %llu are not isomorphic %s: puzzle %llu and %llu solutions are not isomorphic %s transport %s %s : best : %d elimination%s %s %c-knot %3d %c %2d%c %s#%s %s %c-edge %c %2d %s=%s %s %c-edge %c %2d %s>%s %#nr/%02(C)x/%02(K)x/%04(I)x/%(M)x P?(G?[r]98000+G:(10000+(P5>=1000?(P5/100)*100:P5))*10+ (B0?10000000+B0*100:0)+ ((T0||H0)?50000000+((T2+H2)+(T3+H3)*8+(T4+H4)*32)*32:0)): F+N*2+B*4+(T2+T3*4+T4*16)*8+(H2+H3*8+H4*32)*64+ (W*2+W2+W3*4+W4*16)*256+(X*2+X3+(X4+X5*2+X6*4+X7*8)*4)*128+ (Y*2+Y3+(Y4+Y5*2+Y6*4+Y7*8)*16)*128+ (K*2+K3+(K4+K5*2+K6*4+K7*8)*16)*512+ (Z*2+Z2+Z3*4+Z4*8+Z5*12+Z6*14+Z7*15+Z8*16)*512+ O*128*256+(G?(G*(15**M-M1+64)+89985):0)%s: %s input must be seekable template %d cell%s %d candidate%s => %s pattern %d cell%s fill=%d slop=%d keep=%d offon %ld/%d %3d %2d %2ld %s%s%s%s%s%s%s%s invalid function call argumentwrong number of actual argumentsForced cell (naked single or T1): only one value possible.Only cell (hidden single or H1): only one value in row/col/box.Box claim: (2:boxline) candidates in box confined to one row/col. (3:linebox) candidates in row/col confined to one box.(naked) tuple: order <= n (4) n exact n-tuples in row/col/box.(hidden) tuple: order <= n (4) n hidden n-tuples in row/col/box.Row/col claim: order <= n (4) pure x-wing/swordfish/jellyfish.Singleton cycle: strong and 1-weak edges. Requires B, included in Y.Degree-2 cycle: strong, 1-weak and 0-weak (degree-2) edges. Includes X. NOTE: y-edge (0-weak) path details are currently disabled pending enhancement of the 2007-05-01 Y algorithm.Degree-2 singles knots (bivalue/location contradiction chains).Overlay: single digit 9-cell rookery templates (that WXY miss).Ronk's general fish finder. n is the max fish size, 2 <= n <= 8. .m is the max number of fins, 1 <= m <= 3. Fish sizes in the range 2..n are searched. .m always denotes a fin count range from 0..m. n.m.1 limits the size search to n.Constrained proposition net P(C) -- constraints C applied to candidate propositions. n is the girth (constraint iteration) limit. The default is 0 for no limit. .m is the candidate degree (value/location) limit; propositions are only made on cells/values with degree <= m, in order from least to most. The default is 0 for no limit. Degree 1 limits propositions to bivalue cells only. The basic constraints are used if (C) is omitted. If singleton propositions fail to advance the solution then: if P* or P..2 is specified then nested (paired) propositions are applied, otherwise if G is enabled then normal backtrack logic is used. -B is enabled and -S is disabled for this constraint. With -O the minimum girth/degree that advances the solution is used, and all propositions for that girth/degree are attempted and counted. Without -O the minimum degree that advances the solution is used. Related to error nets, 3D-medusa, T&E.Experimental constraints QX. Q prefix optional. Q stats account for all Q constraints applied. X may be: b: Red Ed's BR net which propagates 16 vertex-vertex boolean relationships derived from strong (3) and weak (1,2) edges by applying a triangle relationship on groups of the vertices. Q2 is the number of sweeps, Q3 is the number of triangle state changes. A sweep searches for triangle state changes. Sweeps are repeated until there are no more state changes. t(C): Michael McWilliams' red/green transport: select a degree 2 tuple and determine the common eliminations when one end and then the other is assigned, using constraints C to propagate (transport) the initial assignments. The quick constraints (FN) are used if (C) is omitted. Related to the P constraint. t1: test only bivalue cells, t2: test only bilocation cells. Fails on puzzles matching -e 'P&&(P8!=1||P7!=2||V!=2)'.Guess: backtrack search guess (T&E).Solving subexpression V(n) value or V(X) validation expression.Sudoku Player's Forum hardest puzzle options. Ratings are exponentially normalized to the range 95000..99999 (fixed upper limit). Fairly consistent across puzzle permutations, but may take few minutes on some puzzles.-q-G -BOX -MFN -Z'{FN}P*V(2)||{FN}BP*V(3)||{FN}B{T2H2}P*V(4)'Obsolete Sudoku Player's Forum hardest options.-q-G -B -Z'FNP(FN)V(P<=9)V(2)||-XY+P(FN)V(P<=9)V(3)|| FNP(FNB)V(P<=9)V(4)||FNP(FNBT2H2)V(5)|| FNP(FNBTHW)V(6)||FNP(FNBTHWX)V(7)|| FNP(FNBTHWXY)V(8)||FNP(FNBTHWXYO)V(9)|| FNP.3G||FNP.9G||FNBTHWXYP.9G'Sudoku Player's Forum inferior puzzle options.Sudoku Player's Forum hardest puzzle Q1 rating options. Ratings are steps+iterations plus a weight for propositions requiring B constraints. Values fall in the range 1 .. 99999. Much faster than -qhardest, and may be of similar quality.-q'{FN}-G' -Z'{FN}P*V(2)||{FN}BP*V(3)' -B -MFN -R'steps+iterations+B*1000'Sudoku Player's Forum hardest puzzle Q2 rating options. Similar to Q1 but averages the worst case work of a candidate degree ordered backtrack solver. Values fall in the range 1 .. 99999.-q'{FN}BP*-G' -B -MFN -RP?P9:I0A close approximation to the Simple Sudoku constraint order. Differences will surface between SS coloring and X/Y cycles. With guessing off (-G) some valid puzzles will have no solution.Sudoku Player's Forum superior-plus puzzle options.-q{[B]T1H1BT2H2W2T3H3}{[B+]W3T4H4W4}-G -eVSudoku Player's Forum superior-2 puzzle options.-q'{[B+]T1H1}{[B1]BT2H2W2T3H3}-G' -e'V&&S&&(W2||T3||H3)'Sudoku Player's Forum ulterior puzzle options.Candidates in box confined to one row/col.Candidates in row/col confined to one box.1: minimal (irreducable), 2: symmetric minimal, 0: otherwise.The number of forced moves inherited by the last constraint.The number of initial (pencilmark) candidates.Begin game singles placements.Begin game basic constraint placements.End game basic constraint placements.The number of backtrack guesses.Backtrack depth, 0 for no backtracking.The number of constraint propagation iterations.The number of steps for constraint group 1<=n<=8.The backdoor (magic cell set) size.The number of backdoors (magic cell sets).The estimated number of guesses before a backdoor hit.The number of proposition net propositions.The number of proposition net solutions.The number of proposition net contradictions.The number of proposition net iterations.Minimum maximum proposition net iteration.Minimum maximum proposition candidate degree.2 for nested propositions, 1 for single propositions.The average amount of successful proposition iterations.The rating from 1 (very easy) to 99999 (very difficult).The dihedral symmetry order, 0 if not symmetric.The dihedral symmetry operation.0 for invalid, the constraint index or 1 otherwise.full rotational (90 180 270 degrees)exrate([SAMPLE]): suexrate style rating that is the average number of nodes for a depth-first singles only backtrack solver over SAMPLE (default 100) pseudo random permutations of the current puzzle. Suexrate counts Knuth DLX nodes. sudoku(1) is not DLX based and requires on average 9X less nodes per solution; the sudoku(1) node counts are multiplied by 9 to approximate suexrat(1).Compute the number of candidate cell values determined by eliminating candidates that cause any constraint to fail. '%(determined())g' lists the grid with determined cells included.Determine the cell values implied by the constraints in scope. '%(implicit())g' lists the grid of implicit cells.max([index,]expression): return 1 if expression is greater than the maximum value [for index 1..9], 0 otherwise. For the final -Ff format max([index]) returns the max value.min([index,]expression): return 1 if expression is less than the minimum value [for index 1..9], 0 otherwise. For the final -Ff format min([index]) returns the min value.Determine the clues that have more than one value that results in one solution. The format '%(mutable())h' lists the mutable clue candidate values. The operands are: () Number of mutable clues. (max) Maximum number of mutable values for one clue. (maxuni) Maximum number of unique puzzles for one clue. (pos) Mutable clue positions. (sig) Number of mutable candidates by clue, high to low. (siguni) Number of unique puzzles by clue, high to low. (tot) Total number of mutable candidate values. (totuni) Number of unique puzzles induced by mutable clues.Determine the non-mutable clues and count the number of solutions when each clue is omitted. The format '%(required())h' lists number of solutions when each clue is omitted, 0 for non-clue cells. The operands are: () Number of required clues. (max) Maximum number of solutions. (maxpos) Cell position with the maximum solutions. (min) Minimum number of solutions. (minpos) Cell position with the minimum solutions. (sig) Number of solutions, high to low. (tot) Total number of solutions.Determine the clues that result in one solution when omitted. The format '%(superfluous())g' lists the grid of superfluous clues. The operands are: () Number of superfluous clues. (pos) Superfluous clue positions.The highest dihedral symmetry order for the current puzzle.uniq() returns 1 if the current puzzle is different up to isomorphism from the previously listed puzzles. uniq(format) returns 1 if the -f format result is different from previous format results. Too many different puzzles/formats may may exhaust memory.sudz: write error wbwosudz: encode error rbsudz: read error sudz: decode error sudz: grid %ll u: %03d: invalid band sudz: grid %ll u: unknown attribute sudz: magic error -- expected '%-*.*s' #!sudz 67891237891234566789123789123465678912378912356467891237891324656789123789132546678912378913256467891237892315646789123789231645678912379813246567891237981325466789123798132564678912379821356467891237982136546789123798231564678912379823164567891238972315646789123897231645678913278912354667891327891325466789132789132564678913278921345667891327892136456789132789213654678913278923154667891327892315646789132879231564678923178912364567892317891325466789231789231564678923178931245667892317982136457189236689237145718923668923715471892366892374157189236689237451718923668923751471892366892375417189236689273145718923668927315471892366892734157189236689273451718923668927351471892366892735417189236689327145718923668932715471892366893274157189236689327451718923668932751471892366893275417189236689372145718923668937215471892366893724157189236689372451718923668937251471892366893725417189236689723145718923668972315471892366897234157189236689723514718923668972354171892366897321457189236689732154718923668973241571892366897325147189236689732541718923669823714571892366982371547189236698237415718923669823751471892366982375417189236698273145718923669827315471892366982734157189236698273514718923669827354171892366983271457189236698327154718923669832741571892366983275417189236698372145718923669837215471892366983724157189236698372514718923669837254171892366987231457189236698723154718923669872341571892366987235147189236698732145718923669873215471892366987324157189236698732514718923686923714571892368692375147189236869273145718923686927315471892368692734157189236869273514718923686932715471892368693274157189236869327514718923686937214571892368693721547189236869372415718923686937251471892368697231457189236869723154718923686972351471892368697321457189236869732154718923689623714571892368962371547189236896237514718923689627314571892368962731547189236896273514718923689632714571892368963271547189236896327514718923689637214571892368963721547189236896372514718923689672315471892368967235147189236896732154718923689673251471892369682371547189236968237514718923696827351471892369683271547189236968327514718923696837215471892369683725147189236968723154718923696873215471892369862371547189236986273154718923698632715471892369863721547189263689237145718926368923741571892636892374517189263689237514718926368927315471892636892734157189263689273451718926368927351471892636892735417189263689327154718926368932741571892636893275147189263689327541718926368937214571892636893721547189263689372415718926368937245171892636893725147189263689723145718926368972315471892636897234517189263689732145718926368973215471892636897324157189263689732451718926368973251471892636897325417189263698237154718926369823741571892636982374517189263698237514718926369827314571892636982734157189263698273451718926369827351471892636983271457189263698327154718926369832741571892636983274517189263698327514718926369837215471892636983724157189263698372514718926369837254171892636987321457189263698732154718926369873245171892638692371547189263869237415718926386923751471892638692734517189263869327415718926386932745171892638693275147189263869372145718926386937215471892638693725147189263896237145718926389623715471892638962374517189263896327145718926389632715471892638963274157189263896327451718926389632751471892638963275417189263896372145718926389637215471892638963724517189263968327145718926396832715471892639683274157189263968327514718926396832754171892639683721457189263986327145718926398632715471892639863274517189326689237451718932668923751471893266892375417189326689273145718932668927345171893266892735417189326689327154718932668932745171893266893275417189326689372415718932668937254171893266897231457189326689723415718932668973214571893266897324157189326689732514718932668973254171893266982371457189326698237541718932669827351471893266982735417189326698732415718932686937251471896236892371457189623689237154718962368927314571896236892731547189623689273541718962368932714571896236893271547189623689372145718962368937215471896236893725147189623689723145718962368972315471896236897234157189623689723451718962368972351471896236897235417189623689732145718962368973215471896236897324157189623689732451718962368973251471896236897325417189623698237145718962369823715471896236982375417189623698273145718962369827315471896236983271457189623698327154718962369832751471896236983721457189623698372154718962369873214571896236987321547189623698732415718962369873251471896236987325417189623869237145718962386927314571896238692731547189623869273451718962386932715471896238693721457189623869372154718962389623714571896238962371547189623896237415718962389623745171896238962375147189623896237541718962389632714571896238963271547189623896327415718962389632745171896238963275147189623896372145718962389637215471896238963724517189623968327145718962396832715471896239683274157189623968372145718962396837215471896239863271457189623986327154718962398632741571896239863274517189623986327514718962398632754171896326892371457189632689273145718963268927315471896326892735147189632689327154718963268937214571896326893721547189632689723145718963268972351471896326897321457189632689732154718963268973251471896326897325417189632698237145718963269823715471896326982375147189632698273145718963269832714571896326983271547189632698327541718963269837215471896326987321457189632698732514718963286927314571896328693721457189632896237145718963289623741571896328963271457189632896327154718963289632745171896328963275417189632896372145718963289637215471896328963724517189632968327145718963296832715471896329683274517189632986327145728916368917345272891636897132547289163698137425728916369813752472891636983172547289163698317524728916369871325472891638697132457289163869731245728916386973152472891638963172457289163896731524728961368917324572896136897132457289613689713254728961369813725472896136983172457289613698317254728961369871324572896138697132457289613869731245728961386973125472896138961372457289613896137254728961389631724572896138963174257289613896731245728961389673125472896139681372457289613968137254728961396873124572896139861372457289631689173245728963168971325472896316983172547289631869713245728963186971325472896318697312457289631869731254728963189613724572896318961372547289631896137425728963189631724572896318963172547289631896731245728963196813725472896319687312457289631968731254728963198613724572896319861372547389612896127345738961289612735473896128961723457389612896172354738961289621734573896128962173547389612896271345738961289627135473896128967123547389612896721354738961298617235473896129862173547389621896127345738962189621735473896219861273547893612896127345789361289612735478936128962173547893612986217354123478456129789563123479456128789365123479456128789635123479456128789653123479456182789653123489456127789356123489456127789365123489456127789563123489456127789635123489456127789653123489456723789156123489456723789165123569456178789234123569456178789432123578456129789364123579456128789346123579456128789364123579456128789463123579456128789643123579456182789436123579456183789246123589456127789346123589456127789364123589456127789436123589456127789463123589456127789634123678456129789345123678456129789354123678456129789435123678456129789534123678456129789543123679456128789345123679456128789354123679456128789435123679456128789453123679456128789534123689456127789345123689456127789354123789456123789456123789456123789465123789456123789564123789456132789546123789456231789645;h" H8h 8X/p|e0P!C$A&((( (8)P)xw+,,,[,, , 4X 5x 6 7 (8 9< @8 .AP E I K yN =P jaX "b c f ~k l( nX `u |  8 ;X 2 e X(@l`RP6:"@[0ahUbjHFpo(0,h-?6HO(S`\j||7@he>Q\0Hhqʲ!>@x] &XoH"N 8/ps&&O'1 7X7p7y88R@H0QhX]Y}YYZ] aXepfhiy(y@zRx @T4$@4L?@K BBB B(A0A8G!@AA"@y$#@BBA A( $@;$@ %@D,%@D&@j\y&@t@'@ BAA J(@M(@x,)@WBBB B(A0A8,f*@~BBB B(A0A8$,@_Dp,<C-@BBB A(A0l0@AAG,Q2@BBB B(A0A8,76@tBBB B(A0A88@bP :@YBAA ,=@D=@\=@?At]=@%$=@BBA A(/>@AA$?@BBA A(|@@D@@/,@@-DD@@4A4\$A@BBB B(A0A8D@3I@X`I@wDgK@ AK@ bP4L@BBB B(A0A8G4<P@BBB B(A0A8GtKU@KD4U@BBB B(A0A8DZ@%D$?^@BBA A(D04_@BBB B(A0A8D`<b@AD04\d@-BBB B(A0A8G,u@BBB A(A0v@AAD, x@BBB B(A0A84 {@BBB B(A0A8GL@cA,dI@,BBB A(A04u@SBBB B(A0A8Dp4ȉ@TBBB B(A0A8Dp4@<BBB B(A0A8D<X@+DT@BAA t@S ,@ZBBB A(A0D@@3D@9G4@QBBB B(A0A8D@4, W@iBBB B(A0A8Gd AA| _ AuS  A]04 }ABBB B(A0A8D 1ABAA  AS 4 mAS 4T ABBB B(A0A8D4 A4BBB B(A0A8G 4 KABBB B(A0A8G4 >OALBBB B(A0A8D`44 TABBB B(A0A8G4l pABBB B(A0A8DP uAS`$ vAI)e$ A[BAA G4 aAqBBB B(A0A8G4L ҦABBB B(A0A8D$ A'BAA DP4 A)xBBB B(A0A8G  %B"D4 %BBBB B(A0A8G44 -BBBB B(A0A8G4l =BFBBB B(A0A8G HAB(D4 pAB7 BBB B(A0A8G 4 JB[BBB B(A0A8G 4,]BBBB B(A0A8G4dcBBBB B(A0A8D4hBBBB B(A0A8G4qB[BBB B(A0A8G 4 [BBBB B(A0A8G4DBBBB B(A0A8G$|B{BBA A(D@4BBBB B(A0A8GͦBAAD 4B BBB B(A0A8G44B BBB B(A0A8D4lĺBBBB B(A0A8G4B)BBB B(A0A8GBYN 2B+D4 ]B,BBB B(A0A8G4DBBBB B(A0A8G4|BZBBB B(A0A8G4BBBB B(A0A8DP4BBBB B(A0A8D4$eBBBB B(A0A8G4\'BgBBB B(A0A8G4BIBBB B(A0A8GB[4BBBB B(A0A8G $$WBBBA A(D04L&BBBB B(A0A8G4CBBB B(A0A8G,C,BBB A(A0G 4CBBB B(A0A8G4$~ C BBB B(A0A8G\1CA4tBCU BBB B(A0A8G 4%CDBBB B(A0A8G :CAAD f;CQN4$;C\ BBB B(A0A8G4\FCBBB B(A0A8GKCDLCCDQLC[LCjD4KMCoBBB B(A0A8G44TCBBB B(A0A8G 4l\C BBB B(A0A8D4?fCBBB B(A0A8G@mCmC D mC@A$%nCAAD D5oCA4\rCJBBB B(A0A8G4\vCBBB B(A0A8GyCS $zCBBA A(D04}CwBBB B(A0A8GzRx \$4\JQQ@k  @ (Co@@@@ 0 AeH @ @` oo @oo@ @(@e@@@&@6@F@V@f@v@@@@@@@@@@@&@6@F@V@f@v@@@@@@@@@@@&@6@F@V@f@v@@@@@@@@ .AQaBRbCSc @  @  @  @  @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @ @                                               !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOP $-6?H %.7@I &/8AJ '09BK (1:CL )2;DM!*3GP  $%&-./ '()012!"#*+,345678?@AHIJ9:;BCDKLM<=>EFGNOP  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOP   !"#'()*+,$%&012345-./9:;<=>678BCDEFG?@AKLMNOPHIJ !"# *+,$%&'()345-./012<=>6789:;EFG?@ABCDNOPHIJKLM !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOP  !"#'()*+,$%&012345-./9:;<=>678BCDEFG?@AKLMNOPHIJ  !"# *+,$%&'()345-./012<=>6789:;EFG?@ABCDNOPHIJKLM 6789:;<=>?@ABCDEFGHIJKLMNOP  !"#$%&'()*+,-./0123459:;<=>678BCDEFG?@AKLMNOPHIJ   !"#'()*+,$%&012345-./<=>6789:;EFG?@ABCDNOPHIJKLM !"# *+,$%&'()345-./012 $-6?H %.7@I &/8AJ '09BK (1:CL )2;DM!*3GP$-6?H %.7@I &/8AJ '09BK (1:CL  )2;DM!*3GP6?H $-7@I %.8AJ &/9BK '0:CL (1;DM )2GP#,5 '09BK (1:CL )2;DM!*3GP $-6?H %.7@I &/8AJ'09BK (1:CL  )2;DM!*3GP$-6?H %.7@I &/8AJ 9BK '0:CL (1;DM )2GP#,56?H $-7@I %.8AJ &/!*3GP $-6?H %.7@I &/8AJ '09BK (1:CL )2;DM!*3GP$-6?H %.7@I &/8AJ '09BK (1:CL  )2;DMGP#,56?H $-7@I %.8AJ &/9BK '0:CL (1;DM )2      $- %. &/ '0 (1 )2!*3"+4#,5    !"# !"# !"#$%&'()*+,$%&'()*+,$%&'()*+,-./012345-./012345-./0123458DIDZDkD|DDDDDDDDDD&D7DHDYDjD{DDDDDDDDDD%D6DGDXDiDzDDDDDDDDDD$D5DFDWDhDyDDDDDDDDDD#D4DEDVDgDxDDDDDDDDDD"D3DDDUDfDwDDDDDDDDDD!D2DCDTDeDvDDDDDDDDDD D1DBDSDdDuDDDDDDDDDDD0DADRDcDtDDDDDDDDD DD/D@DQDbDsDDDDDDDDD DD.D?DPDaDrDDDDDDDDD EE-E>EOE`EqEEEEEEEEE EE,E=ENE_EpEEEEEEEEE EE+E<EME^EoEEEEEEEEEEE*E;ELE]EnEEEEEEEEEEE)E:EKE\EmE~EEEEEEEEEE(E9EJE[ElE}EEEEEEEEEE'E8EIEZEkE|EEEEEEEEEE&E7EHEYEjE{EEEEEEEEEE%E6EGEXEiEzEEEEEEEE E E$ E5 EF EW Eh Ey E E E E E E E E E E# E4 EE EV Eg Ex E E E E E E E E E E" E3 ED EU Ef Ew E E E E E E E E E E! E2 EC ET Ee Ev E E E E E E E E E E E1 EB ES Ed Eu E E E E E E E E EEE0EAEREcEtEEEEEEEEE EE/E@EQEbEsEEEEEEEEE EE.E?EPEaErEEEEEEEEEE$E7EJE]EpEEEEEEEEEE.EAETEgEzEEEEEEEEE%E8EKE^EqEEEEEEEE:yvGfG:[yGG>>}}>>::yGG:::>>>GSSG::y>SM}M>G>G:y>SM}>:G:>GGGSS}}>qq:b:bv:v}vvvvGGGy:>}:G}}v}}dMd!!{lTTGGGGy>>>>yq:P2P2ss>T>T}}G:}:G>>>{{>!bb}:SbSb!!qq}T}{>s2s2PPG:bTl>T}}GSPt}MPSTq[tddd{b}d}fts}}lqqstvyy{}OEMI.=A5;9DH|V{8LSYK}Z $6HlGCC: (GNU) 4.1.2 20071124 (Red Hat 4.1.2-42)GCC: (GNU) 4.1.2 20071124 (Red Hat 4.1.2-42)GCC: (GNU) 4.1.2 20080704 (Red Hat 4.1.2-44)GCC: (GNU) 4.1.2 20080704 (Red Hat 4.1.2-44)GCC: (GNU) 4.1.2 20080704 (Red Hat 4.1.2-44)GCC: (GNU) 4.1.2 20080704 (Red Hat 4.1.2-44)GCC: (GNU) 4.1.2 20080704 (Red Hat 4.1.2-44)GCC: (GNU) 4.1.2 20080704 (Red Hat 4.1.2-44)GCC: (GNU) 4.1.2 20071124 (Red Hat 4.1.2-42).symtab.strtab.shstrtab.interp.note.ABI-tag.gnu.hash.dynsym.dynstr.gnu.version.gnu.version_r.rela.dyn.rela.plt.init.text.fini.rodata.eh_frame_hdr.eh_frame.ctors.dtors.jcr.dynamic.got.got.plt.data.bss.comment@#@ 1o@@@D; @C@0Ko@ @@ vXo @ 0g @ `qH @H  {@v@@8|(C(@C@( hEh0E0@e@@e@ @e @(@e(@AeAAeACeCX f*( ! @@@@@@@ @ @ @ H @ @ @ @ (C@ChE0E@e@e @e(@eAeAeCef @@e*@e8 @eEfS fb @@x @@e1E @e C @TCeXi $@ ?@K f CC !@ `@j "@yC  #@*f / $@7 ;$@= %@H`DjP %@Z &@je y&@mfvf @'@  @j J(@M (@x@C@ )@W f*@~ ,@_ C-@ 0@f Q2@ 76@t@Ej$ 8@ :@Y =@C0 =@- =@?= ]=@%K =@W`CDd />@j`Bjp ?@w |@@ @@/ @@-  @@4 $A@ 3I@ I@w TC gK@  K@  L@@j f  P@f ! C$ KU@K4 U@;C D Z@%O@@jX ?^@` _@dHfm`fv b@| d@-C8 u@ v@ x@ {@@C@5g @c I@, u@SC ȉ@T @<ffC`Cl X@+* @4C< @C @ZH@CQC@Z @3f @9j @Qq W@iwC  A A)x _ Au A }AC`5gP 1A@5g85g05g(5g A@fP  mA fP A% A425g< KAC >OALI=gQR=g*[ TAaCh pAn uAt vAI)| cB =BF ]B WB B LCC KC %B" 2B+ %CD BY ]B,@C! A[' C/* aAq2 ҦA;PCD A'N?j_ Ce@?in@?hwC(~@?g?j$@?jQ?j CC@>gCCZ %B -B`8g=g  HAB( pAB7  JB[ hB qB[(5g3 [B;CDC@K BXC^ B{gfp B}f`@ ͦB B  B 8>g ĺBP@j B) BZ 5g B B eB  'Bgf! BI, f5 B; BB &BJ CS`f\ C,c Cl 1C~C C BCU  :C f;CQ ;C\  FC QLC LCjf0@f0 KMCof \C  ?fC   @mCq mC   mC@$  %nC+  5oC3  : C 0DI R ] i u  EH~ @e @e Ae @e @e @e @e (@e Ce $. B bU  i ;|  PC   @ %     (C 5 J ^  q  2 3  @C   `f,  Ce) 7B  \vCJ f] | %  rCJ  HC :  @e  `C e  }Cw F) = P f\ !p  7     P fBc$9 yCCfJ_v zCf ~ C  @call_gmon_startcrtstuff.c__CTOR_LIST____DTOR_LIST____JCR_LIST__dtor_idx.6147completed.6145__do_global_dtors_auxframe_dummy__CTOR_END____FRAME_END____JCR_END____do_global_ctors_auxsudoku.cfmtescstateulrcmpcanonbest.5102ident.5104normal.5103xaptexemcansolutionnamecanpuzzleexmpdistcmpclearnormalizedmethodsexmessagecandidatesfmtbitsalt.7597buf.7596fmtcyclebuf.7719fmtgridcomposedihedralsymindexsymdistsymmetrypermuteshuffleval.10919coincideconnectpsdetailsconstraint_Fshow_cluesminimalshow_subexpressionupdate_symmetryshow_symmetrygff_sashimigff_unitmaskaltertokenspreadgenerate_stransform_o_inittransform_q_donetransform_q_statusgenerate_B_initexexprexevalratingconvertupdate_ratingfieldxanonbest.5663xansymmetrizebest.8508hvsymmetrize_exprpsyclesw.12116fmtelapsedbuf.7813fmtpermfmtalt.7639buf.7638labelgff_eliminategff_namefoldgenerate_dconstraint_Nexpandes.11995hit.11994tallypositionsconstraint_Htypeconstraint_Tconstraint_Bclaim_FNclaimtopstakegenerate_gconstraincommandstashnhelpvariablefunctiontransform_musrrefillinputtmpmagicfinilistbrnet_grl_indexbrnet_grlbrnet_fmt_trigs.14745buf.14744chunkfirst.11813current.11814data.11815last.11816minimumm.11153maximumm.11132rookeriesconstraint_Zgff.15452tuplesentertmp.6056key.6057ordermethodcexprccompoptionsgenerate_defaultgenerate_b_inittransform_cgenerate_hgenerate_Htransform_otransform_o_donetransform_passtransform_qtransform_ttransform_vgenerate_xcommonsplitidbbindexbandinitbandinfobandindexinitialized.8026ratedbuf.9174str.9175noticetmp.9176inx.6462pos.9173best.5505paptempdeprecated.9177txtmagicsymidtransform_comparebanditscord.6513best.6512anothercommitpropagatepropstepconstraint_Pprop.14441ternarycollapseactiveconstraint_Xhingeimplicitfs.11092update_magicm.7888solutionsolvecompleteuu.20323transform_permutationpuzzle.22001quickconstraint_Qbrstate.14828bicyclesconstraint_Kconstraint_Ysuperfluousfs.11544determinedfs.10989cevalsearchsmallerrequiredfs.11388exrateminimizetransform_defaultxmpmagicbinmagictemplateupdate_cluessubinsertoffontourinsertuniqstrings.11635grids.11636mutablefs.11195constraint_Wconstraint_Osudzlib.cbitgetoutputbitputrestartautmapfreesudzmagicsudata.csubcanon.cOldstk.3749Newstk.3750six.3401__preinit_array_start__fini_array_end_GLOBAL_OFFSET_TABLE___preinit_array_end__fini_array_start__init_array_end__init_array_start_DYNAMICdata_startfileno@@GLIBC_2.2.5printf@@GLIBC_2.2.5pause@@GLIBC_2.2.5memset@@GLIBC_2.2.5ftell@@GLIBC_2.2.5__libc_csu_finisnprintf@@GLIBC_2.2.5_startgetrusage@@GLIBC_2.2.5__gmon_start___Jv_RegisterClassesputs@@GLIBC_2.2.5fseek@@GLIBC_2.2.5exit@@GLIBC_2.2.5_finiputchar@@GLIBC_2.2.5strncmp@@GLIBC_2.2.5malloc@@GLIBC_2.2.5fopen@@GLIBC_2.2.5__libc_start_main@@GLIBC_2.2.5BZ2_bzwritegetpid@@GLIBC_2.2.5fgets@@GLIBC_2.2.5_IO_stdin_used__strtoul_internal@@GLIBC_2.2.5fputc@@GLIBC_2.2.5datafree@@GLIBC_2.2.5__data_start__ctype_b_loc@@GLIBC_2.3sudzputstdin@@GLIBC_2.2.5__strtol_internal@@GLIBC_2.2.5setpriority@@GLIBC_2.2.5sudzgetBZ2_bzclose__dso_handlefputs@@GLIBC_2.2.5lseek@@GLIBC_2.2.5__DTOR_END____libc_csu_initmemcpy@@GLIBC_2.2.5subcanonfread@@GLIBC_2.2.5getenv@@GLIBC_2.2.5qsort@@GLIBC_2.2.5__bss_startstrcmp@@GLIBC_2.2.5strcpy@@GLIBC_2.2.5__ctype_tolower_loc@@GLIBC_2.3calloc@@GLIBC_2.2.5BZ2_bzdopen_endfclose@@GLIBC_2.2.5freopen@@GLIBC_2.2.5stderr@@GLIBC_2.2.5BZ2_bzreadfwrite@@GLIBC_2.2.5realloc@@GLIBC_2.2.5sudzclose_edatafprintf@@GLIBC_2.2.5localtime@@GLIBC_2.2.5strftime@@GLIBC_2.2.5__strtoull_internal@@GLIBC_2.2.5sudzopenstdout@@GLIBC_2.2.5_IO_putc@@GLIBC_2.2.5time@@GLIBC_2.2.5main_initfflush@@GLIBC_2.2.5