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