Subsequent Events - Additional Information (Details)	Jul. 31, 2022 a
Subsequent Event [Member] \| Denver [Member]
Subsequent Event [Line Items]
Area of land	6

Detail information of subsequent event by type. User is expected to use existing line items from elsewhere in the taxonomy as the primary line items for this disclosure, which is further associated with dimension and member elements pertaining to a subsequent event.

No definition available.

Name:	us-gaap_SubsequentEventLineItems
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration