JavaMercury
diff --git a/‎out/production/Mk11/ChangeNumberSystem.class‎
-16 Bytes b/‎out/production/Mk11/ChangeNumberSystem.class‎
-16 Bytes
diff --git a/‎out/production/Mk11/CheckPrimeNumber.class‎
-15 Bytes b/‎out/production/Mk11/CheckPrimeNumber.class‎
-15 Bytes
diff --git a/‎out/production/Mk11/GetRandomNumber.class‎
-16 Bytes b/‎out/production/Mk11/GetRandomNumber.class‎
-16 Bytes
diff --git a/‎out/production/Mk11/Initializer.class‎
0 Bytes b/‎out/production/Mk11/Initializer.class‎
0 Bytes
diff --git a/‎out/production/Mk11/PuzzleGame.class‎
-17 Bytes b/‎out/production/Mk11/PuzzleGame.class‎
-17 Bytes
diff --git a/‎out/production/Mk11/ResetPassword.class‎
-16 Bytes b/‎out/production/Mk11/ResetPassword.class‎
-16 Bytes
diff --git a/‎out/production/Mk11/ResetPhoneNumber.class‎
-16 Bytes b/‎out/production/Mk11/ResetPhoneNumber.class‎
-16 Bytes
diff --git a/‎out/production/Mk11/Signup.class‎
-16 Bytes b/‎out/production/Mk11/Signup.class‎
-16 Bytes