/* This is an iconic specification of the new sample RushWorld problem that you will need to translate into your symbolic representation and store in a file called "probMine11.pl". */ iconic([0,0,0,0,2,0, 0,0,0,0,2,0, 0,0,1,1,2,0, 0,0,0,0,0,0, 0,0,0,0,3,3, 0,0,0,0,0,0]).