The petition for a writ of habeas corpus is denied.