Output

* *50-states*

((AL (GA FL MS TN)) (AK NIL) (AZ (CA NV UT CO NM)) (AR (TX OK MO TN MS LA))
 (CA (OR NV AZ)) (CO (NM AZ UT WY NE KS OK)) (CT (RI NY MA)) (DE (MD PA NJ))
 (DC (MD VA)) (FL (GA AL)) (GA (SC NC TN AL FL)) (HI NIL)
 (ID (WA OR NV UT WY MT)) (IL (WI IA MO KY IN)) (IN (IL KY OH MI))
 (IA (MN SD NE MO IL WI)) (KS (CO OK MO NE)) (KY (MO TN VA WV OH IN IL))
 (LA (TX AR MS)) (ME (NH)) (MD (DE PA WV DC VA)) (MA (RI CT NY VT NH))
 (MI (OH IN WI)) (MN (WI IA SD ND)) (MS (LA AR TN AL))
 (MO (KS NE IA IL KY TN AR OK)) (MT (ID WY SD ND)) (NE (WY SD IA MO KS CO))
 (NV (CA OR ID UT AZ)) (NH (ME MA VT)) (NJ (NY PA DE)) (NM (AZ UT CO OK TX))
 (NY (PA NJ CT MA VT)) (NC (VA TN GA SC)) (ND (MT SD MN)) (OH (PA WV KY IN MI))
 (OK (TX NM CO KS MO AR)) (OR (WA ID NV CA)) (PA (NY NJ DE MD WV OH))
 (RI (CT MA)) (SC (GA NC)) (SD (WY MT ND MN IA NE))
 (TN (AR MO KY VA NC GA AL MS)) (TX (NM OK AR LA)) (UT (CO NM AZ NV ID WY))
 (VT (NY MA NH)) (VA (NC TN KY WV MD DC)) (WA (ID OR)) (WV (KY OH PA MD VA))
 (WI (MN IA IL MI)) (WY (ID MT SD NE CO UT)))
* (cc *50-states* 4-colors)

((MA R) (PA R) (IN R) (KY G) (TN R) (MO G) (IA R) (SD G) (GA R) (NV R) (ID G)
 (UT R) (CO G) (OK R) (AR G) (VA R) (WI Y) (MI B) (OH Y) (WV B) (MD Y) (DC B)
 (DE B) (NJ Y) (NY B) (VT Y) (NH B) (ME R) (CT Y) (RI B) (IL B) (MN B) (ND Y)
 (MT B) (WY Y) (NE B) (KS Y) (AK R) (TX Y) (LA B) (MS Y) (AL B) (FL Y) (NM B)
 (AZ Y) (CA B) (OR Y) (WA B) (HI R) (SC Y) (NC B))
* (mcc *50-states* 4-colors)

((PA R) (MA R) (SD R) (IA G) (MO R) (OK G) (AR R) (TN G) (GA R) (IN R) (KY G)
 (VA R) (CO R) (UT G) (ID R) (NV G) (WI Y) (MI B) (OH Y) (WV B) (MD Y) (DC B)
 (DE B) (NJ Y) (NY B) (VT Y) (NH B) (ME R) (CT Y) (RI B) (IL B) (MN B) (ND Y)
 (MT B) (WY Y) (NE B) (KS Y) (AK R) (TX Y) (LA B) (MS Y) (AL B) (FL Y) (NM B)
 (AZ Y) (CA B) (OR Y) (WA B) (HI R) (SC Y) (NC B))
* (dribble)