$4 $1 ~ $3
$12 $3 ~ $10
$1 ~ $2
$13 $1 ~ $12
$12 $9 ~ $11
$4 $2 ~ $4
$13 $5 ~ $12
$18 $9 ~ $17
$11 $7 ~ $10
$6 $2 ~ $5
$18 $8 ~ $17
$26 $18 ~ $24
$5 ~ $6
$1 ~ $3
$13 $5 ~ $12
$29 $16 ~ $28
$11 $6 ~ $10
$18 $10 ~ $16
