These files are compressed in the WUX format; the user can play with CEMU. The uncompressed ISOs can be used in a real Wii U. You can use WudCompress to decompress the WUX files to ISO.
Uncompressed this format to an ISO matching the redump.org checksum.