Bet ha-beḥirah ʾal masekhet Sanhedrin - Meʾiri, Menaḥem ben Shelomoh ha- 1249-1306 (Ḳedem, 1970)