Initial commit of AAIL using naive solver with sample output