‭.93‬ גרש. התיאטרון הצפוני ‭decumanus-rw‬ הצפוני (התוכנית על־פי הסקר)