uds-se
diff --git a/‎notebooks/PICS/FuzzingWithConstraints-synopsis-1.svg
+1-1 b/‎notebooks/PICS/FuzzingWithConstraints-synopsis-1.svg
+1-1
diff --git a/‎notebooks/PICS/GrammarMiner-synopsis-3.png
-129 Bytes b/‎notebooks/PICS/GrammarMiner-synopsis-3.png
-129 Bytes
diff --git a/‎notebooks/PICS/GrammarMiner-synopsis-3.svg
+4-4 b/‎notebooks/PICS/GrammarMiner-synopsis-3.svg
+4-4
diff --git a/‎notebooks/PICS/GrammarMiner-synopsis-4.png
-113 Bytes b/‎notebooks/PICS/GrammarMiner-synopsis-4.png
-113 Bytes