on0(13,0).
on0(12,13).
on0(1,12).
on0(2,1).
on0(3,2).
on0(15,0).
on0(14,15).
on0(4,14).
on0(5,4).
on0(10,5).
on0(11,10).
on0(6,0).
on0(7,6).
on0(8,7).
on0(9,8).

onF(5,10).
onF(1,5).
onF(14,1).
onF(9,4).
onF(8,9).
onF(13,8).
onF(15,13).
onF(11,7).
onF(3,11).
onF(2,3).
onF(12,2).