#!/usr/bin/refalx
import stdio
import arith
import stack
exec <br 1 (1)>
def шаг
	(8 8 e.) =
	(s.1 8 e.) = (<incr s.1> 1 <add s.1 7> <add s.1 2>)
	(s.1 s.2 s.3 s.4) = (s.1 <incr s.2> <decr s.3> <incr s.4>)
def перебор
	0 () =
	0 t. () = <перебор 1 <шаг t.> (t.)>
	8 t.1 (e.1 t.2) = <печать e.1 t.2> <перебор 7 t.1 (e.1)>
	8 (e.1 t.1 t.2) = <печать e.1 t.1 t.2> <перебор 6 <шаг t.1> (e.1)>
	s. (s.1 s.2 s.3 s.4) (e.1 (s.1 e.) e.2) = \
		<перебор s. <шаг (s.1 s.2 s.3 s.4)> (e.1 (s.1 e.) e.2)>
	s. (s.1 s.2 s.3 s.4) (e.1 (s.11 s.2 e.) e.2) = \
		<перебор s. <шаг (s.1 s.2 s.3 s.4)> (e.1 (s.11 s.2 e.) e.2)>
	s. (s.1 s.2 s.3 s.4) (e.1 (e. s.3 s.41) e.2) = \
		<перебор s. <шаг (s.1 s.2 s.3 s.4)> (e.1 (e. s.3 s.41) e.2)>
	s. (s.1 s.2 s.3 s.4) (e.1 (e. s.4) e.2) = \
		<перебор s. <шаг (s.1 s.2 s.3 s.4)> (e.1 (e. s.4) e.2)>
	s. t. (e.) = <перебор <incr s.> <шаг t.> (e. t.)>
	s. (e. t.) = <перебор <decr s.> <шаг t.> (e.)>
	= <перебор 0 (1 1 7 2) ()>
def печать
	e. = <put 2 () (<symb <cp 1>> ':' 9 '[')> \
		<br 1 (<incr <dg 1>>)> <печать1 e.>
def печать1
	(s.1 s.2 e.) t. e.хвост = \
		<put 2 () (<symb s.1> '/' <symb s.2> ', ')> <печать1 t. e.хвост>
	(s.1 s.2 e.) = <put 2 () (<symb s.1> '/' <symb s.2> ']' 10)>
exec <перебор>