[sve] Update simulator tracing for SVE.
Change-Id: I96ef65f74db89592df4a63101bbcb546b6c95392
diff --git a/test/test-trace-reference/log-write b/test/test-trace-reference/log-write
index 72f3dfa..fff3143 100644
--- a/test/test-trace-reference/log-write
+++ b/test/test-trace-reference/log-write
@@ -2387,3 +2387,804 @@
# v27<127:0>: 0x00000000000000fe0000000000000000 (..., 0.000, ...)
# v28<127:0>: 0x00000000000000000000000000000000 (..., 0.000, ...)
# ╙───────── 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# p12<15:0>: 0b 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 -> 0x~~~~~~~~~~~~~~~~
+# p12<31:16>: 0b 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 -> 0x~~~~~~~~~~~~~~~~
+# p12<47:32>: 0b 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 -> 0x~~~~~~~~~~~~~~~~
+# p12<63:48>: 0b 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 -> 0x~~~~~~~~~~~~~~~~
+# p12<79:64>: 0b 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 -> 0x~~~~~~~~~~~~~~~~
+# p13<15:0>: 0b 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -> 0x~~~~~~~~~~~~~~~~
+# p13<31:16>: 0b 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 -> 0x~~~~~~~~~~~~~~~~
+# p13<47:32>: 0b 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 -> 0x~~~~~~~~~~~~~~~~
+# p13<63:48>: 0b 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 -> 0x~~~~~~~~~~~~~~~~
+# p13<79:64>: 0b 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 -> 0x~~~~~~~~~~~~~~~~
+# p14<15:0>: 0b 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -> 0x~~~~~~~~~~~~~~~~
+# p14<31:16>: 0b 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -> 0x~~~~~~~~~~~~~~~~
+# p14<47:32>: 0b 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -> 0x~~~~~~~~~~~~~~~~
+# p14<63:48>: 0b 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -> 0x~~~~~~~~~~~~~~~~
+# p14<79:64>: 0b 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -> 0x~~~~~~~~~~~~~~~~
+# p15<15:0>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 -> 0x~~~~~~~~~~~~~~~~
+# p15<31:16>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 -> 0x~~~~~~~~~~~~~~~~
+# p15<47:32>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 -> 0x~~~~~~~~~~~~~~~~
+# p15<63:48>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 -> 0x~~~~~~~~~~~~~~~~
+# p15<79:64>: 0b 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 -> 0x~~~~~~~~~~~~~~~~
+# z0<127:0>: 0x00000000000000003fb504f33fb504f3 -> 0x~~~~~~~~~~~~~~~~
+# z0<255:128>: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z0<383:256>: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z0<511:384>: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z0<639:512>: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z1<127:0>: 0x0000000000000000ffffffff00000000 -> 0x~~~~~~~~~~~~~~~~
+# z1<255:128>: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z1<383:256>: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z1<511:384>: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z1<639:512>: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z2<127:0>: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z2<255:128>: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z2<383:256>: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z2<511:384>: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z2<639:512>: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z3<127:0>: 0x7f8000007f8000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z3<255:128>: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z3<383:256>: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z3<511:384>: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z3<639:512>: 0x00000000000000000000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z0<127:0>: 0x00000000000000003fb504f33fb504f3
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0xf3 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x04 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0xb5 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0xf3 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x04 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────── 0xb5 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙─────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙─────────────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# z0<255:128>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙─────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙─────────────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# z0<383:256>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙─────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙─────────────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# z0<639:512>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙─────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙─────────────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# z1<127:0>: 0x0000000000000000ffffffff00000000 (..., 0.000, 0.000, ..., nan, nan, ..., 0.000)
+# ║ ║ ║ ║ ╙─ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────── 0xffff -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────── 0xffff -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────── 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# z1<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000, ..., 0.000, 0.000, ..., 0.000, 0.000)
+# ║ ║ ║ ║ ║ ╙─ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───── 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────── 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────── 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# z1<511:384>: 0x00000000000000000000000000000000 (..., 0.000, 0.000, ..., 0.000, 0.000, ..., 0.000)
+# ║ ║ ║ ║ ╙─ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────── 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────── 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────── 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# z1<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000, ..., 0.000, 0.000, ..., 0.000, 0.000)
+# ║ ║ ║ ║ ║ ╙─ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───── 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────── 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────── 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# z2<127:0>: 0x00000000000000000000000000000000 (0.000, ..., 0.000, 0.000)
+# ║ ║ ╙─ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────── 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# z2<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000, ..., 0.000)
+# ║ ║ ╙─ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# z2<511:384>: 0x00000000000000000000000000000000 (0.000, ..., 0.000, 0.000)
+# ║ ║ ╙─ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────── 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# z2<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000, ..., 0.000)
+# ║ ║ ╙─ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# z3<127:0>: 0x7f8000007f8000000000000000000000 (1.404e+306, 0.000)
+# ║ ╙─ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x7f8000007f800000 -> 0x~~~~~~~~~~~~~~~~
+# z3<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z3<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z3<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z2<127:0>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ╙─ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# z2<255:128>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ╙─ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# z2<511:384>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ╙─ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# z2<639:512>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ╙─ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# z3<127:0>: 0x7f8000007f8000000000000000000000
+# ║ ║ ║ ╙─ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# z3<255:128>: 0x00000000000000000000000000000000
+# ║ ║ ║ ╙─ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# z3<383:256>: 0x00000000000000000000000000000000
+# ║ ║ ║ ╙─ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# z3<639:512>: 0x00000000000000000000000000000000
+# ║ ║ ║ ╙─ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# z4<127:0>: 0x00000000000000000000000000000000
+# ║ ╙─ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# z4<255:128>: 0x00000000000000000000000000000000
+# ║ ╙─ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# z4<383:256>: 0x00000000000000000000000000000000
+# ║ ╙─ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# z4<639:512>: 0x00000000000000000000000000000000
+# ║ ╙─ 0x00 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x00 -> 0x~~~~~~~~~~~~~~~~
+# z0<127:0>: 0x00000000000000003fb504f33fb504f3
+# ║ ║ ╙─ 0x04f3 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────── 0x04f3 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# z0<255:128>: 0x00000000000000000000000000000000
+# ║ ║ ╙─ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# z0<511:384>: 0x00000000000000000000000000000000
+# ║ ║ ╙─ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────── 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# z0<639:512>: 0x00000000000000000000000000000000
+# ║ ║ ╙─ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# z1<127:0>: 0x0000000000000000ffffffff00000000
+# ╙─ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# z1<255:128>: 0x00000000000000000000000000000000
+# ║ ╙─ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# z1<511:384>: 0x00000000000000000000000000000000
+# ╙─ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# z1<639:512>: 0x00000000000000000000000000000000
+# ║ ╙─ 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000 -> 0x~~~~~~~~~~~~~~~~
+# z2<127:0>: 0x00000000000000000000000000000000
+# ╙─ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# z2<255:128>: 0x00000000000000000000000000000000
+# ║ ╙─ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# z2<511:384>: 0x00000000000000000000000000000000
+# ╙─ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# z2<639:512>: 0x00000000000000000000000000000000
+# ║ ╙─ 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x00000000 -> 0x~~~~~~~~~~~~~~~~
+# z0<127:0>: 0x00000000000000003fb504f33fb504f3
+# z1<127:0>: 0x0000000000000000ffffffff00000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'f3 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00'04 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'b5 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'3f -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0xff'f3 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0xff'b5 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙─────────────── 0xff'3f -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙─────────────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# z0<255:128>: 0x00000000000000000000000000000000
+# z1<255:128>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙─────────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# z0<383:256>: 0x00000000000000000000000000000000
+# z1<383:256>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙─────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙─────────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙─────────────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# z0<511:384>: 0x00000000000000000000000000000000
+# z1<511:384>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙─────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙─────────────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# z0<639:512>: 0x00000000000000000000000000000000
+# z1<639:512>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙─────────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'00 -> 0x~~~~~~~~~~~~~~~~
+# z1<127:0>: 0x0000000000000000ffffffff00000000 (0.000, 0.000, 0.000, 0.000, nan, nan, 0.000, 0.000)
+# z2<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, nan, nan, 0.000, 0.000)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'ffff -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0000'ffff -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# z1<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z2<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# z1<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z2<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# z1<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z2<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# z1<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z2<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# z2<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, ..., 0.000)
+# z3<127:0>: 0x7f8000007f8000000000000000000000 (0.000, 0.000, ..., 0.000)
+# ║ ║ ╙─ 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x7f800000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x7f800000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# z2<255:128>: 0x00000000000000000000000000000000 (0.000, ..., 0.000, 0.000)
+# z3<255:128>: 0x00000000000000000000000000000000 (0.000, ..., 0.000, 0.000)
+# ║ ║ ╙─ 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────── 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# z2<383:256>: 0x00000000000000000000000000000000 (..., 0.000, 0.000, 0.000)
+# z3<383:256>: 0x00000000000000000000000000000000 (..., 0.000, 0.000, 0.000)
+# ║ ║ ╙─ 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────── 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# z2<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# z3<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ╙─ 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# z3<127:0>: 0x7f8000007f8000000000000000000000 (1.404e+306, 0.000)
+# z4<127:0>: 0x00000000000000000000000000000000 (1.404e+306, 0.000)
+# ║ ╙─ 0x0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000'7f8000007f800000 -> 0x~~~~~~~~~~~~~~~~
+# z3<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z4<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z3<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z4<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z3<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z4<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z3<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z4<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z4<127:0>: 0x00000000000000000000000000000000
+# z5<127:0>: 0x3fc000003fc000007fffffff3fc00000
+# z6<127:0>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'c0'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'3f'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00'ff'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'ff'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙─────────────── 0x00'7f'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'c0'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙─────────────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x00'c0'00 -> 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'3f'00 -> 0x~~~~~~~~~~~~~~~~
+# z4<255:128>: 0x00000000000000000000000000000000
+# z5<255:128>: 0x00000000000000000000000000000000
+# z6<255:128>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙─────────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# z4<383:256>: 0x00000000000000000000000000000000
+# z5<383:256>: 0x00000000000000000000000000000000
+# z6<383:256>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙─────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙─────────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙─────────────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# z4<511:384>: 0x00000000000000000000000000000000
+# z5<511:384>: 0x00000000000000000000000000000000
+# z6<511:384>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙─────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙─────────────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# z4<639:512>: 0x00000000000000000000000000000000
+# z5<639:512>: 0x00000000000000000000000000000000
+# z6<639:512>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙─────────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# z5<127:0>: 0x3fc000003fc000007fffffff3fc00000 (1.938, 0.000, 1.938, 0.000, nan, nan, 1.938, 0.000)
+# z6<127:0>: 0x00000000000000000000000000000000 (1.938, 0.000, 1.938, 0.000, nan, nan, 1.938, 0.000)
+# z7<127:0>: 0x00000000000000000000000000000000 (1.938, 0.000, 1.938, 0.000, nan, nan, 1.938, 0.000)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0000'0000'3fc0 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'0000'ffff -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0000'0000'7fff -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x0000'0000'3fc0 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000'0000'3fc0 -> 0x~~~~~~~~~~~~~~~~
+# z5<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z6<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z7<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# z5<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z6<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z7<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# z5<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z6<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z7<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# z5<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z6<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z7<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# z6<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, ..., 0.000)
+# z7<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, ..., 0.000)
+# z8<127:0>: 0x37a00000000000007fc000007fc00000 (0.000, 0.000, ..., 0.000)
+# ║ ║ ╙─ 0x7fc00000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x37a00000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# z6<255:128>: 0x00000000000000000000000000000000 (0.000, ..., 0.000, 0.000)
+# z7<255:128>: 0x00000000000000000000000000000000 (0.000, ..., 0.000, 0.000)
+# z8<255:128>: 0x00000000000000000000000000000000 (0.000, ..., 0.000, 0.000)
+# ║ ║ ╙─ 0x00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────── 0x00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# z6<383:256>: 0x00000000000000000000000000000000 (..., 0.000, 0.000, 0.000)
+# z7<383:256>: 0x00000000000000000000000000000000 (..., 0.000, 0.000, 0.000)
+# z8<383:256>: 0x00000000000000000000000000000000 (..., 0.000, 0.000, 0.000)
+# ║ ║ ╙─ 0x00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────── 0x00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# z6<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# z7<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# z8<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ╙─ 0x00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# z7<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z8<127:0>: 0x37a00000000000007fc000007fc00000 (0.000, 0.000)
+# z9<127:0>: 0x43dfe000001fe0000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000'7fc000007fc00000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x43dfe000001fe000'37a0000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z7<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z8<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z9<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z7<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z8<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z9<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z7<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z8<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z9<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z7<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z8<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z9<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z31<127:0>: 0x00000000000000007fc000007fffffff
+# z0<127:0>: 0x00000000000000003fb504f33fb504f3
+# z1<127:0>: 0x0000000000000000ffffffff00000000
+# z2<127:0>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'00'f3'ff -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00'00'04'ff -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'00'b5'ff -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'00'3f'7f -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00'ff'f3'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'ff'b5'c0 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙─────────────── 0x00'ff'3f'7f -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙─────────────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# z31<255:128>: 0x00000000000000000000000000000000
+# z0<255:128>: 0x00000000000000000000000000000000
+# z1<255:128>: 0x00000000000000000000000000000000
+# z2<255:128>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙─────────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# z31<383:256>: 0x00000000000000000000000000000000
+# z0<383:256>: 0x00000000000000000000000000000000
+# z1<383:256>: 0x00000000000000000000000000000000
+# z2<383:256>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙─────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙─────────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙─────────────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# z31<511:384>: 0x00000000000000000000000000000000
+# z0<511:384>: 0x00000000000000000000000000000000
+# z1<511:384>: 0x00000000000000000000000000000000
+# z2<511:384>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙─────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙─────────────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# z31<639:512>: 0x00000000000000000000000000000000
+# z0<639:512>: 0x00000000000000000000000000000000
+# z1<639:512>: 0x00000000000000000000000000000000
+# z2<639:512>: 0x00000000000000000000000000000000
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─ 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙─────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ║ ╙───────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ║ ╙─────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ║ ╙───────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙─────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙─────────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# ╙─────────────────────────────── 0x00'00'00'00 -> 0x~~~~~~~~~~~~~~~~
+# z0<127:0>: 0x00000000000000003fb504f33fb504f3 (0.000, 0.000, 0.000, 0.000, 1.927, 7.552e-05, 1.927, 7.552e-05)
+# z1<127:0>: 0x0000000000000000ffffffff00000000 (0.000, 0.000, 0.000, 0.000, 1.927, 7.552e-05, 1.927, 7.552e-05)
+# z2<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 1.927, 7.552e-05, 1.927, 7.552e-05)
+# z3<127:0>: 0x7f8000007f8000000000000000000000 (0.000, 0.000, 0.000, 0.000, 1.927, 7.552e-05, 1.927, 7.552e-05)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0000'0000'04f3 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0000'0000'0000'3fb5 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'0000'ffff'04f3 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0000'0000'ffff'3fb5 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x7f80'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x7f80'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# z0<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z1<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z2<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z3<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# z0<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z1<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z2<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z3<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# z0<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z1<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z2<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z3<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# z0<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z1<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z2<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# z3<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ║ ║ ║ ║ ╙─ 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ║ ╙───── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ║ ╙───────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ║ ╙───────────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ║ ╙───────────────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────────────────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────────────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────────── 0x0000'0000'0000'0000 -> 0x~~~~~~~~~~~~~~~~
+# z1<127:0>: 0x0000000000000000ffffffff00000000 (0.000, 0.000, ..., 0.000)
+# z2<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, ..., 0.000)
+# z3<127:0>: 0x7f8000007f8000000000000000000000 (0.000, 0.000, ..., 0.000)
+# z4<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000, ..., 0.000)
+# ║ ║ ╙─ 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00000000'7f800000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00000000'7f800000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# z1<255:128>: 0x00000000000000000000000000000000 (0.000, ..., 0.000, 0.000)
+# z2<255:128>: 0x00000000000000000000000000000000 (0.000, ..., 0.000, 0.000)
+# z3<255:128>: 0x00000000000000000000000000000000 (0.000, ..., 0.000, 0.000)
+# z4<255:128>: 0x00000000000000000000000000000000 (0.000, ..., 0.000, 0.000)
+# ║ ║ ╙─ 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────── 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# z1<383:256>: 0x00000000000000000000000000000000 (..., 0.000, 0.000, 0.000)
+# z2<383:256>: 0x00000000000000000000000000000000 (..., 0.000, 0.000, 0.000)
+# z3<383:256>: 0x00000000000000000000000000000000 (..., 0.000, 0.000, 0.000)
+# z4<383:256>: 0x00000000000000000000000000000000 (..., 0.000, 0.000, 0.000)
+# ║ ║ ╙─ 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────── 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# z1<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# z2<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# z3<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# z4<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000, 0.000, 0.000)
+# ║ ║ ║ ╙─ 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ║ ╙───────── 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ║ ╙───────────────── 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────────────── 0x00000000'00000000'00000000'00000000 -> 0x~~~~~~~~~~~~~~~~
+# z2<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z3<127:0>: 0x7f8000007f8000000000000000000000 (0.000, 0.000)
+# z4<127:0>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z5<127:0>: 0x3fc000003fc000007fffffff3fc00000 (0.000, 0.000)
+# ║ ╙─ 0x7fffffff3fc00000'0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x3fc000003fc00000'0000000000000000'7f8000007f800000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z2<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z3<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z4<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z5<255:128>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000'0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000'0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z2<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z3<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z4<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z5<383:256>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000'0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000'0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z2<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z3<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z4<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z5<511:384>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000'0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000'0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# z2<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z3<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z4<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# z5<639:512>: 0x00000000000000000000000000000000 (0.000, 0.000)
+# ║ ╙─ 0x0000000000000000'0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~
+# ╙───────────────── 0x0000000000000000'0000000000000000'0000000000000000'0000000000000000 -> 0x~~~~~~~~~~~~~~~~