>>818

2行に分けて
>>812
>>815
と書くか、
横着したい時、あるいは間の813、814は無関係だと明らかに分かる場合は
>>812-815
でもいいんじゃないか?