diff --git a/models/counterexamples.vpp b/models/counterexamples.vpp
index cb014b2..c0edb57 100644
Binary files a/models/counterexamples.vpp and b/models/counterexamples.vpp differ
diff --git a/models/examples.vpp b/models/examples.vpp
index a6b3f15..04015a7 100644
Binary files a/models/examples.vpp and b/models/examples.vpp differ
diff --git a/models/profile.vpp b/models/profile.vpp
index 67ff983..12aea28 100644
Binary files a/models/profile.vpp and b/models/profile.vpp differ