my @keyBitsArr56_PC1 = ();
for ($i=0; $i<=$#PC_1; $i++) {
    $keyBitsArr56_PC1[$i] = $keyBitsArr[$PC_1[$i]-1];
}