<?php
function GenPairs($N) {
for ($i=0; $i<$N-1;$i++){
echo(0).":";
echo($N - 1 - $i)."\n";
for ($j=1; $j<$N/2;$j++){
echo(1 + (($N - $i + $j - 2) % ($N - 1))).":";
echo(1 + ((2*$N - $i - $j - 3) % ($N - 1)))."\n";
}
echo("\n");
}
}
GenPairs(6);
PD9waHAKCmZ1bmN0aW9uIEdlblBhaXJzKCROKSB7CiAgICBmb3IgKCRpPTA7ICRpPCROLTE7JGkrKyl7CiAgICAJZWNobygwKS4iOiI7CiAgICAJZWNobygkTiAtIDEgLSAkaSkuIlxuIjsKICAgIAlmb3IgKCRqPTE7ICRqPCROLzI7JGorKyl7CiAgICAJCWVjaG8oMSArICgoJE4gLSAkaSArICRqIC0gMikgJSAoJE4gLSAxKSkpLiI6IjsKICAgIAkJZWNobygxICsgKCgyKiROIC0gJGkgLSAkaiAtIDMpICUgKCROIC0gMSkpKS4iXG4iOwogICAgCX0KICAgICAgICAJZWNobygiXG4iKTsKICAgIH0KfQoKR2VuUGFpcnMoNik7Cg==