CAT(3000,2)

Sparse6:

:~?mw_?O?G?C@c?l?U_JoDwBC@a?b?Q_HoDGAk@A@U?`?NOF?B{A??v?a?MoGoBKAO?t?y?QoHgC{Aa@T?h_VOIwDkAq@`?n_h?QGGsCeAV@I_boX_JODqA{@^_l_VWJCDeAp@X_koUGNWFYBt@v_{o\WNCF_B`@x?wo[_MkFKBn@y?yOZoMsHoBuAF_}?aGPGGAByAH`B_^gP?F}CHAE`?o_wOkGIDmAi`TojGTKIuDPAm`VojwTsJAD`AK`EoawPsGiC^AQ`HocGQkHEChAh@JOi?Q{HgDXAl@KOeoTSHcDVAb`POhWS{IYDHA\`MOfgR{IED@Bo?toZgLKEqBZ@i_soZWL[EyBX@i_oOXGKSEEBF@d_rOYGK{IeDTAg`UojGT[H]ClAX`KOegR[P[GVCKaEpBgaCO}FACDaB_ww`?MEFCCEaD?wg`GMMGDCBaAP?g_cOMFnBy`zO}w^KNaFcCD`x`@g_wNQGOBt`w`Ag`GNAF{Bja??zG^_MiFyBma?_zW^wM}FUBo`w_zG]OMiFiBm`x_zW]_M}ERBK`doqgXsKuEICJ`b@BG`gKQG[BB`c@CGWwO}ExBZ`nowGZkLyFKBT`r_tgZOMUFQBV`k?xG\?LeE_B}`}?sg^gK}EaB~`i@?WYWOAFKAv`\_xwV_MeFGAx`[?xWVOMaD|B?`]onwWSKEDaBu`X_|wU_NeDiBw`X?}wUoNiLM@K_fORWH{DEA`@U_hOSwIcD]Aj@Y_loVwJcDuA|@Y_mOVWJsD}AvBb`oowgPKG]CPAq`WokwUcJYDjAp`XolGUsJIDjFJbfPrwyC[qMZE~b_PnwwK[EM@Dza|P^GnCV]JrD}a}p_gn{WEK@EFbBP_wocWaKJDuaxp[gmkVEJhFBBPpo_ss[GLJE`BaPg_wc[KLHE}BNPnOsCZgK~ExBMPn?rkZkKvElBdpr_tsY{MXFLBWProuS\?LbFFBTPpOt[[WLVEkBcPq_tSYoMRDvA}p]?n{WCJtEAA{p_?ncVkJ|EKBBP_opKWSKTEMBAPbOpCWkKNEUBGpeOp{X[K`EYBHPe?qcXKKjEmBLpjorcZ?KzEpBNPk_sCYsK~EUBRphoqkX_LPEYBSpeOtKX[LPC\BFpF_qCQ?KbC^BHPG_qcQCKfDoB^PYovKUoLtDmB\pZOvkU{LxDfarPYglCUeJJD^aoPWWkSUMJHD\BCpUOpSWoItEJAnPb_j[WsIxDSAwpTOmSTWJfDWAyP\_i[VSInDNBXpS?ucTGLjDMBZPlohkZ_IbDGaePQWg{SmITEwAaPOOu[SKLhDABZPlogsSSLjFDAZpp_fCRSMNCxBcPM_xSRWMRCsaXPJwe[REH`EcAUpgOdcQgLJCjBRPIOs[YGH\CVaKpEGbSPqGvCQaJPCWa[PQGjC}ARPGof[QOHxCdA]pI?gCR{HNI}?]ONWFsBi@v?~_]oNgFcB}@v?y__oOGGcCUAF@A__OOWGSCUAH@B_YoLgEcBe@n?w_ZOLwEcBe@j?w_XoKWESCYAP@I_coQwG{C]AP@E_doQWHSWeKTEJbEPbgpkXiKjEVbKpdgrCVMJlDtawp\GmSXyL@E\bLpfGr{YMLBEabQPhgskEABJ@a_poWWKcEEBD@b_qoWGKcFUBl@v_{O]gNKFABb@n_xO\GM[GiCVAK`EobwPsGqCZAJ`DObwPsHACbAQ`HodWQcHYCpAV`LoeWRSS}IbDQafPRWiCQeHTCjaUPJgdkPIGjCPaHpDgacPEGdCRaIPDgaku{ZZLmevRZhlkuuZNLgesrYhlcumZIK|e[bWXfOuIZGK}erBMxf_uMXqKre[BMxfOrQX{Kue]bLxf_rUYGKYe_BDXgGpYYEKXeJbNxb?sIWMK`ePB@HcWoaXGKDe@bHhcgoYVzJ}d~r?H_SoEVwKRdzbBx^?pAVqKPd|BDH^WpIVbJtdzQ{h][nQV_LberAzx\_uEVULaeqazXk_myS^IJdEqbHQCgyTDI^dOqgHRkhyYyI{enAmxVOt}ToL_elamXj_juTkLDdYbPhUgs]TmLHdZBQhUwsaXeIodVbLHegjMTcKudYBMHUGr]TEKfdQBIHSgqeXSIfdSBJHSoqmTSKneUajHdoimX_IldSbKheGiyS{KTdNbDhawiAWqI`eLAghb?huSoJsdzAdxRGnUVaIZdxAfHROnMVQIrdqajxUGmiT_JgdrakhU_mYVCKIdpbAx`_mIVGKHeFAwx`gmQYaJ[doBTXiOluVALUeiAvhiWl}UoK?dlA~hZGnuWAJVdla~xYooIYqJOelAsXjOlIYsJRdibUXjGlQU_LJdgbRHhwlMUcLLdibRhi?lQUUKcdebHXXoqYUSK`ePArxcWkqUSJjddazHXgm}UWJmdfa{H\gkyYuJCemApXjgkYY{JFeoAqXjwkaXYI}d_BJhWGrEUEKqeVaohVwrAWEI}d_B@xVwoQUEKEd_bAHWOoUSoIPdKachQWhqSgIZdJAehQgh]TGIPdRachQ_iMSkIddHahhQgiaUmIJdjAbXZWg}UsIOdkAbhP_leNOK~ea@xg{gsANELAbqBOXgW]]VmFad{@wX^G\uVsF^bnA~H^W]ARiLVcyBTxN?taRkLWcxbUHMwt]W]HleIA[XaGfAW_HmcxBChaWe}RSLUcsBSxLWtIRQLTcuBTHKwtERCIEcqA`XPOeYSQH`cqa`xP?eMWuHZcnBFHJgpuQwK]coBGHJwp}QtHUckQUXIkd]Q[IFdCaQXHOgUSOHJceA`hPOcuZQFler`yxl?]qNQLibvBZG|OumYwHCelaPXGotyQML_ccBVXjwcMPyLGeaaNhgob}YMH?c`BQhGGseWuGveMAMXbgbiPuK]c[BGHF_p}PgLicXBZHEGueZMGucYbYxEWuaY_GncVBRHDWsmPYLLcWBRhhwaqPKI|cQamHCwjePSIycSamxD?jqTQGLdTABh@wimO_ImcHAjHAGiuOeKfcIbIhA_qaXQGVcKBJHAoqmO{JfcMayHBWmeVIGXcLAyhB_mYOXGHcBqAh@[_aOKKMc?bAX?_oiOCKJeEA@X`g_MO?J[b|avg~gluN}J^do`~H[?^yZGFver@|g~OuINiL`b{bWxkg^aUGFUbgapWyOkYMgJFbiaqWyWkaRqHNc|aSHIGfqR{HSchA]hNgdMNgGcbvaFw}?aANaG`bxaGw}OaIR}FVbmA`Gz?gAMqI@bla_gzOgM?H?E_CO@w?k?e?H?G_Co@g?{?U?T?I_DoAw@[?i?X?L_EoBW@c?q?\?N_FoBw@s?y?b?T_GOCgAc@M@J?e_SOHwDSAeSVIMdEQbxPkhAShITdGqdhQ[hISnIWdKqehRchmSzI_dNQgXSSh}TFIfdQqhhTCiQTTIjdUQjhTkieT`IpdXQjxUcjMTjIvdZQmHVKjiTvI|d]ORGHsCqAZ@L_fOTgIkD]Ad@R_iOzg\SMmFXBn`uorgX[KuERBI`eOuwZcLuE|B_`nouWYkL]ElBW`lOlwVCJeDtA{`\pvWzs\}NDF`boPww{k]QNLFgbrq[xMcfaRjHvczQYxLCe]RRHkctQTxIkdYQpHYckpyg|K]mNXFmbuqMHE{bePtG{c\p{w}S]}N`FpbyPsWyS\MMjFUbiTeaqdXakjUUjKtdyhHWmiKUGidDbIhXWuiMUHicDaimxSEjoTAizDOynHSQjuTDi_D]imHRmjcS{i\D[yfhVQjiS~i^D[IfxSyiWSyi]dRYhxRmh{TPigDNIf@VIhgToiYd[YepVMjiSxiyDLynxREhcT}j?dJyo@RAheT{iVD^YaXRQggSuiYdDYapRagoSxiZdDy_xUQgUTeiCDXYlHOegWTfiDDYI^XWifwUJh~DaIp`N}kYS?h}daY^XSAg?TBh~dOi^pSQfwTDh}dOYoPM}f_UBhwd`I]PWUfgUFhxd`i\XS}fQTKhtDRYi@MyfWTPifCzY\HQAg}RjiPCzI\PQEhGRmiPczY[xPegwRbhrDEibpMafGSZhqdFYZoyqeyMjhnbjY[?yyfCMohobjyVHTydsT^h\dWIV`UEd{Tbh]dWilPJMjYQuitclIlpJUj]QwiuClyiXIud[TShVdTYU@TYdcTQhWdTylHIYjGQ`iqcgiSXUYdGTghQdXyR\H}cxQ\hOSfihHHicqTJhIdPiR@SiiOQVhJDPyZhHQcaRahGCviQXMEccR^hFcwIPHOucSSMhDdByP`PAgaQMhEdCiOXNUcGRvhAc|iOpNacORyhBc}Y\@FIbaRbgxcxI[pFQfMPuhqc\YZ@EmbWRYgucuyLpLqb_RXgvctyKXXQkiP^jJCWIKHX]bGUXgpDeImpDejmPYi{CUynHDqjuP]i|CVYIXVqagT|gid^iIpV}aoU@gjd_IHhQma[SjgfdJIdhDIaaSlggDJIGxXQkiPGjJCQYr@CiaWUVgddeYGpQUaASeiRcOid@CMhSPDiScPI]XB}f_Ozg]Czy]HBua?RqhyCNiEhWy`kUNgZdcIF@XE`sURg[dcibxA}h?OriOcKIcPBEhGOsiPcKiiXAm`QTQgUDTyDPTUigOmgUdTilPAMjUOciuCHYlhAaj]OfivCHi_x@ugQO]gNdAiC@Om`CSKgOdAIBD@q_nOXgLsEi?hOu_KSMgBdBy@@PA_SSQgCdCY_p?I^}S@g?D?i?HOM_GSCg@d@X}XQU^gSeiRb|Yd?~YhSNwiSb|x|k}y^^NofxR{X|c}i^VNhfrryIj?|miqN[foDVHzhTi]}T\fnDUxuHTa\cTXfXdUhu`Tm\kT\fYdVHyhWI]kUBfjd`Hz@WU]sUFfkd`ijo{ei}NIioBqxx`UMjCNMiobrXwXQy]MSqiXbphw`Q}]OSofadKY]gyU\KRvfSc}Ht@Ne\MRyfTC|hrxXE\?UNjFBgxsHXA\GURfPDciZ_xy[qRWfMCtxrPLeeuM\fLcuhq@PageMLiIBbyagwy[cSVfGdDibgwq[MSXfCDEhpHPmg{MJiMBai__wQgAM@f@D?y_OwMgKMEfAd@XmcvMZ^Loewr[iYHI]ecQhhhciiT@LQekQkhiciyN@J}bqR?g|CoYMxKIeGP{g|coy@XEi_WPdgEcXi@pE]_]PggGCYX~HKm^uRKf}CrX~hKy^{ROhfb}h{H@E^COQfpcCyA_}Y_kNcgIbxYWg{}]cREhbbsIX?|E]gRIfhcqXuxFub{Mxg~bmhv@GAcCMzf]C_XnWxMZwMSe}bdXnoxY[?MWe~bdxvgvU\{Luf^b]HnO{A]CLvf_b]WBc@u?|?Z_LOEWB{AA@D?`_PoHGE[BE@b?q_XoKgnCVqJnDxa|p]gnkWAJ|D~b@P_WocWYKFEDbCP`wp{XQK`EPbHPcwL{FEBd@o_yO[wQ[HICjAO`GodGSkIIDFAc`RohglCUYJJDharpYggKSUILDCa`pOgccQ]HLCgaQpGwbKPmGxCVaLPEHt[yq\ZMmfWRjyKDD}bBPagqSWxuszI\fMpfYrlHs[yI[~M_fQRgXq[x][hMTfKRdhmcvAZbLnexR[zohxY{G]RnHF_jqhwA{A]VnIF_zlpwAz]]@mwF_jmHwM{I\rnAF[jj`uayy\hmnFYjjxumzA\lmoFZJkXtMzK\TmgFWjk`tEzM\QmqfTJg`vAz[\Hmaf[jmHsayM\rmvfPjfhwyxo]LnFfMjfHxExu]KnGFNJcpv]zg[jmTF]JnHqexO\umRf\Zj@oyw_\UmkfCjjXpEwe\VmlFBz`HrUxc[GmXfAj`XrQxm[LmEFLjjHoUyo[EmBfTz_PtYwE\ZmlF@J]xsmvo\KlzFQjhxneyYZymfE}z\HsEx{ZglqFOJgPmUyEZelrfNzWpwquM]LlcFbjXHxAuU]PnFeqjd`kAxYZ@mWepJdpkIx]ZDmWEozV@setk\ElYFPzUhsayGYvmaemZTpuIzEYnmqEkJkhjEte\fmrEkjR`xetA]WlMfejRpxus}][nLegJjhgQy{YDmne`jOxuAsQ\[lCFWZNpqir}[jl?FIJOHqexMYBmRE_jMPrare[xkyFMjMhrmrm[|kzFNJLpsqra\ImfEZzhxfAyYXkkufQzoxeA{QX`kpFazopeM{OXdnDEXJexdQqi[qkjFKzIxrQqq[ukkFLZEpxapq]XnLeLzrhba{sWzk\FfJE@viz{Wtm|eKjEXv}zyWskWf^JC`vQpI\tkRF\jCxv]zqWhkSF]J?`ueoE\kmsE?J?HuuoI\imte?i|pxIn]]RjwFdI}HxUne]VjxFdi{ptUnC\OjpfSY{`tInM\SjqfSzop\I{MVRnCDtYy@we{UVSjgfajn`[AmC\~m|DnjnXZ}mE\|j_f^iuxsMlc[}jXfNzgPZUlk\?jYFOZd`YqxYUljVFKItxrEx]UomVDkZbPpQwu[TmKfFJappuwm[^mKFFi}pjqngYzl^D|ZVx^]nqYyj{EnZ]@iYtGZplPe|J]hiIvcYflQe{zXhhAu[YPlIEsJQPk}siZPlHerJN@nqrqZ|k|E~jNXn}ry[@k}F?JJXcaqwXHkmeQjJxcmqYXYknERJGPlyu}XBloEPJGhmEqMZbkbEwjFpmyvYX?luEOZ\XbuvSW~k]EzzPP`ysUW^lEEGJPhaEs[WalFeGzT@`aoqYhkLEijBXimoyYlkMEjJAPluuoWSlkeDZZX`]okZ[kHeuj?phYoMYVkCEeJ@HheoUYZkDEejKp\qrMV\ksDvjLH\}rUV`ktDwJ@`\YmmWLkFDuJA@\ioaVZkFduYxxl]mSZQjdesyx`lQuiVMjeetixH]qmGVgjbdyywh]imOVhjudpiv@^ilqVzj\D~IvX^ulyV~j]D~itXqMxIUhmPDijcHYYxGUfjSFGIs@ailAWjjPEJIsXaup]UdjQEJirPcykuXNkgDfJIXXuqcU^kgdfgAC@U?h?P_HOCwCkAY@N?g_TOIXOkgYSNIGdDQaWICC}A^@P_goSG[cMUFLBf`soyGN[FqB|@|`?O^wW[KQEPBD`bopgVkJyEBA~``OoHN[fqRrHyc}q^hGCbuQDG~c^QOWy{\eMpF[blPuz\TmmvXZllvuzjRdhus|Y^lOugJO|gesJYElAUaJAT`MohWUkJuD[faRHHJceQXxHseERDHHchQYxICeePpHRc\QQXICbEPdHJcZQRXHsbUP`G\cKQKxBsbUPlGZcPQMxCCbeR`GDc@Q\XLc_]RdGHcDQ\x?Ce}NlHVb{QUW~SdmNhHTb~QVw~cduNDGjcUPvW{Ca]NHGncQPxwzsaePxFDc^PpwxCcEMTHBbfQPwxccT{`H`cpNcxKbxURK}VctNexLBxeM`ETbhPdwycXeMlEZbNPuwrc\eKPExbEPowpSZmK\E|bHPnwqC[ENpD`b}PUW}sUMNhD^amP~wjS^mQhDTcjPSWhsdeQtDVahQVwhcduGxFhaNPywcC]uHDFnaRP{wcc^EM|CVbpPCwbS]]G`F\boPDWbC]UFdHn`yQ\W]seuFXHp`vQ\w]CfMPxB`c^OwxGCMUQDBfcbOyxGcMeM`BT`jPswZC\UEtFV`nPuwZc\eDxFF`bPpWxCKME@FLbdOpWxsJ}D`FhbuOmwUS]mDpFp`YP{wUs]}OX@tcFO\xACFeB|GVcIO]xASFuAhHp_lQ\xLcDEAlHn_kQ[wISfUADGFcAOMwGC_eOD?x_]QAwFs_D~xGd^~QHw?Cae?LGl_AQJw?Sal~`GXcON|V}S`l~lG\^|QGv~C`}OW~@cFNoxAR{UO_~FcJNqxAb{eLo}tb\NlvvCZt|tE~^^Povvc[ELHE@bOP^WosYeLDD~bTP_wssWUEPD@`dPOwgcKuILBRadOrwhCLEBPAd_tOhwLcIeDX@n`VO[wTSFEJ`@\axOVwmcEEJl@ba|OXwnCEUC@@D`@OPwOcCeCL@J`DORwPCCu@XCh_VPIwECQuH\?raXOLweCBU@TA^`KOGWRSAMCx?d_ROgwDCIEGH?^_IP@w`c@u?lCJaCOEWBSO|~HCt^rPLv|CRd~TCz^vPNv|cRuCW~L^fObvyCHD}dAR`JNtwQb|U?c}r^SOAVtS?l|X?L_GNjvuC?|{G}\^CNfvpbyD|C}N^RN`vsbwl{?~^]|NuVnb|l{C~\]{Nwvnr}DzXEl]vPjvmCZELc|r]zPlwubvTz@Dd]pPXvkcUdzLDj]tPZvlCUty\Bz]hO~W^BsdyTB~a@NSVhcODxw|T]^NTvgRtdyG|Z]bNVvgBtsBY@j?s_[OMWE{I}D\AohRsiITdIedTQje{r\XnSvYZpLvsFINlAIcFO]g~sGIOlAQcNOeh?saHylGi]nNWhEsaHz\Gq]~QIfmsbhslHA\NQSfSscht[yycrMkhJr_IR[wIczQ]fAsgHo|IQ[VQafCsbhlKvAcrLqhJrYiQKuqcjLmhHqoIO{kQcBJAhAqpiO\FyUVP{dcqeiR\IASrQ]dGqciRkhQdJQadJsLiG\BQaBPEg\sMIGlCi`zPGg^s@IMLFI_NPsgCs\i@\Fi_^PwgErxH~[}I^~Nig?rwH~K}Y_FN{fsreIKkyAbZMYgrrfIL{yIbRM]gtrkHpkzI[^MsfGrlhq[xY\rMyfIrpHn{vQ\zLuf^r]HwK{YZvNAe}sIHiKtQ`fOiehrTiDlBAYvLWgVrGIJKqIavKggpsVHd\DyXNP_eQrDHjkpYY~KWeorFhk{piZJK[epq~IHknya^K?ggr?iI[oYanKCgiq{HfKnIXvJse]rNh]{sIVvL?d{rLh[kmYXZKmdvqyHeKmqXjJieXrPHZKsYUvLGdmrQhZ{syVFLKdoqlHXkjYU^JOd[qmhY[jyUnI{diqkhaKpIT^IgeCqih`[jAW^IkeEqfH|k}yS~NodOr{hS[iY^nIcfyq`IAKgY_fIGgIqaiA{gy_vIKgKq_hyKfa]RH{feq]hx[fy]fI?ff_AO@W?s?]?R?G_JoEGAti]tJYalQUhjS\Xik~UZjMTfYrumdS@jiS}yytNumpR~jmT@YzTOMnPUbjvThYst]UlPVfjtTjYtT]ukTVdjETxy|DW}k`VjjITzyqT]umdT~jiT_YzDWMmlUDjmTaYzTW]iDV^iaTwY{TSuiLVbjnTQy{DSeedVtheT|yYd^eeTVphfT}yYD^MeDVzjwSnyWd^endRHjzSpyWD^UilTpifTXyiDUeidTjiuTUYidU}mLS^jcTGYcT[mhHVLiSTsYct[}gdTZiITVYatT}gpT`iqTFYbTUMklSFjKTAYrTOmgXU\iGTgY`tX}l\RnhzTmYuDNEldRrh{TlyudNUfDTrhqT\Y[tV]fPTxi}SzYnTMmhTRViUSuYdtLmh`R\hoTLYeTL}ddUzhYTnYUtZ}dpV@h]TpYVT[MdLSvi[SiYfTImhxQli_SkYftI}rlYlkyUiZNDiUt\X~k}UizNTi]qxY@l@UVzOdeEsLXblDUXzPDeUqHYLkbUbzHDhEqTYRkfUdzHdhUspWrkUUezDthup`Y^lPULzSDbUp@XPkTUSzJDaepDXTklUHZIta]qDWXkIUMZAtbmotW|kMUNzGD`}oPXhkDUYzLd_ur\WNkxUCzMD`En|Ypk?Ukz?TjUtlV|kBUmz?djewP[PmDVCzadoUw\[ZmBVEZ`dp]vpZll|Uzz]Dnuvh[BlzU~z]ToEtxZTl^UtzWDleutZBlbUvzWdluvDZRlfUxZXDm]uTZ`leUyZYDmmwx[tmNVLzcDrexD[zmRVNzcdruxP\@mTVOzddsUx\\FmXVQzhDrC?D\Kmk_@Jhttk?L\OmmvV_?dtK?D\amjvW??ttV