main() {
	a := 1
	b := 2
	c := 3
	d := 4
	e := 5
	f := 6
	g := 7
	h := 8
	i := 9
	j := 10
	k := 11
	l := 12
	m := 13

	assert a == 1
	assert b == 2
	assert c == 3
	assert d == 4
	assert e == 5
	assert f == 6
	assert g == 7
	assert h == 8
	assert i == 9
	assert j == 10
	assert k == 11
	assert l == 12
	assert m == 13
}