XML 41 R31.htm IDEA: XBRL DOCUMENT
v3.23.2

Power Supply Contract (Tables) | 6 Months Ended
--- | ---
Jun. 30, 2023
Power Supply Contract |
Schedule of changes in estimated fair value of derivative asset | ​
​ | ​ | ​ | ​
Balance as of December 31, 2022 | ​ | $ | 97,497
Change in fair value of derivative asset | ​ |  | 7,331
Balance as of June 30, 2023 | ​ | $ | 104,828

X
- References No definition available. + Details
Name: | us-gaap_DerivativeInstrumentsAndHedgingActivitiesDisclosureAbstract
Namespace Prefix: | us-gaap_
Data Type: | xbrli:stringItemType
Balance Type: | na
Period Type: | duration

X
- Definition Tabular disclosure of derivative assets at fair value. + References No definition available. + Details
Name: | us-gaap_ScheduleOfDerivativeAssetsAtFairValueTableTextBlock
Namespace Prefix: | us-gaap_
Data Type: | dtr-types:textBlockItemType
Balance Type: | na
Period Type: | duration