[casp0555]

Bel 7
$3 Ex
6//3,7,8
$3 Ex
3,7,8//6
AP 1
$2 Triple = $8
2//4,6//1,4,6