diff --git a/core.2417 b/core.2417
new file mode 100644
index 0000000000000000000000000000000000000000..5cd09228bd3d16d1af044f345e191a6acaaaaa49
Binary files /dev/null and b/core.2417 differ