The Index Hegelianus database and code