Documented IDA*