d main
m 224 ~28 l 224 0
m 0 ~28 l 0 0
m 392 224 c cc n
m 392 252 c cc i
m 392 280 c cc g
m 392 308 c cc r
m 392 336 c cc a
m 392 364 c cc M
m 392 448 c cc "1"
m ~168 224 c cc n
m ~168 252 c cc i
m ~168 280 c cc g
m ~168 308 c cc r
m ~168 336 c cc a
m ~168 364 c cc M
m ~168 448 c cc "0"
m 560 252 c cc "1"
m 560 308 c cc VALID
m ~336 252 c cc "0"
m ~336 308 c cc VALID
m 224 0 l 336 112
m 336 224 l 112 0
m 112 224 l ~112 0
m 0 0 l 336 336
m 252 364 l 336 448
m ~112 336 l 56 504
m ~28 308 l ~112 224
m 56 392 l 168 504
m ~112 112 l 0 224
m 168 392 l 280 504
m 112 280 c cc Zone
m 112 336 c cc Forbidden
m 112 ~56 c cc $V_{t}$
m 112 ~28 l 112 28
m 672 ~28 l 672 28
m 672 ~56 c cc 5
m 448 ~56 c cc 4
m 224 ~56 c cc 3
m 0 ~56 c cc 2
m ~448 ~56 c cc 0
m ~224 ~56 c cc 1
m 728 0 l ~476 0
m ~448 448 l ~448 ~28
m 336 ~28 i dotline 1:1 w
m 448 ~28 i dotline 1:1 w
m ~112 ~28 i dotline 1:1 w
m ~224 ~28 i dotline 1:1 w
m 728 0 i arrow 1:1 n
e