{anod.anod: 814bf0f9b07f64edfbc24cf48796f110f8cf536e, visualstudio.anod: 01b52ca1c7bfb3767f512017be883068a76bc4f8,
  z3: z3-4.4.0-2546-g0f93853, z3.anod: efd6193638d51ef8614d9b5677f2dc938eac82a8}
