{
  "id" : "9ea2c5be56834320a38dcfe65975b8ff",
  "name" : "EclipseDREAL",
  "properties" : [ {
    "name" : "textures",
    "value" : "ewogICJ0aW1lc3RhbXAiIDogMTc4NDI1ODUxNTM1MywKICAicHJvZmlsZUlkIiA6ICI5ZWEyYzViZTU2ODM0MzIwYTM4ZGNmZTY1OTc1YjhmZiIsCiAgInByb2ZpbGVOYW1lIiA6ICJFY2xpcHNlRFJFQUwiLAogICJ0ZXh0dXJlcyIgOiB7CiAgICAiU0tJTiIgOiB7CiAgICAgICJ1cmwiIDogImh0dHA6Ly90ZXh0dXJlcy5taW5lY3JhZnQubmV0L3RleHR1cmUvZmYxNDlmZWM2MDE1MTc0OTNmYzU3ZmM0NzlhMDlhMDllZjRjZjAyZjY5ODBlYjM4NmUxOWE0N2VmN2M3NmEyZCIKICAgIH0KICB9Cn0="
  } ],
  "profileActions" : [ ]
}