[automata]
automata = {
	"walls" : [
; corners
;corner
		{
			"match": [ ["empty", -1], ["empty", -1], ["empty", -1],
					   ["empty", -1], ["normal_floor", -1], ["normal_floor", -1],
					   ["empty", -1], ["normal_floor", -1], ["normal_floor", -1] ],
			"cell": ["corner", 3, 0, 1, 2]
		},
		{
			"match": [
					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
					   ["empty", -1], ["normal_floor", -1], ["normal_floor", -1],
                       ["empty", -1], ["empty", -1], ["normal_floor", -1]
                    ],
			"cell": ["corner", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["empty", -1], ["normal_floor", -1], ["normal_floor", -1],
					   ["empty", -1], ["normal_floor", -1], ["normal_floor", -1],
                       ["empty", -1], ["empty", -1], ["normal_floor", -1]
                    ],
			"cell": ["corner", 0, 1, 2, 3]
		},
; corner depends on corner
		{
			"match": [
					   ["empty", -1], ["corner", 3], ["normal_floor", -1],
					   ["empty", -1], ["normal_floor", -1], ["normal_floor", -1],
                       ["empty", -1], ["empty", -1], ["empty", -1]
                    ],
			"cell": ["corner", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["corner", 0], ["normal_floor", -1], ["normal_floor", -1],
					   ["empty", -1], ["normal_floor", -1], ["normal_floor", -1],
                       ["empty", -1], ["empty", -1], ["normal_floor", -1]
                    ],
			"cell": ["corner", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["corner", 0], ["normal_floor", -1], ["normal_floor", -1],
					   ["empty", -1], ["normal_floor", -1], ["corner", 1],
                       ["empty", -1], ["empty", -1], ["empty", -1]
                    ],
			"cell": ["corner", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["empty", -1], ["normal_floor", -1], ["normal_floor", -1],
					   ["empty", -1], ["normal_floor", -1], ["normal_floor", -1],
                       ["empty", -1], ["empty", -1], ["corner", 0]
                    ],
			"cell": ["corner", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["empty", -1], ["corner", 3], ["normal_floor", -1],
					   ["empty", -1], ["normal_floor", -1], ["normal_floor", -1],
                       ["empty", -1], ["empty", -1], ["normal_floor", -1]
                    ],
			"cell": ["corner", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
					   ["empty", -1], ["normal_floor", -1], ["corner", 1],
                       ["empty", -1], ["empty", -1], ["empty", -1]
                    ],
			"cell": ["corner", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
					   ["empty", -1], ["normal_floor", -1], ["normal_floor", -1],
                       ["empty", -1], ["empty", -1], ["empty", -1]
                    ],
			"cell": ["corner", 0, 1, 2, 3]
		},
; internal corner
		{
			"match": [
					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
                       ["empty", -1], ["normal_floor", -1], ["normal_floor", -1]
                    ],
			"cell": ["corner_internal", 0, 1, 2, 3]
		},
; internal corner depends on corner_internal
	{
			"match": [
					   ["normal_floor", -1], ["corner_internal", -1], ["normal_floor", -1],
					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
                       ["empty", -1], ["normal_floor", -1], ["normal_floor", -1]
                    ],
			"cell": ["corner_internal", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["corner_internal", 0], ["normal_floor", -1], ["normal_floor", -1],
					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
                       ["empty", -1], ["normal_floor", -1], ["normal_floor", -1]
                    ],
			"cell": ["corner_internal", 0, 1, 2, 3]
		},
; internal corner depends on corner
		{
			"match": [
					   ["corner_internal", 0], ["normal_floor", -1], ["normal_floor", -1],
					   ["corner", 0], ["normal_floor", -1], ["normal_floor", -1],
                       ["empty", -1], ["corner", 0], ["normal_floor", -1]
                    ],
			"cell": ["corner_internal", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
					   ["corner", 0], ["normal_floor", -1], ["normal_floor", -1],
                       ["empty", -1], ["corner", 0], ["corner", 1]
                    ],
			"cell": ["corner_internal", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
					   ["corner", 0], ["normal_floor", -1], ["normal_floor", -1],
                       ["empty", -1], ["corner", 0], ["corner", 1]
                    ],
			"cell": ["corner_internal", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
					   ["corner", 0], ["normal_floor", -1], ["normal_floor", -1],
                       ["empty", -1], ["corner", 0], ["corner_internal", 0]
                    ],
			"cell": ["corner_internal", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
					   ["corner", 0], ["normal_floor", -1], ["normal_floor", -1],
                       ["empty", -1], ["normal_floor", -1], ["normal_floor", -1]
                    ],
			"cell": ["corner_internal", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
                       ["empty", -1], ["corner", 0], ["corner", 1]
                    ],
			"cell": ["corner_internal", 0, 1, 2, 3]
		},
		{
			"match": [
                       ["corner", 3], ["normal_floor", -1], ["normal_floor", -1],
					   ["corner", 0], ["normal_floor", -1], ["normal_floor", -1],
					   ["empty", -1], ["normal_floor", -1], ["normal_floor", -1]
                    ],
			"cell": ["corner_internal", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
                       ["empty", -1], ["corner", 0], ["normal_floor", -1]
                    ],
			"cell": ["corner_internal", 0, 1, 2, 3]
		},
; walls
		{
			"match": [
					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
					   ["corner", 0], ["normal_floor", -1], ["normal_floor", -1],
                       ["empty", -1], ["empty", -1], ["empty", -1]
                       ],
			"cell": ["side_wall", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["normal_floor", -1], ["normal_floor", -1], ["corner_internal", 1],
					   ["normal_floor", -1], ["normal_floor", -1], ["corner", 1],
                       ["empty", -1], ["empty", -1], ["empty", -1]
                       ],
			"cell": ["side_wall", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
					   ["side_wall", 0], ["normal_floor", -1], ["side_wall", 0],
                       ["empty", -1], ["empty", -1], ["empty", -1]
                       ],
			"cell": ["side_wall", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["normal_floor", -1], ["normal_floor", -1], ["corner_internal", 1],
					   ["corner_internal", 1], ["normal_floor", -1], ["corner", 1],
                       ["corner", 1], ["empty", -1], ["empty", -1]
                       ],
			"cell": ["side_wall", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["corner_internal", 0], ["normal_floor", -1], ["side_wall", 1],
					   ["corner", 0], ["normal_floor", -1], ["corner", 1],
                       ["empty", -1], ["empty", -1], ["empty", -1]
                       ],
			"cell": ["side_wall", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["normal_floor", -1], ["corner_internal", 2], ["corner", 2],
					   ["normal_floor", -1], ["normal_floor", -1], ["corner", 1],
                       ["empty", -1], ["empty", -1], ["empty", -1]
                       ],
			"cell": ["side_wall", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["normal_floor", -1], ["normal_floor", -1], ["corner_internal", 2],
					   ["corner_internal", 1], ["normal_floor", -1], ["side_wall", 0],
                       ["normal_floor", -1], ["empty", -1], ["empty", -1]
                       ],
			"cell": ["side_wall", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
					   ["corner_internal", 1], ["normal_floor", -1], ["corner_internal", 0],
                       ["corner", 1], ["empty", -1], ["corner", 0]
                       ],
			"cell": ["side_wall", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["corner", 3], ["corner_internal", 3], ["normal_floor", -1],
					   ["corner", 0], ["normal_floor", -1], ["normal_floor", -1],
                       ["empty", -1], ["empty", -1], ["empty", -1]
                       ],
			"cell": ["side_wall", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["corner_internal", 3], ["normal_floor", -1], ["normal_floor", -1],
					   ["side_wall", 0], ["normal_floor", -1], ["corner_internal", 0],
                       ["empty", -1], ["empty", -1], ["side_wall", 3]
                       ],
			"cell": ["side_wall", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["corner_internal", 3], ["normal_floor", -1], ["corner_internal", 1],
					   ["side_wall", 0], ["normal_floor", -1], ["corner", 1],
                       ["empty", -1], ["empty", -1], ["empty", -1]
                       ],
			"cell": ["side_wall", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
					   ["normal_floor", -1], ["normal_floor", -1], ["corner_internal", 0],
                       ["empty", -1], ["empty", -1], ["corner", 0]
                       ],
			"cell": ["side_wall", 0, 1, 2, 3]
		},
		{
			"match": [
					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
					   ["corner_internal", 1], ["normal_floor", -1], ["side_wall", 0],
                       ["corner", 1], ["empty", -1], ["empty", -1]
                       ],
			"cell": ["side_wall", 0, 1, 2, 3]
		},
;		{
;			"match": [
;					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
;					   ["corner", 0], ["normal_floor", -1], ["corner", 1],
;                       ["empty", -1], ["empty", -1], ["empty", -1]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
;					   ["corner", 0], ["normal_floor", -1], ["normal_floor", -1],
;                       ["empty", -1], ["empty", -1], ["empty", -1]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
;					   ["normal_floor", -1], ["normal_floor", -1], ["corner", 1],
;                       ["empty", -1], ["empty", -1], ["empty", -1]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
;					   ["corner", 0], ["normal_floor", -1], ["side_wall", 0],
;                       ["empty", -1], ["empty", -1], ["empty", -1]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["side_wall", 3], ["normal_floor", -1], ["normal_floor", -1],
;					   ["corner", 0], ["normal_floor", -1], ["side_wall", 0],
;                       ["empty", -1], ["empty", -1], ["empty", -1]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["normal_floor", -1], ["normal_floor", -1], ["side_wall", 1],
;					   ["side_wall", 0], ["normal_floor", -1], ["corner", 1],
;                       ["empty", -1], ["empty", -1], ["empty", -1]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["normal_floor", -1], ["normal_floor", -1], ["side_wall", 1],
;					   ["normal_floor", -1], ["normal_floor", -1], ["corner", 1],
;                       ["empty", -1], ["empty", -1], ["empty", -1]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
;					   ["side_wall", 0], ["normal_floor", -1], ["side_wall", 0],
;                       ["empty", -1], ["empty", -1], ["empty", -1]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
;					   ["side_wall", 0], ["normal_floor", -1], ["normal_floor", -1],
;                       ["empty", -1], ["empty", -1], ["empty", -1]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
;					   ["normal_floor", -1], ["normal_floor", -1], ["side_wall", 0],
;                       ["empty", -1], ["empty", -1], ["empty", -1]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
;					   ["normal_floor", -1], ["normal_floor", -1], ["corner_internal", 0],
;                       ["empty", -1], ["empty", -1], ["empty", -1]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["side_wall", 3], ["normal_floor", -1], ["normal_floor", -1],
;					   ["corner", 0], ["normal_floor", -1], ["normal_floor", -1],
;                       ["empty", -1], ["empty", -1], ["empty", -1]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
;					   ["side_wall", 0], ["normal_floor", -1], ["corner_internal", -1],
;                       ["empty", -1], ["empty", -1], ["side_wall", 3]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
;					   ["corner_internal", -1], ["normal_floor", -1], ["side_wall", 0],
;                       ["side_wall", 1], ["empty", -1], ["empty", -1]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["corner_internal", 0], ["normal_floor", -1], ["normal_floor", -1],
;					   ["corner", 0], ["normal_floor", -1], ["corner_internal", 0],
;                       ["empty", -1], ["empty", -1], ["side_wall", 3]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["corner_internal", 0], ["normal_floor", -1], ["normal_floor", -1],
;					   ["corner", 0], ["normal_floor", -1], ["corner_internal", 0],
;                       ["empty", -1], ["empty", -1], ["normal_floor", -1]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
;					   ["corner_internal", 1], ["normal_floor", -1], ["side_wall", 0],
;                       ["normal_floor", -1], ["empty", -1], ["empty", -1]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["corner_internal", -1], ["normal_floor", -1], ["normal_floor", -1],
;					   ["corner", -1], ["normal_floor", -1], ["corner_internal", -1],
;                       ["empty", -1], ["empty", -1], ["side_wall", 3]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["empty", -1], ["normal_floor", -1], ["normal_floor", -1],
;					   ["empty", -1], ["normal_floor", -1], ["normal_floor", -1],
;                       ["empty", -1], ["corner", 0], ["corner", 1]
;                       ],
;			"cell": ["side_wall", 3, 0, 1, 2]
;		},
;		{
;			"match": [
;					   ["corner_internal", 2], ["normal_floor", -1], ["normal_floor", -1],
;					   ["corner_internal", 1], ["normal_floor", -1], ["side_wall", 0],
;                       ["side_wall", 1], ["empty", -1], ["empty", -1]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["side_wall", 2], ["side_wall", 2], ["corner_internal", 3],
;					   ["normal_floor", -1], ["normal_floor", -1], ["corner_internal", 0],
;                       ["empty", -1], ["empty", -1], ["side_wall", 3]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["corner", 3], ["side_wall", 2], ["side_wall", 2],
;					   ["corner", 0], ["normal_floor", -1], ["side_wall", 0],
;                       ["empty", -1], ["empty", -1], ["empty", -1]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["normal_floor", -1], ["normal_floor", -1], ["corner", 2],
;					   ["corner_internal", 1], ["normal_floor", -1], ["corner", 1],
;                       ["corner", 1], ["empty", -1], ["empty", -1]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["corner", 3], ["side_wall", 2], ["corner_internal", 3],
;					   ["corner", 0], ["normal_floor", -1], ["normal_floor", -1],
;                       ["empty", -1], ["empty", -1], ["empty", -1]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["side_wall", 2], ["corner_internal", 3], ["normal_floor", -1],
;					   ["side_wall", 0], ["normal_floor", -1], ["corner_internal", 0],
;                       ["empty", -1], ["empty", -1], ["side_wall", 3]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["normal_floor", -1], ["normal_floor", -1], ["normal_floor", -1],
;					   ["corner_internal", 1], ["normal_floor", -1], ["corner", 1],
;                       ["corner", 1], ["empty", -1], ["empty", -1]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["side_wall", 3], ["normal_floor", -1], ["normal_floor", -1],
;					   ["corner", 0], ["normal_floor", -1], ["normal_floor", -1],
;                       ["empty", -1], ["empty", -1], ["normal_floor", -1]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
;		{
;			"match": [
;					   ["normal_floor", -1], ["normal_floor", -1], ["corner", 2],
;					   ["corner_internal", 1], ["normal_floor", -1], ["corner", 1],
;                       ["side_wall", 1], ["empty", -1], ["empty", -1]
;                       ],
;			"cell": ["side_wall", 0, 1, 2, 3]
;		},
	]
}