Main code rev. 1710

Add print_equivalents to JSON output from CRDB