CAT(500,1)
Sparse6:
:~?Fs_A?G?aSGOX`oFw_@uG_]aOEgb@mKOj@]J?W`WJWm@MK?S`SJwj?uJ?v?yJONawMOOb?CgnBkCXH@iEpH`yEXK@uF@JaEGg_aQFwb`WRwWDIDPPd?DGVDMT?RcKCXF@IBPDcOBxE@AB`GbCNgsB}K`?cGLWuCENOr_]AWI_mAGKa?@wKAMG_GaCAWIAQAo^aw@gj?QJ?Das@Go?YJoDaS@we?aHoH_gIgJAaB?hgkaIIgeFG]`eEw\`iCGP`IBWM_}cINhEcyMhI_aWg[dyBHQ`ATgSdiXGYbaAg[cyCG}_qOgWcYDHIRQLccaxIGqQqLcobHMGmZaGe{aHlGi[AHfGaXpGiVA?dw_XZF}VQ@f{WH^GARqSd?dXPHYSaVhcTHRHaW`Td[XHWEUWpXdWWXYEYOprcW\HFFUQ@uf_PXCF]]X}fu]hzfqXxgLYYjWEmZHhLis?~lCNjTBusp?cGtH@LIxOC_Y@Y}MUxa~m[oJfKEordmWoieMIhrai_wyhMQirbigxJ[IIvQ`iSvj^IAwQbiOwJUKQpRVkWuJFLeurHk_ujIJaqqxjgrIzKunRNjoriYJYeqqhoky\JQfqvhwlZOlIszTlEtKKIykSOosjKMIujsPj@By\hifIZh}fkZpfEK[pvEkKPbFSPotE[MPjCCZo|FJsOA}CDnd@JtOE|sAnX?{TMzCrnpO{JpPI{sVnHDkFMfABlocyzgOZArkogyjynm~C|nvNr~nxNHfeqYxgeiYWR`QDgT`]ELOSLQLHSRQdDslOlLS^RDEsxNLNRvOTNr|R{}SzODMrXQLHR^QswspM\LRnQcyq@OkaSVGTFp|PkbSRFdBqPKKrQ^HSpqdKksQZICtqzIdmqvI{nVFJDob}Og|cEOG}cMPHGcUPxEvh\LwVz\TzvX^LxV~\t|uH\LtUN\dcv\X\xU^]DevhVL`Vr]t\vtVl^V~WD}uxYLnUfYdoul[\lVNZDqtXSLVTFUDQthS|TTnTDXgI`IDgM`yEf}_Y?yPfm`YZhE^yXgMbYVgedwpf}`XBgeNxDgMbWzbU]x``mXW^eeGxla]JXvfEIw@cm@XN_eSwLd]VWVdeCmMxJapzF{_qFGkb{hpF@{Hn~B[Bpv?{Tn~E[FqErz`qNGZZlvH{dl^HZRoel{LjnCY~pUo{Xkmp[^mUfzxim|Ynmegzpi]kZnsFU|Dt~W\JuVR|lt^Y\RvFI|tq~][rrV^{|w^M]A?Vg]JwoA]fx?B]jxOA]m?Vf]vx_B]r