m/$CORE_PAIR_RE/) {
$self->parse_symbol($1, &_decode_JSON_string($2), &_decode_colour($3), $4);
$self->parse_symbol($4, &_decode_JSON_string($5), &_decode_colour($6), $1);
} elsif ($line =~
/) {
$self->parse_symbol($1, &_decode_JSON_string($2), &_decode_colour($3));
} elsif ($line =~ m/$AMBIG_RE/) {
$self->parse_symbol($1, &_decode_JSON_string($2), &_decode_colour($3), undef, $
$sym) = @_;
my $name_info = '';
if (defined($sym->{name})) {
$name_info = ' "' . &_encode_JSON_string($sym->{name}) . '"';
}
my $colour_info = '';
if (defined($sym->{colour})) {
$col