explainInputs(inputs);
return;
}
StringBuilder s = new StringBuilder();
OpId id = ids.get(rel);
s.append(String.format("%02d-%02d",id.fragmentId, id.opId));
s.append(" ");
if(id.opId == 0){
for(int i =0; i < spacer.get(); i++){ s.append('-');}
}else{